Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300560.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.0K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 24 05:37 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 1589129065332

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3495 places, 5439 transitions, 15081 arcs.
AT ITER 0 NEW BEST:: SOT 12062868 SOS 2820991 HAS SOPS 2820991 HAS SOUS 1629137 HAS SOUPS 1629137 WITH SCORE 1631957.991
AT ITER 6 NEW BEST:: SOT 12062820 SOS 2820895 HAS SOPS 2820895 HAS SOUS 1629041 HAS SOUPS 1629041 WITH SCORE 1631861.895
AT ITER 11 NEW BEST:: SOT 12063165 SOS 2821585 HAS SOPS 2821585 HAS SOUS 1628635 HAS SOUPS 1628635 WITH SCORE 1631456.585
AT ITER 13 NEW BEST:: SOT 12062253 SOS 2821585 HAS SOPS 2821585 HAS SOUS 1627416 HAS SOUPS 1627416 WITH SCORE 1630237.585
AT ITER 24 NEW BEST:: SOT 12061944 SOS 2820967 HAS SOPS 2820967 HAS SOUS 1627107 HAS SOUPS 1627107 WITH SCORE 1629927.967
AT ITER 30 NEW BEST:: SOT 12061944 SOS 2821842 HAS SOPS 2821842 HAS SOUS 1627106 HAS SOUPS 1627106 WITH SCORE 1629927.842
AT ITER 32 NEW BEST:: SOT 12060974 SOS 2820401 HAS SOPS 2820401 HAS SOUS 1625637 HAS SOUPS 1625637 WITH SCORE 1628457.401
AT ITER 60 NEW BEST:: SOT 12060973 SOS 2820399 HAS SOPS 2820399 HAS SOUS 1625635 HAS SOUPS 1625635 WITH SCORE 1628455.399
AT ITER 112 NEW BEST:: SOT 12060547 SOS 2819970 HAS SOPS 2819970 HAS SOUS 1625208 HAS SOUPS 1625208 WITH SCORE 1628027.97
AT ITER 193 NEW BEST:: SOT 12058402 SOS 2820967 HAS SOPS 2820967 HAS SOUS 1623640 HAS SOUPS 1623640 WITH SCORE 1626460.967
AT ITER 279 NEW BEST:: SOT 12058255 SOS 2820519 HAS SOPS 2820519 HAS SOUS 1623192 HAS SOUPS 1623192 WITH SCORE 1626012.519
AT ITER 285 NEW BEST:: SOT 12058179 SOS 2820367 HAS SOPS 2820367 HAS SOUS 1623040 HAS SOUPS 1623040 WITH SCORE 1625860.367
AT ITER 304 NEW BEST:: SOT 12057284 SOS 2819472 HAS SOPS 2819472 HAS SOUS 1622145 HAS SOUPS 1622145 WITH SCORE 1624964.472
AT ITER 314 NEW BEST:: SOT 12056323 SOS 2817550 HAS SOPS 2817550 HAS SOUS 1620461 HAS SOUPS 1620461 WITH SCORE 1623278.55
AT ITER 318 NEW BEST:: SOT 12055449 SOS 2816666 HAS SOPS 2816666 HAS SOUS 1619586 HAS SOUPS 1619586 WITH SCORE 1622402.666
AT ITER 331 NEW BEST:: SOT 12055449 SOS 2816665 HAS SOPS 2816665 HAS SOUS 1619585 HAS SOUPS 1619585 WITH SCORE 1622401.665
AT ITER 334 NEW BEST:: SOT 12055018 SOS 2815372 HAS SOPS 2815372 HAS SOUS 1618292 HAS SOUPS 1618292 WITH SCORE 1621107.372
AT ITER 347 NEW BEST:: SOT 12054907 SOS 2815454 HAS SOPS 2815454 HAS SOUS 1618029 HAS SOUPS 1618029 WITH SCORE 1620844.454
AT ITER 363 NEW BEST:: SOT 12054907 SOS 2815454 HAS SOPS 2815454 HAS SOUS 1618028 HAS SOUPS 1618028 WITH SCORE 1620843.454
AT ITER 371 NEW BEST:: SOT 12054719 SOS 2815939 HAS SOPS 2815939 HAS SOUS 1617840 HAS SOUPS 1617840 WITH SCORE 1620655.939
AT ITER 372 NEW BEST:: SOT 12054548 SOS 2816106 HAS SOPS 2816106 HAS SOUS 1617668 HAS SOUPS 1617668 WITH SCORE 1620484.106
AT ITER 380 NEW BEST:: SOT 12054231 SOS 2816423 HAS SOPS 2816423 HAS SOUS 1617360 HAS SOUPS 1617360 WITH SCORE 1620176.423
AT ITER 395 NEW BEST:: SOT 12054231 SOS 2815781 HAS SOPS 2815781 HAS SOUS 1617146 HAS SOUPS 1617146 WITH SCORE 1619961.781
AT ITER 403 NEW BEST:: SOT 12053642 SOS 2815780 HAS SOPS 2815780 HAS SOUS 1617145 HAS SOUPS 1617145 WITH SCORE 1619960.78
AT ITER 404 NEW BEST:: SOT 12052840 SOS 2816582 HAS SOPS 2816582 HAS SOUS 1616203 HAS SOUPS 1616203 WITH SCORE 1619019.582
AT ITER 410 NEW BEST:: SOT 12052406 SOS 2819620 HAS SOPS 2819620 HAS SOUS 1615769 HAS SOUPS 1615769 WITH SCORE 1618588.62
AT ITER 512 NEW BEST:: SOT 12051658 SOS 2818872 HAS SOPS 2818872 HAS SOUS 1615021 HAS SOUPS 1615021 WITH SCORE 1617839.872
AT ITER 514 NEW BEST:: SOT 12051539 SOS 2819656 HAS SOPS 2819656 HAS SOUS 1614924 HAS SOUPS 1614924 WITH SCORE 1617743.656
AT ITER 530 NEW BEST:: SOT 12051877 SOS 2822650 HAS SOPS 2822650 HAS SOUS 1614825 HAS SOUPS 1614825 WITH SCORE 1617647.65
AT ITER 532 NEW BEST:: SOT 12051866 SOS 2822628 HAS SOPS 2822628 HAS SOUS 1614803 HAS SOUPS 1614803 WITH SCORE 1617625.628
AT ITER 567 NEW BEST:: SOT 12050860 SOS 2821622 HAS SOPS 2821622 HAS SOUS 1614300 HAS SOUPS 1614300 WITH SCORE 1617121.622
AT ITER 571 NEW BEST:: SOT 12050843 SOS 2821605 HAS SOPS 2821605 HAS SOUS 1614283 HAS SOUPS 1614283 WITH SCORE 1617104.605
AT ITER 581 NEW BEST:: SOT 12050842 SOS 2821603 HAS SOPS 2821603 HAS SOUS 1614281 HAS SOUPS 1614281 WITH SCORE 1617102.603
AT ITER 602 NEW BEST:: SOT 12051029 SOS 2820016 HAS SOPS 2820016 HAS SOUS 1613698 HAS SOUPS 1613698 WITH SCORE 1616518.016
AT ITER 630 NEW BEST:: SOT 12051029 SOS 2819945 HAS SOPS 2819945 HAS SOUS 1613627 HAS SOUPS 1613627 WITH SCORE 1616446.945
AT ITER 632 NEW BEST:: SOT 12050012 SOS 2833919 HAS SOPS 2833919 HAS SOUS 1613343 HAS SOUPS 1613343 WITH SCORE 1616176.919
AT ITER 637 NEW BEST:: SOT 12049713 SOS 2833321 HAS SOPS 2833321 HAS SOUS 1612322 HAS SOUPS 1612322 WITH SCORE 1615155.321
AT ITER 644 NEW BEST:: SOT 12049290 SOS 2833208 HAS SOPS 2833208 HAS SOUS 1612218 HAS SOUPS 1612218 WITH SCORE 1615051.208
AT ITER 648 NEW BEST:: SOT 12048261 SOS 2832184 HAS SOPS 2832184 HAS SOUS 1611189 HAS SOUPS 1611189 WITH SCORE 1614021.184
AT ITER 664 NEW BEST:: SOT 12048261 SOS 2832967 HAS SOPS 2832967 HAS SOUS 1611188 HAS SOUPS 1611188 WITH SCORE 1614020.967
AT ITER 688 NEW BEST:: SOT 12048261 SOS 2832919 HAS SOPS 2832919 HAS SOUS 1611140 HAS SOUPS 1611140 WITH SCORE 1613972.919
AT ITER 692 NEW BEST:: SOT 12048885 SOS 2824583 HAS SOPS 2824583 HAS SOUS 1609212 HAS SOUPS 1609212 WITH SCORE 1612036.583
AT ITER 707 NEW BEST:: SOT 12048787 SOS 2824769 HAS SOPS 2824769 HAS SOUS 1609211 HAS SOUPS 1609211 WITH SCORE 1612035.769
AT ITER 733 NEW BEST:: SOT 12048087 SOS 2824116 HAS SOPS 2824116 HAS SOUS 1608558 HAS SOUPS 1608558 WITH SCORE 1611382.116
AT ITER 748 NEW BEST:: SOT 12048050 SOS 2824153 HAS SOPS 2824153 HAS SOUS 1608484 HAS SOUPS 1608484 WITH SCORE 1611308.153
AT ITER 757 NEW BEST:: SOT 12047902 SOS 2823857 HAS SOPS 2823857 HAS SOUS 1608119 HAS SOUPS 1608119 WITH SCORE 1610942.857
AT ITER 765 NEW BEST:: SOT 12047774 SOS 2824908 HAS SOPS 2824908 HAS SOUS 1607642 HAS SOUPS 1607642 WITH SCORE 1610466.908
AT ITER 768 NEW BEST:: SOT 12047735 SOS 2825210 HAS SOPS 2825210 HAS SOUS 1607602 HAS SOUPS 1607602 WITH SCORE 1610427.21
AT ITER 775 NEW BEST:: SOT 12046899 SOS 2824470 HAS SOPS 2824470 HAS SOUS 1606874 HAS SOUPS 1606874 WITH SCORE 1609698.47
AT ITER 780 NEW BEST:: SOT 12046465 SOS 2825572 HAS SOPS 2825572 HAS SOUS 1606005 HAS SOUPS 1606005 WITH SCORE 1608830.572
AT ITER 818 NEW BEST:: SOT 12046327 SOS 2825844 HAS SOPS 2825844 HAS SOUS 1605866 HAS SOUPS 1605866 WITH SCORE 1608691.844
AT ITER 832 NEW BEST:: SOT 12046516 SOS 2831180 HAS SOPS 2831180 HAS SOUS 1605691 HAS SOUPS 1605691 WITH SCORE 1608522.18
AT ITER 836 NEW BEST:: SOT 12046105 SOS 2830765 HAS SOPS 2830765 HAS SOUS 1605279 HAS SOUPS 1605279 WITH SCORE 1608109.765
AT ITER 845 NEW BEST:: SOT 12045930 SOS 2830240 HAS SOPS 2830240 HAS SOUS 1604929 HAS SOUPS 1604929 WITH SCORE 1607759.24
AT ITER 865 NEW BEST:: SOT 12046182 SOS 2830492 HAS SOPS 2830492 HAS SOUS 1604751 HAS SOUPS 1604751 WITH SCORE 1607581.492
AT ITER 868 NEW BEST:: SOT 12046345 SOS 2828078 HAS SOPS 2828078 HAS SOUS 1604244 HAS SOUPS 1604244 WITH SCORE 1607072.078
AT ITER 882 NEW BEST:: SOT 12046433 SOS 2827600 HAS SOPS 2827600 HAS SOUS 1603997 HAS SOUPS 1603997 WITH SCORE 1606824.6
AT ITER 886 NEW BEST:: SOT 12046322 SOS 2827516 HAS SOPS 2827516 HAS SOUS 1603913 HAS SOUPS 1603913 WITH SCORE 1606740.516
AT ITER 927 NEW BEST:: SOT 12046251 SOS 2826974 HAS SOPS 2826974 HAS SOUS 1603642 HAS SOUPS 1603642 WITH SCORE 1606468.974
AT ITER 968 NEW BEST:: SOT 12045822 SOS 2828656 HAS SOPS 2828656 HAS SOUS 1602783 HAS SOUPS 1602783 WITH SCORE 1605611.656
AT ITER 983 NEW BEST:: SOT 12045822 SOS 2828656 HAS SOPS 2828656 HAS SOUS 1602782 HAS SOUPS 1602782 WITH SCORE 1605610.656
AT ITER 984 NEW BEST:: SOT 12045490 SOS 2827992 HAS SOPS 2827992 HAS SOUS 1602494 HAS SOUPS 1602494 WITH SCORE 1605321.992
AT ITER 992 NEW BEST:: SOT 12045490 SOS 2827992 HAS SOPS 2827992 HAS SOUS 1602348 HAS SOUPS 1602348 WITH SCORE 1605175.992
AT ITER 1010 NEW BEST:: SOT 12045322 SOS 2827988 HAS SOPS 2827988 HAS SOUS 1602347 HAS SOUPS 1602347 WITH SCORE 1605174.988
AT ITER 1015 NEW BEST:: SOT 12044449 SOS 2827180 HAS SOPS 2827180 HAS SOUS 1601474 HAS SOUPS 1601474 WITH SCORE 1604301.18
AT ITER 1021 NEW BEST:: SOT 12044353 SOS 2827081 HAS SOPS 2827081 HAS SOUS 1601473 HAS SOUPS 1601473 WITH SCORE 1604300.081
AT ITER 1076 NEW BEST:: SOT 12044040 SOS 2825829 HAS SOPS 2825829 HAS SOUS 1600847 HAS SOUPS 1600847 WITH SCORE 1603672.829
AT ITER 1082 NEW BEST:: SOT 12043453 SOS 2826257 HAS SOPS 2826257 HAS SOUS 1600794 HAS SOUPS 1600794 WITH SCORE 1603620.257
AT ITER 1093 NEW BEST:: SOT 12043452 SOS 2826255 HAS SOPS 2826255 HAS SOUS 1600792 HAS SOUPS 1600792 WITH SCORE 1603618.255
AT ITER 1136 NEW BEST:: SOT 12043075 SOS 2825501 HAS SOPS 2825501 HAS SOUS 1600410 HAS SOUPS 1600410 WITH SCORE 1603235.501
AT ITER 1144 NEW BEST:: SOT 12042946 SOS 2825372 HAS SOPS 2825372 HAS SOUS 1600281 HAS SOUPS 1600281 WITH SCORE 1603106.372
AT ITER 1158 NEW BEST:: SOT 12042802 SOS 2825296 HAS SOPS 2825296 HAS SOUS 1600137 HAS SOUPS 1600137 WITH SCORE 1602962.296
AT ITER 1180 NEW BEST:: SOT 12042642 SOS 2825136 HAS SOPS 2825136 HAS SOUS 1599977 HAS SOUPS 1599977 WITH SCORE 1602802.136
AT ITER 1209 NEW BEST:: SOT 12043022 SOS 2827823 HAS SOPS 2827823 HAS SOUS 1599771 HAS SOUPS 1599771 WITH SCORE 1602598.823
AT ITER 1226 NEW BEST:: SOT 12043022 SOS 2827822 HAS SOPS 2827822 HAS SOUS 1599770 HAS SOUPS 1599770 WITH SCORE 1602597.822
AT ITER 1238 NEW BEST:: SOT 12043022 SOS 2828760 HAS SOPS 2828760 HAS SOUS 1599768 HAS SOUPS 1599768 WITH SCORE 1602596.76
AT ITER 1265 NEW BEST:: SOT 12042767 SOS 2828250 HAS SOPS 2828250 HAS SOUS 1599258 HAS SOUPS 1599258 WITH SCORE 1602086.25
AT ITER 1279 NEW BEST:: SOT 12042766 SOS 2827660 HAS SOPS 2827660 HAS SOUS 1598668 HAS SOUPS 1598668 WITH SCORE 1601495.66
AT ITER 1307 NEW BEST:: SOT 12042354 SOS 2826836 HAS SOPS 2826836 HAS SOUS 1597678 HAS SOUPS 1597678 WITH SCORE 1600504.836
AT ITER 1310 NEW BEST:: SOT 12042362 SOS 2826700 HAS SOPS 2826700 HAS SOUS 1597618 HAS SOUPS 1597618 WITH SCORE 1600444.7
AT ITER 1312 NEW BEST:: SOT 12042407 SOS 2821875 HAS SOPS 2821875 HAS SOUS 1597176 HAS SOUPS 1597176 WITH SCORE 1599997.875
AT ITER 1321 NEW BEST:: SOT 12042119 SOS 2821587 HAS SOPS 2821587 HAS SOUS 1596888 HAS SOUPS 1596888 WITH SCORE 1599709.587
AT ITER 1331 NEW BEST:: SOT 12042119 SOS 2821818 HAS SOPS 2821818 HAS SOUS 1596887 HAS SOUPS 1596887 WITH SCORE 1599708.818
AT ITER 1347 NEW BEST:: SOT 12042109 SOS 2821828 HAS SOPS 2821828 HAS SOUS 1596877 HAS SOUPS 1596877 WITH SCORE 1599698.828
AT ITER 1374 NEW BEST:: SOT 12041928 SOS 2821466 HAS SOPS 2821466 HAS SOUS 1596695 HAS SOUPS 1596695 WITH SCORE 1599516.466
AT ITER 1380 NEW BEST:: SOT 12041902 SOS 2821456 HAS SOPS 2821456 HAS SOUS 1596668 HAS SOUPS 1596668 WITH SCORE 1599489.456
AT ITER 1388 NEW BEST:: SOT 12041902 SOS 2821881 HAS SOPS 2821881 HAS SOUS 1596667 HAS SOUPS 1596667 WITH SCORE 1599488.881
AT ITER 1392 NEW BEST:: SOT 12041542 SOS 2818213 HAS SOPS 2818213 HAS SOUS 1595359 HAS SOUPS 1595359 WITH SCORE 1598177.213
AT ITER 1419 NEW BEST:: SOT 12040972 SOS 2818171 HAS SOPS 2818171 HAS SOUS 1595317 HAS SOUPS 1595317 WITH SCORE 1598135.171
AT ITER 1466 NEW BEST:: SOT 12040782 SOS 2817791 HAS SOPS 2817791 HAS SOUS 1594937 HAS SOUPS 1594937 WITH SCORE 1597754.791
AT ITER 1470 NEW BEST:: SOT 12039316 SOS 2816325 HAS SOPS 2816325 HAS SOUS 1593471 HAS SOUPS 1593471 WITH SCORE 1596287.325
AT ITER 1479 NEW BEST:: SOT 12039316 SOS 2816214 HAS SOPS 2816214 HAS SOUS 1593360 HAS SOUPS 1593360 WITH SCORE 1596176.214
AT ITER 1480 NEW BEST:: SOT 12039220 SOS 2816465 HAS SOPS 2816465 HAS SOUS 1593114 HAS SOUPS 1593114 WITH SCORE 1595930.465
AT ITER 1508 NEW BEST:: SOT 12039313 SOS 2815523 HAS SOPS 2815523 HAS SOUS 1592862 HAS SOUPS 1592862 WITH SCORE 1595677.523
AT ITER 1527 NEW BEST:: SOT 12038877 SOS 2815361 HAS SOPS 2815361 HAS SOUS 1592700 HAS SOUPS 1592700 WITH SCORE 1595515.361
AT ITER 1532 NEW BEST:: SOT 12038877 SOS 2815821 HAS SOPS 2815821 HAS SOUS 1592698 HAS SOUPS 1592698 WITH SCORE 1595513.821
AT ITER 1547 NEW BEST:: SOT 12038795 SOS 2815404 HAS SOPS 2815404 HAS SOUS 1592281 HAS SOUPS 1592281 WITH SCORE 1595096.404
AT ITER 1570 NEW BEST:: SOT 12038776 SOS 2816727 HAS SOPS 2816727 HAS SOUS 1592242 HAS SOUPS 1592242 WITH SCORE 1595058.727
AT ITER 1580 NEW BEST:: SOT 12038832 SOS 2815693 HAS SOPS 2815693 HAS SOUS 1592173 HAS SOUPS 1592173 WITH SCORE 1594988.693
AT ITER 1581 NEW BEST:: SOT 12038663 SOS 2815524 HAS SOPS 2815524 HAS SOUS 1592004 HAS SOUPS 1592004 WITH SCORE 1594819.524
AT ITER 1592 NEW BEST:: SOT 12038830 SOS 2815357 HAS SOPS 2815357 HAS SOUS 1592004 HAS SOUPS 1592004 WITH SCORE 1594819.357
AT ITER 1615 NEW BEST:: SOT 12038731 SOS 2815258 HAS SOPS 2815258 HAS SOUS 1591905 HAS SOUPS 1591905 WITH SCORE 1594720.258
AT ITER 1659 NEW BEST:: SOT 12038590 SOS 2815813 HAS SOPS 2815813 HAS SOUS 1591764 HAS SOUPS 1591764 WITH SCORE 1594579.813
AT ITER 1670 NEW BEST:: SOT 12038590 SOS 2814047 HAS SOPS 2814047 HAS SOUS 1591745 HAS SOUPS 1591745 WITH SCORE 1594559.047
AT ITER 1761 NEW BEST:: SOT 12038589 SOS 2814045 HAS SOPS 2814045 HAS SOUS 1591743 HAS SOUPS 1591743 WITH SCORE 1594557.045
AT ITER 1762 NEW BEST:: SOT 12038587 SOS 2814041 HAS SOPS 2814041 HAS SOUS 1591739 HAS SOUPS 1591739 WITH SCORE 1594553.041
AT ITER 1763 NEW BEST:: SOT 12038479 SOS 2816695 HAS SOPS 2816695 HAS SOUS 1591522 HAS SOUPS 1591522 WITH SCORE 1594338.695
AT ITER 1765 NEW BEST:: SOT 12038593 SOS 2816923 HAS SOPS 2816923 HAS SOUS 1591276 HAS SOUPS 1591276 WITH SCORE 1594092.923
AT ITER 1771 NEW BEST:: SOT 12037240 SOS 2815570 HAS SOPS 2815570 HAS SOUS 1589923 HAS SOUPS 1589923 WITH SCORE 1592738.57
AT ITER 1784 NEW BEST:: SOT 12036833 SOS 2815570 HAS SOPS 2815570 HAS SOUS 1589189 HAS SOUPS 1589189 WITH SCORE 1592004.57
AT ITER 1831 NEW BEST:: SOT 12036838 SOS 2815529 HAS SOPS 2815529 HAS SOUS 1589148 HAS SOUPS 1589148 WITH SCORE 1591963.529
AT ITER 1838 NEW BEST:: SOT 12036838 SOS 2815291 HAS SOPS 2815291 HAS SOUS 1588910 HAS SOUPS 1588910 WITH SCORE 1591725.291
AT ITER 1842 NEW BEST:: SOT 12036852 SOS 2814878 HAS SOPS 2814878 HAS SOUS 1588791 HAS SOUPS 1588791 WITH SCORE 1591605.878
AT ITER 1869 NEW BEST:: SOT 12036762 SOS 2814518 HAS SOPS 2814518 HAS SOUS 1588611 HAS SOUPS 1588611 WITH SCORE 1591425.518
AT ITER 1874 NEW BEST:: SOT 12036552 SOS 2811722 HAS SOPS 2811722 HAS SOUS 1588191 HAS SOUPS 1588191 WITH SCORE 1591002.722
AT ITER 1893 NEW BEST:: SOT 12036172 SOS 2810138 HAS SOPS 2810138 HAS SOUS 1587431 HAS SOUPS 1587431 WITH SCORE 1590241.138
AT ITER 1915 NEW BEST:: SOT 12036450 SOS 2810694 HAS SOPS 2810694 HAS SOUS 1587137 HAS SOUPS 1587137 WITH SCORE 1589947.694
AT ITER 1927 NEW BEST:: SOT 12034714 SOS 2809518 HAS SOPS 2809518 HAS SOUS 1585457 HAS SOUPS 1585457 WITH SCORE 1588266.518
AT ITER 1953 NEW BEST:: SOT 12034632 SOS 2809354 HAS SOPS 2809354 HAS SOUS 1585293 HAS SOUPS 1585293 WITH SCORE 1588102.354
AT ITER 1957 NEW BEST:: SOT 12034460 SOS 2810649 HAS SOPS 2810649 HAS SOUS 1584660 HAS SOUPS 1584660 WITH SCORE 1587470.649
AT ITER 1963 NEW BEST:: SOT 12034460 SOS 2813129 HAS SOPS 2813129 HAS SOUS 1584620 HAS SOUPS 1584620 WITH SCORE 1587433.129
AT ITER 1974 NEW BEST:: SOT 12034460 SOS 2813082 HAS SOPS 2813082 HAS SOUS 1584620 HAS SOUPS 1584620 WITH SCORE 1587433.082
AT ITER 1977 NEW BEST:: SOT 12034189 SOS 2809976 HAS SOPS 2809976 HAS SOUS 1584542 HAS SOUPS 1584542 WITH SCORE 1587351.976
AT ITER 2028 NEW BEST:: SOT 12033314 SOS 2809101 HAS SOPS 2809101 HAS SOUS 1584542 HAS SOUPS 1584542 WITH SCORE 1587351.101
AT ITER 2035 NEW BEST:: SOT 12033124 SOS 2808911 HAS SOPS 2808911 HAS SOUS 1584352 HAS SOUPS 1584352 WITH SCORE 1587160.911
AT ITER 2051 NEW BEST:: SOT 12032255 SOS 2802649 HAS SOPS 2802649 HAS SOUS 1583483 HAS SOUPS 1583483 WITH SCORE 1586285.649
AT ITER 2077 NEW BEST:: SOT 12032387 SOS 2804057 HAS SOPS 2804057 HAS SOUS 1583130 HAS SOUPS 1583130 WITH SCORE 1585934.057
AT ITER 2091 NEW BEST:: SOT 12032502 SOS 2804287 HAS SOPS 2804287 HAS SOUS 1582932 HAS SOUPS 1582932 WITH SCORE 1585736.287
AT ITER 2094 NEW BEST:: SOT 12032353 SOS 2803989 HAS SOPS 2803989 HAS SOUS 1582634 HAS SOUPS 1582634 WITH SCORE 1585437.989
AT ITER 2102 NEW BEST:: SOT 12031342 SOS 2805753 HAS SOPS 2805753 HAS SOUS 1581868 HAS SOUPS 1581868 WITH SCORE 1584673.753
AT ITER 2104 NEW BEST:: SOT 12031031 SOS 2805596 HAS SOPS 2805596 HAS SOUS 1581706 HAS SOUPS 1581706 WITH SCORE 1584511.596
AT ITER 2105 NEW BEST:: SOT 12030667 SOS 2804140 HAS SOPS 2804140 HAS SOUS 1581342 HAS SOUPS 1581342 WITH SCORE 1584146.14
AT ITER 2113 NEW BEST:: SOT 12030512 SOS 2803830 HAS SOPS 2803830 HAS SOUS 1581187 HAS SOUPS 1581187 WITH SCORE 1583990.83
AT ITER 2120 NEW BEST:: SOT 12030441 SOS 2803688 HAS SOPS 2803688 HAS SOUS 1581045 HAS SOUPS 1581045 WITH SCORE 1583848.688
AT ITER 2134 NEW BEST:: SOT 12030170 SOS 2803582 HAS SOPS 2803582 HAS SOUS 1580939 HAS SOUPS 1580939 WITH SCORE 1583742.582
AT ITER 2139 NEW BEST:: SOT 12030109 SOS 2803338 HAS SOPS 2803338 HAS SOUS 1580817 HAS SOUPS 1580817 WITH SCORE 1583620.338
AT ITER 2162 NEW BEST:: SOT 12029572 SOS 2802801 HAS SOPS 2802801 HAS SOUS 1580280 HAS SOUPS 1580280 WITH SCORE 1583082.801
AT ITER 2180 NEW BEST:: SOT 12029572 SOS 2802760 HAS SOPS 2802760 HAS SOUS 1580280 HAS SOUPS 1580280 WITH SCORE 1583082.76
AT ITER 2186 NEW BEST:: SOT 12029345 SOS 2802983 HAS SOPS 2802983 HAS SOUS 1580052 HAS SOUPS 1580052 WITH SCORE 1582854.983
AT ITER 2221 NEW BEST:: SOT 12028262 SOS 2802843 HAS SOPS 2802843 HAS SOUS 1578635 HAS SOUPS 1578635 WITH SCORE 1581437.843
AT ITER 2225 NEW BEST:: SOT 12028133 SOS 2802518 HAS SOPS 2802518 HAS SOUS 1578310 HAS SOUPS 1578310 WITH SCORE 1581112.518
AT ITER 2231 NEW BEST:: SOT 12027447 SOS 2801848 HAS SOPS 2801848 HAS SOUS 1577624 HAS SOUPS 1577624 WITH SCORE 1580425.848
AT ITER 2232 NEW BEST:: SOT 12027089 SOS 2800735 HAS SOPS 2800735 HAS SOUS 1577189 HAS SOUPS 1577189 WITH SCORE 1579989.735
AT ITER 2276 NEW BEST:: SOT 12026973 SOS 2800623 HAS SOPS 2800623 HAS SOUS 1577077 HAS SOUPS 1577077 WITH SCORE 1579877.623
AT ITER 2281 NEW BEST:: SOT 12026628 SOS 2803038 HAS SOPS 2803038 HAS SOUS 1576732 HAS SOUPS 1576732 WITH SCORE 1579535.038
AT ITER 2295 NEW BEST:: SOT 12025872 SOS 2802282 HAS SOPS 2802282 HAS SOUS 1575976 HAS SOUPS 1575976 WITH SCORE 1578778.282
AT ITER 2297 NEW BEST:: SOT 12025843 SOS 2802018 HAS SOPS 2802018 HAS SOUS 1575917 HAS SOUPS 1575917 WITH SCORE 1578719.018
AT ITER 2313 NEW BEST:: SOT 12025777 SOS 2801952 HAS SOPS 2801952 HAS SOUS 1575917 HAS SOUPS 1575917 WITH SCORE 1578718.952
AT ITER 2316 NEW BEST:: SOT 12025249 SOS 2801899 HAS SOPS 2801899 HAS SOUS 1575389 HAS SOUPS 1575389 WITH SCORE 1578190.899
AT ITER 2332 NEW BEST:: SOT 12025248 SOS 2801897 HAS SOPS 2801897 HAS SOUS 1575387 HAS SOUPS 1575387 WITH SCORE 1578188.897
AT ITER 2333 NEW BEST:: SOT 12025210 SOS 2801878 HAS SOPS 2801878 HAS SOUS 1575368 HAS SOUPS 1575368 WITH SCORE 1578169.878
AT ITER 2338 NEW BEST:: SOT 12025210 SOS 2801877 HAS SOPS 2801877 HAS SOUS 1575366 HAS SOUPS 1575366 WITH SCORE 1578167.877
AT ITER 2347 NEW BEST:: SOT 12025210 SOS 2800689 HAS SOPS 2800689 HAS SOUS 1575365 HAS SOUPS 1575365 WITH SCORE 1578165.689
AT ITER 2351 NEW BEST:: SOT 12025210 SOS 2800624 HAS SOPS 2800624 HAS SOUS 1575300 HAS SOUPS 1575300 WITH SCORE 1578100.624
AT ITER 2354 NEW BEST:: SOT 12024375 SOS 2799735 HAS SOPS 2799735 HAS SOUS 1574801 HAS SOUPS 1574801 WITH SCORE 1577600.735
AT ITER 2381 NEW BEST:: SOT 12023391 SOS 2798274 HAS SOPS 2798274 HAS SOUS 1573340 HAS SOUPS 1573340 WITH SCORE 1576138.274
AT ITER 2403 NEW BEST:: SOT 12022109 SOS 2796992 HAS SOPS 2796992 HAS SOUS 1572125 HAS SOUPS 1572125 WITH SCORE 1574921.992
AT ITER 2410 NEW BEST:: SOT 12022043 SOS 2796926 HAS SOPS 2796926 HAS SOUS 1572059 HAS SOUPS 1572059 WITH SCORE 1574855.926
AT ITER 2466 NEW BEST:: SOT 12021480 SOS 2796925 HAS SOPS 2796925 HAS SOUS 1572058 HAS SOUPS 1572058 WITH SCORE 1574854.925
AT ITER 2471 NEW BEST:: SOT 12021422 SOS 2796809 HAS SOPS 2796809 HAS SOUS 1571942 HAS SOUPS 1571942 WITH SCORE 1574738.809
AT ITER 2530 NEW BEST:: SOT 12021422 SOS 2796414 HAS SOPS 2796414 HAS SOUS 1571942 HAS SOUPS 1571942 WITH SCORE 1574738.414
AT ITER 2556 NEW BEST:: SOT 12021421 SOS 2796427 HAS SOPS 2796427 HAS SOUS 1571940 HAS SOUPS 1571940 WITH SCORE 1574736.427
AT ITER 2569 NEW BEST:: SOT 12020804 SOS 2795830 HAS SOPS 2795830 HAS SOUS 1571343 HAS SOUPS 1571343 WITH SCORE 1574138.83
AT ITER 2582 NEW BEST:: SOT 12020804 SOS 2795807 HAS SOPS 2795807 HAS SOUS 1571320 HAS SOUPS 1571320 WITH SCORE 1574115.807
AT ITER 2601 NEW BEST:: SOT 12020207 SOS 2796037 HAS SOPS 2796037 HAS SOUS 1571105 HAS SOUPS 1571105 WITH SCORE 1573901.037
AT ITER 2637 NEW BEST:: SOT 12019984 SOS 2796176 HAS SOPS 2796176 HAS SOUS 1571021 HAS SOUPS 1571021 WITH SCORE 1573817.176
AT ITER 2646 NEW BEST:: SOT 12019984 SOS 2796139 HAS SOPS 2796139 HAS SOUS 1571021 HAS SOUPS 1571021 WITH SCORE 1573817.139
AT ITER 2658 NEW BEST:: SOT 12019983 SOS 2796137 HAS SOPS 2796137 HAS SOUS 1571019 HAS SOUPS 1571019 WITH SCORE 1573815.137
AT ITER 2669 NEW BEST:: SOT 12019531 SOS 2796403 HAS SOPS 2796403 HAS SOUS 1570975 HAS SOUPS 1570975 WITH SCORE 1573771.403
AT ITER 2679 NEW BEST:: SOT 12019001 SOS 2795994 HAS SOPS 2795994 HAS SOUS 1570445 HAS SOUPS 1570445 WITH SCORE 1573240.994
AT ITER 2683 NEW BEST:: SOT 12018924 SOS 2795830 HAS SOPS 2795830 HAS SOUS 1570229 HAS SOUPS 1570229 WITH SCORE 1573024.83
AT ITER 2705 NEW BEST:: SOT 12018924 SOS 2795191 HAS SOPS 2795191 HAS SOUS 1570016 HAS SOUPS 1570016 WITH SCORE 1572811.191
AT ITER 2711 NEW BEST:: SOT 12018487 SOS 2796335 HAS SOPS 2796335 HAS SOUS 1569141 HAS SOUPS 1569141 WITH SCORE 1571937.335
AT ITER 2715 NEW BEST:: SOT 12018133 SOS 2795627 HAS SOPS 2795627 HAS SOUS 1567994 HAS SOUPS 1567994 WITH SCORE 1570789.627
AT ITER 2716 NEW BEST:: SOT 12017965 SOS 2795375 HAS SOPS 2795375 HAS SOUS 1567742 HAS SOUPS 1567742 WITH SCORE 1570537.375
AT ITER 2728 NEW BEST:: SOT 12016689 SOS 2794447 HAS SOPS 2794447 HAS SOUS 1567510 HAS SOUPS 1567510 WITH SCORE 1570304.447
AT ITER 2747 NEW BEST:: SOT 12016518 SOS 2794444 HAS SOPS 2794444 HAS SOUS 1567452 HAS SOUPS 1567452 WITH SCORE 1570246.444
AT ITER 2755 NEW BEST:: SOT 12016518 SOS 2794015 HAS SOPS 2794015 HAS SOUS 1567452 HAS SOUPS 1567452 WITH SCORE 1570246.015
AT ITER 2792 NEW BEST:: SOT 12016518 SOS 2794114 HAS SOPS 2794114 HAS SOUS 1567450 HAS SOUPS 1567450 WITH SCORE 1570244.114
AT ITER 2820 NEW BEST:: SOT 12016084 SOS 2793772 HAS SOPS 2793772 HAS SOUS 1567108 HAS SOUPS 1567108 WITH SCORE 1569901.772
AT ITER 2841 NEW BEST:: SOT 12016276 SOS 2794156 HAS SOPS 2794156 HAS SOUS 1567044 HAS SOUPS 1567044 WITH SCORE 1569838.156
AT ITER 2859 NEW BEST:: SOT 12016183 SOS 2794254 HAS SOPS 2794254 HAS SOUS 1567000 HAS SOUPS 1567000 WITH SCORE 1569794.254
AT ITER 2876 NEW BEST:: SOT 12015940 SOS 2798565 HAS SOPS 2798565 HAS SOUS 1566394 HAS SOUPS 1566394 WITH SCORE 1569192.565
AT ITER 2887 NEW BEST:: SOT 12015535 SOS 2802237 HAS SOPS 2802237 HAS SOUS 1565989 HAS SOUPS 1565989 WITH SCORE 1568791.237
AT ITER 2898 NEW BEST:: SOT 12015535 SOS 2803697 HAS SOPS 2803697 HAS SOUS 1565682 HAS SOUPS 1565682 WITH SCORE 1568485.697
AT ITER 2906 NEW BEST:: SOT 12014954 SOS 2807764 HAS SOPS 2807764 HAS SOUS 1565101 HAS SOUPS 1565101 WITH SCORE 1567908.764
AT ITER 2908 NEW BEST:: SOT 12014954 SOS 2808357 HAS SOPS 2808357 HAS SOUS 1565099 HAS SOUPS 1565099 WITH SCORE 1567907.357
AT ITER 2927 NEW BEST:: SOT 12014891 SOS 2808417 HAS SOPS 2808417 HAS SOUS 1565035 HAS SOUPS 1565035 WITH SCORE 1567843.417
AT ITER 2986 NEW BEST:: SOT 12014874 SOS 2809255 HAS SOPS 2809255 HAS SOUS 1564655 HAS SOUPS 1564655 WITH SCORE 1567464.255
AT ITER 3016 NEW BEST:: SOT 12014530 SOS 2808567 HAS SOPS 2808567 HAS SOUS 1564311 HAS SOUPS 1564311 WITH SCORE 1567119.567
AT ITER 3024 NEW BEST:: SOT 12014392 SOS 2808622 HAS SOPS 2808622 HAS SOUS 1564293 HAS SOUPS 1564293 WITH SCORE 1567101.622
AT ITER 3030 NEW BEST:: SOT 12014198 SOS 2808040 HAS SOPS 2808040 HAS SOUS 1563905 HAS SOUPS 1563905 WITH SCORE 1566713.04
AT ITER 3043 NEW BEST:: SOT 12013209 SOS 2807039 HAS SOPS 2807039 HAS SOUS 1561971 HAS SOUPS 1561971 WITH SCORE 1564778.039
AT ITER 3083 NEW BEST:: SOT 12013146 SOS 2806976 HAS SOPS 2806976 HAS SOUS 1561908 HAS SOUPS 1561908 WITH SCORE 1564714.976
AT ITER 3116 NEW BEST:: SOT 12013159 SOS 2806725 HAS SOPS 2806725 HAS SOUS 1561657 HAS SOUPS 1561657 WITH SCORE 1564463.725
AT ITER 3119 NEW BEST:: SOT 12013155 SOS 2806717 HAS SOPS 2806717 HAS SOUS 1561649 HAS SOUPS 1561649 WITH SCORE 1564455.717
AT ITER 3120 NEW BEST:: SOT 12012819 SOS 2806381 HAS SOPS 2806381 HAS SOUS 1561313 HAS SOUPS 1561313 WITH SCORE 1564119.381
AT ITER 3127 NEW BEST:: SOT 12012137 SOS 2803147 HAS SOPS 2803147 HAS SOUS 1559993 HAS SOUPS 1559993 WITH SCORE 1562796.147
AT ITER 3143 NEW BEST:: SOT 12012137 SOS 2803744 HAS SOPS 2803744 HAS SOUS 1559992 HAS SOUPS 1559992 WITH SCORE 1562795.744
AT ITER 3159 NEW BEST:: SOT 12012012 SOS 2803993 HAS SOPS 2803993 HAS SOUS 1559742 HAS SOUPS 1559742 WITH SCORE 1562545.993
AT ITER 3173 NEW BEST:: SOT 12012012 SOS 2804343 HAS SOPS 2804343 HAS SOUS 1559741 HAS SOUPS 1559741 WITH SCORE 1562545.343
AT ITER 3174 NEW BEST:: SOT 12011807 SOS 2804138 HAS SOPS 2804138 HAS SOUS 1559536 HAS SOUPS 1559536 WITH SCORE 1562340.138
AT ITER 3185 NEW BEST:: SOT 12011885 SOS 2803601 HAS SOPS 2803601 HAS SOUS 1559461 HAS SOUPS 1559461 WITH SCORE 1562264.601
AT ITER 3196 NEW BEST:: SOT 12011358 SOS 2799035 HAS SOPS 2799035 HAS SOUS 1558846 HAS SOUPS 1558846 WITH SCORE 1561645.035
AT ITER 3206 NEW BEST:: SOT 12011441 SOS 2799201 HAS SOPS 2799201 HAS SOUS 1558532 HAS SOUPS 1558532 WITH SCORE 1561331.201
AT ITER 3215 NEW BEST:: SOT 12011350 SOS 2799185 HAS SOPS 2799185 HAS SOUS 1558467 HAS SOUPS 1558467 WITH SCORE 1561266.185
AT ITER 3226 NEW BEST:: SOT 12011059 SOS 2798312 HAS SOPS 2798312 HAS SOUS 1557885 HAS SOUPS 1557885 WITH SCORE 1560683.312
AT ITER 3243 NEW BEST:: SOT 12011059 SOS 2798312 HAS SOPS 2798312 HAS SOUS 1557884 HAS SOUPS 1557884 WITH SCORE 1560682.312
AT ITER 3266 NEW BEST:: SOT 12010459 SOS 2798046 HAS SOPS 2798046 HAS SOUS 1557284 HAS SOUPS 1557284 WITH SCORE 1560082.046
AT ITER 3268 NEW BEST:: SOT 12010375 SOS 2797878 HAS SOPS 2797878 HAS SOUS 1557116 HAS SOUPS 1557116 WITH SCORE 1559913.878
AT ITER 3269 NEW BEST:: SOT 12010210 SOS 2797548 HAS SOPS 2797548 HAS SOUS 1556786 HAS SOUPS 1556786 WITH SCORE 1559583.548
AT ITER 3286 NEW BEST:: SOT 12010210 SOS 2797548 HAS SOPS 2797548 HAS SOUS 1556387 HAS SOUPS 1556387 WITH SCORE 1559184.548
AT ITER 3299 NEW BEST:: SOT 12010210 SOS 2797512 HAS SOPS 2797512 HAS SOUS 1556387 HAS SOUPS 1556387 WITH SCORE 1559184.512
AT ITER 3309 NEW BEST:: SOT 12010253 SOS 2797431 HAS SOPS 2797431 HAS SOUS 1556263 HAS SOUPS 1556263 WITH SCORE 1559060.431
AT ITER 3312 NEW BEST:: SOT 12009754 SOS 2797421 HAS SOPS 2797421 HAS SOUS 1555916 HAS SOUPS 1555916 WITH SCORE 1558713.421
AT ITER 3358 NEW BEST:: SOT 12009694 SOS 2797334 HAS SOPS 2797334 HAS SOUS 1555829 HAS SOUPS 1555829 WITH SCORE 1558626.334
AT ITER 3360 NEW BEST:: SOT 12008516 SOS 2796602 HAS SOPS 2796602 HAS SOUS 1555793 HAS SOUPS 1555793 WITH SCORE 1558589.602
AT ITER 3362 NEW BEST:: SOT 12008515 SOS 2796600 HAS SOPS 2796600 HAS SOUS 1555791 HAS SOUPS 1555791 WITH SCORE 1558587.6
AT ITER 3397 NEW BEST:: SOT 12008515 SOS 2796132 HAS SOPS 2796132 HAS SOUS 1555791 HAS SOUPS 1555791 WITH SCORE 1558587.132
AT ITER 3403 NEW BEST:: SOT 12008514 SOS 2796130 HAS SOPS 2796130 HAS SOUS 1555789 HAS SOUPS 1555789 WITH SCORE 1558585.13
AT ITER 3425 NEW BEST:: SOT 12008514 SOS 2795134 HAS SOPS 2795134 HAS SOUS 1555457 HAS SOUPS 1555457 WITH SCORE 1558252.134
AT ITER 3458 NEW BEST:: SOT 12008438 SOS 2795134 HAS SOPS 2795134 HAS SOUS 1555419 HAS SOUPS 1555419 WITH SCORE 1558214.134
AT ITER 3479 NEW BEST:: SOT 12008438 SOS 2795131 HAS SOPS 2795131 HAS SOUS 1555418 HAS SOUPS 1555418 WITH SCORE 1558213.131
AT ITER 3481 NEW BEST:: SOT 12008206 SOS 2794667 HAS SOPS 2794667 HAS SOUS 1554952 HAS SOUPS 1554952 WITH SCORE 1557746.667
AT ITER 3485 NEW BEST:: SOT 12007472 SOS 2794193 HAS SOPS 2794193 HAS SOUS 1554409 HAS SOUPS 1554409 WITH SCORE 1557203.193
AT ITER 3498 NEW BEST:: SOT 12007530 SOS 2794309 HAS SOPS 2794309 HAS SOUS 1554160 HAS SOUPS 1554160 WITH SCORE 1556954.309
AT ITER 3540 NEW BEST:: SOT 12007465 SOS 2798949 HAS SOPS 2798949 HAS SOUS 1554095 HAS SOUPS 1554095 WITH SCORE 1556893.949
AT ITER 3547 NEW BEST:: SOT 12007248 SOS 2798945 HAS SOPS 2798945 HAS SOUS 1554094 HAS SOUPS 1554094 WITH SCORE 1556892.945
AT ITER 3550 NEW BEST:: SOT 12007096 SOS 2798641 HAS SOPS 2798641 HAS SOUS 1553790 HAS SOUPS 1553790 WITH SCORE 1556588.641
AT ITER 3555 NEW BEST:: SOT 12007060 SOS 2801430 HAS SOPS 2801430 HAS SOUS 1553668 HAS SOUPS 1553668 WITH SCORE 1556469.43
AT ITER 3616 NEW BEST:: SOT 12005206 SOS 2806555 HAS SOPS 2806555 HAS SOUS 1552851 HAS SOUPS 1552851 WITH SCORE 1555657.555
AT ITER 3683 NEW BEST:: SOT 12004517 SOS 2805177 HAS SOPS 2805177 HAS SOUS 1551511 HAS SOUPS 1551511 WITH SCORE 1554316.177
AT ITER 3720 NEW BEST:: SOT 12004905 SOS 2804789 HAS SOPS 2804789 HAS SOUS 1551511 HAS SOUPS 1551511 WITH SCORE 1554315.789
AT ITER 3735 NEW BEST:: SOT 12004201 SOS 2804225 HAS SOPS 2804225 HAS SOUS 1550947 HAS SOUPS 1550947 WITH SCORE 1553751.225
AT ITER 3739 NEW BEST:: SOT 12004143 SOS 2812470 HAS SOPS 2812470 HAS SOUS 1550831 HAS SOUPS 1550831 WITH SCORE 1553643.47
AT ITER 3781 NEW BEST:: SOT 12003800 SOS 2811784 HAS SOPS 2811784 HAS SOUS 1550488 HAS SOUPS 1550488 WITH SCORE 1553299.784
AT ITER 3793 NEW BEST:: SOT 12003800 SOS 2811784 HAS SOPS 2811784 HAS SOUS 1550151 HAS SOUPS 1550151 WITH SCORE 1552962.784
AT ITER 3795 NEW BEST:: SOT 12003791 SOS 2811766 HAS SOPS 2811766 HAS SOUS 1550133 HAS SOUPS 1550133 WITH SCORE 1552944.766
AT ITER 3825 NEW BEST:: SOT 12003791 SOS 2811606 HAS SOPS 2811606 HAS SOUS 1550053 HAS SOUPS 1550053 WITH SCORE 1552864.606
AT ITER 3858 NEW BEST:: SOT 12003465 SOS 2813878 HAS SOPS 2813878 HAS SOUS 1549400 HAS SOUPS 1549400 WITH SCORE 1552213.878
AT ITER 3878 NEW BEST:: SOT 12003197 SOS 2813874 HAS SOPS 2813874 HAS SOUS 1549399 HAS SOUPS 1549399 WITH SCORE 1552212.874
AT ITER 3892 NEW BEST:: SOT 12003197 SOS 2814160 HAS SOPS 2814160 HAS SOUS 1549397 HAS SOUPS 1549397 WITH SCORE 1552211.16
AT ITER 3901 NEW BEST:: SOT 12003197 SOS 2814080 HAS SOPS 2814080 HAS SOUS 1549388 HAS SOUPS 1549388 WITH SCORE 1552202.08
AT ITER 3906 NEW BEST:: SOT 12003119 SOS 2814080 HAS SOPS 2814080 HAS SOUS 1549310 HAS SOUPS 1549310 WITH SCORE 1552124.08
AT ITER 3911 NEW BEST:: SOT 12002664 SOS 2813942 HAS SOPS 2813942 HAS SOUS 1549219 HAS SOUPS 1549219 WITH SCORE 1552032.942
AT ITER 3922 NEW BEST:: SOT 12002251 SOS 2814647 HAS SOPS 2814647 HAS SOUS 1549098 HAS SOUPS 1549098 WITH SCORE 1551912.647
AT ITER 3923 NEW BEST:: SOT 12002091 SOS 2814803 HAS SOPS 2814803 HAS SOUS 1548937 HAS SOUPS 1548937 WITH SCORE 1551751.803
AT ITER 3952 NEW BEST:: SOT 12002055 SOS 2814767 HAS SOPS 2814767 HAS SOUS 1548901 HAS SOUPS 1548901 WITH SCORE 1551715.767
AT ITER 3957 NEW BEST:: SOT 12002055 SOS 2815647 HAS SOPS 2815647 HAS SOUS 1548899 HAS SOUPS 1548899 WITH SCORE 1551714.647
AT ITER 3969 NEW BEST:: SOT 12002306 SOS 2815332 HAS SOPS 2815332 HAS SOUS 1548584 HAS SOUPS 1548584 WITH SCORE 1551399.332
AT ITER 3974 NEW BEST:: SOT 12001131 SOS 2824636 HAS SOPS 2824636 HAS SOUS 1547663 HAS SOUPS 1547663 WITH SCORE 1550487.636
AT ITER 3988 NEW BEST:: SOT 12001131 SOS 2824493 HAS SOPS 2824493 HAS SOUS 1547519 HAS SOUPS 1547519 WITH SCORE 1550343.493
AT ITER 3994 NEW BEST:: SOT 12001115 SOS 2824482 HAS SOPS 2824482 HAS SOUS 1547510 HAS SOUPS 1547510 WITH SCORE 1550334.482
AT ITER 3997 NEW BEST:: SOT 12001026 SOS 2824489 HAS SOPS 2824489 HAS SOUS 1547420 HAS SOUPS 1547420 WITH SCORE 1550244.489
AT ITER 4008 NEW BEST:: SOT 12000889 SOS 2824352 HAS SOPS 2824352 HAS SOUS 1547283 HAS SOUPS 1547283 WITH SCORE 1550107.352
AT ITER 4011 NEW BEST:: SOT 12000725 SOS 2824982 HAS SOPS 2824982 HAS SOUS 1547238 HAS SOUPS 1547238 WITH SCORE 1550062.982
AT ITER 4034 NEW BEST:: SOT 12001035 SOS 2824257 HAS SOPS 2824257 HAS SOUS 1547133 HAS SOUPS 1547133 WITH SCORE 1549957.257
AT ITER 4039 NEW BEST:: SOT 12001035 SOS 2823940 HAS SOPS 2823940 HAS SOUS 1547133 HAS SOUPS 1547133 WITH SCORE 1549956.94
AT ITER 4062 NEW BEST:: SOT 12000933 SOS 2823736 HAS SOPS 2823736 HAS SOUS 1547030 HAS SOUPS 1547030 WITH SCORE 1549853.736
AT ITER 4069 NEW BEST:: SOT 12000968 SOS 2823634 HAS SOPS 2823634 HAS SOUS 1546928 HAS SOUPS 1546928 WITH SCORE 1549751.634
AT ITER 4123 NEW BEST:: SOT 12001226 SOS 2823632 HAS SOPS 2823632 HAS SOUS 1546926 HAS SOUPS 1546926 WITH SCORE 1549749.632
AT ITER 4144 NEW BEST:: SOT 12001225 SOS 2823630 HAS SOPS 2823630 HAS SOUS 1546924 HAS SOUPS 1546924 WITH SCORE 1549747.63
AT ITER 4149 NEW BEST:: SOT 12001092 SOS 2823364 HAS SOPS 2823364 HAS SOUS 1546658 HAS SOUPS 1546658 WITH SCORE 1549481.364
AT ITER 4150 NEW BEST:: SOT 12001091 SOS 2823362 HAS SOPS 2823362 HAS SOUS 1546656 HAS SOUPS 1546656 WITH SCORE 1549479.362
AT ITER 4151 NEW BEST:: SOT 12001059 SOS 2822812 HAS SOPS 2822812 HAS SOUS 1546597 HAS SOUPS 1546597 WITH SCORE 1549419.812
AT ITER 4156 NEW BEST:: SOT 12001059 SOS 2822803 HAS SOPS 2822803 HAS SOUS 1546588 HAS SOUPS 1546588 WITH SCORE 1549410.803
AT ITER 4209 NEW BEST:: SOT 12001059 SOS 2822721 HAS SOPS 2822721 HAS SOUS 1546547 HAS SOUPS 1546547 WITH SCORE 1549369.721
AT ITER 4218 NEW BEST:: SOT 12000296 SOS 2822667 HAS SOPS 2822667 HAS SOUS 1545823 HAS SOUPS 1545823 WITH SCORE 1548645.667
AT ITER 4223 NEW BEST:: SOT 12000586 SOS 2825319 HAS SOPS 2825319 HAS SOUS 1545678 HAS SOUPS 1545678 WITH SCORE 1548503.319
AT ITER 4225 NEW BEST:: SOT 11998914 SOS 2825387 HAS SOPS 2825387 HAS SOUS 1544895 HAS SOUPS 1544895 WITH SCORE 1547720.387
AT ITER 4235 NEW BEST:: SOT 11998914 SOS 2825285 HAS SOPS 2825285 HAS SOUS 1544793 HAS SOUPS 1544793 WITH SCORE 1547618.285
AT ITER 4242 NEW BEST:: SOT 11998856 SOS 2825033 HAS SOPS 2825033 HAS SOUS 1544677 HAS SOUPS 1544677 WITH SCORE 1547502.033
AT ITER 4243 NEW BEST:: SOT 11998856 SOS 2825428 HAS SOPS 2825428 HAS SOUS 1544459 HAS SOUPS 1544459 WITH SCORE 1547284.428
AT ITER 4272 NEW BEST:: SOT 11999203 SOS 2828011 HAS SOPS 2828011 HAS SOUS 1544206 HAS SOUPS 1544206 WITH SCORE 1547034.011
AT ITER 4277 NEW BEST:: SOT 11999203 SOS 2828011 HAS SOPS 2828011 HAS SOUS 1543939 HAS SOUPS 1543939 WITH SCORE 1546767.011
AT ITER 4294 NEW BEST:: SOT 11999203 SOS 2827958 HAS SOPS 2827958 HAS SOUS 1543886 HAS SOUPS 1543886 WITH SCORE 1546713.958
AT ITER 4316 NEW BEST:: SOT 11999202 SOS 2827956 HAS SOPS 2827956 HAS SOUS 1543884 HAS SOUPS 1543884 WITH SCORE 1546711.956
AT ITER 4326 NEW BEST:: SOT 11999202 SOS 2827956 HAS SOPS 2827956 HAS SOUS 1543230 HAS SOUPS 1543230 WITH SCORE 1546057.956
AT ITER 4337 NEW BEST:: SOT 11998614 SOS 2821488 HAS SOPS 2821488 HAS SOUS 1542532 HAS SOUPS 1542532 WITH SCORE 1545353.488
AT ITER 4349 NEW BEST:: SOT 11998296 SOS 2820852 HAS SOPS 2820852 HAS SOUS 1541761 HAS SOUPS 1541761 WITH SCORE 1544581.852
AT ITER 4351 NEW BEST:: SOT 11998296 SOS 2820852 HAS SOPS 2820852 HAS SOUS 1541283 HAS SOUPS 1541283 WITH SCORE 1544103.852
AT ITER 4396 NEW BEST:: SOT 11998296 SOS 2819682 HAS SOPS 2819682 HAS SOUS 1541283 HAS SOUPS 1541283 WITH SCORE 1544102.682
AT ITER 4399 NEW BEST:: SOT 11997622 SOS 2819271 HAS SOPS 2819271 HAS SOUS 1540872 HAS SOUPS 1540872 WITH SCORE 1543691.271
AT ITER 4461 NEW BEST:: SOT 11997268 SOS 2820123 HAS SOPS 2820123 HAS SOUS 1540444 HAS SOUPS 1540444 WITH SCORE 1543264.123
AT ITER 4477 NEW BEST:: SOT 11997210 SOS 2820007 HAS SOPS 2820007 HAS SOUS 1540328 HAS SOUPS 1540328 WITH SCORE 1543148.007
AT ITER 4489 NEW BEST:: SOT 11997096 SOS 2819551 HAS SOPS 2819551 HAS SOUS 1540100 HAS SOUPS 1540100 WITH SCORE 1542919.551
AT ITER 4523 NEW BEST:: SOT 11997062 SOS 2819483 HAS SOPS 2819483 HAS SOUS 1540066 HAS SOUPS 1540066 WITH SCORE 1542885.483
AT ITER 4525 NEW BEST:: SOT 11996944 SOS 2819247 HAS SOPS 2819247 HAS SOUS 1539484 HAS SOUPS 1539484 WITH SCORE 1542303.247
AT ITER 4536 NEW BEST:: SOT 11996828 SOS 2819015 HAS SOPS 2819015 HAS SOUS 1539376 HAS SOUPS 1539376 WITH SCORE 1542195.015
AT ITER 4547 NEW BEST:: SOT 11996339 SOS 2818522 HAS SOPS 2818522 HAS SOUS 1538886 HAS SOUPS 1538886 WITH SCORE 1541704.522
AT ITER 4607 NEW BEST:: SOT 11995611 SOS 2817784 HAS SOPS 2817784 HAS SOUS 1538157 HAS SOUPS 1538157 WITH SCORE 1540974.784
AT ITER 4625 NEW BEST:: SOT 11995526 SOS 2817614 HAS SOPS 2817614 HAS SOUS 1537650 HAS SOUPS 1537650 WITH SCORE 1540467.614
AT ITER 4628 NEW BEST:: SOT 11995297 SOS 2819207 HAS SOPS 2819207 HAS SOUS 1537191 HAS SOUPS 1537191 WITH SCORE 1540010.207
AT ITER 4630 NEW BEST:: SOT 11995171 SOS 2818955 HAS SOPS 2818955 HAS SOUS 1536939 HAS SOUPS 1536939 WITH SCORE 1539757.955
AT ITER 4641 NEW BEST:: SOT 11994672 SOS 2818456 HAS SOPS 2818456 HAS SOUS 1536440 HAS SOUPS 1536440 WITH SCORE 1539258.456
AT ITER 4649 NEW BEST:: SOT 11994461 SOS 2817765 HAS SOPS 2817765 HAS SOUS 1535960 HAS SOUPS 1535960 WITH SCORE 1538777.765
AT ITER 4672 NEW BEST:: SOT 11993971 SOS 2817271 HAS SOPS 2817271 HAS SOUS 1535469 HAS SOUPS 1535469 WITH SCORE 1538286.271
AT ITER 4687 NEW BEST:: SOT 11993966 SOS 2817196 HAS SOPS 2817196 HAS SOUS 1535459 HAS SOUPS 1535459 WITH SCORE 1538276.196
AT ITER 4707 NEW BEST:: SOT 11993204 SOS 2816815 HAS SOPS 2816815 HAS SOUS 1534697 HAS SOUPS 1534697 WITH SCORE 1537513.815
AT ITER 4709 NEW BEST:: SOT 11992952 SOS 2814799 HAS SOPS 2814799 HAS SOUS 1534311 HAS SOUPS 1534311 WITH SCORE 1537125.799
AT ITER 4711 NEW BEST:: SOT 11992839 SOS 2814573 HAS SOPS 2814573 HAS SOUS 1534085 HAS SOUPS 1534085 WITH SCORE 1536899.573
AT ITER 4736 NEW BEST:: SOT 11992829 SOS 2814553 HAS SOPS 2814553 HAS SOUS 1534065 HAS SOUPS 1534065 WITH SCORE 1536879.553
AT ITER 4746 NEW BEST:: SOT 11992169 SOS 2813893 HAS SOPS 2813893 HAS SOUS 1533405 HAS SOUPS 1533405 WITH SCORE 1536218.893
AT ITER 4747 NEW BEST:: SOT 11992169 SOS 2814115 HAS SOPS 2814115 HAS SOUS 1533404 HAS SOUPS 1533404 WITH SCORE 1536218.115
AT ITER 4783 NEW BEST:: SOT 11992269 SOS 2813052 HAS SOPS 2813052 HAS SOUS 1533267 HAS SOUPS 1533267 WITH SCORE 1536080.052
AT ITER 4803 NEW BEST:: SOT 11991828 SOS 2813809 HAS SOPS 2813809 HAS SOUS 1532852 HAS SOUPS 1532852 WITH SCORE 1535665.809
AT ITER 4814 NEW BEST:: SOT 11991317 SOS 2812157 HAS SOPS 2812157 HAS SOUS 1532508 HAS SOUPS 1532508 WITH SCORE 1535320.157
AT ITER 4826 NEW BEST:: SOT 11991317 SOS 2812179 HAS SOPS 2812179 HAS SOUS 1532497 HAS SOUPS 1532497 WITH SCORE 1535309.179
AT ITER 4835 NEW BEST:: SOT 11991196 SOS 2812048 HAS SOPS 2812048 HAS SOUS 1532496 HAS SOUPS 1532496 WITH SCORE 1535308.048
AT ITER 4850 NEW BEST:: SOT 11991187 SOS 2812331 HAS SOPS 2812331 HAS SOUS 1532459 HAS SOUPS 1532459 WITH SCORE 1535271.331
AT ITER 4851 NEW BEST:: SOT 11990940 SOS 2812074 HAS SOPS 2812074 HAS SOUS 1532091 HAS SOUPS 1532091 WITH SCORE 1534903.074
AT ITER 4893 NEW BEST:: SOT 11990940 SOS 2810275 HAS SOPS 2810275 HAS SOUS 1532091 HAS SOUPS 1532091 WITH SCORE 1534901.275
AT ITER 4902 NEW BEST:: SOT 11989993 SOS 2809926 HAS SOPS 2809926 HAS SOUS 1531659 HAS SOUPS 1531659 WITH SCORE 1534468.926
AT ITER 4906 NEW BEST:: SOT 11989993 SOS 2809926 HAS SOPS 2809926 HAS SOUS 1531658 HAS SOUPS 1531658 WITH SCORE 1534467.926
AT ITER 4913 NEW BEST:: SOT 11989854 SOS 2809648 HAS SOPS 2809648 HAS SOUS 1531350 HAS SOUPS 1531350 WITH SCORE 1534159.648
AT ITER 4919 NEW BEST:: SOT 11989854 SOS 2809492 HAS SOPS 2809492 HAS SOUS 1531272 HAS SOUPS 1531272 WITH SCORE 1534081.492
AT ITER 4997 NEW BEST:: SOT 11989619 SOS 2809385 HAS SOPS 2809385 HAS SOUS 1531165 HAS SOUPS 1531165 WITH SCORE 1533974.385
AT ITER 5001 NEW BEST:: SOT 11989598 SOS 2810101 HAS SOPS 2810101 HAS SOUS 1531122 HAS SOUPS 1531122 WITH SCORE 1533932.101
AT ITER 5003 NEW BEST:: SOT 11989571 SOS 2810074 HAS SOPS 2810074 HAS SOUS 1531095 HAS SOUPS 1531095 WITH SCORE 1533905.074
AT ITER 5016 NEW BEST:: SOT 11989519 SOS 2809970 HAS SOPS 2809970 HAS SOUS 1530991 HAS SOUPS 1530991 WITH SCORE 1533800.97
AT ITER 5033 NEW BEST:: SOT 11989491 SOS 2809955 HAS SOPS 2809955 HAS SOUS 1530929 HAS SOUPS 1530929 WITH SCORE 1533738.955
AT ITER 5042 NEW BEST:: SOT 11989414 SOS 2809954 HAS SOPS 2809954 HAS SOUS 1530928 HAS SOUPS 1530928 WITH SCORE 1533737.954
AT ITER 5078 NEW BEST:: SOT 11989653 SOS 2810432 HAS SOPS 2810432 HAS SOUS 1530588 HAS SOUPS 1530588 WITH SCORE 1533398.432
AT ITER 5096 NEW BEST:: SOT 11989629 SOS 2810384 HAS SOPS 2810384 HAS SOUS 1530564 HAS SOUPS 1530564 WITH SCORE 1533374.384
AT ITER 5100 NEW BEST:: SOT 11988471 SOS 2810771 HAS SOPS 2810771 HAS SOUS 1530562 HAS SOUPS 1530562 WITH SCORE 1533372.771
AT ITER 5107 NEW BEST:: SOT 11988368 SOS 2810565 HAS SOPS 2810565 HAS SOUS 1530356 HAS SOUPS 1530356 WITH SCORE 1533166.565
AT ITER 5126 NEW BEST:: SOT 11988354 SOS 2810537 HAS SOPS 2810537 HAS SOUS 1530328 HAS SOUPS 1530328 WITH SCORE 1533138.537
AT ITER 5140 NEW BEST:: SOT 11986628 SOS 2808697 HAS SOPS 2808697 HAS SOUS 1528282 HAS SOUPS 1528282 WITH SCORE 1531090.697
AT ITER 5166 NEW BEST:: SOT 11986628 SOS 2808325 HAS SOPS 2808325 HAS SOUS 1528158 HAS SOUPS 1528158 WITH SCORE 1530966.325
AT ITER 5278 NEW BEST:: SOT 11986628 SOS 2807485 HAS SOPS 2807485 HAS SOUS 1528158 HAS SOUPS 1528158 WITH SCORE 1530965.485
AT ITER 5289 NEW BEST:: SOT 11985764 SOS 2805757 HAS SOPS 2805757 HAS SOUS 1526265 HAS SOUPS 1526265 WITH SCORE 1529070.757
AT ITER 5299 NEW BEST:: SOT 11985764 SOS 2805710 HAS SOPS 2805710 HAS SOUS 1526218 HAS SOUPS 1526218 WITH SCORE 1529023.71
AT ITER 5324 NEW BEST:: SOT 11985715 SOS 2805612 HAS SOPS 2805612 HAS SOUS 1526120 HAS SOUPS 1526120 WITH SCORE 1528925.612
AT ITER 5381 NEW BEST:: SOT 11985424 SOS 2805030 HAS SOPS 2805030 HAS SOUS 1525813 HAS SOUPS 1525813 WITH SCORE 1528618.03
AT ITER 5383 NEW BEST:: SOT 11985387 SOS 2804956 HAS SOPS 2804956 HAS SOUS 1525776 HAS SOUPS 1525776 WITH SCORE 1528580.956
AT ITER 5384 NEW BEST:: SOT 11985387 SOS 2804956 HAS SOPS 2804956 HAS SOUS 1525678 HAS SOUPS 1525678 WITH SCORE 1528482.956
AT ITER 5401 NEW BEST:: SOT 11982408 SOS 2801646 HAS SOPS 2801646 HAS SOUS 1523698 HAS SOUPS 1523698 WITH SCORE 1526499.646
AT ITER 5416 NEW BEST:: SOT 11981268 SOS 2799936 HAS SOPS 2799936 HAS SOUS 1521988 HAS SOUPS 1521988 WITH SCORE 1524787.936
AT ITER 5425 NEW BEST:: SOT 11981268 SOS 2799599 HAS SOPS 2799599 HAS SOUS 1521651 HAS SOUPS 1521651 WITH SCORE 1524450.599
AT ITER 5454 NEW BEST:: SOT 11981210 SOS 2799541 HAS SOPS 2799541 HAS SOUS 1521593 HAS SOUPS 1521593 WITH SCORE 1524392.541
AT ITER 5457 NEW BEST:: SOT 11981209 SOS 2799539 HAS SOPS 2799539 HAS SOUS 1521591 HAS SOUPS 1521591 WITH SCORE 1524390.539
AT ITER 5460 NEW BEST:: SOT 11980325 SOS 2799151 HAS SOPS 2799151 HAS SOUS 1521167 HAS SOUPS 1521167 WITH SCORE 1523966.151
AT ITER 5481 NEW BEST:: SOT 11980055 SOS 2798611 HAS SOPS 2798611 HAS SOUS 1520627 HAS SOUPS 1520627 WITH SCORE 1523425.611
AT ITER 5483 NEW BEST:: SOT 11980015 SOS 2798571 HAS SOPS 2798571 HAS SOUS 1520547 HAS SOUPS 1520547 WITH SCORE 1523345.571
AT ITER 5503 NEW BEST:: SOT 11980015 SOS 2799231 HAS SOPS 2799231 HAS SOUS 1520546 HAS SOUPS 1520546 WITH SCORE 1523345.231
AT ITER 5514 NEW BEST:: SOT 11980011 SOS 2799223 HAS SOPS 2799223 HAS SOUS 1520542 HAS SOUPS 1520542 WITH SCORE 1523341.223
AT ITER 5569 NEW BEST:: SOT 11979953 SOS 2798585 HAS SOPS 2798585 HAS SOUS 1520426 HAS SOUPS 1520426 WITH SCORE 1523224.585
AT ITER 5572 NEW BEST:: SOT 11979953 SOS 2799691 HAS SOPS 2799691 HAS SOUS 1520424 HAS SOUPS 1520424 WITH SCORE 1523223.691
AT ITER 5620 NEW BEST:: SOT 11980342 SOS 2798640 HAS SOPS 2798640 HAS SOUS 1520363 HAS SOUPS 1520363 WITH SCORE 1523161.64
AT ITER 5653 NEW BEST:: SOT 11980342 SOS 2797656 HAS SOPS 2797656 HAS SOUS 1520362 HAS SOUPS 1520362 WITH SCORE 1523159.656
AT ITER 5665 NEW BEST:: SOT 11980088 SOS 2797484 HAS SOPS 2797484 HAS SOUS 1520192 HAS SOUPS 1520192 WITH SCORE 1522989.484
AT ITER 5669 NEW BEST:: SOT 11979738 SOS 2796784 HAS SOPS 2796784 HAS SOUS 1519802 HAS SOUPS 1519802 WITH SCORE 1522598.784
AT ITER 5678 NEW BEST:: SOT 11979031 SOS 2796429 HAS SOPS 2796429 HAS SOUS 1519447 HAS SOUPS 1519447 WITH SCORE 1522243.429
AT ITER 5704 NEW BEST:: SOT 11979561 SOS 2797176 HAS SOPS 2797176 HAS SOUS 1519439 HAS SOUPS 1519439 WITH SCORE 1522236.176
AT ITER 5709 NEW BEST:: SOT 11979531 SOS 2797144 HAS SOPS 2797144 HAS SOUS 1519416 HAS SOUPS 1519416 WITH SCORE 1522213.144
AT ITER 5715 NEW BEST:: SOT 11979531 SOS 2797144 HAS SOPS 2797144 HAS SOUS 1519415 HAS SOUPS 1519415 WITH SCORE 1522212.144
AT ITER 5717 NEW BEST:: SOT 11979531 SOS 2798320 HAS SOPS 2798320 HAS SOUS 1519184 HAS SOUPS 1519184 WITH SCORE 1521982.32
AT ITER 5726 NEW BEST:: SOT 11979357 SOS 2797972 HAS SOPS 2797972 HAS SOUS 1519010 HAS SOUPS 1519010 WITH SCORE 1521807.972
AT ITER 5751 NEW BEST:: SOT 11979126 SOS 2798002 HAS SOPS 2798002 HAS SOUS 1518943 HAS SOUPS 1518943 WITH SCORE 1521741.002
AT ITER 5760 NEW BEST:: SOT 11979126 SOS 2793358 HAS SOPS 2793358 HAS SOUS 1518942 HAS SOUPS 1518942 WITH SCORE 1521735.358
AT ITER 5766 NEW BEST:: SOT 11978602 SOS 2793358 HAS SOPS 2793358 HAS SOUS 1518608 HAS SOUPS 1518608 WITH SCORE 1521401.358
AT ITER 5774 NEW BEST:: SOT 11978602 SOS 2793226 HAS SOPS 2793226 HAS SOUS 1518476 HAS SOUPS 1518476 WITH SCORE 1521269.226
AT ITER 5785 NEW BEST:: SOT 11978577 SOS 2793176 HAS SOPS 2793176 HAS SOUS 1518426 HAS SOUPS 1518426 WITH SCORE 1521219.176
AT ITER 5802 NEW BEST:: SOT 11978239 SOS 2793166 HAS SOPS 2793166 HAS SOUS 1518267 HAS SOUPS 1518267 WITH SCORE 1521060.166
AT ITER 5854 NEW BEST:: SOT 11978239 SOS 2792724 HAS SOPS 2792724 HAS SOUS 1518046 HAS SOUPS 1518046 WITH SCORE 1520838.724
AT ITER 5857 NEW BEST:: SOT 11978215 SOS 2792676 HAS SOPS 2792676 HAS SOUS 1517998 HAS SOUPS 1517998 WITH SCORE 1520790.676
AT ITER 5889 NEW BEST:: SOT 11978183 SOS 2792644 HAS SOPS 2792644 HAS SOUS 1517966 HAS SOUPS 1517966 WITH SCORE 1520758.644
AT ITER 5943 NEW BEST:: SOT 11977880 SOS 2792498 HAS SOPS 2792498 HAS SOUS 1517433 HAS SOUPS 1517433 WITH SCORE 1520225.498
AT ITER 5988 NEW BEST:: SOT 11977253 SOS 2789970 HAS SOPS 2789970 HAS SOUS 1517047 HAS SOUPS 1517047 WITH SCORE 1519836.97
AT ITER 6001 NEW BEST:: SOT 11977253 SOS 2791265 HAS SOPS 2791265 HAS SOUS 1516901 HAS SOUPS 1516901 WITH SCORE 1519692.265
AT ITER 6036 NEW BEST:: SOT 11977297 SOS 2791177 HAS SOPS 2791177 HAS SOUS 1516901 HAS SOUPS 1516901 WITH SCORE 1519692.177
AT ITER 6038 NEW BEST:: SOT 11977297 SOS 2790977 HAS SOPS 2790977 HAS SOUS 1516701 HAS SOUPS 1516701 WITH SCORE 1519491.977
AT ITER 6068 NEW BEST:: SOT 11977343 SOS 2790869 HAS SOPS 2790869 HAS SOUS 1516593 HAS SOUPS 1516593 WITH SCORE 1519383.869
AT ITER 6076 NEW BEST:: SOT 11977343 SOS 2790335 HAS SOPS 2790335 HAS SOUS 1516592 HAS SOUPS 1516592 WITH SCORE 1519382.335
AT ITER 6105 NEW BEST:: SOT 11977342 SOS 2790333 HAS SOPS 2790333 HAS SOUS 1516590 HAS SOUPS 1516590 WITH SCORE 1519380.333
AT ITER 6163 NEW BEST:: SOT 11976490 SOS 2789961 HAS SOPS 2789961 HAS SOUS 1516218 HAS SOUPS 1516218 WITH SCORE 1519007.961
AT ITER 6174 NEW BEST:: SOT 11976181 SOS 2789855 HAS SOPS 2789855 HAS SOUS 1515856 HAS SOUPS 1515856 WITH SCORE 1518645.855
AT ITER 6201 NEW BEST:: SOT 11976388 SOS 2790269 HAS SOPS 2790269 HAS SOUS 1515487 HAS SOUPS 1515487 WITH SCORE 1518277.269
AT ITER 6214 NEW BEST:: SOT 11976480 SOS 2790453 HAS SOPS 2790453 HAS SOUS 1515279 HAS SOUPS 1515279 WITH SCORE 1518069.453
AT ITER 6223 NEW BEST:: SOT 11976447 SOS 2790661 HAS SOPS 2790661 HAS SOUS 1515213 HAS SOUPS 1515213 WITH SCORE 1518003.661
AT ITER 6233 NEW BEST:: SOT 11976269 SOS 2794715 HAS SOPS 2794715 HAS SOUS 1514857 HAS SOUPS 1514857 WITH SCORE 1517651.715
AT ITER 6236 NEW BEST:: SOT 11975677 SOS 2794123 HAS SOPS 2794123 HAS SOUS 1514265 HAS SOUPS 1514265 WITH SCORE 1517059.123
AT ITER 6243 NEW BEST:: SOT 11975297 SOS 2794113 HAS SOPS 2794113 HAS SOUS 1514136 HAS SOUPS 1514136 WITH SCORE 1516930.113
AT ITER 6303 NEW BEST:: SOT 11975297 SOS 2794053 HAS SOPS 2794053 HAS SOUS 1514106 HAS SOUPS 1514106 WITH SCORE 1516900.053
AT ITER 6305 NEW BEST:: SOT 11975297 SOS 2793411 HAS SOPS 2793411 HAS SOUS 1513892 HAS SOUPS 1513892 WITH SCORE 1516685.411
AT ITER 6322 NEW BEST:: SOT 11975260 SOS 2793337 HAS SOPS 2793337 HAS SOUS 1513818 HAS SOUPS 1513818 WITH SCORE 1516611.337
AT ITER 6337 NEW BEST:: SOT 11974589 SOS 2792671 HAS SOPS 2792671 HAS SOUS 1513152 HAS SOUPS 1513152 WITH SCORE 1515944.671
AT ITER 6342 NEW BEST:: SOT 11974589 SOS 2792278 HAS SOPS 2792278 HAS SOUS 1513148 HAS SOUPS 1513148 WITH SCORE 1515940.278
AT ITER 6345 NEW BEST:: SOT 11974040 SOS 2792254 HAS SOPS 2792254 HAS SOUS 1513107 HAS SOUPS 1513107 WITH SCORE 1515899.254
AT ITER 6355 NEW BEST:: SOT 11974040 SOS 2792081 HAS SOPS 2792081 HAS SOUS 1512934 HAS SOUPS 1512934 WITH SCORE 1515726.081
AT ITER 6357 NEW BEST:: SOT 11974051 SOS 2791975 HAS SOPS 2791975 HAS SOUS 1512828 HAS SOUPS 1512828 WITH SCORE 1515619.975
AT ITER 6367 NEW BEST:: SOT 11974051 SOS 2791962 HAS SOPS 2791962 HAS SOUS 1512827 HAS SOUPS 1512827 WITH SCORE 1515618.962
AT ITER 6391 NEW BEST:: SOT 11973586 SOS 2791497 HAS SOPS 2791497 HAS SOUS 1512362 HAS SOUPS 1512362 WITH SCORE 1515153.497
AT ITER 6416 NEW BEST:: SOT 11973265 SOS 2788608 HAS SOPS 2788608 HAS SOUS 1512362 HAS SOUPS 1512362 WITH SCORE 1515150.608
AT ITER 6428 NEW BEST:: SOT 11973121 SOS 2783619 HAS SOPS 2783619 HAS SOUS 1511895 HAS SOUPS 1511895 WITH SCORE 1514678.619
AT ITER 6449 NEW BEST:: SOT 11973456 SOS 2782525 HAS SOPS 2782525 HAS SOUS 1511759 HAS SOUPS 1511759 WITH SCORE 1514541.525
AT ITER 6453 NEW BEST:: SOT 11972804 SOS 2780895 HAS SOPS 2780895 HAS SOUS 1511107 HAS SOUPS 1511107 WITH SCORE 1513887.895
AT ITER 6470 NEW BEST:: SOT 11972706 SOS 2780698 HAS SOPS 2780698 HAS SOUS 1510892 HAS SOUPS 1510892 WITH SCORE 1513672.698
AT ITER 6508 NEW BEST:: SOT 11972664 SOS 2780614 HAS SOPS 2780614 HAS SOUS 1510850 HAS SOUPS 1510850 WITH SCORE 1513630.614
AT ITER 6512 NEW BEST:: SOT 11972664 SOS 2779831 HAS SOPS 2779831 HAS SOUS 1510589 HAS SOUPS 1510589 WITH SCORE 1513368.831
AT ITER 6533 NEW BEST:: SOT 11972651 SOS 2779805 HAS SOPS 2779805 HAS SOUS 1510576 HAS SOUPS 1510576 WITH SCORE 1513355.805
AT ITER 6541 NEW BEST:: SOT 11972557 SOS 2785054 HAS SOPS 2785054 HAS SOUS 1510425 HAS SOUPS 1510425 WITH SCORE 1513210.054
AT ITER 6547 NEW BEST:: SOT 11972110 SOS 2782819 HAS SOPS 2782819 HAS SOUS 1509531 HAS SOUPS 1509531 WITH SCORE 1512313.819
AT ITER 6550 NEW BEST:: SOT 11971914 SOS 2782427 HAS SOPS 2782427 HAS SOUS 1509334 HAS SOUPS 1509334 WITH SCORE 1512116.427
AT ITER 6566 NEW BEST:: SOT 11971830 SOS 2782424 HAS SOPS 2782424 HAS SOUS 1509333 HAS SOUPS 1509333 WITH SCORE 1512115.424
AT ITER 6569 NEW BEST:: SOT 11971830 SOS 2782414 HAS SOPS 2782414 HAS SOUS 1509031 HAS SOUPS 1509031 WITH SCORE 1511813.414
AT ITER 6574 NEW BEST:: SOT 11971830 SOS 2782594 HAS SOPS 2782594 HAS SOUS 1509008 HAS SOUPS 1509008 WITH SCORE 1511790.594
AT ITER 6615 NEW BEST:: SOT 11971830 SOS 2782594 HAS SOPS 2782594 HAS SOUS 1508863 HAS SOUPS 1508863 WITH SCORE 1511645.594
AT ITER 6623 NEW BEST:: SOT 11971830 SOS 2782801 HAS SOPS 2782801 HAS SOUS 1508862 HAS SOUPS 1508862 WITH SCORE 1511644.801
AT ITER 6684 NEW BEST:: SOT 11971517 SOS 2781236 HAS SOPS 2781236 HAS SOUS 1508236 HAS SOUPS 1508236 WITH SCORE 1511017.236
AT ITER 6688 NEW BEST:: SOT 11971552 SOS 2781201 HAS SOPS 2781201 HAS SOUS 1508236 HAS SOUPS 1508236 WITH SCORE 1511017.201
AT ITER 6698 NEW BEST:: SOT 11971797 SOS 2774965 HAS SOPS 2774965 HAS SOUS 1507118 HAS SOUPS 1507118 WITH SCORE 1509892.965
AT ITER 6699 NEW BEST:: SOT 11971797 SOS 2774733 HAS SOPS 2774733 HAS SOUS 1506981 HAS SOUPS 1506981 WITH SCORE 1509755.733
AT ITER 6704 NEW BEST:: SOT 11971604 SOS 2774132 HAS SOPS 2774132 HAS SOUS 1506787 HAS SOUPS 1506787 WITH SCORE 1509561.132
AT ITER 6711 NEW BEST:: SOT 11971604 SOS 2774248 HAS SOPS 2774248 HAS SOUS 1506786 HAS SOUPS 1506786 WITH SCORE 1509560.248
AT ITER 6713 NEW BEST:: SOT 11971540 SOS 2774120 HAS SOPS 2774120 HAS SOUS 1506658 HAS SOUPS 1506658 WITH SCORE 1509432.12
AT ITER 6722 NEW BEST:: SOT 11971490 SOS 2774020 HAS SOPS 2774020 HAS SOUS 1506558 HAS SOUPS 1506558 WITH SCORE 1509332.02
AT ITER 6761 NEW BEST:: SOT 11971420 SOS 2773979 HAS SOPS 2773979 HAS SOUS 1506489 HAS SOUPS 1506489 WITH SCORE 1509262.979
AT ITER 6779 NEW BEST:: SOT 11971420 SOS 2774093 HAS SOPS 2774093 HAS SOUS 1506461 HAS SOUPS 1506461 WITH SCORE 1509235.093
AT ITER 6790 NEW BEST:: SOT 11971252 SOS 2773925 HAS SOPS 2773925 HAS SOUS 1506293 HAS SOUPS 1506293 WITH SCORE 1509066.925
AT ITER 6805 NEW BEST:: SOT 11971224 SOS 2773755 HAS SOPS 2773755 HAS SOUS 1506123 HAS SOUPS 1506123 WITH SCORE 1508896.755
AT ITER 6838 NEW BEST:: SOT 11971413 SOS 2772243 HAS SOPS 2772243 HAS SOUS 1505682 HAS SOUPS 1505682 WITH SCORE 1508454.243
AT ITER 6844 NEW BEST:: SOT 11970953 SOS 2771323 HAS SOPS 2771323 HAS SOUS 1504353 HAS SOUPS 1504353 WITH SCORE 1507124.323
AT ITER 6869 NEW BEST:: SOT 11971240 SOS 2771897 HAS SOPS 2771897 HAS SOUS 1504056 HAS SOUPS 1504056 WITH SCORE 1506827.897
AT ITER 6870 NEW BEST:: SOT 11970916 SOS 2771891 HAS SOPS 2771891 HAS SOUS 1504050 HAS SOUPS 1504050 WITH SCORE 1506821.891
AT ITER 6883 NEW BEST:: SOT 11970822 SOS 2771881 HAS SOPS 2771881 HAS SOUS 1504049 HAS SOUPS 1504049 WITH SCORE 1506820.881
AT ITER 6903 NEW BEST:: SOT 11970298 SOS 2771338 HAS SOPS 2771338 HAS SOUS 1503927 HAS SOUPS 1503927 WITH SCORE 1506698.338
AT ITER 6906 NEW BEST:: SOT 11970298 SOS 2770747 HAS SOPS 2770747 HAS SOUS 1503730 HAS SOUPS 1503730 WITH SCORE 1506500.747
AT ITER 6928 NEW BEST:: SOT 11970475 SOS 2770387 HAS SOPS 2770387 HAS SOUS 1503669 HAS SOUPS 1503669 WITH SCORE 1506439.387
AT ITER 6944 NEW BEST:: SOT 11970377 SOS 2770191 HAS SOPS 2770191 HAS SOUS 1503473 HAS SOUPS 1503473 WITH SCORE 1506243.191
AT ITER 6952 NEW BEST:: SOT 11970219 SOS 2769559 HAS SOPS 2769559 HAS SOUS 1503157 HAS SOUPS 1503157 WITH SCORE 1505926.559
AT ITER 6981 NEW BEST:: SOT 11969924 SOS 2768969 HAS SOPS 2768969 HAS SOUS 1502567 HAS SOUPS 1502567 WITH SCORE 1505335.969
AT ITER 6995 NEW BEST:: SOT 11969924 SOS 2768751 HAS SOPS 2768751 HAS SOUS 1502567 HAS SOUPS 1502567 WITH SCORE 1505335.751
AT ITER 7011 NEW BEST:: SOT 11969924 SOS 2768373 HAS SOPS 2768373 HAS SOUS 1502567 HAS SOUPS 1502567 WITH SCORE 1505335.373
AT ITER 7016 NEW BEST:: SOT 11969610 SOS 2768216 HAS SOPS 2768216 HAS SOUS 1502253 HAS SOUPS 1502253 WITH SCORE 1505021.216
AT ITER 7025 NEW BEST:: SOT 11969589 SOS 2768623 HAS SOPS 2768623 HAS SOUS 1502190 HAS SOUPS 1502190 WITH SCORE 1504958.623
AT ITER 7029 NEW BEST:: SOT 11969589 SOS 2768508 HAS SOPS 2768508 HAS SOUS 1502075 HAS SOUPS 1502075 WITH SCORE 1504843.508
AT ITER 7044 NEW BEST:: SOT 11968977 SOS 2767896 HAS SOPS 2767896 HAS SOUS 1501463 HAS SOUPS 1501463 WITH SCORE 1504230.896
AT ITER 7050 NEW BEST:: SOT 11968905 SOS 2767824 HAS SOPS 2767824 HAS SOUS 1501391 HAS SOUPS 1501391 WITH SCORE 1504158.824
AT ITER 7101 NEW BEST:: SOT 11968787 SOS 2767706 HAS SOPS 2767706 HAS SOUS 1501273 HAS SOUPS 1501273 WITH SCORE 1504040.706
AT ITER 7102 NEW BEST:: SOT 11968846 SOS 2766990 HAS SOPS 2766990 HAS SOUS 1501065 HAS SOUPS 1501065 WITH SCORE 1503831.99
AT ITER 7151 NEW BEST:: SOT 11968949 SOS 2766620 HAS SOPS 2766620 HAS SOUS 1500976 HAS SOUPS 1500976 WITH SCORE 1503742.62
AT ITER 7159 NEW BEST:: SOT 11968675 SOS 2766599 HAS SOPS 2766599 HAS SOUS 1500955 HAS SOUPS 1500955 WITH SCORE 1503721.599
AT ITER 7166 NEW BEST:: SOT 11968675 SOS 2767129 HAS SOPS 2767129 HAS SOUS 1500690 HAS SOUPS 1500690 WITH SCORE 1503457.129
AT ITER 7167 NEW BEST:: SOT 11968516 SOS 2767004 HAS SOPS 2767004 HAS SOUS 1500565 HAS SOUPS 1500565 WITH SCORE 1503332.004
AT ITER 7173 NEW BEST:: SOT 11968501 SOS 2766839 HAS SOPS 2766839 HAS SOUS 1500535 HAS SOUPS 1500535 WITH SCORE 1503301.839
AT ITER 7203 NEW BEST:: SOT 11968501 SOS 2766020 HAS SOPS 2766020 HAS SOUS 1500534 HAS SOUPS 1500534 WITH SCORE 1503300.02
AT ITER 7227 NEW BEST:: SOT 11968407 SOS 2767118 HAS SOPS 2767118 HAS SOUS 1500345 HAS SOUPS 1500345 WITH SCORE 1503112.118
AT ITER 7235 NEW BEST:: SOT 11968086 SOS 2766797 HAS SOPS 2766797 HAS SOUS 1500024 HAS SOUPS 1500024 WITH SCORE 1502790.797
AT ITER 7246 NEW BEST:: SOT 11968086 SOS 2767997 HAS SOPS 2767997 HAS SOUS 1499889 HAS SOUPS 1499889 WITH SCORE 1502656.997
AT ITER 7269 NEW BEST:: SOT 11967997 SOS 2767819 HAS SOPS 2767819 HAS SOUS 1499711 HAS SOUPS 1499711 WITH SCORE 1502478.819
AT ITER 7271 NEW BEST:: SOT 11967996 SOS 2767715 HAS SOPS 2767715 HAS SOUS 1499607 HAS SOUPS 1499607 WITH SCORE 1502374.715
AT ITER 7356 NEW BEST:: SOT 11967994 SOS 2767713 HAS SOPS 2767713 HAS SOUS 1499605 HAS SOUPS 1499605 WITH SCORE 1502372.713
AT ITER 7393 NEW BEST:: SOT 11967994 SOS 2766945 HAS SOPS 2766945 HAS SOUS 1499586 HAS SOUPS 1499586 WITH SCORE 1502352.945
AT ITER 7447 NEW BEST:: SOT 11967985 SOS 2766936 HAS SOPS 2766936 HAS SOUS 1499576 HAS SOUPS 1499576 WITH SCORE 1502342.936
AT ITER 7448 NEW BEST:: SOT 11967973 SOS 2766912 HAS SOPS 2766912 HAS SOUS 1499314 HAS SOUPS 1499314 WITH SCORE 1502080.912
AT ITER 7456 NEW BEST:: SOT 11967973 SOS 2766726 HAS SOPS 2766726 HAS SOUS 1499128 HAS SOUPS 1499128 WITH SCORE 1501894.726
AT ITER 7459 NEW BEST:: SOT 11967838 SOS 2766456 HAS SOPS 2766456 HAS SOUS 1498857 HAS SOUPS 1498857 WITH SCORE 1501623.456
AT ITER 7476 NEW BEST:: SOT 11967838 SOS 2766025 HAS SOPS 2766025 HAS SOUS 1498426 HAS SOUPS 1498426 WITH SCORE 1501192.025
AT ITER 7483 NEW BEST:: SOT 11967838 SOS 2765900 HAS SOPS 2765900 HAS SOUS 1498301 HAS SOUPS 1498301 WITH SCORE 1501066.9
AT ITER 7484 NEW BEST:: SOT 11967838 SOS 2765890 HAS SOPS 2765890 HAS SOUS 1497954 HAS SOUPS 1497954 WITH SCORE 1500719.89
AT ITER 7493 NEW BEST:: SOT 11967838 SOS 2765866 HAS SOPS 2765866 HAS SOUS 1497954 HAS SOUPS 1497954 WITH SCORE 1500719.866
AT ITER 7526 NEW BEST:: SOT 11967759 SOS 2765708 HAS SOPS 2765708 HAS SOUS 1497796 HAS SOUPS 1497796 WITH SCORE 1500561.708
AT ITER 7534 NEW BEST:: SOT 11967759 SOS 2764907 HAS SOPS 2764907 HAS SOUS 1497529 HAS SOUPS 1497529 WITH SCORE 1500293.907
AT ITER 7549 NEW BEST:: SOT 11967615 SOS 2764619 HAS SOPS 2764619 HAS SOUS 1497241 HAS SOUPS 1497241 WITH SCORE 1500005.619
AT ITER 7562 NEW BEST:: SOT 11967292 SOS 2764157 HAS SOPS 2764157 HAS SOUS 1496779 HAS SOUPS 1496779 WITH SCORE 1499543.157
AT ITER 7568 NEW BEST:: SOT 11966582 SOS 2763494 HAS SOPS 2763494 HAS SOUS 1496116 HAS SOUPS 1496116 WITH SCORE 1498879.494
AT ITER 7590 NEW BEST:: SOT 11966396 SOS 2763308 HAS SOPS 2763308 HAS SOUS 1495930 HAS SOUPS 1495930 WITH SCORE 1498693.308
AT ITER 7617 NEW BEST:: SOT 11966165 SOS 2762846 HAS SOPS 2762846 HAS SOUS 1495468 HAS SOUPS 1495468 WITH SCORE 1498230.846
AT ITER 7630 NEW BEST:: SOT 11966130 SOS 2762776 HAS SOPS 2762776 HAS SOUS 1495433 HAS SOUPS 1495433 WITH SCORE 1498195.776
AT ITER 7637 NEW BEST:: SOT 11966037 SOS 2762589 HAS SOPS 2762589 HAS SOUS 1495246 HAS SOUPS 1495246 WITH SCORE 1498008.589
AT ITER 7645 NEW BEST:: SOT 11966127 SOS 2762629 HAS SOPS 2762629 HAS SOUS 1495236 HAS SOUPS 1495236 WITH SCORE 1497998.629
AT ITER 7666 NEW BEST:: SOT 11965749 SOS 2765005 HAS SOPS 2765005 HAS SOUS 1494453 HAS SOUPS 1494453 WITH SCORE 1497218.005
AT ITER 7686 NEW BEST:: SOT 11965749 SOS 2765005 HAS SOPS 2765005 HAS SOUS 1494273 HAS SOUPS 1494273 WITH SCORE 1497038.005
AT ITER 7688 NEW BEST:: SOT 11965060 SOS 2765597 HAS SOPS 2765597 HAS SOUS 1494170 HAS SOUPS 1494170 WITH SCORE 1496935.597
AT ITER 7704 NEW BEST:: SOT 11965060 SOS 2765797 HAS SOPS 2765797 HAS SOUS 1494169 HAS SOUPS 1494169 WITH SCORE 1496934.797
AT ITER 7709 NEW BEST:: SOT 11965060 SOS 2767402 HAS SOPS 2767402 HAS SOUS 1494055 HAS SOUPS 1494055 WITH SCORE 1496822.402
AT ITER 7710 NEW BEST:: SOT 11965023 SOS 2767291 HAS SOPS 2767291 HAS SOUS 1493981 HAS SOUPS 1493981 WITH SCORE 1496748.291
AT ITER 7724 NEW BEST:: SOT 11963235 SOS 2765649 HAS SOPS 2765649 HAS SOUS 1492341 HAS SOUPS 1492341 WITH SCORE 1495106.649
AT ITER 7749 NEW BEST:: SOT 11963235 SOS 2765796 HAS SOPS 2765796 HAS SOUS 1492340 HAS SOUPS 1492340 WITH SCORE 1495105.796
AT ITER 7762 NEW BEST:: SOT 11963161 SOS 2765940 HAS SOPS 2765940 HAS SOUS 1492265 HAS SOUPS 1492265 WITH SCORE 1495030.94
AT ITER 7763 NEW BEST:: SOT 11963135 SOS 2765914 HAS SOPS 2765914 HAS SOUS 1492239 HAS SOUPS 1492239 WITH SCORE 1495004.914
AT ITER 7774 NEW BEST:: SOT 11962938 SOS 2765126 HAS SOPS 2765126 HAS SOUS 1492042 HAS SOUPS 1492042 WITH SCORE 1494807.126
AT ITER 7788 NEW BEST:: SOT 11962982 SOS 2765676 HAS SOPS 2765676 HAS SOUS 1491970 HAS SOUPS 1491970 WITH SCORE 1494735.676
AT ITER 7801 NEW BEST:: SOT 11963140 SOS 2764699 HAS SOPS 2764699 HAS SOUS 1491744 HAS SOUPS 1491744 WITH SCORE 1494508.699
AT ITER 7817 NEW BEST:: SOT 11962914 SOS 2764247 HAS SOPS 2764247 HAS SOUS 1490722 HAS SOUPS 1490722 WITH SCORE 1493486.247
AT ITER 7833 NEW BEST:: SOT 11962488 SOS 2763967 HAS SOPS 2763967 HAS SOUS 1490442 HAS SOUPS 1490442 WITH SCORE 1493205.967
AT ITER 7853 NEW BEST:: SOT 11961933 SOS 2764428 HAS SOPS 2764428 HAS SOUS 1489773 HAS SOUPS 1489773 WITH SCORE 1492537.428
AT ITER 7866 NEW BEST:: SOT 11961762 SOS 2764081 HAS SOPS 2764081 HAS SOUS 1489426 HAS SOUPS 1489426 WITH SCORE 1492190.081
AT ITER 7868 NEW BEST:: SOT 11961762 SOS 2764078 HAS SOPS 2764078 HAS SOUS 1489425 HAS SOUPS 1489425 WITH SCORE 1492189.078
AT ITER 7883 NEW BEST:: SOT 11961279 SOS 2763810 HAS SOPS 2763810 HAS SOUS 1489157 HAS SOUPS 1489157 WITH SCORE 1491920.81
AT ITER 7902 NEW BEST:: SOT 11961279 SOS 2764848 HAS SOPS 2764848 HAS SOUS 1489155 HAS SOUPS 1489155 WITH SCORE 1491919.848
AT ITER 7903 NEW BEST:: SOT 11961231 SOS 2764656 HAS SOPS 2764656 HAS SOUS 1489059 HAS SOUPS 1489059 WITH SCORE 1491823.656
AT ITER 7906 NEW BEST:: SOT 11961195 SOS 2763696 HAS SOPS 2763696 HAS SOUS 1488720 HAS SOUPS 1488720 WITH SCORE 1491483.696
AT ITER 7926 NEW BEST:: SOT 11961153 SOS 2763695 HAS SOPS 2763695 HAS SOUS 1488719 HAS SOUPS 1488719 WITH SCORE 1491482.695
AT ITER 7935 NEW BEST:: SOT 11961161 SOS 2764116 HAS SOPS 2764116 HAS SOUS 1488421 HAS SOUPS 1488421 WITH SCORE 1491185.116
AT ITER 7942 NEW BEST:: SOT 11961154 SOS 2764193 HAS SOPS 2764193 HAS SOUS 1488414 HAS SOUPS 1488414 WITH SCORE 1491178.193
AT ITER 7979 NEW BEST:: SOT 11960878 SOS 2762934 HAS SOPS 2762934 HAS SOUS 1487539 HAS SOUPS 1487539 WITH SCORE 1490301.934
AT ITER 8004 NEW BEST:: SOT 11960479 SOS 2762531 HAS SOPS 2762531 HAS SOUS 1487368 HAS SOUPS 1487368 WITH SCORE 1490130.531
AT ITER 8021 NEW BEST:: SOT 11960479 SOS 2762480 HAS SOPS 2762480 HAS SOUS 1487317 HAS SOUPS 1487317 WITH SCORE 1490079.48
AT ITER 8037 NEW BEST:: SOT 11959725 SOS 2762103 HAS SOPS 2762103 HAS SOUS 1486940 HAS SOUPS 1486940 WITH SCORE 1489702.103
AT ITER 8057 NEW BEST:: SOT 11959714 SOS 2762114 HAS SOPS 2762114 HAS SOUS 1486929 HAS SOUPS 1486929 WITH SCORE 1489691.114
AT ITER 8061 NEW BEST:: SOT 11959359 SOS 2762114 HAS SOPS 2762114 HAS SOUS 1486574 HAS SOUPS 1486574 WITH SCORE 1489336.114
AT ITER 8067 NEW BEST:: SOT 11959206 SOS 2761808 HAS SOPS 2761808 HAS SOUS 1486268 HAS SOUPS 1486268 WITH SCORE 1489029.808
AT ITER 8091 NEW BEST:: SOT 11959206 SOS 2761464 HAS SOPS 2761464 HAS SOUS 1485924 HAS SOUPS 1485924 WITH SCORE 1488685.464
AT ITER 8123 NEW BEST:: SOT 11959124 SOS 2761382 HAS SOPS 2761382 HAS SOUS 1485842 HAS SOUPS 1485842 WITH SCORE 1488603.382
AT ITER 8158 NEW BEST:: SOT 11958682 SOS 2760719 HAS SOPS 2760719 HAS SOUS 1485179 HAS SOUPS 1485179 WITH SCORE 1487939.719
AT ITER 8164 NEW BEST:: SOT 11958210 SOS 2761548 HAS SOPS 2761548 HAS SOUS 1484707 HAS SOUPS 1484707 WITH SCORE 1487468.548
AT ITER 8173 NEW BEST:: SOT 11958499 SOS 2764156 HAS SOPS 2764156 HAS SOUS 1484536 HAS SOUPS 1484536 WITH SCORE 1487300.156
AT ITER 8181 NEW BEST:: SOT 11958496 SOS 2764150 HAS SOPS 2764150 HAS SOUS 1484533 HAS SOUPS 1484533 WITH SCORE 1487297.15
AT ITER 8221 NEW BEST:: SOT 11957682 SOS 2763558 HAS SOPS 2763558 HAS SOUS 1484385 HAS SOUPS 1484385 WITH SCORE 1487148.558
AT ITER 8259 NEW BEST:: SOT 11957390 SOS 2763376 HAS SOPS 2763376 HAS SOUS 1484203 HAS SOUPS 1484203 WITH SCORE 1486966.376
AT ITER 8264 NEW BEST:: SOT 11957283 SOS 2763274 HAS SOPS 2763274 HAS SOUS 1484101 HAS SOUPS 1484101 WITH SCORE 1486864.274
AT ITER 8285 NEW BEST:: SOT 11957236 SOS 2763177 HAS SOPS 2763177 HAS SOUS 1484006 HAS SOUPS 1484006 WITH SCORE 1486769.177
AT ITER 8296 NEW BEST:: SOT 11957236 SOS 2763235 HAS SOPS 2763235 HAS SOUS 1484005 HAS SOUPS 1484005 WITH SCORE 1486768.235
AT ITER 8299 NEW BEST:: SOT 11957204 SOS 2763171 HAS SOPS 2763171 HAS SOUS 1483941 HAS SOUPS 1483941 WITH SCORE 1486704.171
AT ITER 8354 NEW BEST:: SOT 11957186 SOS 2763135 HAS SOPS 2763135 HAS SOUS 1483922 HAS SOUPS 1483922 WITH SCORE 1486685.135
AT ITER 8370 NEW BEST:: SOT 11957186 SOS 2761445 HAS SOPS 2761445 HAS SOUS 1483834 HAS SOUPS 1483834 WITH SCORE 1486595.445
AT ITER 8378 NEW BEST:: SOT 11957186 SOS 2761339 HAS SOPS 2761339 HAS SOUS 1483728 HAS SOUPS 1483728 WITH SCORE 1486489.339
AT ITER 8388 NEW BEST:: SOT 11957186 SOS 2762330 HAS SOPS 2762330 HAS SOUS 1483727 HAS SOUPS 1483727 WITH SCORE 1486489.33
AT ITER 8392 NEW BEST:: SOT 11957186 SOS 2761376 HAS SOPS 2761376 HAS SOUS 1483727 HAS SOUPS 1483727 WITH SCORE 1486488.376
AT ITER 8413 NEW BEST:: SOT 11957093 SOS 2760911 HAS SOPS 2760911 HAS SOUS 1483634 HAS SOUPS 1483634 WITH SCORE 1486394.911
AT ITER 8424 NEW BEST:: SOT 11956691 SOS 2759703 HAS SOPS 2759703 HAS SOUS 1482426 HAS SOUPS 1482426 WITH SCORE 1485185.703
AT ITER 8449 NEW BEST:: SOT 11956691 SOS 2759985 HAS SOPS 2759985 HAS SOUS 1482424 HAS SOUPS 1482424 WITH SCORE 1485183.985
AT ITER 8461 NEW BEST:: SOT 11954534 SOS 2760274 HAS SOPS 2760274 HAS SOUS 1482020 HAS SOUPS 1482020 WITH SCORE 1484780.274
AT ITER 8489 NEW BEST:: SOT 11954474 SOS 2760094 HAS SOPS 2760094 HAS SOUS 1481840 HAS SOUPS 1481840 WITH SCORE 1484600.094
AT ITER 8491 NEW BEST:: SOT 11953069 SOS 2758935 HAS SOPS 2758935 HAS SOUS 1480681 HAS SOUPS 1480681 WITH SCORE 1483439.935
AT ITER 8494 NEW BEST:: SOT 11953069 SOS 2758979 HAS SOPS 2758979 HAS SOUS 1480680 HAS SOUPS 1480680 WITH SCORE 1483438.979
AT ITER 8524 NEW BEST:: SOT 11950576 SOS 2756209 HAS SOPS 2756209 HAS SOUS 1479321 HAS SOUPS 1479321 WITH SCORE 1482077.209
AT ITER 8546 NEW BEST:: SOT 11950438 SOS 2755933 HAS SOPS 2755933 HAS SOUS 1479045 HAS SOUPS 1479045 WITH SCORE 1481800.933
AT ITER 8558 NEW BEST:: SOT 11950061 SOS 2755678 HAS SOPS 2755678 HAS SOUS 1478790 HAS SOUPS 1478790 WITH SCORE 1481545.678
AT ITER 8560 NEW BEST:: SOT 11950061 SOS 2756358 HAS SOPS 2756358 HAS SOUS 1478789 HAS SOUPS 1478789 WITH SCORE 1481545.358
AT ITER 8561 NEW BEST:: SOT 11950071 SOS 2756181 HAS SOPS 2756181 HAS SOUS 1478612 HAS SOUPS 1478612 WITH SCORE 1481368.181
AT ITER 8571 NEW BEST:: SOT 11950073 SOS 2758143 HAS SOPS 2758143 HAS SOUS 1478369 HAS SOUPS 1478369 WITH SCORE 1481127.143
AT ITER 8578 NEW BEST:: SOT 11950072 SOS 2758141 HAS SOPS 2758141 HAS SOUS 1478367 HAS SOUPS 1478367 WITH SCORE 1481125.141
AT ITER 8582 NEW BEST:: SOT 11950079 SOS 2758155 HAS SOPS 2758155 HAS SOUS 1478166 HAS SOUPS 1478166 WITH SCORE 1480924.155
AT ITER 8623 NEW BEST:: SOT 11950356 SOS 2757044 HAS SOPS 2757044 HAS SOUS 1477997 HAS SOUPS 1477997 WITH SCORE 1480754.044
AT ITER 8674 NEW BEST:: SOT 11950458 SOS 2756994 HAS SOPS 2756994 HAS SOUS 1477977 HAS SOUPS 1477977 WITH SCORE 1480733.994
AT ITER 8676 NEW BEST:: SOT 11950218 SOS 2755968 HAS SOPS 2755968 HAS SOUS 1477737 HAS SOUPS 1477737 WITH SCORE 1480492.968
AT ITER 8705 NEW BEST:: SOT 11950096 SOS 2753399 HAS SOPS 2753399 HAS SOUS 1477615 HAS SOUPS 1477615 WITH SCORE 1480368.399
AT ITER 8826 NEW BEST:: SOT 11950121 SOS 2753449 HAS SOPS 2753449 HAS SOUS 1477593 HAS SOUPS 1477593 WITH SCORE 1480346.449
AT ITER 8827 NEW BEST:: SOT 11950121 SOS 2753369 HAS SOPS 2753369 HAS SOUS 1477593 HAS SOUPS 1477593 WITH SCORE 1480346.369
AT ITER 8841 NEW BEST:: SOT 11950128 SOS 2753362 HAS SOPS 2753362 HAS SOUS 1477586 HAS SOUPS 1477586 WITH SCORE 1480339.362
AT ITER 8861 NEW BEST:: SOT 11950023 SOS 2753269 HAS SOPS 2753269 HAS SOUS 1477481 HAS SOUPS 1477481 WITH SCORE 1480234.269
AT ITER 8878 NEW BEST:: SOT 11950023 SOS 2753266 HAS SOPS 2753266 HAS SOUS 1477480 HAS SOUPS 1477480 WITH SCORE 1480233.266
AT ITER 8885 NEW BEST:: SOT 11949963 SOS 2753146 HAS SOPS 2753146 HAS SOUS 1477360 HAS SOUPS 1477360 WITH SCORE 1480113.146
AT ITER 8894 NEW BEST:: SOT 11949821 SOS 2752862 HAS SOPS 2752862 HAS SOUS 1477218 HAS SOUPS 1477218 WITH SCORE 1479970.862
AT ITER 8915 NEW BEST:: SOT 11949821 SOS 2752616 HAS SOPS 2752616 HAS SOUS 1476974 HAS SOUPS 1476974 WITH SCORE 1479726.616
AT ITER 8926 NEW BEST:: SOT 11949821 SOS 2752362 HAS SOPS 2752362 HAS SOUS 1476720 HAS SOUPS 1476720 WITH SCORE 1479472.362
AT ITER 8928 NEW BEST:: SOT 11949818 SOS 2752383 HAS SOPS 2752383 HAS SOUS 1476717 HAS SOUPS 1476717 WITH SCORE 1479469.383
AT ITER 8938 NEW BEST:: SOT 11949755 SOS 2751839 HAS SOPS 2751839 HAS SOUS 1476445 HAS SOUPS 1476445 WITH SCORE 1479196.839
AT ITER 8959 NEW BEST:: SOT 11950003 SOS 2752335 HAS SOPS 2752335 HAS SOUS 1475702 HAS SOUPS 1475702 WITH SCORE 1478454.335
AT ITER 8975 NEW BEST:: SOT 11950366 SOS 2752716 HAS SOPS 2752716 HAS SOUS 1475587 HAS SOUPS 1475587 WITH SCORE 1478339.716
AT ITER 8984 NEW BEST:: SOT 11950365 SOS 2753013 HAS SOPS 2753013 HAS SOUS 1475585 HAS SOUPS 1475585 WITH SCORE 1478338.013
AT ITER 8999 NEW BEST:: SOT 11950317 SOS 2753397 HAS SOPS 2753397 HAS SOUS 1475537 HAS SOUPS 1475537 WITH SCORE 1478290.397
AT ITER 9011 NEW BEST:: SOT 11950248 SOS 2753259 HAS SOPS 2753259 HAS SOUS 1475399 HAS SOUPS 1475399 WITH SCORE 1478152.259
AT ITER 9012 NEW BEST:: SOT 11950248 SOS 2753259 HAS SOPS 2753259 HAS SOUS 1475324 HAS SOUPS 1475324 WITH SCORE 1478077.259
AT ITER 9049 NEW BEST:: SOT 11950050 SOS 2752764 HAS SOPS 2752764 HAS SOUS 1475027 HAS SOUPS 1475027 WITH SCORE 1477779.764
AT ITER 9053 NEW BEST:: SOT 11950002 SOS 2752668 HAS SOPS 2752668 HAS SOUS 1474979 HAS SOUPS 1474979 WITH SCORE 1477731.668
AT ITER 9074 NEW BEST:: SOT 11949993 SOS 2752458 HAS SOPS 2752458 HAS SOUS 1474945 HAS SOUPS 1474945 WITH SCORE 1477697.458
AT ITER 9092 NEW BEST:: SOT 11949988 SOS 2751850 HAS SOPS 2751850 HAS SOUS 1474935 HAS SOUPS 1474935 WITH SCORE 1477686.85
AT ITER 9096 NEW BEST:: SOT 11949920 SOS 2750955 HAS SOPS 2750955 HAS SOUS 1474614 HAS SOUPS 1474614 WITH SCORE 1477364.955
AT ITER 9102 NEW BEST:: SOT 11949369 SOS 2750403 HAS SOPS 2750403 HAS SOUS 1474062 HAS SOUPS 1474062 WITH SCORE 1476812.403
AT ITER 9151 NEW BEST:: SOT 11949294 SOS 2750349 HAS SOPS 2750349 HAS SOUS 1473986 HAS SOUPS 1473986 WITH SCORE 1476736.349
AT ITER 9192 NEW BEST:: SOT 11949294 SOS 2749683 HAS SOPS 2749683 HAS SOUS 1473986 HAS SOUPS 1473986 WITH SCORE 1476735.683
AT ITER 9199 NEW BEST:: SOT 11949172 SOS 2749561 HAS SOPS 2749561 HAS SOUS 1473863 HAS SOUPS 1473863 WITH SCORE 1476612.561
AT ITER 9235 NEW BEST:: SOT 11949172 SOS 2749484 HAS SOPS 2749484 HAS SOUS 1473786 HAS SOUPS 1473786 WITH SCORE 1476535.484
AT ITER 9254 NEW BEST:: SOT 11949172 SOS 2749420 HAS SOPS 2749420 HAS SOUS 1473786 HAS SOUPS 1473786 WITH SCORE 1476535.42
AT ITER 9272 NEW BEST:: SOT 11949143 SOS 2749362 HAS SOPS 2749362 HAS SOUS 1473728 HAS SOUPS 1473728 WITH SCORE 1476477.362
AT ITER 9286 NEW BEST:: SOT 11949143 SOS 2749362 HAS SOPS 2749362 HAS SOUS 1473650 HAS SOUPS 1473650 WITH SCORE 1476399.362
AT ITER 9292 NEW BEST:: SOT 11949077 SOS 2749359 HAS SOPS 2749359 HAS SOUS 1473517 HAS SOUPS 1473517 WITH SCORE 1476266.359
AT ITER 9308 NEW BEST:: SOT 11949031 SOS 2749267 HAS SOPS 2749267 HAS SOUS 1473425 HAS SOUPS 1473425 WITH SCORE 1476174.267
AT ITER 9338 NEW BEST:: SOT 11949030 SOS 2749265 HAS SOPS 2749265 HAS SOUS 1473423 HAS SOUPS 1473423 WITH SCORE 1476172.265
AT ITER 9400 NEW BEST:: SOT 11949028 SOS 2749261 HAS SOPS 2749261 HAS SOUS 1473419 HAS SOUPS 1473419 WITH SCORE 1476168.261
AT ITER 9438 NEW BEST:: SOT 11949028 SOS 2749401 HAS SOPS 2749401 HAS SOUS 1473417 HAS SOUPS 1473417 WITH SCORE 1476166.401
AT ITER 9455 NEW BEST:: SOT 11948893 SOS 2749911 HAS SOPS 2749911 HAS SOUS 1473407 HAS SOUPS 1473407 WITH SCORE 1476156.911
AT ITER 9473 NEW BEST:: SOT 11948845 SOS 2749815 HAS SOPS 2749815 HAS SOUS 1473311 HAS SOUPS 1473311 WITH SCORE 1476060.815
AT ITER 9507 NEW BEST:: SOT 11948856 SOS 2750399 HAS SOPS 2750399 HAS SOUS 1473191 HAS SOUPS 1473191 WITH SCORE 1475941.399
AT ITER 9522 NEW BEST:: SOT 11948834 SOS 2750355 HAS SOPS 2750355 HAS SOUS 1473169 HAS SOUPS 1473169 WITH SCORE 1475919.355
AT ITER 9527 NEW BEST:: SOT 11948243 SOS 2749760 HAS SOPS 2749760 HAS SOUS 1472577 HAS SOUPS 1472577 WITH SCORE 1475326.76
AT ITER 9545 NEW BEST:: SOT 11948059 SOS 2750250 HAS SOPS 2750250 HAS SOUS 1472066 HAS SOUPS 1472066 WITH SCORE 1474816.25
AT ITER 9547 NEW BEST:: SOT 11947967 SOS 2750158 HAS SOPS 2750158 HAS SOUS 1471974 HAS SOUPS 1471974 WITH SCORE 1474724.158
AT ITER 9566 NEW BEST:: SOT 11947822 SOS 2750004 HAS SOPS 2750004 HAS SOUS 1471820 HAS SOUPS 1471820 WITH SCORE 1474570.004
AT ITER 9608 NEW BEST:: SOT 11947978 SOS 2748330 HAS SOPS 2748330 HAS SOUS 1471411 HAS SOUPS 1471411 WITH SCORE 1474159.33
AT ITER 9622 NEW BEST:: SOT 11947553 SOS 2747930 HAS SOPS 2747930 HAS SOUS 1470985 HAS SOUPS 1470985 WITH SCORE 1473732.93
AT ITER 9633 NEW BEST:: SOT 11947553 SOS 2747930 HAS SOPS 2747930 HAS SOUS 1470714 HAS SOUPS 1470714 WITH SCORE 1473461.93
AT ITER 9642 NEW BEST:: SOT 11947533 SOS 2747890 HAS SOPS 2747890 HAS SOUS 1470674 HAS SOUPS 1470674 WITH SCORE 1473421.89
AT ITER 9662 NEW BEST:: SOT 11947178 SOS 2747180 HAS SOPS 2747180 HAS SOUS 1470524 HAS SOUPS 1470524 WITH SCORE 1473271.18
AT ITER 9670 NEW BEST:: SOT 11947022 SOS 2747600 HAS SOPS 2747600 HAS SOUS 1470368 HAS SOUPS 1470368 WITH SCORE 1473115.6
AT ITER 9671 NEW BEST:: SOT 11946880 SOS 2747485 HAS SOPS 2747485 HAS SOUS 1470253 HAS SOUPS 1470253 WITH SCORE 1473000.485
AT ITER 9711 NEW BEST:: SOT 11946880 SOS 2747367 HAS SOPS 2747367 HAS SOUS 1470194 HAS SOUPS 1470194 WITH SCORE 1472941.367
AT ITER 9738 NEW BEST:: SOT 11946921 SOS 2747261 HAS SOPS 2747261 HAS SOUS 1470088 HAS SOUPS 1470088 WITH SCORE 1472835.261
AT ITER 9772 NEW BEST:: SOT 11946799 SOS 2746033 HAS SOPS 2746033 HAS SOUS 1469716 HAS SOUPS 1469716 WITH SCORE 1472462.033
AT ITER 9845 NEW BEST:: SOT 11946689 SOS 2745813 HAS SOPS 2745813 HAS SOUS 1469496 HAS SOUPS 1469496 WITH SCORE 1472241.813
AT ITER 9857 NEW BEST:: SOT 11946659 SOS 2745753 HAS SOPS 2745753 HAS SOUS 1469367 HAS SOUPS 1469367 WITH SCORE 1472112.753
AT ITER 9865 NEW BEST:: SOT 11946657 SOS 2745749 HAS SOPS 2745749 HAS SOUS 1469363 HAS SOUPS 1469363 WITH SCORE 1472108.749
AT ITER 9871 NEW BEST:: SOT 11946653 SOS 2745741 HAS SOPS 2745741 HAS SOUS 1469355 HAS SOUPS 1469355 WITH SCORE 1472100.741
AT ITER 9882 NEW BEST:: SOT 11946618 SOS 2745724 HAS SOPS 2745724 HAS SOUS 1469338 HAS SOUPS 1469338 WITH SCORE 1472083.724
AT ITER 9903 NEW BEST:: SOT 11946294 SOS 2745076 HAS SOPS 2745076 HAS SOUS 1468599 HAS SOUPS 1468599 WITH SCORE 1471344.076
AT ITER 9969 NEW BEST:: SOT 11946209 SOS 2744686 HAS SOPS 2744686 HAS SOUS 1468560 HAS SOUPS 1468560 WITH SCORE 1471304.686
AT ITER 9998 NEW BEST:: SOT 11946209 SOS 2744638 HAS SOPS 2744638 HAS SOUS 1468544 HAS SOUPS 1468544 WITH SCORE 1471288.638

BK_TIME_CONFINEMENT_REACHED

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

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="DLCround-PT-09b"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-09b, 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 r048-ebro-158902542300560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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