Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599700056.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 13:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 13:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 544K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678721799477

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 15:36:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 15:36:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:36:42] [INFO ] Load time of PNML (sax parser for PT used): 203 ms
[2023-03-13 15:36:42] [INFO ] Transformed 1638 places.
[2023-03-13 15:36:42] [INFO ] Transformed 2094 transitions.
[2023-03-13 15:36:42] [INFO ] Found NUPN structural information;
[2023-03-13 15:36:42] [INFO ] Parsed PT model containing 1638 places and 2094 transitions and 6458 arcs in 364 ms.
[2023-03-13 15:36:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1638 places, 2094 transitions and 6458 arcs took 23 ms.
Total runtime 427 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1638 places, 2094 transitions, 6458 arcs.
AT ITER 0 NEW BEST:: SOT 1980091 SOS 601265 HAS SOPS 601265 HAS SOUS 472325 HAS SOUPS 472325 WITH SCORE 472926.265
AT ITER 17 NEW BEST:: SOT 1980091 SOS 601180 HAS SOPS 601180 HAS SOUS 472324 HAS SOUPS 472324 WITH SCORE 472925.18
AT ITER 37 NEW BEST:: SOT 1979969 SOS 601057 HAS SOPS 601057 HAS SOUS 472201 HAS SOUPS 472201 WITH SCORE 472802.057
AT ITER 39 NEW BEST:: SOT 1979718 SOS 600806 HAS SOPS 600806 HAS SOUS 471948 HAS SOUPS 471948 WITH SCORE 472548.806
AT ITER 62 NEW BEST:: SOT 1979718 SOS 600804 HAS SOPS 600804 HAS SOUS 471946 HAS SOUPS 471946 WITH SCORE 472546.804
AT ITER 64 NEW BEST:: SOT 1979718 SOS 600656 HAS SOPS 600656 HAS SOUS 471798 HAS SOUPS 471798 WITH SCORE 472398.656
AT ITER 65 NEW BEST:: SOT 1979682 SOS 600620 HAS SOPS 600620 HAS SOUS 471761 HAS SOUPS 471761 WITH SCORE 472361.62
AT ITER 101 NEW BEST:: SOT 1979413 SOS 600060 HAS SOPS 600060 HAS SOUS 471470 HAS SOUPS 471470 WITH SCORE 472070.06
AT ITER 107 NEW BEST:: SOT 1978888 SOS 599535 HAS SOPS 599535 HAS SOUS 471470 HAS SOUPS 471470 WITH SCORE 472069.535
AT ITER 119 NEW BEST:: SOT 1976996 SOS 597851 HAS SOPS 597851 HAS SOUS 469681 HAS SOUPS 469681 WITH SCORE 470278.851
AT ITER 132 NEW BEST:: SOT 1976942 SOS 597689 HAS SOPS 597689 HAS SOUS 469572 HAS SOUPS 469572 WITH SCORE 470169.689
AT ITER 138 NEW BEST:: SOT 1975542 SOS 596385 HAS SOPS 596385 HAS SOUS 468359 HAS SOUPS 468359 WITH SCORE 468955.385
AT ITER 143 NEW BEST:: SOT 1975513 SOS 596327 HAS SOPS 596327 HAS SOUS 468301 HAS SOUPS 468301 WITH SCORE 468897.327
AT ITER 147 NEW BEST:: SOT 1975208 SOS 595996 HAS SOPS 595996 HAS SOUS 467996 HAS SOUPS 467996 WITH SCORE 468591.996
AT ITER 149 NEW BEST:: SOT 1975208 SOS 595995 HAS SOPS 595995 HAS SOUS 467994 HAS SOUPS 467994 WITH SCORE 468589.995
AT ITER 153 NEW BEST:: SOT 1974963 SOS 595315 HAS SOPS 595315 HAS SOUS 467504 HAS SOUPS 467504 WITH SCORE 468099.315
AT ITER 154 NEW BEST:: SOT 1974845 SOS 595086 HAS SOPS 595086 HAS SOUS 467400 HAS SOUPS 467400 WITH SCORE 467995.086
AT ITER 164 NEW BEST:: SOT 1974661 SOS 594431 HAS SOPS 594431 HAS SOUS 464425 HAS SOUPS 464425 WITH SCORE 465019.431
AT ITER 176 NEW BEST:: SOT 1974481 SOS 594454 HAS SOPS 594454 HAS SOUS 464244 HAS SOUPS 464244 WITH SCORE 464838.454
AT ITER 185 NEW BEST:: SOT 1973852 SOS 594812 HAS SOPS 594812 HAS SOUS 463878 HAS SOUPS 463878 WITH SCORE 464472.812
AT ITER 186 NEW BEST:: SOT 1973687 SOS 595623 HAS SOPS 595623 HAS SOUS 463709 HAS SOUPS 463709 WITH SCORE 464304.623
AT ITER 211 NEW BEST:: SOT 1973687 SOS 595517 HAS SOPS 595517 HAS SOUS 463603 HAS SOUPS 463603 WITH SCORE 464198.517
AT ITER 222 NEW BEST:: SOT 1973687 SOS 595517 HAS SOPS 595517 HAS SOUS 463591 HAS SOUPS 463591 WITH SCORE 464186.517
AT ITER 227 NEW BEST:: SOT 1969977 SOS 591882 HAS SOPS 591882 HAS SOUS 463297 HAS SOUPS 463297 WITH SCORE 463888.882
AT ITER 229 NEW BEST:: SOT 1969956 SOS 591840 HAS SOPS 591840 HAS SOUS 463255 HAS SOUPS 463255 WITH SCORE 463846.84
AT ITER 232 NEW BEST:: SOT 1969920 SOS 591802 HAS SOPS 591802 HAS SOUS 463217 HAS SOUPS 463217 WITH SCORE 463808.802
AT ITER 243 NEW BEST:: SOT 1969707 SOS 590641 HAS SOPS 590641 HAS SOUS 462756 HAS SOUPS 462756 WITH SCORE 463346.641
AT ITER 250 NEW BEST:: SOT 1972610 SOS 593950 HAS SOPS 593950 HAS SOUS 460544 HAS SOUPS 460544 WITH SCORE 461137.95
AT ITER 264 NEW BEST:: SOT 1972444 SOS 593784 HAS SOPS 593784 HAS SOUS 460544 HAS SOUPS 460544 WITH SCORE 461137.784
AT ITER 268 NEW BEST:: SOT 1971867 SOS 594081 HAS SOPS 594081 HAS SOUS 460484 HAS SOUPS 460484 WITH SCORE 461078.081
AT ITER 305 NEW BEST:: SOT 1971762 SOS 593964 HAS SOPS 593964 HAS SOUS 460367 HAS SOUPS 460367 WITH SCORE 460960.964
AT ITER 320 NEW BEST:: SOT 1971762 SOS 593964 HAS SOPS 593964 HAS SOUS 460366 HAS SOUPS 460366 WITH SCORE 460959.964
AT ITER 327 NEW BEST:: SOT 1971523 SOS 593570 HAS SOPS 593570 HAS SOUS 459972 HAS SOUPS 459972 WITH SCORE 460565.57
AT ITER 345 NEW BEST:: SOT 1971523 SOS 593092 HAS SOPS 593092 HAS SOUS 459821 HAS SOUPS 459821 WITH SCORE 460414.092
AT ITER 346 NEW BEST:: SOT 1971422 SOS 592981 HAS SOPS 592981 HAS SOUS 459717 HAS SOUPS 459717 WITH SCORE 460309.981
AT ITER 349 NEW BEST:: SOT 1971235 SOS 592733 HAS SOPS 592733 HAS SOUS 459467 HAS SOUPS 459467 WITH SCORE 460059.733
AT ITER 353 NEW BEST:: SOT 1971130 SOS 592616 HAS SOPS 592616 HAS SOUS 459254 HAS SOUPS 459254 WITH SCORE 459846.616
AT ITER 381 NEW BEST:: SOT 1970630 SOS 592063 HAS SOPS 592063 HAS SOUS 458631 HAS SOUPS 458631 WITH SCORE 459223.063
AT ITER 388 NEW BEST:: SOT 1970838 SOS 592255 HAS SOPS 592255 HAS SOUS 458615 HAS SOUPS 458615 WITH SCORE 459207.255
AT ITER 408 NEW BEST:: SOT 1970812 SOS 592304 HAS SOPS 592304 HAS SOUS 458545 HAS SOUPS 458545 WITH SCORE 459137.304
AT ITER 414 NEW BEST:: SOT 1970741 SOS 592497 HAS SOPS 592497 HAS SOUS 458540 HAS SOUPS 458540 WITH SCORE 459132.497
AT ITER 415 NEW BEST:: SOT 1970741 SOS 592563 HAS SOPS 592563 HAS SOUS 458500 HAS SOUPS 458500 WITH SCORE 459092.563
AT ITER 427 NEW BEST:: SOT 1970593 SOS 592415 HAS SOPS 592415 HAS SOUS 458352 HAS SOUPS 458352 WITH SCORE 458944.415
AT ITER 450 NEW BEST:: SOT 1970559 SOS 592102 HAS SOPS 592102 HAS SOUS 458215 HAS SOUPS 458215 WITH SCORE 458807.102
AT ITER 469 NEW BEST:: SOT 1970103 SOS 591722 HAS SOPS 591722 HAS SOUS 457835 HAS SOUPS 457835 WITH SCORE 458426.722
AT ITER 470 NEW BEST:: SOT 1970101 SOS 591720 HAS SOPS 591720 HAS SOUS 457833 HAS SOUPS 457833 WITH SCORE 458424.72
AT ITER 472 NEW BEST:: SOT 1969923 SOS 591542 HAS SOPS 591542 HAS SOUS 457655 HAS SOUPS 457655 WITH SCORE 458246.542
AT ITER 474 NEW BEST:: SOT 1969899 SOS 591494 HAS SOPS 591494 HAS SOUS 457543 HAS SOUPS 457543 WITH SCORE 458134.494
AT ITER 483 NEW BEST:: SOT 1969932 SOS 591382 HAS SOPS 591382 HAS SOUS 457431 HAS SOUPS 457431 WITH SCORE 458022.382
AT ITER 486 NEW BEST:: SOT 1969790 SOS 591098 HAS SOPS 591098 HAS SOUS 457280 HAS SOUPS 457280 WITH SCORE 457871.098
AT ITER 489 NEW BEST:: SOT 1969790 SOS 591486 HAS SOPS 591486 HAS SOUS 457248 HAS SOUPS 457248 WITH SCORE 457839.486
AT ITER 492 NEW BEST:: SOT 1969444 SOS 589415 HAS SOPS 589415 HAS SOUS 456850 HAS SOUPS 456850 WITH SCORE 457439.415
AT ITER 493 NEW BEST:: SOT 1969364 SOS 589332 HAS SOPS 589332 HAS SOUS 456767 HAS SOUPS 456767 WITH SCORE 457356.332
AT ITER 513 NEW BEST:: SOT 1969308 SOS 589276 HAS SOPS 589276 HAS SOUS 456703 HAS SOUPS 456703 WITH SCORE 457292.276
AT ITER 524 NEW BEST:: SOT 1969226 SOS 589194 HAS SOPS 589194 HAS SOUS 456569 HAS SOUPS 456569 WITH SCORE 457158.194
AT ITER 525 NEW BEST:: SOT 1969226 SOS 589093 HAS SOPS 589093 HAS SOUS 456568 HAS SOUPS 456568 WITH SCORE 457157.093
AT ITER 533 NEW BEST:: SOT 1969226 SOS 589093 HAS SOPS 589093 HAS SOUS 456567 HAS SOUPS 456567 WITH SCORE 457156.093
AT ITER 535 NEW BEST:: SOT 1969226 SOS 589071 HAS SOPS 589071 HAS SOUS 456567 HAS SOUPS 456567 WITH SCORE 457156.071
AT ITER 538 NEW BEST:: SOT 1969104 SOS 589025 HAS SOPS 589025 HAS SOUS 456503 HAS SOUPS 456503 WITH SCORE 457092.025
AT ITER 556 NEW BEST:: SOT 1969104 SOS 588730 HAS SOPS 588730 HAS SOUS 456502 HAS SOUPS 456502 WITH SCORE 457090.73
AT ITER 565 NEW BEST:: SOT 1969077 SOS 588676 HAS SOPS 588676 HAS SOUS 456448 HAS SOUPS 456448 WITH SCORE 457036.676
AT ITER 575 NEW BEST:: SOT 1968926 SOS 588496 HAS SOPS 588496 HAS SOUS 456268 HAS SOUPS 456268 WITH SCORE 456856.496
AT ITER 600 NEW BEST:: SOT 1968845 SOS 588334 HAS SOPS 588334 HAS SOUS 456106 HAS SOUPS 456106 WITH SCORE 456694.334
AT ITER 606 NEW BEST:: SOT 1968676 SOS 588224 HAS SOPS 588224 HAS SOUS 456074 HAS SOUPS 456074 WITH SCORE 456662.224
AT ITER 608 NEW BEST:: SOT 1968654 SOS 588180 HAS SOPS 588180 HAS SOUS 456030 HAS SOUPS 456030 WITH SCORE 456618.18
AT ITER 609 NEW BEST:: SOT 1968520 SOS 587788 HAS SOPS 587788 HAS SOUS 455761 HAS SOUPS 455761 WITH SCORE 456348.788
AT ITER 617 NEW BEST:: SOT 1968520 SOS 587776 HAS SOPS 587776 HAS SOUS 455749 HAS SOUPS 455749 WITH SCORE 456336.776
AT ITER 631 NEW BEST:: SOT 1968169 SOS 587425 HAS SOPS 587425 HAS SOUS 455398 HAS SOUPS 455398 WITH SCORE 455985.425
AT ITER 664 NEW BEST:: SOT 1968135 SOS 587456 HAS SOPS 587456 HAS SOUS 455385 HAS SOUPS 455385 WITH SCORE 455972.456
AT ITER 681 NEW BEST:: SOT 1968134 SOS 587454 HAS SOPS 587454 HAS SOUS 455383 HAS SOUPS 455383 WITH SCORE 455970.454
AT ITER 695 NEW BEST:: SOT 1968133 SOS 586937 HAS SOPS 586937 HAS SOUS 455097 HAS SOUPS 455097 WITH SCORE 455683.937
AT ITER 703 NEW BEST:: SOT 1967698 SOS 587809 HAS SOPS 587809 HAS SOUS 455049 HAS SOUPS 455049 WITH SCORE 455636.809
AT ITER 704 NEW BEST:: SOT 1967458 SOS 587729 HAS SOPS 587729 HAS SOUS 454849 HAS SOUPS 454849 WITH SCORE 455436.729
AT ITER 713 NEW BEST:: SOT 1967335 SOS 587483 HAS SOPS 587483 HAS SOUS 454645 HAS SOUPS 454645 WITH SCORE 455232.483
AT ITER 717 NEW BEST:: SOT 1967335 SOS 587387 HAS SOPS 587387 HAS SOUS 454642 HAS SOUPS 454642 WITH SCORE 455229.387
AT ITER 722 NEW BEST:: SOT 1967333 SOS 587378 HAS SOPS 587378 HAS SOUS 454638 HAS SOUPS 454638 WITH SCORE 455225.378
AT ITER 734 NEW BEST:: SOT 1967262 SOS 587074 HAS SOPS 587074 HAS SOUS 454496 HAS SOUPS 454496 WITH SCORE 455083.074
AT ITER 746 NEW BEST:: SOT 1966428 SOS 586796 HAS SOPS 586796 HAS SOUS 453801 HAS SOUPS 453801 WITH SCORE 454387.796
AT ITER 763 NEW BEST:: SOT 1966221 SOS 586477 HAS SOPS 586477 HAS SOUS 453593 HAS SOUPS 453593 WITH SCORE 454179.477
AT ITER 775 NEW BEST:: SOT 1966150 SOS 586402 HAS SOPS 586402 HAS SOUS 453497 HAS SOUPS 453497 WITH SCORE 454083.402
AT ITER 793 NEW BEST:: SOT 1966008 SOS 586118 HAS SOPS 586118 HAS SOUS 453213 HAS SOUPS 453213 WITH SCORE 453799.118
AT ITER 795 NEW BEST:: SOT 1966008 SOS 586106 HAS SOPS 586106 HAS SOUS 453201 HAS SOUPS 453201 WITH SCORE 453787.106
AT ITER 800 NEW BEST:: SOT 1965864 SOS 584227 HAS SOPS 584227 HAS SOUS 452802 HAS SOUPS 452802 WITH SCORE 453386.227
AT ITER 808 NEW BEST:: SOT 1965864 SOS 584296 HAS SOPS 584296 HAS SOUS 452765 HAS SOUPS 452765 WITH SCORE 453349.296
AT ITER 809 NEW BEST:: SOT 1965787 SOS 584218 HAS SOPS 584218 HAS SOUS 452686 HAS SOUPS 452686 WITH SCORE 453270.218
AT ITER 819 NEW BEST:: SOT 1965785 SOS 584215 HAS SOPS 584215 HAS SOUS 452627 HAS SOUPS 452627 WITH SCORE 453211.215
AT ITER 822 NEW BEST:: SOT 1965785 SOS 584195 HAS SOPS 584195 HAS SOUS 452582 HAS SOUPS 452582 WITH SCORE 453166.195
AT ITER 828 NEW BEST:: SOT 1965531 SOS 583941 HAS SOPS 583941 HAS SOUS 452328 HAS SOUPS 452328 WITH SCORE 452911.941
AT ITER 853 NEW BEST:: SOT 1964341 SOS 582989 HAS SOPS 582989 HAS SOUS 451376 HAS SOUPS 451376 WITH SCORE 451958.989
AT ITER 860 NEW BEST:: SOT 1964347 SOS 582937 HAS SOPS 582937 HAS SOUS 451338 HAS SOUPS 451338 WITH SCORE 451920.937
AT ITER 868 NEW BEST:: SOT 1964083 SOS 582674 HAS SOPS 582674 HAS SOUS 451086 HAS SOUPS 451086 WITH SCORE 451668.674
AT ITER 879 NEW BEST:: SOT 1964051 SOS 582367 HAS SOPS 582367 HAS SOUS 450907 HAS SOUPS 450907 WITH SCORE 451489.367
AT ITER 907 NEW BEST:: SOT 1959359 SOS 580430 HAS SOPS 580430 HAS SOUS 446718 HAS SOUPS 446718 WITH SCORE 447298.43
AT ITER 936 NEW BEST:: SOT 1959267 SOS 580246 HAS SOPS 580246 HAS SOUS 446534 HAS SOUPS 446534 WITH SCORE 447114.246
AT ITER 974 NEW BEST:: SOT 1957407 SOS 578353 HAS SOPS 578353 HAS SOUS 444641 HAS SOUPS 444641 WITH SCORE 445219.353
AT ITER 978 NEW BEST:: SOT 1957325 SOS 578189 HAS SOPS 578189 HAS SOUS 444501 HAS SOUPS 444501 WITH SCORE 445079.189
AT ITER 988 NEW BEST:: SOT 1957317 SOS 578173 HAS SOPS 578173 HAS SOUS 444485 HAS SOUPS 444485 WITH SCORE 445063.173
AT ITER 1000 NEW BEST:: SOT 1956701 SOS 577620 HAS SOPS 577620 HAS SOUS 443932 HAS SOUPS 443932 WITH SCORE 444509.62
AT ITER 1012 NEW BEST:: SOT 1956569 SOS 577356 HAS SOPS 577356 HAS SOUS 443668 HAS SOUPS 443668 WITH SCORE 444245.356
AT ITER 1022 NEW BEST:: SOT 1956234 SOS 576582 HAS SOPS 576582 HAS SOUS 442998 HAS SOUPS 442998 WITH SCORE 443574.582
AT ITER 1027 NEW BEST:: SOT 1956340 SOS 577341 HAS SOPS 577341 HAS SOUS 442856 HAS SOUPS 442856 WITH SCORE 443433.341
AT ITER 1049 NEW BEST:: SOT 1956340 SOS 576917 HAS SOPS 576917 HAS SOUS 442856 HAS SOUPS 442856 WITH SCORE 443432.917
AT ITER 1069 NEW BEST:: SOT 1956449 SOS 576622 HAS SOPS 576622 HAS SOUS 442758 HAS SOUPS 442758 WITH SCORE 443334.622
AT ITER 1075 NEW BEST:: SOT 1956091 SOS 576337 HAS SOPS 576337 HAS SOUS 442465 HAS SOUPS 442465 WITH SCORE 443041.337
AT ITER 1101 NEW BEST:: SOT 1956081 SOS 576327 HAS SOPS 576327 HAS SOUS 442455 HAS SOUPS 442455 WITH SCORE 443031.327
AT ITER 1105 NEW BEST:: SOT 1955652 SOS 576113 HAS SOPS 576113 HAS SOUS 442187 HAS SOUPS 442187 WITH SCORE 442763.113
AT ITER 1106 NEW BEST:: SOT 1955340 SOS 576050 HAS SOPS 576050 HAS SOUS 442041 HAS SOUPS 442041 WITH SCORE 442617.05
AT ITER 1110 NEW BEST:: SOT 1955239 SOS 575947 HAS SOPS 575947 HAS SOUS 441938 HAS SOUPS 441938 WITH SCORE 442513.947
AT ITER 1124 NEW BEST:: SOT 1955239 SOS 576100 HAS SOPS 576100 HAS SOUS 441881 HAS SOUPS 441881 WITH SCORE 442457.1
AT ITER 1150 NEW BEST:: SOT 1955140 SOS 575717 HAS SOPS 575717 HAS SOUS 441714 HAS SOUPS 441714 WITH SCORE 442289.717
AT ITER 1156 NEW BEST:: SOT 1954894 SOS 575225 HAS SOPS 575225 HAS SOUS 440730 HAS SOUPS 440730 WITH SCORE 441305.225
AT ITER 1160 NEW BEST:: SOT 1954835 SOS 574510 HAS SOPS 574510 HAS SOUS 440256 HAS SOUPS 440256 WITH SCORE 440830.51
AT ITER 1176 NEW BEST:: SOT 1954792 SOS 573976 HAS SOPS 573976 HAS SOUS 440222 HAS SOUPS 440222 WITH SCORE 440795.976
AT ITER 1178 NEW BEST:: SOT 1954792 SOS 573975 HAS SOPS 573975 HAS SOUS 440221 HAS SOUPS 440221 WITH SCORE 440794.975
AT ITER 1181 NEW BEST:: SOT 1954681 SOS 573837 HAS SOPS 573837 HAS SOUS 440079 HAS SOUPS 440079 WITH SCORE 440652.837
AT ITER 1188 NEW BEST:: SOT 1954770 SOS 573088 HAS SOPS 573088 HAS SOUS 436815 HAS SOUPS 436815 WITH SCORE 437388.088
AT ITER 1199 NEW BEST:: SOT 1954577 SOS 572953 HAS SOPS 572953 HAS SOUS 436427 HAS SOUPS 436427 WITH SCORE 436999.953
AT ITER 1228 NEW BEST:: SOT 1954561 SOS 573096 HAS SOPS 573096 HAS SOUS 435203 HAS SOUPS 435203 WITH SCORE 435776.096
AT ITER 1232 NEW BEST:: SOT 1954439 SOS 572972 HAS SOPS 572972 HAS SOUS 435080 HAS SOUPS 435080 WITH SCORE 435652.972
AT ITER 1262 NEW BEST:: SOT 1954444 SOS 572486 HAS SOPS 572486 HAS SOUS 434943 HAS SOUPS 434943 WITH SCORE 435515.486
AT ITER 1282 NEW BEST:: SOT 1954452 SOS 572524 HAS SOPS 572524 HAS SOUS 434918 HAS SOUPS 434918 WITH SCORE 435490.524
AT ITER 1285 NEW BEST:: SOT 1954199 SOS 572016 HAS SOPS 572016 HAS SOUS 433233 HAS SOUPS 433233 WITH SCORE 433805.016
AT ITER 1293 NEW BEST:: SOT 1954121 SOS 571834 HAS SOPS 571834 HAS SOUS 433142 HAS SOUPS 433142 WITH SCORE 433713.834
AT ITER 1317 NEW BEST:: SOT 1953872 SOS 571778 HAS SOPS 571778 HAS SOUS 433086 HAS SOUPS 433086 WITH SCORE 433657.778
AT ITER 1323 NEW BEST:: SOT 1953832 SOS 571701 HAS SOPS 571701 HAS SOUS 433010 HAS SOUPS 433010 WITH SCORE 433581.701
AT ITER 1347 NEW BEST:: SOT 1953772 SOS 571595 HAS SOPS 571595 HAS SOUS 432942 HAS SOUPS 432942 WITH SCORE 433513.595
AT ITER 1351 NEW BEST:: SOT 1953772 SOS 571593 HAS SOPS 571593 HAS SOUS 432940 HAS SOUPS 432940 WITH SCORE 433511.593
AT ITER 1352 NEW BEST:: SOT 1951137 SOS 568958 HAS SOPS 568958 HAS SOUS 431121 HAS SOUPS 431121 WITH SCORE 431689.958
AT ITER 1367 NEW BEST:: SOT 1950855 SOS 569538 HAS SOPS 569538 HAS SOUS 430910 HAS SOUPS 430910 WITH SCORE 431479.538
AT ITER 1391 NEW BEST:: SOT 1950600 SOS 569028 HAS SOPS 569028 HAS SOUS 430400 HAS SOUPS 430400 WITH SCORE 430969.028
AT ITER 1417 NEW BEST:: SOT 1949914 SOS 569518 HAS SOPS 569518 HAS SOUS 430053 HAS SOUPS 430053 WITH SCORE 430622.518
AT ITER 1422 NEW BEST:: SOT 1949741 SOS 569345 HAS SOPS 569345 HAS SOUS 429880 HAS SOUPS 429880 WITH SCORE 430449.345
AT ITER 1423 NEW BEST:: SOT 1949566 SOS 568726 HAS SOPS 568726 HAS SOUS 429550 HAS SOUPS 429550 WITH SCORE 430118.726
AT ITER 1428 NEW BEST:: SOT 1949179 SOS 568721 HAS SOPS 568721 HAS SOUS 429520 HAS SOUPS 429520 WITH SCORE 430088.721
AT ITER 1437 NEW BEST:: SOT 1948676 SOS 567968 HAS SOPS 567968 HAS SOUS 428778 HAS SOUPS 428778 WITH SCORE 429345.968
AT ITER 1452 NEW BEST:: SOT 1948601 SOS 567818 HAS SOPS 567818 HAS SOUS 428628 HAS SOUPS 428628 WITH SCORE 429195.818
AT ITER 1456 NEW BEST:: SOT 1948604 SOS 569609 HAS SOPS 569609 HAS SOUS 428342 HAS SOUPS 428342 WITH SCORE 428911.609
AT ITER 1461 NEW BEST:: SOT 1948209 SOS 569293 HAS SOPS 569293 HAS SOUS 428023 HAS SOUPS 428023 WITH SCORE 428592.293
AT ITER 1467 NEW BEST:: SOT 1948137 SOS 569149 HAS SOPS 569149 HAS SOUS 427879 HAS SOUPS 427879 WITH SCORE 428448.149
AT ITER 1471 NEW BEST:: SOT 1948066 SOS 568936 HAS SOPS 568936 HAS SOUS 427737 HAS SOUPS 427737 WITH SCORE 428305.936
AT ITER 1537 NEW BEST:: SOT 1948009 SOS 568778 HAS SOPS 568778 HAS SOUS 427579 HAS SOUPS 427579 WITH SCORE 428147.778
AT ITER 1545 NEW BEST:: SOT 1947983 SOS 568748 HAS SOPS 568748 HAS SOUS 427552 HAS SOUPS 427552 WITH SCORE 428120.748
AT ITER 1560 NEW BEST:: SOT 1947982 SOS 568672 HAS SOPS 568672 HAS SOUS 427400 HAS SOUPS 427400 WITH SCORE 427968.672
AT ITER 1565 NEW BEST:: SOT 1947982 SOS 568846 HAS SOPS 568846 HAS SOUS 424790 HAS SOUPS 424790 WITH SCORE 425358.846
AT ITER 1597 NEW BEST:: SOT 1947796 SOS 568506 HAS SOPS 568506 HAS SOUS 424450 HAS SOUPS 424450 WITH SCORE 425018.506
AT ITER 1605 NEW BEST:: SOT 1947796 SOS 568506 HAS SOPS 568506 HAS SOUS 424449 HAS SOUPS 424449 WITH SCORE 425017.506
AT ITER 1606 NEW BEST:: SOT 1947744 SOS 568454 HAS SOPS 568454 HAS SOUS 424396 HAS SOUPS 424396 WITH SCORE 424964.454
AT ITER 1611 NEW BEST:: SOT 1947684 SOS 568329 HAS SOPS 568329 HAS SOUS 424271 HAS SOUPS 424271 WITH SCORE 424839.329
AT ITER 1618 NEW BEST:: SOT 1947673 SOS 568153 HAS SOPS 568153 HAS SOUS 424249 HAS SOUPS 424249 WITH SCORE 424817.153
AT ITER 1620 NEW BEST:: SOT 1947673 SOS 568152 HAS SOPS 568152 HAS SOUS 424248 HAS SOUPS 424248 WITH SCORE 424816.152
AT ITER 1631 NEW BEST:: SOT 1947573 SOS 568752 HAS SOPS 568752 HAS SOUS 424048 HAS SOUPS 424048 WITH SCORE 424616.752
AT ITER 1665 NEW BEST:: SOT 1946221 SOS 570221 HAS SOPS 570221 HAS SOUS 423274 HAS SOUPS 423274 WITH SCORE 423844.221
AT ITER 1675 NEW BEST:: SOT 1946005 SOS 570729 HAS SOPS 570729 HAS SOUS 423206 HAS SOUPS 423206 WITH SCORE 423776.729
AT ITER 1688 NEW BEST:: SOT 1946005 SOS 570727 HAS SOPS 570727 HAS SOUS 421204 HAS SOUPS 421204 WITH SCORE 421774.727
AT ITER 1701 NEW BEST:: SOT 1946004 SOS 570445 HAS SOPS 570445 HAS SOUS 421202 HAS SOUPS 421202 WITH SCORE 421772.445
AT ITER 1731 NEW BEST:: SOT 1945527 SOS 569870 HAS SOPS 569870 HAS SOUS 420533 HAS SOUPS 420533 WITH SCORE 421102.87
AT ITER 1733 NEW BEST:: SOT 1945289 SOS 569578 HAS SOPS 569578 HAS SOUS 420447 HAS SOUPS 420447 WITH SCORE 421016.578
AT ITER 1751 NEW BEST:: SOT 1944598 SOS 569697 HAS SOPS 569697 HAS SOUS 419945 HAS SOUPS 419945 WITH SCORE 420514.697
AT ITER 1755 NEW BEST:: SOT 1944586 SOS 569661 HAS SOPS 569661 HAS SOUS 419897 HAS SOUPS 419897 WITH SCORE 420466.661
AT ITER 1758 NEW BEST:: SOT 1944522 SOS 569596 HAS SOPS 569596 HAS SOUS 419832 HAS SOUPS 419832 WITH SCORE 420401.596
AT ITER 1766 NEW BEST:: SOT 1943574 SOS 569817 HAS SOPS 569817 HAS SOUS 418790 HAS SOUPS 418790 WITH SCORE 419359.817
AT ITER 1781 NEW BEST:: SOT 1943316 SOS 569100 HAS SOPS 569100 HAS SOUS 417880 HAS SOUPS 417880 WITH SCORE 418449.1
AT ITER 1786 NEW BEST:: SOT 1943232 SOS 568340 HAS SOPS 568340 HAS SOUS 417624 HAS SOUPS 417624 WITH SCORE 418192.34
AT ITER 1801 NEW BEST:: SOT 1943120 SOS 568376 HAS SOPS 568376 HAS SOUS 417588 HAS SOUPS 417588 WITH SCORE 418156.376
AT ITER 1802 NEW BEST:: SOT 1942328 SOS 567583 HAS SOPS 567583 HAS SOUS 416795 HAS SOUPS 416795 WITH SCORE 417362.583
AT ITER 1809 NEW BEST:: SOT 1942328 SOS 572597 HAS SOPS 572597 HAS SOUS 416227 HAS SOUPS 416227 WITH SCORE 416799.597
AT ITER 1810 NEW BEST:: SOT 1942165 SOS 572271 HAS SOPS 572271 HAS SOUS 415901 HAS SOUPS 415901 WITH SCORE 416473.271
AT ITER 1812 NEW BEST:: SOT 1942165 SOS 572021 HAS SOPS 572021 HAS SOUS 415651 HAS SOUPS 415651 WITH SCORE 416223.021
AT ITER 1819 NEW BEST:: SOT 1942165 SOS 571998 HAS SOPS 571998 HAS SOUS 415634 HAS SOUPS 415634 WITH SCORE 416205.998
AT ITER 1832 NEW BEST:: SOT 1942098 SOS 571860 HAS SOPS 571860 HAS SOUS 415496 HAS SOUPS 415496 WITH SCORE 416067.86
AT ITER 1836 NEW BEST:: SOT 1942002 SOS 571764 HAS SOPS 571764 HAS SOUS 415400 HAS SOUPS 415400 WITH SCORE 415971.764
AT ITER 1880 NEW BEST:: SOT 1941977 SOS 571727 HAS SOPS 571727 HAS SOUS 415363 HAS SOUPS 415363 WITH SCORE 415934.727
AT ITER 1899 NEW BEST:: SOT 1941977 SOS 571705 HAS SOPS 571705 HAS SOUS 415363 HAS SOUPS 415363 WITH SCORE 415934.705
AT ITER 1902 NEW BEST:: SOT 1941618 SOS 572166 HAS SOPS 572166 HAS SOUS 415135 HAS SOUPS 415135 WITH SCORE 415707.166
AT ITER 1906 NEW BEST:: SOT 1941618 SOS 572159 HAS SOPS 572159 HAS SOUS 415128 HAS SOUPS 415128 WITH SCORE 415700.159
AT ITER 1920 NEW BEST:: SOT 1942733 SOS 573643 HAS SOPS 573643 HAS SOUS 414515 HAS SOUPS 414515 WITH SCORE 415088.643
AT ITER 1922 NEW BEST:: SOT 1942610 SOS 573608 HAS SOPS 573608 HAS SOUS 414480 HAS SOUPS 414480 WITH SCORE 415053.608
AT ITER 1933 NEW BEST:: SOT 1941611 SOS 574855 HAS SOPS 574855 HAS SOUS 413729 HAS SOUPS 413729 WITH SCORE 414303.855
AT ITER 1939 NEW BEST:: SOT 1941611 SOS 574855 HAS SOPS 574855 HAS SOUS 413673 HAS SOUPS 413673 WITH SCORE 414247.855
AT ITER 1945 NEW BEST:: SOT 1941611 SOS 574839 HAS SOPS 574839 HAS SOUS 413657 HAS SOUPS 413657 WITH SCORE 414231.839
AT ITER 1957 NEW BEST:: SOT 1941375 SOS 574589 HAS SOPS 574589 HAS SOUS 413303 HAS SOUPS 413303 WITH SCORE 413877.589
AT ITER 1968 NEW BEST:: SOT 1941375 SOS 574537 HAS SOPS 574537 HAS SOUS 413277 HAS SOUPS 413277 WITH SCORE 413851.537
AT ITER 1981 NEW BEST:: SOT 1941377 SOS 574394 HAS SOPS 574394 HAS SOUS 413134 HAS SOUPS 413134 WITH SCORE 413708.394
AT ITER 1986 NEW BEST:: SOT 1941350 SOS 574340 HAS SOPS 574340 HAS SOUS 413035 HAS SOUPS 413035 WITH SCORE 413609.34
AT ITER 1990 NEW BEST:: SOT 1941350 SOS 574317 HAS SOPS 574317 HAS SOUS 413034 HAS SOUPS 413034 WITH SCORE 413608.317
AT ITER 2004 NEW BEST:: SOT 1941521 SOS 573766 HAS SOPS 573766 HAS SOUS 412862 HAS SOUPS 412862 WITH SCORE 413435.766
AT ITER 2020 NEW BEST:: SOT 1941520 SOS 573764 HAS SOPS 573764 HAS SOUS 412860 HAS SOUPS 412860 WITH SCORE 413433.764
AT ITER 2028 NEW BEST:: SOT 1941474 SOS 573615 HAS SOPS 573615 HAS SOUS 412853 HAS SOUPS 412853 WITH SCORE 413426.615
AT ITER 2044 NEW BEST:: SOT 1941465 SOS 573606 HAS SOPS 573606 HAS SOUS 412852 HAS SOUPS 412852 WITH SCORE 413425.606
AT ITER 2046 NEW BEST:: SOT 1941448 SOS 573569 HAS SOPS 573569 HAS SOUS 412840 HAS SOUPS 412840 WITH SCORE 413413.569
AT ITER 2066 NEW BEST:: SOT 1941330 SOS 573969 HAS SOPS 573969 HAS SOUS 412575 HAS SOUPS 412575 WITH SCORE 413148.969
AT ITER 2090 NEW BEST:: SOT 1941340 SOS 574669 HAS SOPS 574669 HAS SOUS 412435 HAS SOUPS 412435 WITH SCORE 413009.669
AT ITER 2096 NEW BEST:: SOT 1940441 SOS 576406 HAS SOPS 576406 HAS SOUS 412084 HAS SOUPS 412084 WITH SCORE 412660.406
AT ITER 2100 NEW BEST:: SOT 1940441 SOS 576405 HAS SOPS 576405 HAS SOUS 412083 HAS SOUPS 412083 WITH SCORE 412659.405
AT ITER 2102 NEW BEST:: SOT 1940431 SOS 576360 HAS SOPS 576360 HAS SOUS 412038 HAS SOUPS 412038 WITH SCORE 412614.36
AT ITER 2111 NEW BEST:: SOT 1940207 SOS 576074 HAS SOPS 576074 HAS SOUS 411752 HAS SOUPS 411752 WITH SCORE 412328.074
AT ITER 2143 NEW BEST:: SOT 1939870 SOS 576033 HAS SOPS 576033 HAS SOUS 411711 HAS SOUPS 411711 WITH SCORE 412287.033
AT ITER 2146 NEW BEST:: SOT 1940112 SOS 575679 HAS SOPS 575679 HAS SOUS 411658 HAS SOUPS 411658 WITH SCORE 412233.679
AT ITER 2163 NEW BEST:: SOT 1940048 SOS 575615 HAS SOPS 575615 HAS SOUS 411592 HAS SOUPS 411592 WITH SCORE 412167.615
AT ITER 2179 NEW BEST:: SOT 1939898 SOS 575215 HAS SOPS 575215 HAS SOUS 411292 HAS SOUPS 411292 WITH SCORE 411867.215
AT ITER 2189 NEW BEST:: SOT 1939675 SOS 574992 HAS SOPS 574992 HAS SOUS 410838 HAS SOUPS 410838 WITH SCORE 411412.992
AT ITER 2204 NEW BEST:: SOT 1939562 SOS 574723 HAS SOPS 574723 HAS SOUS 410624 HAS SOUPS 410624 WITH SCORE 411198.723
AT ITER 2206 NEW BEST:: SOT 1939761 SOS 575969 HAS SOPS 575969 HAS SOUS 410284 HAS SOUPS 410284 WITH SCORE 410859.969
AT ITER 2223 NEW BEST:: SOT 1939715 SOS 575918 HAS SOPS 575918 HAS SOUS 410276 HAS SOUPS 410276 WITH SCORE 410851.918
AT ITER 2253 NEW BEST:: SOT 1939546 SOS 575552 HAS SOPS 575552 HAS SOUS 410067 HAS SOUPS 410067 WITH SCORE 410642.552
AT ITER 2257 NEW BEST:: SOT 1939517 SOS 575436 HAS SOPS 575436 HAS SOUS 410038 HAS SOUPS 410038 WITH SCORE 410613.436
AT ITER 2279 NEW BEST:: SOT 1939517 SOS 575188 HAS SOPS 575188 HAS SOUS 409882 HAS SOUPS 409882 WITH SCORE 410457.188
AT ITER 2292 NEW BEST:: SOT 1939264 SOS 574994 HAS SOPS 574994 HAS SOUS 409688 HAS SOUPS 409688 WITH SCORE 410262.994
AT ITER 2300 NEW BEST:: SOT 1939007 SOS 574737 HAS SOPS 574737 HAS SOUS 409431 HAS SOUPS 409431 WITH SCORE 410005.737
AT ITER 2321 NEW BEST:: SOT 1936406 SOS 572370 HAS SOPS 572370 HAS SOUS 407053 HAS SOUPS 407053 WITH SCORE 407625.37
AT ITER 2323 NEW BEST:: SOT 1934219 SOS 576898 HAS SOPS 576898 HAS SOUS 405801 HAS SOUPS 405801 WITH SCORE 406377.898
AT ITER 2325 NEW BEST:: SOT 1933974 SOS 576653 HAS SOPS 576653 HAS SOUS 405503 HAS SOUPS 405503 WITH SCORE 406079.653
AT ITER 2375 NEW BEST:: SOT 1933611 SOS 575818 HAS SOPS 575818 HAS SOUS 404875 HAS SOUPS 404875 WITH SCORE 405450.818
AT ITER 2393 NEW BEST:: SOT 1933611 SOS 576175 HAS SOPS 576175 HAS SOUS 404560 HAS SOUPS 404560 WITH SCORE 405136.175
AT ITER 2422 NEW BEST:: SOT 1933456 SOS 575864 HAS SOPS 575864 HAS SOUS 404249 HAS SOUPS 404249 WITH SCORE 404824.864
AT ITER 2424 NEW BEST:: SOT 1933456 SOS 575857 HAS SOPS 575857 HAS SOUS 404242 HAS SOUPS 404242 WITH SCORE 404817.857
AT ITER 2427 NEW BEST:: SOT 1934478 SOS 577284 HAS SOPS 577284 HAS SOUS 404173 HAS SOUPS 404173 WITH SCORE 404750.284
AT ITER 2442 NEW BEST:: SOT 1934413 SOS 578153 HAS SOPS 578153 HAS SOUS 403230 HAS SOUPS 403230 WITH SCORE 403808.153
AT ITER 2446 NEW BEST:: SOT 1934376 SOS 578079 HAS SOPS 578079 HAS SOUS 403114 HAS SOUPS 403114 WITH SCORE 403692.079
AT ITER 2451 NEW BEST:: SOT 1934282 SOS 577895 HAS SOPS 577895 HAS SOUS 402922 HAS SOUPS 402922 WITH SCORE 403499.895
AT ITER 2463 NEW BEST:: SOT 1934062 SOS 577454 HAS SOPS 577454 HAS SOUS 402481 HAS SOUPS 402481 WITH SCORE 403058.454
AT ITER 2490 NEW BEST:: SOT 1933721 SOS 577317 HAS SOPS 577317 HAS SOUS 402163 HAS SOUPS 402163 WITH SCORE 402740.317
AT ITER 2492 NEW BEST:: SOT 1933650 SOS 577197 HAS SOPS 577197 HAS SOUS 402092 HAS SOUPS 402092 WITH SCORE 402669.197
AT ITER 2562 NEW BEST:: SOT 1933671 SOS 577240 HAS SOPS 577240 HAS SOUS 402087 HAS SOUPS 402087 WITH SCORE 402664.24
AT ITER 2567 NEW BEST:: SOT 1933512 SOS 576882 HAS SOPS 576882 HAS SOUS 401729 HAS SOUPS 401729 WITH SCORE 402305.882
AT ITER 2591 NEW BEST:: SOT 1933470 SOS 576819 HAS SOPS 576819 HAS SOUS 401687 HAS SOUPS 401687 WITH SCORE 402263.819
AT ITER 2600 NEW BEST:: SOT 1933929 SOS 577832 HAS SOPS 577832 HAS SOUS 401560 HAS SOUPS 401560 WITH SCORE 402137.832
AT ITER 2617 NEW BEST:: SOT 1933698 SOS 577585 HAS SOPS 577585 HAS SOUS 401313 HAS SOUPS 401313 WITH SCORE 401890.585
AT ITER 2643 NEW BEST:: SOT 1933362 SOS 577196 HAS SOPS 577196 HAS SOUS 400924 HAS SOUPS 400924 WITH SCORE 401501.196
AT ITER 2644 NEW BEST:: SOT 1933360 SOS 577192 HAS SOPS 577192 HAS SOUS 400920 HAS SOUPS 400920 WITH SCORE 401497.192
AT ITER 2669 NEW BEST:: SOT 1932195 SOS 580777 HAS SOPS 580777 HAS SOUS 400394 HAS SOUPS 400394 WITH SCORE 400974.777
AT ITER 2677 NEW BEST:: SOT 1932118 SOS 583263 HAS SOPS 583263 HAS SOUS 400240 HAS SOUPS 400240 WITH SCORE 400823.263
AT ITER 2681 NEW BEST:: SOT 1932117 SOS 583261 HAS SOPS 583261 HAS SOUS 400238 HAS SOUPS 400238 WITH SCORE 400821.261
AT ITER 2682 NEW BEST:: SOT 1932117 SOS 583227 HAS SOPS 583227 HAS SOUS 400204 HAS SOUPS 400204 WITH SCORE 400787.227
AT ITER 2688 NEW BEST:: SOT 1932027 SOS 583047 HAS SOPS 583047 HAS SOUS 400024 HAS SOUPS 400024 WITH SCORE 400607.047
AT ITER 2724 NEW BEST:: SOT 1931961 SOS 582915 HAS SOPS 582915 HAS SOUS 399892 HAS SOUPS 399892 WITH SCORE 400474.915
AT ITER 2738 NEW BEST:: SOT 1931399 SOS 582893 HAS SOPS 582893 HAS SOUS 399638 HAS SOUPS 399638 WITH SCORE 400220.893
AT ITER 2749 NEW BEST:: SOT 1931431 SOS 582621 HAS SOPS 582621 HAS SOUS 399384 HAS SOUPS 399384 WITH SCORE 399966.621
AT ITER 2750 NEW BEST:: SOT 1931431 SOS 582527 HAS SOPS 582527 HAS SOUS 399290 HAS SOUPS 399290 WITH SCORE 399872.527
AT ITER 2758 NEW BEST:: SOT 1931405 SOS 582636 HAS SOPS 582636 HAS SOUS 399238 HAS SOUPS 399238 WITH SCORE 399820.636
AT ITER 2783 NEW BEST:: SOT 1931298 SOS 582691 HAS SOPS 582691 HAS SOUS 399207 HAS SOUPS 399207 WITH SCORE 399789.691
AT ITER 2799 NEW BEST:: SOT 1931298 SOS 582690 HAS SOPS 582690 HAS SOUS 399205 HAS SOUPS 399205 WITH SCORE 399787.69
AT ITER 2802 NEW BEST:: SOT 1931264 SOS 582623 HAS SOPS 582623 HAS SOUS 399170 HAS SOUPS 399170 WITH SCORE 399752.623
AT ITER 2813 NEW BEST:: SOT 1931137 SOS 582369 HAS SOPS 582369 HAS SOUS 398916 HAS SOUPS 398916 WITH SCORE 399498.369
AT ITER 2821 NEW BEST:: SOT 1931025 SOS 582145 HAS SOPS 582145 HAS SOUS 398692 HAS SOUPS 398692 WITH SCORE 399274.145
AT ITER 2824 NEW BEST:: SOT 1931007 SOS 582127 HAS SOPS 582127 HAS SOUS 398656 HAS SOUPS 398656 WITH SCORE 399238.127
AT ITER 2825 NEW BEST:: SOT 1930555 SOS 581347 HAS SOPS 581347 HAS SOUS 398085 HAS SOUPS 398085 WITH SCORE 398666.347
AT ITER 2833 NEW BEST:: SOT 1930555 SOS 581306 HAS SOPS 581306 HAS SOUS 398044 HAS SOUPS 398044 WITH SCORE 398625.306
AT ITER 2836 NEW BEST:: SOT 1930554 SOS 581092 HAS SOPS 581092 HAS SOUS 397830 HAS SOUPS 397830 WITH SCORE 398411.092
AT ITER 2840 NEW BEST:: SOT 1930431 SOS 581045 HAS SOPS 581045 HAS SOUS 397783 HAS SOUPS 397783 WITH SCORE 398364.045
AT ITER 2841 NEW BEST:: SOT 1930431 SOS 581467 HAS SOPS 581467 HAS SOUS 397722 HAS SOUPS 397722 WITH SCORE 398303.467
AT ITER 2851 NEW BEST:: SOT 1930431 SOS 581467 HAS SOPS 581467 HAS SOUS 397718 HAS SOUPS 397718 WITH SCORE 398299.467
AT ITER 2868 NEW BEST:: SOT 1930037 SOS 581321 HAS SOPS 581321 HAS SOUS 397386 HAS SOUPS 397386 WITH SCORE 397967.321
AT ITER 2872 NEW BEST:: SOT 1930036 SOS 580792 HAS SOPS 580792 HAS SOUS 396996 HAS SOUPS 396996 WITH SCORE 397576.792
AT ITER 2878 NEW BEST:: SOT 1929995 SOS 580751 HAS SOPS 580751 HAS SOUS 396914 HAS SOUPS 396914 WITH SCORE 397494.751
AT ITER 2881 NEW BEST:: SOT 1929979 SOS 580719 HAS SOPS 580719 HAS SOUS 396882 HAS SOUPS 396882 WITH SCORE 397462.719
AT ITER 2895 NEW BEST:: SOT 1929943 SOS 580647 HAS SOPS 580647 HAS SOUS 396810 HAS SOUPS 396810 WITH SCORE 397390.647
AT ITER 2921 NEW BEST:: SOT 1929943 SOS 580725 HAS SOPS 580725 HAS SOUS 395949 HAS SOUPS 395949 WITH SCORE 396529.725
AT ITER 2936 NEW BEST:: SOT 1929864 SOS 580768 HAS SOPS 580768 HAS SOUS 395669 HAS SOUPS 395669 WITH SCORE 396249.768
AT ITER 2956 NEW BEST:: SOT 1929781 SOS 580893 HAS SOPS 580893 HAS SOUS 395584 HAS SOUPS 395584 WITH SCORE 396164.893
AT ITER 2974 NEW BEST:: SOT 1929737 SOS 580805 HAS SOPS 580805 HAS SOUS 395532 HAS SOUPS 395532 WITH SCORE 396112.805
AT ITER 2975 NEW BEST:: SOT 1929645 SOS 580665 HAS SOPS 580665 HAS SOUS 395440 HAS SOUPS 395440 WITH SCORE 396020.665
AT ITER 2982 NEW BEST:: SOT 1929159 SOS 581372 HAS SOPS 581372 HAS SOUS 395120 HAS SOUPS 395120 WITH SCORE 395701.372
AT ITER 2991 NEW BEST:: SOT 1929116 SOS 581286 HAS SOPS 581286 HAS SOUS 395034 HAS SOUPS 395034 WITH SCORE 395615.286
AT ITER 2999 NEW BEST:: SOT 1929111 SOS 581286 HAS SOPS 581286 HAS SOUS 395029 HAS SOUPS 395029 WITH SCORE 395610.286
AT ITER 3001 NEW BEST:: SOT 1929111 SOS 581216 HAS SOPS 581216 HAS SOUS 395028 HAS SOUPS 395028 WITH SCORE 395609.216
AT ITER 3019 NEW BEST:: SOT 1929111 SOS 581194 HAS SOPS 581194 HAS SOUS 394762 HAS SOUPS 394762 WITH SCORE 395343.194
AT ITER 3031 NEW BEST:: SOT 1928911 SOS 575518 HAS SOPS 575518 HAS SOUS 394119 HAS SOUPS 394119 WITH SCORE 394694.518
AT ITER 3036 NEW BEST:: SOT 1928881 SOS 575488 HAS SOPS 575488 HAS SOUS 394118 HAS SOUPS 394118 WITH SCORE 394693.488
AT ITER 3042 NEW BEST:: SOT 1928251 SOS 575190 HAS SOPS 575190 HAS SOUS 393549 HAS SOUPS 393549 WITH SCORE 394124.19
AT ITER 3066 NEW BEST:: SOT 1928270 SOS 571109 HAS SOPS 571109 HAS SOUS 393509 HAS SOUPS 393509 WITH SCORE 394080.109
AT ITER 3068 NEW BEST:: SOT 1928248 SOS 571065 HAS SOPS 571065 HAS SOUS 393487 HAS SOUPS 393487 WITH SCORE 394058.065
AT ITER 3069 NEW BEST:: SOT 1928114 SOS 570797 HAS SOPS 570797 HAS SOUS 393487 HAS SOUPS 393487 WITH SCORE 394057.797
AT ITER 3071 NEW BEST:: SOT 1928100 SOS 570759 HAS SOPS 570759 HAS SOUS 393425 HAS SOUPS 393425 WITH SCORE 393995.759
AT ITER 3077 NEW BEST:: SOT 1927862 SOS 570305 HAS SOPS 570305 HAS SOUS 393354 HAS SOUPS 393354 WITH SCORE 393924.305
AT ITER 3079 NEW BEST:: SOT 1927826 SOS 570233 HAS SOPS 570233 HAS SOUS 393282 HAS SOUPS 393282 WITH SCORE 393852.233
AT ITER 3101 NEW BEST:: SOT 1927646 SOS 570057 HAS SOPS 570057 HAS SOUS 393106 HAS SOUPS 393106 WITH SCORE 393676.057
AT ITER 3105 NEW BEST:: SOT 1928496 SOS 571047 HAS SOPS 571047 HAS SOUS 392830 HAS SOUPS 392830 WITH SCORE 393401.047
AT ITER 3113 NEW BEST:: SOT 1928251 SOS 570557 HAS SOPS 570557 HAS SOUS 392340 HAS SOUPS 392340 WITH SCORE 392910.557
AT ITER 3130 NEW BEST:: SOT 1928231 SOS 570473 HAS SOPS 570473 HAS SOUS 392300 HAS SOUPS 392300 WITH SCORE 392870.473
AT ITER 3133 NEW BEST:: SOT 1928148 SOS 570307 HAS SOPS 570307 HAS SOUS 392134 HAS SOUPS 392134 WITH SCORE 392704.307
AT ITER 3140 NEW BEST:: SOT 1927992 SOS 569995 HAS SOPS 569995 HAS SOUS 391822 HAS SOUPS 391822 WITH SCORE 392391.995
AT ITER 3152 NEW BEST:: SOT 1927896 SOS 569815 HAS SOPS 569815 HAS SOUS 391703 HAS SOUPS 391703 WITH SCORE 392272.815
AT ITER 3159 NEW BEST:: SOT 1927887 SOS 569790 HAS SOPS 569790 HAS SOUS 391678 HAS SOUPS 391678 WITH SCORE 392247.79
AT ITER 3187 NEW BEST:: SOT 1927777 SOS 569680 HAS SOPS 569680 HAS SOUS 391678 HAS SOUPS 391678 WITH SCORE 392247.68
AT ITER 3195 NEW BEST:: SOT 1927777 SOS 569502 HAS SOPS 569502 HAS SOUS 391678 HAS SOUPS 391678 WITH SCORE 392247.502
AT ITER 3202 NEW BEST:: SOT 1926686 SOS 568482 HAS SOPS 568482 HAS SOUS 391581 HAS SOUPS 391581 WITH SCORE 392149.482
AT ITER 3237 NEW BEST:: SOT 1926938 SOS 568399 HAS SOPS 568399 HAS SOUS 391498 HAS SOUPS 391498 WITH SCORE 392066.399
AT ITER 3239 NEW BEST:: SOT 1926823 SOS 568169 HAS SOPS 568169 HAS SOUS 391268 HAS SOUPS 391268 WITH SCORE 391836.169
AT ITER 3250 NEW BEST:: SOT 1926815 SOS 568137 HAS SOPS 568137 HAS SOUS 391260 HAS SOUPS 391260 WITH SCORE 391828.137
AT ITER 3252 NEW BEST:: SOT 1926740 SOS 567912 HAS SOPS 567912 HAS SOUS 391035 HAS SOUPS 391035 WITH SCORE 391602.912
AT ITER 3266 NEW BEST:: SOT 1926738 SOS 566344 HAS SOPS 566344 HAS SOUS 390909 HAS SOUPS 390909 WITH SCORE 391475.344
AT ITER 3277 NEW BEST:: SOT 1926775 SOS 566209 HAS SOPS 566209 HAS SOUS 390793 HAS SOUPS 390793 WITH SCORE 391359.209
AT ITER 3278 NEW BEST:: SOT 1926552 SOS 566073 HAS SOPS 566073 HAS SOUS 390345 HAS SOUPS 390345 WITH SCORE 390911.073
AT ITER 3287 NEW BEST:: SOT 1926552 SOS 566059 HAS SOPS 566059 HAS SOUS 390340 HAS SOUPS 390340 WITH SCORE 390906.059
AT ITER 3298 NEW BEST:: SOT 1926552 SOS 566056 HAS SOPS 566056 HAS SOUS 390337 HAS SOUPS 390337 WITH SCORE 390903.056
AT ITER 3321 NEW BEST:: SOT 1926462 SOS 566009 HAS SOPS 566009 HAS SOUS 390290 HAS SOUPS 390290 WITH SCORE 390856.009
AT ITER 3322 NEW BEST:: SOT 1926435 SOS 565955 HAS SOPS 565955 HAS SOUS 390236 HAS SOUPS 390236 WITH SCORE 390801.955
AT ITER 3330 NEW BEST:: SOT 1926344 SOS 565773 HAS SOPS 565773 HAS SOUS 390054 HAS SOUPS 390054 WITH SCORE 390619.773
AT ITER 3331 NEW BEST:: SOT 1926292 SOS 565700 HAS SOPS 565700 HAS SOUS 389981 HAS SOUPS 389981 WITH SCORE 390546.7
AT ITER 3336 NEW BEST:: SOT 1926190 SOS 565469 HAS SOPS 565469 HAS SOUS 389878 HAS SOUPS 389878 WITH SCORE 390443.469
AT ITER 3337 NEW BEST:: SOT 1926142 SOS 565535 HAS SOPS 565535 HAS SOUS 389782 HAS SOUPS 389782 WITH SCORE 390347.535
AT ITER 3349 NEW BEST:: SOT 1925835 SOS 565228 HAS SOPS 565228 HAS SOUS 389168 HAS SOUPS 389168 WITH SCORE 389733.228
AT ITER 3355 NEW BEST:: SOT 1925835 SOS 565089 HAS SOPS 565089 HAS SOUS 389029 HAS SOUPS 389029 WITH SCORE 389594.089
AT ITER 3357 NEW BEST:: SOT 1925882 SOS 564995 HAS SOPS 564995 HAS SOUS 388935 HAS SOUPS 388935 WITH SCORE 389499.995
AT ITER 3372 NEW BEST:: SOT 1925841 SOS 564913 HAS SOPS 564913 HAS SOUS 388853 HAS SOUPS 388853 WITH SCORE 389417.913
AT ITER 3375 NEW BEST:: SOT 1925716 SOS 564665 HAS SOPS 564665 HAS SOUS 388603 HAS SOUPS 388603 WITH SCORE 389167.665
AT ITER 3395 NEW BEST:: SOT 1925716 SOS 563893 HAS SOPS 563893 HAS SOUS 387983 HAS SOUPS 387983 WITH SCORE 388546.893
AT ITER 3397 NEW BEST:: SOT 1925358 SOS 563535 HAS SOPS 563535 HAS SOUS 387625 HAS SOUPS 387625 WITH SCORE 388188.535
AT ITER 3399 NEW BEST:: SOT 1925358 SOS 563260 HAS SOPS 563260 HAS SOUS 387422 HAS SOUPS 387422 WITH SCORE 387985.26
AT ITER 3417 NEW BEST:: SOT 1925332 SOS 563243 HAS SOPS 563243 HAS SOUS 387412 HAS SOUPS 387412 WITH SCORE 387975.243
AT ITER 3450 NEW BEST:: SOT 1925258 SOS 563169 HAS SOPS 563169 HAS SOUS 387323 HAS SOUPS 387323 WITH SCORE 387886.169
AT ITER 3498 NEW BEST:: SOT 1925059 SOS 562970 HAS SOPS 562970 HAS SOUS 387124 HAS SOUPS 387124 WITH SCORE 387686.97
AT ITER 3509 NEW BEST:: SOT 1924891 SOS 562915 HAS SOPS 562915 HAS SOUS 387069 HAS SOUPS 387069 WITH SCORE 387631.915
AT ITER 3518 NEW BEST:: SOT 1924891 SOS 562839 HAS SOPS 562839 HAS SOUS 386993 HAS SOUPS 386993 WITH SCORE 387555.839
AT ITER 3524 NEW BEST:: SOT 1924886 SOS 562834 HAS SOPS 562834 HAS SOUS 386988 HAS SOUPS 386988 WITH SCORE 387550.834
AT ITER 3543 NEW BEST:: SOT 1924889 SOS 562650 HAS SOPS 562650 HAS SOUS 386797 HAS SOUPS 386797 WITH SCORE 387359.65
AT ITER 3544 NEW BEST:: SOT 1924771 SOS 562886 HAS SOPS 562886 HAS SOUS 386679 HAS SOUPS 386679 WITH SCORE 387241.886
AT ITER 3548 NEW BEST:: SOT 1924771 SOS 562827 HAS SOPS 562827 HAS SOUS 386677 HAS SOUPS 386677 WITH SCORE 387239.827
AT ITER 3550 NEW BEST:: SOT 1924263 SOS 562634 HAS SOPS 562634 HAS SOUS 386109 HAS SOUPS 386109 WITH SCORE 386671.634
AT ITER 3560 NEW BEST:: SOT 1924231 SOS 562162 HAS SOPS 562162 HAS SOUS 386043 HAS SOUPS 386043 WITH SCORE 386605.162
AT ITER 3566 NEW BEST:: SOT 1924096 SOS 561892 HAS SOPS 561892 HAS SOUS 385908 HAS SOUPS 385908 WITH SCORE 386469.892
AT ITER 3573 NEW BEST:: SOT 1924070 SOS 561840 HAS SOPS 561840 HAS SOUS 385856 HAS SOUPS 385856 WITH SCORE 386417.84
AT ITER 3588 NEW BEST:: SOT 1924097 SOS 561721 HAS SOPS 561721 HAS SOUS 385750 HAS SOUPS 385750 WITH SCORE 386311.721
AT ITER 3592 NEW BEST:: SOT 1924076 SOS 561700 HAS SOPS 561700 HAS SOUS 385729 HAS SOUPS 385729 WITH SCORE 386290.7
AT ITER 3623 NEW BEST:: SOT 1924009 SOS 561372 HAS SOPS 561372 HAS SOUS 385589 HAS SOUPS 385589 WITH SCORE 386150.372
AT ITER 3625 NEW BEST:: SOT 1924105 SOS 561506 HAS SOPS 561506 HAS SOUS 385547 HAS SOUPS 385547 WITH SCORE 386108.506
AT ITER 3628 NEW BEST:: SOT 1923900 SOS 561346 HAS SOPS 561346 HAS SOUS 385465 HAS SOUPS 385465 WITH SCORE 386026.346
AT ITER 3658 NEW BEST:: SOT 1923978 SOS 561269 HAS SOPS 561269 HAS SOUS 385388 HAS SOUPS 385388 WITH SCORE 385949.269
AT ITER 3664 NEW BEST:: SOT 1923799 SOS 561064 HAS SOPS 561064 HAS SOUS 385282 HAS SOUPS 385282 WITH SCORE 385843.064
AT ITER 3668 NEW BEST:: SOT 1923644 SOS 559814 HAS SOPS 559814 HAS SOUS 383797 HAS SOUPS 383797 WITH SCORE 384356.814
AT ITER 3686 NEW BEST:: SOT 1923434 SOS 559593 HAS SOPS 559593 HAS SOUS 383628 HAS SOUPS 383628 WITH SCORE 384187.593
AT ITER 3689 NEW BEST:: SOT 1922972 SOS 559395 HAS SOPS 559395 HAS SOUS 383166 HAS SOUPS 383166 WITH SCORE 383725.395
AT ITER 3705 NEW BEST:: SOT 1922953 SOS 559376 HAS SOPS 559376 HAS SOUS 383035 HAS SOUPS 383035 WITH SCORE 383594.376
AT ITER 3717 NEW BEST:: SOT 1922854 SOS 559254 HAS SOPS 559254 HAS SOUS 382913 HAS SOUPS 382913 WITH SCORE 383472.254
AT ITER 3723 NEW BEST:: SOT 1922832 SOS 559232 HAS SOPS 559232 HAS SOUS 382891 HAS SOUPS 382891 WITH SCORE 383450.232
AT ITER 3729 NEW BEST:: SOT 1922346 SOS 558783 HAS SOPS 558783 HAS SOUS 382442 HAS SOUPS 382442 WITH SCORE 383000.783
AT ITER 3761 NEW BEST:: SOT 1922324 SOS 560259 HAS SOPS 560259 HAS SOUS 382420 HAS SOUPS 382420 WITH SCORE 382980.259
AT ITER 3766 NEW BEST:: SOT 1922324 SOS 560254 HAS SOPS 560254 HAS SOUS 382415 HAS SOUPS 382415 WITH SCORE 382975.254
AT ITER 3801 NEW BEST:: SOT 1922324 SOS 560227 HAS SOPS 560227 HAS SOUS 382388 HAS SOUPS 382388 WITH SCORE 382948.227
AT ITER 3822 NEW BEST:: SOT 1922308 SOS 560147 HAS SOPS 560147 HAS SOUS 382340 HAS SOUPS 382340 WITH SCORE 382900.147
AT ITER 3832 NEW BEST:: SOT 1922308 SOS 560124 HAS SOPS 560124 HAS SOUS 382317 HAS SOUPS 382317 WITH SCORE 382877.124
AT ITER 3835 NEW BEST:: SOT 1922308 SOS 560025 HAS SOPS 560025 HAS SOUS 382317 HAS SOUPS 382317 WITH SCORE 382877.025
AT ITER 3845 NEW BEST:: SOT 1922604 SOS 560037 HAS SOPS 560037 HAS SOUS 382310 HAS SOUPS 382310 WITH SCORE 382870.037
AT ITER 3847 NEW BEST:: SOT 1922486 SOS 559814 HAS SOPS 559814 HAS SOUS 381983 HAS SOUPS 381983 WITH SCORE 382542.814
AT ITER 3852 NEW BEST:: SOT 1922461 SOS 559789 HAS SOPS 559789 HAS SOUS 381958 HAS SOUPS 381958 WITH SCORE 382517.789
AT ITER 3875 NEW BEST:: SOT 1922461 SOS 559648 HAS SOPS 559648 HAS SOUS 381817 HAS SOUPS 381817 WITH SCORE 382376.648
AT ITER 3881 NEW BEST:: SOT 1922446 SOS 559531 HAS SOPS 559531 HAS SOUS 381785 HAS SOUPS 381785 WITH SCORE 382344.531
AT ITER 3898 NEW BEST:: SOT 1922254 SOS 559339 HAS SOPS 559339 HAS SOUS 381593 HAS SOUPS 381593 WITH SCORE 382152.339
AT ITER 3900 NEW BEST:: SOT 1922254 SOS 559454 HAS SOPS 559454 HAS SOUS 381592 HAS SOUPS 381592 WITH SCORE 382151.454
AT ITER 3919 NEW BEST:: SOT 1922254 SOS 559426 HAS SOPS 559426 HAS SOUS 381590 HAS SOUPS 381590 WITH SCORE 382149.426
AT ITER 3923 NEW BEST:: SOT 1922254 SOS 559319 HAS SOPS 559319 HAS SOUS 381483 HAS SOUPS 381483 WITH SCORE 382042.319
AT ITER 3946 NEW BEST:: SOT 1922199 SOS 559264 HAS SOPS 559264 HAS SOUS 381428 HAS SOUPS 381428 WITH SCORE 381987.264
AT ITER 3953 NEW BEST:: SOT 1922122 SOS 559191 HAS SOPS 559191 HAS SOUS 381274 HAS SOUPS 381274 WITH SCORE 381833.191
AT ITER 3973 NEW BEST:: SOT 1922122 SOS 559159 HAS SOPS 559159 HAS SOUS 381242 HAS SOUPS 381242 WITH SCORE 381801.159
AT ITER 3983 NEW BEST:: SOT 1922121 SOS 559157 HAS SOPS 559157 HAS SOUS 381240 HAS SOUPS 381240 WITH SCORE 381799.157
AT ITER 4062 NEW BEST:: SOT 1922291 SOS 558321 HAS SOPS 558321 HAS SOUS 381122 HAS SOUPS 381122 WITH SCORE 381680.321
AT ITER 4067 NEW BEST:: SOT 1922153 SOS 557759 HAS SOPS 557759 HAS SOUS 380780 HAS SOUPS 380780 WITH SCORE 381337.759
AT ITER 4094 NEW BEST:: SOT 1922153 SOS 557759 HAS SOPS 557759 HAS SOUS 380778 HAS SOUPS 380778 WITH SCORE 381335.759
AT ITER 4111 NEW BEST:: SOT 1922153 SOS 557699 HAS SOPS 557699 HAS SOUS 380772 HAS SOUPS 380772 WITH SCORE 381329.699
AT ITER 4112 NEW BEST:: SOT 1921955 SOS 557303 HAS SOPS 557303 HAS SOUS 380574 HAS SOUPS 380574 WITH SCORE 381131.303
AT ITER 4118 NEW BEST:: SOT 1921924 SOS 557101 HAS SOPS 557101 HAS SOUS 380372 HAS SOUPS 380372 WITH SCORE 380929.101
AT ITER 4122 NEW BEST:: SOT 1921878 SOS 557049 HAS SOPS 557049 HAS SOUS 379958 HAS SOUPS 379958 WITH SCORE 380515.049
AT ITER 4128 NEW BEST:: SOT 1921759 SOS 556896 HAS SOPS 556896 HAS SOUS 379941 HAS SOUPS 379941 WITH SCORE 380497.896
AT ITER 4137 NEW BEST:: SOT 1921663 SOS 556705 HAS SOPS 556705 HAS SOUS 379749 HAS SOUPS 379749 WITH SCORE 380305.705
AT ITER 4140 NEW BEST:: SOT 1921530 SOS 556572 HAS SOPS 556572 HAS SOUS 379616 HAS SOUPS 379616 WITH SCORE 380172.572
AT ITER 4143 NEW BEST:: SOT 1921545 SOS 556557 HAS SOPS 556557 HAS SOUS 379586 HAS SOUPS 379586 WITH SCORE 380142.557
AT ITER 4202 NEW BEST:: SOT 1921430 SOS 554608 HAS SOPS 554608 HAS SOUS 378976 HAS SOUPS 378976 WITH SCORE 379530.608
AT ITER 4231 NEW BEST:: SOT 1921303 SOS 554597 HAS SOPS 554597 HAS SOUS 378965 HAS SOUPS 378965 WITH SCORE 379519.597
AT ITER 4241 NEW BEST:: SOT 1921255 SOS 554549 HAS SOPS 554549 HAS SOUS 378917 HAS SOUPS 378917 WITH SCORE 379471.549
AT ITER 4258 NEW BEST:: SOT 1921255 SOS 554549 HAS SOPS 554549 HAS SOUS 378831 HAS SOUPS 378831 WITH SCORE 379385.549
AT ITER 4273 NEW BEST:: SOT 1921255 SOS 554414 HAS SOPS 554414 HAS SOUS 378696 HAS SOUPS 378696 WITH SCORE 379250.414
AT ITER 4276 NEW BEST:: SOT 1920409 SOS 553642 HAS SOPS 553642 HAS SOUS 378212 HAS SOUPS 378212 WITH SCORE 378765.642
AT ITER 4284 NEW BEST:: SOT 1920389 SOS 553618 HAS SOPS 553618 HAS SOUS 378152 HAS SOUPS 378152 WITH SCORE 378705.618
AT ITER 4288 NEW BEST:: SOT 1920389 SOS 553471 HAS SOPS 553471 HAS SOUS 378152 HAS SOUPS 378152 WITH SCORE 378705.471
AT ITER 4299 NEW BEST:: SOT 1920425 SOS 553413 HAS SOPS 553413 HAS SOUS 378116 HAS SOUPS 378116 WITH SCORE 378669.413
AT ITER 4315 NEW BEST:: SOT 1920415 SOS 553403 HAS SOPS 553403 HAS SOUS 378106 HAS SOUPS 378106 WITH SCORE 378659.403
AT ITER 4331 NEW BEST:: SOT 1920181 SOS 553324 HAS SOPS 553324 HAS SOUS 378001 HAS SOUPS 378001 WITH SCORE 378554.324
AT ITER 4338 NEW BEST:: SOT 1920706 SOS 554020 HAS SOPS 554020 HAS SOUS 377634 HAS SOUPS 377634 WITH SCORE 378188.02
AT ITER 4339 NEW BEST:: SOT 1920697 SOS 553996 HAS SOPS 553996 HAS SOUS 377610 HAS SOUPS 377610 WITH SCORE 378163.996
AT ITER 4353 NEW BEST:: SOT 1920600 SOS 553802 HAS SOPS 553802 HAS SOUS 377416 HAS SOUPS 377416 WITH SCORE 377969.802
AT ITER 4367 NEW BEST:: SOT 1920157 SOS 553500 HAS SOPS 553500 HAS SOUS 377071 HAS SOUPS 377071 WITH SCORE 377624.5
AT ITER 4380 NEW BEST:: SOT 1919384 SOS 552863 HAS SOPS 552863 HAS SOUS 376470 HAS SOUPS 376470 WITH SCORE 377022.863
AT ITER 4388 NEW BEST:: SOT 1919332 SOS 552744 HAS SOPS 552744 HAS SOUS 376417 HAS SOUPS 376417 WITH SCORE 376969.744
AT ITER 4395 NEW BEST:: SOT 1919288 SOS 552524 HAS SOPS 552524 HAS SOUS 376367 HAS SOUPS 376367 WITH SCORE 376919.524
AT ITER 4399 NEW BEST:: SOT 1918993 SOS 552199 HAS SOPS 552199 HAS SOUS 375920 HAS SOUPS 375920 WITH SCORE 376472.199
AT ITER 4409 NEW BEST:: SOT 1918931 SOS 551373 HAS SOPS 551373 HAS SOUS 375857 HAS SOUPS 375857 WITH SCORE 376408.373
AT ITER 4413 NEW BEST:: SOT 1918882 SOS 551317 HAS SOPS 551317 HAS SOUS 375857 HAS SOUPS 375857 WITH SCORE 376408.317
AT ITER 4427 NEW BEST:: SOT 1918882 SOS 551287 HAS SOPS 551287 HAS SOUS 375856 HAS SOUPS 375856 WITH SCORE 376407.287
AT ITER 4465 NEW BEST:: SOT 1918882 SOS 551330 HAS SOPS 551330 HAS SOUS 375555 HAS SOUPS 375555 WITH SCORE 376106.33
AT ITER 4469 NEW BEST:: SOT 1918717 SOS 551088 HAS SOPS 551088 HAS SOUS 375061 HAS SOUPS 375061 WITH SCORE 375612.088
AT ITER 4478 NEW BEST:: SOT 1918717 SOS 550675 HAS SOPS 550675 HAS SOUS 375061 HAS SOUPS 375061 WITH SCORE 375611.675
AT ITER 4497 NEW BEST:: SOT 1918597 SOS 550585 HAS SOPS 550585 HAS SOUS 374971 HAS SOUPS 374971 WITH SCORE 375521.585
AT ITER 4518 NEW BEST:: SOT 1918597 SOS 550550 HAS SOPS 550550 HAS SOUS 374936 HAS SOUPS 374936 WITH SCORE 375486.55
AT ITER 4522 NEW BEST:: SOT 1918466 SOS 550353 HAS SOPS 550353 HAS SOUS 374805 HAS SOUPS 374805 WITH SCORE 375355.353
AT ITER 4532 NEW BEST:: SOT 1918466 SOS 550321 HAS SOPS 550321 HAS SOUS 374805 HAS SOUPS 374805 WITH SCORE 375355.321
AT ITER 4544 NEW BEST:: SOT 1918466 SOS 550058 HAS SOPS 550058 HAS SOUS 374680 HAS SOUPS 374680 WITH SCORE 375230.058
AT ITER 4573 NEW BEST:: SOT 1918461 SOS 550209 HAS SOPS 550209 HAS SOUS 374618 HAS SOUPS 374618 WITH SCORE 375168.209
AT ITER 4575 NEW BEST:: SOT 1918412 SOS 550112 HAS SOPS 550112 HAS SOUS 374569 HAS SOUPS 374569 WITH SCORE 375119.112
AT ITER 4581 NEW BEST:: SOT 1918263 SOS 549673 HAS SOPS 549673 HAS SOUS 374137 HAS SOUPS 374137 WITH SCORE 374686.673
AT ITER 4586 NEW BEST:: SOT 1918254 SOS 549655 HAS SOPS 549655 HAS SOUS 374119 HAS SOUPS 374119 WITH SCORE 374668.655
AT ITER 4587 NEW BEST:: SOT 1918232 SOS 549507 HAS SOPS 549507 HAS SOUS 373971 HAS SOUPS 373971 WITH SCORE 374520.507
AT ITER 4600 NEW BEST:: SOT 1918230 SOS 548797 HAS SOPS 548797 HAS SOUS 373792 HAS SOUPS 373792 WITH SCORE 374340.797
AT ITER 4604 NEW BEST:: SOT 1918219 SOS 548714 HAS SOPS 548714 HAS SOUS 373769 HAS SOUPS 373769 WITH SCORE 374317.714
AT ITER 4618 NEW BEST:: SOT 1918219 SOS 548714 HAS SOPS 548714 HAS SOUS 373740 HAS SOUPS 373740 WITH SCORE 374288.714
AT ITER 4633 NEW BEST:: SOT 1918184 SOS 548679 HAS SOPS 548679 HAS SOUS 373705 HAS SOUPS 373705 WITH SCORE 374253.679
AT ITER 4644 NEW BEST:: SOT 1918282 SOS 548512 HAS SOPS 548512 HAS SOUS 373691 HAS SOUPS 373691 WITH SCORE 374239.512
AT ITER 4647 NEW BEST:: SOT 1918282 SOS 548502 HAS SOPS 548502 HAS SOUS 373681 HAS SOUPS 373681 WITH SCORE 374229.502
AT ITER 4667 NEW BEST:: SOT 1918077 SOS 548338 HAS SOPS 548338 HAS SOUS 373517 HAS SOUPS 373517 WITH SCORE 374065.338
AT ITER 4670 NEW BEST:: SOT 1918308 SOS 547699 HAS SOPS 547699 HAS SOUS 373245 HAS SOUPS 373245 WITH SCORE 373792.699
AT ITER 4678 NEW BEST:: SOT 1918292 SOS 547667 HAS SOPS 547667 HAS SOUS 373213 HAS SOUPS 373213 WITH SCORE 373760.667
AT ITER 4689 NEW BEST:: SOT 1918292 SOS 547641 HAS SOPS 547641 HAS SOUS 373187 HAS SOUPS 373187 WITH SCORE 373734.641
AT ITER 4696 NEW BEST:: SOT 1918302 SOS 547603 HAS SOPS 547603 HAS SOUS 373149 HAS SOUPS 373149 WITH SCORE 373696.603
AT ITER 4711 NEW BEST:: SOT 1918189 SOS 547359 HAS SOPS 547359 HAS SOUS 372938 HAS SOUPS 372938 WITH SCORE 373485.359
AT ITER 4712 NEW BEST:: SOT 1918121 SOS 546754 HAS SOPS 546754 HAS SOUS 372802 HAS SOUPS 372802 WITH SCORE 373348.754
AT ITER 4717 NEW BEST:: SOT 1918120 SOS 546826 HAS SOPS 546826 HAS SOUS 372721 HAS SOUPS 372721 WITH SCORE 373267.826
AT ITER 4725 NEW BEST:: SOT 1917926 SOS 546306 HAS SOPS 546306 HAS SOUS 371876 HAS SOUPS 371876 WITH SCORE 372422.306
AT ITER 4748 NEW BEST:: SOT 1917882 SOS 546155 HAS SOPS 546155 HAS SOUS 371725 HAS SOUPS 371725 WITH SCORE 372271.155
AT ITER 4752 NEW BEST:: SOT 1917774 SOS 545806 HAS SOPS 545806 HAS SOUS 371532 HAS SOUPS 371532 WITH SCORE 372077.806
AT ITER 4767 NEW BEST:: SOT 1917773 SOS 545804 HAS SOPS 545804 HAS SOUS 371530 HAS SOUPS 371530 WITH SCORE 372075.804
AT ITER 4781 NEW BEST:: SOT 1917687 SOS 545718 HAS SOPS 545718 HAS SOUS 371444 HAS SOUPS 371444 WITH SCORE 371989.718
AT ITER 4785 NEW BEST:: SOT 1917670 SOS 545701 HAS SOPS 545701 HAS SOUS 371427 HAS SOUPS 371427 WITH SCORE 371972.701
AT ITER 4822 NEW BEST:: SOT 1917645 SOS 545526 HAS SOPS 545526 HAS SOUS 371077 HAS SOUPS 371077 WITH SCORE 371622.526
AT ITER 4835 NEW BEST:: SOT 1917482 SOS 545306 HAS SOPS 545306 HAS SOUS 371040 HAS SOUPS 371040 WITH SCORE 371585.306
AT ITER 4861 NEW BEST:: SOT 1917453 SOS 545277 HAS SOPS 545277 HAS SOUS 370982 HAS SOUPS 370982 WITH SCORE 371527.277
AT ITER 4867 NEW BEST:: SOT 1917353 SOS 545177 HAS SOPS 545177 HAS SOUS 370882 HAS SOUPS 370882 WITH SCORE 371427.177
AT ITER 4883 NEW BEST:: SOT 1917210 SOS 544808 HAS SOPS 544808 HAS SOUS 370707 HAS SOUPS 370707 WITH SCORE 371251.808
AT ITER 4907 NEW BEST:: SOT 1917210 SOS 544808 HAS SOPS 544808 HAS SOUS 370705 HAS SOUPS 370705 WITH SCORE 371249.808
AT ITER 4909 NEW BEST:: SOT 1917168 SOS 544766 HAS SOPS 544766 HAS SOUS 370653 HAS SOUPS 370653 WITH SCORE 371197.766
AT ITER 4911 NEW BEST:: SOT 1917045 SOS 544604 HAS SOPS 544604 HAS SOUS 370407 HAS SOUPS 370407 WITH SCORE 370951.604
AT ITER 4915 NEW BEST:: SOT 1916980 SOS 544507 HAS SOPS 544507 HAS SOUS 370286 HAS SOUPS 370286 WITH SCORE 370830.507
AT ITER 4925 NEW BEST:: SOT 1916827 SOS 543940 HAS SOPS 543940 HAS SOUS 369893 HAS SOUPS 369893 WITH SCORE 370436.94
AT ITER 4946 NEW BEST:: SOT 1916675 SOS 543543 HAS SOPS 543543 HAS SOUS 369654 HAS SOUPS 369654 WITH SCORE 370197.543
AT ITER 4952 NEW BEST:: SOT 1916444 SOS 543135 HAS SOPS 543135 HAS SOUS 369148 HAS SOUPS 369148 WITH SCORE 369691.135
AT ITER 4954 NEW BEST:: SOT 1916444 SOS 543125 HAS SOPS 543125 HAS SOUS 369138 HAS SOUPS 369138 WITH SCORE 369681.125
AT ITER 4961 NEW BEST:: SOT 1916433 SOS 543024 HAS SOPS 543024 HAS SOUS 369037 HAS SOUPS 369037 WITH SCORE 369580.024
AT ITER 4964 NEW BEST:: SOT 1916209 SOS 542576 HAS SOPS 542576 HAS SOUS 368589 HAS SOUPS 368589 WITH SCORE 369131.576
AT ITER 4968 NEW BEST:: SOT 1916181 SOS 542520 HAS SOPS 542520 HAS SOUS 368533 HAS SOUPS 368533 WITH SCORE 369075.52
AT ITER 4973 NEW BEST:: SOT 1916181 SOS 542519 HAS SOPS 542519 HAS SOUS 368532 HAS SOUPS 368532 WITH SCORE 369074.519
AT ITER 4986 NEW BEST:: SOT 1916136 SOS 542459 HAS SOPS 542459 HAS SOUS 368472 HAS SOUPS 368472 WITH SCORE 369014.459
AT ITER 5011 NEW BEST:: SOT 1916136 SOS 542424 HAS SOPS 542424 HAS SOUS 368458 HAS SOUPS 368458 WITH SCORE 369000.424
AT ITER 5019 NEW BEST:: SOT 1916095 SOS 542256 HAS SOPS 542256 HAS SOUS 368376 HAS SOUPS 368376 WITH SCORE 368918.256
AT ITER 5028 NEW BEST:: SOT 1915829 SOS 542017 HAS SOPS 542017 HAS SOUS 368137 HAS SOUPS 368137 WITH SCORE 368679.017
AT ITER 5036 NEW BEST:: SOT 1915716 SOS 541791 HAS SOPS 541791 HAS SOUS 367911 HAS SOUPS 367911 WITH SCORE 368452.791
AT ITER 5040 NEW BEST:: SOT 1915716 SOS 541734 HAS SOPS 541734 HAS SOUS 367907 HAS SOUPS 367907 WITH SCORE 368448.734
AT ITER 5044 NEW BEST:: SOT 1915512 SOS 541648 HAS SOPS 541648 HAS SOUS 367907 HAS SOUPS 367907 WITH SCORE 368448.648
AT ITER 5052 NEW BEST:: SOT 1915524 SOS 541631 HAS SOPS 541631 HAS SOUS 367890 HAS SOUPS 367890 WITH SCORE 368431.631
AT ITER 5054 NEW BEST:: SOT 1915523 SOS 541600 HAS SOPS 541600 HAS SOUS 367888 HAS SOUPS 367888 WITH SCORE 368429.6
AT ITER 5055 NEW BEST:: SOT 1915523 SOS 541600 HAS SOPS 541600 HAS SOUS 367800 HAS SOUPS 367800 WITH SCORE 368341.6
AT ITER 5060 NEW BEST:: SOT 1915478 SOS 541510 HAS SOPS 541510 HAS SOUS 367710 HAS SOUPS 367710 WITH SCORE 368251.51
AT ITER 5066 NEW BEST:: SOT 1915478 SOS 541463 HAS SOPS 541463 HAS SOUS 367663 HAS SOUPS 367663 WITH SCORE 368204.463
AT ITER 5070 NEW BEST:: SOT 1914782 SOS 542296 HAS SOPS 542296 HAS SOUS 367324 HAS SOUPS 367324 WITH SCORE 367866.296
AT ITER 5082 NEW BEST:: SOT 1914640 SOS 541870 HAS SOPS 541870 HAS SOUS 366898 HAS SOUPS 366898 WITH SCORE 367439.87
AT ITER 5098 NEW BEST:: SOT 1914600 SOS 541298 HAS SOPS 541298 HAS SOUS 366751 HAS SOUPS 366751 WITH SCORE 367292.298
AT ITER 5107 NEW BEST:: SOT 1914566 SOS 541230 HAS SOPS 541230 HAS SOUS 366716 HAS SOUPS 366716 WITH SCORE 367257.23
AT ITER 5135 NEW BEST:: SOT 1914566 SOS 541218 HAS SOPS 541218 HAS SOUS 366704 HAS SOUPS 366704 WITH SCORE 367245.218
AT ITER 5136 NEW BEST:: SOT 1914444 SOS 540904 HAS SOPS 540904 HAS SOUS 366528 HAS SOUPS 366528 WITH SCORE 367068.904
AT ITER 5151 NEW BEST:: SOT 1914297 SOS 540757 HAS SOPS 540757 HAS SOUS 366327 HAS SOUPS 366327 WITH SCORE 366867.757
AT ITER 5190 NEW BEST:: SOT 1913902 SOS 540403 HAS SOPS 540403 HAS SOUS 365973 HAS SOUPS 365973 WITH SCORE 366513.403
AT ITER 5228 NEW BEST:: SOT 1913876 SOS 539927 HAS SOPS 539927 HAS SOUS 365523 HAS SOUPS 365523 WITH SCORE 366062.927
AT ITER 5238 NEW BEST:: SOT 1913565 SOS 539186 HAS SOPS 539186 HAS SOUS 364660 HAS SOUPS 364660 WITH SCORE 365199.186
AT ITER 5244 NEW BEST:: SOT 1913397 SOS 539072 HAS SOPS 539072 HAS SOUS 364546 HAS SOUPS 364546 WITH SCORE 365085.072
AT ITER 5247 NEW BEST:: SOT 1913397 SOS 538981 HAS SOPS 538981 HAS SOUS 364546 HAS SOUPS 364546 WITH SCORE 365084.981
AT ITER 5283 NEW BEST:: SOT 1913442 SOS 539071 HAS SOPS 539071 HAS SOUS 364447 HAS SOUPS 364447 WITH SCORE 364986.071
AT ITER 5312 NEW BEST:: SOT 1913407 SOS 538938 HAS SOPS 538938 HAS SOUS 364314 HAS SOUPS 364314 WITH SCORE 364852.938
AT ITER 5315 NEW BEST:: SOT 1913384 SOS 538915 HAS SOPS 538915 HAS SOUS 364291 HAS SOUPS 364291 WITH SCORE 364829.915
AT ITER 5336 NEW BEST:: SOT 1912940 SOS 538471 HAS SOPS 538471 HAS SOUS 363847 HAS SOUPS 363847 WITH SCORE 364385.471
AT ITER 5342 NEW BEST:: SOT 1912812 SOS 538468 HAS SOPS 538468 HAS SOUS 363844 HAS SOUPS 363844 WITH SCORE 364382.468
AT ITER 5368 NEW BEST:: SOT 1912690 SOS 538285 HAS SOPS 538285 HAS SOUS 363661 HAS SOUPS 363661 WITH SCORE 364199.285
AT ITER 5414 NEW BEST:: SOT 1912706 SOS 537979 HAS SOPS 537979 HAS SOUS 363582 HAS SOUPS 363582 WITH SCORE 364119.979
AT ITER 5423 NEW BEST:: SOT 1912221 SOS 537659 HAS SOPS 537659 HAS SOUS 363165 HAS SOUPS 363165 WITH SCORE 363702.659
AT ITER 5432 NEW BEST:: SOT 1912221 SOS 537659 HAS SOPS 537659 HAS SOUS 363159 HAS SOUPS 363159 WITH SCORE 363696.659
AT ITER 5437 NEW BEST:: SOT 1912035 SOS 537542 HAS SOPS 537542 HAS SOUS 363042 HAS SOUPS 363042 WITH SCORE 363579.542
AT ITER 5489 NEW BEST:: SOT 1911808 SOS 537600 HAS SOPS 537600 HAS SOUS 363012 HAS SOUPS 363012 WITH SCORE 363549.6
AT ITER 5492 NEW BEST:: SOT 1911749 SOS 537194 HAS SOPS 537194 HAS SOUS 362893 HAS SOUPS 362893 WITH SCORE 363430.194
AT ITER 5509 NEW BEST:: SOT 1911700 SOS 537752 HAS SOPS 537752 HAS SOUS 362760 HAS SOUPS 362760 WITH SCORE 363297.752
AT ITER 5522 NEW BEST:: SOT 1911699 SOS 537750 HAS SOPS 537750 HAS SOUS 362758 HAS SOUPS 362758 WITH SCORE 363295.75
AT ITER 5529 NEW BEST:: SOT 1911603 SOS 537754 HAS SOPS 537754 HAS SOUS 362742 HAS SOUPS 362742 WITH SCORE 363279.754
AT ITER 5559 NEW BEST:: SOT 1911422 SOS 539173 HAS SOPS 539173 HAS SOUS 362415 HAS SOUPS 362415 WITH SCORE 362954.173
AT ITER 5563 NEW BEST:: SOT 1912195 SOS 540196 HAS SOPS 540196 HAS SOUS 362400 HAS SOUPS 362400 WITH SCORE 362940.196
AT ITER 5575 NEW BEST:: SOT 1912195 SOS 540098 HAS SOPS 540098 HAS SOUS 362400 HAS SOUPS 362400 WITH SCORE 362940.098
AT ITER 5590 NEW BEST:: SOT 1912186 SOS 540080 HAS SOPS 540080 HAS SOUS 362382 HAS SOUPS 362382 WITH SCORE 362922.08
AT ITER 5611 NEW BEST:: SOT 1912111 SOS 539405 HAS SOPS 539405 HAS SOUS 362256 HAS SOUPS 362256 WITH SCORE 362795.405
AT ITER 5628 NEW BEST:: SOT 1911985 SOS 539346 HAS SOPS 539346 HAS SOUS 361980 HAS SOUPS 361980 WITH SCORE 362519.346
AT ITER 5654 NEW BEST:: SOT 1911982 SOS 539341 HAS SOPS 539341 HAS SOUS 361976 HAS SOUPS 361976 WITH SCORE 362515.341
AT ITER 5669 NEW BEST:: SOT 1911889 SOS 539155 HAS SOPS 539155 HAS SOUS 361883 HAS SOUPS 361883 WITH SCORE 362422.155
AT ITER 5699 NEW BEST:: SOT 1911925 SOS 538941 HAS SOPS 538941 HAS SOUS 361669 HAS SOUPS 361669 WITH SCORE 362207.941
AT ITER 5754 NEW BEST:: SOT 1911892 SOS 538704 HAS SOPS 538704 HAS SOUS 361506 HAS SOUPS 361506 WITH SCORE 362044.704
AT ITER 5790 NEW BEST:: SOT 1911944 SOS 538085 HAS SOPS 538085 HAS SOUS 361307 HAS SOUPS 361307 WITH SCORE 361845.085
AT ITER 5794 NEW BEST:: SOT 1912122 SOS 537995 HAS SOPS 537995 HAS SOUS 361217 HAS SOUPS 361217 WITH SCORE 361754.995
AT ITER 5808 NEW BEST:: SOT 1911528 SOS 537548 HAS SOPS 537548 HAS SOUS 360660 HAS SOUPS 360660 WITH SCORE 361197.548
AT ITER 5813 NEW BEST:: SOT 1911528 SOS 537327 HAS SOPS 537327 HAS SOUS 360639 HAS SOUPS 360639 WITH SCORE 361176.327
AT ITER 5833 NEW BEST:: SOT 1911376 SOS 537217 HAS SOPS 537217 HAS SOUS 360489 HAS SOUPS 360489 WITH SCORE 361026.217
AT ITER 5836 NEW BEST:: SOT 1911376 SOS 537207 HAS SOPS 537207 HAS SOUS 360479 HAS SOUPS 360479 WITH SCORE 361016.207
AT ITER 5846 NEW BEST:: SOT 1911344 SOS 537054 HAS SOPS 537054 HAS SOUS 360418 HAS SOUPS 360418 WITH SCORE 360955.054
AT ITER 5852 NEW BEST:: SOT 1911344 SOS 536826 HAS SOPS 536826 HAS SOUS 360418 HAS SOUPS 360418 WITH SCORE 360954.826
AT ITER 5885 NEW BEST:: SOT 1911344 SOS 536824 HAS SOPS 536824 HAS SOUS 360416 HAS SOUPS 360416 WITH SCORE 360952.824
AT ITER 5887 NEW BEST:: SOT 1911344 SOS 536538 HAS SOPS 536538 HAS SOUS 360318 HAS SOUPS 360318 WITH SCORE 360854.538
AT ITER 5931 NEW BEST:: SOT 1911418 SOS 536534 HAS SOPS 536534 HAS SOUS 360314 HAS SOUPS 360314 WITH SCORE 360850.534
AT ITER 5990 NEW BEST:: SOT 1911381 SOS 536460 HAS SOPS 536460 HAS SOUS 360240 HAS SOUPS 360240 WITH SCORE 360776.46
AT ITER 6001 NEW BEST:: SOT 1911381 SOS 536448 HAS SOPS 536448 HAS SOUS 360228 HAS SOUPS 360228 WITH SCORE 360764.448
AT ITER 6010 NEW BEST:: SOT 1911352 SOS 536390 HAS SOPS 536390 HAS SOUS 360170 HAS SOUPS 360170 WITH SCORE 360706.39
AT ITER 6022 NEW BEST:: SOT 1911451 SOS 535029 HAS SOPS 535029 HAS SOUS 357546 HAS SOUPS 357546 WITH SCORE 358081.029
AT ITER 6027 NEW BEST:: SOT 1911360 SOS 534801 HAS SOPS 534801 HAS SOUS 357421 HAS SOUPS 357421 WITH SCORE 357955.801
AT ITER 6039 NEW BEST:: SOT 1911360 SOS 534801 HAS SOPS 534801 HAS SOUS 357388 HAS SOUPS 357388 WITH SCORE 357922.801
AT ITER 6043 NEW BEST:: SOT 1911089 SOS 534444 HAS SOPS 534444 HAS SOUS 357053 HAS SOUPS 357053 WITH SCORE 357587.444
AT ITER 6050 NEW BEST:: SOT 1911048 SOS 534403 HAS SOPS 534403 HAS SOUS 357012 HAS SOUPS 357012 WITH SCORE 357546.403
AT ITER 6078 NEW BEST:: SOT 1911048 SOS 534403 HAS SOPS 534403 HAS SOUS 357011 HAS SOUPS 357011 WITH SCORE 357545.403
AT ITER 6084 NEW BEST:: SOT 1911048 SOS 534262 HAS SOPS 534262 HAS SOUS 356870 HAS SOUPS 356870 WITH SCORE 357404.262
AT ITER 6100 NEW BEST:: SOT 1910926 SOS 534140 HAS SOPS 534140 HAS SOUS 356748 HAS SOUPS 356748 WITH SCORE 357282.14
AT ITER 6110 NEW BEST:: SOT 1910926 SOS 534097 HAS SOPS 534097 HAS SOUS 356648 HAS SOUPS 356648 WITH SCORE 357182.097
AT ITER 6114 NEW BEST:: SOT 1910641 SOS 533928 HAS SOPS 533928 HAS SOUS 356432 HAS SOUPS 356432 WITH SCORE 356965.928
AT ITER 6118 NEW BEST:: SOT 1910616 SOS 533446 HAS SOPS 533446 HAS SOUS 356327 HAS SOUPS 356327 WITH SCORE 356860.446
AT ITER 6152 NEW BEST:: SOT 1910614 SOS 533444 HAS SOPS 533444 HAS SOUS 356325 HAS SOUPS 356325 WITH SCORE 356858.444
AT ITER 6169 NEW BEST:: SOT 1910426 SOS 533218 HAS SOPS 533218 HAS SOUS 356004 HAS SOUPS 356004 WITH SCORE 356537.218
AT ITER 6175 NEW BEST:: SOT 1910343 SOS 533305 HAS SOPS 533305 HAS SOUS 355851 HAS SOUPS 355851 WITH SCORE 356384.305
AT ITER 6184 NEW BEST:: SOT 1909306 SOS 534756 HAS SOPS 534756 HAS SOUS 355436 HAS SOUPS 355436 WITH SCORE 355970.756
AT ITER 6187 NEW BEST:: SOT 1909256 SOS 535375 HAS SOPS 535375 HAS SOUS 355391 HAS SOUPS 355391 WITH SCORE 355926.375
AT ITER 6216 NEW BEST:: SOT 1909590 SOS 535487 HAS SOPS 535487 HAS SOUS 355351 HAS SOUPS 355351 WITH SCORE 355886.487
AT ITER 6218 NEW BEST:: SOT 1909543 SOS 534970 HAS SOPS 534970 HAS SOUS 355257 HAS SOUPS 355257 WITH SCORE 355791.97
AT ITER 6224 NEW BEST:: SOT 1909474 SOS 534577 HAS SOPS 534577 HAS SOUS 355097 HAS SOUPS 355097 WITH SCORE 355631.577
AT ITER 6232 NEW BEST:: SOT 1909473 SOS 534576 HAS SOPS 534576 HAS SOUS 355095 HAS SOUPS 355095 WITH SCORE 355629.576
AT ITER 6235 NEW BEST:: SOT 1909378 SOS 533796 HAS SOPS 533796 HAS SOUS 354486 HAS SOUPS 354486 WITH SCORE 355019.796
AT ITER 6257 NEW BEST:: SOT 1909368 SOS 533820 HAS SOPS 533820 HAS SOUS 354447 HAS SOUPS 354447 WITH SCORE 354980.82
AT ITER 6272 NEW BEST:: SOT 1909368 SOS 533644 HAS SOPS 533644 HAS SOUS 354447 HAS SOUPS 354447 WITH SCORE 354980.644
AT ITER 6288 NEW BEST:: SOT 1909335 SOS 533544 HAS SOPS 533544 HAS SOUS 354347 HAS SOUPS 354347 WITH SCORE 354880.544
AT ITER 6295 NEW BEST:: SOT 1909341 SOS 533519 HAS SOPS 533519 HAS SOUS 354322 HAS SOUPS 354322 WITH SCORE 354855.519
AT ITER 6306 NEW BEST:: SOT 1909429 SOS 533325 HAS SOPS 533325 HAS SOUS 354233 HAS SOUPS 354233 WITH SCORE 354766.325
AT ITER 6318 NEW BEST:: SOT 1909388 SOS 533286 HAS SOPS 533286 HAS SOUS 354194 HAS SOUPS 354194 WITH SCORE 354727.286
AT ITER 6324 NEW BEST:: SOT 1909293 SOS 533105 HAS SOPS 533105 HAS SOUS 352968 HAS SOUPS 352968 WITH SCORE 353501.105
AT ITER 6378 NEW BEST:: SOT 1909282 SOS 532809 HAS SOPS 532809 HAS SOUS 352655 HAS SOUPS 352655 WITH SCORE 353187.809
AT ITER 6380 NEW BEST:: SOT 1909314 SOS 532775 HAS SOPS 532775 HAS SOUS 352621 HAS SOUPS 352621 WITH SCORE 353153.775
AT ITER 6394 NEW BEST:: SOT 1909339 SOS 532825 HAS SOPS 532825 HAS SOUS 352199 HAS SOUPS 352199 WITH SCORE 352731.825
AT ITER 6412 NEW BEST:: SOT 1909308 SOS 532794 HAS SOPS 532794 HAS SOUS 351920 HAS SOUPS 351920 WITH SCORE 352452.794
AT ITER 6413 NEW BEST:: SOT 1909246 SOS 531817 HAS SOPS 531817 HAS SOUS 351662 HAS SOUPS 351662 WITH SCORE 352193.817
AT ITER 6424 NEW BEST:: SOT 1909246 SOS 531687 HAS SOPS 531687 HAS SOUS 351662 HAS SOUPS 351662 WITH SCORE 352193.687
AT ITER 6448 NEW BEST:: SOT 1909168 SOS 531531 HAS SOPS 531531 HAS SOUS 351584 HAS SOUPS 351584 WITH SCORE 352115.531
AT ITER 6453 NEW BEST:: SOT 1909400 SOS 531515 HAS SOPS 531515 HAS SOUS 351568 HAS SOUPS 351568 WITH SCORE 352099.515
AT ITER 6454 NEW BEST:: SOT 1909417 SOS 531507 HAS SOPS 531507 HAS SOUS 351560 HAS SOUPS 351560 WITH SCORE 352091.507
AT ITER 6459 NEW BEST:: SOT 1909264 SOS 531354 HAS SOPS 531354 HAS SOUS 351560 HAS SOUPS 351560 WITH SCORE 352091.354
AT ITER 6468 NEW BEST:: SOT 1909203 SOS 531232 HAS SOPS 531232 HAS SOUS 351438 HAS SOUPS 351438 WITH SCORE 351969.232
AT ITER 6471 NEW BEST:: SOT 1909186 SOS 531215 HAS SOPS 531215 HAS SOUS 351421 HAS SOUPS 351421 WITH SCORE 351952.215
AT ITER 6496 NEW BEST:: SOT 1909040 SOS 531083 HAS SOPS 531083 HAS SOUS 351289 HAS SOUPS 351289 WITH SCORE 351820.083
AT ITER 6497 NEW BEST:: SOT 1909026 SOS 530993 HAS SOPS 530993 HAS SOUS 351261 HAS SOUPS 351261 WITH SCORE 351791.993
AT ITER 6516 NEW BEST:: SOT 1909026 SOS 530902 HAS SOPS 530902 HAS SOUS 351261 HAS SOUPS 351261 WITH SCORE 351791.902
AT ITER 6559 NEW BEST:: SOT 1907823 SOS 530821 HAS SOPS 530821 HAS SOUS 350734 HAS SOUPS 350734 WITH SCORE 351264.821
AT ITER 6563 NEW BEST:: SOT 1907798 SOS 530977 HAS SOPS 530977 HAS SOUS 350684 HAS SOUPS 350684 WITH SCORE 351214.977
AT ITER 6571 NEW BEST:: SOT 1907682 SOS 530745 HAS SOPS 530745 HAS SOUS 350452 HAS SOUPS 350452 WITH SCORE 350982.745
AT ITER 6573 NEW BEST:: SOT 1907648 SOS 530694 HAS SOPS 530694 HAS SOUS 350401 HAS SOUPS 350401 WITH SCORE 350931.694
AT ITER 6611 NEW BEST:: SOT 1907563 SOS 530642 HAS SOPS 530642 HAS SOUS 350375 HAS SOUPS 350375 WITH SCORE 350905.642
AT ITER 6619 NEW BEST:: SOT 1907322 SOS 530440 HAS SOPS 530440 HAS SOUS 350147 HAS SOUPS 350147 WITH SCORE 350677.44
AT ITER 6627 NEW BEST:: SOT 1907273 SOS 530027 HAS SOPS 530027 HAS SOUS 350098 HAS SOUPS 350098 WITH SCORE 350628.027
AT ITER 6635 NEW BEST:: SOT 1907217 SOS 529976 HAS SOPS 529976 HAS SOUS 350038 HAS SOUPS 350038 WITH SCORE 350567.976
AT ITER 6648 NEW BEST:: SOT 1907106 SOS 529924 HAS SOPS 529924 HAS SOUS 350003 HAS SOUPS 350003 WITH SCORE 350532.924
AT ITER 6650 NEW BEST:: SOT 1907089 SOS 529907 HAS SOPS 529907 HAS SOUS 349971 HAS SOUPS 349971 WITH SCORE 350500.907
AT ITER 6661 NEW BEST:: SOT 1907036 SOS 529801 HAS SOPS 529801 HAS SOUS 349865 HAS SOUPS 349865 WITH SCORE 350394.801
AT ITER 6663 NEW BEST:: SOT 1907036 SOS 529657 HAS SOPS 529657 HAS SOUS 349721 HAS SOUPS 349721 WITH SCORE 350250.657
AT ITER 6683 NEW BEST:: SOT 1907036 SOS 529663 HAS SOPS 529663 HAS SOUS 349700 HAS SOUPS 349700 WITH SCORE 350229.663
AT ITER 6692 NEW BEST:: SOT 1907036 SOS 529619 HAS SOPS 529619 HAS SOUS 349700 HAS SOUPS 349700 WITH SCORE 350229.619
AT ITER 6702 NEW BEST:: SOT 1906844 SOS 529641 HAS SOPS 529641 HAS SOUS 349508 HAS SOUPS 349508 WITH SCORE 350037.641
AT ITER 6719 NEW BEST:: SOT 1906802 SOS 529557 HAS SOPS 529557 HAS SOUS 349424 HAS SOUPS 349424 WITH SCORE 349953.557
AT ITER 6740 NEW BEST:: SOT 1906706 SOS 529469 HAS SOPS 529469 HAS SOUS 349335 HAS SOUPS 349335 WITH SCORE 349864.469
AT ITER 6749 NEW BEST:: SOT 1906574 SOS 529337 HAS SOPS 529337 HAS SOUS 349273 HAS SOUPS 349273 WITH SCORE 349802.337
AT ITER 6753 NEW BEST:: SOT 1907047 SOS 530153 HAS SOPS 530153 HAS SOUS 348591 HAS SOUPS 348591 WITH SCORE 349121.153
AT ITER 6758 NEW BEST:: SOT 1907032 SOS 530123 HAS SOPS 530123 HAS SOUS 348561 HAS SOUPS 348561 WITH SCORE 349091.123
AT ITER 6763 NEW BEST:: SOT 1906989 SOS 529849 HAS SOPS 529849 HAS SOUS 348452 HAS SOUPS 348452 WITH SCORE 348981.849
AT ITER 6767 NEW BEST:: SOT 1906942 SOS 529907 HAS SOPS 529907 HAS SOUS 348244 HAS SOUPS 348244 WITH SCORE 348773.907
AT ITER 6784 NEW BEST:: SOT 1906941 SOS 529903 HAS SOPS 529903 HAS SOUS 348240 HAS SOUPS 348240 WITH SCORE 348769.903
AT ITER 6812 NEW BEST:: SOT 1907395 SOS 530357 HAS SOPS 530357 HAS SOUS 348170 HAS SOUPS 348170 WITH SCORE 348700.357
AT ITER 6814 NEW BEST:: SOT 1907395 SOS 530309 HAS SOPS 530309 HAS SOUS 348122 HAS SOUPS 348122 WITH SCORE 348652.309
AT ITER 6825 NEW BEST:: SOT 1907330 SOS 530221 HAS SOPS 530221 HAS SOUS 348034 HAS SOUPS 348034 WITH SCORE 348564.221
AT ITER 6827 NEW BEST:: SOT 1907329 SOS 530149 HAS SOPS 530149 HAS SOUS 348032 HAS SOUPS 348032 WITH SCORE 348562.149
AT ITER 6841 NEW BEST:: SOT 1907093 SOS 529851 HAS SOPS 529851 HAS SOUS 347560 HAS SOUPS 347560 WITH SCORE 348089.851
AT ITER 6845 NEW BEST:: SOT 1907087 SOS 529839 HAS SOPS 529839 HAS SOUS 347548 HAS SOUPS 347548 WITH SCORE 348077.839
AT ITER 6866 NEW BEST:: SOT 1907722 SOS 530653 HAS SOPS 530653 HAS SOUS 346683 HAS SOUPS 346683 WITH SCORE 347213.653
AT ITER 6884 NEW BEST:: SOT 1907577 SOS 530506 HAS SOPS 530506 HAS SOUS 346536 HAS SOUPS 346536 WITH SCORE 347066.506
AT ITER 6912 NEW BEST:: SOT 1907361 SOS 529799 HAS SOPS 529799 HAS SOUS 346049 HAS SOUPS 346049 WITH SCORE 346578.799
AT ITER 6916 NEW BEST:: SOT 1907350 SOS 529786 HAS SOPS 529786 HAS SOUS 346045 HAS SOUPS 346045 WITH SCORE 346574.786
AT ITER 6925 NEW BEST:: SOT 1907350 SOS 529722 HAS SOPS 529722 HAS SOUS 346045 HAS SOUPS 346045 WITH SCORE 346574.722
AT ITER 6936 NEW BEST:: SOT 1907317 SOS 529656 HAS SOPS 529656 HAS SOUS 345979 HAS SOUPS 345979 WITH SCORE 346508.656
AT ITER 6981 NEW BEST:: SOT 1907317 SOS 529627 HAS SOPS 529627 HAS SOUS 345950 HAS SOUPS 345950 WITH SCORE 346479.627
AT ITER 6990 NEW BEST:: SOT 1907175 SOS 529468 HAS SOPS 529468 HAS SOUS 345791 HAS SOUPS 345791 WITH SCORE 346320.468
AT ITER 6991 NEW BEST:: SOT 1907174 SOS 529561 HAS SOPS 529561 HAS SOUS 345789 HAS SOUPS 345789 WITH SCORE 346318.561
AT ITER 7008 NEW BEST:: SOT 1907221 SOS 529909 HAS SOPS 529909 HAS SOUS 345629 HAS SOUPS 345629 WITH SCORE 346158.909
AT ITER 7022 NEW BEST:: SOT 1907055 SOS 529767 HAS SOPS 529767 HAS SOUS 345487 HAS SOUPS 345487 WITH SCORE 346016.767
AT ITER 7037 NEW BEST:: SOT 1907054 SOS 529765 HAS SOPS 529765 HAS SOUS 345485 HAS SOUPS 345485 WITH SCORE 346014.765
AT ITER 7063 NEW BEST:: SOT 1906971 SOS 529599 HAS SOPS 529599 HAS SOUS 345402 HAS SOUPS 345402 WITH SCORE 345931.599
AT ITER 7076 NEW BEST:: SOT 1906915 SOS 529543 HAS SOPS 529543 HAS SOUS 345346 HAS SOUPS 345346 WITH SCORE 345875.543
AT ITER 7084 NEW BEST:: SOT 1906902 SOS 529416 HAS SOPS 529416 HAS SOUS 345276 HAS SOUPS 345276 WITH SCORE 345805.416
AT ITER 7086 NEW BEST:: SOT 1906828 SOS 529342 HAS SOPS 529342 HAS SOUS 345276 HAS SOUPS 345276 WITH SCORE 345805.342
AT ITER 7105 NEW BEST:: SOT 1906709 SOS 529296 HAS SOPS 529296 HAS SOUS 345198 HAS SOUPS 345198 WITH SCORE 345727.296
AT ITER 7121 NEW BEST:: SOT 1906706 SOS 529290 HAS SOPS 529290 HAS SOUS 345192 HAS SOUPS 345192 WITH SCORE 345721.29
AT ITER 7124 NEW BEST:: SOT 1906706 SOS 529290 HAS SOPS 529290 HAS SOUS 344994 HAS SOUPS 344994 WITH SCORE 345523.29
AT ITER 7139 NEW BEST:: SOT 1906561 SOS 528913 HAS SOPS 528913 HAS SOUS 343736 HAS SOUPS 343736 WITH SCORE 344264.913
AT ITER 7141 NEW BEST:: SOT 1906561 SOS 528701 HAS SOPS 528701 HAS SOUS 343630 HAS SOUPS 343630 WITH SCORE 344158.701
AT ITER 7145 NEW BEST:: SOT 1906546 SOS 528686 HAS SOPS 528686 HAS SOUS 343615 HAS SOUPS 343615 WITH SCORE 344143.686
AT ITER 7215 NEW BEST:: SOT 1906409 SOS 528386 HAS SOPS 528386 HAS SOUS 343457 HAS SOUPS 343457 WITH SCORE 343985.386
AT ITER 7221 NEW BEST:: SOT 1906530 SOS 529050 HAS SOPS 529050 HAS SOUS 343324 HAS SOUPS 343324 WITH SCORE 343853.05
AT ITER 7227 NEW BEST:: SOT 1906464 SOS 528888 HAS SOPS 528888 HAS SOUS 343209 HAS SOUPS 343209 WITH SCORE 343737.888
AT ITER 7238 NEW BEST:: SOT 1905845 SOS 528290 HAS SOPS 528290 HAS SOUS 342531 HAS SOUPS 342531 WITH SCORE 343059.29
AT ITER 7287 NEW BEST:: SOT 1905845 SOS 528290 HAS SOPS 528290 HAS SOUS 342520 HAS SOUPS 342520 WITH SCORE 343048.29
AT ITER 7294 NEW BEST:: SOT 1904711 SOS 527748 HAS SOPS 527748 HAS SOUS 341386 HAS SOUPS 341386 WITH SCORE 341913.748
AT ITER 7299 NEW BEST:: SOT 1904475 SOS 526777 HAS SOPS 526777 HAS SOUS 341021 HAS SOUPS 341021 WITH SCORE 341547.777
AT ITER 7300 NEW BEST:: SOT 1904017 SOS 527907 HAS SOPS 527907 HAS SOUS 340822 HAS SOUPS 340822 WITH SCORE 341349.907
AT ITER 7301 NEW BEST:: SOT 1903920 SOS 527538 HAS SOPS 527538 HAS SOUS 340613 HAS SOUPS 340613 WITH SCORE 341140.538
AT ITER 7310 NEW BEST:: SOT 1903522 SOS 527095 HAS SOPS 527095 HAS SOUS 340384 HAS SOUPS 340384 WITH SCORE 340911.095
AT ITER 7318 NEW BEST:: SOT 1903439 SOS 526676 HAS SOPS 526676 HAS SOUS 340277 HAS SOUPS 340277 WITH SCORE 340803.676
AT ITER 7353 NEW BEST:: SOT 1903365 SOS 526602 HAS SOPS 526602 HAS SOUS 340203 HAS SOUPS 340203 WITH SCORE 340729.602
AT ITER 7365 NEW BEST:: SOT 1903301 SOS 526474 HAS SOPS 526474 HAS SOUS 340075 HAS SOUPS 340075 WITH SCORE 340601.474
AT ITER 7406 NEW BEST:: SOT 1903284 SOS 526372 HAS SOPS 526372 HAS SOUS 340075 HAS SOUPS 340075 WITH SCORE 340601.372
AT ITER 7420 NEW BEST:: SOT 1903272 SOS 526380 HAS SOPS 526380 HAS SOUS 340051 HAS SOUPS 340051 WITH SCORE 340577.38
AT ITER 7425 NEW BEST:: SOT 1903272 SOS 526695 HAS SOPS 526695 HAS SOUS 340027 HAS SOUPS 340027 WITH SCORE 340553.695
AT ITER 7431 NEW BEST:: SOT 1903272 SOS 526518 HAS SOPS 526518 HAS SOUS 340027 HAS SOUPS 340027 WITH SCORE 340553.518
AT ITER 7435 NEW BEST:: SOT 1903300 SOS 526502 HAS SOPS 526502 HAS SOUS 340011 HAS SOUPS 340011 WITH SCORE 340537.502
AT ITER 7438 NEW BEST:: SOT 1903241 SOS 526456 HAS SOPS 526456 HAS SOUS 339965 HAS SOUPS 339965 WITH SCORE 340491.456
AT ITER 7446 NEW BEST:: SOT 1903237 SOS 526448 HAS SOPS 526448 HAS SOUS 339957 HAS SOUPS 339957 WITH SCORE 340483.448
AT ITER 7451 NEW BEST:: SOT 1903190 SOS 526472 HAS SOPS 526472 HAS SOUS 339909 HAS SOUPS 339909 WITH SCORE 340435.472
AT ITER 7455 NEW BEST:: SOT 1903121 SOS 526553 HAS SOPS 526553 HAS SOUS 339855 HAS SOUPS 339855 WITH SCORE 340381.553
AT ITER 7468 NEW BEST:: SOT 1902715 SOS 525950 HAS SOPS 525950 HAS SOUS 339252 HAS SOUPS 339252 WITH SCORE 339777.95
AT ITER 7477 NEW BEST:: SOT 1902717 SOS 525944 HAS SOPS 525944 HAS SOUS 339252 HAS SOUPS 339252 WITH SCORE 339777.944
AT ITER 7502 NEW BEST:: SOT 1902719 SOS 525855 HAS SOPS 525855 HAS SOUS 339163 HAS SOUPS 339163 WITH SCORE 339688.855
AT ITER 7510 NEW BEST:: SOT 1902615 SOS 525647 HAS SOPS 525647 HAS SOUS 338955 HAS SOUPS 338955 WITH SCORE 339480.647
AT ITER 7574 NEW BEST:: SOT 1902621 SOS 525628 HAS SOPS 525628 HAS SOUS 338936 HAS SOUPS 338936 WITH SCORE 339461.628
AT ITER 7580 NEW BEST:: SOT 1902620 SOS 525600 HAS SOPS 525600 HAS SOUS 338908 HAS SOUPS 338908 WITH SCORE 339433.6
AT ITER 7588 NEW BEST:: SOT 1902598 SOS 525452 HAS SOPS 525452 HAS SOUS 338760 HAS SOUPS 338760 WITH SCORE 339285.452
AT ITER 7624 NEW BEST:: SOT 1902436 SOS 525236 HAS SOPS 525236 HAS SOUS 338112 HAS SOUPS 338112 WITH SCORE 338637.236
AT ITER 7632 NEW BEST:: SOT 1902392 SOS 525192 HAS SOPS 525192 HAS SOUS 336924 HAS SOUPS 336924 WITH SCORE 337449.192
AT ITER 7635 NEW BEST:: SOT 1902208 SOS 524824 HAS SOPS 524824 HAS SOUS 336740 HAS SOUPS 336740 WITH SCORE 337264.824
AT ITER 7638 NEW BEST:: SOT 1902182 SOS 524772 HAS SOPS 524772 HAS SOUS 336688 HAS SOUPS 336688 WITH SCORE 337212.772
AT ITER 7665 NEW BEST:: SOT 1901923 SOS 524691 HAS SOPS 524691 HAS SOUS 336688 HAS SOUPS 336688 WITH SCORE 337212.691
AT ITER 7674 NEW BEST:: SOT 1901543 SOS 523809 HAS SOPS 523809 HAS SOUS 336546 HAS SOUPS 336546 WITH SCORE 337069.809
AT ITER 7684 NEW BEST:: SOT 1901764 SOS 523770 HAS SOPS 523770 HAS SOUS 336481 HAS SOUPS 336481 WITH SCORE 337004.77
AT ITER 7692 NEW BEST:: SOT 1901762 SOS 523686 HAS SOPS 523686 HAS SOUS 336481 HAS SOUPS 336481 WITH SCORE 337004.686
AT ITER 7700 NEW BEST:: SOT 1901445 SOS 525044 HAS SOPS 525044 HAS SOUS 336318 HAS SOUPS 336318 WITH SCORE 336843.044
AT ITER 7708 NEW BEST:: SOT 1901445 SOS 525040 HAS SOPS 525040 HAS SOUS 336314 HAS SOUPS 336314 WITH SCORE 336839.04
AT ITER 7711 NEW BEST:: SOT 1901444 SOS 523244 HAS SOPS 523244 HAS SOUS 335786 HAS SOUPS 335786 WITH SCORE 336309.244
AT ITER 7724 NEW BEST:: SOT 1901428 SOS 523198 HAS SOPS 523198 HAS SOUS 335754 HAS SOUPS 335754 WITH SCORE 336277.198
AT ITER 7729 NEW BEST:: SOT 1901428 SOS 523196 HAS SOPS 523196 HAS SOUS 335752 HAS SOUPS 335752 WITH SCORE 336275.196
AT ITER 7731 NEW BEST:: SOT 1901212 SOS 522951 HAS SOPS 522951 HAS SOUS 335507 HAS SOUPS 335507 WITH SCORE 336029.951
AT ITER 7748 NEW BEST:: SOT 1901212 SOS 522938 HAS SOPS 522938 HAS SOUS 335494 HAS SOUPS 335494 WITH SCORE 336016.938
AT ITER 7752 NEW BEST:: SOT 1901196 SOS 522906 HAS SOPS 522906 HAS SOUS 335401 HAS SOUPS 335401 WITH SCORE 335923.906
AT ITER 7818 NEW BEST:: SOT 1901131 SOS 522906 HAS SOPS 522906 HAS SOUS 335271 HAS SOUPS 335271 WITH SCORE 335793.906
AT ITER 7823 NEW BEST:: SOT 1900981 SOS 522606 HAS SOPS 522606 HAS SOUS 334939 HAS SOUPS 334939 WITH SCORE 335461.606
AT ITER 7856 NEW BEST:: SOT 1900963 SOS 522572 HAS SOPS 522572 HAS SOUS 334905 HAS SOUPS 334905 WITH SCORE 335427.572
AT ITER 7863 NEW BEST:: SOT 1900874 SOS 521992 HAS SOPS 521992 HAS SOUS 334459 HAS SOUPS 334459 WITH SCORE 334980.992
AT ITER 7872 NEW BEST:: SOT 1900870 SOS 521972 HAS SOPS 521972 HAS SOUS 334459 HAS SOUPS 334459 WITH SCORE 334980.972
AT ITER 7874 NEW BEST:: SOT 1900971 SOS 522133 HAS SOPS 522133 HAS SOUS 334350 HAS SOUPS 334350 WITH SCORE 334872.133
AT ITER 7878 NEW BEST:: SOT 1900953 SOS 522090 HAS SOPS 522090 HAS SOUS 334339 HAS SOUPS 334339 WITH SCORE 334861.09
AT ITER 7879 NEW BEST:: SOT 1900698 SOS 521775 HAS SOPS 521775 HAS SOUS 334024 HAS SOUPS 334024 WITH SCORE 334545.775
AT ITER 7886 NEW BEST:: SOT 1900718 SOS 521594 HAS SOPS 521594 HAS SOUS 333843 HAS SOUPS 333843 WITH SCORE 334364.594
AT ITER 7892 NEW BEST:: SOT 1900600 SOS 521298 HAS SOPS 521298 HAS SOUS 333725 HAS SOUPS 333725 WITH SCORE 334246.298
AT ITER 7931 NEW BEST:: SOT 1900600 SOS 521226 HAS SOPS 521226 HAS SOUS 333653 HAS SOUPS 333653 WITH SCORE 334174.226
AT ITER 7938 NEW BEST:: SOT 1900471 SOS 521189 HAS SOPS 521189 HAS SOUS 333462 HAS SOUPS 333462 WITH SCORE 333983.189
AT ITER 7939 NEW BEST:: SOT 1900449 SOS 521167 HAS SOPS 521167 HAS SOUS 333418 HAS SOUPS 333418 WITH SCORE 333939.167
AT ITER 7957 NEW BEST:: SOT 1900004 SOS 520886 HAS SOPS 520886 HAS SOUS 333014 HAS SOUPS 333014 WITH SCORE 333534.886
AT ITER 8007 NEW BEST:: SOT 1899800 SOS 520642 HAS SOPS 520642 HAS SOUS 332770 HAS SOUPS 332770 WITH SCORE 333290.642
AT ITER 8032 NEW BEST:: SOT 1899800 SOS 520610 HAS SOPS 520610 HAS SOUS 332768 HAS SOUPS 332768 WITH SCORE 333288.61
AT ITER 8038 NEW BEST:: SOT 1899800 SOS 520850 HAS SOPS 520850 HAS SOUS 332728 HAS SOUPS 332728 WITH SCORE 333248.85
AT ITER 8044 NEW BEST:: SOT 1899762 SOS 520493 HAS SOPS 520493 HAS SOUS 332591 HAS SOUPS 332591 WITH SCORE 333111.493
AT ITER 8082 NEW BEST:: SOT 1899702 SOS 520305 HAS SOPS 520305 HAS SOUS 332529 HAS SOUPS 332529 WITH SCORE 333049.305
AT ITER 8128 NEW BEST:: SOT 1899946 SOS 520109 HAS SOPS 520109 HAS SOUS 332454 HAS SOUPS 332454 WITH SCORE 332974.109
AT ITER 8129 NEW BEST:: SOT 1899925 SOS 520088 HAS SOPS 520088 HAS SOUS 332433 HAS SOUPS 332433 WITH SCORE 332953.088
AT ITER 8173 NEW BEST:: SOT 1899853 SOS 519944 HAS SOPS 519944 HAS SOUS 332289 HAS SOUPS 332289 WITH SCORE 332808.944
AT ITER 8221 NEW BEST:: SOT 1899836 SOS 519834 HAS SOPS 519834 HAS SOUS 332249 HAS SOUPS 332249 WITH SCORE 332768.834
AT ITER 8223 NEW BEST:: SOT 1899836 SOS 519796 HAS SOPS 519796 HAS SOUS 332211 HAS SOUPS 332211 WITH SCORE 332730.796
AT ITER 8262 NEW BEST:: SOT 1899840 SOS 519732 HAS SOPS 519732 HAS SOUS 332191 HAS SOUPS 332191 WITH SCORE 332710.732
AT ITER 8294 NEW BEST:: SOT 1899839 SOS 519730 HAS SOPS 519730 HAS SOUS 332189 HAS SOUPS 332189 WITH SCORE 332708.73
AT ITER 8301 NEW BEST:: SOT 1899846 SOS 519735 HAS SOPS 519735 HAS SOUS 332082 HAS SOUPS 332082 WITH SCORE 332601.735
AT ITER 8338 NEW BEST:: SOT 1899816 SOS 519544 HAS SOPS 519544 HAS SOUS 332022 HAS SOUPS 332022 WITH SCORE 332541.544
AT ITER 8346 NEW BEST:: SOT 1899816 SOS 519051 HAS SOPS 519051 HAS SOUS 331940 HAS SOUPS 331940 WITH SCORE 332459.051
AT ITER 8347 NEW BEST:: SOT 1899816 SOS 519579 HAS SOPS 519579 HAS SOUS 331721 HAS SOUPS 331721 WITH SCORE 332240.579
AT ITER 8352 NEW BEST:: SOT 1899744 SOS 519435 HAS SOPS 519435 HAS SOUS 331642 HAS SOUPS 331642 WITH SCORE 332161.435
AT ITER 8358 NEW BEST:: SOT 1899721 SOS 518766 HAS SOPS 518766 HAS SOUS 331507 HAS SOUPS 331507 WITH SCORE 332025.766
AT ITER 8403 NEW BEST:: SOT 1899575 SOS 517113 HAS SOPS 517113 HAS SOUS 330798 HAS SOUPS 330798 WITH SCORE 331315.113
AT ITER 8463 NEW BEST:: SOT 1899547 SOS 517096 HAS SOPS 517096 HAS SOUS 330742 HAS SOUPS 330742 WITH SCORE 331259.096
AT ITER 8469 NEW BEST:: SOT 1899522 SOS 517275 HAS SOPS 517275 HAS SOUS 330717 HAS SOUPS 330717 WITH SCORE 331234.275
AT ITER 8476 NEW BEST:: SOT 1899535 SOS 517195 HAS SOPS 517195 HAS SOUS 330637 HAS SOUPS 330637 WITH SCORE 331154.195
AT ITER 8486 NEW BEST:: SOT 1899471 SOS 517099 HAS SOPS 517099 HAS SOUS 330541 HAS SOUPS 330541 WITH SCORE 331058.099
AT ITER 8489 NEW BEST:: SOT 1899470 SOS 517082 HAS SOPS 517082 HAS SOUS 330530 HAS SOUPS 330530 WITH SCORE 331047.082
AT ITER 8490 NEW BEST:: SOT 1899401 SOS 516944 HAS SOPS 516944 HAS SOUS 330461 HAS SOUPS 330461 WITH SCORE 330977.944
AT ITER 8505 NEW BEST:: SOT 1899386 SOS 517046 HAS SOPS 517046 HAS SOUS 330431 HAS SOUPS 330431 WITH SCORE 330948.046
AT ITER 8518 NEW BEST:: SOT 1899369 SOS 517012 HAS SOPS 517012 HAS SOUS 330380 HAS SOUPS 330380 WITH SCORE 330897.012
AT ITER 8519 NEW BEST:: SOT 1899369 SOS 516977 HAS SOPS 516977 HAS SOUS 330345 HAS SOUPS 330345 WITH SCORE 330861.977
AT ITER 8539 NEW BEST:: SOT 1900015 SOS 517613 HAS SOPS 517613 HAS SOUS 329237 HAS SOUPS 329237 WITH SCORE 329754.613
AT ITER 8541 NEW BEST:: SOT 1899500 SOS 517381 HAS SOPS 517381 HAS SOUS 329005 HAS SOUPS 329005 WITH SCORE 329522.381
AT ITER 8571 NEW BEST:: SOT 1899587 SOS 517610 HAS SOPS 517610 HAS SOUS 328721 HAS SOUPS 328721 WITH SCORE 329238.61
AT ITER 8584 NEW BEST:: SOT 1899587 SOS 517562 HAS SOPS 517562 HAS SOUS 328673 HAS SOUPS 328673 WITH SCORE 329190.562
AT ITER 8609 NEW BEST:: SOT 1899475 SOS 517610 HAS SOPS 517610 HAS SOUS 328662 HAS SOUPS 328662 WITH SCORE 329179.61
AT ITER 8618 NEW BEST:: SOT 1899366 SOS 517501 HAS SOPS 517501 HAS SOUS 327681 HAS SOUPS 327681 WITH SCORE 328198.501
AT ITER 8619 NEW BEST:: SOT 1899907 SOS 515475 HAS SOPS 515475 HAS SOUS 327653 HAS SOUPS 327653 WITH SCORE 328168.475
AT ITER 8628 NEW BEST:: SOT 1899901 SOS 515427 HAS SOPS 515427 HAS SOUS 327635 HAS SOUPS 327635 WITH SCORE 328150.427
AT ITER 8659 NEW BEST:: SOT 1899901 SOS 515455 HAS SOPS 515455 HAS SOUS 327607 HAS SOUPS 327607 WITH SCORE 328122.455
AT ITER 8661 NEW BEST:: SOT 1899738 SOS 515461 HAS SOPS 515461 HAS SOUS 327583 HAS SOUPS 327583 WITH SCORE 328098.461
AT ITER 8674 NEW BEST:: SOT 1899645 SOS 515270 HAS SOPS 515270 HAS SOUS 327392 HAS SOUPS 327392 WITH SCORE 327907.27
AT ITER 8694 NEW BEST:: SOT 1899634 SOS 515270 HAS SOPS 515270 HAS SOUS 327381 HAS SOUPS 327381 WITH SCORE 327896.27
AT ITER 8706 NEW BEST:: SOT 1899626 SOS 515242 HAS SOPS 515242 HAS SOUS 327353 HAS SOUPS 327353 WITH SCORE 327868.242
AT ITER 8741 NEW BEST:: SOT 1899298 SOS 514746 HAS SOPS 514746 HAS SOUS 326807 HAS SOUPS 326807 WITH SCORE 327321.746
AT ITER 8799 NEW BEST:: SOT 1899321 SOS 514718 HAS SOPS 514718 HAS SOUS 326779 HAS SOUPS 326779 WITH SCORE 327293.718
AT ITER 8820 NEW BEST:: SOT 1899350 SOS 514750 HAS SOPS 514750 HAS SOUS 326752 HAS SOUPS 326752 WITH SCORE 327266.75
AT ITER 8879 NEW BEST:: SOT 1899350 SOS 514747 HAS SOPS 514747 HAS SOUS 326749 HAS SOUPS 326749 WITH SCORE 327263.747
AT ITER 8882 NEW BEST:: SOT 1899350 SOS 515132 HAS SOPS 515132 HAS SOUS 326708 HAS SOUPS 326708 WITH SCORE 327223.132
AT ITER 8899 NEW BEST:: SOT 1899375 SOS 515115 HAS SOPS 515115 HAS SOUS 326666 HAS SOUPS 326666 WITH SCORE 327181.115
AT ITER 8905 NEW BEST:: SOT 1899320 SOS 514950 HAS SOPS 514950 HAS SOUS 326501 HAS SOUPS 326501 WITH SCORE 327015.95
AT ITER 8907 NEW BEST:: SOT 1899308 SOS 514869 HAS SOPS 514869 HAS SOUS 326489 HAS SOUPS 326489 WITH SCORE 327003.869
AT ITER 8910 NEW BEST:: SOT 1899296 SOS 514809 HAS SOPS 514809 HAS SOUS 326429 HAS SOUPS 326429 WITH SCORE 326943.809
AT ITER 8915 NEW BEST:: SOT 1899279 SOS 514792 HAS SOPS 514792 HAS SOUS 326412 HAS SOUPS 326412 WITH SCORE 326926.792
AT ITER 8940 NEW BEST:: SOT 1899223 SOS 514344 HAS SOPS 514344 HAS SOUS 326356 HAS SOUPS 326356 WITH SCORE 326870.344
AT ITER 8945 NEW BEST:: SOT 1899165 SOS 514315 HAS SOPS 514315 HAS SOUS 326298 HAS SOUPS 326298 WITH SCORE 326812.315
AT ITER 8946 NEW BEST:: SOT 1899098 SOS 514063 HAS SOPS 514063 HAS SOUS 326046 HAS SOUPS 326046 WITH SCORE 326560.063
AT ITER 8952 NEW BEST:: SOT 1898963 SOS 515996 HAS SOPS 515996 HAS SOUS 325855 HAS SOUPS 325855 WITH SCORE 326370.996
AT ITER 8969 NEW BEST:: SOT 1898924 SOS 515918 HAS SOPS 515918 HAS SOUS 325816 HAS SOUPS 325816 WITH SCORE 326331.918
AT ITER 8972 NEW BEST:: SOT 1898687 SOS 515655 HAS SOPS 515655 HAS SOUS 325784 HAS SOUPS 325784 WITH SCORE 326299.655
AT ITER 8982 NEW BEST:: SOT 1898494 SOS 515580 HAS SOPS 515580 HAS SOUS 325634 HAS SOUPS 325634 WITH SCORE 326149.58
AT ITER 8987 NEW BEST:: SOT 1898472 SOS 515552 HAS SOPS 515552 HAS SOUS 325606 HAS SOUPS 325606 WITH SCORE 326121.552
AT ITER 9010 NEW BEST:: SOT 1898472 SOS 515546 HAS SOPS 515546 HAS SOUS 325600 HAS SOUPS 325600 WITH SCORE 326115.546
AT ITER 9011 NEW BEST:: SOT 1898463 SOS 515483 HAS SOPS 515483 HAS SOUS 325573 HAS SOUPS 325573 WITH SCORE 326088.483
AT ITER 9016 NEW BEST:: SOT 1898370 SOS 515305 HAS SOPS 515305 HAS SOUS 325566 HAS SOUPS 325566 WITH SCORE 326081.305
AT ITER 9022 NEW BEST:: SOT 1898255 SOS 515201 HAS SOPS 515201 HAS SOUS 325354 HAS SOUPS 325354 WITH SCORE 325869.201
AT ITER 9023 NEW BEST:: SOT 1898212 SOS 514921 HAS SOPS 514921 HAS SOUS 325031 HAS SOUPS 325031 WITH SCORE 325545.921
AT ITER 9024 NEW BEST:: SOT 1898187 SOS 514705 HAS SOPS 514705 HAS SOUS 324747 HAS SOUPS 324747 WITH SCORE 325261.705
AT ITER 9089 NEW BEST:: SOT 1898149 SOS 514666 HAS SOPS 514666 HAS SOUS 324745 HAS SOUPS 324745 WITH SCORE 325259.666
AT ITER 9094 NEW BEST:: SOT 1898148 SOS 514333 HAS SOPS 514333 HAS SOUS 324741 HAS SOUPS 324741 WITH SCORE 325255.333
AT ITER 9098 NEW BEST:: SOT 1898129 SOS 514314 HAS SOPS 514314 HAS SOUS 324722 HAS SOUPS 324722 WITH SCORE 325236.314
AT ITER 9128 NEW BEST:: SOT 1898129 SOS 514264 HAS SOPS 514264 HAS SOUS 324722 HAS SOUPS 324722 WITH SCORE 325236.264
AT ITER 9130 NEW BEST:: SOT 1898108 SOS 514117 HAS SOPS 514117 HAS SOUS 324680 HAS SOUPS 324680 WITH SCORE 325194.117
AT ITER 9131 NEW BEST:: SOT 1898084 SOS 514001 HAS SOPS 514001 HAS SOUS 324604 HAS SOUPS 324604 WITH SCORE 325118.001
AT ITER 9133 NEW BEST:: SOT 1897971 SOS 513775 HAS SOPS 513775 HAS SOUS 324378 HAS SOUPS 324378 WITH SCORE 324891.775
AT ITER 9149 NEW BEST:: SOT 1898057 SOS 513173 HAS SOPS 513173 HAS SOUS 324378 HAS SOUPS 324378 WITH SCORE 324891.173
AT ITER 9150 NEW BEST:: SOT 1897988 SOS 513035 HAS SOPS 513035 HAS SOUS 324240 HAS SOUPS 324240 WITH SCORE 324753.035
AT ITER 9154 NEW BEST:: SOT 1897852 SOS 512627 HAS SOPS 512627 HAS SOUS 323832 HAS SOUPS 323832 WITH SCORE 324344.627
AT ITER 9178 NEW BEST:: SOT 1897790 SOS 512565 HAS SOPS 512565 HAS SOUS 323770 HAS SOUPS 323770 WITH SCORE 324282.565
AT ITER 9267 NEW BEST:: SOT 1897795 SOS 512575 HAS SOPS 512575 HAS SOUS 323651 HAS SOUPS 323651 WITH SCORE 324163.575
AT ITER 9268 NEW BEST:: SOT 1897795 SOS 512537 HAS SOPS 512537 HAS SOUS 323613 HAS SOUPS 323613 WITH SCORE 324125.537
AT ITER 9270 NEW BEST:: SOT 1897794 SOS 512535 HAS SOPS 512535 HAS SOUS 323611 HAS SOUPS 323611 WITH SCORE 324123.535
AT ITER 9277 NEW BEST:: SOT 1897789 SOS 512530 HAS SOPS 512530 HAS SOUS 323606 HAS SOUPS 323606 WITH SCORE 324118.53
AT ITER 9279 NEW BEST:: SOT 1897658 SOS 512268 HAS SOPS 512268 HAS SOUS 323344 HAS SOUPS 323344 WITH SCORE 323856.268
AT ITER 9301 NEW BEST:: SOT 1897643 SOS 512348 HAS SOPS 512348 HAS SOUS 323303 HAS SOUPS 323303 WITH SCORE 323815.348
AT ITER 9310 NEW BEST:: SOT 1897585 SOS 512290 HAS SOPS 512290 HAS SOUS 323245 HAS SOUPS 323245 WITH SCORE 323757.29
AT ITER 9313 NEW BEST:: SOT 1897507 SOS 512134 HAS SOPS 512134 HAS SOUS 323227 HAS SOUPS 323227 WITH SCORE 323739.134
AT ITER 9332 NEW BEST:: SOT 1897490 SOS 511799 HAS SOPS 511799 HAS SOUS 323034 HAS SOUPS 323034 WITH SCORE 323545.799
AT ITER 9362 NEW BEST:: SOT 1897485 SOS 511789 HAS SOPS 511789 HAS SOUS 323024 HAS SOUPS 323024 WITH SCORE 323535.789
AT ITER 9369 NEW BEST:: SOT 1897470 SOS 510581 HAS SOPS 510581 HAS SOUS 322937 HAS SOUPS 322937 WITH SCORE 323447.581
AT ITER 9376 NEW BEST:: SOT 1897469 SOS 510497 HAS SOPS 510497 HAS SOUS 322935 HAS SOUPS 322935 WITH SCORE 323445.497
AT ITER 9411 NEW BEST:: SOT 1897461 SOS 510449 HAS SOPS 510449 HAS SOUS 322887 HAS SOUPS 322887 WITH SCORE 323397.449
AT ITER 9451 NEW BEST:: SOT 1897519 SOS 510282 HAS SOPS 510282 HAS SOUS 322791 HAS SOUPS 322791 WITH SCORE 323301.282
AT ITER 9460 NEW BEST:: SOT 1897510 SOS 510126 HAS SOPS 510126 HAS SOUS 322772 HAS SOUPS 322772 WITH SCORE 323282.126
AT ITER 9474 NEW BEST:: SOT 1897445 SOS 510061 HAS SOPS 510061 HAS SOUS 322706 HAS SOUPS 322706 WITH SCORE 323216.061
AT ITER 9508 NEW BEST:: SOT 1897308 SOS 509762 HAS SOPS 509762 HAS SOUS 322407 HAS SOUPS 322407 WITH SCORE 322916.762
AT ITER 9509 NEW BEST:: SOT 1897209 SOS 509569 HAS SOPS 509569 HAS SOUS 322261 HAS SOUPS 322261 WITH SCORE 322770.569
AT ITER 9555 NEW BEST:: SOT 1897168 SOS 509612 HAS SOPS 509612 HAS SOUS 321745 HAS SOUPS 321745 WITH SCORE 322254.612
AT ITER 9563 NEW BEST:: SOT 1897094 SOS 509214 HAS SOPS 509214 HAS SOUS 321647 HAS SOUPS 321647 WITH SCORE 322156.214
AT ITER 9572 NEW BEST:: SOT 1896890 SOS 509083 HAS SOPS 509083 HAS SOUS 321516 HAS SOUPS 321516 WITH SCORE 322025.083
AT ITER 9594 NEW BEST:: SOT 1896975 SOS 508986 HAS SOPS 508986 HAS SOUS 320508 HAS SOUPS 320508 WITH SCORE 321016.986
AT ITER 9641 NEW BEST:: SOT 1896975 SOS 508938 HAS SOPS 508938 HAS SOUS 320508 HAS SOUPS 320508 WITH SCORE 321016.938
AT ITER 9644 NEW BEST:: SOT 1896380 SOS 508337 HAS SOPS 508337 HAS SOUS 319907 HAS SOUPS 319907 WITH SCORE 320415.337
AT ITER 9647 NEW BEST:: SOT 1896380 SOS 508305 HAS SOPS 508305 HAS SOUS 319907 HAS SOUPS 319907 WITH SCORE 320415.305
AT ITER 9654 NEW BEST:: SOT 1896277 SOS 508099 HAS SOPS 508099 HAS SOUS 319701 HAS SOUPS 319701 WITH SCORE 320209.099
AT ITER 9655 NEW BEST:: SOT 1896214 SOS 508018 HAS SOPS 508018 HAS SOUS 319692 HAS SOUPS 319692 WITH SCORE 320200.018
AT ITER 9725 NEW BEST:: SOT 1896190 SOS 507994 HAS SOPS 507994 HAS SOUS 319688 HAS SOUPS 319688 WITH SCORE 320195.994
AT ITER 9772 NEW BEST:: SOT 1896075 SOS 507815 HAS SOPS 507815 HAS SOUS 319509 HAS SOUPS 319509 WITH SCORE 320016.815
AT ITER 9791 NEW BEST:: SOT 1895966 SOS 507442 HAS SOPS 507442 HAS SOUS 319339 HAS SOUPS 319339 WITH SCORE 319846.442
AT ITER 9799 NEW BEST:: SOT 1895834 SOS 507256 HAS SOPS 507256 HAS SOUS 318957 HAS SOUPS 318957 WITH SCORE 319464.256
AT ITER 9806 NEW BEST:: SOT 1895714 SOS 507136 HAS SOPS 507136 HAS SOUS 318760 HAS SOUPS 318760 WITH SCORE 319267.136
AT ITER 9815 NEW BEST:: SOT 1895445 SOS 509860 HAS SOPS 509860 HAS SOUS 318737 HAS SOUPS 318737 WITH SCORE 319246.86
AT ITER 9891 NEW BEST:: SOT 1894078 SOS 508291 HAS SOPS 508291 HAS SOUS 318456 HAS SOUPS 318456 WITH SCORE 318964.291
AT ITER 9905 NEW BEST:: SOT 1893814 SOS 507962 HAS SOPS 507962 HAS SOUS 318127 HAS SOUPS 318127 WITH SCORE 318634.962
AT ITER 9922 NEW BEST:: SOT 1893800 SOS 507948 HAS SOPS 507948 HAS SOUS 318113 HAS SOUPS 318113 WITH SCORE 318620.948
AT ITER 9968 NEW BEST:: SOT 1893780 SOS 507928 HAS SOPS 507928 HAS SOUS 318113 HAS SOUPS 318113 WITH SCORE 318620.928
AT ITER 9980 NEW BEST:: SOT 1893739 SOS 507846 HAS SOPS 507846 HAS SOUS 318031 HAS SOUPS 318031 WITH SCORE 318538.846
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 12395748 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122332 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599700056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;