Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.5K Feb 26 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 13:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 13:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 26 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.4M 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 1678471817617

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=ASLink-PT-10b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 10b
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: 4410 places, 5405 transitions, 16377 arcs.
AT ITER 0 NEW BEST:: SOT 12534095 SOS 1884602 HAS SOPS 1884602 HAS SOUS 1530000 HAS SOUPS 1530000 WITH SCORE 1531884.602
AT ITER 13 NEW BEST:: SOT 12533114 SOS 1886234 HAS SOPS 1886234 HAS SOUS 1529711 HAS SOUPS 1529711 WITH SCORE 1531597.234
AT ITER 19 NEW BEST:: SOT 12532726 SOS 1886039 HAS SOPS 1886039 HAS SOUS 1529516 HAS SOUPS 1529516 WITH SCORE 1531402.039
AT ITER 23 NEW BEST:: SOT 12532419 SOS 1885732 HAS SOPS 1885732 HAS SOUS 1529209 HAS SOUPS 1529209 WITH SCORE 1531094.732
AT ITER 24 NEW BEST:: SOT 12532396 SOS 1885666 HAS SOPS 1885666 HAS SOUS 1529140 HAS SOUPS 1529140 WITH SCORE 1531025.666
AT ITER 28 NEW BEST:: SOT 12532342 SOS 1884995 HAS SOPS 1884995 HAS SOUS 1529077 HAS SOUPS 1529077 WITH SCORE 1530961.995
AT ITER 36 NEW BEST:: SOT 12532178 SOS 1884667 HAS SOPS 1884667 HAS SOUS 1528662 HAS SOUPS 1528662 WITH SCORE 1530546.667
AT ITER 49 NEW BEST:: SOT 12531801 SOS 1884290 HAS SOPS 1884290 HAS SOUS 1528285 HAS SOUPS 1528285 WITH SCORE 1530169.29
AT ITER 77 NEW BEST:: SOT 12531801 SOS 1884246 HAS SOPS 1884246 HAS SOUS 1528241 HAS SOUPS 1528241 WITH SCORE 1530125.246
AT ITER 87 NEW BEST:: SOT 12531809 SOS 1884217 HAS SOPS 1884217 HAS SOUS 1528212 HAS SOUPS 1528212 WITH SCORE 1530096.217
AT ITER 94 NEW BEST:: SOT 12531403 SOS 1883869 HAS SOPS 1883869 HAS SOUS 1527864 HAS SOUPS 1527864 WITH SCORE 1529747.869
AT ITER 118 NEW BEST:: SOT 12530939 SOS 1883511 HAS SOPS 1883511 HAS SOUS 1527505 HAS SOUPS 1527505 WITH SCORE 1529388.511
AT ITER 143 NEW BEST:: SOT 12530630 SOS 1883174 HAS SOPS 1883174 HAS SOUS 1527196 HAS SOUPS 1527196 WITH SCORE 1529079.174
AT ITER 161 NEW BEST:: SOT 12530155 SOS 1882698 HAS SOPS 1882698 HAS SOUS 1526720 HAS SOUPS 1526720 WITH SCORE 1528602.698
AT ITER 171 NEW BEST:: SOT 12530071 SOS 1882215 HAS SOPS 1882215 HAS SOUS 1526551 HAS SOUPS 1526551 WITH SCORE 1528433.215
AT ITER 197 NEW BEST:: SOT 12529783 SOS 1881923 HAS SOPS 1881923 HAS SOUS 1526254 HAS SOUPS 1526254 WITH SCORE 1528135.923
AT ITER 198 NEW BEST:: SOT 12529525 SOS 1881824 HAS SOPS 1881824 HAS SOUS 1526152 HAS SOUPS 1526152 WITH SCORE 1528033.824
AT ITER 207 NEW BEST:: SOT 12529525 SOS 1881599 HAS SOPS 1881599 HAS SOUS 1525927 HAS SOUPS 1525927 WITH SCORE 1527808.599
AT ITER 220 NEW BEST:: SOT 12529456 SOS 1881527 HAS SOPS 1881527 HAS SOUS 1525922 HAS SOUPS 1525922 WITH SCORE 1527803.527
AT ITER 230 NEW BEST:: SOT 12529366 SOS 1881437 HAS SOPS 1881437 HAS SOUS 1525742 HAS SOUPS 1525742 WITH SCORE 1527623.437
AT ITER 255 NEW BEST:: SOT 12529050 SOS 1881105 HAS SOPS 1881105 HAS SOUS 1525410 HAS SOUPS 1525410 WITH SCORE 1527291.105
AT ITER 323 NEW BEST:: SOT 12528462 SOS 1881144 HAS SOPS 1881144 HAS SOUS 1525123 HAS SOUPS 1525123 WITH SCORE 1527004.144
AT ITER 344 NEW BEST:: SOT 12527570 SOS 1880029 HAS SOPS 1880029 HAS SOUS 1524008 HAS SOUPS 1524008 WITH SCORE 1525888.029
AT ITER 359 NEW BEST:: SOT 12527500 SOS 1879941 HAS SOPS 1879941 HAS SOUS 1523990 HAS SOUPS 1523990 WITH SCORE 1525869.941
AT ITER 381 NEW BEST:: SOT 12527019 SOS 1879511 HAS SOPS 1879511 HAS SOUS 1523526 HAS SOUPS 1523526 WITH SCORE 1525405.511
AT ITER 419 NEW BEST:: SOT 12526983 SOS 1879270 HAS SOPS 1879270 HAS SOUS 1523490 HAS SOUPS 1523490 WITH SCORE 1525369.27
AT ITER 433 NEW BEST:: SOT 12526982 SOS 1879268 HAS SOPS 1879268 HAS SOUS 1523488 HAS SOUPS 1523488 WITH SCORE 1525367.268
AT ITER 471 NEW BEST:: SOT 12526570 SOS 1878867 HAS SOPS 1878867 HAS SOUS 1523087 HAS SOUPS 1523087 WITH SCORE 1524965.867
AT ITER 475 NEW BEST:: SOT 12526508 SOS 1878515 HAS SOPS 1878515 HAS SOUS 1522921 HAS SOUPS 1522921 WITH SCORE 1524799.515
AT ITER 492 NEW BEST:: SOT 12526507 SOS 1878364 HAS SOPS 1878364 HAS SOUS 1522770 HAS SOUPS 1522770 WITH SCORE 1524648.364
AT ITER 510 NEW BEST:: SOT 12524701 SOS 1881214 HAS SOPS 1881214 HAS SOUS 1521567 HAS SOUPS 1521567 WITH SCORE 1523448.214
AT ITER 514 NEW BEST:: SOT 12524693 SOS 1881198 HAS SOPS 1881198 HAS SOUS 1521551 HAS SOUPS 1521551 WITH SCORE 1523432.198
AT ITER 525 NEW BEST:: SOT 12524554 SOS 1880920 HAS SOPS 1880920 HAS SOUS 1521412 HAS SOUPS 1521412 WITH SCORE 1523292.92
AT ITER 561 NEW BEST:: SOT 12524438 SOS 1880803 HAS SOPS 1880803 HAS SOUS 1521295 HAS SOUPS 1521295 WITH SCORE 1523175.803
AT ITER 576 NEW BEST:: SOT 12524248 SOS 1880546 HAS SOPS 1880546 HAS SOUS 1521014 HAS SOUPS 1521014 WITH SCORE 1522894.546
AT ITER 586 NEW BEST:: SOT 12524243 SOS 1880536 HAS SOPS 1880536 HAS SOUS 1521004 HAS SOUPS 1521004 WITH SCORE 1522884.536
AT ITER 600 NEW BEST:: SOT 12524243 SOS 1881995 HAS SOPS 1881995 HAS SOUS 1520972 HAS SOUPS 1520972 WITH SCORE 1522853.995
AT ITER 616 NEW BEST:: SOT 12524243 SOS 1881890 HAS SOPS 1881890 HAS SOUS 1520887 HAS SOUPS 1520887 WITH SCORE 1522768.89
AT ITER 682 NEW BEST:: SOT 12524090 SOS 1881518 HAS SOPS 1881518 HAS SOUS 1520515 HAS SOUPS 1520515 WITH SCORE 1522396.518
AT ITER 690 NEW BEST:: SOT 12524031 SOS 1881400 HAS SOPS 1881400 HAS SOUS 1520397 HAS SOUPS 1520397 WITH SCORE 1522278.4
AT ITER 698 NEW BEST:: SOT 12523875 SOS 1881442 HAS SOPS 1881442 HAS SOUS 1520241 HAS SOUPS 1520241 WITH SCORE 1522122.442
AT ITER 733 NEW BEST:: SOT 12523875 SOS 1881505 HAS SOPS 1881505 HAS SOUS 1520200 HAS SOUPS 1520200 WITH SCORE 1522081.505
AT ITER 757 NEW BEST:: SOT 12523813 SOS 1881465 HAS SOPS 1881465 HAS SOUS 1520150 HAS SOUPS 1520150 WITH SCORE 1522031.465
AT ITER 761 NEW BEST:: SOT 12523452 SOS 1880591 HAS SOPS 1880591 HAS SOUS 1519826 HAS SOUPS 1519826 WITH SCORE 1521706.591
AT ITER 766 NEW BEST:: SOT 12523170 SOS 1880252 HAS SOPS 1880252 HAS SOUS 1519487 HAS SOUPS 1519487 WITH SCORE 1521367.252
AT ITER 770 NEW BEST:: SOT 12522978 SOS 1879822 HAS SOPS 1879822 HAS SOUS 1519239 HAS SOUPS 1519239 WITH SCORE 1521118.822
AT ITER 775 NEW BEST:: SOT 12522899 SOS 1879585 HAS SOPS 1879585 HAS SOUS 1519050 HAS SOUPS 1519050 WITH SCORE 1520929.585
AT ITER 783 NEW BEST:: SOT 12522891 SOS 1879577 HAS SOPS 1879577 HAS SOUS 1519042 HAS SOUPS 1519042 WITH SCORE 1520921.577
AT ITER 787 NEW BEST:: SOT 12522891 SOS 1879560 HAS SOPS 1879560 HAS SOUS 1519025 HAS SOUPS 1519025 WITH SCORE 1520904.56
AT ITER 815 NEW BEST:: SOT 12522823 SOS 1879423 HAS SOPS 1879423 HAS SOUS 1518888 HAS SOUPS 1518888 WITH SCORE 1520767.423
AT ITER 831 NEW BEST:: SOT 12522761 SOS 1879361 HAS SOPS 1879361 HAS SOUS 1518823 HAS SOUPS 1518823 WITH SCORE 1520702.361
AT ITER 850 NEW BEST:: SOT 12522626 SOS 1878956 HAS SOPS 1878956 HAS SOUS 1518552 HAS SOUPS 1518552 WITH SCORE 1520430.956
AT ITER 860 NEW BEST:: SOT 12522625 SOS 1878954 HAS SOPS 1878954 HAS SOUS 1518550 HAS SOUPS 1518550 WITH SCORE 1520428.954
AT ITER 869 NEW BEST:: SOT 12522268 SOS 1878563 HAS SOPS 1878563 HAS SOUS 1518117 HAS SOUPS 1518117 WITH SCORE 1519995.563
AT ITER 897 NEW BEST:: SOT 12522036 SOS 1877867 HAS SOPS 1877867 HAS SOUS 1517652 HAS SOUPS 1517652 WITH SCORE 1519529.867
AT ITER 908 NEW BEST:: SOT 12521724 SOS 1877662 HAS SOPS 1877662 HAS SOUS 1517447 HAS SOUPS 1517447 WITH SCORE 1519324.662
AT ITER 925 NEW BEST:: SOT 12521708 SOS 1877630 HAS SOPS 1877630 HAS SOUS 1517415 HAS SOUPS 1517415 WITH SCORE 1519292.63
AT ITER 927 NEW BEST:: SOT 12521525 SOS 1877447 HAS SOPS 1877447 HAS SOUS 1517232 HAS SOUPS 1517232 WITH SCORE 1519109.447
AT ITER 943 NEW BEST:: SOT 12521557 SOS 1877515 HAS SOPS 1877515 HAS SOUS 1516815 HAS SOUPS 1516815 WITH SCORE 1518692.515
AT ITER 966 NEW BEST:: SOT 12521463 SOS 1877327 HAS SOPS 1877327 HAS SOUS 1516627 HAS SOUPS 1516627 WITH SCORE 1518504.327
AT ITER 1001 NEW BEST:: SOT 12521091 SOS 1877225 HAS SOPS 1877225 HAS SOUS 1516527 HAS SOUPS 1516527 WITH SCORE 1518404.225
AT ITER 1056 NEW BEST:: SOT 12521027 SOS 1880859 HAS SOPS 1880859 HAS SOUS 1516472 HAS SOUPS 1516472 WITH SCORE 1518352.859
AT ITER 1061 NEW BEST:: SOT 12520400 SOS 1881221 HAS SOPS 1881221 HAS SOUS 1516329 HAS SOUPS 1516329 WITH SCORE 1518210.221
AT ITER 1065 NEW BEST:: SOT 12520051 SOS 1880872 HAS SOPS 1880872 HAS SOUS 1515979 HAS SOUPS 1515979 WITH SCORE 1517859.872
AT ITER 1074 NEW BEST:: SOT 12519977 SOS 1880798 HAS SOPS 1880798 HAS SOUS 1515905 HAS SOUPS 1515905 WITH SCORE 1517785.798
AT ITER 1076 NEW BEST:: SOT 12519729 SOS 1880548 HAS SOPS 1880548 HAS SOUS 1515654 HAS SOUPS 1515654 WITH SCORE 1517534.548
AT ITER 1079 NEW BEST:: SOT 12519319 SOS 1881911 HAS SOPS 1881911 HAS SOUS 1515546 HAS SOUPS 1515546 WITH SCORE 1517427.911
AT ITER 1088 NEW BEST:: SOT 12519231 SOS 1881722 HAS SOPS 1881722 HAS SOUS 1515527 HAS SOUPS 1515527 WITH SCORE 1517408.722
AT ITER 1106 NEW BEST:: SOT 12518535 SOS 1881914 HAS SOPS 1881914 HAS SOUS 1515179 HAS SOUPS 1515179 WITH SCORE 1517060.914
AT ITER 1117 NEW BEST:: SOT 12518167 SOS 1881164 HAS SOPS 1881164 HAS SOUS 1514811 HAS SOUPS 1514811 WITH SCORE 1516692.164
AT ITER 1130 NEW BEST:: SOT 12517931 SOS 1880928 HAS SOPS 1880928 HAS SOUS 1514568 HAS SOUPS 1514568 WITH SCORE 1516448.928
AT ITER 1141 NEW BEST:: SOT 12517931 SOS 1880934 HAS SOPS 1880934 HAS SOUS 1514161 HAS SOUPS 1514161 WITH SCORE 1516041.934
AT ITER 1159 NEW BEST:: SOT 12517931 SOS 1880921 HAS SOPS 1880921 HAS SOUS 1514161 HAS SOUPS 1514161 WITH SCORE 1516041.921
AT ITER 1160 NEW BEST:: SOT 12518699 SOS 1881855 HAS SOPS 1881855 HAS SOUS 1513307 HAS SOUPS 1513307 WITH SCORE 1515188.855
AT ITER 1181 NEW BEST:: SOT 12518386 SOS 1881318 HAS SOPS 1881318 HAS SOUS 1513083 HAS SOUPS 1513083 WITH SCORE 1514964.318
AT ITER 1191 NEW BEST:: SOT 12518064 SOS 1880991 HAS SOPS 1880991 HAS SOUS 1512761 HAS SOUPS 1512761 WITH SCORE 1514641.991
AT ITER 1213 NEW BEST:: SOT 12518064 SOS 1881002 HAS SOPS 1881002 HAS SOUS 1512728 HAS SOUPS 1512728 WITH SCORE 1514609.002
AT ITER 1215 NEW BEST:: SOT 12517387 SOS 1886237 HAS SOPS 1886237 HAS SOUS 1512478 HAS SOUPS 1512478 WITH SCORE 1514364.237
AT ITER 1229 NEW BEST:: SOT 12517387 SOS 1886237 HAS SOPS 1886237 HAS SOUS 1512477 HAS SOUPS 1512477 WITH SCORE 1514363.237
AT ITER 1231 NEW BEST:: SOT 12517387 SOS 1886236 HAS SOPS 1886236 HAS SOUS 1512476 HAS SOUPS 1512476 WITH SCORE 1514362.236
AT ITER 1236 NEW BEST:: SOT 12517386 SOS 1886234 HAS SOPS 1886234 HAS SOUS 1512474 HAS SOUPS 1512474 WITH SCORE 1514360.234
AT ITER 1271 NEW BEST:: SOT 12517434 SOS 1886042 HAS SOPS 1886042 HAS SOUS 1512474 HAS SOUPS 1512474 WITH SCORE 1514360.042
AT ITER 1305 NEW BEST:: SOT 12517394 SOS 1885882 HAS SOPS 1885882 HAS SOUS 1512434 HAS SOUPS 1512434 WITH SCORE 1514319.882
AT ITER 1317 NEW BEST:: SOT 12515645 SOS 1886713 HAS SOPS 1886713 HAS SOUS 1510757 HAS SOUPS 1510757 WITH SCORE 1512643.713
AT ITER 1345 NEW BEST:: SOT 12515506 SOS 1886260 HAS SOPS 1886260 HAS SOUS 1508575 HAS SOUPS 1508575 WITH SCORE 1510461.26
AT ITER 1390 NEW BEST:: SOT 12515506 SOS 1886483 HAS SOPS 1886483 HAS SOUS 1508148 HAS SOUPS 1508148 WITH SCORE 1510034.483
AT ITER 1396 NEW BEST:: SOT 12515506 SOS 1886226 HAS SOPS 1886226 HAS SOUS 1507891 HAS SOUPS 1507891 WITH SCORE 1509777.226
AT ITER 1409 NEW BEST:: SOT 12515473 SOS 1886091 HAS SOPS 1886091 HAS SOUS 1507726 HAS SOUPS 1507726 WITH SCORE 1509612.091
AT ITER 1410 NEW BEST:: SOT 12515322 SOS 1885940 HAS SOPS 1885940 HAS SOUS 1507575 HAS SOUPS 1507575 WITH SCORE 1509460.94
AT ITER 1448 NEW BEST:: SOT 12515322 SOS 1885700 HAS SOPS 1885700 HAS SOUS 1507574 HAS SOUPS 1507574 WITH SCORE 1509459.7
AT ITER 1452 NEW BEST:: SOT 12515322 SOS 1885266 HAS SOPS 1885266 HAS SOUS 1507317 HAS SOUPS 1507317 WITH SCORE 1509202.266
AT ITER 1455 NEW BEST:: SOT 12515242 SOS 1885106 HAS SOPS 1885106 HAS SOUS 1507157 HAS SOUPS 1507157 WITH SCORE 1509042.106
AT ITER 1468 NEW BEST:: SOT 12515053 SOS 1884940 HAS SOPS 1884940 HAS SOUS 1507152 HAS SOUPS 1507152 WITH SCORE 1509036.94
AT ITER 1491 NEW BEST:: SOT 12514915 SOS 1886022 HAS SOPS 1886022 HAS SOUS 1506844 HAS SOUPS 1506844 WITH SCORE 1508730.022
AT ITER 1498 NEW BEST:: SOT 12514915 SOS 1886011 HAS SOPS 1886011 HAS SOUS 1506833 HAS SOUPS 1506833 WITH SCORE 1508719.011
AT ITER 1502 NEW BEST:: SOT 12514807 SOS 1885916 HAS SOPS 1885916 HAS SOUS 1506743 HAS SOUPS 1506743 WITH SCORE 1508628.916
AT ITER 1539 NEW BEST:: SOT 12514553 SOS 1885276 HAS SOPS 1885276 HAS SOUS 1506103 HAS SOUPS 1506103 WITH SCORE 1507988.276
AT ITER 1543 NEW BEST:: SOT 12514553 SOS 1885265 HAS SOPS 1885265 HAS SOUS 1506092 HAS SOUPS 1506092 WITH SCORE 1507977.265
AT ITER 1572 NEW BEST:: SOT 12514282 SOS 1884987 HAS SOPS 1884987 HAS SOUS 1505814 HAS SOUPS 1505814 WITH SCORE 1507698.987
AT ITER 1574 NEW BEST:: SOT 12514204 SOS 1884354 HAS SOPS 1884354 HAS SOUS 1505769 HAS SOUPS 1505769 WITH SCORE 1507653.354
AT ITER 1598 NEW BEST:: SOT 12514063 SOS 1883664 HAS SOPS 1883664 HAS SOUS 1505479 HAS SOUPS 1505479 WITH SCORE 1507362.664
AT ITER 1621 NEW BEST:: SOT 12513949 SOS 1883588 HAS SOPS 1883588 HAS SOUS 1505403 HAS SOUPS 1505403 WITH SCORE 1507286.588
AT ITER 1639 NEW BEST:: SOT 12510840 SOS 1883260 HAS SOPS 1883260 HAS SOUS 1504784 HAS SOUPS 1504784 WITH SCORE 1506667.26
AT ITER 1674 NEW BEST:: SOT 12510780 SOS 1883138 HAS SOPS 1883138 HAS SOUS 1504662 HAS SOUPS 1504662 WITH SCORE 1506545.138
AT ITER 1682 NEW BEST:: SOT 12510601 SOS 1882972 HAS SOPS 1882972 HAS SOUS 1504496 HAS SOUPS 1504496 WITH SCORE 1506378.972
AT ITER 1688 NEW BEST:: SOT 12510452 SOS 1882674 HAS SOPS 1882674 HAS SOUS 1504198 HAS SOUPS 1504198 WITH SCORE 1506080.674
AT ITER 1705 NEW BEST:: SOT 12510267 SOS 1882638 HAS SOPS 1882638 HAS SOUS 1504162 HAS SOUPS 1504162 WITH SCORE 1506044.638
AT ITER 1726 NEW BEST:: SOT 12510140 SOS 1882511 HAS SOPS 1882511 HAS SOUS 1504034 HAS SOUPS 1504034 WITH SCORE 1505916.511
AT ITER 1736 NEW BEST:: SOT 12510140 SOS 1882051 HAS SOPS 1882051 HAS SOUS 1503574 HAS SOUPS 1503574 WITH SCORE 1505456.051
AT ITER 1740 NEW BEST:: SOT 12509778 SOS 1881617 HAS SOPS 1881617 HAS SOUS 1503500 HAS SOUPS 1503500 WITH SCORE 1505381.617
AT ITER 1757 NEW BEST:: SOT 12509778 SOS 1881561 HAS SOPS 1881561 HAS SOUS 1503424 HAS SOUPS 1503424 WITH SCORE 1505305.561
AT ITER 1836 NEW BEST:: SOT 12509016 SOS 1880709 HAS SOPS 1880709 HAS SOUS 1502572 HAS SOUPS 1502572 WITH SCORE 1504452.709
AT ITER 1846 NEW BEST:: SOT 12508666 SOS 1880061 HAS SOPS 1880061 HAS SOUS 1502302 HAS SOUPS 1502302 WITH SCORE 1504182.061
AT ITER 1901 NEW BEST:: SOT 12508728 SOS 1880456 HAS SOPS 1880456 HAS SOUS 1499506 HAS SOUPS 1499506 WITH SCORE 1501386.456
AT ITER 1905 NEW BEST:: SOT 12508584 SOS 1880364 HAS SOPS 1880364 HAS SOUS 1499414 HAS SOUPS 1499414 WITH SCORE 1501294.364
AT ITER 1909 NEW BEST:: SOT 12508584 SOS 1880341 HAS SOPS 1880341 HAS SOUS 1499391 HAS SOUPS 1499391 WITH SCORE 1501271.341
AT ITER 1934 NEW BEST:: SOT 12507569 SOS 1879365 HAS SOPS 1879365 HAS SOUS 1498376 HAS SOUPS 1498376 WITH SCORE 1500255.365
AT ITER 1959 NEW BEST:: SOT 12507606 SOS 1879323 HAS SOPS 1879323 HAS SOUS 1498334 HAS SOUPS 1498334 WITH SCORE 1500213.323
AT ITER 1976 NEW BEST:: SOT 12507536 SOS 1879417 HAS SOPS 1879417 HAS SOUS 1498162 HAS SOUPS 1498162 WITH SCORE 1500041.417
AT ITER 1998 NEW BEST:: SOT 12507536 SOS 1879333 HAS SOPS 1879333 HAS SOUS 1498078 HAS SOUPS 1498078 WITH SCORE 1499957.333
AT ITER 2008 NEW BEST:: SOT 12507289 SOS 1878687 HAS SOPS 1878687 HAS SOUS 1494130 HAS SOUPS 1494130 WITH SCORE 1496008.687
AT ITER 2030 NEW BEST:: SOT 12507061 SOS 1878492 HAS SOPS 1878492 HAS SOUS 1494031 HAS SOUPS 1494031 WITH SCORE 1495909.492
AT ITER 2034 NEW BEST:: SOT 12506911 SOS 1878342 HAS SOPS 1878342 HAS SOUS 1493881 HAS SOUPS 1493881 WITH SCORE 1495759.342
AT ITER 2165 NEW BEST:: SOT 12506886 SOS 1879887 HAS SOPS 1879887 HAS SOUS 1493823 HAS SOUPS 1493823 WITH SCORE 1495702.887
AT ITER 2203 NEW BEST:: SOT 12506518 SOS 1879652 HAS SOPS 1879652 HAS SOUS 1493587 HAS SOUPS 1493587 WITH SCORE 1495466.652
AT ITER 2222 NEW BEST:: SOT 12506159 SOS 1878930 HAS SOPS 1878930 HAS SOUS 1492865 HAS SOUPS 1492865 WITH SCORE 1494743.93
AT ITER 2239 NEW BEST:: SOT 12505916 SOS 1878229 HAS SOPS 1878229 HAS SOUS 1492341 HAS SOUPS 1492341 WITH SCORE 1494219.229
AT ITER 2241 NEW BEST:: SOT 12505671 SOS 1877983 HAS SOPS 1877983 HAS SOUS 1492095 HAS SOUPS 1492095 WITH SCORE 1493972.983
AT ITER 2262 NEW BEST:: SOT 12505370 SOS 1876987 HAS SOPS 1876987 HAS SOUS 1491602 HAS SOUPS 1491602 WITH SCORE 1493478.987
AT ITER 2273 NEW BEST:: SOT 12504788 SOS 1877743 HAS SOPS 1877743 HAS SOUS 1490919 HAS SOUPS 1490919 WITH SCORE 1492796.743
AT ITER 2285 NEW BEST:: SOT 12504788 SOS 1877743 HAS SOPS 1877743 HAS SOUS 1490646 HAS SOUPS 1490646 WITH SCORE 1492523.743
AT ITER 2303 NEW BEST:: SOT 12504770 SOS 1877725 HAS SOPS 1877725 HAS SOUS 1490628 HAS SOUPS 1490628 WITH SCORE 1492505.725
AT ITER 2314 NEW BEST:: SOT 12504770 SOS 1877714 HAS SOPS 1877714 HAS SOUS 1490617 HAS SOUPS 1490617 WITH SCORE 1492494.714
AT ITER 2332 NEW BEST:: SOT 12504740 SOS 1877285 HAS SOPS 1877285 HAS SOUS 1490446 HAS SOUPS 1490446 WITH SCORE 1492323.285
AT ITER 2335 NEW BEST:: SOT 12504717 SOS 1877239 HAS SOPS 1877239 HAS SOUS 1490304 HAS SOUPS 1490304 WITH SCORE 1492181.239
AT ITER 2336 NEW BEST:: SOT 12504344 SOS 1876640 HAS SOPS 1876640 HAS SOUS 1489927 HAS SOUPS 1489927 WITH SCORE 1491803.64
AT ITER 2342 NEW BEST:: SOT 12504343 SOS 1876353 HAS SOPS 1876353 HAS SOUS 1489640 HAS SOUPS 1489640 WITH SCORE 1491516.353
AT ITER 2356 NEW BEST:: SOT 12504343 SOS 1876287 HAS SOPS 1876287 HAS SOUS 1489640 HAS SOUPS 1489640 WITH SCORE 1491516.287
AT ITER 2360 NEW BEST:: SOT 12504191 SOS 1876135 HAS SOPS 1876135 HAS SOUS 1489336 HAS SOUPS 1489336 WITH SCORE 1491212.135
AT ITER 2362 NEW BEST:: SOT 12504190 SOS 1875982 HAS SOPS 1875982 HAS SOUS 1489183 HAS SOUPS 1489183 WITH SCORE 1491058.982
AT ITER 2364 NEW BEST:: SOT 12503993 SOS 1876072 HAS SOPS 1876072 HAS SOUS 1488866 HAS SOUPS 1488866 WITH SCORE 1490742.072
AT ITER 2365 NEW BEST:: SOT 12503874 SOS 1875953 HAS SOPS 1875953 HAS SOUS 1488746 HAS SOUPS 1488746 WITH SCORE 1490621.953
AT ITER 2398 NEW BEST:: SOT 12503873 SOS 1875771 HAS SOPS 1875771 HAS SOUS 1488744 HAS SOUPS 1488744 WITH SCORE 1490619.771
AT ITER 2448 NEW BEST:: SOT 12503873 SOS 1875688 HAS SOPS 1875688 HAS SOUS 1488744 HAS SOUPS 1488744 WITH SCORE 1490619.688
AT ITER 2449 NEW BEST:: SOT 12503331 SOS 1875180 HAS SOPS 1875180 HAS SOUS 1488046 HAS SOUPS 1488046 WITH SCORE 1489921.18
AT ITER 2450 NEW BEST:: SOT 12503304 SOS 1875134 HAS SOPS 1875134 HAS SOUS 1487996 HAS SOUPS 1487996 WITH SCORE 1489871.134
AT ITER 2499 NEW BEST:: SOT 12501950 SOS 1873776 HAS SOPS 1873776 HAS SOUS 1486642 HAS SOUPS 1486642 WITH SCORE 1488515.776
AT ITER 2508 NEW BEST:: SOT 12501770 SOS 1873416 HAS SOPS 1873416 HAS SOUS 1486269 HAS SOUPS 1486269 WITH SCORE 1488142.416
AT ITER 2533 NEW BEST:: SOT 12501725 SOS 1873281 HAS SOPS 1873281 HAS SOUS 1486178 HAS SOUPS 1486178 WITH SCORE 1488051.281
AT ITER 2552 NEW BEST:: SOT 12501718 SOS 1873274 HAS SOPS 1873274 HAS SOUS 1486171 HAS SOUPS 1486171 WITH SCORE 1488044.274
AT ITER 2603 NEW BEST:: SOT 12501715 SOS 1873042 HAS SOPS 1873042 HAS SOUS 1486010 HAS SOUPS 1486010 WITH SCORE 1487883.042
AT ITER 2617 NEW BEST:: SOT 12500686 SOS 1874276 HAS SOPS 1874276 HAS SOUS 1485676 HAS SOUPS 1485676 WITH SCORE 1487550.276
AT ITER 2644 NEW BEST:: SOT 12500564 SOS 1873830 HAS SOPS 1873830 HAS SOUS 1485315 HAS SOUPS 1485315 WITH SCORE 1487188.83
AT ITER 2646 NEW BEST:: SOT 12500408 SOS 1873729 HAS SOPS 1873729 HAS SOUS 1485214 HAS SOUPS 1485214 WITH SCORE 1487087.729
AT ITER 2704 NEW BEST:: SOT 12500210 SOS 1873494 HAS SOPS 1873494 HAS SOUS 1485177 HAS SOUPS 1485177 WITH SCORE 1487050.494
AT ITER 2709 NEW BEST:: SOT 12499874 SOS 1872962 HAS SOPS 1872962 HAS SOUS 1484556 HAS SOUPS 1484556 WITH SCORE 1486428.962
AT ITER 2720 NEW BEST:: SOT 12499897 SOS 1872509 HAS SOPS 1872509 HAS SOUS 1484103 HAS SOUPS 1484103 WITH SCORE 1485975.509
AT ITER 2752 NEW BEST:: SOT 12500044 SOS 1872614 HAS SOPS 1872614 HAS SOUS 1484097 HAS SOUPS 1484097 WITH SCORE 1485969.614
AT ITER 2756 NEW BEST:: SOT 12500075 SOS 1872608 HAS SOPS 1872608 HAS SOUS 1484096 HAS SOUPS 1484096 WITH SCORE 1485968.608
AT ITER 2772 NEW BEST:: SOT 12500081 SOS 1872183 HAS SOPS 1872183 HAS SOUS 1483886 HAS SOUPS 1483886 WITH SCORE 1485758.183
AT ITER 2785 NEW BEST:: SOT 12498854 SOS 1874517 HAS SOPS 1874517 HAS SOUS 1483471 HAS SOUPS 1483471 WITH SCORE 1485345.517
AT ITER 2797 NEW BEST:: SOT 12498192 SOS 1874333 HAS SOPS 1874333 HAS SOUS 1482940 HAS SOUPS 1482940 WITH SCORE 1484814.333
AT ITER 2848 NEW BEST:: SOT 12498191 SOS 1873977 HAS SOPS 1873977 HAS SOUS 1482928 HAS SOUPS 1482928 WITH SCORE 1484801.977
AT ITER 2868 NEW BEST:: SOT 12497804 SOS 1873203 HAS SOPS 1873203 HAS SOUS 1482154 HAS SOUPS 1482154 WITH SCORE 1484027.203
AT ITER 2897 NEW BEST:: SOT 12497537 SOS 1872918 HAS SOPS 1872918 HAS SOUS 1481869 HAS SOUPS 1481869 WITH SCORE 1483741.918
AT ITER 2905 NEW BEST:: SOT 12497537 SOS 1872912 HAS SOPS 1872912 HAS SOUS 1481867 HAS SOUPS 1481867 WITH SCORE 1483739.912
AT ITER 2925 NEW BEST:: SOT 12497473 SOS 1872784 HAS SOPS 1872784 HAS SOUS 1481739 HAS SOUPS 1481739 WITH SCORE 1483611.784
AT ITER 2941 NEW BEST:: SOT 12497383 SOS 1872694 HAS SOPS 1872694 HAS SOUS 1481647 HAS SOUPS 1481647 WITH SCORE 1483519.694
AT ITER 2960 NEW BEST:: SOT 12497344 SOS 1872655 HAS SOPS 1872655 HAS SOUS 1481647 HAS SOUPS 1481647 WITH SCORE 1483519.655
AT ITER 2962 NEW BEST:: SOT 12497214 SOS 1872553 HAS SOPS 1872553 HAS SOUS 1481545 HAS SOUPS 1481545 WITH SCORE 1483417.553
AT ITER 2967 NEW BEST:: SOT 12497213 SOS 1872551 HAS SOPS 1872551 HAS SOUS 1481543 HAS SOUPS 1481543 WITH SCORE 1483415.551
AT ITER 2975 NEW BEST:: SOT 12497146 SOS 1872484 HAS SOPS 1872484 HAS SOUS 1481476 HAS SOUPS 1481476 WITH SCORE 1483348.484
AT ITER 2987 NEW BEST:: SOT 12497145 SOS 1872482 HAS SOPS 1872482 HAS SOUS 1481474 HAS SOUPS 1481474 WITH SCORE 1483346.482
AT ITER 2988 NEW BEST:: SOT 12495885 SOS 1871012 HAS SOPS 1871012 HAS SOUS 1481474 HAS SOUPS 1481474 WITH SCORE 1483345.012
AT ITER 3023 NEW BEST:: SOT 12495818 SOS 1870878 HAS SOPS 1870878 HAS SOUS 1481407 HAS SOUPS 1481407 WITH SCORE 1483277.878
AT ITER 3045 NEW BEST:: SOT 12495818 SOS 1870875 HAS SOPS 1870875 HAS SOUS 1481407 HAS SOUPS 1481407 WITH SCORE 1483277.875
AT ITER 3054 NEW BEST:: SOT 12495776 SOS 1870791 HAS SOPS 1870791 HAS SOUS 1481323 HAS SOUPS 1481323 WITH SCORE 1483193.791
AT ITER 3091 NEW BEST:: SOT 12495437 SOS 1870447 HAS SOPS 1870447 HAS SOUS 1480979 HAS SOUPS 1480979 WITH SCORE 1482849.447
AT ITER 3109 NEW BEST:: SOT 12495436 SOS 1870442 HAS SOPS 1870442 HAS SOUS 1480974 HAS SOUPS 1480974 WITH SCORE 1482844.442
AT ITER 3155 NEW BEST:: SOT 12495584 SOS 1871021 HAS SOPS 1871021 HAS SOUS 1480868 HAS SOUPS 1480868 WITH SCORE 1482739.021
AT ITER 3202 NEW BEST:: SOT 12494219 SOS 1869656 HAS SOPS 1869656 HAS SOUS 1480868 HAS SOUPS 1480868 WITH SCORE 1482737.656
AT ITER 3204 NEW BEST:: SOT 12494195 SOS 1869608 HAS SOPS 1869608 HAS SOUS 1480822 HAS SOUPS 1480822 WITH SCORE 1482691.608
AT ITER 3212 NEW BEST:: SOT 12494195 SOS 1869824 HAS SOPS 1869824 HAS SOUS 1480800 HAS SOUPS 1480800 WITH SCORE 1482669.824
AT ITER 3250 NEW BEST:: SOT 12494174 SOS 1869763 HAS SOPS 1869763 HAS SOUS 1480758 HAS SOUPS 1480758 WITH SCORE 1482627.763
AT ITER 3267 NEW BEST:: SOT 12494174 SOS 1869736 HAS SOPS 1869736 HAS SOUS 1480758 HAS SOUPS 1480758 WITH SCORE 1482627.736
AT ITER 3287 NEW BEST:: SOT 12494174 SOS 1869726 HAS SOPS 1869726 HAS SOUS 1480758 HAS SOUPS 1480758 WITH SCORE 1482627.726
AT ITER 3290 NEW BEST:: SOT 12494142 SOS 1869596 HAS SOPS 1869596 HAS SOUS 1480628 HAS SOUPS 1480628 WITH SCORE 1482497.596
AT ITER 3339 NEW BEST:: SOT 12493889 SOS 1869237 HAS SOPS 1869237 HAS SOUS 1480250 HAS SOUPS 1480250 WITH SCORE 1482119.237
AT ITER 3354 NEW BEST:: SOT 12493771 SOS 1868982 HAS SOPS 1868982 HAS SOUS 1479995 HAS SOUPS 1479995 WITH SCORE 1481863.982
AT ITER 3392 NEW BEST:: SOT 12493629 SOS 1868556 HAS SOPS 1868556 HAS SOUS 1479711 HAS SOUPS 1479711 WITH SCORE 1481579.556
AT ITER 3406 NEW BEST:: SOT 12493180 SOS 1868107 HAS SOPS 1868107 HAS SOUS 1479262 HAS SOUPS 1479262 WITH SCORE 1481130.107
AT ITER 3410 NEW BEST:: SOT 12493169 SOS 1868074 HAS SOPS 1868074 HAS SOUS 1479240 HAS SOUPS 1479240 WITH SCORE 1481108.074
AT ITER 3425 NEW BEST:: SOT 12492992 SOS 1867720 HAS SOPS 1867720 HAS SOUS 1479063 HAS SOUPS 1479063 WITH SCORE 1480930.72
AT ITER 3441 NEW BEST:: SOT 12492874 SOS 1867450 HAS SOPS 1867450 HAS SOUS 1478793 HAS SOUPS 1478793 WITH SCORE 1480660.45
AT ITER 3442 NEW BEST:: SOT 12493024 SOS 1867448 HAS SOPS 1867448 HAS SOUS 1478791 HAS SOUPS 1478791 WITH SCORE 1480658.448
AT ITER 3447 NEW BEST:: SOT 12492915 SOS 1867231 HAS SOPS 1867231 HAS SOUS 1478680 HAS SOUPS 1478680 WITH SCORE 1480547.231
AT ITER 3465 NEW BEST:: SOT 12492763 SOS 1866927 HAS SOPS 1866927 HAS SOUS 1478486 HAS SOUPS 1478486 WITH SCORE 1480352.927
AT ITER 3471 NEW BEST:: SOT 12492541 SOS 1866499 HAS SOPS 1866499 HAS SOUS 1478130 HAS SOUPS 1478130 WITH SCORE 1479996.499
AT ITER 3501 NEW BEST:: SOT 12491045 SOS 1865280 HAS SOPS 1865280 HAS SOUS 1476496 HAS SOUPS 1476496 WITH SCORE 1478361.28
AT ITER 3549 NEW BEST:: SOT 12491044 SOS 1865276 HAS SOPS 1865276 HAS SOUS 1476492 HAS SOUPS 1476492 WITH SCORE 1478357.276
AT ITER 3559 NEW BEST:: SOT 12490779 SOS 1865063 HAS SOPS 1865063 HAS SOUS 1476279 HAS SOUPS 1476279 WITH SCORE 1478144.063
AT ITER 3604 NEW BEST:: SOT 12490496 SOS 1864661 HAS SOPS 1864661 HAS SOUS 1475996 HAS SOUPS 1475996 WITH SCORE 1477860.661
AT ITER 3625 NEW BEST:: SOT 12490231 SOS 1864424 HAS SOPS 1864424 HAS SOUS 1475759 HAS SOUPS 1475759 WITH SCORE 1477623.424
AT ITER 3628 NEW BEST:: SOT 12489958 SOS 1864060 HAS SOPS 1864060 HAS SOUS 1475395 HAS SOUPS 1475395 WITH SCORE 1477259.06
AT ITER 3633 NEW BEST:: SOT 12489917 SOS 1864019 HAS SOPS 1864019 HAS SOUS 1475354 HAS SOUPS 1475354 WITH SCORE 1477218.019
AT ITER 3643 NEW BEST:: SOT 12489831 SOS 1863589 HAS SOPS 1863589 HAS SOUS 1475182 HAS SOUPS 1475182 WITH SCORE 1477045.589
AT ITER 3681 NEW BEST:: SOT 12489831 SOS 1863618 HAS SOPS 1863618 HAS SOUS 1475091 HAS SOUPS 1475091 WITH SCORE 1476954.618
AT ITER 3683 NEW BEST:: SOT 12489831 SOS 1863617 HAS SOPS 1863617 HAS SOUS 1475090 HAS SOUPS 1475090 WITH SCORE 1476953.617
AT ITER 3789 NEW BEST:: SOT 12489709 SOS 1863377 HAS SOPS 1863377 HAS SOUS 1474867 HAS SOUPS 1474867 WITH SCORE 1476730.377
AT ITER 3809 NEW BEST:: SOT 12489554 SOS 1863022 HAS SOPS 1863022 HAS SOUS 1474512 HAS SOUPS 1474512 WITH SCORE 1476375.022
AT ITER 3821 NEW BEST:: SOT 12489486 SOS 1862952 HAS SOPS 1862952 HAS SOUS 1474510 HAS SOUPS 1474510 WITH SCORE 1476372.952
AT ITER 3839 NEW BEST:: SOT 12489486 SOS 1862951 HAS SOPS 1862951 HAS SOUS 1474509 HAS SOUPS 1474509 WITH SCORE 1476371.951
AT ITER 3862 NEW BEST:: SOT 12489389 SOS 1862560 HAS SOPS 1862560 HAS SOUS 1474434 HAS SOUPS 1474434 WITH SCORE 1476296.56
AT ITER 3871 NEW BEST:: SOT 12489421 SOS 1862436 HAS SOPS 1862436 HAS SOUS 1474310 HAS SOUPS 1474310 WITH SCORE 1476172.436
AT ITER 3881 NEW BEST:: SOT 12489328 SOS 1863273 HAS SOPS 1863273 HAS SOUS 1474217 HAS SOUPS 1474217 WITH SCORE 1476080.273
AT ITER 3903 NEW BEST:: SOT 12489167 SOS 1863111 HAS SOPS 1863111 HAS SOUS 1474055 HAS SOUPS 1474055 WITH SCORE 1475918.111
AT ITER 3919 NEW BEST:: SOT 12489167 SOS 1863107 HAS SOPS 1863107 HAS SOUS 1474050 HAS SOUPS 1474050 WITH SCORE 1475913.107
AT ITER 3920 NEW BEST:: SOT 12488828 SOS 1862670 HAS SOPS 1862670 HAS SOUS 1470979 HAS SOUPS 1470979 WITH SCORE 1472841.67
AT ITER 3923 NEW BEST:: SOT 12488454 SOS 1862688 HAS SOPS 1862688 HAS SOUS 1470705 HAS SOUPS 1470705 WITH SCORE 1472567.688
AT ITER 3948 NEW BEST:: SOT 12488412 SOS 1862645 HAS SOPS 1862645 HAS SOUS 1470662 HAS SOUPS 1470662 WITH SCORE 1472524.645
AT ITER 3963 NEW BEST:: SOT 12488411 SOS 1862643 HAS SOPS 1862643 HAS SOUS 1470660 HAS SOUPS 1470660 WITH SCORE 1472522.643
AT ITER 3978 NEW BEST:: SOT 12488350 SOS 1862521 HAS SOPS 1862521 HAS SOUS 1470538 HAS SOUPS 1470538 WITH SCORE 1472400.521
AT ITER 3996 NEW BEST:: SOT 12488195 SOS 1862198 HAS SOPS 1862198 HAS SOUS 1470362 HAS SOUPS 1470362 WITH SCORE 1472224.198
AT ITER 4060 NEW BEST:: SOT 12487464 SOS 1861125 HAS SOPS 1861125 HAS SOUS 1469433 HAS SOUPS 1469433 WITH SCORE 1471294.125
AT ITER 4071 NEW BEST:: SOT 12487395 SOS 1861102 HAS SOPS 1861102 HAS SOUS 1469341 HAS SOUPS 1469341 WITH SCORE 1471202.102
AT ITER 4083 NEW BEST:: SOT 12487395 SOS 1860884 HAS SOPS 1860884 HAS SOUS 1469341 HAS SOUPS 1469341 WITH SCORE 1471201.884
AT ITER 4090 NEW BEST:: SOT 12487395 SOS 1860824 HAS SOPS 1860824 HAS SOUS 1469281 HAS SOUPS 1469281 WITH SCORE 1471141.824
AT ITER 4097 NEW BEST:: SOT 12487105 SOS 1860680 HAS SOPS 1860680 HAS SOUS 1469137 HAS SOUPS 1469137 WITH SCORE 1470997.68
AT ITER 4119 NEW BEST:: SOT 12486561 SOS 1860432 HAS SOPS 1860432 HAS SOUS 1468687 HAS SOUPS 1468687 WITH SCORE 1470547.432
AT ITER 4129 NEW BEST:: SOT 12486011 SOS 1862648 HAS SOPS 1862648 HAS SOUS 1468683 HAS SOUPS 1468683 WITH SCORE 1470545.648
AT ITER 4142 NEW BEST:: SOT 12484770 SOS 1861573 HAS SOPS 1861573 HAS SOUS 1467524 HAS SOUPS 1467524 WITH SCORE 1469385.573
AT ITER 4181 NEW BEST:: SOT 12484769 SOS 1861571 HAS SOPS 1861571 HAS SOUS 1467522 HAS SOUPS 1467522 WITH SCORE 1469383.571
AT ITER 4184 NEW BEST:: SOT 12485222 SOS 1863883 HAS SOPS 1863883 HAS SOUS 1466036 HAS SOUPS 1466036 WITH SCORE 1467899.883
AT ITER 4185 NEW BEST:: SOT 12485222 SOS 1863860 HAS SOPS 1863860 HAS SOUS 1466036 HAS SOUPS 1466036 WITH SCORE 1467899.86
AT ITER 4215 NEW BEST:: SOT 12485208 SOS 1862808 HAS SOPS 1862808 HAS SOUS 1465700 HAS SOUPS 1465700 WITH SCORE 1467562.808
AT ITER 4233 NEW BEST:: SOT 12485172 SOS 1862772 HAS SOPS 1862772 HAS SOUS 1465664 HAS SOUPS 1465664 WITH SCORE 1467526.772
AT ITER 4240 NEW BEST:: SOT 12484816 SOS 1862220 HAS SOPS 1862220 HAS SOUS 1465112 HAS SOUPS 1465112 WITH SCORE 1466974.22
AT ITER 4246 NEW BEST:: SOT 12484644 SOS 1862209 HAS SOPS 1862209 HAS SOUS 1465020 HAS SOUPS 1465020 WITH SCORE 1466882.209
AT ITER 4253 NEW BEST:: SOT 12484447 SOS 1862001 HAS SOPS 1862001 HAS SOUS 1464812 HAS SOUPS 1464812 WITH SCORE 1466674.001
AT ITER 4268 NEW BEST:: SOT 12484263 SOS 1861862 HAS SOPS 1861862 HAS SOUS 1464673 HAS SOUPS 1464673 WITH SCORE 1466534.862
AT ITER 4286 NEW BEST:: SOT 12483675 SOS 1861003 HAS SOPS 1861003 HAS SOUS 1463814 HAS SOUPS 1463814 WITH SCORE 1465675.003
AT ITER 4287 NEW BEST:: SOT 12483866 SOS 1861001 HAS SOPS 1861001 HAS SOUS 1463812 HAS SOUPS 1463812 WITH SCORE 1465673.001
AT ITER 4296 NEW BEST:: SOT 12483866 SOS 1860767 HAS SOPS 1860767 HAS SOUS 1463594 HAS SOUPS 1463594 WITH SCORE 1465454.767
AT ITER 4317 NEW BEST:: SOT 12480707 SOS 1858604 HAS SOPS 1858604 HAS SOUS 1457685 HAS SOUPS 1457685 WITH SCORE 1459543.604
AT ITER 4332 NEW BEST:: SOT 12480707 SOS 1858586 HAS SOPS 1858586 HAS SOUS 1457667 HAS SOUPS 1457667 WITH SCORE 1459525.586
AT ITER 4350 NEW BEST:: SOT 12480680 SOS 1858532 HAS SOPS 1858532 HAS SOUS 1457613 HAS SOUPS 1457613 WITH SCORE 1459471.532
AT ITER 4356 NEW BEST:: SOT 12479833 SOS 1858481 HAS SOPS 1858481 HAS SOUS 1457372 HAS SOUPS 1457372 WITH SCORE 1459230.481
AT ITER 4371 NEW BEST:: SOT 12479833 SOS 1858481 HAS SOPS 1858481 HAS SOUS 1457371 HAS SOUPS 1457371 WITH SCORE 1459229.481
AT ITER 4396 NEW BEST:: SOT 12479833 SOS 1858435 HAS SOPS 1858435 HAS SOUS 1457325 HAS SOUPS 1457325 WITH SCORE 1459183.435
AT ITER 4406 NEW BEST:: SOT 12479884 SOS 1858428 HAS SOPS 1858428 HAS SOUS 1457318 HAS SOUPS 1457318 WITH SCORE 1459176.428
AT ITER 4414 NEW BEST:: SOT 12479841 SOS 1858384 HAS SOPS 1858384 HAS SOUS 1457274 HAS SOUPS 1457274 WITH SCORE 1459132.384
AT ITER 4439 NEW BEST:: SOT 12479839 SOS 1858424 HAS SOPS 1858424 HAS SOUS 1457270 HAS SOUPS 1457270 WITH SCORE 1459128.424
AT ITER 4449 NEW BEST:: SOT 12479839 SOS 1858314 HAS SOPS 1858314 HAS SOUS 1457203 HAS SOUPS 1457203 WITH SCORE 1459061.314
AT ITER 4527 NEW BEST:: SOT 12479551 SOS 1858149 HAS SOPS 1858149 HAS SOUS 1457037 HAS SOUPS 1457037 WITH SCORE 1458895.149
AT ITER 4530 NEW BEST:: SOT 12479379 SOS 1858133 HAS SOPS 1858133 HAS SOUS 1457021 HAS SOUPS 1457021 WITH SCORE 1458879.133
AT ITER 4544 NEW BEST:: SOT 12478714 SOS 1857574 HAS SOPS 1857574 HAS SOUS 1456462 HAS SOUPS 1456462 WITH SCORE 1458319.574
AT ITER 4550 NEW BEST:: SOT 12478714 SOS 1857573 HAS SOPS 1857573 HAS SOUS 1456461 HAS SOUPS 1456461 WITH SCORE 1458318.573
AT ITER 4562 NEW BEST:: SOT 12478714 SOS 1857320 HAS SOPS 1857320 HAS SOUS 1456460 HAS SOUPS 1456460 WITH SCORE 1458317.32
AT ITER 4585 NEW BEST:: SOT 12478684 SOS 1857260 HAS SOPS 1857260 HAS SOUS 1456428 HAS SOUPS 1456428 WITH SCORE 1458285.26
AT ITER 4607 NEW BEST:: SOT 12478822 SOS 1857228 HAS SOPS 1857228 HAS SOUS 1456396 HAS SOUPS 1456396 WITH SCORE 1458253.228
AT ITER 4637 NEW BEST:: SOT 12478822 SOS 1857193 HAS SOPS 1857193 HAS SOUS 1454369 HAS SOUPS 1454369 WITH SCORE 1456226.193
AT ITER 4639 NEW BEST:: SOT 12478735 SOS 1856733 HAS SOPS 1856733 HAS SOUS 1454188 HAS SOUPS 1454188 WITH SCORE 1456044.733
AT ITER 4647 NEW BEST:: SOT 12478649 SOS 1856603 HAS SOPS 1856603 HAS SOUS 1454034 HAS SOUPS 1454034 WITH SCORE 1455890.603
AT ITER 4671 NEW BEST:: SOT 12478649 SOS 1856603 HAS SOPS 1856603 HAS SOUS 1454033 HAS SOUPS 1454033 WITH SCORE 1455889.603
AT ITER 4682 NEW BEST:: SOT 12478543 SOS 1856496 HAS SOPS 1856496 HAS SOUS 1453926 HAS SOUPS 1453926 WITH SCORE 1455782.496
AT ITER 4685 NEW BEST:: SOT 12478543 SOS 1856582 HAS SOPS 1856582 HAS SOUS 1453846 HAS SOUPS 1453846 WITH SCORE 1455702.582
AT ITER 4696 NEW BEST:: SOT 12476968 SOS 1854782 HAS SOPS 1854782 HAS SOUS 1453621 HAS SOUPS 1453621 WITH SCORE 1455475.782
AT ITER 4704 NEW BEST:: SOT 12476957 SOS 1854760 HAS SOPS 1854760 HAS SOUS 1453599 HAS SOUPS 1453599 WITH SCORE 1455453.76
AT ITER 4756 NEW BEST:: SOT 12476957 SOS 1854742 HAS SOPS 1854742 HAS SOUS 1453581 HAS SOUPS 1453581 WITH SCORE 1455435.742
AT ITER 4783 NEW BEST:: SOT 12476936 SOS 1854699 HAS SOPS 1854699 HAS SOUS 1453538 HAS SOUPS 1453538 WITH SCORE 1455392.699
AT ITER 4823 NEW BEST:: SOT 12476764 SOS 1854637 HAS SOPS 1854637 HAS SOUS 1453448 HAS SOUPS 1453448 WITH SCORE 1455302.637
AT ITER 4833 NEW BEST:: SOT 12476831 SOS 1854487 HAS SOPS 1854487 HAS SOUS 1453298 HAS SOUPS 1453298 WITH SCORE 1455152.487
AT ITER 4863 NEW BEST:: SOT 12476233 SOS 1853889 HAS SOPS 1853889 HAS SOUS 1452699 HAS SOUPS 1452699 WITH SCORE 1454552.889
AT ITER 4895 NEW BEST:: SOT 12476233 SOS 1853726 HAS SOPS 1853726 HAS SOUS 1452699 HAS SOUPS 1452699 WITH SCORE 1454552.726
AT ITER 4909 NEW BEST:: SOT 12475576 SOS 1853970 HAS SOPS 1853970 HAS SOUS 1452306 HAS SOUPS 1452306 WITH SCORE 1454159.97
AT ITER 4922 NEW BEST:: SOT 12474737 SOS 1853373 HAS SOPS 1853373 HAS SOUS 1451654 HAS SOUPS 1451654 WITH SCORE 1453507.373
AT ITER 4933 NEW BEST:: SOT 12474398 SOS 1853216 HAS SOPS 1853216 HAS SOUS 1451497 HAS SOUPS 1451497 WITH SCORE 1453350.216
AT ITER 4941 NEW BEST:: SOT 12473750 SOS 1852892 HAS SOPS 1852892 HAS SOUS 1450849 HAS SOUPS 1450849 WITH SCORE 1452701.892
AT ITER 4959 NEW BEST:: SOT 12473590 SOS 1852561 HAS SOPS 1852561 HAS SOUS 1450518 HAS SOUPS 1450518 WITH SCORE 1452370.561
AT ITER 4967 NEW BEST:: SOT 12473590 SOS 1852280 HAS SOPS 1852280 HAS SOUS 1450252 HAS SOUPS 1450252 WITH SCORE 1452104.28
AT ITER 4972 NEW BEST:: SOT 12473279 SOS 1851761 HAS SOPS 1851761 HAS SOUS 1449941 HAS SOUPS 1449941 WITH SCORE 1451792.761
AT ITER 4982 NEW BEST:: SOT 12473231 SOS 1851407 HAS SOPS 1851407 HAS SOUS 1449845 HAS SOUPS 1449845 WITH SCORE 1451696.407
AT ITER 5026 NEW BEST:: SOT 12472488 SOS 1850832 HAS SOPS 1850832 HAS SOUS 1449234 HAS SOUPS 1449234 WITH SCORE 1451084.832
AT ITER 5108 NEW BEST:: SOT 12472321 SOS 1852178 HAS SOPS 1852178 HAS SOUS 1448865 HAS SOUPS 1448865 WITH SCORE 1450717.178
AT ITER 5177 NEW BEST:: SOT 12471871 SOS 1851811 HAS SOPS 1851811 HAS SOUS 1448498 HAS SOUPS 1448498 WITH SCORE 1450349.811
AT ITER 5210 NEW BEST:: SOT 12471654 SOS 1851695 HAS SOPS 1851695 HAS SOUS 1448382 HAS SOUPS 1448382 WITH SCORE 1450233.695
AT ITER 5215 NEW BEST:: SOT 12471654 SOS 1851631 HAS SOPS 1851631 HAS SOUS 1448318 HAS SOUPS 1448318 WITH SCORE 1450169.631
AT ITER 5240 NEW BEST:: SOT 12471637 SOS 1851597 HAS SOPS 1851597 HAS SOUS 1447205 HAS SOUPS 1447205 WITH SCORE 1449056.597
AT ITER 5257 NEW BEST:: SOT 12470053 SOS 1850275 HAS SOPS 1850275 HAS SOUS 1445884 HAS SOUPS 1445884 WITH SCORE 1447734.275
AT ITER 5261 NEW BEST:: SOT 12469805 SOS 1850021 HAS SOPS 1850021 HAS SOUS 1445630 HAS SOUPS 1445630 WITH SCORE 1447480.021
AT ITER 5265 NEW BEST:: SOT 12469596 SOS 1849869 HAS SOPS 1849869 HAS SOUS 1445478 HAS SOUPS 1445478 WITH SCORE 1447327.869
AT ITER 5290 NEW BEST:: SOT 12469483 SOS 1849643 HAS SOPS 1849643 HAS SOUS 1445168 HAS SOUPS 1445168 WITH SCORE 1447017.643
AT ITER 5301 NEW BEST:: SOT 12469393 SOS 1849553 HAS SOPS 1849553 HAS SOUS 1444988 HAS SOUPS 1444988 WITH SCORE 1446837.553
AT ITER 5317 NEW BEST:: SOT 12469393 SOS 1849549 HAS SOPS 1849549 HAS SOUS 1444984 HAS SOUPS 1444984 WITH SCORE 1446833.549
AT ITER 5380 NEW BEST:: SOT 12467962 SOS 1848115 HAS SOPS 1848115 HAS SOUS 1443535 HAS SOUPS 1443535 WITH SCORE 1445383.115
AT ITER 5410 NEW BEST:: SOT 12465791 SOS 1847659 HAS SOPS 1847659 HAS SOUS 1441928 HAS SOUPS 1441928 WITH SCORE 1443775.659
AT ITER 5446 NEW BEST:: SOT 12465612 SOS 1847669 HAS SOPS 1847669 HAS SOUS 1441847 HAS SOUPS 1441847 WITH SCORE 1443694.669
AT ITER 5465 NEW BEST:: SOT 12465611 SOS 1848502 HAS SOPS 1848502 HAS SOUS 1441845 HAS SOUPS 1441845 WITH SCORE 1443693.502
AT ITER 5471 NEW BEST:: SOT 12465610 SOS 1848500 HAS SOPS 1848500 HAS SOUS 1441843 HAS SOUPS 1441843 WITH SCORE 1443691.5
AT ITER 5487 NEW BEST:: SOT 12465609 SOS 1848498 HAS SOPS 1848498 HAS SOUS 1441841 HAS SOUPS 1441841 WITH SCORE 1443689.498
AT ITER 5518 NEW BEST:: SOT 12465591 SOS 1848641 HAS SOPS 1848641 HAS SOUS 1441649 HAS SOUPS 1441649 WITH SCORE 1443497.641
AT ITER 5545 NEW BEST:: SOT 12465353 SOS 1848165 HAS SOPS 1848165 HAS SOUS 1441411 HAS SOUPS 1441411 WITH SCORE 1443259.165
AT ITER 5575 NEW BEST:: SOT 12465353 SOS 1847945 HAS SOPS 1847945 HAS SOUS 1441411 HAS SOUPS 1441411 WITH SCORE 1443258.945
AT ITER 5606 NEW BEST:: SOT 12465260 SOS 1847775 HAS SOPS 1847775 HAS SOUS 1440620 HAS SOUPS 1440620 WITH SCORE 1442467.775
AT ITER 5644 NEW BEST:: SOT 12464936 SOS 1847629 HAS SOPS 1847629 HAS SOUS 1440474 HAS SOUPS 1440474 WITH SCORE 1442321.629
AT ITER 5647 NEW BEST:: SOT 12464823 SOS 1847445 HAS SOPS 1847445 HAS SOUS 1439499 HAS SOUPS 1439499 WITH SCORE 1441346.445
AT ITER 5687 NEW BEST:: SOT 12464682 SOS 1847163 HAS SOPS 1847163 HAS SOUS 1439217 HAS SOUPS 1439217 WITH SCORE 1441064.163
AT ITER 5691 NEW BEST:: SOT 12464653 SOS 1846767 HAS SOPS 1846767 HAS SOUS 1438755 HAS SOUPS 1438755 WITH SCORE 1440601.767
AT ITER 5744 NEW BEST:: SOT 12464635 SOS 1846731 HAS SOPS 1846731 HAS SOUS 1438719 HAS SOUPS 1438719 WITH SCORE 1440565.731
AT ITER 5751 NEW BEST:: SOT 12464550 SOS 1846663 HAS SOPS 1846663 HAS SOUS 1438651 HAS SOUPS 1438651 WITH SCORE 1440497.663
AT ITER 5753 NEW BEST:: SOT 12464377 SOS 1846266 HAS SOPS 1846266 HAS SOUS 1438581 HAS SOUPS 1438581 WITH SCORE 1440427.266
AT ITER 5757 NEW BEST:: SOT 12464269 SOS 1846050 HAS SOPS 1846050 HAS SOUS 1438365 HAS SOUPS 1438365 WITH SCORE 1440211.05
AT ITER 5792 NEW BEST:: SOT 12464204 SOS 1845920 HAS SOPS 1845920 HAS SOUS 1438300 HAS SOUPS 1438300 WITH SCORE 1440145.92
AT ITER 5815 NEW BEST:: SOT 12464204 SOS 1845757 HAS SOPS 1845757 HAS SOUS 1438300 HAS SOUPS 1438300 WITH SCORE 1440145.757
AT ITER 5858 NEW BEST:: SOT 12464049 SOS 1845447 HAS SOPS 1845447 HAS SOUS 1438145 HAS SOUPS 1438145 WITH SCORE 1439990.447
AT ITER 5888 NEW BEST:: SOT 12463704 SOS 1845102 HAS SOPS 1845102 HAS SOUS 1438145 HAS SOUPS 1438145 WITH SCORE 1439990.102
AT ITER 5897 NEW BEST:: SOT 12463653 SOS 1845000 HAS SOPS 1845000 HAS SOUS 1438094 HAS SOUPS 1438094 WITH SCORE 1439939.0
AT ITER 5910 NEW BEST:: SOT 12463631 SOS 1844956 HAS SOPS 1844956 HAS SOUS 1438050 HAS SOUPS 1438050 WITH SCORE 1439894.956
AT ITER 5915 NEW BEST:: SOT 12463580 SOS 1844901 HAS SOPS 1844901 HAS SOUS 1437995 HAS SOUPS 1437995 WITH SCORE 1439839.901
AT ITER 5941 NEW BEST:: SOT 12463580 SOS 1844487 HAS SOPS 1844487 HAS SOUS 1437995 HAS SOUPS 1437995 WITH SCORE 1439839.487
AT ITER 5948 NEW BEST:: SOT 12463383 SOS 1843854 HAS SOPS 1843854 HAS SOUS 1437651 HAS SOUPS 1437651 WITH SCORE 1439494.854
AT ITER 5952 NEW BEST:: SOT 12463366 SOS 1843837 HAS SOPS 1843837 HAS SOUS 1437617 HAS SOUPS 1437617 WITH SCORE 1439460.837
AT ITER 5958 NEW BEST:: SOT 12463336 SOS 1843806 HAS SOPS 1843806 HAS SOUS 1437586 HAS SOUPS 1437586 WITH SCORE 1439429.806
AT ITER 5962 NEW BEST:: SOT 12463275 SOS 1843684 HAS SOPS 1843684 HAS SOUS 1437464 HAS SOUPS 1437464 WITH SCORE 1439307.684
AT ITER 5968 NEW BEST:: SOT 12463272 SOS 1843681 HAS SOPS 1843681 HAS SOUS 1437461 HAS SOUPS 1437461 WITH SCORE 1439304.681
AT ITER 5977 NEW BEST:: SOT 12463090 SOS 1843494 HAS SOPS 1843494 HAS SOUS 1437274 HAS SOUPS 1437274 WITH SCORE 1439117.494
AT ITER 5986 NEW BEST:: SOT 12462986 SOS 1843044 HAS SOPS 1843044 HAS SOUS 1437063 HAS SOUPS 1437063 WITH SCORE 1438906.044
AT ITER 5996 NEW BEST:: SOT 12462774 SOS 1842620 HAS SOPS 1842620 HAS SOUS 1436639 HAS SOUPS 1436639 WITH SCORE 1438481.62
AT ITER 5998 NEW BEST:: SOT 12461934 SOS 1842880 HAS SOPS 1842880 HAS SOUS 1436131 HAS SOUPS 1436131 WITH SCORE 1437973.88
AT ITER 6003 NEW BEST:: SOT 12461818 SOS 1842764 HAS SOPS 1842764 HAS SOUS 1435986 HAS SOUPS 1435986 WITH SCORE 1437828.764
AT ITER 6009 NEW BEST:: SOT 12461647 SOS 1842589 HAS SOPS 1842589 HAS SOUS 1435811 HAS SOUPS 1435811 WITH SCORE 1437653.589
AT ITER 6016 NEW BEST:: SOT 12461472 SOS 1842414 HAS SOPS 1842414 HAS SOUS 1435636 HAS SOUPS 1435636 WITH SCORE 1437478.414
AT ITER 6029 NEW BEST:: SOT 12461472 SOS 1842378 HAS SOPS 1842378 HAS SOUS 1435600 HAS SOUPS 1435600 WITH SCORE 1437442.378
AT ITER 6043 NEW BEST:: SOT 12461272 SOS 1842171 HAS SOPS 1842171 HAS SOUS 1435393 HAS SOUPS 1435393 WITH SCORE 1437235.171
AT ITER 6057 NEW BEST:: SOT 12461272 SOS 1842274 HAS SOPS 1842274 HAS SOUS 1434401 HAS SOUPS 1434401 WITH SCORE 1436243.274
AT ITER 6073 NEW BEST:: SOT 12461099 SOS 1841892 HAS SOPS 1841892 HAS SOUS 1434019 HAS SOUPS 1434019 WITH SCORE 1435860.892
AT ITER 6076 NEW BEST:: SOT 12461099 SOS 1841676 HAS SOPS 1841676 HAS SOUS 1433834 HAS SOUPS 1433834 WITH SCORE 1435675.676
AT ITER 6078 NEW BEST:: SOT 12461099 SOS 1841606 HAS SOPS 1841606 HAS SOUS 1433764 HAS SOUPS 1433764 WITH SCORE 1435605.606
AT ITER 6104 NEW BEST:: SOT 12461053 SOS 1841468 HAS SOPS 1841468 HAS SOUS 1433695 HAS SOUPS 1433695 WITH SCORE 1435536.468
AT ITER 6110 NEW BEST:: SOT 12461053 SOS 1841409 HAS SOPS 1841409 HAS SOUS 1433636 HAS SOUPS 1433636 WITH SCORE 1435477.409
AT ITER 6123 NEW BEST:: SOT 12460852 SOS 1841163 HAS SOPS 1841163 HAS SOUS 1433390 HAS SOUPS 1433390 WITH SCORE 1435231.163
AT ITER 6131 NEW BEST:: SOT 12460713 SOS 1841024 HAS SOPS 1841024 HAS SOUS 1433381 HAS SOUPS 1433381 WITH SCORE 1435222.024
AT ITER 6145 NEW BEST:: SOT 12460413 SOS 1840782 HAS SOPS 1840782 HAS SOUS 1433107 HAS SOUPS 1433107 WITH SCORE 1434947.782
AT ITER 6189 NEW BEST:: SOT 12460413 SOS 1840656 HAS SOPS 1840656 HAS SOUS 1432981 HAS SOUPS 1432981 WITH SCORE 1434821.656
AT ITER 6231 NEW BEST:: SOT 12460413 SOS 1840458 HAS SOPS 1840458 HAS SOUS 1432981 HAS SOUPS 1432981 WITH SCORE 1434821.458
AT ITER 6235 NEW BEST:: SOT 12460005 SOS 1839958 HAS SOPS 1839958 HAS SOUS 1432421 HAS SOUPS 1432421 WITH SCORE 1434260.958
AT ITER 6242 NEW BEST:: SOT 12459581 SOS 1839534 HAS SOPS 1839534 HAS SOUS 1431997 HAS SOUPS 1431997 WITH SCORE 1433836.534
AT ITER 6243 NEW BEST:: SOT 12459491 SOS 1839306 HAS SOPS 1839306 HAS SOUS 1431770 HAS SOUPS 1431770 WITH SCORE 1433609.306
AT ITER 6269 NEW BEST:: SOT 12459490 SOS 1839303 HAS SOPS 1839303 HAS SOUS 1431767 HAS SOUPS 1431767 WITH SCORE 1433606.303
AT ITER 6290 NEW BEST:: SOT 12459454 SOS 1838483 HAS SOPS 1838483 HAS SOUS 1431256 HAS SOUPS 1431256 WITH SCORE 1433094.483
AT ITER 6330 NEW BEST:: SOT 12459139 SOS 1836739 HAS SOPS 1836739 HAS SOUS 1430340 HAS SOUPS 1430340 WITH SCORE 1432176.739
AT ITER 6335 NEW BEST:: SOT 12459139 SOS 1836738 HAS SOPS 1836738 HAS SOUS 1430340 HAS SOUPS 1430340 WITH SCORE 1432176.738
AT ITER 6337 NEW BEST:: SOT 12459139 SOS 1836616 HAS SOPS 1836616 HAS SOUS 1430340 HAS SOUPS 1430340 WITH SCORE 1432176.616
AT ITER 6385 NEW BEST:: SOT 12459117 SOS 1836572 HAS SOPS 1836572 HAS SOUS 1430296 HAS SOUPS 1430296 WITH SCORE 1432132.572
AT ITER 6413 NEW BEST:: SOT 12459114 SOS 1836397 HAS SOPS 1836397 HAS SOUS 1430293 HAS SOUPS 1430293 WITH SCORE 1432129.397
AT ITER 6415 NEW BEST:: SOT 12459106 SOS 1836383 HAS SOPS 1836383 HAS SOUS 1430279 HAS SOUPS 1430279 WITH SCORE 1432115.383
AT ITER 6465 NEW BEST:: SOT 12459106 SOS 1836378 HAS SOPS 1836378 HAS SOUS 1430274 HAS SOUPS 1430274 WITH SCORE 1432110.378
AT ITER 6468 NEW BEST:: SOT 12458883 SOS 1835932 HAS SOPS 1835932 HAS SOUS 1429828 HAS SOUPS 1429828 WITH SCORE 1431663.932
AT ITER 6520 NEW BEST:: SOT 12458883 SOS 1835774 HAS SOPS 1835774 HAS SOUS 1429759 HAS SOUPS 1429759 WITH SCORE 1431594.774
AT ITER 6525 NEW BEST:: SOT 12458797 SOS 1835608 HAS SOPS 1835608 HAS SOUS 1429602 HAS SOUPS 1429602 WITH SCORE 1431437.608
AT ITER 6526 NEW BEST:: SOT 12458630 SOS 1835423 HAS SOPS 1835423 HAS SOUS 1429417 HAS SOUPS 1429417 WITH SCORE 1431252.423
AT ITER 6597 NEW BEST:: SOT 12458508 SOS 1834706 HAS SOPS 1834706 HAS SOUS 1429173 HAS SOUPS 1429173 WITH SCORE 1431007.706
AT ITER 6617 NEW BEST:: SOT 12458213 SOS 1834411 HAS SOPS 1834411 HAS SOUS 1428877 HAS SOUPS 1428877 WITH SCORE 1430711.411
AT ITER 6623 NEW BEST:: SOT 12458103 SOS 1834472 HAS SOPS 1834472 HAS SOUS 1428731 HAS SOUPS 1428731 WITH SCORE 1430565.472
AT ITER 6625 NEW BEST:: SOT 12457968 SOS 1834202 HAS SOPS 1834202 HAS SOUS 1428595 HAS SOUPS 1428595 WITH SCORE 1430429.202
AT ITER 6626 NEW BEST:: SOT 12457968 SOS 1833997 HAS SOPS 1833997 HAS SOUS 1428556 HAS SOUPS 1428556 WITH SCORE 1430389.997
AT ITER 6640 NEW BEST:: SOT 12457832 SOS 1833725 HAS SOPS 1833725 HAS SOUS 1428284 HAS SOUPS 1428284 WITH SCORE 1430117.725
AT ITER 6642 NEW BEST:: SOT 12457812 SOS 1833705 HAS SOPS 1833705 HAS SOUS 1428264 HAS SOUPS 1428264 WITH SCORE 1430097.705
AT ITER 6650 NEW BEST:: SOT 12457812 SOS 1833704 HAS SOPS 1833704 HAS SOUS 1428263 HAS SOUPS 1428263 WITH SCORE 1430096.704
AT ITER 6661 NEW BEST:: SOT 12457653 SOS 1833386 HAS SOPS 1833386 HAS SOUS 1427945 HAS SOUPS 1427945 WITH SCORE 1429778.386
AT ITER 6664 NEW BEST:: SOT 12455968 SOS 1831521 HAS SOPS 1831521 HAS SOUS 1427585 HAS SOUPS 1427585 WITH SCORE 1429416.521
AT ITER 6717 NEW BEST:: SOT 12455790 SOS 1832230 HAS SOPS 1832230 HAS SOUS 1427406 HAS SOUPS 1427406 WITH SCORE 1429238.23
AT ITER 6761 NEW BEST:: SOT 12455590 SOS 1831538 HAS SOPS 1831538 HAS SOUS 1427185 HAS SOUPS 1427185 WITH SCORE 1429016.538
AT ITER 6801 NEW BEST:: SOT 12455604 SOS 1831838 HAS SOPS 1831838 HAS SOUS 1427184 HAS SOUPS 1427184 WITH SCORE 1429015.838
AT ITER 6830 NEW BEST:: SOT 12455526 SOS 1831760 HAS SOPS 1831760 HAS SOUS 1427147 HAS SOUPS 1427147 WITH SCORE 1428978.76
AT ITER 6854 NEW BEST:: SOT 12455629 SOS 1831710 HAS SOPS 1831710 HAS SOUS 1427097 HAS SOUPS 1427097 WITH SCORE 1428928.71
AT ITER 6860 NEW BEST:: SOT 12455430 SOS 1831338 HAS SOPS 1831338 HAS SOUS 1426724 HAS SOUPS 1426724 WITH SCORE 1428555.338
AT ITER 6862 NEW BEST:: SOT 12455429 SOS 1831113 HAS SOPS 1831113 HAS SOUS 1426722 HAS SOUPS 1426722 WITH SCORE 1428553.113
AT ITER 6962 NEW BEST:: SOT 12455131 SOS 1830684 HAS SOPS 1830684 HAS SOUS 1426264 HAS SOUPS 1426264 WITH SCORE 1428094.684
AT ITER 6963 NEW BEST:: SOT 12455131 SOS 1830632 HAS SOPS 1830632 HAS SOUS 1426212 HAS SOUPS 1426212 WITH SCORE 1428042.632
AT ITER 6967 NEW BEST:: SOT 12455069 SOS 1830494 HAS SOPS 1830494 HAS SOUS 1426132 HAS SOUPS 1426132 WITH SCORE 1427962.494
AT ITER 6984 NEW BEST:: SOT 12455069 SOS 1830380 HAS SOPS 1830380 HAS SOUS 1426018 HAS SOUPS 1426018 WITH SCORE 1427848.38
AT ITER 6991 NEW BEST:: SOT 12454711 SOS 1829838 HAS SOPS 1829838 HAS SOUS 1425476 HAS SOUPS 1425476 WITH SCORE 1427305.838
AT ITER 6992 NEW BEST:: SOT 12454711 SOS 1829835 HAS SOPS 1829835 HAS SOUS 1425473 HAS SOUPS 1425473 WITH SCORE 1427302.835
AT ITER 7020 NEW BEST:: SOT 12454710 SOS 1829833 HAS SOPS 1829833 HAS SOUS 1425471 HAS SOUPS 1425471 WITH SCORE 1427300.833
AT ITER 7030 NEW BEST:: SOT 12454694 SOS 1829730 HAS SOPS 1829730 HAS SOUS 1425454 HAS SOUPS 1425454 WITH SCORE 1427283.73
AT ITER 7048 NEW BEST:: SOT 12454618 SOS 1829460 HAS SOPS 1829460 HAS SOUS 1425284 HAS SOUPS 1425284 WITH SCORE 1427113.46
AT ITER 7060 NEW BEST:: SOT 12454413 SOS 1829186 HAS SOPS 1829186 HAS SOUS 1425072 HAS SOUPS 1425072 WITH SCORE 1426901.186
AT ITER 7062 NEW BEST:: SOT 12454413 SOS 1829168 HAS SOPS 1829168 HAS SOUS 1425054 HAS SOUPS 1425054 WITH SCORE 1426883.168
AT ITER 7094 NEW BEST:: SOT 12454143 SOS 1828825 HAS SOPS 1828825 HAS SOUS 1424772 HAS SOUPS 1424772 WITH SCORE 1426600.825
AT ITER 7111 NEW BEST:: SOT 12453707 SOS 1828646 HAS SOPS 1828646 HAS SOUS 1424495 HAS SOUPS 1424495 WITH SCORE 1426323.646
AT ITER 7123 NEW BEST:: SOT 12453772 SOS 1828597 HAS SOPS 1828597 HAS SOUS 1424446 HAS SOUPS 1424446 WITH SCORE 1426274.597
AT ITER 7137 NEW BEST:: SOT 12453681 SOS 1828470 HAS SOPS 1828470 HAS SOUS 1424354 HAS SOUPS 1424354 WITH SCORE 1426182.47
AT ITER 7193 NEW BEST:: SOT 12453536 SOS 1828180 HAS SOPS 1828180 HAS SOUS 1424064 HAS SOUPS 1424064 WITH SCORE 1425892.18
AT ITER 7225 NEW BEST:: SOT 12453423 SOS 1828025 HAS SOPS 1828025 HAS SOUS 1424022 HAS SOUPS 1424022 WITH SCORE 1425850.025
AT ITER 7232 NEW BEST:: SOT 12453278 SOS 1827819 HAS SOPS 1827819 HAS SOUS 1423815 HAS SOUPS 1423815 WITH SCORE 1425642.819
AT ITER 7275 NEW BEST:: SOT 12453353 SOS 1827783 HAS SOPS 1827783 HAS SOUS 1423779 HAS SOUPS 1423779 WITH SCORE 1425606.783
AT ITER 7277 NEW BEST:: SOT 12453353 SOS 1828078 HAS SOPS 1828078 HAS SOUS 1423752 HAS SOUPS 1423752 WITH SCORE 1425580.078
AT ITER 7278 NEW BEST:: SOT 12453151 SOS 1827923 HAS SOPS 1827923 HAS SOUS 1423597 HAS SOUPS 1423597 WITH SCORE 1425424.923
AT ITER 7309 NEW BEST:: SOT 12452837 SOS 1826169 HAS SOPS 1826169 HAS SOUS 1422989 HAS SOUPS 1422989 WITH SCORE 1424815.169
AT ITER 7321 NEW BEST:: SOT 12452660 SOS 1826036 HAS SOPS 1826036 HAS SOUS 1422865 HAS SOUPS 1422865 WITH SCORE 1424691.036
AT ITER 7335 NEW BEST:: SOT 12452660 SOS 1826036 HAS SOPS 1826036 HAS SOUS 1422864 HAS SOUPS 1422864 WITH SCORE 1424690.036
AT ITER 7366 NEW BEST:: SOT 12452514 SOS 1826179 HAS SOPS 1826179 HAS SOUS 1422710 HAS SOUPS 1422710 WITH SCORE 1424536.179
AT ITER 7387 NEW BEST:: SOT 12452371 SOS 1826223 HAS SOPS 1826223 HAS SOUS 1422567 HAS SOUPS 1422567 WITH SCORE 1424393.223
AT ITER 7410 NEW BEST:: SOT 12452371 SOS 1826129 HAS SOPS 1826129 HAS SOUS 1422473 HAS SOUPS 1422473 WITH SCORE 1424299.129
AT ITER 7481 NEW BEST:: SOT 12451939 SOS 1825706 HAS SOPS 1825706 HAS SOUS 1422050 HAS SOUPS 1422050 WITH SCORE 1423875.706
AT ITER 7491 NEW BEST:: SOT 12452675 SOS 1826701 HAS SOPS 1826701 HAS SOUS 1421875 HAS SOUPS 1421875 WITH SCORE 1423701.701
AT ITER 7561 NEW BEST:: SOT 12452577 SOS 1826697 HAS SOPS 1826697 HAS SOUS 1421871 HAS SOUPS 1421871 WITH SCORE 1423697.697
AT ITER 7589 NEW BEST:: SOT 12452577 SOS 1826668 HAS SOPS 1826668 HAS SOUS 1421867 HAS SOUPS 1421867 WITH SCORE 1423693.668
AT ITER 7594 NEW BEST:: SOT 12452402 SOS 1826468 HAS SOPS 1826468 HAS SOUS 1421730 HAS SOUPS 1421730 WITH SCORE 1423556.468
AT ITER 7599 NEW BEST:: SOT 12452290 SOS 1825710 HAS SOPS 1825710 HAS SOUS 1421506 HAS SOUPS 1421506 WITH SCORE 1423331.71
AT ITER 7601 NEW BEST:: SOT 12452237 SOS 1825823 HAS SOPS 1825823 HAS SOUS 1421400 HAS SOUPS 1421400 WITH SCORE 1423225.823
AT ITER 7611 NEW BEST:: SOT 12452158 SOS 1825792 HAS SOPS 1825792 HAS SOUS 1421191 HAS SOUPS 1421191 WITH SCORE 1423016.792
AT ITER 7665 NEW BEST:: SOT 12451808 SOS 1825346 HAS SOPS 1825346 HAS SOUS 1420828 HAS SOUPS 1420828 WITH SCORE 1422653.346
AT ITER 7684 NEW BEST:: SOT 12451408 SOS 1824894 HAS SOPS 1824894 HAS SOUS 1420376 HAS SOUPS 1420376 WITH SCORE 1422200.894
AT ITER 7698 NEW BEST:: SOT 12451061 SOS 1824543 HAS SOPS 1824543 HAS SOUS 1420025 HAS SOUPS 1420025 WITH SCORE 1421849.543
AT ITER 7700 NEW BEST:: SOT 12451060 SOS 1824541 HAS SOPS 1824541 HAS SOUS 1420023 HAS SOUPS 1420023 WITH SCORE 1421847.541
AT ITER 7721 NEW BEST:: SOT 12450599 SOS 1824282 HAS SOPS 1824282 HAS SOUS 1419742 HAS SOUPS 1419742 WITH SCORE 1421566.282
AT ITER 7725 NEW BEST:: SOT 12450355 SOS 1823601 HAS SOPS 1823601 HAS SOUS 1419048 HAS SOUPS 1419048 WITH SCORE 1420871.601
AT ITER 7736 NEW BEST:: SOT 12450367 SOS 1823342 HAS SOPS 1823342 HAS SOUS 1418789 HAS SOUPS 1418789 WITH SCORE 1420612.342
AT ITER 7754 NEW BEST:: SOT 12450295 SOS 1823198 HAS SOPS 1823198 HAS SOUS 1418713 HAS SOUPS 1418713 WITH SCORE 1420536.198
AT ITER 7807 NEW BEST:: SOT 12450295 SOS 1823177 HAS SOPS 1823177 HAS SOUS 1418692 HAS SOUPS 1418692 WITH SCORE 1420515.177
AT ITER 7832 NEW BEST:: SOT 12450294 SOS 1822981 HAS SOPS 1822981 HAS SOUS 1418683 HAS SOUPS 1418683 WITH SCORE 1420505.981
AT ITER 7850 NEW BEST:: SOT 12450048 SOS 1822497 HAS SOPS 1822497 HAS SOUS 1418515 HAS SOUPS 1418515 WITH SCORE 1420337.497
AT ITER 7861 NEW BEST:: SOT 12450051 SOS 1822444 HAS SOPS 1822444 HAS SOUS 1418462 HAS SOUPS 1418462 WITH SCORE 1420284.444
AT ITER 7870 NEW BEST:: SOT 12450054 SOS 1822447 HAS SOPS 1822447 HAS SOUS 1418407 HAS SOUPS 1418407 WITH SCORE 1420229.447
AT ITER 7911 NEW BEST:: SOT 12450054 SOS 1822186 HAS SOPS 1822186 HAS SOUS 1418376 HAS SOUPS 1418376 WITH SCORE 1420198.186
AT ITER 7927 NEW BEST:: SOT 12449747 SOS 1821967 HAS SOPS 1821967 HAS SOUS 1418157 HAS SOUPS 1418157 WITH SCORE 1419978.967
AT ITER 7940 NEW BEST:: SOT 12449719 SOS 1821911 HAS SOPS 1821911 HAS SOUS 1418101 HAS SOUPS 1418101 WITH SCORE 1419922.911
AT ITER 7949 NEW BEST:: SOT 12449393 SOS 1821278 HAS SOPS 1821278 HAS SOUS 1417755 HAS SOUPS 1417755 WITH SCORE 1419576.278
AT ITER 7969 NEW BEST:: SOT 12449359 SOS 1821176 HAS SOPS 1821176 HAS SOUS 1417653 HAS SOUPS 1417653 WITH SCORE 1419474.176
AT ITER 8002 NEW BEST:: SOT 12449333 SOS 1821124 HAS SOPS 1821124 HAS SOUS 1417518 HAS SOUPS 1417518 WITH SCORE 1419339.124
AT ITER 8037 NEW BEST:: SOT 12449063 SOS 1820558 HAS SOPS 1820558 HAS SOUS 1417385 HAS SOUPS 1417385 WITH SCORE 1419205.558
AT ITER 8064 NEW BEST:: SOT 12449063 SOS 1820439 HAS SOPS 1820439 HAS SOUS 1417147 HAS SOUPS 1417147 WITH SCORE 1418967.439
AT ITER 8068 NEW BEST:: SOT 12449063 SOS 1820265 HAS SOPS 1820265 HAS SOUS 1416973 HAS SOUPS 1416973 WITH SCORE 1418793.265
AT ITER 8069 NEW BEST:: SOT 12449048 SOS 1820250 HAS SOPS 1820250 HAS SOUS 1416945 HAS SOUPS 1416945 WITH SCORE 1418765.25
AT ITER 8084 NEW BEST:: SOT 12448915 SOS 1819851 HAS SOPS 1819851 HAS SOUS 1416679 HAS SOUPS 1416679 WITH SCORE 1418498.851
AT ITER 8088 NEW BEST:: SOT 12448871 SOS 1819817 HAS SOPS 1819817 HAS SOUS 1416645 HAS SOUPS 1416645 WITH SCORE 1418464.817
AT ITER 8105 NEW BEST:: SOT 12448871 SOS 1819737 HAS SOPS 1819737 HAS SOUS 1416565 HAS SOUPS 1416565 WITH SCORE 1418384.737
AT ITER 8119 NEW BEST:: SOT 12448796 SOS 1819681 HAS SOPS 1819681 HAS SOUS 1416151 HAS SOUPS 1416151 WITH SCORE 1417970.681
AT ITER 8131 NEW BEST:: SOT 12448613 SOS 1819380 HAS SOPS 1819380 HAS SOUS 1415850 HAS SOUPS 1415850 WITH SCORE 1417669.38
AT ITER 8145 NEW BEST:: SOT 12448110 SOS 1818871 HAS SOPS 1818871 HAS SOUS 1415520 HAS SOUPS 1415520 WITH SCORE 1417338.871
AT ITER 8160 NEW BEST:: SOT 12447971 SOS 1818743 HAS SOPS 1818743 HAS SOUS 1414243 HAS SOUPS 1414243 WITH SCORE 1416061.743
AT ITER 8165 NEW BEST:: SOT 12447701 SOS 1818514 HAS SOPS 1818514 HAS SOUS 1414082 HAS SOUPS 1414082 WITH SCORE 1415900.514
AT ITER 8192 NEW BEST:: SOT 12447627 SOS 1818144 HAS SOPS 1818144 HAS SOUS 1413934 HAS SOUPS 1413934 WITH SCORE 1415752.144
AT ITER 8199 NEW BEST:: SOT 12447627 SOS 1818143 HAS SOPS 1818143 HAS SOUS 1413933 HAS SOUPS 1413933 WITH SCORE 1415751.143
AT ITER 8203 NEW BEST:: SOT 12447532 SOS 1817964 HAS SOPS 1817964 HAS SOUS 1413875 HAS SOUPS 1413875 WITH SCORE 1415692.964
AT ITER 8206 NEW BEST:: SOT 12447515 SOS 1817930 HAS SOPS 1817930 HAS SOUS 1413841 HAS SOUPS 1413841 WITH SCORE 1415658.93
AT ITER 8219 NEW BEST:: SOT 12447412 SOS 1817722 HAS SOPS 1817722 HAS SOUS 1413633 HAS SOUPS 1413633 WITH SCORE 1415450.722
AT ITER 8229 NEW BEST:: SOT 12447412 SOS 1817640 HAS SOPS 1817640 HAS SOUS 1413632 HAS SOUPS 1413632 WITH SCORE 1415449.64
AT ITER 8236 NEW BEST:: SOT 12447412 SOS 1817614 HAS SOPS 1817614 HAS SOUS 1413606 HAS SOUPS 1413606 WITH SCORE 1415423.614
AT ITER 8250 NEW BEST:: SOT 12447442 SOS 1817374 HAS SOPS 1817374 HAS SOUS 1413566 HAS SOUPS 1413566 WITH SCORE 1415383.374
AT ITER 8254 NEW BEST:: SOT 12446762 SOS 1816623 HAS SOPS 1816623 HAS SOUS 1413008 HAS SOUPS 1413008 WITH SCORE 1414824.623
AT ITER 8274 NEW BEST:: SOT 12446761 SOS 1816477 HAS SOPS 1816477 HAS SOUS 1412992 HAS SOUPS 1412992 WITH SCORE 1414808.477
AT ITER 8303 NEW BEST:: SOT 12446742 SOS 1816375 HAS SOPS 1816375 HAS SOUS 1412890 HAS SOUPS 1412890 WITH SCORE 1414706.375
AT ITER 8318 NEW BEST:: SOT 12446742 SOS 1816303 HAS SOPS 1816303 HAS SOUS 1412890 HAS SOUPS 1412890 WITH SCORE 1414706.303
AT ITER 8337 NEW BEST:: SOT 12446759 SOS 1815863 HAS SOPS 1815863 HAS SOUS 1412211 HAS SOUPS 1412211 WITH SCORE 1414026.863
AT ITER 8339 NEW BEST:: SOT 12445619 SOS 1814533 HAS SOPS 1814533 HAS SOUS 1410881 HAS SOUPS 1410881 WITH SCORE 1412695.533
AT ITER 8354 NEW BEST:: SOT 12445531 SOS 1814522 HAS SOPS 1814522 HAS SOUS 1410793 HAS SOUPS 1410793 WITH SCORE 1412607.522
AT ITER 8413 NEW BEST:: SOT 12445531 SOS 1814544 HAS SOPS 1814544 HAS SOUS 1410771 HAS SOUPS 1410771 WITH SCORE 1412585.544
AT ITER 8417 NEW BEST:: SOT 12445158 SOS 1813774 HAS SOPS 1813774 HAS SOUS 1407452 HAS SOUPS 1407452 WITH SCORE 1409265.774
AT ITER 8431 NEW BEST:: SOT 12445157 SOS 1813769 HAS SOPS 1813769 HAS SOUS 1407447 HAS SOUPS 1407447 WITH SCORE 1409260.769
AT ITER 8449 NEW BEST:: SOT 12443713 SOS 1812845 HAS SOPS 1812845 HAS SOUS 1406714 HAS SOUPS 1406714 WITH SCORE 1408526.845
AT ITER 8478 NEW BEST:: SOT 12442334 SOS 1811269 HAS SOPS 1811269 HAS SOUS 1406517 HAS SOUPS 1406517 WITH SCORE 1408328.269
AT ITER 8501 NEW BEST:: SOT 12441552 SOS 1811435 HAS SOPS 1811435 HAS SOUS 1406389 HAS SOUPS 1406389 WITH SCORE 1408200.435
AT ITER 8512 NEW BEST:: SOT 12441315 SOS 1810726 HAS SOPS 1810726 HAS SOUS 1405915 HAS SOUPS 1405915 WITH SCORE 1407725.726
AT ITER 8540 NEW BEST:: SOT 12441225 SOS 1810400 HAS SOPS 1810400 HAS SOUS 1405684 HAS SOUPS 1405684 WITH SCORE 1407494.4
AT ITER 8571 NEW BEST:: SOT 12441163 SOS 1810338 HAS SOPS 1810338 HAS SOUS 1405622 HAS SOUPS 1405622 WITH SCORE 1407432.338
AT ITER 8632 NEW BEST:: SOT 12441059 SOS 1811262 HAS SOPS 1811262 HAS SOUS 1405384 HAS SOUPS 1405384 WITH SCORE 1407195.262
AT ITER 8638 NEW BEST:: SOT 12441204 SOS 1811401 HAS SOPS 1811401 HAS SOUS 1405378 HAS SOUPS 1405378 WITH SCORE 1407189.401
AT ITER 8654 NEW BEST:: SOT 12441165 SOS 1811287 HAS SOPS 1811287 HAS SOUS 1405332 HAS SOUPS 1405332 WITH SCORE 1407143.287
AT ITER 8662 NEW BEST:: SOT 12441096 SOS 1811201 HAS SOPS 1811201 HAS SOUS 1405246 HAS SOUPS 1405246 WITH SCORE 1407057.201
AT ITER 8675 NEW BEST:: SOT 12441096 SOS 1811373 HAS SOPS 1811373 HAS SOUS 1405207 HAS SOUPS 1405207 WITH SCORE 1407018.373
AT ITER 8682 NEW BEST:: SOT 12441028 SOS 1811169 HAS SOPS 1811169 HAS SOUS 1405070 HAS SOUPS 1405070 WITH SCORE 1406881.169
AT ITER 8700 NEW BEST:: SOT 12440898 SOS 1811058 HAS SOPS 1811058 HAS SOUS 1404959 HAS SOUPS 1404959 WITH SCORE 1406770.058
AT ITER 8743 NEW BEST:: SOT 12440898 SOS 1810963 HAS SOPS 1810963 HAS SOUS 1404864 HAS SOUPS 1404864 WITH SCORE 1406674.963
AT ITER 8756 NEW BEST:: SOT 12440862 SOS 1810881 HAS SOPS 1810881 HAS SOUS 1404782 HAS SOUPS 1404782 WITH SCORE 1406592.881
AT ITER 8773 NEW BEST:: SOT 12440862 SOS 1810859 HAS SOPS 1810859 HAS SOUS 1404781 HAS SOUPS 1404781 WITH SCORE 1406591.859
AT ITER 8816 NEW BEST:: SOT 12440772 SOS 1810679 HAS SOPS 1810679 HAS SOUS 1404601 HAS SOUPS 1404601 WITH SCORE 1406411.679
AT ITER 8842 NEW BEST:: SOT 12440694 SOS 1810677 HAS SOPS 1810677 HAS SOUS 1404600 HAS SOUPS 1404600 WITH SCORE 1406410.677
AT ITER 8894 NEW BEST:: SOT 12440694 SOS 1810677 HAS SOPS 1810677 HAS SOUS 1403571 HAS SOUPS 1403571 WITH SCORE 1405381.677
AT ITER 8900 NEW BEST:: SOT 12440584 SOS 1810457 HAS SOPS 1810457 HAS SOUS 1403351 HAS SOUPS 1403351 WITH SCORE 1405161.457
AT ITER 8933 NEW BEST:: SOT 12440408 SOS 1810105 HAS SOPS 1810105 HAS SOUS 1402999 HAS SOUPS 1402999 WITH SCORE 1404809.105
AT ITER 8954 NEW BEST:: SOT 12440020 SOS 1809754 HAS SOPS 1809754 HAS SOUS 1402696 HAS SOUPS 1402696 WITH SCORE 1404505.754
AT ITER 8971 NEW BEST:: SOT 12439649 SOS 1809595 HAS SOPS 1809595 HAS SOUS 1402325 HAS SOUPS 1402325 WITH SCORE 1404134.595
AT ITER 9032 NEW BEST:: SOT 12439647 SOS 1809581 HAS SOPS 1809581 HAS SOUS 1402311 HAS SOUPS 1402311 WITH SCORE 1404120.581
AT ITER 9049 NEW BEST:: SOT 12439646 SOS 1809522 HAS SOPS 1809522 HAS SOUS 1402281 HAS SOUPS 1402281 WITH SCORE 1404090.522
AT ITER 9055 NEW BEST:: SOT 12439645 SOS 1809521 HAS SOPS 1809521 HAS SOUS 1402281 HAS SOUPS 1402281 WITH SCORE 1404090.521
AT ITER 9097 NEW BEST:: SOT 12439645 SOS 1809301 HAS SOPS 1809301 HAS SOUS 1402280 HAS SOUPS 1402280 WITH SCORE 1404089.301
AT ITER 9113 NEW BEST:: SOT 12439280 SOS 1808936 HAS SOPS 1808936 HAS SOUS 1401914 HAS SOUPS 1401914 WITH SCORE 1403722.936
AT ITER 9128 NEW BEST:: SOT 12439183 SOS 1808742 HAS SOPS 1808742 HAS SOUS 1401720 HAS SOUPS 1401720 WITH SCORE 1403528.742
AT ITER 9131 NEW BEST:: SOT 12438877 SOS 1808454 HAS SOPS 1808454 HAS SOUS 1401432 HAS SOUPS 1401432 WITH SCORE 1403240.454
AT ITER 9132 NEW BEST:: SOT 12438877 SOS 1808454 HAS SOPS 1808454 HAS SOUS 1401430 HAS SOUPS 1401430 WITH SCORE 1403238.454
AT ITER 9139 NEW BEST:: SOT 12438819 SOS 1808338 HAS SOPS 1808338 HAS SOUS 1401314 HAS SOUPS 1401314 WITH SCORE 1403122.338
AT ITER 9175 NEW BEST:: SOT 12438683 SOS 1808335 HAS SOPS 1808335 HAS SOUS 1399359 HAS SOUPS 1399359 WITH SCORE 1401167.335
AT ITER 9207 NEW BEST:: SOT 12438681 SOS 1808131 HAS SOPS 1808131 HAS SOUS 1399355 HAS SOUPS 1399355 WITH SCORE 1401163.131
AT ITER 9216 NEW BEST:: SOT 12438497 SOS 1807899 HAS SOPS 1807899 HAS SOUS 1398829 HAS SOUPS 1398829 WITH SCORE 1400636.899
AT ITER 9218 NEW BEST:: SOT 12438269 SOS 1807222 HAS SOPS 1807222 HAS SOUS 1398539 HAS SOUPS 1398539 WITH SCORE 1400346.222
AT ITER 9225 NEW BEST:: SOT 12438233 SOS 1807186 HAS SOPS 1807186 HAS SOUS 1398482 HAS SOUPS 1398482 WITH SCORE 1400289.186
AT ITER 9237 NEW BEST:: SOT 12437962 SOS 1806915 HAS SOPS 1806915 HAS SOUS 1398206 HAS SOUPS 1398206 WITH SCORE 1400012.915
AT ITER 9245 NEW BEST:: SOT 12437962 SOS 1806897 HAS SOPS 1806897 HAS SOUS 1398188 HAS SOUPS 1398188 WITH SCORE 1399994.897
AT ITER 9248 NEW BEST:: SOT 12437899 SOS 1806771 HAS SOPS 1806771 HAS SOUS 1398062 HAS SOUPS 1398062 WITH SCORE 1399868.771
AT ITER 9252 NEW BEST:: SOT 12437755 SOS 1806339 HAS SOPS 1806339 HAS SOUS 1397630 HAS SOUPS 1397630 WITH SCORE 1399436.339
AT ITER 9259 NEW BEST:: SOT 12437689 SOS 1806240 HAS SOPS 1806240 HAS SOUS 1397564 HAS SOUPS 1397564 WITH SCORE 1399370.24
AT ITER 9260 NEW BEST:: SOT 12437689 SOS 1806176 HAS SOPS 1806176 HAS SOUS 1397500 HAS SOUPS 1397500 WITH SCORE 1399306.176
AT ITER 9271 NEW BEST:: SOT 12437396 SOS 1805669 HAS SOPS 1805669 HAS SOUS 1397286 HAS SOUPS 1397286 WITH SCORE 1399091.669
AT ITER 9273 NEW BEST:: SOT 12437396 SOS 1805468 HAS SOPS 1805468 HAS SOUS 1397285 HAS SOUPS 1397285 WITH SCORE 1399090.468
AT ITER 9301 NEW BEST:: SOT 12437316 SOS 1804976 HAS SOPS 1804976 HAS SOUS 1397036 HAS SOUPS 1397036 WITH SCORE 1398840.976
AT ITER 9320 NEW BEST:: SOT 12437316 SOS 1804976 HAS SOPS 1804976 HAS SOUS 1397035 HAS SOUPS 1397035 WITH SCORE 1398839.976
AT ITER 9413 NEW BEST:: SOT 12437245 SOS 1804905 HAS SOPS 1804905 HAS SOUS 1396964 HAS SOUPS 1396964 WITH SCORE 1398768.905
AT ITER 9435 NEW BEST:: SOT 12436918 SOS 1804750 HAS SOPS 1804750 HAS SOUS 1396809 HAS SOUPS 1396809 WITH SCORE 1398613.75
AT ITER 9459 NEW BEST:: SOT 12436918 SOS 1804617 HAS SOPS 1804617 HAS SOUS 1396780 HAS SOUPS 1396780 WITH SCORE 1398584.617
AT ITER 9495 NEW BEST:: SOT 12436693 SOS 1804427 HAS SOPS 1804427 HAS SOUS 1396555 HAS SOUPS 1396555 WITH SCORE 1398359.427
AT ITER 9506 NEW BEST:: SOT 12436676 SOS 1804444 HAS SOPS 1804444 HAS SOUS 1396529 HAS SOUPS 1396529 WITH SCORE 1398333.444
AT ITER 9547 NEW BEST:: SOT 12436522 SOS 1804135 HAS SOPS 1804135 HAS SOUS 1396220 HAS SOUPS 1396220 WITH SCORE 1398024.135
AT ITER 9698 NEW BEST:: SOT 12436111 SOS 1804124 HAS SOPS 1804124 HAS SOUS 1396088 HAS SOUPS 1396088 WITH SCORE 1397892.124
AT ITER 9709 NEW BEST:: SOT 12436111 SOS 1803901 HAS SOPS 1803901 HAS SOUS 1395865 HAS SOUPS 1395865 WITH SCORE 1397668.901
AT ITER 9712 NEW BEST:: SOT 12436110 SOS 1803899 HAS SOPS 1803899 HAS SOUS 1395863 HAS SOUPS 1395863 WITH SCORE 1397666.899
AT ITER 9715 NEW BEST:: SOT 12436192 SOS 1803736 HAS SOPS 1803736 HAS SOUS 1395700 HAS SOUPS 1395700 WITH SCORE 1397503.736
AT ITER 9721 NEW BEST:: SOT 12435006 SOS 1803934 HAS SOPS 1803934 HAS SOUS 1395200 HAS SOUPS 1395200 WITH SCORE 1397003.934
AT ITER 9749 NEW BEST:: SOT 12434857 SOS 1803200 HAS SOPS 1803200 HAS SOUS 1394735 HAS SOUPS 1394735 WITH SCORE 1396538.2
AT ITER 9763 NEW BEST:: SOT 12434857 SOS 1803302 HAS SOPS 1803302 HAS SOUS 1394697 HAS SOUPS 1394697 WITH SCORE 1396500.302
AT ITER 9774 NEW BEST:: SOT 12434747 SOS 1803191 HAS SOPS 1803191 HAS SOUS 1394586 HAS SOUPS 1394586 WITH SCORE 1396389.191
AT ITER 9793 NEW BEST:: SOT 12434515 SOS 1803075 HAS SOPS 1803075 HAS SOUS 1394470 HAS SOUPS 1394470 WITH SCORE 1396273.075
AT ITER 9806 NEW BEST:: SOT 12434647 SOS 1803074 HAS SOPS 1803074 HAS SOUS 1394469 HAS SOUPS 1394469 WITH SCORE 1396272.074
AT ITER 9853 NEW BEST:: SOT 12434644 SOS 1803012 HAS SOPS 1803012 HAS SOUS 1394407 HAS SOUPS 1394407 WITH SCORE 1396210.012
AT ITER 9914 NEW BEST:: SOT 12434467 SOS 1802835 HAS SOPS 1802835 HAS SOUS 1394230 HAS SOUPS 1394230 WITH SCORE 1396032.835
AT ITER 9930 NEW BEST:: SOT 12434467 SOS 1802827 HAS SOPS 1802827 HAS SOUS 1394229 HAS SOUPS 1394229 WITH SCORE 1396031.827
AT ITER 9946 NEW BEST:: SOT 12437618 SOS 1806153 HAS SOPS 1806153 HAS SOUS 1392448 HAS SOUPS 1392448 WITH SCORE 1394254.153
AT ITER 9961 NEW BEST:: SOT 12437618 SOS 1806153 HAS SOPS 1806153 HAS SOUS 1392447 HAS SOUPS 1392447 WITH SCORE 1394253.153
AT ITER 9966 NEW BEST:: SOT 12437203 SOS 1805911 HAS SOPS 1805911 HAS SOUS 1392205 HAS SOUPS 1392205 WITH SCORE 1394010.911
AT ITER 9973 NEW BEST:: SOT 12437203 SOS 1805911 HAS SOPS 1805911 HAS SOUS 1391183 HAS SOUPS 1391183 WITH SCORE 1392988.911
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13736464 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151852 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="ASLink-PT-10b"
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 ASLink-PT-10b, 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 r003-oct2-167813590500168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-10b.tgz
mv ASLink-PT-10b 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 ;