About the Execution of Smart+red for DBSingleClientW-PT-d2m10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2757.388 | 3600000.00 | 3655181.00 | 8698.00 | [undef] | Time out reached |
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-167814484100344.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-d2m10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.2K Feb 26 15:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 15:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 15:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 15:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 15:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678366002134
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-d2m10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 12:46:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 12:46:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 12:46:43] [INFO ] Load time of PNML (sax parser for PT used): 170 ms
[2023-03-09 12:46:43] [INFO ] Transformed 4763 places.
[2023-03-09 12:46:43] [INFO ] Transformed 2478 transitions.
[2023-03-09 12:46:43] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 415 ms.
[2023-03-09 12:46:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 38 ms.
Total runtime 484 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m10
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 35 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2065405 HAS SOUPS 2065377 WITH SCORE 2068223.537
AT ITER 36 NEW BEST:: SOT 2906813 SOS 2847356 HAS SOPS 2847328 HAS SOUS 2064812 HAS SOUPS 2064784 WITH SCORE 2067631.356
AT ITER 56 NEW BEST:: SOT 2906813 SOS 2847356 HAS SOPS 2847328 HAS SOUS 2064565 HAS SOUPS 2064537 WITH SCORE 2067384.356
AT ITER 68 NEW BEST:: SOT 2907749 SOS 2848292 HAS SOPS 2848264 HAS SOUS 2064457 HAS SOUPS 2064429 WITH SCORE 2067277.292
AT ITER 69 NEW BEST:: SOT 2907749 SOS 2848292 HAS SOPS 2848264 HAS SOUS 2064300 HAS SOUPS 2064272 WITH SCORE 2067120.292
AT ITER 110 NEW BEST:: SOT 2907945 SOS 2848488 HAS SOPS 2848460 HAS SOUS 2064225 HAS SOUPS 2064197 WITH SCORE 2067045.488
AT ITER 140 NEW BEST:: SOT 2907945 SOS 2837957 HAS SOPS 2837929 HAS SOUS 2064230 HAS SOUPS 2064202 WITH SCORE 2067039.957
AT ITER 142 NEW BEST:: SOT 2907945 SOS 2837957 HAS SOPS 2837929 HAS SOUS 2062447 HAS SOUPS 2062419 WITH SCORE 2065256.957
AT ITER 155 NEW BEST:: SOT 2907945 SOS 2837957 HAS SOPS 2837929 HAS SOUS 2061654 HAS SOUPS 2061626 WITH SCORE 2064463.957
AT ITER 165 NEW BEST:: SOT 2908267 SOS 2838279 HAS SOPS 2838251 HAS SOUS 2061013 HAS SOUPS 2060985 WITH SCORE 2063823.279
AT ITER 231 NEW BEST:: SOT 2908435 SOS 2838447 HAS SOPS 2838419 HAS SOUS 2060471 HAS SOUPS 2060443 WITH SCORE 2063281.447
AT ITER 262 NEW BEST:: SOT 2908435 SOS 2838447 HAS SOPS 2838419 HAS SOUS 2060443 HAS SOUPS 2060415 WITH SCORE 2063253.447
AT ITER 267 NEW BEST:: SOT 2908435 SOS 2838447 HAS SOPS 2838419 HAS SOUS 2060437 HAS SOUPS 2060409 WITH SCORE 2063247.447
AT ITER 277 NEW BEST:: SOT 2908435 SOS 2838447 HAS SOPS 2838419 HAS SOUS 2059697 HAS SOUPS 2059669 WITH SCORE 2062507.447
AT ITER 282 NEW BEST:: SOT 2908435 SOS 2838447 HAS SOPS 2838419 HAS SOUS 2059128 HAS SOUPS 2059100 WITH SCORE 2061938.447
AT ITER 337 NEW BEST:: SOT 2910847 SOS 2840786 HAS SOPS 2840758 HAS SOUS 2058283 HAS SOUPS 2058255 WITH SCORE 2061095.786
AT ITER 344 NEW BEST:: SOT 2910847 SOS 2840786 HAS SOPS 2840758 HAS SOUS 2057351 HAS SOUPS 2057323 WITH SCORE 2060163.786
AT ITER 350 NEW BEST:: SOT 2911277 SOS 2841216 HAS SOPS 2841188 HAS SOUS 2056668 HAS SOUPS 2056640 WITH SCORE 2059481.216
AT ITER 355 NEW BEST:: SOT 2911277 SOS 2841216 HAS SOPS 2841188 HAS SOUS 2056078 HAS SOUPS 2056050 WITH SCORE 2058891.216
AT ITER 444 NEW BEST:: SOT 2914436 SOS 2844375 HAS SOPS 2844347 HAS SOUS 2055991 HAS SOUPS 2055963 WITH SCORE 2058807.375
AT ITER 462 NEW BEST:: SOT 2914664 SOS 2844603 HAS SOPS 2844575 HAS SOUS 2055846 HAS SOUPS 2055818 WITH SCORE 2058662.603
AT ITER 469 NEW BEST:: SOT 2914664 SOS 2844603 HAS SOPS 2844575 HAS SOUS 2055314 HAS SOUPS 2055286 WITH SCORE 2058130.603
AT ITER 470 NEW BEST:: SOT 2917244 SOS 2847093 HAS SOPS 2847065 HAS SOUS 2051508 HAS SOUPS 2051480 WITH SCORE 2054327.093
AT ITER 486 NEW BEST:: SOT 2917546 SOS 2847395 HAS SOPS 2847367 HAS SOUS 2051018 HAS SOUPS 2050990 WITH SCORE 2053837.395
AT ITER 509 NEW BEST:: SOT 2917546 SOS 2847395 HAS SOPS 2847367 HAS SOUS 2049950 HAS SOUPS 2049922 WITH SCORE 2052769.395
AT ITER 511 NEW BEST:: SOT 2919426 SOS 2849275 HAS SOPS 2849247 HAS SOUS 2047445 HAS SOUPS 2047417 WITH SCORE 2050266.275
AT ITER 565 NEW BEST:: SOT 2919825 SOS 2849674 HAS SOPS 2849646 HAS SOUS 2046548 HAS SOUPS 2046520 WITH SCORE 2049369.674
AT ITER 584 NEW BEST:: SOT 2919825 SOS 2849674 HAS SOPS 2849646 HAS SOUS 2046547 HAS SOUPS 2046519 WITH SCORE 2049368.674
AT ITER 589 NEW BEST:: SOT 2921544 SOS 2851393 HAS SOPS 2851365 HAS SOUS 2045857 HAS SOUPS 2045829 WITH SCORE 2048680.393
AT ITER 599 NEW BEST:: SOT 2921955 SOS 2851804 HAS SOPS 2851776 HAS SOUS 2043656 HAS SOUPS 2043628 WITH SCORE 2046479.804
AT ITER 627 NEW BEST:: SOT 2921955 SOS 2851752 HAS SOPS 2851724 HAS SOUS 2043207 HAS SOUPS 2043179 WITH SCORE 2046030.752
AT ITER 629 NEW BEST:: SOT 2923059 SOS 2852856 HAS SOPS 2852828 HAS SOUS 2043155 HAS SOUPS 2043127 WITH SCORE 2045979.856
AT ITER 650 NEW BEST:: SOT 2926169 SOS 2855966 HAS SOPS 2855938 HAS SOUS 2040524 HAS SOUPS 2040496 WITH SCORE 2043351.966
AT ITER 676 NEW BEST:: SOT 2926169 SOS 2855184 HAS SOPS 2855156 HAS SOUS 2040313 HAS SOUPS 2040285 WITH SCORE 2043140.184
AT ITER 677 NEW BEST:: SOT 2928217 SOS 2857232 HAS SOPS 2857204 HAS SOUS 2040057 HAS SOUPS 2040029 WITH SCORE 2042886.232
AT ITER 679 NEW BEST:: SOT 2929385 SOS 2858354 HAS SOPS 2858326 HAS SOUS 2038270 HAS SOUPS 2038242 WITH SCORE 2041100.354
AT ITER 719 NEW BEST:: SOT 2929385 SOS 2858413 HAS SOPS 2858385 HAS SOUS 2037739 HAS SOUPS 2037711 WITH SCORE 2040569.413
AT ITER 731 NEW BEST:: SOT 2932597 SOS 2861625 HAS SOPS 2861597 HAS SOUS 2035608 HAS SOUPS 2035580 WITH SCORE 2038441.625
AT ITER 758 NEW BEST:: SOT 2933305 SOS 2862333 HAS SOPS 2862305 HAS SOUS 2034864 HAS SOUPS 2034836 WITH SCORE 2037698.333
AT ITER 798 NEW BEST:: SOT 2936302 SOS 2865330 HAS SOPS 2865302 HAS SOUS 2034283 HAS SOUPS 2034255 WITH SCORE 2037120.33
AT ITER 800 NEW BEST:: SOT 2934436 SOS 2863464 HAS SOPS 2863436 HAS SOUS 2034023 HAS SOUPS 2033995 WITH SCORE 2036858.464
AT ITER 809 NEW BEST:: SOT 2937844 SOS 2866872 HAS SOPS 2866844 HAS SOUS 2033046 HAS SOUPS 2033018 WITH SCORE 2035884.872
AT ITER 813 NEW BEST:: SOT 2937844 SOS 2866872 HAS SOPS 2866844 HAS SOUS 2032704 HAS SOUPS 2032676 WITH SCORE 2035542.872
AT ITER 828 NEW BEST:: SOT 2937844 SOS 2866061 HAS SOPS 2866033 HAS SOUS 2032463 HAS SOUPS 2032435 WITH SCORE 2035301.061
AT ITER 838 NEW BEST:: SOT 2938638 SOS 2866855 HAS SOPS 2866827 HAS SOUS 2032237 HAS SOUPS 2032209 WITH SCORE 2035075.855
AT ITER 839 NEW BEST:: SOT 2939528 SOS 2867745 HAS SOPS 2867717 HAS SOUS 2031954 HAS SOUPS 2031926 WITH SCORE 2034793.745
AT ITER 842 NEW BEST:: SOT 2939528 SOS 2867745 HAS SOPS 2867717 HAS SOUS 2031653 HAS SOUPS 2031625 WITH SCORE 2034492.745
AT ITER 865 NEW BEST:: SOT 2939528 SOS 2867745 HAS SOPS 2867717 HAS SOUS 2031306 HAS SOUPS 2031278 WITH SCORE 2034145.745
AT ITER 882 NEW BEST:: SOT 2942897 SOS 2871114 HAS SOPS 2871086 HAS SOUS 2030969 HAS SOUPS 2030941 WITH SCORE 2033812.114
AT ITER 897 NEW BEST:: SOT 2944321 SOS 2872538 HAS SOPS 2872510 HAS SOUS 2027932 HAS SOUPS 2027904 WITH SCORE 2030776.538
AT ITER 913 NEW BEST:: SOT 2944321 SOS 2872538 HAS SOPS 2872510 HAS SOUS 2027552 HAS SOUPS 2027524 WITH SCORE 2030396.538
AT ITER 971 NEW BEST:: SOT 2944321 SOS 2872538 HAS SOPS 2872510 HAS SOUS 2025042 HAS SOUPS 2025014 WITH SCORE 2027886.538
AT ITER 1001 NEW BEST:: SOT 2944321 SOS 2872538 HAS SOPS 2872510 HAS SOUS 2020578 HAS SOUPS 2020550 WITH SCORE 2023422.538
AT ITER 1002 NEW BEST:: SOT 2945608 SOS 2873825 HAS SOPS 2873797 HAS SOUS 2018681 HAS SOUPS 2018653 WITH SCORE 2021526.825
AT ITER 1052 NEW BEST:: SOT 2948743 SOS 2876960 HAS SOPS 2876932 HAS SOUS 2014793 HAS SOUPS 2014765 WITH SCORE 2017641.96
AT ITER 1077 NEW BEST:: SOT 2948743 SOS 2876916 HAS SOPS 2876888 HAS SOUS 2011358 HAS SOUPS 2011330 WITH SCORE 2014206.916
AT ITER 1117 NEW BEST:: SOT 2949268 SOS 2877441 HAS SOPS 2877413 HAS SOUS 2008753 HAS SOUPS 2008725 WITH SCORE 2011602.441
AT ITER 1139 NEW BEST:: SOT 2949440 SOS 2877613 HAS SOPS 2877585 HAS SOUS 2008208 HAS SOUPS 2008180 WITH SCORE 2011057.613
AT ITER 1167 NEW BEST:: SOT 2949440 SOS 2877613 HAS SOPS 2877585 HAS SOUS 2007261 HAS SOUPS 2007233 WITH SCORE 2010110.613
AT ITER 1168 NEW BEST:: SOT 2953064 SOS 2881237 HAS SOPS 2881209 HAS SOUS 2005050 HAS SOUPS 2005022 WITH SCORE 2007903.237
AT ITER 1183 NEW BEST:: SOT 2953440 SOS 2881613 HAS SOPS 2881585 HAS SOUS 2004793 HAS SOUPS 2004765 WITH SCORE 2007646.613
AT ITER 1256 NEW BEST:: SOT 2953440 SOS 2881613 HAS SOPS 2881585 HAS SOUS 2004742 HAS SOUPS 2004714 WITH SCORE 2007595.613
AT ITER 1301 NEW BEST:: SOT 2953440 SOS 2881613 HAS SOPS 2881585 HAS SOUS 2004278 HAS SOUPS 2004250 WITH SCORE 2007131.613
AT ITER 1305 NEW BEST:: SOT 2953440 SOS 2881613 HAS SOPS 2881585 HAS SOUS 2004056 HAS SOUPS 2004028 WITH SCORE 2006909.613
AT ITER 1312 NEW BEST:: SOT 2953458 SOS 2881631 HAS SOPS 2881603 HAS SOUS 2003776 HAS SOUPS 2003748 WITH SCORE 2006629.631
AT ITER 1317 NEW BEST:: SOT 2956623 SOS 2884796 HAS SOPS 2884768 HAS SOUS 2002457 HAS SOUPS 2002429 WITH SCORE 2005313.796
AT ITER 1326 NEW BEST:: SOT 2956623 SOS 2884796 HAS SOPS 2884768 HAS SOUS 2002012 HAS SOUPS 2001984 WITH SCORE 2004868.796
AT ITER 1358 NEW BEST:: SOT 2957299 SOS 2885472 HAS SOPS 2885444 HAS SOUS 2001552 HAS SOUPS 2001524 WITH SCORE 2004409.472
AT ITER 1379 NEW BEST:: SOT 2957299 SOS 2885472 HAS SOPS 2885444 HAS SOUS 1995888 HAS SOUPS 1995860 WITH SCORE 1998745.472
AT ITER 1383 NEW BEST:: SOT 2958208 SOS 2886381 HAS SOPS 2886353 HAS SOUS 1994808 HAS SOUPS 1994780 WITH SCORE 1997666.381
AT ITER 1396 NEW BEST:: SOT 2958208 SOS 2886381 HAS SOPS 2886353 HAS SOUS 1994760 HAS SOUPS 1994732 WITH SCORE 1997618.381
AT ITER 1422 NEW BEST:: SOT 2958208 SOS 2886381 HAS SOPS 2886353 HAS SOUS 1994513 HAS SOUPS 1994485 WITH SCORE 1997371.381
AT ITER 1444 NEW BEST:: SOT 2958410 SOS 2886583 HAS SOPS 2886555 HAS SOUS 1994385 HAS SOUPS 1994357 WITH SCORE 1997243.583
AT ITER 1452 NEW BEST:: SOT 2958410 SOS 2886536 HAS SOPS 2886508 HAS SOUS 1993942 HAS SOUPS 1993914 WITH SCORE 1996800.536
AT ITER 1477 NEW BEST:: SOT 2958410 SOS 2886536 HAS SOPS 2886508 HAS SOUS 1993259 HAS SOUPS 1993231 WITH SCORE 1996117.536
AT ITER 1483 NEW BEST:: SOT 2958410 SOS 2886146 HAS SOPS 2886118 HAS SOUS 1993143 HAS SOUPS 1993115 WITH SCORE 1996001.146
AT ITER 1486 NEW BEST:: SOT 2958410 SOS 2886146 HAS SOPS 2886118 HAS SOUS 1992706 HAS SOUPS 1992678 WITH SCORE 1995564.146
AT ITER 1505 NEW BEST:: SOT 2962079 SOS 2889815 HAS SOPS 2889787 HAS SOUS 1991819 HAS SOUPS 1991791 WITH SCORE 1994680.815
AT ITER 1513 NEW BEST:: SOT 2964230 SOS 2891966 HAS SOPS 2891938 HAS SOUS 1990888 HAS SOUPS 1990860 WITH SCORE 1993751.966
AT ITER 1583 NEW BEST:: SOT 2964230 SOS 2891966 HAS SOPS 2891938 HAS SOUS 1990147 HAS SOUPS 1990119 WITH SCORE 1993010.966
AT ITER 1588 NEW BEST:: SOT 2964230 SOS 2891966 HAS SOPS 2891938 HAS SOUS 1989722 HAS SOUPS 1989694 WITH SCORE 1992585.966
AT ITER 1592 NEW BEST:: SOT 2964230 SOS 2891966 HAS SOPS 2891938 HAS SOUS 1989644 HAS SOUPS 1989616 WITH SCORE 1992507.966
AT ITER 1627 NEW BEST:: SOT 2964230 SOS 2891858 HAS SOPS 2891830 HAS SOUS 1989405 HAS SOUPS 1989377 WITH SCORE 1992268.858
AT ITER 1629 NEW BEST:: SOT 2964230 SOS 2891858 HAS SOPS 2891830 HAS SOUS 1989244 HAS SOUPS 1989216 WITH SCORE 1992107.858
AT ITER 1672 NEW BEST:: SOT 2964435 SOS 2892063 HAS SOPS 2892035 HAS SOUS 1988821 HAS SOUPS 1988793 WITH SCORE 1991685.063
AT ITER 1686 NEW BEST:: SOT 2964435 SOS 2892063 HAS SOPS 2892035 HAS SOUS 1987261 HAS SOUPS 1987233 WITH SCORE 1990125.063
AT ITER 1735 NEW BEST:: SOT 2973708 SOS 2901210 HAS SOPS 2901182 HAS SOUS 1982748 HAS SOUPS 1982720 WITH SCORE 1985621.21
AT ITER 1751 NEW BEST:: SOT 2973708 SOS 2901210 HAS SOPS 2901182 HAS SOUS 1982308 HAS SOUPS 1982280 WITH SCORE 1985181.21
AT ITER 1756 NEW BEST:: SOT 2973708 SOS 2901210 HAS SOPS 2901182 HAS SOUS 1982307 HAS SOUPS 1982279 WITH SCORE 1985180.21
AT ITER 1766 NEW BEST:: SOT 2973708 SOS 2901210 HAS SOPS 2901182 HAS SOUS 1976107 HAS SOUPS 1976079 WITH SCORE 1978980.21
AT ITER 1775 NEW BEST:: SOT 2976936 SOS 2904385 HAS SOPS 2904357 HAS SOUS 1975352 HAS SOUPS 1975324 WITH SCORE 1978228.385
AT ITER 1804 NEW BEST:: SOT 2977814 SOS 2905233 HAS SOPS 2905205 HAS SOUS 1975283 HAS SOUPS 1975255 WITH SCORE 1978160.233
AT ITER 1810 NEW BEST:: SOT 2983049 SOS 2910380 HAS SOPS 2910352 HAS SOUS 1972378 HAS SOUPS 1972350 WITH SCORE 1975260.38
AT ITER 1812 NEW BEST:: SOT 2983049 SOS 2890034 HAS SOPS 2890006 HAS SOUS 1972154 HAS SOUPS 1972126 WITH SCORE 1975016.034
AT ITER 1818 NEW BEST:: SOT 2983049 SOS 2889446 HAS SOPS 2889418 HAS SOUS 1971551 HAS SOUPS 1971523 WITH SCORE 1974412.446
AT ITER 1827 NEW BEST:: SOT 2984816 SOS 2891213 HAS SOPS 2891185 HAS SOUS 1971100 HAS SOUPS 1971072 WITH SCORE 1973963.213
AT ITER 1900 NEW BEST:: SOT 2989716 SOS 2896113 HAS SOPS 2896085 HAS SOUS 1970523 HAS SOUPS 1970495 WITH SCORE 1973391.113
AT ITER 1903 NEW BEST:: SOT 2993412 SOS 2899760 HAS SOPS 2899732 HAS SOUS 1970000 HAS SOUPS 1969972 WITH SCORE 1972871.76
AT ITER 1915 NEW BEST:: SOT 2993412 SOS 2899760 HAS SOPS 2899732 HAS SOUS 1969930 HAS SOUPS 1969902 WITH SCORE 1972801.76
AT ITER 1932 NEW BEST:: SOT 2993676 SOS 2900024 HAS SOPS 2899996 HAS SOUS 1967149 HAS SOUPS 1967121 WITH SCORE 1970021.024
AT ITER 1945 NEW BEST:: SOT 2995110 SOS 2901458 HAS SOPS 2901430 HAS SOUS 1965240 HAS SOUPS 1965212 WITH SCORE 1968113.458
AT ITER 1956 NEW BEST:: SOT 2996132 SOS 2902480 HAS SOPS 2902452 HAS SOUS 1964864 HAS SOUPS 1964836 WITH SCORE 1967738.48
AT ITER 1975 NEW BEST:: SOT 3000740 SOS 2907088 HAS SOPS 2907060 HAS SOUS 1964689 HAS SOUPS 1964661 WITH SCORE 1967568.088
AT ITER 1991 NEW BEST:: SOT 3001256 SOS 2907604 HAS SOPS 2907576 HAS SOUS 1964516 HAS SOUPS 1964488 WITH SCORE 1967395.604
AT ITER 2001 NEW BEST:: SOT 3001478 SOS 2907826 HAS SOPS 2907798 HAS SOUS 1964288 HAS SOUPS 1964260 WITH SCORE 1967167.826
AT ITER 2004 NEW BEST:: SOT 3001566 SOS 2907914 HAS SOPS 2907886 HAS SOUS 1964172 HAS SOUPS 1964144 WITH SCORE 1967051.914
AT ITER 2007 NEW BEST:: SOT 3001692 SOS 2908040 HAS SOPS 2908012 HAS SOUS 1963934 HAS SOUPS 1963906 WITH SCORE 1966814.04
AT ITER 2016 NEW BEST:: SOT 3001692 SOS 2908111 HAS SOPS 2908083 HAS SOUS 1957496 HAS SOUPS 1957468 WITH SCORE 1960376.111
AT ITER 2048 NEW BEST:: SOT 3002416 SOS 2908835 HAS SOPS 2908807 HAS SOUS 1957195 HAS SOUPS 1957167 WITH SCORE 1960075.835
AT ITER 2055 NEW BEST:: SOT 3002416 SOS 2908856 HAS SOPS 2908828 HAS SOUS 1949851 HAS SOUPS 1949823 WITH SCORE 1952731.856
AT ITER 2060 NEW BEST:: SOT 3002416 SOS 2907917 HAS SOPS 2907889 HAS SOUS 1947262 HAS SOUPS 1947234 WITH SCORE 1950141.917
AT ITER 2088 NEW BEST:: SOT 3003186 SOS 2869276 HAS SOPS 2869248 HAS SOUS 1946398 HAS SOUPS 1946370 WITH SCORE 1949239.276
AT ITER 2095 NEW BEST:: SOT 3003582 SOS 2869672 HAS SOPS 2869644 HAS SOUS 1945298 HAS SOUPS 1945270 WITH SCORE 1948139.672
AT ITER 2107 NEW BEST:: SOT 3007542 SOS 2873632 HAS SOPS 2873604 HAS SOUS 1934481 HAS SOUPS 1934453 WITH SCORE 1937326.632
AT ITER 2123 NEW BEST:: SOT 3008194 SOS 2873649 HAS SOPS 2873621 HAS SOUS 1932356 HAS SOUPS 1932328 WITH SCORE 1935201.649
AT ITER 2129 NEW BEST:: SOT 3015154 SOS 2880332 HAS SOPS 2880304 HAS SOUS 1922387 HAS SOUPS 1922359 WITH SCORE 1925239.332
AT ITER 2133 NEW BEST:: SOT 3015154 SOS 2879561 HAS SOPS 2879533 HAS SOUS 1921749 HAS SOUPS 1921721 WITH SCORE 1924600.561
AT ITER 2163 NEW BEST:: SOT 3015154 SOS 2879561 HAS SOPS 2879533 HAS SOUS 1912204 HAS SOUPS 1912176 WITH SCORE 1915055.561
AT ITER 2177 NEW BEST:: SOT 3015154 SOS 2879561 HAS SOPS 2879533 HAS SOUS 1907036 HAS SOUPS 1907008 WITH SCORE 1909887.561
AT ITER 2182 NEW BEST:: SOT 3017922 SOS 2882329 HAS SOPS 2882301 HAS SOUS 1904939 HAS SOUPS 1904911 WITH SCORE 1907793.329
AT ITER 2190 NEW BEST:: SOT 3019443 SOS 2883850 HAS SOPS 2883822 HAS SOUS 1904231 HAS SOUPS 1904203 WITH SCORE 1907086.85
AT ITER 2205 NEW BEST:: SOT 3022960 SOS 2886607 HAS SOPS 2886579 HAS SOUS 1902984 HAS SOUPS 1902956 WITH SCORE 1905842.607
AT ITER 2245 NEW BEST:: SOT 3023134 SOS 2886781 HAS SOPS 2886753 HAS SOUS 1902484 HAS SOUPS 1902456 WITH SCORE 1905342.781
AT ITER 2260 NEW BEST:: SOT 3023899 SOS 2887546 HAS SOPS 2887518 HAS SOUS 1901421 HAS SOUPS 1901393 WITH SCORE 1904280.546
AT ITER 2313 NEW BEST:: SOT 3023587 SOS 2887234 HAS SOPS 2887206 HAS SOUS 1901421 HAS SOUPS 1901393 WITH SCORE 1904280.234
AT ITER 2333 NEW BEST:: SOT 3023587 SOS 2887234 HAS SOPS 2887206 HAS SOUS 1901355 HAS SOUPS 1901327 WITH SCORE 1904214.234
AT ITER 2337 NEW BEST:: SOT 3033421 SOS 2897068 HAS SOPS 2897040 HAS SOUS 1891566 HAS SOUPS 1891538 WITH SCORE 1894435.068
AT ITER 2340 NEW BEST:: SOT 3034975 SOS 2898622 HAS SOPS 2898594 HAS SOUS 1890399 HAS SOUPS 1890371 WITH SCORE 1893269.622
AT ITER 2346 NEW BEST:: SOT 3037297 SOS 2900944 HAS SOPS 2900916 HAS SOUS 1889544 HAS SOUPS 1889516 WITH SCORE 1892416.944
AT ITER 2378 NEW BEST:: SOT 1764237 SOS 1664735 HAS SOPS 1661564 HAS SOUS 617379 HAS SOUPS 616479 WITH SCORE 618143.735
AT ITER 2383 NEW BEST:: SOT 1764070 SOS 1664408 HAS SOPS 1661026 HAS SOUS 617242 HAS SOUPS 616342 WITH SCORE 618006.408
AT ITER 2395 NEW BEST:: SOT 1764070 SOS 1664408 HAS SOPS 1661026 HAS SOUS 617140 HAS SOUPS 616240 WITH SCORE 617904.408
AT ITER 2498 NEW BEST:: SOT 1776187 SOS 1676525 HAS SOPS 1673143 HAS SOUS 615560 HAS SOUPS 614660 WITH SCORE 616336.525
AT ITER 2504 NEW BEST:: SOT 1776187 SOS 1676565 HAS SOPS 1673183 HAS SOUS 615480 HAS SOUPS 614580 WITH SCORE 616256.565
AT ITER 2559 NEW BEST:: SOT 1776399 SOS 1677023 HAS SOPS 1673641 HAS SOUS 615206 HAS SOUPS 614306 WITH SCORE 615983.023
AT ITER 2561 NEW BEST:: SOT 1779514 SOS 1680138 HAS SOPS 1676756 HAS SOUS 613962 HAS SOUPS 613062 WITH SCORE 614742.138
AT ITER 2586 NEW BEST:: SOT 1791250 SOS 1691601 HAS SOPS 1688219 HAS SOUS 613571 HAS SOUPS 612671 WITH SCORE 614362.601
AT ITER 2609 NEW BEST:: SOT 1790558 SOS 1690750 HAS SOPS 1687022 HAS SOUS 612509 HAS SOUPS 611609 WITH SCORE 613299.75
AT ITER 2612 NEW BEST:: SOT 1794455 SOS 1694647 HAS SOPS 1690919 HAS SOUS 612496 HAS SOUPS 611596 WITH SCORE 613290.647
AT ITER 2615 NEW BEST:: SOT 1794455 SOS 1693099 HAS SOPS 1689371 HAS SOUS 612496 HAS SOUPS 611596 WITH SCORE 613289.099
AT ITER 2640 NEW BEST:: SOT 1794478 SOS 1693122 HAS SOPS 1689394 HAS SOUS 612379 HAS SOUPS 611479 WITH SCORE 613172.122
AT ITER 2712 NEW BEST:: SOT 1794160 SOS 1692804 HAS SOPS 1689076 HAS SOUS 612219 HAS SOUPS 611319 WITH SCORE 613011.804
AT ITER 2715 NEW BEST:: SOT 1794160 SOS 1675893 HAS SOPS 1672165 HAS SOUS 612219 HAS SOUPS 611319 WITH SCORE 612994.893
AT ITER 2778 NEW BEST:: SOT 1800785 SOS 1682277 HAS SOPS 1678549 HAS SOUS 612099 HAS SOUPS 611199 WITH SCORE 612881.277
AT ITER 2782 NEW BEST:: SOT 1803358 SOS 1684850 HAS SOPS 1681122 HAS SOUS 611747 HAS SOUPS 610847 WITH SCORE 612531.85
AT ITER 2829 NEW BEST:: SOT 1802832 SOS 1684324 HAS SOPS 1680596 HAS SOUS 611431 HAS SOUPS 610531 WITH SCORE 612215.324
AT ITER 2931 NEW BEST:: SOT 1807206 SOS 1688690 HAS SOPS 1684962 HAS SOUS 611272 HAS SOUPS 610372 WITH SCORE 612060.69
AT ITER 2936 NEW BEST:: SOT 1807206 SOS 1688690 HAS SOPS 1684962 HAS SOUS 611210 HAS SOUPS 610310 WITH SCORE 611998.69
AT ITER 2990 NEW BEST:: SOT 1806699 SOS 1688183 HAS SOPS 1684455 HAS SOUS 610703 HAS SOUPS 609803 WITH SCORE 611491.183
AT ITER 3017 NEW BEST:: SOT 1806699 SOS 1688182 HAS SOPS 1684454 HAS SOUS 610703 HAS SOUPS 609803 WITH SCORE 611491.182
AT ITER 3020 NEW BEST:: SOT 1807833 SOS 1689316 HAS SOPS 1685588 HAS SOUS 608812 HAS SOUPS 607912 WITH SCORE 609601.316
AT ITER 3029 NEW BEST:: SOT 1811768 SOS 1693251 HAS SOPS 1689523 HAS SOUS 608398 HAS SOUPS 607498 WITH SCORE 609191.251
AT ITER 3059 NEW BEST:: SOT 1810788 SOS 1692271 HAS SOPS 1688543 HAS SOUS 608398 HAS SOUPS 607498 WITH SCORE 609190.271
AT ITER 3066 NEW BEST:: SOT 1811189 SOS 1692672 HAS SOPS 1688944 HAS SOUS 607011 HAS SOUPS 606111 WITH SCORE 607803.672
AT ITER 3082 NEW BEST:: SOT 1817505 SOS 1698988 HAS SOPS 1695260 HAS SOUS 606531 HAS SOUPS 605631 WITH SCORE 607329.988
AT ITER 3116 NEW BEST:: SOT 1816957 SOS 1698440 HAS SOPS 1694712 HAS SOUS 606257 HAS SOUPS 605357 WITH SCORE 607055.44
AT ITER 3125 NEW BEST:: SOT 1824569 SOS 1706249 HAS SOPS 1702521 HAS SOUS 606044 HAS SOUPS 605144 WITH SCORE 606850.249
AT ITER 3138 NEW BEST:: SOT 1824569 SOS 1672330 HAS SOPS 1668602 HAS SOUS 606044 HAS SOUPS 605144 WITH SCORE 606816.33
AT ITER 3182 NEW BEST:: SOT 1824569 SOS 1672330 HAS SOPS 1668602 HAS SOUS 605681 HAS SOUPS 604781 WITH SCORE 606453.33
AT ITER 3248 NEW BEST:: SOT 1823671 SOS 1671432 HAS SOPS 1667704 HAS SOUS 605212 HAS SOUPS 604312 WITH SCORE 605983.432
AT ITER 3255 NEW BEST:: SOT 1827702 SOS 1675463 HAS SOPS 1671735 HAS SOUS 604912 HAS SOUPS 604012 WITH SCORE 605687.463
AT ITER 3276 NEW BEST:: SOT 1827463 SOS 1675224 HAS SOPS 1671496 HAS SOUS 604435 HAS SOUPS 603535 WITH SCORE 605210.224
AT ITER 3280 NEW BEST:: SOT 1844790 SOS 1692105 HAS SOPS 1687188 HAS SOUS 603165 HAS SOUPS 602265 WITH SCORE 603957.105
AT ITER 3291 NEW BEST:: SOT 1844790 SOS 1692105 HAS SOPS 1687188 HAS SOUS 603068 HAS SOUPS 602168 WITH SCORE 603860.105
AT ITER 3297 NEW BEST:: SOT 1843338 SOS 1690653 HAS SOPS 1685736 HAS SOUS 602342 HAS SOUPS 601442 WITH SCORE 603132.653
AT ITER 3345 NEW BEST:: SOT 1845476 SOS 1692791 HAS SOPS 1687874 HAS SOUS 601744 HAS SOUPS 600844 WITH SCORE 602536.791
AT ITER 3464 NEW BEST:: SOT 1843870 SOS 1691185 HAS SOPS 1686268 HAS SOUS 601632 HAS SOUPS 600732 WITH SCORE 602423.185
AT ITER 3497 NEW BEST:: SOT 1843591 SOS 1690906 HAS SOPS 1685989 HAS SOUS 601632 HAS SOUPS 600732 WITH SCORE 602422.906
AT ITER 3499 NEW BEST:: SOT 1843591 SOS 1690515 HAS SOPS 1685598 HAS SOUS 601632 HAS SOUPS 600732 WITH SCORE 602422.515
AT ITER 3506 NEW BEST:: SOT 1843591 SOS 1690515 HAS SOPS 1685598 HAS SOUS 601471 HAS SOUPS 600571 WITH SCORE 602261.515
AT ITER 3518 NEW BEST:: SOT 1845185 SOS 1692109 HAS SOPS 1687192 HAS SOUS 601051 HAS SOUPS 600151 WITH SCORE 601843.109
AT ITER 3529 NEW BEST:: SOT 1849362 SOS 1696286 HAS SOPS 1691369 HAS SOUS 600763 HAS SOUPS 599863 WITH SCORE 601559.286
AT ITER 3543 NEW BEST:: SOT 1849397 SOS 1696321 HAS SOPS 1691404 HAS SOUS 600680 HAS SOUPS 599780 WITH SCORE 601476.321
AT ITER 3592 NEW BEST:: SOT 1846769 SOS 1693693 HAS SOPS 1688776 HAS SOUS 600565 HAS SOUPS 599665 WITH SCORE 601358.693
AT ITER 3666 NEW BEST:: SOT 1850751 SOS 1697625 HAS SOPS 1692708 HAS SOUS 600375 HAS SOUPS 599475 WITH SCORE 601172.625
AT ITER 3722 NEW BEST:: SOT 1852224 SOS 1699098 HAS SOPS 1694181 HAS SOUS 600069 HAS SOUPS 599169 WITH SCORE 600868.098
AT ITER 3796 NEW BEST:: SOT 1852224 SOS 1699098 HAS SOPS 1694181 HAS SOUS 600030 HAS SOUPS 599130 WITH SCORE 600829.098
AT ITER 3948 NEW BEST:: SOT 1859146 SOS 1705813 HAS SOPS 1700723 HAS SOUS 599756 HAS SOUPS 598856 WITH SCORE 600561.813
AT ITER 3967 NEW BEST:: SOT 1863467 SOS 1710134 HAS SOPS 1705044 HAS SOUS 599544 HAS SOUPS 598644 WITH SCORE 600354.134
AT ITER 3984 NEW BEST:: SOT 1864045 SOS 1710712 HAS SOPS 1705622 HAS SOUS 599188 HAS SOUPS 598288 WITH SCORE 599998.712
AT ITER 4000 NEW BEST:: SOT 1863405 SOS 1710010 HAS SOPS 1704597 HAS SOUS 598181 HAS SOUPS 597281 WITH SCORE 598991.01
AT ITER 4007 NEW BEST:: SOT 1863405 SOS 1710010 HAS SOPS 1704597 HAS SOUS 597908 HAS SOUPS 597008 WITH SCORE 598718.01
AT ITER 4034 NEW BEST:: SOT 1864876 SOS 1711292 HAS SOPS 1705879 HAS SOUS 597834 HAS SOUPS 596934 WITH SCORE 598645.292
AT ITER 4038 NEW BEST:: SOT 1864038 SOS 1710454 HAS SOPS 1705041 HAS SOUS 597413 HAS SOUPS 596513 WITH SCORE 598223.454
AT ITER 4086 NEW BEST:: SOT 1863988 SOS 1710404 HAS SOPS 1704991 HAS SOUS 597011 HAS SOUPS 596111 WITH SCORE 597821.404
AT ITER 4088 NEW BEST:: SOT 1863988 SOS 1710404 HAS SOPS 1704991 HAS SOUS 597010 HAS SOUPS 596110 WITH SCORE 597820.404
AT ITER 4089 NEW BEST:: SOT 1864483 SOS 1710899 HAS SOPS 1705486 HAS SOUS 596740 HAS SOUPS 595840 WITH SCORE 597550.899
AT ITER 4133 NEW BEST:: SOT 1863764 SOS 1710180 HAS SOPS 1704767 HAS SOUS 596019 HAS SOUPS 595119 WITH SCORE 596829.18
AT ITER 4140 NEW BEST:: SOT 1868348 SOS 1714764 HAS SOPS 1709351 HAS SOUS 595635 HAS SOUPS 594735 WITH SCORE 596449.764
AT ITER 4144 NEW BEST:: SOT 1870751 SOS 1717167 HAS SOPS 1711754 HAS SOUS 595037 HAS SOUPS 594137 WITH SCORE 595854.167
AT ITER 4159 NEW BEST:: SOT 1870751 SOS 1716956 HAS SOPS 1711543 HAS SOUS 593138 HAS SOUPS 592238 WITH SCORE 593954.956
AT ITER 4161 NEW BEST:: SOT 1869150 SOS 1715355 HAS SOPS 1709942 HAS SOUS 592162 HAS SOUPS 591262 WITH SCORE 592977.355
AT ITER 4177 NEW BEST:: SOT 1868921 SOS 1715126 HAS SOPS 1709713 HAS SOUS 591933 HAS SOUPS 591033 WITH SCORE 592748.126
AT ITER 4261 NEW BEST:: SOT 1868921 SOS 1715126 HAS SOPS 1709713 HAS SOUS 591835 HAS SOUPS 590935 WITH SCORE 592650.126
AT ITER 4263 NEW BEST:: SOT 1868864 SOS 1715069 HAS SOPS 1709656 HAS SOUS 591721 HAS SOUPS 590821 WITH SCORE 592536.069
AT ITER 4269 NEW BEST:: SOT 1868422 SOS 1714430 HAS SOPS 1709017 HAS SOUS 590972 HAS SOUPS 590072 WITH SCORE 591786.43
AT ITER 4293 NEW BEST:: SOT 1868222 SOS 1714230 HAS SOPS 1708817 HAS SOUS 590872 HAS SOUPS 589972 WITH SCORE 591686.23
AT ITER 4303 NEW BEST:: SOT 1867920 SOS 1713928 HAS SOPS 1708515 HAS SOUS 590566 HAS SOUPS 589666 WITH SCORE 591379.928
AT ITER 4326 NEW BEST:: SOT 1866096 SOS 1712104 HAS SOPS 1706691 HAS SOUS 589654 HAS SOUPS 588754 WITH SCORE 590466.104
AT ITER 4353 NEW BEST:: SOT 1866084 SOS 1712092 HAS SOPS 1706679 HAS SOUS 589642 HAS SOUPS 588742 WITH SCORE 590454.092
AT ITER 4362 NEW BEST:: SOT 1871981 SOS 1717989 HAS SOPS 1712576 HAS SOUS 588480 HAS SOUPS 587580 WITH SCORE 589297.989
AT ITER 4376 NEW BEST:: SOT 1871934 SOS 1717942 HAS SOPS 1712529 HAS SOUS 588431 HAS SOUPS 587531 WITH SCORE 589248.942
AT ITER 4396 NEW BEST:: SOT 1872426 SOS 1718328 HAS SOPS 1712915 HAS SOUS 587334 HAS SOUPS 586434 WITH SCORE 588152.328
AT ITER 4441 NEW BEST:: SOT 1873940 SOS 1719842 HAS SOPS 1714429 HAS SOUS 587042 HAS SOUPS 586142 WITH SCORE 587861.842
AT ITER 4444 NEW BEST:: SOT 1886276 SOS 1732178 HAS SOPS 1726765 HAS SOUS 586293 HAS SOUPS 585393 WITH SCORE 587125.178
AT ITER 4470 NEW BEST:: SOT 1886990 SOS 1732892 HAS SOPS 1727479 HAS SOUS 585011 HAS SOUPS 584111 WITH SCORE 585843.892
AT ITER 4495 NEW BEST:: SOT 1886846 SOS 1732748 HAS SOPS 1727335 HAS SOUS 584723 HAS SOUPS 583823 WITH SCORE 585555.748
AT ITER 4542 NEW BEST:: SOT 1886779 SOS 1732681 HAS SOPS 1727335 HAS SOUS 584656 HAS SOUPS 583756 WITH SCORE 585488.681
AT ITER 4571 NEW BEST:: SOT 1888995 SOS 1735011 HAS SOPS 1730538 HAS SOUS 584217 HAS SOUPS 583476 WITH SCORE 585211.011
AT ITER 4593 NEW BEST:: SOT 1893458 SOS 1739474 HAS SOPS 1735001 HAS SOUS 584125 HAS SOUPS 583384 WITH SCORE 585123.474
AT ITER 4600 NEW BEST:: SOT 1908571 SOS 1754151 HAS SOPS 1749287 HAS SOUS 583724 HAS SOUPS 582983 WITH SCORE 584737.151
AT ITER 4620 NEW BEST:: SOT 1908229 SOS 1753809 HAS SOPS 1748945 HAS SOUS 583610 HAS SOUPS 582869 WITH SCORE 584622.809
AT ITER 4653 NEW BEST:: SOT 1909016 SOS 1754596 HAS SOPS 1748903 HAS SOUS 584397 HAS SOUPS 582827 WITH SCORE 584581.596
AT ITER 4657 NEW BEST:: SOT 1912699 SOS 1758279 HAS SOPS 1752586 HAS SOUS 584310 HAS SOUPS 582740 WITH SCORE 584498.279
AT ITER 4677 NEW BEST:: SOT 1913413 SOS 1758993 HAS SOPS 1753300 HAS SOUS 584172 HAS SOUPS 582602 WITH SCORE 584360.993
AT ITER 4742 NEW BEST:: SOT 1912875 SOS 1758455 HAS SOPS 1752762 HAS SOUS 584034 HAS SOUPS 582464 WITH SCORE 584222.455
AT ITER 4760 NEW BEST:: SOT 1912670 SOS 1758041 HAS SOPS 1752348 HAS SOUS 583624 HAS SOUPS 582054 WITH SCORE 583812.041
AT ITER 4793 NEW BEST:: SOT 1910492 SOS 1755863 HAS SOPS 1750170 HAS SOUS 582276 HAS SOUPS 580706 WITH SCORE 582461.863
AT ITER 4889 NEW BEST:: SOT 1910268 SOS 1755639 HAS SOPS 1749946 HAS SOUS 582052 HAS SOUPS 580482 WITH SCORE 582237.639
AT ITER 4891 NEW BEST:: SOT 1914424 SOS 1759795 HAS SOPS 1754102 HAS SOUS 580691 HAS SOUPS 579121 WITH SCORE 580880.795
AT ITER 4947 NEW BEST:: SOT 1899637 SOS 1746196 HAS SOPS 1740503 HAS SOUS 566805 HAS SOUPS 565235 WITH SCORE 566981.196
AT ITER 4955 NEW BEST:: SOT 1899808 SOS 1746259 HAS SOPS 1740566 HAS SOUS 565621 HAS SOUPS 564051 WITH SCORE 565797.259
AT ITER 4962 NEW BEST:: SOT 1897666 SOS 1744117 HAS SOPS 1738424 HAS SOUS 564899 HAS SOUPS 563329 WITH SCORE 565073.117
AT ITER 4963 NEW BEST:: SOT 1898342 SOS 1744793 HAS SOPS 1739100 HAS SOUS 564796 HAS SOUPS 563226 WITH SCORE 564970.793
AT ITER 4993 NEW BEST:: SOT 1910444 SOS 1756443 HAS SOPS 1750384 HAS SOUS 563838 HAS SOUPS 562268 WITH SCORE 564024.443
AT ITER 5006 NEW BEST:: SOT 1918164 SOS 1764409 HAS SOPS 1758350 HAS SOUS 559287 HAS SOUPS 557717 WITH SCORE 559481.409
AT ITER 5009 NEW BEST:: SOT 1918164 SOS 1764479 HAS SOPS 1758420 HAS SOUS 558234 HAS SOUPS 556664 WITH SCORE 558428.479
AT ITER 5026 NEW BEST:: SOT 1920589 SOS 1766904 HAS SOPS 1760845 HAS SOUS 557684 HAS SOUPS 556114 WITH SCORE 557880.904
AT ITER 5085 NEW BEST:: SOT 1920392 SOS 1766707 HAS SOPS 1760648 HAS SOUS 557487 HAS SOUPS 555917 WITH SCORE 557683.707
AT ITER 5134 NEW BEST:: SOT 1920320 SOS 1766635 HAS SOPS 1760576 HAS SOUS 557463 HAS SOUPS 555893 WITH SCORE 557659.635
AT ITER 5139 NEW BEST:: SOT 1920040 SOS 1766355 HAS SOPS 1760296 HAS SOUS 556622 HAS SOUPS 555052 WITH SCORE 556818.355
AT ITER 5171 NEW BEST:: SOT 1920274 SOS 1766589 HAS SOPS 1760530 HAS SOUS 556475 HAS SOUPS 554905 WITH SCORE 556671.589
AT ITER 5233 NEW BEST:: SOT 1919901 SOS 1766216 HAS SOPS 1760157 HAS SOUS 556112 HAS SOUPS 554542 WITH SCORE 556308.216
AT ITER 5297 NEW BEST:: SOT 1919901 SOS 1766216 HAS SOPS 1760157 HAS SOUS 555555 HAS SOUPS 553985 WITH SCORE 555751.216
AT ITER 5344 NEW BEST:: SOT 1920149 SOS 1766464 HAS SOPS 1760405 HAS SOUS 555307 HAS SOUPS 553737 WITH SCORE 555503.464
AT ITER 5356 NEW BEST:: SOT 1924364 SOS 1770679 HAS SOPS 1764620 HAS SOUS 555262 HAS SOUPS 553692 WITH SCORE 555462.679
AT ITER 5392 NEW BEST:: SOT 1924377 SOS 1770692 HAS SOPS 1764633 HAS SOUS 555082 HAS SOUPS 553512 WITH SCORE 555282.692
AT ITER 5407 NEW BEST:: SOT 1925190 SOS 1771505 HAS SOPS 1765446 HAS SOUS 554869 HAS SOUPS 553299 WITH SCORE 555070.505
AT ITER 5409 NEW BEST:: SOT 1925765 SOS 1772293 HAS SOPS 1766234 HAS SOUS 554673 HAS SOUPS 553103 WITH SCORE 554875.293
AT ITER 5444 NEW BEST:: SOT 1922036 SOS 1768564 HAS SOPS 1762844 HAS SOUS 554334 HAS SOUPS 553103 WITH SCORE 554871.564
AT ITER 5531 NEW BEST:: SOT 1922036 SOS 1768564 HAS SOPS 1762844 HAS SOUS 554053 HAS SOUPS 552822 WITH SCORE 554590.564
AT ITER 5558 NEW BEST:: SOT 1921858 SOS 1768386 HAS SOPS 1762666 HAS SOUS 553454 HAS SOUPS 552223 WITH SCORE 553991.386
AT ITER 5570 NEW BEST:: SOT 1921828 SOS 1768356 HAS SOPS 1762636 HAS SOUS 553451 HAS SOUPS 552220 WITH SCORE 553988.356
AT ITER 5679 NEW BEST:: SOT 1922073 SOS 1768601 HAS SOPS 1762881 HAS SOUS 553017 HAS SOUPS 551786 WITH SCORE 553554.601
AT ITER 5681 NEW BEST:: SOT 1920081 SOS 1766609 HAS SOPS 1760889 HAS SOUS 552353 HAS SOUPS 551122 WITH SCORE 552888.609
AT ITER 5709 NEW BEST:: SOT 1920150 SOS 1766678 HAS SOPS 1760958 HAS SOUS 552284 HAS SOUPS 551053 WITH SCORE 552819.678
AT ITER 5743 NEW BEST:: SOT 1920114 SOS 1766642 HAS SOPS 1760922 HAS SOUS 552246 HAS SOUPS 551015 WITH SCORE 552781.642
AT ITER 5747 NEW BEST:: SOT 1920114 SOS 1766642 HAS SOPS 1760922 HAS SOUS 551971 HAS SOUPS 550740 WITH SCORE 552506.642
AT ITER 5783 NEW BEST:: SOT 1920149 SOS 1766677 HAS SOPS 1760957 HAS SOUS 550494 HAS SOUPS 549263 WITH SCORE 551029.677
AT ITER 5804 NEW BEST:: SOT 1927417 SOS 1773720 HAS SOPS 1767629 HAS SOUS 550010 HAS SOUPS 548779 WITH SCORE 550552.72
AT ITER 5822 NEW BEST:: SOT 1925889 SOS 1772192 HAS SOPS 1766101 HAS SOUS 549246 HAS SOUPS 548015 WITH SCORE 549787.192
AT ITER 5862 NEW BEST:: SOT 1925889 SOS 1772192 HAS SOPS 1766101 HAS SOUS 549069 HAS SOUPS 547838 WITH SCORE 549610.192
AT ITER 5992 NEW BEST:: SOT 1928076 SOS 1774379 HAS SOPS 1768288 HAS SOUS 548748 HAS SOUPS 547517 WITH SCORE 549291.379
AT ITER 5996 NEW BEST:: SOT 1928016 SOS 1774319 HAS SOPS 1768198 HAS SOUS 548688 HAS SOUPS 547457 WITH SCORE 549231.319
AT ITER 6016 NEW BEST:: SOT 1928229 SOS 1774532 HAS SOPS 1768411 HAS SOUS 548136 HAS SOUPS 546905 WITH SCORE 548679.532
AT ITER 6062 NEW BEST:: SOT 1930530 SOS 1776833 HAS SOPS 1770712 HAS SOUS 547694 HAS SOUPS 546463 WITH SCORE 548239.833
AT ITER 6127 NEW BEST:: SOT 1924710 SOS 1771013 HAS SOPS 1764892 HAS SOUS 546724 HAS SOUPS 545493 WITH SCORE 547264.013
AT ITER 6129 NEW BEST:: SOT 1924574 SOS 1770877 HAS SOPS 1764756 HAS SOUS 546520 HAS SOUPS 545289 WITH SCORE 547059.877
AT ITER 6205 NEW BEST:: SOT 1925540 SOS 1771843 HAS SOPS 1765722 HAS SOUS 545133 HAS SOUPS 543902 WITH SCORE 545673.843
AT ITER 6283 NEW BEST:: SOT 1927750 SOS 1774053 HAS SOPS 1767932 HAS SOUS 544303 HAS SOUPS 543072 WITH SCORE 544846.053
AT ITER 6301 NEW BEST:: SOT 1927886 SOS 1774189 HAS SOPS 1768068 HAS SOUS 544180 HAS SOUPS 542949 WITH SCORE 544723.189
AT ITER 6328 NEW BEST:: SOT 1927859 SOS 1774162 HAS SOPS 1768041 HAS SOUS 544126 HAS SOUPS 542895 WITH SCORE 544669.162
AT ITER 6395 NEW BEST:: SOT 1927094 SOS 1773397 HAS SOPS 1767276 HAS SOUS 543283 HAS SOUPS 542052 WITH SCORE 543825.397
AT ITER 6409 NEW BEST:: SOT 1927676 SOS 1774083 HAS SOPS 1767962 HAS SOUS 542093 HAS SOUPS 540862 WITH SCORE 542636.083
AT ITER 6424 NEW BEST:: SOT 1927676 SOS 1774182 HAS SOPS 1768061 HAS SOUS 541965 HAS SOUPS 540734 WITH SCORE 542508.182
AT ITER 6556 NEW BEST:: SOT 1926838 SOS 1773344 HAS SOPS 1767223 HAS SOUS 541719 HAS SOUPS 540488 WITH SCORE 542261.344
AT ITER 6583 NEW BEST:: SOT 1926838 SOS 1773311 HAS SOPS 1767190 HAS SOUS 541718 HAS SOUPS 540487 WITH SCORE 542260.311
AT ITER 6605 NEW BEST:: SOT 1926809 SOS 1773282 HAS SOPS 1767161 HAS SOUS 541660 HAS SOUPS 540429 WITH SCORE 542202.282
AT ITER 6613 NEW BEST:: SOT 1926190 SOS 1772663 HAS SOPS 1766542 HAS SOUS 540832 HAS SOUPS 539601 WITH SCORE 541373.663
AT ITER 6637 NEW BEST:: SOT 1924106 SOS 1770579 HAS SOPS 1764458 HAS SOUS 539109 HAS SOUPS 537878 WITH SCORE 539648.579
AT ITER 6650 NEW BEST:: SOT 1924705 SOS 1771178 HAS SOPS 1765057 HAS SOUS 538589 HAS SOUPS 537358 WITH SCORE 539129.178
AT ITER 6658 NEW BEST:: SOT 1925993 SOS 1772374 HAS SOPS 1766253 HAS SOUS 538268 HAS SOUPS 537037 WITH SCORE 538809.374
AT ITER 6659 NEW BEST:: SOT 1925978 SOS 1772359 HAS SOPS 1766238 HAS SOUS 538253 HAS SOUPS 537022 WITH SCORE 538794.359
AT ITER 6708 NEW BEST:: SOT 1931594 SOS 1776583 HAS SOPS 1769403 HAS SOUS 538042 HAS SOUPS 536811 WITH SCORE 538587.583
AT ITER 6755 NEW BEST:: SOT 1930037 SOS 1775026 HAS SOPS 1766991 HAS SOUS 537942 HAS SOUPS 536711 WITH SCORE 538486.026
AT ITER 6800 NEW BEST:: SOT 1933842 SOS 1778780 HAS SOPS 1770745 HAS SOUS 537878 HAS SOUPS 536647 WITH SCORE 538425.78
AT ITER 6820 NEW BEST:: SOT 1933262 SOS 1778200 HAS SOPS 1770165 HAS SOUS 537753 HAS SOUPS 536522 WITH SCORE 538300.2
AT ITER 6821 NEW BEST:: SOT 1933150 SOS 1778088 HAS SOPS 1770053 HAS SOUS 537529 HAS SOUPS 536298 WITH SCORE 538076.088
AT ITER 6949 NEW BEST:: SOT 1934365 SOS 1778869 HAS SOPS 1770564 HAS SOUS 535351 HAS SOUPS 534120 WITH SCORE 535898.869
AT ITER 7009 NEW BEST:: SOT 1934365 SOS 1773971 HAS SOPS 1765666 HAS SOUS 535071 HAS SOUPS 533840 WITH SCORE 535613.971
AT ITER 7013 NEW BEST:: SOT 1934187 SOS 1773793 HAS SOPS 1765488 HAS SOUS 534975 HAS SOUPS 533744 WITH SCORE 535517.793
AT ITER 7018 NEW BEST:: SOT 1934149 SOS 1773755 HAS SOPS 1765450 HAS SOUS 534975 HAS SOUPS 533744 WITH SCORE 535517.755
AT ITER 7027 NEW BEST:: SOT 1933965 SOS 1773571 HAS SOPS 1765266 HAS SOUS 534307 HAS SOUPS 533076 WITH SCORE 534849.571
AT ITER 7041 NEW BEST:: SOT 1933965 SOS 1773571 HAS SOPS 1765266 HAS SOUS 534302 HAS SOUPS 533071 WITH SCORE 534844.571
AT ITER 7076 NEW BEST:: SOT 1933909 SOS 1773515 HAS SOPS 1765210 HAS SOUS 534190 HAS SOUPS 532959 WITH SCORE 534732.515
AT ITER 7125 NEW BEST:: SOT 1933909 SOS 1773515 HAS SOPS 1765210 HAS SOUS 534128 HAS SOUPS 532897 WITH SCORE 534670.515
AT ITER 7135 NEW BEST:: SOT 1933291 SOS 1772897 HAS SOPS 1764592 HAS SOUS 533922 HAS SOUPS 532691 WITH SCORE 534463.897
AT ITER 7169 NEW BEST:: SOT 1933341 SOS 1772947 HAS SOPS 1764642 HAS SOUS 533872 HAS SOUPS 532641 WITH SCORE 534413.947
AT ITER 7236 NEW BEST:: SOT 1933178 SOS 1772784 HAS SOPS 1764479 HAS SOUS 533861 HAS SOUPS 532630 WITH SCORE 534402.784
AT ITER 7276 NEW BEST:: SOT 1935768 SOS 1775374 HAS SOPS 1767069 HAS SOUS 533456 HAS SOUPS 532225 WITH SCORE 534000.374
AT ITER 7328 NEW BEST:: SOT 1935757 SOS 1775363 HAS SOPS 1767059 HAS SOUS 533455 HAS SOUPS 532225 WITH SCORE 534000.363
AT ITER 7342 NEW BEST:: SOT 1936872 SOS 1776478 HAS SOPS 1768174 HAS SOUS 533345 HAS SOUPS 532115 WITH SCORE 533891.478
AT ITER 7419 NEW BEST:: SOT 1936794 SOS 1776400 HAS SOPS 1768096 HAS SOUS 533267 HAS SOUPS 532037 WITH SCORE 533813.4
AT ITER 7548 NEW BEST:: SOT 1936299 SOS 1775905 HAS SOPS 1767601 HAS SOUS 533267 HAS SOUPS 532037 WITH SCORE 533812.905
AT ITER 7568 NEW BEST:: SOT 1935150 SOS 1774756 HAS SOPS 1766452 HAS SOUS 532884 HAS SOUPS 531654 WITH SCORE 533428.756
AT ITER 7615 NEW BEST:: SOT 1936301 SOS 1775907 HAS SOPS 1767603 HAS SOUS 531287 HAS SOUPS 530057 WITH SCORE 531832.907
AT ITER 7627 NEW BEST:: SOT 1936133 SOS 1775739 HAS SOPS 1767435 HAS SOUS 531119 HAS SOUPS 529889 WITH SCORE 531664.739
AT ITER 7631 NEW BEST:: SOT 1936694 SOS 1776312 HAS SOPS 1768008 HAS SOUS 530837 HAS SOUPS 529607 WITH SCORE 531383.312
AT ITER 7638 NEW BEST:: SOT 1936661 SOS 1776279 HAS SOPS 1767975 HAS SOUS 530804 HAS SOUPS 529574 WITH SCORE 531350.279
AT ITER 7653 NEW BEST:: SOT 1936661 SOS 1776180 HAS SOPS 1767876 HAS SOUS 530804 HAS SOUPS 529574 WITH SCORE 531350.18
AT ITER 7657 NEW BEST:: SOT 1936782 SOS 1776301 HAS SOPS 1767997 HAS SOUS 530645 HAS SOUPS 529415 WITH SCORE 531191.301
AT ITER 7681 NEW BEST:: SOT 1940094 SOS 1779613 HAS SOPS 1771309 HAS SOUS 530579 HAS SOUPS 529349 WITH SCORE 531128.613
AT ITER 7691 NEW BEST:: SOT 1938766 SOS 1778285 HAS SOPS 1769981 HAS SOUS 530579 HAS SOUPS 529349 WITH SCORE 531127.285
AT ITER 7713 NEW BEST:: SOT 1938766 SOS 1778285 HAS SOPS 1769981 HAS SOUS 530578 HAS SOUPS 529348 WITH SCORE 531126.285
AT ITER 7740 NEW BEST:: SOT 1938766 SOS 1778285 HAS SOPS 1769981 HAS SOUS 530495 HAS SOUPS 529265 WITH SCORE 531043.285
AT ITER 7778 NEW BEST:: SOT 1945924 SOS 1785443 HAS SOPS 1777139 HAS SOUS 526434 HAS SOUPS 525204 WITH SCORE 526989.443
AT ITER 7793 NEW BEST:: SOT 1945924 SOS 1782494 HAS SOPS 1774190 HAS SOUS 526201 HAS SOUPS 524971 WITH SCORE 526753.494
AT ITER 7812 NEW BEST:: SOT 1943597 SOS 1780167 HAS SOPS 1771863 HAS SOUS 525269 HAS SOUPS 524039 WITH SCORE 525819.167
AT ITER 7826 NEW BEST:: SOT 1943279 SOS 1779849 HAS SOPS 1771545 HAS SOUS 525147 HAS SOUPS 523917 WITH SCORE 525696.849
AT ITER 7829 NEW BEST:: SOT 1941824 SOS 1778394 HAS SOPS 1770090 HAS SOUS 524662 HAS SOUPS 523432 WITH SCORE 525210.394
AT ITER 7831 NEW BEST:: SOT 1942259 SOS 1778829 HAS SOPS 1770525 HAS SOUS 524146 HAS SOUPS 522916 WITH SCORE 524694.829
AT ITER 7858 NEW BEST:: SOT 1941600 SOS 1778170 HAS SOPS 1769866 HAS SOUS 523040 HAS SOUPS 521810 WITH SCORE 523588.17
AT ITER 7860 NEW BEST:: SOT 1941454 SOS 1778024 HAS SOPS 1769647 HAS SOUS 522785 HAS SOUPS 521555 WITH SCORE 523333.024
AT ITER 7890 NEW BEST:: SOT 1940677 SOS 1777097 HAS SOPS 1768170 HAS SOUS 521780 HAS SOUPS 520550 WITH SCORE 522327.097
AT ITER 7924 NEW BEST:: SOT 1940677 SOS 1777187 HAS SOPS 1768260 HAS SOUS 521758 HAS SOUPS 520528 WITH SCORE 522305.187
AT ITER 8028 NEW BEST:: SOT 1940775 SOS 1777285 HAS SOPS 1768358 HAS SOUS 521474 HAS SOUPS 520244 WITH SCORE 522021.285
AT ITER 8033 NEW BEST:: SOT 1940775 SOS 1777214 HAS SOPS 1768287 HAS SOUS 521474 HAS SOUPS 520244 WITH SCORE 522021.214
AT ITER 8038 NEW BEST:: SOT 1941579 SOS 1778018 HAS SOPS 1768269 HAS SOUS 521452 HAS SOUPS 520222 WITH SCORE 522000.018
AT ITER 8069 NEW BEST:: SOT 1941579 SOS 1777729 HAS SOPS 1767980 HAS SOUS 521452 HAS SOUPS 520222 WITH SCORE 521999.729
AT ITER 8175 NEW BEST:: SOT 1941579 SOS 1777729 HAS SOPS 1767980 HAS SOUS 519886 HAS SOUPS 518656 WITH SCORE 520433.729
AT ITER 8192 NEW BEST:: SOT 1945149 SOS 1781299 HAS SOPS 1771550 HAS SOUS 519865 HAS SOUPS 518635 WITH SCORE 520416.299
AT ITER 8245 NEW BEST:: SOT 1947686 SOS 1783836 HAS SOPS 1774087 HAS SOUS 519701 HAS SOUPS 518471 WITH SCORE 520254.836
AT ITER 8253 NEW BEST:: SOT 1949503 SOS 1785653 HAS SOPS 1775904 HAS SOUS 519320 HAS SOUPS 518090 WITH SCORE 519875.653
AT ITER 8262 NEW BEST:: SOT 1949578 SOS 1785728 HAS SOPS 1775979 HAS SOUS 519299 HAS SOUPS 518069 WITH SCORE 519854.728
AT ITER 8266 NEW BEST:: SOT 1949519 SOS 1785669 HAS SOPS 1775920 HAS SOUS 519181 HAS SOUPS 517951 WITH SCORE 519736.669
AT ITER 8267 NEW BEST:: SOT 1949231 SOS 1785383 HAS SOPS 1775634 HAS SOUS 518605 HAS SOUPS 517375 WITH SCORE 519160.383
AT ITER 8325 NEW BEST:: SOT 1948892 SOS 1785044 HAS SOPS 1775295 HAS SOUS 517902 HAS SOUPS 516672 WITH SCORE 518457.044
AT ITER 8343 NEW BEST:: SOT 1948795 SOS 1784947 HAS SOPS 1775198 HAS SOUS 517708 HAS SOUPS 516478 WITH SCORE 518262.947
AT ITER 8362 NEW BEST:: SOT 1963423 SOS 1799511 HAS SOPS 1789762 HAS SOUS 516363 HAS SOUPS 515133 WITH SCORE 516932.511
AT ITER 8389 NEW BEST:: SOT 1964306 SOS 1800394 HAS SOPS 1790645 HAS SOUS 516299 HAS SOUPS 515069 WITH SCORE 516869.394
AT ITER 8529 NEW BEST:: SOT 1964271 SOS 1800359 HAS SOPS 1790610 HAS SOUS 516114 HAS SOUPS 514884 WITH SCORE 516684.359
AT ITER 8544 NEW BEST:: SOT 1963952 SOS 1800040 HAS SOPS 1790291 HAS SOUS 515900 HAS SOUPS 514670 WITH SCORE 516470.04
AT ITER 8549 NEW BEST:: SOT 1964055 SOS 1800132 HAS SOPS 1790383 HAS SOUS 515774 HAS SOUPS 514544 WITH SCORE 516344.132
AT ITER 8577 NEW BEST:: SOT 1963853 SOS 1799930 HAS SOPS 1790181 HAS SOUS 515370 HAS SOUPS 514140 WITH SCORE 515939.93
AT ITER 8624 NEW BEST:: SOT 1963753 SOS 1799830 HAS SOPS 1790081 HAS SOUS 515270 HAS SOUPS 514040 WITH SCORE 515839.83
AT ITER 8626 NEW BEST:: SOT 1963753 SOS 1799810 HAS SOPS 1790061 HAS SOUS 515230 HAS SOUPS 514000 WITH SCORE 515799.81
AT ITER 8654 NEW BEST:: SOT 1963707 SOS 1799764 HAS SOPS 1790015 HAS SOUS 515138 HAS SOUPS 513908 WITH SCORE 515707.764
AT ITER 8694 NEW BEST:: SOT 1961611 SOS 1797668 HAS SOPS 1787919 HAS SOUS 514282 HAS SOUPS 513052 WITH SCORE 514849.668
AT ITER 8695 NEW BEST:: SOT 1961510 SOS 1797567 HAS SOPS 1787818 HAS SOUS 513979 HAS SOUPS 512749 WITH SCORE 514546.567
AT ITER 8774 NEW BEST:: SOT 1961772 SOS 1797829 HAS SOPS 1788080 HAS SOUS 513860 HAS SOUPS 512630 WITH SCORE 514427.829
AT ITER 8821 NEW BEST:: SOT 1961497 SOS 1797554 HAS SOPS 1787805 HAS SOUS 513310 HAS SOUPS 512080 WITH SCORE 513877.554
AT ITER 8834 NEW BEST:: SOT 1961194 SOS 1797251 HAS SOPS 1787502 HAS SOUS 513044 HAS SOUPS 511814 WITH SCORE 513611.251
AT ITER 8871 NEW BEST:: SOT 1961205 SOS 1797262 HAS SOPS 1787513 HAS SOUS 513003 HAS SOUPS 511773 WITH SCORE 513570.262
AT ITER 8877 NEW BEST:: SOT 1962158 SOS 1798215 HAS SOPS 1788466 HAS SOUS 512952 HAS SOUPS 511722 WITH SCORE 513520.215
AT ITER 8974 NEW BEST:: SOT 1970870 SOS 1806937 HAS SOPS 1797188 HAS SOUS 509938 HAS SOUPS 508708 WITH SCORE 510514.937
AT ITER 8978 NEW BEST:: SOT 1968074 SOS 1804141 HAS SOPS 1794392 HAS SOUS 509006 HAS SOUPS 507776 WITH SCORE 509580.141
AT ITER 9049 NEW BEST:: SOT 1968003 SOS 1804070 HAS SOPS 1794321 HAS SOUS 508979 HAS SOUPS 507749 WITH SCORE 509553.07
AT ITER 9145 NEW BEST:: SOT 1970383 SOS 1806380 HAS SOPS 1796631 HAS SOUS 506453 HAS SOUPS 505223 WITH SCORE 507029.38
AT ITER 9147 NEW BEST:: SOT 1969527 SOS 1805524 HAS SOPS 1795775 HAS SOUS 506453 HAS SOUPS 505223 WITH SCORE 507028.524
AT ITER 9186 NEW BEST:: SOT 1970898 SOS 1806791 HAS SOPS 1797042 HAS SOUS 506232 HAS SOUPS 505002 WITH SCORE 506808.791
AT ITER 9215 NEW BEST:: SOT 1970898 SOS 1806909 HAS SOPS 1797160 HAS SOUS 505878 HAS SOUPS 504648 WITH SCORE 506454.909
AT ITER 9240 NEW BEST:: SOT 1964779 SOS 1800790 HAS SOPS 1791041 HAS SOUS 505667 HAS SOUPS 504437 WITH SCORE 506237.79
AT ITER 9315 NEW BEST:: SOT 1967340 SOS 1803351 HAS SOPS 1793602 HAS SOUS 504313 HAS SOUPS 503083 WITH SCORE 504886.351
AT ITER 9321 NEW BEST:: SOT 1966808 SOS 1802819 HAS SOPS 1793070 HAS SOUS 504047 HAS SOUPS 502817 WITH SCORE 504619.819
AT ITER 9338 NEW BEST:: SOT 1966651 SOS 1802662 HAS SOPS 1792913 HAS SOUS 503733 HAS SOUPS 502503 WITH SCORE 504305.662
AT ITER 9364 NEW BEST:: SOT 1966411 SOS 1802422 HAS SOPS 1792673 HAS SOUS 503573 HAS SOUPS 502343 WITH SCORE 504145.422
AT ITER 9366 NEW BEST:: SOT 1966600 SOS 1802574 HAS SOPS 1792825 HAS SOUS 502969 HAS SOUPS 501739 WITH SCORE 503541.574
AT ITER 9393 NEW BEST:: SOT 1966237 SOS 1802211 HAS SOPS 1792462 HAS SOUS 502243 HAS SOUPS 501013 WITH SCORE 502815.211
AT ITER 9395 NEW BEST:: SOT 1966296 SOS 1802270 HAS SOPS 1792521 HAS SOUS 501742 HAS SOUPS 500512 WITH SCORE 502314.27
AT ITER 9436 NEW BEST:: SOT 1963626 SOS 1799600 HAS SOPS 1789851 HAS SOUS 500846 HAS SOUPS 499616 WITH SCORE 501415.6
AT ITER 9439 NEW BEST:: SOT 1965112 SOS 1801086 HAS SOPS 1791337 HAS SOUS 500507 HAS SOUPS 499277 WITH SCORE 501078.086
AT ITER 9484 NEW BEST:: SOT 1963758 SOS 1799732 HAS SOPS 1789983 HAS SOUS 500019 HAS SOUPS 498789 WITH SCORE 500588.732
AT ITER 9538 NEW BEST:: SOT 1963758 SOS 1799732 HAS SOPS 1789983 HAS SOUS 499967 HAS SOUPS 498737 WITH SCORE 500536.732
AT ITER 9552 NEW BEST:: SOT 1963758 SOS 1799744 HAS SOPS 1789995 HAS SOUS 499856 HAS SOUPS 498626 WITH SCORE 500425.744
AT ITER 9557 NEW BEST:: SOT 1963641 SOS 1799584 HAS SOPS 1789835 HAS SOUS 499487 HAS SOUPS 498257 WITH SCORE 500056.584
AT ITER 9644 NEW BEST:: SOT 1976941 SOS 1812884 HAS SOPS 1803135 HAS SOUS 499110 HAS SOUPS 497880 WITH SCORE 499692.884
AT ITER 9655 NEW BEST:: SOT 1976831 SOS 1812774 HAS SOPS 1803025 HAS SOUS 498644 HAS SOUPS 497414 WITH SCORE 499226.774
AT ITER 9729 NEW BEST:: SOT 1976831 SOS 1812774 HAS SOPS 1803025 HAS SOUS 498499 HAS SOUPS 497269 WITH SCORE 499081.774
AT ITER 9794 NEW BEST:: SOT 1976831 SOS 1812774 HAS SOPS 1803025 HAS SOUS 498497 HAS SOUPS 497267 WITH SCORE 499079.774
AT ITER 9815 NEW BEST:: SOT 1970564 SOS 1806507 HAS SOPS 1796758 HAS SOUS 491860 HAS SOUPS 490630 WITH SCORE 492436.507
AT ITER 9839 NEW BEST:: SOT 1970564 SOS 1805327 HAS SOPS 1795578 HAS SOUS 491702 HAS SOUPS 490472 WITH SCORE 492277.327
AT ITER 9846 NEW BEST:: SOT 1970170 SOS 1804933 HAS SOPS 1795184 HAS SOUS 490914 HAS SOUPS 489684 WITH SCORE 491488.933
AT ITER 9848 NEW BEST:: SOT 1970170 SOS 1792400 HAS SOPS 1782651 HAS SOUS 490773 HAS SOUPS 489543 WITH SCORE 491335.4
AT ITER 9852 NEW BEST:: SOT 1974264 SOS 1796489 HAS SOPS 1786740 HAS SOUS 490153 HAS SOUPS 488923 WITH SCORE 490719.489
AT ITER 9907 NEW BEST:: SOT 1974244 SOS 1796343 HAS SOPS 1783755 HAS SOUS 489690 HAS SOUPS 488460 WITH SCORE 490256.343
AT ITER 9921 NEW BEST:: SOT 1974207 SOS 1796306 HAS SOPS 1783718 HAS SOUS 489616 HAS SOUPS 488386 WITH SCORE 490182.306
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13409552 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121132 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-d2m10"
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-d2m10, 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-167814484100344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m10.tgz
mv DBSingleClientW-PT-d2m10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;