About the Execution of Smart+red for DBSingleClientW-PT-d2m07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4346.623 | 3600000.00 | 3630920.00 | 8082.70 | [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-167814484100320.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-d2m07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100320
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 15:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 9.0K Feb 26 15:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 15:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 15:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 15:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 1678362386873
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-d2m07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 11:46:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 11:46:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 11:46:28] [INFO ] Load time of PNML (sax parser for PT used): 172 ms
[2023-03-09 11:46:28] [INFO ] Transformed 4763 places.
[2023-03-09 11:46:28] [INFO ] Transformed 2478 transitions.
[2023-03-09 11:46:28] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 263 ms.
[2023-03-09 11:46:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 28 ms.
Total runtime 318 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m07
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 24 NEW BEST:: SOT 2906211 SOS 2846434 HAS SOPS 2846405 HAS SOUS 2065401 HAS SOUPS 2065373 WITH SCORE 2068219.434
AT ITER 130 NEW BEST:: SOT 2906211 SOS 2846434 HAS SOPS 2846405 HAS SOUS 2063006 HAS SOUPS 2062978 WITH SCORE 2065824.434
AT ITER 158 NEW BEST:: SOT 2906211 SOS 2846434 HAS SOPS 2846405 HAS SOUS 2062349 HAS SOUPS 2062321 WITH SCORE 2065167.434
AT ITER 186 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2061753 HAS SOUPS 2061725 WITH SCORE 2064571.858
AT ITER 201 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2061751 HAS SOUPS 2061723 WITH SCORE 2064569.858
AT ITER 247 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2061115 HAS SOUPS 2061087 WITH SCORE 2063933.858
AT ITER 290 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2061050 HAS SOUPS 2061022 WITH SCORE 2063868.858
AT ITER 389 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2060214 HAS SOUPS 2060186 WITH SCORE 2063032.858
AT ITER 409 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2060191 HAS SOUPS 2060163 WITH SCORE 2063009.858
AT ITER 426 NEW BEST:: SOT 2906635 SOS 2846858 HAS SOPS 2846829 HAS SOUS 2060052 HAS SOUPS 2060024 WITH SCORE 2062870.858
AT ITER 434 NEW BEST:: SOT 2906737 SOS 2846960 HAS SOPS 2846931 HAS SOUS 2059906 HAS SOUPS 2059878 WITH SCORE 2062724.96
AT ITER 450 NEW BEST:: SOT 2906737 SOS 2846960 HAS SOPS 2846931 HAS SOUS 2058391 HAS SOUPS 2058363 WITH SCORE 2061209.96
AT ITER 522 NEW BEST:: SOT 2907679 SOS 2847902 HAS SOPS 2847873 HAS SOUS 2058033 HAS SOUPS 2058005 WITH SCORE 2060852.902
AT ITER 527 NEW BEST:: SOT 2907859 SOS 2848082 HAS SOPS 2848053 HAS SOUS 2057952 HAS SOUPS 2057924 WITH SCORE 2060772.082
AT ITER 533 NEW BEST:: SOT 2907859 SOS 2848082 HAS SOPS 2848053 HAS SOUS 2057609 HAS SOUPS 2057581 WITH SCORE 2060429.082
AT ITER 536 NEW BEST:: SOT 2907859 SOS 2848082 HAS SOPS 2848053 HAS SOUS 2057159 HAS SOUPS 2057131 WITH SCORE 2059979.082
AT ITER 581 NEW BEST:: SOT 2907859 SOS 2848082 HAS SOPS 2848053 HAS SOUS 2057041 HAS SOUPS 2057013 WITH SCORE 2059861.082
AT ITER 602 NEW BEST:: SOT 2908509 SOS 2848732 HAS SOPS 2848703 HAS SOUS 2056903 HAS SOUPS 2056875 WITH SCORE 2059723.732
AT ITER 603 NEW BEST:: SOT 2908981 SOS 2849204 HAS SOPS 2849175 HAS SOUS 2056722 HAS SOUPS 2056694 WITH SCORE 2059543.204
AT ITER 662 NEW BEST:: SOT 2908981 SOS 2849204 HAS SOPS 2849175 HAS SOUS 2056003 HAS SOUPS 2055975 WITH SCORE 2058824.204
AT ITER 668 NEW BEST:: SOT 2908981 SOS 2849204 HAS SOPS 2849175 HAS SOUS 2055918 HAS SOUPS 2055890 WITH SCORE 2058739.204
AT ITER 676 NEW BEST:: SOT 2908981 SOS 2849204 HAS SOPS 2849175 HAS SOUS 2055822 HAS SOUPS 2055794 WITH SCORE 2058643.204
AT ITER 683 NEW BEST:: SOT 2909715 SOS 2849938 HAS SOPS 2849909 HAS SOUS 2055568 HAS SOUPS 2055540 WITH SCORE 2058389.938
AT ITER 690 NEW BEST:: SOT 2909715 SOS 2849938 HAS SOPS 2849909 HAS SOUS 2055495 HAS SOUPS 2055467 WITH SCORE 2058316.938
AT ITER 695 NEW BEST:: SOT 2909715 SOS 2849938 HAS SOPS 2849909 HAS SOUS 2055398 HAS SOUPS 2055370 WITH SCORE 2058219.938
AT ITER 749 NEW BEST:: SOT 2910610 SOS 2850833 HAS SOPS 2850804 HAS SOUS 2051038 HAS SOUPS 2051010 WITH SCORE 2053860.833
AT ITER 799 NEW BEST:: SOT 2910610 SOS 2850833 HAS SOPS 2850804 HAS SOUS 2051004 HAS SOUPS 2050976 WITH SCORE 2053826.833
AT ITER 815 NEW BEST:: SOT 2910974 SOS 2851197 HAS SOPS 2851168 HAS SOUS 2050392 HAS SOUPS 2050364 WITH SCORE 2053215.197
AT ITER 844 NEW BEST:: SOT 2910974 SOS 2851197 HAS SOPS 2851168 HAS SOUS 2050391 HAS SOUPS 2050363 WITH SCORE 2053214.197
AT ITER 845 NEW BEST:: SOT 2910974 SOS 2851197 HAS SOPS 2851168 HAS SOUS 2050007 HAS SOUPS 2049979 WITH SCORE 2052830.197
AT ITER 847 NEW BEST:: SOT 2911548 SOS 2851771 HAS SOPS 2851742 HAS SOUS 2049892 HAS SOUPS 2049864 WITH SCORE 2052715.771
AT ITER 856 NEW BEST:: SOT 2911548 SOS 2851771 HAS SOPS 2851742 HAS SOUS 2048424 HAS SOUPS 2048396 WITH SCORE 2051247.771
AT ITER 911 NEW BEST:: SOT 2911548 SOS 2851649 HAS SOPS 2851620 HAS SOUS 2048424 HAS SOUPS 2048396 WITH SCORE 2051247.649
AT ITER 912 NEW BEST:: SOT 2912568 SOS 2852669 HAS SOPS 2852640 HAS SOUS 2048128 HAS SOUPS 2048100 WITH SCORE 2050952.669
AT ITER 919 NEW BEST:: SOT 2913585 SOS 2853686 HAS SOPS 2853657 HAS SOUS 2045752 HAS SOUPS 2045724 WITH SCORE 2048577.686
AT ITER 933 NEW BEST:: SOT 2916042 SOS 2856143 HAS SOPS 2856114 HAS SOUS 2045197 HAS SOUPS 2045169 WITH SCORE 2048025.143
AT ITER 934 NEW BEST:: SOT 2917665 SOS 2857766 HAS SOPS 2857737 HAS SOUS 2044824 HAS SOUPS 2044796 WITH SCORE 2047653.766
AT ITER 942 NEW BEST:: SOT 2917665 SOS 2857765 HAS SOPS 2857736 HAS SOUS 2044823 HAS SOUPS 2044795 WITH SCORE 2047652.765
AT ITER 996 NEW BEST:: SOT 2919588 SOS 2859688 HAS SOPS 2859659 HAS SOUS 2043131 HAS SOUPS 2043103 WITH SCORE 2045962.688
AT ITER 1000 NEW BEST:: SOT 2923506 SOS 2863606 HAS SOPS 2863577 HAS SOUS 2043076 HAS SOUPS 2043048 WITH SCORE 2045911.606
AT ITER 1019 NEW BEST:: SOT 2924752 SOS 2864852 HAS SOPS 2864823 HAS SOUS 2042826 HAS SOUPS 2042798 WITH SCORE 2045662.852
AT ITER 1032 NEW BEST:: SOT 2924752 SOS 2864852 HAS SOPS 2864823 HAS SOUS 2042513 HAS SOUPS 2042485 WITH SCORE 2045349.852
AT ITER 1066 NEW BEST:: SOT 2924752 SOS 2864852 HAS SOPS 2864823 HAS SOUS 2042494 HAS SOUPS 2042466 WITH SCORE 2045330.852
AT ITER 1119 NEW BEST:: SOT 2924752 SOS 2864852 HAS SOPS 2864823 HAS SOUS 2042366 HAS SOUPS 2042338 WITH SCORE 2045202.852
AT ITER 1124 NEW BEST:: SOT 2924752 SOS 2864852 HAS SOPS 2864823 HAS SOUS 2041706 HAS SOUPS 2041678 WITH SCORE 2044542.852
AT ITER 1147 NEW BEST:: SOT 2924806 SOS 2864906 HAS SOPS 2864877 HAS SOUS 2040031 HAS SOUPS 2040003 WITH SCORE 2042867.906
AT ITER 1168 NEW BEST:: SOT 2924806 SOS 2864906 HAS SOPS 2864877 HAS SOUS 2039411 HAS SOUPS 2039383 WITH SCORE 2042247.906
AT ITER 1183 NEW BEST:: SOT 2925114 SOS 2843725 HAS SOPS 2843654 HAS SOUS 2038414 HAS SOUPS 2038380 WITH SCORE 2041223.725
AT ITER 1209 NEW BEST:: SOT 2925198 SOS 2843809 HAS SOPS 2843738 HAS SOUS 2037696 HAS SOUPS 2037662 WITH SCORE 2040505.809
AT ITER 1244 NEW BEST:: SOT 2925198 SOS 2843809 HAS SOPS 2843738 HAS SOUS 2037695 HAS SOUPS 2037661 WITH SCORE 2040504.809
AT ITER 1251 NEW BEST:: SOT 2925376 SOS 2843987 HAS SOPS 2843916 HAS SOUS 2036857 HAS SOUPS 2036823 WITH SCORE 2039666.987
AT ITER 1265 NEW BEST:: SOT 2927802 SOS 2845567 HAS SOPS 2845489 HAS SOUS 2035334 HAS SOUPS 2035300 WITH SCORE 2038145.567
AT ITER 1313 NEW BEST:: SOT 2932418 SOS 2849347 HAS SOPS 2849262 HAS SOUS 2034997 HAS SOUPS 2034963 WITH SCORE 2037812.347
AT ITER 1329 NEW BEST:: SOT 2932418 SOS 2849347 HAS SOPS 2849262 HAS SOUS 2034571 HAS SOUPS 2034537 WITH SCORE 2037386.347
AT ITER 1340 NEW BEST:: SOT 2932418 SOS 2849347 HAS SOPS 2849262 HAS SOUS 2034275 HAS SOUPS 2034241 WITH SCORE 2037090.347
AT ITER 1366 NEW BEST:: SOT 2932440 SOS 2849369 HAS SOPS 2849284 HAS SOUS 2033634 HAS SOUPS 2033600 WITH SCORE 2036449.369
AT ITER 1387 NEW BEST:: SOT 2932440 SOS 2849325 HAS SOPS 2849240 HAS SOUS 2031554 HAS SOUPS 2031520 WITH SCORE 2034369.325
AT ITER 1413 NEW BEST:: SOT 2934207 SOS 2851092 HAS SOPS 2851007 HAS SOUS 2031189 HAS SOUPS 2031155 WITH SCORE 2034006.092
AT ITER 1450 NEW BEST:: SOT 2934207 SOS 2845836 HAS SOPS 2845751 HAS SOUS 2028600 HAS SOUPS 2028566 WITH SCORE 2031411.836
AT ITER 1485 NEW BEST:: SOT 2935223 SOS 2846852 HAS SOPS 2846767 HAS SOUS 2028199 HAS SOUPS 2028165 WITH SCORE 2031011.852
AT ITER 1563 NEW BEST:: SOT 2935520 SOS 2847149 HAS SOPS 2847064 HAS SOUS 2026701 HAS SOUPS 2026667 WITH SCORE 2029514.149
AT ITER 1574 NEW BEST:: SOT 2935520 SOS 2847149 HAS SOPS 2847064 HAS SOUS 2026641 HAS SOUPS 2026607 WITH SCORE 2029454.149
AT ITER 1613 NEW BEST:: SOT 2935520 SOS 2847149 HAS SOPS 2847064 HAS SOUS 2025891 HAS SOUPS 2025857 WITH SCORE 2028704.149
AT ITER 1616 NEW BEST:: SOT 2935520 SOS 2847149 HAS SOPS 2847064 HAS SOUS 2025890 HAS SOUPS 2025856 WITH SCORE 2028703.149
AT ITER 1624 NEW BEST:: SOT 2939524 SOS 2850294 HAS SOPS 2850202 HAS SOUS 2024949 HAS SOUPS 2024915 WITH SCORE 2027765.294
AT ITER 1638 NEW BEST:: SOT 2939510 SOS 2850168 HAS SOPS 2850076 HAS SOUS 2024949 HAS SOUPS 2024915 WITH SCORE 2027765.168
AT ITER 1646 NEW BEST:: SOT 2938810 SOS 2849468 HAS SOPS 2849376 HAS SOUS 2024597 HAS SOUPS 2024563 WITH SCORE 2027412.468
AT ITER 1649 NEW BEST:: SOT 2939674 SOS 2850332 HAS SOPS 2850240 HAS SOUS 2024315 HAS SOUPS 2024281 WITH SCORE 2027131.332
AT ITER 1655 NEW BEST:: SOT 2938922 SOS 2849580 HAS SOPS 2849488 HAS SOUS 2023905 HAS SOUPS 2023871 WITH SCORE 2026720.58
AT ITER 1688 NEW BEST:: SOT 2938922 SOS 2849580 HAS SOPS 2849488 HAS SOUS 2023568 HAS SOUPS 2023534 WITH SCORE 2026383.58
AT ITER 1724 NEW BEST:: SOT 2939339 SOS 2849997 HAS SOPS 2849905 HAS SOUS 2022608 HAS SOUPS 2022574 WITH SCORE 2025423.997
AT ITER 1748 NEW BEST:: SOT 2939339 SOS 2849997 HAS SOPS 2849905 HAS SOUS 2022219 HAS SOUPS 2022185 WITH SCORE 2025034.997
AT ITER 1761 NEW BEST:: SOT 2940956 SOS 2851614 HAS SOPS 2851522 HAS SOUS 2022152 HAS SOUPS 2022118 WITH SCORE 2024969.614
AT ITER 1778 NEW BEST:: SOT 2943718 SOS 2853529 HAS SOPS 2853430 HAS SOUS 2020739 HAS SOUPS 2020705 WITH SCORE 2023558.529
AT ITER 1830 NEW BEST:: SOT 2944604 SOS 2854415 HAS SOPS 2854316 HAS SOUS 2020523 HAS SOUPS 2020489 WITH SCORE 2023343.415
AT ITER 2007 NEW BEST:: SOT 2943380 SOS 2853191 HAS SOPS 2853092 HAS SOUS 2020115 HAS SOUPS 2020081 WITH SCORE 2022934.191
AT ITER 2009 NEW BEST:: SOT 2943380 SOS 2853191 HAS SOPS 2853092 HAS SOUS 2019965 HAS SOUPS 2019931 WITH SCORE 2022784.191
AT ITER 2014 NEW BEST:: SOT 2943663 SOS 2852604 HAS SOPS 2852505 HAS SOUS 2019721 HAS SOUPS 2019687 WITH SCORE 2022539.604
AT ITER 2026 NEW BEST:: SOT 2943871 SOS 2852812 HAS SOPS 2852713 HAS SOUS 2019224 HAS SOUPS 2019190 WITH SCORE 2022042.812
AT ITER 2040 NEW BEST:: SOT 2943871 SOS 2852812 HAS SOPS 2852713 HAS SOUS 2016332 HAS SOUPS 2016298 WITH SCORE 2019150.812
AT ITER 2051 NEW BEST:: SOT 2943871 SOS 2852812 HAS SOPS 2852713 HAS SOUS 2016063 HAS SOUPS 2016029 WITH SCORE 2018881.812
AT ITER 2074 NEW BEST:: SOT 2940337 SOS 2849278 HAS SOPS 2849179 HAS SOUS 2014885 HAS SOUPS 2014851 WITH SCORE 2017700.278
AT ITER 2086 NEW BEST:: SOT 2941144 SOS 2850085 HAS SOPS 2849986 HAS SOUS 2014120 HAS SOUPS 2014086 WITH SCORE 2016936.085
AT ITER 2101 NEW BEST:: SOT 2942142 SOS 2851083 HAS SOPS 2850984 HAS SOUS 2013897 HAS SOUPS 2013863 WITH SCORE 2016714.083
AT ITER 2109 NEW BEST:: SOT 2942654 SOS 2851595 HAS SOPS 2851496 HAS SOUS 2013675 HAS SOUPS 2013641 WITH SCORE 2016492.595
AT ITER 2114 NEW BEST:: SOT 2942654 SOS 2851595 HAS SOPS 2851496 HAS SOUS 2011627 HAS SOUPS 2011593 WITH SCORE 2014444.595
AT ITER 2116 NEW BEST:: SOT 2942654 SOS 2851595 HAS SOPS 2851496 HAS SOUS 2011186 HAS SOUPS 2011152 WITH SCORE 2014003.595
AT ITER 2139 NEW BEST:: SOT 2942750 SOS 2851647 HAS SOPS 2851548 HAS SOUS 2010807 HAS SOUPS 2010773 WITH SCORE 2013624.647
AT ITER 2162 NEW BEST:: SOT 2943730 SOS 2851775 HAS SOPS 2851669 HAS SOUS 2008790 HAS SOUPS 2008756 WITH SCORE 2011607.775
AT ITER 2168 NEW BEST:: SOT 2943730 SOS 2851775 HAS SOPS 2851669 HAS SOUS 2008762 HAS SOUPS 2008728 WITH SCORE 2011579.775
AT ITER 2229 NEW BEST:: SOT 2943745 SOS 2851790 HAS SOPS 2851684 HAS SOUS 2006475 HAS SOUPS 2006441 WITH SCORE 2009292.79
AT ITER 2304 NEW BEST:: SOT 2943745 SOS 2851790 HAS SOPS 2851684 HAS SOUS 2006171 HAS SOUPS 2006137 WITH SCORE 2008988.79
AT ITER 2305 NEW BEST:: SOT 2943745 SOS 2851790 HAS SOPS 2851684 HAS SOUS 2006039 HAS SOUPS 2006005 WITH SCORE 2008856.79
AT ITER 2320 NEW BEST:: SOT 2947890 SOS 2855935 HAS SOPS 2855829 HAS SOUS 2005779 HAS SOUPS 2005745 WITH SCORE 2008600.935
AT ITER 2336 NEW BEST:: SOT 2947890 SOS 2855935 HAS SOPS 2855829 HAS SOUS 2005703 HAS SOUPS 2005669 WITH SCORE 2008524.935
AT ITER 2367 NEW BEST:: SOT 2952427 SOS 2859489 HAS SOPS 2859376 HAS SOUS 2004508 HAS SOUPS 2004474 WITH SCORE 2007333.489
AT ITER 2403 NEW BEST:: SOT 2952469 SOS 2859531 HAS SOPS 2859418 HAS SOUS 2004207 HAS SOUPS 2004173 WITH SCORE 2007032.531
AT ITER 2424 NEW BEST:: SOT 2952435 SOS 2859497 HAS SOPS 2859384 HAS SOUS 2004190 HAS SOUPS 2004156 WITH SCORE 2007015.497
AT ITER 2444 NEW BEST:: SOT 2952435 SOS 2859497 HAS SOPS 2859384 HAS SOUS 2003953 HAS SOUPS 2003919 WITH SCORE 2006778.497
AT ITER 2457 NEW BEST:: SOT 2954247 SOS 2861309 HAS SOPS 2861196 HAS SOUS 2003560 HAS SOUPS 2003526 WITH SCORE 2006387.309
AT ITER 2465 NEW BEST:: SOT 2954497 SOS 2861559 HAS SOPS 2861446 HAS SOUS 2003399 HAS SOUPS 2003365 WITH SCORE 2006226.559
AT ITER 2469 NEW BEST:: SOT 2955743 SOS 2862805 HAS SOPS 2862692 HAS SOUS 2003332 HAS SOUPS 2003298 WITH SCORE 2006160.805
AT ITER 2484 NEW BEST:: SOT 2956923 SOS 2863985 HAS SOPS 2863872 HAS SOUS 2003199 HAS SOUPS 2003165 WITH SCORE 2006028.985
AT ITER 2492 NEW BEST:: SOT 2956923 SOS 2863985 HAS SOPS 2863872 HAS SOUS 2003192 HAS SOUPS 2003158 WITH SCORE 2006021.985
AT ITER 2493 NEW BEST:: SOT 2956923 SOS 2863985 HAS SOPS 2863872 HAS SOUS 2002408 HAS SOUPS 2002374 WITH SCORE 2005237.985
AT ITER 2501 NEW BEST:: SOT 2956923 SOS 2863985 HAS SOPS 2863872 HAS SOUS 2002300 HAS SOUPS 2002266 WITH SCORE 2005129.985
AT ITER 2549 NEW BEST:: SOT 2956923 SOS 2863686 HAS SOPS 2863573 HAS SOUS 2001702 HAS SOUPS 2001668 WITH SCORE 2004531.686
AT ITER 2551 NEW BEST:: SOT 2956923 SOS 2863187 HAS SOPS 2863074 HAS SOUS 2000704 HAS SOUPS 2000670 WITH SCORE 2003533.187
AT ITER 2569 NEW BEST:: SOT 2962258 SOS 2868522 HAS SOPS 2868409 HAS SOUS 1997987 HAS SOUPS 1997953 WITH SCORE 2000821.522
AT ITER 2582 NEW BEST:: SOT 2962258 SOS 2868582 HAS SOPS 2868469 HAS SOUS 1995275 HAS SOUPS 1995241 WITH SCORE 1998109.582
AT ITER 2592 NEW BEST:: SOT 2965256 SOS 2871580 HAS SOPS 2871467 HAS SOUS 1995039 HAS SOUPS 1995005 WITH SCORE 1997876.58
AT ITER 2600 NEW BEST:: SOT 2966597 SOS 2872367 HAS SOPS 2872247 HAS SOUS 1993924 HAS SOUPS 1993890 WITH SCORE 1996762.367
AT ITER 2610 NEW BEST:: SOT 2966597 SOS 2872367 HAS SOPS 2872247 HAS SOUS 1992801 HAS SOUPS 1992767 WITH SCORE 1995639.367
AT ITER 2618 NEW BEST:: SOT 2966870 SOS 2872640 HAS SOPS 2872520 HAS SOUS 1991958 HAS SOUPS 1991924 WITH SCORE 1994796.64
AT ITER 2634 NEW BEST:: SOT 2966897 SOS 2872667 HAS SOPS 2872547 HAS SOUS 1990210 HAS SOUPS 1990176 WITH SCORE 1993048.667
AT ITER 2656 NEW BEST:: SOT 2971292 SOS 2877062 HAS SOPS 2876942 HAS SOUS 1989585 HAS SOUPS 1989551 WITH SCORE 1992428.062
AT ITER 2710 NEW BEST:: SOT 2971292 SOS 2875906 HAS SOPS 2875786 HAS SOUS 1987101 HAS SOUPS 1987067 WITH SCORE 1989942.906
AT ITER 2726 NEW BEST:: SOT 2972052 SOS 2876666 HAS SOPS 2876546 HAS SOUS 1983137 HAS SOUPS 1983103 WITH SCORE 1985979.666
AT ITER 2744 NEW BEST:: SOT 2972795 SOS 2876095 HAS SOPS 2875975 HAS SOUS 1983047 HAS SOUPS 1983013 WITH SCORE 1985889.095
AT ITER 2750 NEW BEST:: SOT 2972795 SOS 2876095 HAS SOPS 2875975 HAS SOUS 1982399 HAS SOUPS 1982365 WITH SCORE 1985241.095
AT ITER 2794 NEW BEST:: SOT 2974715 SOS 2878015 HAS SOPS 2877895 HAS SOUS 1981398 HAS SOUPS 1981364 WITH SCORE 1984242.015
AT ITER 2806 NEW BEST:: SOT 2975321 SOS 2878621 HAS SOPS 2878501 HAS SOUS 1981043 HAS SOUPS 1981009 WITH SCORE 1983887.621
AT ITER 2830 NEW BEST:: SOT 2977136 SOS 2880436 HAS SOPS 2880316 HAS SOUS 1980597 HAS SOUPS 1980563 WITH SCORE 1983443.436
AT ITER 2847 NEW BEST:: SOT 2977136 SOS 2880436 HAS SOPS 2880316 HAS SOUS 1980587 HAS SOUPS 1980553 WITH SCORE 1983433.436
AT ITER 2858 NEW BEST:: SOT 2977136 SOS 2880050 HAS SOPS 2879930 HAS SOUS 1980458 HAS SOUPS 1980424 WITH SCORE 1983304.05
AT ITER 2873 NEW BEST:: SOT 2977018 SOS 2879932 HAS SOPS 2879812 HAS SOUS 1980399 HAS SOUPS 1980365 WITH SCORE 1983244.932
AT ITER 2883 NEW BEST:: SOT 2977018 SOS 2879932 HAS SOPS 2879812 HAS SOUS 1980370 HAS SOUPS 1980336 WITH SCORE 1983215.932
AT ITER 2889 NEW BEST:: SOT 2979146 SOS 2881339 HAS SOPS 2881219 HAS SOUS 1970124 HAS SOUPS 1970090 WITH SCORE 1972971.339
AT ITER 2893 NEW BEST:: SOT 2979146 SOS 2876781 HAS SOPS 2876661 HAS SOUS 1970124 HAS SOUPS 1970090 WITH SCORE 1972966.781
AT ITER 2914 NEW BEST:: SOT 2982439 SOS 2879533 HAS SOPS 2879406 HAS SOUS 1969253 HAS SOUPS 1969219 WITH SCORE 1972098.533
AT ITER 2929 NEW BEST:: SOT 2982599 SOS 2879693 HAS SOPS 2879566 HAS SOUS 1968350 HAS SOUPS 1968316 WITH SCORE 1971195.693
AT ITER 2963 NEW BEST:: SOT 2982959 SOS 2880053 HAS SOPS 2879926 HAS SOUS 1968043 HAS SOUPS 1968009 WITH SCORE 1970889.053
AT ITER 2969 NEW BEST:: SOT 2986454 SOS 2883548 HAS SOPS 2883421 HAS SOUS 1967478 HAS SOUPS 1967444 WITH SCORE 1970327.548
AT ITER 3001 NEW BEST:: SOT 2986454 SOS 2882730 HAS SOPS 2882603 HAS SOUS 1963986 HAS SOUPS 1963952 WITH SCORE 1966834.73
AT ITER 3007 NEW BEST:: SOT 2991302 SOS 2887578 HAS SOPS 2887451 HAS SOUS 1963435 HAS SOUPS 1963401 WITH SCORE 1966288.578
AT ITER 3033 NEW BEST:: SOT 2991826 SOS 2888102 HAS SOPS 2887975 HAS SOUS 1963226 HAS SOUPS 1963192 WITH SCORE 1966080.102
AT ITER 3044 NEW BEST:: SOT 2991826 SOS 2888102 HAS SOPS 2887975 HAS SOUS 1963002 HAS SOUPS 1962968 WITH SCORE 1965856.102
AT ITER 3056 NEW BEST:: SOT 2991826 SOS 2888102 HAS SOPS 2887975 HAS SOUS 1962464 HAS SOUPS 1962430 WITH SCORE 1965318.102
AT ITER 3065 NEW BEST:: SOT 2991826 SOS 2888102 HAS SOPS 2887975 HAS SOUS 1962253 HAS SOUPS 1962219 WITH SCORE 1965107.102
AT ITER 3073 NEW BEST:: SOT 2993871 SOS 2890147 HAS SOPS 2890020 HAS SOUS 1958323 HAS SOUPS 1958289 WITH SCORE 1961179.147
AT ITER 3088 NEW BEST:: SOT 2993871 SOS 2890147 HAS SOPS 2890020 HAS SOUS 1957766 HAS SOUPS 1957732 WITH SCORE 1960622.147
AT ITER 3091 NEW BEST:: SOT 2993871 SOS 2890147 HAS SOPS 2890020 HAS SOUS 1956311 HAS SOUPS 1956277 WITH SCORE 1959167.147
AT ITER 3097 NEW BEST:: SOT 2998854 SOS 2895130 HAS SOPS 2895003 HAS SOUS 1955656 HAS SOUPS 1955622 WITH SCORE 1958517.13
AT ITER 3098 NEW BEST:: SOT 2997969 SOS 2894245 HAS SOPS 2894118 HAS SOUS 1955361 HAS SOUPS 1955327 WITH SCORE 1958221.245
AT ITER 3110 NEW BEST:: SOT 2997969 SOS 2894245 HAS SOPS 2894118 HAS SOUS 1955360 HAS SOUPS 1955326 WITH SCORE 1958220.245
AT ITER 3119 NEW BEST:: SOT 2998920 SOS 2895196 HAS SOPS 2895069 HAS SOUS 1955126 HAS SOUPS 1955092 WITH SCORE 1957987.196
AT ITER 3120 NEW BEST:: SOT 2999973 SOS 2896249 HAS SOPS 2896122 HAS SOUS 1954454 HAS SOUPS 1954420 WITH SCORE 1957316.249
AT ITER 3122 NEW BEST:: SOT 3001542 SOS 2897818 HAS SOPS 2897691 HAS SOUS 1953598 HAS SOUPS 1953564 WITH SCORE 1956461.818
AT ITER 3128 NEW BEST:: SOT 3002527 SOS 2896733 HAS SOPS 2896606 HAS SOUS 1940823 HAS SOUPS 1940789 WITH SCORE 1943685.733
AT ITER 3140 NEW BEST:: SOT 3003107 SOS 2897313 HAS SOPS 2897186 HAS SOUS 1940777 HAS SOUPS 1940743 WITH SCORE 1943640.313
AT ITER 3150 NEW BEST:: SOT 3004706 SOS 2898912 HAS SOPS 2898785 HAS SOUS 1940275 HAS SOUPS 1940241 WITH SCORE 1943139.912
AT ITER 3159 NEW BEST:: SOT 3004868 SOS 2899074 HAS SOPS 2898947 HAS SOUS 1939461 HAS SOUPS 1939427 WITH SCORE 1942326.074
AT ITER 3167 NEW BEST:: SOT 3006254 SOS 2900460 HAS SOPS 2900333 HAS SOUS 1937515 HAS SOUPS 1937481 WITH SCORE 1940381.46
AT ITER 3173 NEW BEST:: SOT 3006254 SOS 2900460 HAS SOPS 2900333 HAS SOUS 1934341 HAS SOUPS 1934307 WITH SCORE 1937207.46
AT ITER 3180 NEW BEST:: SOT 3006644 SOS 2900850 HAS SOPS 2900723 HAS SOUS 1934316 HAS SOUPS 1934282 WITH SCORE 1937182.85
AT ITER 3193 NEW BEST:: SOT 3005291 SOS 2899497 HAS SOPS 2899370 HAS SOUS 1933865 HAS SOUPS 1933831 WITH SCORE 1936730.497
AT ITER 3196 NEW BEST:: SOT 3007117 SOS 2901323 HAS SOPS 2901196 HAS SOUS 1929384 HAS SOUPS 1929350 WITH SCORE 1932251.323
AT ITER 3204 NEW BEST:: SOT 3008982 SOS 2902207 HAS SOPS 2902073 HAS SOUS 1926832 HAS SOUPS 1926798 WITH SCORE 1929700.207
AT ITER 3210 NEW BEST:: SOT 3010310 SOS 2903535 HAS SOPS 2903401 HAS SOUS 1926762 HAS SOUPS 1926728 WITH SCORE 1929631.535
AT ITER 3216 NEW BEST:: SOT 3010310 SOS 2903051 HAS SOPS 2902917 HAS SOUS 1926277 HAS SOUPS 1926243 WITH SCORE 1929146.051
AT ITER 3218 NEW BEST:: SOT 3011324 SOS 2901708 HAS SOPS 2901574 HAS SOUS 1908456 HAS SOUPS 1908422 WITH SCORE 1911323.708
AT ITER 3227 NEW BEST:: SOT 3012762 SOS 2903146 HAS SOPS 2903012 HAS SOUS 1907384 HAS SOUPS 1907350 WITH SCORE 1910253.146
AT ITER 3301 NEW BEST:: SOT 3016185 SOS 2906569 HAS SOPS 2906435 HAS SOUS 1906881 HAS SOUPS 1906847 WITH SCORE 1909753.569
AT ITER 3344 NEW BEST:: SOT 3016953 SOS 2907337 HAS SOPS 2907203 HAS SOUS 1906511 HAS SOUPS 1906477 WITH SCORE 1909384.337
AT ITER 3359 NEW BEST:: SOT 3016953 SOS 2907337 HAS SOPS 2907203 HAS SOUS 1906374 HAS SOUPS 1906340 WITH SCORE 1909247.337
AT ITER 3363 NEW BEST:: SOT 3016953 SOS 2907982 HAS SOPS 2907848 HAS SOUS 1899791 HAS SOUPS 1899757 WITH SCORE 1902664.982
AT ITER 3390 NEW BEST:: SOT 3017685 SOS 2908714 HAS SOPS 2908580 HAS SOUS 1888608 HAS SOUPS 1888574 WITH SCORE 1891482.714
AT ITER 3442 NEW BEST:: SOT 3017685 SOS 2906704 HAS SOPS 2906570 HAS SOUS 1878658 HAS SOUPS 1878624 WITH SCORE 1881530.704
AT ITER 3455 NEW BEST:: SOT 3028089 SOS 2917108 HAS SOPS 2916974 HAS SOUS 1876107 HAS SOUPS 1876073 WITH SCORE 1878990.108
AT ITER 3475 NEW BEST:: SOT 3028096 SOS 2917251 HAS SOPS 2917117 HAS SOUS 1875824 HAS SOUPS 1875790 WITH SCORE 1878707.251
AT ITER 3485 NEW BEST:: SOT 3031542 SOS 2919601 HAS SOPS 2919460 HAS SOUS 1873861 HAS SOUPS 1873827 WITH SCORE 1876746.601
AT ITER 3488 NEW BEST:: SOT 3031509 SOS 2919568 HAS SOPS 2919427 HAS SOUS 1873850 HAS SOUPS 1873816 WITH SCORE 1876735.568
AT ITER 3490 NEW BEST:: SOT 3031509 SOS 2919568 HAS SOPS 2919427 HAS SOUS 1873276 HAS SOUPS 1873242 WITH SCORE 1876161.568
AT ITER 3498 NEW BEST:: SOT 3033477 SOS 2920707 HAS SOPS 2920566 HAS SOUS 1862299 HAS SOUPS 1862265 WITH SCORE 1865185.707
AT ITER 3499 NEW BEST:: SOT 3033477 SOS 2920524 HAS SOPS 2920383 HAS SOUS 1861970 HAS SOUPS 1861936 WITH SCORE 1864856.524
AT ITER 3512 NEW BEST:: SOT 3035936 SOS 2920006 HAS SOPS 2919805 HAS SOUS 1843776 HAS SOUPS 1843689 WITH SCORE 1846609.006
AT ITER 3522 NEW BEST:: SOT 3035936 SOS 2919586 HAS SOPS 2919385 HAS SOUS 1841886 HAS SOUPS 1841799 WITH SCORE 1844718.586
AT ITER 3539 NEW BEST:: SOT 3038116 SOS 2921766 HAS SOPS 2921565 HAS SOUS 1841415 HAS SOUPS 1841328 WITH SCORE 1844249.766
AT ITER 3562 NEW BEST:: SOT 3038116 SOS 2920574 HAS SOPS 2920373 HAS SOUS 1838362 HAS SOUPS 1838275 WITH SCORE 1841195.574
AT ITER 3588 NEW BEST:: SOT 3038116 SOS 2918102 HAS SOPS 2917901 HAS SOUS 1828516 HAS SOUPS 1828429 WITH SCORE 1831347.102
AT ITER 3599 NEW BEST:: SOT 3038116 SOS 2917809 HAS SOPS 2917608 HAS SOUS 1828516 HAS SOUPS 1828429 WITH SCORE 1831346.809
AT ITER 3605 NEW BEST:: SOT 3041782 SOS 2921475 HAS SOPS 2921274 HAS SOUS 1826195 HAS SOUPS 1826108 WITH SCORE 1829029.475
AT ITER 3613 NEW BEST:: SOT 3041782 SOS 2899183 HAS SOPS 2898982 HAS SOUS 1826200 HAS SOUPS 1826113 WITH SCORE 1829012.183
AT ITER 3621 NEW BEST:: SOT 3041782 SOS 2899183 HAS SOPS 2898982 HAS SOUS 1826149 HAS SOUPS 1826062 WITH SCORE 1828961.183
AT ITER 3630 NEW BEST:: SOT 3051232 SOS 2908633 HAS SOPS 2908432 HAS SOUS 1825111 HAS SOUPS 1825024 WITH SCORE 1827932.633
AT ITER 3631 NEW BEST:: SOT 3051232 SOS 2905937 HAS SOPS 2905736 HAS SOUS 1814448 HAS SOUPS 1814361 WITH SCORE 1817266.937
AT ITER 3632 NEW BEST:: SOT 3053330 SOS 2908035 HAS SOPS 2907834 HAS SOUS 1814184 HAS SOUPS 1814097 WITH SCORE 1817005.035
AT ITER 3633 NEW BEST:: SOT 3057248 SOS 2910590 HAS SOPS 2910382 HAS SOUS 1811323 HAS SOUPS 1811236 WITH SCORE 1814146.59
AT ITER 3634 NEW BEST:: SOT 3061400 SOS 2914742 HAS SOPS 2914534 HAS SOUS 1810324 HAS SOUPS 1810237 WITH SCORE 1813151.742
AT ITER 3646 NEW BEST:: SOT 3061400 SOS 2914742 HAS SOPS 2914534 HAS SOUS 1810283 HAS SOUPS 1810196 WITH SCORE 1813110.742
AT ITER 3656 NEW BEST:: SOT 3061837 SOS 2914191 HAS SOPS 2913976 HAS SOUS 1807614 HAS SOUPS 1807527 WITH SCORE 1810441.191
AT ITER 3659 NEW BEST:: SOT 3063778 SOS 2916132 HAS SOPS 2915917 HAS SOUS 1806665 HAS SOUPS 1806578 WITH SCORE 1809494.132
AT ITER 3661 NEW BEST:: SOT 3066482 SOS 2918836 HAS SOPS 2918621 HAS SOUS 1805561 HAS SOUPS 1805474 WITH SCORE 1808392.836
AT ITER 3664 NEW BEST:: SOT 3066482 SOS 2918836 HAS SOPS 2918621 HAS SOUS 1805455 HAS SOUPS 1805368 WITH SCORE 1808286.836
AT ITER 3668 NEW BEST:: SOT 3066482 SOS 2918836 HAS SOPS 2918621 HAS SOUS 1805288 HAS SOUPS 1805201 WITH SCORE 1808119.836
AT ITER 3693 NEW BEST:: SOT 3066482 SOS 2918836 HAS SOPS 2918621 HAS SOUS 1797357 HAS SOUPS 1797270 WITH SCORE 1800188.836
AT ITER 3699 NEW BEST:: SOT 3072818 SOS 2924798 HAS SOPS 2924583 HAS SOUS 1786759 HAS SOUPS 1786672 WITH SCORE 1789596.798
AT ITER 3722 NEW BEST:: SOT 3080954 SOS 2932934 HAS SOPS 2932719 HAS SOUS 1786444 HAS SOUPS 1786357 WITH SCORE 1789289.934
AT ITER 3733 NEW BEST:: SOT 3080954 SOS 2932934 HAS SOPS 2932719 HAS SOUS 1786443 HAS SOUPS 1786356 WITH SCORE 1789288.934
AT ITER 3754 NEW BEST:: SOT 3084655 SOS 2935787 HAS SOPS 2935565 HAS SOUS 1785883 HAS SOUPS 1785796 WITH SCORE 1788731.787
AT ITER 3783 NEW BEST:: SOT 3085095 SOS 2936227 HAS SOPS 2936005 HAS SOUS 1785805 HAS SOUPS 1785718 WITH SCORE 1788654.227
AT ITER 3816 NEW BEST:: SOT 3085074 SOS 2936206 HAS SOPS 2935984 HAS SOUS 1785607 HAS SOUPS 1785520 WITH SCORE 1788456.206
AT ITER 3836 NEW BEST:: SOT 3085363 SOS 2936495 HAS SOPS 2936273 HAS SOUS 1784579 HAS SOUPS 1784492 WITH SCORE 1787428.495
AT ITER 3837 NEW BEST:: SOT 3085363 SOS 2932876 HAS SOPS 2932654 HAS SOUS 1784481 HAS SOUPS 1784394 WITH SCORE 1787326.876
AT ITER 3880 NEW BEST:: SOT 3097763 SOS 2945276 HAS SOPS 2945054 HAS SOUS 1783266 HAS SOUPS 1783179 WITH SCORE 1786124.276
AT ITER 3883 NEW BEST:: SOT 3097792 SOS 2945305 HAS SOPS 2945083 HAS SOUS 1781905 HAS SOUPS 1781818 WITH SCORE 1784763.305
AT ITER 3896 NEW BEST:: SOT 3098114 SOS 2945627 HAS SOPS 2945405 HAS SOUS 1781338 HAS SOUPS 1781251 WITH SCORE 1784196.627
AT ITER 3904 NEW BEST:: SOT 3106706 SOS 2953946 HAS SOPS 2953724 HAS SOUS 1771703 HAS SOUPS 1771616 WITH SCORE 1774569.946
AT ITER 3910 NEW BEST:: SOT 3104772 SOS 2952500 HAS SOPS 2952338 HAS SOUS 1770031 HAS SOUPS 1769997 WITH SCORE 1772949.5
AT ITER 3919 NEW BEST:: SOT 3118907 SOS 2966635 HAS SOPS 2966473 HAS SOUS 1764309 HAS SOUPS 1764275 WITH SCORE 1767241.635
AT ITER 3939 NEW BEST:: SOT 3119443 SOS 2967171 HAS SOPS 2967009 HAS SOUS 1764281 HAS SOUPS 1764247 WITH SCORE 1767214.171
AT ITER 3948 NEW BEST:: SOT 3122551 SOS 2970279 HAS SOPS 2970117 HAS SOUS 1753482 HAS SOUPS 1753448 WITH SCORE 1756418.279
AT ITER 3981 NEW BEST:: SOT 3122855 SOS 2970583 HAS SOPS 2970421 HAS SOUS 1753359 HAS SOUPS 1753325 WITH SCORE 1756295.583
AT ITER 4000 NEW BEST:: SOT 3122855 SOS 2970583 HAS SOPS 2970421 HAS SOUS 1753162 HAS SOUPS 1753128 WITH SCORE 1756098.583
AT ITER 4014 NEW BEST:: SOT 3136883 SOS 2980460 HAS SOPS 2980298 HAS SOUS 1743691 HAS SOUPS 1743657 WITH SCORE 1746637.46
AT ITER 4059 NEW BEST:: SOT 3136883 SOS 2965839 HAS SOPS 2965677 HAS SOUS 1743348 HAS SOUPS 1743314 WITH SCORE 1746279.839
AT ITER 4076 NEW BEST:: SOT 3136883 SOS 2965839 HAS SOPS 2965677 HAS SOUS 1742377 HAS SOUPS 1742343 WITH SCORE 1745308.839
AT ITER 4079 NEW BEST:: SOT 3137067 SOS 2966023 HAS SOPS 2965861 HAS SOUS 1741714 HAS SOUPS 1741680 WITH SCORE 1744646.023
AT ITER 4091 NEW BEST:: SOT 3137565 SOS 2966521 HAS SOPS 2966359 HAS SOUS 1741151 HAS SOUPS 1741117 WITH SCORE 1744083.521
AT ITER 4093 NEW BEST:: SOT 3146563 SOS 2974683 HAS SOPS 2974521 HAS SOUS 1734862 HAS SOUPS 1734828 WITH SCORE 1737802.683
AT ITER 4097 NEW BEST:: SOT 3146563 SOS 2974683 HAS SOPS 2974521 HAS SOUS 1734751 HAS SOUPS 1734717 WITH SCORE 1737691.683
AT ITER 4098 NEW BEST:: SOT 3145195 SOS 2973315 HAS SOPS 2973153 HAS SOUS 1733839 HAS SOUPS 1733805 WITH SCORE 1736778.315
AT ITER 4126 NEW BEST:: SOT 3156127 SOS 2979124 HAS SOPS 2978342 HAS SOUS 1732101 HAS SOUPS 1731514 WITH SCORE 1734493.124
AT ITER 4135 NEW BEST:: SOT 3156127 SOS 2979124 HAS SOPS 2978342 HAS SOUS 1731600 HAS SOUPS 1731013 WITH SCORE 1733992.124
AT ITER 4149 NEW BEST:: SOT 3159309 SOS 2981445 HAS SOPS 2980656 HAS SOUS 1730399 HAS SOUPS 1729812 WITH SCORE 1732793.445
AT ITER 4156 NEW BEST:: SOT 3159269 SOS 2981405 HAS SOPS 2980616 HAS SOUS 1730379 HAS SOUPS 1729792 WITH SCORE 1732773.405
AT ITER 4176 NEW BEST:: SOT 3160324 SOS 2981759 HAS SOPS 2980970 HAS SOUS 1730167 HAS SOUPS 1729580 WITH SCORE 1732561.759
AT ITER 4214 NEW BEST:: SOT 3169469 SOS 2990131 HAS SOPS 2989342 HAS SOUS 1729715 HAS SOUPS 1729128 WITH SCORE 1732118.131
AT ITER 4219 NEW BEST:: SOT 3166112 SOS 2986774 HAS SOPS 2985985 HAS SOUS 1728596 HAS SOUPS 1728009 WITH SCORE 1730995.774
AT ITER 4242 NEW BEST:: SOT 3166112 SOS 2986774 HAS SOPS 2985985 HAS SOUS 1728572 HAS SOUPS 1727985 WITH SCORE 1730971.774
AT ITER 4246 NEW BEST:: SOT 3166162 SOS 2986824 HAS SOPS 2986035 HAS SOUS 1728401 HAS SOUPS 1727814 WITH SCORE 1730800.824
AT ITER 4266 NEW BEST:: SOT 3166162 SOS 2986824 HAS SOPS 2986035 HAS SOUS 1728079 HAS SOUPS 1727492 WITH SCORE 1730478.824
AT ITER 4276 NEW BEST:: SOT 3164105 SOS 2984767 HAS SOPS 2983978 HAS SOUS 1727892 HAS SOUPS 1727305 WITH SCORE 1730289.767
AT ITER 4328 NEW BEST:: SOT 3164105 SOS 2984767 HAS SOPS 2983978 HAS SOUS 1727562 HAS SOUPS 1726975 WITH SCORE 1729959.767
AT ITER 4330 NEW BEST:: SOT 3164105 SOS 2981830 HAS SOPS 2981041 HAS SOUS 1722981 HAS SOUPS 1722394 WITH SCORE 1725375.83
AT ITER 4348 NEW BEST:: SOT 3166418 SOS 2984143 HAS SOPS 2983354 HAS SOUS 1721363 HAS SOUPS 1720776 WITH SCORE 1723760.143
AT ITER 4353 NEW BEST:: SOT 3166418 SOS 2984143 HAS SOPS 2983354 HAS SOUS 1720835 HAS SOUPS 1720248 WITH SCORE 1723232.143
AT ITER 4359 NEW BEST:: SOT 3166418 SOS 2984143 HAS SOPS 2983354 HAS SOUS 1720075 HAS SOUPS 1719488 WITH SCORE 1722472.143
AT ITER 4403 NEW BEST:: SOT 3166176 SOS 2983901 HAS SOPS 2983112 HAS SOUS 1719966 HAS SOUPS 1719379 WITH SCORE 1722362.901
AT ITER 4417 NEW BEST:: SOT 3166176 SOS 2983901 HAS SOPS 2983112 HAS SOUS 1718349 HAS SOUPS 1717762 WITH SCORE 1720745.901
AT ITER 4421 NEW BEST:: SOT 3166119 SOS 2983844 HAS SOPS 2983055 HAS SOUS 1718330 HAS SOUPS 1717743 WITH SCORE 1720726.844
AT ITER 4433 NEW BEST:: SOT 3166119 SOS 2983844 HAS SOPS 2983055 HAS SOUS 1718270 HAS SOUPS 1717683 WITH SCORE 1720666.844
AT ITER 4435 NEW BEST:: SOT 3173139 SOS 2990422 HAS SOPS 2989633 HAS SOUS 1714590 HAS SOUPS 1714003 WITH SCORE 1716993.422
AT ITER 4445 NEW BEST:: SOT 3173139 SOS 2990187 HAS SOPS 2989398 HAS SOUS 1713415 HAS SOUPS 1712828 WITH SCORE 1715818.187
AT ITER 4485 NEW BEST:: SOT 3173139 SOS 2985719 HAS SOPS 2984930 HAS SOUS 1703115 HAS SOUPS 1702528 WITH SCORE 1705513.719
AT ITER 4487 NEW BEST:: SOT 3186066 SOS 2993501 HAS SOPS 2992092 HAS SOUS 1688503 HAS SOUPS 1687916 WITH SCORE 1690909.501
AT ITER 4507 NEW BEST:: SOT 3186224 SOS 2993659 HAS SOPS 2992250 HAS SOUS 1688414 HAS SOUPS 1687827 WITH SCORE 1690820.659
AT ITER 4509 NEW BEST:: SOT 3187097 SOS 2994003 HAS SOPS 2992594 HAS SOUS 1687121 HAS SOUPS 1686534 WITH SCORE 1689528.003
AT ITER 4515 NEW BEST:: SOT 3188011 SOS 2989786 HAS SOPS 2988377 HAS SOUS 1677243 HAS SOUPS 1676656 WITH SCORE 1679645.786
AT ITER 4517 NEW BEST:: SOT 3188011 SOS 2989786 HAS SOPS 2988377 HAS SOUS 1677165 HAS SOUPS 1676578 WITH SCORE 1679567.786
AT ITER 4526 NEW BEST:: SOT 3178016 SOS 2979791 HAS SOPS 2978382 HAS SOUS 1674576 HAS SOUPS 1673989 WITH SCORE 1676968.791
AT ITER 4540 NEW BEST:: SOT 3181573 SOS 2982506 HAS SOPS 2981090 HAS SOUS 1673419 HAS SOUPS 1672832 WITH SCORE 1675814.506
AT ITER 4545 NEW BEST:: SOT 3182953 SOS 2982843 HAS SOPS 2981427 HAS SOUS 1662333 HAS SOUPS 1661746 WITH SCORE 1664728.843
AT ITER 4554 NEW BEST:: SOT 3182953 SOS 2982665 HAS SOPS 2981249 HAS SOUS 1660731 HAS SOUPS 1660144 WITH SCORE 1663126.665
AT ITER 4615 NEW BEST:: SOT 3182371 SOS 2982083 HAS SOPS 2980667 HAS SOUS 1660444 HAS SOUPS 1659857 WITH SCORE 1662839.083
AT ITER 4621 NEW BEST:: SOT 3186854 SOS 2985239 HAS SOPS 2983816 HAS SOUS 1656878 HAS SOUPS 1656291 WITH SCORE 1659276.239
AT ITER 4631 NEW BEST:: SOT 3186854 SOS 2985239 HAS SOPS 2983816 HAS SOUS 1656597 HAS SOUPS 1656010 WITH SCORE 1658995.239
AT ITER 4642 NEW BEST:: SOT 3186854 SOS 2985232 HAS SOPS 2983809 HAS SOUS 1656590 HAS SOUPS 1656003 WITH SCORE 1658988.232
AT ITER 4646 NEW BEST:: SOT 3198094 SOS 2995727 HAS SOPS 2994304 HAS SOUS 1656190 HAS SOUPS 1655603 WITH SCORE 1658598.727
AT ITER 4668 NEW BEST:: SOT 3198094 SOS 2995844 HAS SOPS 2994421 HAS SOUS 1656073 HAS SOUPS 1655486 WITH SCORE 1658481.844
AT ITER 4694 NEW BEST:: SOT 3200065 SOS 2997815 HAS SOPS 2996392 HAS SOUS 1655586 HAS SOUPS 1654999 WITH SCORE 1657996.815
AT ITER 4714 NEW BEST:: SOT 3200203 SOS 2997953 HAS SOPS 2996530 HAS SOUS 1655024 HAS SOUPS 1654437 WITH SCORE 1657434.953
AT ITER 4728 NEW BEST:: SOT 3200203 SOS 2997953 HAS SOPS 2996530 HAS SOUS 1653299 HAS SOUPS 1652712 WITH SCORE 1655709.953
AT ITER 4733 NEW BEST:: SOT 3204115 SOS 3001088 HAS SOPS 2999665 HAS SOUS 1651219 HAS SOUPS 1650632 WITH SCORE 1653633.088
AT ITER 4734 NEW BEST:: SOT 3213043 SOS 3008141 HAS SOPS 3006718 HAS SOUS 1641326 HAS SOUPS 1640739 WITH SCORE 1643747.141
AT ITER 4749 NEW BEST:: SOT 3213742 SOS 3008310 HAS SOPS 3006887 HAS SOUS 1639911 HAS SOUPS 1639324 WITH SCORE 1642332.31
AT ITER 4776 NEW BEST:: SOT 3215064 SOS 3009632 HAS SOPS 3008209 HAS SOUS 1639805 HAS SOUPS 1639218 WITH SCORE 1642227.632
AT ITER 4791 NEW BEST:: SOT 3219255 SOS 3013292 HAS SOPS 3011869 HAS SOUS 1639552 HAS SOUPS 1638965 WITH SCORE 1641978.292
AT ITER 4793 NEW BEST:: SOT 3219255 SOS 3008584 HAS SOPS 3007161 HAS SOUS 1632237 HAS SOUPS 1631650 WITH SCORE 1634658.584
AT ITER 4811 NEW BEST:: SOT 3217578 SOS 3006907 HAS SOPS 3005484 HAS SOUS 1631678 HAS SOUPS 1631091 WITH SCORE 1634097.907
AT ITER 4837 NEW BEST:: SOT 3217729 SOS 3007058 HAS SOPS 3005635 HAS SOUS 1631577 HAS SOUPS 1630990 WITH SCORE 1633997.058
AT ITER 4853 NEW BEST:: SOT 3217729 SOS 3005451 HAS SOPS 3004028 HAS SOUS 1629852 HAS SOUPS 1629265 WITH SCORE 1632270.451
AT ITER 4870 NEW BEST:: SOT 3217897 SOS 3005619 HAS SOPS 3004196 HAS SOUS 1629649 HAS SOUPS 1629062 WITH SCORE 1632067.619
AT ITER 4886 NEW BEST:: SOT 3229722 SOS 3015381 HAS SOPS 3013338 HAS SOUS 1622402 HAS SOUPS 1621815 WITH SCORE 1624830.381
AT ITER 4889 NEW BEST:: SOT 3229722 SOS 3015381 HAS SOPS 3013338 HAS SOUS 1622327 HAS SOUPS 1621740 WITH SCORE 1624755.381
AT ITER 4903 NEW BEST:: SOT 3229722 SOS 3015433 HAS SOPS 3013390 HAS SOUS 1622275 HAS SOUPS 1621688 WITH SCORE 1624703.433
AT ITER 4909 NEW BEST:: SOT 3231733 SOS 3017375 HAS SOPS 3015325 HAS SOUS 1622130 HAS SOUPS 1621543 WITH SCORE 1624560.375
AT ITER 4927 NEW BEST:: SOT 3238142 SOS 3015565 HAS SOPS 3012648 HAS SOUS 1606521 HAS SOUPS 1605934 WITH SCORE 1608949.565
AT ITER 4944 NEW BEST:: SOT 3238142 SOS 2931226 HAS SOPS 2928309 HAS SOUS 1606386 HAS SOUPS 1605799 WITH SCORE 1608730.226
AT ITER 4949 NEW BEST:: SOT 3237869 SOS 2930953 HAS SOPS 2928036 HAS SOUS 1606113 HAS SOUPS 1605526 WITH SCORE 1608456.953
AT ITER 4964 NEW BEST:: SOT 3237869 SOS 2930953 HAS SOPS 2928036 HAS SOUS 1605726 HAS SOUPS 1605139 WITH SCORE 1608069.953
AT ITER 4975 NEW BEST:: SOT 3248297 SOS 2941381 HAS SOPS 2938464 HAS SOUS 1602475 HAS SOUPS 1601888 WITH SCORE 1604829.381
AT ITER 4994 NEW BEST:: SOT 3248435 SOS 2941494 HAS SOPS 2938577 HAS SOUS 1601911 HAS SOUPS 1601324 WITH SCORE 1604265.494
AT ITER 4995 NEW BEST:: SOT 3247879 SOS 2940938 HAS SOPS 2938021 HAS SOUS 1601911 HAS SOUPS 1601324 WITH SCORE 1604264.938
AT ITER 5013 NEW BEST:: SOT 3247879 SOS 2922256 HAS SOPS 2919339 HAS SOUS 1601867 HAS SOUPS 1601280 WITH SCORE 1604202.256
AT ITER 5014 NEW BEST:: SOT 3248027 SOS 2922118 HAS SOPS 2919201 HAS SOUS 1600769 HAS SOUPS 1600182 WITH SCORE 1603104.118
AT ITER 5019 NEW BEST:: SOT 3248027 SOS 2921881 HAS SOPS 2918964 HAS SOUS 1600295 HAS SOUPS 1599708 WITH SCORE 1602629.881
AT ITER 5028 NEW BEST:: SOT 3248027 SOS 2921015 HAS SOPS 2918098 HAS SOUS 1592200 HAS SOUPS 1591613 WITH SCORE 1594534.015
AT ITER 5053 NEW BEST:: SOT 3267586 SOS 2932312 HAS SOPS 2927419 HAS SOUS 1581618 HAS SOUPS 1580878 WITH SCORE 1583810.312
AT ITER 5055 NEW BEST:: SOT 3268685 SOS 2925142 HAS SOPS 2920249 HAS SOUS 1567586 HAS SOUPS 1566846 WITH SCORE 1569771.142
AT ITER 5059 NEW BEST:: SOT 3268685 SOS 2924147 HAS SOPS 2919254 HAS SOUS 1565616 HAS SOUPS 1564876 WITH SCORE 1567800.147
AT ITER 5062 NEW BEST:: SOT 3275177 SOS 2930639 HAS SOPS 2925746 HAS SOUS 1565496 HAS SOUPS 1564756 WITH SCORE 1567686.639
AT ITER 5077 NEW BEST:: SOT 3277181 SOS 2932643 HAS SOPS 2927750 HAS SOUS 1565082 HAS SOUPS 1564342 WITH SCORE 1567274.643
AT ITER 5093 NEW BEST:: SOT 3277387 SOS 2932849 HAS SOPS 2927956 HAS SOUS 1564966 HAS SOUPS 1564226 WITH SCORE 1567158.849
AT ITER 5118 NEW BEST:: SOT 3277169 SOS 2932631 HAS SOPS 2927738 HAS SOUS 1564857 HAS SOUPS 1564117 WITH SCORE 1567049.631
AT ITER 5125 NEW BEST:: SOT 3277169 SOS 2932631 HAS SOPS 2927738 HAS SOUS 1564822 HAS SOUPS 1564082 WITH SCORE 1567014.631
AT ITER 5126 NEW BEST:: SOT 3282050 SOS 2937512 HAS SOPS 2932619 HAS SOUS 1564055 HAS SOUPS 1563315 WITH SCORE 1566252.512
AT ITER 5151 NEW BEST:: SOT 3282050 SOS 2937216 HAS SOPS 2932323 HAS SOUS 1563788 HAS SOUPS 1563048 WITH SCORE 1565985.216
AT ITER 5178 NEW BEST:: SOT 3289109 SOS 2944275 HAS SOPS 2939382 HAS SOUS 1563748 HAS SOUPS 1563008 WITH SCORE 1565952.275
AT ITER 5204 NEW BEST:: SOT 3289109 SOS 2944275 HAS SOPS 2939382 HAS SOUS 1563551 HAS SOUPS 1562811 WITH SCORE 1565755.275
AT ITER 5208 NEW BEST:: SOT 3289959 SOS 2944380 HAS SOPS 2939487 HAS SOUS 1561775 HAS SOUPS 1561035 WITH SCORE 1563979.38
AT ITER 5214 NEW BEST:: SOT 3290450 SOS 2940351 HAS SOPS 2935458 HAS SOUS 1555770 HAS SOUPS 1555030 WITH SCORE 1557970.351
AT ITER 5239 NEW BEST:: SOT 3291054 SOS 2940955 HAS SOPS 2936062 HAS SOUS 1554627 HAS SOUPS 1553887 WITH SCORE 1556827.955
AT ITER 5240 NEW BEST:: SOT 3304410 SOS 2953065 HAS SOPS 2948172 HAS SOUS 1547867 HAS SOUPS 1547127 WITH SCORE 1550080.065
AT ITER 5249 NEW BEST:: SOT 3305332 SOS 2953987 HAS SOPS 2949094 HAS SOUS 1547603 HAS SOUPS 1546863 WITH SCORE 1549816.987
AT ITER 5256 NEW BEST:: SOT 3305332 SOS 2948294 HAS SOPS 2943401 HAS SOUS 1542202 HAS SOUPS 1541462 WITH SCORE 1544410.294
AT ITER 5259 NEW BEST:: SOT 3305332 SOS 2948294 HAS SOPS 2943401 HAS SOUS 1541867 HAS SOUPS 1541127 WITH SCORE 1544075.294
AT ITER 5265 NEW BEST:: SOT 3305332 SOS 2948074 HAS SOPS 2943181 HAS SOUS 1541426 HAS SOUPS 1540686 WITH SCORE 1543634.074
AT ITER 5266 NEW BEST:: SOT 3305332 SOS 2947218 HAS SOPS 2942325 HAS SOUS 1539945 HAS SOUPS 1539205 WITH SCORE 1542152.218
AT ITER 5272 NEW BEST:: SOT 3305332 SOS 2946434 HAS SOPS 2941541 HAS SOUS 1539673 HAS SOUPS 1538933 WITH SCORE 1541879.434
AT ITER 5295 NEW BEST:: SOT 3294022 SOS 2935124 HAS SOPS 2931689 HAS SOUS 1538629 HAS SOUPS 1537947 WITH SCORE 1540882.124
AT ITER 5301 NEW BEST:: SOT 3294479 SOS 2935581 HAS SOPS 2932146 HAS SOUS 1537890 HAS SOUPS 1537208 WITH SCORE 1540143.581
AT ITER 5322 NEW BEST:: SOT 3301184 SOS 2942222 HAS SOPS 2938787 HAS SOUS 1537687 HAS SOUPS 1537005 WITH SCORE 1539947.222
AT ITER 5327 NEW BEST:: SOT 3301184 SOS 2961053 HAS SOPS 2957618 HAS SOUS 1536957 HAS SOUPS 1536275 WITH SCORE 1539236.053
AT ITER 5328 NEW BEST:: SOT 3301673 SOS 2961542 HAS SOPS 2958107 HAS SOUS 1536894 HAS SOUPS 1536212 WITH SCORE 1539173.542
AT ITER 5329 NEW BEST:: SOT 3306973 SOS 2957091 HAS SOPS 2953215 HAS SOUS 1519517 HAS SOUPS 1518835 WITH SCORE 1521792.091
AT ITER 5344 NEW BEST:: SOT 3306973 SOS 2951147 HAS SOPS 2947271 HAS SOUS 1515816 HAS SOUPS 1515134 WITH SCORE 1518085.147
AT ITER 5352 NEW BEST:: SOT 3307015 SOS 2951189 HAS SOPS 2947313 HAS SOUS 1514956 HAS SOUPS 1514274 WITH SCORE 1517225.189
AT ITER 5372 NEW BEST:: SOT 3307710 SOS 2951884 HAS SOPS 2948008 HAS SOUS 1514572 HAS SOUPS 1513890 WITH SCORE 1516841.884
AT ITER 5381 NEW BEST:: SOT 3307710 SOS 2951884 HAS SOPS 2948008 HAS SOUS 1514325 HAS SOUPS 1513643 WITH SCORE 1516594.884
AT ITER 5384 NEW BEST:: SOT 3307710 SOS 2951884 HAS SOPS 2948008 HAS SOUS 1513883 HAS SOUPS 1513201 WITH SCORE 1516152.884
AT ITER 5397 NEW BEST:: SOT 3307710 SOS 2951884 HAS SOPS 2948008 HAS SOUS 1513476 HAS SOUPS 1512794 WITH SCORE 1515745.884
AT ITER 5401 NEW BEST:: SOT 3307710 SOS 2951884 HAS SOPS 2948008 HAS SOUS 1513455 HAS SOUPS 1512773 WITH SCORE 1515724.884
AT ITER 5408 NEW BEST:: SOT 3319770 SOS 2963944 HAS SOPS 2960068 HAS SOUS 1513383 HAS SOUPS 1512701 WITH SCORE 1515664.944
AT ITER 5413 NEW BEST:: SOT 3320238 SOS 2964412 HAS SOPS 2960536 HAS SOUS 1512973 HAS SOUPS 1512291 WITH SCORE 1515255.412
AT ITER 5433 NEW BEST:: SOT 3321224 SOS 2965398 HAS SOPS 2961522 HAS SOUS 1512972 HAS SOUPS 1512290 WITH SCORE 1515255.398
AT ITER 5435 NEW BEST:: SOT 3321224 SOS 2965180 HAS SOPS 2961304 HAS SOUS 1511811 HAS SOUPS 1511129 WITH SCORE 1514094.18
AT ITER 5438 NEW BEST:: SOT 3341838 SOS 2974928 HAS SOPS 2969056 HAS SOUS 1510681 HAS SOUPS 1509767 WITH SCORE 1512741.928
AT ITER 5453 NEW BEST:: SOT 3341838 SOS 2974325 HAS SOPS 2968453 HAS SOUS 1510387 HAS SOUPS 1509473 WITH SCORE 1512447.325
AT ITER 5455 NEW BEST:: SOT 3358500 SOS 2989265 HAS SOPS 2981397 HAS SOUS 1507416 HAS SOUPS 1506502 WITH SCORE 1509491.265
AT ITER 5508 NEW BEST:: SOT 3382502 SOS 3002448 HAS SOPS 2991151 HAS SOUS 1498474 HAS SOUPS 1497304 WITH SCORE 1500306.448
AT ITER 5523 NEW BEST:: SOT 3383572 SOS 3003518 HAS SOPS 2992221 HAS SOUS 1498449 HAS SOUPS 1497279 WITH SCORE 1500282.518
AT ITER 5525 NEW BEST:: SOT 3383946 SOS 3003892 HAS SOPS 2992595 HAS SOUS 1497189 HAS SOUPS 1496019 WITH SCORE 1499022.892
AT ITER 5563 NEW BEST:: SOT 3384760 SOS 3004623 HAS SOPS 2993326 HAS SOUS 1497080 HAS SOUPS 1495910 WITH SCORE 1498914.623
AT ITER 5573 NEW BEST:: SOT 3384760 SOS 3004623 HAS SOPS 2993326 HAS SOUS 1497079 HAS SOUPS 1495909 WITH SCORE 1498913.623
AT ITER 5575 NEW BEST:: SOT 3384760 SOS 2997293 HAS SOPS 2985996 HAS SOUS 1495689 HAS SOUPS 1494519 WITH SCORE 1497516.293
AT ITER 5588 NEW BEST:: SOT 3398315 SOS 2999930 HAS SOPS 2986025 HAS SOUS 1480553 HAS SOUPS 1479383 WITH SCORE 1482382.93
AT ITER 5599 NEW BEST:: SOT 3396716 SOS 2998331 HAS SOPS 2984426 HAS SOUS 1480052 HAS SOUPS 1478882 WITH SCORE 1481880.331
AT ITER 5620 NEW BEST:: SOT 3396776 SOS 2998391 HAS SOPS 2984486 HAS SOUS 1479983 HAS SOUPS 1478813 WITH SCORE 1481811.391
AT ITER 5621 NEW BEST:: SOT 3396776 SOS 2999160 HAS SOPS 2985255 HAS SOUS 1479221 HAS SOUPS 1478051 WITH SCORE 1481050.16
AT ITER 5629 NEW BEST:: SOT 3398040 SOS 3000209 HAS SOPS 2986304 HAS SOUS 1477484 HAS SOUPS 1476314 WITH SCORE 1479314.209
AT ITER 5642 NEW BEST:: SOT 3398250 SOS 3000419 HAS SOPS 2986514 HAS SOUS 1477252 HAS SOUPS 1476082 WITH SCORE 1479082.419
AT ITER 5653 NEW BEST:: SOT 3398235 SOS 3000404 HAS SOPS 2986499 HAS SOUS 1477249 HAS SOUPS 1476079 WITH SCORE 1479079.404
AT ITER 5662 NEW BEST:: SOT 3400431 SOS 3000726 HAS SOPS 2986821 HAS SOUS 1466263 HAS SOUPS 1465093 WITH SCORE 1468093.726
AT ITER 5697 NEW BEST:: SOT 3429732 SOS 3025437 HAS SOPS 3008056 HAS SOUS 1461926 HAS SOUPS 1460709 WITH SCORE 1463734.437
AT ITER 5698 NEW BEST:: SOT 3429732 SOS 3025481 HAS SOPS 3008100 HAS SOUS 1461175 HAS SOUPS 1459958 WITH SCORE 1462983.481
AT ITER 5708 NEW BEST:: SOT 3429732 SOS 3025141 HAS SOPS 3007760 HAS SOUS 1461175 HAS SOUPS 1459958 WITH SCORE 1462983.141
AT ITER 5727 NEW BEST:: SOT 3429732 SOS 3023299 HAS SOPS 3005918 HAS SOUS 1460595 HAS SOUPS 1459378 WITH SCORE 1462401.299
AT ITER 5728 NEW BEST:: SOT 3429732 SOS 3023025 HAS SOPS 3005644 HAS SOUS 1460595 HAS SOUPS 1459378 WITH SCORE 1462401.025
AT ITER 5743 NEW BEST:: SOT 3429762 SOS 3023055 HAS SOPS 3005674 HAS SOUS 1460059 HAS SOUPS 1458842 WITH SCORE 1461865.055
AT ITER 5747 NEW BEST:: SOT 3429536 SOS 3022829 HAS SOPS 3005448 HAS SOUS 1459833 HAS SOUPS 1458616 WITH SCORE 1461638.829
AT ITER 5749 NEW BEST:: SOT 3429536 SOS 3022406 HAS SOPS 3005025 HAS SOUS 1459410 HAS SOUPS 1458193 WITH SCORE 1461215.406
AT ITER 5754 NEW BEST:: SOT 3429536 SOS 3021596 HAS SOPS 3004215 HAS SOUS 1458699 HAS SOUPS 1457482 WITH SCORE 1460503.596
AT ITER 5764 NEW BEST:: SOT 3429536 SOS 3021596 HAS SOPS 3004215 HAS SOUS 1458679 HAS SOUPS 1457462 WITH SCORE 1460483.596
AT ITER 5765 NEW BEST:: SOT 3429536 SOS 3021596 HAS SOPS 3004215 HAS SOUS 1458281 HAS SOUPS 1457064 WITH SCORE 1460085.596
AT ITER 5776 NEW BEST:: SOT 3432104 SOS 3024164 HAS SOPS 3006783 HAS SOUS 1456760 HAS SOUPS 1455543 WITH SCORE 1458567.164
AT ITER 5780 NEW BEST:: SOT 3445656 SOS 3032918 HAS SOPS 3010982 HAS SOUS 1453160 HAS SOUPS 1451943 WITH SCORE 1454975.918
AT ITER 5782 NEW BEST:: SOT 3445656 SOS 3028724 HAS SOPS 3006788 HAS SOUS 1453160 HAS SOUPS 1451943 WITH SCORE 1454971.724
AT ITER 5785 NEW BEST:: SOT 3445656 SOS 3028724 HAS SOPS 3006788 HAS SOUS 1452444 HAS SOUPS 1451227 WITH SCORE 1454255.724
AT ITER 5786 NEW BEST:: SOT 3445780 SOS 3028848 HAS SOPS 3006912 HAS SOUS 1451718 HAS SOUPS 1450501 WITH SCORE 1453529.848
AT ITER 5820 NEW BEST:: SOT 3445780 SOS 3028577 HAS SOPS 3006641 HAS SOUS 1451447 HAS SOUPS 1450230 WITH SCORE 1453258.577
AT ITER 5825 NEW BEST:: SOT 3466264 SOS 3047314 HAS SOPS 3025378 HAS SOUS 1447768 HAS SOUPS 1446551 WITH SCORE 1449598.314
AT ITER 5828 NEW BEST:: SOT 3471114 SOS 3051177 HAS SOPS 3029234 HAS SOUS 1447406 HAS SOUPS 1446189 WITH SCORE 1449240.177
AT ITER 5843 NEW BEST:: SOT 3471156 SOS 3050955 HAS SOPS 3029012 HAS SOUS 1447297 HAS SOUPS 1446080 WITH SCORE 1449130.955
AT ITER 5854 NEW BEST:: SOT 3471861 SOS 3051401 HAS SOPS 3029451 HAS SOUS 1446254 HAS SOUPS 1445037 WITH SCORE 1448088.401
AT ITER 5862 NEW BEST:: SOT 3471861 SOS 3051401 HAS SOPS 3029451 HAS SOUS 1445633 HAS SOUPS 1444416 WITH SCORE 1447467.401
AT ITER 5870 NEW BEST:: SOT 3499509 SOS 3078008 HAS SOPS 3056058 HAS SOUS 1444904 HAS SOUPS 1443687 WITH SCORE 1446765.008
AT ITER 5871 NEW BEST:: SOT 3499646 SOS 3077470 HAS SOPS 3055383 HAS SOUS 1444229 HAS SOUPS 1443012 WITH SCORE 1446089.47
AT ITER 5884 NEW BEST:: SOT 3499646 SOS 3076598 HAS SOPS 3054511 HAS SOUS 1436372 HAS SOUPS 1435155 WITH SCORE 1438231.598
AT ITER 5899 NEW BEST:: SOT 3521899 SOS 3097819 HAS SOPS 3075732 HAS SOUS 1427194 HAS SOUPS 1425977 WITH SCORE 1429074.819
AT ITER 5906 NEW BEST:: SOT 3547408 SOS 3122294 HAS SOPS 3100207 HAS SOUS 1418778 HAS SOUPS 1417561 WITH SCORE 1420683.294
AT ITER 5912 NEW BEST:: SOT 3550455 SOS 3125156 HAS SOPS 3103069 HAS SOUS 1416775 HAS SOUPS 1415558 WITH SCORE 1418683.156
AT ITER 5945 NEW BEST:: SOT 3550455 SOS 3125156 HAS SOPS 3103069 HAS SOUS 1416063 HAS SOUPS 1414846 WITH SCORE 1417971.156
AT ITER 5963 NEW BEST:: SOT 3550455 SOS 3125628 HAS SOPS 3103541 HAS SOUS 1415840 HAS SOUPS 1414623 WITH SCORE 1417748.628
AT ITER 5965 NEW BEST:: SOT 3554883 SOS 3130056 HAS SOPS 3107969 HAS SOUS 1415726 HAS SOUPS 1414509 WITH SCORE 1417639.056
AT ITER 5993 NEW BEST:: SOT 3555922 SOS 3131095 HAS SOPS 3109008 HAS SOUS 1415470 HAS SOUPS 1414253 WITH SCORE 1417384.095
AT ITER 6008 NEW BEST:: SOT 3563866 SOS 3137706 HAS SOPS 3115619 HAS SOUS 1405665 HAS SOUPS 1404448 WITH SCORE 1407585.706
AT ITER 6022 NEW BEST:: SOT 3565862 SOS 3139702 HAS SOPS 3117615 HAS SOUS 1404430 HAS SOUPS 1403213 WITH SCORE 1406352.702
AT ITER 6061 NEW BEST:: SOT 3568130 SOS 3141970 HAS SOPS 3119883 HAS SOUS 1404379 HAS SOUPS 1403162 WITH SCORE 1406303.97
AT ITER 6081 NEW BEST:: SOT 3568474 SOS 3142314 HAS SOPS 3120227 HAS SOUS 1404113 HAS SOUPS 1402896 WITH SCORE 1406038.314
AT ITER 6087 NEW BEST:: SOT 3576647 SOS 3149462 HAS SOPS 3127375 HAS SOUS 1393713 HAS SOUPS 1392496 WITH SCORE 1395645.462
AT ITER 6100 NEW BEST:: SOT 3576647 SOS 3149462 HAS SOPS 3127375 HAS SOUS 1393317 HAS SOUPS 1392100 WITH SCORE 1395249.462
AT ITER 6131 NEW BEST:: SOT 3576647 SOS 3149462 HAS SOPS 3127375 HAS SOUS 1392692 HAS SOUPS 1391475 WITH SCORE 1394624.462
AT ITER 6141 NEW BEST:: SOT 3576566 SOS 3149527 HAS SOPS 3127440 HAS SOUS 1392528 HAS SOUPS 1391311 WITH SCORE 1394460.527
AT ITER 6144 NEW BEST:: SOT 3579650 SOS 3150738 HAS SOPS 3128651 HAS SOUS 1381681 HAS SOUPS 1380464 WITH SCORE 1383614.738
AT ITER 6149 NEW BEST:: SOT 3579650 SOS 3129825 HAS SOPS 3107738 HAS SOUS 1381362 HAS SOUPS 1380145 WITH SCORE 1383274.825
AT ITER 6163 NEW BEST:: SOT 3561764 SOS 3111939 HAS SOPS 3089852 HAS SOUS 1379586 HAS SOUPS 1378369 WITH SCORE 1381480.939
AT ITER 6189 NEW BEST:: SOT 3561764 SOS 3111633 HAS SOPS 3089546 HAS SOUS 1378991 HAS SOUPS 1377774 WITH SCORE 1380885.633
AT ITER 6192 NEW BEST:: SOT 3563134 SOS 3113003 HAS SOPS 3090916 HAS SOUS 1377717 HAS SOUPS 1376500 WITH SCORE 1379613.003
AT ITER 6194 NEW BEST:: SOT 3563386 SOS 3113255 HAS SOPS 3091168 HAS SOUS 1377457 HAS SOUPS 1376240 WITH SCORE 1379353.255
AT ITER 6196 NEW BEST:: SOT 3563665 SOS 3113534 HAS SOPS 3091447 HAS SOUS 1377342 HAS SOUPS 1376125 WITH SCORE 1379238.534
AT ITER 6213 NEW BEST:: SOT 3563923 SOS 3113792 HAS SOPS 3091705 HAS SOUS 1376866 HAS SOUPS 1375649 WITH SCORE 1378762.792
AT ITER 6225 NEW BEST:: SOT 3567781 SOS 3117153 HAS SOPS 3095066 HAS SOUS 1375490 HAS SOUPS 1374273 WITH SCORE 1377390.153
AT ITER 6237 NEW BEST:: SOT 3569523 SOS 3118895 HAS SOPS 3096808 HAS SOUS 1374921 HAS SOUPS 1373704 WITH SCORE 1376822.895
AT ITER 6240 NEW BEST:: SOT 3574523 SOS 3123739 HAS SOPS 3101652 HAS SOUS 1371168 HAS SOUPS 1369951 WITH SCORE 1373074.739
AT ITER 6247 NEW BEST:: SOT 3605983 SOS 3154170 HAS SOPS 3132083 HAS SOUS 1368411 HAS SOUPS 1367194 WITH SCORE 1370348.17
AT ITER 6258 NEW BEST:: SOT 3604606 SOS 3152793 HAS SOPS 3130706 HAS SOUS 1367952 HAS SOUPS 1366735 WITH SCORE 1369887.793
AT ITER 6280 NEW BEST:: SOT 3605070 SOS 3152000 HAS SOPS 3129681 HAS SOUS 1366923 HAS SOUPS 1365706 WITH SCORE 1368858.0
AT ITER 6307 NEW BEST:: SOT 3623770 SOS 3170537 HAS SOPS 3148218 HAS SOUS 1366563 HAS SOUPS 1365346 WITH SCORE 1368516.537
AT ITER 6334 NEW BEST:: SOT 3626391 SOS 3173158 HAS SOPS 3150839 HAS SOUS 1366516 HAS SOUPS 1365299 WITH SCORE 1368472.158
AT ITER 6341 NEW BEST:: SOT 3628339 SOS 3175106 HAS SOPS 3152787 HAS SOUS 1366132 HAS SOUPS 1364915 WITH SCORE 1368090.106
AT ITER 6348 NEW BEST:: SOT 3629608 SOS 3176375 HAS SOPS 3154056 HAS SOUS 1365942 HAS SOUPS 1364725 WITH SCORE 1367901.375
AT ITER 6350 NEW BEST:: SOT 3630848 SOS 3177209 HAS SOPS 3154890 HAS SOUS 1365768 HAS SOUPS 1364551 WITH SCORE 1367728.209
AT ITER 6370 NEW BEST:: SOT 3630848 SOS 3169673 HAS SOPS 3147354 HAS SOUS 1362847 HAS SOUPS 1361630 WITH SCORE 1364799.673
AT ITER 6398 NEW BEST:: SOT 3627783 SOS 3166608 HAS SOPS 3144289 HAS SOUS 1362234 HAS SOUPS 1361017 WITH SCORE 1364183.608
AT ITER 6408 NEW BEST:: SOT 3629334 SOS 3168159 HAS SOPS 3145840 HAS SOUS 1361852 HAS SOUPS 1360635 WITH SCORE 1363803.159
AT ITER 6439 NEW BEST:: SOT 3636139 SOS 3172379 HAS SOPS 3148229 HAS SOUS 1354833 HAS SOUPS 1353616 WITH SCORE 1356788.379
AT ITER 6464 NEW BEST:: SOT 3636139 SOS 3172057 HAS SOPS 3147907 HAS SOUS 1354676 HAS SOUPS 1353459 WITH SCORE 1356631.057
AT ITER 6469 NEW BEST:: SOT 3636551 SOS 3172469 HAS SOPS 3148319 HAS SOUS 1354061 HAS SOUPS 1352844 WITH SCORE 1356016.469
AT ITER 6504 NEW BEST:: SOT 3639499 SOS 3173897 HAS SOPS 3149740 HAS SOUS 1350131 HAS SOUPS 1348914 WITH SCORE 1352087.897
AT ITER 6515 NEW BEST:: SOT 3639499 SOS 3173897 HAS SOPS 3149740 HAS SOUS 1349215 HAS SOUPS 1347998 WITH SCORE 1351171.897
AT ITER 6517 NEW BEST:: SOT 3637764 SOS 3172162 HAS SOPS 3148005 HAS SOUS 1348868 HAS SOUPS 1347651 WITH SCORE 1350823.162
AT ITER 6518 NEW BEST:: SOT 3638582 SOS 3172980 HAS SOPS 3148823 HAS SOUS 1348242 HAS SOUPS 1347025 WITH SCORE 1350197.98
AT ITER 6568 NEW BEST:: SOT 3655780 SOS 3184614 HAS SOPS 3155121 HAS SOUS 1344876 HAS SOUPS 1343659 WITH SCORE 1346843.614
AT ITER 6570 NEW BEST:: SOT 3652464 SOS 3181298 HAS SOPS 3151805 HAS SOUS 1344068 HAS SOUPS 1342851 WITH SCORE 1346032.298
AT ITER 6577 NEW BEST:: SOT 3668460 SOS 3195421 HAS SOPS 3165928 HAS SOUS 1335411 HAS SOUPS 1334194 WITH SCORE 1337389.421
AT ITER 6580 NEW BEST:: SOT 3668672 SOS 3195633 HAS SOPS 3166140 HAS SOUS 1335062 HAS SOUPS 1333845 WITH SCORE 1337040.633
AT ITER 6603 NEW BEST:: SOT 3668137 SOS 3195098 HAS SOPS 3165605 HAS SOUS 1334832 HAS SOUPS 1333615 WITH SCORE 1336810.098
AT ITER 6610 NEW BEST:: SOT 3672231 SOS 3199192 HAS SOPS 3169699 HAS SOUS 1333754 HAS SOUPS 1332537 WITH SCORE 1335736.192
AT ITER 6624 NEW BEST:: SOT 3672231 SOS 3198537 HAS SOPS 3169044 HAS SOUS 1331134 HAS SOUPS 1329917 WITH SCORE 1333115.537
AT ITER 6625 NEW BEST:: SOT 3671927 SOS 3198233 HAS SOPS 3168740 HAS SOUS 1330678 HAS SOUPS 1329461 WITH SCORE 1332659.233
AT ITER 6629 NEW BEST:: SOT 3682207 SOS 3208513 HAS SOPS 3179020 HAS SOUS 1330146 HAS SOUPS 1328929 WITH SCORE 1332137.513
AT ITER 6643 NEW BEST:: SOT 3690030 SOS 3215005 HAS SOPS 3185505 HAS SOUS 1328111 HAS SOUPS 1326894 WITH SCORE 1330109.005
AT ITER 6650 NEW BEST:: SOT 3691242 SOS 3215310 HAS SOPS 3185810 HAS SOUS 1327238 HAS SOUPS 1326021 WITH SCORE 1329236.31
AT ITER 6657 NEW BEST:: SOT 3691242 SOS 3215310 HAS SOPS 3185810 HAS SOUS 1326775 HAS SOUPS 1325558 WITH SCORE 1328773.31
AT ITER 6672 NEW BEST:: SOT 3691694 SOS 3215762 HAS SOPS 3186262 HAS SOUS 1326046 HAS SOUPS 1324829 WITH SCORE 1328044.762
AT ITER 6711 NEW BEST:: SOT 3691792 SOS 3215860 HAS SOPS 3186360 HAS SOUS 1325976 HAS SOUPS 1324759 WITH SCORE 1327974.86
AT ITER 6716 NEW BEST:: SOT 3696326 SOS 3218797 HAS SOPS 3189290 HAS SOUS 1323920 HAS SOUPS 1322703 WITH SCORE 1325921.797
AT ITER 6717 NEW BEST:: SOT 3696326 SOS 3218155 HAS SOPS 3188648 HAS SOUS 1323909 HAS SOUPS 1322692 WITH SCORE 1325910.155
AT ITER 6719 NEW BEST:: SOT 3696326 SOS 3185557 HAS SOPS 3156050 HAS SOUS 1323719 HAS SOUPS 1322502 WITH SCORE 1325687.557
AT ITER 6721 NEW BEST:: SOT 3695813 SOS 3185044 HAS SOPS 3155537 HAS SOUS 1323548 HAS SOUPS 1322331 WITH SCORE 1325516.044
AT ITER 6738 NEW BEST:: SOT 3699041 SOS 3188272 HAS SOPS 3158765 HAS SOUS 1322992 HAS SOUPS 1321775 WITH SCORE 1324963.272
AT ITER 6764 NEW BEST:: SOT 3699041 SOS 3188272 HAS SOPS 3158765 HAS SOUS 1322672 HAS SOUPS 1321455 WITH SCORE 1324643.272
AT ITER 6765 NEW BEST:: SOT 3699041 SOS 3188272 HAS SOPS 3158765 HAS SOUS 1322395 HAS SOUPS 1321178 WITH SCORE 1324366.272
AT ITER 6774 NEW BEST:: SOT 3699871 SOS 3189102 HAS SOPS 3159595 HAS SOUS 1322358 HAS SOUPS 1321141 WITH SCORE 1324330.102
AT ITER 6775 NEW BEST:: SOT 3699871 SOS 3188893 HAS SOPS 3159386 HAS SOUS 1321940 HAS SOUPS 1320723 WITH SCORE 1323911.893
AT ITER 6782 NEW BEST:: SOT 3704771 SOS 3193793 HAS SOPS 3164286 HAS SOUS 1318632 HAS SOUPS 1317415 WITH SCORE 1320608.793
AT ITER 6783 NEW BEST:: SOT 3704797 SOS 3193532 HAS SOPS 3164025 HAS SOUS 1318128 HAS SOUPS 1316911 WITH SCORE 1320104.532
AT ITER 6786 NEW BEST:: SOT 3704797 SOS 3193067 HAS SOPS 3163560 HAS SOUS 1317791 HAS SOUPS 1316574 WITH SCORE 1319767.067
AT ITER 6807 NEW BEST:: SOT 3704797 SOS 3193067 HAS SOPS 3163560 HAS SOUS 1317770 HAS SOUPS 1316553 WITH SCORE 1319746.067
AT ITER 6808 NEW BEST:: SOT 3704797 SOS 3193067 HAS SOPS 3163560 HAS SOUS 1316792 HAS SOUPS 1315575 WITH SCORE 1318768.067
AT ITER 6823 NEW BEST:: SOT 3705709 SOS 3192954 HAS SOPS 3163429 HAS SOUS 1316661 HAS SOUPS 1315444 WITH SCORE 1318636.954
AT ITER 6824 NEW BEST:: SOT 3730019 SOS 3216241 HAS SOPS 3186716 HAS SOUS 1307748 HAS SOUPS 1306531 WITH SCORE 1309747.241
AT ITER 6848 NEW BEST:: SOT 3730019 SOS 3214409 HAS SOPS 3184884 HAS SOUS 1307289 HAS SOUPS 1306072 WITH SCORE 1309286.409
AT ITER 6873 NEW BEST:: SOT 3730019 SOS 3214409 HAS SOPS 3184884 HAS SOUS 1307226 HAS SOUPS 1306009 WITH SCORE 1309223.409
AT ITER 6897 NEW BEST:: SOT 3743196 SOS 3213338 HAS SOPS 3178902 HAS SOUS 1299409 HAS SOUPS 1298192 WITH SCORE 1301405.338
AT ITER 6922 NEW BEST:: SOT 3742902 SOS 3213044 HAS SOPS 3178608 HAS SOUS 1299262 HAS SOUPS 1298045 WITH SCORE 1301258.044
AT ITER 6931 NEW BEST:: SOT 3746459 SOS 3216291 HAS SOPS 3181855 HAS SOUS 1297749 HAS SOUPS 1296532 WITH SCORE 1299748.291
AT ITER 6969 NEW BEST:: SOT 3746970 SOS 3216511 HAS SOPS 3182075 HAS SOUS 1297231 HAS SOUPS 1296014 WITH SCORE 1299230.511
AT ITER 6976 NEW BEST:: SOT 3747224 SOS 3216548 HAS SOPS 3182112 HAS SOUS 1296924 HAS SOUPS 1295707 WITH SCORE 1298923.548
AT ITER 6983 NEW BEST:: SOT 3748202 SOS 3217280 HAS SOPS 3182844 HAS SOUS 1296719 HAS SOUPS 1295502 WITH SCORE 1298719.28
AT ITER 6990 NEW BEST:: SOT 3748922 SOS 3217538 HAS SOPS 3183102 HAS SOUS 1296139 HAS SOUPS 1294922 WITH SCORE 1298139.538
AT ITER 7001 NEW BEST:: SOT 3748922 SOS 3217538 HAS SOPS 3183102 HAS SOUS 1294709 HAS SOUPS 1293492 WITH SCORE 1296709.538
AT ITER 7016 NEW BEST:: SOT 3749550 SOS 3217651 HAS SOPS 3183215 HAS SOUS 1290753 HAS SOUPS 1289536 WITH SCORE 1292753.651
AT ITER 7034 NEW BEST:: SOT 3749550 SOS 3217640 HAS SOPS 3183204 HAS SOUS 1290742 HAS SOUPS 1289525 WITH SCORE 1292742.64
AT ITER 7053 NEW BEST:: SOT 3749683 SOS 3216970 HAS SOPS 3182401 HAS SOUS 1289939 HAS SOUPS 1288722 WITH SCORE 1291938.97
AT ITER 7059 NEW BEST:: SOT 3749683 SOS 3216931 HAS SOPS 3182362 HAS SOUS 1289861 HAS SOUPS 1288644 WITH SCORE 1291860.931
AT ITER 7078 NEW BEST:: SOT 3749683 SOS 3199597 HAS SOPS 3165028 HAS SOUS 1286229 HAS SOUPS 1285012 WITH SCORE 1288211.597
AT ITER 7079 NEW BEST:: SOT 3749777 SOS 3199691 HAS SOPS 3165122 HAS SOUS 1285935 HAS SOUPS 1284718 WITH SCORE 1287917.691
AT ITER 7113 NEW BEST:: SOT 3749878 SOS 3199792 HAS SOPS 3165223 HAS SOUS 1285332 HAS SOUPS 1284115 WITH SCORE 1287314.792
AT ITER 7139 NEW BEST:: SOT 3749878 SOS 3199798 HAS SOPS 3165229 HAS SOUS 1284964 HAS SOUPS 1283747 WITH SCORE 1286946.798
AT ITER 7141 NEW BEST:: SOT 3749878 SOS 3199798 HAS SOPS 3165229 HAS SOUS 1284850 HAS SOUPS 1283633 WITH SCORE 1286832.798
AT ITER 7162 NEW BEST:: SOT 3769557 SOS 3217954 HAS SOPS 3183385 HAS SOUS 1275919 HAS SOUPS 1274702 WITH SCORE 1277919.954
AT ITER 7170 NEW BEST:: SOT 3769557 SOS 3217954 HAS SOPS 3183385 HAS SOUS 1275917 HAS SOUPS 1274700 WITH SCORE 1277917.954
AT ITER 7173 NEW BEST:: SOT 3794485 SOS 3238852 HAS SOPS 3204283 HAS SOUS 1274332 HAS SOUPS 1273115 WITH SCORE 1276353.852
AT ITER 7227 NEW BEST:: SOT 3796441 SOS 3240808 HAS SOPS 3206239 HAS SOUS 1274258 HAS SOUPS 1273041 WITH SCORE 1276281.808
AT ITER 7262 NEW BEST:: SOT 3780745 SOS 3225112 HAS SOPS 3190543 HAS SOUS 1271642 HAS SOUPS 1270425 WITH SCORE 1273650.112
AT ITER 7285 NEW BEST:: SOT 3780745 SOS 3225101 HAS SOPS 3190532 HAS SOUS 1271255 HAS SOUPS 1270038 WITH SCORE 1273263.101
AT ITER 7303 NEW BEST:: SOT 3782659 SOS 3226318 HAS SOPS 3190191 HAS SOUS 1271142 HAS SOUPS 1269557 WITH SCORE 1272783.318
AT ITER 7321 NEW BEST:: SOT 3781465 SOS 3225124 HAS SOPS 3189835 HAS SOUS 1270418 HAS SOUPS 1269201 WITH SCORE 1272426.124
AT ITER 7330 NEW BEST:: SOT 3797185 SOS 3240844 HAS SOPS 3199645 HAS SOUS 1269272 HAS SOUPS 1268055 WITH SCORE 1271295.844
AT ITER 7338 NEW BEST:: SOT 3797185 SOS 3240844 HAS SOPS 3199645 HAS SOUS 1268694 HAS SOUPS 1267477 WITH SCORE 1270717.844
AT ITER 7347 NEW BEST:: SOT 3797467 SOS 3241126 HAS SOPS 3199927 HAS SOUS 1267757 HAS SOUPS 1266540 WITH SCORE 1269781.126
AT ITER 7354 NEW BEST:: SOT 3799287 SOS 3241900 HAS SOPS 3200701 HAS SOUS 1267602 HAS SOUPS 1266385 WITH SCORE 1269626.9
AT ITER 7360 NEW BEST:: SOT 3799287 SOS 3241432 HAS SOPS 3200233 HAS SOUS 1266090 HAS SOUPS 1264873 WITH SCORE 1268114.432
AT ITER 7387 NEW BEST:: SOT 3802404 SOS 3243220 HAS SOPS 3202014 HAS SOUS 1264714 HAS SOUPS 1263497 WITH SCORE 1266740.22
AT ITER 7392 NEW BEST:: SOT 3802892 SOS 3243555 HAS SOPS 3202349 HAS SOUS 1263704 HAS SOUPS 1262487 WITH SCORE 1265730.555
AT ITER 7402 NEW BEST:: SOT 3803142 SOS 3243805 HAS SOPS 3202599 HAS SOUS 1263085 HAS SOUPS 1261868 WITH SCORE 1265111.805
AT ITER 7410 NEW BEST:: SOT 3803992 SOS 3244655 HAS SOPS 3203449 HAS SOUS 1261600 HAS SOUPS 1260383 WITH SCORE 1263627.655
AT ITER 7425 NEW BEST:: SOT 3805291 SOS 3244869 HAS SOPS 3203663 HAS SOUS 1261517 HAS SOUPS 1260300 WITH SCORE 1263544.869
AT ITER 7452 NEW BEST:: SOT 3805831 SOS 3244730 HAS SOPS 3202984 HAS SOUS 1260837 HAS SOUPS 1259620 WITH SCORE 1262864.73
AT ITER 7463 NEW BEST:: SOT 3815632 SOS 3253018 HAS SOPS 3211272 HAS SOUS 1251046 HAS SOUPS 1249829 WITH SCORE 1253082.018
AT ITER 7468 NEW BEST:: SOT 3815632 SOS 3249981 HAS SOPS 3208235 HAS SOUS 1249871 HAS SOUPS 1248654 WITH SCORE 1251903.981
AT ITER 7471 NEW BEST:: SOT 3817772 SOS 3252047 HAS SOPS 3210301 HAS SOUS 1248775 HAS SOUPS 1247558 WITH SCORE 1250810.047
AT ITER 7502 NEW BEST:: SOT 3817507 SOS 3251782 HAS SOPS 3210036 HAS SOUS 1248722 HAS SOUPS 1247505 WITH SCORE 1250756.782
AT ITER 7512 NEW BEST:: SOT 3817507 SOS 3251782 HAS SOPS 3210036 HAS SOUS 1248667 HAS SOUPS 1247450 WITH SCORE 1250701.782
AT ITER 7539 NEW BEST:: SOT 3819802 SOS 3253861 HAS SOPS 3212115 HAS SOUS 1247770 HAS SOUPS 1246553 WITH SCORE 1249806.861
AT ITER 7547 NEW BEST:: SOT 3819819 SOS 3253878 HAS SOPS 3212132 HAS SOUS 1246967 HAS SOUPS 1245750 WITH SCORE 1249003.878
AT ITER 7560 NEW BEST:: SOT 3819819 SOS 3253655 HAS SOPS 3211909 HAS SOUS 1246612 HAS SOUPS 1245395 WITH SCORE 1248648.655
AT ITER 7563 NEW BEST:: SOT 3822225 SOS 3256061 HAS SOPS 3214315 HAS SOUS 1246298 HAS SOUPS 1245081 WITH SCORE 1248337.061
AT ITER 7595 NEW BEST:: SOT 3822225 SOS 3255663 HAS SOPS 3213917 HAS SOUS 1245986 HAS SOUPS 1244769 WITH SCORE 1248024.663
AT ITER 7657 NEW BEST:: SOT 3822225 SOS 3255424 HAS SOPS 3213678 HAS SOUS 1245736 HAS SOUPS 1244519 WITH SCORE 1247774.424
AT ITER 7697 NEW BEST:: SOT 3821937 SOS 3255136 HAS SOPS 3213390 HAS SOUS 1245448 HAS SOUPS 1244231 WITH SCORE 1247486.136
AT ITER 7708 NEW BEST:: SOT 3821937 SOS 3255136 HAS SOPS 3213390 HAS SOUS 1245434 HAS SOUPS 1244217 WITH SCORE 1247472.136
AT ITER 7709 NEW BEST:: SOT 3827565 SOS 3260428 HAS SOPS 3218682 HAS SOUS 1244912 HAS SOUPS 1243695 WITH SCORE 1246955.428
AT ITER 7716 NEW BEST:: SOT 3827665 SOS 3260127 HAS SOPS 3218381 HAS SOUS 1244037 HAS SOUPS 1242820 WITH SCORE 1246080.127
AT ITER 7718 NEW BEST:: SOT 3827665 SOS 3260127 HAS SOPS 3218381 HAS SOUS 1243981 HAS SOUPS 1242764 WITH SCORE 1246024.127
AT ITER 7740 NEW BEST:: SOT 3828243 SOS 3260705 HAS SOPS 3218959 HAS SOUS 1243858 HAS SOUPS 1242641 WITH SCORE 1245901.705
AT ITER 7750 NEW BEST:: SOT 3828966 SOS 3261428 HAS SOPS 3219682 HAS SOUS 1243265 HAS SOUPS 1242048 WITH SCORE 1245309.428
AT ITER 7760 NEW BEST:: SOT 3828966 SOS 3252630 HAS SOPS 3210884 HAS SOUS 1238748 HAS SOUPS 1237531 WITH SCORE 1240783.63
AT ITER 7796 NEW BEST:: SOT 3828872 SOS 3252536 HAS SOPS 3210790 HAS SOUS 1238701 HAS SOUPS 1237484 WITH SCORE 1240736.536
AT ITER 7797 NEW BEST:: SOT 3849845 SOS 3259378 HAS SOPS 3211055 HAS SOUS 1236114 HAS SOUPS 1234690 WITH SCORE 1237949.378
AT ITER 7810 NEW BEST:: SOT 3849885 SOS 3259418 HAS SOPS 3211095 HAS SOUS 1235848 HAS SOUPS 1234424 WITH SCORE 1237683.418
AT ITER 7812 NEW BEST:: SOT 3850656 SOS 3259581 HAS SOPS 3211258 HAS SOUS 1235756 HAS SOUPS 1234332 WITH SCORE 1237591.581
AT ITER 7861 NEW BEST:: SOT 3850656 SOS 3259367 HAS SOPS 3211044 HAS SOUS 1234579 HAS SOUPS 1233155 WITH SCORE 1236414.367
AT ITER 7873 NEW BEST:: SOT 3850686 SOS 3258905 HAS SOPS 3210582 HAS SOUS 1233598 HAS SOUPS 1232174 WITH SCORE 1235432.905
AT ITER 7882 NEW BEST:: SOT 3850372 SOS 3258591 HAS SOPS 3210268 HAS SOUS 1233284 HAS SOUPS 1231860 WITH SCORE 1235118.591
AT ITER 7892 NEW BEST:: SOT 3850547 SOS 3258766 HAS SOPS 3210443 HAS SOUS 1232724 HAS SOUPS 1231300 WITH SCORE 1234558.766
AT ITER 7905 NEW BEST:: SOT 3853327 SOS 3260711 HAS SOPS 3212381 HAS SOUS 1231301 HAS SOUPS 1229877 WITH SCORE 1233137.711
AT ITER 7937 NEW BEST:: SOT 3843651 SOS 3251035 HAS SOPS 3202705 HAS SOUS 1231106 HAS SOUPS 1229682 WITH SCORE 1232933.035
AT ITER 7967 NEW BEST:: SOT 3843651 SOS 3250656 HAS SOPS 3202326 HAS SOUS 1231021 HAS SOUPS 1229597 WITH SCORE 1232847.656
AT ITER 7985 NEW BEST:: SOT 3843661 SOS 3250666 HAS SOPS 3202336 HAS SOUS 1230653 HAS SOUPS 1229229 WITH SCORE 1232479.666
AT ITER 8000 NEW BEST:: SOT 3845055 SOS 3251778 HAS SOPS 3203448 HAS SOUS 1229746 HAS SOUPS 1228322 WITH SCORE 1231573.778
AT ITER 8002 NEW BEST:: SOT 3845325 SOS 3251353 HAS SOPS 3202753 HAS SOUS 1228900 HAS SOUPS 1227476 WITH SCORE 1230727.353
AT ITER 8014 NEW BEST:: SOT 3845325 SOS 3247556 HAS SOPS 3198956 HAS SOUS 1226989 HAS SOUPS 1225565 WITH SCORE 1228812.556
AT ITER 8017 NEW BEST:: SOT 3848592 SOS 3238234 HAS SOPS 3186376 HAS SOUS 1222275 HAS SOUPS 1220851 WITH SCORE 1224089.234
AT ITER 8043 NEW BEST:: SOT 3848342 SOS 3237629 HAS SOPS 3185771 HAS SOUS 1221240 HAS SOUPS 1219816 WITH SCORE 1223053.629
AT ITER 8059 NEW BEST:: SOT 3849656 SOS 3238943 HAS SOPS 3187085 HAS SOUS 1221127 HAS SOUPS 1219703 WITH SCORE 1222941.943
AT ITER 8066 NEW BEST:: SOT 3849656 SOS 3238915 HAS SOPS 3187057 HAS SOUS 1220987 HAS SOUPS 1219563 WITH SCORE 1222801.915
AT ITER 8087 NEW BEST:: SOT 3854954 SOS 3242442 HAS SOPS 3190577 HAS SOUS 1219527 HAS SOUPS 1218103 WITH SCORE 1221345.442
AT ITER 8090 NEW BEST:: SOT 3854954 SOS 3242442 HAS SOPS 3190577 HAS SOUS 1219227 HAS SOUPS 1217803 WITH SCORE 1221045.442
AT ITER 8105 NEW BEST:: SOT 3854954 SOS 3242442 HAS SOPS 3190577 HAS SOUS 1219221 HAS SOUPS 1217797 WITH SCORE 1221039.442
AT ITER 8112 NEW BEST:: SOT 3854508 SOS 3241996 HAS SOPS 3190131 HAS SOUS 1218998 HAS SOUPS 1217574 WITH SCORE 1220815.996
AT ITER 8120 NEW BEST:: SOT 3852110 SOS 3239598 HAS SOPS 3187733 HAS SOUS 1218998 HAS SOUPS 1217574 WITH SCORE 1220813.598
AT ITER 8139 NEW BEST:: SOT 3833892 SOS 3221969 HAS SOPS 3176681 HAS SOUS 1217929 HAS SOUPS 1216712 WITH SCORE 1219933.969
AT ITER 8152 NEW BEST:: SOT 3835413 SOS 3223062 HAS SOPS 3177774 HAS SOUS 1216595 HAS SOUPS 1215378 WITH SCORE 1218601.062
AT ITER 8160 NEW BEST:: SOT 3835413 SOS 3222762 HAS SOPS 3177474 HAS SOUS 1216594 HAS SOUPS 1215377 WITH SCORE 1218599.762
AT ITER 8183 NEW BEST:: SOT 3836513 SOS 3223862 HAS SOPS 3178574 HAS SOUS 1215546 HAS SOUPS 1214329 WITH SCORE 1217552.862
AT ITER 8194 NEW BEST:: SOT 3837065 SOS 3223987 HAS SOPS 3178699 HAS SOUS 1215056 HAS SOUPS 1213839 WITH SCORE 1217062.987
AT ITER 8200 NEW BEST:: SOT 3837311 SOS 3224233 HAS SOPS 3178945 HAS SOUS 1214408 HAS SOUPS 1213191 WITH SCORE 1216415.233
AT ITER 8224 NEW BEST:: SOT 3845919 SOS 3231988 HAS SOPS 3186700 HAS SOUS 1208311 HAS SOUPS 1207094 WITH SCORE 1210325.988
AT ITER 8227 NEW BEST:: SOT 3845919 SOS 3231988 HAS SOPS 3186700 HAS SOUS 1208293 HAS SOUPS 1207076 WITH SCORE 1210307.988
AT ITER 8250 NEW BEST:: SOT 3845919 SOS 3232536 HAS SOPS 3187248 HAS SOUS 1207848 HAS SOUPS 1206631 WITH SCORE 1209863.536
AT ITER 8252 NEW BEST:: SOT 3846425 SOS 3233042 HAS SOPS 3187754 HAS SOUS 1207746 HAS SOUPS 1206529 WITH SCORE 1209762.042
AT ITER 8260 NEW BEST:: SOT 3846548 SOS 3233165 HAS SOPS 3187877 HAS SOUS 1207640 HAS SOUPS 1206423 WITH SCORE 1209656.165
AT ITER 8292 NEW BEST:: SOT 3846548 SOS 3233165 HAS SOPS 3187877 HAS SOUS 1207366 HAS SOUPS 1206149 WITH SCORE 1209382.165
AT ITER 8293 NEW BEST:: SOT 3846925 SOS 3233542 HAS SOPS 3188254 HAS SOUS 1206819 HAS SOUPS 1205602 WITH SCORE 1208835.542
AT ITER 8306 NEW BEST:: SOT 3846809 SOS 3233461 HAS SOPS 3188173 HAS SOUS 1206314 HAS SOUPS 1205097 WITH SCORE 1208330.461
AT ITER 8317 NEW BEST:: SOT 3846809 SOS 3232655 HAS SOPS 3187367 HAS SOUS 1206203 HAS SOUPS 1204986 WITH SCORE 1208218.655
AT ITER 8319 NEW BEST:: SOT 3846553 SOS 3232399 HAS SOPS 3187111 HAS SOUS 1206075 HAS SOUPS 1204858 WITH SCORE 1208090.399
AT ITER 8335 NEW BEST:: SOT 3848626 SOS 3234141 HAS SOPS 3188853 HAS SOUS 1204583 HAS SOUPS 1203366 WITH SCORE 1206600.141
AT ITER 8344 NEW BEST:: SOT 3848626 SOS 3234121 HAS SOPS 3188833 HAS SOUS 1204563 HAS SOUPS 1203346 WITH SCORE 1206580.121
AT ITER 8353 NEW BEST:: SOT 3848626 SOS 3232627 HAS SOPS 3187339 HAS SOUS 1204563 HAS SOUPS 1203346 WITH SCORE 1206578.627
AT ITER 8373 NEW BEST:: SOT 3848626 SOS 3232627 HAS SOPS 3187339 HAS SOUS 1204233 HAS SOUPS 1203016 WITH SCORE 1206248.627
AT ITER 8409 NEW BEST:: SOT 3848626 SOS 3232627 HAS SOPS 3187339 HAS SOUS 1203469 HAS SOUPS 1202252 WITH SCORE 1205484.627
AT ITER 8410 NEW BEST:: SOT 3850285 SOS 3234286 HAS SOPS 3188998 HAS SOUS 1202979 HAS SOUPS 1201762 WITH SCORE 1204996.286
AT ITER 8431 NEW BEST:: SOT 3848779 SOS 3232780 HAS SOPS 3187492 HAS SOUS 1202979 HAS SOUPS 1201762 WITH SCORE 1204994.78
AT ITER 8438 NEW BEST:: SOT 3848786 SOS 3233127 HAS SOPS 3187839 HAS SOUS 1202132 HAS SOUPS 1200915 WITH SCORE 1204148.127
AT ITER 8451 NEW BEST:: SOT 3849470 SOS 3233536 HAS SOPS 3188248 HAS SOUS 1201980 HAS SOUPS 1200763 WITH SCORE 1203996.536
AT ITER 8454 NEW BEST:: SOT 3849470 SOS 3233474 HAS SOPS 3188186 HAS SOUS 1201918 HAS SOUPS 1200701 WITH SCORE 1203934.474
AT ITER 8470 NEW BEST:: SOT 3846386 SOS 3230429 HAS SOPS 3185141 HAS SOUS 1201847 HAS SOUPS 1200630 WITH SCORE 1203860.429
AT ITER 8495 NEW BEST:: SOT 3844413 SOS 3228456 HAS SOPS 3183168 HAS SOUS 1201636 HAS SOUPS 1200419 WITH SCORE 1203647.456
AT ITER 8519 NEW BEST:: SOT 3844781 SOS 3228824 HAS SOPS 3183536 HAS SOUS 1201071 HAS SOUPS 1199854 WITH SCORE 1203082.824
AT ITER 8538 NEW BEST:: SOT 3843537 SOS 3227580 HAS SOPS 3182292 HAS SOUS 1200449 HAS SOUPS 1199232 WITH SCORE 1202459.58
AT ITER 8544 NEW BEST:: SOT 3843537 SOS 3226893 HAS SOPS 3181314 HAS SOUS 1200427 HAS SOUPS 1199210 WITH SCORE 1202436.893
AT ITER 8548 NEW BEST:: SOT 3842598 SOS 3225954 HAS SOPS 3180375 HAS SOUS 1200114 HAS SOUPS 1198897 WITH SCORE 1202122.954
AT ITER 8557 NEW BEST:: SOT 3842090 SOS 3226034 HAS SOPS 3180455 HAS SOUS 1200007 HAS SOUPS 1198790 WITH SCORE 1202016.034
AT ITER 8568 NEW BEST:: SOT 3842090 SOS 3223745 HAS SOPS 3178166 HAS SOUS 1199665 HAS SOUPS 1198448 WITH SCORE 1201671.745
AT ITER 8572 NEW BEST:: SOT 3842420 SOS 3224075 HAS SOPS 3178496 HAS SOUS 1199604 HAS SOUPS 1198387 WITH SCORE 1201611.075
AT ITER 8575 NEW BEST:: SOT 3843544 SOS 3224777 HAS SOPS 3179198 HAS SOUS 1199301 HAS SOUPS 1198084 WITH SCORE 1201308.777
AT ITER 8586 NEW BEST:: SOT 3843469 SOS 3224702 HAS SOPS 3179123 HAS SOUS 1199058 HAS SOUPS 1197841 WITH SCORE 1201065.702
AT ITER 8599 NEW BEST:: SOT 3858507 SOS 3239371 HAS SOPS 3187445 HAS SOUS 1198284 HAS SOUPS 1197067 WITH SCORE 1200306.371
AT ITER 8612 NEW BEST:: SOT 3858342 SOS 3239206 HAS SOPS 3187280 HAS SOUS 1198229 HAS SOUPS 1197012 WITH SCORE 1200251.206
AT ITER 8613 NEW BEST:: SOT 3857973 SOS 3238837 HAS SOPS 3186911 HAS SOUS 1197860 HAS SOUPS 1196643 WITH SCORE 1199881.837
AT ITER 8638 NEW BEST:: SOT 3857973 SOS 3238837 HAS SOPS 3186911 HAS SOUS 1196966 HAS SOUPS 1195749 WITH SCORE 1198987.837
AT ITER 8657 NEW BEST:: SOT 3861172 SOS 3241045 HAS SOPS 3189112 HAS SOUS 1195719 HAS SOUPS 1194502 WITH SCORE 1197743.045
AT ITER 8666 NEW BEST:: SOT 3874597 SOS 3254470 HAS SOPS 3202537 HAS SOUS 1193656 HAS SOUPS 1192439 WITH SCORE 1195693.47
AT ITER 8667 NEW BEST:: SOT 3874597 SOS 3254470 HAS SOPS 3202537 HAS SOUS 1193613 HAS SOUPS 1192396 WITH SCORE 1195650.47
AT ITER 8685 NEW BEST:: SOT 3874597 SOS 3254470 HAS SOPS 3202537 HAS SOUS 1193205 HAS SOUPS 1191988 WITH SCORE 1195242.47
AT ITER 8688 NEW BEST:: SOT 3876136 SOS 3256009 HAS SOPS 3204076 HAS SOUS 1192763 HAS SOUPS 1191546 WITH SCORE 1194802.009
AT ITER 8730 NEW BEST:: SOT 3876136 SOS 3252368 HAS SOPS 3200435 HAS SOUS 1192700 HAS SOUPS 1191483 WITH SCORE 1194735.368
AT ITER 8741 NEW BEST:: SOT 3883013 SOS 3242455 HAS SOPS 3187401 HAS SOUS 1182728 HAS SOUPS 1181511 WITH SCORE 1184753.455
AT ITER 8743 NEW BEST:: SOT 3883013 SOS 3242283 HAS SOPS 3187229 HAS SOUS 1182556 HAS SOUPS 1181339 WITH SCORE 1184581.283
AT ITER 8747 NEW BEST:: SOT 3878243 SOS 3237513 HAS SOPS 3182459 HAS SOUS 1181602 HAS SOUPS 1180385 WITH SCORE 1183622.513
AT ITER 8756 NEW BEST:: SOT 3878967 SOS 3238237 HAS SOPS 3183183 HAS SOUS 1181509 HAS SOUPS 1180292 WITH SCORE 1183530.237
AT ITER 8762 NEW BEST:: SOT 3878967 SOS 3237929 HAS SOPS 3182875 HAS SOUS 1180757 HAS SOUPS 1179540 WITH SCORE 1182777.929
AT ITER 8781 NEW BEST:: SOT 3895586 SOS 3239055 HAS SOPS 3176224 HAS SOUS 1176062 HAS SOUPS 1174751 WITH SCORE 1177990.055
AT ITER 8792 NEW BEST:: SOT 3904201 SOS 3244563 HAS SOPS 3175337 HAS SOUS 1174267 HAS SOUPS 1172956 WITH SCORE 1176200.563
AT ITER 8812 NEW BEST:: SOT 3904201 SOS 3244083 HAS SOPS 3174857 HAS SOUS 1173760 HAS SOUPS 1172449 WITH SCORE 1175693.083
AT ITER 8836 NEW BEST:: SOT 3906646 SOS 3246428 HAS SOPS 3177202 HAS SOUS 1173427 HAS SOUPS 1172116 WITH SCORE 1175362.428
AT ITER 8842 NEW BEST:: SOT 3901190 SOS 3240972 HAS SOPS 3171746 HAS SOUS 1172931 HAS SOUPS 1171620 WITH SCORE 1174860.972
AT ITER 8851 NEW BEST:: SOT 3901234 SOS 3241016 HAS SOPS 3171790 HAS SOUS 1172918 HAS SOUPS 1171607 WITH SCORE 1174848.016
AT ITER 8853 NEW BEST:: SOT 3901234 SOS 3241016 HAS SOPS 3171790 HAS SOUS 1172668 HAS SOUPS 1171357 WITH SCORE 1174598.016
AT ITER 8861 NEW BEST:: SOT 3901234 SOS 3241001 HAS SOPS 3171775 HAS SOUS 1172638 HAS SOUPS 1171327 WITH SCORE 1174568.001
AT ITER 8874 NEW BEST:: SOT 3887154 SOS 3226921 HAS SOPS 3157695 HAS SOUS 1171358 HAS SOUPS 1170047 WITH SCORE 1173273.921
AT ITER 8881 NEW BEST:: SOT 3887829 SOS 3227231 HAS SOPS 3158005 HAS SOUS 1170810 HAS SOUPS 1169499 WITH SCORE 1172726.231
AT ITER 8961 NEW BEST:: SOT 3889287 SOS 3227838 HAS SOPS 3158612 HAS SOUS 1170043 HAS SOUPS 1168732 WITH SCORE 1171959.838
AT ITER 8984 NEW BEST:: SOT 3889178 SOS 3227729 HAS SOPS 3158503 HAS SOUS 1169962 HAS SOUPS 1168651 WITH SCORE 1171878.729
AT ITER 8995 NEW BEST:: SOT 3888214 SOS 3226765 HAS SOPS 3157539 HAS SOUS 1169962 HAS SOUPS 1168651 WITH SCORE 1171877.765
AT ITER 9006 NEW BEST:: SOT 3879989 SOS 3218540 HAS SOPS 3149314 HAS SOUS 1168317 HAS SOUPS 1167006 WITH SCORE 1170224.54
AT ITER 9028 NEW BEST:: SOT 3880030 SOS 3218581 HAS SOPS 3149355 HAS SOUS 1167647 HAS SOUPS 1166336 WITH SCORE 1169554.581
AT ITER 9031 NEW BEST:: SOT 3880030 SOS 3218393 HAS SOPS 3149167 HAS SOUS 1167477 HAS SOUPS 1166166 WITH SCORE 1169384.393
AT ITER 9040 NEW BEST:: SOT 3901841 SOS 3238467 HAS SOPS 3160197 HAS SOUS 1164928 HAS SOUPS 1163617 WITH SCORE 1166855.467
AT ITER 9050 NEW BEST:: SOT 3901905 SOS 3238531 HAS SOPS 3160261 HAS SOUS 1164880 HAS SOUPS 1163569 WITH SCORE 1166807.531
AT ITER 9051 NEW BEST:: SOT 3901779 SOS 3238405 HAS SOPS 3160135 HAS SOUS 1164796 HAS SOUPS 1163485 WITH SCORE 1166723.405
AT ITER 9076 NEW BEST:: SOT 3903751 SOS 3240377 HAS SOPS 3162107 HAS SOUS 1164650 HAS SOUPS 1163339 WITH SCORE 1166579.377
AT ITER 9102 NEW BEST:: SOT 3903751 SOS 3240377 HAS SOPS 3162107 HAS SOUS 1164591 HAS SOUPS 1163280 WITH SCORE 1166520.377
AT ITER 9104 NEW BEST:: SOT 3903751 SOS 3239625 HAS SOPS 3161355 HAS SOUS 1163839 HAS SOUPS 1162528 WITH SCORE 1165767.625
AT ITER 9123 NEW BEST:: SOT 3903751 SOS 3239236 HAS SOPS 3160966 HAS SOUS 1163061 HAS SOUPS 1161750 WITH SCORE 1164989.236
AT ITER 9151 NEW BEST:: SOT 3903619 SOS 3239104 HAS SOPS 3160834 HAS SOUS 1162929 HAS SOUPS 1161618 WITH SCORE 1164857.104
AT ITER 9165 NEW BEST:: SOT 3903619 SOS 3239064 HAS SOPS 3160794 HAS SOUS 1162929 HAS SOUPS 1161618 WITH SCORE 1164857.064
AT ITER 9180 NEW BEST:: SOT 3903958 SOS 3239403 HAS SOPS 3161133 HAS SOUS 1161367 HAS SOUPS 1160056 WITH SCORE 1163295.403
AT ITER 9184 NEW BEST:: SOT 3911038 SOS 3246239 HAS SOPS 3167969 HAS SOUS 1159549 HAS SOUPS 1158238 WITH SCORE 1161484.239
AT ITER 9215 NEW BEST:: SOT 3913195 SOS 3248396 HAS SOPS 3169155 HAS SOUS 1159181 HAS SOUPS 1157870 WITH SCORE 1161118.396
AT ITER 9225 NEW BEST:: SOT 3914623 SOS 3249824 HAS SOPS 3170583 HAS SOUS 1157276 HAS SOUPS 1155965 WITH SCORE 1159214.824
AT ITER 9231 NEW BEST:: SOT 3923819 SOS 3257361 HAS SOPS 3178120 HAS SOUS 1147671 HAS SOUPS 1146360 WITH SCORE 1149617.361
AT ITER 9251 NEW BEST:: SOT 3923819 SOS 3257361 HAS SOPS 3178120 HAS SOUS 1147520 HAS SOUPS 1146209 WITH SCORE 1149466.361
AT ITER 9253 NEW BEST:: SOT 3925034 SOS 3257860 HAS SOPS 3178034 HAS SOUS 1147434 HAS SOUPS 1146123 WITH SCORE 1149380.86
AT ITER 9255 NEW BEST:: SOT 3932312 SOS 3265138 HAS SOPS 3185312 HAS SOUS 1144650 HAS SOUPS 1143339 WITH SCORE 1146604.138
AT ITER 9269 NEW BEST:: SOT 3933834 SOS 3266235 HAS SOPS 3186409 HAS SOUS 1144634 HAS SOUPS 1143323 WITH SCORE 1146589.235
AT ITER 9273 NEW BEST:: SOT 3933834 SOS 3266235 HAS SOPS 3186409 HAS SOUS 1144321 HAS SOUPS 1143010 WITH SCORE 1146276.235
AT ITER 9285 NEW BEST:: SOT 3933460 SOS 3265861 HAS SOPS 3186035 HAS SOUS 1144287 HAS SOUPS 1142976 WITH SCORE 1146241.861
AT ITER 9291 NEW BEST:: SOT 3938016 SOS 3269706 HAS SOPS 3189880 HAS SOUS 1144194 HAS SOUPS 1142883 WITH SCORE 1146152.706
AT ITER 9310 NEW BEST:: SOT 3935858 SOS 3267548 HAS SOPS 3187722 HAS SOUS 1144194 HAS SOUPS 1142883 WITH SCORE 1146150.548
AT ITER 9326 NEW BEST:: SOT 3935997 SOS 3267304 HAS SOPS 3187478 HAS SOUS 1142268 HAS SOUPS 1140957 WITH SCORE 1144224.304
AT ITER 9341 NEW BEST:: SOT 3932048 SOS 3263355 HAS SOPS 3183529 HAS SOUS 1141909 HAS SOUPS 1140598 WITH SCORE 1143861.355
AT ITER 9349 NEW BEST:: SOT 3929983 SOS 3261290 HAS SOPS 3181464 HAS SOUS 1140953 HAS SOUPS 1139642 WITH SCORE 1142903.29
AT ITER 9375 NEW BEST:: SOT 3929841 SOS 3261148 HAS SOPS 3181322 HAS SOUS 1140882 HAS SOUPS 1139571 WITH SCORE 1142832.148
AT ITER 9376 NEW BEST:: SOT 3929173 SOS 3260480 HAS SOPS 3180654 HAS SOUS 1140214 HAS SOUPS 1138903 WITH SCORE 1142163.48
AT ITER 9394 NEW BEST:: SOT 3929436 SOS 3260743 HAS SOPS 3180917 HAS SOUS 1139282 HAS SOUPS 1137971 WITH SCORE 1141231.743
AT ITER 9412 NEW BEST:: SOT 3922241 SOS 3253548 HAS SOPS 3173722 HAS SOUS 1137843 HAS SOUPS 1136532 WITH SCORE 1139785.548
AT ITER 9414 NEW BEST:: SOT 3922241 SOS 3253721 HAS SOPS 3173895 HAS SOUS 1137841 HAS SOUPS 1136530 WITH SCORE 1139783.721
AT ITER 9422 NEW BEST:: SOT 3922241 SOS 3253543 HAS SOPS 3173717 HAS SOUS 1137841 HAS SOUPS 1136530 WITH SCORE 1139783.543
AT ITER 9447 NEW BEST:: SOT 3922803 SOS 3253411 HAS SOPS 3173585 HAS SOUS 1137243 HAS SOUPS 1135932 WITH SCORE 1139185.411
AT ITER 9469 NEW BEST:: SOT 3922803 SOS 3253240 HAS SOPS 3173414 HAS SOUS 1137234 HAS SOUPS 1135923 WITH SCORE 1139176.24
AT ITER 9486 NEW BEST:: SOT 3922507 SOS 3252944 HAS SOPS 3173414 HAS SOUS 1137234 HAS SOUPS 1135923 WITH SCORE 1139175.944
AT ITER 9488 NEW BEST:: SOT 3915766 SOS 3246203 HAS SOPS 3166673 HAS SOUS 1137153 HAS SOUPS 1135842 WITH SCORE 1139088.203
AT ITER 9490 NEW BEST:: SOT 3915766 SOS 3246203 HAS SOPS 3166673 HAS SOUS 1136785 HAS SOUPS 1135474 WITH SCORE 1138720.203
AT ITER 9491 NEW BEST:: SOT 3915766 SOS 3246203 HAS SOPS 3166673 HAS SOUS 1136784 HAS SOUPS 1135473 WITH SCORE 1138719.203
AT ITER 9504 NEW BEST:: SOT 3916755 SOS 3247192 HAS SOPS 3167662 HAS SOUS 1136305 HAS SOUPS 1134994 WITH SCORE 1138241.192
AT ITER 9511 NEW BEST:: SOT 3904355 SOS 3234792 HAS SOPS 3155262 HAS SOUS 1131640 HAS SOUPS 1130329 WITH SCORE 1133563.792
AT ITER 9513 NEW BEST:: SOT 3906588 SOS 3220950 HAS SOPS 3138941 HAS SOUS 1130383 HAS SOUPS 1129072 WITH SCORE 1132292.95
AT ITER 9519 NEW BEST:: SOT 3906588 SOS 3220770 HAS SOPS 3138761 HAS SOUS 1130383 HAS SOUPS 1129072 WITH SCORE 1132292.77
AT ITER 9524 NEW BEST:: SOT 3906588 SOS 3200380 HAS SOPS 3118371 HAS SOUS 1127873 HAS SOUPS 1126562 WITH SCORE 1129762.38
AT ITER 9568 NEW BEST:: SOT 3910456 SOS 3203643 HAS SOPS 3121634 HAS SOUS 1126472 HAS SOUPS 1125161 WITH SCORE 1128364.643
AT ITER 9582 NEW BEST:: SOT 3902922 SOS 3196109 HAS SOPS 3120744 HAS SOUS 1126472 HAS SOUPS 1125161 WITH SCORE 1128357.109
AT ITER 9587 NEW BEST:: SOT 3903678 SOS 3189268 HAS SOPS 3112607 HAS SOUS 1123277 HAS SOUPS 1121966 WITH SCORE 1125155.268
AT ITER 9651 NEW BEST:: SOT 3903678 SOS 3188883 HAS SOPS 3112222 HAS SOUS 1122507 HAS SOUPS 1121196 WITH SCORE 1124384.883
AT ITER 9676 NEW BEST:: SOT 3902832 SOS 3187341 HAS SOPS 3110257 HAS SOUS 1121505 HAS SOUPS 1120194 WITH SCORE 1123381.341
AT ITER 9691 NEW BEST:: SOT 3902772 SOS 3187281 HAS SOPS 3110213 HAS SOUS 1121505 HAS SOUPS 1120194 WITH SCORE 1123381.281
AT ITER 9704 NEW BEST:: SOT 3906069 SOS 3190578 HAS SOPS 3113510 HAS SOUS 1120217 HAS SOUPS 1118906 WITH SCORE 1122096.578
AT ITER 9725 NEW BEST:: SOT 3906069 SOS 3190578 HAS SOPS 3113510 HAS SOUS 1120078 HAS SOUPS 1118767 WITH SCORE 1121957.578
AT ITER 9749 NEW BEST:: SOT 3876511 SOS 3161020 HAS SOPS 3083952 HAS SOUS 1112333 HAS SOUPS 1111022 WITH SCORE 1114183.02
AT ITER 9762 NEW BEST:: SOT 3876545 SOS 3161054 HAS SOPS 3083986 HAS SOUS 1111860 HAS SOUPS 1110549 WITH SCORE 1113710.054
AT ITER 9774 NEW BEST:: SOT 3876545 SOS 3161054 HAS SOPS 3083986 HAS SOUS 1111786 HAS SOUPS 1110475 WITH SCORE 1113636.054
AT ITER 9781 NEW BEST:: SOT 3876545 SOS 3160771 HAS SOPS 3083703 HAS SOUS 1111786 HAS SOUPS 1110475 WITH SCORE 1113635.771
AT ITER 9786 NEW BEST:: SOT 3876989 SOS 3160517 HAS SOPS 3083005 HAS SOUS 1110936 HAS SOUPS 1109625 WITH SCORE 1112785.517
AT ITER 9788 NEW BEST:: SOT 3876989 SOS 3160517 HAS SOPS 3083005 HAS SOUS 1110467 HAS SOUPS 1109156 WITH SCORE 1112316.517
AT ITER 9798 NEW BEST:: SOT 3880402 SOS 3163272 HAS SOPS 3085753 HAS SOUS 1109810 HAS SOUPS 1108499 WITH SCORE 1111662.272
AT ITER 9804 NEW BEST:: SOT 3880402 SOS 3163022 HAS SOPS 3085503 HAS SOUS 1109810 HAS SOUPS 1108499 WITH SCORE 1111662.022
AT ITER 9814 NEW BEST:: SOT 3880108 SOS 3162728 HAS SOPS 3085209 HAS SOUS 1109663 HAS SOUPS 1108352 WITH SCORE 1111514.728
AT ITER 9825 NEW BEST:: SOT 3880108 SOS 3147795 HAS SOPS 3070276 HAS SOUS 1109600 HAS SOUPS 1108289 WITH SCORE 1111436.795
AT ITER 9837 NEW BEST:: SOT 3881077 SOS 3148764 HAS SOPS 3071245 HAS SOUS 1109386 HAS SOUPS 1108075 WITH SCORE 1111223.764
AT ITER 9865 NEW BEST:: SOT 3881023 SOS 3148710 HAS SOPS 3071191 HAS SOUS 1109350 HAS SOUPS 1108039 WITH SCORE 1111187.71
AT ITER 9873 NEW BEST:: SOT 3881023 SOS 3148710 HAS SOPS 3071191 HAS SOUS 1109349 HAS SOUPS 1108038 WITH SCORE 1111186.71
AT ITER 9888 NEW BEST:: SOT 3878569 SOS 3146256 HAS SOPS 3068737 HAS SOUS 1109349 HAS SOUPS 1108038 WITH SCORE 1111184.256
AT ITER 9945 NEW BEST:: SOT 3878569 SOS 3146256 HAS SOPS 3068737 HAS SOUS 1109245 HAS SOUPS 1107934 WITH SCORE 1111080.256
AT ITER 9973 NEW BEST:: SOT 3879846 SOS 3145423 HAS SOPS 3067041 HAS SOUS 1108987 HAS SOUPS 1107676 WITH SCORE 1110821.423
AT ITER 9984 NEW BEST:: SOT 3879679 SOS 3145256 HAS SOPS 3066874 HAS SOUS 1108987 HAS SOUPS 1107676 WITH SCORE 1110821.256
AT ITER 9985 NEW BEST:: SOT 3879679 SOS 3144718 HAS SOPS 3066336 HAS SOUS 1108586 HAS SOUPS 1107275 WITH SCORE 1110419.718
AT ITER 9986 NEW BEST:: SOT 3887597 SOS 3133765 HAS SOPS 3050744 HAS SOUS 1100441 HAS SOUPS 1099130 WITH SCORE 1102263.765
AT ITER 9990 NEW BEST:: SOT 3887963 SOS 3134131 HAS SOPS 3051110 HAS SOUS 1100357 HAS SOUPS 1099046 WITH SCORE 1102180.131
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11820448 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118872 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-d2m07"
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-d2m07, 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-167814484100320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m07.tgz
mv DBSingleClientW-PT-d2m07 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 ;