About the Execution of Smart+red for ASLink-PT-07a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6964.844 | 3600000.00 | 3658037.00 | 188.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599700112.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 13:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 13:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 677K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678726368593
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-07a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 16:52:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 16:52:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 16:52:51] [INFO ] Load time of PNML (sax parser for PT used): 141 ms
[2023-03-13 16:52:51] [INFO ] Transformed 1601 places.
[2023-03-13 16:52:51] [INFO ] Transformed 2373 transitions.
[2023-03-13 16:52:51] [INFO ] Found NUPN structural information;
[2023-03-13 16:52:51] [INFO ] Parsed PT model containing 1601 places and 2373 transitions and 8915 arcs in 254 ms.
[2023-03-13 16:52:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1601 places, 2373 transitions and 8915 arcs took 16 ms.
Total runtime 320 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07a
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: 1601 places, 2373 transitions, 8915 arcs.
AT ITER 0 NEW BEST:: SOT 2102678 SOS 1445830 HAS SOPS 1445830 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.83
AT ITER 9 NEW BEST:: SOT 2102645 SOS 1445797 HAS SOPS 1445797 HAS SOUS 934138 HAS SOUPS 934138 WITH SCORE 935583.797
AT ITER 11 NEW BEST:: SOT 2102880 SOS 1444606 HAS SOPS 1444606 HAS SOUS 932939 HAS SOUPS 932939 WITH SCORE 934383.606
AT ITER 15 NEW BEST:: SOT 2102574 SOS 1444300 HAS SOPS 1444300 HAS SOUS 932323 HAS SOUPS 932323 WITH SCORE 933767.3
AT ITER 17 NEW BEST:: SOT 2102574 SOS 1444274 HAS SOPS 1444274 HAS SOUS 932297 HAS SOUPS 932297 WITH SCORE 933741.274
AT ITER 22 NEW BEST:: SOT 2102574 SOS 1442882 HAS SOPS 1442882 HAS SOUS 932223 HAS SOUPS 932223 WITH SCORE 933665.882
AT ITER 23 NEW BEST:: SOT 2101669 SOS 1439692 HAS SOPS 1439692 HAS SOUS 931114 HAS SOUPS 931114 WITH SCORE 932553.692
AT ITER 24 NEW BEST:: SOT 2099625 SOS 1437817 HAS SOPS 1437817 HAS SOUS 929238 HAS SOUPS 929238 WITH SCORE 930675.817
AT ITER 26 NEW BEST:: SOT 2099625 SOS 1437152 HAS SOPS 1437152 HAS SOUS 928979 HAS SOUPS 928979 WITH SCORE 930416.152
AT ITER 27 NEW BEST:: SOT 2095294 SOS 1432954 HAS SOPS 1432954 HAS SOUS 924949 HAS SOUPS 924949 WITH SCORE 926381.954
AT ITER 32 NEW BEST:: SOT 2095294 SOS 1432600 HAS SOPS 1432600 HAS SOUS 924943 HAS SOUPS 924943 WITH SCORE 926375.6
AT ITER 36 NEW BEST:: SOT 2095198 SOS 1431956 HAS SOPS 1431956 HAS SOUS 924943 HAS SOUPS 924943 WITH SCORE 926374.956
AT ITER 42 NEW BEST:: SOT 2094923 SOS 1431019 HAS SOPS 1431019 HAS SOUS 924393 HAS SOUPS 924393 WITH SCORE 925824.019
AT ITER 57 NEW BEST:: SOT 2090435 SOS 1426531 HAS SOPS 1426531 HAS SOUS 919905 HAS SOUPS 919905 WITH SCORE 921331.531
AT ITER 61 NEW BEST:: SOT 2086291 SOS 1421055 HAS SOPS 1421055 HAS SOUS 914776 HAS SOUPS 914776 WITH SCORE 916197.055
AT ITER 63 NEW BEST:: SOT 2086947 SOS 1421307 HAS SOPS 1421307 HAS SOUS 914739 HAS SOUPS 914739 WITH SCORE 916160.307
AT ITER 72 NEW BEST:: SOT 2087772 SOS 1421118 HAS SOPS 1421118 HAS SOUS 914735 HAS SOUPS 914735 WITH SCORE 916156.118
AT ITER 82 NEW BEST:: SOT 2085966 SOS 1419522 HAS SOPS 1419522 HAS SOUS 913139 HAS SOUPS 913139 WITH SCORE 914558.522
AT ITER 85 NEW BEST:: SOT 2085601 SOS 1416880 HAS SOPS 1416880 HAS SOUS 911102 HAS SOUPS 911102 WITH SCORE 912518.88
AT ITER 101 NEW BEST:: SOT 2085601 SOS 1417961 HAS SOPS 1417961 HAS SOUS 911045 HAS SOUPS 911045 WITH SCORE 912462.961
AT ITER 102 NEW BEST:: SOT 2084415 SOS 1416775 HAS SOPS 1416775 HAS SOUS 909852 HAS SOUPS 909852 WITH SCORE 911268.775
AT ITER 106 NEW BEST:: SOT 2084317 SOS 1416677 HAS SOPS 1416677 HAS SOUS 909815 HAS SOUPS 909815 WITH SCORE 911231.677
AT ITER 107 NEW BEST:: SOT 2083870 SOS 1416230 HAS SOPS 1416230 HAS SOUS 909443 HAS SOUPS 909443 WITH SCORE 910859.23
AT ITER 108 NEW BEST:: SOT 2082796 SOS 1413232 HAS SOPS 1413232 HAS SOUS 907293 HAS SOUPS 907293 WITH SCORE 908706.232
AT ITER 111 NEW BEST:: SOT 2082367 SOS 1412803 HAS SOPS 1412803 HAS SOUS 907116 HAS SOUPS 907116 WITH SCORE 908528.803
AT ITER 114 NEW BEST:: SOT 2082367 SOS 1413000 HAS SOPS 1413000 HAS SOUS 907010 HAS SOUPS 907010 WITH SCORE 908423.0
AT ITER 115 NEW BEST:: SOT 2082175 SOS 1412030 HAS SOPS 1412030 HAS SOUS 906626 HAS SOUPS 906626 WITH SCORE 908038.03
AT ITER 116 NEW BEST:: SOT 2082175 SOS 1411943 HAS SOPS 1411943 HAS SOUS 906626 HAS SOUPS 906626 WITH SCORE 908037.943
AT ITER 118 NEW BEST:: SOT 2073579 SOS 1404723 HAS SOPS 1404723 HAS SOUS 898298 HAS SOUPS 898298 WITH SCORE 899702.723
AT ITER 120 NEW BEST:: SOT 2064876 SOS 1396610 HAS SOPS 1396610 HAS SOUS 889770 HAS SOUPS 889770 WITH SCORE 891166.61
AT ITER 121 NEW BEST:: SOT 2064475 SOS 1396209 HAS SOPS 1396209 HAS SOUS 889765 HAS SOUPS 889765 WITH SCORE 891161.209
AT ITER 129 NEW BEST:: SOT 2064081 SOS 1395815 HAS SOPS 1395815 HAS SOUS 889371 HAS SOUPS 889371 WITH SCORE 890766.815
AT ITER 134 NEW BEST:: SOT 2064081 SOS 1395452 HAS SOPS 1395452 HAS SOUS 889008 HAS SOUPS 889008 WITH SCORE 890403.452
AT ITER 136 NEW BEST:: SOT 2064081 SOS 1395146 HAS SOPS 1395146 HAS SOUS 889006 HAS SOUPS 889006 WITH SCORE 890401.146
AT ITER 140 NEW BEST:: SOT 2064001 SOS 1394520 HAS SOPS 1394520 HAS SOUS 889006 HAS SOUPS 889006 WITH SCORE 890400.52
AT ITER 142 NEW BEST:: SOT 2063824 SOS 1393334 HAS SOPS 1393334 HAS SOUS 888650 HAS SOUPS 888650 WITH SCORE 890043.334
AT ITER 143 NEW BEST:: SOT 2063605 SOS 1393115 HAS SOPS 1393115 HAS SOUS 888647 HAS SOUPS 888647 WITH SCORE 890040.115
AT ITER 144 NEW BEST:: SOT 2063605 SOS 1391684 HAS SOPS 1391684 HAS SOUS 888169 HAS SOUPS 888169 WITH SCORE 889560.684
AT ITER 150 NEW BEST:: SOT 2063605 SOS 1389833 HAS SOPS 1389833 HAS SOUS 887959 HAS SOUPS 887959 WITH SCORE 889348.833
AT ITER 157 NEW BEST:: SOT 2063605 SOS 1389741 HAS SOPS 1389741 HAS SOUS 887867 HAS SOUPS 887867 WITH SCORE 889256.741
AT ITER 165 NEW BEST:: SOT 2058295 SOS 1387432 HAS SOPS 1387432 HAS SOUS 883286 HAS SOUPS 883286 WITH SCORE 884673.432
AT ITER 179 NEW BEST:: SOT 2058084 SOS 1386856 HAS SOPS 1386856 HAS SOUS 882704 HAS SOUPS 882704 WITH SCORE 884090.856
AT ITER 182 NEW BEST:: SOT 2057640 SOS 1385968 HAS SOPS 1385968 HAS SOUS 882268 HAS SOUPS 882268 WITH SCORE 883653.968
AT ITER 202 NEW BEST:: SOT 2056156 SOS 1384476 HAS SOPS 1384476 HAS SOUS 880776 HAS SOUPS 880776 WITH SCORE 882160.476
AT ITER 204 NEW BEST:: SOT 2056057 SOS 1384377 HAS SOPS 1384377 HAS SOUS 880750 HAS SOUPS 880750 WITH SCORE 882134.377
AT ITER 215 NEW BEST:: SOT 2056057 SOS 1384351 HAS SOPS 1384351 HAS SOUS 880724 HAS SOUPS 880724 WITH SCORE 882108.351
AT ITER 216 NEW BEST:: SOT 2054281 SOS 1386046 HAS SOPS 1386046 HAS SOUS 879791 HAS SOUPS 879791 WITH SCORE 881177.046
AT ITER 219 NEW BEST:: SOT 2054281 SOS 1385379 HAS SOPS 1385379 HAS SOUS 879790 HAS SOUPS 879790 WITH SCORE 881175.379
AT ITER 221 NEW BEST:: SOT 2054281 SOS 1384940 HAS SOPS 1384940 HAS SOUS 879603 HAS SOUPS 879603 WITH SCORE 880987.94
AT ITER 229 NEW BEST:: SOT 2053351 SOS 1382375 HAS SOPS 1382375 HAS SOUS 877726 HAS SOUPS 877726 WITH SCORE 879108.375
AT ITER 238 NEW BEST:: SOT 2043705 SOS 1372729 HAS SOPS 1372729 HAS SOUS 868080 HAS SOUPS 868080 WITH SCORE 869452.729
AT ITER 245 NEW BEST:: SOT 2034595 SOS 1363619 HAS SOPS 1363619 HAS SOUS 858970 HAS SOUPS 858970 WITH SCORE 860333.619
AT ITER 254 NEW BEST:: SOT 2034602 SOS 1362584 HAS SOPS 1362584 HAS SOUS 858177 HAS SOUPS 858177 WITH SCORE 859539.584
AT ITER 258 NEW BEST:: SOT 2033378 SOS 1361360 HAS SOPS 1361360 HAS SOUS 856953 HAS SOUPS 856953 WITH SCORE 858314.36
AT ITER 260 NEW BEST:: SOT 2033378 SOS 1361351 HAS SOPS 1361351 HAS SOUS 856552 HAS SOUPS 856552 WITH SCORE 857913.351
AT ITER 265 NEW BEST:: SOT 2033378 SOS 1360744 HAS SOPS 1360744 HAS SOUS 856516 HAS SOUPS 856516 WITH SCORE 857876.744
AT ITER 271 NEW BEST:: SOT 2032930 SOS 1359223 HAS SOPS 1359223 HAS SOUS 855608 HAS SOUPS 855608 WITH SCORE 856967.223
AT ITER 278 NEW BEST:: SOT 2032928 SOS 1356897 HAS SOPS 1356897 HAS SOUS 855382 HAS SOUPS 855382 WITH SCORE 856738.897
AT ITER 280 NEW BEST:: SOT 2032526 SOS 1356495 HAS SOPS 1356495 HAS SOUS 854984 HAS SOUPS 854984 WITH SCORE 856340.495
AT ITER 288 NEW BEST:: SOT 2030747 SOS 1354940 HAS SOPS 1354940 HAS SOUS 853653 HAS SOUPS 853653 WITH SCORE 855007.94
AT ITER 291 NEW BEST:: SOT 2027524 SOS 1351717 HAS SOPS 1351717 HAS SOUS 850430 HAS SOUPS 850430 WITH SCORE 851781.717
AT ITER 295 NEW BEST:: SOT 2027396 SOS 1351589 HAS SOPS 1351589 HAS SOUS 850429 HAS SOUPS 850429 WITH SCORE 851780.589
AT ITER 297 NEW BEST:: SOT 2026951 SOS 1350175 HAS SOPS 1350175 HAS SOUS 849514 HAS SOUPS 849514 WITH SCORE 850864.175
AT ITER 300 NEW BEST:: SOT 2026950 SOS 1350169 HAS SOPS 1350169 HAS SOUS 849514 HAS SOUPS 849514 WITH SCORE 850864.169
AT ITER 304 NEW BEST:: SOT 2026947 SOS 1348984 HAS SOPS 1348984 HAS SOUS 849504 HAS SOUPS 849504 WITH SCORE 850852.984
AT ITER 308 NEW BEST:: SOT 2026388 SOS 1348324 HAS SOPS 1348324 HAS SOUS 849367 HAS SOUPS 849367 WITH SCORE 850715.324
AT ITER 309 NEW BEST:: SOT 2026238 SOS 1348172 HAS SOPS 1348172 HAS SOUS 849215 HAS SOUPS 849215 WITH SCORE 850563.172
AT ITER 310 NEW BEST:: SOT 2023857 SOS 1348157 HAS SOPS 1348157 HAS SOUS 847005 HAS SOUPS 847005 WITH SCORE 848353.157
AT ITER 316 NEW BEST:: SOT 2023732 SOS 1348032 HAS SOPS 1348032 HAS SOUS 846880 HAS SOUPS 846880 WITH SCORE 848228.032
AT ITER 320 NEW BEST:: SOT 2023683 SOS 1347983 HAS SOPS 1347983 HAS SOUS 846830 HAS SOUPS 846830 WITH SCORE 848177.983
AT ITER 326 NEW BEST:: SOT 2007069 SOS 1334642 HAS SOPS 1334642 HAS SOUS 830529 HAS SOUPS 830529 WITH SCORE 831863.642
AT ITER 329 NEW BEST:: SOT 2007069 SOS 1334602 HAS SOPS 1334602 HAS SOUS 830529 HAS SOUPS 830529 WITH SCORE 831863.602
AT ITER 331 NEW BEST:: SOT 2006378 SOS 1331838 HAS SOPS 1331838 HAS SOUS 829298 HAS SOUPS 829298 WITH SCORE 830629.838
AT ITER 332 NEW BEST:: SOT 2004550 SOS 1329716 HAS SOPS 1329716 HAS SOUS 826601 HAS SOUPS 826601 WITH SCORE 827930.716
AT ITER 334 NEW BEST:: SOT 2004550 SOS 1329715 HAS SOPS 1329715 HAS SOUS 826600 HAS SOUPS 826600 WITH SCORE 827929.715
AT ITER 341 NEW BEST:: SOT 2004550 SOS 1329393 HAS SOPS 1329393 HAS SOUS 826593 HAS SOUPS 826593 WITH SCORE 827922.393
AT ITER 342 NEW BEST:: SOT 2005767 SOS 1330199 HAS SOPS 1330199 HAS SOUS 826591 HAS SOUPS 826591 WITH SCORE 827921.199
AT ITER 345 NEW BEST:: SOT 2005062 SOS 1328784 HAS SOPS 1328784 HAS SOUS 825600 HAS SOUPS 825600 WITH SCORE 826928.784
AT ITER 348 NEW BEST:: SOT 2005050 SOS 1326782 HAS SOPS 1326782 HAS SOUS 825563 HAS SOUPS 825563 WITH SCORE 826889.782
AT ITER 349 NEW BEST:: SOT 2004833 SOS 1325872 HAS SOPS 1325872 HAS SOUS 824653 HAS SOUPS 824653 WITH SCORE 825978.872
AT ITER 350 NEW BEST:: SOT 2004654 SOS 1324455 HAS SOPS 1324455 HAS SOUS 824209 HAS SOUPS 824209 WITH SCORE 825533.455
AT ITER 352 NEW BEST:: SOT 2004257 SOS 1323448 HAS SOPS 1323448 HAS SOUS 823202 HAS SOUPS 823202 WITH SCORE 824525.448
AT ITER 354 NEW BEST:: SOT 1995665 SOS 1314856 HAS SOPS 1314856 HAS SOUS 814608 HAS SOUPS 814608 WITH SCORE 815922.856
AT ITER 372 NEW BEST:: SOT 1995665 SOS 1311420 HAS SOPS 1311420 HAS SOUS 813657 HAS SOUPS 813657 WITH SCORE 814968.42
AT ITER 385 NEW BEST:: SOT 1995665 SOS 1310982 HAS SOPS 1310982 HAS SOUS 813430 HAS SOUPS 813430 WITH SCORE 814740.982
AT ITER 394 NEW BEST:: SOT 1995404 SOS 1310460 HAS SOPS 1310460 HAS SOUS 813257 HAS SOUPS 813257 WITH SCORE 814567.46
AT ITER 402 NEW BEST:: SOT 1995404 SOS 1312092 HAS SOPS 1312092 HAS SOUS 813168 HAS SOUPS 813168 WITH SCORE 814480.092
AT ITER 404 NEW BEST:: SOT 1995399 SOS 1312087 HAS SOPS 1312087 HAS SOUS 813163 HAS SOUPS 813163 WITH SCORE 814475.087
AT ITER 405 NEW BEST:: SOT 1995122 SOS 1311831 HAS SOPS 1311831 HAS SOUS 812906 HAS SOUPS 812906 WITH SCORE 814217.831
AT ITER 409 NEW BEST:: SOT 1994197 SOS 1310890 HAS SOPS 1310890 HAS SOUS 811965 HAS SOUPS 811965 WITH SCORE 813275.89
AT ITER 410 NEW BEST:: SOT 1994192 SOS 1310457 HAS SOPS 1310457 HAS SOUS 811744 HAS SOUPS 811744 WITH SCORE 813054.457
AT ITER 411 NEW BEST:: SOT 1994192 SOS 1310457 HAS SOPS 1310457 HAS SOUS 811743 HAS SOUPS 811743 WITH SCORE 813053.457
AT ITER 421 NEW BEST:: SOT 1993855 SOS 1311404 HAS SOPS 1311404 HAS SOUS 811542 HAS SOUPS 811542 WITH SCORE 812853.404
AT ITER 429 NEW BEST:: SOT 1994329 SOS 1311404 HAS SOPS 1311404 HAS SOUS 811438 HAS SOUPS 811438 WITH SCORE 812749.404
AT ITER 434 NEW BEST:: SOT 1994729 SOS 1311404 HAS SOPS 1311404 HAS SOUS 811001 HAS SOUPS 811001 WITH SCORE 812312.404
AT ITER 441 NEW BEST:: SOT 1994780 SOS 1309049 HAS SOPS 1309049 HAS SOUS 810990 HAS SOUPS 810990 WITH SCORE 812299.049
AT ITER 445 NEW BEST:: SOT 1994563 SOS 1308832 HAS SOPS 1308832 HAS SOUS 810773 HAS SOUPS 810773 WITH SCORE 812081.832
AT ITER 448 NEW BEST:: SOT 1994092 SOS 1308361 HAS SOPS 1308361 HAS SOUS 810710 HAS SOUPS 810710 WITH SCORE 812018.361
AT ITER 451 NEW BEST:: SOT 1993440 SOS 1308066 HAS SOPS 1308066 HAS SOUS 810393 HAS SOUPS 810393 WITH SCORE 811701.066
AT ITER 456 NEW BEST:: SOT 1990098 SOS 1304976 HAS SOPS 1304976 HAS SOUS 807301 HAS SOUPS 807301 WITH SCORE 808605.976
AT ITER 461 NEW BEST:: SOT 1989950 SOS 1304843 HAS SOPS 1304843 HAS SOUS 807297 HAS SOUPS 807297 WITH SCORE 808601.843
AT ITER 470 NEW BEST:: SOT 1988533 SOS 1303426 HAS SOPS 1303426 HAS SOUS 805879 HAS SOUPS 805879 WITH SCORE 807182.426
AT ITER 471 NEW BEST:: SOT 1987793 SOS 1303426 HAS SOPS 1303426 HAS SOUS 805466 HAS SOUPS 805466 WITH SCORE 806769.426
AT ITER 473 NEW BEST:: SOT 1987758 SOS 1303425 HAS SOPS 1303425 HAS SOUS 805465 HAS SOUPS 805465 WITH SCORE 806768.425
AT ITER 477 NEW BEST:: SOT 1987906 SOS 1302657 HAS SOPS 1302657 HAS SOUS 804917 HAS SOUPS 804917 WITH SCORE 806219.657
AT ITER 481 NEW BEST:: SOT 1987144 SOS 1300872 HAS SOPS 1300872 HAS SOUS 803375 HAS SOUPS 803375 WITH SCORE 804675.872
AT ITER 485 NEW BEST:: SOT 1987144 SOS 1300847 HAS SOPS 1300847 HAS SOUS 803350 HAS SOUPS 803350 WITH SCORE 804650.847
AT ITER 491 NEW BEST:: SOT 1987144 SOS 1299994 HAS SOPS 1299994 HAS SOUS 803349 HAS SOUPS 803349 WITH SCORE 804648.994
AT ITER 512 NEW BEST:: SOT 1986666 SOS 1301665 HAS SOPS 1301665 HAS SOUS 803176 HAS SOUPS 803176 WITH SCORE 804477.665
AT ITER 526 NEW BEST:: SOT 1986434 SOS 1301027 HAS SOPS 1301027 HAS SOUS 802763 HAS SOUPS 802763 WITH SCORE 804064.027
AT ITER 529 NEW BEST:: SOT 1986364 SOS 1300955 HAS SOPS 1300955 HAS SOUS 802691 HAS SOUPS 802691 WITH SCORE 803991.955
AT ITER 531 NEW BEST:: SOT 1986364 SOS 1301194 HAS SOPS 1301194 HAS SOUS 802684 HAS SOUPS 802684 WITH SCORE 803985.194
AT ITER 536 NEW BEST:: SOT 1972663 SOS 1287493 HAS SOPS 1287493 HAS SOUS 788975 HAS SOUPS 788975 WITH SCORE 790262.493
AT ITER 541 NEW BEST:: SOT 1972175 SOS 1287005 HAS SOPS 1287005 HAS SOUS 788487 HAS SOUPS 788487 WITH SCORE 789774.005
AT ITER 546 NEW BEST:: SOT 1971715 SOS 1285393 HAS SOPS 1285393 HAS SOUS 786567 HAS SOUPS 786567 WITH SCORE 787852.393
AT ITER 547 NEW BEST:: SOT 1971706 SOS 1285384 HAS SOPS 1285384 HAS SOUS 786557 HAS SOUPS 786557 WITH SCORE 787842.384
AT ITER 550 NEW BEST:: SOT 1971706 SOS 1286627 HAS SOPS 1286627 HAS SOUS 786499 HAS SOUPS 786499 WITH SCORE 787785.627
AT ITER 553 NEW BEST:: SOT 1971295 SOS 1286216 HAS SOPS 1286216 HAS SOUS 786477 HAS SOUPS 786477 WITH SCORE 787763.216
AT ITER 557 NEW BEST:: SOT 1970602 SOS 1281687 HAS SOPS 1281687 HAS SOUS 785457 HAS SOUPS 785457 WITH SCORE 786738.687
AT ITER 558 NEW BEST:: SOT 1966413 SOS 1277601 HAS SOPS 1277601 HAS SOUS 781371 HAS SOUPS 781371 WITH SCORE 782648.601
AT ITER 559 NEW BEST:: SOT 1963694 SOS 1274882 HAS SOPS 1274882 HAS SOUS 778651 HAS SOUPS 778651 WITH SCORE 779925.882
AT ITER 560 NEW BEST:: SOT 1961408 SOS 1272596 HAS SOPS 1272596 HAS SOUS 776365 HAS SOUPS 776365 WITH SCORE 777637.596
AT ITER 563 NEW BEST:: SOT 1960953 SOS 1271597 HAS SOPS 1271597 HAS SOUS 776365 HAS SOUPS 776365 WITH SCORE 777636.597
AT ITER 565 NEW BEST:: SOT 1960953 SOS 1271197 HAS SOPS 1271197 HAS SOUS 775963 HAS SOUPS 775963 WITH SCORE 777234.197
AT ITER 568 NEW BEST:: SOT 1960881 SOS 1270878 HAS SOPS 1270878 HAS SOUS 775819 HAS SOUPS 775819 WITH SCORE 777089.878
AT ITER 587 NEW BEST:: SOT 1960694 SOS 1269353 HAS SOPS 1269353 HAS SOUS 775594 HAS SOUPS 775594 WITH SCORE 776863.353
AT ITER 589 NEW BEST:: SOT 1960369 SOS 1269028 HAS SOPS 1269028 HAS SOUS 775269 HAS SOUPS 775269 WITH SCORE 776538.028
AT ITER 594 NEW BEST:: SOT 1960088 SOS 1268185 HAS SOPS 1268185 HAS SOUS 774988 HAS SOUPS 774988 WITH SCORE 776256.185
AT ITER 597 NEW BEST:: SOT 1960088 SOS 1266120 HAS SOPS 1266120 HAS SOUS 774987 HAS SOUPS 774987 WITH SCORE 776253.12
AT ITER 607 NEW BEST:: SOT 1959627 SOS 1265815 HAS SOPS 1265815 HAS SOUS 774699 HAS SOUPS 774699 WITH SCORE 775964.815
AT ITER 610 NEW BEST:: SOT 1959537 SOS 1265725 HAS SOPS 1265725 HAS SOUS 774568 HAS SOUPS 774568 WITH SCORE 775833.725
AT ITER 613 NEW BEST:: SOT 1959535 SOS 1264909 HAS SOPS 1264909 HAS SOUS 774560 HAS SOUPS 774560 WITH SCORE 775824.909
AT ITER 614 NEW BEST:: SOT 1959536 SOS 1264902 HAS SOPS 1264902 HAS SOUS 774545 HAS SOUPS 774545 WITH SCORE 775809.902
AT ITER 615 NEW BEST:: SOT 1959536 SOS 1264850 HAS SOPS 1264850 HAS SOUS 774545 HAS SOUPS 774545 WITH SCORE 775809.85
AT ITER 623 NEW BEST:: SOT 1959674 SOS 1264180 HAS SOPS 1264180 HAS SOUS 774068 HAS SOUPS 774068 WITH SCORE 775332.18
AT ITER 630 NEW BEST:: SOT 1959163 SOS 1264179 HAS SOPS 1264179 HAS SOUS 774067 HAS SOUPS 774067 WITH SCORE 775331.179
AT ITER 636 NEW BEST:: SOT 1959508 SOS 1264037 HAS SOPS 1264037 HAS SOUS 773925 HAS SOUPS 773925 WITH SCORE 775189.037
AT ITER 637 NEW BEST:: SOT 1959555 SOS 1263665 HAS SOPS 1263665 HAS SOUS 773623 HAS SOUPS 773623 WITH SCORE 774886.665
AT ITER 642 NEW BEST:: SOT 1959555 SOS 1262570 HAS SOPS 1262570 HAS SOUS 773620 HAS SOUPS 773620 WITH SCORE 774882.57
AT ITER 644 NEW BEST:: SOT 1956227 SOS 1259202 HAS SOPS 1259202 HAS SOUS 769950 HAS SOUPS 769950 WITH SCORE 771209.202
AT ITER 660 NEW BEST:: SOT 1955941 SOS 1258916 HAS SOPS 1258916 HAS SOUS 769739 HAS SOUPS 769739 WITH SCORE 770997.916
AT ITER 667 NEW BEST:: SOT 1953984 SOS 1256959 HAS SOPS 1256959 HAS SOUS 767782 HAS SOUPS 767782 WITH SCORE 769038.959
AT ITER 668 NEW BEST:: SOT 1953590 SOS 1256171 HAS SOPS 1256171 HAS SOUS 767385 HAS SOUPS 767385 WITH SCORE 768641.171
AT ITER 673 NEW BEST:: SOT 1953584 SOS 1256165 HAS SOPS 1256165 HAS SOUS 767379 HAS SOUPS 767379 WITH SCORE 768635.165
AT ITER 679 NEW BEST:: SOT 1953512 SOS 1253731 HAS SOPS 1253731 HAS SOUS 767235 HAS SOUPS 767235 WITH SCORE 768488.731
AT ITER 683 NEW BEST:: SOT 1953789 SOS 1254568 HAS SOPS 1254568 HAS SOUS 766136 HAS SOUPS 766136 WITH SCORE 767390.568
AT ITER 692 NEW BEST:: SOT 1953180 SOS 1252587 HAS SOPS 1252587 HAS SOUS 764354 HAS SOUPS 764354 WITH SCORE 765606.587
AT ITER 695 NEW BEST:: SOT 1951255 SOS 1250657 HAS SOPS 1250657 HAS SOUS 762424 HAS SOUPS 762424 WITH SCORE 763674.657
AT ITER 700 NEW BEST:: SOT 1950628 SOS 1259081 HAS SOPS 1259081 HAS SOUS 761289 HAS SOUPS 761289 WITH SCORE 762548.081
AT ITER 701 NEW BEST:: SOT 1950418 SOS 1258871 HAS SOPS 1258871 HAS SOUS 761289 HAS SOUPS 761289 WITH SCORE 762547.871
AT ITER 713 NEW BEST:: SOT 1950215 SOS 1258668 HAS SOPS 1258668 HAS SOUS 761288 HAS SOUPS 761288 WITH SCORE 762546.668
AT ITER 715 NEW BEST:: SOT 1950215 SOS 1258470 HAS SOPS 1258470 HAS SOUS 760991 HAS SOUPS 760991 WITH SCORE 762249.47
AT ITER 728 NEW BEST:: SOT 1950416 SOS 1257517 HAS SOPS 1257517 HAS SOUS 760885 HAS SOUPS 760885 WITH SCORE 762142.517
AT ITER 735 NEW BEST:: SOT 1950416 SOS 1257516 HAS SOPS 1257516 HAS SOUS 760884 HAS SOUPS 760884 WITH SCORE 762141.516
AT ITER 742 NEW BEST:: SOT 1950054 SOS 1257154 HAS SOPS 1257154 HAS SOUS 760515 HAS SOUPS 760515 WITH SCORE 761772.154
AT ITER 753 NEW BEST:: SOT 1949958 SOS 1257058 HAS SOPS 1257058 HAS SOUS 760512 HAS SOUPS 760512 WITH SCORE 761769.058
AT ITER 757 NEW BEST:: SOT 1948273 SOS 1255373 HAS SOPS 1255373 HAS SOUS 758827 HAS SOUPS 758827 WITH SCORE 760082.373
AT ITER 765 NEW BEST:: SOT 1948227 SOS 1255325 HAS SOPS 1255325 HAS SOUS 758779 HAS SOUPS 758779 WITH SCORE 760034.325
AT ITER 767 NEW BEST:: SOT 1948227 SOS 1255221 HAS SOPS 1255221 HAS SOUS 758779 HAS SOUPS 758779 WITH SCORE 760034.221
AT ITER 775 NEW BEST:: SOT 1947993 SOS 1252971 HAS SOPS 1252971 HAS SOUS 757876 HAS SOUPS 757876 WITH SCORE 759128.971
AT ITER 782 NEW BEST:: SOT 1948084 SOS 1253062 HAS SOPS 1253062 HAS SOUS 757812 HAS SOUPS 757812 WITH SCORE 759065.062
AT ITER 787 NEW BEST:: SOT 1942825 SOS 1247803 HAS SOPS 1247803 HAS SOUS 752553 HAS SOUPS 752553 WITH SCORE 753800.803
AT ITER 790 NEW BEST:: SOT 1942825 SOS 1247152 HAS SOPS 1247152 HAS SOUS 752500 HAS SOUPS 752500 WITH SCORE 753747.152
AT ITER 798 NEW BEST:: SOT 1942520 SOS 1246120 HAS SOPS 1246120 HAS SOUS 752106 HAS SOUPS 752106 WITH SCORE 753352.12
AT ITER 799 NEW BEST:: SOT 1942688 SOS 1245081 HAS SOPS 1245081 HAS SOUS 751911 HAS SOUPS 751911 WITH SCORE 753156.081
AT ITER 807 NEW BEST:: SOT 1937768 SOS 1240161 HAS SOPS 1240161 HAS SOUS 746991 HAS SOUPS 746991 WITH SCORE 748231.161
AT ITER 810 NEW BEST:: SOT 1937348 SOS 1239651 HAS SOPS 1239651 HAS SOUS 746991 HAS SOUPS 746991 WITH SCORE 748230.651
AT ITER 815 NEW BEST:: SOT 1931086 SOS 1233368 HAS SOPS 1233368 HAS SOUS 740708 HAS SOUPS 740708 WITH SCORE 741941.368
AT ITER 822 NEW BEST:: SOT 1930110 SOS 1232539 HAS SOPS 1232539 HAS SOUS 739416 HAS SOUPS 739416 WITH SCORE 740648.539
AT ITER 831 NEW BEST:: SOT 1930086 SOS 1232515 HAS SOPS 1232515 HAS SOUS 739392 HAS SOUPS 739392 WITH SCORE 740624.515
AT ITER 832 NEW BEST:: SOT 1930086 SOS 1233292 HAS SOPS 1233292 HAS SOUS 739281 HAS SOUPS 739281 WITH SCORE 740514.292
AT ITER 850 NEW BEST:: SOT 1929905 SOS 1231731 HAS SOPS 1231731 HAS SOUS 739100 HAS SOUPS 739100 WITH SCORE 740331.731
AT ITER 854 NEW BEST:: SOT 1929720 SOS 1231008 HAS SOPS 1231008 HAS SOUS 738377 HAS SOUPS 738377 WITH SCORE 739608.008
AT ITER 860 NEW BEST:: SOT 1928997 SOS 1230279 HAS SOPS 1230279 HAS SOUS 737647 HAS SOUPS 737647 WITH SCORE 738877.279
AT ITER 869 NEW BEST:: SOT 1928051 SOS 1229538 HAS SOPS 1229538 HAS SOUS 736405 HAS SOUPS 736405 WITH SCORE 737634.538
AT ITER 874 NEW BEST:: SOT 1928015 SOS 1229544 HAS SOPS 1229544 HAS SOUS 736386 HAS SOUPS 736386 WITH SCORE 737615.544
AT ITER 884 NEW BEST:: SOT 1927276 SOS 1228805 HAS SOPS 1228805 HAS SOUS 735249 HAS SOUPS 735249 WITH SCORE 736477.805
AT ITER 901 NEW BEST:: SOT 1927077 SOS 1228793 HAS SOPS 1228793 HAS SOUS 735237 HAS SOUPS 735237 WITH SCORE 736465.793
AT ITER 909 NEW BEST:: SOT 1926642 SOS 1228731 HAS SOPS 1228731 HAS SOUS 735052 HAS SOUPS 735052 WITH SCORE 736280.731
AT ITER 911 NEW BEST:: SOT 1926467 SOS 1227630 HAS SOPS 1227630 HAS SOUS 734699 HAS SOUPS 734699 WITH SCORE 735926.63
AT ITER 931 NEW BEST:: SOT 1926467 SOS 1227246 HAS SOPS 1227246 HAS SOUS 734504 HAS SOUPS 734504 WITH SCORE 735731.246
AT ITER 935 NEW BEST:: SOT 1921479 SOS 1222360 HAS SOPS 1222360 HAS SOUS 729562 HAS SOUPS 729562 WITH SCORE 730784.36
AT ITER 952 NEW BEST:: SOT 1920826 SOS 1221828 HAS SOPS 1221828 HAS SOUS 729029 HAS SOUPS 729029 WITH SCORE 730250.828
AT ITER 970 NEW BEST:: SOT 1920471 SOS 1220168 HAS SOPS 1220168 HAS SOUS 728138 HAS SOUPS 728138 WITH SCORE 729358.168
AT ITER 974 NEW BEST:: SOT 1920433 SOS 1220130 HAS SOPS 1220130 HAS SOUS 728137 HAS SOUPS 728137 WITH SCORE 729357.13
AT ITER 977 NEW BEST:: SOT 1920433 SOS 1219620 HAS SOPS 1219620 HAS SOUS 727955 HAS SOUPS 727955 WITH SCORE 729174.62
AT ITER 1008 NEW BEST:: SOT 1918627 SOS 1217814 HAS SOPS 1217814 HAS SOUS 726149 HAS SOUPS 726149 WITH SCORE 727366.814
AT ITER 1015 NEW BEST:: SOT 1902711 SOS 1204765 HAS SOPS 1204765 HAS SOUS 709550 HAS SOUPS 709550 WITH SCORE 710754.765
AT ITER 1016 NEW BEST:: SOT 1902711 SOS 1203442 HAS SOPS 1203442 HAS SOUS 709550 HAS SOUPS 709550 WITH SCORE 710753.442
AT ITER 1029 NEW BEST:: SOT 1902379 SOS 1202152 HAS SOPS 1202152 HAS SOUS 708473 HAS SOUPS 708473 WITH SCORE 709675.152
AT ITER 1031 NEW BEST:: SOT 1902379 SOS 1201934 HAS SOPS 1201934 HAS SOUS 708255 HAS SOUPS 708255 WITH SCORE 709456.934
AT ITER 1044 NEW BEST:: SOT 1901609 SOS 1202285 HAS SOPS 1202285 HAS SOUS 707928 HAS SOUPS 707928 WITH SCORE 709130.285
AT ITER 1049 NEW BEST:: SOT 1901719 SOS 1201842 HAS SOPS 1201842 HAS SOUS 707143 HAS SOUPS 707143 WITH SCORE 708344.842
AT ITER 1059 NEW BEST:: SOT 1901719 SOS 1201840 HAS SOPS 1201840 HAS SOUS 707141 HAS SOUPS 707141 WITH SCORE 708342.84
AT ITER 1060 NEW BEST:: SOT 1901675 SOS 1201293 HAS SOPS 1201293 HAS SOUS 706594 HAS SOUPS 706594 WITH SCORE 707795.293
AT ITER 1062 NEW BEST:: SOT 1892759 SOS 1195245 HAS SOPS 1195245 HAS SOUS 697089 HAS SOUPS 697089 WITH SCORE 698284.245
AT ITER 1074 NEW BEST:: SOT 1892759 SOS 1194896 HAS SOPS 1194896 HAS SOUS 696623 HAS SOUPS 696623 WITH SCORE 697817.896
AT ITER 1079 NEW BEST:: SOT 1892756 SOS 1194893 HAS SOPS 1194893 HAS SOUS 696620 HAS SOUPS 696620 WITH SCORE 697814.893
AT ITER 1091 NEW BEST:: SOT 1892756 SOS 1194908 HAS SOPS 1194908 HAS SOUS 696587 HAS SOUPS 696587 WITH SCORE 697781.908
AT ITER 1092 NEW BEST:: SOT 1892426 SOS 1194489 HAS SOPS 1194489 HAS SOUS 696257 HAS SOUPS 696257 WITH SCORE 697451.489
AT ITER 1101 NEW BEST:: SOT 1892290 SOS 1193879 HAS SOPS 1193879 HAS SOUS 695802 HAS SOUPS 695802 WITH SCORE 696995.879
AT ITER 1102 NEW BEST:: SOT 1892069 SOS 1193841 HAS SOPS 1193841 HAS SOUS 695759 HAS SOUPS 695759 WITH SCORE 696952.841
AT ITER 1103 NEW BEST:: SOT 1892068 SOS 1193840 HAS SOPS 1193840 HAS SOUS 695757 HAS SOUPS 695757 WITH SCORE 696950.84
AT ITER 1104 NEW BEST:: SOT 1891335 SOS 1193107 HAS SOPS 1193107 HAS SOUS 695024 HAS SOUPS 695024 WITH SCORE 696217.107
AT ITER 1105 NEW BEST:: SOT 1891267 SOS 1193031 HAS SOPS 1193031 HAS SOUS 694948 HAS SOUPS 694948 WITH SCORE 696141.031
AT ITER 1113 NEW BEST:: SOT 1890920 SOS 1192176 HAS SOPS 1192176 HAS SOUS 694254 HAS SOUPS 694254 WITH SCORE 695446.176
AT ITER 1129 NEW BEST:: SOT 1888414 SOS 1189397 HAS SOPS 1189397 HAS SOUS 691475 HAS SOUPS 691475 WITH SCORE 692664.397
AT ITER 1130 NEW BEST:: SOT 1888413 SOS 1189396 HAS SOPS 1189396 HAS SOUS 691474 HAS SOUPS 691474 WITH SCORE 692663.396
AT ITER 1131 NEW BEST:: SOT 1887581 SOS 1188564 HAS SOPS 1188564 HAS SOUS 690641 HAS SOUPS 690641 WITH SCORE 691829.564
AT ITER 1139 NEW BEST:: SOT 1887542 SOS 1188419 HAS SOPS 1188419 HAS SOUS 690496 HAS SOUPS 690496 WITH SCORE 691684.419
AT ITER 1169 NEW BEST:: SOT 1887542 SOS 1187754 HAS SOPS 1187754 HAS SOUS 690199 HAS SOUPS 690199 WITH SCORE 691386.754
AT ITER 1170 NEW BEST:: SOT 1887228 SOS 1187247 HAS SOPS 1187247 HAS SOUS 689692 HAS SOUPS 689692 WITH SCORE 690879.247
AT ITER 1172 NEW BEST:: SOT 1887228 SOS 1187173 HAS SOPS 1187173 HAS SOUS 689692 HAS SOUPS 689692 WITH SCORE 690879.173
AT ITER 1175 NEW BEST:: SOT 1886863 SOS 1189499 HAS SOPS 1189499 HAS SOUS 689446 HAS SOUPS 689446 WITH SCORE 690635.499
AT ITER 1176 NEW BEST:: SOT 1886863 SOS 1186002 HAS SOPS 1186002 HAS SOUS 689353 HAS SOUPS 689353 WITH SCORE 690539.002
AT ITER 1182 NEW BEST:: SOT 1887246 SOS 1185431 HAS SOPS 1185431 HAS SOUS 688374 HAS SOUPS 688374 WITH SCORE 689559.431
AT ITER 1197 NEW BEST:: SOT 1886878 SOS 1184106 HAS SOPS 1184106 HAS SOUS 686810 HAS SOUPS 686810 WITH SCORE 687994.106
AT ITER 1198 NEW BEST:: SOT 1886862 SOS 1184076 HAS SOPS 1184076 HAS SOUS 686780 HAS SOUPS 686780 WITH SCORE 687964.076
AT ITER 1203 NEW BEST:: SOT 1886716 SOS 1183784 HAS SOPS 1183784 HAS SOUS 686488 HAS SOUPS 686488 WITH SCORE 687671.784
AT ITER 1208 NEW BEST:: SOT 1886242 SOS 1183310 HAS SOPS 1183310 HAS SOUS 686013 HAS SOUPS 686013 WITH SCORE 687196.31
AT ITER 1215 NEW BEST:: SOT 1886205 SOS 1183273 HAS SOPS 1183273 HAS SOUS 685976 HAS SOUPS 685976 WITH SCORE 687159.273
AT ITER 1226 NEW BEST:: SOT 1886202 SOS 1183265 HAS SOPS 1183265 HAS SOUS 685973 HAS SOUPS 685973 WITH SCORE 687156.265
AT ITER 1231 NEW BEST:: SOT 1886201 SOS 1183709 HAS SOPS 1183709 HAS SOUS 685972 HAS SOUPS 685972 WITH SCORE 687155.709
AT ITER 1239 NEW BEST:: SOT 1886201 SOS 1183847 HAS SOPS 1183847 HAS SOUS 685903 HAS SOUPS 685903 WITH SCORE 687086.847
AT ITER 1240 NEW BEST:: SOT 1886143 SOS 1182977 HAS SOPS 1182977 HAS SOUS 685765 HAS SOUPS 685765 WITH SCORE 686947.977
AT ITER 1241 NEW BEST:: SOT 1885870 SOS 1182787 HAS SOPS 1182787 HAS SOUS 685575 HAS SOUPS 685575 WITH SCORE 686757.787
AT ITER 1243 NEW BEST:: SOT 1884698 SOS 1179259 HAS SOPS 1179259 HAS SOUS 684319 HAS SOUPS 684319 WITH SCORE 685498.259
AT ITER 1244 NEW BEST:: SOT 1884622 SOS 1179183 HAS SOPS 1179183 HAS SOUS 684243 HAS SOUPS 684243 WITH SCORE 685422.183
AT ITER 1255 NEW BEST:: SOT 1884132 SOS 1178693 HAS SOPS 1178693 HAS SOUS 683753 HAS SOUPS 683753 WITH SCORE 684931.693
AT ITER 1256 NEW BEST:: SOT 1884132 SOS 1178427 HAS SOPS 1178427 HAS SOUS 683751 HAS SOUPS 683751 WITH SCORE 684929.427
AT ITER 1258 NEW BEST:: SOT 1883514 SOS 1176537 HAS SOPS 1176537 HAS SOUS 682498 HAS SOUPS 682498 WITH SCORE 683674.537
AT ITER 1263 NEW BEST:: SOT 1884263 SOS 1176807 HAS SOPS 1176807 HAS SOUS 682496 HAS SOUPS 682496 WITH SCORE 683672.807
AT ITER 1269 NEW BEST:: SOT 1881344 SOS 1174398 HAS SOPS 1174398 HAS SOUS 679558 HAS SOUPS 679558 WITH SCORE 680732.398
AT ITER 1282 NEW BEST:: SOT 1881344 SOS 1174393 HAS SOPS 1174393 HAS SOUS 679553 HAS SOUPS 679553 WITH SCORE 680727.393
AT ITER 1284 NEW BEST:: SOT 1880788 SOS 1173281 HAS SOPS 1173281 HAS SOUS 678441 HAS SOUPS 678441 WITH SCORE 679614.281
AT ITER 1294 NEW BEST:: SOT 1880788 SOS 1173278 HAS SOPS 1173278 HAS SOUS 678441 HAS SOUPS 678441 WITH SCORE 679614.278
AT ITER 1303 NEW BEST:: SOT 1880786 SOS 1172649 HAS SOPS 1172649 HAS SOUS 678433 HAS SOUPS 678433 WITH SCORE 679605.649
AT ITER 1305 NEW BEST:: SOT 1880786 SOS 1172609 HAS SOPS 1172609 HAS SOUS 678411 HAS SOUPS 678411 WITH SCORE 679583.609
AT ITER 1307 NEW BEST:: SOT 1880707 SOS 1172530 HAS SOPS 1172530 HAS SOUS 678332 HAS SOUPS 678332 WITH SCORE 679504.53
AT ITER 1308 NEW BEST:: SOT 1880703 SOS 1173551 HAS SOPS 1173551 HAS SOUS 678330 HAS SOUPS 678330 WITH SCORE 679503.551
AT ITER 1323 NEW BEST:: SOT 1882857 SOS 1176348 HAS SOPS 1176348 HAS SOUS 678113 HAS SOUPS 678113 WITH SCORE 679289.348
AT ITER 1327 NEW BEST:: SOT 1882558 SOS 1176049 HAS SOPS 1176049 HAS SOUS 677814 HAS SOUPS 677814 WITH SCORE 678990.049
AT ITER 1328 NEW BEST:: SOT 1882629 SOS 1175830 HAS SOPS 1175830 HAS SOUS 677298 HAS SOUPS 677298 WITH SCORE 678473.83
AT ITER 1336 NEW BEST:: SOT 1882629 SOS 1175830 HAS SOPS 1175830 HAS SOUS 677294 HAS SOUPS 677294 WITH SCORE 678469.83
AT ITER 1340 NEW BEST:: SOT 1881730 SOS 1175128 HAS SOPS 1175128 HAS SOUS 676862 HAS SOUPS 676862 WITH SCORE 678037.128
AT ITER 1342 NEW BEST:: SOT 1881730 SOS 1175127 HAS SOPS 1175127 HAS SOUS 676861 HAS SOUPS 676861 WITH SCORE 678036.127
AT ITER 1353 NEW BEST:: SOT 1882046 SOS 1174844 HAS SOPS 1174844 HAS SOUS 675673 HAS SOUPS 675673 WITH SCORE 676847.844
AT ITER 1360 NEW BEST:: SOT 1882046 SOS 1174566 HAS SOPS 1174566 HAS SOUS 675629 HAS SOUPS 675629 WITH SCORE 676803.566
AT ITER 1368 NEW BEST:: SOT 1882156 SOS 1174437 HAS SOPS 1174437 HAS SOUS 675500 HAS SOUPS 675500 WITH SCORE 676674.437
AT ITER 1385 NEW BEST:: SOT 1881813 SOS 1170629 HAS SOPS 1170629 HAS SOUS 674637 HAS SOUPS 674637 WITH SCORE 675807.629
AT ITER 1409 NEW BEST:: SOT 1881813 SOS 1170629 HAS SOPS 1170629 HAS SOUS 674612 HAS SOUPS 674612 WITH SCORE 675782.629
AT ITER 1412 NEW BEST:: SOT 1881813 SOS 1170471 HAS SOPS 1170471 HAS SOUS 674450 HAS SOUPS 674450 WITH SCORE 675620.471
AT ITER 1425 NEW BEST:: SOT 1881813 SOS 1170242 HAS SOPS 1170242 HAS SOUS 674450 HAS SOUPS 674450 WITH SCORE 675620.242
AT ITER 1432 NEW BEST:: SOT 1881721 SOS 1168690 HAS SOPS 1168690 HAS SOUS 674128 HAS SOUPS 674128 WITH SCORE 675296.69
AT ITER 1434 NEW BEST:: SOT 1881171 SOS 1168453 HAS SOPS 1168453 HAS SOUS 673891 HAS SOUPS 673891 WITH SCORE 675059.453
AT ITER 1440 NEW BEST:: SOT 1881364 SOS 1168646 HAS SOPS 1168646 HAS SOUS 673642 HAS SOUPS 673642 WITH SCORE 674810.646
AT ITER 1443 NEW BEST:: SOT 1880580 SOS 1168779 HAS SOPS 1168779 HAS SOUS 673381 HAS SOUPS 673381 WITH SCORE 674549.779
AT ITER 1445 NEW BEST:: SOT 1880149 SOS 1168348 HAS SOPS 1168348 HAS SOUS 672950 HAS SOUPS 672950 WITH SCORE 674118.348
AT ITER 1452 NEW BEST:: SOT 1879822 SOS 1163916 HAS SOPS 1163916 HAS SOUS 671478 HAS SOUPS 671478 WITH SCORE 672641.916
AT ITER 1463 NEW BEST:: SOT 1878684 SOS 1162778 HAS SOPS 1162778 HAS SOUS 670340 HAS SOUPS 670340 WITH SCORE 671502.778
AT ITER 1464 NEW BEST:: SOT 1878017 SOS 1162562 HAS SOPS 1162562 HAS SOUS 670123 HAS SOUPS 670123 WITH SCORE 671285.562
AT ITER 1465 NEW BEST:: SOT 1878017 SOS 1162491 HAS SOPS 1162491 HAS SOUS 670052 HAS SOUPS 670052 WITH SCORE 671214.491
AT ITER 1474 NEW BEST:: SOT 1877784 SOS 1162258 HAS SOPS 1162258 HAS SOUS 669819 HAS SOUPS 669819 WITH SCORE 670981.258
AT ITER 1477 NEW BEST:: SOT 1876822 SOS 1161501 HAS SOPS 1161501 HAS SOUS 668552 HAS SOUPS 668552 WITH SCORE 669713.501
AT ITER 1480 NEW BEST:: SOT 1876507 SOS 1160754 HAS SOPS 1160754 HAS SOUS 667805 HAS SOUPS 667805 WITH SCORE 668965.754
AT ITER 1484 NEW BEST:: SOT 1875356 SOS 1159602 HAS SOPS 1159602 HAS SOUS 666653 HAS SOUPS 666653 WITH SCORE 667812.602
AT ITER 1486 NEW BEST:: SOT 1875275 SOS 1159521 HAS SOPS 1159521 HAS SOUS 666572 HAS SOUPS 666572 WITH SCORE 667731.521
AT ITER 1490 NEW BEST:: SOT 1874384 SOS 1158630 HAS SOPS 1158630 HAS SOUS 665681 HAS SOUPS 665681 WITH SCORE 666839.63
AT ITER 1493 NEW BEST:: SOT 1873078 SOS 1158996 HAS SOPS 1158996 HAS SOUS 664584 HAS SOUPS 664584 WITH SCORE 665742.996
AT ITER 1504 NEW BEST:: SOT 1873078 SOS 1158878 HAS SOPS 1158878 HAS SOUS 664584 HAS SOUPS 664584 WITH SCORE 665742.878
AT ITER 1505 NEW BEST:: SOT 1869913 SOS 1155713 HAS SOPS 1155713 HAS SOUS 661369 HAS SOUPS 661369 WITH SCORE 662524.713
AT ITER 1506 NEW BEST:: SOT 1870016 SOS 1155816 HAS SOPS 1155816 HAS SOUS 661360 HAS SOUPS 661360 WITH SCORE 662515.816
AT ITER 1511 NEW BEST:: SOT 1869857 SOS 1155648 HAS SOPS 1155648 HAS SOUS 661192 HAS SOUPS 661192 WITH SCORE 662347.648
AT ITER 1513 NEW BEST:: SOT 1869896 SOS 1155589 HAS SOPS 1155589 HAS SOUS 661133 HAS SOUPS 661133 WITH SCORE 662288.589
AT ITER 1521 NEW BEST:: SOT 1870010 SOS 1155181 HAS SOPS 1155181 HAS SOUS 661133 HAS SOUPS 661133 WITH SCORE 662288.181
AT ITER 1526 NEW BEST:: SOT 1870006 SOS 1155177 HAS SOPS 1155177 HAS SOUS 661128 HAS SOUPS 661128 WITH SCORE 662283.177
AT ITER 1527 NEW BEST:: SOT 1869987 SOS 1155158 HAS SOPS 1155158 HAS SOUS 661098 HAS SOUPS 661098 WITH SCORE 662253.158
AT ITER 1534 NEW BEST:: SOT 1871210 SOS 1154891 HAS SOPS 1154891 HAS SOUS 660997 HAS SOUPS 660997 WITH SCORE 662151.891
AT ITER 1540 NEW BEST:: SOT 1871064 SOS 1153830 HAS SOPS 1153830 HAS SOUS 660865 HAS SOUPS 660865 WITH SCORE 662018.83
AT ITER 1541 NEW BEST:: SOT 1870553 SOS 1153756 HAS SOPS 1153756 HAS SOUS 660791 HAS SOUPS 660791 WITH SCORE 661944.756
AT ITER 1543 NEW BEST:: SOT 1870553 SOS 1153710 HAS SOPS 1153710 HAS SOUS 660754 HAS SOUPS 660754 WITH SCORE 661907.71
AT ITER 1559 NEW BEST:: SOT 1867879 SOS 1153738 HAS SOPS 1153738 HAS SOUS 658943 HAS SOUPS 658943 WITH SCORE 660096.738
AT ITER 1560 NEW BEST:: SOT 1867628 SOS 1153236 HAS SOPS 1153236 HAS SOUS 658441 HAS SOUPS 658441 WITH SCORE 659594.236
AT ITER 1561 NEW BEST:: SOT 1864298 SOS 1150898 HAS SOPS 1150898 HAS SOUS 655453 HAS SOUPS 655453 WITH SCORE 656603.898
AT ITER 1573 NEW BEST:: SOT 1864298 SOS 1150519 HAS SOPS 1150519 HAS SOUS 655074 HAS SOUPS 655074 WITH SCORE 656224.519
AT ITER 1574 NEW BEST:: SOT 1864298 SOS 1145844 HAS SOPS 1145844 HAS SOUS 655074 HAS SOUPS 655074 WITH SCORE 656219.844
AT ITER 1586 NEW BEST:: SOT 1864253 SOS 1145670 HAS SOPS 1145670 HAS SOUS 654900 HAS SOUPS 654900 WITH SCORE 656045.67
AT ITER 1588 NEW BEST:: SOT 1864130 SOS 1145279 HAS SOPS 1145279 HAS SOUS 654357 HAS SOUPS 654357 WITH SCORE 655502.279
AT ITER 1596 NEW BEST:: SOT 1864041 SOS 1145190 HAS SOPS 1145190 HAS SOUS 654330 HAS SOUPS 654330 WITH SCORE 655475.19
AT ITER 1599 NEW BEST:: SOT 1864010 SOS 1145188 HAS SOPS 1145188 HAS SOUS 654325 HAS SOUPS 654325 WITH SCORE 655470.188
AT ITER 1609 NEW BEST:: SOT 1863929 SOS 1145104 HAS SOPS 1145104 HAS SOUS 654320 HAS SOUPS 654320 WITH SCORE 655465.104
AT ITER 1629 NEW BEST:: SOT 1863881 SOS 1145056 HAS SOPS 1145056 HAS SOUS 654235 HAS SOUPS 654235 WITH SCORE 655380.056
AT ITER 1633 NEW BEST:: SOT 1863218 SOS 1144393 HAS SOPS 1144393 HAS SOUS 653572 HAS SOUPS 653572 WITH SCORE 654716.393
AT ITER 1634 NEW BEST:: SOT 1863195 SOS 1143945 HAS SOPS 1143945 HAS SOUS 653124 HAS SOUPS 653124 WITH SCORE 654267.945
AT ITER 1636 NEW BEST:: SOT 1863387 SOS 1143059 HAS SOPS 1143059 HAS SOUS 653065 HAS SOUPS 653065 WITH SCORE 654208.059
AT ITER 1640 NEW BEST:: SOT 1863537 SOS 1142969 HAS SOPS 1142969 HAS SOUS 652977 HAS SOUPS 652977 WITH SCORE 654119.969
AT ITER 1641 NEW BEST:: SOT 1863508 SOS 1142940 HAS SOPS 1142940 HAS SOUS 652948 HAS SOUPS 652948 WITH SCORE 654090.94
AT ITER 1643 NEW BEST:: SOT 1863306 SOS 1142738 HAS SOPS 1142738 HAS SOUS 652746 HAS SOUPS 652746 WITH SCORE 653888.738
AT ITER 1659 NEW BEST:: SOT 1863306 SOS 1138840 HAS SOPS 1138840 HAS SOUS 652748 HAS SOUPS 652748 WITH SCORE 653886.84
AT ITER 1660 NEW BEST:: SOT 1863306 SOS 1138622 HAS SOPS 1138622 HAS SOUS 652747 HAS SOUPS 652747 WITH SCORE 653885.622
AT ITER 1667 NEW BEST:: SOT 1862926 SOS 1138375 HAS SOPS 1138375 HAS SOUS 652551 HAS SOUPS 652551 WITH SCORE 653689.375
AT ITER 1675 NEW BEST:: SOT 1862497 SOS 1138207 HAS SOPS 1138207 HAS SOUS 652382 HAS SOUPS 652382 WITH SCORE 653520.207
AT ITER 1684 NEW BEST:: SOT 1862497 SOS 1136043 HAS SOPS 1136043 HAS SOUS 652070 HAS SOUPS 652070 WITH SCORE 653206.043
AT ITER 1690 NEW BEST:: SOT 1862008 SOS 1130107 HAS SOPS 1130107 HAS SOUS 651792 HAS SOUPS 651792 WITH SCORE 652922.107
AT ITER 1692 NEW BEST:: SOT 1859127 SOS 1127468 HAS SOPS 1127468 HAS SOUS 648606 HAS SOUPS 648606 WITH SCORE 649733.468
AT ITER 1694 NEW BEST:: SOT 1860006 SOS 1126783 HAS SOPS 1126783 HAS SOUS 647429 HAS SOUPS 647429 WITH SCORE 648555.783
AT ITER 1698 NEW BEST:: SOT 1859866 SOS 1124984 HAS SOPS 1124984 HAS SOUS 647239 HAS SOUPS 647239 WITH SCORE 648363.984
AT ITER 1713 NEW BEST:: SOT 1859923 SOS 1124835 HAS SOPS 1124835 HAS SOUS 647207 HAS SOUPS 647207 WITH SCORE 648331.835
AT ITER 1715 NEW BEST:: SOT 1859921 SOS 1124833 HAS SOPS 1124833 HAS SOUS 647205 HAS SOUPS 647205 WITH SCORE 648329.833
AT ITER 1716 NEW BEST:: SOT 1859917 SOS 1124849 HAS SOPS 1124849 HAS SOUS 647203 HAS SOUPS 647203 WITH SCORE 648327.849
AT ITER 1720 NEW BEST:: SOT 1859545 SOS 1124496 HAS SOPS 1124496 HAS SOUS 646850 HAS SOUPS 646850 WITH SCORE 647974.496
AT ITER 1732 NEW BEST:: SOT 1859545 SOS 1124446 HAS SOPS 1124446 HAS SOUS 646849 HAS SOUPS 646849 WITH SCORE 647973.446
AT ITER 1738 NEW BEST:: SOT 1859638 SOS 1124261 HAS SOPS 1124261 HAS SOUS 646664 HAS SOUPS 646664 WITH SCORE 647788.261
AT ITER 1741 NEW BEST:: SOT 1859727 SOS 1123782 HAS SOPS 1123782 HAS SOUS 645786 HAS SOUPS 645786 WITH SCORE 646909.782
AT ITER 1752 NEW BEST:: SOT 1859434 SOS 1123053 HAS SOPS 1123053 HAS SOUS 645485 HAS SOUPS 645485 WITH SCORE 646608.053
AT ITER 1756 NEW BEST:: SOT 1859434 SOS 1123053 HAS SOPS 1123053 HAS SOUS 645483 HAS SOUPS 645483 WITH SCORE 646606.053
AT ITER 1758 NEW BEST:: SOT 1859556 SOS 1122750 HAS SOPS 1122750 HAS SOUS 645454 HAS SOUPS 645454 WITH SCORE 646576.75
AT ITER 1764 NEW BEST:: SOT 1859541 SOS 1122720 HAS SOPS 1122720 HAS SOUS 645424 HAS SOUPS 645424 WITH SCORE 646546.72
AT ITER 1766 NEW BEST:: SOT 1859123 SOS 1121329 HAS SOPS 1121329 HAS SOUS 644639 HAS SOUPS 644639 WITH SCORE 645760.329
AT ITER 1768 NEW BEST:: SOT 1859123 SOS 1121576 HAS SOPS 1121576 HAS SOUS 644542 HAS SOUPS 644542 WITH SCORE 645663.576
AT ITER 1774 NEW BEST:: SOT 1859121 SOS 1121574 HAS SOPS 1121574 HAS SOUS 644540 HAS SOUPS 644540 WITH SCORE 645661.574
AT ITER 1779 NEW BEST:: SOT 1859121 SOS 1121595 HAS SOPS 1121595 HAS SOUS 644337 HAS SOUPS 644337 WITH SCORE 645458.595
AT ITER 1788 NEW BEST:: SOT 1859258 SOS 1121095 HAS SOPS 1121095 HAS SOUS 644016 HAS SOUPS 644016 WITH SCORE 645137.095
AT ITER 1794 NEW BEST:: SOT 1859076 SOS 1120906 HAS SOPS 1120906 HAS SOUS 643827 HAS SOUPS 643827 WITH SCORE 644947.906
AT ITER 1795 NEW BEST:: SOT 1858897 SOS 1120574 HAS SOPS 1120574 HAS SOUS 643529 HAS SOUPS 643529 WITH SCORE 644649.574
AT ITER 1796 NEW BEST:: SOT 1858874 SOS 1120551 HAS SOPS 1120551 HAS SOUS 643483 HAS SOUPS 643483 WITH SCORE 644603.551
AT ITER 1803 NEW BEST:: SOT 1858874 SOS 1120256 HAS SOPS 1120256 HAS SOUS 643483 HAS SOUPS 643483 WITH SCORE 644603.256
AT ITER 1811 NEW BEST:: SOT 1858299 SOS 1119438 HAS SOPS 1119438 HAS SOUS 643166 HAS SOUPS 643166 WITH SCORE 644285.438
AT ITER 1818 NEW BEST:: SOT 1858192 SOS 1119255 HAS SOPS 1119255 HAS SOUS 642983 HAS SOUPS 642983 WITH SCORE 644102.255
AT ITER 1820 NEW BEST:: SOT 1858104 SOS 1119167 HAS SOPS 1119167 HAS SOUS 642982 HAS SOUPS 642982 WITH SCORE 644101.167
AT ITER 1822 NEW BEST:: SOT 1857849 SOS 1118241 HAS SOPS 1118241 HAS SOUS 642643 HAS SOUPS 642643 WITH SCORE 643761.241
AT ITER 1823 NEW BEST:: SOT 1857467 SOS 1117910 HAS SOPS 1117910 HAS SOUS 642626 HAS SOUPS 642626 WITH SCORE 643743.91
AT ITER 1826 NEW BEST:: SOT 1857467 SOS 1117910 HAS SOPS 1117910 HAS SOUS 642625 HAS SOUPS 642625 WITH SCORE 643742.91
AT ITER 1838 NEW BEST:: SOT 1857252 SOS 1117695 HAS SOPS 1117695 HAS SOUS 642193 HAS SOUPS 642193 WITH SCORE 643310.695
AT ITER 1844 NEW BEST:: SOT 1857252 SOS 1117695 HAS SOPS 1117695 HAS SOUS 642192 HAS SOUPS 642192 WITH SCORE 643309.695
AT ITER 1850 NEW BEST:: SOT 1857034 SOS 1116998 HAS SOPS 1116998 HAS SOUS 641495 HAS SOUPS 641495 WITH SCORE 642611.998
AT ITER 1859 NEW BEST:: SOT 1857034 SOS 1117388 HAS SOPS 1117388 HAS SOUS 641365 HAS SOUPS 641365 WITH SCORE 642482.388
AT ITER 1863 NEW BEST:: SOT 1856884 SOS 1117122 HAS SOPS 1117122 HAS SOUS 641099 HAS SOUPS 641099 WITH SCORE 642216.122
AT ITER 1869 NEW BEST:: SOT 1856883 SOS 1117129 HAS SOPS 1117129 HAS SOUS 641098 HAS SOUPS 641098 WITH SCORE 642215.129
AT ITER 1876 NEW BEST:: SOT 1856873 SOS 1116829 HAS SOPS 1116829 HAS SOUS 641086 HAS SOUPS 641086 WITH SCORE 642202.829
AT ITER 1885 NEW BEST:: SOT 1856514 SOS 1116470 HAS SOPS 1116470 HAS SOUS 640727 HAS SOUPS 640727 WITH SCORE 641843.47
AT ITER 1887 NEW BEST:: SOT 1856514 SOS 1116456 HAS SOPS 1116456 HAS SOUS 640713 HAS SOUPS 640713 WITH SCORE 641829.456
AT ITER 1888 NEW BEST:: SOT 1856182 SOS 1116124 HAS SOPS 1116124 HAS SOUS 640618 HAS SOUPS 640618 WITH SCORE 641734.124
AT ITER 1889 NEW BEST:: SOT 1854644 SOS 1115112 HAS SOPS 1115112 HAS SOUS 639340 HAS SOUPS 639340 WITH SCORE 640455.112
AT ITER 1901 NEW BEST:: SOT 1854644 SOS 1114956 HAS SOPS 1114956 HAS SOUS 639184 HAS SOUPS 639184 WITH SCORE 640298.956
AT ITER 1905 NEW BEST:: SOT 1852923 SOS 1113235 HAS SOPS 1113235 HAS SOUS 637458 HAS SOUPS 637458 WITH SCORE 638571.235
AT ITER 1910 NEW BEST:: SOT 1852572 SOS 1112533 HAS SOPS 1112533 HAS SOUS 636756 HAS SOUPS 636756 WITH SCORE 637868.533
AT ITER 1915 NEW BEST:: SOT 1852074 SOS 1109135 HAS SOPS 1109135 HAS SOUS 635982 HAS SOUPS 635982 WITH SCORE 637091.135
AT ITER 1918 NEW BEST:: SOT 1851793 SOS 1108854 HAS SOPS 1108854 HAS SOUS 635700 HAS SOUPS 635700 WITH SCORE 636808.854
AT ITER 1926 NEW BEST:: SOT 1851287 SOS 1108348 HAS SOPS 1108348 HAS SOUS 635161 HAS SOUPS 635161 WITH SCORE 636269.348
AT ITER 1934 NEW BEST:: SOT 1850954 SOS 1106655 HAS SOPS 1106655 HAS SOUS 634146 HAS SOUPS 634146 WITH SCORE 635252.655
AT ITER 1937 NEW BEST:: SOT 1850919 SOS 1106410 HAS SOPS 1106410 HAS SOUS 634111 HAS SOUPS 634111 WITH SCORE 635217.41
AT ITER 1940 NEW BEST:: SOT 1850646 SOS 1103606 HAS SOPS 1103606 HAS SOUS 633953 HAS SOUPS 633953 WITH SCORE 635056.606
AT ITER 1941 NEW BEST:: SOT 1850607 SOS 1103567 HAS SOPS 1103567 HAS SOUS 633914 HAS SOUPS 633914 WITH SCORE 635017.567
AT ITER 1942 NEW BEST:: SOT 1849163 SOS 1102123 HAS SOPS 1102123 HAS SOUS 632470 HAS SOUPS 632470 WITH SCORE 633572.123
AT ITER 1943 NEW BEST:: SOT 1848386 SOS 1097894 HAS SOPS 1097894 HAS SOUS 630474 HAS SOUPS 630474 WITH SCORE 631571.894
AT ITER 1956 NEW BEST:: SOT 1848916 SOS 1098722 HAS SOPS 1098722 HAS SOUS 630379 HAS SOUPS 630379 WITH SCORE 631477.722
AT ITER 1963 NEW BEST:: SOT 1848916 SOS 1098722 HAS SOPS 1098722 HAS SOUS 629715 HAS SOUPS 629715 WITH SCORE 630813.722
AT ITER 1979 NEW BEST:: SOT 1848436 SOS 1097032 HAS SOPS 1097032 HAS SOUS 628833 HAS SOUPS 628833 WITH SCORE 629930.032
AT ITER 2005 NEW BEST:: SOT 1848068 SOS 1096664 HAS SOPS 1096664 HAS SOUS 628334 HAS SOUPS 628334 WITH SCORE 629430.664
AT ITER 2012 NEW BEST:: SOT 1847564 SOS 1096160 HAS SOPS 1096160 HAS SOUS 627919 HAS SOUPS 627919 WITH SCORE 629015.16
AT ITER 2017 NEW BEST:: SOT 1847564 SOS 1096591 HAS SOPS 1096591 HAS SOUS 627723 HAS SOUPS 627723 WITH SCORE 628819.591
AT ITER 2031 NEW BEST:: SOT 1847564 SOS 1096548 HAS SOPS 1096548 HAS SOUS 627658 HAS SOUPS 627658 WITH SCORE 628754.548
AT ITER 2042 NEW BEST:: SOT 1847508 SOS 1096492 HAS SOPS 1096492 HAS SOUS 627656 HAS SOUPS 627656 WITH SCORE 628752.492
AT ITER 2047 NEW BEST:: SOT 1847507 SOS 1096111 HAS SOPS 1096111 HAS SOUS 627654 HAS SOUPS 627654 WITH SCORE 628750.111
AT ITER 2063 NEW BEST:: SOT 1847507 SOS 1096075 HAS SOPS 1096075 HAS SOUS 627654 HAS SOUPS 627654 WITH SCORE 628750.075
AT ITER 2074 NEW BEST:: SOT 1847507 SOS 1096061 HAS SOPS 1096061 HAS SOUS 627640 HAS SOUPS 627640 WITH SCORE 628736.061
AT ITER 2081 NEW BEST:: SOT 1847522 SOS 1094812 HAS SOPS 1094812 HAS SOUS 626570 HAS SOUPS 626570 WITH SCORE 627664.812
AT ITER 2096 NEW BEST:: SOT 1847522 SOS 1094166 HAS SOPS 1094166 HAS SOUS 626569 HAS SOUPS 626569 WITH SCORE 627663.166
AT ITER 2099 NEW BEST:: SOT 1847464 SOS 1094050 HAS SOPS 1094050 HAS SOUS 626511 HAS SOUPS 626511 WITH SCORE 627605.05
AT ITER 2100 NEW BEST:: SOT 1847244 SOS 1093829 HAS SOPS 1093829 HAS SOUS 626510 HAS SOUPS 626510 WITH SCORE 627603.829
AT ITER 2112 NEW BEST:: SOT 1847244 SOS 1093409 HAS SOPS 1093409 HAS SOUS 626090 HAS SOUPS 626090 WITH SCORE 627183.409
AT ITER 2120 NEW BEST:: SOT 1847274 SOS 1093066 HAS SOPS 1093066 HAS SOUS 625776 HAS SOUPS 625776 WITH SCORE 626869.066
AT ITER 2127 NEW BEST:: SOT 1847188 SOS 1092785 HAS SOPS 1092785 HAS SOUS 625580 HAS SOUPS 625580 WITH SCORE 626672.785
AT ITER 2129 NEW BEST:: SOT 1847187 SOS 1092784 HAS SOPS 1092784 HAS SOUS 625579 HAS SOUPS 625579 WITH SCORE 626671.784
AT ITER 2130 NEW BEST:: SOT 1847137 SOS 1092734 HAS SOPS 1092734 HAS SOUS 625550 HAS SOUPS 625550 WITH SCORE 626642.734
AT ITER 2134 NEW BEST:: SOT 1847078 SOS 1092674 HAS SOPS 1092674 HAS SOUS 625431 HAS SOUPS 625431 WITH SCORE 626523.674
AT ITER 2139 NEW BEST:: SOT 1846283 SOS 1091276 HAS SOPS 1091276 HAS SOUS 624786 HAS SOUPS 624786 WITH SCORE 625877.276
AT ITER 2143 NEW BEST:: SOT 1846387 SOS 1091183 HAS SOPS 1091183 HAS SOUS 624708 HAS SOUPS 624708 WITH SCORE 625799.183
AT ITER 2144 NEW BEST:: SOT 1846387 SOS 1091214 HAS SOPS 1091214 HAS SOUS 624474 HAS SOUPS 624474 WITH SCORE 625565.214
AT ITER 2145 NEW BEST:: SOT 1846129 SOS 1090956 HAS SOPS 1090956 HAS SOUS 624216 HAS SOUPS 624216 WITH SCORE 625306.956
AT ITER 2151 NEW BEST:: SOT 1845556 SOS 1088501 HAS SOPS 1088501 HAS SOUS 622919 HAS SOUPS 622919 WITH SCORE 624007.501
AT ITER 2159 NEW BEST:: SOT 1845556 SOS 1088391 HAS SOPS 1088391 HAS SOUS 622833 HAS SOUPS 622833 WITH SCORE 623921.391
AT ITER 2160 NEW BEST:: SOT 1845345 SOS 1088313 HAS SOPS 1088313 HAS SOUS 622548 HAS SOUPS 622548 WITH SCORE 623636.313
AT ITER 2162 NEW BEST:: SOT 1845344 SOS 1088305 HAS SOPS 1088305 HAS SOUS 622541 HAS SOUPS 622541 WITH SCORE 623629.305
AT ITER 2163 NEW BEST:: SOT 1845344 SOS 1084712 HAS SOPS 1084712 HAS SOUS 622250 HAS SOUPS 622250 WITH SCORE 623334.712
AT ITER 2173 NEW BEST:: SOT 1844845 SOS 1083839 HAS SOPS 1083839 HAS SOUS 620931 HAS SOUPS 620931 WITH SCORE 622014.839
AT ITER 2182 NEW BEST:: SOT 1844845 SOS 1083711 HAS SOPS 1083711 HAS SOUS 620931 HAS SOUPS 620931 WITH SCORE 622014.711
AT ITER 2206 NEW BEST:: SOT 1844576 SOS 1082673 HAS SOPS 1082673 HAS SOUS 620815 HAS SOUPS 620815 WITH SCORE 621897.673
AT ITER 2209 NEW BEST:: SOT 1844731 SOS 1082657 HAS SOPS 1082657 HAS SOUS 620799 HAS SOUPS 620799 WITH SCORE 621881.657
AT ITER 2225 NEW BEST:: SOT 1844930 SOS 1083214 HAS SOPS 1083214 HAS SOUS 620603 HAS SOUPS 620603 WITH SCORE 621686.214
AT ITER 2233 NEW BEST:: SOT 1844772 SOS 1081960 HAS SOPS 1081960 HAS SOUS 619957 HAS SOUPS 619957 WITH SCORE 621038.96
AT ITER 2239 NEW BEST:: SOT 1844699 SOS 1082091 HAS SOPS 1082091 HAS SOUS 619874 HAS SOUPS 619874 WITH SCORE 620956.091
AT ITER 2241 NEW BEST:: SOT 1844699 SOS 1082054 HAS SOPS 1082054 HAS SOUS 619874 HAS SOUPS 619874 WITH SCORE 620956.054
AT ITER 2246 NEW BEST:: SOT 1844829 SOS 1082184 HAS SOPS 1082184 HAS SOUS 619855 HAS SOUPS 619855 WITH SCORE 620937.184
AT ITER 2261 NEW BEST:: SOT 1844829 SOS 1081615 HAS SOPS 1081615 HAS SOUS 619755 HAS SOUPS 619755 WITH SCORE 620836.615
AT ITER 2289 NEW BEST:: SOT 1844678 SOS 1081464 HAS SOPS 1081464 HAS SOUS 619604 HAS SOUPS 619604 WITH SCORE 620685.464
AT ITER 2293 NEW BEST:: SOT 1844677 SOS 1081443 HAS SOPS 1081443 HAS SOUS 619593 HAS SOUPS 619593 WITH SCORE 620674.443
AT ITER 2294 NEW BEST:: SOT 1837198 SOS 1072903 HAS SOPS 1072903 HAS SOUS 611053 HAS SOUPS 611053 WITH SCORE 612125.903
AT ITER 2304 NEW BEST:: SOT 1837080 SOS 1073387 HAS SOPS 1073387 HAS SOUS 611032 HAS SOUPS 611032 WITH SCORE 612105.387
AT ITER 2311 NEW BEST:: SOT 1837000 SOS 1072064 HAS SOPS 1072064 HAS SOUS 610026 HAS SOUPS 610026 WITH SCORE 611098.064
AT ITER 2318 NEW BEST:: SOT 1836975 SOS 1072014 HAS SOPS 1072014 HAS SOUS 610001 HAS SOUPS 610001 WITH SCORE 611073.014
AT ITER 2321 NEW BEST:: SOT 1836975 SOS 1070753 HAS SOPS 1070753 HAS SOUS 609711 HAS SOUPS 609711 WITH SCORE 610781.753
AT ITER 2323 NEW BEST:: SOT 1836937 SOS 1070715 HAS SOPS 1070715 HAS SOUS 609673 HAS SOUPS 609673 WITH SCORE 610743.715
AT ITER 2355 NEW BEST:: SOT 1836937 SOS 1070677 HAS SOPS 1070677 HAS SOUS 609635 HAS SOUPS 609635 WITH SCORE 610705.677
AT ITER 2360 NEW BEST:: SOT 1836746 SOS 1070121 HAS SOPS 1070121 HAS SOUS 609253 HAS SOUPS 609253 WITH SCORE 610323.121
AT ITER 2394 NEW BEST:: SOT 1835771 SOS 1070365 HAS SOPS 1070365 HAS SOUS 608827 HAS SOUPS 608827 WITH SCORE 609897.365
AT ITER 2396 NEW BEST:: SOT 1820443 SOS 1059783 HAS SOPS 1059783 HAS SOUS 593214 HAS SOUPS 593214 WITH SCORE 594273.783
AT ITER 2407 NEW BEST:: SOT 1820443 SOS 1059783 HAS SOPS 1059783 HAS SOUS 593182 HAS SOUPS 593182 WITH SCORE 594241.783
AT ITER 2416 NEW BEST:: SOT 1820315 SOS 1059655 HAS SOPS 1059655 HAS SOUS 593054 HAS SOUPS 593054 WITH SCORE 594113.655
AT ITER 2430 NEW BEST:: SOT 1820146 SOS 1057264 HAS SOPS 1057264 HAS SOUS 592707 HAS SOUPS 592707 WITH SCORE 593764.264
AT ITER 2441 NEW BEST:: SOT 1820012 SOS 1056193 HAS SOPS 1056193 HAS SOUS 592680 HAS SOUPS 592680 WITH SCORE 593736.193
AT ITER 2449 NEW BEST:: SOT 1818946 SOS 1055489 HAS SOPS 1055489 HAS SOUS 591983 HAS SOUPS 591983 WITH SCORE 593038.489
AT ITER 2453 NEW BEST:: SOT 1818845 SOS 1055388 HAS SOPS 1055388 HAS SOUS 591958 HAS SOUPS 591958 WITH SCORE 593013.388
AT ITER 2461 NEW BEST:: SOT 1815503 SOS 1052010 HAS SOPS 1052010 HAS SOUS 588580 HAS SOUPS 588580 WITH SCORE 589632.01
AT ITER 2466 NEW BEST:: SOT 1815414 SOS 1051832 HAS SOPS 1051832 HAS SOUS 588402 HAS SOUPS 588402 WITH SCORE 589453.832
AT ITER 2470 NEW BEST:: SOT 1815409 SOS 1051583 HAS SOPS 1051583 HAS SOUS 588153 HAS SOUPS 588153 WITH SCORE 589204.583
AT ITER 2476 NEW BEST:: SOT 1815255 SOS 1050950 HAS SOPS 1050950 HAS SOUS 586979 HAS SOUPS 586979 WITH SCORE 588029.95
AT ITER 2480 NEW BEST:: SOT 1815142 SOS 1050250 HAS SOPS 1050250 HAS SOUS 586354 HAS SOUPS 586354 WITH SCORE 587404.25
AT ITER 2483 NEW BEST:: SOT 1815133 SOS 1050243 HAS SOPS 1050243 HAS SOUS 586344 HAS SOUPS 586344 WITH SCORE 587394.243
AT ITER 2500 NEW BEST:: SOT 1815133 SOS 1050243 HAS SOPS 1050243 HAS SOUS 586330 HAS SOUPS 586330 WITH SCORE 587380.243
AT ITER 2501 NEW BEST:: SOT 1814972 SOS 1050295 HAS SOPS 1050295 HAS SOUS 586001 HAS SOUPS 586001 WITH SCORE 587051.295
AT ITER 2502 NEW BEST:: SOT 1814899 SOS 1050210 HAS SOPS 1050210 HAS SOUS 585776 HAS SOUPS 585776 WITH SCORE 586826.21
AT ITER 2515 NEW BEST:: SOT 1814822 SOS 1050133 HAS SOPS 1050133 HAS SOUS 585686 HAS SOUPS 585686 WITH SCORE 586736.133
AT ITER 2537 NEW BEST:: SOT 1805252 SOS 1040563 HAS SOPS 1040563 HAS SOUS 576116 HAS SOUPS 576116 WITH SCORE 577156.563
AT ITER 2548 NEW BEST:: SOT 1804813 SOS 1040377 HAS SOPS 1040377 HAS SOUS 575942 HAS SOUPS 575942 WITH SCORE 576982.377
AT ITER 2553 NEW BEST:: SOT 1804757 SOS 1040232 HAS SOPS 1040232 HAS SOUS 575797 HAS SOUPS 575797 WITH SCORE 576837.232
AT ITER 2560 NEW BEST:: SOT 1804730 SOS 1040205 HAS SOPS 1040205 HAS SOUS 575756 HAS SOUPS 575756 WITH SCORE 576796.205
AT ITER 2565 NEW BEST:: SOT 1804643 SOS 1040064 HAS SOPS 1040064 HAS SOUS 575745 HAS SOUPS 575745 WITH SCORE 576785.064
AT ITER 2570 NEW BEST:: SOT 1804508 SOS 1039982 HAS SOPS 1039982 HAS SOUS 575703 HAS SOUPS 575703 WITH SCORE 576742.982
AT ITER 2572 NEW BEST:: SOT 1804837 SOS 1040311 HAS SOPS 1040311 HAS SOUS 575522 HAS SOUPS 575522 WITH SCORE 576562.311
AT ITER 2587 NEW BEST:: SOT 1804582 SOS 1039801 HAS SOPS 1039801 HAS SOUS 575012 HAS SOUPS 575012 WITH SCORE 576051.801
AT ITER 2592 NEW BEST:: SOT 1804841 SOS 1039963 HAS SOPS 1039963 HAS SOUS 574779 HAS SOUPS 574779 WITH SCORE 575818.963
AT ITER 2593 NEW BEST:: SOT 1804870 SOS 1039961 HAS SOPS 1039961 HAS SOUS 574777 HAS SOUPS 574777 WITH SCORE 575816.961
AT ITER 2594 NEW BEST:: SOT 1804870 SOS 1039863 HAS SOPS 1039863 HAS SOUS 574777 HAS SOUPS 574777 WITH SCORE 575816.863
AT ITER 2597 NEW BEST:: SOT 1804711 SOS 1039145 HAS SOPS 1039145 HAS SOUS 574405 HAS SOUPS 574405 WITH SCORE 575444.145
AT ITER 2598 NEW BEST:: SOT 1802487 SOS 1036917 HAS SOPS 1036917 HAS SOUS 572177 HAS SOUPS 572177 WITH SCORE 573213.917
AT ITER 2605 NEW BEST:: SOT 1802933 SOS 1037363 HAS SOPS 1037363 HAS SOUS 572078 HAS SOUPS 572078 WITH SCORE 573115.363
AT ITER 2625 NEW BEST:: SOT 1802913 SOS 1037343 HAS SOPS 1037343 HAS SOUS 572058 HAS SOUPS 572058 WITH SCORE 573095.343
AT ITER 2627 NEW BEST:: SOT 1802804 SOS 1037022 HAS SOPS 1037022 HAS SOUS 571737 HAS SOUPS 571737 WITH SCORE 572774.022
AT ITER 2637 NEW BEST:: SOT 1802023 SOS 1036191 HAS SOPS 1036191 HAS SOUS 570588 HAS SOUPS 570588 WITH SCORE 571624.191
AT ITER 2643 NEW BEST:: SOT 1802241 SOS 1035124 HAS SOPS 1035124 HAS SOUS 569619 HAS SOUPS 569619 WITH SCORE 570654.124
AT ITER 2644 NEW BEST:: SOT 1801881 SOS 1034755 HAS SOPS 1034755 HAS SOUS 569250 HAS SOUPS 569250 WITH SCORE 570284.755
AT ITER 2646 NEW BEST:: SOT 1801881 SOS 1046751 HAS SOPS 1046751 HAS SOUS 569225 HAS SOUPS 569225 WITH SCORE 570271.751
AT ITER 2652 NEW BEST:: SOT 1801972 SOS 1045850 HAS SOPS 1045850 HAS SOUS 569090 HAS SOUPS 569090 WITH SCORE 570135.85
AT ITER 2669 NEW BEST:: SOT 1801968 SOS 1045815 HAS SOPS 1045815 HAS SOUS 569055 HAS SOUPS 569055 WITH SCORE 570100.815
AT ITER 2673 NEW BEST:: SOT 1801945 SOS 1045792 HAS SOPS 1045792 HAS SOUS 569051 HAS SOUPS 569051 WITH SCORE 570096.792
AT ITER 2684 NEW BEST:: SOT 1801941 SOS 1045794 HAS SOPS 1045794 HAS SOUS 569043 HAS SOUPS 569043 WITH SCORE 570088.794
AT ITER 2692 NEW BEST:: SOT 1801443 SOS 1046314 HAS SOPS 1046314 HAS SOUS 568794 HAS SOUPS 568794 WITH SCORE 569840.314
AT ITER 2693 NEW BEST:: SOT 1801856 SOS 1045900 HAS SOPS 1045900 HAS SOUS 568574 HAS SOUPS 568574 WITH SCORE 569619.9
AT ITER 2707 NEW BEST:: SOT 1802075 SOS 1046023 HAS SOPS 1046023 HAS SOUS 568426 HAS SOUPS 568426 WITH SCORE 569472.023
AT ITER 2721 NEW BEST:: SOT 1800803 SOS 1048155 HAS SOPS 1048155 HAS SOUS 567605 HAS SOUPS 567605 WITH SCORE 568653.155
AT ITER 2722 NEW BEST:: SOT 1800815 SOS 1047363 HAS SOPS 1047363 HAS SOUS 566947 HAS SOUPS 566947 WITH SCORE 567994.363
AT ITER 2725 NEW BEST:: SOT 1797446 SOS 1046589 HAS SOPS 1046589 HAS SOUS 564192 HAS SOUPS 564192 WITH SCORE 565238.589
AT ITER 2727 NEW BEST:: SOT 1797446 SOS 1046223 HAS SOPS 1046223 HAS SOUS 564192 HAS SOUPS 564192 WITH SCORE 565238.223
AT ITER 2731 NEW BEST:: SOT 1797116 SOS 1045559 HAS SOPS 1045559 HAS SOUS 563530 HAS SOUPS 563530 WITH SCORE 564575.559
AT ITER 2736 NEW BEST:: SOT 1797269 SOS 1045558 HAS SOPS 1045558 HAS SOUS 563524 HAS SOUPS 563524 WITH SCORE 564569.558
AT ITER 2739 NEW BEST:: SOT 1797044 SOS 1045333 HAS SOPS 1045333 HAS SOUS 563074 HAS SOUPS 563074 WITH SCORE 564119.333
AT ITER 2742 NEW BEST:: SOT 1797043 SOS 1045010 HAS SOPS 1045010 HAS SOUS 563072 HAS SOUPS 563072 WITH SCORE 564117.01
AT ITER 2749 NEW BEST:: SOT 1797039 SOS 1045006 HAS SOPS 1045006 HAS SOUS 562967 HAS SOUPS 562967 WITH SCORE 564012.006
AT ITER 2770 NEW BEST:: SOT 1797011 SOS 1044978 HAS SOPS 1044978 HAS SOUS 562939 HAS SOUPS 562939 WITH SCORE 563983.978
AT ITER 2773 NEW BEST:: SOT 1796342 SOS 1044309 HAS SOPS 1044309 HAS SOUS 562270 HAS SOUPS 562270 WITH SCORE 563314.309
AT ITER 2783 NEW BEST:: SOT 1796427 SOS 1044474 HAS SOPS 1044474 HAS SOUS 562261 HAS SOUPS 562261 WITH SCORE 563305.474
AT ITER 2784 NEW BEST:: SOT 1796389 SOS 1044398 HAS SOPS 1044398 HAS SOUS 562185 HAS SOUPS 562185 WITH SCORE 563229.398
AT ITER 2795 NEW BEST:: SOT 1796035 SOS 1045670 HAS SOPS 1045670 HAS SOUS 562108 HAS SOUPS 562108 WITH SCORE 563153.67
AT ITER 2814 NEW BEST:: SOT 1795778 SOS 1044336 HAS SOPS 1044336 HAS SOUS 561525 HAS SOUPS 561525 WITH SCORE 562569.336
AT ITER 2819 NEW BEST:: SOT 1795790 SOS 1044588 HAS SOPS 1044588 HAS SOUS 560977 HAS SOUPS 560977 WITH SCORE 562021.588
AT ITER 2840 NEW BEST:: SOT 1795761 SOS 1044530 HAS SOPS 1044530 HAS SOUS 560919 HAS SOUPS 560919 WITH SCORE 561963.53
AT ITER 2847 NEW BEST:: SOT 1795582 SOS 1044145 HAS SOPS 1044145 HAS SOUS 560683 HAS SOUPS 560683 WITH SCORE 561727.145
AT ITER 2856 NEW BEST:: SOT 1795571 SOS 1044134 HAS SOPS 1044134 HAS SOUS 560672 HAS SOUPS 560672 WITH SCORE 561716.134
AT ITER 2857 NEW BEST:: SOT 1795603 SOS 1044024 HAS SOPS 1044024 HAS SOUS 560290 HAS SOUPS 560290 WITH SCORE 561334.024
AT ITER 2872 NEW BEST:: SOT 1795584 SOS 1043978 HAS SOPS 1043978 HAS SOUS 560244 HAS SOUPS 560244 WITH SCORE 561287.978
AT ITER 2880 NEW BEST:: SOT 1795636 SOS 1044030 HAS SOPS 1044030 HAS SOUS 560210 HAS SOUPS 560210 WITH SCORE 561254.03
AT ITER 2886 NEW BEST:: SOT 1795470 SOS 1043698 HAS SOPS 1043698 HAS SOUS 559961 HAS SOUPS 559961 WITH SCORE 561004.698
AT ITER 2895 NEW BEST:: SOT 1795374 SOS 1043000 HAS SOPS 1043000 HAS SOUS 559729 HAS SOUPS 559729 WITH SCORE 560772.0
AT ITER 2899 NEW BEST:: SOT 1795372 SOS 1042930 HAS SOPS 1042930 HAS SOUS 559718 HAS SOUPS 559718 WITH SCORE 560760.93
AT ITER 2911 NEW BEST:: SOT 1795356 SOS 1042914 HAS SOPS 1042914 HAS SOUS 559701 HAS SOUPS 559701 WITH SCORE 560743.914
AT ITER 2929 NEW BEST:: SOT 1795074 SOS 1042632 HAS SOPS 1042632 HAS SOUS 559419 HAS SOUPS 559419 WITH SCORE 560461.632
AT ITER 2937 NEW BEST:: SOT 1795066 SOS 1041891 HAS SOPS 1041891 HAS SOUS 559090 HAS SOUPS 559090 WITH SCORE 560131.891
AT ITER 2943 NEW BEST:: SOT 1795110 SOS 1041887 HAS SOPS 1041887 HAS SOUS 559038 HAS SOUPS 559038 WITH SCORE 560079.887
AT ITER 2945 NEW BEST:: SOT 1794973 SOS 1041065 HAS SOPS 1041065 HAS SOUS 558764 HAS SOUPS 558764 WITH SCORE 559805.065
AT ITER 2957 NEW BEST:: SOT 1795191 SOS 1041133 HAS SOPS 1041133 HAS SOUS 558752 HAS SOUPS 558752 WITH SCORE 559793.133
AT ITER 2967 NEW BEST:: SOT 1795191 SOS 1041089 HAS SOPS 1041089 HAS SOUS 558752 HAS SOUPS 558752 WITH SCORE 559793.089
AT ITER 2971 NEW BEST:: SOT 1795191 SOS 1040990 HAS SOPS 1040990 HAS SOUS 558649 HAS SOUPS 558649 WITH SCORE 559689.99
AT ITER 2980 NEW BEST:: SOT 1794962 SOS 1040222 HAS SOPS 1040222 HAS SOUS 558420 HAS SOUPS 558420 WITH SCORE 559460.222
AT ITER 2995 NEW BEST:: SOT 1794961 SOS 1040095 HAS SOPS 1040095 HAS SOUS 558418 HAS SOUPS 558418 WITH SCORE 559458.095
AT ITER 2998 NEW BEST:: SOT 1789651 SOS 1051686 HAS SOPS 1051686 HAS SOUS 553397 HAS SOUPS 553397 WITH SCORE 554448.686
AT ITER 3015 NEW BEST:: SOT 1789651 SOS 1051685 HAS SOPS 1051685 HAS SOUS 553396 HAS SOUPS 553396 WITH SCORE 554447.685
AT ITER 3031 NEW BEST:: SOT 1789304 SOS 1051260 HAS SOPS 1051260 HAS SOUS 552702 HAS SOUPS 552702 WITH SCORE 553753.26
AT ITER 3040 NEW BEST:: SOT 1789304 SOS 1051260 HAS SOPS 1051260 HAS SOUS 552658 HAS SOUPS 552658 WITH SCORE 553709.26
AT ITER 3049 NEW BEST:: SOT 1789153 SOS 1051141 HAS SOPS 1051141 HAS SOUS 552437 HAS SOUPS 552437 WITH SCORE 553488.141
AT ITER 3052 NEW BEST:: SOT 1788974 SOS 1050776 HAS SOPS 1050776 HAS SOUS 552258 HAS SOUPS 552258 WITH SCORE 553308.776
AT ITER 3059 NEW BEST:: SOT 1788974 SOS 1050610 HAS SOPS 1050610 HAS SOUS 552175 HAS SOUPS 552175 WITH SCORE 553225.61
AT ITER 3063 NEW BEST:: SOT 1788975 SOS 1050217 HAS SOPS 1050217 HAS SOUS 551873 HAS SOUPS 551873 WITH SCORE 552923.217
AT ITER 3096 NEW BEST:: SOT 1788975 SOS 1049979 HAS SOPS 1049979 HAS SOUS 551873 HAS SOUPS 551873 WITH SCORE 552922.979
AT ITER 3119 NEW BEST:: SOT 1789038 SOS 1049978 HAS SOPS 1049978 HAS SOUS 551526 HAS SOUPS 551526 WITH SCORE 552575.978
AT ITER 3120 NEW BEST:: SOT 1788879 SOS 1049667 HAS SOPS 1049667 HAS SOUS 551258 HAS SOUPS 551258 WITH SCORE 552307.667
AT ITER 3128 NEW BEST:: SOT 1788843 SOS 1049446 HAS SOPS 1049446 HAS SOUS 551037 HAS SOUPS 551037 WITH SCORE 552086.446
AT ITER 3132 NEW BEST:: SOT 1788388 SOS 1048796 HAS SOPS 1048796 HAS SOUS 550127 HAS SOUPS 550127 WITH SCORE 551175.796
AT ITER 3140 NEW BEST:: SOT 1788086 SOS 1048494 HAS SOPS 1048494 HAS SOUS 549845 HAS SOUPS 549845 WITH SCORE 550893.494
AT ITER 3142 NEW BEST:: SOT 1788074 SOS 1048482 HAS SOPS 1048482 HAS SOUS 549821 HAS SOUPS 549821 WITH SCORE 550869.482
AT ITER 3154 NEW BEST:: SOT 1787984 SOS 1048322 HAS SOPS 1048322 HAS SOUS 549706 HAS SOUPS 549706 WITH SCORE 550754.322
AT ITER 3171 NEW BEST:: SOT 1787978 SOS 1048316 HAS SOPS 1048316 HAS SOUS 549700 HAS SOUPS 549700 WITH SCORE 550748.316
AT ITER 3174 NEW BEST:: SOT 1787921 SOS 1049012 HAS SOPS 1049012 HAS SOUS 549625 HAS SOUPS 549625 WITH SCORE 550674.012
AT ITER 3178 NEW BEST:: SOT 1787905 SOS 1048980 HAS SOPS 1048980 HAS SOUS 549593 HAS SOUPS 549593 WITH SCORE 550641.98
AT ITER 3185 NEW BEST:: SOT 1787898 SOS 1048653 HAS SOPS 1048653 HAS SOUS 549322 HAS SOUPS 549322 WITH SCORE 550370.653
AT ITER 3191 NEW BEST:: SOT 1787917 SOS 1051582 HAS SOPS 1051582 HAS SOUS 549210 HAS SOUPS 549210 WITH SCORE 550261.582
AT ITER 3194 NEW BEST:: SOT 1787962 SOS 1048477 HAS SOPS 1048477 HAS SOUS 548482 HAS SOUPS 548482 WITH SCORE 549530.477
AT ITER 3196 NEW BEST:: SOT 1787760 SOS 1047564 HAS SOPS 1047564 HAS SOUS 548443 HAS SOUPS 548443 WITH SCORE 549490.564
AT ITER 3201 NEW BEST:: SOT 1787760 SOS 1047528 HAS SOPS 1047528 HAS SOUS 548443 HAS SOUPS 548443 WITH SCORE 549490.528
AT ITER 3203 NEW BEST:: SOT 1787685 SOS 1047638 HAS SOPS 1047638 HAS SOUS 548293 HAS SOUPS 548293 WITH SCORE 549340.638
AT ITER 3205 NEW BEST:: SOT 1787628 SOS 1047175 HAS SOPS 1047175 HAS SOUS 547918 HAS SOUPS 547918 WITH SCORE 548965.175
AT ITER 3214 NEW BEST:: SOT 1787472 SOS 1047019 HAS SOPS 1047019 HAS SOUS 547762 HAS SOUPS 547762 WITH SCORE 548809.019
AT ITER 3220 NEW BEST:: SOT 1787472 SOS 1046886 HAS SOPS 1046886 HAS SOUS 547762 HAS SOUPS 547762 WITH SCORE 548808.886
AT ITER 3221 NEW BEST:: SOT 1785861 SOS 1044874 HAS SOPS 1044874 HAS SOUS 545657 HAS SOUPS 545657 WITH SCORE 546701.874
AT ITER 3230 NEW BEST:: SOT 1785639 SOS 1044652 HAS SOPS 1044652 HAS SOUS 545490 HAS SOUPS 545490 WITH SCORE 546534.652
AT ITER 3251 NEW BEST:: SOT 1785639 SOS 1044623 HAS SOPS 1044623 HAS SOUS 545461 HAS SOUPS 545461 WITH SCORE 546505.623
AT ITER 3256 NEW BEST:: SOT 1785541 SOS 1044593 HAS SOPS 1044593 HAS SOUS 545265 HAS SOUPS 545265 WITH SCORE 546309.593
AT ITER 3259 NEW BEST:: SOT 1785541 SOS 1044717 HAS SOPS 1044717 HAS SOUS 545257 HAS SOUPS 545257 WITH SCORE 546301.717
AT ITER 3280 NEW BEST:: SOT 1785203 SOS 1044129 HAS SOPS 1044129 HAS SOUS 544831 HAS SOUPS 544831 WITH SCORE 545875.129
AT ITER 3282 NEW BEST:: SOT 1785183 SOS 1044009 HAS SOPS 1044009 HAS SOUS 544791 HAS SOUPS 544791 WITH SCORE 545835.009
AT ITER 3290 NEW BEST:: SOT 1785070 SOS 1043841 HAS SOPS 1043841 HAS SOUS 544755 HAS SOUPS 544755 WITH SCORE 545798.841
AT ITER 3293 NEW BEST:: SOT 1785055 SOS 1042584 HAS SOPS 1042584 HAS SOUS 544367 HAS SOUPS 544367 WITH SCORE 545409.584
AT ITER 3299 NEW BEST:: SOT 1785054 SOS 1042373 HAS SOPS 1042373 HAS SOUS 544365 HAS SOUPS 544365 WITH SCORE 545407.373
AT ITER 3322 NEW BEST:: SOT 1785054 SOS 1041961 HAS SOPS 1041961 HAS SOUS 544354 HAS SOUPS 544354 WITH SCORE 545395.961
AT ITER 3325 NEW BEST:: SOT 1785054 SOS 1041675 HAS SOPS 1041675 HAS SOUS 544354 HAS SOUPS 544354 WITH SCORE 545395.675
AT ITER 3340 NEW BEST:: SOT 1784920 SOS 1041407 HAS SOPS 1041407 HAS SOUS 544086 HAS SOUPS 544086 WITH SCORE 545127.407
AT ITER 3354 NEW BEST:: SOT 1784864 SOS 1041295 HAS SOPS 1041295 HAS SOUS 543974 HAS SOUPS 543974 WITH SCORE 545015.295
AT ITER 3358 NEW BEST:: SOT 1784528 SOS 1040959 HAS SOPS 1040959 HAS SOUS 543697 HAS SOUPS 543697 WITH SCORE 544737.959
AT ITER 3361 NEW BEST:: SOT 1784124 SOS 1040158 HAS SOPS 1040158 HAS SOUS 543027 HAS SOUPS 543027 WITH SCORE 544067.158
AT ITER 3372 NEW BEST:: SOT 1783829 SOS 1039461 HAS SOPS 1039461 HAS SOUS 541869 HAS SOUPS 541869 WITH SCORE 542908.461
AT ITER 3375 NEW BEST:: SOT 1783829 SOS 1039701 HAS SOPS 1039701 HAS SOUS 541829 HAS SOUPS 541829 WITH SCORE 542868.701
AT ITER 3395 NEW BEST:: SOT 1783829 SOS 1038958 HAS SOPS 1038958 HAS SOUS 541591 HAS SOUPS 541591 WITH SCORE 542629.958
AT ITER 3407 NEW BEST:: SOT 1783532 SOS 1038713 HAS SOPS 1038713 HAS SOUS 541505 HAS SOUPS 541505 WITH SCORE 542543.713
AT ITER 3417 NEW BEST:: SOT 1783436 SOS 1037933 HAS SOPS 1037933 HAS SOUS 541313 HAS SOUPS 541313 WITH SCORE 542350.933
AT ITER 3434 NEW BEST:: SOT 1783364 SOS 1037879 HAS SOPS 1037879 HAS SOUS 541232 HAS SOUPS 541232 WITH SCORE 542269.879
AT ITER 3437 NEW BEST:: SOT 1783360 SOS 1038069 HAS SOPS 1038069 HAS SOUS 541045 HAS SOUPS 541045 WITH SCORE 542083.069
AT ITER 3439 NEW BEST:: SOT 1783182 SOS 1038086 HAS SOPS 1038086 HAS SOUS 540780 HAS SOUPS 540780 WITH SCORE 541818.086
AT ITER 3441 NEW BEST:: SOT 1782803 SOS 1037908 HAS SOPS 1037908 HAS SOUS 540547 HAS SOUPS 540547 WITH SCORE 541584.908
AT ITER 3452 NEW BEST:: SOT 1781983 SOS 1036663 HAS SOPS 1036663 HAS SOUS 539326 HAS SOUPS 539326 WITH SCORE 540362.663
AT ITER 3454 NEW BEST:: SOT 1781982 SOS 1036661 HAS SOPS 1036661 HAS SOUS 539324 HAS SOUPS 539324 WITH SCORE 540360.661
AT ITER 3456 NEW BEST:: SOT 1781982 SOS 1036647 HAS SOPS 1036647 HAS SOUS 539310 HAS SOUPS 539310 WITH SCORE 540346.647
AT ITER 3458 NEW BEST:: SOT 1777693 SOS 1032358 HAS SOPS 1032358 HAS SOUS 534838 HAS SOUPS 534838 WITH SCORE 535870.358
AT ITER 3473 NEW BEST:: SOT 1777150 SOS 1031815 HAS SOPS 1031815 HAS SOUS 534168 HAS SOUPS 534168 WITH SCORE 535199.815
AT ITER 3482 NEW BEST:: SOT 1776713 SOS 1030490 HAS SOPS 1030490 HAS SOUS 532843 HAS SOUPS 532843 WITH SCORE 533873.49
AT ITER 3493 NEW BEST:: SOT 1777169 SOS 1030439 HAS SOPS 1030439 HAS SOUS 532792 HAS SOUPS 532792 WITH SCORE 533822.439
AT ITER 3529 NEW BEST:: SOT 1776983 SOS 1030253 HAS SOPS 1030253 HAS SOUS 532606 HAS SOUPS 532606 WITH SCORE 533636.253
AT ITER 3542 NEW BEST:: SOT 1776736 SOS 1030006 HAS SOPS 1030006 HAS SOUS 532359 HAS SOUPS 532359 WITH SCORE 533389.006
AT ITER 3548 NEW BEST:: SOT 1776688 SOS 1029953 HAS SOPS 1029953 HAS SOUS 532306 HAS SOUPS 532306 WITH SCORE 533335.953
AT ITER 3551 NEW BEST:: SOT 1776550 SOS 1029436 HAS SOPS 1029436 HAS SOUS 531701 HAS SOUPS 531701 WITH SCORE 532730.436
AT ITER 3557 NEW BEST:: SOT 1776482 SOS 1029368 HAS SOPS 1029368 HAS SOUS 531641 HAS SOUPS 531641 WITH SCORE 532670.368
AT ITER 3561 NEW BEST:: SOT 1776482 SOS 1029368 HAS SOPS 1029368 HAS SOUS 531619 HAS SOUPS 531619 WITH SCORE 532648.368
AT ITER 3563 NEW BEST:: SOT 1776402 SOS 1029259 HAS SOPS 1029259 HAS SOUS 531510 HAS SOUPS 531510 WITH SCORE 532539.259
AT ITER 3596 NEW BEST:: SOT 1776398 SOS 1029085 HAS SOPS 1029085 HAS SOUS 531336 HAS SOUPS 531336 WITH SCORE 532365.085
AT ITER 3598 NEW BEST:: SOT 1776398 SOS 1029085 HAS SOPS 1029085 HAS SOUS 531334 HAS SOUPS 531334 WITH SCORE 532363.085
AT ITER 3607 NEW BEST:: SOT 1776188 SOS 1028875 HAS SOPS 1028875 HAS SOUS 531334 HAS SOUPS 531334 WITH SCORE 532362.875
AT ITER 3616 NEW BEST:: SOT 1776172 SOS 1028859 HAS SOPS 1028859 HAS SOUS 531318 HAS SOUPS 531318 WITH SCORE 532346.859
AT ITER 3623 NEW BEST:: SOT 1775704 SOS 1016725 HAS SOPS 1016725 HAS SOUS 530850 HAS SOUPS 530850 WITH SCORE 531866.725
AT ITER 3627 NEW BEST:: SOT 1775959 SOS 1016107 HAS SOPS 1016107 HAS SOUS 530232 HAS SOUPS 530232 WITH SCORE 531248.107
AT ITER 3629 NEW BEST:: SOT 1775803 SOS 1016480 HAS SOPS 1016480 HAS SOUS 530144 HAS SOUPS 530144 WITH SCORE 531160.48
AT ITER 3636 NEW BEST:: SOT 1775435 SOS 1016154 HAS SOPS 1016154 HAS SOUS 529408 HAS SOUPS 529408 WITH SCORE 530424.154
AT ITER 3637 NEW BEST:: SOT 1775097 SOS 1015457 HAS SOPS 1015457 HAS SOUS 529375 HAS SOUPS 529375 WITH SCORE 530390.457
AT ITER 3641 NEW BEST:: SOT 1774889 SOS 1015914 HAS SOPS 1015914 HAS SOUS 529372 HAS SOUPS 529372 WITH SCORE 530387.914
AT ITER 3644 NEW BEST:: SOT 1774480 SOS 1015505 HAS SOPS 1015505 HAS SOUS 529372 HAS SOUPS 529372 WITH SCORE 530387.505
AT ITER 3668 NEW BEST:: SOT 1774268 SOS 1015293 HAS SOPS 1015293 HAS SOUS 529174 HAS SOUPS 529174 WITH SCORE 530189.293
AT ITER 3681 NEW BEST:: SOT 1774105 SOS 1015128 HAS SOPS 1015128 HAS SOUS 529172 HAS SOUPS 529172 WITH SCORE 530187.128
AT ITER 3682 NEW BEST:: SOT 1774053 SOS 1015024 HAS SOPS 1015024 HAS SOUS 529068 HAS SOUPS 529068 WITH SCORE 530083.024
AT ITER 3686 NEW BEST:: SOT 1774052 SOS 1015023 HAS SOPS 1015023 HAS SOUS 529067 HAS SOUPS 529067 WITH SCORE 530082.023
AT ITER 3698 NEW BEST:: SOT 1769879 SOS 1016253 HAS SOPS 1016253 HAS SOUS 525940 HAS SOUPS 525940 WITH SCORE 526956.253
AT ITER 3702 NEW BEST:: SOT 1769586 SOS 1015960 HAS SOPS 1015960 HAS SOUS 525865 HAS SOUPS 525865 WITH SCORE 526880.96
AT ITER 3708 NEW BEST:: SOT 1769226 SOS 1015581 HAS SOPS 1015581 HAS SOUS 525666 HAS SOUPS 525666 WITH SCORE 526681.581
AT ITER 3714 NEW BEST:: SOT 1765189 SOS 1011544 HAS SOPS 1011544 HAS SOUS 521629 HAS SOUPS 521629 WITH SCORE 522640.544
AT ITER 3727 NEW BEST:: SOT 1765083 SOS 1011026 HAS SOPS 1011026 HAS SOUS 521111 HAS SOUPS 521111 WITH SCORE 522122.026
AT ITER 3732 NEW BEST:: SOT 1765132 SOS 1010671 HAS SOPS 1010671 HAS SOUS 520756 HAS SOUPS 520756 WITH SCORE 521766.671
AT ITER 3735 NEW BEST:: SOT 1765065 SOS 1010598 HAS SOPS 1010598 HAS SOUS 520622 HAS SOUPS 520622 WITH SCORE 521632.598
AT ITER 3741 NEW BEST:: SOT 1765273 SOS 1009993 HAS SOPS 1009993 HAS SOUS 520166 HAS SOUPS 520166 WITH SCORE 521175.993
AT ITER 3744 NEW BEST:: SOT 1765079 SOS 1009946 HAS SOPS 1009946 HAS SOUS 520119 HAS SOUPS 520119 WITH SCORE 521128.946
AT ITER 3761 NEW BEST:: SOT 1764699 SOS 1009566 HAS SOPS 1009566 HAS SOUS 519492 HAS SOUPS 519492 WITH SCORE 520501.566
AT ITER 3764 NEW BEST:: SOT 1764222 SOS 1009089 HAS SOPS 1009089 HAS SOUS 519396 HAS SOUPS 519396 WITH SCORE 520405.089
AT ITER 3775 NEW BEST:: SOT 1764096 SOS 1008795 HAS SOPS 1008795 HAS SOUS 519269 HAS SOUPS 519269 WITH SCORE 520277.795
AT ITER 3798 NEW BEST:: SOT 1764096 SOS 1009299 HAS SOPS 1009299 HAS SOUS 519191 HAS SOUPS 519191 WITH SCORE 520200.299
AT ITER 3802 NEW BEST:: SOT 1764023 SOS 1008988 HAS SOPS 1008988 HAS SOUS 518807 HAS SOUPS 518807 WITH SCORE 519815.988
AT ITER 3828 NEW BEST:: SOT 1763428 SOS 1010770 HAS SOPS 1010770 HAS SOUS 518435 HAS SOUPS 518435 WITH SCORE 519445.77
AT ITER 3836 NEW BEST:: SOT 1763360 SOS 1010746 HAS SOPS 1010746 HAS SOUS 518426 HAS SOUPS 518426 WITH SCORE 519436.746
AT ITER 3847 NEW BEST:: SOT 1763182 SOS 1010479 HAS SOPS 1010479 HAS SOUS 518159 HAS SOUPS 518159 WITH SCORE 519169.479
AT ITER 3852 NEW BEST:: SOT 1763161 SOS 1010458 HAS SOPS 1010458 HAS SOUS 518155 HAS SOUPS 518155 WITH SCORE 519165.458
AT ITER 3854 NEW BEST:: SOT 1763104 SOS 1010344 HAS SOPS 1010344 HAS SOUS 518098 HAS SOUPS 518098 WITH SCORE 519108.344
AT ITER 3880 NEW BEST:: SOT 1763131 SOS 1010343 HAS SOPS 1010343 HAS SOUS 518097 HAS SOUPS 518097 WITH SCORE 519107.343
AT ITER 3884 NEW BEST:: SOT 1763120 SOS 1010381 HAS SOPS 1010381 HAS SOUS 518075 HAS SOUPS 518075 WITH SCORE 519085.381
AT ITER 3888 NEW BEST:: SOT 1763114 SOS 1010109 HAS SOPS 1010109 HAS SOUS 517936 HAS SOUPS 517936 WITH SCORE 518946.109
AT ITER 3898 NEW BEST:: SOT 1763055 SOS 1010296 HAS SOPS 1010296 HAS SOUS 517815 HAS SOUPS 517815 WITH SCORE 518825.296
AT ITER 3902 NEW BEST:: SOT 1763056 SOS 1010297 HAS SOPS 1010297 HAS SOUS 517809 HAS SOUPS 517809 WITH SCORE 518819.297
AT ITER 3905 NEW BEST:: SOT 1763008 SOS 1009940 HAS SOPS 1009940 HAS SOUS 517492 HAS SOUPS 517492 WITH SCORE 518501.94
AT ITER 3921 NEW BEST:: SOT 1763008 SOS 1010456 HAS SOPS 1010456 HAS SOUS 517394 HAS SOUPS 517394 WITH SCORE 518404.456
AT ITER 3943 NEW BEST:: SOT 1762563 SOS 1010010 HAS SOPS 1010010 HAS SOUS 517270 HAS SOUPS 517270 WITH SCORE 518280.01
AT ITER 3944 NEW BEST:: SOT 1762565 SOS 1010012 HAS SOPS 1010012 HAS SOUS 517262 HAS SOUPS 517262 WITH SCORE 518272.012
AT ITER 3986 NEW BEST:: SOT 1762576 SOS 1010021 HAS SOPS 1010021 HAS SOUS 517218 HAS SOUPS 517218 WITH SCORE 518228.021
AT ITER 3997 NEW BEST:: SOT 1762575 SOS 1010011 HAS SOPS 1010011 HAS SOUS 517207 HAS SOUPS 517207 WITH SCORE 518217.011
AT ITER 4005 NEW BEST:: SOT 1762451 SOS 1009887 HAS SOPS 1009887 HAS SOUS 517083 HAS SOUPS 517083 WITH SCORE 518092.887
AT ITER 4006 NEW BEST:: SOT 1762451 SOS 1009844 HAS SOPS 1009844 HAS SOUS 517067 HAS SOUPS 517067 WITH SCORE 518076.844
AT ITER 4007 NEW BEST:: SOT 1762397 SOS 1009790 HAS SOPS 1009790 HAS SOUS 516959 HAS SOUPS 516959 WITH SCORE 517968.79
AT ITER 4028 NEW BEST:: SOT 1762271 SOS 1009412 HAS SOPS 1009412 HAS SOUS 516707 HAS SOUPS 516707 WITH SCORE 517716.412
AT ITER 4031 NEW BEST:: SOT 1762271 SOS 1010062 HAS SOPS 1010062 HAS SOUS 516634 HAS SOUPS 516634 WITH SCORE 517644.062
AT ITER 4041 NEW BEST:: SOT 1761641 SOS 1008831 HAS SOPS 1008831 HAS SOUS 515526 HAS SOUPS 515526 WITH SCORE 516534.831
AT ITER 4053 NEW BEST:: SOT 1761641 SOS 1008708 HAS SOPS 1008708 HAS SOUS 515403 HAS SOUPS 515403 WITH SCORE 516411.708
AT ITER 4055 NEW BEST:: SOT 1763385 SOS 1010222 HAS SOPS 1010222 HAS SOUS 515111 HAS SOUPS 515111 WITH SCORE 516121.222
AT ITER 4056 NEW BEST:: SOT 1763385 SOS 1011860 HAS SOPS 1011860 HAS SOUS 515101 HAS SOUPS 515101 WITH SCORE 516112.86
AT ITER 4069 NEW BEST:: SOT 1762651 SOS 1011126 HAS SOPS 1011126 HAS SOUS 514367 HAS SOUPS 514367 WITH SCORE 515378.126
AT ITER 4072 NEW BEST:: SOT 1757593 SOS 1006264 HAS SOPS 1006264 HAS SOUS 509572 HAS SOUPS 509572 WITH SCORE 510578.264
AT ITER 4075 NEW BEST:: SOT 1757592 SOS 1004757 HAS SOPS 1004757 HAS SOUS 509481 HAS SOUPS 509481 WITH SCORE 510485.757
AT ITER 4078 NEW BEST:: SOT 1757423 SOS 1004588 HAS SOPS 1004588 HAS SOUS 509293 HAS SOUPS 509293 WITH SCORE 510297.588
AT ITER 4087 NEW BEST:: SOT 1757410 SOS 1004251 HAS SOPS 1004251 HAS SOUS 508956 HAS SOUPS 508956 WITH SCORE 509960.251
AT ITER 4119 NEW BEST:: SOT 1757743 SOS 1004147 HAS SOPS 1004147 HAS SOUS 508880 HAS SOUPS 508880 WITH SCORE 509884.147
AT ITER 4164 NEW BEST:: SOT 1757533 SOS 1003937 HAS SOPS 1003937 HAS SOUS 508465 HAS SOUPS 508465 WITH SCORE 509468.937
AT ITER 4168 NEW BEST:: SOT 1754293 SOS 1000697 HAS SOPS 1000697 HAS SOUS 505225 HAS SOUPS 505225 WITH SCORE 506225.697
AT ITER 4178 NEW BEST:: SOT 1754293 SOS 1000697 HAS SOPS 1000697 HAS SOUS 505051 HAS SOUPS 505051 WITH SCORE 506051.697
AT ITER 4182 NEW BEST:: SOT 1753781 SOS 1000743 HAS SOPS 1000743 HAS SOUS 504498 HAS SOUPS 504498 WITH SCORE 505498.743
AT ITER 4189 NEW BEST:: SOT 1753739 SOS 1000725 HAS SOPS 1000725 HAS SOUS 504450 HAS SOUPS 504450 WITH SCORE 505450.725
AT ITER 4191 NEW BEST:: SOT 1753497 SOS 1000448 HAS SOPS 1000448 HAS SOUS 504283 HAS SOUPS 504283 WITH SCORE 505283.448
AT ITER 4197 NEW BEST:: SOT 1753497 SOS 1000448 HAS SOPS 1000448 HAS SOUS 504131 HAS SOUPS 504131 WITH SCORE 505131.448
AT ITER 4202 NEW BEST:: SOT 1753319 SOS 1000168 HAS SOPS 1000168 HAS SOUS 503749 HAS SOUPS 503749 WITH SCORE 504749.168
AT ITER 4204 NEW BEST:: SOT 1753314 SOS 1000110 HAS SOPS 1000110 HAS SOUS 503706 HAS SOUPS 503706 WITH SCORE 504706.11
AT ITER 4205 NEW BEST:: SOT 1753321 SOS 1000117 HAS SOPS 1000117 HAS SOUS 503703 HAS SOUPS 503703 WITH SCORE 504703.117
AT ITER 4210 NEW BEST:: SOT 1753237 SOS 999176 HAS SOPS 999176 HAS SOUS 502781 HAS SOUPS 502781 WITH SCORE 503780.176
AT ITER 4234 NEW BEST:: SOT 1753025 SOS 998964 HAS SOPS 998964 HAS SOUS 502476 HAS SOUPS 502476 WITH SCORE 503474.964
AT ITER 4251 NEW BEST:: SOT 1752973 SOS 996151 HAS SOPS 996151 HAS SOUS 501748 HAS SOUPS 501748 WITH SCORE 502744.151
AT ITER 4256 NEW BEST:: SOT 1752950 SOS 996088 HAS SOPS 996088 HAS SOUS 501464 HAS SOUPS 501464 WITH SCORE 502460.088
AT ITER 4259 NEW BEST:: SOT 1752926 SOS 995791 HAS SOPS 995791 HAS SOUS 501167 HAS SOUPS 501167 WITH SCORE 502162.791
AT ITER 4261 NEW BEST:: SOT 1752914 SOS 995779 HAS SOPS 995779 HAS SOUS 501096 HAS SOUPS 501096 WITH SCORE 502091.779
AT ITER 4263 NEW BEST:: SOT 1752838 SOS 996271 HAS SOPS 996271 HAS SOUS 500778 HAS SOUPS 500778 WITH SCORE 501774.271
AT ITER 4273 NEW BEST:: SOT 1752383 SOS 995293 HAS SOPS 995293 HAS SOUS 499800 HAS SOUPS 499800 WITH SCORE 500795.293
AT ITER 4276 NEW BEST:: SOT 1752383 SOS 995286 HAS SOPS 995286 HAS SOUS 499793 HAS SOUPS 499793 WITH SCORE 500788.286
AT ITER 4293 NEW BEST:: SOT 1752362 SOS 995265 HAS SOPS 995265 HAS SOUS 499772 HAS SOUPS 499772 WITH SCORE 500767.265
AT ITER 4294 NEW BEST:: SOT 1752352 SOS 995277 HAS SOPS 995277 HAS SOUS 499720 HAS SOUPS 499720 WITH SCORE 500715.277
AT ITER 4296 NEW BEST:: SOT 1752306 SOS 995231 HAS SOPS 995231 HAS SOUS 499674 HAS SOUPS 499674 WITH SCORE 500669.231
AT ITER 4315 NEW BEST:: SOT 1752174 SOS 994829 HAS SOPS 994829 HAS SOUS 499545 HAS SOUPS 499545 WITH SCORE 500539.829
AT ITER 4329 NEW BEST:: SOT 1752174 SOS 994721 HAS SOPS 994721 HAS SOUS 499361 HAS SOUPS 499361 WITH SCORE 500355.721
AT ITER 4339 NEW BEST:: SOT 1751921 SOS 993905 HAS SOPS 993905 HAS SOUS 498609 HAS SOUPS 498609 WITH SCORE 499602.905
AT ITER 4349 NEW BEST:: SOT 1751897 SOS 993897 HAS SOPS 993897 HAS SOUS 498585 HAS SOUPS 498585 WITH SCORE 499578.897
AT ITER 4359 NEW BEST:: SOT 1751896 SOS 993896 HAS SOPS 993896 HAS SOUS 498583 HAS SOUPS 498583 WITH SCORE 499576.896
AT ITER 4395 NEW BEST:: SOT 1751882 SOS 993154 HAS SOPS 993154 HAS SOUS 498104 HAS SOUPS 498104 WITH SCORE 499097.154
AT ITER 4401 NEW BEST:: SOT 1750213 SOS 991170 HAS SOPS 991170 HAS SOUS 496120 HAS SOUPS 496120 WITH SCORE 497111.17
AT ITER 4425 NEW BEST:: SOT 1750206 SOS 991162 HAS SOPS 991162 HAS SOUS 495930 HAS SOUPS 495930 WITH SCORE 496921.162
AT ITER 4436 NEW BEST:: SOT 1748478 SOS 989000 HAS SOPS 989000 HAS SOUS 493768 HAS SOUPS 493768 WITH SCORE 494757.0
AT ITER 4439 NEW BEST:: SOT 1748605 SOS 988907 HAS SOPS 988907 HAS SOUS 493675 HAS SOUPS 493675 WITH SCORE 494663.907
AT ITER 4445 NEW BEST:: SOT 1748549 SOS 988851 HAS SOPS 988851 HAS SOUS 493508 HAS SOUPS 493508 WITH SCORE 494496.851
AT ITER 4451 NEW BEST:: SOT 1748044 SOS 988346 HAS SOPS 988346 HAS SOUS 493002 HAS SOUPS 493002 WITH SCORE 493990.346
AT ITER 4452 NEW BEST:: SOT 1747704 SOS 976924 HAS SOPS 976924 HAS SOUS 492216 HAS SOUPS 492216 WITH SCORE 493192.924
AT ITER 4474 NEW BEST:: SOT 1747562 SOS 976223 HAS SOPS 976223 HAS SOUS 491984 HAS SOUPS 491984 WITH SCORE 492960.223
AT ITER 4488 NEW BEST:: SOT 1747643 SOS 976205 HAS SOPS 976205 HAS SOUS 491966 HAS SOUPS 491966 WITH SCORE 492942.205
AT ITER 4508 NEW BEST:: SOT 1747643 SOS 976105 HAS SOPS 976105 HAS SOUS 491966 HAS SOUPS 491966 WITH SCORE 492942.105
AT ITER 4512 NEW BEST:: SOT 1747643 SOS 976027 HAS SOPS 976027 HAS SOUS 491944 HAS SOUPS 491944 WITH SCORE 492920.027
AT ITER 4517 NEW BEST:: SOT 1747621 SOS 976022 HAS SOPS 976022 HAS SOUS 491575 HAS SOUPS 491575 WITH SCORE 492551.022
AT ITER 4560 NEW BEST:: SOT 1747578 SOS 975979 HAS SOPS 975979 HAS SOUS 491532 HAS SOUPS 491532 WITH SCORE 492507.979
AT ITER 4581 NEW BEST:: SOT 1747577 SOS 975897 HAS SOPS 975897 HAS SOUS 491449 HAS SOUPS 491449 WITH SCORE 492424.897
AT ITER 4598 NEW BEST:: SOT 1747209 SOS 975492 HAS SOPS 975492 HAS SOUS 491105 HAS SOUPS 491105 WITH SCORE 492080.492
AT ITER 4619 NEW BEST:: SOT 1747209 SOS 975529 HAS SOPS 975529 HAS SOUS 491102 HAS SOUPS 491102 WITH SCORE 492077.529
AT ITER 4625 NEW BEST:: SOT 1747182 SOS 973171 HAS SOPS 973171 HAS SOUS 490815 HAS SOUPS 490815 WITH SCORE 491788.171
AT ITER 4636 NEW BEST:: SOT 1747074 SOS 973063 HAS SOPS 973063 HAS SOUS 490699 HAS SOUPS 490699 WITH SCORE 491672.063
AT ITER 4638 NEW BEST:: SOT 1747019 SOS 972592 HAS SOPS 972592 HAS SOUS 490644 HAS SOUPS 490644 WITH SCORE 491616.592
AT ITER 4654 NEW BEST:: SOT 1746931 SOS 972504 HAS SOPS 972504 HAS SOUS 490638 HAS SOUPS 490638 WITH SCORE 491610.504
AT ITER 4663 NEW BEST:: SOT 1746910 SOS 972483 HAS SOPS 972483 HAS SOUS 490596 HAS SOUPS 490596 WITH SCORE 491568.483
AT ITER 4670 NEW BEST:: SOT 1747018 SOS 972429 HAS SOPS 972429 HAS SOUS 490361 HAS SOUPS 490361 WITH SCORE 491333.429
AT ITER 4671 NEW BEST:: SOT 1745522 SOS 970867 HAS SOPS 970867 HAS SOUS 488799 HAS SOUPS 488799 WITH SCORE 489769.867
AT ITER 4690 NEW BEST:: SOT 1745452 SOS 970377 HAS SOPS 970377 HAS SOUS 488659 HAS SOUPS 488659 WITH SCORE 489629.377
AT ITER 4691 NEW BEST:: SOT 1745374 SOS 970299 HAS SOPS 970299 HAS SOUS 488581 HAS SOUPS 488581 WITH SCORE 489551.299
AT ITER 4692 NEW BEST:: SOT 1745344 SOS 970251 HAS SOPS 970251 HAS SOUS 488539 HAS SOUPS 488539 WITH SCORE 489509.251
AT ITER 4712 NEW BEST:: SOT 1745274 SOS 970181 HAS SOPS 970181 HAS SOUS 488462 HAS SOUPS 488462 WITH SCORE 489432.181
AT ITER 4719 NEW BEST:: SOT 1745289 SOS 970196 HAS SOPS 970196 HAS SOUS 488416 HAS SOUPS 488416 WITH SCORE 489386.196
AT ITER 4734 NEW BEST:: SOT 1745289 SOS 970170 HAS SOPS 970170 HAS SOUS 488416 HAS SOUPS 488416 WITH SCORE 489386.17
AT ITER 4773 NEW BEST:: SOT 1745279 SOS 970155 HAS SOPS 970155 HAS SOUS 488401 HAS SOUPS 488401 WITH SCORE 489371.155
AT ITER 4794 NEW BEST:: SOT 1744932 SOS 968895 HAS SOPS 968895 HAS SOUS 487762 HAS SOUPS 487762 WITH SCORE 488730.895
AT ITER 4795 NEW BEST:: SOT 1744899 SOS 968862 HAS SOPS 968862 HAS SOUS 487729 HAS SOUPS 487729 WITH SCORE 488697.862
AT ITER 4810 NEW BEST:: SOT 1744851 SOS 968574 HAS SOPS 968574 HAS SOUS 487633 HAS SOUPS 487633 WITH SCORE 488601.574
AT ITER 4833 NEW BEST:: SOT 1744635 SOS 967721 HAS SOPS 967721 HAS SOUS 487402 HAS SOUPS 487402 WITH SCORE 488369.721
AT ITER 4839 NEW BEST:: SOT 1744481 SOS 967545 HAS SOPS 967545 HAS SOUS 487204 HAS SOUPS 487204 WITH SCORE 488171.545
AT ITER 4855 NEW BEST:: SOT 1744478 SOS 967442 HAS SOPS 967442 HAS SOUS 487101 HAS SOUPS 487101 WITH SCORE 488068.442
AT ITER 4860 NEW BEST:: SOT 1744593 SOS 967420 HAS SOPS 967420 HAS SOUS 487078 HAS SOUPS 487078 WITH SCORE 488045.42
AT ITER 4873 NEW BEST:: SOT 1744772 SOS 967383 HAS SOPS 967383 HAS SOUS 487041 HAS SOUPS 487041 WITH SCORE 488008.383
AT ITER 4885 NEW BEST:: SOT 1744629 SOS 967240 HAS SOPS 967240 HAS SOUS 486898 HAS SOUPS 486898 WITH SCORE 487865.24
AT ITER 4932 NEW BEST:: SOT 1744909 SOS 967108 HAS SOPS 967108 HAS SOUS 486833 HAS SOUPS 486833 WITH SCORE 487800.108
AT ITER 4935 NEW BEST:: SOT 1745279 SOS 966899 HAS SOPS 966899 HAS SOUS 486624 HAS SOUPS 486624 WITH SCORE 487590.899
AT ITER 4961 NEW BEST:: SOT 1744589 SOS 967494 HAS SOPS 967494 HAS SOUS 486448 HAS SOUPS 486448 WITH SCORE 487415.494
AT ITER 4975 NEW BEST:: SOT 1743999 SOS 967599 HAS SOPS 967599 HAS SOUS 486207 HAS SOUPS 486207 WITH SCORE 487174.599
AT ITER 4990 NEW BEST:: SOT 1743695 SOS 967951 HAS SOPS 967951 HAS SOUS 485593 HAS SOUPS 485593 WITH SCORE 486560.951
AT ITER 5006 NEW BEST:: SOT 1743269 SOS 966855 HAS SOPS 966855 HAS SOUS 484937 HAS SOUPS 484937 WITH SCORE 485903.855
AT ITER 5007 NEW BEST:: SOT 1743268 SOS 966854 HAS SOPS 966854 HAS SOUS 484936 HAS SOUPS 484936 WITH SCORE 485902.854
AT ITER 5017 NEW BEST:: SOT 1743268 SOS 966711 HAS SOPS 966711 HAS SOUS 484919 HAS SOUPS 484919 WITH SCORE 485885.711
AT ITER 5018 NEW BEST:: SOT 1743283 SOS 966605 HAS SOPS 966605 HAS SOUS 484872 HAS SOUPS 484872 WITH SCORE 485838.605
AT ITER 5052 NEW BEST:: SOT 1743267 SOS 966326 HAS SOPS 966326 HAS SOUS 484593 HAS SOUPS 484593 WITH SCORE 485559.326
AT ITER 5079 NEW BEST:: SOT 1743267 SOS 965841 HAS SOPS 965841 HAS SOUS 484468 HAS SOUPS 484468 WITH SCORE 485433.841
AT ITER 5088 NEW BEST:: SOT 1743226 SOS 965803 HAS SOPS 965803 HAS SOUS 484188 HAS SOUPS 484188 WITH SCORE 485153.803
AT ITER 5090 NEW BEST:: SOT 1743057 SOS 965465 HAS SOPS 965465 HAS SOUS 483850 HAS SOUPS 483850 WITH SCORE 484815.465
AT ITER 5101 NEW BEST:: SOT 1741740 SOS 974187 HAS SOPS 974187 HAS SOUS 483537 HAS SOUPS 483537 WITH SCORE 484511.187
AT ITER 5113 NEW BEST:: SOT 1741561 SOS 974072 HAS SOPS 974072 HAS SOUS 483518 HAS SOUPS 483518 WITH SCORE 484492.072
AT ITER 5114 NEW BEST:: SOT 1741440 SOS 973830 HAS SOPS 973830 HAS SOUS 483228 HAS SOUPS 483228 WITH SCORE 484201.83
AT ITER 5129 NEW BEST:: SOT 1741397 SOS 973787 HAS SOPS 973787 HAS SOUS 483185 HAS SOUPS 483185 WITH SCORE 484158.787
AT ITER 5132 NEW BEST:: SOT 1741356 SOS 973936 HAS SOPS 973936 HAS SOUS 483163 HAS SOUPS 483163 WITH SCORE 484136.936
AT ITER 5133 NEW BEST:: SOT 1740787 SOS 973795 HAS SOPS 973795 HAS SOUS 482905 HAS SOUPS 482905 WITH SCORE 483878.795
AT ITER 5135 NEW BEST:: SOT 1740542 SOS 973643 HAS SOPS 973643 HAS SOUS 482753 HAS SOUPS 482753 WITH SCORE 483726.643
AT ITER 5147 NEW BEST:: SOT 1740506 SOS 973572 HAS SOPS 973572 HAS SOUS 482682 HAS SOUPS 482682 WITH SCORE 483655.572
AT ITER 5155 NEW BEST:: SOT 1740483 SOS 973549 HAS SOPS 973549 HAS SOUS 482503 HAS SOUPS 482503 WITH SCORE 483476.549
AT ITER 5157 NEW BEST:: SOT 1740548 SOS 973238 HAS SOPS 973238 HAS SOUS 482469 HAS SOUPS 482469 WITH SCORE 483442.238
AT ITER 5174 NEW BEST:: SOT 1740269 SOS 972887 HAS SOPS 972887 HAS SOUS 482118 HAS SOUPS 482118 WITH SCORE 483090.887
AT ITER 5175 NEW BEST:: SOT 1740347 SOS 973477 HAS SOPS 973477 HAS SOUS 481939 HAS SOUPS 481939 WITH SCORE 482912.477
AT ITER 5177 NEW BEST:: SOT 1740289 SOS 973303 HAS SOPS 973303 HAS SOUS 481881 HAS SOUPS 481881 WITH SCORE 482854.303
AT ITER 5200 NEW BEST:: SOT 1740108 SOS 972955 HAS SOPS 972955 HAS SOUS 481368 HAS SOUPS 481368 WITH SCORE 482340.955
AT ITER 5202 NEW BEST:: SOT 1739922 SOS 972769 HAS SOPS 972769 HAS SOUS 481302 HAS SOUPS 481302 WITH SCORE 482274.769
AT ITER 5205 NEW BEST:: SOT 1740043 SOS 972962 HAS SOPS 972962 HAS SOUS 481258 HAS SOUPS 481258 WITH SCORE 482230.962
AT ITER 5230 NEW BEST:: SOT 1740043 SOS 972934 HAS SOPS 972934 HAS SOUS 481230 HAS SOUPS 481230 WITH SCORE 482202.934
AT ITER 5232 NEW BEST:: SOT 1740043 SOS 972758 HAS SOPS 972758 HAS SOUS 481228 HAS SOUPS 481228 WITH SCORE 482200.758
AT ITER 5236 NEW BEST:: SOT 1739936 SOS 972651 HAS SOPS 972651 HAS SOUS 481228 HAS SOUPS 481228 WITH SCORE 482200.651
AT ITER 5241 NEW BEST:: SOT 1739868 SOS 972583 HAS SOPS 972583 HAS SOUS 481160 HAS SOUPS 481160 WITH SCORE 482132.583
AT ITER 5266 NEW BEST:: SOT 1739707 SOS 972919 HAS SOPS 972919 HAS SOUS 480836 HAS SOUPS 480836 WITH SCORE 481808.919
AT ITER 5269 NEW BEST:: SOT 1739707 SOS 972859 HAS SOPS 972859 HAS SOUS 480836 HAS SOUPS 480836 WITH SCORE 481808.859
AT ITER 5270 NEW BEST:: SOT 1739635 SOS 972751 HAS SOPS 972751 HAS SOUS 480755 HAS SOUPS 480755 WITH SCORE 481727.751
AT ITER 5277 NEW BEST:: SOT 1739922 SOS 972918 HAS SOPS 972918 HAS SOUS 480753 HAS SOUPS 480753 WITH SCORE 481725.918
AT ITER 5278 NEW BEST:: SOT 1739861 SOS 972735 HAS SOPS 972735 HAS SOUS 480631 HAS SOUPS 480631 WITH SCORE 481603.735
AT ITER 5281 NEW BEST:: SOT 1739861 SOS 973007 HAS SOPS 973007 HAS SOUS 480155 HAS SOUPS 480155 WITH SCORE 481128.007
AT ITER 5322 NEW BEST:: SOT 1739861 SOS 973007 HAS SOPS 973007 HAS SOUS 480142 HAS SOUPS 480142 WITH SCORE 481115.007
AT ITER 5356 NEW BEST:: SOT 1739861 SOS 968239 HAS SOPS 968239 HAS SOUS 479800 HAS SOUPS 479800 WITH SCORE 480768.239
AT ITER 5358 NEW BEST:: SOT 1739777 SOS 968155 HAS SOPS 968155 HAS SOUS 479716 HAS SOUPS 479716 WITH SCORE 480684.155
AT ITER 5361 NEW BEST:: SOT 1739403 SOS 967911 HAS SOPS 967911 HAS SOUS 479210 HAS SOUPS 479210 WITH SCORE 480177.911
AT ITER 5363 NEW BEST:: SOT 1739396 SOS 967897 HAS SOPS 967897 HAS SOUS 479196 HAS SOUPS 479196 WITH SCORE 480163.897
AT ITER 5376 NEW BEST:: SOT 1739084 SOS 967885 HAS SOPS 967885 HAS SOUS 478287 HAS SOUPS 478287 WITH SCORE 479254.885
AT ITER 5377 NEW BEST:: SOT 1738864 SOS 967652 HAS SOPS 967652 HAS SOUS 477847 HAS SOUPS 477847 WITH SCORE 478814.652
AT ITER 5382 NEW BEST:: SOT 1738810 SOS 967254 HAS SOPS 967254 HAS SOUS 477449 HAS SOUPS 477449 WITH SCORE 478416.254
AT ITER 5396 NEW BEST:: SOT 1738810 SOS 967122 HAS SOPS 967122 HAS SOUS 477070 HAS SOUPS 477070 WITH SCORE 478037.122
AT ITER 5467 NEW BEST:: SOT 1738810 SOS 967009 HAS SOPS 967009 HAS SOUS 477070 HAS SOUPS 477070 WITH SCORE 478037.009
AT ITER 5482 NEW BEST:: SOT 1738753 SOS 966726 HAS SOPS 966726 HAS SOUS 476835 HAS SOUPS 476835 WITH SCORE 477801.726
AT ITER 5486 NEW BEST:: SOT 1738697 SOS 966670 HAS SOPS 966670 HAS SOUS 476779 HAS SOUPS 476779 WITH SCORE 477745.67
AT ITER 5496 NEW BEST:: SOT 1738781 SOS 966754 HAS SOPS 966754 HAS SOUS 476464 HAS SOUPS 476464 WITH SCORE 477430.754
AT ITER 5498 NEW BEST:: SOT 1738781 SOS 966859 HAS SOPS 966859 HAS SOUS 476260 HAS SOUPS 476260 WITH SCORE 477226.859
AT ITER 5499 NEW BEST:: SOT 1738781 SOS 966439 HAS SOPS 966439 HAS SOUS 476050 HAS SOUPS 476050 WITH SCORE 477016.439
AT ITER 5517 NEW BEST:: SOT 1738800 SOS 966458 HAS SOPS 966458 HAS SOUS 476047 HAS SOUPS 476047 WITH SCORE 477013.458
AT ITER 5537 NEW BEST:: SOT 1738752 SOS 966218 HAS SOPS 966218 HAS SOUS 475975 HAS SOUPS 475975 WITH SCORE 476941.218
AT ITER 5545 NEW BEST:: SOT 1738718 SOS 966179 HAS SOPS 966179 HAS SOUS 475881 HAS SOUPS 475881 WITH SCORE 476847.179
AT ITER 5568 NEW BEST:: SOT 1738735 SOS 965911 HAS SOPS 965911 HAS SOUS 475625 HAS SOUPS 475625 WITH SCORE 476590.911
AT ITER 5574 NEW BEST:: SOT 1738296 SOS 965165 HAS SOPS 965165 HAS SOUS 474891 HAS SOUPS 474891 WITH SCORE 475856.165
AT ITER 5580 NEW BEST:: SOT 1738296 SOS 965047 HAS SOPS 965047 HAS SOUS 474890 HAS SOUPS 474890 WITH SCORE 475855.047
AT ITER 5642 NEW BEST:: SOT 1738223 SOS 964901 HAS SOPS 964901 HAS SOUS 474671 HAS SOUPS 474671 WITH SCORE 475635.901
AT ITER 5645 NEW BEST:: SOT 1738117 SOS 964807 HAS SOPS 964807 HAS SOUS 474518 HAS SOUPS 474518 WITH SCORE 475482.807
AT ITER 5664 NEW BEST:: SOT 1738131 SOS 964688 HAS SOPS 964688 HAS SOUS 474399 HAS SOUPS 474399 WITH SCORE 475363.688
AT ITER 5696 NEW BEST:: SOT 1738004 SOS 964434 HAS SOPS 964434 HAS SOUS 474145 HAS SOUPS 474145 WITH SCORE 475109.434
AT ITER 5697 NEW BEST:: SOT 1737672 SOS 964152 HAS SOPS 964152 HAS SOUS 473827 HAS SOUPS 473827 WITH SCORE 474791.152
AT ITER 5698 NEW BEST:: SOT 1737461 SOS 963678 HAS SOPS 963678 HAS SOUS 473353 HAS SOUPS 473353 WITH SCORE 474316.678
AT ITER 5708 NEW BEST:: SOT 1737412 SOS 963434 HAS SOPS 963434 HAS SOUS 472889 HAS SOUPS 472889 WITH SCORE 473852.434
AT ITER 5722 NEW BEST:: SOT 1737302 SOS 963324 HAS SOPS 963324 HAS SOUS 472669 HAS SOUPS 472669 WITH SCORE 473632.324
AT ITER 5726 NEW BEST:: SOT 1737258 SOS 963280 HAS SOPS 963280 HAS SOUS 472581 HAS SOUPS 472581 WITH SCORE 473544.28
AT ITER 5737 NEW BEST:: SOT 1737148 SOS 963179 HAS SOPS 963179 HAS SOUS 472234 HAS SOUPS 472234 WITH SCORE 473197.179
AT ITER 5740 NEW BEST:: SOT 1737106 SOS 963125 HAS SOPS 963125 HAS SOUS 472234 HAS SOUPS 472234 WITH SCORE 473197.125
AT ITER 5753 NEW BEST:: SOT 1737065 SOS 963084 HAS SOPS 963084 HAS SOUS 471999 HAS SOUPS 471999 WITH SCORE 472962.084
AT ITER 5762 NEW BEST:: SOT 1736933 SOS 962820 HAS SOPS 962820 HAS SOUS 471735 HAS SOUPS 471735 WITH SCORE 472697.82
AT ITER 5789 NEW BEST:: SOT 1736685 SOS 962510 HAS SOPS 962510 HAS SOUS 471425 HAS SOUPS 471425 WITH SCORE 472387.51
AT ITER 5791 NEW BEST:: SOT 1736665 SOS 962470 HAS SOPS 962470 HAS SOUS 471385 HAS SOUPS 471385 WITH SCORE 472347.47
AT ITER 5817 NEW BEST:: SOT 1736581 SOS 962466 HAS SOPS 962466 HAS SOUS 471381 HAS SOUPS 471381 WITH SCORE 472343.466
AT ITER 5820 NEW BEST:: SOT 1736581 SOS 962152 HAS SOPS 962152 HAS SOUS 471155 HAS SOUPS 471155 WITH SCORE 472117.152
AT ITER 5836 NEW BEST:: SOT 1736548 SOS 962119 HAS SOPS 962119 HAS SOUS 471002 HAS SOUPS 471002 WITH SCORE 471964.119
AT ITER 5842 NEW BEST:: SOT 1736290 SOS 961825 HAS SOPS 961825 HAS SOUS 470849 HAS SOUPS 470849 WITH SCORE 471810.825
AT ITER 5849 NEW BEST:: SOT 1736276 SOS 961796 HAS SOPS 961796 HAS SOUS 470820 HAS SOUPS 470820 WITH SCORE 471781.796
AT ITER 5852 NEW BEST:: SOT 1736069 SOS 961709 HAS SOPS 961709 HAS SOUS 470733 HAS SOUPS 470733 WITH SCORE 471694.709
AT ITER 5881 NEW BEST:: SOT 1735832 SOS 961626 HAS SOPS 961626 HAS SOUS 470507 HAS SOUPS 470507 WITH SCORE 471468.626
AT ITER 5882 NEW BEST:: SOT 1735823 SOS 961488 HAS SOPS 961488 HAS SOUS 470426 HAS SOUPS 470426 WITH SCORE 471387.488
AT ITER 5884 NEW BEST:: SOT 1735788 SOS 961273 HAS SOPS 961273 HAS SOUS 470355 HAS SOUPS 470355 WITH SCORE 471316.273
AT ITER 5899 NEW BEST:: SOT 1735568 SOS 961053 HAS SOPS 961053 HAS SOUS 470135 HAS SOUPS 470135 WITH SCORE 471096.053
AT ITER 5913 NEW BEST:: SOT 1735567 SOS 961052 HAS SOPS 961052 HAS SOUS 470133 HAS SOUPS 470133 WITH SCORE 471094.052
AT ITER 5925 NEW BEST:: SOT 1735497 SOS 960982 HAS SOPS 960982 HAS SOUS 470063 HAS SOUPS 470063 WITH SCORE 471023.982
AT ITER 5949 NEW BEST:: SOT 1735474 SOS 960968 HAS SOPS 960968 HAS SOUS 470049 HAS SOUPS 470049 WITH SCORE 471009.968
AT ITER 5967 NEW BEST:: SOT 1735233 SOS 960019 HAS SOPS 960019 HAS SOUS 469572 HAS SOUPS 469572 WITH SCORE 470532.019
AT ITER 5969 NEW BEST:: SOT 1734563 SOS 961928 HAS SOPS 961928 HAS SOUS 469270 HAS SOUPS 469270 WITH SCORE 470231.928
AT ITER 5989 NEW BEST:: SOT 1734211 SOS 961157 HAS SOPS 961157 HAS SOUS 468852 HAS SOUPS 468852 WITH SCORE 469813.157
AT ITER 5995 NEW BEST:: SOT 1734078 SOS 960891 HAS SOPS 960891 HAS SOUS 468586 HAS SOUPS 468586 WITH SCORE 469546.891
AT ITER 5999 NEW BEST:: SOT 1734064 SOS 960863 HAS SOPS 960863 HAS SOUS 468558 HAS SOUPS 468558 WITH SCORE 469518.863
AT ITER 6004 NEW BEST:: SOT 1734017 SOS 960878 HAS SOPS 960878 HAS SOUS 468464 HAS SOUPS 468464 WITH SCORE 469424.878
AT ITER 6005 NEW BEST:: SOT 1733730 SOS 960591 HAS SOPS 960591 HAS SOUS 468177 HAS SOUPS 468177 WITH SCORE 469137.591
AT ITER 6012 NEW BEST:: SOT 1733684 SOS 960499 HAS SOPS 960499 HAS SOUS 468039 HAS SOUPS 468039 WITH SCORE 468999.499
AT ITER 6013 NEW BEST:: SOT 1733688 SOS 960503 HAS SOPS 960503 HAS SOUS 467567 HAS SOUPS 467567 WITH SCORE 468527.503
AT ITER 6022 NEW BEST:: SOT 1733749 SOS 960434 HAS SOPS 960434 HAS SOUS 467498 HAS SOUPS 467498 WITH SCORE 468458.434
AT ITER 6033 NEW BEST:: SOT 1733749 SOS 960325 HAS SOPS 960325 HAS SOUS 467475 HAS SOUPS 467475 WITH SCORE 468435.325
AT ITER 6046 NEW BEST:: SOT 1733749 SOS 960235 HAS SOPS 960235 HAS SOUS 467475 HAS SOUPS 467475 WITH SCORE 468435.235
AT ITER 6088 NEW BEST:: SOT 1733711 SOS 959723 HAS SOPS 959723 HAS SOUS 467399 HAS SOUPS 467399 WITH SCORE 468358.723
AT ITER 6090 NEW BEST:: SOT 1733711 SOS 959697 HAS SOPS 959697 HAS SOUS 467398 HAS SOUPS 467398 WITH SCORE 468357.697
AT ITER 6097 NEW BEST:: SOT 1733711 SOS 959697 HAS SOPS 959697 HAS SOUS 466636 HAS SOUPS 466636 WITH SCORE 467595.697
AT ITER 6110 NEW BEST:: SOT 1733671 SOS 959577 HAS SOPS 959577 HAS SOUS 466556 HAS SOUPS 466556 WITH SCORE 467515.577
AT ITER 6122 NEW BEST:: SOT 1733612 SOS 959535 HAS SOPS 959535 HAS SOUS 466514 HAS SOUPS 466514 WITH SCORE 467473.535
AT ITER 6126 NEW BEST:: SOT 1733612 SOS 959881 HAS SOPS 959881 HAS SOUS 466168 HAS SOUPS 466168 WITH SCORE 467127.881
AT ITER 6135 NEW BEST:: SOT 1733457 SOS 959726 HAS SOPS 959726 HAS SOUS 466013 HAS SOUPS 466013 WITH SCORE 466972.726
AT ITER 6145 NEW BEST:: SOT 1733017 SOS 958693 HAS SOPS 958693 HAS SOUS 464769 HAS SOUPS 464769 WITH SCORE 465727.693
AT ITER 6175 NEW BEST:: SOT 1731738 SOS 957565 HAS SOPS 957565 HAS SOUS 463490 HAS SOUPS 463490 WITH SCORE 464447.565
AT ITER 6186 NEW BEST:: SOT 1731472 SOS 957166 HAS SOPS 957166 HAS SOUS 463091 HAS SOUPS 463091 WITH SCORE 464048.166
AT ITER 6204 NEW BEST:: SOT 1731548 SOS 957012 HAS SOPS 957012 HAS SOUS 462963 HAS SOUPS 462963 WITH SCORE 463920.012
AT ITER 6209 NEW BEST:: SOT 1731540 SOS 956958 HAS SOPS 956958 HAS SOUS 462947 HAS SOUPS 462947 WITH SCORE 463903.958
AT ITER 6221 NEW BEST:: SOT 1731374 SOS 956736 HAS SOPS 956736 HAS SOUS 462687 HAS SOUPS 462687 WITH SCORE 463643.736
AT ITER 6224 NEW BEST:: SOT 1731373 SOS 956735 HAS SOPS 956735 HAS SOUS 462686 HAS SOUPS 462686 WITH SCORE 463642.735
AT ITER 6242 NEW BEST:: SOT 1731391 SOS 956692 HAS SOPS 956692 HAS SOUS 462643 HAS SOUPS 462643 WITH SCORE 463599.692
AT ITER 6245 NEW BEST:: SOT 1731419 SOS 956720 HAS SOPS 956720 HAS SOUS 462251 HAS SOUPS 462251 WITH SCORE 463207.72
AT ITER 6258 NEW BEST:: SOT 1731098 SOS 957035 HAS SOPS 957035 HAS SOUS 462189 HAS SOUPS 462189 WITH SCORE 463146.035
AT ITER 6280 NEW BEST:: SOT 1730973 SOS 952797 HAS SOPS 952797 HAS SOUS 461952 HAS SOUPS 461952 WITH SCORE 462904.797
AT ITER 6310 NEW BEST:: SOT 1730973 SOS 952781 HAS SOPS 952781 HAS SOUS 461950 HAS SOUPS 461950 WITH SCORE 462902.781
AT ITER 6320 NEW BEST:: SOT 1730771 SOS 952378 HAS SOPS 952378 HAS SOUS 461592 HAS SOUPS 461592 WITH SCORE 462544.378
AT ITER 6334 NEW BEST:: SOT 1730596 SOS 952306 HAS SOPS 952306 HAS SOUS 461524 HAS SOUPS 461524 WITH SCORE 462476.306
AT ITER 6347 NEW BEST:: SOT 1730484 SOS 952194 HAS SOPS 952194 HAS SOUS 461188 HAS SOUPS 461188 WITH SCORE 462140.194
AT ITER 6348 NEW BEST:: SOT 1730442 SOS 952058 HAS SOPS 952058 HAS SOUS 461134 HAS SOUPS 461134 WITH SCORE 462086.058
AT ITER 6355 NEW BEST:: SOT 1730444 SOS 951943 HAS SOPS 951943 HAS SOUS 461127 HAS SOUPS 461127 WITH SCORE 462078.943
AT ITER 6363 NEW BEST:: SOT 1730444 SOS 951863 HAS SOPS 951863 HAS SOUS 461127 HAS SOUPS 461127 WITH SCORE 462078.863
AT ITER 6365 NEW BEST:: SOT 1730190 SOS 951335 HAS SOPS 951335 HAS SOUS 460599 HAS SOUPS 460599 WITH SCORE 461550.335
AT ITER 6380 NEW BEST:: SOT 1729012 SOS 945086 HAS SOPS 945086 HAS SOUS 458243 HAS SOUPS 458243 WITH SCORE 459188.086
AT ITER 6381 NEW BEST:: SOT 1728979 SOS 945046 HAS SOPS 945046 HAS SOUS 458177 HAS SOUPS 458177 WITH SCORE 459122.046
AT ITER 6388 NEW BEST:: SOT 1728926 SOS 944872 HAS SOPS 944872 HAS SOUS 458071 HAS SOUPS 458071 WITH SCORE 459015.872
AT ITER 6394 NEW BEST:: SOT 1728776 SOS 944465 HAS SOPS 944465 HAS SOUS 457879 HAS SOUPS 457879 WITH SCORE 458823.465
AT ITER 6397 NEW BEST:: SOT 1728776 SOS 943912 HAS SOPS 943912 HAS SOUS 457878 HAS SOUPS 457878 WITH SCORE 458821.912
AT ITER 6399 NEW BEST:: SOT 1728774 SOS 943910 HAS SOPS 943910 HAS SOUS 457874 HAS SOUPS 457874 WITH SCORE 458817.91
AT ITER 6415 NEW BEST:: SOT 1728827 SOS 944036 HAS SOPS 944036 HAS SOUS 457818 HAS SOUPS 457818 WITH SCORE 458762.036
AT ITER 6430 NEW BEST:: SOT 1727459 SOS 942778 HAS SOPS 942778 HAS SOUS 457408 HAS SOUPS 457408 WITH SCORE 458350.778
AT ITER 6482 NEW BEST:: SOT 1727404 SOS 942631 HAS SOPS 942631 HAS SOUS 457298 HAS SOUPS 457298 WITH SCORE 458240.631
AT ITER 6510 NEW BEST:: SOT 1727404 SOS 942574 HAS SOPS 942574 HAS SOUS 457241 HAS SOUPS 457241 WITH SCORE 458183.574
AT ITER 6516 NEW BEST:: SOT 1726478 SOS 944154 HAS SOPS 944154 HAS SOUS 456940 HAS SOUPS 456940 WITH SCORE 457884.154
AT ITER 6531 NEW BEST:: SOT 1726208 SOS 943934 HAS SOPS 943934 HAS SOUS 456537 HAS SOUPS 456537 WITH SCORE 457480.934
AT ITER 6549 NEW BEST:: SOT 1725868 SOS 943237 HAS SOPS 943237 HAS SOUS 455840 HAS SOUPS 455840 WITH SCORE 456783.237
AT ITER 6576 NEW BEST:: SOT 1725843 SOS 943187 HAS SOPS 943187 HAS SOUS 455790 HAS SOUPS 455790 WITH SCORE 456733.187
AT ITER 6577 NEW BEST:: SOT 1725746 SOS 943090 HAS SOPS 943090 HAS SOUS 455693 HAS SOUPS 455693 WITH SCORE 456636.09
AT ITER 6582 NEW BEST:: SOT 1725596 SOS 942798 HAS SOPS 942798 HAS SOUS 455393 HAS SOUPS 455393 WITH SCORE 456335.798
AT ITER 6598 NEW BEST:: SOT 1725441 SOS 942701 HAS SOPS 942701 HAS SOUS 455296 HAS SOUPS 455296 WITH SCORE 456238.701
AT ITER 6605 NEW BEST:: SOT 1725706 SOS 942818 HAS SOPS 942818 HAS SOUS 454903 HAS SOUPS 454903 WITH SCORE 455845.818
AT ITER 6608 NEW BEST:: SOT 1725534 SOS 942076 HAS SOPS 942076 HAS SOUS 454646 HAS SOUPS 454646 WITH SCORE 455588.076
AT ITER 6622 NEW BEST:: SOT 1725516 SOS 942040 HAS SOPS 942040 HAS SOUS 454610 HAS SOUPS 454610 WITH SCORE 455552.04
AT ITER 6669 NEW BEST:: SOT 1725482 SOS 942006 HAS SOPS 942006 HAS SOUS 454542 HAS SOUPS 454542 WITH SCORE 455484.006
AT ITER 6675 NEW BEST:: SOT 1725313 SOS 941837 HAS SOPS 941837 HAS SOUS 454065 HAS SOUPS 454065 WITH SCORE 455006.837
AT ITER 6678 NEW BEST:: SOT 1725225 SOS 941741 HAS SOPS 941741 HAS SOUS 454047 HAS SOUPS 454047 WITH SCORE 454988.741
AT ITER 6679 NEW BEST:: SOT 1725133 SOS 941815 HAS SOPS 941815 HAS SOUS 453919 HAS SOUPS 453919 WITH SCORE 454860.815
AT ITER 6703 NEW BEST:: SOT 1724785 SOS 941293 HAS SOPS 941293 HAS SOUS 453337 HAS SOUPS 453337 WITH SCORE 454278.293
AT ITER 6708 NEW BEST:: SOT 1724784 SOS 941280 HAS SOPS 941280 HAS SOUS 453335 HAS SOUPS 453335 WITH SCORE 454276.28
AT ITER 6725 NEW BEST:: SOT 1724731 SOS 941036 HAS SOPS 941036 HAS SOUS 453200 HAS SOUPS 453200 WITH SCORE 454141.036
AT ITER 6730 NEW BEST:: SOT 1724757 SOS 940971 HAS SOPS 940971 HAS SOUS 453200 HAS SOUPS 453200 WITH SCORE 454140.971
AT ITER 6758 NEW BEST:: SOT 1724560 SOS 940774 HAS SOPS 940774 HAS SOUS 453003 HAS SOUPS 453003 WITH SCORE 453943.774
AT ITER 6776 NEW BEST:: SOT 1724415 SOS 940629 HAS SOPS 940629 HAS SOUS 452858 HAS SOUPS 452858 WITH SCORE 453798.629
AT ITER 6780 NEW BEST:: SOT 1724415 SOS 940555 HAS SOPS 940555 HAS SOUS 452787 HAS SOUPS 452787 WITH SCORE 453727.555
AT ITER 6785 NEW BEST:: SOT 1724359 SOS 940520 HAS SOPS 940520 HAS SOUS 452615 HAS SOUPS 452615 WITH SCORE 453555.52
AT ITER 6786 NEW BEST:: SOT 1724453 SOS 940285 HAS SOPS 940285 HAS SOUS 452380 HAS SOUPS 452380 WITH SCORE 453320.285
AT ITER 6791 NEW BEST:: SOT 1724372 SOS 939718 HAS SOPS 939718 HAS SOUS 452173 HAS SOUPS 452173 WITH SCORE 453112.718
AT ITER 6793 NEW BEST:: SOT 1724236 SOS 939492 HAS SOPS 939492 HAS SOUS 451947 HAS SOUPS 451947 WITH SCORE 452886.492
AT ITER 6802 NEW BEST:: SOT 1724129 SOS 939310 HAS SOPS 939310 HAS SOUS 451759 HAS SOUPS 451759 WITH SCORE 452698.31
AT ITER 6820 NEW BEST:: SOT 1724128 SOS 939307 HAS SOPS 939307 HAS SOUS 451757 HAS SOUPS 451757 WITH SCORE 452696.307
AT ITER 6825 NEW BEST:: SOT 1724108 SOS 938937 HAS SOPS 938937 HAS SOUS 451440 HAS SOUPS 451440 WITH SCORE 452378.937
AT ITER 6856 NEW BEST:: SOT 1723979 SOS 938808 HAS SOPS 938808 HAS SOUS 451301 HAS SOUPS 451301 WITH SCORE 452239.808
AT ITER 6867 NEW BEST:: SOT 1724709 SOS 939295 HAS SOPS 939295 HAS SOUS 451155 HAS SOUPS 451155 WITH SCORE 452094.295
AT ITER 6890 NEW BEST:: SOT 1724709 SOS 939094 HAS SOPS 939094 HAS SOUS 451155 HAS SOUPS 451155 WITH SCORE 452094.094
AT ITER 6896 NEW BEST:: SOT 1724596 SOS 939093 HAS SOPS 939093 HAS SOUS 451041 HAS SOUPS 451041 WITH SCORE 451980.093
AT ITER 6902 NEW BEST:: SOT 1724389 SOS 938838 HAS SOPS 938838 HAS SOUS 450990 HAS SOUPS 450990 WITH SCORE 451928.838
AT ITER 6906 NEW BEST:: SOT 1724313 SOS 938610 HAS SOPS 938610 HAS SOUS 450762 HAS SOUPS 450762 WITH SCORE 451700.61
AT ITER 6938 NEW BEST:: SOT 1724472 SOS 938447 HAS SOPS 938447 HAS SOUS 450758 HAS SOUPS 450758 WITH SCORE 451696.447
AT ITER 6939 NEW BEST:: SOT 1724467 SOS 938049 HAS SOPS 938049 HAS SOUS 450753 HAS SOUPS 450753 WITH SCORE 451691.049
AT ITER 6944 NEW BEST:: SOT 1724447 SOS 937666 HAS SOPS 937666 HAS SOUS 450134 HAS SOUPS 450134 WITH SCORE 451071.666
AT ITER 6962 NEW BEST:: SOT 1723772 SOS 935824 HAS SOPS 935824 HAS SOUS 449218 HAS SOUPS 449218 WITH SCORE 450153.824
AT ITER 6964 NEW BEST:: SOT 1723655 SOS 935585 HAS SOPS 935585 HAS SOUS 449179 HAS SOUPS 449179 WITH SCORE 450114.585
AT ITER 6997 NEW BEST:: SOT 1723582 SOS 935439 HAS SOPS 935439 HAS SOUS 449033 HAS SOUPS 449033 WITH SCORE 449968.439
AT ITER 7018 NEW BEST:: SOT 1723493 SOS 935350 HAS SOPS 935350 HAS SOUS 448944 HAS SOUPS 448944 WITH SCORE 449879.35
AT ITER 7037 NEW BEST:: SOT 1723493 SOS 935912 HAS SOPS 935912 HAS SOUS 448920 HAS SOUPS 448920 WITH SCORE 449855.912
AT ITER 7044 NEW BEST:: SOT 1723492 SOS 935911 HAS SOPS 935911 HAS SOUS 448918 HAS SOUPS 448918 WITH SCORE 449853.911
AT ITER 7047 NEW BEST:: SOT 1723393 SOS 935812 HAS SOPS 935812 HAS SOUS 448811 HAS SOUPS 448811 WITH SCORE 449746.812
AT ITER 7049 NEW BEST:: SOT 1723393 SOS 935816 HAS SOPS 935816 HAS SOUS 448717 HAS SOUPS 448717 WITH SCORE 449652.816
AT ITER 7056 NEW BEST:: SOT 1723555 SOS 935816 HAS SOPS 935816 HAS SOUS 448555 HAS SOUPS 448555 WITH SCORE 449490.816
AT ITER 7057 NEW BEST:: SOT 1723175 SOS 935871 HAS SOPS 935871 HAS SOUS 448495 HAS SOUPS 448495 WITH SCORE 449430.871
AT ITER 7064 NEW BEST:: SOT 1722994 SOS 935623 HAS SOPS 935623 HAS SOUS 448163 HAS SOUPS 448163 WITH SCORE 449098.623
AT ITER 7083 NEW BEST:: SOT 1723278 SOS 935677 HAS SOPS 935677 HAS SOUS 447886 HAS SOUPS 447886 WITH SCORE 448821.677
AT ITER 7088 NEW BEST:: SOT 1723277 SOS 935652 HAS SOPS 935652 HAS SOUS 447860 HAS SOUPS 447860 WITH SCORE 448795.652
AT ITER 7114 NEW BEST:: SOT 1722996 SOS 935247 HAS SOPS 935247 HAS SOUS 447455 HAS SOUPS 447455 WITH SCORE 448390.247
AT ITER 7115 NEW BEST:: SOT 1722996 SOS 935205 HAS SOPS 935205 HAS SOUS 447413 HAS SOUPS 447413 WITH SCORE 448348.205
AT ITER 7119 NEW BEST:: SOT 1722905 SOS 934853 HAS SOPS 934853 HAS SOUS 447061 HAS SOUPS 447061 WITH SCORE 447995.853
AT ITER 7127 NEW BEST:: SOT 1722872 SOS 934754 HAS SOPS 934754 HAS SOUS 447061 HAS SOUPS 447061 WITH SCORE 447995.754
AT ITER 7144 NEW BEST:: SOT 1722999 SOS 934752 HAS SOPS 934752 HAS SOUS 447059 HAS SOUPS 447059 WITH SCORE 447993.752
AT ITER 7149 NEW BEST:: SOT 1722968 SOS 934690 HAS SOPS 934690 HAS SOUS 446997 HAS SOUPS 446997 WITH SCORE 447931.69
AT ITER 7153 NEW BEST:: SOT 1722946 SOS 934668 HAS SOPS 934668 HAS SOUS 446931 HAS SOUPS 446931 WITH SCORE 447865.668
AT ITER 7174 NEW BEST:: SOT 1722707 SOS 934429 HAS SOPS 934429 HAS SOUS 446692 HAS SOUPS 446692 WITH SCORE 447626.429
AT ITER 7198 NEW BEST:: SOT 1722587 SOS 934369 HAS SOPS 934369 HAS SOUS 446632 HAS SOUPS 446632 WITH SCORE 447566.369
AT ITER 7199 NEW BEST:: SOT 1722120 SOS 933533 HAS SOPS 933533 HAS SOUS 446538 HAS SOUPS 446538 WITH SCORE 447471.533
AT ITER 7209 NEW BEST:: SOT 1722092 SOS 933459 HAS SOPS 933459 HAS SOUS 446480 HAS SOUPS 446480 WITH SCORE 447413.459
AT ITER 7216 NEW BEST:: SOT 1722092 SOS 933107 HAS SOPS 933107 HAS SOUS 446436 HAS SOUPS 446436 WITH SCORE 447369.107
AT ITER 7226 NEW BEST:: SOT 1722230 SOS 933097 HAS SOPS 933097 HAS SOUS 446426 HAS SOUPS 446426 WITH SCORE 447359.097
AT ITER 7230 NEW BEST:: SOT 1721971 SOS 933018 HAS SOPS 933018 HAS SOUS 446107 HAS SOUPS 446107 WITH SCORE 447040.018
AT ITER 7232 NEW BEST:: SOT 1721935 SOS 932911 HAS SOPS 932911 HAS SOUS 445628 HAS SOUPS 445628 WITH SCORE 446560.911
AT ITER 7237 NEW BEST:: SOT 1721830 SOS 932806 HAS SOPS 932806 HAS SOUS 445523 HAS SOUPS 445523 WITH SCORE 446455.806
AT ITER 7266 NEW BEST:: SOT 1721409 SOS 927942 HAS SOPS 927942 HAS SOUS 445152 HAS SOUPS 445152 WITH SCORE 446079.942
AT ITER 7274 NEW BEST:: SOT 1721355 SOS 927888 HAS SOPS 927888 HAS SOUS 445098 HAS SOUPS 445098 WITH SCORE 446025.888
AT ITER 7280 NEW BEST:: SOT 1721323 SOS 927718 HAS SOPS 927718 HAS SOUS 445034 HAS SOUPS 445034 WITH SCORE 445961.718
AT ITER 7305 NEW BEST:: SOT 1721287 SOS 927682 HAS SOPS 927682 HAS SOUS 444998 HAS SOUPS 444998 WITH SCORE 445925.682
AT ITER 7317 NEW BEST:: SOT 1721085 SOS 926893 HAS SOPS 926893 HAS SOUS 444427 HAS SOUPS 444427 WITH SCORE 445353.893
AT ITER 7333 NEW BEST:: SOT 1721085 SOS 922763 HAS SOPS 922763 HAS SOUS 443812 HAS SOUPS 443812 WITH SCORE 444734.763
AT ITER 7348 NEW BEST:: SOT 1721085 SOS 921167 HAS SOPS 921167 HAS SOUS 443812 HAS SOUPS 443812 WITH SCORE 444733.167
AT ITER 7369 NEW BEST:: SOT 1721085 SOS 921358 HAS SOPS 921358 HAS SOUS 443430 HAS SOUPS 443430 WITH SCORE 444351.358
AT ITER 7376 NEW BEST:: SOT 1721073 SOS 921324 HAS SOPS 921324 HAS SOUS 443396 HAS SOUPS 443396 WITH SCORE 444317.324
AT ITER 7378 NEW BEST:: SOT 1720903 SOS 921132 HAS SOPS 921132 HAS SOUS 443173 HAS SOUPS 443173 WITH SCORE 444094.132
AT ITER 7384 NEW BEST:: SOT 1720373 SOS 920542 HAS SOPS 920542 HAS SOUS 443007 HAS SOUPS 443007 WITH SCORE 443927.542
AT ITER 7390 NEW BEST:: SOT 1720072 SOS 920241 HAS SOPS 920241 HAS SOUS 442988 HAS SOUPS 442988 WITH SCORE 443908.241
AT ITER 7399 NEW BEST:: SOT 1720080 SOS 920249 HAS SOPS 920249 HAS SOUS 442849 HAS SOUPS 442849 WITH SCORE 443769.249
AT ITER 7404 NEW BEST:: SOT 1719875 SOS 920044 HAS SOPS 920044 HAS SOUS 442635 HAS SOUPS 442635 WITH SCORE 443555.044
AT ITER 7412 NEW BEST:: SOT 1719578 SOS 920036 HAS SOPS 920036 HAS SOUS 442627 HAS SOUPS 442627 WITH SCORE 443547.036
AT ITER 7413 NEW BEST:: SOT 1719578 SOS 918971 HAS SOPS 918971 HAS SOUS 442446 HAS SOUPS 442446 WITH SCORE 443364.971
AT ITER 7420 NEW BEST:: SOT 1719519 SOS 918837 HAS SOPS 918837 HAS SOUS 442311 HAS SOUPS 442311 WITH SCORE 443229.837
AT ITER 7422 NEW BEST:: SOT 1719230 SOS 918635 HAS SOPS 918635 HAS SOUS 441425 HAS SOUPS 441425 WITH SCORE 442343.635
AT ITER 7434 NEW BEST:: SOT 1719227 SOS 918632 HAS SOPS 918632 HAS SOUS 441407 HAS SOUPS 441407 WITH SCORE 442325.632
AT ITER 7444 NEW BEST:: SOT 1719650 SOS 918144 HAS SOPS 918144 HAS SOUS 440919 HAS SOUPS 440919 WITH SCORE 441837.144
AT ITER 7445 NEW BEST:: SOT 1719631 SOS 918106 HAS SOPS 918106 HAS SOUS 440881 HAS SOUPS 440881 WITH SCORE 441799.106
AT ITER 7461 NEW BEST:: SOT 1719577 SOS 917998 HAS SOPS 917998 HAS SOUS 440827 HAS SOUPS 440827 WITH SCORE 441744.998
AT ITER 7473 NEW BEST:: SOT 1719498 SOS 918062 HAS SOPS 918062 HAS SOUS 440812 HAS SOUPS 440812 WITH SCORE 441730.062
AT ITER 7480 NEW BEST:: SOT 1719183 SOS 917712 HAS SOPS 917712 HAS SOUS 440462 HAS SOUPS 440462 WITH SCORE 441379.712
AT ITER 7498 NEW BEST:: SOT 1719107 SOS 918236 HAS SOPS 918236 HAS SOUS 440386 HAS SOUPS 440386 WITH SCORE 441304.236
AT ITER 7505 NEW BEST:: SOT 1719106 SOS 918235 HAS SOPS 918235 HAS SOUS 440384 HAS SOUPS 440384 WITH SCORE 441302.235
AT ITER 7528 NEW BEST:: SOT 1719104 SOS 917897 HAS SOPS 917897 HAS SOUS 440190 HAS SOUPS 440190 WITH SCORE 441107.897
AT ITER 7560 NEW BEST:: SOT 1719097 SOS 917890 HAS SOPS 917890 HAS SOUS 440183 HAS SOUPS 440183 WITH SCORE 441100.89
AT ITER 7590 NEW BEST:: SOT 1718930 SOS 917665 HAS SOPS 917665 HAS SOUS 439958 HAS SOUPS 439958 WITH SCORE 440875.665
AT ITER 7591 NEW BEST:: SOT 1718930 SOS 917657 HAS SOPS 917657 HAS SOUS 439957 HAS SOUPS 439957 WITH SCORE 440874.657
AT ITER 7600 NEW BEST:: SOT 1718971 SOS 916732 HAS SOPS 916732 HAS SOUS 439507 HAS SOUPS 439507 WITH SCORE 440423.732
AT ITER 7673 NEW BEST:: SOT 1718954 SOS 916701 HAS SOPS 916701 HAS SOUS 439476 HAS SOUPS 439476 WITH SCORE 440392.701
AT ITER 7679 NEW BEST:: SOT 1718945 SOS 916834 HAS SOPS 916834 HAS SOUS 439417 HAS SOUPS 439417 WITH SCORE 440333.834
AT ITER 7705 NEW BEST:: SOT 1718845 SOS 916634 HAS SOPS 916634 HAS SOUS 439001 HAS SOUPS 439001 WITH SCORE 439917.634
AT ITER 7710 NEW BEST:: SOT 1718577 SOS 916262 HAS SOPS 916262 HAS SOUS 438506 HAS SOUPS 438506 WITH SCORE 439422.262
AT ITER 7712 NEW BEST:: SOT 1718569 SOS 916254 HAS SOPS 916254 HAS SOUS 438494 HAS SOUPS 438494 WITH SCORE 439410.254
AT ITER 7718 NEW BEST:: SOT 1718636 SOS 916122 HAS SOPS 916122 HAS SOUS 438362 HAS SOUPS 438362 WITH SCORE 439278.122
AT ITER 7735 NEW BEST:: SOT 1718514 SOS 915574 HAS SOPS 915574 HAS SOUS 437904 HAS SOUPS 437904 WITH SCORE 438819.574
AT ITER 7743 NEW BEST:: SOT 1717131 SOS 915661 HAS SOPS 915661 HAS SOUS 436678 HAS SOUPS 436678 WITH SCORE 437593.661
AT ITER 7745 NEW BEST:: SOT 1717131 SOS 915511 HAS SOPS 915511 HAS SOUS 436528 HAS SOUPS 436528 WITH SCORE 437443.511
AT ITER 7756 NEW BEST:: SOT 1717130 SOS 915510 HAS SOPS 915510 HAS SOUS 436526 HAS SOUPS 436526 WITH SCORE 437441.51
AT ITER 7772 NEW BEST:: SOT 1716775 SOS 915155 HAS SOPS 915155 HAS SOUS 436352 HAS SOUPS 436352 WITH SCORE 437267.155
AT ITER 7781 NEW BEST:: SOT 1716688 SOS 915068 HAS SOPS 915068 HAS SOUS 436352 HAS SOUPS 436352 WITH SCORE 437267.068
AT ITER 7786 NEW BEST:: SOT 1716680 SOS 915060 HAS SOPS 915060 HAS SOUS 436344 HAS SOUPS 436344 WITH SCORE 437259.06
AT ITER 7807 NEW BEST:: SOT 1716699 SOS 914976 HAS SOPS 914976 HAS SOUS 436321 HAS SOUPS 436321 WITH SCORE 437235.976
AT ITER 7814 NEW BEST:: SOT 1716679 SOS 914926 HAS SOPS 914926 HAS SOUS 436301 HAS SOUPS 436301 WITH SCORE 437215.926
AT ITER 7819 NEW BEST:: SOT 1716644 SOS 914947 HAS SOPS 914947 HAS SOUS 436283 HAS SOUPS 436283 WITH SCORE 437197.947
AT ITER 7823 NEW BEST:: SOT 1716622 SOS 914925 HAS SOPS 914925 HAS SOUS 436239 HAS SOUPS 436239 WITH SCORE 437153.925
AT ITER 7844 NEW BEST:: SOT 1716763 SOS 915058 HAS SOPS 915058 HAS SOUS 436135 HAS SOUPS 436135 WITH SCORE 437050.058
AT ITER 7849 NEW BEST:: SOT 1716755 SOS 915050 HAS SOPS 915050 HAS SOUS 436127 HAS SOUPS 436127 WITH SCORE 437042.05
AT ITER 7850 NEW BEST:: SOT 1716565 SOS 914947 HAS SOPS 914947 HAS SOUS 435914 HAS SOUPS 435914 WITH SCORE 436828.947
AT ITER 7869 NEW BEST:: SOT 1716509 SOS 914929 HAS SOPS 914929 HAS SOUS 435893 HAS SOUPS 435893 WITH SCORE 436807.929
AT ITER 7873 NEW BEST:: SOT 1716509 SOS 914921 HAS SOPS 914921 HAS SOUS 435892 HAS SOUPS 435892 WITH SCORE 436806.921
AT ITER 7875 NEW BEST:: SOT 1716460 SOS 914921 HAS SOPS 914921 HAS SOUS 435843 HAS SOUPS 435843 WITH SCORE 436757.921
AT ITER 7892 NEW BEST:: SOT 1716408 SOS 914843 HAS SOPS 914843 HAS SOUS 435765 HAS SOUPS 435765 WITH SCORE 436679.843
AT ITER 7896 NEW BEST:: SOT 1716408 SOS 914781 HAS SOPS 914781 HAS SOUS 435643 HAS SOUPS 435643 WITH SCORE 436557.781
AT ITER 7900 NEW BEST:: SOT 1716262 SOS 914635 HAS SOPS 914635 HAS SOUS 435426 HAS SOUPS 435426 WITH SCORE 436340.635
AT ITER 7923 NEW BEST:: SOT 1716242 SOS 914595 HAS SOPS 914595 HAS SOUS 435386 HAS SOUPS 435386 WITH SCORE 436300.595
AT ITER 7984 NEW BEST:: SOT 1716021 SOS 914225 HAS SOPS 914225 HAS SOUS 435016 HAS SOUPS 435016 WITH SCORE 435930.225
AT ITER 7994 NEW BEST:: SOT 1715854 SOS 914009 HAS SOPS 914009 HAS SOUS 434855 HAS SOUPS 434855 WITH SCORE 435769.009
AT ITER 8007 NEW BEST:: SOT 1715834 SOS 913969 HAS SOPS 913969 HAS SOUS 434815 HAS SOUPS 434815 WITH SCORE 435728.969
AT ITER 8030 NEW BEST:: SOT 1715811 SOS 913735 HAS SOPS 913735 HAS SOUS 434581 HAS SOUPS 434581 WITH SCORE 435494.735
AT ITER 8060 NEW BEST:: SOT 1715721 SOS 913555 HAS SOPS 913555 HAS SOUS 434401 HAS SOUPS 434401 WITH SCORE 435314.555
AT ITER 8061 NEW BEST:: SOT 1715721 SOS 913365 HAS SOPS 913365 HAS SOUS 434382 HAS SOUPS 434382 WITH SCORE 435295.365
AT ITER 8063 NEW BEST:: SOT 1715696 SOS 913340 HAS SOPS 913340 HAS SOUS 434109 HAS SOUPS 434109 WITH SCORE 435022.34
AT ITER 8065 NEW BEST:: SOT 1715559 SOS 913167 HAS SOPS 913167 HAS SOUS 433936 HAS SOUPS 433936 WITH SCORE 434849.167
AT ITER 8074 NEW BEST:: SOT 1715552 SOS 913264 HAS SOPS 913264 HAS SOUS 433837 HAS SOUPS 433837 WITH SCORE 434750.264
AT ITER 8080 NEW BEST:: SOT 1715417 SOS 913149 HAS SOPS 913149 HAS SOUS 433814 HAS SOUPS 433814 WITH SCORE 434727.149
AT ITER 8091 NEW BEST:: SOT 1715410 SOS 913142 HAS SOPS 913142 HAS SOUS 433797 HAS SOUPS 433797 WITH SCORE 434710.142
AT ITER 8118 NEW BEST:: SOT 1715347 SOS 913079 HAS SOPS 913079 HAS SOUS 433734 HAS SOUPS 433734 WITH SCORE 434647.079
AT ITER 8146 NEW BEST:: SOT 1715235 SOS 912967 HAS SOPS 912967 HAS SOUS 433622 HAS SOUPS 433622 WITH SCORE 434534.967
AT ITER 8147 NEW BEST:: SOT 1715341 SOS 912677 HAS SOPS 912677 HAS SOUS 433571 HAS SOUPS 433571 WITH SCORE 434483.677
AT ITER 8149 NEW BEST:: SOT 1715021 SOS 912357 HAS SOPS 912357 HAS SOUS 433251 HAS SOUPS 433251 WITH SCORE 434163.357
AT ITER 8150 NEW BEST:: SOT 1715009 SOS 912174 HAS SOPS 912174 HAS SOUS 433189 HAS SOUPS 433189 WITH SCORE 434101.174
AT ITER 8178 NEW BEST:: SOT 1714991 SOS 912156 HAS SOPS 912156 HAS SOUS 433171 HAS SOUPS 433171 WITH SCORE 434083.156
AT ITER 8181 NEW BEST:: SOT 1714928 SOS 912054 HAS SOPS 912054 HAS SOUS 433155 HAS SOUPS 433155 WITH SCORE 434067.054
AT ITER 8186 NEW BEST:: SOT 1714989 SOS 911708 HAS SOPS 911708 HAS SOUS 433127 HAS SOUPS 433127 WITH SCORE 434038.708
AT ITER 8202 NEW BEST:: SOT 1715068 SOS 911657 HAS SOPS 911657 HAS SOUS 433076 HAS SOUPS 433076 WITH SCORE 433987.657
AT ITER 8208 NEW BEST:: SOT 1715191 SOS 911166 HAS SOPS 911166 HAS SOUS 433041 HAS SOUPS 433041 WITH SCORE 433952.166
AT ITER 8212 NEW BEST:: SOT 1715191 SOS 911008 HAS SOPS 911008 HAS SOUS 433040 HAS SOUPS 433040 WITH SCORE 433951.008
AT ITER 8234 NEW BEST:: SOT 1715026 SOS 911042 HAS SOPS 911042 HAS SOUS 433038 HAS SOUPS 433038 WITH SCORE 433949.042
AT ITER 8237 NEW BEST:: SOT 1714996 SOS 911037 HAS SOPS 911037 HAS SOUS 432876 HAS SOUPS 432876 WITH SCORE 433787.037
AT ITER 8257 NEW BEST:: SOT 1714933 SOS 910926 HAS SOPS 910926 HAS SOUS 432810 HAS SOUPS 432810 WITH SCORE 433720.926
AT ITER 8263 NEW BEST:: SOT 1711778 SOS 907771 HAS SOPS 907771 HAS SOUS 429614 HAS SOUPS 429614 WITH SCORE 430521.771
AT ITER 8280 NEW BEST:: SOT 1711741 SOS 907733 HAS SOPS 907733 HAS SOUS 429559 HAS SOUPS 429559 WITH SCORE 430466.733
AT ITER 8295 NEW BEST:: SOT 1711870 SOS 906719 HAS SOPS 906719 HAS SOUS 428440 HAS SOUPS 428440 WITH SCORE 429346.719
AT ITER 8299 NEW BEST:: SOT 1711808 SOS 906657 HAS SOPS 906657 HAS SOUS 428378 HAS SOUPS 428378 WITH SCORE 429284.657
AT ITER 8303 NEW BEST:: SOT 1711808 SOS 906657 HAS SOPS 906657 HAS SOUS 428369 HAS SOUPS 428369 WITH SCORE 429275.657
AT ITER 8309 NEW BEST:: SOT 1711876 SOS 906564 HAS SOPS 906564 HAS SOUS 428208 HAS SOUPS 428208 WITH SCORE 429114.564
AT ITER 8318 NEW BEST:: SOT 1711742 SOS 906430 HAS SOPS 906430 HAS SOUS 428074 HAS SOUPS 428074 WITH SCORE 428980.43
AT ITER 8320 NEW BEST:: SOT 1711742 SOS 906529 HAS SOPS 906529 HAS SOUS 428053 HAS SOUPS 428053 WITH SCORE 428959.529
AT ITER 8323 NEW BEST:: SOT 1711658 SOS 906445 HAS SOPS 906445 HAS SOUS 427969 HAS SOUPS 427969 WITH SCORE 428875.445
AT ITER 8328 NEW BEST:: SOT 1711421 SOS 906163 HAS SOPS 906163 HAS SOUS 427486 HAS SOUPS 427486 WITH SCORE 428392.163
AT ITER 8336 NEW BEST:: SOT 1711366 SOS 906146 HAS SOPS 906146 HAS SOUS 427455 HAS SOUPS 427455 WITH SCORE 428361.146
AT ITER 8373 NEW BEST:: SOT 1711145 SOS 905710 HAS SOPS 905710 HAS SOUS 427019 HAS SOUPS 427019 WITH SCORE 427924.71
AT ITER 8401 NEW BEST:: SOT 1711140 SOS 905695 HAS SOPS 905695 HAS SOUS 427004 HAS SOUPS 427004 WITH SCORE 427909.695
AT ITER 8414 NEW BEST:: SOT 1710956 SOS 905104 HAS SOPS 905104 HAS SOUS 426413 HAS SOUPS 426413 WITH SCORE 427318.104
AT ITER 8416 NEW BEST:: SOT 1710956 SOS 902531 HAS SOPS 902531 HAS SOUS 426413 HAS SOUPS 426413 WITH SCORE 427315.531
AT ITER 8448 NEW BEST:: SOT 1710838 SOS 902593 HAS SOPS 902593 HAS SOUS 426294 HAS SOUPS 426294 WITH SCORE 427196.593
AT ITER 8507 NEW BEST:: SOT 1710675 SOS 902430 HAS SOPS 902430 HAS SOUS 426108 HAS SOUPS 426108 WITH SCORE 427010.43
AT ITER 8517 NEW BEST:: SOT 1710627 SOS 902210 HAS SOPS 902210 HAS SOUS 425925 HAS SOUPS 425925 WITH SCORE 426827.21
AT ITER 8528 NEW BEST:: SOT 1710624 SOS 902235 HAS SOPS 902235 HAS SOUS 425909 HAS SOUPS 425909 WITH SCORE 426811.235
AT ITER 8531 NEW BEST:: SOT 1710637 SOS 901957 HAS SOPS 901957 HAS SOUS 425631 HAS SOUPS 425631 WITH SCORE 426532.957
AT ITER 8534 NEW BEST:: SOT 1710629 SOS 901949 HAS SOPS 901949 HAS SOUS 425623 HAS SOUPS 425623 WITH SCORE 426524.949
AT ITER 8562 NEW BEST:: SOT 1710629 SOS 901804 HAS SOPS 901804 HAS SOUS 425623 HAS SOUPS 425623 WITH SCORE 426524.804
AT ITER 8576 NEW BEST:: SOT 1710631 SOS 901794 HAS SOPS 901794 HAS SOUS 425623 HAS SOUPS 425623 WITH SCORE 426524.794
AT ITER 8579 NEW BEST:: SOT 1710601 SOS 901557 HAS SOPS 901557 HAS SOUS 425313 HAS SOUPS 425313 WITH SCORE 426214.557
AT ITER 8582 NEW BEST:: SOT 1710600 SOS 901555 HAS SOPS 901555 HAS SOUS 425311 HAS SOUPS 425311 WITH SCORE 426212.555
AT ITER 8588 NEW BEST:: SOT 1710600 SOS 901423 HAS SOPS 901423 HAS SOUS 425311 HAS SOUPS 425311 WITH SCORE 426212.423
AT ITER 8602 NEW BEST:: SOT 1710444 SOS 900495 HAS SOPS 900495 HAS SOUS 425251 HAS SOUPS 425251 WITH SCORE 426151.495
AT ITER 8613 NEW BEST:: SOT 1710414 SOS 900446 HAS SOPS 900446 HAS SOUS 425203 HAS SOUPS 425203 WITH SCORE 426103.446
AT ITER 8643 NEW BEST:: SOT 1710414 SOS 900426 HAS SOPS 900426 HAS SOUS 425183 HAS SOUPS 425183 WITH SCORE 426083.426
AT ITER 8644 NEW BEST:: SOT 1710415 SOS 900398 HAS SOPS 900398 HAS SOUS 425155 HAS SOUPS 425155 WITH SCORE 426055.398
AT ITER 8652 NEW BEST:: SOT 1710411 SOS 900375 HAS SOPS 900375 HAS SOUS 425132 HAS SOUPS 425132 WITH SCORE 426032.375
AT ITER 8678 NEW BEST:: SOT 1710347 SOS 900078 HAS SOPS 900078 HAS SOUS 425068 HAS SOUPS 425068 WITH SCORE 425968.078
AT ITER 8683 NEW BEST:: SOT 1710193 SOS 899320 HAS SOPS 899320 HAS SOUS 424817 HAS SOUPS 424817 WITH SCORE 425716.32
AT ITER 8695 NEW BEST:: SOT 1710064 SOS 899191 HAS SOPS 899191 HAS SOUS 424653 HAS SOUPS 424653 WITH SCORE 425552.191
AT ITER 8732 NEW BEST:: SOT 1709987 SOS 896387 HAS SOPS 896387 HAS SOUS 424576 HAS SOUPS 424576 WITH SCORE 425472.387
AT ITER 8742 NEW BEST:: SOT 1709931 SOS 896330 HAS SOPS 896330 HAS SOUS 424519 HAS SOUPS 424519 WITH SCORE 425415.33
AT ITER 8752 NEW BEST:: SOT 1709851 SOS 896250 HAS SOPS 896250 HAS SOUS 424434 HAS SOUPS 424434 WITH SCORE 425330.25
AT ITER 8757 NEW BEST:: SOT 1708727 SOS 891318 HAS SOPS 891318 HAS SOUS 423436 HAS SOUPS 423436 WITH SCORE 424327.318
AT ITER 8770 NEW BEST:: SOT 1708595 SOS 890394 HAS SOPS 890394 HAS SOUS 423171 HAS SOUPS 423171 WITH SCORE 424061.394
AT ITER 8771 NEW BEST:: SOT 1708175 SOS 889806 HAS SOPS 889806 HAS SOUS 422583 HAS SOUPS 422583 WITH SCORE 423472.806
AT ITER 8783 NEW BEST:: SOT 1708175 SOS 890026 HAS SOPS 890026 HAS SOUS 422403 HAS SOUPS 422403 WITH SCORE 423293.026
AT ITER 8809 NEW BEST:: SOT 1708189 SOS 890168 HAS SOPS 890168 HAS SOUS 422303 HAS SOUPS 422303 WITH SCORE 423193.168
AT ITER 8815 NEW BEST:: SOT 1708134 SOS 890113 HAS SOPS 890113 HAS SOUS 422247 HAS SOUPS 422247 WITH SCORE 423137.113
AT ITER 8845 NEW BEST:: SOT 1708134 SOS 890113 HAS SOPS 890113 HAS SOUS 422245 HAS SOUPS 422245 WITH SCORE 423135.113
AT ITER 8846 NEW BEST:: SOT 1708048 SOS 889392 HAS SOPS 889392 HAS SOUS 422159 HAS SOUPS 422159 WITH SCORE 423048.392
AT ITER 8847 NEW BEST:: SOT 1707593 SOS 887469 HAS SOPS 887469 HAS SOUS 421249 HAS SOUPS 421249 WITH SCORE 422136.469
AT ITER 8855 NEW BEST:: SOT 1707529 SOS 887405 HAS SOPS 887405 HAS SOUS 421185 HAS SOUPS 421185 WITH SCORE 422072.405
AT ITER 8873 NEW BEST:: SOT 1707218 SOS 886736 HAS SOPS 886736 HAS SOUS 420810 HAS SOUPS 420810 WITH SCORE 421696.736
AT ITER 8877 NEW BEST:: SOT 1707132 SOS 886650 HAS SOPS 886650 HAS SOUS 420724 HAS SOUPS 420724 WITH SCORE 421610.65
AT ITER 8878 NEW BEST:: SOT 1700869 SOS 880928 HAS SOPS 880928 HAS SOUS 414664 HAS SOUPS 414664 WITH SCORE 415544.928
AT ITER 8890 NEW BEST:: SOT 1700831 SOS 880890 HAS SOPS 880890 HAS SOUS 414626 HAS SOUPS 414626 WITH SCORE 415506.89
AT ITER 8900 NEW BEST:: SOT 1700245 SOS 880304 HAS SOPS 880304 HAS SOUS 414544 HAS SOUPS 414544 WITH SCORE 415424.304
AT ITER 8904 NEW BEST:: SOT 1700243 SOS 880314 HAS SOPS 880314 HAS SOUS 414540 HAS SOUPS 414540 WITH SCORE 415420.314
AT ITER 8920 NEW BEST:: SOT 1700212 SOS 880122 HAS SOPS 880122 HAS SOUS 414293 HAS SOUPS 414293 WITH SCORE 415173.122
AT ITER 8926 NEW BEST:: SOT 1700205 SOS 880108 HAS SOPS 880108 HAS SOUS 414279 HAS SOUPS 414279 WITH SCORE 415159.108
AT ITER 8936 NEW BEST:: SOT 1700154 SOS 880038 HAS SOPS 880038 HAS SOUS 414015 HAS SOUPS 414015 WITH SCORE 414895.038
AT ITER 8951 NEW BEST:: SOT 1700478 SOS 880362 HAS SOPS 880362 HAS SOUS 413917 HAS SOUPS 413917 WITH SCORE 414797.362
AT ITER 9003 NEW BEST:: SOT 1700376 SOS 879859 HAS SOPS 879859 HAS SOUS 413601 HAS SOUPS 413601 WITH SCORE 414480.859
AT ITER 9018 NEW BEST:: SOT 1699931 SOS 878840 HAS SOPS 878840 HAS SOUS 412724 HAS SOUPS 412724 WITH SCORE 413602.84
AT ITER 9020 NEW BEST:: SOT 1699932 SOS 878841 HAS SOPS 878841 HAS SOUS 412719 HAS SOUPS 412719 WITH SCORE 413597.841
AT ITER 9027 NEW BEST:: SOT 1699863 SOS 878772 HAS SOPS 878772 HAS SOUS 412650 HAS SOUPS 412650 WITH SCORE 413528.772
AT ITER 9032 NEW BEST:: SOT 1699571 SOS 878558 HAS SOPS 878558 HAS SOUS 412436 HAS SOUPS 412436 WITH SCORE 413314.558
AT ITER 9057 NEW BEST:: SOT 1699523 SOS 878486 HAS SOPS 878486 HAS SOUS 412364 HAS SOUPS 412364 WITH SCORE 413242.486
AT ITER 9078 NEW BEST:: SOT 1699458 SOS 878293 HAS SOPS 878293 HAS SOUS 412171 HAS SOUPS 412171 WITH SCORE 413049.293
AT ITER 9086 NEW BEST:: SOT 1699456 SOS 878291 HAS SOPS 878291 HAS SOUS 412167 HAS SOUPS 412167 WITH SCORE 413045.291
AT ITER 9091 NEW BEST:: SOT 1699456 SOS 878291 HAS SOPS 878291 HAS SOUS 412130 HAS SOUPS 412130 WITH SCORE 413008.291
AT ITER 9113 NEW BEST:: SOT 1699450 SOS 878288 HAS SOPS 878288 HAS SOUS 412127 HAS SOUPS 412127 WITH SCORE 413005.288
AT ITER 9120 NEW BEST:: SOT 1699297 SOS 879206 HAS SOPS 879206 HAS SOUS 411975 HAS SOUPS 411975 WITH SCORE 412854.206
AT ITER 9132 NEW BEST:: SOT 1699025 SOS 879614 HAS SOPS 879614 HAS SOUS 411703 HAS SOUPS 411703 WITH SCORE 412582.614
AT ITER 9201 NEW BEST:: SOT 1698744 SOS 879112 HAS SOPS 879112 HAS SOUS 411201 HAS SOUPS 411201 WITH SCORE 412080.112
AT ITER 9205 NEW BEST:: SOT 1698744 SOS 878966 HAS SOPS 878966 HAS SOUS 411201 HAS SOUPS 411201 WITH SCORE 412079.966
AT ITER 9212 NEW BEST:: SOT 1698693 SOS 878915 HAS SOPS 878915 HAS SOUS 411176 HAS SOUPS 411176 WITH SCORE 412054.915
AT ITER 9246 NEW BEST:: SOT 1698454 SOS 878676 HAS SOPS 878676 HAS SOUS 411144 HAS SOUPS 411144 WITH SCORE 412022.676
AT ITER 9263 NEW BEST:: SOT 1698453 SOS 878567 HAS SOPS 878567 HAS SOUS 411119 HAS SOUPS 411119 WITH SCORE 411997.567
AT ITER 9264 NEW BEST:: SOT 1698453 SOS 878567 HAS SOPS 878567 HAS SOUS 411091 HAS SOUPS 411091 WITH SCORE 411969.567
AT ITER 9320 NEW BEST:: SOT 1698023 SOS 879227 HAS SOPS 879227 HAS SOUS 410661 HAS SOUPS 410661 WITH SCORE 411540.227
AT ITER 9324 NEW BEST:: SOT 1698004 SOS 879208 HAS SOPS 879208 HAS SOUS 410641 HAS SOUPS 410641 WITH SCORE 411520.208
AT ITER 9328 NEW BEST:: SOT 1698038 SOS 878305 HAS SOPS 878305 HAS SOUS 410124 HAS SOUPS 410124 WITH SCORE 411002.305
AT ITER 9340 NEW BEST:: SOT 1697889 SOS 878147 HAS SOPS 878147 HAS SOUS 409966 HAS SOUPS 409966 WITH SCORE 410844.147
AT ITER 9348 NEW BEST:: SOT 1698294 SOS 878105 HAS SOPS 878105 HAS SOUS 409924 HAS SOUPS 409924 WITH SCORE 410802.105
AT ITER 9358 NEW BEST:: SOT 1698276 SOS 877866 HAS SOPS 877866 HAS SOUS 409888 HAS SOUPS 409888 WITH SCORE 410765.866
AT ITER 9372 NEW BEST:: SOT 1698214 SOS 877742 HAS SOPS 877742 HAS SOUS 409764 HAS SOUPS 409764 WITH SCORE 410641.742
AT ITER 9374 NEW BEST:: SOT 1698273 SOS 877708 HAS SOPS 877708 HAS SOUS 409752 HAS SOUPS 409752 WITH SCORE 410629.708
AT ITER 9395 NEW BEST:: SOT 1698273 SOS 877057 HAS SOPS 877057 HAS SOUS 409752 HAS SOUPS 409752 WITH SCORE 410629.057
AT ITER 9405 NEW BEST:: SOT 1698210 SOS 876522 HAS SOPS 876522 HAS SOUS 409266 HAS SOUPS 409266 WITH SCORE 410142.522
AT ITER 9409 NEW BEST:: SOT 1698210 SOS 876817 HAS SOPS 876817 HAS SOUS 409263 HAS SOUPS 409263 WITH SCORE 410139.817
AT ITER 9418 NEW BEST:: SOT 1698210 SOS 875834 HAS SOPS 875834 HAS SOUS 409230 HAS SOUPS 409230 WITH SCORE 410105.834
AT ITER 9422 NEW BEST:: SOT 1698279 SOS 875791 HAS SOPS 875791 HAS SOUS 409187 HAS SOUPS 409187 WITH SCORE 410062.791
AT ITER 9428 NEW BEST:: SOT 1698279 SOS 875698 HAS SOPS 875698 HAS SOUS 409094 HAS SOUPS 409094 WITH SCORE 409969.698
AT ITER 9449 NEW BEST:: SOT 1698297 SOS 875716 HAS SOPS 875716 HAS SOUS 409060 HAS SOUPS 409060 WITH SCORE 409935.716
AT ITER 9455 NEW BEST:: SOT 1698297 SOS 875492 HAS SOPS 875492 HAS SOUS 408836 HAS SOUPS 408836 WITH SCORE 409711.492
AT ITER 9476 NEW BEST:: SOT 1698297 SOS 875477 HAS SOPS 875477 HAS SOUS 408836 HAS SOUPS 408836 WITH SCORE 409711.477
AT ITER 9478 NEW BEST:: SOT 1698487 SOS 875476 HAS SOPS 875476 HAS SOUS 408835 HAS SOUPS 408835 WITH SCORE 409710.476
AT ITER 9486 NEW BEST:: SOT 1695512 SOS 878301 HAS SOPS 878301 HAS SOUS 405617 HAS SOUPS 405617 WITH SCORE 406495.301
AT ITER 9491 NEW BEST:: SOT 1695494 SOS 878283 HAS SOPS 878283 HAS SOUS 405599 HAS SOUPS 405599 WITH SCORE 406477.283
AT ITER 9500 NEW BEST:: SOT 1695452 SOS 878890 HAS SOPS 878890 HAS SOUS 405515 HAS SOUPS 405515 WITH SCORE 406393.89
AT ITER 9510 NEW BEST:: SOT 1695375 SOS 878579 HAS SOPS 878579 HAS SOUS 405360 HAS SOUPS 405360 WITH SCORE 406238.579
AT ITER 9514 NEW BEST:: SOT 1695375 SOS 878579 HAS SOPS 878579 HAS SOUS 405317 HAS SOUPS 405317 WITH SCORE 406195.579
AT ITER 9536 NEW BEST:: SOT 1695375 SOS 878574 HAS SOPS 878574 HAS SOUS 405312 HAS SOUPS 405312 WITH SCORE 406190.574
AT ITER 9555 NEW BEST:: SOT 1692529 SOS 875728 HAS SOPS 875728 HAS SOUS 402427 HAS SOUPS 402427 WITH SCORE 403302.728
AT ITER 9589 NEW BEST:: SOT 1691596 SOS 874996 HAS SOPS 874996 HAS SOUS 401515 HAS SOUPS 401515 WITH SCORE 402389.996
AT ITER 9599 NEW BEST:: SOT 1691596 SOS 875172 HAS SOPS 875172 HAS SOUS 401502 HAS SOUPS 401502 WITH SCORE 402377.172
AT ITER 9609 NEW BEST:: SOT 1691429 SOS 875105 HAS SOPS 875105 HAS SOUS 401345 HAS SOUPS 401345 WITH SCORE 402220.105
AT ITER 9676 NEW BEST:: SOT 1691428 SOS 875104 HAS SOPS 875104 HAS SOUS 401344 HAS SOUPS 401344 WITH SCORE 402219.104
AT ITER 9692 NEW BEST:: SOT 1691337 SOS 874770 HAS SOPS 874770 HAS SOUS 401162 HAS SOUPS 401162 WITH SCORE 402036.77
AT ITER 9700 NEW BEST:: SOT 1691336 SOS 881391 HAS SOPS 881391 HAS SOUS 400953 HAS SOUPS 400953 WITH SCORE 401834.391
AT ITER 9723 NEW BEST:: SOT 1691474 SOS 881735 HAS SOPS 881735 HAS SOUS 400925 HAS SOUPS 400925 WITH SCORE 401806.735
AT ITER 9724 NEW BEST:: SOT 1691374 SOS 881635 HAS SOPS 881635 HAS SOUS 400825 HAS SOUPS 400825 WITH SCORE 401706.635
AT ITER 9729 NEW BEST:: SOT 1691374 SOS 881404 HAS SOPS 881404 HAS SOUS 400759 HAS SOUPS 400759 WITH SCORE 401640.404
AT ITER 9730 NEW BEST:: SOT 1691374 SOS 881368 HAS SOPS 881368 HAS SOUS 400759 HAS SOUPS 400759 WITH SCORE 401640.368
AT ITER 9744 NEW BEST:: SOT 1689357 SOS 879490 HAS SOPS 879490 HAS SOUS 398888 HAS SOUPS 398888 WITH SCORE 399767.49
AT ITER 9748 NEW BEST:: SOT 1689496 SOS 879375 HAS SOPS 879375 HAS SOUS 398764 HAS SOUPS 398764 WITH SCORE 399643.375
AT ITER 9753 NEW BEST:: SOT 1689331 SOS 879086 HAS SOPS 879086 HAS SOUS 398230 HAS SOUPS 398230 WITH SCORE 399109.086
AT ITER 9756 NEW BEST:: SOT 1689325 SOS 879050 HAS SOPS 879050 HAS SOUS 398213 HAS SOUPS 398213 WITH SCORE 399092.05
AT ITER 9776 NEW BEST:: SOT 1689313 SOS 878886 HAS SOPS 878886 HAS SOUS 398189 HAS SOUPS 398189 WITH SCORE 399067.886
AT ITER 9779 NEW BEST:: SOT 1688867 SOS 878440 HAS SOPS 878440 HAS SOUS 397706 HAS SOUPS 397706 WITH SCORE 398584.44
AT ITER 9823 NEW BEST:: SOT 1688614 SOS 878187 HAS SOPS 878187 HAS SOUS 397453 HAS SOUPS 397453 WITH SCORE 398331.187
AT ITER 9845 NEW BEST:: SOT 1688556 SOS 878105 HAS SOPS 878105 HAS SOUS 397433 HAS SOUPS 397433 WITH SCORE 398311.105
AT ITER 9853 NEW BEST:: SOT 1688534 SOS 878061 HAS SOPS 878061 HAS SOUS 397405 HAS SOUPS 397405 WITH SCORE 398283.061
AT ITER 9862 NEW BEST:: SOT 1687689 SOS 878368 HAS SOPS 878368 HAS SOUS 396736 HAS SOUPS 396736 WITH SCORE 397614.368
AT ITER 9879 NEW BEST:: SOT 1686946 SOS 877380 HAS SOPS 877380 HAS SOUS 395720 HAS SOUPS 395720 WITH SCORE 396597.38
AT ITER 9903 NEW BEST:: SOT 1686944 SOS 877375 HAS SOPS 877375 HAS SOUS 395719 HAS SOUPS 395719 WITH SCORE 396596.375
AT ITER 9929 NEW BEST:: SOT 1686765 SOS 877301 HAS SOPS 877301 HAS SOUS 395645 HAS SOUPS 395645 WITH SCORE 396522.301
AT ITER 9934 NEW BEST:: SOT 1686739 SOS 877353 HAS SOPS 877353 HAS SOUS 395632 HAS SOUPS 395632 WITH SCORE 396509.353
AT ITER 9947 NEW BEST:: SOT 1686748 SOS 877241 HAS SOPS 877241 HAS SOUS 395520 HAS SOUPS 395520 WITH SCORE 396397.241
AT ITER 9957 NEW BEST:: SOT 1686520 SOS 877013 HAS SOPS 877013 HAS SOUS 395226 HAS SOUPS 395226 WITH SCORE 396103.013
AT ITER 9962 NEW BEST:: SOT 1686520 SOS 876807 HAS SOPS 876807 HAS SOUS 395226 HAS SOUPS 395226 WITH SCORE 396102.807
AT ITER 9986 NEW BEST:: SOT 1686325 SOS 876612 HAS SOPS 876612 HAS SOUS 395119 HAS SOUPS 395119 WITH SCORE 395995.612
AT ITER 9995 NEW BEST:: SOT 1686264 SOS 876551 HAS SOPS 876551 HAS SOUS 395066 HAS SOUPS 395066 WITH SCORE 395942.551
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 9201080 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120524 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:
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-07a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599700112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-07a.tgz
mv ASLink-PT-07a 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 '
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 ;