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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K 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.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:23 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 1678363561886

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-d2m09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 12:06:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 12:06:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 12:06:03] [INFO ] Load time of PNML (sax parser for PT used): 170 ms
[2023-03-09 12:06:03] [INFO ] Transformed 4763 places.
[2023-03-09 12:06:03] [INFO ] Transformed 2478 transitions.
[2023-03-09 12:06:03] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 272 ms.
[2023-03-09 12:06:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 52 ms.
Total runtime 354 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m09
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 19 NEW BEST:: SOT 2907215 SOS 2847758 HAS SOPS 2847730 HAS SOUS 2065211 HAS SOUPS 2065183 WITH SCORE 2068030.758
AT ITER 138 NEW BEST:: SOT 2907215 SOS 2847758 HAS SOPS 2847730 HAS SOUS 2064243 HAS SOUPS 2064215 WITH SCORE 2067062.758
AT ITER 143 NEW BEST:: SOT 2908130 SOS 2848673 HAS SOPS 2848645 HAS SOUS 2062219 HAS SOUPS 2062191 WITH SCORE 2065039.673
AT ITER 154 NEW BEST:: SOT 2909708 SOS 2850251 HAS SOPS 2850223 HAS SOUS 2060650 HAS SOUPS 2060622 WITH SCORE 2063472.251
AT ITER 295 NEW BEST:: SOT 2909708 SOS 2850251 HAS SOPS 2850223 HAS SOUS 2060455 HAS SOUPS 2060427 WITH SCORE 2063277.251
AT ITER 317 NEW BEST:: SOT 2912870 SOS 2853413 HAS SOPS 2853385 HAS SOUS 2060232 HAS SOUPS 2060204 WITH SCORE 2063057.413
AT ITER 326 NEW BEST:: SOT 2914907 SOS 2855450 HAS SOPS 2855422 HAS SOUS 2060155 HAS SOUPS 2060127 WITH SCORE 2062982.45
AT ITER 399 NEW BEST:: SOT 2917295 SOS 2857838 HAS SOPS 2857810 HAS SOUS 2058818 HAS SOUPS 2058790 WITH SCORE 2061647.838
AT ITER 403 NEW BEST:: SOT 2917295 SOS 2857831 HAS SOPS 2857803 HAS SOUS 2058811 HAS SOUPS 2058783 WITH SCORE 2061640.831
AT ITER 414 NEW BEST:: SOT 2917364 SOS 2857900 HAS SOPS 2857872 HAS SOUS 2058256 HAS SOUPS 2058228 WITH SCORE 2061085.9
AT ITER 425 NEW BEST:: SOT 2917364 SOS 2857900 HAS SOPS 2857872 HAS SOUS 2058213 HAS SOUPS 2058185 WITH SCORE 2061042.9
AT ITER 438 NEW BEST:: SOT 2917364 SOS 2857900 HAS SOPS 2857872 HAS SOUS 2057978 HAS SOUPS 2057950 WITH SCORE 2060807.9
AT ITER 453 NEW BEST:: SOT 2919524 SOS 2860060 HAS SOPS 2860032 HAS SOUS 2054558 HAS SOUPS 2054530 WITH SCORE 2057390.06
AT ITER 455 NEW BEST:: SOT 2920274 SOS 2860810 HAS SOPS 2860782 HAS SOUS 2052189 HAS SOUPS 2052161 WITH SCORE 2055021.81
AT ITER 545 NEW BEST:: SOT 2920274 SOS 2860810 HAS SOPS 2860782 HAS SOUS 2051966 HAS SOUPS 2051938 WITH SCORE 2054798.81
AT ITER 586 NEW BEST:: SOT 2920396 SOS 2860932 HAS SOPS 2860904 HAS SOUS 2051859 HAS SOUPS 2051831 WITH SCORE 2054691.932
AT ITER 616 NEW BEST:: SOT 2922022 SOS 2862558 HAS SOPS 2862530 HAS SOUS 2050830 HAS SOUPS 2050802 WITH SCORE 2053664.558
AT ITER 638 NEW BEST:: SOT 2923009 SOS 2863545 HAS SOPS 2863517 HAS SOUS 2049237 HAS SOUPS 2049209 WITH SCORE 2052072.545
AT ITER 662 NEW BEST:: SOT 2924950 SOS 2865486 HAS SOPS 2865458 HAS SOUS 2047651 HAS SOUPS 2047623 WITH SCORE 2050488.486
AT ITER 683 NEW BEST:: SOT 2925000 SOS 2865536 HAS SOPS 2865508 HAS SOUS 2042609 HAS SOUPS 2042581 WITH SCORE 2045446.536
AT ITER 730 NEW BEST:: SOT 2925000 SOS 2865536 HAS SOPS 2865508 HAS SOUS 2042473 HAS SOUPS 2042445 WITH SCORE 2045310.536
AT ITER 737 NEW BEST:: SOT 2925000 SOS 2865536 HAS SOPS 2865508 HAS SOUS 2040859 HAS SOUPS 2040831 WITH SCORE 2043696.536
AT ITER 742 NEW BEST:: SOT 2925000 SOS 2865536 HAS SOPS 2865508 HAS SOUS 2040295 HAS SOUPS 2040267 WITH SCORE 2043132.536
AT ITER 797 NEW BEST:: SOT 2925849 SOS 2866385 HAS SOPS 2866357 HAS SOUS 2039585 HAS SOUPS 2039557 WITH SCORE 2042423.385
AT ITER 823 NEW BEST:: SOT 2927454 SOS 2867990 HAS SOPS 2867962 HAS SOUS 2039325 HAS SOUPS 2039297 WITH SCORE 2042164.99
AT ITER 863 NEW BEST:: SOT 2927454 SOS 2867992 HAS SOPS 2867964 HAS SOUS 2038765 HAS SOUPS 2038737 WITH SCORE 2041604.992
AT ITER 918 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2037235 HAS SOUPS 2037207 WITH SCORE 2040075.496
AT ITER 931 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2035716 HAS SOUPS 2035688 WITH SCORE 2038556.496
AT ITER 933 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2035316 HAS SOUPS 2035288 WITH SCORE 2038156.496
AT ITER 974 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2034884 HAS SOUPS 2034856 WITH SCORE 2037724.496
AT ITER 984 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2033231 HAS SOUPS 2033203 WITH SCORE 2036071.496
AT ITER 990 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2032705 HAS SOUPS 2032677 WITH SCORE 2035545.496
AT ITER 1027 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2032704 HAS SOUPS 2032676 WITH SCORE 2035544.496
AT ITER 1041 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2032702 HAS SOUPS 2032674 WITH SCORE 2035542.496
AT ITER 1050 NEW BEST:: SOT 2927958 SOS 2868496 HAS SOPS 2868468 HAS SOUS 2030059 HAS SOUPS 2030031 WITH SCORE 2032899.496
AT ITER 1054 NEW BEST:: SOT 2928112 SOS 2868650 HAS SOPS 2868622 HAS SOUS 2028981 HAS SOUPS 2028953 WITH SCORE 2031821.65
AT ITER 1068 NEW BEST:: SOT 2928112 SOS 2868650 HAS SOPS 2868622 HAS SOUS 2025175 HAS SOUPS 2025147 WITH SCORE 2028015.65
AT ITER 1108 NEW BEST:: SOT 2931736 SOS 2872274 HAS SOPS 2872246 HAS SOUS 2023508 HAS SOUPS 2023480 WITH SCORE 2026352.274
AT ITER 1127 NEW BEST:: SOT 2931736 SOS 2705412 HAS SOPS 2705411 HAS SOUS 2023380 HAS SOUPS 2023379 WITH SCORE 2026084.412
AT ITER 1129 NEW BEST:: SOT 2931736 SOS 2704930 HAS SOPS 2704929 HAS SOUS 2022784 HAS SOUPS 2022783 WITH SCORE 2025487.93
AT ITER 1198 NEW BEST:: SOT 2931736 SOS 2704930 HAS SOPS 2704929 HAS SOUS 2022643 HAS SOUPS 2022642 WITH SCORE 2025346.93
AT ITER 1210 NEW BEST:: SOT 2931736 SOS 2704839 HAS SOPS 2704838 HAS SOUS 2022281 HAS SOUPS 2022280 WITH SCORE 2024984.839
AT ITER 1234 NEW BEST:: SOT 2932118 SOS 2705184 HAS SOPS 2705183 HAS SOUS 2022051 HAS SOUPS 2022050 WITH SCORE 2024755.184
AT ITER 1243 NEW BEST:: SOT 2932118 SOS 2705369 HAS SOPS 2705368 HAS SOUS 2020386 HAS SOUPS 2020385 WITH SCORE 2023090.369
AT ITER 1247 NEW BEST:: SOT 2932118 SOS 2704750 HAS SOPS 2704749 HAS SOUS 2019639 HAS SOUPS 2019638 WITH SCORE 2022342.75
AT ITER 1285 NEW BEST:: SOT 2938311 SOS 2710486 HAS SOPS 2710485 HAS SOUS 2018875 HAS SOUPS 2018874 WITH SCORE 2021584.486
AT ITER 1290 NEW BEST:: SOT 2938736 SOS 2710911 HAS SOPS 2710910 HAS SOUS 2015232 HAS SOUPS 2015231 WITH SCORE 2017941.911
AT ITER 1294 NEW BEST:: SOT 2943936 SOS 2716111 HAS SOPS 2716110 HAS SOUS 2014845 HAS SOUPS 2014844 WITH SCORE 2017560.111
AT ITER 1311 NEW BEST:: SOT 2944329 SOS 2715548 HAS SOPS 2715547 HAS SOUS 2013470 HAS SOUPS 2013469 WITH SCORE 2016184.548
AT ITER 1316 NEW BEST:: SOT 2944329 SOS 2715548 HAS SOPS 2715547 HAS SOUS 2013002 HAS SOUPS 2013001 WITH SCORE 2015716.548
AT ITER 1317 NEW BEST:: SOT 2940301 SOS 2711520 HAS SOPS 2711519 HAS SOUS 2010496 HAS SOUPS 2010495 WITH SCORE 2013206.52
AT ITER 1366 NEW BEST:: SOT 2950141 SOS 2720529 HAS SOPS 2720528 HAS SOUS 2003410 HAS SOUPS 2003409 WITH SCORE 2006129.529
AT ITER 1388 NEW BEST:: SOT 2956481 SOS 2726869 HAS SOPS 2726868 HAS SOUS 2003039 HAS SOUPS 2003038 WITH SCORE 2005764.869
AT ITER 1396 NEW BEST:: SOT 2957864 SOS 2727240 HAS SOPS 2727239 HAS SOUS 2002526 HAS SOUPS 2002525 WITH SCORE 2005252.24
AT ITER 1397 NEW BEST:: SOT 2957864 SOS 2725533 HAS SOPS 2725532 HAS SOUS 1995394 HAS SOUPS 1995393 WITH SCORE 1998118.533
AT ITER 1430 NEW BEST:: SOT 2959218 SOS 2726827 HAS SOPS 2726826 HAS SOUS 1995357 HAS SOUPS 1995356 WITH SCORE 1998082.827
AT ITER 1431 NEW BEST:: SOT 2959374 SOS 2726248 HAS SOPS 2726247 HAS SOUS 1995143 HAS SOUPS 1995142 WITH SCORE 1997868.248
AT ITER 1454 NEW BEST:: SOT 2961543 SOS 2727391 HAS SOPS 2727390 HAS SOUS 1994895 HAS SOUPS 1994894 WITH SCORE 1997621.391
AT ITER 1470 NEW BEST:: SOT 2961543 SOS 2727109 HAS SOPS 2727108 HAS SOUS 1994613 HAS SOUPS 1994612 WITH SCORE 1997339.109
AT ITER 1491 NEW BEST:: SOT 2961543 SOS 2727109 HAS SOPS 2727108 HAS SOUS 1994113 HAS SOUPS 1994112 WITH SCORE 1996839.109
AT ITER 1515 NEW BEST:: SOT 2961543 SOS 2727109 HAS SOPS 2727108 HAS SOUS 1993884 HAS SOUPS 1993883 WITH SCORE 1996610.109
AT ITER 1519 NEW BEST:: SOT 2961543 SOS 2727109 HAS SOPS 2727108 HAS SOUS 1992170 HAS SOUPS 1992169 WITH SCORE 1994896.109
AT ITER 1546 NEW BEST:: SOT 2968330 SOS 2733433 HAS SOPS 2733432 HAS SOUS 1981664 HAS SOUPS 1981663 WITH SCORE 1984396.433
AT ITER 1559 NEW BEST:: SOT 2968330 SOS 2733255 HAS SOPS 2733254 HAS SOUS 1981664 HAS SOUPS 1981663 WITH SCORE 1984396.255
AT ITER 1560 NEW BEST:: SOT 2969032 SOS 2733005 HAS SOPS 2733004 HAS SOUS 1980421 HAS SOUPS 1980420 WITH SCORE 1983153.005
AT ITER 1566 NEW BEST:: SOT 2972224 SOS 2735265 HAS SOPS 2735264 HAS SOUS 1969636 HAS SOUPS 1969635 WITH SCORE 1972370.265
AT ITER 1568 NEW BEST:: SOT 2972370 SOS 2735411 HAS SOPS 2735410 HAS SOUS 1969449 HAS SOUPS 1969448 WITH SCORE 1972183.411
AT ITER 1584 NEW BEST:: SOT 2972505 SOS 2732903 HAS SOPS 2732902 HAS SOUS 1968816 HAS SOUPS 1968815 WITH SCORE 1971547.903
AT ITER 1620 NEW BEST:: SOT 2973030 SOS 2723703 HAS SOPS 2723642 HAS SOUS 1967949 HAS SOUPS 1967934 WITH SCORE 1970657.703
AT ITER 1672 NEW BEST:: SOT 2973030 SOS 2723703 HAS SOPS 2723642 HAS SOUS 1967809 HAS SOUPS 1967794 WITH SCORE 1970517.703
AT ITER 1691 NEW BEST:: SOT 2974623 SOS 2724320 HAS SOPS 2724259 HAS SOUS 1967199 HAS SOUPS 1967184 WITH SCORE 1969908.32
AT ITER 1707 NEW BEST:: SOT 2974623 SOS 2724320 HAS SOPS 2724259 HAS SOUS 1966958 HAS SOUPS 1966943 WITH SCORE 1969667.32
AT ITER 1716 NEW BEST:: SOT 2974623 SOS 2724280 HAS SOPS 2724219 HAS SOUS 1966632 HAS SOUPS 1966617 WITH SCORE 1969341.28
AT ITER 1719 NEW BEST:: SOT 2977578 SOS 2727235 HAS SOPS 2727174 HAS SOUS 1966575 HAS SOUPS 1966560 WITH SCORE 1969287.235
AT ITER 1731 NEW BEST:: SOT 2977578 SOS 2727134 HAS SOPS 2727073 HAS SOUS 1966557 HAS SOUPS 1966542 WITH SCORE 1969269.134
AT ITER 1745 NEW BEST:: SOT 2977578 SOS 2727379 HAS SOPS 2727318 HAS SOUS 1963938 HAS SOUPS 1963923 WITH SCORE 1966650.379
AT ITER 1794 NEW BEST:: SOT 2977578 SOS 2727428 HAS SOPS 2727367 HAS SOUS 1963414 HAS SOUPS 1963399 WITH SCORE 1966126.428
AT ITER 1804 NEW BEST:: SOT 3006614 SOS 2747386 HAS SOPS 2745059 HAS SOUS 1957128 HAS SOUPS 1956308 WITH SCORE 1959055.386
AT ITER 1810 NEW BEST:: SOT 3006941 SOS 2746747 HAS SOPS 2744420 HAS SOUS 1955655 HAS SOUPS 1954835 WITH SCORE 1957581.747
AT ITER 1818 NEW BEST:: SOT 3006991 SOS 2746797 HAS SOPS 2744470 HAS SOUS 1955534 HAS SOUPS 1954714 WITH SCORE 1957460.797
AT ITER 1819 NEW BEST:: SOT 3007051 SOS 2746857 HAS SOPS 2744530 HAS SOUS 1950578 HAS SOUPS 1949758 WITH SCORE 1952504.857
AT ITER 1821 NEW BEST:: SOT 3007051 SOS 2745508 HAS SOPS 2743181 HAS SOUS 1946128 HAS SOUPS 1945308 WITH SCORE 1948053.508
AT ITER 1831 NEW BEST:: SOT 3007051 SOS 2745494 HAS SOPS 2743167 HAS SOUS 1945763 HAS SOUPS 1944943 WITH SCORE 1947688.494
AT ITER 1854 NEW BEST:: SOT 3010391 SOS 2748834 HAS SOPS 2746507 HAS SOUS 1943952 HAS SOUPS 1943132 WITH SCORE 1945880.834
AT ITER 1919 NEW BEST:: SOT 3010711 SOS 2749154 HAS SOPS 2746827 HAS SOUS 1943449 HAS SOUPS 1942629 WITH SCORE 1945378.154
AT ITER 1931 NEW BEST:: SOT 3011782 SOS 2749209 HAS SOPS 2746882 HAS SOUS 1942477 HAS SOUPS 1941657 WITH SCORE 1944406.209
AT ITER 1939 NEW BEST:: SOT 3017212 SOS 2751628 HAS SOPS 2748791 HAS SOUS 1932706 HAS SOUPS 1931886 WITH SCORE 1934637.628
AT ITER 1940 NEW BEST:: SOT 3017365 SOS 2751416 HAS SOPS 2748579 HAS SOUS 1931678 HAS SOUPS 1930858 WITH SCORE 1933609.416
AT ITER 1943 NEW BEST:: SOT 3017595 SOS 2751646 HAS SOPS 2748809 HAS SOUS 1931545 HAS SOUPS 1930725 WITH SCORE 1933476.646
AT ITER 2022 NEW BEST:: SOT 3017595 SOS 2751646 HAS SOPS 2748809 HAS SOUS 1931544 HAS SOUPS 1930724 WITH SCORE 1933475.646
AT ITER 2026 NEW BEST:: SOT 3017595 SOS 2740996 HAS SOPS 2738159 HAS SOUS 1906024 HAS SOUPS 1905204 WITH SCORE 1907944.996
AT ITER 2047 NEW BEST:: SOT 3017604 SOS 2741005 HAS SOPS 2738168 HAS SOUS 1903723 HAS SOUPS 1902903 WITH SCORE 1905644.005
AT ITER 2063 NEW BEST:: SOT 3018344 SOS 2741073 HAS SOPS 2737496 HAS SOUS 1903051 HAS SOUPS 1902231 WITH SCORE 1904972.073
AT ITER 2066 NEW BEST:: SOT 3019004 SOS 2741733 HAS SOPS 2738156 HAS SOUS 1902649 HAS SOUPS 1901829 WITH SCORE 1904570.733
AT ITER 2069 NEW BEST:: SOT 3019004 SOS 2741733 HAS SOPS 2738156 HAS SOUS 1902494 HAS SOUPS 1901674 WITH SCORE 1904415.733
AT ITER 2075 NEW BEST:: SOT 3019004 SOS 2741728 HAS SOPS 2738151 HAS SOUS 1902435 HAS SOUPS 1901615 WITH SCORE 1904356.728
AT ITER 2079 NEW BEST:: SOT 3019004 SOS 2741731 HAS SOPS 2738154 HAS SOUS 1902429 HAS SOUPS 1901609 WITH SCORE 1904350.731
AT ITER 2084 NEW BEST:: SOT 3019004 SOS 2739512 HAS SOPS 2735935 HAS SOUS 1896365 HAS SOUPS 1895545 WITH SCORE 1898284.512
AT ITER 2095 NEW BEST:: SOT 3019084 SOS 2739592 HAS SOPS 2736015 HAS SOUS 1896150 HAS SOUPS 1895330 WITH SCORE 1898069.592
AT ITER 2108 NEW BEST:: SOT 3019084 SOS 2739070 HAS SOPS 2735493 HAS SOUS 1896112 HAS SOUPS 1895292 WITH SCORE 1898031.07
AT ITER 2134 NEW BEST:: SOT 3022936 SOS 2742922 HAS SOPS 2739345 HAS SOUS 1895139 HAS SOUPS 1894319 WITH SCORE 1897061.922
AT ITER 2145 NEW BEST:: SOT 3022936 SOS 2742604 HAS SOPS 2739027 HAS SOUS 1895139 HAS SOUPS 1894319 WITH SCORE 1897061.604
AT ITER 2150 NEW BEST:: SOT 3022642 SOS 2742310 HAS SOPS 2738733 HAS SOUS 1894992 HAS SOUPS 1894172 WITH SCORE 1896914.31
AT ITER 2189 NEW BEST:: SOT 3023326 SOS 2742942 HAS SOPS 2739365 HAS SOUS 1894751 HAS SOUPS 1893931 WITH SCORE 1896673.942
AT ITER 2203 NEW BEST:: SOT 3024156 SOS 2743688 HAS SOPS 2740111 HAS SOUS 1894311 HAS SOUPS 1893491 WITH SCORE 1896234.688
AT ITER 2204 NEW BEST:: SOT 3030598 SOS 2746207 HAS SOPS 2742028 HAS SOUS 1885574 HAS SOUPS 1884754 WITH SCORE 1887500.207
AT ITER 2210 NEW BEST:: SOT 3030598 SOS 2746207 HAS SOPS 2742028 HAS SOUS 1885374 HAS SOUPS 1884554 WITH SCORE 1887300.207
AT ITER 2237 NEW BEST:: SOT 3031690 SOS 2747299 HAS SOPS 2743120 HAS SOUS 1883394 HAS SOUPS 1882574 WITH SCORE 1885321.299
AT ITER 2253 NEW BEST:: SOT 3035485 SOS 2749885 HAS SOPS 2745016 HAS SOUS 1878343 HAS SOUPS 1877523 WITH SCORE 1880272.885
AT ITER 2285 NEW BEST:: SOT 3035791 SOS 2750602 HAS SOPS 2745733 HAS SOUS 1877245 HAS SOUPS 1876425 WITH SCORE 1879175.602
AT ITER 2291 NEW BEST:: SOT 3036277 SOS 2751088 HAS SOPS 2746219 HAS SOUS 1875785 HAS SOUPS 1874965 WITH SCORE 1877716.088
AT ITER 2315 NEW BEST:: SOT 3039269 SOS 2754080 HAS SOPS 2749211 HAS SOUS 1873800 HAS SOUPS 1872980 WITH SCORE 1875734.08
AT ITER 2326 NEW BEST:: SOT 3039269 SOS 2754080 HAS SOPS 2749211 HAS SOUS 1872440 HAS SOUPS 1871620 WITH SCORE 1874374.08
AT ITER 2357 NEW BEST:: SOT 3039331 SOS 2754142 HAS SOPS 2749273 HAS SOUS 1872204 HAS SOUPS 1871384 WITH SCORE 1874138.142
AT ITER 2376 NEW BEST:: SOT 3039331 SOS 2754142 HAS SOPS 2749273 HAS SOUS 1871232 HAS SOUPS 1870412 WITH SCORE 1873166.142
AT ITER 2394 NEW BEST:: SOT 3039331 SOS 2752754 HAS SOPS 2747885 HAS SOUS 1867972 HAS SOUPS 1867152 WITH SCORE 1869904.754
AT ITER 2397 NEW BEST:: SOT 3039331 SOS 2752572 HAS SOPS 2747703 HAS SOUS 1867552 HAS SOUPS 1866732 WITH SCORE 1869484.572
AT ITER 2414 NEW BEST:: SOT 3040009 SOS 2753250 HAS SOPS 2748381 HAS SOUS 1865664 HAS SOUPS 1864844 WITH SCORE 1867597.25
AT ITER 2416 NEW BEST:: SOT 3040009 SOS 2753250 HAS SOPS 2748381 HAS SOUS 1865258 HAS SOUPS 1864438 WITH SCORE 1867191.25
AT ITER 2436 NEW BEST:: SOT 3041193 SOS 2754392 HAS SOPS 2749523 HAS SOUS 1865057 HAS SOUPS 1864237 WITH SCORE 1866991.392
AT ITER 2459 NEW BEST:: SOT 3041529 SOS 2754317 HAS SOPS 2749448 HAS SOUS 1864120 HAS SOUPS 1863300 WITH SCORE 1866054.317
AT ITER 2483 NEW BEST:: SOT 3043515 SOS 2755311 HAS SOPS 2750442 HAS SOUS 1863847 HAS SOUPS 1863027 WITH SCORE 1865782.311
AT ITER 2484 NEW BEST:: SOT 3043515 SOS 2755922 HAS SOPS 2751053 HAS SOUS 1862293 HAS SOUPS 1861473 WITH SCORE 1864228.922
AT ITER 2488 NEW BEST:: SOT 3043609 SOS 2755908 HAS SOPS 2751039 HAS SOUS 1861546 HAS SOUPS 1860726 WITH SCORE 1863481.908
AT ITER 2513 NEW BEST:: SOT 3043687 SOS 2755986 HAS SOPS 2751117 HAS SOUS 1861539 HAS SOUPS 1860719 WITH SCORE 1863474.986
AT ITER 2518 NEW BEST:: SOT 3043687 SOS 2756458 HAS SOPS 2751589 HAS SOUS 1861298 HAS SOUPS 1860478 WITH SCORE 1863234.458
AT ITER 2528 NEW BEST:: SOT 3043687 SOS 2748604 HAS SOPS 2743735 HAS SOUS 1860755 HAS SOUPS 1859935 WITH SCORE 1862683.604
AT ITER 2547 NEW BEST:: SOT 3044149 SOS 2749066 HAS SOPS 2744197 HAS SOUS 1860625 HAS SOUPS 1859805 WITH SCORE 1862554.066
AT ITER 2548 NEW BEST:: SOT 3044149 SOS 2749066 HAS SOPS 2744197 HAS SOUS 1858880 HAS SOUPS 1858060 WITH SCORE 1860809.066
AT ITER 2554 NEW BEST:: SOT 3044179 SOS 2749096 HAS SOPS 2744227 HAS SOUS 1853897 HAS SOUPS 1853077 WITH SCORE 1855826.096
AT ITER 2591 NEW BEST:: SOT 3044179 SOS 2749096 HAS SOPS 2744227 HAS SOUS 1853896 HAS SOUPS 1853076 WITH SCORE 1855825.096
AT ITER 2601 NEW BEST:: SOT 3044179 SOS 2749096 HAS SOPS 2744227 HAS SOUS 1853746 HAS SOUPS 1852926 WITH SCORE 1855675.096
AT ITER 2610 NEW BEST:: SOT 3044179 SOS 2747943 HAS SOPS 2743074 HAS SOUS 1853362 HAS SOUPS 1852542 WITH SCORE 1855289.943
AT ITER 2655 NEW BEST:: SOT 3044179 SOS 2745847 HAS SOPS 2740978 HAS SOUS 1848666 HAS SOUPS 1847846 WITH SCORE 1850591.847
AT ITER 2659 NEW BEST:: SOT 3044179 SOS 2744821 HAS SOPS 2739952 HAS SOUS 1846209 HAS SOUPS 1845389 WITH SCORE 1848133.821
AT ITER 2734 NEW BEST:: SOT 3049159 SOS 2749801 HAS SOPS 2744932 HAS SOUS 1845220 HAS SOUPS 1844400 WITH SCORE 1847149.801
AT ITER 2735 NEW BEST:: SOT 3049349 SOS 2749991 HAS SOPS 2745122 HAS SOUS 1844905 HAS SOUPS 1844085 WITH SCORE 1846834.991
AT ITER 2736 NEW BEST:: SOT 3049241 SOS 2749883 HAS SOPS 2745014 HAS SOUS 1844655 HAS SOUPS 1843835 WITH SCORE 1846584.883
AT ITER 2738 NEW BEST:: SOT 3052457 SOS 2753099 HAS SOPS 2748230 HAS SOUS 1844556 HAS SOUPS 1843736 WITH SCORE 1846489.099
AT ITER 2782 NEW BEST:: SOT 3052457 SOS 2752958 HAS SOPS 2748089 HAS SOUS 1844509 HAS SOUPS 1843689 WITH SCORE 1846441.958
AT ITER 2785 NEW BEST:: SOT 3052457 SOS 2752905 HAS SOPS 2748036 HAS SOUS 1844403 HAS SOUPS 1843583 WITH SCORE 1846335.905
AT ITER 2788 NEW BEST:: SOT 3052567 SOS 2753015 HAS SOPS 2748146 HAS SOUS 1844187 HAS SOUPS 1843367 WITH SCORE 1846120.015
AT ITER 2829 NEW BEST:: SOT 3052930 SOS 2753378 HAS SOPS 2748509 HAS SOUS 1841917 HAS SOUPS 1841097 WITH SCORE 1843850.378
AT ITER 2870 NEW BEST:: SOT 3053345 SOS 2751963 HAS SOPS 2746993 HAS SOUS 1837080 HAS SOUPS 1836260 WITH SCORE 1839011.963
AT ITER 2884 NEW BEST:: SOT 3053345 SOS 2749178 HAS SOPS 2744208 HAS SOUS 1836767 HAS SOUPS 1835947 WITH SCORE 1838696.178
AT ITER 2893 NEW BEST:: SOT 3053345 SOS 2749198 HAS SOPS 2744228 HAS SOUS 1836727 HAS SOUPS 1835907 WITH SCORE 1838656.198
AT ITER 2907 NEW BEST:: SOT 3053345 SOS 2748915 HAS SOPS 2743945 HAS SOUS 1836161 HAS SOUPS 1835341 WITH SCORE 1838089.915
AT ITER 2911 NEW BEST:: SOT 3053529 SOS 2749005 HAS SOPS 2744035 HAS SOUS 1835528 HAS SOUPS 1834708 WITH SCORE 1837457.005
AT ITER 2921 NEW BEST:: SOT 3053529 SOS 2745232 HAS SOPS 2740262 HAS SOUS 1828118 HAS SOUPS 1827298 WITH SCORE 1830043.232
AT ITER 2931 NEW BEST:: SOT 3054461 SOS 2746162 HAS SOPS 2741192 HAS SOUS 1826408 HAS SOUPS 1825588 WITH SCORE 1828334.162
AT ITER 2972 NEW BEST:: SOT 3054461 SOS 2745942 HAS SOPS 2740972 HAS SOUS 1826295 HAS SOUPS 1825475 WITH SCORE 1828220.942
AT ITER 2974 NEW BEST:: SOT 3056195 SOS 2747676 HAS SOPS 2742706 HAS SOUS 1826062 HAS SOUPS 1825242 WITH SCORE 1827989.676
AT ITER 2996 NEW BEST:: SOT 3058397 SOS 2749878 HAS SOPS 2744908 HAS SOUS 1824461 HAS SOUPS 1823641 WITH SCORE 1826390.878
AT ITER 3007 NEW BEST:: SOT 3058397 SOS 2750096 HAS SOPS 2745126 HAS SOUS 1822633 HAS SOUPS 1821813 WITH SCORE 1824563.096
AT ITER 3008 NEW BEST:: SOT 3058397 SOS 2750096 HAS SOPS 2745126 HAS SOUS 1822257 HAS SOUPS 1821437 WITH SCORE 1824187.096
AT ITER 3023 NEW BEST:: SOT 3058959 SOS 2750608 HAS SOPS 2745638 HAS SOUS 1821701 HAS SOUPS 1820881 WITH SCORE 1823631.608
AT ITER 3024 NEW BEST:: SOT 3058959 SOS 2750287 HAS SOPS 2745317 HAS SOUS 1820952 HAS SOUPS 1820132 WITH SCORE 1822882.287
AT ITER 3079 NEW BEST:: SOT 3058959 SOS 2749752 HAS SOPS 2744782 HAS SOUS 1819628 HAS SOUPS 1818808 WITH SCORE 1821557.752
AT ITER 3083 NEW BEST:: SOT 3060339 SOS 2751132 HAS SOPS 2746162 HAS SOUS 1815168 HAS SOUPS 1814348 WITH SCORE 1817099.132
AT ITER 3099 NEW BEST:: SOT 3060339 SOS 2751410 HAS SOPS 2746440 HAS SOUS 1815167 HAS SOUPS 1814347 WITH SCORE 1817098.41
AT ITER 3100 NEW BEST:: SOT 3060561 SOS 2751632 HAS SOPS 2746662 HAS SOUS 1815017 HAS SOUPS 1814197 WITH SCORE 1816948.632
AT ITER 3117 NEW BEST:: SOT 3066521 SOS 2757592 HAS SOPS 2752622 HAS SOUS 1813513 HAS SOUPS 1812693 WITH SCORE 1815450.592
AT ITER 3128 NEW BEST:: SOT 3066374 SOS 2757445 HAS SOPS 2752475 HAS SOUS 1813464 HAS SOUPS 1812644 WITH SCORE 1815401.445
AT ITER 3145 NEW BEST:: SOT 3068598 SOS 2759669 HAS SOPS 2754699 HAS SOUS 1813443 HAS SOUPS 1812623 WITH SCORE 1815382.669
AT ITER 3152 NEW BEST:: SOT 3075798 SOS 2764570 HAS SOPS 2758737 HAS SOUS 1807514 HAS SOUPS 1806694 WITH SCORE 1809458.57
AT ITER 3182 NEW BEST:: SOT 3078638 SOS 2763244 HAS SOPS 2757011 HAS SOUS 1798640 HAS SOUPS 1797820 WITH SCORE 1800583.244
AT ITER 3206 NEW BEST:: SOT 3078638 SOS 2764106 HAS SOPS 2757873 HAS SOUS 1797978 HAS SOUPS 1797158 WITH SCORE 1799922.106
AT ITER 3220 NEW BEST:: SOT 3079520 SOS 2764672 HAS SOPS 2758439 HAS SOUS 1797582 HAS SOUPS 1796762 WITH SCORE 1799526.672
AT ITER 3231 NEW BEST:: SOT 3079520 SOS 2765200 HAS SOPS 2758967 HAS SOUS 1796410 HAS SOUPS 1795590 WITH SCORE 1798355.2
AT ITER 3240 NEW BEST:: SOT 3082470 SOS 2768150 HAS SOPS 2761917 HAS SOUS 1794986 HAS SOUPS 1794166 WITH SCORE 1796934.15
AT ITER 3247 NEW BEST:: SOT 3083919 SOS 2769599 HAS SOPS 2763366 HAS SOUS 1793819 HAS SOUPS 1792999 WITH SCORE 1795768.599
AT ITER 3248 NEW BEST:: SOT 3083919 SOS 2769599 HAS SOPS 2763366 HAS SOUS 1793481 HAS SOUPS 1792661 WITH SCORE 1795430.599
AT ITER 3256 NEW BEST:: SOT 3083919 SOS 2769599 HAS SOPS 2763366 HAS SOUS 1793384 HAS SOUPS 1792564 WITH SCORE 1795333.599
AT ITER 3259 NEW BEST:: SOT 3091199 SOS 2776879 HAS SOPS 2770646 HAS SOUS 1789903 HAS SOUPS 1789083 WITH SCORE 1791859.879
AT ITER 3291 NEW BEST:: SOT 3091199 SOS 2777370 HAS SOPS 2771137 HAS SOUS 1789458 HAS SOUPS 1788638 WITH SCORE 1791415.37
AT ITER 3296 NEW BEST:: SOT 3091825 SOS 2777285 HAS SOPS 2771052 HAS SOUS 1787633 HAS SOUPS 1786813 WITH SCORE 1789590.285
AT ITER 3303 NEW BEST:: SOT 3091825 SOS 2776994 HAS SOPS 2770761 HAS SOUS 1787487 HAS SOUPS 1786667 WITH SCORE 1789443.994
AT ITER 3304 NEW BEST:: SOT 3093153 SOS 2778322 HAS SOPS 2772089 HAS SOUS 1787412 HAS SOUPS 1786592 WITH SCORE 1789370.322
AT ITER 3309 NEW BEST:: SOT 3093153 SOS 2779127 HAS SOPS 2772894 HAS SOUS 1787389 HAS SOUPS 1786569 WITH SCORE 1789348.127
AT ITER 3328 NEW BEST:: SOT 3093153 SOS 2779141 HAS SOPS 2772908 HAS SOUS 1786823 HAS SOUPS 1786003 WITH SCORE 1788782.141
AT ITER 3376 NEW BEST:: SOT 3094344 SOS 2779374 HAS SOPS 2773141 HAS SOUS 1786084 HAS SOUPS 1785264 WITH SCORE 1788043.374
AT ITER 3394 NEW BEST:: SOT 3094344 SOS 2779374 HAS SOPS 2773141 HAS SOUS 1786027 HAS SOUPS 1785207 WITH SCORE 1787986.374
AT ITER 3395 NEW BEST:: SOT 3096660 SOS 2780700 HAS SOPS 2774467 HAS SOUS 1785909 HAS SOUPS 1785089 WITH SCORE 1787869.7
AT ITER 3420 NEW BEST:: SOT 3097416 SOS 2781456 HAS SOPS 2775223 HAS SOUS 1784837 HAS SOUPS 1784017 WITH SCORE 1786798.456
AT ITER 3432 NEW BEST:: SOT 3097473 SOS 2780828 HAS SOPS 2774538 HAS SOUS 1784148 HAS SOUPS 1783328 WITH SCORE 1786108.828
AT ITER 3441 NEW BEST:: SOT 3098173 SOS 2781475 HAS SOPS 2775185 HAS SOUS 1782416 HAS SOUPS 1781596 WITH SCORE 1784377.475
AT ITER 3455 NEW BEST:: SOT 3110390 SOS 2793692 HAS SOPS 2787402 HAS SOUS 1782078 HAS SOUPS 1781258 WITH SCORE 1784051.692
AT ITER 3542 NEW BEST:: SOT 3110390 SOS 2792926 HAS SOPS 2786636 HAS SOUS 1781312 HAS SOUPS 1780492 WITH SCORE 1783284.926
AT ITER 3557 NEW BEST:: SOT 3112574 SOS 2795110 HAS SOPS 2788820 HAS SOUS 1780518 HAS SOUPS 1779698 WITH SCORE 1782493.11
AT ITER 3564 NEW BEST:: SOT 3113138 SOS 2795663 HAS SOPS 2789373 HAS SOUS 1780367 HAS SOUPS 1779547 WITH SCORE 1782342.663
AT ITER 3583 NEW BEST:: SOT 3113138 SOS 2795667 HAS SOPS 2789377 HAS SOUS 1779836 HAS SOUPS 1779016 WITH SCORE 1781811.667
AT ITER 3587 NEW BEST:: SOT 3113818 SOS 2796347 HAS SOPS 2790057 HAS SOUS 1779791 HAS SOUPS 1778971 WITH SCORE 1781767.347
AT ITER 3592 NEW BEST:: SOT 3113818 SOS 2796120 HAS SOPS 2789830 HAS SOUS 1779337 HAS SOUPS 1778517 WITH SCORE 1781313.12
AT ITER 3604 NEW BEST:: SOT 3113818 SOS 2796120 HAS SOPS 2789830 HAS SOUS 1779244 HAS SOUPS 1778424 WITH SCORE 1781220.12
AT ITER 3626 NEW BEST:: SOT 3113818 SOS 2779589 HAS SOPS 2773299 HAS SOUS 1756892 HAS SOUPS 1756072 WITH SCORE 1758851.589
AT ITER 3630 NEW BEST:: SOT 3115703 SOS 2781474 HAS SOPS 2775184 HAS SOUS 1752583 HAS SOUPS 1751763 WITH SCORE 1754544.474
AT ITER 3633 NEW BEST:: SOT 3115703 SOS 2781840 HAS SOPS 2775550 HAS SOUS 1752154 HAS SOUPS 1751334 WITH SCORE 1754115.84
AT ITER 3634 NEW BEST:: SOT 3109601 SOS 2775738 HAS SOPS 2770102 HAS SOUS 1751591 HAS SOUPS 1750771 WITH SCORE 1753546.738
AT ITER 3690 NEW BEST:: SOT 3111157 SOS 2777146 HAS SOPS 2771510 HAS SOUS 1751348 HAS SOUPS 1750528 WITH SCORE 1753305.146
AT ITER 3708 NEW BEST:: SOT 3112777 SOS 2778766 HAS SOPS 2773130 HAS SOUS 1750261 HAS SOUPS 1749441 WITH SCORE 1752219.766
AT ITER 3711 NEW BEST:: SOT 3112777 SOS 2779054 HAS SOPS 2773418 HAS SOUS 1747537 HAS SOUPS 1746717 WITH SCORE 1749496.054
AT ITER 3720 NEW BEST:: SOT 3112953 SOS 2779165 HAS SOPS 2773529 HAS SOUS 1746896 HAS SOUPS 1746076 WITH SCORE 1748855.165
AT ITER 3739 NEW BEST:: SOT 3122966 SOS 2784531 HAS SOPS 2777919 HAS SOUS 1740780 HAS SOUPS 1739934 WITH SCORE 1742718.531
AT ITER 3753 NEW BEST:: SOT 3122966 SOS 2785259 HAS SOPS 2778647 HAS SOUS 1722284 HAS SOUPS 1721438 WITH SCORE 1724223.259
AT ITER 3762 NEW BEST:: SOT 3123031 SOS 2785324 HAS SOPS 2778712 HAS SOUS 1717517 HAS SOUPS 1716671 WITH SCORE 1719456.324
AT ITER 3769 NEW BEST:: SOT 3121461 SOS 2783754 HAS SOPS 2777360 HAS SOUS 1717506 HAS SOUPS 1716660 WITH SCORE 1719443.754
AT ITER 3780 NEW BEST:: SOT 3121461 SOS 2781879 HAS SOPS 2775485 HAS SOUS 1717199 HAS SOUPS 1716353 WITH SCORE 1719134.879
AT ITER 3785 NEW BEST:: SOT 3122805 SOS 2783111 HAS SOPS 2776717 HAS SOUS 1716885 HAS SOUPS 1716039 WITH SCORE 1718822.111
AT ITER 3794 NEW BEST:: SOT 3122805 SOS 2783123 HAS SOPS 2776729 HAS SOUS 1716810 HAS SOUPS 1715964 WITH SCORE 1718747.123
AT ITER 3800 NEW BEST:: SOT 3122805 SOS 2783123 HAS SOPS 2776729 HAS SOUS 1716512 HAS SOUPS 1715666 WITH SCORE 1718449.123
AT ITER 3810 NEW BEST:: SOT 3122805 SOS 2779822 HAS SOPS 2773428 HAS SOUS 1713705 HAS SOUPS 1712859 WITH SCORE 1715638.822
AT ITER 3817 NEW BEST:: SOT 3127716 SOS 2784733 HAS SOPS 2778339 HAS SOUS 1712256 HAS SOUPS 1711410 WITH SCORE 1714194.733
AT ITER 3831 NEW BEST:: SOT 3127854 SOS 2784871 HAS SOPS 2778477 HAS SOUS 1712175 HAS SOUPS 1711329 WITH SCORE 1714113.871
AT ITER 3839 NEW BEST:: SOT 3127854 SOS 2784871 HAS SOPS 2778477 HAS SOUS 1712053 HAS SOUPS 1711207 WITH SCORE 1713991.871
AT ITER 3870 NEW BEST:: SOT 3128112 SOS 2785129 HAS SOPS 2778735 HAS SOUS 1711885 HAS SOUPS 1711039 WITH SCORE 1713824.129
AT ITER 3874 NEW BEST:: SOT 3130521 SOS 2787538 HAS SOPS 2781144 HAS SOUS 1710736 HAS SOUPS 1709890 WITH SCORE 1712677.538
AT ITER 3886 NEW BEST:: SOT 3130961 SOS 2787947 HAS SOPS 2781553 HAS SOUS 1710284 HAS SOUPS 1709438 WITH SCORE 1712225.947
AT ITER 3924 NEW BEST:: SOT 3131017 SOS 2788003 HAS SOPS 2781609 HAS SOUS 1709975 HAS SOUPS 1709129 WITH SCORE 1711917.003
AT ITER 3943 NEW BEST:: SOT 3132242 SOS 2789228 HAS SOPS 2782834 HAS SOUS 1705235 HAS SOUPS 1704389 WITH SCORE 1707178.228
AT ITER 3963 NEW BEST:: SOT 3132242 SOS 2789305 HAS SOPS 2782911 HAS SOUS 1705158 HAS SOUPS 1704312 WITH SCORE 1707101.305
AT ITER 3965 NEW BEST:: SOT 3132275 SOS 2789338 HAS SOPS 2782944 HAS SOUS 1703777 HAS SOUPS 1702931 WITH SCORE 1705720.338
AT ITER 4016 NEW BEST:: SOT 3132275 SOS 2789114 HAS SOPS 2782720 HAS SOUS 1703609 HAS SOUPS 1702763 WITH SCORE 1705552.114
AT ITER 4048 NEW BEST:: SOT 3132275 SOS 2789114 HAS SOPS 2782720 HAS SOUS 1701695 HAS SOUPS 1700849 WITH SCORE 1703638.114
AT ITER 4053 NEW BEST:: SOT 3132275 SOS 2788134 HAS SOPS 2781740 HAS SOUS 1701379 HAS SOUPS 1700533 WITH SCORE 1703321.134
AT ITER 4060 NEW BEST:: SOT 3132275 SOS 2787160 HAS SOPS 2780766 HAS SOUS 1700405 HAS SOUPS 1699559 WITH SCORE 1702346.16
AT ITER 4073 NEW BEST:: SOT 3132275 SOS 2787286 HAS SOPS 2780892 HAS SOUS 1699782 HAS SOUPS 1698936 WITH SCORE 1701723.286
AT ITER 4089 NEW BEST:: SOT 3132794 SOS 2786146 HAS SOPS 2779751 HAS SOUS 1695320 HAS SOUPS 1694474 WITH SCORE 1697260.146
AT ITER 4131 NEW BEST:: SOT 3132980 SOS 2785740 HAS SOPS 2779345 HAS SOUS 1694241 HAS SOUPS 1693395 WITH SCORE 1696180.74
AT ITER 4136 NEW BEST:: SOT 3132980 SOS 2785740 HAS SOPS 2779345 HAS SOUS 1694239 HAS SOUPS 1693393 WITH SCORE 1696178.74
AT ITER 4139 NEW BEST:: SOT 3137525 SOS 2790285 HAS SOPS 2783890 HAS SOUS 1694074 HAS SOUPS 1693228 WITH SCORE 1696018.285
AT ITER 4149 NEW BEST:: SOT 3137525 SOS 2790699 HAS SOPS 2784304 HAS SOUS 1693131 HAS SOUPS 1692285 WITH SCORE 1695075.699
AT ITER 4170 NEW BEST:: SOT 3138833 SOS 2792007 HAS SOPS 2785612 HAS SOUS 1692187 HAS SOUPS 1691341 WITH SCORE 1694133.007
AT ITER 4175 NEW BEST:: SOT 3147833 SOS 2795896 HAS SOPS 2788541 HAS SOUS 1684829 HAS SOUPS 1683983 WITH SCORE 1686778.896
AT ITER 4214 NEW BEST:: SOT 3150674 SOS 2798737 HAS SOPS 2791382 HAS SOUS 1683443 HAS SOUPS 1682597 WITH SCORE 1685395.737
AT ITER 4245 NEW BEST:: SOT 3150674 SOS 2798737 HAS SOPS 2791382 HAS SOUS 1683243 HAS SOUPS 1682397 WITH SCORE 1685195.737
AT ITER 4248 NEW BEST:: SOT 3150674 SOS 2799229 HAS SOPS 2791874 HAS SOUS 1681575 HAS SOUPS 1680729 WITH SCORE 1683528.229
AT ITER 4269 NEW BEST:: SOT 3150674 SOS 2799128 HAS SOPS 2791773 HAS SOUS 1681085 HAS SOUPS 1680239 WITH SCORE 1683038.128
AT ITER 4278 NEW BEST:: SOT 3150674 SOS 2799128 HAS SOPS 2791773 HAS SOUS 1681064 HAS SOUPS 1680218 WITH SCORE 1683017.128
AT ITER 4325 NEW BEST:: SOT 3154106 SOS 2802560 HAS SOPS 2795205 HAS SOUS 1677096 HAS SOUPS 1676250 WITH SCORE 1679052.56
AT ITER 4354 NEW BEST:: SOT 3154061 SOS 2802515 HAS SOPS 2795160 HAS SOUS 1677081 HAS SOUPS 1676235 WITH SCORE 1679037.515
AT ITER 4370 NEW BEST:: SOT 3153476 SOS 2801930 HAS SOPS 2794575 HAS SOUS 1676886 HAS SOUPS 1676040 WITH SCORE 1678841.93
AT ITER 4372 NEW BEST:: SOT 3154163 SOS 2801931 HAS SOPS 2793889 HAS SOUS 1676192 HAS SOUPS 1675346 WITH SCORE 1678147.931
AT ITER 4393 NEW BEST:: SOT 3154163 SOS 2801931 HAS SOPS 2793889 HAS SOUS 1676176 HAS SOUPS 1675330 WITH SCORE 1678131.931
AT ITER 4397 NEW BEST:: SOT 3154163 SOS 2801870 HAS SOPS 2793828 HAS SOUS 1675932 HAS SOUPS 1675086 WITH SCORE 1677887.87
AT ITER 4414 NEW BEST:: SOT 3154753 SOS 2802361 HAS SOPS 2794319 HAS SOUS 1675344 HAS SOUPS 1674498 WITH SCORE 1677300.361
AT ITER 4419 NEW BEST:: SOT 3154913 SOS 2802521 HAS SOPS 2794479 HAS SOUS 1675025 HAS SOUPS 1674179 WITH SCORE 1676981.521
AT ITER 4428 NEW BEST:: SOT 3154913 SOS 2802598 HAS SOPS 2794556 HAS SOUS 1673844 HAS SOUPS 1672998 WITH SCORE 1675800.598
AT ITER 4429 NEW BEST:: SOT 3156017 SOS 2803702 HAS SOPS 2795660 HAS SOUS 1673772 HAS SOUPS 1672926 WITH SCORE 1675729.702
AT ITER 4430 NEW BEST:: SOT 3156288 SOS 2802806 HAS SOPS 2794764 HAS SOUS 1673636 HAS SOUPS 1672790 WITH SCORE 1675592.806
AT ITER 4470 NEW BEST:: SOT 3156288 SOS 2802348 HAS SOPS 2794306 HAS SOUS 1672506 HAS SOUPS 1671660 WITH SCORE 1674462.348
AT ITER 4476 NEW BEST:: SOT 3159540 SOS 2805600 HAS SOPS 2797558 HAS SOUS 1669162 HAS SOUPS 1668316 WITH SCORE 1671121.6
AT ITER 4518 NEW BEST:: SOT 3160277 SOS 2803696 HAS SOPS 2795654 HAS SOUS 1666294 HAS SOUPS 1665448 WITH SCORE 1668251.696
AT ITER 4553 NEW BEST:: SOT 3163541 SOS 2806960 HAS SOPS 2798918 HAS SOUS 1664977 HAS SOUPS 1664131 WITH SCORE 1666937.96
AT ITER 4586 NEW BEST:: SOT 3163541 SOS 2806960 HAS SOPS 2798918 HAS SOUS 1664881 HAS SOUPS 1664035 WITH SCORE 1666841.96
AT ITER 4617 NEW BEST:: SOT 3163541 SOS 2806960 HAS SOPS 2798918 HAS SOUS 1663556 HAS SOUPS 1662710 WITH SCORE 1665516.96
AT ITER 4637 NEW BEST:: SOT 3163541 SOS 2881410 HAS SOPS 2873368 HAS SOUS 1663111 HAS SOUPS 1662265 WITH SCORE 1665146.41
AT ITER 4638 NEW BEST:: SOT 3164461 SOS 2882330 HAS SOPS 2874288 HAS SOUS 1663061 HAS SOUPS 1662215 WITH SCORE 1665097.33
AT ITER 4686 NEW BEST:: SOT 3164461 SOS 2882330 HAS SOPS 2874288 HAS SOUS 1662367 HAS SOUPS 1661521 WITH SCORE 1664403.33
AT ITER 4693 NEW BEST:: SOT 3164805 SOS 2882674 HAS SOPS 2874632 HAS SOUS 1660170 HAS SOUPS 1659324 WITH SCORE 1662206.674
AT ITER 4725 NEW BEST:: SOT 3165585 SOS 2883294 HAS SOPS 2875252 HAS SOUS 1658930 HAS SOUPS 1658084 WITH SCORE 1660967.294
AT ITER 4728 NEW BEST:: SOT 3165585 SOS 2856572 HAS SOPS 2848530 HAS SOUS 1658949 HAS SOUPS 1658103 WITH SCORE 1660959.572
AT ITER 4800 NEW BEST:: SOT 3165621 SOS 2856608 HAS SOPS 2848566 HAS SOUS 1658672 HAS SOUPS 1657826 WITH SCORE 1660682.608
AT ITER 4801 NEW BEST:: SOT 3166019 SOS 2857006 HAS SOPS 2848964 HAS SOUS 1658479 HAS SOUPS 1657633 WITH SCORE 1660490.006
AT ITER 4810 NEW BEST:: SOT 3172004 SOS 2862034 HAS SOPS 2853992 HAS SOUS 1638490 HAS SOUPS 1637644 WITH SCORE 1640506.034
AT ITER 4816 NEW BEST:: SOT 3172004 SOS 2858478 HAS SOPS 2850436 HAS SOUS 1632931 HAS SOUPS 1632085 WITH SCORE 1634943.478
AT ITER 4822 NEW BEST:: SOT 3171452 SOS 2857926 HAS SOPS 2849884 HAS SOUS 1632931 HAS SOUPS 1632085 WITH SCORE 1634942.926
AT ITER 4824 NEW BEST:: SOT 3172964 SOS 2859438 HAS SOPS 2851396 HAS SOUS 1632862 HAS SOUPS 1632016 WITH SCORE 1634875.438
AT ITER 4835 NEW BEST:: SOT 3175226 SOS 2861638 HAS SOPS 2853596 HAS SOUS 1632172 HAS SOUPS 1631326 WITH SCORE 1634187.638
AT ITER 4856 NEW BEST:: SOT 3175424 SOS 2861836 HAS SOPS 2853794 HAS SOUS 1631031 HAS SOUPS 1630185 WITH SCORE 1633046.836
AT ITER 4876 NEW BEST:: SOT 3175424 SOS 2861836 HAS SOPS 2853794 HAS SOUS 1631013 HAS SOUPS 1630167 WITH SCORE 1633028.836
AT ITER 4908 NEW BEST:: SOT 3175424 SOS 2830050 HAS SOPS 2822008 HAS SOUS 1630819 HAS SOUPS 1629973 WITH SCORE 1632803.05
AT ITER 4916 NEW BEST:: SOT 3175108 SOS 2829734 HAS SOPS 2821692 HAS SOUS 1630661 HAS SOUPS 1629815 WITH SCORE 1632644.734
AT ITER 4928 NEW BEST:: SOT 3176341 SOS 2830967 HAS SOPS 2822925 HAS SOUS 1628738 HAS SOUPS 1627892 WITH SCORE 1630722.967
AT ITER 4933 NEW BEST:: SOT 3176341 SOS 2830916 HAS SOPS 2822874 HAS SOUS 1628687 HAS SOUPS 1627841 WITH SCORE 1630671.916
AT ITER 4952 NEW BEST:: SOT 3176479 SOS 2831054 HAS SOPS 2823012 HAS SOUS 1628626 HAS SOUPS 1627780 WITH SCORE 1630611.054
AT ITER 4978 NEW BEST:: SOT 3176479 SOS 2830361 HAS SOPS 2822319 HAS SOUS 1609942 HAS SOUPS 1609096 WITH SCORE 1611926.361
AT ITER 4982 NEW BEST:: SOT 3177097 SOS 2830979 HAS SOPS 2822937 HAS SOUS 1609268 HAS SOUPS 1608422 WITH SCORE 1611252.979
AT ITER 5025 NEW BEST:: SOT 3177413 SOS 2831295 HAS SOPS 2823253 HAS SOUS 1609034 HAS SOUPS 1608188 WITH SCORE 1611019.295
AT ITER 5088 NEW BEST:: SOT 3177481 SOS 2831363 HAS SOPS 2823321 HAS SOUS 1608917 HAS SOUPS 1608071 WITH SCORE 1610902.363
AT ITER 5112 NEW BEST:: SOT 3209306 SOS 2862199 HAS SOPS 2854157 HAS SOUS 1608619 HAS SOUPS 1607773 WITH SCORE 1610635.199
AT ITER 5124 NEW BEST:: SOT 3209306 SOS 2862053 HAS SOPS 2854011 HAS SOUS 1608618 HAS SOUPS 1607772 WITH SCORE 1610634.053
AT ITER 5137 NEW BEST:: SOT 3216876 SOS 2865023 HAS SOPS 2856081 HAS SOUS 1600588 HAS SOUPS 1599742 WITH SCORE 1602607.023
AT ITER 5139 NEW BEST:: SOT 3216876 SOS 2864062 HAS SOPS 2855120 HAS SOUS 1584612 HAS SOUPS 1583766 WITH SCORE 1586630.062
AT ITER 5181 NEW BEST:: SOT 3216876 SOS 2864062 HAS SOPS 2855120 HAS SOUS 1584527 HAS SOUPS 1583681 WITH SCORE 1586545.062
AT ITER 5187 NEW BEST:: SOT 3226296 SOS 2873482 HAS SOPS 2864540 HAS SOUS 1582663 HAS SOUPS 1581817 WITH SCORE 1584690.482
AT ITER 5256 NEW BEST:: SOT 3227177 SOS 2873825 HAS SOPS 2864740 HAS SOUS 1581772 HAS SOUPS 1580926 WITH SCORE 1583799.825
AT ITER 5260 NEW BEST:: SOT 3228425 SOS 2874786 HAS SOPS 2865701 HAS SOUS 1581651 HAS SOUPS 1580805 WITH SCORE 1583679.786
AT ITER 5264 NEW BEST:: SOT 3255120 SOS 2900490 HAS SOPS 2891405 HAS SOUS 1562491 HAS SOUPS 1561645 WITH SCORE 1564545.49
AT ITER 5285 NEW BEST:: SOT 3258852 SOS 2904222 HAS SOPS 2895137 HAS SOUS 1561385 HAS SOUPS 1560539 WITH SCORE 1563443.222
AT ITER 5295 NEW BEST:: SOT 3259526 SOS 2904896 HAS SOPS 2895811 HAS SOUS 1560942 HAS SOUPS 1560096 WITH SCORE 1563000.896
AT ITER 5303 NEW BEST:: SOT 3274174 SOS 2896027 HAS SOPS 2882091 HAS SOUS 1539130 HAS SOUPS 1538284 WITH SCORE 1541180.027
AT ITER 5336 NEW BEST:: SOT 3277297 SOS 2899088 HAS SOPS 2885152 HAS SOUS 1539097 HAS SOUPS 1538251 WITH SCORE 1541150.088
AT ITER 5359 NEW BEST:: SOT 3278043 SOS 2899834 HAS SOPS 2885898 HAS SOUS 1538900 HAS SOUPS 1538054 WITH SCORE 1540953.834
AT ITER 5385 NEW BEST:: SOT 3278043 SOS 2897255 HAS SOPS 2883319 HAS SOUS 1536324 HAS SOUPS 1535478 WITH SCORE 1538375.255
AT ITER 5409 NEW BEST:: SOT 3278222 SOS 2897434 HAS SOPS 2883498 HAS SOUS 1536277 HAS SOUPS 1535431 WITH SCORE 1538328.434
AT ITER 5412 NEW BEST:: SOT 3278222 SOS 2897434 HAS SOPS 2883498 HAS SOUS 1536180 HAS SOUPS 1535334 WITH SCORE 1538231.434
AT ITER 5416 NEW BEST:: SOT 3285309 SOS 2903526 HAS SOPS 2889590 HAS SOUS 1515956 HAS SOUPS 1515110 WITH SCORE 1518013.526
AT ITER 5432 NEW BEST:: SOT 3285309 SOS 2902829 HAS SOPS 2888893 HAS SOUS 1507844 HAS SOUPS 1506998 WITH SCORE 1509900.829
AT ITER 5444 NEW BEST:: SOT 3290613 SOS 2908133 HAS SOPS 2894197 HAS SOUS 1505054 HAS SOUPS 1504208 WITH SCORE 1507116.133
AT ITER 5460 NEW BEST:: SOT 3291139 SOS 2908659 HAS SOPS 2894723 HAS SOUS 1504965 HAS SOUPS 1504119 WITH SCORE 1507027.659
AT ITER 5483 NEW BEST:: SOT 3291139 SOS 2907818 HAS SOPS 2893882 HAS SOUS 1504965 HAS SOUPS 1504119 WITH SCORE 1507026.818
AT ITER 5485 NEW BEST:: SOT 3292645 SOS 2909050 HAS SOPS 2895114 HAS SOUS 1504734 HAS SOUPS 1503888 WITH SCORE 1506797.05
AT ITER 5487 NEW BEST:: SOT 3292645 SOS 2909050 HAS SOPS 2895114 HAS SOUS 1504657 HAS SOUPS 1503811 WITH SCORE 1506720.05
AT ITER 5488 NEW BEST:: SOT 3293279 SOS 2909684 HAS SOPS 2895748 HAS SOUS 1504208 HAS SOUPS 1503362 WITH SCORE 1506271.684
AT ITER 5490 NEW BEST:: SOT 3296189 SOS 2912594 HAS SOPS 2898658 HAS SOUS 1503545 HAS SOUPS 1502699 WITH SCORE 1505611.594
AT ITER 5506 NEW BEST:: SOT 3297785 SOS 2914190 HAS SOPS 2900254 HAS SOUS 1503503 HAS SOUPS 1502657 WITH SCORE 1505571.19
AT ITER 5510 NEW BEST:: SOT 3298409 SOS 2914814 HAS SOPS 2900878 HAS SOUS 1503194 HAS SOUPS 1502348 WITH SCORE 1505262.814
AT ITER 5521 NEW BEST:: SOT 3298409 SOS 2914814 HAS SOPS 2900878 HAS SOUS 1503133 HAS SOUPS 1502287 WITH SCORE 1505201.814
AT ITER 5546 NEW BEST:: SOT 3298721 SOS 2915022 HAS SOPS 2901086 HAS SOUS 1502565 HAS SOUPS 1501719 WITH SCORE 1504634.022
AT ITER 5560 NEW BEST:: SOT 3302389 SOS 2917934 HAS SOPS 2903998 HAS SOUS 1500918 HAS SOUPS 1500072 WITH SCORE 1502989.934
AT ITER 5571 NEW BEST:: SOT 3303451 SOS 2918876 HAS SOPS 2904940 HAS SOUS 1500570 HAS SOUPS 1499724 WITH SCORE 1502642.876
AT ITER 5633 NEW BEST:: SOT 3318385 SOS 2932827 HAS SOPS 2918891 HAS SOUS 1481102 HAS SOUPS 1480256 WITH SCORE 1483188.827
AT ITER 5640 NEW BEST:: SOT 3319940 SOS 2923414 HAS SOPS 2909310 HAS SOUS 1475393 HAS SOUPS 1474547 WITH SCORE 1477470.414
AT ITER 5647 NEW BEST:: SOT 3319940 SOS 2923414 HAS SOPS 2909310 HAS SOUS 1475386 HAS SOUPS 1474540 WITH SCORE 1477463.414
AT ITER 5659 NEW BEST:: SOT 3320108 SOS 2923453 HAS SOPS 2909349 HAS SOUS 1475107 HAS SOUPS 1474261 WITH SCORE 1477184.453
AT ITER 5661 NEW BEST:: SOT 3324317 SOS 2915946 HAS SOPS 2900762 HAS SOUS 1463791 HAS SOUPS 1462945 WITH SCORE 1465860.946
AT ITER 5685 NEW BEST:: SOT 3332001 SOS 2923630 HAS SOPS 2907250 HAS SOUS 1463551 HAS SOUPS 1462705 WITH SCORE 1465628.63
AT ITER 5702 NEW BEST:: SOT 3332001 SOS 2923672 HAS SOPS 2907292 HAS SOUS 1462826 HAS SOUPS 1461980 WITH SCORE 1464903.672
AT ITER 5710 NEW BEST:: SOT 3332001 SOS 2923672 HAS SOPS 2907292 HAS SOUS 1461900 HAS SOUPS 1461054 WITH SCORE 1463977.672
AT ITER 5743 NEW BEST:: SOT 3333159 SOS 2924656 HAS SOPS 2908276 HAS SOUS 1461892 HAS SOUPS 1461046 WITH SCORE 1463970.656
AT ITER 5755 NEW BEST:: SOT 3338867 SOS 2929783 HAS SOPS 2913403 HAS SOUS 1461442 HAS SOUPS 1460596 WITH SCORE 1463525.783
AT ITER 5757 NEW BEST:: SOT 3339253 SOS 2930076 HAS SOPS 2913696 HAS SOUS 1461390 HAS SOUPS 1460544 WITH SCORE 1463474.076
AT ITER 5771 NEW BEST:: SOT 3334708 SOS 2925531 HAS SOPS 2909151 HAS SOUS 1461122 HAS SOUPS 1460276 WITH SCORE 1463201.531
AT ITER 5778 NEW BEST:: SOT 3333571 SOS 2924394 HAS SOPS 2908014 HAS SOUS 1460364 HAS SOUPS 1459518 WITH SCORE 1462442.394
AT ITER 5791 NEW BEST:: SOT 3333571 SOS 2924015 HAS SOPS 2907635 HAS SOUS 1459985 HAS SOUPS 1459139 WITH SCORE 1462063.015
AT ITER 5829 NEW BEST:: SOT 3345107 SOS 2935495 HAS SOPS 2918907 HAS SOUS 1459385 HAS SOUPS 1458539 WITH SCORE 1461474.495
AT ITER 5833 NEW BEST:: SOT 3344243 SOS 2934631 HAS SOPS 2918043 HAS SOUS 1458953 HAS SOUPS 1458107 WITH SCORE 1461041.631
AT ITER 5836 NEW BEST:: SOT 3343256 SOS 2933644 HAS SOPS 2917056 HAS SOUS 1458624 HAS SOUPS 1457778 WITH SCORE 1460711.644
AT ITER 5840 NEW BEST:: SOT 3347166 SOS 2937554 HAS SOPS 2920966 HAS SOUS 1454624 HAS SOUPS 1453778 WITH SCORE 1456715.554
AT ITER 5862 NEW BEST:: SOT 3348108 SOS 2938496 HAS SOPS 2921908 HAS SOUS 1453524 HAS SOUPS 1452678 WITH SCORE 1455616.496
AT ITER 5863 NEW BEST:: SOT 3364031 SOS 2948915 HAS SOPS 2930584 HAS SOUS 1453359 HAS SOUPS 1452513 WITH SCORE 1455461.915
AT ITER 5884 NEW BEST:: SOT 3363719 SOS 2948603 HAS SOPS 2930272 HAS SOUS 1453255 HAS SOUPS 1452409 WITH SCORE 1455357.603
AT ITER 5902 NEW BEST:: SOT 3363817 SOS 2948701 HAS SOPS 2930370 HAS SOUS 1453158 HAS SOUPS 1452312 WITH SCORE 1455260.701
AT ITER 5905 NEW BEST:: SOT 3363817 SOS 2948701 HAS SOPS 2930370 HAS SOUS 1453054 HAS SOUPS 1452208 WITH SCORE 1455156.701
AT ITER 5913 NEW BEST:: SOT 3363817 SOS 2948703 HAS SOPS 2930372 HAS SOUS 1452977 HAS SOUPS 1452131 WITH SCORE 1455079.703
AT ITER 5919 NEW BEST:: SOT 3363817 SOS 2948610 HAS SOPS 2930279 HAS SOUS 1452605 HAS SOUPS 1451759 WITH SCORE 1454707.61
AT ITER 5954 NEW BEST:: SOT 3363899 SOS 2948496 HAS SOPS 2930165 HAS SOUS 1451320 HAS SOUPS 1450474 WITH SCORE 1453422.496
AT ITER 6003 NEW BEST:: SOT 3363899 SOS 2948481 HAS SOPS 2930150 HAS SOUS 1451303 HAS SOUPS 1450457 WITH SCORE 1453405.481
AT ITER 6005 NEW BEST:: SOT 3377699 SOS 2960279 HAS SOPS 2940205 HAS SOUS 1449252 HAS SOUPS 1448406 WITH SCORE 1451366.279
AT ITER 6011 NEW BEST:: SOT 3379529 SOS 2962091 HAS SOPS 2942017 HAS SOUS 1448113 HAS SOUPS 1447267 WITH SCORE 1450229.091
AT ITER 6037 NEW BEST:: SOT 3380667 SOS 2963229 HAS SOPS 2943155 HAS SOUS 1447852 HAS SOUPS 1447006 WITH SCORE 1449969.229
AT ITER 6076 NEW BEST:: SOT 3373451 SOS 2956013 HAS SOPS 2936060 HAS SOUS 1447285 HAS SOUPS 1446439 WITH SCORE 1449395.013
AT ITER 6084 NEW BEST:: SOT 3372680 SOS 2955242 HAS SOPS 2935289 HAS SOUS 1447028 HAS SOUPS 1446182 WITH SCORE 1449137.242
AT ITER 6092 NEW BEST:: SOT 3373656 SOS 2956000 HAS SOPS 2936047 HAS SOUS 1445145 HAS SOUPS 1444299 WITH SCORE 1447255.0
AT ITER 6108 NEW BEST:: SOT 3374028 SOS 2956372 HAS SOPS 2936419 HAS SOUS 1445015 HAS SOUPS 1444169 WITH SCORE 1447125.372
AT ITER 6126 NEW BEST:: SOT 3374028 SOS 2944156 HAS SOPS 2924203 HAS SOUS 1444185 HAS SOUPS 1443339 WITH SCORE 1446283.156
AT ITER 6150 NEW BEST:: SOT 3374028 SOS 2944137 HAS SOPS 2924184 HAS SOUS 1444185 HAS SOUPS 1443339 WITH SCORE 1446283.137
AT ITER 6157 NEW BEST:: SOT 3360375 SOS 2930484 HAS SOPS 2910729 HAS SOUS 1443631 HAS SOUPS 1442785 WITH SCORE 1445715.484
AT ITER 6168 NEW BEST:: SOT 3360586 SOS 2928480 HAS SOPS 2908725 HAS SOUS 1441830 HAS SOUPS 1440984 WITH SCORE 1443912.48
AT ITER 6171 NEW BEST:: SOT 3366217 SOS 2933925 HAS SOPS 2914170 HAS SOUS 1441783 HAS SOUPS 1440937 WITH SCORE 1443870.925
AT ITER 6200 NEW BEST:: SOT 3366217 SOS 2933532 HAS SOPS 2913777 HAS SOUS 1440779 HAS SOUPS 1439933 WITH SCORE 1442866.532
AT ITER 6260 NEW BEST:: SOT 3401501 SOS 2965416 HAS SOPS 2945453 HAS SOUS 1427505 HAS SOUPS 1426659 WITH SCORE 1429624.416
AT ITER 6264 NEW BEST:: SOT 3401843 SOS 2965758 HAS SOPS 2945795 HAS SOUS 1427411 HAS SOUPS 1426565 WITH SCORE 1429530.758
AT ITER 6266 NEW BEST:: SOT 3401848 SOS 2966570 HAS SOPS 2946608 HAS SOUS 1426990 HAS SOUPS 1426144 WITH SCORE 1429110.57
AT ITER 6287 NEW BEST:: SOT 3402802 SOS 2967524 HAS SOPS 2947562 HAS SOUS 1426830 HAS SOUPS 1425984 WITH SCORE 1428951.524
AT ITER 6303 NEW BEST:: SOT 3402854 SOS 2967576 HAS SOPS 2947614 HAS SOUS 1426514 HAS SOUPS 1425668 WITH SCORE 1428635.576
AT ITER 6310 NEW BEST:: SOT 3401790 SOS 2966512 HAS SOPS 2946550 HAS SOUS 1425982 HAS SOUPS 1425136 WITH SCORE 1428102.512
AT ITER 6359 NEW BEST:: SOT 3401790 SOS 2966512 HAS SOPS 2946550 HAS SOUS 1425962 HAS SOUPS 1425116 WITH SCORE 1428082.512
AT ITER 6371 NEW BEST:: SOT 3401790 SOS 2966512 HAS SOPS 2946550 HAS SOUS 1425260 HAS SOUPS 1424414 WITH SCORE 1427380.512
AT ITER 6372 NEW BEST:: SOT 3418263 SOS 2980423 HAS SOPS 2958718 HAS SOUS 1423280 HAS SOUPS 1422434 WITH SCORE 1425414.423
AT ITER 6374 NEW BEST:: SOT 3418440 SOS 2980328 HAS SOPS 2958623 HAS SOUS 1422069 HAS SOUPS 1421223 WITH SCORE 1424203.328
AT ITER 6420 NEW BEST:: SOT 3418440 SOS 2980351 HAS SOPS 2958646 HAS SOUS 1421766 HAS SOUPS 1420920 WITH SCORE 1423900.351
AT ITER 6425 NEW BEST:: SOT 3418440 SOS 2980351 HAS SOPS 2958646 HAS SOUS 1421703 HAS SOUPS 1420857 WITH SCORE 1423837.351
AT ITER 6449 NEW BEST:: SOT 3418440 SOS 2980323 HAS SOPS 2958618 HAS SOUS 1421647 HAS SOUPS 1420801 WITH SCORE 1423781.323
AT ITER 6486 NEW BEST:: SOT 3423250 SOS 2978957 HAS SOPS 2956134 HAS SOUS 1415094 HAS SOUPS 1414248 WITH SCORE 1417226.957
AT ITER 6488 NEW BEST:: SOT 3423250 SOS 2978957 HAS SOPS 2956134 HAS SOUS 1414904 HAS SOUPS 1414058 WITH SCORE 1417036.957
AT ITER 6492 NEW BEST:: SOT 3430452 SOS 2986133 HAS SOPS 2963102 HAS SOUS 1414893 HAS SOUPS 1414047 WITH SCORE 1417033.133
AT ITER 6493 NEW BEST:: SOT 3431691 SOS 2987372 HAS SOPS 2964341 HAS SOUS 1414059 HAS SOUPS 1413213 WITH SCORE 1416200.372
AT ITER 6508 NEW BEST:: SOT 3435882 SOS 2991159 HAS SOPS 2968128 HAS SOUS 1412753 HAS SOUPS 1411907 WITH SCORE 1414898.159
AT ITER 6554 NEW BEST:: SOT 3435882 SOS 2991159 HAS SOPS 2968128 HAS SOUS 1412359 HAS SOUPS 1411513 WITH SCORE 1414504.159
AT ITER 6556 NEW BEST:: SOT 3437020 SOS 2992297 HAS SOPS 2969266 HAS SOUS 1411227 HAS SOUPS 1410381 WITH SCORE 1413373.297
AT ITER 6600 NEW BEST:: SOT 3437020 SOS 2992297 HAS SOPS 2969266 HAS SOUS 1410406 HAS SOUPS 1409560 WITH SCORE 1412552.297
AT ITER 6606 NEW BEST:: SOT 3442379 SOS 2997564 HAS SOPS 2973139 HAS SOUS 1409824 HAS SOUPS 1408978 WITH SCORE 1411975.564
AT ITER 6610 NEW BEST:: SOT 3443403 SOS 2998588 HAS SOPS 2974163 HAS SOUS 1409614 HAS SOUPS 1408768 WITH SCORE 1411766.588
AT ITER 6670 NEW BEST:: SOT 3443403 SOS 2998588 HAS SOPS 2974163 HAS SOUS 1409183 HAS SOUPS 1408337 WITH SCORE 1411335.588
AT ITER 6695 NEW BEST:: SOT 3445074 SOS 3000259 HAS SOPS 2975834 HAS SOUS 1407355 HAS SOUPS 1406509 WITH SCORE 1409509.259
AT ITER 6697 NEW BEST:: SOT 3445074 SOS 3000114 HAS SOPS 2975689 HAS SOUS 1407239 HAS SOUPS 1406393 WITH SCORE 1409393.114
AT ITER 6701 NEW BEST:: SOT 3444558 SOS 2999598 HAS SOPS 2975173 HAS SOUS 1406895 HAS SOUPS 1406049 WITH SCORE 1409048.598
AT ITER 6716 NEW BEST:: SOT 3444964 SOS 3000004 HAS SOPS 2975579 HAS SOUS 1406739 HAS SOUPS 1405893 WITH SCORE 1408893.004
AT ITER 6744 NEW BEST:: SOT 3445467 SOS 2999788 HAS SOPS 2974868 HAS SOUS 1406028 HAS SOUPS 1405182 WITH SCORE 1408181.788
AT ITER 6745 NEW BEST:: SOT 3445467 SOS 2999788 HAS SOPS 2974868 HAS SOUS 1405564 HAS SOUPS 1404718 WITH SCORE 1407717.788
AT ITER 6754 NEW BEST:: SOT 3449064 SOS 3003383 HAS SOPS 2978463 HAS SOUS 1404913 HAS SOUPS 1404067 WITH SCORE 1407070.383
AT ITER 6769 NEW BEST:: SOT 3450537 SOS 3004673 HAS SOPS 2979753 HAS SOUS 1403006 HAS SOUPS 1402160 WITH SCORE 1405164.673
AT ITER 6773 NEW BEST:: SOT 3450537 SOS 3004050 HAS SOPS 2979130 HAS SOUS 1401534 HAS SOUPS 1400688 WITH SCORE 1403692.05
AT ITER 6783 NEW BEST:: SOT 3460266 SOS 3007584 HAS SOPS 2980921 HAS SOUS 1395526 HAS SOUPS 1394680 WITH SCORE 1397687.584
AT ITER 6794 NEW BEST:: SOT 3461189 SOS 2998636 HAS SOPS 2971973 HAS SOUS 1386405 HAS SOUPS 1385559 WITH SCORE 1388557.636
AT ITER 6820 NEW BEST:: SOT 3457145 SOS 2994592 HAS SOPS 2967929 HAS SOUS 1383936 HAS SOUPS 1383090 WITH SCORE 1386084.592
AT ITER 6825 NEW BEST:: SOT 3457784 SOS 2995231 HAS SOPS 2968568 HAS SOUS 1381343 HAS SOUPS 1380497 WITH SCORE 1383492.231
AT ITER 6832 NEW BEST:: SOT 3461464 SOS 2992971 HAS SOPS 2965416 HAS SOUS 1374673 HAS SOUPS 1373827 WITH SCORE 1376819.971
AT ITER 6836 NEW BEST:: SOT 3463574 SOS 2995081 HAS SOPS 2967526 HAS SOUS 1372658 HAS SOUPS 1371812 WITH SCORE 1374807.081
AT ITER 6845 NEW BEST:: SOT 3463574 SOS 2995081 HAS SOPS 2967526 HAS SOUS 1372654 HAS SOUPS 1371808 WITH SCORE 1374803.081
AT ITER 6859 NEW BEST:: SOT 3464068 SOS 2995575 HAS SOPS 2968020 HAS SOUS 1372423 HAS SOUPS 1371577 WITH SCORE 1374572.575
AT ITER 6869 NEW BEST:: SOT 3464068 SOS 2995495 HAS SOPS 2967940 HAS SOUS 1372423 HAS SOUPS 1371577 WITH SCORE 1374572.495
AT ITER 6902 NEW BEST:: SOT 3464068 SOS 2991499 HAS SOPS 2963944 HAS SOUS 1371979 HAS SOUPS 1371133 WITH SCORE 1374124.499
AT ITER 6946 NEW BEST:: SOT 3465809 SOS 2984171 HAS SOPS 2956139 HAS SOUS 1362106 HAS SOUPS 1361260 WITH SCORE 1364244.171
AT ITER 6949 NEW BEST:: SOT 3465291 SOS 2983653 HAS SOPS 2955621 HAS SOUS 1361786 HAS SOUPS 1360940 WITH SCORE 1363923.653
AT ITER 6973 NEW BEST:: SOT 3465828 SOS 2984190 HAS SOPS 2956158 HAS SOUS 1361546 HAS SOUPS 1360700 WITH SCORE 1363684.19
AT ITER 6992 NEW BEST:: SOT 3467430 SOS 2985642 HAS SOPS 2957610 HAS SOUS 1360918 HAS SOUPS 1360072 WITH SCORE 1363057.642
AT ITER 7029 NEW BEST:: SOT 3467430 SOS 2958506 HAS SOPS 2930474 HAS SOUS 1349672 HAS SOUPS 1348826 WITH SCORE 1351784.506
AT ITER 7037 NEW BEST:: SOT 3468158 SOS 2959234 HAS SOPS 2931202 HAS SOUS 1349243 HAS SOUPS 1348397 WITH SCORE 1351356.234
AT ITER 7060 NEW BEST:: SOT 3471316 SOS 2961893 HAS SOPS 2933861 HAS SOUS 1348960 HAS SOUPS 1348114 WITH SCORE 1351075.893
AT ITER 7070 NEW BEST:: SOT 3469906 SOS 2960483 HAS SOPS 2932451 HAS SOUS 1348678 HAS SOUPS 1347832 WITH SCORE 1350792.483
AT ITER 7083 NEW BEST:: SOT 3469230 SOS 2959807 HAS SOPS 2931775 HAS SOUS 1348340 HAS SOUPS 1347494 WITH SCORE 1350453.807
AT ITER 7113 NEW BEST:: SOT 3469836 SOS 2960413 HAS SOPS 2932381 HAS SOUS 1347431 HAS SOUPS 1346585 WITH SCORE 1349545.413
AT ITER 7117 NEW BEST:: SOT 3469836 SOS 2960413 HAS SOPS 2932381 HAS SOUS 1347175 HAS SOUPS 1346329 WITH SCORE 1349289.413
AT ITER 7127 NEW BEST:: SOT 3479200 SOS 2956988 HAS SOPS 2925288 HAS SOUS 1339769 HAS SOUPS 1338923 WITH SCORE 1341879.988
AT ITER 7140 NEW BEST:: SOT 3481872 SOS 2958909 HAS SOPS 2927209 HAS SOUS 1337626 HAS SOUPS 1336780 WITH SCORE 1339738.909
AT ITER 7160 NEW BEST:: SOT 3481818 SOS 2958855 HAS SOPS 2927155 HAS SOUS 1337590 HAS SOUPS 1336744 WITH SCORE 1339702.855
AT ITER 7177 NEW BEST:: SOT 3482584 SOS 2959621 HAS SOPS 2927921 HAS SOUS 1337175 HAS SOUPS 1336329 WITH SCORE 1339288.621
AT ITER 7198 NEW BEST:: SOT 3483082 SOS 2959888 HAS SOPS 2928188 HAS SOUS 1336148 HAS SOUPS 1335302 WITH SCORE 1338261.888
AT ITER 7199 NEW BEST:: SOT 3483082 SOS 2955572 HAS SOPS 2923872 HAS SOUS 1335925 HAS SOUPS 1335079 WITH SCORE 1338034.572
AT ITER 7211 NEW BEST:: SOT 3484083 SOS 2956560 HAS SOPS 2924860 HAS SOUS 1335868 HAS SOUPS 1335022 WITH SCORE 1337978.56
AT ITER 7222 NEW BEST:: SOT 3484083 SOS 2956354 HAS SOPS 2924654 HAS SOUS 1335232 HAS SOUPS 1334386 WITH SCORE 1337342.354
AT ITER 7248 NEW BEST:: SOT 3480789 SOS 2953060 HAS SOPS 2921360 HAS SOUS 1334134 HAS SOUPS 1333288 WITH SCORE 1336241.06
AT ITER 7268 NEW BEST:: SOT 3488439 SOS 2953988 HAS SOPS 2920614 HAS SOUS 1329200 HAS SOUPS 1328354 WITH SCORE 1331307.988
AT ITER 7295 NEW BEST:: SOT 3488439 SOS 2953891 HAS SOPS 2920517 HAS SOUS 1329106 HAS SOUPS 1328260 WITH SCORE 1331213.891
AT ITER 7319 NEW BEST:: SOT 3488439 SOS 2953891 HAS SOPS 2920517 HAS SOUS 1328796 HAS SOUPS 1327950 WITH SCORE 1330903.891
AT ITER 7323 NEW BEST:: SOT 3486425 SOS 2951877 HAS SOPS 2918503 HAS SOUS 1328507 HAS SOUPS 1327661 WITH SCORE 1330612.877
AT ITER 7326 NEW BEST:: SOT 3486555 SOS 2952007 HAS SOPS 2918633 HAS SOUS 1327962 HAS SOUPS 1327116 WITH SCORE 1330068.007
AT ITER 7334 NEW BEST:: SOT 3486555 SOS 2952007 HAS SOPS 2918633 HAS SOUS 1327773 HAS SOUPS 1326927 WITH SCORE 1329879.007
AT ITER 7348 NEW BEST:: SOT 3486555 SOS 2952007 HAS SOPS 2918633 HAS SOUS 1327747 HAS SOUPS 1326901 WITH SCORE 1329853.007
AT ITER 7368 NEW BEST:: SOT 3486555 SOS 2952007 HAS SOPS 2918633 HAS SOUS 1327649 HAS SOUPS 1326803 WITH SCORE 1329755.007
AT ITER 7371 NEW BEST:: SOT 3487409 SOS 2952767 HAS SOPS 2919393 HAS SOUS 1327525 HAS SOUPS 1326679 WITH SCORE 1329631.767
AT ITER 7384 NEW BEST:: SOT 3488145 SOS 2952829 HAS SOPS 2918961 HAS SOUS 1327092 HAS SOUPS 1326246 WITH SCORE 1329198.829
AT ITER 7409 NEW BEST:: SOT 3493542 SOS 2957723 HAS SOPS 2923855 HAS SOUS 1325535 HAS SOUPS 1324689 WITH SCORE 1327646.723
AT ITER 7410 NEW BEST:: SOT 3492926 SOS 2957107 HAS SOPS 2923239 HAS SOUS 1325227 HAS SOUPS 1324381 WITH SCORE 1327338.107
AT ITER 7428 NEW BEST:: SOT 3499378 SOS 2950792 HAS SOPS 2914140 HAS SOUS 1311281 HAS SOUPS 1310435 WITH SCORE 1313385.792
AT ITER 7451 NEW BEST:: SOT 3499378 SOS 2948582 HAS SOPS 2911930 HAS SOUS 1309947 HAS SOUPS 1309101 WITH SCORE 1312049.582
AT ITER 7452 NEW BEST:: SOT 3500647 SOS 2949737 HAS SOPS 2913085 HAS SOUS 1309118 HAS SOUPS 1308272 WITH SCORE 1311221.737
AT ITER 7469 NEW BEST:: SOT 3500754 SOS 2949713 HAS SOPS 2913061 HAS SOUS 1308921 HAS SOUPS 1308075 WITH SCORE 1311024.713
AT ITER 7474 NEW BEST:: SOT 3503265 SOS 2952224 HAS SOPS 2915572 HAS SOUS 1308133 HAS SOUPS 1307287 WITH SCORE 1310239.224
AT ITER 7495 NEW BEST:: SOT 3500919 SOS 2949878 HAS SOPS 2913226 HAS SOUS 1306573 HAS SOUPS 1305727 WITH SCORE 1308676.878
AT ITER 7498 NEW BEST:: SOT 3500820 SOS 2949779 HAS SOPS 2913149 HAS SOUS 1306573 HAS SOUPS 1305727 WITH SCORE 1308676.779
AT ITER 7527 NEW BEST:: SOT 3501302 SOS 2950097 HAS SOPS 2913467 HAS SOUS 1305526 HAS SOUPS 1304680 WITH SCORE 1307630.097
AT ITER 7531 NEW BEST:: SOT 3500718 SOS 2949513 HAS SOPS 2912883 HAS SOUS 1305434 HAS SOUPS 1304588 WITH SCORE 1307537.513
AT ITER 7573 NEW BEST:: SOT 3500467 SOS 2949262 HAS SOPS 2912632 HAS SOUS 1304517 HAS SOUPS 1303671 WITH SCORE 1306620.262
AT ITER 7617 NEW BEST:: SOT 3500467 SOS 2949262 HAS SOPS 2912632 HAS SOUS 1303923 HAS SOUPS 1303077 WITH SCORE 1306026.262
AT ITER 7618 NEW BEST:: SOT 3502639 SOS 2951434 HAS SOPS 2914804 HAS SOUS 1302819 HAS SOUPS 1301973 WITH SCORE 1304924.434
AT ITER 7621 NEW BEST:: SOT 3505210 SOS 2954005 HAS SOPS 2917375 HAS SOUS 1302673 HAS SOUPS 1301827 WITH SCORE 1304781.005
AT ITER 7625 NEW BEST:: SOT 3505210 SOS 2954005 HAS SOPS 2917375 HAS SOUS 1302615 HAS SOUPS 1301769 WITH SCORE 1304723.005
AT ITER 7629 NEW BEST:: SOT 3507016 SOS 2943187 HAS SOPS 2906192 HAS SOUS 1290083 HAS SOUPS 1289237 WITH SCORE 1292180.187
AT ITER 7648 NEW BEST:: SOT 3510676 SOS 2939944 HAS SOPS 2902061 HAS SOUS 1284464 HAS SOUPS 1283618 WITH SCORE 1286557.944
AT ITER 7650 NEW BEST:: SOT 3511915 SOS 2941183 HAS SOPS 2902839 HAS SOUS 1284222 HAS SOUPS 1283376 WITH SCORE 1286317.183
AT ITER 7681 NEW BEST:: SOT 3514935 SOS 2943306 HAS SOPS 2904962 HAS SOUS 1282883 HAS SOUPS 1282037 WITH SCORE 1284980.306
AT ITER 7744 NEW BEST:: SOT 3515093 SOS 2943137 HAS SOPS 2904793 HAS SOUS 1282386 HAS SOUPS 1281540 WITH SCORE 1284483.137
AT ITER 7747 NEW BEST:: SOT 3515093 SOS 2942941 HAS SOPS 2904597 HAS SOUS 1282006 HAS SOUPS 1281160 WITH SCORE 1284102.941
AT ITER 7784 NEW BEST:: SOT 3518561 SOS 2946347 HAS SOPS 2908003 HAS SOUS 1281738 HAS SOUPS 1280892 WITH SCORE 1283838.347
AT ITER 7808 NEW BEST:: SOT 3518561 SOS 2946347 HAS SOPS 2908003 HAS SOUS 1281619 HAS SOUPS 1280773 WITH SCORE 1283719.347
AT ITER 7849 NEW BEST:: SOT 3518561 SOS 2945989 HAS SOPS 2907645 HAS SOUS 1281345 HAS SOUPS 1280499 WITH SCORE 1283444.989
AT ITER 7905 NEW BEST:: SOT 3518561 SOS 2945989 HAS SOPS 2907645 HAS SOUS 1280821 HAS SOUPS 1279975 WITH SCORE 1282920.989
AT ITER 7923 NEW BEST:: SOT 3518949 SOS 2946377 HAS SOPS 2908033 HAS SOUS 1280236 HAS SOUPS 1279390 WITH SCORE 1282336.377
AT ITER 7978 NEW BEST:: SOT 3518949 SOS 2945130 HAS SOPS 2906786 HAS SOUS 1279198 HAS SOUPS 1278352 WITH SCORE 1281297.13
AT ITER 7981 NEW BEST:: SOT 3518949 SOS 2943293 HAS SOPS 2904949 HAS SOUS 1277838 HAS SOUPS 1276992 WITH SCORE 1279935.293
AT ITER 7990 NEW BEST:: SOT 3519926 SOS 2944270 HAS SOPS 2905926 HAS SOUS 1276922 HAS SOUPS 1276076 WITH SCORE 1279020.27
AT ITER 8001 NEW BEST:: SOT 3523918 SOS 2938281 HAS SOPS 2898300 HAS SOUS 1265172 HAS SOUPS 1264326 WITH SCORE 1267264.281
AT ITER 8016 NEW BEST:: SOT 3526070 SOS 2939769 HAS SOPS 2899788 HAS SOUS 1261725 HAS SOUPS 1260879 WITH SCORE 1263818.769
AT ITER 8021 NEW BEST:: SOT 3527670 SOS 2941255 HAS SOPS 2901274 HAS SOUS 1259766 HAS SOUPS 1258920 WITH SCORE 1261861.255
AT ITER 8024 NEW BEST:: SOT 3528171 SOS 2941756 HAS SOPS 2901775 HAS SOUS 1258586 HAS SOUPS 1257740 WITH SCORE 1260681.756
AT ITER 8026 NEW BEST:: SOT 3529282 SOS 2942867 HAS SOPS 2902886 HAS SOUS 1258490 HAS SOUPS 1257644 WITH SCORE 1260586.867
AT ITER 8046 NEW BEST:: SOT 3529282 SOS 2942867 HAS SOPS 2902886 HAS SOUS 1258441 HAS SOUPS 1257595 WITH SCORE 1260537.867
AT ITER 8052 NEW BEST:: SOT 3534570 SOS 2948155 HAS SOPS 2908174 HAS SOUS 1257873 HAS SOUPS 1257027 WITH SCORE 1259975.155
AT ITER 8065 NEW BEST:: SOT 3535822 SOS 2949241 HAS SOPS 2909260 HAS SOUS 1256530 HAS SOUPS 1255684 WITH SCORE 1258633.241
AT ITER 8068 NEW BEST:: SOT 3535524 SOS 2948943 HAS SOPS 2908962 HAS SOUS 1256381 HAS SOUPS 1255535 WITH SCORE 1258483.943
AT ITER 8076 NEW BEST:: SOT 3537393 SOS 2950038 HAS SOPS 2910057 HAS SOUS 1255279 HAS SOUPS 1254433 WITH SCORE 1257383.038
AT ITER 8089 NEW BEST:: SOT 3537393 SOS 2950038 HAS SOPS 2910057 HAS SOUS 1254850 HAS SOUPS 1254004 WITH SCORE 1256954.038
AT ITER 8113 NEW BEST:: SOT 3536592 SOS 2949237 HAS SOPS 2909256 HAS SOUS 1254301 HAS SOUPS 1253455 WITH SCORE 1256404.237
AT ITER 8117 NEW BEST:: SOT 3536592 SOS 2949237 HAS SOPS 2909256 HAS SOUS 1254296 HAS SOUPS 1253450 WITH SCORE 1256399.237
AT ITER 8259 NEW BEST:: SOT 3535473 SOS 2948118 HAS SOPS 2908137 HAS SOUS 1253923 HAS SOUPS 1253077 WITH SCORE 1256025.118
AT ITER 8270 NEW BEST:: SOT 3536841 SOS 2940046 HAS SOPS 2899533 HAS SOUS 1241581 HAS SOUPS 1240735 WITH SCORE 1243675.046
AT ITER 8308 NEW BEST:: SOT 3554214 SOS 2943426 HAS SOPS 2897475 HAS SOUS 1237870 HAS SOUPS 1236928 WITH SCORE 1239871.426
AT ITER 8309 NEW BEST:: SOT 3556407 SOS 2945619 HAS SOPS 2899668 HAS SOUS 1237746 HAS SOUPS 1236804 WITH SCORE 1239749.619
AT ITER 8320 NEW BEST:: SOT 3556407 SOS 2945780 HAS SOPS 2899829 HAS SOUS 1237745 HAS SOUPS 1236803 WITH SCORE 1239748.78
AT ITER 8326 NEW BEST:: SOT 3556407 SOS 2945986 HAS SOPS 2900035 HAS SOUS 1237482 HAS SOUPS 1236540 WITH SCORE 1239485.986
AT ITER 8335 NEW BEST:: SOT 3556407 SOS 2945986 HAS SOPS 2900035 HAS SOUS 1237140 HAS SOUPS 1236198 WITH SCORE 1239143.986
AT ITER 8372 NEW BEST:: SOT 3563708 SOS 2948999 HAS SOPS 2899620 HAS SOUS 1232584 HAS SOUPS 1231642 WITH SCORE 1234590.999
AT ITER 8385 NEW BEST:: SOT 3166604 SOS 2658898 HAS SOPS 2504324 HAS SOUS 835870 HAS SOUPS 834513 WITH SCORE 837171.898
AT ITER 8393 NEW BEST:: SOT 3166604 SOS 2658864 HAS SOPS 2504290 HAS SOUS 835870 HAS SOUPS 834513 WITH SCORE 837171.864
AT ITER 8400 NEW BEST:: SOT 3161704 SOS 2653964 HAS SOPS 2499390 HAS SOUS 834439 HAS SOUPS 833082 WITH SCORE 835735.964
AT ITER 8419 NEW BEST:: SOT 3161758 SOS 2654018 HAS SOPS 2499444 HAS SOUS 833584 HAS SOUPS 832227 WITH SCORE 834881.018
AT ITER 8452 NEW BEST:: SOT 3164748 SOS 2656702 HAS SOPS 2502128 HAS SOUS 833083 HAS SOUPS 831726 WITH SCORE 834382.702
AT ITER 8461 NEW BEST:: SOT 3176541 SOS 2653110 HAS SOPS 2485759 HAS SOUS 832523 HAS SOUPS 831166 WITH SCORE 833819.11
AT ITER 8470 NEW BEST:: SOT 3177095 SOS 2652795 HAS SOPS 2485444 HAS SOUS 831680 HAS SOUPS 830323 WITH SCORE 832975.795
AT ITER 8482 NEW BEST:: SOT 3185317 SOS 2651607 HAS SOPS 2478392 HAS SOUS 823740 HAS SOUPS 822383 WITH SCORE 825034.607
AT ITER 8496 NEW BEST:: SOT 3185317 SOS 2651607 HAS SOPS 2478392 HAS SOUS 823214 HAS SOUPS 821857 WITH SCORE 824508.607
AT ITER 8520 NEW BEST:: SOT 3171009 SOS 2637299 HAS SOPS 2468337 HAS SOUS 815438 HAS SOUPS 814177 WITH SCORE 816814.299
AT ITER 8523 NEW BEST:: SOT 3170978 SOS 2637268 HAS SOPS 2468306 HAS SOUS 815138 HAS SOUPS 813877 WITH SCORE 816514.268
AT ITER 8541 NEW BEST:: SOT 3175558 SOS 2641848 HAS SOPS 2472886 HAS SOUS 813639 HAS SOUPS 812378 WITH SCORE 815019.848
AT ITER 8567 NEW BEST:: SOT 3205473 SOS 2663997 HAS SOPS 2488546 HAS SOUS 808421 HAS SOUPS 807160 WITH SCORE 809823.997
AT ITER 8576 NEW BEST:: SOT 3204225 SOS 2662749 HAS SOPS 2487298 HAS SOUS 808292 HAS SOUPS 807031 WITH SCORE 809693.749
AT ITER 8603 NEW BEST:: SOT 3204144 SOS 2662668 HAS SOPS 2487244 HAS SOUS 808283 HAS SOUPS 807022 WITH SCORE 809684.668
AT ITER 8612 NEW BEST:: SOT 3200509 SOS 2659033 HAS SOPS 2483609 HAS SOUS 807349 HAS SOUPS 806088 WITH SCORE 808747.033
AT ITER 8716 NEW BEST:: SOT 3200509 SOS 2659033 HAS SOPS 2483609 HAS SOUS 807345 HAS SOUPS 806084 WITH SCORE 808743.033
AT ITER 8727 NEW BEST:: SOT 3200122 SOS 2658646 HAS SOPS 2483222 HAS SOUS 807345 HAS SOUPS 806084 WITH SCORE 808742.646
AT ITER 8764 NEW BEST:: SOT 3208669 SOS 2660474 HAS SOPS 2478645 HAS SOUS 802566 HAS SOUPS 801305 WITH SCORE 803965.474
AT ITER 8776 NEW BEST:: SOT 3208669 SOS 2660474 HAS SOPS 2478645 HAS SOUS 802489 HAS SOUPS 801228 WITH SCORE 803888.474
AT ITER 8789 NEW BEST:: SOT 3209367 SOS 2658551 HAS SOPS 2475497 HAS SOUS 802028 HAS SOUPS 800767 WITH SCORE 803425.551
AT ITER 8798 NEW BEST:: SOT 3212811 SOS 2661995 HAS SOPS 2478941 HAS SOUS 799059 HAS SOUPS 797798 WITH SCORE 800459.995
AT ITER 8837 NEW BEST:: SOT 3212809 SOS 2661993 HAS SOPS 2478939 HAS SOUS 799059 HAS SOUPS 797798 WITH SCORE 800459.993
AT ITER 8851 NEW BEST:: SOT 3212983 SOS 2662167 HAS SOPS 2479026 HAS SOUS 798972 HAS SOUPS 797711 WITH SCORE 800373.167
AT ITER 8866 NEW BEST:: SOT 3216777 SOS 2665753 HAS SOPS 2482612 HAS SOUS 798213 HAS SOUPS 796952 WITH SCORE 799617.753
AT ITER 8917 NEW BEST:: SOT 3215532 SOS 2664508 HAS SOPS 2481367 HAS SOUS 797798 HAS SOUPS 796537 WITH SCORE 799201.508
AT ITER 8919 NEW BEST:: SOT 3215532 SOS 2664457 HAS SOPS 2481316 HAS SOUS 797696 HAS SOUPS 796435 WITH SCORE 799099.457
AT ITER 8928 NEW BEST:: SOT 3215470 SOS 2664061 HAS SOPS 2480920 HAS SOUS 797562 HAS SOUPS 796301 WITH SCORE 798965.061
AT ITER 8956 NEW BEST:: SOT 3236417 SOS 2677297 HAS SOPS 2487667 HAS SOUS 791897 HAS SOUPS 790636 WITH SCORE 793313.297
AT ITER 8961 NEW BEST:: SOT 3240588 SOS 2681468 HAS SOPS 2491838 HAS SOUS 789072 HAS SOUPS 787811 WITH SCORE 790492.468
AT ITER 8976 NEW BEST:: SOT 3244141 SOS 2684419 HAS SOPS 2494789 HAS SOUS 788441 HAS SOUPS 787180 WITH SCORE 789864.419
AT ITER 8977 NEW BEST:: SOT 3244989 SOS 2685267 HAS SOPS 2495637 HAS SOUS 788255 HAS SOUPS 786994 WITH SCORE 789679.267
AT ITER 8987 NEW BEST:: SOT 3248750 SOS 2688844 HAS SOPS 2499214 HAS SOUS 787702 HAS SOUPS 786441 WITH SCORE 789129.844
AT ITER 8989 NEW BEST:: SOT 3249120 SOS 2689101 HAS SOPS 2499471 HAS SOUS 785522 HAS SOUPS 784261 WITH SCORE 786950.101
AT ITER 8992 NEW BEST:: SOT 3249581 SOS 2689469 HAS SOPS 2499839 HAS SOUS 785208 HAS SOUPS 783947 WITH SCORE 786636.469
AT ITER 8996 NEW BEST:: SOT 3251019 SOS 2688919 HAS SOPS 2496423 HAS SOUS 784991 HAS SOUPS 783730 WITH SCORE 786418.919
AT ITER 9003 NEW BEST:: SOT 3251019 SOS 2688919 HAS SOPS 2496423 HAS SOUS 784752 HAS SOUPS 783491 WITH SCORE 786179.919
AT ITER 9007 NEW BEST:: SOT 3252126 SOS 2688913 HAS SOPS 2493964 HAS SOUS 784384 HAS SOUPS 783123 WITH SCORE 785811.913
AT ITER 9047 NEW BEST:: SOT 3254313 SOS 2691100 HAS SOPS 2496151 HAS SOUS 784314 HAS SOUPS 783053 WITH SCORE 785744.1
AT ITER 9054 NEW BEST:: SOT 3254232 SOS 2691019 HAS SOPS 2496070 HAS SOUS 784287 HAS SOUPS 783026 WITH SCORE 785717.019
AT ITER 9055 NEW BEST:: SOT 3252627 SOS 2689414 HAS SOPS 2494465 HAS SOUS 783966 HAS SOUPS 782705 WITH SCORE 785394.414
AT ITER 9068 NEW BEST:: SOT 3252755 SOS 2689542 HAS SOPS 2494593 HAS SOUS 783760 HAS SOUPS 782499 WITH SCORE 785188.542
AT ITER 9088 NEW BEST:: SOT 3251743 SOS 2688530 HAS SOPS 2493581 HAS SOUS 783384 HAS SOUPS 782123 WITH SCORE 784811.53
AT ITER 9111 NEW BEST:: SOT 3251743 SOS 2687711 HAS SOPS 2492762 HAS SOUS 783150 HAS SOUPS 781889 WITH SCORE 784576.711
AT ITER 9115 NEW BEST:: SOT 3251743 SOS 2684851 HAS SOPS 2489902 HAS SOUS 781590 HAS SOUPS 780329 WITH SCORE 783013.851
AT ITER 9159 NEW BEST:: SOT 3250887 SOS 2683995 HAS SOPS 2489046 HAS SOUS 781424 HAS SOUPS 780163 WITH SCORE 782846.995
AT ITER 9160 NEW BEST:: SOT 3250305 SOS 2683413 HAS SOPS 2488464 HAS SOUS 781036 HAS SOUPS 779775 WITH SCORE 782458.413
AT ITER 9175 NEW BEST:: SOT 3250305 SOS 2682991 HAS SOPS 2488042 HAS SOUS 780799 HAS SOUPS 779538 WITH SCORE 782220.991
AT ITER 9216 NEW BEST:: SOT 3248693 SOS 2681379 HAS SOPS 2486430 HAS SOUS 780799 HAS SOUPS 779538 WITH SCORE 782219.379
AT ITER 9233 NEW BEST:: SOT 3248674 SOS 2681360 HAS SOPS 2486411 HAS SOUS 780780 HAS SOUPS 779519 WITH SCORE 782200.36
AT ITER 9244 NEW BEST:: SOT 3264529 SOS 2696753 HAS SOPS 2495315 HAS SOUS 780688 HAS SOUPS 779427 WITH SCORE 782123.753
AT ITER 9292 NEW BEST:: SOT 3264529 SOS 2695598 HAS SOPS 2494160 HAS SOUS 780058 HAS SOUPS 778797 WITH SCORE 781492.598
AT ITER 9294 NEW BEST:: SOT 3264529 SOS 2694932 HAS SOPS 2493494 HAS SOUS 779688 HAS SOUPS 778427 WITH SCORE 781121.932
AT ITER 9296 NEW BEST:: SOT 3296724 SOS 2719262 HAS SOPS 2511335 HAS SOUS 774531 HAS SOUPS 773270 WITH SCORE 775989.262
AT ITER 9316 NEW BEST:: SOT 3296640 SOS 2719178 HAS SOPS 2511251 HAS SOUS 774489 HAS SOUPS 773228 WITH SCORE 775947.178
AT ITER 9331 NEW BEST:: SOT 3296640 SOS 2719116 HAS SOPS 2511189 HAS SOUS 774154 HAS SOUPS 772893 WITH SCORE 775612.116
AT ITER 9344 NEW BEST:: SOT 3296640 SOS 2719116 HAS SOPS 2511189 HAS SOUS 773552 HAS SOUPS 772291 WITH SCORE 775010.116
AT ITER 9434 NEW BEST:: SOT 3296400 SOS 2718876 HAS SOPS 2510949 HAS SOUS 773432 HAS SOUPS 772171 WITH SCORE 774889.876
AT ITER 9486 NEW BEST:: SOT 3309076 SOS 2726523 HAS SOPS 2513562 HAS SOUS 770747 HAS SOUPS 769486 WITH SCORE 772212.523
AT ITER 9492 NEW BEST:: SOT 3309076 SOS 2726510 HAS SOPS 2513549 HAS SOUS 770724 HAS SOUPS 769463 WITH SCORE 772189.51
AT ITER 9520 NEW BEST:: SOT 3309076 SOS 2726510 HAS SOPS 2513549 HAS SOUS 770268 HAS SOUPS 769007 WITH SCORE 771733.51
AT ITER 9568 NEW BEST:: SOT 3308670 SOS 2726104 HAS SOPS 2513143 HAS SOUS 769456 HAS SOUPS 768195 WITH SCORE 770921.104
AT ITER 9574 NEW BEST:: SOT 3307245 SOS 2724679 HAS SOPS 2511718 HAS SOUS 768981 HAS SOUPS 767720 WITH SCORE 770444.679
AT ITER 9582 NEW BEST:: SOT 3304413 SOS 2721847 HAS SOPS 2508886 HAS SOUS 767093 HAS SOUPS 765832 WITH SCORE 768553.847
AT ITER 9616 NEW BEST:: SOT 3306233 SOS 2722815 HAS SOPS 2509439 HAS SOUS 764862 HAS SOUPS 763601 WITH SCORE 766323.815
AT ITER 9644 NEW BEST:: SOT 3312229 SOS 2716950 HAS SOPS 2495278 HAS SOUS 759574 HAS SOUPS 758313 WITH SCORE 761029.95
AT ITER 9645 NEW BEST:: SOT 3312229 SOS 2716423 HAS SOPS 2494751 HAS SOUS 759562 HAS SOUPS 758301 WITH SCORE 761017.423
AT ITER 9657 NEW BEST:: SOT 3312406 SOS 2716600 HAS SOPS 2494928 HAS SOUS 759442 HAS SOUPS 758181 WITH SCORE 760897.6
AT ITER 9702 NEW BEST:: SOT 3311287 SOS 2715481 HAS SOPS 2493809 HAS SOUS 759069 HAS SOUPS 757808 WITH SCORE 760523.481
AT ITER 9708 NEW BEST:: SOT 3313671 SOS 2717602 HAS SOPS 2495930 HAS SOUS 758787 HAS SOUPS 757526 WITH SCORE 760243.602
AT ITER 9732 NEW BEST:: SOT 3315330 SOS 2719261 HAS SOPS 2497589 HAS SOUS 758095 HAS SOUPS 756834 WITH SCORE 759553.261
AT ITER 9743 NEW BEST:: SOT 3316651 SOS 2720042 HAS SOPS 2497955 HAS SOUS 755655 HAS SOUPS 754394 WITH SCORE 757114.042
AT ITER 9764 NEW BEST:: SOT 3316551 SOS 2719942 HAS SOPS 2497855 HAS SOUS 755523 HAS SOUPS 754262 WITH SCORE 756981.942
AT ITER 9777 NEW BEST:: SOT 3316061 SOS 2719452 HAS SOPS 2497365 HAS SOUS 755278 HAS SOUPS 754017 WITH SCORE 756736.452
AT ITER 9816 NEW BEST:: SOT 3313528 SOS 2716919 HAS SOPS 2494832 HAS SOUS 755183 HAS SOUPS 753922 WITH SCORE 756638.919
AT ITER 9821 NEW BEST:: SOT 3313528 SOS 2716919 HAS SOPS 2494832 HAS SOUS 755175 HAS SOUPS 753914 WITH SCORE 756630.919
AT ITER 9861 NEW BEST:: SOT 3314407 SOS 2717798 HAS SOPS 2495711 HAS SOUS 754925 HAS SOUPS 753664 WITH SCORE 756381.798
AT ITER 9885 NEW BEST:: SOT 3314407 SOS 2717798 HAS SOPS 2495711 HAS SOUS 754781 HAS SOUPS 753520 WITH SCORE 756237.798
AT ITER 9892 NEW BEST:: SOT 3296243 SOS 2699634 HAS SOPS 2477547 HAS SOUS 753825 HAS SOUPS 752564 WITH SCORE 755263.634
AT ITER 9948 NEW BEST:: SOT 3296168 SOS 2699559 HAS SOPS 2477472 HAS SOUS 753800 HAS SOUPS 752539 WITH SCORE 755238.559
AT ITER 9997 NEW BEST:: SOT 3304672 SOS 2706239 HAS SOPS 2477247 HAS SOUS 752736 HAS SOUPS 751475 WITH SCORE 754181.239
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3445892 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119868 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-d2m09"
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-d2m09, 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-167814484100336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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