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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.0K Feb 26 15:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 15:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678237160081

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-d2m04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m04
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 35 NEW BEST:: SOT 2905994 SOS 2845057 HAS SOPS 2845033 HAS SOUS 2041650 HAS SOUPS 2041626 WITH SCORE 2044471.057
AT ITER 40 NEW BEST:: SOT 2905994 SOS 2845057 HAS SOPS 2845033 HAS SOUS 2041611 HAS SOUPS 2041587 WITH SCORE 2044432.057
AT ITER 100 NEW BEST:: SOT 2905994 SOS 2845057 HAS SOPS 2845033 HAS SOUS 2041270 HAS SOUPS 2041246 WITH SCORE 2044091.057
AT ITER 114 NEW BEST:: SOT 2905994 SOS 2845057 HAS SOPS 2845033 HAS SOUS 2041155 HAS SOUPS 2041131 WITH SCORE 2043976.057
AT ITER 118 NEW BEST:: SOT 2907869 SOS 2846932 HAS SOPS 2846908 HAS SOUS 2038944 HAS SOUPS 2038920 WITH SCORE 2041766.932
AT ITER 154 NEW BEST:: SOT 2907869 SOS 2846932 HAS SOPS 2846908 HAS SOUS 2038935 HAS SOUPS 2038911 WITH SCORE 2041757.932
AT ITER 162 NEW BEST:: SOT 2907919 SOS 2846982 HAS SOPS 2846958 HAS SOUS 2038800 HAS SOUPS 2038776 WITH SCORE 2041622.982
AT ITER 175 NEW BEST:: SOT 2911124 SOS 2850187 HAS SOPS 2850163 HAS SOUS 2038233 HAS SOUPS 2038209 WITH SCORE 2041059.187
AT ITER 189 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2034824 HAS SOUPS 2034800 WITH SCORE 2037650.837
AT ITER 247 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2034248 HAS SOUPS 2034224 WITH SCORE 2037074.837
AT ITER 249 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2033513 HAS SOUPS 2033489 WITH SCORE 2036339.837
AT ITER 250 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2033204 HAS SOUPS 2033180 WITH SCORE 2036030.837
AT ITER 267 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2033012 HAS SOUPS 2032988 WITH SCORE 2035838.837
AT ITER 308 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2032997 HAS SOUPS 2032973 WITH SCORE 2035823.837
AT ITER 354 NEW BEST:: SOT 2911774 SOS 2850837 HAS SOPS 2850813 HAS SOUS 2032553 HAS SOUPS 2032529 WITH SCORE 2035379.837
AT ITER 360 NEW BEST:: SOT 2912124 SOS 2851187 HAS SOPS 2851163 HAS SOUS 2032474 HAS SOUPS 2032450 WITH SCORE 2035301.187
AT ITER 391 NEW BEST:: SOT 2913118 SOS 2852181 HAS SOPS 2852157 HAS SOUS 2032290 HAS SOUPS 2032266 WITH SCORE 2035118.181
AT ITER 424 NEW BEST:: SOT 2914141 SOS 2853204 HAS SOPS 2853180 HAS SOUS 2032194 HAS SOUPS 2032170 WITH SCORE 2035023.204
AT ITER 480 NEW BEST:: SOT 2914366 SOS 2853429 HAS SOPS 2853405 HAS SOUS 2031400 HAS SOUPS 2031376 WITH SCORE 2034229.429
AT ITER 489 NEW BEST:: SOT 2914412 SOS 2853475 HAS SOPS 2853451 HAS SOUS 2030788 HAS SOUPS 2030764 WITH SCORE 2033617.475
AT ITER 495 NEW BEST:: SOT 2920322 SOS 2859385 HAS SOPS 2859361 HAS SOUS 2030495 HAS SOUPS 2030471 WITH SCORE 2033330.385
AT ITER 497 NEW BEST:: SOT 2921336 SOS 2860399 HAS SOPS 2860375 HAS SOUS 2030068 HAS SOUPS 2030044 WITH SCORE 2032904.399
AT ITER 505 NEW BEST:: SOT 2923932 SOS 2862995 HAS SOPS 2862971 HAS SOUS 2029431 HAS SOUPS 2029407 WITH SCORE 2032269.995
AT ITER 507 NEW BEST:: SOT 2925534 SOS 2864597 HAS SOPS 2864573 HAS SOUS 2028875 HAS SOUPS 2028851 WITH SCORE 2031715.597
AT ITER 509 NEW BEST:: SOT 2925870 SOS 2864933 HAS SOPS 2864909 HAS SOUS 2027335 HAS SOUPS 2027311 WITH SCORE 2030175.933
AT ITER 511 NEW BEST:: SOT 2927697 SOS 2866760 HAS SOPS 2866736 HAS SOUS 2025869 HAS SOUPS 2025845 WITH SCORE 2028711.76
AT ITER 536 NEW BEST:: SOT 2933087 SOS 2872150 HAS SOPS 2872126 HAS SOUS 2022247 HAS SOUPS 2022223 WITH SCORE 2025095.15
AT ITER 539 NEW BEST:: SOT 2933087 SOS 2872150 HAS SOPS 2872126 HAS SOUS 2020125 HAS SOUPS 2020101 WITH SCORE 2022973.15
AT ITER 551 NEW BEST:: SOT 2935807 SOS 2874870 HAS SOPS 2874846 HAS SOUS 2016374 HAS SOUPS 2016350 WITH SCORE 2019224.87
AT ITER 573 NEW BEST:: SOT 2935807 SOS 2874870 HAS SOPS 2874846 HAS SOUS 2015510 HAS SOUPS 2015486 WITH SCORE 2018360.87
AT ITER 641 NEW BEST:: SOT 2941822 SOS 2880885 HAS SOPS 2880861 HAS SOUS 2014376 HAS SOUPS 2014352 WITH SCORE 2017232.885
AT ITER 642 NEW BEST:: SOT 2941822 SOS 2880885 HAS SOPS 2880861 HAS SOUS 2014369 HAS SOUPS 2014345 WITH SCORE 2017225.885
AT ITER 646 NEW BEST:: SOT 2942107 SOS 2881170 HAS SOPS 2881146 HAS SOUS 2013344 HAS SOUPS 2013320 WITH SCORE 2016201.17
AT ITER 652 NEW BEST:: SOT 2942107 SOS 2881170 HAS SOPS 2881146 HAS SOUS 2013295 HAS SOUPS 2013271 WITH SCORE 2016152.17
AT ITER 681 NEW BEST:: SOT 2946532 SOS 2885553 HAS SOPS 2885529 HAS SOUS 2008996 HAS SOUPS 2008972 WITH SCORE 2011857.553
AT ITER 693 NEW BEST:: SOT 2947963 SOS 2886984 HAS SOPS 2886960 HAS SOUS 2008565 HAS SOUPS 2008541 WITH SCORE 2011427.984
AT ITER 696 NEW BEST:: SOT 2948511 SOS 2887532 HAS SOPS 2887508 HAS SOUS 2008506 HAS SOUPS 2008482 WITH SCORE 2011369.532
AT ITER 702 NEW BEST:: SOT 2948511 SOS 2887532 HAS SOPS 2887508 HAS SOUS 2008378 HAS SOUPS 2008354 WITH SCORE 2011241.532
AT ITER 712 NEW BEST:: SOT 2948436 SOS 2887457 HAS SOPS 2887433 HAS SOUS 2008303 HAS SOUPS 2008279 WITH SCORE 2011166.457
AT ITER 730 NEW BEST:: SOT 2948436 SOS 2887457 HAS SOPS 2887433 HAS SOUS 2007608 HAS SOUPS 2007584 WITH SCORE 2010471.457
AT ITER 740 NEW BEST:: SOT 2948436 SOS 2887457 HAS SOPS 2887433 HAS SOUS 2007605 HAS SOUPS 2007581 WITH SCORE 2010468.457
AT ITER 759 NEW BEST:: SOT 2950806 SOS 2889827 HAS SOPS 2889803 HAS SOUS 2006333 HAS SOUPS 2006309 WITH SCORE 2009198.827
AT ITER 778 NEW BEST:: SOT 2951361 SOS 2890382 HAS SOPS 2890358 HAS SOUS 2002153 HAS SOUPS 2002129 WITH SCORE 2005019.382
AT ITER 800 NEW BEST:: SOT 2951361 SOS 2890382 HAS SOPS 2890358 HAS SOUS 2001447 HAS SOUPS 2001423 WITH SCORE 2004313.382
AT ITER 816 NEW BEST:: SOT 2951361 SOS 2890339 HAS SOPS 2890315 HAS SOUS 2001073 HAS SOUPS 2001049 WITH SCORE 2003939.339
AT ITER 831 NEW BEST:: SOT 2951361 SOS 2890339 HAS SOPS 2890315 HAS SOUS 2000735 HAS SOUPS 2000711 WITH SCORE 2003601.339
AT ITER 843 NEW BEST:: SOT 2951361 SOS 2890744 HAS SOPS 2890720 HAS SOUS 2000562 HAS SOUPS 2000538 WITH SCORE 2003428.744
AT ITER 848 NEW BEST:: SOT 2950541 SOS 2889924 HAS SOPS 2889900 HAS SOUS 1999742 HAS SOUPS 1999718 WITH SCORE 2002607.924
AT ITER 886 NEW BEST:: SOT 2950827 SOS 2890210 HAS SOPS 2890186 HAS SOUS 1999707 HAS SOUPS 1999683 WITH SCORE 2002573.21
AT ITER 895 NEW BEST:: SOT 2951997 SOS 2891380 HAS SOPS 2891356 HAS SOUS 1998781 HAS SOUPS 1998757 WITH SCORE 2001648.38
AT ITER 905 NEW BEST:: SOT 2952289 SOS 2891672 HAS SOPS 2891648 HAS SOUS 1998493 HAS SOUPS 1998469 WITH SCORE 2001360.672
AT ITER 919 NEW BEST:: SOT 2956276 SOS 2895659 HAS SOPS 2895635 HAS SOUS 1998420 HAS SOUPS 1998396 WITH SCORE 2001291.659
AT ITER 929 NEW BEST:: SOT 2958013 SOS 2897396 HAS SOPS 2897372 HAS SOUS 1998207 HAS SOUPS 1998183 WITH SCORE 2001080.396
AT ITER 972 NEW BEST:: SOT 2958013 SOS 2897396 HAS SOPS 2897372 HAS SOUS 1998143 HAS SOUPS 1998119 WITH SCORE 2001016.396
AT ITER 973 NEW BEST:: SOT 2958020 SOS 2897403 HAS SOPS 2897379 HAS SOUS 1998055 HAS SOUPS 1998031 WITH SCORE 2000928.403
AT ITER 977 NEW BEST:: SOT 2958020 SOS 2897403 HAS SOPS 2897379 HAS SOUS 1997989 HAS SOUPS 1997965 WITH SCORE 2000862.403
AT ITER 1029 NEW BEST:: SOT 2958923 SOS 2898306 HAS SOPS 2898282 HAS SOUS 1996628 HAS SOUPS 1996604 WITH SCORE 1999502.306
AT ITER 1044 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1996549 HAS SOUPS 1996525 WITH SCORE 1999422.825
AT ITER 1070 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1996089 HAS SOUPS 1996065 WITH SCORE 1998962.825
AT ITER 1093 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1995494 HAS SOUPS 1995470 WITH SCORE 1998367.825
AT ITER 1106 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1993662 HAS SOUPS 1993638 WITH SCORE 1996535.825
AT ITER 1151 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1993014 HAS SOUPS 1992990 WITH SCORE 1995887.825
AT ITER 1171 NEW BEST:: SOT 2960027 SOS 2897825 HAS SOPS 2897801 HAS SOUS 1992097 HAS SOUPS 1992073 WITH SCORE 1994970.825
AT ITER 1180 NEW BEST:: SOT 2961695 SOS 2899493 HAS SOPS 2899469 HAS SOUS 1990812 HAS SOUPS 1990788 WITH SCORE 1993687.493
AT ITER 1187 NEW BEST:: SOT 2969406 SOS 2906444 HAS SOPS 2906420 HAS SOUS 1986033 HAS SOUPS 1986009 WITH SCORE 1988915.444
AT ITER 1200 NEW BEST:: SOT 2971646 SOS 2908684 HAS SOPS 2908660 HAS SOUS 1984186 HAS SOUPS 1984162 WITH SCORE 1987070.684
AT ITER 1206 NEW BEST:: SOT 2971970 SOS 2909008 HAS SOPS 2908984 HAS SOUS 1983874 HAS SOUPS 1983850 WITH SCORE 1986759.008
AT ITER 1212 NEW BEST:: SOT 2971970 SOS 2909008 HAS SOPS 2908984 HAS SOUS 1981280 HAS SOUPS 1981256 WITH SCORE 1984165.008
AT ITER 1240 NEW BEST:: SOT 2971970 SOS 2909008 HAS SOPS 2908984 HAS SOUS 1981218 HAS SOUPS 1981194 WITH SCORE 1984103.008
AT ITER 1253 NEW BEST:: SOT 2975711 SOS 2912749 HAS SOPS 2912725 HAS SOUS 1980833 HAS SOUPS 1980809 WITH SCORE 1983721.749
AT ITER 1259 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1980491 HAS SOUPS 1980467 WITH SCORE 1983377.182
AT ITER 1276 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1980490 HAS SOUPS 1980466 WITH SCORE 1983376.182
AT ITER 1294 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1980164 HAS SOUPS 1980140 WITH SCORE 1983050.182
AT ITER 1296 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1979813 HAS SOUPS 1979789 WITH SCORE 1982699.182
AT ITER 1298 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1979365 HAS SOUPS 1979341 WITH SCORE 1982251.182
AT ITER 1300 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1979198 HAS SOUPS 1979174 WITH SCORE 1982084.182
AT ITER 1305 NEW BEST:: SOT 2975711 SOS 2910182 HAS SOPS 2910158 HAS SOUS 1979188 HAS SOUPS 1979164 WITH SCORE 1982074.182
AT ITER 1307 NEW BEST:: SOT 2975711 SOS 2909752 HAS SOPS 2909728 HAS SOUS 1977468 HAS SOUPS 1977444 WITH SCORE 1980353.752
AT ITER 1309 NEW BEST:: SOT 2976635 SOS 2910676 HAS SOPS 2910652 HAS SOUS 1977296 HAS SOUPS 1977272 WITH SCORE 1980182.676
AT ITER 1310 NEW BEST:: SOT 2976635 SOS 2910676 HAS SOPS 2910652 HAS SOUS 1976560 HAS SOUPS 1976536 WITH SCORE 1979446.676
AT ITER 1339 NEW BEST:: SOT 2992703 SOS 2926744 HAS SOPS 2926720 HAS SOUS 1974350 HAS SOUPS 1974326 WITH SCORE 1977252.744
AT ITER 1360 NEW BEST:: SOT 2994185 SOS 2928226 HAS SOPS 2928202 HAS SOUS 1974152 HAS SOUPS 1974128 WITH SCORE 1977056.226
AT ITER 1374 NEW BEST:: SOT 2994381 SOS 2928422 HAS SOPS 2928398 HAS SOUS 1974086 HAS SOUPS 1974062 WITH SCORE 1976990.422
AT ITER 1383 NEW BEST:: SOT 2994381 SOS 2928422 HAS SOPS 2928398 HAS SOUS 1973693 HAS SOUPS 1973669 WITH SCORE 1976597.422
AT ITER 1392 NEW BEST:: SOT 2994596 SOS 2928084 HAS SOPS 2928060 HAS SOUS 1973355 HAS SOUPS 1973331 WITH SCORE 1976259.084
AT ITER 1418 NEW BEST:: SOT 3016304 SOS 2949792 HAS SOPS 2949768 HAS SOUS 1970426 HAS SOUPS 1970402 WITH SCORE 1973351.792
AT ITER 1421 NEW BEST:: SOT 3019493 SOS 2952981 HAS SOPS 2952957 HAS SOUS 1967642 HAS SOUPS 1967618 WITH SCORE 1970570.981
AT ITER 1428 NEW BEST:: SOT 3026549 SOS 2959762 HAS SOPS 2959738 HAS SOUS 1957750 HAS SOUPS 1957726 WITH SCORE 1960685.762
AT ITER 1486 NEW BEST:: SOT 3054549 SOS 2983037 HAS SOPS 2983013 HAS SOUS 1956410 HAS SOUPS 1956386 WITH SCORE 1959369.037
AT ITER 1521 NEW BEST:: SOT 3081801 SOS 3010010 HAS SOPS 3009986 HAS SOUS 1954442 HAS SOUPS 1954418 WITH SCORE 1957428.01
AT ITER 1543 NEW BEST:: SOT 3085155 SOS 3013364 HAS SOPS 3013340 HAS SOUS 1953394 HAS SOUPS 1953370 WITH SCORE 1956383.364
AT ITER 1557 NEW BEST:: SOT 3085155 SOS 3013364 HAS SOPS 3013340 HAS SOUS 1953336 HAS SOUPS 1953312 WITH SCORE 1956325.364
AT ITER 1575 NEW BEST:: SOT 3085155 SOS 3013364 HAS SOPS 3013340 HAS SOUS 1952232 HAS SOUPS 1952208 WITH SCORE 1955221.364
AT ITER 1585 NEW BEST:: SOT 3086754 SOS 3014963 HAS SOPS 3014939 HAS SOUS 1952202 HAS SOUPS 1952178 WITH SCORE 1955192.963
AT ITER 1617 NEW BEST:: SOT 3086754 SOS 3014963 HAS SOPS 3014939 HAS SOUS 1951988 HAS SOUPS 1951964 WITH SCORE 1954978.963
AT ITER 1623 NEW BEST:: SOT 3086754 SOS 3014963 HAS SOPS 3014939 HAS SOUS 1951605 HAS SOUPS 1951581 WITH SCORE 1954595.963
AT ITER 1627 NEW BEST:: SOT 3088266 SOS 3016475 HAS SOPS 3016451 HAS SOUS 1951330 HAS SOUPS 1951306 WITH SCORE 1954322.475
AT ITER 1634 NEW BEST:: SOT 3088576 SOS 3016785 HAS SOPS 3016761 HAS SOUS 1951109 HAS SOUPS 1951085 WITH SCORE 1954101.785
AT ITER 1651 NEW BEST:: SOT 3089322 SOS 3017531 HAS SOPS 3017507 HAS SOUS 1950797 HAS SOUPS 1950773 WITH SCORE 1953790.531
AT ITER 1652 NEW BEST:: SOT 3089322 SOS 3017531 HAS SOPS 3017507 HAS SOUS 1949921 HAS SOUPS 1949897 WITH SCORE 1952914.531
AT ITER 1667 NEW BEST:: SOT 3089580 SOS 3017789 HAS SOPS 3017765 HAS SOUS 1947933 HAS SOUPS 1947909 WITH SCORE 1950926.789
AT ITER 1678 NEW BEST:: SOT 3092120 SOS 3020329 HAS SOPS 3020305 HAS SOUS 1947282 HAS SOUPS 1947258 WITH SCORE 1950278.329
AT ITER 1704 NEW BEST:: SOT 3100485 SOS 3028694 HAS SOPS 3028670 HAS SOUS 1945763 HAS SOUPS 1945739 WITH SCORE 1948767.694
AT ITER 1727 NEW BEST:: SOT 3111765 SOS 3038381 HAS SOPS 3038357 HAS SOUS 1935946 HAS SOUPS 1935922 WITH SCORE 1938960.381
AT ITER 1729 NEW BEST:: SOT 3111765 SOS 3038381 HAS SOPS 3038357 HAS SOUS 1935936 HAS SOUPS 1935912 WITH SCORE 1938950.381
AT ITER 1740 NEW BEST:: SOT 3113763 SOS 3040379 HAS SOPS 3040355 HAS SOUS 1935034 HAS SOUPS 1935010 WITH SCORE 1938050.379
AT ITER 1745 NEW BEST:: SOT 3113763 SOS 3040379 HAS SOPS 3040355 HAS SOUS 1932779 HAS SOUPS 1932755 WITH SCORE 1935795.379
AT ITER 1768 NEW BEST:: SOT 3113763 SOS 3040379 HAS SOPS 3040355 HAS SOUS 1930408 HAS SOUPS 1930384 WITH SCORE 1933424.379
AT ITER 1771 NEW BEST:: SOT 3116319 SOS 3042935 HAS SOPS 3042911 HAS SOUS 1929188 HAS SOUPS 1929164 WITH SCORE 1932206.935
AT ITER 1778 NEW BEST:: SOT 3116319 SOS 3042935 HAS SOPS 3042911 HAS SOUS 1929034 HAS SOUPS 1929010 WITH SCORE 1932052.935
AT ITER 1781 NEW BEST:: SOT 3125179 SOS 3051795 HAS SOPS 3051771 HAS SOUS 1928508 HAS SOUPS 1928484 WITH SCORE 1931535.795
AT ITER 1783 NEW BEST:: SOT 3128326 SOS 3054942 HAS SOPS 3054918 HAS SOUS 1927465 HAS SOUPS 1927441 WITH SCORE 1930495.942
AT ITER 1787 NEW BEST:: SOT 3128546 SOS 3055162 HAS SOPS 3055138 HAS SOUS 1927054 HAS SOUPS 1927030 WITH SCORE 1930085.162
AT ITER 1796 NEW BEST:: SOT 3128546 SOS 3055162 HAS SOPS 3055138 HAS SOUS 1927051 HAS SOUPS 1927027 WITH SCORE 1930082.162
AT ITER 1811 NEW BEST:: SOT 3133310 SOS 3059926 HAS SOPS 3059902 HAS SOUS 1926932 HAS SOUPS 1926908 WITH SCORE 1929967.926
AT ITER 1813 NEW BEST:: SOT 3136946 SOS 3063562 HAS SOPS 3063538 HAS SOUS 1926081 HAS SOUPS 1926057 WITH SCORE 1929120.562
AT ITER 1818 NEW BEST:: SOT 3135501 SOS 3062117 HAS SOPS 3062093 HAS SOUS 1925792 HAS SOUPS 1925768 WITH SCORE 1928830.117
AT ITER 1841 NEW BEST:: SOT 3138437 SOS 3065053 HAS SOPS 3065029 HAS SOUS 1924879 HAS SOUPS 1924855 WITH SCORE 1927920.053
AT ITER 1865 NEW BEST:: SOT 3138437 SOS 3065053 HAS SOPS 3065029 HAS SOUS 1924878 HAS SOUPS 1924854 WITH SCORE 1927919.053
AT ITER 1893 NEW BEST:: SOT 3138437 SOS 3065053 HAS SOPS 3065029 HAS SOUS 1922898 HAS SOUPS 1922874 WITH SCORE 1925939.053
AT ITER 1917 NEW BEST:: SOT 3138437 SOS 3065053 HAS SOPS 3065029 HAS SOUS 1922508 HAS SOUPS 1922484 WITH SCORE 1925549.053
AT ITER 1918 NEW BEST:: SOT 3138437 SOS 3065053 HAS SOPS 3065029 HAS SOUS 1921640 HAS SOUPS 1921616 WITH SCORE 1924681.053
AT ITER 1927 NEW BEST:: SOT 3146351 SOS 3072967 HAS SOPS 3072943 HAS SOUS 1921460 HAS SOUPS 1921436 WITH SCORE 1924508.967
AT ITER 1953 NEW BEST:: SOT 3146941 SOS 3073557 HAS SOPS 3073533 HAS SOUS 1920321 HAS SOUPS 1920297 WITH SCORE 1923370.557
AT ITER 1964 NEW BEST:: SOT 3146941 SOS 3073557 HAS SOPS 3073533 HAS SOUS 1919917 HAS SOUPS 1919893 WITH SCORE 1922966.557
AT ITER 1970 NEW BEST:: SOT 3171325 SOS 3096354 HAS SOPS 3096330 HAS SOUS 1912237 HAS SOUPS 1912213 WITH SCORE 1915309.354
AT ITER 1991 NEW BEST:: SOT 3171807 SOS 3096836 HAS SOPS 3096812 HAS SOUS 1912117 HAS SOUPS 1912093 WITH SCORE 1915189.836
AT ITER 1999 NEW BEST:: SOT 3171807 SOS 3096836 HAS SOPS 3096812 HAS SOUS 1912100 HAS SOUPS 1912076 WITH SCORE 1915172.836
AT ITER 2021 NEW BEST:: SOT 3171807 SOS 3096836 HAS SOPS 3096812 HAS SOUS 1903186 HAS SOUPS 1903162 WITH SCORE 1906258.836
AT ITER 2026 NEW BEST:: SOT 3175612 SOS 3100641 HAS SOPS 3100617 HAS SOUS 1898931 HAS SOUPS 1898907 WITH SCORE 1902007.641
AT ITER 2032 NEW BEST:: SOT 3177700 SOS 3102729 HAS SOPS 3102705 HAS SOUS 1898389 HAS SOUPS 1898365 WITH SCORE 1901467.729
AT ITER 2042 NEW BEST:: SOT 3177670 SOS 3102699 HAS SOPS 3102675 HAS SOUS 1898374 HAS SOUPS 1898350 WITH SCORE 1901452.699
AT ITER 2046 NEW BEST:: SOT 3177670 SOS 3102388 HAS SOPS 3102364 HAS SOUS 1898053 HAS SOUPS 1898029 WITH SCORE 1901131.388
AT ITER 2049 NEW BEST:: SOT 3177670 SOS 3101821 HAS SOPS 3101797 HAS SOUS 1897757 HAS SOUPS 1897733 WITH SCORE 1900834.821
AT ITER 2093 NEW BEST:: SOT 3177768 SOS 3101919 HAS SOPS 3101895 HAS SOUS 1897194 HAS SOUPS 1897170 WITH SCORE 1900271.919
AT ITER 2097 NEW BEST:: SOT 3173580 SOS 3097731 HAS SOPS 3097707 HAS SOUS 1896496 HAS SOUPS 1896472 WITH SCORE 1899569.731
AT ITER 2103 NEW BEST:: SOT 3179100 SOS 3103251 HAS SOPS 3103227 HAS SOUS 1893298 HAS SOUPS 1893274 WITH SCORE 1896377.251
AT ITER 2104 NEW BEST:: SOT 3179100 SOS 3103251 HAS SOPS 3103227 HAS SOUS 1893079 HAS SOUPS 1893055 WITH SCORE 1896158.251
AT ITER 2122 NEW BEST:: SOT 3178143 SOS 3102294 HAS SOPS 3102270 HAS SOUS 1892760 HAS SOUPS 1892736 WITH SCORE 1895838.294
AT ITER 2123 NEW BEST:: SOT 3176343 SOS 3100494 HAS SOPS 3100470 HAS SOUS 1890960 HAS SOUPS 1890936 WITH SCORE 1894036.494
AT ITER 2132 NEW BEST:: SOT 3178281 SOS 3102432 HAS SOPS 3102408 HAS SOUS 1889541 HAS SOUPS 1889517 WITH SCORE 1892619.432
AT ITER 2134 NEW BEST:: SOT 3178281 SOS 3102432 HAS SOPS 3102408 HAS SOUS 1889219 HAS SOUPS 1889195 WITH SCORE 1892297.432
AT ITER 2152 NEW BEST:: SOT 3178539 SOS 3102690 HAS SOPS 3102666 HAS SOUS 1889095 HAS SOUPS 1889071 WITH SCORE 1892173.69
AT ITER 2172 NEW BEST:: SOT 3178539 SOS 3102690 HAS SOPS 3102666 HAS SOUS 1888954 HAS SOUPS 1888930 WITH SCORE 1892032.69
AT ITER 2207 NEW BEST:: SOT 3178756 SOS 3102907 HAS SOPS 3102883 HAS SOUS 1888802 HAS SOUPS 1888778 WITH SCORE 1891880.907
AT ITER 2224 NEW BEST:: SOT 3179155 SOS 3103306 HAS SOPS 3103282 HAS SOUS 1888741 HAS SOUPS 1888717 WITH SCORE 1891820.306
AT ITER 2235 NEW BEST:: SOT 3179155 SOS 3103306 HAS SOPS 3103282 HAS SOUS 1888555 HAS SOUPS 1888531 WITH SCORE 1891634.306
AT ITER 2239 NEW BEST:: SOT 3155947 SOS 3080098 HAS SOPS 3080074 HAS SOUS 1882297 HAS SOUPS 1882273 WITH SCORE 1885353.098
AT ITER 2253 NEW BEST:: SOT 3156253 SOS 3080404 HAS SOPS 3080380 HAS SOUS 1882253 HAS SOUPS 1882229 WITH SCORE 1885309.404
AT ITER 2257 NEW BEST:: SOT 3156591 SOS 3080742 HAS SOPS 3080718 HAS SOUS 1882021 HAS SOUPS 1881997 WITH SCORE 1885077.742
AT ITER 2258 NEW BEST:: SOT 3156591 SOS 3080742 HAS SOPS 3080718 HAS SOUS 1881801 HAS SOUPS 1881777 WITH SCORE 1884857.742
AT ITER 2272 NEW BEST:: SOT 3156591 SOS 3080742 HAS SOPS 3080718 HAS SOUS 1881727 HAS SOUPS 1881703 WITH SCORE 1884783.742
AT ITER 2275 NEW BEST:: SOT 3157389 SOS 3081540 HAS SOPS 3081516 HAS SOUS 1880375 HAS SOUPS 1880351 WITH SCORE 1883432.54
AT ITER 2289 NEW BEST:: SOT 3178973 SOS 3098435 HAS SOPS 3098411 HAS SOUS 1876625 HAS SOUPS 1876601 WITH SCORE 1879699.435
AT ITER 2309 NEW BEST:: SOT 3178973 SOS 3098435 HAS SOPS 3098411 HAS SOUS 1876200 HAS SOUPS 1876176 WITH SCORE 1879274.435
AT ITER 2311 NEW BEST:: SOT 3178973 SOS 3098476 HAS SOPS 3098452 HAS SOUS 1876159 HAS SOUPS 1876135 WITH SCORE 1879233.476
AT ITER 2312 NEW BEST:: SOT 3178973 SOS 3098476 HAS SOPS 3098452 HAS SOUS 1875986 HAS SOUPS 1875962 WITH SCORE 1879060.476
AT ITER 2337 NEW BEST:: SOT 3180083 SOS 3099586 HAS SOPS 3099562 HAS SOUS 1875806 HAS SOUPS 1875782 WITH SCORE 1878881.586
AT ITER 2360 NEW BEST:: SOT 3180083 SOS 3099586 HAS SOPS 3099562 HAS SOUS 1875778 HAS SOUPS 1875754 WITH SCORE 1878853.586
AT ITER 2361 NEW BEST:: SOT 3180663 SOS 3100166 HAS SOPS 3100142 HAS SOUS 1875770 HAS SOUPS 1875746 WITH SCORE 1878846.166
AT ITER 2388 NEW BEST:: SOT 3180663 SOS 3100166 HAS SOPS 3100142 HAS SOUS 1870165 HAS SOUPS 1870141 WITH SCORE 1873241.166
AT ITER 2391 NEW BEST:: SOT 3181854 SOS 3101357 HAS SOPS 3101333 HAS SOUS 1868494 HAS SOUPS 1868470 WITH SCORE 1871571.357
AT ITER 2395 NEW BEST:: SOT 3185487 SOS 3104990 HAS SOPS 3104966 HAS SOUS 1867646 HAS SOUPS 1867622 WITH SCORE 1870726.99
AT ITER 2399 NEW BEST:: SOT 3185407 SOS 3104910 HAS SOPS 3104886 HAS SOUS 1867420 HAS SOUPS 1867396 WITH SCORE 1870500.91
AT ITER 2441 NEW BEST:: SOT 3185407 SOS 3104910 HAS SOPS 3104886 HAS SOUS 1866559 HAS SOUPS 1866535 WITH SCORE 1869639.91
AT ITER 2445 NEW BEST:: SOT 3185407 SOS 3104910 HAS SOPS 3104886 HAS SOUS 1865914 HAS SOUPS 1865890 WITH SCORE 1868994.91
AT ITER 2448 NEW BEST:: SOT 3189433 SOS 3108936 HAS SOPS 3108912 HAS SOUS 1865616 HAS SOUPS 1865592 WITH SCORE 1868700.936
AT ITER 2465 NEW BEST:: SOT 3193735 SOS 3113238 HAS SOPS 3113214 HAS SOUS 1864993 HAS SOUPS 1864969 WITH SCORE 1868082.238
AT ITER 2472 NEW BEST:: SOT 3193735 SOS 3113238 HAS SOPS 3113214 HAS SOUS 1864927 HAS SOUPS 1864903 WITH SCORE 1868016.238
AT ITER 2475 NEW BEST:: SOT 3204735 SOS 3123466 HAS SOPS 3123442 HAS SOUS 1854365 HAS SOUPS 1854341 WITH SCORE 1857464.466
AT ITER 2482 NEW BEST:: SOT 3204924 SOS 3123655 HAS SOPS 3123631 HAS SOUS 1853269 HAS SOUPS 1853245 WITH SCORE 1856368.655
AT ITER 2485 NEW BEST:: SOT 3205972 SOS 3124703 HAS SOPS 3124679 HAS SOUS 1852621 HAS SOUPS 1852597 WITH SCORE 1855721.703
AT ITER 2496 NEW BEST:: SOT 3205972 SOS 3124703 HAS SOPS 3124679 HAS SOUS 1851614 HAS SOUPS 1851590 WITH SCORE 1854714.703
AT ITER 2521 NEW BEST:: SOT 3214917 SOS 3133648 HAS SOPS 3133624 HAS SOUS 1850488 HAS SOUPS 1850464 WITH SCORE 1853597.648
AT ITER 2524 NEW BEST:: SOT 3217733 SOS 3136464 HAS SOPS 3136440 HAS SOUS 1839613 HAS SOUPS 1839589 WITH SCORE 1842725.464
AT ITER 2542 NEW BEST:: SOT 3218006 SOS 3136737 HAS SOPS 3136713 HAS SOUS 1838390 HAS SOUPS 1838366 WITH SCORE 1841502.737
AT ITER 2543 NEW BEST:: SOT 3218006 SOS 3136737 HAS SOPS 3136713 HAS SOUS 1838381 HAS SOUPS 1838357 WITH SCORE 1841493.737
AT ITER 2544 NEW BEST:: SOT 3222110 SOS 3140841 HAS SOPS 3140817 HAS SOUS 1834421 HAS SOUPS 1834397 WITH SCORE 1837537.841
AT ITER 2548 NEW BEST:: SOT 3222316 SOS 3141047 HAS SOPS 3141023 HAS SOUS 1834231 HAS SOUPS 1834207 WITH SCORE 1837348.047
AT ITER 2553 NEW BEST:: SOT 3222513 SOS 3141244 HAS SOPS 3141220 HAS SOUS 1833573 HAS SOUPS 1833549 WITH SCORE 1836690.244
AT ITER 2562 NEW BEST:: SOT 3230483 SOS 3149214 HAS SOPS 3149190 HAS SOUS 1831035 HAS SOUPS 1831011 WITH SCORE 1834160.214
AT ITER 2564 NEW BEST:: SOT 3230853 SOS 3149584 HAS SOPS 3149560 HAS SOUS 1830985 HAS SOUPS 1830961 WITH SCORE 1834110.584
AT ITER 2575 NEW BEST:: SOT 3231693 SOS 3150424 HAS SOPS 3150400 HAS SOUS 1830145 HAS SOUPS 1830121 WITH SCORE 1833271.424
AT ITER 2601 NEW BEST:: SOT 3231693 SOS 3118512 HAS SOPS 3118488 HAS SOUS 1830120 HAS SOUPS 1830096 WITH SCORE 1833214.512
AT ITER 2606 NEW BEST:: SOT 3231851 SOS 3118670 HAS SOPS 3118646 HAS SOUS 1829702 HAS SOUPS 1829678 WITH SCORE 1832796.67
AT ITER 2621 NEW BEST:: SOT 3231851 SOS 3118670 HAS SOPS 3118646 HAS SOUS 1829591 HAS SOUPS 1829567 WITH SCORE 1832685.67
AT ITER 2627 NEW BEST:: SOT 3232187 SOS 3119006 HAS SOPS 3118982 HAS SOUS 1829296 HAS SOUPS 1829272 WITH SCORE 1832391.006
AT ITER 2676 NEW BEST:: SOT 3243977 SOS 3130796 HAS SOPS 3130772 HAS SOUS 1829281 HAS SOUPS 1829257 WITH SCORE 1832387.796
AT ITER 2682 NEW BEST:: SOT 3244029 SOS 3130848 HAS SOPS 3130824 HAS SOUS 1828731 HAS SOUPS 1828707 WITH SCORE 1831837.848
AT ITER 2696 NEW BEST:: SOT 3236689 SOS 3123508 HAS SOPS 3123484 HAS SOUS 1827263 HAS SOUPS 1827239 WITH SCORE 1830362.508
AT ITER 2704 NEW BEST:: SOT 3240009 SOS 3126828 HAS SOPS 3126804 HAS SOUS 1823285 HAS SOUPS 1823261 WITH SCORE 1826387.828
AT ITER 2722 NEW BEST:: SOT 3240009 SOS 3126828 HAS SOPS 3126804 HAS SOUS 1823275 HAS SOUPS 1823251 WITH SCORE 1826377.828
AT ITER 2723 NEW BEST:: SOT 3238980 SOS 3125799 HAS SOPS 3125775 HAS SOUS 1822582 HAS SOUPS 1822558 WITH SCORE 1825683.799
AT ITER 2734 NEW BEST:: SOT 3243009 SOS 3129828 HAS SOPS 3129804 HAS SOUS 1822281 HAS SOUPS 1822257 WITH SCORE 1825386.828
AT ITER 2756 NEW BEST:: SOT 3243703 SOS 3130522 HAS SOPS 3130498 HAS SOUS 1822021 HAS SOUPS 1821997 WITH SCORE 1825127.522
AT ITER 2759 NEW BEST:: SOT 3243703 SOS 3130522 HAS SOPS 3130498 HAS SOUS 1822020 HAS SOUPS 1821996 WITH SCORE 1825126.522
AT ITER 2771 NEW BEST:: SOT 3247831 SOS 3134650 HAS SOPS 3134626 HAS SOUS 1821351 HAS SOUPS 1821327 WITH SCORE 1824461.65
AT ITER 2777 NEW BEST:: SOT 3247831 SOS 3135436 HAS SOPS 3135412 HAS SOUS 1820531 HAS SOUPS 1820507 WITH SCORE 1823642.436
AT ITER 2791 NEW BEST:: SOT 3254882 SOS 3142487 HAS SOPS 3142463 HAS SOUS 1810057 HAS SOUPS 1810033 WITH SCORE 1813175.487
AT ITER 2795 NEW BEST:: SOT 3255308 SOS 3142913 HAS SOPS 3142889 HAS SOUS 1810006 HAS SOUPS 1809982 WITH SCORE 1813124.913
AT ITER 2796 NEW BEST:: SOT 3255308 SOS 3142913 HAS SOPS 3142889 HAS SOUS 1809980 HAS SOUPS 1809956 WITH SCORE 1813098.913
AT ITER 2798 NEW BEST:: SOT 3255851 SOS 3143456 HAS SOPS 3143432 HAS SOUS 1808097 HAS SOUPS 1808073 WITH SCORE 1811216.456
AT ITER 2827 NEW BEST:: SOT 3257297 SOS 3144902 HAS SOPS 3144878 HAS SOUS 1806931 HAS SOUPS 1806907 WITH SCORE 1810051.902
AT ITER 2835 NEW BEST:: SOT 3259352 SOS 3146957 HAS SOPS 3146933 HAS SOUS 1806585 HAS SOUPS 1806561 WITH SCORE 1809707.957
AT ITER 2844 NEW BEST:: SOT 3261368 SOS 3148653 HAS SOPS 3146879 HAS SOUS 1808280 HAS SOUPS 1806507 WITH SCORE 1809655.653
AT ITER 2862 NEW BEST:: SOT 3261368 SOS 3148653 HAS SOPS 3146879 HAS SOUS 1808246 HAS SOUPS 1806473 WITH SCORE 1809621.653
AT ITER 2878 NEW BEST:: SOT 3261368 SOS 3148653 HAS SOPS 3146879 HAS SOUS 1807692 HAS SOUPS 1805919 WITH SCORE 1809067.653
AT ITER 2912 NEW BEST:: SOT 3263064 SOS 3150349 HAS SOPS 3148575 HAS SOUS 1806718 HAS SOUPS 1804945 WITH SCORE 1808095.349
AT ITER 2947 NEW BEST:: SOT 3265008 SOS 3152293 HAS SOPS 3150519 HAS SOUS 1806403 HAS SOUPS 1804630 WITH SCORE 1807782.293
AT ITER 2957 NEW BEST:: SOT 3268748 SOS 3156033 HAS SOPS 3154259 HAS SOUS 1802557 HAS SOUPS 1800784 WITH SCORE 1803940.033
AT ITER 2979 NEW BEST:: SOT 3268748 SOS 3141680 HAS SOPS 3139906 HAS SOUS 1802458 HAS SOUPS 1800685 WITH SCORE 1803826.68
AT ITER 2991 NEW BEST:: SOT 3268748 SOS 3141680 HAS SOPS 3139906 HAS SOUS 1802281 HAS SOUPS 1800508 WITH SCORE 1803649.68
AT ITER 2996 NEW BEST:: SOT 3266348 SOS 3139280 HAS SOPS 3137506 HAS SOUS 1801481 HAS SOUPS 1799708 WITH SCORE 1802847.28
AT ITER 3006 NEW BEST:: SOT 3266392 SOS 3139324 HAS SOPS 3137550 HAS SOUS 1800285 HAS SOUPS 1798512 WITH SCORE 1801651.324
AT ITER 3013 NEW BEST:: SOT 3267312 SOS 3140244 HAS SOPS 3138470 HAS SOUS 1800227 HAS SOUPS 1798454 WITH SCORE 1801594.244
AT ITER 3076 NEW BEST:: SOT 3275342 SOS 3148274 HAS SOPS 3146500 HAS SOUS 1789791 HAS SOUPS 1788018 WITH SCORE 1791166.274
AT ITER 3080 NEW BEST:: SOT 3293402 SOS 3166334 HAS SOPS 3164560 HAS SOUS 1781544 HAS SOUPS 1779771 WITH SCORE 1782937.334
AT ITER 3102 NEW BEST:: SOT 3296950 SOS 3169882 HAS SOPS 3168108 HAS SOUS 1780343 HAS SOUPS 1778570 WITH SCORE 1781739.882
AT ITER 3137 NEW BEST:: SOT 3296950 SOS 3162380 HAS SOPS 3160606 HAS SOUS 1780035 HAS SOUPS 1778262 WITH SCORE 1781424.38
AT ITER 3155 NEW BEST:: SOT 3296950 SOS 3162380 HAS SOPS 3160606 HAS SOUS 1779951 HAS SOUPS 1778178 WITH SCORE 1781340.38
AT ITER 3158 NEW BEST:: SOT 3296950 SOS 3162380 HAS SOPS 3160606 HAS SOUS 1779563 HAS SOUPS 1777790 WITH SCORE 1780952.38
AT ITER 3167 NEW BEST:: SOT 3296950 SOS 3162380 HAS SOPS 3160606 HAS SOUS 1779258 HAS SOUPS 1777485 WITH SCORE 1780647.38
AT ITER 3185 NEW BEST:: SOT 3296949 SOS 3162591 HAS SOPS 3160818 HAS SOUS 1779257 HAS SOUPS 1777484 WITH SCORE 1780646.591
AT ITER 3201 NEW BEST:: SOT 3296584 SOS 3162226 HAS SOPS 3160453 HAS SOUS 1779257 HAS SOUPS 1777484 WITH SCORE 1780646.226
AT ITER 3210 NEW BEST:: SOT 3296704 SOS 3162346 HAS SOPS 3160573 HAS SOUS 1778695 HAS SOUPS 1776922 WITH SCORE 1780084.346
AT ITER 3248 NEW BEST:: SOT 3296998 SOS 3162640 HAS SOPS 3160867 HAS SOUS 1778651 HAS SOUPS 1776878 WITH SCORE 1780040.64
AT ITER 3254 NEW BEST:: SOT 3304440 SOS 3168886 HAS SOPS 3167113 HAS SOUS 1775078 HAS SOUPS 1773305 WITH SCORE 1776473.886
AT ITER 3300 NEW BEST:: SOT 3312792 SOS 3175643 HAS SOPS 3173870 HAS SOUS 1764782 HAS SOUPS 1763009 WITH SCORE 1766184.643
AT ITER 3312 NEW BEST:: SOT 3312792 SOS 3175569 HAS SOPS 3173796 HAS SOUS 1764782 HAS SOUPS 1763009 WITH SCORE 1766184.569
AT ITER 3315 NEW BEST:: SOT 3312792 SOS 3168361 HAS SOPS 3166588 HAS SOUS 1764782 HAS SOUPS 1763009 WITH SCORE 1766177.361
AT ITER 3322 NEW BEST:: SOT 3313174 SOS 3168743 HAS SOPS 3166970 HAS SOUS 1764766 HAS SOUPS 1762993 WITH SCORE 1766161.743
AT ITER 3330 NEW BEST:: SOT 3313707 SOS 3169276 HAS SOPS 3167503 HAS SOUS 1763302 HAS SOUPS 1761529 WITH SCORE 1764698.276
AT ITER 3341 NEW BEST:: SOT 3313707 SOS 3169276 HAS SOPS 3167503 HAS SOUS 1762840 HAS SOUPS 1761067 WITH SCORE 1764236.276
AT ITER 3365 NEW BEST:: SOT 3318408 SOS 3173977 HAS SOPS 3172204 HAS SOUS 1762330 HAS SOUPS 1760557 WITH SCORE 1763730.977
AT ITER 3366 NEW BEST:: SOT 3319938 SOS 3175150 HAS SOPS 3171847 HAS SOUS 1761973 HAS SOUPS 1760200 WITH SCORE 1763375.15
AT ITER 3373 NEW BEST:: SOT 3321183 SOS 3176395 HAS SOPS 3173092 HAS SOUS 1761348 HAS SOUPS 1759575 WITH SCORE 1762751.395
AT ITER 3377 NEW BEST:: SOT 3321183 SOS 3176395 HAS SOPS 3173092 HAS SOUS 1760451 HAS SOUPS 1758678 WITH SCORE 1761854.395
AT ITER 3379 NEW BEST:: SOT 3321481 SOS 3176693 HAS SOPS 3173390 HAS SOUS 1759794 HAS SOUPS 1758021 WITH SCORE 1761197.693
AT ITER 3380 NEW BEST:: SOT 3321481 SOS 3176693 HAS SOPS 3173390 HAS SOUS 1759374 HAS SOUPS 1757601 WITH SCORE 1760777.693
AT ITER 3390 NEW BEST:: SOT 3321481 SOS 3170960 HAS SOPS 3167657 HAS SOUS 1759374 HAS SOUPS 1757601 WITH SCORE 1760771.96
AT ITER 3392 NEW BEST:: SOT 3346572 SOS 3195765 HAS SOPS 3192462 HAS SOUS 1753380 HAS SOUPS 1751607 WITH SCORE 1754802.765
AT ITER 3408 NEW BEST:: SOT 3346572 SOS 3195770 HAS SOPS 3192467 HAS SOUS 1752819 HAS SOUPS 1751046 WITH SCORE 1754241.77
AT ITER 3422 NEW BEST:: SOT 3324077 SOS 3173275 HAS SOPS 3169972 HAS SOUS 1748284 HAS SOUPS 1746511 WITH SCORE 1749684.275
AT ITER 3428 NEW BEST:: SOT 3325413 SOS 3174292 HAS SOPS 3169653 HAS SOUS 1747965 HAS SOUPS 1746192 WITH SCORE 1749366.292
AT ITER 3448 NEW BEST:: SOT 3336141 SOS 3184821 HAS SOPS 3180182 HAS SOUS 1738493 HAS SOUPS 1736720 WITH SCORE 1739904.821
AT ITER 3462 NEW BEST:: SOT 3337113 SOS 3185793 HAS SOPS 3181154 HAS SOUS 1736834 HAS SOUPS 1735061 WITH SCORE 1738246.793
AT ITER 3467 NEW BEST:: SOT 3337113 SOS 3185793 HAS SOPS 3181154 HAS SOUS 1736828 HAS SOUPS 1735055 WITH SCORE 1738240.793
AT ITER 3491 NEW BEST:: SOT 3337113 SOS 3185793 HAS SOPS 3181154 HAS SOUS 1735760 HAS SOUPS 1733987 WITH SCORE 1737172.793
AT ITER 3504 NEW BEST:: SOT 3337113 SOS 3185793 HAS SOPS 3181154 HAS SOUS 1734918 HAS SOUPS 1733145 WITH SCORE 1736330.793
AT ITER 3508 NEW BEST:: SOT 3343798 SOS 3192478 HAS SOPS 3187839 HAS SOUS 1731648 HAS SOUPS 1729875 WITH SCORE 1733067.478
AT ITER 3520 NEW BEST:: SOT 3343798 SOS 3192478 HAS SOPS 3187839 HAS SOUS 1731389 HAS SOUPS 1729616 WITH SCORE 1732808.478
AT ITER 3547 NEW BEST:: SOT 3346603 SOS 3194430 HAS SOPS 3189791 HAS SOUS 1729356 HAS SOUPS 1727583 WITH SCORE 1730777.43
AT ITER 3556 NEW BEST:: SOT 3350407 SOS 3198234 HAS SOPS 3193595 HAS SOUS 1728283 HAS SOUPS 1726510 WITH SCORE 1729708.234
AT ITER 3557 NEW BEST:: SOT 3353623 SOS 3201450 HAS SOPS 3196811 HAS SOUS 1727713 HAS SOUPS 1725940 WITH SCORE 1729141.45
AT ITER 3585 NEW BEST:: SOT 3353623 SOS 3201450 HAS SOPS 3196811 HAS SOUS 1727310 HAS SOUPS 1725537 WITH SCORE 1728738.45
AT ITER 3614 NEW BEST:: SOT 3353951 SOS 3201778 HAS SOPS 3197139 HAS SOUS 1727115 HAS SOUPS 1725342 WITH SCORE 1728543.778
AT ITER 3643 NEW BEST:: SOT 3355207 SOS 3203034 HAS SOPS 3198395 HAS SOUS 1726575 HAS SOUPS 1724802 WITH SCORE 1728005.034
AT ITER 3669 NEW BEST:: SOT 3357100 SOS 3204927 HAS SOPS 3200288 HAS SOUS 1726461 HAS SOUPS 1724688 WITH SCORE 1727892.927
AT ITER 3686 NEW BEST:: SOT 3357100 SOS 3186603 HAS SOPS 3181964 HAS SOUS 1723773 HAS SOUPS 1722000 WITH SCORE 1725186.603
AT ITER 3703 NEW BEST:: SOT 3378916 SOS 3205835 HAS SOPS 3201196 HAS SOUS 1715901 HAS SOUPS 1714128 WITH SCORE 1717333.835
AT ITER 3721 NEW BEST:: SOT 3379095 SOS 3205895 HAS SOPS 3201256 HAS SOUS 1714507 HAS SOUPS 1712734 WITH SCORE 1715939.895
AT ITER 3744 NEW BEST:: SOT 3380471 SOS 3207271 HAS SOPS 3202632 HAS SOUS 1714199 HAS SOUPS 1712426 WITH SCORE 1715633.271
AT ITER 3775 NEW BEST:: SOT 3380471 SOS 3207271 HAS SOPS 3202632 HAS SOUS 1714188 HAS SOUPS 1712415 WITH SCORE 1715622.271
AT ITER 3780 NEW BEST:: SOT 3380471 SOS 3207271 HAS SOPS 3202632 HAS SOUS 1713580 HAS SOUPS 1711807 WITH SCORE 1715014.271
AT ITER 3803 NEW BEST:: SOT 3380817 SOS 3207617 HAS SOPS 3202978 HAS SOUS 1713567 HAS SOUPS 1711794 WITH SCORE 1715001.617
AT ITER 3835 NEW BEST:: SOT 3382236 SOS 3208714 HAS SOPS 3202726 HAS SOUS 1713315 HAS SOUPS 1711542 WITH SCORE 1714750.714
AT ITER 3841 NEW BEST:: SOT 3382664 SOS 3209142 HAS SOPS 3203154 HAS SOUS 1713308 HAS SOUPS 1711535 WITH SCORE 1714744.142
AT ITER 3844 NEW BEST:: SOT 3382914 SOS 3209065 HAS SOPS 3202827 HAS SOUS 1712981 HAS SOUPS 1711208 WITH SCORE 1714417.065
AT ITER 3856 NEW BEST:: SOT 3383249 SOS 3209400 HAS SOPS 3203162 HAS SOUS 1712159 HAS SOUPS 1710386 WITH SCORE 1713595.4
AT ITER 3857 NEW BEST:: SOT 3386337 SOS 3212488 HAS SOPS 3206250 HAS SOUS 1712022 HAS SOUPS 1710249 WITH SCORE 1713461.488
AT ITER 3862 NEW BEST:: SOT 3386337 SOS 3212891 HAS SOPS 3206653 HAS SOUS 1711604 HAS SOUPS 1709831 WITH SCORE 1713043.891
AT ITER 3873 NEW BEST:: SOT 3384837 SOS 3211391 HAS SOPS 3205153 HAS SOUS 1711304 HAS SOUPS 1709531 WITH SCORE 1712742.391
AT ITER 3896 NEW BEST:: SOT 3386659 SOS 3213213 HAS SOPS 3206975 HAS SOUS 1710364 HAS SOUPS 1708591 WITH SCORE 1711804.213
AT ITER 3911 NEW BEST:: SOT 3381622 SOS 3208176 HAS SOPS 3201938 HAS SOUS 1709566 HAS SOUPS 1707793 WITH SCORE 1711001.176
AT ITER 3967 NEW BEST:: SOT 3382828 SOS 3206529 HAS SOPS 3199889 HAS SOUS 1709375 HAS SOUPS 1707602 WITH SCORE 1710808.529
AT ITER 3979 NEW BEST:: SOT 3383857 SOS 3207558 HAS SOPS 3200918 HAS SOUS 1708442 HAS SOUPS 1706669 WITH SCORE 1709876.558
AT ITER 3985 NEW BEST:: SOT 3388345 SOS 3212046 HAS SOPS 3205406 HAS SOUS 1708433 HAS SOUPS 1706660 WITH SCORE 1709872.046
AT ITER 3998 NEW BEST:: SOT 3389088 SOS 3212789 HAS SOPS 3206149 HAS SOUS 1708135 HAS SOUPS 1706362 WITH SCORE 1709574.789
AT ITER 4033 NEW BEST:: SOT 3388747 SOS 3212448 HAS SOPS 3205808 HAS SOUS 1707794 HAS SOUPS 1706021 WITH SCORE 1709233.448
AT ITER 4034 NEW BEST:: SOT 3389058 SOS 3212759 HAS SOPS 3206119 HAS SOUS 1707179 HAS SOUPS 1705406 WITH SCORE 1708618.759
AT ITER 4038 NEW BEST:: SOT 3389692 SOS 3213069 HAS SOPS 3205795 HAS SOUS 1706855 HAS SOUPS 1705082 WITH SCORE 1708295.069
AT ITER 4058 NEW BEST:: SOT 3389692 SOS 3213069 HAS SOPS 3205795 HAS SOUS 1706689 HAS SOUPS 1704916 WITH SCORE 1708129.069
AT ITER 4104 NEW BEST:: SOT 3389692 SOS 3213069 HAS SOPS 3205795 HAS SOUS 1706606 HAS SOUPS 1704833 WITH SCORE 1708046.069
AT ITER 4108 NEW BEST:: SOT 3387676 SOS 3211167 HAS SOPS 3205643 HAS SOUS 1706234 HAS SOUPS 1704681 WITH SCORE 1707892.167
AT ITER 4113 NEW BEST:: SOT 3387740 SOS 3210582 HAS SOPS 3205026 HAS SOUS 1705617 HAS SOUPS 1704064 WITH SCORE 1707274.582
AT ITER 4117 NEW BEST:: SOT 3387740 SOS 3210582 HAS SOPS 3205026 HAS SOUS 1705213 HAS SOUPS 1703660 WITH SCORE 1706870.582
AT ITER 4120 NEW BEST:: SOT 3387812 SOS 3210654 HAS SOPS 3205098 HAS SOUS 1705122 HAS SOUPS 1703569 WITH SCORE 1706779.654
AT ITER 4124 NEW BEST:: SOT 3388840 SOS 3211357 HAS SOPS 3204773 HAS SOUS 1704797 HAS SOUPS 1703244 WITH SCORE 1706455.357
AT ITER 4125 NEW BEST:: SOT 3388840 SOS 3211357 HAS SOPS 3204773 HAS SOUS 1704501 HAS SOUPS 1702948 WITH SCORE 1706159.357
AT ITER 4140 NEW BEST:: SOT 3388711 SOS 3211228 HAS SOPS 3204644 HAS SOUS 1704115 HAS SOUPS 1702562 WITH SCORE 1705773.228
AT ITER 4142 NEW BEST:: SOT 3391359 SOS 3213876 HAS SOPS 3207292 HAS SOUS 1703571 HAS SOUPS 1702018 WITH SCORE 1705231.876
AT ITER 4177 NEW BEST:: SOT 3391359 SOS 3213876 HAS SOPS 3207292 HAS SOUS 1702395 HAS SOUPS 1700842 WITH SCORE 1704055.876
AT ITER 4180 NEW BEST:: SOT 3391359 SOS 3213876 HAS SOPS 3207292 HAS SOUS 1702379 HAS SOUPS 1700826 WITH SCORE 1704039.876
AT ITER 4187 NEW BEST:: SOT 3391359 SOS 3213564 HAS SOPS 3206980 HAS SOUS 1702130 HAS SOUPS 1700577 WITH SCORE 1703790.564
AT ITER 4203 NEW BEST:: SOT 3391340 SOS 3213545 HAS SOPS 3206961 HAS SOUS 1702130 HAS SOUPS 1700577 WITH SCORE 1703790.545
AT ITER 4220 NEW BEST:: SOT 3391804 SOS 3214009 HAS SOPS 3207425 HAS SOUS 1701611 HAS SOUPS 1700058 WITH SCORE 1703272.009
AT ITER 4267 NEW BEST:: SOT 3397240 SOS 3219445 HAS SOPS 3212861 HAS SOUS 1701341 HAS SOUPS 1699788 WITH SCORE 1703007.445
AT ITER 4280 NEW BEST:: SOT 3403625 SOS 3225455 HAS SOPS 3218871 HAS SOUS 1697365 HAS SOUPS 1695812 WITH SCORE 1699037.455
AT ITER 4317 NEW BEST:: SOT 3403625 SOS 3225007 HAS SOPS 3218423 HAS SOUS 1696297 HAS SOUPS 1694744 WITH SCORE 1697969.007
AT ITER 4351 NEW BEST:: SOT 3403919 SOS 3224995 HAS SOPS 3218319 HAS SOUS 1696193 HAS SOUPS 1694640 WITH SCORE 1697864.995
AT ITER 4353 NEW BEST:: SOT 3404542 SOS 3225618 HAS SOPS 3218942 HAS SOUS 1696004 HAS SOUPS 1694451 WITH SCORE 1697676.618
AT ITER 4358 NEW BEST:: SOT 3428806 SOS 3248083 HAS SOPS 3241407 HAS SOUS 1688496 HAS SOUPS 1686943 WITH SCORE 1690191.083
AT ITER 4360 NEW BEST:: SOT 3428806 SOS 3248566 HAS SOPS 3241890 HAS SOUS 1688455 HAS SOUPS 1686902 WITH SCORE 1690150.566
AT ITER 4383 NEW BEST:: SOT 3431110 SOS 3250870 HAS SOPS 3244194 HAS SOUS 1687226 HAS SOUPS 1685673 WITH SCORE 1688923.87
AT ITER 4385 NEW BEST:: SOT 3432289 SOS 3252049 HAS SOPS 3245373 HAS SOUS 1686894 HAS SOUPS 1685341 WITH SCORE 1688593.049
AT ITER 4390 NEW BEST:: SOT 3432973 SOS 3252733 HAS SOPS 3246057 HAS SOUS 1685860 HAS SOUPS 1684307 WITH SCORE 1687559.733
AT ITER 4485 NEW BEST:: SOT 3432973 SOS 3252919 HAS SOPS 3246243 HAS SOUS 1685624 HAS SOUPS 1684071 WITH SCORE 1687323.919
AT ITER 4503 NEW BEST:: SOT 3432973 SOS 3252919 HAS SOPS 3246243 HAS SOUS 1685421 HAS SOUPS 1683868 WITH SCORE 1687120.919
AT ITER 4524 NEW BEST:: SOT 3433264 SOS 3252608 HAS SOPS 3245932 HAS SOUS 1684630 HAS SOUPS 1683077 WITH SCORE 1686329.608
AT ITER 4527 NEW BEST:: SOT 3435323 SOS 3254667 HAS SOPS 3247991 HAS SOUS 1683565 HAS SOUPS 1682012 WITH SCORE 1685266.667
AT ITER 4545 NEW BEST:: SOT 3435323 SOS 3254667 HAS SOPS 3247991 HAS SOUS 1683416 HAS SOUPS 1681863 WITH SCORE 1685117.667
AT ITER 4566 NEW BEST:: SOT 3436043 SOS 3255387 HAS SOPS 3248711 HAS SOUS 1681684 HAS SOUPS 1680131 WITH SCORE 1683386.387
AT ITER 4574 NEW BEST:: SOT 3458231 SOS 3274987 HAS SOPS 3268311 HAS SOUS 1673856 HAS SOUPS 1672303 WITH SCORE 1675577.987
AT ITER 4597 NEW BEST:: SOT 3458241 SOS 3274866 HAS SOPS 3268180 HAS SOUS 1673725 HAS SOUPS 1672172 WITH SCORE 1675446.866
AT ITER 4623 NEW BEST:: SOT 3449721 SOS 3266346 HAS SOPS 3259660 HAS SOUS 1669791 HAS SOUPS 1668238 WITH SCORE 1671504.346
AT ITER 4647 NEW BEST:: SOT 3451986 SOS 3267762 HAS SOPS 3261076 HAS SOUS 1665654 HAS SOUPS 1664101 WITH SCORE 1667368.762
AT ITER 4686 NEW BEST:: SOT 3461585 SOS 3250044 HAS SOPS 3233495 HAS SOUS 1662840 HAS SOUPS 1661287 WITH SCORE 1664537.044
AT ITER 4696 NEW BEST:: SOT 3463799 SOS 3252258 HAS SOPS 3235709 HAS SOUS 1661097 HAS SOUPS 1659544 WITH SCORE 1662796.258
AT ITER 4736 NEW BEST:: SOT 3463799 SOS 3252258 HAS SOPS 3235709 HAS SOUS 1661096 HAS SOUPS 1659543 WITH SCORE 1662795.258
AT ITER 4765 NEW BEST:: SOT 3476827 SOS 3238450 HAS SOPS 3208992 HAS SOUS 1649660 HAS SOUPS 1648107 WITH SCORE 1651345.45
AT ITER 4785 NEW BEST:: SOT 3475657 SOS 3237280 HAS SOPS 3207822 HAS SOUS 1649426 HAS SOUPS 1647873 WITH SCORE 1651110.28
AT ITER 4792 NEW BEST:: SOT 3476587 SOS 3238210 HAS SOPS 3208752 HAS SOUS 1649035 HAS SOUPS 1647482 WITH SCORE 1650720.21
AT ITER 4805 NEW BEST:: SOT 3476587 SOS 3238210 HAS SOPS 3208752 HAS SOUS 1648987 HAS SOUPS 1647434 WITH SCORE 1650672.21
AT ITER 4819 NEW BEST:: SOT 3476993 SOS 3238616 HAS SOPS 3209158 HAS SOUS 1648527 HAS SOUPS 1646974 WITH SCORE 1650212.616
AT ITER 4821 NEW BEST:: SOT 3477267 SOS 3238890 HAS SOPS 3209432 HAS SOUS 1647496 HAS SOUPS 1645943 WITH SCORE 1649181.89
AT ITER 4827 NEW BEST:: SOT 3477267 SOS 3238890 HAS SOPS 3209432 HAS SOUS 1647108 HAS SOUPS 1645555 WITH SCORE 1648793.89
AT ITER 4844 NEW BEST:: SOT 3478989 SOS 3240294 HAS SOPS 3209114 HAS SOUS 1646982 HAS SOUPS 1645237 WITH SCORE 1648477.294
AT ITER 4853 NEW BEST:: SOT 3478671 SOS 3239976 HAS SOPS 3208796 HAS SOUS 1646823 HAS SOUPS 1645078 WITH SCORE 1648317.976
AT ITER 4865 NEW BEST:: SOT 3478266 SOS 3239571 HAS SOPS 3208526 HAS SOUS 1646553 HAS SOUPS 1644808 WITH SCORE 1648047.571
AT ITER 4879 NEW BEST:: SOT 3478266 SOS 3239571 HAS SOPS 3208526 HAS SOUS 1645969 HAS SOUPS 1644224 WITH SCORE 1647463.571
AT ITER 4894 NEW BEST:: SOT 3473406 SOS 3234711 HAS SOPS 3203666 HAS SOUS 1645159 HAS SOUPS 1643414 WITH SCORE 1646648.711
AT ITER 4919 NEW BEST:: SOT 3472942 SOS 3234247 HAS SOPS 3203202 HAS SOUS 1644033 HAS SOUPS 1642288 WITH SCORE 1645522.247
AT ITER 4930 NEW BEST:: SOT 3473293 SOS 3234598 HAS SOPS 3203553 HAS SOUS 1644030 HAS SOUPS 1642285 WITH SCORE 1645519.598
AT ITER 4931 NEW BEST:: SOT 3474335 SOS 3235640 HAS SOPS 3204595 HAS SOUS 1643490 HAS SOUPS 1641745 WITH SCORE 1644980.64
AT ITER 4943 NEW BEST:: SOT 3473498 SOS 3234803 HAS SOPS 3203758 HAS SOUS 1642932 HAS SOUPS 1641187 WITH SCORE 1644421.803
AT ITER 4955 NEW BEST:: SOT 3474311 SOS 3235313 HAS SOPS 3203455 HAS SOUS 1642629 HAS SOUPS 1640884 WITH SCORE 1644119.313
AT ITER 4957 NEW BEST:: SOT 3475423 SOS 3236425 HAS SOPS 3204567 HAS SOUS 1640804 HAS SOUPS 1639059 WITH SCORE 1642295.425
AT ITER 4969 NEW BEST:: SOT 3476674 SOS 3237676 HAS SOPS 3205818 HAS SOUS 1640536 HAS SOUPS 1638791 WITH SCORE 1642028.676
AT ITER 4975 NEW BEST:: SOT 3476700 SOS 3237702 HAS SOPS 3205844 HAS SOUS 1640249 HAS SOUPS 1638504 WITH SCORE 1641741.702
AT ITER 4988 NEW BEST:: SOT 3474510 SOS 3235512 HAS SOPS 3203654 HAS SOUS 1639811 HAS SOUPS 1638066 WITH SCORE 1641301.512
AT ITER 5001 NEW BEST:: SOT 3474711 SOS 3235713 HAS SOPS 3203855 HAS SOUS 1639424 HAS SOUPS 1637679 WITH SCORE 1640914.713
AT ITER 5006 NEW BEST:: SOT 3475827 SOS 3236829 HAS SOPS 3204971 HAS SOUS 1638552 HAS SOUPS 1636807 WITH SCORE 1640043.829
AT ITER 5019 NEW BEST:: SOT 3475827 SOS 3237174 HAS SOPS 3205316 HAS SOUS 1638313 HAS SOUPS 1636568 WITH SCORE 1639805.174
AT ITER 5032 NEW BEST:: SOT 3475827 SOS 3237174 HAS SOPS 3205316 HAS SOUS 1637168 HAS SOUPS 1635423 WITH SCORE 1638660.174
AT ITER 5060 NEW BEST:: SOT 3475928 SOS 3237275 HAS SOPS 3205417 HAS SOUS 1636453 HAS SOUPS 1634708 WITH SCORE 1637945.275
AT ITER 5068 NEW BEST:: SOT 3475928 SOS 3237209 HAS SOPS 3205351 HAS SOUS 1636453 HAS SOUPS 1634708 WITH SCORE 1637945.209
AT ITER 5069 NEW BEST:: SOT 3475928 SOS 3237209 HAS SOPS 3205351 HAS SOUS 1636326 HAS SOUPS 1634581 WITH SCORE 1637818.209
AT ITER 5106 NEW BEST:: SOT 3478471 SOS 3212472 HAS SOPS 3177422 HAS SOUS 1619675 HAS SOUPS 1617930 WITH SCORE 1621142.472
AT ITER 5107 NEW BEST:: SOT 3478471 SOS 3212472 HAS SOPS 3177422 HAS SOUS 1619674 HAS SOUPS 1617929 WITH SCORE 1621141.472
AT ITER 5117 NEW BEST:: SOT 3489698 SOS 3219553 HAS SOPS 3183091 HAS SOUS 1612085 HAS SOUPS 1610340 WITH SCORE 1613559.553
AT ITER 5132 NEW BEST:: SOT 3488802 SOS 3218657 HAS SOPS 3182195 HAS SOUS 1611317 HAS SOUPS 1609572 WITH SCORE 1612790.657
AT ITER 5176 NEW BEST:: SOT 3488631 SOS 3218486 HAS SOPS 3182024 HAS SOUS 1611260 HAS SOUPS 1609515 WITH SCORE 1612733.486
AT ITER 5177 NEW BEST:: SOT 3489303 SOS 3219158 HAS SOPS 3182696 HAS SOUS 1609644 HAS SOUPS 1607899 WITH SCORE 1611118.158
AT ITER 5179 NEW BEST:: SOT 3489880 SOS 3219735 HAS SOPS 3183273 HAS SOUS 1608287 HAS SOUPS 1606542 WITH SCORE 1609761.735
AT ITER 5184 NEW BEST:: SOT 3490211 SOS 3220066 HAS SOPS 3183604 HAS SOUS 1607434 HAS SOUPS 1605689 WITH SCORE 1608909.066
AT ITER 5202 NEW BEST:: SOT 3490211 SOS 3220066 HAS SOPS 3183604 HAS SOUS 1607432 HAS SOUPS 1605687 WITH SCORE 1608907.066
AT ITER 5226 NEW BEST:: SOT 3494719 SOS 3224574 HAS SOPS 3188112 HAS SOUS 1606781 HAS SOUPS 1605036 WITH SCORE 1608260.574
AT ITER 5246 NEW BEST:: SOT 3494800 SOS 3224655 HAS SOPS 3188193 HAS SOUS 1606538 HAS SOUPS 1604793 WITH SCORE 1608017.655
AT ITER 5260 NEW BEST:: SOT 3494992 SOS 3224847 HAS SOPS 3188385 HAS SOUS 1605880 HAS SOUPS 1604135 WITH SCORE 1607359.847
AT ITER 5298 NEW BEST:: SOT 3494992 SOS 3224847 HAS SOPS 3188385 HAS SOUS 1605715 HAS SOUPS 1603970 WITH SCORE 1607194.847
AT ITER 5365 NEW BEST:: SOT 3494992 SOS 3224847 HAS SOPS 3188385 HAS SOUS 1605275 HAS SOUPS 1603530 WITH SCORE 1606754.847
AT ITER 5367 NEW BEST:: SOT 3494811 SOS 3224665 HAS SOPS 3187936 HAS SOUS 1605181 HAS SOUPS 1603436 WITH SCORE 1606660.665
AT ITER 5368 NEW BEST:: SOT 3494791 SOS 3224645 HAS SOPS 3187916 HAS SOUS 1605171 HAS SOUPS 1603426 WITH SCORE 1606650.645
AT ITER 5371 NEW BEST:: SOT 3494791 SOS 3224645 HAS SOPS 3187916 HAS SOUS 1604991 HAS SOUPS 1603246 WITH SCORE 1606470.645
AT ITER 5382 NEW BEST:: SOT 3494791 SOS 3224590 HAS SOPS 3187861 HAS SOUS 1604991 HAS SOUPS 1603246 WITH SCORE 1606470.59
AT ITER 5408 NEW BEST:: SOT 3495061 SOS 3224860 HAS SOPS 3188131 HAS SOUS 1604026 HAS SOUPS 1602281 WITH SCORE 1605505.86
AT ITER 5410 NEW BEST:: SOT 3495861 SOS 3225660 HAS SOPS 3188931 HAS SOUS 1604024 HAS SOUPS 1602279 WITH SCORE 1605504.66
AT ITER 5413 NEW BEST:: SOT 3495844 SOS 3225643 HAS SOPS 3188914 HAS SOUS 1604007 HAS SOUPS 1602262 WITH SCORE 1605487.643
AT ITER 5432 NEW BEST:: SOT 3495844 SOS 3225643 HAS SOPS 3188914 HAS SOUS 1603894 HAS SOUPS 1602149 WITH SCORE 1605374.643
AT ITER 5435 NEW BEST:: SOT 3495844 SOS 3225643 HAS SOPS 3188914 HAS SOUS 1603811 HAS SOUPS 1602066 WITH SCORE 1605291.643
AT ITER 5451 NEW BEST:: SOT 3495844 SOS 3225643 HAS SOPS 3188914 HAS SOUS 1603583 HAS SOUPS 1601838 WITH SCORE 1605063.643
AT ITER 5469 NEW BEST:: SOT 3495844 SOS 3225643 HAS SOPS 3188914 HAS SOUS 1603241 HAS SOUPS 1601496 WITH SCORE 1604721.643
AT ITER 5493 NEW BEST:: SOT 3496273 SOS 3225755 HAS SOPS 3188597 HAS SOUS 1602924 HAS SOUPS 1601179 WITH SCORE 1604404.755
AT ITER 5500 NEW BEST:: SOT 3496273 SOS 3225755 HAS SOPS 3188597 HAS SOUS 1602746 HAS SOUPS 1601001 WITH SCORE 1604226.755
AT ITER 5528 NEW BEST:: SOT 3501022 SOS 3226318 HAS SOPS 3187936 HAS SOUS 1594700 HAS SOUPS 1592955 WITH SCORE 1596181.318
AT ITER 5533 NEW BEST:: SOT 3501022 SOS 3226318 HAS SOPS 3187936 HAS SOUS 1594426 HAS SOUPS 1592681 WITH SCORE 1595907.318
AT ITER 5549 NEW BEST:: SOT 3502596 SOS 3227892 HAS SOPS 3189510 HAS SOUS 1594421 HAS SOUPS 1592676 WITH SCORE 1595903.892
AT ITER 5557 NEW BEST:: SOT 3502323 SOS 3227619 HAS SOPS 3189237 HAS SOUS 1594366 HAS SOUPS 1592621 WITH SCORE 1595848.619
AT ITER 5566 NEW BEST:: SOT 3503812 SOS 3229108 HAS SOPS 3190726 HAS SOUS 1594360 HAS SOUPS 1592615 WITH SCORE 1595844.108
AT ITER 5575 NEW BEST:: SOT 3503812 SOS 3229108 HAS SOPS 3190726 HAS SOUS 1594359 HAS SOUPS 1592614 WITH SCORE 1595843.108
AT ITER 5582 NEW BEST:: SOT 3504386 SOS 3229682 HAS SOPS 3191300 HAS SOUS 1594098 HAS SOUPS 1592353 WITH SCORE 1595582.682
AT ITER 5593 NEW BEST:: SOT 3503904 SOS 3229200 HAS SOPS 3190818 HAS SOUS 1594098 HAS SOUPS 1592353 WITH SCORE 1595582.2
AT ITER 5615 NEW BEST:: SOT 3503478 SOS 3228774 HAS SOPS 3190392 HAS SOUS 1594079 HAS SOUPS 1592334 WITH SCORE 1595562.774
AT ITER 5622 NEW BEST:: SOT 3504185 SOS 3229166 HAS SOPS 3190077 HAS SOUS 1593764 HAS SOUPS 1592019 WITH SCORE 1595248.166
AT ITER 5655 NEW BEST:: SOT 3504301 SOS 3229282 HAS SOPS 3190193 HAS SOUS 1593754 HAS SOUPS 1592009 WITH SCORE 1595238.282
AT ITER 5659 NEW BEST:: SOT 3504467 SOS 3229448 HAS SOPS 3190359 HAS SOUS 1591911 HAS SOUPS 1590166 WITH SCORE 1593395.448
AT ITER 5697 NEW BEST:: SOT 3504402 SOS 3229383 HAS SOPS 3190294 HAS SOUS 1591911 HAS SOUPS 1590166 WITH SCORE 1593395.383
AT ITER 5699 NEW BEST:: SOT 3504402 SOS 3229383 HAS SOPS 3190294 HAS SOUS 1591378 HAS SOUPS 1589633 WITH SCORE 1592862.383
AT ITER 5718 NEW BEST:: SOT 3504402 SOS 3229363 HAS SOPS 3190274 HAS SOUS 1591338 HAS SOUPS 1589593 WITH SCORE 1592822.363
AT ITER 5722 NEW BEST:: SOT 3504716 SOS 3229677 HAS SOPS 3190588 HAS SOUS 1590905 HAS SOUPS 1589160 WITH SCORE 1592389.677
AT ITER 5723 NEW BEST:: SOT 3504716 SOS 3229677 HAS SOPS 3190588 HAS SOUS 1590904 HAS SOUPS 1589159 WITH SCORE 1592388.677
AT ITER 5743 NEW BEST:: SOT 3504716 SOS 3229677 HAS SOPS 3190588 HAS SOUS 1590258 HAS SOUPS 1588513 WITH SCORE 1591742.677
AT ITER 5763 NEW BEST:: SOT 3504716 SOS 3229677 HAS SOPS 3190588 HAS SOUS 1589944 HAS SOUPS 1588199 WITH SCORE 1591428.677
AT ITER 5800 NEW BEST:: SOT 3523522 SOS 3243506 HAS SOPS 3203005 HAS SOUS 1582616 HAS SOUPS 1580871 WITH SCORE 1584114.506
AT ITER 5801 NEW BEST:: SOT 3524239 SOS 3244223 HAS SOPS 3203722 HAS SOUS 1581227 HAS SOUPS 1579482 WITH SCORE 1582726.223
AT ITER 5806 NEW BEST:: SOT 3524239 SOS 3244223 HAS SOPS 3203722 HAS SOUS 1580993 HAS SOUPS 1579248 WITH SCORE 1582492.223
AT ITER 5829 NEW BEST:: SOT 3522409 SOS 3242393 HAS SOPS 3201892 HAS SOUS 1580627 HAS SOUPS 1578882 WITH SCORE 1582124.393
AT ITER 5841 NEW BEST:: SOT 3522409 SOS 3242562 HAS SOPS 3202061 HAS SOUS 1580483 HAS SOUPS 1578738 WITH SCORE 1581980.562
AT ITER 5852 NEW BEST:: SOT 3522955 SOS 3242595 HAS SOPS 3202094 HAS SOUS 1580101 HAS SOUPS 1578356 WITH SCORE 1581598.595
AT ITER 5884 NEW BEST:: SOT 3523251 SOS 3242653 HAS SOPS 3201856 HAS SOUS 1579863 HAS SOUPS 1578118 WITH SCORE 1581360.653
AT ITER 5916 NEW BEST:: SOT 3526119 SOS 3245521 HAS SOPS 3204724 HAS SOUS 1579815 HAS SOUPS 1578070 WITH SCORE 1581315.521
AT ITER 5925 NEW BEST:: SOT 3526119 SOS 3245521 HAS SOPS 3204724 HAS SOUS 1578940 HAS SOUPS 1577195 WITH SCORE 1580440.521
AT ITER 5932 NEW BEST:: SOT 3526119 SOS 3244997 HAS SOPS 3204200 HAS SOUS 1578237 HAS SOUPS 1576492 WITH SCORE 1579736.997
AT ITER 5944 NEW BEST:: SOT 3521974 SOS 3240852 HAS SOPS 3200055 HAS SOUS 1576504 HAS SOUPS 1574759 WITH SCORE 1577999.852
AT ITER 5964 NEW BEST:: SOT 3521974 SOS 3240852 HAS SOPS 3200055 HAS SOUS 1576198 HAS SOUPS 1574453 WITH SCORE 1577693.852
AT ITER 5980 NEW BEST:: SOT 3521968 SOS 3240846 HAS SOPS 3200049 HAS SOUS 1576198 HAS SOUPS 1574453 WITH SCORE 1577693.846
AT ITER 5984 NEW BEST:: SOT 3522108 SOS 3240986 HAS SOPS 3200189 HAS SOUS 1575276 HAS SOUPS 1573531 WITH SCORE 1576771.986
AT ITER 5986 NEW BEST:: SOT 3522364 SOS 3241242 HAS SOPS 3200445 HAS SOUS 1575250 HAS SOUPS 1573505 WITH SCORE 1576746.242
AT ITER 6013 NEW BEST:: SOT 3522364 SOS 3240987 HAS SOPS 3200190 HAS SOUS 1575250 HAS SOUPS 1573505 WITH SCORE 1576745.987
AT ITER 6015 NEW BEST:: SOT 3522481 SOS 3241104 HAS SOPS 3200307 HAS SOUS 1574625 HAS SOUPS 1572880 WITH SCORE 1576121.104
AT ITER 6025 NEW BEST:: SOT 3522557 SOS 3241180 HAS SOPS 3200383 HAS SOUS 1574404 HAS SOUPS 1572659 WITH SCORE 1575900.18
AT ITER 6028 NEW BEST:: SOT 3536505 SOS 3250560 HAS SOPS 3208351 HAS SOUS 1568329 HAS SOUPS 1566584 WITH SCORE 1569834.56
AT ITER 6032 NEW BEST:: SOT 3536505 SOS 3248892 HAS SOPS 3206683 HAS SOUS 1566292 HAS SOUPS 1564547 WITH SCORE 1567795.892
AT ITER 6070 NEW BEST:: SOT 3538997 SOS 3251384 HAS SOPS 3209175 HAS SOUS 1566195 HAS SOUPS 1564450 WITH SCORE 1567701.384
AT ITER 6072 NEW BEST:: SOT 3538997 SOS 3251384 HAS SOPS 3209175 HAS SOUS 1566167 HAS SOUPS 1564422 WITH SCORE 1567673.384
AT ITER 6078 NEW BEST:: SOT 3539351 SOS 3251738 HAS SOPS 3209529 HAS SOUS 1566093 HAS SOUPS 1564348 WITH SCORE 1567599.738
AT ITER 6137 NEW BEST:: SOT 3548839 SOS 3261226 HAS SOPS 3219017 HAS SOUS 1565871 HAS SOUPS 1564126 WITH SCORE 1567387.226
AT ITER 6155 NEW BEST:: SOT 3548839 SOS 3261226 HAS SOPS 3219017 HAS SOUS 1565793 HAS SOUPS 1564048 WITH SCORE 1567309.226
AT ITER 6156 NEW BEST:: SOT 3556753 SOS 3236468 HAS SOPS 3182859 HAS SOUS 1554304 HAS SOUPS 1552559 WITH SCORE 1555795.468
AT ITER 6169 NEW BEST:: SOT 3556753 SOS 3236468 HAS SOPS 3182859 HAS SOUS 1554197 HAS SOUPS 1552452 WITH SCORE 1555688.468
AT ITER 6173 NEW BEST:: SOT 3556753 SOS 3232313 HAS SOPS 3178704 HAS SOUS 1550556 HAS SOUPS 1548811 WITH SCORE 1552043.313
AT ITER 6177 NEW BEST:: SOT 3556753 SOS 3232220 HAS SOPS 3178611 HAS SOUS 1550556 HAS SOUPS 1548811 WITH SCORE 1552043.22
AT ITER 6206 NEW BEST:: SOT 3556753 SOS 3232166 HAS SOPS 3178557 HAS SOUS 1550556 HAS SOUPS 1548811 WITH SCORE 1552043.166
AT ITER 6209 NEW BEST:: SOT 3560303 SOS 3234561 HAS SOPS 3178930 HAS SOUS 1550780 HAS SOUPS 1548735 WITH SCORE 1551969.561
AT ITER 6236 NEW BEST:: SOT 3560303 SOS 3234561 HAS SOPS 3178930 HAS SOUS 1549743 HAS SOUPS 1547698 WITH SCORE 1550932.561
AT ITER 6238 NEW BEST:: SOT 3565648 SOS 3239906 HAS SOPS 3184275 HAS SOUS 1545667 HAS SOUPS 1543622 WITH SCORE 1546861.906
AT ITER 6253 NEW BEST:: SOT 3566096 SOS 3240354 HAS SOPS 3184723 HAS SOUS 1545431 HAS SOUPS 1543386 WITH SCORE 1546626.354
AT ITER 6269 NEW BEST:: SOT 3566096 SOS 3240354 HAS SOPS 3184723 HAS SOUS 1545332 HAS SOUPS 1543287 WITH SCORE 1546527.354
AT ITER 6283 NEW BEST:: SOT 3569751 SOS 3244009 HAS SOPS 3188378 HAS SOUS 1543354 HAS SOUPS 1541309 WITH SCORE 1544553.009
AT ITER 6286 NEW BEST:: SOT 3570011 SOS 3244269 HAS SOPS 3188638 HAS SOUS 1543143 HAS SOUPS 1541098 WITH SCORE 1544342.269
AT ITER 6298 NEW BEST:: SOT 3570011 SOS 3244269 HAS SOPS 3188638 HAS SOUS 1542809 HAS SOUPS 1540764 WITH SCORE 1544008.269
AT ITER 6313 NEW BEST:: SOT 3570011 SOS 3244269 HAS SOPS 3188638 HAS SOUS 1540162 HAS SOUPS 1538117 WITH SCORE 1541361.269
AT ITER 6314 NEW BEST:: SOT 3570011 SOS 3244269 HAS SOPS 3188638 HAS SOUS 1540125 HAS SOUPS 1538080 WITH SCORE 1541324.269
AT ITER 6315 NEW BEST:: SOT 3581069 SOS 3255327 HAS SOPS 3199696 HAS SOUS 1536057 HAS SOUPS 1534012 WITH SCORE 1537267.327
AT ITER 6324 NEW BEST:: SOT 3588504 SOS 3262762 HAS SOPS 3207131 HAS SOUS 1533727 HAS SOUPS 1531682 WITH SCORE 1534944.762
AT ITER 6331 NEW BEST:: SOT 3588375 SOS 3262633 HAS SOPS 3207002 HAS SOUS 1533355 HAS SOUPS 1531310 WITH SCORE 1534572.633
AT ITER 6340 NEW BEST:: SOT 3588375 SOS 3262633 HAS SOPS 3207002 HAS SOUS 1533352 HAS SOUPS 1531307 WITH SCORE 1534569.633
AT ITER 6354 NEW BEST:: SOT 3588375 SOS 3262633 HAS SOPS 3207002 HAS SOUS 1533103 HAS SOUPS 1531058 WITH SCORE 1534320.633
AT ITER 6363 NEW BEST:: SOT 3590095 SOS 3264353 HAS SOPS 3208722 HAS SOUS 1532573 HAS SOUPS 1530528 WITH SCORE 1533792.353
AT ITER 6428 NEW BEST:: SOT 3591534 SOS 3265792 HAS SOPS 3210161 HAS SOUS 1532440 HAS SOUPS 1530395 WITH SCORE 1533660.792
AT ITER 6430 NEW BEST:: SOT 3588324 SOS 3262582 HAS SOPS 3206951 HAS SOUS 1531370 HAS SOUPS 1529325 WITH SCORE 1532587.582
AT ITER 6432 NEW BEST:: SOT 3588470 SOS 3262728 HAS SOPS 3207097 HAS SOUS 1530555 HAS SOUPS 1528510 WITH SCORE 1531772.728
AT ITER 6441 NEW BEST:: SOT 3589228 SOS 3263486 HAS SOPS 3207855 HAS SOUS 1530498 HAS SOUPS 1528453 WITH SCORE 1531716.486
AT ITER 6446 NEW BEST:: SOT 3589552 SOS 3263810 HAS SOPS 3208179 HAS SOUS 1529623 HAS SOUPS 1527578 WITH SCORE 1530841.81
AT ITER 6452 NEW BEST:: SOT 3589888 SOS 3264146 HAS SOPS 3208515 HAS SOUS 1529271 HAS SOUPS 1527226 WITH SCORE 1530490.146
AT ITER 6472 NEW BEST:: SOT 3590133 SOS 3264391 HAS SOPS 3208760 HAS SOUS 1528929 HAS SOUPS 1526884 WITH SCORE 1530148.391
AT ITER 6485 NEW BEST:: SOT 3590133 SOS 3264260 HAS SOPS 3208629 HAS SOUS 1528929 HAS SOUPS 1526884 WITH SCORE 1530148.26
AT ITER 6490 NEW BEST:: SOT 3571973 SOS 3246100 HAS SOPS 3192296 HAS SOUS 1527822 HAS SOUPS 1525777 WITH SCORE 1529023.1
AT ITER 6499 NEW BEST:: SOT 3575879 SOS 3249979 HAS SOPS 3196175 HAS SOUS 1526370 HAS SOUPS 1524325 WITH SCORE 1527574.979
AT ITER 6505 NEW BEST:: SOT 3575879 SOS 3249979 HAS SOPS 3196175 HAS SOUS 1525787 HAS SOUPS 1523742 WITH SCORE 1526991.979
AT ITER 6542 NEW BEST:: SOT 3576943 SOS 3251043 HAS SOPS 3197239 HAS SOUS 1525739 HAS SOUPS 1523694 WITH SCORE 1526945.043
AT ITER 6545 NEW BEST:: SOT 3576943 SOS 3251043 HAS SOPS 3197239 HAS SOUS 1523801 HAS SOUPS 1521756 WITH SCORE 1525007.043
AT ITER 6547 NEW BEST:: SOT 3578205 SOS 3252305 HAS SOPS 3198501 HAS SOUS 1523664 HAS SOUPS 1521619 WITH SCORE 1524871.305
AT ITER 6559 NEW BEST:: SOT 3578205 SOS 3252305 HAS SOPS 3198501 HAS SOUS 1523587 HAS SOUPS 1521542 WITH SCORE 1524794.305
AT ITER 6561 NEW BEST:: SOT 3581183 SOS 3255283 HAS SOPS 3201479 HAS SOUS 1523035 HAS SOUPS 1520990 WITH SCORE 1524245.283
AT ITER 6562 NEW BEST:: SOT 3580143 SOS 3254243 HAS SOPS 3200439 HAS SOUS 1523035 HAS SOUPS 1520990 WITH SCORE 1524244.243
AT ITER 6571 NEW BEST:: SOT 3580151 SOS 3254251 HAS SOPS 3200447 HAS SOUS 1522206 HAS SOUPS 1520161 WITH SCORE 1523415.251
AT ITER 6572 NEW BEST:: SOT 3580151 SOS 3254296 HAS SOPS 3200492 HAS SOUS 1518034 HAS SOUPS 1515989 WITH SCORE 1519243.296
AT ITER 6587 NEW BEST:: SOT 3580151 SOS 3254296 HAS SOPS 3200492 HAS SOUS 1517537 HAS SOUPS 1515492 WITH SCORE 1518746.296
AT ITER 6600 NEW BEST:: SOT 3593717 SOS 3267959 HAS SOPS 3214155 HAS SOUS 1503928 HAS SOUPS 1501883 WITH SCORE 1505150.959
AT ITER 6620 NEW BEST:: SOT 3594831 SOS 3269073 HAS SOPS 3215269 HAS SOUS 1503906 HAS SOUPS 1501861 WITH SCORE 1505130.073
AT ITER 6653 NEW BEST:: SOT 3612710 SOS 3286952 HAS SOPS 3233148 HAS SOUS 1487186 HAS SOUPS 1485141 WITH SCORE 1488427.952
AT ITER 6654 NEW BEST:: SOT 3612149 SOS 3286391 HAS SOPS 3232587 HAS SOUS 1486999 HAS SOUPS 1484954 WITH SCORE 1488240.391
AT ITER 6686 NEW BEST:: SOT 3613682 SOS 3287924 HAS SOPS 3234120 HAS SOUS 1485437 HAS SOUPS 1483392 WITH SCORE 1486679.924
AT ITER 6688 NEW BEST:: SOT 3613682 SOS 3287924 HAS SOPS 3234120 HAS SOUS 1469931 HAS SOUPS 1467886 WITH SCORE 1471173.924
AT ITER 6693 NEW BEST:: SOT 3613682 SOS 3287996 HAS SOPS 3234192 HAS SOUS 1455087 HAS SOUPS 1453042 WITH SCORE 1456329.996
AT ITER 6709 NEW BEST:: SOT 3617034 SOS 3291348 HAS SOPS 3237544 HAS SOUS 1454539 HAS SOUPS 1452494 WITH SCORE 1455785.348
AT ITER 6712 NEW BEST:: SOT 3616902 SOS 3291216 HAS SOPS 3237412 HAS SOUS 1454407 HAS SOUPS 1452362 WITH SCORE 1455653.216
AT ITER 6718 NEW BEST:: SOT 3616902 SOS 3251149 HAS SOPS 3197345 HAS SOUS 1454366 HAS SOUPS 1452321 WITH SCORE 1455572.149
AT ITER 6727 NEW BEST:: SOT 3630611 SOS 3263794 HAS SOPS 3208079 HAS SOUS 1453193 HAS SOUPS 1451148 WITH SCORE 1454411.794
AT ITER 6736 NEW BEST:: SOT 3634179 SOS 3267362 HAS SOPS 3211647 HAS SOUS 1452444 HAS SOUPS 1450399 WITH SCORE 1453666.362
AT ITER 6742 NEW BEST:: SOT 3634179 SOS 3267106 HAS SOPS 3211391 HAS SOUS 1452444 HAS SOUPS 1450399 WITH SCORE 1453666.106
AT ITER 6743 NEW BEST:: SOT 3634179 SOS 3267106 HAS SOPS 3211391 HAS SOUS 1452354 HAS SOUPS 1450309 WITH SCORE 1453576.106
AT ITER 6751 NEW BEST:: SOT 3633108 SOS 3266035 HAS SOPS 3210320 HAS SOUS 1451997 HAS SOUPS 1449952 WITH SCORE 1453218.035
AT ITER 6786 NEW BEST:: SOT 3633108 SOS 3266681 HAS SOPS 3210966 HAS SOUS 1451553 HAS SOUPS 1449508 WITH SCORE 1452774.681
AT ITER 6818 NEW BEST:: SOT 3633443 SOS 3267016 HAS SOPS 3211301 HAS SOUS 1450677 HAS SOUPS 1448632 WITH SCORE 1451899.016
AT ITER 6827 NEW BEST:: SOT 3627816 SOS 3261389 HAS SOPS 3207439 HAS SOUS 1450677 HAS SOUPS 1448632 WITH SCORE 1451893.389
AT ITER 6831 NEW BEST:: SOT 3617921 SOS 3251494 HAS SOPS 3211415 HAS SOUS 1448781 HAS SOUPS 1446736 WITH SCORE 1449987.494
AT ITER 6861 NEW BEST:: SOT 3618125 SOS 3251698 HAS SOPS 3211619 HAS SOUS 1448353 HAS SOUPS 1446308 WITH SCORE 1449559.698
AT ITER 6865 NEW BEST:: SOT 3618125 SOS 3251493 HAS SOPS 3211414 HAS SOUS 1448353 HAS SOUPS 1446308 WITH SCORE 1449559.493
AT ITER 6868 NEW BEST:: SOT 3618125 SOS 3250981 HAS SOPS 3210902 HAS SOUS 1447329 HAS SOUPS 1445284 WITH SCORE 1448534.981
AT ITER 6879 NEW BEST:: SOT 3617858 SOS 3250714 HAS SOPS 3210902 HAS SOUS 1447329 HAS SOUPS 1445284 WITH SCORE 1448534.714
AT ITER 6902 NEW BEST:: SOT 3619241 SOS 3252097 HAS SOPS 3212285 HAS SOUS 1447154 HAS SOUPS 1445109 WITH SCORE 1448361.097
AT ITER 6908 NEW BEST:: SOT 3619787 SOS 3252643 HAS SOPS 3212831 HAS SOUS 1446836 HAS SOUPS 1444791 WITH SCORE 1448043.643
AT ITER 6920 NEW BEST:: SOT 3620243 SOS 3253099 HAS SOPS 3213287 HAS SOUS 1446602 HAS SOUPS 1444557 WITH SCORE 1447810.099
AT ITER 6923 NEW BEST:: SOT 3622613 SOS 3255469 HAS SOPS 3215657 HAS SOUS 1445746 HAS SOUPS 1443701 WITH SCORE 1446956.469
AT ITER 6926 NEW BEST:: SOT 3622613 SOS 3255469 HAS SOPS 3215657 HAS SOUS 1445098 HAS SOUPS 1443053 WITH SCORE 1446308.469
AT ITER 6940 NEW BEST:: SOT 3622613 SOS 3255199 HAS SOPS 3215387 HAS SOUS 1444593 HAS SOUPS 1442548 WITH SCORE 1445803.199
AT ITER 6951 NEW BEST:: SOT 3622415 SOS 3255001 HAS SOPS 3215189 HAS SOUS 1444527 HAS SOUPS 1442482 WITH SCORE 1445737.001
AT ITER 6959 NEW BEST:: SOT 3622700 SOS 3249887 HAS SOPS 3210075 HAS SOUS 1443887 HAS SOUPS 1441842 WITH SCORE 1445091.887
AT ITER 6981 NEW BEST:: SOT 3622700 SOS 3250019 HAS SOPS 3210207 HAS SOUS 1443755 HAS SOUPS 1441710 WITH SCORE 1444960.019
AT ITER 7015 NEW BEST:: SOT 3627725 SOS 3255044 HAS SOPS 3215232 HAS SOUS 1443377 HAS SOUPS 1441332 WITH SCORE 1444587.044
AT ITER 7040 NEW BEST:: SOT 3628244 SOS 3255563 HAS SOPS 3215751 HAS SOUS 1443373 HAS SOUPS 1441328 WITH SCORE 1444583.563
AT ITER 7046 NEW BEST:: SOT 3628244 SOS 3255563 HAS SOPS 3215751 HAS SOUS 1443348 HAS SOUPS 1441303 WITH SCORE 1444558.563
AT ITER 7058 NEW BEST:: SOT 3628964 SOS 3256283 HAS SOPS 3216471 HAS SOUS 1442263 HAS SOUPS 1440218 WITH SCORE 1443474.283
AT ITER 7061 NEW BEST:: SOT 3629066 SOS 3256313 HAS SOPS 3216501 HAS SOUS 1441826 HAS SOUPS 1439781 WITH SCORE 1443037.313
AT ITER 7062 NEW BEST:: SOT 3629066 SOS 3256313 HAS SOPS 3216501 HAS SOUS 1441807 HAS SOUPS 1439762 WITH SCORE 1443018.313
AT ITER 7073 NEW BEST:: SOT 3629066 SOS 3256791 HAS SOPS 3216979 HAS SOUS 1441263 HAS SOUPS 1439218 WITH SCORE 1442474.791
AT ITER 7102 NEW BEST:: SOT 3628971 SOS 3256696 HAS SOPS 3216884 HAS SOUS 1441078 HAS SOUPS 1439033 WITH SCORE 1442289.696
AT ITER 7118 NEW BEST:: SOT 3628971 SOS 3256696 HAS SOPS 3216884 HAS SOUS 1440862 HAS SOUPS 1438817 WITH SCORE 1442073.696
AT ITER 7132 NEW BEST:: SOT 3629175 SOS 3256900 HAS SOPS 3217088 HAS SOUS 1440849 HAS SOUPS 1438804 WITH SCORE 1442060.9
AT ITER 7133 NEW BEST:: SOT 3630176 SOS 3257901 HAS SOPS 3218089 HAS SOUS 1440797 HAS SOUPS 1438752 WITH SCORE 1442009.901
AT ITER 7143 NEW BEST:: SOT 3630176 SOS 3257901 HAS SOPS 3218089 HAS SOUS 1439789 HAS SOUPS 1437744 WITH SCORE 1441001.901
AT ITER 7169 NEW BEST:: SOT 3630176 SOS 3257901 HAS SOPS 3218089 HAS SOUS 1438139 HAS SOUPS 1436094 WITH SCORE 1439351.901
AT ITER 7174 NEW BEST:: SOT 3628500 SOS 3256225 HAS SOPS 3216413 HAS SOUS 1437777 HAS SOUPS 1435732 WITH SCORE 1438988.225
AT ITER 7183 NEW BEST:: SOT 3625227 SOS 3252952 HAS SOPS 3213140 HAS SOUS 1436686 HAS SOUPS 1434641 WITH SCORE 1437893.952
AT ITER 7188 NEW BEST:: SOT 3625227 SOS 3252952 HAS SOPS 3213140 HAS SOUS 1436399 HAS SOUPS 1434354 WITH SCORE 1437606.952
AT ITER 7206 NEW BEST:: SOT 3624264 SOS 3251989 HAS SOPS 3213140 HAS SOUS 1436399 HAS SOUPS 1434354 WITH SCORE 1437605.989
AT ITER 7229 NEW BEST:: SOT 3624264 SOS 3252236 HAS SOPS 3213387 HAS SOUS 1435956 HAS SOUPS 1433911 WITH SCORE 1437163.236
AT ITER 7249 NEW BEST:: SOT 3643371 SOS 3271343 HAS SOPS 3232494 HAS SOUS 1420453 HAS SOUPS 1418408 WITH SCORE 1421679.343
AT ITER 7257 NEW BEST:: SOT 3643555 SOS 3271527 HAS SOPS 3232678 HAS SOUS 1419729 HAS SOUPS 1417684 WITH SCORE 1420955.527
AT ITER 7274 NEW BEST:: SOT 3644854 SOS 3272826 HAS SOPS 3233977 HAS SOUS 1419228 HAS SOUPS 1417183 WITH SCORE 1420455.826
AT ITER 7317 NEW BEST:: SOT 3675577 SOS 3303549 HAS SOPS 3264700 HAS SOUS 1409313 HAS SOUPS 1407268 WITH SCORE 1410571.549
AT ITER 7330 NEW BEST:: SOT 3684153 SOS 3311824 HAS SOPS 3272975 HAS SOUS 1408893 HAS SOUPS 1406848 WITH SCORE 1410159.824
AT ITER 7356 NEW BEST:: SOT 3684380 SOS 3312051 HAS SOPS 3273202 HAS SOUS 1408087 HAS SOUPS 1406042 WITH SCORE 1409354.051
AT ITER 7390 NEW BEST:: SOT 3684380 SOS 3311691 HAS SOPS 3272842 HAS SOUS 1408087 HAS SOUPS 1406042 WITH SCORE 1409353.691
AT ITER 7395 NEW BEST:: SOT 3685503 SOS 3312814 HAS SOPS 3273965 HAS SOUS 1407600 HAS SOUPS 1405555 WITH SCORE 1408867.814
AT ITER 7400 NEW BEST:: SOT 3685408 SOS 3312963 HAS SOPS 3274206 HAS SOUS 1407166 HAS SOUPS 1405121 WITH SCORE 1408433.963
AT ITER 7402 NEW BEST:: SOT 3685620 SOS 3313175 HAS SOPS 3274418 HAS SOUS 1406884 HAS SOUPS 1404839 WITH SCORE 1408152.175
AT ITER 7439 NEW BEST:: SOT 3685620 SOS 3313175 HAS SOPS 3274418 HAS SOUS 1406780 HAS SOUPS 1404735 WITH SCORE 1408048.175
AT ITER 7442 NEW BEST:: SOT 3686011 SOS 3306630 HAS SOPS 3267700 HAS SOUS 1399399 HAS SOUPS 1397354 WITH SCORE 1400660.63
AT ITER 7454 NEW BEST:: SOT 3686671 SOS 3307290 HAS SOPS 3268360 HAS SOUS 1399289 HAS SOUPS 1397244 WITH SCORE 1400551.29
AT ITER 7465 NEW BEST:: SOT 3686671 SOS 3306769 HAS SOPS 3267839 HAS SOUS 1398247 HAS SOUPS 1396202 WITH SCORE 1399508.769
AT ITER 7472 NEW BEST:: SOT 3686671 SOS 3306671 HAS SOPS 3267741 HAS SOUS 1398181 HAS SOUPS 1396136 WITH SCORE 1399442.671
AT ITER 7475 NEW BEST:: SOT 3687136 SOS 3307136 HAS SOPS 3267927 HAS SOUS 1397902 HAS SOUPS 1395857 WITH SCORE 1399164.136
AT ITER 7482 NEW BEST:: SOT 3688312 SOS 3303057 HAS SOPS 3263363 HAS SOUS 1390932 HAS SOUPS 1388887 WITH SCORE 1392190.057
AT ITER 7483 NEW BEST:: SOT 3689860 SOS 3304347 HAS SOPS 3264653 HAS SOUS 1390673 HAS SOUPS 1388628 WITH SCORE 1391932.347
AT ITER 7496 NEW BEST:: SOT 3690286 SOS 3304773 HAS SOPS 3265079 HAS SOUS 1390005 HAS SOUPS 1387960 WITH SCORE 1391264.773
AT ITER 7498 NEW BEST:: SOT 3690094 SOS 3304581 HAS SOPS 3265009 HAS SOUS 1389935 HAS SOUPS 1387890 WITH SCORE 1391194.581
AT ITER 7504 NEW BEST:: SOT 3690460 SOS 3304947 HAS SOPS 3265375 HAS SOUS 1389833 HAS SOUPS 1387788 WITH SCORE 1391092.947
AT ITER 7530 NEW BEST:: SOT 3692846 SOS 3307333 HAS SOPS 3267761 HAS SOUS 1388429 HAS SOUPS 1386384 WITH SCORE 1389691.333
AT ITER 7551 NEW BEST:: SOT 3692684 SOS 3307171 HAS SOPS 3267599 HAS SOUS 1388429 HAS SOUPS 1386384 WITH SCORE 1389691.171
AT ITER 7565 NEW BEST:: SOT 3692980 SOS 3307467 HAS SOPS 3267895 HAS SOUS 1388399 HAS SOUPS 1386354 WITH SCORE 1389661.467
AT ITER 7589 NEW BEST:: SOT 3694450 SOS 3308937 HAS SOPS 3269365 HAS SOUS 1388243 HAS SOUPS 1386198 WITH SCORE 1389506.937
AT ITER 7592 NEW BEST:: SOT 3695422 SOS 3309909 HAS SOPS 3270337 HAS SOUS 1387619 HAS SOUPS 1385574 WITH SCORE 1388883.909
AT ITER 7614 NEW BEST:: SOT 3695422 SOS 3309441 HAS SOPS 3269869 HAS SOUS 1387151 HAS SOUPS 1385106 WITH SCORE 1388415.441
AT ITER 7628 NEW BEST:: SOT 3695422 SOS 3309441 HAS SOPS 3269869 HAS SOUS 1386948 HAS SOUPS 1384903 WITH SCORE 1388212.441
AT ITER 7631 NEW BEST:: SOT 3718890 SOS 3325665 HAS SOPS 3284733 HAS SOUS 1382899 HAS SOUPS 1380854 WITH SCORE 1384179.665
AT ITER 7641 NEW BEST:: SOT 3718890 SOS 3326493 HAS SOPS 3285561 HAS SOUS 1382711 HAS SOUPS 1380666 WITH SCORE 1383992.493
AT ITER 7645 NEW BEST:: SOT 3718890 SOS 3327328 HAS SOPS 3286396 HAS SOUS 1382321 HAS SOUPS 1380276 WITH SCORE 1383603.328
AT ITER 7656 NEW BEST:: SOT 3720342 SOS 3328780 HAS SOPS 3287848 HAS SOUS 1381610 HAS SOUPS 1379565 WITH SCORE 1382893.78
AT ITER 7658 NEW BEST:: SOT 3721737 SOS 3329875 HAS SOPS 3287548 HAS SOUS 1381310 HAS SOUPS 1379265 WITH SCORE 1382594.875
AT ITER 7662 NEW BEST:: SOT 3721737 SOS 3329875 HAS SOPS 3287548 HAS SOUS 1381274 HAS SOUPS 1379229 WITH SCORE 1382558.875
AT ITER 7697 NEW BEST:: SOT 3721916 SOS 3330054 HAS SOPS 3287727 HAS SOUS 1381200 HAS SOUPS 1379155 WITH SCORE 1382485.054
AT ITER 7698 NEW BEST:: SOT 3721867 SOS 3330005 HAS SOPS 3287678 HAS SOUS 1380997 HAS SOUPS 1378952 WITH SCORE 1382282.005
AT ITER 7703 NEW BEST:: SOT 3721873 SOS 3330011 HAS SOPS 3287684 HAS SOUS 1380719 HAS SOUPS 1378674 WITH SCORE 1382004.011
AT ITER 7734 NEW BEST:: SOT 3721873 SOS 3328178 HAS SOPS 3285851 HAS SOUS 1380719 HAS SOUPS 1378674 WITH SCORE 1382002.178
AT ITER 7735 NEW BEST:: SOT 3721873 SOS 3327934 HAS SOPS 3285607 HAS SOUS 1380718 HAS SOUPS 1378673 WITH SCORE 1382000.934
AT ITER 7759 NEW BEST:: SOT 3722189 SOS 3328250 HAS SOPS 3285923 HAS SOUS 1380686 HAS SOUPS 1378641 WITH SCORE 1381969.25
AT ITER 7764 NEW BEST:: SOT 3722048 SOS 3328109 HAS SOPS 3285782 HAS SOUS 1380639 HAS SOUPS 1378594 WITH SCORE 1381922.109
AT ITER 7778 NEW BEST:: SOT 3730446 SOS 3336507 HAS SOPS 3294180 HAS SOUS 1375897 HAS SOUPS 1373852 WITH SCORE 1377188.507
AT ITER 7779 NEW BEST:: SOT 3730842 SOS 3336752 HAS SOPS 3294425 HAS SOUS 1375628 HAS SOUPS 1373583 WITH SCORE 1376919.752
AT ITER 7793 NEW BEST:: SOT 3731200 SOS 3337110 HAS SOPS 3294783 HAS SOUS 1375592 HAS SOUPS 1373547 WITH SCORE 1376884.11
AT ITER 7797 NEW BEST:: SOT 3730855 SOS 3336765 HAS SOPS 3294438 HAS SOUS 1375523 HAS SOUPS 1373478 WITH SCORE 1376814.765
AT ITER 7824 NEW BEST:: SOT 3731791 SOS 3337701 HAS SOPS 3295374 HAS SOUS 1374733 HAS SOUPS 1372688 WITH SCORE 1376025.701
AT ITER 7831 NEW BEST:: SOT 3731791 SOS 3337533 HAS SOPS 3295206 HAS SOUS 1374733 HAS SOUPS 1372688 WITH SCORE 1376025.533
AT ITER 7843 NEW BEST:: SOT 3732393 SOS 3338135 HAS SOPS 3295808 HAS SOUS 1374477 HAS SOUPS 1372432 WITH SCORE 1375770.135
AT ITER 7853 NEW BEST:: SOT 3733849 SOS 3339591 HAS SOPS 3297264 HAS SOUS 1374177 HAS SOUPS 1372132 WITH SCORE 1375471.591
AT ITER 7856 NEW BEST:: SOT 3734875 SOS 3340337 HAS SOPS 3298010 HAS SOUS 1373427 HAS SOUPS 1371382 WITH SCORE 1374722.337
AT ITER 7880 NEW BEST:: SOT 3734875 SOS 3340337 HAS SOPS 3298010 HAS SOUS 1373127 HAS SOUPS 1371082 WITH SCORE 1374422.337
AT ITER 7885 NEW BEST:: SOT 3734926 SOS 3340388 HAS SOPS 3298061 HAS SOUS 1372556 HAS SOUPS 1370511 WITH SCORE 1373851.388
AT ITER 7890 NEW BEST:: SOT 3734926 SOS 3340388 HAS SOPS 3298061 HAS SOUS 1372254 HAS SOUPS 1370209 WITH SCORE 1373549.388
AT ITER 7895 NEW BEST:: SOT 3734926 SOS 3340388 HAS SOPS 3298061 HAS SOUS 1371727 HAS SOUPS 1369682 WITH SCORE 1373022.388
AT ITER 7899 NEW BEST:: SOT 3748391 SOS 3353853 HAS SOPS 3311526 HAS SOUS 1371027 HAS SOUPS 1368982 WITH SCORE 1372335.853
AT ITER 7914 NEW BEST:: SOT 3748391 SOS 3350545 HAS SOPS 3308218 HAS SOUS 1367494 HAS SOUPS 1365449 WITH SCORE 1368799.545
AT ITER 7921 NEW BEST:: SOT 3748391 SOS 3350545 HAS SOPS 3308218 HAS SOUS 1367491 HAS SOUPS 1365446 WITH SCORE 1368796.545
AT ITER 7927 NEW BEST:: SOT 3753299 SOS 3355453 HAS SOPS 3313126 HAS SOUS 1366933 HAS SOUPS 1364888 WITH SCORE 1368243.453
AT ITER 7935 NEW BEST:: SOT 3744111 SOS 3346265 HAS SOPS 3304278 HAS SOUS 1366025 HAS SOUPS 1363980 WITH SCORE 1367326.265
AT ITER 7952 NEW BEST:: SOT 3744343 SOS 3346497 HAS SOPS 3304510 HAS SOUS 1365956 HAS SOUPS 1363911 WITH SCORE 1367257.497
AT ITER 7959 NEW BEST:: SOT 3748903 SOS 3351057 HAS SOPS 3309070 HAS SOUS 1365838 HAS SOUPS 1363793 WITH SCORE 1367144.057
AT ITER 7968 NEW BEST:: SOT 3748793 SOS 3350947 HAS SOPS 3308960 HAS SOUS 1365493 HAS SOUPS 1363448 WITH SCORE 1366798.947
AT ITER 7982 NEW BEST:: SOT 3750159 SOS 3352313 HAS SOPS 3310326 HAS SOUS 1365069 HAS SOUPS 1363024 WITH SCORE 1366376.313
AT ITER 7994 NEW BEST:: SOT 3750159 SOS 3331202 HAS SOPS 3289215 HAS SOUS 1362138 HAS SOUPS 1360093 WITH SCORE 1363424.202
AT ITER 7996 NEW BEST:: SOT 3745765 SOS 3326808 HAS SOPS 3284821 HAS SOUS 1362138 HAS SOUPS 1360093 WITH SCORE 1363419.808
AT ITER 8000 NEW BEST:: SOT 3760190 SOS 3303708 HAS SOPS 3244310 HAS SOUS 1361767 HAS SOUPS 1359722 WITH SCORE 1363025.708
AT ITER 8013 NEW BEST:: SOT 3759066 SOS 3302584 HAS SOPS 3243186 HAS SOUS 1360643 HAS SOUPS 1358598 WITH SCORE 1361900.584
AT ITER 8051 NEW BEST:: SOT 3759337 SOS 3302855 HAS SOPS 3243457 HAS SOUS 1360182 HAS SOUPS 1358137 WITH SCORE 1361439.855
AT ITER 8081 NEW BEST:: SOT 3763261 SOS 3306779 HAS SOPS 3247381 HAS SOUS 1359534 HAS SOUPS 1357489 WITH SCORE 1360795.779
AT ITER 8086 NEW BEST:: SOT 3763261 SOS 3306511 HAS SOPS 3247113 HAS SOUS 1358486 HAS SOUPS 1356441 WITH SCORE 1359747.511
AT ITER 8089 NEW BEST:: SOT 3763261 SOS 3306021 HAS SOPS 3246623 HAS SOUS 1357913 HAS SOUPS 1355868 WITH SCORE 1359174.021
AT ITER 8108 NEW BEST:: SOT 3762360 SOS 3305120 HAS SOPS 3246623 HAS SOUS 1357913 HAS SOUPS 1355868 WITH SCORE 1359173.12
AT ITER 8109 NEW BEST:: SOT 3762360 SOS 3305120 HAS SOPS 3246623 HAS SOUS 1357672 HAS SOUPS 1355627 WITH SCORE 1358932.12
AT ITER 8110 NEW BEST:: SOT 3764784 SOS 3307544 HAS SOPS 3249047 HAS SOUS 1357573 HAS SOUPS 1355528 WITH SCORE 1358835.544
AT ITER 8125 NEW BEST:: SOT 3760781 SOS 3303541 HAS SOPS 3245947 HAS SOUS 1357573 HAS SOUPS 1355528 WITH SCORE 1358831.541
AT ITER 8128 NEW BEST:: SOT 3760781 SOS 3303525 HAS SOPS 3245931 HAS SOUS 1357557 HAS SOUPS 1355512 WITH SCORE 1358815.525
AT ITER 8142 NEW BEST:: SOT 3760781 SOS 3303334 HAS SOPS 3245740 HAS SOUS 1357366 HAS SOUPS 1355321 WITH SCORE 1358624.334
AT ITER 8187 NEW BEST:: SOT 3759691 SOS 3302244 HAS SOPS 3244650 HAS SOUS 1357366 HAS SOUPS 1355321 WITH SCORE 1358623.244
AT ITER 8193 NEW BEST:: SOT 3760530 SOS 3303083 HAS SOPS 3245489 HAS SOUS 1357232 HAS SOUPS 1355187 WITH SCORE 1358490.083
AT ITER 8211 NEW BEST:: SOT 3762202 SOS 3304755 HAS SOPS 3247161 HAS SOUS 1357150 HAS SOUPS 1355105 WITH SCORE 1358409.755
AT ITER 8215 NEW BEST:: SOT 3765259 SOS 3307812 HAS SOPS 3250218 HAS SOUS 1355122 HAS SOUPS 1353077 WITH SCORE 1356384.812
AT ITER 8225 NEW BEST:: SOT 3783760 SOS 3319367 HAS SOPS 3259737 HAS SOUS 1351075 HAS SOUPS 1349030 WITH SCORE 1352349.367
AT ITER 8255 NEW BEST:: SOT 3784184 SOS 3315639 HAS SOPS 3256009 HAS SOUS 1350930 HAS SOUPS 1348885 WITH SCORE 1352200.639
AT ITER 8257 NEW BEST:: SOT 3784184 SOS 3315639 HAS SOPS 3256009 HAS SOUS 1350752 HAS SOUPS 1348707 WITH SCORE 1352022.639
AT ITER 8265 NEW BEST:: SOT 3784844 SOS 3316299 HAS SOPS 3256669 HAS SOUS 1350454 HAS SOUPS 1348409 WITH SCORE 1351725.299
AT ITER 8271 NEW BEST:: SOT 3800272 SOS 3331330 HAS SOPS 3271700 HAS SOUS 1330745 HAS SOUPS 1328700 WITH SCORE 1332031.33
AT ITER 8277 NEW BEST:: SOT 3800272 SOS 3332051 HAS SOPS 3272421 HAS SOUS 1330196 HAS SOUPS 1328151 WITH SCORE 1331483.051
AT ITER 8280 NEW BEST:: SOT 3799172 SOS 3330951 HAS SOPS 3272421 HAS SOUS 1330196 HAS SOUPS 1328151 WITH SCORE 1331481.951
AT ITER 8282 NEW BEST:: SOT 3799647 SOS 3331426 HAS SOPS 3272896 HAS SOUS 1329822 HAS SOUPS 1327777 WITH SCORE 1331108.426
AT ITER 8294 NEW BEST:: SOT 3800489 SOS 3332268 HAS SOPS 3273738 HAS SOUS 1329017 HAS SOUPS 1326972 WITH SCORE 1330304.268
AT ITER 8304 NEW BEST:: SOT 3800489 SOS 3332163 HAS SOPS 3273633 HAS SOUS 1328807 HAS SOUPS 1326762 WITH SCORE 1330094.163
AT ITER 8313 NEW BEST:: SOT 3800489 SOS 3332163 HAS SOPS 3273633 HAS SOUS 1328687 HAS SOUPS 1326642 WITH SCORE 1329974.163
AT ITER 8349 NEW BEST:: SOT 3801031 SOS 3332705 HAS SOPS 3274175 HAS SOUS 1327183 HAS SOUPS 1325138 WITH SCORE 1328470.705
AT ITER 8350 NEW BEST:: SOT 3801031 SOS 3332705 HAS SOPS 3274175 HAS SOUS 1327035 HAS SOUPS 1324990 WITH SCORE 1328322.705
AT ITER 8355 NEW BEST:: SOT 3800805 SOS 3332479 HAS SOPS 3273949 HAS SOUS 1326957 HAS SOUPS 1324912 WITH SCORE 1328244.479
AT ITER 8421 NEW BEST:: SOT 3801134 SOS 3332808 HAS SOPS 3274278 HAS SOUS 1325312 HAS SOUPS 1323267 WITH SCORE 1326599.808
AT ITER 8429 NEW BEST:: SOT 3801556 SOS 3333230 HAS SOPS 3274700 HAS SOUS 1325276 HAS SOUPS 1323231 WITH SCORE 1326564.23
AT ITER 8439 NEW BEST:: SOT 3800716 SOS 3332390 HAS SOPS 3273860 HAS SOUS 1324970 HAS SOUPS 1322925 WITH SCORE 1326257.39
AT ITER 8485 NEW BEST:: SOT 3799721 SOS 3331395 HAS SOPS 3272865 HAS SOUS 1323900 HAS SOUPS 1321855 WITH SCORE 1325186.395
AT ITER 8489 NEW BEST:: SOT 3799582 SOS 3331256 HAS SOPS 3272726 HAS SOUS 1323900 HAS SOUPS 1321855 WITH SCORE 1325186.256
AT ITER 8541 NEW BEST:: SOT 3799671 SOS 3331345 HAS SOPS 3272815 HAS SOUS 1323784 HAS SOUPS 1321739 WITH SCORE 1325070.345
AT ITER 8551 NEW BEST:: SOT 3802021 SOS 3333695 HAS SOPS 3275165 HAS SOUS 1323531 HAS SOUPS 1321486 WITH SCORE 1324819.695
AT ITER 8553 NEW BEST:: SOT 3798076 SOS 3329750 HAS SOPS 3271220 HAS SOUS 1322742 HAS SOUPS 1320697 WITH SCORE 1324026.75
AT ITER 8554 NEW BEST:: SOT 3797394 SOS 3329068 HAS SOPS 3270538 HAS SOUS 1322742 HAS SOUPS 1320697 WITH SCORE 1324026.068
AT ITER 8557 NEW BEST:: SOT 3799227 SOS 3330605 HAS SOPS 3272075 HAS SOUS 1322717 HAS SOUPS 1320672 WITH SCORE 1324002.605
AT ITER 8561 NEW BEST:: SOT 3799227 SOS 3325126 HAS SOPS 3266596 HAS SOUS 1321684 HAS SOUPS 1319639 WITH SCORE 1322964.126
AT ITER 8603 NEW BEST:: SOT 3799625 SOS 3325122 HAS SOPS 3266592 HAS SOUS 1321680 HAS SOUPS 1319635 WITH SCORE 1322960.122
AT ITER 8606 NEW BEST:: SOT 3799955 SOS 3325452 HAS SOPS 3266922 HAS SOUS 1321614 HAS SOUPS 1319569 WITH SCORE 1322894.452
AT ITER 8609 NEW BEST:: SOT 3801945 SOS 3327075 HAS SOPS 3268545 HAS SOUS 1321387 HAS SOUPS 1319342 WITH SCORE 1322669.075
AT ITER 8634 NEW BEST:: SOT 3800241 SOS 3325371 HAS SOPS 3266841 HAS SOUS 1320535 HAS SOUPS 1318490 WITH SCORE 1321815.371
AT ITER 8639 NEW BEST:: SOT 3799061 SOS 3324191 HAS SOPS 3265661 HAS SOUS 1319945 HAS SOUPS 1317900 WITH SCORE 1321224.191
AT ITER 8648 NEW BEST:: SOT 3805152 SOS 3319667 HAS SOPS 3258974 HAS SOUS 1319652 HAS SOUPS 1317607 WITH SCORE 1320926.667
AT ITER 8659 NEW BEST:: SOT 3806946 SOS 3321461 HAS SOPS 3260768 HAS SOUS 1318362 HAS SOUPS 1316317 WITH SCORE 1319638.461
AT ITER 8677 NEW BEST:: SOT 3806946 SOS 3321461 HAS SOPS 3260768 HAS SOUS 1318333 HAS SOUPS 1316288 WITH SCORE 1319609.461
AT ITER 8694 NEW BEST:: SOT 3805542 SOS 3320057 HAS SOPS 3259364 HAS SOUS 1317865 HAS SOUPS 1315820 WITH SCORE 1319140.057
AT ITER 8707 NEW BEST:: SOT 3811700 SOS 3321662 HAS SOPS 3259020 HAS SOUS 1314644 HAS SOUPS 1312599 WITH SCORE 1315920.662
AT ITER 8711 NEW BEST:: SOT 3812757 SOS 3322719 HAS SOPS 3260077 HAS SOUS 1314268 HAS SOUPS 1312223 WITH SCORE 1315545.719
AT ITER 8714 NEW BEST:: SOT 3812757 SOS 3322682 HAS SOPS 3260040 HAS SOUS 1314229 HAS SOUPS 1312184 WITH SCORE 1315506.682
AT ITER 8723 NEW BEST:: SOT 3812696 SOS 3322621 HAS SOPS 3259979 HAS SOUS 1314229 HAS SOUPS 1312184 WITH SCORE 1315506.621
AT ITER 8756 NEW BEST:: SOT 3814116 SOS 3323504 HAS SOPS 3260862 HAS SOUS 1314017 HAS SOUPS 1311972 WITH SCORE 1315295.504
AT ITER 8778 NEW BEST:: SOT 3814116 SOS 3323504 HAS SOPS 3260862 HAS SOUS 1313977 HAS SOUPS 1311932 WITH SCORE 1315255.504
AT ITER 8784 NEW BEST:: SOT 3837842 SOS 3345914 HAS SOPS 3282963 HAS SOUS 1296957 HAS SOUPS 1294912 WITH SCORE 1298257.914
AT ITER 8803 NEW BEST:: SOT 3837990 SOS 3345780 HAS SOPS 3282829 HAS SOUS 1296818 HAS SOUPS 1294773 WITH SCORE 1298118.78
AT ITER 8804 NEW BEST:: SOT 3837990 SOS 3345780 HAS SOPS 3282829 HAS SOUS 1296110 HAS SOUPS 1294065 WITH SCORE 1297410.78
AT ITER 8805 NEW BEST:: SOT 3837990 SOS 3342765 HAS SOPS 3279814 HAS SOUS 1295355 HAS SOUPS 1293310 WITH SCORE 1296652.765
AT ITER 8824 NEW BEST:: SOT 3837764 SOS 3342539 HAS SOPS 3279588 HAS SOUS 1295186 HAS SOUPS 1293141 WITH SCORE 1296483.539
AT ITER 8828 NEW BEST:: SOT 3837774 SOS 3342549 HAS SOPS 3279598 HAS SOUS 1295182 HAS SOUPS 1293137 WITH SCORE 1296479.549
AT ITER 8839 NEW BEST:: SOT 3837554 SOS 3342329 HAS SOPS 3279378 HAS SOUS 1294697 HAS SOUPS 1292652 WITH SCORE 1295994.329
AT ITER 8840 NEW BEST:: SOT 3837576 SOS 3342351 HAS SOPS 3279400 HAS SOUS 1294443 HAS SOUPS 1292398 WITH SCORE 1295740.351
AT ITER 8850 NEW BEST:: SOT 3833244 SOS 3338019 HAS SOPS 3275068 HAS SOUS 1294443 HAS SOUPS 1292398 WITH SCORE 1295736.019
AT ITER 8858 NEW BEST:: SOT 3834782 SOS 3339557 HAS SOPS 3276606 HAS SOUS 1294401 HAS SOUPS 1292356 WITH SCORE 1295695.557
AT ITER 8861 NEW BEST:: SOT 3834782 SOS 3339071 HAS SOPS 3276120 HAS SOUS 1294077 HAS SOUPS 1292032 WITH SCORE 1295371.071
AT ITER 8862 NEW BEST:: SOT 3838642 SOS 3342931 HAS SOPS 3279980 HAS SOUS 1290113 HAS SOUPS 1288068 WITH SCORE 1291410.931
AT ITER 8883 NEW BEST:: SOT 3836592 SOS 3340881 HAS SOPS 3277930 HAS SOUS 1289703 HAS SOUPS 1287658 WITH SCORE 1290998.881
AT ITER 8885 NEW BEST:: SOT 3836354 SOS 3340643 HAS SOPS 3277692 HAS SOUS 1289647 HAS SOUPS 1287602 WITH SCORE 1290942.643
AT ITER 8891 NEW BEST:: SOT 3836354 SOS 3340701 HAS SOPS 3277750 HAS SOUS 1289646 HAS SOUPS 1287601 WITH SCORE 1290941.701
AT ITER 8894 NEW BEST:: SOT 3834171 SOS 3338518 HAS SOPS 3277346 HAS SOUS 1288750 HAS SOUPS 1287197 WITH SCORE 1290535.518
AT ITER 8934 NEW BEST:: SOT 3834171 SOS 3338543 HAS SOPS 3277371 HAS SOUS 1288749 HAS SOUPS 1287196 WITH SCORE 1290534.543
AT ITER 8936 NEW BEST:: SOT 3835425 SOS 3339797 HAS SOPS 3278625 HAS SOUS 1288380 HAS SOUPS 1286827 WITH SCORE 1290166.797
AT ITER 8969 NEW BEST:: SOT 3837675 SOS 3341832 HAS SOPS 3280660 HAS SOUS 1287569 HAS SOUPS 1286016 WITH SCORE 1289357.832
AT ITER 8977 NEW BEST:: SOT 3842987 SOS 3347144 HAS SOPS 3285972 HAS SOUS 1287252 HAS SOUPS 1285699 WITH SCORE 1289046.144
AT ITER 8981 NEW BEST:: SOT 3843767 SOS 3347924 HAS SOPS 3286752 HAS SOUS 1286243 HAS SOUPS 1284690 WITH SCORE 1288037.924
AT ITER 8984 NEW BEST:: SOT 3843161 SOS 3347318 HAS SOPS 3286146 HAS SOUS 1286041 HAS SOUPS 1284488 WITH SCORE 1287835.318
AT ITER 9012 NEW BEST:: SOT 3840980 SOS 3345137 HAS SOPS 3283965 HAS SOUS 1285507 HAS SOUPS 1283954 WITH SCORE 1287299.137
AT ITER 9017 NEW BEST:: SOT 3840490 SOS 3344647 HAS SOPS 3283475 HAS SOUS 1285017 HAS SOUPS 1283464 WITH SCORE 1286808.647
AT ITER 9059 NEW BEST:: SOT 3843803 SOS 3336412 HAS SOPS 3273792 HAS SOUS 1273714 HAS SOUPS 1272161 WITH SCORE 1275497.412
AT ITER 9078 NEW BEST:: SOT 3845775 SOS 3338384 HAS SOPS 3275764 HAS SOUS 1273546 HAS SOUPS 1271993 WITH SCORE 1275331.384
AT ITER 9085 NEW BEST:: SOT 3843715 SOS 3336324 HAS SOPS 3273704 HAS SOUS 1273134 HAS SOUPS 1271581 WITH SCORE 1274917.324
AT ITER 9095 NEW BEST:: SOT 3842055 SOS 3334664 HAS SOPS 3272044 HAS SOUS 1272304 HAS SOUPS 1270751 WITH SCORE 1274085.664
AT ITER 9107 NEW BEST:: SOT 3842055 SOS 3334664 HAS SOPS 3272044 HAS SOUS 1272016 HAS SOUPS 1270463 WITH SCORE 1273797.664
AT ITER 9142 NEW BEST:: SOT 3842289 SOS 3332320 HAS SOPS 3269664 HAS SOUS 1257006 HAS SOUPS 1255453 WITH SCORE 1258785.32
AT ITER 9145 NEW BEST:: SOT 3842289 SOS 3331846 HAS SOPS 3269190 HAS SOUS 1254544 HAS SOUPS 1252991 WITH SCORE 1256322.846
AT ITER 9180 NEW BEST:: SOT 3842289 SOS 3331846 HAS SOPS 3269190 HAS SOUS 1254185 HAS SOUPS 1252632 WITH SCORE 1255963.846
AT ITER 9222 NEW BEST:: SOT 3844686 SOS 3334243 HAS SOPS 3271587 HAS SOUS 1251836 HAS SOUPS 1250283 WITH SCORE 1253617.243
AT ITER 9252 NEW BEST:: SOT 3844119 SOS 3333676 HAS SOPS 3271020 HAS SOUS 1251647 HAS SOUPS 1250094 WITH SCORE 1253427.676
AT ITER 9255 NEW BEST:: SOT 3844119 SOS 3309790 HAS SOPS 3247134 HAS SOUS 1251173 HAS SOUPS 1249620 WITH SCORE 1252929.79
AT ITER 9273 NEW BEST:: SOT 3844119 SOS 3307322 HAS SOPS 3244666 HAS SOUS 1251155 HAS SOUPS 1249602 WITH SCORE 1252909.322
AT ITER 9276 NEW BEST:: SOT 3843927 SOS 3307130 HAS SOPS 3244474 HAS SOUS 1250963 HAS SOUPS 1249410 WITH SCORE 1252717.13
AT ITER 9291 NEW BEST:: SOT 3843927 SOS 3307130 HAS SOPS 3244474 HAS SOUS 1250961 HAS SOUPS 1249408 WITH SCORE 1252715.13
AT ITER 9295 NEW BEST:: SOT 3843927 SOS 3307130 HAS SOPS 3244474 HAS SOUS 1250956 HAS SOUPS 1249403 WITH SCORE 1252710.13
AT ITER 9313 NEW BEST:: SOT 3843917 SOS 3307887 HAS SOPS 3245241 HAS SOUS 1250416 HAS SOUPS 1248863 WITH SCORE 1252170.887
AT ITER 9316 NEW BEST:: SOT 3843917 SOS 3307467 HAS SOPS 3244821 HAS SOUS 1249630 HAS SOUPS 1248077 WITH SCORE 1251384.467
AT ITER 9350 NEW BEST:: SOT 3842951 SOS 3306501 HAS SOPS 3243855 HAS SOUS 1248986 HAS SOUPS 1247433 WITH SCORE 1250739.501
AT ITER 9357 NEW BEST:: SOT 3843910 SOS 3307460 HAS SOPS 3244814 HAS SOUS 1247781 HAS SOUPS 1246228 WITH SCORE 1249535.46
AT ITER 9362 NEW BEST:: SOT 3844590 SOS 3308140 HAS SOPS 3245494 HAS SOUS 1247276 HAS SOUPS 1245723 WITH SCORE 1249031.14
AT ITER 9403 NEW BEST:: SOT 3844590 SOS 3307611 HAS SOPS 3244965 HAS SOUS 1246377 HAS SOUPS 1244824 WITH SCORE 1248131.611
AT ITER 9455 NEW BEST:: SOT 3849432 SOS 3312356 HAS SOPS 3249710 HAS SOUS 1245641 HAS SOUPS 1244088 WITH SCORE 1247400.356
AT ITER 9488 NEW BEST:: SOT 3849432 SOS 3312159 HAS SOPS 3249513 HAS SOUS 1245641 HAS SOUPS 1244088 WITH SCORE 1247400.159
AT ITER 9491 NEW BEST:: SOT 3849334 SOS 3312061 HAS SOPS 3249415 HAS SOUS 1245313 HAS SOUPS 1243760 WITH SCORE 1247072.061
AT ITER 9513 NEW BEST:: SOT 3849334 SOS 3312061 HAS SOPS 3249415 HAS SOUS 1245192 HAS SOUPS 1243639 WITH SCORE 1246951.061
AT ITER 9520 NEW BEST:: SOT 3849334 SOS 3311889 HAS SOPS 3249243 HAS SOUS 1244931 HAS SOUPS 1243378 WITH SCORE 1246689.889
AT ITER 9540 NEW BEST:: SOT 3849334 SOS 3311889 HAS SOPS 3249243 HAS SOUS 1244863 HAS SOUPS 1243310 WITH SCORE 1246621.889
AT ITER 9570 NEW BEST:: SOT 3839302 SOS 3301857 HAS SOPS 3239211 HAS SOUS 1243951 HAS SOUPS 1242398 WITH SCORE 1245699.857
AT ITER 9596 NEW BEST:: SOT 3840871 SOS 3303426 HAS SOPS 3240780 HAS SOUS 1242914 HAS SOUPS 1241361 WITH SCORE 1244664.426
AT ITER 9613 NEW BEST:: SOT 3833863 SOS 3296418 HAS SOPS 3233772 HAS SOUS 1242914 HAS SOUPS 1241361 WITH SCORE 1244657.418
AT ITER 9655 NEW BEST:: SOT 3833377 SOS 3295932 HAS SOPS 3233286 HAS SOUS 1242098 HAS SOUPS 1240545 WITH SCORE 1243840.932
AT ITER 9684 NEW BEST:: SOT 3835291 SOS 3297200 HAS SOPS 3234554 HAS SOUS 1241321 HAS SOUPS 1239768 WITH SCORE 1243065.2
AT ITER 9714 NEW BEST:: SOT 3835291 SOS 3273120 HAS SOPS 3210474 HAS SOUS 1241051 HAS SOUPS 1239498 WITH SCORE 1242771.12
AT ITER 9720 NEW BEST:: SOT 3819503 SOS 3257332 HAS SOPS 3196104 HAS SOUS 1235796 HAS SOUPS 1234546 WITH SCORE 1237803.332
AT ITER 9723 NEW BEST:: SOT 3819503 SOS 3257332 HAS SOPS 3196104 HAS SOUS 1235167 HAS SOUPS 1233917 WITH SCORE 1237174.332
AT ITER 9736 NEW BEST:: SOT 3819668 SOS 3257497 HAS SOPS 3196269 HAS SOUS 1234227 HAS SOUPS 1232977 WITH SCORE 1236234.497
AT ITER 9739 NEW BEST:: SOT 3819437 SOS 3257266 HAS SOPS 3196038 HAS SOUS 1234227 HAS SOUPS 1232977 WITH SCORE 1236234.266
AT ITER 9795 NEW BEST:: SOT 3819228 SOS 3257057 HAS SOPS 3195829 HAS SOUS 1234227 HAS SOUPS 1232977 WITH SCORE 1236234.057
AT ITER 9801 NEW BEST:: SOT 3818747 SOS 3256576 HAS SOPS 3195348 HAS SOUS 1234227 HAS SOUPS 1232977 WITH SCORE 1236233.576
AT ITER 9812 NEW BEST:: SOT 3819249 SOS 3257078 HAS SOPS 3195850 HAS SOUS 1233173 HAS SOUPS 1231923 WITH SCORE 1235180.078
AT ITER 9816 NEW BEST:: SOT 3819289 SOS 3257118 HAS SOPS 3195890 HAS SOUS 1232889 HAS SOUPS 1231639 WITH SCORE 1234896.118
AT ITER 9818 NEW BEST:: SOT 3865596 SOS 3300782 HAS SOPS 3239064 HAS SOUS 1231144 HAS SOUPS 1229894 WITH SCORE 1233194.782
AT ITER 9826 NEW BEST:: SOT 3866143 SOS 3301329 HAS SOPS 3239611 HAS SOUS 1230780 HAS SOUPS 1229530 WITH SCORE 1232831.329
AT ITER 9827 NEW BEST:: SOT 3866143 SOS 3301329 HAS SOPS 3239611 HAS SOUS 1230760 HAS SOUPS 1229510 WITH SCORE 1232811.329
AT ITER 9843 NEW BEST:: SOT 3867196 SOS 3302382 HAS SOPS 3240664 HAS SOUS 1230046 HAS SOUPS 1228796 WITH SCORE 1232098.382
AT ITER 9931 NEW BEST:: SOT 3867948 SOS 3293363 HAS SOPS 3231645 HAS SOUS 1222708 HAS SOUPS 1221458 WITH SCORE 1224751.363
AT ITER 9942 NEW BEST:: SOT 3867948 SOS 3292829 HAS SOPS 3231111 HAS SOUS 1222585 HAS SOUPS 1221335 WITH SCORE 1224627.829
AT ITER 9945 NEW BEST:: SOT 3868553 SOS 3285530 HAS SOPS 3223812 HAS SOUS 1218194 HAS SOUPS 1216944 WITH SCORE 1220229.53
AT ITER 9952 NEW BEST:: SOT 3869857 SOS 3286834 HAS SOPS 3225116 HAS SOUS 1217160 HAS SOUPS 1215910 WITH SCORE 1219196.834
AT ITER 9957 NEW BEST:: SOT 3869227 SOS 3286204 HAS SOPS 3224486 HAS SOUS 1216530 HAS SOUPS 1215280 WITH SCORE 1218566.204
AT ITER 9960 NEW BEST:: SOT 3869227 SOS 3286298 HAS SOPS 3224580 HAS SOUS 1216436 HAS SOUPS 1215186 WITH SCORE 1218472.298
AT ITER 9961 NEW BEST:: SOT 3869431 SOS 3286502 HAS SOPS 3224784 HAS SOUS 1216111 HAS SOUPS 1214861 WITH SCORE 1218147.502
AT ITER 9964 NEW BEST:: SOT 3869431 SOS 3286291 HAS SOPS 3224573 HAS SOUS 1215900 HAS SOUPS 1214650 WITH SCORE 1217936.291
AT ITER 9987 NEW BEST:: SOT 3870575 SOS 3287435 HAS SOPS 3225717 HAS SOUS 1215759 HAS SOUPS 1214509 WITH SCORE 1217796.435
AT ITER 9988 NEW BEST:: SOT 3870575 SOS 3287175 HAS SOPS 3225457 HAS SOUS 1215512 HAS SOUPS 1214262 WITH SCORE 1217549.175
AT ITER 9989 NEW BEST:: SOT 3856962 SOS 3314345 HAS SOPS 3270850 HAS SOUS 1215052 HAS SOUPS 1213802 WITH SCORE 1217116.345
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12311132 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151256 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-d2m04"
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-d2m04, 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-167814472200296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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