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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 15:30 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 1678240667708

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-d2m08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m08
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 17 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041534 HAS SOUPS 2041510 WITH SCORE 2044355.673
AT ITER 40 NEW BEST:: SOT 2906249 SOS 2845928 HAS SOPS 2845904 HAS SOUS 2040577 HAS SOUPS 2040553 WITH SCORE 2043398.928
AT ITER 89 NEW BEST:: SOT 2906249 SOS 2845928 HAS SOPS 2845904 HAS SOUS 2040180 HAS SOUPS 2040156 WITH SCORE 2043001.928
AT ITER 94 NEW BEST:: SOT 2906249 SOS 2844294 HAS SOPS 2844270 HAS SOUS 2040050 HAS SOUPS 2040026 WITH SCORE 2042870.294
AT ITER 130 NEW BEST:: SOT 2906249 SOS 2844294 HAS SOPS 2844270 HAS SOUS 2039842 HAS SOUPS 2039818 WITH SCORE 2042662.294
AT ITER 139 NEW BEST:: SOT 2906249 SOS 2844294 HAS SOPS 2844270 HAS SOUS 2039717 HAS SOUPS 2039693 WITH SCORE 2042537.294
AT ITER 176 NEW BEST:: SOT 2906249 SOS 2844294 HAS SOPS 2844270 HAS SOUS 2039672 HAS SOUPS 2039648 WITH SCORE 2042492.294
AT ITER 218 NEW BEST:: SOT 2907155 SOS 2845200 HAS SOPS 2845176 HAS SOUS 2038627 HAS SOUPS 2038603 WITH SCORE 2041448.2
AT ITER 225 NEW BEST:: SOT 2907367 SOS 2845412 HAS SOPS 2845388 HAS SOUS 2038551 HAS SOUPS 2038527 WITH SCORE 2041372.412
AT ITER 243 NEW BEST:: SOT 2907712 SOS 2844866 HAS SOPS 2844842 HAS SOUS 2037915 HAS SOUPS 2037891 WITH SCORE 2040735.866
AT ITER 282 NEW BEST:: SOT 2907719 SOS 2845857 HAS SOPS 2845834 HAS SOUS 2036580 HAS SOUPS 2036557 WITH SCORE 2039402.857
AT ITER 294 NEW BEST:: SOT 2910624 SOS 2848762 HAS SOPS 2848739 HAS SOUS 2034402 HAS SOUPS 2034379 WITH SCORE 2037227.762
AT ITER 317 NEW BEST:: SOT 2912839 SOS 2850977 HAS SOPS 2850954 HAS SOUS 2030196 HAS SOUPS 2030173 WITH SCORE 2033023.977
AT ITER 344 NEW BEST:: SOT 2913688 SOS 2851826 HAS SOPS 2851803 HAS SOUS 2029751 HAS SOUPS 2029728 WITH SCORE 2032579.826
AT ITER 347 NEW BEST:: SOT 2914369 SOS 2852507 HAS SOPS 2852484 HAS SOUS 2028193 HAS SOUPS 2028170 WITH SCORE 2031022.507
AT ITER 397 NEW BEST:: SOT 2914369 SOS 2852507 HAS SOPS 2852484 HAS SOUS 2027225 HAS SOUPS 2027202 WITH SCORE 2030054.507
AT ITER 406 NEW BEST:: SOT 2914369 SOS 2852507 HAS SOPS 2852484 HAS SOUS 2027148 HAS SOUPS 2027125 WITH SCORE 2029977.507
AT ITER 425 NEW BEST:: SOT 2915269 SOS 2853407 HAS SOPS 2853384 HAS SOUS 2022951 HAS SOUPS 2022928 WITH SCORE 2025781.407
AT ITER 451 NEW BEST:: SOT 2915356 SOS 2853494 HAS SOPS 2853471 HAS SOUS 2021492 HAS SOUPS 2021469 WITH SCORE 2024322.494
AT ITER 477 NEW BEST:: SOT 2915637 SOS 2853775 HAS SOPS 2853752 HAS SOUS 2021344 HAS SOUPS 2021321 WITH SCORE 2024174.775
AT ITER 518 NEW BEST:: SOT 2916533 SOS 2854671 HAS SOPS 2854648 HAS SOUS 2019251 HAS SOUPS 2019228 WITH SCORE 2022082.671
AT ITER 522 NEW BEST:: SOT 2920093 SOS 2858231 HAS SOPS 2858208 HAS SOUS 2017907 HAS SOUPS 2017884 WITH SCORE 2020742.231
AT ITER 525 NEW BEST:: SOT 2920713 SOS 2858851 HAS SOPS 2858828 HAS SOUS 2017517 HAS SOUPS 2017494 WITH SCORE 2020352.851
AT ITER 592 NEW BEST:: SOT 2920721 SOS 2858859 HAS SOPS 2858836 HAS SOUS 2017407 HAS SOUPS 2017384 WITH SCORE 2020242.859
AT ITER 601 NEW BEST:: SOT 2923088 SOS 2861226 HAS SOPS 2861203 HAS SOUS 2016688 HAS SOUPS 2016665 WITH SCORE 2019526.226
AT ITER 608 NEW BEST:: SOT 2923088 SOS 2861226 HAS SOPS 2861203 HAS SOUS 2016251 HAS SOUPS 2016228 WITH SCORE 2019089.226
AT ITER 633 NEW BEST:: SOT 2923484 SOS 2861622 HAS SOPS 2861599 HAS SOUS 2015050 HAS SOUPS 2015027 WITH SCORE 2017888.622
AT ITER 634 NEW BEST:: SOT 2923484 SOS 2861622 HAS SOPS 2861599 HAS SOUS 2014842 HAS SOUPS 2014819 WITH SCORE 2017680.622
AT ITER 668 NEW BEST:: SOT 2923484 SOS 2861622 HAS SOPS 2861599 HAS SOUS 2014003 HAS SOUPS 2013980 WITH SCORE 2016841.622
AT ITER 676 NEW BEST:: SOT 2925866 SOS 2864004 HAS SOPS 2863981 HAS SOUS 2013685 HAS SOUPS 2013662 WITH SCORE 2016526.004
AT ITER 677 NEW BEST:: SOT 2927885 SOS 2866023 HAS SOPS 2866000 HAS SOUS 2012702 HAS SOUPS 2012679 WITH SCORE 2015545.023
AT ITER 701 NEW BEST:: SOT 2930678 SOS 2868816 HAS SOPS 2868793 HAS SOUS 2011825 HAS SOUPS 2011802 WITH SCORE 2014670.816
AT ITER 715 NEW BEST:: SOT 2935318 SOS 2873413 HAS SOPS 2873390 HAS SOUS 2009011 HAS SOUPS 2008988 WITH SCORE 2011861.413
AT ITER 722 NEW BEST:: SOT 2935318 SOS 2873413 HAS SOPS 2873390 HAS SOUS 2006568 HAS SOUPS 2006545 WITH SCORE 2009418.413
AT ITER 724 NEW BEST:: SOT 2935318 SOS 2871892 HAS SOPS 2871869 HAS SOUS 2006049 HAS SOUPS 2006026 WITH SCORE 2008897.892
AT ITER 753 NEW BEST:: SOT 2935318 SOS 2871892 HAS SOPS 2871869 HAS SOUS 2005839 HAS SOUPS 2005816 WITH SCORE 2008687.892
AT ITER 778 NEW BEST:: SOT 2935674 SOS 2872248 HAS SOPS 2872225 HAS SOUS 2005127 HAS SOUPS 2005104 WITH SCORE 2007976.248
AT ITER 789 NEW BEST:: SOT 2936006 SOS 2872580 HAS SOPS 2872557 HAS SOUS 2005124 HAS SOUPS 2005101 WITH SCORE 2007973.58
AT ITER 790 NEW BEST:: SOT 2937218 SOS 2873792 HAS SOPS 2873769 HAS SOUS 2004830 HAS SOUPS 2004807 WITH SCORE 2007680.792
AT ITER 798 NEW BEST:: SOT 2939013 SOS 2875587 HAS SOPS 2875564 HAS SOUS 2000898 HAS SOUPS 2000875 WITH SCORE 2003750.587
AT ITER 807 NEW BEST:: SOT 2939860 SOS 2876434 HAS SOPS 2876411 HAS SOUS 1998194 HAS SOUPS 1998171 WITH SCORE 2001047.434
AT ITER 854 NEW BEST:: SOT 2940301 SOS 2876875 HAS SOPS 2876852 HAS SOUS 1995404 HAS SOUPS 1995381 WITH SCORE 1998257.875
AT ITER 882 NEW BEST:: SOT 2940769 SOS 2877343 HAS SOPS 2877320 HAS SOUS 1995398 HAS SOUPS 1995375 WITH SCORE 1998252.343
AT ITER 903 NEW BEST:: SOT 2943772 SOS 2880346 HAS SOPS 2880323 HAS SOUS 1988680 HAS SOUPS 1988657 WITH SCORE 1991537.346
AT ITER 907 NEW BEST:: SOT 2943772 SOS 2880346 HAS SOPS 2880323 HAS SOUS 1987914 HAS SOUPS 1987891 WITH SCORE 1990771.346
AT ITER 913 NEW BEST:: SOT 2943772 SOS 2880346 HAS SOPS 2880323 HAS SOUS 1980849 HAS SOUPS 1980826 WITH SCORE 1983706.346
AT ITER 937 NEW BEST:: SOT 2943772 SOS 2880346 HAS SOPS 2880323 HAS SOUS 1980332 HAS SOUPS 1980309 WITH SCORE 1983189.346
AT ITER 943 NEW BEST:: SOT 2943770 SOS 2880621 HAS SOPS 2880598 HAS SOUS 1980328 HAS SOUPS 1980305 WITH SCORE 1983185.621
AT ITER 961 NEW BEST:: SOT 2944826 SOS 2881677 HAS SOPS 2881654 HAS SOUS 1978625 HAS SOUPS 1978602 WITH SCORE 1981483.677
AT ITER 968 NEW BEST:: SOT 2949022 SOS 2885873 HAS SOPS 2885850 HAS SOUS 1977843 HAS SOUPS 1977820 WITH SCORE 1980705.873
AT ITER 978 NEW BEST:: SOT 2955557 SOS 2892408 HAS SOPS 2892385 HAS SOUS 1977131 HAS SOUPS 1977108 WITH SCORE 1980000.408
AT ITER 1000 NEW BEST:: SOT 2956807 SOS 2893658 HAS SOPS 2893635 HAS SOUS 1977076 HAS SOUPS 1977053 WITH SCORE 1979946.658
AT ITER 1077 NEW BEST:: SOT 2957009 SOS 2893860 HAS SOPS 2893837 HAS SOUS 1977065 HAS SOUPS 1977042 WITH SCORE 1979935.86
AT ITER 1101 NEW BEST:: SOT 2960361 SOS 2897212 HAS SOPS 2897189 HAS SOUS 1976282 HAS SOUPS 1976259 WITH SCORE 1979156.212
AT ITER 1142 NEW BEST:: SOT 2961195 SOS 2898046 HAS SOPS 2898023 HAS SOUS 1975648 HAS SOUPS 1975625 WITH SCORE 1978523.046
AT ITER 1174 NEW BEST:: SOT 2961195 SOS 2898046 HAS SOPS 2898023 HAS SOUS 1975410 HAS SOUPS 1975387 WITH SCORE 1978285.046
AT ITER 1175 NEW BEST:: SOT 2961195 SOS 2898046 HAS SOPS 2898023 HAS SOUS 1975387 HAS SOUPS 1975364 WITH SCORE 1978262.046
AT ITER 1177 NEW BEST:: SOT 2964072 SOS 2900923 HAS SOPS 2900900 HAS SOUS 1974527 HAS SOUPS 1974504 WITH SCORE 1977404.923
AT ITER 1182 NEW BEST:: SOT 2964072 SOS 2900923 HAS SOPS 2900900 HAS SOUS 1974508 HAS SOUPS 1974485 WITH SCORE 1977385.923
AT ITER 1183 NEW BEST:: SOT 2964027 SOS 2900878 HAS SOPS 2900855 HAS SOUS 1974493 HAS SOUPS 1974470 WITH SCORE 1977370.878
AT ITER 1187 NEW BEST:: SOT 2964073 SOS 2900924 HAS SOPS 2900901 HAS SOUS 1974464 HAS SOUPS 1974441 WITH SCORE 1977341.924
AT ITER 1285 NEW BEST:: SOT 2964323 SOS 2901174 HAS SOPS 2901151 HAS SOUS 1974399 HAS SOUPS 1974376 WITH SCORE 1977277.174
AT ITER 1296 NEW BEST:: SOT 2964323 SOS 2901174 HAS SOPS 2901151 HAS SOUS 1973779 HAS SOUPS 1973756 WITH SCORE 1976657.174
AT ITER 1297 NEW BEST:: SOT 2964817 SOS 2901668 HAS SOPS 2901645 HAS SOUS 1972487 HAS SOUPS 1972464 WITH SCORE 1975365.668
AT ITER 1345 NEW BEST:: SOT 2968309 SOS 2905160 HAS SOPS 2905137 HAS SOUS 1970693 HAS SOUPS 1970670 WITH SCORE 1973575.16
AT ITER 1348 NEW BEST:: SOT 2970691 SOS 2907542 HAS SOPS 2907519 HAS SOUS 1970189 HAS SOUPS 1970166 WITH SCORE 1973073.542
AT ITER 1370 NEW BEST:: SOT 2974455 SOS 2911306 HAS SOPS 2911283 HAS SOUS 1968956 HAS SOUPS 1968933 WITH SCORE 1971844.306
AT ITER 1374 NEW BEST:: SOT 2974455 SOS 2911306 HAS SOPS 2911283 HAS SOUS 1968940 HAS SOUPS 1968917 WITH SCORE 1971828.306
AT ITER 1379 NEW BEST:: SOT 2976153 SOS 2913004 HAS SOPS 2912981 HAS SOUS 1967453 HAS SOUPS 1967430 WITH SCORE 1970343.004
AT ITER 1396 NEW BEST:: SOT 2976153 SOS 2913004 HAS SOPS 2912981 HAS SOUS 1967199 HAS SOUPS 1967176 WITH SCORE 1970089.004
AT ITER 1397 NEW BEST:: SOT 2983488 SOS 2920339 HAS SOPS 2920316 HAS SOUS 1965982 HAS SOUPS 1965959 WITH SCORE 1968879.339
AT ITER 1398 NEW BEST:: SOT 2985906 SOS 2922757 HAS SOPS 2922734 HAS SOUS 1964725 HAS SOUPS 1964702 WITH SCORE 1967624.757
AT ITER 1401 NEW BEST:: SOT 2987122 SOS 2923973 HAS SOPS 2923950 HAS SOUS 1964646 HAS SOUPS 1964623 WITH SCORE 1967546.973
AT ITER 1411 NEW BEST:: SOT 2987122 SOS 2923973 HAS SOPS 2923950 HAS SOUS 1962390 HAS SOUPS 1962367 WITH SCORE 1965290.973
AT ITER 1413 NEW BEST:: SOT 2987122 SOS 2923973 HAS SOPS 2923950 HAS SOUS 1955618 HAS SOUPS 1955595 WITH SCORE 1958518.973
AT ITER 1429 NEW BEST:: SOT 2987122 SOS 2923973 HAS SOPS 2923950 HAS SOUS 1955256 HAS SOUPS 1955233 WITH SCORE 1958156.973
AT ITER 1444 NEW BEST:: SOT 2989615 SOS 2926466 HAS SOPS 2926443 HAS SOUS 1954026 HAS SOUPS 1954003 WITH SCORE 1956929.466
AT ITER 1465 NEW BEST:: SOT 2988475 SOS 2925326 HAS SOPS 2925303 HAS SOUS 1953646 HAS SOUPS 1953623 WITH SCORE 1956548.326
AT ITER 1534 NEW BEST:: SOT 2991275 SOS 2923401 HAS SOPS 2923378 HAS SOUS 1942856 HAS SOUPS 1942833 WITH SCORE 1945756.401
AT ITER 1543 NEW BEST:: SOT 3002297 SOS 2934423 HAS SOPS 2934400 HAS SOUS 1939972 HAS SOUPS 1939949 WITH SCORE 1942883.423
AT ITER 1587 NEW BEST:: SOT 3002297 SOS 2934423 HAS SOPS 2934400 HAS SOUS 1924384 HAS SOUPS 1924361 WITH SCORE 1927295.423
AT ITER 1613 NEW BEST:: SOT 3002323 SOS 2934449 HAS SOPS 2934426 HAS SOUS 1924204 HAS SOUPS 1924181 WITH SCORE 1927115.449
AT ITER 1615 NEW BEST:: SOT 3002323 SOS 2934449 HAS SOPS 2934426 HAS SOUS 1923342 HAS SOUPS 1923319 WITH SCORE 1926253.449
AT ITER 1630 NEW BEST:: SOT 3002323 SOS 2929777 HAS SOPS 2929754 HAS SOUS 1914863 HAS SOUPS 1914840 WITH SCORE 1917769.777
AT ITER 1646 NEW BEST:: SOT 3006868 SOS 2934322 HAS SOPS 2934299 HAS SOUS 1910902 HAS SOUPS 1910879 WITH SCORE 1913813.322
AT ITER 1694 NEW BEST:: SOT 3007116 SOS 2934570 HAS SOPS 2934547 HAS SOUS 1910812 HAS SOUPS 1910789 WITH SCORE 1913723.57
AT ITER 1743 NEW BEST:: SOT 3010068 SOS 2937522 HAS SOPS 2937499 HAS SOUS 1909725 HAS SOUPS 1909702 WITH SCORE 1912639.522
AT ITER 1749 NEW BEST:: SOT 3015904 SOS 2943358 HAS SOPS 2943335 HAS SOUS 1909528 HAS SOUPS 1909505 WITH SCORE 1912448.358
AT ITER 1754 NEW BEST:: SOT 3015904 SOS 2943358 HAS SOPS 2943335 HAS SOUS 1909525 HAS SOUPS 1909502 WITH SCORE 1912445.358
AT ITER 1786 NEW BEST:: SOT 3015904 SOS 2943358 HAS SOPS 2943335 HAS SOUS 1909482 HAS SOUPS 1909459 WITH SCORE 1912402.358
AT ITER 1808 NEW BEST:: SOT 3016056 SOS 2943510 HAS SOPS 2943487 HAS SOUS 1909436 HAS SOUPS 1909413 WITH SCORE 1912356.51
AT ITER 1813 NEW BEST:: SOT 3026172 SOS 2952039 HAS SOPS 2952016 HAS SOUS 1899358 HAS SOUPS 1899335 WITH SCORE 1902287.039
AT ITER 1852 NEW BEST:: SOT 3026172 SOS 2952039 HAS SOPS 2952016 HAS SOUS 1899165 HAS SOUPS 1899142 WITH SCORE 1902094.039
AT ITER 1865 NEW BEST:: SOT 3033927 SOS 2959034 HAS SOPS 2959011 HAS SOUS 1888300 HAS SOUPS 1888277 WITH SCORE 1891236.034
AT ITER 1886 NEW BEST:: SOT 3037647 SOS 2962754 HAS SOPS 2962731 HAS SOUS 1884347 HAS SOUPS 1884324 WITH SCORE 1887286.754
AT ITER 1915 NEW BEST:: SOT 3037647 SOS 2962754 HAS SOPS 2962731 HAS SOUS 1883870 HAS SOUPS 1883847 WITH SCORE 1886809.754
AT ITER 1918 NEW BEST:: SOT 3038124 SOS 2963231 HAS SOPS 2963208 HAS SOUS 1882749 HAS SOUPS 1882726 WITH SCORE 1885689.231
AT ITER 1947 NEW BEST:: SOT 3041490 SOS 2966597 HAS SOPS 2966574 HAS SOUS 1881793 HAS SOUPS 1881770 WITH SCORE 1884736.597
AT ITER 1950 NEW BEST:: SOT 3043095 SOS 2968202 HAS SOPS 2968179 HAS SOUS 1880696 HAS SOUPS 1880673 WITH SCORE 1883641.202
AT ITER 1985 NEW BEST:: SOT 3045003 SOS 2970110 HAS SOPS 2970087 HAS SOUS 1878675 HAS SOUPS 1878652 WITH SCORE 1881622.11
AT ITER 1990 NEW BEST:: SOT 3047475 SOS 2972582 HAS SOPS 2972559 HAS SOUS 1877413 HAS SOUPS 1877390 WITH SCORE 1880362.582
AT ITER 1992 NEW BEST:: SOT 3050605 SOS 2975712 HAS SOPS 2975689 HAS SOUS 1873744 HAS SOUPS 1873721 WITH SCORE 1876696.712
AT ITER 2033 NEW BEST:: SOT 3050617 SOS 2975724 HAS SOPS 2975701 HAS SOUS 1872532 HAS SOUPS 1872509 WITH SCORE 1875484.724
AT ITER 2035 NEW BEST:: SOT 3054474 SOS 2979581 HAS SOPS 2979558 HAS SOUS 1856995 HAS SOUPS 1856972 WITH SCORE 1859951.581
AT ITER 2061 NEW BEST:: SOT 3058290 SOS 2983397 HAS SOPS 2983374 HAS SOUS 1856204 HAS SOUPS 1856181 WITH SCORE 1859164.397
AT ITER 2105 NEW BEST:: SOT 3058290 SOS 2983425 HAS SOPS 2983402 HAS SOUS 1846253 HAS SOUPS 1846230 WITH SCORE 1849213.425
AT ITER 2135 NEW BEST:: SOT 3065442 SOS 2990298 HAS SOPS 2990275 HAS SOUS 1836315 HAS SOUPS 1836292 WITH SCORE 1839282.298
AT ITER 2146 NEW BEST:: SOT 3065795 SOS 2990651 HAS SOPS 2990628 HAS SOUS 1835404 HAS SOUPS 1835381 WITH SCORE 1838371.651
AT ITER 2174 NEW BEST:: SOT 3067445 SOS 2992301 HAS SOPS 2992278 HAS SOUS 1833891 HAS SOUPS 1833868 WITH SCORE 1836860.301
AT ITER 2188 NEW BEST:: SOT 3067445 SOS 2979723 HAS SOPS 2979700 HAS SOUS 1833891 HAS SOUPS 1833868 WITH SCORE 1836847.723
AT ITER 2215 NEW BEST:: SOT 3070255 SOS 2982533 HAS SOPS 2982510 HAS SOUS 1830092 HAS SOUPS 1830069 WITH SCORE 1833051.533
AT ITER 2237 NEW BEST:: SOT 3070255 SOS 2977862 HAS SOPS 2977839 HAS SOUS 1827074 HAS SOUPS 1827051 WITH SCORE 1830028.862
AT ITER 2248 NEW BEST:: SOT 3070421 SOS 2978028 HAS SOPS 2978005 HAS SOUS 1826950 HAS SOUPS 1826927 WITH SCORE 1829905.028
AT ITER 2251 NEW BEST:: SOT 3091396 SOS 2990111 HAS SOPS 2987324 HAS SOUS 1819970 HAS SOUPS 1819368 WITH SCORE 1822358.111
AT ITER 2288 NEW BEST:: SOT 3094897 SOS 2993612 HAS SOPS 2990825 HAS SOUS 1819072 HAS SOUPS 1818470 WITH SCORE 1821463.612
AT ITER 2323 NEW BEST:: SOT 3095035 SOS 2993750 HAS SOPS 2990963 HAS SOUS 1818245 HAS SOUPS 1817643 WITH SCORE 1820636.75
AT ITER 2325 NEW BEST:: SOT 3096409 SOS 2995124 HAS SOPS 2992337 HAS SOUS 1816627 HAS SOUPS 1816025 WITH SCORE 1819020.124
AT ITER 2358 NEW BEST:: SOT 3108178 SOS 3004433 HAS SOPS 3001067 HAS SOUS 1808364 HAS SOUPS 1807762 WITH SCORE 1810766.433
AT ITER 2375 NEW BEST:: SOT 3108178 SOS 3004433 HAS SOPS 3001067 HAS SOUS 1808108 HAS SOUPS 1807506 WITH SCORE 1810510.433
AT ITER 2398 NEW BEST:: SOT 3107758 SOS 3004013 HAS SOPS 3000647 HAS SOUS 1808024 HAS SOUPS 1807422 WITH SCORE 1810426.013
AT ITER 2400 NEW BEST:: SOT 3107758 SOS 3004013 HAS SOPS 3000647 HAS SOUS 1807662 HAS SOUPS 1807060 WITH SCORE 1810064.013
AT ITER 2403 NEW BEST:: SOT 3112306 SOS 3008561 HAS SOPS 3005195 HAS SOUS 1807555 HAS SOUPS 1806953 WITH SCORE 1809961.561
AT ITER 2404 NEW BEST:: SOT 3111319 SOS 3007574 HAS SOPS 3004208 HAS SOUS 1807226 HAS SOUPS 1806624 WITH SCORE 1809631.574
AT ITER 2409 NEW BEST:: SOT 3119850 SOS 3016105 HAS SOPS 3012739 HAS SOUS 1791303 HAS SOUPS 1790701 WITH SCORE 1793717.105
AT ITER 2418 NEW BEST:: SOT 3119850 SOS 3016105 HAS SOPS 3012739 HAS SOUS 1790852 HAS SOUPS 1790250 WITH SCORE 1793266.105
AT ITER 2441 NEW BEST:: SOT 3119850 SOS 3016105 HAS SOPS 3012739 HAS SOUS 1790835 HAS SOUPS 1790233 WITH SCORE 1793249.105
AT ITER 2445 NEW BEST:: SOT 3124226 SOS 3020481 HAS SOPS 3017115 HAS SOUS 1790642 HAS SOUPS 1790040 WITH SCORE 1793060.481
AT ITER 2485 NEW BEST:: SOT 3124354 SOS 3020609 HAS SOPS 3017243 HAS SOUS 1790609 HAS SOUPS 1790007 WITH SCORE 1793027.609
AT ITER 2493 NEW BEST:: SOT 3150916 SOS 3047171 HAS SOPS 3043805 HAS SOUS 1788520 HAS SOUPS 1787918 WITH SCORE 1790965.171
AT ITER 2501 NEW BEST:: SOT 3154881 SOS 3051136 HAS SOPS 3047770 HAS SOUS 1784987 HAS SOUPS 1784385 WITH SCORE 1787436.136
AT ITER 2511 NEW BEST:: SOT 3156187 SOS 3052442 HAS SOPS 3049076 HAS SOUS 1784883 HAS SOUPS 1784281 WITH SCORE 1787333.442
AT ITER 2562 NEW BEST:: SOT 3156187 SOS 3052442 HAS SOPS 3049076 HAS SOUS 1784882 HAS SOUPS 1784280 WITH SCORE 1787332.442
AT ITER 2582 NEW BEST:: SOT 3156187 SOS 3049986 HAS SOPS 3046620 HAS SOUS 1782733 HAS SOUPS 1782131 WITH SCORE 1785180.986
AT ITER 2591 NEW BEST:: SOT 3156187 SOS 3044740 HAS SOPS 3041374 HAS SOUS 1779000 HAS SOUPS 1778398 WITH SCORE 1781442.74
AT ITER 2592 NEW BEST:: SOT 3166144 SOS 3050754 HAS SOPS 3046809 HAS SOUS 1769702 HAS SOUPS 1769100 WITH SCORE 1772150.754
AT ITER 2601 NEW BEST:: SOT 3166936 SOS 3051546 HAS SOPS 3047601 HAS SOUS 1767907 HAS SOUPS 1767305 WITH SCORE 1770356.546
AT ITER 2612 NEW BEST:: SOT 3167144 SOS 3051754 HAS SOPS 3047809 HAS SOUS 1767755 HAS SOUPS 1767153 WITH SCORE 1770204.754
AT ITER 2636 NEW BEST:: SOT 3181489 SOS 3066099 HAS SOPS 3062154 HAS SOUS 1747842 HAS SOUPS 1747240 WITH SCORE 1750306.099
AT ITER 2670 NEW BEST:: SOT 3181489 SOS 3066099 HAS SOPS 3062154 HAS SOUS 1746710 HAS SOUPS 1746108 WITH SCORE 1749174.099
AT ITER 2699 NEW BEST:: SOT 3185494 SOS 3070104 HAS SOPS 3066159 HAS SOUS 1745978 HAS SOUPS 1745376 WITH SCORE 1748446.104
AT ITER 2711 NEW BEST:: SOT 3187824 SOS 3072434 HAS SOPS 3068489 HAS SOUS 1745434 HAS SOUPS 1744832 WITH SCORE 1747904.434
AT ITER 2714 NEW BEST:: SOT 3185294 SOS 3069904 HAS SOPS 3065959 HAS SOUS 1745434 HAS SOUPS 1744832 WITH SCORE 1747901.904
AT ITER 2720 NEW BEST:: SOT 3185294 SOS 3067848 HAS SOPS 3063903 HAS SOUS 1738060 HAS SOUPS 1737458 WITH SCORE 1740525.848
AT ITER 2726 NEW BEST:: SOT 3202359 SOS 3081832 HAS SOPS 3077308 HAS SOUS 1734503 HAS SOUPS 1733901 WITH SCORE 1736982.832
AT ITER 2737 NEW BEST:: SOT 3203394 SOS 3082867 HAS SOPS 3078343 HAS SOUS 1733936 HAS SOUPS 1733334 WITH SCORE 1736416.867
AT ITER 2744 NEW BEST:: SOT 3205174 SOS 3084647 HAS SOPS 3080123 HAS SOUS 1729685 HAS SOUPS 1729083 WITH SCORE 1732167.647
AT ITER 2748 NEW BEST:: SOT 3209014 SOS 3088487 HAS SOPS 3083963 HAS SOUS 1726131 HAS SOUPS 1725529 WITH SCORE 1728617.487
AT ITER 2802 NEW BEST:: SOT 3210886 SOS 3090359 HAS SOPS 3085835 HAS SOUS 1725115 HAS SOUPS 1724513 WITH SCORE 1727603.359
AT ITER 2807 NEW BEST:: SOT 3209044 SOS 3088517 HAS SOPS 3083993 HAS SOUS 1724501 HAS SOUPS 1723899 WITH SCORE 1726987.517
AT ITER 2848 NEW BEST:: SOT 3209944 SOS 3088940 HAS SOPS 3084416 HAS SOUS 1724446 HAS SOUPS 1723844 WITH SCORE 1726932.94
AT ITER 2860 NEW BEST:: SOT 3209944 SOS 3088940 HAS SOPS 3084416 HAS SOUS 1723950 HAS SOUPS 1723348 WITH SCORE 1726436.94
AT ITER 2869 NEW BEST:: SOT 3210006 SOS 3089002 HAS SOPS 3084478 HAS SOUS 1723517 HAS SOUPS 1722915 WITH SCORE 1726004.002
AT ITER 2896 NEW BEST:: SOT 3210006 SOS 3088402 HAS SOPS 3083878 HAS SOUS 1722917 HAS SOUPS 1722315 WITH SCORE 1725403.402
AT ITER 2907 NEW BEST:: SOT 3234441 SOS 3110267 HAS SOPS 3105164 HAS SOUS 1721556 HAS SOUPS 1720954 WITH SCORE 1724064.267
AT ITER 2919 NEW BEST:: SOT 3235827 SOS 3111653 HAS SOPS 3106550 HAS SOUS 1720996 HAS SOUPS 1720394 WITH SCORE 1723505.653
AT ITER 2944 NEW BEST:: SOT 3235827 SOS 3111653 HAS SOPS 3106550 HAS SOUS 1720975 HAS SOUPS 1720373 WITH SCORE 1723484.653
AT ITER 2962 NEW BEST:: SOT 3235827 SOS 3111653 HAS SOPS 3106550 HAS SOUS 1720909 HAS SOUPS 1720307 WITH SCORE 1723418.653
AT ITER 2977 NEW BEST:: SOT 3257148 SOS 3129030 HAS SOPS 3123348 HAS SOUS 1713498 HAS SOUPS 1712896 WITH SCORE 1716025.03
AT ITER 2978 NEW BEST:: SOT 3257148 SOS 3129250 HAS SOPS 3123568 HAS SOUS 1709758 HAS SOUPS 1709156 WITH SCORE 1712285.25
AT ITER 3012 NEW BEST:: SOT 3257655 SOS 3129757 HAS SOPS 3124075 HAS SOUS 1708511 HAS SOUPS 1707909 WITH SCORE 1711038.757
AT ITER 3018 NEW BEST:: SOT 3257697 SOS 3129799 HAS SOPS 3124117 HAS SOUS 1707448 HAS SOUPS 1706846 WITH SCORE 1709975.799
AT ITER 3020 NEW BEST:: SOT 3257697 SOS 3129799 HAS SOPS 3124117 HAS SOUS 1705586 HAS SOUPS 1704984 WITH SCORE 1708113.799
AT ITER 3021 NEW BEST:: SOT 3289028 SOS 3161130 HAS SOPS 3155448 HAS SOUS 1691035 HAS SOUPS 1690433 WITH SCORE 1693594.13
AT ITER 3023 NEW BEST:: SOT 3289028 SOS 3161130 HAS SOPS 3155448 HAS SOUS 1690914 HAS SOUPS 1690312 WITH SCORE 1693473.13
AT ITER 3038 NEW BEST:: SOT 3288964 SOS 3161066 HAS SOPS 3155384 HAS SOUS 1690882 HAS SOUPS 1690280 WITH SCORE 1693441.066
AT ITER 3048 NEW BEST:: SOT 3289081 SOS 3161183 HAS SOPS 3155501 HAS SOUS 1689279 HAS SOUPS 1688677 WITH SCORE 1691838.183
AT ITER 3056 NEW BEST:: SOT 3310359 SOS 3180182 HAS SOPS 3173921 HAS SOUS 1680791 HAS SOUPS 1680189 WITH SCORE 1683369.182
AT ITER 3074 NEW BEST:: SOT 3315464 SOS 3185287 HAS SOPS 3179026 HAS SOUS 1677563 HAS SOUPS 1676961 WITH SCORE 1680146.287
AT ITER 3078 NEW BEST:: SOT 3317468 SOS 3187291 HAS SOPS 3181030 HAS SOUS 1677282 HAS SOUPS 1676680 WITH SCORE 1679867.291
AT ITER 3084 NEW BEST:: SOT 3317468 SOS 3187291 HAS SOPS 3181030 HAS SOUS 1677280 HAS SOUPS 1676678 WITH SCORE 1679865.291
AT ITER 3098 NEW BEST:: SOT 3317692 SOS 3184529 HAS SOPS 3178212 HAS SOUS 1676404 HAS SOUPS 1675802 WITH SCORE 1678986.529
AT ITER 3114 NEW BEST:: SOT 3322066 SOS 3188903 HAS SOPS 3182586 HAS SOUS 1676324 HAS SOUPS 1675722 WITH SCORE 1678910.903
AT ITER 3115 NEW BEST:: SOT 3323220 SOS 3189098 HAS SOPS 3182204 HAS SOUS 1675934 HAS SOUPS 1675332 WITH SCORE 1678521.098
AT ITER 3118 NEW BEST:: SOT 3324330 SOS 3190208 HAS SOPS 3183314 HAS SOUS 1675545 HAS SOUPS 1674943 WITH SCORE 1678133.208
AT ITER 3129 NEW BEST:: SOT 3324420 SOS 3190298 HAS SOPS 3183404 HAS SOUS 1675064 HAS SOUPS 1674462 WITH SCORE 1677652.298
AT ITER 3130 NEW BEST:: SOT 3321718 SOS 3187596 HAS SOPS 3180702 HAS SOUS 1674523 HAS SOUPS 1673921 WITH SCORE 1677108.596
AT ITER 3134 NEW BEST:: SOT 3321718 SOS 3187596 HAS SOPS 3180702 HAS SOUS 1674358 HAS SOUPS 1673756 WITH SCORE 1676943.596
AT ITER 3138 NEW BEST:: SOT 3338299 SOS 3201822 HAS SOPS 3194349 HAS SOUS 1666983 HAS SOUPS 1666381 WITH SCORE 1669582.822
AT ITER 3139 NEW BEST:: SOT 3353746 SOS 3217269 HAS SOPS 3209796 HAS SOUS 1647063 HAS SOUPS 1646461 WITH SCORE 1649678.269
AT ITER 3147 NEW BEST:: SOT 3349654 SOS 3213177 HAS SOPS 3205704 HAS SOUS 1646691 HAS SOUPS 1646089 WITH SCORE 1649302.177
AT ITER 3157 NEW BEST:: SOT 3350530 SOS 3214053 HAS SOPS 3206580 HAS SOUS 1645879 HAS SOUPS 1645277 WITH SCORE 1648491.053
AT ITER 3177 NEW BEST:: SOT 3371867 SOS 3235390 HAS SOPS 3227917 HAS SOUS 1641278 HAS SOUPS 1640676 WITH SCORE 1643911.39
AT ITER 3192 NEW BEST:: SOT 3371901 SOS 3235424 HAS SOPS 3227951 HAS SOUS 1640814 HAS SOUPS 1640212 WITH SCORE 1643447.424
AT ITER 3196 NEW BEST:: SOT 3375588 SOS 3239111 HAS SOPS 3231638 HAS SOUS 1640397 HAS SOUPS 1639795 WITH SCORE 1643034.111
AT ITER 3216 NEW BEST:: SOT 3375588 SOS 3239111 HAS SOPS 3231638 HAS SOUS 1640175 HAS SOUPS 1639573 WITH SCORE 1642812.111
AT ITER 3217 NEW BEST:: SOT 3397845 SOS 3259047 HAS SOPS 3250995 HAS SOUS 1633383 HAS SOUPS 1632781 WITH SCORE 1636040.047
AT ITER 3243 NEW BEST:: SOT 3418111 SOS 3278740 HAS SOPS 3270109 HAS SOUS 1632071 HAS SOUPS 1631469 WITH SCORE 1634747.74
AT ITER 3244 NEW BEST:: SOT 3423574 SOS 3284203 HAS SOPS 3275572 HAS SOUS 1630835 HAS SOUPS 1630233 WITH SCORE 1633517.203
AT ITER 3255 NEW BEST:: SOT 3423996 SOS 3284625 HAS SOPS 3275994 HAS SOUS 1630831 HAS SOUPS 1630229 WITH SCORE 1633513.625
AT ITER 3261 NEW BEST:: SOT 3423996 SOS 3284625 HAS SOPS 3275994 HAS SOUS 1630757 HAS SOUPS 1630155 WITH SCORE 1633439.625
AT ITER 3278 NEW BEST:: SOT 3423996 SOS 3284625 HAS SOPS 3275994 HAS SOUS 1630628 HAS SOUPS 1630026 WITH SCORE 1633310.625
AT ITER 3298 NEW BEST:: SOT 3453788 SOS 3314417 HAS SOPS 3305786 HAS SOUS 1611363 HAS SOUPS 1610761 WITH SCORE 1614075.417
AT ITER 3347 NEW BEST:: SOT 3453907 SOS 3314536 HAS SOPS 3305905 HAS SOUS 1611134 HAS SOUPS 1610532 WITH SCORE 1613846.536
AT ITER 3372 NEW BEST:: SOT 3466291 SOS 3326920 HAS SOPS 3318289 HAS SOUS 1593161 HAS SOUPS 1592559 WITH SCORE 1595885.92
AT ITER 3373 NEW BEST:: SOT 3463146 SOS 3323775 HAS SOPS 3315144 HAS SOUS 1592204 HAS SOUPS 1591602 WITH SCORE 1594925.775
AT ITER 3382 NEW BEST:: SOT 3463198 SOS 3323827 HAS SOPS 3315196 HAS SOUS 1591915 HAS SOUPS 1591313 WITH SCORE 1594636.827
AT ITER 3383 NEW BEST:: SOT 3463198 SOS 3323050 HAS SOPS 3314419 HAS SOUS 1591852 HAS SOUPS 1591250 WITH SCORE 1594573.05
AT ITER 3395 NEW BEST:: SOT 3463198 SOS 3323050 HAS SOPS 3314419 HAS SOUS 1590979 HAS SOUPS 1590377 WITH SCORE 1593700.05
AT ITER 3414 NEW BEST:: SOT 3461893 SOS 3321745 HAS SOPS 3313114 HAS SOUS 1590544 HAS SOUPS 1589942 WITH SCORE 1593263.745
AT ITER 3427 NEW BEST:: SOT 3462961 SOS 3322813 HAS SOPS 3314182 HAS SOUS 1589947 HAS SOUPS 1589345 WITH SCORE 1592667.813
AT ITER 3452 NEW BEST:: SOT 3463159 SOS 3323011 HAS SOPS 3314380 HAS SOUS 1589808 HAS SOUPS 1589206 WITH SCORE 1592529.011
AT ITER 3466 NEW BEST:: SOT 3465643 SOS 3325495 HAS SOPS 3316864 HAS SOUS 1589463 HAS SOUPS 1588861 WITH SCORE 1592186.495
AT ITER 3473 NEW BEST:: SOT 3465772 SOS 3325624 HAS SOPS 3316993 HAS SOUS 1587873 HAS SOUPS 1587271 WITH SCORE 1590596.624
AT ITER 3488 NEW BEST:: SOT 3482111 SOS 3339666 HAS SOPS 3330456 HAS SOUS 1578897 HAS SOUPS 1578295 WITH SCORE 1581634.666
AT ITER 3489 NEW BEST:: SOT 3481685 SOS 3339240 HAS SOPS 3330030 HAS SOUS 1578755 HAS SOUPS 1578153 WITH SCORE 1581492.24
AT ITER 3500 NEW BEST:: SOT 3482191 SOS 3339746 HAS SOPS 3330536 HAS SOUS 1577915 HAS SOUPS 1577313 WITH SCORE 1580652.746
AT ITER 3510 NEW BEST:: SOT 3482191 SOS 3339746 HAS SOPS 3330536 HAS SOUS 1577847 HAS SOUPS 1577245 WITH SCORE 1580584.746
AT ITER 3534 NEW BEST:: SOT 3483341 SOS 3338614 HAS SOPS 3329289 HAS SOUS 1567943 HAS SOUPS 1567341 WITH SCORE 1570679.614
AT ITER 3540 NEW BEST:: SOT 3483519 SOS 3338792 HAS SOPS 3329467 HAS SOUS 1567122 HAS SOUPS 1566520 WITH SCORE 1569858.792
AT ITER 3542 NEW BEST:: SOT 3509040 SOS 3360376 HAS SOPS 3350472 HAS SOUS 1560434 HAS SOUPS 1559832 WITH SCORE 1563192.376
AT ITER 3546 NEW BEST:: SOT 3509084 SOS 3360420 HAS SOPS 3350516 HAS SOUS 1559773 HAS SOUPS 1559171 WITH SCORE 1562531.42
AT ITER 3558 NEW BEST:: SOT 3509894 SOS 3361230 HAS SOPS 3351326 HAS SOUS 1558823 HAS SOUPS 1558221 WITH SCORE 1561582.23
AT ITER 3576 NEW BEST:: SOT 3509601 SOS 3360937 HAS SOPS 3351033 HAS SOUS 1558823 HAS SOUPS 1558221 WITH SCORE 1561581.937
AT ITER 3595 NEW BEST:: SOT 3510665 SOS 3362001 HAS SOPS 3352097 HAS SOUS 1556238 HAS SOUPS 1555636 WITH SCORE 1558998.001
AT ITER 3672 NEW BEST:: SOT 3510923 SOS 3362259 HAS SOPS 3352355 HAS SOUS 1554690 HAS SOUPS 1554088 WITH SCORE 1557450.259
AT ITER 3675 NEW BEST:: SOT 3510497 SOS 3361694 HAS SOPS 3351734 HAS SOUS 1554354 HAS SOUPS 1553752 WITH SCORE 1557113.694
AT ITER 3698 NEW BEST:: SOT 3509821 SOS 3361018 HAS SOPS 3351058 HAS SOUS 1554016 HAS SOUPS 1553414 WITH SCORE 1556775.018
AT ITER 3700 NEW BEST:: SOT 3511981 SOS 3363178 HAS SOPS 3353218 HAS SOUS 1553108 HAS SOUPS 1552506 WITH SCORE 1555869.178
AT ITER 3707 NEW BEST:: SOT 3511981 SOS 3363178 HAS SOPS 3353218 HAS SOUS 1553106 HAS SOUPS 1552504 WITH SCORE 1555867.178
AT ITER 3711 NEW BEST:: SOT 3560241 SOS 3411438 HAS SOPS 3401478 HAS SOUS 1551184 HAS SOUPS 1550582 WITH SCORE 1553993.438
AT ITER 3725 NEW BEST:: SOT 3560481 SOS 3411678 HAS SOPS 3401718 HAS SOUS 1549964 HAS SOUPS 1549362 WITH SCORE 1552773.678
AT ITER 3736 NEW BEST:: SOT 3567195 SOS 3416098 HAS SOPS 3405559 HAS SOUS 1540117 HAS SOUPS 1539515 WITH SCORE 1542931.098
AT ITER 3740 NEW BEST:: SOT 3572615 SOS 3419233 HAS SOPS 3408152 HAS SOUS 1530447 HAS SOUPS 1529845 WITH SCORE 1533264.233
AT ITER 3748 NEW BEST:: SOT 3572804 SOS 3419422 HAS SOPS 3408341 HAS SOUS 1529706 HAS SOUPS 1529104 WITH SCORE 1532523.422
AT ITER 3755 NEW BEST:: SOT 3573748 SOS 3420366 HAS SOPS 3409285 HAS SOUS 1529166 HAS SOUPS 1528564 WITH SCORE 1531984.366
AT ITER 3760 NEW BEST:: SOT 3575137 SOS 3421755 HAS SOPS 3410674 HAS SOUS 1528614 HAS SOUPS 1528012 WITH SCORE 1531433.755
AT ITER 3766 NEW BEST:: SOT 3575137 SOS 3421755 HAS SOPS 3410674 HAS SOUS 1528556 HAS SOUPS 1527954 WITH SCORE 1531375.755
AT ITER 3767 NEW BEST:: SOT 3575742 SOS 3418424 HAS SOPS 3407288 HAS SOUS 1518159 HAS SOUPS 1517557 WITH SCORE 1520975.424
AT ITER 3788 NEW BEST:: SOT 3577653 SOS 3420335 HAS SOPS 3409199 HAS SOUS 1518089 HAS SOUPS 1517487 WITH SCORE 1520907.335
AT ITER 3796 NEW BEST:: SOT 3578451 SOS 3421133 HAS SOPS 3409997 HAS SOUS 1517236 HAS SOUPS 1516634 WITH SCORE 1520055.133
AT ITER 3801 NEW BEST:: SOT 3579108 SOS 3421790 HAS SOPS 3410654 HAS SOUS 1516333 HAS SOUPS 1515731 WITH SCORE 1519152.79
AT ITER 3803 NEW BEST:: SOT 3577628 SOS 3420310 HAS SOPS 3409174 HAS SOUS 1514853 HAS SOUPS 1514251 WITH SCORE 1517671.31
AT ITER 3812 NEW BEST:: SOT 3577628 SOS 3420310 HAS SOPS 3409174 HAS SOUS 1514442 HAS SOUPS 1513840 WITH SCORE 1517260.31
AT ITER 3863 NEW BEST:: SOT 3577628 SOS 3420310 HAS SOPS 3409174 HAS SOUS 1514380 HAS SOUPS 1513778 WITH SCORE 1517198.31
AT ITER 3864 NEW BEST:: SOT 3577628 SOS 3420310 HAS SOPS 3409174 HAS SOUS 1514333 HAS SOUPS 1513731 WITH SCORE 1517151.31
AT ITER 3891 NEW BEST:: SOT 3577628 SOS 3397060 HAS SOPS 3385924 HAS SOUS 1505303 HAS SOUPS 1504701 WITH SCORE 1508098.06
AT ITER 3916 NEW BEST:: SOT 3578235 SOS 3397667 HAS SOPS 3386531 HAS SOUS 1505277 HAS SOUPS 1504675 WITH SCORE 1508072.667
AT ITER 3967 NEW BEST:: SOT 3578235 SOS 3379651 HAS SOPS 3368515 HAS SOUS 1497203 HAS SOUPS 1496601 WITH SCORE 1499980.651
AT ITER 3975 NEW BEST:: SOT 3579352 SOS 3380470 HAS SOPS 3368217 HAS SOUS 1497443 HAS SOUPS 1496303 WITH SCORE 1499683.47
AT ITER 3993 NEW BEST:: SOT 3582025 SOS 3383143 HAS SOPS 3370890 HAS SOUS 1496684 HAS SOUPS 1495544 WITH SCORE 1498927.143
AT ITER 4007 NEW BEST:: SOT 3582546 SOS 3383664 HAS SOPS 3371411 HAS SOUS 1495860 HAS SOUPS 1494720 WITH SCORE 1498103.664
AT ITER 4016 NEW BEST:: SOT 3584144 SOS 3385262 HAS SOPS 3373009 HAS SOUS 1495416 HAS SOUPS 1494276 WITH SCORE 1497661.262
AT ITER 4097 NEW BEST:: SOT 3584144 SOS 3385262 HAS SOPS 3373009 HAS SOUS 1495394 HAS SOUPS 1494254 WITH SCORE 1497639.262
AT ITER 4132 NEW BEST:: SOT 3584144 SOS 3385262 HAS SOPS 3373009 HAS SOUS 1495310 HAS SOUPS 1494170 WITH SCORE 1497555.262
AT ITER 4148 NEW BEST:: SOT 3585723 SOS 3386841 HAS SOPS 3374588 HAS SOUS 1492908 HAS SOUPS 1491768 WITH SCORE 1495154.841
AT ITER 4165 NEW BEST:: SOT 3584193 SOS 3385311 HAS SOPS 3373058 HAS SOUS 1491974 HAS SOUPS 1490834 WITH SCORE 1494219.311
AT ITER 4178 NEW BEST:: SOT 3584193 SOS 3385311 HAS SOPS 3373058 HAS SOUS 1491711 HAS SOUPS 1490571 WITH SCORE 1493956.311
AT ITER 4193 NEW BEST:: SOT 3569033 SOS 3370151 HAS SOPS 3358122 HAS SOUS 1489371 HAS SOUPS 1488455 WITH SCORE 1491825.151
AT ITER 4223 NEW BEST:: SOT 3569774 SOS 3370892 HAS SOPS 3358863 HAS SOUS 1488410 HAS SOUPS 1487494 WITH SCORE 1490864.892
AT ITER 4232 NEW BEST:: SOT 3569774 SOS 3370892 HAS SOPS 3358863 HAS SOUS 1486762 HAS SOUPS 1485846 WITH SCORE 1489216.892
AT ITER 4260 NEW BEST:: SOT 3569774 SOS 3370450 HAS SOPS 3358421 HAS SOUS 1486695 HAS SOUPS 1485779 WITH SCORE 1489149.45
AT ITER 4271 NEW BEST:: SOT 3569948 SOS 3370624 HAS SOPS 3358595 HAS SOUS 1485911 HAS SOUPS 1484995 WITH SCORE 1488365.624
AT ITER 4277 NEW BEST:: SOT 3570310 SOS 3370986 HAS SOPS 3358957 HAS SOUS 1485873 HAS SOUPS 1484957 WITH SCORE 1488327.986
AT ITER 4297 NEW BEST:: SOT 3571721 SOS 3372397 HAS SOPS 3360368 HAS SOUS 1484892 HAS SOUPS 1483976 WITH SCORE 1487348.397
AT ITER 4362 NEW BEST:: SOT 3572069 SOS 3372745 HAS SOPS 3360716 HAS SOUS 1482922 HAS SOUPS 1482006 WITH SCORE 1485378.745
AT ITER 4379 NEW BEST:: SOT 3570724 SOS 3371400 HAS SOPS 3359371 HAS SOUS 1482187 HAS SOUPS 1481271 WITH SCORE 1484642.4
AT ITER 4400 NEW BEST:: SOT 3574700 SOS 3375550 HAS SOPS 3363577 HAS SOUS 1480261 HAS SOUPS 1479345 WITH SCORE 1482720.55
AT ITER 4409 NEW BEST:: SOT 3574700 SOS 3375550 HAS SOPS 3363577 HAS SOUS 1479637 HAS SOUPS 1478721 WITH SCORE 1482096.55
AT ITER 4463 NEW BEST:: SOT 3575538 SOS 3375428 HAS SOPS 3363036 HAS SOUS 1478593 HAS SOUPS 1477677 WITH SCORE 1481052.428
AT ITER 4483 NEW BEST:: SOT 3576644 SOS 3376232 HAS SOPS 3362734 HAS SOUS 1478504 HAS SOUPS 1477375 WITH SCORE 1480751.232
AT ITER 4501 NEW BEST:: SOT 3576644 SOS 3376232 HAS SOPS 3362734 HAS SOUS 1478276 HAS SOUPS 1477147 WITH SCORE 1480523.232
AT ITER 4509 NEW BEST:: SOT 3577780 SOS 3377368 HAS SOPS 3363870 HAS SOUS 1475871 HAS SOUPS 1474742 WITH SCORE 1478119.368
AT ITER 4531 NEW BEST:: SOT 3578124 SOS 3377712 HAS SOPS 3364214 HAS SOUS 1475540 HAS SOUPS 1474411 WITH SCORE 1477788.712
AT ITER 4553 NEW BEST:: SOT 3578306 SOS 3377894 HAS SOPS 3364396 HAS SOUS 1475515 HAS SOUPS 1474386 WITH SCORE 1477763.894
AT ITER 4555 NEW BEST:: SOT 3578842 SOS 3378127 HAS SOPS 3364093 HAS SOUS 1475212 HAS SOUPS 1474083 WITH SCORE 1477461.127
AT ITER 4574 NEW BEST:: SOT 3578802 SOS 3378087 HAS SOPS 3364053 HAS SOUS 1475172 HAS SOUPS 1474043 WITH SCORE 1477421.087
AT ITER 4578 NEW BEST:: SOT 3583542 SOS 3379057 HAS SOPS 3364549 HAS SOUS 1466778 HAS SOUPS 1465649 WITH SCORE 1469028.057
AT ITER 4581 NEW BEST:: SOT 3586416 SOS 3381931 HAS SOPS 3367423 HAS SOUS 1465673 HAS SOUPS 1464544 WITH SCORE 1467925.931
AT ITER 4597 NEW BEST:: SOT 3586164 SOS 3381679 HAS SOPS 3367297 HAS SOUS 1465547 HAS SOUPS 1464418 WITH SCORE 1467799.679
AT ITER 4608 NEW BEST:: SOT 3591354 SOS 3386827 HAS SOPS 3372445 HAS SOUS 1461531 HAS SOUPS 1460402 WITH SCORE 1463788.827
AT ITER 4616 NEW BEST:: SOT 3591354 SOS 3386388 HAS SOPS 3372006 HAS SOUS 1460752 HAS SOUPS 1459623 WITH SCORE 1463009.388
AT ITER 4633 NEW BEST:: SOT 3590792 SOS 3385826 HAS SOPS 3371444 HAS SOUS 1460190 HAS SOUPS 1459061 WITH SCORE 1462446.826
AT ITER 4643 NEW BEST:: SOT 3591379 SOS 3386413 HAS SOPS 3372031 HAS SOUS 1460049 HAS SOUPS 1458920 WITH SCORE 1462306.413
AT ITER 4657 NEW BEST:: SOT 3591695 SOS 3386729 HAS SOPS 3372347 HAS SOUS 1459940 HAS SOUPS 1458811 WITH SCORE 1462197.729
AT ITER 4686 NEW BEST:: SOT 3594360 SOS 3389394 HAS SOPS 3375012 HAS SOUS 1455772 HAS SOUPS 1454643 WITH SCORE 1458032.394
AT ITER 4697 NEW BEST:: SOT 3594761 SOS 3389795 HAS SOPS 3375413 HAS SOUS 1454509 HAS SOUPS 1453380 WITH SCORE 1456769.795
AT ITER 4702 NEW BEST:: SOT 3595181 SOS 3390215 HAS SOPS 3375833 HAS SOUS 1454440 HAS SOUPS 1453311 WITH SCORE 1456701.215
AT ITER 4738 NEW BEST:: SOT 3595181 SOS 3390215 HAS SOPS 3375833 HAS SOUS 1454081 HAS SOUPS 1452952 WITH SCORE 1456342.215
AT ITER 4760 NEW BEST:: SOT 3595345 SOS 3390379 HAS SOPS 3375997 HAS SOUS 1451188 HAS SOUPS 1450059 WITH SCORE 1453449.379
AT ITER 4764 NEW BEST:: SOT 3595381 SOS 3390415 HAS SOPS 3376033 HAS SOUS 1450386 HAS SOUPS 1449257 WITH SCORE 1452647.415
AT ITER 4769 NEW BEST:: SOT 3595381 SOS 3390415 HAS SOPS 3376033 HAS SOUS 1450190 HAS SOUPS 1449061 WITH SCORE 1452451.415
AT ITER 4775 NEW BEST:: SOT 3600947 SOS 3392147 HAS SOPS 3377259 HAS SOUS 1442186 HAS SOUPS 1441057 WITH SCORE 1444449.147
AT ITER 4782 NEW BEST:: SOT 3638890 SOS 3430090 HAS SOPS 3415202 HAS SOUS 1423434 HAS SOUPS 1422305 WITH SCORE 1425735.09
AT ITER 4789 NEW BEST:: SOT 3639490 SOS 3390088 HAS SOPS 3374624 HAS SOUS 1422717 HAS SOUPS 1421588 WITH SCORE 1424978.088
AT ITER 4792 NEW BEST:: SOT 3636070 SOS 3386668 HAS SOPS 3371204 HAS SOUS 1422147 HAS SOUPS 1421018 WITH SCORE 1424404.668
AT ITER 4845 NEW BEST:: SOT 3636070 SOS 3386668 HAS SOPS 3371204 HAS SOUS 1421769 HAS SOUPS 1420640 WITH SCORE 1424026.668
AT ITER 4893 NEW BEST:: SOT 3639666 SOS 3390264 HAS SOPS 3374800 HAS SOUS 1420594 HAS SOUPS 1419465 WITH SCORE 1422855.264
AT ITER 4900 NEW BEST:: SOT 3638858 SOS 3389456 HAS SOPS 3373992 HAS SOUS 1419317 HAS SOUPS 1418188 WITH SCORE 1421577.456
AT ITER 4923 NEW BEST:: SOT 3638858 SOS 3388857 HAS SOPS 3373393 HAS SOUS 1419024 HAS SOUPS 1417895 WITH SCORE 1421283.857
AT ITER 4935 NEW BEST:: SOT 3638858 SOS 3388857 HAS SOPS 3373393 HAS SOUS 1416696 HAS SOUPS 1415567 WITH SCORE 1418955.857
AT ITER 4951 NEW BEST:: SOT 3638858 SOS 3388857 HAS SOPS 3373393 HAS SOUS 1416687 HAS SOUPS 1415558 WITH SCORE 1418946.857
AT ITER 4956 NEW BEST:: SOT 3638858 SOS 3388857 HAS SOPS 3373393 HAS SOUS 1416297 HAS SOUPS 1415168 WITH SCORE 1418556.857
AT ITER 4967 NEW BEST:: SOT 3639002 SOS 3389001 HAS SOPS 3373537 HAS SOUS 1416121 HAS SOUPS 1414992 WITH SCORE 1418381.001
AT ITER 4969 NEW BEST:: SOT 3639512 SOS 3389511 HAS SOPS 3374047 HAS SOUS 1416116 HAS SOUPS 1414987 WITH SCORE 1418376.511
AT ITER 4976 NEW BEST:: SOT 3639512 SOS 3388528 HAS SOPS 3373064 HAS SOUS 1415034 HAS SOUPS 1413905 WITH SCORE 1417293.528
AT ITER 4979 NEW BEST:: SOT 3639683 SOS 3388699 HAS SOPS 3373235 HAS SOUS 1413797 HAS SOUPS 1412668 WITH SCORE 1416056.699
AT ITER 5008 NEW BEST:: SOT 3640595 SOS 3388794 HAS SOPS 3373306 HAS SOUS 1412980 HAS SOUPS 1411851 WITH SCORE 1415239.794
AT ITER 5046 NEW BEST:: SOT 3640595 SOS 3388429 HAS SOPS 3372941 HAS SOUS 1412980 HAS SOUPS 1411851 WITH SCORE 1415239.429
AT ITER 5054 NEW BEST:: SOT 3640595 SOS 3388103 HAS SOPS 3372615 HAS SOUS 1412980 HAS SOUPS 1411851 WITH SCORE 1415239.103
AT ITER 5059 NEW BEST:: SOT 3641650 SOS 3388052 HAS SOPS 3371509 HAS SOUS 1411462 HAS SOUPS 1410333 WITH SCORE 1413721.052
AT ITER 5064 NEW BEST:: SOT 3642835 SOS 3389237 HAS SOPS 3372694 HAS SOUS 1409276 HAS SOUPS 1408147 WITH SCORE 1411536.237
AT ITER 5110 NEW BEST:: SOT 3649352 SOS 3395754 HAS SOPS 3379211 HAS SOUS 1388985 HAS SOUPS 1387856 WITH SCORE 1391251.754
AT ITER 5119 NEW BEST:: SOT 3649352 SOS 3395754 HAS SOPS 3379211 HAS SOUS 1388839 HAS SOUPS 1387710 WITH SCORE 1391105.754
AT ITER 5130 NEW BEST:: SOT 3649352 SOS 3395754 HAS SOPS 3379211 HAS SOUS 1387601 HAS SOUPS 1386472 WITH SCORE 1389867.754
AT ITER 5182 NEW BEST:: SOT 3667099 SOS 3410863 HAS SOPS 3393741 HAS SOUS 1382557 HAS SOUPS 1381428 WITH SCORE 1384838.863
AT ITER 5186 NEW BEST:: SOT 3673603 SOS 3417367 HAS SOPS 3400245 HAS SOUS 1380424 HAS SOUPS 1379295 WITH SCORE 1382712.367
AT ITER 5187 NEW BEST:: SOT 3673603 SOS 3417367 HAS SOPS 3400245 HAS SOUS 1379632 HAS SOUPS 1378503 WITH SCORE 1381920.367
AT ITER 5192 NEW BEST:: SOT 3673932 SOS 3417696 HAS SOPS 3400574 HAS SOUS 1378399 HAS SOUPS 1377270 WITH SCORE 1380687.696
AT ITER 5193 NEW BEST:: SOT 3676486 SOS 3420250 HAS SOPS 3403128 HAS SOUS 1377861 HAS SOUPS 1376732 WITH SCORE 1380152.25
AT ITER 5200 NEW BEST:: SOT 3676454 SOS 3420218 HAS SOPS 3403096 HAS SOUS 1377829 HAS SOUPS 1376700 WITH SCORE 1380120.218
AT ITER 5262 NEW BEST:: SOT 3676857 SOS 3420621 HAS SOPS 3403499 HAS SOUS 1377633 HAS SOUPS 1376504 WITH SCORE 1379924.621
AT ITER 5272 NEW BEST:: SOT 3673502 SOS 3417266 HAS SOPS 3400144 HAS SOUS 1376693 HAS SOUPS 1375564 WITH SCORE 1378981.266
AT ITER 5275 NEW BEST:: SOT 3673502 SOS 3388887 HAS SOPS 3371765 HAS SOUS 1369696 HAS SOUPS 1368567 WITH SCORE 1371955.887
AT ITER 5276 NEW BEST:: SOT 3673502 SOS 3385212 HAS SOPS 3368090 HAS SOUS 1366601 HAS SOUPS 1365472 WITH SCORE 1368857.212
AT ITER 5278 NEW BEST:: SOT 3673502 SOS 3385038 HAS SOPS 3367916 HAS SOUS 1366601 HAS SOUPS 1365472 WITH SCORE 1368857.038
AT ITER 5280 NEW BEST:: SOT 3666352 SOS 3377888 HAS SOPS 3360766 HAS SOUS 1365951 HAS SOUPS 1364822 WITH SCORE 1368199.888
AT ITER 5281 NEW BEST:: SOT 3666352 SOS 3376371 HAS SOPS 3359249 HAS SOUS 1364714 HAS SOUPS 1363585 WITH SCORE 1366961.371
AT ITER 5307 NEW BEST:: SOT 3666352 SOS 3345017 HAS SOPS 3327895 HAS SOUS 1357133 HAS SOUPS 1356004 WITH SCORE 1359349.017
AT ITER 5311 NEW BEST:: SOT 3666813 SOS 3345478 HAS SOPS 3328356 HAS SOUS 1356235 HAS SOUPS 1355106 WITH SCORE 1358451.478
AT ITER 5335 NEW BEST:: SOT 3666813 SOS 3344819 HAS SOPS 3327697 HAS SOUS 1355504 HAS SOUPS 1354375 WITH SCORE 1357719.819
AT ITER 5339 NEW BEST:: SOT 3670023 SOS 3348029 HAS SOPS 3330907 HAS SOUS 1354494 HAS SOUPS 1353365 WITH SCORE 1356713.029
AT ITER 5341 NEW BEST:: SOT 3670023 SOS 3348029 HAS SOPS 3330907 HAS SOUS 1354448 HAS SOUPS 1353319 WITH SCORE 1356667.029
AT ITER 5392 NEW BEST:: SOT 3667663 SOS 3345669 HAS SOPS 3328547 HAS SOUS 1353060 HAS SOUPS 1351931 WITH SCORE 1355276.669
AT ITER 5401 NEW BEST:: SOT 3669715 SOS 3347721 HAS SOPS 3330599 HAS SOUS 1352654 HAS SOUPS 1351525 WITH SCORE 1354872.721
AT ITER 5402 NEW BEST:: SOT 3677127 SOS 3354141 HAS SOPS 3336995 HAS SOUS 1351324 HAS SOUPS 1350195 WITH SCORE 1353549.141
AT ITER 5416 NEW BEST:: SOT 3677127 SOS 3354141 HAS SOPS 3336995 HAS SOUS 1350980 HAS SOUPS 1349851 WITH SCORE 1353205.141
AT ITER 5500 NEW BEST:: SOT 3676281 SOS 3353295 HAS SOPS 3336149 HAS SOUS 1350330 HAS SOUPS 1349201 WITH SCORE 1352554.295
AT ITER 5501 NEW BEST:: SOT 3686637 SOS 3363651 HAS SOPS 3346505 HAS SOUS 1350229 HAS SOUPS 1349100 WITH SCORE 1352463.651
AT ITER 5503 NEW BEST:: SOT 3686637 SOS 3363651 HAS SOPS 3346505 HAS SOUS 1350067 HAS SOUPS 1348938 WITH SCORE 1352301.651
AT ITER 5507 NEW BEST:: SOT 3687081 SOS 3364095 HAS SOPS 3346949 HAS SOUS 1348567 HAS SOUPS 1347438 WITH SCORE 1350802.095
AT ITER 5549 NEW BEST:: SOT 3686682 SOS 3363696 HAS SOPS 3346550 HAS SOUS 1348434 HAS SOUPS 1347305 WITH SCORE 1350668.696
AT ITER 5555 NEW BEST:: SOT 3686682 SOS 3363696 HAS SOPS 3346550 HAS SOUS 1348196 HAS SOUPS 1347067 WITH SCORE 1350430.696
AT ITER 5560 NEW BEST:: SOT 3686682 SOS 3363696 HAS SOPS 3346550 HAS SOUS 1348158 HAS SOUPS 1347029 WITH SCORE 1350392.696
AT ITER 5581 NEW BEST:: SOT 3686682 SOS 3363696 HAS SOPS 3346550 HAS SOUS 1348157 HAS SOUPS 1347028 WITH SCORE 1350391.696
AT ITER 5587 NEW BEST:: SOT 3686682 SOS 3363401 HAS SOPS 3346255 HAS SOUS 1348157 HAS SOUPS 1347028 WITH SCORE 1350391.401
AT ITER 5608 NEW BEST:: SOT 3687169 SOS 3363888 HAS SOPS 3346742 HAS SOUS 1347890 HAS SOUPS 1346761 WITH SCORE 1350124.888
AT ITER 5635 NEW BEST:: SOT 3687425 SOS 3364144 HAS SOPS 3346998 HAS SOUS 1347445 HAS SOUPS 1346316 WITH SCORE 1349680.144
AT ITER 5638 NEW BEST:: SOT 3687425 SOS 3296391 HAS SOPS 3279245 HAS SOUS 1346930 HAS SOUPS 1345801 WITH SCORE 1349097.391
AT ITER 5648 NEW BEST:: SOT 3687425 SOS 3296205 HAS SOPS 3279059 HAS SOUS 1346930 HAS SOUPS 1345801 WITH SCORE 1349097.205
AT ITER 5691 NEW BEST:: SOT 3687425 SOS 3296205 HAS SOPS 3279059 HAS SOUS 1346856 HAS SOUPS 1345727 WITH SCORE 1349023.205
AT ITER 5707 NEW BEST:: SOT 3688861 SOS 3297641 HAS SOPS 3280495 HAS SOUS 1346853 HAS SOUPS 1345724 WITH SCORE 1349021.641
AT ITER 5723 NEW BEST:: SOT 3691673 SOS 3300453 HAS SOPS 3283307 HAS SOUS 1346301 HAS SOUPS 1345172 WITH SCORE 1348472.453
AT ITER 5729 NEW BEST:: SOT 3692774 SOS 3301554 HAS SOPS 3284408 HAS SOUS 1345881 HAS SOUPS 1344752 WITH SCORE 1348053.554
AT ITER 5739 NEW BEST:: SOT 3705204 SOS 3313984 HAS SOPS 3296838 HAS SOUS 1345017 HAS SOUPS 1343888 WITH SCORE 1347201.984
AT ITER 5747 NEW BEST:: SOT 3706121 SOS 3314901 HAS SOPS 3297755 HAS SOUS 1345002 HAS SOUPS 1343873 WITH SCORE 1347187.901
AT ITER 5784 NEW BEST:: SOT 3706121 SOS 3314822 HAS SOPS 3297676 HAS SOUS 1344923 HAS SOUPS 1343794 WITH SCORE 1347108.822
AT ITER 5785 NEW BEST:: SOT 3712115 SOS 3320816 HAS SOPS 3303670 HAS SOUS 1344308 HAS SOUPS 1343179 WITH SCORE 1346499.816
AT ITER 5804 NEW BEST:: SOT 3714831 SOS 3322521 HAS SOPS 3305351 HAS SOUS 1340533 HAS SOUPS 1339404 WITH SCORE 1342726.521
AT ITER 5819 NEW BEST:: SOT 3714831 SOS 3322521 HAS SOPS 3305351 HAS SOUS 1339617 HAS SOUPS 1338488 WITH SCORE 1341810.521
AT ITER 5830 NEW BEST:: SOT 3718509 SOS 3325341 HAS SOPS 3308147 HAS SOUS 1338765 HAS SOUPS 1337636 WITH SCORE 1340961.341
AT ITER 5834 NEW BEST:: SOT 3718509 SOS 3325341 HAS SOPS 3308147 HAS SOUS 1338701 HAS SOUPS 1337572 WITH SCORE 1340897.341
AT ITER 5850 NEW BEST:: SOT 3718509 SOS 3284616 HAS SOPS 3267422 HAS SOUS 1337785 HAS SOUPS 1336656 WITH SCORE 1339940.616
AT ITER 5853 NEW BEST:: SOT 3718509 SOS 3284616 HAS SOPS 3267422 HAS SOUS 1337781 HAS SOUPS 1336652 WITH SCORE 1339936.616
AT ITER 5854 NEW BEST:: SOT 3722697 SOS 3287968 HAS SOPS 3270774 HAS SOUS 1337103 HAS SOUPS 1335974 WITH SCORE 1339261.968
AT ITER 5863 NEW BEST:: SOT 3733990 SOS 3292285 HAS SOPS 3274512 HAS SOUS 1335633 HAS SOUPS 1334504 WITH SCORE 1337796.285
AT ITER 5876 NEW BEST:: SOT 3733825 SOS 3292120 HAS SOPS 3274347 HAS SOUS 1335633 HAS SOUPS 1334504 WITH SCORE 1337796.12
AT ITER 5880 NEW BEST:: SOT 3733825 SOS 3292011 HAS SOPS 3274238 HAS SOUS 1335622 HAS SOUPS 1334493 WITH SCORE 1337785.011
AT ITER 5893 NEW BEST:: SOT 3733882 SOS 3292068 HAS SOPS 3274295 HAS SOUS 1334604 HAS SOUPS 1333475 WITH SCORE 1336767.068
AT ITER 5908 NEW BEST:: SOT 3733882 SOS 3292257 HAS SOPS 3274484 HAS SOUS 1334589 HAS SOUPS 1333460 WITH SCORE 1336752.257
AT ITER 5953 NEW BEST:: SOT 3760691 SOS 3319066 HAS SOPS 3301293 HAS SOUS 1315316 HAS SOUPS 1314187 WITH SCORE 1317506.066
AT ITER 5958 NEW BEST:: SOT 3764996 SOS 3322928 HAS SOPS 3305131 HAS SOUS 1313963 HAS SOUPS 1312834 WITH SCORE 1316156.928
AT ITER 5967 NEW BEST:: SOT 3765179 SOS 3322713 HAS SOPS 3304916 HAS SOUS 1313014 HAS SOUPS 1311885 WITH SCORE 1315207.713
AT ITER 5977 NEW BEST:: SOT 3764771 SOS 3322305 HAS SOPS 3304508 HAS SOUS 1312606 HAS SOUPS 1311477 WITH SCORE 1314799.305
AT ITER 5984 NEW BEST:: SOT 3765650 SOS 3323194 HAS SOPS 3305690 HAS SOUS 1309729 HAS SOUPS 1308600 WITH SCORE 1311923.194
AT ITER 6059 NEW BEST:: SOT 3765012 SOS 3322556 HAS SOPS 3305052 HAS SOUS 1309729 HAS SOUPS 1308600 WITH SCORE 1311922.556
AT ITER 6065 NEW BEST:: SOT 3772484 SOS 3330028 HAS SOPS 3312524 HAS SOUS 1305769 HAS SOUPS 1304640 WITH SCORE 1307970.028
AT ITER 6075 NEW BEST:: SOT 3774744 SOS 3332018 HAS SOPS 3314490 HAS SOUS 1305205 HAS SOUPS 1304076 WITH SCORE 1307408.018
AT ITER 6090 NEW BEST:: SOT 3155478 SOS 3002096 HAS SOPS 2695982 HAS SOUS 687137 HAS SOUPS 685053 WITH SCORE 688055.096
AT ITER 6109 NEW BEST:: SOT 3151192 SOS 2997810 HAS SOPS 2691696 HAS SOUS 687137 HAS SOUPS 685053 WITH SCORE 688050.81
AT ITER 6134 NEW BEST:: SOT 3150319 SOS 2996937 HAS SOPS 2690823 HAS SOUS 685732 HAS SOUPS 683648 WITH SCORE 686644.937
AT ITER 6142 NEW BEST:: SOT 3142245 SOS 2988863 HAS SOPS 2682749 HAS SOUS 684998 HAS SOUPS 682914 WITH SCORE 685902.863
AT ITER 6144 NEW BEST:: SOT 3142245 SOS 2988863 HAS SOPS 2682749 HAS SOUS 684824 HAS SOUPS 682740 WITH SCORE 685728.863
AT ITER 6166 NEW BEST:: SOT 3142103 SOS 2988721 HAS SOPS 2682607 HAS SOUS 684753 HAS SOUPS 682669 WITH SCORE 685657.721
AT ITER 6180 NEW BEST:: SOT 3142103 SOS 2988721 HAS SOPS 2682377 HAS SOUS 684523 HAS SOUPS 682439 WITH SCORE 685427.721
AT ITER 6185 NEW BEST:: SOT 3135966 SOS 2982584 HAS SOPS 2676240 HAS SOUS 684200 HAS SOUPS 682116 WITH SCORE 685098.584
AT ITER 6208 NEW BEST:: SOT 3125175 SOS 2971793 HAS SOPS 2665449 HAS SOUS 679509 HAS SOUPS 677425 WITH SCORE 680396.793
AT ITER 6224 NEW BEST:: SOT 3124541 SOS 2971159 HAS SOPS 2664815 HAS SOUS 679509 HAS SOUPS 677425 WITH SCORE 680396.159
AT ITER 6248 NEW BEST:: SOT 3124031 SOS 2970649 HAS SOPS 2664305 HAS SOUS 678999 HAS SOUPS 676915 WITH SCORE 679885.649
AT ITER 6298 NEW BEST:: SOT 3123183 SOS 2969801 HAS SOPS 2663598 HAS SOUS 678863 HAS SOUPS 676779 WITH SCORE 679748.801
AT ITER 6359 NEW BEST:: SOT 3122906 SOS 2969534 HAS SOPS 2663331 HAS SOUS 678309 HAS SOUPS 676225 WITH SCORE 679194.534
AT ITER 6370 NEW BEST:: SOT 3122291 SOS 2968919 HAS SOPS 2662716 HAS SOUS 677461 HAS SOUPS 675377 WITH SCORE 678345.919
AT ITER 6391 NEW BEST:: SOT 3121629 SOS 2968257 HAS SOPS 2662054 HAS SOUS 677334 HAS SOUPS 675250 WITH SCORE 678218.257
AT ITER 6402 NEW BEST:: SOT 3122131 SOS 2968759 HAS SOPS 2662556 HAS SOUS 676770 HAS SOUPS 674686 WITH SCORE 677654.759
AT ITER 6411 NEW BEST:: SOT 3121928 SOS 2968556 HAS SOPS 2662353 HAS SOUS 676770 HAS SOUPS 674686 WITH SCORE 677654.556
AT ITER 6413 NEW BEST:: SOT 3118951 SOS 2965579 HAS SOPS 2659376 HAS SOUS 675982 HAS SOUPS 673898 WITH SCORE 676863.579
AT ITER 6450 NEW BEST:: SOT 3121203 SOS 2967093 HAS SOPS 2657848 HAS SOUS 675938 HAS SOUPS 673854 WITH SCORE 676821.093
AT ITER 6484 NEW BEST:: SOT 3122307 SOS 2968197 HAS SOPS 2658952 HAS SOUS 675791 HAS SOUPS 673707 WITH SCORE 676675.197
AT ITER 6505 NEW BEST:: SOT 3122121 SOS 2968011 HAS SOPS 2658766 HAS SOUS 675512 HAS SOUPS 673428 WITH SCORE 676396.011
AT ITER 6561 NEW BEST:: SOT 3121666 SOS 2967556 HAS SOPS 2658311 HAS SOUS 674910 HAS SOUPS 672826 WITH SCORE 675793.556
AT ITER 6602 NEW BEST:: SOT 3119406 SOS 2965296 HAS SOPS 2656155 HAS SOUS 673832 HAS SOUPS 671748 WITH SCORE 674713.296
AT ITER 6668 NEW BEST:: SOT 3117660 SOS 2963550 HAS SOPS 2654409 HAS SOUS 672735 HAS SOUPS 670651 WITH SCORE 673614.55
AT ITER 6680 NEW BEST:: SOT 3117774 SOS 2963664 HAS SOPS 2654523 HAS SOUS 672621 HAS SOUPS 670537 WITH SCORE 673500.664
AT ITER 6730 NEW BEST:: SOT 3115414 SOS 2961304 HAS SOPS 2652163 HAS SOUS 671720 HAS SOUPS 669636 WITH SCORE 672597.304
AT ITER 6740 NEW BEST:: SOT 3114228 SOS 2960118 HAS SOPS 2651066 HAS SOUS 671583 HAS SOUPS 669499 WITH SCORE 672459.118
AT ITER 6756 NEW BEST:: SOT 3112959 SOS 2958849 HAS SOPS 2649893 HAS SOUS 671395 HAS SOUPS 669311 WITH SCORE 672269.849
AT ITER 6793 NEW BEST:: SOT 3112537 SOS 2958427 HAS SOPS 2649471 HAS SOUS 671074 HAS SOUPS 668990 WITH SCORE 671948.427
AT ITER 6803 NEW BEST:: SOT 3112018 SOS 2957908 HAS SOPS 2648952 HAS SOUS 670364 HAS SOUPS 668280 WITH SCORE 671237.908
AT ITER 6813 NEW BEST:: SOT 3111319 SOS 2957209 HAS SOPS 2648253 HAS SOUS 670145 HAS SOUPS 668061 WITH SCORE 671018.209
AT ITER 6819 NEW BEST:: SOT 3110660 SOS 2956550 HAS SOPS 2647805 HAS SOUS 669697 HAS SOUPS 667613 WITH SCORE 670569.55
AT ITER 6833 NEW BEST:: SOT 3110464 SOS 2956354 HAS SOPS 2647609 HAS SOUS 669694 HAS SOUPS 667610 WITH SCORE 670566.354
AT ITER 6834 NEW BEST:: SOT 3105124 SOS 2951014 HAS SOPS 2642269 HAS SOUS 669694 HAS SOUPS 667610 WITH SCORE 670561.014
AT ITER 6868 NEW BEST:: SOT 3105124 SOS 2950480 HAS SOPS 2641735 HAS SOUS 669516 HAS SOUPS 667432 WITH SCORE 670382.48
AT ITER 6928 NEW BEST:: SOT 3105124 SOS 2950516 HAS SOPS 2641771 HAS SOUS 667336 HAS SOUPS 665252 WITH SCORE 668202.516
AT ITER 6966 NEW BEST:: SOT 3105547 SOS 2950939 HAS SOPS 2642194 HAS SOUS 666913 HAS SOUPS 664829 WITH SCORE 667779.939
AT ITER 7004 NEW BEST:: SOT 3104907 SOS 2950299 HAS SOPS 2641554 HAS SOUS 666273 HAS SOUPS 664189 WITH SCORE 667139.299
AT ITER 7052 NEW BEST:: SOT 3104896 SOS 2950288 HAS SOPS 2641543 HAS SOUS 666262 HAS SOUPS 664178 WITH SCORE 667128.288
AT ITER 7064 NEW BEST:: SOT 3118530 SOS 2957067 HAS SOPS 2610378 HAS SOUS 664161 HAS SOUPS 662077 WITH SCORE 665034.067
AT ITER 7067 NEW BEST:: SOT 3114357 SOS 2952894 HAS SOPS 2606205 HAS SOUS 662265 HAS SOUPS 660181 WITH SCORE 663133.894
AT ITER 7074 NEW BEST:: SOT 3114168 SOS 2952705 HAS SOPS 2606016 HAS SOUS 662020 HAS SOUPS 659936 WITH SCORE 662888.705
AT ITER 7079 NEW BEST:: SOT 3115212 SOS 2953749 HAS SOPS 2607060 HAS SOUS 661227 HAS SOUPS 659143 WITH SCORE 662096.749
AT ITER 7088 NEW BEST:: SOT 3112539 SOS 2951076 HAS SOPS 2604387 HAS SOUS 660336 HAS SOUPS 658252 WITH SCORE 661203.076
AT ITER 7106 NEW BEST:: SOT 3091829 SOS 2930366 HAS SOPS 2583677 HAS SOUS 659246 HAS SOUPS 657162 WITH SCORE 660092.366
AT ITER 7131 NEW BEST:: SOT 3091633 SOS 2930170 HAS SOPS 2583481 HAS SOUS 659148 HAS SOUPS 657064 WITH SCORE 659994.17
AT ITER 7145 NEW BEST:: SOT 3091464 SOS 2930001 HAS SOPS 2583312 HAS SOUS 659146 HAS SOUPS 657062 WITH SCORE 659992.001
AT ITER 7155 NEW BEST:: SOT 3091378 SOS 2929915 HAS SOPS 2583226 HAS SOUS 659060 HAS SOUPS 656976 WITH SCORE 659905.915
AT ITER 7169 NEW BEST:: SOT 3091438 SOS 2922429 HAS SOPS 2575740 HAS SOUS 658656 HAS SOUPS 656572 WITH SCORE 659494.429
AT ITER 7171 NEW BEST:: SOT 3091492 SOS 2922483 HAS SOPS 2575605 HAS SOUS 658629 HAS SOUPS 656545 WITH SCORE 659467.483
AT ITER 7177 NEW BEST:: SOT 3090292 SOS 2921283 HAS SOPS 2574405 HAS SOUS 657829 HAS SOUPS 655745 WITH SCORE 658666.283
AT ITER 7178 NEW BEST:: SOT 3090047 SOS 2921038 HAS SOPS 2573342 HAS SOUS 656521 HAS SOUPS 654437 WITH SCORE 657358.038
AT ITER 7199 NEW BEST:: SOT 3089985 SOS 2920976 HAS SOPS 2573280 HAS SOUS 656065 HAS SOUPS 653981 WITH SCORE 656901.976
AT ITER 7203 NEW BEST:: SOT 3090378 SOS 2921369 HAS SOPS 2573279 HAS SOUS 654884 HAS SOUPS 652800 WITH SCORE 655721.369
AT ITER 7205 NEW BEST:: SOT 3090843 SOS 2921834 HAS SOPS 2573744 HAS SOUS 654180 HAS SOUPS 652096 WITH SCORE 655017.834
AT ITER 7215 NEW BEST:: SOT 3088446 SOS 2919437 HAS SOPS 2571347 HAS SOUS 654071 HAS SOUPS 651987 WITH SCORE 654906.437
AT ITER 7225 NEW BEST:: SOT 3097312 SOS 2934323 HAS SOPS 2611760 HAS SOUS 651619 HAS SOUPS 649535 WITH SCORE 652469.323
AT ITER 7259 NEW BEST:: SOT 3096481 SOS 2933492 HAS SOPS 2610929 HAS SOUS 651080 HAS SOUPS 648996 WITH SCORE 651929.492
AT ITER 7270 NEW BEST:: SOT 3096481 SOS 2933482 HAS SOPS 2610919 HAS SOUS 651080 HAS SOUPS 648996 WITH SCORE 651929.482
AT ITER 7324 NEW BEST:: SOT 3096481 SOS 2933482 HAS SOPS 2610919 HAS SOUS 651008 HAS SOUPS 648924 WITH SCORE 651857.482
AT ITER 7361 NEW BEST:: SOT 3094467 SOS 2931468 HAS SOPS 2608905 HAS SOUS 650902 HAS SOUPS 648818 WITH SCORE 651749.468
AT ITER 7362 NEW BEST:: SOT 3094756 SOS 2931757 HAS SOPS 2609194 HAS SOUS 650859 HAS SOUPS 648775 WITH SCORE 651706.757
AT ITER 7367 NEW BEST:: SOT 3093881 SOS 2930882 HAS SOPS 2608319 HAS SOUS 650859 HAS SOUPS 648775 WITH SCORE 651705.882
AT ITER 7378 NEW BEST:: SOT 3093632 SOS 2930633 HAS SOPS 2607821 HAS SOUS 650610 HAS SOUPS 648526 WITH SCORE 651456.633
AT ITER 7390 NEW BEST:: SOT 3093365 SOS 2930366 HAS SOPS 2607554 HAS SOUS 650502 HAS SOUPS 648418 WITH SCORE 651348.366
AT ITER 7417 NEW BEST:: SOT 3095202 SOS 2932203 HAS SOPS 2608553 HAS SOUS 649814 HAS SOUPS 647730 WITH SCORE 650662.203
AT ITER 7474 NEW BEST:: SOT 3095262 SOS 2932263 HAS SOPS 2608593 HAS SOUS 649774 HAS SOUPS 647690 WITH SCORE 650622.263
AT ITER 7529 NEW BEST:: SOT 3095262 SOS 2932263 HAS SOPS 2608593 HAS SOUS 649678 HAS SOUPS 647594 WITH SCORE 650526.263
AT ITER 7560 NEW BEST:: SOT 3095787 SOS 2932788 HAS SOPS 2609118 HAS SOUS 648510 HAS SOUPS 646426 WITH SCORE 649358.788
AT ITER 7618 NEW BEST:: SOT 3095806 SOS 2932807 HAS SOPS 2608823 HAS SOUS 648125 HAS SOUPS 646041 WITH SCORE 648973.807
AT ITER 7619 NEW BEST:: SOT 3097245 SOS 2934246 HAS SOPS 2609878 HAS SOUS 648063 HAS SOUPS 645979 WITH SCORE 648913.246
AT ITER 7622 NEW BEST:: SOT 3098365 SOS 2934529 HAS SOPS 2608817 HAS SOUS 648049 HAS SOUPS 645965 WITH SCORE 648899.529
AT ITER 7628 NEW BEST:: SOT 3101405 SOS 2937569 HAS SOPS 2611857 HAS SOUS 645303 HAS SOUPS 643219 WITH SCORE 646156.569
AT ITER 7709 NEW BEST:: SOT 3101740 SOS 2937904 HAS SOPS 2612129 HAS SOUS 645261 HAS SOUPS 643177 WITH SCORE 646114.904
AT ITER 7753 NEW BEST:: SOT 3101390 SOS 2937554 HAS SOPS 2611779 HAS SOUS 645086 HAS SOUPS 643002 WITH SCORE 645939.554
AT ITER 7757 NEW BEST:: SOT 3101189 SOS 2937353 HAS SOPS 2611578 HAS SOUS 644945 HAS SOUPS 642861 WITH SCORE 645798.353
AT ITER 7770 NEW BEST:: SOT 3101133 SOS 2937297 HAS SOPS 2611522 HAS SOUS 644917 HAS SOUPS 642833 WITH SCORE 645770.297
AT ITER 7781 NEW BEST:: SOT 3101552 SOS 2937716 HAS SOPS 2611941 HAS SOUS 644884 HAS SOUPS 642800 WITH SCORE 645737.716
AT ITER 7783 NEW BEST:: SOT 3100877 SOS 2937041 HAS SOPS 2611266 HAS SOUS 644884 HAS SOUPS 642800 WITH SCORE 645737.041
AT ITER 7799 NEW BEST:: SOT 3102288 SOS 2938431 HAS SOPS 2612656 HAS SOUS 644687 HAS SOUPS 642603 WITH SCORE 645541.431
AT ITER 7834 NEW BEST:: SOT 3103320 SOS 2939463 HAS SOPS 2612308 HAS SOUS 644419 HAS SOUPS 642335 WITH SCORE 645274.463
AT ITER 7882 NEW BEST:: SOT 3101505 SOS 2937648 HAS SOPS 2610493 HAS SOUS 643814 HAS SOUPS 641730 WITH SCORE 644667.648
AT ITER 7916 NEW BEST:: SOT 3101420 SOS 2937563 HAS SOPS 2610408 HAS SOUS 643766 HAS SOUPS 641682 WITH SCORE 644619.563
AT ITER 7921 NEW BEST:: SOT 3091337 SOS 2927480 HAS SOPS 2600325 HAS SOUS 642640 HAS SOUPS 640556 WITH SCORE 643483.48
AT ITER 7937 NEW BEST:: SOT 3091337 SOS 2927480 HAS SOPS 2600192 HAS SOUS 642374 HAS SOUPS 640290 WITH SCORE 643217.48
AT ITER 7939 NEW BEST:: SOT 3091027 SOS 2927170 HAS SOPS 2599882 HAS SOUS 642312 HAS SOUPS 640228 WITH SCORE 643155.17
AT ITER 7949 NEW BEST:: SOT 3090771 SOS 2926914 HAS SOPS 2599626 HAS SOUS 642312 HAS SOUPS 640228 WITH SCORE 643154.914
AT ITER 7961 NEW BEST:: SOT 3091721 SOS 2927864 HAS SOPS 2600576 HAS SOUS 641778 HAS SOUPS 639694 WITH SCORE 642621.864
AT ITER 8022 NEW BEST:: SOT 3091721 SOS 2927647 HAS SOPS 2599716 HAS SOUS 640918 HAS SOUPS 638834 WITH SCORE 641761.647
AT ITER 8023 NEW BEST:: SOT 3091613 SOS 2927539 HAS SOPS 2599608 HAS SOUS 640909 HAS SOUPS 638825 WITH SCORE 641752.539
AT ITER 8062 NEW BEST:: SOT 3091401 SOS 2927327 HAS SOPS 2599396 HAS SOUS 640770 HAS SOUPS 638686 WITH SCORE 641613.327
AT ITER 8098 NEW BEST:: SOT 3091003 SOS 2926929 HAS SOPS 2598998 HAS SOUS 640284 HAS SOUPS 638200 WITH SCORE 641126.929
AT ITER 8128 NEW BEST:: SOT 3090899 SOS 2926825 HAS SOPS 2598998 HAS SOUS 640076 HAS SOUPS 637992 WITH SCORE 640918.825
AT ITER 8140 NEW BEST:: SOT 3089944 SOS 2925870 HAS SOPS 2598043 HAS SOUS 639840 HAS SOUPS 637756 WITH SCORE 640681.87
AT ITER 8246 NEW BEST:: SOT 3088174 SOS 2924100 HAS SOPS 2596273 HAS SOUS 639712 HAS SOUPS 637628 WITH SCORE 640552.1
AT ITER 8269 NEW BEST:: SOT 3087704 SOS 2923558 HAS SOPS 2595207 HAS SOUS 638956 HAS SOUPS 636872 WITH SCORE 639795.558
AT ITER 8303 NEW BEST:: SOT 3087085 SOS 2922939 HAS SOPS 2594588 HAS SOUS 638956 HAS SOUPS 636872 WITH SCORE 639794.939
AT ITER 8305 NEW BEST:: SOT 3088077 SOS 2923931 HAS SOPS 2595580 HAS SOUS 638486 HAS SOUPS 636402 WITH SCORE 639325.931
AT ITER 8322 NEW BEST:: SOT 3086787 SOS 2922641 HAS SOPS 2594290 HAS SOUS 637262 HAS SOUPS 635178 WITH SCORE 638100.641
AT ITER 8337 NEW BEST:: SOT 3086648 SOS 2922502 HAS SOPS 2594151 HAS SOUS 636984 HAS SOUPS 634900 WITH SCORE 637822.502
AT ITER 8366 NEW BEST:: SOT 3086629 SOS 2922483 HAS SOPS 2594132 HAS SOUS 636984 HAS SOUPS 634900 WITH SCORE 637822.483
AT ITER 8429 NEW BEST:: SOT 3074040 SOS 2909894 HAS SOPS 2584435 HAS SOUS 636948 HAS SOUPS 634864 WITH SCORE 637773.894
AT ITER 8487 NEW BEST:: SOT 3074040 SOS 2909894 HAS SOPS 2584435 HAS SOUS 636675 HAS SOUPS 634591 WITH SCORE 637500.894
AT ITER 8538 NEW BEST:: SOT 3073730 SOS 2909584 HAS SOPS 2584125 HAS SOUS 636675 HAS SOUPS 634591 WITH SCORE 637500.584
AT ITER 8637 NEW BEST:: SOT 3070975 SOS 2906829 HAS SOPS 2581370 HAS SOUS 636530 HAS SOUPS 634446 WITH SCORE 637352.829
AT ITER 8691 NEW BEST:: SOT 3064562 SOS 2900416 HAS SOPS 2574957 HAS SOUS 635947 HAS SOUPS 633863 WITH SCORE 636763.416
AT ITER 8699 NEW BEST:: SOT 3066266 SOS 2902120 HAS SOPS 2576661 HAS SOUS 635797 HAS SOUPS 633713 WITH SCORE 636615.12
AT ITER 8701 NEW BEST:: SOT 3066199 SOS 2902053 HAS SOPS 2576594 HAS SOUS 635071 HAS SOUPS 632987 WITH SCORE 635889.053
AT ITER 8897 NEW BEST:: SOT 3067224 SOS 2903078 HAS SOPS 2577619 HAS SOUS 634940 HAS SOUPS 632856 WITH SCORE 635759.078
AT ITER 8899 NEW BEST:: SOT 3068143 SOS 2903997 HAS SOPS 2578538 HAS SOUS 634056 HAS SOUPS 631972 WITH SCORE 634875.997
AT ITER 8902 NEW BEST:: SOT 3069097 SOS 2904599 HAS SOPS 2575337 HAS SOUS 633420 HAS SOUPS 631336 WITH SCORE 634240.599
AT ITER 8929 NEW BEST:: SOT 3069186 SOS 2904688 HAS SOPS 2575426 HAS SOUS 631578 HAS SOUPS 629494 WITH SCORE 632398.688
AT ITER 8943 NEW BEST:: SOT 3066638 SOS 2902140 HAS SOPS 2572878 HAS SOUS 630304 HAS SOUPS 628220 WITH SCORE 631122.14
AT ITER 8953 NEW BEST:: SOT 3066275 SOS 2901777 HAS SOPS 2572515 HAS SOUS 630183 HAS SOUPS 628099 WITH SCORE 631000.777
AT ITER 8960 NEW BEST:: SOT 3066456 SOS 2901958 HAS SOPS 2572696 HAS SOUS 630002 HAS SOUPS 627918 WITH SCORE 630819.958
AT ITER 8976 NEW BEST:: SOT 3062761 SOS 2898263 HAS SOPS 2569800 HAS SOUS 628755 HAS SOUPS 626671 WITH SCORE 629569.263
AT ITER 8996 NEW BEST:: SOT 3063431 SOS 2898933 HAS SOPS 2570470 HAS SOUS 628577 HAS SOUPS 626493 WITH SCORE 629391.933
AT ITER 9014 NEW BEST:: SOT 3063142 SOS 2898644 HAS SOPS 2570511 HAS SOUS 628064 HAS SOUPS 625980 WITH SCORE 628878.644
AT ITER 9016 NEW BEST:: SOT 3063129 SOS 2898631 HAS SOPS 2570498 HAS SOUS 628051 HAS SOUPS 625967 WITH SCORE 628865.631
AT ITER 9023 NEW BEST:: SOT 3064755 SOS 2900257 HAS SOPS 2571738 HAS SOUS 627511 HAS SOUPS 625427 WITH SCORE 628327.257
AT ITER 9028 NEW BEST:: SOT 3063152 SOS 2898654 HAS SOPS 2570683 HAS SOUS 626749 HAS SOUPS 624665 WITH SCORE 627563.654
AT ITER 9066 NEW BEST:: SOT 3049593 SOS 2885095 HAS SOPS 2557101 HAS SOUS 626726 HAS SOUPS 624642 WITH SCORE 627527.095
AT ITER 9082 NEW BEST:: SOT 3049694 SOS 2885196 HAS SOPS 2557202 HAS SOUS 626626 HAS SOUPS 624542 WITH SCORE 627427.196
AT ITER 9085 NEW BEST:: SOT 3048707 SOS 2884209 HAS SOPS 2556215 HAS SOUS 625459 HAS SOUPS 623375 WITH SCORE 626259.209
AT ITER 9124 NEW BEST:: SOT 3046364 SOS 2881866 HAS SOPS 2553872 HAS SOUS 624678 HAS SOUPS 622594 WITH SCORE 625475.866
AT ITER 9166 NEW BEST:: SOT 3046364 SOS 2881866 HAS SOPS 2553872 HAS SOUS 624352 HAS SOUPS 622268 WITH SCORE 625149.866
AT ITER 9259 NEW BEST:: SOT 3046364 SOS 2881866 HAS SOPS 2553872 HAS SOUS 622638 HAS SOUPS 620554 WITH SCORE 623435.866
AT ITER 9314 NEW BEST:: SOT 3046560 SOS 2882062 HAS SOPS 2554068 HAS SOUS 621432 HAS SOUPS 619348 WITH SCORE 622230.062
AT ITER 9320 NEW BEST:: SOT 3046542 SOS 2882044 HAS SOPS 2554050 HAS SOUS 621413 HAS SOUPS 619329 WITH SCORE 622211.044
AT ITER 9321 NEW BEST:: SOT 3046322 SOS 2881824 HAS SOPS 2553830 HAS SOUS 621083 HAS SOUPS 618999 WITH SCORE 621880.824
AT ITER 9332 NEW BEST:: SOT 3071723 SOS 2907386 HAS SOPS 2579392 HAS SOUS 618522 HAS SOUPS 616438 WITH SCORE 619345.386
AT ITER 9345 NEW BEST:: SOT 3071723 SOS 2907386 HAS SOPS 2579392 HAS SOUS 618521 HAS SOUPS 616437 WITH SCORE 619344.386
AT ITER 9363 NEW BEST:: SOT 3071764 SOS 2906566 HAS SOPS 2578572 HAS SOUS 618472 HAS SOUPS 616388 WITH SCORE 619294.566
AT ITER 9375 NEW BEST:: SOT 3071611 SOS 2906413 HAS SOPS 2578419 HAS SOUS 618421 HAS SOUPS 616337 WITH SCORE 619243.413
AT ITER 9432 NEW BEST:: SOT 3071952 SOS 2906754 HAS SOPS 2578760 HAS SOUS 618293 HAS SOUPS 616209 WITH SCORE 619115.754
AT ITER 9462 NEW BEST:: SOT 3073787 SOS 2908589 HAS SOPS 2580595 HAS SOUS 617739 HAS SOUPS 615655 WITH SCORE 618563.589
AT ITER 9466 NEW BEST:: SOT 3073623 SOS 2908425 HAS SOPS 2580843 HAS SOUS 617411 HAS SOUPS 615327 WITH SCORE 618235.425
AT ITER 9477 NEW BEST:: SOT 3072613 SOS 2907415 HAS SOPS 2579833 HAS SOUS 617335 HAS SOUPS 615251 WITH SCORE 618158.415
AT ITER 9513 NEW BEST:: SOT 3068304 SOS 2903106 HAS SOPS 2586957 HAS SOUS 617314 HAS SOUPS 615230 WITH SCORE 618133.106
AT ITER 9524 NEW BEST:: SOT 3066848 SOS 2901650 HAS SOPS 2585501 HAS SOUS 616950 HAS SOUPS 614866 WITH SCORE 617767.65
AT ITER 9540 NEW BEST:: SOT 3133097 SOS 2967872 HAS SOPS 2651723 HAS SOUS 616713 HAS SOUPS 614629 WITH SCORE 617596.872
AT ITER 9547 NEW BEST:: SOT 3132668 SOS 2967367 HAS SOPS 2651020 HAS SOUS 616065 HAS SOUPS 613981 WITH SCORE 616948.367
AT ITER 9582 NEW BEST:: SOT 3131621 SOS 2966320 HAS SOPS 2649973 HAS SOUS 615716 HAS SOUPS 613632 WITH SCORE 616598.32
AT ITER 9617 NEW BEST:: SOT 3129908 SOS 2964607 HAS SOPS 2649235 HAS SOUS 615671 HAS SOUPS 613587 WITH SCORE 616551.607
AT ITER 9667 NEW BEST:: SOT 3129765 SOS 2964464 HAS SOPS 2649092 HAS SOUS 615671 HAS SOUPS 613587 WITH SCORE 616551.464
AT ITER 9683 NEW BEST:: SOT 3129771 SOS 2964470 HAS SOPS 2649098 HAS SOUS 615665 HAS SOUPS 613581 WITH SCORE 616545.47
AT ITER 9729 NEW BEST:: SOT 3130096 SOS 2964795 HAS SOPS 2649423 HAS SOUS 614019 HAS SOUPS 611935 WITH SCORE 614899.795
AT ITER 9741 NEW BEST:: SOT 3129935 SOS 2964634 HAS SOPS 2649262 HAS SOUS 613697 HAS SOUPS 611613 WITH SCORE 614577.634
AT ITER 9751 NEW BEST:: SOT 3130359 SOS 2965058 HAS SOPS 2649285 HAS SOUS 612035 HAS SOUPS 609951 WITH SCORE 612916.058
AT ITER 9756 NEW BEST:: SOT 3130251 SOS 2964950 HAS SOPS 2649177 HAS SOUS 611981 HAS SOUPS 609897 WITH SCORE 612861.95
AT ITER 9816 NEW BEST:: SOT 3129750 SOS 2964449 HAS SOPS 2648676 HAS SOUS 611814 HAS SOUPS 609730 WITH SCORE 612694.449
AT ITER 9842 NEW BEST:: SOT 3131245 SOS 2965944 HAS SOPS 2649320 HAS SOUS 611175 HAS SOUPS 609091 WITH SCORE 612056.944
AT ITER 9871 NEW BEST:: SOT 3133783 SOS 2968482 HAS SOPS 2643371 HAS SOUS 610545 HAS SOUPS 608461 WITH SCORE 611429.482
AT ITER 9899 NEW BEST:: SOT 3133783 SOS 2968482 HAS SOPS 2643299 HAS SOUS 610401 HAS SOUPS 608317 WITH SCORE 611285.482
AT ITER 9923 NEW BEST:: SOT 3132610 SOS 2967309 HAS SOPS 2642126 HAS SOUS 610401 HAS SOUPS 608317 WITH SCORE 611284.309
AT ITER 9934 NEW BEST:: SOT 3132358 SOS 2967057 HAS SOPS 2641874 HAS SOUS 610333 HAS SOUPS 608249 WITH SCORE 611216.057
AT ITER 9940 NEW BEST:: SOT 3132292 SOS 2966991 HAS SOPS 2641808 HAS SOUS 610201 HAS SOUPS 608117 WITH SCORE 611083.991
AT ITER 9958 NEW BEST:: SOT 3132292 SOS 2966991 HAS SOPS 2641808 HAS SOUS 609683 HAS SOUPS 607599 WITH SCORE 610565.991
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12975260 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152736 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-d2m08"
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-d2m08, 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-167814472300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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