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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678363358958

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-d2m08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 12:02:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 12:02:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 12:02:40] [INFO ] Load time of PNML (sax parser for PT used): 170 ms
[2023-03-09 12:02:40] [INFO ] Transformed 4763 places.
[2023-03-09 12:02:40] [INFO ] Transformed 2478 transitions.
[2023-03-09 12:02:40] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 260 ms.
[2023-03-09 12:02:40] [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 314 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m08
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 18 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2064900 HAS SOUPS 2064872 WITH SCORE 2067718.537
AT ITER 29 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2064481 HAS SOUPS 2064453 WITH SCORE 2067299.537
AT ITER 59 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2063762 HAS SOUPS 2063734 WITH SCORE 2066580.537
AT ITER 71 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2063702 HAS SOUPS 2063674 WITH SCORE 2066520.537
AT ITER 76 NEW BEST:: SOT 2906573 SOS 2847116 HAS SOPS 2847088 HAS SOUS 2062967 HAS SOUPS 2062939 WITH SCORE 2065786.116
AT ITER 80 NEW BEST:: SOT 2906573 SOS 2847116 HAS SOPS 2847088 HAS SOUS 2060548 HAS SOUPS 2060520 WITH SCORE 2063367.116
AT ITER 150 NEW BEST:: SOT 2906573 SOS 2846415 HAS SOPS 2846387 HAS SOUS 2060500 HAS SOUPS 2060472 WITH SCORE 2063318.415
AT ITER 152 NEW BEST:: SOT 2909248 SOS 2849090 HAS SOPS 2849062 HAS SOUS 2059699 HAS SOUPS 2059671 WITH SCORE 2062520.09
AT ITER 191 NEW BEST:: SOT 2910094 SOS 2849936 HAS SOPS 2849908 HAS SOUS 2059562 HAS SOUPS 2059534 WITH SCORE 2062383.936
AT ITER 209 NEW BEST:: SOT 2910094 SOS 2849936 HAS SOPS 2849908 HAS SOUS 2059127 HAS SOUPS 2059099 WITH SCORE 2061948.936
AT ITER 218 NEW BEST:: SOT 2910094 SOS 2849936 HAS SOPS 2849908 HAS SOUS 2058900 HAS SOUPS 2058872 WITH SCORE 2061721.936
AT ITER 224 NEW BEST:: SOT 2911884 SOS 2851726 HAS SOPS 2851698 HAS SOUS 2054999 HAS SOUPS 2054971 WITH SCORE 2057822.726
AT ITER 227 NEW BEST:: SOT 2912079 SOS 2851921 HAS SOPS 2851893 HAS SOUS 2053939 HAS SOUPS 2053911 WITH SCORE 2056762.921
AT ITER 236 NEW BEST:: SOT 2912079 SOS 2851921 HAS SOPS 2851893 HAS SOUS 2053907 HAS SOUPS 2053879 WITH SCORE 2056730.921
AT ITER 255 NEW BEST:: SOT 2912079 SOS 2851921 HAS SOPS 2851893 HAS SOUS 2052539 HAS SOUPS 2052511 WITH SCORE 2055362.921
AT ITER 288 NEW BEST:: SOT 2912079 SOS 2851921 HAS SOPS 2851893 HAS SOUS 2052511 HAS SOUPS 2052483 WITH SCORE 2055334.921
AT ITER 293 NEW BEST:: SOT 2912345 SOS 2852187 HAS SOPS 2852159 HAS SOUS 2052510 HAS SOUPS 2052482 WITH SCORE 2055334.187
AT ITER 320 NEW BEST:: SOT 2912345 SOS 2852187 HAS SOPS 2852159 HAS SOUS 2052491 HAS SOUPS 2052463 WITH SCORE 2055315.187
AT ITER 334 NEW BEST:: SOT 2912357 SOS 2852199 HAS SOPS 2852171 HAS SOUS 2052095 HAS SOUPS 2052067 WITH SCORE 2054919.199
AT ITER 338 NEW BEST:: SOT 2913297 SOS 2853139 HAS SOPS 2853111 HAS SOUS 2047524 HAS SOUPS 2047496 WITH SCORE 2050349.139
AT ITER 405 NEW BEST:: SOT 2913297 SOS 2853139 HAS SOPS 2853111 HAS SOUS 2047046 HAS SOUPS 2047018 WITH SCORE 2049871.139
AT ITER 410 NEW BEST:: SOT 2913333 SOS 2853175 HAS SOPS 2853147 HAS SOUS 2045569 HAS SOUPS 2045541 WITH SCORE 2048394.175
AT ITER 460 NEW BEST:: SOT 2913333 SOS 2853175 HAS SOPS 2853147 HAS SOUS 2044594 HAS SOUPS 2044566 WITH SCORE 2047419.175
AT ITER 478 NEW BEST:: SOT 2914325 SOS 2852505 HAS SOPS 2852477 HAS SOUS 2044594 HAS SOUPS 2044566 WITH SCORE 2047418.505
AT ITER 548 NEW BEST:: SOT 2914325 SOS 2852505 HAS SOPS 2852477 HAS SOUS 2043822 HAS SOUPS 2043794 WITH SCORE 2046646.505
AT ITER 576 NEW BEST:: SOT 2915090 SOS 2853270 HAS SOPS 2853242 HAS SOUS 2043287 HAS SOUPS 2043259 WITH SCORE 2046112.27
AT ITER 597 NEW BEST:: SOT 2915090 SOS 2853270 HAS SOPS 2853242 HAS SOUS 2042772 HAS SOUPS 2042744 WITH SCORE 2045597.27
AT ITER 609 NEW BEST:: SOT 2916671 SOS 2854851 HAS SOPS 2854823 HAS SOUS 2041549 HAS SOUPS 2041521 WITH SCORE 2044375.851
AT ITER 639 NEW BEST:: SOT 2916671 SOS 2854851 HAS SOPS 2854823 HAS SOUS 2041347 HAS SOUPS 2041319 WITH SCORE 2044173.851
AT ITER 668 NEW BEST:: SOT 2916671 SOS 2854851 HAS SOPS 2854823 HAS SOUS 2041258 HAS SOUPS 2041230 WITH SCORE 2044084.851
AT ITER 672 NEW BEST:: SOT 2916671 SOS 2854851 HAS SOPS 2854823 HAS SOUS 2041014 HAS SOUPS 2040986 WITH SCORE 2043840.851
AT ITER 701 NEW BEST:: SOT 2916902 SOS 2855082 HAS SOPS 2855054 HAS SOUS 2041010 HAS SOUPS 2040982 WITH SCORE 2043837.082
AT ITER 741 NEW BEST:: SOT 2916902 SOS 2855082 HAS SOPS 2855054 HAS SOUS 2039590 HAS SOUPS 2039562 WITH SCORE 2042417.082
AT ITER 782 NEW BEST:: SOT 2916902 SOS 2855082 HAS SOPS 2855054 HAS SOUS 2039306 HAS SOUPS 2039278 WITH SCORE 2042133.082
AT ITER 797 NEW BEST:: SOT 2917670 SOS 2855850 HAS SOPS 2855822 HAS SOUS 2037925 HAS SOUPS 2037897 WITH SCORE 2040752.85
AT ITER 828 NEW BEST:: SOT 2918112 SOS 2856292 HAS SOPS 2856264 HAS SOUS 2037416 HAS SOUPS 2037388 WITH SCORE 2040244.292
AT ITER 849 NEW BEST:: SOT 2919723 SOS 2857903 HAS SOPS 2857875 HAS SOUS 2035650 HAS SOUPS 2035622 WITH SCORE 2038479.903
AT ITER 854 NEW BEST:: SOT 2919723 SOS 2843335 HAS SOPS 2843307 HAS SOUS 2035592 HAS SOUPS 2035564 WITH SCORE 2038407.335
AT ITER 857 NEW BEST:: SOT 2919996 SOS 2843608 HAS SOPS 2843580 HAS SOUS 2034294 HAS SOUPS 2034266 WITH SCORE 2037109.608
AT ITER 896 NEW BEST:: SOT 2920714 SOS 2844326 HAS SOPS 2844298 HAS SOUS 2033979 HAS SOUPS 2033951 WITH SCORE 2036795.326
AT ITER 962 NEW BEST:: SOT 2922121 SOS 2845374 HAS SOPS 2845346 HAS SOUS 2032985 HAS SOUPS 2032957 WITH SCORE 2035802.374
AT ITER 1001 NEW BEST:: SOT 2922437 SOS 2845690 HAS SOPS 2845662 HAS SOUS 2032532 HAS SOUPS 2032504 WITH SCORE 2035349.69
AT ITER 1003 NEW BEST:: SOT 2922437 SOS 2845690 HAS SOPS 2845662 HAS SOUS 2031851 HAS SOUPS 2031823 WITH SCORE 2034668.69
AT ITER 1014 NEW BEST:: SOT 2922437 SOS 2845690 HAS SOPS 2845662 HAS SOUS 2031850 HAS SOUPS 2031822 WITH SCORE 2034667.69
AT ITER 1015 NEW BEST:: SOT 2923046 SOS 2846299 HAS SOPS 2846271 HAS SOUS 2030467 HAS SOUPS 2030439 WITH SCORE 2033285.299
AT ITER 1018 NEW BEST:: SOT 2924246 SOS 2847499 HAS SOPS 2847471 HAS SOUS 2030055 HAS SOUPS 2030027 WITH SCORE 2032874.499
AT ITER 1020 NEW BEST:: SOT 2924246 SOS 2847018 HAS SOPS 2846990 HAS SOUS 2028979 HAS SOUPS 2028951 WITH SCORE 2031798.018
AT ITER 1024 NEW BEST:: SOT 2925506 SOS 2848278 HAS SOPS 2848250 HAS SOUS 2028172 HAS SOUPS 2028144 WITH SCORE 2030992.278
AT ITER 1031 NEW BEST:: SOT 2925506 SOS 2848278 HAS SOPS 2848250 HAS SOUS 2026880 HAS SOUPS 2026852 WITH SCORE 2029700.278
AT ITER 1052 NEW BEST:: SOT 2925506 SOS 2847962 HAS SOPS 2847934 HAS SOUS 2026588 HAS SOUPS 2026560 WITH SCORE 2029407.962
AT ITER 1074 NEW BEST:: SOT 2924561 SOS 2847017 HAS SOPS 2846989 HAS SOUS 2026399 HAS SOUPS 2026371 WITH SCORE 2029218.017
AT ITER 1075 NEW BEST:: SOT 2924561 SOS 2846765 HAS SOPS 2846737 HAS SOUS 2025533 HAS SOUPS 2025505 WITH SCORE 2028351.765
AT ITER 1120 NEW BEST:: SOT 2925917 SOS 2847633 HAS SOPS 2847605 HAS SOUS 2022798 HAS SOUPS 2022770 WITH SCORE 2025617.633
AT ITER 1149 NEW BEST:: SOT 2929873 SOS 2851103 HAS SOPS 2851075 HAS SOUS 2022337 HAS SOUPS 2022309 WITH SCORE 2025160.103
AT ITER 1167 NEW BEST:: SOT 2930633 SOS 2851863 HAS SOPS 2851835 HAS SOUS 2022094 HAS SOUPS 2022066 WITH SCORE 2024917.863
AT ITER 1176 NEW BEST:: SOT 2930672 SOS 2851567 HAS SOPS 2851539 HAS SOUS 2019762 HAS SOUPS 2019734 WITH SCORE 2022585.567
AT ITER 1198 NEW BEST:: SOT 2931454 SOS 2852349 HAS SOPS 2852321 HAS SOUS 2019439 HAS SOUPS 2019411 WITH SCORE 2022263.349
AT ITER 1222 NEW BEST:: SOT 2933332 SOS 2854227 HAS SOPS 2854199 HAS SOUS 2017872 HAS SOUPS 2017844 WITH SCORE 2020698.227
AT ITER 1227 NEW BEST:: SOT 2933332 SOS 2854227 HAS SOPS 2854199 HAS SOUS 2017708 HAS SOUPS 2017680 WITH SCORE 2020534.227
AT ITER 1241 NEW BEST:: SOT 2934477 SOS 2855372 HAS SOPS 2855344 HAS SOUS 2013088 HAS SOUPS 2013060 WITH SCORE 2015915.372
AT ITER 1275 NEW BEST:: SOT 2935509 SOS 2856404 HAS SOPS 2856376 HAS SOUS 2010685 HAS SOUPS 2010657 WITH SCORE 2013513.404
AT ITER 1276 NEW BEST:: SOT 2935509 SOS 2856404 HAS SOPS 2856376 HAS SOUS 2010162 HAS SOUPS 2010134 WITH SCORE 2012990.404
AT ITER 1286 NEW BEST:: SOT 2935509 SOS 2855889 HAS SOPS 2855861 HAS SOUS 2008414 HAS SOUPS 2008386 WITH SCORE 2011241.889
AT ITER 1287 NEW BEST:: SOT 2935537 SOS 2855917 HAS SOPS 2855889 HAS SOUS 2007373 HAS SOUPS 2007345 WITH SCORE 2010200.917
AT ITER 1337 NEW BEST:: SOT 2935891 SOS 2856271 HAS SOPS 2856243 HAS SOUS 2005962 HAS SOUPS 2005934 WITH SCORE 2008790.271
AT ITER 1355 NEW BEST:: SOT 2935931 SOS 2856311 HAS SOPS 2856283 HAS SOUS 2005640 HAS SOUPS 2005612 WITH SCORE 2008468.311
AT ITER 1373 NEW BEST:: SOT 2935931 SOS 2856311 HAS SOPS 2856283 HAS SOUS 2005286 HAS SOUPS 2005258 WITH SCORE 2008114.311
AT ITER 1377 NEW BEST:: SOT 2936213 SOS 2856593 HAS SOPS 2856565 HAS SOUS 2005147 HAS SOUPS 2005119 WITH SCORE 2007975.593
AT ITER 1396 NEW BEST:: SOT 2936749 SOS 2857129 HAS SOPS 2857101 HAS SOUS 2003044 HAS SOUPS 2003016 WITH SCORE 2005873.129
AT ITER 1408 NEW BEST:: SOT 2939059 SOS 2859439 HAS SOPS 2859411 HAS SOUS 1999167 HAS SOUPS 1999139 WITH SCORE 2001998.439
AT ITER 1430 NEW BEST:: SOT 2939621 SOS 2860001 HAS SOPS 2859973 HAS SOUS 1998977 HAS SOUPS 1998949 WITH SCORE 2001809.001
AT ITER 1436 NEW BEST:: SOT 2939621 SOS 2860001 HAS SOPS 2859973 HAS SOUS 1998798 HAS SOUPS 1998770 WITH SCORE 2001630.001
AT ITER 1452 NEW BEST:: SOT 2939621 SOS 2860001 HAS SOPS 2859973 HAS SOUS 1998554 HAS SOUPS 1998526 WITH SCORE 2001386.001
AT ITER 1472 NEW BEST:: SOT 2940067 SOS 2860447 HAS SOPS 2860419 HAS SOUS 1998095 HAS SOUPS 1998067 WITH SCORE 2000927.447
AT ITER 1487 NEW BEST:: SOT 2940067 SOS 2860447 HAS SOPS 2860419 HAS SOUS 1998090 HAS SOUPS 1998062 WITH SCORE 2000922.447
AT ITER 1494 NEW BEST:: SOT 2940067 SOS 2860339 HAS SOPS 2860311 HAS SOUS 1997871 HAS SOUPS 1997843 WITH SCORE 2000703.339
AT ITER 1496 NEW BEST:: SOT 2940067 SOS 2860339 HAS SOPS 2860311 HAS SOUS 1997830 HAS SOUPS 1997802 WITH SCORE 2000662.339
AT ITER 1497 NEW BEST:: SOT 2940427 SOS 2860699 HAS SOPS 2860671 HAS SOUS 1996269 HAS SOUPS 1996241 WITH SCORE 1999101.699
AT ITER 1519 NEW BEST:: SOT 2941661 SOS 2861933 HAS SOPS 2861905 HAS SOUS 1995191 HAS SOUPS 1995163 WITH SCORE 1998024.933
AT ITER 1530 NEW BEST:: SOT 2941661 SOS 2861240 HAS SOPS 2861212 HAS SOUS 1995173 HAS SOUPS 1995145 WITH SCORE 1998006.24
AT ITER 1566 NEW BEST:: SOT 2941661 SOS 2861240 HAS SOPS 2861212 HAS SOUS 1994998 HAS SOUPS 1994970 WITH SCORE 1997831.24
AT ITER 1578 NEW BEST:: SOT 2943404 SOS 2862622 HAS SOPS 2862594 HAS SOUS 1993322 HAS SOUPS 1993294 WITH SCORE 1996156.622
AT ITER 1591 NEW BEST:: SOT 2944154 SOS 2863372 HAS SOPS 2863344 HAS SOUS 1992577 HAS SOUPS 1992549 WITH SCORE 1995412.372
AT ITER 1593 NEW BEST:: SOT 2944154 SOS 2863372 HAS SOPS 2863344 HAS SOUS 1992047 HAS SOUPS 1992019 WITH SCORE 1994882.372
AT ITER 1623 NEW BEST:: SOT 2950074 SOS 2868774 HAS SOPS 2868746 HAS SOUS 1991693 HAS SOUPS 1991665 WITH SCORE 1994533.774
AT ITER 1635 NEW BEST:: SOT 2952810 SOS 2871023 HAS SOPS 2870995 HAS SOUS 1989582 HAS SOUPS 1989554 WITH SCORE 1992425.023
AT ITER 1644 NEW BEST:: SOT 2952810 SOS 2871023 HAS SOPS 2870995 HAS SOUS 1989433 HAS SOUPS 1989405 WITH SCORE 1992276.023
AT ITER 1651 NEW BEST:: SOT 2952810 SOS 2871023 HAS SOPS 2870995 HAS SOUS 1989223 HAS SOUPS 1989195 WITH SCORE 1992066.023
AT ITER 1663 NEW BEST:: SOT 2954316 SOS 2872529 HAS SOPS 2872501 HAS SOUS 1987317 HAS SOUPS 1987289 WITH SCORE 1990161.529
AT ITER 1710 NEW BEST:: SOT 2954316 SOS 2872529 HAS SOPS 2872501 HAS SOUS 1986987 HAS SOUPS 1986959 WITH SCORE 1989831.529
AT ITER 1728 NEW BEST:: SOT 2954316 SOS 2872529 HAS SOPS 2872501 HAS SOUS 1986013 HAS SOUPS 1985985 WITH SCORE 1988857.529
AT ITER 1754 NEW BEST:: SOT 2954316 SOS 2872529 HAS SOPS 2872501 HAS SOUS 1985959 HAS SOUPS 1985931 WITH SCORE 1988803.529
AT ITER 1785 NEW BEST:: SOT 2954604 SOS 2872817 HAS SOPS 2872789 HAS SOUS 1985415 HAS SOUPS 1985387 WITH SCORE 1988259.817
AT ITER 1810 NEW BEST:: SOT 2954604 SOS 2872817 HAS SOPS 2872789 HAS SOUS 1984068 HAS SOUPS 1984040 WITH SCORE 1986912.817
AT ITER 1814 NEW BEST:: SOT 2954604 SOS 2872817 HAS SOPS 2872789 HAS SOUS 1983120 HAS SOUPS 1983092 WITH SCORE 1985964.817
AT ITER 1826 NEW BEST:: SOT 2960074 SOS 2878287 HAS SOPS 2878259 HAS SOUS 1982414 HAS SOUPS 1982386 WITH SCORE 1985264.287
AT ITER 1831 NEW BEST:: SOT 2961874 SOS 2879593 HAS SOPS 2879565 HAS SOUS 1978438 HAS SOUPS 1978410 WITH SCORE 1981289.593
AT ITER 1838 NEW BEST:: SOT 2961874 SOS 2879593 HAS SOPS 2879565 HAS SOUS 1978326 HAS SOUPS 1978298 WITH SCORE 1981177.593
AT ITER 1879 NEW BEST:: SOT 2961890 SOS 2879609 HAS SOPS 2879581 HAS SOUS 1977892 HAS SOUPS 1977864 WITH SCORE 1980743.609
AT ITER 1885 NEW BEST:: SOT 2962862 SOS 2880581 HAS SOPS 2880553 HAS SOUS 1977891 HAS SOUPS 1977863 WITH SCORE 1980743.581
AT ITER 1887 NEW BEST:: SOT 2963954 SOS 2881673 HAS SOPS 2881645 HAS SOUS 1976921 HAS SOUPS 1976893 WITH SCORE 1979774.673
AT ITER 1888 NEW BEST:: SOT 2970929 SOS 2888113 HAS SOPS 2888085 HAS SOUS 1974474 HAS SOUPS 1974446 WITH SCORE 1977334.113
AT ITER 1933 NEW BEST:: SOT 2972117 SOS 2889301 HAS SOPS 2889273 HAS SOUS 1973091 HAS SOUPS 1973063 WITH SCORE 1975952.301
AT ITER 1938 NEW BEST:: SOT 2973809 SOS 2890993 HAS SOPS 2890965 HAS SOUS 1972046 HAS SOUPS 1972018 WITH SCORE 1974908.993
AT ITER 1962 NEW BEST:: SOT 2973627 SOS 2890811 HAS SOPS 2890783 HAS SOUS 1971980 HAS SOUPS 1971952 WITH SCORE 1974842.811
AT ITER 1982 NEW BEST:: SOT 2973627 SOS 2890811 HAS SOPS 2890783 HAS SOUS 1971933 HAS SOUPS 1971905 WITH SCORE 1974795.811
AT ITER 1989 NEW BEST:: SOT 2976366 SOS 2893550 HAS SOPS 2893522 HAS SOUS 1971188 HAS SOUPS 1971160 WITH SCORE 1974053.55
AT ITER 1997 NEW BEST:: SOT 2976729 SOS 2893913 HAS SOPS 2893885 HAS SOUS 1969655 HAS SOUPS 1969627 WITH SCORE 1972520.913
AT ITER 2037 NEW BEST:: SOT 2977813 SOS 2894997 HAS SOPS 2894969 HAS SOUS 1969634 HAS SOUPS 1969606 WITH SCORE 1972500.997
AT ITER 2039 NEW BEST:: SOT 2977813 SOS 2894997 HAS SOPS 2894969 HAS SOUS 1969055 HAS SOUPS 1969027 WITH SCORE 1971921.997
AT ITER 2044 NEW BEST:: SOT 2978120 SOS 2895304 HAS SOPS 2895276 HAS SOUS 1968385 HAS SOUPS 1968357 WITH SCORE 1971252.304
AT ITER 2045 NEW BEST:: SOT 2978120 SOS 2894811 HAS SOPS 2894783 HAS SOUS 1965718 HAS SOUPS 1965690 WITH SCORE 1968584.811
AT ITER 2101 NEW BEST:: SOT 2978722 SOS 2895413 HAS SOPS 2895385 HAS SOUS 1965259 HAS SOUPS 1965231 WITH SCORE 1968126.413
AT ITER 2108 NEW BEST:: SOT 2978722 SOS 2895413 HAS SOPS 2895385 HAS SOUS 1964785 HAS SOUPS 1964757 WITH SCORE 1967652.413
AT ITER 2110 NEW BEST:: SOT 2979244 SOS 2895935 HAS SOPS 2895907 HAS SOUS 1964648 HAS SOUPS 1964620 WITH SCORE 1967515.935
AT ITER 2124 NEW BEST:: SOT 2979244 SOS 2895935 HAS SOPS 2895907 HAS SOUS 1964609 HAS SOUPS 1964581 WITH SCORE 1967476.935
AT ITER 2147 NEW BEST:: SOT 2979109 SOS 2895800 HAS SOPS 2895772 HAS SOUS 1964564 HAS SOUPS 1964536 WITH SCORE 1967431.8
AT ITER 2177 NEW BEST:: SOT 2979109 SOS 2895800 HAS SOPS 2895772 HAS SOUS 1964238 HAS SOUPS 1964210 WITH SCORE 1967105.8
AT ITER 2201 NEW BEST:: SOT 2979511 SOS 2896202 HAS SOPS 2896174 HAS SOUS 1964230 HAS SOUPS 1964202 WITH SCORE 1967098.202
AT ITER 2209 NEW BEST:: SOT 2979973 SOS 2896318 HAS SOPS 2896290 HAS SOUS 1962980 HAS SOUPS 1962952 WITH SCORE 1965848.318
AT ITER 2225 NEW BEST:: SOT 2978383 SOS 2894728 HAS SOPS 2894700 HAS SOUS 1962432 HAS SOUPS 1962404 WITH SCORE 1965298.728
AT ITER 2277 NEW BEST:: SOT 2981941 SOS 2898286 HAS SOPS 2898258 HAS SOUS 1959933 HAS SOUPS 1959905 WITH SCORE 1962803.286
AT ITER 2294 NEW BEST:: SOT 2981941 SOS 2898286 HAS SOPS 2898258 HAS SOUS 1959930 HAS SOUPS 1959902 WITH SCORE 1962800.286
AT ITER 2314 NEW BEST:: SOT 2981941 SOS 2898286 HAS SOPS 2898258 HAS SOUS 1959916 HAS SOUPS 1959888 WITH SCORE 1962786.286
AT ITER 2318 NEW BEST:: SOT 2981941 SOS 2898286 HAS SOPS 2898258 HAS SOUS 1959529 HAS SOUPS 1959501 WITH SCORE 1962399.286
AT ITER 2329 NEW BEST:: SOT 2988936 SOS 2905281 HAS SOPS 2905253 HAS SOUS 1959178 HAS SOUPS 1959150 WITH SCORE 1962055.281
AT ITER 2330 NEW BEST:: SOT 2989626 SOS 2905971 HAS SOPS 2905943 HAS SOUS 1958287 HAS SOUPS 1958259 WITH SCORE 1961164.971
AT ITER 2343 NEW BEST:: SOT 2990476 SOS 2906821 HAS SOPS 2906793 HAS SOUS 1958030 HAS SOUPS 1958002 WITH SCORE 1960908.821
AT ITER 2348 NEW BEST:: SOT 2991817 SOS 2908162 HAS SOPS 2908134 HAS SOUS 1955249 HAS SOUPS 1955221 WITH SCORE 1958129.162
AT ITER 2352 NEW BEST:: SOT 2991817 SOS 2908162 HAS SOPS 2908134 HAS SOUS 1953211 HAS SOUPS 1953183 WITH SCORE 1956091.162
AT ITER 2388 NEW BEST:: SOT 2995321 SOS 2911318 HAS SOPS 2911290 HAS SOUS 1952048 HAS SOUPS 1952020 WITH SCORE 1954931.318
AT ITER 2392 NEW BEST:: SOT 2995321 SOS 2911318 HAS SOPS 2911290 HAS SOUS 1951031 HAS SOUPS 1951003 WITH SCORE 1953914.318
AT ITER 2396 NEW BEST:: SOT 2997521 SOS 2913518 HAS SOPS 2913490 HAS SOUS 1947134 HAS SOUPS 1947106 WITH SCORE 1950019.518
AT ITER 2435 NEW BEST:: SOT 2997521 SOS 2913089 HAS SOPS 2913061 HAS SOUS 1947035 HAS SOUPS 1947007 WITH SCORE 1949920.089
AT ITER 2450 NEW BEST:: SOT 2997515 SOS 2913083 HAS SOPS 2913055 HAS SOUS 1947035 HAS SOUPS 1947007 WITH SCORE 1949920.083
AT ITER 2463 NEW BEST:: SOT 2996894 SOS 2912462 HAS SOPS 2912434 HAS SOUS 1946678 HAS SOUPS 1946650 WITH SCORE 1949562.462
AT ITER 2466 NEW BEST:: SOT 3004426 SOS 2919994 HAS SOPS 2919966 HAS SOUS 1945070 HAS SOUPS 1945042 WITH SCORE 1947961.994
AT ITER 2483 NEW BEST:: SOT 3004426 SOS 2919173 HAS SOPS 2919145 HAS SOUS 1944369 HAS SOUPS 1944341 WITH SCORE 1947260.173
AT ITER 2488 NEW BEST:: SOT 3004426 SOS 2919173 HAS SOPS 2919145 HAS SOUS 1944273 HAS SOUPS 1944245 WITH SCORE 1947164.173
AT ITER 2515 NEW BEST:: SOT 3004099 SOS 2918846 HAS SOPS 2918818 HAS SOUS 1944055 HAS SOUPS 1944027 WITH SCORE 1946945.846
AT ITER 2524 NEW BEST:: SOT 3004837 SOS 2919584 HAS SOPS 2919556 HAS SOUS 1942766 HAS SOUPS 1942738 WITH SCORE 1945657.584
AT ITER 2537 NEW BEST:: SOT 3005661 SOS 2920408 HAS SOPS 2920380 HAS SOUS 1942268 HAS SOUPS 1942240 WITH SCORE 1945160.408
AT ITER 2554 NEW BEST:: SOT 3006839 SOS 2921586 HAS SOPS 2921558 HAS SOUS 1940615 HAS SOUPS 1940587 WITH SCORE 1943508.586
AT ITER 2565 NEW BEST:: SOT 3007911 SOS 2921840 HAS SOPS 2921812 HAS SOUS 1933540 HAS SOUPS 1933512 WITH SCORE 1936433.84
AT ITER 2592 NEW BEST:: SOT 3007499 SOS 2921428 HAS SOPS 2921400 HAS SOUS 1933540 HAS SOUPS 1933512 WITH SCORE 1936433.428
AT ITER 2597 NEW BEST:: SOT 3008231 SOS 2922160 HAS SOPS 2922132 HAS SOUS 1932798 HAS SOUPS 1932770 WITH SCORE 1935692.16
AT ITER 2642 NEW BEST:: SOT 3008231 SOS 2899145 HAS SOPS 2899117 HAS SOUS 1932803 HAS SOUPS 1932775 WITH SCORE 1935674.145
AT ITER 2668 NEW BEST:: SOT 3008545 SOS 2899459 HAS SOPS 2899431 HAS SOUS 1932178 HAS SOUPS 1932150 WITH SCORE 1935049.459
AT ITER 2681 NEW BEST:: SOT 3009709 SOS 2900623 HAS SOPS 2900595 HAS SOUS 1930156 HAS SOUPS 1930128 WITH SCORE 1933028.623
AT ITER 2750 NEW BEST:: SOT 3009709 SOS 2900623 HAS SOPS 2900595 HAS SOUS 1929189 HAS SOUPS 1929161 WITH SCORE 1932061.623
AT ITER 2766 NEW BEST:: SOT 3012279 SOS 2903193 HAS SOPS 2903165 HAS SOUS 1928391 HAS SOUPS 1928363 WITH SCORE 1931266.193
AT ITER 2768 NEW BEST:: SOT 3013779 SOS 2904693 HAS SOPS 2904665 HAS SOUS 1926513 HAS SOUPS 1926485 WITH SCORE 1929389.693
AT ITER 2769 NEW BEST:: SOT 3013723 SOS 2904637 HAS SOPS 2904609 HAS SOUS 1926485 HAS SOUPS 1926457 WITH SCORE 1929361.637
AT ITER 2776 NEW BEST:: SOT 3015497 SOS 2906411 HAS SOPS 2906383 HAS SOUS 1926300 HAS SOUPS 1926272 WITH SCORE 1929178.411
AT ITER 2789 NEW BEST:: SOT 3016268 SOS 2907182 HAS SOPS 2907154 HAS SOUS 1925623 HAS SOUPS 1925595 WITH SCORE 1928502.182
AT ITER 2801 NEW BEST:: SOT 3016583 SOS 2906964 HAS SOPS 2906936 HAS SOUS 1920982 HAS SOUPS 1920954 WITH SCORE 1923860.964
AT ITER 2809 NEW BEST:: SOT 3020471 SOS 2910505 HAS SOPS 2910477 HAS SOUS 1919949 HAS SOUPS 1919921 WITH SCORE 1922831.505
AT ITER 2816 NEW BEST:: SOT 3020471 SOS 2910505 HAS SOPS 2910477 HAS SOUS 1918894 HAS SOUPS 1918866 WITH SCORE 1921776.505
AT ITER 2818 NEW BEST:: SOT 3021033 SOS 2911067 HAS SOPS 2911039 HAS SOUS 1918879 HAS SOUPS 1918851 WITH SCORE 1921762.067
AT ITER 2824 NEW BEST:: SOT 3021757 SOS 2911791 HAS SOPS 2911763 HAS SOUS 1918810 HAS SOUPS 1918782 WITH SCORE 1921693.791
AT ITER 2826 NEW BEST:: SOT 3021757 SOS 2911791 HAS SOPS 2911763 HAS SOUS 1911355 HAS SOUPS 1911327 WITH SCORE 1914238.791
AT ITER 2834 NEW BEST:: SOT 3022454 SOS 2912488 HAS SOPS 2912460 HAS SOUS 1911111 HAS SOUPS 1911083 WITH SCORE 1913995.488
AT ITER 2839 NEW BEST:: SOT 3022454 SOS 2912488 HAS SOPS 2912460 HAS SOUS 1910631 HAS SOUPS 1910603 WITH SCORE 1913515.488
AT ITER 2878 NEW BEST:: SOT 3023784 SOS 2913818 HAS SOPS 2913790 HAS SOUS 1910564 HAS SOUPS 1910536 WITH SCORE 1913449.818
AT ITER 2879 NEW BEST:: SOT 3024219 SOS 2914253 HAS SOPS 2914225 HAS SOUS 1908331 HAS SOUPS 1908303 WITH SCORE 1911217.253
AT ITER 2891 NEW BEST:: SOT 3024219 SOS 2914253 HAS SOPS 2914225 HAS SOUS 1900588 HAS SOUPS 1900560 WITH SCORE 1903474.253
AT ITER 2896 NEW BEST:: SOT 3023735 SOS 2913769 HAS SOPS 2913741 HAS SOUS 1900328 HAS SOUPS 1900300 WITH SCORE 1903213.769
AT ITER 2900 NEW BEST:: SOT 3023735 SOS 2913681 HAS SOPS 2913653 HAS SOUS 1900328 HAS SOUPS 1900300 WITH SCORE 1903213.681
AT ITER 2910 NEW BEST:: SOT 3021363 SOS 2911309 HAS SOPS 2911281 HAS SOUS 1898392 HAS SOUPS 1898364 WITH SCORE 1901275.309
AT ITER 2939 NEW BEST:: SOT 3021888 SOS 2911834 HAS SOPS 2911806 HAS SOUS 1897871 HAS SOUPS 1897843 WITH SCORE 1900754.834
AT ITER 2949 NEW BEST:: SOT 3021888 SOS 2911834 HAS SOPS 2911806 HAS SOUS 1897870 HAS SOUPS 1897842 WITH SCORE 1900753.834
AT ITER 2955 NEW BEST:: SOT 3024078 SOS 2914024 HAS SOPS 2913996 HAS SOUS 1897488 HAS SOUPS 1897460 WITH SCORE 1900374.024
AT ITER 3001 NEW BEST:: SOT 3024064 SOS 2914010 HAS SOPS 2913982 HAS SOUS 1897474 HAS SOUPS 1897446 WITH SCORE 1900360.01
AT ITER 3002 NEW BEST:: SOT 3024190 SOS 2913895 HAS SOPS 2913867 HAS SOUS 1896413 HAS SOUPS 1896385 WITH SCORE 1899298.895
AT ITER 3012 NEW BEST:: SOT 3024410 SOS 2914115 HAS SOPS 2914087 HAS SOUS 1895786 HAS SOUPS 1895758 WITH SCORE 1898672.115
AT ITER 3017 NEW BEST:: SOT 3027522 SOS 2917186 HAS SOPS 2917158 HAS SOUS 1895026 HAS SOUPS 1894998 WITH SCORE 1897915.186
AT ITER 3056 NEW BEST:: SOT 3027902 SOS 2917566 HAS SOPS 2917538 HAS SOUS 1894680 HAS SOUPS 1894652 WITH SCORE 1897569.566
AT ITER 3070 NEW BEST:: SOT 3027902 SOS 2901460 HAS SOPS 2901432 HAS SOUS 1894684 HAS SOUPS 1894656 WITH SCORE 1897557.46
AT ITER 3076 NEW BEST:: SOT 3027014 SOS 2900572 HAS SOPS 2900544 HAS SOUS 1894092 HAS SOUPS 1894064 WITH SCORE 1896964.572
AT ITER 3081 NEW BEST:: SOT 3027014 SOS 2890512 HAS SOPS 2890484 HAS SOUS 1894092 HAS SOUPS 1894064 WITH SCORE 1896954.512
AT ITER 3082 NEW BEST:: SOT 3037886 SOS 2900553 HAS SOPS 2900525 HAS SOUS 1892328 HAS SOUPS 1892300 WITH SCORE 1895200.553
AT ITER 3093 NEW BEST:: SOT 3037886 SOS 2900656 HAS SOPS 2900628 HAS SOUS 1891878 HAS SOUPS 1891850 WITH SCORE 1894750.656
AT ITER 3096 NEW BEST:: SOT 3037886 SOS 2900656 HAS SOPS 2900628 HAS SOUS 1891842 HAS SOUPS 1891814 WITH SCORE 1894714.656
AT ITER 3103 NEW BEST:: SOT 3040619 SOS 2903389 HAS SOPS 2903361 HAS SOUS 1891126 HAS SOUPS 1891098 WITH SCORE 1894001.389
AT ITER 3119 NEW BEST:: SOT 3041234 SOS 2901259 HAS SOPS 2901231 HAS SOUS 1889729 HAS SOUPS 1889701 WITH SCORE 1892602.259
AT ITER 3141 NEW BEST:: SOT 3041988 SOS 2901737 HAS SOPS 2901709 HAS SOUS 1888721 HAS SOUPS 1888693 WITH SCORE 1891594.737
AT ITER 3149 NEW BEST:: SOT 3045868 SOS 2905617 HAS SOPS 2905589 HAS SOUS 1887565 HAS SOUPS 1887537 WITH SCORE 1890442.617
AT ITER 3151 NEW BEST:: SOT 3045868 SOS 2905502 HAS SOPS 2905474 HAS SOUS 1887326 HAS SOUPS 1887298 WITH SCORE 1890203.502
AT ITER 3177 NEW BEST:: SOT 3045868 SOS 2905502 HAS SOPS 2905474 HAS SOUS 1887189 HAS SOUPS 1887161 WITH SCORE 1890066.502
AT ITER 3181 NEW BEST:: SOT 3045868 SOS 2905157 HAS SOPS 2905129 HAS SOUS 1886577 HAS SOUPS 1886549 WITH SCORE 1889454.157
AT ITER 3190 NEW BEST:: SOT 3041753 SOS 2901042 HAS SOPS 2901014 HAS SOUS 1885632 HAS SOUPS 1885604 WITH SCORE 1888505.042
AT ITER 3191 NEW BEST:: SOT 3053217 SOS 2912035 HAS SOPS 2912007 HAS SOUS 1876755 HAS SOUPS 1876727 WITH SCORE 1879639.035
AT ITER 3194 NEW BEST:: SOT 3053550 SOS 2912030 HAS SOPS 2912002 HAS SOUS 1874533 HAS SOUPS 1874505 WITH SCORE 1877417.03
AT ITER 3208 NEW BEST:: SOT 3054738 SOS 2913218 HAS SOPS 2913190 HAS SOUS 1873457 HAS SOUPS 1873429 WITH SCORE 1876342.218
AT ITER 3225 NEW BEST:: SOT 3054738 SOS 2913218 HAS SOPS 2913190 HAS SOUS 1872979 HAS SOUPS 1872951 WITH SCORE 1875864.218
AT ITER 3232 NEW BEST:: SOT 3057788 SOS 2915478 HAS SOPS 2915450 HAS SOUS 1869267 HAS SOUPS 1869239 WITH SCORE 1872154.478
AT ITER 3266 NEW BEST:: SOT 3057988 SOS 2915678 HAS SOPS 2915650 HAS SOUS 1868476 HAS SOUPS 1868448 WITH SCORE 1871363.678
AT ITER 3283 NEW BEST:: SOT 3074944 SOS 2932634 HAS SOPS 2932606 HAS SOUS 1863671 HAS SOUPS 1863643 WITH SCORE 1866575.634
AT ITER 3295 NEW BEST:: SOT 3075641 SOS 2933331 HAS SOPS 2933303 HAS SOUS 1863492 HAS SOUPS 1863464 WITH SCORE 1866397.331
AT ITER 3335 NEW BEST:: SOT 3075709 SOS 2933399 HAS SOPS 2933371 HAS SOUS 1863465 HAS SOUPS 1863437 WITH SCORE 1866370.399
AT ITER 3360 NEW BEST:: SOT 3074710 SOS 2932400 HAS SOPS 2932372 HAS SOUS 1863132 HAS SOUPS 1863104 WITH SCORE 1866036.4
AT ITER 3382 NEW BEST:: SOT 3086359 SOS 2944049 HAS SOPS 2944021 HAS SOUS 1853014 HAS SOUPS 1852986 WITH SCORE 1855930.049
AT ITER 3411 NEW BEST:: SOT 3086887 SOS 2944577 HAS SOPS 2944549 HAS SOUS 1852263 HAS SOUPS 1852235 WITH SCORE 1855179.577
AT ITER 3432 NEW BEST:: SOT 3087661 SOS 2944188 HAS SOPS 2944026 HAS SOUS 1851390 HAS SOUPS 1851229 WITH SCORE 1854173.188
AT ITER 3466 NEW BEST:: SOT 3089677 SOS 2945724 HAS SOPS 2945562 HAS SOUS 1848917 HAS SOUPS 1848756 WITH SCORE 1851701.724
AT ITER 3473 NEW BEST:: SOT 3083377 SOS 2939424 HAS SOPS 2939262 HAS SOUS 1847221 HAS SOUPS 1847060 WITH SCORE 1849999.424
AT ITER 3484 NEW BEST:: SOT 3085781 SOS 2941828 HAS SOPS 2941666 HAS SOUS 1846054 HAS SOUPS 1845893 WITH SCORE 1848834.828
AT ITER 3498 NEW BEST:: SOT 3085781 SOS 2941828 HAS SOPS 2941666 HAS SOUS 1845560 HAS SOUPS 1845399 WITH SCORE 1848340.828
AT ITER 3499 NEW BEST:: SOT 3085943 SOS 2941990 HAS SOPS 2941828 HAS SOUS 1845552 HAS SOUPS 1845391 WITH SCORE 1848332.99
AT ITER 3519 NEW BEST:: SOT 3088218 SOS 2943987 HAS SOPS 2943825 HAS SOUS 1842323 HAS SOUPS 1842162 WITH SCORE 1845105.987
AT ITER 3527 NEW BEST:: SOT 3088218 SOS 2943710 HAS SOPS 2943548 HAS SOUS 1840128 HAS SOUPS 1839967 WITH SCORE 1842910.71
AT ITER 3528 NEW BEST:: SOT 3088401 SOS 2943780 HAS SOPS 2943618 HAS SOUS 1837906 HAS SOUPS 1837745 WITH SCORE 1840688.78
AT ITER 3560 NEW BEST:: SOT 3088401 SOS 2943780 HAS SOPS 2943618 HAS SOUS 1837227 HAS SOUPS 1837066 WITH SCORE 1840009.78
AT ITER 3573 NEW BEST:: SOT 3088401 SOS 2943780 HAS SOPS 2943618 HAS SOUS 1837127 HAS SOUPS 1836966 WITH SCORE 1839909.78
AT ITER 3613 NEW BEST:: SOT 3088299 SOS 2943678 HAS SOPS 2943516 HAS SOUS 1837093 HAS SOUPS 1836932 WITH SCORE 1839875.678
AT ITER 3620 NEW BEST:: SOT 3089067 SOS 2944446 HAS SOPS 2944284 HAS SOUS 1836998 HAS SOUPS 1836837 WITH SCORE 1839781.446
AT ITER 3624 NEW BEST:: SOT 3089067 SOS 2941450 HAS SOPS 2941288 HAS SOUS 1836962 HAS SOUPS 1836801 WITH SCORE 1839742.45
AT ITER 3625 NEW BEST:: SOT 3089067 SOS 2940627 HAS SOPS 2940465 HAS SOUS 1829927 HAS SOUPS 1829766 WITH SCORE 1832706.627
AT ITER 3627 NEW BEST:: SOT 3089067 SOS 2940627 HAS SOPS 2940465 HAS SOUS 1829909 HAS SOUPS 1829748 WITH SCORE 1832688.627
AT ITER 3629 NEW BEST:: SOT 3090635 SOS 2941710 HAS SOPS 2941548 HAS SOUS 1827214 HAS SOUPS 1827053 WITH SCORE 1829994.71
AT ITER 3653 NEW BEST:: SOT 3090635 SOS 2941324 HAS SOPS 2941162 HAS SOUS 1820313 HAS SOUPS 1820152 WITH SCORE 1823093.324
AT ITER 3656 NEW BEST:: SOT 3091069 SOS 2941758 HAS SOPS 2941596 HAS SOUS 1820205 HAS SOUPS 1820044 WITH SCORE 1822985.758
AT ITER 3659 NEW BEST:: SOT 3091069 SOS 2917791 HAS SOPS 2917629 HAS SOUS 1818064 HAS SOUPS 1817903 WITH SCORE 1820820.791
AT ITER 3672 NEW BEST:: SOT 3093365 SOS 2919036 HAS SOPS 2918874 HAS SOUS 1814631 HAS SOUPS 1814470 WITH SCORE 1817389.036
AT ITER 3673 NEW BEST:: SOT 3093365 SOS 2919036 HAS SOPS 2918874 HAS SOUS 1814601 HAS SOUPS 1814440 WITH SCORE 1817359.036
AT ITER 3687 NEW BEST:: SOT 3096127 SOS 2921745 HAS SOPS 2921583 HAS SOUS 1813495 HAS SOUPS 1813334 WITH SCORE 1816255.745
AT ITER 3716 NEW BEST:: SOT 3111379 SOS 2936172 HAS SOPS 2936010 HAS SOUS 1804714 HAS SOUPS 1804553 WITH SCORE 1807489.172
AT ITER 3726 NEW BEST:: SOT 3111379 SOS 2935498 HAS SOPS 2935336 HAS SOUS 1801654 HAS SOUPS 1801493 WITH SCORE 1804428.498
AT ITER 3740 NEW BEST:: SOT 3114880 SOS 2938663 HAS SOPS 2938501 HAS SOUS 1801149 HAS SOUPS 1800988 WITH SCORE 1803926.663
AT ITER 3745 NEW BEST:: SOT 3121137 SOS 2944252 HAS SOPS 2944090 HAS SOUS 1797331 HAS SOUPS 1797170 WITH SCORE 1800114.252
AT ITER 3762 NEW BEST:: SOT 3121137 SOS 2937732 HAS SOPS 2937570 HAS SOUS 1797247 HAS SOUPS 1797086 WITH SCORE 1800023.732
AT ITER 3787 NEW BEST:: SOT 3121137 SOS 2937427 HAS SOPS 2937265 HAS SOUS 1797247 HAS SOUPS 1797086 WITH SCORE 1800023.427
AT ITER 3804 NEW BEST:: SOT 3121925 SOS 2938215 HAS SOPS 2938053 HAS SOUS 1796758 HAS SOUPS 1796597 WITH SCORE 1799535.215
AT ITER 3818 NEW BEST:: SOT 3121735 SOS 2938025 HAS SOPS 2937863 HAS SOUS 1796294 HAS SOUPS 1796133 WITH SCORE 1799071.025
AT ITER 3827 NEW BEST:: SOT 3121735 SOS 2937431 HAS SOPS 2937269 HAS SOUS 1793027 HAS SOUPS 1792866 WITH SCORE 1795803.431
AT ITER 3831 NEW BEST:: SOT 3122293 SOS 2937989 HAS SOPS 2937827 HAS SOUS 1792979 HAS SOUPS 1792818 WITH SCORE 1795755.989
AT ITER 3832 NEW BEST:: SOT 3123209 SOS 2938905 HAS SOPS 2938743 HAS SOUS 1792546 HAS SOUPS 1792385 WITH SCORE 1795323.905
AT ITER 3857 NEW BEST:: SOT 3123209 SOS 2938905 HAS SOPS 2938743 HAS SOUS 1792176 HAS SOUPS 1792015 WITH SCORE 1794953.905
AT ITER 3899 NEW BEST:: SOT 3123209 SOS 2938902 HAS SOPS 2938740 HAS SOUS 1792176 HAS SOUPS 1792015 WITH SCORE 1794953.902
AT ITER 3909 NEW BEST:: SOT 3130590 SOS 2946283 HAS SOPS 2946121 HAS SOUS 1791007 HAS SOUPS 1790846 WITH SCORE 1793792.283
AT ITER 3916 NEW BEST:: SOT 3131649 SOS 2947019 HAS SOPS 2946857 HAS SOUS 1789729 HAS SOUPS 1789568 WITH SCORE 1792515.019
AT ITER 3917 NEW BEST:: SOT 3131649 SOS 2946645 HAS SOPS 2946483 HAS SOUS 1783092 HAS SOUPS 1782931 WITH SCORE 1785877.645
AT ITER 3936 NEW BEST:: SOT 3129773 SOS 2944769 HAS SOPS 2944607 HAS SOUS 1783092 HAS SOUPS 1782931 WITH SCORE 1785875.769
AT ITER 3937 NEW BEST:: SOT 3130417 SOS 2945413 HAS SOPS 2945251 HAS SOUS 1781999 HAS SOUPS 1781838 WITH SCORE 1784783.413
AT ITER 3943 NEW BEST:: SOT 3133209 SOS 2947499 HAS SOPS 2947337 HAS SOUS 1780569 HAS SOUPS 1780408 WITH SCORE 1783355.499
AT ITER 3964 NEW BEST:: SOT 3133209 SOS 2946994 HAS SOPS 2946832 HAS SOUS 1779659 HAS SOUPS 1779498 WITH SCORE 1782444.994
AT ITER 3969 NEW BEST:: SOT 3133721 SOS 2947506 HAS SOPS 2947344 HAS SOUS 1779443 HAS SOUPS 1779282 WITH SCORE 1782229.506
AT ITER 3971 NEW BEST:: SOT 3134109 SOS 2947894 HAS SOPS 2947732 HAS SOUS 1779420 HAS SOUPS 1779259 WITH SCORE 1782206.894
AT ITER 3972 NEW BEST:: SOT 3134109 SOS 2947894 HAS SOPS 2947732 HAS SOUS 1778385 HAS SOUPS 1778224 WITH SCORE 1781171.894
AT ITER 3976 NEW BEST:: SOT 3142391 SOS 2953988 HAS SOPS 2953703 HAS SOUS 1778040 HAS SOUPS 1777879 WITH SCORE 1780832.988
AT ITER 3988 NEW BEST:: SOT 3142745 SOS 2954342 HAS SOPS 2954057 HAS SOUS 1777418 HAS SOUPS 1777257 WITH SCORE 1780211.342
AT ITER 3990 NEW BEST:: SOT 3150937 SOS 2960083 HAS SOPS 2959798 HAS SOUS 1769039 HAS SOUPS 1768878 WITH SCORE 1771838.083
AT ITER 4018 NEW BEST:: SOT 3153514 SOS 2962660 HAS SOPS 2962375 HAS SOUS 1769018 HAS SOUPS 1768857 WITH SCORE 1771819.66
AT ITER 4022 NEW BEST:: SOT 3153514 SOS 2962660 HAS SOPS 2962375 HAS SOUS 1768959 HAS SOUPS 1768798 WITH SCORE 1771760.66
AT ITER 4025 NEW BEST:: SOT 3153821 SOS 2962837 HAS SOPS 2962429 HAS SOUS 1768921 HAS SOUPS 1768760 WITH SCORE 1771722.837
AT ITER 4031 NEW BEST:: SOT 3146789 SOS 2955805 HAS SOPS 2955397 HAS SOUS 1768921 HAS SOUPS 1768760 WITH SCORE 1771715.805
AT ITER 4047 NEW BEST:: SOT 3146789 SOS 2955531 HAS SOPS 2955123 HAS SOUS 1768921 HAS SOUPS 1768760 WITH SCORE 1771715.531
AT ITER 4053 NEW BEST:: SOT 3146789 SOS 2955531 HAS SOPS 2955123 HAS SOUS 1766890 HAS SOUPS 1766729 WITH SCORE 1769684.531
AT ITER 4074 NEW BEST:: SOT 3147617 SOS 2956359 HAS SOPS 2955951 HAS SOUS 1766640 HAS SOUPS 1766479 WITH SCORE 1769435.359
AT ITER 4095 NEW BEST:: SOT 3148449 SOS 2957191 HAS SOPS 2956783 HAS SOUS 1766045 HAS SOUPS 1765884 WITH SCORE 1768841.191
AT ITER 4111 NEW BEST:: SOT 3148647 SOS 2957389 HAS SOPS 2956981 HAS SOUS 1765813 HAS SOUPS 1765652 WITH SCORE 1768609.389
AT ITER 4130 NEW BEST:: SOT 3148647 SOS 2957346 HAS SOPS 2956938 HAS SOUS 1765813 HAS SOUPS 1765652 WITH SCORE 1768609.346
AT ITER 4132 NEW BEST:: SOT 3148647 SOS 2957250 HAS SOPS 2956842 HAS SOUS 1764576 HAS SOUPS 1764415 WITH SCORE 1767372.25
AT ITER 4138 NEW BEST:: SOT 3148647 SOS 2956844 HAS SOPS 2956436 HAS SOUS 1760824 HAS SOUPS 1760663 WITH SCORE 1763619.844
AT ITER 4146 NEW BEST:: SOT 3151243 SOS 2959440 HAS SOPS 2959032 HAS SOUS 1758373 HAS SOUPS 1758212 WITH SCORE 1761171.44
AT ITER 4150 NEW BEST:: SOT 3151421 SOS 2959592 HAS SOPS 2959184 HAS SOUS 1757481 HAS SOUPS 1757320 WITH SCORE 1760279.592
AT ITER 4166 NEW BEST:: SOT 3150432 SOS 2958603 HAS SOPS 2958195 HAS SOUS 1757160 HAS SOUPS 1756999 WITH SCORE 1759957.603
AT ITER 4204 NEW BEST:: SOT 3170292 SOS 2978190 HAS SOPS 2977782 HAS SOUS 1751823 HAS SOUPS 1751662 WITH SCORE 1754640.19
AT ITER 4208 NEW BEST:: SOT 3191676 SOS 2999574 HAS SOPS 2999166 HAS SOUS 1745350 HAS SOUPS 1745189 WITH SCORE 1748188.574
AT ITER 4221 NEW BEST:: SOT 3191923 SOS 2999821 HAS SOPS 2999413 HAS SOUS 1745259 HAS SOUPS 1745098 WITH SCORE 1748097.821
AT ITER 4224 NEW BEST:: SOT 3192520 SOS 3000418 HAS SOPS 3000010 HAS SOUS 1743081 HAS SOUPS 1742920 WITH SCORE 1745920.418
AT ITER 4228 NEW BEST:: SOT 3193360 SOS 3001258 HAS SOPS 3000850 HAS SOUS 1742285 HAS SOUPS 1742124 WITH SCORE 1745125.258
AT ITER 4240 NEW BEST:: SOT 3194950 SOS 3002848 HAS SOPS 3002440 HAS SOUS 1742116 HAS SOUPS 1741955 WITH SCORE 1744957.848
AT ITER 4262 NEW BEST:: SOT 3195145 SOS 3003043 HAS SOPS 3002635 HAS SOUS 1742084 HAS SOUPS 1741923 WITH SCORE 1744926.043
AT ITER 4277 NEW BEST:: SOT 3195509 SOS 3003407 HAS SOPS 3002999 HAS SOUS 1741635 HAS SOUPS 1741474 WITH SCORE 1744477.407
AT ITER 4295 NEW BEST:: SOT 3196365 SOS 3004263 HAS SOPS 3003855 HAS SOUS 1741425 HAS SOUPS 1741264 WITH SCORE 1744268.263
AT ITER 4313 NEW BEST:: SOT 3197199 SOS 3005097 HAS SOPS 3004689 HAS SOUS 1741277 HAS SOUPS 1741116 WITH SCORE 1744121.097
AT ITER 4345 NEW BEST:: SOT 3196353 SOS 3004251 HAS SOPS 3003843 HAS SOUS 1740792 HAS SOUPS 1740631 WITH SCORE 1743635.251
AT ITER 4368 NEW BEST:: SOT 3198720 SOS 3006618 HAS SOPS 3006210 HAS SOUS 1740638 HAS SOUPS 1740477 WITH SCORE 1743483.618
AT ITER 4377 NEW BEST:: SOT 3198856 SOS 3006754 HAS SOPS 3006346 HAS SOUS 1740400 HAS SOUPS 1740239 WITH SCORE 1743245.754
AT ITER 4383 NEW BEST:: SOT 3198856 SOS 2988619 HAS SOPS 2988211 HAS SOUS 1740222 HAS SOUPS 1740061 WITH SCORE 1743049.619
AT ITER 4406 NEW BEST:: SOT 3198632 SOS 2988395 HAS SOPS 2987987 HAS SOUS 1740222 HAS SOUPS 1740061 WITH SCORE 1743049.395
AT ITER 4411 NEW BEST:: SOT 3198632 SOS 2988395 HAS SOPS 2987987 HAS SOUS 1740126 HAS SOUPS 1739965 WITH SCORE 1742953.395
AT ITER 4428 NEW BEST:: SOT 3201525 SOS 2990312 HAS SOPS 2989904 HAS SOUS 1729256 HAS SOUPS 1729095 WITH SCORE 1732085.312
AT ITER 4439 NEW BEST:: SOT 3201525 SOS 2990312 HAS SOPS 2989904 HAS SOUS 1729251 HAS SOUPS 1729090 WITH SCORE 1732080.312
AT ITER 4466 NEW BEST:: SOT 3205644 SOS 2994038 HAS SOPS 2993630 HAS SOUS 1728309 HAS SOUPS 1728148 WITH SCORE 1731142.038
AT ITER 4485 NEW BEST:: SOT 3198476 SOS 2986870 HAS SOPS 2986462 HAS SOUS 1726421 HAS SOUPS 1726260 WITH SCORE 1729246.87
AT ITER 4488 NEW BEST:: SOT 3212578 SOS 2999995 HAS SOPS 2999587 HAS SOUS 1716560 HAS SOUPS 1716399 WITH SCORE 1719398.995
AT ITER 4498 NEW BEST:: SOT 3216018 SOS 3002952 HAS SOPS 3002544 HAS SOUS 1714799 HAS SOUPS 1714638 WITH SCORE 1717640.952
AT ITER 4499 NEW BEST:: SOT 3225988 SOS 3012480 HAS SOPS 3012072 HAS SOUS 1714520 HAS SOUPS 1714359 WITH SCORE 1717371.48
AT ITER 4505 NEW BEST:: SOT 3225988 SOS 2980324 HAS SOPS 2979916 HAS SOUS 1714520 HAS SOUPS 1714359 WITH SCORE 1717339.324
AT ITER 4517 NEW BEST:: SOT 3225988 SOS 2980018 HAS SOPS 2979610 HAS SOUS 1714457 HAS SOUPS 1714296 WITH SCORE 1717276.018
AT ITER 4541 NEW BEST:: SOT 3225988 SOS 2980018 HAS SOPS 2979610 HAS SOUS 1714313 HAS SOUPS 1714152 WITH SCORE 1717132.018
AT ITER 4554 NEW BEST:: SOT 3229636 SOS 2983317 HAS SOPS 2982909 HAS SOUS 1713237 HAS SOUPS 1713076 WITH SCORE 1716059.317
AT ITER 4571 NEW BEST:: SOT 3234958 SOS 2988303 HAS SOPS 2987895 HAS SOUS 1712197 HAS SOUPS 1712036 WITH SCORE 1715024.303
AT ITER 4579 NEW BEST:: SOT 3234958 SOS 2987667 HAS SOPS 2987259 HAS SOUS 1708737 HAS SOUPS 1708576 WITH SCORE 1711563.667
AT ITER 4595 NEW BEST:: SOT 3237314 SOS 2990023 HAS SOPS 2989615 HAS SOUS 1708253 HAS SOUPS 1708092 WITH SCORE 1711082.023
AT ITER 4604 NEW BEST:: SOT 3238161 SOS 2990870 HAS SOPS 2990462 HAS SOUS 1707837 HAS SOUPS 1707676 WITH SCORE 1710666.87
AT ITER 4612 NEW BEST:: SOT 3238161 SOS 2990870 HAS SOPS 2990462 HAS SOUS 1707658 HAS SOUPS 1707497 WITH SCORE 1710487.87
AT ITER 4625 NEW BEST:: SOT 3238313 SOS 2991022 HAS SOPS 2990614 HAS SOUS 1706546 HAS SOUPS 1706385 WITH SCORE 1709376.022
AT ITER 4630 NEW BEST:: SOT 3238313 SOS 2991022 HAS SOPS 2990614 HAS SOUS 1706285 HAS SOUPS 1706124 WITH SCORE 1709115.022
AT ITER 4653 NEW BEST:: SOT 3238313 SOS 2991006 HAS SOPS 2990598 HAS SOUS 1706267 HAS SOUPS 1706106 WITH SCORE 1709097.006
AT ITER 4673 NEW BEST:: SOT 3238313 SOS 2990771 HAS SOPS 2990363 HAS SOUS 1704245 HAS SOUPS 1704084 WITH SCORE 1707074.771
AT ITER 4695 NEW BEST:: SOT 3238172 SOS 2990630 HAS SOPS 2990222 HAS SOUS 1704142 HAS SOUPS 1703981 WITH SCORE 1706971.63
AT ITER 4703 NEW BEST:: SOT 3238172 SOS 2978812 HAS SOPS 2978404 HAS SOUS 1701864 HAS SOUPS 1701703 WITH SCORE 1704681.812
AT ITER 4709 NEW BEST:: SOT 3238172 SOS 2962722 HAS SOPS 2962314 HAS SOUS 1700545 HAS SOUPS 1700384 WITH SCORE 1703346.722
AT ITER 4724 NEW BEST:: SOT 3243344 SOS 2966068 HAS SOPS 2965660 HAS SOUS 1690055 HAS SOUPS 1689894 WITH SCORE 1692860.068
AT ITER 4732 NEW BEST:: SOT 3243344 SOS 2965708 HAS SOPS 2965300 HAS SOUS 1688908 HAS SOUPS 1688747 WITH SCORE 1691712.708
AT ITER 4741 NEW BEST:: SOT 3243344 SOS 2965638 HAS SOPS 2965230 HAS SOUS 1688838 HAS SOUPS 1688677 WITH SCORE 1691642.638
AT ITER 4750 NEW BEST:: SOT 3243344 SOS 2965010 HAS SOPS 2964602 HAS SOUS 1688036 HAS SOUPS 1687875 WITH SCORE 1690840.01
AT ITER 4757 NEW BEST:: SOT 3244504 SOS 2966170 HAS SOPS 2965762 HAS SOUS 1687738 HAS SOUPS 1687577 WITH SCORE 1690543.17
AT ITER 4771 NEW BEST:: SOT 3254034 SOS 2975159 HAS SOPS 2974751 HAS SOUS 1686167 HAS SOUPS 1686006 WITH SCORE 1688981.159
AT ITER 4815 NEW BEST:: SOT 3254344 SOS 2975469 HAS SOPS 2975061 HAS SOUS 1685583 HAS SOUPS 1685422 WITH SCORE 1688397.469
AT ITER 4831 NEW BEST:: SOT 3254344 SOS 2975433 HAS SOPS 2975025 HAS SOUS 1685341 HAS SOUPS 1685180 WITH SCORE 1688155.433
AT ITER 4876 NEW BEST:: SOT 3254344 SOS 2975012 HAS SOPS 2974604 HAS SOUS 1677726 HAS SOUPS 1677565 WITH SCORE 1680540.012
AT ITER 4900 NEW BEST:: SOT 3253602 SOS 2974270 HAS SOPS 2973862 HAS SOUS 1677364 HAS SOUPS 1677203 WITH SCORE 1680177.27
AT ITER 4916 NEW BEST:: SOT 3255122 SOS 2974807 HAS SOPS 2974399 HAS SOUS 1668623 HAS SOUPS 1668462 WITH SCORE 1671436.807
AT ITER 4925 NEW BEST:: SOT 3255218 SOS 2974903 HAS SOPS 2974495 HAS SOUS 1668457 HAS SOUPS 1668296 WITH SCORE 1671270.903
AT ITER 4935 NEW BEST:: SOT 3250250 SOS 2969935 HAS SOPS 2969527 HAS SOUS 1666359 HAS SOUPS 1666198 WITH SCORE 1669167.935
AT ITER 4961 NEW BEST:: SOT 3250250 SOS 2969935 HAS SOPS 2969527 HAS SOUS 1666336 HAS SOUPS 1666175 WITH SCORE 1669144.935
AT ITER 4974 NEW BEST:: SOT 3253514 SOS 2972855 HAS SOPS 2972447 HAS SOUS 1665098 HAS SOUPS 1664937 WITH SCORE 1667909.855
AT ITER 4976 NEW BEST:: SOT 3253514 SOS 2972855 HAS SOPS 2972447 HAS SOUS 1664996 HAS SOUPS 1664835 WITH SCORE 1667807.855
AT ITER 4978 NEW BEST:: SOT 3253514 SOS 2972983 HAS SOPS 2972575 HAS SOUS 1664695 HAS SOUPS 1664534 WITH SCORE 1667506.983
AT ITER 4980 NEW BEST:: SOT 3253019 SOS 2972488 HAS SOPS 2972080 HAS SOUS 1664596 HAS SOUPS 1664435 WITH SCORE 1667407.488
AT ITER 4989 NEW BEST:: SOT 3253019 SOS 2972414 HAS SOPS 2972006 HAS SOUS 1664074 HAS SOUPS 1663913 WITH SCORE 1666885.414
AT ITER 5005 NEW BEST:: SOT 3273803 SOS 2992735 HAS SOPS 2992327 HAS SOUS 1662768 HAS SOUPS 1662607 WITH SCORE 1665599.735
AT ITER 5019 NEW BEST:: SOT 3276437 SOS 2995281 HAS SOPS 2994873 HAS SOUS 1661670 HAS SOUPS 1661509 WITH SCORE 1664504.281
AT ITER 5032 NEW BEST:: SOT 3276437 SOS 2995281 HAS SOPS 2994873 HAS SOUS 1661567 HAS SOUPS 1661406 WITH SCORE 1664401.281
AT ITER 5055 NEW BEST:: SOT 3276437 SOS 2995281 HAS SOPS 2994873 HAS SOUS 1660851 HAS SOUPS 1660690 WITH SCORE 1663685.281
AT ITER 5057 NEW BEST:: SOT 3276518 SOS 2995234 HAS SOPS 2994745 HAS SOUS 1660723 HAS SOUPS 1660562 WITH SCORE 1663557.234
AT ITER 5063 NEW BEST:: SOT 3282467 SOS 3000808 HAS SOPS 3000319 HAS SOUS 1660462 HAS SOUPS 1660301 WITH SCORE 1663301.808
AT ITER 5077 NEW BEST:: SOT 3280562 SOS 2998903 HAS SOPS 2998414 HAS SOUS 1660081 HAS SOUPS 1659920 WITH SCORE 1662918.903
AT ITER 5087 NEW BEST:: SOT 3280562 SOS 2998901 HAS SOPS 2998412 HAS SOUS 1658999 HAS SOUPS 1658838 WITH SCORE 1661836.901
AT ITER 5099 NEW BEST:: SOT 3304082 SOS 3020595 HAS SOPS 3020106 HAS SOUS 1653885 HAS SOUPS 1653724 WITH SCORE 1656744.595
AT ITER 5115 NEW BEST:: SOT 3303799 SOS 3020312 HAS SOPS 3019922 HAS SOUS 1653793 HAS SOUPS 1653632 WITH SCORE 1656652.312
AT ITER 5119 NEW BEST:: SOT 3303475 SOS 3019988 HAS SOPS 3019598 HAS SOUS 1653793 HAS SOUPS 1653632 WITH SCORE 1656651.988
AT ITER 5124 NEW BEST:: SOT 3303475 SOS 3019988 HAS SOPS 3019598 HAS SOUS 1653774 HAS SOUPS 1653613 WITH SCORE 1656632.988
AT ITER 5137 NEW BEST:: SOT 3303703 SOS 3020216 HAS SOPS 3019826 HAS SOUS 1653272 HAS SOUPS 1653111 WITH SCORE 1656131.216
AT ITER 5140 NEW BEST:: SOT 3304307 SOS 3020820 HAS SOPS 3020430 HAS SOUS 1652443 HAS SOUPS 1652282 WITH SCORE 1655302.82
AT ITER 5175 NEW BEST:: SOT 3308885 SOS 3024969 HAS SOPS 3024579 HAS SOUS 1649656 HAS SOUPS 1649495 WITH SCORE 1652519.969
AT ITER 5184 NEW BEST:: SOT 3308885 SOS 3024969 HAS SOPS 3024579 HAS SOUS 1649485 HAS SOUPS 1649324 WITH SCORE 1652348.969
AT ITER 5230 NEW BEST:: SOT 3309303 SOS 3025387 HAS SOPS 3024997 HAS SOUS 1649402 HAS SOUPS 1649241 WITH SCORE 1652266.387
AT ITER 5283 NEW BEST:: SOT 3312919 SOS 3029003 HAS SOPS 3028613 HAS SOUS 1647774 HAS SOUPS 1647613 WITH SCORE 1650642.003
AT ITER 5310 NEW BEST:: SOT 3314677 SOS 3030761 HAS SOPS 3030371 HAS SOUS 1647207 HAS SOUPS 1647046 WITH SCORE 1650076.761
AT ITER 5336 NEW BEST:: SOT 3314733 SOS 3030103 HAS SOPS 3029671 HAS SOUS 1646190 HAS SOUPS 1646029 WITH SCORE 1649059.103
AT ITER 5337 NEW BEST:: SOT 3320381 SOS 3036772 HAS SOPS 3036340 HAS SOUS 1642878 HAS SOUPS 1642717 WITH SCORE 1645753.772
AT ITER 5345 NEW BEST:: SOT 3320381 SOS 3036772 HAS SOPS 3036340 HAS SOUS 1642488 HAS SOUPS 1642327 WITH SCORE 1645363.772
AT ITER 5351 NEW BEST:: SOT 3325045 SOS 3041436 HAS SOPS 3041004 HAS SOUS 1641065 HAS SOUPS 1640904 WITH SCORE 1643945.436
AT ITER 5353 NEW BEST:: SOT 3342227 SOS 3058444 HAS SOPS 3058012 HAS SOUS 1639977 HAS SOUPS 1639816 WITH SCORE 1642874.444
AT ITER 5363 NEW BEST:: SOT 3343049 SOS 3058873 HAS SOPS 3058441 HAS SOUS 1638897 HAS SOUPS 1638736 WITH SCORE 1641794.873
AT ITER 5383 NEW BEST:: SOT 3343049 SOS 3057288 HAS SOPS 3056856 HAS SOUS 1638897 HAS SOUPS 1638736 WITH SCORE 1641793.288
AT ITER 5402 NEW BEST:: SOT 3342057 SOS 3056852 HAS SOPS 3056420 HAS SOUS 1638344 HAS SOUPS 1638183 WITH SCORE 1641239.852
AT ITER 5436 NEW BEST:: SOT 3342147 SOS 3056942 HAS SOPS 3056510 HAS SOUS 1638053 HAS SOUPS 1637892 WITH SCORE 1640948.942
AT ITER 5451 NEW BEST:: SOT 3340603 SOS 3055398 HAS SOPS 3054966 HAS SOUS 1637281 HAS SOUPS 1637120 WITH SCORE 1640175.398
AT ITER 5453 NEW BEST:: SOT 3337811 SOS 3052606 HAS SOPS 3052174 HAS SOUS 1636141 HAS SOUPS 1635980 WITH SCORE 1639032.606
AT ITER 5465 NEW BEST:: SOT 3338447 SOS 3052890 HAS SOPS 3052458 HAS SOUS 1634257 HAS SOUPS 1634096 WITH SCORE 1637148.89
AT ITER 5478 NEW BEST:: SOT 3338447 SOS 3052890 HAS SOPS 3052458 HAS SOUS 1634222 HAS SOUPS 1634061 WITH SCORE 1637113.89
AT ITER 5522 NEW BEST:: SOT 3340886 SOS 3055329 HAS SOPS 3054897 HAS SOUS 1632646 HAS SOUPS 1632485 WITH SCORE 1635540.329
AT ITER 5534 NEW BEST:: SOT 3341116 SOS 3055559 HAS SOPS 3055127 HAS SOUS 1632554 HAS SOUPS 1632393 WITH SCORE 1635448.559
AT ITER 5547 NEW BEST:: SOT 3350146 SOS 3064084 HAS SOPS 3063652 HAS SOUS 1626961 HAS SOUPS 1626800 WITH SCORE 1629864.084
AT ITER 5553 NEW BEST:: SOT 3351562 SOS 3065339 HAS SOPS 3064907 HAS SOUS 1625683 HAS SOUPS 1625522 WITH SCORE 1628587.339
AT ITER 5570 NEW BEST:: SOT 3351562 SOS 3065339 HAS SOPS 3064907 HAS SOUS 1624117 HAS SOUPS 1623956 WITH SCORE 1627021.339
AT ITER 5582 NEW BEST:: SOT 3351571 SOS 3065144 HAS SOPS 3064712 HAS SOUS 1621776 HAS SOUPS 1621615 WITH SCORE 1624680.144
AT ITER 5590 NEW BEST:: SOT 3351571 SOS 3065200 HAS SOPS 3064768 HAS SOUS 1618880 HAS SOUPS 1618719 WITH SCORE 1621784.2
AT ITER 5615 NEW BEST:: SOT 3351571 SOS 3065196 HAS SOPS 3064764 HAS SOUS 1618872 HAS SOUPS 1618711 WITH SCORE 1621776.196
AT ITER 5631 NEW BEST:: SOT 3351571 SOS 3065196 HAS SOPS 3064764 HAS SOUS 1618866 HAS SOUPS 1618705 WITH SCORE 1621770.196
AT ITER 5664 NEW BEST:: SOT 3351871 SOS 3065496 HAS SOPS 3065064 HAS SOUS 1618852 HAS SOUPS 1618691 WITH SCORE 1621756.496
AT ITER 5665 NEW BEST:: SOT 3351587 SOS 3065212 HAS SOPS 3064780 HAS SOUS 1618852 HAS SOUPS 1618691 WITH SCORE 1621756.212
AT ITER 5675 NEW BEST:: SOT 3353754 SOS 3066395 HAS SOPS 3065963 HAS SOUS 1607848 HAS SOUPS 1607687 WITH SCORE 1610753.395
AT ITER 5680 NEW BEST:: SOT 3362321 SOS 3046508 HAS SOPS 3040028 HAS SOUS 1602416 HAS SOUPS 1601994 WITH SCORE 1605040.508
AT ITER 5739 NEW BEST:: SOT 3352245 SOS 3036432 HAS SOPS 3030226 HAS SOUS 1601540 HAS SOUPS 1601118 WITH SCORE 1604154.432
AT ITER 5754 NEW BEST:: SOT 3352245 SOS 3035697 HAS SOPS 3029491 HAS SOUS 1601316 HAS SOUPS 1600894 WITH SCORE 1603929.697
AT ITER 5801 NEW BEST:: SOT 3353041 SOS 3036493 HAS SOPS 3030287 HAS SOUS 1601249 HAS SOUPS 1600827 WITH SCORE 1603863.493
AT ITER 5820 NEW BEST:: SOT 3353321 SOS 3036773 HAS SOPS 3030567 HAS SOUS 1600768 HAS SOUPS 1600346 WITH SCORE 1603382.773
AT ITER 5837 NEW BEST:: SOT 3361685 SOS 3042887 HAS SOPS 3036681 HAS SOUS 1599147 HAS SOUPS 1598725 WITH SCORE 1601767.887
AT ITER 5847 NEW BEST:: SOT 3361685 SOS 3042887 HAS SOPS 3036681 HAS SOUS 1599073 HAS SOUPS 1598651 WITH SCORE 1601693.887
AT ITER 5875 NEW BEST:: SOT 3361685 SOS 3041647 HAS SOPS 3035441 HAS SOUS 1594283 HAS SOUPS 1593861 WITH SCORE 1596902.647
AT ITER 5883 NEW BEST:: SOT 3361790 SOS 3041752 HAS SOPS 3035546 HAS SOUS 1593791 HAS SOUPS 1593369 WITH SCORE 1596410.752
AT ITER 5887 NEW BEST:: SOT 3361835 SOS 3041797 HAS SOPS 3035591 HAS SOUS 1591421 HAS SOUPS 1590999 WITH SCORE 1594040.797
AT ITER 5899 NEW BEST:: SOT 3363332 SOS 3043257 HAS SOPS 3037051 HAS SOUS 1589962 HAS SOUPS 1589540 WITH SCORE 1592583.257
AT ITER 5901 NEW BEST:: SOT 3363332 SOS 3043257 HAS SOPS 3037051 HAS SOUS 1589869 HAS SOUPS 1589447 WITH SCORE 1592490.257
AT ITER 5908 NEW BEST:: SOT 3360596 SOS 3040521 HAS SOPS 3034315 HAS SOUS 1588899 HAS SOUPS 1588477 WITH SCORE 1591517.521
AT ITER 5920 NEW BEST:: SOT 3360596 SOS 3040144 HAS SOPS 3033938 HAS SOUS 1588885 HAS SOUPS 1588463 WITH SCORE 1591503.144
AT ITER 5949 NEW BEST:: SOT 3360596 SOS 3040144 HAS SOPS 3033938 HAS SOUS 1588880 HAS SOUPS 1588458 WITH SCORE 1591498.144
AT ITER 5953 NEW BEST:: SOT 3358004 SOS 3037552 HAS SOPS 3031346 HAS SOUS 1588016 HAS SOUPS 1587594 WITH SCORE 1590631.552
AT ITER 5960 NEW BEST:: SOT 3359076 SOS 3038624 HAS SOPS 3032418 HAS SOUS 1587212 HAS SOUPS 1586790 WITH SCORE 1589828.624
AT ITER 5963 NEW BEST:: SOT 3371677 SOS 3022188 HAS SOPS 3008566 HAS SOUS 1575762 HAS SOUPS 1575194 WITH SCORE 1578216.188
AT ITER 5973 NEW BEST:: SOT 3371677 SOS 3022188 HAS SOPS 3008566 HAS SOUS 1570233 HAS SOUPS 1569665 WITH SCORE 1572687.188
AT ITER 6005 NEW BEST:: SOT 3371677 SOS 3022158 HAS SOPS 3008536 HAS SOUS 1570228 HAS SOUPS 1569660 WITH SCORE 1572682.158
AT ITER 6018 NEW BEST:: SOT 3372801 SOS 3023282 HAS SOPS 3009660 HAS SOUS 1569787 HAS SOUPS 1569219 WITH SCORE 1572242.282
AT ITER 6026 NEW BEST:: SOT 3386547 SOS 3037028 HAS SOPS 3022864 HAS SOUS 1569673 HAS SOUPS 1569105 WITH SCORE 1572142.028
AT ITER 6056 NEW BEST:: SOT 3391065 SOS 3041161 HAS SOPS 3026997 HAS SOUS 1569584 HAS SOUPS 1569016 WITH SCORE 1572057.161
AT ITER 6067 NEW BEST:: SOT 3391065 SOS 3041161 HAS SOPS 3026997 HAS SOUS 1569582 HAS SOUPS 1569014 WITH SCORE 1572055.161
AT ITER 6070 NEW BEST:: SOT 3391770 SOS 3041553 HAS SOPS 3027389 HAS SOUS 1569026 HAS SOUPS 1568458 WITH SCORE 1571499.553
AT ITER 6088 NEW BEST:: SOT 3393002 SOS 3042785 HAS SOPS 3028621 HAS SOUS 1568552 HAS SOUPS 1567984 WITH SCORE 1571026.785
AT ITER 6101 NEW BEST:: SOT 3393002 SOS 3042785 HAS SOPS 3028621 HAS SOUS 1568505 HAS SOUPS 1567937 WITH SCORE 1570979.785
AT ITER 6117 NEW BEST:: SOT 3394184 SOS 3041787 HAS SOPS 3027229 HAS SOUS 1562020 HAS SOUPS 1561452 WITH SCORE 1564493.787
AT ITER 6137 NEW BEST:: SOT 3396153 SOS 3043756 HAS SOPS 3029198 HAS SOUS 1561414 HAS SOUPS 1560846 WITH SCORE 1563889.756
AT ITER 6173 NEW BEST:: SOT 3399649 SOS 3047252 HAS SOPS 3032694 HAS SOUS 1546503 HAS SOUPS 1545935 WITH SCORE 1548982.252
AT ITER 6188 NEW BEST:: SOT 3403177 SOS 3045174 HAS SOPS 3030112 HAS SOUS 1538425 HAS SOUPS 1537857 WITH SCORE 1540902.174
AT ITER 6189 NEW BEST:: SOT 3419113 SOS 3058675 HAS SOPS 3042677 HAS SOUS 1533869 HAS SOUPS 1533301 WITH SCORE 1536359.675
AT ITER 6198 NEW BEST:: SOT 3419284 SOS 3058820 HAS SOPS 3042822 HAS SOUS 1532221 HAS SOUPS 1531653 WITH SCORE 1534711.82
AT ITER 6200 NEW BEST:: SOT 3418860 SOS 3058446 HAS SOPS 3042448 HAS SOUS 1532041 HAS SOUPS 1531473 WITH SCORE 1534531.446
AT ITER 6208 NEW BEST:: SOT 3418963 SOS 3058549 HAS SOPS 3042551 HAS SOUS 1531581 HAS SOUPS 1531013 WITH SCORE 1534071.549
AT ITER 6231 NEW BEST:: SOT 3420147 SOS 3059733 HAS SOPS 3043735 HAS SOUS 1530757 HAS SOUPS 1530189 WITH SCORE 1533248.733
AT ITER 6240 NEW BEST:: SOT 3419371 SOS 3058957 HAS SOPS 3042959 HAS SOUS 1530369 HAS SOUPS 1529801 WITH SCORE 1532859.957
AT ITER 6252 NEW BEST:: SOT 3420077 SOS 3056922 HAS SOPS 3040924 HAS SOUS 1530218 HAS SOUPS 1529650 WITH SCORE 1532706.922
AT ITER 6253 NEW BEST:: SOT 3420077 SOS 3056922 HAS SOPS 3040924 HAS SOUS 1530173 HAS SOUPS 1529605 WITH SCORE 1532661.922
AT ITER 6264 NEW BEST:: SOT 3424525 SOS 3061370 HAS SOPS 3045372 HAS SOUS 1530101 HAS SOUPS 1529533 WITH SCORE 1532594.37
AT ITER 6275 NEW BEST:: SOT 3424525 SOS 3061370 HAS SOPS 3045372 HAS SOUS 1530094 HAS SOUPS 1529526 WITH SCORE 1532587.37
AT ITER 6282 NEW BEST:: SOT 3426181 SOS 3063026 HAS SOPS 3047028 HAS SOUS 1530007 HAS SOUPS 1529439 WITH SCORE 1532502.026
AT ITER 6285 NEW BEST:: SOT 3426181 SOS 3060130 HAS SOPS 3044132 HAS SOUS 1529999 HAS SOUPS 1529431 WITH SCORE 1532491.13
AT ITER 6300 NEW BEST:: SOT 3421341 SOS 3055290 HAS SOPS 3039292 HAS SOUS 1529031 HAS SOUPS 1528463 WITH SCORE 1531518.29
AT ITER 6302 NEW BEST:: SOT 3421341 SOS 3055290 HAS SOPS 3039292 HAS SOUS 1527825 HAS SOUPS 1527257 WITH SCORE 1530312.29
AT ITER 6315 NEW BEST:: SOT 3421341 SOS 3054428 HAS SOPS 3038430 HAS SOUS 1525409 HAS SOUPS 1524841 WITH SCORE 1527895.428
AT ITER 6329 NEW BEST:: SOT 3421341 SOS 3054383 HAS SOPS 3038385 HAS SOUS 1518235 HAS SOUPS 1517667 WITH SCORE 1520721.383
AT ITER 6349 NEW BEST:: SOT 3427629 SOS 3060671 HAS SOPS 3044673 HAS SOUS 1517632 HAS SOUPS 1517064 WITH SCORE 1520124.671
AT ITER 6385 NEW BEST:: SOT 3427629 SOS 3060436 HAS SOPS 3044438 HAS SOUS 1513167 HAS SOUPS 1512599 WITH SCORE 1515659.436
AT ITER 6388 NEW BEST:: SOT 3428007 SOS 3060770 HAS SOPS 3044772 HAS SOUS 1512102 HAS SOUPS 1511534 WITH SCORE 1514594.77
AT ITER 6390 NEW BEST:: SOT 3439806 SOS 3071888 HAS SOPS 3055890 HAS SOUS 1496890 HAS SOUPS 1496322 WITH SCORE 1499393.888
AT ITER 6393 NEW BEST:: SOT 3440283 SOS 3069706 HAS SOPS 3053708 HAS SOUS 1489328 HAS SOUPS 1488760 WITH SCORE 1491829.706
AT ITER 6395 NEW BEST:: SOT 3440652 SOS 3070075 HAS SOPS 3054077 HAS SOUS 1488527 HAS SOUPS 1487959 WITH SCORE 1491029.075
AT ITER 6403 NEW BEST:: SOT 3457572 SOS 3083523 HAS SOPS 3066589 HAS SOUS 1481965 HAS SOUPS 1481397 WITH SCORE 1484480.523
AT ITER 6405 NEW BEST:: SOT 3458106 SOS 3084057 HAS SOPS 3067123 HAS SOUS 1481800 HAS SOUPS 1481232 WITH SCORE 1484316.057
AT ITER 6410 NEW BEST:: SOT 3458852 SOS 3084803 HAS SOPS 3067869 HAS SOUS 1480182 HAS SOUPS 1479614 WITH SCORE 1482698.803
AT ITER 6419 NEW BEST:: SOT 3458852 SOS 3084803 HAS SOPS 3067869 HAS SOUS 1477867 HAS SOUPS 1477299 WITH SCORE 1480383.803
AT ITER 6421 NEW BEST:: SOT 3458844 SOS 3084795 HAS SOPS 3067861 HAS SOUS 1477867 HAS SOUPS 1477299 WITH SCORE 1480383.795
AT ITER 6430 NEW BEST:: SOT 3459876 SOS 3085827 HAS SOPS 3068893 HAS SOUS 1476709 HAS SOUPS 1476141 WITH SCORE 1479226.827
AT ITER 6460 NEW BEST:: SOT 3454158 SOS 3080109 HAS SOPS 3063175 HAS SOUS 1475992 HAS SOUPS 1475424 WITH SCORE 1478504.109
AT ITER 6469 NEW BEST:: SOT 3454879 SOS 3077174 HAS SOPS 3060240 HAS SOUS 1464721 HAS SOUPS 1464153 WITH SCORE 1467230.174
AT ITER 6490 NEW BEST:: SOT 3460143 SOS 3082438 HAS SOPS 3065504 HAS SOUS 1463879 HAS SOUPS 1463311 WITH SCORE 1466393.438
AT ITER 6493 NEW BEST:: SOT 3459513 SOS 3081808 HAS SOPS 3064964 HAS SOUS 1463654 HAS SOUPS 1463086 WITH SCORE 1466167.808
AT ITER 6498 NEW BEST:: SOT 3460015 SOS 3082310 HAS SOPS 3065466 HAS SOUS 1463334 HAS SOUPS 1462766 WITH SCORE 1465848.31
AT ITER 6520 NEW BEST:: SOT 3461345 SOS 3083640 HAS SOPS 3066796 HAS SOUS 1463045 HAS SOUPS 1462477 WITH SCORE 1465560.64
AT ITER 6523 NEW BEST:: SOT 3461345 SOS 3082866 HAS SOPS 3066022 HAS SOUS 1459022 HAS SOUPS 1458454 WITH SCORE 1461536.866
AT ITER 6527 NEW BEST:: SOT 3461345 SOS 3044584 HAS SOPS 3027740 HAS SOUS 1457760 HAS SOUPS 1457192 WITH SCORE 1460236.584
AT ITER 6549 NEW BEST:: SOT 3465878 SOS 3045950 HAS SOPS 3028263 HAS SOUS 1448973 HAS SOUPS 1448405 WITH SCORE 1451450.95
AT ITER 6558 NEW BEST:: SOT 3465878 SOS 3045950 HAS SOPS 3028263 HAS SOUS 1448862 HAS SOUPS 1448294 WITH SCORE 1451339.95
AT ITER 6562 NEW BEST:: SOT 3464222 SOS 3044294 HAS SOPS 3026607 HAS SOUS 1448815 HAS SOUPS 1448247 WITH SCORE 1451291.294
AT ITER 6568 NEW BEST:: SOT 3464542 SOS 3044614 HAS SOPS 3026927 HAS SOUS 1448621 HAS SOUPS 1448053 WITH SCORE 1451097.614
AT ITER 6590 NEW BEST:: SOT 3464992 SOS 3045064 HAS SOPS 3027377 HAS SOUS 1448189 HAS SOUPS 1447621 WITH SCORE 1450666.064
AT ITER 6602 NEW BEST:: SOT 3465364 SOS 3042855 HAS SOPS 3025168 HAS SOUS 1442775 HAS SOUPS 1442207 WITH SCORE 1445249.855
AT ITER 6604 NEW BEST:: SOT 3465364 SOS 3042649 HAS SOPS 3024962 HAS SOUS 1442510 HAS SOUPS 1441942 WITH SCORE 1444984.649
AT ITER 6624 NEW BEST:: SOT 3490748 SOS 3065817 HAS SOPS 3048130 HAS SOUS 1437457 HAS SOUPS 1436889 WITH SCORE 1439954.817
AT ITER 6626 NEW BEST:: SOT 3494603 SOS 3069332 HAS SOPS 3051645 HAS SOUS 1436405 HAS SOUPS 1435837 WITH SCORE 1438906.332
AT ITER 6650 NEW BEST:: SOT 3494603 SOS 3069332 HAS SOPS 3051645 HAS SOUS 1436379 HAS SOUPS 1435811 WITH SCORE 1438880.332
AT ITER 6705 NEW BEST:: SOT 3496466 SOS 3056801 HAS SOPS 3038260 HAS SOUS 1435492 HAS SOUPS 1434924 WITH SCORE 1437980.801
AT ITER 6721 NEW BEST:: SOT 3496466 SOS 3056801 HAS SOPS 3038260 HAS SOUS 1435489 HAS SOUPS 1434921 WITH SCORE 1437977.801
AT ITER 6725 NEW BEST:: SOT 3496466 SOS 3056801 HAS SOPS 3038260 HAS SOUS 1435219 HAS SOUPS 1434651 WITH SCORE 1437707.801
AT ITER 6731 NEW BEST:: SOT 3495439 SOS 3055774 HAS SOPS 3037233 HAS SOUS 1434717 HAS SOUPS 1434149 WITH SCORE 1437204.774
AT ITER 6735 NEW BEST:: SOT 3497527 SOS 3057862 HAS SOPS 3039321 HAS SOUS 1433884 HAS SOUPS 1433316 WITH SCORE 1436373.862
AT ITER 6739 NEW BEST:: SOT 3498543 SOS 3052697 HAS SOPS 3034156 HAS SOUS 1423656 HAS SOUPS 1423088 WITH SCORE 1426140.697
AT ITER 6745 NEW BEST:: SOT 3499407 SOS 3053561 HAS SOPS 3035020 HAS SOUS 1423147 HAS SOUPS 1422579 WITH SCORE 1425632.561
AT ITER 6755 NEW BEST:: SOT 3499407 SOS 3053939 HAS SOPS 3035398 HAS SOUS 1422029 HAS SOUPS 1421461 WITH SCORE 1424514.939
AT ITER 6797 NEW BEST:: SOT 3507247 SOS 3054949 HAS SOPS 3035192 HAS SOUS 1411921 HAS SOUPS 1411353 WITH SCORE 1414407.949
AT ITER 6799 NEW BEST:: SOT 3507431 SOS 3055133 HAS SOPS 3035376 HAS SOUS 1411875 HAS SOUPS 1411307 WITH SCORE 1414362.133
AT ITER 6804 NEW BEST:: SOT 3507461 SOS 3055163 HAS SOPS 3035406 HAS SOUS 1410861 HAS SOUPS 1410293 WITH SCORE 1413348.163
AT ITER 6814 NEW BEST:: SOT 3539607 SOS 3082953 HAS SOPS 3062852 HAS SOUS 1401375 HAS SOUPS 1400807 WITH SCORE 1403889.953
AT ITER 6834 NEW BEST:: SOT 3540547 SOS 3083893 HAS SOPS 3063792 HAS SOUS 1400980 HAS SOUPS 1400412 WITH SCORE 1403495.893
AT ITER 6835 NEW BEST:: SOT 3541177 SOS 3084516 HAS SOPS 3064415 HAS SOUS 1400417 HAS SOUPS 1399849 WITH SCORE 1402933.516
AT ITER 6837 NEW BEST:: SOT 3541711 SOS 3084942 HAS SOPS 3064841 HAS SOUS 1400353 HAS SOUPS 1399785 WITH SCORE 1402869.942
AT ITER 6849 NEW BEST:: SOT 3541711 SOS 3084885 HAS SOPS 3064784 HAS SOUS 1400257 HAS SOUPS 1399689 WITH SCORE 1402773.885
AT ITER 6862 NEW BEST:: SOT 3542071 SOS 3085245 HAS SOPS 3065144 HAS SOUS 1400253 HAS SOUPS 1399685 WITH SCORE 1402770.245
AT ITER 6879 NEW BEST:: SOT 3542071 SOS 3085245 HAS SOPS 3065144 HAS SOUS 1400242 HAS SOUPS 1399674 WITH SCORE 1402759.245
AT ITER 6880 NEW BEST:: SOT 3544071 SOS 3084081 HAS SOPS 3063580 HAS SOUS 1391204 HAS SOUPS 1390636 WITH SCORE 1393720.081
AT ITER 6881 NEW BEST:: SOT 3544071 SOS 3084081 HAS SOPS 3063580 HAS SOUS 1391180 HAS SOUPS 1390612 WITH SCORE 1393696.081
AT ITER 6888 NEW BEST:: SOT 3543407 SOS 3083417 HAS SOPS 3062916 HAS SOUS 1390848 HAS SOUPS 1390280 WITH SCORE 1393363.417
AT ITER 7018 NEW BEST:: SOT 3544061 SOS 3084071 HAS SOPS 3063570 HAS SOUS 1389139 HAS SOUPS 1388571 WITH SCORE 1391655.071
AT ITER 7063 NEW BEST:: SOT 3544160 SOS 3083858 HAS SOPS 3063357 HAS SOUS 1388233 HAS SOUPS 1387665 WITH SCORE 1390748.858
AT ITER 7098 NEW BEST:: SOT 3545662 SOS 3085360 HAS SOPS 3064859 HAS SOUS 1387876 HAS SOUPS 1387308 WITH SCORE 1390393.36
AT ITER 7134 NEW BEST:: SOT 3545586 SOS 3085284 HAS SOPS 3064783 HAS SOUS 1387800 HAS SOUPS 1387232 WITH SCORE 1390317.284
AT ITER 7140 NEW BEST:: SOT 3545586 SOS 3085283 HAS SOPS 3064782 HAS SOUS 1387799 HAS SOUPS 1387231 WITH SCORE 1390316.283
AT ITER 7160 NEW BEST:: SOT 3545466 SOS 3085163 HAS SOPS 3064662 HAS SOUS 1387792 HAS SOUPS 1387224 WITH SCORE 1390309.163
AT ITER 7168 NEW BEST:: SOT 3546170 SOS 3085867 HAS SOPS 3065366 HAS SOUS 1386960 HAS SOUPS 1386392 WITH SCORE 1389477.867
AT ITER 7175 NEW BEST:: SOT 3546170 SOS 3085657 HAS SOPS 3065156 HAS SOUS 1386359 HAS SOUPS 1385791 WITH SCORE 1388876.657
AT ITER 7197 NEW BEST:: SOT 3546631 SOS 3086118 HAS SOPS 3065617 HAS SOUS 1386176 HAS SOUPS 1385608 WITH SCORE 1388694.118
AT ITER 7200 NEW BEST:: SOT 3551236 SOS 3090587 HAS SOPS 3070086 HAS SOUS 1386142 HAS SOUPS 1385574 WITH SCORE 1388664.587
AT ITER 7204 NEW BEST:: SOT 3551236 SOS 3089156 HAS SOPS 3068655 HAS SOUS 1383484 HAS SOUPS 1382916 WITH SCORE 1386005.156
AT ITER 7207 NEW BEST:: SOT 2800931 SOS 2718739 HAS SOPS 2363565 HAS SOUS 618356 HAS SOUPS 616675 WITH SCORE 619393.739
AT ITER 7223 NEW BEST:: SOT 2812240 SOS 2729625 HAS SOPS 2367348 HAS SOUS 617062 HAS SOUPS 615381 WITH SCORE 618110.625
AT ITER 7249 NEW BEST:: SOT 2813397 SOS 2730782 HAS SOPS 2368505 HAS SOUS 616985 HAS SOUPS 615304 WITH SCORE 618034.782
AT ITER 7288 NEW BEST:: SOT 2814149 SOS 2731534 HAS SOPS 2368896 HAS SOUS 616931 HAS SOUPS 615250 WITH SCORE 617981.534
AT ITER 7298 NEW BEST:: SOT 2841636 SOS 2758937 HAS SOPS 2390805 HAS SOUS 616012 HAS SOUPS 614331 WITH SCORE 617089.937
AT ITER 7302 NEW BEST:: SOT 2841740 SOS 2759041 HAS SOPS 2390909 HAS SOUS 615980 HAS SOUPS 614299 WITH SCORE 617058.041
AT ITER 7308 NEW BEST:: SOT 2841792 SOS 2759093 HAS SOPS 2390961 HAS SOUS 615789 HAS SOUPS 614108 WITH SCORE 616867.093
AT ITER 7336 NEW BEST:: SOT 2841898 SOS 2759199 HAS SOPS 2391067 HAS SOUS 615682 HAS SOUPS 614001 WITH SCORE 616760.199
AT ITER 7359 NEW BEST:: SOT 2841901 SOS 2759202 HAS SOPS 2391070 HAS SOUS 615681 HAS SOUPS 614000 WITH SCORE 616759.202
AT ITER 7445 NEW BEST:: SOT 2843016 SOS 2760317 HAS SOPS 2391669 HAS SOUS 615125 HAS SOUPS 613444 WITH SCORE 616204.317
AT ITER 7460 NEW BEST:: SOT 2843069 SOS 2760370 HAS SOPS 2391722 HAS SOUS 615026 HAS SOUPS 613345 WITH SCORE 616105.37
AT ITER 7484 NEW BEST:: SOT 2842847 SOS 2760148 HAS SOPS 2391722 HAS SOUS 614982 HAS SOUPS 613301 WITH SCORE 616061.148
AT ITER 7485 NEW BEST:: SOT 2842654 SOS 2759955 HAS SOPS 2391529 HAS SOUS 614982 HAS SOUPS 613301 WITH SCORE 616060.955
AT ITER 7505 NEW BEST:: SOT 2864313 SOS 2781600 HAS SOPS 2407680 HAS SOUS 613822 HAS SOUPS 612141 WITH SCORE 614922.6
AT ITER 7507 NEW BEST:: SOT 2871895 SOS 2788478 HAS SOPS 2407542 HAS SOUS 613719 HAS SOUPS 612038 WITH SCORE 614826.478
AT ITER 7514 NEW BEST:: SOT 2870763 SOS 2787346 HAS SOPS 2406532 HAS SOUS 612510 HAS SOUPS 610829 WITH SCORE 613616.346
AT ITER 7578 NEW BEST:: SOT 2869953 SOS 2786536 HAS SOPS 2405722 HAS SOUS 612240 HAS SOUPS 610559 WITH SCORE 613345.536
AT ITER 7580 NEW BEST:: SOT 2871414 SOS 2787997 HAS SOPS 2407183 HAS SOUS 611256 HAS SOUPS 609575 WITH SCORE 612362.997
AT ITER 7581 NEW BEST:: SOT 2871210 SOS 2787793 HAS SOPS 2407030 HAS SOUS 611256 HAS SOUPS 609575 WITH SCORE 612362.793
AT ITER 7595 NEW BEST:: SOT 2881434 SOS 2796426 HAS SOPS 2377269 HAS SOUS 609899 HAS SOUPS 608218 WITH SCORE 611014.426
AT ITER 7603 NEW BEST:: SOT 2881865 SOS 2796857 HAS SOPS 2377700 HAS SOUS 609803 HAS SOUPS 608122 WITH SCORE 610918.857
AT ITER 7608 NEW BEST:: SOT 2881789 SOS 2796818 HAS SOPS 2377903 HAS SOUS 609727 HAS SOUPS 608046 WITH SCORE 610842.818
AT ITER 7615 NEW BEST:: SOT 2873261 SOS 2789046 HAS SOPS 2385400 HAS SOUS 603995 HAS SOUPS 602314 WITH SCORE 605103.046
AT ITER 7633 NEW BEST:: SOT 2873236 SOS 2789021 HAS SOPS 2385375 HAS SOUS 603970 HAS SOUPS 602289 WITH SCORE 605078.021
AT ITER 7651 NEW BEST:: SOT 2872257 SOS 2788042 HAS SOPS 2384396 HAS SOUS 603881 HAS SOUPS 602200 WITH SCORE 604988.042
AT ITER 7672 NEW BEST:: SOT 2861315 SOS 2777100 HAS SOPS 2373523 HAS SOUS 602949 HAS SOUPS 601268 WITH SCORE 604045.1
AT ITER 7715 NEW BEST:: SOT 2860271 SOS 2776056 HAS SOPS 2372479 HAS SOUS 602436 HAS SOUPS 600755 WITH SCORE 603531.056
AT ITER 7721 NEW BEST:: SOT 2842916 SOS 2758701 HAS SOPS 2358770 HAS SOUS 601954 HAS SOUPS 600273 WITH SCORE 603031.701
AT ITER 7758 NEW BEST:: SOT 2842829 SOS 2758614 HAS SOPS 2358683 HAS SOUS 601867 HAS SOUPS 600186 WITH SCORE 602944.614
AT ITER 7774 NEW BEST:: SOT 2841162 SOS 2756947 HAS SOPS 2357076 HAS SOUS 601335 HAS SOUPS 599654 WITH SCORE 602410.947
AT ITER 7787 NEW BEST:: SOT 2841106 SOS 2756891 HAS SOPS 2357057 HAS SOUS 601186 HAS SOUPS 599505 WITH SCORE 602261.891
AT ITER 7818 NEW BEST:: SOT 2841213 SOS 2756998 HAS SOPS 2356821 HAS SOUS 600815 HAS SOUPS 599134 WITH SCORE 601890.998
AT ITER 7872 NEW BEST:: SOT 2841132 SOS 2756917 HAS SOPS 2356740 HAS SOUS 600733 HAS SOUPS 599052 WITH SCORE 601808.917
AT ITER 7906 NEW BEST:: SOT 2833682 SOS 2749467 HAS SOPS 2353262 HAS SOUS 594205 HAS SOUPS 592524 WITH SCORE 595273.467
AT ITER 7909 NEW BEST:: SOT 2819942 SOS 2735727 HAS SOPS 2363022 HAS SOUS 593762 HAS SOUPS 592227 WITH SCORE 594962.727
AT ITER 7913 NEW BEST:: SOT 2820879 SOS 2736664 HAS SOPS 2363000 HAS SOUS 593739 HAS SOUPS 592204 WITH SCORE 594940.664
AT ITER 7919 NEW BEST:: SOT 2820765 SOS 2736550 HAS SOPS 2362886 HAS SOUS 593511 HAS SOUPS 591976 WITH SCORE 594712.55
AT ITER 7939 NEW BEST:: SOT 2823465 SOS 2739250 HAS SOPS 2365069 HAS SOUS 593394 HAS SOUPS 591859 WITH SCORE 594598.25
AT ITER 7945 NEW BEST:: SOT 2823078 SOS 2738863 HAS SOPS 2378625 HAS SOUS 592646 HAS SOUPS 591111 WITH SCORE 593849.863
AT ITER 7978 NEW BEST:: SOT 2824950 SOS 2740735 HAS SOPS 2378625 HAS SOUS 592067 HAS SOUPS 590532 WITH SCORE 593272.735
AT ITER 7981 NEW BEST:: SOT 2825174 SOS 2740959 HAS SOPS 2378584 HAS SOUS 592026 HAS SOUPS 590491 WITH SCORE 593231.959
AT ITER 7984 NEW BEST:: SOT 2825779 SOS 2741564 HAS SOPS 2378453 HAS SOUS 591855 HAS SOUPS 590320 WITH SCORE 593061.564
AT ITER 8020 NEW BEST:: SOT 2825035 SOS 2740820 HAS SOPS 2377709 HAS SOUS 591607 HAS SOUPS 590072 WITH SCORE 592812.82
AT ITER 8106 NEW BEST:: SOT 2825318 SOS 2741103 HAS SOPS 2377992 HAS SOUS 591561 HAS SOUPS 590026 WITH SCORE 592767.103
AT ITER 8131 NEW BEST:: SOT 2825295 SOS 2741080 HAS SOPS 2377969 HAS SOUS 591492 HAS SOUPS 589957 WITH SCORE 592698.08
AT ITER 8142 NEW BEST:: SOT 2826094 SOS 2741879 HAS SOPS 2378768 HAS SOUS 590840 HAS SOUPS 589305 WITH SCORE 592046.879
AT ITER 8147 NEW BEST:: SOT 2825868 SOS 2741653 HAS SOPS 2378542 HAS SOUS 590614 HAS SOUPS 589079 WITH SCORE 591820.653
AT ITER 8222 NEW BEST:: SOT 2826030 SOS 2741815 HAS SOPS 2378696 HAS SOUS 590524 HAS SOUPS 588989 WITH SCORE 591730.815
AT ITER 8257 NEW BEST:: SOT 2826030 SOS 2741815 HAS SOPS 2378696 HAS SOUS 590406 HAS SOUPS 588871 WITH SCORE 591612.815
AT ITER 8273 NEW BEST:: SOT 2825972 SOS 2741757 HAS SOPS 2378638 HAS SOUS 590348 HAS SOUPS 588813 WITH SCORE 591554.757
AT ITER 8275 NEW BEST:: SOT 2825972 SOS 2741757 HAS SOPS 2378622 HAS SOUS 590332 HAS SOUPS 588797 WITH SCORE 591538.757
AT ITER 8302 NEW BEST:: SOT 2825480 SOS 2741265 HAS SOPS 2378130 HAS SOUS 590086 HAS SOUPS 588551 WITH SCORE 591292.265
AT ITER 8327 NEW BEST:: SOT 2807768 SOS 2723553 HAS SOPS 2360418 HAS SOUS 587134 HAS SOUPS 585599 WITH SCORE 588322.553
AT ITER 8338 NEW BEST:: SOT 2801737 SOS 2717522 HAS SOPS 2354600 HAS SOUS 585797 HAS SOUPS 584262 WITH SCORE 586979.522
AT ITER 8431 NEW BEST:: SOT 2801724 SOS 2717509 HAS SOPS 2354587 HAS SOUS 585797 HAS SOUPS 584262 WITH SCORE 586979.509
AT ITER 8450 NEW BEST:: SOT 2800860 SOS 2716645 HAS SOPS 2353723 HAS SOUS 585509 HAS SOUPS 583974 WITH SCORE 586690.645
AT ITER 8456 NEW BEST:: SOT 2800044 SOS 2715829 HAS SOPS 2352907 HAS SOUS 585101 HAS SOUPS 583566 WITH SCORE 586281.829
AT ITER 8465 NEW BEST:: SOT 2800562 SOS 2716347 HAS SOPS 2353425 HAS SOUS 584645 HAS SOUPS 583110 WITH SCORE 585826.347
AT ITER 8516 NEW BEST:: SOT 2800332 SOS 2716117 HAS SOPS 2353425 HAS SOUS 584645 HAS SOUPS 583110 WITH SCORE 585826.117
AT ITER 8567 NEW BEST:: SOT 2800299 SOS 2716084 HAS SOPS 2353359 HAS SOUS 584612 HAS SOUPS 583077 WITH SCORE 585793.084
AT ITER 8583 NEW BEST:: SOT 2803958 SOS 2719743 HAS SOPS 2356679 HAS SOUS 584487 HAS SOUPS 582952 WITH SCORE 585671.743
AT ITER 8663 NEW BEST:: SOT 2804666 SOS 2720451 HAS SOPS 2357387 HAS SOUS 584346 HAS SOUPS 582811 WITH SCORE 585531.451
AT ITER 8723 NEW BEST:: SOT 2804666 SOS 2720451 HAS SOPS 2357387 HAS SOUS 583800 HAS SOUPS 582265 WITH SCORE 584985.451
AT ITER 8752 NEW BEST:: SOT 2805375 SOS 2721160 HAS SOPS 2357419 HAS SOUS 583715 HAS SOUPS 582180 WITH SCORE 584901.16
AT ITER 8760 NEW BEST:: SOT 2805135 SOS 2720920 HAS SOPS 2357179 HAS SOUS 583595 HAS SOUPS 582060 WITH SCORE 584780.92
AT ITER 8775 NEW BEST:: SOT 2805062 SOS 2720847 HAS SOPS 2357106 HAS SOUS 583449 HAS SOUPS 581914 WITH SCORE 584634.847
AT ITER 8803 NEW BEST:: SOT 2803601 SOS 2719386 HAS SOPS 2355645 HAS SOUS 582649 HAS SOUPS 581114 WITH SCORE 583833.386
AT ITER 8824 NEW BEST:: SOT 2803733 SOS 2719518 HAS SOPS 2355539 HAS SOUS 582199 HAS SOUPS 580664 WITH SCORE 583383.518
AT ITER 8858 NEW BEST:: SOT 2803151 SOS 2718936 HAS SOPS 2354957 HAS SOUS 581326 HAS SOUPS 579791 WITH SCORE 582509.936
AT ITER 8882 NEW BEST:: SOT 2802856 SOS 2718641 HAS SOPS 2345055 HAS SOUS 581163 HAS SOUPS 579628 WITH SCORE 582346.641
AT ITER 8887 NEW BEST:: SOT 2801802 SOS 2717587 HAS SOPS 2344001 HAS SOUS 580645 HAS SOUPS 579110 WITH SCORE 581827.587
AT ITER 8910 NEW BEST:: SOT 2801572 SOS 2717357 HAS SOPS 2343771 HAS SOUS 580492 HAS SOUPS 578957 WITH SCORE 581674.357
AT ITER 8963 NEW BEST:: SOT 2801572 SOS 2717357 HAS SOPS 2343717 HAS SOUS 580456 HAS SOUPS 578921 WITH SCORE 581638.357
AT ITER 8968 NEW BEST:: SOT 2802328 SOS 2718113 HAS SOPS 2344473 HAS SOUS 580099 HAS SOUPS 578564 WITH SCORE 581282.113
AT ITER 9140 NEW BEST:: SOT 2809969 SOS 2725754 HAS SOPS 2351639 HAS SOUS 579624 HAS SOUPS 578089 WITH SCORE 580814.754
AT ITER 9166 NEW BEST:: SOT 2810681 SOS 2726466 HAS SOPS 2352351 HAS SOUS 579426 HAS SOUPS 577891 WITH SCORE 580617.466
AT ITER 9233 NEW BEST:: SOT 2808905 SOS 2724690 HAS SOPS 2350575 HAS SOUS 579426 HAS SOUPS 577891 WITH SCORE 580615.69
AT ITER 9240 NEW BEST:: SOT 2808753 SOS 2724538 HAS SOPS 2350423 HAS SOUS 579388 HAS SOUPS 577853 WITH SCORE 580577.538
AT ITER 9291 NEW BEST:: SOT 2802870 SOS 2718655 HAS SOPS 2344540 HAS SOUS 579133 HAS SOUPS 577598 WITH SCORE 580316.655
AT ITER 9294 NEW BEST:: SOT 2801286 SOS 2717071 HAS SOPS 2342956 HAS SOUS 578341 HAS SOUPS 576806 WITH SCORE 579523.071
AT ITER 9345 NEW BEST:: SOT 2800843 SOS 2716628 HAS SOPS 2342513 HAS SOUS 578205 HAS SOUPS 576670 WITH SCORE 579386.628
AT ITER 9362 NEW BEST:: SOT 2800912 SOS 2716697 HAS SOPS 2342582 HAS SOUS 578136 HAS SOUPS 576601 WITH SCORE 579317.697
AT ITER 9394 NEW BEST:: SOT 2801385 SOS 2717170 HAS SOPS 2343055 HAS SOUS 577930 HAS SOUPS 576395 WITH SCORE 579112.17
AT ITER 9410 NEW BEST:: SOT 2802454 SOS 2718239 HAS SOPS 2343167 HAS SOUS 577335 HAS SOUPS 575800 WITH SCORE 578518.239
AT ITER 9415 NEW BEST:: SOT 2802316 SOS 2718101 HAS SOPS 2343054 HAS SOUS 576984 HAS SOUPS 575449 WITH SCORE 578167.101
AT ITER 9441 NEW BEST:: SOT 2802094 SOS 2717879 HAS SOPS 2342721 HAS SOUS 576540 HAS SOUPS 575005 WITH SCORE 577722.879
AT ITER 9442 NEW BEST:: SOT 2797254 SOS 2713039 HAS SOPS 2337881 HAS SOUS 576100 HAS SOUPS 574565 WITH SCORE 577278.039
AT ITER 9444 NEW BEST:: SOT 2796997 SOS 2712782 HAS SOPS 2337624 HAS SOUS 575586 HAS SOUPS 574051 WITH SCORE 576763.782
AT ITER 9475 NEW BEST:: SOT 2800181 SOS 2715966 HAS SOPS 2338331 HAS SOUS 575253 HAS SOUPS 573718 WITH SCORE 576433.966
AT ITER 9501 NEW BEST:: SOT 2800111 SOS 2715896 HAS SOPS 2338261 HAS SOUS 575213 HAS SOUPS 573678 WITH SCORE 576393.896
AT ITER 9516 NEW BEST:: SOT 2802607 SOS 2718392 HAS SOPS 2338885 HAS SOUS 574796 HAS SOUPS 573261 WITH SCORE 575979.392
AT ITER 9522 NEW BEST:: SOT 2802607 SOS 2718392 HAS SOPS 2338885 HAS SOUS 574759 HAS SOUPS 573224 WITH SCORE 575942.392
AT ITER 9527 NEW BEST:: SOT 2801593 SOS 2717378 HAS SOPS 2337871 HAS SOUS 574332 HAS SOUPS 572797 WITH SCORE 575514.378
AT ITER 9530 NEW BEST:: SOT 2802995 SOS 2718427 HAS SOPS 2336723 HAS SOUS 574186 HAS SOUPS 572651 WITH SCORE 575369.427
AT ITER 9532 NEW BEST:: SOT 2802639 SOS 2718071 HAS SOPS 2336011 HAS SOUS 573884 HAS SOUPS 572349 WITH SCORE 575067.071
AT ITER 9544 NEW BEST:: SOT 2802491 SOS 2717923 HAS SOPS 2335863 HAS SOUS 573588 HAS SOUPS 572053 WITH SCORE 574770.923
AT ITER 9546 NEW BEST:: SOT 2802658 SOS 2717452 HAS SOPS 2335181 HAS SOUS 573404 HAS SOUPS 571869 WITH SCORE 574586.452
AT ITER 9553 NEW BEST:: SOT 2802676 SOS 2717470 HAS SOPS 2335199 HAS SOUS 573386 HAS SOUPS 571851 WITH SCORE 574568.47
AT ITER 9605 NEW BEST:: SOT 2802773 SOS 2717567 HAS SOPS 2335296 HAS SOUS 573144 HAS SOUPS 571609 WITH SCORE 574326.567
AT ITER 9606 NEW BEST:: SOT 2802222 SOS 2717016 HAS SOPS 2334543 HAS SOUS 572675 HAS SOUPS 571140 WITH SCORE 573857.016
AT ITER 9686 NEW BEST:: SOT 2800363 SOS 2715157 HAS SOPS 2333267 HAS SOUS 572453 HAS SOUPS 570918 WITH SCORE 573633.157
AT ITER 9689 NEW BEST:: SOT 2800655 SOS 2715449 HAS SOPS 2333413 HAS SOUS 572307 HAS SOUPS 570772 WITH SCORE 573487.449
AT ITER 9697 NEW BEST:: SOT 2800636 SOS 2715430 HAS SOPS 2333394 HAS SOUS 572287 HAS SOUPS 570752 WITH SCORE 573467.43
AT ITER 9782 NEW BEST:: SOT 2805612 SOS 2718534 HAS SOPS 2310394 HAS SOUS 572010 HAS SOUPS 570475 WITH SCORE 573193.534
AT ITER 9788 NEW BEST:: SOT 2805747 SOS 2718669 HAS SOPS 2310529 HAS SOUS 572005 HAS SOUPS 570470 WITH SCORE 573188.669
AT ITER 9801 NEW BEST:: SOT 2801250 SOS 2714172 HAS SOPS 2306032 HAS SOUS 572005 HAS SOUPS 570470 WITH SCORE 573184.172
AT ITER 9832 NEW BEST:: SOT 2801250 SOS 2714172 HAS SOPS 2306032 HAS SOUS 571777 HAS SOUPS 570242 WITH SCORE 572956.172
AT ITER 9847 NEW BEST:: SOT 2801220 SOS 2714142 HAS SOPS 2306002 HAS SOUS 571776 HAS SOUPS 570241 WITH SCORE 572955.142
AT ITER 9859 NEW BEST:: SOT 2801172 SOS 2714094 HAS SOPS 2305906 HAS SOUS 571680 HAS SOUPS 570145 WITH SCORE 572859.094
AT ITER 9884 NEW BEST:: SOT 2800332 SOS 2713254 HAS SOPS 2305066 HAS SOUS 571260 HAS SOUPS 569725 WITH SCORE 572438.254
AT ITER 9925 NEW BEST:: SOT 2794776 SOS 2707698 HAS SOPS 2299510 HAS SOUS 570212 HAS SOUPS 568677 WITH SCORE 571384.698
AT ITER 9945 NEW BEST:: SOT 2794869 SOS 2707791 HAS SOPS 2299603 HAS SOUS 570207 HAS SOUPS 568672 WITH SCORE 571379.791
AT ITER 9968 NEW BEST:: SOT 2794825 SOS 2707747 HAS SOPS 2299515 HAS SOUS 570163 HAS SOUPS 568628 WITH SCORE 571335.747
AT ITER 9992 NEW BEST:: SOT 2788849 SOS 2701771 HAS SOPS 2297469 HAS SOUS 569995 HAS SOUPS 568460 WITH SCORE 571161.771
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11380952 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121528 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-d2m08"
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-d2m08, 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-167814484100328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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