Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 13K Feb 25 20:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 20:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 20:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 20:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 20:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 20:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Feb 25 20:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.2M Mar 5 18:23 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 1679201204222

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S16D2C4A02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 36 NEW BEST:: SOT 25139321 SOS 21865513 HAS SOPS 21865513 HAS SOUS 1907203 HAS SOUPS 1907203 WITH SCORE 1929068.513
AT ITER 51 NEW BEST:: SOT 25137869 SOS 21853163 HAS SOPS 21853163 HAS SOUS 1907195 HAS SOUPS 1907195 WITH SCORE 1929048.163
AT ITER 107 NEW BEST:: SOT 25135421 SOS 21832343 HAS SOPS 21832343 HAS SOUS 1907183 HAS SOUPS 1907183 WITH SCORE 1929015.343
AT ITER 112 NEW BEST:: SOT 25132907 SOS 21810974 HAS SOPS 21810974 HAS SOUS 1907183 HAS SOUPS 1907183 WITH SCORE 1928993.974
AT ITER 125 NEW BEST:: SOT 25131629 SOS 21800108 HAS SOPS 21800108 HAS SOUS 1907180 HAS SOUPS 1907180 WITH SCORE 1928980.108
AT ITER 126 NEW BEST:: SOT 25126885 SOS 21759773 HAS SOPS 21759773 HAS SOUS 1907169 HAS SOUPS 1907169 WITH SCORE 1928928.773
AT ITER 138 NEW BEST:: SOT 25125553 SOS 21748447 HAS SOPS 21748447 HAS SOUS 1907165 HAS SOUPS 1907165 WITH SCORE 1928913.447
AT ITER 154 NEW BEST:: SOT 25125017 SOS 21743879 HAS SOPS 21743879 HAS SOUS 1907153 HAS SOUPS 1907153 WITH SCORE 1928896.879
AT ITER 187 NEW BEST:: SOT 25124057 SOS 21735719 HAS SOPS 21735719 HAS SOUS 1907153 HAS SOUPS 1907153 WITH SCORE 1928888.719
AT ITER 194 NEW BEST:: SOT 25119533 SOS 21697257 HAS SOPS 21697257 HAS SOUS 1907145 HAS SOUPS 1907145 WITH SCORE 1928842.257
AT ITER 218 NEW BEST:: SOT 25118919 SOS 21692023 HAS SOPS 21692023 HAS SOUS 1907128 HAS SOUPS 1907128 WITH SCORE 1928820.023
AT ITER 220 NEW BEST:: SOT 25112249 SOS 21635313 HAS SOPS 21635313 HAS SOUS 1907111 HAS SOUPS 1907111 WITH SCORE 1928746.313
AT ITER 222 NEW BEST:: SOT 25111258 SOS 21626019 HAS SOPS 21626019 HAS SOUS 1906938 HAS SOUPS 1906938 WITH SCORE 1928564.019
AT ITER 225 NEW BEST:: SOT 25111112 SOS 21624769 HAS SOPS 21624769 HAS SOUS 1906929 HAS SOUPS 1906929 WITH SCORE 1928553.769
AT ITER 229 NEW BEST:: SOT 25110146 SOS 21616556 HAS SOPS 21616556 HAS SOUS 1906927 HAS SOUPS 1906927 WITH SCORE 1928543.556
AT ITER 233 NEW BEST:: SOT 25109920 SOS 21614635 HAS SOPS 21614635 HAS SOUS 1906927 HAS SOUPS 1906927 WITH SCORE 1928541.635
AT ITER 245 NEW BEST:: SOT 25104764 SOS 21570808 HAS SOPS 21570808 HAS SOUS 1906926 HAS SOUPS 1906926 WITH SCORE 1928496.808
AT ITER 252 NEW BEST:: SOT 25101740 SOS 21545098 HAS SOPS 21545098 HAS SOUS 1906920 HAS SOUPS 1906920 WITH SCORE 1928465.098
AT ITER 258 NEW BEST:: SOT 25095626 SOS 21493127 HAS SOPS 21493127 HAS SOUS 1906918 HAS SOUPS 1906918 WITH SCORE 1928411.127
AT ITER 263 NEW BEST:: SOT 25093610 SOS 21475980 HAS SOPS 21475980 HAS SOUS 1906907 HAS SOUPS 1906907 WITH SCORE 1928382.98
AT ITER 302 NEW BEST:: SOT 25091386 SOS 21457074 HAS SOPS 21457074 HAS SOUS 1906905 HAS SOUPS 1906905 WITH SCORE 1928362.074
AT ITER 306 NEW BEST:: SOT 25085716 SOS 21408864 HAS SOPS 21408864 HAS SOUS 1906888 HAS SOUPS 1906888 WITH SCORE 1928296.864
AT ITER 313 NEW BEST:: SOT 25081520 SOS 21373191 HAS SOPS 21373191 HAS SOUS 1906881 HAS SOUPS 1906881 WITH SCORE 1928254.191
AT ITER 316 NEW BEST:: SOT 25081038 SOS 21369092 HAS SOPS 21369092 HAS SOUS 1906879 HAS SOUPS 1906879 WITH SCORE 1928248.092
AT ITER 333 NEW BEST:: SOT 25081038 SOS 21368020 HAS SOPS 21368020 HAS SOUS 1905805 HAS SOUPS 1905805 WITH SCORE 1927173.02
AT ITER 356 NEW BEST:: SOT 25079294 SOS 21353195 HAS SOPS 21353195 HAS SOUS 1905804 HAS SOUPS 1905804 WITH SCORE 1927157.195
AT ITER 393 NEW BEST:: SOT 25074914 SOS 21312792 HAS SOPS 21312792 HAS SOUS 1903876 HAS SOUPS 1903876 WITH SCORE 1925188.792
AT ITER 407 NEW BEST:: SOT 25067556 SOS 21250235 HAS SOPS 21250235 HAS SOUS 1903862 HAS SOUPS 1903862 WITH SCORE 1925112.235
AT ITER 426 NEW BEST:: SOT 25065636 SOS 21233906 HAS SOPS 21233906 HAS SOUS 1903853 HAS SOUPS 1903853 WITH SCORE 1925086.906
AT ITER 431 NEW BEST:: SOT 25060286 SOS 21188416 HAS SOPS 21188416 HAS SOUS 1903836 HAS SOUPS 1903836 WITH SCORE 1925024.416
AT ITER 537 NEW BEST:: SOT 25058870 SOS 21176375 HAS SOPS 21176375 HAS SOUS 1903831 HAS SOUPS 1903831 WITH SCORE 1925007.375
AT ITER 557 NEW BEST:: SOT 25057320 SOS 21161862 HAS SOPS 21161862 HAS SOUS 1903288 HAS SOUPS 1903288 WITH SCORE 1924449.862
AT ITER 589 NEW BEST:: SOT 25052816 SOS 21123569 HAS SOPS 21123569 HAS SOUS 1903279 HAS SOUPS 1903279 WITH SCORE 1924402.569
AT ITER 590 NEW BEST:: SOT 25046438 SOS 21069354 HAS SOPS 21069354 HAS SOUS 1903277 HAS SOUPS 1903277 WITH SCORE 1924346.354
AT ITER 597 NEW BEST:: SOT 25041656 SOS 21024962 HAS SOPS 21024962 HAS SOUS 1901242 HAS SOUPS 1901242 WITH SCORE 1922266.962
AT ITER 611 NEW BEST:: SOT 25040216 SOS 21011207 HAS SOPS 21011207 HAS SOUS 1900912 HAS SOUPS 1900912 WITH SCORE 1921923.207
AT ITER 612 NEW BEST:: SOT 25040216 SOS 21009787 HAS SOPS 21009787 HAS SOUS 1899492 HAS SOUPS 1899492 WITH SCORE 1920501.787
AT ITER 642 NEW BEST:: SOT 25039140 SOS 21000636 HAS SOPS 21000636 HAS SOUS 1899487 HAS SOUPS 1899487 WITH SCORE 1920487.636
AT ITER 753 NEW BEST:: SOT 25033822 SOS 20955425 HAS SOPS 20955425 HAS SOUS 1899479 HAS SOUPS 1899479 WITH SCORE 1920434.425
AT ITER 759 NEW BEST:: SOT 25033306 SOS 20951038 HAS SOPS 20951038 HAS SOUS 1899478 HAS SOUPS 1899478 WITH SCORE 1920429.038
AT ITER 790 NEW BEST:: SOT 25029964 SOS 20922623 HAS SOPS 20922623 HAS SOUS 1899470 HAS SOUPS 1899470 WITH SCORE 1920392.623
AT ITER 806 NEW BEST:: SOT 25024406 SOS 20875378 HAS SOPS 20875378 HAS SOUS 1899468 HAS SOUPS 1899468 WITH SCORE 1920343.378
AT ITER 809 NEW BEST:: SOT 25020076 SOS 20838568 HAS SOPS 20838568 HAS SOUS 1899463 HAS SOUPS 1899463 WITH SCORE 1920301.568
AT ITER 853 NEW BEST:: SOT 25019291 SOS 20826934 HAS SOPS 20826934 HAS SOUS 1899414 HAS SOUPS 1899414 WITH SCORE 1920240.934
AT ITER 869 NEW BEST:: SOT 25017433 SOS 20811130 HAS SOPS 20811130 HAS SOUS 1899403 HAS SOUPS 1899403 WITH SCORE 1920214.13
AT ITER 870 NEW BEST:: SOT 25015735 SOS 20796692 HAS SOPS 20796692 HAS SOUS 1899398 HAS SOUPS 1899398 WITH SCORE 1920194.692
AT ITER 893 NEW BEST:: SOT 25015006 SOS 20786876 HAS SOPS 20786876 HAS SOUS 1899266 HAS SOUPS 1899266 WITH SCORE 1920052.876
AT ITER 954 NEW BEST:: SOT 25013598 SOS 20774900 HAS SOPS 20774900 HAS SOUS 1899258 HAS SOUPS 1899258 WITH SCORE 1920032.9
AT ITER 960 NEW BEST:: SOT 25012045 SOS 20753375 HAS SOPS 20753375 HAS SOUS 1898786 HAS SOUPS 1898786 WITH SCORE 1919539.375
AT ITER 963 NEW BEST:: SOT 25005527 SOS 20697960 HAS SOPS 20697960 HAS SOUS 1898774 HAS SOUPS 1898774 WITH SCORE 1919471.96
AT ITER 977 NEW BEST:: SOT 25003829 SOS 20683526 HAS SOPS 20683526 HAS SOUS 1898773 HAS SOUPS 1898773 WITH SCORE 1919456.526
AT ITER 1001 NEW BEST:: SOT 24997939 SOS 20633456 HAS SOPS 20633456 HAS SOUS 1898768 HAS SOUPS 1898768 WITH SCORE 1919401.456
AT ITER 1007 NEW BEST:: SOT 24994543 SOS 20604575 HAS SOPS 20604575 HAS SOUS 1898751 HAS SOUPS 1898751 WITH SCORE 1919355.575
AT ITER 1024 NEW BEST:: SOT 24994543 SOS 20604574 HAS SOPS 20604574 HAS SOUS 1898750 HAS SOUPS 1898750 WITH SCORE 1919354.574
AT ITER 1031 NEW BEST:: SOT 24993073 SOS 20591417 HAS SOPS 20591417 HAS SOUS 1898088 HAS SOUPS 1898088 WITH SCORE 1918679.417
AT ITER 1050 NEW BEST:: SOT 24992633 SOS 20587663 HAS SOPS 20587663 HAS SOUS 1898074 HAS SOUPS 1898074 WITH SCORE 1918661.663
AT ITER 1068 NEW BEST:: SOT 24992131 SOS 20583391 HAS SOPS 20583391 HAS SOUS 1898069 HAS SOUPS 1898069 WITH SCORE 1918652.391
AT ITER 1086 NEW BEST:: SOT 24990401 SOS 20568684 HAS SOPS 20568684 HAS SOUS 1898067 HAS SOUPS 1898067 WITH SCORE 1918635.684
AT ITER 1093 NEW BEST:: SOT 24987035 SOS 20530410 HAS SOPS 20530410 HAS SOUS 1896954 HAS SOUPS 1896954 WITH SCORE 1917484.41
AT ITER 1132 NEW BEST:: SOT 24986117 SOS 20522607 HAS SOPS 20522607 HAS SOUS 1896954 HAS SOUPS 1896954 WITH SCORE 1917476.607
AT ITER 1162 NEW BEST:: SOT 24982123 SOS 20488651 HAS SOPS 20488651 HAS SOUS 1896947 HAS SOUPS 1896947 WITH SCORE 1917435.651
AT ITER 1167 NEW BEST:: SOT 24979715 SOS 20468182 HAS SOPS 20468182 HAS SOUS 1896946 HAS SOUPS 1896946 WITH SCORE 1917414.182
AT ITER 1172 NEW BEST:: SOT 24979715 SOS 20468155 HAS SOPS 20468155 HAS SOUS 1896919 HAS SOUPS 1896919 WITH SCORE 1917387.155
AT ITER 1178 NEW BEST:: SOT 24975189 SOS 20427421 HAS SOPS 20427421 HAS SOUS 1894656 HAS SOUPS 1894656 WITH SCORE 1915083.421
AT ITER 1187 NEW BEST:: SOT 24971493 SOS 20396005 HAS SOPS 20396005 HAS SOUS 1894656 HAS SOUPS 1894656 WITH SCORE 1915052.005
AT ITER 1199 NEW BEST:: SOT 24969087 SOS 20375544 HAS SOPS 20375544 HAS SOUS 1894646 HAS SOUPS 1894646 WITH SCORE 1915021.544
AT ITER 1201 NEW BEST:: SOT 24969087 SOS 20374612 HAS SOPS 20374612 HAS SOUS 1893714 HAS SOUPS 1893714 WITH SCORE 1914088.612
AT ITER 1204 NEW BEST:: SOT 24967319 SOS 20359578 HAS SOPS 20359578 HAS SOUS 1893708 HAS SOUPS 1893708 WITH SCORE 1914067.578
AT ITER 1205 NEW BEST:: SOT 24964881 SOS 20338855 HAS SOPS 20338855 HAS SOUS 1893708 HAS SOUPS 1893708 WITH SCORE 1914046.855
AT ITER 1209 NEW BEST:: SOT 24962111 SOS 20315308 HAS SOPS 20315308 HAS SOUS 1893706 HAS SOUPS 1893706 WITH SCORE 1914021.308
AT ITER 1212 NEW BEST:: SOT 24961007 SOS 20305922 HAS SOPS 20305922 HAS SOUS 1893704 HAS SOUPS 1893704 WITH SCORE 1914009.922
AT ITER 1244 NEW BEST:: SOT 24959256 SOS 20289041 HAS SOPS 20289041 HAS SOUS 1893364 HAS SOUPS 1893364 WITH SCORE 1913653.041
AT ITER 1253 NEW BEST:: SOT 24955286 SOS 20255285 HAS SOPS 20255285 HAS SOUS 1893353 HAS SOUPS 1893353 WITH SCORE 1913608.285
AT ITER 1264 NEW BEST:: SOT 24950831 SOS 20213698 HAS SOPS 20213698 HAS SOUS 1891291 HAS SOUPS 1891291 WITH SCORE 1911504.698
AT ITER 1267 NEW BEST:: SOT 24947301 SOS 20183680 HAS SOPS 20183680 HAS SOUS 1891278 HAS SOUPS 1891278 WITH SCORE 1911461.68
AT ITER 1272 NEW BEST:: SOT 24944667 SOS 20161280 HAS SOPS 20161280 HAS SOUS 1891267 HAS SOUPS 1891267 WITH SCORE 1911428.28
AT ITER 1301 NEW BEST:: SOT 24943644 SOS 20151194 HAS SOPS 20151194 HAS SOUS 1890859 HAS SOUPS 1890859 WITH SCORE 1911010.194
AT ITER 1356 NEW BEST:: SOT 24943644 SOS 20151180 HAS SOPS 20151180 HAS SOUS 1890845 HAS SOUPS 1890845 WITH SCORE 1910996.18
AT ITER 1398 NEW BEST:: SOT 24942156 SOS 20138521 HAS SOPS 20138521 HAS SOUS 1890834 HAS SOUPS 1890834 WITH SCORE 1910972.521
AT ITER 1404 NEW BEST:: SOT 24939528 SOS 20110557 HAS SOPS 20110557 HAS SOUS 1889859 HAS SOUPS 1889859 WITH SCORE 1909969.557
AT ITER 1406 NEW BEST:: SOT 24937738 SOS 20095340 HAS SOPS 20095340 HAS SOUS 1889857 HAS SOUPS 1889857 WITH SCORE 1909952.34
AT ITER 1409 NEW BEST:: SOT 24932608 SOS 20050222 HAS SOPS 20050222 HAS SOUS 1888344 HAS SOUPS 1888344 WITH SCORE 1908394.222
AT ITER 1420 NEW BEST:: SOT 24925456 SOS 19989416 HAS SOPS 19989416 HAS SOUS 1888330 HAS SOUPS 1888330 WITH SCORE 1908319.416
AT ITER 1425 NEW BEST:: SOT 24923271 SOS 19969614 HAS SOPS 19969614 HAS SOUS 1887528 HAS SOUPS 1887528 WITH SCORE 1907497.614
AT ITER 1451 NEW BEST:: SOT 24921227 SOS 19951218 HAS SOPS 19951218 HAS SOUS 1886506 HAS SOUPS 1886506 WITH SCORE 1906457.218
AT ITER 1470 NEW BEST:: SOT 24920399 SOS 19942818 HAS SOPS 19942818 HAS SOUS 1886419 HAS SOUPS 1886419 WITH SCORE 1906361.818
AT ITER 1471 NEW BEST:: SOT 24918047 SOS 19921650 HAS SOPS 19921650 HAS SOUS 1885243 HAS SOUPS 1885243 WITH SCORE 1905164.65
AT ITER 1472 NEW BEST:: SOT 24917143 SOS 19913157 HAS SOPS 19913157 HAS SOUS 1885124 HAS SOUPS 1885124 WITH SCORE 1905037.157
AT ITER 1479 NEW BEST:: SOT 24914543 SOS 19889832 HAS SOPS 19889832 HAS SOUS 1883899 HAS SOUPS 1883899 WITH SCORE 1903788.832
AT ITER 1522 NEW BEST:: SOT 24911876 SOS 19864456 HAS SOPS 19864456 HAS SOUS 1882908 HAS SOUPS 1882908 WITH SCORE 1902772.456
AT ITER 1536 NEW BEST:: SOT 24909396 SOS 19842182 HAS SOPS 19842182 HAS SOUS 1881714 HAS SOUPS 1881714 WITH SCORE 1901556.182
AT ITER 1544 NEW BEST:: SOT 24905788 SOS 19811508 HAS SOPS 19811508 HAS SOUS 1881708 HAS SOUPS 1881708 WITH SCORE 1901519.508
AT ITER 1568 NEW BEST:: SOT 24905580 SOS 19809636 HAS SOPS 19809636 HAS SOUS 1881604 HAS SOUPS 1881604 WITH SCORE 1901413.636
AT ITER 1572 NEW BEST:: SOT 24905580 SOS 19809621 HAS SOPS 19809621 HAS SOUS 1881587 HAS SOUPS 1881587 WITH SCORE 1901396.621
AT ITER 1601 NEW BEST:: SOT 24903951 SOS 19794035 HAS SOPS 19794035 HAS SOUS 1881010 HAS SOUPS 1881010 WITH SCORE 1900804.035
AT ITER 1608 NEW BEST:: SOT 24902701 SOS 19782874 HAS SOPS 19782874 HAS SOUS 1880474 HAS SOUPS 1880474 WITH SCORE 1900256.874
AT ITER 1611 NEW BEST:: SOT 24900324 SOS 19760871 HAS SOPS 19760871 HAS SOUS 1879628 HAS SOUPS 1879628 WITH SCORE 1899388.871
AT ITER 1612 NEW BEST:: SOT 24896214 SOS 19725926 HAS SOPS 19725926 HAS SOUS 1879618 HAS SOUPS 1879618 WITH SCORE 1899343.926
AT ITER 1632 NEW BEST:: SOT 24894786 SOS 19704982 HAS SOPS 19704982 HAS SOUS 1879482 HAS SOUPS 1879482 WITH SCORE 1899186.982
AT ITER 1667 NEW BEST:: SOT 24893143 SOS 19689250 HAS SOPS 19689250 HAS SOUS 1878728 HAS SOUPS 1878728 WITH SCORE 1898417.25
AT ITER 1685 NEW BEST:: SOT 24887393 SOS 19636304 HAS SOPS 19636304 HAS SOUS 1876292 HAS SOUPS 1876292 WITH SCORE 1895928.304
AT ITER 1745 NEW BEST:: SOT 24887183 SOS 19634515 HAS SOPS 19634515 HAS SOUS 1876288 HAS SOUPS 1876288 WITH SCORE 1895922.515
AT ITER 1749 NEW BEST:: SOT 24885391 SOS 19619281 HAS SOPS 19619281 HAS SOUS 1876286 HAS SOUPS 1876286 WITH SCORE 1895905.281
AT ITER 1751 NEW BEST:: SOT 24882572 SOS 19593046 HAS SOPS 19593046 HAS SOUS 1875175 HAS SOUPS 1875175 WITH SCORE 1894768.046
AT ITER 1756 NEW BEST:: SOT 24877784 SOS 19548262 HAS SOPS 19548262 HAS SOUS 1872919 HAS SOUPS 1872919 WITH SCORE 1892467.262
AT ITER 1773 NEW BEST:: SOT 24875362 SOS 19527675 HAS SOPS 19527675 HAS SOUS 1872919 HAS SOUPS 1872919 WITH SCORE 1892446.675
AT ITER 1788 NEW BEST:: SOT 24874486 SOS 19520229 HAS SOPS 19520229 HAS SOUS 1872919 HAS SOUPS 1872919 WITH SCORE 1892439.229
AT ITER 1811 NEW BEST:: SOT 24867588 SOS 19460072 HAS SOPS 19460072 HAS SOUS 1871395 HAS SOUPS 1871395 WITH SCORE 1890855.072
AT ITER 1879 NEW BEST:: SOT 24864680 SOS 19433938 HAS SOPS 19433938 HAS SOUS 1869979 HAS SOUPS 1869979 WITH SCORE 1889412.938
AT ITER 1902 NEW BEST:: SOT 24859594 SOS 19390697 HAS SOPS 19390697 HAS SOUS 1869969 HAS SOUPS 1869969 WITH SCORE 1889359.697
AT ITER 1920 NEW BEST:: SOT 24858888 SOS 19384689 HAS SOPS 19384689 HAS SOUS 1869962 HAS SOUPS 1869962 WITH SCORE 1889346.689
AT ITER 1931 NEW BEST:: SOT 24856880 SOS 19365868 HAS SOPS 19365868 HAS SOUS 1869424 HAS SOUPS 1869424 WITH SCORE 1888789.868
AT ITER 1935 NEW BEST:: SOT 24855312 SOS 19352526 HAS SOPS 19352526 HAS SOUS 1869410 HAS SOUPS 1869410 WITH SCORE 1888762.526
AT ITER 1939 NEW BEST:: SOT 24855312 SOS 19352066 HAS SOPS 19352066 HAS SOUS 1868950 HAS SOUPS 1868950 WITH SCORE 1888302.066
AT ITER 1955 NEW BEST:: SOT 24855312 SOS 19351563 HAS SOPS 19351563 HAS SOUS 1868447 HAS SOUPS 1868447 WITH SCORE 1887798.563
AT ITER 2008 NEW BEST:: SOT 24854764 SOS 19346631 HAS SOPS 19346631 HAS SOUS 1868173 HAS SOUPS 1868173 WITH SCORE 1887519.631
AT ITER 2013 NEW BEST:: SOT 24852070 SOS 19322385 HAS SOPS 19322385 HAS SOUS 1866826 HAS SOUPS 1866826 WITH SCORE 1886148.385
AT ITER 2023 NEW BEST:: SOT 24849026 SOS 19294989 HAS SOPS 19294989 HAS SOUS 1865304 HAS SOUPS 1865304 WITH SCORE 1884598.989
AT ITER 2060 NEW BEST:: SOT 24847332 SOS 19280588 HAS SOPS 19280588 HAS SOUS 1865302 HAS SOUPS 1865302 WITH SCORE 1884582.588
AT ITER 2122 NEW BEST:: SOT 24847161 SOS 19278906 HAS SOPS 19278906 HAS SOUS 1865244 HAS SOUPS 1865244 WITH SCORE 1884522.906
AT ITER 2141 NEW BEST:: SOT 24845700 SOS 19257384 HAS SOPS 19257384 HAS SOUS 1865133 HAS SOUPS 1865133 WITH SCORE 1884390.384
AT ITER 2142 NEW BEST:: SOT 24842498 SOS 19227476 HAS SOPS 19227476 HAS SOUS 1864032 HAS SOUPS 1864032 WITH SCORE 1883259.476
AT ITER 2168 NEW BEST:: SOT 24842498 SOS 19227281 HAS SOPS 19227281 HAS SOUS 1863837 HAS SOUPS 1863837 WITH SCORE 1883064.281
AT ITER 2169 NEW BEST:: SOT 24842490 SOS 19227012 HAS SOPS 19227012 HAS SOUS 1863576 HAS SOUPS 1863576 WITH SCORE 1882803.012
AT ITER 2184 NEW BEST:: SOT 24841496 SOS 19218066 HAS SOPS 19218066 HAS SOUS 1863077 HAS SOUPS 1863077 WITH SCORE 1882295.066
AT ITER 2192 NEW BEST:: SOT 24840582 SOS 19209840 HAS SOPS 19209840 HAS SOUS 1862620 HAS SOUPS 1862620 WITH SCORE 1881829.84
AT ITER 2285 NEW BEST:: SOT 24836184 SOS 19172443 HAS SOPS 19172443 HAS SOUS 1862606 HAS SOUPS 1862606 WITH SCORE 1881778.443
AT ITER 2286 NEW BEST:: SOT 24835556 SOS 19166791 HAS SOPS 19166791 HAS SOUS 1862292 HAS SOUPS 1862292 WITH SCORE 1881458.791
AT ITER 2303 NEW BEST:: SOT 24831972 SOS 19136312 HAS SOPS 19136312 HAS SOUS 1862275 HAS SOUPS 1862275 WITH SCORE 1881411.312
AT ITER 2328 NEW BEST:: SOT 24824825 SOS 19070633 HAS SOPS 19070633 HAS SOUS 1859048 HAS SOUPS 1859048 WITH SCORE 1878118.633
AT ITER 2341 NEW BEST:: SOT 24824825 SOS 19070629 HAS SOPS 19070629 HAS SOUS 1859044 HAS SOUPS 1859044 WITH SCORE 1878114.629
AT ITER 2364 NEW BEST:: SOT 24818817 SOS 19019559 HAS SOPS 19019559 HAS SOUS 1859042 HAS SOUPS 1859042 WITH SCORE 1878061.559
AT ITER 2478 NEW BEST:: SOT 24818664 SOS 19019323 HAS SOPS 19019323 HAS SOUS 1858959 HAS SOUPS 1858959 WITH SCORE 1877978.323
AT ITER 2487 NEW BEST:: SOT 24818196 SOS 19015342 HAS SOPS 19015342 HAS SOUS 1858956 HAS SOUPS 1858956 WITH SCORE 1877971.342
AT ITER 2497 NEW BEST:: SOT 24812754 SOS 18953431 HAS SOPS 18953431 HAS SOUS 1858227 HAS SOUPS 1858227 WITH SCORE 1877180.431
AT ITER 2503 NEW BEST:: SOT 24811733 SOS 18942802 HAS SOPS 18942802 HAS SOUS 1857889 HAS SOUPS 1857889 WITH SCORE 1876831.802
AT ITER 2511 NEW BEST:: SOT 24807419 SOS 18904088 HAS SOPS 18904088 HAS SOUS 1855844 HAS SOUPS 1855844 WITH SCORE 1874748.088
AT ITER 2515 NEW BEST:: SOT 24805366 SOS 18880956 HAS SOPS 18880956 HAS SOUS 1855150 HAS SOUPS 1855150 WITH SCORE 1874030.956
AT ITER 2533 NEW BEST:: SOT 24805258 SOS 18880033 HAS SOPS 18880033 HAS SOUS 1855145 HAS SOUPS 1855145 WITH SCORE 1874025.033
AT ITER 2534 NEW BEST:: SOT 24804432 SOS 18872901 HAS SOPS 18872901 HAS SOUS 1855034 HAS SOUPS 1855034 WITH SCORE 1873906.901
AT ITER 2540 NEW BEST:: SOT 24802796 SOS 18858546 HAS SOPS 18858546 HAS SOUS 1854585 HAS SOUPS 1854585 WITH SCORE 1873443.546
AT ITER 2565 NEW BEST:: SOT 24801750 SOS 18849652 HAS SOPS 18849652 HAS SOUS 1854582 HAS SOUPS 1854582 WITH SCORE 1873431.652
AT ITER 2587 NEW BEST:: SOT 24800692 SOS 18840647 HAS SOPS 18840647 HAS SOUS 1854570 HAS SOUPS 1854570 WITH SCORE 1873410.647
AT ITER 2592 NEW BEST:: SOT 24799618 SOS 18830981 HAS SOPS 18830981 HAS SOUS 1854033 HAS SOUPS 1854033 WITH SCORE 1872863.981
AT ITER 2601 NEW BEST:: SOT 24797272 SOS 18808478 HAS SOPS 18808478 HAS SOUS 1853136 HAS SOUPS 1853136 WITH SCORE 1871944.478
AT ITER 2617 NEW BEST:: SOT 24797249 SOS 18808432 HAS SOPS 18808432 HAS SOUS 1853113 HAS SOUPS 1853113 WITH SCORE 1871921.432
AT ITER 2646 NEW BEST:: SOT 24797207 SOS 18808054 HAS SOPS 18808054 HAS SOUS 1853092 HAS SOUPS 1853092 WITH SCORE 1871900.054
AT ITER 2648 NEW BEST:: SOT 24794861 SOS 18786940 HAS SOPS 18786940 HAS SOUS 1851919 HAS SOUPS 1851919 WITH SCORE 1870705.94
AT ITER 2654 NEW BEST:: SOT 24791918 SOS 18759229 HAS SOPS 18759229 HAS SOUS 1850896 HAS SOUPS 1850896 WITH SCORE 1869655.229
AT ITER 2692 NEW BEST:: SOT 24791768 SOS 18757879 HAS SOPS 18757879 HAS SOUS 1850821 HAS SOUPS 1850821 WITH SCORE 1869578.879
AT ITER 2726 NEW BEST:: SOT 24790290 SOS 18745310 HAS SOPS 18745310 HAS SOUS 1850815 HAS SOUPS 1850815 WITH SCORE 1869560.31
AT ITER 2737 NEW BEST:: SOT 24784495 SOS 18691407 HAS SOPS 18691407 HAS SOUS 1848082 HAS SOUPS 1848082 WITH SCORE 1866773.407
AT ITER 2749 NEW BEST:: SOT 24779982 SOS 18650035 HAS SOPS 18650035 HAS SOUS 1846038 HAS SOUPS 1846038 WITH SCORE 1864688.035
AT ITER 2782 NEW BEST:: SOT 24774652 SOS 18603481 HAS SOPS 18603481 HAS SOUS 1844789 HAS SOUPS 1844789 WITH SCORE 1863392.481
AT ITER 2786 NEW BEST:: SOT 24774326 SOS 18600709 HAS SOPS 18600709 HAS SOUS 1844788 HAS SOUPS 1844788 WITH SCORE 1863388.709
AT ITER 2802 NEW BEST:: SOT 24773386 SOS 18592259 HAS SOPS 18592259 HAS SOUS 1844328 HAS SOUPS 1844328 WITH SCORE 1862920.259
AT ITER 2808 NEW BEST:: SOT 24770779 SOS 18568008 HAS SOPS 18568008 HAS SOUS 1843249 HAS SOUPS 1843249 WITH SCORE 1861817.008
AT ITER 2833 NEW BEST:: SOT 24767731 SOS 18539530 HAS SOPS 18539530 HAS SOUS 1842044 HAS SOUPS 1842044 WITH SCORE 1860583.53
AT ITER 2847 NEW BEST:: SOT 24767731 SOS 18539523 HAS SOPS 18539523 HAS SOUS 1842037 HAS SOUPS 1842037 WITH SCORE 1860576.523
AT ITER 2876 NEW BEST:: SOT 24766805 SOS 18531641 HAS SOPS 18531641 HAS SOUS 1842026 HAS SOUPS 1842026 WITH SCORE 1860557.641
AT ITER 2899 NEW BEST:: SOT 24764335 SOS 18509181 HAS SOPS 18509181 HAS SOUS 1841146 HAS SOUPS 1841146 WITH SCORE 1859655.181
AT ITER 2927 NEW BEST:: SOT 24759235 SOS 18452762 HAS SOPS 18452762 HAS SOUS 1839375 HAS SOUPS 1839375 WITH SCORE 1857827.762
AT ITER 2928 NEW BEST:: SOT 24758591 SOS 18447048 HAS SOPS 18447048 HAS SOUS 1839270 HAS SOUPS 1839270 WITH SCORE 1857717.048
AT ITER 2935 NEW BEST:: SOT 24758591 SOS 18447043 HAS SOPS 18447043 HAS SOUS 1839265 HAS SOUPS 1839265 WITH SCORE 1857712.043
AT ITER 2942 NEW BEST:: SOT 24754591 SOS 18412010 HAS SOPS 18412010 HAS SOUS 1838232 HAS SOUPS 1838232 WITH SCORE 1856644.01
AT ITER 2943 NEW BEST:: SOT 24752985 SOS 18397080 HAS SOPS 18397080 HAS SOUS 1837461 HAS SOUPS 1837461 WITH SCORE 1855858.08
AT ITER 2976 NEW BEST:: SOT 24747685 SOS 18352019 HAS SOPS 18352019 HAS SOUS 1837450 HAS SOUPS 1837450 WITH SCORE 1855802.019
AT ITER 2985 NEW BEST:: SOT 24743741 SOS 18318490 HAS SOPS 18318490 HAS SOUS 1837445 HAS SOUPS 1837445 WITH SCORE 1855763.49
AT ITER 3023 NEW BEST:: SOT 24740203 SOS 18288408 HAS SOPS 18288408 HAS SOUS 1837436 HAS SOUPS 1837436 WITH SCORE 1855724.408
AT ITER 3094 NEW BEST:: SOT 24737857 SOS 18268454 HAS SOPS 18268454 HAS SOUS 1837423 HAS SOUPS 1837423 WITH SCORE 1855691.454
AT ITER 3098 NEW BEST:: SOT 24732323 SOS 18208455 HAS SOPS 18208455 HAS SOUS 1835743 HAS SOUPS 1835743 WITH SCORE 1853951.455
AT ITER 3132 NEW BEST:: SOT 24732360 SOS 18205591 HAS SOPS 18205591 HAS SOUS 1834076 HAS SOUPS 1834076 WITH SCORE 1852281.591
AT ITER 3135 NEW BEST:: SOT 24727638 SOS 18165454 HAS SOPS 18165454 HAS SOUS 1834076 HAS SOUPS 1834076 WITH SCORE 1852241.454
AT ITER 3187 NEW BEST:: SOT 24724399 SOS 18135492 HAS SOPS 18135492 HAS SOUS 1832763 HAS SOUPS 1832763 WITH SCORE 1850898.492
AT ITER 3200 NEW BEST:: SOT 24722221 SOS 18116973 HAS SOPS 18116973 HAS SOUS 1832757 HAS SOUPS 1832757 WITH SCORE 1850873.973
AT ITER 3221 NEW BEST:: SOT 24721267 SOS 18107449 HAS SOPS 18107449 HAS SOUS 1832347 HAS SOUPS 1832347 WITH SCORE 1850454.449
AT ITER 3238 NEW BEST:: SOT 24721267 SOS 18107125 HAS SOPS 18107125 HAS SOUS 1832023 HAS SOUPS 1832023 WITH SCORE 1850130.125
AT ITER 3245 NEW BEST:: SOT 24720857 SOS 18102693 HAS SOPS 18102693 HAS SOUS 1831871 HAS SOUPS 1831871 WITH SCORE 1849973.693
AT ITER 3246 NEW BEST:: SOT 24715821 SOS 18059876 HAS SOPS 18059876 HAS SOUS 1831860 HAS SOUPS 1831860 WITH SCORE 1849919.876
AT ITER 3277 NEW BEST:: SOT 24715188 SOS 18051312 HAS SOPS 18051312 HAS SOUS 1831754 HAS SOUPS 1831754 WITH SCORE 1849805.312
AT ITER 3309 NEW BEST:: SOT 24713318 SOS 18033833 HAS SOPS 18033833 HAS SOUS 1831070 HAS SOUPS 1831070 WITH SCORE 1849103.833
AT ITER 3332 NEW BEST:: SOT 24712298 SOS 18024653 HAS SOPS 18024653 HAS SOUS 1830560 HAS SOUPS 1830560 WITH SCORE 1848584.653
AT ITER 3338 NEW BEST:: SOT 24711462 SOS 18017253 HAS SOPS 18017253 HAS SOUS 1830266 HAS SOUPS 1830266 WITH SCORE 1848283.253
AT ITER 3348 NEW BEST:: SOT 24709290 SOS 17996420 HAS SOPS 17996420 HAS SOUS 1829590 HAS SOUPS 1829590 WITH SCORE 1847586.42
AT ITER 3367 NEW BEST:: SOT 24705340 SOS 17962830 HAS SOPS 17962830 HAS SOUS 1829573 HAS SOUPS 1829573 WITH SCORE 1847535.83
AT ITER 3371 NEW BEST:: SOT 24702382 SOS 17937677 HAS SOPS 17937677 HAS SOUS 1829563 HAS SOUPS 1829563 WITH SCORE 1847500.677
AT ITER 3377 NEW BEST:: SOT 24699980 SOS 17916059 HAS SOPS 17916059 HAS SOUS 1828362 HAS SOUPS 1828362 WITH SCORE 1846278.059
AT ITER 3386 NEW BEST:: SOT 24698092 SOS 17898131 HAS SOPS 17898131 HAS SOUS 1827502 HAS SOUPS 1827502 WITH SCORE 1845400.131
AT ITER 3406 NEW BEST:: SOT 24696910 SOS 17887493 HAS SOPS 17887493 HAS SOUS 1826911 HAS SOUPS 1826911 WITH SCORE 1844798.493
AT ITER 3410 NEW BEST:: SOT 24695098 SOS 17871185 HAS SOPS 17871185 HAS SOUS 1826005 HAS SOUPS 1826005 WITH SCORE 1843876.185
AT ITER 3433 NEW BEST:: SOT 24694120 SOS 17862871 HAS SOPS 17862871 HAS SOUS 1826004 HAS SOUPS 1826004 WITH SCORE 1843866.871
AT ITER 3470 NEW BEST:: SOT 24692720 SOS 17850271 HAS SOPS 17850271 HAS SOUS 1825304 HAS SOUPS 1825304 WITH SCORE 1843154.271
AT ITER 3474 NEW BEST:: SOT 24692877 SOS 17852746 HAS SOPS 17852746 HAS SOUS 1825267 HAS SOUPS 1825267 WITH SCORE 1843119.746
AT ITER 3492 NEW BEST:: SOT 24693035 SOS 17855116 HAS SOPS 17855116 HAS SOUS 1825109 HAS SOUPS 1825109 WITH SCORE 1842964.116
AT ITER 3495 NEW BEST:: SOT 24689698 SOS 17824477 HAS SOPS 17824477 HAS SOUS 1823757 HAS SOUPS 1823757 WITH SCORE 1841581.477
AT ITER 3525 NEW BEST:: SOT 24688422 SOS 17811682 HAS SOPS 17811682 HAS SOUS 1823488 HAS SOUPS 1823488 WITH SCORE 1841299.682
AT ITER 3543 NEW BEST:: SOT 24686324 SOS 17793843 HAS SOPS 17793843 HAS SOUS 1823482 HAS SOUPS 1823482 WITH SCORE 1841275.843
AT ITER 3585 NEW BEST:: SOT 24683699 SOS 17768718 HAS SOPS 17768718 HAS SOUS 1822447 HAS SOUPS 1822447 WITH SCORE 1840215.718
AT ITER 3624 NEW BEST:: SOT 24682801 SOS 17760006 HAS SOPS 17760006 HAS SOUS 1822043 HAS SOUPS 1822043 WITH SCORE 1839803.006
AT ITER 3640 NEW BEST:: SOT 24680909 SOS 17742978 HAS SOPS 17742978 HAS SOUS 1821097 HAS SOUPS 1821097 WITH SCORE 1838839.978
AT ITER 3649 NEW BEST:: SOT 24680283 SOS 17737344 HAS SOPS 17737344 HAS SOUS 1820784 HAS SOUPS 1820784 WITH SCORE 1838521.344
AT ITER 3699 NEW BEST:: SOT 24680324 SOS 17737959 HAS SOPS 17737959 HAS SOUS 1820743 HAS SOUPS 1820743 WITH SCORE 1838480.959
AT ITER 3702 NEW BEST:: SOT 24680324 SOS 17738024 HAS SOPS 17738024 HAS SOUS 1820738 HAS SOUPS 1820738 WITH SCORE 1838476.024
AT ITER 3736 NEW BEST:: SOT 24677258 SOS 17710430 HAS SOPS 17710430 HAS SOUS 1819205 HAS SOUPS 1819205 WITH SCORE 1836915.43
AT ITER 3738 NEW BEST:: SOT 24675026 SOS 17691453 HAS SOPS 17691453 HAS SOUS 1819200 HAS SOUPS 1819200 WITH SCORE 1836891.453
AT ITER 3768 NEW BEST:: SOT 24674694 SOS 17688465 HAS SOPS 17688465 HAS SOUS 1819034 HAS SOUPS 1819034 WITH SCORE 1836722.465
AT ITER 3774 NEW BEST:: SOT 24674197 SOS 17686989 HAS SOPS 17686989 HAS SOUS 1818055 HAS SOUPS 1818055 WITH SCORE 1835741.989
AT ITER 3775 NEW BEST:: SOT 24670807 SOS 17657117 HAS SOPS 17657117 HAS SOUS 1816998 HAS SOUPS 1816998 WITH SCORE 1834655.117
AT ITER 3792 NEW BEST:: SOT 24670195 SOS 17651912 HAS SOPS 17651912 HAS SOUS 1816995 HAS SOUPS 1816995 WITH SCORE 1834646.912
AT ITER 3805 NEW BEST:: SOT 24669070 SOS 17641206 HAS SOPS 17641206 HAS SOUS 1816474 HAS SOUPS 1816474 WITH SCORE 1834115.206
AT ITER 3818 NEW BEST:: SOT 24664044 SOS 17595972 HAS SOPS 17595972 HAS SOUS 1813961 HAS SOUPS 1813961 WITH SCORE 1831556.972
AT ITER 3838 NEW BEST:: SOT 24662730 SOS 17584801 HAS SOPS 17584801 HAS SOUS 1813959 HAS SOUPS 1813959 WITH SCORE 1831543.801
AT ITER 3842 NEW BEST:: SOT 24662668 SOS 17584243 HAS SOPS 17584243 HAS SOUS 1813928 HAS SOUPS 1813928 WITH SCORE 1831512.243
AT ITER 3851 NEW BEST:: SOT 24661194 SOS 17570258 HAS SOPS 17570258 HAS SOUS 1813537 HAS SOUPS 1813537 WITH SCORE 1831107.258
AT ITER 3889 NEW BEST:: SOT 24659434 SOS 17554451 HAS SOPS 17554451 HAS SOUS 1812690 HAS SOUPS 1812690 WITH SCORE 1830244.451
AT ITER 3900 NEW BEST:: SOT 24657496 SOS 17537009 HAS SOPS 17537009 HAS SOUS 1811721 HAS SOUPS 1811721 WITH SCORE 1829258.009
AT ITER 3902 NEW BEST:: SOT 24656482 SOS 17528388 HAS SOPS 17528388 HAS SOUS 1811719 HAS SOUPS 1811719 WITH SCORE 1829247.388
AT ITER 3923 NEW BEST:: SOT 24655605 SOS 17520152 HAS SOPS 17520152 HAS SOUS 1811305 HAS SOUPS 1811305 WITH SCORE 1828825.152
AT ITER 3942 NEW BEST:: SOT 24655605 SOS 17519396 HAS SOPS 17519396 HAS SOUS 1810549 HAS SOUPS 1810549 WITH SCORE 1828068.396
AT ITER 3943 NEW BEST:: SOT 24654941 SOS 17513420 HAS SOPS 17513420 HAS SOUS 1810217 HAS SOUPS 1810217 WITH SCORE 1827730.42
AT ITER 3950 NEW BEST:: SOT 24653431 SOS 17500576 HAS SOPS 17500576 HAS SOUS 1810208 HAS SOUPS 1810208 WITH SCORE 1827708.576
AT ITER 3980 NEW BEST:: SOT 24650729 SOS 17476283 HAS SOPS 17476283 HAS SOUS 1808882 HAS SOUPS 1808882 WITH SCORE 1826358.283
AT ITER 3988 NEW BEST:: SOT 24648869 SOS 17459543 HAS SOPS 17459543 HAS SOUS 1807952 HAS SOUPS 1807952 WITH SCORE 1825411.543
AT ITER 3998 NEW BEST:: SOT 24648655 SOS 17457617 HAS SOPS 17457617 HAS SOUS 1807845 HAS SOUPS 1807845 WITH SCORE 1825302.617
AT ITER 4046 NEW BEST:: SOT 24644814 SOS 17421898 HAS SOPS 17421898 HAS SOUS 1806387 HAS SOUPS 1806387 WITH SCORE 1823808.898
AT ITER 4106 NEW BEST:: SOT 24640524 SOS 17383288 HAS SOPS 17383288 HAS SOUS 1804242 HAS SOUPS 1804242 WITH SCORE 1821625.288
AT ITER 4107 NEW BEST:: SOT 24640725 SOS 17386303 HAS SOPS 17386303 HAS SOUS 1804041 HAS SOUPS 1804041 WITH SCORE 1821427.303
AT ITER 4113 NEW BEST:: SOT 24640725 SOS 17386297 HAS SOPS 17386297 HAS SOUS 1804035 HAS SOUPS 1804035 WITH SCORE 1821421.297
AT ITER 4142 NEW BEST:: SOT 24633189 SOS 17322234 HAS SOPS 17322234 HAS SOUS 1804028 HAS SOUPS 1804028 WITH SCORE 1821350.234
AT ITER 4165 NEW BEST:: SOT 24625873 SOS 17255969 HAS SOPS 17255969 HAS SOUS 1801967 HAS SOUPS 1801967 WITH SCORE 1819222.969
AT ITER 4181 NEW BEST:: SOT 24623467 SOS 17235507 HAS SOPS 17235507 HAS SOUS 1801956 HAS SOUPS 1801956 WITH SCORE 1819191.507
AT ITER 4190 NEW BEST:: SOT 24619927 SOS 17203647 HAS SOPS 17203647 HAS SOUS 1800186 HAS SOUPS 1800186 WITH SCORE 1817389.647
AT ITER 4209 NEW BEST:: SOT 24616156 SOS 17169105 HAS SOPS 17169105 HAS SOUS 1798620 HAS SOUPS 1798620 WITH SCORE 1815789.105
AT ITER 4214 NEW BEST:: SOT 24609399 SOS 17106815 HAS SOPS 17106815 HAS SOUS 1795345 HAS SOUPS 1795345 WITH SCORE 1812451.815
AT ITER 4219 NEW BEST:: SOT 24604675 SOS 17066658 HAS SOPS 17066658 HAS SOUS 1795342 HAS SOUPS 1795342 WITH SCORE 1812408.658
AT ITER 4240 NEW BEST:: SOT 24603103 SOS 17053294 HAS SOPS 17053294 HAS SOUS 1795340 HAS SOUPS 1795340 WITH SCORE 1812393.294
AT ITER 4244 NEW BEST:: SOT 24603082 SOS 17053235 HAS SOPS 17053235 HAS SOUS 1795302 HAS SOUPS 1795302 WITH SCORE 1812355.235
AT ITER 4264 NEW BEST:: SOT 24600258 SOS 17029222 HAS SOPS 17029222 HAS SOUS 1795293 HAS SOUPS 1795293 WITH SCORE 1812322.222
AT ITER 4311 NEW BEST:: SOT 24597850 SOS 17007550 HAS SOPS 17007550 HAS SOUS 1794089 HAS SOUPS 1794089 WITH SCORE 1811096.55
AT ITER 4401 NEW BEST:: SOT 24595914 SOS 16991093 HAS SOPS 16991093 HAS SOUS 1794088 HAS SOUPS 1794088 WITH SCORE 1811079.093
AT ITER 4423 NEW BEST:: SOT 24593018 SOS 16963741 HAS SOPS 16963741 HAS SOUS 1792732 HAS SOUPS 1792732 WITH SCORE 1809695.741
AT ITER 4433 NEW BEST:: SOT 24591095 SOS 16944962 HAS SOPS 16944962 HAS SOUS 1792211 HAS SOUPS 1792211 WITH SCORE 1809155.962
AT ITER 4449 NEW BEST:: SOT 24589699 SOS 16931855 HAS SOPS 16931855 HAS SOUS 1791840 HAS SOUPS 1791840 WITH SCORE 1808771.855
AT ITER 4469 NEW BEST:: SOT 24589699 SOS 16931218 HAS SOPS 16931218 HAS SOUS 1791203 HAS SOUPS 1791203 WITH SCORE 1808134.218
AT ITER 4486 NEW BEST:: SOT 24585893 SOS 16897005 HAS SOPS 16897005 HAS SOUS 1789341 HAS SOUPS 1789341 WITH SCORE 1806238.005
AT ITER 4498 NEW BEST:: SOT 24581367 SOS 16855492 HAS SOPS 16855492 HAS SOUS 1787319 HAS SOUPS 1787319 WITH SCORE 1804174.492
AT ITER 4552 NEW BEST:: SOT 24574431 SOS 16796525 HAS SOPS 16796525 HAS SOUS 1787308 HAS SOUPS 1787308 WITH SCORE 1804104.525
AT ITER 4558 NEW BEST:: SOT 24567651 SOS 16747545 HAS SOPS 16747545 HAS SOUS 1786422 HAS SOUPS 1786422 WITH SCORE 1803169.545
AT ITER 4566 NEW BEST:: SOT 24566255 SOS 16734759 HAS SOPS 16734759 HAS SOUS 1785832 HAS SOUPS 1785832 WITH SCORE 1802566.759
AT ITER 4579 NEW BEST:: SOT 24565289 SOS 16726065 HAS SOPS 16726065 HAS SOUS 1785349 HAS SOUPS 1785349 WITH SCORE 1802075.065
AT ITER 4582 NEW BEST:: SOT 24562311 SOS 16699263 HAS SOPS 16699263 HAS SOUS 1783860 HAS SOUPS 1783860 WITH SCORE 1800559.263
AT ITER 4622 NEW BEST:: SOT 24561809 SOS 16694745 HAS SOPS 16694745 HAS SOUS 1783609 HAS SOUPS 1783609 WITH SCORE 1800303.745
AT ITER 4648 NEW BEST:: SOT 24555535 SOS 16641408 HAS SOPS 16641408 HAS SOUS 1783601 HAS SOUPS 1783601 WITH SCORE 1800242.408
AT ITER 4674 NEW BEST:: SOT 24549919 SOS 16591873 HAS SOPS 16591873 HAS SOUS 1781802 HAS SOUPS 1781802 WITH SCORE 1798393.873
AT ITER 4692 NEW BEST:: SOT 24542999 SOS 16533053 HAS SOPS 16533053 HAS SOUS 1781802 HAS SOUPS 1781802 WITH SCORE 1798335.053
AT ITER 4784 NEW BEST:: SOT 24542083 SOS 16524809 HAS SOPS 16524809 HAS SOUS 1781342 HAS SOUPS 1781342 WITH SCORE 1797866.809
AT ITER 4845 NEW BEST:: SOT 24541495 SOS 16519811 HAS SOPS 16519811 HAS SOUS 1781342 HAS SOUPS 1781342 WITH SCORE 1797861.811
AT ITER 4879 NEW BEST:: SOT 24536739 SOS 16477618 HAS SOPS 16477618 HAS SOUS 1779575 HAS SOUPS 1779575 WITH SCORE 1796052.618
AT ITER 4913 NEW BEST:: SOT 24535677 SOS 16468586 HAS SOPS 16468586 HAS SOUS 1779570 HAS SOUPS 1779570 WITH SCORE 1796038.586
AT ITER 4917 NEW BEST:: SOT 24533739 SOS 16451144 HAS SOPS 16451144 HAS SOUS 1778601 HAS SOUPS 1778601 WITH SCORE 1795052.144
AT ITER 4932 NEW BEST:: SOT 24532605 SOS 16440938 HAS SOPS 16440938 HAS SOUS 1778034 HAS SOUPS 1778034 WITH SCORE 1794474.938
AT ITER 4942 NEW BEST:: SOT 24532161 SOS 16436942 HAS SOPS 16436942 HAS SOUS 1777812 HAS SOUPS 1777812 WITH SCORE 1794248.942
AT ITER 4975 NEW BEST:: SOT 24531053 SOS 16427483 HAS SOPS 16427483 HAS SOUS 1777799 HAS SOUPS 1777799 WITH SCORE 1794226.483
AT ITER 4981 NEW BEST:: SOT 24530988 SOS 16426443 HAS SOPS 16426443 HAS SOUS 1777799 HAS SOUPS 1777799 WITH SCORE 1794225.443
AT ITER 5014 NEW BEST:: SOT 24531025 SOS 16426998 HAS SOPS 16426998 HAS SOUS 1777762 HAS SOUPS 1777762 WITH SCORE 1794188.998
AT ITER 5042 NEW BEST:: SOT 24526721 SOS 16387400 HAS SOPS 16387400 HAS SOUS 1775946 HAS SOUPS 1775946 WITH SCORE 1792333.4
AT ITER 5054 NEW BEST:: SOT 24525725 SOS 16378436 HAS SOPS 16378436 HAS SOUS 1775448 HAS SOUPS 1775448 WITH SCORE 1791826.436
AT ITER 5092 NEW BEST:: SOT 24524732 SOS 16376450 HAS SOPS 16376450 HAS SOUS 1774453 HAS SOUPS 1774453 WITH SCORE 1790829.45
AT ITER 5098 NEW BEST:: SOT 24522944 SOS 16360358 HAS SOPS 16360358 HAS SOUS 1773559 HAS SOUPS 1773559 WITH SCORE 1789919.358
AT ITER 5194 NEW BEST:: SOT 24522720 SOS 16359906 HAS SOPS 16359906 HAS SOUS 1773338 HAS SOUPS 1773338 WITH SCORE 1789697.906
AT ITER 5220 NEW BEST:: SOT 24518610 SOS 16319948 HAS SOPS 16319948 HAS SOUS 1771514 HAS SOUPS 1771514 WITH SCORE 1787833.948
AT ITER 5229 NEW BEST:: SOT 24518234 SOS 16316564 HAS SOPS 16316564 HAS SOUS 1771326 HAS SOUPS 1771326 WITH SCORE 1787642.564
AT ITER 5259 NEW BEST:: SOT 24517082 SOS 16306761 HAS SOPS 16306761 HAS SOUS 1771315 HAS SOUPS 1771315 WITH SCORE 1787621.761
AT ITER 5299 NEW BEST:: SOT 24517000 SOS 16306023 HAS SOPS 16306023 HAS SOUS 1771274 HAS SOUPS 1771274 WITH SCORE 1787580.023
AT ITER 5318 NEW BEST:: SOT 24516036 SOS 16297819 HAS SOPS 16297819 HAS SOUS 1771264 HAS SOUPS 1771264 WITH SCORE 1787561.819
AT ITER 5329 NEW BEST:: SOT 24516624 SOS 16304059 HAS SOPS 16304059 HAS SOUS 1771231 HAS SOUPS 1771231 WITH SCORE 1787535.059
AT ITER 5351 NEW BEST:: SOT 24512402 SOS 16266061 HAS SOPS 16266061 HAS SOUS 1769120 HAS SOUPS 1769120 WITH SCORE 1785386.061
AT ITER 5359 NEW BEST:: SOT 24510344 SOS 16248562 HAS SOPS 16248562 HAS SOUS 1769114 HAS SOUPS 1769114 WITH SCORE 1785362.562
AT ITER 5360 NEW BEST:: SOT 24509953 SOS 16244799 HAS SOPS 16244799 HAS SOUS 1769072 HAS SOUPS 1769072 WITH SCORE 1785316.799
AT ITER 5385 NEW BEST:: SOT 24505735 SOS 16205352 HAS SOPS 16205352 HAS SOUS 1767383 HAS SOUPS 1767383 WITH SCORE 1783588.352
AT ITER 5424 NEW BEST:: SOT 24503575 SOS 16186980 HAS SOPS 16186980 HAS SOUS 1767371 HAS SOUPS 1767371 WITH SCORE 1783557.98
AT ITER 5437 NEW BEST:: SOT 24497701 SOS 16137038 HAS SOPS 16137038 HAS SOUS 1767358 HAS SOUPS 1767358 WITH SCORE 1783495.038
AT ITER 5438 NEW BEST:: SOT 24496840 SOS 16128697 HAS SOPS 16128697 HAS SOUS 1767018 HAS SOUPS 1767018 WITH SCORE 1783146.697
AT ITER 5448 NEW BEST:: SOT 24496755 SOS 16128398 HAS SOPS 16128398 HAS SOUS 1766804 HAS SOUPS 1766804 WITH SCORE 1782932.398
AT ITER 5452 NEW BEST:: SOT 24495665 SOS 16118637 HAS SOPS 16118637 HAS SOUS 1766308 HAS SOUPS 1766308 WITH SCORE 1782426.637
AT ITER 5457 NEW BEST:: SOT 24495612 SOS 16117797 HAS SOPS 16117797 HAS SOUS 1765521 HAS SOUPS 1765521 WITH SCORE 1781638.797
AT ITER 5565 NEW BEST:: SOT 24495256 SOS 16114593 HAS SOPS 16114593 HAS SOUS 1765343 HAS SOUPS 1765343 WITH SCORE 1781457.593
AT ITER 5570 NEW BEST:: SOT 24491418 SOS 16080183 HAS SOPS 16080183 HAS SOUS 1763556 HAS SOUPS 1763556 WITH SCORE 1779636.183
AT ITER 5683 NEW BEST:: SOT 24488391 SOS 16051853 HAS SOPS 16051853 HAS SOUS 1762133 HAS SOUPS 1762133 WITH SCORE 1778184.853
AT ITER 5710 NEW BEST:: SOT 24486419 SOS 16033876 HAS SOPS 16033876 HAS SOUS 1761293 HAS SOUPS 1761293 WITH SCORE 1777326.876
AT ITER 5726 NEW BEST:: SOT 24483779 SOS 16008756 HAS SOPS 16008756 HAS SOUS 1760278 HAS SOUPS 1760278 WITH SCORE 1776286.756
AT ITER 5729 NEW BEST:: SOT 24480235 SOS 15978631 HAS SOPS 15978631 HAS SOUS 1760277 HAS SOUPS 1760277 WITH SCORE 1776255.631
AT ITER 5769 NEW BEST:: SOT 24478307 SOS 15961279 HAS SOPS 15961279 HAS SOUS 1759313 HAS SOUPS 1759313 WITH SCORE 1775274.279
AT ITER 5773 NEW BEST:: SOT 24476875 SOS 15956983 HAS SOPS 15956983 HAS SOUS 1756449 HAS SOUPS 1756449 WITH SCORE 1772405.983
AT ITER 5783 NEW BEST:: SOT 24476875 SOS 15956256 HAS SOPS 15956256 HAS SOUS 1755722 HAS SOUPS 1755722 WITH SCORE 1771678.256
AT ITER 5785 NEW BEST:: SOT 24472600 SOS 15916710 HAS SOPS 15916710 HAS SOUS 1753661 HAS SOUPS 1753661 WITH SCORE 1769577.71
AT ITER 5810 NEW BEST:: SOT 24472468 SOS 15915522 HAS SOPS 15915522 HAS SOUS 1753595 HAS SOUPS 1753595 WITH SCORE 1769510.522
AT ITER 5817 NEW BEST:: SOT 24470534 SOS 15898116 HAS SOPS 15898116 HAS SOUS 1752628 HAS SOUPS 1752628 WITH SCORE 1768526.116
AT ITER 5833 NEW BEST:: SOT 24470534 SOS 15897903 HAS SOPS 15897903 HAS SOUS 1752415 HAS SOUPS 1752415 WITH SCORE 1768312.903
AT ITER 5886 NEW BEST:: SOT 24470304 SOS 15895833 HAS SOPS 15895833 HAS SOUS 1752300 HAS SOUPS 1752300 WITH SCORE 1768195.833
AT ITER 5918 NEW BEST:: SOT 24468402 SOS 15878715 HAS SOPS 15878715 HAS SOUS 1751349 HAS SOUPS 1751349 WITH SCORE 1767227.715
AT ITER 5936 NEW BEST:: SOT 24467518 SOS 15871200 HAS SOPS 15871200 HAS SOUS 1751348 HAS SOUPS 1751348 WITH SCORE 1767219.2
AT ITER 5940 NEW BEST:: SOT 24467233 SOS 15870642 HAS SOPS 15870642 HAS SOUS 1751075 HAS SOUPS 1751075 WITH SCORE 1766945.642
AT ITER 5969 NEW BEST:: SOT 24467233 SOS 15870642 HAS SOPS 15870642 HAS SOUS 1751073 HAS SOUPS 1751073 WITH SCORE 1766943.642
AT ITER 5977 NEW BEST:: SOT 24465221 SOS 15851667 HAS SOPS 15851667 HAS SOUS 1750415 HAS SOUPS 1750415 WITH SCORE 1766266.667
AT ITER 5983 NEW BEST:: SOT 24464104 SOS 15841469 HAS SOPS 15841469 HAS SOUS 1750124 HAS SOUPS 1750124 WITH SCORE 1765965.469
AT ITER 5986 NEW BEST:: SOT 24460029 SOS 15794742 HAS SOPS 15794742 HAS SOUS 1749890 HAS SOUPS 1749890 WITH SCORE 1765684.742
AT ITER 6016 NEW BEST:: SOT 24456987 SOS 15767364 HAS SOPS 15767364 HAS SOUS 1748369 HAS SOUPS 1748369 WITH SCORE 1764136.364
AT ITER 6091 NEW BEST:: SOT 24456315 SOS 15761316 HAS SOPS 15761316 HAS SOUS 1748033 HAS SOUPS 1748033 WITH SCORE 1763794.316
AT ITER 6100 NEW BEST:: SOT 24456315 SOS 15761106 HAS SOPS 15761106 HAS SOUS 1747817 HAS SOUPS 1747817 WITH SCORE 1763578.106
AT ITER 6124 NEW BEST:: SOT 24451163 SOS 15713664 HAS SOPS 15713664 HAS SOUS 1745635 HAS SOUPS 1745635 WITH SCORE 1761348.664
AT ITER 6125 NEW BEST:: SOT 24448444 SOS 15687228 HAS SOPS 15687228 HAS SOUS 1745618 HAS SOUPS 1745618 WITH SCORE 1761305.228
AT ITER 6145 NEW BEST:: SOT 24446501 SOS 15658174 HAS SOPS 15658174 HAS SOUS 1745552 HAS SOUPS 1745552 WITH SCORE 1761210.174
AT ITER 6182 NEW BEST:: SOT 24446501 SOS 15658132 HAS SOPS 15658132 HAS SOUS 1745510 HAS SOUPS 1745510 WITH SCORE 1761168.132
AT ITER 6210 NEW BEST:: SOT 24446161 SOS 15655072 HAS SOPS 15655072 HAS SOUS 1745340 HAS SOUPS 1745340 WITH SCORE 1760995.072
AT ITER 6214 NEW BEST:: SOT 24446161 SOS 15654434 HAS SOPS 15654434 HAS SOUS 1744702 HAS SOUPS 1744702 WITH SCORE 1760356.434
AT ITER 6265 NEW BEST:: SOT 24445601 SOS 15649394 HAS SOPS 15649394 HAS SOUS 1744420 HAS SOUPS 1744420 WITH SCORE 1760069.394
AT ITER 6282 NEW BEST:: SOT 24445493 SOS 15649070 HAS SOPS 15649070 HAS SOUS 1744204 HAS SOUPS 1744204 WITH SCORE 1759853.07
AT ITER 6284 NEW BEST:: SOT 24443469 SOS 15630112 HAS SOPS 15630112 HAS SOUS 1743245 HAS SOUPS 1743245 WITH SCORE 1758875.112
AT ITER 6287 NEW BEST:: SOT 24441230 SOS 15598516 HAS SOPS 15598516 HAS SOUS 1743260 HAS SOUPS 1743260 WITH SCORE 1758858.516
AT ITER 6302 NEW BEST:: SOT 24440482 SOS 15591784 HAS SOPS 15591784 HAS SOUS 1742886 HAS SOUPS 1742886 WITH SCORE 1758477.784
AT ITER 6304 NEW BEST:: SOT 24439131 SOS 15573443 HAS SOPS 15573443 HAS SOUS 1742031 HAS SOUPS 1742031 WITH SCORE 1757604.443
AT ITER 6316 NEW BEST:: SOT 24439142 SOS 15573608 HAS SOPS 15573608 HAS SOUS 1742020 HAS SOUPS 1742020 WITH SCORE 1757593.608
AT ITER 6338 NEW BEST:: SOT 24438320 SOS 15566210 HAS SOPS 15566210 HAS SOUS 1741609 HAS SOUPS 1741609 WITH SCORE 1757175.21
AT ITER 6340 NEW BEST:: SOT 24438320 SOS 15565088 HAS SOPS 15565088 HAS SOUS 1740487 HAS SOUPS 1740487 WITH SCORE 1756052.088
AT ITER 6345 NEW BEST:: SOT 24436179 SOS 15544997 HAS SOPS 15544997 HAS SOUS 1739755 HAS SOUPS 1739755 WITH SCORE 1755299.997
AT ITER 6351 NEW BEST:: SOT 24436133 SOS 15544597 HAS SOPS 15544597 HAS SOUS 1739746 HAS SOUPS 1739746 WITH SCORE 1755290.597
AT ITER 6377 NEW BEST:: SOT 24435683 SOS 15538965 HAS SOPS 15538965 HAS SOUS 1739634 HAS SOUPS 1739634 WITH SCORE 1755172.965
AT ITER 6380 NEW BEST:: SOT 24435224 SOS 15531943 HAS SOPS 15531943 HAS SOUS 1739572 HAS SOUPS 1739572 WITH SCORE 1755103.943
AT ITER 6414 NEW BEST:: SOT 24434930 SOS 15520365 HAS SOPS 15520365 HAS SOUS 1738787 HAS SOUPS 1738787 WITH SCORE 1754307.365
AT ITER 6509 NEW BEST:: SOT 24434000 SOS 15512450 HAS SOPS 15512450 HAS SOUS 1738777 HAS SOUPS 1738777 WITH SCORE 1754289.45
AT ITER 6522 NEW BEST:: SOT 24432996 SOS 15503901 HAS SOPS 15503901 HAS SOUS 1738760 HAS SOUPS 1738760 WITH SCORE 1754263.901
AT ITER 6540 NEW BEST:: SOT 24432512 SOS 15499545 HAS SOPS 15499545 HAS SOUS 1738518 HAS SOUPS 1738518 WITH SCORE 1754017.545
AT ITER 6543 NEW BEST:: SOT 24432152 SOS 15496473 HAS SOPS 15496473 HAS SOUS 1738506 HAS SOUPS 1738506 WITH SCORE 1754002.473
AT ITER 6581 NEW BEST:: SOT 24432152 SOS 15495689 HAS SOPS 15495689 HAS SOUS 1737722 HAS SOUPS 1737722 WITH SCORE 1753217.689
AT ITER 6605 NEW BEST:: SOT 24431499 SOS 15489818 HAS SOPS 15489818 HAS SOUS 1737484 HAS SOUPS 1737484 WITH SCORE 1752973.818
AT ITER 6637 NEW BEST:: SOT 24429962 SOS 15467508 HAS SOPS 15467508 HAS SOUS 1737321 HAS SOUPS 1737321 WITH SCORE 1752788.508
AT ITER 6647 NEW BEST:: SOT 24428648 SOS 15455682 HAS SOPS 15455682 HAS SOUS 1736664 HAS SOUPS 1736664 WITH SCORE 1752119.682
AT ITER 6649 NEW BEST:: SOT 24427710 SOS 15453806 HAS SOPS 15453806 HAS SOUS 1736186 HAS SOUPS 1736186 WITH SCORE 1751639.806
AT ITER 6655 NEW BEST:: SOT 24427346 SOS 15450706 HAS SOPS 15450706 HAS SOUS 1736180 HAS SOUPS 1736180 WITH SCORE 1751630.706
AT ITER 6667 NEW BEST:: SOT 24427186 SOS 15449266 HAS SOPS 15449266 HAS SOUS 1736100 HAS SOUPS 1736100 WITH SCORE 1751549.266
AT ITER 6677 NEW BEST:: SOT 24427131 SOS 15450482 HAS SOPS 15450482 HAS SOUS 1735841 HAS SOUPS 1735841 WITH SCORE 1751291.482
AT ITER 6693 NEW BEST:: SOT 24425330 SOS 15416016 HAS SOPS 15416016 HAS SOUS 1735827 HAS SOUPS 1735827 WITH SCORE 1751243.016
AT ITER 6727 NEW BEST:: SOT 24418331 SOS 15351898 HAS SOPS 15351898 HAS SOUS 1732408 HAS SOUPS 1732408 WITH SCORE 1747759.898
AT ITER 6745 NEW BEST:: SOT 24416339 SOS 15333970 HAS SOPS 15333970 HAS SOUS 1731412 HAS SOUPS 1731412 WITH SCORE 1746745.97
AT ITER 6810 NEW BEST:: SOT 24415805 SOS 15332902 HAS SOPS 15332902 HAS SOUS 1730878 HAS SOUPS 1730878 WITH SCORE 1746210.902
AT ITER 6894 NEW BEST:: SOT 24415208 SOS 15325268 HAS SOPS 15325268 HAS SOUS 1730741 HAS SOUPS 1730741 WITH SCORE 1746066.268
AT ITER 6895 NEW BEST:: SOT 24415208 SOS 15325091 HAS SOPS 15325091 HAS SOUS 1730722 HAS SOUPS 1730722 WITH SCORE 1746047.091
AT ITER 6898 NEW BEST:: SOT 24414450 SOS 15310723 HAS SOPS 15310723 HAS SOUS 1730546 HAS SOUPS 1730546 WITH SCORE 1745856.723
AT ITER 6900 NEW BEST:: SOT 24414450 SOS 15310330 HAS SOPS 15310330 HAS SOUS 1730153 HAS SOUPS 1730153 WITH SCORE 1745463.33
AT ITER 6988 NEW BEST:: SOT 24413838 SOS 15304822 HAS SOPS 15304822 HAS SOUS 1729847 HAS SOUPS 1729847 WITH SCORE 1745151.822
AT ITER 6996 NEW BEST:: SOT 24413838 SOS 15304810 HAS SOPS 15304810 HAS SOUS 1729835 HAS SOUPS 1729835 WITH SCORE 1745139.81
AT ITER 7050 NEW BEST:: SOT 24412256 SOS 15288268 HAS SOPS 15288268 HAS SOUS 1729290 HAS SOUPS 1729290 WITH SCORE 1744578.268
AT ITER 7059 NEW BEST:: SOT 24412169 SOS 15288151 HAS SOPS 15288151 HAS SOUS 1729260 HAS SOUPS 1729260 WITH SCORE 1744548.151
AT ITER 7076 NEW BEST:: SOT 24411504 SOS 15286411 HAS SOPS 15286411 HAS SOUS 1728185 HAS SOUPS 1728185 WITH SCORE 1743471.411
AT ITER 7083 NEW BEST:: SOT 24408608 SOS 15252115 HAS SOPS 15252115 HAS SOUS 1727391 HAS SOUPS 1727391 WITH SCORE 1742643.115
AT ITER 7129 NEW BEST:: SOT 24408422 SOS 15250467 HAS SOPS 15250467 HAS SOUS 1727354 HAS SOUPS 1727354 WITH SCORE 1742604.467
AT ITER 7148 NEW BEST:: SOT 24407404 SOS 15241305 HAS SOPS 15241305 HAS SOUS 1726845 HAS SOUPS 1726845 WITH SCORE 1742086.305
AT ITER 7170 NEW BEST:: SOT 24406066 SOS 15229263 HAS SOPS 15229263 HAS SOUS 1726176 HAS SOUPS 1726176 WITH SCORE 1741405.263
AT ITER 7180 NEW BEST:: SOT 24404970 SOS 15219938 HAS SOPS 15219938 HAS SOUS 1726167 HAS SOUPS 1726167 WITH SCORE 1741386.938
AT ITER 7193 NEW BEST:: SOT 24402768 SOS 15200149 HAS SOPS 15200149 HAS SOUS 1725095 HAS SOUPS 1725095 WITH SCORE 1740295.149
AT ITER 7257 NEW BEST:: SOT 24402761 SOS 15200037 HAS SOPS 15200037 HAS SOUS 1725095 HAS SOUPS 1725095 WITH SCORE 1740295.037
AT ITER 7276 NEW BEST:: SOT 24402393 SOS 15196907 HAS SOPS 15196907 HAS SOUS 1725093 HAS SOUPS 1725093 WITH SCORE 1740289.907
AT ITER 7318 NEW BEST:: SOT 24397617 SOS 15149477 HAS SOPS 15149477 HAS SOUS 1723404 HAS SOUPS 1723404 WITH SCORE 1738553.477
AT ITER 7320 NEW BEST:: SOT 24397011 SOS 15144321 HAS SOPS 15144321 HAS SOUS 1723399 HAS SOUPS 1723399 WITH SCORE 1738543.321
AT ITER 7362 NEW BEST:: SOT 24397054 SOS 15144966 HAS SOPS 15144966 HAS SOUS 1723356 HAS SOUPS 1723356 WITH SCORE 1738500.966
AT ITER 7394 NEW BEST:: SOT 24396304 SOS 15138589 HAS SOPS 15138589 HAS SOUS 1723354 HAS SOUPS 1723354 WITH SCORE 1738492.589
AT ITER 7399 NEW BEST:: SOT 24395958 SOS 15133053 HAS SOPS 15133053 HAS SOUS 1723008 HAS SOUPS 1723008 WITH SCORE 1738141.053
AT ITER 7406 NEW BEST:: SOT 24393006 SOS 15106485 HAS SOPS 15106485 HAS SOUS 1721532 HAS SOUPS 1721532 WITH SCORE 1736638.485
AT ITER 7456 NEW BEST:: SOT 24391167 SOS 15080553 HAS SOPS 15080553 HAS SOUS 1720842 HAS SOUPS 1720842 WITH SCORE 1735922.553
AT ITER 7482 NEW BEST:: SOT 24389991 SOS 15078201 HAS SOPS 15078201 HAS SOUS 1719600 HAS SOUPS 1719600 WITH SCORE 1734678.201
AT ITER 7523 NEW BEST:: SOT 24387895 SOS 15059337 HAS SOPS 15059337 HAS SOUS 1718552 HAS SOUPS 1718552 WITH SCORE 1733611.337
AT ITER 7527 NEW BEST:: SOT 24386245 SOS 15044487 HAS SOPS 15044487 HAS SOUS 1717727 HAS SOUPS 1717727 WITH SCORE 1732771.487
AT ITER 7548 NEW BEST:: SOT 24385441 SOS 15037251 HAS SOPS 15037251 HAS SOUS 1717325 HAS SOUPS 1717325 WITH SCORE 1732362.251
AT ITER 7590 NEW BEST:: SOT 24385441 SOS 15037251 HAS SOPS 15037251 HAS SOUS 1717323 HAS SOUPS 1717323 WITH SCORE 1732360.251
AT ITER 7594 NEW BEST:: SOT 24382761 SOS 15013131 HAS SOPS 15013131 HAS SOUS 1715983 HAS SOUPS 1715983 WITH SCORE 1730996.131
AT ITER 7621 NEW BEST:: SOT 24380892 SOS 14984345 HAS SOPS 14984345 HAS SOUS 1715916 HAS SOUPS 1715916 WITH SCORE 1730900.345
AT ITER 7631 NEW BEST:: SOT 24380892 SOS 14984343 HAS SOPS 14984343 HAS SOUS 1715914 HAS SOUPS 1715914 WITH SCORE 1730898.343
AT ITER 7658 NEW BEST:: SOT 24379028 SOS 14967567 HAS SOPS 14967567 HAS SOUS 1714982 HAS SOUPS 1714982 WITH SCORE 1729949.567
AT ITER 7677 NEW BEST:: SOT 24377096 SOS 14950179 HAS SOPS 14950179 HAS SOUS 1714016 HAS SOUPS 1714016 WITH SCORE 1728966.179
AT ITER 7742 NEW BEST:: SOT 24375636 SOS 14937039 HAS SOPS 14937039 HAS SOUS 1713286 HAS SOUPS 1713286 WITH SCORE 1728223.039
AT ITER 7777 NEW BEST:: SOT 24375636 SOS 14936846 HAS SOPS 14936846 HAS SOUS 1713093 HAS SOUPS 1713093 WITH SCORE 1728029.846
AT ITER 7817 NEW BEST:: SOT 24375634 SOS 14936828 HAS SOPS 14936828 HAS SOUS 1713092 HAS SOUPS 1713092 WITH SCORE 1728028.828
AT ITER 7841 NEW BEST:: SOT 24375634 SOS 14936735 HAS SOPS 14936735 HAS SOUS 1712999 HAS SOUPS 1712999 WITH SCORE 1727935.735
AT ITER 7845 NEW BEST:: SOT 24375382 SOS 14934467 HAS SOPS 14934467 HAS SOUS 1712873 HAS SOUPS 1712873 WITH SCORE 1727807.467
AT ITER 7859 NEW BEST:: SOT 24375382 SOS 14934761 HAS SOPS 14934761 HAS SOUS 1712852 HAS SOUPS 1712852 WITH SCORE 1727786.761
AT ITER 7871 NEW BEST:: SOT 24374895 SOS 14930329 HAS SOPS 14930329 HAS SOUS 1712627 HAS SOUPS 1712627 WITH SCORE 1727557.329
AT ITER 7909 NEW BEST:: SOT 24374997 SOS 14931911 HAS SOPS 14931911 HAS SOUS 1712517 HAS SOUPS 1712517 WITH SCORE 1727448.911
AT ITER 7913 NEW BEST:: SOT 24374371 SOS 14926277 HAS SOPS 14926277 HAS SOUS 1712204 HAS SOUPS 1712204 WITH SCORE 1727130.277
AT ITER 7935 NEW BEST:: SOT 24372041 SOS 14904019 HAS SOPS 14904019 HAS SOUS 1711131 HAS SOUPS 1711131 WITH SCORE 1726035.019
AT ITER 7983 NEW BEST:: SOT 24371990 SOS 14904631 HAS SOPS 14904631 HAS SOUS 1711029 HAS SOUPS 1711029 WITH SCORE 1725933.631
AT ITER 8008 NEW BEST:: SOT 24370743 SOS 14891399 HAS SOPS 14891399 HAS SOUS 1710549 HAS SOUPS 1710549 WITH SCORE 1725440.399
AT ITER 8022 NEW BEST:: SOT 24369681 SOS 14882367 HAS SOPS 14882367 HAS SOUS 1710544 HAS SOUPS 1710544 WITH SCORE 1725426.367
AT ITER 8037 NEW BEST:: SOT 24369680 SOS 14882279 HAS SOPS 14882279 HAS SOUS 1710457 HAS SOUPS 1710457 WITH SCORE 1725339.279
AT ITER 8089 NEW BEST:: SOT 24369589 SOS 14882090 HAS SOPS 14882090 HAS SOUS 1710353 HAS SOUPS 1710353 WITH SCORE 1725235.09
AT ITER 8099 NEW BEST:: SOT 24369572 SOS 14882015 HAS SOPS 14882015 HAS SOUS 1710295 HAS SOUPS 1710295 WITH SCORE 1725177.015
AT ITER 8102 NEW BEST:: SOT 24369572 SOS 14882015 HAS SOPS 14882015 HAS SOUS 1710293 HAS SOUPS 1710293 WITH SCORE 1725175.015
AT ITER 8105 NEW BEST:: SOT 24368823 SOS 14874375 HAS SOPS 14874375 HAS SOUS 1710242 HAS SOUPS 1710242 WITH SCORE 1725116.375
AT ITER 8108 NEW BEST:: SOT 24362723 SOS 14819475 HAS SOPS 14819475 HAS SOUS 1707192 HAS SOUPS 1707192 WITH SCORE 1722011.475
AT ITER 8122 NEW BEST:: SOT 24360928 SOS 14791175 HAS SOPS 14791175 HAS SOUS 1707162 HAS SOUPS 1707162 WITH SCORE 1721953.175
AT ITER 8137 NEW BEST:: SOT 24358766 SOS 14771353 HAS SOPS 14771353 HAS SOUS 1706107 HAS SOUPS 1706107 WITH SCORE 1720878.353
AT ITER 8163 NEW BEST:: SOT 24358022 SOS 14764871 HAS SOPS 14764871 HAS SOUS 1705949 HAS SOUPS 1705949 WITH SCORE 1720713.871
AT ITER 8350 NEW BEST:: SOT 24351460 SOS 14709086 HAS SOPS 14709086 HAS SOUS 1705941 HAS SOUPS 1705941 WITH SCORE 1720650.086
AT ITER 8364 NEW BEST:: SOT 24350234 SOS 14698052 HAS SOPS 14698052 HAS SOUS 1705328 HAS SOUPS 1705328 WITH SCORE 1720026.052
AT ITER 8365 NEW BEST:: SOT 24349909 SOS 14693524 HAS SOPS 14693524 HAS SOUS 1705280 HAS SOUPS 1705280 WITH SCORE 1719973.524
AT ITER 8436 NEW BEST:: SOT 24349893 SOS 14693388 HAS SOPS 14693388 HAS SOUS 1705280 HAS SOUPS 1705280 WITH SCORE 1719973.388
AT ITER 8469 NEW BEST:: SOT 24347147 SOS 14668674 HAS SOPS 14668674 HAS SOUS 1703907 HAS SOUPS 1703907 WITH SCORE 1718575.674
AT ITER 8480 NEW BEST:: SOT 24344014 SOS 14617317 HAS SOPS 14617317 HAS SOUS 1703272 HAS SOUPS 1703272 WITH SCORE 1717889.317
AT ITER 8523 NEW BEST:: SOT 24339311 SOS 14573863 HAS SOPS 14573863 HAS SOUS 1701001 HAS SOUPS 1701001 WITH SCORE 1715574.863
AT ITER 8536 NEW BEST:: SOT 24337499 SOS 14557569 HAS SOPS 14557569 HAS SOUS 1700107 HAS SOUPS 1700107 WITH SCORE 1714664.569
AT ITER 8593 NEW BEST:: SOT 24335142 SOS 14534655 HAS SOPS 14534655 HAS SOUS 1699050 HAS SOUPS 1699050 WITH SCORE 1713584.655
AT ITER 8624 NEW BEST:: SOT 24334611 SOS 14533593 HAS SOPS 14533593 HAS SOUS 1698556 HAS SOUPS 1698556 WITH SCORE 1713089.593
AT ITER 8631 NEW BEST:: SOT 24332731 SOS 14505263 HAS SOPS 14505263 HAS SOUS 1698429 HAS SOUPS 1698429 WITH SCORE 1712934.263
AT ITER 8642 NEW BEST:: SOT 24332731 SOS 14504951 HAS SOPS 14504951 HAS SOUS 1698117 HAS SOUPS 1698117 WITH SCORE 1712621.951
AT ITER 8677 NEW BEST:: SOT 24331663 SOS 14494461 HAS SOPS 14494461 HAS SOUS 1697740 HAS SOUPS 1697740 WITH SCORE 1712234.461
AT ITER 8714 NEW BEST:: SOT 24331554 SOS 14494243 HAS SOPS 14494243 HAS SOUS 1697631 HAS SOUPS 1697631 WITH SCORE 1712125.243
AT ITER 8716 NEW BEST:: SOT 24329744 SOS 14478851 HAS SOPS 14478851 HAS SOUS 1697624 HAS SOUPS 1697624 WITH SCORE 1712102.851
AT ITER 8773 NEW BEST:: SOT 24329744 SOS 14478815 HAS SOPS 14478815 HAS SOUS 1697588 HAS SOUPS 1697588 WITH SCORE 1712066.815
AT ITER 8779 NEW BEST:: SOT 24326846 SOS 14441309 HAS SOPS 14441309 HAS SOUS 1696955 HAS SOUPS 1696955 WITH SCORE 1711396.309
AT ITER 8796 NEW BEST:: SOT 24326332 SOS 14436683 HAS SOPS 14436683 HAS SOUS 1696698 HAS SOUPS 1696698 WITH SCORE 1711134.683
AT ITER 8887 NEW BEST:: SOT 24326202 SOS 14435513 HAS SOPS 14435513 HAS SOUS 1696633 HAS SOUPS 1696633 WITH SCORE 1711068.513
AT ITER 8899 NEW BEST:: SOT 24324036 SOS 14416875 HAS SOPS 14416875 HAS SOUS 1696406 HAS SOUPS 1696406 WITH SCORE 1710822.875
AT ITER 8912 NEW BEST:: SOT 24319591 SOS 14373655 HAS SOPS 14373655 HAS SOUS 1695672 HAS SOUPS 1695672 WITH SCORE 1710045.655
AT ITER 8965 NEW BEST:: SOT 24319265 SOS 14370721 HAS SOPS 14370721 HAS SOUS 1695509 HAS SOUPS 1695509 WITH SCORE 1709879.721
AT ITER 8991 NEW BEST:: SOT 24315610 SOS 14324309 HAS SOPS 14324309 HAS SOUS 1694749 HAS SOUPS 1694749 WITH SCORE 1709073.309
AT ITER 9019 NEW BEST:: SOT 24315529 SOS 14321795 HAS SOPS 14321795 HAS SOUS 1694581 HAS SOUPS 1694581 WITH SCORE 1708902.795
AT ITER 9020 NEW BEST:: SOT 24315329 SOS 14320062 HAS SOPS 14320062 HAS SOUS 1694578 HAS SOUPS 1694578 WITH SCORE 1708898.062
AT ITER 9035 NEW BEST:: SOT 24315329 SOS 14319759 HAS SOPS 14319759 HAS SOUS 1694275 HAS SOUPS 1694275 WITH SCORE 1708594.759
AT ITER 9056 NEW BEST:: SOT 24312898 SOS 14296778 HAS SOPS 14296778 HAS SOUS 1694080 HAS SOUPS 1694080 WITH SCORE 1708376.778
AT ITER 9109 NEW BEST:: SOT 24312768 SOS 14296518 HAS SOPS 14296518 HAS SOUS 1693950 HAS SOUPS 1693950 WITH SCORE 1708246.518
AT ITER 9110 NEW BEST:: SOT 24312262 SOS 14291964 HAS SOPS 14291964 HAS SOUS 1693697 HAS SOUPS 1693697 WITH SCORE 1707988.964
AT ITER 9112 NEW BEST:: SOT 24308118 SOS 14254668 HAS SOPS 14254668 HAS SOUS 1691625 HAS SOUPS 1691625 WITH SCORE 1705879.668
AT ITER 9120 NEW BEST:: SOT 24308348 SOS 14258116 HAS SOPS 14258116 HAS SOUS 1691528 HAS SOUPS 1691528 WITH SCORE 1705786.116
AT ITER 9154 NEW BEST:: SOT 24305208 SOS 14229212 HAS SOPS 14229212 HAS SOUS 1690662 HAS SOUPS 1690662 WITH SCORE 1704891.212
AT ITER 9158 NEW BEST:: SOT 24305208 SOS 14229204 HAS SOPS 14229204 HAS SOUS 1690654 HAS SOUPS 1690654 WITH SCORE 1704883.204
AT ITER 9165 NEW BEST:: SOT 24303906 SOS 14217486 HAS SOPS 14217486 HAS SOUS 1690003 HAS SOUPS 1690003 WITH SCORE 1704220.486
AT ITER 9193 NEW BEST:: SOT 24303594 SOS 14218990 HAS SOPS 14218990 HAS SOUS 1689794 HAS SOUPS 1689794 WITH SCORE 1704012.99
AT ITER 9202 NEW BEST:: SOT 24301058 SOS 14196166 HAS SOPS 14196166 HAS SOUS 1688526 HAS SOUPS 1688526 WITH SCORE 1702722.166
AT ITER 9211 NEW BEST:: SOT 24300638 SOS 14189446 HAS SOPS 14189446 HAS SOUS 1688526 HAS SOUPS 1688526 WITH SCORE 1702715.446
AT ITER 9268 NEW BEST:: SOT 24296074 SOS 14132490 HAS SOPS 14132490 HAS SOUS 1687402 HAS SOUPS 1687402 WITH SCORE 1701534.49
AT ITER 9390 NEW BEST:: SOT 24295060 SOS 14143020 HAS SOPS 14143020 HAS SOUS 1687099 HAS SOUPS 1687099 WITH SCORE 1701242.02
AT ITER 9407 NEW BEST:: SOT 24295012 SOS 14142924 HAS SOPS 14142924 HAS SOUS 1687051 HAS SOUPS 1687051 WITH SCORE 1701193.924
AT ITER 9430 NEW BEST:: SOT 24294751 SOS 14129256 HAS SOPS 14129256 HAS SOUS 1687051 HAS SOUPS 1687051 WITH SCORE 1701180.256
AT ITER 9436 NEW BEST:: SOT 24293249 SOS 14127644 HAS SOPS 14127644 HAS SOUS 1686941 HAS SOUPS 1686941 WITH SCORE 1701068.644
AT ITER 9446 NEW BEST:: SOT 24292018 SOS 14115658 HAS SOPS 14115658 HAS SOUS 1686611 HAS SOUPS 1686611 WITH SCORE 1700726.658
AT ITER 9449 NEW BEST:: SOT 24291522 SOS 14109233 HAS SOPS 14109233 HAS SOUS 1686560 HAS SOUPS 1686560 WITH SCORE 1700669.233
AT ITER 9491 NEW BEST:: SOT 24291466 SOS 14109121 HAS SOPS 14109121 HAS SOUS 1686504 HAS SOUPS 1686504 WITH SCORE 1700613.121
AT ITER 9515 NEW BEST:: SOT 24290452 SOS 14100495 HAS SOPS 14100495 HAS SOUS 1686497 HAS SOUPS 1686497 WITH SCORE 1700597.495
AT ITER 9533 NEW BEST:: SOT 24290322 SOS 14099325 HAS SOPS 14099325 HAS SOUS 1686432 HAS SOUPS 1686432 WITH SCORE 1700531.325
AT ITER 9549 NEW BEST:: SOT 24290251 SOS 14098998 HAS SOPS 14098998 HAS SOUS 1686176 HAS SOUPS 1686176 WITH SCORE 1700274.998
AT ITER 9580 NEW BEST:: SOT 24290109 SOS 14097790 HAS SOPS 14097790 HAS SOUS 1686175 HAS SOUPS 1686175 WITH SCORE 1700272.79
AT ITER 9696 NEW BEST:: SOT 24289805 SOS 14094820 HAS SOPS 14094820 HAS SOUS 1686044 HAS SOUPS 1686044 WITH SCORE 1700138.82
AT ITER 9709 NEW BEST:: SOT 24289780 SOS 14096695 HAS SOPS 14096695 HAS SOUS 1685859 HAS SOUPS 1685859 WITH SCORE 1699955.695
AT ITER 9724 NEW BEST:: SOT 24289604 SOS 14095111 HAS SOPS 14095111 HAS SOUS 1685771 HAS SOUPS 1685771 WITH SCORE 1699866.111
AT ITER 9730 NEW BEST:: SOT 24289604 SOS 14094945 HAS SOPS 14094945 HAS SOUS 1685605 HAS SOUPS 1685605 WITH SCORE 1699699.945
AT ITER 9743 NEW BEST:: SOT 24286369 SOS 14088038 HAS SOPS 14088038 HAS SOUS 1683124 HAS SOUPS 1683124 WITH SCORE 1697212.038
AT ITER 9752 NEW BEST:: SOT 24284816 SOS 14084932 HAS SOPS 14084932 HAS SOUS 1682094 HAS SOUPS 1682094 WITH SCORE 1696178.932
AT ITER 9795 NEW BEST:: SOT 24284203 SOS 14075768 HAS SOPS 14075768 HAS SOUS 1682048 HAS SOUPS 1682048 WITH SCORE 1696123.768
AT ITER 9804 NEW BEST:: SOT 24284211 SOS 14075888 HAS SOPS 14075888 HAS SOUS 1682040 HAS SOUPS 1682040 WITH SCORE 1696115.888
AT ITER 9824 NEW BEST:: SOT 24283127 SOS 14065516 HAS SOPS 14065516 HAS SOUS 1681542 HAS SOUPS 1681542 WITH SCORE 1695607.516
AT ITER 9832 NEW BEST:: SOT 24278705 SOS 14027924 HAS SOPS 14027924 HAS SOUS 1681537 HAS SOUPS 1681537 WITH SCORE 1695564.924
AT ITER 9878 NEW BEST:: SOT 24277959 SOS 14021210 HAS SOPS 14021210 HAS SOUS 1681156 HAS SOUPS 1681156 WITH SCORE 1695177.21
AT ITER 9907 NEW BEST:: SOT 24275856 SOS 14001163 HAS SOPS 14001163 HAS SOUS 1680642 HAS SOUPS 1680642 WITH SCORE 1694643.163
AT ITER 9913 NEW BEST:: SOT 24276488 SOS 13983597 HAS SOPS 13983597 HAS SOUS 1680641 HAS SOUPS 1680641 WITH SCORE 1694624.597
AT ITER 9939 NEW BEST:: SOT 24276488 SOS 13983547 HAS SOPS 13983547 HAS SOUS 1680591 HAS SOUPS 1680591 WITH SCORE 1694574.547
AT ITER 9952 NEW BEST:: SOT 24276268 SOS 13974805 HAS SOPS 13974805 HAS SOUS 1680528 HAS SOUPS 1680528 WITH SCORE 1694502.805
AT ITER 9970 NEW BEST:: SOT 24274165 SOS 13955698 HAS SOPS 13955698 HAS SOUS 1679649 HAS SOUPS 1679649 WITH SCORE 1693604.698
AT ITER 9995 NEW BEST:: SOT 24274222 SOS 13954874 HAS SOPS 13954874 HAS SOUS 1679649 HAS SOUPS 1679649 WITH SCORE 1693603.874
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 3632336 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16148584 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r483-tall-167912696901352"
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 ;