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.r107-tall-167814484000312.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 smartxred
Input is DBSingleClientW-PT-d2m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000312
=====================================================================

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678359761868

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d2m06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 11:02:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 11:02:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 11:02:43] [INFO ] Load time of PNML (sax parser for PT used): 166 ms
[2023-03-09 11:02:43] [INFO ] Transformed 4763 places.
[2023-03-09 11:02:43] [INFO ] Transformed 2478 transitions.
[2023-03-09 11:02:43] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 253 ms.
[2023-03-09 11:02:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 26 ms.
Total runtime 305 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 2846537 HAS SOPS 2846509 HAS SOUS 2065506 HAS SOUPS 2065478 WITH SCORE 2068324.537
AT ITER 15 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2063568 HAS SOUPS 2063540 WITH SCORE 2066386.537
AT ITER 16 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2063107 HAS SOUPS 2063079 WITH SCORE 2065925.537
AT ITER 29 NEW BEST:: SOT 2906069 SOS 2846612 HAS SOPS 2846584 HAS SOUS 2061926 HAS SOUPS 2061898 WITH SCORE 2064744.612
AT ITER 35 NEW BEST:: SOT 2907083 SOS 2847626 HAS SOPS 2847598 HAS SOUS 2060633 HAS SOUPS 2060605 WITH SCORE 2063452.626
AT ITER 89 NEW BEST:: SOT 2907083 SOS 2847626 HAS SOPS 2847598 HAS SOUS 2059947 HAS SOUPS 2059919 WITH SCORE 2062766.626
AT ITER 101 NEW BEST:: SOT 2908265 SOS 2848808 HAS SOPS 2848780 HAS SOUS 2059800 HAS SOUPS 2059772 WITH SCORE 2062620.808
AT ITER 120 NEW BEST:: SOT 2908265 SOS 2848808 HAS SOPS 2848780 HAS SOUS 2059730 HAS SOUPS 2059702 WITH SCORE 2062550.808
AT ITER 138 NEW BEST:: SOT 2908265 SOS 2848808 HAS SOPS 2848780 HAS SOUS 2059501 HAS SOUPS 2059473 WITH SCORE 2062321.808
AT ITER 168 NEW BEST:: SOT 2909499 SOS 2850042 HAS SOPS 2850014 HAS SOUS 2059463 HAS SOUPS 2059435 WITH SCORE 2062285.042
AT ITER 172 NEW BEST:: SOT 2909499 SOS 2850042 HAS SOPS 2850014 HAS SOUS 2059456 HAS SOUPS 2059428 WITH SCORE 2062278.042
AT ITER 189 NEW BEST:: SOT 2909883 SOS 2850426 HAS SOPS 2850398 HAS SOUS 2059324 HAS SOUPS 2059296 WITH SCORE 2062146.426
AT ITER 195 NEW BEST:: SOT 2910645 SOS 2851188 HAS SOPS 2851160 HAS SOUS 2058161 HAS SOUPS 2058133 WITH SCORE 2060984.188
AT ITER 255 NEW BEST:: SOT 2911325 SOS 2851868 HAS SOPS 2851840 HAS SOUS 2057862 HAS SOUPS 2057834 WITH SCORE 2060685.868
AT ITER 290 NEW BEST:: SOT 2912144 SOS 2852687 HAS SOPS 2852659 HAS SOUS 2057540 HAS SOUPS 2057512 WITH SCORE 2060364.687
AT ITER 316 NEW BEST:: SOT 2912144 SOS 2852687 HAS SOPS 2852659 HAS SOUS 2056894 HAS SOUPS 2056866 WITH SCORE 2059718.687
AT ITER 329 NEW BEST:: SOT 2912144 SOS 2852687 HAS SOPS 2852659 HAS SOUS 2056882 HAS SOUPS 2056854 WITH SCORE 2059706.687
AT ITER 352 NEW BEST:: SOT 2913556 SOS 2854099 HAS SOPS 2854071 HAS SOUS 2053842 HAS SOUPS 2053814 WITH SCORE 2056668.099
AT ITER 354 NEW BEST:: SOT 2913556 SOS 2854099 HAS SOPS 2854071 HAS SOUS 2052678 HAS SOUPS 2052650 WITH SCORE 2055504.099
AT ITER 414 NEW BEST:: SOT 2913840 SOS 2854383 HAS SOPS 2854355 HAS SOUS 2052552 HAS SOUPS 2052524 WITH SCORE 2055378.383
AT ITER 485 NEW BEST:: SOT 2914395 SOS 2854236 HAS SOPS 2854208 HAS SOUS 2052315 HAS SOUPS 2052287 WITH SCORE 2055141.236
AT ITER 486 NEW BEST:: SOT 2914395 SOS 2854236 HAS SOPS 2854208 HAS SOUS 2052310 HAS SOUPS 2052282 WITH SCORE 2055136.236
AT ITER 489 NEW BEST:: SOT 2915853 SOS 2855694 HAS SOPS 2855666 HAS SOUS 2051647 HAS SOUPS 2051619 WITH SCORE 2054474.694
AT ITER 539 NEW BEST:: SOT 2915853 SOS 2855694 HAS SOPS 2855666 HAS SOUS 2051497 HAS SOUPS 2051469 WITH SCORE 2054324.694
AT ITER 555 NEW BEST:: SOT 2916381 SOS 2856222 HAS SOPS 2856194 HAS SOUS 2051098 HAS SOUPS 2051070 WITH SCORE 2053926.222
AT ITER 563 NEW BEST:: SOT 2918937 SOS 2858778 HAS SOPS 2858750 HAS SOUS 2049467 HAS SOUPS 2049439 WITH SCORE 2052297.778
AT ITER 569 NEW BEST:: SOT 2923597 SOS 2863438 HAS SOPS 2863410 HAS SOUS 2047120 HAS SOUPS 2047092 WITH SCORE 2049955.438
AT ITER 634 NEW BEST:: SOT 2923597 SOS 2863438 HAS SOPS 2863410 HAS SOUS 2047034 HAS SOUPS 2047006 WITH SCORE 2049869.438
AT ITER 670 NEW BEST:: SOT 2923597 SOS 2863438 HAS SOPS 2863410 HAS SOUS 2046586 HAS SOUPS 2046558 WITH SCORE 2049421.438
AT ITER 680 NEW BEST:: SOT 2923673 SOS 2863514 HAS SOPS 2863486 HAS SOUS 2046359 HAS SOUPS 2046331 WITH SCORE 2049194.514
AT ITER 692 NEW BEST:: SOT 2923673 SOS 2863514 HAS SOPS 2863486 HAS SOUS 2046315 HAS SOUPS 2046287 WITH SCORE 2049150.514
AT ITER 707 NEW BEST:: SOT 2925297 SOS 2865138 HAS SOPS 2865110 HAS SOUS 2043646 HAS SOUPS 2043618 WITH SCORE 2046483.138
AT ITER 738 NEW BEST:: SOT 2925297 SOS 2849711 HAS SOPS 2849683 HAS SOUS 2043172 HAS SOUPS 2043144 WITH SCORE 2045993.711
AT ITER 784 NEW BEST:: SOT 2925297 SOS 2849711 HAS SOPS 2849683 HAS SOUS 2042182 HAS SOUPS 2042154 WITH SCORE 2045003.711
AT ITER 790 NEW BEST:: SOT 2926393 SOS 2850807 HAS SOPS 2850779 HAS SOUS 2042071 HAS SOUPS 2042043 WITH SCORE 2044893.807
AT ITER 797 NEW BEST:: SOT 2926993 SOS 2851407 HAS SOPS 2851379 HAS SOUS 2041488 HAS SOUPS 2041460 WITH SCORE 2044311.407
AT ITER 817 NEW BEST:: SOT 2927567 SOS 2851981 HAS SOPS 2851953 HAS SOUS 2040057 HAS SOUPS 2040029 WITH SCORE 2042880.981
AT ITER 830 NEW BEST:: SOT 2930756 SOS 2855170 HAS SOPS 2855142 HAS SOUS 2039057 HAS SOUPS 2039029 WITH SCORE 2041884.17
AT ITER 832 NEW BEST:: SOT 2930878 SOS 2855292 HAS SOPS 2855264 HAS SOUS 2038640 HAS SOUPS 2038612 WITH SCORE 2041467.292
AT ITER 844 NEW BEST:: SOT 2930878 SOS 2855292 HAS SOPS 2855264 HAS SOUS 2038183 HAS SOUPS 2038155 WITH SCORE 2041010.292
AT ITER 908 NEW BEST:: SOT 2932618 SOS 2857032 HAS SOPS 2857004 HAS SOUS 2033587 HAS SOUPS 2033559 WITH SCORE 2036416.032
AT ITER 918 NEW BEST:: SOT 2932618 SOS 2857032 HAS SOPS 2857004 HAS SOUS 2031894 HAS SOUPS 2031866 WITH SCORE 2034723.032
AT ITER 920 NEW BEST:: SOT 2932618 SOS 2857032 HAS SOPS 2857004 HAS SOUS 2031429 HAS SOUPS 2031401 WITH SCORE 2034258.032
AT ITER 934 NEW BEST:: SOT 2932968 SOS 2857382 HAS SOPS 2857354 HAS SOUS 2026300 HAS SOUPS 2026272 WITH SCORE 2029129.382
AT ITER 935 NEW BEST:: SOT 2932968 SOS 2857382 HAS SOPS 2857354 HAS SOUS 2025235 HAS SOUPS 2025207 WITH SCORE 2028064.382
AT ITER 942 NEW BEST:: SOT 2932968 SOS 2835088 HAS SOPS 2835060 HAS SOUS 2024781 HAS SOUPS 2024753 WITH SCORE 2027588.088
AT ITER 946 NEW BEST:: SOT 2933306 SOS 2835426 HAS SOPS 2835398 HAS SOUS 2023325 HAS SOUPS 2023297 WITH SCORE 2026132.426
AT ITER 966 NEW BEST:: SOT 2933306 SOS 2835426 HAS SOPS 2835398 HAS SOUS 2023096 HAS SOUPS 2023068 WITH SCORE 2025903.426
AT ITER 985 NEW BEST:: SOT 2933366 SOS 2835486 HAS SOPS 2835458 HAS SOUS 2022839 HAS SOUPS 2022811 WITH SCORE 2025646.486
AT ITER 1003 NEW BEST:: SOT 2933366 SOS 2835486 HAS SOPS 2835458 HAS SOUS 2022679 HAS SOUPS 2022651 WITH SCORE 2025486.486
AT ITER 1043 NEW BEST:: SOT 2933366 SOS 2835486 HAS SOPS 2835458 HAS SOUS 2022097 HAS SOUPS 2022069 WITH SCORE 2024904.486
AT ITER 1078 NEW BEST:: SOT 2935913 SOS 2837513 HAS SOPS 2837485 HAS SOUS 2021588 HAS SOUPS 2021560 WITH SCORE 2024397.513
AT ITER 1092 NEW BEST:: SOT 2939188 SOS 2840788 HAS SOPS 2840760 HAS SOUS 2021218 HAS SOUPS 2021190 WITH SCORE 2024030.788
AT ITER 1101 NEW BEST:: SOT 2942908 SOS 2843517 HAS SOPS 2843489 HAS SOUS 2017242 HAS SOUPS 2017214 WITH SCORE 2020057.517
AT ITER 1102 NEW BEST:: SOT 2944096 SOS 2843779 HAS SOPS 2843751 HAS SOUS 2014455 HAS SOUPS 2014427 WITH SCORE 2017270.779
AT ITER 1122 NEW BEST:: SOT 2946463 SOS 2846146 HAS SOPS 2846118 HAS SOUS 2013858 HAS SOUPS 2013830 WITH SCORE 2016676.146
AT ITER 1124 NEW BEST:: SOT 2946463 SOS 2845445 HAS SOPS 2845417 HAS SOUS 2013443 HAS SOUPS 2013415 WITH SCORE 2016260.445
AT ITER 1151 NEW BEST:: SOT 2946759 SOS 2845741 HAS SOPS 2845713 HAS SOUS 2013345 HAS SOUPS 2013317 WITH SCORE 2016162.741
AT ITER 1172 NEW BEST:: SOT 2947554 SOS 2846536 HAS SOPS 2846508 HAS SOUS 2011641 HAS SOUPS 2011613 WITH SCORE 2014459.536
AT ITER 1174 NEW BEST:: SOT 2950618 SOS 2848622 HAS SOPS 2848594 HAS SOUS 2009692 HAS SOUPS 2009664 WITH SCORE 2012512.622
AT ITER 1213 NEW BEST:: SOT 2950618 SOS 2848622 HAS SOPS 2848594 HAS SOUS 2009629 HAS SOUPS 2009601 WITH SCORE 2012449.622
AT ITER 1215 NEW BEST:: SOT 2953192 SOS 2851196 HAS SOPS 2851168 HAS SOUS 2009097 HAS SOUPS 2009069 WITH SCORE 2011920.196
AT ITER 1225 NEW BEST:: SOT 2953192 SOS 2849845 HAS SOPS 2849817 HAS SOUS 2009044 HAS SOUPS 2009016 WITH SCORE 2011865.845
AT ITER 1248 NEW BEST:: SOT 2954010 SOS 2850663 HAS SOPS 2850635 HAS SOUS 2008761 HAS SOUPS 2008733 WITH SCORE 2011583.663
AT ITER 1259 NEW BEST:: SOT 2953371 SOS 2850024 HAS SOPS 2849996 HAS SOUS 2008686 HAS SOUPS 2008658 WITH SCORE 2011508.024
AT ITER 1262 NEW BEST:: SOT 2956329 SOS 2852134 HAS SOPS 2852106 HAS SOUS 2007335 HAS SOUPS 2007307 WITH SCORE 2010159.134
AT ITER 1282 NEW BEST:: SOT 2957987 SOS 2853792 HAS SOPS 2853764 HAS SOUS 2006319 HAS SOUPS 2006291 WITH SCORE 2009144.792
AT ITER 1344 NEW BEST:: SOT 2958413 SOS 2854218 HAS SOPS 2854190 HAS SOUS 2006234 HAS SOUPS 2006206 WITH SCORE 2009060.218
AT ITER 1360 NEW BEST:: SOT 2958563 SOS 2854368 HAS SOPS 2854340 HAS SOUS 2006047 HAS SOUPS 2006019 WITH SCORE 2008873.368
AT ITER 1374 NEW BEST:: SOT 2958711 SOS 2854516 HAS SOPS 2854488 HAS SOUS 2005179 HAS SOUPS 2005151 WITH SCORE 2008005.516
AT ITER 1375 NEW BEST:: SOT 2959326 SOS 2855131 HAS SOPS 2855103 HAS SOUS 2003849 HAS SOUPS 2003821 WITH SCORE 2006676.131
AT ITER 1402 NEW BEST:: SOT 2960307 SOS 2856112 HAS SOPS 2856084 HAS SOUS 2002543 HAS SOUPS 2002515 WITH SCORE 2005371.112
AT ITER 1410 NEW BEST:: SOT 2960307 SOS 2855415 HAS SOPS 2855387 HAS SOUS 2002100 HAS SOUPS 2002072 WITH SCORE 2004927.415
AT ITER 1430 NEW BEST:: SOT 2960307 SOS 2855174 HAS SOPS 2855146 HAS SOUS 2001618 HAS SOUPS 2001590 WITH SCORE 2004445.174
AT ITER 1432 NEW BEST:: SOT 2961705 SOS 2856572 HAS SOPS 2856544 HAS SOUS 2001524 HAS SOUPS 2001496 WITH SCORE 2004352.572
AT ITER 1441 NEW BEST:: SOT 2963370 SOS 2858237 HAS SOPS 2858209 HAS SOUS 2001513 HAS SOUPS 2001485 WITH SCORE 2004343.237
AT ITER 1452 NEW BEST:: SOT 2965806 SOS 2860673 HAS SOPS 2860645 HAS SOUS 2000677 HAS SOUPS 2000649 WITH SCORE 2003509.673
AT ITER 1499 NEW BEST:: SOT 2965806 SOS 2860673 HAS SOPS 2860645 HAS SOUS 2000471 HAS SOUPS 2000443 WITH SCORE 2003303.673
AT ITER 1504 NEW BEST:: SOT 2969295 SOS 2863324 HAS SOPS 2863296 HAS SOUS 1999495 HAS SOUPS 1999467 WITH SCORE 2002330.324
AT ITER 1512 NEW BEST:: SOT 2969899 SOS 2863928 HAS SOPS 2863900 HAS SOUS 1999013 HAS SOUPS 1998985 WITH SCORE 2001848.928
AT ITER 1519 NEW BEST:: SOT 2969899 SOS 2863199 HAS SOPS 2863171 HAS SOUS 1997953 HAS SOUPS 1997925 WITH SCORE 2000788.199
AT ITER 1540 NEW BEST:: SOT 2969899 SOS 2862368 HAS SOPS 2862340 HAS SOUS 1996465 HAS SOUPS 1996437 WITH SCORE 1999299.368
AT ITER 1550 NEW BEST:: SOT 2969899 SOS 2862303 HAS SOPS 2862275 HAS SOUS 1996335 HAS SOUPS 1996307 WITH SCORE 1999169.303
AT ITER 1563 NEW BEST:: SOT 2969899 SOS 2862303 HAS SOPS 2862275 HAS SOUS 1996333 HAS SOUPS 1996305 WITH SCORE 1999167.303
AT ITER 1573 NEW BEST:: SOT 2972291 SOS 2864695 HAS SOPS 2864667 HAS SOUS 1995995 HAS SOUPS 1995967 WITH SCORE 1998831.695
AT ITER 1576 NEW BEST:: SOT 2975138 SOS 2867542 HAS SOPS 2867514 HAS SOUS 1995680 HAS SOUPS 1995652 WITH SCORE 1998519.542
AT ITER 1597 NEW BEST:: SOT 2978564 SOS 2870131 HAS SOPS 2870103 HAS SOUS 1994485 HAS SOUPS 1994457 WITH SCORE 1997327.131
AT ITER 1613 NEW BEST:: SOT 2978564 SOS 2870131 HAS SOPS 2870103 HAS SOUS 1994420 HAS SOUPS 1994392 WITH SCORE 1997262.131
AT ITER 1656 NEW BEST:: SOT 2980427 SOS 2871994 HAS SOPS 2871966 HAS SOUS 1994142 HAS SOUPS 1994114 WITH SCORE 1996985.994
AT ITER 1660 NEW BEST:: SOT 2984027 SOS 2874738 HAS SOPS 2874710 HAS SOUS 1993145 HAS SOUPS 1993117 WITH SCORE 1995991.738
AT ITER 1677 NEW BEST:: SOT 2990635 SOS 2881346 HAS SOPS 2881318 HAS SOUS 1992095 HAS SOUPS 1992067 WITH SCORE 1994948.346
AT ITER 1699 NEW BEST:: SOT 2995099 SOS 2885810 HAS SOPS 2885782 HAS SOUS 1991942 HAS SOUPS 1991914 WITH SCORE 1994799.81
AT ITER 1737 NEW BEST:: SOT 2999389 SOS 2890100 HAS SOPS 2890072 HAS SOUS 1991737 HAS SOUPS 1991709 WITH SCORE 1994599.1
AT ITER 1756 NEW BEST:: SOT 2998117 SOS 2888828 HAS SOPS 2888800 HAS SOUS 1991737 HAS SOUPS 1991709 WITH SCORE 1994597.828
AT ITER 1770 NEW BEST:: SOT 2999266 SOS 2889977 HAS SOPS 2889949 HAS SOUS 1991487 HAS SOUPS 1991459 WITH SCORE 1994348.977
AT ITER 1771 NEW BEST:: SOT 3003355 SOS 2894066 HAS SOPS 2894038 HAS SOUS 1990543 HAS SOUPS 1990515 WITH SCORE 1993409.066
AT ITER 1791 NEW BEST:: SOT 3004039 SOS 2894750 HAS SOPS 2894722 HAS SOUS 1989963 HAS SOUPS 1989935 WITH SCORE 1992829.75
AT ITER 1793 NEW BEST:: SOT 3009046 SOS 2898830 HAS SOPS 2898802 HAS SOUS 1988848 HAS SOUPS 1988820 WITH SCORE 1991718.83
AT ITER 1798 NEW BEST:: SOT 3009678 SOS 2899462 HAS SOPS 2899434 HAS SOUS 1988447 HAS SOUPS 1988419 WITH SCORE 1991318.462
AT ITER 1801 NEW BEST:: SOT 3009678 SOS 2899462 HAS SOPS 2899434 HAS SOUS 1988384 HAS SOUPS 1988356 WITH SCORE 1991255.462
AT ITER 1829 NEW BEST:: SOT 3012778 SOS 2902562 HAS SOPS 2902534 HAS SOUS 1987561 HAS SOUPS 1987533 WITH SCORE 1990435.562
AT ITER 1845 NEW BEST:: SOT 3012794 SOS 2902578 HAS SOPS 2902550 HAS SOUS 1987216 HAS SOUPS 1987188 WITH SCORE 1990090.578
AT ITER 1850 NEW BEST:: SOT 3012794 SOS 2902578 HAS SOPS 2902550 HAS SOUS 1987177 HAS SOUPS 1987149 WITH SCORE 1990051.578
AT ITER 1889 NEW BEST:: SOT 3012988 SOS 2902772 HAS SOPS 2902744 HAS SOUS 1986937 HAS SOUPS 1986909 WITH SCORE 1989811.772
AT ITER 1909 NEW BEST:: SOT 3012988 SOS 2902772 HAS SOPS 2902744 HAS SOUS 1986587 HAS SOUPS 1986559 WITH SCORE 1989461.772
AT ITER 1919 NEW BEST:: SOT 3007296 SOS 2897080 HAS SOPS 2897052 HAS SOUS 1984265 HAS SOUPS 1984237 WITH SCORE 1987134.08
AT ITER 1925 NEW BEST:: SOT 3007296 SOS 2896699 HAS SOPS 2896671 HAS SOUS 1983361 HAS SOUPS 1983333 WITH SCORE 1986229.699
AT ITER 1947 NEW BEST:: SOT 3007296 SOS 2896699 HAS SOPS 2896671 HAS SOUS 1982300 HAS SOUPS 1982272 WITH SCORE 1985168.699
AT ITER 1966 NEW BEST:: SOT 3010196 SOS 2899599 HAS SOPS 2899571 HAS SOUS 1981379 HAS SOUPS 1981351 WITH SCORE 1984250.599
AT ITER 1970 NEW BEST:: SOT 3010196 SOS 2899599 HAS SOPS 2899571 HAS SOUS 1981169 HAS SOUPS 1981141 WITH SCORE 1984040.599
AT ITER 2030 NEW BEST:: SOT 3010196 SOS 2899599 HAS SOPS 2899571 HAS SOUS 1981141 HAS SOUPS 1981113 WITH SCORE 1984012.599
AT ITER 2126 NEW BEST:: SOT 3011268 SOS 2900671 HAS SOPS 2900643 HAS SOUS 1979374 HAS SOUPS 1979346 WITH SCORE 1982246.671
AT ITER 2138 NEW BEST:: SOT 3011472 SOS 2899893 HAS SOPS 2899865 HAS SOUS 1976751 HAS SOUPS 1976723 WITH SCORE 1979622.893
AT ITER 2143 NEW BEST:: SOT 3011472 SOS 2899835 HAS SOPS 2899807 HAS SOUS 1976751 HAS SOUPS 1976723 WITH SCORE 1979622.835
AT ITER 2144 NEW BEST:: SOT 3011472 SOS 2899835 HAS SOPS 2899807 HAS SOUS 1976690 HAS SOUPS 1976662 WITH SCORE 1979561.835
AT ITER 2145 NEW BEST:: SOT 3012894 SOS 2901257 HAS SOPS 2901229 HAS SOUS 1975941 HAS SOUPS 1975913 WITH SCORE 1978814.257
AT ITER 2166 NEW BEST:: SOT 3013094 SOS 2901457 HAS SOPS 2901429 HAS SOUS 1975676 HAS SOUPS 1975648 WITH SCORE 1978549.457
AT ITER 2185 NEW BEST:: SOT 3013466 SOS 2901829 HAS SOPS 2901801 HAS SOUS 1975176 HAS SOUPS 1975148 WITH SCORE 1978049.829
AT ITER 2227 NEW BEST:: SOT 3019206 SOS 2906318 HAS SOPS 2906290 HAS SOUS 1971722 HAS SOUPS 1971694 WITH SCORE 1974600.318
AT ITER 2233 NEW BEST:: SOT 3019509 SOS 2906621 HAS SOPS 2906593 HAS SOUS 1971671 HAS SOUPS 1971643 WITH SCORE 1974549.621
AT ITER 2243 NEW BEST:: SOT 3019509 SOS 2906621 HAS SOPS 2906593 HAS SOUS 1971315 HAS SOUPS 1971287 WITH SCORE 1974193.621
AT ITER 2250 NEW BEST:: SOT 3019968 SOS 2907080 HAS SOPS 2907052 HAS SOUS 1969920 HAS SOUPS 1969892 WITH SCORE 1972799.08
AT ITER 2271 NEW BEST:: SOT 3017613 SOS 2904725 HAS SOPS 2904697 HAS SOUS 1969135 HAS SOUPS 1969107 WITH SCORE 1972011.725
AT ITER 2284 NEW BEST:: SOT 3017613 SOS 2904476 HAS SOPS 2904448 HAS SOUS 1967783 HAS SOUPS 1967755 WITH SCORE 1970659.476
AT ITER 2298 NEW BEST:: SOT 3017613 SOS 2904100 HAS SOPS 2904072 HAS SOUS 1967721 HAS SOUPS 1967693 WITH SCORE 1970597.1
AT ITER 2307 NEW BEST:: SOT 3018203 SOS 2904690 HAS SOPS 2904662 HAS SOUS 1967136 HAS SOUPS 1967108 WITH SCORE 1970012.69
AT ITER 2308 NEW BEST:: SOT 3019273 SOS 2905058 HAS SOPS 2905030 HAS SOUS 1966845 HAS SOUPS 1966817 WITH SCORE 1969722.058
AT ITER 2314 NEW BEST:: SOT 3019273 SOS 2905058 HAS SOPS 2905030 HAS SOUS 1966563 HAS SOUPS 1966535 WITH SCORE 1969440.058
AT ITER 2345 NEW BEST:: SOT 3020671 SOS 2906456 HAS SOPS 2906428 HAS SOUS 1966428 HAS SOUPS 1966400 WITH SCORE 1969306.456
AT ITER 2388 NEW BEST:: SOT 3020671 SOS 2906146 HAS SOPS 2906118 HAS SOUS 1966118 HAS SOUPS 1966090 WITH SCORE 1968996.146
AT ITER 2416 NEW BEST:: SOT 3020843 SOS 2906318 HAS SOPS 2906290 HAS SOUS 1965922 HAS SOUPS 1965894 WITH SCORE 1968800.318
AT ITER 2454 NEW BEST:: SOT 3020843 SOS 2906127 HAS SOPS 2906099 HAS SOUS 1965298 HAS SOUPS 1965270 WITH SCORE 1968176.127
AT ITER 2458 NEW BEST:: SOT 3020843 SOS 2906189 HAS SOPS 2906161 HAS SOUS 1965236 HAS SOUPS 1965208 WITH SCORE 1968114.189
AT ITER 2468 NEW BEST:: SOT 3020724 SOS 2906070 HAS SOPS 2906042 HAS SOUS 1965117 HAS SOUPS 1965089 WITH SCORE 1967995.07
AT ITER 2474 NEW BEST:: SOT 3020724 SOS 2906070 HAS SOPS 2906042 HAS SOUS 1964831 HAS SOUPS 1964803 WITH SCORE 1967709.07
AT ITER 2486 NEW BEST:: SOT 3020784 SOS 2905728 HAS SOPS 2905700 HAS SOUS 1960767 HAS SOUPS 1960739 WITH SCORE 1963644.728
AT ITER 2519 NEW BEST:: SOT 3020804 SOS 2905748 HAS SOPS 2905720 HAS SOUS 1960583 HAS SOUPS 1960555 WITH SCORE 1963460.748
AT ITER 2522 NEW BEST:: SOT 3020804 SOS 2890362 HAS SOPS 2890334 HAS SOUS 1957123 HAS SOUPS 1957095 WITH SCORE 1959985.362
AT ITER 2535 NEW BEST:: SOT 3020804 SOS 2890362 HAS SOPS 2890334 HAS SOUS 1956995 HAS SOUPS 1956967 WITH SCORE 1959857.362
AT ITER 2564 NEW BEST:: SOT 3022703 SOS 2892261 HAS SOPS 2892233 HAS SOUS 1955984 HAS SOUPS 1955956 WITH SCORE 1958848.261
AT ITER 2568 NEW BEST:: SOT 3022703 SOS 2892261 HAS SOPS 2892233 HAS SOUS 1955948 HAS SOUPS 1955920 WITH SCORE 1958812.261
AT ITER 2601 NEW BEST:: SOT 3023726 SOS 2893284 HAS SOPS 2893256 HAS SOUS 1955454 HAS SOUPS 1955426 WITH SCORE 1958319.284
AT ITER 2602 NEW BEST:: SOT 3023726 SOS 2893172 HAS SOPS 2893144 HAS SOUS 1955215 HAS SOUPS 1955187 WITH SCORE 1958080.172
AT ITER 2610 NEW BEST:: SOT 3021131 SOS 2890577 HAS SOPS 2890549 HAS SOUS 1953756 HAS SOUPS 1953728 WITH SCORE 1956618.577
AT ITER 2615 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1953328 HAS SOUPS 1953300 WITH SCORE 1956194.243
AT ITER 2627 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1952087 HAS SOUPS 1952059 WITH SCORE 1954953.243
AT ITER 2629 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1947748 HAS SOUPS 1947720 WITH SCORE 1950614.243
AT ITER 2634 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1947746 HAS SOUPS 1947718 WITH SCORE 1950612.243
AT ITER 2665 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1944490 HAS SOUPS 1944462 WITH SCORE 1947356.243
AT ITER 2668 NEW BEST:: SOT 3024797 SOS 2894243 HAS SOPS 2894215 HAS SOUS 1944105 HAS SOUPS 1944077 WITH SCORE 1946971.243
AT ITER 2719 NEW BEST:: SOT 3023447 SOS 2892893 HAS SOPS 2892865 HAS SOUS 1943352 HAS SOUPS 1943324 WITH SCORE 1946216.893
AT ITER 2725 NEW BEST:: SOT 3025196 SOS 2894642 HAS SOPS 2894614 HAS SOUS 1942823 HAS SOUPS 1942795 WITH SCORE 1945689.642
AT ITER 2742 NEW BEST:: SOT 3026567 SOS 2896013 HAS SOPS 2895985 HAS SOUS 1942014 HAS SOUPS 1941986 WITH SCORE 1944882.013
AT ITER 2743 NEW BEST:: SOT 3027599 SOS 2897045 HAS SOPS 2897017 HAS SOUS 1941888 HAS SOUPS 1941860 WITH SCORE 1944757.045
AT ITER 2766 NEW BEST:: SOT 3027599 SOS 2897045 HAS SOPS 2897017 HAS SOUS 1941052 HAS SOUPS 1941024 WITH SCORE 1943921.045
AT ITER 2779 NEW BEST:: SOT 3028663 SOS 2898109 HAS SOPS 2898081 HAS SOUS 1940969 HAS SOUPS 1940941 WITH SCORE 1943839.109
AT ITER 2793 NEW BEST:: SOT 3028663 SOS 2898109 HAS SOPS 2898081 HAS SOUS 1940713 HAS SOUPS 1940685 WITH SCORE 1943583.109
AT ITER 2814 NEW BEST:: SOT 3028663 SOS 2898109 HAS SOPS 2898081 HAS SOUS 1940219 HAS SOUPS 1940191 WITH SCORE 1943089.109
AT ITER 2838 NEW BEST:: SOT 3028663 SOS 2897805 HAS SOPS 2897777 HAS SOUS 1939318 HAS SOUPS 1939290 WITH SCORE 1942187.805
AT ITER 2862 NEW BEST:: SOT 3028663 SOS 2897805 HAS SOPS 2897777 HAS SOUS 1938988 HAS SOUPS 1938960 WITH SCORE 1941857.805
AT ITER 2869 NEW BEST:: SOT 3028663 SOS 2897805 HAS SOPS 2897777 HAS SOUS 1938944 HAS SOUPS 1938916 WITH SCORE 1941813.805
AT ITER 2884 NEW BEST:: SOT 3028663 SOS 2897805 HAS SOPS 2897777 HAS SOUS 1938302 HAS SOUPS 1938274 WITH SCORE 1941171.805
AT ITER 2946 NEW BEST:: SOT 3027709 SOS 2896851 HAS SOPS 2896823 HAS SOUS 1937666 HAS SOUPS 1937638 WITH SCORE 1940534.851
AT ITER 2973 NEW BEST:: SOT 3028159 SOS 2897301 HAS SOPS 2897273 HAS SOUS 1936404 HAS SOUPS 1936376 WITH SCORE 1939273.301
AT ITER 3000 NEW BEST:: SOT 3028159 SOS 2897301 HAS SOPS 2897273 HAS SOUS 1936313 HAS SOUPS 1936285 WITH SCORE 1939182.301
AT ITER 3033 NEW BEST:: SOT 3030838 SOS 2899710 HAS SOPS 2899682 HAS SOUS 1935660 HAS SOUPS 1935632 WITH SCORE 1938531.71
AT ITER 3037 NEW BEST:: SOT 3031546 SOS 2900418 HAS SOPS 2900390 HAS SOUS 1935659 HAS SOUPS 1935631 WITH SCORE 1938531.418
AT ITER 3042 NEW BEST:: SOT 3036805 SOS 2871591 HAS SOPS 2868822 HAS SOUS 1916898 HAS SOUPS 1916711 WITH SCORE 1919582.591
AT ITER 3068 NEW BEST:: SOT 3039529 SOS 2874315 HAS SOPS 2871546 HAS SOUS 1915411 HAS SOUPS 1915224 WITH SCORE 1918098.315
AT ITER 3074 NEW BEST:: SOT 3039529 SOS 2874227 HAS SOPS 2871458 HAS SOUS 1915323 HAS SOUPS 1915136 WITH SCORE 1918010.227
AT ITER 3080 NEW BEST:: SOT 3039529 SOS 2874227 HAS SOPS 2871458 HAS SOUS 1915209 HAS SOUPS 1915022 WITH SCORE 1917896.227
AT ITER 3102 NEW BEST:: SOT 3039529 SOS 2871456 HAS SOPS 2868687 HAS SOUS 1915106 HAS SOUPS 1914919 WITH SCORE 1917790.456
AT ITER 3118 NEW BEST:: SOT 3039529 SOS 2871532 HAS SOPS 2868763 HAS SOUS 1915030 HAS SOUPS 1914843 WITH SCORE 1917714.532
AT ITER 3133 NEW BEST:: SOT 3042730 SOS 2874327 HAS SOPS 2871558 HAS SOUS 1909461 HAS SOUPS 1909274 WITH SCORE 1912148.327
AT ITER 3146 NEW BEST:: SOT 3042730 SOS 2874327 HAS SOPS 2871558 HAS SOUS 1909458 HAS SOUPS 1909271 WITH SCORE 1912145.327
AT ITER 3152 NEW BEST:: SOT 3053312 SOS 2884893 HAS SOPS 2882124 HAS SOUS 1905977 HAS SOUPS 1905790 WITH SCORE 1908674.893
AT ITER 3155 NEW BEST:: SOT 3053312 SOS 2884893 HAS SOPS 2882124 HAS SOUS 1905975 HAS SOUPS 1905788 WITH SCORE 1908672.893
AT ITER 3156 NEW BEST:: SOT 3053312 SOS 2884893 HAS SOPS 2882124 HAS SOUS 1905945 HAS SOUPS 1905758 WITH SCORE 1908642.893
AT ITER 3191 NEW BEST:: SOT 3053498 SOS 2884917 HAS SOPS 2882148 HAS SOUS 1903851 HAS SOUPS 1903664 WITH SCORE 1906548.917
AT ITER 3193 NEW BEST:: SOT 3054331 SOS 2884033 HAS SOPS 2881104 HAS SOUS 1902617 HAS SOUPS 1902430 WITH SCORE 1905314.033
AT ITER 3203 NEW BEST:: SOT 3054331 SOS 2883340 HAS SOPS 2880411 HAS SOUS 1902499 HAS SOUPS 1902312 WITH SCORE 1905195.34
AT ITER 3205 NEW BEST:: SOT 3054331 SOS 2883340 HAS SOPS 2880411 HAS SOUS 1902497 HAS SOUPS 1902310 WITH SCORE 1905193.34
AT ITER 3210 NEW BEST:: SOT 3054331 SOS 2883186 HAS SOPS 2880257 HAS SOUS 1902241 HAS SOUPS 1902054 WITH SCORE 1904937.186
AT ITER 3223 NEW BEST:: SOT 3054849 SOS 2883704 HAS SOPS 2880775 HAS SOUS 1902236 HAS SOUPS 1902049 WITH SCORE 1904932.704
AT ITER 3240 NEW BEST:: SOT 3073521 SOS 2901512 HAS SOPS 2898583 HAS SOUS 1899936 HAS SOUPS 1899749 WITH SCORE 1902650.512
AT ITER 3275 NEW BEST:: SOT 3073995 SOS 2901986 HAS SOPS 2899057 HAS SOUS 1898661 HAS SOUPS 1898474 WITH SCORE 1901375.986
AT ITER 3276 NEW BEST:: SOT 3078705 SOS 2906696 HAS SOPS 2903767 HAS SOUS 1895918 HAS SOUPS 1895731 WITH SCORE 1898637.696
AT ITER 3283 NEW BEST:: SOT 3078705 SOS 2906533 HAS SOPS 2903604 HAS SOUS 1895566 HAS SOUPS 1895379 WITH SCORE 1898285.533
AT ITER 3335 NEW BEST:: SOT 3076389 SOS 2904217 HAS SOPS 2901288 HAS SOUS 1894794 HAS SOUPS 1894607 WITH SCORE 1897511.217
AT ITER 3336 NEW BEST:: SOT 3076389 SOS 2904217 HAS SOPS 2901288 HAS SOUS 1894765 HAS SOUPS 1894578 WITH SCORE 1897482.217
AT ITER 3361 NEW BEST:: SOT 3076389 SOS 2904217 HAS SOPS 2901288 HAS SOUS 1894317 HAS SOUPS 1894130 WITH SCORE 1897034.217
AT ITER 3374 NEW BEST:: SOT 3076701 SOS 2904529 HAS SOPS 2901600 HAS SOUS 1894260 HAS SOUPS 1894073 WITH SCORE 1896977.529
AT ITER 3387 NEW BEST:: SOT 3080376 SOS 2908204 HAS SOPS 2905275 HAS SOUS 1893183 HAS SOUPS 1892996 WITH SCORE 1895904.204
AT ITER 3400 NEW BEST:: SOT 3082229 SOS 2910057 HAS SOPS 2907128 HAS SOUS 1893049 HAS SOUPS 1892862 WITH SCORE 1895772.057
AT ITER 3423 NEW BEST:: SOT 3083337 SOS 2911165 HAS SOPS 2908236 HAS SOUS 1892992 HAS SOUPS 1892805 WITH SCORE 1895716.165
AT ITER 3450 NEW BEST:: SOT 3104361 SOS 2932156 HAS SOPS 2929227 HAS SOUS 1887140 HAS SOUPS 1886953 WITH SCORE 1889885.156
AT ITER 3489 NEW BEST:: SOT 3104361 SOS 2931512 HAS SOPS 2928583 HAS SOUS 1886876 HAS SOUPS 1886689 WITH SCORE 1889620.512
AT ITER 3513 NEW BEST:: SOT 3105781 SOS 2932174 HAS SOPS 2929245 HAS SOUS 1882494 HAS SOUPS 1882307 WITH SCORE 1885239.174
AT ITER 3518 NEW BEST:: SOT 3105781 SOS 2929742 HAS SOPS 2926813 HAS SOUS 1875098 HAS SOUPS 1874911 WITH SCORE 1877840.742
AT ITER 3526 NEW BEST:: SOT 3107111 SOS 2931072 HAS SOPS 2928143 HAS SOUS 1875005 HAS SOUPS 1874818 WITH SCORE 1877749.072
AT ITER 3535 NEW BEST:: SOT 3107867 SOS 2931828 HAS SOPS 2928899 HAS SOUS 1874688 HAS SOUPS 1874501 WITH SCORE 1877432.828
AT ITER 3539 NEW BEST:: SOT 3108145 SOS 2932106 HAS SOPS 2929177 HAS SOUS 1874532 HAS SOUPS 1874345 WITH SCORE 1877277.106
AT ITER 3555 NEW BEST:: SOT 3130420 SOS 2954381 HAS SOPS 2951452 HAS SOUS 1871342 HAS SOUPS 1871155 WITH SCORE 1874109.381
AT ITER 3561 NEW BEST:: SOT 3130896 SOS 2954857 HAS SOPS 2951928 HAS SOUS 1870117 HAS SOUPS 1869930 WITH SCORE 1872884.857
AT ITER 3574 NEW BEST:: SOT 3130896 SOS 2954663 HAS SOPS 2951734 HAS SOUS 1869772 HAS SOUPS 1869585 WITH SCORE 1872539.663
AT ITER 3589 NEW BEST:: SOT 3132360 SOS 2956127 HAS SOPS 2953198 HAS SOUS 1869374 HAS SOUPS 1869187 WITH SCORE 1872143.127
AT ITER 3590 NEW BEST:: SOT 3134396 SOS 2957848 HAS SOPS 2954919 HAS SOUS 1866643 HAS SOUPS 1866456 WITH SCORE 1869413.848
AT ITER 3605 NEW BEST:: SOT 3134396 SOS 2957848 HAS SOPS 2954919 HAS SOUS 1866635 HAS SOUPS 1866448 WITH SCORE 1869405.848
AT ITER 3610 NEW BEST:: SOT 3134396 SOS 2957458 HAS SOPS 2954529 HAS SOUS 1866440 HAS SOUPS 1866253 WITH SCORE 1869210.458
AT ITER 3616 NEW BEST:: SOT 3134925 SOS 2957987 HAS SOPS 2955058 HAS SOUS 1865856 HAS SOUPS 1865669 WITH SCORE 1868626.987
AT ITER 3629 NEW BEST:: SOT 3134925 SOS 2950867 HAS SOPS 2947938 HAS SOUS 1862398 HAS SOUPS 1862211 WITH SCORE 1865161.867
AT ITER 3637 NEW BEST:: SOT 3138297 SOS 2954040 HAS SOPS 2951111 HAS SOUS 1861700 HAS SOUPS 1861513 WITH SCORE 1864467.04
AT ITER 3649 NEW BEST:: SOT 3138709 SOS 2954452 HAS SOPS 2951523 HAS SOUS 1861143 HAS SOUPS 1860956 WITH SCORE 1863910.452
AT ITER 3655 NEW BEST:: SOT 3138709 SOS 2954452 HAS SOPS 2951523 HAS SOUS 1860757 HAS SOUPS 1860570 WITH SCORE 1863524.452
AT ITER 3658 NEW BEST:: SOT 3138283 SOS 2954026 HAS SOPS 2951097 HAS SOUS 1860331 HAS SOUPS 1860144 WITH SCORE 1863098.026
AT ITER 3678 NEW BEST:: SOT 3144367 SOS 2959334 HAS SOPS 2956405 HAS SOUS 1850303 HAS SOUPS 1850116 WITH SCORE 1853075.334
AT ITER 3696 NEW BEST:: SOT 3147491 SOS 2962458 HAS SOPS 2959529 HAS SOUS 1849494 HAS SOUPS 1849307 WITH SCORE 1852269.458
AT ITER 3704 NEW BEST:: SOT 3143564 SOS 2958531 HAS SOPS 2955602 HAS SOUS 1849137 HAS SOUPS 1848950 WITH SCORE 1851908.531
AT ITER 3710 NEW BEST:: SOT 3144264 SOS 2959231 HAS SOPS 2956302 HAS SOUS 1848505 HAS SOUPS 1848318 WITH SCORE 1851277.231
AT ITER 3719 NEW BEST:: SOT 3144264 SOS 2959033 HAS SOPS 2956104 HAS SOUS 1847817 HAS SOUPS 1847630 WITH SCORE 1850589.033
AT ITER 3738 NEW BEST:: SOT 3144496 SOS 2959265 HAS SOPS 2956336 HAS SOUS 1847226 HAS SOUPS 1847039 WITH SCORE 1849998.265
AT ITER 3747 NEW BEST:: SOT 3147538 SOS 2961721 HAS SOPS 2958792 HAS SOUS 1845047 HAS SOUPS 1844860 WITH SCORE 1847821.721
AT ITER 3766 NEW BEST:: SOT 3156982 SOS 2970303 HAS SOPS 2967374 HAS SOUS 1835289 HAS SOUPS 1835102 WITH SCORE 1838072.303
AT ITER 3767 NEW BEST:: SOT 3156982 SOS 2970280 HAS SOPS 2967351 HAS SOUS 1833801 HAS SOUPS 1833614 WITH SCORE 1836584.28
AT ITER 3771 NEW BEST:: SOT 3160534 SOS 2972966 HAS SOPS 2970037 HAS SOUS 1823097 HAS SOUPS 1822910 WITH SCORE 1825882.966
AT ITER 3826 NEW BEST:: SOT 3161192 SOS 2972943 HAS SOPS 2969356 HAS SOUS 1822893 HAS SOUPS 1822208 WITH SCORE 1825180.943
AT ITER 3830 NEW BEST:: SOT 3161192 SOS 2972089 HAS SOPS 2968502 HAS SOUS 1821674 HAS SOUPS 1820989 WITH SCORE 1823961.089
AT ITER 3834 NEW BEST:: SOT 3165692 SOS 2976589 HAS SOPS 2973002 HAS SOUS 1818846 HAS SOUPS 1818161 WITH SCORE 1821137.589
AT ITER 3847 NEW BEST:: SOT 3182936 SOS 2993515 HAS SOPS 2989928 HAS SOUS 1810622 HAS SOUPS 1809937 WITH SCORE 1812930.515
AT ITER 3850 NEW BEST:: SOT 3184199 SOS 2994778 HAS SOPS 2991191 HAS SOUS 1808977 HAS SOUPS 1808292 WITH SCORE 1811286.778
AT ITER 3881 NEW BEST:: SOT 3185322 SOS 2995219 HAS SOPS 2990509 HAS SOUS 1808726 HAS SOUPS 1807576 WITH SCORE 1810571.219
AT ITER 3893 NEW BEST:: SOT 3203164 SOS 3013019 HAS SOPS 3008309 HAS SOUS 1799398 HAS SOUPS 1798248 WITH SCORE 1801261.019
AT ITER 3896 NEW BEST:: SOT 3206773 SOS 3016628 HAS SOPS 3011918 HAS SOUS 1799176 HAS SOUPS 1798026 WITH SCORE 1801042.628
AT ITER 3900 NEW BEST:: SOT 3206773 SOS 3016628 HAS SOPS 3011918 HAS SOUS 1798096 HAS SOUPS 1796946 WITH SCORE 1799962.628
AT ITER 3905 NEW BEST:: SOT 3206773 SOS 3015467 HAS SOPS 3010757 HAS SOUS 1797071 HAS SOUPS 1795921 WITH SCORE 1798936.467
AT ITER 3917 NEW BEST:: SOT 3206567 SOS 3015261 HAS SOPS 3010551 HAS SOUS 1796910 HAS SOUPS 1795760 WITH SCORE 1798775.261
AT ITER 3919 NEW BEST:: SOT 3206567 SOS 3015261 HAS SOPS 3010551 HAS SOUS 1796886 HAS SOUPS 1795736 WITH SCORE 1798751.261
AT ITER 3927 NEW BEST:: SOT 3206567 SOS 3014890 HAS SOPS 3010180 HAS SOUS 1796746 HAS SOUPS 1795596 WITH SCORE 1798610.89
AT ITER 3971 NEW BEST:: SOT 3206567 SOS 3014890 HAS SOPS 3010180 HAS SOUS 1796705 HAS SOUPS 1795555 WITH SCORE 1798569.89
AT ITER 3972 NEW BEST:: SOT 3206567 SOS 3014890 HAS SOPS 3010180 HAS SOUS 1796285 HAS SOUPS 1795135 WITH SCORE 1798149.89
AT ITER 4044 NEW BEST:: SOT 3207929 SOS 3016252 HAS SOPS 3011542 HAS SOUS 1795959 HAS SOUPS 1794809 WITH SCORE 1797825.252
AT ITER 4062 NEW BEST:: SOT 3209224 SOS 3016846 HAS SOPS 3012136 HAS SOUS 1795897 HAS SOUPS 1794747 WITH SCORE 1797763.846
AT ITER 4067 NEW BEST:: SOT 3210271 SOS 3017893 HAS SOPS 3013183 HAS SOUS 1795016 HAS SOUPS 1793866 WITH SCORE 1796883.893
AT ITER 4101 NEW BEST:: SOT 3210271 SOS 3017177 HAS SOPS 3012467 HAS SOUS 1794362 HAS SOUPS 1793212 WITH SCORE 1796229.177
AT ITER 4107 NEW BEST:: SOT 3210455 SOS 3017361 HAS SOPS 3012651 HAS SOUS 1793999 HAS SOUPS 1792849 WITH SCORE 1795866.361
AT ITER 4158 NEW BEST:: SOT 3214850 SOS 3020968 HAS SOPS 3016258 HAS SOUS 1790495 HAS SOUPS 1789345 WITH SCORE 1792365.968
AT ITER 4163 NEW BEST:: SOT 3214850 SOS 3020948 HAS SOPS 3016238 HAS SOUS 1788704 HAS SOUPS 1787554 WITH SCORE 1790574.948
AT ITER 4190 NEW BEST:: SOT 3215165 SOS 3021070 HAS SOPS 3016360 HAS SOUS 1786604 HAS SOUPS 1785454 WITH SCORE 1788475.07
AT ITER 4202 NEW BEST:: SOT 3215331 SOS 3021236 HAS SOPS 3016526 HAS SOUS 1786398 HAS SOUPS 1785248 WITH SCORE 1788269.236
AT ITER 4222 NEW BEST:: SOT 3215331 SOS 3021236 HAS SOPS 3016526 HAS SOUS 1786336 HAS SOUPS 1785186 WITH SCORE 1788207.236
AT ITER 4227 NEW BEST:: SOT 3215511 SOS 3021351 HAS SOPS 3016641 HAS SOUS 1784277 HAS SOUPS 1783127 WITH SCORE 1786148.351
AT ITER 4241 NEW BEST:: SOT 3215945 SOS 3020088 HAS SOPS 3015218 HAS SOUS 1782827 HAS SOUPS 1781677 WITH SCORE 1784697.088
AT ITER 4251 NEW BEST:: SOT 3215945 SOS 3020088 HAS SOPS 3015218 HAS SOUS 1782769 HAS SOUPS 1781619 WITH SCORE 1784639.088
AT ITER 4272 NEW BEST:: SOT 3215945 SOS 3017765 HAS SOPS 3012895 HAS SOUS 1780605 HAS SOUPS 1779455 WITH SCORE 1782472.765
AT ITER 4313 NEW BEST:: SOT 3216269 SOS 3018089 HAS SOPS 3013219 HAS SOUS 1780461 HAS SOUPS 1779311 WITH SCORE 1782329.089
AT ITER 4314 NEW BEST:: SOT 3216643 SOS 3018463 HAS SOPS 3013593 HAS SOUS 1780447 HAS SOUPS 1779297 WITH SCORE 1782315.463
AT ITER 4324 NEW BEST:: SOT 3217365 SOS 3017874 HAS SOPS 3012844 HAS SOUS 1779481 HAS SOUPS 1778331 WITH SCORE 1781348.874
AT ITER 4335 NEW BEST:: SOT 3217908 SOS 3018417 HAS SOPS 3013387 HAS SOUS 1778434 HAS SOUPS 1777284 WITH SCORE 1780302.417
AT ITER 4342 NEW BEST:: SOT 3217908 SOS 3002180 HAS SOPS 2997150 HAS SOUS 1776440 HAS SOUPS 1775290 WITH SCORE 1778292.18
AT ITER 4388 NEW BEST:: SOT 3217908 SOS 3002087 HAS SOPS 2997057 HAS SOUS 1776395 HAS SOUPS 1775245 WITH SCORE 1778247.087
AT ITER 4400 NEW BEST:: SOT 3218514 SOS 3002693 HAS SOPS 2997663 HAS SOUS 1776188 HAS SOUPS 1775038 WITH SCORE 1778040.693
AT ITER 4440 NEW BEST:: SOT 3226446 SOS 3010593 HAS SOPS 3005563 HAS SOUS 1766193 HAS SOUPS 1765043 WITH SCORE 1768053.593
AT ITER 4442 NEW BEST:: SOT 3226446 SOS 3010593 HAS SOPS 3005563 HAS SOUS 1765821 HAS SOUPS 1764671 WITH SCORE 1767681.593
AT ITER 4448 NEW BEST:: SOT 3226582 SOS 3010729 HAS SOPS 3005699 HAS SOUS 1765548 HAS SOUPS 1764398 WITH SCORE 1767408.729
AT ITER 4537 NEW BEST:: SOT 3228770 SOS 3012373 HAS SOPS 3007343 HAS SOUS 1763777 HAS SOUPS 1762627 WITH SCORE 1765639.373
AT ITER 4556 NEW BEST:: SOT 3230704 SOS 3012616 HAS SOPS 3007426 HAS SOUS 1762939 HAS SOUPS 1761789 WITH SCORE 1764801.616
AT ITER 4566 NEW BEST:: SOT 3258748 SOS 3039796 HAS SOPS 3034606 HAS SOUS 1759419 HAS SOUPS 1758269 WITH SCORE 1761308.796
AT ITER 4569 NEW BEST:: SOT 3273026 SOS 3054055 HAS SOPS 3048865 HAS SOUS 1749540 HAS SOUPS 1748390 WITH SCORE 1751444.055
AT ITER 4572 NEW BEST:: SOT 3273026 SOS 3052996 HAS SOPS 3047806 HAS SOUS 1749201 HAS SOUPS 1748051 WITH SCORE 1751103.996
AT ITER 4597 NEW BEST:: SOT 3273362 SOS 3053332 HAS SOPS 3048142 HAS SOUS 1748966 HAS SOUPS 1747816 WITH SCORE 1750869.332
AT ITER 4672 NEW BEST:: SOT 3273832 SOS 3053802 HAS SOPS 3048612 HAS SOUS 1748065 HAS SOUPS 1746915 WITH SCORE 1749968.802
AT ITER 4691 NEW BEST:: SOT 3273832 SOS 3053802 HAS SOPS 3048612 HAS SOUS 1747729 HAS SOUPS 1746579 WITH SCORE 1749632.802
AT ITER 4697 NEW BEST:: SOT 3273832 SOS 3053802 HAS SOPS 3048612 HAS SOUS 1745661 HAS SOUPS 1744511 WITH SCORE 1747564.802
AT ITER 4721 NEW BEST:: SOT 3275088 SOS 3055058 HAS SOPS 3049868 HAS SOUS 1745518 HAS SOUPS 1744368 WITH SCORE 1747423.058
AT ITER 4771 NEW BEST:: SOT 3276822 SOS 3056792 HAS SOPS 3051602 HAS SOUS 1745471 HAS SOUPS 1744321 WITH SCORE 1747377.792
AT ITER 4778 NEW BEST:: SOT 3276822 SOS 3056957 HAS SOPS 3051767 HAS SOUS 1745050 HAS SOUPS 1743900 WITH SCORE 1746956.957
AT ITER 4787 NEW BEST:: SOT 3276985 SOS 3057120 HAS SOPS 3051930 HAS SOUS 1744909 HAS SOUPS 1743759 WITH SCORE 1746816.12
AT ITER 4801 NEW BEST:: SOT 3276985 SOS 3057120 HAS SOPS 3051930 HAS SOUS 1744907 HAS SOUPS 1743757 WITH SCORE 1746814.12
AT ITER 4831 NEW BEST:: SOT 3281122 SOS 3061257 HAS SOPS 3056067 HAS SOUS 1744568 HAS SOUPS 1743418 WITH SCORE 1746479.257
AT ITER 4841 NEW BEST:: SOT 3282325 SOS 3062460 HAS SOPS 3057270 HAS SOUS 1744363 HAS SOUPS 1743213 WITH SCORE 1746275.46
AT ITER 4843 NEW BEST:: SOT 3284566 SOS 3064701 HAS SOPS 3059511 HAS SOUS 1744306 HAS SOUPS 1743156 WITH SCORE 1746220.701
AT ITER 4854 NEW BEST:: SOT 3284631 SOS 3032905 HAS SOPS 3027700 HAS SOUS 1743888 HAS SOUPS 1742738 WITH SCORE 1745770.905
AT ITER 4857 NEW BEST:: SOT 3284631 SOS 3032905 HAS SOPS 3027700 HAS SOUS 1743812 HAS SOUPS 1742662 WITH SCORE 1745694.905
AT ITER 4875 NEW BEST:: SOT 3284631 SOS 3032743 HAS SOPS 3027538 HAS SOUS 1743174 HAS SOUPS 1742024 WITH SCORE 1745056.743
AT ITER 4899 NEW BEST:: SOT 3284631 SOS 3032565 HAS SOPS 3027360 HAS SOUS 1742271 HAS SOUPS 1741121 WITH SCORE 1744153.565
AT ITER 4912 NEW BEST:: SOT 3284959 SOS 3032439 HAS SOPS 3027234 HAS SOUS 1742129 HAS SOUPS 1740979 WITH SCORE 1744011.439
AT ITER 4923 NEW BEST:: SOT 3285253 SOS 3032733 HAS SOPS 3027528 HAS SOUS 1742085 HAS SOUPS 1740935 WITH SCORE 1743967.733
AT ITER 4926 NEW BEST:: SOT 3285253 SOS 3032707 HAS SOPS 3027502 HAS SOUS 1742059 HAS SOUPS 1740909 WITH SCORE 1743941.707
AT ITER 4931 NEW BEST:: SOT 3284693 SOS 3032147 HAS SOPS 3026942 HAS SOUS 1741835 HAS SOUPS 1740685 WITH SCORE 1743717.147
AT ITER 4944 NEW BEST:: SOT 3284667 SOS 3032121 HAS SOPS 3026916 HAS SOUS 1741822 HAS SOUPS 1740672 WITH SCORE 1743704.121
AT ITER 4948 NEW BEST:: SOT 3283728 SOS 3031182 HAS SOPS 3025977 HAS SOUS 1741509 HAS SOUPS 1740359 WITH SCORE 1743390.182
AT ITER 4982 NEW BEST:: SOT 3283992 SOS 3031304 HAS SOPS 3026097 HAS SOUS 1741478 HAS SOUPS 1740328 WITH SCORE 1743359.304
AT ITER 5002 NEW BEST:: SOT 3287286 SOS 3034598 HAS SOPS 3029391 HAS SOUS 1740920 HAS SOUPS 1739770 WITH SCORE 1742804.598
AT ITER 5015 NEW BEST:: SOT 3287286 SOS 3034598 HAS SOPS 3029391 HAS SOUS 1740850 HAS SOUPS 1739700 WITH SCORE 1742734.598
AT ITER 5024 NEW BEST:: SOT 3294226 SOS 3040496 HAS SOPS 3035289 HAS SOUS 1739363 HAS SOUPS 1738213 WITH SCORE 1741253.496
AT ITER 5027 NEW BEST:: SOT 3294226 SOS 3040496 HAS SOPS 3035289 HAS SOUS 1739358 HAS SOUPS 1738208 WITH SCORE 1741248.496
AT ITER 5037 NEW BEST:: SOT 3294797 SOS 3041067 HAS SOPS 3035860 HAS SOUS 1739224 HAS SOUPS 1738074 WITH SCORE 1741115.067
AT ITER 5047 NEW BEST:: SOT 3294464 SOS 3040669 HAS SOPS 3035462 HAS SOUS 1738679 HAS SOUPS 1737529 WITH SCORE 1740569.669
AT ITER 5062 NEW BEST:: SOT 3294776 SOS 3039807 HAS SOPS 3034600 HAS SOUS 1738106 HAS SOUPS 1736956 WITH SCORE 1739995.807
AT ITER 5071 NEW BEST:: SOT 3307756 SOS 3052787 HAS SOPS 3047580 HAS SOUS 1730636 HAS SOUPS 1729486 WITH SCORE 1732538.787
AT ITER 5099 NEW BEST:: SOT 3308028 SOS 3053059 HAS SOPS 3047852 HAS SOUS 1730458 HAS SOUPS 1729308 WITH SCORE 1732361.059
AT ITER 5100 NEW BEST:: SOT 3308028 SOS 3053059 HAS SOPS 3047852 HAS SOUS 1730262 HAS SOUPS 1729112 WITH SCORE 1732165.059
AT ITER 5107 NEW BEST:: SOT 3309055 SOS 3054086 HAS SOPS 3048879 HAS SOUS 1729575 HAS SOUPS 1728425 WITH SCORE 1731479.086
AT ITER 5113 NEW BEST:: SOT 3309055 SOS 3052780 HAS SOPS 3047573 HAS SOUS 1728651 HAS SOUPS 1727501 WITH SCORE 1730553.78
AT ITER 5141 NEW BEST:: SOT 3309055 SOS 3052780 HAS SOPS 3047573 HAS SOUS 1728635 HAS SOUPS 1727485 WITH SCORE 1730537.78
AT ITER 5150 NEW BEST:: SOT 3310325 SOS 3054050 HAS SOPS 3048843 HAS SOUS 1728401 HAS SOUPS 1727251 WITH SCORE 1730305.05
AT ITER 5163 NEW BEST:: SOT 3310403 SOS 3054022 HAS SOPS 3048815 HAS SOUS 1727804 HAS SOUPS 1726654 WITH SCORE 1729708.022
AT ITER 5170 NEW BEST:: SOT 3310403 SOS 3044769 HAS SOPS 3039562 HAS SOUS 1727586 HAS SOUPS 1726436 WITH SCORE 1729480.769
AT ITER 5187 NEW BEST:: SOT 3341603 SOS 3074751 HAS SOPS 3069544 HAS SOUS 1724079 HAS SOUPS 1722929 WITH SCORE 1726003.751
AT ITER 5198 NEW BEST:: SOT 3341603 SOS 3074448 HAS SOPS 3069241 HAS SOUS 1722867 HAS SOUPS 1721717 WITH SCORE 1724791.448
AT ITER 5199 NEW BEST:: SOT 3343523 SOS 3076368 HAS SOPS 3071161 HAS SOUS 1722367 HAS SOUPS 1721217 WITH SCORE 1724293.368
AT ITER 5263 NEW BEST:: SOT 3343523 SOS 3075844 HAS SOPS 3070637 HAS SOUS 1722367 HAS SOUPS 1721217 WITH SCORE 1724292.844
AT ITER 5266 NEW BEST:: SOT 3340214 SOS 3072535 HAS SOPS 3067328 HAS SOUS 1721264 HAS SOUPS 1720114 WITH SCORE 1723186.535
AT ITER 5284 NEW BEST:: SOT 3341588 SOS 3073909 HAS SOPS 3068702 HAS SOUS 1721227 HAS SOUPS 1720077 WITH SCORE 1723150.909
AT ITER 5298 NEW BEST:: SOT 3339036 SOS 3071357 HAS SOPS 3066150 HAS SOUS 1720995 HAS SOUPS 1719845 WITH SCORE 1722916.357
AT ITER 5311 NEW BEST:: SOT 3339036 SOS 3071113 HAS SOPS 3065906 HAS SOUS 1720995 HAS SOUPS 1719845 WITH SCORE 1722916.113
AT ITER 5348 NEW BEST:: SOT 3343611 SOS 3075506 HAS SOPS 3070299 HAS SOUS 1720672 HAS SOUPS 1719522 WITH SCORE 1722597.506
AT ITER 5352 NEW BEST:: SOT 3343679 SOS 3075574 HAS SOPS 3070367 HAS SOUS 1720462 HAS SOUPS 1719312 WITH SCORE 1722387.574
AT ITER 5394 NEW BEST:: SOT 3346483 SOS 3076707 HAS SOPS 3071340 HAS SOUS 1719790 HAS SOUPS 1718640 WITH SCORE 1721716.707
AT ITER 5402 NEW BEST:: SOT 3347719 SOS 3077943 HAS SOPS 3072576 HAS SOUS 1719730 HAS SOUPS 1718580 WITH SCORE 1721657.943
AT ITER 5412 NEW BEST:: SOT 3347805 SOS 3078029 HAS SOPS 3072662 HAS SOUS 1719265 HAS SOUPS 1718115 WITH SCORE 1721193.029
AT ITER 5438 NEW BEST:: SOT 3348753 SOS 3078787 HAS SOPS 3073420 HAS SOUS 1717987 HAS SOUPS 1716837 WITH SCORE 1719915.787
AT ITER 5444 NEW BEST:: SOT 3352485 SOS 3082519 HAS SOPS 3077152 HAS SOUS 1717862 HAS SOUPS 1716712 WITH SCORE 1719794.519
AT ITER 5448 NEW BEST:: SOT 3352749 SOS 3082783 HAS SOPS 3077416 HAS SOUS 1717658 HAS SOUPS 1716508 WITH SCORE 1719590.783
AT ITER 5465 NEW BEST:: SOT 3354000 SOS 3084034 HAS SOPS 3078667 HAS SOUS 1717457 HAS SOUPS 1716307 WITH SCORE 1719391.034
AT ITER 5472 NEW BEST:: SOT 3352353 SOS 3082387 HAS SOPS 3077020 HAS SOUS 1716908 HAS SOUPS 1715758 WITH SCORE 1718840.387
AT ITER 5490 NEW BEST:: SOT 3352353 SOS 3082387 HAS SOPS 3077020 HAS SOUS 1716556 HAS SOUPS 1715406 WITH SCORE 1718488.387
AT ITER 5494 NEW BEST:: SOT 3351375 SOS 3081409 HAS SOPS 3076162 HAS SOUS 1716538 HAS SOUPS 1715388 WITH SCORE 1718469.409
AT ITER 5497 NEW BEST:: SOT 3351375 SOS 3081409 HAS SOPS 3076162 HAS SOUS 1716308 HAS SOUPS 1715158 WITH SCORE 1718239.409
AT ITER 5516 NEW BEST:: SOT 3360406 SOS 3090310 HAS SOPS 3085063 HAS SOUS 1708131 HAS SOUPS 1706981 WITH SCORE 1710071.31
AT ITER 5523 NEW BEST:: SOT 3360406 SOS 3090310 HAS SOPS 3085063 HAS SOUS 1706907 HAS SOUPS 1705757 WITH SCORE 1708847.31
AT ITER 5554 NEW BEST:: SOT 3366802 SOS 3095969 HAS SOPS 3090722 HAS SOUS 1698590 HAS SOUPS 1697440 WITH SCORE 1700535.969
AT ITER 5557 NEW BEST:: SOT 3367739 SOS 3096906 HAS SOPS 3091659 HAS SOUS 1698520 HAS SOUPS 1697370 WITH SCORE 1700466.906
AT ITER 5559 NEW BEST:: SOT 3367739 SOS 3094417 HAS SOPS 3089170 HAS SOUS 1691358 HAS SOUPS 1690208 WITH SCORE 1693302.417
AT ITER 5591 NEW BEST:: SOT 3369361 SOS 3094344 HAS SOPS 3088937 HAS SOUS 1690305 HAS SOUPS 1689155 WITH SCORE 1692249.344
AT ITER 5609 NEW BEST:: SOT 3371956 SOS 3096661 HAS SOPS 3091254 HAS SOUS 1687366 HAS SOUPS 1686216 WITH SCORE 1689312.661
AT ITER 5624 NEW BEST:: SOT 3374354 SOS 3098434 HAS SOPS 3093027 HAS SOUS 1676549 HAS SOUPS 1675399 WITH SCORE 1678497.434
AT ITER 5633 NEW BEST:: SOT 3374354 SOS 3098434 HAS SOPS 3093027 HAS SOUS 1676236 HAS SOUPS 1675086 WITH SCORE 1678184.434
AT ITER 5638 NEW BEST:: SOT 3374354 SOS 3098434 HAS SOPS 3093027 HAS SOUS 1676012 HAS SOUPS 1674862 WITH SCORE 1677960.434
AT ITER 5652 NEW BEST:: SOT 3396255 SOS 3119978 HAS SOPS 3114571 HAS SOUS 1666514 HAS SOUPS 1665364 WITH SCORE 1668483.978
AT ITER 5661 NEW BEST:: SOT 3396255 SOS 3119977 HAS SOPS 3114570 HAS SOUS 1666346 HAS SOUPS 1665196 WITH SCORE 1668315.977
AT ITER 5663 NEW BEST:: SOT 3397153 SOS 3120875 HAS SOPS 3115468 HAS SOUS 1665167 HAS SOUPS 1664017 WITH SCORE 1667137.875
AT ITER 5671 NEW BEST:: SOT 3397153 SOS 3120827 HAS SOPS 3115420 HAS SOUS 1664613 HAS SOUPS 1663463 WITH SCORE 1666583.827
AT ITER 5699 NEW BEST:: SOT 3397389 SOS 3121063 HAS SOPS 3115656 HAS SOUS 1664435 HAS SOUPS 1663285 WITH SCORE 1666406.063
AT ITER 5706 NEW BEST:: SOT 3397389 SOS 3120747 HAS SOPS 3115340 HAS SOUS 1663759 HAS SOUPS 1662609 WITH SCORE 1665729.747
AT ITER 5726 NEW BEST:: SOT 3397389 SOS 3120724 HAS SOPS 3115317 HAS SOUS 1663751 HAS SOUPS 1662601 WITH SCORE 1665721.724
AT ITER 5729 NEW BEST:: SOT 3397389 SOS 3120724 HAS SOPS 3115317 HAS SOUS 1663587 HAS SOUPS 1662437 WITH SCORE 1665557.724
AT ITER 5750 NEW BEST:: SOT 3401309 SOS 3124644 HAS SOPS 3119237 HAS SOUS 1663353 HAS SOUPS 1662203 WITH SCORE 1665327.644
AT ITER 5757 NEW BEST:: SOT 3401309 SOS 3114616 HAS SOPS 3109209 HAS SOUS 1659250 HAS SOUPS 1658100 WITH SCORE 1661214.616
AT ITER 5816 NEW BEST:: SOT 3401309 SOS 3114616 HAS SOPS 3109209 HAS SOUS 1659107 HAS SOUPS 1657957 WITH SCORE 1661071.616
AT ITER 5822 NEW BEST:: SOT 3401555 SOS 3114862 HAS SOPS 3109455 HAS SOUS 1658009 HAS SOUPS 1656859 WITH SCORE 1659973.862
AT ITER 5829 NEW BEST:: SOT 3403298 SOS 3116605 HAS SOPS 3111198 HAS SOUS 1657411 HAS SOUPS 1656261 WITH SCORE 1659377.605
AT ITER 5833 NEW BEST:: SOT 3431062 SOS 3143706 HAS SOPS 3138299 HAS SOUS 1649528 HAS SOUPS 1648378 WITH SCORE 1651521.706
AT ITER 5843 NEW BEST:: SOT 3431062 SOS 3143706 HAS SOPS 3138299 HAS SOUS 1649318 HAS SOUPS 1648168 WITH SCORE 1651311.706
AT ITER 5846 NEW BEST:: SOT 3434848 SOS 3147280 HAS SOPS 3141873 HAS SOUS 1648215 HAS SOUPS 1647065 WITH SCORE 1650212.28
AT ITER 5856 NEW BEST:: SOT 3435314 SOS 3147746 HAS SOPS 3142339 HAS SOUS 1646579 HAS SOUPS 1645429 WITH SCORE 1648576.746
AT ITER 5863 NEW BEST:: SOT 3435314 SOS 3147746 HAS SOPS 3142339 HAS SOUS 1646555 HAS SOUPS 1645405 WITH SCORE 1648552.746
AT ITER 5875 NEW BEST:: SOT 3438969 SOS 3148908 HAS SOPS 3143341 HAS SOUS 1643914 HAS SOUPS 1642764 WITH SCORE 1645912.908
AT ITER 5878 NEW BEST:: SOT 3433989 SOS 3143928 HAS SOPS 3138673 HAS SOUS 1643656 HAS SOUPS 1642506 WITH SCORE 1645649.928
AT ITER 5935 NEW BEST:: SOT 3435737 SOS 3145164 HAS SOPS 3139909 HAS SOUS 1640976 HAS SOUPS 1639826 WITH SCORE 1642971.164
AT ITER 5939 NEW BEST:: SOT 3435864 SOS 3145082 HAS SOPS 3139667 HAS SOUS 1640813 HAS SOUPS 1639663 WITH SCORE 1642808.082
AT ITER 5950 NEW BEST:: SOT 3435864 SOS 3144657 HAS SOPS 3139242 HAS SOUS 1640336 HAS SOUPS 1639186 WITH SCORE 1642330.657
AT ITER 5975 NEW BEST:: SOT 3435864 SOS 3144657 HAS SOPS 3139242 HAS SOUS 1640334 HAS SOUPS 1639184 WITH SCORE 1642328.657
AT ITER 5983 NEW BEST:: SOT 3435864 SOS 3144657 HAS SOPS 3139242 HAS SOUS 1640310 HAS SOUPS 1639160 WITH SCORE 1642304.657
AT ITER 5988 NEW BEST:: SOT 3450108 SOS 3158214 HAS SOPS 3152799 HAS SOUS 1631738 HAS SOUPS 1630588 WITH SCORE 1633746.214
AT ITER 5994 NEW BEST:: SOT 3450632 SOS 3158738 HAS SOPS 3153323 HAS SOUS 1631554 HAS SOUPS 1630404 WITH SCORE 1633562.738
AT ITER 6007 NEW BEST:: SOT 3452424 SOS 3158845 HAS SOPS 3153270 HAS SOUS 1630080 HAS SOUPS 1628930 WITH SCORE 1632088.845
AT ITER 6008 NEW BEST:: SOT 3453441 SOS 3159862 HAS SOPS 3154287 HAS SOUS 1628898 HAS SOUPS 1627748 WITH SCORE 1630907.862
AT ITER 6019 NEW BEST:: SOT 3438151 SOS 3144572 HAS SOPS 3138997 HAS SOUS 1627508 HAS SOUPS 1626358 WITH SCORE 1629502.572
AT ITER 6021 NEW BEST:: SOT 3443276 SOS 3149288 HAS SOPS 3143713 HAS SOUS 1625457 HAS SOUPS 1624307 WITH SCORE 1627456.288
AT ITER 6088 NEW BEST:: SOT 3451372 SOS 3117453 HAS SOPS 3104784 HAS SOUS 1624634 HAS SOUPS 1623484 WITH SCORE 1626601.453
AT ITER 6089 NEW BEST:: SOT 3451754 SOS 3117765 HAS SOPS 3105096 HAS SOUS 1622918 HAS SOUPS 1621768 WITH SCORE 1624885.765
AT ITER 6094 NEW BEST:: SOT 3452280 SOS 3118291 HAS SOPS 3105622 HAS SOUS 1622857 HAS SOUPS 1621707 WITH SCORE 1624825.291
AT ITER 6113 NEW BEST:: SOT 3452719 SOS 3118730 HAS SOPS 3106061 HAS SOUS 1622637 HAS SOUPS 1621487 WITH SCORE 1624605.73
AT ITER 6118 NEW BEST:: SOT 3452719 SOS 3105793 HAS SOPS 3093124 HAS SOUS 1622420 HAS SOUPS 1621270 WITH SCORE 1624375.793
AT ITER 6136 NEW BEST:: SOT 3458530 SOS 3111410 HAS SOPS 3098741 HAS SOUS 1622000 HAS SOUPS 1620850 WITH SCORE 1623961.41
AT ITER 6138 NEW BEST:: SOT 3465233 SOS 3100859 HAS SOPS 3080970 HAS SOUS 1620960 HAS SOUPS 1619810 WITH SCORE 1622910.859
AT ITER 6139 NEW BEST:: SOT 3466753 SOS 3099937 HAS SOPS 3079888 HAS SOUS 1617573 HAS SOUPS 1616423 WITH SCORE 1619522.937
AT ITER 6142 NEW BEST:: SOT 3466753 SOS 3099937 HAS SOPS 3079888 HAS SOUS 1616939 HAS SOUPS 1615789 WITH SCORE 1618888.937
AT ITER 6143 NEW BEST:: SOT 3472203 SOS 3104321 HAS SOPS 3084272 HAS SOUS 1613634 HAS SOUPS 1612484 WITH SCORE 1615588.321
AT ITER 6151 NEW BEST:: SOT 3472013 SOS 3104131 HAS SOPS 3084082 HAS SOUS 1613596 HAS SOUPS 1612446 WITH SCORE 1615550.131
AT ITER 6155 NEW BEST:: SOT 3472013 SOS 3103921 HAS SOPS 3083872 HAS SOUS 1613343 HAS SOUPS 1612193 WITH SCORE 1615296.921
AT ITER 6160 NEW BEST:: SOT 3468847 SOS 3100755 HAS SOPS 3080731 HAS SOUS 1612711 HAS SOUPS 1611561 WITH SCORE 1614661.755
AT ITER 6163 NEW BEST:: SOT 3468847 SOS 3100755 HAS SOPS 3080731 HAS SOUS 1612147 HAS SOUPS 1610997 WITH SCORE 1614097.755
AT ITER 6211 NEW BEST:: SOT 3469006 SOS 3100914 HAS SOPS 3080890 HAS SOUS 1612108 HAS SOUPS 1610958 WITH SCORE 1614058.914
AT ITER 6212 NEW BEST:: SOT 3469572 SOS 3101480 HAS SOPS 3081456 HAS SOUS 1611526 HAS SOUPS 1610376 WITH SCORE 1613477.48
AT ITER 6225 NEW BEST:: SOT 3473086 SOS 3104028 HAS SOPS 3083694 HAS SOUS 1610757 HAS SOUPS 1609607 WITH SCORE 1612711.028
AT ITER 6236 NEW BEST:: SOT 3473160 SOS 3104102 HAS SOPS 3083768 HAS SOUS 1610359 HAS SOUPS 1609209 WITH SCORE 1612313.102
AT ITER 6243 NEW BEST:: SOT 3473446 SOS 3104388 HAS SOPS 3084054 HAS SOUS 1610254 HAS SOUPS 1609104 WITH SCORE 1612208.388
AT ITER 6260 NEW BEST:: SOT 3473446 SOS 3103951 HAS SOPS 3083617 HAS SOUS 1609844 HAS SOUPS 1608694 WITH SCORE 1611797.951
AT ITER 6262 NEW BEST:: SOT 3474764 SOS 3104410 HAS SOPS 3083916 HAS SOUS 1609250 HAS SOUPS 1608100 WITH SCORE 1611204.41
AT ITER 6289 NEW BEST:: SOT 3475296 SOS 3104942 HAS SOPS 3084448 HAS SOUS 1609082 HAS SOUPS 1607932 WITH SCORE 1611036.942
AT ITER 6306 NEW BEST:: SOT 3475296 SOS 3103657 HAS SOPS 3083163 HAS SOUS 1604189 HAS SOUPS 1603039 WITH SCORE 1606142.657
AT ITER 6311 NEW BEST:: SOT 3475647 SOS 3104008 HAS SOPS 3083514 HAS SOUS 1603821 HAS SOUPS 1602671 WITH SCORE 1605775.008
AT ITER 6318 NEW BEST:: SOT 3475647 SOS 3103494 HAS SOPS 3083000 HAS SOUS 1603028 HAS SOUPS 1601878 WITH SCORE 1604981.494
AT ITER 6321 NEW BEST:: SOT 3490530 SOS 3116408 HAS SOPS 3095557 HAS SOUS 1594792 HAS SOUPS 1593642 WITH SCORE 1596758.408
AT ITER 6336 NEW BEST:: SOT 3490553 SOS 3116400 HAS SOPS 3095549 HAS SOUS 1593134 HAS SOUPS 1591984 WITH SCORE 1595100.4
AT ITER 6345 NEW BEST:: SOT 3490553 SOS 3110485 HAS SOPS 3089634 HAS SOUS 1592934 HAS SOUPS 1591784 WITH SCORE 1594894.485
AT ITER 6346 NEW BEST:: SOT 3490553 SOS 3110485 HAS SOPS 3089634 HAS SOUS 1592933 HAS SOUPS 1591783 WITH SCORE 1594893.485
AT ITER 6362 NEW BEST:: SOT 3491008 SOS 3110940 HAS SOPS 3090089 HAS SOUS 1591909 HAS SOUPS 1590759 WITH SCORE 1593869.94
AT ITER 6365 NEW BEST:: SOT 3491090 SOS 3111022 HAS SOPS 3090171 HAS SOUS 1591165 HAS SOUPS 1590015 WITH SCORE 1593126.022
AT ITER 6370 NEW BEST:: SOT 3491090 SOS 3111069 HAS SOPS 3090218 HAS SOUS 1590866 HAS SOUPS 1589716 WITH SCORE 1592827.069
AT ITER 6387 NEW BEST:: SOT 3491090 SOS 3098575 HAS SOPS 3077724 HAS SOUS 1585423 HAS SOUPS 1584273 WITH SCORE 1587371.575
AT ITER 6399 NEW BEST:: SOT 3492144 SOS 3099629 HAS SOPS 3078778 HAS SOUS 1585195 HAS SOUPS 1584045 WITH SCORE 1587144.629
AT ITER 6443 NEW BEST:: SOT 3492378 SOS 3096839 HAS SOPS 3075927 HAS SOUS 1582131 HAS SOUPS 1580981 WITH SCORE 1584077.839
AT ITER 6468 NEW BEST:: SOT 3489390 SOS 3093851 HAS SOPS 3072939 HAS SOUS 1581633 HAS SOUPS 1580483 WITH SCORE 1583576.851
AT ITER 6479 NEW BEST:: SOT 3491745 SOS 3096000 HAS SOPS 3075088 HAS SOUS 1580056 HAS SOUPS 1578906 WITH SCORE 1582002.0
AT ITER 6485 NEW BEST:: SOT 3491223 SOS 3095478 HAS SOPS 3074566 HAS SOUS 1579882 HAS SOUPS 1578732 WITH SCORE 1581827.478
AT ITER 6524 NEW BEST:: SOT 3517926 SOS 3119045 HAS SOPS 3097776 HAS SOUS 1573291 HAS SOUPS 1572141 WITH SCORE 1575260.045
AT ITER 6535 NEW BEST:: SOT 3525374 SOS 3123502 HAS SOPS 3101921 HAS SOUS 1573088 HAS SOUPS 1571938 WITH SCORE 1575061.502
AT ITER 6546 NEW BEST:: SOT 3525374 SOS 3123408 HAS SOPS 3101827 HAS SOUS 1573088 HAS SOUPS 1571938 WITH SCORE 1575061.408
AT ITER 6573 NEW BEST:: SOT 3531832 SOS 3126941 HAS SOPS 3105048 HAS SOUS 1570859 HAS SOUPS 1569709 WITH SCORE 1572835.941
AT ITER 6615 NEW BEST:: SOT 3530517 SOS 3125626 HAS SOPS 3103733 HAS SOUS 1570596 HAS SOUPS 1569446 WITH SCORE 1572571.626
AT ITER 6616 NEW BEST:: SOT 3530883 SOS 3125507 HAS SOPS 3103454 HAS SOUS 1570189 HAS SOUPS 1569039 WITH SCORE 1572164.507
AT ITER 6625 NEW BEST:: SOT 3530526 SOS 3125150 HAS SOPS 3103097 HAS SOUS 1570088 HAS SOUPS 1568938 WITH SCORE 1572063.15
AT ITER 6646 NEW BEST:: SOT 3531134 SOS 3125758 HAS SOPS 3103705 HAS SOUS 1569469 HAS SOUPS 1568319 WITH SCORE 1571444.758
AT ITER 6648 NEW BEST:: SOT 3532467 SOS 3127091 HAS SOPS 3105038 HAS SOUS 1569332 HAS SOUPS 1568182 WITH SCORE 1571309.091
AT ITER 6657 NEW BEST:: SOT 3532947 SOS 3127571 HAS SOPS 3105518 HAS SOUS 1569162 HAS SOUPS 1568012 WITH SCORE 1571139.571
AT ITER 6677 NEW BEST:: SOT 3533154 SOS 3127778 HAS SOPS 3105725 HAS SOUS 1569141 HAS SOUPS 1567991 WITH SCORE 1571118.778
AT ITER 6696 NEW BEST:: SOT 3534121 SOS 3127573 HAS SOPS 3105442 HAS SOUS 1568858 HAS SOUPS 1567708 WITH SCORE 1570835.573
AT ITER 6709 NEW BEST:: SOT 3534121 SOS 3117645 HAS SOPS 3095514 HAS SOUS 1566402 HAS SOUPS 1565252 WITH SCORE 1568369.645
AT ITER 6711 NEW BEST:: SOT 3534121 SOS 3117645 HAS SOPS 3095514 HAS SOUS 1566307 HAS SOUPS 1565157 WITH SCORE 1568274.645
AT ITER 6753 NEW BEST:: SOT 3535378 SOS 3118902 HAS SOPS 3096771 HAS SOUS 1565987 HAS SOUPS 1564837 WITH SCORE 1567955.902
AT ITER 6756 NEW BEST:: SOT 3536397 SOS 3118228 HAS SOPS 3095937 HAS SOUS 1564909 HAS SOUPS 1563759 WITH SCORE 1566877.228
AT ITER 6769 NEW BEST:: SOT 3536397 SOS 3118132 HAS SOPS 3095841 HAS SOUS 1564813 HAS SOUPS 1563663 WITH SCORE 1566781.132
AT ITER 6780 NEW BEST:: SOT 3536557 SOS 3119727 HAS SOPS 3097596 HAS SOUS 1563930 HAS SOUPS 1562780 WITH SCORE 1565899.727
AT ITER 6791 NEW BEST:: SOT 3538173 SOS 3120384 HAS SOPS 3097445 HAS SOUS 1563774 HAS SOUPS 1562624 WITH SCORE 1565744.384
AT ITER 6807 NEW BEST:: SOT 3539479 SOS 3121690 HAS SOPS 3098751 HAS SOUS 1563673 HAS SOUPS 1562523 WITH SCORE 1565644.69
AT ITER 6840 NEW BEST:: SOT 3539479 SOS 3108309 HAS SOPS 3085370 HAS SOUS 1560728 HAS SOUPS 1559578 WITH SCORE 1562686.309
AT ITER 6849 NEW BEST:: SOT 3539479 SOS 3107988 HAS SOPS 3085049 HAS SOUS 1558669 HAS SOUPS 1557519 WITH SCORE 1560626.988
AT ITER 6858 NEW BEST:: SOT 3539603 SOS 3107421 HAS SOPS 3084482 HAS SOUS 1558617 HAS SOUPS 1557467 WITH SCORE 1560574.421
AT ITER 6880 NEW BEST:: SOT 3539603 SOS 3107421 HAS SOPS 3084482 HAS SOUS 1558587 HAS SOUPS 1557437 WITH SCORE 1560544.421
AT ITER 6899 NEW BEST:: SOT 3540236 SOS 3107513 HAS SOPS 3084574 HAS SOUS 1558288 HAS SOUPS 1557138 WITH SCORE 1560245.513
AT ITER 6902 NEW BEST:: SOT 3541432 SOS 3105535 HAS SOPS 3082297 HAS SOUS 1557757 HAS SOUPS 1556607 WITH SCORE 1559712.535
AT ITER 6917 NEW BEST:: SOT 3571258 SOS 3134504 HAS SOPS 3110909 HAS SOUS 1556478 HAS SOUPS 1555328 WITH SCORE 1558462.504
AT ITER 6937 NEW BEST:: SOT 3571258 SOS 3134314 HAS SOPS 3110719 HAS SOUS 1556478 HAS SOUPS 1555328 WITH SCORE 1558462.314
AT ITER 6941 NEW BEST:: SOT 3571258 SOS 3133804 HAS SOPS 3110209 HAS SOUS 1555536 HAS SOUPS 1554386 WITH SCORE 1557519.804
AT ITER 6956 NEW BEST:: SOT 3571258 SOS 3133588 HAS SOPS 3109993 HAS SOUS 1555257 HAS SOUPS 1554107 WITH SCORE 1557240.588
AT ITER 6962 NEW BEST:: SOT 3571258 SOS 3133118 HAS SOPS 3109523 HAS SOUS 1554452 HAS SOUPS 1553302 WITH SCORE 1556435.118
AT ITER 6965 NEW BEST:: SOT 3572608 SOS 3134468 HAS SOPS 3110873 HAS SOUS 1554417 HAS SOUPS 1553267 WITH SCORE 1556401.468
AT ITER 6984 NEW BEST:: SOT 3580630 SOS 3141999 HAS SOPS 3118326 HAS SOUS 1552923 HAS SOUPS 1551773 WITH SCORE 1554914.999
AT ITER 6997 NEW BEST:: SOT 3580996 SOS 3142365 HAS SOPS 3118692 HAS SOUS 1552308 HAS SOUPS 1551158 WITH SCORE 1554300.365
AT ITER 7021 NEW BEST:: SOT 3556572 SOS 3117941 HAS SOPS 3094336 HAS SOUS 1550327 HAS SOUPS 1549177 WITH SCORE 1552294.941
AT ITER 7023 NEW BEST:: SOT 3557549 SOS 3118833 HAS SOPS 3095228 HAS SOUS 1547578 HAS SOUPS 1546428 WITH SCORE 1549546.833
AT ITER 7057 NEW BEST:: SOT 3558322 SOS 3118926 HAS SOPS 3095321 HAS SOUS 1547262 HAS SOUPS 1546112 WITH SCORE 1549230.926
AT ITER 7061 NEW BEST:: SOT 3558322 SOS 3094390 HAS SOPS 3070785 HAS SOUS 1545353 HAS SOUPS 1544203 WITH SCORE 1547297.39
AT ITER 7062 NEW BEST:: SOT 3558875 SOS 3095407 HAS SOPS 3071962 HAS SOUS 1544856 HAS SOUPS 1543706 WITH SCORE 1546801.407
AT ITER 7074 NEW BEST:: SOT 3560011 SOS 3096543 HAS SOPS 3073098 HAS SOUS 1543842 HAS SOUPS 1542692 WITH SCORE 1545788.543
AT ITER 7082 NEW BEST:: SOT 3560552 SOS 3097084 HAS SOPS 3073639 HAS SOUS 1543841 HAS SOUPS 1542691 WITH SCORE 1545788.084
AT ITER 7083 NEW BEST:: SOT 3560250 SOS 3096782 HAS SOPS 3073337 HAS SOUS 1543562 HAS SOUPS 1542412 WITH SCORE 1545508.782
AT ITER 7089 NEW BEST:: SOT 3571454 SOS 3106282 HAS SOPS 3082837 HAS SOUS 1543169 HAS SOUPS 1542019 WITH SCORE 1545125.282
AT ITER 7090 NEW BEST:: SOT 3571454 SOS 3106057 HAS SOPS 3082612 HAS SOUS 1543029 HAS SOUPS 1541879 WITH SCORE 1544985.057
AT ITER 7093 NEW BEST:: SOT 3572608 SOS 3107211 HAS SOPS 3083766 HAS SOUS 1542738 HAS SOUPS 1541588 WITH SCORE 1544695.211
AT ITER 7101 NEW BEST:: SOT 3572620 SOS 3106602 HAS SOPS 3083151 HAS SOUS 1541449 HAS SOUPS 1540299 WITH SCORE 1543405.602
AT ITER 7103 NEW BEST:: SOT 3572525 SOS 3106507 HAS SOPS 3083056 HAS SOUS 1541430 HAS SOUPS 1540280 WITH SCORE 1543386.507
AT ITER 7123 NEW BEST:: SOT 3572525 SOS 3106507 HAS SOPS 3083056 HAS SOUS 1541416 HAS SOUPS 1540266 WITH SCORE 1543372.507
AT ITER 7126 NEW BEST:: SOT 3572525 SOS 3106497 HAS SOPS 3083046 HAS SOUS 1540368 HAS SOUPS 1539218 WITH SCORE 1542324.497
AT ITER 7161 NEW BEST:: SOT 3572525 SOS 3106362 HAS SOPS 3082911 HAS SOUS 1540098 HAS SOUPS 1538948 WITH SCORE 1542054.362
AT ITER 7176 NEW BEST:: SOT 3572629 SOS 3106466 HAS SOPS 3083015 HAS SOUS 1539184 HAS SOUPS 1538034 WITH SCORE 1541140.466
AT ITER 7208 NEW BEST:: SOT 3571659 SOS 3105496 HAS SOPS 3082045 HAS SOUS 1538990 HAS SOUPS 1537840 WITH SCORE 1540945.496
AT ITER 7212 NEW BEST:: SOT 3571659 SOS 3103878 HAS SOPS 3080427 HAS SOUS 1536828 HAS SOUPS 1535678 WITH SCORE 1538781.878
AT ITER 7257 NEW BEST:: SOT 3570027 SOS 3102246 HAS SOPS 3078795 HAS SOUS 1535740 HAS SOUPS 1534590 WITH SCORE 1537692.246
AT ITER 7262 NEW BEST:: SOT 3570962 SOS 3102621 HAS SOPS 3078860 HAS SOUS 1534702 HAS SOUPS 1533552 WITH SCORE 1536654.621
AT ITER 7312 NEW BEST:: SOT 3570962 SOS 3102422 HAS SOPS 3078661 HAS SOUS 1534596 HAS SOUPS 1533446 WITH SCORE 1536548.422
AT ITER 7313 NEW BEST:: SOT 3602538 SOS 3131485 HAS SOPS 3107367 HAS SOUS 1528988 HAS SOUPS 1527838 WITH SCORE 1530969.485
AT ITER 7320 NEW BEST:: SOT 3604941 SOS 3133615 HAS SOPS 3109187 HAS SOUS 1528521 HAS SOUPS 1527371 WITH SCORE 1530504.615
AT ITER 7331 NEW BEST:: SOT 3599029 SOS 3127703 HAS SOPS 3110936 HAS SOUS 1522886 HAS SOUPS 1521736 WITH SCORE 1524863.703
AT ITER 7337 NEW BEST:: SOT 3617920 SOS 3143693 HAS SOPS 3126569 HAS SOUS 1516205 HAS SOUPS 1515055 WITH SCORE 1518198.693
AT ITER 7348 NEW BEST:: SOT 3652507 SOS 3176461 HAS SOPS 3158980 HAS SOUS 1514138 HAS SOUPS 1512988 WITH SCORE 1516164.461
AT ITER 7376 NEW BEST:: SOT 3654013 SOS 3177967 HAS SOPS 3160486 HAS SOUS 1513486 HAS SOUPS 1512336 WITH SCORE 1515513.967
AT ITER 7382 NEW BEST:: SOT 3653391 SOS 3177460 HAS SOPS 3160139 HAS SOUS 1513442 HAS SOUPS 1512292 WITH SCORE 1515469.46
AT ITER 7402 NEW BEST:: SOT 3653947 SOS 3178016 HAS SOPS 3160695 HAS SOUS 1513033 HAS SOUPS 1511883 WITH SCORE 1515061.016
AT ITER 7439 NEW BEST:: SOT 3653947 SOS 3176778 HAS SOPS 3159457 HAS SOUS 1512679 HAS SOUPS 1511529 WITH SCORE 1514705.778
AT ITER 7448 NEW BEST:: SOT 3653947 SOS 3176612 HAS SOPS 3159291 HAS SOUS 1512347 HAS SOUPS 1511197 WITH SCORE 1514373.612
AT ITER 7479 NEW BEST:: SOT 3658113 SOS 3180194 HAS SOPS 3162873 HAS SOUS 1511059 HAS SOUPS 1509909 WITH SCORE 1513089.194
AT ITER 7487 NEW BEST:: SOT 3653735 SOS 3175816 HAS SOPS 3158495 HAS SOUS 1510661 HAS SOUPS 1509511 WITH SCORE 1512686.816
AT ITER 7498 NEW BEST:: SOT 3653276 SOS 3175357 HAS SOPS 3158036 HAS SOUS 1510661 HAS SOUPS 1509511 WITH SCORE 1512686.357
AT ITER 7504 NEW BEST:: SOT 3653342 SOS 3175423 HAS SOPS 3158102 HAS SOUS 1508455 HAS SOUPS 1507305 WITH SCORE 1510480.423
AT ITER 7505 NEW BEST:: SOT 3653836 SOS 3175917 HAS SOPS 3158596 HAS SOUS 1508232 HAS SOUPS 1507082 WITH SCORE 1510257.917
AT ITER 7528 NEW BEST:: SOT 3653836 SOS 3174147 HAS SOPS 3156826 HAS SOUS 1507878 HAS SOUPS 1506728 WITH SCORE 1509902.147
AT ITER 7552 NEW BEST:: SOT 3654378 SOS 3174689 HAS SOPS 3157368 HAS SOUS 1507312 HAS SOUPS 1506162 WITH SCORE 1509336.689
AT ITER 7560 NEW BEST:: SOT 3641105 SOS 3161416 HAS SOPS 3144418 HAS SOUS 1506399 HAS SOUPS 1505249 WITH SCORE 1508410.416
AT ITER 7597 NEW BEST:: SOT 3641110 SOS 3161421 HAS SOPS 3144423 HAS SOUS 1505808 HAS SOUPS 1504658 WITH SCORE 1507819.421
AT ITER 7608 NEW BEST:: SOT 3641193 SOS 3161251 HAS SOPS 3144253 HAS SOUS 1504565 HAS SOUPS 1503415 WITH SCORE 1506576.251
AT ITER 7624 NEW BEST:: SOT 3641270 SOS 3161328 HAS SOPS 3144330 HAS SOUS 1503833 HAS SOUPS 1502683 WITH SCORE 1505844.328
AT ITER 7688 NEW BEST:: SOT 3641356 SOS 3161414 HAS SOPS 3144416 HAS SOUS 1501505 HAS SOUPS 1500355 WITH SCORE 1503516.414
AT ITER 7713 NEW BEST:: SOT 3642419 SOS 3167140 HAS SOPS 3150142 HAS SOUS 1495456 HAS SOUPS 1494306 WITH SCORE 1497473.14
AT ITER 7732 NEW BEST:: SOT 3643305 SOS 3168221 HAS SOPS 3151223 HAS SOUS 1478987 HAS SOUPS 1477837 WITH SCORE 1481005.221
AT ITER 7737 NEW BEST:: SOT 3647517 SOS 3147650 HAS SOPS 3123425 HAS SOUS 1472041 HAS SOUPS 1470891 WITH SCORE 1474038.65
AT ITER 7757 NEW BEST:: SOT 3647980 SOS 3147890 HAS SOPS 3123632 HAS SOUS 1471562 HAS SOUPS 1470412 WITH SCORE 1473559.89
AT ITER 7762 NEW BEST:: SOT 3643996 SOS 3143906 HAS SOPS 3119892 HAS SOUS 1470742 HAS SOUPS 1469592 WITH SCORE 1472735.906
AT ITER 7774 NEW BEST:: SOT 3649051 SOS 3114827 HAS SOPS 3080561 HAS SOUS 1463868 HAS SOUPS 1462718 WITH SCORE 1465832.827
AT ITER 7801 NEW BEST:: SOT 3650848 SOS 3116624 HAS SOPS 3082358 HAS SOUS 1463399 HAS SOUPS 1462249 WITH SCORE 1465365.624
AT ITER 7841 NEW BEST:: SOT 3650848 SOS 3113816 HAS SOPS 3079550 HAS SOUS 1462127 HAS SOUPS 1460977 WITH SCORE 1464090.816
AT ITER 7850 NEW BEST:: SOT 3629356 SOS 3092324 HAS SOPS 3058058 HAS SOUS 1458545 HAS SOUPS 1457395 WITH SCORE 1460487.324
AT ITER 7854 NEW BEST:: SOT 3601792 SOS 3064760 HAS SOPS 3031407 HAS SOUS 1457439 HAS SOUPS 1456289 WITH SCORE 1459353.76
AT ITER 7965 NEW BEST:: SOT 3602130 SOS 3065098 HAS SOPS 3031745 HAS SOUS 1455881 HAS SOUPS 1454731 WITH SCORE 1457796.098
AT ITER 8009 NEW BEST:: SOT 3602598 SOS 3065566 HAS SOPS 3032213 HAS SOUS 1454937 HAS SOUPS 1453787 WITH SCORE 1456852.566
AT ITER 8012 NEW BEST:: SOT 3602598 SOS 3065377 HAS SOPS 3032024 HAS SOUS 1454504 HAS SOUPS 1453354 WITH SCORE 1456419.377
AT ITER 8017 NEW BEST:: SOT 3602598 SOS 3065377 HAS SOPS 3032024 HAS SOUS 1454145 HAS SOUPS 1452995 WITH SCORE 1456060.377
AT ITER 8039 NEW BEST:: SOT 3603588 SOS 3066367 HAS SOPS 3033014 HAS SOUS 1453664 HAS SOUPS 1452514 WITH SCORE 1455580.367
AT ITER 8045 NEW BEST:: SOT 3605345 SOS 3068124 HAS SOPS 3034771 HAS SOUS 1452564 HAS SOUPS 1451414 WITH SCORE 1454482.124
AT ITER 8050 NEW BEST:: SOT 3605557 SOS 3068336 HAS SOPS 3034983 HAS SOUS 1452027 HAS SOUPS 1450877 WITH SCORE 1453945.336
AT ITER 8061 NEW BEST:: SOT 3605557 SOS 3067856 HAS SOPS 3034503 HAS SOUS 1451547 HAS SOUPS 1450397 WITH SCORE 1453464.856
AT ITER 8078 NEW BEST:: SOT 3604742 SOS 3067041 HAS SOPS 3033688 HAS SOUS 1450930 HAS SOUPS 1449780 WITH SCORE 1452847.041
AT ITER 8087 NEW BEST:: SOT 3604127 SOS 3066426 HAS SOPS 3033073 HAS SOUS 1450725 HAS SOUPS 1449575 WITH SCORE 1452641.426
AT ITER 8092 NEW BEST:: SOT 3604295 SOS 3066427 HAS SOPS 3033074 HAS SOUS 1450245 HAS SOUPS 1449095 WITH SCORE 1452161.427
AT ITER 8114 NEW BEST:: SOT 3603787 SOS 3065919 HAS SOPS 3032566 HAS SOUS 1449823 HAS SOUPS 1448673 WITH SCORE 1451738.919
AT ITER 8122 NEW BEST:: SOT 3630266 SOS 3090893 HAS SOPS 3056486 HAS SOUS 1448650 HAS SOUPS 1447500 WITH SCORE 1450590.893
AT ITER 8137 NEW BEST:: SOT 3630260 SOS 3090887 HAS SOPS 3056480 HAS SOUS 1448650 HAS SOUPS 1447500 WITH SCORE 1450590.887
AT ITER 8142 NEW BEST:: SOT 3630260 SOS 3090392 HAS SOPS 3055985 HAS SOUS 1446238 HAS SOUPS 1445088 WITH SCORE 1448178.392
AT ITER 8148 NEW BEST:: SOT 3616893 SOS 3077025 HAS SOPS 3043462 HAS SOUS 1445725 HAS SOUPS 1444575 WITH SCORE 1447652.025
AT ITER 8166 NEW BEST:: SOT 3625915 SOS 3081625 HAS SOPS 3047008 HAS SOUS 1438445 HAS SOUPS 1437295 WITH SCORE 1440376.625
AT ITER 8214 NEW BEST:: SOT 3625258 SOS 3080968 HAS SOPS 3046351 HAS SOUS 1438226 HAS SOUPS 1437076 WITH SCORE 1440156.968
AT ITER 8222 NEW BEST:: SOT 3624182 SOS 3079892 HAS SOPS 3045275 HAS SOUS 1437830 HAS SOUPS 1436680 WITH SCORE 1439759.892
AT ITER 8223 NEW BEST:: SOT 3624626 SOS 3080336 HAS SOPS 3045719 HAS SOUS 1437291 HAS SOUPS 1436141 WITH SCORE 1439221.336
AT ITER 8234 NEW BEST:: SOT 3627677 SOS 3074704 HAS SOPS 3037798 HAS SOUS 1436569 HAS SOUPS 1435419 WITH SCORE 1438493.704
AT ITER 8254 NEW BEST:: SOT 3627926 SOS 3074825 HAS SOPS 3037919 HAS SOUS 1436132 HAS SOUPS 1434982 WITH SCORE 1438056.825
AT ITER 8259 NEW BEST:: SOT 3627926 SOS 3069336 HAS SOPS 3032430 HAS SOUS 1432799 HAS SOUPS 1431649 WITH SCORE 1434718.336
AT ITER 8279 NEW BEST:: SOT 3628328 SOS 3069738 HAS SOPS 3032832 HAS SOUS 1432730 HAS SOUPS 1431580 WITH SCORE 1434649.738
AT ITER 8281 NEW BEST:: SOT 3628091 SOS 3069501 HAS SOPS 3032595 HAS SOUS 1432572 HAS SOUPS 1431422 WITH SCORE 1434491.501
AT ITER 8295 NEW BEST:: SOT 3628091 SOS 3064377 HAS SOPS 3027471 HAS SOUS 1431562 HAS SOUPS 1430412 WITH SCORE 1433476.377
AT ITER 8296 NEW BEST:: SOT 3628478 SOS 3064764 HAS SOPS 3027858 HAS SOUS 1431487 HAS SOUPS 1430337 WITH SCORE 1433401.764
AT ITER 8300 NEW BEST:: SOT 3631190 SOS 3067092 HAS SOPS 3030153 HAS SOUS 1431468 HAS SOUPS 1430318 WITH SCORE 1433385.092
AT ITER 8309 NEW BEST:: SOT 3631524 SOS 3067426 HAS SOPS 3030487 HAS SOUS 1431140 HAS SOUPS 1429990 WITH SCORE 1433057.426
AT ITER 8335 NEW BEST:: SOT 3631776 SOS 3067003 HAS SOPS 3029812 HAS SOUS 1430465 HAS SOUPS 1429315 WITH SCORE 1432382.003
AT ITER 8342 NEW BEST:: SOT 3632733 SOS 3067960 HAS SOPS 3030769 HAS SOUS 1429860 HAS SOUPS 1428710 WITH SCORE 1431777.96
AT ITER 8354 NEW BEST:: SOT 3632733 SOS 3067960 HAS SOPS 3030769 HAS SOUS 1429766 HAS SOUPS 1428616 WITH SCORE 1431683.96
AT ITER 8360 NEW BEST:: SOT 3632153 SOS 3067380 HAS SOPS 3030189 HAS SOUS 1429766 HAS SOUPS 1428616 WITH SCORE 1431683.38
AT ITER 8367 NEW BEST:: SOT 3631843 SOS 3067070 HAS SOPS 3029879 HAS SOUS 1429704 HAS SOUPS 1428554 WITH SCORE 1431621.07
AT ITER 8374 NEW BEST:: SOT 3631843 SOS 3066335 HAS SOPS 3029144 HAS SOUS 1429088 HAS SOUPS 1427938 WITH SCORE 1431004.335
AT ITER 8388 NEW BEST:: SOT 3632681 SOS 3067173 HAS SOPS 3029982 HAS SOUS 1428136 HAS SOUPS 1426986 WITH SCORE 1430053.173
AT ITER 8404 NEW BEST:: SOT 3646422 SOS 3076040 HAS SOPS 3037795 HAS SOUS 1421307 HAS SOUPS 1420157 WITH SCORE 1423233.04
AT ITER 8416 NEW BEST:: SOT 3646867 SOS 3076485 HAS SOPS 3038240 HAS SOUS 1421242 HAS SOUPS 1420092 WITH SCORE 1423168.485
AT ITER 8433 NEW BEST:: SOT 3646867 SOS 3076485 HAS SOPS 3038240 HAS SOUS 1421102 HAS SOUPS 1419952 WITH SCORE 1423028.485
AT ITER 8451 NEW BEST:: SOT 3646268 SOS 3075715 HAS SOPS 3037470 HAS SOUS 1420633 HAS SOUPS 1419483 WITH SCORE 1422558.715
AT ITER 8473 NEW BEST:: SOT 3645660 SOS 3075107 HAS SOPS 3036862 HAS SOUS 1420329 HAS SOUPS 1419179 WITH SCORE 1422254.107
AT ITER 8481 NEW BEST:: SOT 3644445 SOS 3073892 HAS SOPS 3035647 HAS SOUS 1420098 HAS SOUPS 1418948 WITH SCORE 1422021.892
AT ITER 8490 NEW BEST:: SOT 3646575 SOS 3074324 HAS SOPS 3036079 HAS SOUS 1416989 HAS SOUPS 1415839 WITH SCORE 1418913.324
AT ITER 8522 NEW BEST:: SOT 3646575 SOS 3074324 HAS SOPS 3036079 HAS SOUS 1416688 HAS SOUPS 1415538 WITH SCORE 1418612.324
AT ITER 8538 NEW BEST:: SOT 3647459 SOS 3075208 HAS SOPS 3036963 HAS SOUS 1416439 HAS SOUPS 1415289 WITH SCORE 1418364.208
AT ITER 8542 NEW BEST:: SOT 3647729 SOS 3074794 HAS SOPS 3036279 HAS SOUS 1415720 HAS SOUPS 1414570 WITH SCORE 1417644.794
AT ITER 8573 NEW BEST:: SOT 3647729 SOS 3061471 HAS SOPS 3022956 HAS SOUS 1415720 HAS SOUPS 1414570 WITH SCORE 1417631.471
AT ITER 8634 NEW BEST:: SOT 3647729 SOS 3061471 HAS SOPS 3022956 HAS SOUS 1415616 HAS SOUPS 1414466 WITH SCORE 1417527.471
AT ITER 8649 NEW BEST:: SOT 3648863 SOS 3062605 HAS SOPS 3024090 HAS SOUS 1415245 HAS SOUPS 1414095 WITH SCORE 1417157.605
AT ITER 8656 NEW BEST:: SOT 3649565 SOS 3062639 HAS SOPS 3024122 HAS SOUS 1414348 HAS SOUPS 1413198 WITH SCORE 1416260.639
AT ITER 8667 NEW BEST:: SOT 3650442 SOS 3063516 HAS SOPS 3024999 HAS SOUS 1412762 HAS SOUPS 1411612 WITH SCORE 1414675.516
AT ITER 8674 NEW BEST:: SOT 3650442 SOS 3063516 HAS SOPS 3024999 HAS SOUS 1412658 HAS SOUPS 1411508 WITH SCORE 1414571.516
AT ITER 8694 NEW BEST:: SOT 3650442 SOS 3063516 HAS SOPS 3024999 HAS SOUS 1412332 HAS SOUPS 1411182 WITH SCORE 1414245.516
AT ITER 8695 NEW BEST:: SOT 3650577 SOS 3063651 HAS SOPS 3025134 HAS SOUS 1410693 HAS SOUPS 1409543 WITH SCORE 1412606.651
AT ITER 8696 NEW BEST:: SOT 3655341 SOS 3066446 HAS SOPS 3027769 HAS SOUS 1410499 HAS SOUPS 1409349 WITH SCORE 1412415.446
AT ITER 8697 NEW BEST:: SOT 3657665 SOS 3068770 HAS SOPS 3030093 HAS SOUS 1410042 HAS SOUPS 1408892 WITH SCORE 1411960.77
AT ITER 8708 NEW BEST:: SOT 3657665 SOS 3042866 HAS SOPS 3004189 HAS SOUS 1409946 HAS SOUPS 1408796 WITH SCORE 1411838.866
AT ITER 8712 NEW BEST:: SOT 3660022 SOS 3044547 HAS SOPS 3003533 HAS SOUS 1410504 HAS SOUPS 1408140 WITH SCORE 1411184.547
AT ITER 8721 NEW BEST:: SOT 3672677 SOS 3055637 HAS SOPS 3014623 HAS SOUS 1400123 HAS SOUPS 1397759 WITH SCORE 1400814.637
AT ITER 8725 NEW BEST:: SOT 3672677 SOS 3055426 HAS SOPS 3014412 HAS SOUS 1399052 HAS SOUPS 1396688 WITH SCORE 1399743.426
AT ITER 8726 NEW BEST:: SOT 3662050 SOS 3044799 HAS SOPS 3003785 HAS SOUS 1388566 HAS SOUPS 1386202 WITH SCORE 1389246.799
AT ITER 8730 NEW BEST:: SOT 3661315 SOS 3044064 HAS SOPS 3003050 HAS SOUS 1388272 HAS SOUPS 1385908 WITH SCORE 1388952.064
AT ITER 8739 NEW BEST:: SOT 3661315 SOS 3043881 HAS SOPS 3002867 HAS SOUS 1388089 HAS SOUPS 1385725 WITH SCORE 1388768.881
AT ITER 8746 NEW BEST:: SOT 3661315 SOS 3043764 HAS SOPS 3002750 HAS SOUS 1388089 HAS SOUPS 1385725 WITH SCORE 1388768.764
AT ITER 8844 NEW BEST:: SOT 3661087 SOS 3043536 HAS SOPS 3002522 HAS SOUS 1387937 HAS SOUPS 1385573 WITH SCORE 1388616.536
AT ITER 8845 NEW BEST:: SOT 3661465 SOS 3043181 HAS SOPS 3002041 HAS SOUS 1386072 HAS SOUPS 1383708 WITH SCORE 1386751.181
AT ITER 8867 NEW BEST:: SOT 3656563 SOS 3038279 HAS SOPS 2997264 HAS SOUS 1385708 HAS SOUPS 1383344 WITH SCORE 1386382.279
AT ITER 8870 NEW BEST:: SOT 3657587 SOS 3039303 HAS SOPS 2998288 HAS SOUS 1385395 HAS SOUPS 1383031 WITH SCORE 1386070.303
AT ITER 8882 NEW BEST:: SOT 3657628 SOS 3039344 HAS SOPS 2998329 HAS SOUS 1383758 HAS SOUPS 1381394 WITH SCORE 1384433.344
AT ITER 8885 NEW BEST:: SOT 3658289 SOS 3039322 HAS SOPS 2998008 HAS SOUS 1383437 HAS SOUPS 1381073 WITH SCORE 1384112.322
AT ITER 8901 NEW BEST:: SOT 3659015 SOS 3040048 HAS SOPS 2998734 HAS SOUS 1383374 HAS SOUPS 1381010 WITH SCORE 1384050.048
AT ITER 8916 NEW BEST:: SOT 3668629 SOS 3045422 HAS SOPS 3004108 HAS SOUS 1377346 HAS SOUPS 1374982 WITH SCORE 1378027.422
AT ITER 8934 NEW BEST:: SOT 3669531 SOS 3043943 HAS SOPS 3002629 HAS SOUS 1360769 HAS SOUPS 1358405 WITH SCORE 1361448.943
AT ITER 8945 NEW BEST:: SOT 3669531 SOS 3043356 HAS SOPS 3002042 HAS SOUS 1360668 HAS SOUPS 1358304 WITH SCORE 1361347.356
AT ITER 8954 NEW BEST:: SOT 3669299 SOS 3043124 HAS SOPS 3001810 HAS SOUS 1360273 HAS SOUPS 1357909 WITH SCORE 1360952.124
AT ITER 8966 NEW BEST:: SOT 3669299 SOS 3042293 HAS SOPS 3000979 HAS SOUS 1360132 HAS SOUPS 1357768 WITH SCORE 1360810.293
AT ITER 8987 NEW BEST:: SOT 3669614 SOS 3042554 HAS SOPS 3001240 HAS SOUS 1357900 HAS SOUPS 1355536 WITH SCORE 1358578.554
AT ITER 9001 NEW BEST:: SOT 3669614 SOS 3042554 HAS SOPS 3001240 HAS SOUS 1357302 HAS SOUPS 1354938 WITH SCORE 1357980.554
AT ITER 9007 NEW BEST:: SOT 3671692 SOS 3044632 HAS SOPS 3003318 HAS SOUS 1357298 HAS SOUPS 1354934 WITH SCORE 1357978.632
AT ITER 9011 NEW BEST:: SOT 3671692 SOS 3044540 HAS SOPS 3003226 HAS SOUS 1356839 HAS SOUPS 1354475 WITH SCORE 1357519.54
AT ITER 9020 NEW BEST:: SOT 3671692 SOS 3044540 HAS SOPS 3003226 HAS SOUS 1356712 HAS SOUPS 1354348 WITH SCORE 1357392.54
AT ITER 9023 NEW BEST:: SOT 3672008 SOS 3044856 HAS SOPS 3003542 HAS SOUS 1356037 HAS SOUPS 1353673 WITH SCORE 1356717.856
AT ITER 9026 NEW BEST:: SOT 3672375 SOS 3045136 HAS SOPS 3003455 HAS SOUS 1355950 HAS SOUPS 1353586 WITH SCORE 1356631.136
AT ITER 9048 NEW BEST:: SOT 3673752 SOS 3046095 HAS SOPS 3003037 HAS SOUS 1355532 HAS SOUPS 1353168 WITH SCORE 1356214.095
AT ITER 9055 NEW BEST:: SOT 3675384 SOS 3047727 HAS SOPS 3004669 HAS SOUS 1354973 HAS SOUPS 1352609 WITH SCORE 1355656.727
AT ITER 9061 NEW BEST:: SOT 3677740 SOS 3050083 HAS SOPS 3007025 HAS SOUS 1354198 HAS SOUPS 1351834 WITH SCORE 1354884.083
AT ITER 9070 NEW BEST:: SOT 3679968 SOS 3052311 HAS SOPS 3009253 HAS SOUS 1352594 HAS SOUPS 1350230 WITH SCORE 1353282.311
AT ITER 9074 NEW BEST:: SOT 3682122 SOS 3054087 HAS SOPS 3011029 HAS SOUS 1351717 HAS SOUPS 1349353 WITH SCORE 1352407.087
AT ITER 9075 NEW BEST:: SOT 3682122 SOS 3054087 HAS SOPS 3011029 HAS SOUS 1351245 HAS SOUPS 1348881 WITH SCORE 1351935.087
AT ITER 9106 NEW BEST:: SOT 3701528 SOS 3070557 HAS SOPS 3026993 HAS SOUS 1347993 HAS SOUPS 1345629 WITH SCORE 1348699.557
AT ITER 9112 NEW BEST:: SOT 3719431 SOS 3085754 HAS SOPS 3041684 HAS SOUS 1324969 HAS SOUPS 1322605 WITH SCORE 1325690.754
AT ITER 9118 NEW BEST:: SOT 3717676 SOS 3083999 HAS SOPS 3041664 HAS SOUS 1323989 HAS SOUPS 1322585 WITH SCORE 1325668.999
AT ITER 9157 NEW BEST:: SOT 3719058 SOS 3085381 HAS SOPS 3043046 HAS SOUS 1323718 HAS SOUPS 1322314 WITH SCORE 1325399.381
AT ITER 9183 NEW BEST:: SOT 3735671 SOS 3101367 HAS SOPS 3058526 HAS SOUS 1316317 HAS SOUPS 1314913 WITH SCORE 1318014.367
AT ITER 9189 NEW BEST:: SOT 3736572 SOS 3102268 HAS SOPS 3059427 HAS SOUS 1315111 HAS SOUPS 1313707 WITH SCORE 1316809.268
AT ITER 9223 NEW BEST:: SOT 3736572 SOS 3102268 HAS SOPS 3059427 HAS SOUS 1315060 HAS SOUPS 1313656 WITH SCORE 1316758.268
AT ITER 9229 NEW BEST:: SOT 3736816 SOS 3100889 HAS SOPS 3057926 HAS SOUS 1313749 HAS SOUPS 1312345 WITH SCORE 1315445.889
AT ITER 9243 NEW BEST:: SOT 3736520 SOS 3100593 HAS SOPS 3057630 HAS SOUS 1313453 HAS SOUPS 1312049 WITH SCORE 1315149.593
AT ITER 9244 NEW BEST:: SOT 3738324 SOS 3101625 HAS SOPS 3058660 HAS SOUS 1312269 HAS SOUPS 1310865 WITH SCORE 1313966.625
AT ITER 9279 NEW BEST:: SOT 3739344 SOS 3102645 HAS SOPS 3059680 HAS SOUS 1312230 HAS SOUPS 1310826 WITH SCORE 1313928.645
AT ITER 9285 NEW BEST:: SOT 3738997 SOS 3102298 HAS SOPS 3059333 HAS SOUS 1312044 HAS SOUPS 1310640 WITH SCORE 1313742.298
AT ITER 9291 NEW BEST:: SOT 3738997 SOS 3102883 HAS SOPS 3059918 HAS SOUS 1311948 HAS SOUPS 1310544 WITH SCORE 1313646.883
AT ITER 9323 NEW BEST:: SOT 3740083 SOS 3103969 HAS SOPS 3061004 HAS SOUS 1311725 HAS SOUPS 1310321 WITH SCORE 1313424.969
AT ITER 9335 NEW BEST:: SOT 3741012 SOS 3104898 HAS SOPS 3061933 HAS SOUS 1311719 HAS SOUPS 1310315 WITH SCORE 1313419.898
AT ITER 9348 NEW BEST:: SOT 3747264 SOS 3111115 HAS SOPS 3068150 HAS SOUS 1311335 HAS SOUPS 1309931 WITH SCORE 1313042.115
AT ITER 9357 NEW BEST:: SOT 3747216 SOS 3111067 HAS SOPS 3068102 HAS SOUS 1311335 HAS SOUPS 1309931 WITH SCORE 1313042.067
AT ITER 9360 NEW BEST:: SOT 3747216 SOS 3111067 HAS SOPS 3068102 HAS SOUS 1310961 HAS SOUPS 1309557 WITH SCORE 1312668.067
AT ITER 9361 NEW BEST:: SOT 3748057 SOS 3111908 HAS SOPS 3068776 HAS SOUS 1310889 HAS SOUPS 1309485 WITH SCORE 1312596.908
AT ITER 9372 NEW BEST:: SOT 3759460 SOS 3085278 HAS SOPS 3025898 HAS SOUS 1310570 HAS SOUPS 1309166 WITH SCORE 1312251.278
AT ITER 9397 NEW BEST:: SOT 3760573 SOS 3086196 HAS SOPS 3026816 HAS SOUS 1308972 HAS SOUPS 1307568 WITH SCORE 1310654.196
AT ITER 9402 NEW BEST:: SOT 3772374 SOS 3090174 HAS SOPS 3028592 HAS SOUS 1297921 HAS SOUPS 1296517 WITH SCORE 1299607.174
AT ITER 9429 NEW BEST:: SOT 3771650 SOS 3089450 HAS SOPS 3027868 HAS SOUS 1297197 HAS SOUPS 1295793 WITH SCORE 1298882.45
AT ITER 9525 NEW BEST:: SOT 3771650 SOS 3089450 HAS SOPS 3027868 HAS SOUS 1296951 HAS SOUPS 1295547 WITH SCORE 1298636.45
AT ITER 9542 NEW BEST:: SOT 3806347 SOS 3120154 HAS SOPS 3057329 HAS SOUS 1291668 HAS SOUPS 1290264 WITH SCORE 1293384.154
AT ITER 9551 NEW BEST:: SOT 3806879 SOS 3120686 HAS SOPS 3057861 HAS SOUS 1291509 HAS SOUPS 1290105 WITH SCORE 1293225.686
AT ITER 9650 NEW BEST:: SOT 3812562 SOS 3126022 HAS SOPS 3062660 HAS SOUS 1287424 HAS SOUPS 1286020 WITH SCORE 1289146.022
AT ITER 9686 NEW BEST:: SOT 3812952 SOS 3126412 HAS SOPS 3063050 HAS SOUS 1287234 HAS SOUPS 1285830 WITH SCORE 1288956.412
AT ITER 9695 NEW BEST:: SOT 3812952 SOS 3126412 HAS SOPS 3063050 HAS SOUS 1287095 HAS SOUPS 1285691 WITH SCORE 1288817.412
AT ITER 9755 NEW BEST:: SOT 3806099 SOS 3119559 HAS SOPS 3056197 HAS SOUS 1286472 HAS SOUPS 1285068 WITH SCORE 1288187.559
AT ITER 9761 NEW BEST:: SOT 3813459 SOS 3126916 HAS SOPS 3062922 HAS SOUS 1285339 HAS SOUPS 1283935 WITH SCORE 1287061.916
AT ITER 9774 NEW BEST:: SOT 3807306 SOS 3120763 HAS SOPS 3057355 HAS SOUS 1285339 HAS SOUPS 1283935 WITH SCORE 1287055.763
AT ITER 9794 NEW BEST:: SOT 3808624 SOS 3122081 HAS SOPS 3058673 HAS SOUS 1285307 HAS SOUPS 1283903 WITH SCORE 1287025.081
AT ITER 9818 NEW BEST:: SOT 3808624 SOS 3121116 HAS SOPS 3057708 HAS SOUS 1284556 HAS SOUPS 1283152 WITH SCORE 1286273.116
AT ITER 9819 NEW BEST:: SOT 3808624 SOS 3121020 HAS SOPS 3057612 HAS SOUS 1284556 HAS SOUPS 1283152 WITH SCORE 1286273.02
AT ITER 9883 NEW BEST:: SOT 3808624 SOS 3121020 HAS SOPS 3057612 HAS SOUS 1284348 HAS SOUPS 1282944 WITH SCORE 1286065.02
AT ITER 9886 NEW BEST:: SOT 3808768 SOS 3121164 HAS SOPS 3057756 HAS SOUS 1283982 HAS SOUPS 1282578 WITH SCORE 1285699.164
AT ITER 9896 NEW BEST:: SOT 3826053 SOS 3134478 HAS SOPS 3069827 HAS SOUS 1260855 HAS SOUPS 1259451 WITH SCORE 1262585.478
AT ITER 9952 NEW BEST:: SOT 3824078 SOS 3132503 HAS SOPS 3067852 HAS SOUS 1260460 HAS SOUPS 1259056 WITH SCORE 1262188.503
AT ITER 9981 NEW BEST:: SOT 3825432 SOS 3133380 HAS SOPS 3068729 HAS SOUS 1259384 HAS SOUPS 1257980 WITH SCORE 1261113.38
AT ITER 9987 NEW BEST:: SOT 3825993 SOS 3133941 HAS SOPS 3069290 HAS SOUS 1259320 HAS SOUPS 1257916 WITH SCORE 1261049.941
AT ITER 9996 NEW BEST:: SOT 3824295 SOS 3132243 HAS SOPS 3067592 HAS SOUS 1258269 HAS SOUPS 1256865 WITH SCORE 1259997.243
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12336840 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120728 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DBSingleClientW-PT-d2m06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DBSingleClientW-PT-d2m06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484000312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m06.tgz
mv DBSingleClientW-PT-d2m06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;