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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.2K Feb 26 15:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 15:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 15:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 15:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 15:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:32 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 1678240829549

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-d2m10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m10
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 32 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041226 HAS SOUPS 2041202 WITH SCORE 2044047.673
AT ITER 36 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2040831 HAS SOUPS 2040807 WITH SCORE 2043652.673
AT ITER 46 NEW BEST:: SOT 2908499 SOS 2848178 HAS SOPS 2848154 HAS SOUS 2039260 HAS SOUPS 2039236 WITH SCORE 2042084.178
AT ITER 111 NEW BEST:: SOT 2908889 SOS 2848568 HAS SOPS 2848544 HAS SOUS 2038127 HAS SOUPS 2038103 WITH SCORE 2040951.568
AT ITER 152 NEW BEST:: SOT 2908889 SOS 2848568 HAS SOPS 2848544 HAS SOUS 2037834 HAS SOUPS 2037810 WITH SCORE 2040658.568
AT ITER 163 NEW BEST:: SOT 2909009 SOS 2848688 HAS SOPS 2848664 HAS SOUS 2034052 HAS SOUPS 2034028 WITH SCORE 2036876.688
AT ITER 173 NEW BEST:: SOT 2909303 SOS 2848982 HAS SOPS 2848958 HAS SOUS 2033600 HAS SOUPS 2033576 WITH SCORE 2036424.982
AT ITER 188 NEW BEST:: SOT 2909303 SOS 2848982 HAS SOPS 2848958 HAS SOUS 2033304 HAS SOUPS 2033280 WITH SCORE 2036128.982
AT ITER 189 NEW BEST:: SOT 2909303 SOS 2848982 HAS SOPS 2848958 HAS SOUS 2033236 HAS SOUPS 2033212 WITH SCORE 2036060.982
AT ITER 214 NEW BEST:: SOT 2909303 SOS 2848982 HAS SOPS 2848958 HAS SOUS 2031468 HAS SOUPS 2031444 WITH SCORE 2034292.982
AT ITER 237 NEW BEST:: SOT 2909303 SOS 2848982 HAS SOPS 2848958 HAS SOUS 2029435 HAS SOUPS 2029411 WITH SCORE 2032259.982
AT ITER 259 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2028912 HAS SOUPS 2028888 WITH SCORE 2031737.714
AT ITER 267 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2028911 HAS SOUPS 2028887 WITH SCORE 2031736.714
AT ITER 273 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2027045 HAS SOUPS 2027021 WITH SCORE 2029870.714
AT ITER 290 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2026981 HAS SOUPS 2026957 WITH SCORE 2029806.714
AT ITER 322 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2026340 HAS SOUPS 2026316 WITH SCORE 2029165.714
AT ITER 358 NEW BEST:: SOT 2910035 SOS 2849714 HAS SOPS 2849690 HAS SOUS 2025477 HAS SOUPS 2025453 WITH SCORE 2028302.714
AT ITER 366 NEW BEST:: SOT 2910035 SOS 2845258 HAS SOPS 2845234 HAS SOUS 2025453 HAS SOUPS 2025429 WITH SCORE 2028274.258
AT ITER 372 NEW BEST:: SOT 2910326 SOS 2845549 HAS SOPS 2845525 HAS SOUS 2025447 HAS SOUPS 2025423 WITH SCORE 2028268.549
AT ITER 395 NEW BEST:: SOT 2913221 SOS 2848444 HAS SOPS 2848420 HAS SOUS 2025277 HAS SOUPS 2025253 WITH SCORE 2028101.444
AT ITER 449 NEW BEST:: SOT 2916683 SOS 2851906 HAS SOPS 2851882 HAS SOUS 2024721 HAS SOUPS 2024697 WITH SCORE 2027548.906
AT ITER 453 NEW BEST:: SOT 2916683 SOS 2851906 HAS SOPS 2851882 HAS SOUS 2024720 HAS SOUPS 2024696 WITH SCORE 2027547.906
AT ITER 475 NEW BEST:: SOT 2921298 SOS 2856126 HAS SOPS 2856102 HAS SOUS 2024468 HAS SOUPS 2024444 WITH SCORE 2027300.126
AT ITER 509 NEW BEST:: SOT 2925514 SOS 2860342 HAS SOPS 2860318 HAS SOUS 2024258 HAS SOUPS 2024234 WITH SCORE 2027094.342
AT ITER 511 NEW BEST:: SOT 2925514 SOS 2860342 HAS SOPS 2860318 HAS SOUS 2024091 HAS SOUPS 2024067 WITH SCORE 2026927.342
AT ITER 513 NEW BEST:: SOT 2925940 SOS 2860118 HAS SOPS 2860094 HAS SOUS 2023867 HAS SOUPS 2023843 WITH SCORE 2026703.118
AT ITER 528 NEW BEST:: SOT 2925940 SOS 2860118 HAS SOPS 2860094 HAS SOUS 2023247 HAS SOUPS 2023223 WITH SCORE 2026083.118
AT ITER 536 NEW BEST:: SOT 2927836 SOS 2862014 HAS SOPS 2861990 HAS SOUS 2022703 HAS SOUPS 2022679 WITH SCORE 2025541.014
AT ITER 541 NEW BEST:: SOT 2927836 SOS 2861620 HAS SOPS 2861596 HAS SOUS 2021495 HAS SOUPS 2021471 WITH SCORE 2024332.62
AT ITER 550 NEW BEST:: SOT 2931076 SOS 2864860 HAS SOPS 2864836 HAS SOUS 2020483 HAS SOUPS 2020459 WITH SCORE 2023323.86
AT ITER 563 NEW BEST:: SOT 2931076 SOS 2864860 HAS SOPS 2864836 HAS SOUS 2020344 HAS SOUPS 2020320 WITH SCORE 2023184.86
AT ITER 602 NEW BEST:: SOT 2931835 SOS 2865619 HAS SOPS 2865595 HAS SOUS 2020047 HAS SOUPS 2020023 WITH SCORE 2022888.619
AT ITER 659 NEW BEST:: SOT 2931835 SOS 2865619 HAS SOPS 2865595 HAS SOUS 2019793 HAS SOUPS 2019769 WITH SCORE 2022634.619
AT ITER 727 NEW BEST:: SOT 2931835 SOS 2865619 HAS SOPS 2865595 HAS SOUS 2019792 HAS SOUPS 2019768 WITH SCORE 2022633.619
AT ITER 737 NEW BEST:: SOT 2937170 SOS 2870954 HAS SOPS 2870930 HAS SOUS 2017393 HAS SOUPS 2017369 WITH SCORE 2020239.954
AT ITER 769 NEW BEST:: SOT 2938784 SOS 2872568 HAS SOPS 2872544 HAS SOUS 2016857 HAS SOUPS 2016833 WITH SCORE 2019705.568
AT ITER 778 NEW BEST:: SOT 2938784 SOS 2872568 HAS SOPS 2872544 HAS SOUS 2016115 HAS SOUPS 2016091 WITH SCORE 2018963.568
AT ITER 781 NEW BEST:: SOT 2942702 SOS 2876486 HAS SOPS 2876462 HAS SOUS 2015097 HAS SOUPS 2015073 WITH SCORE 2017949.486
AT ITER 784 NEW BEST:: SOT 2942898 SOS 2876682 HAS SOPS 2876658 HAS SOUS 2014997 HAS SOUPS 2014973 WITH SCORE 2017849.682
AT ITER 814 NEW BEST:: SOT 2942898 SOS 2876682 HAS SOPS 2876658 HAS SOUS 2013446 HAS SOUPS 2013422 WITH SCORE 2016298.682
AT ITER 828 NEW BEST:: SOT 2945058 SOS 2878842 HAS SOPS 2878818 HAS SOUS 2009482 HAS SOUPS 2009458 WITH SCORE 2012336.842
AT ITER 835 NEW BEST:: SOT 2947512 SOS 2881296 HAS SOPS 2881272 HAS SOUS 2009074 HAS SOUPS 2009050 WITH SCORE 2011931.296
AT ITER 836 NEW BEST:: SOT 2955697 SOS 2889084 HAS SOPS 2889060 HAS SOUS 2007776 HAS SOUPS 2007752 WITH SCORE 2010641.084
AT ITER 891 NEW BEST:: SOT 2955697 SOS 2889084 HAS SOPS 2889060 HAS SOUS 2007443 HAS SOUPS 2007419 WITH SCORE 2010308.084
AT ITER 919 NEW BEST:: SOT 2959973 SOS 2893360 HAS SOPS 2893336 HAS SOUS 2006464 HAS SOUPS 2006440 WITH SCORE 2009333.36
AT ITER 967 NEW BEST:: SOT 2960347 SOS 2893734 HAS SOPS 2893710 HAS SOUS 2006421 HAS SOUPS 2006397 WITH SCORE 2009290.734
AT ITER 969 NEW BEST:: SOT 2960347 SOS 2893734 HAS SOPS 2893710 HAS SOUS 2004271 HAS SOUPS 2004247 WITH SCORE 2007140.734
AT ITER 980 NEW BEST:: SOT 2960425 SOS 2893812 HAS SOPS 2893788 HAS SOUS 2004244 HAS SOUPS 2004220 WITH SCORE 2007113.812
AT ITER 985 NEW BEST:: SOT 2960425 SOS 2893812 HAS SOPS 2893788 HAS SOUS 2004243 HAS SOUPS 2004219 WITH SCORE 2007112.812
AT ITER 1019 NEW BEST:: SOT 2960425 SOS 2893812 HAS SOPS 2893788 HAS SOUS 2003976 HAS SOUPS 2003952 WITH SCORE 2006845.812
AT ITER 1071 NEW BEST:: SOT 2960425 SOS 2893812 HAS SOPS 2893788 HAS SOUS 2003786 HAS SOUPS 2003762 WITH SCORE 2006655.812
AT ITER 1072 NEW BEST:: SOT 2962833 SOS 2895847 HAS SOPS 2895823 HAS SOUS 1999810 HAS SOUPS 1999786 WITH SCORE 2002681.847
AT ITER 1081 NEW BEST:: SOT 2962833 SOS 2895428 HAS SOPS 2895404 HAS SOUS 1997977 HAS SOUPS 1997953 WITH SCORE 2000848.428
AT ITER 1094 NEW BEST:: SOT 2962833 SOS 2895428 HAS SOPS 2895404 HAS SOUS 1996824 HAS SOUPS 1996800 WITH SCORE 1999695.428
AT ITER 1121 NEW BEST:: SOT 2964383 SOS 2896978 HAS SOPS 2896954 HAS SOUS 1996684 HAS SOUPS 1996660 WITH SCORE 1999556.978
AT ITER 1150 NEW BEST:: SOT 2964383 SOS 2896978 HAS SOPS 2896954 HAS SOUS 1996624 HAS SOUPS 1996600 WITH SCORE 1999496.978
AT ITER 1154 NEW BEST:: SOT 2969411 SOS 2902006 HAS SOPS 2901982 HAS SOUS 1993096 HAS SOUPS 1993072 WITH SCORE 1995974.006
AT ITER 1183 NEW BEST:: SOT 2970524 SOS 2903119 HAS SOPS 2903095 HAS SOUS 1991387 HAS SOUPS 1991363 WITH SCORE 1994266.119
AT ITER 1204 NEW BEST:: SOT 2971685 SOS 2904280 HAS SOPS 2904256 HAS SOUS 1991378 HAS SOUPS 1991354 WITH SCORE 1994258.28
AT ITER 1210 NEW BEST:: SOT 2971885 SOS 2904480 HAS SOPS 2904456 HAS SOUS 1988503 HAS SOUPS 1988479 WITH SCORE 1991383.48
AT ITER 1230 NEW BEST:: SOT 2972177 SOS 2904772 HAS SOPS 2904748 HAS SOUS 1988469 HAS SOUPS 1988445 WITH SCORE 1991349.772
AT ITER 1236 NEW BEST:: SOT 2972177 SOS 2904772 HAS SOPS 2904748 HAS SOUS 1988257 HAS SOUPS 1988233 WITH SCORE 1991137.772
AT ITER 1305 NEW BEST:: SOT 2972309 SOS 2904904 HAS SOPS 2904880 HAS SOUS 1987304 HAS SOUPS 1987280 WITH SCORE 1990184.904
AT ITER 1314 NEW BEST:: SOT 2972309 SOS 2904758 HAS SOPS 2904734 HAS SOUS 1987304 HAS SOUPS 1987280 WITH SCORE 1990184.758
AT ITER 1323 NEW BEST:: SOT 2973236 SOS 2905685 HAS SOPS 2905661 HAS SOUS 1986498 HAS SOUPS 1986474 WITH SCORE 1989379.685
AT ITER 1396 NEW BEST:: SOT 2975428 SOS 2907877 HAS SOPS 2907853 HAS SOUS 1984619 HAS SOUPS 1984595 WITH SCORE 1987502.877
AT ITER 1438 NEW BEST:: SOT 2976199 SOS 2908648 HAS SOPS 2908624 HAS SOUS 1983684 HAS SOUPS 1983660 WITH SCORE 1986568.648
AT ITER 1447 NEW BEST:: SOT 2976199 SOS 2908648 HAS SOPS 2908624 HAS SOUS 1983555 HAS SOUPS 1983531 WITH SCORE 1986439.648
AT ITER 1448 NEW BEST:: SOT 2976199 SOS 2898700 HAS SOPS 2898676 HAS SOUS 1983223 HAS SOUPS 1983199 WITH SCORE 1986097.7
AT ITER 1471 NEW BEST:: SOT 2976703 SOS 2899204 HAS SOPS 2899180 HAS SOUS 1981743 HAS SOUPS 1981719 WITH SCORE 1984618.204
AT ITER 1484 NEW BEST:: SOT 2978611 SOS 2901112 HAS SOPS 2901088 HAS SOUS 1981187 HAS SOUPS 1981163 WITH SCORE 1984064.112
AT ITER 1556 NEW BEST:: SOT 2979065 SOS 2901566 HAS SOPS 2901542 HAS SOUS 1980952 HAS SOUPS 1980928 WITH SCORE 1983829.566
AT ITER 1566 NEW BEST:: SOT 2980276 SOS 2902777 HAS SOPS 2902753 HAS SOUS 1980947 HAS SOUPS 1980923 WITH SCORE 1983825.777
AT ITER 1594 NEW BEST:: SOT 2980276 SOS 2902777 HAS SOPS 2902753 HAS SOUS 1980706 HAS SOUPS 1980682 WITH SCORE 1983584.777
AT ITER 1612 NEW BEST:: SOT 2980276 SOS 2902405 HAS SOPS 2902381 HAS SOUS 1979051 HAS SOUPS 1979027 WITH SCORE 1981929.405
AT ITER 1633 NEW BEST:: SOT 2980504 SOS 2902633 HAS SOPS 2902609 HAS SOUS 1978894 HAS SOUPS 1978870 WITH SCORE 1981772.633
AT ITER 1649 NEW BEST:: SOT 2981005 SOS 2903134 HAS SOPS 2903110 HAS SOUS 1976110 HAS SOUPS 1976086 WITH SCORE 1978989.134
AT ITER 1666 NEW BEST:: SOT 2982199 SOS 2904328 HAS SOPS 2904304 HAS SOUS 1975154 HAS SOUPS 1975130 WITH SCORE 1978034.328
AT ITER 1744 NEW BEST:: SOT 2982199 SOS 2904328 HAS SOPS 2904304 HAS SOUS 1975152 HAS SOUPS 1975128 WITH SCORE 1978032.328
AT ITER 1748 NEW BEST:: SOT 2982485 SOS 2904614 HAS SOPS 2904590 HAS SOUS 1974995 HAS SOUPS 1974971 WITH SCORE 1977875.614
AT ITER 1769 NEW BEST:: SOT 2982853 SOS 2904982 HAS SOPS 2904958 HAS SOUS 1974938 HAS SOUPS 1974914 WITH SCORE 1977818.982
AT ITER 1770 NEW BEST:: SOT 2986801 SOS 2908930 HAS SOPS 2908906 HAS SOUS 1974168 HAS SOUPS 1974144 WITH SCORE 1977052.93
AT ITER 1830 NEW BEST:: SOT 2986801 SOS 2908930 HAS SOPS 2908906 HAS SOUS 1973631 HAS SOUPS 1973607 WITH SCORE 1976515.93
AT ITER 1842 NEW BEST:: SOT 2986801 SOS 2908930 HAS SOPS 2908906 HAS SOUS 1973628 HAS SOUPS 1973604 WITH SCORE 1976512.93
AT ITER 1869 NEW BEST:: SOT 2986801 SOS 2908930 HAS SOPS 2908906 HAS SOUS 1972791 HAS SOUPS 1972767 WITH SCORE 1975675.93
AT ITER 1870 NEW BEST:: SOT 2986929 SOS 2909058 HAS SOPS 2909034 HAS SOUS 1971916 HAS SOUPS 1971892 WITH SCORE 1974801.058
AT ITER 1891 NEW BEST:: SOT 2986963 SOS 2909092 HAS SOPS 2909068 HAS SOUS 1971781 HAS SOUPS 1971757 WITH SCORE 1974666.092
AT ITER 1931 NEW BEST:: SOT 2988700 SOS 2910829 HAS SOPS 2910805 HAS SOUS 1970945 HAS SOUPS 1970921 WITH SCORE 1973831.829
AT ITER 1957 NEW BEST:: SOT 2989162 SOS 2911291 HAS SOPS 2911267 HAS SOUS 1969445 HAS SOUPS 1969421 WITH SCORE 1972332.291
AT ITER 1983 NEW BEST:: SOT 2989750 SOS 2911879 HAS SOPS 2911855 HAS SOUS 1968895 HAS SOUPS 1968871 WITH SCORE 1971782.879
AT ITER 1999 NEW BEST:: SOT 2989750 SOS 2910727 HAS SOPS 2910703 HAS SOUS 1968521 HAS SOUPS 1968497 WITH SCORE 1971407.727
AT ITER 2009 NEW BEST:: SOT 2989750 SOS 2910313 HAS SOPS 2910289 HAS SOUS 1965735 HAS SOUPS 1965711 WITH SCORE 1968621.313
AT ITER 2010 NEW BEST:: SOT 2989750 SOS 2909139 HAS SOPS 2909115 HAS SOUS 1960612 HAS SOUPS 1960588 WITH SCORE 1963497.139
AT ITER 2018 NEW BEST:: SOT 2989750 SOS 2909139 HAS SOPS 2909115 HAS SOUS 1959835 HAS SOUPS 1959811 WITH SCORE 1962720.139
AT ITER 2084 NEW BEST:: SOT 2990248 SOS 2909637 HAS SOPS 2909613 HAS SOUS 1957946 HAS SOUPS 1957922 WITH SCORE 1960831.637
AT ITER 2098 NEW BEST:: SOT 2990893 SOS 2910282 HAS SOPS 2910258 HAS SOUS 1956083 HAS SOUPS 1956059 WITH SCORE 1958969.282
AT ITER 2116 NEW BEST:: SOT 2990893 SOS 2909501 HAS SOPS 2909477 HAS SOUS 1955941 HAS SOUPS 1955917 WITH SCORE 1958826.501
AT ITER 2127 NEW BEST:: SOT 2992843 SOS 2911451 HAS SOPS 2911427 HAS SOUS 1955105 HAS SOUPS 1955081 WITH SCORE 1957992.451
AT ITER 2130 NEW BEST:: SOT 2995468 SOS 2913767 HAS SOPS 2913743 HAS SOUS 1952315 HAS SOUPS 1952291 WITH SCORE 1955204.767
AT ITER 2146 NEW BEST:: SOT 2995468 SOS 2913767 HAS SOPS 2913743 HAS SOUS 1952128 HAS SOUPS 1952104 WITH SCORE 1955017.767
AT ITER 2156 NEW BEST:: SOT 2995468 SOS 2912464 HAS SOPS 2912440 HAS SOUS 1951086 HAS SOUPS 1951062 WITH SCORE 1953974.464
AT ITER 2178 NEW BEST:: SOT 2999062 SOS 2916058 HAS SOPS 2916034 HAS SOUS 1950227 HAS SOUPS 1950203 WITH SCORE 1953119.058
AT ITER 2195 NEW BEST:: SOT 2999458 SOS 2916454 HAS SOPS 2916430 HAS SOUS 1948277 HAS SOUPS 1948253 WITH SCORE 1951169.454
AT ITER 2233 NEW BEST:: SOT 2999580 SOS 2916576 HAS SOPS 2916552 HAS SOUS 1947730 HAS SOUPS 1947706 WITH SCORE 1950622.576
AT ITER 2241 NEW BEST:: SOT 2991880 SOS 2908876 HAS SOPS 2908852 HAS SOUS 1944741 HAS SOUPS 1944717 WITH SCORE 1947625.876
AT ITER 2247 NEW BEST:: SOT 2991880 SOS 2890803 HAS SOPS 2890779 HAS SOUS 1943644 HAS SOUPS 1943620 WITH SCORE 1946510.803
AT ITER 2264 NEW BEST:: SOT 2994590 SOS 2893513 HAS SOPS 2893489 HAS SOUS 1939030 HAS SOUPS 1939006 WITH SCORE 1941899.513
AT ITER 2265 NEW BEST:: SOT 2994982 SOS 2893905 HAS SOPS 2893881 HAS SOUS 1938905 HAS SOUPS 1938881 WITH SCORE 1941774.905
AT ITER 2275 NEW BEST:: SOT 2995087 SOS 2893590 HAS SOPS 2893566 HAS SOUS 1938877 HAS SOUPS 1938853 WITH SCORE 1941746.59
AT ITER 2342 NEW BEST:: SOT 2998943 SOS 2897446 HAS SOPS 2897422 HAS SOUS 1937456 HAS SOUPS 1937432 WITH SCORE 1940329.446
AT ITER 2393 NEW BEST:: SOT 2998943 SOS 2897446 HAS SOPS 2897422 HAS SOUS 1937286 HAS SOUPS 1937262 WITH SCORE 1940159.446
AT ITER 2426 NEW BEST:: SOT 3002117 SOS 2900620 HAS SOPS 2900596 HAS SOUS 1937268 HAS SOUPS 1937244 WITH SCORE 1940144.62
AT ITER 2498 NEW BEST:: SOT 3002117 SOS 2900528 HAS SOPS 2900504 HAS SOUS 1936960 HAS SOUPS 1936936 WITH SCORE 1939836.528
AT ITER 2499 NEW BEST:: SOT 3006162 SOS 2904573 HAS SOPS 2904549 HAS SOUS 1932980 HAS SOUPS 1932956 WITH SCORE 1935860.573
AT ITER 2502 NEW BEST:: SOT 3010242 SOS 2908653 HAS SOPS 2908629 HAS SOUS 1932484 HAS SOUPS 1932460 WITH SCORE 1935368.653
AT ITER 2503 NEW BEST:: SOT 3011982 SOS 2910393 HAS SOPS 2910369 HAS SOUS 1930379 HAS SOUPS 1930355 WITH SCORE 1933265.393
AT ITER 2510 NEW BEST:: SOT 3012108 SOS 2910519 HAS SOPS 2910495 HAS SOUS 1930035 HAS SOUPS 1930011 WITH SCORE 1932921.519
AT ITER 2512 NEW BEST:: SOT 3015438 SOS 2913849 HAS SOPS 2913825 HAS SOUS 1929069 HAS SOUPS 1929045 WITH SCORE 1931958.849
AT ITER 2538 NEW BEST:: SOT 3017403 SOS 2915814 HAS SOPS 2915790 HAS SOUS 1925262 HAS SOUPS 1925238 WITH SCORE 1928153.814
AT ITER 2554 NEW BEST:: SOT 3017403 SOS 2915814 HAS SOPS 2915790 HAS SOUS 1924290 HAS SOUPS 1924266 WITH SCORE 1927181.814
AT ITER 2559 NEW BEST:: SOT 3019473 SOS 2917884 HAS SOPS 2917860 HAS SOUS 1922919 HAS SOUPS 1922895 WITH SCORE 1925812.884
AT ITER 2571 NEW BEST:: SOT 3021273 SOS 2919684 HAS SOPS 2919660 HAS SOUS 1922682 HAS SOUPS 1922658 WITH SCORE 1925577.684
AT ITER 2625 NEW BEST:: SOT 3022329 SOS 2920740 HAS SOPS 2920716 HAS SOUS 1921991 HAS SOUPS 1921967 WITH SCORE 1924887.74
AT ITER 2642 NEW BEST:: SOT 3024387 SOS 2922798 HAS SOPS 2922774 HAS SOUS 1920610 HAS SOUPS 1920586 WITH SCORE 1923508.798
AT ITER 2682 NEW BEST:: SOT 3026433 SOS 2924844 HAS SOPS 2924820 HAS SOUS 1919696 HAS SOUPS 1919672 WITH SCORE 1922596.844
AT ITER 2683 NEW BEST:: SOT 3032553 SOS 2930964 HAS SOPS 2930940 HAS SOUS 1919194 HAS SOUPS 1919170 WITH SCORE 1922100.964
AT ITER 2703 NEW BEST:: SOT 3039423 SOS 2937792 HAS SOPS 2937768 HAS SOUS 1915984 HAS SOUPS 1915960 WITH SCORE 1918897.792
AT ITER 2708 NEW BEST:: SOT 3039423 SOS 2937792 HAS SOPS 2937768 HAS SOUS 1915673 HAS SOUPS 1915649 WITH SCORE 1918586.792
AT ITER 2743 NEW BEST:: SOT 3039423 SOS 2937792 HAS SOPS 2937768 HAS SOUS 1915609 HAS SOUPS 1915585 WITH SCORE 1918522.792
AT ITER 2769 NEW BEST:: SOT 3039423 SOS 2937792 HAS SOPS 2937768 HAS SOUS 1910157 HAS SOUPS 1910133 WITH SCORE 1913070.792
AT ITER 2832 NEW BEST:: SOT 3039423 SOS 2910468 HAS SOPS 2910444 HAS SOUS 1910157 HAS SOUPS 1910133 WITH SCORE 1913043.468
AT ITER 2836 NEW BEST:: SOT 3039423 SOS 2910379 HAS SOPS 2910355 HAS SOUS 1905753 HAS SOUPS 1905729 WITH SCORE 1908639.379
AT ITER 2849 NEW BEST:: SOT 3039423 SOS 2910379 HAS SOPS 2910355 HAS SOUS 1905189 HAS SOUPS 1905165 WITH SCORE 1908075.379
AT ITER 2850 NEW BEST:: SOT 3043098 SOS 2914054 HAS SOPS 2914030 HAS SOUS 1904780 HAS SOUPS 1904756 WITH SCORE 1907670.054
AT ITER 2859 NEW BEST:: SOT 3043456 SOS 2914412 HAS SOPS 2914388 HAS SOUS 1903828 HAS SOUPS 1903804 WITH SCORE 1906718.412
AT ITER 2861 NEW BEST:: SOT 3046996 SOS 2917952 HAS SOPS 2917928 HAS SOUS 1902928 HAS SOUPS 1902904 WITH SCORE 1905821.952
AT ITER 2926 NEW BEST:: SOT 3046996 SOS 2917372 HAS SOPS 2917348 HAS SOUS 1900318 HAS SOUPS 1900294 WITH SCORE 1903211.372
AT ITER 2939 NEW BEST:: SOT 3048271 SOS 2918647 HAS SOPS 2918623 HAS SOUS 1899395 HAS SOUPS 1899371 WITH SCORE 1902289.647
AT ITER 2940 NEW BEST:: SOT 3048903 SOS 2917835 HAS SOPS 2917811 HAS SOUS 1898404 HAS SOUPS 1898380 WITH SCORE 1901297.835
AT ITER 2973 NEW BEST:: SOT 3048903 SOS 2916244 HAS SOPS 2916220 HAS SOUS 1893117 HAS SOUPS 1893093 WITH SCORE 1896009.244
AT ITER 2996 NEW BEST:: SOT 3050569 SOS 2917584 HAS SOPS 2917560 HAS SOUS 1888353 HAS SOUPS 1888329 WITH SCORE 1891246.584
AT ITER 3004 NEW BEST:: SOT 3050569 SOS 2917584 HAS SOPS 2917560 HAS SOUS 1888328 HAS SOUPS 1888304 WITH SCORE 1891221.584
AT ITER 3007 NEW BEST:: SOT 3051160 SOS 2918004 HAS SOPS 2917980 HAS SOUS 1887103 HAS SOUPS 1887079 WITH SCORE 1889997.004
AT ITER 3013 NEW BEST:: SOT 3051181 SOS 2918025 HAS SOPS 2918001 HAS SOUS 1884325 HAS SOUPS 1884301 WITH SCORE 1887219.025
AT ITER 3031 NEW BEST:: SOT 3051745 SOS 2918589 HAS SOPS 2918565 HAS SOUS 1884312 HAS SOUPS 1884288 WITH SCORE 1887206.589
AT ITER 3034 NEW BEST:: SOT 3051745 SOS 2918589 HAS SOPS 2918565 HAS SOUS 1883998 HAS SOUPS 1883974 WITH SCORE 1886892.589
AT ITER 3058 NEW BEST:: SOT 3051745 SOS 2918452 HAS SOPS 2918428 HAS SOUS 1883998 HAS SOUPS 1883974 WITH SCORE 1886892.452
AT ITER 3075 NEW BEST:: SOT 3051925 SOS 2918632 HAS SOPS 2918608 HAS SOUS 1883455 HAS SOUPS 1883431 WITH SCORE 1886349.632
AT ITER 3125 NEW BEST:: SOT 3051925 SOS 2914704 HAS SOPS 2914680 HAS SOUS 1883114 HAS SOUPS 1883090 WITH SCORE 1886004.704
AT ITER 3128 NEW BEST:: SOT 3051925 SOS 2914704 HAS SOPS 2914680 HAS SOUS 1882202 HAS SOUPS 1882178 WITH SCORE 1885092.704
AT ITER 3129 NEW BEST:: SOT 3055717 SOS 2918345 HAS SOPS 2918321 HAS SOUS 1875669 HAS SOUPS 1875645 WITH SCORE 1878563.345
AT ITER 3132 NEW BEST:: SOT 3055717 SOS 2918345 HAS SOPS 2918321 HAS SOUS 1875434 HAS SOUPS 1875410 WITH SCORE 1878328.345
AT ITER 3160 NEW BEST:: SOT 3055729 SOS 2918357 HAS SOPS 2918333 HAS SOUS 1874852 HAS SOUPS 1874828 WITH SCORE 1877746.357
AT ITER 3190 NEW BEST:: SOT 3055729 SOS 2918110 HAS SOPS 2918086 HAS SOUS 1874852 HAS SOUPS 1874828 WITH SCORE 1877746.11
AT ITER 3197 NEW BEST:: SOT 3060925 SOS 2923306 HAS SOPS 2923282 HAS SOUS 1873922 HAS SOUPS 1873898 WITH SCORE 1876821.306
AT ITER 3211 NEW BEST:: SOT 3063225 SOS 2925606 HAS SOPS 2925582 HAS SOUS 1873606 HAS SOUPS 1873582 WITH SCORE 1876507.606
AT ITER 3218 NEW BEST:: SOT 3064111 SOS 2924492 HAS SOPS 2924468 HAS SOUS 1862795 HAS SOUPS 1862771 WITH SCORE 1865695.492
AT ITER 3276 NEW BEST:: SOT 3068907 SOS 2929146 HAS SOPS 2929122 HAS SOUS 1853290 HAS SOUPS 1853266 WITH SCORE 1856195.146
AT ITER 3280 NEW BEST:: SOT 3068907 SOS 2927570 HAS SOPS 2927546 HAS SOUS 1838419 HAS SOUPS 1838395 WITH SCORE 1841322.57
AT ITER 3300 NEW BEST:: SOT 3068995 SOS 2927658 HAS SOPS 2927634 HAS SOUS 1836082 HAS SOUPS 1836058 WITH SCORE 1838985.658
AT ITER 3310 NEW BEST:: SOT 3068995 SOS 2922293 HAS SOPS 2922269 HAS SOUS 1831651 HAS SOUPS 1831627 WITH SCORE 1834549.293
AT ITER 3327 NEW BEST:: SOT 3068995 SOS 2922293 HAS SOPS 2922269 HAS SOUS 1831584 HAS SOUPS 1831560 WITH SCORE 1834482.293
AT ITER 3331 NEW BEST:: SOT 3068995 SOS 2920171 HAS SOPS 2920147 HAS SOUS 1822442 HAS SOUPS 1822418 WITH SCORE 1825338.171
AT ITER 3358 NEW BEST:: SOT 3068995 SOS 2920171 HAS SOPS 2920147 HAS SOUS 1819971 HAS SOUPS 1819947 WITH SCORE 1822867.171
AT ITER 3378 NEW BEST:: SOT 3070438 SOS 2921614 HAS SOPS 2921590 HAS SOUS 1819696 HAS SOUPS 1819672 WITH SCORE 1822593.614
AT ITER 3380 NEW BEST:: SOT 3068824 SOS 2920000 HAS SOPS 2919976 HAS SOUS 1819066 HAS SOUPS 1819042 WITH SCORE 1821962.0
AT ITER 3396 NEW BEST:: SOT 3068824 SOS 2920000 HAS SOPS 2919976 HAS SOUS 1818140 HAS SOUPS 1818116 WITH SCORE 1821036.0
AT ITER 3413 NEW BEST:: SOT 3068824 SOS 2920000 HAS SOPS 2919976 HAS SOUS 1816978 HAS SOUPS 1816954 WITH SCORE 1819874.0
AT ITER 3442 NEW BEST:: SOT 3068824 SOS 2920000 HAS SOPS 2919976 HAS SOUS 1815827 HAS SOUPS 1815803 WITH SCORE 1818723.0
AT ITER 3454 NEW BEST:: SOT 3078239 SOS 2929415 HAS SOPS 2929391 HAS SOUS 1814579 HAS SOUPS 1814555 WITH SCORE 1817484.415
AT ITER 3457 NEW BEST:: SOT 3079946 SOS 2931122 HAS SOPS 2931098 HAS SOUS 1814444 HAS SOUPS 1814420 WITH SCORE 1817351.122
AT ITER 3490 NEW BEST:: SOT 3083618 SOS 2933909 HAS SOPS 2933885 HAS SOUS 1804094 HAS SOUPS 1804070 WITH SCORE 1807003.909
AT ITER 3502 NEW BEST:: SOT 3087218 SOS 2936927 HAS SOPS 2936903 HAS SOUS 1793569 HAS SOUPS 1793545 WITH SCORE 1796481.927
AT ITER 3504 NEW BEST:: SOT 3088307 SOS 2938016 HAS SOPS 2937992 HAS SOUS 1791846 HAS SOUPS 1791822 WITH SCORE 1794760.016
AT ITER 3509 NEW BEST:: SOT 3088241 SOS 2937950 HAS SOPS 2937926 HAS SOUS 1791802 HAS SOUPS 1791778 WITH SCORE 1794715.95
AT ITER 3513 NEW BEST:: SOT 3088241 SOS 2937950 HAS SOPS 2937926 HAS SOUS 1791797 HAS SOUPS 1791773 WITH SCORE 1794710.95
AT ITER 3539 NEW BEST:: SOT 3088375 SOS 2938084 HAS SOPS 2938060 HAS SOUS 1791508 HAS SOUPS 1791484 WITH SCORE 1794422.084
AT ITER 3574 NEW BEST:: SOT 3088375 SOS 2938084 HAS SOPS 2938060 HAS SOUS 1789532 HAS SOUPS 1789508 WITH SCORE 1792446.084
AT ITER 3615 NEW BEST:: SOT 3088375 SOS 2938084 HAS SOPS 2938060 HAS SOUS 1789494 HAS SOUPS 1789470 WITH SCORE 1792408.084
AT ITER 3648 NEW BEST:: SOT 3097307 SOS 2946458 HAS SOPS 2946434 HAS SOUS 1783053 HAS SOUPS 1783029 WITH SCORE 1785975.458
AT ITER 3653 NEW BEST:: SOT 3097653 SOS 2946804 HAS SOPS 2946780 HAS SOUS 1783032 HAS SOUPS 1783008 WITH SCORE 1785954.804
AT ITER 3662 NEW BEST:: SOT 3095138 SOS 2944289 HAS SOPS 2944265 HAS SOUS 1782529 HAS SOUPS 1782505 WITH SCORE 1785449.289
AT ITER 3663 NEW BEST:: SOT 3095138 SOS 2944289 HAS SOPS 2944265 HAS SOUS 1781428 HAS SOUPS 1781404 WITH SCORE 1784348.289
AT ITER 3666 NEW BEST:: SOT 3095138 SOS 2944407 HAS SOPS 2944383 HAS SOUS 1781308 HAS SOUPS 1781284 WITH SCORE 1784228.407
AT ITER 3675 NEW BEST:: SOT 3096302 SOS 2944809 HAS SOPS 2944785 HAS SOUS 1778337 HAS SOUPS 1778313 WITH SCORE 1781257.809
AT ITER 3684 NEW BEST:: SOT 3096302 SOS 2944809 HAS SOPS 2944785 HAS SOUS 1777724 HAS SOUPS 1777700 WITH SCORE 1780644.809
AT ITER 3730 NEW BEST:: SOT 3104772 SOS 2952727 HAS SOPS 2952703 HAS SOUS 1767915 HAS SOUPS 1767891 WITH SCORE 1770843.727
AT ITER 3752 NEW BEST:: SOT 3105222 SOS 2953177 HAS SOPS 2953153 HAS SOUS 1767659 HAS SOUPS 1767635 WITH SCORE 1770588.177
AT ITER 3756 NEW BEST:: SOT 3105226 SOS 2953181 HAS SOPS 2953157 HAS SOUS 1767648 HAS SOUPS 1767624 WITH SCORE 1770577.181
AT ITER 3794 NEW BEST:: SOT 3105340 SOS 2953295 HAS SOPS 2953271 HAS SOUS 1767560 HAS SOUPS 1767536 WITH SCORE 1770489.295
AT ITER 3795 NEW BEST:: SOT 3105340 SOS 2953295 HAS SOPS 2953271 HAS SOUS 1767559 HAS SOUPS 1767535 WITH SCORE 1770488.295
AT ITER 3816 NEW BEST:: SOT 3105340 SOS 2953295 HAS SOPS 2953271 HAS SOUS 1767161 HAS SOUPS 1767137 WITH SCORE 1770090.295
AT ITER 3836 NEW BEST:: SOT 3105340 SOS 2952139 HAS SOPS 2952115 HAS SOUS 1757317 HAS SOUPS 1757293 WITH SCORE 1760245.139
AT ITER 3869 NEW BEST:: SOT 3105340 SOS 2952401 HAS SOPS 2952377 HAS SOUS 1757015 HAS SOUPS 1756991 WITH SCORE 1759943.401
AT ITER 3873 NEW BEST:: SOT 3105198 SOS 2952263 HAS SOPS 2952239 HAS SOUS 1756745 HAS SOUPS 1756721 WITH SCORE 1759673.263
AT ITER 3878 NEW BEST:: SOT 3105723 SOS 2952788 HAS SOPS 2952764 HAS SOUS 1754843 HAS SOUPS 1754819 WITH SCORE 1757771.788
AT ITER 3880 NEW BEST:: SOT 3105723 SOS 2952788 HAS SOPS 2952764 HAS SOUS 1754682 HAS SOUPS 1754658 WITH SCORE 1757610.788
AT ITER 3882 NEW BEST:: SOT 3105723 SOS 2952788 HAS SOPS 2952764 HAS SOUS 1754546 HAS SOUPS 1754522 WITH SCORE 1757474.788
AT ITER 3912 NEW BEST:: SOT 3105693 SOS 2952758 HAS SOPS 2952734 HAS SOUS 1754536 HAS SOUPS 1754512 WITH SCORE 1757464.758
AT ITER 3932 NEW BEST:: SOT 3108369 SOS 2955434 HAS SOPS 2955410 HAS SOUS 1754504 HAS SOUPS 1754480 WITH SCORE 1757435.434
AT ITER 3936 NEW BEST:: SOT 3108369 SOS 2955434 HAS SOPS 2955410 HAS SOUS 1753608 HAS SOUPS 1753584 WITH SCORE 1756539.434
AT ITER 3967 NEW BEST:: SOT 3108652 SOS 2955717 HAS SOPS 2955693 HAS SOUS 1752931 HAS SOUPS 1752907 WITH SCORE 1755862.717
AT ITER 3971 NEW BEST:: SOT 3109138 SOS 2956203 HAS SOPS 2956179 HAS SOUS 1752721 HAS SOUPS 1752697 WITH SCORE 1755653.203
AT ITER 4023 NEW BEST:: SOT 3110881 SOS 2957946 HAS SOPS 2957922 HAS SOUS 1751658 HAS SOUPS 1751634 WITH SCORE 1754591.946
AT ITER 4047 NEW BEST:: SOT 3110881 SOS 2947591 HAS SOPS 2947567 HAS SOUS 1751223 HAS SOUPS 1751199 WITH SCORE 1754146.591
AT ITER 4055 NEW BEST:: SOT 3110881 SOS 2946184 HAS SOPS 2946160 HAS SOUS 1743575 HAS SOUPS 1743551 WITH SCORE 1746497.184
AT ITER 4061 NEW BEST:: SOT 3111501 SOS 2946804 HAS SOPS 2946780 HAS SOUS 1743235 HAS SOUPS 1743211 WITH SCORE 1746157.804
AT ITER 4073 NEW BEST:: SOT 3113932 SOS 2948693 HAS SOPS 2948669 HAS SOUS 1732506 HAS SOUPS 1732482 WITH SCORE 1735430.693
AT ITER 4081 NEW BEST:: SOT 3115603 SOS 2950364 HAS SOPS 2950340 HAS SOUS 1732205 HAS SOUPS 1732181 WITH SCORE 1735131.364
AT ITER 4090 NEW BEST:: SOT 3117295 SOS 2952056 HAS SOPS 2952032 HAS SOUS 1731173 HAS SOUPS 1731149 WITH SCORE 1734101.056
AT ITER 4104 NEW BEST:: SOT 3120703 SOS 2955464 HAS SOPS 2955440 HAS SOUS 1730231 HAS SOUPS 1730207 WITH SCORE 1733162.464
AT ITER 4108 NEW BEST:: SOT 3121300 SOS 2956061 HAS SOPS 2956037 HAS SOUS 1730230 HAS SOUPS 1730206 WITH SCORE 1733162.061
AT ITER 4118 NEW BEST:: SOT 3122956 SOS 2957717 HAS SOPS 2957693 HAS SOUS 1728700 HAS SOUPS 1728676 WITH SCORE 1731633.717
AT ITER 4169 NEW BEST:: SOT 3124064 SOS 2958707 HAS SOPS 2958683 HAS SOUS 1728619 HAS SOUPS 1728595 WITH SCORE 1731553.707
AT ITER 4197 NEW BEST:: SOT 3124886 SOS 2959529 HAS SOPS 2959505 HAS SOUS 1728299 HAS SOUPS 1728275 WITH SCORE 1731234.529
AT ITER 4204 NEW BEST:: SOT 3127526 SOS 2962169 HAS SOPS 2962145 HAS SOUS 1727763 HAS SOUPS 1727739 WITH SCORE 1730701.169
AT ITER 4219 NEW BEST:: SOT 3128501 SOS 2963144 HAS SOPS 2963120 HAS SOUS 1727642 HAS SOUPS 1727618 WITH SCORE 1730581.144
AT ITER 4227 NEW BEST:: SOT 3133511 SOS 2968154 HAS SOPS 2968130 HAS SOUS 1724353 HAS SOUPS 1724329 WITH SCORE 1727297.154
AT ITER 4229 NEW BEST:: SOT 3133511 SOS 2968154 HAS SOPS 2968130 HAS SOUS 1724145 HAS SOUPS 1724121 WITH SCORE 1727089.154
AT ITER 4240 NEW BEST:: SOT 3133520 SOS 2968163 HAS SOPS 2968139 HAS SOUS 1722079 HAS SOUPS 1722055 WITH SCORE 1725023.163
AT ITER 4261 NEW BEST:: SOT 3133520 SOS 2966920 HAS SOPS 2966896 HAS SOUS 1711842 HAS SOUPS 1711818 WITH SCORE 1714784.92
AT ITER 4264 NEW BEST:: SOT 3133762 SOS 2967162 HAS SOPS 2967138 HAS SOUS 1711036 HAS SOUPS 1711012 WITH SCORE 1713979.162
AT ITER 4276 NEW BEST:: SOT 3133762 SOS 2967058 HAS SOPS 2967034 HAS SOUS 1710516 HAS SOUPS 1710492 WITH SCORE 1713459.058
AT ITER 4297 NEW BEST:: SOT 3133762 SOS 2967058 HAS SOPS 2967034 HAS SOUS 1710242 HAS SOUPS 1710218 WITH SCORE 1713185.058
AT ITER 4320 NEW BEST:: SOT 3133762 SOS 2967058 HAS SOPS 2967034 HAS SOUS 1709692 HAS SOUPS 1709668 WITH SCORE 1712635.058
AT ITER 4323 NEW BEST:: SOT 3150163 SOS 2982915 HAS SOPS 2982891 HAS SOUS 1707289 HAS SOUPS 1707265 WITH SCORE 1710247.915
AT ITER 4329 NEW BEST:: SOT 3151057 SOS 2983637 HAS SOPS 2983613 HAS SOUS 1706267 HAS SOUPS 1706243 WITH SCORE 1709226.637
AT ITER 4344 NEW BEST:: SOT 3151231 SOS 2983811 HAS SOPS 2983787 HAS SOUS 1706079 HAS SOUPS 1706055 WITH SCORE 1709038.811
AT ITER 4356 NEW BEST:: SOT 3151231 SOS 2983811 HAS SOPS 2983787 HAS SOUS 1705823 HAS SOUPS 1705799 WITH SCORE 1708782.811
AT ITER 4378 NEW BEST:: SOT 3150419 SOS 2982999 HAS SOPS 2982975 HAS SOUS 1705806 HAS SOUPS 1705782 WITH SCORE 1708764.999
AT ITER 4433 NEW BEST:: SOT 3150419 SOS 2982999 HAS SOPS 2982975 HAS SOUS 1705661 HAS SOUPS 1705637 WITH SCORE 1708619.999
AT ITER 4445 NEW BEST:: SOT 3150419 SOS 2981856 HAS SOPS 2981832 HAS SOUS 1696748 HAS SOUPS 1696724 WITH SCORE 1699705.856
AT ITER 4454 NEW BEST:: SOT 3150419 SOS 2981856 HAS SOPS 2981832 HAS SOUS 1696571 HAS SOUPS 1696547 WITH SCORE 1699528.856
AT ITER 4491 NEW BEST:: SOT 3150447 SOS 2981884 HAS SOPS 2981860 HAS SOUS 1696029 HAS SOUPS 1696005 WITH SCORE 1698986.884
AT ITER 4509 NEW BEST:: SOT 3166479 SOS 2997039 HAS SOPS 2997015 HAS SOUS 1687767 HAS SOUPS 1687743 WITH SCORE 1690740.039
AT ITER 4512 NEW BEST:: SOT 3170982 SOS 3001542 HAS SOPS 3001518 HAS SOUS 1687636 HAS SOUPS 1687612 WITH SCORE 1690613.542
AT ITER 4515 NEW BEST:: SOT 3170982 SOS 3001542 HAS SOPS 3001518 HAS SOUS 1686997 HAS SOUPS 1686973 WITH SCORE 1689974.542
AT ITER 4517 NEW BEST:: SOT 3170982 SOS 3001542 HAS SOPS 3001518 HAS SOUS 1686785 HAS SOUPS 1686761 WITH SCORE 1689762.542
AT ITER 4539 NEW BEST:: SOT 3172221 SOS 3002781 HAS SOPS 3002757 HAS SOUS 1685134 HAS SOUPS 1685110 WITH SCORE 1688112.781
AT ITER 4555 NEW BEST:: SOT 3172542 SOS 3003102 HAS SOPS 3003078 HAS SOUS 1685026 HAS SOUPS 1685002 WITH SCORE 1688005.102
AT ITER 4559 NEW BEST:: SOT 3183512 SOS 3014072 HAS SOPS 3014048 HAS SOUS 1684219 HAS SOUPS 1684195 WITH SCORE 1687209.072
AT ITER 4594 NEW BEST:: SOT 3185207 SOS 3015767 HAS SOPS 3015743 HAS SOUS 1684144 HAS SOUPS 1684120 WITH SCORE 1687135.767
AT ITER 4608 NEW BEST:: SOT 3185251 SOS 3015667 HAS SOPS 3015643 HAS SOUS 1683408 HAS SOUPS 1683384 WITH SCORE 1686399.667
AT ITER 4635 NEW BEST:: SOT 3185251 SOS 3015667 HAS SOPS 3015643 HAS SOUS 1683191 HAS SOUPS 1683167 WITH SCORE 1686182.667
AT ITER 4709 NEW BEST:: SOT 3194807 SOS 3020124 HAS SOPS 3020002 HAS SOUS 1676702 HAS SOUPS 1676581 WITH SCORE 1679601.124
AT ITER 4747 NEW BEST:: SOT 3195117 SOS 3020434 HAS SOPS 3020312 HAS SOUS 1676289 HAS SOUPS 1676168 WITH SCORE 1679188.434
AT ITER 4777 NEW BEST:: SOT 3194901 SOS 3020218 HAS SOPS 3020096 HAS SOUS 1676217 HAS SOUPS 1676096 WITH SCORE 1679116.218
AT ITER 4778 NEW BEST:: SOT 3198156 SOS 3023473 HAS SOPS 3023351 HAS SOUS 1675208 HAS SOUPS 1675087 WITH SCORE 1678110.473
AT ITER 4818 NEW BEST:: SOT 3198156 SOS 3023473 HAS SOPS 3023351 HAS SOUS 1675100 HAS SOUPS 1674979 WITH SCORE 1678002.473
AT ITER 4845 NEW BEST:: SOT 3220706 SOS 3045461 HAS SOPS 3045339 HAS SOUS 1671710 HAS SOUPS 1671589 WITH SCORE 1674634.461
AT ITER 4871 NEW BEST:: SOT 3220972 SOS 3045727 HAS SOPS 3045605 HAS SOUS 1671673 HAS SOUPS 1671552 WITH SCORE 1674597.727
AT ITER 4873 NEW BEST:: SOT 3222869 SOS 3047624 HAS SOPS 3047502 HAS SOUS 1671555 HAS SOUPS 1671434 WITH SCORE 1674481.624
AT ITER 4882 NEW BEST:: SOT 3230517 SOS 3051317 HAS SOPS 3051097 HAS SOUS 1652980 HAS SOUPS 1652859 WITH SCORE 1655910.317
AT ITER 4910 NEW BEST:: SOT 3230947 SOS 3051747 HAS SOPS 3051527 HAS SOUS 1652010 HAS SOUPS 1651889 WITH SCORE 1654940.747
AT ITER 4953 NEW BEST:: SOT 3226731 SOS 3047531 HAS SOPS 3047311 HAS SOUS 1650362 HAS SOUPS 1650241 WITH SCORE 1653288.531
AT ITER 4979 NEW BEST:: SOT 3226731 SOS 3047531 HAS SOPS 3047311 HAS SOUS 1650207 HAS SOUPS 1650086 WITH SCORE 1653133.531
AT ITER 4987 NEW BEST:: SOT 3227107 SOS 3047907 HAS SOPS 3047687 HAS SOUS 1650159 HAS SOUPS 1650038 WITH SCORE 1653085.907
AT ITER 4992 NEW BEST:: SOT 3235787 SOS 3056093 HAS SOPS 3055873 HAS SOUS 1641973 HAS SOUPS 1641852 WITH SCORE 1644908.093
AT ITER 5011 NEW BEST:: SOT 3235787 SOS 3055631 HAS SOPS 3055411 HAS SOUS 1641924 HAS SOUPS 1641803 WITH SCORE 1644858.631
AT ITER 5018 NEW BEST:: SOT 3237481 SOS 3057273 HAS SOPS 3057053 HAS SOUS 1641204 HAS SOUPS 1641083 WITH SCORE 1644140.273
AT ITER 5067 NEW BEST:: SOT 3238033 SOS 3057825 HAS SOPS 3057605 HAS SOUS 1639428 HAS SOUPS 1639307 WITH SCORE 1642364.825
AT ITER 5094 NEW BEST:: SOT 3238415 SOS 3058207 HAS SOPS 3057987 HAS SOUS 1639278 HAS SOUPS 1639157 WITH SCORE 1642215.207
AT ITER 5096 NEW BEST:: SOT 3230615 SOS 3050407 HAS SOPS 3050187 HAS SOUS 1637718 HAS SOUPS 1637597 WITH SCORE 1640647.407
AT ITER 5112 NEW BEST:: SOT 3235415 SOS 3055207 HAS SOPS 3054987 HAS SOUS 1637281 HAS SOUPS 1637160 WITH SCORE 1640215.207
AT ITER 5123 NEW BEST:: SOT 3235607 SOS 3055399 HAS SOPS 3055179 HAS SOUS 1636792 HAS SOUPS 1636671 WITH SCORE 1639726.399
AT ITER 5164 NEW BEST:: SOT 3251435 SOS 3070806 HAS SOPS 3070586 HAS SOUS 1634199 HAS SOUPS 1634078 WITH SCORE 1637148.806
AT ITER 5168 NEW BEST:: SOT 3252631 SOS 3072002 HAS SOPS 3071782 HAS SOUS 1633702 HAS SOUPS 1633581 WITH SCORE 1636653.002
AT ITER 5176 NEW BEST:: SOT 3252631 SOS 3072002 HAS SOPS 3071782 HAS SOUS 1633503 HAS SOUPS 1633382 WITH SCORE 1636454.002
AT ITER 5178 NEW BEST:: SOT 3263312 SOS 3082239 HAS SOPS 3082019 HAS SOUS 1624017 HAS SOUPS 1623896 WITH SCORE 1626978.239
AT ITER 5180 NEW BEST:: SOT 3263312 SOS 3063400 HAS SOPS 3063180 HAS SOUS 1616914 HAS SOUPS 1616793 WITH SCORE 1619856.4
AT ITER 5190 NEW BEST:: SOT 3273080 SOS 3071664 HAS SOPS 3071444 HAS SOUS 1607859 HAS SOUPS 1607738 WITH SCORE 1610809.664
AT ITER 5194 NEW BEST:: SOT 3272510 SOS 3071094 HAS SOPS 3070874 HAS SOUS 1607745 HAS SOUPS 1607624 WITH SCORE 1610695.094
AT ITER 5195 NEW BEST:: SOT 3275247 SOS 3072567 HAS SOPS 3072025 HAS SOUS 1600618 HAS SOUPS 1600434 WITH SCORE 1603506.567
AT ITER 5233 NEW BEST:: SOT 3275050 SOS 3072370 HAS SOPS 3071828 HAS SOUS 1600562 HAS SOUPS 1600378 WITH SCORE 1603450.37
AT ITER 5243 NEW BEST:: SOT 3276958 SOS 3074278 HAS SOPS 3073736 HAS SOUS 1599556 HAS SOUPS 1599372 WITH SCORE 1602446.278
AT ITER 5253 NEW BEST:: SOT 3276958 SOS 3073141 HAS SOPS 3072599 HAS SOUS 1594495 HAS SOUPS 1594311 WITH SCORE 1597384.141
AT ITER 5254 NEW BEST:: SOT 3277762 SOS 3073171 HAS SOPS 3072629 HAS SOUS 1594002 HAS SOUPS 1593818 WITH SCORE 1596891.171
AT ITER 5275 NEW BEST:: SOT 3281910 SOS 3077319 HAS SOPS 3076777 HAS SOUS 1592959 HAS SOUPS 1592775 WITH SCORE 1595852.319
AT ITER 5280 NEW BEST:: SOT 3281910 SOS 3077319 HAS SOPS 3076777 HAS SOUS 1592837 HAS SOUPS 1592653 WITH SCORE 1595730.319
AT ITER 5283 NEW BEST:: SOT 3282074 SOS 3077483 HAS SOPS 3076941 HAS SOUS 1592828 HAS SOUPS 1592644 WITH SCORE 1595721.483
AT ITER 5289 NEW BEST:: SOT 3282074 SOS 3077483 HAS SOPS 3076941 HAS SOUS 1592669 HAS SOUPS 1592485 WITH SCORE 1595562.483
AT ITER 5325 NEW BEST:: SOT 2282109 SOS 2156758 HAS SOPS 2077205 HAS SOUS 593927 HAS SOUPS 592749 WITH SCORE 594905.758
AT ITER 5336 NEW BEST:: SOT 2281137 SOS 2155786 HAS SOPS 2076233 HAS SOUS 592591 HAS SOUPS 591413 WITH SCORE 593568.786
AT ITER 5338 NEW BEST:: SOT 2281353 SOS 2156002 HAS SOPS 2076449 HAS SOUS 592375 HAS SOUPS 591197 WITH SCORE 593353.002
AT ITER 5360 NEW BEST:: SOT 2280007 SOS 2154656 HAS SOPS 2075103 HAS SOUS 592302 HAS SOUPS 591124 WITH SCORE 593278.656
AT ITER 5373 NEW BEST:: SOT 2279677 SOS 2154326 HAS SOPS 2074608 HAS SOUS 592292 HAS SOUPS 591114 WITH SCORE 593268.326
AT ITER 5402 NEW BEST:: SOT 2279640 SOS 2154289 HAS SOPS 2074632 HAS SOUS 592255 HAS SOUPS 591077 WITH SCORE 593231.289
AT ITER 5444 NEW BEST:: SOT 2280719 SOS 2155368 HAS SOPS 2075711 HAS SOUS 591978 HAS SOUPS 590800 WITH SCORE 592955.368
AT ITER 5450 NEW BEST:: SOT 2280327 SOS 2154976 HAS SOPS 2074039 HAS SOUS 591285 HAS SOUPS 590107 WITH SCORE 592261.976
AT ITER 5462 NEW BEST:: SOT 2284231 SOS 2158865 HAS SOPS 2076824 HAS SOUS 590983 HAS SOUPS 589805 WITH SCORE 591963.865
AT ITER 5471 NEW BEST:: SOT 2283751 SOS 2158385 HAS SOPS 2078324 HAS SOUS 590623 HAS SOUPS 589445 WITH SCORE 591603.385
AT ITER 5554 NEW BEST:: SOT 2283921 SOS 2158555 HAS SOPS 2078377 HAS SOUS 590337 HAS SOUPS 589159 WITH SCORE 591317.555
AT ITER 5572 NEW BEST:: SOT 2283944 SOS 2158578 HAS SOPS 2078400 HAS SOUS 590314 HAS SOUPS 589136 WITH SCORE 591294.578
AT ITER 5575 NEW BEST:: SOT 2283626 SOS 2158260 HAS SOPS 2078082 HAS SOUS 589730 HAS SOUPS 588552 WITH SCORE 590710.26
AT ITER 5579 NEW BEST:: SOT 2283254 SOS 2157888 HAS SOPS 2077710 HAS SOUS 589730 HAS SOUPS 588552 WITH SCORE 590709.888
AT ITER 5600 NEW BEST:: SOT 2283720 SOS 2158354 HAS SOPS 2078176 HAS SOUS 589310 HAS SOUPS 588132 WITH SCORE 590290.354
AT ITER 5622 NEW BEST:: SOT 2283720 SOS 2157085 HAS SOPS 2076907 HAS SOUS 589152 HAS SOUPS 587974 WITH SCORE 590131.085
AT ITER 5628 NEW BEST:: SOT 2281094 SOS 2154459 HAS SOPS 2074281 HAS SOUS 585899 HAS SOUPS 584721 WITH SCORE 586875.459
AT ITER 5634 NEW BEST:: SOT 2281094 SOS 2154459 HAS SOPS 2074281 HAS SOUS 585823 HAS SOUPS 584645 WITH SCORE 586799.459
AT ITER 5635 NEW BEST:: SOT 2290091 SOS 2163456 HAS SOPS 2082947 HAS SOUS 585492 HAS SOUPS 584314 WITH SCORE 586477.456
AT ITER 5660 NEW BEST:: SOT 2288433 SOS 2161798 HAS SOPS 2081289 HAS SOUS 583568 HAS SOUPS 582390 WITH SCORE 584551.798
AT ITER 5675 NEW BEST:: SOT 2288200 SOS 2161565 HAS SOPS 2080823 HAS SOUS 583335 HAS SOUPS 582157 WITH SCORE 584318.565
AT ITER 5688 NEW BEST:: SOT 2287906 SOS 2161271 HAS SOPS 2080529 HAS SOUS 582894 HAS SOUPS 581716 WITH SCORE 583877.271
AT ITER 5711 NEW BEST:: SOT 2287685 SOS 2161050 HAS SOPS 2080308 HAS SOUS 582740 HAS SOUPS 581562 WITH SCORE 583723.05
AT ITER 5751 NEW BEST:: SOT 2287101 SOS 2160466 HAS SOPS 2079724 HAS SOUS 582156 HAS SOUPS 580978 WITH SCORE 583138.466
AT ITER 5782 NEW BEST:: SOT 2287699 SOS 2161064 HAS SOPS 2080322 HAS SOUS 581937 HAS SOUPS 580759 WITH SCORE 582920.064
AT ITER 5856 NEW BEST:: SOT 2289081 SOS 2162446 HAS SOPS 2081704 HAS SOUS 581901 HAS SOUPS 580723 WITH SCORE 582885.446
AT ITER 5866 NEW BEST:: SOT 2289082 SOS 2162447 HAS SOPS 2081705 HAS SOUS 581882 HAS SOUPS 580704 WITH SCORE 582866.447
AT ITER 5868 NEW BEST:: SOT 2287869 SOS 2161234 HAS SOPS 2080492 HAS SOUS 581550 HAS SOUPS 580372 WITH SCORE 582533.234
AT ITER 5877 NEW BEST:: SOT 2295204 SOS 2168029 HAS SOPS 2085235 HAS SOUS 578670 HAS SOUPS 577492 WITH SCORE 579660.029
AT ITER 5884 NEW BEST:: SOT 2295178 SOS 2168003 HAS SOPS 2085209 HAS SOUS 578534 HAS SOUPS 577356 WITH SCORE 579524.003
AT ITER 5894 NEW BEST:: SOT 2304564 SOS 2177272 HAS SOPS 2093785 HAS SOUS 578150 HAS SOUPS 576972 WITH SCORE 579149.272
AT ITER 5908 NEW BEST:: SOT 2304324 SOS 2177032 HAS SOPS 2093545 HAS SOUS 578063 HAS SOUPS 576885 WITH SCORE 579062.032
AT ITER 5911 NEW BEST:: SOT 2305924 SOS 2178632 HAS SOPS 2095145 HAS SOUS 577826 HAS SOUPS 576648 WITH SCORE 578826.632
AT ITER 5923 NEW BEST:: SOT 2305714 SOS 2178422 HAS SOPS 2094935 HAS SOUS 577756 HAS SOUPS 576578 WITH SCORE 578756.422
AT ITER 5944 NEW BEST:: SOT 2305240 SOS 2177948 HAS SOPS 2094461 HAS SOUS 577282 HAS SOUPS 576104 WITH SCORE 578281.948
AT ITER 5954 NEW BEST:: SOT 2304739 SOS 2177447 HAS SOPS 2093960 HAS SOUS 576781 HAS SOUPS 575603 WITH SCORE 577780.447
AT ITER 5958 NEW BEST:: SOT 2325733 SOS 2198165 HAS SOPS 2113441 HAS SOUS 576159 HAS SOUPS 574981 WITH SCORE 577179.165
AT ITER 5962 NEW BEST:: SOT 2325733 SOS 2198165 HAS SOPS 2113441 HAS SOUS 576153 HAS SOUPS 574975 WITH SCORE 577173.165
AT ITER 5977 NEW BEST:: SOT 2322566 SOS 2194998 HAS SOPS 2110274 HAS SOUS 575534 HAS SOUPS 574356 WITH SCORE 576550.998
AT ITER 5994 NEW BEST:: SOT 2310084 SOS 2182516 HAS SOPS 2096668 HAS SOUS 575220 HAS SOUPS 573232 WITH SCORE 575414.516
AT ITER 6011 NEW BEST:: SOT 2310848 SOS 2183280 HAS SOPS 2097432 HAS SOUS 575128 HAS SOUPS 573140 WITH SCORE 575323.28
AT ITER 6025 NEW BEST:: SOT 2307471 SOS 2179903 HAS SOPS 2094055 HAS SOUS 572188 HAS SOUPS 570200 WITH SCORE 572379.903
AT ITER 6045 NEW BEST:: SOT 2306772 SOS 2179204 HAS SOPS 2093356 HAS SOUS 571332 HAS SOUPS 569344 WITH SCORE 571523.204
AT ITER 6055 NEW BEST:: SOT 2310476 SOS 2181326 HAS SOPS 2093756 HAS SOUS 569204 HAS SOUPS 567216 WITH SCORE 569397.326
AT ITER 6106 NEW BEST:: SOT 2312185 SOS 2183035 HAS SOPS 2095465 HAS SOUS 569120 HAS SOUPS 567132 WITH SCORE 569315.035
AT ITER 6107 NEW BEST:: SOT 2312278 SOS 2183128 HAS SOPS 2095558 HAS SOUS 568702 HAS SOUPS 566714 WITH SCORE 568897.128
AT ITER 6142 NEW BEST:: SOT 2311842 SOS 2182692 HAS SOPS 2095122 HAS SOUS 568484 HAS SOUPS 566496 WITH SCORE 568678.692
AT ITER 6207 NEW BEST:: SOT 2311556 SOS 2182406 HAS SOPS 2094836 HAS SOUS 568341 HAS SOUPS 566353 WITH SCORE 568535.406
AT ITER 6234 NEW BEST:: SOT 2310200 SOS 2181050 HAS SOPS 2093480 HAS SOUS 567889 HAS SOUPS 565901 WITH SCORE 568082.05
AT ITER 6252 NEW BEST:: SOT 2309440 SOS 2180290 HAS SOPS 2092720 HAS SOUS 567863 HAS SOUPS 565875 WITH SCORE 568055.29
AT ITER 6254 NEW BEST:: SOT 2309300 SOS 2180150 HAS SOPS 2092580 HAS SOUS 567863 HAS SOUPS 565875 WITH SCORE 568055.15
AT ITER 6268 NEW BEST:: SOT 2308866 SOS 2179716 HAS SOPS 2092146 HAS SOUS 567333 HAS SOUPS 565345 WITH SCORE 567524.716
AT ITER 6286 NEW BEST:: SOT 2314788 SOS 2185237 HAS SOPS 2095855 HAS SOUS 566323 HAS SOUPS 564335 WITH SCORE 566520.237
AT ITER 6321 NEW BEST:: SOT 2314775 SOS 2185224 HAS SOPS 2095816 HAS SOUS 566310 HAS SOUPS 564322 WITH SCORE 566507.224
AT ITER 6327 NEW BEST:: SOT 2314265 SOS 2184714 HAS SOPS 2095306 HAS SOUS 565574 HAS SOUPS 563586 WITH SCORE 565770.714
AT ITER 6330 NEW BEST:: SOT 2311754 SOS 2182203 HAS SOPS 2092795 HAS SOUS 564801 HAS SOUPS 562813 WITH SCORE 564995.203
AT ITER 6355 NEW BEST:: SOT 2311490 SOS 2181939 HAS SOPS 2092531 HAS SOUS 564669 HAS SOUPS 562681 WITH SCORE 564862.939
AT ITER 6359 NEW BEST:: SOT 2307332 SOS 2177781 HAS SOPS 2088373 HAS SOUS 564669 HAS SOUPS 562681 WITH SCORE 564858.781
AT ITER 6386 NEW BEST:: SOT 2307190 SOS 2177639 HAS SOPS 2088231 HAS SOUS 564323 HAS SOUPS 562335 WITH SCORE 564512.639
AT ITER 6462 NEW BEST:: SOT 2306516 SOS 2176965 HAS SOPS 2087557 HAS SOUS 564256 HAS SOUPS 562268 WITH SCORE 564444.965
AT ITER 6463 NEW BEST:: SOT 2305702 SOS 2176151 HAS SOPS 2086743 HAS SOUS 563328 HAS SOUPS 561340 WITH SCORE 563516.151
AT ITER 6531 NEW BEST:: SOT 2305292 SOS 2175741 HAS SOPS 2086333 HAS SOUS 563246 HAS SOUPS 561258 WITH SCORE 563433.741
AT ITER 6588 NEW BEST:: SOT 2311242 SOS 2181021 HAS SOPS 2089351 HAS SOUS 560288 HAS SOUPS 558300 WITH SCORE 560481.021
AT ITER 6607 NEW BEST:: SOT 2314021 SOS 2182377 HAS SOPS 2089299 HAS SOUS 558381 HAS SOUPS 556393 WITH SCORE 558575.377
AT ITER 6638 NEW BEST:: SOT 2323359 SOS 2190203 HAS SOPS 2092831 HAS SOUS 556671 HAS SOUPS 554683 WITH SCORE 556873.203
AT ITER 6734 NEW BEST:: SOT 2323093 SOS 2189937 HAS SOPS 2092166 HAS SOUS 556380 HAS SOUPS 554392 WITH SCORE 556581.937
AT ITER 6745 NEW BEST:: SOT 2322692 SOS 2189536 HAS SOPS 2091765 HAS SOUS 556380 HAS SOUPS 554392 WITH SCORE 556581.536
AT ITER 6754 NEW BEST:: SOT 2320668 SOS 2187512 HAS SOPS 2089741 HAS SOUS 555368 HAS SOUPS 553380 WITH SCORE 555567.512
AT ITER 6799 NEW BEST:: SOT 2321017 SOS 2187861 HAS SOPS 2090090 HAS SOUS 554390 HAS SOUPS 552402 WITH SCORE 554589.861
AT ITER 6820 NEW BEST:: SOT 2318729 SOS 2185573 HAS SOPS 2087802 HAS SOUS 554182 HAS SOUPS 552194 WITH SCORE 554379.573
AT ITER 6824 NEW BEST:: SOT 2313867 SOS 2180711 HAS SOPS 2082940 HAS SOUS 549320 HAS SOUPS 547332 WITH SCORE 549512.711
AT ITER 6825 NEW BEST:: SOT 2313809 SOS 2180653 HAS SOPS 2082882 HAS SOUS 549262 HAS SOUPS 547274 WITH SCORE 549454.653
AT ITER 6839 NEW BEST:: SOT 2313652 SOS 2180496 HAS SOPS 2082725 HAS SOUS 549104 HAS SOUPS 547116 WITH SCORE 549296.496
AT ITER 6861 NEW BEST:: SOT 2313394 SOS 2180238 HAS SOPS 2082467 HAS SOUS 548846 HAS SOUPS 546858 WITH SCORE 549038.238
AT ITER 6894 NEW BEST:: SOT 2313278 SOS 2180122 HAS SOPS 2082351 HAS SOUS 548788 HAS SOUPS 546800 WITH SCORE 548980.122
AT ITER 6933 NEW BEST:: SOT 2312633 SOS 2179477 HAS SOPS 2081706 HAS SOUS 548358 HAS SOUPS 546370 WITH SCORE 548549.477
AT ITER 6968 NEW BEST:: SOT 2312937 SOS 2179585 HAS SOPS 2078610 HAS SOUS 547812 HAS SOUPS 545824 WITH SCORE 548003.585
AT ITER 7008 NEW BEST:: SOT 2316982 SOS 2182084 HAS SOPS 2078997 HAS SOUS 546312 HAS SOUPS 544324 WITH SCORE 546506.084
AT ITER 7030 NEW BEST:: SOT 2316958 SOS 2182060 HAS SOPS 2078973 HAS SOUS 546264 HAS SOUPS 544276 WITH SCORE 546458.06
AT ITER 7034 NEW BEST:: SOT 2317274 SOS 2182376 HAS SOPS 2079289 HAS SOUS 546236 HAS SOUPS 544248 WITH SCORE 546430.376
AT ITER 7055 NEW BEST:: SOT 2316629 SOS 2181731 HAS SOPS 2078644 HAS SOUS 546021 HAS SOUPS 544033 WITH SCORE 546214.731
AT ITER 7060 NEW BEST:: SOT 2324356 SOS 2189264 HAS SOPS 2084940 HAS SOUS 544946 HAS SOUPS 542958 WITH SCORE 545147.264
AT ITER 7079 NEW BEST:: SOT 2324881 SOS 2189789 HAS SOPS 2085465 HAS SOUS 544652 HAS SOUPS 542664 WITH SCORE 544853.789
AT ITER 7154 NEW BEST:: SOT 2335169 SOS 2199191 HAS SOPS 2090686 HAS SOUS 542750 HAS SOUPS 540762 WITH SCORE 542961.191
AT ITER 7160 NEW BEST:: SOT 2334163 SOS 2198185 HAS SOPS 2089774 HAS SOUS 542734 HAS SOUPS 540746 WITH SCORE 542944.185
AT ITER 7177 NEW BEST:: SOT 2334334 SOS 2198356 HAS SOPS 2089945 HAS SOUS 542563 HAS SOUPS 540575 WITH SCORE 542773.356
AT ITER 7178 NEW BEST:: SOT 2345765 SOS 2208105 HAS SOPS 2094229 HAS SOUS 541517 HAS SOUPS 539529 WITH SCORE 541737.105
AT ITER 7190 NEW BEST:: SOT 2341024 SOS 2203364 HAS SOPS 2089488 HAS SOUS 539916 HAS SOUPS 537928 WITH SCORE 540131.364
AT ITER 7217 NEW BEST:: SOT 2341045 SOS 2203385 HAS SOPS 2089509 HAS SOUS 539789 HAS SOUPS 537801 WITH SCORE 540004.385
AT ITER 7240 NEW BEST:: SOT 2341710 SOS 2204050 HAS SOPS 2090174 HAS SOUS 539788 HAS SOUPS 537800 WITH SCORE 540004.05
AT ITER 7272 NEW BEST:: SOT 2358854 SOS 2219601 HAS SOPS 2099401 HAS SOUS 537230 HAS SOUPS 535242 WITH SCORE 537461.601
AT ITER 7298 NEW BEST:: SOT 2359119 SOS 2219866 HAS SOPS 2099666 HAS SOUS 536728 HAS SOUPS 534740 WITH SCORE 536959.866
AT ITER 7308 NEW BEST:: SOT 2358984 SOS 2219731 HAS SOPS 2099531 HAS SOUS 536593 HAS SOUPS 534605 WITH SCORE 536824.731
AT ITER 7322 NEW BEST:: SOT 2358984 SOS 2219731 HAS SOPS 2099531 HAS SOUS 536487 HAS SOUPS 534499 WITH SCORE 536718.731
AT ITER 7353 NEW BEST:: SOT 2359529 SOS 2220276 HAS SOPS 2100076 HAS SOUS 535963 HAS SOUPS 533975 WITH SCORE 536195.276
AT ITER 7384 NEW BEST:: SOT 2359584 SOS 2220270 HAS SOPS 2100070 HAS SOUS 535956 HAS SOUPS 533968 WITH SCORE 536188.27
AT ITER 7396 NEW BEST:: SOT 2360370 SOS 2221056 HAS SOPS 2100856 HAS SOUS 535452 HAS SOUPS 533464 WITH SCORE 535685.056
AT ITER 7418 NEW BEST:: SOT 2359894 SOS 2220580 HAS SOPS 2100380 HAS SOUS 534976 HAS SOUPS 532988 WITH SCORE 535208.58
AT ITER 7460 NEW BEST:: SOT 2358414 SOS 2219100 HAS SOPS 2098900 HAS SOUS 534680 HAS SOUPS 532692 WITH SCORE 534911.1
AT ITER 7471 NEW BEST:: SOT 2371615 SOS 2231041 HAS SOPS 2104341 HAS SOUS 532656 HAS SOUPS 530668 WITH SCORE 532899.041
AT ITER 7486 NEW BEST:: SOT 2371377 SOS 2230798 HAS SOPS 2103549 HAS SOUS 532652 HAS SOUPS 530664 WITH SCORE 532894.798
AT ITER 7499 NEW BEST:: SOT 2369305 SOS 2228726 HAS SOPS 2101477 HAS SOUS 531286 HAS SOUPS 529298 WITH SCORE 531526.726
AT ITER 7522 NEW BEST:: SOT 2369741 SOS 2229162 HAS SOPS 2101913 HAS SOUS 530946 HAS SOUPS 528958 WITH SCORE 531187.162
AT ITER 7593 NEW BEST:: SOT 2369623 SOS 2229044 HAS SOPS 2101795 HAS SOUS 530887 HAS SOUPS 528899 WITH SCORE 531128.044
AT ITER 7599 NEW BEST:: SOT 2380011 SOS 2237913 HAS SOPS 2104389 HAS SOUS 529001 HAS SOUPS 527013 WITH SCORE 529250.913
AT ITER 7651 NEW BEST:: SOT 2380178 SOS 2238080 HAS SOPS 2104521 HAS SOUS 528988 HAS SOUPS 527000 WITH SCORE 529238.08
AT ITER 7691 NEW BEST:: SOT 2398478 SOS 2256155 HAS SOPS 2121359 HAS SOUS 528893 HAS SOUPS 526905 WITH SCORE 529161.155
AT ITER 7723 NEW BEST:: SOT 2398049 SOS 2255726 HAS SOPS 2120930 HAS SOUS 528893 HAS SOUPS 526905 WITH SCORE 529160.726
AT ITER 7726 NEW BEST:: SOT 2397980 SOS 2255657 HAS SOPS 2120861 HAS SOUS 528885 HAS SOUPS 526897 WITH SCORE 529152.657
AT ITER 7734 NEW BEST:: SOT 2397372 SOS 2255049 HAS SOPS 2120253 HAS SOUS 528082 HAS SOUPS 526094 WITH SCORE 528349.049
AT ITER 7752 NEW BEST:: SOT 2397547 SOS 2255224 HAS SOPS 2120428 HAS SOUS 527907 HAS SOUPS 525919 WITH SCORE 528174.224
AT ITER 7804 NEW BEST:: SOT 2397227 SOS 2254904 HAS SOPS 2120108 HAS SOUS 527131 HAS SOUPS 525143 WITH SCORE 527397.904
AT ITER 7810 NEW BEST:: SOT 2397057 SOS 2254734 HAS SOPS 2119938 HAS SOUS 526961 HAS SOUPS 524973 WITH SCORE 527227.734
AT ITER 7816 NEW BEST:: SOT 2391948 SOS 2249625 HAS SOPS 2114829 HAS SOUS 525206 HAS SOUPS 523218 WITH SCORE 525467.625
AT ITER 7817 NEW BEST:: SOT 2393465 SOS 2251142 HAS SOPS 2116346 HAS SOUS 525204 HAS SOUPS 523216 WITH SCORE 525467.142
AT ITER 7845 NEW BEST:: SOT 2391173 SOS 2248872 HAS SOPS 2114146 HAS SOUS 524115 HAS SOUPS 522127 WITH SCORE 524375.872
AT ITER 7848 NEW BEST:: SOT 2391567 SOS 2249266 HAS SOPS 2114540 HAS SOUS 524085 HAS SOUPS 522097 WITH SCORE 524346.266
AT ITER 7875 NEW BEST:: SOT 2403113 SOS 2255169 HAS SOPS 2100378 HAS SOUS 523642 HAS SOUPS 521654 WITH SCORE 523909.169
AT ITER 7944 NEW BEST:: SOT 2404618 SOS 2248009 HAS SOPS 2081955 HAS SOUS 523450 HAS SOUPS 521462 WITH SCORE 523710.009
AT ITER 7987 NEW BEST:: SOT 2404250 SOS 2247641 HAS SOPS 2081587 HAS SOUS 522714 HAS SOUPS 520726 WITH SCORE 522973.641
AT ITER 8046 NEW BEST:: SOT 2405478 SOS 2248869 HAS SOPS 2082815 HAS SOUS 522316 HAS SOUPS 520328 WITH SCORE 522576.869
AT ITER 8091 NEW BEST:: SOT 2406958 SOS 2250349 HAS SOPS 2084295 HAS SOUS 521946 HAS SOUPS 519958 WITH SCORE 522208.349
AT ITER 8102 NEW BEST:: SOT 2407060 SOS 2250451 HAS SOPS 2084397 HAS SOUS 521844 HAS SOUPS 519856 WITH SCORE 522106.451
AT ITER 8103 NEW BEST:: SOT 2407632 SOS 2251023 HAS SOPS 2084969 HAS SOUS 521792 HAS SOUPS 519804 WITH SCORE 522055.023
AT ITER 8120 NEW BEST:: SOT 2412313 SOS 2250143 HAS SOPS 2073095 HAS SOUS 520616 HAS SOUPS 518628 WITH SCORE 520878.143
AT ITER 8133 NEW BEST:: SOT 2418541 SOS 2254997 HAS SOPS 2071520 HAS SOUS 519539 HAS SOUPS 517551 WITH SCORE 519805.997
AT ITER 8159 NEW BEST:: SOT 2418412 SOS 2254868 HAS SOPS 2071391 HAS SOUS 519399 HAS SOUPS 517411 WITH SCORE 519665.868
AT ITER 8177 NEW BEST:: SOT 2418282 SOS 2254738 HAS SOPS 2071261 HAS SOUS 518999 HAS SOUPS 517011 WITH SCORE 519265.738
AT ITER 8181 NEW BEST:: SOT 2414707 SOS 2251163 HAS SOPS 2067686 HAS SOUS 518284 HAS SOUPS 516296 WITH SCORE 518547.163
AT ITER 8189 NEW BEST:: SOT 2414722 SOS 2251178 HAS SOPS 2067594 HAS SOUS 518055 HAS SOUPS 516067 WITH SCORE 518318.178
AT ITER 8218 NEW BEST:: SOT 2414722 SOS 2249846 HAS SOPS 2066262 HAS SOUS 518055 HAS SOUPS 516067 WITH SCORE 518316.846
AT ITER 8231 NEW BEST:: SOT 2416396 SOS 2251428 HAS SOPS 2066885 HAS SOUS 517692 HAS SOUPS 515704 WITH SCORE 517955.428
AT ITER 8232 NEW BEST:: SOT 2416396 SOS 2251428 HAS SOPS 2066885 HAS SOUS 516959 HAS SOUPS 514971 WITH SCORE 517222.428
AT ITER 8279 NEW BEST:: SOT 2409775 SOS 2244807 HAS SOPS 2060719 HAS SOUS 516936 HAS SOUPS 514948 WITH SCORE 517192.807
AT ITER 8343 NEW BEST:: SOT 2417580 SOS 2250635 HAS SOPS 2060174 HAS SOUS 515026 HAS SOUPS 513038 WITH SCORE 515288.635
AT ITER 8348 NEW BEST:: SOT 2416224 SOS 2249279 HAS SOPS 2058818 HAS SOUS 514561 HAS SOUPS 512573 WITH SCORE 514822.279
AT ITER 8364 NEW BEST:: SOT 2416204 SOS 2249259 HAS SOPS 2058798 HAS SOUS 514561 HAS SOUPS 512573 WITH SCORE 514822.259
AT ITER 8474 NEW BEST:: SOT 2416464 SOS 2249519 HAS SOPS 2059058 HAS SOUS 514511 HAS SOUPS 512523 WITH SCORE 514772.519
AT ITER 8481 NEW BEST:: SOT 2416905 SOS 2249960 HAS SOPS 2059499 HAS SOUS 514202 HAS SOUPS 512214 WITH SCORE 514463.96
AT ITER 8539 NEW BEST:: SOT 2422795 SOS 2255850 HAS SOPS 2065273 HAS SOUS 514011 HAS SOUPS 512023 WITH SCORE 514278.85
AT ITER 8605 NEW BEST:: SOT 2422453 SOS 2255508 HAS SOPS 2064931 HAS SOUS 513897 HAS SOUPS 511909 WITH SCORE 514164.508
AT ITER 8668 NEW BEST:: SOT 2422288 SOS 2255343 HAS SOPS 2064766 HAS SOUS 513567 HAS SOUPS 511579 WITH SCORE 513834.343
AT ITER 8783 NEW BEST:: SOT 2422300 SOS 2255355 HAS SOPS 2064778 HAS SOUS 513555 HAS SOUPS 511567 WITH SCORE 513822.355
AT ITER 8796 NEW BEST:: SOT 2423232 SOS 2256287 HAS SOPS 2065710 HAS SOUS 513495 HAS SOUPS 511507 WITH SCORE 513763.287
AT ITER 8797 NEW BEST:: SOT 2422583 SOS 2255638 HAS SOPS 2065061 HAS SOUS 513181 HAS SOUPS 511193 WITH SCORE 513448.638
AT ITER 8825 NEW BEST:: SOT 2422183 SOS 2255238 HAS SOPS 2064661 HAS SOUS 512780 HAS SOUPS 510792 WITH SCORE 513047.238
AT ITER 8826 NEW BEST:: SOT 2425762 SOS 2254930 HAS SOPS 2055584 HAS SOUS 511786 HAS SOUPS 509798 WITH SCORE 512052.93
AT ITER 8927 NEW BEST:: SOT 2424850 SOS 2254018 HAS SOPS 2054672 HAS SOUS 511786 HAS SOUPS 509798 WITH SCORE 512052.018
AT ITER 8977 NEW BEST:: SOT 2424964 SOS 2252716 HAS SOPS 2053142 HAS SOUS 510804 HAS SOUPS 508816 WITH SCORE 511068.716
AT ITER 8985 NEW BEST:: SOT 2424964 SOS 2252716 HAS SOPS 2053142 HAS SOUS 510634 HAS SOUPS 508646 WITH SCORE 510898.716
AT ITER 9004 NEW BEST:: SOT 2425450 SOS 2253202 HAS SOPS 2053628 HAS SOUS 510356 HAS SOUPS 508368 WITH SCORE 510621.202
AT ITER 9148 NEW BEST:: SOT 2420550 SOS 2248302 HAS SOPS 2048728 HAS SOUS 506030 HAS SOUPS 504042 WITH SCORE 506290.302
AT ITER 9176 NEW BEST:: SOT 2422916 SOS 2250668 HAS SOPS 2050587 HAS SOUS 505861 HAS SOUPS 503873 WITH SCORE 506123.668
AT ITER 9187 NEW BEST:: SOT 2421440 SOS 2249192 HAS SOPS 2049111 HAS SOUS 505861 HAS SOUPS 503873 WITH SCORE 506122.192
AT ITER 9190 NEW BEST:: SOT 2423197 SOS 2248994 HAS SOPS 2047398 HAS SOUS 504542 HAS SOUPS 502554 WITH SCORE 504802.994
AT ITER 9276 NEW BEST:: SOT 2440323 SOS 2266120 HAS SOPS 2058902 HAS SOUS 503962 HAS SOUPS 501974 WITH SCORE 504240.12
AT ITER 9283 NEW BEST:: SOT 2440323 SOS 2266113 HAS SOPS 2058895 HAS SOUS 503955 HAS SOUPS 501967 WITH SCORE 504233.113
AT ITER 9298 NEW BEST:: SOT 2441393 SOS 2267183 HAS SOPS 2059965 HAS SOUS 503930 HAS SOUPS 501942 WITH SCORE 504209.183
AT ITER 9324 NEW BEST:: SOT 2452265 SOS 2277247 HAS SOPS 2066465 HAS SOUS 503485 HAS SOUPS 501497 WITH SCORE 503774.247
AT ITER 9358 NEW BEST:: SOT 2452074 SOS 2277056 HAS SOPS 2066274 HAS SOUS 503485 HAS SOUPS 501497 WITH SCORE 503774.056
AT ITER 9373 NEW BEST:: SOT 2453256 SOS 2278238 HAS SOPS 2067456 HAS SOUS 503065 HAS SOUPS 501077 WITH SCORE 503355.238
AT ITER 9394 NEW BEST:: SOT 2453202 SOS 2278184 HAS SOPS 2067402 HAS SOUS 503011 HAS SOUPS 501023 WITH SCORE 503301.184
AT ITER 9401 NEW BEST:: SOT 2465560 SOS 2288839 HAS SOPS 2068781 HAS SOUS 501403 HAS SOUPS 499415 WITH SCORE 501703.839
AT ITER 9414 NEW BEST:: SOT 2466187 SOS 2289466 HAS SOPS 2069408 HAS SOUS 501129 HAS SOUPS 499141 WITH SCORE 501430.466
AT ITER 9425 NEW BEST:: SOT 2465839 SOS 2289118 HAS SOPS 2069060 HAS SOUS 501013 HAS SOUPS 499025 WITH SCORE 501314.118
AT ITER 9428 NEW BEST:: SOT 2465091 SOS 2288370 HAS SOPS 2068312 HAS SOUS 500639 HAS SOUPS 498651 WITH SCORE 500939.37
AT ITER 9429 NEW BEST:: SOT 2465620 SOS 2288899 HAS SOPS 2068841 HAS SOUS 500368 HAS SOUPS 498380 WITH SCORE 500668.899
AT ITER 9432 NEW BEST:: SOT 2464868 SOS 2288147 HAS SOPS 2068089 HAS SOUS 499932 HAS SOUPS 497944 WITH SCORE 500232.147
AT ITER 9503 NEW BEST:: SOT 2465746 SOS 2289025 HAS SOPS 2068967 HAS SOUS 499268 HAS SOUPS 497280 WITH SCORE 499569.025
AT ITER 9526 NEW BEST:: SOT 2466383 SOS 2289662 HAS SOPS 2069604 HAS SOUS 498682 HAS SOUPS 496694 WITH SCORE 498983.662
AT ITER 9539 NEW BEST:: SOT 2479186 SOS 2302465 HAS SOPS 2079041 HAS SOUS 498630 HAS SOUPS 496642 WITH SCORE 498944.465
AT ITER 9542 NEW BEST:: SOT 2478236 SOS 2301515 HAS SOPS 2078091 HAS SOUS 498590 HAS SOUPS 496602 WITH SCORE 498903.515
AT ITER 9556 NEW BEST:: SOT 2477768 SOS 2301047 HAS SOPS 2077623 HAS SOUS 498500 HAS SOUPS 496512 WITH SCORE 498813.047
AT ITER 9569 NEW BEST:: SOT 2477768 SOS 2296597 HAS SOPS 2073173 HAS SOUS 497788 HAS SOUPS 495800 WITH SCORE 498096.597
AT ITER 9584 NEW BEST:: SOT 2477648 SOS 2296477 HAS SOPS 2073053 HAS SOUS 497669 HAS SOUPS 495681 WITH SCORE 497977.477
AT ITER 9597 NEW BEST:: SOT 2477648 SOS 2296431 HAS SOPS 2073007 HAS SOUS 497567 HAS SOUPS 495579 WITH SCORE 497875.431
AT ITER 9610 NEW BEST:: SOT 2477634 SOS 2296417 HAS SOPS 2072993 HAS SOUS 497567 HAS SOUPS 495579 WITH SCORE 497875.417
AT ITER 9617 NEW BEST:: SOT 2460231 SOS 2279068 HAS SOPS 2058500 HAS SOUS 497238 HAS SOUPS 495250 WITH SCORE 497529.068
AT ITER 9624 NEW BEST:: SOT 2460043 SOS 2278880 HAS SOPS 2058312 HAS SOUS 497050 HAS SOUPS 495062 WITH SCORE 497340.88
AT ITER 9633 NEW BEST:: SOT 2454356 SOS 2273193 HAS SOPS 2052625 HAS SOUS 496533 HAS SOUPS 494545 WITH SCORE 496818.193
AT ITER 9671 NEW BEST:: SOT 2454658 SOS 2273452 HAS SOPS 2052884 HAS SOUS 496505 HAS SOUPS 494517 WITH SCORE 496790.452
AT ITER 9674 NEW BEST:: SOT 2455134 SOS 2273928 HAS SOPS 2053122 HAS SOUS 496403 HAS SOUPS 494415 WITH SCORE 496688.928
AT ITER 9719 NEW BEST:: SOT 2455365 SOS 2274159 HAS SOPS 2053353 HAS SOUS 495752 HAS SOUPS 493764 WITH SCORE 496038.159
AT ITER 9722 NEW BEST:: SOT 2454214 SOS 2273008 HAS SOPS 2052202 HAS SOUS 495286 HAS SOUPS 493298 WITH SCORE 495571.008
AT ITER 9723 NEW BEST:: SOT 2452954 SOS 2271748 HAS SOPS 2050942 HAS SOUS 494656 HAS SOUPS 492668 WITH SCORE 494939.748
AT ITER 9749 NEW BEST:: SOT 2452320 SOS 2271114 HAS SOPS 2050308 HAS SOUS 493762 HAS SOUPS 491774 WITH SCORE 494045.114
AT ITER 9787 NEW BEST:: SOT 2451996 SOS 2270790 HAS SOPS 2049984 HAS SOUS 493654 HAS SOUPS 491666 WITH SCORE 493936.79
AT ITER 9843 NEW BEST:: SOT 2442768 SOS 2261562 HAS SOPS 2040756 HAS SOUS 492116 HAS SOUPS 490128 WITH SCORE 492389.562
AT ITER 9847 NEW BEST:: SOT 2440874 SOS 2259668 HAS SOPS 2038862 HAS SOUS 491977 HAS SOUPS 489989 WITH SCORE 492248.668
AT ITER 9862 NEW BEST:: SOT 2454762 SOS 2272887 HAS SOPS 2048545 HAS SOUS 490908 HAS SOUPS 488920 WITH SCORE 491192.887
AT ITER 9873 NEW BEST:: SOT 2454503 SOS 2272628 HAS SOPS 2048027 HAS SOUS 490648 HAS SOUPS 488660 WITH SCORE 490932.628
AT ITER 9874 NEW BEST:: SOT 2460337 SOS 2277635 HAS SOPS 2048801 HAS SOUS 489662 HAS SOUPS 487674 WITH SCORE 489951.635
AT ITER 9877 NEW BEST:: SOT 2460757 SOS 2276547 HAS SOPS 2046621 HAS SOUS 488682 HAS SOUPS 486694 WITH SCORE 488970.547
AT ITER 9912 NEW BEST:: SOT 2460757 SOS 2275977 HAS SOPS 2046051 HAS SOUS 488511 HAS SOUPS 486523 WITH SCORE 488798.977
AT ITER 9925 NEW BEST:: SOT 2461378 SOS 2276598 HAS SOPS 2046672 HAS SOUS 488367 HAS SOUPS 486379 WITH SCORE 488655.598
AT ITER 9931 NEW BEST:: SOT 2461188 SOS 2276408 HAS SOPS 2046862 HAS SOUS 488367 HAS SOUPS 486379 WITH SCORE 488655.408
AT ITER 9945 NEW BEST:: SOT 2462434 SOS 2277654 HAS SOPS 2048108 HAS SOUS 487939 HAS SOUPS 485951 WITH SCORE 488228.654
AT ITER 9962 NEW BEST:: SOT 2462126 SOS 2277346 HAS SOPS 2047800 HAS SOUS 487785 HAS SOUPS 485797 WITH SCORE 488074.346
AT ITER 9972 NEW BEST:: SOT 2459461 SOS 2274681 HAS SOPS 2045135 HAS SOUS 486023 HAS SOUPS 484035 WITH SCORE 486309.681
AT ITER 9986 NEW BEST:: SOT 2458225 SOS 2273445 HAS SOPS 2043899 HAS SOUS 486023 HAS SOUPS 484035 WITH SCORE 486308.445
AT ITER 9987 NEW BEST:: SOT 2458225 SOS 2273445 HAS SOPS 2043899 HAS SOUS 486021 HAS SOUPS 484033 WITH SCORE 486306.445
AT ITER 9993 NEW BEST:: SOT 2458128 SOS 2273348 HAS SOPS 2043802 HAS SOUS 485924 HAS SOUPS 483936 WITH SCORE 486209.348
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11470776 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16153576 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-d2m10"
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-d2m10, 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-167814472300344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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