About the Execution of smart for FlexibleBarrier-PT-14b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.030 | 3600000.00 | 3599981.00 | 68.60 | [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/mcc2020-input.r078-smll-158922972500348.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-14b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500348
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 726K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589428040099
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 2678 places, 3085 transitions, 7733 arcs.
AT ITER 0 NEW BEST:: SOT 5335314 SOS 2776765 HAS SOPS 2776765 HAS SOUS 1975884 HAS SOUPS 1975884 WITH SCORE 1978660.765
AT ITER 5 NEW BEST:: SOT 5334783 SOS 2775703 HAS SOPS 2775703 HAS SOUS 1975516 HAS SOUPS 1975516 WITH SCORE 1978291.703
AT ITER 6 NEW BEST:: SOT 5334961 SOS 2757741 HAS SOPS 2757741 HAS SOUS 1975485 HAS SOUPS 1975485 WITH SCORE 1978242.741
AT ITER 18 NEW BEST:: SOT 5335094 SOS 2756491 HAS SOPS 2756491 HAS SOUS 1974879 HAS SOUPS 1974879 WITH SCORE 1977635.491
AT ITER 20 NEW BEST:: SOT 5335094 SOS 2756491 HAS SOPS 2756491 HAS SOUS 1974878 HAS SOUPS 1974878 WITH SCORE 1977634.491
AT ITER 34 NEW BEST:: SOT 5335094 SOS 2755687 HAS SOPS 2755687 HAS SOUS 1974823 HAS SOUPS 1974823 WITH SCORE 1977578.687
AT ITER 46 NEW BEST:: SOT 5334298 SOS 2752503 HAS SOPS 2752503 HAS SOUS 1973727 HAS SOUPS 1973727 WITH SCORE 1976479.503
AT ITER 47 NEW BEST:: SOT 5333237 SOS 2750381 HAS SOPS 2750381 HAS SOUS 1973107 HAS SOUPS 1973107 WITH SCORE 1975857.381
AT ITER 48 NEW BEST:: SOT 5333249 SOS 2749069 HAS SOPS 2749069 HAS SOUS 1972050 HAS SOUPS 1972050 WITH SCORE 1974799.069
AT ITER 56 NEW BEST:: SOT 5332709 SOS 2748529 HAS SOPS 2748529 HAS SOUS 1971510 HAS SOUPS 1971510 WITH SCORE 1974258.529
AT ITER 62 NEW BEST:: SOT 5327234 SOS 2744626 HAS SOPS 2744626 HAS SOUS 1966414 HAS SOUPS 1966414 WITH SCORE 1969158.626
AT ITER 63 NEW BEST:: SOT 5326431 SOS 2744204 HAS SOPS 2744204 HAS SOUS 1965976 HAS SOUPS 1965976 WITH SCORE 1968720.204
AT ITER 64 NEW BEST:: SOT 5325303 SOS 2743384 HAS SOPS 2743384 HAS SOUS 1965116 HAS SOUPS 1965116 WITH SCORE 1967859.384
AT ITER 65 NEW BEST:: SOT 5324066 SOS 2740910 HAS SOPS 2740910 HAS SOUS 1964599 HAS SOUPS 1964599 WITH SCORE 1967339.91
AT ITER 72 NEW BEST:: SOT 5324066 SOS 2740910 HAS SOPS 2740910 HAS SOUS 1964595 HAS SOUPS 1964595 WITH SCORE 1967335.91
AT ITER 73 NEW BEST:: SOT 5324046 SOS 2740870 HAS SOPS 2740870 HAS SOUS 1964575 HAS SOUPS 1964575 WITH SCORE 1967315.87
AT ITER 74 NEW BEST:: SOT 5322898 SOS 2738573 HAS SOPS 2738573 HAS SOUS 1962390 HAS SOUPS 1962390 WITH SCORE 1965128.573
AT ITER 75 NEW BEST:: SOT 5322898 SOS 2737852 HAS SOPS 2737852 HAS SOUS 1961594 HAS SOUPS 1961594 WITH SCORE 1964331.852
AT ITER 84 NEW BEST:: SOT 5322898 SOS 2737852 HAS SOPS 2737852 HAS SOUS 1961593 HAS SOUPS 1961593 WITH SCORE 1964330.852
AT ITER 90 NEW BEST:: SOT 5322239 SOS 2737300 HAS SOPS 2737300 HAS SOUS 1960933 HAS SOUPS 1960933 WITH SCORE 1963670.3
AT ITER 93 NEW BEST:: SOT 5322664 SOS 2736254 HAS SOPS 2736254 HAS SOUS 1960622 HAS SOUPS 1960622 WITH SCORE 1963358.254
AT ITER 94 NEW BEST:: SOT 5321816 SOS 2734558 HAS SOPS 2734558 HAS SOUS 1958926 HAS SOUPS 1958926 WITH SCORE 1961660.558
AT ITER 102 NEW BEST:: SOT 5294303 SOS 2707045 HAS SOPS 2707045 HAS SOUS 1931413 HAS SOUPS 1931413 WITH SCORE 1934120.045
AT ITER 104 NEW BEST:: SOT 5294051 SOS 2705645 HAS SOPS 2705645 HAS SOUS 1931035 HAS SOUPS 1931035 WITH SCORE 1933740.645
AT ITER 108 NEW BEST:: SOT 5293687 SOS 2704189 HAS SOPS 2704189 HAS SOUS 1930307 HAS SOUPS 1930307 WITH SCORE 1933011.189
AT ITER 110 NEW BEST:: SOT 5293361 SOS 2703990 HAS SOPS 2703990 HAS SOUS 1930099 HAS SOUPS 1930099 WITH SCORE 1932802.99
AT ITER 112 NEW BEST:: SOT 5293361 SOS 2703990 HAS SOPS 2703990 HAS SOUS 1930088 HAS SOUPS 1930088 WITH SCORE 1932791.99
AT ITER 115 NEW BEST:: SOT 5293361 SOS 2703538 HAS SOPS 2703538 HAS SOUS 1930088 HAS SOUPS 1930088 WITH SCORE 1932791.538
AT ITER 123 NEW BEST:: SOT 5292712 SOS 2702240 HAS SOPS 2702240 HAS SOUS 1929449 HAS SOUPS 1929449 WITH SCORE 1932151.24
AT ITER 124 NEW BEST:: SOT 5292398 SOS 2701612 HAS SOPS 2701612 HAS SOUS 1929106 HAS SOUPS 1929106 WITH SCORE 1931807.612
AT ITER 130 NEW BEST:: SOT 5292082 SOS 2700348 HAS SOPS 2700348 HAS SOUS 1928311 HAS SOUPS 1928311 WITH SCORE 1931011.348
AT ITER 133 NEW BEST:: SOT 5292053 SOS 2700261 HAS SOPS 2700261 HAS SOUS 1928248 HAS SOUPS 1928248 WITH SCORE 1930948.261
AT ITER 135 NEW BEST:: SOT 5292053 SOS 2689684 HAS SOPS 2689684 HAS SOUS 1927623 HAS SOUPS 1927623 WITH SCORE 1930312.684
AT ITER 141 NEW BEST:: SOT 5291439 SOS 2687842 HAS SOPS 2687842 HAS SOUS 1927009 HAS SOUPS 1927009 WITH SCORE 1929696.842
AT ITER 147 NEW BEST:: SOT 5287645 SOS 2707837 HAS SOPS 2707837 HAS SOUS 1925575 HAS SOUPS 1925575 WITH SCORE 1928282.837
AT ITER 151 NEW BEST:: SOT 5287645 SOS 2707836 HAS SOPS 2707836 HAS SOUS 1925574 HAS SOUPS 1925574 WITH SCORE 1928281.836
AT ITER 153 NEW BEST:: SOT 5287645 SOS 2707112 HAS SOPS 2707112 HAS SOUS 1925266 HAS SOUPS 1925266 WITH SCORE 1927973.112
AT ITER 157 NEW BEST:: SOT 5287074 SOS 2704828 HAS SOPS 2704828 HAS SOUS 1923726 HAS SOUPS 1923726 WITH SCORE 1926430.828
AT ITER 159 NEW BEST:: SOT 5286370 SOS 2702012 HAS SOPS 2702012 HAS SOUS 1923021 HAS SOUPS 1923021 WITH SCORE 1925723.012
AT ITER 161 NEW BEST:: SOT 5204756 SOS 2645057 HAS SOPS 2645057 HAS SOUS 1841686 HAS SOUPS 1841686 WITH SCORE 1844331.057
AT ITER 162 NEW BEST:: SOT 5204756 SOS 2645057 HAS SOPS 2645057 HAS SOUS 1841684 HAS SOUPS 1841684 WITH SCORE 1844329.057
AT ITER 163 NEW BEST:: SOT 5203922 SOS 2642033 HAS SOPS 2642033 HAS SOUS 1840328 HAS SOUPS 1840328 WITH SCORE 1842970.033
AT ITER 165 NEW BEST:: SOT 5203922 SOS 2641477 HAS SOPS 2641477 HAS SOUS 1839771 HAS SOUPS 1839771 WITH SCORE 1842412.477
AT ITER 166 NEW BEST:: SOT 5203922 SOS 2641323 HAS SOPS 2641323 HAS SOUS 1839617 HAS SOUPS 1839617 WITH SCORE 1842258.323
AT ITER 168 NEW BEST:: SOT 5203407 SOS 2637897 HAS SOPS 2637897 HAS SOUS 1837735 HAS SOUPS 1837735 WITH SCORE 1840372.897
AT ITER 181 NEW BEST:: SOT 5203250 SOS 2635686 HAS SOPS 2635686 HAS SOUS 1836651 HAS SOUPS 1836651 WITH SCORE 1839286.686
AT ITER 183 NEW BEST:: SOT 5202738 SOS 2635631 HAS SOPS 2635631 HAS SOUS 1836236 HAS SOUPS 1836236 WITH SCORE 1838871.631
AT ITER 195 NEW BEST:: SOT 5202738 SOS 2634551 HAS SOPS 2634551 HAS SOUS 1835822 HAS SOUPS 1835822 WITH SCORE 1838456.551
AT ITER 199 NEW BEST:: SOT 5202502 SOS 2634079 HAS SOPS 2634079 HAS SOUS 1835815 HAS SOUPS 1835815 WITH SCORE 1838449.079
AT ITER 201 NEW BEST:: SOT 5185002 SOS 2638919 HAS SOPS 2638919 HAS SOUS 1820350 HAS SOUPS 1820350 WITH SCORE 1822988.919
AT ITER 211 NEW BEST:: SOT 5185002 SOS 2638919 HAS SOPS 2638919 HAS SOUS 1820349 HAS SOUPS 1820349 WITH SCORE 1822987.919
AT ITER 212 NEW BEST:: SOT 5183531 SOS 2637871 HAS SOPS 2637871 HAS SOUS 1819279 HAS SOUPS 1819279 WITH SCORE 1821916.871
AT ITER 222 NEW BEST:: SOT 5183607 SOS 2637912 HAS SOPS 2637912 HAS SOUS 1819247 HAS SOUPS 1819247 WITH SCORE 1821884.912
AT ITER 225 NEW BEST:: SOT 5183607 SOS 2637912 HAS SOPS 2637912 HAS SOUS 1819245 HAS SOUPS 1819245 WITH SCORE 1821882.912
AT ITER 227 NEW BEST:: SOT 5183088 SOS 2635836 HAS SOPS 2635836 HAS SOUS 1818725 HAS SOUPS 1818725 WITH SCORE 1821360.836
AT ITER 231 NEW BEST:: SOT 5181810 SOS 2635683 HAS SOPS 2635683 HAS SOUS 1818572 HAS SOUPS 1818572 WITH SCORE 1821207.683
AT ITER 233 NEW BEST:: SOT 5179249 SOS 2640470 HAS SOPS 2640470 HAS SOUS 1816312 HAS SOUPS 1816312 WITH SCORE 1818952.47
AT ITER 235 NEW BEST:: SOT 5178683 SOS 2637720 HAS SOPS 2637720 HAS SOUS 1815513 HAS SOUPS 1815513 WITH SCORE 1818150.72
AT ITER 238 NEW BEST:: SOT 5178557 SOS 2637594 HAS SOPS 2637594 HAS SOUS 1815387 HAS SOUPS 1815387 WITH SCORE 1818024.594
AT ITER 242 NEW BEST:: SOT 5177856 SOS 2634790 HAS SOPS 2634790 HAS SOUS 1814686 HAS SOUPS 1814686 WITH SCORE 1817320.79
AT ITER 245 NEW BEST:: SOT 5176670 SOS 2632805 HAS SOPS 2632805 HAS SOUS 1813886 HAS SOUPS 1813886 WITH SCORE 1816518.805
AT ITER 257 NEW BEST:: SOT 5176056 SOS 2630349 HAS SOPS 2630349 HAS SOUS 1812658 HAS SOUPS 1812658 WITH SCORE 1815288.349
AT ITER 264 NEW BEST:: SOT 5176175 SOS 2629167 HAS SOPS 2629167 HAS SOUS 1810914 HAS SOUPS 1810914 WITH SCORE 1813543.167
AT ITER 266 NEW BEST:: SOT 5175302 SOS 2625675 HAS SOPS 2625675 HAS SOUS 1809326 HAS SOUPS 1809326 WITH SCORE 1811951.675
AT ITER 272 NEW BEST:: SOT 5175302 SOS 2625288 HAS SOPS 2625288 HAS SOUS 1809315 HAS SOUPS 1809315 WITH SCORE 1811940.288
AT ITER 274 NEW BEST:: SOT 5154602 SOS 2624016 HAS SOPS 2624016 HAS SOUS 1789953 HAS SOUPS 1789953 WITH SCORE 1792577.016
AT ITER 275 NEW BEST:: SOT 5154602 SOS 2623568 HAS SOPS 2623568 HAS SOUS 1789953 HAS SOUPS 1789953 WITH SCORE 1792576.568
AT ITER 277 NEW BEST:: SOT 5154710 SOS 2621911 HAS SOPS 2621911 HAS SOUS 1789232 HAS SOUPS 1789232 WITH SCORE 1791853.911
AT ITER 278 NEW BEST:: SOT 5154446 SOS 2620855 HAS SOPS 2620855 HAS SOUS 1788967 HAS SOUPS 1788967 WITH SCORE 1791587.855
AT ITER 279 NEW BEST:: SOT 5154206 SOS 2620375 HAS SOPS 2620375 HAS SOUS 1788727 HAS SOUPS 1788727 WITH SCORE 1791347.375
AT ITER 289 NEW BEST:: SOT 5154425 SOS 2618957 HAS SOPS 2618957 HAS SOUS 1788159 HAS SOUPS 1788159 WITH SCORE 1790777.957
AT ITER 290 NEW BEST:: SOT 5154289 SOS 2618821 HAS SOPS 2618821 HAS SOUS 1787887 HAS SOUPS 1787887 WITH SCORE 1790505.821
AT ITER 291 NEW BEST:: SOT 5154289 SOS 2618441 HAS SOPS 2618441 HAS SOUS 1787887 HAS SOUPS 1787887 WITH SCORE 1790505.441
AT ITER 294 NEW BEST:: SOT 5154247 SOS 2618399 HAS SOPS 2618399 HAS SOUS 1787887 HAS SOUPS 1787887 WITH SCORE 1790505.399
AT ITER 296 NEW BEST:: SOT 5153881 SOS 2617667 HAS SOPS 2617667 HAS SOUS 1787521 HAS SOUPS 1787521 WITH SCORE 1790138.667
AT ITER 306 NEW BEST:: SOT 5130542 SOS 2625485 HAS SOPS 2625485 HAS SOUS 1767349 HAS SOUPS 1767349 WITH SCORE 1769974.485
AT ITER 308 NEW BEST:: SOT 5130293 SOS 2625485 HAS SOPS 2625485 HAS SOUS 1767276 HAS SOUPS 1767276 WITH SCORE 1769901.485
AT ITER 310 NEW BEST:: SOT 5130293 SOS 2625270 HAS SOPS 2625270 HAS SOUS 1767276 HAS SOUPS 1767276 WITH SCORE 1769901.27
AT ITER 311 NEW BEST:: SOT 5130435 SOS 2624839 HAS SOPS 2624839 HAS SOUS 1767241 HAS SOUPS 1767241 WITH SCORE 1769865.839
AT ITER 312 NEW BEST:: SOT 5130398 SOS 2623527 HAS SOPS 2623527 HAS SOUS 1767199 HAS SOUPS 1767199 WITH SCORE 1769822.527
AT ITER 314 NEW BEST:: SOT 5130398 SOS 2623527 HAS SOPS 2623527 HAS SOUS 1766901 HAS SOUPS 1766901 WITH SCORE 1769524.527
AT ITER 316 NEW BEST:: SOT 5130398 SOS 2623527 HAS SOPS 2623527 HAS SOUS 1765864 HAS SOUPS 1765864 WITH SCORE 1768487.527
AT ITER 317 NEW BEST:: SOT 5129942 SOS 2622610 HAS SOPS 2622610 HAS SOUS 1765403 HAS SOUPS 1765403 WITH SCORE 1768025.61
AT ITER 319 NEW BEST:: SOT 5129507 SOS 2621305 HAS SOPS 2621305 HAS SOUS 1764533 HAS SOUPS 1764533 WITH SCORE 1767154.305
AT ITER 321 NEW BEST:: SOT 5129244 SOS 2620516 HAS SOPS 2620516 HAS SOUS 1764269 HAS SOUPS 1764269 WITH SCORE 1766889.516
AT ITER 330 NEW BEST:: SOT 5129244 SOS 2620516 HAS SOPS 2620516 HAS SOUS 1764267 HAS SOUPS 1764267 WITH SCORE 1766887.516
AT ITER 333 NEW BEST:: SOT 5129042 SOS 2620314 HAS SOPS 2620314 HAS SOUS 1764065 HAS SOUPS 1764065 WITH SCORE 1766685.314
AT ITER 342 NEW BEST:: SOT 5129042 SOS 2620314 HAS SOPS 2620314 HAS SOUS 1763203 HAS SOUPS 1763203 WITH SCORE 1765823.314
AT ITER 345 NEW BEST:: SOT 5128675 SOS 2619580 HAS SOPS 2619580 HAS SOUS 1763144 HAS SOUPS 1763144 WITH SCORE 1765763.58
AT ITER 346 NEW BEST:: SOT 5128292 SOS 2618814 HAS SOPS 2618814 HAS SOUS 1762761 HAS SOUPS 1762761 WITH SCORE 1765379.814
AT ITER 348 NEW BEST:: SOT 5128292 SOS 2618814 HAS SOPS 2618814 HAS SOUS 1762760 HAS SOUPS 1762760 WITH SCORE 1765378.814
AT ITER 351 NEW BEST:: SOT 5127844 SOS 2617470 HAS SOPS 2617470 HAS SOUS 1762311 HAS SOUPS 1762311 WITH SCORE 1764928.47
AT ITER 352 NEW BEST:: SOT 5127844 SOS 2617470 HAS SOPS 2617470 HAS SOUS 1761980 HAS SOUPS 1761980 WITH SCORE 1764597.47
AT ITER 354 NEW BEST:: SOT 5127844 SOS 2609369 HAS SOPS 2609369 HAS SOUS 1761697 HAS SOUPS 1761697 WITH SCORE 1764306.369
AT ITER 355 NEW BEST:: SOT 5127363 SOS 2607926 HAS SOPS 2607926 HAS SOUS 1760735 HAS SOUPS 1760735 WITH SCORE 1763342.926
AT ITER 360 NEW BEST:: SOT 5127322 SOS 2607844 HAS SOPS 2607844 HAS SOUS 1760653 HAS SOUPS 1760653 WITH SCORE 1763260.844
AT ITER 361 NEW BEST:: SOT 5127228 SOS 2607837 HAS SOPS 2607837 HAS SOUS 1760646 HAS SOUPS 1760646 WITH SCORE 1763253.837
AT ITER 366 NEW BEST:: SOT 5127032 SOS 2607249 HAS SOPS 2607249 HAS SOUS 1760254 HAS SOUPS 1760254 WITH SCORE 1762861.249
AT ITER 367 NEW BEST:: SOT 5126035 SOS 2606316 HAS SOPS 2606316 HAS SOUS 1759254 HAS SOUPS 1759254 WITH SCORE 1761860.316
AT ITER 368 NEW BEST:: SOT 5126035 SOS 2606316 HAS SOPS 2606316 HAS SOUS 1759253 HAS SOUPS 1759253 WITH SCORE 1761859.316
AT ITER 373 NEW BEST:: SOT 5125365 SOS 2603885 HAS SOPS 2603885 HAS SOUS 1758161 HAS SOUPS 1758161 WITH SCORE 1760764.885
AT ITER 376 NEW BEST:: SOT 5125156 SOS 2603676 HAS SOPS 2603676 HAS SOUS 1757794 HAS SOUPS 1757794 WITH SCORE 1760397.676
AT ITER 384 NEW BEST:: SOT 5125156 SOS 2603676 HAS SOPS 2603676 HAS SOUS 1757792 HAS SOUPS 1757792 WITH SCORE 1760395.676
AT ITER 386 NEW BEST:: SOT 5125448 SOS 2594380 HAS SOPS 2594380 HAS SOUS 1757363 HAS SOUPS 1757363 WITH SCORE 1759957.38
AT ITER 387 NEW BEST:: SOT 5124524 SOS 2594379 HAS SOPS 2594379 HAS SOUS 1757362 HAS SOUPS 1757362 WITH SCORE 1759956.379
AT ITER 396 NEW BEST:: SOT 5124338 SOS 2594557 HAS SOPS 2594557 HAS SOUS 1757308 HAS SOUPS 1757308 WITH SCORE 1759902.557
AT ITER 398 NEW BEST:: SOT 5123667 SOS 2591896 HAS SOPS 2591896 HAS SOUS 1757149 HAS SOUPS 1757149 WITH SCORE 1759740.896
AT ITER 406 NEW BEST:: SOT 5123804 SOS 2591029 HAS SOPS 2591029 HAS SOUS 1756335 HAS SOUPS 1756335 WITH SCORE 1758926.029
AT ITER 415 NEW BEST:: SOT 5124114 SOS 2589808 HAS SOPS 2589808 HAS SOUS 1756293 HAS SOUPS 1756293 WITH SCORE 1758882.808
AT ITER 424 NEW BEST:: SOT 5124114 SOS 2589808 HAS SOPS 2589808 HAS SOUS 1755648 HAS SOUPS 1755648 WITH SCORE 1758237.808
AT ITER 428 NEW BEST:: SOT 5124114 SOS 2588944 HAS SOPS 2588944 HAS SOUS 1755216 HAS SOUPS 1755216 WITH SCORE 1757804.944
AT ITER 430 NEW BEST:: SOT 5123531 SOS 2586612 HAS SOPS 2586612 HAS SOUS 1754092 HAS SOUPS 1754092 WITH SCORE 1756678.612
AT ITER 433 NEW BEST:: SOT 5123531 SOS 2586526 HAS SOPS 2586526 HAS SOUS 1754092 HAS SOUPS 1754092 WITH SCORE 1756678.526
AT ITER 439 NEW BEST:: SOT 5122677 SOS 2583110 HAS SOPS 2583110 HAS SOUS 1752455 HAS SOUPS 1752455 WITH SCORE 1755038.11
AT ITER 457 NEW BEST:: SOT 5122586 SOS 2581044 HAS SOPS 2581044 HAS SOUS 1751461 HAS SOUPS 1751461 WITH SCORE 1754042.044
AT ITER 459 NEW BEST:: SOT 5122622 SOS 2566716 HAS SOPS 2566716 HAS SOUS 1751134 HAS SOUPS 1751134 WITH SCORE 1753700.716
AT ITER 473 NEW BEST:: SOT 5121599 SOS 2565197 HAS SOPS 2565197 HAS SOUS 1750632 HAS SOUPS 1750632 WITH SCORE 1753197.197
AT ITER 475 NEW BEST:: SOT 5121283 SOS 2564249 HAS SOPS 2564249 HAS SOUS 1750000 HAS SOUPS 1750000 WITH SCORE 1752564.249
AT ITER 478 NEW BEST:: SOT 5121143 SOS 2563829 HAS SOPS 2563829 HAS SOUS 1749857 HAS SOUPS 1749857 WITH SCORE 1752420.829
AT ITER 482 NEW BEST:: SOT 5121102 SOS 2563747 HAS SOPS 2563747 HAS SOUS 1749775 HAS SOUPS 1749775 WITH SCORE 1752338.747
AT ITER 483 NEW BEST:: SOT 5121056 SOS 2560897 HAS SOPS 2560897 HAS SOUS 1748061 HAS SOUPS 1748061 WITH SCORE 1750621.897
AT ITER 488 NEW BEST:: SOT 5120661 SOS 2560107 HAS SOPS 2560107 HAS SOUS 1747500 HAS SOUPS 1747500 WITH SCORE 1750060.107
AT ITER 493 NEW BEST:: SOT 5120561 SOS 2559907 HAS SOPS 2559907 HAS SOUS 1747140 HAS SOUPS 1747140 WITH SCORE 1749699.907
AT ITER 499 NEW BEST:: SOT 5120561 SOS 2559198 HAS SOPS 2559198 HAS SOUS 1747083 HAS SOUPS 1747083 WITH SCORE 1749642.198
AT ITER 502 NEW BEST:: SOT 5120030 SOS 2555784 HAS SOPS 2555784 HAS SOUS 1745104 HAS SOUPS 1745104 WITH SCORE 1747659.784
AT ITER 504 NEW BEST:: SOT 5118847 SOS 2555336 HAS SOPS 2555336 HAS SOUS 1744166 HAS SOUPS 1744166 WITH SCORE 1746721.336
AT ITER 506 NEW BEST:: SOT 5119073 SOS 2554794 HAS SOPS 2554794 HAS SOUS 1743778 HAS SOUPS 1743778 WITH SCORE 1746332.794
AT ITER 521 NEW BEST:: SOT 5119073 SOS 2554270 HAS SOPS 2554270 HAS SOUS 1743165 HAS SOUPS 1743165 WITH SCORE 1745719.27
AT ITER 524 NEW BEST:: SOT 5118255 SOS 2553451 HAS SOPS 2553451 HAS SOUS 1743163 HAS SOUPS 1743163 WITH SCORE 1745716.451
AT ITER 526 NEW BEST:: SOT 5118450 SOS 2551799 HAS SOPS 2551799 HAS SOUS 1742931 HAS SOUPS 1742931 WITH SCORE 1745482.799
AT ITER 532 NEW BEST:: SOT 5118018 SOS 2550503 HAS SOPS 2550503 HAS SOUS 1741635 HAS SOUPS 1741635 WITH SCORE 1744185.503
AT ITER 540 NEW BEST:: SOT 5118018 SOS 2550503 HAS SOPS 2550503 HAS SOUS 1741567 HAS SOUPS 1741567 WITH SCORE 1744117.503
AT ITER 550 NEW BEST:: SOT 5118018 SOS 2550140 HAS SOPS 2550140 HAS SOUS 1741273 HAS SOUPS 1741273 WITH SCORE 1743823.14
AT ITER 556 NEW BEST:: SOT 5117971 SOS 2550046 HAS SOPS 2550046 HAS SOUS 1741179 HAS SOUPS 1741179 WITH SCORE 1743729.046
AT ITER 558 NEW BEST:: SOT 5116192 SOS 2550022 HAS SOPS 2550022 HAS SOUS 1738608 HAS SOUPS 1738608 WITH SCORE 1741158.022
AT ITER 563 NEW BEST:: SOT 5115504 SOS 2550021 HAS SOPS 2550021 HAS SOUS 1738606 HAS SOUPS 1738606 WITH SCORE 1741156.021
AT ITER 566 NEW BEST:: SOT 5115271 SOS 2549558 HAS SOPS 2549558 HAS SOUS 1738490 HAS SOUPS 1738490 WITH SCORE 1741039.558
AT ITER 568 NEW BEST:: SOT 5115271 SOS 2549409 HAS SOPS 2549409 HAS SOUS 1738341 HAS SOUPS 1738341 WITH SCORE 1740890.409
AT ITER 571 NEW BEST:: SOT 5115271 SOS 2549352 HAS SOPS 2549352 HAS SOUS 1738227 HAS SOUPS 1738227 WITH SCORE 1740776.352
AT ITER 574 NEW BEST:: SOT 5115271 SOS 2549352 HAS SOPS 2549352 HAS SOUS 1738226 HAS SOUPS 1738226 WITH SCORE 1740775.352
AT ITER 578 NEW BEST:: SOT 5115271 SOS 2549352 HAS SOPS 2549352 HAS SOUS 1738209 HAS SOUPS 1738209 WITH SCORE 1740758.352
AT ITER 582 NEW BEST:: SOT 5115271 SOS 2548703 HAS SOPS 2548703 HAS SOUS 1737868 HAS SOUPS 1737868 WITH SCORE 1740416.703
AT ITER 593 NEW BEST:: SOT 5115271 SOS 2547328 HAS SOPS 2547328 HAS SOUS 1737868 HAS SOUPS 1737868 WITH SCORE 1740415.328
AT ITER 594 NEW BEST:: SOT 5114040 SOS 2546310 HAS SOPS 2546310 HAS SOUS 1736637 HAS SOUPS 1736637 WITH SCORE 1739183.31
AT ITER 595 NEW BEST:: SOT 5114314 SOS 2545875 HAS SOPS 2545875 HAS SOUS 1736339 HAS SOUPS 1736339 WITH SCORE 1738884.875
AT ITER 600 NEW BEST:: SOT 5114314 SOS 2545875 HAS SOPS 2545875 HAS SOUS 1736338 HAS SOUPS 1736338 WITH SCORE 1738883.875
AT ITER 601 NEW BEST:: SOT 5115389 SOS 2546575 HAS SOPS 2546575 HAS SOUS 1736079 HAS SOUPS 1736079 WITH SCORE 1738625.575
AT ITER 602 NEW BEST:: SOT 5115106 SOS 2545443 HAS SOPS 2545443 HAS SOUS 1735788 HAS SOUPS 1735788 WITH SCORE 1738333.443
AT ITER 604 NEW BEST:: SOT 5114643 SOS 2544517 HAS SOPS 2544517 HAS SOUS 1735323 HAS SOUPS 1735323 WITH SCORE 1737867.517
AT ITER 606 NEW BEST:: SOT 5114368 SOS 2542881 HAS SOPS 2542881 HAS SOUS 1735048 HAS SOUPS 1735048 WITH SCORE 1737590.881
AT ITER 609 NEW BEST:: SOT 5113894 SOS 2542407 HAS SOPS 2542407 HAS SOUS 1734810 HAS SOUPS 1734810 WITH SCORE 1737352.407
AT ITER 612 NEW BEST:: SOT 5113894 SOS 2542407 HAS SOPS 2542407 HAS SOUS 1734239 HAS SOUPS 1734239 WITH SCORE 1736781.407
AT ITER 627 NEW BEST:: SOT 5113523 SOS 2541294 HAS SOPS 2541294 HAS SOUS 1733497 HAS SOUPS 1733497 WITH SCORE 1736038.294
AT ITER 630 NEW BEST:: SOT 5113775 SOS 2541089 HAS SOPS 2541089 HAS SOUS 1732903 HAS SOUPS 1732903 WITH SCORE 1735444.089
AT ITER 632 NEW BEST:: SOT 5113125 SOS 2537455 HAS SOPS 2537455 HAS SOUS 1730721 HAS SOUPS 1730721 WITH SCORE 1733258.455
AT ITER 639 NEW BEST:: SOT 5112850 SOS 2536355 HAS SOPS 2536355 HAS SOUS 1730171 HAS SOUPS 1730171 WITH SCORE 1732707.355
AT ITER 640 NEW BEST:: SOT 5111933 SOS 2534521 HAS SOPS 2534521 HAS SOUS 1729254 HAS SOUPS 1729254 WITH SCORE 1731788.521
AT ITER 642 NEW BEST:: SOT 5111933 SOS 2534521 HAS SOPS 2534521 HAS SOUS 1729097 HAS SOUPS 1729097 WITH SCORE 1731631.521
AT ITER 647 NEW BEST:: SOT 5111617 SOS 2533889 HAS SOPS 2533889 HAS SOUS 1728781 HAS SOUPS 1728781 WITH SCORE 1731314.889
AT ITER 664 NEW BEST:: SOT 5111360 SOS 2533118 HAS SOPS 2533118 HAS SOUS 1728267 HAS SOUPS 1728267 WITH SCORE 1730800.118
AT ITER 673 NEW BEST:: SOT 5111360 SOS 2532655 HAS SOPS 2532655 HAS SOUS 1727804 HAS SOUPS 1727804 WITH SCORE 1730336.655
AT ITER 680 NEW BEST:: SOT 5109477 SOS 2531567 HAS SOPS 2531567 HAS SOUS 1726369 HAS SOUPS 1726369 WITH SCORE 1728900.567
AT ITER 681 NEW BEST:: SOT 5109477 SOS 2531408 HAS SOPS 2531408 HAS SOUS 1726369 HAS SOUPS 1726369 WITH SCORE 1728900.408
AT ITER 685 NEW BEST:: SOT 5109477 SOS 2531507 HAS SOPS 2531507 HAS SOUS 1726211 HAS SOUPS 1726211 WITH SCORE 1728742.507
AT ITER 695 NEW BEST:: SOT 5109434 SOS 2531421 HAS SOPS 2531421 HAS SOUS 1726125 HAS SOUPS 1726125 WITH SCORE 1728656.421
AT ITER 704 NEW BEST:: SOT 5109182 SOS 2530573 HAS SOPS 2530573 HAS SOUS 1725943 HAS SOUPS 1725943 WITH SCORE 1728473.573
AT ITER 706 NEW BEST:: SOT 5108787 SOS 2529388 HAS SOPS 2529388 HAS SOUS 1725153 HAS SOUPS 1725153 WITH SCORE 1727682.388
AT ITER 709 NEW BEST:: SOT 5108445 SOS 2528020 HAS SOPS 2528020 HAS SOUS 1724665 HAS SOUPS 1724665 WITH SCORE 1727193.02
AT ITER 710 NEW BEST:: SOT 5108277 SOS 2528007 HAS SOPS 2528007 HAS SOUS 1724638 HAS SOUPS 1724638 WITH SCORE 1727166.007
AT ITER 715 NEW BEST:: SOT 5108277 SOS 2516328 HAS SOPS 2516328 HAS SOUS 1724114 HAS SOUPS 1724114 WITH SCORE 1726630.328
AT ITER 716 NEW BEST:: SOT 5108029 SOS 2509632 HAS SOPS 2509632 HAS SOUS 1723866 HAS SOUPS 1723866 WITH SCORE 1726375.632
AT ITER 720 NEW BEST:: SOT 5108029 SOS 2509382 HAS SOPS 2509382 HAS SOUS 1723465 HAS SOUPS 1723465 WITH SCORE 1725974.382
AT ITER 726 NEW BEST:: SOT 5107761 SOS 2509114 HAS SOPS 2509114 HAS SOUS 1723296 HAS SOUPS 1723296 WITH SCORE 1725805.114
AT ITER 733 NEW BEST:: SOT 5107996 SOS 2509017 HAS SOPS 2509017 HAS SOUS 1722868 HAS SOUPS 1722868 WITH SCORE 1725377.017
AT ITER 748 NEW BEST:: SOT 5108282 SOS 2509589 HAS SOPS 2509589 HAS SOUS 1722197 HAS SOUPS 1722197 WITH SCORE 1724706.589
AT ITER 750 NEW BEST:: SOT 5108291 SOS 2509070 HAS SOPS 2509070 HAS SOUS 1722069 HAS SOUPS 1722069 WITH SCORE 1724578.07
AT ITER 753 NEW BEST:: SOT 5108357 SOS 2508230 HAS SOPS 2508230 HAS SOUS 1721189 HAS SOUPS 1721189 WITH SCORE 1723697.23
AT ITER 765 NEW BEST:: SOT 5108439 SOS 2505192 HAS SOPS 2505192 HAS SOUS 1720941 HAS SOUPS 1720941 WITH SCORE 1723446.192
AT ITER 770 NEW BEST:: SOT 5107905 SOS 2504124 HAS SOPS 2504124 HAS SOUS 1720639 HAS SOUPS 1720639 WITH SCORE 1723143.124
AT ITER 775 NEW BEST:: SOT 5108705 SOS 2504697 HAS SOPS 2504697 HAS SOUS 1720327 HAS SOUPS 1720327 WITH SCORE 1722831.697
AT ITER 779 NEW BEST:: SOT 5108374 SOS 2502479 HAS SOPS 2502479 HAS SOUS 1720140 HAS SOUPS 1720140 WITH SCORE 1722642.479
AT ITER 780 NEW BEST:: SOT 5108374 SOS 2502167 HAS SOPS 2502167 HAS SOUS 1719828 HAS SOUPS 1719828 WITH SCORE 1722330.167
AT ITER 782 NEW BEST:: SOT 5108374 SOS 2502167 HAS SOPS 2502167 HAS SOUS 1719826 HAS SOUPS 1719826 WITH SCORE 1722328.167
AT ITER 787 NEW BEST:: SOT 5108400 SOS 2502064 HAS SOPS 2502064 HAS SOUS 1719508 HAS SOUPS 1719508 WITH SCORE 1722010.064
AT ITER 788 NEW BEST:: SOT 5108400 SOS 2502064 HAS SOPS 2502064 HAS SOUS 1719461 HAS SOUPS 1719461 WITH SCORE 1721963.064
AT ITER 789 NEW BEST:: SOT 5108400 SOS 2502064 HAS SOPS 2502064 HAS SOUS 1719445 HAS SOUPS 1719445 WITH SCORE 1721947.064
AT ITER 792 NEW BEST:: SOT 5107905 SOS 2500084 HAS SOPS 2500084 HAS SOUS 1718895 HAS SOUPS 1718895 WITH SCORE 1721395.084
AT ITER 795 NEW BEST:: SOT 5107905 SOS 2499934 HAS SOPS 2499934 HAS SOUS 1718894 HAS SOUPS 1718894 WITH SCORE 1721393.934
AT ITER 797 NEW BEST:: SOT 5107905 SOS 2499934 HAS SOPS 2499934 HAS SOUS 1718836 HAS SOUPS 1718836 WITH SCORE 1721335.934
AT ITER 800 NEW BEST:: SOT 5107059 SOS 2496550 HAS SOPS 2496550 HAS SOUS 1717143 HAS SOUPS 1717143 WITH SCORE 1719639.55
AT ITER 802 NEW BEST:: SOT 5106617 SOS 2494782 HAS SOPS 2494782 HAS SOUS 1716032 HAS SOUPS 1716032 WITH SCORE 1718526.782
AT ITER 803 NEW BEST:: SOT 5106319 SOS 2494484 HAS SOPS 2494484 HAS SOUS 1715734 HAS SOUPS 1715734 WITH SCORE 1718228.484
AT ITER 804 NEW BEST:: SOT 5106049 SOS 2493944 HAS SOPS 2493944 HAS SOUS 1715463 HAS SOUPS 1715463 WITH SCORE 1717956.944
AT ITER 811 NEW BEST:: SOT 5105467 SOS 2492780 HAS SOPS 2492780 HAS SOUS 1714938 HAS SOUPS 1714938 WITH SCORE 1717430.78
AT ITER 812 NEW BEST:: SOT 5105716 SOS 2491986 HAS SOPS 2491986 HAS SOUS 1714667 HAS SOUPS 1714667 WITH SCORE 1717158.986
AT ITER 814 NEW BEST:: SOT 5105716 SOS 2491986 HAS SOPS 2491986 HAS SOUS 1714165 HAS SOUPS 1714165 WITH SCORE 1716656.986
AT ITER 817 NEW BEST:: SOT 5106184 SOS 2492922 HAS SOPS 2492922 HAS SOUS 1713986 HAS SOUPS 1713986 WITH SCORE 1716478.922
AT ITER 819 NEW BEST:: SOT 5106007 SOS 2492922 HAS SOPS 2492922 HAS SOUS 1713809 HAS SOUPS 1713809 WITH SCORE 1716301.922
AT ITER 821 NEW BEST:: SOT 5106007 SOS 2492882 HAS SOPS 2492882 HAS SOUS 1713769 HAS SOUPS 1713769 WITH SCORE 1716261.882
AT ITER 822 NEW BEST:: SOT 5105306 SOS 2492999 HAS SOPS 2492999 HAS SOUS 1713540 HAS SOUPS 1713540 WITH SCORE 1716032.999
AT ITER 823 NEW BEST:: SOT 5105306 SOS 2492286 HAS SOPS 2492286 HAS SOUS 1713129 HAS SOUPS 1713129 WITH SCORE 1715621.286
AT ITER 835 NEW BEST:: SOT 5104974 SOS 2492285 HAS SOPS 2492285 HAS SOUS 1712800 HAS SOUPS 1712800 WITH SCORE 1715292.285
AT ITER 838 NEW BEST:: SOT 5104294 SOS 2490245 HAS SOPS 2490245 HAS SOUS 1712119 HAS SOUPS 1712119 WITH SCORE 1714609.245
AT ITER 845 NEW BEST:: SOT 5103877 SOS 2488015 HAS SOPS 2488015 HAS SOUS 1711218 HAS SOUPS 1711218 WITH SCORE 1713706.015
AT ITER 846 NEW BEST:: SOT 5103388 SOS 2487167 HAS SOPS 2487167 HAS SOUS 1711144 HAS SOUPS 1711144 WITH SCORE 1713631.167
AT ITER 851 NEW BEST:: SOT 5103388 SOS 2487019 HAS SOPS 2487019 HAS SOUS 1710996 HAS SOUPS 1710996 WITH SCORE 1713483.019
AT ITER 859 NEW BEST:: SOT 5103117 SOS 2485731 HAS SOPS 2485731 HAS SOUS 1710482 HAS SOUPS 1710482 WITH SCORE 1712967.731
AT ITER 860 NEW BEST:: SOT 5102981 SOS 2485812 HAS SOPS 2485812 HAS SOUS 1710405 HAS SOUPS 1710405 WITH SCORE 1712890.812
AT ITER 866 NEW BEST:: SOT 5102912 SOS 2485958 HAS SOPS 2485958 HAS SOUS 1710336 HAS SOUPS 1710336 WITH SCORE 1712821.958
AT ITER 870 NEW BEST:: SOT 5102530 SOS 2485194 HAS SOPS 2485194 HAS SOUS 1709737 HAS SOUPS 1709737 WITH SCORE 1712222.194
AT ITER 872 NEW BEST:: SOT 5101728 SOS 2484460 HAS SOPS 2484460 HAS SOUS 1708935 HAS SOUPS 1708935 WITH SCORE 1711419.46
AT ITER 876 NEW BEST:: SOT 5101644 SOS 2484473 HAS SOPS 2484473 HAS SOUS 1708364 HAS SOUPS 1708364 WITH SCORE 1710848.473
AT ITER 882 NEW BEST:: SOT 5101644 SOS 2482498 HAS SOPS 2482498 HAS SOUS 1708364 HAS SOUPS 1708364 WITH SCORE 1710846.498
AT ITER 886 NEW BEST:: SOT 5101644 SOS 2482173 HAS SOPS 2482173 HAS SOUS 1707488 HAS SOUPS 1707488 WITH SCORE 1709970.173
AT ITER 895 NEW BEST:: SOT 5100997 SOS 2479479 HAS SOPS 2479479 HAS SOUS 1706219 HAS SOUPS 1706219 WITH SCORE 1708698.479
AT ITER 897 NEW BEST:: SOT 5100997 SOS 2478602 HAS SOPS 2478602 HAS SOUS 1706021 HAS SOUPS 1706021 WITH SCORE 1708499.602
AT ITER 898 NEW BEST:: SOT 5099931 SOS 2477754 HAS SOPS 2477754 HAS SOUS 1705284 HAS SOUPS 1705284 WITH SCORE 1707761.754
AT ITER 900 NEW BEST:: SOT 5100296 SOS 2477744 HAS SOPS 2477744 HAS SOUS 1704909 HAS SOUPS 1704909 WITH SCORE 1707386.744
AT ITER 901 NEW BEST:: SOT 5100101 SOS 2476898 HAS SOPS 2476898 HAS SOUS 1704519 HAS SOUPS 1704519 WITH SCORE 1706995.898
AT ITER 903 NEW BEST:: SOT 5100225 SOS 2474898 HAS SOPS 2474898 HAS SOUS 1704216 HAS SOUPS 1704216 WITH SCORE 1706690.898
AT ITER 905 NEW BEST:: SOT 5099492 SOS 2471966 HAS SOPS 2471966 HAS SOUS 1702750 HAS SOUPS 1702750 WITH SCORE 1705221.966
AT ITER 907 NEW BEST:: SOT 5099428 SOS 2471838 HAS SOPS 2471838 HAS SOUS 1702685 HAS SOUPS 1702685 WITH SCORE 1705156.838
AT ITER 909 NEW BEST:: SOT 5099428 SOS 2471838 HAS SOPS 2471838 HAS SOUS 1702022 HAS SOUPS 1702022 WITH SCORE 1704493.838
AT ITER 916 NEW BEST:: SOT 5099323 SOS 2471628 HAS SOPS 2471628 HAS SOUS 1701917 HAS SOUPS 1701917 WITH SCORE 1704388.628
AT ITER 920 NEW BEST:: SOT 5099347 SOS 2470922 HAS SOPS 2470922 HAS SOUS 1700784 HAS SOUPS 1700784 WITH SCORE 1703254.922
AT ITER 931 NEW BEST:: SOT 5099347 SOS 2467072 HAS SOPS 2467072 HAS SOUS 1700784 HAS SOUPS 1700784 WITH SCORE 1703251.072
AT ITER 932 NEW BEST:: SOT 5099347 SOS 2466658 HAS SOPS 2466658 HAS SOUS 1700784 HAS SOUPS 1700784 WITH SCORE 1703250.658
AT ITER 940 NEW BEST:: SOT 5099347 SOS 2466058 HAS SOPS 2466058 HAS SOUS 1700784 HAS SOUPS 1700784 WITH SCORE 1703250.058
AT ITER 942 NEW BEST:: SOT 5079491 SOS 2449350 HAS SOPS 2449350 HAS SOUS 1681780 HAS SOUPS 1681780 WITH SCORE 1684229.35
AT ITER 944 NEW BEST:: SOT 5079256 SOS 2448410 HAS SOPS 2448410 HAS SOUS 1681492 HAS SOUPS 1681492 WITH SCORE 1683940.41
AT ITER 947 NEW BEST:: SOT 5079256 SOS 2448410 HAS SOPS 2448410 HAS SOUS 1681491 HAS SOUPS 1681491 WITH SCORE 1683939.41
AT ITER 950 NEW BEST:: SOT 5079255 SOS 2447737 HAS SOPS 2447737 HAS SOUS 1681490 HAS SOUPS 1681490 WITH SCORE 1683937.737
AT ITER 951 NEW BEST:: SOT 5079011 SOS 2446994 HAS SOPS 2446994 HAS SOUS 1681235 HAS SOUPS 1681235 WITH SCORE 1683681.994
AT ITER 954 NEW BEST:: SOT 5078273 SOS 2444777 HAS SOPS 2444777 HAS SOUS 1680496 HAS SOUPS 1680496 WITH SCORE 1682940.777
AT ITER 958 NEW BEST:: SOT 5078273 SOS 2444769 HAS SOPS 2444769 HAS SOUS 1680219 HAS SOUPS 1680219 WITH SCORE 1682663.769
AT ITER 961 NEW BEST:: SOT 5077607 SOS 2444325 HAS SOPS 2444325 HAS SOUS 1679553 HAS SOUPS 1679553 WITH SCORE 1681997.325
AT ITER 966 NEW BEST:: SOT 5077607 SOS 2442974 HAS SOPS 2442974 HAS SOUS 1677164 HAS SOUPS 1677164 WITH SCORE 1679606.974
AT ITER 968 NEW BEST:: SOT 5077566 SOS 2442456 HAS SOPS 2442456 HAS SOUS 1676905 HAS SOUPS 1676905 WITH SCORE 1679347.456
AT ITER 973 NEW BEST:: SOT 5077557 SOS 2442254 HAS SOPS 2442254 HAS SOUS 1676804 HAS SOUPS 1676804 WITH SCORE 1679246.254
AT ITER 976 NEW BEST:: SOT 5077111 SOS 2440136 HAS SOPS 2440136 HAS SOUS 1675828 HAS SOUPS 1675828 WITH SCORE 1678268.136
AT ITER 977 NEW BEST:: SOT 5077111 SOS 2439895 HAS SOPS 2439895 HAS SOUS 1675519 HAS SOUPS 1675519 WITH SCORE 1677958.895
AT ITER 982 NEW BEST:: SOT 5077442 SOS 2439566 HAS SOPS 2439566 HAS SOUS 1675096 HAS SOUPS 1675096 WITH SCORE 1677535.566
AT ITER 983 NEW BEST:: SOT 5076818 SOS 2439164 HAS SOPS 2439164 HAS SOUS 1674472 HAS SOUPS 1674472 WITH SCORE 1676911.164
AT ITER 984 NEW BEST:: SOT 5076913 SOS 2439307 HAS SOPS 2439307 HAS SOUS 1674431 HAS SOUPS 1674431 WITH SCORE 1676870.307
AT ITER 990 NEW BEST:: SOT 5076913 SOS 2439153 HAS SOPS 2439153 HAS SOUS 1674389 HAS SOUPS 1674389 WITH SCORE 1676828.153
AT ITER 991 NEW BEST:: SOT 5075930 SOS 2438170 HAS SOPS 2438170 HAS SOUS 1674389 HAS SOUPS 1674389 WITH SCORE 1676827.17
AT ITER 997 NEW BEST:: SOT 5075414 SOS 2436479 HAS SOPS 2436479 HAS SOUS 1673730 HAS SOUPS 1673730 WITH SCORE 1676166.479
AT ITER 1003 NEW BEST:: SOT 5075498 SOS 2434727 HAS SOPS 2434727 HAS SOUS 1672976 HAS SOUPS 1672976 WITH SCORE 1675410.727
AT ITER 1015 NEW BEST:: SOT 5075498 SOS 2434727 HAS SOPS 2434727 HAS SOUS 1672463 HAS SOUPS 1672463 WITH SCORE 1674897.727
AT ITER 1022 NEW BEST:: SOT 5075498 SOS 2434036 HAS SOPS 2434036 HAS SOUS 1672158 HAS SOUPS 1672158 WITH SCORE 1674592.036
AT ITER 1032 NEW BEST:: SOT 5075498 SOS 2433331 HAS SOPS 2433331 HAS SOUS 1671450 HAS SOUPS 1671450 WITH SCORE 1673883.331
AT ITER 1033 NEW BEST:: SOT 5075498 SOS 2433093 HAS SOPS 2433093 HAS SOUS 1670851 HAS SOUPS 1670851 WITH SCORE 1673284.093
AT ITER 1034 NEW BEST:: SOT 5075498 SOS 2433039 HAS SOPS 2433039 HAS SOUS 1670797 HAS SOUPS 1670797 WITH SCORE 1673230.039
AT ITER 1035 NEW BEST:: SOT 5075498 SOS 2433039 HAS SOPS 2433039 HAS SOUS 1670795 HAS SOUPS 1670795 WITH SCORE 1673228.039
AT ITER 1038 NEW BEST:: SOT 5075272 SOS 2431047 HAS SOPS 2431047 HAS SOUS 1669513 HAS SOUPS 1669513 WITH SCORE 1671944.047
AT ITER 1041 NEW BEST:: SOT 5075231 SOS 2430473 HAS SOPS 2430473 HAS SOUS 1668225 HAS SOUPS 1668225 WITH SCORE 1670655.473
AT ITER 1051 NEW BEST:: SOT 5075162 SOS 2430335 HAS SOPS 2430335 HAS SOUS 1668087 HAS SOUPS 1668087 WITH SCORE 1670517.335
AT ITER 1060 NEW BEST:: SOT 5075162 SOS 2430335 HAS SOPS 2430335 HAS SOUS 1668086 HAS SOUPS 1668086 WITH SCORE 1670516.335
AT ITER 1062 NEW BEST:: SOT 5074421 SOS 2428452 HAS SOPS 2428452 HAS SOUS 1666758 HAS SOUPS 1666758 WITH SCORE 1669186.452
AT ITER 1063 NEW BEST:: SOT 5073454 SOS 2426519 HAS SOPS 2426519 HAS SOUS 1665791 HAS SOUPS 1665791 WITH SCORE 1668217.519
AT ITER 1069 NEW BEST:: SOT 5073454 SOS 2426519 HAS SOPS 2426519 HAS SOUS 1665790 HAS SOUPS 1665790 WITH SCORE 1668216.519
AT ITER 1081 NEW BEST:: SOT 5073454 SOS 2426247 HAS SOPS 2426247 HAS SOUS 1665769 HAS SOUPS 1665769 WITH SCORE 1668195.247
AT ITER 1082 NEW BEST:: SOT 5073168 SOS 2425972 HAS SOPS 2425972 HAS SOUS 1665483 HAS SOUPS 1665483 WITH SCORE 1667908.972
AT ITER 1085 NEW BEST:: SOT 5067067 SOS 2440797 HAS SOPS 2440797 HAS SOUS 1661383 HAS SOUPS 1661383 WITH SCORE 1663823.797
AT ITER 1086 NEW BEST:: SOT 5067135 SOS 2439515 HAS SOPS 2439515 HAS SOUS 1660471 HAS SOUPS 1660471 WITH SCORE 1662910.515
AT ITER 1088 NEW BEST:: SOT 5067135 SOS 2438942 HAS SOPS 2438942 HAS SOUS 1660070 HAS SOUPS 1660070 WITH SCORE 1662508.942
AT ITER 1099 NEW BEST:: SOT 5067135 SOS 2438464 HAS SOPS 2438464 HAS SOUS 1659815 HAS SOUPS 1659815 WITH SCORE 1662253.464
AT ITER 1100 NEW BEST:: SOT 5067877 SOS 2435685 HAS SOPS 2435685 HAS SOUS 1659039 HAS SOUPS 1659039 WITH SCORE 1661474.685
AT ITER 1104 NEW BEST:: SOT 5068081 SOS 2435290 HAS SOPS 2435290 HAS SOUS 1658706 HAS SOUPS 1658706 WITH SCORE 1661141.29
AT ITER 1106 NEW BEST:: SOT 5067574 SOS 2434276 HAS SOPS 2434276 HAS SOUS 1658199 HAS SOUPS 1658199 WITH SCORE 1660633.276
AT ITER 1109 NEW BEST:: SOT 5067428 SOS 2433692 HAS SOPS 2433692 HAS SOUS 1657907 HAS SOUPS 1657907 WITH SCORE 1660340.692
AT ITER 1113 NEW BEST:: SOT 5067428 SOS 2433667 HAS SOPS 2433667 HAS SOUS 1657905 HAS SOUPS 1657905 WITH SCORE 1660338.667
AT ITER 1116 NEW BEST:: SOT 5067428 SOS 2433649 HAS SOPS 2433649 HAS SOUS 1657887 HAS SOUPS 1657887 WITH SCORE 1660320.649
AT ITER 1119 NEW BEST:: SOT 5067077 SOS 2432368 HAS SOPS 2432368 HAS SOUS 1657185 HAS SOUPS 1657185 WITH SCORE 1659617.368
AT ITER 1128 NEW BEST:: SOT 5060395 SOS 2470154 HAS SOPS 2470154 HAS SOUS 1653887 HAS SOUPS 1653887 WITH SCORE 1656357.154
AT ITER 1131 NEW BEST:: SOT 5060217 SOS 2469964 HAS SOPS 2469964 HAS SOUS 1653697 HAS SOUPS 1653697 WITH SCORE 1656166.964
AT ITER 1132 NEW BEST:: SOT 5059275 SOS 2468097 HAS SOPS 2468097 HAS SOUS 1652696 HAS SOUPS 1652696 WITH SCORE 1655164.097
AT ITER 1133 NEW BEST:: SOT 5059275 SOS 2467703 HAS SOPS 2467703 HAS SOUS 1652696 HAS SOUPS 1652696 WITH SCORE 1655163.703
AT ITER 1139 NEW BEST:: SOT 5058958 SOS 2467069 HAS SOPS 2467069 HAS SOUS 1652379 HAS SOUPS 1652379 WITH SCORE 1654846.069
AT ITER 1142 NEW BEST:: SOT 5058711 SOS 2467021 HAS SOPS 2467021 HAS SOUS 1652132 HAS SOUPS 1652132 WITH SCORE 1654599.021
AT ITER 1145 NEW BEST:: SOT 5058215 SOS 2466029 HAS SOPS 2466029 HAS SOUS 1650824 HAS SOUPS 1650824 WITH SCORE 1653290.029
AT ITER 1158 NEW BEST:: SOT 5058123 SOS 2465708 HAS SOPS 2465708 HAS SOUS 1650732 HAS SOUPS 1650732 WITH SCORE 1653197.708
AT ITER 1159 NEW BEST:: SOT 5057292 SOS 2465590 HAS SOPS 2465590 HAS SOUS 1649902 HAS SOUPS 1649902 WITH SCORE 1652367.59
AT ITER 1161 NEW BEST:: SOT 5057152 SOS 2465030 HAS SOPS 2465030 HAS SOUS 1649622 HAS SOUPS 1649622 WITH SCORE 1652087.03
AT ITER 1171 NEW BEST:: SOT 5057152 SOS 2465030 HAS SOPS 2465030 HAS SOUS 1649539 HAS SOUPS 1649539 WITH SCORE 1652004.03
AT ITER 1184 NEW BEST:: SOT 5056132 SOS 2464209 HAS SOPS 2464209 HAS SOUS 1648591 HAS SOUPS 1648591 WITH SCORE 1651055.209
AT ITER 1198 NEW BEST:: SOT 5056546 SOS 2462868 HAS SOPS 2462868 HAS SOUS 1648472 HAS SOUPS 1648472 WITH SCORE 1650934.868
AT ITER 1200 NEW BEST:: SOT 5056546 SOS 2462756 HAS SOPS 2462756 HAS SOUS 1648360 HAS SOUPS 1648360 WITH SCORE 1650822.756
AT ITER 1202 NEW BEST:: SOT 5056766 SOS 2461850 HAS SOPS 2461850 HAS SOUS 1648081 HAS SOUPS 1648081 WITH SCORE 1650542.85
AT ITER 1215 NEW BEST:: SOT 5056457 SOS 2461232 HAS SOPS 2461232 HAS SOUS 1647771 HAS SOUPS 1647771 WITH SCORE 1650232.232
AT ITER 1218 NEW BEST:: SOT 5056457 SOS 2460565 HAS SOPS 2460565 HAS SOUS 1647104 HAS SOUPS 1647104 WITH SCORE 1649564.565
AT ITER 1219 NEW BEST:: SOT 5056583 SOS 2459199 HAS SOPS 2459199 HAS SOUS 1647041 HAS SOUPS 1647041 WITH SCORE 1649500.199
AT ITER 1220 NEW BEST:: SOT 5056344 SOS 2458721 HAS SOPS 2458721 HAS SOUS 1646801 HAS SOUPS 1646801 WITH SCORE 1649259.721
AT ITER 1222 NEW BEST:: SOT 5056427 SOS 2458300 HAS SOPS 2458300 HAS SOUS 1646142 HAS SOUPS 1646142 WITH SCORE 1648600.3
AT ITER 1229 NEW BEST:: SOT 5056427 SOS 2457868 HAS SOPS 2457868 HAS SOUS 1645278 HAS SOUPS 1645278 WITH SCORE 1647735.868
AT ITER 1231 NEW BEST:: SOT 5056427 SOS 2457182 HAS SOPS 2457182 HAS SOUS 1645134 HAS SOUPS 1645134 WITH SCORE 1647591.182
AT ITER 1233 NEW BEST:: SOT 5056427 SOS 2456427 HAS SOPS 2456427 HAS SOUS 1643511 HAS SOUPS 1643511 WITH SCORE 1645967.427
AT ITER 1234 NEW BEST:: SOT 5056427 SOS 2456323 HAS SOPS 2456323 HAS SOUS 1643511 HAS SOUPS 1643511 WITH SCORE 1645967.323
AT ITER 1237 NEW BEST:: SOT 5056427 SOS 2455948 HAS SOPS 2455948 HAS SOUS 1643510 HAS SOUPS 1643510 WITH SCORE 1645965.948
AT ITER 1238 NEW BEST:: SOT 5056058 SOS 2455210 HAS SOPS 2455210 HAS SOUS 1642632 HAS SOUPS 1642632 WITH SCORE 1645087.21
AT ITER 1239 NEW BEST:: SOT 5055638 SOS 2453946 HAS SOPS 2453946 HAS SOUS 1641740 HAS SOUPS 1641740 WITH SCORE 1644193.946
AT ITER 1240 NEW BEST:: SOT 5055295 SOS 2451654 HAS SOPS 2451654 HAS SOUS 1640147 HAS SOUPS 1640147 WITH SCORE 1642598.654
AT ITER 1241 NEW BEST:: SOT 5054264 SOS 2450805 HAS SOPS 2450805 HAS SOUS 1639116 HAS SOUPS 1639116 WITH SCORE 1641566.805
AT ITER 1251 NEW BEST:: SOT 5047797 SOS 2485334 HAS SOPS 2485334 HAS SOUS 1635146 HAS SOUPS 1635146 WITH SCORE 1637631.334
AT ITER 1257 NEW BEST:: SOT 5047797 SOS 2485334 HAS SOPS 2485334 HAS SOUS 1634835 HAS SOUPS 1634835 WITH SCORE 1637320.334
AT ITER 1264 NEW BEST:: SOT 5047616 SOS 2484391 HAS SOPS 2484391 HAS SOUS 1634439 HAS SOUPS 1634439 WITH SCORE 1636923.391
AT ITER 1267 NEW BEST:: SOT 5047535 SOS 2484229 HAS SOPS 2484229 HAS SOUS 1634358 HAS SOUPS 1634358 WITH SCORE 1636842.229
AT ITER 1272 NEW BEST:: SOT 5047535 SOS 2484229 HAS SOPS 2484229 HAS SOUS 1634357 HAS SOUPS 1634357 WITH SCORE 1636841.229
AT ITER 1274 NEW BEST:: SOT 5047535 SOS 2484085 HAS SOPS 2484085 HAS SOUS 1634357 HAS SOUPS 1634357 WITH SCORE 1636841.085
AT ITER 1277 NEW BEST:: SOT 5047535 SOS 2483730 HAS SOPS 2483730 HAS SOUS 1634002 HAS SOUPS 1634002 WITH SCORE 1636485.73
AT ITER 1278 NEW BEST:: SOT 5046251 SOS 2482667 HAS SOPS 2482667 HAS SOUS 1633025 HAS SOUPS 1633025 WITH SCORE 1635507.667
AT ITER 1281 NEW BEST:: SOT 5045897 SOS 2481959 HAS SOPS 2481959 HAS SOUS 1632317 HAS SOUPS 1632317 WITH SCORE 1634798.959
AT ITER 1284 NEW BEST:: SOT 5045897 SOS 2481841 HAS SOPS 2481841 HAS SOUS 1632199 HAS SOUPS 1632199 WITH SCORE 1634680.841
AT ITER 1286 NEW BEST:: SOT 5046144 SOS 2481016 HAS SOPS 2481016 HAS SOUS 1632011 HAS SOUPS 1632011 WITH SCORE 1634492.016
AT ITER 1293 NEW BEST:: SOT 5044199 SOS 2478733 HAS SOPS 2478733 HAS SOUS 1628424 HAS SOUPS 1628424 WITH SCORE 1630902.733
AT ITER 1294 NEW BEST:: SOT 5044130 SOS 2479541 HAS SOPS 2479541 HAS SOUS 1627969 HAS SOUPS 1627969 WITH SCORE 1630448.541
AT ITER 1303 NEW BEST:: SOT 5044130 SOS 2479213 HAS SOPS 2479213 HAS SOUS 1627686 HAS SOUPS 1627686 WITH SCORE 1630165.213
AT ITER 1311 NEW BEST:: SOT 5043611 SOS 2477090 HAS SOPS 2477090 HAS SOUS 1626682 HAS SOUPS 1626682 WITH SCORE 1629159.09
AT ITER 1318 NEW BEST:: SOT 5042565 SOS 2473375 HAS SOPS 2473375 HAS SOUS 1624306 HAS SOUPS 1624306 WITH SCORE 1626779.375
AT ITER 1325 NEW BEST:: SOT 5042565 SOS 2473375 HAS SOPS 2473375 HAS SOUS 1623566 HAS SOUPS 1623566 WITH SCORE 1626039.375
AT ITER 1330 NEW BEST:: SOT 5042565 SOS 2472099 HAS SOPS 2472099 HAS SOUS 1623566 HAS SOUPS 1623566 WITH SCORE 1626038.099
AT ITER 1336 NEW BEST:: SOT 5042565 SOS 2472099 HAS SOPS 2472099 HAS SOUS 1622541 HAS SOUPS 1622541 WITH SCORE 1625013.099
AT ITER 1340 NEW BEST:: SOT 5042565 SOS 2469224 HAS SOPS 2469224 HAS SOUS 1622541 HAS SOUPS 1622541 WITH SCORE 1625010.224
AT ITER 1348 NEW BEST:: SOT 5041985 SOS 2468064 HAS SOPS 2468064 HAS SOUS 1621671 HAS SOUPS 1621671 WITH SCORE 1624139.064
AT ITER 1355 NEW BEST:: SOT 5041828 SOS 2467907 HAS SOPS 2467907 HAS SOUS 1621514 HAS SOUPS 1621514 WITH SCORE 1623981.907
AT ITER 1356 NEW BEST:: SOT 5041828 SOS 2467907 HAS SOPS 2467907 HAS SOUS 1621437 HAS SOUPS 1621437 WITH SCORE 1623904.907
AT ITER 1358 NEW BEST:: SOT 5041828 SOS 2467907 HAS SOPS 2467907 HAS SOUS 1621418 HAS SOUPS 1621418 WITH SCORE 1623885.907
AT ITER 1369 NEW BEST:: SOT 5041828 SOS 2467907 HAS SOPS 2467907 HAS SOUS 1621403 HAS SOUPS 1621403 WITH SCORE 1623870.907
AT ITER 1373 NEW BEST:: SOT 5041775 SOS 2467730 HAS SOPS 2467730 HAS SOUS 1621226 HAS SOUPS 1621226 WITH SCORE 1623693.73
AT ITER 1379 NEW BEST:: SOT 5042356 SOS 2467408 HAS SOPS 2467408 HAS SOUS 1621138 HAS SOUPS 1621138 WITH SCORE 1623605.408
AT ITER 1384 NEW BEST:: SOT 5041906 SOS 2467507 HAS SOPS 2467507 HAS SOUS 1620841 HAS SOUPS 1620841 WITH SCORE 1623308.507
AT ITER 1385 NEW BEST:: SOT 5041693 SOS 2466655 HAS SOPS 2466655 HAS SOUS 1620628 HAS SOUPS 1620628 WITH SCORE 1623094.655
AT ITER 1387 NEW BEST:: SOT 5041546 SOS 2466361 HAS SOPS 2466361 HAS SOUS 1620406 HAS SOUPS 1620406 WITH SCORE 1622872.361
AT ITER 1397 NEW BEST:: SOT 5041546 SOS 2466125 HAS SOPS 2466125 HAS SOUS 1619788 HAS SOUPS 1619788 WITH SCORE 1622254.125
AT ITER 1398 NEW BEST:: SOT 5041171 SOS 2465862 HAS SOPS 2465862 HAS SOUS 1619413 HAS SOUPS 1619413 WITH SCORE 1621878.862
AT ITER 1404 NEW BEST:: SOT 5041036 SOS 2465862 HAS SOPS 2465862 HAS SOUS 1619385 HAS SOUPS 1619385 WITH SCORE 1621850.862
AT ITER 1405 NEW BEST:: SOT 5041036 SOS 2464992 HAS SOPS 2464992 HAS SOUS 1619160 HAS SOUPS 1619160 WITH SCORE 1621624.992
AT ITER 1412 NEW BEST:: SOT 5040343 SOS 2464521 HAS SOPS 2464521 HAS SOUS 1618467 HAS SOUPS 1618467 WITH SCORE 1620931.521
AT ITER 1413 NEW BEST:: SOT 5040343 SOS 2464136 HAS SOPS 2464136 HAS SOUS 1618082 HAS SOUPS 1618082 WITH SCORE 1620546.136
AT ITER 1415 NEW BEST:: SOT 5030439 SOS 2468007 HAS SOPS 2468007 HAS SOUS 1609449 HAS SOUPS 1609449 WITH SCORE 1611917.007
AT ITER 1416 NEW BEST:: SOT 5030598 SOS 2467272 HAS SOPS 2467272 HAS SOUS 1608820 HAS SOUPS 1608820 WITH SCORE 1611287.272
AT ITER 1445 NEW BEST:: SOT 5029765 SOS 2465606 HAS SOPS 2465606 HAS SOUS 1607314 HAS SOUPS 1607314 WITH SCORE 1609779.606
AT ITER 1446 NEW BEST:: SOT 5029497 SOS 2464328 HAS SOPS 2464328 HAS SOUS 1607096 HAS SOUPS 1607096 WITH SCORE 1609560.328
AT ITER 1447 NEW BEST:: SOT 5030017 SOS 2463762 HAS SOPS 2463762 HAS SOUS 1605410 HAS SOUPS 1605410 WITH SCORE 1607873.762
AT ITER 1451 NEW BEST:: SOT 5029741 SOS 2463210 HAS SOPS 2463210 HAS SOUS 1605158 HAS SOUPS 1605158 WITH SCORE 1607621.21
AT ITER 1452 NEW BEST:: SOT 5030032 SOS 2462990 HAS SOPS 2462990 HAS SOUS 1604647 HAS SOUPS 1604647 WITH SCORE 1607109.99
AT ITER 1453 NEW BEST:: SOT 5029889 SOS 2463397 HAS SOPS 2463397 HAS SOUS 1604513 HAS SOUPS 1604513 WITH SCORE 1606976.397
AT ITER 1459 NEW BEST:: SOT 5030196 SOS 2461779 HAS SOPS 2461779 HAS SOUS 1604400 HAS SOUPS 1604400 WITH SCORE 1606861.779
AT ITER 1472 NEW BEST:: SOT 5029729 SOS 2460845 HAS SOPS 2460845 HAS SOUS 1603787 HAS SOUPS 1603787 WITH SCORE 1606247.845
AT ITER 1480 NEW BEST:: SOT 5029289 SOS 2459085 HAS SOPS 2459085 HAS SOUS 1602907 HAS SOUPS 1602907 WITH SCORE 1605366.085
AT ITER 1481 NEW BEST:: SOT 5028898 SOS 2456223 HAS SOPS 2456223 HAS SOUS 1601748 HAS SOUPS 1601748 WITH SCORE 1604204.223
AT ITER 1496 NEW BEST:: SOT 5028031 SOS 2456237 HAS SOPS 2456237 HAS SOUS 1601689 HAS SOUPS 1601689 WITH SCORE 1604145.237
AT ITER 1498 NEW BEST:: SOT 5027914 SOS 2456120 HAS SOPS 2456120 HAS SOUS 1601572 HAS SOUPS 1601572 WITH SCORE 1604028.12
AT ITER 1499 NEW BEST:: SOT 5027688 SOS 2456030 HAS SOPS 2456030 HAS SOUS 1600250 HAS SOUPS 1600250 WITH SCORE 1602706.03
AT ITER 1503 NEW BEST:: SOT 5027147 SOS 2454463 HAS SOPS 2454463 HAS SOUS 1599332 HAS SOUPS 1599332 WITH SCORE 1601786.463
AT ITER 1510 NEW BEST:: SOT 5026962 SOS 2454491 HAS SOPS 2454491 HAS SOUS 1599317 HAS SOUPS 1599317 WITH SCORE 1601771.491
AT ITER 1520 NEW BEST:: SOT 5026851 SOS 2453322 HAS SOPS 2453322 HAS SOUS 1599029 HAS SOUPS 1599029 WITH SCORE 1601482.322
AT ITER 1543 NEW BEST:: SOT 5026648 SOS 2453322 HAS SOPS 2453322 HAS SOUS 1599028 HAS SOUPS 1599028 WITH SCORE 1601481.322
AT ITER 1544 NEW BEST:: SOT 5025365 SOS 2452240 HAS SOPS 2452240 HAS SOUS 1598095 HAS SOUPS 1598095 WITH SCORE 1600547.24
AT ITER 1545 NEW BEST:: SOT 5025365 SOS 2451879 HAS SOPS 2451879 HAS SOUS 1597361 HAS SOUPS 1597361 WITH SCORE 1599812.879
AT ITER 1546 NEW BEST:: SOT 5024027 SOS 2449798 HAS SOPS 2449798 HAS SOUS 1596618 HAS SOUPS 1596618 WITH SCORE 1599067.798
AT ITER 1548 NEW BEST:: SOT 5023894 SOS 2443069 HAS SOPS 2443069 HAS SOUS 1596276 HAS SOUPS 1596276 WITH SCORE 1598719.069
AT ITER 1561 NEW BEST:: SOT 5023894 SOS 2443069 HAS SOPS 2443069 HAS SOUS 1595877 HAS SOUPS 1595877 WITH SCORE 1598320.069
AT ITER 1567 NEW BEST:: SOT 5023524 SOS 2442329 HAS SOPS 2442329 HAS SOUS 1595506 HAS SOUPS 1595506 WITH SCORE 1597948.329
AT ITER 1568 NEW BEST:: SOT 5023524 SOS 2442329 HAS SOPS 2442329 HAS SOUS 1595486 HAS SOUPS 1595486 WITH SCORE 1597928.329
AT ITER 1569 NEW BEST:: SOT 5023524 SOS 2442050 HAS SOPS 2442050 HAS SOUS 1595486 HAS SOUPS 1595486 WITH SCORE 1597928.05
AT ITER 1573 NEW BEST:: SOT 5023442 SOS 2440980 HAS SOPS 2440980 HAS SOUS 1595136 HAS SOUPS 1595136 WITH SCORE 1597576.98
AT ITER 1575 NEW BEST:: SOT 5023737 SOS 2440635 HAS SOPS 2440635 HAS SOUS 1594732 HAS SOUPS 1594732 WITH SCORE 1597172.635
AT ITER 1579 NEW BEST:: SOT 5023737 SOS 2440635 HAS SOPS 2440635 HAS SOUS 1594725 HAS SOUPS 1594725 WITH SCORE 1597165.635
AT ITER 1588 NEW BEST:: SOT 5023407 SOS 2440405 HAS SOPS 2440405 HAS SOUS 1594395 HAS SOUPS 1594395 WITH SCORE 1596835.405
AT ITER 1589 NEW BEST:: SOT 5024147 SOS 2439733 HAS SOPS 2439733 HAS SOUS 1593805 HAS SOUPS 1593805 WITH SCORE 1596244.733
AT ITER 1600 NEW BEST:: SOT 5023728 SOS 2438895 HAS SOPS 2438895 HAS SOUS 1593386 HAS SOUPS 1593386 WITH SCORE 1595824.895
AT ITER 1602 NEW BEST:: SOT 5023577 SOS 2438291 HAS SOPS 2438291 HAS SOUS 1593234 HAS SOUPS 1593234 WITH SCORE 1595672.291
AT ITER 1605 NEW BEST:: SOT 5023307 SOS 2437751 HAS SOPS 2437751 HAS SOUS 1592673 HAS SOUPS 1592673 WITH SCORE 1595110.751
AT ITER 1610 NEW BEST:: SOT 5022995 SOS 2437439 HAS SOPS 2437439 HAS SOUS 1592380 HAS SOUPS 1592380 WITH SCORE 1594817.439
AT ITER 1614 NEW BEST:: SOT 5022995 SOS 2437013 HAS SOPS 2437013 HAS SOUS 1592379 HAS SOUPS 1592379 WITH SCORE 1594816.013
AT ITER 1619 NEW BEST:: SOT 5022261 SOS 2434077 HAS SOPS 2434077 HAS SOUS 1590966 HAS SOUPS 1590966 WITH SCORE 1593400.077
AT ITER 1632 NEW BEST:: SOT 5021528 SOS 2431145 HAS SOPS 2431145 HAS SOUS 1589531 HAS SOUPS 1589531 WITH SCORE 1591962.145
AT ITER 1635 NEW BEST:: SOT 5020237 SOS 2430075 HAS SOPS 2430075 HAS SOUS 1588240 HAS SOUPS 1588240 WITH SCORE 1590670.075
AT ITER 1636 NEW BEST:: SOT 5020237 SOS 2430075 HAS SOPS 2430075 HAS SOUS 1587791 HAS SOUPS 1587791 WITH SCORE 1590221.075
AT ITER 1639 NEW BEST:: SOT 5020237 SOS 2430075 HAS SOPS 2430075 HAS SOUS 1587771 HAS SOUPS 1587771 WITH SCORE 1590201.075
AT ITER 1645 NEW BEST:: SOT 5020158 SOS 2429917 HAS SOPS 2429917 HAS SOUS 1587691 HAS SOUPS 1587691 WITH SCORE 1590120.917
AT ITER 1649 NEW BEST:: SOT 5019438 SOS 2429419 HAS SOPS 2429419 HAS SOUS 1586971 HAS SOUPS 1586971 WITH SCORE 1589400.419
AT ITER 1652 NEW BEST:: SOT 5019438 SOS 2429309 HAS SOPS 2429309 HAS SOUS 1586861 HAS SOUPS 1586861 WITH SCORE 1589290.309
AT ITER 1660 NEW BEST:: SOT 5019326 SOS 2429309 HAS SOPS 2429309 HAS SOUS 1586749 HAS SOUPS 1586749 WITH SCORE 1589178.309
AT ITER 1663 NEW BEST:: SOT 5019326 SOS 2428680 HAS SOPS 2428680 HAS SOUS 1586516 HAS SOUPS 1586516 WITH SCORE 1588944.68
AT ITER 1674 NEW BEST:: SOT 5019175 SOS 2428227 HAS SOPS 2428227 HAS SOUS 1586214 HAS SOUPS 1586214 WITH SCORE 1588642.227
AT ITER 1680 NEW BEST:: SOT 5019550 SOS 2427195 HAS SOPS 2427195 HAS SOUS 1585885 HAS SOUPS 1585885 WITH SCORE 1588312.195
AT ITER 1684 NEW BEST:: SOT 5019550 SOS 2426972 HAS SOPS 2426972 HAS SOUS 1585853 HAS SOUPS 1585853 WITH SCORE 1588279.972
AT ITER 1696 NEW BEST:: SOT 5019322 SOS 2427230 HAS SOPS 2427230 HAS SOUS 1585308 HAS SOUPS 1585308 WITH SCORE 1587735.23
AT ITER 1697 NEW BEST:: SOT 5018897 SOS 2423664 HAS SOPS 2423664 HAS SOUS 1584058 HAS SOUPS 1584058 WITH SCORE 1586481.664
AT ITER 1702 NEW BEST:: SOT 5018897 SOS 2423664 HAS SOPS 2423664 HAS SOUS 1584043 HAS SOUPS 1584043 WITH SCORE 1586466.664
AT ITER 1703 NEW BEST:: SOT 5018496 SOS 2421129 HAS SOPS 2421129 HAS SOUS 1583346 HAS SOUPS 1583346 WITH SCORE 1585767.129
AT ITER 1712 NEW BEST:: SOT 5017321 SOS 2420529 HAS SOPS 2420529 HAS SOUS 1582598 HAS SOUPS 1582598 WITH SCORE 1585018.529
AT ITER 1714 NEW BEST:: SOT 5017321 SOS 2420008 HAS SOPS 2420008 HAS SOUS 1581848 HAS SOUPS 1581848 WITH SCORE 1584268.008
AT ITER 1718 NEW BEST:: SOT 5017321 SOS 2419992 HAS SOPS 2419992 HAS SOUS 1581848 HAS SOUPS 1581848 WITH SCORE 1584267.992
AT ITER 1738 NEW BEST:: SOT 5017405 SOS 2418611 HAS SOPS 2418611 HAS SOUS 1581328 HAS SOUPS 1581328 WITH SCORE 1583746.611
AT ITER 1739 NEW BEST:: SOT 5017405 SOS 2418386 HAS SOPS 2418386 HAS SOUS 1581103 HAS SOUPS 1581103 WITH SCORE 1583521.386
AT ITER 1740 NEW BEST:: SOT 5017353 SOS 2418282 HAS SOPS 2418282 HAS SOUS 1580999 HAS SOUPS 1580999 WITH SCORE 1583417.282
AT ITER 1746 NEW BEST:: SOT 5014587 SOS 2430273 HAS SOPS 2430273 HAS SOUS 1580111 HAS SOUPS 1580111 WITH SCORE 1582541.273
AT ITER 1747 NEW BEST:: SOT 5014487 SOS 2430073 HAS SOPS 2430073 HAS SOUS 1580011 HAS SOUPS 1580011 WITH SCORE 1582441.073
AT ITER 1748 NEW BEST:: SOT 5014480 SOS 2430066 HAS SOPS 2430066 HAS SOUS 1580004 HAS SOUPS 1580004 WITH SCORE 1582434.066
AT ITER 1752 NEW BEST:: SOT 5014640 SOS 2430226 HAS SOPS 2430226 HAS SOUS 1579410 HAS SOUPS 1579410 WITH SCORE 1581840.226
AT ITER 1753 NEW BEST:: SOT 5014640 SOS 2429740 HAS SOPS 2429740 HAS SOUS 1579410 HAS SOUPS 1579410 WITH SCORE 1581839.74
AT ITER 1759 NEW BEST:: SOT 5015159 SOS 2429368 HAS SOPS 2429368 HAS SOUS 1578989 HAS SOUPS 1578989 WITH SCORE 1581418.368
AT ITER 1760 NEW BEST:: SOT 5015159 SOS 2428587 HAS SOPS 2428587 HAS SOUS 1578354 HAS SOUPS 1578354 WITH SCORE 1580782.587
AT ITER 1764 NEW BEST:: SOT 5015260 SOS 2428789 HAS SOPS 2428789 HAS SOUS 1578175 HAS SOUPS 1578175 WITH SCORE 1580603.789
AT ITER 1767 NEW BEST:: SOT 5016194 SOS 2429719 HAS SOPS 2429719 HAS SOUS 1578171 HAS SOUPS 1578171 WITH SCORE 1580600.719
AT ITER 1773 NEW BEST:: SOT 5015218 SOS 2429292 HAS SOPS 2429292 HAS SOUS 1577755 HAS SOUPS 1577755 WITH SCORE 1580184.292
AT ITER 1776 NEW BEST:: SOT 5015218 SOS 2428906 HAS SOPS 2428906 HAS SOUS 1577608 HAS SOUPS 1577608 WITH SCORE 1580036.906
AT ITER 1777 NEW BEST:: SOT 5015218 SOS 2428906 HAS SOPS 2428906 HAS SOUS 1577607 HAS SOUPS 1577607 WITH SCORE 1580035.906
AT ITER 1791 NEW BEST:: SOT 5015555 SOS 2429580 HAS SOPS 2429580 HAS SOUS 1577473 HAS SOUPS 1577473 WITH SCORE 1579902.58
AT ITER 1794 NEW BEST:: SOT 5004756 SOS 2442718 HAS SOPS 2442718 HAS SOUS 1567725 HAS SOUPS 1567725 WITH SCORE 1570167.718
AT ITER 1797 NEW BEST:: SOT 5004610 SOS 2440597 HAS SOPS 2440597 HAS SOUS 1566656 HAS SOUPS 1566656 WITH SCORE 1569096.597
AT ITER 1802 NEW BEST:: SOT 5004172 SOS 2439721 HAS SOPS 2439721 HAS SOUS 1566655 HAS SOUPS 1566655 WITH SCORE 1569094.721
AT ITER 1808 NEW BEST:: SOT 5003787 SOS 2439087 HAS SOPS 2439087 HAS SOUS 1566021 HAS SOUPS 1566021 WITH SCORE 1568460.087
AT ITER 1809 NEW BEST:: SOT 5003787 SOS 2438725 HAS SOPS 2438725 HAS SOUS 1566017 HAS SOUPS 1566017 WITH SCORE 1568455.725
AT ITER 1814 NEW BEST:: SOT 5003787 SOS 2438444 HAS SOPS 2438444 HAS SOUS 1565736 HAS SOUPS 1565736 WITH SCORE 1568174.444
AT ITER 1820 NEW BEST:: SOT 5002923 SOS 2434764 HAS SOPS 2434764 HAS SOUS 1563627 HAS SOUPS 1563627 WITH SCORE 1566061.764
AT ITER 1824 NEW BEST:: SOT 5001975 SOS 2434693 HAS SOPS 2434693 HAS SOUS 1563344 HAS SOUPS 1563344 WITH SCORE 1565778.693
AT ITER 1825 NEW BEST:: SOT 5001465 SOS 2433673 HAS SOPS 2433673 HAS SOUS 1562810 HAS SOUPS 1562810 WITH SCORE 1565243.673
AT ITER 1827 NEW BEST:: SOT 5001465 SOS 2433673 HAS SOPS 2433673 HAS SOUS 1562596 HAS SOUPS 1562596 WITH SCORE 1565029.673
AT ITER 1829 NEW BEST:: SOT 5001067 SOS 2433410 HAS SOPS 2433410 HAS SOUS 1562198 HAS SOUPS 1562198 WITH SCORE 1564631.41
AT ITER 1831 NEW BEST:: SOT 5001241 SOS 2432946 HAS SOPS 2432946 HAS SOUS 1560922 HAS SOUPS 1560922 WITH SCORE 1563354.946
AT ITER 1837 NEW BEST:: SOT 5001206 SOS 2432307 HAS SOPS 2432307 HAS SOUS 1560460 HAS SOUPS 1560460 WITH SCORE 1562892.307
AT ITER 1845 NEW BEST:: SOT 5001196 SOS 2432297 HAS SOPS 2432297 HAS SOUS 1560459 HAS SOUPS 1560459 WITH SCORE 1562891.297
AT ITER 1849 NEW BEST:: SOT 5000706 SOS 2431317 HAS SOPS 2431317 HAS SOUS 1559969 HAS SOUPS 1559969 WITH SCORE 1562400.317
AT ITER 1852 NEW BEST:: SOT 5001066 SOS 2431503 HAS SOPS 2431503 HAS SOUS 1559785 HAS SOUPS 1559785 WITH SCORE 1562216.503
AT ITER 1859 NEW BEST:: SOT 5001731 SOS 2431178 HAS SOPS 2431178 HAS SOUS 1559674 HAS SOUPS 1559674 WITH SCORE 1562105.178
AT ITER 1863 NEW BEST:: SOT 5001456 SOS 2429380 HAS SOPS 2429380 HAS SOUS 1558276 HAS SOUPS 1558276 WITH SCORE 1560705.38
AT ITER 1865 NEW BEST:: SOT 5001451 SOS 2429370 HAS SOPS 2429370 HAS SOUS 1558266 HAS SOUPS 1558266 WITH SCORE 1560695.37
AT ITER 1867 NEW BEST:: SOT 5000551 SOS 2428470 HAS SOPS 2428470 HAS SOUS 1557366 HAS SOUPS 1557366 WITH SCORE 1559794.47
AT ITER 1871 NEW BEST:: SOT 5000432 SOS 2427871 HAS SOPS 2427871 HAS SOUS 1557363 HAS SOUPS 1557363 WITH SCORE 1559790.871
AT ITER 1874 NEW BEST:: SOT 5000028 SOS 2427063 HAS SOPS 2427063 HAS SOUS 1556959 HAS SOUPS 1556959 WITH SCORE 1559386.063
AT ITER 1882 NEW BEST:: SOT 4999821 SOS 2426649 HAS SOPS 2426649 HAS SOUS 1556545 HAS SOUPS 1556545 WITH SCORE 1558971.649
AT ITER 1896 NEW BEST:: SOT 4999458 SOS 2426649 HAS SOPS 2426649 HAS SOUS 1556544 HAS SOUPS 1556544 WITH SCORE 1558970.649
AT ITER 1898 NEW BEST:: SOT 4999000 SOS 2426180 HAS SOPS 2426180 HAS SOUS 1556075 HAS SOUPS 1556075 WITH SCORE 1558501.18
AT ITER 1902 NEW BEST:: SOT 4999000 SOS 2426180 HAS SOPS 2426180 HAS SOUS 1555504 HAS SOUPS 1555504 WITH SCORE 1557930.18
AT ITER 1908 NEW BEST:: SOT 5000034 SOS 2403466 HAS SOPS 2403466 HAS SOUS 1555257 HAS SOUPS 1555257 WITH SCORE 1557660.466
AT ITER 1912 NEW BEST:: SOT 4999919 SOS 2405032 HAS SOPS 2405032 HAS SOUS 1555090 HAS SOUPS 1555090 WITH SCORE 1557495.032
AT ITER 1914 NEW BEST:: SOT 4999919 SOS 2404659 HAS SOPS 2404659 HAS SOUS 1555089 HAS SOUPS 1555089 WITH SCORE 1557493.659
AT ITER 1916 NEW BEST:: SOT 4999412 SOS 2403645 HAS SOPS 2403645 HAS SOUS 1554582 HAS SOUPS 1554582 WITH SCORE 1556985.645
AT ITER 1917 NEW BEST:: SOT 4978408 SOS 2396818 HAS SOPS 2396818 HAS SOUS 1533801 HAS SOUPS 1533801 WITH SCORE 1536197.818
AT ITER 1918 NEW BEST:: SOT 4978261 SOS 2397039 HAS SOPS 2397039 HAS SOUS 1533507 HAS SOUPS 1533507 WITH SCORE 1535904.039
AT ITER 1922 NEW BEST:: SOT 4978395 SOS 2397305 HAS SOPS 2397305 HAS SOUS 1533154 HAS SOUPS 1533154 WITH SCORE 1535551.305
AT ITER 1923 NEW BEST:: SOT 4978691 SOS 2387301 HAS SOPS 2387301 HAS SOUS 1532824 HAS SOUPS 1532824 WITH SCORE 1535211.301
AT ITER 1937 NEW BEST:: SOT 4978691 SOS 2387301 HAS SOPS 2387301 HAS SOUS 1532816 HAS SOUPS 1532816 WITH SCORE 1535203.301
AT ITER 1946 NEW BEST:: SOT 4978311 SOS 2387123 HAS SOPS 2387123 HAS SOUS 1532436 HAS SOUPS 1532436 WITH SCORE 1534823.123
AT ITER 1948 NEW BEST:: SOT 4978179 SOS 2386859 HAS SOPS 2386859 HAS SOUS 1532377 HAS SOUPS 1532377 WITH SCORE 1534763.859
AT ITER 1951 NEW BEST:: SOT 4978179 SOS 2386859 HAS SOPS 2386859 HAS SOUS 1532376 HAS SOUPS 1532376 WITH SCORE 1534762.859
AT ITER 1955 NEW BEST:: SOT 4978253 SOS 2386692 HAS SOPS 2386692 HAS SOUS 1531419 HAS SOUPS 1531419 WITH SCORE 1533805.692
AT ITER 1960 NEW BEST:: SOT 4978253 SOS 2386459 HAS SOPS 2386459 HAS SOUS 1531042 HAS SOUPS 1531042 WITH SCORE 1533428.459
AT ITER 1971 NEW BEST:: SOT 4978253 SOS 2386459 HAS SOPS 2386459 HAS SOUS 1530289 HAS SOUPS 1530289 WITH SCORE 1532675.459
AT ITER 1975 NEW BEST:: SOT 4978253 SOS 2386408 HAS SOPS 2386408 HAS SOUS 1530187 HAS SOUPS 1530187 WITH SCORE 1532573.408
AT ITER 1976 NEW BEST:: SOT 4976972 SOS 2385127 HAS SOPS 2385127 HAS SOUS 1529416 HAS SOUPS 1529416 WITH SCORE 1531801.127
AT ITER 1979 NEW BEST:: SOT 4976972 SOS 2385106 HAS SOPS 2385106 HAS SOUS 1529395 HAS SOUPS 1529395 WITH SCORE 1531780.106
AT ITER 1982 NEW BEST:: SOT 4975618 SOS 2384808 HAS SOPS 2384808 HAS SOUS 1528323 HAS SOUPS 1528323 WITH SCORE 1530707.808
AT ITER 1983 NEW BEST:: SOT 4975618 SOS 2384808 HAS SOPS 2384808 HAS SOUS 1528322 HAS SOUPS 1528322 WITH SCORE 1530706.808
AT ITER 1984 NEW BEST:: SOT 4975001 SOS 2384413 HAS SOPS 2384413 HAS SOUS 1527734 HAS SOUPS 1527734 WITH SCORE 1530118.413
AT ITER 1998 NEW BEST:: SOT 4974783 SOS 2384195 HAS SOPS 2384195 HAS SOUS 1527516 HAS SOUPS 1527516 WITH SCORE 1529900.195
AT ITER 2004 NEW BEST:: SOT 4974486 SOS 2383304 HAS SOPS 2383304 HAS SOUS 1527219 HAS SOUPS 1527219 WITH SCORE 1529602.304
AT ITER 2005 NEW BEST:: SOT 4974469 SOS 2384327 HAS SOPS 2384327 HAS SOUS 1527201 HAS SOUPS 1527201 WITH SCORE 1529585.327
AT ITER 2007 NEW BEST:: SOT 4974302 SOS 2384228 HAS SOPS 2384228 HAS SOUS 1527132 HAS SOUPS 1527132 WITH SCORE 1529516.228
AT ITER 2012 NEW BEST:: SOT 4974277 SOS 2382146 HAS SOPS 2382146 HAS SOUS 1525939 HAS SOUPS 1525939 WITH SCORE 1528321.146
AT ITER 2019 NEW BEST:: SOT 4974539 SOS 2382713 HAS SOPS 2382713 HAS SOUS 1525507 HAS SOUPS 1525507 WITH SCORE 1527889.713
AT ITER 2023 NEW BEST:: SOT 4958825 SOS 2400555 HAS SOPS 2400555 HAS SOUS 1513612 HAS SOUPS 1513612 WITH SCORE 1516012.555
AT ITER 2027 NEW BEST:: SOT 4958421 SOS 2399343 HAS SOPS 2399343 HAS SOUS 1512804 HAS SOUPS 1512804 WITH SCORE 1515203.343
AT ITER 2029 NEW BEST:: SOT 4958067 SOS 2398634 HAS SOPS 2398634 HAS SOUS 1512688 HAS SOUPS 1512688 WITH SCORE 1515086.634
AT ITER 2031 NEW BEST:: SOT 4957346 SOS 2397192 HAS SOPS 2397192 HAS SOUS 1511434 HAS SOUPS 1511434 WITH SCORE 1513831.192
AT ITER 2033 NEW BEST:: SOT 4957346 SOS 2397110 HAS SOPS 2397110 HAS SOUS 1511434 HAS SOUPS 1511434 WITH SCORE 1513831.11
AT ITER 2039 NEW BEST:: SOT 4957346 SOS 2397034 HAS SOPS 2397034 HAS SOUS 1511434 HAS SOUPS 1511434 WITH SCORE 1513831.034
AT ITER 2043 NEW BEST:: SOT 4957151 SOS 2396269 HAS SOPS 2396269 HAS SOUS 1510863 HAS SOUPS 1510863 WITH SCORE 1513259.269
AT ITER 2051 NEW BEST:: SOT 4957191 SOS 2395935 HAS SOPS 2395935 HAS SOUS 1510286 HAS SOUPS 1510286 WITH SCORE 1512681.935
AT ITER 2056 NEW BEST:: SOT 4957191 SOS 2396102 HAS SOPS 2396102 HAS SOUS 1510069 HAS SOUPS 1510069 WITH SCORE 1512465.102
AT ITER 2057 NEW BEST:: SOT 4957191 SOS 2395510 HAS SOPS 2395510 HAS SOUS 1509477 HAS SOUPS 1509477 WITH SCORE 1511872.51
AT ITER 2064 NEW BEST:: SOT 4956890 SOS 2395621 HAS SOPS 2395621 HAS SOUS 1508875 HAS SOUPS 1508875 WITH SCORE 1511270.621
AT ITER 2065 NEW BEST:: SOT 4956415 SOS 2394671 HAS SOPS 2394671 HAS SOUS 1507925 HAS SOUPS 1507925 WITH SCORE 1510319.671
AT ITER 2066 NEW BEST:: SOT 4956180 SOS 2392983 HAS SOPS 2392983 HAS SOUS 1507524 HAS SOUPS 1507524 WITH SCORE 1509916.983
AT ITER 2069 NEW BEST:: SOT 4956180 SOS 2392983 HAS SOPS 2392983 HAS SOUS 1507378 HAS SOUPS 1507378 WITH SCORE 1509770.983
AT ITER 2077 NEW BEST:: SOT 4956377 SOS 2393377 HAS SOPS 2393377 HAS SOUS 1507177 HAS SOUPS 1507177 WITH SCORE 1509570.377
AT ITER 2083 NEW BEST:: SOT 4956377 SOS 2393377 HAS SOPS 2393377 HAS SOUS 1506642 HAS SOUPS 1506642 WITH SCORE 1509035.377
AT ITER 2086 NEW BEST:: SOT 4956377 SOS 2392565 HAS SOPS 2392565 HAS SOUS 1506642 HAS SOUPS 1506642 WITH SCORE 1509034.565
AT ITER 2091 NEW BEST:: SOT 4956377 SOS 2392471 HAS SOPS 2392471 HAS SOUS 1505839 HAS SOUPS 1505839 WITH SCORE 1508231.471
AT ITER 2104 NEW BEST:: SOT 4956164 SOS 2392565 HAS SOPS 2392565 HAS SOUS 1505086 HAS SOUPS 1505086 WITH SCORE 1507478.565
AT ITER 2106 NEW BEST:: SOT 4956124 SOS 2392244 HAS SOPS 2392244 HAS SOUS 1505046 HAS SOUPS 1505046 WITH SCORE 1507438.244
AT ITER 2107 NEW BEST:: SOT 4956101 SOS 2392221 HAS SOPS 2392221 HAS SOUS 1505023 HAS SOUPS 1505023 WITH SCORE 1507415.221
AT ITER 2122 NEW BEST:: SOT 4956034 SOS 2392252 HAS SOPS 2392252 HAS SOUS 1504956 HAS SOUPS 1504956 WITH SCORE 1507348.252
AT ITER 2139 NEW BEST:: SOT 4955904 SOS 2392387 HAS SOPS 2392387 HAS SOUS 1504696 HAS SOUPS 1504696 WITH SCORE 1507088.387
AT ITER 2145 NEW BEST:: SOT 4956004 SOS 2393219 HAS SOPS 2393219 HAS SOUS 1504264 HAS SOUPS 1504264 WITH SCORE 1506657.219
AT ITER 2149 NEW BEST:: SOT 4955744 SOS 2392959 HAS SOPS 2392959 HAS SOUS 1504004 HAS SOUPS 1504004 WITH SCORE 1506396.959
AT ITER 2161 NEW BEST:: SOT 4955191 SOS 2389553 HAS SOPS 2389553 HAS SOUS 1502519 HAS SOUPS 1502519 WITH SCORE 1504908.553
AT ITER 2174 NEW BEST:: SOT 4954824 SOS 2389882 HAS SOPS 2389882 HAS SOUS 1502206 HAS SOUPS 1502206 WITH SCORE 1504595.882
AT ITER 2175 NEW BEST:: SOT 4954849 SOS 2388630 HAS SOPS 2388630 HAS SOUS 1500954 HAS SOUPS 1500954 WITH SCORE 1503342.63
AT ITER 2179 NEW BEST:: SOT 4954849 SOS 2388562 HAS SOPS 2388562 HAS SOUS 1500920 HAS SOUPS 1500920 WITH SCORE 1503308.562
AT ITER 2181 NEW BEST:: SOT 4954849 SOS 2388562 HAS SOPS 2388562 HAS SOUS 1500833 HAS SOUPS 1500833 WITH SCORE 1503221.562
AT ITER 2186 NEW BEST:: SOT 4954789 SOS 2388562 HAS SOPS 2388562 HAS SOUS 1500713 HAS SOUPS 1500713 WITH SCORE 1503101.562
AT ITER 2188 NEW BEST:: SOT 4954789 SOS 2387846 HAS SOPS 2387846 HAS SOUS 1500713 HAS SOUPS 1500713 WITH SCORE 1503100.846
AT ITER 2194 NEW BEST:: SOT 4954789 SOS 2387338 HAS SOPS 2387338 HAS SOUS 1500474 HAS SOUPS 1500474 WITH SCORE 1502861.338
AT ITER 2202 NEW BEST:: SOT 4954789 SOS 2387008 HAS SOPS 2387008 HAS SOUS 1500474 HAS SOUPS 1500474 WITH SCORE 1502861.008
AT ITER 2209 NEW BEST:: SOT 4954789 SOS 2387008 HAS SOPS 2387008 HAS SOUS 1500473 HAS SOUPS 1500473 WITH SCORE 1502860.008
AT ITER 2212 NEW BEST:: SOT 4954619 SOS 2386994 HAS SOPS 2386994 HAS SOUS 1500459 HAS SOUPS 1500459 WITH SCORE 1502845.994
AT ITER 2216 NEW BEST:: SOT 4954619 SOS 2386994 HAS SOPS 2386994 HAS SOUS 1500162 HAS SOUPS 1500162 WITH SCORE 1502548.994
AT ITER 2217 NEW BEST:: SOT 4954620 SOS 2386582 HAS SOPS 2386582 HAS SOUS 1499750 HAS SOUPS 1499750 WITH SCORE 1502136.582
AT ITER 2229 NEW BEST:: SOT 4954087 SOS 2386049 HAS SOPS 2386049 HAS SOUS 1499217 HAS SOUPS 1499217 WITH SCORE 1501603.049
AT ITER 2233 NEW BEST:: SOT 4954087 SOS 2386049 HAS SOPS 2386049 HAS SOUS 1498647 HAS SOUPS 1498647 WITH SCORE 1501033.049
AT ITER 2239 NEW BEST:: SOT 4954087 SOS 2385827 HAS SOPS 2385827 HAS SOUS 1498646 HAS SOUPS 1498646 WITH SCORE 1501031.827
AT ITER 2245 NEW BEST:: SOT 4954087 SOS 2385389 HAS SOPS 2385389 HAS SOUS 1497770 HAS SOUPS 1497770 WITH SCORE 1500155.389
AT ITER 2248 NEW BEST:: SOT 4953788 SOS 2384839 HAS SOPS 2384839 HAS SOUS 1497487 HAS SOUPS 1497487 WITH SCORE 1499871.839
AT ITER 2256 NEW BEST:: SOT 4953780 SOS 2388798 HAS SOPS 2388798 HAS SOUS 1497479 HAS SOUPS 1497479 WITH SCORE 1499867.798
AT ITER 2267 NEW BEST:: SOT 4953780 SOS 2388691 HAS SOPS 2388691 HAS SOUS 1497479 HAS SOUPS 1497479 WITH SCORE 1499867.691
AT ITER 2268 NEW BEST:: SOT 4953035 SOS 2385711 HAS SOPS 2385711 HAS SOUS 1496005 HAS SOUPS 1496005 WITH SCORE 1498390.711
AT ITER 2273 NEW BEST:: SOT 4952791 SOS 2385467 HAS SOPS 2385467 HAS SOUS 1495761 HAS SOUPS 1495761 WITH SCORE 1498146.467
AT ITER 2277 NEW BEST:: SOT 4952628 SOS 2384815 HAS SOPS 2384815 HAS SOUS 1495435 HAS SOUPS 1495435 WITH SCORE 1497819.815
AT ITER 2278 NEW BEST:: SOT 4952484 SOS 2384527 HAS SOPS 2384527 HAS SOUS 1495147 HAS SOUPS 1495147 WITH SCORE 1497531.527
AT ITER 2282 NEW BEST:: SOT 4952484 SOS 2384215 HAS SOPS 2384215 HAS SOUS 1495091 HAS SOUPS 1495091 WITH SCORE 1497475.215
AT ITER 2290 NEW BEST:: SOT 4952355 SOS 2385421 HAS SOPS 2385421 HAS SOUS 1494981 HAS SOUPS 1494981 WITH SCORE 1497366.421
AT ITER 2292 NEW BEST:: SOT 4951844 SOS 2386361 HAS SOPS 2386361 HAS SOUS 1494469 HAS SOUPS 1494469 WITH SCORE 1496855.361
AT ITER 2311 NEW BEST:: SOT 4951369 SOS 2385434 HAS SOPS 2385434 HAS SOUS 1493306 HAS SOUPS 1493306 WITH SCORE 1495691.434
AT ITER 2312 NEW BEST:: SOT 4950977 SOS 2385079 HAS SOPS 2385079 HAS SOUS 1492914 HAS SOUPS 1492914 WITH SCORE 1495299.079
AT ITER 2313 NEW BEST:: SOT 4950541 SOS 2381620 HAS SOPS 2381620 HAS SOUS 1492478 HAS SOUPS 1492478 WITH SCORE 1494859.62
AT ITER 2316 NEW BEST:: SOT 4950599 SOS 2381607 HAS SOPS 2381607 HAS SOUS 1492113 HAS SOUPS 1492113 WITH SCORE 1494494.607
AT ITER 2325 NEW BEST:: SOT 4950722 SOS 2381853 HAS SOPS 2381853 HAS SOUS 1492021 HAS SOUPS 1492021 WITH SCORE 1494402.853
AT ITER 2340 NEW BEST:: SOT 4950253 SOS 2380915 HAS SOPS 2380915 HAS SOUS 1490250 HAS SOUPS 1490250 WITH SCORE 1492630.915
AT ITER 2372 NEW BEST:: SOT 4950253 SOS 2380593 HAS SOPS 2380593 HAS SOUS 1489928 HAS SOUPS 1489928 WITH SCORE 1492308.593
AT ITER 2376 NEW BEST:: SOT 4950253 SOS 2379314 HAS SOPS 2379314 HAS SOUS 1489287 HAS SOUPS 1489287 WITH SCORE 1491666.314
AT ITER 2381 NEW BEST:: SOT 4950253 SOS 2379314 HAS SOPS 2379314 HAS SOUS 1489283 HAS SOUPS 1489283 WITH SCORE 1491662.314
AT ITER 2388 NEW BEST:: SOT 4950253 SOS 2379314 HAS SOPS 2379314 HAS SOUS 1489104 HAS SOUPS 1489104 WITH SCORE 1491483.314
AT ITER 2394 NEW BEST:: SOT 4950253 SOS 2379314 HAS SOPS 2379314 HAS SOUS 1489103 HAS SOUPS 1489103 WITH SCORE 1491482.314
AT ITER 2395 NEW BEST:: SOT 4949592 SOS 2377899 HAS SOPS 2377899 HAS SOUS 1488348 HAS SOUPS 1488348 WITH SCORE 1490725.899
AT ITER 2401 NEW BEST:: SOT 4948826 SOS 2377199 HAS SOPS 2377199 HAS SOUS 1487895 HAS SOUPS 1487895 WITH SCORE 1490272.199
AT ITER 2421 NEW BEST:: SOT 4948416 SOS 2375884 HAS SOPS 2375884 HAS SOUS 1487075 HAS SOUPS 1487075 WITH SCORE 1489450.884
AT ITER 2433 NEW BEST:: SOT 4948354 SOS 2375760 HAS SOPS 2375760 HAS SOUS 1486809 HAS SOUPS 1486809 WITH SCORE 1489184.76
AT ITER 2443 NEW BEST:: SOT 4948916 SOS 2374582 HAS SOPS 2374582 HAS SOUS 1486263 HAS SOUPS 1486263 WITH SCORE 1488637.582
AT ITER 2446 NEW BEST:: SOT 4948645 SOS 2372522 HAS SOPS 2372522 HAS SOUS 1485233 HAS SOUPS 1485233 WITH SCORE 1487605.522
AT ITER 2449 NEW BEST:: SOT 4948370 SOS 2371972 HAS SOPS 2371972 HAS SOUS 1484958 HAS SOUPS 1484958 WITH SCORE 1487329.972
AT ITER 2456 NEW BEST:: SOT 4949140 SOS 2372587 HAS SOPS 2372587 HAS SOUS 1484672 HAS SOUPS 1484672 WITH SCORE 1487044.587
AT ITER 2459 NEW BEST:: SOT 4949182 SOS 2370582 HAS SOPS 2370582 HAS SOUS 1482985 HAS SOUPS 1482985 WITH SCORE 1485355.582
AT ITER 2467 NEW BEST:: SOT 4949033 SOS 2370135 HAS SOPS 2370135 HAS SOUS 1482687 HAS SOUPS 1482687 WITH SCORE 1485057.135
AT ITER 2470 NEW BEST:: SOT 4949033 SOS 2370135 HAS SOPS 2370135 HAS SOUS 1482663 HAS SOUPS 1482663 WITH SCORE 1485033.135
AT ITER 2474 NEW BEST:: SOT 4948814 SOS 2370407 HAS SOPS 2370407 HAS SOUS 1482444 HAS SOUPS 1482444 WITH SCORE 1484814.407
AT ITER 2480 NEW BEST:: SOT 4948461 SOS 2368427 HAS SOPS 2368427 HAS SOUS 1481738 HAS SOUPS 1481738 WITH SCORE 1484106.427
AT ITER 2483 NEW BEST:: SOT 4948294 SOS 2368441 HAS SOPS 2368441 HAS SOUS 1481571 HAS SOUPS 1481571 WITH SCORE 1483939.441
AT ITER 2491 NEW BEST:: SOT 4948141 SOS 2367982 HAS SOPS 2367982 HAS SOUS 1481265 HAS SOUPS 1481265 WITH SCORE 1483632.982
AT ITER 2493 NEW BEST:: SOT 4948179 SOS 2368020 HAS SOPS 2368020 HAS SOUS 1481009 HAS SOUPS 1481009 WITH SCORE 1483377.02
AT ITER 2497 NEW BEST:: SOT 4948179 SOS 2367692 HAS SOPS 2367692 HAS SOUS 1480681 HAS SOUPS 1480681 WITH SCORE 1483048.692
AT ITER 2500 NEW BEST:: SOT 4948179 SOS 2366510 HAS SOPS 2366510 HAS SOUS 1480681 HAS SOUPS 1480681 WITH SCORE 1483047.51
AT ITER 2504 NEW BEST:: SOT 4948923 SOS 2366655 HAS SOPS 2366655 HAS SOUS 1479821 HAS SOUPS 1479821 WITH SCORE 1482187.655
AT ITER 2513 NEW BEST:: SOT 4948378 SOS 2364401 HAS SOPS 2364401 HAS SOUS 1478075 HAS SOUPS 1478075 WITH SCORE 1480439.401
AT ITER 2515 NEW BEST:: SOT 4948054 SOS 2363061 HAS SOPS 2363061 HAS SOUS 1477498 HAS SOUPS 1477498 WITH SCORE 1479861.061
AT ITER 2516 NEW BEST:: SOT 4947958 SOS 2361423 HAS SOPS 2361423 HAS SOUS 1477305 HAS SOUPS 1477305 WITH SCORE 1479666.423
AT ITER 2526 NEW BEST:: SOT 4947862 SOS 2361231 HAS SOPS 2361231 HAS SOUS 1477209 HAS SOUPS 1477209 WITH SCORE 1479570.231
AT ITER 2529 NEW BEST:: SOT 4947759 SOS 2360917 HAS SOPS 2360917 HAS SOUS 1477106 HAS SOUPS 1477106 WITH SCORE 1479466.917
AT ITER 2545 NEW BEST:: SOT 4947759 SOS 2360917 HAS SOPS 2360917 HAS SOUS 1477097 HAS SOUPS 1477097 WITH SCORE 1479457.917
AT ITER 2546 NEW BEST:: SOT 4947550 SOS 2360290 HAS SOPS 2360290 HAS SOUS 1476888 HAS SOUPS 1476888 WITH SCORE 1479248.29
AT ITER 2552 NEW BEST:: SOT 4947254 SOS 2359698 HAS SOPS 2359698 HAS SOUS 1476296 HAS SOUPS 1476296 WITH SCORE 1478655.698
AT ITER 2563 NEW BEST:: SOT 4947232 SOS 2359448 HAS SOPS 2359448 HAS SOUS 1476178 HAS SOUPS 1476178 WITH SCORE 1478537.448
AT ITER 2568 NEW BEST:: SOT 4947347 SOS 2359263 HAS SOPS 2359263 HAS SOUS 1475993 HAS SOUPS 1475993 WITH SCORE 1478352.263
AT ITER 2579 NEW BEST:: SOT 4947347 SOS 2359262 HAS SOPS 2359262 HAS SOUS 1475993 HAS SOUPS 1475993 WITH SCORE 1478352.262
AT ITER 2594 NEW BEST:: SOT 4947338 SOS 2358274 HAS SOPS 2358274 HAS SOUS 1475165 HAS SOUPS 1475165 WITH SCORE 1477523.274
AT ITER 2595 NEW BEST:: SOT 4947833 SOS 2358746 HAS SOPS 2358746 HAS SOUS 1475142 HAS SOUPS 1475142 WITH SCORE 1477500.746
AT ITER 2598 NEW BEST:: SOT 4947724 SOS 2358310 HAS SOPS 2358310 HAS SOUS 1474815 HAS SOUPS 1474815 WITH SCORE 1477173.31
AT ITER 2602 NEW BEST:: SOT 4947724 SOS 2358103 HAS SOPS 2358103 HAS SOUS 1474608 HAS SOUPS 1474608 WITH SCORE 1476966.103
AT ITER 2603 NEW BEST:: SOT 4947447 SOS 2356995 HAS SOPS 2356995 HAS SOUS 1474054 HAS SOUPS 1474054 WITH SCORE 1476410.995
AT ITER 2605 NEW BEST:: SOT 4947447 SOS 2356994 HAS SOPS 2356994 HAS SOUS 1473991 HAS SOUPS 1473991 WITH SCORE 1476347.994
AT ITER 2621 NEW BEST:: SOT 4947447 SOS 2356994 HAS SOPS 2356994 HAS SOUS 1473755 HAS SOUPS 1473755 WITH SCORE 1476111.994
AT ITER 2622 NEW BEST:: SOT 4947365 SOS 2356830 HAS SOPS 2356830 HAS SOUS 1473673 HAS SOUPS 1473673 WITH SCORE 1476029.83
AT ITER 2627 NEW BEST:: SOT 4947552 SOS 2356657 HAS SOPS 2356657 HAS SOUS 1473062 HAS SOUPS 1473062 WITH SCORE 1475418.657
AT ITER 2629 NEW BEST:: SOT 4948056 SOS 2357236 HAS SOPS 2357236 HAS SOUS 1472306 HAS SOUPS 1472306 WITH SCORE 1474663.236
AT ITER 2633 NEW BEST:: SOT 4948056 SOS 2357139 HAS SOPS 2357139 HAS SOUS 1472209 HAS SOUPS 1472209 WITH SCORE 1474566.139
AT ITER 2637 NEW BEST:: SOT 4948056 SOS 2356631 HAS SOPS 2356631 HAS SOUS 1472209 HAS SOUPS 1472209 WITH SCORE 1474565.631
AT ITER 2644 NEW BEST:: SOT 4948199 SOS 2354364 HAS SOPS 2354364 HAS SOUS 1471866 HAS SOUPS 1471866 WITH SCORE 1474220.364
AT ITER 2651 NEW BEST:: SOT 4948158 SOS 2352776 HAS SOPS 2352776 HAS SOUS 1471784 HAS SOUPS 1471784 WITH SCORE 1474136.776
AT ITER 2661 NEW BEST:: SOT 4947246 SOS 2352080 HAS SOPS 2352080 HAS SOUS 1471292 HAS SOUPS 1471292 WITH SCORE 1473644.08
AT ITER 2670 NEW BEST:: SOT 4947246 SOS 2351635 HAS SOPS 2351635 HAS SOUS 1471292 HAS SOUPS 1471292 WITH SCORE 1473643.635
AT ITER 2675 NEW BEST:: SOT 4946485 SOS 2348575 HAS SOPS 2348575 HAS SOUS 1469961 HAS SOUPS 1469961 WITH SCORE 1472309.575
AT ITER 2682 NEW BEST:: SOT 4946485 SOS 2345370 HAS SOPS 2345370 HAS SOUS 1469832 HAS SOUPS 1469832 WITH SCORE 1472177.37
AT ITER 2686 NEW BEST:: SOT 4945742 SOS 2342925 HAS SOPS 2342925 HAS SOUS 1468346 HAS SOUPS 1468346 WITH SCORE 1470688.925
AT ITER 2689 NEW BEST:: SOT 4945582 SOS 2342675 HAS SOPS 2342675 HAS SOUS 1468256 HAS SOUPS 1468256 WITH SCORE 1470598.675
AT ITER 2690 NEW BEST:: SOT 4945333 SOS 2341992 HAS SOPS 2341992 HAS SOUS 1467573 HAS SOUPS 1467573 WITH SCORE 1469914.992
AT ITER 2692 NEW BEST:: SOT 4945333 SOS 2341311 HAS SOPS 2341311 HAS SOUS 1466892 HAS SOUPS 1466892 WITH SCORE 1469233.311
AT ITER 2693 NEW BEST:: SOT 4945533 SOS 2342225 HAS SOPS 2342225 HAS SOUS 1466778 HAS SOUPS 1466778 WITH SCORE 1469120.225
AT ITER 2694 NEW BEST:: SOT 4945480 SOS 2342172 HAS SOPS 2342172 HAS SOUS 1466725 HAS SOUPS 1466725 WITH SCORE 1469067.172
AT ITER 2695 NEW BEST:: SOT 4945355 SOS 2341922 HAS SOPS 2341922 HAS SOUS 1466649 HAS SOUPS 1466649 WITH SCORE 1468990.922
AT ITER 2696 NEW BEST:: SOT 4945355 SOS 2341909 HAS SOPS 2341909 HAS SOUS 1466649 HAS SOUPS 1466649 WITH SCORE 1468990.909
AT ITER 2697 NEW BEST:: SOT 4945355 SOS 2341403 HAS SOPS 2341403 HAS SOUS 1466338 HAS SOUPS 1466338 WITH SCORE 1468679.403
AT ITER 2702 NEW BEST:: SOT 4945355 SOS 2341403 HAS SOPS 2341403 HAS SOUS 1466135 HAS SOUPS 1466135 WITH SCORE 1468476.403
AT ITER 2704 NEW BEST:: SOT 4944699 SOS 2339269 HAS SOPS 2339269 HAS SOUS 1465763 HAS SOUPS 1465763 WITH SCORE 1468102.269
AT ITER 2712 NEW BEST:: SOT 4944343 SOS 2338292 HAS SOPS 2338292 HAS SOUS 1465570 HAS SOUPS 1465570 WITH SCORE 1467908.292
AT ITER 2722 NEW BEST:: SOT 4943746 SOS 2338924 HAS SOPS 2338924 HAS SOUS 1465419 HAS SOUPS 1465419 WITH SCORE 1467757.924
AT ITER 2723 NEW BEST:: SOT 4943746 SOS 2338555 HAS SOPS 2338555 HAS SOUS 1465296 HAS SOUPS 1465296 WITH SCORE 1467634.555
AT ITER 2727 NEW BEST:: SOT 4943078 SOS 2335457 HAS SOPS 2335457 HAS SOUS 1464213 HAS SOUPS 1464213 WITH SCORE 1466548.457
AT ITER 2732 NEW BEST:: SOT 4943327 SOS 2335226 HAS SOPS 2335226 HAS SOUS 1463891 HAS SOUPS 1463891 WITH SCORE 1466226.226
AT ITER 2735 NEW BEST:: SOT 4943460 SOS 2335156 HAS SOPS 2335156 HAS SOUS 1463090 HAS SOUPS 1463090 WITH SCORE 1465425.156
AT ITER 2737 NEW BEST:: SOT 4943405 SOS 2335046 HAS SOPS 2335046 HAS SOUS 1462980 HAS SOUPS 1462980 WITH SCORE 1465315.046
AT ITER 2746 NEW BEST:: SOT 4943188 SOS 2335054 HAS SOPS 2335054 HAS SOUS 1462763 HAS SOUPS 1462763 WITH SCORE 1465098.054
AT ITER 2748 NEW BEST:: SOT 4942440 SOS 2333558 HAS SOPS 2333558 HAS SOUS 1462015 HAS SOUPS 1462015 WITH SCORE 1464348.558
AT ITER 2749 NEW BEST:: SOT 4942440 SOS 2333245 HAS SOPS 2333245 HAS SOUS 1461702 HAS SOUPS 1461702 WITH SCORE 1464035.245
AT ITER 2755 NEW BEST:: SOT 4942440 SOS 2333244 HAS SOPS 2333244 HAS SOUS 1461701 HAS SOUPS 1461701 WITH SCORE 1464034.244
AT ITER 2758 NEW BEST:: SOT 4941971 SOS 2330578 HAS SOPS 2330578 HAS SOUS 1460513 HAS SOUPS 1460513 WITH SCORE 1462843.578
AT ITER 2760 NEW BEST:: SOT 4941736 SOS 2330108 HAS SOPS 2330108 HAS SOUS 1459883 HAS SOUPS 1459883 WITH SCORE 1462213.108
AT ITER 2761 NEW BEST:: SOT 4941374 SOS 2329022 HAS SOPS 2329022 HAS SOUS 1459521 HAS SOUPS 1459521 WITH SCORE 1461850.022
AT ITER 2768 NEW BEST:: SOT 4941282 SOS 2328930 HAS SOPS 2328930 HAS SOUS 1459476 HAS SOUPS 1459476 WITH SCORE 1461804.93
AT ITER 2775 NEW BEST:: SOT 4941369 SOS 2329608 HAS SOPS 2329608 HAS SOUS 1458991 HAS SOUPS 1458991 WITH SCORE 1461320.608
AT ITER 2777 NEW BEST:: SOT 4941369 SOS 2329608 HAS SOPS 2329608 HAS SOUS 1458990 HAS SOUPS 1458990 WITH SCORE 1461319.608
AT ITER 2790 NEW BEST:: SOT 4941257 SOS 2329496 HAS SOPS 2329496 HAS SOUS 1458878 HAS SOUPS 1458878 WITH SCORE 1461207.496
AT ITER 2795 NEW BEST:: SOT 4940878 SOS 2328738 HAS SOPS 2328738 HAS SOUS 1458784 HAS SOUPS 1458784 WITH SCORE 1461112.738
AT ITER 2799 NEW BEST:: SOT 4940878 SOS 2328301 HAS SOPS 2328301 HAS SOUS 1458347 HAS SOUPS 1458347 WITH SCORE 1460675.301
AT ITER 2807 NEW BEST:: SOT 4940878 SOS 2322865 HAS SOPS 2322865 HAS SOUS 1457922 HAS SOUPS 1457922 WITH SCORE 1460244.865
AT ITER 2817 NEW BEST:: SOT 4940583 SOS 2321685 HAS SOPS 2321685 HAS SOUS 1457332 HAS SOUPS 1457332 WITH SCORE 1459653.685
AT ITER 2821 NEW BEST:: SOT 4940583 SOS 2321371 HAS SOPS 2321371 HAS SOUS 1457175 HAS SOUPS 1457175 WITH SCORE 1459496.371
AT ITER 2822 NEW BEST:: SOT 4940529 SOS 2321317 HAS SOPS 2321317 HAS SOUS 1457121 HAS SOUPS 1457121 WITH SCORE 1459442.317
AT ITER 2827 NEW BEST:: SOT 4940529 SOS 2321075 HAS SOPS 2321075 HAS SOUS 1456471 HAS SOUPS 1456471 WITH SCORE 1458792.075
AT ITER 2828 NEW BEST:: SOT 4940441 SOS 2320811 HAS SOPS 2320811 HAS SOUS 1456383 HAS SOUPS 1456383 WITH SCORE 1458703.811
AT ITER 2833 NEW BEST:: SOT 4941399 SOS 2313686 HAS SOPS 2313686 HAS SOUS 1456383 HAS SOUPS 1456383 WITH SCORE 1458696.686
AT ITER 2839 NEW BEST:: SOT 4940963 SOS 2311270 HAS SOPS 2311270 HAS SOUS 1455332 HAS SOUPS 1455332 WITH SCORE 1457643.27
AT ITER 2845 NEW BEST:: SOT 4940802 SOS 2310787 HAS SOPS 2310787 HAS SOUS 1455010 HAS SOUPS 1455010 WITH SCORE 1457320.787
AT ITER 2847 NEW BEST:: SOT 4940802 SOS 2308361 HAS SOPS 2308361 HAS SOUS 1454463 HAS SOUPS 1454463 WITH SCORE 1456771.361
AT ITER 2854 NEW BEST:: SOT 4940916 SOS 2307806 HAS SOPS 2307806 HAS SOUS 1452480 HAS SOUPS 1452480 WITH SCORE 1454787.806
AT ITER 2856 NEW BEST:: SOT 4940889 SOS 2307485 HAS SOPS 2307485 HAS SOUS 1451914 HAS SOUPS 1451914 WITH SCORE 1454221.485
AT ITER 2860 NEW BEST:: SOT 4940889 SOS 2307485 HAS SOPS 2307485 HAS SOUS 1451784 HAS SOUPS 1451784 WITH SCORE 1454091.485
AT ITER 2862 NEW BEST:: SOT 4941249 SOS 2307399 HAS SOPS 2307399 HAS SOUS 1451619 HAS SOUPS 1451619 WITH SCORE 1453926.399
AT ITER 2864 NEW BEST:: SOT 4940582 SOS 2306656 HAS SOPS 2306656 HAS SOUS 1450731 HAS SOUPS 1450731 WITH SCORE 1453037.656
AT ITER 2865 NEW BEST:: SOT 4940582 SOS 2306601 HAS SOPS 2306601 HAS SOUS 1450676 HAS SOUPS 1450676 WITH SCORE 1452982.601
AT ITER 2866 NEW BEST:: SOT 4940236 SOS 2305563 HAS SOPS 2305563 HAS SOUS 1450330 HAS SOUPS 1450330 WITH SCORE 1452635.563
AT ITER 2867 NEW BEST:: SOT 4940070 SOS 2305397 HAS SOPS 2305397 HAS SOUS 1449998 HAS SOUPS 1449998 WITH SCORE 1452303.397
AT ITER 2871 NEW BEST:: SOT 4940634 SOS 2304533 HAS SOPS 2304533 HAS SOUS 1449963 HAS SOUPS 1449963 WITH SCORE 1452267.533
AT ITER 2873 NEW BEST:: SOT 4940540 SOS 2304345 HAS SOPS 2304345 HAS SOUS 1449869 HAS SOUPS 1449869 WITH SCORE 1452173.345
AT ITER 2877 NEW BEST:: SOT 4939804 SOS 2301441 HAS SOPS 2301441 HAS SOUS 1449294 HAS SOUPS 1449294 WITH SCORE 1451595.441
AT ITER 2880 NEW BEST:: SOT 4940407 SOS 2301049 HAS SOPS 2301049 HAS SOUS 1448196 HAS SOUPS 1448196 WITH SCORE 1450497.049
AT ITER 2882 NEW BEST:: SOT 4940407 SOS 2299918 HAS SOPS 2299918 HAS SOUS 1448103 HAS SOUPS 1448103 WITH SCORE 1450402.918
AT ITER 2890 NEW BEST:: SOT 4939096 SOS 2298305 HAS SOPS 2298305 HAS SOUS 1445695 HAS SOUPS 1445695 WITH SCORE 1447993.305
AT ITER 2912 NEW BEST:: SOT 4938948 SOS 2298045 HAS SOPS 2298045 HAS SOUS 1445670 HAS SOUPS 1445670 WITH SCORE 1447968.045
AT ITER 2914 NEW BEST:: SOT 4938921 SOS 2296373 HAS SOPS 2296373 HAS SOUS 1444927 HAS SOUPS 1444927 WITH SCORE 1447223.373
AT ITER 2930 NEW BEST:: SOT 4938839 SOS 2296291 HAS SOPS 2296291 HAS SOUS 1444845 HAS SOUPS 1444845 WITH SCORE 1447141.291
AT ITER 2935 NEW BEST:: SOT 4938839 SOS 2296291 HAS SOPS 2296291 HAS SOUS 1444844 HAS SOUPS 1444844 WITH SCORE 1447140.291
AT ITER 2944 NEW BEST:: SOT 4938604 SOS 2295821 HAS SOPS 2295821 HAS SOUS 1444597 HAS SOUPS 1444597 WITH SCORE 1446892.821
AT ITER 2946 NEW BEST:: SOT 4936556 SOS 2294957 HAS SOPS 2294957 HAS SOUS 1442825 HAS SOUPS 1442825 WITH SCORE 1445119.957
AT ITER 2956 NEW BEST:: SOT 4936447 SOS 2294848 HAS SOPS 2294848 HAS SOUS 1442375 HAS SOUPS 1442375 WITH SCORE 1444669.848
AT ITER 2979 NEW BEST:: SOT 4936559 SOS 2294960 HAS SOPS 2294960 HAS SOUS 1442160 HAS SOUPS 1442160 WITH SCORE 1444454.96
AT ITER 2980 NEW BEST:: SOT 4936555 SOS 2294960 HAS SOPS 2294960 HAS SOUS 1442156 HAS SOUPS 1442156 WITH SCORE 1444450.96
AT ITER 2982 NEW BEST:: SOT 4936555 SOS 2294828 HAS SOPS 2294828 HAS SOUS 1442120 HAS SOUPS 1442120 WITH SCORE 1444414.828
AT ITER 2989 NEW BEST:: SOT 4936555 SOS 2294557 HAS SOPS 2294557 HAS SOUS 1441849 HAS SOUPS 1441849 WITH SCORE 1444143.557
AT ITER 2990 NEW BEST:: SOT 4936279 SOS 2293587 HAS SOPS 2293587 HAS SOUS 1441697 HAS SOUPS 1441697 WITH SCORE 1443990.587
AT ITER 2998 NEW BEST:: SOT 4936302 SOS 2293367 HAS SOPS 2293367 HAS SOUS 1440585 HAS SOUPS 1440585 WITH SCORE 1442878.367
AT ITER 3001 NEW BEST:: SOT 4936183 SOS 2289385 HAS SOPS 2289385 HAS SOUS 1440466 HAS SOUPS 1440466 WITH SCORE 1442755.385
AT ITER 3006 NEW BEST:: SOT 4936071 SOS 2289217 HAS SOPS 2289217 HAS SOUS 1440334 HAS SOUPS 1440334 WITH SCORE 1442623.217
AT ITER 3008 NEW BEST:: SOT 4936071 SOS 2289212 HAS SOPS 2289212 HAS SOUS 1440329 HAS SOUPS 1440329 WITH SCORE 1442618.212
AT ITER 3018 NEW BEST:: SOT 4935946 SOS 2288488 HAS SOPS 2288488 HAS SOUS 1439605 HAS SOUPS 1439605 WITH SCORE 1441893.488
AT ITER 3033 NEW BEST:: SOT 4935946 SOS 2287975 HAS SOPS 2287975 HAS SOUS 1439092 HAS SOUPS 1439092 WITH SCORE 1441379.975
AT ITER 3034 NEW BEST:: SOT 4935946 SOS 2287975 HAS SOPS 2287975 HAS SOUS 1438648 HAS SOUPS 1438648 WITH SCORE 1440935.975
AT ITER 3047 NEW BEST:: SOT 4936054 SOS 2271766 HAS SOPS 2271766 HAS SOUS 1438127 HAS SOUPS 1438127 WITH SCORE 1440398.766
AT ITER 3049 NEW BEST:: SOT 4936054 SOS 2271726 HAS SOPS 2271726 HAS SOUS 1438127 HAS SOUPS 1438127 WITH SCORE 1440398.726
AT ITER 3061 NEW BEST:: SOT 4936095 SOS 2271780 HAS SOPS 2271780 HAS SOUS 1437961 HAS SOUPS 1437961 WITH SCORE 1440232.78
AT ITER 3062 NEW BEST:: SOT 4935888 SOS 2270766 HAS SOPS 2270766 HAS SOUS 1437547 HAS SOUPS 1437547 WITH SCORE 1439817.766
AT ITER 3063 NEW BEST:: SOT 4935894 SOS 2270778 HAS SOPS 2270778 HAS SOUS 1437519 HAS SOUPS 1437519 WITH SCORE 1439789.778
AT ITER 3078 NEW BEST:: SOT 4935894 SOS 2270778 HAS SOPS 2270778 HAS SOUS 1437324 HAS SOUPS 1437324 WITH SCORE 1439594.778
AT ITER 3090 NEW BEST:: SOT 4935894 SOS 2270606 HAS SOPS 2270606 HAS SOUS 1436969 HAS SOUPS 1436969 WITH SCORE 1439239.606
AT ITER 3095 NEW BEST:: SOT 4935576 SOS 2270077 HAS SOPS 2270077 HAS SOUS 1436440 HAS SOUPS 1436440 WITH SCORE 1438710.077
AT ITER 3098 NEW BEST:: SOT 4935521 SOS 2269967 HAS SOPS 2269967 HAS SOUS 1436330 HAS SOUPS 1436330 WITH SCORE 1438599.967
AT ITER 3103 NEW BEST:: SOT 4934970 SOS 2268865 HAS SOPS 2268865 HAS SOUS 1435540 HAS SOUPS 1435540 WITH SCORE 1437808.865
AT ITER 3106 NEW BEST:: SOT 4934891 SOS 2268786 HAS SOPS 2268786 HAS SOUS 1435461 HAS SOUPS 1435461 WITH SCORE 1437729.786
AT ITER 3110 NEW BEST:: SOT 4934267 SOS 2267620 HAS SOPS 2267620 HAS SOUS 1435100 HAS SOUPS 1435100 WITH SCORE 1437367.62
AT ITER 3111 NEW BEST:: SOT 4934163 SOS 2267919 HAS SOPS 2267919 HAS SOUS 1434996 HAS SOUPS 1434996 WITH SCORE 1437263.919
AT ITER 3117 NEW BEST:: SOT 4934065 SOS 2267821 HAS SOPS 2267821 HAS SOUS 1434898 HAS SOUPS 1434898 WITH SCORE 1437165.821
AT ITER 3124 NEW BEST:: SOT 4934183 SOS 2268579 HAS SOPS 2268579 HAS SOUS 1434629 HAS SOUPS 1434629 WITH SCORE 1436897.579
AT ITER 3138 NEW BEST:: SOT 4934726 SOS 2268613 HAS SOPS 2268613 HAS SOUS 1434120 HAS SOUPS 1434120 WITH SCORE 1436388.613
AT ITER 3140 NEW BEST:: SOT 4934726 SOS 2268613 HAS SOPS 2268613 HAS SOUS 1434024 HAS SOUPS 1434024 WITH SCORE 1436292.613
AT ITER 3145 NEW BEST:: SOT 4934298 SOS 2269351 HAS SOPS 2269351 HAS SOUS 1433774 HAS SOUPS 1433774 WITH SCORE 1436043.351
AT ITER 3156 NEW BEST:: SOT 4934085 SOS 2268712 HAS SOPS 2268712 HAS SOUS 1433348 HAS SOUPS 1433348 WITH SCORE 1435616.712
AT ITER 3159 NEW BEST:: SOT 4934085 SOS 2268560 HAS SOPS 2268560 HAS SOUS 1433347 HAS SOUPS 1433347 WITH SCORE 1435615.56
AT ITER 3165 NEW BEST:: SOT 4934085 SOS 2268560 HAS SOPS 2268560 HAS SOUS 1432167 HAS SOUPS 1432167 WITH SCORE 1434435.56
AT ITER 3166 NEW BEST:: SOT 4934053 SOS 2268496 HAS SOPS 2268496 HAS SOUS 1432103 HAS SOUPS 1432103 WITH SCORE 1434371.496
AT ITER 3167 NEW BEST:: SOT 4933126 SOS 2278306 HAS SOPS 2278306 HAS SOUS 1431875 HAS SOUPS 1431875 WITH SCORE 1434153.306
AT ITER 3180 NEW BEST:: SOT 4933126 SOS 2278197 HAS SOPS 2278197 HAS SOUS 1431875 HAS SOUPS 1431875 WITH SCORE 1434153.197
AT ITER 3183 NEW BEST:: SOT 4932752 SOS 2286524 HAS SOPS 2286524 HAS SOUS 1431501 HAS SOUPS 1431501 WITH SCORE 1433787.524
AT ITER 3190 NEW BEST:: SOT 4932752 SOS 2286420 HAS SOPS 2286420 HAS SOUS 1431397 HAS SOUPS 1431397 WITH SCORE 1433683.42
AT ITER 3193 NEW BEST:: SOT 4932030 SOS 2286958 HAS SOPS 2286958 HAS SOUS 1431240 HAS SOUPS 1431240 WITH SCORE 1433526.958
AT ITER 3195 NEW BEST:: SOT 4932034 SOS 2286909 HAS SOPS 2286909 HAS SOUS 1431153 HAS SOUPS 1431153 WITH SCORE 1433439.909
AT ITER 3203 NEW BEST:: SOT 4932020 SOS 2286895 HAS SOPS 2286895 HAS SOUS 1431125 HAS SOUPS 1431125 WITH SCORE 1433411.895
AT ITER 3208 NEW BEST:: SOT 4932020 SOS 2286753 HAS SOPS 2286753 HAS SOUS 1430983 HAS SOUPS 1430983 WITH SCORE 1433269.753
AT ITER 3212 NEW BEST:: SOT 4932020 SOS 2286348 HAS SOPS 2286348 HAS SOUS 1430578 HAS SOUPS 1430578 WITH SCORE 1432864.348
AT ITER 3221 NEW BEST:: SOT 4932002 SOS 2286330 HAS SOPS 2286330 HAS SOUS 1430560 HAS SOUPS 1430560 WITH SCORE 1432846.33
AT ITER 3224 NEW BEST:: SOT 4930291 SOS 2284328 HAS SOPS 2284328 HAS SOUS 1429214 HAS SOUPS 1429214 WITH SCORE 1431498.328
AT ITER 3228 NEW BEST:: SOT 4930120 SOS 2284207 HAS SOPS 2284207 HAS SOUS 1428968 HAS SOUPS 1428968 WITH SCORE 1431252.207
AT ITER 3233 NEW BEST:: SOT 4930176 SOS 2284196 HAS SOPS 2284196 HAS SOUS 1428834 HAS SOUPS 1428834 WITH SCORE 1431118.196
AT ITER 3262 NEW BEST:: SOT 4930176 SOS 2284044 HAS SOPS 2284044 HAS SOUS 1428794 HAS SOUPS 1428794 WITH SCORE 1431078.044
AT ITER 3264 NEW BEST:: SOT 4930139 SOS 2284180 HAS SOPS 2284180 HAS SOUS 1428754 HAS SOUPS 1428754 WITH SCORE 1431038.18
AT ITER 3270 NEW BEST:: SOT 4929747 SOS 2283788 HAS SOPS 2283788 HAS SOUS 1428754 HAS SOUPS 1428754 WITH SCORE 1431037.788
AT ITER 3273 NEW BEST:: SOT 4930216 SOS 2283763 HAS SOPS 2283763 HAS SOUS 1428425 HAS SOUPS 1428425 WITH SCORE 1430708.763
AT ITER 3289 NEW BEST:: SOT 4930216 SOS 2283763 HAS SOPS 2283763 HAS SOUS 1428394 HAS SOUPS 1428394 WITH SCORE 1430677.763
AT ITER 3292 NEW BEST:: SOT 4929035 SOS 2287953 HAS SOPS 2287953 HAS SOUS 1427465 HAS SOUPS 1427465 WITH SCORE 1429752.953
AT ITER 3307 NEW BEST:: SOT 4929045 SOS 2287844 HAS SOPS 2287844 HAS SOUS 1426610 HAS SOUPS 1426610 WITH SCORE 1428897.844
AT ITER 3311 NEW BEST:: SOT 4929045 SOS 2287844 HAS SOPS 2287844 HAS SOUS 1426558 HAS SOUPS 1426558 WITH SCORE 1428845.844
AT ITER 3316 NEW BEST:: SOT 4929115 SOS 2287655 HAS SOPS 2287655 HAS SOUS 1426382 HAS SOUPS 1426382 WITH SCORE 1428669.655
AT ITER 3317 NEW BEST:: SOT 4929106 SOS 2287116 HAS SOPS 2287116 HAS SOUS 1426150 HAS SOUPS 1426150 WITH SCORE 1428437.116
AT ITER 3327 NEW BEST:: SOT 4929075 SOS 2287085 HAS SOPS 2287085 HAS SOUS 1426088 HAS SOUPS 1426088 WITH SCORE 1428375.085
AT ITER 3332 NEW BEST:: SOT 4929075 SOS 2287023 HAS SOPS 2287023 HAS SOUS 1426057 HAS SOUPS 1426057 WITH SCORE 1428344.023
AT ITER 3337 NEW BEST:: SOT 4928349 SOS 2285571 HAS SOPS 2285571 HAS SOUS 1425842 HAS SOUPS 1425842 WITH SCORE 1428127.571
AT ITER 3355 NEW BEST:: SOT 4926919 SOS 2282711 HAS SOPS 2282711 HAS SOUS 1422661 HAS SOUPS 1422661 WITH SCORE 1424943.711
AT ITER 3357 NEW BEST:: SOT 4926919 SOS 2282501 HAS SOPS 2282501 HAS SOUS 1422634 HAS SOUPS 1422634 WITH SCORE 1424916.501
AT ITER 3359 NEW BEST:: SOT 4926919 SOS 2281592 HAS SOPS 2281592 HAS SOUS 1421775 HAS SOUPS 1421775 WITH SCORE 1424056.592
AT ITER 3362 NEW BEST:: SOT 4926892 SOS 2280863 HAS SOPS 2280863 HAS SOUS 1421748 HAS SOUPS 1421748 WITH SCORE 1424028.863
AT ITER 3366 NEW BEST:: SOT 4926892 SOS 2280802 HAS SOPS 2280802 HAS SOUS 1421687 HAS SOUPS 1421687 WITH SCORE 1423967.802
AT ITER 3368 NEW BEST:: SOT 4926670 SOS 2279445 HAS SOPS 2279445 HAS SOUS 1421194 HAS SOUPS 1421194 WITH SCORE 1423473.445
AT ITER 3369 NEW BEST:: SOT 4926670 SOS 2279226 HAS SOPS 2279226 HAS SOUS 1420975 HAS SOUPS 1420975 WITH SCORE 1423254.226
AT ITER 3372 NEW BEST:: SOT 4927151 SOS 2278822 HAS SOPS 2278822 HAS SOUS 1420948 HAS SOUPS 1420948 WITH SCORE 1423226.822
AT ITER 3377 NEW BEST:: SOT 4926663 SOS 2277846 HAS SOPS 2277846 HAS SOUS 1419972 HAS SOUPS 1419972 WITH SCORE 1422249.846
AT ITER 3384 NEW BEST:: SOT 4926663 SOS 2277527 HAS SOPS 2277527 HAS SOUS 1419653 HAS SOUPS 1419653 WITH SCORE 1421930.527
AT ITER 3393 NEW BEST:: SOT 4926429 SOS 2277518 HAS SOPS 2277518 HAS SOUS 1419419 HAS SOUPS 1419419 WITH SCORE 1421696.518
AT ITER 3394 NEW BEST:: SOT 4926429 SOS 2277518 HAS SOPS 2277518 HAS SOUS 1419010 HAS SOUPS 1419010 WITH SCORE 1421287.518
AT ITER 3397 NEW BEST:: SOT 4926855 SOS 2279857 HAS SOPS 2279857 HAS SOUS 1418660 HAS SOUPS 1418660 WITH SCORE 1420939.857
AT ITER 3403 NEW BEST:: SOT 4926472 SOS 2279091 HAS SOPS 2279091 HAS SOUS 1417894 HAS SOUPS 1417894 WITH SCORE 1420173.091
AT ITER 3408 NEW BEST:: SOT 4926182 SOS 2277280 HAS SOPS 2277280 HAS SOUS 1417459 HAS SOUPS 1417459 WITH SCORE 1419736.28
AT ITER 3423 NEW BEST:: SOT 4926330 SOS 2277269 HAS SOPS 2277269 HAS SOUS 1417300 HAS SOUPS 1417300 WITH SCORE 1419577.269
AT ITER 3424 NEW BEST:: SOT 4925789 SOS 2276302 HAS SOPS 2276302 HAS SOUS 1416422 HAS SOUPS 1416422 WITH SCORE 1418698.302
AT ITER 3437 NEW BEST:: SOT 4925789 SOS 2276540 HAS SOPS 2276540 HAS SOUS 1416393 HAS SOUPS 1416393 WITH SCORE 1418669.54
AT ITER 3442 NEW BEST:: SOT 4925727 SOS 2276356 HAS SOPS 2276356 HAS SOUS 1416269 HAS SOUPS 1416269 WITH SCORE 1418545.356
AT ITER 3462 NEW BEST:: SOT 4925890 SOS 2276094 HAS SOPS 2276094 HAS SOUS 1415843 HAS SOUPS 1415843 WITH SCORE 1418119.094
AT ITER 3463 NEW BEST:: SOT 4925045 SOS 2272872 HAS SOPS 2272872 HAS SOUS 1414375 HAS SOUPS 1414375 WITH SCORE 1416647.872
AT ITER 3466 NEW BEST:: SOT 4925436 SOS 2271190 HAS SOPS 2271190 HAS SOUS 1413925 HAS SOUPS 1413925 WITH SCORE 1416196.19
AT ITER 3478 NEW BEST:: SOT 4926171 SOS 2271692 HAS SOPS 2271692 HAS SOUS 1413691 HAS SOUPS 1413691 WITH SCORE 1415962.692
AT ITER 3492 NEW BEST:: SOT 4926262 SOS 2271595 HAS SOPS 2271595 HAS SOUS 1412860 HAS SOUPS 1412860 WITH SCORE 1415131.595
AT ITER 3503 NEW BEST:: SOT 4926197 SOS 2271205 HAS SOPS 2271205 HAS SOUS 1412730 HAS SOUPS 1412730 WITH SCORE 1415001.205
AT ITER 3505 NEW BEST:: SOT 4926197 SOS 2271183 HAS SOPS 2271183 HAS SOUS 1412249 HAS SOUPS 1412249 WITH SCORE 1414520.183
AT ITER 3511 NEW BEST:: SOT 4926742 SOS 2271662 HAS SOPS 2271662 HAS SOUS 1412183 HAS SOUPS 1412183 WITH SCORE 1414454.662
AT ITER 3515 NEW BEST:: SOT 4925739 SOS 2267823 HAS SOPS 2267823 HAS SOUS 1410350 HAS SOUPS 1410350 WITH SCORE 1412617.823
AT ITER 3520 NEW BEST:: SOT 4925472 SOS 2267143 HAS SOPS 2267143 HAS SOUS 1409937 HAS SOUPS 1409937 WITH SCORE 1412204.143
AT ITER 3523 NEW BEST:: SOT 4925426 SOS 2267051 HAS SOPS 2267051 HAS SOUS 1409891 HAS SOUPS 1409891 WITH SCORE 1412158.051
AT ITER 3524 NEW BEST:: SOT 4925420 SOS 2267027 HAS SOPS 2267027 HAS SOUS 1409879 HAS SOUPS 1409879 WITH SCORE 1412146.027
AT ITER 3530 NEW BEST:: SOT 4925517 SOS 2266519 HAS SOPS 2266519 HAS SOUS 1409673 HAS SOUPS 1409673 WITH SCORE 1411939.519
AT ITER 3545 NEW BEST:: SOT 4925855 SOS 2265816 HAS SOPS 2265816 HAS SOUS 1409540 HAS SOUPS 1409540 WITH SCORE 1411805.816
AT ITER 3559 NEW BEST:: SOT 4926433 SOS 2264547 HAS SOPS 2264547 HAS SOUS 1409533 HAS SOUPS 1409533 WITH SCORE 1411797.547
AT ITER 3562 NEW BEST:: SOT 4926374 SOS 2264429 HAS SOPS 2264429 HAS SOUS 1409474 HAS SOUPS 1409474 WITH SCORE 1411738.429
AT ITER 3563 NEW BEST:: SOT 4926374 SOS 2264329 HAS SOPS 2264329 HAS SOUS 1408699 HAS SOUPS 1408699 WITH SCORE 1410963.329
AT ITER 3566 NEW BEST:: SOT 4926710 SOS 2265001 HAS SOPS 2265001 HAS SOUS 1408625 HAS SOUPS 1408625 WITH SCORE 1410890.001
AT ITER 3580 NEW BEST:: SOT 4926747 SOS 2264806 HAS SOPS 2264806 HAS SOUS 1408589 HAS SOUPS 1408589 WITH SCORE 1410853.806
AT ITER 3586 NEW BEST:: SOT 4926747 SOS 2264795 HAS SOPS 2264795 HAS SOUS 1408578 HAS SOUPS 1408578 WITH SCORE 1410842.795
AT ITER 3607 NEW BEST:: SOT 4926395 SOS 2264091 HAS SOPS 2264091 HAS SOUS 1407874 HAS SOUPS 1407874 WITH SCORE 1410138.091
AT ITER 3609 NEW BEST:: SOT 4926773 SOS 2264847 HAS SOPS 2264847 HAS SOUS 1407857 HAS SOUPS 1407857 WITH SCORE 1410121.847
AT ITER 3611 NEW BEST:: SOT 4926102 SOS 2264401 HAS SOPS 2264401 HAS SOUS 1407186 HAS SOUPS 1407186 WITH SCORE 1409450.401
AT ITER 3616 NEW BEST:: SOT 4926102 SOS 2264395 HAS SOPS 2264395 HAS SOUS 1407180 HAS SOUPS 1407180 WITH SCORE 1409444.395
AT ITER 3617 NEW BEST:: SOT 4926071 SOS 2264364 HAS SOPS 2264364 HAS SOUS 1407118 HAS SOUPS 1407118 WITH SCORE 1409382.364
AT ITER 3625 NEW BEST:: SOT 4925799 SOS 2265003 HAS SOPS 2265003 HAS SOUS 1406897 HAS SOUPS 1406897 WITH SCORE 1409162.003
AT ITER 3632 NEW BEST:: SOT 4925762 SOS 2264966 HAS SOPS 2264966 HAS SOUS 1406860 HAS SOUPS 1406860 WITH SCORE 1409124.966
AT ITER 3654 NEW BEST:: SOT 4925334 SOS 2264110 HAS SOPS 2264110 HAS SOUS 1406566 HAS SOUPS 1406566 WITH SCORE 1408830.11
AT ITER 3658 NEW BEST:: SOT 4925185 SOS 2263812 HAS SOPS 2263812 HAS SOUS 1406268 HAS SOUPS 1406268 WITH SCORE 1408531.812
AT ITER 3672 NEW BEST:: SOT 4925185 SOS 2263645 HAS SOPS 2263645 HAS SOUS 1405518 HAS SOUPS 1405518 WITH SCORE 1407781.645
AT ITER 3684 NEW BEST:: SOT 4925094 SOS 2266401 HAS SOPS 2266401 HAS SOUS 1405336 HAS SOUPS 1405336 WITH SCORE 1407602.401
AT ITER 3687 NEW BEST:: SOT 4924990 SOS 2265690 HAS SOPS 2265690 HAS SOUS 1404729 HAS SOUPS 1404729 WITH SCORE 1406994.69
AT ITER 3688 NEW BEST:: SOT 4924898 SOS 2265491 HAS SOPS 2265491 HAS SOUS 1404545 HAS SOUPS 1404545 WITH SCORE 1406810.491
AT ITER 3689 NEW BEST:: SOT 4924562 SOS 2264956 HAS SOPS 2264956 HAS SOUS 1404409 HAS SOUPS 1404409 WITH SCORE 1406673.956
AT ITER 3691 NEW BEST:: SOT 4924174 SOS 2264180 HAS SOPS 2264180 HAS SOUS 1404021 HAS SOUPS 1404021 WITH SCORE 1406285.18
AT ITER 3692 NEW BEST:: SOT 4924174 SOS 2263900 HAS SOPS 2263900 HAS SOUS 1404017 HAS SOUPS 1404017 WITH SCORE 1406280.9
AT ITER 3709 NEW BEST:: SOT 4923593 SOS 2261525 HAS SOPS 2261525 HAS SOUS 1402223 HAS SOUPS 1402223 WITH SCORE 1404484.525
AT ITER 3712 NEW BEST:: SOT 4922819 SOS 2259190 HAS SOPS 2259190 HAS SOUS 1401449 HAS SOUPS 1401449 WITH SCORE 1403708.19
AT ITER 3713 NEW BEST:: SOT 4922796 SOS 2259144 HAS SOPS 2259144 HAS SOUS 1401053 HAS SOUPS 1401053 WITH SCORE 1403312.144
AT ITER 3722 NEW BEST:: SOT 4922674 SOS 2259018 HAS SOPS 2259018 HAS SOUS 1401049 HAS SOUPS 1401049 WITH SCORE 1403308.018
AT ITER 3737 NEW BEST:: SOT 4922559 SOS 2260108 HAS SOPS 2260108 HAS SOUS 1400334 HAS SOUPS 1400334 WITH SCORE 1402594.108
AT ITER 3738 NEW BEST:: SOT 4922559 SOS 2260108 HAS SOPS 2260108 HAS SOUS 1400242 HAS SOUPS 1400242 WITH SCORE 1402502.108
AT ITER 3741 NEW BEST:: SOT 4922349 SOS 2259688 HAS SOPS 2259688 HAS SOUS 1400032 HAS SOUPS 1400032 WITH SCORE 1402291.688
AT ITER 3750 NEW BEST:: SOT 4921710 SOS 2258410 HAS SOPS 2258410 HAS SOUS 1399306 HAS SOUPS 1399306 WITH SCORE 1401564.41
AT ITER 3751 NEW BEST:: SOT 4921284 SOS 2257671 HAS SOPS 2257671 HAS SOUS 1398993 HAS SOUPS 1398993 WITH SCORE 1401250.671
AT ITER 3758 NEW BEST:: SOT 4920976 SOS 2256628 HAS SOPS 2256628 HAS SOUS 1398017 HAS SOUPS 1398017 WITH SCORE 1400273.628
AT ITER 3759 NEW BEST:: SOT 4920872 SOS 2256507 HAS SOPS 2256507 HAS SOUS 1397896 HAS SOUPS 1397896 WITH SCORE 1400152.507
AT ITER 3760 NEW BEST:: SOT 4920872 SOS 2256154 HAS SOPS 2256154 HAS SOUS 1397543 HAS SOUPS 1397543 WITH SCORE 1399799.154
AT ITER 3775 NEW BEST:: SOT 4920600 SOS 2255338 HAS SOPS 2255338 HAS SOUS 1396999 HAS SOUPS 1396999 WITH SCORE 1399254.338
AT ITER 3776 NEW BEST:: SOT 4920507 SOS 2255152 HAS SOPS 2255152 HAS SOUS 1396906 HAS SOUPS 1396906 WITH SCORE 1399161.152
AT ITER 3778 NEW BEST:: SOT 4920239 SOS 2254348 HAS SOPS 2254348 HAS SOUS 1396638 HAS SOUPS 1396638 WITH SCORE 1398892.348
AT ITER 3789 NEW BEST:: SOT 4920239 SOS 2254245 HAS SOPS 2254245 HAS SOUS 1396006 HAS SOUPS 1396006 WITH SCORE 1398260.245
AT ITER 3794 NEW BEST:: SOT 4920239 SOS 2254150 HAS SOPS 2254150 HAS SOUS 1395911 HAS SOUPS 1395911 WITH SCORE 1398165.15
AT ITER 3804 NEW BEST:: SOT 4920239 SOS 2254150 HAS SOPS 2254150 HAS SOUS 1395562 HAS SOUPS 1395562 WITH SCORE 1397816.15
AT ITER 3806 NEW BEST:: SOT 4920239 SOS 2253576 HAS SOPS 2253576 HAS SOUS 1395140 HAS SOUPS 1395140 WITH SCORE 1397393.576
AT ITER 3807 NEW BEST:: SOT 4920239 SOS 2248517 HAS SOPS 2248517 HAS SOUS 1395140 HAS SOUPS 1395140 WITH SCORE 1397388.517
AT ITER 3808 NEW BEST:: SOT 4920239 SOS 2248753 HAS SOPS 2248753 HAS SOUS 1394873 HAS SOUPS 1394873 WITH SCORE 1397121.753
AT ITER 3812 NEW BEST:: SOT 4920239 SOS 2248540 HAS SOPS 2248540 HAS SOUS 1394335 HAS SOUPS 1394335 WITH SCORE 1396583.54
AT ITER 3813 NEW BEST:: SOT 4920411 SOS 2248884 HAS SOPS 2248884 HAS SOUS 1394245 HAS SOUPS 1394245 WITH SCORE 1396493.884
AT ITER 3818 NEW BEST:: SOT 4919889 SOS 2247840 HAS SOPS 2247840 HAS SOUS 1393564 HAS SOUPS 1393564 WITH SCORE 1395811.84
AT ITER 3819 NEW BEST:: SOT 4919785 SOS 2247172 HAS SOPS 2247172 HAS SOUS 1393460 HAS SOUPS 1393460 WITH SCORE 1395707.172
AT ITER 3824 NEW BEST:: SOT 4919072 SOS 2246216 HAS SOPS 2246216 HAS SOUS 1392990 HAS SOUPS 1392990 WITH SCORE 1395236.216
AT ITER 3831 NEW BEST:: SOT 4918972 SOS 2245460 HAS SOPS 2245460 HAS SOUS 1392612 HAS SOUPS 1392612 WITH SCORE 1394857.46
AT ITER 3836 NEW BEST:: SOT 4918812 SOS 2245300 HAS SOPS 2245300 HAS SOUS 1392452 HAS SOUPS 1392452 WITH SCORE 1394697.3
AT ITER 3839 NEW BEST:: SOT 4917775 SOS 2244227 HAS SOPS 2244227 HAS SOUS 1392148 HAS SOUPS 1392148 WITH SCORE 1394392.227
AT ITER 3847 NEW BEST:: SOT 4917775 SOS 2244227 HAS SOPS 2244227 HAS SOUS 1391581 HAS SOUPS 1391581 WITH SCORE 1393825.227
AT ITER 3851 NEW BEST:: SOT 4916462 SOS 2262249 HAS SOPS 2262249 HAS SOUS 1391280 HAS SOUPS 1391280 WITH SCORE 1393542.249
AT ITER 3854 NEW BEST:: SOT 4916462 SOS 2261767 HAS SOPS 2261767 HAS SOUS 1391280 HAS SOUPS 1391280 WITH SCORE 1393541.767
AT ITER 3855 NEW BEST:: SOT 4916462 SOS 2261703 HAS SOPS 2261703 HAS SOUS 1391280 HAS SOUPS 1391280 WITH SCORE 1393541.703
AT ITER 3869 NEW BEST:: SOT 4916430 SOS 2261392 HAS SOPS 2261392 HAS SOUS 1390690 HAS SOUPS 1390690 WITH SCORE 1392951.392
AT ITER 3872 NEW BEST:: SOT 4916430 SOS 2258682 HAS SOPS 2258682 HAS SOUS 1390690 HAS SOUPS 1390690 WITH SCORE 1392948.682
AT ITER 3883 NEW BEST:: SOT 4916573 SOS 2258567 HAS SOPS 2258567 HAS SOUS 1390432 HAS SOUPS 1390432 WITH SCORE 1392690.567
AT ITER 3890 NEW BEST:: SOT 4916573 SOS 2258512 HAS SOPS 2258512 HAS SOUS 1390432 HAS SOUPS 1390432 WITH SCORE 1392690.512
AT ITER 3895 NEW BEST:: SOT 4916352 SOS 2257055 HAS SOPS 2257055 HAS SOUS 1389486 HAS SOUPS 1389486 WITH SCORE 1391743.055
AT ITER 3912 NEW BEST:: SOT 4916404 SOS 2256307 HAS SOPS 2256307 HAS SOUS 1388738 HAS SOUPS 1388738 WITH SCORE 1390994.307
AT ITER 3920 NEW BEST:: SOT 4916404 SOS 2256306 HAS SOPS 2256306 HAS SOUS 1388737 HAS SOUPS 1388737 WITH SCORE 1390993.306
AT ITER 3934 NEW BEST:: SOT 4916404 SOS 2256740 HAS SOPS 2256740 HAS SOUS 1388608 HAS SOUPS 1388608 WITH SCORE 1390864.74
AT ITER 3935 NEW BEST:: SOT 4916020 SOS 2255383 HAS SOPS 2255383 HAS SOUS 1388150 HAS SOUPS 1388150 WITH SCORE 1390405.383
AT ITER 3936 NEW BEST:: SOT 4915823 SOS 2254989 HAS SOPS 2254989 HAS SOUS 1388127 HAS SOUPS 1388127 WITH SCORE 1390381.989
AT ITER 3944 NEW BEST:: SOT 4834488 SOS 2637464 HAS SOPS 2637464 HAS SOUS 1321789 HAS SOUPS 1321789 WITH SCORE 1324426.464
AT ITER 3949 NEW BEST:: SOT 4834176 SOS 2636528 HAS SOPS 2636528 HAS SOUS 1321477 HAS SOUPS 1321477 WITH SCORE 1324113.528
AT ITER 3951 NEW BEST:: SOT 4834176 SOS 2636528 HAS SOPS 2636528 HAS SOUS 1321339 HAS SOUPS 1321339 WITH SCORE 1323975.528
AT ITER 3958 NEW BEST:: SOT 4834207 SOS 2633614 HAS SOPS 2633614 HAS SOUS 1320601 HAS SOUPS 1320601 WITH SCORE 1323234.614
AT ITER 3986 NEW BEST:: SOT 4834238 SOS 2634596 HAS SOPS 2634596 HAS SOUS 1320359 HAS SOUPS 1320359 WITH SCORE 1322993.596
AT ITER 3989 NEW BEST:: SOT 4833955 SOS 2634313 HAS SOPS 2634313 HAS SOUS 1320076 HAS SOUPS 1320076 WITH SCORE 1322710.313
AT ITER 3992 NEW BEST:: SOT 4832615 SOS 2632973 HAS SOPS 2632973 HAS SOUS 1319943 HAS SOUPS 1319943 WITH SCORE 1322575.973
AT ITER 3998 NEW BEST:: SOT 4832396 SOS 2629775 HAS SOPS 2629775 HAS SOUS 1319580 HAS SOUPS 1319580 WITH SCORE 1322209.775
AT ITER 4002 NEW BEST:: SOT 4832051 SOS 2628893 HAS SOPS 2628893 HAS SOUS 1319090 HAS SOUPS 1319090 WITH SCORE 1321718.893
AT ITER 4008 NEW BEST:: SOT 4831918 SOS 2628760 HAS SOPS 2628760 HAS SOUS 1318957 HAS SOUPS 1318957 WITH SCORE 1321585.76
AT ITER 4017 NEW BEST:: SOT 4831285 SOS 2628683 HAS SOPS 2628683 HAS SOUS 1318771 HAS SOUPS 1318771 WITH SCORE 1321399.683
AT ITER 4022 NEW BEST:: SOT 4830163 SOS 2627670 HAS SOPS 2627670 HAS SOUS 1317993 HAS SOUPS 1317993 WITH SCORE 1320620.67
AT ITER 4030 NEW BEST:: SOT 4829845 SOS 2627185 HAS SOPS 2627185 HAS SOUS 1317450 HAS SOUPS 1317450 WITH SCORE 1320077.185
AT ITER 4033 NEW BEST:: SOT 4829812 SOS 2626741 HAS SOPS 2626741 HAS SOUS 1317413 HAS SOUPS 1317413 WITH SCORE 1320039.741
AT ITER 4042 NEW BEST:: SOT 4829467 SOS 2625361 HAS SOPS 2625361 HAS SOUS 1316758 HAS SOUPS 1316758 WITH SCORE 1319383.361
AT ITER 4048 NEW BEST:: SOT 4829467 SOS 2625361 HAS SOPS 2625361 HAS SOUS 1315924 HAS SOUPS 1315924 WITH SCORE 1318549.361
AT ITER 4055 NEW BEST:: SOT 4829323 SOS 2625217 HAS SOPS 2625217 HAS SOUS 1315924 HAS SOUPS 1315924 WITH SCORE 1318549.217
AT ITER 4062 NEW BEST:: SOT 4829323 SOS 2624749 HAS SOPS 2624749 HAS SOUS 1315456 HAS SOUPS 1315456 WITH SCORE 1318080.749
AT ITER 4063 NEW BEST:: SOT 4829102 SOS 2624203 HAS SOPS 2624203 HAS SOUS 1314910 HAS SOUPS 1314910 WITH SCORE 1317534.203
AT ITER 4064 NEW BEST:: SOT 4828531 SOS 2623061 HAS SOPS 2623061 HAS SOUS 1314612 HAS SOUPS 1314612 WITH SCORE 1317235.061
AT ITER 4065 NEW BEST:: SOT 4828081 SOS 2621605 HAS SOPS 2621605 HAS SOUS 1313712 HAS SOUPS 1313712 WITH SCORE 1316333.605
AT ITER 4068 NEW BEST:: SOT 4828809 SOS 2621454 HAS SOPS 2621454 HAS SOUS 1313483 HAS SOUPS 1313483 WITH SCORE 1316104.454
AT ITER 4071 NEW BEST:: SOT 4828793 SOS 2621438 HAS SOPS 2621438 HAS SOUS 1313467 HAS SOUPS 1313467 WITH SCORE 1316088.438
AT ITER 4074 NEW BEST:: SOT 4827444 SOS 2620474 HAS SOPS 2620474 HAS SOUS 1312351 HAS SOUPS 1312351 WITH SCORE 1314971.474
AT ITER 4075 NEW BEST:: SOT 4826773 SOS 2619576 HAS SOPS 2619576 HAS SOUS 1311679 HAS SOUPS 1311679 WITH SCORE 1314298.576
AT ITER 4082 NEW BEST:: SOT 4826297 SOS 2618624 HAS SOPS 2618624 HAS SOUS 1310711 HAS SOUPS 1310711 WITH SCORE 1313329.624
AT ITER 4089 NEW BEST:: SOT 4825696 SOS 2617422 HAS SOPS 2617422 HAS SOUS 1309916 HAS SOUPS 1309916 WITH SCORE 1312533.422
AT ITER 4100 NEW BEST:: SOT 4825568 SOS 2617047 HAS SOPS 2617047 HAS SOUS 1309291 HAS SOUPS 1309291 WITH SCORE 1311908.047
AT ITER 4107 NEW BEST:: SOT 4825604 SOS 2617083 HAS SOPS 2617083 HAS SOUS 1309281 HAS SOUPS 1309281 WITH SCORE 1311898.083
AT ITER 4108 NEW BEST:: SOT 4825448 SOS 2616771 HAS SOPS 2616771 HAS SOUS 1309125 HAS SOUPS 1309125 WITH SCORE 1311741.771
AT ITER 4109 NEW BEST:: SOT 4825366 SOS 2616048 HAS SOPS 2616048 HAS SOUS 1309043 HAS SOUPS 1309043 WITH SCORE 1311659.048
AT ITER 4114 NEW BEST:: SOT 4825373 SOS 2616055 HAS SOPS 2616055 HAS SOUS 1309012 HAS SOUPS 1309012 WITH SCORE 1311628.055
AT ITER 4117 NEW BEST:: SOT 4825103 SOS 2615785 HAS SOPS 2615785 HAS SOUS 1308735 HAS SOUPS 1308735 WITH SCORE 1311350.785
AT ITER 4121 NEW BEST:: SOT 4824829 SOS 2615356 HAS SOPS 2615356 HAS SOUS 1308306 HAS SOUPS 1308306 WITH SCORE 1310921.356
AT ITER 4124 NEW BEST:: SOT 4824769 SOS 2615022 HAS SOPS 2615022 HAS SOUS 1308032 HAS SOUPS 1308032 WITH SCORE 1310647.022
AT ITER 4133 NEW BEST:: SOT 4824504 SOS 2614757 HAS SOPS 2614757 HAS SOUS 1307767 HAS SOUPS 1307767 WITH SCORE 1310381.757
AT ITER 4142 NEW BEST:: SOT 4824504 SOS 2613733 HAS SOPS 2613733 HAS SOUS 1307572 HAS SOUPS 1307572 WITH SCORE 1310185.733
AT ITER 4148 NEW BEST:: SOT 4824241 SOS 2613208 HAS SOPS 2613208 HAS SOUS 1307309 HAS SOUPS 1307309 WITH SCORE 1309922.208
AT ITER 4153 NEW BEST:: SOT 4824241 SOS 2613590 HAS SOPS 2613590 HAS SOUS 1306927 HAS SOUPS 1306927 WITH SCORE 1309540.59
AT ITER 4154 NEW BEST:: SOT 4824130 SOS 2613479 HAS SOPS 2613479 HAS SOUS 1306897 HAS SOUPS 1306897 WITH SCORE 1309510.479
AT ITER 4156 NEW BEST:: SOT 4824130 SOS 2613626 HAS SOPS 2613626 HAS SOUS 1306596 HAS SOUPS 1306596 WITH SCORE 1309209.626
AT ITER 4164 NEW BEST:: SOT 4823837 SOS 2613333 HAS SOPS 2613333 HAS SOUS 1306303 HAS SOUPS 1306303 WITH SCORE 1308916.333
AT ITER 4174 NEW BEST:: SOT 4823608 SOS 2600833 HAS SOPS 2600833 HAS SOUS 1305782 HAS SOUPS 1305782 WITH SCORE 1308382.833
AT ITER 4175 NEW BEST:: SOT 4824058 SOS 2601195 HAS SOPS 2601195 HAS SOUS 1305564 HAS SOUPS 1305564 WITH SCORE 1308165.195
AT ITER 4179 NEW BEST:: SOT 4824058 SOS 2601086 HAS SOPS 2601086 HAS SOUS 1305346 HAS SOUPS 1305346 WITH SCORE 1307947.086
AT ITER 4185 NEW BEST:: SOT 4823891 SOS 2600449 HAS SOPS 2600449 HAS SOUS 1304876 HAS SOUPS 1304876 WITH SCORE 1307476.449
AT ITER 4194 NEW BEST:: SOT 4823891 SOS 2600449 HAS SOPS 2600449 HAS SOUS 1304403 HAS SOUPS 1304403 WITH SCORE 1307003.449
AT ITER 4196 NEW BEST:: SOT 4813922 SOS 2591186 HAS SOPS 2591186 HAS SOUS 1294434 HAS SOUPS 1294434 WITH SCORE 1297025.186
AT ITER 4199 NEW BEST:: SOT 4813689 SOS 2590859 HAS SOPS 2590859 HAS SOUS 1293925 HAS SOUPS 1293925 WITH SCORE 1296515.859
AT ITER 4200 NEW BEST:: SOT 4813227 SOS 2591050 HAS SOPS 2591050 HAS SOUS 1293843 HAS SOUPS 1293843 WITH SCORE 1296434.05
AT ITER 4206 NEW BEST:: SOT 4813186 SOS 2590748 HAS SOPS 2590748 HAS SOUS 1293761 HAS SOUPS 1293761 WITH SCORE 1296351.748
AT ITER 4208 NEW BEST:: SOT 4813627 SOS 2591189 HAS SOPS 2591189 HAS SOUS 1293548 HAS SOUPS 1293548 WITH SCORE 1296139.189
AT ITER 4210 NEW BEST:: SOT 4813953 SOS 2591090 HAS SOPS 2591090 HAS SOUS 1293449 HAS SOUPS 1293449 WITH SCORE 1296040.09
AT ITER 4222 NEW BEST:: SOT 4813165 SOS 2590302 HAS SOPS 2590302 HAS SOUS 1292709 HAS SOUPS 1292709 WITH SCORE 1295299.302
AT ITER 4223 NEW BEST:: SOT 4813258 SOS 2590401 HAS SOPS 2590401 HAS SOUS 1292638 HAS SOUPS 1292638 WITH SCORE 1295228.401
AT ITER 4224 NEW BEST:: SOT 4812993 SOS 2589439 HAS SOPS 2589439 HAS SOUS 1292373 HAS SOUPS 1292373 WITH SCORE 1294962.439
AT ITER 4227 NEW BEST:: SOT 4812993 SOS 2589439 HAS SOPS 2589439 HAS SOUS 1292108 HAS SOUPS 1292108 WITH SCORE 1294697.439
AT ITER 4232 NEW BEST:: SOT 4812991 SOS 2589435 HAS SOPS 2589435 HAS SOUS 1291656 HAS SOUPS 1291656 WITH SCORE 1294245.435
AT ITER 4234 NEW BEST:: SOT 4811371 SOS 2587895 HAS SOPS 2587895 HAS SOUS 1291278 HAS SOUPS 1291278 WITH SCORE 1293865.895
AT ITER 4235 NEW BEST:: SOT 4811011 SOS 2587446 HAS SOPS 2587446 HAS SOUS 1291242 HAS SOUPS 1291242 WITH SCORE 1293829.446
AT ITER 4238 NEW BEST:: SOT 4811011 SOS 2587183 HAS SOPS 2587183 HAS SOUS 1290979 HAS SOUPS 1290979 WITH SCORE 1293566.183
AT ITER 4241 NEW BEST:: SOT 4811767 SOS 2586464 HAS SOPS 2586464 HAS SOUS 1290276 HAS SOUPS 1290276 WITH SCORE 1292862.464
AT ITER 4247 NEW BEST:: SOT 4811696 SOS 2586393 HAS SOPS 2586393 HAS SOUS 1290205 HAS SOUPS 1290205 WITH SCORE 1292791.393
AT ITER 4255 NEW BEST:: SOT 4811406 SOS 2586103 HAS SOPS 2586103 HAS SOUS 1290203 HAS SOUPS 1290203 WITH SCORE 1292789.103
AT ITER 4256 NEW BEST:: SOT 4811406 SOS 2586103 HAS SOPS 2586103 HAS SOUS 1290126 HAS SOUPS 1290126 WITH SCORE 1292712.103
AT ITER 4258 NEW BEST:: SOT 4810970 SOS 2585547 HAS SOPS 2585547 HAS SOUS 1289690 HAS SOUPS 1289690 WITH SCORE 1292275.547
AT ITER 4259 NEW BEST:: SOT 4810932 SOS 2585509 HAS SOPS 2585509 HAS SOUS 1289652 HAS SOUPS 1289652 WITH SCORE 1292237.509
AT ITER 4260 NEW BEST:: SOT 4810932 SOS 2585396 HAS SOPS 2585396 HAS SOUS 1289539 HAS SOUPS 1289539 WITH SCORE 1292124.396
AT ITER 4272 NEW BEST:: SOT 4811160 SOS 2585293 HAS SOPS 2585293 HAS SOUS 1289436 HAS SOUPS 1289436 WITH SCORE 1292021.293
AT ITER 4274 NEW BEST:: SOT 4810776 SOS 2584909 HAS SOPS 2584909 HAS SOUS 1289435 HAS SOUPS 1289435 WITH SCORE 1292019.909
AT ITER 4283 NEW BEST:: SOT 4810142 SOS 2582122 HAS SOPS 2582122 HAS SOUS 1289253 HAS SOUPS 1289253 WITH SCORE 1291835.122
AT ITER 4284 NEW BEST:: SOT 4811037 SOS 2583052 HAS SOPS 2583052 HAS SOUS 1289140 HAS SOUPS 1289140 WITH SCORE 1291723.052
AT ITER 4287 NEW BEST:: SOT 4811147 SOS 2583272 HAS SOPS 2583272 HAS SOUS 1288746 HAS SOUPS 1288746 WITH SCORE 1291329.272
AT ITER 4289 NEW BEST:: SOT 4807743 SOS 2592709 HAS SOPS 2592709 HAS SOUS 1286572 HAS SOUPS 1286572 WITH SCORE 1289164.709
AT ITER 4292 NEW BEST:: SOT 4807743 SOS 2591941 HAS SOPS 2591941 HAS SOUS 1285694 HAS SOUPS 1285694 WITH SCORE 1288285.941
AT ITER 4293 NEW BEST:: SOT 4806389 SOS 2590587 HAS SOPS 2590587 HAS SOUS 1284340 HAS SOUPS 1284340 WITH SCORE 1286930.587
AT ITER 4294 NEW BEST:: SOT 4806006 SOS 2590204 HAS SOPS 2590204 HAS SOUS 1283957 HAS SOUPS 1283957 WITH SCORE 1286547.204
AT ITER 4306 NEW BEST:: SOT 4805776 SOS 2589744 HAS SOPS 2589744 HAS SOUS 1283727 HAS SOUPS 1283727 WITH SCORE 1286316.744
AT ITER 4315 NEW BEST:: SOT 4805835 SOS 2589862 HAS SOPS 2589862 HAS SOUS 1283591 HAS SOUPS 1283591 WITH SCORE 1286180.862
AT ITER 4318 NEW BEST:: SOT 4806033 SOS 2589738 HAS SOPS 2589738 HAS SOUS 1283467 HAS SOUPS 1283467 WITH SCORE 1286056.738
AT ITER 4323 NEW BEST:: SOT 4805972 SOS 2589627 HAS SOPS 2589627 HAS SOUS 1283356 HAS SOUPS 1283356 WITH SCORE 1285945.627
AT ITER 4327 NEW BEST:: SOT 4805124 SOS 2588387 HAS SOPS 2588387 HAS SOUS 1282508 HAS SOUPS 1282508 WITH SCORE 1285096.387
AT ITER 4340 NEW BEST:: SOT 4804925 SOS 2587989 HAS SOPS 2587989 HAS SOUS 1282309 HAS SOUPS 1282309 WITH SCORE 1284896.989
AT ITER 4344 NEW BEST:: SOT 4804925 SOS 2587812 HAS SOPS 2587812 HAS SOUS 1281445 HAS SOUPS 1281445 WITH SCORE 1284032.812
AT ITER 4351 NEW BEST:: SOT 4804434 SOS 2587385 HAS SOPS 2587385 HAS SOUS 1281018 HAS SOUPS 1281018 WITH SCORE 1283605.385
AT ITER 4352 NEW BEST:: SOT 4804297 SOS 2587111 HAS SOPS 2587111 HAS SOUS 1280744 HAS SOUPS 1280744 WITH SCORE 1283331.111
AT ITER 4353 NEW BEST:: SOT 4803978 SOS 2586954 HAS SOPS 2586954 HAS SOUS 1280587 HAS SOUPS 1280587 WITH SCORE 1283173.954
AT ITER 4360 NEW BEST:: SOT 4803830 SOS 2586806 HAS SOPS 2586806 HAS SOUS 1280439 HAS SOUPS 1280439 WITH SCORE 1283025.806
AT ITER 4375 NEW BEST:: SOT 4803427 SOS 2586403 HAS SOPS 2586403 HAS SOUS 1280043 HAS SOUPS 1280043 WITH SCORE 1282629.403
AT ITER 4380 NEW BEST:: SOT 4803324 SOS 2586300 HAS SOPS 2586300 HAS SOUS 1279940 HAS SOUPS 1279940 WITH SCORE 1282526.3
AT ITER 4382 NEW BEST:: SOT 4802825 SOS 2585192 HAS SOPS 2585192 HAS SOUS 1278832 HAS SOUPS 1278832 WITH SCORE 1281417.192
AT ITER 4384 NEW BEST:: SOT 4802437 SOS 2584717 HAS SOPS 2584717 HAS SOUS 1278658 HAS SOUPS 1278658 WITH SCORE 1281242.717
AT ITER 4397 NEW BEST:: SOT 4801385 SOS 2584200 HAS SOPS 2584200 HAS SOUS 1278539 HAS SOUPS 1278539 WITH SCORE 1281123.2
AT ITER 4408 NEW BEST:: SOT 4801295 SOS 2584020 HAS SOPS 2584020 HAS SOUS 1278449 HAS SOUPS 1278449 WITH SCORE 1281033.02
AT ITER 4410 NEW BEST:: SOT 4800787 SOS 2583614 HAS SOPS 2583614 HAS SOUS 1277976 HAS SOUPS 1277976 WITH SCORE 1280559.614
AT ITER 4412 NEW BEST:: SOT 4800787 SOS 2583614 HAS SOPS 2583614 HAS SOUS 1277904 HAS SOUPS 1277904 WITH SCORE 1280487.614
AT ITER 4413 NEW BEST:: SOT 4800700 SOS 2583440 HAS SOPS 2583440 HAS SOUS 1277817 HAS SOUPS 1277817 WITH SCORE 1280400.44
AT ITER 4420 NEW BEST:: SOT 4800575 SOS 2582970 HAS SOPS 2582970 HAS SOUS 1277606 HAS SOUPS 1277606 WITH SCORE 1280188.97
AT ITER 4424 NEW BEST:: SOT 4798963 SOS 2581358 HAS SOPS 2581358 HAS SOUS 1275998 HAS SOUPS 1275998 WITH SCORE 1278579.358
AT ITER 4427 NEW BEST:: SOT 4799164 SOS 2581500 HAS SOPS 2581500 HAS SOUS 1275880 HAS SOUPS 1275880 WITH SCORE 1278461.5
AT ITER 4430 NEW BEST:: SOT 4796881 SOS 2580037 HAS SOPS 2580037 HAS SOUS 1274723 HAS SOUPS 1274723 WITH SCORE 1277303.037
AT ITER 4431 NEW BEST:: SOT 4796885 SOS 2580045 HAS SOPS 2580045 HAS SOUS 1274626 HAS SOUPS 1274626 WITH SCORE 1277206.045
AT ITER 4433 NEW BEST:: SOT 4796585 SOS 2579745 HAS SOPS 2579745 HAS SOUS 1274404 HAS SOUPS 1274404 WITH SCORE 1276983.745
AT ITER 4441 NEW BEST:: SOT 4796443 SOS 2579461 HAS SOPS 2579461 HAS SOUS 1274262 HAS SOUPS 1274262 WITH SCORE 1276841.461
AT ITER 4452 NEW BEST:: SOT 4796305 SOS 2579323 HAS SOPS 2579323 HAS SOUS 1274238 HAS SOUPS 1274238 WITH SCORE 1276817.323
AT ITER 4456 NEW BEST:: SOT 4795339 SOS 2578357 HAS SOPS 2578357 HAS SOUS 1273788 HAS SOUPS 1273788 WITH SCORE 1276366.357
AT ITER 4457 NEW BEST:: SOT 4794979 SOS 2577637 HAS SOPS 2577637 HAS SOUS 1273457 HAS SOUPS 1273457 WITH SCORE 1276034.637
AT ITER 4460 NEW BEST:: SOT 4794679 SOS 2577037 HAS SOPS 2577037 HAS SOUS 1273157 HAS SOUPS 1273157 WITH SCORE 1275734.037
AT ITER 4465 NEW BEST:: SOT 4794271 SOS 2576629 HAS SOPS 2576629 HAS SOUS 1272749 HAS SOUPS 1272749 WITH SCORE 1275325.629
AT ITER 4466 NEW BEST:: SOT 4793785 SOS 2576143 HAS SOPS 2576143 HAS SOUS 1272263 HAS SOUPS 1272263 WITH SCORE 1274839.143
AT ITER 4470 NEW BEST:: SOT 4793893 SOS 2576266 HAS SOPS 2576266 HAS SOUS 1271995 HAS SOUPS 1271995 WITH SCORE 1274571.266
AT ITER 4471 NEW BEST:: SOT 4793893 SOS 2576266 HAS SOPS 2576266 HAS SOUS 1271702 HAS SOUPS 1271702 WITH SCORE 1274278.266
AT ITER 4476 NEW BEST:: SOT 4794008 SOS 2575722 HAS SOPS 2575722 HAS SOUS 1271219 HAS SOUPS 1271219 WITH SCORE 1273794.722
AT ITER 4484 NEW BEST:: SOT 4793444 SOS 2575158 HAS SOPS 2575158 HAS SOUS 1270655 HAS SOUPS 1270655 WITH SCORE 1273230.158
AT ITER 4489 NEW BEST:: SOT 4794053 SOS 2575454 HAS SOPS 2575454 HAS SOUS 1270441 HAS SOUPS 1270441 WITH SCORE 1273016.454
AT ITER 4490 NEW BEST:: SOT 4794523 SOS 2575082 HAS SOPS 2575082 HAS SOUS 1269712 HAS SOUPS 1269712 WITH SCORE 1272287.082
AT ITER 4491 NEW BEST:: SOT 4794465 SOS 2574966 HAS SOPS 2574966 HAS SOUS 1269596 HAS SOUPS 1269596 WITH SCORE 1272170.966
AT ITER 4496 NEW BEST:: SOT 4793861 SOS 2572011 HAS SOPS 2572011 HAS SOUS 1268869 HAS SOUPS 1268869 WITH SCORE 1271441.011
AT ITER 4500 NEW BEST:: SOT 4793473 SOS 2570499 HAS SOPS 2570499 HAS SOUS 1268241 HAS SOUPS 1268241 WITH SCORE 1270811.499
AT ITER 4501 NEW BEST:: SOT 4793421 SOS 2570245 HAS SOPS 2570245 HAS SOUS 1268137 HAS SOUPS 1268137 WITH SCORE 1270707.245
AT ITER 4506 NEW BEST:: SOT 4791934 SOS 2568720 HAS SOPS 2568720 HAS SOUS 1268066 HAS SOUPS 1268066 WITH SCORE 1270634.72
AT ITER 4511 NEW BEST:: SOT 4791934 SOS 2568570 HAS SOPS 2568570 HAS SOUS 1267916 HAS SOUPS 1267916 WITH SCORE 1270484.57
AT ITER 4516 NEW BEST:: SOT 4791934 SOS 2568189 HAS SOPS 2568189 HAS SOUS 1267636 HAS SOUPS 1267636 WITH SCORE 1270204.189
AT ITER 4524 NEW BEST:: SOT 4791733 SOS 2567988 HAS SOPS 2567988 HAS SOUS 1267435 HAS SOUPS 1267435 WITH SCORE 1270002.988
AT ITER 4527 NEW BEST:: SOT 4791733 SOS 2567753 HAS SOPS 2567753 HAS SOUS 1266965 HAS SOUPS 1266965 WITH SCORE 1269532.753
AT ITER 4528 NEW BEST:: SOT 4790620 SOS 2566757 HAS SOPS 2566757 HAS SOUS 1265969 HAS SOUPS 1265969 WITH SCORE 1268535.757
AT ITER 4531 NEW BEST:: SOT 4790556 SOS 2566629 HAS SOPS 2566629 HAS SOUS 1265905 HAS SOUPS 1265905 WITH SCORE 1268471.629
AT ITER 4536 NEW BEST:: SOT 4789871 SOS 2564039 HAS SOPS 2564039 HAS SOUS 1265235 HAS SOUPS 1265235 WITH SCORE 1267799.039
AT ITER 4538 NEW BEST:: SOT 4782321 SOS 2564034 HAS SOPS 2564034 HAS SOUS 1259096 HAS SOUPS 1259096 WITH SCORE 1261660.034
AT ITER 4544 NEW BEST:: SOT 4782321 SOS 2563740 HAS SOPS 2563740 HAS SOUS 1258837 HAS SOUPS 1258837 WITH SCORE 1261400.74
AT ITER 4545 NEW BEST:: SOT 4781518 SOS 2562937 HAS SOPS 2562937 HAS SOUS 1258061 HAS SOUPS 1258061 WITH SCORE 1260623.937
AT ITER 4554 NEW BEST:: SOT 4780132 SOS 2561028 HAS SOPS 2561028 HAS SOUS 1256675 HAS SOUPS 1256675 WITH SCORE 1259236.028
AT ITER 4557 NEW BEST:: SOT 4780662 SOS 2560373 HAS SOPS 2560373 HAS SOUS 1256028 HAS SOUPS 1256028 WITH SCORE 1258588.373
AT ITER 4565 NEW BEST:: SOT 4780148 SOS 2559896 HAS SOPS 2559896 HAS SOUS 1255551 HAS SOUPS 1255551 WITH SCORE 1258110.896
AT ITER 4568 NEW BEST:: SOT 4780086 SOS 2559772 HAS SOPS 2559772 HAS SOUS 1255427 HAS SOUPS 1255427 WITH SCORE 1257986.772
AT ITER 4574 NEW BEST:: SOT 4780086 SOS 2560970 HAS SOPS 2560970 HAS SOUS 1255336 HAS SOUPS 1255336 WITH SCORE 1257896.97
AT ITER 4582 NEW BEST:: SOT 4780086 SOS 2559889 HAS SOPS 2559889 HAS SOUS 1255285 HAS SOUPS 1255285 WITH SCORE 1257844.889
AT ITER 4583 NEW BEST:: SOT 4780086 SOS 2559889 HAS SOPS 2559889 HAS SOUS 1255283 HAS SOUPS 1255283 WITH SCORE 1257842.889
AT ITER 4593 NEW BEST:: SOT 4780078 SOS 2559890 HAS SOPS 2559890 HAS SOUS 1255275 HAS SOUPS 1255275 WITH SCORE 1257834.89
AT ITER 4599 NEW BEST:: SOT 4779505 SOS 2559555 HAS SOPS 2559555 HAS SOUS 1254940 HAS SOUPS 1254940 WITH SCORE 1257499.555
AT ITER 4601 NEW BEST:: SOT 4778820 SOS 2558870 HAS SOPS 2558870 HAS SOUS 1254706 HAS SOUPS 1254706 WITH SCORE 1257264.87
AT ITER 4604 NEW BEST:: SOT 4778754 SOS 2558738 HAS SOPS 2558738 HAS SOUS 1254574 HAS SOUPS 1254574 WITH SCORE 1257132.738
AT ITER 4606 NEW BEST:: SOT 4778754 SOS 2559125 HAS SOPS 2559125 HAS SOUS 1253786 HAS SOUPS 1253786 WITH SCORE 1256345.125
AT ITER 4607 NEW BEST:: SOT 4778169 SOS 2558540 HAS SOPS 2558540 HAS SOUS 1253201 HAS SOUPS 1253201 WITH SCORE 1255759.54
AT ITER 4609 NEW BEST:: SOT 4778124 SOS 2558495 HAS SOPS 2558495 HAS SOUS 1253090 HAS SOUPS 1253090 WITH SCORE 1255648.495
AT ITER 4618 NEW BEST:: SOT 4777960 SOS 2558331 HAS SOPS 2558331 HAS SOUS 1252926 HAS SOUPS 1252926 WITH SCORE 1255484.331
AT ITER 4625 NEW BEST:: SOT 4777113 SOS 2557523 HAS SOPS 2557523 HAS SOUS 1252118 HAS SOUPS 1252118 WITH SCORE 1254675.523
AT ITER 4628 NEW BEST:: SOT 4777113 SOS 2557523 HAS SOPS 2557523 HAS SOUS 1250658 HAS SOUPS 1250658 WITH SCORE 1253215.523
AT ITER 4636 NEW BEST:: SOT 4776796 SOS 2557206 HAS SOPS 2557206 HAS SOUS 1250341 HAS SOUPS 1250341 WITH SCORE 1252898.206
AT ITER 4637 NEW BEST:: SOT 4776963 SOS 2557165 HAS SOPS 2557165 HAS SOUS 1250133 HAS SOUPS 1250133 WITH SCORE 1252690.165
AT ITER 4641 NEW BEST:: SOT 4776963 SOS 2556807 HAS SOPS 2556807 HAS SOUS 1249728 HAS SOUPS 1249728 WITH SCORE 1252284.807
AT ITER 4643 NEW BEST:: SOT 4776963 SOS 2556807 HAS SOPS 2556807 HAS SOUS 1249469 HAS SOUPS 1249469 WITH SCORE 1252025.807
AT ITER 4648 NEW BEST:: SOT 4776526 SOS 2555744 HAS SOPS 2555744 HAS SOUS 1248308 HAS SOUPS 1248308 WITH SCORE 1250863.744
AT ITER 4649 NEW BEST:: SOT 4775919 SOS 2554948 HAS SOPS 2554948 HAS SOUS 1247512 HAS SOUPS 1247512 WITH SCORE 1250066.948
AT ITER 4651 NEW BEST:: SOT 4775993 SOS 2554870 HAS SOPS 2554870 HAS SOUS 1247473 HAS SOUPS 1247473 WITH SCORE 1250027.87
AT ITER 4657 NEW BEST:: SOT 4775961 SOS 2554838 HAS SOPS 2554838 HAS SOUS 1247441 HAS SOUPS 1247441 WITH SCORE 1249995.838
AT ITER 4661 NEW BEST:: SOT 4775932 SOS 2554809 HAS SOPS 2554809 HAS SOUS 1247412 HAS SOUPS 1247412 WITH SCORE 1249966.809
AT ITER 4674 NEW BEST:: SOT 4775780 SOS 2554505 HAS SOPS 2554505 HAS SOUS 1247260 HAS SOUPS 1247260 WITH SCORE 1249814.505
AT ITER 4676 NEW BEST:: SOT 4775780 SOS 2554504 HAS SOPS 2554504 HAS SOUS 1246990 HAS SOUPS 1246990 WITH SCORE 1249544.504
AT ITER 4679 NEW BEST:: SOT 4775088 SOS 2553282 HAS SOPS 2553282 HAS SOUS 1246664 HAS SOUPS 1246664 WITH SCORE 1249217.282
AT ITER 4693 NEW BEST:: SOT 4775088 SOS 2553216 HAS SOPS 2553216 HAS SOUS 1246598 HAS SOUPS 1246598 WITH SCORE 1249151.216
AT ITER 4696 NEW BEST:: SOT 4775465 SOS 2552304 HAS SOPS 2552304 HAS SOUS 1246519 HAS SOUPS 1246519 WITH SCORE 1249071.304
AT ITER 4709 NEW BEST:: SOT 4775731 SOS 2552494 HAS SOPS 2552494 HAS SOUS 1245819 HAS SOUPS 1245819 WITH SCORE 1248371.494
AT ITER 4714 NEW BEST:: SOT 4775093 SOS 2551856 HAS SOPS 2551856 HAS SOUS 1245181 HAS SOUPS 1245181 WITH SCORE 1247732.856
AT ITER 4716 NEW BEST:: SOT 4775299 SOS 2551039 HAS SOPS 2551039 HAS SOUS 1244936 HAS SOUPS 1244936 WITH SCORE 1247487.039
AT ITER 4717 NEW BEST:: SOT 4775390 SOS 2550781 HAS SOPS 2550781 HAS SOUS 1244678 HAS SOUPS 1244678 WITH SCORE 1247228.781
AT ITER 4718 NEW BEST:: SOT 4775333 SOS 2550667 HAS SOPS 2550667 HAS SOUS 1244621 HAS SOUPS 1244621 WITH SCORE 1247171.667
AT ITER 4737 NEW BEST:: SOT 4775314 SOS 2549143 HAS SOPS 2549143 HAS SOUS 1243903 HAS SOUPS 1243903 WITH SCORE 1246452.143
AT ITER 4738 NEW BEST:: SOT 4775314 SOS 2549056 HAS SOPS 2549056 HAS SOUS 1243816 HAS SOUPS 1243816 WITH SCORE 1246365.056
AT ITER 4741 NEW BEST:: SOT 4775547 SOS 2549024 HAS SOPS 2549024 HAS SOUS 1243784 HAS SOUPS 1243784 WITH SCORE 1246333.024
AT ITER 4742 NEW BEST:: SOT 4775547 SOS 2549024 HAS SOPS 2549024 HAS SOUS 1242398 HAS SOUPS 1242398 WITH SCORE 1244947.024
AT ITER 4755 NEW BEST:: SOT 4774315 SOS 2547792 HAS SOPS 2547792 HAS SOUS 1241470 HAS SOUPS 1241470 WITH SCORE 1244017.792
AT ITER 4765 NEW BEST:: SOT 4773716 SOS 2547792 HAS SOPS 2547792 HAS SOUS 1240953 HAS SOUPS 1240953 WITH SCORE 1243500.792
AT ITER 4766 NEW BEST:: SOT 4773535 SOS 2547430 HAS SOPS 2547430 HAS SOUS 1240772 HAS SOUPS 1240772 WITH SCORE 1243319.43
AT ITER 4771 NEW BEST:: SOT 4773496 SOS 2547352 HAS SOPS 2547352 HAS SOUS 1240694 HAS SOUPS 1240694 WITH SCORE 1243241.352
AT ITER 4772 NEW BEST:: SOT 4773487 SOS 2547275 HAS SOPS 2547275 HAS SOUS 1240617 HAS SOUPS 1240617 WITH SCORE 1243164.275
AT ITER 4773 NEW BEST:: SOT 4772060 SOS 2545934 HAS SOPS 2545934 HAS SOUS 1239219 HAS SOUPS 1239219 WITH SCORE 1241764.934
AT ITER 4776 NEW BEST:: SOT 4771994 SOS 2545736 HAS SOPS 2545736 HAS SOUS 1239087 HAS SOUPS 1239087 WITH SCORE 1241632.736
AT ITER 4788 NEW BEST:: SOT 4771772 SOS 2545292 HAS SOPS 2545292 HAS SOUS 1238865 HAS SOUPS 1238865 WITH SCORE 1241410.292
AT ITER 4798 NEW BEST:: SOT 4771454 SOS 2544279 HAS SOPS 2544279 HAS SOUS 1237955 HAS SOUPS 1237955 WITH SCORE 1240499.279
AT ITER 4800 NEW BEST:: SOT 4771371 SOS 2544113 HAS SOPS 2544113 HAS SOUS 1237732 HAS SOUPS 1237732 WITH SCORE 1240276.113
AT ITER 4802 NEW BEST:: SOT 4771877 SOS 2544619 HAS SOPS 2544619 HAS SOUS 1237731 HAS SOUPS 1237731 WITH SCORE 1240275.619
AT ITER 4818 NEW BEST:: SOT 4771850 SOS 2544592 HAS SOPS 2544592 HAS SOUS 1237704 HAS SOUPS 1237704 WITH SCORE 1240248.592
AT ITER 4819 NEW BEST:: SOT 4771741 SOS 2543996 HAS SOPS 2543996 HAS SOUS 1237595 HAS SOUPS 1237595 WITH SCORE 1240138.996
AT ITER 4827 NEW BEST:: SOT 4771442 SOS 2543697 HAS SOPS 2543697 HAS SOUS 1237501 HAS SOUPS 1237501 WITH SCORE 1240044.697
AT ITER 4828 NEW BEST:: SOT 4771287 SOS 2544265 HAS SOPS 2544265 HAS SOUS 1237384 HAS SOUPS 1237384 WITH SCORE 1239928.265
AT ITER 4829 NEW BEST:: SOT 4771287 SOS 2543051 HAS SOPS 2543051 HAS SOUS 1236965 HAS SOUPS 1236965 WITH SCORE 1239508.051
AT ITER 4838 NEW BEST:: SOT 4771277 SOS 2542201 HAS SOPS 2542201 HAS SOUS 1236730 HAS SOUPS 1236730 WITH SCORE 1239272.201
AT ITER 4847 NEW BEST:: SOT 4771319 SOS 2541295 HAS SOPS 2541295 HAS SOUS 1235782 HAS SOUPS 1235782 WITH SCORE 1238323.295
AT ITER 4850 NEW BEST:: SOT 4770493 SOS 2539643 HAS SOPS 2539643 HAS SOUS 1235070 HAS SOUPS 1235070 WITH SCORE 1237609.643
AT ITER 4851 NEW BEST:: SOT 4771127 SOS 2537534 HAS SOPS 2537534 HAS SOUS 1234980 HAS SOUPS 1234980 WITH SCORE 1237517.534
AT ITER 4854 NEW BEST:: SOT 4771013 SOS 2537632 HAS SOPS 2537632 HAS SOUS 1234960 HAS SOUPS 1234960 WITH SCORE 1237497.632
AT ITER 4860 NEW BEST:: SOT 4770779 SOS 2537398 HAS SOPS 2537398 HAS SOUS 1234726 HAS SOUPS 1234726 WITH SCORE 1237263.398
AT ITER 4863 NEW BEST:: SOT 4770664 SOS 2536015 HAS SOPS 2536015 HAS SOUS 1234569 HAS SOUPS 1234569 WITH SCORE 1237105.015
AT ITER 4866 NEW BEST:: SOT 4765595 SOS 2604603 HAS SOPS 2604603 HAS SOUS 1230916 HAS SOUPS 1230916 WITH SCORE 1233520.603
AT ITER 4878 NEW BEST:: SOT 4764834 SOS 2603733 HAS SOPS 2603733 HAS SOUS 1230046 HAS SOUPS 1230046 WITH SCORE 1232649.733
AT ITER 4880 NEW BEST:: SOT 4764911 SOS 2603810 HAS SOPS 2603810 HAS SOUS 1229798 HAS SOUPS 1229798 WITH SCORE 1232401.81
AT ITER 4897 NEW BEST:: SOT 4764895 SOS 2603794 HAS SOPS 2603794 HAS SOUS 1229782 HAS SOUPS 1229782 WITH SCORE 1232385.794
AT ITER 4898 NEW BEST:: SOT 4764895 SOS 2603282 HAS SOPS 2603282 HAS SOUS 1229270 HAS SOUPS 1229270 WITH SCORE 1231873.282
AT ITER 4907 NEW BEST:: SOT 4764330 SOS 2602152 HAS SOPS 2602152 HAS SOUS 1228426 HAS SOUPS 1228426 WITH SCORE 1231028.152
AT ITER 4913 NEW BEST:: SOT 4764043 SOS 2602324 HAS SOPS 2602324 HAS SOUS 1227626 HAS SOUPS 1227626 WITH SCORE 1230228.324
AT ITER 4914 NEW BEST:: SOT 4764012 SOS 2602293 HAS SOPS 2602293 HAS SOUS 1227595 HAS SOUPS 1227595 WITH SCORE 1230197.293
AT ITER 4925 NEW BEST:: SOT 4764012 SOS 2602093 HAS SOPS 2602093 HAS SOUS 1227595 HAS SOUPS 1227595 WITH SCORE 1230197.093
AT ITER 4930 NEW BEST:: SOT 4763920 SOS 2602001 HAS SOPS 2602001 HAS SOUS 1227503 HAS SOUPS 1227503 WITH SCORE 1230105.001
AT ITER 4932 NEW BEST:: SOT 4763694 SOS 2601775 HAS SOPS 2601775 HAS SOUS 1227277 HAS SOUPS 1227277 WITH SCORE 1229878.775
AT ITER 4933 NEW BEST:: SOT 4763694 SOS 2601746 HAS SOPS 2601746 HAS SOUS 1227219 HAS SOUPS 1227219 WITH SCORE 1229820.746
AT ITER 4943 NEW BEST:: SOT 4763477 SOS 2601064 HAS SOPS 2601064 HAS SOUS 1227002 HAS SOUPS 1227002 WITH SCORE 1229603.064
AT ITER 4954 NEW BEST:: SOT 4763301 SOS 2600679 HAS SOPS 2600679 HAS SOUS 1226894 HAS SOUPS 1226894 WITH SCORE 1229494.679
AT ITER 4962 NEW BEST:: SOT 4762934 SOS 2599945 HAS SOPS 2599945 HAS SOUS 1226842 HAS SOUPS 1226842 WITH SCORE 1229441.945
AT ITER 4964 NEW BEST:: SOT 4762934 SOS 2599945 HAS SOPS 2599945 HAS SOUS 1226841 HAS SOUPS 1226841 WITH SCORE 1229440.945
AT ITER 4967 NEW BEST:: SOT 4762934 SOS 2599810 HAS SOPS 2599810 HAS SOUS 1226706 HAS SOUPS 1226706 WITH SCORE 1229305.81
AT ITER 4974 NEW BEST:: SOT 4762934 SOS 2599325 HAS SOPS 2599325 HAS SOUS 1226221 HAS SOUPS 1226221 WITH SCORE 1228820.325
AT ITER 4976 NEW BEST:: SOT 4762588 SOS 2598979 HAS SOPS 2598979 HAS SOUS 1225906 HAS SOUPS 1225906 WITH SCORE 1228504.979
AT ITER 4984 NEW BEST:: SOT 4762423 SOS 2598649 HAS SOPS 2598649 HAS SOUS 1225765 HAS SOUPS 1225765 WITH SCORE 1228363.649
AT ITER 4986 NEW BEST:: SOT 4762330 SOS 2598463 HAS SOPS 2598463 HAS SOUS 1225745 HAS SOUPS 1225745 WITH SCORE 1228343.463
AT ITER 4987 NEW BEST:: SOT 4761827 SOS 2597457 HAS SOPS 2597457 HAS SOUS 1225255 HAS SOUPS 1225255 WITH SCORE 1227852.457
AT ITER 4988 NEW BEST:: SOT 4761827 SOS 2597329 HAS SOPS 2597329 HAS SOUS 1225254 HAS SOUPS 1225254 WITH SCORE 1227851.329
AT ITER 4990 NEW BEST:: SOT 4761630 SOS 2597132 HAS SOPS 2597132 HAS SOUS 1225057 HAS SOUPS 1225057 WITH SCORE 1227654.132
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-00 (AG( (AF( (AX( ((potential((tk(P532)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-01 ( (AG( ( ( (! ((potential((tk(P917)>=1) & (tk(P2676)>=1))))) | (! ((potential((tk(P1123)>=1))))) ) | (! ( ((potential((tk(P1070)>=1)))) | ((potential((tk(P1555)>=1)))) )) ))) & (EF( ( (! ( ((potential((tk(P1693)>=1)))) | ((potential((tk(P1174)>=1)))) )) | (EF( ((potential((tk(P1458)>=1)))))) ))) )
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-02 (EU( ( (! ( ((potential((tk(P603)>=1)))) & ((potential((tk(P1968)>=1)))) )) | ((potential((tk(P908)>=1)))) ) , (AU( ((potential((tk(P2039)>=1)))) , ((potential((tk(P794)>=1)))) )) ))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-03 ( (AF( ((potential((tk(P1340)>=1)))))) | ((potential((tk(P1790)>=1)))) )
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-04 (EF( ((potential((tk(P1681)>=1))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-05 (AG( (EF( (AF( ((potential((tk(P1114)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-06 (AU( (! ((potential((tk(P1331)>=1) & (tk(P1024)>=1) & (tk(P2280)>=1))))) , ((potential((tk(P1571)>=1) & (tk(P2676)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-07 (EG( (! (EX( ((potential((tk(P1326)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-08 ( (AU( ((potential((tk(P1730)>=1)))) , ((potential((tk(P2664)>=1)))) )) | ( (AF( (AG( ((potential((tk(P2614)>=1)))))))) | (AF( (EX( ((potential((tk(P1644)>=1)))))))) ) )
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-09 (EF( ((potential((tk(P402)>=1))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-10 (EU( ((potential((tk(P2104)>=1)))) , (EF( ((potential((tk(P1549)>=1)))))) ))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-11 (EF( ( (AX( ( ((potential((tk(P229)>=1)))) | ((potential((tk(P1932)>=1)))) ))) | ((potential((tk(P270)>=1)))) )))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-12 ( (AG( (EF( ( ((potential((tk(P316)>=1)))) | ((potential((tk(P2664)>=1)))) ))))) | (AG( (AX( ( ((potential((tk(P925)>=1)))) | ((potential((tk(P2184)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-13 ( (EG( (! (AF( ((potential((tk(P677)>=1))))))))) | (AF( (! (! ((potential((tk(P2416)>=1)))))))) )
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-14 (AF( ( ( ((potential((tk(P1886)>=1)))) | (! (! ((potential((tk(P248)>=1)))))) ) | ( (EG( ((potential((tk(P2664)>=1)))))) & ((potential((tk(P1682)>=1) & (tk(P1067)>=1) & (tk(P2575)>=1)))) ) )))
PROPERTY: FlexibleBarrier-PT-14b-CTLFireability-15 (EG( ( (AF( ( ((potential((tk(P1118)>=1)))) & ((potential((tk(P1590)>=1)))) ))) | (AX( ( ((potential((tk(P1877)>=1)))) & ((potential((tk(P241)>=1)))) ))) )))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="FlexibleBarrier-PT-14b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-14b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972500348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14b.tgz
mv FlexibleBarrier-PT-14b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;