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.r299-tall-167873953300704.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 PolyORBNT-COL-S10J60, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.4K Feb 26 00:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 00:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 00:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 00:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 01:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 01:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 00:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 00:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 94K Mar 5 18:23 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 1679533934845

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=PolyORBNT-COL-S10J60
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 01:12:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 01:12:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 01:12:16] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-23 01:12:16] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 01:12:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 457 ms
[2023-03-23 01:12:16] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 1294 PT places and 13102.0 transition bindings in 17 ms.
[2023-03-23 01:12:16] [INFO ] Unfolded HLPN to a Petri net with 1294 places and 12980 transitions 116999 arcs in 232 ms.
[2023-03-23 01:12:16] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 01:12:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1294 places, 12980 transitions and 116999 arcs took 136 ms.
Total runtime 925 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J60
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: 1294 places, 12980 transitions, 116999 arcs.
AT ITER 0 NEW BEST:: SOT 15486761 SOS 1840543 HAS SOPS 1840465 HAS SOUS 708121 HAS SOUPS 708043 WITH SCORE 709883.543
AT ITER 25 NEW BEST:: SOT 15486103 SOS 1839975 HAS SOPS 1839897 HAS SOUS 707669 HAS SOUPS 707591 WITH SCORE 709430.975
AT ITER 26 NEW BEST:: SOT 15485921 SOS 1839975 HAS SOPS 1839897 HAS SOUS 707627 HAS SOUPS 707549 WITH SCORE 709388.975
AT ITER 29 NEW BEST:: SOT 15474438 SOS 2652822 HAS SOPS 2652744 HAS SOUS 699677 HAS SOUPS 699599 WITH SCORE 702251.822
AT ITER 33 NEW BEST:: SOT 15474409 SOS 2652822 HAS SOPS 2652744 HAS SOUS 699648 HAS SOUPS 699570 WITH SCORE 702222.822
AT ITER 43 NEW BEST:: SOT 15472715 SOS 2683523 HAS SOPS 2683445 HAS SOUS 698983 HAS SOUPS 698905 WITH SCORE 701588.523
AT ITER 50 NEW BEST:: SOT 15472288 SOS 2683096 HAS SOPS 2683018 HAS SOUS 698550 HAS SOUPS 698472 WITH SCORE 701155.096
AT ITER 53 NEW BEST:: SOT 15472230 SOS 2683038 HAS SOPS 2682960 HAS SOUS 698492 HAS SOUPS 698414 WITH SCORE 701097.038
AT ITER 63 NEW BEST:: SOT 15460688 SOS 3246596 HAS SOPS 3246518 HAS SOUS 692343 HAS SOUPS 692265 WITH SCORE 695511.596
AT ITER 71 NEW BEST:: SOT 15460612 SOS 3246596 HAS SOPS 3246518 HAS SOUS 692335 HAS SOUPS 692257 WITH SCORE 695503.596
AT ITER 84 NEW BEST:: SOT 15460420 SOS 3246404 HAS SOPS 3246326 HAS SOUS 692143 HAS SOUPS 692065 WITH SCORE 695311.404
AT ITER 87 NEW BEST:: SOT 15460400 SOS 3246384 HAS SOPS 3246306 HAS SOUS 692107 HAS SOUPS 692029 WITH SCORE 695275.384
AT ITER 99 NEW BEST:: SOT 15460392 SOS 3246376 HAS SOPS 3246298 HAS SOUS 692091 HAS SOUPS 692013 WITH SCORE 695259.376
AT ITER 103 NEW BEST:: SOT 15460237 SOS 3245611 HAS SOPS 3245533 HAS SOUS 691852 HAS SOUPS 691774 WITH SCORE 695019.611
AT ITER 110 NEW BEST:: SOT 15459577 SOS 3245042 HAS SOPS 3244964 HAS SOUS 691124 HAS SOUPS 691046 WITH SCORE 694291.042
AT ITER 114 NEW BEST:: SOT 15445707 SOS 3910582 HAS SOPS 3910504 HAS SOUS 686220 HAS SOUPS 686142 WITH SCORE 690052.582
AT ITER 135 NEW BEST:: SOT 15445451 SOS 3910357 HAS SOPS 3910279 HAS SOUS 686069 HAS SOUPS 685991 WITH SCORE 689901.357
AT ITER 136 NEW BEST:: SOT 15445247 SOS 3910168 HAS SOPS 3910090 HAS SOUS 685990 HAS SOUPS 685912 WITH SCORE 689822.168
AT ITER 141 NEW BEST:: SOT 15445247 SOS 3910168 HAS SOPS 3910090 HAS SOUS 685962 HAS SOUPS 685884 WITH SCORE 689794.168
AT ITER 144 NEW BEST:: SOT 15445247 SOS 3909748 HAS SOPS 3909670 HAS SOUS 685920 HAS SOUPS 685842 WITH SCORE 689751.748
AT ITER 167 NEW BEST:: SOT 15445203 SOS 3910596 HAS SOPS 3910518 HAS SOUS 685796 HAS SOUPS 685718 WITH SCORE 689628.596
AT ITER 169 NEW BEST:: SOT 15445089 SOS 3910482 HAS SOPS 3910404 HAS SOUS 685682 HAS SOUPS 685604 WITH SCORE 689514.482
AT ITER 170 NEW BEST:: SOT 15445051 SOS 3910444 HAS SOPS 3910366 HAS SOUS 685664 HAS SOUPS 685586 WITH SCORE 689496.444
AT ITER 178 NEW BEST:: SOT 15444941 SOS 3910334 HAS SOPS 3910256 HAS SOUS 685496 HAS SOUPS 685418 WITH SCORE 689328.334
AT ITER 189 NEW BEST:: SOT 15444120 SOS 3909704 HAS SOPS 3909626 HAS SOUS 684984 HAS SOUPS 684906 WITH SCORE 688815.704
AT ITER 190 NEW BEST:: SOT 15443580 SOS 3909164 HAS SOPS 3909086 HAS SOUS 684353 HAS SOUPS 684275 WITH SCORE 688184.164
AT ITER 191 NEW BEST:: SOT 15443514 SOS 3909098 HAS SOPS 3909020 HAS SOUS 684221 HAS SOUPS 684143 WITH SCORE 688052.098
AT ITER 192 NEW BEST:: SOT 15443491 SOS 3908891 HAS SOPS 3908813 HAS SOUS 683833 HAS SOUPS 683755 WITH SCORE 687663.891
AT ITER 198 NEW BEST:: SOT 15443439 SOS 3910977 HAS SOPS 3910899 HAS SOUS 683807 HAS SOUPS 683729 WITH SCORE 687639.977
AT ITER 201 NEW BEST:: SOT 15443312 SOS 3910240 HAS SOPS 3910162 HAS SOUS 683518 HAS SOUPS 683440 WITH SCORE 687350.24
AT ITER 204 NEW BEST:: SOT 15443312 SOS 3910193 HAS SOPS 3910115 HAS SOUS 683377 HAS SOUPS 683299 WITH SCORE 687209.193
AT ITER 218 NEW BEST:: SOT 15443281 SOS 3910162 HAS SOPS 3910084 HAS SOUS 683361 HAS SOUPS 683283 WITH SCORE 687193.162
AT ITER 246 NEW BEST:: SOT 15443194 SOS 3910162 HAS SOPS 3910084 HAS SOUS 683256 HAS SOUPS 683178 WITH SCORE 687088.162
AT ITER 263 NEW BEST:: SOT 15443194 SOS 3910045 HAS SOPS 3909967 HAS SOUS 682965 HAS SOUPS 682887 WITH SCORE 686797.045
AT ITER 269 NEW BEST:: SOT 15442954 SOS 3909805 HAS SOPS 3909727 HAS SOUS 682520 HAS SOUPS 682442 WITH SCORE 686351.805
AT ITER 281 NEW BEST:: SOT 15442906 SOS 3909757 HAS SOPS 3909679 HAS SOUS 682424 HAS SOUPS 682346 WITH SCORE 686255.757
AT ITER 285 NEW BEST:: SOT 15442906 SOS 3909636 HAS SOPS 3909558 HAS SOUS 682302 HAS SOUPS 682224 WITH SCORE 686133.636
AT ITER 289 NEW BEST:: SOT 15442168 SOS 3909059 HAS SOPS 3908981 HAS SOUS 681863 HAS SOUPS 681785 WITH SCORE 685694.059
AT ITER 292 NEW BEST:: SOT 15441945 SOS 3908836 HAS SOPS 3908758 HAS SOUS 681292 HAS SOUPS 681214 WITH SCORE 685122.836
AT ITER 293 NEW BEST:: SOT 15441146 SOS 3908243 HAS SOPS 3908165 HAS SOUS 680651 HAS SOUPS 680573 WITH SCORE 684481.243
AT ITER 304 NEW BEST:: SOT 15440267 SOS 3906847 HAS SOPS 3906769 HAS SOUS 679320 HAS SOUPS 679242 WITH SCORE 683148.847
AT ITER 306 NEW BEST:: SOT 15440267 SOS 3906237 HAS SOPS 3906159 HAS SOUS 679290 HAS SOUPS 679212 WITH SCORE 683118.237
AT ITER 310 NEW BEST:: SOT 15440203 SOS 3906237 HAS SOPS 3906159 HAS SOUS 679226 HAS SOUPS 679148 WITH SCORE 683054.237
AT ITER 314 NEW BEST:: SOT 15440203 SOS 3906118 HAS SOPS 3906040 HAS SOUS 679104 HAS SOUPS 679026 WITH SCORE 682932.118
AT ITER 327 NEW BEST:: SOT 15440028 SOS 3905943 HAS SOPS 3905865 HAS SOUS 678754 HAS SOUPS 678676 WITH SCORE 682581.943
AT ITER 335 NEW BEST:: SOT 15439669 SOS 3905660 HAS SOPS 3905582 HAS SOUS 678592 HAS SOUPS 678514 WITH SCORE 682419.66
AT ITER 338 NEW BEST:: SOT 15439650 SOS 3905641 HAS SOPS 3905563 HAS SOUS 678584 HAS SOUPS 678506 WITH SCORE 682411.641
AT ITER 349 NEW BEST:: SOT 15439044 SOS 3900469 HAS SOPS 3900391 HAS SOUS 677908 HAS SOUPS 677830 WITH SCORE 681730.469
AT ITER 360 NEW BEST:: SOT 15438820 SOS 3900245 HAS SOPS 3900167 HAS SOUS 677470 HAS SOUPS 677392 WITH SCORE 681292.245
AT ITER 370 NEW BEST:: SOT 15438595 SOS 3900020 HAS SOPS 3899942 HAS SOUS 676881 HAS SOUPS 676803 WITH SCORE 680703.02
AT ITER 376 NEW BEST:: SOT 15438595 SOS 3899904 HAS SOPS 3899826 HAS SOUS 676649 HAS SOUPS 676571 WITH SCORE 680470.904
AT ITER 382 NEW BEST:: SOT 15438595 SOS 3899714 HAS SOPS 3899636 HAS SOUS 676120 HAS SOUPS 676042 WITH SCORE 679941.714
AT ITER 384 NEW BEST:: SOT 15438442 SOS 3899561 HAS SOPS 3899483 HAS SOUS 676120 HAS SOUPS 676042 WITH SCORE 679941.561
AT ITER 386 NEW BEST:: SOT 15438170 SOS 3899232 HAS SOPS 3899154 HAS SOUS 675446 HAS SOUPS 675368 WITH SCORE 679267.232
AT ITER 389 NEW BEST:: SOT 15438170 SOS 3899050 HAS SOPS 3898972 HAS SOUS 675252 HAS SOUPS 675174 WITH SCORE 679073.05
AT ITER 391 NEW BEST:: SOT 15438002 SOS 3899050 HAS SOPS 3898972 HAS SOUS 675084 HAS SOUPS 675006 WITH SCORE 678905.05
AT ITER 405 NEW BEST:: SOT 15438049 SOS 3899032 HAS SOPS 3898954 HAS SOUS 674983 HAS SOUPS 674905 WITH SCORE 678804.032
AT ITER 427 NEW BEST:: SOT 15437839 SOS 3898822 HAS SOPS 3898744 HAS SOUS 674419 HAS SOUPS 674341 WITH SCORE 678239.822
AT ITER 430 NEW BEST:: SOT 15437375 SOS 3898449 HAS SOPS 3898371 HAS SOUS 673980 HAS SOUPS 673902 WITH SCORE 677800.449
AT ITER 443 NEW BEST:: SOT 15437306 SOS 3898449 HAS SOPS 3898371 HAS SOUS 673911 HAS SOUPS 673833 WITH SCORE 677731.449
AT ITER 453 NEW BEST:: SOT 15437180 SOS 3898323 HAS SOPS 3898245 HAS SOUS 673905 HAS SOUPS 673827 WITH SCORE 677725.323
AT ITER 467 NEW BEST:: SOT 15437193 SOS 3898620 HAS SOPS 3898542 HAS SOUS 673781 HAS SOUPS 673703 WITH SCORE 677601.62
AT ITER 492 NEW BEST:: SOT 15437157 SOS 3898584 HAS SOPS 3898506 HAS SOUS 673709 HAS SOUPS 673631 WITH SCORE 677529.584
AT ITER 493 NEW BEST:: SOT 15437157 SOS 3898515 HAS SOPS 3898437 HAS SOUS 673580 HAS SOUPS 673502 WITH SCORE 677400.515
AT ITER 498 NEW BEST:: SOT 15437122 SOS 3898473 HAS SOPS 3898395 HAS SOUS 673538 HAS SOUPS 673460 WITH SCORE 677358.473
AT ITER 500 NEW BEST:: SOT 15436666 SOS 3897888 HAS SOPS 3897810 HAS SOUS 672953 HAS SOUPS 672875 WITH SCORE 676772.888
AT ITER 519 NEW BEST:: SOT 15436666 SOS 3897888 HAS SOPS 3897810 HAS SOUS 672849 HAS SOUPS 672771 WITH SCORE 676668.888
AT ITER 523 NEW BEST:: SOT 15436666 SOS 3897848 HAS SOPS 3897770 HAS SOUS 672729 HAS SOUPS 672651 WITH SCORE 676548.848
AT ITER 531 NEW BEST:: SOT 15436852 SOS 3897862 HAS SOPS 3897784 HAS SOUS 672585 HAS SOUPS 672507 WITH SCORE 676404.862
AT ITER 534 NEW BEST:: SOT 15433332 SOS 3961626 HAS SOPS 3961548 HAS SOUS 671579 HAS SOUPS 671501 WITH SCORE 675462.626
AT ITER 543 NEW BEST:: SOT 15432959 SOS 3961254 HAS SOPS 3961176 HAS SOUS 670835 HAS SOUPS 670757 WITH SCORE 674718.254
AT ITER 558 NEW BEST:: SOT 15432361 SOS 3960596 HAS SOPS 3960518 HAS SOUS 670528 HAS SOUPS 670450 WITH SCORE 674410.596
AT ITER 560 NEW BEST:: SOT 15432360 SOS 3960595 HAS SOPS 3960517 HAS SOUS 670526 HAS SOUPS 670448 WITH SCORE 674408.595
AT ITER 576 NEW BEST:: SOT 15432340 SOS 3960575 HAS SOPS 3960497 HAS SOUS 670506 HAS SOUPS 670428 WITH SCORE 674388.575
AT ITER 587 NEW BEST:: SOT 15432340 SOS 3960507 HAS SOPS 3960429 HAS SOUS 670327 HAS SOUPS 670249 WITH SCORE 674209.507
AT ITER 592 NEW BEST:: SOT 15431936 SOS 3960268 HAS SOPS 3960190 HAS SOUS 670088 HAS SOUPS 670010 WITH SCORE 673970.268
AT ITER 619 NEW BEST:: SOT 15431132 SOS 3959791 HAS SOPS 3959713 HAS SOUS 669441 HAS SOUPS 669363 WITH SCORE 673322.791
AT ITER 633 NEW BEST:: SOT 15431104 SOS 3961397 HAS SOPS 3961319 HAS SOUS 669315 HAS SOUPS 669237 WITH SCORE 673198.397
AT ITER 637 NEW BEST:: SOT 15430645 SOS 3960383 HAS SOPS 3960305 HAS SOUS 668761 HAS SOUPS 668683 WITH SCORE 672643.383
AT ITER 642 NEW BEST:: SOT 15430403 SOS 3960194 HAS SOPS 3960116 HAS SOUS 668215 HAS SOUPS 668137 WITH SCORE 672097.194
AT ITER 650 NEW BEST:: SOT 15430398 SOS 3960189 HAS SOPS 3960111 HAS SOUS 668204 HAS SOUPS 668126 WITH SCORE 672086.189
AT ITER 657 NEW BEST:: SOT 15430196 SOS 3959987 HAS SOPS 3959909 HAS SOUS 667826 HAS SOUPS 667748 WITH SCORE 671707.987
AT ITER 659 NEW BEST:: SOT 15429475 SOS 3959547 HAS SOPS 3959469 HAS SOUS 667237 HAS SOUPS 667159 WITH SCORE 671118.547
AT ITER 666 NEW BEST:: SOT 15429390 SOS 3959462 HAS SOPS 3959384 HAS SOUS 667067 HAS SOUPS 666989 WITH SCORE 670948.462
AT ITER 674 NEW BEST:: SOT 15429267 SOS 3959339 HAS SOPS 3959261 HAS SOUS 667065 HAS SOUPS 666987 WITH SCORE 670946.339
AT ITER 677 NEW BEST:: SOT 15429216 SOS 3961603 HAS SOPS 3961525 HAS SOUS 667057 HAS SOUPS 666979 WITH SCORE 670940.603
AT ITER 678 NEW BEST:: SOT 15428701 SOS 3961209 HAS SOPS 3961131 HAS SOUS 666420 HAS SOUPS 666342 WITH SCORE 670303.209
AT ITER 685 NEW BEST:: SOT 15428506 SOS 3961155 HAS SOPS 3961077 HAS SOUS 666414 HAS SOUPS 666336 WITH SCORE 670297.155
AT ITER 693 NEW BEST:: SOT 15428376 SOS 3961025 HAS SOPS 3960947 HAS SOUS 666284 HAS SOUPS 666206 WITH SCORE 670167.025
AT ITER 728 NEW BEST:: SOT 15427963 SOS 3960786 HAS SOPS 3960708 HAS SOUS 665332 HAS SOUPS 665254 WITH SCORE 669214.786
AT ITER 755 NEW BEST:: SOT 15427812 SOS 3960635 HAS SOPS 3960557 HAS SOUS 665153 HAS SOUPS 665075 WITH SCORE 669035.635
AT ITER 757 NEW BEST:: SOT 15427812 SOS 3960997 HAS SOPS 3960919 HAS SOUS 665092 HAS SOUPS 665014 WITH SCORE 668974.997
AT ITER 759 NEW BEST:: SOT 15427148 SOS 3960544 HAS SOPS 3960466 HAS SOUS 664378 HAS SOUPS 664300 WITH SCORE 668260.544
AT ITER 775 NEW BEST:: SOT 15426949 SOS 3960372 HAS SOPS 3960294 HAS SOUS 663809 HAS SOUPS 663731 WITH SCORE 667691.372
AT ITER 780 NEW BEST:: SOT 15426311 SOS 3959918 HAS SOPS 3959840 HAS SOUS 663059 HAS SOUPS 662981 WITH SCORE 666940.918
AT ITER 788 NEW BEST:: SOT 15426036 SOS 3960079 HAS SOPS 3960001 HAS SOUS 662704 HAS SOUPS 662626 WITH SCORE 666586.079
AT ITER 796 NEW BEST:: SOT 15426036 SOS 3960079 HAS SOPS 3960001 HAS SOUS 662692 HAS SOUPS 662614 WITH SCORE 666574.079
AT ITER 822 NEW BEST:: SOT 15425896 SOS 3960079 HAS SOPS 3960001 HAS SOUS 662442 HAS SOUPS 662364 WITH SCORE 666324.079
AT ITER 841 NEW BEST:: SOT 15418569 SOS 3952964 HAS SOPS 3952756 HAS SOUS 662016 HAS SOUPS 661808 WITH SCORE 665760.964
AT ITER 848 NEW BEST:: SOT 15417813 SOS 3951563 HAS SOPS 3951355 HAS SOUS 661019 HAS SOUPS 660811 WITH SCORE 664762.563
AT ITER 883 NEW BEST:: SOT 15417660 SOS 3951195 HAS SOPS 3950987 HAS SOUS 660651 HAS SOUPS 660443 WITH SCORE 664394.195
AT ITER 891 NEW BEST:: SOT 15417591 SOS 3951126 HAS SOPS 3950918 HAS SOUS 660647 HAS SOUPS 660439 WITH SCORE 664390.126
AT ITER 893 NEW BEST:: SOT 15417709 SOS 3953794 HAS SOPS 3953586 HAS SOUS 660641 HAS SOUPS 660433 WITH SCORE 664386.794
AT ITER 894 NEW BEST:: SOT 15417614 SOS 3953806 HAS SOPS 3953598 HAS SOUS 660552 HAS SOUPS 660344 WITH SCORE 664297.806
AT ITER 917 NEW BEST:: SOT 15417552 SOS 3953744 HAS SOPS 3953536 HAS SOUS 660428 HAS SOUPS 660220 WITH SCORE 664173.744
AT ITER 936 NEW BEST:: SOT 15417525 SOS 3953717 HAS SOPS 3953509 HAS SOUS 660396 HAS SOUPS 660188 WITH SCORE 664141.717
AT ITER 943 NEW BEST:: SOT 15417537 SOS 3953793 HAS SOPS 3953585 HAS SOUS 660253 HAS SOUPS 660045 WITH SCORE 663998.793
AT ITER 946 NEW BEST:: SOT 15417018 SOS 3952678 HAS SOPS 3952470 HAS SOUS 659687 HAS SOUPS 659479 WITH SCORE 663431.678
AT ITER 947 NEW BEST:: SOT 15416675 SOS 3952541 HAS SOPS 3952333 HAS SOUS 659414 HAS SOUPS 659206 WITH SCORE 663158.541
AT ITER 960 NEW BEST:: SOT 15376932 SOS 3917760 HAS SOPS 3916667 HAS SOUS 620583 HAS SOUPS 619490 WITH SCORE 623407.76
AT ITER 968 NEW BEST:: SOT 15376851 SOS 3917213 HAS SOPS 3916120 HAS SOUS 620174 HAS SOUPS 619081 WITH SCORE 622998.213
AT ITER 975 NEW BEST:: SOT 15376768 SOS 3917130 HAS SOPS 3916037 HAS SOUS 620122 HAS SOUPS 619029 WITH SCORE 622946.13
AT ITER 990 NEW BEST:: SOT 15376585 SOS 3916947 HAS SOPS 3915854 HAS SOUS 619762 HAS SOUPS 618669 WITH SCORE 622585.947
AT ITER 1000 NEW BEST:: SOT 15376563 SOS 3916914 HAS SOPS 3915821 HAS SOUS 619729 HAS SOUPS 618636 WITH SCORE 622552.914
AT ITER 1003 NEW BEST:: SOT 15375985 SOS 3916516 HAS SOPS 3915423 HAS SOUS 619455 HAS SOUPS 618362 WITH SCORE 622278.516
AT ITER 1009 NEW BEST:: SOT 15375923 SOS 3916516 HAS SOPS 3915423 HAS SOUS 619393 HAS SOUPS 618300 WITH SCORE 622216.516
AT ITER 1028 NEW BEST:: SOT 15375459 SOS 3915886 HAS SOPS 3914793 HAS SOUS 618838 HAS SOUPS 617745 WITH SCORE 621660.886
AT ITER 1030 NEW BEST:: SOT 15375378 SOS 3915805 HAS SOPS 3914712 HAS SOUS 618757 HAS SOUPS 617664 WITH SCORE 621579.805
AT ITER 1043 NEW BEST:: SOT 15374680 SOS 3913687 HAS SOPS 3912594 HAS SOUS 617982 HAS SOUPS 616889 WITH SCORE 620802.687
AT ITER 1044 NEW BEST:: SOT 15374622 SOS 3913658 HAS SOPS 3912565 HAS SOUS 617953 HAS SOUPS 616860 WITH SCORE 620773.658
AT ITER 1069 NEW BEST:: SOT 15374304 SOS 3913340 HAS SOPS 3912247 HAS SOUS 617643 HAS SOUPS 616550 WITH SCORE 620463.34
AT ITER 1082 NEW BEST:: SOT 15374183 SOS 3913416 HAS SOPS 3912323 HAS SOUS 617548 HAS SOUPS 616455 WITH SCORE 620368.416
AT ITER 1084 NEW BEST:: SOT 15374126 SOS 3913359 HAS SOPS 3912266 HAS SOUS 617518 HAS SOUPS 616425 WITH SCORE 620338.359
AT ITER 1126 NEW BEST:: SOT 15373973 SOS 3913206 HAS SOPS 3912113 HAS SOUS 617518 HAS SOUPS 616425 WITH SCORE 620338.206
AT ITER 1157 NEW BEST:: SOT 15373920 SOS 3912965 HAS SOPS 3911872 HAS SOUS 617385 HAS SOUPS 616292 WITH SCORE 620204.965
AT ITER 1179 NEW BEST:: SOT 15373815 SOS 3912860 HAS SOPS 3911767 HAS SOUS 617280 HAS SOUPS 616187 WITH SCORE 620099.86
AT ITER 1219 NEW BEST:: SOT 15373815 SOS 3912330 HAS SOPS 3911237 HAS SOUS 617227 HAS SOUPS 616134 WITH SCORE 620046.33
AT ITER 1236 NEW BEST:: SOT 15373815 SOS 3911920 HAS SOPS 3910827 HAS SOUS 617172 HAS SOUPS 616079 WITH SCORE 619990.92
AT ITER 1254 NEW BEST:: SOT 15373640 SOS 3911545 HAS SOPS 3910452 HAS SOUS 616908 HAS SOUPS 615815 WITH SCORE 619726.545
AT ITER 1256 NEW BEST:: SOT 15373623 SOS 3911528 HAS SOPS 3910435 HAS SOUS 616874 HAS SOUPS 615781 WITH SCORE 619692.528
AT ITER 1257 NEW BEST:: SOT 15373623 SOS 3911528 HAS SOPS 3910435 HAS SOUS 616865 HAS SOUPS 615772 WITH SCORE 619683.528
AT ITER 1274 NEW BEST:: SOT 15373570 SOS 3911475 HAS SOPS 3910382 HAS SOUS 616846 HAS SOUPS 615753 WITH SCORE 619664.475
AT ITER 1297 NEW BEST:: SOT 15373565 SOS 3911470 HAS SOPS 3910377 HAS SOUS 616836 HAS SOUPS 615743 WITH SCORE 619654.47
AT ITER 1319 NEW BEST:: SOT 15373343 SOS 3911248 HAS SOPS 3910155 HAS SOUS 616233 HAS SOUPS 615140 WITH SCORE 619051.248
AT ITER 1327 NEW BEST:: SOT 15373285 SOS 3911190 HAS SOPS 3910097 HAS SOUS 616233 HAS SOUPS 615140 WITH SCORE 619051.19
AT ITER 1341 NEW BEST:: SOT 15373285 SOS 3910964 HAS SOPS 3909871 HAS SOUS 615838 HAS SOUPS 614745 WITH SCORE 618655.964
AT ITER 1350 NEW BEST:: SOT 15373179 SOS 3910838 HAS SOPS 3909745 HAS SOUS 615739 HAS SOUPS 614646 WITH SCORE 618556.838
AT ITER 1356 NEW BEST:: SOT 15372958 SOS 3910617 HAS SOPS 3909524 HAS SOUS 615461 HAS SOUPS 614368 WITH SCORE 618278.617
AT ITER 1365 NEW BEST:: SOT 15372883 SOS 3910542 HAS SOPS 3909449 HAS SOUS 615457 HAS SOUPS 614364 WITH SCORE 618274.542
AT ITER 1378 NEW BEST:: SOT 15372821 SOS 3910480 HAS SOPS 3909387 HAS SOUS 615333 HAS SOUPS 614240 WITH SCORE 618150.48
AT ITER 1380 NEW BEST:: SOT 15372821 SOS 3910318 HAS SOPS 3909225 HAS SOUS 615057 HAS SOUPS 613964 WITH SCORE 617874.318
AT ITER 1384 NEW BEST:: SOT 15372812 SOS 3910309 HAS SOPS 3909216 HAS SOUS 615030 HAS SOUPS 613937 WITH SCORE 617847.309
AT ITER 1432 NEW BEST:: SOT 15372800 SOS 3910285 HAS SOPS 3909192 HAS SOUS 615006 HAS SOUPS 613913 WITH SCORE 617823.285
AT ITER 1442 NEW BEST:: SOT 15372632 SOS 3911529 HAS SOPS 3910436 HAS SOUS 614838 HAS SOUPS 613745 WITH SCORE 617656.529
AT ITER 1443 NEW BEST:: SOT 15372632 SOS 3911474 HAS SOPS 3910381 HAS SOUS 614833 HAS SOUPS 613740 WITH SCORE 617651.474
AT ITER 1454 NEW BEST:: SOT 15372529 SOS 3913994 HAS SOPS 3912901 HAS SOUS 614696 HAS SOUPS 613603 WITH SCORE 617516.994
AT ITER 1468 NEW BEST:: SOT 15372487 SOS 3913952 HAS SOPS 3912859 HAS SOUS 614570 HAS SOUPS 613477 WITH SCORE 617390.952
AT ITER 1507 NEW BEST:: SOT 15372384 SOS 3913849 HAS SOPS 3912756 HAS SOUS 614570 HAS SOUPS 613477 WITH SCORE 617390.849
AT ITER 1511 NEW BEST:: SOT 15372164 SOS 3913629 HAS SOPS 3912536 HAS SOUS 614130 HAS SOUPS 613037 WITH SCORE 616950.629
AT ITER 1519 NEW BEST:: SOT 15372078 SOS 3912933 HAS SOPS 3911840 HAS SOUS 613897 HAS SOUPS 612804 WITH SCORE 616716.933
AT ITER 1525 NEW BEST:: SOT 15371931 SOS 3912932 HAS SOPS 3911839 HAS SOUS 613513 HAS SOUPS 612420 WITH SCORE 616332.932
AT ITER 1545 NEW BEST:: SOT 15371262 SOS 3910713 HAS SOPS 3909620 HAS SOUS 612753 HAS SOUPS 611660 WITH SCORE 615570.713
AT ITER 1548 NEW BEST:: SOT 15371238 SOS 3910689 HAS SOPS 3909596 HAS SOUS 612705 HAS SOUPS 611612 WITH SCORE 615522.689
AT ITER 1567 NEW BEST:: SOT 15371184 SOS 3911803 HAS SOPS 3910710 HAS SOUS 612587 HAS SOUPS 611494 WITH SCORE 615405.803
AT ITER 1570 NEW BEST:: SOT 15371184 SOS 3912371 HAS SOPS 3911278 HAS SOUS 612516 HAS SOUPS 611423 WITH SCORE 615335.371
AT ITER 1585 NEW BEST:: SOT 15371061 SOS 3912393 HAS SOPS 3911300 HAS SOUS 612016 HAS SOUPS 610923 WITH SCORE 614835.393
AT ITER 1591 NEW BEST:: SOT 15370952 SOS 3912284 HAS SOPS 3911191 HAS SOUS 612004 HAS SOUPS 610911 WITH SCORE 614823.284
AT ITER 1606 NEW BEST:: SOT 15370783 SOS 3912115 HAS SOPS 3911022 HAS SOUS 611985 HAS SOUPS 610892 WITH SCORE 614804.115
AT ITER 1608 NEW BEST:: SOT 15370704 SOS 3912036 HAS SOPS 3910943 HAS SOUS 611827 HAS SOUPS 610734 WITH SCORE 614646.036
AT ITER 1631 NEW BEST:: SOT 15370704 SOS 3911836 HAS SOPS 3910743 HAS SOUS 611750 HAS SOUPS 610657 WITH SCORE 614568.836
AT ITER 1637 NEW BEST:: SOT 15370486 SOS 3911727 HAS SOPS 3910634 HAS SOUS 611641 HAS SOUPS 610548 WITH SCORE 614459.727
AT ITER 1646 NEW BEST:: SOT 15370377 SOS 3911420 HAS SOPS 3910327 HAS SOUS 611098 HAS SOUPS 610005 WITH SCORE 613916.42
AT ITER 1653 NEW BEST:: SOT 15370168 SOS 3911211 HAS SOPS 3910118 HAS SOUS 610688 HAS SOUPS 609595 WITH SCORE 613506.211
AT ITER 1654 NEW BEST:: SOT 15370187 SOS 3911216 HAS SOPS 3910123 HAS SOUS 610655 HAS SOUPS 609562 WITH SCORE 613473.216
AT ITER 1660 NEW BEST:: SOT 15369759 SOS 3908640 HAS SOPS 3907547 HAS SOUS 610229 HAS SOUPS 609136 WITH SCORE 613044.64
AT ITER 1670 NEW BEST:: SOT 15369759 SOS 3908624 HAS SOPS 3907531 HAS SOUS 610213 HAS SOUPS 609120 WITH SCORE 613028.624
AT ITER 1674 NEW BEST:: SOT 15369605 SOS 3908470 HAS SOPS 3907377 HAS SOUS 610144 HAS SOUPS 609051 WITH SCORE 612959.47
AT ITER 1677 NEW BEST:: SOT 15369605 SOS 3908010 HAS SOPS 3906917 HAS SOUS 610098 HAS SOUPS 609005 WITH SCORE 612913.01
AT ITER 1679 NEW BEST:: SOT 15369581 SOS 3907986 HAS SOPS 3906893 HAS SOUS 610050 HAS SOUPS 608957 WITH SCORE 612864.986
AT ITER 1681 NEW BEST:: SOT 15369136 SOS 3907368 HAS SOPS 3906275 HAS SOUS 609562 HAS SOUPS 608469 WITH SCORE 612376.368
AT ITER 1719 NEW BEST:: SOT 15369136 SOS 3907459 HAS SOPS 3906366 HAS SOUS 609493 HAS SOUPS 608400 WITH SCORE 612307.459
AT ITER 1742 NEW BEST:: SOT 15369178 SOS 3907501 HAS SOPS 3906408 HAS SOUS 609463 HAS SOUPS 608370 WITH SCORE 612277.501
AT ITER 1752 NEW BEST:: SOT 15369020 SOS 3907343 HAS SOPS 3906250 HAS SOUS 609319 HAS SOUPS 608226 WITH SCORE 612133.343
AT ITER 1757 NEW BEST:: SOT 15368945 SOS 3907268 HAS SOPS 3906175 HAS SOUS 609307 HAS SOUPS 608214 WITH SCORE 612121.268
AT ITER 1764 NEW BEST:: SOT 15368460 SOS 3906878 HAS SOPS 3905785 HAS SOUS 608953 HAS SOUPS 607860 WITH SCORE 611766.878
AT ITER 1772 NEW BEST:: SOT 15368460 SOS 3906878 HAS SOPS 3905785 HAS SOUS 608839 HAS SOUPS 607746 WITH SCORE 611652.878
AT ITER 1809 NEW BEST:: SOT 15368460 SOS 3906878 HAS SOPS 3905785 HAS SOUS 608835 HAS SOUPS 607742 WITH SCORE 611648.878
AT ITER 1815 NEW BEST:: SOT 15368331 SOS 3906749 HAS SOPS 3905656 HAS SOUS 608577 HAS SOUPS 607484 WITH SCORE 611390.749
AT ITER 1817 NEW BEST:: SOT 15368329 SOS 3906745 HAS SOPS 3905652 HAS SOUS 608575 HAS SOUPS 607482 WITH SCORE 611388.745
AT ITER 1827 NEW BEST:: SOT 15368329 SOS 3906687 HAS SOPS 3905594 HAS SOUS 608453 HAS SOUPS 607360 WITH SCORE 611266.687
AT ITER 1829 NEW BEST:: SOT 15368276 SOS 3906715 HAS SOPS 3905622 HAS SOUS 608375 HAS SOUPS 607282 WITH SCORE 611188.715
AT ITER 1832 NEW BEST:: SOT 15368239 SOS 3907434 HAS SOPS 3906341 HAS SOUS 608374 HAS SOUPS 607281 WITH SCORE 611188.434
AT ITER 1852 NEW BEST:: SOT 15368239 SOS 3907336 HAS SOPS 3906243 HAS SOUS 608352 HAS SOUPS 607259 WITH SCORE 611166.336
AT ITER 1857 NEW BEST:: SOT 15368203 SOS 3906940 HAS SOPS 3905847 HAS SOUS 608316 HAS SOUPS 607223 WITH SCORE 611129.94
AT ITER 1885 NEW BEST:: SOT 15368063 SOS 3906800 HAS SOPS 3905707 HAS SOUS 608129 HAS SOUPS 607036 WITH SCORE 610942.8
AT ITER 1894 NEW BEST:: SOT 15367954 SOS 3906800 HAS SOPS 3905707 HAS SOUS 607911 HAS SOUPS 606818 WITH SCORE 610724.8
AT ITER 1903 NEW BEST:: SOT 15367937 SOS 3906783 HAS SOPS 3905690 HAS SOUS 607860 HAS SOUPS 606767 WITH SCORE 610673.783
AT ITER 1934 NEW BEST:: SOT 15367146 SOS 3906142 HAS SOPS 3905049 HAS SOUS 607069 HAS SOUPS 605976 WITH SCORE 609882.142
AT ITER 1943 NEW BEST:: SOT 15367118 SOS 3906142 HAS SOPS 3905049 HAS SOUS 607041 HAS SOUPS 605948 WITH SCORE 609854.142
AT ITER 1945 NEW BEST:: SOT 15367108 SOS 3906122 HAS SOPS 3905029 HAS SOUS 606991 HAS SOUPS 605898 WITH SCORE 609804.122
AT ITER 1949 NEW BEST:: SOT 15365998 SOS 3905300 HAS SOPS 3904042 HAS SOUS 606990 HAS SOUPS 605732 WITH SCORE 609637.3
AT ITER 1953 NEW BEST:: SOT 15365853 SOS 3905155 HAS SOPS 3903897 HAS SOUS 606814 HAS SOUPS 605556 WITH SCORE 609461.155
AT ITER 1957 NEW BEST:: SOT 15365785 SOS 3904477 HAS SOPS 3903219 HAS SOUS 606753 HAS SOUPS 605495 WITH SCORE 609399.477
AT ITER 1960 NEW BEST:: SOT 15365785 SOS 3904477 HAS SOPS 3903219 HAS SOUS 606751 HAS SOUPS 605493 WITH SCORE 609397.477
AT ITER 1963 NEW BEST:: SOT 15365082 SOS 3903952 HAS SOPS 3902694 HAS SOUS 606094 HAS SOUPS 604836 WITH SCORE 608739.952
AT ITER 1976 NEW BEST:: SOT 15364995 SOS 3903865 HAS SOPS 3902607 HAS SOUS 605940 HAS SOUPS 604682 WITH SCORE 608585.865
AT ITER 1986 NEW BEST:: SOT 15364722 SOS 3906312 HAS SOPS 3905054 HAS SOUS 605545 HAS SOUPS 604287 WITH SCORE 608193.312
AT ITER 1997 NEW BEST:: SOT 15364722 SOS 3906245 HAS SOPS 3904987 HAS SOUS 605372 HAS SOUPS 604114 WITH SCORE 608020.245
AT ITER 1998 NEW BEST:: SOT 15364512 SOS 3906035 HAS SOPS 3904777 HAS SOUS 605271 HAS SOUPS 604013 WITH SCORE 607919.035
AT ITER 2008 NEW BEST:: SOT 15364512 SOS 3906035 HAS SOPS 3904777 HAS SOUS 605258 HAS SOUPS 604000 WITH SCORE 607906.035
AT ITER 2013 NEW BEST:: SOT 15364447 SOS 3905970 HAS SOPS 3904712 HAS SOUS 605128 HAS SOUPS 603870 WITH SCORE 607775.97
AT ITER 2019 NEW BEST:: SOT 15364377 SOS 3906590 HAS SOPS 3905332 HAS SOUS 604936 HAS SOUPS 603678 WITH SCORE 607584.59
AT ITER 2021 NEW BEST:: SOT 15364214 SOS 3906590 HAS SOPS 3905332 HAS SOUS 604610 HAS SOUPS 603352 WITH SCORE 607258.59
AT ITER 2027 NEW BEST:: SOT 15364214 SOS 3906520 HAS SOPS 3905262 HAS SOUS 604603 HAS SOUPS 603345 WITH SCORE 607251.52
AT ITER 2030 NEW BEST:: SOT 15364266 SOS 3908789 HAS SOPS 3907531 HAS SOUS 604570 HAS SOUPS 603312 WITH SCORE 607220.789
AT ITER 2040 NEW BEST:: SOT 15364208 SOS 3908731 HAS SOPS 3907473 HAS SOUS 604512 HAS SOUPS 603254 WITH SCORE 607162.731
AT ITER 2042 NEW BEST:: SOT 15363936 SOS 3911378 HAS SOPS 3910120 HAS SOUS 604194 HAS SOUPS 602936 WITH SCORE 606847.378
AT ITER 2045 NEW BEST:: SOT 15363861 SOS 3911428 HAS SOPS 3910170 HAS SOUS 604144 HAS SOUPS 602886 WITH SCORE 606797.428
AT ITER 2077 NEW BEST:: SOT 15363861 SOS 3911401 HAS SOPS 3910143 HAS SOUS 604117 HAS SOUPS 602859 WITH SCORE 606770.401
AT ITER 2091 NEW BEST:: SOT 15363446 SOS 3910986 HAS SOPS 3909728 HAS SOUS 603305 HAS SOUPS 602047 WITH SCORE 605957.986
AT ITER 2100 NEW BEST:: SOT 15363343 SOS 3910883 HAS SOPS 3909625 HAS SOUS 603157 HAS SOUPS 601899 WITH SCORE 605809.883
AT ITER 2102 NEW BEST:: SOT 15363343 SOS 3910883 HAS SOPS 3909625 HAS SOUS 603113 HAS SOUPS 601855 WITH SCORE 605765.883
AT ITER 2106 NEW BEST:: SOT 15363214 SOS 3910144 HAS SOPS 3908886 HAS SOUS 602992 HAS SOUPS 601734 WITH SCORE 605644.144
AT ITER 2107 NEW BEST:: SOT 15363214 SOS 3910144 HAS SOPS 3908886 HAS SOUS 602683 HAS SOUPS 601425 WITH SCORE 605335.144
AT ITER 2113 NEW BEST:: SOT 15363189 SOS 3910134 HAS SOPS 3908876 HAS SOUS 602673 HAS SOUPS 601415 WITH SCORE 605325.134
AT ITER 2117 NEW BEST:: SOT 15363189 SOS 3911374 HAS SOPS 3910116 HAS SOUS 602494 HAS SOUPS 601236 WITH SCORE 605147.374
AT ITER 2128 NEW BEST:: SOT 15362400 SOS 3910585 HAS SOPS 3909740 HAS SOUS 601697 HAS SOUPS 600852 WITH SCORE 604762.585
AT ITER 2139 NEW BEST:: SOT 15361689 SOS 3909264 HAS SOPS 3908419 HAS SOUS 600872 HAS SOUPS 600027 WITH SCORE 603936.264
AT ITER 2142 NEW BEST:: SOT 15361581 SOS 3910226 HAS SOPS 3909381 HAS SOUS 600642 HAS SOUPS 599797 WITH SCORE 603707.226
AT ITER 2144 NEW BEST:: SOT 15361439 SOS 3910084 HAS SOPS 3909239 HAS SOUS 600500 HAS SOUPS 599655 WITH SCORE 603565.084
AT ITER 2151 NEW BEST:: SOT 15361381 SOS 3910026 HAS SOPS 3909181 HAS SOUS 600442 HAS SOUPS 599597 WITH SCORE 603507.026
AT ITER 2155 NEW BEST:: SOT 15361388 SOS 3914973 HAS SOPS 3914128 HAS SOUS 600385 HAS SOUPS 599540 WITH SCORE 603454.973
AT ITER 2163 NEW BEST:: SOT 15361346 SOS 3915282 HAS SOPS 3914437 HAS SOUS 600174 HAS SOUPS 599329 WITH SCORE 603244.282
AT ITER 2165 NEW BEST:: SOT 15361398 SOS 3915594 HAS SOPS 3914749 HAS SOUS 600156 HAS SOUPS 599311 WITH SCORE 603226.594
AT ITER 2166 NEW BEST:: SOT 15361398 SOS 3914994 HAS SOPS 3914149 HAS SOUS 600096 HAS SOUPS 599251 WITH SCORE 603165.994
AT ITER 2167 NEW BEST:: SOT 15361283 SOS 3913729 HAS SOPS 3912884 HAS SOUS 599981 HAS SOUPS 599136 WITH SCORE 603049.729
AT ITER 2174 NEW BEST:: SOT 15361083 SOS 3913529 HAS SOPS 3912684 HAS SOUS 599890 HAS SOUPS 599045 WITH SCORE 602958.529
AT ITER 2176 NEW BEST:: SOT 15362461 SOS 3914907 HAS SOPS 3914062 HAS SOUS 599782 HAS SOUPS 598937 WITH SCORE 602851.907
AT ITER 2206 NEW BEST:: SOT 15362461 SOS 3914907 HAS SOPS 3914062 HAS SOUS 599636 HAS SOUPS 598791 WITH SCORE 602705.907
AT ITER 2214 NEW BEST:: SOT 15362182 SOS 3914628 HAS SOPS 3913783 HAS SOUS 599360 HAS SOUPS 598515 WITH SCORE 602429.628
AT ITER 2242 NEW BEST:: SOT 15362182 SOS 3914644 HAS SOPS 3913799 HAS SOUS 599358 HAS SOUPS 598513 WITH SCORE 602427.644
AT ITER 2247 NEW BEST:: SOT 15362244 SOS 3918680 HAS SOPS 3917835 HAS SOUS 599267 HAS SOUPS 598422 WITH SCORE 602340.68
AT ITER 2258 NEW BEST:: SOT 15362244 SOS 3918680 HAS SOPS 3917835 HAS SOUS 599263 HAS SOUPS 598418 WITH SCORE 602336.68
AT ITER 2271 NEW BEST:: SOT 15362111 SOS 3918018 HAS SOPS 3917173 HAS SOUS 599043 HAS SOUPS 598198 WITH SCORE 602116.018
AT ITER 2286 NEW BEST:: SOT 15361825 SOS 3917234 HAS SOPS 3916389 HAS SOUS 598830 HAS SOUPS 597985 WITH SCORE 601902.234
AT ITER 2293 NEW BEST:: SOT 15361825 SOS 3917231 HAS SOPS 3916386 HAS SOUS 598829 HAS SOUPS 597984 WITH SCORE 601901.231
AT ITER 2311 NEW BEST:: SOT 15361825 SOS 3917186 HAS SOPS 3916341 HAS SOUS 598829 HAS SOUPS 597984 WITH SCORE 601901.186
AT ITER 2314 NEW BEST:: SOT 15361789 SOS 3917150 HAS SOPS 3916305 HAS SOUS 598829 HAS SOUPS 597984 WITH SCORE 601901.15
AT ITER 2333 NEW BEST:: SOT 15361611 SOS 3917150 HAS SOPS 3916305 HAS SOUS 598490 HAS SOUPS 597645 WITH SCORE 601562.15
AT ITER 2371 NEW BEST:: SOT 15361611 SOS 3917150 HAS SOPS 3916305 HAS SOUS 598473 HAS SOUPS 597628 WITH SCORE 601545.15
AT ITER 2386 NEW BEST:: SOT 15361611 SOS 3917140 HAS SOPS 3916295 HAS SOUS 598472 HAS SOUPS 597627 WITH SCORE 601544.14
AT ITER 2402 NEW BEST:: SOT 15361462 SOS 3916991 HAS SOPS 3916146 HAS SOUS 598174 HAS SOUPS 597329 WITH SCORE 601245.991
AT ITER 2413 NEW BEST:: SOT 15360772 SOS 3916154 HAS SOPS 3915309 HAS SOUS 597593 HAS SOUPS 596748 WITH SCORE 600664.154
AT ITER 2416 NEW BEST:: SOT 15360712 SOS 3916094 HAS SOPS 3915249 HAS SOUS 597572 HAS SOUPS 596727 WITH SCORE 600643.094
AT ITER 2417 NEW BEST:: SOT 15360576 SOS 3915958 HAS SOPS 3915113 HAS SOUS 597504 HAS SOUPS 596659 WITH SCORE 600574.958
AT ITER 2429 NEW BEST:: SOT 15360515 SOS 3915897 HAS SOPS 3915052 HAS SOUS 597382 HAS SOUPS 596537 WITH SCORE 600452.897
AT ITER 2434 NEW BEST:: SOT 15360331 SOS 3915713 HAS SOPS 3914868 HAS SOUS 597198 HAS SOUPS 596353 WITH SCORE 600268.713
AT ITER 2441 NEW BEST:: SOT 15360327 SOS 3915709 HAS SOPS 3914864 HAS SOUS 597192 HAS SOUPS 596347 WITH SCORE 600262.709
AT ITER 2444 NEW BEST:: SOT 15360303 SOS 3915445 HAS SOPS 3914600 HAS SOUS 597144 HAS SOUPS 596299 WITH SCORE 600214.445
AT ITER 2472 NEW BEST:: SOT 15360209 SOS 3915351 HAS SOPS 3914506 HAS SOUS 597097 HAS SOUPS 596252 WITH SCORE 600167.351
AT ITER 2492 NEW BEST:: SOT 15359971 SOS 3915113 HAS SOPS 3914268 HAS SOUS 596727 HAS SOUPS 595882 WITH SCORE 599797.113
AT ITER 2529 NEW BEST:: SOT 15359948 SOS 3915195 HAS SOPS 3914350 HAS SOUS 596681 HAS SOUPS 595836 WITH SCORE 599751.195
AT ITER 2531 NEW BEST:: SOT 15359768 SOS 3915015 HAS SOPS 3914170 HAS SOUS 596581 HAS SOUPS 595736 WITH SCORE 599651.015
AT ITER 2549 NEW BEST:: SOT 15359741 SOS 3914988 HAS SOPS 3914143 HAS SOUS 596527 HAS SOUPS 595682 WITH SCORE 599596.988
AT ITER 2550 NEW BEST:: SOT 15359792 SOS 3914910 HAS SOPS 3914065 HAS SOUS 596500 HAS SOUPS 595655 WITH SCORE 599569.91
AT ITER 2566 NEW BEST:: SOT 15359678 SOS 3914186 HAS SOPS 3913341 HAS SOUS 596263 HAS SOUPS 595418 WITH SCORE 599332.186
AT ITER 2573 NEW BEST:: SOT 15359678 SOS 3914346 HAS SOPS 3913501 HAS SOUS 596248 HAS SOUPS 595403 WITH SCORE 599317.346
AT ITER 2576 NEW BEST:: SOT 15359597 SOS 3914316 HAS SOPS 3913471 HAS SOUS 596172 HAS SOUPS 595327 WITH SCORE 599241.316
AT ITER 2584 NEW BEST:: SOT 15359520 SOS 3914320 HAS SOPS 3913475 HAS SOUS 596091 HAS SOUPS 595246 WITH SCORE 599160.32
AT ITER 2594 NEW BEST:: SOT 15359778 SOS 3914614 HAS SOPS 3913769 HAS SOUS 596059 HAS SOUPS 595214 WITH SCORE 599128.614
AT ITER 2607 NEW BEST:: SOT 15359398 SOS 3913624 HAS SOPS 3912779 HAS SOUS 595618 HAS SOUPS 594773 WITH SCORE 598686.624
AT ITER 2610 NEW BEST:: SOT 15359362 SOS 3913588 HAS SOPS 3912743 HAS SOUS 595602 HAS SOUPS 594757 WITH SCORE 598670.588
AT ITER 2624 NEW BEST:: SOT 15359332 SOS 3913558 HAS SOPS 3912713 HAS SOUS 595557 HAS SOUPS 594712 WITH SCORE 598625.558
AT ITER 2630 NEW BEST:: SOT 15359295 SOS 3913521 HAS SOPS 3912676 HAS SOUS 595483 HAS SOUPS 594638 WITH SCORE 598551.521
AT ITER 2631 NEW BEST:: SOT 15359226 SOS 3913452 HAS SOPS 3912607 HAS SOUS 595345 HAS SOUPS 594500 WITH SCORE 598413.452
AT ITER 2635 NEW BEST:: SOT 15359190 SOS 3913416 HAS SOPS 3912571 HAS SOUS 595296 HAS SOUPS 594451 WITH SCORE 598364.416
AT ITER 2673 NEW BEST:: SOT 15359133 SOS 3913568 HAS SOPS 3912723 HAS SOUS 595241 HAS SOUPS 594396 WITH SCORE 598309.568
AT ITER 2683 NEW BEST:: SOT 15359163 SOS 3914772 HAS SOPS 3913927 HAS SOUS 595158 HAS SOUPS 594313 WITH SCORE 598227.772
AT ITER 2687 NEW BEST:: SOT 15358914 SOS 3914523 HAS SOPS 3913678 HAS SOUS 594909 HAS SOUPS 594064 WITH SCORE 597978.523
AT ITER 2689 NEW BEST:: SOT 15358914 SOS 3913947 HAS SOPS 3913102 HAS SOUS 594909 HAS SOUPS 594064 WITH SCORE 597977.947
AT ITER 2703 NEW BEST:: SOT 15358914 SOS 3914817 HAS SOPS 3913972 HAS SOUS 594897 HAS SOUPS 594052 WITH SCORE 597966.817
AT ITER 2713 NEW BEST:: SOT 15358914 SOS 3914817 HAS SOPS 3913972 HAS SOUS 594895 HAS SOUPS 594050 WITH SCORE 597964.817
AT ITER 2731 NEW BEST:: SOT 15358914 SOS 3914817 HAS SOPS 3913972 HAS SOUS 594835 HAS SOUPS 593990 WITH SCORE 597904.817
AT ITER 2734 NEW BEST:: SOT 15358866 SOS 3914721 HAS SOPS 3913876 HAS SOUS 594739 HAS SOUPS 593894 WITH SCORE 597808.721
AT ITER 2740 NEW BEST:: SOT 15358762 SOS 3914617 HAS SOPS 3913772 HAS SOUS 594735 HAS SOUPS 593890 WITH SCORE 597804.617
AT ITER 2785 NEW BEST:: SOT 15358762 SOS 3914577 HAS SOPS 3913732 HAS SOUS 594731 HAS SOUPS 593886 WITH SCORE 597800.577
AT ITER 2804 NEW BEST:: SOT 15358789 SOS 3913214 HAS SOPS 3912369 HAS SOUS 594663 HAS SOUPS 593818 WITH SCORE 597731.214
AT ITER 2808 NEW BEST:: SOT 15358735 SOS 3913051 HAS SOPS 3912206 HAS SOUS 594460 HAS SOUPS 593615 WITH SCORE 597528.051
AT ITER 2812 NEW BEST:: SOT 15358733 SOS 3912345 HAS SOPS 3911500 HAS SOUS 594456 HAS SOUPS 593611 WITH SCORE 597523.345
AT ITER 2814 NEW BEST:: SOT 15358724 SOS 3912247 HAS SOPS 3911402 HAS SOUS 594365 HAS SOUPS 593520 WITH SCORE 597432.247
AT ITER 2840 NEW BEST:: SOT 15358652 SOS 3912175 HAS SOPS 3911330 HAS SOUS 594221 HAS SOUPS 593376 WITH SCORE 597288.175
AT ITER 2865 NEW BEST:: SOT 15358650 SOS 3912087 HAS SOPS 3911242 HAS SOUS 594013 HAS SOUPS 593168 WITH SCORE 597080.087
AT ITER 2887 NEW BEST:: SOT 15358573 SOS 3912010 HAS SOPS 3911165 HAS SOUS 593859 HAS SOUPS 593014 WITH SCORE 596926.01
AT ITER 2890 NEW BEST:: SOT 15358573 SOS 3911785 HAS SOPS 3910940 HAS SOUS 593337 HAS SOUPS 592492 WITH SCORE 596403.785
AT ITER 2893 NEW BEST:: SOT 15358499 SOS 3911711 HAS SOPS 3910866 HAS SOUS 593205 HAS SOUPS 592360 WITH SCORE 596271.711
AT ITER 2895 NEW BEST:: SOT 15358466 SOS 3911678 HAS SOPS 3910833 HAS SOUS 593139 HAS SOUPS 592294 WITH SCORE 596205.678
AT ITER 2896 NEW BEST:: SOT 15358541 SOS 3914026 HAS SOPS 3913181 HAS SOUS 592855 HAS SOUPS 592010 WITH SCORE 595924.026
AT ITER 2918 NEW BEST:: SOT 15358483 SOS 3913968 HAS SOPS 3913123 HAS SOUS 592749 HAS SOUPS 591904 WITH SCORE 595817.968
AT ITER 2927 NEW BEST:: SOT 15358435 SOS 3914016 HAS SOPS 3913171 HAS SOUS 592690 HAS SOUPS 591845 WITH SCORE 595759.016
AT ITER 2932 NEW BEST:: SOT 15358297 SOS 3913878 HAS SOPS 3913033 HAS SOUS 592552 HAS SOUPS 591707 WITH SCORE 595620.878
AT ITER 2942 NEW BEST:: SOT 15358297 SOS 3913878 HAS SOPS 3913033 HAS SOUS 592511 HAS SOUPS 591666 WITH SCORE 595579.878
AT ITER 2946 NEW BEST:: SOT 15358261 SOS 3911439 HAS SOPS 3910594 HAS SOUS 592439 HAS SOUPS 591594 WITH SCORE 595505.439
AT ITER 2947 NEW BEST:: SOT 15358211 SOS 3911389 HAS SOPS 3910544 HAS SOUS 592354 HAS SOUPS 591509 WITH SCORE 595420.389
AT ITER 2958 NEW BEST:: SOT 15357988 SOS 3911098 HAS SOPS 3910253 HAS SOUS 592106 HAS SOUPS 591261 WITH SCORE 595172.098
AT ITER 2959 NEW BEST:: SOT 15357984 SOS 3911054 HAS SOPS 3910209 HAS SOUS 592098 HAS SOUPS 591253 WITH SCORE 595164.054
AT ITER 2980 NEW BEST:: SOT 15357800 SOS 3910870 HAS SOPS 3910025 HAS SOUS 592092 HAS SOUPS 591247 WITH SCORE 595157.87
AT ITER 2983 NEW BEST:: SOT 15357991 SOS 3911061 HAS SOPS 3910216 HAS SOUS 592088 HAS SOUPS 591243 WITH SCORE 595154.061
AT ITER 2984 NEW BEST:: SOT 15357943 SOS 3911013 HAS SOPS 3910168 HAS SOUS 592014 HAS SOUPS 591169 WITH SCORE 595080.013
AT ITER 3001 NEW BEST:: SOT 15357852 SOS 3910988 HAS SOPS 3910143 HAS SOUS 591979 HAS SOUPS 591134 WITH SCORE 595044.988
AT ITER 3014 NEW BEST:: SOT 15357262 SOS 3910398 HAS SOPS 3909553 HAS SOUS 591389 HAS SOUPS 590544 WITH SCORE 594454.398
AT ITER 3015 NEW BEST:: SOT 15357089 SOS 3908912 HAS SOPS 3908067 HAS SOUS 591165 HAS SOUPS 590320 WITH SCORE 594228.912
AT ITER 3021 NEW BEST:: SOT 15357143 SOS 3907524 HAS SOPS 3906679 HAS SOUS 591137 HAS SOUPS 590292 WITH SCORE 594199.524
AT ITER 3026 NEW BEST:: SOT 15357135 SOS 3907516 HAS SOPS 3906671 HAS SOUS 591121 HAS SOUPS 590276 WITH SCORE 594183.516
AT ITER 3061 NEW BEST:: SOT 15357044 SOS 3907425 HAS SOPS 3906580 HAS SOUS 590952 HAS SOUPS 590107 WITH SCORE 594014.425
AT ITER 3087 NEW BEST:: SOT 15356829 SOS 3907210 HAS SOPS 3906365 HAS SOUS 590946 HAS SOUPS 590101 WITH SCORE 594008.21
AT ITER 3090 NEW BEST:: SOT 15357187 SOS 3910474 HAS SOPS 3909629 HAS SOUS 590902 HAS SOUPS 590057 WITH SCORE 593967.474
AT ITER 3091 NEW BEST:: SOT 15357133 SOS 3910420 HAS SOPS 3909575 HAS SOUS 590794 HAS SOUPS 589949 WITH SCORE 593859.42
AT ITER 3101 NEW BEST:: SOT 15357114 SOS 3910382 HAS SOPS 3909537 HAS SOUS 590701 HAS SOUPS 589856 WITH SCORE 593766.382
AT ITER 3111 NEW BEST:: SOT 15357121 SOS 3910319 HAS SOPS 3909474 HAS SOUS 590659 HAS SOUPS 589814 WITH SCORE 593724.319
AT ITER 3113 NEW BEST:: SOT 15352211 SOS 3905707 HAS SOPS 3904691 HAS SOUS 590000 HAS SOUPS 588984 WITH SCORE 592889.707
AT ITER 3124 NEW BEST:: SOT 15352338 SOS 3905621 HAS SOPS 3904605 HAS SOUS 589808 HAS SOUPS 588792 WITH SCORE 592697.621
AT ITER 3141 NEW BEST:: SOT 15351032 SOS 3904378 HAS SOPS 3903362 HAS SOUS 588799 HAS SOUPS 587783 WITH SCORE 591687.378
AT ITER 3153 NEW BEST:: SOT 15350963 SOS 3905809 HAS SOPS 3904793 HAS SOUS 588585 HAS SOUPS 587569 WITH SCORE 591474.809
AT ITER 3157 NEW BEST:: SOT 15351211 SOS 3908136 HAS SOPS 3907120 HAS SOUS 588579 HAS SOUPS 587563 WITH SCORE 591471.136
AT ITER 3166 NEW BEST:: SOT 15351239 SOS 3908994 HAS SOPS 3907978 HAS SOUS 588552 HAS SOUPS 587536 WITH SCORE 591444.994
AT ITER 3188 NEW BEST:: SOT 15351297 SOS 3908953 HAS SOPS 3907937 HAS SOUS 588470 HAS SOUPS 587454 WITH SCORE 591362.953
AT ITER 3228 NEW BEST:: SOT 15351297 SOS 3908814 HAS SOPS 3907798 HAS SOUS 588337 HAS SOUPS 587321 WITH SCORE 591229.814
AT ITER 3244 NEW BEST:: SOT 15351280 SOS 3908797 HAS SOPS 3907781 HAS SOUS 588324 HAS SOUPS 587308 WITH SCORE 591216.797
AT ITER 3245 NEW BEST:: SOT 15351280 SOS 3907647 HAS SOPS 3906631 HAS SOUS 588092 HAS SOUPS 587076 WITH SCORE 590983.647
AT ITER 3252 NEW BEST:: SOT 15351188 SOS 3907660 HAS SOPS 3906644 HAS SOUS 588044 HAS SOUPS 587028 WITH SCORE 590935.66
AT ITER 3290 NEW BEST:: SOT 15351188 SOS 3907660 HAS SOPS 3906644 HAS SOUS 588041 HAS SOUPS 587025 WITH SCORE 590932.66
AT ITER 3291 NEW BEST:: SOT 15351023 SOS 3907495 HAS SOPS 3906479 HAS SOUS 587967 HAS SOUPS 586951 WITH SCORE 590858.495
AT ITER 3332 NEW BEST:: SOT 15350897 SOS 3904479 HAS SOPS 3903463 HAS SOUS 587884 HAS SOUPS 586868 WITH SCORE 590772.479
AT ITER 3334 NEW BEST:: SOT 15350859 SOS 3904441 HAS SOPS 3903425 HAS SOUS 587808 HAS SOUPS 586792 WITH SCORE 590696.441
AT ITER 3350 NEW BEST:: SOT 15350819 SOS 3906034 HAS SOPS 3905018 HAS SOUS 587759 HAS SOUPS 586743 WITH SCORE 590649.034
AT ITER 3355 NEW BEST:: SOT 15350841 SOS 3906215 HAS SOPS 3905199 HAS SOUS 587750 HAS SOUPS 586734 WITH SCORE 590640.215
AT ITER 3367 NEW BEST:: SOT 15350841 SOS 3903092 HAS SOPS 3902076 HAS SOUS 587632 HAS SOUPS 586616 WITH SCORE 590519.092
AT ITER 3386 NEW BEST:: SOT 15350841 SOS 3903092 HAS SOPS 3902076 HAS SOUS 587593 HAS SOUPS 586577 WITH SCORE 590480.092
AT ITER 3387 NEW BEST:: SOT 15350714 SOS 3902449 HAS SOPS 3901433 HAS SOUS 587449 HAS SOUPS 586433 WITH SCORE 590335.449
AT ITER 3403 NEW BEST:: SOT 15350633 SOS 3902368 HAS SOPS 3901352 HAS SOUS 587368 HAS SOUPS 586352 WITH SCORE 590254.368
AT ITER 3408 NEW BEST:: SOT 15350427 SOS 3902386 HAS SOPS 3901370 HAS SOUS 587108 HAS SOUPS 586092 WITH SCORE 589994.386
AT ITER 3422 NEW BEST:: SOT 15350253 SOS 3902212 HAS SOPS 3901196 HAS SOUS 586770 HAS SOUPS 585754 WITH SCORE 589656.212
AT ITER 3485 NEW BEST:: SOT 15350175 SOS 3902134 HAS SOPS 3901118 HAS SOUS 586502 HAS SOUPS 585486 WITH SCORE 589388.134
AT ITER 3492 NEW BEST:: SOT 15350175 SOS 3903366 HAS SOPS 3902350 HAS SOUS 586267 HAS SOUPS 585251 WITH SCORE 589154.366
AT ITER 3504 NEW BEST:: SOT 15350147 SOS 3903473 HAS SOPS 3902457 HAS SOUS 586215 HAS SOUPS 585199 WITH SCORE 589102.473
AT ITER 3522 NEW BEST:: SOT 15350147 SOS 3903473 HAS SOPS 3902457 HAS SOUS 586081 HAS SOUPS 585065 WITH SCORE 588968.473
AT ITER 3524 NEW BEST:: SOT 15350006 SOS 3903332 HAS SOPS 3902316 HAS SOUS 585799 HAS SOUPS 584783 WITH SCORE 588686.332
AT ITER 3538 NEW BEST:: SOT 15349987 SOS 3903294 HAS SOPS 3902278 HAS SOUS 585761 HAS SOUPS 584745 WITH SCORE 588648.294
AT ITER 3561 NEW BEST:: SOT 15349987 SOS 3902854 HAS SOPS 3901838 HAS SOUS 585761 HAS SOUPS 584745 WITH SCORE 588647.854
AT ITER 3566 NEW BEST:: SOT 15340168 SOS 3893090 HAS SOPS 3892019 HAS SOUS 584458 HAS SOUPS 583387 WITH SCORE 587280.09
AT ITER 3572 NEW BEST:: SOT 15340023 SOS 3892945 HAS SOPS 3891874 HAS SOUS 584168 HAS SOUPS 583097 WITH SCORE 586989.945
AT ITER 3577 NEW BEST:: SOT 15339286 SOS 3891974 HAS SOPS 3890903 HAS SOUS 583122 HAS SOUPS 582051 WITH SCORE 585942.974
AT ITER 3587 NEW BEST:: SOT 15339159 SOS 3891810 HAS SOPS 3890739 HAS SOUS 582958 HAS SOUPS 581887 WITH SCORE 585778.81
AT ITER 3589 NEW BEST:: SOT 15339186 SOS 3891837 HAS SOPS 3890766 HAS SOUS 582951 HAS SOUPS 581880 WITH SCORE 585771.837
AT ITER 3599 NEW BEST:: SOT 15339021 SOS 3891672 HAS SOPS 3890601 HAS SOUS 582642 HAS SOUPS 581571 WITH SCORE 585462.672
AT ITER 3611 NEW BEST:: SOT 15339021 SOS 3891672 HAS SOPS 3890601 HAS SOUS 582592 HAS SOUPS 581521 WITH SCORE 585412.672
AT ITER 3625 NEW BEST:: SOT 15339021 SOS 3891672 HAS SOPS 3890601 HAS SOUS 582489 HAS SOUPS 581418 WITH SCORE 585309.672
AT ITER 3629 NEW BEST:: SOT 15339005 SOS 3892366 HAS SOPS 3891295 HAS SOUS 582470 HAS SOUPS 581399 WITH SCORE 585291.366
AT ITER 3632 NEW BEST:: SOT 15338799 SOS 3891643 HAS SOPS 3890572 HAS SOUS 582287 HAS SOUPS 581216 WITH SCORE 585107.643
AT ITER 3635 NEW BEST:: SOT 15338667 SOS 3891511 HAS SOPS 3890440 HAS SOUS 582023 HAS SOUPS 580952 WITH SCORE 584843.511
AT ITER 3650 NEW BEST:: SOT 15338621 SOS 3891465 HAS SOPS 3890394 HAS SOUS 581931 HAS SOUPS 580860 WITH SCORE 584751.465
AT ITER 3662 NEW BEST:: SOT 15338621 SOS 3891664 HAS SOPS 3890593 HAS SOUS 581902 HAS SOUPS 580831 WITH SCORE 584722.664
AT ITER 3699 NEW BEST:: SOT 15338331 SOS 3889992 HAS SOPS 3888921 HAS SOUS 581589 HAS SOUPS 580518 WITH SCORE 584407.992
AT ITER 3704 NEW BEST:: SOT 15338181 SOS 3888492 HAS SOPS 3887421 HAS SOUS 581439 HAS SOUPS 580368 WITH SCORE 584256.492
AT ITER 3722 NEW BEST:: SOT 15338104 SOS 3889393 HAS SOPS 3888322 HAS SOUS 581297 HAS SOUPS 580226 WITH SCORE 584115.393
AT ITER 3740 NEW BEST:: SOT 15337892 SOS 3889181 HAS SOPS 3888110 HAS SOUS 580873 HAS SOUPS 579802 WITH SCORE 583691.181
AT ITER 3742 NEW BEST:: SOT 15337892 SOS 3889181 HAS SOPS 3888110 HAS SOUS 580870 HAS SOUPS 579799 WITH SCORE 583688.181
AT ITER 3743 NEW BEST:: SOT 15337445 SOS 3889009 HAS SOPS 3887938 HAS SOUS 580801 HAS SOUPS 579730 WITH SCORE 583619.009
AT ITER 3760 NEW BEST:: SOT 15337462 SOS 3888788 HAS SOPS 3887717 HAS SOUS 580312 HAS SOUPS 579241 WITH SCORE 583129.788
AT ITER 3782 NEW BEST:: SOT 15337408 SOS 3889813 HAS SOPS 3888742 HAS SOUS 580204 HAS SOUPS 579133 WITH SCORE 583022.813
AT ITER 3785 NEW BEST:: SOT 15337393 SOS 3889798 HAS SOPS 3888727 HAS SOUS 580174 HAS SOUPS 579103 WITH SCORE 582992.798
AT ITER 3795 NEW BEST:: SOT 15337355 SOS 3889013 HAS SOPS 3887942 HAS SOUS 580099 HAS SOUPS 579028 WITH SCORE 582917.013
AT ITER 3816 NEW BEST:: SOT 15337354 SOS 3889012 HAS SOPS 3887941 HAS SOUS 580097 HAS SOUPS 579026 WITH SCORE 582915.012
AT ITER 3820 NEW BEST:: SOT 15337065 SOS 3888093 HAS SOPS 3887022 HAS SOUS 579826 HAS SOUPS 578755 WITH SCORE 582643.093
AT ITER 3821 NEW BEST:: SOT 15336826 SOS 3887284 HAS SOPS 3886213 HAS SOUS 579682 HAS SOUPS 578611 WITH SCORE 582498.284
AT ITER 3836 NEW BEST:: SOT 15336884 SOS 3887284 HAS SOPS 3886213 HAS SOUS 579624 HAS SOUPS 578553 WITH SCORE 582440.284
AT ITER 3893 NEW BEST:: SOT 15336745 SOS 3887145 HAS SOPS 3886074 HAS SOUS 579581 HAS SOUPS 578510 WITH SCORE 582397.145
AT ITER 3899 NEW BEST:: SOT 15332014 SOS 4296244 HAS SOPS 4295173 HAS SOUS 578983 HAS SOUPS 577912 WITH SCORE 582208.244
AT ITER 3911 NEW BEST:: SOT 15331939 SOS 4296169 HAS SOPS 4295098 HAS SOUS 578942 HAS SOUPS 577871 WITH SCORE 582167.169
AT ITER 3915 NEW BEST:: SOT 15331901 SOS 4296131 HAS SOPS 4295060 HAS SOUS 578866 HAS SOUPS 577795 WITH SCORE 582091.131
AT ITER 3923 NEW BEST:: SOT 15331555 SOS 4295785 HAS SOPS 4294714 HAS SOUS 578768 HAS SOUPS 577697 WITH SCORE 581992.785
AT ITER 3927 NEW BEST:: SOT 15331555 SOS 4295785 HAS SOPS 4294714 HAS SOUS 578727 HAS SOUPS 577656 WITH SCORE 581951.785
AT ITER 3931 NEW BEST:: SOT 15331473 SOS 4295703 HAS SOPS 4294632 HAS SOUS 578563 HAS SOUPS 577492 WITH SCORE 581787.703
AT ITER 3981 NEW BEST:: SOT 15330817 SOS 4291137 HAS SOPS 4290066 HAS SOUS 578424 HAS SOUPS 577353 WITH SCORE 581644.137
AT ITER 4003 NEW BEST:: SOT 15330817 SOS 4290967 HAS SOPS 4289896 HAS SOUS 578400 HAS SOUPS 577329 WITH SCORE 581619.967
AT ITER 4016 NEW BEST:: SOT 15330808 SOS 4290958 HAS SOPS 4289887 HAS SOUS 578393 HAS SOUPS 577322 WITH SCORE 581612.958
AT ITER 4092 NEW BEST:: SOT 15330639 SOS 4290621 HAS SOPS 4289550 HAS SOUS 578349 HAS SOUPS 577278 WITH SCORE 581568.621
AT ITER 4095 NEW BEST:: SOT 15330452 SOS 4290434 HAS SOPS 4289363 HAS SOUS 577975 HAS SOUPS 576904 WITH SCORE 581194.434
AT ITER 4100 NEW BEST:: SOT 15330328 SOS 4289490 HAS SOPS 4288419 HAS SOUS 577649 HAS SOUPS 576578 WITH SCORE 580867.49
AT ITER 4107 NEW BEST:: SOT 15329921 SOS 4289264 HAS SOPS 4288193 HAS SOUS 577562 HAS SOUPS 576491 WITH SCORE 580780.264
AT ITER 4114 NEW BEST:: SOT 15329801 SOS 4289144 HAS SOPS 4288073 HAS SOUS 577485 HAS SOUPS 576414 WITH SCORE 580703.144
AT ITER 4123 NEW BEST:: SOT 15329801 SOS 4288594 HAS SOPS 4287523 HAS SOUS 577430 HAS SOUPS 576359 WITH SCORE 580647.594
AT ITER 4147 NEW BEST:: SOT 15329778 SOS 4288318 HAS SOPS 4287247 HAS SOUS 577384 HAS SOUPS 576313 WITH SCORE 580601.318
AT ITER 4152 NEW BEST:: SOT 15329751 SOS 4288316 HAS SOPS 4287245 HAS SOUS 577382 HAS SOUPS 576311 WITH SCORE 580599.316
AT ITER 4163 NEW BEST:: SOT 15329373 SOS 4287938 HAS SOPS 4286867 HAS SOUS 576630 HAS SOUPS 575559 WITH SCORE 579846.938
AT ITER 4227 NEW BEST:: SOT 15329268 SOS 4287798 HAS SOPS 4286727 HAS SOUS 576490 HAS SOUPS 575419 WITH SCORE 579706.798
AT ITER 4229 NEW BEST:: SOT 15329210 SOS 4287769 HAS SOPS 4286698 HAS SOUS 576461 HAS SOUPS 575390 WITH SCORE 579677.769
AT ITER 4236 NEW BEST:: SOT 15329050 SOS 4287609 HAS SOPS 4286538 HAS SOUS 576187 HAS SOUPS 575116 WITH SCORE 579403.609
AT ITER 4238 NEW BEST:: SOT 15329050 SOS 4286795 HAS SOPS 4285724 HAS SOUS 576187 HAS SOUPS 575116 WITH SCORE 579402.795
AT ITER 4269 NEW BEST:: SOT 15329037 SOS 4286756 HAS SOPS 4285685 HAS SOUS 576148 HAS SOUPS 575077 WITH SCORE 579363.756
AT ITER 4287 NEW BEST:: SOT 15328813 SOS 4286532 HAS SOPS 4285461 HAS SOUS 575835 HAS SOUPS 574764 WITH SCORE 579050.532
AT ITER 4306 NEW BEST:: SOT 15328688 SOS 4286407 HAS SOPS 4285336 HAS SOUS 575711 HAS SOUPS 574640 WITH SCORE 578926.407
AT ITER 4324 NEW BEST:: SOT 15328621 SOS 4286404 HAS SOPS 4285333 HAS SOUS 575705 HAS SOUPS 574634 WITH SCORE 578920.404
AT ITER 4330 NEW BEST:: SOT 15328329 SOS 4286237 HAS SOPS 4285166 HAS SOUS 575464 HAS SOUPS 574393 WITH SCORE 578679.237
AT ITER 4344 NEW BEST:: SOT 15328225 SOS 4286107 HAS SOPS 4285036 HAS SOUS 575334 HAS SOUPS 574263 WITH SCORE 578549.107
AT ITER 4358 NEW BEST:: SOT 15328193 SOS 4285935 HAS SOPS 4284864 HAS SOUS 575252 HAS SOUPS 574181 WITH SCORE 578466.935
AT ITER 4380 NEW BEST:: SOT 15328115 SOS 4285857 HAS SOPS 4284786 HAS SOUS 575110 HAS SOUPS 574039 WITH SCORE 578324.857
AT ITER 4386 NEW BEST:: SOT 15317233 SOS 4275036 HAS SOPS 4273965 HAS SOUS 564276 HAS SOUPS 563205 WITH SCORE 567480.036
AT ITER 4417 NEW BEST:: SOT 15317008 SOS 4274811 HAS SOPS 4273740 HAS SOUS 563799 HAS SOUPS 562728 WITH SCORE 567002.811
AT ITER 4436 NEW BEST:: SOT 15317089 SOS 4274704 HAS SOPS 4273633 HAS SOUS 563641 HAS SOUPS 562570 WITH SCORE 566844.704
AT ITER 4447 NEW BEST:: SOT 15316948 SOS 4274581 HAS SOPS 4273510 HAS SOUS 563602 HAS SOUPS 562531 WITH SCORE 566805.581
AT ITER 4456 NEW BEST:: SOT 15316750 SOS 4274486 HAS SOPS 4273415 HAS SOUS 563565 HAS SOUPS 562494 WITH SCORE 566768.486
AT ITER 4460 NEW BEST:: SOT 15316704 SOS 4274440 HAS SOPS 4273369 HAS SOUS 563538 HAS SOUPS 562467 WITH SCORE 566741.44
AT ITER 4469 NEW BEST:: SOT 15316483 SOS 4274219 HAS SOPS 4273148 HAS SOUS 563424 HAS SOUPS 562353 WITH SCORE 566627.219
AT ITER 4470 NEW BEST:: SOT 15316483 SOS 4273834 HAS SOPS 4272763 HAS SOUS 563424 HAS SOUPS 562353 WITH SCORE 566626.834
AT ITER 4483 NEW BEST:: SOT 15316321 SOS 4273847 HAS SOPS 4272776 HAS SOUS 563030 HAS SOUPS 561959 WITH SCORE 566232.847
AT ITER 4504 NEW BEST:: SOT 15316321 SOS 4274277 HAS SOPS 4273206 HAS SOUS 563013 HAS SOUPS 561942 WITH SCORE 566216.277
AT ITER 4520 NEW BEST:: SOT 15316321 SOS 4274937 HAS SOPS 4273866 HAS SOUS 562996 HAS SOUPS 561925 WITH SCORE 566199.937
AT ITER 4523 NEW BEST:: SOT 15316268 SOS 4274884 HAS SOPS 4273813 HAS SOUS 562946 HAS SOUPS 561875 WITH SCORE 566149.884
AT ITER 4530 NEW BEST:: SOT 15316184 SOS 4274822 HAS SOPS 4273751 HAS SOUS 562862 HAS SOUPS 561791 WITH SCORE 566065.822
AT ITER 4532 NEW BEST:: SOT 15316032 SOS 4274670 HAS SOPS 4273599 HAS SOUS 562568 HAS SOUPS 561497 WITH SCORE 565771.67
AT ITER 4557 NEW BEST:: SOT 15316139 SOS 4274751 HAS SOPS 4273680 HAS SOUS 562399 HAS SOUPS 561328 WITH SCORE 565602.751
AT ITER 4565 NEW BEST:: SOT 15316106 SOS 4274718 HAS SOPS 4273647 HAS SOUS 562300 HAS SOUPS 561229 WITH SCORE 565503.718
AT ITER 4579 NEW BEST:: SOT 15315999 SOS 4276391 HAS SOPS 4275320 HAS SOUS 562086 HAS SOUPS 561015 WITH SCORE 565291.391
AT ITER 4617 NEW BEST:: SOT 15315828 SOS 4275129 HAS SOPS 4274058 HAS SOUS 561828 HAS SOUPS 560757 WITH SCORE 565032.129
AT ITER 4620 NEW BEST:: SOT 15315658 SOS 4274959 HAS SOPS 4273888 HAS SOUS 561502 HAS SOUPS 560431 WITH SCORE 564705.959
AT ITER 4640 NEW BEST:: SOT 15315625 SOS 4274926 HAS SOPS 4273855 HAS SOUS 561496 HAS SOUPS 560425 WITH SCORE 564699.926
AT ITER 4666 NEW BEST:: SOT 15313517 SOS 4277088 HAS SOPS 4276017 HAS SOUS 559133 HAS SOUPS 558062 WITH SCORE 562339.088
AT ITER 4671 NEW BEST:: SOT 15313424 SOS 4277055 HAS SOPS 4275984 HAS SOUS 559067 HAS SOUPS 557996 WITH SCORE 562273.055
AT ITER 4687 NEW BEST:: SOT 15313417 SOS 4277048 HAS SOPS 4275977 HAS SOUS 558998 HAS SOUPS 557927 WITH SCORE 562204.048
AT ITER 4689 NEW BEST:: SOT 15313157 SOS 4276788 HAS SOPS 4275717 HAS SOUS 558990 HAS SOUPS 557919 WITH SCORE 562195.788
AT ITER 4691 NEW BEST:: SOT 15312809 SOS 4276440 HAS SOPS 4275369 HAS SOUS 558526 HAS SOUPS 557455 WITH SCORE 561731.44
AT ITER 4697 NEW BEST:: SOT 15312707 SOS 4276338 HAS SOPS 4275267 HAS SOUS 558416 HAS SOUPS 557345 WITH SCORE 561621.338
AT ITER 4708 NEW BEST:: SOT 15312663 SOS 4276294 HAS SOPS 4275223 HAS SOUS 558394 HAS SOUPS 557323 WITH SCORE 561599.294
AT ITER 4710 NEW BEST:: SOT 15312580 SOS 4276211 HAS SOPS 4275140 HAS SOUS 558228 HAS SOUPS 557157 WITH SCORE 561433.211
AT ITER 4733 NEW BEST:: SOT 15312578 SOS 4276209 HAS SOPS 4275138 HAS SOUS 558224 HAS SOUPS 557153 WITH SCORE 561429.209
AT ITER 4745 NEW BEST:: SOT 15312359 SOS 4275990 HAS SOPS 4274919 HAS SOUS 557796 HAS SOUPS 556725 WITH SCORE 561000.99
AT ITER 4772 NEW BEST:: SOT 15312359 SOS 4276370 HAS SOPS 4275299 HAS SOUS 557766 HAS SOUPS 556695 WITH SCORE 560971.37
AT ITER 4804 NEW BEST:: SOT 15312283 SOS 4276392 HAS SOPS 4275321 HAS SOUS 557690 HAS SOUPS 556619 WITH SCORE 560895.392
AT ITER 4837 NEW BEST:: SOT 15312223 SOS 4276332 HAS SOPS 4275261 HAS SOUS 557571 HAS SOUPS 556500 WITH SCORE 560776.332
AT ITER 4853 NEW BEST:: SOT 15311808 SOS 4274939 HAS SOPS 4273868 HAS SOUS 557488 HAS SOUPS 556417 WITH SCORE 560691.939
AT ITER 4865 NEW BEST:: SOT 15311790 SOS 4274924 HAS SOPS 4273853 HAS SOUS 557473 HAS SOUPS 556402 WITH SCORE 560676.924
AT ITER 4899 NEW BEST:: SOT 15311500 SOS 4272874 HAS SOPS 4271803 HAS SOUS 557032 HAS SOUPS 555961 WITH SCORE 560233.874
AT ITER 4918 NEW BEST:: SOT 15311499 SOS 4272872 HAS SOPS 4271801 HAS SOUS 556949 HAS SOUPS 555878 WITH SCORE 560150.872
AT ITER 4931 NEW BEST:: SOT 15310753 SOS 4269525 HAS SOPS 4268454 HAS SOUS 556466 HAS SOUPS 555395 WITH SCORE 559664.525
AT ITER 4937 NEW BEST:: SOT 15310747 SOS 4269499 HAS SOPS 4268428 HAS SOUS 556460 HAS SOUPS 555389 WITH SCORE 559658.499
AT ITER 4972 NEW BEST:: SOT 15310692 SOS 4269444 HAS SOPS 4268373 HAS SOUS 556458 HAS SOUPS 555387 WITH SCORE 559656.444
AT ITER 4976 NEW BEST:: SOT 15310659 SOS 4269411 HAS SOPS 4268340 HAS SOUS 556392 HAS SOUPS 555321 WITH SCORE 559590.411
AT ITER 4984 NEW BEST:: SOT 15310281 SOS 4269033 HAS SOPS 4267962 HAS SOUS 556014 HAS SOUPS 554943 WITH SCORE 559212.033
AT ITER 4998 NEW BEST:: SOT 15310175 SOS 4268690 HAS SOPS 4267619 HAS SOUS 555313 HAS SOUPS 554242 WITH SCORE 558510.69
AT ITER 5008 NEW BEST:: SOT 15310100 SOS 4268615 HAS SOPS 4267544 HAS SOUS 555229 HAS SOUPS 554158 WITH SCORE 558426.615
AT ITER 5026 NEW BEST:: SOT 15310082 SOS 4268597 HAS SOPS 4267526 HAS SOUS 555189 HAS SOUPS 554118 WITH SCORE 558386.597
AT ITER 5029 NEW BEST:: SOT 15310060 SOS 4268575 HAS SOPS 4267504 HAS SOUS 555145 HAS SOUPS 554074 WITH SCORE 558342.575
AT ITER 5071 NEW BEST:: SOT 15310034 SOS 4268523 HAS SOPS 4267452 HAS SOUS 555145 HAS SOUPS 554074 WITH SCORE 558342.523
AT ITER 5084 NEW BEST:: SOT 15309934 SOS 4269723 HAS SOPS 4268652 HAS SOUS 554855 HAS SOUPS 553784 WITH SCORE 558053.723
AT ITER 5094 NEW BEST:: SOT 15309808 SOS 4269007 HAS SOPS 4267936 HAS SOUS 554756 HAS SOUPS 553685 WITH SCORE 557954.007
AT ITER 5095 NEW BEST:: SOT 15309686 SOS 4268496 HAS SOPS 4267425 HAS SOUS 554655 HAS SOUPS 553584 WITH SCORE 557852.496
AT ITER 5102 NEW BEST:: SOT 15309365 SOS 4268175 HAS SOPS 4267104 HAS SOUS 554207 HAS SOUPS 553136 WITH SCORE 557404.175
AT ITER 5104 NEW BEST:: SOT 15309301 SOS 4268111 HAS SOPS 4267040 HAS SOUS 554194 HAS SOUPS 553123 WITH SCORE 557391.111
AT ITER 5105 NEW BEST:: SOT 15309279 SOS 4268089 HAS SOPS 4267018 HAS SOUS 554161 HAS SOUPS 553090 WITH SCORE 557358.089
AT ITER 5119 NEW BEST:: SOT 15309251 SOS 4267952 HAS SOPS 4266881 HAS SOUS 554105 HAS SOUPS 553034 WITH SCORE 557301.952
AT ITER 5123 NEW BEST:: SOT 15309215 SOS 4267996 HAS SOPS 4266925 HAS SOUS 554041 HAS SOUPS 552970 WITH SCORE 557237.996
AT ITER 5132 NEW BEST:: SOT 15309021 SOS 4267802 HAS SOPS 4266731 HAS SOUS 554037 HAS SOUPS 552966 WITH SCORE 557233.802
AT ITER 5145 NEW BEST:: SOT 15308960 SOS 4244911 HAS SOPS 4243840 HAS SOUS 553915 HAS SOUPS 552844 WITH SCORE 557088.911
AT ITER 5158 NEW BEST:: SOT 15308840 SOS 4244791 HAS SOPS 4243720 HAS SOUS 553574 HAS SOUPS 552503 WITH SCORE 556747.791
AT ITER 5185 NEW BEST:: SOT 15308716 SOS 4244667 HAS SOPS 4243596 HAS SOUS 553450 HAS SOUPS 552379 WITH SCORE 556623.667
AT ITER 5199 NEW BEST:: SOT 15308684 SOS 4244905 HAS SOPS 4243834 HAS SOUS 553342 HAS SOUPS 552271 WITH SCORE 556515.905
AT ITER 5220 NEW BEST:: SOT 15308667 SOS 4244832 HAS SOPS 4243761 HAS SOUS 553308 HAS SOUPS 552237 WITH SCORE 556481.832
AT ITER 5225 NEW BEST:: SOT 15308585 SOS 4244750 HAS SOPS 4243679 HAS SOUS 553088 HAS SOUPS 552017 WITH SCORE 556261.75
AT ITER 5228 NEW BEST:: SOT 15308585 SOS 4244500 HAS SOPS 4243429 HAS SOUS 553049 HAS SOUPS 551978 WITH SCORE 556222.5
AT ITER 5244 NEW BEST:: SOT 15307994 SOS 4243981 HAS SOPS 4242910 HAS SOUS 552622 HAS SOUPS 551551 WITH SCORE 555794.981
AT ITER 5300 NEW BEST:: SOT 15307592 SOS 4243751 HAS SOPS 4242680 HAS SOUS 551660 HAS SOUPS 550589 WITH SCORE 554832.751
AT ITER 5302 NEW BEST:: SOT 15306277 SOS 4242497 HAS SOPS 4241426 HAS SOUS 550256 HAS SOUPS 549185 WITH SCORE 553427.497
AT ITER 5310 NEW BEST:: SOT 15306242 SOS 4242462 HAS SOPS 4241391 HAS SOUS 550186 HAS SOUPS 549115 WITH SCORE 553357.462
AT ITER 5326 NEW BEST:: SOT 15306242 SOS 4242462 HAS SOPS 4241391 HAS SOUS 550184 HAS SOUPS 549113 WITH SCORE 553355.462
AT ITER 5327 NEW BEST:: SOT 15306242 SOS 4244984 HAS SOPS 4243913 HAS SOUS 550170 HAS SOUPS 549099 WITH SCORE 553343.984
AT ITER 5331 NEW BEST:: SOT 15306244 SOS 4244967 HAS SOPS 4243896 HAS SOUS 550136 HAS SOUPS 549065 WITH SCORE 553309.967
AT ITER 5344 NEW BEST:: SOT 15306184 SOS 4244907 HAS SOPS 4243836 HAS SOUS 550135 HAS SOUPS 549064 WITH SCORE 553308.907
AT ITER 5390 NEW BEST:: SOT 15306179 SOS 4244902 HAS SOPS 4243831 HAS SOUS 550125 HAS SOUPS 549054 WITH SCORE 553298.902
AT ITER 5414 NEW BEST:: SOT 15306169 SOS 4244892 HAS SOPS 4243821 HAS SOUS 550105 HAS SOUPS 549034 WITH SCORE 553278.892
AT ITER 5437 NEW BEST:: SOT 15306159 SOS 4244862 HAS SOPS 4243791 HAS SOUS 550075 HAS SOUPS 549004 WITH SCORE 553248.862
AT ITER 5474 NEW BEST:: SOT 15306159 SOS 4244692 HAS SOPS 4243621 HAS SOUS 550075 HAS SOUPS 549004 WITH SCORE 553248.692
AT ITER 5477 NEW BEST:: SOT 15306159 SOS 4244382 HAS SOPS 4243311 HAS SOUS 550044 HAS SOUPS 548973 WITH SCORE 553217.382
AT ITER 5491 NEW BEST:: SOT 15306151 SOS 4244374 HAS SOPS 4243303 HAS SOUS 550028 HAS SOUPS 548957 WITH SCORE 553201.374
AT ITER 5520 NEW BEST:: SOT 15306080 SOS 4244303 HAS SOPS 4243232 HAS SOUS 549942 HAS SOUPS 548871 WITH SCORE 553115.303
AT ITER 5541 NEW BEST:: SOT 15305847 SOS 4244070 HAS SOPS 4242999 HAS SOUS 549918 HAS SOUPS 548847 WITH SCORE 553091.07
AT ITER 5586 NEW BEST:: SOT 15305775 SOS 4243998 HAS SOPS 4242927 HAS SOUS 549758 HAS SOUPS 548687 WITH SCORE 552930.998
AT ITER 5587 NEW BEST:: SOT 15305659 SOS 4243802 HAS SOPS 4242731 HAS SOUS 549634 HAS SOUPS 548563 WITH SCORE 552806.802
AT ITER 5590 NEW BEST:: SOT 15305560 SOS 4243703 HAS SOPS 4242632 HAS SOUS 549436 HAS SOUPS 548365 WITH SCORE 552608.703
AT ITER 5596 NEW BEST:: SOT 15305554 SOS 4243697 HAS SOPS 4242626 HAS SOUS 549430 HAS SOUPS 548359 WITH SCORE 552602.697
AT ITER 5599 NEW BEST:: SOT 15305468 SOS 4241914 HAS SOPS 4240843 HAS SOUS 549258 HAS SOUPS 548187 WITH SCORE 552428.914
AT ITER 5619 NEW BEST:: SOT 15305283 SOS 4241619 HAS SOPS 4240548 HAS SOUS 549223 HAS SOUPS 548152 WITH SCORE 552393.619
AT ITER 5633 NEW BEST:: SOT 15305141 SOS 4241477 HAS SOPS 4240406 HAS SOUS 549081 HAS SOUPS 548010 WITH SCORE 552251.477
AT ITER 5642 NEW BEST:: SOT 15305077 SOS 4241559 HAS SOPS 4240488 HAS SOUS 548953 HAS SOUPS 547882 WITH SCORE 552123.559
AT ITER 5656 NEW BEST:: SOT 15305001 SOS 4241615 HAS SOPS 4240544 HAS SOUS 548904 HAS SOUPS 547833 WITH SCORE 552074.615
AT ITER 5676 NEW BEST:: SOT 15304861 SOS 4241515 HAS SOPS 4240444 HAS SOUS 548624 HAS SOUPS 547553 WITH SCORE 551794.515
AT ITER 5694 NEW BEST:: SOT 15304748 SOS 4240542 HAS SOPS 4239471 HAS SOUS 548414 HAS SOUPS 547343 WITH SCORE 551583.542
AT ITER 5695 NEW BEST:: SOT 15304748 SOS 4240542 HAS SOPS 4239471 HAS SOUS 548410 HAS SOUPS 547339 WITH SCORE 551579.542
AT ITER 5721 NEW BEST:: SOT 15304223 SOS 4240017 HAS SOPS 4238946 HAS SOUS 548068 HAS SOUPS 546997 WITH SCORE 551237.017
AT ITER 5723 NEW BEST:: SOT 15304158 SOS 4239350 HAS SOPS 4238279 HAS SOUS 547953 HAS SOUPS 546882 WITH SCORE 551121.35
AT ITER 5729 NEW BEST:: SOT 15304160 SOS 4239352 HAS SOPS 4238281 HAS SOUS 547945 HAS SOUPS 546874 WITH SCORE 551113.352
AT ITER 5756 NEW BEST:: SOT 15304116 SOS 4239308 HAS SOPS 4238237 HAS SOUS 547857 HAS SOUPS 546786 WITH SCORE 551025.308
AT ITER 5763 NEW BEST:: SOT 15303653 SOS 4239308 HAS SOPS 4238237 HAS SOUS 547841 HAS SOUPS 546770 WITH SCORE 551009.308
AT ITER 5766 NEW BEST:: SOT 15303650 SOS 4239305 HAS SOPS 4238234 HAS SOUS 547841 HAS SOUPS 546770 WITH SCORE 551009.305
AT ITER 5782 NEW BEST:: SOT 15303471 SOS 4239313 HAS SOPS 4238242 HAS SOUS 547835 HAS SOUPS 546764 WITH SCORE 551003.313
AT ITER 5793 NEW BEST:: SOT 15303311 SOS 4239153 HAS SOPS 4238082 HAS SOUS 547662 HAS SOUPS 546591 WITH SCORE 550830.153
AT ITER 5795 NEW BEST:: SOT 15303272 SOS 4238763 HAS SOPS 4237692 HAS SOUS 547623 HAS SOUPS 546552 WITH SCORE 550790.763
AT ITER 5797 NEW BEST:: SOT 15303139 SOS 4237899 HAS SOPS 4236828 HAS SOUS 547499 HAS SOUPS 546428 WITH SCORE 550665.899
AT ITER 5801 NEW BEST:: SOT 15303140 SOS 4237900 HAS SOPS 4236829 HAS SOUS 547375 HAS SOUPS 546304 WITH SCORE 550541.9
AT ITER 5811 NEW BEST:: SOT 15303065 SOS 4237825 HAS SOPS 4236754 HAS SOUS 547233 HAS SOUPS 546162 WITH SCORE 550399.825
AT ITER 5816 NEW BEST:: SOT 15302802 SOS 4237562 HAS SOPS 4236491 HAS SOUS 547165 HAS SOUPS 546094 WITH SCORE 550331.562
AT ITER 5863 NEW BEST:: SOT 15302747 SOS 4237507 HAS SOPS 4236436 HAS SOUS 547055 HAS SOUPS 545984 WITH SCORE 550221.507
AT ITER 5868 NEW BEST:: SOT 15302687 SOS 4237447 HAS SOPS 4236376 HAS SOUS 546935 HAS SOUPS 545864 WITH SCORE 550101.447
AT ITER 5871 NEW BEST:: SOT 15302653 SOS 4237073 HAS SOPS 4236002 HAS SOUS 546901 HAS SOUPS 545830 WITH SCORE 550067.073
AT ITER 5872 NEW BEST:: SOT 15302596 SOS 4237265 HAS SOPS 4236194 HAS SOUS 546787 HAS SOUPS 545716 WITH SCORE 549953.265
AT ITER 5875 NEW BEST:: SOT 15302477 SOS 4237146 HAS SOPS 4236075 HAS SOUS 546625 HAS SOUPS 545554 WITH SCORE 549791.146
AT ITER 5886 NEW BEST:: SOT 15302481 SOS 4237150 HAS SOPS 4236079 HAS SOUS 546595 HAS SOUPS 545524 WITH SCORE 549761.15
AT ITER 5892 NEW BEST:: SOT 15302481 SOS 4237147 HAS SOPS 4236076 HAS SOUS 546595 HAS SOUPS 545524 WITH SCORE 549761.147
AT ITER 5894 NEW BEST:: SOT 15302166 SOS 4236832 HAS SOPS 4235761 HAS SOUS 546178 HAS SOUPS 545107 WITH SCORE 549343.832
AT ITER 5914 NEW BEST:: SOT 15302022 SOS 4236616 HAS SOPS 4235545 HAS SOUS 545962 HAS SOUPS 544891 WITH SCORE 549127.616
AT ITER 5918 NEW BEST:: SOT 15301846 SOS 4234320 HAS SOPS 4233249 HAS SOUS 545784 HAS SOUPS 544713 WITH SCORE 548947.32
AT ITER 5924 NEW BEST:: SOT 15301836 SOS 4234310 HAS SOPS 4233239 HAS SOUS 545754 HAS SOUPS 544683 WITH SCORE 548917.31
AT ITER 5940 NEW BEST:: SOT 15301461 SOS 4233935 HAS SOPS 4232864 HAS SOUS 545497 HAS SOUPS 544426 WITH SCORE 548659.935
AT ITER 5964 NEW BEST:: SOT 15301359 SOS 4233833 HAS SOPS 4232762 HAS SOUS 545475 HAS SOUPS 544404 WITH SCORE 548637.833
AT ITER 5970 NEW BEST:: SOT 15301420 SOS 4233875 HAS SOPS 4232804 HAS SOUS 545472 HAS SOUPS 544401 WITH SCORE 548634.875
AT ITER 5975 NEW BEST:: SOT 15280476 SOS 4213752 HAS SOPS 4212634 HAS SOUS 544214 HAS SOUPS 543096 WITH SCORE 547309.752
AT ITER 5987 NEW BEST:: SOT 15280380 SOS 4212565 HAS SOPS 4211447 HAS SOUS 544197 HAS SOUPS 543079 WITH SCORE 547291.565
AT ITER 6011 NEW BEST:: SOT 15279868 SOS 4211883 HAS SOPS 4210765 HAS SOUS 543756 HAS SOUPS 542638 WITH SCORE 546849.883
AT ITER 6014 NEW BEST:: SOT 15279868 SOS 4211883 HAS SOPS 4210765 HAS SOUS 543742 HAS SOUPS 542624 WITH SCORE 546835.883
AT ITER 6017 NEW BEST:: SOT 15279825 SOS 4211840 HAS SOPS 4210722 HAS SOUS 543656 HAS SOUPS 542538 WITH SCORE 546749.84
AT ITER 6026 NEW BEST:: SOT 15279561 SOS 4211576 HAS SOPS 4210458 HAS SOUS 543638 HAS SOUPS 542520 WITH SCORE 546731.576
AT ITER 6031 NEW BEST:: SOT 15279526 SOS 4211541 HAS SOPS 4210423 HAS SOUS 543568 HAS SOUPS 542450 WITH SCORE 546661.541
AT ITER 6034 NEW BEST:: SOT 15279447 SOS 4211462 HAS SOPS 4210344 HAS SOUS 543410 HAS SOUPS 542292 WITH SCORE 546503.462
AT ITER 6072 NEW BEST:: SOT 15279447 SOS 4211461 HAS SOPS 4210343 HAS SOUS 543408 HAS SOUPS 542290 WITH SCORE 546501.461
AT ITER 6085 NEW BEST:: SOT 15279447 SOS 4211461 HAS SOPS 4210343 HAS SOUS 543314 HAS SOUPS 542196 WITH SCORE 546407.461
AT ITER 6111 NEW BEST:: SOT 15279395 SOS 4211409 HAS SOPS 4210291 HAS SOUS 543262 HAS SOUPS 542144 WITH SCORE 546355.409
AT ITER 6121 NEW BEST:: SOT 15279514 SOS 4211417 HAS SOPS 4210299 HAS SOUS 543214 HAS SOUPS 542096 WITH SCORE 546307.417
AT ITER 6128 NEW BEST:: SOT 15279351 SOS 4211393 HAS SOPS 4210275 HAS SOUS 542888 HAS SOUPS 541770 WITH SCORE 545981.393
AT ITER 6158 NEW BEST:: SOT 15279036 SOS 4210985 HAS SOPS 4209867 HAS SOUS 542791 HAS SOUPS 541673 WITH SCORE 545883.985
AT ITER 6193 NEW BEST:: SOT 15279020 SOS 4210969 HAS SOPS 4209851 HAS SOUS 542787 HAS SOUPS 541669 WITH SCORE 545879.969
AT ITER 6199 NEW BEST:: SOT 15278983 SOS 4210932 HAS SOPS 4209814 HAS SOUS 542667 HAS SOUPS 541549 WITH SCORE 545759.932
AT ITER 6219 NEW BEST:: SOT 15278523 SOS 4210472 HAS SOPS 4209354 HAS SOUS 542242 HAS SOUPS 541124 WITH SCORE 545334.472
AT ITER 6225 NEW BEST:: SOT 15278463 SOS 4209602 HAS SOPS 4208484 HAS SOUS 542126 HAS SOUPS 541008 WITH SCORE 545217.602
AT ITER 6271 NEW BEST:: SOT 15278463 SOS 4209602 HAS SOPS 4208484 HAS SOUS 542026 HAS SOUPS 540908 WITH SCORE 545117.602
AT ITER 6276 NEW BEST:: SOT 15278458 SOS 4209597 HAS SOPS 4208479 HAS SOUS 542016 HAS SOUPS 540898 WITH SCORE 545107.597
AT ITER 6287 NEW BEST:: SOT 15278458 SOS 4209227 HAS SOPS 4208109 HAS SOUS 541979 HAS SOUPS 540861 WITH SCORE 545070.227
AT ITER 6309 NEW BEST:: SOT 15278458 SOS 4209227 HAS SOPS 4208109 HAS SOUS 541956 HAS SOUPS 540838 WITH SCORE 545047.227
AT ITER 6330 NEW BEST:: SOT 15278017 SOS 4206377 HAS SOPS 4205259 HAS SOUS 541572 HAS SOUPS 540454 WITH SCORE 544660.377
AT ITER 6333 NEW BEST:: SOT 15277936 SOS 4205526 HAS SOPS 4204408 HAS SOUS 541505 HAS SOUPS 540387 WITH SCORE 544592.526
AT ITER 6359 NEW BEST:: SOT 15277700 SOS 4204570 HAS SOPS 4203452 HAS SOUS 541305 HAS SOUPS 540187 WITH SCORE 544391.57
AT ITER 6392 NEW BEST:: SOT 15277674 SOS 4204526 HAS SOPS 4203408 HAS SOUS 541235 HAS SOUPS 540117 WITH SCORE 544321.526
AT ITER 6415 NEW BEST:: SOT 15275718 SOS 4202570 HAS SOPS 4201452 HAS SOUS 539279 HAS SOUPS 538161 WITH SCORE 542363.57
AT ITER 6454 NEW BEST:: SOT 15275697 SOS 4202549 HAS SOPS 4201431 HAS SOUS 539237 HAS SOUPS 538119 WITH SCORE 542321.549
AT ITER 6480 NEW BEST:: SOT 15275643 SOS 4202495 HAS SOPS 4201377 HAS SOUS 539129 HAS SOUPS 538011 WITH SCORE 542213.495
AT ITER 6483 NEW BEST:: SOT 15275630 SOS 4202399 HAS SOPS 4201281 HAS SOUS 538937 HAS SOUPS 537819 WITH SCORE 542021.399
AT ITER 6491 NEW BEST:: SOT 15275630 SOS 4202399 HAS SOPS 4201281 HAS SOUS 538933 HAS SOUPS 537815 WITH SCORE 542017.399
AT ITER 6496 NEW BEST:: SOT 15275555 SOS 4201854 HAS SOPS 4200736 HAS SOUS 538883 HAS SOUPS 537765 WITH SCORE 541966.854
AT ITER 6524 NEW BEST:: SOT 15275436 SOS 4201125 HAS SOPS 4200007 HAS SOUS 538822 HAS SOUPS 537704 WITH SCORE 541905.125
AT ITER 6552 NEW BEST:: SOT 15275435 SOS 4201464 HAS SOPS 4200346 HAS SOUS 538820 HAS SOUPS 537702 WITH SCORE 541903.464
AT ITER 6571 NEW BEST:: SOT 15275435 SOS 4200514 HAS SOPS 4199396 HAS SOUS 538725 HAS SOUPS 537607 WITH SCORE 541807.514
AT ITER 6574 NEW BEST:: SOT 15262717 SOS 4188025 HAS SOPS 4186907 HAS SOUS 531448 HAS SOUPS 530330 WITH SCORE 534518.025
AT ITER 6578 NEW BEST:: SOT 15262648 SOS 4187956 HAS SOPS 4186838 HAS SOUS 531387 HAS SOUPS 530269 WITH SCORE 534456.956
AT ITER 6581 NEW BEST:: SOT 15262560 SOS 4187868 HAS SOPS 4186750 HAS SOUS 531312 HAS SOUPS 530194 WITH SCORE 534381.868
AT ITER 6585 NEW BEST:: SOT 15262507 SOS 4187815 HAS SOPS 4186697 HAS SOUS 531282 HAS SOUPS 530164 WITH SCORE 534351.815
AT ITER 6592 NEW BEST:: SOT 15262380 SOS 4187688 HAS SOPS 4186570 HAS SOUS 531021 HAS SOUPS 529903 WITH SCORE 534090.688
AT ITER 6594 NEW BEST:: SOT 15262341 SOS 4187649 HAS SOPS 4186531 HAS SOUS 530890 HAS SOUPS 529772 WITH SCORE 533959.649
AT ITER 6602 NEW BEST:: SOT 15262258 SOS 4187342 HAS SOPS 4186224 HAS SOUS 530724 HAS SOUPS 529606 WITH SCORE 533793.342
AT ITER 6612 NEW BEST:: SOT 15262252 SOS 4187343 HAS SOPS 4186225 HAS SOUS 530721 HAS SOUPS 529603 WITH SCORE 533790.343
AT ITER 6624 NEW BEST:: SOT 15262026 SOS 4187120 HAS SOPS 4186002 HAS SOUS 530708 HAS SOUPS 529590 WITH SCORE 533777.12
AT ITER 6652 NEW BEST:: SOT 15262026 SOS 4185440 HAS SOPS 4184322 HAS SOUS 530491 HAS SOUPS 529373 WITH SCORE 533558.44
AT ITER 6656 NEW BEST:: SOT 15261957 SOS 4185371 HAS SOPS 4184253 HAS SOUS 530482 HAS SOUPS 529364 WITH SCORE 533549.371
AT ITER 6669 NEW BEST:: SOT 15261821 SOS 4185235 HAS SOPS 4184117 HAS SOUS 530311 HAS SOUPS 529193 WITH SCORE 533378.235
AT ITER 6692 NEW BEST:: SOT 15261813 SOS 4185227 HAS SOPS 4184109 HAS SOUS 530300 HAS SOUPS 529182 WITH SCORE 533367.227
AT ITER 6706 NEW BEST:: SOT 15261642 SOS 4185056 HAS SOPS 4183938 HAS SOUS 530258 HAS SOUPS 529140 WITH SCORE 533325.056
AT ITER 6746 NEW BEST:: SOT 15261637 SOS 4185006 HAS SOPS 4183888 HAS SOUS 530253 HAS SOUPS 529135 WITH SCORE 533320.006
AT ITER 6770 NEW BEST:: SOT 15261479 SOS 4184848 HAS SOPS 4183730 HAS SOUS 529937 HAS SOUPS 528819 WITH SCORE 533003.848
AT ITER 6794 NEW BEST:: SOT 15261413 SOS 4184782 HAS SOPS 4183664 HAS SOUS 529919 HAS SOUPS 528801 WITH SCORE 532985.782
AT ITER 6821 NEW BEST:: SOT 15261386 SOS 4184728 HAS SOPS 4183610 HAS SOUS 529865 HAS SOUPS 528747 WITH SCORE 532931.728
AT ITER 6826 NEW BEST:: SOT 15261258 SOS 4184604 HAS SOPS 4183486 HAS SOUS 529567 HAS SOUPS 528449 WITH SCORE 532633.604
AT ITER 6832 NEW BEST:: SOT 15261004 SOS 4184381 HAS SOPS 4183263 HAS SOUS 529028 HAS SOUPS 527910 WITH SCORE 532094.381
AT ITER 6869 NEW BEST:: SOT 15260964 SOS 4186271 HAS SOPS 4185153 HAS SOUS 528948 HAS SOUPS 527830 WITH SCORE 532016.271
AT ITER 6915 NEW BEST:: SOT 15260987 SOS 4186317 HAS SOPS 4185199 HAS SOUS 528942 HAS SOUPS 527824 WITH SCORE 532010.317
AT ITER 6924 NEW BEST:: SOT 15260856 SOS 4186188 HAS SOPS 4185070 HAS SOUS 528813 HAS SOUPS 527695 WITH SCORE 531881.188
AT ITER 6936 NEW BEST:: SOT 15260856 SOS 4186187 HAS SOPS 4185069 HAS SOUS 528812 HAS SOUPS 527694 WITH SCORE 531880.187
AT ITER 6941 NEW BEST:: SOT 15260855 SOS 4186186 HAS SOPS 4185068 HAS SOUS 528806 HAS SOUPS 527688 WITH SCORE 531874.186
AT ITER 6945 NEW BEST:: SOT 15260959 SOS 4185989 HAS SOPS 4184871 HAS SOUS 528370 HAS SOUPS 527252 WITH SCORE 531437.989
AT ITER 6949 NEW BEST:: SOT 15260959 SOS 4185339 HAS SOPS 4184221 HAS SOUS 528305 HAS SOUPS 527187 WITH SCORE 531372.339
AT ITER 6954 NEW BEST:: SOT 15260768 SOS 4184528 HAS SOPS 4183410 HAS SOUS 528169 HAS SOUPS 527051 WITH SCORE 531235.528
AT ITER 6975 NEW BEST:: SOT 15260588 SOS 4184300 HAS SOPS 4183182 HAS SOUS 528073 HAS SOUPS 526955 WITH SCORE 531139.3
AT ITER 7005 NEW BEST:: SOT 15260536 SOS 4184248 HAS SOPS 4183130 HAS SOUS 528021 HAS SOUPS 526903 WITH SCORE 531087.248
AT ITER 7023 NEW BEST:: SOT 15260523 SOS 4184235 HAS SOPS 4183117 HAS SOUS 527875 HAS SOUPS 526757 WITH SCORE 530941.235
AT ITER 7040 NEW BEST:: SOT 15260511 SOS 4184223 HAS SOPS 4183105 HAS SOUS 527855 HAS SOUPS 526737 WITH SCORE 530921.223
AT ITER 7044 NEW BEST:: SOT 15260511 SOS 4185006 HAS SOPS 4183888 HAS SOUS 527681 HAS SOUPS 526563 WITH SCORE 530748.006
AT ITER 7049 NEW BEST:: SOT 15260614 SOS 4185016 HAS SOPS 4183898 HAS SOUS 527621 HAS SOUPS 526503 WITH SCORE 530688.016
AT ITER 7063 NEW BEST:: SOT 15260506 SOS 4185016 HAS SOPS 4183898 HAS SOUS 527405 HAS SOUPS 526287 WITH SCORE 530472.016
AT ITER 7115 NEW BEST:: SOT 15260506 SOS 4185016 HAS SOPS 4183898 HAS SOUS 527389 HAS SOUPS 526271 WITH SCORE 530456.016
AT ITER 7143 NEW BEST:: SOT 15260438 SOS 4184278 HAS SOPS 4183160 HAS SOUS 527186 HAS SOUPS 526068 WITH SCORE 530252.278
AT ITER 7149 NEW BEST:: SOT 15260287 SOS 4184127 HAS SOPS 4183009 HAS SOUS 527096 HAS SOUPS 525978 WITH SCORE 530162.127
AT ITER 7179 NEW BEST:: SOT 15260349 SOS 4185069 HAS SOPS 4183951 HAS SOUS 527065 HAS SOUPS 525947 WITH SCORE 530132.069
AT ITER 7183 NEW BEST:: SOT 15260156 SOS 4184876 HAS SOPS 4183758 HAS SOUS 527049 HAS SOUPS 525931 WITH SCORE 530115.876
AT ITER 7198 NEW BEST:: SOT 15260088 SOS 4184808 HAS SOPS 4183690 HAS SOUS 526947 HAS SOUPS 525829 WITH SCORE 530013.808
AT ITER 7206 NEW BEST:: SOT 15260043 SOS 4184825 HAS SOPS 4183707 HAS SOUS 526840 HAS SOUPS 525722 WITH SCORE 529906.825
AT ITER 7231 NEW BEST:: SOT 15259983 SOS 4184765 HAS SOPS 4183647 HAS SOUS 526762 HAS SOUPS 525644 WITH SCORE 529828.765
AT ITER 7274 NEW BEST:: SOT 15259955 SOS 4185024 HAS SOPS 4183906 HAS SOUS 526706 HAS SOUPS 525588 WITH SCORE 529773.024
AT ITER 7277 NEW BEST:: SOT 15259576 SOS 4184655 HAS SOPS 4183537 HAS SOUS 526393 HAS SOUPS 525275 WITH SCORE 529459.655
AT ITER 7284 NEW BEST:: SOT 15259441 SOS 4184520 HAS SOPS 4183402 HAS SOUS 526122 HAS SOUPS 525004 WITH SCORE 529188.52
AT ITER 7355 NEW BEST:: SOT 15259550 SOS 4184663 HAS SOPS 4183545 HAS SOUS 526105 HAS SOUPS 524987 WITH SCORE 529171.663
AT ITER 7356 NEW BEST:: SOT 15259504 SOS 4184595 HAS SOPS 4183477 HAS SOUS 526013 HAS SOUPS 524895 WITH SCORE 529079.595
AT ITER 7358 NEW BEST:: SOT 15259504 SOS 4184595 HAS SOPS 4183477 HAS SOUS 525927 HAS SOUPS 524809 WITH SCORE 528993.595
AT ITER 7396 NEW BEST:: SOT 15259499 SOS 4184590 HAS SOPS 4183472 HAS SOUS 525912 HAS SOUPS 524794 WITH SCORE 528978.59
AT ITER 7399 NEW BEST:: SOT 15259481 SOS 4184165 HAS SOPS 4183047 HAS SOUS 525876 HAS SOUPS 524758 WITH SCORE 528942.165
AT ITER 7434 NEW BEST:: SOT 15259344 SOS 4184028 HAS SOPS 4182910 HAS SOUS 525876 HAS SOUPS 524758 WITH SCORE 528942.028
AT ITER 7485 NEW BEST:: SOT 15259344 SOS 4184028 HAS SOPS 4182910 HAS SOUS 525588 HAS SOUPS 524470 WITH SCORE 528654.028
AT ITER 7516 NEW BEST:: SOT 15259246 SOS 4183930 HAS SOPS 4182812 HAS SOUS 525392 HAS SOUPS 524274 WITH SCORE 528457.93
AT ITER 7519 NEW BEST:: SOT 15259121 SOS 4183805 HAS SOPS 4182687 HAS SOUS 525142 HAS SOUPS 524024 WITH SCORE 528207.805
AT ITER 7520 NEW BEST:: SOT 15259028 SOS 4183712 HAS SOPS 4182594 HAS SOUS 524920 HAS SOUPS 523802 WITH SCORE 527985.712
AT ITER 7531 NEW BEST:: SOT 15258862 SOS 4183683 HAS SOPS 4182565 HAS SOUS 524904 HAS SOUPS 523786 WITH SCORE 527969.683
AT ITER 7540 NEW BEST:: SOT 15258862 SOS 4183683 HAS SOPS 4182565 HAS SOUS 524798 HAS SOUPS 523680 WITH SCORE 527863.683
AT ITER 7547 NEW BEST:: SOT 15258788 SOS 4182932 HAS SOPS 4181814 HAS SOUS 524713 HAS SOUPS 523595 WITH SCORE 527777.932
AT ITER 7571 NEW BEST:: SOT 15258611 SOS 4181375 HAS SOPS 4180257 HAS SOUS 524658 HAS SOUPS 523540 WITH SCORE 527721.375
AT ITER 7575 NEW BEST:: SOT 15257016 SOS 4219652 HAS SOPS 4218534 HAS SOUS 524455 HAS SOUPS 523337 WITH SCORE 527556.652
AT ITER 7617 NEW BEST:: SOT 15257010 SOS 4219646 HAS SOPS 4218528 HAS SOUS 524453 HAS SOUPS 523335 WITH SCORE 527554.646
AT ITER 7632 NEW BEST:: SOT 15256905 SOS 4219541 HAS SOPS 4218423 HAS SOUS 524360 HAS SOUPS 523242 WITH SCORE 527461.541
AT ITER 7669 NEW BEST:: SOT 15256737 SOS 4219373 HAS SOPS 4218339 HAS SOUS 524176 HAS SOUPS 523142 WITH SCORE 527361.373
AT ITER 7670 NEW BEST:: SOT 15256720 SOS 4219356 HAS SOPS 4218322 HAS SOUS 524152 HAS SOUPS 523118 WITH SCORE 527337.356
AT ITER 7691 NEW BEST:: SOT 15256670 SOS 4218816 HAS SOPS 4217782 HAS SOUS 524103 HAS SOUPS 523069 WITH SCORE 527287.816
AT ITER 7706 NEW BEST:: SOT 15256633 SOS 4218779 HAS SOPS 4217745 HAS SOUS 523992 HAS SOUPS 522958 WITH SCORE 527176.779
AT ITER 7751 NEW BEST:: SOT 15256495 SOS 4218551 HAS SOPS 4217517 HAS SOUS 523845 HAS SOUPS 522811 WITH SCORE 527029.551
AT ITER 7757 NEW BEST:: SOT 15257746 SOS 4219827 HAS SOPS 4218793 HAS SOUS 520225 HAS SOUPS 519191 WITH SCORE 523410.827
AT ITER 7760 NEW BEST:: SOT 15257736 SOS 4219443 HAS SOPS 4218409 HAS SOUS 520215 HAS SOUPS 519181 WITH SCORE 523400.443
AT ITER 7776 NEW BEST:: SOT 15257526 SOS 4218643 HAS SOPS 4217609 HAS SOUS 519996 HAS SOUPS 518962 WITH SCORE 523180.643
AT ITER 7777 NEW BEST:: SOT 15257531 SOS 4218702 HAS SOPS 4217668 HAS SOUS 519990 HAS SOUPS 518956 WITH SCORE 523174.702
AT ITER 7788 NEW BEST:: SOT 15257522 SOS 4218693 HAS SOPS 4217659 HAS SOUS 519965 HAS SOUPS 518931 WITH SCORE 523149.693
AT ITER 7816 NEW BEST:: SOT 15257443 SOS 4218004 HAS SOPS 4216970 HAS SOUS 519825 HAS SOUPS 518791 WITH SCORE 523009.004
AT ITER 7837 NEW BEST:: SOT 15257381 SOS 4217800 HAS SOPS 4216766 HAS SOUS 519821 HAS SOUPS 518787 WITH SCORE 523004.8
AT ITER 7841 NEW BEST:: SOT 15257381 SOS 4217800 HAS SOPS 4216766 HAS SOUS 519805 HAS SOUPS 518771 WITH SCORE 522988.8
AT ITER 7867 NEW BEST:: SOT 15257340 SOS 4217759 HAS SOPS 4216725 HAS SOUS 519723 HAS SOUPS 518689 WITH SCORE 522906.759
AT ITER 7868 NEW BEST:: SOT 15257328 SOS 4217747 HAS SOPS 4216713 HAS SOUS 519711 HAS SOUPS 518677 WITH SCORE 522894.747
AT ITER 7873 NEW BEST:: SOT 15257328 SOS 4217747 HAS SOPS 4216713 HAS SOUS 519688 HAS SOUPS 518654 WITH SCORE 522871.747
AT ITER 7925 NEW BEST:: SOT 15257227 SOS 4217255 HAS SOPS 4216221 HAS SOUS 519399 HAS SOUPS 518365 WITH SCORE 522582.255
AT ITER 7930 NEW BEST:: SOT 15257227 SOS 4217255 HAS SOPS 4216221 HAS SOUS 519151 HAS SOUPS 518117 WITH SCORE 522334.255
AT ITER 7935 NEW BEST:: SOT 15257224 SOS 4217252 HAS SOPS 4216218 HAS SOUS 519145 HAS SOUPS 518111 WITH SCORE 522328.252
AT ITER 7938 NEW BEST:: SOT 15257010 SOS 4217038 HAS SOPS 4216004 HAS SOUS 519019 HAS SOUPS 517985 WITH SCORE 522202.038
AT ITER 7945 NEW BEST:: SOT 15257010 SOS 4217038 HAS SOPS 4216004 HAS SOUS 518950 HAS SOUPS 517916 WITH SCORE 522133.038
AT ITER 7961 NEW BEST:: SOT 15256920 SOS 4217828 HAS SOPS 4216794 HAS SOUS 518948 HAS SOUPS 517914 WITH SCORE 522131.828
AT ITER 7977 NEW BEST:: SOT 15256917 SOS 4217825 HAS SOPS 4216791 HAS SOUS 518942 HAS SOUPS 517908 WITH SCORE 522125.825
AT ITER 7980 NEW BEST:: SOT 15256820 SOS 4217728 HAS SOPS 4216694 HAS SOUS 518748 HAS SOUPS 517714 WITH SCORE 521931.728
AT ITER 7983 NEW BEST:: SOT 15256718 SOS 4216946 HAS SOPS 4215912 HAS SOUS 518612 HAS SOUPS 517578 WITH SCORE 521794.946
AT ITER 7985 NEW BEST:: SOT 15256649 SOS 4216877 HAS SOPS 4215843 HAS SOUS 518477 HAS SOUPS 517443 WITH SCORE 521659.877
AT ITER 7988 NEW BEST:: SOT 15256676 SOS 4216904 HAS SOPS 4215870 HAS SOUS 518439 HAS SOUPS 517405 WITH SCORE 521621.904
AT ITER 8013 NEW BEST:: SOT 15256657 SOS 4216885 HAS SOPS 4215851 HAS SOUS 518423 HAS SOUPS 517389 WITH SCORE 521605.885
AT ITER 8014 NEW BEST:: SOT 15256650 SOS 4216878 HAS SOPS 4215844 HAS SOUS 518409 HAS SOUPS 517375 WITH SCORE 521591.878
AT ITER 8015 NEW BEST:: SOT 15256634 SOS 4216782 HAS SOPS 4215748 HAS SOUS 518393 HAS SOUPS 517359 WITH SCORE 521575.782
AT ITER 8016 NEW BEST:: SOT 15256373 SOS 4214851 HAS SOPS 4213817 HAS SOUS 518222 HAS SOUPS 517188 WITH SCORE 521402.851
AT ITER 8028 NEW BEST:: SOT 15256367 SOS 4214845 HAS SOPS 4213811 HAS SOUS 518210 HAS SOUPS 517176 WITH SCORE 521390.845
AT ITER 8044 NEW BEST:: SOT 15256351 SOS 4214829 HAS SOPS 4213795 HAS SOUS 518189 HAS SOUPS 517155 WITH SCORE 521369.829
AT ITER 8047 NEW BEST:: SOT 15256327 SOS 4214805 HAS SOPS 4213771 HAS SOUS 518141 HAS SOUPS 517107 WITH SCORE 521321.805
AT ITER 8054 NEW BEST:: SOT 15255910 SOS 4214388 HAS SOPS 4213354 HAS SOUS 517647 HAS SOUPS 516613 WITH SCORE 520827.388
AT ITER 8062 NEW BEST:: SOT 15255832 SOS 4213980 HAS SOPS 4212946 HAS SOUS 517536 HAS SOUPS 516502 WITH SCORE 520715.98
AT ITER 8071 NEW BEST:: SOT 15255742 SOS 4212900 HAS SOPS 4211866 HAS SOUS 517356 HAS SOUPS 516322 WITH SCORE 520534.9
AT ITER 8085 NEW BEST:: SOT 15255725 SOS 4212883 HAS SOPS 4211849 HAS SOUS 517344 HAS SOUPS 516310 WITH SCORE 520522.883
AT ITER 8097 NEW BEST:: SOT 15255696 SOS 4212854 HAS SOPS 4211820 HAS SOUS 517283 HAS SOUPS 516249 WITH SCORE 520461.854
AT ITER 8103 NEW BEST:: SOT 15255594 SOS 4211951 HAS SOPS 4210917 HAS SOUS 517082 HAS SOUPS 516048 WITH SCORE 520259.951
AT ITER 8108 NEW BEST:: SOT 15255404 SOS 4211761 HAS SOPS 4210727 HAS SOUS 516702 HAS SOUPS 515668 WITH SCORE 519879.761
AT ITER 8109 NEW BEST:: SOT 15255382 SOS 4211739 HAS SOPS 4210705 HAS SOUS 516524 HAS SOUPS 515490 WITH SCORE 519701.739
AT ITER 8115 NEW BEST:: SOT 15255673 SOS 4214215 HAS SOPS 4213181 HAS SOUS 516488 HAS SOUPS 515454 WITH SCORE 519668.215
AT ITER 8159 NEW BEST:: SOT 15255622 SOS 4216984 HAS SOPS 4215950 HAS SOUS 516359 HAS SOUPS 515325 WITH SCORE 519541.984
AT ITER 8162 NEW BEST:: SOT 15255589 SOS 4216951 HAS SOPS 4215917 HAS SOUS 516297 HAS SOUPS 515263 WITH SCORE 519479.951
AT ITER 8170 NEW BEST:: SOT 15255573 SOS 4216935 HAS SOPS 4215901 HAS SOUS 516281 HAS SOUPS 515247 WITH SCORE 519463.935
AT ITER 8203 NEW BEST:: SOT 15255573 SOS 4216935 HAS SOPS 4215901 HAS SOUS 516275 HAS SOUPS 515241 WITH SCORE 519457.935
AT ITER 8205 NEW BEST:: SOT 15255563 SOS 4216850 HAS SOPS 4215816 HAS SOUS 516216 HAS SOUPS 515182 WITH SCORE 519398.85
AT ITER 8212 NEW BEST:: SOT 15255342 SOS 4216059 HAS SOPS 4215025 HAS SOUS 516016 HAS SOUPS 514982 WITH SCORE 519198.059
AT ITER 8224 NEW BEST:: SOT 15255342 SOS 4215996 HAS SOPS 4214962 HAS SOUS 513911 HAS SOUPS 512877 WITH SCORE 517092.996
AT ITER 8232 NEW BEST:: SOT 15255353 SOS 4216367 HAS SOPS 4215333 HAS SOUS 513897 HAS SOUPS 512863 WITH SCORE 517079.367
AT ITER 8233 NEW BEST:: SOT 15255353 SOS 4216367 HAS SOPS 4215333 HAS SOUS 513844 HAS SOUPS 512810 WITH SCORE 517026.367
AT ITER 8262 NEW BEST:: SOT 15255190 SOS 4216041 HAS SOPS 4215007 HAS SOUS 513518 HAS SOUPS 512484 WITH SCORE 516700.041
AT ITER 8271 NEW BEST:: SOT 15255190 SOS 4216041 HAS SOPS 4215007 HAS SOUS 513443 HAS SOUPS 512409 WITH SCORE 516625.041
AT ITER 8276 NEW BEST:: SOT 15255124 SOS 4215975 HAS SOPS 4214941 HAS SOUS 513311 HAS SOUPS 512277 WITH SCORE 516492.975
AT ITER 8313 NEW BEST:: SOT 15255094 SOS 4215645 HAS SOPS 4214611 HAS SOUS 513251 HAS SOUPS 512217 WITH SCORE 516432.645
AT ITER 8326 NEW BEST:: SOT 15255045 SOS 4215596 HAS SOPS 4214562 HAS SOUS 513153 HAS SOUPS 512119 WITH SCORE 516334.596
AT ITER 8343 NEW BEST:: SOT 15255045 SOS 4215596 HAS SOPS 4214562 HAS SOUS 513097 HAS SOUPS 512063 WITH SCORE 516278.596
AT ITER 8357 NEW BEST:: SOT 15254996 SOS 4215543 HAS SOPS 4214509 HAS SOUS 512641 HAS SOUPS 511607 WITH SCORE 515822.543
AT ITER 8370 NEW BEST:: SOT 15254886 SOS 4215433 HAS SOPS 4214399 HAS SOUS 512437 HAS SOUPS 511403 WITH SCORE 515618.433
AT ITER 8381 NEW BEST:: SOT 15254843 SOS 4215390 HAS SOPS 4214356 HAS SOUS 512421 HAS SOUPS 511387 WITH SCORE 515602.39
AT ITER 8393 NEW BEST:: SOT 15254787 SOS 4214964 HAS SOPS 4213930 HAS SOUS 512309 HAS SOUPS 511275 WITH SCORE 515489.964
AT ITER 8445 NEW BEST:: SOT 15254392 SOS 4213679 HAS SOPS 4212645 HAS SOUS 511949 HAS SOUPS 510915 WITH SCORE 515128.679
AT ITER 8460 NEW BEST:: SOT 15253856 SOS 4211230 HAS SOPS 4210196 HAS SOUS 511834 HAS SOUPS 510800 WITH SCORE 515011.23
AT ITER 8470 NEW BEST:: SOT 15253839 SOS 4211213 HAS SOPS 4210179 HAS SOUS 511800 HAS SOUPS 510766 WITH SCORE 514977.213
AT ITER 8484 NEW BEST:: SOT 15253839 SOS 4211213 HAS SOPS 4210179 HAS SOUS 511763 HAS SOUPS 510729 WITH SCORE 514940.213
AT ITER 8485 NEW BEST:: SOT 15253792 SOS 4211166 HAS SOPS 4210132 HAS SOUS 511669 HAS SOUPS 510635 WITH SCORE 514846.166
AT ITER 8490 NEW BEST:: SOT 15253792 SOS 4211166 HAS SOPS 4210132 HAS SOUS 511651 HAS SOUPS 510617 WITH SCORE 514828.166
AT ITER 8498 NEW BEST:: SOT 15253759 SOS 4211913 HAS SOPS 4210879 HAS SOUS 511618 HAS SOUPS 510584 WITH SCORE 514795.913
AT ITER 8500 NEW BEST:: SOT 15253766 SOS 4211920 HAS SOPS 4210886 HAS SOUS 511612 HAS SOUPS 510578 WITH SCORE 514789.92
AT ITER 8501 NEW BEST:: SOT 15253667 SOS 4211860 HAS SOPS 4210826 HAS SOUS 511506 HAS SOUPS 510472 WITH SCORE 514683.86
AT ITER 8517 NEW BEST:: SOT 15253664 SOS 4211857 HAS SOPS 4210823 HAS SOUS 511471 HAS SOUPS 510437 WITH SCORE 514648.857
AT ITER 8558 NEW BEST:: SOT 15253575 SOS 4211768 HAS SOPS 4210734 HAS SOUS 511359 HAS SOUPS 510325 WITH SCORE 514536.768
AT ITER 8565 NEW BEST:: SOT 15253659 SOS 4211852 HAS SOPS 4210818 HAS SOUS 511154 HAS SOUPS 510120 WITH SCORE 514331.852
AT ITER 8574 NEW BEST:: SOT 15253624 SOS 4211817 HAS SOPS 4210783 HAS SOUS 511084 HAS SOUPS 510050 WITH SCORE 514261.817
AT ITER 8605 NEW BEST:: SOT 15253447 SOS 4211640 HAS SOPS 4210606 HAS SOUS 510864 HAS SOUPS 509830 WITH SCORE 514041.64
AT ITER 8613 NEW BEST:: SOT 15253391 SOS 4211584 HAS SOPS 4210550 HAS SOUS 510625 HAS SOUPS 509591 WITH SCORE 513802.584
AT ITER 8637 NEW BEST:: SOT 15253197 SOS 4201033 HAS SOPS 4199999 HAS SOUS 510237 HAS SOUPS 509203 WITH SCORE 513404.033
AT ITER 8666 NEW BEST:: SOT 15253194 SOS 4201030 HAS SOPS 4199996 HAS SOUS 510231 HAS SOUPS 509197 WITH SCORE 513398.03
AT ITER 8678 NEW BEST:: SOT 15253092 SOS 4200826 HAS SOPS 4199792 HAS SOUS 510027 HAS SOUPS 508993 WITH SCORE 513193.826
AT ITER 8681 NEW BEST:: SOT 15253055 SOS 4200789 HAS SOPS 4199755 HAS SOUS 509963 HAS SOUPS 508929 WITH SCORE 513129.789
AT ITER 8699 NEW BEST:: SOT 15253025 SOS 4200759 HAS SOPS 4199725 HAS SOUS 509903 HAS SOUPS 508869 WITH SCORE 513069.759
AT ITER 8705 NEW BEST:: SOT 15252944 SOS 4200678 HAS SOPS 4199644 HAS SOUS 509741 HAS SOUPS 508707 WITH SCORE 512907.678
AT ITER 8707 NEW BEST:: SOT 15252915 SOS 4200649 HAS SOPS 4199615 HAS SOUS 509677 HAS SOUPS 508643 WITH SCORE 512843.649
AT ITER 8711 NEW BEST:: SOT 15252976 SOS 4200710 HAS SOPS 4199676 HAS SOUS 509652 HAS SOUPS 508618 WITH SCORE 512818.71
AT ITER 8725 NEW BEST:: SOT 15252976 SOS 4199970 HAS SOPS 4198936 HAS SOUS 509578 HAS SOUPS 508544 WITH SCORE 512743.97
AT ITER 8754 NEW BEST:: SOT 15252947 SOS 4199941 HAS SOPS 4198907 HAS SOUS 509520 HAS SOUPS 508486 WITH SCORE 512685.941
AT ITER 8774 NEW BEST:: SOT 15252904 SOS 4199898 HAS SOPS 4198864 HAS SOUS 509480 HAS SOUPS 508446 WITH SCORE 512645.898
AT ITER 8781 NEW BEST:: SOT 15252843 SOS 4199837 HAS SOPS 4198803 HAS SOUS 509460 HAS SOUPS 508426 WITH SCORE 512625.837
AT ITER 8795 NEW BEST:: SOT 15252828 SOS 4199822 HAS SOPS 4198788 HAS SOUS 509430 HAS SOUPS 508396 WITH SCORE 512595.822
AT ITER 8800 NEW BEST:: SOT 15252584 SOS 4204892 HAS SOPS 4203618 HAS SOUS 509278 HAS SOUPS 508004 WITH SCORE 512208.892
AT ITER 8808 NEW BEST:: SOT 15252545 SOS 4204853 HAS SOPS 4203579 HAS SOUS 509276 HAS SOUPS 508002 WITH SCORE 512206.853
AT ITER 8822 NEW BEST:: SOT 15252537 SOS 4204845 HAS SOPS 4203571 HAS SOUS 509260 HAS SOUPS 507986 WITH SCORE 512190.845
AT ITER 8876 NEW BEST:: SOT 15252454 SOS 4205452 HAS SOPS 4204178 HAS SOUS 509254 HAS SOUPS 507980 WITH SCORE 512185.452
AT ITER 8887 NEW BEST:: SOT 15252340 SOS 4204048 HAS SOPS 4202774 HAS SOUS 509011 HAS SOUPS 507737 WITH SCORE 511941.048
AT ITER 8895 NEW BEST:: SOT 15252330 SOS 4204038 HAS SOPS 4202764 HAS SOUS 508981 HAS SOUPS 507707 WITH SCORE 511911.038
AT ITER 8897 NEW BEST:: SOT 15252284 SOS 4204005 HAS SOPS 4202731 HAS SOUS 508876 HAS SOUPS 507602 WITH SCORE 511806.005
AT ITER 8901 NEW BEST:: SOT 15252284 SOS 4204005 HAS SOPS 4202731 HAS SOUS 508766 HAS SOUPS 507492 WITH SCORE 511696.005
AT ITER 8906 NEW BEST:: SOT 15252209 SOS 4203930 HAS SOPS 4202656 HAS SOUS 508616 HAS SOUPS 507342 WITH SCORE 511545.93
AT ITER 8938 NEW BEST:: SOT 15238639 SOS 4190372 HAS SOPS 4189086 HAS SOUS 507874 HAS SOUPS 506588 WITH SCORE 510778.372
AT ITER 8941 NEW BEST:: SOT 15238553 SOS 4190200 HAS SOPS 4188914 HAS SOUS 507702 HAS SOUPS 506416 WITH SCORE 510606.2
AT ITER 8967 NEW BEST:: SOT 15238553 SOS 4190200 HAS SOPS 4188914 HAS SOUS 507700 HAS SOUPS 506414 WITH SCORE 510604.2
AT ITER 9021 NEW BEST:: SOT 15238548 SOS 4190195 HAS SOPS 4188909 HAS SOUS 507666 HAS SOUPS 506380 WITH SCORE 510570.195
AT ITER 9030 NEW BEST:: SOT 15238490 SOS 4190137 HAS SOPS 4188851 HAS SOUS 507550 HAS SOUPS 506264 WITH SCORE 510454.137
AT ITER 9037 NEW BEST:: SOT 15238373 SOS 4190020 HAS SOPS 4188734 HAS SOUS 507326 HAS SOUPS 506040 WITH SCORE 510230.02
AT ITER 9048 NEW BEST:: SOT 15238256 SOS 4189774 HAS SOPS 4188488 HAS SOUS 507092 HAS SOUPS 505806 WITH SCORE 509995.774
AT ITER 9077 NEW BEST:: SOT 15238237 SOS 4189755 HAS SOPS 4188469 HAS SOUS 507054 HAS SOUPS 505768 WITH SCORE 509957.755
AT ITER 9118 NEW BEST:: SOT 15238117 SOS 4189635 HAS SOPS 4188349 HAS SOUS 507026 HAS SOUPS 505740 WITH SCORE 509929.635
AT ITER 9123 NEW BEST:: SOT 15237928 SOS 4188024 HAS SOPS 4186738 HAS SOUS 506964 HAS SOUPS 505678 WITH SCORE 509866.024
AT ITER 9136 NEW BEST:: SOT 15237980 SOS 4188076 HAS SOPS 4186790 HAS SOUS 506912 HAS SOUPS 505626 WITH SCORE 509814.076
AT ITER 9138 NEW BEST:: SOT 15237976 SOS 4188072 HAS SOPS 4186786 HAS SOUS 506904 HAS SOUPS 505618 WITH SCORE 509806.072
AT ITER 9170 NEW BEST:: SOT 15237808 SOS 4188474 HAS SOPS 4187188 HAS SOUS 506793 HAS SOUPS 505507 WITH SCORE 509695.474
AT ITER 9193 NEW BEST:: SOT 15237663 SOS 4188329 HAS SOPS 4187043 HAS SOUS 506503 HAS SOUPS 505217 WITH SCORE 509405.329
AT ITER 9194 NEW BEST:: SOT 15237597 SOS 4188263 HAS SOPS 4186977 HAS SOUS 506503 HAS SOUPS 505217 WITH SCORE 509405.263
AT ITER 9206 NEW BEST:: SOT 15237456 SOS 4188122 HAS SOPS 4186836 HAS SOUS 506221 HAS SOUPS 504935 WITH SCORE 509123.122
AT ITER 9229 NEW BEST:: SOT 15237369 SOS 4188035 HAS SOPS 4186749 HAS SOUS 505960 HAS SOUPS 504674 WITH SCORE 508862.035
AT ITER 9234 NEW BEST:: SOT 15237369 SOS 4188035 HAS SOPS 4186749 HAS SOUS 505876 HAS SOUPS 504590 WITH SCORE 508778.035
AT ITER 9239 NEW BEST:: SOT 15237359 SOS 4188315 HAS SOPS 4187029 HAS SOUS 505796 HAS SOUPS 504510 WITH SCORE 508698.315
AT ITER 9251 NEW BEST:: SOT 15237376 SOS 4188332 HAS SOPS 4187046 HAS SOUS 505640 HAS SOUPS 504354 WITH SCORE 508542.332
AT ITER 9254 NEW BEST:: SOT 15237324 SOS 4187950 HAS SOPS 4186664 HAS SOUS 505536 HAS SOUPS 504250 WITH SCORE 508437.95
AT ITER 9375 NEW BEST:: SOT 15237311 SOS 4187937 HAS SOPS 4186651 HAS SOUS 505510 HAS SOUPS 504224 WITH SCORE 508411.937
AT ITER 9388 NEW BEST:: SOT 15237123 SOS 4187359 HAS SOPS 4186073 HAS SOUS 505380 HAS SOUPS 504094 WITH SCORE 508281.359
AT ITER 9407 NEW BEST:: SOT 15237096 SOS 4188252 HAS SOPS 4186966 HAS SOUS 505233 HAS SOUPS 503947 WITH SCORE 508135.252
AT ITER 9452 NEW BEST:: SOT 15237087 SOS 4188243 HAS SOPS 4186957 HAS SOUS 505202 HAS SOUPS 503916 WITH SCORE 508104.243
AT ITER 9460 NEW BEST:: SOT 15236976 SOS 4188132 HAS SOPS 4186846 HAS SOUS 505021 HAS SOUPS 503735 WITH SCORE 507923.132
AT ITER 9468 NEW BEST:: SOT 15236488 SOS 4187644 HAS SOPS 4186358 HAS SOUS 504517 HAS SOUPS 503231 WITH SCORE 507418.644
AT ITER 9482 NEW BEST:: SOT 15236523 SOS 4187679 HAS SOPS 4186393 HAS SOUS 504498 HAS SOUPS 503212 WITH SCORE 507399.679
AT ITER 9485 NEW BEST:: SOT 15236265 SOS 4186561 HAS SOPS 4185275 HAS SOUS 504240 HAS SOUPS 502954 WITH SCORE 507140.561
AT ITER 9506 NEW BEST:: SOT 15236194 SOS 4186588 HAS SOPS 4185302 HAS SOUS 504098 HAS SOUPS 502812 WITH SCORE 506998.588
AT ITER 9511 NEW BEST:: SOT 15236171 SOS 4186505 HAS SOPS 4185219 HAS SOUS 504069 HAS SOUPS 502783 WITH SCORE 506969.505
AT ITER 9525 NEW BEST:: SOT 15236171 SOS 4186505 HAS SOPS 4185219 HAS SOUS 504006 HAS SOUPS 502720 WITH SCORE 506906.505
AT ITER 9529 NEW BEST:: SOT 15236138 SOS 4186501 HAS SOPS 4185215 HAS SOUS 503874 HAS SOUPS 502588 WITH SCORE 506774.501
AT ITER 9542 NEW BEST:: SOT 15236138 SOS 4186457 HAS SOPS 4185171 HAS SOUS 503874 HAS SOUPS 502588 WITH SCORE 506774.457
AT ITER 9545 NEW BEST:: SOT 15235969 SOS 4186401 HAS SOPS 4185115 HAS SOUS 503818 HAS SOUPS 502532 WITH SCORE 506718.401
AT ITER 9561 NEW BEST:: SOT 15235892 SOS 4186324 HAS SOPS 4185038 HAS SOUS 503735 HAS SOUPS 502449 WITH SCORE 506635.324
AT ITER 9584 NEW BEST:: SOT 15235892 SOS 4186324 HAS SOPS 4185038 HAS SOUS 503728 HAS SOUPS 502442 WITH SCORE 506628.324
AT ITER 9588 NEW BEST:: SOT 15235699 SOS 4185966 HAS SOPS 4184680 HAS SOUS 503567 HAS SOUPS 502281 WITH SCORE 506466.966
AT ITER 9591 NEW BEST:: SOT 15235699 SOS 4185966 HAS SOPS 4184680 HAS SOUS 503545 HAS SOUPS 502259 WITH SCORE 506444.966
AT ITER 9600 NEW BEST:: SOT 15235669 SOS 4185936 HAS SOPS 4184650 HAS SOUS 503478 HAS SOUPS 502192 WITH SCORE 506377.936
AT ITER 9613 NEW BEST:: SOT 15235605 SOS 4185872 HAS SOPS 4184586 HAS SOUS 503467 HAS SOUPS 502181 WITH SCORE 506366.872
AT ITER 9632 NEW BEST:: SOT 15235526 SOS 4185793 HAS SOPS 4184507 HAS SOUS 503331 HAS SOUPS 502045 WITH SCORE 506230.793
AT ITER 9641 NEW BEST:: SOT 15235526 SOS 4185703 HAS SOPS 4184417 HAS SOUS 503331 HAS SOUPS 502045 WITH SCORE 506230.703
AT ITER 9648 NEW BEST:: SOT 15235478 SOS 4185655 HAS SOPS 4184369 HAS SOUS 503315 HAS SOUPS 502029 WITH SCORE 506214.655
AT ITER 9655 NEW BEST:: SOT 15235152 SOS 4185329 HAS SOPS 4184043 HAS SOUS 503249 HAS SOUPS 501963 WITH SCORE 506148.329
AT ITER 9691 NEW BEST:: SOT 15235152 SOS 4185329 HAS SOPS 4184043 HAS SOUS 503057 HAS SOUPS 501771 WITH SCORE 505956.329
AT ITER 9694 NEW BEST:: SOT 15235152 SOS 4185329 HAS SOPS 4184043 HAS SOUS 503024 HAS SOUPS 501738 WITH SCORE 505923.329
AT ITER 9711 NEW BEST:: SOT 15235136 SOS 4185329 HAS SOPS 4184043 HAS SOUS 503008 HAS SOUPS 501722 WITH SCORE 505907.329
AT ITER 9737 NEW BEST:: SOT 15235093 SOS 4185286 HAS SOPS 4184000 HAS SOUS 502922 HAS SOUPS 501636 WITH SCORE 505821.286
AT ITER 9770 NEW BEST:: SOT 15235066 SOS 4185259 HAS SOPS 4183973 HAS SOUS 502864 HAS SOUPS 501578 WITH SCORE 505763.259
AT ITER 9832 NEW BEST:: SOT 15235066 SOS 4185259 HAS SOPS 4183973 HAS SOUS 502796 HAS SOUPS 501510 WITH SCORE 505695.259
AT ITER 9835 NEW BEST:: SOT 15235052 SOS 4185245 HAS SOPS 4183959 HAS SOUS 502768 HAS SOUPS 501482 WITH SCORE 505667.245
AT ITER 9902 NEW BEST:: SOT 15235054 SOS 4185247 HAS SOPS 4183961 HAS SOUS 502751 HAS SOUPS 501465 WITH SCORE 505650.247
AT ITER 9910 NEW BEST:: SOT 15234864 SOS 4185057 HAS SOPS 4183771 HAS SOUS 502716 HAS SOUPS 501430 WITH SCORE 505615.057
AT ITER 9929 NEW BEST:: SOT 15234812 SOS 4185970 HAS SOPS 4184684 HAS SOUS 502612 HAS SOUPS 501326 WITH SCORE 505511.97
AT ITER 9952 NEW BEST:: SOT 15234723 SOS 4185881 HAS SOPS 4184595 HAS SOUS 502550 HAS SOUPS 501264 WITH SCORE 505449.881
AT ITER 9960 NEW BEST:: SOT 15234712 SOS 4185870 HAS SOPS 4184584 HAS SOUS 502528 HAS SOUPS 501242 WITH SCORE 505427.87
AT ITER 9964 NEW BEST:: SOT 15234389 SOS 4185547 HAS SOPS 4184261 HAS SOUS 502048 HAS SOUPS 500762 WITH SCORE 504947.547
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14646488 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16094352 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="PolyORBNT-COL-S10J60"
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 PolyORBNT-COL-S10J60, 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 r299-tall-167873953300704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J60.tgz
mv PolyORBNT-COL-S10J60 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 ;