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.r491-tall-167912711701352.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 smartxred
Input is ViralEpidemic-PT-S16D2C4A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711701352
=====================================================================

--------------------
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 1679337807563

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S16D2C4A02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 18:43:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 18:43:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 18:43:29] [INFO ] Load time of PNML (sax parser for PT used): 242 ms
[2023-03-20 18:43:29] [INFO ] Transformed 4915 places.
[2023-03-20 18:43:30] [INFO ] Transformed 9009 transitions.
[2023-03-20 18:43:30] [INFO ] Parsed PT model containing 4915 places and 9009 transitions and 22113 arcs in 404 ms.
[2023-03-20 18:43:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4915 places, 9009 transitions and 22113 arcs took 105 ms.
Total runtime 551 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 21899927 HAS SOPS 21899927 HAS SOUS 1953420 HAS SOUPS 1953420 WITH SCORE 1975319.927
AT ITER 41 NEW BEST:: SOT 25138923 SOS 21874346 HAS SOPS 21874346 HAS SOUS 1953407 HAS SOUPS 1953407 WITH SCORE 1975281.346
AT ITER 68 NEW BEST:: SOT 25132369 SOS 21818628 HAS SOPS 21818628 HAS SOUS 1953398 HAS SOUPS 1953398 WITH SCORE 1975216.628
AT ITER 130 NEW BEST:: SOT 25124407 SOS 21750936 HAS SOPS 21750936 HAS SOUS 1953383 HAS SOUPS 1953383 WITH SCORE 1975133.936
AT ITER 147 NEW BEST:: SOT 25119889 SOS 21712532 HAS SOPS 21712532 HAS SOUS 1953382 HAS SOUPS 1953382 WITH SCORE 1975094.532
AT ITER 149 NEW BEST:: SOT 25118405 SOS 21699918 HAS SOPS 21699918 HAS SOUS 1953382 HAS SOUPS 1953382 WITH SCORE 1975081.918
AT ITER 175 NEW BEST:: SOT 25113115 SOS 21654943 HAS SOPS 21654943 HAS SOUS 1953372 HAS SOUPS 1953372 WITH SCORE 1975026.943
AT ITER 184 NEW BEST:: SOT 25108107 SOS 21612374 HAS SOPS 21612374 HAS SOUS 1953371 HAS SOUPS 1953371 WITH SCORE 1974983.374
AT ITER 206 NEW BEST:: SOT 25105933 SOS 21593895 HAS SOPS 21593895 HAS SOUS 1953371 HAS SOUPS 1953371 WITH SCORE 1974964.895
AT ITER 209 NEW BEST:: SOT 25102115 SOS 21561429 HAS SOPS 21561429 HAS SOUS 1953358 HAS SOUPS 1953358 WITH SCORE 1974919.429
AT ITER 214 NEW BEST:: SOT 25099443 SOS 21538707 HAS SOPS 21538707 HAS SOUS 1953348 HAS SOUPS 1953348 WITH SCORE 1974886.707
AT ITER 225 NEW BEST:: SOT 25092304 SOS 21463576 HAS SOPS 21463576 HAS SOUS 1950982 HAS SOUPS 1950982 WITH SCORE 1972445.576
AT ITER 228 NEW BEST:: SOT 25085202 SOS 21403209 HAS SOPS 21403209 HAS SOUS 1950982 HAS SOUPS 1950982 WITH SCORE 1972385.209
AT ITER 236 NEW BEST:: SOT 25083737 SOS 21389768 HAS SOPS 21389768 HAS SOUS 1950811 HAS SOUPS 1950811 WITH SCORE 1972200.768
AT ITER 260 NEW BEST:: SOT 25077685 SOS 21338314 HAS SOPS 21338314 HAS SOUS 1950799 HAS SOUPS 1950799 WITH SCORE 1972137.314
AT ITER 265 NEW BEST:: SOT 25076483 SOS 21328081 HAS SOPS 21328081 HAS SOUS 1950783 HAS SOUPS 1950783 WITH SCORE 1972111.081
AT ITER 286 NEW BEST:: SOT 25072511 SOS 21294311 HAS SOPS 21294311 HAS SOUS 1950775 HAS SOUPS 1950775 WITH SCORE 1972069.311
AT ITER 297 NEW BEST:: SOT 25066615 SOS 21241247 HAS SOPS 21241247 HAS SOUS 1947825 HAS SOUPS 1947825 WITH SCORE 1969066.247
AT ITER 344 NEW BEST:: SOT 25064729 SOS 21225205 HAS SOPS 21225205 HAS SOUS 1947814 HAS SOUPS 1947814 WITH SCORE 1969039.205
AT ITER 396 NEW BEST:: SOT 25060715 SOS 21191083 HAS SOPS 21191083 HAS SOUS 1947811 HAS SOUPS 1947811 WITH SCORE 1969002.083
AT ITER 404 NEW BEST:: SOT 25060715 SOS 21191072 HAS SOPS 21191072 HAS SOUS 1947800 HAS SOUPS 1947800 WITH SCORE 1968991.072
AT ITER 437 NEW BEST:: SOT 25056261 SOS 21153211 HAS SOPS 21153211 HAS SOUS 1947798 HAS SOUPS 1947798 WITH SCORE 1968951.211
AT ITER 461 NEW BEST:: SOT 25047879 SOS 21085092 HAS SOPS 21085092 HAS SOUS 1947789 HAS SOUPS 1947789 WITH SCORE 1968874.092
AT ITER 478 NEW BEST:: SOT 25045077 SOS 21061260 HAS SOPS 21061260 HAS SOUS 1947772 HAS SOUPS 1947772 WITH SCORE 1968833.26
AT ITER 490 NEW BEST:: SOT 25043199 SOS 21045283 HAS SOPS 21045283 HAS SOUS 1947758 HAS SOUPS 1947758 WITH SCORE 1968803.283
AT ITER 498 NEW BEST:: SOT 25041577 SOS 21031487 HAS SOPS 21031487 HAS SOUS 1947749 HAS SOUPS 1947749 WITH SCORE 1968780.487
AT ITER 502 NEW BEST:: SOT 25036683 SOS 20989878 HAS SOPS 20989878 HAS SOUS 1947739 HAS SOUPS 1947739 WITH SCORE 1968728.878
AT ITER 529 NEW BEST:: SOT 25034443 SOS 20970830 HAS SOPS 20970830 HAS SOUS 1947731 HAS SOUPS 1947731 WITH SCORE 1968701.83
AT ITER 578 NEW BEST:: SOT 25031997 SOS 20950033 HAS SOPS 20950033 HAS SOUS 1947725 HAS SOUPS 1947725 WITH SCORE 1968675.033
AT ITER 605 NEW BEST:: SOT 25029043 SOS 20924913 HAS SOPS 20924913 HAS SOUS 1947714 HAS SOUPS 1947714 WITH SCORE 1968638.913
AT ITER 610 NEW BEST:: SOT 25024869 SOS 20889420 HAS SOPS 20889420 HAS SOUS 1947700 HAS SOUPS 1947700 WITH SCORE 1968589.42
AT ITER 613 NEW BEST:: SOT 25023853 SOS 20880770 HAS SOPS 20880770 HAS SOUS 1947686 HAS SOUPS 1947686 WITH SCORE 1968566.77
AT ITER 617 NEW BEST:: SOT 25022137 SOS 20866178 HAS SOPS 20866178 HAS SOUS 1947680 HAS SOUPS 1947680 WITH SCORE 1968546.178
AT ITER 634 NEW BEST:: SOT 25018447 SOS 20834803 HAS SOPS 20834803 HAS SOUS 1947670 HAS SOUPS 1947670 WITH SCORE 1968504.803
AT ITER 636 NEW BEST:: SOT 25017863 SOS 20829829 HAS SOPS 20829829 HAS SOUS 1947660 HAS SOUPS 1947660 WITH SCORE 1968489.829
AT ITER 641 NEW BEST:: SOT 25017863 SOS 20829821 HAS SOPS 20829821 HAS SOUS 1947652 HAS SOUPS 1947652 WITH SCORE 1968481.821
AT ITER 663 NEW BEST:: SOT 25014747 SOS 20803322 HAS SOPS 20803322 HAS SOUS 1947639 HAS SOUPS 1947639 WITH SCORE 1968442.322
AT ITER 684 NEW BEST:: SOT 25012122 SOS 20762491 HAS SOPS 20762491 HAS SOUS 1946887 HAS SOUPS 1946887 WITH SCORE 1967649.491
AT ITER 693 NEW BEST:: SOT 25005242 SOS 20703994 HAS SOPS 20703994 HAS SOUS 1946868 HAS SOUPS 1946868 WITH SCORE 1967571.994
AT ITER 705 NEW BEST:: SOT 25002304 SOS 20677624 HAS SOPS 20677624 HAS SOUS 1945471 HAS SOUPS 1945471 WITH SCORE 1966148.624
AT ITER 728 NEW BEST:: SOT 25002304 SOS 20677616 HAS SOPS 20677616 HAS SOUS 1945463 HAS SOUPS 1945463 WITH SCORE 1966140.616
AT ITER 737 NEW BEST:: SOT 24998036 SOS 20641330 HAS SOPS 20641330 HAS SOUS 1945455 HAS SOUPS 1945455 WITH SCORE 1966096.33
AT ITER 744 NEW BEST:: SOT 24993880 SOS 20603926 HAS SOPS 20603926 HAS SOUS 1943377 HAS SOUPS 1943377 WITH SCORE 1963980.926
AT ITER 788 NEW BEST:: SOT 24992678 SOS 20592632 HAS SOPS 20592632 HAS SOUS 1942810 HAS SOUPS 1942810 WITH SCORE 1963402.632
AT ITER 824 NEW BEST:: SOT 24990256 SOS 20572033 HAS SOPS 20572033 HAS SOUS 1942798 HAS SOUPS 1942798 WITH SCORE 1963370.033
AT ITER 829 NEW BEST:: SOT 24986506 SOS 20538283 HAS SOPS 20538283 HAS SOUS 1940923 HAS SOUPS 1940923 WITH SCORE 1961461.283
AT ITER 838 NEW BEST:: SOT 24982960 SOS 20508126 HAS SOPS 20508126 HAS SOUS 1940907 HAS SOUPS 1940907 WITH SCORE 1961415.126
AT ITER 929 NEW BEST:: SOT 24981376 SOS 20494178 HAS SOPS 20494178 HAS SOUS 1940918 HAS SOUPS 1940918 WITH SCORE 1961412.178
AT ITER 951 NEW BEST:: SOT 24976460 SOS 20452375 HAS SOPS 20452375 HAS SOUS 1940899 HAS SOUPS 1940899 WITH SCORE 1961351.375
AT ITER 1018 NEW BEST:: SOT 24974398 SOS 20433900 HAS SOPS 20433900 HAS SOUS 1939951 HAS SOUPS 1939951 WITH SCORE 1960384.9
AT ITER 1048 NEW BEST:: SOT 24973830 SOS 20429071 HAS SOPS 20429071 HAS SOUS 1939950 HAS SOUPS 1939950 WITH SCORE 1960379.071
AT ITER 1055 NEW BEST:: SOT 24973230 SOS 20423954 HAS SOPS 20423954 HAS SOUS 1939933 HAS SOUPS 1939933 WITH SCORE 1960356.954
AT ITER 1064 NEW BEST:: SOT 24969464 SOS 20391907 HAS SOPS 20391907 HAS SOUS 1939897 HAS SOUPS 1939897 WITH SCORE 1960288.907
AT ITER 1083 NEW BEST:: SOT 24967376 SOS 20374148 HAS SOPS 20374148 HAS SOUS 1939886 HAS SOUPS 1939886 WITH SCORE 1960260.148
AT ITER 1084 NEW BEST:: SOT 24964675 SOS 20349710 HAS SOPS 20349710 HAS SOUS 1939539 HAS SOUPS 1939539 WITH SCORE 1959888.71
AT ITER 1095 NEW BEST:: SOT 24964599 SOS 20349026 HAS SOPS 20349026 HAS SOUS 1939501 HAS SOUPS 1939501 WITH SCORE 1959850.026
AT ITER 1106 NEW BEST:: SOT 24957919 SOS 20292232 HAS SOPS 20292232 HAS SOUS 1939487 HAS SOUPS 1939487 WITH SCORE 1959779.232
AT ITER 1115 NEW BEST:: SOT 24957003 SOS 20284422 HAS SOPS 20284422 HAS SOUS 1939463 HAS SOUPS 1939463 WITH SCORE 1959747.422
AT ITER 1129 NEW BEST:: SOT 24951837 SOS 20240509 HAS SOPS 20240509 HAS SOUS 1939461 HAS SOUPS 1939461 WITH SCORE 1959701.509
AT ITER 1150 NEW BEST:: SOT 24951097 SOS 20233872 HAS SOPS 20233872 HAS SOUS 1939174 HAS SOUPS 1939174 WITH SCORE 1959407.872
AT ITER 1224 NEW BEST:: SOT 24948444 SOS 20209218 HAS SOPS 20209218 HAS SOUS 1938203 HAS SOUPS 1938203 WITH SCORE 1958412.218
AT ITER 1233 NEW BEST:: SOT 24945072 SOS 20180542 HAS SOPS 20180542 HAS SOUS 1938189 HAS SOUPS 1938189 WITH SCORE 1958369.542
AT ITER 1237 NEW BEST:: SOT 24942090 SOS 20154949 HAS SOPS 20154949 HAS SOUS 1937943 HAS SOUPS 1937943 WITH SCORE 1958097.949
AT ITER 1240 NEW BEST:: SOT 24937360 SOS 20114733 HAS SOPS 20114733 HAS SOUS 1937932 HAS SOUPS 1937932 WITH SCORE 1958046.733
AT ITER 1244 NEW BEST:: SOT 24935532 SOS 20099186 HAS SOPS 20099186 HAS SOUS 1937923 HAS SOUPS 1937923 WITH SCORE 1958022.186
AT ITER 1259 NEW BEST:: SOT 24930724 SOS 20055098 HAS SOPS 20055098 HAS SOUS 1935843 HAS SOUPS 1935843 WITH SCORE 1955898.098
AT ITER 1264 NEW BEST:: SOT 24923568 SOS 19981993 HAS SOPS 19981993 HAS SOUS 1933295 HAS SOUPS 1933295 WITH SCORE 1953276.993
AT ITER 1269 NEW BEST:: SOT 24923302 SOS 19979599 HAS SOPS 19979599 HAS SOUS 1933162 HAS SOUPS 1933162 WITH SCORE 1953141.599
AT ITER 1294 NEW BEST:: SOT 24919908 SOS 19950737 HAS SOPS 19950737 HAS SOUS 1933149 HAS SOUPS 1933149 WITH SCORE 1953099.737
AT ITER 1299 NEW BEST:: SOT 24916264 SOS 19919759 HAS SOPS 19919759 HAS SOUS 1933145 HAS SOUPS 1933145 WITH SCORE 1953064.759
AT ITER 1312 NEW BEST:: SOT 24913322 SOS 19894748 HAS SOPS 19894748 HAS SOUS 1933141 HAS SOUPS 1933141 WITH SCORE 1953035.748
AT ITER 1384 NEW BEST:: SOT 24913322 SOS 19894748 HAS SOPS 19894748 HAS SOUS 1932757 HAS SOUPS 1932757 WITH SCORE 1952651.748
AT ITER 1393 NEW BEST:: SOT 24907064 SOS 19841555 HAS SOPS 19841555 HAS SOUS 1932757 HAS SOUPS 1932757 WITH SCORE 1952598.555
AT ITER 1396 NEW BEST:: SOT 24904076 SOS 19814663 HAS SOPS 19814663 HAS SOUS 1931263 HAS SOUPS 1931263 WITH SCORE 1951077.663
AT ITER 1420 NEW BEST:: SOT 24901695 SOS 19807386 HAS SOPS 19807386 HAS SOUS 1930761 HAS SOUPS 1930761 WITH SCORE 1950568.386
AT ITER 1423 NEW BEST:: SOT 24901161 SOS 19802824 HAS SOPS 19802824 HAS SOUS 1930738 HAS SOUPS 1930738 WITH SCORE 1950540.824
AT ITER 1432 NEW BEST:: SOT 24900643 SOS 19798396 HAS SOPS 19798396 HAS SOUS 1930713 HAS SOUPS 1930713 WITH SCORE 1950511.396
AT ITER 1438 NEW BEST:: SOT 24895993 SOS 19758857 HAS SOPS 19758857 HAS SOUS 1930699 HAS SOUPS 1930699 WITH SCORE 1950457.857
AT ITER 1447 NEW BEST:: SOT 24892891 SOS 19732483 HAS SOPS 19732483 HAS SOUS 1930692 HAS SOUPS 1930692 WITH SCORE 1950424.483
AT ITER 1451 NEW BEST:: SOT 24891039 SOS 19716737 HAS SOPS 19716737 HAS SOUS 1930688 HAS SOUPS 1930688 WITH SCORE 1950404.737
AT ITER 1475 NEW BEST:: SOT 24889527 SOS 19703870 HAS SOPS 19703870 HAS SOUS 1930673 HAS SOUPS 1930673 WITH SCORE 1950376.87
AT ITER 1502 NEW BEST:: SOT 24889235 SOS 19701378 HAS SOPS 19701378 HAS SOUS 1930663 HAS SOUPS 1930663 WITH SCORE 1950364.378
AT ITER 1533 NEW BEST:: SOT 24888389 SOS 19692627 HAS SOPS 19692627 HAS SOUS 1930633 HAS SOUPS 1930633 WITH SCORE 1950325.627
AT ITER 1535 NEW BEST:: SOT 24886785 SOS 19678987 HAS SOPS 19678987 HAS SOUS 1930627 HAS SOUPS 1930627 WITH SCORE 1950305.987
AT ITER 1557 NEW BEST:: SOT 24886785 SOS 19676919 HAS SOPS 19676919 HAS SOUS 1928559 HAS SOUPS 1928559 WITH SCORE 1948235.919
AT ITER 1601 NEW BEST:: SOT 24882193 SOS 19635591 HAS SOPS 19635591 HAS SOUS 1926263 HAS SOUPS 1926263 WITH SCORE 1945898.591
AT ITER 1603 NEW BEST:: SOT 24878494 SOS 19601497 HAS SOPS 19601497 HAS SOUS 1924728 HAS SOUPS 1924728 WITH SCORE 1944329.497
AT ITER 1631 NEW BEST:: SOT 24877128 SOS 19589879 HAS SOPS 19589879 HAS SOUS 1924721 HAS SOUPS 1924721 WITH SCORE 1944310.879
AT ITER 1635 NEW BEST:: SOT 24874268 SOS 19564550 HAS SOPS 19564550 HAS SOUS 1923702 HAS SOUPS 1923702 WITH SCORE 1943266.55
AT ITER 1638 NEW BEST:: SOT 24874058 SOS 19562244 HAS SOPS 19562244 HAS SOUS 1923691 HAS SOUPS 1923691 WITH SCORE 1943253.244
AT ITER 1642 NEW BEST:: SOT 24868004 SOS 19510784 HAS SOPS 19510784 HAS SOUS 1923690 HAS SOUPS 1923690 WITH SCORE 1943200.784
AT ITER 1651 NEW BEST:: SOT 24863964 SOS 19476442 HAS SOPS 19476442 HAS SOUS 1923688 HAS SOUPS 1923688 WITH SCORE 1943164.442
AT ITER 1683 NEW BEST:: SOT 24862726 SOS 19465906 HAS SOPS 19465906 HAS SOUS 1923675 HAS SOUPS 1923675 WITH SCORE 1943140.906
AT ITER 1703 NEW BEST:: SOT 24855799 SOS 19406821 HAS SOPS 19406821 HAS SOUS 1923507 HAS SOUPS 1923507 WITH SCORE 1942913.821
AT ITER 1706 NEW BEST:: SOT 24851360 SOS 19366068 HAS SOPS 19366068 HAS SOUS 1921918 HAS SOUPS 1921918 WITH SCORE 1941284.068
AT ITER 1761 NEW BEST:: SOT 24850479 SOS 19357129 HAS SOPS 19357129 HAS SOUS 1921645 HAS SOUPS 1921645 WITH SCORE 1941002.129
AT ITER 1771 NEW BEST:: SOT 24850479 SOS 19357116 HAS SOPS 19357116 HAS SOUS 1921632 HAS SOUPS 1921632 WITH SCORE 1940989.116
AT ITER 1797 NEW BEST:: SOT 24850479 SOS 19356219 HAS SOPS 19356219 HAS SOUS 1920735 HAS SOUPS 1920735 WITH SCORE 1940091.219
AT ITER 1798 NEW BEST:: SOT 24850329 SOS 19354869 HAS SOPS 19354869 HAS SOUS 1920660 HAS SOUPS 1920660 WITH SCORE 1940014.869
AT ITER 1812 NEW BEST:: SOT 24845635 SOS 19312710 HAS SOPS 19312710 HAS SOUS 1918400 HAS SOUPS 1918400 WITH SCORE 1937712.71
AT ITER 1837 NEW BEST:: SOT 24840470 SOS 19265274 HAS SOPS 19265274 HAS SOUS 1916119 HAS SOUPS 1916119 WITH SCORE 1935384.274
AT ITER 1850 NEW BEST:: SOT 24837871 SOS 19241375 HAS SOPS 19241375 HAS SOUS 1916119 HAS SOUPS 1916119 WITH SCORE 1935360.375
AT ITER 1851 NEW BEST:: SOT 24836033 SOS 19225741 HAS SOPS 19225741 HAS SOUS 1916108 HAS SOUPS 1916108 WITH SCORE 1935333.741
AT ITER 1874 NEW BEST:: SOT 24832521 SOS 19192787 HAS SOPS 19192787 HAS SOUS 1914881 HAS SOUPS 1914881 WITH SCORE 1934073.787
AT ITER 1877 NEW BEST:: SOT 24832521 SOS 19191882 HAS SOPS 19191882 HAS SOUS 1914052 HAS SOUPS 1914052 WITH SCORE 1933243.882
AT ITER 1878 NEW BEST:: SOT 24832521 SOS 19191882 HAS SOPS 19191882 HAS SOUS 1914036 HAS SOUPS 1914036 WITH SCORE 1933227.882
AT ITER 1883 NEW BEST:: SOT 24828813 SOS 19160358 HAS SOPS 19160358 HAS SOUS 1914030 HAS SOUPS 1914030 WITH SCORE 1933190.358
AT ITER 1895 NEW BEST:: SOT 24828165 SOS 19154834 HAS SOPS 19154834 HAS SOUS 1914014 HAS SOUPS 1914014 WITH SCORE 1933168.834
AT ITER 1925 NEW BEST:: SOT 24827477 SOS 19148973 HAS SOPS 19148973 HAS SOUS 1914001 HAS SOUPS 1914001 WITH SCORE 1933149.973
AT ITER 1928 NEW BEST:: SOT 24823564 SOS 19113508 HAS SOPS 19113508 HAS SOUS 1913259 HAS SOUPS 1913259 WITH SCORE 1932372.508
AT ITER 1954 NEW BEST:: SOT 24818617 SOS 19067842 HAS SOPS 19067842 HAS SOUS 1911105 HAS SOUPS 1911105 WITH SCORE 1930172.842
AT ITER 1965 NEW BEST:: SOT 24814834 SOS 19033618 HAS SOPS 19033618 HAS SOUS 1910229 HAS SOUPS 1910229 WITH SCORE 1929262.618
AT ITER 1987 NEW BEST:: SOT 24812192 SOS 19011152 HAS SOPS 19011152 HAS SOUS 1910220 HAS SOUPS 1910220 WITH SCORE 1929231.152
AT ITER 1999 NEW BEST:: SOT 24810310 SOS 18995145 HAS SOPS 18995145 HAS SOUS 1910210 HAS SOUPS 1910210 WITH SCORE 1929205.145
AT ITER 2008 NEW BEST:: SOT 24810251 SOS 18994492 HAS SOPS 18994492 HAS SOUS 1909616 HAS SOUPS 1909616 WITH SCORE 1928610.492
AT ITER 2035 NEW BEST:: SOT 24810143 SOS 18994089 HAS SOPS 18994089 HAS SOUS 1909245 HAS SOUPS 1909245 WITH SCORE 1928239.089
AT ITER 2081 NEW BEST:: SOT 24809857 SOS 18991515 HAS SOPS 18991515 HAS SOUS 1909102 HAS SOUPS 1909102 WITH SCORE 1928093.515
AT ITER 2100 NEW BEST:: SOT 24808060 SOS 18973725 HAS SOPS 18973725 HAS SOUS 1908409 HAS SOUPS 1908409 WITH SCORE 1927382.725
AT ITER 2112 NEW BEST:: SOT 24806928 SOS 18963632 HAS SOPS 18963632 HAS SOUS 1907938 HAS SOUPS 1907938 WITH SCORE 1926901.632
AT ITER 2128 NEW BEST:: SOT 24802962 SOS 18929907 HAS SOPS 18929907 HAS SOUS 1907924 HAS SOUPS 1907924 WITH SCORE 1926853.907
AT ITER 2140 NEW BEST:: SOT 24801242 SOS 18915041 HAS SOPS 18915041 HAS SOUS 1907678 HAS SOUPS 1907678 WITH SCORE 1926593.041
AT ITER 2143 NEW BEST:: SOT 24797947 SOS 18884318 HAS SOPS 18884318 HAS SOUS 1906395 HAS SOUPS 1906395 WITH SCORE 1925279.318
AT ITER 2155 NEW BEST:: SOT 24790011 SOS 18816859 HAS SOPS 18816859 HAS SOUS 1906392 HAS SOUPS 1906392 WITH SCORE 1925208.859
AT ITER 2179 NEW BEST:: SOT 24786255 SOS 18784919 HAS SOPS 18784919 HAS SOUS 1906378 HAS SOUPS 1906378 WITH SCORE 1925162.919
AT ITER 2182 NEW BEST:: SOT 24786231 SOS 18784714 HAS SOPS 18784714 HAS SOUS 1906377 HAS SOUPS 1906377 WITH SCORE 1925161.714
AT ITER 2186 NEW BEST:: SOT 24786231 SOS 18784714 HAS SOPS 18784714 HAS SOUS 1906357 HAS SOUPS 1906357 WITH SCORE 1925141.714
AT ITER 2215 NEW BEST:: SOT 24785427 SOS 18777858 HAS SOPS 18777858 HAS SOUS 1906335 HAS SOUPS 1906335 WITH SCORE 1925112.858
AT ITER 2238 NEW BEST:: SOT 24785351 SOS 18777202 HAS SOPS 18777202 HAS SOUS 1906325 HAS SOUPS 1906325 WITH SCORE 1925102.202
AT ITER 2261 NEW BEST:: SOT 24785351 SOS 18777034 HAS SOPS 18777034 HAS SOUS 1906157 HAS SOUPS 1906157 WITH SCORE 1924934.034
AT ITER 2264 NEW BEST:: SOT 24778339 SOS 18717426 HAS SOPS 18717426 HAS SOUS 1906151 HAS SOUPS 1906151 WITH SCORE 1924868.426
AT ITER 2266 NEW BEST:: SOT 24772735 SOS 18669781 HAS SOPS 18669781 HAS SOUS 1906140 HAS SOUPS 1906140 WITH SCORE 1924809.781
AT ITER 2276 NEW BEST:: SOT 24770511 SOS 18635025 HAS SOPS 18635025 HAS SOUS 1906173 HAS SOUPS 1906173 WITH SCORE 1924808.025
AT ITER 2279 NEW BEST:: SOT 24768380 SOS 18614830 HAS SOPS 18614830 HAS SOUS 1905899 HAS SOUPS 1905899 WITH SCORE 1924513.83
AT ITER 2317 NEW BEST:: SOT 24767238 SOS 18605119 HAS SOPS 18605119 HAS SOUS 1905895 HAS SOUPS 1905895 WITH SCORE 1924500.119
AT ITER 2357 NEW BEST:: SOT 24762390 SOS 18563900 HAS SOPS 18563900 HAS SOUS 1905884 HAS SOUPS 1905884 WITH SCORE 1924447.9
AT ITER 2369 NEW BEST:: SOT 24760902 SOS 18551237 HAS SOPS 18551237 HAS SOUS 1905869 HAS SOUPS 1905869 WITH SCORE 1924420.237
AT ITER 2382 NEW BEST:: SOT 24757424 SOS 18521666 HAS SOPS 18521666 HAS SOUS 1905861 HAS SOUPS 1905861 WITH SCORE 1924382.666
AT ITER 2417 NEW BEST:: SOT 24751963 SOS 18469480 HAS SOPS 18469480 HAS SOUS 1903701 HAS SOUPS 1903701 WITH SCORE 1922170.48
AT ITER 2441 NEW BEST:: SOT 24751963 SOS 18469480 HAS SOPS 18469480 HAS SOUS 1903679 HAS SOUPS 1903679 WITH SCORE 1922148.48
AT ITER 2468 NEW BEST:: SOT 24751963 SOS 18468743 HAS SOPS 18468743 HAS SOUS 1902942 HAS SOUPS 1902942 WITH SCORE 1921410.743
AT ITER 2490 NEW BEST:: SOT 24751963 SOS 18468743 HAS SOPS 18468743 HAS SOUS 1902924 HAS SOUPS 1902924 WITH SCORE 1921392.743
AT ITER 2493 NEW BEST:: SOT 24749321 SOS 18446138 HAS SOPS 18446138 HAS SOUS 1902776 HAS SOUPS 1902776 WITH SCORE 1921222.138
AT ITER 2527 NEW BEST:: SOT 24743439 SOS 18396140 HAS SOPS 18396140 HAS SOUS 1902775 HAS SOUPS 1902775 WITH SCORE 1921171.14
AT ITER 2547 NEW BEST:: SOT 24736389 SOS 18336206 HAS SOPS 18336206 HAS SOUS 1902766 HAS SOUPS 1902766 WITH SCORE 1921102.206
AT ITER 2601 NEW BEST:: SOT 24735107 SOS 18325295 HAS SOPS 18325295 HAS SOUS 1902752 HAS SOUPS 1902752 WITH SCORE 1921077.295
AT ITER 2637 NEW BEST:: SOT 24732116 SOS 18297293 HAS SOPS 18297293 HAS SOUS 1901561 HAS SOUPS 1901561 WITH SCORE 1919858.293
AT ITER 2695 NEW BEST:: SOT 24730850 SOS 18285067 HAS SOPS 18285067 HAS SOUS 1901281 HAS SOUPS 1901281 WITH SCORE 1919566.067
AT ITER 2757 NEW BEST:: SOT 24730850 SOS 18282708 HAS SOPS 18282708 HAS SOUS 1898922 HAS SOUPS 1898922 WITH SCORE 1917204.708
AT ITER 2760 NEW BEST:: SOT 24730328 SOS 18278262 HAS SOPS 18278262 HAS SOUS 1898913 HAS SOUPS 1898913 WITH SCORE 1917191.262
AT ITER 2766 NEW BEST:: SOT 24727608 SOS 18235190 HAS SOPS 18235190 HAS SOUS 1898881 HAS SOUPS 1898881 WITH SCORE 1917116.19
AT ITER 2776 NEW BEST:: SOT 24725374 SOS 18213758 HAS SOPS 18213758 HAS SOUS 1898178 HAS SOUPS 1898178 WITH SCORE 1916391.758
AT ITER 2811 NEW BEST:: SOT 24721493 SOS 18178248 HAS SOPS 18178248 HAS SOUS 1896534 HAS SOUPS 1896534 WITH SCORE 1914712.248
AT ITER 2820 NEW BEST:: SOT 24715517 SOS 18122815 HAS SOPS 18122815 HAS SOUS 1896562 HAS SOUPS 1896562 WITH SCORE 1914684.815
AT ITER 2829 NEW BEST:: SOT 24715517 SOS 18122138 HAS SOPS 18122138 HAS SOUS 1895885 HAS SOUPS 1895885 WITH SCORE 1914007.138
AT ITER 2845 NEW BEST:: SOT 24714465 SOS 18112556 HAS SOPS 18112556 HAS SOUS 1895605 HAS SOUPS 1895605 WITH SCORE 1913717.556
AT ITER 2868 NEW BEST:: SOT 24711219 SOS 18083342 HAS SOPS 18083342 HAS SOUS 1893982 HAS SOUPS 1893982 WITH SCORE 1912065.342
AT ITER 2882 NEW BEST:: SOT 24711219 SOS 18083339 HAS SOPS 18083339 HAS SOUS 1893979 HAS SOUPS 1893979 WITH SCORE 1912062.339
AT ITER 2893 NEW BEST:: SOT 24706743 SOS 18042043 HAS SOPS 18042043 HAS SOUS 1892424 HAS SOUPS 1892424 WITH SCORE 1910466.043
AT ITER 2894 NEW BEST:: SOT 24704431 SOS 18022382 HAS SOPS 18022382 HAS SOUS 1892415 HAS SOUPS 1892415 WITH SCORE 1910437.382
AT ITER 2897 NEW BEST:: SOT 24704388 SOS 18022292 HAS SOPS 18022292 HAS SOUS 1892368 HAS SOUPS 1892368 WITH SCORE 1910390.292
AT ITER 2903 NEW BEST:: SOT 24703966 SOS 18018696 HAS SOPS 18018696 HAS SOUS 1892359 HAS SOUPS 1892359 WITH SCORE 1910377.696
AT ITER 2904 NEW BEST:: SOT 24701092 SOS 17994255 HAS SOPS 17994255 HAS SOUS 1892347 HAS SOUPS 1892347 WITH SCORE 1910341.255
AT ITER 2908 NEW BEST:: SOT 24701092 SOS 17993529 HAS SOPS 17993529 HAS SOUS 1891621 HAS SOUPS 1891621 WITH SCORE 1909614.529
AT ITER 2919 NEW BEST:: SOT 24701092 SOS 17992843 HAS SOPS 17992843 HAS SOUS 1890935 HAS SOUPS 1890935 WITH SCORE 1908927.843
AT ITER 2928 NEW BEST:: SOT 24699751 SOS 17980301 HAS SOPS 17980301 HAS SOUS 1890699 HAS SOUPS 1890699 WITH SCORE 1908679.301
AT ITER 2957 NEW BEST:: SOT 24693455 SOS 17924872 HAS SOPS 17924872 HAS SOUS 1890181 HAS SOUPS 1890181 WITH SCORE 1908105.872
AT ITER 2961 NEW BEST:: SOT 24693455 SOS 17923414 HAS SOPS 17923414 HAS SOUS 1888723 HAS SOUPS 1888723 WITH SCORE 1906646.414
AT ITER 2963 NEW BEST:: SOT 24691875 SOS 17901200 HAS SOPS 17901200 HAS SOUS 1888684 HAS SOUPS 1888684 WITH SCORE 1906585.2
AT ITER 2971 NEW BEST:: SOT 24686577 SOS 17856157 HAS SOPS 17856157 HAS SOUS 1888674 HAS SOUPS 1888674 WITH SCORE 1906530.157
AT ITER 3011 NEW BEST:: SOT 24685941 SOS 17850731 HAS SOPS 17850731 HAS SOUS 1888654 HAS SOUPS 1888654 WITH SCORE 1906504.731
AT ITER 3023 NEW BEST:: SOT 24685941 SOS 17850620 HAS SOPS 17850620 HAS SOUS 1888543 HAS SOUPS 1888543 WITH SCORE 1906393.62
AT ITER 3040 NEW BEST:: SOT 24680629 SOS 17803012 HAS SOPS 17803012 HAS SOUS 1887767 HAS SOUPS 1887767 WITH SCORE 1905570.012
AT ITER 3071 NEW BEST:: SOT 24675919 SOS 17762971 HAS SOPS 17762971 HAS SOUS 1887761 HAS SOUPS 1887761 WITH SCORE 1905523.971
AT ITER 3074 NEW BEST:: SOT 24672480 SOS 17730767 HAS SOPS 17730767 HAS SOUS 1886131 HAS SOUPS 1886131 WITH SCORE 1903861.767
AT ITER 3083 NEW BEST:: SOT 24667114 SOS 17683204 HAS SOPS 17683204 HAS SOUS 1886046 HAS SOUPS 1886046 WITH SCORE 1903729.204
AT ITER 3096 NEW BEST:: SOT 24667058 SOS 17682700 HAS SOPS 17682700 HAS SOUS 1886018 HAS SOUPS 1886018 WITH SCORE 1903700.7
AT ITER 3114 NEW BEST:: SOT 24665685 SOS 17663014 HAS SOPS 17663014 HAS SOUS 1885855 HAS SOUPS 1885855 WITH SCORE 1903518.014
AT ITER 3138 NEW BEST:: SOT 24665237 SOS 17659205 HAS SOPS 17659205 HAS SOUS 1885854 HAS SOUPS 1885854 WITH SCORE 1903513.205
AT ITER 3150 NEW BEST:: SOT 24661953 SOS 17630685 HAS SOPS 17630685 HAS SOUS 1885248 HAS SOUPS 1885248 WITH SCORE 1902878.685
AT ITER 3155 NEW BEST:: SOT 24661885 SOS 17630107 HAS SOPS 17630107 HAS SOUS 1885248 HAS SOUPS 1885248 WITH SCORE 1902878.107
AT ITER 3174 NEW BEST:: SOT 24657036 SOS 17585367 HAS SOPS 17585367 HAS SOUS 1883142 HAS SOUPS 1883142 WITH SCORE 1900727.367
AT ITER 3179 NEW BEST:: SOT 24655260 SOS 17569383 HAS SOPS 17569383 HAS SOUS 1882254 HAS SOUPS 1882254 WITH SCORE 1899823.383
AT ITER 3207 NEW BEST:: SOT 24655152 SOS 17568421 HAS SOPS 17568421 HAS SOUS 1882210 HAS SOUPS 1882210 WITH SCORE 1899778.421
AT ITER 3209 NEW BEST:: SOT 24653268 SOS 17538655 HAS SOPS 17538655 HAS SOUS 1882183 HAS SOUPS 1882183 WITH SCORE 1899721.655
AT ITER 3217 NEW BEST:: SOT 24652058 SOS 17528354 HAS SOPS 17528354 HAS SOUS 1882167 HAS SOUPS 1882167 WITH SCORE 1899695.354
AT ITER 3256 NEW BEST:: SOT 24651771 SOS 17525812 HAS SOPS 17525812 HAS SOUS 1882087 HAS SOUPS 1882087 WITH SCORE 1899612.812
AT ITER 3275 NEW BEST:: SOT 24650708 SOS 17515528 HAS SOPS 17515528 HAS SOUS 1881956 HAS SOUPS 1881956 WITH SCORE 1899471.528
AT ITER 3286 NEW BEST:: SOT 24650223 SOS 17509546 HAS SOPS 17509546 HAS SOUS 1881829 HAS SOUPS 1881829 WITH SCORE 1899338.546
AT ITER 3291 NEW BEST:: SOT 24644331 SOS 17459456 HAS SOPS 17459456 HAS SOUS 1881821 HAS SOUPS 1881821 WITH SCORE 1899280.456
AT ITER 3319 NEW BEST:: SOT 24637503 SOS 17401250 HAS SOPS 17401250 HAS SOUS 1881653 HAS SOUPS 1881653 WITH SCORE 1899054.25
AT ITER 3324 NEW BEST:: SOT 24633506 SOS 17346790 HAS SOPS 17346790 HAS SOUS 1880975 HAS SOUPS 1880975 WITH SCORE 1898321.79
AT ITER 3351 NEW BEST:: SOT 24631477 SOS 17314410 HAS SOPS 17314410 HAS SOUS 1880969 HAS SOUPS 1880969 WITH SCORE 1898283.41
AT ITER 3384 NEW BEST:: SOT 24631261 SOS 17312466 HAS SOPS 17312466 HAS SOUS 1880861 HAS SOUPS 1880861 WITH SCORE 1898173.466
AT ITER 3427 NEW BEST:: SOT 24627387 SOS 17277600 HAS SOPS 17277600 HAS SOUS 1878924 HAS SOUPS 1878924 WITH SCORE 1896201.6
AT ITER 3443 NEW BEST:: SOT 24626411 SOS 17269289 HAS SOPS 17269289 HAS SOUS 1878907 HAS SOUPS 1878907 WITH SCORE 1896176.289
AT ITER 3495 NEW BEST:: SOT 24624875 SOS 17255465 HAS SOPS 17255465 HAS SOUS 1878139 HAS SOUPS 1878139 WITH SCORE 1895394.465
AT ITER 3501 NEW BEST:: SOT 24616940 SOS 17186123 HAS SOPS 17186123 HAS SOUS 1878127 HAS SOUPS 1878127 WITH SCORE 1895313.123
AT ITER 3522 NEW BEST:: SOT 24616837 SOS 17184980 HAS SOPS 17184980 HAS SOUS 1877087 HAS SOUPS 1877087 WITH SCORE 1894271.98
AT ITER 3564 NEW BEST:: SOT 24612351 SOS 17146838 HAS SOPS 17146838 HAS SOUS 1877076 HAS SOUPS 1877076 WITH SCORE 1894222.838
AT ITER 3567 NEW BEST:: SOT 24610146 SOS 17142413 HAS SOPS 17142413 HAS SOUS 1874856 HAS SOUPS 1874856 WITH SCORE 1891998.413
AT ITER 3574 NEW BEST:: SOT 24610029 SOS 17142179 HAS SOPS 17142179 HAS SOUS 1874739 HAS SOUPS 1874739 WITH SCORE 1891881.179
AT ITER 3592 NEW BEST:: SOT 24608202 SOS 17111351 HAS SOPS 17111351 HAS SOUS 1874602 HAS SOUPS 1874602 WITH SCORE 1891713.351
AT ITER 3602 NEW BEST:: SOT 24608202 SOS 17111349 HAS SOPS 17111349 HAS SOUS 1874600 HAS SOUPS 1874600 WITH SCORE 1891711.349
AT ITER 3605 NEW BEST:: SOT 24606666 SOS 17097665 HAS SOPS 17097665 HAS SOUS 1873972 HAS SOUPS 1873972 WITH SCORE 1891069.665
AT ITER 3609 NEW BEST:: SOT 24601447 SOS 17049626 HAS SOPS 17049626 HAS SOUS 1871637 HAS SOUPS 1871637 WITH SCORE 1888686.626
AT ITER 3612 NEW BEST:: SOT 24598372 SOS 17007575 HAS SOPS 17007575 HAS SOUS 1871406 HAS SOUPS 1871406 WITH SCORE 1888413.575
AT ITER 3655 NEW BEST:: SOT 24595959 SOS 16984421 HAS SOPS 16984421 HAS SOUS 1870555 HAS SOUPS 1870555 WITH SCORE 1887539.421
AT ITER 3663 NEW BEST:: SOT 24593763 SOS 16954535 HAS SOPS 16954535 HAS SOUS 1870178 HAS SOUPS 1870178 WITH SCORE 1887132.535
AT ITER 3668 NEW BEST:: SOT 24593763 SOS 16954395 HAS SOPS 16954395 HAS SOUS 1870038 HAS SOUPS 1870038 WITH SCORE 1886992.395
AT ITER 3674 NEW BEST:: SOT 24589145 SOS 16912833 HAS SOPS 16912833 HAS SOUS 1867729 HAS SOUPS 1867729 WITH SCORE 1884641.833
AT ITER 3698 NEW BEST:: SOT 24589007 SOS 16911591 HAS SOPS 16911591 HAS SOUS 1867660 HAS SOUPS 1867660 WITH SCORE 1884571.591
AT ITER 3701 NEW BEST:: SOT 24588637 SOS 16908444 HAS SOPS 16908444 HAS SOUS 1867658 HAS SOUPS 1867658 WITH SCORE 1884566.444
AT ITER 3708 NEW BEST:: SOT 24588637 SOS 16908433 HAS SOPS 16908433 HAS SOUS 1867647 HAS SOUPS 1867647 WITH SCORE 1884555.433
AT ITER 3710 NEW BEST:: SOT 24587714 SOS 16900072 HAS SOPS 16900072 HAS SOUS 1867347 HAS SOUPS 1867347 WITH SCORE 1884247.072
AT ITER 3716 NEW BEST:: SOT 24582992 SOS 16859935 HAS SOPS 16859935 HAS SOUS 1867347 HAS SOUPS 1867347 WITH SCORE 1884206.935
AT ITER 3748 NEW BEST:: SOT 24582242 SOS 16852985 HAS SOPS 16852985 HAS SOUS 1867252 HAS SOUPS 1867252 WITH SCORE 1884104.985
AT ITER 3807 NEW BEST:: SOT 24582064 SOS 16851462 HAS SOPS 16851462 HAS SOUS 1867242 HAS SOUPS 1867242 WITH SCORE 1884093.462
AT ITER 3815 NEW BEST:: SOT 24581582 SOS 16847359 HAS SOPS 16847359 HAS SOUS 1867236 HAS SOUPS 1867236 WITH SCORE 1884083.359
AT ITER 3816 NEW BEST:: SOT 24578054 SOS 16810069 HAS SOPS 16810069 HAS SOUS 1866920 HAS SOUPS 1866920 WITH SCORE 1883730.069
AT ITER 3818 NEW BEST:: SOT 24575066 SOS 16783177 HAS SOPS 16783177 HAS SOUS 1865426 HAS SOUPS 1865426 WITH SCORE 1882209.177
AT ITER 3843 NEW BEST:: SOT 24569890 SOS 16736593 HAS SOPS 16736593 HAS SOUS 1862838 HAS SOUPS 1862838 WITH SCORE 1879574.593
AT ITER 3863 NEW BEST:: SOT 24566193 SOS 16702148 HAS SOPS 16702148 HAS SOUS 1861295 HAS SOUPS 1861295 WITH SCORE 1877997.148
AT ITER 3892 NEW BEST:: SOT 24565679 SOS 16697522 HAS SOPS 16697522 HAS SOUS 1861038 HAS SOUPS 1861038 WITH SCORE 1877735.522
AT ITER 3900 NEW BEST:: SOT 24565089 SOS 16688670 HAS SOPS 16688670 HAS SOUS 1860996 HAS SOUPS 1860996 WITH SCORE 1877684.67
AT ITER 3902 NEW BEST:: SOT 24564571 SOS 16684255 HAS SOPS 16684255 HAS SOUS 1860984 HAS SOUPS 1860984 WITH SCORE 1877668.255
AT ITER 3944 NEW BEST:: SOT 24559712 SOS 16638851 HAS SOPS 16638851 HAS SOUS 1858674 HAS SOUPS 1858674 WITH SCORE 1875312.851
AT ITER 3948 NEW BEST:: SOT 24559712 SOS 16638846 HAS SOPS 16638846 HAS SOUS 1858669 HAS SOUPS 1858669 WITH SCORE 1875307.846
AT ITER 3964 NEW BEST:: SOT 24559635 SOS 16638692 HAS SOPS 16638692 HAS SOUS 1858592 HAS SOUPS 1858592 WITH SCORE 1875230.692
AT ITER 4052 NEW BEST:: SOT 24559520 SOS 16638462 HAS SOPS 16638462 HAS SOUS 1858477 HAS SOUPS 1858477 WITH SCORE 1875115.462
AT ITER 4055 NEW BEST:: SOT 24558490 SOS 16628548 HAS SOPS 16628548 HAS SOUS 1858008 HAS SOUPS 1858008 WITH SCORE 1874636.548
AT ITER 4060 NEW BEST:: SOT 24556811 SOS 16607172 HAS SOPS 16607172 HAS SOUS 1857664 HAS SOUPS 1857664 WITH SCORE 1874271.172
AT ITER 4071 NEW BEST:: SOT 24554506 SOS 16577514 HAS SOPS 16577514 HAS SOUS 1857431 HAS SOUPS 1857431 WITH SCORE 1874008.514
AT ITER 4107 NEW BEST:: SOT 24553196 SOS 16565903 HAS SOPS 16565903 HAS SOUS 1856955 HAS SOUPS 1856955 WITH SCORE 1873520.903
AT ITER 4137 NEW BEST:: SOT 24552541 SOS 16564593 HAS SOPS 16564593 HAS SOUS 1856479 HAS SOUPS 1856479 WITH SCORE 1873043.593
AT ITER 4173 NEW BEST:: SOT 24552227 SOS 16561810 HAS SOPS 16561810 HAS SOUS 1856365 HAS SOUPS 1856365 WITH SCORE 1872926.81
AT ITER 4180 NEW BEST:: SOT 24551776 SOS 16560908 HAS SOPS 16560908 HAS SOUS 1855914 HAS SOUPS 1855914 WITH SCORE 1872474.908
AT ITER 4199 NEW BEST:: SOT 24551750 SOS 16560674 HAS SOPS 16560674 HAS SOUS 1855901 HAS SOUPS 1855901 WITH SCORE 1872461.674
AT ITER 4210 NEW BEST:: SOT 24549514 SOS 16541653 HAS SOPS 16541653 HAS SOUS 1855884 HAS SOUPS 1855884 WITH SCORE 1872425.653
AT ITER 4218 NEW BEST:: SOT 24549514 SOS 16541650 HAS SOPS 16541650 HAS SOUS 1855881 HAS SOUPS 1855881 WITH SCORE 1872422.65
AT ITER 4220 NEW BEST:: SOT 24547560 SOS 16523260 HAS SOPS 16523260 HAS SOUS 1855420 HAS SOUPS 1855420 WITH SCORE 1871943.26
AT ITER 4222 NEW BEST:: SOT 24546718 SOS 16516093 HAS SOPS 16516093 HAS SOUS 1855410 HAS SOUPS 1855410 WITH SCORE 1871926.093
AT ITER 4225 NEW BEST:: SOT 24546354 SOS 16512733 HAS SOPS 16512733 HAS SOUS 1855196 HAS SOUPS 1855196 WITH SCORE 1871708.733
AT ITER 4227 NEW BEST:: SOT 24543512 SOS 16476812 HAS SOPS 16476812 HAS SOUS 1854714 HAS SOUPS 1854714 WITH SCORE 1871190.812
AT ITER 4242 NEW BEST:: SOT 24543046 SOS 16472838 HAS SOPS 16472838 HAS SOUS 1854701 HAS SOUPS 1854701 WITH SCORE 1871173.838
AT ITER 4247 NEW BEST:: SOT 24542216 SOS 16459558 HAS SOPS 16459558 HAS SOUS 1854701 HAS SOUPS 1854701 WITH SCORE 1871160.558
AT ITER 4257 NEW BEST:: SOT 24542067 SOS 16459260 HAS SOPS 16459260 HAS SOUS 1854552 HAS SOUPS 1854552 WITH SCORE 1871011.26
AT ITER 4270 NEW BEST:: SOT 24542067 SOS 16459137 HAS SOPS 16459137 HAS SOUS 1854429 HAS SOUPS 1854429 WITH SCORE 1870888.137
AT ITER 4283 NEW BEST:: SOT 24537835 SOS 16423152 HAS SOPS 16423152 HAS SOUS 1854416 HAS SOUPS 1854416 WITH SCORE 1870839.152
AT ITER 4286 NEW BEST:: SOT 24533256 SOS 16380688 HAS SOPS 16380688 HAS SOUS 1852216 HAS SOUPS 1852216 WITH SCORE 1868596.688
AT ITER 4288 NEW BEST:: SOT 24529470 SOS 16344826 HAS SOPS 16344826 HAS SOUS 1850455 HAS SOUPS 1850455 WITH SCORE 1866799.826
AT ITER 4292 NEW BEST:: SOT 24528154 SOS 16331528 HAS SOPS 16331528 HAS SOUS 1849963 HAS SOUPS 1849963 WITH SCORE 1866294.528
AT ITER 4299 NEW BEST:: SOT 24527230 SOS 16322991 HAS SOPS 16322991 HAS SOUS 1849516 HAS SOUPS 1849516 WITH SCORE 1865838.991
AT ITER 4300 NEW BEST:: SOT 24526819 SOS 16318774 HAS SOPS 16318774 HAS SOUS 1849400 HAS SOUPS 1849400 WITH SCORE 1865718.774
AT ITER 4363 NEW BEST:: SOT 24519901 SOS 16256512 HAS SOPS 16256512 HAS SOUS 1845941 HAS SOUPS 1845941 WITH SCORE 1862197.512
AT ITER 4382 NEW BEST:: SOT 24519901 SOS 16256468 HAS SOPS 16256468 HAS SOUS 1845897 HAS SOUPS 1845897 WITH SCORE 1862153.468
AT ITER 4390 NEW BEST:: SOT 24517199 SOS 16214930 HAS SOPS 16214930 HAS SOUS 1845270 HAS SOUPS 1845270 WITH SCORE 1861484.93
AT ITER 4429 NEW BEST:: SOT 24516324 SOS 16206764 HAS SOPS 16206764 HAS SOUS 1845029 HAS SOUPS 1845029 WITH SCORE 1861235.764
AT ITER 4431 NEW BEST:: SOT 24516324 SOS 16206764 HAS SOPS 16206764 HAS SOUS 1844509 HAS SOUPS 1844509 WITH SCORE 1860715.764
AT ITER 4454 NEW BEST:: SOT 24516324 SOS 16206764 HAS SOPS 16206764 HAS SOUS 1843539 HAS SOUPS 1843539 WITH SCORE 1859745.764
AT ITER 4492 NEW BEST:: SOT 24514380 SOS 16189268 HAS SOPS 16189268 HAS SOUS 1842567 HAS SOUPS 1842567 WITH SCORE 1858756.268
AT ITER 4513 NEW BEST:: SOT 24514380 SOS 16189249 HAS SOPS 16189249 HAS SOUS 1842548 HAS SOUPS 1842548 WITH SCORE 1858737.249
AT ITER 4536 NEW BEST:: SOT 24513040 SOS 16177189 HAS SOPS 16177189 HAS SOUS 1841878 HAS SOUPS 1841878 WITH SCORE 1858055.189
AT ITER 4569 NEW BEST:: SOT 24511574 SOS 16162712 HAS SOPS 16162712 HAS SOUS 1841527 HAS SOUPS 1841527 WITH SCORE 1857689.712
AT ITER 4614 NEW BEST:: SOT 24509418 SOS 16128216 HAS SOPS 16128216 HAS SOUS 1841527 HAS SOUPS 1841527 WITH SCORE 1857655.216
AT ITER 4644 NEW BEST:: SOT 24508872 SOS 16120267 HAS SOPS 16120267 HAS SOUS 1841474 HAS SOUPS 1841474 WITH SCORE 1857594.267
AT ITER 4653 NEW BEST:: SOT 24508872 SOS 16120251 HAS SOPS 16120251 HAS SOUS 1841456 HAS SOUPS 1841456 WITH SCORE 1857576.251
AT ITER 4659 NEW BEST:: SOT 24505943 SOS 16073661 HAS SOPS 16073661 HAS SOUS 1840044 HAS SOUPS 1840044 WITH SCORE 1856117.661
AT ITER 4676 NEW BEST:: SOT 24503593 SOS 16051727 HAS SOPS 16051727 HAS SOUS 1838925 HAS SOUPS 1838925 WITH SCORE 1854976.727
AT ITER 4677 NEW BEST:: SOT 24497739 SOS 15999041 HAS SOPS 15999041 HAS SOUS 1835998 HAS SOUPS 1835998 WITH SCORE 1851997.041
AT ITER 4710 NEW BEST:: SOT 24496535 SOS 15987701 HAS SOPS 15987701 HAS SOUS 1835852 HAS SOUPS 1835852 WITH SCORE 1851839.701
AT ITER 4719 NEW BEST:: SOT 24495789 SOS 15980483 HAS SOPS 15980483 HAS SOUS 1835515 HAS SOUPS 1835515 WITH SCORE 1851495.483
AT ITER 4733 NEW BEST:: SOT 24495789 SOS 15980481 HAS SOPS 15980481 HAS SOUS 1835513 HAS SOUPS 1835513 WITH SCORE 1851493.481
AT ITER 4757 NEW BEST:: SOT 24490285 SOS 15930945 HAS SOPS 15930945 HAS SOUS 1832761 HAS SOUPS 1832761 WITH SCORE 1848691.945
AT ITER 4769 NEW BEST:: SOT 24489825 SOS 15926805 HAS SOPS 15926805 HAS SOUS 1832531 HAS SOUPS 1832531 WITH SCORE 1848457.805
AT ITER 4799 NEW BEST:: SOT 24489744 SOS 15926470 HAS SOPS 15926470 HAS SOUS 1832277 HAS SOUPS 1832277 WITH SCORE 1848203.47
AT ITER 4828 NEW BEST:: SOT 24487996 SOS 15922713 HAS SOPS 15922713 HAS SOUS 1830268 HAS SOUPS 1830268 WITH SCORE 1846190.713
AT ITER 4830 NEW BEST:: SOT 24487996 SOS 15922709 HAS SOPS 15922709 HAS SOUS 1830264 HAS SOUPS 1830264 WITH SCORE 1846186.709
AT ITER 4832 NEW BEST:: SOT 24486762 SOS 15910323 HAS SOPS 15910323 HAS SOUS 1829807 HAS SOUPS 1829807 WITH SCORE 1845717.323
AT ITER 4835 NEW BEST:: SOT 24486000 SOS 15903465 HAS SOPS 15903465 HAS SOUS 1829426 HAS SOUPS 1829426 WITH SCORE 1845329.465
AT ITER 4856 NEW BEST:: SOT 24485554 SOS 15899663 HAS SOPS 15899663 HAS SOUS 1829415 HAS SOUPS 1829415 WITH SCORE 1845314.663
AT ITER 4893 NEW BEST:: SOT 24485456 SOS 15899227 HAS SOPS 15899227 HAS SOUS 1829073 HAS SOUPS 1829073 WITH SCORE 1844972.227
AT ITER 4900 NEW BEST:: SOT 24481710 SOS 15865548 HAS SOPS 15865548 HAS SOUS 1827235 HAS SOUPS 1827235 WITH SCORE 1843100.548
AT ITER 4930 NEW BEST:: SOT 24477614 SOS 15830720 HAS SOPS 15830720 HAS SOUS 1827223 HAS SOUPS 1827223 WITH SCORE 1843053.72
AT ITER 4979 NEW BEST:: SOT 24475780 SOS 15803458 HAS SOPS 15803458 HAS SOUS 1825917 HAS SOUPS 1825917 WITH SCORE 1841720.458
AT ITER 5029 NEW BEST:: SOT 24474958 SOS 15796159 HAS SOPS 15796159 HAS SOUS 1825605 HAS SOUPS 1825605 WITH SCORE 1841401.159
AT ITER 5047 NEW BEST:: SOT 24473725 SOS 15794992 HAS SOPS 15794992 HAS SOUS 1824355 HAS SOUPS 1824355 WITH SCORE 1840149.992
AT ITER 5076 NEW BEST:: SOT 24473291 SOS 15792090 HAS SOPS 15792090 HAS SOUS 1821887 HAS SOUPS 1821887 WITH SCORE 1837679.09
AT ITER 5077 NEW BEST:: SOT 24471312 SOS 15773074 HAS SOPS 15773074 HAS SOUS 1821348 HAS SOUPS 1821348 WITH SCORE 1837121.074
AT ITER 5097 NEW BEST:: SOT 24470090 SOS 15762076 HAS SOPS 15762076 HAS SOUS 1820737 HAS SOUPS 1820737 WITH SCORE 1836499.076
AT ITER 5137 NEW BEST:: SOT 24469478 SOS 15752284 HAS SOPS 15752284 HAS SOUS 1820737 HAS SOUPS 1820737 WITH SCORE 1836489.284
AT ITER 5210 NEW BEST:: SOT 24468660 SOS 15745319 HAS SOPS 15745319 HAS SOUS 1820725 HAS SOUPS 1820725 WITH SCORE 1836470.319
AT ITER 5215 NEW BEST:: SOT 24466810 SOS 15715593 HAS SOPS 15715593 HAS SOUS 1820734 HAS SOUPS 1820734 WITH SCORE 1836449.593
AT ITER 5221 NEW BEST:: SOT 24466810 SOS 15713729 HAS SOPS 15713729 HAS SOUS 1819560 HAS SOUPS 1819560 WITH SCORE 1835273.729
AT ITER 5243 NEW BEST:: SOT 24463291 SOS 15681095 HAS SOPS 15681095 HAS SOUS 1818075 HAS SOUPS 1818075 WITH SCORE 1833756.095
AT ITER 5251 NEW BEST:: SOT 24463291 SOS 15680838 HAS SOPS 15680838 HAS SOUS 1817818 HAS SOUPS 1817818 WITH SCORE 1833498.838
AT ITER 5288 NEW BEST:: SOT 24462854 SOS 15642488 HAS SOPS 15642488 HAS SOUS 1816713 HAS SOUPS 1816713 WITH SCORE 1832355.488
AT ITER 5298 NEW BEST:: SOT 24462854 SOS 15642477 HAS SOPS 15642477 HAS SOUS 1816702 HAS SOUPS 1816702 WITH SCORE 1832344.477
AT ITER 5333 NEW BEST:: SOT 24460564 SOS 15621867 HAS SOPS 15621867 HAS SOUS 1815557 HAS SOUPS 1815557 WITH SCORE 1831178.867
AT ITER 5343 NEW BEST:: SOT 24458226 SOS 15598659 HAS SOPS 15598659 HAS SOUS 1814547 HAS SOUPS 1814547 WITH SCORE 1830145.659
AT ITER 5383 NEW BEST:: SOT 24458226 SOS 15598442 HAS SOPS 15598442 HAS SOUS 1814330 HAS SOUPS 1814330 WITH SCORE 1829928.442
AT ITER 5400 NEW BEST:: SOT 24458131 SOS 15598212 HAS SOPS 15598212 HAS SOUS 1814191 HAS SOUPS 1814191 WITH SCORE 1829789.212
AT ITER 5401 NEW BEST:: SOT 24457986 SOS 15596578 HAS SOPS 15596578 HAS SOUS 1814142 HAS SOUPS 1814142 WITH SCORE 1829738.578
AT ITER 5445 NEW BEST:: SOT 24453522 SOS 15550669 HAS SOPS 15550669 HAS SOUS 1812398 HAS SOUPS 1812398 WITH SCORE 1827948.669
AT ITER 5447 NEW BEST:: SOT 24450149 SOS 15519577 HAS SOPS 15519577 HAS SOUS 1810764 HAS SOUPS 1810764 WITH SCORE 1826283.577
AT ITER 5448 NEW BEST:: SOT 24444922 SOS 15471463 HAS SOPS 15471463 HAS SOUS 1808189 HAS SOUPS 1808189 WITH SCORE 1823660.463
AT ITER 5466 NEW BEST:: SOT 24444523 SOS 15466745 HAS SOPS 15466745 HAS SOUS 1808070 HAS SOUPS 1808070 WITH SCORE 1823536.745
AT ITER 5497 NEW BEST:: SOT 24444523 SOS 15466638 HAS SOPS 15466638 HAS SOUS 1807963 HAS SOUPS 1807963 WITH SCORE 1823429.638
AT ITER 5521 NEW BEST:: SOT 24441562 SOS 15437639 HAS SOPS 15437639 HAS SOUS 1806750 HAS SOUPS 1806750 WITH SCORE 1822187.639
AT ITER 5539 NEW BEST:: SOT 24440930 SOS 15432255 HAS SOPS 15432255 HAS SOUS 1806738 HAS SOUPS 1806738 WITH SCORE 1822170.255
AT ITER 5556 NEW BEST:: SOT 24439446 SOS 15418899 HAS SOPS 15418899 HAS SOUS 1805996 HAS SOUPS 1805996 WITH SCORE 1821414.899
AT ITER 5561 NEW BEST:: SOT 24438330 SOS 15409408 HAS SOPS 15409408 HAS SOUS 1805991 HAS SOUPS 1805991 WITH SCORE 1821400.408
AT ITER 5565 NEW BEST:: SOT 24437626 SOS 15401034 HAS SOPS 15401034 HAS SOUS 1805881 HAS SOUPS 1805881 WITH SCORE 1821282.034
AT ITER 5567 NEW BEST:: SOT 24437626 SOS 15400999 HAS SOPS 15400999 HAS SOUS 1805846 HAS SOUPS 1805846 WITH SCORE 1821246.999
AT ITER 5570 NEW BEST:: SOT 24437354 SOS 15398672 HAS SOPS 15398672 HAS SOUS 1805831 HAS SOUPS 1805831 WITH SCORE 1821229.672
AT ITER 5576 NEW BEST:: SOT 24435808 SOS 15385529 HAS SOPS 15385529 HAS SOUS 1805829 HAS SOUPS 1805829 WITH SCORE 1821214.529
AT ITER 5579 NEW BEST:: SOT 24434134 SOS 15360257 HAS SOPS 15360257 HAS SOUS 1804712 HAS SOUPS 1804712 WITH SCORE 1820072.257
AT ITER 5641 NEW BEST:: SOT 24434134 SOS 15360226 HAS SOPS 15360226 HAS SOUS 1804681 HAS SOUPS 1804681 WITH SCORE 1820041.226
AT ITER 5698 NEW BEST:: SOT 24432382 SOS 15344458 HAS SOPS 15344458 HAS SOUS 1803805 HAS SOUPS 1803805 WITH SCORE 1819149.458
AT ITER 5710 NEW BEST:: SOT 24428620 SOS 15308469 HAS SOPS 15308469 HAS SOUS 1802298 HAS SOUPS 1802298 WITH SCORE 1817606.469
AT ITER 5739 NEW BEST:: SOT 24424838 SOS 15273493 HAS SOPS 15273493 HAS SOUS 1800474 HAS SOUPS 1800474 WITH SCORE 1815747.493
AT ITER 5807 NEW BEST:: SOT 24424838 SOS 15273481 HAS SOPS 15273481 HAS SOUS 1800462 HAS SOUPS 1800462 WITH SCORE 1815735.481
AT ITER 5812 NEW BEST:: SOT 24424647 SOS 15270425 HAS SOPS 15270425 HAS SOUS 1800462 HAS SOUPS 1800462 WITH SCORE 1815732.425
AT ITER 5871 NEW BEST:: SOT 24424647 SOS 15270425 HAS SOPS 15270425 HAS SOUS 1800460 HAS SOUPS 1800460 WITH SCORE 1815730.425
AT ITER 5876 NEW BEST:: SOT 24423607 SOS 15261065 HAS SOPS 15261065 HAS SOUS 1799940 HAS SOUPS 1799940 WITH SCORE 1815201.065
AT ITER 5893 NEW BEST:: SOT 24421608 SOS 15224054 HAS SOPS 15224054 HAS SOUS 1798664 HAS SOUPS 1798664 WITH SCORE 1813888.054
AT ITER 5900 NEW BEST:: SOT 24421493 SOS 15223519 HAS SOPS 15223519 HAS SOUS 1798244 HAS SOUPS 1798244 WITH SCORE 1813467.519
AT ITER 5911 NEW BEST:: SOT 24420267 SOS 15225566 HAS SOPS 15225566 HAS SOUS 1796944 HAS SOUPS 1796944 WITH SCORE 1812169.566
AT ITER 5927 NEW BEST:: SOT 24418482 SOS 15209047 HAS SOPS 15209047 HAS SOUS 1796220 HAS SOUPS 1796220 WITH SCORE 1811429.047
AT ITER 5937 NEW BEST:: SOT 24418445 SOS 15208902 HAS SOPS 15208902 HAS SOUS 1796106 HAS SOUPS 1796106 WITH SCORE 1811314.902
AT ITER 5979 NEW BEST:: SOT 24417079 SOS 15196608 HAS SOPS 15196608 HAS SOUS 1795423 HAS SOUPS 1795423 WITH SCORE 1810619.608
AT ITER 5988 NEW BEST:: SOT 24416381 SOS 15186028 HAS SOPS 15186028 HAS SOUS 1795208 HAS SOUPS 1795208 WITH SCORE 1810394.028
AT ITER 5990 NEW BEST:: SOT 24412162 SOS 15124402 HAS SOPS 15124402 HAS SOUS 1795101 HAS SOUPS 1795101 WITH SCORE 1810225.402
AT ITER 6000 NEW BEST:: SOT 24407630 SOS 15082550 HAS SOPS 15082550 HAS SOUS 1793121 HAS SOUPS 1793121 WITH SCORE 1808203.55
AT ITER 6001 NEW BEST:: SOT 24407064 SOS 15081418 HAS SOPS 15081418 HAS SOUS 1792790 HAS SOUPS 1792790 WITH SCORE 1807871.418
AT ITER 6012 NEW BEST:: SOT 24404835 SOS 15060949 HAS SOPS 15060949 HAS SOUS 1791965 HAS SOUPS 1791965 WITH SCORE 1807025.949
AT ITER 6026 NEW BEST:: SOT 24403947 SOS 15052161 HAS SOPS 15052161 HAS SOUS 1791715 HAS SOUPS 1791715 WITH SCORE 1806767.161
AT ITER 6040 NEW BEST:: SOT 24403947 SOS 15052161 HAS SOPS 15052161 HAS SOUS 1791713 HAS SOUPS 1791713 WITH SCORE 1806765.161
AT ITER 6045 NEW BEST:: SOT 24402130 SOS 15048510 HAS SOPS 15048510 HAS SOUS 1790886 HAS SOUPS 1790886 WITH SCORE 1805934.51
AT ITER 6083 NEW BEST:: SOT 24402130 SOS 15048458 HAS SOPS 15048458 HAS SOUS 1790834 HAS SOUPS 1790834 WITH SCORE 1805882.458
AT ITER 6100 NEW BEST:: SOT 24402127 SOS 15048362 HAS SOPS 15048362 HAS SOUS 1790741 HAS SOUPS 1790741 WITH SCORE 1805789.362
AT ITER 6107 NEW BEST:: SOT 24399142 SOS 15021357 HAS SOPS 15021357 HAS SOUS 1789461 HAS SOUPS 1789461 WITH SCORE 1804482.357
AT ITER 6132 NEW BEST:: SOT 24399080 SOS 15021227 HAS SOPS 15021227 HAS SOUS 1789393 HAS SOUPS 1789393 WITH SCORE 1804414.227
AT ITER 6141 NEW BEST:: SOT 24398744 SOS 15018354 HAS SOPS 15018354 HAS SOUS 1789374 HAS SOUPS 1789374 WITH SCORE 1804392.354
AT ITER 6151 NEW BEST:: SOT 24398744 SOS 15018068 HAS SOPS 15018068 HAS SOUS 1789088 HAS SOUPS 1789088 WITH SCORE 1804106.068
AT ITER 6152 NEW BEST:: SOT 24398408 SOS 15015044 HAS SOPS 15015044 HAS SOUS 1788920 HAS SOUPS 1788920 WITH SCORE 1803935.044
AT ITER 6181 NEW BEST:: SOT 24394320 SOS 14978252 HAS SOPS 14978252 HAS SOUS 1786876 HAS SOUPS 1786876 WITH SCORE 1801854.252
AT ITER 6220 NEW BEST:: SOT 24394320 SOS 14978252 HAS SOPS 14978252 HAS SOUS 1786868 HAS SOUPS 1786868 WITH SCORE 1801846.252
AT ITER 6233 NEW BEST:: SOT 24393128 SOS 14975868 HAS SOPS 14975868 HAS SOUS 1785868 HAS SOUPS 1785868 WITH SCORE 1800843.868
AT ITER 6238 NEW BEST:: SOT 24392374 SOS 14969082 HAS SOPS 14969082 HAS SOUS 1785491 HAS SOUPS 1785491 WITH SCORE 1800460.082
AT ITER 6241 NEW BEST:: SOT 24392374 SOS 14969082 HAS SOPS 14969082 HAS SOUS 1783423 HAS SOUPS 1783423 WITH SCORE 1798392.082
AT ITER 6260 NEW BEST:: SOT 24391056 SOS 14957182 HAS SOPS 14957182 HAS SOUS 1783296 HAS SOUPS 1783296 WITH SCORE 1798253.182
AT ITER 6278 NEW BEST:: SOT 24389908 SOS 14947423 HAS SOPS 14947423 HAS SOUS 1783295 HAS SOUPS 1783295 WITH SCORE 1798242.423
AT ITER 6316 NEW BEST:: SOT 24389874 SOS 14947133 HAS SOPS 14947133 HAS SOUS 1783294 HAS SOUPS 1783294 WITH SCORE 1798241.133
AT ITER 6322 NEW BEST:: SOT 24389829 SOS 14946875 HAS SOPS 14946875 HAS SOUS 1783081 HAS SOUPS 1783081 WITH SCORE 1798027.875
AT ITER 6335 NEW BEST:: SOT 24389864 SOS 14946721 HAS SOPS 14946721 HAS SOUS 1782892 HAS SOUPS 1782892 WITH SCORE 1797838.721
AT ITER 6410 NEW BEST:: SOT 24389560 SOS 14946102 HAS SOPS 14946102 HAS SOUS 1782577 HAS SOUPS 1782577 WITH SCORE 1797523.102
AT ITER 6412 NEW BEST:: SOT 24388475 SOS 14947418 HAS SOPS 14947418 HAS SOUS 1781644 HAS SOUPS 1781644 WITH SCORE 1796591.418
AT ITER 6414 NEW BEST:: SOT 24385053 SOS 14916620 HAS SOPS 14916620 HAS SOUS 1779931 HAS SOUPS 1779931 WITH SCORE 1794847.62
AT ITER 6431 NEW BEST:: SOT 24383374 SOS 14893928 HAS SOPS 14893928 HAS SOUS 1779633 HAS SOUPS 1779633 WITH SCORE 1794526.928
AT ITER 6436 NEW BEST:: SOT 24382893 SOS 14892651 HAS SOPS 14892651 HAS SOUS 1778837 HAS SOUPS 1778837 WITH SCORE 1793729.651
AT ITER 6443 NEW BEST:: SOT 24382585 SOS 14889879 HAS SOPS 14889879 HAS SOUS 1778683 HAS SOUPS 1778683 WITH SCORE 1793572.879
AT ITER 6456 NEW BEST:: SOT 24380958 SOS 14873202 HAS SOPS 14873202 HAS SOUS 1778289 HAS SOUPS 1778289 WITH SCORE 1793162.202
AT ITER 6461 NEW BEST:: SOT 24380040 SOS 14864940 HAS SOPS 14864940 HAS SOUS 1777830 HAS SOUPS 1777830 WITH SCORE 1792694.94
AT ITER 6482 NEW BEST:: SOT 24379738 SOS 14862361 HAS SOPS 14862361 HAS SOUS 1777818 HAS SOUPS 1777818 WITH SCORE 1792680.361
AT ITER 6493 NEW BEST:: SOT 24378935 SOS 14859952 HAS SOPS 14859952 HAS SOUS 1776210 HAS SOUPS 1776210 WITH SCORE 1791069.952
AT ITER 6512 NEW BEST:: SOT 24379033 SOS 14861422 HAS SOPS 14861422 HAS SOUS 1776112 HAS SOUPS 1776112 WITH SCORE 1790973.422
AT ITER 6520 NEW BEST:: SOT 24379033 SOS 14861422 HAS SOPS 14861422 HAS SOUS 1776106 HAS SOUPS 1776106 WITH SCORE 1790967.422
AT ITER 6521 NEW BEST:: SOT 24379305 SOS 14859608 HAS SOPS 14859608 HAS SOUS 1774020 HAS SOUPS 1774020 WITH SCORE 1788879.608
AT ITER 6532 NEW BEST:: SOT 24378595 SOS 14822576 HAS SOPS 14822576 HAS SOUS 1774041 HAS SOUPS 1774041 WITH SCORE 1788863.576
AT ITER 6538 NEW BEST:: SOT 24378579 SOS 14822417 HAS SOPS 14822417 HAS SOUS 1773898 HAS SOUPS 1773898 WITH SCORE 1788720.417
AT ITER 6555 NEW BEST:: SOT 24377535 SOS 14813543 HAS SOPS 14813543 HAS SOUS 1773898 HAS SOUPS 1773898 WITH SCORE 1788711.543
AT ITER 6579 NEW BEST:: SOT 24377385 SOS 14812193 HAS SOPS 14812193 HAS SOUS 1773823 HAS SOUPS 1773823 WITH SCORE 1788635.193
AT ITER 6595 NEW BEST:: SOT 24376497 SOS 14804241 HAS SOPS 14804241 HAS SOUS 1773419 HAS SOUPS 1773419 WITH SCORE 1788223.241
AT ITER 6619 NEW BEST:: SOT 24376497 SOS 14802534 HAS SOPS 14802534 HAS SOUS 1771728 HAS SOUPS 1771728 WITH SCORE 1786530.534
AT ITER 6620 NEW BEST:: SOT 24376106 SOS 14796726 HAS SOPS 14796726 HAS SOUS 1771585 HAS SOUPS 1771585 WITH SCORE 1786381.726
AT ITER 6625 NEW BEST:: SOT 24372998 SOS 14768754 HAS SOPS 14768754 HAS SOUS 1770031 HAS SOUPS 1770031 WITH SCORE 1784799.754
AT ITER 6627 NEW BEST:: SOT 24367509 SOS 14709867 HAS SOPS 14709867 HAS SOUS 1768998 HAS SOUPS 1768998 WITH SCORE 1783707.867
AT ITER 6677 NEW BEST:: SOT 24366134 SOS 14691095 HAS SOPS 14691095 HAS SOUS 1768849 HAS SOUPS 1768849 WITH SCORE 1783540.095
AT ITER 6709 NEW BEST:: SOT 24363912 SOS 14671097 HAS SOPS 14671097 HAS SOUS 1767738 HAS SOUPS 1767738 WITH SCORE 1782409.097
AT ITER 6710 NEW BEST:: SOT 24359846 SOS 14634503 HAS SOPS 14634503 HAS SOUS 1765705 HAS SOUPS 1765705 WITH SCORE 1780339.503
AT ITER 6720 NEW BEST:: SOT 24359846 SOS 14634503 HAS SOPS 14634503 HAS SOUS 1765703 HAS SOUPS 1765703 WITH SCORE 1780337.503
AT ITER 6729 NEW BEST:: SOT 24355280 SOS 14589419 HAS SOPS 14589419 HAS SOUS 1763705 HAS SOUPS 1763705 WITH SCORE 1778294.419
AT ITER 6730 NEW BEST:: SOT 24355139 SOS 14589154 HAS SOPS 14589154 HAS SOUS 1763581 HAS SOUPS 1763581 WITH SCORE 1778170.154
AT ITER 6755 NEW BEST:: SOT 24354659 SOS 14584834 HAS SOPS 14584834 HAS SOUS 1763341 HAS SOUPS 1763341 WITH SCORE 1777925.834
AT ITER 6756 NEW BEST:: SOT 24348753 SOS 14532754 HAS SOPS 14532754 HAS SOUS 1761462 HAS SOUPS 1761462 WITH SCORE 1775994.754
AT ITER 6759 NEW BEST:: SOT 24346937 SOS 14516410 HAS SOPS 14516410 HAS SOUS 1760554 HAS SOUPS 1760554 WITH SCORE 1775070.41
AT ITER 6765 NEW BEST:: SOT 24345937 SOS 14507906 HAS SOPS 14507906 HAS SOUS 1760550 HAS SOUPS 1760550 WITH SCORE 1775057.906
AT ITER 6787 NEW BEST:: SOT 24345813 SOS 14506790 HAS SOPS 14506790 HAS SOUS 1760488 HAS SOUPS 1760488 WITH SCORE 1774994.79
AT ITER 6804 NEW BEST:: SOT 24345081 SOS 14497546 HAS SOPS 14497546 HAS SOUS 1760331 HAS SOUPS 1760331 WITH SCORE 1774828.546
AT ITER 6805 NEW BEST:: SOT 24342931 SOS 14478168 HAS SOPS 14478168 HAS SOUS 1759258 HAS SOUPS 1759258 WITH SCORE 1773736.168
AT ITER 6890 NEW BEST:: SOT 24342395 SOS 14470418 HAS SOPS 14470418 HAS SOUS 1759199 HAS SOUPS 1759199 WITH SCORE 1773669.418
AT ITER 6933 NEW BEST:: SOT 24341045 SOS 14457259 HAS SOPS 14457259 HAS SOUS 1758625 HAS SOUPS 1758625 WITH SCORE 1773082.259
AT ITER 6953 NEW BEST:: SOT 24341033 SOS 14457151 HAS SOPS 14457151 HAS SOUS 1758619 HAS SOUPS 1758619 WITH SCORE 1773076.151
AT ITER 6956 NEW BEST:: SOT 24340654 SOS 14451101 HAS SOPS 14451101 HAS SOUS 1758618 HAS SOUPS 1758618 WITH SCORE 1773069.101
AT ITER 6978 NEW BEST:: SOT 24340440 SOS 14451075 HAS SOPS 14451075 HAS SOUS 1758592 HAS SOUPS 1758592 WITH SCORE 1773043.075
AT ITER 6982 NEW BEST:: SOT 24339764 SOS 14444431 HAS SOPS 14444431 HAS SOUS 1758294 HAS SOUPS 1758294 WITH SCORE 1772738.431
AT ITER 6999 NEW BEST:: SOT 24339764 SOS 14444431 HAS SOPS 14444431 HAS SOUS 1758292 HAS SOUPS 1758292 WITH SCORE 1772736.431
AT ITER 7055 NEW BEST:: SOT 24337956 SOS 14427655 HAS SOPS 14427655 HAS SOUS 1757424 HAS SOUPS 1757424 WITH SCORE 1771851.655
AT ITER 7083 NEW BEST:: SOT 24338027 SOS 14430373 HAS SOPS 14430373 HAS SOUS 1757311 HAS SOUPS 1757311 WITH SCORE 1771741.373
AT ITER 7085 NEW BEST:: SOT 24337450 SOS 14428887 HAS SOPS 14428887 HAS SOUS 1756661 HAS SOUPS 1756661 WITH SCORE 1771089.887
AT ITER 7089 NEW BEST:: SOT 24333696 SOS 14393995 HAS SOPS 14393995 HAS SOUS 1756003 HAS SOUPS 1756003 WITH SCORE 1770396.995
AT ITER 7111 NEW BEST:: SOT 24332932 SOS 14377093 HAS SOPS 14377093 HAS SOUS 1755640 HAS SOUPS 1755640 WITH SCORE 1770017.093
AT ITER 7131 NEW BEST:: SOT 24332486 SOS 14373079 HAS SOPS 14373079 HAS SOUS 1755417 HAS SOUPS 1755417 WITH SCORE 1769790.079
AT ITER 7156 NEW BEST:: SOT 24329538 SOS 14346547 HAS SOPS 14346547 HAS SOUS 1753943 HAS SOUPS 1753943 WITH SCORE 1768289.547
AT ITER 7173 NEW BEST:: SOT 24328430 SOS 14336257 HAS SOPS 14336257 HAS SOUS 1753476 HAS SOUPS 1753476 WITH SCORE 1767812.257
AT ITER 7177 NEW BEST:: SOT 24327052 SOS 14332150 HAS SOPS 14332150 HAS SOUS 1750747 HAS SOUPS 1750747 WITH SCORE 1765079.15
AT ITER 7180 NEW BEST:: SOT 24325479 SOS 14317230 HAS SOPS 14317230 HAS SOUS 1750450 HAS SOUPS 1750450 WITH SCORE 1764767.23
AT ITER 7208 NEW BEST:: SOT 24325302 SOS 14316699 HAS SOPS 14316699 HAS SOUS 1750096 HAS SOUPS 1750096 WITH SCORE 1764412.699
AT ITER 7222 NEW BEST:: SOT 24320127 SOS 14260121 HAS SOPS 14260121 HAS SOUS 1750023 HAS SOUPS 1750023 WITH SCORE 1764283.121
AT ITER 7301 NEW BEST:: SOT 24316487 SOS 14227361 HAS SOPS 14227361 HAS SOUS 1748203 HAS SOUPS 1748203 WITH SCORE 1762430.361
AT ITER 7303 NEW BEST:: SOT 24314832 SOS 14191753 HAS SOPS 14191753 HAS SOUS 1747886 HAS SOUPS 1747886 WITH SCORE 1762077.753
AT ITER 7316 NEW BEST:: SOT 24314100 SOS 14185165 HAS SOPS 14185165 HAS SOUS 1747520 HAS SOUPS 1747520 WITH SCORE 1761705.165
AT ITER 7326 NEW BEST:: SOT 24314010 SOS 14184355 HAS SOPS 14184355 HAS SOUS 1747475 HAS SOUPS 1747475 WITH SCORE 1761659.355
AT ITER 7352 NEW BEST:: SOT 24311610 SOS 14163948 HAS SOPS 14163948 HAS SOUS 1747468 HAS SOUPS 1747468 WITH SCORE 1761631.948
AT ITER 7355 NEW BEST:: SOT 24309784 SOS 14147373 HAS SOPS 14147373 HAS SOUS 1746624 HAS SOUPS 1746624 WITH SCORE 1760771.373
AT ITER 7360 NEW BEST:: SOT 24307756 SOS 14129121 HAS SOPS 14129121 HAS SOUS 1745610 HAS SOUPS 1745610 WITH SCORE 1759739.121
AT ITER 7369 NEW BEST:: SOT 24307707 SOS 14128337 HAS SOPS 14128337 HAS SOUS 1745610 HAS SOUPS 1745610 WITH SCORE 1759738.337
AT ITER 7386 NEW BEST:: SOT 24302499 SOS 14081465 HAS SOPS 14081465 HAS SOUS 1743006 HAS SOUPS 1743006 WITH SCORE 1757087.465
AT ITER 7413 NEW BEST:: SOT 24302025 SOS 14077423 HAS SOPS 14077423 HAS SOUS 1742993 HAS SOUPS 1742993 WITH SCORE 1757070.423
AT ITER 7417 NEW BEST:: SOT 24297218 SOS 14033159 HAS SOPS 14033159 HAS SOUS 1740661 HAS SOUPS 1740661 WITH SCORE 1754694.159
AT ITER 7422 NEW BEST:: SOT 24295058 SOS 14008226 HAS SOPS 14008226 HAS SOUS 1740359 HAS SOUPS 1740359 WITH SCORE 1754367.226
AT ITER 7427 NEW BEST:: SOT 24292164 SOS 13990147 HAS SOPS 13990147 HAS SOUS 1739496 HAS SOUPS 1739496 WITH SCORE 1753486.147
AT ITER 7449 NEW BEST:: SOT 24292908 SOS 13991849 HAS SOPS 13991849 HAS SOUS 1738428 HAS SOUPS 1738428 WITH SCORE 1752419.849
AT ITER 7450 NEW BEST:: SOT 24292675 SOS 13989423 HAS SOPS 13989423 HAS SOUS 1738335 HAS SOUPS 1738335 WITH SCORE 1752324.423
AT ITER 7454 NEW BEST:: SOT 24290535 SOS 13968191 HAS SOPS 13968191 HAS SOUS 1737723 HAS SOUPS 1737723 WITH SCORE 1751691.191
AT ITER 7487 NEW BEST:: SOT 24290115 SOS 13964605 HAS SOPS 13964605 HAS SOUS 1737705 HAS SOUPS 1737705 WITH SCORE 1751669.605
AT ITER 7506 NEW BEST:: SOT 24290115 SOS 13964605 HAS SOPS 13964605 HAS SOUS 1737695 HAS SOUPS 1737695 WITH SCORE 1751659.605
AT ITER 7525 NEW BEST:: SOT 24290115 SOS 13964605 HAS SOPS 13964605 HAS SOUS 1737693 HAS SOUPS 1737693 WITH SCORE 1751657.605
AT ITER 7572 NEW BEST:: SOT 24289732 SOS 13960409 HAS SOPS 13960409 HAS SOUS 1737555 HAS SOUPS 1737555 WITH SCORE 1751515.409
AT ITER 7582 NEW BEST:: SOT 24287346 SOS 13937451 HAS SOPS 13937451 HAS SOUS 1736468 HAS SOUPS 1736468 WITH SCORE 1750405.451
AT ITER 7615 NEW BEST:: SOT 24284382 SOS 13912257 HAS SOPS 13912257 HAS SOUS 1736468 HAS SOUPS 1736468 WITH SCORE 1750380.257
AT ITER 7636 NEW BEST:: SOT 24283774 SOS 13902585 HAS SOPS 13902585 HAS SOUS 1736464 HAS SOUPS 1736464 WITH SCORE 1750366.585
AT ITER 7640 NEW BEST:: SOT 24282706 SOS 13892973 HAS SOPS 13892973 HAS SOUS 1735930 HAS SOUPS 1735930 WITH SCORE 1749822.973
AT ITER 7711 NEW BEST:: SOT 24282706 SOS 13893168 HAS SOPS 13893168 HAS SOUS 1735915 HAS SOUPS 1735915 WITH SCORE 1749808.168
AT ITER 7721 NEW BEST:: SOT 24282568 SOS 13891926 HAS SOPS 13891926 HAS SOUS 1735846 HAS SOUPS 1735846 WITH SCORE 1749737.926
AT ITER 7736 NEW BEST:: SOT 24282568 SOS 13891141 HAS SOPS 13891141 HAS SOUS 1735061 HAS SOUPS 1735061 WITH SCORE 1748952.141
AT ITER 7753 NEW BEST:: SOT 24281794 SOS 13884175 HAS SOPS 13884175 HAS SOUS 1734674 HAS SOUPS 1734674 WITH SCORE 1748558.175
AT ITER 7755 NEW BEST:: SOT 24281415 SOS 13855445 HAS SOPS 13855445 HAS SOUS 1734463 HAS SOUPS 1734463 WITH SCORE 1748318.445
AT ITER 7765 NEW BEST:: SOT 24280819 SOS 13850366 HAS SOPS 13850366 HAS SOUS 1734450 HAS SOUPS 1734450 WITH SCORE 1748300.366
AT ITER 7770 NEW BEST:: SOT 24280819 SOS 13850366 HAS SOPS 13850366 HAS SOUS 1734448 HAS SOUPS 1734448 WITH SCORE 1748298.366
AT ITER 7788 NEW BEST:: SOT 24278248 SOS 13813252 HAS SOPS 13813252 HAS SOUS 1734043 HAS SOUPS 1734043 WITH SCORE 1747856.252
AT ITER 7795 NEW BEST:: SOT 24277984 SOS 13809028 HAS SOPS 13809028 HAS SOUS 1734043 HAS SOUPS 1734043 WITH SCORE 1747852.028
AT ITER 7799 NEW BEST:: SOT 24277327 SOS 13802721 HAS SOPS 13802721 HAS SOUS 1733793 HAS SOUPS 1733793 WITH SCORE 1747595.721
AT ITER 7816 NEW BEST:: SOT 24275055 SOS 13781316 HAS SOPS 13781316 HAS SOUS 1732780 HAS SOUPS 1732780 WITH SCORE 1746561.316
AT ITER 7825 NEW BEST:: SOT 24271225 SOS 13745571 HAS SOPS 13745571 HAS SOUS 1730985 HAS SOUPS 1730985 WITH SCORE 1744730.571
AT ITER 7847 NEW BEST:: SOT 24270586 SOS 13744293 HAS SOPS 13744293 HAS SOUS 1730346 HAS SOUPS 1730346 WITH SCORE 1744090.293
AT ITER 7920 NEW BEST:: SOT 24270069 SOS 13743755 HAS SOPS 13743755 HAS SOUS 1730325 HAS SOUPS 1730325 WITH SCORE 1744068.755
AT ITER 7935 NEW BEST:: SOT 24270069 SOS 13743686 HAS SOPS 13743686 HAS SOUS 1730256 HAS SOUPS 1730256 WITH SCORE 1743999.686
AT ITER 7940 NEW BEST:: SOT 24269962 SOS 13743472 HAS SOPS 13743472 HAS SOUS 1730145 HAS SOUPS 1730145 WITH SCORE 1743888.472
AT ITER 7956 NEW BEST:: SOT 24268517 SOS 13728275 HAS SOPS 13728275 HAS SOUS 1729843 HAS SOUPS 1729843 WITH SCORE 1743571.275
AT ITER 7973 NEW BEST:: SOT 24267149 SOS 13715571 HAS SOPS 13715571 HAS SOUS 1729111 HAS SOUPS 1729111 WITH SCORE 1742826.571
AT ITER 7996 NEW BEST:: SOT 24262823 SOS 13656847 HAS SOPS 13656847 HAS SOUS 1727857 HAS SOUPS 1727857 WITH SCORE 1741513.847
AT ITER 8022 NEW BEST:: SOT 24262675 SOS 13656541 HAS SOPS 13656541 HAS SOUS 1727668 HAS SOUPS 1727668 WITH SCORE 1741324.541
AT ITER 8050 NEW BEST:: SOT 24260373 SOS 13636804 HAS SOPS 13636804 HAS SOUS 1727498 HAS SOUPS 1727498 WITH SCORE 1741134.804
AT ITER 8051 NEW BEST:: SOT 24259903 SOS 13632574 HAS SOPS 13632574 HAS SOUS 1727263 HAS SOUPS 1727263 WITH SCORE 1740895.574
AT ITER 8062 NEW BEST:: SOT 24259903 SOS 13632574 HAS SOPS 13632574 HAS SOUS 1727261 HAS SOUPS 1727261 WITH SCORE 1740893.574
AT ITER 8065 NEW BEST:: SOT 24259903 SOS 13632104 HAS SOPS 13632104 HAS SOUS 1726915 HAS SOUPS 1726915 WITH SCORE 1740547.104
AT ITER 8072 NEW BEST:: SOT 24260054 SOS 13635332 HAS SOPS 13635332 HAS SOUS 1726857 HAS SOUPS 1726857 WITH SCORE 1740492.332
AT ITER 8092 NEW BEST:: SOT 24259692 SOS 13634970 HAS SOPS 13634970 HAS SOUS 1726595 HAS SOUPS 1726595 WITH SCORE 1740229.97
AT ITER 8095 NEW BEST:: SOT 24259692 SOS 13634888 HAS SOPS 13634888 HAS SOUS 1726511 HAS SOUPS 1726511 WITH SCORE 1740145.888
AT ITER 8107 NEW BEST:: SOT 24258787 SOS 13622914 HAS SOPS 13622914 HAS SOUS 1726480 HAS SOUPS 1726480 WITH SCORE 1740102.914
AT ITER 8115 NEW BEST:: SOT 24255394 SOS 13592506 HAS SOPS 13592506 HAS SOUS 1726466 HAS SOUPS 1726466 WITH SCORE 1740058.506
AT ITER 8124 NEW BEST:: SOT 24255261 SOS 13590378 HAS SOPS 13590378 HAS SOUS 1726466 HAS SOUPS 1726466 WITH SCORE 1740056.378
AT ITER 8180 NEW BEST:: SOT 24254666 SOS 13582650 HAS SOPS 13582650 HAS SOUS 1726334 HAS SOUPS 1726334 WITH SCORE 1739916.65
AT ITER 8192 NEW BEST:: SOT 24251156 SOS 13551060 HAS SOPS 13551060 HAS SOUS 1724579 HAS SOUPS 1724579 WITH SCORE 1738130.06
AT ITER 8196 NEW BEST:: SOT 24250936 SOS 13549177 HAS SOPS 13549177 HAS SOUS 1724566 HAS SOUPS 1724566 WITH SCORE 1738115.177
AT ITER 8203 NEW BEST:: SOT 24250228 SOS 13542805 HAS SOPS 13542805 HAS SOUS 1724212 HAS SOUPS 1724212 WITH SCORE 1737754.805
AT ITER 8232 NEW BEST:: SOT 24245390 SOS 13497898 HAS SOPS 13497898 HAS SOUS 1721898 HAS SOUPS 1721898 WITH SCORE 1735395.898
AT ITER 8239 NEW BEST:: SOT 24245252 SOS 13497632 HAS SOPS 13497632 HAS SOUS 1721881 HAS SOUPS 1721881 WITH SCORE 1735378.632
AT ITER 8268 NEW BEST:: SOT 24245252 SOS 13505136 HAS SOPS 13505136 HAS SOUS 1721345 HAS SOUPS 1721345 WITH SCORE 1734850.136
AT ITER 8275 NEW BEST:: SOT 24240400 SOS 13461468 HAS SOPS 13461468 HAS SOUS 1718919 HAS SOUPS 1718919 WITH SCORE 1732380.468
AT ITER 8277 NEW BEST:: SOT 24239256 SOS 13458820 HAS SOPS 13458820 HAS SOUS 1717987 HAS SOUPS 1717987 WITH SCORE 1731445.82
AT ITER 8285 NEW BEST:: SOT 24237249 SOS 13454820 HAS SOPS 13454820 HAS SOUS 1717280 HAS SOUPS 1717280 WITH SCORE 1730734.82
AT ITER 8291 NEW BEST:: SOT 24236837 SOS 13453986 HAS SOPS 13453986 HAS SOUS 1716795 HAS SOUPS 1716795 WITH SCORE 1730248.986
AT ITER 8329 NEW BEST:: SOT 24236581 SOS 13451682 HAS SOPS 13451682 HAS SOUS 1716667 HAS SOUPS 1716667 WITH SCORE 1730118.682
AT ITER 8338 NEW BEST:: SOT 24231075 SOS 13402128 HAS SOPS 13402128 HAS SOUS 1713876 HAS SOUPS 1713876 WITH SCORE 1727278.128
AT ITER 8355 NEW BEST:: SOT 24231075 SOS 13402128 HAS SOPS 13402128 HAS SOUS 1713846 HAS SOUPS 1713846 WITH SCORE 1727248.128
AT ITER 8357 NEW BEST:: SOT 24230911 SOS 13400652 HAS SOPS 13400652 HAS SOUS 1713764 HAS SOUPS 1713764 WITH SCORE 1727164.652
AT ITER 8369 NEW BEST:: SOT 24231033 SOS 13400892 HAS SOPS 13400892 HAS SOUS 1713760 HAS SOUPS 1713760 WITH SCORE 1727160.892
AT ITER 8378 NEW BEST:: SOT 24228921 SOS 13382940 HAS SOPS 13382940 HAS SOUS 1713760 HAS SOUPS 1713760 WITH SCORE 1727142.94
AT ITER 8423 NEW BEST:: SOT 24228719 SOS 13381122 HAS SOPS 13381122 HAS SOUS 1713659 HAS SOUPS 1713659 WITH SCORE 1727040.122
AT ITER 8425 NEW BEST:: SOT 24228412 SOS 13376210 HAS SOPS 13376210 HAS SOUS 1713659 HAS SOUPS 1713659 WITH SCORE 1727035.21
AT ITER 8461 NEW BEST:: SOT 24227346 SOS 13366616 HAS SOPS 13366616 HAS SOUS 1713126 HAS SOUPS 1713126 WITH SCORE 1726492.616
AT ITER 8517 NEW BEST:: SOT 24225830 SOS 13363584 HAS SOPS 13363584 HAS SOUS 1712366 HAS SOUPS 1712366 WITH SCORE 1725729.584
AT ITER 8527 NEW BEST:: SOT 24225020 SOS 13356481 HAS SOPS 13356481 HAS SOUS 1712148 HAS SOUPS 1712148 WITH SCORE 1725504.481
AT ITER 8536 NEW BEST:: SOT 24220811 SOS 13346480 HAS SOPS 13346480 HAS SOUS 1707809 HAS SOUPS 1707809 WITH SCORE 1721155.48
AT ITER 8544 NEW BEST:: SOT 24220793 SOS 13346259 HAS SOPS 13346259 HAS SOUS 1707606 HAS SOUPS 1707606 WITH SCORE 1720952.259
AT ITER 8687 NEW BEST:: SOT 24220743 SOS 13346159 HAS SOPS 13346159 HAS SOUS 1707556 HAS SOUPS 1707556 WITH SCORE 1720902.159
AT ITER 8700 NEW BEST:: SOT 24219353 SOS 13334092 HAS SOPS 13334092 HAS SOUS 1707304 HAS SOUPS 1707304 WITH SCORE 1720638.092
AT ITER 8776 NEW BEST:: SOT 24219008 SOS 13330573 HAS SOPS 13330573 HAS SOUS 1707250 HAS SOUPS 1707250 WITH SCORE 1720580.573
AT ITER 8788 NEW BEST:: SOT 24218586 SOS 13326923 HAS SOPS 13326923 HAS SOUS 1707187 HAS SOUPS 1707187 WITH SCORE 1720513.923
AT ITER 8823 NEW BEST:: SOT 24217261 SOS 13314480 HAS SOPS 13314480 HAS SOUS 1706719 HAS SOUPS 1706719 WITH SCORE 1720033.48
AT ITER 8834 NEW BEST:: SOT 24215661 SOS 13298246 HAS SOPS 13298246 HAS SOUS 1706050 HAS SOUPS 1706050 WITH SCORE 1719348.246
AT ITER 8856 NEW BEST:: SOT 24215131 SOS 13297186 HAS SOPS 13297186 HAS SOUS 1705783 HAS SOUPS 1705783 WITH SCORE 1719080.186
AT ITER 8895 NEW BEST:: SOT 24213861 SOS 13276866 HAS SOPS 13276866 HAS SOUS 1704513 HAS SOUPS 1704513 WITH SCORE 1717789.866
AT ITER 8901 NEW BEST:: SOT 24213861 SOS 13276862 HAS SOPS 13276862 HAS SOUS 1704509 HAS SOUPS 1704509 WITH SCORE 1717785.862
AT ITER 8925 NEW BEST:: SOT 24213861 SOS 13276854 HAS SOPS 13276854 HAS SOUS 1704501 HAS SOUPS 1704501 WITH SCORE 1717777.854
AT ITER 8969 NEW BEST:: SOT 24210857 SOS 13251319 HAS SOPS 13251319 HAS SOUS 1704500 HAS SOUPS 1704500 WITH SCORE 1717751.319
AT ITER 8979 NEW BEST:: SOT 24209766 SOS 13233989 HAS SOPS 13233989 HAS SOUS 1704100 HAS SOUPS 1704100 WITH SCORE 1717333.989
AT ITER 9020 NEW BEST:: SOT 24207632 SOS 13214849 HAS SOPS 13214849 HAS SOUS 1703099 HAS SOUPS 1703099 WITH SCORE 1716313.849
AT ITER 9047 NEW BEST:: SOT 24207632 SOS 13214849 HAS SOPS 13214849 HAS SOUS 1703097 HAS SOUPS 1703097 WITH SCORE 1716311.849
AT ITER 9056 NEW BEST:: SOT 24205511 SOS 13195383 HAS SOPS 13195383 HAS SOUS 1702222 HAS SOUPS 1702222 WITH SCORE 1715417.383
AT ITER 9061 NEW BEST:: SOT 24205101 SOS 13191693 HAS SOPS 13191693 HAS SOUS 1702017 HAS SOUPS 1702017 WITH SCORE 1715208.693
AT ITER 9092 NEW BEST:: SOT 24203735 SOS 13180082 HAS SOPS 13180082 HAS SOUS 1702017 HAS SOUPS 1702017 WITH SCORE 1715197.082
AT ITER 9123 NEW BEST:: SOT 24203195 SOS 13175484 HAS SOPS 13175484 HAS SOUS 1702009 HAS SOUPS 1702009 WITH SCORE 1715184.484
AT ITER 9128 NEW BEST:: SOT 24202215 SOS 13167154 HAS SOPS 13167154 HAS SOUS 1702009 HAS SOUPS 1702009 WITH SCORE 1715176.154
AT ITER 9174 NEW BEST:: SOT 24202259 SOS 13167814 HAS SOPS 13167814 HAS SOUS 1701965 HAS SOUPS 1701965 WITH SCORE 1715132.814
AT ITER 9199 NEW BEST:: SOT 24202179 SOS 13167641 HAS SOPS 13167641 HAS SOUS 1701929 HAS SOUPS 1701929 WITH SCORE 1715096.641
AT ITER 9200 NEW BEST:: SOT 24200849 SOS 13155671 HAS SOPS 13155671 HAS SOUS 1701264 HAS SOUPS 1701264 WITH SCORE 1714419.671
AT ITER 9222 NEW BEST:: SOT 24200069 SOS 13145050 HAS SOPS 13145050 HAS SOUS 1701017 HAS SOUPS 1701017 WITH SCORE 1714162.05
AT ITER 9227 NEW BEST:: SOT 24198795 SOS 13132511 HAS SOPS 13132511 HAS SOUS 1700837 HAS SOUPS 1700837 WITH SCORE 1713969.511
AT ITER 9231 NEW BEST:: SOT 24197507 SOS 13121552 HAS SOPS 13121552 HAS SOUS 1700826 HAS SOUPS 1700826 WITH SCORE 1713947.552
AT ITER 9251 NEW BEST:: SOT 24196441 SOS 13112436 HAS SOPS 13112436 HAS SOUS 1700695 HAS SOUPS 1700695 WITH SCORE 1713807.436
AT ITER 9288 NEW BEST:: SOT 24196167 SOS 13110095 HAS SOPS 13110095 HAS SOUS 1700683 HAS SOUPS 1700683 WITH SCORE 1713793.095
AT ITER 9303 NEW BEST:: SOT 24195932 SOS 13108855 HAS SOPS 13108855 HAS SOUS 1699678 HAS SOUPS 1699678 WITH SCORE 1712786.855
AT ITER 9330 NEW BEST:: SOT 24196055 SOS 13108730 HAS SOPS 13108730 HAS SOUS 1699430 HAS SOUPS 1699430 WITH SCORE 1712538.73
AT ITER 9404 NEW BEST:: SOT 24195826 SOS 13108272 HAS SOPS 13108272 HAS SOUS 1699201 HAS SOUPS 1699201 WITH SCORE 1712309.272
AT ITER 9406 NEW BEST:: SOT 24193957 SOS 13086553 HAS SOPS 13086553 HAS SOUS 1698641 HAS SOUPS 1698641 WITH SCORE 1711727.553
AT ITER 9449 NEW BEST:: SOT 24193329 SOS 13081199 HAS SOPS 13081199 HAS SOUS 1698625 HAS SOUPS 1698625 WITH SCORE 1711706.199
AT ITER 9471 NEW BEST:: SOT 24190621 SOS 13056827 HAS SOPS 13056827 HAS SOUS 1697271 HAS SOUPS 1697271 WITH SCORE 1710327.827
AT ITER 9477 NEW BEST:: SOT 24190413 SOS 13056411 HAS SOPS 13056411 HAS SOUS 1697242 HAS SOUPS 1697242 WITH SCORE 1710298.411
AT ITER 9504 NEW BEST:: SOT 24188535 SOS 13040397 HAS SOPS 13040397 HAS SOUS 1697236 HAS SOUPS 1697236 WITH SCORE 1710276.397
AT ITER 9505 NEW BEST:: SOT 24188293 SOS 13039627 HAS SOPS 13039627 HAS SOUS 1696773 HAS SOUPS 1696773 WITH SCORE 1709812.627
AT ITER 9510 NEW BEST:: SOT 24188031 SOS 13039103 HAS SOPS 13039103 HAS SOUS 1696511 HAS SOUPS 1696511 WITH SCORE 1709550.103
AT ITER 9524 NEW BEST:: SOT 24185474 SOS 13014949 HAS SOPS 13014949 HAS SOUS 1695314 HAS SOUPS 1695314 WITH SCORE 1708328.949
AT ITER 9527 NEW BEST:: SOT 24184682 SOS 13013365 HAS SOPS 13013365 HAS SOUS 1695314 HAS SOUPS 1695314 WITH SCORE 1708327.365
AT ITER 9543 NEW BEST:: SOT 24184682 SOS 13013130 HAS SOPS 13013130 HAS SOUS 1695079 HAS SOUPS 1695079 WITH SCORE 1708092.13
AT ITER 9568 NEW BEST:: SOT 24184568 SOS 13012902 HAS SOPS 13012902 HAS SOUS 1694963 HAS SOUPS 1694963 WITH SCORE 1707975.902
AT ITER 9593 NEW BEST:: SOT 24180795 SOS 12978378 HAS SOPS 12978378 HAS SOUS 1693117 HAS SOUPS 1693117 WITH SCORE 1706095.378
AT ITER 9621 NEW BEST:: SOT 24180136 SOS 12950754 HAS SOPS 12950754 HAS SOUS 1693144 HAS SOUPS 1693144 WITH SCORE 1706094.754
AT ITER 9640 NEW BEST:: SOT 24179946 SOS 12950255 HAS SOPS 12950255 HAS SOUS 1692835 HAS SOUPS 1692835 WITH SCORE 1705785.255
AT ITER 9650 NEW BEST:: SOT 24179919 SOS 12950201 HAS SOPS 12950201 HAS SOUS 1692808 HAS SOUPS 1692808 WITH SCORE 1705758.201
AT ITER 9654 NEW BEST:: SOT 24179919 SOS 12949752 HAS SOPS 12949752 HAS SOUS 1692359 HAS SOUPS 1692359 WITH SCORE 1705308.752
AT ITER 9684 NEW BEST:: SOT 24176749 SOS 12916840 HAS SOPS 12916840 HAS SOUS 1691087 HAS SOUPS 1691087 WITH SCORE 1704003.84
AT ITER 9696 NEW BEST:: SOT 24177171 SOS 12920947 HAS SOPS 12920947 HAS SOUS 1691007 HAS SOUPS 1691007 WITH SCORE 1703927.947
AT ITER 9713 NEW BEST:: SOT 24175978 SOS 12910198 HAS SOPS 12910198 HAS SOUS 1690616 HAS SOUPS 1690616 WITH SCORE 1703526.198
AT ITER 9722 NEW BEST:: SOT 24175978 SOS 12910132 HAS SOPS 12910132 HAS SOUS 1690544 HAS SOUPS 1690544 WITH SCORE 1703454.132
AT ITER 9750 NEW BEST:: SOT 24174418 SOS 12891666 HAS SOPS 12891666 HAS SOUS 1690348 HAS SOUPS 1690348 WITH SCORE 1703239.666
AT ITER 9816 NEW BEST:: SOT 24173655 SOS 12890140 HAS SOPS 12890140 HAS SOUS 1690220 HAS SOUPS 1690220 WITH SCORE 1703110.14
AT ITER 9833 NEW BEST:: SOT 24171150 SOS 12866354 HAS SOPS 12866354 HAS SOUS 1689922 HAS SOUPS 1689922 WITH SCORE 1702788.354
AT ITER 9843 NEW BEST:: SOT 24169948 SOS 12849666 HAS SOPS 12849666 HAS SOUS 1689684 HAS SOUPS 1689684 WITH SCORE 1702533.666
AT ITER 9863 NEW BEST:: SOT 24169852 SOS 12849347 HAS SOPS 12849347 HAS SOUS 1689461 HAS SOUPS 1689461 WITH SCORE 1702310.347
AT ITER 9877 NEW BEST:: SOT 24169716 SOS 12848123 HAS SOPS 12848123 HAS SOUS 1689393 HAS SOUPS 1689393 WITH SCORE 1702241.123
AT ITER 9879 NEW BEST:: SOT 24168848 SOS 12840311 HAS SOPS 12840311 HAS SOUS 1688959 HAS SOUPS 1688959 WITH SCORE 1701799.311
AT ITER 9883 NEW BEST:: SOT 24162952 SOS 12787255 HAS SOPS 12787255 HAS SOUS 1686019 HAS SOUPS 1686019 WITH SCORE 1698806.255
AT ITER 9887 NEW BEST:: SOT 24162855 SOS 12787158 HAS SOPS 12787158 HAS SOUS 1686019 HAS SOUPS 1686019 WITH SCORE 1698806.158
AT ITER 9959 NEW BEST:: SOT 24162105 SOS 12780408 HAS SOPS 12780408 HAS SOUS 1685644 HAS SOUPS 1685644 WITH SCORE 1698424.408
AT ITER 9975 NEW BEST:: SOT 24161361 SOS 12773712 HAS SOPS 12773712 HAS SOUS 1685272 HAS SOUPS 1685272 WITH SCORE 1698045.712
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 357168 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16111872 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r491-tall-167912711701352"
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 ;