Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688000328.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BugTracking-PT-q3m002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688000328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 10K Feb 26 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 08:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 08:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M 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 1678467398324

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q3m002
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m002
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14035084 SOS 8812733 HAS SOPS 8810888 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631500.733
AT ITER 1 NEW BEST:: SOT 14035084 SOS 8806685 HAS SOPS 8804840 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631494.685
AT ITER 13 NEW BEST:: SOT 14035084 SOS 8806685 HAS SOPS 8804840 HAS SOUS 1624518 HAS SOUPS 1622673 WITH SCORE 1631479.685
AT ITER 22 NEW BEST:: SOT 14035084 SOS 8806582 HAS SOPS 8804737 HAS SOUS 1624415 HAS SOUPS 1622570 WITH SCORE 1631376.582
AT ITER 30 NEW BEST:: SOT 14035084 SOS 8802766 HAS SOPS 8800921 HAS SOUS 1624415 HAS SOUPS 1622570 WITH SCORE 1631372.766
AT ITER 37 NEW BEST:: SOT 14035084 SOS 8802766 HAS SOPS 8800921 HAS SOUS 1624410 HAS SOUPS 1622565 WITH SCORE 1631367.766
AT ITER 41 NEW BEST:: SOT 14035015 SOS 8802697 HAS SOPS 8800852 HAS SOUS 1624341 HAS SOUPS 1622496 WITH SCORE 1631298.697
AT ITER 42 NEW BEST:: SOT 14035015 SOS 8796333 HAS SOPS 8794488 HAS SOUS 1624255 HAS SOUPS 1622410 WITH SCORE 1631206.333
AT ITER 44 NEW BEST:: SOT 14033099 SOS 8794417 HAS SOPS 8792572 HAS SOUS 1623340 HAS SOUPS 1621495 WITH SCORE 1630289.417
AT ITER 54 NEW BEST:: SOT 14024143 SOS 8784781 HAS SOPS 8782936 HAS SOUS 1617773 HAS SOUPS 1615928 WITH SCORE 1624712.781
AT ITER 70 NEW BEST:: SOT 14021976 SOS 8782614 HAS SOPS 8780769 HAS SOUS 1615535 HAS SOUPS 1613690 WITH SCORE 1622472.614
AT ITER 84 NEW BEST:: SOT 14021976 SOS 8782614 HAS SOPS 8780769 HAS SOUS 1615527 HAS SOUPS 1613682 WITH SCORE 1622464.614
AT ITER 89 NEW BEST:: SOT 14021976 SOS 8791830 HAS SOPS 8789985 HAS SOUS 1615493 HAS SOUPS 1613648 WITH SCORE 1622439.83
AT ITER 91 NEW BEST:: SOT 14020309 SOS 8790847 HAS SOPS 8789002 HAS SOUS 1609319 HAS SOUPS 1607474 WITH SCORE 1616264.847
AT ITER 100 NEW BEST:: SOT 14015703 SOS 8790157 HAS SOPS 8788312 HAS SOUS 1605176 HAS SOUPS 1603331 WITH SCORE 1612121.157
AT ITER 108 NEW BEST:: SOT 14015703 SOS 8392978 HAS SOPS 8391133 HAS SOUS 1605054 HAS SOUPS 1603209 WITH SCORE 1611601.978
AT ITER 113 NEW BEST:: SOT 14015703 SOS 8386930 HAS SOPS 8385085 HAS SOUS 1605054 HAS SOUPS 1603209 WITH SCORE 1611595.93
AT ITER 120 NEW BEST:: SOT 14026818 SOS 8440324 HAS SOPS 8437545 HAS SOUS 1601284 HAS SOUPS 1599152 WITH SCORE 1607592.324
AT ITER 126 NEW BEST:: SOT 14026818 SOS 8430892 HAS SOPS 8428113 HAS SOUS 1601284 HAS SOUPS 1599152 WITH SCORE 1607582.892
AT ITER 134 NEW BEST:: SOT 13887416 SOS 10404401 HAS SOPS 10402764 HAS SOUS 1463257 HAS SOUPS 1462018 WITH SCORE 1472422.401
AT ITER 143 NEW BEST:: SOT 13887416 SOS 10392377 HAS SOPS 10390740 HAS SOUS 1463257 HAS SOUPS 1462018 WITH SCORE 1472410.377
AT ITER 155 NEW BEST:: SOT 13885864 SOS 10390871 HAS SOPS 10389188 HAS SOUS 1460229 HAS SOUPS 1458944 WITH SCORE 1469334.871
AT ITER 158 NEW BEST:: SOT 13885864 SOS 10390871 HAS SOPS 10389188 HAS SOUS 1460203 HAS SOUPS 1458918 WITH SCORE 1469308.871
AT ITER 161 NEW BEST:: SOT 13885864 SOS 10390843 HAS SOPS 10389160 HAS SOUS 1460203 HAS SOUPS 1458918 WITH SCORE 1469308.843
AT ITER 184 NEW BEST:: SOT 13884632 SOS 10391243 HAS SOPS 10389560 HAS SOUS 1458115 HAS SOUPS 1456830 WITH SCORE 1467221.243
AT ITER 192 NEW BEST:: SOT 13884632 SOS 10382963 HAS SOPS 10381280 HAS SOUS 1458115 HAS SOUPS 1456830 WITH SCORE 1467212.963
AT ITER 194 NEW BEST:: SOT 13884273 SOS 10382662 HAS SOPS 10380979 HAS SOUS 1450165 HAS SOUPS 1448880 WITH SCORE 1459262.662
AT ITER 195 NEW BEST:: SOT 13874507 SOS 10379004 HAS SOPS 10377321 HAS SOUS 1439530 HAS SOUPS 1438245 WITH SCORE 1448624.004
AT ITER 205 NEW BEST:: SOT 13874507 SOS 10379004 HAS SOPS 10377321 HAS SOUS 1439507 HAS SOUPS 1438222 WITH SCORE 1448601.004
AT ITER 219 NEW BEST:: SOT 13872929 SOS 10377426 HAS SOPS 10375743 HAS SOUS 1435268 HAS SOUPS 1433983 WITH SCORE 1444360.426
AT ITER 225 NEW BEST:: SOT 13872929 SOS 10367634 HAS SOPS 10365951 HAS SOUS 1435268 HAS SOUPS 1433983 WITH SCORE 1444350.634
AT ITER 233 NEW BEST:: SOT 13872929 SOS 10354170 HAS SOPS 10352487 HAS SOUS 1435170 HAS SOUPS 1433885 WITH SCORE 1444239.17
AT ITER 250 NEW BEST:: SOT 13872929 SOS 10351290 HAS SOPS 10349607 HAS SOUS 1435170 HAS SOUPS 1433885 WITH SCORE 1444236.29
AT ITER 254 NEW BEST:: SOT 13872929 SOS 10348410 HAS SOPS 10346727 HAS SOUS 1435170 HAS SOUPS 1433885 WITH SCORE 1444233.41
AT ITER 270 NEW BEST:: SOT 13872686 SOS 10348167 HAS SOPS 10346484 HAS SOUS 1434678 HAS SOUPS 1433393 WITH SCORE 1443741.167
AT ITER 272 NEW BEST:: SOT 13872686 SOS 10361415 HAS SOPS 10359732 HAS SOUS 1434641 HAS SOUPS 1433356 WITH SCORE 1443717.415
AT ITER 284 NEW BEST:: SOT 13872380 SOS 10361109 HAS SOPS 10359426 HAS SOUS 1434345 HAS SOUPS 1433060 WITH SCORE 1443421.109
AT ITER 291 NEW BEST:: SOT 13872380 SOS 10373349 HAS SOPS 10371666 HAS SOUS 1434175 HAS SOUPS 1432890 WITH SCORE 1443263.349
AT ITER 304 NEW BEST:: SOT 13880193 SOS 10381716 HAS SOPS 10380033 HAS SOUS 1429275 HAS SOUPS 1427990 WITH SCORE 1438371.716
AT ITER 306 NEW BEST:: SOT 13880193 SOS 10381687 HAS SOPS 10380004 HAS SOUS 1429275 HAS SOUPS 1427990 WITH SCORE 1438371.687
AT ITER 308 NEW BEST:: SOT 13880193 SOS 10381687 HAS SOPS 10380004 HAS SOUS 1429085 HAS SOUPS 1427800 WITH SCORE 1438181.687
AT ITER 310 NEW BEST:: SOT 13881726 SOS 10383562 HAS SOPS 10381879 HAS SOUS 1427116 HAS SOUPS 1425831 WITH SCORE 1436214.562
AT ITER 315 NEW BEST:: SOT 13881775 SOS 9946560 HAS SOPS 9944877 HAS SOUS 1427063 HAS SOUPS 1425778 WITH SCORE 1435724.56
AT ITER 316 NEW BEST:: SOT 13881775 SOS 9946504 HAS SOPS 9944821 HAS SOUS 1427063 HAS SOUPS 1425778 WITH SCORE 1435724.504
AT ITER 319 NEW BEST:: SOT 13878710 SOS 9951923 HAS SOPS 9950240 HAS SOUS 1425354 HAS SOUPS 1424069 WITH SCORE 1434020.923
AT ITER 320 NEW BEST:: SOT 13874846 SOS 9965555 HAS SOPS 9963872 HAS SOUS 1422007 HAS SOUPS 1420722 WITH SCORE 1430687.555
AT ITER 321 NEW BEST:: SOT 13874846 SOS 9963623 HAS SOPS 9961940 HAS SOUS 1421846 HAS SOUPS 1420561 WITH SCORE 1430524.623
AT ITER 325 NEW BEST:: SOT 13875999 SOS 9964884 HAS SOPS 9963201 HAS SOUS 1421136 HAS SOUPS 1419851 WITH SCORE 1429815.884
AT ITER 333 NEW BEST:: SOT 13875999 SOS 9957468 HAS SOPS 9955785 HAS SOUS 1421048 HAS SOUPS 1419763 WITH SCORE 1429720.468
AT ITER 339 NEW BEST:: SOT 13882511 SOS 9966842 HAS SOPS 9964601 HAS SOUS 1406255 HAS SOUPS 1404682 WITH SCORE 1414648.842
AT ITER 347 NEW BEST:: SOT 13882511 SOS 9966842 HAS SOPS 9964601 HAS SOUS 1406246 HAS SOUPS 1404673 WITH SCORE 1414639.842
AT ITER 353 NEW BEST:: SOT 13877306 SOS 9965121 HAS SOPS 9962880 HAS SOUS 1400472 HAS SOUPS 1398899 WITH SCORE 1408864.121
AT ITER 356 NEW BEST:: SOT 13877306 SOS 9956265 HAS SOPS 9954024 HAS SOUS 1400472 HAS SOUPS 1398899 WITH SCORE 1408855.265
AT ITER 358 NEW BEST:: SOT 13877306 SOS 9950289 HAS SOPS 9948048 HAS SOUS 1400472 HAS SOUPS 1398899 WITH SCORE 1408849.289
AT ITER 366 NEW BEST:: SOT 13877306 SOS 9944961 HAS SOPS 9942720 HAS SOUS 1400472 HAS SOUPS 1398899 WITH SCORE 1408843.961
AT ITER 370 NEW BEST:: SOT 13877306 SOS 9944924 HAS SOPS 9942683 HAS SOUS 1400435 HAS SOUPS 1398862 WITH SCORE 1408806.924
AT ITER 375 NEW BEST:: SOT 13877306 SOS 9951476 HAS SOPS 9949235 HAS SOUS 1400259 HAS SOUPS 1398686 WITH SCORE 1408637.476
AT ITER 380 NEW BEST:: SOT 13877306 SOS 9949316 HAS SOPS 9947075 HAS SOUS 1400259 HAS SOUPS 1398686 WITH SCORE 1408635.316
AT ITER 394 NEW BEST:: SOT 13877306 SOS 9939596 HAS SOPS 9937355 HAS SOUS 1400259 HAS SOUPS 1398686 WITH SCORE 1408625.596
AT ITER 396 NEW BEST:: SOT 13877630 SOS 9939920 HAS SOPS 9937679 HAS SOUS 1396535 HAS SOUPS 1394962 WITH SCORE 1404901.92
AT ITER 405 NEW BEST:: SOT 13877601 SOS 9939891 HAS SOPS 9937650 HAS SOUS 1396505 HAS SOUPS 1394932 WITH SCORE 1404871.891
AT ITER 408 NEW BEST:: SOT 13873467 SOS 9934519 HAS SOPS 9932925 HAS SOUS 1379241 HAS SOUPS 1377917 WITH SCORE 1387851.519
AT ITER 410 NEW BEST:: SOT 13881843 SOS 9943983 HAS SOPS 9942389 HAS SOUS 1377114 HAS SOUPS 1375790 WITH SCORE 1385733.983
AT ITER 419 NEW BEST:: SOT 13879031 SOS 9948119 HAS SOPS 9946525 HAS SOUS 1376871 HAS SOUPS 1375547 WITH SCORE 1385495.119
AT ITER 424 NEW BEST:: SOT 13880180 SOS 9949312 HAS SOPS 9947718 HAS SOUS 1376512 HAS SOUPS 1375188 WITH SCORE 1385137.312
AT ITER 428 NEW BEST:: SOT 13880170 SOS 9949302 HAS SOPS 9947708 HAS SOUS 1376502 HAS SOUPS 1375178 WITH SCORE 1385127.302
AT ITER 430 NEW BEST:: SOT 13883079 SOS 9952341 HAS SOPS 9950747 HAS SOUS 1375127 HAS SOUPS 1373803 WITH SCORE 1383755.341
AT ITER 452 NEW BEST:: SOT 13888383 SOS 9958617 HAS SOPS 9957023 HAS SOUS 1374594 HAS SOUPS 1373270 WITH SCORE 1383228.617
AT ITER 454 NEW BEST:: SOT 13888364 SOS 9958598 HAS SOPS 9957004 HAS SOUS 1374556 HAS SOUPS 1373232 WITH SCORE 1383190.598
AT ITER 464 NEW BEST:: SOT 13886979 SOS 9957213 HAS SOPS 9955619 HAS SOUS 1362853 HAS SOUPS 1361529 WITH SCORE 1371486.213
AT ITER 465 NEW BEST:: SOT 13889451 SOS 9960321 HAS SOPS 9958727 HAS SOUS 1361413 HAS SOUPS 1360089 WITH SCORE 1370049.321
AT ITER 480 NEW BEST:: SOT 13889451 SOS 9960296 HAS SOPS 9958702 HAS SOUS 1361388 HAS SOUPS 1360064 WITH SCORE 1370024.296
AT ITER 483 NEW BEST:: SOT 13898839 SOS 9969684 HAS SOPS 9968090 HAS SOUS 1359135 HAS SOUPS 1357811 WITH SCORE 1367780.684
AT ITER 493 NEW BEST:: SOT 13898167 SOS 9969012 HAS SOPS 9967418 HAS SOUS 1353032 HAS SOUPS 1351708 WITH SCORE 1361677.012
AT ITER 498 NEW BEST:: SOT 13898167 SOS 9962316 HAS SOPS 9960722 HAS SOUS 1353032 HAS SOUPS 1351708 WITH SCORE 1361670.316
AT ITER 499 NEW BEST:: SOT 13898167 SOS 9955980 HAS SOPS 9954386 HAS SOUS 1353032 HAS SOUPS 1351708 WITH SCORE 1361663.98
AT ITER 502 NEW BEST:: SOT 13898167 SOS 9955961 HAS SOPS 9954367 HAS SOUS 1352974 HAS SOUPS 1351650 WITH SCORE 1361605.961
AT ITER 503 NEW BEST:: SOT 13912623 SOS 9970417 HAS SOPS 9968823 HAS SOUS 1350634 HAS SOUPS 1349310 WITH SCORE 1359280.417
AT ITER 507 NEW BEST:: SOT 13909176 SOS 9971466 HAS SOPS 9969872 HAS SOUS 1349003 HAS SOUPS 1347679 WITH SCORE 1357650.466
AT ITER 518 NEW BEST:: SOT 13909176 SOS 9964626 HAS SOPS 9963032 HAS SOUS 1348828 HAS SOUPS 1347504 WITH SCORE 1357468.626
AT ITER 519 NEW BEST:: SOT 13910137 SOS 9965587 HAS SOPS 9963993 HAS SOUS 1346748 HAS SOUPS 1345424 WITH SCORE 1355389.587
AT ITER 527 NEW BEST:: SOT 13907886 SOS 9963336 HAS SOPS 9961742 HAS SOUS 1338869 HAS SOUPS 1337545 WITH SCORE 1347508.336
AT ITER 535 NEW BEST:: SOT 13907897 SOS 9963347 HAS SOPS 9961753 HAS SOUS 1338617 HAS SOUPS 1337293 WITH SCORE 1347256.347
AT ITER 545 NEW BEST:: SOT 13906075 SOS 9961525 HAS SOPS 9959931 HAS SOUS 1327013 HAS SOUPS 1325689 WITH SCORE 1335650.525
AT ITER 548 NEW BEST:: SOT 13910515 SOS 9965965 HAS SOPS 9964371 HAS SOUS 1325555 HAS SOUPS 1324231 WITH SCORE 1334196.965
AT ITER 559 NEW BEST:: SOT 13910515 SOS 9965965 HAS SOPS 9964371 HAS SOUS 1325478 HAS SOUPS 1324154 WITH SCORE 1334119.965
AT ITER 570 NEW BEST:: SOT 13919428 SOS 9974878 HAS SOPS 9973284 HAS SOUS 1317520 HAS SOUPS 1316196 WITH SCORE 1326170.878
AT ITER 583 NEW BEST:: SOT 13919428 SOS 9974632 HAS SOPS 9973038 HAS SOUS 1317397 HAS SOUPS 1316073 WITH SCORE 1326047.632
AT ITER 584 NEW BEST:: SOT 13917458 SOS 9972656 HAS SOPS 9971062 HAS SOUS 1311908 HAS SOUPS 1310584 WITH SCORE 1320556.656
AT ITER 596 NEW BEST:: SOT 13913415 SOS 9980605 HAS SOPS 9979011 HAS SOUS 1309236 HAS SOUPS 1307912 WITH SCORE 1317892.605
AT ITER 611 NEW BEST:: SOT 13913415 SOS 9980591 HAS SOPS 9978997 HAS SOUS 1309222 HAS SOUPS 1307898 WITH SCORE 1317878.591
AT ITER 612 NEW BEST:: SOT 13913415 SOS 9979079 HAS SOPS 9977485 HAS SOUS 1309096 HAS SOUPS 1307772 WITH SCORE 1317751.079
AT ITER 614 NEW BEST:: SOT 13913415 SOS 9978071 HAS SOPS 9976477 HAS SOUS 1309096 HAS SOUPS 1307772 WITH SCORE 1317750.071
AT ITER 615 NEW BEST:: SOT 13913415 SOS 9977999 HAS SOPS 9976405 HAS SOUS 1309060 HAS SOUPS 1307736 WITH SCORE 1317713.999
AT ITER 641 NEW BEST:: SOT 13911424 SOS 9975756 HAS SOPS 9974210 HAS SOUS 1296620 HAS SOUPS 1295344 WITH SCORE 1305319.756
AT ITER 669 NEW BEST:: SOT 13925285 SOS 9991165 HAS SOPS 9989619 HAS SOUS 1295364 HAS SOUPS 1294088 WITH SCORE 1304079.165
AT ITER 670 NEW BEST:: SOT 13925285 SOS 9991021 HAS SOPS 9989475 HAS SOUS 1295364 HAS SOUPS 1294088 WITH SCORE 1304079.021
AT ITER 678 NEW BEST:: SOT 13925284 SOS 9991020 HAS SOPS 9989474 HAS SOUS 1295363 HAS SOUPS 1294087 WITH SCORE 1304078.02
AT ITER 699 NEW BEST:: SOT 13925405 SOS 9985058 HAS SOPS 9983512 HAS SOUS 1295365 HAS SOUPS 1294089 WITH SCORE 1304074.058
AT ITER 700 NEW BEST:: SOT 13925405 SOS 9985058 HAS SOPS 9983512 HAS SOUS 1295361 HAS SOUPS 1294085 WITH SCORE 1304070.058
AT ITER 702 NEW BEST:: SOT 13927087 SOS 9986842 HAS SOPS 9985296 HAS SOUS 1293765 HAS SOUPS 1292489 WITH SCORE 1302475.842
AT ITER 708 NEW BEST:: SOT 13926112 SOS 9985867 HAS SOPS 9984321 HAS SOUS 1293372 HAS SOUPS 1292096 WITH SCORE 1302081.867
AT ITER 714 NEW BEST:: SOT 13930285 SOS 9990040 HAS SOPS 9988494 HAS SOUS 1293352 HAS SOUPS 1292076 WITH SCORE 1302066.04
AT ITER 719 NEW BEST:: SOT 13930285 SOS 9985144 HAS SOPS 9983598 HAS SOUS 1293352 HAS SOUPS 1292076 WITH SCORE 1302061.144
AT ITER 721 NEW BEST:: SOT 13930285 SOS 9975856 HAS SOPS 9974310 HAS SOUS 1293352 HAS SOUPS 1292076 WITH SCORE 1302051.856
AT ITER 723 NEW BEST:: SOT 13930628 SOS 9977039 HAS SOPS 9975493 HAS SOUS 1289396 HAS SOUPS 1288120 WITH SCORE 1298097.039
AT ITER 727 NEW BEST:: SOT 13930628 SOS 9977813 HAS SOPS 9976267 HAS SOUS 1289342 HAS SOUPS 1288066 WITH SCORE 1298043.813
AT ITER 737 NEW BEST:: SOT 13929584 SOS 9980981 HAS SOPS 9979435 HAS SOUS 1287558 HAS SOUPS 1286282 WITH SCORE 1296262.981
AT ITER 751 NEW BEST:: SOT 13930214 SOS 9981838 HAS SOPS 9980397 HAS SOUS 1279652 HAS SOUPS 1278481 WITH SCORE 1288462.838
AT ITER 769 NEW BEST:: SOT 13929530 SOS 9981154 HAS SOPS 9979713 HAS SOUS 1278267 HAS SOUPS 1277096 WITH SCORE 1287077.154
AT ITER 775 NEW BEST:: SOT 13927027 SOS 9978651 HAS SOPS 9977210 HAS SOUS 1265349 HAS SOUPS 1264178 WITH SCORE 1274156.651
AT ITER 787 NEW BEST:: SOT 13928693 SOS 9980317 HAS SOPS 9978876 HAS SOUS 1263684 HAS SOUPS 1262513 WITH SCORE 1272493.317
AT ITER 799 NEW BEST:: SOT 13924751 SOS 9976375 HAS SOPS 9974934 HAS SOUS 1258954 HAS SOUPS 1257783 WITH SCORE 1267759.375
AT ITER 822 NEW BEST:: SOT 13920113 SOS 9971737 HAS SOPS 9970296 HAS SOUS 1256020 HAS SOUPS 1254849 WITH SCORE 1264820.737
AT ITER 830 NEW BEST:: SOT 13919532 SOS 9971998 HAS SOPS 9970557 HAS SOUS 1255265 HAS SOUPS 1254094 WITH SCORE 1264065.998
AT ITER 839 NEW BEST:: SOT 13918506 SOS 9970940 HAS SOPS 9969499 HAS SOUS 1246071 HAS SOUPS 1244900 WITH SCORE 1254870.94
AT ITER 849 NEW BEST:: SOT 13918506 SOS 9971948 HAS SOPS 9970507 HAS SOUS 1245971 HAS SOUPS 1244800 WITH SCORE 1254771.948
AT ITER 850 NEW BEST:: SOT 13918506 SOS 9980660 HAS SOPS 9979219 HAS SOUS 1245915 HAS SOUPS 1244744 WITH SCORE 1254724.66
AT ITER 864 NEW BEST:: SOT 13918506 SOS 9980660 HAS SOPS 9979219 HAS SOUS 1245914 HAS SOUPS 1244743 WITH SCORE 1254723.66
AT ITER 876 NEW BEST:: SOT 13918722 SOS 9980942 HAS SOPS 9979501 HAS SOUS 1245521 HAS SOUPS 1244350 WITH SCORE 1254330.942
AT ITER 880 NEW BEST:: SOT 13913885 SOS 9975835 HAS SOPS 9974430 HAS SOUS 1241506 HAS SOUPS 1240371 WITH SCORE 1250346.835
AT ITER 882 NEW BEST:: SOT 13906494 SOS 9970596 HAS SOPS 9969191 HAS SOUS 1232494 HAS SOUPS 1231359 WITH SCORE 1241329.596
AT ITER 897 NEW BEST:: SOT 13908805 SOS 9973497 HAS SOPS 9972092 HAS SOUS 1224871 HAS SOUPS 1223736 WITH SCORE 1233709.497
AT ITER 899 NEW BEST:: SOT 13908805 SOS 9973497 HAS SOPS 9972092 HAS SOUS 1224860 HAS SOUPS 1223725 WITH SCORE 1233698.497
AT ITER 900 NEW BEST:: SOT 13908805 SOS 9966107 HAS SOPS 9964702 HAS SOUS 1224693 HAS SOUPS 1223558 WITH SCORE 1233524.107
AT ITER 905 NEW BEST:: SOT 13908805 SOS 9965909 HAS SOPS 9964504 HAS SOUS 1224594 HAS SOUPS 1223459 WITH SCORE 1233424.909
AT ITER 906 NEW BEST:: SOT 13909871 SOS 9967099 HAS SOPS 9965694 HAS SOUS 1223640 HAS SOUPS 1222505 WITH SCORE 1232472.099
AT ITER 909 NEW BEST:: SOT 13909871 SOS 9961627 HAS SOPS 9960222 HAS SOUS 1223640 HAS SOUPS 1222505 WITH SCORE 1232466.627
AT ITER 911 NEW BEST:: SOT 13909366 SOS 9961122 HAS SOPS 9959717 HAS SOUS 1222580 HAS SOUPS 1221445 WITH SCORE 1231406.122
AT ITER 915 NEW BEST:: SOT 13910386 SOS 9962142 HAS SOPS 9960737 HAS SOUS 1221549 HAS SOUPS 1220414 WITH SCORE 1230376.142
AT ITER 929 NEW BEST:: SOT 13910386 SOS 9964374 HAS SOPS 9962969 HAS SOUS 1221509 HAS SOUPS 1220374 WITH SCORE 1230338.374
AT ITER 941 NEW BEST:: SOT 13911196 SOS 9965184 HAS SOPS 9963779 HAS SOUS 1215258 HAS SOUPS 1214123 WITH SCORE 1224088.184
AT ITER 953 NEW BEST:: SOT 13910999 SOS 9951254 HAS SOPS 9949849 HAS SOUS 1215055 HAS SOUPS 1213920 WITH SCORE 1223871.254
AT ITER 956 NEW BEST:: SOT 13921816 SOS 9962071 HAS SOPS 9960666 HAS SOUS 1210919 HAS SOUPS 1209784 WITH SCORE 1219746.071
AT ITER 960 NEW BEST:: SOT 13914394 SOS 9955710 HAS SOPS 9954305 HAS SOUS 1206935 HAS SOUPS 1205800 WITH SCORE 1215755.71
AT ITER 962 NEW BEST:: SOT 13912051 SOS 9953395 HAS SOPS 9951990 HAS SOUS 1203235 HAS SOUPS 1202100 WITH SCORE 1212053.395
AT ITER 974 NEW BEST:: SOT 13911466 SOS 9952390 HAS SOPS 9950985 HAS SOUS 1201842 HAS SOUPS 1200707 WITH SCORE 1210659.39
AT ITER 979 NEW BEST:: SOT 13910444 SOS 9951368 HAS SOPS 9949963 HAS SOUS 1199781 HAS SOUPS 1198646 WITH SCORE 1208597.368
AT ITER 998 NEW BEST:: SOT 13910444 SOS 9945116 HAS SOPS 9943711 HAS SOUS 1199649 HAS SOUPS 1198514 WITH SCORE 1208459.116
AT ITER 999 NEW BEST:: SOT 13922699 SOS 9958233 HAS SOPS 9956573 HAS SOUS 1194170 HAS SOUPS 1192780 WITH SCORE 1202738.233
AT ITER 1001 NEW BEST:: SOT 13922699 SOS 9961977 HAS SOPS 9960317 HAS SOUS 1194118 HAS SOUPS 1192728 WITH SCORE 1202689.977
AT ITER 1004 NEW BEST:: SOT 13922699 SOS 9961757 HAS SOPS 9960097 HAS SOUS 1194008 HAS SOUPS 1192618 WITH SCORE 1202579.757
AT ITER 1006 NEW BEST:: SOT 13922699 SOS 9954773 HAS SOPS 9953113 HAS SOUS 1194008 HAS SOUPS 1192618 WITH SCORE 1202572.773
AT ITER 1021 NEW BEST:: SOT 13920235 SOS 9952309 HAS SOPS 9950649 HAS SOUS 1191724 HAS SOUPS 1190334 WITH SCORE 1200286.309
AT ITER 1038 NEW BEST:: SOT 13921956 SOS 9954240 HAS SOPS 9952622 HAS SOUS 1191459 HAS SOUPS 1190111 WITH SCORE 1200065.24
AT ITER 1045 NEW BEST:: SOT 13921939 SOS 9955447 HAS SOPS 9953829 HAS SOUS 1191278 HAS SOUPS 1189930 WITH SCORE 1199885.447
AT ITER 1052 NEW BEST:: SOT 13922649 SOS 9956169 HAS SOPS 9954551 HAS SOUS 1191179 HAS SOUPS 1189831 WITH SCORE 1199787.169
AT ITER 1054 NEW BEST:: SOT 13922649 SOS 9953773 HAS SOPS 9952155 HAS SOUS 1191147 HAS SOUPS 1189799 WITH SCORE 1199752.773
AT ITER 1058 NEW BEST:: SOT 13922660 SOS 9953728 HAS SOPS 9952118 HAS SOUS 1190925 HAS SOUPS 1189585 WITH SCORE 1199538.728
AT ITER 1060 NEW BEST:: SOT 13922660 SOS 9953293 HAS SOPS 9951683 HAS SOUS 1190925 HAS SOUPS 1189585 WITH SCORE 1199538.293
AT ITER 1068 NEW BEST:: SOT 13922660 SOS 9947748 HAS SOPS 9946138 HAS SOUS 1190839 HAS SOUPS 1189499 WITH SCORE 1199446.748
AT ITER 1075 NEW BEST:: SOT 13926441 SOS 9951529 HAS SOPS 9949919 HAS SOUS 1190160 HAS SOUPS 1188820 WITH SCORE 1198771.529
AT ITER 1082 NEW BEST:: SOT 13926441 SOS 9940063 HAS SOPS 9938453 HAS SOUS 1190165 HAS SOUPS 1188825 WITH SCORE 1198765.063
AT ITER 1085 NEW BEST:: SOT 13920995 SOS 9936487 HAS SOPS 9934877 HAS SOUS 1185027 HAS SOUPS 1183687 WITH SCORE 1193623.487
AT ITER 1088 NEW BEST:: SOT 13922707 SOS 9938176 HAS SOPS 9936566 HAS SOUS 1184090 HAS SOUPS 1182750 WITH SCORE 1192688.176
AT ITER 1104 NEW BEST:: SOT 13922707 SOS 9938162 HAS SOPS 9936552 HAS SOUS 1184088 HAS SOUPS 1182748 WITH SCORE 1192686.162
AT ITER 1106 NEW BEST:: SOT 13922707 SOS 9938048 HAS SOPS 9936438 HAS SOUS 1184031 HAS SOUPS 1182691 WITH SCORE 1192629.048
AT ITER 1108 NEW BEST:: SOT 13922707 SOS 9938044 HAS SOPS 9936434 HAS SOUS 1184029 HAS SOUPS 1182689 WITH SCORE 1192627.044
AT ITER 1124 NEW BEST:: SOT 13919153 SOS 9934490 HAS SOPS 9932880 HAS SOUS 1177884 HAS SOUPS 1176544 WITH SCORE 1186478.49
AT ITER 1143 NEW BEST:: SOT 13915533 SOS 9930870 HAS SOPS 9929260 HAS SOUS 1174628 HAS SOUPS 1173288 WITH SCORE 1183218.87
AT ITER 1144 NEW BEST:: SOT 13915533 SOS 9930842 HAS SOPS 9929232 HAS SOUS 1174614 HAS SOUPS 1173274 WITH SCORE 1183204.842
AT ITER 1145 NEW BEST:: SOT 13911173 SOS 9929506 HAS SOPS 9927896 HAS SOUS 1171509 HAS SOUPS 1170169 WITH SCORE 1180098.506
AT ITER 1146 NEW BEST:: SOT 13911173 SOS 9929506 HAS SOPS 9927896 HAS SOUS 1171456 HAS SOUPS 1170116 WITH SCORE 1180045.506
AT ITER 1153 NEW BEST:: SOT 13911170 SOS 9929503 HAS SOPS 9927893 HAS SOUS 1171456 HAS SOUPS 1170116 WITH SCORE 1180045.503
AT ITER 1160 NEW BEST:: SOT 13911147 SOS 9929480 HAS SOPS 9927870 HAS SOUS 1171429 HAS SOUPS 1170089 WITH SCORE 1180018.48
AT ITER 1180 NEW BEST:: SOT 13887681 SOS 9904338 HAS SOPS 9902728 HAS SOUS 1163927 HAS SOUPS 1162587 WITH SCORE 1172491.338
AT ITER 1181 NEW BEST:: SOT 13887681 SOS 9904086 HAS SOPS 9902476 HAS SOUS 1163906 HAS SOUPS 1162566 WITH SCORE 1172470.086
AT ITER 1192 NEW BEST:: SOT 13887681 SOS 9670366 HAS SOPS 9668756 HAS SOUS 1163830 HAS SOUPS 1162490 WITH SCORE 1172160.366
AT ITER 1193 NEW BEST:: SOT 13887338 SOS 9670023 HAS SOPS 9668413 HAS SOUS 1162892 HAS SOUPS 1161552 WITH SCORE 1171222.023
AT ITER 1199 NEW BEST:: SOT 13887338 SOS 9669421 HAS SOPS 9667811 HAS SOUS 1162700 HAS SOUPS 1161360 WITH SCORE 1171029.421
AT ITER 1201 NEW BEST:: SOT 13887338 SOS 9669281 HAS SOPS 9667671 HAS SOUS 1162666 HAS SOUPS 1161326 WITH SCORE 1170995.281
AT ITER 1205 NEW BEST:: SOT 13895985 SOS 9677928 HAS SOPS 9676318 HAS SOUS 1160081 HAS SOUPS 1158741 WITH SCORE 1168418.928
AT ITER 1212 NEW BEST:: SOT 13889718 SOS 9672701 HAS SOPS 9671091 HAS SOUS 1140536 HAS SOUPS 1139196 WITH SCORE 1148868.701
AT ITER 1223 NEW BEST:: SOT 13878432 SOS 9662351 HAS SOPS 9660741 HAS SOUS 1128067 HAS SOUPS 1126727 WITH SCORE 1136389.351
AT ITER 1241 NEW BEST:: SOT 13878432 SOS 9662351 HAS SOPS 9660741 HAS SOUS 1128049 HAS SOUPS 1126709 WITH SCORE 1136371.351
AT ITER 1244 NEW BEST:: SOT 13877173 SOS 9660798 HAS SOPS 9659240 HAS SOUS 1120627 HAS SOUPS 1119339 WITH SCORE 1128999.798
AT ITER 1254 NEW BEST:: SOT 13877173 SOS 9658926 HAS SOPS 9657368 HAS SOUS 1120627 HAS SOUPS 1119339 WITH SCORE 1128997.926
AT ITER 1256 NEW BEST:: SOT 13877173 SOS 9658824 HAS SOPS 9657266 HAS SOUS 1120576 HAS SOUPS 1119288 WITH SCORE 1128946.824
AT ITER 1271 NEW BEST:: SOT 13877003 SOS 9658654 HAS SOPS 9657096 HAS SOUS 1120036 HAS SOUPS 1118748 WITH SCORE 1128406.654
AT ITER 1286 NEW BEST:: SOT 13872680 SOS 9654331 HAS SOPS 9652773 HAS SOUS 1115518 HAS SOUPS 1114230 WITH SCORE 1123884.331
AT ITER 1290 NEW BEST:: SOT 13875310 SOS 9656961 HAS SOPS 9655403 HAS SOUS 1113088 HAS SOUPS 1111800 WITH SCORE 1121456.961
AT ITER 1295 NEW BEST:: SOT 13872738 SOS 9647289 HAS SOPS 9643714 HAS SOUS 1111041 HAS SOUPS 1107736 WITH SCORE 1117383.289
AT ITER 1302 NEW BEST:: SOT 13872544 SOS 9647095 HAS SOPS 9643520 HAS SOUS 1110649 HAS SOUPS 1107344 WITH SCORE 1116991.095
AT ITER 1304 NEW BEST:: SOT 13876474 SOS 9651099 HAS SOPS 9647524 HAS SOUS 1109765 HAS SOUPS 1106460 WITH SCORE 1116111.099
AT ITER 1315 NEW BEST:: SOT 13876474 SOS 9652251 HAS SOPS 9648676 HAS SOUS 1109669 HAS SOUPS 1106364 WITH SCORE 1116016.251
AT ITER 1333 NEW BEST:: SOT 13876140 SOS 9651925 HAS SOPS 9648350 HAS SOUS 1109559 HAS SOUPS 1106254 WITH SCORE 1115905.925
AT ITER 1345 NEW BEST:: SOT 13876140 SOS 9647389 HAS SOPS 9643814 HAS SOUS 1109559 HAS SOUPS 1106254 WITH SCORE 1115901.389
AT ITER 1351 NEW BEST:: SOT 13876140 SOS 9647389 HAS SOPS 9643814 HAS SOUS 1109503 HAS SOUPS 1106198 WITH SCORE 1115845.389
AT ITER 1353 NEW BEST:: SOT 13867288 SOS 9640775 HAS SOPS 9637200 HAS SOUS 1103346 HAS SOUPS 1100041 WITH SCORE 1109681.775
AT ITER 1363 NEW BEST:: SOT 13867288 SOS 9638833 HAS SOPS 9635276 HAS SOUS 1102839 HAS SOUPS 1099616 WITH SCORE 1109254.833
AT ITER 1370 NEW BEST:: SOT 13866248 SOS 9637793 HAS SOPS 9634236 HAS SOUS 1102303 HAS SOUPS 1099080 WITH SCORE 1108717.793
AT ITER 1385 NEW BEST:: SOT 13866248 SOS 9636569 HAS SOPS 9633012 HAS SOUS 1102303 HAS SOUPS 1099080 WITH SCORE 1108716.569
AT ITER 1409 NEW BEST:: SOT 13866248 SOS 9636569 HAS SOPS 9633012 HAS SOUS 1102206 HAS SOUPS 1098983 WITH SCORE 1108619.569
AT ITER 1415 NEW BEST:: SOT 13866248 SOS 9635953 HAS SOPS 9632396 HAS SOUS 1102206 HAS SOUPS 1098983 WITH SCORE 1108618.953
AT ITER 1420 NEW BEST:: SOT 13862297 SOS 9638348 HAS SOPS 9634791 HAS SOUS 1100149 HAS SOUPS 1096926 WITH SCORE 1106564.348
AT ITER 1428 NEW BEST:: SOT 13862297 SOS 9638194 HAS SOPS 9634637 HAS SOUS 1100072 HAS SOUPS 1096849 WITH SCORE 1106487.194
AT ITER 1434 NEW BEST:: SOT 13862052 SOS 9637949 HAS SOPS 9634392 HAS SOUS 1099563 HAS SOUPS 1096340 WITH SCORE 1105977.949
AT ITER 1445 NEW BEST:: SOT 13874620 SOS 9652837 HAS SOPS 9649335 HAS SOUS 1099199 HAS SOUPS 1095976 WITH SCORE 1105628.837
AT ITER 1449 NEW BEST:: SOT 13874620 SOS 9654164 HAS SOPS 9650662 HAS SOUS 1098238 HAS SOUPS 1095015 WITH SCORE 1104669.164
AT ITER 1453 NEW BEST:: SOT 13870604 SOS 9653554 HAS SOPS 9650052 HAS SOUS 1096432 HAS SOUPS 1093209 WITH SCORE 1102862.554
AT ITER 1470 NEW BEST:: SOT 13870604 SOS 9653334 HAS SOPS 9649832 HAS SOUS 1096190 HAS SOUPS 1092967 WITH SCORE 1102620.334
AT ITER 1496 NEW BEST:: SOT 13867496 SOS 9650604 HAS SOPS 9647102 HAS SOUS 1082199 HAS SOUPS 1078976 WITH SCORE 1088626.604
AT ITER 1513 NEW BEST:: SOT 13865994 SOS 9649102 HAS SOPS 9645600 HAS SOUS 1079102 HAS SOUPS 1075879 WITH SCORE 1085528.102
AT ITER 1516 NEW BEST:: SOT 13864022 SOS 9647076 HAS SOPS 9643574 HAS SOUS 1078715 HAS SOUPS 1075492 WITH SCORE 1085139.076
AT ITER 1524 NEW BEST:: SOT 13863447 SOS 9646501 HAS SOPS 9642999 HAS SOUS 1075750 HAS SOUPS 1072527 WITH SCORE 1082173.501
AT ITER 1525 NEW BEST:: SOT 13863447 SOS 9646271 HAS SOPS 9642769 HAS SOUS 1075635 HAS SOUPS 1072412 WITH SCORE 1082058.271
AT ITER 1528 NEW BEST:: SOT 13890857 SOS 9673681 HAS SOPS 9670179 HAS SOUS 1075511 HAS SOUPS 1072288 WITH SCORE 1081961.681
AT ITER 1529 NEW BEST:: SOT 13895894 SOS 9678830 HAS SOPS 9675328 HAS SOUS 1070381 HAS SOUPS 1067158 WITH SCORE 1076836.83
AT ITER 1555 NEW BEST:: SOT 13900486 SOS 9683243 HAS SOPS 9679783 HAS SOUS 1068348 HAS SOUPS 1065167 WITH SCORE 1074850.243
AT ITER 1563 NEW BEST:: SOT 13900486 SOS 9683380 HAS SOPS 9679903 HAS SOUS 1067598 HAS SOUPS 1064400 WITH SCORE 1074083.38
AT ITER 1580 NEW BEST:: SOT 13897902 SOS 9682916 HAS SOPS 9679439 HAS SOUS 1067110 HAS SOUPS 1063912 WITH SCORE 1073594.916
AT ITER 1593 NEW BEST:: SOT 13897902 SOS 9682660 HAS SOPS 9679183 HAS SOUS 1067110 HAS SOUPS 1063912 WITH SCORE 1073594.66
AT ITER 1596 NEW BEST:: SOT 13897630 SOS 9682388 HAS SOPS 9678911 HAS SOUS 1066358 HAS SOUPS 1063160 WITH SCORE 1072842.388
AT ITER 1603 NEW BEST:: SOT 13897549 SOS 9682307 HAS SOPS 9678830 HAS SOUS 1066190 HAS SOUPS 1062992 WITH SCORE 1072674.307
AT ITER 1607 NEW BEST:: SOT 13912473 SOS 9697231 HAS SOPS 9693754 HAS SOUS 1065868 HAS SOUPS 1062670 WITH SCORE 1072367.231
AT ITER 1608 NEW BEST:: SOT 13910590 SOS 9695348 HAS SOPS 9691871 HAS SOUS 1062171 HAS SOUPS 1058973 WITH SCORE 1068668.348
AT ITER 1612 NEW BEST:: SOT 13910555 SOS 9695313 HAS SOPS 9691836 HAS SOUS 1062171 HAS SOUPS 1058973 WITH SCORE 1068668.313
AT ITER 1625 NEW BEST:: SOT 13910555 SOS 9690561 HAS SOPS 9687084 HAS SOUS 1062171 HAS SOUPS 1058973 WITH SCORE 1068663.561
AT ITER 1630 NEW BEST:: SOT 13910555 SOS 9690379 HAS SOPS 9686902 HAS SOUS 1062080 HAS SOUPS 1058882 WITH SCORE 1068572.379
AT ITER 1662 NEW BEST:: SOT 13910555 SOS 9690379 HAS SOPS 9686902 HAS SOUS 1062054 HAS SOUPS 1058856 WITH SCORE 1068546.379
AT ITER 1664 NEW BEST:: SOT 13902957 SOS 9685688 HAS SOPS 9682490 HAS SOUS 1054060 HAS SOUPS 1050862 WITH SCORE 1060547.688
AT ITER 1675 NEW BEST:: SOT 13900380 SOS 9683087 HAS SOPS 9679889 HAS SOUS 1044665 HAS SOUPS 1041467 WITH SCORE 1051150.087
AT ITER 1696 NEW BEST:: SOT 13900380 SOS 9680632 HAS SOPS 9677434 HAS SOUS 1044665 HAS SOUPS 1041467 WITH SCORE 1051147.632
AT ITER 1700 NEW BEST:: SOT 13898037 SOS 9677713 HAS SOPS 9674707 HAS SOUS 1041282 HAS SOUPS 1038276 WITH SCORE 1047953.713
AT ITER 1726 NEW BEST:: SOT 13895621 SOS 9674857 HAS SOPS 9671851 HAS SOUS 1040882 HAS SOUPS 1037876 WITH SCORE 1047550.857
AT ITER 1728 NEW BEST:: SOT 13895621 SOS 9674234 HAS SOPS 9671228 HAS SOUS 1040755 HAS SOUPS 1037749 WITH SCORE 1047423.234
AT ITER 1743 NEW BEST:: SOT 13895621 SOS 9674241 HAS SOPS 9671235 HAS SOUS 1040691 HAS SOUPS 1037685 WITH SCORE 1047359.241
AT ITER 1750 NEW BEST:: SOT 13894705 SOS 9673293 HAS SOPS 9670287 HAS SOUS 1040157 HAS SOUPS 1037151 WITH SCORE 1046824.293
AT ITER 1775 NEW BEST:: SOT 13894623 SOS 9673206 HAS SOPS 9670200 HAS SOUS 1034259 HAS SOUPS 1031253 WITH SCORE 1040926.206
AT ITER 1778 NEW BEST:: SOT 13898388 SOS 9677059 HAS SOPS 9674053 HAS SOUS 1033042 HAS SOUPS 1030036 WITH SCORE 1039713.059
AT ITER 1796 NEW BEST:: SOT 13898388 SOS 9677051 HAS SOPS 9674045 HAS SOUS 1033038 HAS SOUPS 1030032 WITH SCORE 1039709.051
AT ITER 1799 NEW BEST:: SOT 13898388 SOS 9676883 HAS SOPS 9673877 HAS SOUS 1032954 HAS SOUPS 1029948 WITH SCORE 1039624.883
AT ITER 1801 NEW BEST:: SOT 13918973 SOS 9697468 HAS SOPS 9694462 HAS SOUS 1023971 HAS SOUPS 1020965 WITH SCORE 1030662.468
AT ITER 1807 NEW BEST:: SOT 13920103 SOS 9698591 HAS SOPS 9695585 HAS SOUS 1022634 HAS SOUPS 1019628 WITH SCORE 1029326.591
AT ITER 1821 NEW BEST:: SOT 13920636 SOS 7716223 HAS SOPS 7712703 HAS SOUS 1022778 HAS SOUPS 1019639 WITH SCORE 1027355.223
AT ITER 1823 NEW BEST:: SOT 13931911 SOS 7727498 HAS SOPS 7723978 HAS SOUS 1021371 HAS SOUPS 1018232 WITH SCORE 1025959.498
AT ITER 1826 NEW BEST:: SOT 13947472 SOS 7767414 HAS SOPS 7763574 HAS SOUS 1013506 HAS SOUPS 1010191 WITH SCORE 1017958.414
AT ITER 1828 NEW BEST:: SOT 13939812 SOS 7759732 HAS SOPS 7755892 HAS SOUS 1005850 HAS SOUPS 1002535 WITH SCORE 1010294.732
AT ITER 1830 NEW BEST:: SOT 13939812 SOS 7759533 HAS SOPS 7755693 HAS SOUS 1005749 HAS SOUPS 1002434 WITH SCORE 1010193.533
AT ITER 1832 NEW BEST:: SOT 13939812 SOS 7759506 HAS SOPS 7755666 HAS SOUS 1005717 HAS SOUPS 1002402 WITH SCORE 1010161.506
AT ITER 1847 NEW BEST:: SOT 13939889 SOS 7759583 HAS SOPS 7755743 HAS SOUS 1005130 HAS SOUPS 1001815 WITH SCORE 1009574.583
AT ITER 1860 NEW BEST:: SOT 13939889 SOS 7759583 HAS SOPS 7755743 HAS SOUS 1005045 HAS SOUPS 1001730 WITH SCORE 1009489.583
AT ITER 1862 NEW BEST:: SOT 13939889 SOS 7756882 HAS SOPS 7753042 HAS SOUS 1005008 HAS SOUPS 1001693 WITH SCORE 1009449.882
AT ITER 1869 NEW BEST:: SOT 13939889 SOS 7756666 HAS SOPS 7752826 HAS SOUS 1005008 HAS SOUPS 1001693 WITH SCORE 1009449.666
AT ITER 1875 NEW BEST:: SOT 13939889 SOS 7756422 HAS SOPS 7752582 HAS SOUS 1005008 HAS SOUPS 1001693 WITH SCORE 1009449.422
AT ITER 1885 NEW BEST:: SOT 13940366 SOS 7756899 HAS SOPS 7753059 HAS SOUS 1004907 HAS SOUPS 1001592 WITH SCORE 1009348.899
AT ITER 1907 NEW BEST:: SOT 13938595 SOS 7755128 HAS SOPS 7751288 HAS SOUS 1004405 HAS SOUPS 1001090 WITH SCORE 1008845.128
AT ITER 1915 NEW BEST:: SOT 13938595 SOS 7751816 HAS SOPS 7747976 HAS SOUS 1004405 HAS SOUPS 1001090 WITH SCORE 1008841.816
AT ITER 1917 NEW BEST:: SOT 13938595 SOS 7751770 HAS SOPS 7747930 HAS SOUS 1004382 HAS SOUPS 1001067 WITH SCORE 1008818.77
AT ITER 1922 NEW BEST:: SOT 13938595 SOS 7750258 HAS SOPS 7746418 HAS SOUS 1004382 HAS SOUPS 1001067 WITH SCORE 1008817.258
AT ITER 1923 NEW BEST:: SOT 13938595 SOS 7750188 HAS SOPS 7746348 HAS SOUS 1004347 HAS SOUPS 1001032 WITH SCORE 1008782.188
AT ITER 1932 NEW BEST:: SOT 13938595 SOS 7750250 HAS SOPS 7746356 HAS SOUS 1004285 HAS SOUPS 1000970 WITH SCORE 1008720.25
AT ITER 1944 NEW BEST:: SOT 13938595 SOS 7750258 HAS SOPS 7746364 HAS SOUS 1004230 HAS SOUPS 1000915 WITH SCORE 1008665.258
AT ITER 1945 NEW BEST:: SOT 13938588 SOS 7750251 HAS SOPS 7746357 HAS SOUS 1004223 HAS SOUPS 1000908 WITH SCORE 1008658.251
AT ITER 1955 NEW BEST:: SOT 13938588 SOS 7746793 HAS SOPS 7742899 HAS SOUS 1004078 HAS SOUPS 1000763 WITH SCORE 1008509.793
AT ITER 1963 NEW BEST:: SOT 13938588 SOS 7746737 HAS SOPS 7742843 HAS SOUS 1004050 HAS SOUPS 1000735 WITH SCORE 1008481.737
AT ITER 1972 NEW BEST:: SOT 13938588 SOS 7746737 HAS SOPS 7742843 HAS SOUS 1003879 HAS SOUPS 1000564 WITH SCORE 1008310.737
AT ITER 1991 NEW BEST:: SOT 13938588 SOS 7746737 HAS SOPS 7742843 HAS SOUS 1003862 HAS SOUPS 1000547 WITH SCORE 1008293.737
AT ITER 1998 NEW BEST:: SOT 13936130 SOS 7744279 HAS SOPS 7740385 HAS SOUS 1001754 HAS SOUPS 998439 WITH SCORE 1006183.279
AT ITER 2004 NEW BEST:: SOT 13935616 SOS 7744435 HAS SOPS 7740541 HAS SOUS 1000452 HAS SOUPS 997137 WITH SCORE 1004881.435
AT ITER 2008 NEW BEST:: SOT 13935578 SOS 7744397 HAS SOPS 7740503 HAS SOUS 1000414 HAS SOUPS 997099 WITH SCORE 1004843.397
AT ITER 2016 NEW BEST:: SOT 13934073 SOS 7742598 HAS SOPS 7738751 HAS SOUS 995942 HAS SOUPS 992674 WITH SCORE 1000416.598
AT ITER 2061 NEW BEST:: SOT 13934073 SOS 7740510 HAS SOPS 7736663 HAS SOUS 995942 HAS SOUPS 992674 WITH SCORE 1000414.51
AT ITER 2075 NEW BEST:: SOT 13934073 SOS 7736766 HAS SOPS 7732919 HAS SOUS 995942 HAS SOUPS 992674 WITH SCORE 1000410.766
AT ITER 2142 NEW BEST:: SOT 13934996 SOS 7737666 HAS SOPS 7733819 HAS SOUS 994359 HAS SOUPS 991091 WITH SCORE 998828.666
AT ITER 2146 NEW BEST:: SOT 13934926 SOS 7737596 HAS SOPS 7733749 HAS SOUS 994176 HAS SOUPS 990908 WITH SCORE 998645.596
AT ITER 2154 NEW BEST:: SOT 13930743 SOS 7733413 HAS SOPS 7729566 HAS SOUS 990532 HAS SOUPS 987264 WITH SCORE 994997.413
AT ITER 2174 NEW BEST:: SOT 13928096 SOS 7730766 HAS SOPS 7726919 HAS SOUS 989256 HAS SOUPS 985988 WITH SCORE 993718.766
AT ITER 2183 NEW BEST:: SOT 13926883 SOS 7729553 HAS SOPS 7725706 HAS SOUS 986379 HAS SOUPS 983111 WITH SCORE 990840.553
AT ITER 2189 NEW BEST:: SOT 13926883 SOS 7743955 HAS SOPS 7740108 HAS SOUS 986204 HAS SOUPS 982936 WITH SCORE 990679.955
AT ITER 2254 NEW BEST:: SOT 13925217 SOS 7742289 HAS SOPS 7738442 HAS SOUS 982821 HAS SOUPS 979553 WITH SCORE 987295.289
AT ITER 2257 NEW BEST:: SOT 13925217 SOS 7741665 HAS SOPS 7737818 HAS SOUS 982769 HAS SOUPS 979501 WITH SCORE 987242.665
AT ITER 2258 NEW BEST:: SOT 13924402 SOS 7740850 HAS SOPS 7737003 HAS SOUS 982086 HAS SOUPS 978818 WITH SCORE 986558.85
AT ITER 2265 NEW BEST:: SOT 13924402 SOS 7740058 HAS SOPS 7736211 HAS SOUS 982086 HAS SOUPS 978818 WITH SCORE 986558.058
AT ITER 2266 NEW BEST:: SOT 13924402 SOS 7740936 HAS SOPS 7737065 HAS SOUS 981101 HAS SOUPS 977809 WITH SCORE 985549.936
AT ITER 2268 NEW BEST:: SOT 13923366 SOS 7739900 HAS SOPS 7736029 HAS SOUS 980415 HAS SOUPS 977123 WITH SCORE 984862.9
AT ITER 2271 NEW BEST:: SOT 13923366 SOS 7739728 HAS SOPS 7735857 HAS SOUS 980329 HAS SOUPS 977037 WITH SCORE 984776.728
AT ITER 2273 NEW BEST:: SOT 13922315 SOS 7738677 HAS SOPS 7734806 HAS SOUS 979787 HAS SOUPS 976495 WITH SCORE 984233.677
AT ITER 2295 NEW BEST:: SOT 13915998 SOS 7732360 HAS SOPS 7728489 HAS SOUS 978999 HAS SOUPS 975707 WITH SCORE 983439.36
AT ITER 2296 NEW BEST:: SOT 13920647 SOS 7737009 HAS SOPS 7733138 HAS SOUS 973844 HAS SOUPS 970552 WITH SCORE 978289.009
AT ITER 2302 NEW BEST:: SOT 13920642 SOS 7737004 HAS SOPS 7733133 HAS SOUS 973834 HAS SOUPS 970542 WITH SCORE 978279.004
AT ITER 2309 NEW BEST:: SOT 13920642 SOS 7735840 HAS SOPS 7731969 HAS SOUS 973660 HAS SOUPS 970368 WITH SCORE 978103.84
AT ITER 2326 NEW BEST:: SOT 13921559 SOS 7736757 HAS SOPS 7732886 HAS SOUS 973390 HAS SOUPS 970098 WITH SCORE 977834.757
AT ITER 2340 NEW BEST:: SOT 13920260 SOS 7735458 HAS SOPS 7731587 HAS SOUS 972639 HAS SOUPS 969347 WITH SCORE 977082.458
AT ITER 2363 NEW BEST:: SOT 13920260 SOS 7735284 HAS SOPS 7731413 HAS SOUS 972481 HAS SOUPS 969189 WITH SCORE 976924.284
AT ITER 2366 NEW BEST:: SOT 13920260 SOS 7735284 HAS SOPS 7731413 HAS SOUS 972478 HAS SOUPS 969186 WITH SCORE 976921.284
AT ITER 2388 NEW BEST:: SOT 13920140 SOS 7735164 HAS SOPS 7731293 HAS SOUS 972366 HAS SOUPS 969074 WITH SCORE 976809.164
AT ITER 2390 NEW BEST:: SOT 13920140 SOS 7733949 HAS SOPS 7730078 HAS SOUS 972231 HAS SOUPS 968939 WITH SCORE 976672.949
AT ITER 2402 NEW BEST:: SOT 13920754 SOS 7734563 HAS SOPS 7730692 HAS SOUS 971681 HAS SOUPS 968389 WITH SCORE 976123.563
AT ITER 2404 NEW BEST:: SOT 13926665 SOS 7751885 HAS SOPS 7747764 HAS SOUS 970763 HAS SOUPS 967376 WITH SCORE 975127.885
AT ITER 2407 NEW BEST:: SOT 13921010 SOS 7735218 HAS SOPS 7731338 HAS SOUS 968239 HAS SOUPS 964935 WITH SCORE 972670.218
AT ITER 2415 NEW BEST:: SOT 13920757 SOS 7735188 HAS SOPS 7731373 HAS SOUS 966832 HAS SOUPS 963593 WITH SCORE 971328.188
AT ITER 2419 NEW BEST:: SOT 13919924 SOS 7734355 HAS SOPS 7730540 HAS SOUS 965193 HAS SOUPS 961954 WITH SCORE 969688.355
AT ITER 2421 NEW BEST:: SOT 13919924 SOS 7733695 HAS SOPS 7729880 HAS SOUS 965138 HAS SOUPS 961899 WITH SCORE 969632.695
AT ITER 2435 NEW BEST:: SOT 13921220 SOS 7734991 HAS SOPS 7731176 HAS SOUS 962123 HAS SOUPS 958884 WITH SCORE 966618.991
AT ITER 2439 NEW BEST:: SOT 13921220 SOS 7734655 HAS SOPS 7730840 HAS SOUS 962075 HAS SOUPS 958836 WITH SCORE 966570.655
AT ITER 2440 NEW BEST:: SOT 13921187 SOS 7734556 HAS SOPS 7730741 HAS SOUS 962042 HAS SOUPS 958803 WITH SCORE 966537.556
AT ITER 2441 NEW BEST:: SOT 13920928 SOS 7734297 HAS SOPS 7730482 HAS SOUS 961272 HAS SOUPS 958033 WITH SCORE 965767.297
AT ITER 2446 NEW BEST:: SOT 13920928 SOS 7733561 HAS SOPS 7729746 HAS SOUS 961088 HAS SOUPS 957849 WITH SCORE 965582.561
AT ITER 2467 NEW BEST:: SOT 13920916 SOS 7733549 HAS SOPS 7729734 HAS SOUS 961088 HAS SOUPS 957849 WITH SCORE 965582.549
AT ITER 2498 NEW BEST:: SOT 13922189 SOS 7734814 HAS SOPS 7730999 HAS SOUS 960346 HAS SOUPS 957107 WITH SCORE 964841.814
AT ITER 2506 NEW BEST:: SOT 13922189 SOS 7734814 HAS SOPS 7730999 HAS SOUS 960332 HAS SOUPS 957093 WITH SCORE 964827.814
AT ITER 2520 NEW BEST:: SOT 13922189 SOS 7734658 HAS SOPS 7730843 HAS SOUS 960254 HAS SOUPS 957015 WITH SCORE 964749.658
AT ITER 2531 NEW BEST:: SOT 13922189 SOS 7733362 HAS SOPS 7729547 HAS SOUS 960254 HAS SOUPS 957015 WITH SCORE 964748.362
AT ITER 2538 NEW BEST:: SOT 13924034 SOS 7735000 HAS SOPS 7731247 HAS SOUS 958474 HAS SOUPS 955297 WITH SCORE 963032.0
AT ITER 2539 NEW BEST:: SOT 13921544 SOS 7732510 HAS SOPS 7728757 HAS SOUS 956531 HAS SOUPS 953354 WITH SCORE 961086.51
AT ITER 2545 NEW BEST:: SOT 13921544 SOS 7730278 HAS SOPS 7726525 HAS SOUS 956531 HAS SOUPS 953354 WITH SCORE 961084.278
AT ITER 2549 NEW BEST:: SOT 13923104 SOS 7737382 HAS SOPS 7733629 HAS SOUS 954871 HAS SOUPS 951694 WITH SCORE 959431.382
AT ITER 2563 NEW BEST:: SOT 13923493 SOS 7737561 HAS SOPS 7733846 HAS SOUS 953762 HAS SOUPS 950623 WITH SCORE 958360.561
AT ITER 2565 NEW BEST:: SOT 13920005 SOS 7734073 HAS SOPS 7730358 HAS SOUS 952516 HAS SOUPS 949377 WITH SCORE 957111.073
AT ITER 2596 NEW BEST:: SOT 13919556 SOS 7733595 HAS SOPS 7729880 HAS SOUS 951441 HAS SOUPS 948302 WITH SCORE 956035.595
AT ITER 2612 NEW BEST:: SOT 13919784 SOS 7737609 HAS SOPS 7734167 HAS SOUS 947600 HAS SOUPS 944493 WITH SCORE 952230.609
AT ITER 2627 NEW BEST:: SOT 13919668 SOS 7737502 HAS SOPS 7734060 HAS SOUS 947457 HAS SOUPS 944350 WITH SCORE 952087.502
AT ITER 2629 NEW BEST:: SOT 13918529 SOS 7736346 HAS SOPS 7732904 HAS SOUS 945052 HAS SOUPS 941945 WITH SCORE 949681.346
AT ITER 2630 NEW BEST:: SOT 13919842 SOS 7737659 HAS SOPS 7734217 HAS SOUS 944923 HAS SOUPS 941816 WITH SCORE 949553.659
AT ITER 2634 NEW BEST:: SOT 13919916 SOS 7737374 HAS SOPS 7734013 HAS SOUS 944838 HAS SOUPS 941812 WITH SCORE 949549.374
AT ITER 2635 NEW BEST:: SOT 13921733 SOS 7737723 HAS SOPS 7734458 HAS SOUS 938813 HAS SOUPS 935867 WITH SCORE 943604.723
AT ITER 2645 NEW BEST:: SOT 13920921 SOS 7736911 HAS SOPS 7733646 HAS SOUS 938191 HAS SOUPS 935245 WITH SCORE 942981.911
AT ITER 2646 NEW BEST:: SOT 13918158 SOS 7734062 HAS SOPS 7730797 HAS SOUS 935350 HAS SOUPS 932404 WITH SCORE 940138.062
AT ITER 2663 NEW BEST:: SOT 13918158 SOS 7737950 HAS SOPS 7734685 HAS SOUS 935296 HAS SOUPS 932350 WITH SCORE 940087.95
AT ITER 2669 NEW BEST:: SOT 13918079 SOS 7737871 HAS SOPS 7734606 HAS SOUS 935131 HAS SOUPS 932185 WITH SCORE 939922.871
AT ITER 2679 NEW BEST:: SOT 13918079 SOS 7737871 HAS SOPS 7734606 HAS SOUS 935125 HAS SOUPS 932179 WITH SCORE 939916.871
AT ITER 2688 NEW BEST:: SOT 13917480 SOS 7737272 HAS SOPS 7734007 HAS SOUS 934582 HAS SOUPS 931636 WITH SCORE 939373.272
AT ITER 2701 NEW BEST:: SOT 13924677 SOS 7744469 HAS SOPS 7741204 HAS SOUS 933660 HAS SOUPS 930714 WITH SCORE 938458.469
AT ITER 2721 NEW BEST:: SOT 13923340 SOS 7742934 HAS SOPS 7739669 HAS SOUS 933206 HAS SOUPS 930260 WITH SCORE 938002.934
AT ITER 2722 NEW BEST:: SOT 13923272 SOS 7742866 HAS SOPS 7739601 HAS SOUS 933183 HAS SOUPS 930237 WITH SCORE 937979.866
AT ITER 2733 NEW BEST:: SOT 13923272 SOS 7742866 HAS SOPS 7739601 HAS SOUS 933071 HAS SOUPS 930125 WITH SCORE 937867.866
AT ITER 2748 NEW BEST:: SOT 13922687 SOS 7742173 HAS SOPS 7738908 HAS SOUS 932394 HAS SOUPS 929448 WITH SCORE 937190.173
AT ITER 2753 NEW BEST:: SOT 13922709 SOS 7742192 HAS SOPS 7738927 HAS SOUS 932327 HAS SOUPS 929381 WITH SCORE 937123.192
AT ITER 2757 NEW BEST:: SOT 13922709 SOS 7742124 HAS SOPS 7738859 HAS SOUS 932293 HAS SOUPS 929347 WITH SCORE 937089.124
AT ITER 2760 NEW BEST:: SOT 13922709 SOS 7731172 HAS SOPS 7727907 HAS SOUS 932145 HAS SOUPS 929199 WITH SCORE 936930.172
AT ITER 2770 NEW BEST:: SOT 13922709 SOS 7731164 HAS SOPS 7727899 HAS SOUS 932143 HAS SOUPS 929197 WITH SCORE 936928.164
AT ITER 2790 NEW BEST:: SOT 13922709 SOS 7731164 HAS SOPS 7727899 HAS SOUS 932141 HAS SOUPS 929195 WITH SCORE 936926.164
AT ITER 2801 NEW BEST:: SOT 13922709 SOS 7751118 HAS SOPS 7747524 HAS SOUS 931984 HAS SOUPS 928994 WITH SCORE 936745.118
AT ITER 2831 NEW BEST:: SOT 13923533 SOS 7751914 HAS SOPS 7748320 HAS SOUS 931255 HAS SOUPS 928265 WITH SCORE 936016.914
AT ITER 2835 NEW BEST:: SOT 13923493 SOS 7751874 HAS SOPS 7748280 HAS SOUS 931245 HAS SOUPS 928255 WITH SCORE 936006.874
AT ITER 2849 NEW BEST:: SOT 13923469 SOS 7751850 HAS SOPS 7748256 HAS SOUS 931221 HAS SOUPS 928231 WITH SCORE 935982.85
AT ITER 2872 NEW BEST:: SOT 13924628 SOS 7753009 HAS SOPS 7749415 HAS SOUS 930302 HAS SOUPS 927312 WITH SCORE 935065.009
AT ITER 2899 NEW BEST:: SOT 13923158 SOS 7751539 HAS SOPS 7747945 HAS SOUS 927216 HAS SOUPS 924226 WITH SCORE 931977.539
AT ITER 2950 NEW BEST:: SOT 13923158 SOS 7756075 HAS SOPS 7752481 HAS SOUS 926990 HAS SOUPS 924000 WITH SCORE 931756.075
AT ITER 2955 NEW BEST:: SOT 13921206 SOS 7754123 HAS SOPS 7750529 HAS SOUS 925186 HAS SOUPS 922196 WITH SCORE 929950.123
AT ITER 2974 NEW BEST:: SOT 13921206 SOS 7754122 HAS SOPS 7750567 HAS SOUS 925127 HAS SOUPS 922156 WITH SCORE 929910.122
AT ITER 2997 NEW BEST:: SOT 13920870 SOS 7753786 HAS SOPS 7750231 HAS SOUS 924343 HAS SOUPS 921372 WITH SCORE 929125.786
AT ITER 3005 NEW BEST:: SOT 13922673 SOS 7755589 HAS SOPS 7752034 HAS SOUS 923527 HAS SOUPS 920556 WITH SCORE 928311.589
AT ITER 3022 NEW BEST:: SOT 13922673 SOS 7755453 HAS SOPS 7751898 HAS SOUS 923349 HAS SOUPS 920378 WITH SCORE 928133.453
AT ITER 3028 NEW BEST:: SOT 13922673 SOS 7754229 HAS SOPS 7750674 HAS SOUS 923321 HAS SOUPS 920350 WITH SCORE 928104.229
AT ITER 3029 NEW BEST:: SOT 13922673 SOS 7753928 HAS SOPS 7750373 HAS SOUS 923278 HAS SOUPS 920307 WITH SCORE 928060.928
AT ITER 3031 NEW BEST:: SOT 13922431 SOS 7750887 HAS SOPS 7747392 HAS SOUS 923074 HAS SOUPS 920123 WITH SCORE 927873.887
AT ITER 3050 NEW BEST:: SOT 13922524 SOS 7640995 HAS SOPS 7637500 HAS SOUS 923106 HAS SOUPS 920155 WITH SCORE 927795.995
AT ITER 3053 NEW BEST:: SOT 13922519 SOS 7641039 HAS SOPS 7637544 HAS SOUS 923101 HAS SOUPS 920150 WITH SCORE 927791.039
AT ITER 3058 NEW BEST:: SOT 13922103 SOS 7640623 HAS SOPS 7637128 HAS SOUS 922796 HAS SOUPS 919845 WITH SCORE 927485.623
AT ITER 3099 NEW BEST:: SOT 13922103 SOS 7640623 HAS SOPS 7637128 HAS SOUS 922636 HAS SOUPS 919685 WITH SCORE 927325.623
AT ITER 3101 NEW BEST:: SOT 13923407 SOS 7641927 HAS SOPS 7638432 HAS SOUS 921682 HAS SOUPS 918731 WITH SCORE 926372.927
AT ITER 3117 NEW BEST:: SOT 13922942 SOS 7641462 HAS SOPS 7637967 HAS SOUS 921655 HAS SOUPS 918704 WITH SCORE 926345.462
AT ITER 3118 NEW BEST:: SOT 13922942 SOS 7641443 HAS SOPS 7637948 HAS SOUS 921636 HAS SOUPS 918685 WITH SCORE 926326.443
AT ITER 3124 NEW BEST:: SOT 13921964 SOS 7641320 HAS SOPS 7638036 HAS SOUS 919776 HAS SOUPS 917036 WITH SCORE 924677.32
AT ITER 3147 NEW BEST:: SOT 13921943 SOS 7641299 HAS SOPS 7638015 HAS SOUS 919755 HAS SOUPS 917015 WITH SCORE 924656.299
AT ITER 3149 NEW BEST:: SOT 13921657 SOS 7641013 HAS SOPS 7637729 HAS SOUS 918769 HAS SOUPS 916029 WITH SCORE 923670.013
AT ITER 3179 NEW BEST:: SOT 13921670 SOS 7640975 HAS SOPS 7637691 HAS SOUS 918755 HAS SOUPS 916015 WITH SCORE 923655.975
AT ITER 3191 NEW BEST:: SOT 13920558 SOS 7639289 HAS SOPS 7636005 HAS SOUS 917446 HAS SOUPS 914706 WITH SCORE 922345.289
AT ITER 3197 NEW BEST:: SOT 13920558 SOS 7639282 HAS SOPS 7635998 HAS SOUS 917445 HAS SOUPS 914705 WITH SCORE 922344.282
AT ITER 3224 NEW BEST:: SOT 13920347 SOS 7639585 HAS SOPS 7636301 HAS SOUS 916047 HAS SOUPS 913307 WITH SCORE 920946.585
AT ITER 3233 NEW BEST:: SOT 13920337 SOS 7639575 HAS SOPS 7636291 HAS SOUS 916047 HAS SOUPS 913307 WITH SCORE 920946.575
AT ITER 3248 NEW BEST:: SOT 13918411 SOS 7646718 HAS SOPS 7643200 HAS SOUS 915552 HAS SOUPS 912625 WITH SCORE 920271.718
AT ITER 3251 NEW BEST:: SOT 13908551 SOS 7615009 HAS SOPS 7611491 HAS SOUS 908648 HAS SOUPS 905721 WITH SCORE 913336.009
AT ITER 3259 NEW BEST:: SOT 13908774 SOS 7615231 HAS SOPS 7611713 HAS SOUS 907204 HAS SOUPS 904277 WITH SCORE 911892.231
AT ITER 3311 NEW BEST:: SOT 13908730 SOS 7615187 HAS SOPS 7611669 HAS SOUS 907160 HAS SOUPS 904233 WITH SCORE 911848.187
AT ITER 3324 NEW BEST:: SOT 13908730 SOS 7615187 HAS SOPS 7611669 HAS SOUS 907090 HAS SOUPS 904163 WITH SCORE 911778.187
AT ITER 3337 NEW BEST:: SOT 13908559 SOS 7615016 HAS SOPS 7611498 HAS SOUS 906971 HAS SOUPS 904044 WITH SCORE 911659.016
AT ITER 3338 NEW BEST:: SOT 13908526 SOS 7614983 HAS SOPS 7611465 HAS SOUS 906962 HAS SOUPS 904035 WITH SCORE 911649.983
AT ITER 3343 NEW BEST:: SOT 13908584 SOS 7615041 HAS SOPS 7611523 HAS SOUS 906951 HAS SOUPS 904024 WITH SCORE 911639.041
AT ITER 3355 NEW BEST:: SOT 13906219 SOS 7612676 HAS SOPS 7609158 HAS SOUS 902182 HAS SOUPS 899255 WITH SCORE 906867.676
AT ITER 3363 NEW BEST:: SOT 13907619 SOS 7614164 HAS SOPS 7610646 HAS SOUS 901052 HAS SOUPS 898125 WITH SCORE 905739.164
AT ITER 3405 NEW BEST:: SOT 13907619 SOS 7614164 HAS SOPS 7610646 HAS SOUS 901022 HAS SOUPS 898095 WITH SCORE 905709.164
AT ITER 3418 NEW BEST:: SOT 13907852 SOS 7614743 HAS SOPS 7611277 HAS SOUS 900745 HAS SOUPS 897870 WITH SCORE 905484.743
AT ITER 3438 NEW BEST:: SOT 13907852 SOS 7614623 HAS SOPS 7611157 HAS SOUS 900685 HAS SOUPS 897810 WITH SCORE 905424.623
AT ITER 3445 NEW BEST:: SOT 13907852 SOS 7614545 HAS SOPS 7611079 HAS SOUS 900646 HAS SOUPS 897771 WITH SCORE 905385.545
AT ITER 3449 NEW BEST:: SOT 13907852 SOS 7614421 HAS SOPS 7610955 HAS SOUS 900584 HAS SOUPS 897709 WITH SCORE 905323.421
AT ITER 3455 NEW BEST:: SOT 13909597 SOS 7596919 HAS SOPS 7594023 HAS SOUS 899146 HAS SOUPS 896556 WITH SCORE 904152.919
AT ITER 3456 NEW BEST:: SOT 13907830 SOS 7595152 HAS SOPS 7592256 HAS SOUS 897835 HAS SOUPS 895245 WITH SCORE 902840.152
AT ITER 3457 NEW BEST:: SOT 13907830 SOS 7595152 HAS SOPS 7592256 HAS SOUS 897792 HAS SOUPS 895202 WITH SCORE 902797.152
AT ITER 3468 NEW BEST:: SOT 13907875 SOS 7595197 HAS SOPS 7592301 HAS SOUS 897723 HAS SOUPS 895133 WITH SCORE 902728.197
AT ITER 3472 NEW BEST:: SOT 13907973 SOS 7595295 HAS SOPS 7592399 HAS SOUS 897688 HAS SOUPS 895098 WITH SCORE 902693.295
AT ITER 3498 NEW BEST:: SOT 13903387 SOS 7590709 HAS SOPS 7587813 HAS SOUS 893900 HAS SOUPS 891310 WITH SCORE 898900.709
AT ITER 3510 NEW BEST:: SOT 13902786 SOS 7590108 HAS SOPS 7587212 HAS SOUS 892590 HAS SOUPS 890000 WITH SCORE 897590.108
AT ITER 3515 NEW BEST:: SOT 13902786 SOS 7590107 HAS SOPS 7587211 HAS SOUS 892589 HAS SOUPS 889999 WITH SCORE 897589.107
AT ITER 3538 NEW BEST:: SOT 13902546 SOS 7589867 HAS SOPS 7586971 HAS SOUS 887535 HAS SOUPS 884945 WITH SCORE 892534.867
AT ITER 3543 NEW BEST:: SOT 13902546 SOS 7589843 HAS SOPS 7586947 HAS SOUS 887511 HAS SOUPS 884921 WITH SCORE 892510.843
AT ITER 3546 NEW BEST:: SOT 13900528 SOS 7587825 HAS SOPS 7584929 HAS SOUS 885750 HAS SOUPS 883160 WITH SCORE 890747.825
AT ITER 3547 NEW BEST:: SOT 13900528 SOS 7587137 HAS SOPS 7584241 HAS SOUS 885750 HAS SOUPS 883160 WITH SCORE 890747.137
AT ITER 3548 NEW BEST:: SOT 13900528 SOS 7586854 HAS SOPS 7583958 HAS SOUS 885750 HAS SOUPS 883160 WITH SCORE 890746.854
AT ITER 3549 NEW BEST:: SOT 13900528 SOS 7586854 HAS SOPS 7583958 HAS SOUS 885615 HAS SOUPS 883025 WITH SCORE 890611.854
AT ITER 3556 NEW BEST:: SOT 13900528 SOS 7585634 HAS SOPS 7582738 HAS SOUS 885599 HAS SOUPS 883009 WITH SCORE 890594.634
AT ITER 3560 NEW BEST:: SOT 13898142 SOS 7583248 HAS SOPS 7580352 HAS SOUS 883294 HAS SOUPS 880704 WITH SCORE 888287.248
AT ITER 3566 NEW BEST:: SOT 13898126 SOS 7583232 HAS SOPS 7580336 HAS SOUS 883272 HAS SOUPS 880682 WITH SCORE 888265.232
AT ITER 3567 NEW BEST:: SOT 13897859 SOS 7582965 HAS SOPS 7580069 HAS SOUS 882732 HAS SOUPS 880142 WITH SCORE 887724.965
AT ITER 3568 NEW BEST:: SOT 13902286 SOS 7590947 HAS SOPS 7588051 HAS SOUS 880680 HAS SOUPS 878090 WITH SCORE 885680.947
AT ITER 3583 NEW BEST:: SOT 13897686 SOS 7586147 HAS SOPS 7583251 HAS SOUS 879017 HAS SOUPS 876427 WITH SCORE 884013.147
AT ITER 3588 NEW BEST:: SOT 13898650 SOS 7587029 HAS SOPS 7584161 HAS SOUS 877964 HAS SOUPS 875402 WITH SCORE 882989.029
AT ITER 3593 NEW BEST:: SOT 13897956 SOS 7586335 HAS SOPS 7583467 HAS SOUS 873697 HAS SOUPS 871135 WITH SCORE 878721.335
AT ITER 3596 NEW BEST:: SOT 13897923 SOS 7586313 HAS SOPS 7583445 HAS SOUS 873073 HAS SOUPS 870511 WITH SCORE 878097.313
AT ITER 3615 NEW BEST:: SOT 13896680 SOS 7585068 HAS SOPS 7582200 HAS SOUS 870769 HAS SOUPS 868207 WITH SCORE 875792.068
AT ITER 3681 NEW BEST:: SOT 13896680 SOS 7584700 HAS SOPS 7581832 HAS SOUS 869008 HAS SOUPS 866446 WITH SCORE 874030.7
AT ITER 3691 NEW BEST:: SOT 13896680 SOS 7584610 HAS SOPS 7581742 HAS SOUS 868918 HAS SOUPS 866356 WITH SCORE 873940.61
AT ITER 3692 NEW BEST:: SOT 13896680 SOS 7584562 HAS SOPS 7581694 HAS SOUS 868894 HAS SOUPS 866332 WITH SCORE 873916.562
AT ITER 3724 NEW BEST:: SOT 13896680 SOS 7584222 HAS SOPS 7581354 HAS SOUS 868809 HAS SOUPS 866247 WITH SCORE 873831.222
AT ITER 3728 NEW BEST:: SOT 13896680 SOS 7584814 HAS SOPS 7581946 HAS SOUS 868762 HAS SOUPS 866200 WITH SCORE 873784.814
AT ITER 3786 NEW BEST:: SOT 13896680 SOS 7584672 HAS SOPS 7581804 HAS SOUS 868762 HAS SOUPS 866200 WITH SCORE 873784.672
AT ITER 3802 NEW BEST:: SOT 13896348 SOS 7584340 HAS SOPS 7581472 HAS SOUS 868498 HAS SOUPS 865936 WITH SCORE 873520.34
AT ITER 3821 NEW BEST:: SOT 13897005 SOS 7582318 HAS SOPS 7579771 HAS SOUS 863288 HAS SOUPS 860932 WITH SCORE 868514.318
AT ITER 3849 NEW BEST:: SOT 13897221 SOS 7606598 HAS SOPS 7604051 HAS SOUS 859210 HAS SOUPS 856854 WITH SCORE 864460.598
AT ITER 3853 NEW BEST:: SOT 13894979 SOS 7604356 HAS SOPS 7601809 HAS SOUS 857118 HAS SOUPS 854762 WITH SCORE 862366.356
AT ITER 3859 NEW BEST:: SOT 13894979 SOS 7603816 HAS SOPS 7601269 HAS SOUS 857073 HAS SOUPS 854717 WITH SCORE 862320.816
AT ITER 3867 NEW BEST:: SOT 13894979 SOS 7603384 HAS SOPS 7600837 HAS SOUS 857073 HAS SOUPS 854717 WITH SCORE 862320.384
AT ITER 3868 NEW BEST:: SOT 13894961 SOS 7603051 HAS SOPS 7600550 HAS SOUS 856936 HAS SOUPS 854626 WITH SCORE 862229.051
AT ITER 3890 NEW BEST:: SOT 13894961 SOS 7602988 HAS SOPS 7600487 HAS SOUS 856873 HAS SOUPS 854563 WITH SCORE 862165.988
AT ITER 3897 NEW BEST:: SOT 13894961 SOS 7602988 HAS SOPS 7600487 HAS SOUS 856774 HAS SOUPS 854464 WITH SCORE 862066.988
AT ITER 3943 NEW BEST:: SOT 13894866 SOS 7602893 HAS SOPS 7600392 HAS SOUS 856648 HAS SOUPS 854338 WITH SCORE 861940.893
AT ITER 3963 NEW BEST:: SOT 13894866 SOS 7602849 HAS SOPS 7600348 HAS SOUS 856610 HAS SOUPS 854300 WITH SCORE 861902.849
AT ITER 3969 NEW BEST:: SOT 13894836 SOS 7602703 HAS SOPS 7600232 HAS SOUS 856520 HAS SOUPS 854240 WITH SCORE 861842.703
AT ITER 3987 NEW BEST:: SOT 13894701 SOS 7602556 HAS SOPS 7600085 HAS SOUS 856411 HAS SOUPS 854131 WITH SCORE 861733.556
AT ITER 3994 NEW BEST:: SOT 13894701 SOS 7602520 HAS SOPS 7600049 HAS SOUS 856375 HAS SOUPS 854095 WITH SCORE 861697.52
AT ITER 3995 NEW BEST:: SOT 13894677 SOS 7602496 HAS SOPS 7600025 HAS SOUS 856327 HAS SOUPS 854047 WITH SCORE 861649.496
AT ITER 3999 NEW BEST:: SOT 13893742 SOS 7601561 HAS SOPS 7599090 HAS SOUS 855376 HAS SOUPS 853096 WITH SCORE 860697.561
AT ITER 4001 NEW BEST:: SOT 13898909 SOS 7606728 HAS SOPS 7604257 HAS SOUS 854882 HAS SOUPS 852602 WITH SCORE 860208.728
AT ITER 4011 NEW BEST:: SOT 13898713 SOS 7606532 HAS SOPS 7604061 HAS SOUS 854712 HAS SOUPS 852432 WITH SCORE 860038.532
AT ITER 4013 NEW BEST:: SOT 13897921 SOS 7605768 HAS SOPS 7603297 HAS SOUS 854109 HAS SOUPS 851829 WITH SCORE 859434.768
AT ITER 4041 NEW BEST:: SOT 13897921 SOS 7605742 HAS SOPS 7603271 HAS SOUS 853985 HAS SOUPS 851705 WITH SCORE 859310.742
AT ITER 4054 NEW BEST:: SOT 13898538 SOS 7606359 HAS SOPS 7603888 HAS SOUS 853681 HAS SOUPS 851401 WITH SCORE 859007.359
AT ITER 4072 NEW BEST:: SOT 13898538 SOS 7606275 HAS SOPS 7603804 HAS SOUS 853639 HAS SOUPS 851359 WITH SCORE 858965.275
AT ITER 4090 NEW BEST:: SOT 13896879 SOS 7604616 HAS SOPS 7602145 HAS SOUS 852365 HAS SOUPS 850085 WITH SCORE 857689.616
AT ITER 4109 NEW BEST:: SOT 13896879 SOS 7604544 HAS SOPS 7602073 HAS SOUS 852329 HAS SOUPS 850049 WITH SCORE 857653.544
AT ITER 4111 NEW BEST:: SOT 13896879 SOS 7604544 HAS SOPS 7602073 HAS SOUS 852319 HAS SOUPS 850039 WITH SCORE 857643.544
AT ITER 4131 NEW BEST:: SOT 13898355 SOS 7608396 HAS SOPS 7605925 HAS SOUS 851434 HAS SOUPS 849154 WITH SCORE 856762.396
AT ITER 4133 NEW BEST:: SOT 13898567 SOS 7628998 HAS SOPS 7626527 HAS SOUS 849658 HAS SOUPS 847378 WITH SCORE 855006.998
AT ITER 4143 NEW BEST:: SOT 13898319 SOS 7628750 HAS SOPS 7626279 HAS SOUS 849428 HAS SOUPS 847148 WITH SCORE 854776.75
AT ITER 4150 NEW BEST:: SOT 13899097 SOS 7629528 HAS SOPS 7627057 HAS SOUS 846926 HAS SOUPS 844646 WITH SCORE 852275.528
AT ITER 4177 NEW BEST:: SOT 13901851 SOS 7632282 HAS SOPS 7629811 HAS SOUS 844558 HAS SOUPS 842278 WITH SCORE 849910.282
AT ITER 4208 NEW BEST:: SOT 13901814 SOS 7643232 HAS SOPS 7640761 HAS SOUS 844493 HAS SOUPS 842213 WITH SCORE 849856.232
AT ITER 4233 NEW BEST:: SOT 13906875 SOS 7673293 HAS SOPS 7670822 HAS SOUS 844346 HAS SOUPS 842066 WITH SCORE 849739.293
AT ITER 4251 NEW BEST:: SOT 13907017 SOS 7688328 HAS SOPS 7685889 HAS SOUS 843600 HAS SOUPS 841320 WITH SCORE 849008.328
AT ITER 4275 NEW BEST:: SOT 13907015 SOS 7688326 HAS SOPS 7685887 HAS SOUS 843598 HAS SOUPS 841318 WITH SCORE 849006.326
AT ITER 4294 NEW BEST:: SOT 13907015 SOS 7688308 HAS SOPS 7685869 HAS SOUS 843580 HAS SOUPS 841300 WITH SCORE 848988.308
AT ITER 4298 NEW BEST:: SOT 13903775 SOS 7687545 HAS SOPS 7686938 HAS SOUS 838602 HAS SOUPS 838154 WITH SCORE 845841.545
AT ITER 4311 NEW BEST:: SOT 13902513 SOS 7686283 HAS SOPS 7685676 HAS SOUS 838529 HAS SOUPS 838081 WITH SCORE 845767.283
AT ITER 4314 NEW BEST:: SOT 13902513 SOS 7686283 HAS SOPS 7685676 HAS SOUS 838458 HAS SOUPS 838010 WITH SCORE 845696.283
AT ITER 4332 NEW BEST:: SOT 13902513 SOS 7686217 HAS SOPS 7685610 HAS SOUS 838458 HAS SOUPS 838010 WITH SCORE 845696.217
AT ITER 4360 NEW BEST:: SOT 13897712 SOS 7681416 HAS SOPS 7680809 HAS SOUS 833158 HAS SOUPS 832710 WITH SCORE 840391.416
AT ITER 4361 NEW BEST:: SOT 13896682 SOS 7680386 HAS SOPS 7679779 HAS SOUS 830936 HAS SOUPS 830488 WITH SCORE 838168.386
AT ITER 4387 NEW BEST:: SOT 13896646 SOS 7680350 HAS SOPS 7679743 HAS SOUS 830932 HAS SOUPS 830484 WITH SCORE 838164.35
AT ITER 4395 NEW BEST:: SOT 13889332 SOS 7673036 HAS SOPS 7672429 HAS SOUS 823525 HAS SOUPS 823077 WITH SCORE 830750.036
AT ITER 4399 NEW BEST:: SOT 13888983 SOS 7672687 HAS SOPS 7672080 HAS SOUS 822818 HAS SOUPS 822370 WITH SCORE 830042.687
AT ITER 4404 NEW BEST:: SOT 13885755 SOS 7667405 HAS SOPS 7666717 HAS SOUS 820225 HAS SOUPS 819696 WITH SCORE 827363.405
AT ITER 4451 NEW BEST:: SOT 13885359 SOS 7667009 HAS SOPS 7666321 HAS SOUS 819865 HAS SOUPS 819336 WITH SCORE 827003.009
AT ITER 4481 NEW BEST:: SOT 13885359 SOS 7666993 HAS SOPS 7666305 HAS SOUS 819861 HAS SOUPS 819332 WITH SCORE 826998.993
AT ITER 4500 NEW BEST:: SOT 13885359 SOS 7667063 HAS SOPS 7666375 HAS SOUS 819858 HAS SOUPS 819329 WITH SCORE 826996.063
AT ITER 4526 NEW BEST:: SOT 13885359 SOS 7666523 HAS SOPS 7665835 HAS SOUS 819813 HAS SOUPS 819284 WITH SCORE 826950.523
AT ITER 4548 NEW BEST:: SOT 13885359 SOS 7666523 HAS SOPS 7665835 HAS SOUS 819793 HAS SOUPS 819264 WITH SCORE 826930.523
AT ITER 4549 NEW BEST:: SOT 13885359 SOS 7666523 HAS SOPS 7665835 HAS SOUS 819434 HAS SOUPS 818905 WITH SCORE 826571.523
AT ITER 4587 NEW BEST:: SOT 13885359 SOS 7666523 HAS SOPS 7665835 HAS SOUS 819409 HAS SOUPS 818880 WITH SCORE 826546.523
AT ITER 4589 NEW BEST:: SOT 13881779 SOS 7662943 HAS SOPS 7662255 HAS SOUS 816237 HAS SOUPS 815708 WITH SCORE 823370.943
AT ITER 4591 NEW BEST:: SOT 13881932 SOS 7662997 HAS SOPS 7662349 HAS SOUS 815509 HAS SOUPS 815020 WITH SCORE 822682.997
AT ITER 4602 NEW BEST:: SOT 13880461 SOS 7661526 HAS SOPS 7660878 HAS SOUS 814684 HAS SOUPS 814195 WITH SCORE 821856.526
AT ITER 4609 NEW BEST:: SOT 13879742 SOS 7660807 HAS SOPS 7660159 HAS SOUS 814185 HAS SOUPS 813696 WITH SCORE 821356.807
AT ITER 4632 NEW BEST:: SOT 13871149 SOS 7635826 HAS SOPS 7635102 HAS SOUS 813409 HAS SOUPS 812920 WITH SCORE 820555.826
AT ITER 4639 NEW BEST:: SOT 13871149 SOS 7635826 HAS SOPS 7635102 HAS SOUS 813362 HAS SOUPS 812873 WITH SCORE 820508.826
AT ITER 4641 NEW BEST:: SOT 13871149 SOS 7635826 HAS SOPS 7635102 HAS SOUS 813348 HAS SOUPS 812859 WITH SCORE 820494.826
AT ITER 4644 NEW BEST:: SOT 13869785 SOS 7634462 HAS SOPS 7633738 HAS SOUS 812096 HAS SOUPS 811607 WITH SCORE 819241.462
AT ITER 4668 NEW BEST:: SOT 13870159 SOS 7634836 HAS SOPS 7634112 HAS SOUS 811912 HAS SOUPS 811423 WITH SCORE 819057.836
AT ITER 4669 NEW BEST:: SOT 13870110 SOS 7634787 HAS SOPS 7634063 HAS SOUS 811863 HAS SOUPS 811374 WITH SCORE 819008.787
AT ITER 4675 NEW BEST:: SOT 13870100 SOS 7634862 HAS SOPS 7634155 HAS SOUS 810629 HAS SOUPS 810140 WITH SCORE 817774.862
AT ITER 4697 NEW BEST:: SOT 13869546 SOS 7634290 HAS SOPS 7633583 HAS SOUS 810533 HAS SOUPS 810044 WITH SCORE 817678.29
AT ITER 4714 NEW BEST:: SOT 13871309 SOS 7636043 HAS SOPS 7635336 HAS SOUS 810257 HAS SOUPS 809768 WITH SCORE 817404.043
AT ITER 4748 NEW BEST:: SOT 13871289 SOS 7636023 HAS SOPS 7635316 HAS SOUS 810230 HAS SOUPS 809741 WITH SCORE 817377.023
AT ITER 4755 NEW BEST:: SOT 13862122 SOS 7612501 HAS SOPS 7612004 HAS SOUS 806578 HAS SOUPS 806194 WITH SCORE 813806.501
AT ITER 4814 NEW BEST:: SOT 13862118 SOS 7612412 HAS SOPS 7611911 HAS SOUS 806572 HAS SOUPS 806184 WITH SCORE 813796.412
AT ITER 4833 NEW BEST:: SOT 13862118 SOS 7612394 HAS SOPS 7611893 HAS SOUS 806554 HAS SOUPS 806166 WITH SCORE 813778.394
AT ITER 4839 NEW BEST:: SOT 13862197 SOS 7612519 HAS SOPS 7612018 HAS SOUS 806508 HAS SOUPS 806120 WITH SCORE 813732.519
AT ITER 4849 NEW BEST:: SOT 13861741 SOS 7612063 HAS SOPS 7611562 HAS SOUS 805528 HAS SOUPS 805140 WITH SCORE 812752.063
AT ITER 4852 NEW BEST:: SOT 13861889 SOS 7612186 HAS SOPS 7611698 HAS SOUS 804014 HAS SOUPS 803639 WITH SCORE 811251.186
AT ITER 4865 NEW BEST:: SOT 13861886 SOS 7612183 HAS SOPS 7611695 HAS SOUS 804005 HAS SOUPS 803630 WITH SCORE 811242.183
AT ITER 4887 NEW BEST:: SOT 13859770 SOS 7610067 HAS SOPS 7609579 HAS SOUS 802069 HAS SOUPS 801694 WITH SCORE 809304.067
AT ITER 4906 NEW BEST:: SOT 13860045 SOS 7606081 HAS SOPS 7605817 HAS SOUS 799484 HAS SOUPS 799257 WITH SCORE 806863.081
AT ITER 4908 NEW BEST:: SOT 13856683 SOS 7602719 HAS SOPS 7602455 HAS SOUS 797666 HAS SOUPS 797439 WITH SCORE 805041.719
AT ITER 4924 NEW BEST:: SOT 13856289 SOS 7602325 HAS SOPS 7602061 HAS SOUS 796815 HAS SOUPS 796588 WITH SCORE 804190.325
AT ITER 4966 NEW BEST:: SOT 13857219 SOS 7603327 HAS SOPS 7603063 HAS SOUS 796485 HAS SOUPS 796258 WITH SCORE 803861.327
AT ITER 4970 NEW BEST:: SOT 13857219 SOS 7603244 HAS SOPS 7602980 HAS SOUS 796319 HAS SOUPS 796092 WITH SCORE 803695.244
AT ITER 4972 NEW BEST:: SOT 13857328 SOS 7609515 HAS SOPS 7609251 HAS SOUS 796300 HAS SOUPS 796073 WITH SCORE 803682.515
AT ITER 4973 NEW BEST:: SOT 13857143 SOS 7609330 HAS SOPS 7609066 HAS SOUS 796171 HAS SOUPS 795944 WITH SCORE 803553.33
AT ITER 4987 NEW BEST:: SOT 13857143 SOS 7609330 HAS SOPS 7609066 HAS SOUS 796169 HAS SOUPS 795942 WITH SCORE 803551.33
AT ITER 4988 NEW BEST:: SOT 13858386 SOS 7614245 HAS SOPS 7613981 HAS SOUS 795610 HAS SOUPS 795383 WITH SCORE 802997.245
AT ITER 4994 NEW BEST:: SOT 13858386 SOS 7619430 HAS SOPS 7619166 HAS SOUS 795525 HAS SOUPS 795298 WITH SCORE 802917.43
AT ITER 4997 NEW BEST:: SOT 13858386 SOS 7619399 HAS SOPS 7619135 HAS SOUS 795499 HAS SOUPS 795272 WITH SCORE 802891.399
AT ITER 5009 NEW BEST:: SOT 13858265 SOS 7619278 HAS SOPS 7619014 HAS SOUS 795360 HAS SOUPS 795133 WITH SCORE 802752.278
AT ITER 5015 NEW BEST:: SOT 13855295 SOS 7616308 HAS SOPS 7616044 HAS SOUS 791727 HAS SOUPS 791500 WITH SCORE 799116.308
AT ITER 5050 NEW BEST:: SOT 13855438 SOS 7623147 HAS SOPS 7622883 HAS SOUS 787880 HAS SOUPS 787653 WITH SCORE 795276.147
AT ITER 5070 NEW BEST:: SOT 13855438 SOS 7623147 HAS SOPS 7622883 HAS SOUS 787744 HAS SOUPS 787517 WITH SCORE 795140.147
AT ITER 5081 NEW BEST:: SOT 13855438 SOS 7623140 HAS SOPS 7622876 HAS SOUS 787744 HAS SOUPS 787517 WITH SCORE 795140.14
AT ITER 5083 NEW BEST:: SOT 13855540 SOS 7629296 HAS SOPS 7629032 HAS SOUS 787704 HAS SOUPS 787477 WITH SCORE 795106.296
AT ITER 5089 NEW BEST:: SOT 13855456 SOS 7648160 HAS SOPS 7647967 HAS SOUS 783944 HAS SOUPS 783766 WITH SCORE 791414.16
AT ITER 5100 NEW BEST:: SOT 13855739 SOS 7648276 HAS SOPS 7648100 HAS SOUS 783411 HAS SOUPS 783250 WITH SCORE 790898.276
AT ITER 5101 NEW BEST:: SOT 13855739 SOS 7647981 HAS SOPS 7647805 HAS SOUS 783391 HAS SOUPS 783230 WITH SCORE 790877.981
AT ITER 5120 NEW BEST:: SOT 13855349 SOS 7647591 HAS SOPS 7647415 HAS SOUS 783034 HAS SOUPS 782873 WITH SCORE 790520.591
AT ITER 5139 NEW BEST:: SOT 13855326 SOS 7647568 HAS SOPS 7647392 HAS SOUS 783027 HAS SOUPS 782866 WITH SCORE 790513.568
AT ITER 5147 NEW BEST:: SOT 13855326 SOS 7646560 HAS SOPS 7646384 HAS SOUS 783013 HAS SOUPS 782852 WITH SCORE 790498.56
AT ITER 5171 NEW BEST:: SOT 13857747 SOS 7648981 HAS SOPS 7648805 HAS SOUS 779705 HAS SOUPS 779544 WITH SCORE 787192.981
AT ITER 5173 NEW BEST:: SOT 13867054 SOS 7670863 HAS SOPS 7670687 HAS SOUS 777868 HAS SOUPS 777707 WITH SCORE 785377.863
AT ITER 5179 NEW BEST:: SOT 13868098 SOS 7671907 HAS SOPS 7671731 HAS SOUS 777138 HAS SOUPS 776977 WITH SCORE 784648.907
AT ITER 5191 NEW BEST:: SOT 13873105 SOS 7689394 HAS SOPS 7689218 HAS SOUS 774336 HAS SOUPS 774175 WITH SCORE 781864.394
AT ITER 5204 NEW BEST:: SOT 13873105 SOS 7688890 HAS SOPS 7688714 HAS SOUS 774336 HAS SOUPS 774175 WITH SCORE 781863.89
AT ITER 5216 NEW BEST:: SOT 13873047 SOS 7688832 HAS SOPS 7688656 HAS SOUS 774278 HAS SOUPS 774117 WITH SCORE 781805.832
AT ITER 5229 NEW BEST:: SOT 13873047 SOS 7689808 HAS SOPS 7689632 HAS SOUS 774262 HAS SOUPS 774101 WITH SCORE 781790.808
AT ITER 5253 NEW BEST:: SOT 13872848 SOS 7689609 HAS SOPS 7689433 HAS SOUS 774059 HAS SOUPS 773898 WITH SCORE 781587.609
AT ITER 5270 NEW BEST:: SOT 13869763 SOS 7693312 HAS SOPS 7693136 HAS SOUS 772715 HAS SOUPS 772554 WITH SCORE 780247.312
AT ITER 5307 NEW BEST:: SOT 13871103 SOS 7694475 HAS SOPS 7694338 HAS SOUS 772688 HAS SOUPS 772551 WITH SCORE 780245.475
AT ITER 5351 NEW BEST:: SOT 13871103 SOS 7694475 HAS SOPS 7694338 HAS SOUS 772639 HAS SOUPS 772502 WITH SCORE 780196.475
AT ITER 5356 NEW BEST:: SOT 13857267 SOS 7691425 HAS SOPS 7691288 HAS SOUS 756891 HAS SOUPS 756754 WITH SCORE 764445.425
AT ITER 5370 NEW BEST:: SOT 13857267 SOS 7691293 HAS SOPS 7691156 HAS SOUS 756880 HAS SOUPS 756743 WITH SCORE 764434.293
AT ITER 5372 NEW BEST:: SOT 13857267 SOS 7688914 HAS SOPS 7688777 HAS SOUS 756880 HAS SOUPS 756743 WITH SCORE 764431.914
AT ITER 5373 NEW BEST:: SOT 13857267 SOS 7688683 HAS SOPS 7688546 HAS SOUS 756839 HAS SOUPS 756702 WITH SCORE 764390.683
AT ITER 5375 NEW BEST:: SOT 13857165 SOS 7688131 HAS SOPS 7687994 HAS SOUS 756130 HAS SOUPS 755993 WITH SCORE 763681.131
AT ITER 5406 NEW BEST:: SOT 13857134 SOS 7688100 HAS SOPS 7687963 HAS SOUS 756100 HAS SOUPS 755963 WITH SCORE 763651.1
AT ITER 5410 NEW BEST:: SOT 13857134 SOS 7688076 HAS SOPS 7687939 HAS SOUS 756052 HAS SOUPS 755915 WITH SCORE 763603.076
AT ITER 5424 NEW BEST:: SOT 13854814 SOS 7685756 HAS SOPS 7685619 HAS SOUS 754008 HAS SOUPS 753871 WITH SCORE 761556.756
AT ITER 5461 NEW BEST:: SOT 13854814 SOS 7685644 HAS SOPS 7685507 HAS SOUS 753993 HAS SOUPS 753856 WITH SCORE 761541.644
AT ITER 5468 NEW BEST:: SOT 13854548 SOS 7685375 HAS SOPS 7685255 HAS SOUS 753420 HAS SOUPS 753300 WITH SCORE 760985.375
AT ITER 5476 NEW BEST:: SOT 13854612 SOS 7685434 HAS SOPS 7685314 HAS SOUS 753343 HAS SOUPS 753223 WITH SCORE 760908.434
AT ITER 5478 NEW BEST:: SOT 13854612 SOS 7685434 HAS SOPS 7685314 HAS SOUS 753323 HAS SOUPS 753203 WITH SCORE 760888.434
AT ITER 5497 NEW BEST:: SOT 13854643 SOS 7685465 HAS SOPS 7685345 HAS SOUS 753302 HAS SOUPS 753182 WITH SCORE 760867.465
AT ITER 5504 NEW BEST:: SOT 13854643 SOS 7685465 HAS SOPS 7685345 HAS SOUS 753301 HAS SOUPS 753181 WITH SCORE 760866.465
AT ITER 5534 NEW BEST:: SOT 13852599 SOS 7664450 HAS SOPS 7664330 HAS SOUS 752832 HAS SOUPS 752712 WITH SCORE 760376.45
AT ITER 5540 NEW BEST:: SOT 13849456 SOS 7661598 HAS SOPS 7661443 HAS SOUS 751717 HAS SOUPS 751562 WITH SCORE 759223.598
AT ITER 5558 NEW BEST:: SOT 13849456 SOS 7661564 HAS SOPS 7661409 HAS SOUS 751683 HAS SOUPS 751528 WITH SCORE 759189.564
AT ITER 5570 NEW BEST:: SOT 13849664 SOS 7662127 HAS SOPS 7661972 HAS SOUS 751659 HAS SOUPS 751504 WITH SCORE 759166.127
AT ITER 5574 NEW BEST:: SOT 13850883 SOS 7663454 HAS SOPS 7663299 HAS SOUS 750916 HAS SOUPS 750761 WITH SCORE 758424.454
AT ITER 5597 NEW BEST:: SOT 13850883 SOS 7663454 HAS SOPS 7663299 HAS SOUS 750821 HAS SOUPS 750666 WITH SCORE 758329.454
AT ITER 5620 NEW BEST:: SOT 13850851 SOS 7675086 HAS SOPS 7674931 HAS SOUS 750787 HAS SOUPS 750632 WITH SCORE 758307.086
AT ITER 5656 NEW BEST:: SOT 13850840 SOS 7675075 HAS SOPS 7674920 HAS SOUS 750765 HAS SOUPS 750610 WITH SCORE 758285.075
AT ITER 5681 NEW BEST:: SOT 13849953 SOS 7674188 HAS SOPS 7674033 HAS SOUS 748973 HAS SOUPS 748818 WITH SCORE 756492.188
AT ITER 5723 NEW BEST:: SOT 13849761 SOS 7673852 HAS SOPS 7673697 HAS SOUS 748925 HAS SOUPS 748770 WITH SCORE 756443.852
AT ITER 5729 NEW BEST:: SOT 13850641 SOS 7675952 HAS SOPS 7675819 HAS SOUS 745816 HAS SOUPS 745683 WITH SCORE 753358.952
AT ITER 5758 NEW BEST:: SOT 13850638 SOS 7675298 HAS SOPS 7675165 HAS SOUS 745790 HAS SOUPS 745657 WITH SCORE 753332.298
AT ITER 5766 NEW BEST:: SOT 13855020 SOS 7687168 HAS SOPS 7687035 HAS SOUS 742930 HAS SOUPS 742797 WITH SCORE 750484.168
AT ITER 5780 NEW BEST:: SOT 13854881 SOS 7687029 HAS SOPS 7686896 HAS SOUS 742819 HAS SOUPS 742686 WITH SCORE 750373.029
AT ITER 5850 NEW BEST:: SOT 13853280 SOS 7685428 HAS SOPS 7685295 HAS SOUS 741510 HAS SOUPS 741377 WITH SCORE 749062.428
AT ITER 5853 NEW BEST:: SOT 13850245 SOS 7682393 HAS SOPS 7682260 HAS SOUS 737794 HAS SOUPS 737661 WITH SCORE 745343.393
AT ITER 5854 NEW BEST:: SOT 13850245 SOS 7682393 HAS SOPS 7682260 HAS SOUS 737776 HAS SOUPS 737643 WITH SCORE 745325.393
AT ITER 5864 NEW BEST:: SOT 13850245 SOS 7682346 HAS SOPS 7682213 HAS SOUS 737729 HAS SOUPS 737596 WITH SCORE 745278.346
AT ITER 5873 NEW BEST:: SOT 13850245 SOS 7682240 HAS SOPS 7682107 HAS SOUS 737666 HAS SOUPS 737533 WITH SCORE 745215.24
AT ITER 5880 NEW BEST:: SOT 13850233 SOS 7681364 HAS SOPS 7681231 HAS SOUS 737630 HAS SOUPS 737497 WITH SCORE 745178.364
AT ITER 5954 NEW BEST:: SOT 13850233 SOS 7680608 HAS SOPS 7680475 HAS SOUS 737630 HAS SOUPS 737497 WITH SCORE 745177.608
AT ITER 5979 NEW BEST:: SOT 13850058 SOS 7680433 HAS SOPS 7680300 HAS SOUS 737471 HAS SOUPS 737338 WITH SCORE 745018.433
AT ITER 5984 NEW BEST:: SOT 13850058 SOS 7680430 HAS SOPS 7680297 HAS SOUS 737432 HAS SOUPS 737299 WITH SCORE 744979.43
AT ITER 6046 NEW BEST:: SOT 13850058 SOS 7680934 HAS SOPS 7680801 HAS SOUS 737288 HAS SOUPS 737155 WITH SCORE 744835.934
AT ITER 6064 NEW BEST:: SOT 13849473 SOS 7680815 HAS SOPS 7680601 HAS SOUS 736022 HAS SOUPS 735848 WITH SCORE 743528.815
AT ITER 6101 NEW BEST:: SOT 13850087 SOS 7682437 HAS SOPS 7682223 HAS SOUS 735586 HAS SOUPS 735412 WITH SCORE 743094.437
AT ITER 6105 NEW BEST:: SOT 13842419 SOS 7674769 HAS SOPS 7674555 HAS SOUS 733886 HAS SOUPS 733712 WITH SCORE 741386.769
AT ITER 6124 NEW BEST:: SOT 13842419 SOS 7674601 HAS SOPS 7674387 HAS SOUS 733886 HAS SOUPS 733712 WITH SCORE 741386.601
AT ITER 6137 NEW BEST:: SOT 13842395 SOS 7674577 HAS SOPS 7674363 HAS SOUS 733865 HAS SOUPS 733691 WITH SCORE 741365.577
AT ITER 6149 NEW BEST:: SOT 13842506 SOS 7674688 HAS SOPS 7674474 HAS SOUS 733823 HAS SOUPS 733649 WITH SCORE 741323.688
AT ITER 6150 NEW BEST:: SOT 13845918 SOS 7678085 HAS SOPS 7677871 HAS SOUS 733819 HAS SOUPS 733645 WITH SCORE 741323.085
AT ITER 6154 NEW BEST:: SOT 13840919 SOS 7672686 HAS SOPS 7672472 HAS SOUS 733234 HAS SOUPS 733060 WITH SCORE 740732.686
AT ITER 6167 NEW BEST:: SOT 13844302 SOS 7681593 HAS SOPS 7681379 HAS SOUS 731827 HAS SOUPS 731653 WITH SCORE 739334.593
AT ITER 6179 NEW BEST:: SOT 13844302 SOS 7681568 HAS SOPS 7681354 HAS SOUS 731802 HAS SOUPS 731628 WITH SCORE 739309.568
AT ITER 6215 NEW BEST:: SOT 13844302 SOS 7681112 HAS SOPS 7680898 HAS SOUS 731764 HAS SOUPS 731590 WITH SCORE 739271.112
AT ITER 6317 NEW BEST:: SOT 13844302 SOS 7681112 HAS SOPS 7680898 HAS SOUS 731761 HAS SOUPS 731587 WITH SCORE 739268.112
AT ITER 6350 NEW BEST:: SOT 13844277 SOS 7681087 HAS SOPS 7680873 HAS SOUS 731711 HAS SOUPS 731537 WITH SCORE 739218.087
AT ITER 6360 NEW BEST:: SOT 13842656 SOS 7679466 HAS SOPS 7679252 HAS SOUS 730324 HAS SOUPS 730150 WITH SCORE 737829.466
AT ITER 6371 NEW BEST:: SOT 13842702 SOS 7679512 HAS SOPS 7679298 HAS SOUS 730286 HAS SOUPS 730112 WITH SCORE 737791.512
AT ITER 6397 NEW BEST:: SOT 13842702 SOS 7679800 HAS SOPS 7679586 HAS SOUS 730237 HAS SOUPS 730063 WITH SCORE 737742.8
AT ITER 6401 NEW BEST:: SOT 13838258 SOS 7675356 HAS SOPS 7675142 HAS SOUS 728012 HAS SOUPS 727838 WITH SCORE 735513.356
AT ITER 6439 NEW BEST:: SOT 13838258 SOS 7675356 HAS SOPS 7675142 HAS SOUS 728006 HAS SOUPS 727832 WITH SCORE 735507.356
AT ITER 6440 NEW BEST:: SOT 13838243 SOS 7675341 HAS SOPS 7675127 HAS SOUS 727997 HAS SOUPS 727823 WITH SCORE 735498.341
AT ITER 6464 NEW BEST:: SOT 13839289 SOS 7680917 HAS SOPS 7680703 HAS SOUS 726466 HAS SOUPS 726292 WITH SCORE 733972.917
AT ITER 6483 NEW BEST:: SOT 13839289 SOS 7683296 HAS SOPS 7683082 HAS SOUS 726427 HAS SOUPS 726253 WITH SCORE 733936.296
AT ITER 6490 NEW BEST:: SOT 13839289 SOS 7683631 HAS SOPS 7683417 HAS SOUS 726382 HAS SOUPS 726208 WITH SCORE 733891.631
AT ITER 6513 NEW BEST:: SOT 13839289 SOS 7802783 HAS SOPS 7802569 HAS SOUS 726233 HAS SOUPS 726059 WITH SCORE 733861.783
AT ITER 6595 NEW BEST:: SOT 13839284 SOS 7802778 HAS SOPS 7802564 HAS SOUS 726216 HAS SOUPS 726042 WITH SCORE 733844.778
AT ITER 6605 NEW BEST:: SOT 13839242 SOS 7802736 HAS SOPS 7802522 HAS SOUS 726174 HAS SOUPS 726000 WITH SCORE 733802.736
AT ITER 6614 NEW BEST:: SOT 13839242 SOS 7800109 HAS SOPS 7799895 HAS SOUS 726174 HAS SOUPS 726000 WITH SCORE 733800.109
AT ITER 6671 NEW BEST:: SOT 13839322 SOS 7800197 HAS SOPS 7799983 HAS SOUS 725630 HAS SOUPS 725456 WITH SCORE 733256.197
AT ITER 6702 NEW BEST:: SOT 13839309 SOS 7800184 HAS SOPS 7799970 HAS SOUS 725617 HAS SOUPS 725443 WITH SCORE 733243.184
AT ITER 6703 NEW BEST:: SOT 13838937 SOS 7799659 HAS SOPS 7799449 HAS SOUS 724554 HAS SOUPS 724384 WITH SCORE 732183.659
AT ITER 6706 NEW BEST:: SOT 13838937 SOS 7799659 HAS SOPS 7799449 HAS SOUS 724438 HAS SOUPS 724268 WITH SCORE 732067.659
AT ITER 6708 NEW BEST:: SOT 13838666 SOS 7799388 HAS SOPS 7799178 HAS SOUS 724164 HAS SOUPS 723994 WITH SCORE 731793.388
AT ITER 6730 NEW BEST:: SOT 13838409 SOS 7799131 HAS SOPS 7798921 HAS SOUS 723908 HAS SOUPS 723738 WITH SCORE 731537.131
AT ITER 6742 NEW BEST:: SOT 13835827 SOS 7787837 HAS SOPS 7787627 HAS SOUS 723077 HAS SOUPS 722907 WITH SCORE 730694.837
AT ITER 6749 NEW BEST:: SOT 13833837 SOS 7785847 HAS SOPS 7785637 HAS SOUS 722653 HAS SOUPS 722483 WITH SCORE 730268.847
AT ITER 6757 NEW BEST:: SOT 13833832 SOS 7785842 HAS SOPS 7785632 HAS SOUS 722648 HAS SOUPS 722478 WITH SCORE 730263.842
AT ITER 6766 NEW BEST:: SOT 13833832 SOS 7781621 HAS SOPS 7781411 HAS SOUS 722416 HAS SOUPS 722246 WITH SCORE 730027.621
AT ITER 6786 NEW BEST:: SOT 13836150 SOS 7783678 HAS SOPS 7783499 HAS SOUS 719881 HAS SOUPS 719742 WITH SCORE 727525.678
AT ITER 6788 NEW BEST:: SOT 13836020 SOS 7783548 HAS SOPS 7783369 HAS SOUS 719807 HAS SOUPS 719668 WITH SCORE 727451.548
AT ITER 6797 NEW BEST:: SOT 13836020 SOS 7783548 HAS SOPS 7783369 HAS SOUS 719733 HAS SOUPS 719594 WITH SCORE 727377.548
AT ITER 6800 NEW BEST:: SOT 13836020 SOS 7788948 HAS SOPS 7788769 HAS SOUS 719651 HAS SOUPS 719512 WITH SCORE 727300.948
AT ITER 6808 NEW BEST:: SOT 13836015 SOS 7788943 HAS SOPS 7788764 HAS SOUS 719646 HAS SOUPS 719507 WITH SCORE 727295.943
AT ITER 6810 NEW BEST:: SOT 13837825 SOS 7810121 HAS SOPS 7809942 HAS SOUS 719004 HAS SOUPS 718865 WITH SCORE 726675.121
AT ITER 6814 NEW BEST:: SOT 13834913 SOS 7803537 HAS SOPS 7803358 HAS SOUS 718603 HAS SOUPS 718464 WITH SCORE 726267.537
AT ITER 6845 NEW BEST:: SOT 13834142 SOS 7802766 HAS SOPS 7802587 HAS SOUS 718145 HAS SOUPS 718006 WITH SCORE 725808.766
AT ITER 6856 NEW BEST:: SOT 13834094 SOS 7802718 HAS SOPS 7802539 HAS SOUS 718145 HAS SOUPS 718006 WITH SCORE 725808.718
AT ITER 6861 NEW BEST:: SOT 13835209 SOS 7805626 HAS SOPS 7805447 HAS SOUS 716696 HAS SOUPS 716557 WITH SCORE 724362.626
AT ITER 6876 NEW BEST:: SOT 13835209 SOS 7805626 HAS SOPS 7805447 HAS SOUS 716694 HAS SOUPS 716555 WITH SCORE 724360.626
AT ITER 6882 NEW BEST:: SOT 13835209 SOS 7826218 HAS SOPS 7826039 HAS SOUS 715373 HAS SOUPS 715234 WITH SCORE 723060.218
AT ITER 6890 NEW BEST:: SOT 13835227 SOS 7826236 HAS SOPS 7826057 HAS SOUS 715317 HAS SOUPS 715178 WITH SCORE 723004.236
AT ITER 6892 NEW BEST:: SOT 13834758 SOS 7825767 HAS SOPS 7825588 HAS SOUS 715059 HAS SOUPS 714920 WITH SCORE 722745.767
AT ITER 6906 NEW BEST:: SOT 13834712 SOS 7825727 HAS SOPS 7825548 HAS SOUS 714941 HAS SOUPS 714802 WITH SCORE 722627.727
AT ITER 6928 NEW BEST:: SOT 13833822 SOS 7824837 HAS SOPS 7824658 HAS SOUS 714178 HAS SOUPS 714039 WITH SCORE 721863.837
AT ITER 6980 NEW BEST:: SOT 13833782 SOS 7824797 HAS SOPS 7824618 HAS SOUS 714164 HAS SOUPS 714025 WITH SCORE 721849.797
AT ITER 6986 NEW BEST:: SOT 13833530 SOS 7824545 HAS SOPS 7824366 HAS SOUS 714076 HAS SOUPS 713937 WITH SCORE 721761.545
AT ITER 7017 NEW BEST:: SOT 13833480 SOS 7824495 HAS SOPS 7824316 HAS SOUS 712167 HAS SOUPS 712028 WITH SCORE 719852.495
AT ITER 7031 NEW BEST:: SOT 13833480 SOS 7821651 HAS SOPS 7821472 HAS SOUS 711988 HAS SOUPS 711849 WITH SCORE 719670.651
AT ITER 7047 NEW BEST:: SOT 13832940 SOS 7821111 HAS SOPS 7820932 HAS SOUS 710920 HAS SOUPS 710781 WITH SCORE 718602.111
AT ITER 7060 NEW BEST:: SOT 13832917 SOS 7821088 HAS SOPS 7820909 HAS SOUS 710859 HAS SOUPS 710720 WITH SCORE 718541.088
AT ITER 7103 NEW BEST:: SOT 13832917 SOS 7816948 HAS SOPS 7816769 HAS SOUS 710859 HAS SOUPS 710720 WITH SCORE 718536.948
AT ITER 7104 NEW BEST:: SOT 13832917 SOS 7816878 HAS SOPS 7816699 HAS SOUS 710815 HAS SOUPS 710676 WITH SCORE 718492.878
AT ITER 7107 NEW BEST:: SOT 13827684 SOS 7813271 HAS SOPS 7813092 HAS SOUS 708098 HAS SOUPS 707959 WITH SCORE 715772.271
AT ITER 7141 NEW BEST:: SOT 13827684 SOS 7813027 HAS SOPS 7812848 HAS SOUS 708098 HAS SOUPS 707959 WITH SCORE 715772.027
AT ITER 7148 NEW BEST:: SOT 13827684 SOS 7813027 HAS SOPS 7812848 HAS SOUS 707909 HAS SOUPS 707770 WITH SCORE 715583.027
AT ITER 7174 NEW BEST:: SOT 13827684 SOS 7813027 HAS SOPS 7812848 HAS SOUS 707903 HAS SOUPS 707764 WITH SCORE 715577.027
AT ITER 7180 NEW BEST:: SOT 13827964 SOS 8119502 HAS SOPS 8119363 HAS SOUS 707043 HAS SOUPS 706904 WITH SCORE 715023.502
AT ITER 7196 NEW BEST:: SOT 13827964 SOS 8119502 HAS SOPS 8119363 HAS SOUS 706995 HAS SOUPS 706856 WITH SCORE 714975.502
AT ITER 7224 NEW BEST:: SOT 13827964 SOS 8119502 HAS SOPS 8119363 HAS SOUS 706992 HAS SOUPS 706853 WITH SCORE 714972.502
AT ITER 7226 NEW BEST:: SOT 13828734 SOS 8120272 HAS SOPS 8120133 HAS SOUS 706590 HAS SOUPS 706451 WITH SCORE 714571.272
AT ITER 7271 NEW BEST:: SOT 13827799 SOS 8119337 HAS SOPS 8119198 HAS SOUS 704697 HAS SOUPS 704558 WITH SCORE 712677.337
AT ITER 7292 NEW BEST:: SOT 13827763 SOS 8119213 HAS SOPS 8119078 HAS SOUS 704439 HAS SOUPS 704304 WITH SCORE 712423.213
AT ITER 7319 NEW BEST:: SOT 13823299 SOS 8114749 HAS SOPS 8114614 HAS SOUS 700018 HAS SOUPS 699883 WITH SCORE 707997.749
AT ITER 7380 NEW BEST:: SOT 13824540 SOS 8115990 HAS SOPS 8115855 HAS SOUS 699956 HAS SOUPS 699821 WITH SCORE 707936.99
AT ITER 7396 NEW BEST:: SOT 13824531 SOS 8115981 HAS SOPS 8115846 HAS SOUS 699929 HAS SOUPS 699794 WITH SCORE 707909.981
AT ITER 7412 NEW BEST:: SOT 13820670 SOS 8099488 HAS SOPS 8099353 HAS SOUS 699064 HAS SOUPS 698929 WITH SCORE 707028.488
AT ITER 7425 NEW BEST:: SOT 13820669 SOS 8099487 HAS SOPS 8099352 HAS SOUS 699063 HAS SOUPS 698928 WITH SCORE 707027.487
AT ITER 7430 NEW BEST:: SOT 13820620 SOS 8099438 HAS SOPS 8099303 HAS SOUS 699014 HAS SOUPS 698879 WITH SCORE 706978.438
AT ITER 7462 NEW BEST:: SOT 13822564 SOS 8104118 HAS SOPS 8103983 HAS SOUS 698279 HAS SOUPS 698144 WITH SCORE 706248.118
AT ITER 7467 NEW BEST:: SOT 13822504 SOS 8104058 HAS SOPS 8103923 HAS SOUS 698193 HAS SOUPS 698058 WITH SCORE 706162.058
AT ITER 7524 NEW BEST:: SOT 13822480 SOS 8104034 HAS SOPS 8103899 HAS SOUS 698140 HAS SOUPS 698005 WITH SCORE 706109.034
AT ITER 7530 NEW BEST:: SOT 13822480 SOS 8104034 HAS SOPS 8103899 HAS SOUS 698078 HAS SOUPS 697943 WITH SCORE 706047.034
AT ITER 7536 NEW BEST:: SOT 13821098 SOS 8102668 HAS SOPS 8102533 HAS SOUS 694851 HAS SOUPS 694716 WITH SCORE 702818.668
AT ITER 7537 NEW BEST:: SOT 13820372 SOS 8101942 HAS SOPS 8101807 HAS SOUS 694274 HAS SOUPS 694139 WITH SCORE 702240.942
AT ITER 7551 NEW BEST:: SOT 13821775 SOS 8103345 HAS SOPS 8103210 HAS SOUS 692895 HAS SOUPS 692760 WITH SCORE 700863.345
AT ITER 7609 NEW BEST:: SOT 13821775 SOS 8102597 HAS SOPS 8102462 HAS SOUS 692895 HAS SOUPS 692760 WITH SCORE 700862.597
AT ITER 7626 NEW BEST:: SOT 13820365 SOS 8101187 HAS SOPS 8101052 HAS SOUS 691683 HAS SOUPS 691548 WITH SCORE 699649.187
AT ITER 7658 NEW BEST:: SOT 13820365 SOS 8102874 HAS SOPS 8102739 HAS SOUS 691669 HAS SOUPS 691534 WITH SCORE 699636.874
AT ITER 7660 NEW BEST:: SOT 13819568 SOS 8102077 HAS SOPS 8101942 HAS SOUS 691578 HAS SOUPS 691443 WITH SCORE 699545.077
AT ITER 7683 NEW BEST:: SOT 13819568 SOS 8099617 HAS SOPS 8099482 HAS SOUS 691373 HAS SOUPS 691238 WITH SCORE 699337.617
AT ITER 7723 NEW BEST:: SOT 13819568 SOS 8093209 HAS SOPS 8093074 HAS SOUS 691373 HAS SOUPS 691238 WITH SCORE 699331.209
AT ITER 7725 NEW BEST:: SOT 13819526 SOS 8093167 HAS SOPS 8093032 HAS SOUS 691229 HAS SOUPS 691094 WITH SCORE 699187.167
AT ITER 7729 NEW BEST:: SOT 13819526 SOS 8092381 HAS SOPS 8092246 HAS SOUS 691229 HAS SOUPS 691094 WITH SCORE 699186.381
AT ITER 7735 NEW BEST:: SOT 13817902 SOS 8090757 HAS SOPS 8090622 HAS SOUS 689723 HAS SOUPS 689588 WITH SCORE 697678.757
AT ITER 7748 NEW BEST:: SOT 13817902 SOS 8094938 HAS SOPS 8094803 HAS SOUS 689715 HAS SOUPS 689580 WITH SCORE 697674.938
AT ITER 7782 NEW BEST:: SOT 13817977 SOS 8095013 HAS SOPS 8094878 HAS SOUS 689680 HAS SOUPS 689545 WITH SCORE 697640.013
AT ITER 7800 NEW BEST:: SOT 13817977 SOS 8094974 HAS SOPS 8094839 HAS SOUS 689602 HAS SOUPS 689467 WITH SCORE 697561.974
AT ITER 7856 NEW BEST:: SOT 13817971 SOS 8094968 HAS SOPS 8094833 HAS SOUS 689584 HAS SOUPS 689449 WITH SCORE 697543.968
AT ITER 7866 NEW BEST:: SOT 13817836 SOS 8094833 HAS SOPS 8094698 HAS SOUS 689498 HAS SOUPS 689363 WITH SCORE 697457.833
AT ITER 7870 NEW BEST:: SOT 13818849 SOS 8095352 HAS SOPS 8095278 HAS SOUS 685028 HAS SOUPS 684954 WITH SCORE 693049.352
AT ITER 7875 NEW BEST:: SOT 13818712 SOS 8095215 HAS SOPS 8095141 HAS SOUS 684746 HAS SOUPS 684672 WITH SCORE 692767.215
AT ITER 7877 NEW BEST:: SOT 13818712 SOS 8095095 HAS SOPS 8095021 HAS SOUS 684746 HAS SOUPS 684672 WITH SCORE 692767.095
AT ITER 7917 NEW BEST:: SOT 13814579 SOS 8090962 HAS SOPS 8090888 HAS SOUS 684078 HAS SOUPS 684004 WITH SCORE 692094.962
AT ITER 7937 NEW BEST:: SOT 13814579 SOS 8086714 HAS SOPS 8086640 HAS SOUS 684019 HAS SOUPS 683945 WITH SCORE 692031.714
AT ITER 7973 NEW BEST:: SOT 13814515 SOS 8086650 HAS SOPS 8086576 HAS SOUS 683931 HAS SOUPS 683857 WITH SCORE 691943.65
AT ITER 7981 NEW BEST:: SOT 13815204 SOS 8087281 HAS SOPS 8087207 HAS SOUS 683898 HAS SOUPS 683824 WITH SCORE 691911.281
AT ITER 8010 NEW BEST:: SOT 13815418 SOS 8087495 HAS SOPS 8087421 HAS SOUS 683789 HAS SOUPS 683715 WITH SCORE 691802.495
AT ITER 8017 NEW BEST:: SOT 13815409 SOS 8087486 HAS SOPS 8087412 HAS SOUS 683780 HAS SOUPS 683706 WITH SCORE 691793.486
AT ITER 8024 NEW BEST:: SOT 13815405 SOS 8087468 HAS SOPS 8087394 HAS SOUS 683729 HAS SOUPS 683655 WITH SCORE 691742.468
AT ITER 8033 NEW BEST:: SOT 13815405 SOS 8083148 HAS SOPS 8083074 HAS SOUS 683662 HAS SOUPS 683588 WITH SCORE 691671.148
AT ITER 8049 NEW BEST:: SOT 13815405 SOS 8083091 HAS SOPS 8083017 HAS SOUS 683605 HAS SOUPS 683531 WITH SCORE 691614.091
AT ITER 8064 NEW BEST:: SOT 13816820 SOS 8084506 HAS SOPS 8084432 HAS SOUS 683125 HAS SOUPS 683051 WITH SCORE 691135.506
AT ITER 8073 NEW BEST:: SOT 13814742 SOS 8082428 HAS SOPS 8082354 HAS SOUS 681607 HAS SOUPS 681533 WITH SCORE 689615.428
AT ITER 8097 NEW BEST:: SOT 13814413 SOS 8082099 HAS SOPS 8082025 HAS SOUS 681355 HAS SOUPS 681281 WITH SCORE 689363.099
AT ITER 8107 NEW BEST:: SOT 13814388 SOS 8082074 HAS SOPS 8082000 HAS SOUS 681330 HAS SOUPS 681256 WITH SCORE 689338.074
AT ITER 8116 NEW BEST:: SOT 13814328 SOS 8082014 HAS SOPS 8081940 HAS SOUS 681218 HAS SOUPS 681144 WITH SCORE 689226.014
AT ITER 8118 NEW BEST:: SOT 13814521 SOS 8082207 HAS SOPS 8082133 HAS SOUS 680323 HAS SOUPS 680249 WITH SCORE 688331.207
AT ITER 8185 NEW BEST:: SOT 13814668 SOS 8082354 HAS SOPS 8082280 HAS SOUS 680311 HAS SOUPS 680237 WITH SCORE 688319.354
AT ITER 8214 NEW BEST:: SOT 13814660 SOS 8082346 HAS SOPS 8082272 HAS SOUS 680311 HAS SOUPS 680237 WITH SCORE 688319.346
AT ITER 8235 NEW BEST:: SOT 13812039 SOS 8079725 HAS SOPS 8079651 HAS SOUS 677902 HAS SOUPS 677828 WITH SCORE 685907.725
AT ITER 8239 NEW BEST:: SOT 13812039 SOS 8085125 HAS SOPS 8085051 HAS SOUS 677307 HAS SOUPS 677233 WITH SCORE 685318.125
AT ITER 8260 NEW BEST:: SOT 13811850 SOS 8084936 HAS SOPS 8084862 HAS SOUS 677127 HAS SOUPS 677053 WITH SCORE 685137.936
AT ITER 8267 NEW BEST:: SOT 13810407 SOS 8083493 HAS SOPS 8083419 HAS SOUS 676730 HAS SOUPS 676656 WITH SCORE 684739.493
AT ITER 8289 NEW BEST:: SOT 13810540 SOS 8083619 HAS SOPS 8083545 HAS SOUS 674518 HAS SOUPS 674444 WITH SCORE 682527.619
AT ITER 8314 NEW BEST:: SOT 13810244 SOS 8101755 HAS SOPS 8101681 HAS SOUS 671725 HAS SOUPS 671651 WITH SCORE 679752.755
AT ITER 8318 NEW BEST:: SOT 13808648 SOS 8100159 HAS SOPS 8100085 HAS SOUS 670839 HAS SOUPS 670765 WITH SCORE 678865.159
AT ITER 8322 NEW BEST:: SOT 13808648 SOS 8099879 HAS SOPS 8099805 HAS SOUS 670839 HAS SOUPS 670765 WITH SCORE 678864.879
AT ITER 8336 NEW BEST:: SOT 13809858 SOS 8101089 HAS SOPS 8101015 HAS SOUS 667867 HAS SOUPS 667793 WITH SCORE 675894.089
AT ITER 8349 NEW BEST:: SOT 13809608 SOS 8100839 HAS SOPS 8100765 HAS SOUS 667667 HAS SOUPS 667593 WITH SCORE 675693.839
AT ITER 8363 NEW BEST:: SOT 13809634 SOS 8100865 HAS SOPS 8100791 HAS SOUS 667525 HAS SOUPS 667451 WITH SCORE 675551.865
AT ITER 8365 NEW BEST:: SOT 13809634 SOS 8100791 HAS SOPS 8100717 HAS SOUS 667479 HAS SOUPS 667405 WITH SCORE 675505.791
AT ITER 8381 NEW BEST:: SOT 13809843 SOS 8100889 HAS SOPS 8100815 HAS SOUS 667478 HAS SOUPS 667404 WITH SCORE 675504.889
AT ITER 8420 NEW BEST:: SOT 13808008 SOS 8099054 HAS SOPS 8098980 HAS SOUS 665759 HAS SOUPS 665685 WITH SCORE 673784.054
AT ITER 8445 NEW BEST:: SOT 13806945 SOS 8097991 HAS SOPS 8097917 HAS SOUS 663645 HAS SOUPS 663571 WITH SCORE 671668.991
AT ITER 8453 NEW BEST:: SOT 13807020 SOS 8096237 HAS SOPS 8096163 HAS SOUS 663474 HAS SOUPS 663400 WITH SCORE 671496.237
AT ITER 8463 NEW BEST:: SOT 13805854 SOS 8096606 HAS SOPS 8096532 HAS SOUS 662710 HAS SOUPS 662636 WITH SCORE 670732.606
AT ITER 8483 NEW BEST:: SOT 13803681 SOS 8094433 HAS SOPS 8094359 HAS SOUS 660917 HAS SOUPS 660843 WITH SCORE 668937.433
AT ITER 8526 NEW BEST:: SOT 13803681 SOS 8092261 HAS SOPS 8092187 HAS SOUS 660917 HAS SOUPS 660843 WITH SCORE 668935.261
AT ITER 8614 NEW BEST:: SOT 13803606 SOS 8092186 HAS SOPS 8092112 HAS SOUS 660892 HAS SOUPS 660818 WITH SCORE 668910.186
AT ITER 8672 NEW BEST:: SOT 13803606 SOS 8090674 HAS SOPS 8090600 HAS SOUS 660892 HAS SOUPS 660818 WITH SCORE 668908.674
AT ITER 8677 NEW BEST:: SOT 13803792 SOS 8133534 HAS SOPS 8133460 HAS SOUS 660672 HAS SOUPS 660598 WITH SCORE 668731.534
AT ITER 8684 NEW BEST:: SOT 13803792 SOS 8133521 HAS SOPS 8133447 HAS SOUS 660672 HAS SOUPS 660598 WITH SCORE 668731.521
AT ITER 8688 NEW BEST:: SOT 13803664 SOS 8196705 HAS SOPS 8196631 HAS SOUS 660442 HAS SOUPS 660368 WITH SCORE 668564.705
AT ITER 8691 NEW BEST:: SOT 13801713 SOS 8194770 HAS SOPS 8194696 HAS SOUS 659829 HAS SOUPS 659755 WITH SCORE 667949.77
AT ITER 8702 NEW BEST:: SOT 13801691 SOS 8194748 HAS SOPS 8194674 HAS SOUS 659807 HAS SOUPS 659733 WITH SCORE 667927.748
AT ITER 8730 NEW BEST:: SOT 13794399 SOS 7780957 HAS SOPS 7780854 HAS SOUS 659569 HAS SOUPS 659491 WITH SCORE 667271.957
AT ITER 8732 NEW BEST:: SOT 13794399 SOS 7780309 HAS SOPS 7780206 HAS SOUS 659569 HAS SOUPS 659491 WITH SCORE 667271.309
AT ITER 8734 NEW BEST:: SOT 13794400 SOS 7780310 HAS SOPS 7780207 HAS SOUS 659552 HAS SOUPS 659474 WITH SCORE 667254.31
AT ITER 8742 NEW BEST:: SOT 13794400 SOS 7779913 HAS SOPS 7779810 HAS SOUS 659497 HAS SOUPS 659419 WITH SCORE 667198.913
AT ITER 8763 NEW BEST:: SOT 13794400 SOS 7779887 HAS SOPS 7779784 HAS SOUS 659497 HAS SOUPS 659419 WITH SCORE 667198.887
AT ITER 8798 NEW BEST:: SOT 13795766 SOS 7781253 HAS SOPS 7781150 HAS SOUS 659344 HAS SOUPS 659266 WITH SCORE 667047.253
AT ITER 8803 NEW BEST:: SOT 13794320 SOS 7779807 HAS SOPS 7779704 HAS SOUS 652143 HAS SOUPS 652065 WITH SCORE 659844.807
AT ITER 8838 NEW BEST:: SOT 13794319 SOS 7779806 HAS SOPS 7779703 HAS SOUS 652142 HAS SOUPS 652064 WITH SCORE 659843.806
AT ITER 8863 NEW BEST:: SOT 13794319 SOS 7779687 HAS SOPS 7779584 HAS SOUS 652092 HAS SOUPS 652014 WITH SCORE 659793.687
AT ITER 8877 NEW BEST:: SOT 13794319 SOS 7779687 HAS SOPS 7779584 HAS SOUS 652080 HAS SOUPS 652002 WITH SCORE 659781.687
AT ITER 8900 NEW BEST:: SOT 13795449 SOS 7780817 HAS SOPS 7780714 HAS SOUS 651740 HAS SOUPS 651662 WITH SCORE 659442.817
AT ITER 8913 NEW BEST:: SOT 13795449 SOS 7780733 HAS SOPS 7780660 HAS SOUS 651110 HAS SOUPS 651047 WITH SCORE 658827.733
AT ITER 8930 NEW BEST:: SOT 13795449 SOS 7780733 HAS SOPS 7780660 HAS SOUS 651105 HAS SOUPS 651042 WITH SCORE 658822.733
AT ITER 8938 NEW BEST:: SOT 13795390 SOS 7780674 HAS SOPS 7780601 HAS SOUS 651057 HAS SOUPS 650994 WITH SCORE 658774.674
AT ITER 8965 NEW BEST:: SOT 13795387 SOS 7780671 HAS SOPS 7780598 HAS SOUS 651054 HAS SOUPS 650991 WITH SCORE 658771.671
AT ITER 8982 NEW BEST:: SOT 13795387 SOS 7779159 HAS SOPS 7779086 HAS SOUS 651054 HAS SOUPS 650991 WITH SCORE 658770.159
AT ITER 9069 NEW BEST:: SOT 13795721 SOS 7779493 HAS SOPS 7779420 HAS SOUS 650866 HAS SOUPS 650803 WITH SCORE 658582.493
AT ITER 9072 NEW BEST:: SOT 13795721 SOS 7779349 HAS SOPS 7779276 HAS SOUS 650866 HAS SOUPS 650803 WITH SCORE 658582.349
AT ITER 9084 NEW BEST:: SOT 13795721 SOS 7786621 HAS SOPS 7786548 HAS SOUS 650587 HAS SOUPS 650524 WITH SCORE 658310.621
AT ITER 9113 NEW BEST:: SOT 13795710 SOS 7786610 HAS SOPS 7786537 HAS SOUS 650557 HAS SOUPS 650494 WITH SCORE 658280.61
AT ITER 9129 NEW BEST:: SOT 13795709 SOS 7786609 HAS SOPS 7786536 HAS SOUS 650557 HAS SOUPS 650494 WITH SCORE 658280.609
AT ITER 9155 NEW BEST:: SOT 13795709 SOS 7785529 HAS SOPS 7785456 HAS SOUS 650557 HAS SOUPS 650494 WITH SCORE 658279.529
AT ITER 9159 NEW BEST:: SOT 13795709 SOS 7785109 HAS SOPS 7785036 HAS SOUS 650542 HAS SOUPS 650479 WITH SCORE 658264.109
AT ITER 9180 NEW BEST:: SOT 13795646 SOS 7785046 HAS SOPS 7784973 HAS SOUS 650467 HAS SOUPS 650404 WITH SCORE 658189.046
AT ITER 9212 NEW BEST:: SOT 13792868 SOS 7801661 HAS SOPS 7801588 HAS SOUS 647472 HAS SOUPS 647409 WITH SCORE 655210.661
AT ITER 9239 NEW BEST:: SOT 13792868 SOS 7821389 HAS SOPS 7821316 HAS SOUS 646703 HAS SOUPS 646640 WITH SCORE 654461.389
AT ITER 9247 NEW BEST:: SOT 13793139 SOS 7821882 HAS SOPS 7821809 HAS SOUS 645485 HAS SOUPS 645422 WITH SCORE 653243.882
AT ITER 9267 NEW BEST:: SOT 13792949 SOS 7821692 HAS SOPS 7821619 HAS SOUS 645311 HAS SOUPS 645248 WITH SCORE 653069.692
AT ITER 9286 NEW BEST:: SOT 13792949 SOS 7821692 HAS SOPS 7821619 HAS SOUS 645301 HAS SOUPS 645238 WITH SCORE 653059.692
AT ITER 9292 NEW BEST:: SOT 13792949 SOS 7816580 HAS SOPS 7816507 HAS SOUS 645301 HAS SOUPS 645238 WITH SCORE 653054.58
AT ITER 9309 NEW BEST:: SOT 13792949 SOS 7815356 HAS SOPS 7815283 HAS SOUS 645301 HAS SOUPS 645238 WITH SCORE 653053.356
AT ITER 9317 NEW BEST:: SOT 13792937 SOS 7815344 HAS SOPS 7815271 HAS SOUS 645289 HAS SOUPS 645226 WITH SCORE 653041.344
AT ITER 9348 NEW BEST:: SOT 13792925 SOS 7815332 HAS SOPS 7815259 HAS SOUS 645279 HAS SOUPS 645216 WITH SCORE 653031.332
AT ITER 9361 NEW BEST:: SOT 13792925 SOS 7811660 HAS SOPS 7811587 HAS SOUS 645279 HAS SOUPS 645216 WITH SCORE 653027.66
AT ITER 9410 NEW BEST:: SOT 13792925 SOS 7808104 HAS SOPS 7808031 HAS SOUS 645279 HAS SOUPS 645216 WITH SCORE 653024.104
AT ITER 9450 NEW BEST:: SOT 13792755 SOS 7807934 HAS SOPS 7807861 HAS SOUS 644935 HAS SOUPS 644872 WITH SCORE 652679.934
AT ITER 9453 NEW BEST:: SOT 13792261 SOS 7807440 HAS SOPS 7807367 HAS SOUS 644458 HAS SOUPS 644395 WITH SCORE 652202.44
AT ITER 9477 NEW BEST:: SOT 13791993 SOS 7807172 HAS SOPS 7807099 HAS SOUS 644342 HAS SOUPS 644279 WITH SCORE 652086.172
AT ITER 9540 NEW BEST:: SOT 13789588 SOS 7804767 HAS SOPS 7804694 HAS SOUS 643570 HAS SOUPS 643507 WITH SCORE 651311.767
AT ITER 9556 NEW BEST:: SOT 13789588 SOS 7806414 HAS SOPS 7806341 HAS SOUS 643523 HAS SOUPS 643460 WITH SCORE 651266.414
AT ITER 9579 NEW BEST:: SOT 13789615 SOS 7806427 HAS SOPS 7806354 HAS SOUS 643467 HAS SOUPS 643404 WITH SCORE 651210.427
AT ITER 9612 NEW BEST:: SOT 13789127 SOS 7813537 HAS SOPS 7813464 HAS SOUS 643089 HAS SOUPS 643026 WITH SCORE 650839.537
AT ITER 9631 NEW BEST:: SOT 13789055 SOS 7809575 HAS SOPS 7809502 HAS SOUS 643014 HAS SOUPS 642951 WITH SCORE 650760.575
AT ITER 9644 NEW BEST:: SOT 13789387 SOS 7809913 HAS SOPS 7809840 HAS SOUS 642980 HAS SOUPS 642917 WITH SCORE 650726.913
AT ITER 9646 NEW BEST:: SOT 13788818 SOS 7808696 HAS SOPS 7808623 HAS SOUS 642835 HAS SOUPS 642772 WITH SCORE 650580.696
AT ITER 9677 NEW BEST:: SOT 13788818 SOS 7807410 HAS SOPS 7807337 HAS SOUS 642787 HAS SOUPS 642724 WITH SCORE 650531.41
AT ITER 9685 NEW BEST:: SOT 13787632 SOS 7806262 HAS SOPS 7806189 HAS SOUS 640429 HAS SOUPS 640366 WITH SCORE 648172.262
AT ITER 9686 NEW BEST:: SOT 13787632 SOS 7805902 HAS SOPS 7805829 HAS SOUS 640429 HAS SOUPS 640366 WITH SCORE 648171.902
AT ITER 9695 NEW BEST:: SOT 13786343 SOS 7804613 HAS SOPS 7804540 HAS SOUS 639275 HAS SOUPS 639212 WITH SCORE 647016.613
AT ITER 9704 NEW BEST:: SOT 13786319 SOS 7804589 HAS SOPS 7804516 HAS SOUS 639247 HAS SOUPS 639184 WITH SCORE 646988.589
AT ITER 9760 NEW BEST:: SOT 13786319 SOS 7800739 HAS SOPS 7800666 HAS SOUS 639247 HAS SOUPS 639184 WITH SCORE 646984.739
AT ITER 9796 NEW BEST:: SOT 13786437 SOS 7801432 HAS SOPS 7801335 HAS SOUS 639132 HAS SOUPS 639057 WITH SCORE 646858.432
AT ITER 9822 NEW BEST:: SOT 13786116 SOS 7801111 HAS SOPS 7801014 HAS SOUS 638484 HAS SOUPS 638409 WITH SCORE 646210.111
AT ITER 9837 NEW BEST:: SOT 13786116 SOS 7801111 HAS SOPS 7801014 HAS SOUS 638433 HAS SOUPS 638358 WITH SCORE 646159.111
AT ITER 9957 NEW BEST:: SOT 13786093 SOS 7801088 HAS SOPS 7800991 HAS SOUS 638410 HAS SOUPS 638335 WITH SCORE 646136.088
AT ITER 9960 NEW BEST:: SOT 13786332 SOS 7801308 HAS SOPS 7801211 HAS SOUS 638218 HAS SOUPS 638143 WITH SCORE 645944.308
AT ITER 9967 NEW BEST:: SOT 13787777 SOS 7809294 HAS SOPS 7809223 HAS SOUS 637477 HAS SOUPS 637406 WITH SCORE 645215.294
AT ITER 9971 NEW BEST:: SOT 13791926 SOS 7813443 HAS SOPS 7813372 HAS SOUS 636447 HAS SOUPS 636376 WITH SCORE 644189.443
AT ITER 9979 NEW BEST:: SOT 13792567 SOS 7814105 HAS SOPS 7814034 HAS SOUS 635784 HAS SOUPS 635713 WITH SCORE 643527.105
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14381916 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16125476 kB

BK_TIME_CONFINEMENT_REACHED

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

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="BugTracking-PT-q3m002"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is BugTracking-PT-q3m002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688000328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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