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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 15:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 15:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 15:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 15:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 15:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 1678237312704

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-d2m07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m07
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 52 NEW BEST:: SOT 2907038 SOS 2846717 HAS SOPS 2846693 HAS SOUS 2041590 HAS SOUPS 2041566 WITH SCORE 2044412.717
AT ITER 58 NEW BEST:: SOT 2907368 SOS 2846397 HAS SOPS 2846373 HAS SOUS 2041270 HAS SOUPS 2041246 WITH SCORE 2044092.397
AT ITER 91 NEW BEST:: SOT 2907368 SOS 2846397 HAS SOPS 2846373 HAS SOUS 2040679 HAS SOUPS 2040655 WITH SCORE 2043501.397
AT ITER 98 NEW BEST:: SOT 2907368 SOS 2846397 HAS SOPS 2846373 HAS SOUS 2040677 HAS SOUPS 2040653 WITH SCORE 2043499.397
AT ITER 101 NEW BEST:: SOT 2909448 SOS 2848477 HAS SOPS 2848453 HAS SOUS 2038960 HAS SOUPS 2038936 WITH SCORE 2041784.477
AT ITER 109 NEW BEST:: SOT 2909448 SOS 2848477 HAS SOPS 2848453 HAS SOUS 2038643 HAS SOUPS 2038619 WITH SCORE 2041467.477
AT ITER 159 NEW BEST:: SOT 2909448 SOS 2848477 HAS SOPS 2848453 HAS SOUS 2038596 HAS SOUPS 2038572 WITH SCORE 2041420.477
AT ITER 196 NEW BEST:: SOT 2909838 SOS 2848759 HAS SOPS 2848735 HAS SOUS 2038516 HAS SOUPS 2038492 WITH SCORE 2041340.759
AT ITER 199 NEW BEST:: SOT 2910318 SOS 2848347 HAS SOPS 2848323 HAS SOUS 2037659 HAS SOUPS 2037635 WITH SCORE 2040483.347
AT ITER 251 NEW BEST:: SOT 2911521 SOS 2849550 HAS SOPS 2849526 HAS SOUS 2037620 HAS SOUPS 2037596 WITH SCORE 2040445.55
AT ITER 259 NEW BEST:: SOT 2911521 SOS 2849550 HAS SOPS 2849526 HAS SOUS 2037313 HAS SOUPS 2037289 WITH SCORE 2040138.55
AT ITER 286 NEW BEST:: SOT 2911521 SOS 2849550 HAS SOPS 2849526 HAS SOUS 2037269 HAS SOUPS 2037245 WITH SCORE 2040094.55
AT ITER 308 NEW BEST:: SOT 2911836 SOS 2849865 HAS SOPS 2849841 HAS SOUS 2036438 HAS SOUPS 2036414 WITH SCORE 2039263.865
AT ITER 346 NEW BEST:: SOT 2911836 SOS 2849865 HAS SOPS 2849841 HAS SOUS 2035207 HAS SOUPS 2035183 WITH SCORE 2038032.865
AT ITER 352 NEW BEST:: SOT 2912604 SOS 2833979 HAS SOPS 2833939 HAS SOUS 2034587 HAS SOUPS 2034548 WITH SCORE 2037381.979
AT ITER 380 NEW BEST:: SOT 2912604 SOS 2833979 HAS SOPS 2833939 HAS SOUS 2033815 HAS SOUPS 2033776 WITH SCORE 2036609.979
AT ITER 427 NEW BEST:: SOT 2912604 SOS 2833979 HAS SOPS 2833939 HAS SOUS 2032955 HAS SOUPS 2032916 WITH SCORE 2035749.979
AT ITER 472 NEW BEST:: SOT 2916603 SOS 2836966 HAS SOPS 2836910 HAS SOUS 2030589 HAS SOUPS 2030550 WITH SCORE 2033386.966
AT ITER 476 NEW BEST:: SOT 2916769 SOS 2837132 HAS SOPS 2837076 HAS SOUS 2030330 HAS SOUPS 2030291 WITH SCORE 2033128.132
AT ITER 496 NEW BEST:: SOT 2918590 SOS 2838953 HAS SOPS 2838897 HAS SOUS 2030210 HAS SOUPS 2030171 WITH SCORE 2033009.953
AT ITER 509 NEW BEST:: SOT 2918590 SOS 2838953 HAS SOPS 2838897 HAS SOUS 2030151 HAS SOUPS 2030112 WITH SCORE 2032950.953
AT ITER 544 NEW BEST:: SOT 2918590 SOS 2837904 HAS SOPS 2837848 HAS SOUS 2026785 HAS SOUPS 2026746 WITH SCORE 2029583.904
AT ITER 572 NEW BEST:: SOT 2919247 SOS 2838561 HAS SOPS 2838505 HAS SOUS 2024922 HAS SOUPS 2024883 WITH SCORE 2027721.561
AT ITER 586 NEW BEST:: SOT 2920582 SOS 2839896 HAS SOPS 2839840 HAS SOUS 2023907 HAS SOUPS 2023868 WITH SCORE 2026707.896
AT ITER 596 NEW BEST:: SOT 2920582 SOS 2820226 HAS SOPS 2820170 HAS SOUS 2023821 HAS SOUPS 2023782 WITH SCORE 2026602.226
AT ITER 692 NEW BEST:: SOT 2921050 SOS 2818122 HAS SOPS 2818066 HAS SOUS 2022860 HAS SOUPS 2022821 WITH SCORE 2025639.122
AT ITER 707 NEW BEST:: SOT 2921295 SOS 2817163 HAS SOPS 2817091 HAS SOUS 2020869 HAS SOUPS 2020830 WITH SCORE 2023647.163
AT ITER 732 NEW BEST:: SOT 2921445 SOS 2817313 HAS SOPS 2817241 HAS SOUS 2020092 HAS SOUPS 2020053 WITH SCORE 2022870.313
AT ITER 757 NEW BEST:: SOT 2921445 SOS 2817313 HAS SOPS 2817241 HAS SOUS 2019948 HAS SOUPS 2019909 WITH SCORE 2022726.313
AT ITER 794 NEW BEST:: SOT 2921445 SOS 2817313 HAS SOPS 2817241 HAS SOUS 2019470 HAS SOUPS 2019431 WITH SCORE 2022248.313
AT ITER 847 NEW BEST:: SOT 2921889 SOS 2817757 HAS SOPS 2817685 HAS SOUS 2018351 HAS SOUPS 2018312 WITH SCORE 2021129.757
AT ITER 878 NEW BEST:: SOT 2923144 SOS 2819012 HAS SOPS 2818940 HAS SOUS 2014796 HAS SOUPS 2014757 WITH SCORE 2017576.012
AT ITER 899 NEW BEST:: SOT 2923984 SOS 2819852 HAS SOPS 2819780 HAS SOUS 2014512 HAS SOUPS 2014473 WITH SCORE 2017292.852
AT ITER 942 NEW BEST:: SOT 2926531 SOS 2822399 HAS SOPS 2822327 HAS SOUS 2013114 HAS SOUPS 2013075 WITH SCORE 2015897.399
AT ITER 1053 NEW BEST:: SOT 2926531 SOS 2822363 HAS SOPS 2822291 HAS SOUS 2013114 HAS SOUPS 2013075 WITH SCORE 2015897.363
AT ITER 1066 NEW BEST:: SOT 2928179 SOS 2824011 HAS SOPS 2823939 HAS SOUS 2011431 HAS SOUPS 2011392 WITH SCORE 2014216.011
AT ITER 1109 NEW BEST:: SOT 2931658 SOS 2826674 HAS SOPS 2826586 HAS SOUS 2011227 HAS SOUPS 2011188 WITH SCORE 2014014.674
AT ITER 1111 NEW BEST:: SOT 2931836 SOS 2826852 HAS SOPS 2826764 HAS SOUS 2011195 HAS SOUPS 2011156 WITH SCORE 2013982.852
AT ITER 1124 NEW BEST:: SOT 2934364 SOS 2829380 HAS SOPS 2829292 HAS SOUS 2009538 HAS SOUPS 2009499 WITH SCORE 2012328.38
AT ITER 1126 NEW BEST:: SOT 2935363 SOS 2830379 HAS SOPS 2830291 HAS SOUS 2009060 HAS SOUPS 2009021 WITH SCORE 2011851.379
AT ITER 1128 NEW BEST:: SOT 2935363 SOS 2830379 HAS SOPS 2830291 HAS SOUS 2009019 HAS SOUPS 2008980 WITH SCORE 2011810.379
AT ITER 1132 NEW BEST:: SOT 2936974 SOS 2831990 HAS SOPS 2831902 HAS SOUS 2007910 HAS SOUPS 2007871 WITH SCORE 2010702.99
AT ITER 1169 NEW BEST:: SOT 2937117 SOS 2831319 HAS SOPS 2831215 HAS SOUS 2005874 HAS SOUPS 2005835 WITH SCORE 2008666.319
AT ITER 1186 NEW BEST:: SOT 2937117 SOS 2831319 HAS SOPS 2831215 HAS SOUS 2005795 HAS SOUPS 2005756 WITH SCORE 2008587.319
AT ITER 1206 NEW BEST:: SOT 2937117 SOS 2831883 HAS SOPS 2831779 HAS SOUS 2005412 HAS SOUPS 2005373 WITH SCORE 2008204.883
AT ITER 1235 NEW BEST:: SOT 2937323 SOS 2830885 HAS SOPS 2830765 HAS SOUS 2003410 HAS SOUPS 2003371 WITH SCORE 2006201.885
AT ITER 1250 NEW BEST:: SOT 2938825 SOS 2831570 HAS SOPS 2831434 HAS SOUS 2001822 HAS SOUPS 2001783 WITH SCORE 2004614.57
AT ITER 1258 NEW BEST:: SOT 2938941 SOS 2831686 HAS SOPS 2831550 HAS SOUS 2001712 HAS SOUPS 2001673 WITH SCORE 2004504.686
AT ITER 1275 NEW BEST:: SOT 2938941 SOS 2831686 HAS SOPS 2831550 HAS SOUS 2001507 HAS SOUPS 2001468 WITH SCORE 2004299.686
AT ITER 1281 NEW BEST:: SOT 2942013 SOS 2834413 HAS SOPS 2834277 HAS SOUS 2001252 HAS SOUPS 2001213 WITH SCORE 2004047.413
AT ITER 1298 NEW BEST:: SOT 2942013 SOS 2834302 HAS SOPS 2834166 HAS SOUS 2001252 HAS SOUPS 2001213 WITH SCORE 2004047.302
AT ITER 1327 NEW BEST:: SOT 2942359 SOS 2834648 HAS SOPS 2834512 HAS SOUS 2001212 HAS SOUPS 2001173 WITH SCORE 2004007.648
AT ITER 1339 NEW BEST:: SOT 2943994 SOS 2836283 HAS SOPS 2836147 HAS SOUS 2000125 HAS SOUPS 2000086 WITH SCORE 2002922.283
AT ITER 1351 NEW BEST:: SOT 2947795 SOS 2840084 HAS SOPS 2839948 HAS SOUS 1999096 HAS SOUPS 1999057 WITH SCORE 2001897.084
AT ITER 1408 NEW BEST:: SOT 2948905 SOS 2840852 HAS SOPS 2840716 HAS SOUS 1997402 HAS SOUPS 1997363 WITH SCORE 2000203.852
AT ITER 1414 NEW BEST:: SOT 2948905 SOS 2840852 HAS SOPS 2840716 HAS SOUS 1997089 HAS SOUPS 1997050 WITH SCORE 1999890.852
AT ITER 1428 NEW BEST:: SOT 2949319 SOS 2841266 HAS SOPS 2841130 HAS SOUS 1997069 HAS SOUPS 1997030 WITH SCORE 1999871.266
AT ITER 1446 NEW BEST:: SOT 2949319 SOS 2841266 HAS SOPS 2841130 HAS SOUS 1997028 HAS SOUPS 1996989 WITH SCORE 1999830.266
AT ITER 1481 NEW BEST:: SOT 2949399 SOS 2841346 HAS SOPS 2841210 HAS SOUS 1996911 HAS SOUPS 1996872 WITH SCORE 1999713.346
AT ITER 1498 NEW BEST:: SOT 2951474 SOS 2843421 HAS SOPS 2843285 HAS SOUS 1992263 HAS SOUPS 1992224 WITH SCORE 1995067.421
AT ITER 1546 NEW BEST:: SOT 2951781 SOS 2843480 HAS SOPS 2843227 HAS SOUS 1992306 HAS SOUPS 1992166 WITH SCORE 1995009.48
AT ITER 1553 NEW BEST:: SOT 2958445 SOS 2849130 HAS SOPS 2848861 HAS SOUS 1990326 HAS SOUPS 1990186 WITH SCORE 1993035.13
AT ITER 1565 NEW BEST:: SOT 2962509 SOS 2852164 HAS SOPS 2851879 HAS SOUS 1986945 HAS SOUPS 1986805 WITH SCORE 1989657.164
AT ITER 1609 NEW BEST:: SOT 2961405 SOS 2851060 HAS SOPS 2850775 HAS SOUS 1986015 HAS SOUPS 1985875 WITH SCORE 1988726.06
AT ITER 1624 NEW BEST:: SOT 2964663 SOS 2854318 HAS SOPS 2854033 HAS SOUS 1984546 HAS SOUPS 1984406 WITH SCORE 1987260.318
AT ITER 1630 NEW BEST:: SOT 2964055 SOS 2855787 HAS SOPS 2855646 HAS SOUS 1983987 HAS SOUPS 1983847 WITH SCORE 1986702.787
AT ITER 1632 NEW BEST:: SOT 2964055 SOS 2856065 HAS SOPS 2855924 HAS SOUS 1983811 HAS SOUPS 1983671 WITH SCORE 1986527.065
AT ITER 1639 NEW BEST:: SOT 2964387 SOS 2856397 HAS SOPS 2856256 HAS SOUS 1983267 HAS SOUPS 1983127 WITH SCORE 1985983.397
AT ITER 1682 NEW BEST:: SOT 2964387 SOS 2839061 HAS SOPS 2838920 HAS SOUS 1983266 HAS SOUPS 1983126 WITH SCORE 1985965.061
AT ITER 1697 NEW BEST:: SOT 2968332 SOS 2842657 HAS SOPS 2842516 HAS SOUS 1982980 HAS SOUPS 1982840 WITH SCORE 1985682.657
AT ITER 1709 NEW BEST:: SOT 2968332 SOS 2842055 HAS SOPS 2841914 HAS SOUS 1982184 HAS SOUPS 1982044 WITH SCORE 1984886.055
AT ITER 1739 NEW BEST:: SOT 2974992 SOS 2848715 HAS SOPS 2848574 HAS SOUS 1979957 HAS SOUPS 1979817 WITH SCORE 1982665.715
AT ITER 1819 NEW BEST:: SOT 2974992 SOS 2848759 HAS SOPS 2848618 HAS SOUS 1979866 HAS SOUPS 1979726 WITH SCORE 1982574.759
AT ITER 1833 NEW BEST:: SOT 2974992 SOS 2848759 HAS SOPS 2848618 HAS SOUS 1979509 HAS SOUPS 1979369 WITH SCORE 1982217.759
AT ITER 1842 NEW BEST:: SOT 2978478 SOS 2851637 HAS SOPS 2851496 HAS SOUS 1978589 HAS SOUPS 1978449 WITH SCORE 1981300.637
AT ITER 1848 NEW BEST:: SOT 2977509 SOS 2850668 HAS SOPS 2850527 HAS SOUS 1978589 HAS SOUPS 1978449 WITH SCORE 1981299.668
AT ITER 1908 NEW BEST:: SOT 2977509 SOS 2850668 HAS SOPS 2850527 HAS SOUS 1978586 HAS SOUPS 1978446 WITH SCORE 1981296.668
AT ITER 1912 NEW BEST:: SOT 2977509 SOS 2850668 HAS SOPS 2850527 HAS SOUS 1978194 HAS SOUPS 1978054 WITH SCORE 1980904.668
AT ITER 1916 NEW BEST:: SOT 2978541 SOS 2850109 HAS SOPS 2849968 HAS SOUS 1978180 HAS SOUPS 1978040 WITH SCORE 1980890.109
AT ITER 1922 NEW BEST:: SOT 2980265 SOS 2851421 HAS SOPS 2851280 HAS SOUS 1976460 HAS SOUPS 1976320 WITH SCORE 1979171.421
AT ITER 1945 NEW BEST:: SOT 2980739 SOS 2851895 HAS SOPS 2851754 HAS SOUS 1975922 HAS SOUPS 1975782 WITH SCORE 1978633.895
AT ITER 1947 NEW BEST:: SOT 2982259 SOS 2853415 HAS SOPS 2853274 HAS SOUS 1971871 HAS SOUPS 1971731 WITH SCORE 1974584.415
AT ITER 1963 NEW BEST:: SOT 2983099 SOS 2853483 HAS SOPS 2853342 HAS SOUS 1961813 HAS SOUPS 1961673 WITH SCORE 1964526.483
AT ITER 1980 NEW BEST:: SOT 2983099 SOS 2853052 HAS SOPS 2852911 HAS SOUS 1961597 HAS SOUPS 1961457 WITH SCORE 1964310.052
AT ITER 1981 NEW BEST:: SOT 2984641 SOS 2854594 HAS SOPS 2854453 HAS SOUS 1961115 HAS SOUPS 1960975 WITH SCORE 1963829.594
AT ITER 1986 NEW BEST:: SOT 2984803 SOS 2854756 HAS SOPS 2854615 HAS SOUS 1960619 HAS SOUPS 1960479 WITH SCORE 1963333.756
AT ITER 1987 NEW BEST:: SOT 2985856 SOS 2855212 HAS SOPS 2855071 HAS SOUS 1958909 HAS SOUPS 1958769 WITH SCORE 1961624.212
AT ITER 2048 NEW BEST:: SOT 2985679 SOS 2855035 HAS SOPS 2854894 HAS SOUS 1958850 HAS SOUPS 1958710 WITH SCORE 1961565.035
AT ITER 2079 NEW BEST:: SOT 2985679 SOS 2855035 HAS SOPS 2854894 HAS SOUS 1958010 HAS SOUPS 1957870 WITH SCORE 1960725.035
AT ITER 2083 NEW BEST:: SOT 2986043 SOS 2855399 HAS SOPS 2855258 HAS SOUS 1957793 HAS SOUPS 1957653 WITH SCORE 1960508.399
AT ITER 2093 NEW BEST:: SOT 2986043 SOS 2854958 HAS SOPS 2854817 HAS SOUS 1956029 HAS SOUPS 1955889 WITH SCORE 1958743.958
AT ITER 2105 NEW BEST:: SOT 2987165 SOS 2856080 HAS SOPS 2855939 HAS SOUS 1944945 HAS SOUPS 1944805 WITH SCORE 1947661.08
AT ITER 2122 NEW BEST:: SOT 2987913 SOS 2856828 HAS SOPS 2856687 HAS SOUS 1944039 HAS SOUPS 1943899 WITH SCORE 1946755.828
AT ITER 2128 NEW BEST:: SOT 2987913 SOS 2856792 HAS SOPS 2856651 HAS SOUS 1944003 HAS SOUPS 1943863 WITH SCORE 1946719.792
AT ITER 2149 NEW BEST:: SOT 2987967 SOS 2856846 HAS SOPS 2856705 HAS SOUS 1943876 HAS SOUPS 1943736 WITH SCORE 1946592.846
AT ITER 2156 NEW BEST:: SOT 2990167 SOS 2858635 HAS SOPS 2858494 HAS SOUS 1942003 HAS SOUPS 1941863 WITH SCORE 1944721.635
AT ITER 2187 NEW BEST:: SOT 2990167 SOS 2858635 HAS SOPS 2858494 HAS SOUS 1942002 HAS SOUPS 1941862 WITH SCORE 1944720.635
AT ITER 2189 NEW BEST:: SOT 2990167 SOS 2858635 HAS SOPS 2858494 HAS SOUS 1941708 HAS SOUPS 1941568 WITH SCORE 1944426.635
AT ITER 2202 NEW BEST:: SOT 2991183 SOS 2859247 HAS SOPS 2859106 HAS SOUS 1939241 HAS SOUPS 1939101 WITH SCORE 1941960.247
AT ITER 2227 NEW BEST:: SOT 2991278 SOS 2859342 HAS SOPS 2859201 HAS SOUS 1939215 HAS SOUPS 1939075 WITH SCORE 1941934.342
AT ITER 2252 NEW BEST:: SOT 2996333 SOS 2863580 HAS SOPS 2863439 HAS SOUS 1935632 HAS SOUPS 1935492 WITH SCORE 1938355.58
AT ITER 2263 NEW BEST:: SOT 2996333 SOS 2865075 HAS SOPS 2864935 HAS SOUS 1934577 HAS SOUPS 1934437 WITH SCORE 1937302.075
AT ITER 2275 NEW BEST:: SOT 2996910 SOS 2865652 HAS SOPS 2865512 HAS SOUS 1934575 HAS SOUPS 1934435 WITH SCORE 1937300.652
AT ITER 2305 NEW BEST:: SOT 3000813 SOS 2869280 HAS SOPS 2869140 HAS SOUS 1933860 HAS SOUPS 1933720 WITH SCORE 1936589.28
AT ITER 2324 NEW BEST:: SOT 3000813 SOS 2869280 HAS SOPS 2869140 HAS SOUS 1933125 HAS SOUPS 1932985 WITH SCORE 1935854.28
AT ITER 2334 NEW BEST:: SOT 3005425 SOS 2873129 HAS SOPS 2872989 HAS SOUS 1932314 HAS SOUPS 1932174 WITH SCORE 1935047.129
AT ITER 2354 NEW BEST:: SOT 3005425 SOS 2873129 HAS SOPS 2872989 HAS SOUS 1932116 HAS SOUPS 1931976 WITH SCORE 1934849.129
AT ITER 2362 NEW BEST:: SOT 3005983 SOS 2873687 HAS SOPS 2873547 HAS SOUS 1930779 HAS SOUPS 1930639 WITH SCORE 1933512.687
AT ITER 2380 NEW BEST:: SOT 3005983 SOS 2873687 HAS SOPS 2873547 HAS SOUS 1930523 HAS SOUPS 1930383 WITH SCORE 1933256.687
AT ITER 2394 NEW BEST:: SOT 3010218 SOS 2877880 HAS SOPS 2877740 HAS SOUS 1926186 HAS SOUPS 1926046 WITH SCORE 1928923.88
AT ITER 2400 NEW BEST:: SOT 3018438 SOS 2885298 HAS SOPS 2885158 HAS SOUS 1924357 HAS SOUPS 1924217 WITH SCORE 1927102.298
AT ITER 2412 NEW BEST:: SOT 3018438 SOS 2885298 HAS SOPS 2885158 HAS SOUS 1923758 HAS SOUPS 1923618 WITH SCORE 1926503.298
AT ITER 2420 NEW BEST:: SOT 3018438 SOS 2885232 HAS SOPS 2885092 HAS SOUS 1923631 HAS SOUPS 1923491 WITH SCORE 1926376.232
AT ITER 2423 NEW BEST:: SOT 3018438 SOS 2875502 HAS SOPS 2875362 HAS SOUS 1919530 HAS SOUPS 1919390 WITH SCORE 1922265.502
AT ITER 2428 NEW BEST:: SOT 3018438 SOS 2875435 HAS SOPS 2875295 HAS SOUS 1919463 HAS SOUPS 1919323 WITH SCORE 1922198.435
AT ITER 2440 NEW BEST:: SOT 3021297 SOS 2877685 HAS SOPS 2877545 HAS SOUS 1918332 HAS SOUPS 1918192 WITH SCORE 1921069.685
AT ITER 2450 NEW BEST:: SOT 3029976 SOS 2886364 HAS SOPS 2886224 HAS SOUS 1914845 HAS SOUPS 1914705 WITH SCORE 1917591.364
AT ITER 2482 NEW BEST:: SOT 3030018 SOS 2886406 HAS SOPS 2886266 HAS SOUS 1914651 HAS SOUPS 1914511 WITH SCORE 1917397.406
AT ITER 2490 NEW BEST:: SOT 3030508 SOS 2886896 HAS SOPS 2886756 HAS SOUS 1914099 HAS SOUPS 1913959 WITH SCORE 1916845.896
AT ITER 2495 NEW BEST:: SOT 3030508 SOS 2886896 HAS SOPS 2886756 HAS SOUS 1914098 HAS SOUPS 1913958 WITH SCORE 1916844.896
AT ITER 2515 NEW BEST:: SOT 3030939 SOS 2887327 HAS SOPS 2887187 HAS SOUS 1911688 HAS SOUPS 1911548 WITH SCORE 1914435.327
AT ITER 2558 NEW BEST:: SOT 3030939 SOS 2887160 HAS SOPS 2887020 HAS SOUS 1911354 HAS SOUPS 1911214 WITH SCORE 1914101.16
AT ITER 2564 NEW BEST:: SOT 3030939 SOS 2887160 HAS SOPS 2887020 HAS SOUS 1911349 HAS SOUPS 1911209 WITH SCORE 1914096.16
AT ITER 2566 NEW BEST:: SOT 3030939 SOS 2887160 HAS SOPS 2887020 HAS SOUS 1911116 HAS SOUPS 1910976 WITH SCORE 1913863.16
AT ITER 2602 NEW BEST:: SOT 3031482 SOS 2887703 HAS SOPS 2887563 HAS SOUS 1910769 HAS SOUPS 1910629 WITH SCORE 1913516.703
AT ITER 2611 NEW BEST:: SOT 3040495 SOS 2866928 HAS SOPS 2863751 HAS SOUS 1909402 HAS SOUPS 1909138 WITH SCORE 1912004.928
AT ITER 2625 NEW BEST:: SOT 3043155 SOS 2868101 HAS SOPS 2864683 HAS SOUS 1908349 HAS SOUPS 1908085 WITH SCORE 1910953.101
AT ITER 2633 NEW BEST:: SOT 3043155 SOS 2867762 HAS SOPS 2864344 HAS SOUS 1908349 HAS SOUPS 1908085 WITH SCORE 1910952.762
AT ITER 2657 NEW BEST:: SOT 3043927 SOS 2868534 HAS SOPS 2865116 HAS SOUS 1908340 HAS SOUPS 1908076 WITH SCORE 1910944.534
AT ITER 2658 NEW BEST:: SOT 3043927 SOS 2868534 HAS SOPS 2865116 HAS SOUS 1907898 HAS SOUPS 1907634 WITH SCORE 1910502.534
AT ITER 2660 NEW BEST:: SOT 3043927 SOS 2868534 HAS SOPS 2865116 HAS SOUS 1907691 HAS SOUPS 1907427 WITH SCORE 1910295.534
AT ITER 2665 NEW BEST:: SOT 3046809 SOS 2870314 HAS SOPS 2866655 HAS SOUS 1906693 HAS SOUPS 1906429 WITH SCORE 1909299.314
AT ITER 2667 NEW BEST:: SOT 3046859 SOS 2870106 HAS SOPS 2866447 HAS SOUS 1906485 HAS SOUPS 1906221 WITH SCORE 1909091.106
AT ITER 2687 NEW BEST:: SOT 3052590 SOS 2875837 HAS SOPS 2872178 HAS SOUS 1895920 HAS SOUPS 1895656 WITH SCORE 1898531.837
AT ITER 2698 NEW BEST:: SOT 3052590 SOS 2875837 HAS SOPS 2872178 HAS SOUS 1895855 HAS SOUPS 1895591 WITH SCORE 1898466.837
AT ITER 2703 NEW BEST:: SOT 3052931 SOS 2876178 HAS SOPS 2872519 HAS SOUS 1895807 HAS SOUPS 1895543 WITH SCORE 1898419.178
AT ITER 2735 NEW BEST:: SOT 3059015 SOS 2880669 HAS SOPS 2877010 HAS SOUS 1885124 HAS SOUPS 1884860 WITH SCORE 1887740.669
AT ITER 2740 NEW BEST:: SOT 3060134 SOS 2880628 HAS SOPS 2876728 HAS SOUS 1881675 HAS SOUPS 1881411 WITH SCORE 1884291.628
AT ITER 2776 NEW BEST:: SOT 3064383 SOS 2884299 HAS SOPS 2880158 HAS SOUS 1880280 HAS SOUPS 1880016 WITH SCORE 1882900.299
AT ITER 2801 NEW BEST:: SOT 3061523 SOS 2881439 HAS SOPS 2877298 HAS SOUS 1879708 HAS SOUPS 1879444 WITH SCORE 1882325.439
AT ITER 2806 NEW BEST:: SOT 3061817 SOS 2881462 HAS SOPS 2877174 HAS SOUS 1879166 HAS SOUPS 1878902 WITH SCORE 1881783.462
AT ITER 2811 NEW BEST:: SOT 3061817 SOS 2881462 HAS SOPS 2877174 HAS SOUS 1879158 HAS SOUPS 1878894 WITH SCORE 1881775.462
AT ITER 2834 NEW BEST:: SOT 3062227 SOS 2881872 HAS SOPS 2877584 HAS SOUS 1874655 HAS SOUPS 1874391 WITH SCORE 1877272.872
AT ITER 2844 NEW BEST:: SOT 3062251 SOS 2881896 HAS SOPS 2877608 HAS SOUS 1874651 HAS SOUPS 1874387 WITH SCORE 1877268.896
AT ITER 2864 NEW BEST:: SOT 3066475 SOS 2886120 HAS SOPS 2881832 HAS SOUS 1874382 HAS SOUPS 1874118 WITH SCORE 1877004.12
AT ITER 2877 NEW BEST:: SOT 3066475 SOS 2885974 HAS SOPS 2881686 HAS SOUS 1874382 HAS SOUPS 1874118 WITH SCORE 1877003.974
AT ITER 2885 NEW BEST:: SOT 3066808 SOS 2884853 HAS SOPS 2880565 HAS SOUS 1872530 HAS SOUPS 1872266 WITH SCORE 1875150.853
AT ITER 2901 NEW BEST:: SOT 3067513 SOS 2884667 HAS SOPS 2880379 HAS SOUS 1871851 HAS SOUPS 1871587 WITH SCORE 1874471.667
AT ITER 2944 NEW BEST:: SOT 3067513 SOS 2884667 HAS SOPS 2880379 HAS SOUS 1871744 HAS SOUPS 1871480 WITH SCORE 1874364.667
AT ITER 2957 NEW BEST:: SOT 3069484 SOS 2885248 HAS SOPS 2880719 HAS SOUS 1870041 HAS SOUPS 1869777 WITH SCORE 1872662.248
AT ITER 2969 NEW BEST:: SOT 3069560 SOS 2885324 HAS SOPS 2880795 HAS SOUS 1869865 HAS SOUPS 1869601 WITH SCORE 1872486.324
AT ITER 3005 NEW BEST:: SOT 3069634 SOS 2885398 HAS SOPS 2880869 HAS SOUS 1869835 HAS SOUPS 1869571 WITH SCORE 1872456.398
AT ITER 3016 NEW BEST:: SOT 3069754 SOS 2885518 HAS SOPS 2880989 HAS SOUS 1869752 HAS SOUPS 1869488 WITH SCORE 1872373.518
AT ITER 3034 NEW BEST:: SOT 3074084 SOS 2889848 HAS SOPS 2885319 HAS SOUS 1866300 HAS SOUPS 1866036 WITH SCORE 1868925.848
AT ITER 3070 NEW BEST:: SOT 3076094 SOS 2891234 HAS SOPS 2886705 HAS SOUS 1864630 HAS SOUPS 1864366 WITH SCORE 1867257.234
AT ITER 3076 NEW BEST:: SOT 3076094 SOS 2890772 HAS SOPS 2886243 HAS SOUS 1864399 HAS SOUPS 1864135 WITH SCORE 1867025.772
AT ITER 3097 NEW BEST:: SOT 3076094 SOS 2890772 HAS SOPS 2886243 HAS SOUS 1864398 HAS SOUPS 1864134 WITH SCORE 1867024.772
AT ITER 3098 NEW BEST:: SOT 3076094 SOS 2890772 HAS SOPS 2886243 HAS SOUS 1863231 HAS SOUPS 1862967 WITH SCORE 1865857.772
AT ITER 3131 NEW BEST:: SOT 3076094 SOS 2888366 HAS SOPS 2883837 HAS SOUS 1859621 HAS SOUPS 1859357 WITH SCORE 1862245.366
AT ITER 3179 NEW BEST:: SOT 3077702 SOS 2889974 HAS SOPS 2885445 HAS SOUS 1859077 HAS SOUPS 1858813 WITH SCORE 1861702.974
AT ITER 3182 NEW BEST:: SOT 3077702 SOS 2889693 HAS SOPS 2885164 HAS SOUS 1858416 HAS SOUPS 1858152 WITH SCORE 1861041.693
AT ITER 3224 NEW BEST:: SOT 3077702 SOS 2889693 HAS SOPS 2885164 HAS SOUS 1858069 HAS SOUPS 1857805 WITH SCORE 1860694.693
AT ITER 3226 NEW BEST:: SOT 3077928 SOS 2889919 HAS SOPS 2885390 HAS SOUS 1857863 HAS SOUPS 1857599 WITH SCORE 1860488.919
AT ITER 3251 NEW BEST:: SOT 3082728 SOS 2894118 HAS SOPS 2889589 HAS SOUS 1857394 HAS SOUPS 1857130 WITH SCORE 1860024.118
AT ITER 3260 NEW BEST:: SOT 3082728 SOS 2892692 HAS SOPS 2888163 HAS SOUS 1856267 HAS SOUPS 1856003 WITH SCORE 1858895.692
AT ITER 3275 NEW BEST:: SOT 3082728 SOS 2892692 HAS SOPS 2888163 HAS SOUS 1856230 HAS SOUPS 1855966 WITH SCORE 1858858.692
AT ITER 3277 NEW BEST:: SOT 3083148 SOS 2893112 HAS SOPS 2888583 HAS SOUS 1855525 HAS SOUPS 1855261 WITH SCORE 1858154.112
AT ITER 3303 NEW BEST:: SOT 3085398 SOS 2894751 HAS SOPS 2890222 HAS SOUS 1854187 HAS SOUPS 1853923 WITH SCORE 1856817.751
AT ITER 3319 NEW BEST:: SOT 3087186 SOS 2896539 HAS SOPS 2892010 HAS SOUS 1852753 HAS SOUPS 1852489 WITH SCORE 1855385.539
AT ITER 3340 NEW BEST:: SOT 3105127 SOS 2914480 HAS SOPS 2909951 HAS SOUS 1851756 HAS SOUPS 1851492 WITH SCORE 1854406.48
AT ITER 3377 NEW BEST:: SOT 3105127 SOS 2914480 HAS SOPS 2909951 HAS SOUS 1851334 HAS SOUPS 1851070 WITH SCORE 1853984.48
AT ITER 3389 NEW BEST:: SOT 3105127 SOS 2914480 HAS SOPS 2909951 HAS SOUS 1851215 HAS SOUPS 1850951 WITH SCORE 1853865.48
AT ITER 3417 NEW BEST:: SOT 3108013 SOS 2916756 HAS SOPS 2912227 HAS SOUS 1850091 HAS SOUPS 1849827 WITH SCORE 1852743.756
AT ITER 3434 NEW BEST:: SOT 3111355 SOS 2919486 HAS SOPS 2914957 HAS SOUS 1849115 HAS SOUPS 1848851 WITH SCORE 1851770.486
AT ITER 3470 NEW BEST:: SOT 3111355 SOS 2919486 HAS SOPS 2914957 HAS SOUS 1848938 HAS SOUPS 1848674 WITH SCORE 1851593.486
AT ITER 3497 NEW BEST:: SOT 3114870 SOS 2921455 HAS SOPS 2916926 HAS SOUS 1845204 HAS SOUPS 1844940 WITH SCORE 1847861.455
AT ITER 3513 NEW BEST:: SOT 3122850 SOS 2929435 HAS SOPS 2924906 HAS SOUS 1843900 HAS SOUPS 1843636 WITH SCORE 1846565.435
AT ITER 3534 NEW BEST:: SOT 3126469 SOS 2931600 HAS SOPS 2926830 HAS SOUS 1843338 HAS SOUPS 1843074 WITH SCORE 1846005.6
AT ITER 3540 NEW BEST:: SOT 3127571 SOS 2932702 HAS SOPS 2927932 HAS SOUS 1842787 HAS SOUPS 1842523 WITH SCORE 1845455.702
AT ITER 3541 NEW BEST:: SOT 3127571 SOS 2932875 HAS SOPS 2928105 HAS SOUS 1842503 HAS SOUPS 1842239 WITH SCORE 1845171.875
AT ITER 3546 NEW BEST:: SOT 3127571 SOS 2932875 HAS SOPS 2928105 HAS SOUS 1842237 HAS SOUPS 1841973 WITH SCORE 1844905.875
AT ITER 3552 NEW BEST:: SOT 3128786 SOS 2933197 HAS SOPS 2928427 HAS SOUS 1842081 HAS SOUPS 1841817 WITH SCORE 1844750.197
AT ITER 3615 NEW BEST:: SOT 3133785 SOS 2936732 HAS SOPS 2931721 HAS SOUS 1838833 HAS SOUPS 1838569 WITH SCORE 1841505.732
AT ITER 3617 NEW BEST:: SOT 3134441 SOS 2937388 HAS SOPS 2932377 HAS SOUS 1838649 HAS SOUPS 1838385 WITH SCORE 1841322.388
AT ITER 3654 NEW BEST:: SOT 3136450 SOS 2939397 HAS SOPS 2934311 HAS SOUS 1838574 HAS SOUPS 1838310 WITH SCORE 1841249.397
AT ITER 3681 NEW BEST:: SOT 3145824 SOS 2947265 HAS SOPS 2941938 HAS SOUS 1838298 HAS SOUPS 1838034 WITH SCORE 1840981.265
AT ITER 3691 NEW BEST:: SOT 3146243 SOS 2947684 HAS SOPS 2942357 HAS SOUS 1836979 HAS SOUPS 1836715 WITH SCORE 1839662.684
AT ITER 3693 NEW BEST:: SOT 3145355 SOS 2946796 HAS SOPS 2941469 HAS SOUS 1836001 HAS SOUPS 1835737 WITH SCORE 1838683.796
AT ITER 3702 NEW BEST:: SOT 3147047 SOS 2948137 HAS SOPS 2942810 HAS SOUS 1834506 HAS SOUPS 1834242 WITH SCORE 1837190.137
AT ITER 3705 NEW BEST:: SOT 3146990 SOS 2948080 HAS SOPS 2942753 HAS SOUS 1834449 HAS SOUPS 1834185 WITH SCORE 1837133.08
AT ITER 3713 NEW BEST:: SOT 3146990 SOS 2948080 HAS SOPS 2942753 HAS SOUS 1834230 HAS SOUPS 1833966 WITH SCORE 1836914.08
AT ITER 3719 NEW BEST:: SOT 3146990 SOS 2948080 HAS SOPS 2942753 HAS SOUS 1833732 HAS SOUPS 1833468 WITH SCORE 1836416.08
AT ITER 3750 NEW BEST:: SOT 3151145 SOS 2952235 HAS SOPS 2946908 HAS SOUS 1833455 HAS SOUPS 1833191 WITH SCORE 1836143.235
AT ITER 3770 NEW BEST:: SOT 3151145 SOS 2952235 HAS SOPS 2946908 HAS SOUS 1833240 HAS SOUPS 1832976 WITH SCORE 1835928.235
AT ITER 3784 NEW BEST:: SOT 3151145 SOS 2952235 HAS SOPS 2946908 HAS SOUS 1833196 HAS SOUPS 1832932 WITH SCORE 1835884.235
AT ITER 3789 NEW BEST:: SOT 3173789 SOS 2973282 HAS SOPS 2967955 HAS SOUS 1827851 HAS SOUPS 1827587 WITH SCORE 1830560.282
AT ITER 3791 NEW BEST:: SOT 3174077 SOS 2972080 HAS SOPS 2966681 HAS SOUS 1823706 HAS SOUPS 1823442 WITH SCORE 1826414.08
AT ITER 3795 NEW BEST:: SOT 3174335 SOS 2972071 HAS SOPS 2966672 HAS SOUS 1823658 HAS SOUPS 1823394 WITH SCORE 1826366.071
AT ITER 3808 NEW BEST:: SOT 3174075 SOS 2971811 HAS SOPS 2966412 HAS SOUS 1823307 HAS SOUPS 1823043 WITH SCORE 1826014.811
AT ITER 3848 NEW BEST:: SOT 3174081 SOS 2971817 HAS SOPS 2966418 HAS SOUS 1823201 HAS SOUPS 1822937 WITH SCORE 1825908.817
AT ITER 3851 NEW BEST:: SOT 3155211 SOS 2952947 HAS SOPS 2947548 HAS SOUS 1819420 HAS SOUPS 1819156 WITH SCORE 1822108.947
AT ITER 3853 NEW BEST:: SOT 3158595 SOS 2955724 HAS SOPS 2950325 HAS SOUS 1818468 HAS SOUPS 1818204 WITH SCORE 1821159.724
AT ITER 3863 NEW BEST:: SOT 3158766 SOS 2955895 HAS SOPS 2950496 HAS SOUS 1817148 HAS SOUPS 1816884 WITH SCORE 1819839.895
AT ITER 3868 NEW BEST:: SOT 3158766 SOS 2955895 HAS SOPS 2950496 HAS SOUS 1816809 HAS SOUPS 1816545 WITH SCORE 1819500.895
AT ITER 3904 NEW BEST:: SOT 3158766 SOS 2955834 HAS SOPS 2950435 HAS SOUS 1816687 HAS SOUPS 1816423 WITH SCORE 1819378.834
AT ITER 3918 NEW BEST:: SOT 3158886 SOS 2952153 HAS SOPS 2946714 HAS SOUS 1816372 HAS SOUPS 1816108 WITH SCORE 1819060.153
AT ITER 3944 NEW BEST:: SOT 3161427 SOS 2953978 HAS SOPS 2948539 HAS SOUS 1813591 HAS SOUPS 1813327 WITH SCORE 1816280.978
AT ITER 3954 NEW BEST:: SOT 3165027 SOS 2957578 HAS SOPS 2952139 HAS SOUS 1813157 HAS SOUPS 1812893 WITH SCORE 1815850.578
AT ITER 3970 NEW BEST:: SOT 3168564 SOS 2960835 HAS SOPS 2955155 HAS SOUS 1812356 HAS SOUPS 1812092 WITH SCORE 1815052.835
AT ITER 3971 NEW BEST:: SOT 3168564 SOS 2960835 HAS SOPS 2955155 HAS SOUS 1806698 HAS SOUPS 1806434 WITH SCORE 1809394.835
AT ITER 3993 NEW BEST:: SOT 3171029 SOS 2962188 HAS SOPS 2956267 HAS SOUS 1805557 HAS SOUPS 1805293 WITH SCORE 1808255.188
AT ITER 4014 NEW BEST:: SOT 3171311 SOS 2962470 HAS SOPS 2956549 HAS SOUS 1805491 HAS SOUPS 1805227 WITH SCORE 1808189.47
AT ITER 4023 NEW BEST:: SOT 3171311 SOS 2962470 HAS SOPS 2956549 HAS SOUS 1802793 HAS SOUPS 1802529 WITH SCORE 1805491.47
AT ITER 4035 NEW BEST:: SOT 3191663 SOS 2982822 HAS SOPS 2976901 HAS SOUS 1795565 HAS SOUPS 1795301 WITH SCORE 1798283.822
AT ITER 4095 NEW BEST:: SOT 3192797 SOS 2983956 HAS SOPS 2978035 HAS SOUS 1795435 HAS SOUPS 1795171 WITH SCORE 1798154.956
AT ITER 4111 NEW BEST:: SOT 3192797 SOS 2983956 HAS SOPS 2978035 HAS SOUS 1794995 HAS SOUPS 1794731 WITH SCORE 1797714.956
AT ITER 4149 NEW BEST:: SOT 3194333 SOS 2985492 HAS SOPS 2979571 HAS SOUS 1794900 HAS SOUPS 1794636 WITH SCORE 1797621.492
AT ITER 4163 NEW BEST:: SOT 3194333 SOS 2985136 HAS SOPS 2979215 HAS SOUS 1794900 HAS SOUPS 1794636 WITH SCORE 1797621.136
AT ITER 4181 NEW BEST:: SOT 3194333 SOS 2970574 HAS SOPS 2964653 HAS SOUS 1793967 HAS SOUPS 1793703 WITH SCORE 1796673.574
AT ITER 4245 NEW BEST:: SOT 3199629 SOS 2975870 HAS SOPS 2969949 HAS SOUS 1793253 HAS SOUPS 1792989 WITH SCORE 1795964.87
AT ITER 4268 NEW BEST:: SOT 3200327 SOS 2975518 HAS SOPS 2969356 HAS SOUS 1791453 HAS SOUPS 1791189 WITH SCORE 1794164.518
AT ITER 4284 NEW BEST:: SOT 3200327 SOS 2975518 HAS SOPS 2969356 HAS SOUS 1791426 HAS SOUPS 1791162 WITH SCORE 1794137.518
AT ITER 4309 NEW BEST:: SOT 3192975 SOS 2968166 HAS SOPS 2962004 HAS SOUS 1790100 HAS SOUPS 1789836 WITH SCORE 1792804.166
AT ITER 4320 NEW BEST:: SOT 3192975 SOS 2968166 HAS SOPS 2962004 HAS SOUS 1790051 HAS SOUPS 1789787 WITH SCORE 1792755.166
AT ITER 4323 NEW BEST:: SOT 3192975 SOS 2968166 HAS SOPS 2962004 HAS SOUS 1777917 HAS SOUPS 1777653 WITH SCORE 1780621.166
AT ITER 4356 NEW BEST:: SOT 3193240 SOS 2968431 HAS SOPS 2962269 HAS SOUS 1777319 HAS SOUPS 1777055 WITH SCORE 1780023.431
AT ITER 4424 NEW BEST:: SOT 3193613 SOS 2968804 HAS SOPS 2962642 HAS SOUS 1776845 HAS SOUPS 1776581 WITH SCORE 1779549.804
AT ITER 4485 NEW BEST:: SOT 3190453 SOS 2965644 HAS SOPS 2959482 HAS SOUS 1776213 HAS SOUPS 1775949 WITH SCORE 1778914.644
AT ITER 4491 NEW BEST:: SOT 3192130 SOS 2967321 HAS SOPS 2961159 HAS SOUS 1775883 HAS SOUPS 1775619 WITH SCORE 1778586.321
AT ITER 4508 NEW BEST:: SOT 3192486 SOS 2967677 HAS SOPS 2961515 HAS SOUS 1775756 HAS SOUPS 1775492 WITH SCORE 1778459.677
AT ITER 4556 NEW BEST:: SOT 3193698 SOS 2968409 HAS SOPS 2962247 HAS SOUS 1774369 HAS SOUPS 1774105 WITH SCORE 1777073.409
AT ITER 4565 NEW BEST:: SOT 3193418 SOS 2968129 HAS SOPS 2961967 HAS SOUS 1774089 HAS SOUPS 1773825 WITH SCORE 1776793.129
AT ITER 4569 NEW BEST:: SOT 3193424 SOS 2968135 HAS SOPS 2961973 HAS SOUS 1774047 HAS SOUPS 1773783 WITH SCORE 1776751.135
AT ITER 4592 NEW BEST:: SOT 3211387 SOS 2986098 HAS SOPS 2979936 HAS SOUS 1764559 HAS SOUPS 1764295 WITH SCORE 1767281.098
AT ITER 4596 NEW BEST:: SOT 3211387 SOS 2986098 HAS SOPS 2979936 HAS SOUS 1764132 HAS SOUPS 1763868 WITH SCORE 1766854.098
AT ITER 4599 NEW BEST:: SOT 3211649 SOS 2986360 HAS SOPS 2980198 HAS SOUS 1763607 HAS SOUPS 1763343 WITH SCORE 1766329.36
AT ITER 4601 NEW BEST:: SOT 3213056 SOS 2987767 HAS SOPS 2981605 HAS SOUS 1763314 HAS SOUPS 1763050 WITH SCORE 1766037.767
AT ITER 4609 NEW BEST:: SOT 3213056 SOS 2987767 HAS SOPS 2981605 HAS SOUS 1762808 HAS SOUPS 1762544 WITH SCORE 1765531.767
AT ITER 4623 NEW BEST:: SOT 3214343 SOS 2989054 HAS SOPS 2982892 HAS SOUS 1762291 HAS SOUPS 1762027 WITH SCORE 1765016.054
AT ITER 4625 NEW BEST:: SOT 3214525 SOS 2989236 HAS SOPS 2983074 HAS SOUS 1761524 HAS SOUPS 1761260 WITH SCORE 1764249.236
AT ITER 4629 NEW BEST:: SOT 3216757 SOS 2991401 HAS SOPS 2985239 HAS SOUS 1760968 HAS SOUPS 1760704 WITH SCORE 1763695.401
AT ITER 4652 NEW BEST:: SOT 3216757 SOS 2991385 HAS SOPS 2985223 HAS SOUS 1760885 HAS SOUPS 1760621 WITH SCORE 1763612.385
AT ITER 4658 NEW BEST:: SOT 3222165 SOS 2995687 HAS SOPS 2989284 HAS SOUS 1760727 HAS SOUPS 1760463 WITH SCORE 1763458.687
AT ITER 4664 NEW BEST:: SOT 3227558 SOS 2999962 HAS SOPS 2993318 HAS SOUS 1760559 HAS SOUPS 1760295 WITH SCORE 1763294.962
AT ITER 4667 NEW BEST:: SOT 3227558 SOS 2999962 HAS SOPS 2993318 HAS SOUS 1760519 HAS SOUPS 1760255 WITH SCORE 1763254.962
AT ITER 4696 NEW BEST:: SOT 3227558 SOS 2999984 HAS SOPS 2993340 HAS SOUS 1760240 HAS SOUPS 1759976 WITH SCORE 1762975.984
AT ITER 4721 NEW BEST:: SOT 3227714 SOS 3000140 HAS SOPS 2993496 HAS SOUS 1760199 HAS SOUPS 1759935 WITH SCORE 1762935.14
AT ITER 4722 NEW BEST:: SOT 3227714 SOS 3000140 HAS SOPS 2993496 HAS SOUS 1760164 HAS SOUPS 1759900 WITH SCORE 1762900.14
AT ITER 4752 NEW BEST:: SOT 3227714 SOS 3000140 HAS SOPS 2993496 HAS SOUS 1760026 HAS SOUPS 1759762 WITH SCORE 1762762.14
AT ITER 4758 NEW BEST:: SOT 3228329 SOS 2995282 HAS SOPS 2988638 HAS SOUS 1759651 HAS SOUPS 1759387 WITH SCORE 1762382.282
AT ITER 4760 NEW BEST:: SOT 3228407 SOS 2995360 HAS SOPS 2988716 HAS SOUS 1758218 HAS SOUPS 1757954 WITH SCORE 1760949.36
AT ITER 4769 NEW BEST:: SOT 3228407 SOS 2995332 HAS SOPS 2988688 HAS SOUS 1758190 HAS SOUPS 1757926 WITH SCORE 1760921.332
AT ITER 4777 NEW BEST:: SOT 3233247 SOS 3000172 HAS SOPS 2993528 HAS SOUS 1747464 HAS SOUPS 1747200 WITH SCORE 1750200.172
AT ITER 4781 NEW BEST:: SOT 3233247 SOS 2999990 HAS SOPS 2993346 HAS SOUS 1747464 HAS SOUPS 1747200 WITH SCORE 1750199.99
AT ITER 4786 NEW BEST:: SOT 3226302 SOS 2993045 HAS SOPS 2986401 HAS SOUS 1745679 HAS SOUPS 1745415 WITH SCORE 1748408.045
AT ITER 4812 NEW BEST:: SOT 3235797 SOS 3001128 HAS SOPS 2994243 HAS SOUS 1743924 HAS SOUPS 1743660 WITH SCORE 1746661.128
AT ITER 4846 NEW BEST:: SOT 3237606 SOS 3002391 HAS SOPS 2995506 HAS SOUS 1742636 HAS SOUPS 1742372 WITH SCORE 1745374.391
AT ITER 4848 NEW BEST:: SOT 3237929 SOS 3002407 HAS SOPS 2995417 HAS SOUS 1742547 HAS SOUPS 1742283 WITH SCORE 1745285.407
AT ITER 4883 NEW BEST:: SOT 3237929 SOS 3001333 HAS SOPS 2994343 HAS SOUS 1740109 HAS SOUPS 1739845 WITH SCORE 1742846.333
AT ITER 4885 NEW BEST:: SOT 3237929 SOS 3001333 HAS SOPS 2994343 HAS SOUS 1739704 HAS SOUPS 1739440 WITH SCORE 1742441.333
AT ITER 4919 NEW BEST:: SOT 3237967 SOS 3001371 HAS SOPS 2994381 HAS SOUS 1739369 HAS SOUPS 1739105 WITH SCORE 1742106.371
AT ITER 4941 NEW BEST:: SOT 3237977 SOS 3001381 HAS SOPS 2994391 HAS SOUS 1739018 HAS SOUPS 1738754 WITH SCORE 1741755.381
AT ITER 4975 NEW BEST:: SOT 3237977 SOS 3001381 HAS SOPS 2994391 HAS SOUS 1738736 HAS SOUPS 1738472 WITH SCORE 1741473.381
AT ITER 5049 NEW BEST:: SOT 3238253 SOS 3000330 HAS SOPS 2993340 HAS SOUS 1738601 HAS SOUPS 1738337 WITH SCORE 1741337.33
AT ITER 5062 NEW BEST:: SOT 3238690 SOS 3000767 HAS SOPS 2993777 HAS SOUS 1738079 HAS SOUPS 1737815 WITH SCORE 1740815.767
AT ITER 5071 NEW BEST:: SOT 3239016 SOS 3001093 HAS SOPS 2994103 HAS SOUS 1738038 HAS SOUPS 1737774 WITH SCORE 1740775.093
AT ITER 5072 NEW BEST:: SOT 3240297 SOS 3002374 HAS SOPS 2995384 HAS SOUS 1737512 HAS SOUPS 1737248 WITH SCORE 1740250.374
AT ITER 5078 NEW BEST:: SOT 3240297 SOS 3000785 HAS SOPS 2993795 HAS SOUS 1729099 HAS SOUPS 1728835 WITH SCORE 1731835.785
AT ITER 5118 NEW BEST:: SOT 3240305 SOS 3000793 HAS SOPS 2993803 HAS SOUS 1728496 HAS SOUPS 1728232 WITH SCORE 1731232.793
AT ITER 5125 NEW BEST:: SOT 3240639 SOS 3001127 HAS SOPS 2994137 HAS SOUS 1728397 HAS SOUPS 1728133 WITH SCORE 1731134.127
AT ITER 5148 NEW BEST:: SOT 3241371 SOS 3001859 HAS SOPS 2994869 HAS SOUS 1727163 HAS SOUPS 1726899 WITH SCORE 1729900.859
AT ITER 5157 NEW BEST:: SOT 3255089 SOS 3015307 HAS SOPS 3008317 HAS SOUS 1726095 HAS SOUPS 1725831 WITH SCORE 1728846.307
AT ITER 5164 NEW BEST:: SOT 3268673 SOS 3027296 HAS SOPS 3020306 HAS SOUS 1716671 HAS SOUPS 1716407 WITH SCORE 1719434.296
AT ITER 5174 NEW BEST:: SOT 3268673 SOS 3027296 HAS SOPS 3020306 HAS SOUS 1716463 HAS SOUPS 1716199 WITH SCORE 1719226.296
AT ITER 5192 NEW BEST:: SOT 3267662 SOS 3026285 HAS SOPS 3019295 HAS SOUS 1716126 HAS SOUPS 1715862 WITH SCORE 1718888.285
AT ITER 5196 NEW BEST:: SOT 3267662 SOS 3026632 HAS SOPS 3019642 HAS SOUS 1715674 HAS SOUPS 1715410 WITH SCORE 1718436.632
AT ITER 5206 NEW BEST:: SOT 3267662 SOS 3026632 HAS SOPS 3019642 HAS SOUS 1715016 HAS SOUPS 1714752 WITH SCORE 1717778.632
AT ITER 5213 NEW BEST:: SOT 3296580 SOS 3055286 HAS SOPS 3048296 HAS SOUS 1710286 HAS SOUPS 1710022 WITH SCORE 1713077.286
AT ITER 5229 NEW BEST:: SOT 3296580 SOS 3055548 HAS SOPS 3048558 HAS SOUS 1710285 HAS SOUPS 1710021 WITH SCORE 1713076.548
AT ITER 5230 NEW BEST:: SOT 3296580 SOS 3055548 HAS SOPS 3048558 HAS SOUS 1707153 HAS SOUPS 1706889 WITH SCORE 1709944.548
AT ITER 5274 NEW BEST:: SOT 3296580 SOS 3055548 HAS SOPS 3048558 HAS SOUS 1707076 HAS SOUPS 1706812 WITH SCORE 1709867.548
AT ITER 5281 NEW BEST:: SOT 3298153 SOS 3057121 HAS SOPS 3050131 HAS SOUS 1696043 HAS SOUPS 1695779 WITH SCORE 1698836.121
AT ITER 5285 NEW BEST:: SOT 3298374 SOS 3057342 HAS SOPS 3050352 HAS SOUS 1695479 HAS SOUPS 1695215 WITH SCORE 1698272.342
AT ITER 5287 NEW BEST:: SOT 3298523 SOS 3056547 HAS SOPS 3049557 HAS SOUS 1693618 HAS SOUPS 1693354 WITH SCORE 1696410.547
AT ITER 5305 NEW BEST:: SOT 3310132 SOS 3068156 HAS SOPS 3061166 HAS SOUS 1688253 HAS SOUPS 1687989 WITH SCORE 1691057.156
AT ITER 5312 NEW BEST:: SOT 3310132 SOS 3068156 HAS SOPS 3061166 HAS SOUS 1688252 HAS SOUPS 1687988 WITH SCORE 1691056.156
AT ITER 5313 NEW BEST:: SOT 3310384 SOS 3068408 HAS SOPS 3061418 HAS SOUS 1687853 HAS SOUPS 1687589 WITH SCORE 1690657.408
AT ITER 5315 NEW BEST:: SOT 3310069 SOS 3068093 HAS SOPS 3061103 HAS SOUS 1687748 HAS SOUPS 1687484 WITH SCORE 1690552.093
AT ITER 5328 NEW BEST:: SOT 3310069 SOS 3068002 HAS SOPS 3061012 HAS SOUS 1687748 HAS SOUPS 1687484 WITH SCORE 1690552.002
AT ITER 5356 NEW BEST:: SOT 2824623 SOS 2599578 HAS SOPS 2575677 HAS SOUS 1202731 HAS SOUPS 1202142 WITH SCORE 1204741.578
AT ITER 5360 NEW BEST:: SOT 2824623 SOS 2599422 HAS SOPS 2575521 HAS SOUS 1202107 HAS SOUPS 1201518 WITH SCORE 1204117.422
AT ITER 5373 NEW BEST:: SOT 2843357 SOS 2617767 HAS SOPS 2593866 HAS SOUS 1188500 HAS SOUPS 1187911 WITH SCORE 1190528.767
AT ITER 5417 NEW BEST:: SOT 2843221 SOS 2617631 HAS SOPS 2593730 HAS SOUS 1188081 HAS SOUPS 1187492 WITH SCORE 1190109.631
AT ITER 5418 NEW BEST:: SOT 2843507 SOS 2617917 HAS SOPS 2594016 HAS SOUS 1186611 HAS SOUPS 1186022 WITH SCORE 1188639.917
AT ITER 5440 NEW BEST:: SOT 2867507 SOS 2641917 HAS SOPS 2618016 HAS SOUS 1182614 HAS SOUPS 1182025 WITH SCORE 1184666.917
AT ITER 5478 NEW BEST:: SOT 2884512 SOS 2658539 HAS SOPS 2634638 HAS SOUS 1169128 HAS SOUPS 1168539 WITH SCORE 1171197.539
AT ITER 5513 NEW BEST:: SOT 2909185 SOS 2683212 HAS SOPS 2659311 HAS SOUS 1165684 HAS SOUPS 1165095 WITH SCORE 1167778.212
AT ITER 5514 NEW BEST:: SOT 2910191 SOS 2684213 HAS SOPS 2660312 HAS SOUS 1165287 HAS SOUPS 1164698 WITH SCORE 1167382.213
AT ITER 5561 NEW BEST:: SOT 2912391 SOS 2686413 HAS SOPS 2662512 HAS SOUS 1165032 HAS SOUPS 1164443 WITH SCORE 1167129.413
AT ITER 5578 NEW BEST:: SOT 2912391 SOS 2686413 HAS SOPS 2662512 HAS SOUS 1164510 HAS SOUPS 1163921 WITH SCORE 1166607.413
AT ITER 5616 NEW BEST:: SOT 2912197 SOS 2686219 HAS SOPS 2662318 HAS SOUS 1164122 HAS SOUPS 1163533 WITH SCORE 1166219.219
AT ITER 5633 NEW BEST:: SOT 2901937 SOS 2675959 HAS SOPS 2652058 HAS SOUS 1163582 HAS SOUPS 1162993 WITH SCORE 1165668.959
AT ITER 5652 NEW BEST:: SOT 2901937 SOS 2675936 HAS SOPS 2652035 HAS SOUS 1162958 HAS SOUPS 1162369 WITH SCORE 1165044.936
AT ITER 5661 NEW BEST:: SOT 2902337 SOS 2675686 HAS SOPS 2651671 HAS SOUS 1161839 HAS SOUPS 1161250 WITH SCORE 1163925.686
AT ITER 5663 NEW BEST:: SOT 2902337 SOS 2675818 HAS SOPS 2651803 HAS SOUS 1161838 HAS SOUPS 1161249 WITH SCORE 1163924.818
AT ITER 5672 NEW BEST:: SOT 2902384 SOS 2675865 HAS SOPS 2651850 HAS SOUS 1161495 HAS SOUPS 1160906 WITH SCORE 1163581.865
AT ITER 5683 NEW BEST:: SOT 2902968 SOS 2676449 HAS SOPS 2652434 HAS SOUS 1161087 HAS SOUPS 1160498 WITH SCORE 1163174.449
AT ITER 5687 NEW BEST:: SOT 2902827 SOS 2676308 HAS SOPS 2652293 HAS SOUS 1160841 HAS SOUPS 1160252 WITH SCORE 1162928.308
AT ITER 5713 NEW BEST:: SOT 2903894 SOS 2677375 HAS SOPS 2653360 HAS SOUS 1160776 HAS SOUPS 1160187 WITH SCORE 1162864.375
AT ITER 5754 NEW BEST:: SOT 2903914 SOS 2677395 HAS SOPS 2653380 HAS SOUS 1160751 HAS SOUPS 1160162 WITH SCORE 1162839.395
AT ITER 5756 NEW BEST:: SOT 2903644 SOS 2677125 HAS SOPS 2653110 HAS SOUS 1160481 HAS SOUPS 1159892 WITH SCORE 1162569.125
AT ITER 5770 NEW BEST:: SOT 2901871 SOS 2675352 HAS SOPS 2651337 HAS SOUS 1159890 HAS SOUPS 1159301 WITH SCORE 1161976.352
AT ITER 5772 NEW BEST:: SOT 2901871 SOS 2675352 HAS SOPS 2651337 HAS SOUS 1159206 HAS SOUPS 1158617 WITH SCORE 1161292.352
AT ITER 5808 NEW BEST:: SOT 2901745 SOS 2675226 HAS SOPS 2651211 HAS SOUS 1159080 HAS SOUPS 1158491 WITH SCORE 1161166.226
AT ITER 5821 NEW BEST:: SOT 2916257 SOS 2691336 HAS SOPS 2667441 HAS SOUS 1147611 HAS SOUPS 1147022 WITH SCORE 1149713.336
AT ITER 5846 NEW BEST:: SOT 2916119 SOS 2691198 HAS SOPS 2667303 HAS SOUS 1147504 HAS SOUPS 1146915 WITH SCORE 1149606.198
AT ITER 5848 NEW BEST:: SOT 2918045 SOS 2693124 HAS SOPS 2669229 HAS SOUS 1147004 HAS SOUPS 1146415 WITH SCORE 1149108.124
AT ITER 5858 NEW BEST:: SOT 2918045 SOS 2692310 HAS SOPS 2668415 HAS SOUS 1146541 HAS SOUPS 1145952 WITH SCORE 1148644.31
AT ITER 5876 NEW BEST:: SOT 2922675 SOS 2696940 HAS SOPS 2673045 HAS SOUS 1144345 HAS SOUPS 1143756 WITH SCORE 1146452.94
AT ITER 5901 NEW BEST:: SOT 2922675 SOS 2696940 HAS SOPS 2673045 HAS SOUS 1143681 HAS SOUPS 1143092 WITH SCORE 1145788.94
AT ITER 5903 NEW BEST:: SOT 2922083 SOS 2696348 HAS SOPS 2672453 HAS SOUS 1143089 HAS SOUPS 1142500 WITH SCORE 1145196.348
AT ITER 5914 NEW BEST:: SOT 2922178 SOS 2696443 HAS SOPS 2672548 HAS SOUS 1142993 HAS SOUPS 1142404 WITH SCORE 1145100.443
AT ITER 5920 NEW BEST:: SOT 2935570 SOS 2709450 HAS SOPS 2685555 HAS SOUS 1129091 HAS SOUPS 1128502 WITH SCORE 1131211.45
AT ITER 5956 NEW BEST:: SOT 2935195 SOS 2709075 HAS SOPS 2685180 HAS SOUS 1128841 HAS SOUPS 1128252 WITH SCORE 1130961.075
AT ITER 5975 NEW BEST:: SOT 2935195 SOS 2708672 HAS SOPS 2684777 HAS SOUS 1115572 HAS SOUPS 1114983 WITH SCORE 1117691.672
AT ITER 5998 NEW BEST:: SOT 2960389 SOS 2733465 HAS SOPS 2709570 HAS SOUS 1102431 HAS SOUPS 1101842 WITH SCORE 1104575.465
AT ITER 6009 NEW BEST:: SOT 2960460 SOS 2732888 HAS SOPS 2708922 HAS SOUS 1101160 HAS SOUPS 1100571 WITH SCORE 1103303.888
AT ITER 6035 NEW BEST:: SOT 2960010 SOS 2732438 HAS SOPS 2708472 HAS SOUS 1101010 HAS SOUPS 1100421 WITH SCORE 1103153.438
AT ITER 6040 NEW BEST:: SOT 2988206 SOS 2760253 HAS SOPS 2736287 HAS SOUS 1088264 HAS SOUPS 1087675 WITH SCORE 1090435.253
AT ITER 6097 NEW BEST:: SOT 2987870 SOS 2759917 HAS SOPS 2735951 HAS SOUS 1088152 HAS SOUPS 1087563 WITH SCORE 1090322.917
AT ITER 6129 NEW BEST:: SOT 2988584 SOS 2760631 HAS SOPS 2736665 HAS SOUS 1088068 HAS SOUPS 1087479 WITH SCORE 1090239.631
AT ITER 6131 NEW BEST:: SOT 2989850 SOS 2761897 HAS SOPS 2737931 HAS SOUS 1088047 HAS SOUPS 1087458 WITH SCORE 1090219.897
AT ITER 6146 NEW BEST:: SOT 2990268 SOS 2762315 HAS SOPS 2738349 HAS SOUS 1087629 HAS SOUPS 1087040 WITH SCORE 1089802.315
AT ITER 6163 NEW BEST:: SOT 2989714 SOS 2761761 HAS SOPS 2737795 HAS SOUS 1087499 HAS SOUPS 1086910 WITH SCORE 1089671.761
AT ITER 6170 NEW BEST:: SOT 2988063 SOS 2760505 HAS SOPS 2736726 HAS SOUS 1086068 HAS SOUPS 1085479 WITH SCORE 1088239.505
AT ITER 6187 NEW BEST:: SOT 2989663 SOS 2761828 HAS SOPS 2738049 HAS SOUS 1079794 HAS SOUPS 1079205 WITH SCORE 1081966.828
AT ITER 6196 NEW BEST:: SOT 2989499 SOS 2761664 HAS SOPS 2737885 HAS SOUS 1079485 HAS SOUPS 1078896 WITH SCORE 1081657.664
AT ITER 6245 NEW BEST:: SOT 2989499 SOS 2761664 HAS SOPS 2737885 HAS SOUS 1079277 HAS SOUPS 1078688 WITH SCORE 1081449.664
AT ITER 6254 NEW BEST:: SOT 2988837 SOS 2761400 HAS SOPS 2737806 HAS SOUS 1078876 HAS SOUPS 1078287 WITH SCORE 1081048.4
AT ITER 6286 NEW BEST:: SOT 2989723 SOS 2762286 HAS SOPS 2738692 HAS SOUS 1078825 HAS SOUPS 1078236 WITH SCORE 1080998.286
AT ITER 6290 NEW BEST:: SOT 2989723 SOS 2761821 HAS SOPS 2738227 HAS SOUS 1078825 HAS SOUPS 1078236 WITH SCORE 1080997.821
AT ITER 6303 NEW BEST:: SOT 2989921 SOS 2762019 HAS SOPS 2738425 HAS SOUS 1078658 HAS SOUPS 1078069 WITH SCORE 1080831.019
AT ITER 6328 NEW BEST:: SOT 2989921 SOS 2762029 HAS SOPS 2738435 HAS SOUS 1078179 HAS SOUPS 1077590 WITH SCORE 1080352.029
AT ITER 6337 NEW BEST:: SOT 2989845 SOS 2762865 HAS SOPS 2739271 HAS SOUS 1078103 HAS SOUPS 1077514 WITH SCORE 1080276.865
AT ITER 6338 NEW BEST:: SOT 3012956 SOS 2785976 HAS SOPS 2762382 HAS SOUS 1072303 HAS SOUPS 1071714 WITH SCORE 1074499.976
AT ITER 6357 NEW BEST:: SOT 3059088 SOS 2831779 HAS SOPS 2808185 HAS SOUS 1070459 HAS SOUPS 1069870 WITH SCORE 1072701.779
AT ITER 6363 NEW BEST:: SOT 3059088 SOS 2811955 HAS SOPS 2788361 HAS SOUS 1069837 HAS SOUPS 1069248 WITH SCORE 1072059.955
AT ITER 6413 NEW BEST:: SOT 3059088 SOS 2811762 HAS SOPS 2788168 HAS SOUS 1069388 HAS SOUPS 1068799 WITH SCORE 1071610.762
AT ITER 6456 NEW BEST:: SOT 3068702 SOS 2821233 HAS SOPS 2797073 HAS SOUS 1068250 HAS SOUPS 1067661 WITH SCORE 1070482.233
AT ITER 6528 NEW BEST:: SOT 3065482 SOS 2818013 HAS SOPS 2793853 HAS SOUS 1067110 HAS SOUPS 1066521 WITH SCORE 1069339.013
AT ITER 6566 NEW BEST:: SOT 3067377 SOS 2819908 HAS SOPS 2795598 HAS SOUS 1066960 HAS SOUPS 1066371 WITH SCORE 1069190.908
AT ITER 6596 NEW BEST:: SOT 3066634 SOS 2819165 HAS SOPS 2794855 HAS SOUS 1066880 HAS SOUPS 1066291 WITH SCORE 1069110.165
AT ITER 6605 NEW BEST:: SOT 3065579 SOS 2818110 HAS SOPS 2793800 HAS SOUS 1066458 HAS SOUPS 1065869 WITH SCORE 1068687.11
AT ITER 6629 NEW BEST:: SOT 3065261 SOS 2817792 HAS SOPS 2793482 HAS SOUS 1065956 HAS SOUPS 1065367 WITH SCORE 1068184.792
AT ITER 6635 NEW BEST:: SOT 3065261 SOS 2817210 HAS SOPS 2792900 HAS SOUS 1065619 HAS SOUPS 1065030 WITH SCORE 1067847.21
AT ITER 6647 NEW BEST:: SOT 3064477 SOS 2816426 HAS SOPS 2792116 HAS SOUS 1065227 HAS SOUPS 1064638 WITH SCORE 1067454.426
AT ITER 6673 NEW BEST:: SOT 3066295 SOS 2818244 HAS SOPS 2793934 HAS SOUS 1064855 HAS SOUPS 1064266 WITH SCORE 1067084.244
AT ITER 6696 NEW BEST:: SOT 3066873 SOS 2818822 HAS SOPS 2794512 HAS SOUS 1064712 HAS SOUPS 1064123 WITH SCORE 1066941.822
AT ITER 6725 NEW BEST:: SOT 3069312 SOS 2819723 HAS SOPS 2795362 HAS SOUS 1057788 HAS SOUPS 1057199 WITH SCORE 1060018.723
AT ITER 6756 NEW BEST:: SOT 3070383 SOS 2820794 HAS SOPS 2796433 HAS SOUS 1056840 HAS SOUPS 1056251 WITH SCORE 1059071.794
AT ITER 6789 NEW BEST:: SOT 3070844 SOS 2821255 HAS SOPS 2796894 HAS SOUS 1056326 HAS SOUPS 1055737 WITH SCORE 1058558.255
AT ITER 6821 NEW BEST:: SOT 3070844 SOS 2821255 HAS SOPS 2796894 HAS SOUS 1056325 HAS SOUPS 1055736 WITH SCORE 1058557.255
AT ITER 6823 NEW BEST:: SOT 3071259 SOS 2821670 HAS SOPS 2797309 HAS SOUS 1056013 HAS SOUPS 1055424 WITH SCORE 1058245.67
AT ITER 6837 NEW BEST:: SOT 3071259 SOS 2821670 HAS SOPS 2797309 HAS SOUS 1055790 HAS SOUPS 1055201 WITH SCORE 1058022.67
AT ITER 6905 NEW BEST:: SOT 3071022 SOS 2821433 HAS SOPS 2797072 HAS SOUS 1055450 HAS SOUPS 1054861 WITH SCORE 1057682.433
AT ITER 6918 NEW BEST:: SOT 3071022 SOS 2821433 HAS SOPS 2797072 HAS SOUS 1055419 HAS SOUPS 1054830 WITH SCORE 1057651.433
AT ITER 6932 NEW BEST:: SOT 3071022 SOS 2820858 HAS SOPS 2796497 HAS SOUS 1055366 HAS SOUPS 1054777 WITH SCORE 1057597.858
AT ITER 6933 NEW BEST:: SOT 3071022 SOS 2820858 HAS SOPS 2796497 HAS SOUS 1055121 HAS SOUPS 1054532 WITH SCORE 1057352.858
AT ITER 6938 NEW BEST:: SOT 3074212 SOS 2823275 HAS SOPS 2798348 HAS SOUS 1054661 HAS SOUPS 1054072 WITH SCORE 1056895.275
AT ITER 6944 NEW BEST:: SOT 3074212 SOS 2823273 HAS SOPS 2798346 HAS SOUS 1054327 HAS SOUPS 1053738 WITH SCORE 1056561.273
AT ITER 6946 NEW BEST:: SOT 3074767 SOS 2823828 HAS SOPS 2798901 HAS SOUS 1054174 HAS SOUPS 1053585 WITH SCORE 1056408.828
AT ITER 6965 NEW BEST:: SOT 3095555 SOS 2840457 HAS SOPS 2815470 HAS SOUS 1053346 HAS SOUPS 1052757 WITH SCORE 1055597.457
AT ITER 7000 NEW BEST:: SOT 3094630 SOS 2839532 HAS SOPS 2815770 HAS SOUS 1052421 HAS SOUPS 1051875 WITH SCORE 1054714.532
AT ITER 7024 NEW BEST:: SOT 3095164 SOS 2840066 HAS SOPS 2816304 HAS SOUS 1050907 HAS SOUPS 1050361 WITH SCORE 1053201.066
AT ITER 7051 NEW BEST:: SOT 3095371 SOS 2840273 HAS SOPS 2816511 HAS SOUS 1050339 HAS SOUPS 1049793 WITH SCORE 1052633.273
AT ITER 7058 NEW BEST:: SOT 3095066 SOS 2839968 HAS SOPS 2816206 HAS SOUS 1050278 HAS SOUPS 1049732 WITH SCORE 1052571.968
AT ITER 7063 NEW BEST:: SOT 3095894 SOS 2840556 HAS SOPS 2816794 HAS SOUS 1050107 HAS SOUPS 1049561 WITH SCORE 1052401.556
AT ITER 7071 NEW BEST:: SOT 3116138 SOS 2860800 HAS SOPS 2837038 HAS SOUS 1045474 HAS SOUPS 1044928 WITH SCORE 1047788.8
AT ITER 7077 NEW BEST:: SOT 3115712 SOS 2860374 HAS SOPS 2836612 HAS SOUS 1045048 HAS SOUPS 1044502 WITH SCORE 1047362.374
AT ITER 7079 NEW BEST:: SOT 3115160 SOS 2859822 HAS SOPS 2836060 HAS SOUS 1044680 HAS SOUPS 1044134 WITH SCORE 1046993.822
AT ITER 7098 NEW BEST:: SOT 3124667 SOS 2868192 HAS SOPS 2843907 HAS SOUS 1043261 HAS SOUPS 1042715 WITH SCORE 1045583.192
AT ITER 7125 NEW BEST:: SOT 3121742 SOS 2865267 HAS SOPS 2840982 HAS SOUS 1042286 HAS SOUPS 1041740 WITH SCORE 1044605.267
AT ITER 7158 NEW BEST:: SOT 3122367 SOS 2865785 HAS SOPS 2841500 HAS SOUS 1041369 HAS SOUPS 1040823 WITH SCORE 1043688.785
AT ITER 7177 NEW BEST:: SOT 3122367 SOS 2865785 HAS SOPS 2841500 HAS SOUS 1041274 HAS SOUPS 1040728 WITH SCORE 1043593.785
AT ITER 7219 NEW BEST:: SOT 3122313 SOS 2865731 HAS SOPS 2841419 HAS SOUS 1041193 HAS SOUPS 1040647 WITH SCORE 1043512.731
AT ITER 7232 NEW BEST:: SOT 3142185 SOS 2885603 HAS SOPS 2861291 HAS SOUS 1036495 HAS SOUPS 1035949 WITH SCORE 1038834.603
AT ITER 7247 NEW BEST:: SOT 3143145 SOS 2886563 HAS SOPS 2862251 HAS SOUS 1035748 HAS SOUPS 1035202 WITH SCORE 1038088.563
AT ITER 7251 NEW BEST:: SOT 3144239 SOS 2887657 HAS SOPS 2863345 HAS SOUS 1034582 HAS SOUPS 1034036 WITH SCORE 1036923.657
AT ITER 7286 NEW BEST:: SOT 3144576 SOS 2887994 HAS SOPS 2863682 HAS SOUS 1033908 HAS SOUPS 1033362 WITH SCORE 1036249.994
AT ITER 7315 NEW BEST:: SOT 3144380 SOS 2887798 HAS SOPS 2863486 HAS SOUS 1033850 HAS SOUPS 1033304 WITH SCORE 1036191.798
AT ITER 7359 NEW BEST:: SOT 3144032 SOS 2886951 HAS SOPS 2862639 HAS SOUS 1033595 HAS SOUPS 1033049 WITH SCORE 1035935.951
AT ITER 7401 NEW BEST:: SOT 3142442 SOS 2885361 HAS SOPS 2861049 HAS SOUS 1033065 HAS SOUPS 1032519 WITH SCORE 1035404.361
AT ITER 7418 NEW BEST:: SOT 3139604 SOS 2882523 HAS SOPS 2858211 HAS SOUS 1032807 HAS SOUPS 1032261 WITH SCORE 1035143.523
AT ITER 7423 NEW BEST:: SOT 3140304 SOS 2883223 HAS SOPS 2858911 HAS SOUS 1032681 HAS SOUPS 1032135 WITH SCORE 1035018.223
AT ITER 7450 NEW BEST:: SOT 3140304 SOS 2882561 HAS SOPS 2858249 HAS SOUS 1028811 HAS SOUPS 1028265 WITH SCORE 1031147.561
AT ITER 7477 NEW BEST:: SOT 3141062 SOS 2883319 HAS SOPS 2859007 HAS SOUS 1027855 HAS SOUPS 1027309 WITH SCORE 1030192.319
AT ITER 7528 NEW BEST:: SOT 3140938 SOS 2883195 HAS SOPS 2858883 HAS SOUS 1027731 HAS SOUPS 1027185 WITH SCORE 1030068.195
AT ITER 7536 NEW BEST:: SOT 3141317 SOS 2878161 HAS SOPS 2853849 HAS SOUS 1026753 HAS SOUPS 1026207 WITH SCORE 1029085.161
AT ITER 7566 NEW BEST:: SOT 3142141 SOS 2878985 HAS SOPS 2854673 HAS SOUS 1026623 HAS SOUPS 1026077 WITH SCORE 1028955.985
AT ITER 7572 NEW BEST:: SOT 3142213 SOS 2877926 HAS SOPS 2853542 HAS SOUS 1024720 HAS SOUPS 1024174 WITH SCORE 1027051.926
AT ITER 7608 NEW BEST:: SOT 3171451 SOS 2906445 HAS SOPS 2882061 HAS SOUS 1023259 HAS SOUPS 1022713 WITH SCORE 1025619.445
AT ITER 7614 NEW BEST:: SOT 3171357 SOS 2906351 HAS SOPS 2881967 HAS SOUS 1023165 HAS SOUPS 1022619 WITH SCORE 1025525.351
AT ITER 7626 NEW BEST:: SOT 3170973 SOS 2905967 HAS SOPS 2881430 HAS SOUS 1023012 HAS SOUPS 1022466 WITH SCORE 1025371.967
AT ITER 7640 NEW BEST:: SOT 3196718 SOS 2931022 HAS SOPS 2906485 HAS SOUS 1009801 HAS SOUPS 1009255 WITH SCORE 1012186.022
AT ITER 7661 NEW BEST:: SOT 3194091 SOS 2929372 HAS SOPS 2904835 HAS SOUS 1007448 HAS SOUPS 1006902 WITH SCORE 1009831.372
AT ITER 7676 NEW BEST:: SOT 3191459 SOS 2926740 HAS SOPS 2902203 HAS SOUS 1006434 HAS SOUPS 1005888 WITH SCORE 1008814.74
AT ITER 7701 NEW BEST:: SOT 3193037 SOS 2928318 HAS SOPS 2903781 HAS SOUS 1005958 HAS SOUPS 1005412 WITH SCORE 1008340.318
AT ITER 7704 NEW BEST:: SOT 3191574 SOS 2926855 HAS SOPS 2902318 HAS SOUS 1005196 HAS SOUPS 1004650 WITH SCORE 1007576.855
AT ITER 7705 NEW BEST:: SOT 3190710 SOS 2925991 HAS SOPS 2901454 HAS SOUS 1003900 HAS SOUPS 1003354 WITH SCORE 1006279.991
AT ITER 7714 NEW BEST:: SOT 3190298 SOS 2925579 HAS SOPS 2901042 HAS SOUS 1003338 HAS SOUPS 1002792 WITH SCORE 1005717.579
AT ITER 7719 NEW BEST:: SOT 3190197 SOS 2925478 HAS SOPS 2900840 HAS SOUS 1003237 HAS SOUPS 1002691 WITH SCORE 1005616.478
AT ITER 7728 NEW BEST:: SOT 3190197 SOS 2924019 HAS SOPS 2899381 HAS SOUS 1002373 HAS SOUPS 1001827 WITH SCORE 1004751.019
AT ITER 7731 NEW BEST:: SOT 3190628 SOS 2924450 HAS SOPS 2899812 HAS SOUS 1002079 HAS SOUPS 1001533 WITH SCORE 1004457.45
AT ITER 7736 NEW BEST:: SOT 3190628 SOS 2924204 HAS SOPS 2899566 HAS SOUS 1000708 HAS SOUPS 1000162 WITH SCORE 1003086.204
AT ITER 7741 NEW BEST:: SOT 3189663 SOS 2923239 HAS SOPS 2898656 HAS SOUS 1000423 HAS SOUPS 999877 WITH SCORE 1002800.239
AT ITER 7755 NEW BEST:: SOT 3189649 SOS 2923225 HAS SOPS 2898642 HAS SOUS 1000409 HAS SOUPS 999863 WITH SCORE 1002786.225
AT ITER 7833 NEW BEST:: SOT 3216145 SOS 2949721 HAS SOPS 2925138 HAS SOUS 998685 HAS SOUPS 998139 WITH SCORE 1001088.721
AT ITER 7840 NEW BEST:: SOT 3216253 SOS 2949829 HAS SOPS 2925246 HAS SOUS 998666 HAS SOUPS 998120 WITH SCORE 1001069.829
AT ITER 7865 NEW BEST:: SOT 3215508 SOS 2949224 HAS SOPS 2924755 HAS SOUS 998237 HAS SOUPS 997691 WITH SCORE 1000640.224
AT ITER 7881 NEW BEST:: SOT 3215508 SOS 2915306 HAS SOPS 2890837 HAS SOUS 997585 HAS SOUPS 997039 WITH SCORE 999954.306
AT ITER 7883 NEW BEST:: SOT 3215508 SOS 2915266 HAS SOPS 2890797 HAS SOUS 997324 HAS SOUPS 996778 WITH SCORE 999693.266
AT ITER 7938 NEW BEST:: SOT 3213192 SOS 2912877 HAS SOPS 2887636 HAS SOUS 996102 HAS SOUPS 995307 WITH SCORE 998219.877
AT ITER 7944 NEW BEST:: SOT 3213137 SOS 2912822 HAS SOPS 2887581 HAS SOUS 996091 HAS SOUPS 995296 WITH SCORE 998208.822
AT ITER 7947 NEW BEST:: SOT 3210987 SOS 2910672 HAS SOPS 2885431 HAS SOUS 996091 HAS SOUPS 995296 WITH SCORE 998206.672
AT ITER 7950 NEW BEST:: SOT 3210057 SOS 2909742 HAS SOPS 2884501 HAS SOUS 995879 HAS SOUPS 995084 WITH SCORE 997993.742
AT ITER 7965 NEW BEST:: SOT 3243402 SOS 2942382 HAS SOPS 2917141 HAS SOUS 982994 HAS SOUPS 982199 WITH SCORE 985141.382
AT ITER 7969 NEW BEST:: SOT 3243636 SOS 2942466 HAS SOPS 2917225 HAS SOUS 982660 HAS SOUPS 981865 WITH SCORE 984807.466
AT ITER 7989 NEW BEST:: SOT 3243831 SOS 2942539 HAS SOPS 2917298 HAS SOUS 982307 HAS SOUPS 981512 WITH SCORE 984454.539
AT ITER 8070 NEW BEST:: SOT 3245069 SOS 2943777 HAS SOPS 2918536 HAS SOUS 982199 HAS SOUPS 981404 WITH SCORE 984347.777
AT ITER 8123 NEW BEST:: SOT 3245069 SOS 2943777 HAS SOPS 2918536 HAS SOUS 982197 HAS SOUPS 981402 WITH SCORE 984345.777
AT ITER 8138 NEW BEST:: SOT 3241196 SOS 2939904 HAS SOPS 2914663 HAS SOUS 980906 HAS SOUPS 980111 WITH SCORE 983050.904
AT ITER 8184 NEW BEST:: SOT 3241022 SOS 2939768 HAS SOPS 2914527 HAS SOUS 980829 HAS SOUPS 980034 WITH SCORE 982973.768
AT ITER 8221 NEW BEST:: SOT 3241022 SOS 2939504 HAS SOPS 2914263 HAS SOUS 980565 HAS SOUPS 979770 WITH SCORE 982709.504
AT ITER 8234 NEW BEST:: SOT 3241022 SOS 2938027 HAS SOPS 2912774 HAS SOUS 979864 HAS SOUPS 979069 WITH SCORE 982007.027
AT ITER 8249 NEW BEST:: SOT 3242022 SOS 2939027 HAS SOPS 2913774 HAS SOUS 979762 HAS SOUPS 978967 WITH SCORE 981906.027
AT ITER 8273 NEW BEST:: SOT 3263296 SOS 2960301 HAS SOPS 2935048 HAS SOUS 974280 HAS SOUPS 973485 WITH SCORE 976445.301
AT ITER 8289 NEW BEST:: SOT 3263854 SOS 2960859 HAS SOPS 2935606 HAS SOUS 973648 HAS SOUPS 972853 WITH SCORE 975813.859
AT ITER 8297 NEW BEST:: SOT 3263854 SOS 2960859 HAS SOPS 2935606 HAS SOUS 973556 HAS SOUPS 972761 WITH SCORE 975721.859
AT ITER 8305 NEW BEST:: SOT 3264437 SOS 2961442 HAS SOPS 2936130 HAS SOUS 973497 HAS SOUPS 972702 WITH SCORE 975663.442
AT ITER 8311 NEW BEST:: SOT 3257265 SOS 2954270 HAS SOPS 2928958 HAS SOUS 972845 HAS SOUPS 972050 WITH SCORE 975004.27
AT ITER 8339 NEW BEST:: SOT 3257265 SOS 2954130 HAS SOPS 2928818 HAS SOUS 972845 HAS SOUPS 972050 WITH SCORE 975004.13
AT ITER 8369 NEW BEST:: SOT 3257487 SOS 2953457 HAS SOPS 2928034 HAS SOUS 972766 HAS SOUPS 971971 WITH SCORE 974924.457
AT ITER 8381 NEW BEST:: SOT 3258215 SOS 2954185 HAS SOPS 2928762 HAS SOUS 972000 HAS SOUPS 971205 WITH SCORE 974159.185
AT ITER 8499 NEW BEST:: SOT 3260082 SOS 2956052 HAS SOPS 2930629 HAS SOUS 970977 HAS SOUPS 970182 WITH SCORE 973138.052
AT ITER 8524 NEW BEST:: SOT 3261282 SOS 2955524 HAS SOPS 2929701 HAS SOUS 969016 HAS SOUPS 968221 WITH SCORE 971176.524
AT ITER 8537 NEW BEST:: SOT 3260933 SOS 2955175 HAS SOPS 2929352 HAS SOUS 968318 HAS SOUPS 967523 WITH SCORE 970478.175
AT ITER 8553 NEW BEST:: SOT 3262343 SOS 2955773 HAS SOPS 2929245 HAS SOUS 968211 HAS SOUPS 967416 WITH SCORE 970371.773
AT ITER 8554 NEW BEST:: SOT 3256153 SOS 2949583 HAS SOPS 2923055 HAS SOUS 966973 HAS SOUPS 966178 WITH SCORE 969127.583
AT ITER 8584 NEW BEST:: SOT 3255704 SOS 2949218 HAS SOPS 2922696 HAS SOUS 966162 HAS SOUPS 965367 WITH SCORE 968316.218
AT ITER 8666 NEW BEST:: SOT 3256518 SOS 2950032 HAS SOPS 2923510 HAS SOUS 966140 HAS SOUPS 965345 WITH SCORE 968295.032
AT ITER 8747 NEW BEST:: SOT 3256518 SOS 2950041 HAS SOPS 2923519 HAS SOUS 963929 HAS SOUPS 963134 WITH SCORE 966084.041
AT ITER 8765 NEW BEST:: SOT 3256518 SOS 2950041 HAS SOPS 2923519 HAS SOUS 963863 HAS SOUPS 963068 WITH SCORE 966018.041
AT ITER 8768 NEW BEST:: SOT 3256518 SOS 2949642 HAS SOPS 2923120 HAS SOUS 963065 HAS SOUPS 962270 WITH SCORE 965219.642
AT ITER 8771 NEW BEST:: SOT 3256381 SOS 2949505 HAS SOPS 2923001 HAS SOUS 963052 HAS SOUPS 962257 WITH SCORE 965206.505
AT ITER 8783 NEW BEST:: SOT 3256381 SOS 2949505 HAS SOPS 2923001 HAS SOUS 962970 HAS SOUPS 962175 WITH SCORE 965124.505
AT ITER 8802 NEW BEST:: SOT 3310113 SOS 3002541 HAS SOPS 2976037 HAS SOUS 958402 HAS SOUPS 957607 WITH SCORE 960609.541
AT ITER 8805 NEW BEST:: SOT 3311440 SOS 2992175 HAS SOPS 2965059 HAS SOUS 958032 HAS SOUPS 957237 WITH SCORE 960229.175
AT ITER 8807 NEW BEST:: SOT 3313968 SOS 2994667 HAS SOPS 2965023 HAS SOUS 959752 HAS SOUPS 957201 WITH SCORE 960195.667
AT ITER 8838 NEW BEST:: SOT 3314661 SOS 2995360 HAS SOPS 2965716 HAS SOUS 959500 HAS SOUPS 956949 WITH SCORE 959944.36
AT ITER 8866 NEW BEST:: SOT 3363782 SOS 3043019 HAS SOPS 3013324 HAS SOUS 947922 HAS SOUPS 945371 WITH SCORE 948414.019
AT ITER 8927 NEW BEST:: SOT 3363782 SOS 3042983 HAS SOPS 3013288 HAS SOUS 947850 HAS SOUPS 945299 WITH SCORE 948341.983
AT ITER 8947 NEW BEST:: SOT 3360914 SOS 3040115 HAS SOPS 3010420 HAS SOUS 947850 HAS SOUPS 945299 WITH SCORE 948339.115
AT ITER 8954 NEW BEST:: SOT 3360914 SOS 3040111 HAS SOPS 3010416 HAS SOUS 947846 HAS SOUPS 945295 WITH SCORE 948335.111
AT ITER 8979 NEW BEST:: SOT 3362179 SOS 3041376 HAS SOPS 3011681 HAS SOUS 947658 HAS SOUPS 945107 WITH SCORE 948148.376
AT ITER 8986 NEW BEST:: SOT 3364665 SOS 3043555 HAS SOPS 3013337 HAS SOUS 947465 HAS SOUPS 944914 WITH SCORE 947957.555
AT ITER 9000 NEW BEST:: SOT 3363105 SOS 3041995 HAS SOPS 3011387 HAS SOUS 947075 HAS SOUPS 944524 WITH SCORE 947565.995
AT ITER 9030 NEW BEST:: SOT 3364807 SOS 3043697 HAS SOPS 3013089 HAS SOUS 946743 HAS SOUPS 944192 WITH SCORE 947235.697
AT ITER 9042 NEW BEST:: SOT 3361991 SOS 3040881 HAS SOPS 3010273 HAS SOUS 945975 HAS SOUPS 943424 WITH SCORE 946464.881
AT ITER 9048 NEW BEST:: SOT 3362586 SOS 3030813 HAS SOPS 3000205 HAS SOUS 943288 HAS SOUPS 940737 WITH SCORE 943767.813
AT ITER 9052 NEW BEST:: SOT 3361606 SOS 3029833 HAS SOPS 2999225 HAS SOUS 943190 HAS SOUPS 940639 WITH SCORE 943668.833
AT ITER 9065 NEW BEST:: SOT 3362953 SOS 3031180 HAS SOPS 3000572 HAS SOUS 942890 HAS SOUPS 940339 WITH SCORE 943370.18
AT ITER 9072 NEW BEST:: SOT 3363112 SOS 3031191 HAS SOPS 3000583 HAS SOUS 942052 HAS SOUPS 939501 WITH SCORE 942532.191
AT ITER 9099 NEW BEST:: SOT 3363015 SOS 3031094 HAS SOPS 3000486 HAS SOUS 941955 HAS SOUPS 939404 WITH SCORE 942435.094
AT ITER 9101 NEW BEST:: SOT 3368402 SOS 3036481 HAS SOPS 3005873 HAS SOUS 941657 HAS SOUPS 939106 WITH SCORE 942142.481
AT ITER 9106 NEW BEST:: SOT 3368214 SOS 3036293 HAS SOPS 3005685 HAS SOUS 941395 HAS SOUPS 938844 WITH SCORE 941880.293
AT ITER 9110 NEW BEST:: SOT 3372017 SOS 3037819 HAS SOPS 3006912 HAS SOUS 938658 HAS SOUPS 936107 WITH SCORE 939144.819
AT ITER 9145 NEW BEST:: SOT 3372063 SOS 3037865 HAS SOPS 3006958 HAS SOUS 938612 HAS SOUPS 936061 WITH SCORE 939098.865
AT ITER 9177 NEW BEST:: SOT 3372842 SOS 3038644 HAS SOPS 3007737 HAS SOUS 937448 HAS SOUPS 934897 WITH SCORE 937935.644
AT ITER 9178 NEW BEST:: SOT 3373313 SOS 3039115 HAS SOPS 3008208 HAS SOUS 936271 HAS SOUPS 933720 WITH SCORE 936759.115
AT ITER 9300 NEW BEST:: SOT 3355510 SOS 3021312 HAS SOPS 2990405 HAS SOUS 931014 HAS SOUPS 928463 WITH SCORE 931484.312
AT ITER 9323 NEW BEST:: SOT 3355468 SOS 3021270 HAS SOPS 2990363 HAS SOUS 930733 HAS SOUPS 928182 WITH SCORE 931203.27
AT ITER 9346 NEW BEST:: SOT 3355340 SOS 3021142 HAS SOPS 2990235 HAS SOUS 930605 HAS SOUPS 928054 WITH SCORE 931075.142
AT ITER 9354 NEW BEST:: SOT 3355340 SOS 3021077 HAS SOPS 2990170 HAS SOUS 930540 HAS SOUPS 927989 WITH SCORE 931010.077
AT ITER 9359 NEW BEST:: SOT 3354902 SOS 3020639 HAS SOPS 2989732 HAS SOUS 930246 HAS SOUPS 927695 WITH SCORE 930715.639
AT ITER 9367 NEW BEST:: SOT 3354742 SOS 3020479 HAS SOPS 2989572 HAS SOUS 930214 HAS SOUPS 927663 WITH SCORE 930683.479
AT ITER 9448 NEW BEST:: SOT 3346811 SOS 3012548 HAS SOPS 2981641 HAS SOUS 929741 HAS SOUPS 927190 WITH SCORE 930202.548
AT ITER 9497 NEW BEST:: SOT 3347166 SOS 3012903 HAS SOPS 2981996 HAS SOUS 929586 HAS SOUPS 927035 WITH SCORE 930047.903
AT ITER 9501 NEW BEST:: SOT 3347166 SOS 3012777 HAS SOPS 2981870 HAS SOUS 929586 HAS SOUPS 927035 WITH SCORE 930047.777
AT ITER 9502 NEW BEST:: SOT 3347166 SOS 3012777 HAS SOPS 2981870 HAS SOUS 928921 HAS SOUPS 926370 WITH SCORE 929382.777
AT ITER 9511 NEW BEST:: SOT 3366119 SOS 3031693 HAS SOPS 3000786 HAS SOUS 923047 HAS SOUPS 920496 WITH SCORE 923527.693
AT ITER 9531 NEW BEST:: SOT 3366232 SOS 3031751 HAS SOPS 3000844 HAS SOUS 922935 HAS SOUPS 920384 WITH SCORE 923415.751
AT ITER 9547 NEW BEST:: SOT 3366232 SOS 3031496 HAS SOPS 3000589 HAS SOUS 922934 HAS SOUPS 920383 WITH SCORE 923414.496
AT ITER 9559 NEW BEST:: SOT 3367328 SOS 3032592 HAS SOPS 3001685 HAS SOUS 922242 HAS SOUPS 919691 WITH SCORE 922723.592
AT ITER 9597 NEW BEST:: SOT 3367168 SOS 3032432 HAS SOPS 3001525 HAS SOUS 921993 HAS SOUPS 919442 WITH SCORE 922474.432
AT ITER 9602 NEW BEST:: SOT 3367168 SOS 3032432 HAS SOPS 3001525 HAS SOUS 921705 HAS SOUPS 919154 WITH SCORE 922186.432
AT ITER 9616 NEW BEST:: SOT 3367024 SOS 3032288 HAS SOPS 3001381 HAS SOUS 921633 HAS SOUPS 919082 WITH SCORE 922114.288
AT ITER 9626 NEW BEST:: SOT 3366972 SOS 3032236 HAS SOPS 3001329 HAS SOUS 921581 HAS SOUPS 919030 WITH SCORE 922062.236
AT ITER 9629 NEW BEST:: SOT 3371347 SOS 3023062 HAS SOPS 2986611 HAS SOUS 919884 HAS SOUPS 917333 WITH SCORE 920356.062
AT ITER 9642 NEW BEST:: SOT 3370317 SOS 3022032 HAS SOPS 2985581 HAS SOUS 919678 HAS SOUPS 917127 WITH SCORE 920149.032
AT ITER 9643 NEW BEST:: SOT 3370317 SOS 3022032 HAS SOPS 2985581 HAS SOUS 919010 HAS SOUPS 916459 WITH SCORE 919481.032
AT ITER 9644 NEW BEST:: SOT 3372363 SOS 3023922 HAS SOPS 2987471 HAS SOUS 918768 HAS SOUPS 916217 WITH SCORE 919240.922
AT ITER 9656 NEW BEST:: SOT 3381878 SOS 3033437 HAS SOPS 2996986 HAS SOUS 917766 HAS SOUPS 915215 WITH SCORE 918248.437
AT ITER 9665 NEW BEST:: SOT 3382637 SOS 3034196 HAS SOPS 2997745 HAS SOUS 917630 HAS SOUPS 915079 WITH SCORE 918113.196
AT ITER 9671 NEW BEST:: SOT 3382637 SOS 3034196 HAS SOPS 2997745 HAS SOUS 917570 HAS SOUPS 915019 WITH SCORE 918053.196
AT ITER 9679 NEW BEST:: SOT 3382532 SOS 3034091 HAS SOPS 2997640 HAS SOUS 917535 HAS SOUPS 914984 WITH SCORE 918018.091
AT ITER 9683 NEW BEST:: SOT 3383730 SOS 3035289 HAS SOPS 2998838 HAS SOUS 917183 HAS SOUPS 914632 WITH SCORE 917667.289
AT ITER 9686 NEW BEST:: SOT 3384805 SOS 3036364 HAS SOPS 2999913 HAS SOUS 916969 HAS SOUPS 914418 WITH SCORE 917454.364
AT ITER 9693 NEW BEST:: SOT 3384702 SOS 3035918 HAS SOPS 2999461 HAS SOUS 916763 HAS SOUPS 914212 WITH SCORE 917247.918
AT ITER 9694 NEW BEST:: SOT 3384992 SOS 3035664 HAS SOPS 2999093 HAS SOUS 915867 HAS SOUPS 913316 WITH SCORE 916351.664
AT ITER 9711 NEW BEST:: SOT 3384992 SOS 3035664 HAS SOPS 2999093 HAS SOUS 915498 HAS SOUPS 912947 WITH SCORE 915982.664
AT ITER 9781 NEW BEST:: SOT 3384992 SOS 3005146 HAS SOPS 2968575 HAS SOUS 915178 HAS SOUPS 912627 WITH SCORE 915632.146
AT ITER 9787 NEW BEST:: SOT 3384992 SOS 3005146 HAS SOPS 2968575 HAS SOUS 915096 HAS SOUPS 912545 WITH SCORE 915550.146
AT ITER 9788 NEW BEST:: SOT 3384927 SOS 3005244 HAS SOPS 2968673 HAS SOUS 914865 HAS SOUPS 912314 WITH SCORE 915319.244
AT ITER 9816 NEW BEST:: SOT 3385402 SOS 3005719 HAS SOPS 2969148 HAS SOUS 914453 HAS SOUPS 911902 WITH SCORE 914907.719
AT ITER 9824 NEW BEST:: SOT 3385402 SOS 3005910 HAS SOPS 2969339 HAS SOUS 914451 HAS SOUPS 911900 WITH SCORE 914905.91
AT ITER 9835 NEW BEST:: SOT 3418333 SOS 3037412 HAS SOPS 3000820 HAS SOUS 912289 HAS SOUPS 909738 WITH SCORE 912775.412
AT ITER 9840 NEW BEST:: SOT 3419097 SOS 3038176 HAS SOPS 3001584 HAS SOUS 911081 HAS SOUPS 908530 WITH SCORE 911568.176
AT ITER 9843 NEW BEST:: SOT 3134636 SOS 2990005 HAS SOPS 2747432 HAS SOUS 625184 HAS SOUPS 621954 WITH SCORE 624944.005
AT ITER 9847 NEW BEST:: SOT 3135545 SOS 2990914 HAS SOPS 2748341 HAS SOUS 624527 HAS SOUPS 621297 WITH SCORE 624287.914
AT ITER 9854 NEW BEST:: SOT 3135358 SOS 2990727 HAS SOPS 2748154 HAS SOUS 624527 HAS SOUPS 621297 WITH SCORE 624287.727
AT ITER 9869 NEW BEST:: SOT 3135448 SOS 2983201 HAS SOPS 2738694 HAS SOUS 624423 HAS SOUPS 621193 WITH SCORE 624176.201
AT ITER 9883 NEW BEST:: SOT 3135267 SOS 2983020 HAS SOPS 2738513 HAS SOUS 624354 HAS SOUPS 621124 WITH SCORE 624107.02
AT ITER 9892 NEW BEST:: SOT 3135168 SOS 2982921 HAS SOPS 2738414 HAS SOUS 624354 HAS SOUPS 621124 WITH SCORE 624106.921
AT ITER 9899 NEW BEST:: SOT 3135185 SOS 2982938 HAS SOPS 2738431 HAS SOUS 624337 HAS SOUPS 621107 WITH SCORE 624089.938
AT ITER 9918 NEW BEST:: SOT 3135185 SOS 2982775 HAS SOPS 2738268 HAS SOUS 624055 HAS SOUPS 620825 WITH SCORE 623807.775
AT ITER 9932 NEW BEST:: SOT 3135088 SOS 2982678 HAS SOPS 2738171 HAS SOUS 623958 HAS SOUPS 620728 WITH SCORE 623710.678
AT ITER 9953 NEW BEST:: SOT 3135035 SOS 2982625 HAS SOPS 2738118 HAS SOUS 623852 HAS SOUPS 620622 WITH SCORE 623604.625
AT ITER 9959 NEW BEST:: SOT 3123043 SOS 2970633 HAS SOPS 2727626 HAS SOUS 622945 HAS SOUPS 619715 WITH SCORE 622685.633
AT ITER 9983 NEW BEST:: SOT 3122865 SOS 2970455 HAS SOPS 2726963 HAS SOUS 621863 HAS SOUPS 618633 WITH SCORE 621603.455
AT ITER 9985 NEW BEST:: SOT 3122625 SOS 2970215 HAS SOPS 2726723 HAS SOUS 621743 HAS SOUPS 618513 WITH SCORE 621483.215
AT ITER 9999 NEW BEST:: SOT 3120631 SOS 2968221 HAS SOPS 2724729 HAS SOUS 620856 HAS SOUPS 617626 WITH SCORE 620594.221
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12679840 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152852 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-d2m07"
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-d2m07, 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-167814472300320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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