Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033539000584.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S16D2C4A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.3M
-rw-r--r-- 1 mcc users 4.6K May 14 05:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.4K May 13 16:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 16:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 13 12:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 12:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 6.1M May 12 20:42 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 1590477075889

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

Filename model.pnml
Petri model created: 4915 places, 9009 transitions, 22113 arcs.
AT ITER 0 NEW BEST:: SOT 25141931 SOS 21887705 HAS SOPS 21887705 HAS SOUS 1907210 HAS SOUPS 1907210 WITH SCORE 1929097.705
AT ITER 20 NEW BEST:: SOT 25138993 SOS 21862722 HAS SOPS 21862722 HAS SOUS 1907200 HAS SOUPS 1907200 WITH SCORE 1929062.722
AT ITER 82 NEW BEST:: SOT 25137639 SOS 21851208 HAS SOPS 21851208 HAS SOUS 1907195 HAS SOUPS 1907195 WITH SCORE 1929046.208
AT ITER 118 NEW BEST:: SOT 25135455 SOS 21832638 HAS SOPS 21832638 HAS SOUS 1907189 HAS SOUPS 1907189 WITH SCORE 1929021.638
AT ITER 121 NEW BEST:: SOT 25133621 SOS 21817044 HAS SOPS 21817044 HAS SOUS 1907184 HAS SOUPS 1907184 WITH SCORE 1929001.044
AT ITER 145 NEW BEST:: SOT 25130439 SOS 21787796 HAS SOPS 21787796 HAS SOUS 1905838 HAS SOUPS 1905838 WITH SCORE 1927625.796
AT ITER 200 NEW BEST:: SOT 25122859 SOS 21723355 HAS SOPS 21723355 HAS SOUS 1905827 HAS SOUPS 1905827 WITH SCORE 1927550.355
AT ITER 221 NEW BEST:: SOT 25120771 SOS 21704563 HAS SOPS 21704563 HAS SOUS 1904783 HAS SOUPS 1904783 WITH SCORE 1926487.563
AT ITER 235 NEW BEST:: SOT 25116565 SOS 21668801 HAS SOPS 21668801 HAS SOUS 1904772 HAS SOUPS 1904772 WITH SCORE 1926440.801
AT ITER 238 NEW BEST:: SOT 25113465 SOS 21642451 HAS SOPS 21642451 HAS SOUS 1904772 HAS SOUPS 1904772 WITH SCORE 1926414.451
AT ITER 271 NEW BEST:: SOT 25111451 SOS 21625323 HAS SOPS 21625323 HAS SOUS 1904763 HAS SOUPS 1904763 WITH SCORE 1926388.323
AT ITER 276 NEW BEST:: SOT 25106973 SOS 21587249 HAS SOPS 21587249 HAS SOUS 1904752 HAS SOUPS 1904752 WITH SCORE 1926339.249
AT ITER 278 NEW BEST:: SOT 25103965 SOS 21561666 HAS SOPS 21561666 HAS SOUS 1904735 HAS SOUPS 1904735 WITH SCORE 1926296.666
AT ITER 302 NEW BEST:: SOT 25102917 SOS 21552750 HAS SOPS 21552750 HAS SOUS 1904727 HAS SOUPS 1904727 WITH SCORE 1926279.75
AT ITER 310 NEW BEST:: SOT 25099545 SOS 21524088 HAS SOPS 21524088 HAS SOUS 1904727 HAS SOUPS 1904727 WITH SCORE 1926251.088
AT ITER 315 NEW BEST:: SOT 25096865 SOS 21501296 HAS SOPS 21501296 HAS SOUS 1904715 HAS SOUPS 1904715 WITH SCORE 1926216.296
AT ITER 357 NEW BEST:: SOT 25090927 SOS 21450815 HAS SOPS 21450815 HAS SOUS 1904707 HAS SOUPS 1904707 WITH SCORE 1926157.815
AT ITER 378 NEW BEST:: SOT 25088981 SOS 21434266 HAS SOPS 21434266 HAS SOUS 1904699 HAS SOUPS 1904699 WITH SCORE 1926133.266
AT ITER 388 NEW BEST:: SOT 25085159 SOS 21401778 HAS SOPS 21401778 HAS SOUS 1904698 HAS SOUPS 1904698 WITH SCORE 1926099.778
AT ITER 400 NEW BEST:: SOT 25079053 SOS 21349877 HAS SOPS 21349877 HAS SOUS 1904698 HAS SOUPS 1904698 WITH SCORE 1926047.877
AT ITER 429 NEW BEST:: SOT 25075957 SOS 21322065 HAS SOPS 21322065 HAS SOUS 1903202 HAS SOUPS 1903202 WITH SCORE 1924524.065
AT ITER 433 NEW BEST:: SOT 25068629 SOS 21259765 HAS SOPS 21259765 HAS SOUS 1903190 HAS SOUPS 1903190 WITH SCORE 1924449.765
AT ITER 435 NEW BEST:: SOT 25065265 SOS 21231161 HAS SOPS 21231161 HAS SOUS 1903180 HAS SOUPS 1903180 WITH SCORE 1924411.161
AT ITER 439 NEW BEST:: SOT 25064813 SOS 21227306 HAS SOPS 21227306 HAS SOUS 1903167 HAS SOUPS 1903167 WITH SCORE 1924394.306
AT ITER 480 NEW BEST:: SOT 25061015 SOS 21195021 HAS SOPS 21195021 HAS SOUS 1903165 HAS SOUPS 1903165 WITH SCORE 1924360.021
AT ITER 488 NEW BEST:: SOT 25059587 SOS 21182869 HAS SOPS 21182869 HAS SOUS 1903151 HAS SOUPS 1903151 WITH SCORE 1924333.869
AT ITER 492 NEW BEST:: SOT 25057031 SOS 21161132 HAS SOPS 21161132 HAS SOUS 1903140 HAS SOUPS 1903140 WITH SCORE 1924301.132
AT ITER 495 NEW BEST:: SOT 25054449 SOS 21139184 HAS SOPS 21139184 HAS SOUS 1903139 HAS SOUPS 1903139 WITH SCORE 1924278.184
AT ITER 513 NEW BEST:: SOT 25053485 SOS 21130986 HAS SOPS 21130986 HAS SOUS 1903135 HAS SOUPS 1903135 WITH SCORE 1924265.986
AT ITER 527 NEW BEST:: SOT 25050853 SOS 21108612 HAS SOPS 21108612 HAS SOUS 1903133 HAS SOUPS 1903133 WITH SCORE 1924241.612
AT ITER 534 NEW BEST:: SOT 25049783 SOS 21099502 HAS SOPS 21099502 HAS SOUS 1903116 HAS SOUPS 1903116 WITH SCORE 1924215.502
AT ITER 556 NEW BEST:: SOT 25043621 SOS 21047120 HAS SOPS 21047120 HAS SOUS 1903111 HAS SOUPS 1903111 WITH SCORE 1924158.12
AT ITER 560 NEW BEST:: SOT 25036523 SOS 20986781 HAS SOPS 20986781 HAS SOUS 1903105 HAS SOUPS 1903105 WITH SCORE 1924091.781
AT ITER 563 NEW BEST:: SOT 25034191 SOS 20966959 HAS SOPS 20966959 HAS SOUS 1903105 HAS SOUPS 1903105 WITH SCORE 1924071.959
AT ITER 585 NEW BEST:: SOT 25031523 SOS 20944277 HAS SOPS 20944277 HAS SOUS 1903101 HAS SOUPS 1903101 WITH SCORE 1924045.277
AT ITER 586 NEW BEST:: SOT 25030557 SOS 20936057 HAS SOPS 20936057 HAS SOUS 1903092 HAS SOUPS 1903092 WITH SCORE 1924028.057
AT ITER 589 NEW BEST:: SOT 25029631 SOS 20927036 HAS SOPS 20927036 HAS SOUS 1903007 HAS SOUPS 1903007 WITH SCORE 1923934.036
AT ITER 609 NEW BEST:: SOT 25027945 SOS 20911862 HAS SOPS 20911862 HAS SOUS 1902164 HAS SOUPS 1902164 WITH SCORE 1923075.862
AT ITER 612 NEW BEST:: SOT 25027159 SOS 20905176 HAS SOPS 20905176 HAS SOUS 1902159 HAS SOUPS 1902159 WITH SCORE 1923064.176
AT ITER 618 NEW BEST:: SOT 25025287 SOS 20889252 HAS SOPS 20889252 HAS SOUS 1902147 HAS SOUPS 1902147 WITH SCORE 1923036.252
AT ITER 637 NEW BEST:: SOT 25022141 SOS 20862511 HAS SOPS 20862511 HAS SOUS 1902147 HAS SOUPS 1902147 WITH SCORE 1923009.511
AT ITER 641 NEW BEST:: SOT 25021235 SOS 20854807 HAS SOPS 20854807 HAS SOUS 1902144 HAS SOUPS 1902144 WITH SCORE 1922998.807
AT ITER 654 NEW BEST:: SOT 25020319 SOS 20847016 HAS SOPS 20847016 HAS SOUS 1902139 HAS SOUPS 1902139 WITH SCORE 1922986.016
AT ITER 676 NEW BEST:: SOT 25018711 SOS 20833340 HAS SOPS 20833340 HAS SOUS 1902131 HAS SOUPS 1902131 WITH SCORE 1922964.34
AT ITER 680 NEW BEST:: SOT 25017293 SOS 20821287 HAS SOPS 20821287 HAS SOUS 1902131 HAS SOUPS 1902131 WITH SCORE 1922952.287
AT ITER 688 NEW BEST:: SOT 25016787 SOS 20816974 HAS SOPS 20816974 HAS SOUS 1902119 HAS SOUPS 1902119 WITH SCORE 1922935.974
AT ITER 703 NEW BEST:: SOT 25013277 SOS 20787127 HAS SOPS 20787127 HAS SOUS 1902107 HAS SOUPS 1902107 WITH SCORE 1922894.127
AT ITER 708 NEW BEST:: SOT 25011067 SOS 20768330 HAS SOPS 20768330 HAS SOUS 1902095 HAS SOUPS 1902095 WITH SCORE 1922863.33
AT ITER 753 NEW BEST:: SOT 25005149 SOS 20718015 HAS SOPS 20718015 HAS SOUS 1902083 HAS SOUPS 1902083 WITH SCORE 1922801.015
AT ITER 759 NEW BEST:: SOT 25003877 SOS 20706567 HAS SOPS 20706567 HAS SOUS 1901447 HAS SOUPS 1901447 WITH SCORE 1922153.567
AT ITER 786 NEW BEST:: SOT 25003353 SOS 20701851 HAS SOPS 20701851 HAS SOUS 1901185 HAS SOUPS 1901185 WITH SCORE 1921886.851
AT ITER 829 NEW BEST:: SOT 25003187 SOS 20700357 HAS SOPS 20700357 HAS SOUS 1901102 HAS SOUPS 1901102 WITH SCORE 1921802.357
AT ITER 881 NEW BEST:: SOT 25000067 SOS 20671926 HAS SOPS 20671926 HAS SOUS 1899866 HAS SOUPS 1899866 WITH SCORE 1920537.926
AT ITER 893 NEW BEST:: SOT 24999521 SOS 20667277 HAS SOPS 20667277 HAS SOUS 1899858 HAS SOUPS 1899858 WITH SCORE 1920525.277
AT ITER 903 NEW BEST:: SOT 24997195 SOS 20647502 HAS SOPS 20647502 HAS SOUS 1899854 HAS SOUPS 1899854 WITH SCORE 1920501.502
AT ITER 904 NEW BEST:: SOT 24996481 SOS 20641076 HAS SOPS 20641076 HAS SOUS 1899495 HAS SOUPS 1899495 WITH SCORE 1920136.076
AT ITER 910 NEW BEST:: SOT 24996041 SOS 20637116 HAS SOPS 20637116 HAS SOUS 1899275 HAS SOUPS 1899275 WITH SCORE 1919912.116
AT ITER 920 NEW BEST:: SOT 24989981 SOS 20585601 HAS SOPS 20585601 HAS SOUS 1899270 HAS SOUPS 1899270 WITH SCORE 1919855.601
AT ITER 978 NEW BEST:: SOT 24989981 SOS 20585590 HAS SOPS 20585590 HAS SOUS 1899259 HAS SOUPS 1899259 WITH SCORE 1919844.59
AT ITER 991 NEW BEST:: SOT 24989981 SOS 20585577 HAS SOPS 20585577 HAS SOUS 1899246 HAS SOUPS 1899246 WITH SCORE 1919831.577
AT ITER 1002 NEW BEST:: SOT 24986157 SOS 20553069 HAS SOPS 20553069 HAS SOUS 1899242 HAS SOUPS 1899242 WITH SCORE 1919795.069
AT ITER 1043 NEW BEST:: SOT 24981399 SOS 20512612 HAS SOPS 20512612 HAS SOUS 1899228 HAS SOUPS 1899228 WITH SCORE 1919740.612
AT ITER 1104 NEW BEST:: SOT 24978427 SOS 20487348 HAS SOPS 20487348 HAS SOUS 1899226 HAS SOUPS 1899226 WITH SCORE 1919713.348
AT ITER 1126 NEW BEST:: SOT 24977379 SOS 20477964 HAS SOPS 20477964 HAS SOUS 1898750 HAS SOUPS 1898750 WITH SCORE 1919227.964
AT ITER 1129 NEW BEST:: SOT 24972919 SOS 20440044 HAS SOPS 20440044 HAS SOUS 1898740 HAS SOUPS 1898740 WITH SCORE 1919180.044
AT ITER 1134 NEW BEST:: SOT 24970185 SOS 20415098 HAS SOPS 20415098 HAS SOUS 1897663 HAS SOUPS 1897663 WITH SCORE 1918078.098
AT ITER 1159 NEW BEST:: SOT 24969761 SOS 20411485 HAS SOPS 20411485 HAS SOUS 1897654 HAS SOUPS 1897654 WITH SCORE 1918065.485
AT ITER 1167 NEW BEST:: SOT 24967727 SOS 20393938 HAS SOPS 20393938 HAS SOUS 1897396 HAS SOUPS 1897396 WITH SCORE 1917789.938
AT ITER 1177 NEW BEST:: SOT 24966231 SOS 20380517 HAS SOPS 20380517 HAS SOUS 1896691 HAS SOUPS 1896691 WITH SCORE 1917071.517
AT ITER 1180 NEW BEST:: SOT 24959826 SOS 20321588 HAS SOPS 20321588 HAS SOUS 1893877 HAS SOUPS 1893877 WITH SCORE 1914198.588
AT ITER 1188 NEW BEST:: SOT 24959418 SOS 20318108 HAS SOPS 20318108 HAS SOUS 1893865 HAS SOUPS 1893865 WITH SCORE 1914183.108
AT ITER 1196 NEW BEST:: SOT 24958661 SOS 20307970 HAS SOPS 20307970 HAS SOUS 1893724 HAS SOUPS 1893724 WITH SCORE 1914031.97
AT ITER 1225 NEW BEST:: SOT 24955600 SOS 20279535 HAS SOPS 20279535 HAS SOUS 1892560 HAS SOUPS 1892560 WITH SCORE 1912839.535
AT ITER 1230 NEW BEST:: SOT 24953130 SOS 20258530 HAS SOPS 20258530 HAS SOUS 1892550 HAS SOUPS 1892550 WITH SCORE 1912808.53
AT ITER 1246 NEW BEST:: SOT 24945845 SOS 20213393 HAS SOPS 20213393 HAS SOUS 1890357 HAS SOUPS 1890357 WITH SCORE 1910570.393
AT ITER 1330 NEW BEST:: SOT 24944909 SOS 20205425 HAS SOPS 20205425 HAS SOUS 1890345 HAS SOUPS 1890345 WITH SCORE 1910550.425
AT ITER 1340 NEW BEST:: SOT 24943613 SOS 20194399 HAS SOPS 20194399 HAS SOUS 1890335 HAS SOUPS 1890335 WITH SCORE 1910529.399
AT ITER 1350 NEW BEST:: SOT 24940515 SOS 20168059 HAS SOPS 20168059 HAS SOUS 1890328 HAS SOUPS 1890328 WITH SCORE 1910496.059
AT ITER 1363 NEW BEST:: SOT 24938171 SOS 20146968 HAS SOPS 20146968 HAS SOUS 1889161 HAS SOUPS 1889161 WITH SCORE 1909307.968
AT ITER 1406 NEW BEST:: SOT 24931161 SOS 20087375 HAS SOPS 20087375 HAS SOUS 1889153 HAS SOUPS 1889153 WITH SCORE 1909240.375
AT ITER 1426 NEW BEST:: SOT 24928964 SOS 20067363 HAS SOPS 20067363 HAS SOUS 1888243 HAS SOUPS 1888243 WITH SCORE 1908310.363
AT ITER 1454 NEW BEST:: SOT 24921106 SOS 20000566 HAS SOPS 20000566 HAS SOUS 1888239 HAS SOUPS 1888239 WITH SCORE 1908239.566
AT ITER 1457 NEW BEST:: SOT 24920282 SOS 19992586 HAS SOPS 19992586 HAS SOUS 1888163 HAS SOUPS 1888163 WITH SCORE 1908155.586
AT ITER 1460 NEW BEST:: SOT 24917050 SOS 19965102 HAS SOPS 19965102 HAS SOUS 1888151 HAS SOUPS 1888151 WITH SCORE 1908116.102
AT ITER 1466 NEW BEST:: SOT 24915538 SOS 19952248 HAS SOPS 19952248 HAS SOUS 1888149 HAS SOUPS 1888149 WITH SCORE 1908101.248
AT ITER 1468 NEW BEST:: SOT 24914714 SOS 19941973 HAS SOPS 19941973 HAS SOUS 1888133 HAS SOUPS 1888133 WITH SCORE 1908074.973
AT ITER 1481 NEW BEST:: SOT 24911234 SOS 19912389 HAS SOPS 19912389 HAS SOUS 1888129 HAS SOUPS 1888129 WITH SCORE 1908041.389
AT ITER 1501 NEW BEST:: SOT 24905944 SOS 19864779 HAS SOPS 19864779 HAS SOUS 1885484 HAS SOUPS 1885484 WITH SCORE 1905348.779
AT ITER 1502 NEW BEST:: SOT 24903208 SOS 19841514 HAS SOPS 19841514 HAS SOUS 1885475 HAS SOUPS 1885475 WITH SCORE 1905316.514
AT ITER 1524 NEW BEST:: SOT 24900090 SOS 19815007 HAS SOPS 19815007 HAS SOUS 1885471 HAS SOUPS 1885471 WITH SCORE 1905286.007
AT ITER 1558 NEW BEST:: SOT 24894770 SOS 19769774 HAS SOPS 19769774 HAS SOUS 1885458 HAS SOUPS 1885458 WITH SCORE 1905227.774
AT ITER 1582 NEW BEST:: SOT 24894713 SOS 19769607 HAS SOPS 19769607 HAS SOUS 1885348 HAS SOUPS 1885348 WITH SCORE 1905117.607
AT ITER 1602 NEW BEST:: SOT 24893685 SOS 19760402 HAS SOPS 19760402 HAS SOUS 1884881 HAS SOUPS 1884881 WITH SCORE 1904641.402
AT ITER 1623 NEW BEST:: SOT 24893309 SOS 19757191 HAS SOPS 19757191 HAS SOUS 1884864 HAS SOUPS 1884864 WITH SCORE 1904621.191
AT ITER 1642 NEW BEST:: SOT 24893295 SOS 19757072 HAS SOPS 19757072 HAS SOUS 1884864 HAS SOUPS 1884864 WITH SCORE 1904621.072
AT ITER 1662 NEW BEST:: SOT 24891781 SOS 19743446 HAS SOPS 19743446 HAS SOUS 1884107 HAS SOUPS 1884107 WITH SCORE 1903850.446
AT ITER 1690 NEW BEST:: SOT 24889645 SOS 19724356 HAS SOPS 19724356 HAS SOUS 1883173 HAS SOUPS 1883173 WITH SCORE 1902897.356
AT ITER 1695 NEW BEST:: SOT 24889114 SOS 19718562 HAS SOPS 19718562 HAS SOUS 1882980 HAS SOUPS 1882980 WITH SCORE 1902698.562
AT ITER 1709 NEW BEST:: SOT 24886288 SOS 19693199 HAS SOPS 19693199 HAS SOUS 1881638 HAS SOUPS 1881638 WITH SCORE 1901331.199
AT ITER 1725 NEW BEST:: SOT 24886288 SOS 19693194 HAS SOPS 19693194 HAS SOUS 1881633 HAS SOUPS 1881633 WITH SCORE 1901326.194
AT ITER 1729 NEW BEST:: SOT 24877866 SOS 19641316 HAS SOPS 19641316 HAS SOUS 1879004 HAS SOUPS 1879004 WITH SCORE 1898645.316
AT ITER 1752 NEW BEST:: SOT 24874518 SOS 19612848 HAS SOPS 19612848 HAS SOUS 1878994 HAS SOUPS 1878994 WITH SCORE 1898606.848
AT ITER 1754 NEW BEST:: SOT 24871774 SOS 19586861 HAS SOPS 19586861 HAS SOUS 1878041 HAS SOUPS 1878041 WITH SCORE 1897627.861
AT ITER 1763 NEW BEST:: SOT 24871774 SOS 19586853 HAS SOPS 19586853 HAS SOUS 1878033 HAS SOUPS 1878033 WITH SCORE 1897619.853
AT ITER 1773 NEW BEST:: SOT 24865760 SOS 19532727 HAS SOPS 19532727 HAS SOUS 1875026 HAS SOUPS 1875026 WITH SCORE 1894558.727
AT ITER 1780 NEW BEST:: SOT 24865332 SOS 19526817 HAS SOPS 19526817 HAS SOUS 1874996 HAS SOUPS 1874996 WITH SCORE 1894522.817
AT ITER 1783 NEW BEST:: SOT 24865332 SOS 19526808 HAS SOPS 19526808 HAS SOUS 1874987 HAS SOUPS 1874987 WITH SCORE 1894513.808
AT ITER 1786 NEW BEST:: SOT 24864004 SOS 19510378 HAS SOPS 19510378 HAS SOUS 1874900 HAS SOUPS 1874900 WITH SCORE 1894410.378
AT ITER 1808 NEW BEST:: SOT 24863156 SOS 19503162 HAS SOPS 19503162 HAS SOUS 1874892 HAS SOUPS 1874892 WITH SCORE 1894395.162
AT ITER 1821 NEW BEST:: SOT 24863632 SOS 19503306 HAS SOPS 19503306 HAS SOUS 1874560 HAS SOUPS 1874560 WITH SCORE 1894063.306
AT ITER 1830 NEW BEST:: SOT 24862250 SOS 19490083 HAS SOPS 19490083 HAS SOUS 1874299 HAS SOUPS 1874299 WITH SCORE 1893789.083
AT ITER 1832 NEW BEST:: SOT 24862250 SOS 19490077 HAS SOPS 19490077 HAS SOUS 1874293 HAS SOUPS 1874293 WITH SCORE 1893783.077
AT ITER 1838 NEW BEST:: SOT 24859311 SOS 19462478 HAS SOPS 19462478 HAS SOUS 1873228 HAS SOUPS 1873228 WITH SCORE 1892690.478
AT ITER 1847 NEW BEST:: SOT 24857137 SOS 19442930 HAS SOPS 19442930 HAS SOUS 1872159 HAS SOUPS 1872159 WITH SCORE 1891601.93
AT ITER 1853 NEW BEST:: SOT 24856177 SOS 19434290 HAS SOPS 19434290 HAS SOUS 1871679 HAS SOUPS 1871679 WITH SCORE 1891113.29
AT ITER 1879 NEW BEST:: SOT 24856177 SOS 19434264 HAS SOPS 19434264 HAS SOUS 1871653 HAS SOUPS 1871653 WITH SCORE 1891087.264
AT ITER 1900 NEW BEST:: SOT 24855961 SOS 19430808 HAS SOPS 19430808 HAS SOUS 1871653 HAS SOUPS 1871653 WITH SCORE 1891083.808
AT ITER 1906 NEW BEST:: SOT 24854601 SOS 19419238 HAS SOPS 19419238 HAS SOUS 1871643 HAS SOUPS 1871643 WITH SCORE 1891062.238
AT ITER 1922 NEW BEST:: SOT 24844761 SOS 19344078 HAS SOPS 19344078 HAS SOUS 1867428 HAS SOUPS 1867428 WITH SCORE 1886772.078
AT ITER 1945 NEW BEST:: SOT 24837369 SOS 19277587 HAS SOPS 19277587 HAS SOUS 1863769 HAS SOUPS 1863769 WITH SCORE 1883046.587
AT ITER 1951 NEW BEST:: SOT 24836517 SOS 19270339 HAS SOPS 19270339 HAS SOUS 1863763 HAS SOUPS 1863763 WITH SCORE 1883033.339
AT ITER 1955 NEW BEST:: SOT 24833208 SOS 19239649 HAS SOPS 19239649 HAS SOUS 1862362 HAS SOUPS 1862362 WITH SCORE 1881601.649
AT ITER 1970 NEW BEST:: SOT 24827168 SOS 19188298 HAS SOPS 19188298 HAS SOUS 1862351 HAS SOUPS 1862351 WITH SCORE 1881539.298
AT ITER 1977 NEW BEST:: SOT 24826195 SOS 19178058 HAS SOPS 19178058 HAS SOUS 1862054 HAS SOUPS 1862054 WITH SCORE 1881232.058
AT ITER 2004 NEW BEST:: SOT 24824311 SOS 19161102 HAS SOPS 19161102 HAS SOUS 1861112 HAS SOUPS 1861112 WITH SCORE 1880273.102
AT ITER 2008 NEW BEST:: SOT 24823114 SOS 19150269 HAS SOPS 19150269 HAS SOUS 1860611 HAS SOUPS 1860611 WITH SCORE 1879761.269
AT ITER 2023 NEW BEST:: SOT 24820380 SOS 19125663 HAS SOPS 19125663 HAS SOUS 1859244 HAS SOUPS 1859244 WITH SCORE 1878369.663
AT ITER 2049 NEW BEST:: SOT 24819504 SOS 19117779 HAS SOPS 19117779 HAS SOUS 1858806 HAS SOUPS 1858806 WITH SCORE 1877923.779
AT ITER 2090 NEW BEST:: SOT 24818908 SOS 19112354 HAS SOPS 19112354 HAS SOUS 1858552 HAS SOUPS 1858552 WITH SCORE 1877664.354
AT ITER 2106 NEW BEST:: SOT 24817296 SOS 19098639 HAS SOPS 19098639 HAS SOUS 1858539 HAS SOUPS 1858539 WITH SCORE 1877637.639
AT ITER 2111 NEW BEST:: SOT 24813658 SOS 19065972 HAS SOPS 19065972 HAS SOUS 1856795 HAS SOUPS 1856795 WITH SCORE 1875860.972
AT ITER 2134 NEW BEST:: SOT 24806108 SOS 19001790 HAS SOPS 19001790 HAS SOUS 1856788 HAS SOUPS 1856788 WITH SCORE 1875789.79
AT ITER 2158 NEW BEST:: SOT 24803503 SOS 18977779 HAS SOPS 18977779 HAS SOUS 1855812 HAS SOUPS 1855812 WITH SCORE 1874789.779
AT ITER 2177 NEW BEST:: SOT 24802725 SOS 18971153 HAS SOPS 18971153 HAS SOUS 1855799 HAS SOUPS 1855799 WITH SCORE 1874770.153
AT ITER 2188 NEW BEST:: SOT 24802725 SOS 18969908 HAS SOPS 18969908 HAS SOUS 1854554 HAS SOUPS 1854554 WITH SCORE 1873523.908
AT ITER 2192 NEW BEST:: SOT 24801456 SOS 18957766 HAS SOPS 18957766 HAS SOUS 1853971 HAS SOUPS 1853971 WITH SCORE 1872928.766
AT ITER 2206 NEW BEST:: SOT 24793324 SOS 18888637 HAS SOPS 18888637 HAS SOUS 1853964 HAS SOUPS 1853964 WITH SCORE 1872852.637
AT ITER 2290 NEW BEST:: SOT 24791834 SOS 18875959 HAS SOPS 18875959 HAS SOUS 1853951 HAS SOUPS 1853951 WITH SCORE 1872826.959
AT ITER 2306 NEW BEST:: SOT 24791830 SOS 18875925 HAS SOPS 18875925 HAS SOUS 1853951 HAS SOUPS 1853951 WITH SCORE 1872826.925
AT ITER 2330 NEW BEST:: SOT 24788178 SOS 18843985 HAS SOPS 18843985 HAS SOUS 1853053 HAS SOUPS 1853053 WITH SCORE 1871896.985
AT ITER 2341 NEW BEST:: SOT 24786072 SOS 18825411 HAS SOPS 18825411 HAS SOUS 1852380 HAS SOUPS 1852380 WITH SCORE 1871205.411
AT ITER 2346 NEW BEST:: SOT 24781948 SOS 18788295 HAS SOPS 18788295 HAS SOUS 1850316 HAS SOUPS 1850316 WITH SCORE 1869104.295
AT ITER 2347 NEW BEST:: SOT 24780947 SOS 18778733 HAS SOPS 18778733 HAS SOUS 1850230 HAS SOUPS 1850230 WITH SCORE 1869008.733
AT ITER 2360 NEW BEST:: SOT 24773973 SOS 18716835 HAS SOPS 18716835 HAS SOUS 1847611 HAS SOUPS 1847611 WITH SCORE 1866327.835
AT ITER 2382 NEW BEST:: SOT 24773307 SOS 18711165 HAS SOPS 18711165 HAS SOUS 1847602 HAS SOUPS 1847602 WITH SCORE 1866313.165
AT ITER 2396 NEW BEST:: SOT 24769807 SOS 18681400 HAS SOPS 18681400 HAS SOUS 1847585 HAS SOUPS 1847585 WITH SCORE 1866266.4
AT ITER 2402 NEW BEST:: SOT 24768637 SOS 18670870 HAS SOPS 18670870 HAS SOUS 1847000 HAS SOUPS 1847000 WITH SCORE 1865670.87
AT ITER 2418 NEW BEST:: SOT 24768637 SOS 18670857 HAS SOPS 18670857 HAS SOUS 1846987 HAS SOUPS 1846987 WITH SCORE 1865657.857
AT ITER 2421 NEW BEST:: SOT 24767946 SOS 18661033 HAS SOPS 18661033 HAS SOUS 1846899 HAS SOUPS 1846899 WITH SCORE 1865560.033
AT ITER 2450 NEW BEST:: SOT 24761494 SOS 18606180 HAS SOPS 18606180 HAS SOUS 1846888 HAS SOUPS 1846888 WITH SCORE 1865494.18
AT ITER 2461 NEW BEST:: SOT 24761494 SOS 18606176 HAS SOPS 18606176 HAS SOUS 1846884 HAS SOUPS 1846884 WITH SCORE 1865490.176
AT ITER 2477 NEW BEST:: SOT 24760133 SOS 18592695 HAS SOPS 18592695 HAS SOUS 1846372 HAS SOUPS 1846372 WITH SCORE 1864964.695
AT ITER 2480 NEW BEST:: SOT 24756921 SOS 18565378 HAS SOPS 18565378 HAS SOUS 1846355 HAS SOUPS 1846355 WITH SCORE 1864920.378
AT ITER 2499 NEW BEST:: SOT 24756075 SOS 18557322 HAS SOPS 18557322 HAS SOUS 1846195 HAS SOUPS 1846195 WITH SCORE 1864752.322
AT ITER 2532 NEW BEST:: SOT 24755411 SOS 18551346 HAS SOPS 18551346 HAS SOUS 1845863 HAS SOUPS 1845863 WITH SCORE 1864414.346
AT ITER 2566 NEW BEST:: SOT 24752613 SOS 18527557 HAS SOPS 18527557 HAS SOUS 1845857 HAS SOUPS 1845857 WITH SCORE 1864384.557
AT ITER 2569 NEW BEST:: SOT 24749944 SOS 18498134 HAS SOPS 18498134 HAS SOUS 1845306 HAS SOUPS 1845306 WITH SCORE 1863804.134
AT ITER 2572 NEW BEST:: SOT 24749068 SOS 18490685 HAS SOPS 18490685 HAS SOUS 1845303 HAS SOUPS 1845303 WITH SCORE 1863793.685
AT ITER 2606 NEW BEST:: SOT 24748592 SOS 18486401 HAS SOPS 18486401 HAS SOUS 1845065 HAS SOUPS 1845065 WITH SCORE 1863551.401
AT ITER 2636 NEW BEST:: SOT 24745798 SOS 18462649 HAS SOPS 18462649 HAS SOUS 1845062 HAS SOUPS 1845062 WITH SCORE 1863524.649
AT ITER 2650 NEW BEST:: SOT 24738484 SOS 18400471 HAS SOPS 18400471 HAS SOUS 1845053 HAS SOUPS 1845053 WITH SCORE 1863453.471
AT ITER 2680 NEW BEST:: SOT 24736198 SOS 18379897 HAS SOPS 18379897 HAS SOUS 1843910 HAS SOUPS 1843910 WITH SCORE 1862289.897
AT ITER 2697 NEW BEST:: SOT 24730096 SOS 18324979 HAS SOPS 18324979 HAS SOUS 1840859 HAS SOUPS 1840859 WITH SCORE 1859183.979
AT ITER 2705 NEW BEST:: SOT 24723452 SOS 18265183 HAS SOPS 18265183 HAS SOUS 1837537 HAS SOUPS 1837537 WITH SCORE 1855802.183
AT ITER 2735 NEW BEST:: SOT 24722270 SOS 18255123 HAS SOPS 18255123 HAS SOUS 1837524 HAS SOUPS 1837524 WITH SCORE 1855779.123
AT ITER 2758 NEW BEST:: SOT 24722128 SOS 18253845 HAS SOPS 18253845 HAS SOUS 1837453 HAS SOUPS 1837453 WITH SCORE 1855706.845
AT ITER 2765 NEW BEST:: SOT 24716942 SOS 18208149 HAS SOPS 18208149 HAS SOUS 1835838 HAS SOUPS 1835838 WITH SCORE 1854046.149
AT ITER 2798 NEW BEST:: SOT 24714638 SOS 18187413 HAS SOPS 18187413 HAS SOUS 1834686 HAS SOUPS 1834686 WITH SCORE 1852873.413
AT ITER 2806 NEW BEST:: SOT 24711252 SOS 18155344 HAS SOPS 18155344 HAS SOUS 1833198 HAS SOUPS 1833198 WITH SCORE 1851353.344
AT ITER 2816 NEW BEST:: SOT 24709975 SOS 18142934 HAS SOPS 18142934 HAS SOUS 1832625 HAS SOUPS 1832625 WITH SCORE 1850767.934
AT ITER 2881 NEW BEST:: SOT 24706965 SOS 18115227 HAS SOPS 18115227 HAS SOUS 1831448 HAS SOUPS 1831448 WITH SCORE 1849563.227
AT ITER 2895 NEW BEST:: SOT 24705395 SOS 18091199 HAS SOPS 18091199 HAS SOUS 1831370 HAS SOUPS 1831370 WITH SCORE 1849461.199
AT ITER 2913 NEW BEST:: SOT 24704533 SOS 18083860 HAS SOPS 18083860 HAS SOUS 1831358 HAS SOUPS 1831358 WITH SCORE 1849441.86
AT ITER 2926 NEW BEST:: SOT 24701590 SOS 18052500 HAS SOPS 18052500 HAS SOUS 1830511 HAS SOUPS 1830511 WITH SCORE 1848563.5
AT ITER 2939 NEW BEST:: SOT 24699796 SOS 18036354 HAS SOPS 18036354 HAS SOUS 1829610 HAS SOUPS 1829610 WITH SCORE 1847646.354
AT ITER 2953 NEW BEST:: SOT 24699796 SOS 18036127 HAS SOPS 18036127 HAS SOUS 1829383 HAS SOUPS 1829383 WITH SCORE 1847419.127
AT ITER 2962 NEW BEST:: SOT 24699024 SOS 18029563 HAS SOPS 18029563 HAS SOUS 1829381 HAS SOUPS 1829381 WITH SCORE 1847410.563
AT ITER 2974 NEW BEST:: SOT 24699024 SOS 18029556 HAS SOPS 18029556 HAS SOUS 1829374 HAS SOUPS 1829374 WITH SCORE 1847403.556
AT ITER 2982 NEW BEST:: SOT 24695372 SOS 17998513 HAS SOPS 17998513 HAS SOUS 1829373 HAS SOUPS 1829373 WITH SCORE 1847371.513
AT ITER 2996 NEW BEST:: SOT 24692626 SOS 17975159 HAS SOPS 17975159 HAS SOUS 1829360 HAS SOUPS 1829360 WITH SCORE 1847335.159
AT ITER 3003 NEW BEST:: SOT 24689954 SOS 17952432 HAS SOPS 17952432 HAS SOUS 1829343 HAS SOUPS 1829343 WITH SCORE 1847295.432
AT ITER 3010 NEW BEST:: SOT 24689954 SOS 17951954 HAS SOPS 17951954 HAS SOUS 1829189 HAS SOUPS 1829189 WITH SCORE 1847140.954
AT ITER 3043 NEW BEST:: SOT 24685738 SOS 17914701 HAS SOPS 17914701 HAS SOUS 1827772 HAS SOUPS 1827772 WITH SCORE 1845686.701
AT ITER 3044 NEW BEST:: SOT 24685580 SOS 17913358 HAS SOPS 17913358 HAS SOUS 1827772 HAS SOUPS 1827772 WITH SCORE 1845685.358
AT ITER 3047 NEW BEST:: SOT 24685580 SOS 17911879 HAS SOPS 17911879 HAS SOUS 1826293 HAS SOUPS 1826293 WITH SCORE 1844204.879
AT ITER 3057 NEW BEST:: SOT 24680214 SOS 17863614 HAS SOPS 17863614 HAS SOUS 1823639 HAS SOUPS 1823639 WITH SCORE 1841502.614
AT ITER 3096 NEW BEST:: SOT 24677824 SOS 17838262 HAS SOPS 17838262 HAS SOUS 1822802 HAS SOUPS 1822802 WITH SCORE 1840640.262
AT ITER 3120 NEW BEST:: SOT 24674180 SOS 17805466 HAS SOPS 17805466 HAS SOUS 1820980 HAS SOUPS 1820980 WITH SCORE 1838785.466
AT ITER 3141 NEW BEST:: SOT 24674052 SOS 17804373 HAS SOPS 17804373 HAS SOUS 1820975 HAS SOUPS 1820975 WITH SCORE 1838779.373
AT ITER 3186 NEW BEST:: SOT 24671834 SOS 17785514 HAS SOPS 17785514 HAS SOUS 1820969 HAS SOUPS 1820969 WITH SCORE 1838754.514
AT ITER 3193 NEW BEST:: SOT 24670308 SOS 17770959 HAS SOPS 17770959 HAS SOUS 1820418 HAS SOUPS 1820418 WITH SCORE 1838188.959
AT ITER 3220 NEW BEST:: SOT 24670328 SOS 17771259 HAS SOPS 17771259 HAS SOUS 1820398 HAS SOUPS 1820398 WITH SCORE 1838169.259
AT ITER 3226 NEW BEST:: SOT 24667401 SOS 17744340 HAS SOPS 17744340 HAS SOUS 1819176 HAS SOUPS 1819176 WITH SCORE 1836920.34
AT ITER 3244 NEW BEST:: SOT 24664737 SOS 17720364 HAS SOPS 17720364 HAS SOUS 1817844 HAS SOUPS 1817844 WITH SCORE 1835564.364
AT ITER 3247 NEW BEST:: SOT 24664660 SOS 17720159 HAS SOPS 17720159 HAS SOUS 1817714 HAS SOUPS 1817714 WITH SCORE 1835434.159
AT ITER 3304 NEW BEST:: SOT 24662298 SOS 17700077 HAS SOPS 17700077 HAS SOUS 1817709 HAS SOUPS 1817709 WITH SCORE 1835409.077
AT ITER 3310 NEW BEST:: SOT 24662142 SOS 17698673 HAS SOPS 17698673 HAS SOUS 1817631 HAS SOUPS 1817631 WITH SCORE 1835329.673
AT ITER 3329 NEW BEST:: SOT 24658562 SOS 17668241 HAS SOPS 17668241 HAS SOUS 1817629 HAS SOUPS 1817629 WITH SCORE 1835297.241
AT ITER 3338 NEW BEST:: SOT 24658150 SOS 17664533 HAS SOPS 17664533 HAS SOUS 1817423 HAS SOUPS 1817423 WITH SCORE 1835087.533
AT ITER 3348 NEW BEST:: SOT 24658150 SOS 17664531 HAS SOPS 17664531 HAS SOUS 1817421 HAS SOUPS 1817421 WITH SCORE 1835085.531
AT ITER 3358 NEW BEST:: SOT 24656436 SOS 17649950 HAS SOPS 17649950 HAS SOUS 1817409 HAS SOUPS 1817409 WITH SCORE 1835058.95
AT ITER 3362 NEW BEST:: SOT 24655599 SOS 17640535 HAS SOPS 17640535 HAS SOUS 1817123 HAS SOUPS 1817123 WITH SCORE 1834763.535
AT ITER 3381 NEW BEST:: SOT 24655599 SOS 17640405 HAS SOPS 17640405 HAS SOUS 1816993 HAS SOUPS 1816993 WITH SCORE 1834633.405
AT ITER 3422 NEW BEST:: SOT 24655599 SOS 17639553 HAS SOPS 17639553 HAS SOUS 1816141 HAS SOUPS 1816141 WITH SCORE 1833780.553
AT ITER 3423 NEW BEST:: SOT 24653743 SOS 17623249 HAS SOPS 17623249 HAS SOUS 1815694 HAS SOUPS 1815694 WITH SCORE 1833317.249
AT ITER 3424 NEW BEST:: SOT 24652177 SOS 17609155 HAS SOPS 17609155 HAS SOUS 1814909 HAS SOUPS 1814909 WITH SCORE 1832518.155
AT ITER 3430 NEW BEST:: SOT 24652130 SOS 17609103 HAS SOPS 17609103 HAS SOUS 1814904 HAS SOUPS 1814904 WITH SCORE 1832513.103
AT ITER 3470 NEW BEST:: SOT 24648672 SOS 17579707 HAS SOPS 17579707 HAS SOUS 1814901 HAS SOUPS 1814901 WITH SCORE 1832480.707
AT ITER 3479 NEW BEST:: SOT 24646936 SOS 17564083 HAS SOPS 17564083 HAS SOUS 1814033 HAS SOUPS 1814033 WITH SCORE 1831597.083
AT ITER 3489 NEW BEST:: SOT 24644658 SOS 17543581 HAS SOPS 17543581 HAS SOUS 1812894 HAS SOUPS 1812894 WITH SCORE 1830437.581
AT ITER 3490 NEW BEST:: SOT 24640188 SOS 17499089 HAS SOPS 17499089 HAS SOUS 1812277 HAS SOUPS 1812277 WITH SCORE 1829776.089
AT ITER 3498 NEW BEST:: SOT 24639668 SOS 17494409 HAS SOPS 17494409 HAS SOUS 1812017 HAS SOUPS 1812017 WITH SCORE 1829511.409
AT ITER 3532 NEW BEST:: SOT 24639448 SOS 17492429 HAS SOPS 17492429 HAS SOUS 1811907 HAS SOUPS 1811907 WITH SCORE 1829399.429
AT ITER 3537 NEW BEST:: SOT 24639448 SOS 17492014 HAS SOPS 17492014 HAS SOUS 1811492 HAS SOUPS 1811492 WITH SCORE 1828984.014
AT ITER 3559 NEW BEST:: SOT 24639048 SOS 17488600 HAS SOPS 17488600 HAS SOUS 1811478 HAS SOUPS 1811478 WITH SCORE 1828966.6
AT ITER 3583 NEW BEST:: SOT 24632409 SOS 17430305 HAS SOPS 17430305 HAS SOUS 1811362 HAS SOUPS 1811362 WITH SCORE 1828792.305
AT ITER 3604 NEW BEST:: SOT 24629645 SOS 17405429 HAS SOPS 17405429 HAS SOUS 1809980 HAS SOUPS 1809980 WITH SCORE 1827385.429
AT ITER 3660 NEW BEST:: SOT 24628942 SOS 17397863 HAS SOPS 17397863 HAS SOUS 1809611 HAS SOUPS 1809611 WITH SCORE 1827008.863
AT ITER 3661 NEW BEST:: SOT 24628151 SOS 17389895 HAS SOPS 17389895 HAS SOUS 1809574 HAS SOUPS 1809574 WITH SCORE 1826963.895
AT ITER 3675 NEW BEST:: SOT 24628151 SOS 17389895 HAS SOPS 17389895 HAS SOUS 1809568 HAS SOUPS 1809568 WITH SCORE 1826957.895
AT ITER 3692 NEW BEST:: SOT 24628137 SOS 17388505 HAS SOPS 17388505 HAS SOUS 1808192 HAS SOUPS 1808192 WITH SCORE 1825580.505
AT ITER 3718 NEW BEST:: SOT 24627481 SOS 17386102 HAS SOPS 17386102 HAS SOUS 1806445 HAS SOUPS 1806445 WITH SCORE 1823831.102
AT ITER 3745 NEW BEST:: SOT 24625841 SOS 17371363 HAS SOPS 17371363 HAS SOUS 1805646 HAS SOUPS 1805646 WITH SCORE 1823017.363
AT ITER 3746 NEW BEST:: SOT 24625841 SOS 17371149 HAS SOPS 17371149 HAS SOUS 1805432 HAS SOUPS 1805432 WITH SCORE 1822803.149
AT ITER 3761 NEW BEST:: SOT 24626469 SOS 17376635 HAS SOPS 17376635 HAS SOUS 1805412 HAS SOUPS 1805412 WITH SCORE 1822788.635
AT ITER 3795 NEW BEST:: SOT 24625899 SOS 17371505 HAS SOPS 17371505 HAS SOUS 1805127 HAS SOUPS 1805127 WITH SCORE 1822498.505
AT ITER 3801 NEW BEST:: SOT 24625288 SOS 17368999 HAS SOPS 17368999 HAS SOUS 1804968 HAS SOUPS 1804968 WITH SCORE 1822336.999
AT ITER 3859 NEW BEST:: SOT 24617649 SOS 17297482 HAS SOPS 17297482 HAS SOUS 1801634 HAS SOUPS 1801634 WITH SCORE 1818931.482
AT ITER 3888 NEW BEST:: SOT 24615799 SOS 17276072 HAS SOPS 17276072 HAS SOUS 1801049 HAS SOUPS 1801049 WITH SCORE 1818325.072
AT ITER 3902 NEW BEST:: SOT 24611830 SOS 17231773 HAS SOPS 17231773 HAS SOUS 1801054 HAS SOUPS 1801054 WITH SCORE 1818285.773
AT ITER 3933 NEW BEST:: SOT 24610031 SOS 17205719 HAS SOPS 17205719 HAS SOUS 1800859 HAS SOUPS 1800859 WITH SCORE 1818064.719
AT ITER 3958 NEW BEST:: SOT 24609913 SOS 17205483 HAS SOPS 17205483 HAS SOUS 1800741 HAS SOUPS 1800741 WITH SCORE 1817946.483
AT ITER 4030 NEW BEST:: SOT 24609471 SOS 17201505 HAS SOPS 17201505 HAS SOUS 1800520 HAS SOUPS 1800520 WITH SCORE 1817721.505
AT ITER 4054 NEW BEST:: SOT 24609369 SOS 17200626 HAS SOPS 17200626 HAS SOUS 1800508 HAS SOUPS 1800508 WITH SCORE 1817708.626
AT ITER 4058 NEW BEST:: SOT 24608213 SOS 17198586 HAS SOPS 17198586 HAS SOUS 1800256 HAS SOUPS 1800256 WITH SCORE 1817454.586
AT ITER 4082 NEW BEST:: SOT 24606579 SOS 17183799 HAS SOPS 17183799 HAS SOUS 1799763 HAS SOUPS 1799763 WITH SCORE 1816946.799
AT ITER 4102 NEW BEST:: SOT 24605431 SOS 17173467 HAS SOPS 17173467 HAS SOUS 1799189 HAS SOUPS 1799189 WITH SCORE 1816362.467
AT ITER 4119 NEW BEST:: SOT 24599298 SOS 17120994 HAS SOPS 17120994 HAS SOUS 1799229 HAS SOUPS 1799229 WITH SCORE 1816349.994
AT ITER 4160 NEW BEST:: SOT 24595436 SOS 17080819 HAS SOPS 17080819 HAS SOUS 1798071 HAS SOUPS 1798071 WITH SCORE 1815151.819
AT ITER 4193 NEW BEST:: SOT 24592744 SOS 17055247 HAS SOPS 17055247 HAS SOUS 1796821 HAS SOUPS 1796821 WITH SCORE 1813876.247
AT ITER 4204 NEW BEST:: SOT 24591332 SOS 17042539 HAS SOPS 17042539 HAS SOUS 1796115 HAS SOUPS 1796115 WITH SCORE 1813157.539
AT ITER 4234 NEW BEST:: SOT 24588276 SOS 17013424 HAS SOPS 17013424 HAS SOUS 1795016 HAS SOUPS 1795016 WITH SCORE 1812029.424
AT ITER 4240 NEW BEST:: SOT 24587735 SOS 17006084 HAS SOPS 17006084 HAS SOUS 1794922 HAS SOUPS 1794922 WITH SCORE 1811928.084
AT ITER 4243 NEW BEST:: SOT 24587634 SOS 17005633 HAS SOPS 17005633 HAS SOUS 1794809 HAS SOUPS 1794809 WITH SCORE 1811814.633
AT ITER 4262 NEW BEST:: SOT 24585376 SOS 16985311 HAS SOPS 16985311 HAS SOUS 1793680 HAS SOUPS 1793680 WITH SCORE 1810665.311
AT ITER 4302 NEW BEST:: SOT 24582854 SOS 16962613 HAS SOPS 16962613 HAS SOUS 1792419 HAS SOUPS 1792419 WITH SCORE 1809381.613
AT ITER 4373 NEW BEST:: SOT 24582802 SOS 16962171 HAS SOPS 16962171 HAS SOUS 1792419 HAS SOUPS 1792419 WITH SCORE 1809381.171
AT ITER 4413 NEW BEST:: SOT 24581995 SOS 16950127 HAS SOPS 16950127 HAS SOUS 1792357 HAS SOUPS 1792357 WITH SCORE 1809307.127
AT ITER 4417 NEW BEST:: SOT 24581253 SOS 16943806 HAS SOPS 16943806 HAS SOUS 1792343 HAS SOUPS 1792343 WITH SCORE 1809286.806
AT ITER 4456 NEW BEST:: SOT 24577965 SOS 16915851 HAS SOPS 16915851 HAS SOUS 1792336 HAS SOUPS 1792336 WITH SCORE 1809251.851
AT ITER 4515 NEW BEST:: SOT 24575731 SOS 16895513 HAS SOPS 16895513 HAS SOUS 1791482 HAS SOUPS 1791482 WITH SCORE 1808377.513
AT ITER 4542 NEW BEST:: SOT 24575680 SOS 16895329 HAS SOPS 16895329 HAS SOUS 1791349 HAS SOUPS 1791349 WITH SCORE 1808244.329
AT ITER 4563 NEW BEST:: SOT 24575182 SOS 16890847 HAS SOPS 16890847 HAS SOUS 1791098 HAS SOUPS 1791098 WITH SCORE 1807988.847
AT ITER 4564 NEW BEST:: SOT 24573320 SOS 16861588 HAS SOPS 16861588 HAS SOUS 1791061 HAS SOUPS 1791061 WITH SCORE 1807922.588
AT ITER 4572 NEW BEST:: SOT 24572011 SOS 16848855 HAS SOPS 16848855 HAS SOUS 1790690 HAS SOUPS 1790690 WITH SCORE 1807538.855
AT ITER 4651 NEW BEST:: SOT 24570689 SOS 16837075 HAS SOPS 16837075 HAS SOUS 1790147 HAS SOUPS 1790147 WITH SCORE 1806984.075
AT ITER 4673 NEW BEST:: SOT 24570355 SOS 16834069 HAS SOPS 16834069 HAS SOUS 1789980 HAS SOUPS 1789980 WITH SCORE 1806814.069
AT ITER 4690 NEW BEST:: SOT 24568635 SOS 16819447 HAS SOPS 16819447 HAS SOUS 1789978 HAS SOUPS 1789978 WITH SCORE 1806797.447
AT ITER 4698 NEW BEST:: SOT 24561817 SOS 16759750 HAS SOPS 16759750 HAS SOUS 1788234 HAS SOUPS 1788234 WITH SCORE 1804993.75
AT ITER 4737 NEW BEST:: SOT 24560375 SOS 16746772 HAS SOPS 16746772 HAS SOUS 1787513 HAS SOUPS 1787513 WITH SCORE 1804259.772
AT ITER 4772 NEW BEST:: SOT 24560143 SOS 16744800 HAS SOPS 16744800 HAS SOUS 1787513 HAS SOUPS 1787513 WITH SCORE 1804257.8
AT ITER 4844 NEW BEST:: SOT 24557534 SOS 16720500 HAS SOPS 16720500 HAS SOUS 1786267 HAS SOUPS 1786267 WITH SCORE 1802987.5
AT ITER 4852 NEW BEST:: SOT 24553274 SOS 16684286 HAS SOPS 16684286 HAS SOUS 1786263 HAS SOUPS 1786263 WITH SCORE 1802947.286
AT ITER 4854 NEW BEST:: SOT 24551833 SOS 16661230 HAS SOPS 16661230 HAS SOUS 1786263 HAS SOUPS 1786263 WITH SCORE 1802924.23
AT ITER 4887 NEW BEST:: SOT 24548909 SOS 16636371 HAS SOPS 16636371 HAS SOUS 1786258 HAS SOUPS 1786258 WITH SCORE 1802894.371
AT ITER 4918 NEW BEST:: SOT 24548203 SOS 16630368 HAS SOPS 16630368 HAS SOUS 1786256 HAS SOUPS 1786256 WITH SCORE 1802886.368
AT ITER 4942 NEW BEST:: SOT 24544325 SOS 16585318 HAS SOPS 16585318 HAS SOUS 1784699 HAS SOUPS 1784699 WITH SCORE 1801284.318
AT ITER 4992 NEW BEST:: SOT 24539669 SOS 16545374 HAS SOPS 16545374 HAS SOUS 1784331 HAS SOUPS 1784331 WITH SCORE 1800876.374
AT ITER 5017 NEW BEST:: SOT 24539091 SOS 16540172 HAS SOPS 16540172 HAS SOUS 1784042 HAS SOUPS 1784042 WITH SCORE 1800582.172
AT ITER 5028 NEW BEST:: SOT 24538659 SOS 16536284 HAS SOPS 16536284 HAS SOUS 1783826 HAS SOUPS 1783826 WITH SCORE 1800362.284
AT ITER 5034 NEW BEST:: SOT 24536972 SOS 16519685 HAS SOPS 16519685 HAS SOUS 1783269 HAS SOUPS 1783269 WITH SCORE 1799788.685
AT ITER 5040 NEW BEST:: SOT 24536972 SOS 16519670 HAS SOPS 16519670 HAS SOUS 1783254 HAS SOUPS 1783254 WITH SCORE 1799773.67
AT ITER 5145 NEW BEST:: SOT 24535600 SOS 16505669 HAS SOPS 16505669 HAS SOUS 1782775 HAS SOUPS 1782775 WITH SCORE 1799280.669
AT ITER 5159 NEW BEST:: SOT 24535126 SOS 16501640 HAS SOPS 16501640 HAS SOUS 1782775 HAS SOUPS 1782775 WITH SCORE 1799276.64
AT ITER 5181 NEW BEST:: SOT 24535174 SOS 16502360 HAS SOPS 16502360 HAS SOUS 1782727 HAS SOUPS 1782727 WITH SCORE 1799229.36
AT ITER 5209 NEW BEST:: SOT 24532188 SOS 16475486 HAS SOPS 16475486 HAS SOUS 1781234 HAS SOUPS 1781234 WITH SCORE 1797709.486
AT ITER 5332 NEW BEST:: SOT 24532137 SOS 16475380 HAS SOPS 16475380 HAS SOUS 1781179 HAS SOUPS 1781179 WITH SCORE 1797654.38
AT ITER 5351 NEW BEST:: SOT 24530173 SOS 16447575 HAS SOPS 16447575 HAS SOUS 1780943 HAS SOUPS 1780943 WITH SCORE 1797390.575
AT ITER 5356 NEW BEST:: SOT 24529971 SOS 16445857 HAS SOPS 16445857 HAS SOUS 1780942 HAS SOUPS 1780942 WITH SCORE 1797387.857
AT ITER 5377 NEW BEST:: SOT 24528249 SOS 16431213 HAS SOPS 16431213 HAS SOUS 1780935 HAS SOUPS 1780935 WITH SCORE 1797366.213
AT ITER 5398 NEW BEST:: SOT 24521041 SOS 16369930 HAS SOPS 16369930 HAS SOUS 1780918 HAS SOUPS 1780918 WITH SCORE 1797287.93
AT ITER 5416 NEW BEST:: SOT 24520526 SOS 16367598 HAS SOPS 16367598 HAS SOUS 1779101 HAS SOUPS 1779101 WITH SCORE 1795468.598
AT ITER 5459 NEW BEST:: SOT 24517462 SOS 16334117 HAS SOPS 16334117 HAS SOUS 1778129 HAS SOUPS 1778129 WITH SCORE 1794463.117
AT ITER 5489 NEW BEST:: SOT 24516717 SOS 16322197 HAS SOPS 16322197 HAS SOUS 1778129 HAS SOUPS 1778129 WITH SCORE 1794451.197
AT ITER 5514 NEW BEST:: SOT 24516717 SOS 16322176 HAS SOPS 16322176 HAS SOUS 1778108 HAS SOUPS 1778108 WITH SCORE 1794430.176
AT ITER 5516 NEW BEST:: SOT 24517136 SOS 16326523 HAS SOPS 16326523 HAS SOUS 1778076 HAS SOUPS 1778076 WITH SCORE 1794402.523
AT ITER 5519 NEW BEST:: SOT 24515703 SOS 16312195 HAS SOPS 16312195 HAS SOUS 1777691 HAS SOUPS 1777691 WITH SCORE 1794003.195
AT ITER 5523 NEW BEST:: SOT 24513874 SOS 16285759 HAS SOPS 16285759 HAS SOUS 1776184 HAS SOUPS 1776184 WITH SCORE 1792469.759
AT ITER 5528 NEW BEST:: SOT 24512347 SOS 16270821 HAS SOPS 16270821 HAS SOUS 1775958 HAS SOUPS 1775958 WITH SCORE 1792228.821
AT ITER 5543 NEW BEST:: SOT 24509363 SOS 16245443 HAS SOPS 16245443 HAS SOUS 1775944 HAS SOUPS 1775944 WITH SCORE 1792189.443
AT ITER 5546 NEW BEST:: SOT 24505462 SOS 16209653 HAS SOPS 16209653 HAS SOUS 1774250 HAS SOUPS 1774250 WITH SCORE 1790459.653
AT ITER 5578 NEW BEST:: SOT 24503116 SOS 16188026 HAS SOPS 16188026 HAS SOUS 1773329 HAS SOUPS 1773329 WITH SCORE 1789517.026
AT ITER 5604 NEW BEST:: SOT 24498829 SOS 16150454 HAS SOPS 16150454 HAS SOUS 1773224 HAS SOUPS 1773224 WITH SCORE 1789374.454
AT ITER 5617 NEW BEST:: SOT 24498620 SOS 16147416 HAS SOPS 16147416 HAS SOUS 1773215 HAS SOUPS 1773215 WITH SCORE 1789362.416
AT ITER 5621 NEW BEST:: SOT 24498412 SOS 16145544 HAS SOPS 16145544 HAS SOUS 1773111 HAS SOUPS 1773111 WITH SCORE 1789256.544
AT ITER 5646 NEW BEST:: SOT 24496151 SOS 16122630 HAS SOPS 16122630 HAS SOUS 1772149 HAS SOUPS 1772149 WITH SCORE 1788271.63
AT ITER 5667 NEW BEST:: SOT 24496151 SOS 16122279 HAS SOPS 16122279 HAS SOUS 1771798 HAS SOUPS 1771798 WITH SCORE 1787920.279
AT ITER 5674 NEW BEST:: SOT 24492290 SOS 16086645 HAS SOPS 16086645 HAS SOUS 1770385 HAS SOUPS 1770385 WITH SCORE 1786471.645
AT ITER 5701 NEW BEST:: SOT 24489634 SOS 16064067 HAS SOPS 16064067 HAS SOUS 1770383 HAS SOUPS 1770383 WITH SCORE 1786447.067
AT ITER 5733 NEW BEST:: SOT 24488336 SOS 16050970 HAS SOPS 16050970 HAS SOUS 1770119 HAS SOUPS 1770119 WITH SCORE 1786169.97
AT ITER 5783 NEW BEST:: SOT 24485098 SOS 16018969 HAS SOPS 16018969 HAS SOUS 1769363 HAS SOUPS 1769363 WITH SCORE 1785381.969
AT ITER 5786 NEW BEST:: SOT 24485098 SOS 16018273 HAS SOPS 16018273 HAS SOUS 1768667 HAS SOUPS 1768667 WITH SCORE 1784685.273
AT ITER 5822 NEW BEST:: SOT 24483272 SOS 16001839 HAS SOPS 16001839 HAS SOUS 1767752 HAS SOUPS 1767752 WITH SCORE 1783753.839
AT ITER 5842 NEW BEST:: SOT 24483076 SOS 15998703 HAS SOPS 15998703 HAS SOUS 1767752 HAS SOUPS 1767752 WITH SCORE 1783750.703
AT ITER 5876 NEW BEST:: SOT 24480634 SOS 15976725 HAS SOPS 15976725 HAS SOUS 1766531 HAS SOUPS 1766531 WITH SCORE 1782507.725
AT ITER 5901 NEW BEST:: SOT 24478002 SOS 15952809 HAS SOPS 15952809 HAS SOUS 1766378 HAS SOUPS 1766378 WITH SCORE 1782330.809
AT ITER 5915 NEW BEST:: SOT 24474226 SOS 15920478 HAS SOPS 15920478 HAS SOUS 1766143 HAS SOUPS 1766143 WITH SCORE 1782063.478
AT ITER 5969 NEW BEST:: SOT 24473714 SOS 15915870 HAS SOPS 15915870 HAS SOUS 1765887 HAS SOUPS 1765887 WITH SCORE 1781802.87
AT ITER 5978 NEW BEST:: SOT 24472829 SOS 15903502 HAS SOPS 15903502 HAS SOUS 1765759 HAS SOUPS 1765759 WITH SCORE 1781662.502
AT ITER 5986 NEW BEST:: SOT 24470373 SOS 15882620 HAS SOPS 15882620 HAS SOUS 1765753 HAS SOUPS 1765753 WITH SCORE 1781635.62
AT ITER 6035 NEW BEST:: SOT 24466605 SOS 15875083 HAS SOPS 15875083 HAS SOUS 1763319 HAS SOUPS 1763319 WITH SCORE 1779194.083
AT ITER 6038 NEW BEST:: SOT 24466605 SOS 15874682 HAS SOPS 15874682 HAS SOUS 1762918 HAS SOUPS 1762918 WITH SCORE 1778792.682
AT ITER 6053 NEW BEST:: SOT 24467405 SOS 15874617 HAS SOPS 15874617 HAS SOUS 1761725 HAS SOUPS 1761725 WITH SCORE 1777599.617
AT ITER 6073 NEW BEST:: SOT 24464395 SOS 15846555 HAS SOPS 15846555 HAS SOUS 1760568 HAS SOUPS 1760568 WITH SCORE 1776414.555
AT ITER 6084 NEW BEST:: SOT 24464395 SOS 15846548 HAS SOPS 15846548 HAS SOUS 1760561 HAS SOUPS 1760561 WITH SCORE 1776407.548
AT ITER 6097 NEW BEST:: SOT 24462513 SOS 15809198 HAS SOPS 15809198 HAS SOUS 1759657 HAS SOUPS 1759657 WITH SCORE 1775466.198
AT ITER 6111 NEW BEST:: SOT 24460655 SOS 15791733 HAS SOPS 15791733 HAS SOUS 1758930 HAS SOUPS 1758930 WITH SCORE 1774721.733
AT ITER 6119 NEW BEST:: SOT 24460655 SOS 15790328 HAS SOPS 15790328 HAS SOUS 1757525 HAS SOUPS 1757525 WITH SCORE 1773315.328
AT ITER 6164 NEW BEST:: SOT 24460655 SOS 15788839 HAS SOPS 15788839 HAS SOUS 1756036 HAS SOUPS 1756036 WITH SCORE 1771824.839
AT ITER 6169 NEW BEST:: SOT 24455845 SOS 15747948 HAS SOPS 15747948 HAS SOUS 1756030 HAS SOUPS 1756030 WITH SCORE 1771777.948
AT ITER 6181 NEW BEST:: SOT 24451693 SOS 15712652 HAS SOPS 15712652 HAS SOUS 1756026 HAS SOUPS 1756026 WITH SCORE 1771738.652
AT ITER 6182 NEW BEST:: SOT 24448785 SOS 15685262 HAS SOPS 15685262 HAS SOUS 1754659 HAS SOUPS 1754659 WITH SCORE 1770344.262
AT ITER 6192 NEW BEST:: SOT 24448785 SOS 15684520 HAS SOPS 15684520 HAS SOUS 1754659 HAS SOUPS 1754659 WITH SCORE 1770343.52
AT ITER 6219 NEW BEST:: SOT 24446475 SOS 15664874 HAS SOPS 15664874 HAS SOUS 1754648 HAS SOUPS 1754648 WITH SCORE 1770312.874
AT ITER 6232 NEW BEST:: SOT 24446497 SOS 15664918 HAS SOPS 15664918 HAS SOUS 1754451 HAS SOUPS 1754451 WITH SCORE 1770115.918
AT ITER 6244 NEW BEST:: SOT 24443177 SOS 15626806 HAS SOPS 15626806 HAS SOUS 1753445 HAS SOUPS 1753445 WITH SCORE 1769071.806
AT ITER 6282 NEW BEST:: SOT 24438269 SOS 15581779 HAS SOPS 15581779 HAS SOUS 1751216 HAS SOUPS 1751216 WITH SCORE 1766797.779
AT ITER 6321 NEW BEST:: SOT 24435449 SOS 15556399 HAS SOPS 15556399 HAS SOUS 1749806 HAS SOUPS 1749806 WITH SCORE 1765362.399
AT ITER 6325 NEW BEST:: SOT 24431471 SOS 15519884 HAS SOPS 15519884 HAS SOUS 1748109 HAS SOUPS 1748109 WITH SCORE 1763628.884
AT ITER 6330 NEW BEST:: SOT 24429388 SOS 15495712 HAS SOPS 15495712 HAS SOUS 1747455 HAS SOUPS 1747455 WITH SCORE 1762950.712
AT ITER 6396 NEW BEST:: SOT 24426384 SOS 15467472 HAS SOPS 15467472 HAS SOUS 1746039 HAS SOUPS 1746039 WITH SCORE 1761506.472
AT ITER 6410 NEW BEST:: SOT 24424895 SOS 15450802 HAS SOPS 15450802 HAS SOUS 1745528 HAS SOUPS 1745528 WITH SCORE 1760978.802
AT ITER 6449 NEW BEST:: SOT 24424267 SOS 15443781 HAS SOPS 15443781 HAS SOUS 1745222 HAS SOUPS 1745222 WITH SCORE 1760665.781
AT ITER 6479 NEW BEST:: SOT 24424616 SOS 15444467 HAS SOPS 15444467 HAS SOUS 1745092 HAS SOUPS 1745092 WITH SCORE 1760536.467
AT ITER 6484 NEW BEST:: SOT 24424616 SOS 15444455 HAS SOPS 15444455 HAS SOUS 1745080 HAS SOUPS 1745080 WITH SCORE 1760524.455
AT ITER 6555 NEW BEST:: SOT 24424616 SOS 15444437 HAS SOPS 15444437 HAS SOUS 1745060 HAS SOUPS 1745060 WITH SCORE 1760504.437
AT ITER 6571 NEW BEST:: SOT 24424118 SOS 15439955 HAS SOPS 15439955 HAS SOUS 1744811 HAS SOUPS 1744811 WITH SCORE 1760250.955
AT ITER 6587 NEW BEST:: SOT 24424064 SOS 15440783 HAS SOPS 15440783 HAS SOUS 1744685 HAS SOUPS 1744685 WITH SCORE 1760125.783
AT ITER 6599 NEW BEST:: SOT 24423670 SOS 15436243 HAS SOPS 15436243 HAS SOUS 1744619 HAS SOUPS 1744619 WITH SCORE 1760055.243
AT ITER 6617 NEW BEST:: SOT 24422723 SOS 15427223 HAS SOPS 15427223 HAS SOUS 1744179 HAS SOUPS 1744179 WITH SCORE 1759606.223
AT ITER 6625 NEW BEST:: SOT 24422723 SOS 15427223 HAS SOPS 15427223 HAS SOUS 1744177 HAS SOUPS 1744177 WITH SCORE 1759604.223
AT ITER 6632 NEW BEST:: SOT 24416813 SOS 15383205 HAS SOPS 15383205 HAS SOUS 1743618 HAS SOUPS 1743618 WITH SCORE 1759001.205
AT ITER 6662 NEW BEST:: SOT 24416615 SOS 15381512 HAS SOPS 15381512 HAS SOUS 1743608 HAS SOUPS 1743608 WITH SCORE 1758989.512
AT ITER 6670 NEW BEST:: SOT 24416569 SOS 15381120 HAS SOPS 15381120 HAS SOUS 1743607 HAS SOUPS 1743607 WITH SCORE 1758988.12
AT ITER 6674 NEW BEST:: SOT 24412667 SOS 15343814 HAS SOPS 15343814 HAS SOUS 1742138 HAS SOUPS 1742138 WITH SCORE 1757481.814
AT ITER 6772 NEW BEST:: SOT 24411457 SOS 15333528 HAS SOPS 15333528 HAS SOUS 1742137 HAS SOUPS 1742137 WITH SCORE 1757470.528
AT ITER 6773 NEW BEST:: SOT 24409419 SOS 15311953 HAS SOPS 15311953 HAS SOUS 1741347 HAS SOUPS 1741347 WITH SCORE 1756658.953
AT ITER 6779 NEW BEST:: SOT 24409279 SOS 15310763 HAS SOPS 15310763 HAS SOUS 1741347 HAS SOUPS 1741347 WITH SCORE 1756657.763
AT ITER 6789 NEW BEST:: SOT 24408066 SOS 15298929 HAS SOPS 15298929 HAS SOUS 1740806 HAS SOUPS 1740806 WITH SCORE 1756104.929
AT ITER 6796 NEW BEST:: SOT 24401369 SOS 15235768 HAS SOPS 15235768 HAS SOUS 1739212 HAS SOUPS 1739212 WITH SCORE 1754447.768
AT ITER 6803 NEW BEST:: SOT 24401369 SOS 15235763 HAS SOPS 15235763 HAS SOUS 1739207 HAS SOUPS 1739207 WITH SCORE 1754442.763
AT ITER 6805 NEW BEST:: SOT 24398271 SOS 15207433 HAS SOPS 15207433 HAS SOUS 1737690 HAS SOUPS 1737690 WITH SCORE 1752897.433
AT ITER 6860 NEW BEST:: SOT 24397544 SOS 15196319 HAS SOPS 15196319 HAS SOUS 1737653 HAS SOUPS 1737653 WITH SCORE 1752849.319
AT ITER 6893 NEW BEST:: SOT 24394082 SOS 15152984 HAS SOPS 15152984 HAS SOUS 1736866 HAS SOUPS 1736866 WITH SCORE 1752018.984
AT ITER 6914 NEW BEST:: SOT 24394082 SOS 15151741 HAS SOPS 15151741 HAS SOUS 1735623 HAS SOUPS 1735623 WITH SCORE 1750774.741
AT ITER 6950 NEW BEST:: SOT 24393292 SOS 15145016 HAS SOPS 15145016 HAS SOUS 1735613 HAS SOUPS 1735613 WITH SCORE 1750758.016
AT ITER 6967 NEW BEST:: SOT 24392896 SOS 15141636 HAS SOPS 15141636 HAS SOUS 1735599 HAS SOUPS 1735599 WITH SCORE 1750740.636
AT ITER 6973 NEW BEST:: SOT 24387888 SOS 15111400 HAS SOPS 15111400 HAS SOUS 1733961 HAS SOUPS 1733961 WITH SCORE 1749072.4
AT ITER 7050 NEW BEST:: SOT 24387812 SOS 15110752 HAS SOPS 15110752 HAS SOUS 1733959 HAS SOUPS 1733959 WITH SCORE 1749069.752
AT ITER 7056 NEW BEST:: SOT 24382073 SOS 15057823 HAS SOPS 15057823 HAS SOUS 1731499 HAS SOUPS 1731499 WITH SCORE 1746556.823
AT ITER 7106 NEW BEST:: SOT 24381934 SOS 15057248 HAS SOPS 15057248 HAS SOUS 1731063 HAS SOUPS 1731063 WITH SCORE 1746120.248
AT ITER 7123 NEW BEST:: SOT 24374000 SOS 14986114 HAS SOPS 14986114 HAS SOUS 1727368 HAS SOUPS 1727368 WITH SCORE 1742354.114
AT ITER 7156 NEW BEST:: SOT 24374062 SOS 14987044 HAS SOPS 14987044 HAS SOUS 1727306 HAS SOUPS 1727306 WITH SCORE 1742293.044
AT ITER 7190 NEW BEST:: SOT 24370444 SOS 14955728 HAS SOPS 14955728 HAS SOUS 1726908 HAS SOUPS 1726908 WITH SCORE 1741863.728
AT ITER 7197 NEW BEST:: SOT 24369825 SOS 14954052 HAS SOPS 14954052 HAS SOUS 1725851 HAS SOUPS 1725851 WITH SCORE 1740805.052
AT ITER 7241 NEW BEST:: SOT 24369342 SOS 14953184 HAS SOPS 14953184 HAS SOUS 1725466 HAS SOUPS 1725466 WITH SCORE 1740419.184
AT ITER 7256 NEW BEST:: SOT 24368438 SOS 14945499 HAS SOPS 14945499 HAS SOUS 1725465 HAS SOUPS 1725465 WITH SCORE 1740410.499
AT ITER 7277 NEW BEST:: SOT 24366506 SOS 14928111 HAS SOPS 14928111 HAS SOUS 1724499 HAS SOUPS 1724499 WITH SCORE 1739427.111
AT ITER 7282 NEW BEST:: SOT 24363512 SOS 14899597 HAS SOPS 14899597 HAS SOUS 1723114 HAS SOUPS 1723114 WITH SCORE 1738013.597
AT ITER 7296 NEW BEST:: SOT 24363508 SOS 14899440 HAS SOPS 14899440 HAS SOUS 1722961 HAS SOUPS 1722961 WITH SCORE 1737860.44
AT ITER 7325 NEW BEST:: SOT 24363485 SOS 14899394 HAS SOPS 14899394 HAS SOUS 1722936 HAS SOUPS 1722936 WITH SCORE 1737835.394
AT ITER 7375 NEW BEST:: SOT 24358588 SOS 14854306 HAS SOPS 14854306 HAS SOUS 1720560 HAS SOUPS 1720560 WITH SCORE 1735414.306
AT ITER 7385 NEW BEST:: SOT 24355322 SOS 14820845 HAS SOPS 14820845 HAS SOUS 1719070 HAS SOUPS 1719070 WITH SCORE 1733890.845
AT ITER 7393 NEW BEST:: SOT 24350310 SOS 14773481 HAS SOPS 14773481 HAS SOUS 1718894 HAS SOUPS 1718894 WITH SCORE 1733667.481
AT ITER 7458 NEW BEST:: SOT 24349744 SOS 14772347 HAS SOPS 14772347 HAS SOUS 1718326 HAS SOUPS 1718326 WITH SCORE 1733098.347
AT ITER 7464 NEW BEST:: SOT 24349744 SOS 14772347 HAS SOPS 14772347 HAS SOUS 1718324 HAS SOUPS 1718324 WITH SCORE 1733096.347
AT ITER 7532 NEW BEST:: SOT 24349701 SOS 14772256 HAS SOPS 14772256 HAS SOUS 1718276 HAS SOUPS 1718276 WITH SCORE 1733048.256
AT ITER 7533 NEW BEST:: SOT 24345932 SOS 14732607 HAS SOPS 14732607 HAS SOUS 1717121 HAS SOUPS 1717121 WITH SCORE 1731853.607
AT ITER 7558 NEW BEST:: SOT 24345932 SOS 14732596 HAS SOPS 14732596 HAS SOUS 1717110 HAS SOUPS 1717110 WITH SCORE 1731842.596
AT ITER 7620 NEW BEST:: SOT 24345764 SOS 14731084 HAS SOPS 14731084 HAS SOUS 1717026 HAS SOUPS 1717026 WITH SCORE 1731757.084
AT ITER 7640 NEW BEST:: SOT 24342512 SOS 14701816 HAS SOPS 14701816 HAS SOUS 1715400 HAS SOUPS 1715400 WITH SCORE 1730101.816
AT ITER 7651 NEW BEST:: SOT 24338488 SOS 14666170 HAS SOPS 14666170 HAS SOUS 1713958 HAS SOUPS 1713958 WITH SCORE 1728624.17
AT ITER 7713 NEW BEST:: SOT 24335453 SOS 14637140 HAS SOPS 14637140 HAS SOUS 1712563 HAS SOUPS 1712563 WITH SCORE 1727200.14
AT ITER 7720 NEW BEST:: SOT 24335453 SOS 14636049 HAS SOPS 14636049 HAS SOUS 1711472 HAS SOUPS 1711472 WITH SCORE 1726108.049
AT ITER 7758 NEW BEST:: SOT 24334915 SOS 14635004 HAS SOPS 14635004 HAS SOUS 1711148 HAS SOUPS 1711148 WITH SCORE 1725783.004
AT ITER 7807 NEW BEST:: SOT 24334877 SOS 14634949 HAS SOPS 14634949 HAS SOUS 1711131 HAS SOUPS 1711131 WITH SCORE 1725765.949
AT ITER 7827 NEW BEST:: SOT 24334877 SOS 14634949 HAS SOPS 14634949 HAS SOUS 1711121 HAS SOUPS 1711121 WITH SCORE 1725755.949
AT ITER 7832 NEW BEST:: SOT 24334566 SOS 14634016 HAS SOPS 14634016 HAS SOUS 1710499 HAS SOUPS 1710499 WITH SCORE 1725133.016
AT ITER 7833 NEW BEST:: SOT 24333463 SOS 14623433 HAS SOPS 14623433 HAS SOUS 1710124 HAS SOUPS 1710124 WITH SCORE 1724747.433
AT ITER 7866 NEW BEST:: SOT 24332083 SOS 14611013 HAS SOPS 14611013 HAS SOUS 1709434 HAS SOUPS 1709434 WITH SCORE 1724045.013
AT ITER 7869 NEW BEST:: SOT 24330927 SOS 14601172 HAS SOPS 14601172 HAS SOUS 1709417 HAS SOUPS 1709417 WITH SCORE 1724018.172
AT ITER 7914 NEW BEST:: SOT 24330322 SOS 14600167 HAS SOPS 14600167 HAS SOUS 1709017 HAS SOUPS 1709017 WITH SCORE 1723617.167
AT ITER 7922 NEW BEST:: SOT 24328612 SOS 14584818 HAS SOPS 14584818 HAS SOUS 1708203 HAS SOUPS 1708203 WITH SCORE 1722787.818
AT ITER 7923 NEW BEST:: SOT 24326086 SOS 14563343 HAS SOPS 14563343 HAS SOUS 1708199 HAS SOUPS 1708199 WITH SCORE 1722762.343
AT ITER 8023 NEW BEST:: SOT 24325648 SOS 14559437 HAS SOPS 14559437 HAS SOUS 1708016 HAS SOUPS 1708016 WITH SCORE 1722575.437
AT ITER 8054 NEW BEST:: SOT 24323840 SOS 14543456 HAS SOPS 14543456 HAS SOUS 1707403 HAS SOUPS 1707403 WITH SCORE 1721946.456
AT ITER 8067 NEW BEST:: SOT 24323815 SOS 14543056 HAS SOPS 14543056 HAS SOUS 1707403 HAS SOUPS 1707403 WITH SCORE 1721946.056
AT ITER 8105 NEW BEST:: SOT 24322269 SOS 14529142 HAS SOPS 14529142 HAS SOUS 1706630 HAS SOUPS 1706630 WITH SCORE 1721159.142
AT ITER 8107 NEW BEST:: SOT 24317835 SOS 14490551 HAS SOPS 14490551 HAS SOUS 1705728 HAS SOUPS 1705728 WITH SCORE 1720218.551
AT ITER 8110 NEW BEST:: SOT 24316367 SOS 14477339 HAS SOPS 14477339 HAS SOUS 1704994 HAS SOUPS 1704994 WITH SCORE 1719471.339
AT ITER 8117 NEW BEST:: SOT 24314131 SOS 14454975 HAS SOPS 14454975 HAS SOUS 1704036 HAS SOUPS 1704036 WITH SCORE 1718490.975
AT ITER 8118 NEW BEST:: SOT 24313939 SOS 14453247 HAS SOPS 14453247 HAS SOUS 1703940 HAS SOUPS 1703940 WITH SCORE 1718393.247
AT ITER 8133 NEW BEST:: SOT 24310689 SOS 14421497 HAS SOPS 14421497 HAS SOUS 1703546 HAS SOUPS 1703546 WITH SCORE 1717967.497
AT ITER 8157 NEW BEST:: SOT 24310006 SOS 14419394 HAS SOPS 14419394 HAS SOUS 1702126 HAS SOUPS 1702126 WITH SCORE 1716545.394
AT ITER 8213 NEW BEST:: SOT 24310006 SOS 14419114 HAS SOPS 14419114 HAS SOUS 1701846 HAS SOUPS 1701846 WITH SCORE 1716265.114
AT ITER 8234 NEW BEST:: SOT 24306311 SOS 14383638 HAS SOPS 14383638 HAS SOUS 1700326 HAS SOUPS 1700326 WITH SCORE 1714709.638
AT ITER 8258 NEW BEST:: SOT 24306311 SOS 14383635 HAS SOPS 14383635 HAS SOUS 1700323 HAS SOUPS 1700323 WITH SCORE 1714706.635
AT ITER 8301 NEW BEST:: SOT 24305004 SOS 14371795 HAS SOPS 14371795 HAS SOUS 1699675 HAS SOUPS 1699675 WITH SCORE 1714046.795
AT ITER 8312 NEW BEST:: SOT 24304982 SOS 14370496 HAS SOPS 14370496 HAS SOUS 1698398 HAS SOUPS 1698398 WITH SCORE 1712768.496
AT ITER 8317 NEW BEST:: SOT 24304587 SOS 14364176 HAS SOPS 14364176 HAS SOUS 1698398 HAS SOUPS 1698398 WITH SCORE 1712762.176
AT ITER 8349 NEW BEST:: SOT 24302748 SOS 14346848 HAS SOPS 14346848 HAS SOUS 1697534 HAS SOUPS 1697534 WITH SCORE 1711880.848
AT ITER 8359 NEW BEST:: SOT 24302525 SOS 14346402 HAS SOPS 14346402 HAS SOUS 1697311 HAS SOUPS 1697311 WITH SCORE 1711657.402
AT ITER 8384 NEW BEST:: SOT 24302519 SOS 14347776 HAS SOPS 14347776 HAS SOUS 1697206 HAS SOUPS 1697206 WITH SCORE 1711553.776
AT ITER 8400 NEW BEST:: SOT 24302379 SOS 14346516 HAS SOPS 14346516 HAS SOUS 1697136 HAS SOUPS 1697136 WITH SCORE 1711482.516
AT ITER 8407 NEW BEST:: SOT 24297890 SOS 14305974 HAS SOPS 14305974 HAS SOUS 1696183 HAS SOUPS 1696183 WITH SCORE 1710488.974
AT ITER 8417 NEW BEST:: SOT 24297937 SOS 14306068 HAS SOPS 14306068 HAS SOUS 1696014 HAS SOUPS 1696014 WITH SCORE 1710320.068
AT ITER 8439 NEW BEST:: SOT 24292523 SOS 14259236 HAS SOPS 14259236 HAS SOUS 1695966 HAS SOUPS 1695966 WITH SCORE 1710225.236
AT ITER 8450 NEW BEST:: SOT 24291447 SOS 14249552 HAS SOPS 14249552 HAS SOUS 1695428 HAS SOUPS 1695428 WITH SCORE 1709677.552
AT ITER 8469 NEW BEST:: SOT 24291447 SOS 14249058 HAS SOPS 14249058 HAS SOUS 1694934 HAS SOUPS 1694934 WITH SCORE 1709183.058
AT ITER 8479 NEW BEST:: SOT 24291447 SOS 14247405 HAS SOPS 14247405 HAS SOUS 1693281 HAS SOUPS 1693281 WITH SCORE 1707528.405
AT ITER 8495 NEW BEST:: SOT 24288961 SOS 14219679 HAS SOPS 14219679 HAS SOUS 1692596 HAS SOUPS 1692596 WITH SCORE 1706815.679
AT ITER 8541 NEW BEST:: SOT 24288959 SOS 14219675 HAS SOPS 14219675 HAS SOUS 1692594 HAS SOUPS 1692594 WITH SCORE 1706813.675
AT ITER 8549 NEW BEST:: SOT 24288547 SOS 14213083 HAS SOPS 14213083 HAS SOUS 1692594 HAS SOUPS 1692594 WITH SCORE 1706807.083
AT ITER 8638 NEW BEST:: SOT 24286345 SOS 14194360 HAS SOPS 14194360 HAS SOUS 1692588 HAS SOUPS 1692588 WITH SCORE 1706782.36
AT ITER 8738 NEW BEST:: SOT 24283543 SOS 14168158 HAS SOPS 14168158 HAS SOUS 1691328 HAS SOUPS 1691328 WITH SCORE 1705496.158
AT ITER 8740 NEW BEST:: SOT 24282630 SOS 14155902 HAS SOPS 14155902 HAS SOUS 1691156 HAS SOUPS 1691156 WITH SCORE 1705311.902
AT ITER 8881 NEW BEST:: SOT 24281636 SOS 14146956 HAS SOPS 14146956 HAS SOUS 1690659 HAS SOUPS 1690659 WITH SCORE 1704805.956
AT ITER 8899 NEW BEST:: SOT 24281636 SOS 14146811 HAS SOPS 14146811 HAS SOUS 1690514 HAS SOUPS 1690514 WITH SCORE 1704660.811
AT ITER 8916 NEW BEST:: SOT 24281280 SOS 14143607 HAS SOPS 14143607 HAS SOUS 1690334 HAS SOUPS 1690334 WITH SCORE 1704477.607
AT ITER 8925 NEW BEST:: SOT 24280546 SOS 14137001 HAS SOPS 14137001 HAS SOUS 1689967 HAS SOUPS 1689967 WITH SCORE 1704104.001
AT ITER 8946 NEW BEST:: SOT 24280398 SOS 14136705 HAS SOPS 14136705 HAS SOUS 1689967 HAS SOUPS 1689967 WITH SCORE 1704103.705
AT ITER 8977 NEW BEST:: SOT 24280356 SOS 14136327 HAS SOPS 14136327 HAS SOUS 1689946 HAS SOUPS 1689946 WITH SCORE 1704082.327
AT ITER 9000 NEW BEST:: SOT 24280286 SOS 14135724 HAS SOPS 14135724 HAS SOUS 1689938 HAS SOUPS 1689938 WITH SCORE 1704073.724
AT ITER 9012 NEW BEST:: SOT 24279558 SOS 14129530 HAS SOPS 14129530 HAS SOUS 1689932 HAS SOUPS 1689932 WITH SCORE 1704061.53
AT ITER 9078 NEW BEST:: SOT 24279416 SOS 14129246 HAS SOPS 14129246 HAS SOUS 1689790 HAS SOUPS 1689790 WITH SCORE 1703919.246
AT ITER 9107 NEW BEST:: SOT 24279234 SOS 14127693 HAS SOPS 14127693 HAS SOUS 1689784 HAS SOUPS 1689784 WITH SCORE 1703911.693
AT ITER 9110 NEW BEST:: SOT 24276158 SOS 14098623 HAS SOPS 14098623 HAS SOUS 1688435 HAS SOUPS 1688435 WITH SCORE 1702533.623
AT ITER 9197 NEW BEST:: SOT 24273060 SOS 14071869 HAS SOPS 14071869 HAS SOUS 1688014 HAS SOUPS 1688014 WITH SCORE 1702085.869
AT ITER 9206 NEW BEST:: SOT 24272910 SOS 14070519 HAS SOPS 14070519 HAS SOUS 1687939 HAS SOUPS 1687939 WITH SCORE 1702009.519
AT ITER 9226 NEW BEST:: SOT 24271100 SOS 14055119 HAS SOPS 14055119 HAS SOUS 1687922 HAS SOUPS 1687922 WITH SCORE 1701977.119
AT ITER 9254 NEW BEST:: SOT 24271100 SOS 14055111 HAS SOPS 14055111 HAS SOUS 1687914 HAS SOUPS 1687914 WITH SCORE 1701969.111
AT ITER 9297 NEW BEST:: SOT 24270540 SOS 14053991 HAS SOPS 14053991 HAS SOUS 1687354 HAS SOUPS 1687354 WITH SCORE 1701407.991
AT ITER 9302 NEW BEST:: SOT 24267616 SOS 14027675 HAS SOPS 14027675 HAS SOUS 1685892 HAS SOUPS 1685892 WITH SCORE 1699919.675
AT ITER 9337 NEW BEST:: SOT 24266842 SOS 14015291 HAS SOPS 14015291 HAS SOUS 1685840 HAS SOUPS 1685840 WITH SCORE 1699855.291
AT ITER 9339 NEW BEST:: SOT 24264929 SOS 13997388 HAS SOPS 13997388 HAS SOUS 1685270 HAS SOUPS 1685270 WITH SCORE 1699267.388
AT ITER 9358 NEW BEST:: SOT 24262119 SOS 13973494 HAS SOPS 13973494 HAS SOUS 1685261 HAS SOUPS 1685261 WITH SCORE 1699234.494
AT ITER 9361 NEW BEST:: SOT 24262147 SOS 13973452 HAS SOPS 13973452 HAS SOUS 1685191 HAS SOUPS 1685191 WITH SCORE 1699164.452
AT ITER 9370 NEW BEST:: SOT 24260857 SOS 13958475 HAS SOPS 13958475 HAS SOUS 1685109 HAS SOUPS 1685109 WITH SCORE 1699067.475
AT ITER 9379 NEW BEST:: SOT 24259002 SOS 13937136 HAS SOPS 13937136 HAS SOUS 1684433 HAS SOUPS 1684433 WITH SCORE 1698370.136
AT ITER 9392 NEW BEST:: SOT 24257394 SOS 13923463 HAS SOPS 13923463 HAS SOUS 1684428 HAS SOUPS 1684428 WITH SCORE 1698351.463
AT ITER 9426 NEW BEST:: SOT 24254735 SOS 13898283 HAS SOPS 13898283 HAS SOUS 1683537 HAS SOUPS 1683537 WITH SCORE 1697435.283
AT ITER 9432 NEW BEST:: SOT 24253200 SOS 13880679 HAS SOPS 13880679 HAS SOUS 1683248 HAS SOUPS 1683248 WITH SCORE 1697128.679
AT ITER 9433 NEW BEST:: SOT 24251696 SOS 13866277 HAS SOPS 13866277 HAS SOUS 1682723 HAS SOUPS 1682723 WITH SCORE 1696589.277
AT ITER 9463 NEW BEST:: SOT 24249525 SOS 13846268 HAS SOPS 13846268 HAS SOUS 1681805 HAS SOUPS 1681805 WITH SCORE 1695651.268
AT ITER 9500 NEW BEST:: SOT 24248527 SOS 13837771 HAS SOPS 13837771 HAS SOUS 1681791 HAS SOUPS 1681791 WITH SCORE 1695628.771
AT ITER 9511 NEW BEST:: SOT 24247937 SOS 13832461 HAS SOPS 13832461 HAS SOUS 1681496 HAS SOUPS 1681496 WITH SCORE 1695328.461
AT ITER 9514 NEW BEST:: SOT 24247077 SOS 13824958 HAS SOPS 13824958 HAS SOUS 1681303 HAS SOUPS 1681303 WITH SCORE 1695127.958
AT ITER 9516 NEW BEST:: SOT 24243268 SOS 13789709 HAS SOPS 13789709 HAS SOUS 1679953 HAS SOUPS 1679953 WITH SCORE 1693742.709
AT ITER 9538 NEW BEST:: SOT 24236178 SOS 13725920 HAS SOPS 13725920 HAS SOUS 1678484 HAS SOUPS 1678484 WITH SCORE 1692209.92
AT ITER 9550 NEW BEST:: SOT 24236234 SOS 13728353 HAS SOPS 13728353 HAS SOUS 1678221 HAS SOUPS 1678221 WITH SCORE 1691949.353
AT ITER 9619 NEW BEST:: SOT 24237233 SOS 13727949 HAS SOPS 13727949 HAS SOUS 1676818 HAS SOUPS 1676818 WITH SCORE 1690545.949
AT ITER 9622 NEW BEST:: SOT 24237233 SOS 13727917 HAS SOPS 13727917 HAS SOUS 1676786 HAS SOUPS 1676786 WITH SCORE 1690513.917
AT ITER 9634 NEW BEST:: SOT 24236312 SOS 13718301 HAS SOPS 13718301 HAS SOUS 1676686 HAS SOUPS 1676686 WITH SCORE 1690404.301
AT ITER 9667 NEW BEST:: SOT 24236976 SOS 13717308 HAS SOPS 13717308 HAS SOUS 1674720 HAS SOUPS 1674720 WITH SCORE 1688437.308
AT ITER 9716 NEW BEST:: SOT 24237131 SOS 13717611 HAS SOPS 13717611 HAS SOUS 1674585 HAS SOUPS 1674585 WITH SCORE 1688302.611
AT ITER 9734 NEW BEST:: SOT 24235755 SOS 13688903 HAS SOPS 13688903 HAS SOUS 1674606 HAS SOUPS 1674606 WITH SCORE 1688294.903
AT ITER 9754 NEW BEST:: SOT 24235719 SOS 13688327 HAS SOPS 13688327 HAS SOUS 1674606 HAS SOUPS 1674606 WITH SCORE 1688294.327
AT ITER 9757 NEW BEST:: SOT 24232127 SOS 13657767 HAS SOPS 13657767 HAS SOUS 1674578 HAS SOUPS 1674578 WITH SCORE 1688235.767
AT ITER 9764 NEW BEST:: SOT 24231897 SOS 13655804 HAS SOPS 13655804 HAS SOUS 1674570 HAS SOUPS 1674570 WITH SCORE 1688225.804
AT ITER 9768 NEW BEST:: SOT 24231897 SOS 13654982 HAS SOPS 13654982 HAS SOUS 1673748 HAS SOUPS 1673748 WITH SCORE 1687402.982
AT ITER 9786 NEW BEST:: SOT 24230383 SOS 13641356 HAS SOPS 13641356 HAS SOUS 1672991 HAS SOUPS 1672991 WITH SCORE 1686632.356
AT ITER 9831 NEW BEST:: SOT 24229875 SOS 13637036 HAS SOPS 13637036 HAS SOUS 1672989 HAS SOUPS 1672989 WITH SCORE 1686626.036
AT ITER 9852 NEW BEST:: SOT 24227847 SOS 13618784 HAS SOPS 13618784 HAS SOUS 1671975 HAS SOUPS 1671975 WITH SCORE 1685593.784
AT ITER 9885 NEW BEST:: SOT 24226876 SOS 13609282 HAS SOPS 13609282 HAS SOUS 1671544 HAS SOUPS 1671544 WITH SCORE 1685153.282
AT ITER 9898 NEW BEST:: SOT 24224685 SOS 13580109 HAS SOPS 13580109 HAS SOUS 1671202 HAS SOUPS 1671202 WITH SCORE 1684782.109
AT ITER 9919 NEW BEST:: SOT 24223014 SOS 13563467 HAS SOPS 13563467 HAS SOUS 1670481 HAS SOUPS 1670481 WITH SCORE 1684044.467
AT ITER 9946 NEW BEST:: SOT 24222538 SOS 13562483 HAS SOPS 13562483 HAS SOUS 1670155 HAS SOUPS 1670155 WITH SCORE 1683717.483
AT ITER 9950 NEW BEST:: SOT 24222475 SOS 13562399 HAS SOPS 13562399 HAS SOUS 1670134 HAS SOUPS 1670134 WITH SCORE 1683696.399
AT ITER 9968 NEW BEST:: SOT 24222376 SOS 13561809 HAS SOPS 13561809 HAS SOUS 1669643 HAS SOUPS 1669643 WITH SCORE 1683204.809
AT ITER 9985 NEW BEST:: SOT 24220585 SOS 13545221 HAS SOPS 13545221 HAS SOUS 1668781 HAS SOUPS 1668781 WITH SCORE 1682326.221

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="ViralEpidemic-PT-S16D2C4A02"
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 ViralEpidemic-PT-S16D2C4A02, 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 r224-oct2-159033539000584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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