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.r099-tall-167814472200312.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 DBSingleClientW-PT-d2m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.0K Feb 26 15:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 15:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 15:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678237254661

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=DBSingleClientW-PT-d2m06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m06
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: 4763 places, 2478 transitions, 9912 arcs.
AT ITER 0 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041650 HAS SOUPS 2041626 WITH SCORE 2044471.673
AT ITER 37 NEW BEST:: SOT 2906156 SOS 2842828 HAS SOPS 2842804 HAS SOUS 2040812 HAS SOUPS 2040788 WITH SCORE 2043630.828
AT ITER 104 NEW BEST:: SOT 2906156 SOS 2842828 HAS SOPS 2842804 HAS SOUS 2040462 HAS SOUPS 2040438 WITH SCORE 2043280.828
AT ITER 200 NEW BEST:: SOT 2906156 SOS 2842828 HAS SOPS 2842804 HAS SOUS 2040282 HAS SOUPS 2040258 WITH SCORE 2043100.828
AT ITER 247 NEW BEST:: SOT 2906164 SOS 2842836 HAS SOPS 2842812 HAS SOUS 2040276 HAS SOUPS 2040252 WITH SCORE 2043094.836
AT ITER 251 NEW BEST:: SOT 2906164 SOS 2841896 HAS SOPS 2841872 HAS SOUS 2040053 HAS SOUPS 2040029 WITH SCORE 2042870.896
AT ITER 256 NEW BEST:: SOT 2906632 SOS 2842364 HAS SOPS 2842340 HAS SOUS 2038998 HAS SOUPS 2038974 WITH SCORE 2041816.364
AT ITER 258 NEW BEST:: SOT 2906632 SOS 2842364 HAS SOPS 2842340 HAS SOUS 2038569 HAS SOUPS 2038545 WITH SCORE 2041387.364
AT ITER 277 NEW BEST:: SOT 2908396 SOS 2844128 HAS SOPS 2844104 HAS SOUS 2038387 HAS SOUPS 2038363 WITH SCORE 2041207.128
AT ITER 284 NEW BEST:: SOT 2909588 SOS 2845320 HAS SOPS 2845296 HAS SOUS 2037191 HAS SOUPS 2037167 WITH SCORE 2040012.32
AT ITER 291 NEW BEST:: SOT 2913016 SOS 2848748 HAS SOPS 2848724 HAS SOUS 2035505 HAS SOUPS 2035481 WITH SCORE 2038329.748
AT ITER 294 NEW BEST:: SOT 2913016 SOS 2848748 HAS SOPS 2848724 HAS SOUS 2035474 HAS SOUPS 2035450 WITH SCORE 2038298.748
AT ITER 363 NEW BEST:: SOT 2916746 SOS 2852478 HAS SOPS 2852454 HAS SOUS 2033997 HAS SOUPS 2033973 WITH SCORE 2036825.478
AT ITER 375 NEW BEST:: SOT 2916746 SOS 2852478 HAS SOPS 2852454 HAS SOUS 2032626 HAS SOUPS 2032602 WITH SCORE 2035454.478
AT ITER 391 NEW BEST:: SOT 2916746 SOS 2832654 HAS SOPS 2832630 HAS SOUS 2032345 HAS SOUPS 2032321 WITH SCORE 2035153.654
AT ITER 429 NEW BEST:: SOT 2917757 SOS 2833665 HAS SOPS 2833641 HAS SOUS 2032042 HAS SOUPS 2032018 WITH SCORE 2034851.665
AT ITER 437 NEW BEST:: SOT 2917777 SOS 2833685 HAS SOPS 2833661 HAS SOUS 2031943 HAS SOUPS 2031919 WITH SCORE 2034752.685
AT ITER 485 NEW BEST:: SOT 2918019 SOS 2833927 HAS SOPS 2833903 HAS SOUS 2031818 HAS SOUPS 2031794 WITH SCORE 2034627.927
AT ITER 494 NEW BEST:: SOT 2918568 SOS 2834476 HAS SOPS 2834452 HAS SOUS 2031067 HAS SOUPS 2031043 WITH SCORE 2033877.476
AT ITER 543 NEW BEST:: SOT 2918568 SOS 2834476 HAS SOPS 2834452 HAS SOUS 2030911 HAS SOUPS 2030887 WITH SCORE 2033721.476
AT ITER 554 NEW BEST:: SOT 2918568 SOS 2834476 HAS SOPS 2834452 HAS SOUS 2030792 HAS SOUPS 2030768 WITH SCORE 2033602.476
AT ITER 566 NEW BEST:: SOT 2918568 SOS 2834476 HAS SOPS 2834452 HAS SOUS 2030032 HAS SOUPS 2030008 WITH SCORE 2032842.476
AT ITER 579 NEW BEST:: SOT 2918568 SOS 2834476 HAS SOPS 2834452 HAS SOUS 2029500 HAS SOUPS 2029476 WITH SCORE 2032310.476
AT ITER 592 NEW BEST:: SOT 2919058 SOS 2834966 HAS SOPS 2834942 HAS SOUS 2028948 HAS SOUPS 2028924 WITH SCORE 2031758.966
AT ITER 637 NEW BEST:: SOT 2919472 SOS 2835380 HAS SOPS 2835356 HAS SOUS 2028930 HAS SOUPS 2028906 WITH SCORE 2031741.38
AT ITER 697 NEW BEST:: SOT 2919472 SOS 2834920 HAS SOPS 2834896 HAS SOUS 2028910 HAS SOUPS 2028886 WITH SCORE 2031720.92
AT ITER 699 NEW BEST:: SOT 2920825 SOS 2836273 HAS SOPS 2836249 HAS SOUS 2028852 HAS SOUPS 2028828 WITH SCORE 2031664.273
AT ITER 700 NEW BEST:: SOT 2920825 SOS 2836273 HAS SOPS 2836249 HAS SOUS 2028502 HAS SOUPS 2028478 WITH SCORE 2031314.273
AT ITER 707 NEW BEST:: SOT 2922501 SOS 2837949 HAS SOPS 2837925 HAS SOUS 2026367 HAS SOUPS 2026343 WITH SCORE 2029180.949
AT ITER 745 NEW BEST:: SOT 2922501 SOS 2837949 HAS SOPS 2837925 HAS SOUS 2025595 HAS SOUPS 2025571 WITH SCORE 2028408.949
AT ITER 751 NEW BEST:: SOT 2923980 SOS 2839428 HAS SOPS 2839404 HAS SOUS 2024969 HAS SOUPS 2024945 WITH SCORE 2027784.428
AT ITER 755 NEW BEST:: SOT 2923980 SOS 2839428 HAS SOPS 2839404 HAS SOUS 2024806 HAS SOUPS 2024782 WITH SCORE 2027621.428
AT ITER 787 NEW BEST:: SOT 2925454 SOS 2840902 HAS SOPS 2840878 HAS SOUS 2021394 HAS SOUPS 2021370 WITH SCORE 2024210.902
AT ITER 794 NEW BEST:: SOT 2925454 SOS 2840902 HAS SOPS 2840878 HAS SOUS 2021378 HAS SOUPS 2021354 WITH SCORE 2024194.902
AT ITER 818 NEW BEST:: SOT 2925454 SOS 2840902 HAS SOPS 2840878 HAS SOUS 2016612 HAS SOUPS 2016588 WITH SCORE 2019428.902
AT ITER 838 NEW BEST:: SOT 2926546 SOS 2841994 HAS SOPS 2841970 HAS SOUS 2014777 HAS SOUPS 2014753 WITH SCORE 2017594.994
AT ITER 865 NEW BEST:: SOT 2931571 SOS 2846976 HAS SOPS 2846952 HAS SOUS 2014705 HAS SOUPS 2014681 WITH SCORE 2017527.976
AT ITER 913 NEW BEST:: SOT 2939371 SOS 2854776 HAS SOPS 2854752 HAS SOUS 2014517 HAS SOUPS 2014493 WITH SCORE 2017347.776
AT ITER 930 NEW BEST:: SOT 2939507 SOS 2854912 HAS SOPS 2854888 HAS SOUS 2011610 HAS SOUPS 2011586 WITH SCORE 2014440.912
AT ITER 937 NEW BEST:: SOT 2942705 SOS 2858110 HAS SOPS 2858086 HAS SOUS 2010607 HAS SOUPS 2010583 WITH SCORE 2013441.11
AT ITER 940 NEW BEST:: SOT 2946669 SOS 2862074 HAS SOPS 2862050 HAS SOUS 2010476 HAS SOUPS 2010452 WITH SCORE 2013314.074
AT ITER 948 NEW BEST:: SOT 2951982 SOS 2867387 HAS SOPS 2867363 HAS SOUS 2010174 HAS SOUPS 2010150 WITH SCORE 2013017.387
AT ITER 968 NEW BEST:: SOT 2958786 SOS 2873912 HAS SOPS 2873888 HAS SOUS 2004508 HAS SOUPS 2004484 WITH SCORE 2007357.912
AT ITER 976 NEW BEST:: SOT 2959466 SOS 2874592 HAS SOPS 2874568 HAS SOUS 2000349 HAS SOUPS 2000325 WITH SCORE 2003199.592
AT ITER 1010 NEW BEST:: SOT 2961962 SOS 2877088 HAS SOPS 2877064 HAS SOUS 1997571 HAS SOUPS 1997547 WITH SCORE 2000424.088
AT ITER 1029 NEW BEST:: SOT 2962481 SOS 2877607 HAS SOPS 2877583 HAS SOUS 1996762 HAS SOUPS 1996738 WITH SCORE 1999615.607
AT ITER 1051 NEW BEST:: SOT 2973459 SOS 2888480 HAS SOPS 2888456 HAS SOUS 1991305 HAS SOUPS 1991281 WITH SCORE 1994169.48
AT ITER 1055 NEW BEST:: SOT 2973714 SOS 2888735 HAS SOPS 2888711 HAS SOUS 1989329 HAS SOUPS 1989305 WITH SCORE 1992193.735
AT ITER 1058 NEW BEST:: SOT 2974044 SOS 2889065 HAS SOPS 2889041 HAS SOUS 1989229 HAS SOUPS 1989205 WITH SCORE 1992094.065
AT ITER 1142 NEW BEST:: SOT 2974044 SOS 2889065 HAS SOPS 2889041 HAS SOUS 1988924 HAS SOUPS 1988900 WITH SCORE 1991789.065
AT ITER 1143 NEW BEST:: SOT 2976918 SOS 2891939 HAS SOPS 2891915 HAS SOUS 1988247 HAS SOUPS 1988223 WITH SCORE 1991114.939
AT ITER 1185 NEW BEST:: SOT 2977671 SOS 2892692 HAS SOPS 2892668 HAS SOUS 1986423 HAS SOUPS 1986399 WITH SCORE 1989291.692
AT ITER 1189 NEW BEST:: SOT 2980236 SOS 2895257 HAS SOPS 2895233 HAS SOUS 1985190 HAS SOUPS 1985166 WITH SCORE 1988061.257
AT ITER 1238 NEW BEST:: SOT 2980570 SOS 2894632 HAS SOPS 2894441 HAS SOUS 1984556 HAS SOUPS 1984366 WITH SCORE 1987260.632
AT ITER 1239 NEW BEST:: SOT 2982295 SOS 2896357 HAS SOPS 2896166 HAS SOUS 1980602 HAS SOUPS 1980412 WITH SCORE 1983308.357
AT ITER 1262 NEW BEST:: SOT 2982295 SOS 2896165 HAS SOPS 2895974 HAS SOUS 1980290 HAS SOUPS 1980100 WITH SCORE 1982996.165
AT ITER 1272 NEW BEST:: SOT 2982341 SOS 2896211 HAS SOPS 2896020 HAS SOUS 1980079 HAS SOUPS 1979889 WITH SCORE 1982785.211
AT ITER 1280 NEW BEST:: SOT 2982905 SOS 2896775 HAS SOPS 2896584 HAS SOUS 1979808 HAS SOUPS 1979618 WITH SCORE 1982514.775
AT ITER 1284 NEW BEST:: SOT 2982905 SOS 2896498 HAS SOPS 2896307 HAS SOUS 1973212 HAS SOUPS 1973022 WITH SCORE 1975918.498
AT ITER 1301 NEW BEST:: SOT 2982905 SOS 2896498 HAS SOPS 2896307 HAS SOUS 1972691 HAS SOUPS 1972501 WITH SCORE 1975397.498
AT ITER 1305 NEW BEST:: SOT 2985224 SOS 2898817 HAS SOPS 2898626 HAS SOUS 1971834 HAS SOUPS 1971644 WITH SCORE 1974542.817
AT ITER 1312 NEW BEST:: SOT 2985224 SOS 2899630 HAS SOPS 2899439 HAS SOUS 1970577 HAS SOUPS 1970387 WITH SCORE 1973286.63
AT ITER 1341 NEW BEST:: SOT 2982219 SOS 2896625 HAS SOPS 2896434 HAS SOUS 1969976 HAS SOUPS 1969786 WITH SCORE 1972682.625
AT ITER 1349 NEW BEST:: SOT 2984553 SOS 2898959 HAS SOPS 2898768 HAS SOUS 1969778 HAS SOUPS 1969588 WITH SCORE 1972486.959
AT ITER 1421 NEW BEST:: SOT 2984779 SOS 2899185 HAS SOPS 2898994 HAS SOUS 1969338 HAS SOUPS 1969148 WITH SCORE 1972047.185
AT ITER 1434 NEW BEST:: SOT 2987728 SOS 2902134 HAS SOPS 2901943 HAS SOUS 1968289 HAS SOUPS 1968099 WITH SCORE 1971001.134
AT ITER 1440 NEW BEST:: SOT 2988353 SOS 2901868 HAS SOPS 2901677 HAS SOUS 1967930 HAS SOUPS 1967740 WITH SCORE 1970641.868
AT ITER 1448 NEW BEST:: SOT 2996548 SOS 2910063 HAS SOPS 2909872 HAS SOUS 1957559 HAS SOUPS 1957369 WITH SCORE 1960279.063
AT ITER 1455 NEW BEST:: SOT 2996632 SOS 2910147 HAS SOPS 2909956 HAS SOUS 1957545 HAS SOUPS 1957355 WITH SCORE 1960265.147
AT ITER 1463 NEW BEST:: SOT 2999242 SOS 2912757 HAS SOPS 2912566 HAS SOUS 1953818 HAS SOUPS 1953628 WITH SCORE 1956540.757
AT ITER 1534 NEW BEST:: SOT 2999242 SOS 2906790 HAS SOPS 2906599 HAS SOUS 1953794 HAS SOUPS 1953604 WITH SCORE 1956510.79
AT ITER 1561 NEW BEST:: SOT 3001424 SOS 2908972 HAS SOPS 2908781 HAS SOUS 1953240 HAS SOUPS 1953050 WITH SCORE 1955958.972
AT ITER 1567 NEW BEST:: SOT 3001424 SOS 2905649 HAS SOPS 2905458 HAS SOUS 1950369 HAS SOUPS 1950179 WITH SCORE 1953084.649
AT ITER 1583 NEW BEST:: SOT 3001424 SOS 2905649 HAS SOPS 2905458 HAS SOUS 1950005 HAS SOUPS 1949815 WITH SCORE 1952720.649
AT ITER 1594 NEW BEST:: SOT 3005552 SOS 2909777 HAS SOPS 2909586 HAS SOUS 1949194 HAS SOUPS 1949004 WITH SCORE 1951913.777
AT ITER 1598 NEW BEST:: SOT 3006643 SOS 2909038 HAS SOPS 2908846 HAS SOUS 1949127 HAS SOUPS 1948937 WITH SCORE 1951846.038
AT ITER 1599 NEW BEST:: SOT 3006913 SOS 2909308 HAS SOPS 2909116 HAS SOUS 1947598 HAS SOUPS 1947408 WITH SCORE 1950317.308
AT ITER 1627 NEW BEST:: SOT 3006913 SOS 2909308 HAS SOPS 2909116 HAS SOUS 1947399 HAS SOUPS 1947209 WITH SCORE 1950118.308
AT ITER 1647 NEW BEST:: SOT 3008337 SOS 2910732 HAS SOPS 2910540 HAS SOUS 1943427 HAS SOUPS 1943237 WITH SCORE 1946147.732
AT ITER 1684 NEW BEST:: SOT 3008337 SOS 2910732 HAS SOPS 2910540 HAS SOUS 1942945 HAS SOUPS 1942755 WITH SCORE 1945665.732
AT ITER 1686 NEW BEST:: SOT 3008337 SOS 2910732 HAS SOPS 2910540 HAS SOUS 1942837 HAS SOUPS 1942647 WITH SCORE 1945557.732
AT ITER 1708 NEW BEST:: SOT 3008337 SOS 2910732 HAS SOPS 2910540 HAS SOUS 1942100 HAS SOUPS 1941910 WITH SCORE 1944820.732
AT ITER 1719 NEW BEST:: SOT 3008463 SOS 2910858 HAS SOPS 2910666 HAS SOUS 1941550 HAS SOUPS 1941360 WITH SCORE 1944270.858
AT ITER 1721 NEW BEST:: SOT 3010134 SOS 2912529 HAS SOPS 2912337 HAS SOUS 1940023 HAS SOUPS 1939833 WITH SCORE 1942745.529
AT ITER 1727 NEW BEST:: SOT 3010233 SOS 2912628 HAS SOPS 2912436 HAS SOUS 1939689 HAS SOUPS 1939499 WITH SCORE 1942411.628
AT ITER 1738 NEW BEST:: SOT 3012833 SOS 2915228 HAS SOPS 2915036 HAS SOUS 1935602 HAS SOUPS 1935412 WITH SCORE 1938327.228
AT ITER 1756 NEW BEST:: SOT 3012833 SOS 2915228 HAS SOPS 2915036 HAS SOUS 1935350 HAS SOUPS 1935160 WITH SCORE 1938075.228
AT ITER 1773 NEW BEST:: SOT 3014531 SOS 2916926 HAS SOPS 2916734 HAS SOUS 1933846 HAS SOUPS 1933656 WITH SCORE 1936572.926
AT ITER 1809 NEW BEST:: SOT 3020407 SOS 2922802 HAS SOPS 2922610 HAS SOUS 1932190 HAS SOUPS 1932000 WITH SCORE 1934922.802
AT ITER 1863 NEW BEST:: SOT 3020407 SOS 2922762 HAS SOPS 2922570 HAS SOUS 1932190 HAS SOUPS 1932000 WITH SCORE 1934922.762
AT ITER 1882 NEW BEST:: SOT 3020407 SOS 2922762 HAS SOPS 2922570 HAS SOUS 1932158 HAS SOUPS 1931968 WITH SCORE 1934890.762
AT ITER 1891 NEW BEST:: SOT 3021607 SOS 2921834 HAS SOPS 2921642 HAS SOUS 1920775 HAS SOUPS 1920585 WITH SCORE 1923506.834
AT ITER 1922 NEW BEST:: SOT 3021607 SOS 2921834 HAS SOPS 2921642 HAS SOUS 1920585 HAS SOUPS 1920395 WITH SCORE 1923316.834
AT ITER 1927 NEW BEST:: SOT 3021607 SOS 2921834 HAS SOPS 2921642 HAS SOUS 1920476 HAS SOUPS 1920286 WITH SCORE 1923207.834
AT ITER 1931 NEW BEST:: SOT 3021607 SOS 2921834 HAS SOPS 2921642 HAS SOUS 1920336 HAS SOUPS 1920146 WITH SCORE 1923067.834
AT ITER 1941 NEW BEST:: SOT 3021607 SOS 2921834 HAS SOPS 2921642 HAS SOUS 1920328 HAS SOUPS 1920138 WITH SCORE 1923059.834
AT ITER 1965 NEW BEST:: SOT 3022558 SOS 2922785 HAS SOPS 2922593 HAS SOUS 1917538 HAS SOUPS 1917348 WITH SCORE 1920270.785
AT ITER 1973 NEW BEST:: SOT 3022558 SOS 2922785 HAS SOPS 2922593 HAS SOUS 1917347 HAS SOUPS 1917157 WITH SCORE 1920079.785
AT ITER 1980 NEW BEST:: SOT 3022993 SOS 2922918 HAS SOPS 2922726 HAS SOUS 1915431 HAS SOUPS 1915241 WITH SCORE 1918163.918
AT ITER 1989 NEW BEST:: SOT 3023069 SOS 2922994 HAS SOPS 2922802 HAS SOUS 1915256 HAS SOUPS 1915066 WITH SCORE 1917988.994
AT ITER 2008 NEW BEST:: SOT 3023069 SOS 2922994 HAS SOPS 2922802 HAS SOUS 1914900 HAS SOUPS 1914710 WITH SCORE 1917632.994
AT ITER 2024 NEW BEST:: SOT 3023108 SOS 2923033 HAS SOPS 2922841 HAS SOUS 1912860 HAS SOUPS 1912670 WITH SCORE 1915593.033
AT ITER 2121 NEW BEST:: SOT 3028448 SOS 2926245 HAS SOPS 2926053 HAS SOUS 1902159 HAS SOUPS 1901969 WITH SCORE 1904895.245
AT ITER 2124 NEW BEST:: SOT 3028718 SOS 2926515 HAS SOPS 2926323 HAS SOUS 1897620 HAS SOUPS 1897430 WITH SCORE 1900356.515
AT ITER 2131 NEW BEST:: SOT 3029257 SOS 2926283 HAS SOPS 2926091 HAS SOUS 1897569 HAS SOUPS 1897379 WITH SCORE 1900305.283
AT ITER 2154 NEW BEST:: SOT 3029257 SOS 2926283 HAS SOPS 2926091 HAS SOUS 1897305 HAS SOUPS 1897115 WITH SCORE 1900041.283
AT ITER 2162 NEW BEST:: SOT 3047869 SOS 2944538 HAS SOPS 2944346 HAS SOUS 1895606 HAS SOUPS 1895416 WITH SCORE 1898360.538
AT ITER 2168 NEW BEST:: SOT 3048375 SOS 2945044 HAS SOPS 2944852 HAS SOUS 1895304 HAS SOUPS 1895114 WITH SCORE 1898059.044
AT ITER 2199 NEW BEST:: SOT 3051131 SOS 2947800 HAS SOPS 2947608 HAS SOUS 1894744 HAS SOUPS 1894554 WITH SCORE 1897501.8
AT ITER 2206 NEW BEST:: SOT 3051333 SOS 2948002 HAS SOPS 2947810 HAS SOUS 1894695 HAS SOUPS 1894505 WITH SCORE 1897453.002
AT ITER 2228 NEW BEST:: SOT 3051384 SOS 2948053 HAS SOPS 2947861 HAS SOUS 1892632 HAS SOUPS 1892442 WITH SCORE 1895390.053
AT ITER 2233 NEW BEST:: SOT 3051384 SOS 2948053 HAS SOPS 2947861 HAS SOUS 1892344 HAS SOUPS 1892154 WITH SCORE 1895102.053
AT ITER 2239 NEW BEST:: SOT 3051384 SOS 2948053 HAS SOPS 2947861 HAS SOUS 1892184 HAS SOUPS 1891994 WITH SCORE 1894942.053
AT ITER 2251 NEW BEST:: SOT 3051384 SOS 2938570 HAS SOPS 2938378 HAS SOUS 1891408 HAS SOUPS 1891218 WITH SCORE 1894156.57
AT ITER 2305 NEW BEST:: SOT 3051384 SOS 2938570 HAS SOPS 2938378 HAS SOUS 1891406 HAS SOUPS 1891216 WITH SCORE 1894154.57
AT ITER 2310 NEW BEST:: SOT 3051384 SOS 2938570 HAS SOPS 2938378 HAS SOUS 1891395 HAS SOUPS 1891205 WITH SCORE 1894143.57
AT ITER 2365 NEW BEST:: SOT 3051462 SOS 2938648 HAS SOPS 2938456 HAS SOUS 1891380 HAS SOUPS 1891190 WITH SCORE 1894128.648
AT ITER 2368 NEW BEST:: SOT 3059267 SOS 2946345 HAS SOPS 2946153 HAS SOUS 1888660 HAS SOUPS 1888470 WITH SCORE 1891416.345
AT ITER 2396 NEW BEST:: SOT 3059267 SOS 2946345 HAS SOPS 2946153 HAS SOUS 1888357 HAS SOUPS 1888167 WITH SCORE 1891113.345
AT ITER 2406 NEW BEST:: SOT 3059267 SOS 2946345 HAS SOPS 2946153 HAS SOUS 1887916 HAS SOUPS 1887726 WITH SCORE 1890672.345
AT ITER 2427 NEW BEST:: SOT 3067582 SOS 2954660 HAS SOPS 2954468 HAS SOUS 1884423 HAS SOUPS 1884233 WITH SCORE 1887187.66
AT ITER 2458 NEW BEST:: SOT 3068518 SOS 2955596 HAS SOPS 2955404 HAS SOUS 1883601 HAS SOUPS 1883411 WITH SCORE 1886366.596
AT ITER 2467 NEW BEST:: SOT 3068838 SOS 2955916 HAS SOPS 2955724 HAS SOUS 1879637 HAS SOUPS 1879447 WITH SCORE 1882402.916
AT ITER 2479 NEW BEST:: SOT 3069373 SOS 2955519 HAS SOPS 2955250 HAS SOUS 1878820 HAS SOUPS 1878630 WITH SCORE 1881585.519
AT ITER 2481 NEW BEST:: SOT 3069373 SOS 2955519 HAS SOPS 2955250 HAS SOUS 1878683 HAS SOUPS 1878493 WITH SCORE 1881448.519
AT ITER 2489 NEW BEST:: SOT 3072676 SOS 2958822 HAS SOPS 2958553 HAS SOUS 1877717 HAS SOUPS 1877527 WITH SCORE 1880485.822
AT ITER 2508 NEW BEST:: SOT 3072676 SOS 2958822 HAS SOPS 2958553 HAS SOUS 1877688 HAS SOUPS 1877498 WITH SCORE 1880456.822
AT ITER 2513 NEW BEST:: SOT 3072676 SOS 2951653 HAS SOPS 2951384 HAS SOUS 1867838 HAS SOUPS 1867648 WITH SCORE 1870599.653
AT ITER 2524 NEW BEST:: SOT 3071830 SOS 2950807 HAS SOPS 2950538 HAS SOUS 1867556 HAS SOUPS 1867366 WITH SCORE 1870316.807
AT ITER 2565 NEW BEST:: SOT 3071830 SOS 2950807 HAS SOPS 2950538 HAS SOUS 1866702 HAS SOUPS 1866512 WITH SCORE 1869462.807
AT ITER 2575 NEW BEST:: SOT 3072330 SOS 2951307 HAS SOPS 2951038 HAS SOUS 1866510 HAS SOUPS 1866320 WITH SCORE 1869271.307
AT ITER 2592 NEW BEST:: SOT 3073770 SOS 2952747 HAS SOPS 2952478 HAS SOUS 1864115 HAS SOUPS 1863925 WITH SCORE 1866877.747
AT ITER 2593 NEW BEST:: SOT 3071745 SOS 2950722 HAS SOPS 2950453 HAS SOUS 1863440 HAS SOUPS 1863250 WITH SCORE 1866200.722
AT ITER 2601 NEW BEST:: SOT 3072743 SOS 2951720 HAS SOPS 2951451 HAS SOUS 1863328 HAS SOUPS 1863138 WITH SCORE 1866089.72
AT ITER 2628 NEW BEST:: SOT 3072743 SOS 2952141 HAS SOPS 2951872 HAS SOUS 1862380 HAS SOUPS 1862190 WITH SCORE 1865142.141
AT ITER 2636 NEW BEST:: SOT 3072743 SOS 2952141 HAS SOPS 2951872 HAS SOUS 1862378 HAS SOUPS 1862188 WITH SCORE 1865140.141
AT ITER 2646 NEW BEST:: SOT 3072743 SOS 2952141 HAS SOPS 2951872 HAS SOUS 1862361 HAS SOUPS 1862171 WITH SCORE 1865123.141
AT ITER 2680 NEW BEST:: SOT 3076175 SOS 2955573 HAS SOPS 2955304 HAS SOUS 1861873 HAS SOUPS 1861683 WITH SCORE 1864638.573
AT ITER 2691 NEW BEST:: SOT 3076663 SOS 2956061 HAS SOPS 2955792 HAS SOUS 1859736 HAS SOUPS 1859546 WITH SCORE 1862502.061
AT ITER 2703 NEW BEST:: SOT 3076821 SOS 2956219 HAS SOPS 2955950 HAS SOUS 1859596 HAS SOUPS 1859406 WITH SCORE 1862362.219
AT ITER 2706 NEW BEST:: SOT 3077046 SOS 2956444 HAS SOPS 2956175 HAS SOUS 1855323 HAS SOUPS 1855133 WITH SCORE 1858089.444
AT ITER 2711 NEW BEST:: SOT 3074816 SOS 2954214 HAS SOPS 2953945 HAS SOUS 1854877 HAS SOUPS 1854687 WITH SCORE 1857641.214
AT ITER 2718 NEW BEST:: SOT 3075098 SOS 2954866 HAS SOPS 2954597 HAS SOUS 1853187 HAS SOUPS 1852997 WITH SCORE 1855951.866
AT ITER 2746 NEW BEST:: SOT 3075172 SOS 2954940 HAS SOPS 2954671 HAS SOUS 1852869 HAS SOUPS 1852679 WITH SCORE 1855633.94
AT ITER 2753 NEW BEST:: SOT 3079019 SOS 2958787 HAS SOPS 2958518 HAS SOUS 1852055 HAS SOUPS 1851865 WITH SCORE 1854823.787
AT ITER 2766 NEW BEST:: SOT 3086444 SOS 2964561 HAS SOPS 2964292 HAS SOUS 1841622 HAS SOUPS 1841432 WITH SCORE 1844396.561
AT ITER 2772 NEW BEST:: SOT 3086444 SOS 2956003 HAS SOPS 2955734 HAS SOUS 1840913 HAS SOUPS 1840723 WITH SCORE 1843679.003
AT ITER 2803 NEW BEST:: SOT 3098269 SOS 2967828 HAS SOPS 2967559 HAS SOUS 1840245 HAS SOUPS 1840055 WITH SCORE 1843022.828
AT ITER 2807 NEW BEST:: SOT 3098269 SOS 2967689 HAS SOPS 2967420 HAS SOUS 1840040 HAS SOUPS 1839850 WITH SCORE 1842817.689
AT ITER 2829 NEW BEST:: SOT 3098457 SOS 2967877 HAS SOPS 2967608 HAS SOUS 1839931 HAS SOUPS 1839741 WITH SCORE 1842708.877
AT ITER 2841 NEW BEST:: SOT 3098457 SOS 2967148 HAS SOPS 2966879 HAS SOUS 1837188 HAS SOUPS 1836998 WITH SCORE 1839965.148
AT ITER 2891 NEW BEST:: SOT 3098457 SOS 2956882 HAS SOPS 2956613 HAS SOUS 1826909 HAS SOUPS 1826719 WITH SCORE 1829675.882
AT ITER 2899 NEW BEST:: SOT 3125264 SOS 2982157 HAS SOPS 2981888 HAS SOUS 1826503 HAS SOUPS 1826313 WITH SCORE 1829295.157
AT ITER 2911 NEW BEST:: SOT 3123677 SOS 2980570 HAS SOPS 2980301 HAS SOUS 1825974 HAS SOUPS 1825784 WITH SCORE 1828764.57
AT ITER 2926 NEW BEST:: SOT 3123677 SOS 2969109 HAS SOPS 2968840 HAS SOUS 1809543 HAS SOUPS 1809353 WITH SCORE 1812322.109
AT ITER 2929 NEW BEST:: SOT 3123677 SOS 2969109 HAS SOPS 2968840 HAS SOUS 1809431 HAS SOUPS 1809241 WITH SCORE 1812210.109
AT ITER 2933 NEW BEST:: SOT 3123956 SOS 2969388 HAS SOPS 2969119 HAS SOUS 1808142 HAS SOUPS 1807952 WITH SCORE 1810921.388
AT ITER 2972 NEW BEST:: SOT 3144834 SOS 2987977 HAS SOPS 2987708 HAS SOUS 1800450 HAS SOUPS 1800260 WITH SCORE 1803247.977
AT ITER 2974 NEW BEST:: SOT 3145557 SOS 2988700 HAS SOPS 2988431 HAS SOUS 1798628 HAS SOUPS 1798438 WITH SCORE 1801426.7
AT ITER 2990 NEW BEST:: SOT 3145557 SOS 2979025 HAS SOPS 2978756 HAS SOUS 1787340 HAS SOUPS 1787150 WITH SCORE 1790129.025
AT ITER 2993 NEW BEST:: SOT 3149082 SOS 2982550 HAS SOPS 2982281 HAS SOUS 1784556 HAS SOUPS 1784366 WITH SCORE 1787348.55
AT ITER 3005 NEW BEST:: SOT 3149082 SOS 2982550 HAS SOPS 2982281 HAS SOUS 1784299 HAS SOUPS 1784109 WITH SCORE 1787091.55
AT ITER 3013 NEW BEST:: SOT 3149082 SOS 2982550 HAS SOPS 2982281 HAS SOUS 1782354 HAS SOUPS 1782164 WITH SCORE 1785146.55
AT ITER 3033 NEW BEST:: SOT 3149082 SOS 2982550 HAS SOPS 2982281 HAS SOUS 1782296 HAS SOUPS 1782106 WITH SCORE 1785088.55
AT ITER 3039 NEW BEST:: SOT 3149082 SOS 2982550 HAS SOPS 2982281 HAS SOUS 1781457 HAS SOUPS 1781267 WITH SCORE 1784249.55
AT ITER 3067 NEW BEST:: SOT 3149082 SOS 2974810 HAS SOPS 2974541 HAS SOUS 1781455 HAS SOUPS 1781265 WITH SCORE 1784239.81
AT ITER 3071 NEW BEST:: SOT 3153384 SOS 2979112 HAS SOPS 2978843 HAS SOUS 1780815 HAS SOUPS 1780625 WITH SCORE 1783604.112
AT ITER 3083 NEW BEST:: SOT 3153384 SOS 2979112 HAS SOPS 2978843 HAS SOUS 1780814 HAS SOUPS 1780624 WITH SCORE 1783603.112
AT ITER 3106 NEW BEST:: SOT 3155562 SOS 2981290 HAS SOPS 2981021 HAS SOUS 1779825 HAS SOUPS 1779635 WITH SCORE 1782616.29
AT ITER 3138 NEW BEST:: SOT 3155562 SOS 2981273 HAS SOPS 2981004 HAS SOUS 1778380 HAS SOUPS 1778190 WITH SCORE 1781171.273
AT ITER 3160 NEW BEST:: SOT 3181818 SOS 3007136 HAS SOPS 3006867 HAS SOUS 1777461 HAS SOUPS 1777271 WITH SCORE 1780278.136
AT ITER 3176 NEW BEST:: SOT 3178538 SOS 3003856 HAS SOPS 3003587 HAS SOUS 1775821 HAS SOUPS 1775631 WITH SCORE 1778634.856
AT ITER 3212 NEW BEST:: SOT 3178538 SOS 2990337 HAS SOPS 2990068 HAS SOUS 1775265 HAS SOUPS 1775075 WITH SCORE 1778065.337
AT ITER 3216 NEW BEST:: SOT 3178920 SOS 2989784 HAS SOPS 2989438 HAS SOUS 1774220 HAS SOUPS 1774030 WITH SCORE 1777019.784
AT ITER 3266 NEW BEST:: SOT 3179110 SOS 2989974 HAS SOPS 2989628 HAS SOUS 1773939 HAS SOUPS 1773749 WITH SCORE 1776738.974
AT ITER 3289 NEW BEST:: SOT 3179110 SOS 2989974 HAS SOPS 2989628 HAS SOUS 1773395 HAS SOUPS 1773205 WITH SCORE 1776194.974
AT ITER 3297 NEW BEST:: SOT 3180080 SOS 2990944 HAS SOPS 2990598 HAS SOUS 1772526 HAS SOUPS 1772336 WITH SCORE 1775326.944
AT ITER 3317 NEW BEST:: SOT 3179596 SOS 2990460 HAS SOPS 2990114 HAS SOUS 1772042 HAS SOUPS 1771852 WITH SCORE 1774842.46
AT ITER 3336 NEW BEST:: SOT 3179596 SOS 2988651 HAS SOPS 2988305 HAS SOUS 1769647 HAS SOUPS 1769457 WITH SCORE 1772445.651
AT ITER 3406 NEW BEST:: SOT 3183792 SOS 2992847 HAS SOPS 2992501 HAS SOUS 1768628 HAS SOUPS 1768438 WITH SCORE 1771430.847
AT ITER 3413 NEW BEST:: SOT 3185190 SOS 2994245 HAS SOPS 2993899 HAS SOUS 1768185 HAS SOUPS 1767995 WITH SCORE 1770989.245
AT ITER 3445 NEW BEST:: SOT 3182064 SOS 2991119 HAS SOPS 2990773 HAS SOUS 1767143 HAS SOUPS 1766953 WITH SCORE 1769944.119
AT ITER 3454 NEW BEST:: SOT 3182064 SOS 2990818 HAS SOPS 2990472 HAS SOUS 1766629 HAS SOUPS 1766439 WITH SCORE 1769429.818
AT ITER 3466 NEW BEST:: SOT 3181974 SOS 2990728 HAS SOPS 2990382 HAS SOUS 1766539 HAS SOUPS 1766349 WITH SCORE 1769339.728
AT ITER 3471 NEW BEST:: SOT 3195214 SOS 3003699 HAS SOPS 3003353 HAS SOUS 1766028 HAS SOUPS 1765838 WITH SCORE 1768841.699
AT ITER 3496 NEW BEST:: SOT 3195945 SOS 3004430 HAS SOPS 3004084 HAS SOUS 1766006 HAS SOUPS 1765816 WITH SCORE 1768820.43
AT ITER 3533 NEW BEST:: SOT 3195945 SOS 3004322 HAS SOPS 3003976 HAS SOUS 1765536 HAS SOUPS 1765346 WITH SCORE 1768350.322
AT ITER 3536 NEW BEST:: SOT 3195946 SOS 3005550 HAS SOPS 3005205 HAS SOUS 1764986 HAS SOUPS 1764796 WITH SCORE 1767801.55
AT ITER 3577 NEW BEST:: SOT 3197554 SOS 3007158 HAS SOPS 3006813 HAS SOUS 1764444 HAS SOUPS 1764254 WITH SCORE 1767261.158
AT ITER 3586 NEW BEST:: SOT 3227890 SOS 3034299 HAS SOPS 3033954 HAS SOUS 1761443 HAS SOUPS 1761253 WITH SCORE 1764287.299
AT ITER 3594 NEW BEST:: SOT 3227890 SOS 3034299 HAS SOPS 3033954 HAS SOUS 1761158 HAS SOUPS 1760968 WITH SCORE 1764002.299
AT ITER 3605 NEW BEST:: SOT 3223482 SOS 3029891 HAS SOPS 3029546 HAS SOUS 1761158 HAS SOUPS 1760968 WITH SCORE 1763997.891
AT ITER 3619 NEW BEST:: SOT 3229023 SOS 3035432 HAS SOPS 3035087 HAS SOUS 1760911 HAS SOUPS 1760721 WITH SCORE 1763756.432
AT ITER 3673 NEW BEST:: SOT 3231495 SOS 3037904 HAS SOPS 3037559 HAS SOUS 1760163 HAS SOUPS 1759973 WITH SCORE 1763010.904
AT ITER 3675 NEW BEST:: SOT 3232101 SOS 3038510 HAS SOPS 3038165 HAS SOUS 1759953 HAS SOUPS 1759763 WITH SCORE 1762801.51
AT ITER 3689 NEW BEST:: SOT 3232101 SOS 3038416 HAS SOPS 3038071 HAS SOUS 1759953 HAS SOUPS 1759763 WITH SCORE 1762801.416
AT ITER 3691 NEW BEST:: SOT 3232452 SOS 3038767 HAS SOPS 3038422 HAS SOUS 1759948 HAS SOUPS 1759758 WITH SCORE 1762796.767
AT ITER 3693 NEW BEST:: SOT 3232452 SOS 3038767 HAS SOPS 3038422 HAS SOUS 1759937 HAS SOUPS 1759747 WITH SCORE 1762785.767
AT ITER 3730 NEW BEST:: SOT 3232839 SOS 3039154 HAS SOPS 3038809 HAS SOUS 1758438 HAS SOUPS 1758248 WITH SCORE 1761287.154
AT ITER 3769 NEW BEST:: SOT 3232839 SOS 3037990 HAS SOPS 3037645 HAS SOUS 1758050 HAS SOUPS 1757860 WITH SCORE 1760897.99
AT ITER 3776 NEW BEST:: SOT 3243207 SOS 3047127 HAS SOPS 3046782 HAS SOUS 1753475 HAS SOUPS 1753285 WITH SCORE 1756332.127
AT ITER 3815 NEW BEST:: SOT 3243207 SOS 3047127 HAS SOPS 3046782 HAS SOUS 1753377 HAS SOUPS 1753187 WITH SCORE 1756234.127
AT ITER 3831 NEW BEST:: SOT 3243207 SOS 3046408 HAS SOPS 3046063 HAS SOUS 1750722 HAS SOUPS 1750532 WITH SCORE 1753578.408
AT ITER 3859 NEW BEST:: SOT 3256103 SOS 3052721 HAS SOPS 3052376 HAS SOUS 1746460 HAS SOUPS 1746270 WITH SCORE 1749322.721
AT ITER 3875 NEW BEST:: SOT 3261705 SOS 3058323 HAS SOPS 3057978 HAS SOUS 1746454 HAS SOUPS 1746264 WITH SCORE 1749322.323
AT ITER 3896 NEW BEST:: SOT 3261775 SOS 3058393 HAS SOPS 3058048 HAS SOUS 1746311 HAS SOUPS 1746121 WITH SCORE 1749179.393
AT ITER 3909 NEW BEST:: SOT 3280415 SOS 3069346 HAS SOPS 3069001 HAS SOUS 1743623 HAS SOUPS 1743433 WITH SCORE 1746502.346
AT ITER 3958 NEW BEST:: SOT 3280415 SOS 3069346 HAS SOPS 3069001 HAS SOUS 1743243 HAS SOUPS 1743053 WITH SCORE 1746122.346
AT ITER 3982 NEW BEST:: SOT 3280415 SOS 3069346 HAS SOPS 3069001 HAS SOUS 1742537 HAS SOUPS 1742347 WITH SCORE 1745416.346
AT ITER 3995 NEW BEST:: SOT 3280733 SOS 3069664 HAS SOPS 3069319 HAS SOUS 1741999 HAS SOUPS 1741809 WITH SCORE 1744878.664
AT ITER 4002 NEW BEST:: SOT 3301829 SOS 3087876 HAS SOPS 3087531 HAS SOUS 1736303 HAS SOUPS 1736113 WITH SCORE 1739200.876
AT ITER 4008 NEW BEST:: SOT 3301829 SOS 3084385 HAS SOPS 3084040 HAS SOUS 1733072 HAS SOUPS 1732882 WITH SCORE 1735966.385
AT ITER 4036 NEW BEST:: SOT 3323441 SOS 3101462 HAS SOPS 3101117 HAS SOUS 1727027 HAS SOUPS 1726837 WITH SCORE 1729938.462
AT ITER 4045 NEW BEST:: SOT 3323441 SOS 3100869 HAS SOPS 3100524 HAS SOUS 1725429 HAS SOUPS 1725239 WITH SCORE 1728339.869
AT ITER 4057 NEW BEST:: SOT 3323551 SOS 3100979 HAS SOPS 3100634 HAS SOUS 1725251 HAS SOUPS 1725061 WITH SCORE 1728161.979
AT ITER 4072 NEW BEST:: SOT 3323551 SOS 3100979 HAS SOPS 3100634 HAS SOUS 1725070 HAS SOUPS 1724880 WITH SCORE 1727980.979
AT ITER 4083 NEW BEST:: SOT 3323551 SOS 3098816 HAS SOPS 3098471 HAS SOUS 1725070 HAS SOUPS 1724880 WITH SCORE 1727978.816
AT ITER 4101 NEW BEST:: SOT 3323789 SOS 3099054 HAS SOPS 3098709 HAS SOUS 1724996 HAS SOUPS 1724806 WITH SCORE 1727905.054
AT ITER 4105 NEW BEST:: SOT 3325429 SOS 3100694 HAS SOPS 3100349 HAS SOUS 1722730 HAS SOUPS 1722540 WITH SCORE 1725640.694
AT ITER 4121 NEW BEST:: SOT 3325429 SOS 3100694 HAS SOPS 3100349 HAS SOUS 1722181 HAS SOUPS 1721991 WITH SCORE 1725091.694
AT ITER 4142 NEW BEST:: SOT 3325429 SOS 3100701 HAS SOPS 3100356 HAS SOUS 1720907 HAS SOUPS 1720717 WITH SCORE 1723817.701
AT ITER 4145 NEW BEST:: SOT 3325429 SOS 3100792 HAS SOPS 3100447 HAS SOUS 1720757 HAS SOUPS 1720567 WITH SCORE 1723667.792
AT ITER 4152 NEW BEST:: SOT 3325429 SOS 3095487 HAS SOPS 3095142 HAS SOUS 1720757 HAS SOUPS 1720567 WITH SCORE 1723662.487
AT ITER 4155 NEW BEST:: SOT 3324201 SOS 3094259 HAS SOPS 3093914 HAS SOUS 1720757 HAS SOUPS 1720567 WITH SCORE 1723661.259
AT ITER 4161 NEW BEST:: SOT 3324992 SOS 3095050 HAS SOPS 3094705 HAS SOUS 1720748 HAS SOUPS 1720558 WITH SCORE 1723653.05
AT ITER 4181 NEW BEST:: SOT 3324992 SOS 3095049 HAS SOPS 3094704 HAS SOUS 1720639 HAS SOUPS 1720449 WITH SCORE 1723544.049
AT ITER 4246 NEW BEST:: SOT 3327779 SOS 3097836 HAS SOPS 3097491 HAS SOUS 1719918 HAS SOUPS 1719728 WITH SCORE 1722825.836
AT ITER 4254 NEW BEST:: SOT 3344783 SOS 3111986 HAS SOPS 3111641 HAS SOUS 1713551 HAS SOUPS 1713361 WITH SCORE 1716472.986
AT ITER 4262 NEW BEST:: SOT 3344148 SOS 3111351 HAS SOPS 3111006 HAS SOUS 1713424 HAS SOUPS 1713234 WITH SCORE 1716345.351
AT ITER 4269 NEW BEST:: SOT 3344148 SOS 3111151 HAS SOPS 3110806 HAS SOUS 1713150 HAS SOUPS 1712960 WITH SCORE 1716071.151
AT ITER 4272 NEW BEST:: SOT 3347634 SOS 3114339 HAS SOPS 3113994 HAS SOUS 1712254 HAS SOUPS 1712064 WITH SCORE 1715178.339
AT ITER 4285 NEW BEST:: SOT 3347049 SOS 3113754 HAS SOPS 3113409 HAS SOUS 1711864 HAS SOUPS 1711674 WITH SCORE 1714787.754
AT ITER 4288 NEW BEST:: SOT 3347049 SOS 3099501 HAS SOPS 3099156 HAS SOUS 1709508 HAS SOUPS 1709318 WITH SCORE 1712417.501
AT ITER 4311 NEW BEST:: SOT 3347049 SOS 3099116 HAS SOPS 3098771 HAS SOUS 1709126 HAS SOUPS 1708936 WITH SCORE 1712035.116
AT ITER 4370 NEW BEST:: SOT 3347049 SOS 3099116 HAS SOPS 3098771 HAS SOUS 1708492 HAS SOUPS 1708302 WITH SCORE 1711401.116
AT ITER 4377 NEW BEST:: SOT 3350067 SOS 3102134 HAS SOPS 3101789 HAS SOUS 1707437 HAS SOUPS 1707247 WITH SCORE 1710349.134
AT ITER 4384 NEW BEST:: SOT 3350067 SOS 3101856 HAS SOPS 3101511 HAS SOUS 1706269 HAS SOUPS 1706079 WITH SCORE 1709180.856
AT ITER 4395 NEW BEST:: SOT 3350067 SOS 3097341 HAS SOPS 3096996 HAS SOUS 1700708 HAS SOUPS 1700518 WITH SCORE 1703615.341
AT ITER 4419 NEW BEST:: SOT 3347982 SOS 3095256 HAS SOPS 3094911 HAS SOUS 1700013 HAS SOUPS 1699823 WITH SCORE 1702918.256
AT ITER 4452 NEW BEST:: SOT 3347982 SOS 3094179 HAS SOPS 3093834 HAS SOUS 1700013 HAS SOUPS 1699823 WITH SCORE 1702917.179
AT ITER 4479 NEW BEST:: SOT 3350127 SOS 3096324 HAS SOPS 3095979 HAS SOUS 1698651 HAS SOUPS 1698461 WITH SCORE 1701557.324
AT ITER 4481 NEW BEST:: SOT 3343917 SOS 3090114 HAS SOPS 3089769 HAS SOUS 1696277 HAS SOUPS 1696087 WITH SCORE 1699177.114
AT ITER 4495 NEW BEST:: SOT 3343323 SOS 3089520 HAS SOPS 3089175 HAS SOUS 1696223 HAS SOUPS 1696033 WITH SCORE 1699122.52
AT ITER 4507 NEW BEST:: SOT 3343323 SOS 3089520 HAS SOPS 3089175 HAS SOUS 1694968 HAS SOUPS 1694778 WITH SCORE 1697867.52
AT ITER 4516 NEW BEST:: SOT 3343323 SOS 3089515 HAS SOPS 3089170 HAS SOUS 1694775 HAS SOUPS 1694585 WITH SCORE 1697674.515
AT ITER 4528 NEW BEST:: SOT 3343618 SOS 3089810 HAS SOPS 3089465 HAS SOUS 1693586 HAS SOUPS 1693396 WITH SCORE 1696485.81
AT ITER 4598 NEW BEST:: SOT 3347266 SOS 3093458 HAS SOPS 3093113 HAS SOUS 1693131 HAS SOUPS 1692941 WITH SCORE 1696034.458
AT ITER 4637 NEW BEST:: SOT 3347266 SOS 3093458 HAS SOPS 3093113 HAS SOUS 1692671 HAS SOUPS 1692481 WITH SCORE 1695574.458
AT ITER 4666 NEW BEST:: SOT 3347398 SOS 3093590 HAS SOPS 3093245 HAS SOUS 1692269 HAS SOUPS 1692079 WITH SCORE 1695172.59
AT ITER 4689 NEW BEST:: SOT 3347398 SOS 3093220 HAS SOPS 3092875 HAS SOUS 1691912 HAS SOUPS 1691722 WITH SCORE 1694815.22
AT ITER 4698 NEW BEST:: SOT 3348178 SOS 3094000 HAS SOPS 3093655 HAS SOUS 1689327 HAS SOUPS 1689137 WITH SCORE 1692231.0
AT ITER 4700 NEW BEST:: SOT 3349012 SOS 3094834 HAS SOPS 3094489 HAS SOUS 1688897 HAS SOUPS 1688707 WITH SCORE 1691801.834
AT ITER 4705 NEW BEST:: SOT 3349156 SOS 3094978 HAS SOPS 3094633 HAS SOUS 1688068 HAS SOUPS 1687878 WITH SCORE 1690972.978
AT ITER 4716 NEW BEST:: SOT 3350096 SOS 3094982 HAS SOPS 3094560 HAS SOUS 1687796 HAS SOUPS 1687606 WITH SCORE 1690700.982
AT ITER 4725 NEW BEST:: SOT 3350490 SOS 3095376 HAS SOPS 3094954 HAS SOUS 1687563 HAS SOUPS 1687373 WITH SCORE 1690468.376
AT ITER 4737 NEW BEST:: SOT 3351156 SOS 3096033 HAS SOPS 3095611 HAS SOUS 1687453 HAS SOUPS 1687263 WITH SCORE 1690359.033
AT ITER 4739 NEW BEST:: SOT 3357131 SOS 3101714 HAS SOPS 3101292 HAS SOUS 1685054 HAS SOUPS 1684864 WITH SCORE 1687965.714
AT ITER 4744 NEW BEST:: SOT 3357131 SOS 3101214 HAS SOPS 3100792 HAS SOUS 1685054 HAS SOUPS 1684864 WITH SCORE 1687965.214
AT ITER 4754 NEW BEST:: SOT 3366203 SOS 3107426 HAS SOPS 3107004 HAS SOUS 1677360 HAS SOUPS 1677170 WITH SCORE 1680277.426
AT ITER 4783 NEW BEST:: SOT 3366291 SOS 3107514 HAS SOPS 3107092 HAS SOUS 1676741 HAS SOUPS 1676551 WITH SCORE 1679658.514
AT ITER 4798 NEW BEST:: SOT 3396507 SOS 3136740 HAS SOPS 3136318 HAS SOUS 1675943 HAS SOUPS 1675753 WITH SCORE 1678889.74
AT ITER 4800 NEW BEST:: SOT 3396507 SOS 3136740 HAS SOPS 3136318 HAS SOUS 1675524 HAS SOUPS 1675334 WITH SCORE 1678470.74
AT ITER 4803 NEW BEST:: SOT 3396507 SOS 3135584 HAS SOPS 3135162 HAS SOUS 1673283 HAS SOUPS 1673093 WITH SCORE 1676228.584
AT ITER 4817 NEW BEST:: SOT 3396507 SOS 3135584 HAS SOPS 3135162 HAS SOUS 1672924 HAS SOUPS 1672734 WITH SCORE 1675869.584
AT ITER 4839 NEW BEST:: SOT 3397632 SOS 3136510 HAS SOPS 3136088 HAS SOUS 1672145 HAS SOUPS 1671955 WITH SCORE 1675091.51
AT ITER 4840 NEW BEST:: SOT 3398110 SOS 3136988 HAS SOPS 3136566 HAS SOUS 1671744 HAS SOUPS 1671554 WITH SCORE 1674690.988
AT ITER 4866 NEW BEST:: SOT 3398110 SOS 3136988 HAS SOPS 3136566 HAS SOUS 1671589 HAS SOUPS 1671399 WITH SCORE 1674535.988
AT ITER 4877 NEW BEST:: SOT 3398404 SOS 3137282 HAS SOPS 3136860 HAS SOUS 1671513 HAS SOUPS 1671323 WITH SCORE 1674460.282
AT ITER 4880 NEW BEST:: SOT 3398404 SOS 3137282 HAS SOPS 3136860 HAS SOUS 1671511 HAS SOUPS 1671321 WITH SCORE 1674458.282
AT ITER 4881 NEW BEST:: SOT 3398404 SOS 3137282 HAS SOPS 3136860 HAS SOUS 1671076 HAS SOUPS 1670886 WITH SCORE 1674023.282
AT ITER 4883 NEW BEST:: SOT 3398277 SOS 3137201 HAS SOPS 3136856 HAS SOUS 1670949 HAS SOUPS 1670759 WITH SCORE 1673896.201
AT ITER 4907 NEW BEST:: SOT 3398603 SOS 3137527 HAS SOPS 3137182 HAS SOUS 1670875 HAS SOUPS 1670685 WITH SCORE 1673822.527
AT ITER 4931 NEW BEST:: SOT 3396269 SOS 3135193 HAS SOPS 3134848 HAS SOUS 1670097 HAS SOUPS 1669907 WITH SCORE 1673042.193
AT ITER 4956 NEW BEST:: SOT 3396269 SOS 3135102 HAS SOPS 3134757 HAS SOUS 1670038 HAS SOUPS 1669848 WITH SCORE 1672983.102
AT ITER 4995 NEW BEST:: SOT 3396953 SOS 3135172 HAS SOPS 3134827 HAS SOUS 1669461 HAS SOUPS 1669271 WITH SCORE 1672406.172
AT ITER 5003 NEW BEST:: SOT 3396978 SOS 3134892 HAS SOPS 3134522 HAS SOUS 1669156 HAS SOUPS 1668966 WITH SCORE 1672100.892
AT ITER 5026 NEW BEST:: SOT 3397078 SOS 3134126 HAS SOPS 3133706 HAS SOUS 1668025 HAS SOUPS 1667835 WITH SCORE 1670969.126
AT ITER 5042 NEW BEST:: SOT 3397078 SOS 3130719 HAS SOPS 3130299 HAS SOUS 1663863 HAS SOUPS 1663673 WITH SCORE 1666803.719
AT ITER 5093 NEW BEST:: SOT 3409810 SOS 3138948 HAS SOPS 3138528 HAS SOUS 1656366 HAS SOUPS 1656176 WITH SCORE 1659314.948
AT ITER 5106 NEW BEST:: SOT 3411343 SOS 3140481 HAS SOPS 3140061 HAS SOUS 1656009 HAS SOUPS 1655819 WITH SCORE 1658959.481
AT ITER 5129 NEW BEST:: SOT 3415503 SOS 3144641 HAS SOPS 3144221 HAS SOUS 1655873 HAS SOUPS 1655683 WITH SCORE 1658827.641
AT ITER 5141 NEW BEST:: SOT 3413827 SOS 3142965 HAS SOPS 3142545 HAS SOUS 1655035 HAS SOUPS 1654845 WITH SCORE 1657987.965
AT ITER 5166 NEW BEST:: SOT 3414417 SOS 3143555 HAS SOPS 3143135 HAS SOUS 1654499 HAS SOUPS 1654309 WITH SCORE 1657452.555
AT ITER 5173 NEW BEST:: SOT 3414246 SOS 3143384 HAS SOPS 3142964 HAS SOUS 1654442 HAS SOUPS 1654252 WITH SCORE 1657395.384
AT ITER 5175 NEW BEST:: SOT 3390054 SOS 3119192 HAS SOPS 3118772 HAS SOUS 1650310 HAS SOUPS 1650120 WITH SCORE 1653239.192
AT ITER 5176 NEW BEST:: SOT 3390054 SOS 3115259 HAS SOPS 3114839 HAS SOUS 1648330 HAS SOUPS 1648140 WITH SCORE 1651255.259
AT ITER 5200 NEW BEST:: SOT 3391474 SOS 3115742 HAS SOPS 3115245 HAS SOUS 1648137 HAS SOUPS 1647947 WITH SCORE 1651062.742
AT ITER 5222 NEW BEST:: SOT 3391474 SOS 3115742 HAS SOPS 3115245 HAS SOUS 1648001 HAS SOUPS 1647811 WITH SCORE 1650926.742
AT ITER 5267 NEW BEST:: SOT 3391684 SOS 3115952 HAS SOPS 3115455 HAS SOUS 1647821 HAS SOUPS 1647631 WITH SCORE 1650746.952
AT ITER 5280 NEW BEST:: SOT 3391833 SOS 3116101 HAS SOPS 3115604 HAS SOUS 1647288 HAS SOUPS 1647098 WITH SCORE 1650214.101
AT ITER 5292 NEW BEST:: SOT 3391833 SOS 3116101 HAS SOPS 3115604 HAS SOUS 1647249 HAS SOUPS 1647059 WITH SCORE 1650175.101
AT ITER 5302 NEW BEST:: SOT 3391974 SOS 3116242 HAS SOPS 3115745 HAS SOUS 1646106 HAS SOUPS 1645916 WITH SCORE 1649032.242
AT ITER 5321 NEW BEST:: SOT 3391974 SOS 3115591 HAS SOPS 3115094 HAS SOUS 1645426 HAS SOUPS 1645236 WITH SCORE 1648351.591
AT ITER 5325 NEW BEST:: SOT 3391974 SOS 3115591 HAS SOPS 3115094 HAS SOUS 1645044 HAS SOUPS 1644854 WITH SCORE 1647969.591
AT ITER 5347 NEW BEST:: SOT 3391974 SOS 3115293 HAS SOPS 3114796 HAS SOUS 1644884 HAS SOUPS 1644694 WITH SCORE 1647809.293
AT ITER 5360 NEW BEST:: SOT 3379458 SOS 3102777 HAS SOPS 3102280 HAS SOUS 1640712 HAS SOUPS 1640522 WITH SCORE 1643624.777
AT ITER 5416 NEW BEST:: SOT 3380212 SOS 3102576 HAS SOPS 3101702 HAS SOUS 1639841 HAS SOUPS 1639441 WITH SCORE 1642543.576
AT ITER 5457 NEW BEST:: SOT 3381326 SOS 3103690 HAS SOPS 3102816 HAS SOUS 1639670 HAS SOUPS 1639270 WITH SCORE 1642373.69
AT ITER 5465 NEW BEST:: SOT 3381368 SOS 3103528 HAS SOPS 3102654 HAS SOUS 1638198 HAS SOUPS 1637798 WITH SCORE 1640901.528
AT ITER 5470 NEW BEST:: SOT 3383888 SOS 3103182 HAS SOPS 3102308 HAS SOUS 1629414 HAS SOUPS 1629014 WITH SCORE 1632117.182
AT ITER 5503 NEW BEST:: SOT 3383717 SOS 3103011 HAS SOPS 3102137 HAS SOUS 1629357 HAS SOUPS 1628957 WITH SCORE 1632060.011
AT ITER 5519 NEW BEST:: SOT 3383993 SOS 3103287 HAS SOPS 3102413 HAS SOUS 1628252 HAS SOUPS 1627852 WITH SCORE 1630955.287
AT ITER 5557 NEW BEST:: SOT 3383828 SOS 3102818 HAS SOPS 3101779 HAS SOUS 1628087 HAS SOUPS 1627687 WITH SCORE 1630789.818
AT ITER 5582 NEW BEST:: SOT 3385277 SOS 3104267 HAS SOPS 3103228 HAS SOUS 1626916 HAS SOUPS 1626516 WITH SCORE 1629620.267
AT ITER 5592 NEW BEST:: SOT 3385277 SOS 3103846 HAS SOPS 3102807 HAS SOUS 1625500 HAS SOUPS 1625100 WITH SCORE 1628203.846
AT ITER 5607 NEW BEST:: SOT 3386553 SOS 3105122 HAS SOPS 3104083 HAS SOUS 1624918 HAS SOUPS 1624518 WITH SCORE 1627623.122
AT ITER 5623 NEW BEST:: SOT 3386553 SOS 3102835 HAS SOPS 3101796 HAS SOUS 1620476 HAS SOUPS 1620076 WITH SCORE 1623178.835
AT ITER 5636 NEW BEST:: SOT 3388020 SOS 3104302 HAS SOPS 3103263 HAS SOUS 1620346 HAS SOUPS 1619946 WITH SCORE 1623050.302
AT ITER 5649 NEW BEST:: SOT 3390921 SOS 3107203 HAS SOPS 3106164 HAS SOUS 1620019 HAS SOUPS 1619619 WITH SCORE 1622726.203
AT ITER 5661 NEW BEST:: SOT 3391935 SOS 3108217 HAS SOPS 3107178 HAS SOUS 1619762 HAS SOUPS 1619362 WITH SCORE 1622470.217
AT ITER 5663 NEW BEST:: SOT 3391935 SOS 3107917 HAS SOPS 3106878 HAS SOUS 1619449 HAS SOUPS 1619049 WITH SCORE 1622156.917
AT ITER 5697 NEW BEST:: SOT 3391935 SOS 3107917 HAS SOPS 3106878 HAS SOUS 1617751 HAS SOUPS 1617351 WITH SCORE 1620458.917
AT ITER 5704 NEW BEST:: SOT 3391935 SOS 3107917 HAS SOPS 3106878 HAS SOUS 1617747 HAS SOUPS 1617347 WITH SCORE 1620454.917
AT ITER 5711 NEW BEST:: SOT 3391935 SOS 3107290 HAS SOPS 3106251 HAS SOUS 1615239 HAS SOUPS 1614839 WITH SCORE 1617946.29
AT ITER 5724 NEW BEST:: SOT 3415611 SOS 3128094 HAS SOPS 3127055 HAS SOUS 1609976 HAS SOUPS 1609576 WITH SCORE 1612704.094
AT ITER 5747 NEW BEST:: SOT 3416059 SOS 3128228 HAS SOPS 3126741 HAS SOUS 1609733 HAS SOUPS 1609262 WITH SCORE 1612390.228
AT ITER 5766 NEW BEST:: SOT 3436013 SOS 3145406 HAS SOPS 3143919 HAS SOUS 1602838 HAS SOUPS 1602367 WITH SCORE 1605512.406
AT ITER 5792 NEW BEST:: SOT 3437800 SOS 3146330 HAS SOPS 3144843 HAS SOUS 1597977 HAS SOUPS 1597506 WITH SCORE 1600652.33
AT ITER 5800 NEW BEST:: SOT 3437800 SOS 3121689 HAS SOPS 3120202 HAS SOUS 1593206 HAS SOUPS 1592735 WITH SCORE 1595856.689
AT ITER 5855 NEW BEST:: SOT 3437800 SOS 3121689 HAS SOPS 3120202 HAS SOUS 1592826 HAS SOUPS 1592355 WITH SCORE 1595476.689
AT ITER 5856 NEW BEST:: SOT 3445357 SOS 3125076 HAS SOPS 3123589 HAS SOUS 1584910 HAS SOUPS 1584439 WITH SCORE 1587564.076
AT ITER 5868 NEW BEST:: SOT 3443357 SOS 3123076 HAS SOPS 3121589 HAS SOUS 1583591 HAS SOUPS 1583120 WITH SCORE 1586243.076
AT ITER 5904 NEW BEST:: SOT 3447308 SOS 3127027 HAS SOPS 3125540 HAS SOUS 1583498 HAS SOUPS 1583027 WITH SCORE 1586154.027
AT ITER 5920 NEW BEST:: SOT 3465224 SOS 3144862 HAS SOPS 3143375 HAS SOUS 1583033 HAS SOUPS 1582562 WITH SCORE 1585706.862
AT ITER 5927 NEW BEST:: SOT 3465224 SOS 3144862 HAS SOPS 3143375 HAS SOUS 1582493 HAS SOUPS 1582022 WITH SCORE 1585166.862
AT ITER 5952 NEW BEST:: SOT 3466373 SOS 3146011 HAS SOPS 3144524 HAS SOUS 1582194 HAS SOUPS 1581723 WITH SCORE 1584869.011
AT ITER 5953 NEW BEST:: SOT 3466373 SOS 3146011 HAS SOPS 3144524 HAS SOUS 1582121 HAS SOUPS 1581650 WITH SCORE 1584796.011
AT ITER 5956 NEW BEST:: SOT 3466373 SOS 3146011 HAS SOPS 3144524 HAS SOUS 1581979 HAS SOUPS 1581508 WITH SCORE 1584654.011
AT ITER 5962 NEW BEST:: SOT 3467028 SOS 3146633 HAS SOPS 3145146 HAS SOUS 1577516 HAS SOUPS 1577045 WITH SCORE 1580191.633
AT ITER 5968 NEW BEST:: SOT 3467028 SOS 3146944 HAS SOPS 3145457 HAS SOUS 1577337 HAS SOUPS 1576866 WITH SCORE 1580012.944
AT ITER 6004 NEW BEST:: SOT 3471021 SOS 3147401 HAS SOPS 3145914 HAS SOUS 1569403 HAS SOUPS 1568932 WITH SCORE 1572079.401
AT ITER 6005 NEW BEST:: SOT 3471021 SOS 3147320 HAS SOPS 3145833 HAS SOUS 1569295 HAS SOUPS 1568824 WITH SCORE 1571971.32
AT ITER 6021 NEW BEST:: SOT 3471291 SOS 3147590 HAS SOPS 3146103 HAS SOUS 1569261 HAS SOUPS 1568790 WITH SCORE 1571937.59
AT ITER 6042 NEW BEST:: SOT 3465243 SOS 3141542 HAS SOPS 3140055 HAS SOUS 1568253 HAS SOUPS 1567782 WITH SCORE 1570923.542
AT ITER 6069 NEW BEST:: SOT 3465417 SOS 3141716 HAS SOPS 3140229 HAS SOUS 1568008 HAS SOUPS 1567537 WITH SCORE 1570678.716
AT ITER 6078 NEW BEST:: SOT 3465417 SOS 3141716 HAS SOPS 3140229 HAS SOUS 1567737 HAS SOUPS 1567266 WITH SCORE 1570407.716
AT ITER 6130 NEW BEST:: SOT 3465417 SOS 3120604 HAS SOPS 3119117 HAS SOUS 1567737 HAS SOUPS 1567266 WITH SCORE 1570386.604
AT ITER 6147 NEW BEST:: SOT 3465417 SOS 3120604 HAS SOPS 3119117 HAS SOUS 1567735 HAS SOUPS 1567264 WITH SCORE 1570384.604
AT ITER 6149 NEW BEST:: SOT 3466239 SOS 3120960 HAS SOPS 3119473 HAS SOUS 1567492 HAS SOUPS 1567021 WITH SCORE 1570141.96
AT ITER 6186 NEW BEST:: SOT 3466239 SOS 3120930 HAS SOPS 3119443 HAS SOUS 1567469 HAS SOUPS 1566998 WITH SCORE 1570118.93
AT ITER 6230 NEW BEST:: SOT 3463929 SOS 3118620 HAS SOPS 3117133 HAS SOUS 1567269 HAS SOUPS 1566798 WITH SCORE 1569916.62
AT ITER 6237 NEW BEST:: SOT 3463929 SOS 3118620 HAS SOPS 3117133 HAS SOUS 1567029 HAS SOUPS 1566558 WITH SCORE 1569676.62
AT ITER 6258 NEW BEST:: SOT 3463929 SOS 3117368 HAS SOPS 3115881 HAS SOUS 1565288 HAS SOUPS 1564817 WITH SCORE 1567934.368
AT ITER 6270 NEW BEST:: SOT 3464389 SOS 3117828 HAS SOPS 3116341 HAS SOUS 1565287 HAS SOUPS 1564816 WITH SCORE 1567933.828
AT ITER 6275 NEW BEST:: SOT 3464389 SOS 3117828 HAS SOPS 3116341 HAS SOUS 1564891 HAS SOUPS 1564420 WITH SCORE 1567537.828
AT ITER 6282 NEW BEST:: SOT 3465627 SOS 3119066 HAS SOPS 3117579 HAS SOUS 1564508 HAS SOUPS 1564037 WITH SCORE 1567156.066
AT ITER 6308 NEW BEST:: SOT 3465627 SOS 3119066 HAS SOPS 3117579 HAS SOUS 1564260 HAS SOUPS 1563789 WITH SCORE 1566908.066
AT ITER 6328 NEW BEST:: SOT 3460506 SOS 3113945 HAS SOPS 3112458 HAS SOUS 1562553 HAS SOUPS 1562082 WITH SCORE 1565195.945
AT ITER 6349 NEW BEST:: SOT 3462429 SOS 3115868 HAS SOPS 3114381 HAS SOUS 1562419 HAS SOUPS 1561948 WITH SCORE 1565063.868
AT ITER 6367 NEW BEST:: SOT 3464016 SOS 3117455 HAS SOPS 3115968 HAS SOUS 1561491 HAS SOUPS 1561020 WITH SCORE 1564137.455
AT ITER 6368 NEW BEST:: SOT 3465114 SOS 3117537 HAS SOPS 3115244 HAS SOUS 1561125 HAS SOUPS 1560296 WITH SCORE 1563413.537
AT ITER 6369 NEW BEST:: SOT 3465114 SOS 3117537 HAS SOPS 3115244 HAS SOUS 1560954 HAS SOUPS 1560125 WITH SCORE 1563242.537
AT ITER 6370 NEW BEST:: SOT 3466335 SOS 3117986 HAS SOPS 3115693 HAS SOUS 1555533 HAS SOUPS 1554704 WITH SCORE 1557821.986
AT ITER 6392 NEW BEST:: SOT 3467321 SOS 3118662 HAS SOPS 3115563 HAS SOUS 1555313 HAS SOUPS 1554484 WITH SCORE 1557602.662
AT ITER 6393 NEW BEST:: SOT 3467321 SOS 3118662 HAS SOPS 3115563 HAS SOUS 1555312 HAS SOUPS 1554483 WITH SCORE 1557601.662
AT ITER 6397 NEW BEST:: SOT 3467321 SOS 3118662 HAS SOPS 3115563 HAS SOUS 1553509 HAS SOUPS 1552680 WITH SCORE 1555798.662
AT ITER 6407 NEW BEST:: SOT 3467321 SOS 3118662 HAS SOPS 3115563 HAS SOUS 1553487 HAS SOUPS 1552658 WITH SCORE 1555776.662
AT ITER 6417 NEW BEST:: SOT 3467321 SOS 3118662 HAS SOPS 3115563 HAS SOUS 1551963 HAS SOUPS 1551134 WITH SCORE 1554252.662
AT ITER 6425 NEW BEST:: SOT 3467321 SOS 3118767 HAS SOPS 3115668 HAS SOUS 1551962 HAS SOUPS 1551133 WITH SCORE 1554251.767
AT ITER 6436 NEW BEST:: SOT 3467930 SOS 3119376 HAS SOPS 3116277 HAS SOUS 1549772 HAS SOUPS 1548943 WITH SCORE 1552062.376
AT ITER 6516 NEW BEST:: SOT 3467930 SOS 3119146 HAS SOPS 3116047 HAS SOUS 1547369 HAS SOUPS 1546540 WITH SCORE 1549659.146
AT ITER 6545 NEW BEST:: SOT 3468471 SOS 3119687 HAS SOPS 3116588 HAS SOUS 1547266 HAS SOUPS 1546437 WITH SCORE 1549556.687
AT ITER 6559 NEW BEST:: SOT 3470301 SOS 3121464 HAS SOPS 3118365 HAS SOUS 1546772 HAS SOUPS 1545943 WITH SCORE 1549064.464
AT ITER 6560 NEW BEST:: SOT 3471143 SOS 3122306 HAS SOPS 3119207 HAS SOUS 1546309 HAS SOUPS 1545480 WITH SCORE 1548602.306
AT ITER 6573 NEW BEST:: SOT 3471311 SOS 3122474 HAS SOPS 3119375 HAS SOUS 1546004 HAS SOUPS 1545175 WITH SCORE 1548297.474
AT ITER 6597 NEW BEST:: SOT 3472009 SOS 3122869 HAS SOPS 3119072 HAS SOUS 1545701 HAS SOUPS 1544872 WITH SCORE 1547994.869
AT ITER 6631 NEW BEST:: SOT 3471271 SOS 3122131 HAS SOPS 3118334 HAS SOUS 1544749 HAS SOUPS 1543920 WITH SCORE 1547042.131
AT ITER 6653 NEW BEST:: SOT 3473158 SOS 3124018 HAS SOPS 3120221 HAS SOUS 1544601 HAS SOUPS 1543772 WITH SCORE 1546896.018
AT ITER 6669 NEW BEST:: SOT 3473158 SOS 3123804 HAS SOPS 3120007 HAS SOUS 1544144 HAS SOUPS 1543315 WITH SCORE 1546438.804
AT ITER 6686 NEW BEST:: SOT 3465502 SOS 3116148 HAS SOPS 3112351 HAS SOUS 1542868 HAS SOUPS 1542039 WITH SCORE 1545155.148
AT ITER 6705 NEW BEST:: SOT 3465900 SOS 3116546 HAS SOPS 3112749 HAS SOUS 1542644 HAS SOUPS 1541815 WITH SCORE 1544931.546
AT ITER 6708 NEW BEST:: SOT 3471590 SOS 3120554 HAS SOPS 3116757 HAS SOUS 1539795 HAS SOUPS 1538966 WITH SCORE 1542086.554
AT ITER 6714 NEW BEST:: SOT 3472143 SOS 3119859 HAS SOPS 3116062 HAS SOUS 1539452 HAS SOUPS 1538623 WITH SCORE 1541742.859
AT ITER 6725 NEW BEST:: SOT 3470747 SOS 3118463 HAS SOPS 3114731 HAS SOUS 1538383 HAS SOUPS 1537554 WITH SCORE 1540672.463
AT ITER 6734 NEW BEST:: SOT 3470747 SOS 3117835 HAS SOPS 3114103 HAS SOUS 1537648 HAS SOUPS 1536819 WITH SCORE 1539936.835
AT ITER 6749 NEW BEST:: SOT 3470747 SOS 3117835 HAS SOPS 3114103 HAS SOUS 1537564 HAS SOUPS 1536735 WITH SCORE 1539852.835
AT ITER 6764 NEW BEST:: SOT 3471998 SOS 3119086 HAS SOPS 3115354 HAS SOUS 1535903 HAS SOUPS 1535074 WITH SCORE 1538193.086
AT ITER 6770 NEW BEST:: SOT 3471998 SOS 3119086 HAS SOPS 3115354 HAS SOUS 1535473 HAS SOUPS 1534644 WITH SCORE 1537763.086
AT ITER 6773 NEW BEST:: SOT 3471998 SOS 3119086 HAS SOPS 3115354 HAS SOUS 1535329 HAS SOUPS 1534500 WITH SCORE 1537619.086
AT ITER 6790 NEW BEST:: SOT 3473147 SOS 3120109 HAS SOPS 3116377 HAS SOUS 1534900 HAS SOUPS 1534071 WITH SCORE 1537191.109
AT ITER 6791 NEW BEST:: SOT 3473540 SOS 3120502 HAS SOPS 3116770 HAS SOUS 1533895 HAS SOUPS 1533066 WITH SCORE 1536186.502
AT ITER 6817 NEW BEST:: SOT 3473540 SOS 3120502 HAS SOPS 3116770 HAS SOUS 1533861 HAS SOUPS 1533032 WITH SCORE 1536152.502
AT ITER 6826 NEW BEST:: SOT 3480770 SOS 3127732 HAS SOPS 3124000 HAS SOUS 1530916 HAS SOUPS 1530087 WITH SCORE 1533214.732
AT ITER 6830 NEW BEST:: SOT 3481018 SOS 3127980 HAS SOPS 3124248 HAS SOUS 1530492 HAS SOUPS 1529663 WITH SCORE 1532790.98
AT ITER 6833 NEW BEST:: SOT 3481650 SOS 3128612 HAS SOPS 3124880 HAS SOUS 1530341 HAS SOUPS 1529512 WITH SCORE 1532640.612
AT ITER 6847 NEW BEST:: SOT 3482646 SOS 3129608 HAS SOPS 3125876 HAS SOUS 1529964 HAS SOUPS 1529135 WITH SCORE 1532264.608
AT ITER 6866 NEW BEST:: SOT 3484188 SOS 3130995 HAS SOPS 3127263 HAS SOUS 1529672 HAS SOUPS 1528843 WITH SCORE 1531973.995
AT ITER 6877 NEW BEST:: SOT 3483842 SOS 3130649 HAS SOPS 3126917 HAS SOUS 1528926 HAS SOUPS 1528097 WITH SCORE 1531227.649
AT ITER 6878 NEW BEST:: SOT 3484190 SOS 3130997 HAS SOPS 3127265 HAS SOUS 1528475 HAS SOUPS 1527646 WITH SCORE 1530776.997
AT ITER 6901 NEW BEST:: SOT 3484599 SOS 3131406 HAS SOPS 3127674 HAS SOUS 1528122 HAS SOUPS 1527293 WITH SCORE 1530424.406
AT ITER 6933 NEW BEST:: SOT 3484695 SOS 3131502 HAS SOPS 3127770 HAS SOUS 1527812 HAS SOUPS 1526983 WITH SCORE 1530114.502
AT ITER 6961 NEW BEST:: SOT 3484695 SOS 3130902 HAS SOPS 3127170 HAS SOUS 1527021 HAS SOUPS 1526192 WITH SCORE 1529322.902
AT ITER 6993 NEW BEST:: SOT 3484695 SOS 3130871 HAS SOPS 3127139 HAS SOUS 1526990 HAS SOUPS 1526161 WITH SCORE 1529291.871
AT ITER 7000 NEW BEST:: SOT 3484695 SOS 3126980 HAS SOPS 3123248 HAS SOUS 1524459 HAS SOUPS 1523630 WITH SCORE 1526756.98
AT ITER 7005 NEW BEST:: SOT 3484713 SOS 3126998 HAS SOPS 3123266 HAS SOUS 1524357 HAS SOUPS 1523528 WITH SCORE 1526654.998
AT ITER 7031 NEW BEST:: SOT 3484900 SOS 3127185 HAS SOPS 3123453 HAS SOUS 1523682 HAS SOUPS 1522853 WITH SCORE 1525980.185
AT ITER 7033 NEW BEST:: SOT 3484900 SOS 3127185 HAS SOPS 3123453 HAS SOUS 1523660 HAS SOUPS 1522831 WITH SCORE 1525958.185
AT ITER 7074 NEW BEST:: SOT 3484900 SOS 3127185 HAS SOPS 3123453 HAS SOUS 1523475 HAS SOUPS 1522646 WITH SCORE 1525773.185
AT ITER 7086 NEW BEST:: SOT 3485305 SOS 3127590 HAS SOPS 3123858 HAS SOUS 1523062 HAS SOUPS 1522233 WITH SCORE 1525360.59
AT ITER 7088 NEW BEST:: SOT 3485338 SOS 3127623 HAS SOPS 3123891 HAS SOUS 1522709 HAS SOUPS 1521880 WITH SCORE 1525007.623
AT ITER 7106 NEW BEST:: SOT 3476554 SOS 3118839 HAS SOPS 3115107 HAS SOUS 1521245 HAS SOUPS 1520416 WITH SCORE 1523534.839
AT ITER 7114 NEW BEST:: SOT 3476826 SOS 3119111 HAS SOPS 3115379 HAS SOUS 1519589 HAS SOUPS 1518760 WITH SCORE 1521879.111
AT ITER 7127 NEW BEST:: SOT 3476826 SOS 3119111 HAS SOPS 3115379 HAS SOUS 1519395 HAS SOUPS 1518566 WITH SCORE 1521685.111
AT ITER 7146 NEW BEST:: SOT 3476826 SOS 3119111 HAS SOPS 3115379 HAS SOUS 1519245 HAS SOUPS 1518416 WITH SCORE 1521535.111
AT ITER 7168 NEW BEST:: SOT 3476883 SOS 3119126 HAS SOPS 3115394 HAS SOUS 1519086 HAS SOUPS 1518257 WITH SCORE 1521376.126
AT ITER 7181 NEW BEST:: SOT 3477803 SOS 3119740 HAS SOPS 3115088 HAS SOUS 1518894 HAS SOUPS 1517951 WITH SCORE 1521070.74
AT ITER 7186 NEW BEST:: SOT 3477245 SOS 3119182 HAS SOPS 3114530 HAS SOUS 1518543 HAS SOUPS 1517600 WITH SCORE 1520719.182
AT ITER 7189 NEW BEST:: SOT 3488500 SOS 3128707 HAS SOPS 3124055 HAS SOUS 1518451 HAS SOUPS 1517508 WITH SCORE 1520636.707
AT ITER 7190 NEW BEST:: SOT 3488685 SOS 3128892 HAS SOPS 3124240 HAS SOUS 1518266 HAS SOUPS 1517323 WITH SCORE 1520451.892
AT ITER 7198 NEW BEST:: SOT 3498552 SOS 3135209 HAS SOPS 3130557 HAS SOUS 1510755 HAS SOUPS 1509812 WITH SCORE 1512947.209
AT ITER 7246 NEW BEST:: SOT 3498552 SOS 3135209 HAS SOPS 3130557 HAS SOUS 1510587 HAS SOUPS 1509644 WITH SCORE 1512779.209
AT ITER 7268 NEW BEST:: SOT 3499914 SOS 3136571 HAS SOPS 3131919 HAS SOUS 1510125 HAS SOUPS 1509182 WITH SCORE 1512318.571
AT ITER 7301 NEW BEST:: SOT 3500520 SOS 3136915 HAS SOPS 3132263 HAS SOUS 1510091 HAS SOUPS 1509148 WITH SCORE 1512284.915
AT ITER 7370 NEW BEST:: SOT 3500565 SOS 3136753 HAS SOPS 3132101 HAS SOUS 1508644 HAS SOUPS 1507701 WITH SCORE 1510837.753
AT ITER 7384 NEW BEST:: SOT 3504378 SOS 3140476 HAS SOPS 3135824 HAS SOUS 1508109 HAS SOUPS 1507166 WITH SCORE 1510306.476
AT ITER 7398 NEW BEST:: SOT 3494514 SOS 3130612 HAS SOPS 3125960 HAS SOUS 1505655 HAS SOUPS 1504712 WITH SCORE 1507842.612
AT ITER 7401 NEW BEST:: SOT 3492975 SOS 3129073 HAS SOPS 3124421 HAS SOUS 1505142 HAS SOUPS 1504199 WITH SCORE 1507328.073
AT ITER 7410 NEW BEST:: SOT 3493311 SOS 3129409 HAS SOPS 3124757 HAS SOUS 1505017 HAS SOUPS 1504074 WITH SCORE 1507203.409
AT ITER 7428 NEW BEST:: SOT 3492919 SOS 3129017 HAS SOPS 3124365 HAS SOUS 1504625 HAS SOUPS 1503682 WITH SCORE 1506811.017
AT ITER 7435 NEW BEST:: SOT 3493033 SOS 3129131 HAS SOPS 3124479 HAS SOUS 1504600 HAS SOUPS 1503657 WITH SCORE 1506786.131
AT ITER 7446 NEW BEST:: SOT 3493268 SOS 3129366 HAS SOPS 3124714 HAS SOUS 1504142 HAS SOUPS 1503199 WITH SCORE 1506328.366
AT ITER 7512 NEW BEST:: SOT 3493921 SOS 3130019 HAS SOPS 3125367 HAS SOUS 1503508 HAS SOUPS 1502565 WITH SCORE 1505695.019
AT ITER 7549 NEW BEST:: SOT 3494365 SOS 3130463 HAS SOPS 3125811 HAS SOUS 1502319 HAS SOUPS 1501376 WITH SCORE 1504506.463
AT ITER 7574 NEW BEST:: SOT 3494365 SOS 3130463 HAS SOPS 3125811 HAS SOUS 1502294 HAS SOUPS 1501351 WITH SCORE 1504481.463
AT ITER 7576 NEW BEST:: SOT 3496384 SOS 3132177 HAS SOPS 3127525 HAS SOUS 1500904 HAS SOUPS 1499961 WITH SCORE 1503093.177
AT ITER 7656 NEW BEST:: SOT 3498879 SOS 3088829 HAS SOPS 3081086 HAS SOUS 1499715 HAS SOUPS 1498772 WITH SCORE 1501860.829
AT ITER 7661 NEW BEST:: SOT 3480111 SOS 3070061 HAS SOPS 3062318 HAS SOUS 1496587 HAS SOUPS 1495644 WITH SCORE 1498714.061
AT ITER 7680 NEW BEST:: SOT 3480111 SOS 3070061 HAS SOPS 3062318 HAS SOUS 1496426 HAS SOUPS 1495483 WITH SCORE 1498553.061
AT ITER 7709 NEW BEST:: SOT 3480351 SOS 3070301 HAS SOPS 3062558 HAS SOUS 1496331 HAS SOUPS 1495388 WITH SCORE 1498458.301
AT ITER 7738 NEW BEST:: SOT 3471556 SOS 3061506 HAS SOPS 3053763 HAS SOUS 1492850 HAS SOUPS 1491907 WITH SCORE 1494968.506
AT ITER 7753 NEW BEST:: SOT 3468553 SOS 3058503 HAS SOPS 3050760 HAS SOUS 1492577 HAS SOUPS 1491634 WITH SCORE 1494692.503
AT ITER 7816 NEW BEST:: SOT 3468553 SOS 3058503 HAS SOPS 3050760 HAS SOUS 1492235 HAS SOUPS 1491292 WITH SCORE 1494350.503
AT ITER 7824 NEW BEST:: SOT 3470392 SOS 3060342 HAS SOPS 3052599 HAS SOUS 1491412 HAS SOUPS 1490469 WITH SCORE 1493529.342
AT ITER 7843 NEW BEST:: SOT 3470392 SOS 3060287 HAS SOPS 3052544 HAS SOUS 1490798 HAS SOUPS 1489855 WITH SCORE 1492915.287
AT ITER 7908 NEW BEST:: SOT 3471270 SOS 3061165 HAS SOPS 3053422 HAS SOUS 1490396 HAS SOUPS 1489453 WITH SCORE 1492514.165
AT ITER 7913 NEW BEST:: SOT 3471270 SOS 3060987 HAS SOPS 3053244 HAS SOUS 1489862 HAS SOUPS 1488919 WITH SCORE 1491979.987
AT ITER 7930 NEW BEST:: SOT 3471716 SOS 3061433 HAS SOPS 3053690 HAS SOUS 1488329 HAS SOUPS 1487386 WITH SCORE 1490447.433
AT ITER 8018 NEW BEST:: SOT 3472212 SOS 3061657 HAS SOPS 3053800 HAS SOUS 1487671 HAS SOUPS 1486728 WITH SCORE 1489789.657
AT ITER 8020 NEW BEST:: SOT 3460387 SOS 3050256 HAS SOPS 3042399 HAS SOUS 1486282 HAS SOUPS 1485339 WITH SCORE 1488389.256
AT ITER 8032 NEW BEST:: SOT 3461240 SOS 3050496 HAS SOPS 3042639 HAS SOUS 1485069 HAS SOUPS 1484126 WITH SCORE 1487176.496
AT ITER 8040 NEW BEST:: SOT 3462617 SOS 3051873 HAS SOPS 3044016 HAS SOUS 1485063 HAS SOUPS 1484120 WITH SCORE 1487171.873
AT ITER 8078 NEW BEST:: SOT 3462617 SOS 3052143 HAS SOPS 3044286 HAS SOUS 1484712 HAS SOUPS 1483769 WITH SCORE 1486821.143
AT ITER 8079 NEW BEST:: SOT 3462617 SOS 3051902 HAS SOPS 3044045 HAS SOUS 1482822 HAS SOUPS 1481879 WITH SCORE 1484930.902
AT ITER 8086 NEW BEST:: SOT 3462617 SOS 3051902 HAS SOPS 3044045 HAS SOUS 1482435 HAS SOUPS 1481492 WITH SCORE 1484543.902
AT ITER 8120 NEW BEST:: SOT 3469537 SOS 3058822 HAS SOPS 3050965 HAS SOUS 1479552 HAS SOUPS 1478609 WITH SCORE 1481667.822
AT ITER 8138 NEW BEST:: SOT 3469537 SOS 2961941 HAS SOPS 2954084 HAS SOUS 1479014 HAS SOUPS 1478071 WITH SCORE 1481032.941
AT ITER 8169 NEW BEST:: SOT 3470688 SOS 2961108 HAS SOPS 2953250 HAS SOUS 1478649 HAS SOUPS 1477706 WITH SCORE 1480667.108
AT ITER 8189 NEW BEST:: SOT 3470688 SOS 2960981 HAS SOPS 2953123 HAS SOUS 1478520 HAS SOUPS 1477577 WITH SCORE 1480537.981
AT ITER 8190 NEW BEST:: SOT 3470688 SOS 2960981 HAS SOPS 2953123 HAS SOUS 1478509 HAS SOUPS 1477566 WITH SCORE 1480526.981
AT ITER 8196 NEW BEST:: SOT 3467061 SOS 2957354 HAS SOPS 2949496 HAS SOUS 1477084 HAS SOUPS 1476141 WITH SCORE 1479098.354
AT ITER 8205 NEW BEST:: SOT 3467141 SOS 2957402 HAS SOPS 2949544 HAS SOUS 1477045 HAS SOUPS 1476102 WITH SCORE 1479059.402
AT ITER 8226 NEW BEST:: SOT 3467379 SOS 2957640 HAS SOPS 2949782 HAS SOUS 1476383 HAS SOUPS 1475440 WITH SCORE 1478397.64
AT ITER 8281 NEW BEST:: SOT 3467694 SOS 2957668 HAS SOPS 2949495 HAS SOUS 1476096 HAS SOUPS 1475153 WITH SCORE 1478110.668
AT ITER 8296 NEW BEST:: SOT 3468028 SOS 2958002 HAS SOPS 2949829 HAS SOUS 1475774 HAS SOUPS 1474831 WITH SCORE 1477789.002
AT ITER 8314 NEW BEST:: SOT 3468028 SOS 2957755 HAS SOPS 2949582 HAS SOUS 1475736 HAS SOUPS 1474793 WITH SCORE 1477750.755
AT ITER 8332 NEW BEST:: SOT 3468330 SOS 2958057 HAS SOPS 2949884 HAS SOUS 1475346 HAS SOUPS 1474403 WITH SCORE 1477361.057
AT ITER 8337 NEW BEST:: SOT 3468330 SOS 2958028 HAS SOPS 2949855 HAS SOUS 1475230 HAS SOUPS 1474287 WITH SCORE 1477245.028
AT ITER 8342 NEW BEST:: SOT 3472386 SOS 2962084 HAS SOPS 2953911 HAS SOUS 1474934 HAS SOUPS 1473991 WITH SCORE 1476953.084
AT ITER 8362 NEW BEST:: SOT 3471898 SOS 2961596 HAS SOPS 2953911 HAS SOUS 1474820 HAS SOUPS 1473991 WITH SCORE 1476952.596
AT ITER 8363 NEW BEST:: SOT 3471802 SOS 2961500 HAS SOPS 2953815 HAS SOUS 1474724 HAS SOUPS 1473895 WITH SCORE 1476856.5
AT ITER 8374 NEW BEST:: SOT 3471802 SOS 2961500 HAS SOPS 2953815 HAS SOUS 1474618 HAS SOUPS 1473789 WITH SCORE 1476750.5
AT ITER 8446 NEW BEST:: SOT 3472374 SOS 2962072 HAS SOPS 2954387 HAS SOUS 1473795 HAS SOUPS 1472966 WITH SCORE 1475928.072
AT ITER 8451 NEW BEST:: SOT 3473041 SOS 2962739 HAS SOPS 2955054 HAS SOUS 1473681 HAS SOUPS 1472852 WITH SCORE 1475814.739
AT ITER 8466 NEW BEST:: SOT 3472705 SOS 2962403 HAS SOPS 2954718 HAS SOUS 1473345 HAS SOUPS 1472516 WITH SCORE 1475478.403
AT ITER 8510 NEW BEST:: SOT 3472963 SOS 2962661 HAS SOPS 2954976 HAS SOUS 1473342 HAS SOUPS 1472513 WITH SCORE 1475475.661
AT ITER 8517 NEW BEST:: SOT 3472963 SOS 2959843 HAS SOPS 2952158 HAS SOUS 1472080 HAS SOUPS 1471251 WITH SCORE 1474210.843
AT ITER 8551 NEW BEST:: SOT 3473183 SOS 2960063 HAS SOPS 2952378 HAS SOUS 1472059 HAS SOUPS 1471230 WITH SCORE 1474190.063
AT ITER 8561 NEW BEST:: SOT 3474005 SOS 2960885 HAS SOPS 2953200 HAS SOUS 1470251 HAS SOUPS 1469422 WITH SCORE 1472382.885
AT ITER 8580 NEW BEST:: SOT 3465641 SOS 2952521 HAS SOPS 2944836 HAS SOUS 1468857 HAS SOUPS 1468028 WITH SCORE 1470980.521
AT ITER 8598 NEW BEST:: SOT 3450569 SOS 2937449 HAS SOPS 2929764 HAS SOUS 1466345 HAS SOUPS 1465516 WITH SCORE 1468453.449
AT ITER 8619 NEW BEST:: SOT 3450569 SOS 2937449 HAS SOPS 2929764 HAS SOUS 1465527 HAS SOUPS 1464698 WITH SCORE 1467635.449
AT ITER 8641 NEW BEST:: SOT 3450569 SOS 2937449 HAS SOPS 2929764 HAS SOUS 1465524 HAS SOUPS 1464695 WITH SCORE 1467632.449
AT ITER 8662 NEW BEST:: SOT 3450879 SOS 2937759 HAS SOPS 2930074 HAS SOUS 1465488 HAS SOUPS 1464659 WITH SCORE 1467596.759
AT ITER 8708 NEW BEST:: SOT 3450879 SOS 2936956 HAS SOPS 2929271 HAS SOUS 1465120 HAS SOUPS 1464291 WITH SCORE 1467227.956
AT ITER 8711 NEW BEST:: SOT 3450879 SOS 2936753 HAS SOPS 2929068 HAS SOUS 1465119 HAS SOUPS 1464290 WITH SCORE 1467226.753
AT ITER 8718 NEW BEST:: SOT 3450879 SOS 2936060 HAS SOPS 2928375 HAS SOUS 1465001 HAS SOUPS 1464172 WITH SCORE 1467108.06
AT ITER 8733 NEW BEST:: SOT 3450879 SOS 2936060 HAS SOPS 2928375 HAS SOUS 1464768 HAS SOUPS 1463939 WITH SCORE 1466875.06
AT ITER 8798 NEW BEST:: SOT 3449086 SOS 2934267 HAS SOPS 2926582 HAS SOUS 1464605 HAS SOUPS 1463776 WITH SCORE 1466710.267
AT ITER 8799 NEW BEST:: SOT 3449086 SOS 2934267 HAS SOPS 2926582 HAS SOUS 1464171 HAS SOUPS 1463342 WITH SCORE 1466276.267
AT ITER 8882 NEW BEST:: SOT 3449086 SOS 2934574 HAS SOPS 2926889 HAS SOUS 1463735 HAS SOUPS 1462906 WITH SCORE 1465840.574
AT ITER 8893 NEW BEST:: SOT 3450163 SOS 2934787 HAS SOPS 2927102 HAS SOUS 1463502 HAS SOUPS 1462673 WITH SCORE 1465607.787
AT ITER 8898 NEW BEST:: SOT 3450163 SOS 2934787 HAS SOPS 2927102 HAS SOUS 1462692 HAS SOUPS 1461863 WITH SCORE 1464797.787
AT ITER 8926 NEW BEST:: SOT 3479434 SOS 2960487 HAS SOPS 2952802 HAS SOUS 1459174 HAS SOUPS 1458345 WITH SCORE 1461305.487
AT ITER 8955 NEW BEST:: SOT 3483202 SOS 2963221 HAS SOPS 2955536 HAS SOUS 1454552 HAS SOUPS 1453723 WITH SCORE 1456686.221
AT ITER 8964 NEW BEST:: SOT 3483202 SOS 2963115 HAS SOPS 2955430 HAS SOUS 1454208 HAS SOUPS 1453379 WITH SCORE 1456342.115
AT ITER 8981 NEW BEST:: SOT 3483202 SOS 2963318 HAS SOPS 2955633 HAS SOUS 1454005 HAS SOUPS 1453176 WITH SCORE 1456139.318
AT ITER 9004 NEW BEST:: SOT 3483477 SOS 2963593 HAS SOPS 2955908 HAS SOUS 1452882 HAS SOUPS 1452053 WITH SCORE 1455016.593
AT ITER 9023 NEW BEST:: SOT 3484016 SOS 2964132 HAS SOPS 2956447 HAS SOUS 1452409 HAS SOUPS 1451580 WITH SCORE 1454544.132
AT ITER 9064 NEW BEST:: SOT 3484182 SOS 2929258 HAS SOPS 2919429 HAS SOUS 1452113 HAS SOUPS 1451284 WITH SCORE 1454213.258
AT ITER 9118 NEW BEST:: SOT 3503233 SOS 2945129 HAS SOPS 2935223 HAS SOUS 1448784 HAS SOUPS 1447955 WITH SCORE 1450900.129
AT ITER 9125 NEW BEST:: SOT 3503233 SOS 2945077 HAS SOPS 2935171 HAS SOUS 1448560 HAS SOUPS 1447731 WITH SCORE 1450676.077
AT ITER 9132 NEW BEST:: SOT 3503233 SOS 2944905 HAS SOPS 2934999 HAS SOUS 1448431 HAS SOUPS 1447602 WITH SCORE 1450546.905
AT ITER 9161 NEW BEST:: SOT 3503248 SOS 2945293 HAS SOPS 2935819 HAS SOUS 1448305 HAS SOUPS 1447476 WITH SCORE 1450421.293
AT ITER 9200 NEW BEST:: SOT 3507517 SOS 2949562 HAS SOPS 2940088 HAS SOUS 1448072 HAS SOUPS 1447243 WITH SCORE 1450192.562
AT ITER 9211 NEW BEST:: SOT 3508033 SOS 2949781 HAS SOPS 2940307 HAS SOUS 1446925 HAS SOUPS 1446096 WITH SCORE 1449045.781
AT ITER 9215 NEW BEST:: SOT 3508069 SOS 2949817 HAS SOPS 2940343 HAS SOUS 1445137 HAS SOUPS 1444308 WITH SCORE 1447257.817
AT ITER 9223 NEW BEST:: SOT 3507283 SOS 2949031 HAS SOPS 2939557 HAS SOUS 1444875 HAS SOUPS 1444046 WITH SCORE 1446995.031
AT ITER 9227 NEW BEST:: SOT 3507818 SOS 2949566 HAS SOPS 2939823 HAS SOUS 1444874 HAS SOUPS 1444045 WITH SCORE 1446994.566
AT ITER 9232 NEW BEST:: SOT 3509207 SOS 2950955 HAS SOPS 2941212 HAS SOUS 1443715 HAS SOUPS 1442886 WITH SCORE 1445836.955
AT ITER 9233 NEW BEST:: SOT 3509629 SOS 2950989 HAS SOPS 2941246 HAS SOUS 1443515 HAS SOUPS 1442686 WITH SCORE 1445636.989
AT ITER 9238 NEW BEST:: SOT 3509629 SOS 2950989 HAS SOPS 2941246 HAS SOUS 1443329 HAS SOUPS 1442500 WITH SCORE 1445450.989
AT ITER 9256 NEW BEST:: SOT 3510147 SOS 2951294 HAS SOPS 2941551 HAS SOUS 1442499 HAS SOUPS 1441670 WITH SCORE 1444621.294
AT ITER 9257 NEW BEST:: SOT 3510108 SOS 2950989 HAS SOPS 2941246 HAS SOUS 1442232 HAS SOUPS 1441403 WITH SCORE 1444353.989
AT ITER 9258 NEW BEST:: SOT 3508183 SOS 2985120 HAS SOPS 2978582 HAS SOUS 1440760 HAS SOUPS 1439931 WITH SCORE 1442916.12
AT ITER 9270 NEW BEST:: SOT 3510188 SOS 2987125 HAS SOPS 2980587 HAS SOUS 1436576 HAS SOUPS 1435747 WITH SCORE 1438734.125
AT ITER 9283 NEW BEST:: SOT 3510054 SOS 2986991 HAS SOPS 2980453 HAS SOUS 1436308 HAS SOUPS 1435479 WITH SCORE 1438465.991
AT ITER 9288 NEW BEST:: SOT 3510054 SOS 2987052 HAS SOPS 2980514 HAS SOUS 1436112 HAS SOUPS 1435283 WITH SCORE 1438270.052
AT ITER 9307 NEW BEST:: SOT 3510999 SOS 2987846 HAS SOPS 2981308 HAS SOUS 1435542 HAS SOUPS 1434713 WITH SCORE 1437700.846
AT ITER 9310 NEW BEST:: SOT 3510999 SOS 2987846 HAS SOPS 2981308 HAS SOUS 1435539 HAS SOUPS 1434710 WITH SCORE 1437697.846
AT ITER 9334 NEW BEST:: SOT 3507415 SOS 2984262 HAS SOPS 2977724 HAS SOUS 1433747 HAS SOUPS 1432918 WITH SCORE 1435902.262
AT ITER 9340 NEW BEST:: SOT 3508123 SOS 2984970 HAS SOPS 2978432 HAS SOUS 1433616 HAS SOUPS 1432787 WITH SCORE 1435771.97
AT ITER 9368 NEW BEST:: SOT 3508123 SOS 2984970 HAS SOPS 2978432 HAS SOUS 1433355 HAS SOUPS 1432526 WITH SCORE 1435510.97
AT ITER 9406 NEW BEST:: SOT 3508913 SOS 2985462 HAS SOPS 2978134 HAS SOUS 1433057 HAS SOUPS 1432228 WITH SCORE 1435213.462
AT ITER 9436 NEW BEST:: SOT 3505301 SOS 2981850 HAS SOPS 2974522 HAS SOUS 1433057 HAS SOUPS 1432228 WITH SCORE 1435209.85
AT ITER 9461 NEW BEST:: SOT 3505485 SOS 2981810 HAS SOPS 2974482 HAS SOUS 1430032 HAS SOUPS 1429203 WITH SCORE 1432184.81
AT ITER 9469 NEW BEST:: SOT 3505795 SOS 2982120 HAS SOPS 2974792 HAS SOUS 1429215 HAS SOUPS 1428386 WITH SCORE 1431368.12
AT ITER 9484 NEW BEST:: SOT 3505795 SOS 2981789 HAS SOPS 2974461 HAS SOUS 1428705 HAS SOUPS 1427876 WITH SCORE 1430857.789
AT ITER 9489 NEW BEST:: SOT 3504454 SOS 2980448 HAS SOPS 2973120 HAS SOUS 1428258 HAS SOUPS 1427429 WITH SCORE 1430409.448
AT ITER 9495 NEW BEST:: SOT 3503028 SOS 2979022 HAS SOPS 2971694 HAS SOUS 1428258 HAS SOUPS 1427429 WITH SCORE 1430408.022
AT ITER 9511 NEW BEST:: SOT 3503264 SOS 2979181 HAS SOPS 2971853 HAS SOUS 1426594 HAS SOUPS 1425765 WITH SCORE 1428744.181
AT ITER 9592 NEW BEST:: SOT 3503818 SOS 2979124 HAS SOPS 2971796 HAS SOUS 1425786 HAS SOUPS 1424957 WITH SCORE 1427936.124
AT ITER 9594 NEW BEST:: SOT 3503860 SOS 2979166 HAS SOPS 2971838 HAS SOUS 1425784 HAS SOUPS 1424955 WITH SCORE 1427934.166
AT ITER 9599 NEW BEST:: SOT 3504920 SOS 2980226 HAS SOPS 2972898 HAS SOUS 1425654 HAS SOUPS 1424825 WITH SCORE 1427805.226
AT ITER 9615 NEW BEST:: SOT 3506151 SOS 2981457 HAS SOPS 2974129 HAS SOUS 1425571 HAS SOUPS 1424742 WITH SCORE 1427723.457
AT ITER 9645 NEW BEST:: SOT 3500133 SOS 2975439 HAS SOPS 2968111 HAS SOUS 1425451 HAS SOUPS 1424622 WITH SCORE 1427597.439
AT ITER 9653 NEW BEST:: SOT 3501247 SOS 2976553 HAS SOPS 2969225 HAS SOUS 1425337 HAS SOUPS 1424508 WITH SCORE 1427484.553
AT ITER 9660 NEW BEST:: SOT 3504319 SOS 2979625 HAS SOPS 2972297 HAS SOUS 1425114 HAS SOUPS 1424285 WITH SCORE 1427264.625
AT ITER 9684 NEW BEST:: SOT 3504561 SOS 2979571 HAS SOPS 2972001 HAS SOUS 1424818 HAS SOUPS 1423989 WITH SCORE 1426968.571
AT ITER 9685 NEW BEST:: SOT 3503966 SOS 2978976 HAS SOPS 2971406 HAS SOUS 1424818 HAS SOUPS 1423989 WITH SCORE 1426967.976
AT ITER 9688 NEW BEST:: SOT 3503369 SOS 2978379 HAS SOPS 2970809 HAS SOUS 1424619 HAS SOUPS 1423790 WITH SCORE 1426768.379
AT ITER 9806 NEW BEST:: SOT 3503369 SOS 2978157 HAS SOPS 2970587 HAS SOUS 1424397 HAS SOUPS 1423568 WITH SCORE 1426546.157
AT ITER 9813 NEW BEST:: SOT 3503185 SOS 2977973 HAS SOPS 2970403 HAS SOUS 1424213 HAS SOUPS 1423384 WITH SCORE 1426361.973
AT ITER 9895 NEW BEST:: SOT 3504326 SOS 2978821 HAS SOPS 2970110 HAS SOUS 1424255 HAS SOUPS 1423091 WITH SCORE 1426069.821
AT ITER 9900 NEW BEST:: SOT 3504115 SOS 2978453 HAS SOPS 2969742 HAS SOUS 1423214 HAS SOUPS 1422050 WITH SCORE 1425028.453
AT ITER 9907 NEW BEST:: SOT 3504115 SOS 2978453 HAS SOPS 2969742 HAS SOUS 1423213 HAS SOUPS 1422049 WITH SCORE 1425027.453
AT ITER 9933 NEW BEST:: SOT 3504115 SOS 2978251 HAS SOPS 2969540 HAS SOUS 1423011 HAS SOUPS 1421847 WITH SCORE 1424825.251
AT ITER 9944 NEW BEST:: SOT 3503185 SOS 2977321 HAS SOPS 2968610 HAS SOUS 1423011 HAS SOUPS 1421847 WITH SCORE 1424824.321
AT ITER 9953 NEW BEST:: SOT 3505459 SOS 2979430 HAS SOPS 2970719 HAS SOUS 1422046 HAS SOUPS 1420882 WITH SCORE 1423861.43
AT ITER 9964 NEW BEST:: SOT 3506482 SOS 2980453 HAS SOPS 2971742 HAS SOUS 1421800 HAS SOUPS 1420636 WITH SCORE 1423616.453
AT ITER 9993 NEW BEST:: SOT 3506482 SOS 2980453 HAS SOPS 2971742 HAS SOUS 1421296 HAS SOUPS 1420132 WITH SCORE 1423112.453
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14032356 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150744 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="DBSingleClientW-PT-d2m06"
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 DBSingleClientW-PT-d2m06, 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 r099-tall-167814472200312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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