About the Execution of Smart for DBSingleClientW-PT-d2m05
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5357.371 | 3600000.00 | 3600121.00 | 0.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.r099-tall-167814472200304.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DBSingleClientW-PT-d2m05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200304
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 15:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678237179722
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d2m05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 4763 places, 2478 transitions, 9912 arcs.
AT ITER 0 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041650 HAS SOUPS 2041626 WITH SCORE 2044471.673
AT ITER 7 NEW BEST:: SOT 2906874 SOS 2846553 HAS SOPS 2846529 HAS SOUS 2038762 HAS SOUPS 2038738 WITH SCORE 2041584.553
AT ITER 28 NEW BEST:: SOT 2906874 SOS 2846553 HAS SOPS 2846529 HAS SOUS 2038604 HAS SOUPS 2038580 WITH SCORE 2041426.553
AT ITER 33 NEW BEST:: SOT 2906874 SOS 2846553 HAS SOPS 2846529 HAS SOUS 2038428 HAS SOUPS 2038404 WITH SCORE 2041250.553
AT ITER 35 NEW BEST:: SOT 2909574 SOS 2849253 HAS SOPS 2849229 HAS SOUS 2036179 HAS SOUPS 2036155 WITH SCORE 2039004.253
AT ITER 76 NEW BEST:: SOT 2911058 SOS 2850737 HAS SOPS 2850713 HAS SOUS 2034601 HAS SOUPS 2034577 WITH SCORE 2037427.737
AT ITER 100 NEW BEST:: SOT 2911178 SOS 2850857 HAS SOPS 2850833 HAS SOUS 2034598 HAS SOUPS 2034574 WITH SCORE 2037424.857
AT ITER 116 NEW BEST:: SOT 2911402 SOS 2851081 HAS SOPS 2851057 HAS SOUS 2034398 HAS SOUPS 2034374 WITH SCORE 2037225.081
AT ITER 195 NEW BEST:: SOT 2912821 SOS 2852500 HAS SOPS 2852476 HAS SOUS 2034391 HAS SOUPS 2034367 WITH SCORE 2037219.5
AT ITER 201 NEW BEST:: SOT 2912875 SOS 2852554 HAS SOPS 2852530 HAS SOUS 2033735 HAS SOUPS 2033711 WITH SCORE 2036563.554
AT ITER 240 NEW BEST:: SOT 2914485 SOS 2854164 HAS SOPS 2854140 HAS SOUS 2033713 HAS SOUPS 2033689 WITH SCORE 2036543.164
AT ITER 243 NEW BEST:: SOT 2914485 SOS 2854164 HAS SOPS 2854140 HAS SOUS 2033656 HAS SOUPS 2033632 WITH SCORE 2036486.164
AT ITER 251 NEW BEST:: SOT 2915289 SOS 2853375 HAS SOPS 2853351 HAS SOUS 2033423 HAS SOUPS 2033399 WITH SCORE 2036252.375
AT ITER 266 NEW BEST:: SOT 2915289 SOS 2853375 HAS SOPS 2853351 HAS SOUS 2032702 HAS SOUPS 2032678 WITH SCORE 2035531.375
AT ITER 275 NEW BEST:: SOT 2921713 SOS 2859694 HAS SOPS 2859670 HAS SOUS 2027691 HAS SOUPS 2027667 WITH SCORE 2030526.694
AT ITER 313 NEW BEST:: SOT 2921727 SOS 2859708 HAS SOPS 2859684 HAS SOUS 2027153 HAS SOUPS 2027129 WITH SCORE 2029988.708
AT ITER 339 NEW BEST:: SOT 2921727 SOS 2859708 HAS SOPS 2859684 HAS SOUS 2024894 HAS SOUPS 2024870 WITH SCORE 2027729.708
AT ITER 343 NEW BEST:: SOT 2921727 SOS 2859708 HAS SOPS 2859684 HAS SOUS 2024751 HAS SOUPS 2024727 WITH SCORE 2027586.708
AT ITER 352 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2024719 HAS SOUPS 2024695 WITH SCORE 2027557.942
AT ITER 368 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2024196 HAS SOUPS 2024172 WITH SCORE 2027034.942
AT ITER 369 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2023814 HAS SOUPS 2023790 WITH SCORE 2026652.942
AT ITER 383 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2023407 HAS SOUPS 2023383 WITH SCORE 2026245.942
AT ITER 402 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2023195 HAS SOUPS 2023171 WITH SCORE 2026033.942
AT ITER 443 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2023146 HAS SOUPS 2023122 WITH SCORE 2025984.942
AT ITER 444 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2022914 HAS SOUPS 2022890 WITH SCORE 2025752.942
AT ITER 486 NEW BEST:: SOT 2924961 SOS 2862942 HAS SOPS 2862918 HAS SOUS 2022506 HAS SOUPS 2022482 WITH SCORE 2025344.942
AT ITER 509 NEW BEST:: SOT 2927027 SOS 2865008 HAS SOPS 2864984 HAS SOUS 2021970 HAS SOUPS 2021946 WITH SCORE 2024811.008
AT ITER 513 NEW BEST:: SOT 2927027 SOS 2865008 HAS SOPS 2864984 HAS SOUS 2021943 HAS SOUPS 2021919 WITH SCORE 2024784.008
AT ITER 540 NEW BEST:: SOT 2927027 SOS 2862590 HAS SOPS 2862566 HAS SOUS 2021584 HAS SOUPS 2021560 WITH SCORE 2024422.59
AT ITER 544 NEW BEST:: SOT 2927027 SOS 2862590 HAS SOPS 2862566 HAS SOUS 2021583 HAS SOUPS 2021559 WITH SCORE 2024421.59
AT ITER 564 NEW BEST:: SOT 2927051 SOS 2862614 HAS SOPS 2862590 HAS SOUS 2020257 HAS SOUPS 2020233 WITH SCORE 2023095.614
AT ITER 565 NEW BEST:: SOT 2927051 SOS 2862614 HAS SOPS 2862590 HAS SOUS 2019431 HAS SOUPS 2019407 WITH SCORE 2022269.614
AT ITER 608 NEW BEST:: SOT 2927051 SOS 2862614 HAS SOPS 2862590 HAS SOUS 2019310 HAS SOUPS 2019286 WITH SCORE 2022148.614
AT ITER 610 NEW BEST:: SOT 2927051 SOS 2862614 HAS SOPS 2862590 HAS SOUS 2018787 HAS SOUPS 2018763 WITH SCORE 2021625.614
AT ITER 619 NEW BEST:: SOT 2934674 SOS 2870237 HAS SOPS 2870213 HAS SOUS 2009384 HAS SOUPS 2009360 WITH SCORE 2012230.237
AT ITER 623 NEW BEST:: SOT 2935086 SOS 2870649 HAS SOPS 2870625 HAS SOUS 2008834 HAS SOUPS 2008810 WITH SCORE 2011680.649
AT ITER 649 NEW BEST:: SOT 2936822 SOS 2872385 HAS SOPS 2872361 HAS SOUS 2008139 HAS SOUPS 2008115 WITH SCORE 2010987.385
AT ITER 681 NEW BEST:: SOT 2936822 SOS 2855427 HAS SOPS 2855403 HAS SOUS 2008139 HAS SOUPS 2008115 WITH SCORE 2010970.427
AT ITER 741 NEW BEST:: SOT 2936822 SOS 2855427 HAS SOPS 2855403 HAS SOUS 2008023 HAS SOUPS 2007999 WITH SCORE 2010854.427
AT ITER 745 NEW BEST:: SOT 2938847 SOS 2857452 HAS SOPS 2857428 HAS SOUS 2007117 HAS SOUPS 2007093 WITH SCORE 2009950.452
AT ITER 782 NEW BEST:: SOT 2943395 SOS 2862000 HAS SOPS 2861976 HAS SOUS 2006409 HAS SOUPS 2006385 WITH SCORE 2009247.0
AT ITER 792 NEW BEST:: SOT 2943395 SOS 2862000 HAS SOPS 2861976 HAS SOUS 2005835 HAS SOUPS 2005811 WITH SCORE 2008673.0
AT ITER 806 NEW BEST:: SOT 2943825 SOS 2862430 HAS SOPS 2862406 HAS SOUS 2005291 HAS SOUPS 2005267 WITH SCORE 2008129.43
AT ITER 875 NEW BEST:: SOT 2947242 SOS 2865847 HAS SOPS 2865823 HAS SOUS 2003237 HAS SOUPS 2003213 WITH SCORE 2006078.847
AT ITER 897 NEW BEST:: SOT 2948442 SOS 2867047 HAS SOPS 2867023 HAS SOUS 2002613 HAS SOUPS 2002589 WITH SCORE 2005456.047
AT ITER 909 NEW BEST:: SOT 2948442 SOS 2867047 HAS SOPS 2867023 HAS SOUS 2002254 HAS SOUPS 2002230 WITH SCORE 2005097.047
AT ITER 948 NEW BEST:: SOT 2942986 SOS 2861591 HAS SOPS 2861567 HAS SOUS 2001758 HAS SOUPS 2001734 WITH SCORE 2004595.591
AT ITER 961 NEW BEST:: SOT 2943346 SOS 2861951 HAS SOPS 2861927 HAS SOUS 2001696 HAS SOUPS 2001672 WITH SCORE 2004533.951
AT ITER 974 NEW BEST:: SOT 2947714 SOS 2866319 HAS SOPS 2866295 HAS SOUS 2000907 HAS SOUPS 2000883 WITH SCORE 2003749.319
AT ITER 990 NEW BEST:: SOT 2949658 SOS 2867988 HAS SOPS 2867964 HAS SOUS 1990163 HAS SOUPS 1990139 WITH SCORE 1993006.988
AT ITER 1010 NEW BEST:: SOT 2955203 SOS 2873533 HAS SOPS 2873509 HAS SOUS 1986599 HAS SOUPS 1986575 WITH SCORE 1989448.533
AT ITER 1022 NEW BEST:: SOT 2956046 SOS 2874376 HAS SOPS 2874352 HAS SOUS 1985786 HAS SOUPS 1985762 WITH SCORE 1988636.376
AT ITER 1025 NEW BEST:: SOT 2965131 SOS 2883461 HAS SOPS 2883437 HAS SOUS 1985716 HAS SOUPS 1985692 WITH SCORE 1988575.461
AT ITER 1042 NEW BEST:: SOT 2965131 SOS 2883461 HAS SOPS 2883437 HAS SOUS 1985715 HAS SOUPS 1985691 WITH SCORE 1988574.461
AT ITER 1054 NEW BEST:: SOT 2965299 SOS 2883629 HAS SOPS 2883605 HAS SOUS 1984215 HAS SOUPS 1984191 WITH SCORE 1987074.629
AT ITER 1057 NEW BEST:: SOT 2965609 SOS 2883939 HAS SOPS 2883915 HAS SOUS 1983996 HAS SOUPS 1983972 WITH SCORE 1986855.939
AT ITER 1067 NEW BEST:: SOT 2965805 SOS 2884135 HAS SOPS 2884111 HAS SOUS 1983827 HAS SOUPS 1983803 WITH SCORE 1986687.135
AT ITER 1075 NEW BEST:: SOT 2968265 SOS 2886595 HAS SOPS 2886571 HAS SOUS 1982676 HAS SOUPS 1982652 WITH SCORE 1985538.595
AT ITER 1078 NEW BEST:: SOT 2969498 SOS 2887828 HAS SOPS 2887804 HAS SOUS 1981443 HAS SOUPS 1981419 WITH SCORE 1984306.828
AT ITER 1083 NEW BEST:: SOT 2969498 SOS 2887828 HAS SOPS 2887804 HAS SOUS 1980742 HAS SOUPS 1980718 WITH SCORE 1983605.828
AT ITER 1119 NEW BEST:: SOT 2977118 SOS 2895448 HAS SOPS 2895424 HAS SOUS 1977597 HAS SOUPS 1977573 WITH SCORE 1980468.448
AT ITER 1124 NEW BEST:: SOT 2977118 SOS 2893863 HAS SOPS 2893839 HAS SOUS 1970024 HAS SOUPS 1970000 WITH SCORE 1972893.863
AT ITER 1195 NEW BEST:: SOT 2977391 SOS 2894136 HAS SOPS 2894112 HAS SOUS 1967234 HAS SOUPS 1967210 WITH SCORE 1970104.136
AT ITER 1208 NEW BEST:: SOT 2979101 SOS 2895846 HAS SOPS 2895822 HAS SOUS 1965732 HAS SOUPS 1965708 WITH SCORE 1968603.846
AT ITER 1216 NEW BEST:: SOT 2990046 SOS 2906791 HAS SOPS 2906767 HAS SOUS 1958641 HAS SOUPS 1958617 WITH SCORE 1961523.791
AT ITER 1228 NEW BEST:: SOT 2995818 SOS 2912563 HAS SOPS 2912539 HAS SOUS 1958552 HAS SOUPS 1958528 WITH SCORE 1961440.563
AT ITER 1233 NEW BEST:: SOT 2995818 SOS 2912563 HAS SOPS 2912539 HAS SOUS 1958286 HAS SOUPS 1958262 WITH SCORE 1961174.563
AT ITER 1235 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1957991 HAS SOUPS 1957967 WITH SCORE 1960891.178
AT ITER 1242 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1956733 HAS SOUPS 1956709 WITH SCORE 1959633.178
AT ITER 1274 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1956325 HAS SOUPS 1956301 WITH SCORE 1959225.178
AT ITER 1300 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1948810 HAS SOUPS 1948786 WITH SCORE 1951710.178
AT ITER 1329 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1946614 HAS SOUPS 1946590 WITH SCORE 1949514.178
AT ITER 1375 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1946556 HAS SOUPS 1946532 WITH SCORE 1949456.178
AT ITER 1401 NEW BEST:: SOT 3007433 SOS 2924178 HAS SOPS 2924154 HAS SOUS 1945583 HAS SOUPS 1945559 WITH SCORE 1948483.178
AT ITER 1407 NEW BEST:: SOT 3007433 SOS 2924317 HAS SOPS 2924293 HAS SOUS 1937823 HAS SOUPS 1937799 WITH SCORE 1940723.317
AT ITER 1424 NEW BEST:: SOT 3015568 SOS 2932452 HAS SOPS 2932428 HAS SOUS 1937683 HAS SOUPS 1937659 WITH SCORE 1940591.452
AT ITER 1447 NEW BEST:: SOT 3017257 SOS 2934141 HAS SOPS 2934117 HAS SOUS 1937504 HAS SOUPS 1937480 WITH SCORE 1940414.141
AT ITER 1475 NEW BEST:: SOT 3017257 SOS 2934255 HAS SOPS 2934231 HAS SOUS 1935748 HAS SOUPS 1935724 WITH SCORE 1938658.255
AT ITER 1482 NEW BEST:: SOT 3020705 SOS 2937703 HAS SOPS 2937679 HAS SOUS 1935323 HAS SOUPS 1935299 WITH SCORE 1938236.703
AT ITER 1499 NEW BEST:: SOT 3022270 SOS 2939268 HAS SOPS 2939244 HAS SOUS 1934184 HAS SOUPS 1934160 WITH SCORE 1937099.268
AT ITER 1523 NEW BEST:: SOT 3024664 SOS 2941662 HAS SOPS 2941638 HAS SOUS 1933439 HAS SOUPS 1933415 WITH SCORE 1936356.662
AT ITER 1525 NEW BEST:: SOT 3024664 SOS 2941662 HAS SOPS 2941638 HAS SOUS 1933185 HAS SOUPS 1933161 WITH SCORE 1936102.662
AT ITER 1540 NEW BEST:: SOT 3024664 SOS 2941662 HAS SOPS 2941638 HAS SOUS 1932931 HAS SOUPS 1932907 WITH SCORE 1935848.662
AT ITER 1541 NEW BEST:: SOT 3029204 SOS 2946160 HAS SOPS 2946136 HAS SOUS 1928655 HAS SOUPS 1928631 WITH SCORE 1931577.16
AT ITER 1547 NEW BEST:: SOT 3019854 SOS 2936810 HAS SOPS 2936786 HAS SOUS 1924761 HAS SOUPS 1924737 WITH SCORE 1927673.81
AT ITER 1548 NEW BEST:: SOT 3019854 SOS 2936810 HAS SOPS 2936786 HAS SOUS 1923861 HAS SOUPS 1923837 WITH SCORE 1926773.81
AT ITER 1550 NEW BEST:: SOT 3022862 SOS 2939818 HAS SOPS 2939794 HAS SOUS 1922392 HAS SOUPS 1922368 WITH SCORE 1925307.818
AT ITER 1573 NEW BEST:: SOT 3036359 SOS 2952549 HAS SOPS 2952525 HAS SOUS 1914373 HAS SOUPS 1914349 WITH SCORE 1917301.549
AT ITER 1606 NEW BEST:: SOT 3052980 SOS 2969170 HAS SOPS 2969146 HAS SOUS 1907628 HAS SOUPS 1907604 WITH SCORE 1910573.17
AT ITER 1640 NEW BEST:: SOT 3052980 SOS 2969170 HAS SOPS 2969146 HAS SOUS 1905263 HAS SOUPS 1905239 WITH SCORE 1908208.17
AT ITER 1652 NEW BEST:: SOT 3053031 SOS 2969221 HAS SOPS 2969197 HAS SOUS 1903964 HAS SOUPS 1903940 WITH SCORE 1906909.221
AT ITER 1653 NEW BEST:: SOT 3058555 SOS 2974745 HAS SOPS 2974721 HAS SOUS 1900008 HAS SOUPS 1899984 WITH SCORE 1902958.745
AT ITER 1691 NEW BEST:: SOT 3058555 SOS 2974745 HAS SOPS 2974721 HAS SOUS 1898617 HAS SOUPS 1898593 WITH SCORE 1901567.745
AT ITER 1701 NEW BEST:: SOT 3058555 SOS 2974768 HAS SOPS 2974744 HAS SOUS 1898351 HAS SOUPS 1898327 WITH SCORE 1901301.768
AT ITER 1709 NEW BEST:: SOT 3058555 SOS 2974768 HAS SOPS 2974744 HAS SOUS 1892649 HAS SOUPS 1892625 WITH SCORE 1895599.768
AT ITER 1712 NEW BEST:: SOT 3058555 SOS 2974768 HAS SOPS 2974744 HAS SOUS 1886059 HAS SOUPS 1886035 WITH SCORE 1889009.768
AT ITER 1719 NEW BEST:: SOT 3058555 SOS 2974768 HAS SOPS 2974744 HAS SOUS 1885286 HAS SOUPS 1885262 WITH SCORE 1888236.768
AT ITER 1728 NEW BEST:: SOT 3058555 SOS 2974491 HAS SOPS 2974467 HAS SOUS 1880791 HAS SOUPS 1880767 WITH SCORE 1883741.491
AT ITER 1735 NEW BEST:: SOT 3062475 SOS 2978411 HAS SOPS 2978387 HAS SOUS 1879999 HAS SOUPS 1879975 WITH SCORE 1882953.411
AT ITER 1745 NEW BEST:: SOT 3063372 SOS 2979308 HAS SOPS 2979284 HAS SOUS 1879653 HAS SOUPS 1879629 WITH SCORE 1882608.308
AT ITER 1756 NEW BEST:: SOT 3065979 SOS 2981915 HAS SOPS 2981891 HAS SOUS 1878464 HAS SOUPS 1878440 WITH SCORE 1881421.915
AT ITER 1760 NEW BEST:: SOT 3066964 SOS 2982857 HAS SOPS 2982833 HAS SOUS 1873704 HAS SOUPS 1873680 WITH SCORE 1876662.857
AT ITER 1781 NEW BEST:: SOT 3068848 SOS 2984741 HAS SOPS 2984717 HAS SOUS 1872692 HAS SOUPS 1872668 WITH SCORE 1875652.741
AT ITER 1805 NEW BEST:: SOT 3068848 SOS 2984741 HAS SOPS 2984717 HAS SOUS 1864471 HAS SOUPS 1864447 WITH SCORE 1867431.741
AT ITER 1817 NEW BEST:: SOT 2547276 SOS 2463693 HAS SOPS 2463145 HAS SOUS 1343166 HAS SOUPS 1342875 WITH SCORE 1345338.693
AT ITER 1834 NEW BEST:: SOT 2547072 SOS 2463489 HAS SOPS 2462941 HAS SOUS 1343097 HAS SOUPS 1342806 WITH SCORE 1345269.489
AT ITER 1867 NEW BEST:: SOT 2546880 SOS 2463297 HAS SOPS 2462749 HAS SOUS 1342844 HAS SOUPS 1342553 WITH SCORE 1345016.297
AT ITER 1875 NEW BEST:: SOT 2546880 SOS 2462425 HAS SOPS 2461877 HAS SOUS 1338509 HAS SOUPS 1338218 WITH SCORE 1340680.425
AT ITER 1907 NEW BEST:: SOT 2565481 SOS 2481026 HAS SOPS 2480478 HAS SOUS 1331749 HAS SOUPS 1331458 WITH SCORE 1333939.026
AT ITER 1995 NEW BEST:: SOT 2565481 SOS 2479728 HAS SOPS 2479180 HAS SOUS 1325907 HAS SOUPS 1325616 WITH SCORE 1328095.728
AT ITER 1999 NEW BEST:: SOT 2565611 SOS 2479858 HAS SOPS 2479310 HAS SOUS 1325614 HAS SOUPS 1325323 WITH SCORE 1327802.858
AT ITER 2001 NEW BEST:: SOT 2566859 SOS 2481106 HAS SOPS 2480558 HAS SOUS 1324488 HAS SOUPS 1324197 WITH SCORE 1326678.106
AT ITER 2010 NEW BEST:: SOT 2566859 SOS 2481106 HAS SOPS 2480558 HAS SOUS 1324299 HAS SOUPS 1324008 WITH SCORE 1326489.106
AT ITER 2123 NEW BEST:: SOT 2566859 SOS 2481106 HAS SOPS 2480558 HAS SOUS 1324288 HAS SOUPS 1323997 WITH SCORE 1326478.106
AT ITER 2132 NEW BEST:: SOT 2578266 SOS 2492513 HAS SOPS 2491965 HAS SOUS 1316879 HAS SOUPS 1316588 WITH SCORE 1319080.513
AT ITER 2158 NEW BEST:: SOT 2589066 SOS 2503313 HAS SOPS 2502765 HAS SOUS 1311209 HAS SOUPS 1310918 WITH SCORE 1313421.313
AT ITER 2161 NEW BEST:: SOT 2593906 SOS 2508153 HAS SOPS 2507605 HAS SOUS 1308643 HAS SOUPS 1308352 WITH SCORE 1310860.153
AT ITER 2199 NEW BEST:: SOT 2598262 SOS 2512509 HAS SOPS 2511961 HAS SOUS 1308564 HAS SOUPS 1308273 WITH SCORE 1310785.509
AT ITER 2259 NEW BEST:: SOT 2598262 SOS 2512509 HAS SOPS 2511961 HAS SOUS 1307370 HAS SOUPS 1307079 WITH SCORE 1309591.509
AT ITER 2264 NEW BEST:: SOT 2617215 SOS 2530690 HAS SOPS 2530142 HAS SOUS 1300201 HAS SOUPS 1299910 WITH SCORE 1302440.69
AT ITER 2309 NEW BEST:: SOT 2617215 SOS 2530690 HAS SOPS 2530142 HAS SOUS 1300200 HAS SOUPS 1299909 WITH SCORE 1302439.69
AT ITER 2317 NEW BEST:: SOT 2617215 SOS 2530690 HAS SOPS 2530142 HAS SOUS 1299991 HAS SOUPS 1299700 WITH SCORE 1302230.69
AT ITER 2331 NEW BEST:: SOT 2617214 SOS 2530689 HAS SOPS 2530141 HAS SOUS 1299974 HAS SOUPS 1299683 WITH SCORE 1302213.689
AT ITER 2368 NEW BEST:: SOT 2617339 SOS 2530243 HAS SOPS 2529695 HAS SOUS 1299967 HAS SOUPS 1299676 WITH SCORE 1302206.243
AT ITER 2416 NEW BEST:: SOT 2617339 SOS 2530243 HAS SOPS 2529695 HAS SOUS 1299605 HAS SOUPS 1299314 WITH SCORE 1301844.243
AT ITER 2424 NEW BEST:: SOT 2617299 SOS 2530203 HAS SOPS 2529655 HAS SOUS 1299594 HAS SOUPS 1299303 WITH SCORE 1301833.203
AT ITER 2427 NEW BEST:: SOT 2617299 SOS 2530203 HAS SOPS 2529655 HAS SOUS 1299502 HAS SOUPS 1299211 WITH SCORE 1301741.203
AT ITER 2442 NEW BEST:: SOT 2617444 SOS 2530348 HAS SOPS 2529800 HAS SOUS 1299476 HAS SOUPS 1299185 WITH SCORE 1301715.348
AT ITER 2448 NEW BEST:: SOT 2625056 SOS 2537960 HAS SOPS 2537412 HAS SOUS 1298318 HAS SOUPS 1298027 WITH SCORE 1300564.96
AT ITER 2459 NEW BEST:: SOT 2625056 SOS 2537960 HAS SOPS 2537412 HAS SOUS 1297872 HAS SOUPS 1297581 WITH SCORE 1300118.96
AT ITER 2480 NEW BEST:: SOT 2625182 SOS 2538086 HAS SOPS 2537538 HAS SOUS 1295533 HAS SOUPS 1295242 WITH SCORE 1297780.086
AT ITER 2490 NEW BEST:: SOT 2625182 SOS 2537168 HAS SOPS 2536620 HAS SOUS 1295533 HAS SOUPS 1295242 WITH SCORE 1297779.168
AT ITER 2524 NEW BEST:: SOT 2625182 SOS 2537168 HAS SOPS 2536620 HAS SOUS 1295378 HAS SOUPS 1295087 WITH SCORE 1297624.168
AT ITER 2532 NEW BEST:: SOT 2624909 SOS 2536895 HAS SOPS 2536347 HAS SOUS 1294807 HAS SOUPS 1294516 WITH SCORE 1297052.895
AT ITER 2563 NEW BEST:: SOT 2625232 SOS 2537218 HAS SOPS 2536670 HAS SOUS 1294705 HAS SOUPS 1294414 WITH SCORE 1296951.218
AT ITER 2577 NEW BEST:: SOT 2625654 SOS 2537185 HAS SOPS 2536637 HAS SOUS 1293452 HAS SOUPS 1293161 WITH SCORE 1295698.185
AT ITER 2588 NEW BEST:: SOT 2625654 SOS 2537185 HAS SOPS 2536637 HAS SOUS 1293246 HAS SOUPS 1292955 WITH SCORE 1295492.185
AT ITER 2595 NEW BEST:: SOT 2625643 SOS 2537174 HAS SOPS 2536626 HAS SOUS 1293235 HAS SOUPS 1292944 WITH SCORE 1295481.174
AT ITER 2634 NEW BEST:: SOT 2626133 SOS 2537664 HAS SOPS 2537116 HAS SOUS 1293078 HAS SOUPS 1292787 WITH SCORE 1295324.664
AT ITER 2642 NEW BEST:: SOT 2626133 SOS 2537664 HAS SOPS 2537116 HAS SOUS 1292931 HAS SOUPS 1292640 WITH SCORE 1295177.664
AT ITER 2667 NEW BEST:: SOT 2624063 SOS 2535594 HAS SOPS 2535046 HAS SOUS 1292330 HAS SOUPS 1292039 WITH SCORE 1294574.594
AT ITER 2692 NEW BEST:: SOT 2624063 SOS 2535594 HAS SOPS 2535046 HAS SOUS 1292253 HAS SOUPS 1291962 WITH SCORE 1294497.594
AT ITER 2694 NEW BEST:: SOT 2629157 SOS 2539101 HAS SOPS 2538553 HAS SOUS 1284804 HAS SOUPS 1284513 WITH SCORE 1287052.101
AT ITER 2699 NEW BEST:: SOT 2629445 SOS 2539389 HAS SOPS 2538841 HAS SOUS 1282200 HAS SOUPS 1281909 WITH SCORE 1284448.389
AT ITER 2735 NEW BEST:: SOT 2629272 SOS 2539216 HAS SOPS 2538668 HAS SOUS 1281815 HAS SOUPS 1281524 WITH SCORE 1284063.216
AT ITER 2786 NEW BEST:: SOT 2629272 SOS 2539216 HAS SOPS 2538668 HAS SOUS 1279682 HAS SOUPS 1279391 WITH SCORE 1281930.216
AT ITER 2839 NEW BEST:: SOT 2627897 SOS 2537841 HAS SOPS 2537293 HAS SOUS 1279407 HAS SOUPS 1279116 WITH SCORE 1281653.841
AT ITER 2850 NEW BEST:: SOT 2628125 SOS 2538069 HAS SOPS 2537521 HAS SOUS 1278674 HAS SOUPS 1278383 WITH SCORE 1280921.069
AT ITER 2884 NEW BEST:: SOT 2628080 SOS 2538024 HAS SOPS 2537476 HAS SOUS 1278647 HAS SOUPS 1278356 WITH SCORE 1280894.024
AT ITER 2901 NEW BEST:: SOT 2628080 SOS 2538024 HAS SOPS 2537476 HAS SOUS 1278550 HAS SOUPS 1278259 WITH SCORE 1280797.024
AT ITER 2919 NEW BEST:: SOT 2628080 SOS 2538024 HAS SOPS 2537476 HAS SOUS 1277446 HAS SOUPS 1277155 WITH SCORE 1279693.024
AT ITER 2933 NEW BEST:: SOT 2627981 SOS 2537925 HAS SOPS 2537377 HAS SOUS 1277347 HAS SOUPS 1277056 WITH SCORE 1279593.925
AT ITER 2935 NEW BEST:: SOT 2629443 SOS 2539387 HAS SOPS 2538839 HAS SOUS 1277321 HAS SOUPS 1277030 WITH SCORE 1279569.387
AT ITER 2945 NEW BEST:: SOT 2629651 SOS 2539595 HAS SOPS 2539047 HAS SOUS 1277169 HAS SOUPS 1276878 WITH SCORE 1279417.595
AT ITER 2948 NEW BEST:: SOT 2629651 SOS 2539595 HAS SOPS 2539047 HAS SOUS 1276198 HAS SOUPS 1275907 WITH SCORE 1278446.595
AT ITER 2961 NEW BEST:: SOT 2654599 SOS 2562954 HAS SOPS 2562406 HAS SOUS 1274391 HAS SOUPS 1274100 WITH SCORE 1276662.954
AT ITER 2988 NEW BEST:: SOT 2654689 SOS 2563044 HAS SOPS 2562496 HAS SOUS 1272189 HAS SOUPS 1271898 WITH SCORE 1274461.044
AT ITER 3001 NEW BEST:: SOT 2650334 SOS 2558689 HAS SOPS 2558141 HAS SOUS 1271318 HAS SOUPS 1271027 WITH SCORE 1273585.689
AT ITER 3033 NEW BEST:: SOT 2649560 SOS 2557915 HAS SOPS 2557367 HAS SOUS 1270544 HAS SOUPS 1270253 WITH SCORE 1272810.915
AT ITER 3050 NEW BEST:: SOT 2649560 SOS 2557915 HAS SOPS 2557367 HAS SOUS 1269998 HAS SOUPS 1269707 WITH SCORE 1272264.915
AT ITER 3064 NEW BEST:: SOT 2650988 SOS 2559343 HAS SOPS 2558795 HAS SOUS 1269868 HAS SOUPS 1269577 WITH SCORE 1272136.343
AT ITER 3087 NEW BEST:: SOT 2650988 SOS 2559343 HAS SOPS 2558795 HAS SOUS 1269867 HAS SOUPS 1269576 WITH SCORE 1272135.343
AT ITER 3127 NEW BEST:: SOT 2650988 SOS 2549159 HAS SOPS 2548611 HAS SOUS 1269862 HAS SOUPS 1269571 WITH SCORE 1272120.159
AT ITER 3148 NEW BEST:: SOT 2651426 SOS 2549597 HAS SOPS 2549049 HAS SOUS 1269187 HAS SOUPS 1268896 WITH SCORE 1271445.597
AT ITER 3180 NEW BEST:: SOT 2655626 SOS 2553797 HAS SOPS 2553249 HAS SOUS 1268897 HAS SOUPS 1268606 WITH SCORE 1271159.797
AT ITER 3205 NEW BEST:: SOT 2650181 SOS 2548352 HAS SOPS 2547804 HAS SOUS 1266824 HAS SOUPS 1266533 WITH SCORE 1269081.352
AT ITER 3226 NEW BEST:: SOT 2650027 SOS 2548198 HAS SOPS 2547650 HAS SOUS 1266706 HAS SOUPS 1266415 WITH SCORE 1268963.198
AT ITER 3236 NEW BEST:: SOT 2648704 SOS 2546875 HAS SOPS 2546327 HAS SOUS 1265824 HAS SOUPS 1265533 WITH SCORE 1268079.875
AT ITER 3284 NEW BEST:: SOT 2648704 SOS 2546875 HAS SOPS 2546327 HAS SOUS 1265823 HAS SOUPS 1265532 WITH SCORE 1268078.875
AT ITER 3402 NEW BEST:: SOT 2648478 SOS 2546649 HAS SOPS 2546101 HAS SOUS 1265495 HAS SOUPS 1265204 WITH SCORE 1267750.649
AT ITER 3443 NEW BEST:: SOT 2648478 SOS 2543192 HAS SOPS 2542644 HAS SOUS 1265317 HAS SOUPS 1265026 WITH SCORE 1267569.192
AT ITER 3469 NEW BEST:: SOT 2648478 SOS 2543192 HAS SOPS 2542644 HAS SOUS 1264844 HAS SOUPS 1264553 WITH SCORE 1267096.192
AT ITER 3524 NEW BEST:: SOT 2648478 SOS 2543192 HAS SOPS 2542644 HAS SOUS 1264256 HAS SOUPS 1263965 WITH SCORE 1266508.192
AT ITER 3525 NEW BEST:: SOT 2641513 SOS 2536227 HAS SOPS 2535679 HAS SOUS 1262863 HAS SOUPS 1262572 WITH SCORE 1265108.227
AT ITER 3529 NEW BEST:: SOT 2638378 SOS 2533092 HAS SOPS 2532544 HAS SOUS 1260234 HAS SOUPS 1259943 WITH SCORE 1262476.092
AT ITER 3533 NEW BEST:: SOT 2639153 SOS 2533415 HAS SOPS 2532867 HAS SOUS 1253039 HAS SOUPS 1252748 WITH SCORE 1255281.415
AT ITER 3541 NEW BEST:: SOT 2640182 SOS 2534444 HAS SOPS 2533896 HAS SOUS 1252966 HAS SOUPS 1252675 WITH SCORE 1255209.444
AT ITER 3546 NEW BEST:: SOT 2640664 SOS 2534926 HAS SOPS 2534378 HAS SOUS 1251433 HAS SOUPS 1251142 WITH SCORE 1253676.926
AT ITER 3552 NEW BEST:: SOT 2629708 SOS 2523970 HAS SOPS 2523422 HAS SOUS 1250437 HAS SOUPS 1250146 WITH SCORE 1252669.97
AT ITER 3573 NEW BEST:: SOT 2629708 SOS 2523970 HAS SOPS 2523422 HAS SOUS 1250404 HAS SOUPS 1250113 WITH SCORE 1252636.97
AT ITER 3582 NEW BEST:: SOT 2636013 SOS 2530275 HAS SOPS 2529727 HAS SOUS 1248088 HAS SOUPS 1247797 WITH SCORE 1250327.275
AT ITER 3599 NEW BEST:: SOT 2636264 SOS 2530526 HAS SOPS 2529978 HAS SOUS 1247922 HAS SOUPS 1247631 WITH SCORE 1250161.526
AT ITER 3615 NEW BEST:: SOT 2637410 SOS 2531672 HAS SOPS 2531124 HAS SOUS 1247280 HAS SOUPS 1246989 WITH SCORE 1249520.672
AT ITER 3637 NEW BEST:: SOT 2635562 SOS 2529824 HAS SOPS 2529276 HAS SOUS 1247112 HAS SOUPS 1246821 WITH SCORE 1249350.824
AT ITER 3655 NEW BEST:: SOT 2639134 SOS 2533396 HAS SOPS 2532848 HAS SOUS 1246315 HAS SOUPS 1246024 WITH SCORE 1248557.396
AT ITER 3658 NEW BEST:: SOT 2639134 SOS 2533396 HAS SOPS 2532848 HAS SOUS 1246314 HAS SOUPS 1246023 WITH SCORE 1248556.396
AT ITER 3688 NEW BEST:: SOT 2639134 SOS 2533396 HAS SOPS 2532848 HAS SOUS 1246015 HAS SOUPS 1245724 WITH SCORE 1248257.396
AT ITER 3716 NEW BEST:: SOT 2651626 SOS 2545888 HAS SOPS 2545340 HAS SOUS 1244647 HAS SOUPS 1244356 WITH SCORE 1246901.888
AT ITER 3755 NEW BEST:: SOT 2653171 SOS 2547433 HAS SOPS 2546885 HAS SOUS 1244042 HAS SOUPS 1243751 WITH SCORE 1246298.433
AT ITER 3767 NEW BEST:: SOT 2653137 SOS 2547399 HAS SOPS 2546851 HAS SOUS 1243934 HAS SOUPS 1243643 WITH SCORE 1246190.399
AT ITER 3771 NEW BEST:: SOT 2655585 SOS 2549847 HAS SOPS 2549299 HAS SOUS 1243642 HAS SOUPS 1243351 WITH SCORE 1245900.847
AT ITER 3798 NEW BEST:: SOT 2660447 SOS 2554709 HAS SOPS 2554161 HAS SOUS 1243184 HAS SOUPS 1242893 WITH SCORE 1245447.709
AT ITER 3825 NEW BEST:: SOT 1887194 SOS 1832024 HAS SOPS 1797880 HAS SOUS 470407 HAS SOUPS 469260 WITH SCORE 471092.024
AT ITER 3834 NEW BEST:: SOT 1887426 SOS 1832256 HAS SOPS 1798082 HAS SOUS 470375 HAS SOUPS 469228 WITH SCORE 471060.256
AT ITER 3861 NEW BEST:: SOT 1886660 SOS 1831490 HAS SOPS 1797316 HAS SOUS 469955 HAS SOUPS 468808 WITH SCORE 470639.49
AT ITER 3913 NEW BEST:: SOT 1884321 SOS 1829151 HAS SOPS 1794977 HAS SOUS 469510 HAS SOUPS 468363 WITH SCORE 470192.151
AT ITER 3966 NEW BEST:: SOT 1883525 SOS 1828355 HAS SOPS 1794181 HAS SOUS 468716 HAS SOUPS 467569 WITH SCORE 469397.355
AT ITER 3986 NEW BEST:: SOT 1882919 SOS 1827749 HAS SOPS 1793575 HAS SOUS 468514 HAS SOUPS 467367 WITH SCORE 469194.749
AT ITER 4040 NEW BEST:: SOT 1875332 SOS 1820162 HAS SOPS 1785988 HAS SOUS 466840 HAS SOUPS 465693 WITH SCORE 467513.162
AT ITER 4065 NEW BEST:: SOT 1875489 SOS 1820319 HAS SOPS 1786145 HAS SOUS 465574 HAS SOUPS 464427 WITH SCORE 466247.319
AT ITER 4108 NEW BEST:: SOT 1875188 SOS 1820018 HAS SOPS 1785844 HAS SOUS 465273 HAS SOUPS 464126 WITH SCORE 465946.018
AT ITER 4132 NEW BEST:: SOT 1875328 SOS 1820158 HAS SOPS 1785984 HAS SOUS 465183 HAS SOUPS 464036 WITH SCORE 465856.158
AT ITER 4170 NEW BEST:: SOT 1874922 SOS 1819752 HAS SOPS 1785578 HAS SOUS 464777 HAS SOUPS 463630 WITH SCORE 465449.752
AT ITER 4222 NEW BEST:: SOT 1875652 SOS 1820482 HAS SOPS 1786308 HAS SOUS 464412 HAS SOUPS 463265 WITH SCORE 465085.482
AT ITER 4230 NEW BEST:: SOT 1873209 SOS 1818039 HAS SOPS 1783865 HAS SOUS 463925 HAS SOUPS 462778 WITH SCORE 464596.039
AT ITER 4237 NEW BEST:: SOT 1873486 SOS 1818316 HAS SOPS 1784142 HAS SOUS 463612 HAS SOUPS 462465 WITH SCORE 464283.316
AT ITER 4309 NEW BEST:: SOT 1873000 SOS 1817830 HAS SOPS 1790517 HAS SOUS 463131 HAS SOUPS 461984 WITH SCORE 463801.83
AT ITER 4359 NEW BEST:: SOT 1864420 SOS 1809250 HAS SOPS 1781937 HAS SOUS 462351 HAS SOUPS 461204 WITH SCORE 463013.25
AT ITER 4372 NEW BEST:: SOT 1863958 SOS 1808788 HAS SOPS 1781475 HAS SOUS 461685 HAS SOUPS 460538 WITH SCORE 462346.788
AT ITER 4379 NEW BEST:: SOT 1864376 SOS 1809206 HAS SOPS 1780257 HAS SOUS 460945 HAS SOUPS 459798 WITH SCORE 461607.206
AT ITER 4419 NEW BEST:: SOT 1862727 SOS 1807557 HAS SOPS 1778608 HAS SOUS 460140 HAS SOUPS 458993 WITH SCORE 460800.557
AT ITER 4459 NEW BEST:: SOT 1858715 SOS 1803545 HAS SOPS 1774596 HAS SOUS 460140 HAS SOUPS 458993 WITH SCORE 460796.545
AT ITER 4462 NEW BEST:: SOT 1858099 SOS 1802929 HAS SOPS 1773980 HAS SOUS 459524 HAS SOUPS 458377 WITH SCORE 460179.929
AT ITER 4483 NEW BEST:: SOT 1856851 SOS 1801681 HAS SOPS 1772732 HAS SOUS 458900 HAS SOUPS 457753 WITH SCORE 459554.681
AT ITER 4502 NEW BEST:: SOT 1856851 SOS 1801681 HAS SOPS 1772732 HAS SOUS 458734 HAS SOUPS 457587 WITH SCORE 459388.681
AT ITER 4515 NEW BEST:: SOT 1854875 SOS 1799705 HAS SOPS 1770756 HAS SOUS 456338 HAS SOUPS 455191 WITH SCORE 456990.705
AT ITER 4516 NEW BEST:: SOT 1854589 SOS 1799419 HAS SOPS 1770470 HAS SOUS 456052 HAS SOUPS 454905 WITH SCORE 456704.419
AT ITER 4548 NEW BEST:: SOT 1854663 SOS 1799493 HAS SOPS 1770544 HAS SOUS 455370 HAS SOUPS 454223 WITH SCORE 456022.493
AT ITER 4611 NEW BEST:: SOT 1863869 SOS 1808485 HAS SOPS 1778875 HAS SOUS 455277 HAS SOUPS 454130 WITH SCORE 455938.485
AT ITER 4615 NEW BEST:: SOT 1863869 SOS 1808485 HAS SOPS 1778875 HAS SOUS 455260 HAS SOUPS 454113 WITH SCORE 455921.485
AT ITER 4635 NEW BEST:: SOT 1860053 SOS 1804669 HAS SOPS 1775059 HAS SOUS 451444 HAS SOUPS 450297 WITH SCORE 452101.669
AT ITER 4648 NEW BEST:: SOT 1856553 SOS 1801169 HAS SOPS 1771559 HAS SOUS 451400 HAS SOUPS 450253 WITH SCORE 452054.169
AT ITER 4652 NEW BEST:: SOT 1854980 SOS 1799596 HAS SOPS 1769986 HAS SOUS 451384 HAS SOUPS 450237 WITH SCORE 452036.596
AT ITER 4654 NEW BEST:: SOT 1855243 SOS 1799859 HAS SOPS 1770249 HAS SOUS 451301 HAS SOUPS 450154 WITH SCORE 451953.859
AT ITER 4705 NEW BEST:: SOT 1855943 SOS 1800559 HAS SOPS 1770949 HAS SOUS 451289 HAS SOUPS 450142 WITH SCORE 451942.559
AT ITER 4710 NEW BEST:: SOT 1854597 SOS 1799213 HAS SOPS 1769603 HAS SOUS 451095 HAS SOUPS 449948 WITH SCORE 451747.213
AT ITER 4729 NEW BEST:: SOT 1854411 SOS 1799027 HAS SOPS 1769417 HAS SOUS 450908 HAS SOUPS 449761 WITH SCORE 451560.027
AT ITER 4744 NEW BEST:: SOT 1854286 SOS 1798902 HAS SOPS 1769292 HAS SOUS 450533 HAS SOUPS 449386 WITH SCORE 451184.902
AT ITER 4747 NEW BEST:: SOT 1854053 SOS 1798669 HAS SOPS 1769059 HAS SOUS 450516 HAS SOUPS 449369 WITH SCORE 451167.669
AT ITER 4773 NEW BEST:: SOT 1853888 SOS 1798504 HAS SOPS 1768894 HAS SOUS 450398 HAS SOUPS 449251 WITH SCORE 451049.504
AT ITER 4835 NEW BEST:: SOT 1853835 SOS 1798451 HAS SOPS 1768841 HAS SOUS 450292 HAS SOUPS 449145 WITH SCORE 450943.451
AT ITER 4931 NEW BEST:: SOT 1853007 SOS 1797623 HAS SOPS 1768013 HAS SOUS 449878 HAS SOUPS 448731 WITH SCORE 450528.623
AT ITER 4935 NEW BEST:: SOT 1853122 SOS 1797738 HAS SOPS 1768128 HAS SOUS 449839 HAS SOUPS 448692 WITH SCORE 450489.738
AT ITER 5035 NEW BEST:: SOT 1852902 SOS 1797518 HAS SOPS 1767908 HAS SOUS 449619 HAS SOUPS 448472 WITH SCORE 450269.518
AT ITER 5037 NEW BEST:: SOT 1851637 SOS 1796253 HAS SOPS 1766643 HAS SOUS 448781 HAS SOUPS 447634 WITH SCORE 449430.253
AT ITER 5038 NEW BEST:: SOT 1853108 SOS 1797724 HAS SOPS 1767681 HAS SOUS 448669 HAS SOUPS 447522 WITH SCORE 449319.724
AT ITER 5045 NEW BEST:: SOT 1853041 SOS 1797657 HAS SOPS 1767614 HAS SOUS 448600 HAS SOUPS 447453 WITH SCORE 449250.657
AT ITER 5076 NEW BEST:: SOT 1852929 SOS 1797545 HAS SOPS 1767502 HAS SOUS 448488 HAS SOUPS 447341 WITH SCORE 449138.545
AT ITER 5169 NEW BEST:: SOT 1854571 SOS 1799187 HAS SOPS 1769144 HAS SOUS 448384 HAS SOUPS 447237 WITH SCORE 449036.187
AT ITER 5267 NEW BEST:: SOT 1854544 SOS 1799160 HAS SOPS 1769117 HAS SOUS 447990 HAS SOUPS 446843 WITH SCORE 448642.16
AT ITER 5272 NEW BEST:: SOT 1854862 SOS 1799478 HAS SOPS 1769435 HAS SOUS 446743 HAS SOUPS 445596 WITH SCORE 447395.478
AT ITER 5277 NEW BEST:: SOT 1853116 SOS 1797732 HAS SOPS 1767689 HAS SOUS 446743 HAS SOUPS 445596 WITH SCORE 447393.732
AT ITER 5284 NEW BEST:: SOT 1853273 SOS 1797889 HAS SOPS 1767846 HAS SOUS 446718 HAS SOUPS 445571 WITH SCORE 447368.889
AT ITER 5414 NEW BEST:: SOT 1852479 SOS 1797095 HAS SOPS 1767052 HAS SOUS 446588 HAS SOUPS 445441 WITH SCORE 447238.095
AT ITER 5443 NEW BEST:: SOT 1852534 SOS 1797150 HAS SOPS 1767107 HAS SOUS 446261 HAS SOUPS 445114 WITH SCORE 446911.15
AT ITER 5525 NEW BEST:: SOT 1852596 SOS 1797212 HAS SOPS 1767169 HAS SOUS 446202 HAS SOUPS 445055 WITH SCORE 446852.212
AT ITER 5551 NEW BEST:: SOT 1851951 SOS 1796567 HAS SOPS 1766524 HAS SOUS 445987 HAS SOUPS 444840 WITH SCORE 446636.567
AT ITER 5597 NEW BEST:: SOT 1858400 SOS 1803008 HAS SOPS 1771540 HAS SOUS 445242 HAS SOUPS 444095 WITH SCORE 445898.008
AT ITER 5639 NEW BEST:: SOT 1858340 SOS 1802948 HAS SOPS 1771480 HAS SOUS 445176 HAS SOUPS 444029 WITH SCORE 445831.948
AT ITER 5654 NEW BEST:: SOT 1857576 SOS 1802184 HAS SOPS 1770716 HAS SOUS 444232 HAS SOUPS 443085 WITH SCORE 444887.184
AT ITER 5690 NEW BEST:: SOT 1857007 SOS 1801615 HAS SOPS 1770147 HAS SOUS 443978 HAS SOUPS 442831 WITH SCORE 444632.615
AT ITER 5705 NEW BEST:: SOT 1856511 SOS 1801119 HAS SOPS 1769651 HAS SOUS 443234 HAS SOUPS 442087 WITH SCORE 443888.119
AT ITER 5729 NEW BEST:: SOT 1856351 SOS 1800959 HAS SOPS 1769491 HAS SOUS 442754 HAS SOUPS 441607 WITH SCORE 443407.959
AT ITER 5732 NEW BEST:: SOT 1855839 SOS 1800447 HAS SOPS 1768979 HAS SOUS 442051 HAS SOUPS 440904 WITH SCORE 442704.447
AT ITER 5778 NEW BEST:: SOT 1855839 SOS 1800447 HAS SOPS 1768979 HAS SOUS 441943 HAS SOUPS 440796 WITH SCORE 442596.447
AT ITER 5788 NEW BEST:: SOT 1855822 SOS 1800430 HAS SOPS 1768962 HAS SOUS 441943 HAS SOUPS 440796 WITH SCORE 442596.43
AT ITER 5817 NEW BEST:: SOT 1855718 SOS 1800326 HAS SOPS 1768858 HAS SOUS 441891 HAS SOUPS 440744 WITH SCORE 442544.326
AT ITER 5861 NEW BEST:: SOT 1855553 SOS 1800161 HAS SOPS 1768693 HAS SOUS 441888 HAS SOUPS 440741 WITH SCORE 442541.161
AT ITER 5878 NEW BEST:: SOT 1855261 SOS 1799869 HAS SOPS 1768401 HAS SOUS 441742 HAS SOUPS 440595 WITH SCORE 442394.869
AT ITER 5938 NEW BEST:: SOT 1855510 SOS 1800118 HAS SOPS 1768650 HAS SOUS 441741 HAS SOUPS 440594 WITH SCORE 442394.118
AT ITER 6000 NEW BEST:: SOT 1854147 SOS 1798755 HAS SOPS 1767287 HAS SOUS 440732 HAS SOUPS 439585 WITH SCORE 441383.755
AT ITER 6003 NEW BEST:: SOT 1853166 SOS 1797774 HAS SOPS 1766306 HAS SOUS 440732 HAS SOUPS 439585 WITH SCORE 441382.774
AT ITER 6044 NEW BEST:: SOT 1853865 SOS 1798473 HAS SOPS 1767005 HAS SOUS 440576 HAS SOUPS 439429 WITH SCORE 441227.473
AT ITER 6111 NEW BEST:: SOT 1853715 SOS 1798323 HAS SOPS 1766705 HAS SOUS 440486 HAS SOUPS 439339 WITH SCORE 441137.323
AT ITER 6127 NEW BEST:: SOT 1851783 SOS 1796391 HAS SOPS 1764773 HAS SOUS 439842 HAS SOUPS 438695 WITH SCORE 440491.391
AT ITER 6137 NEW BEST:: SOT 1851669 SOS 1796277 HAS SOPS 1764659 HAS SOUS 439614 HAS SOUPS 438467 WITH SCORE 440263.277
AT ITER 6142 NEW BEST:: SOT 1851612 SOS 1796220 HAS SOPS 1764602 HAS SOUS 439280 HAS SOUPS 438133 WITH SCORE 439929.22
AT ITER 6150 NEW BEST:: SOT 1847626 SOS 1792234 HAS SOPS 1760616 HAS SOUS 437914 HAS SOUPS 436767 WITH SCORE 438559.234
AT ITER 6254 NEW BEST:: SOT 1847833 SOS 1792441 HAS SOPS 1760823 HAS SOUS 437382 HAS SOUPS 436235 WITH SCORE 438027.441
AT ITER 6265 NEW BEST:: SOT 1847833 SOS 1792441 HAS SOPS 1760823 HAS SOUS 436888 HAS SOUPS 435741 WITH SCORE 437533.441
AT ITER 6266 NEW BEST:: SOT 1847756 SOS 1792364 HAS SOPS 1760150 HAS SOUS 436672 HAS SOUPS 435525 WITH SCORE 437317.364
AT ITER 6287 NEW BEST:: SOT 1846235 SOS 1790843 HAS SOPS 1758629 HAS SOUS 435397 HAS SOUPS 434250 WITH SCORE 436040.843
AT ITER 6301 NEW BEST:: SOT 1851486 SOS 1796091 HAS SOPS 1762552 HAS SOUS 434973 HAS SOUPS 433826 WITH SCORE 435622.091
AT ITER 6332 NEW BEST:: SOT 1851316 SOS 1795921 HAS SOPS 1762382 HAS SOUS 434463 HAS SOUPS 433316 WITH SCORE 435111.921
AT ITER 6356 NEW BEST:: SOT 1852989 SOS 1797594 HAS SOPS 1764055 HAS SOUS 434377 HAS SOUPS 433230 WITH SCORE 435027.594
AT ITER 6375 NEW BEST:: SOT 1851661 SOS 1796266 HAS SOPS 1762727 HAS SOUS 433713 HAS SOUPS 432566 WITH SCORE 434362.266
AT ITER 6398 NEW BEST:: SOT 1851598 SOS 1796203 HAS SOPS 1762664 HAS SOUS 433703 HAS SOUPS 432556 WITH SCORE 434352.203
AT ITER 6469 NEW BEST:: SOT 1850875 SOS 1795480 HAS SOPS 1761941 HAS SOUS 433324 HAS SOUPS 432177 WITH SCORE 433972.48
AT ITER 6567 NEW BEST:: SOT 1841506 SOS 1786111 HAS SOPS 1752572 HAS SOUS 432283 HAS SOUPS 431136 WITH SCORE 432922.111
AT ITER 6631 NEW BEST:: SOT 1841006 SOS 1785611 HAS SOPS 1753528 HAS SOUS 431288 HAS SOUPS 430416 WITH SCORE 432201.611
AT ITER 6634 NEW BEST:: SOT 1840426 SOS 1785031 HAS SOPS 1752948 HAS SOUS 430464 HAS SOUPS 429592 WITH SCORE 431377.031
AT ITER 6711 NEW BEST:: SOT 1840363 SOS 1784968 HAS SOPS 1752885 HAS SOUS 430464 HAS SOUPS 429592 WITH SCORE 431376.968
AT ITER 6760 NEW BEST:: SOT 1839919 SOS 1784524 HAS SOPS 1752441 HAS SOUS 429885 HAS SOUPS 429013 WITH SCORE 430797.524
AT ITER 6764 NEW BEST:: SOT 1839593 SOS 1784198 HAS SOPS 1752115 HAS SOUS 429395 HAS SOUPS 428523 WITH SCORE 430307.198
AT ITER 6806 NEW BEST:: SOT 1839561 SOS 1784166 HAS SOPS 1752083 HAS SOUS 429391 HAS SOUPS 428519 WITH SCORE 430303.166
AT ITER 6948 NEW BEST:: SOT 1843075 SOS 1787680 HAS SOPS 1753113 HAS SOUS 428764 HAS SOUPS 427892 WITH SCORE 429679.68
AT ITER 7003 NEW BEST:: SOT 1843039 SOS 1787644 HAS SOPS 1753077 HAS SOUS 428710 HAS SOUPS 427838 WITH SCORE 429625.644
AT ITER 7012 NEW BEST:: SOT 1842616 SOS 1787221 HAS SOPS 1752654 HAS SOUS 428346 HAS SOUPS 427474 WITH SCORE 429261.221
AT ITER 7162 NEW BEST:: SOT 1830098 SOS 1774703 HAS SOPS 1740136 HAS SOUS 427208 HAS SOUPS 426336 WITH SCORE 428110.703
AT ITER 7183 NEW BEST:: SOT 1829932 SOS 1774537 HAS SOPS 1739970 HAS SOUS 426873 HAS SOUPS 426001 WITH SCORE 427775.537
AT ITER 7196 NEW BEST:: SOT 1827442 SOS 1772047 HAS SOPS 1737480 HAS SOUS 426825 HAS SOUPS 425953 WITH SCORE 427725.047
AT ITER 7225 NEW BEST:: SOT 1827434 SOS 1772039 HAS SOPS 1737472 HAS SOUS 426817 HAS SOUPS 425945 WITH SCORE 427717.039
AT ITER 7259 NEW BEST:: SOT 1827433 SOS 1772038 HAS SOPS 1737063 HAS SOUS 426815 HAS SOUPS 425943 WITH SCORE 427715.038
AT ITER 7262 NEW BEST:: SOT 1826802 SOS 1771407 HAS SOPS 1736432 HAS SOUS 426072 HAS SOUPS 425200 WITH SCORE 426971.407
AT ITER 7271 NEW BEST:: SOT 1826661 SOS 1771266 HAS SOPS 1736291 HAS SOUS 425508 HAS SOUPS 424636 WITH SCORE 426407.266
AT ITER 7282 NEW BEST:: SOT 1816266 SOS 1760871 HAS SOPS 1725896 HAS SOUS 424563 HAS SOUPS 423691 WITH SCORE 425451.871
AT ITER 7294 NEW BEST:: SOT 1815043 SOS 1759648 HAS SOPS 1724673 HAS SOUS 423888 HAS SOUPS 423016 WITH SCORE 424775.648
AT ITER 7340 NEW BEST:: SOT 1815043 SOS 1759648 HAS SOPS 1724673 HAS SOUS 423887 HAS SOUPS 423015 WITH SCORE 424774.648
AT ITER 7352 NEW BEST:: SOT 1814558 SOS 1759163 HAS SOPS 1724188 HAS SOUS 423790 HAS SOUPS 422918 WITH SCORE 424677.163
AT ITER 7367 NEW BEST:: SOT 1814602 SOS 1759207 HAS SOPS 1724232 HAS SOUS 423746 HAS SOUPS 422874 WITH SCORE 424633.207
AT ITER 7372 NEW BEST:: SOT 1813390 SOS 1757995 HAS SOPS 1723020 HAS SOUS 423140 HAS SOUPS 422268 WITH SCORE 424025.995
AT ITER 7387 NEW BEST:: SOT 1812530 SOS 1757135 HAS SOPS 1722160 HAS SOUS 422039 HAS SOUPS 421167 WITH SCORE 422924.135
AT ITER 7397 NEW BEST:: SOT 1791703 SOS 1736308 HAS SOPS 1702516 HAS SOUS 421483 HAS SOUPS 420611 WITH SCORE 422347.308
AT ITER 7406 NEW BEST:: SOT 1790358 SOS 1734963 HAS SOPS 1701171 HAS SOUS 421214 HAS SOUPS 420342 WITH SCORE 422076.963
AT ITER 7422 NEW BEST:: SOT 1790030 SOS 1734635 HAS SOPS 1700843 HAS SOUS 420722 HAS SOUPS 419850 WITH SCORE 421584.635
AT ITER 7437 NEW BEST:: SOT 1803760 SOS 1748365 HAS SOPS 1712898 HAS SOUS 419794 HAS SOUPS 418922 WITH SCORE 420670.365
AT ITER 7513 NEW BEST:: SOT 1803493 SOS 1748098 HAS SOPS 1712631 HAS SOUS 419260 HAS SOUPS 418388 WITH SCORE 420136.098
AT ITER 7542 NEW BEST:: SOT 1803169 SOS 1747774 HAS SOPS 1712307 HAS SOUS 419260 HAS SOUPS 418388 WITH SCORE 420135.774
AT ITER 7550 NEW BEST:: SOT 1803087 SOS 1747692 HAS SOPS 1712225 HAS SOUS 419178 HAS SOUPS 418306 WITH SCORE 420053.692
AT ITER 7591 NEW BEST:: SOT 1804215 SOS 1748820 HAS SOPS 1713353 HAS SOUS 418960 HAS SOUPS 418088 WITH SCORE 419836.82
AT ITER 7681 NEW BEST:: SOT 1801707 SOS 1746312 HAS SOPS 1710845 HAS SOUS 418896 HAS SOUPS 418024 WITH SCORE 419770.312
AT ITER 7704 NEW BEST:: SOT 1786018 SOS 1730623 HAS SOPS 1695156 HAS SOUS 418428 HAS SOUPS 417556 WITH SCORE 419286.623
AT ITER 7786 NEW BEST:: SOT 1785974 SOS 1730579 HAS SOPS 1695112 HAS SOUS 418384 HAS SOUPS 417512 WITH SCORE 419242.579
AT ITER 7793 NEW BEST:: SOT 1786456 SOS 1731061 HAS SOPS 1696701 HAS SOUS 418241 HAS SOUPS 417369 WITH SCORE 419100.061
AT ITER 7813 NEW BEST:: SOT 1786401 SOS 1731006 HAS SOPS 1696646 HAS SOUS 417436 HAS SOUPS 416564 WITH SCORE 418295.006
AT ITER 7838 NEW BEST:: SOT 1786273 SOS 1730878 HAS SOPS 1696518 HAS SOUS 417267 HAS SOUPS 416395 WITH SCORE 418125.878
AT ITER 7918 NEW BEST:: SOT 1787579 SOS 1732184 HAS SOPS 1697824 HAS SOUS 416951 HAS SOUPS 416079 WITH SCORE 417811.184
AT ITER 7929 NEW BEST:: SOT 1787808 SOS 1732413 HAS SOPS 1697393 HAS SOUS 416902 HAS SOUPS 416030 WITH SCORE 417762.413
AT ITER 7939 NEW BEST:: SOT 1777486 SOS 1722091 HAS SOPS 1688585 HAS SOUS 410256 HAS SOUPS 409384 WITH SCORE 411106.091
AT ITER 7947 NEW BEST:: SOT 1779015 SOS 1723620 HAS SOPS 1690114 HAS SOUS 409609 HAS SOUPS 408737 WITH SCORE 410460.62
AT ITER 7956 NEW BEST:: SOT 1778231 SOS 1722836 HAS SOPS 1689330 HAS SOUS 409609 HAS SOUPS 408737 WITH SCORE 410459.836
AT ITER 8070 NEW BEST:: SOT 1789194 SOS 1733775 HAS SOPS 1699096 HAS SOUS 409178 HAS SOUPS 408306 WITH SCORE 410039.775
AT ITER 8111 NEW BEST:: SOT 1788744 SOS 1733325 HAS SOPS 1698646 HAS SOUS 409178 HAS SOUPS 408306 WITH SCORE 410039.325
AT ITER 8154 NEW BEST:: SOT 1788744 SOS 1733325 HAS SOPS 1698646 HAS SOUS 408941 HAS SOUPS 408069 WITH SCORE 409802.325
AT ITER 8216 NEW BEST:: SOT 1788505 SOS 1733086 HAS SOPS 1698407 HAS SOUS 408700 HAS SOUPS 407828 WITH SCORE 409561.086
AT ITER 8265 NEW BEST:: SOT 1789020 SOS 1733601 HAS SOPS 1698922 HAS SOUS 408064 HAS SOUPS 407192 WITH SCORE 408925.601
AT ITER 8285 NEW BEST:: SOT 1788923 SOS 1733504 HAS SOPS 1698825 HAS SOUS 407870 HAS SOUPS 406998 WITH SCORE 408731.504
AT ITER 8366 NEW BEST:: SOT 1788952 SOS 1733533 HAS SOPS 1698854 HAS SOUS 407841 HAS SOUPS 406969 WITH SCORE 408702.533
AT ITER 8419 NEW BEST:: SOT 1788926 SOS 1733507 HAS SOPS 1698828 HAS SOUS 407815 HAS SOUPS 406943 WITH SCORE 408676.507
AT ITER 8451 NEW BEST:: SOT 1788985 SOS 1733566 HAS SOPS 1698887 HAS SOUS 407119 HAS SOUPS 406247 WITH SCORE 407980.566
AT ITER 8455 NEW BEST:: SOT 1788540 SOS 1733121 HAS SOPS 1698442 HAS SOUS 407025 HAS SOUPS 406153 WITH SCORE 407886.121
AT ITER 8462 NEW BEST:: SOT 1787184 SOS 1731765 HAS SOPS 1697086 HAS SOUS 407025 HAS SOUPS 406153 WITH SCORE 407884.765
AT ITER 8469 NEW BEST:: SOT 1786602 SOS 1731183 HAS SOPS 1696504 HAS SOUS 406734 HAS SOUPS 405862 WITH SCORE 407593.183
AT ITER 8473 NEW BEST:: SOT 1786383 SOS 1730964 HAS SOPS 1696285 HAS SOUS 406515 HAS SOUPS 405643 WITH SCORE 407373.964
AT ITER 8545 NEW BEST:: SOT 1786328 SOS 1730909 HAS SOPS 1696230 HAS SOUS 406405 HAS SOUPS 405533 WITH SCORE 407263.909
AT ITER 8763 NEW BEST:: SOT 1790962 SOS 1735543 HAS SOPS 1700864 HAS SOUS 405323 HAS SOUPS 404451 WITH SCORE 406186.543
AT ITER 8786 NEW BEST:: SOT 1790530 SOS 1735111 HAS SOPS 1700432 HAS SOUS 405107 HAS SOUPS 404235 WITH SCORE 405970.111
AT ITER 8828 NEW BEST:: SOT 1790458 SOS 1735039 HAS SOPS 1700360 HAS SOUS 405100 HAS SOUPS 404228 WITH SCORE 405963.039
AT ITER 8856 NEW BEST:: SOT 1792545 SOS 1737126 HAS SOPS 1702447 HAS SOUS 405054 HAS SOUPS 404182 WITH SCORE 405919.126
AT ITER 8883 NEW BEST:: SOT 1791538 SOS 1736119 HAS SOPS 1701440 HAS SOUS 405054 HAS SOUPS 404182 WITH SCORE 405918.119
AT ITER 8890 NEW BEST:: SOT 1791194 SOS 1735775 HAS SOPS 1701096 HAS SOUS 405037 HAS SOUPS 404165 WITH SCORE 405900.775
AT ITER 8899 NEW BEST:: SOT 1790751 SOS 1735332 HAS SOPS 1700653 HAS SOUS 404622 HAS SOUPS 403750 WITH SCORE 405485.332
AT ITER 8907 NEW BEST:: SOT 1789939 SOS 1734520 HAS SOPS 1699841 HAS SOUS 403810 HAS SOUPS 402938 WITH SCORE 404672.52
AT ITER 8923 NEW BEST:: SOT 1789527 SOS 1734108 HAS SOPS 1699429 HAS SOUS 402986 HAS SOUPS 402114 WITH SCORE 403848.108
AT ITER 8973 NEW BEST:: SOT 1789392 SOS 1733973 HAS SOPS 1699294 HAS SOUS 402883 HAS SOUPS 402011 WITH SCORE 403744.973
AT ITER 8974 NEW BEST:: SOT 1789648 SOS 1734229 HAS SOPS 1699550 HAS SOUS 402627 HAS SOUPS 401755 WITH SCORE 403489.229
AT ITER 9088 NEW BEST:: SOT 1789686 SOS 1734267 HAS SOPS 1699550 HAS SOUS 402589 HAS SOUPS 401717 WITH SCORE 403451.267
AT ITER 9139 NEW BEST:: SOT 1789577 SOS 1734158 HAS SOPS 1699441 HAS SOUS 402480 HAS SOUPS 401608 WITH SCORE 403342.158
AT ITER 9168 NEW BEST:: SOT 1789479 SOS 1734060 HAS SOPS 1697936 HAS SOUS 402382 HAS SOUPS 401510 WITH SCORE 403244.06
AT ITER 9174 NEW BEST:: SOT 1788933 SOS 1733514 HAS SOPS 1697390 HAS SOUS 402382 HAS SOUPS 401510 WITH SCORE 403243.514
AT ITER 9224 NEW BEST:: SOT 1787846 SOS 1732427 HAS SOPS 1696303 HAS SOUS 401295 HAS SOUPS 400423 WITH SCORE 402155.427
AT ITER 9252 NEW BEST:: SOT 1787305 SOS 1731886 HAS SOPS 1695762 HAS SOUS 401168 HAS SOUPS 400296 WITH SCORE 402027.886
AT ITER 9352 NEW BEST:: SOT 1786421 SOS 1731002 HAS SOPS 1694878 HAS SOUS 400726 HAS SOUPS 399854 WITH SCORE 401585.002
AT ITER 9404 NEW BEST:: SOT 1785765 SOS 1730346 HAS SOPS 1694222 HAS SOUS 399943 HAS SOUPS 399071 WITH SCORE 400801.346
AT ITER 9435 NEW BEST:: SOT 1784584 SOS 1729165 HAS SOPS 1693041 HAS SOUS 398289 HAS SOUPS 397417 WITH SCORE 399146.165
AT ITER 9454 NEW BEST:: SOT 1783845 SOS 1728426 HAS SOPS 1692302 HAS SOUS 398156 HAS SOUPS 397284 WITH SCORE 399012.426
AT ITER 9473 NEW BEST:: SOT 1783026 SOS 1727607 HAS SOPS 1691483 HAS SOUS 397883 HAS SOUPS 397011 WITH SCORE 398738.607
AT ITER 9563 NEW BEST:: SOT 1782489 SOS 1727070 HAS SOPS 1691384 HAS SOUS 397058 HAS SOUPS 396186 WITH SCORE 397913.07
AT ITER 9689 NEW BEST:: SOT 1784644 SOS 1728887 HAS SOPS 1692281 HAS SOUS 396977 HAS SOUPS 396105 WITH SCORE 397833.887
AT ITER 9696 NEW BEST:: SOT 1784312 SOS 1728555 HAS SOPS 1691949 HAS SOUS 396919 HAS SOUPS 396047 WITH SCORE 397775.555
AT ITER 9709 NEW BEST:: SOT 1784102 SOS 1728345 HAS SOPS 1691739 HAS SOUS 396814 HAS SOUPS 395942 WITH SCORE 397670.345
AT ITER 9713 NEW BEST:: SOT 1783885 SOS 1728128 HAS SOPS 1691522 HAS SOUS 396518 HAS SOUPS 395646 WITH SCORE 397374.128
AT ITER 9721 NEW BEST:: SOT 1784677 SOS 1728920 HAS SOPS 1692314 HAS SOUS 395693 HAS SOUPS 394821 WITH SCORE 396549.92
AT ITER 9754 NEW BEST:: SOT 1782839 SOS 1727082 HAS SOPS 1690476 HAS SOUS 395309 HAS SOUPS 394437 WITH SCORE 396164.082
AT ITER 9767 NEW BEST:: SOT 1782466 SOS 1726709 HAS SOPS 1690103 HAS SOUS 394563 HAS SOUPS 393691 WITH SCORE 395417.709
AT ITER 9821 NEW BEST:: SOT 1782459 SOS 1726702 HAS SOPS 1690096 HAS SOUS 394549 HAS SOUPS 393677 WITH SCORE 395403.702
AT ITER 9904 NEW BEST:: SOT 1783096 SOS 1727339 HAS SOPS 1690733 HAS SOUS 394119 HAS SOUPS 393247 WITH SCORE 394974.339
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10838804 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16153124 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DBSingleClientW-PT-d2m05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DBSingleClientW-PT-d2m05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472200304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m05.tgz
mv DBSingleClientW-PT-d2m05 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 ;