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-158922972500347.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500347
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-14b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589428038835

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 3 NEW BEST:: SOT 5335697 SOS 2775313 HAS SOPS 2775313 HAS SOUS 1975674 HAS SOUPS 1975674 WITH SCORE 1978449.313
AT ITER 4 NEW BEST:: SOT 5335332 SOS 2774583 HAS SOPS 2774583 HAS SOUS 1975308 HAS SOUPS 1975308 WITH SCORE 1978082.583
AT ITER 10 NEW BEST:: SOT 5335259 SOS 2774510 HAS SOPS 2774510 HAS SOUS 1975308 HAS SOUPS 1975308 WITH SCORE 1978082.51
AT ITER 18 NEW BEST:: SOT 5334991 SOS 2773800 HAS SOPS 2773800 HAS SOUS 1974598 HAS SOUPS 1974598 WITH SCORE 1977371.8
AT ITER 19 NEW BEST:: SOT 5334991 SOS 2772662 HAS SOPS 2772662 HAS SOUS 1974598 HAS SOUPS 1974598 WITH SCORE 1977370.662
AT ITER 20 NEW BEST:: SOT 5334940 SOS 2772560 HAS SOPS 2772560 HAS SOUS 1974495 HAS SOUPS 1974495 WITH SCORE 1977267.56
AT ITER 25 NEW BEST:: SOT 5334454 SOS 2769086 HAS SOPS 2769086 HAS SOUS 1973521 HAS SOUPS 1973521 WITH SCORE 1976290.086
AT ITER 28 NEW BEST:: SOT 5334454 SOS 2768561 HAS SOPS 2768561 HAS SOUS 1973506 HAS SOUPS 1973506 WITH SCORE 1976274.561
AT ITER 29 NEW BEST:: SOT 5239400 SOS 3382787 HAS SOPS 3382787 HAS SOUS 1880969 HAS SOUPS 1880969 WITH SCORE 1884351.787
AT ITER 30 NEW BEST:: SOT 5236328 SOS 3378331 HAS SOPS 3378331 HAS SOUS 1878156 HAS SOUPS 1878156 WITH SCORE 1881534.331
AT ITER 31 NEW BEST:: SOT 5235046 SOS 3373775 HAS SOPS 3373775 HAS SOUS 1876301 HAS SOUPS 1876301 WITH SCORE 1879674.775
AT ITER 33 NEW BEST:: SOT 5234349 SOS 3370237 HAS SOPS 3370237 HAS SOUS 1874345 HAS SOUPS 1874345 WITH SCORE 1877715.237
AT ITER 38 NEW BEST:: SOT 5233914 SOS 3368497 HAS SOPS 3368497 HAS SOUS 1873248 HAS SOUPS 1873248 WITH SCORE 1876616.497
AT ITER 39 NEW BEST:: SOT 5233172 SOS 3365529 HAS SOPS 3365529 HAS SOUS 1872146 HAS SOUPS 1872146 WITH SCORE 1875511.529
AT ITER 44 NEW BEST:: SOT 5233172 SOS 3365529 HAS SOPS 3365529 HAS SOUS 1872134 HAS SOUPS 1872134 WITH SCORE 1875499.529
AT ITER 46 NEW BEST:: SOT 5233172 SOS 3364697 HAS SOPS 3364697 HAS SOUS 1872134 HAS SOUPS 1872134 WITH SCORE 1875498.697
AT ITER 52 NEW BEST:: SOT 5231515 SOS 3362308 HAS SOPS 3362308 HAS SOUS 1870789 HAS SOUPS 1870789 WITH SCORE 1874151.308
AT ITER 55 NEW BEST:: SOT 5231215 SOS 3358761 HAS SOPS 3358761 HAS SOUS 1870348 HAS SOUPS 1870348 WITH SCORE 1873706.761
AT ITER 58 NEW BEST:: SOT 5207829 SOS 3357993 HAS SOPS 3357993 HAS SOUS 1852051 HAS SOUPS 1852051 WITH SCORE 1855408.993
AT ITER 59 NEW BEST:: SOT 5207256 SOS 3354459 HAS SOPS 3354459 HAS SOUS 1851044 HAS SOUPS 1851044 WITH SCORE 1854398.459
AT ITER 64 NEW BEST:: SOT 5206657 SOS 3353261 HAS SOPS 3353261 HAS SOUS 1851042 HAS SOUPS 1851042 WITH SCORE 1854395.261
AT ITER 69 NEW BEST:: SOT 5205148 SOS 3351752 HAS SOPS 3351752 HAS SOUS 1850348 HAS SOUPS 1850348 WITH SCORE 1853699.752
AT ITER 70 NEW BEST:: SOT 5205148 SOS 3351752 HAS SOPS 3351752 HAS SOUS 1850308 HAS SOUPS 1850308 WITH SCORE 1853659.752
AT ITER 73 NEW BEST:: SOT 5205535 SOS 3350928 HAS SOPS 3350928 HAS SOUS 1849747 HAS SOUPS 1849747 WITH SCORE 1853097.928
AT ITER 74 NEW BEST:: SOT 5205859 SOS 3350444 HAS SOPS 3350444 HAS SOUS 1849393 HAS SOUPS 1849393 WITH SCORE 1852743.444
AT ITER 87 NEW BEST:: SOT 5205859 SOS 3349252 HAS SOPS 3349252 HAS SOUS 1847210 HAS SOUPS 1847210 WITH SCORE 1850559.252
AT ITER 89 NEW BEST:: SOT 5205566 SOS 3348080 HAS SOPS 3348080 HAS SOUS 1846916 HAS SOUPS 1846916 WITH SCORE 1850264.08
AT ITER 93 NEW BEST:: SOT 5204693 SOS 3346718 HAS SOPS 3346718 HAS SOUS 1846043 HAS SOUPS 1846043 WITH SCORE 1849389.718
AT ITER 95 NEW BEST:: SOT 5204469 SOS 3346494 HAS SOPS 3346494 HAS SOUS 1845920 HAS SOUPS 1845920 WITH SCORE 1849266.494
AT ITER 97 NEW BEST:: SOT 5203975 SOS 3345753 HAS SOPS 3345753 HAS SOUS 1845426 HAS SOUPS 1845426 WITH SCORE 1848771.753
AT ITER 112 NEW BEST:: SOT 5202752 SOS 3343307 HAS SOPS 3343307 HAS SOUS 1844565 HAS SOUPS 1844565 WITH SCORE 1847908.307
AT ITER 113 NEW BEST:: SOT 5201001 SOS 3337881 HAS SOPS 3337881 HAS SOUS 1841938 HAS SOUPS 1841938 WITH SCORE 1845275.881
AT ITER 117 NEW BEST:: SOT 5200292 SOS 3335045 HAS SOPS 3335045 HAS SOUS 1840741 HAS SOUPS 1840741 WITH SCORE 1844076.045
AT ITER 119 NEW BEST:: SOT 5199147 SOS 3333900 HAS SOPS 3333900 HAS SOUS 1840394 HAS SOUPS 1840394 WITH SCORE 1843727.9
AT ITER 123 NEW BEST:: SOT 5198848 SOS 3330282 HAS SOPS 3330282 HAS SOUS 1840149 HAS SOUPS 1840149 WITH SCORE 1843479.282
AT ITER 127 NEW BEST:: SOT 5198530 SOS 3329964 HAS SOPS 3329964 HAS SOUS 1839990 HAS SOUPS 1839990 WITH SCORE 1843319.964
AT ITER 135 NEW BEST:: SOT 5198355 SOS 3329264 HAS SOPS 3329264 HAS SOUS 1839814 HAS SOUPS 1839814 WITH SCORE 1843143.264
AT ITER 139 NEW BEST:: SOT 5197857 SOS 3327272 HAS SOPS 3327272 HAS SOUS 1838560 HAS SOUPS 1838560 WITH SCORE 1841887.272
AT ITER 142 NEW BEST:: SOT 5197618 SOS 3326316 HAS SOPS 3326316 HAS SOUS 1838320 HAS SOUPS 1838320 WITH SCORE 1841646.316
AT ITER 143 NEW BEST:: SOT 5197618 SOS 3325687 HAS SOPS 3325687 HAS SOUS 1837558 HAS SOUPS 1837558 WITH SCORE 1840883.687
AT ITER 146 NEW BEST:: SOT 5197413 SOS 3325666 HAS SOPS 3325666 HAS SOUS 1837557 HAS SOUPS 1837557 WITH SCORE 1840882.666
AT ITER 152 NEW BEST:: SOT 5197668 SOS 3324654 HAS SOPS 3324654 HAS SOUS 1835632 HAS SOUPS 1835632 WITH SCORE 1838956.654
AT ITER 153 NEW BEST:: SOT 5196542 SOS 3323528 HAS SOPS 3323528 HAS SOUS 1834505 HAS SOUPS 1834505 WITH SCORE 1837828.528
AT ITER 156 NEW BEST:: SOT 5196542 SOS 3323549 HAS SOPS 3323549 HAS SOUS 1834497 HAS SOUPS 1834497 WITH SCORE 1837820.549
AT ITER 157 NEW BEST:: SOT 5195812 SOS 3320207 HAS SOPS 3320207 HAS SOUS 1832629 HAS SOUPS 1832629 WITH SCORE 1835949.207
AT ITER 169 NEW BEST:: SOT 5195191 SOS 3317723 HAS SOPS 3317723 HAS SOUS 1831387 HAS SOUPS 1831387 WITH SCORE 1834704.723
AT ITER 174 NEW BEST:: SOT 5194965 SOS 3316249 HAS SOPS 3316249 HAS SOUS 1828904 HAS SOUPS 1828904 WITH SCORE 1832220.249
AT ITER 175 NEW BEST:: SOT 5194037 SOS 3312090 HAS SOPS 3312090 HAS SOUS 1827584 HAS SOUPS 1827584 WITH SCORE 1830896.09
AT ITER 179 NEW BEST:: SOT 5193958 SOS 3311774 HAS SOPS 3311774 HAS SOUS 1827426 HAS SOUPS 1827426 WITH SCORE 1830737.774
AT ITER 182 NEW BEST:: SOT 5193708 SOS 3311274 HAS SOPS 3311274 HAS SOUS 1827424 HAS SOUPS 1827424 WITH SCORE 1830735.274
AT ITER 188 NEW BEST:: SOT 5192101 SOS 3309667 HAS SOPS 3309667 HAS SOUS 1827070 HAS SOUPS 1827070 WITH SCORE 1830379.667
AT ITER 189 NEW BEST:: SOT 5191532 SOS 3307489 HAS SOPS 3307489 HAS SOUS 1826700 HAS SOUPS 1826700 WITH SCORE 1830007.489
AT ITER 192 NEW BEST:: SOT 5190818 SOS 3303919 HAS SOPS 3303919 HAS SOUS 1824121 HAS SOUPS 1824121 WITH SCORE 1827424.919
AT ITER 193 NEW BEST:: SOT 5189835 SOS 3302936 HAS SOPS 3302936 HAS SOUS 1823650 HAS SOUPS 1823650 WITH SCORE 1826952.936
AT ITER 194 NEW BEST:: SOT 5189835 SOS 3302936 HAS SOPS 3302936 HAS SOUS 1823382 HAS SOUPS 1823382 WITH SCORE 1826684.936
AT ITER 195 NEW BEST:: SOT 5188320 SOS 3301421 HAS SOPS 3301421 HAS SOUS 1822699 HAS SOUPS 1822699 WITH SCORE 1826000.421
AT ITER 199 NEW BEST:: SOT 5186979 SOS 3299572 HAS SOPS 3299572 HAS SOUS 1821661 HAS SOUPS 1821661 WITH SCORE 1824960.572
AT ITER 201 NEW BEST:: SOT 5187123 SOS 3296738 HAS SOPS 3296738 HAS SOUS 1819972 HAS SOUPS 1819972 WITH SCORE 1823268.738
AT ITER 202 NEW BEST:: SOT 5187249 SOS 3295614 HAS SOPS 3295614 HAS SOUS 1819078 HAS SOUPS 1819078 WITH SCORE 1822373.614
AT ITER 203 NEW BEST:: SOT 5187249 SOS 3294294 HAS SOPS 3294294 HAS SOUS 1819078 HAS SOUPS 1819078 WITH SCORE 1822372.294
AT ITER 204 NEW BEST:: SOT 5186215 SOS 3292331 HAS SOPS 3292331 HAS SOUS 1817173 HAS SOUPS 1817173 WITH SCORE 1820465.331
AT ITER 211 NEW BEST:: SOT 5185167 SOS 3291283 HAS SOPS 3291283 HAS SOUS 1816889 HAS SOUPS 1816889 WITH SCORE 1820180.283
AT ITER 219 NEW BEST:: SOT 5184316 SOS 3290432 HAS SOPS 3290432 HAS SOUS 1816349 HAS SOUPS 1816349 WITH SCORE 1819639.432
AT ITER 221 NEW BEST:: SOT 5184276 SOS 3290392 HAS SOPS 3290392 HAS SOUS 1816348 HAS SOUPS 1816348 WITH SCORE 1819638.392
AT ITER 225 NEW BEST:: SOT 5184276 SOS 3290392 HAS SOPS 3290392 HAS SOUS 1816329 HAS SOUPS 1816329 WITH SCORE 1819619.392
AT ITER 229 NEW BEST:: SOT 5183568 SOS 3287560 HAS SOPS 3287560 HAS SOUS 1815350 HAS SOUPS 1815350 WITH SCORE 1818637.56
AT ITER 231 NEW BEST:: SOT 5183567 SOS 3287559 HAS SOPS 3287559 HAS SOUS 1815349 HAS SOUPS 1815349 WITH SCORE 1818636.559
AT ITER 233 NEW BEST:: SOT 5183200 SOS 3287208 HAS SOPS 3287208 HAS SOUS 1815222 HAS SOUPS 1815222 WITH SCORE 1818509.208
AT ITER 237 NEW BEST:: SOT 5182245 SOS 3285298 HAS SOPS 3285298 HAS SOUS 1814479 HAS SOUPS 1814479 WITH SCORE 1817764.298
AT ITER 240 NEW BEST:: SOT 5180288 SOS 3282310 HAS SOPS 3282310 HAS SOUS 1812763 HAS SOUPS 1812763 WITH SCORE 1816045.31
AT ITER 244 NEW BEST:: SOT 5179404 SOS 3278694 HAS SOPS 3278694 HAS SOUS 1811893 HAS SOUPS 1811893 WITH SCORE 1815171.694
AT ITER 249 NEW BEST:: SOT 5179292 SOS 3278470 HAS SOPS 3278470 HAS SOUS 1811669 HAS SOUPS 1811669 WITH SCORE 1814947.47
AT ITER 252 NEW BEST:: SOT 5178686 SOS 3277864 HAS SOPS 3277864 HAS SOUS 1811319 HAS SOUPS 1811319 WITH SCORE 1814596.864
AT ITER 257 NEW BEST:: SOT 5178479 SOS 3277450 HAS SOPS 3277450 HAS SOUS 1811090 HAS SOUPS 1811090 WITH SCORE 1814367.45
AT ITER 260 NEW BEST:: SOT 5178250 SOS 3276763 HAS SOPS 3276763 HAS SOUS 1810632 HAS SOUPS 1810632 WITH SCORE 1813908.763
AT ITER 263 NEW BEST:: SOT 5177406 SOS 3275531 HAS SOPS 3275531 HAS SOUS 1810183 HAS SOUPS 1810183 WITH SCORE 1813458.531
AT ITER 266 NEW BEST:: SOT 5176276 SOS 3274401 HAS SOPS 3274401 HAS SOUS 1810183 HAS SOUPS 1810183 WITH SCORE 1813457.401
AT ITER 268 NEW BEST:: SOT 5175424 SOS 3272697 HAS SOPS 3272697 HAS SOUS 1808479 HAS SOUPS 1808479 WITH SCORE 1811751.697
AT ITER 275 NEW BEST:: SOT 5175073 SOS 3271995 HAS SOPS 3271995 HAS SOUS 1807426 HAS SOUPS 1807426 WITH SCORE 1810697.995
AT ITER 277 NEW BEST:: SOT 5175073 SOS 3271922 HAS SOPS 3271922 HAS SOUS 1807280 HAS SOUPS 1807280 WITH SCORE 1810551.922
AT ITER 278 NEW BEST:: SOT 5175073 SOS 3271550 HAS SOPS 3271550 HAS SOUS 1807280 HAS SOUPS 1807280 WITH SCORE 1810551.55
AT ITER 279 NEW BEST:: SOT 5174809 SOS 3270494 HAS SOPS 3270494 HAS SOUS 1807015 HAS SOUPS 1807015 WITH SCORE 1810285.494
AT ITER 280 NEW BEST:: SOT 5174216 SOS 3268854 HAS SOPS 3268854 HAS SOUS 1806640 HAS SOUPS 1806640 WITH SCORE 1809908.854
AT ITER 292 NEW BEST:: SOT 5174278 SOS 3268096 HAS SOPS 3268096 HAS SOUS 1806382 HAS SOUPS 1806382 WITH SCORE 1809650.096
AT ITER 300 NEW BEST:: SOT 5174278 SOS 3268096 HAS SOPS 3268096 HAS SOUS 1806323 HAS SOUPS 1806323 WITH SCORE 1809591.096
AT ITER 301 NEW BEST:: SOT 5173751 SOS 3267042 HAS SOPS 3267042 HAS SOUS 1805796 HAS SOUPS 1805796 WITH SCORE 1809063.042
AT ITER 303 NEW BEST:: SOT 5173751 SOS 3266186 HAS SOPS 3266186 HAS SOUS 1805476 HAS SOUPS 1805476 WITH SCORE 1808742.186
AT ITER 306 NEW BEST:: SOT 5173635 SOS 3266070 HAS SOPS 3266070 HAS SOUS 1805360 HAS SOUPS 1805360 WITH SCORE 1808626.07
AT ITER 307 NEW BEST:: SOT 5173635 SOS 3266070 HAS SOPS 3266070 HAS SOUS 1805328 HAS SOUPS 1805328 WITH SCORE 1808594.07
AT ITER 308 NEW BEST:: SOT 5172366 SOS 3263532 HAS SOPS 3263532 HAS SOUS 1804105 HAS SOUPS 1804105 WITH SCORE 1807368.532
AT ITER 314 NEW BEST:: SOT 5170755 SOS 3261921 HAS SOPS 3261921 HAS SOUS 1803762 HAS SOUPS 1803762 WITH SCORE 1807023.921
AT ITER 315 NEW BEST:: SOT 5170254 SOS 3260418 HAS SOPS 3260418 HAS SOUS 1802760 HAS SOUPS 1802760 WITH SCORE 1806020.418
AT ITER 323 NEW BEST:: SOT 5168713 SOS 3257853 HAS SOPS 3257853 HAS SOUS 1801431 HAS SOUPS 1801431 WITH SCORE 1804688.853
AT ITER 327 NEW BEST:: SOT 5168088 SOS 3255353 HAS SOPS 3255353 HAS SOUS 1800236 HAS SOUPS 1800236 WITH SCORE 1803491.353
AT ITER 337 NEW BEST:: SOT 5143131 SOS 3231439 HAS SOPS 3231439 HAS SOUS 1775279 HAS SOUPS 1775279 WITH SCORE 1778510.439
AT ITER 338 NEW BEST:: SOT 5143131 SOS 3230540 HAS SOPS 3230540 HAS SOUS 1775274 HAS SOUPS 1775274 WITH SCORE 1778504.54
AT ITER 344 NEW BEST:: SOT 5142757 SOS 3230166 HAS SOPS 3230166 HAS SOUS 1774895 HAS SOUPS 1774895 WITH SCORE 1778125.166
AT ITER 345 NEW BEST:: SOT 5142757 SOS 3230065 HAS SOPS 3230065 HAS SOUS 1774794 HAS SOUPS 1774794 WITH SCORE 1778024.065
AT ITER 347 NEW BEST:: SOT 5142650 SOS 3229825 HAS SOPS 3229825 HAS SOUS 1774554 HAS SOUPS 1774554 WITH SCORE 1777783.825
AT ITER 351 NEW BEST:: SOT 5142219 SOS 3228963 HAS SOPS 3228963 HAS SOUS 1774122 HAS SOUPS 1774122 WITH SCORE 1777350.963
AT ITER 356 NEW BEST:: SOT 5141941 SOS 3225373 HAS SOPS 3225373 HAS SOUS 1773799 HAS SOUPS 1773799 WITH SCORE 1777024.373
AT ITER 357 NEW BEST:: SOT 5140066 SOS 3223573 HAS SOPS 3223573 HAS SOUS 1772074 HAS SOUPS 1772074 WITH SCORE 1775297.573
AT ITER 363 NEW BEST:: SOT 5139828 SOS 3222621 HAS SOPS 3222621 HAS SOUS 1771597 HAS SOUPS 1771597 WITH SCORE 1774819.621
AT ITER 366 NEW BEST:: SOT 5139272 SOS 3221830 HAS SOPS 3221830 HAS SOUS 1771351 HAS SOUPS 1771351 WITH SCORE 1774572.83
AT ITER 371 NEW BEST:: SOT 5137810 SOS 3220368 HAS SOPS 3220368 HAS SOUS 1771073 HAS SOUPS 1771073 WITH SCORE 1774293.368
AT ITER 376 NEW BEST:: SOT 5137247 SOS 3218116 HAS SOPS 3218116 HAS SOUS 1769645 HAS SOUPS 1769645 WITH SCORE 1772863.116
AT ITER 378 NEW BEST:: SOT 5135839 SOS 3215300 HAS SOPS 3215300 HAS SOUS 1768288 HAS SOUPS 1768288 WITH SCORE 1771503.3
AT ITER 380 NEW BEST:: SOT 5135484 SOS 3214945 HAS SOPS 3214945 HAS SOUS 1768041 HAS SOUPS 1768041 WITH SCORE 1771255.945
AT ITER 383 NEW BEST:: SOT 5134020 SOS 3213481 HAS SOPS 3213481 HAS SOUS 1767534 HAS SOUPS 1767534 WITH SCORE 1770747.481
AT ITER 386 NEW BEST:: SOT 5133636 SOS 3212713 HAS SOPS 3212713 HAS SOUS 1767289 HAS SOUPS 1767289 WITH SCORE 1770501.713
AT ITER 390 NEW BEST:: SOT 5133187 SOS 3211061 HAS SOPS 3211061 HAS SOUS 1767140 HAS SOUPS 1767140 WITH SCORE 1770351.061
AT ITER 392 NEW BEST:: SOT 5132564 SOS 3209192 HAS SOPS 3209192 HAS SOUS 1765949 HAS SOUPS 1765949 WITH SCORE 1769158.192
AT ITER 393 NEW BEST:: SOT 5132827 SOS 3208326 HAS SOPS 3208326 HAS SOUS 1763716 HAS SOUPS 1763716 WITH SCORE 1766924.326
AT ITER 400 NEW BEST:: SOT 5132802 SOS 3207189 HAS SOPS 3207189 HAS SOUS 1763246 HAS SOUPS 1763246 WITH SCORE 1766453.189
AT ITER 413 NEW BEST:: SOT 5132218 SOS 3206021 HAS SOPS 3206021 HAS SOUS 1762078 HAS SOUPS 1762078 WITH SCORE 1765284.021
AT ITER 414 NEW BEST:: SOT 5130229 SOS 3202842 HAS SOPS 3202842 HAS SOUS 1760370 HAS SOUPS 1760370 WITH SCORE 1763572.842
AT ITER 419 NEW BEST:: SOT 5128956 SOS 3202210 HAS SOPS 3202210 HAS SOUS 1759169 HAS SOUPS 1759169 WITH SCORE 1762371.21
AT ITER 428 NEW BEST:: SOT 5128956 SOS 3202210 HAS SOPS 3202210 HAS SOUS 1759056 HAS SOUPS 1759056 WITH SCORE 1762258.21
AT ITER 432 NEW BEST:: SOT 5128820 SOS 3202074 HAS SOPS 3202074 HAS SOUS 1758937 HAS SOUPS 1758937 WITH SCORE 1762139.074
AT ITER 435 NEW BEST:: SOT 5126884 SOS 3199618 HAS SOPS 3199618 HAS SOUS 1757001 HAS SOUPS 1757001 WITH SCORE 1760200.618
AT ITER 437 NEW BEST:: SOT 5126712 SOS 3198930 HAS SOPS 3198930 HAS SOUS 1756828 HAS SOUPS 1756828 WITH SCORE 1760026.93
AT ITER 439 NEW BEST:: SOT 5126446 SOS 3198132 HAS SOPS 3198132 HAS SOUS 1756559 HAS SOUPS 1756559 WITH SCORE 1759757.132
AT ITER 440 NEW BEST:: SOT 5126016 SOS 3196412 HAS SOPS 3196412 HAS SOUS 1756128 HAS SOUPS 1756128 WITH SCORE 1759324.412
AT ITER 442 NEW BEST:: SOT 5125782 SOS 3195710 HAS SOPS 3195710 HAS SOUS 1755599 HAS SOUPS 1755599 WITH SCORE 1758794.71
AT ITER 446 NEW BEST:: SOT 5125782 SOS 3195629 HAS SOPS 3195629 HAS SOUS 1755518 HAS SOUPS 1755518 WITH SCORE 1758713.629
AT ITER 448 NEW BEST:: SOT 5124368 SOS 3193699 HAS SOPS 3193699 HAS SOUS 1754104 HAS SOUPS 1754104 WITH SCORE 1757297.699
AT ITER 452 NEW BEST:: SOT 5123383 SOS 3193771 HAS SOPS 3193771 HAS SOUS 1753118 HAS SOUPS 1753118 WITH SCORE 1756311.771
AT ITER 453 NEW BEST:: SOT 5123136 SOS 3192783 HAS SOPS 3192783 HAS SOUS 1752871 HAS SOUPS 1752871 WITH SCORE 1756063.783
AT ITER 454 NEW BEST:: SOT 5123136 SOS 3192783 HAS SOPS 3192783 HAS SOUS 1752638 HAS SOUPS 1752638 WITH SCORE 1755830.783
AT ITER 456 NEW BEST:: SOT 5121464 SOS 3191111 HAS SOPS 3191111 HAS SOUS 1751968 HAS SOUPS 1751968 WITH SCORE 1755159.111
AT ITER 461 NEW BEST:: SOT 5121283 SOS 3186224 HAS SOPS 3186224 HAS SOUS 1751787 HAS SOUPS 1751787 WITH SCORE 1754973.224
AT ITER 462 NEW BEST:: SOT 5119925 SOS 3183937 HAS SOPS 3183937 HAS SOUS 1750707 HAS SOUPS 1750707 WITH SCORE 1753890.937
AT ITER 463 NEW BEST:: SOT 5118303 SOS 3182315 HAS SOPS 3182315 HAS SOUS 1750141 HAS SOUPS 1750141 WITH SCORE 1753323.315
AT ITER 464 NEW BEST:: SOT 5118303 SOS 3173938 HAS SOPS 3173938 HAS SOUS 1749794 HAS SOUPS 1749794 WITH SCORE 1752967.938
AT ITER 471 NEW BEST:: SOT 5117664 SOS 3172051 HAS SOPS 3172051 HAS SOUS 1748739 HAS SOUPS 1748739 WITH SCORE 1751911.051
AT ITER 477 NEW BEST:: SOT 5117307 SOS 3171337 HAS SOPS 3171337 HAS SOUS 1748440 HAS SOUPS 1748440 WITH SCORE 1751611.337
AT ITER 478 NEW BEST:: SOT 5116317 SOS 3169879 HAS SOPS 3169879 HAS SOUS 1747450 HAS SOUPS 1747450 WITH SCORE 1750619.879
AT ITER 480 NEW BEST:: SOT 5116310 SOS 3167069 HAS SOPS 3167069 HAS SOUS 1746172 HAS SOUPS 1746172 WITH SCORE 1749339.069
AT ITER 481 NEW BEST:: SOT 5115605 SOS 3165659 HAS SOPS 3165659 HAS SOUS 1744833 HAS SOUPS 1744833 WITH SCORE 1747998.659
AT ITER 483 NEW BEST:: SOT 5115186 SOS 3164402 HAS SOPS 3164402 HAS SOUS 1743995 HAS SOUPS 1743995 WITH SCORE 1747159.402
AT ITER 484 NEW BEST:: SOT 5113745 SOS 3162454 HAS SOPS 3162454 HAS SOUS 1742656 HAS SOUPS 1742656 WITH SCORE 1745818.454
AT ITER 486 NEW BEST:: SOT 5113752 SOS 3160728 HAS SOPS 3160728 HAS SOUS 1742208 HAS SOUPS 1742208 WITH SCORE 1745368.728
AT ITER 487 NEW BEST:: SOT 5112839 SOS 3159815 HAS SOPS 3159815 HAS SOUS 1742151 HAS SOUPS 1742151 WITH SCORE 1745310.815
AT ITER 497 NEW BEST:: SOT 5111322 SOS 3158298 HAS SOPS 3158298 HAS SOUS 1741014 HAS SOUPS 1741014 WITH SCORE 1744172.298
AT ITER 502 NEW BEST:: SOT 5111322 SOS 3158298 HAS SOPS 3158298 HAS SOUS 1740930 HAS SOUPS 1740930 WITH SCORE 1744088.298
AT ITER 503 NEW BEST:: SOT 5110627 SOS 3154692 HAS SOPS 3154692 HAS SOUS 1738729 HAS SOUPS 1738729 WITH SCORE 1741883.692
AT ITER 513 NEW BEST:: SOT 5110474 SOS 3150561 HAS SOPS 3150561 HAS SOUS 1738576 HAS SOUPS 1738576 WITH SCORE 1741726.561
AT ITER 515 NEW BEST:: SOT 5110763 SOS 3150850 HAS SOPS 3150850 HAS SOUS 1737878 HAS SOUPS 1737878 WITH SCORE 1741028.85
AT ITER 516 NEW BEST:: SOT 5110036 SOS 3149396 HAS SOPS 3149396 HAS SOUS 1736867 HAS SOUPS 1736867 WITH SCORE 1740016.396
AT ITER 524 NEW BEST:: SOT 5109547 SOS 3147440 HAS SOPS 3147440 HAS SOUS 1735570 HAS SOUPS 1735570 WITH SCORE 1738717.44
AT ITER 525 NEW BEST:: SOT 5109196 SOS 3146738 HAS SOPS 3146738 HAS SOUS 1734595 HAS SOUPS 1734595 WITH SCORE 1737741.738
AT ITER 528 NEW BEST:: SOT 5107045 SOS 3142436 HAS SOPS 3142436 HAS SOUS 1731477 HAS SOUPS 1731477 WITH SCORE 1734619.436
AT ITER 530 NEW BEST:: SOT 5106677 SOS 3141700 HAS SOPS 3141700 HAS SOUS 1730740 HAS SOUPS 1730740 WITH SCORE 1733881.7
AT ITER 532 NEW BEST:: SOT 5106314 SOS 3141206 HAS SOPS 3141206 HAS SOUS 1730458 HAS SOUPS 1730458 WITH SCORE 1733599.206
AT ITER 540 NEW BEST:: SOT 5106314 SOS 3141206 HAS SOPS 3141206 HAS SOUS 1730457 HAS SOUPS 1730457 WITH SCORE 1733598.206
AT ITER 542 NEW BEST:: SOT 5105917 SOS 3137604 HAS SOPS 3137604 HAS SOUS 1729574 HAS SOUPS 1729574 WITH SCORE 1732711.604
AT ITER 544 NEW BEST:: SOT 5106499 SOS 3135956 HAS SOPS 3135956 HAS SOUS 1729205 HAS SOUPS 1729205 WITH SCORE 1732340.956
AT ITER 547 NEW BEST:: SOT 5106499 SOS 3135956 HAS SOPS 3135956 HAS SOUS 1727761 HAS SOUPS 1727761 WITH SCORE 1730896.956
AT ITER 551 NEW BEST:: SOT 5105933 SOS 3134258 HAS SOPS 3134258 HAS SOUS 1727752 HAS SOUPS 1727752 WITH SCORE 1730886.258
AT ITER 553 NEW BEST:: SOT 5105933 SOS 3133981 HAS SOPS 3133981 HAS SOUS 1727475 HAS SOUPS 1727475 WITH SCORE 1730608.981
AT ITER 554 NEW BEST:: SOT 5106033 SOS 3133382 HAS SOPS 3133382 HAS SOUS 1726776 HAS SOUPS 1726776 WITH SCORE 1729909.382
AT ITER 555 NEW BEST:: SOT 5104559 SOS 3130434 HAS SOPS 3130434 HAS SOUS 1723817 HAS SOUPS 1723817 WITH SCORE 1726947.434
AT ITER 558 NEW BEST:: SOT 5103635 SOS 3129510 HAS SOPS 3129510 HAS SOUS 1723237 HAS SOUPS 1723237 WITH SCORE 1726366.51
AT ITER 562 NEW BEST:: SOT 5103635 SOS 3128482 HAS SOPS 3128482 HAS SOUS 1723237 HAS SOUPS 1723237 WITH SCORE 1726365.482
AT ITER 563 NEW BEST:: SOT 5103635 SOS 3128248 HAS SOPS 3128248 HAS SOUS 1723181 HAS SOUPS 1723181 WITH SCORE 1726309.248
AT ITER 572 NEW BEST:: SOT 5102877 SOS 3126694 HAS SOPS 3126694 HAS SOUS 1722657 HAS SOUPS 1722657 WITH SCORE 1725783.694
AT ITER 576 NEW BEST:: SOT 5102877 SOS 3126694 HAS SOPS 3126694 HAS SOUS 1722656 HAS SOUPS 1722656 WITH SCORE 1725782.694
AT ITER 578 NEW BEST:: SOT 5102877 SOS 3126086 HAS SOPS 3126086 HAS SOUS 1722352 HAS SOUPS 1722352 WITH SCORE 1725478.086
AT ITER 579 NEW BEST:: SOT 5102877 SOS 3126086 HAS SOPS 3126086 HAS SOUS 1722003 HAS SOUPS 1722003 WITH SCORE 1725129.086
AT ITER 581 NEW BEST:: SOT 5102648 SOS 3125857 HAS SOPS 3125857 HAS SOUS 1721545 HAS SOUPS 1721545 WITH SCORE 1724670.857
AT ITER 582 NEW BEST:: SOT 5102648 SOS 3125818 HAS SOPS 3125818 HAS SOUS 1721506 HAS SOUPS 1721506 WITH SCORE 1724631.818
AT ITER 586 NEW BEST:: SOT 5102041 SOS 3125023 HAS SOPS 3125023 HAS SOUS 1721453 HAS SOUPS 1721453 WITH SCORE 1724578.023
AT ITER 590 NEW BEST:: SOT 5101143 SOS 3123227 HAS SOPS 3123227 HAS SOUS 1720554 HAS SOUPS 1720554 WITH SCORE 1723677.227
AT ITER 593 NEW BEST:: SOT 5100381 SOS 3122465 HAS SOPS 3122465 HAS SOUS 1720553 HAS SOUPS 1720553 WITH SCORE 1723675.465
AT ITER 595 NEW BEST:: SOT 5100419 SOS 3119995 HAS SOPS 3119995 HAS SOUS 1719973 HAS SOUPS 1719973 WITH SCORE 1723092.995
AT ITER 596 NEW BEST:: SOT 5100684 SOS 3118443 HAS SOPS 3118443 HAS SOUS 1719619 HAS SOUPS 1719619 WITH SCORE 1722737.443
AT ITER 599 NEW BEST:: SOT 5100684 SOS 3117791 HAS SOPS 3117791 HAS SOUS 1719618 HAS SOUPS 1719618 WITH SCORE 1722735.791
AT ITER 600 NEW BEST:: SOT 5100240 SOS 3116149 HAS SOPS 3116149 HAS SOUS 1718625 HAS SOUPS 1718625 WITH SCORE 1721741.149
AT ITER 601 NEW BEST:: SOT 5100240 SOS 3116149 HAS SOPS 3116149 HAS SOUS 1718624 HAS SOUPS 1718624 WITH SCORE 1721740.149
AT ITER 611 NEW BEST:: SOT 5099420 SOS 3113738 HAS SOPS 3113738 HAS SOUS 1717605 HAS SOUPS 1717605 WITH SCORE 1720718.738
AT ITER 614 NEW BEST:: SOT 5096764 SOS 3109890 HAS SOPS 3109890 HAS SOUS 1714968 HAS SOUPS 1714968 WITH SCORE 1718077.89
AT ITER 626 NEW BEST:: SOT 5096770 SOS 3108466 HAS SOPS 3108466 HAS SOUS 1713725 HAS SOUPS 1713725 WITH SCORE 1716833.466
AT ITER 634 NEW BEST:: SOT 5096376 SOS 3107487 HAS SOPS 3107487 HAS SOUS 1713331 HAS SOUPS 1713331 WITH SCORE 1716438.487
AT ITER 636 NEW BEST:: SOT 5096116 SOS 3106707 HAS SOPS 3106707 HAS SOUS 1712811 HAS SOUPS 1712811 WITH SCORE 1715917.707
AT ITER 643 NEW BEST:: SOT 5095299 SOS 3103439 HAS SOPS 3103439 HAS SOUS 1711409 HAS SOUPS 1711409 WITH SCORE 1714512.439
AT ITER 646 NEW BEST:: SOT 5095373 SOS 3100341 HAS SOPS 3100341 HAS SOUS 1711341 HAS SOUPS 1711341 WITH SCORE 1714441.341
AT ITER 648 NEW BEST:: SOT 5095544 SOS 3100512 HAS SOPS 3100512 HAS SOUS 1710917 HAS SOUPS 1710917 WITH SCORE 1714017.512
AT ITER 650 NEW BEST:: SOT 5095809 SOS 3099530 HAS SOPS 3099530 HAS SOUS 1710180 HAS SOUPS 1710180 WITH SCORE 1713279.53
AT ITER 652 NEW BEST:: SOT 5095348 SOS 3096192 HAS SOPS 3096192 HAS SOUS 1707676 HAS SOUPS 1707676 WITH SCORE 1710772.192
AT ITER 654 NEW BEST:: SOT 5093905 SOS 3094749 HAS SOPS 3094749 HAS SOUS 1707412 HAS SOUPS 1707412 WITH SCORE 1710506.749
AT ITER 655 NEW BEST:: SOT 5093905 SOS 3094749 HAS SOPS 3094749 HAS SOUS 1707326 HAS SOUPS 1707326 WITH SCORE 1710420.749
AT ITER 660 NEW BEST:: SOT 5093587 SOS 3093477 HAS SOPS 3093477 HAS SOUS 1707008 HAS SOUPS 1707008 WITH SCORE 1710101.477
AT ITER 661 NEW BEST:: SOT 5093163 SOS 3091781 HAS SOPS 3091781 HAS SOUS 1706160 HAS SOUPS 1706160 WITH SCORE 1709251.781
AT ITER 667 NEW BEST:: SOT 5092904 SOS 3090745 HAS SOPS 3090745 HAS SOUS 1705641 HAS SOUPS 1705641 WITH SCORE 1708731.745
AT ITER 670 NEW BEST:: SOT 5090238 SOS 3086856 HAS SOPS 3086856 HAS SOUS 1703014 HAS SOUPS 1703014 WITH SCORE 1706100.856
AT ITER 679 NEW BEST:: SOT 5089982 SOS 3086600 HAS SOPS 3086600 HAS SOUS 1702758 HAS SOUPS 1702758 WITH SCORE 1705844.6
AT ITER 682 NEW BEST:: SOT 5090063 SOS 3086372 HAS SOPS 3086372 HAS SOUS 1702756 HAS SOUPS 1702756 WITH SCORE 1705842.372
AT ITER 685 NEW BEST:: SOT 5089861 SOS 3085968 HAS SOPS 3085968 HAS SOUS 1702554 HAS SOUPS 1702554 WITH SCORE 1705639.968
AT ITER 688 NEW BEST:: SOT 5089836 SOS 3084986 HAS SOPS 3084986 HAS SOUS 1702504 HAS SOUPS 1702504 WITH SCORE 1705588.986
AT ITER 692 NEW BEST:: SOT 5089836 SOS 3084986 HAS SOPS 3084986 HAS SOUS 1702382 HAS SOUPS 1702382 WITH SCORE 1705466.986
AT ITER 695 NEW BEST:: SOT 5090143 SOS 3083598 HAS SOPS 3083598 HAS SOUS 1701981 HAS SOUPS 1701981 WITH SCORE 1705064.598
AT ITER 703 NEW BEST:: SOT 5088773 SOS 3082228 HAS SOPS 3082228 HAS SOUS 1701981 HAS SOUPS 1701981 WITH SCORE 1705063.228
AT ITER 705 NEW BEST:: SOT 5088263 SOS 3080188 HAS SOPS 3080188 HAS SOUS 1701470 HAS SOUPS 1701470 WITH SCORE 1704550.188
AT ITER 708 NEW BEST:: SOT 5087535 SOS 3079098 HAS SOPS 3079098 HAS SOUS 1700742 HAS SOUPS 1700742 WITH SCORE 1703821.098
AT ITER 709 NEW BEST:: SOT 5086186 SOS 3077749 HAS SOPS 3077749 HAS SOUS 1700742 HAS SOUPS 1700742 WITH SCORE 1703819.749
AT ITER 710 NEW BEST:: SOT 5085499 SOS 3076840 HAS SOPS 3076840 HAS SOUS 1700055 HAS SOUPS 1700055 WITH SCORE 1703131.84
AT ITER 713 NEW BEST:: SOT 5085479 SOS 3076800 HAS SOPS 3076800 HAS SOUS 1700035 HAS SOUPS 1700035 WITH SCORE 1703111.8
AT ITER 715 NEW BEST:: SOT 5085479 SOS 3076800 HAS SOPS 3076800 HAS SOUS 1699999 HAS SOUPS 1699999 WITH SCORE 1703075.8
AT ITER 718 NEW BEST:: SOT 5085512 SOS 3076833 HAS SOPS 3076833 HAS SOUS 1699097 HAS SOUPS 1699097 WITH SCORE 1702173.833
AT ITER 719 NEW BEST:: SOT 5085423 SOS 3076655 HAS SOPS 3076655 HAS SOUS 1698919 HAS SOUPS 1698919 WITH SCORE 1701995.655
AT ITER 722 NEW BEST:: SOT 5085175 SOS 3076153 HAS SOPS 3076153 HAS SOUS 1698671 HAS SOUPS 1698671 WITH SCORE 1701747.153
AT ITER 729 NEW BEST:: SOT 5085175 SOS 3075523 HAS SOPS 3075523 HAS SOUS 1697921 HAS SOUPS 1697921 WITH SCORE 1700996.523
AT ITER 732 NEW BEST:: SOT 5082975 SOS 3072314 HAS SOPS 3072314 HAS SOUS 1696004 HAS SOUPS 1696004 WITH SCORE 1699076.314
AT ITER 733 NEW BEST:: SOT 5071244 SOS 3067884 HAS SOPS 3067884 HAS SOUS 1684586 HAS SOUPS 1684586 WITH SCORE 1687653.884
AT ITER 735 NEW BEST:: SOT 5069430 SOS 3065237 HAS SOPS 3065237 HAS SOUS 1682767 HAS SOUPS 1682767 WITH SCORE 1685832.237
AT ITER 737 NEW BEST:: SOT 5068711 SOS 3062361 HAS SOPS 3062361 HAS SOUS 1682048 HAS SOUPS 1682048 WITH SCORE 1685110.361
AT ITER 740 NEW BEST:: SOT 5068337 SOS 3061987 HAS SOPS 3061987 HAS SOUS 1681865 HAS SOUPS 1681865 WITH SCORE 1684926.987
AT ITER 741 NEW BEST:: SOT 5068020 SOS 3061670 HAS SOPS 3061670 HAS SOUS 1681548 HAS SOUPS 1681548 WITH SCORE 1684609.67
AT ITER 742 NEW BEST:: SOT 5068322 SOS 3059498 HAS SOPS 3059498 HAS SOUS 1679887 HAS SOUPS 1679887 WITH SCORE 1682946.498
AT ITER 748 NEW BEST:: SOT 5067908 SOS 3058670 HAS SOPS 3058670 HAS SOUS 1679472 HAS SOUPS 1679472 WITH SCORE 1682530.67
AT ITER 749 NEW BEST:: SOT 5068337 SOS 3058996 HAS SOPS 3058996 HAS SOUS 1679379 HAS SOUPS 1679379 WITH SCORE 1682437.996
AT ITER 751 NEW BEST:: SOT 5068593 SOS 3058208 HAS SOPS 3058208 HAS SOUS 1679239 HAS SOUPS 1679239 WITH SCORE 1682297.208
AT ITER 755 NEW BEST:: SOT 5068204 SOS 3057430 HAS SOPS 3057430 HAS SOUS 1678850 HAS SOUPS 1678850 WITH SCORE 1681907.43
AT ITER 757 NEW BEST:: SOT 5068204 SOS 3057180 HAS SOPS 3057180 HAS SOUS 1678839 HAS SOUPS 1678839 WITH SCORE 1681896.18
AT ITER 758 NEW BEST:: SOT 5067392 SOS 3055999 HAS SOPS 3055999 HAS SOUS 1678064 HAS SOUPS 1678064 WITH SCORE 1681119.999
AT ITER 759 NEW BEST:: SOT 5067105 SOS 3054851 HAS SOPS 3054851 HAS SOUS 1677490 HAS SOUPS 1677490 WITH SCORE 1680544.851
AT ITER 767 NEW BEST:: SOT 5066520 SOS 3054159 HAS SOPS 3054159 HAS SOUS 1676905 HAS SOUPS 1676905 WITH SCORE 1679959.159
AT ITER 768 NEW BEST:: SOT 5065941 SOS 3051637 HAS SOPS 3051637 HAS SOUS 1675906 HAS SOUPS 1675906 WITH SCORE 1678957.637
AT ITER 771 NEW BEST:: SOT 5065615 SOS 3051201 HAS SOPS 3051201 HAS SOUS 1675580 HAS SOUPS 1675580 WITH SCORE 1678631.201
AT ITER 774 NEW BEST:: SOT 5065496 SOS 3048315 HAS SOPS 3048315 HAS SOUS 1674789 HAS SOUPS 1674789 WITH SCORE 1677837.315
AT ITER 779 NEW BEST:: SOT 5065496 SOS 3047970 HAS SOPS 3047970 HAS SOUS 1674156 HAS SOUPS 1674156 WITH SCORE 1677203.97
AT ITER 780 NEW BEST:: SOT 5064908 SOS 3047052 HAS SOPS 3047052 HAS SOUS 1673621 HAS SOUPS 1673621 WITH SCORE 1676668.052
AT ITER 783 NEW BEST:: SOT 5064768 SOS 3046605 HAS SOPS 3046605 HAS SOUS 1673489 HAS SOUPS 1673489 WITH SCORE 1676535.605
AT ITER 784 NEW BEST:: SOT 5056777 SOS 3056773 HAS SOPS 3056773 HAS SOUS 1667823 HAS SOUPS 1667823 WITH SCORE 1670879.773
AT ITER 785 NEW BEST:: SOT 5057008 SOS 3056877 HAS SOPS 3056877 HAS SOUS 1667577 HAS SOUPS 1667577 WITH SCORE 1670633.877
AT ITER 787 NEW BEST:: SOT 5056709 SOS 3056578 HAS SOPS 3056578 HAS SOUS 1667512 HAS SOUPS 1667512 WITH SCORE 1670568.578
AT ITER 789 NEW BEST:: SOT 5056507 SOS 3056174 HAS SOPS 3056174 HAS SOUS 1667310 HAS SOUPS 1667310 WITH SCORE 1670366.174
AT ITER 795 NEW BEST:: SOT 5055987 SOS 3055051 HAS SOPS 3055051 HAS SOUS 1666905 HAS SOUPS 1666905 WITH SCORE 1669960.051
AT ITER 797 NEW BEST:: SOT 5054778 SOS 3050215 HAS SOPS 3050215 HAS SOUS 1663977 HAS SOUPS 1663977 WITH SCORE 1667027.215
AT ITER 798 NEW BEST:: SOT 5054350 SOS 3049359 HAS SOPS 3049359 HAS SOUS 1663605 HAS SOUPS 1663605 WITH SCORE 1666654.359
AT ITER 799 NEW BEST:: SOT 5055006 SOS 3049337 HAS SOPS 3049337 HAS SOUS 1663583 HAS SOUPS 1663583 WITH SCORE 1666632.337
AT ITER 801 NEW BEST:: SOT 5054415 SOS 3048746 HAS SOPS 3048746 HAS SOUS 1662992 HAS SOUPS 1662992 WITH SCORE 1666040.746
AT ITER 802 NEW BEST:: SOT 5054415 SOS 3038410 HAS SOPS 3038410 HAS SOUS 1662446 HAS SOUPS 1662446 WITH SCORE 1665484.41
AT ITER 803 NEW BEST:: SOT 5054358 SOS 3035024 HAS SOPS 3035024 HAS SOUS 1660019 HAS SOUPS 1660019 WITH SCORE 1663054.024
AT ITER 805 NEW BEST:: SOT 5054358 SOS 3034374 HAS SOPS 3034374 HAS SOUS 1660018 HAS SOUPS 1660018 WITH SCORE 1663052.374
AT ITER 815 NEW BEST:: SOT 5054521 SOS 3033197 HAS SOPS 3033197 HAS SOUS 1658009 HAS SOUPS 1658009 WITH SCORE 1661042.197
AT ITER 821 NEW BEST:: SOT 5054284 SOS 3032723 HAS SOPS 3032723 HAS SOUS 1657535 HAS SOUPS 1657535 WITH SCORE 1660567.723
AT ITER 823 NEW BEST:: SOT 5052967 SOS 3030483 HAS SOPS 3030483 HAS SOUS 1655389 HAS SOUPS 1655389 WITH SCORE 1658419.483
AT ITER 833 NEW BEST:: SOT 5052158 SOS 3029117 HAS SOPS 3029117 HAS SOUS 1654692 HAS SOUPS 1654692 WITH SCORE 1657721.117
AT ITER 834 NEW BEST:: SOT 5052551 SOS 3029510 HAS SOPS 3029510 HAS SOUS 1654049 HAS SOUPS 1654049 WITH SCORE 1657078.51
AT ITER 846 NEW BEST:: SOT 5049816 SOS 3025665 HAS SOPS 3025665 HAS SOUS 1651463 HAS SOUPS 1651463 WITH SCORE 1654488.665
AT ITER 852 NEW BEST:: SOT 5048320 SOS 3023783 HAS SOPS 3023783 HAS SOUS 1649967 HAS SOUPS 1649967 WITH SCORE 1652990.783
AT ITER 853 NEW BEST:: SOT 5048320 SOS 3023558 HAS SOPS 3023558 HAS SOUS 1649967 HAS SOUPS 1649967 WITH SCORE 1652990.558
AT ITER 859 NEW BEST:: SOT 5048366 SOS 3023176 HAS SOPS 3023176 HAS SOUS 1649114 HAS SOUPS 1649114 WITH SCORE 1652137.176
AT ITER 861 NEW BEST:: SOT 5048366 SOS 3023176 HAS SOPS 3023176 HAS SOUS 1649111 HAS SOUPS 1649111 WITH SCORE 1652134.176
AT ITER 865 NEW BEST:: SOT 5047527 SOS 3019820 HAS SOPS 3019820 HAS SOUS 1647768 HAS SOUPS 1647768 WITH SCORE 1650787.82
AT ITER 870 NEW BEST:: SOT 5047605 SOS 3019200 HAS SOPS 3019200 HAS SOUS 1647211 HAS SOUPS 1647211 WITH SCORE 1650230.2
AT ITER 874 NEW BEST:: SOT 5046556 SOS 3014803 HAS SOPS 3014803 HAS SOUS 1645942 HAS SOUPS 1645942 WITH SCORE 1648956.803
AT ITER 876 NEW BEST:: SOT 5046324 SOS 3014571 HAS SOPS 3014571 HAS SOUS 1645710 HAS SOUPS 1645710 WITH SCORE 1648724.571
AT ITER 878 NEW BEST:: SOT 5046117 SOS 3014364 HAS SOPS 3014364 HAS SOUS 1645503 HAS SOUPS 1645503 WITH SCORE 1648517.364
AT ITER 879 NEW BEST:: SOT 5045823 SOS 3013188 HAS SOPS 3013188 HAS SOUS 1645143 HAS SOUPS 1645143 WITH SCORE 1648156.188
AT ITER 885 NEW BEST:: SOT 5046487 SOS 3013002 HAS SOPS 3013002 HAS SOUS 1644529 HAS SOUPS 1644529 WITH SCORE 1647542.002
AT ITER 891 NEW BEST:: SOT 5046487 SOS 3013002 HAS SOPS 3013002 HAS SOUS 1644528 HAS SOUPS 1644528 WITH SCORE 1647541.002
AT ITER 896 NEW BEST:: SOT 5046487 SOS 3012435 HAS SOPS 3012435 HAS SOUS 1644193 HAS SOUPS 1644193 WITH SCORE 1647205.435
AT ITER 906 NEW BEST:: SOT 5046073 SOS 3009477 HAS SOPS 3009477 HAS SOUS 1642792 HAS SOUPS 1642792 WITH SCORE 1645801.477
AT ITER 907 NEW BEST:: SOT 5045481 SOS 3007109 HAS SOPS 3007109 HAS SOUS 1641969 HAS SOUPS 1641969 WITH SCORE 1644976.109
AT ITER 908 NEW BEST:: SOT 5030810 SOS 2994641 HAS SOPS 2994641 HAS SOUS 1629245 HAS SOUPS 1629245 WITH SCORE 1632239.641
AT ITER 910 NEW BEST:: SOT 5030647 SOS 2994315 HAS SOPS 2994315 HAS SOUS 1629203 HAS SOUPS 1629203 WITH SCORE 1632197.315
AT ITER 911 NEW BEST:: SOT 5030603 SOS 2994227 HAS SOPS 2994227 HAS SOUS 1629158 HAS SOUPS 1629158 WITH SCORE 1632152.227
AT ITER 915 NEW BEST:: SOT 5029771 SOS 2990018 HAS SOPS 2990018 HAS SOUS 1627597 HAS SOUPS 1627597 WITH SCORE 1630587.018
AT ITER 922 NEW BEST:: SOT 5029749 SOS 2989930 HAS SOPS 2989930 HAS SOUS 1627553 HAS SOUPS 1627553 WITH SCORE 1630542.93
AT ITER 931 NEW BEST:: SOT 5029749 SOS 2989930 HAS SOPS 2989930 HAS SOUS 1627530 HAS SOUPS 1627530 WITH SCORE 1630519.93
AT ITER 939 NEW BEST:: SOT 5029749 SOS 2989930 HAS SOPS 2989930 HAS SOUS 1627529 HAS SOUPS 1627529 WITH SCORE 1630518.93
AT ITER 943 NEW BEST:: SOT 5029749 SOS 2989699 HAS SOPS 2989699 HAS SOUS 1627224 HAS SOUPS 1627224 WITH SCORE 1630213.699
AT ITER 946 NEW BEST:: SOT 5027391 SOS 2986248 HAS SOPS 2986248 HAS SOUS 1625077 HAS SOUPS 1625077 WITH SCORE 1628063.248
AT ITER 949 NEW BEST:: SOT 5027428 SOS 2981273 HAS SOPS 2981273 HAS SOUS 1625001 HAS SOUPS 1625001 WITH SCORE 1627982.273
AT ITER 952 NEW BEST:: SOT 5027428 SOS 2981273 HAS SOPS 2981273 HAS SOUS 1624964 HAS SOUPS 1624964 WITH SCORE 1627945.273
AT ITER 953 NEW BEST:: SOT 5027013 SOS 2979613 HAS SOPS 2979613 HAS SOUS 1624134 HAS SOUPS 1624134 WITH SCORE 1627113.613
AT ITER 960 NEW BEST:: SOT 5027072 SOS 2978009 HAS SOPS 2978009 HAS SOUS 1623920 HAS SOUPS 1623920 WITH SCORE 1626898.009
AT ITER 962 NEW BEST:: SOT 5026915 SOS 2977448 HAS SOPS 2977448 HAS SOUS 1623261 HAS SOUPS 1623261 WITH SCORE 1626238.448
AT ITER 971 NEW BEST:: SOT 5026402 SOS 2976935 HAS SOPS 2976935 HAS SOUS 1622748 HAS SOUPS 1622748 WITH SCORE 1625724.935
AT ITER 974 NEW BEST:: SOT 5026295 SOS 2976721 HAS SOPS 2976721 HAS SOUS 1622748 HAS SOUPS 1622748 WITH SCORE 1625724.721
AT ITER 978 NEW BEST:: SOT 5026295 SOS 2976710 HAS SOPS 2976710 HAS SOUS 1622736 HAS SOUPS 1622736 WITH SCORE 1625712.71
AT ITER 981 NEW BEST:: SOT 5026111 SOS 2976158 HAS SOPS 2976158 HAS SOUS 1622368 HAS SOUPS 1622368 WITH SCORE 1625344.158
AT ITER 982 NEW BEST:: SOT 5025659 SOS 2975254 HAS SOPS 2975254 HAS SOUS 1621464 HAS SOUPS 1621464 WITH SCORE 1624439.254
AT ITER 983 NEW BEST:: SOT 5025093 SOS 2973179 HAS SOPS 2973179 HAS SOUS 1620035 HAS SOUPS 1620035 WITH SCORE 1623008.179
AT ITER 984 NEW BEST:: SOT 5024752 SOS 2972830 HAS SOPS 2972830 HAS SOUS 1619692 HAS SOUPS 1619692 WITH SCORE 1622664.83
AT ITER 985 NEW BEST:: SOT 5024752 SOS 2972680 HAS SOPS 2972680 HAS SOUS 1619542 HAS SOUPS 1619542 WITH SCORE 1622514.68
AT ITER 987 NEW BEST:: SOT 5024411 SOS 2972680 HAS SOPS 2972680 HAS SOUS 1618860 HAS SOUPS 1618860 WITH SCORE 1621832.68
AT ITER 988 NEW BEST:: SOT 5024400 SOS 2972658 HAS SOPS 2972658 HAS SOUS 1618855 HAS SOUPS 1618855 WITH SCORE 1621827.658
AT ITER 989 NEW BEST:: SOT 5024848 SOS 2972013 HAS SOPS 2972013 HAS SOUS 1618402 HAS SOUPS 1618402 WITH SCORE 1621374.013
AT ITER 994 NEW BEST:: SOT 5023530 SOS 2967915 HAS SOPS 2967915 HAS SOUS 1616807 HAS SOUPS 1616807 WITH SCORE 1619774.915
AT ITER 995 NEW BEST:: SOT 5023530 SOS 2967357 HAS SOPS 2967357 HAS SOUS 1616799 HAS SOUPS 1616799 WITH SCORE 1619766.357
AT ITER 996 NEW BEST:: SOT 5023530 SOS 2963157 HAS SOPS 2963157 HAS SOUS 1616295 HAS SOUPS 1616295 WITH SCORE 1619258.157
AT ITER 997 NEW BEST:: SOT 5023915 SOS 2962568 HAS SOPS 2962568 HAS SOUS 1615892 HAS SOUPS 1615892 WITH SCORE 1618854.568
AT ITER 1001 NEW BEST:: SOT 5024250 SOS 2937295 HAS SOPS 2937295 HAS SOUS 1615264 HAS SOUPS 1615264 WITH SCORE 1618201.295
AT ITER 1005 NEW BEST:: SOT 5024137 SOS 2937182 HAS SOPS 2937182 HAS SOUS 1615253 HAS SOUPS 1615253 WITH SCORE 1618190.182
AT ITER 1008 NEW BEST:: SOT 5023449 SOS 2936649 HAS SOPS 2936649 HAS SOUS 1615243 HAS SOUPS 1615243 WITH SCORE 1618179.649
AT ITER 1009 NEW BEST:: SOT 5023449 SOS 2936649 HAS SOPS 2936649 HAS SOUS 1615121 HAS SOUPS 1615121 WITH SCORE 1618057.649
AT ITER 1012 NEW BEST:: SOT 5023668 SOS 2935644 HAS SOPS 2935644 HAS SOUS 1613378 HAS SOUPS 1613378 WITH SCORE 1616313.644
AT ITER 1014 NEW BEST:: SOT 5023668 SOS 2934426 HAS SOPS 2934426 HAS SOUS 1612160 HAS SOUPS 1612160 WITH SCORE 1615094.426
AT ITER 1017 NEW BEST:: SOT 5023561 SOS 2934212 HAS SOPS 2934212 HAS SOUS 1612053 HAS SOUPS 1612053 WITH SCORE 1614987.212
AT ITER 1018 NEW BEST:: SOT 5023487 SOS 2934064 HAS SOPS 2934064 HAS SOUS 1612027 HAS SOUPS 1612027 WITH SCORE 1614961.064
AT ITER 1020 NEW BEST:: SOT 5023093 SOS 2932488 HAS SOPS 2932488 HAS SOUS 1611490 HAS SOUPS 1611490 WITH SCORE 1614422.488
AT ITER 1022 NEW BEST:: SOT 5012949 SOS 2961335 HAS SOPS 2961335 HAS SOUS 1606284 HAS SOUPS 1606284 WITH SCORE 1609245.335
AT ITER 1025 NEW BEST:: SOT 5012026 SOS 2961086 HAS SOPS 2961086 HAS SOUS 1606052 HAS SOUPS 1606052 WITH SCORE 1609013.086
AT ITER 1026 NEW BEST:: SOT 5011266 SOS 2958046 HAS SOPS 2958046 HAS SOUS 1604699 HAS SOUPS 1604699 WITH SCORE 1607657.046
AT ITER 1029 NEW BEST:: SOT 5010563 SOS 2955234 HAS SOPS 2955234 HAS SOUS 1603996 HAS SOUPS 1603996 WITH SCORE 1606951.234
AT ITER 1030 NEW BEST:: SOT 5010088 SOS 2952237 HAS SOPS 2952237 HAS SOUS 1603051 HAS SOUPS 1603051 WITH SCORE 1606003.237
AT ITER 1038 NEW BEST:: SOT 4997096 SOS 2973806 HAS SOPS 2973806 HAS SOUS 1594033 HAS SOUPS 1594033 WITH SCORE 1597006.806
AT ITER 1039 NEW BEST:: SOT 4997043 SOS 2973700 HAS SOPS 2973700 HAS SOUS 1593719 HAS SOUPS 1593719 WITH SCORE 1596692.7
AT ITER 1041 NEW BEST:: SOT 4997043 SOS 2973700 HAS SOPS 2973700 HAS SOUS 1593135 HAS SOUPS 1593135 WITH SCORE 1596108.7
AT ITER 1043 NEW BEST:: SOT 4997043 SOS 2973700 HAS SOPS 2973700 HAS SOUS 1592250 HAS SOUPS 1592250 WITH SCORE 1595223.7
AT ITER 1051 NEW BEST:: SOT 4997043 SOS 2973805 HAS SOPS 2973805 HAS SOUS 1591036 HAS SOUPS 1591036 WITH SCORE 1594009.805
AT ITER 1054 NEW BEST:: SOT 4997043 SOS 2973119 HAS SOPS 2973119 HAS SOUS 1590477 HAS SOUPS 1590477 WITH SCORE 1593450.119
AT ITER 1055 NEW BEST:: SOT 4996661 SOS 2971591 HAS SOPS 2971591 HAS SOUS 1589331 HAS SOUPS 1589331 WITH SCORE 1592302.591
AT ITER 1057 NEW BEST:: SOT 4995980 SOS 2970229 HAS SOPS 2970229 HAS SOUS 1588916 HAS SOUPS 1588916 WITH SCORE 1591886.229
AT ITER 1058 NEW BEST:: SOT 4989759 SOS 2989273 HAS SOPS 2989273 HAS SOUS 1585931 HAS SOUPS 1585931 WITH SCORE 1588920.273
AT ITER 1060 NEW BEST:: SOT 4989244 SOS 2985809 HAS SOPS 2985809 HAS SOUS 1584596 HAS SOUPS 1584596 WITH SCORE 1587581.809
AT ITER 1064 NEW BEST:: SOT 4988894 SOS 2985284 HAS SOPS 2985284 HAS SOUS 1584246 HAS SOUPS 1584246 WITH SCORE 1587231.284
AT ITER 1065 NEW BEST:: SOT 4988894 SOS 2985223 HAS SOPS 2985223 HAS SOUS 1584243 HAS SOUPS 1584243 WITH SCORE 1587228.223
AT ITER 1066 NEW BEST:: SOT 4988311 SOS 2984057 HAS SOPS 2984057 HAS SOUS 1583660 HAS SOUPS 1583660 WITH SCORE 1586644.057
AT ITER 1072 NEW BEST:: SOT 4988782 SOS 2984240 HAS SOPS 2984240 HAS SOUS 1583557 HAS SOUPS 1583557 WITH SCORE 1586541.24
AT ITER 1093 NEW BEST:: SOT 4988353 SOS 2981238 HAS SOPS 2981238 HAS SOUS 1582955 HAS SOUPS 1582955 WITH SCORE 1585936.238
AT ITER 1095 NEW BEST:: SOT 4987869 SOS 2980754 HAS SOPS 2980754 HAS SOUS 1582484 HAS SOUPS 1582484 WITH SCORE 1585464.754
AT ITER 1097 NEW BEST:: SOT 4987633 SOS 2980518 HAS SOPS 2980518 HAS SOUS 1582366 HAS SOUPS 1582366 WITH SCORE 1585346.518
AT ITER 1103 NEW BEST:: SOT 4987633 SOS 2980492 HAS SOPS 2980492 HAS SOUS 1582366 HAS SOUPS 1582366 WITH SCORE 1585346.492
AT ITER 1104 NEW BEST:: SOT 4987335 SOS 2979896 HAS SOPS 2979896 HAS SOUS 1582068 HAS SOUPS 1582068 WITH SCORE 1585047.896
AT ITER 1105 NEW BEST:: SOT 4986476 SOS 2979037 HAS SOPS 2979037 HAS SOUS 1581069 HAS SOUPS 1581069 WITH SCORE 1584048.037
AT ITER 1108 NEW BEST:: SOT 4986442 SOS 2978969 HAS SOPS 2978969 HAS SOUS 1580967 HAS SOUPS 1580967 WITH SCORE 1583945.969
AT ITER 1109 NEW BEST:: SOT 4986417 SOS 2978509 HAS SOPS 2978509 HAS SOUS 1580917 HAS SOUPS 1580917 WITH SCORE 1583895.509
AT ITER 1111 NEW BEST:: SOT 4986964 SOS 2979603 HAS SOPS 2979603 HAS SOUS 1580834 HAS SOUPS 1580834 WITH SCORE 1583813.603
AT ITER 1113 NEW BEST:: SOT 4986906 SOS 2979487 HAS SOPS 2979487 HAS SOUS 1580776 HAS SOUPS 1580776 WITH SCORE 1583755.487
AT ITER 1116 NEW BEST:: SOT 4986745 SOS 2978843 HAS SOPS 2978843 HAS SOUS 1580454 HAS SOUPS 1580454 WITH SCORE 1583432.843
AT ITER 1123 NEW BEST:: SOT 4986325 SOS 2977583 HAS SOPS 2977583 HAS SOUS 1579614 HAS SOUPS 1579614 WITH SCORE 1582591.583
AT ITER 1124 NEW BEST:: SOT 4986233 SOS 2977399 HAS SOPS 2977399 HAS SOUS 1579349 HAS SOUPS 1579349 WITH SCORE 1582326.399
AT ITER 1129 NEW BEST:: SOT 4986348 SOS 2977577 HAS SOPS 2977577 HAS SOUS 1579050 HAS SOUPS 1579050 WITH SCORE 1582027.577
AT ITER 1130 NEW BEST:: SOT 4986348 SOS 2977577 HAS SOPS 2977577 HAS SOUS 1578709 HAS SOUPS 1578709 WITH SCORE 1581686.577
AT ITER 1131 NEW BEST:: SOT 4986348 SOS 2977501 HAS SOPS 2977501 HAS SOUS 1578706 HAS SOUPS 1578706 WITH SCORE 1581683.501
AT ITER 1134 NEW BEST:: SOT 4986348 SOS 2977501 HAS SOPS 2977501 HAS SOUS 1578688 HAS SOUPS 1578688 WITH SCORE 1581665.501
AT ITER 1138 NEW BEST:: SOT 4986257 SOS 2977501 HAS SOPS 2977501 HAS SOUS 1578506 HAS SOUPS 1578506 WITH SCORE 1581483.501
AT ITER 1140 NEW BEST:: SOT 4984981 SOS 2976225 HAS SOPS 2976225 HAS SOUS 1578506 HAS SOUPS 1578506 WITH SCORE 1581482.225
AT ITER 1143 NEW BEST:: SOT 4984744 SOS 2975751 HAS SOPS 2975751 HAS SOUS 1578268 HAS SOUPS 1578268 WITH SCORE 1581243.751
AT ITER 1144 NEW BEST:: SOT 4983111 SOS 2969094 HAS SOPS 2969094 HAS SOUS 1576571 HAS SOUPS 1576571 WITH SCORE 1579540.094
AT ITER 1146 NEW BEST:: SOT 4983111 SOS 2968901 HAS SOPS 2968901 HAS SOUS 1576571 HAS SOUPS 1576571 WITH SCORE 1579539.901
AT ITER 1151 NEW BEST:: SOT 4982981 SOS 2968381 HAS SOPS 2968381 HAS SOUS 1576311 HAS SOUPS 1576311 WITH SCORE 1579279.381
AT ITER 1152 NEW BEST:: SOT 4982674 SOS 2967997 HAS SOPS 2967997 HAS SOUS 1576003 HAS SOUPS 1576003 WITH SCORE 1578970.997
AT ITER 1157 NEW BEST:: SOT 4982674 SOS 2967997 HAS SOPS 2967997 HAS SOUS 1575951 HAS SOUPS 1575951 WITH SCORE 1578918.997
AT ITER 1158 NEW BEST:: SOT 4982674 SOS 2967997 HAS SOPS 2967997 HAS SOUS 1575827 HAS SOUPS 1575827 WITH SCORE 1578794.997
AT ITER 1161 NEW BEST:: SOT 4982772 SOS 2967961 HAS SOPS 2967961 HAS SOUS 1575464 HAS SOUPS 1575464 WITH SCORE 1578431.961
AT ITER 1163 NEW BEST:: SOT 4982541 SOS 2967730 HAS SOPS 2967730 HAS SOUS 1575464 HAS SOUPS 1575464 WITH SCORE 1578431.73
AT ITER 1166 NEW BEST:: SOT 4982090 SOS 2966973 HAS SOPS 2966973 HAS SOUS 1575012 HAS SOUPS 1575012 WITH SCORE 1577978.973
AT ITER 1167 NEW BEST:: SOT 4981682 SOS 2966510 HAS SOPS 2966510 HAS SOUS 1574739 HAS SOUPS 1574739 WITH SCORE 1577705.51
AT ITER 1169 NEW BEST:: SOT 4980914 SOS 2965230 HAS SOPS 2965230 HAS SOUS 1573715 HAS SOUPS 1573715 WITH SCORE 1576680.23
AT ITER 1174 NEW BEST:: SOT 4980082 SOS 2964209 HAS SOPS 2964209 HAS SOUS 1573142 HAS SOUPS 1573142 WITH SCORE 1576106.209
AT ITER 1179 NEW BEST:: SOT 4980082 SOS 2964209 HAS SOPS 2964209 HAS SOUS 1573139 HAS SOUPS 1573139 WITH SCORE 1576103.209
AT ITER 1182 NEW BEST:: SOT 4979729 SOS 2963305 HAS SOPS 2963305 HAS SOUS 1572786 HAS SOUPS 1572786 WITH SCORE 1575749.305
AT ITER 1183 NEW BEST:: SOT 4979348 SOS 2963293 HAS SOPS 2963293 HAS SOUS 1572786 HAS SOUPS 1572786 WITH SCORE 1575749.293
AT ITER 1187 NEW BEST:: SOT 4978676 SOS 2961949 HAS SOPS 2961949 HAS SOUS 1572114 HAS SOUPS 1572114 WITH SCORE 1575075.949
AT ITER 1194 NEW BEST:: SOT 4979152 SOS 2959753 HAS SOPS 2959753 HAS SOUS 1570965 HAS SOUPS 1570965 WITH SCORE 1573924.753
AT ITER 1197 NEW BEST:: SOT 4978847 SOS 2959448 HAS SOPS 2959448 HAS SOUS 1570727 HAS SOUPS 1570727 WITH SCORE 1573686.448
AT ITER 1200 NEW BEST:: SOT 4978326 SOS 2958961 HAS SOPS 2958961 HAS SOUS 1569685 HAS SOUPS 1569685 WITH SCORE 1572643.961
AT ITER 1205 NEW BEST:: SOT 4979062 SOS 2958993 HAS SOPS 2958993 HAS SOUS 1568957 HAS SOUPS 1568957 WITH SCORE 1571915.993
AT ITER 1206 NEW BEST:: SOT 4979268 SOS 2958279 HAS SOPS 2958279 HAS SOUS 1568905 HAS SOUPS 1568905 WITH SCORE 1571863.279
AT ITER 1218 NEW BEST:: SOT 4979268 SOS 2958180 HAS SOPS 2958180 HAS SOUS 1568879 HAS SOUPS 1568879 WITH SCORE 1571837.18
AT ITER 1219 NEW BEST:: SOT 4979147 SOS 2956318 HAS SOPS 2956318 HAS SOUS 1568383 HAS SOUPS 1568383 WITH SCORE 1571339.318
AT ITER 1223 NEW BEST:: SOT 4978814 SOS 2954986 HAS SOPS 2954986 HAS SOUS 1567392 HAS SOUPS 1567392 WITH SCORE 1570346.986
AT ITER 1225 NEW BEST:: SOT 4978814 SOS 2954188 HAS SOPS 2954188 HAS SOUS 1566765 HAS SOUPS 1566765 WITH SCORE 1569719.188
AT ITER 1230 NEW BEST:: SOT 4978814 SOS 2953539 HAS SOPS 2953539 HAS SOUS 1565769 HAS SOUPS 1565769 WITH SCORE 1568722.539
AT ITER 1233 NEW BEST:: SOT 4979033 SOS 2953194 HAS SOPS 2953194 HAS SOUS 1565431 HAS SOUPS 1565431 WITH SCORE 1568384.194
AT ITER 1241 NEW BEST:: SOT 4978200 SOS 2951802 HAS SOPS 2951802 HAS SOUS 1564598 HAS SOUPS 1564598 WITH SCORE 1567549.802
AT ITER 1249 NEW BEST:: SOT 4978192 SOS 2951786 HAS SOPS 2951786 HAS SOUS 1564522 HAS SOUPS 1564522 WITH SCORE 1567473.786
AT ITER 1250 NEW BEST:: SOT 4978048 SOS 2951642 HAS SOPS 2951642 HAS SOUS 1564378 HAS SOUPS 1564378 WITH SCORE 1567329.642
AT ITER 1251 NEW BEST:: SOT 4978016 SOS 2951578 HAS SOPS 2951578 HAS SOUS 1564351 HAS SOUPS 1564351 WITH SCORE 1567302.578
AT ITER 1257 NEW BEST:: SOT 4977449 SOS 2950444 HAS SOPS 2950444 HAS SOUS 1563783 HAS SOUPS 1563783 WITH SCORE 1566733.444
AT ITER 1264 NEW BEST:: SOT 4977449 SOS 2950444 HAS SOPS 2950444 HAS SOUS 1563780 HAS SOUPS 1563780 WITH SCORE 1566730.444
AT ITER 1265 NEW BEST:: SOT 4976350 SOS 2949345 HAS SOPS 2949345 HAS SOUS 1563691 HAS SOUPS 1563691 WITH SCORE 1566640.345
AT ITER 1271 NEW BEST:: SOT 4976350 SOS 2949345 HAS SOPS 2949345 HAS SOUS 1562690 HAS SOUPS 1562690 WITH SCORE 1565639.345
AT ITER 1283 NEW BEST:: SOT 4975795 SOS 2947227 HAS SOPS 2947227 HAS SOUS 1561101 HAS SOUPS 1561101 WITH SCORE 1564048.227
AT ITER 1287 NEW BEST:: SOT 4975358 SOS 2945848 HAS SOPS 2945848 HAS SOUS 1560227 HAS SOUPS 1560227 WITH SCORE 1563172.848
AT ITER 1288 NEW BEST:: SOT 4953737 SOS 2954830 HAS SOPS 2954830 HAS SOUS 1542542 HAS SOUPS 1542542 WITH SCORE 1545496.83
AT ITER 1291 NEW BEST:: SOT 4952798 SOS 2953891 HAS SOPS 2953891 HAS SOUS 1542003 HAS SOUPS 1542003 WITH SCORE 1544956.891
AT ITER 1295 NEW BEST:: SOT 4952577 SOS 2953670 HAS SOPS 2953670 HAS SOUS 1541781 HAS SOUPS 1541781 WITH SCORE 1544734.67
AT ITER 1297 NEW BEST:: SOT 4952214 SOS 2952350 HAS SOPS 2952350 HAS SOUS 1540461 HAS SOUPS 1540461 WITH SCORE 1543413.35
AT ITER 1298 NEW BEST:: SOT 4952000 SOS 2951922 HAS SOPS 2951922 HAS SOUS 1540242 HAS SOUPS 1540242 WITH SCORE 1543193.922
AT ITER 1302 NEW BEST:: SOT 4950834 SOS 2950173 HAS SOPS 2950173 HAS SOUS 1538493 HAS SOUPS 1538493 WITH SCORE 1541443.173
AT ITER 1308 NEW BEST:: SOT 4950635 SOS 2949841 HAS SOPS 2949841 HAS SOUS 1537361 HAS SOUPS 1537361 WITH SCORE 1540310.841
AT ITER 1311 NEW BEST:: SOT 4948110 SOS 2946134 HAS SOPS 2946134 HAS SOUS 1535115 HAS SOUPS 1535115 WITH SCORE 1538061.134
AT ITER 1313 NEW BEST:: SOT 4946677 SOS 2943268 HAS SOPS 2943268 HAS SOUS 1534011 HAS SOUPS 1534011 WITH SCORE 1536954.268
AT ITER 1315 NEW BEST:: SOT 4946369 SOS 2942938 HAS SOPS 2942938 HAS SOUS 1533703 HAS SOUPS 1533703 WITH SCORE 1536645.938
AT ITER 1316 NEW BEST:: SOT 4945191 SOS 2940573 HAS SOPS 2940573 HAS SOUS 1533027 HAS SOUPS 1533027 WITH SCORE 1535967.573
AT ITER 1320 NEW BEST:: SOT 4943977 SOS 2940464 HAS SOPS 2940464 HAS SOUS 1532436 HAS SOUPS 1532436 WITH SCORE 1535376.464
AT ITER 1322 NEW BEST:: SOT 4943666 SOS 2936719 HAS SOPS 2936719 HAS SOUS 1531329 HAS SOUPS 1531329 WITH SCORE 1534265.719
AT ITER 1325 NEW BEST:: SOT 4943584 SOS 2936661 HAS SOPS 2936661 HAS SOUS 1531252 HAS SOUPS 1531252 WITH SCORE 1534188.661
AT ITER 1326 NEW BEST:: SOT 4943574 SOS 2936651 HAS SOPS 2936651 HAS SOUS 1531053 HAS SOUPS 1531053 WITH SCORE 1533989.651
AT ITER 1329 NEW BEST:: SOT 4941827 SOS 2934659 HAS SOPS 2934659 HAS SOUS 1530153 HAS SOUPS 1530153 WITH SCORE 1533087.659
AT ITER 1330 NEW BEST:: SOT 4941518 SOS 2932614 HAS SOPS 2932614 HAS SOUS 1528976 HAS SOUPS 1528976 WITH SCORE 1531908.614
AT ITER 1336 NEW BEST:: SOT 4941185 SOS 2931170 HAS SOPS 2931170 HAS SOUS 1528532 HAS SOUPS 1528532 WITH SCORE 1531463.17
AT ITER 1339 NEW BEST:: SOT 4936082 SOS 2947681 HAS SOPS 2947681 HAS SOUS 1527110 HAS SOUPS 1527110 WITH SCORE 1530057.681
AT ITER 1340 NEW BEST:: SOT 4935249 SOS 2946848 HAS SOPS 2946848 HAS SOUS 1526277 HAS SOUPS 1526277 WITH SCORE 1529223.848
AT ITER 1344 NEW BEST:: SOT 4934874 SOS 2946475 HAS SOPS 2946475 HAS SOUS 1526007 HAS SOUPS 1526007 WITH SCORE 1528953.475
AT ITER 1345 NEW BEST:: SOT 4934874 SOS 2946475 HAS SOPS 2946475 HAS SOUS 1525341 HAS SOUPS 1525341 WITH SCORE 1528287.475
AT ITER 1348 NEW BEST:: SOT 4934874 SOS 2946475 HAS SOPS 2946475 HAS SOUS 1525298 HAS SOUPS 1525298 WITH SCORE 1528244.475
AT ITER 1354 NEW BEST:: SOT 4934685 SOS 2946097 HAS SOPS 2946097 HAS SOUS 1524920 HAS SOUPS 1524920 WITH SCORE 1527866.097
AT ITER 1357 NEW BEST:: SOT 4933761 SOS 2945278 HAS SOPS 2945278 HAS SOUS 1524323 HAS SOUPS 1524323 WITH SCORE 1527268.278
AT ITER 1362 NEW BEST:: SOT 4932735 SOS 2945082 HAS SOPS 2945082 HAS SOUS 1523988 HAS SOUPS 1523988 WITH SCORE 1526933.082
AT ITER 1363 NEW BEST:: SOT 4932735 SOS 2945082 HAS SOPS 2945082 HAS SOUS 1523748 HAS SOUPS 1523748 WITH SCORE 1526693.082
AT ITER 1366 NEW BEST:: SOT 4932887 SOS 2944315 HAS SOPS 2944315 HAS SOUS 1523516 HAS SOUPS 1523516 WITH SCORE 1526460.315
AT ITER 1369 NEW BEST:: SOT 4926880 SOS 2943421 HAS SOPS 2943421 HAS SOUS 1518205 HAS SOUPS 1518205 WITH SCORE 1521148.421
AT ITER 1377 NEW BEST:: SOT 4926841 SOS 2938812 HAS SOPS 2938812 HAS SOUS 1518166 HAS SOUPS 1518166 WITH SCORE 1521104.812
AT ITER 1378 NEW BEST:: SOT 4926841 SOS 2938285 HAS SOPS 2938285 HAS SOUS 1518166 HAS SOUPS 1518166 WITH SCORE 1521104.285
AT ITER 1381 NEW BEST:: SOT 4926841 SOS 2938185 HAS SOPS 2938185 HAS SOUS 1518148 HAS SOUPS 1518148 WITH SCORE 1521086.185
AT ITER 1386 NEW BEST:: SOT 4926841 SOS 2937939 HAS SOPS 2937939 HAS SOUS 1518148 HAS SOUPS 1518148 WITH SCORE 1521085.939
AT ITER 1390 NEW BEST:: SOT 4926841 SOS 2937939 HAS SOPS 2937939 HAS SOUS 1518088 HAS SOUPS 1518088 WITH SCORE 1521025.939
AT ITER 1391 NEW BEST:: SOT 4926273 SOS 2937989 HAS SOPS 2937989 HAS SOUS 1518049 HAS SOUPS 1518049 WITH SCORE 1520986.989
AT ITER 1392 NEW BEST:: SOT 4925858 SOS 2936504 HAS SOPS 2936504 HAS SOUS 1517195 HAS SOUPS 1517195 WITH SCORE 1520131.504
AT ITER 1396 NEW BEST:: SOT 4922749 SOS 2932186 HAS SOPS 2932186 HAS SOUS 1514085 HAS SOUPS 1514085 WITH SCORE 1517017.186
AT ITER 1397 NEW BEST:: SOT 4920966 SOS 2926823 HAS SOPS 2926823 HAS SOUS 1511410 HAS SOUPS 1511410 WITH SCORE 1514336.823
AT ITER 1400 NEW BEST:: SOT 4920558 SOS 2926724 HAS SOPS 2926724 HAS SOUS 1511189 HAS SOUPS 1511189 WITH SCORE 1514115.724
AT ITER 1402 NEW BEST:: SOT 4919487 SOS 2925653 HAS SOPS 2925653 HAS SOUS 1510924 HAS SOUPS 1510924 WITH SCORE 1513849.653
AT ITER 1403 NEW BEST:: SOT 4908646 SOS 2945559 HAS SOPS 2945559 HAS SOUS 1501216 HAS SOUPS 1501216 WITH SCORE 1504161.559
AT ITER 1405 NEW BEST:: SOT 4908013 SOS 2944926 HAS SOPS 2944926 HAS SOUS 1500583 HAS SOUPS 1500583 WITH SCORE 1503527.926
AT ITER 1409 NEW BEST:: SOT 4907524 SOS 2943948 HAS SOPS 2943948 HAS SOUS 1500094 HAS SOUPS 1500094 WITH SCORE 1503037.948
AT ITER 1411 NEW BEST:: SOT 4907197 SOS 2943621 HAS SOPS 2943621 HAS SOUS 1500054 HAS SOUPS 1500054 WITH SCORE 1502997.621
AT ITER 1414 NEW BEST:: SOT 4907142 SOS 2943511 HAS SOPS 2943511 HAS SOUS 1499999 HAS SOUPS 1499999 WITH SCORE 1502942.511
AT ITER 1418 NEW BEST:: SOT 4907142 SOS 2943511 HAS SOPS 2943511 HAS SOUS 1499863 HAS SOUPS 1499863 WITH SCORE 1502806.511
AT ITER 1419 NEW BEST:: SOT 4906851 SOS 2939965 HAS SOPS 2939965 HAS SOUS 1498688 HAS SOUPS 1498688 WITH SCORE 1501627.965
AT ITER 1421 NEW BEST:: SOT 4905793 SOS 2938907 HAS SOPS 2938907 HAS SOUS 1498383 HAS SOUPS 1498383 WITH SCORE 1501321.907
AT ITER 1426 NEW BEST:: SOT 4904952 SOS 2923922 HAS SOPS 2923922 HAS SOUS 1496971 HAS SOUPS 1496971 WITH SCORE 1499894.922
AT ITER 1438 NEW BEST:: SOT 4905336 SOS 2923180 HAS SOPS 2923180 HAS SOUS 1496653 HAS SOUPS 1496653 WITH SCORE 1499576.18
AT ITER 1440 NEW BEST:: SOT 4904102 SOS 2920712 HAS SOPS 2920712 HAS SOUS 1493638 HAS SOUPS 1493638 WITH SCORE 1496558.712
AT ITER 1441 NEW BEST:: SOT 4904102 SOS 2920712 HAS SOPS 2920712 HAS SOUS 1492790 HAS SOUPS 1492790 WITH SCORE 1495710.712
AT ITER 1442 NEW BEST:: SOT 4903965 SOS 2920438 HAS SOPS 2920438 HAS SOUS 1492726 HAS SOUPS 1492726 WITH SCORE 1495646.438
AT ITER 1444 NEW BEST:: SOT 4904167 SOS 2919376 HAS SOPS 2919376 HAS SOUS 1492233 HAS SOUPS 1492233 WITH SCORE 1495152.376
AT ITER 1445 NEW BEST:: SOT 4904167 SOS 2919364 HAS SOPS 2919364 HAS SOUS 1492221 HAS SOUPS 1492221 WITH SCORE 1495140.364
AT ITER 1447 NEW BEST:: SOT 4903523 SOS 2917628 HAS SOPS 2917628 HAS SOUS 1490649 HAS SOUPS 1490649 WITH SCORE 1493566.628
AT ITER 1453 NEW BEST:: SOT 4903119 SOS 2917351 HAS SOPS 2917351 HAS SOUS 1490245 HAS SOUPS 1490245 WITH SCORE 1493162.351
AT ITER 1456 NEW BEST:: SOT 4902310 SOS 2916542 HAS SOPS 2916542 HAS SOUS 1489436 HAS SOUPS 1489436 WITH SCORE 1492352.542
AT ITER 1461 NEW BEST:: SOT 4902310 SOS 2916542 HAS SOPS 2916542 HAS SOUS 1489435 HAS SOUPS 1489435 WITH SCORE 1492351.542
AT ITER 1462 NEW BEST:: SOT 4903155 SOS 2917387 HAS SOPS 2917387 HAS SOUS 1489240 HAS SOUPS 1489240 WITH SCORE 1492157.387
AT ITER 1463 NEW BEST:: SOT 4903155 SOS 2916498 HAS SOPS 2916498 HAS SOUS 1489240 HAS SOUPS 1489240 WITH SCORE 1492156.498
AT ITER 1466 NEW BEST:: SOT 4903340 SOS 2914524 HAS SOPS 2914524 HAS SOUS 1488241 HAS SOUPS 1488241 WITH SCORE 1491155.524
AT ITER 1467 NEW BEST:: SOT 4903340 SOS 2914473 HAS SOPS 2914473 HAS SOUS 1488241 HAS SOUPS 1488241 WITH SCORE 1491155.473
AT ITER 1471 NEW BEST:: SOT 4902196 SOS 2911579 HAS SOPS 2911579 HAS SOUS 1487540 HAS SOUPS 1487540 WITH SCORE 1490451.579
AT ITER 1476 NEW BEST:: SOT 4902196 SOS 2911579 HAS SOPS 2911579 HAS SOUS 1487539 HAS SOUPS 1487539 WITH SCORE 1490450.579
AT ITER 1479 NEW BEST:: SOT 4900328 SOS 2909413 HAS SOPS 2909413 HAS SOUS 1485669 HAS SOUPS 1485669 WITH SCORE 1488578.413
AT ITER 1480 NEW BEST:: SOT 4900636 SOS 2909388 HAS SOPS 2909388 HAS SOUS 1485512 HAS SOUPS 1485512 WITH SCORE 1488421.388
AT ITER 1485 NEW BEST:: SOT 4900568 SOS 2909252 HAS SOPS 2909252 HAS SOUS 1485376 HAS SOUPS 1485376 WITH SCORE 1488285.252
AT ITER 1492 NEW BEST:: SOT 4900568 SOS 2908216 HAS SOPS 2908216 HAS SOUS 1484858 HAS SOUPS 1484858 WITH SCORE 1487766.216
AT ITER 1503 NEW BEST:: SOT 4900013 SOS 2907661 HAS SOPS 2907661 HAS SOUS 1484303 HAS SOUPS 1484303 WITH SCORE 1487210.661
AT ITER 1506 NEW BEST:: SOT 4900357 SOS 2906275 HAS SOPS 2906275 HAS SOUS 1484300 HAS SOUPS 1484300 WITH SCORE 1487206.275
AT ITER 1507 NEW BEST:: SOT 4899383 SOS 2904337 HAS SOPS 2904337 HAS SOUS 1482572 HAS SOUPS 1482572 WITH SCORE 1485476.337
AT ITER 1508 NEW BEST:: SOT 4899281 SOS 2904027 HAS SOPS 2904027 HAS SOUS 1481357 HAS SOUPS 1481357 WITH SCORE 1484261.027
AT ITER 1512 NEW BEST:: SOT 4899275 SOS 2904021 HAS SOPS 2904021 HAS SOUS 1481351 HAS SOUPS 1481351 WITH SCORE 1484255.021
AT ITER 1516 NEW BEST:: SOT 4899275 SOS 2903070 HAS SOPS 2903070 HAS SOUS 1481351 HAS SOUPS 1481351 WITH SCORE 1484254.07
AT ITER 1524 NEW BEST:: SOT 4898435 SOS 2902230 HAS SOPS 2902230 HAS SOUS 1480511 HAS SOUPS 1480511 WITH SCORE 1483413.23
AT ITER 1525 NEW BEST:: SOT 4898035 SOS 2901446 HAS SOPS 2901446 HAS SOUS 1480110 HAS SOUPS 1480110 WITH SCORE 1483011.446
AT ITER 1530 NEW BEST:: SOT 4898035 SOS 2901446 HAS SOPS 2901446 HAS SOUS 1480109 HAS SOUPS 1480109 WITH SCORE 1483010.446
AT ITER 1538 NEW BEST:: SOT 4897739 SOS 2900262 HAS SOPS 2900262 HAS SOUS 1479807 HAS SOUPS 1479807 WITH SCORE 1482707.262
AT ITER 1540 NEW BEST:: SOT 4897390 SOS 2899913 HAS SOPS 2899913 HAS SOUS 1479458 HAS SOUPS 1479458 WITH SCORE 1482357.913
AT ITER 1544 NEW BEST:: SOT 4897390 SOS 2898995 HAS SOPS 2898995 HAS SOUS 1478999 HAS SOUPS 1478999 WITH SCORE 1481897.995
AT ITER 1550 NEW BEST:: SOT 4897708 SOS 2898582 HAS SOPS 2898582 HAS SOUS 1478913 HAS SOUPS 1478913 WITH SCORE 1481811.582
AT ITER 1558 NEW BEST:: SOT 4897708 SOS 2897770 HAS SOPS 2897770 HAS SOUS 1478871 HAS SOUPS 1478871 WITH SCORE 1481768.77
AT ITER 1559 NEW BEST:: SOT 4897708 SOS 2897770 HAS SOPS 2897770 HAS SOUS 1478771 HAS SOUPS 1478771 WITH SCORE 1481668.77
AT ITER 1562 NEW BEST:: SOT 4897708 SOS 2897521 HAS SOPS 2897521 HAS SOUS 1478771 HAS SOUPS 1478771 WITH SCORE 1481668.521
AT ITER 1565 NEW BEST:: SOT 4895924 SOS 2894530 HAS SOPS 2894530 HAS SOUS 1476987 HAS SOUPS 1476987 WITH SCORE 1479881.53
AT ITER 1567 NEW BEST:: SOT 4895787 SOS 2893208 HAS SOPS 2893208 HAS SOUS 1476519 HAS SOUPS 1476519 WITH SCORE 1479412.208
AT ITER 1572 NEW BEST:: SOT 4893935 SOS 2891361 HAS SOPS 2891361 HAS SOUS 1475283 HAS SOUPS 1475283 WITH SCORE 1478174.361
AT ITER 1573 NEW BEST:: SOT 4893921 SOS 2891347 HAS SOPS 2891347 HAS SOUS 1475269 HAS SOUPS 1475269 WITH SCORE 1478160.347
AT ITER 1583 NEW BEST:: SOT 4893848 SOS 2891201 HAS SOPS 2891201 HAS SOUS 1475196 HAS SOUPS 1475196 WITH SCORE 1478087.201
AT ITER 1586 NEW BEST:: SOT 4893516 SOS 2890869 HAS SOPS 2890869 HAS SOUS 1474864 HAS SOUPS 1474864 WITH SCORE 1477754.869
AT ITER 1588 NEW BEST:: SOT 4893516 SOS 2890192 HAS SOPS 2890192 HAS SOUS 1474542 HAS SOUPS 1474542 WITH SCORE 1477432.192
AT ITER 1595 NEW BEST:: SOT 4893516 SOS 2890192 HAS SOPS 2890192 HAS SOUS 1474459 HAS SOUPS 1474459 WITH SCORE 1477349.192
AT ITER 1602 NEW BEST:: SOT 4894068 SOS 2890408 HAS SOPS 2890408 HAS SOUS 1474346 HAS SOUPS 1474346 WITH SCORE 1477236.408
AT ITER 1612 NEW BEST:: SOT 4893217 SOS 2889165 HAS SOPS 2889165 HAS SOUS 1473495 HAS SOUPS 1473495 WITH SCORE 1476384.165
AT ITER 1617 NEW BEST:: SOT 4893270 SOS 2889271 HAS SOPS 2889271 HAS SOUS 1472765 HAS SOUPS 1472765 WITH SCORE 1475654.271
AT ITER 1631 NEW BEST:: SOT 4891033 SOS 2886001 HAS SOPS 2886001 HAS SOUS 1470527 HAS SOUPS 1470527 WITH SCORE 1473413.001
AT ITER 1632 NEW BEST:: SOT 4890485 SOS 2884905 HAS SOPS 2884905 HAS SOUS 1469305 HAS SOUPS 1469305 WITH SCORE 1472189.905
AT ITER 1637 NEW BEST:: SOT 4890485 SOS 2884905 HAS SOPS 2884905 HAS SOUS 1469288 HAS SOUPS 1469288 WITH SCORE 1472172.905
AT ITER 1640 NEW BEST:: SOT 4890159 SOS 2884253 HAS SOPS 2884253 HAS SOUS 1468636 HAS SOUPS 1468636 WITH SCORE 1471520.253
AT ITER 1648 NEW BEST:: SOT 4890159 SOS 2884548 HAS SOPS 2884548 HAS SOUS 1468496 HAS SOUPS 1468496 WITH SCORE 1471380.548
AT ITER 1652 NEW BEST:: SOT 4890159 SOS 2884548 HAS SOPS 2884548 HAS SOUS 1468495 HAS SOUPS 1468495 WITH SCORE 1471379.548
AT ITER 1658 NEW BEST:: SOT 4890159 SOS 2884548 HAS SOPS 2884548 HAS SOUS 1468280 HAS SOUPS 1468280 WITH SCORE 1471164.548
AT ITER 1660 NEW BEST:: SOT 4891137 SOS 2884759 HAS SOPS 2884759 HAS SOUS 1467960 HAS SOUPS 1467960 WITH SCORE 1470844.759
AT ITER 1661 NEW BEST:: SOT 4891615 SOS 2885237 HAS SOPS 2885237 HAS SOUS 1467809 HAS SOUPS 1467809 WITH SCORE 1470694.237
AT ITER 1666 NEW BEST:: SOT 4891615 SOS 2885055 HAS SOPS 2885055 HAS SOUS 1467809 HAS SOUPS 1467809 WITH SCORE 1470694.055
AT ITER 1670 NEW BEST:: SOT 4891722 SOS 2884171 HAS SOPS 2884171 HAS SOUS 1467420 HAS SOUPS 1467420 WITH SCORE 1470304.171
AT ITER 1671 NEW BEST:: SOT 4891722 SOS 2883704 HAS SOPS 2883704 HAS SOUS 1466953 HAS SOUPS 1466953 WITH SCORE 1469836.704
AT ITER 1675 NEW BEST:: SOT 4891168 SOS 2882987 HAS SOPS 2882987 HAS SOUS 1465845 HAS SOUPS 1465845 WITH SCORE 1468727.987
AT ITER 1677 NEW BEST:: SOT 4891029 SOS 2882372 HAS SOPS 2882372 HAS SOUS 1465582 HAS SOUPS 1465582 WITH SCORE 1468464.372
AT ITER 1686 NEW BEST:: SOT 4891075 SOS 2882189 HAS SOPS 2882189 HAS SOUS 1465352 HAS SOUPS 1465352 WITH SCORE 1468234.189
AT ITER 1689 NEW BEST:: SOT 4891075 SOS 2881938 HAS SOPS 2881938 HAS SOUS 1465101 HAS SOUPS 1465101 WITH SCORE 1467982.938
AT ITER 1693 NEW BEST:: SOT 4891075 SOS 2881938 HAS SOPS 2881938 HAS SOUS 1464681 HAS SOUPS 1464681 WITH SCORE 1467562.938
AT ITER 1709 NEW BEST:: SOT 4890243 SOS 2879885 HAS SOPS 2879885 HAS SOUS 1463655 HAS SOUPS 1463655 WITH SCORE 1466534.885
AT ITER 1716 NEW BEST:: SOT 4889439 SOS 2879526 HAS SOPS 2879526 HAS SOUS 1461894 HAS SOUPS 1461894 WITH SCORE 1464773.526
AT ITER 1717 NEW BEST:: SOT 4889439 SOS 2879526 HAS SOPS 2879526 HAS SOUS 1461445 HAS SOUPS 1461445 WITH SCORE 1464324.526
AT ITER 1724 NEW BEST:: SOT 4888898 SOS 2878985 HAS SOPS 2878985 HAS SOUS 1460904 HAS SOUPS 1460904 WITH SCORE 1463782.985
AT ITER 1725 NEW BEST:: SOT 4888664 SOS 2877166 HAS SOPS 2877166 HAS SOUS 1460611 HAS SOUPS 1460611 WITH SCORE 1463488.166
AT ITER 1730 NEW BEST:: SOT 4888590 SOS 2874288 HAS SOPS 2874288 HAS SOUS 1459296 HAS SOUPS 1459296 WITH SCORE 1462170.288
AT ITER 1732 NEW BEST:: SOT 4889213 SOS 2874911 HAS SOPS 2874911 HAS SOUS 1459144 HAS SOUPS 1459144 WITH SCORE 1462018.911
AT ITER 1733 NEW BEST:: SOT 4888736 SOS 2873731 HAS SOPS 2873731 HAS SOUS 1457762 HAS SOUPS 1457762 WITH SCORE 1460635.731
AT ITER 1737 NEW BEST:: SOT 4887985 SOS 2872229 HAS SOPS 2872229 HAS SOUS 1456212 HAS SOUPS 1456212 WITH SCORE 1459084.229
AT ITER 1740 NEW BEST:: SOT 4887182 SOS 2871426 HAS SOPS 2871426 HAS SOUS 1455455 HAS SOUPS 1455455 WITH SCORE 1458326.426
AT ITER 1752 NEW BEST:: SOT 4887182 SOS 2871078 HAS SOPS 2871078 HAS SOUS 1455455 HAS SOUPS 1455455 WITH SCORE 1458326.078
AT ITER 1753 NEW BEST:: SOT 4886634 SOS 2870530 HAS SOPS 2870530 HAS SOUS 1454907 HAS SOUPS 1454907 WITH SCORE 1457777.53
AT ITER 1754 NEW BEST:: SOT 4886434 SOS 2870617 HAS SOPS 2870617 HAS SOUS 1454707 HAS SOUPS 1454707 WITH SCORE 1457577.617
AT ITER 1756 NEW BEST:: SOT 4886243 SOS 2870657 HAS SOPS 2870657 HAS SOUS 1454579 HAS SOUPS 1454579 WITH SCORE 1457449.657
AT ITER 1767 NEW BEST:: SOT 4886241 SOS 2870657 HAS SOPS 2870657 HAS SOUS 1454577 HAS SOUPS 1454577 WITH SCORE 1457447.657
AT ITER 1770 NEW BEST:: SOT 4886408 SOS 2869735 HAS SOPS 2869735 HAS SOUS 1454232 HAS SOUPS 1454232 WITH SCORE 1457101.735
AT ITER 1775 NEW BEST:: SOT 4886180 SOS 2869131 HAS SOPS 2869131 HAS SOUS 1453926 HAS SOUPS 1453926 WITH SCORE 1456795.131
AT ITER 1776 NEW BEST:: SOT 4883803 SOS 2865669 HAS SOPS 2865669 HAS SOUS 1451756 HAS SOUPS 1451756 WITH SCORE 1454621.669
AT ITER 1778 NEW BEST:: SOT 4884214 SOS 2864031 HAS SOPS 2864031 HAS SOUS 1451744 HAS SOUPS 1451744 WITH SCORE 1454608.031
AT ITER 1789 NEW BEST:: SOT 4884214 SOS 2855936 HAS SOPS 2855936 HAS SOUS 1451538 HAS SOUPS 1451538 WITH SCORE 1454393.936
AT ITER 1792 NEW BEST:: SOT 4884297 SOS 2856019 HAS SOPS 2856019 HAS SOUS 1451475 HAS SOUPS 1451475 WITH SCORE 1454331.019
AT ITER 1795 NEW BEST:: SOT 4884253 SOS 2855746 HAS SOPS 2855746 HAS SOUS 1451401 HAS SOUPS 1451401 WITH SCORE 1454256.746
AT ITER 1796 NEW BEST:: SOT 4884034 SOS 2855450 HAS SOPS 2855450 HAS SOUS 1450878 HAS SOUPS 1450878 WITH SCORE 1453733.45
AT ITER 1799 NEW BEST:: SOT 4883923 SOS 2855339 HAS SOPS 2855339 HAS SOUS 1449625 HAS SOUPS 1449625 WITH SCORE 1452480.339
AT ITER 1800 NEW BEST:: SOT 4884093 SOS 2855679 HAS SOPS 2855679 HAS SOUS 1449594 HAS SOUPS 1449594 WITH SCORE 1452449.679
AT ITER 1801 NEW BEST:: SOT 4884093 SOS 2854989 HAS SOPS 2854989 HAS SOUS 1449592 HAS SOUPS 1449592 WITH SCORE 1452446.989
AT ITER 1802 NEW BEST:: SOT 4883974 SOS 2854867 HAS SOPS 2854867 HAS SOUS 1449586 HAS SOUPS 1449586 WITH SCORE 1452440.867
AT ITER 1811 NEW BEST:: SOT 4883449 SOS 2852320 HAS SOPS 2852320 HAS SOUS 1449433 HAS SOUPS 1449433 WITH SCORE 1452285.32
AT ITER 1817 NEW BEST:: SOT 4882723 SOS 2851991 HAS SOPS 2851991 HAS SOUS 1449104 HAS SOUPS 1449104 WITH SCORE 1451955.991
AT ITER 1823 NEW BEST:: SOT 4882187 SOS 2849847 HAS SOPS 2849847 HAS SOUS 1448383 HAS SOUPS 1448383 WITH SCORE 1451232.847
AT ITER 1829 NEW BEST:: SOT 4882097 SOS 2849617 HAS SOPS 2849617 HAS SOUS 1448293 HAS SOUPS 1448293 WITH SCORE 1451142.617
AT ITER 1834 NEW BEST:: SOT 4881598 SOS 2848619 HAS SOPS 2848619 HAS SOUS 1447787 HAS SOUPS 1447787 WITH SCORE 1450635.619
AT ITER 1843 NEW BEST:: SOT 4880073 SOS 2846981 HAS SOPS 2846981 HAS SOUS 1446262 HAS SOUPS 1446262 WITH SCORE 1449108.981
AT ITER 1845 NEW BEST:: SOT 4873275 SOS 2849106 HAS SOPS 2849106 HAS SOUS 1441837 HAS SOUPS 1441837 WITH SCORE 1444686.106
AT ITER 1847 NEW BEST:: SOT 4873275 SOS 2849106 HAS SOPS 2849106 HAS SOUS 1441811 HAS SOUPS 1441811 WITH SCORE 1444660.106
AT ITER 1850 NEW BEST:: SOT 4872238 SOS 2848069 HAS SOPS 2848069 HAS SOUS 1441669 HAS SOUPS 1441669 WITH SCORE 1444517.069
AT ITER 1851 NEW BEST:: SOT 4872236 SOS 2848065 HAS SOPS 2848065 HAS SOUS 1441667 HAS SOUPS 1441667 WITH SCORE 1444515.065
AT ITER 1853 NEW BEST:: SOT 4871949 SOS 2848035 HAS SOPS 2848035 HAS SOUS 1441637 HAS SOUPS 1441637 WITH SCORE 1444485.035
AT ITER 1865 NEW BEST:: SOT 4872156 SOS 2847033 HAS SOPS 2847033 HAS SOUS 1439911 HAS SOUPS 1439911 WITH SCORE 1442758.033
AT ITER 1866 NEW BEST:: SOT 4872506 SOS 2846306 HAS SOPS 2846306 HAS SOUS 1438243 HAS SOUPS 1438243 WITH SCORE 1441089.306
AT ITER 1870 NEW BEST:: SOT 4872013 SOS 2844088 HAS SOPS 2844088 HAS SOUS 1437365 HAS SOUPS 1437365 WITH SCORE 1440209.088
AT ITER 1875 NEW BEST:: SOT 4872013 SOS 2844088 HAS SOPS 2844088 HAS SOUS 1437360 HAS SOUPS 1437360 WITH SCORE 1440204.088
AT ITER 1876 NEW BEST:: SOT 4871844 SOS 2843581 HAS SOPS 2843581 HAS SOUS 1437022 HAS SOUPS 1437022 WITH SCORE 1439865.581
AT ITER 1880 NEW BEST:: SOT 4871861 SOS 2842720 HAS SOPS 2842720 HAS SOUS 1436905 HAS SOUPS 1436905 WITH SCORE 1439747.72
AT ITER 1881 NEW BEST:: SOT 4871861 SOS 2841979 HAS SOPS 2841979 HAS SOUS 1436599 HAS SOUPS 1436599 WITH SCORE 1439440.979
AT ITER 1883 NEW BEST:: SOT 4871861 SOS 2841848 HAS SOPS 2841848 HAS SOUS 1436599 HAS SOUPS 1436599 WITH SCORE 1439440.848
AT ITER 1892 NEW BEST:: SOT 4869493 SOS 2838396 HAS SOPS 2838396 HAS SOUS 1434231 HAS SOUPS 1434231 WITH SCORE 1437069.396
AT ITER 1893 NEW BEST:: SOT 4869406 SOS 2838222 HAS SOPS 2838222 HAS SOUS 1433982 HAS SOUPS 1433982 WITH SCORE 1436820.222
AT ITER 1894 NEW BEST:: SOT 4869023 SOS 2838049 HAS SOPS 2838049 HAS SOUS 1433599 HAS SOUPS 1433599 WITH SCORE 1436437.049
AT ITER 1898 NEW BEST:: SOT 4869023 SOS 2837618 HAS SOPS 2837618 HAS SOUS 1433092 HAS SOUPS 1433092 WITH SCORE 1435929.618
AT ITER 1899 NEW BEST:: SOT 4868749 SOS 2837070 HAS SOPS 2837070 HAS SOUS 1432818 HAS SOUPS 1432818 WITH SCORE 1435655.07
AT ITER 1900 NEW BEST:: SOT 4869101 SOS 2837206 HAS SOPS 2837206 HAS SOUS 1432218 HAS SOUPS 1432218 WITH SCORE 1435055.206
AT ITER 1906 NEW BEST:: SOT 4868782 SOS 2836568 HAS SOPS 2836568 HAS SOUS 1432030 HAS SOUPS 1432030 WITH SCORE 1434866.568
AT ITER 1914 NEW BEST:: SOT 4868782 SOS 2836568 HAS SOPS 2836568 HAS SOUS 1432029 HAS SOUPS 1432029 WITH SCORE 1434865.568
AT ITER 1916 NEW BEST:: SOT 4868931 SOS 2836108 HAS SOPS 2836108 HAS SOUS 1431645 HAS SOUPS 1431645 WITH SCORE 1434481.108
AT ITER 1917 NEW BEST:: SOT 4868805 SOS 2836094 HAS SOPS 2836094 HAS SOUS 1431631 HAS SOUPS 1431631 WITH SCORE 1434467.094
AT ITER 1918 NEW BEST:: SOT 4868805 SOS 2835922 HAS SOPS 2835922 HAS SOUS 1431573 HAS SOUPS 1431573 WITH SCORE 1434408.922
AT ITER 1920 NEW BEST:: SOT 4868289 SOS 2834958 HAS SOPS 2834958 HAS SOUS 1431548 HAS SOUPS 1431548 WITH SCORE 1434382.958
AT ITER 1922 NEW BEST:: SOT 4868289 SOS 2834958 HAS SOPS 2834958 HAS SOUS 1430782 HAS SOUPS 1430782 WITH SCORE 1433616.958
AT ITER 1929 NEW BEST:: SOT 4868288 SOS 2834955 HAS SOPS 2834955 HAS SOUS 1430781 HAS SOUPS 1430781 WITH SCORE 1433615.955
AT ITER 1937 NEW BEST:: SOT 4868265 SOS 2834709 HAS SOPS 2834709 HAS SOUS 1430658 HAS SOUPS 1430658 WITH SCORE 1433492.709
AT ITER 1940 NEW BEST:: SOT 4868768 SOS 2834957 HAS SOPS 2834957 HAS SOUS 1430320 HAS SOUPS 1430320 WITH SCORE 1433154.957
AT ITER 1945 NEW BEST:: SOT 4868666 SOS 2834855 HAS SOPS 2834855 HAS SOUS 1430285 HAS SOUPS 1430285 WITH SCORE 1433119.855
AT ITER 1949 NEW BEST:: SOT 4867731 SOS 2833920 HAS SOPS 2833920 HAS SOUS 1430111 HAS SOUPS 1430111 WITH SCORE 1432944.92
AT ITER 1950 NEW BEST:: SOT 4866101 SOS 2831117 HAS SOPS 2831117 HAS SOUS 1428480 HAS SOUPS 1428480 WITH SCORE 1431311.117
AT ITER 1953 NEW BEST:: SOT 4848923 SOS 2834225 HAS SOPS 2834225 HAS SOUS 1415241 HAS SOUPS 1415241 WITH SCORE 1418075.225
AT ITER 1958 NEW BEST:: SOT 4848444 SOS 2833746 HAS SOPS 2833746 HAS SOUS 1415241 HAS SOUPS 1415241 WITH SCORE 1418074.746
AT ITER 1964 NEW BEST:: SOT 4848433 SOS 2833846 HAS SOPS 2833846 HAS SOUS 1415230 HAS SOUPS 1415230 WITH SCORE 1418063.846
AT ITER 1965 NEW BEST:: SOT 4848124 SOS 2832994 HAS SOPS 2832994 HAS SOUS 1414812 HAS SOUPS 1414812 WITH SCORE 1417644.994
AT ITER 1977 NEW BEST:: SOT 4848124 SOS 2832994 HAS SOPS 2832994 HAS SOUS 1414448 HAS SOUPS 1414448 WITH SCORE 1417280.994
AT ITER 1985 NEW BEST:: SOT 4848020 SOS 2832962 HAS SOPS 2832962 HAS SOUS 1414416 HAS SOUPS 1414416 WITH SCORE 1417248.962
AT ITER 1987 NEW BEST:: SOT 4847361 SOS 2828822 HAS SOPS 2828822 HAS SOUS 1412758 HAS SOUPS 1412758 WITH SCORE 1415586.822
AT ITER 1992 NEW BEST:: SOT 4847361 SOS 2820672 HAS SOPS 2820672 HAS SOUS 1412757 HAS SOUPS 1412757 WITH SCORE 1415577.672
AT ITER 1994 NEW BEST:: SOT 4846348 SOS 2819591 HAS SOPS 2819591 HAS SOUS 1412633 HAS SOUPS 1412633 WITH SCORE 1415452.591
AT ITER 2004 NEW BEST:: SOT 4846289 SOS 2819532 HAS SOPS 2819532 HAS SOUS 1412574 HAS SOUPS 1412574 WITH SCORE 1415393.532
AT ITER 2011 NEW BEST:: SOT 4846304 SOS 2819015 HAS SOPS 2819015 HAS SOUS 1412347 HAS SOUPS 1412347 WITH SCORE 1415166.015
AT ITER 2016 NEW BEST:: SOT 4846304 SOS 2818886 HAS SOPS 2818886 HAS SOUS 1412218 HAS SOUPS 1412218 WITH SCORE 1415036.886
AT ITER 2017 NEW BEST:: SOT 4846307 SOS 2817427 HAS SOPS 2817427 HAS SOUS 1411655 HAS SOUPS 1411655 WITH SCORE 1414472.427
AT ITER 2024 NEW BEST:: SOT 4846197 SOS 2817248 HAS SOPS 2817248 HAS SOUS 1411545 HAS SOUPS 1411545 WITH SCORE 1414362.248
AT ITER 2031 NEW BEST:: SOT 4846215 SOS 2816754 HAS SOPS 2816754 HAS SOUS 1410755 HAS SOUPS 1410755 WITH SCORE 1413571.754
AT ITER 2036 NEW BEST:: SOT 4845695 SOS 2815241 HAS SOPS 2815241 HAS SOUS 1409261 HAS SOUPS 1409261 WITH SCORE 1412076.241
AT ITER 2039 NEW BEST:: SOT 4845292 SOS 2814382 HAS SOPS 2814382 HAS SOUS 1408858 HAS SOUPS 1408858 WITH SCORE 1411672.382
AT ITER 2042 NEW BEST:: SOT 4845410 SOS 2813740 HAS SOPS 2813740 HAS SOUS 1408097 HAS SOUPS 1408097 WITH SCORE 1410910.74
AT ITER 2044 NEW BEST:: SOT 4844740 SOS 2812400 HAS SOPS 2812400 HAS SOUS 1407427 HAS SOUPS 1407427 WITH SCORE 1410239.4
AT ITER 2046 NEW BEST:: SOT 4844740 SOS 2810372 HAS SOPS 2810372 HAS SOUS 1405808 HAS SOUPS 1405808 WITH SCORE 1408618.372
AT ITER 2048 NEW BEST:: SOT 4844716 SOS 2809928 HAS SOPS 2809928 HAS SOUS 1405586 HAS SOUPS 1405586 WITH SCORE 1408395.928
AT ITER 2050 NEW BEST:: SOT 4842601 SOS 2816852 HAS SOPS 2816852 HAS SOUS 1405008 HAS SOUPS 1405008 WITH SCORE 1407824.852
AT ITER 2052 NEW BEST:: SOT 4842601 SOS 2815717 HAS SOPS 2815717 HAS SOUS 1405008 HAS SOUPS 1405008 WITH SCORE 1407823.717
AT ITER 2055 NEW BEST:: SOT 4842839 SOS 2815611 HAS SOPS 2815611 HAS SOUS 1404902 HAS SOUPS 1404902 WITH SCORE 1407717.611
AT ITER 2062 NEW BEST:: SOT 4842410 SOS 2813895 HAS SOPS 2813895 HAS SOUS 1404472 HAS SOUPS 1404472 WITH SCORE 1407285.895
AT ITER 2063 NEW BEST:: SOT 4842625 SOS 2813595 HAS SOPS 2813595 HAS SOUS 1404258 HAS SOUPS 1404258 WITH SCORE 1407071.595
AT ITER 2065 NEW BEST:: SOT 4842625 SOS 2813287 HAS SOPS 2813287 HAS SOUS 1403581 HAS SOUPS 1403581 WITH SCORE 1406394.287
AT ITER 2070 NEW BEST:: SOT 4841660 SOS 2812322 HAS SOPS 2812322 HAS SOUS 1403293 HAS SOUPS 1403293 WITH SCORE 1406105.322
AT ITER 2071 NEW BEST:: SOT 4841482 SOS 2812144 HAS SOPS 2812144 HAS SOUS 1403158 HAS SOUPS 1403158 WITH SCORE 1405970.144
AT ITER 2085 NEW BEST:: SOT 4841814 SOS 2812476 HAS SOPS 2812476 HAS SOUS 1402652 HAS SOUPS 1402652 WITH SCORE 1405464.476
AT ITER 2087 NEW BEST:: SOT 4841735 SOS 2812318 HAS SOPS 2812318 HAS SOUS 1402573 HAS SOUPS 1402573 WITH SCORE 1405385.318
AT ITER 2088 NEW BEST:: SOT 4841153 SOS 2811154 HAS SOPS 2811154 HAS SOUS 1401457 HAS SOUPS 1401457 WITH SCORE 1404268.154
AT ITER 2098 NEW BEST:: SOT 4840273 SOS 2810638 HAS SOPS 2810638 HAS SOUS 1401395 HAS SOUPS 1401395 WITH SCORE 1404205.638
AT ITER 2105 NEW BEST:: SOT 4840030 SOS 2809628 HAS SOPS 2809628 HAS SOUS 1401108 HAS SOUPS 1401108 WITH SCORE 1403917.628
AT ITER 2110 NEW BEST:: SOT 4840030 SOS 2809627 HAS SOPS 2809627 HAS SOUS 1400647 HAS SOUPS 1400647 WITH SCORE 1403456.627
AT ITER 2113 NEW BEST:: SOT 4837567 SOS 2806057 HAS SOPS 2806057 HAS SOUS 1398433 HAS SOUPS 1398433 WITH SCORE 1401239.057
AT ITER 2123 NEW BEST:: SOT 4837565 SOS 2806055 HAS SOPS 2806055 HAS SOUS 1398273 HAS SOUPS 1398273 WITH SCORE 1401079.055
AT ITER 2124 NEW BEST:: SOT 4837565 SOS 2805639 HAS SOPS 2805639 HAS SOUS 1398273 HAS SOUPS 1398273 WITH SCORE 1401078.639
AT ITER 2125 NEW BEST:: SOT 4837398 SOS 2804837 HAS SOPS 2804837 HAS SOUS 1397756 HAS SOUPS 1397756 WITH SCORE 1400560.837
AT ITER 2128 NEW BEST:: SOT 4837398 SOS 2804720 HAS SOPS 2804720 HAS SOUS 1397756 HAS SOUPS 1397756 WITH SCORE 1400560.72
AT ITER 2129 NEW BEST:: SOT 4835091 SOS 2802810 HAS SOPS 2802810 HAS SOUS 1395449 HAS SOUPS 1395449 WITH SCORE 1398251.81
AT ITER 2130 NEW BEST:: SOT 4835022 SOS 2802672 HAS SOPS 2802672 HAS SOUS 1395310 HAS SOUPS 1395310 WITH SCORE 1398112.672
AT ITER 2134 NEW BEST:: SOT 4834762 SOS 2802152 HAS SOPS 2802152 HAS SOUS 1395162 HAS SOUPS 1395162 WITH SCORE 1397964.152
AT ITER 2135 NEW BEST:: SOT 4834762 SOS 2801908 HAS SOPS 2801908 HAS SOUS 1394578 HAS SOUPS 1394578 WITH SCORE 1397379.908
AT ITER 2136 NEW BEST:: SOT 4834520 SOS 2800127 HAS SOPS 2800127 HAS SOUS 1392495 HAS SOUPS 1392495 WITH SCORE 1395295.127
AT ITER 2140 NEW BEST:: SOT 4834664 SOS 2799481 HAS SOPS 2799481 HAS SOUS 1392171 HAS SOUPS 1392171 WITH SCORE 1394970.481
AT ITER 2142 NEW BEST:: SOT 4834200 SOS 2798553 HAS SOPS 2798553 HAS SOUS 1390639 HAS SOUPS 1390639 WITH SCORE 1393437.553
AT ITER 2144 NEW BEST:: SOT 4834200 SOS 2798307 HAS SOPS 2798307 HAS SOUS 1388980 HAS SOUPS 1388980 WITH SCORE 1391778.307
AT ITER 2146 NEW BEST:: SOT 4833914 SOS 2798307 HAS SOPS 2798307 HAS SOUS 1388979 HAS SOUPS 1388979 WITH SCORE 1391777.307
AT ITER 2152 NEW BEST:: SOT 4834097 SOS 2798490 HAS SOPS 2798490 HAS SOUS 1388893 HAS SOUPS 1388893 WITH SCORE 1391691.49
AT ITER 2157 NEW BEST:: SOT 4833803 SOS 2798098 HAS SOPS 2798098 HAS SOUS 1388501 HAS SOUPS 1388501 WITH SCORE 1391299.098
AT ITER 2158 NEW BEST:: SOT 4833843 SOS 2798070 HAS SOPS 2798070 HAS SOUS 1388473 HAS SOUPS 1388473 WITH SCORE 1391271.07
AT ITER 2164 NEW BEST:: SOT 4833762 SOS 2797827 HAS SOPS 2797827 HAS SOUS 1388311 HAS SOUPS 1388311 WITH SCORE 1391108.827
AT ITER 2169 NEW BEST:: SOT 4833762 SOS 2798035 HAS SOPS 2798035 HAS SOUS 1388305 HAS SOUPS 1388305 WITH SCORE 1391103.035
AT ITER 2171 NEW BEST:: SOT 4832280 SOS 2797071 HAS SOPS 2797071 HAS SOUS 1386983 HAS SOUPS 1386983 WITH SCORE 1389780.071
AT ITER 2174 NEW BEST:: SOT 4832274 SOS 2797065 HAS SOPS 2797065 HAS SOUS 1386977 HAS SOUPS 1386977 WITH SCORE 1389774.065
AT ITER 2176 NEW BEST:: SOT 4832241 SOS 2796933 HAS SOPS 2796933 HAS SOUS 1386878 HAS SOUPS 1386878 WITH SCORE 1389674.933
AT ITER 2184 NEW BEST:: SOT 4832241 SOS 2796933 HAS SOPS 2796933 HAS SOUS 1386668 HAS SOUPS 1386668 WITH SCORE 1389464.933
AT ITER 2189 NEW BEST:: SOT 4832640 SOS 2794651 HAS SOPS 2794651 HAS SOUS 1386372 HAS SOUPS 1386372 WITH SCORE 1389166.651
AT ITER 2195 NEW BEST:: SOT 4832913 SOS 2797114 HAS SOPS 2797114 HAS SOUS 1385997 HAS SOUPS 1385997 WITH SCORE 1388794.114
AT ITER 2197 NEW BEST:: SOT 4832662 SOS 2796612 HAS SOPS 2796612 HAS SOUS 1385997 HAS SOUPS 1385997 WITH SCORE 1388793.612
AT ITER 2199 NEW BEST:: SOT 4831062 SOS 2795012 HAS SOPS 2795012 HAS SOUS 1384397 HAS SOUPS 1384397 WITH SCORE 1387192.012
AT ITER 2205 NEW BEST:: SOT 4830999 SOS 2794886 HAS SOPS 2794886 HAS SOUS 1384386 HAS SOUPS 1384386 WITH SCORE 1387180.886
AT ITER 2209 NEW BEST:: SOT 4830742 SOS 2794629 HAS SOPS 2794629 HAS SOUS 1384129 HAS SOUPS 1384129 WITH SCORE 1386923.629
AT ITER 2210 NEW BEST:: SOT 4829439 SOS 2790221 HAS SOPS 2790221 HAS SOUS 1383305 HAS SOUPS 1383305 WITH SCORE 1386095.221
AT ITER 2215 NEW BEST:: SOT 4829439 SOS 2789559 HAS SOPS 2789559 HAS SOUS 1383277 HAS SOUPS 1383277 WITH SCORE 1386066.559
AT ITER 2217 NEW BEST:: SOT 4829219 SOS 2789229 HAS SOPS 2789229 HAS SOUS 1382837 HAS SOUPS 1382837 WITH SCORE 1385626.229
AT ITER 2221 NEW BEST:: SOT 4829219 SOS 2788414 HAS SOPS 2788414 HAS SOUS 1382056 HAS SOUPS 1382056 WITH SCORE 1384844.414
AT ITER 2230 NEW BEST:: SOT 4829219 SOS 2787412 HAS SOPS 2787412 HAS SOUS 1381555 HAS SOUPS 1381555 WITH SCORE 1384342.412
AT ITER 2232 NEW BEST:: SOT 4829219 SOS 2787412 HAS SOPS 2787412 HAS SOUS 1381385 HAS SOUPS 1381385 WITH SCORE 1384172.412
AT ITER 2234 NEW BEST:: SOT 4828694 SOS 2786362 HAS SOPS 2786362 HAS SOUS 1380162 HAS SOUPS 1380162 WITH SCORE 1382948.362
AT ITER 2238 NEW BEST:: SOT 4827541 SOS 2784130 HAS SOPS 2784130 HAS SOUS 1379712 HAS SOUPS 1379712 WITH SCORE 1382496.13
AT ITER 2244 NEW BEST:: SOT 4827790 SOS 2782956 HAS SOPS 2782956 HAS SOUS 1379053 HAS SOUPS 1379053 WITH SCORE 1381835.956
AT ITER 2253 NEW BEST:: SOT 4827695 SOS 2782982 HAS SOPS 2782982 HAS SOUS 1378867 HAS SOUPS 1378867 WITH SCORE 1381649.982
AT ITER 2255 NEW BEST:: SOT 4827695 SOS 2782982 HAS SOPS 2782982 HAS SOUS 1378866 HAS SOUPS 1378866 WITH SCORE 1381648.982
AT ITER 2260 NEW BEST:: SOT 4827171 SOS 2781934 HAS SOPS 2781934 HAS SOUS 1377491 HAS SOUPS 1377491 WITH SCORE 1380272.934
AT ITER 2269 NEW BEST:: SOT 4827171 SOS 2781006 HAS SOPS 2781006 HAS SOUS 1376812 HAS SOUPS 1376812 WITH SCORE 1379593.006
AT ITER 2270 NEW BEST:: SOT 4827333 SOS 2781330 HAS SOPS 2781330 HAS SOUS 1376572 HAS SOUPS 1376572 WITH SCORE 1379353.33
AT ITER 2274 NEW BEST:: SOT 4827265 SOS 2781194 HAS SOPS 2781194 HAS SOUS 1376504 HAS SOUPS 1376504 WITH SCORE 1379285.194
AT ITER 2275 NEW BEST:: SOT 4827633 SOS 2780431 HAS SOPS 2780431 HAS SOUS 1375348 HAS SOUPS 1375348 WITH SCORE 1378128.431
AT ITER 2276 NEW BEST:: SOT 4827798 SOS 2780596 HAS SOPS 2780596 HAS SOUS 1374963 HAS SOUPS 1374963 WITH SCORE 1377743.596
AT ITER 2277 NEW BEST:: SOT 4827798 SOS 2780576 HAS SOPS 2780576 HAS SOUS 1374943 HAS SOUPS 1374943 WITH SCORE 1377723.576
AT ITER 2281 NEW BEST:: SOT 4827798 SOS 2780576 HAS SOPS 2780576 HAS SOUS 1374879 HAS SOUPS 1374879 WITH SCORE 1377659.576
AT ITER 2282 NEW BEST:: SOT 4827798 SOS 2780138 HAS SOPS 2780138 HAS SOUS 1374618 HAS SOUPS 1374618 WITH SCORE 1377398.138
AT ITER 2289 NEW BEST:: SOT 4827670 SOS 2779882 HAS SOPS 2779882 HAS SOUS 1374555 HAS SOUPS 1374555 WITH SCORE 1377334.882
AT ITER 2294 NEW BEST:: SOT 4827348 SOS 2779560 HAS SOPS 2779560 HAS SOUS 1373927 HAS SOUPS 1373927 WITH SCORE 1376706.56
AT ITER 2305 NEW BEST:: SOT 4827460 SOS 2779453 HAS SOPS 2779453 HAS SOUS 1373442 HAS SOUPS 1373442 WITH SCORE 1376221.453
AT ITER 2310 NEW BEST:: SOT 4827419 SOS 2779412 HAS SOPS 2779412 HAS SOUS 1373401 HAS SOUPS 1373401 WITH SCORE 1376180.412
AT ITER 2312 NEW BEST:: SOT 4827349 SOS 2779272 HAS SOPS 2779272 HAS SOUS 1373331 HAS SOUPS 1373331 WITH SCORE 1376110.272
AT ITER 2317 NEW BEST:: SOT 4827182 SOS 2776685 HAS SOPS 2776685 HAS SOUS 1371756 HAS SOUPS 1371756 WITH SCORE 1374532.685
AT ITER 2318 NEW BEST:: SOT 4826947 SOS 2775745 HAS SOPS 2775745 HAS SOUS 1371286 HAS SOUPS 1371286 WITH SCORE 1374061.745
AT ITER 2328 NEW BEST:: SOT 4826519 SOS 2774367 HAS SOPS 2774367 HAS SOUS 1370628 HAS SOUPS 1370628 WITH SCORE 1373402.367
AT ITER 2330 NEW BEST:: SOT 4826371 SOS 2774361 HAS SOPS 2774361 HAS SOUS 1370352 HAS SOUPS 1370352 WITH SCORE 1373126.361
AT ITER 2340 NEW BEST:: SOT 4826161 SOS 2774151 HAS SOPS 2774151 HAS SOUS 1370328 HAS SOUPS 1370328 WITH SCORE 1373102.151
AT ITER 2341 NEW BEST:: SOT 4826101 SOS 2774091 HAS SOPS 2774091 HAS SOUS 1370268 HAS SOUPS 1370268 WITH SCORE 1373042.091
AT ITER 2342 NEW BEST:: SOT 4825051 SOS 2773218 HAS SOPS 2773218 HAS SOUS 1370122 HAS SOUPS 1370122 WITH SCORE 1372895.218
AT ITER 2344 NEW BEST:: SOT 4825006 SOS 2773128 HAS SOPS 2773128 HAS SOUS 1369751 HAS SOUPS 1369751 WITH SCORE 1372524.128
AT ITER 2345 NEW BEST:: SOT 4824354 SOS 2771824 HAS SOPS 2771824 HAS SOUS 1368695 HAS SOUPS 1368695 WITH SCORE 1371466.824
AT ITER 2347 NEW BEST:: SOT 4823838 SOS 2770026 HAS SOPS 2770026 HAS SOUS 1368179 HAS SOUPS 1368179 WITH SCORE 1370949.026
AT ITER 2348 NEW BEST:: SOT 4823837 SOS 2770025 HAS SOPS 2770025 HAS SOUS 1368178 HAS SOUPS 1368178 WITH SCORE 1370948.025
AT ITER 2352 NEW BEST:: SOT 4823111 SOS 2768573 HAS SOPS 2768573 HAS SOUS 1367962 HAS SOUPS 1367962 WITH SCORE 1370730.573
AT ITER 2353 NEW BEST:: SOT 4822913 SOS 2767781 HAS SOPS 2767781 HAS SOUS 1367764 HAS SOUPS 1367764 WITH SCORE 1370531.781
AT ITER 2364 NEW BEST:: SOT 4822550 SOS 2767418 HAS SOPS 2767418 HAS SOUS 1367401 HAS SOUPS 1367401 WITH SCORE 1370168.418
AT ITER 2374 NEW BEST:: SOT 4822550 SOS 2767418 HAS SOPS 2767418 HAS SOUS 1367179 HAS SOUPS 1367179 WITH SCORE 1369946.418
AT ITER 2376 NEW BEST:: SOT 4822167 SOS 2766188 HAS SOPS 2766188 HAS SOUS 1366413 HAS SOUPS 1366413 WITH SCORE 1369179.188
AT ITER 2377 NEW BEST:: SOT 4822167 SOS 2765829 HAS SOPS 2765829 HAS SOUS 1366113 HAS SOUPS 1366113 WITH SCORE 1368878.829
AT ITER 2380 NEW BEST:: SOT 4822167 SOS 2765635 HAS SOPS 2765635 HAS SOUS 1365919 HAS SOUPS 1365919 WITH SCORE 1368684.635
AT ITER 2385 NEW BEST:: SOT 4821948 SOS 2765416 HAS SOPS 2765416 HAS SOUS 1365767 HAS SOUPS 1365767 WITH SCORE 1368532.416
AT ITER 2386 NEW BEST:: SOT 4822157 SOS 2765423 HAS SOPS 2765423 HAS SOUS 1365626 HAS SOUPS 1365626 WITH SCORE 1368391.423
AT ITER 2387 NEW BEST:: SOT 4822144 SOS 2765410 HAS SOPS 2765410 HAS SOUS 1365613 HAS SOUPS 1365613 WITH SCORE 1368378.41
AT ITER 2388 NEW BEST:: SOT 4820791 SOS 2764057 HAS SOPS 2764057 HAS SOUS 1365135 HAS SOUPS 1365135 WITH SCORE 1367899.057
AT ITER 2389 NEW BEST:: SOT 4820673 SOS 2763821 HAS SOPS 2763821 HAS SOUS 1365017 HAS SOUPS 1365017 WITH SCORE 1367780.821
AT ITER 2393 NEW BEST:: SOT 4820524 SOS 2763520 HAS SOPS 2763520 HAS SOUS 1364760 HAS SOUPS 1364760 WITH SCORE 1367523.52
AT ITER 2396 NEW BEST:: SOT 4819955 SOS 2762382 HAS SOPS 2762382 HAS SOUS 1364190 HAS SOUPS 1364190 WITH SCORE 1366952.382
AT ITER 2397 NEW BEST:: SOT 4818966 SOS 2760975 HAS SOPS 2760975 HAS SOUS 1363201 HAS SOUPS 1363201 WITH SCORE 1365961.975
AT ITER 2398 NEW BEST:: SOT 4818732 SOS 2760039 HAS SOPS 2760039 HAS SOUS 1362733 HAS SOUPS 1362733 WITH SCORE 1365493.039
AT ITER 2401 NEW BEST:: SOT 4818339 SOS 2759253 HAS SOPS 2759253 HAS SOUS 1362443 HAS SOUPS 1362443 WITH SCORE 1365202.253
AT ITER 2402 NEW BEST:: SOT 4818330 SOS 2759795 HAS SOPS 2759795 HAS SOUS 1361682 HAS SOUPS 1361682 WITH SCORE 1364441.795
AT ITER 2406 NEW BEST:: SOT 4818326 SOS 2759791 HAS SOPS 2759791 HAS SOUS 1361675 HAS SOUPS 1361675 WITH SCORE 1364434.791
AT ITER 2407 NEW BEST:: SOT 4817750 SOS 2759376 HAS SOPS 2759376 HAS SOUS 1361022 HAS SOUPS 1361022 WITH SCORE 1363781.376
AT ITER 2410 NEW BEST:: SOT 4817452 SOS 2758780 HAS SOPS 2758780 HAS SOUS 1360724 HAS SOUPS 1360724 WITH SCORE 1363482.78
AT ITER 2415 NEW BEST:: SOT 4817452 SOS 2758780 HAS SOPS 2758780 HAS SOUS 1360614 HAS SOUPS 1360614 WITH SCORE 1363372.78
AT ITER 2419 NEW BEST:: SOT 4817445 SOS 2758766 HAS SOPS 2758766 HAS SOUS 1360607 HAS SOUPS 1360607 WITH SCORE 1363365.766
AT ITER 2424 NEW BEST:: SOT 4816950 SOS 2758271 HAS SOPS 2758271 HAS SOUS 1360112 HAS SOUPS 1360112 WITH SCORE 1362870.271
AT ITER 2426 NEW BEST:: SOT 4816950 SOS 2758191 HAS SOPS 2758191 HAS SOUS 1360112 HAS SOUPS 1360112 WITH SCORE 1362870.191
AT ITER 2429 NEW BEST:: SOT 4816948 SOS 2758189 HAS SOPS 2758189 HAS SOUS 1360109 HAS SOUPS 1360109 WITH SCORE 1362867.189
AT ITER 2436 NEW BEST:: SOT 4816948 SOS 2758189 HAS SOPS 2758189 HAS SOUS 1359785 HAS SOUPS 1359785 WITH SCORE 1362543.189
AT ITER 2438 NEW BEST:: SOT 4815738 SOS 2756834 HAS SOPS 2756834 HAS SOUS 1359330 HAS SOUPS 1359330 WITH SCORE 1362086.834
AT ITER 2439 NEW BEST:: SOT 4815285 SOS 2756282 HAS SOPS 2756282 HAS SOUS 1358875 HAS SOUPS 1358875 WITH SCORE 1361631.282
AT ITER 2440 NEW BEST:: SOT 4815197 SOS 2756106 HAS SOPS 2756106 HAS SOUS 1358749 HAS SOUPS 1358749 WITH SCORE 1361505.106
AT ITER 2450 NEW BEST:: SOT 4815116 SOS 2756025 HAS SOPS 2756025 HAS SOUS 1358749 HAS SOUPS 1358749 WITH SCORE 1361505.025
AT ITER 2453 NEW BEST:: SOT 4813933 SOS 2752055 HAS SOPS 2752055 HAS SOUS 1357134 HAS SOUPS 1357134 WITH SCORE 1359886.055
AT ITER 2454 NEW BEST:: SOT 4813822 SOS 2751922 HAS SOPS 2751922 HAS SOUS 1357023 HAS SOUPS 1357023 WITH SCORE 1359774.922
AT ITER 2458 NEW BEST:: SOT 4813822 SOS 2751922 HAS SOPS 2751922 HAS SOUS 1357015 HAS SOUPS 1357015 WITH SCORE 1359766.922
AT ITER 2459 NEW BEST:: SOT 4813533 SOS 2751532 HAS SOPS 2751532 HAS SOUS 1356785 HAS SOUPS 1356785 WITH SCORE 1359536.532
AT ITER 2462 NEW BEST:: SOT 4813533 SOS 2751532 HAS SOPS 2751532 HAS SOUS 1356178 HAS SOUPS 1356178 WITH SCORE 1358929.532
AT ITER 2464 NEW BEST:: SOT 4813533 SOS 2752162 HAS SOPS 2752162 HAS SOUS 1355195 HAS SOUPS 1355195 WITH SCORE 1357947.162
AT ITER 2465 NEW BEST:: SOT 4813017 SOS 2750663 HAS SOPS 2750663 HAS SOUS 1354679 HAS SOUPS 1354679 WITH SCORE 1357429.663
AT ITER 2466 NEW BEST:: SOT 4811642 SOS 2749288 HAS SOPS 2749288 HAS SOUS 1354369 HAS SOUPS 1354369 WITH SCORE 1357118.288
AT ITER 2472 NEW BEST:: SOT 4811642 SOS 2748732 HAS SOPS 2748732 HAS SOUS 1354369 HAS SOUPS 1354369 WITH SCORE 1357117.732
AT ITER 2475 NEW BEST:: SOT 4811436 SOS 2748336 HAS SOPS 2748336 HAS SOUS 1354163 HAS SOUPS 1354163 WITH SCORE 1356911.336
AT ITER 2482 NEW BEST:: SOT 4812001 SOS 2747068 HAS SOPS 2747068 HAS SOUS 1354110 HAS SOUPS 1354110 WITH SCORE 1356857.068
AT ITER 2483 NEW BEST:: SOT 4811886 SOS 2746838 HAS SOPS 2746838 HAS SOUS 1353965 HAS SOUPS 1353965 WITH SCORE 1356711.838
AT ITER 2487 NEW BEST:: SOT 4811686 SOS 2746438 HAS SOPS 2746438 HAS SOUS 1353565 HAS SOUPS 1353565 WITH SCORE 1356311.438
AT ITER 2488 NEW BEST:: SOT 4811647 SOS 2746360 HAS SOPS 2746360 HAS SOUS 1353021 HAS SOUPS 1353021 WITH SCORE 1355767.36
AT ITER 2491 NEW BEST:: SOT 4811033 SOS 2744163 HAS SOPS 2744163 HAS SOUS 1351792 HAS SOUPS 1351792 WITH SCORE 1354536.163
AT ITER 2492 NEW BEST:: SOT 4810869 SOS 2743835 HAS SOPS 2743835 HAS SOUS 1351464 HAS SOUPS 1351464 WITH SCORE 1354207.835
AT ITER 2500 NEW BEST:: SOT 4809845 SOS 2742643 HAS SOPS 2742643 HAS SOUS 1351202 HAS SOUPS 1351202 WITH SCORE 1353944.643
AT ITER 2502 NEW BEST:: SOT 4809551 SOS 2742055 HAS SOPS 2742055 HAS SOUS 1350614 HAS SOUPS 1350614 WITH SCORE 1353356.055
AT ITER 2509 NEW BEST:: SOT 4809551 SOS 2741703 HAS SOPS 2741703 HAS SOUS 1350262 HAS SOUPS 1350262 WITH SCORE 1353003.703
AT ITER 2510 NEW BEST:: SOT 4809560 SOS 2741052 HAS SOPS 2741052 HAS SOUS 1350139 HAS SOUPS 1350139 WITH SCORE 1352880.052
AT ITER 2516 NEW BEST:: SOT 4809695 SOS 2740506 HAS SOPS 2740506 HAS SOUS 1347990 HAS SOUPS 1347990 WITH SCORE 1350730.506
AT ITER 2523 NEW BEST:: SOT 4809911 SOS 2740722 HAS SOPS 2740722 HAS SOUS 1347989 HAS SOUPS 1347989 WITH SCORE 1350729.722
AT ITER 2534 NEW BEST:: SOT 4809844 SOS 2740588 HAS SOPS 2740588 HAS SOUS 1347855 HAS SOUPS 1347855 WITH SCORE 1350595.588
AT ITER 2537 NEW BEST:: SOT 4809826 SOS 2740570 HAS SOPS 2740570 HAS SOUS 1347819 HAS SOUPS 1347819 WITH SCORE 1350559.57
AT ITER 2540 NEW BEST:: SOT 4808989 SOS 2739733 HAS SOPS 2739733 HAS SOUS 1346982 HAS SOUPS 1346982 WITH SCORE 1349721.733
AT ITER 2547 NEW BEST:: SOT 4809944 SOS 2740217 HAS SOPS 2740217 HAS SOUS 1346938 HAS SOUPS 1346938 WITH SCORE 1349678.217
AT ITER 2548 NEW BEST:: SOT 4809269 SOS 2738867 HAS SOPS 2738867 HAS SOUS 1346243 HAS SOUPS 1346243 WITH SCORE 1348981.867
AT ITER 2550 NEW BEST:: SOT 4809386 SOS 2739101 HAS SOPS 2739101 HAS SOUS 1345463 HAS SOUPS 1345463 WITH SCORE 1348202.101
AT ITER 2557 NEW BEST:: SOT 4809386 SOS 2739030 HAS SOPS 2739030 HAS SOUS 1345270 HAS SOUPS 1345270 WITH SCORE 1348009.03
AT ITER 2576 NEW BEST:: SOT 4809212 SOS 2738682 HAS SOPS 2738682 HAS SOUS 1344865 HAS SOUPS 1344865 WITH SCORE 1347603.682
AT ITER 2578 NEW BEST:: SOT 4809131 SOS 2736275 HAS SOPS 2736275 HAS SOUS 1343377 HAS SOUPS 1343377 WITH SCORE 1346113.275
AT ITER 2580 NEW BEST:: SOT 4793997 SOS 2740033 HAS SOPS 2740033 HAS SOUS 1330417 HAS SOUPS 1330417 WITH SCORE 1333157.033
AT ITER 2581 NEW BEST:: SOT 4793803 SOS 2739645 HAS SOPS 2739645 HAS SOUS 1330223 HAS SOUPS 1330223 WITH SCORE 1332962.645
AT ITER 2584 NEW BEST:: SOT 4793101 SOS 2738241 HAS SOPS 2738241 HAS SOUS 1329184 HAS SOUPS 1329184 WITH SCORE 1331922.241
AT ITER 2589 NEW BEST:: SOT 4791793 SOS 2737079 HAS SOPS 2737079 HAS SOUS 1328022 HAS SOUPS 1328022 WITH SCORE 1330759.079
AT ITER 2592 NEW BEST:: SOT 4791667 SOS 2736827 HAS SOPS 2736827 HAS SOUS 1327896 HAS SOUPS 1327896 WITH SCORE 1330632.827
AT ITER 2593 NEW BEST:: SOT 4791667 SOS 2736568 HAS SOPS 2736568 HAS SOUS 1327896 HAS SOUPS 1327896 WITH SCORE 1330632.568
AT ITER 2603 NEW BEST:: SOT 4791667 SOS 2736568 HAS SOPS 2736568 HAS SOUS 1327455 HAS SOUPS 1327455 WITH SCORE 1330191.568
AT ITER 2604 NEW BEST:: SOT 4791276 SOS 2735786 HAS SOPS 2735786 HAS SOUS 1326199 HAS SOUPS 1326199 WITH SCORE 1328934.786
AT ITER 2626 NEW BEST:: SOT 4791406 SOS 2736046 HAS SOPS 2736046 HAS SOUS 1325576 HAS SOUPS 1325576 WITH SCORE 1328312.046
AT ITER 2629 NEW BEST:: SOT 4791256 SOS 2735446 HAS SOPS 2735446 HAS SOUS 1325126 HAS SOUPS 1325126 WITH SCORE 1327861.446
AT ITER 2631 NEW BEST:: SOT 4790570 SOS 2734408 HAS SOPS 2734408 HAS SOUS 1325070 HAS SOUPS 1325070 WITH SCORE 1327804.408
AT ITER 2632 NEW BEST:: SOT 4790199 SOS 2734392 HAS SOPS 2734392 HAS SOUS 1325054 HAS SOUPS 1325054 WITH SCORE 1327788.392
AT ITER 2639 NEW BEST:: SOT 4789136 SOS 2732297 HAS SOPS 2732297 HAS SOUS 1323991 HAS SOUPS 1323991 WITH SCORE 1326723.297
AT ITER 2641 NEW BEST:: SOT 4788347 SOS 2730719 HAS SOPS 2730719 HAS SOUS 1322534 HAS SOUPS 1322534 WITH SCORE 1325264.719
AT ITER 2646 NEW BEST:: SOT 4788401 SOS 2730283 HAS SOPS 2730283 HAS SOUS 1322065 HAS SOUPS 1322065 WITH SCORE 1324795.283
AT ITER 2647 NEW BEST:: SOT 4788239 SOS 2730040 HAS SOPS 2730040 HAS SOUS 1321903 HAS SOUPS 1321903 WITH SCORE 1324633.04
AT ITER 2650 NEW BEST:: SOT 4788123 SOS 2729808 HAS SOPS 2729808 HAS SOUS 1321557 HAS SOUPS 1321557 WITH SCORE 1324286.808
AT ITER 2651 NEW BEST:: SOT 4787900 SOS 2729585 HAS SOPS 2729585 HAS SOUS 1321447 HAS SOUPS 1321447 WITH SCORE 1324176.585
AT ITER 2654 NEW BEST:: SOT 4787885 SOS 2729091 HAS SOPS 2729091 HAS SOUS 1320474 HAS SOUPS 1320474 WITH SCORE 1323203.091
AT ITER 2656 NEW BEST:: SOT 4786612 SOS 2728532 HAS SOPS 2728532 HAS SOUS 1319746 HAS SOUPS 1319746 WITH SCORE 1322474.532
AT ITER 2659 NEW BEST:: SOT 4786612 SOS 2727551 HAS SOPS 2727551 HAS SOUS 1319536 HAS SOUPS 1319536 WITH SCORE 1322263.551
AT ITER 2667 NEW BEST:: SOT 4786116 SOS 2726952 HAS SOPS 2726952 HAS SOUS 1319040 HAS SOUPS 1319040 WITH SCORE 1321766.952
AT ITER 2671 NEW BEST:: SOT 4786165 SOS 2727001 HAS SOPS 2727001 HAS SOUS 1319039 HAS SOUPS 1319039 WITH SCORE 1321766.001
AT ITER 2677 NEW BEST:: SOT 4786165 SOS 2727001 HAS SOPS 2727001 HAS SOUS 1318932 HAS SOUPS 1318932 WITH SCORE 1321659.001
AT ITER 2684 NEW BEST:: SOT 4786139 SOS 2726923 HAS SOPS 2726923 HAS SOUS 1318880 HAS SOUPS 1318880 WITH SCORE 1321606.923
AT ITER 2685 NEW BEST:: SOT 4786139 SOS 2726985 HAS SOPS 2726985 HAS SOUS 1318183 HAS SOUPS 1318183 WITH SCORE 1320909.985
AT ITER 2690 NEW BEST:: SOT 4786021 SOS 2726749 HAS SOPS 2726749 HAS SOUS 1317947 HAS SOUPS 1317947 WITH SCORE 1320673.749
AT ITER 2694 NEW BEST:: SOT 4785640 SOS 2715346 HAS SOPS 2715346 HAS SOUS 1317245 HAS SOUPS 1317245 WITH SCORE 1319960.346
AT ITER 2696 NEW BEST:: SOT 4785640 SOS 2715346 HAS SOPS 2715346 HAS SOUS 1317025 HAS SOUPS 1317025 WITH SCORE 1319740.346
AT ITER 2700 NEW BEST:: SOT 4785476 SOS 2715100 HAS SOPS 2715100 HAS SOUS 1316861 HAS SOUPS 1316861 WITH SCORE 1319576.1
AT ITER 2713 NEW BEST:: SOT 4785524 SOS 2714242 HAS SOPS 2714242 HAS SOUS 1316694 HAS SOUPS 1316694 WITH SCORE 1319408.242
AT ITER 2714 NEW BEST:: SOT 4785017 SOS 2712428 HAS SOPS 2712428 HAS SOUS 1315979 HAS SOUPS 1315979 WITH SCORE 1318691.428
AT ITER 2715 NEW BEST:: SOT 4784982 SOS 2712393 HAS SOPS 2712393 HAS SOUS 1315944 HAS SOUPS 1315944 WITH SCORE 1318656.393
AT ITER 2722 NEW BEST:: SOT 4785063 SOS 2712555 HAS SOPS 2712555 HAS SOUS 1315846 HAS SOUPS 1315846 WITH SCORE 1318558.555
AT ITER 2724 NEW BEST:: SOT 4784913 SOS 2712405 HAS SOPS 2712405 HAS SOUS 1315696 HAS SOUPS 1315696 WITH SCORE 1318408.405
AT ITER 2727 NEW BEST:: SOT 4784263 SOS 2711105 HAS SOPS 2711105 HAS SOUS 1314467 HAS SOUPS 1314467 WITH SCORE 1317178.105
AT ITER 2728 NEW BEST:: SOT 4783967 SOS 2710809 HAS SOPS 2710809 HAS SOUS 1314171 HAS SOUPS 1314171 WITH SCORE 1316881.809
AT ITER 2732 NEW BEST:: SOT 4783787 SOS 2710449 HAS SOPS 2710449 HAS SOUS 1313639 HAS SOUPS 1313639 WITH SCORE 1316349.449
AT ITER 2733 NEW BEST:: SOT 4783246 SOS 2709367 HAS SOPS 2709367 HAS SOUS 1312557 HAS SOUPS 1312557 WITH SCORE 1315266.367
AT ITER 2735 NEW BEST:: SOT 4782498 SOS 2705745 HAS SOPS 2705745 HAS SOUS 1310572 HAS SOUPS 1310572 WITH SCORE 1313277.745
AT ITER 2741 NEW BEST:: SOT 4782157 SOS 2705404 HAS SOPS 2705404 HAS SOUS 1310572 HAS SOUPS 1310572 WITH SCORE 1313277.404
AT ITER 2743 NEW BEST:: SOT 4782157 SOS 2704538 HAS SOPS 2704538 HAS SOUS 1310132 HAS SOUPS 1310132 WITH SCORE 1312836.538
AT ITER 2757 NEW BEST:: SOT 4781494 SOS 2702549 HAS SOPS 2702549 HAS SOUS 1309469 HAS SOUPS 1309469 WITH SCORE 1312171.549
AT ITER 2768 NEW BEST:: SOT 4781522 SOS 2701668 HAS SOPS 2701668 HAS SOUS 1307651 HAS SOUPS 1307651 WITH SCORE 1310352.668
AT ITER 2778 NEW BEST:: SOT 4781699 SOS 2702022 HAS SOPS 2702022 HAS SOUS 1307483 HAS SOUPS 1307483 WITH SCORE 1310185.022
AT ITER 2783 NEW BEST:: SOT 4781699 SOS 2701308 HAS SOPS 2701308 HAS SOUS 1307037 HAS SOUPS 1307037 WITH SCORE 1309738.308
AT ITER 2790 NEW BEST:: SOT 4780591 SOS 2700200 HAS SOPS 2700200 HAS SOUS 1306814 HAS SOUPS 1306814 WITH SCORE 1309514.2
AT ITER 2796 NEW BEST:: SOT 4780514 SOS 2700046 HAS SOPS 2700046 HAS SOUS 1306457 HAS SOUPS 1306457 WITH SCORE 1309157.046
AT ITER 2805 NEW BEST:: SOT 4779219 SOS 2697456 HAS SOPS 2697456 HAS SOUS 1303851 HAS SOUPS 1303851 WITH SCORE 1306548.456
AT ITER 2836 NEW BEST:: SOT 4778451 SOS 2695482 HAS SOPS 2695482 HAS SOUS 1303480 HAS SOUPS 1303480 WITH SCORE 1306175.482
AT ITER 2841 NEW BEST:: SOT 4778795 SOS 2695671 HAS SOPS 2695671 HAS SOUS 1303325 HAS SOUPS 1303325 WITH SCORE 1306020.671
AT ITER 2846 NEW BEST:: SOT 4778704 SOS 2695489 HAS SOPS 2695489 HAS SOUS 1303143 HAS SOUPS 1303143 WITH SCORE 1305838.489
AT ITER 2847 NEW BEST:: SOT 4778704 SOS 2695489 HAS SOPS 2695489 HAS SOUS 1303125 HAS SOUPS 1303125 WITH SCORE 1305820.489
AT ITER 2850 NEW BEST:: SOT 4778704 SOS 2695361 HAS SOPS 2695361 HAS SOUS 1302898 HAS SOUPS 1302898 WITH SCORE 1305593.361
AT ITER 2860 NEW BEST:: SOT 4777699 SOS 2693814 HAS SOPS 2693814 HAS SOUS 1302406 HAS SOUPS 1302406 WITH SCORE 1305099.814
AT ITER 2864 NEW BEST:: SOT 4778167 SOS 2694353 HAS SOPS 2694353 HAS SOUS 1301961 HAS SOUPS 1301961 WITH SCORE 1304655.353
AT ITER 2874 NEW BEST:: SOT 4777973 SOS 2693965 HAS SOPS 2693965 HAS SOUS 1300274 HAS SOUPS 1300274 WITH SCORE 1302967.965
AT ITER 2878 NEW BEST:: SOT 4777622 SOS 2693964 HAS SOPS 2693964 HAS SOUS 1299966 HAS SOUPS 1299966 WITH SCORE 1302659.964
AT ITER 2881 NEW BEST:: SOT 4777622 SOS 2693864 HAS SOPS 2693864 HAS SOUS 1299866 HAS SOUPS 1299866 WITH SCORE 1302559.864
AT ITER 2882 NEW BEST:: SOT 4776939 SOS 2691025 HAS SOPS 2691025 HAS SOUS 1298663 HAS SOUPS 1298663 WITH SCORE 1301354.025
AT ITER 2889 NEW BEST:: SOT 4776939 SOS 2691025 HAS SOPS 2691025 HAS SOUS 1298662 HAS SOUPS 1298662 WITH SCORE 1301353.025
AT ITER 2894 NEW BEST:: SOT 4777031 SOS 2690984 HAS SOPS 2690984 HAS SOUS 1298476 HAS SOUPS 1298476 WITH SCORE 1301166.984
AT ITER 2895 NEW BEST:: SOT 4777194 SOS 2691147 HAS SOPS 2691147 HAS SOUS 1298157 HAS SOUPS 1298157 WITH SCORE 1300848.147
AT ITER 2896 NEW BEST:: SOT 4777116 SOS 2690987 HAS SOPS 2690987 HAS SOUS 1298066 HAS SOUPS 1298066 WITH SCORE 1300756.987
AT ITER 2900 NEW BEST:: SOT 4777161 SOS 2690768 HAS SOPS 2690768 HAS SOUS 1297847 HAS SOUPS 1297847 WITH SCORE 1300537.768
AT ITER 2903 NEW BEST:: SOT 4776781 SOS 2690388 HAS SOPS 2690388 HAS SOUS 1297639 HAS SOUPS 1297639 WITH SCORE 1300329.388
AT ITER 2908 NEW BEST:: SOT 4776829 SOS 2690436 HAS SOPS 2690436 HAS SOUS 1297193 HAS SOUPS 1297193 WITH SCORE 1299883.436
AT ITER 2916 NEW BEST:: SOT 4776593 SOS 2688816 HAS SOPS 2688816 HAS SOUS 1296879 HAS SOUPS 1296879 WITH SCORE 1299567.816
AT ITER 2925 NEW BEST:: SOT 4776517 SOS 2686764 HAS SOPS 2686764 HAS SOUS 1296803 HAS SOUPS 1296803 WITH SCORE 1299489.764
AT ITER 2927 NEW BEST:: SOT 4776092 SOS 2685914 HAS SOPS 2685914 HAS SOUS 1296378 HAS SOUPS 1296378 WITH SCORE 1299063.914
AT ITER 2938 NEW BEST:: SOT 4775229 SOS 2685051 HAS SOPS 2685051 HAS SOUS 1295515 HAS SOUPS 1295515 WITH SCORE 1298200.051
AT ITER 2941 NEW BEST:: SOT 4775449 SOS 2684713 HAS SOPS 2684713 HAS SOUS 1295274 HAS SOUPS 1295274 WITH SCORE 1297958.713
AT ITER 2948 NEW BEST:: SOT 4775739 SOS 2683856 HAS SOPS 2683856 HAS SOUS 1294799 HAS SOUPS 1294799 WITH SCORE 1297482.856
AT ITER 2950 NEW BEST:: SOT 4775523 SOS 2683634 HAS SOPS 2683634 HAS SOUS 1294773 HAS SOUPS 1294773 WITH SCORE 1297456.634
AT ITER 2952 NEW BEST:: SOT 4775430 SOS 2683541 HAS SOPS 2683541 HAS SOUS 1294329 HAS SOUPS 1294329 WITH SCORE 1297012.541
AT ITER 2953 NEW BEST:: SOT 4775430 SOS 2683492 HAS SOPS 2683492 HAS SOUS 1294329 HAS SOUPS 1294329 WITH SCORE 1297012.492
AT ITER 2959 NEW BEST:: SOT 4775430 SOS 2683492 HAS SOPS 2683492 HAS SOUS 1294110 HAS SOUPS 1294110 WITH SCORE 1296793.492
AT ITER 2961 NEW BEST:: SOT 4775430 SOS 2683371 HAS SOPS 2683371 HAS SOUS 1294109 HAS SOUPS 1294109 WITH SCORE 1296792.371
AT ITER 2963 NEW BEST:: SOT 4775258 SOS 2683113 HAS SOPS 2683113 HAS SOUS 1293946 HAS SOUPS 1293946 WITH SCORE 1296629.113
AT ITER 2971 NEW BEST:: SOT 4775070 SOS 2682737 HAS SOPS 2682737 HAS SOUS 1293758 HAS SOUPS 1293758 WITH SCORE 1296440.737
AT ITER 2979 NEW BEST:: SOT 4775070 SOS 2682569 HAS SOPS 2682569 HAS SOUS 1293758 HAS SOUPS 1293758 WITH SCORE 1296440.569
AT ITER 2987 NEW BEST:: SOT 4774800 SOS 2682299 HAS SOPS 2682299 HAS SOUS 1293488 HAS SOUPS 1293488 WITH SCORE 1296170.299
AT ITER 3000 NEW BEST:: SOT 4771711 SOS 2698602 HAS SOPS 2698602 HAS SOUS 1293118 HAS SOUPS 1293118 WITH SCORE 1295816.602
AT ITER 3005 NEW BEST:: SOT 4771711 SOS 2698602 HAS SOPS 2698602 HAS SOUS 1292707 HAS SOUPS 1292707 WITH SCORE 1295405.602
AT ITER 3008 NEW BEST:: SOT 4771066 SOS 2697303 HAS SOPS 2697303 HAS SOUS 1292140 HAS SOUPS 1292140 WITH SCORE 1294837.303
AT ITER 3009 NEW BEST:: SOT 4770000 SOS 2694233 HAS SOPS 2694233 HAS SOUS 1290886 HAS SOUPS 1290886 WITH SCORE 1293580.233
AT ITER 3011 NEW BEST:: SOT 4770000 SOS 2694233 HAS SOPS 2694233 HAS SOUS 1290885 HAS SOUPS 1290885 WITH SCORE 1293579.233
AT ITER 3017 NEW BEST:: SOT 4769664 SOS 2693561 HAS SOPS 2693561 HAS SOUS 1290549 HAS SOUPS 1290549 WITH SCORE 1293242.561
AT ITER 3021 NEW BEST:: SOT 4769272 SOS 2692288 HAS SOPS 2692288 HAS SOUS 1289781 HAS SOUPS 1289781 WITH SCORE 1292473.288
AT ITER 3026 NEW BEST:: SOT 4769272 SOS 2692285 HAS SOPS 2692285 HAS SOUS 1289514 HAS SOUPS 1289514 WITH SCORE 1292206.285
AT ITER 3027 NEW BEST:: SOT 4768431 SOS 2691197 HAS SOPS 2691197 HAS SOUS 1289045 HAS SOUPS 1289045 WITH SCORE 1291736.197
AT ITER 3032 NEW BEST:: SOT 4768475 SOS 2690903 HAS SOPS 2690903 HAS SOUS 1288824 HAS SOUPS 1288824 WITH SCORE 1291514.903
AT ITER 3039 NEW BEST:: SOT 4767553 SOS 2690024 HAS SOPS 2690024 HAS SOUS 1288803 HAS SOUPS 1288803 WITH SCORE 1291493.024
AT ITER 3046 NEW BEST:: SOT 4767553 SOS 2690024 HAS SOPS 2690024 HAS SOUS 1288469 HAS SOUPS 1288469 WITH SCORE 1291159.024
AT ITER 3049 NEW BEST:: SOT 4767315 SOS 2689786 HAS SOPS 2689786 HAS SOUS 1288083 HAS SOUPS 1288083 WITH SCORE 1290772.786
AT ITER 3058 NEW BEST:: SOT 4767315 SOS 2689716 HAS SOPS 2689716 HAS SOUS 1288013 HAS SOUPS 1288013 WITH SCORE 1290702.716
AT ITER 3064 NEW BEST:: SOT 4768509 SOS 2691731 HAS SOPS 2691731 HAS SOUS 1287909 HAS SOUPS 1287909 WITH SCORE 1290600.731
AT ITER 3067 NEW BEST:: SOT 4768711 SOS 2691933 HAS SOPS 2691933 HAS SOUS 1287898 HAS SOUPS 1287898 WITH SCORE 1290589.933
AT ITER 3068 NEW BEST:: SOT 4768702 SOS 2691915 HAS SOPS 2691915 HAS SOUS 1287889 HAS SOUPS 1287889 WITH SCORE 1290580.915
AT ITER 3074 NEW BEST:: SOT 4768680 SOS 2691827 HAS SOPS 2691827 HAS SOUS 1287845 HAS SOUPS 1287845 WITH SCORE 1290536.827
AT ITER 3076 NEW BEST:: SOT 4768152 SOS 2690989 HAS SOPS 2690989 HAS SOUS 1287317 HAS SOUPS 1287317 WITH SCORE 1290007.989
AT ITER 3077 NEW BEST:: SOT 4768152 SOS 2690232 HAS SOPS 2690232 HAS SOUS 1286068 HAS SOUPS 1286068 WITH SCORE 1288758.232
AT ITER 3078 NEW BEST:: SOT 4768088 SOS 2690168 HAS SOPS 2690168 HAS SOUS 1286046 HAS SOUPS 1286046 WITH SCORE 1288736.168
AT ITER 3081 NEW BEST:: SOT 4766651 SOS 2688059 HAS SOPS 2688059 HAS SOUS 1285051 HAS SOUPS 1285051 WITH SCORE 1287739.059
AT ITER 3089 NEW BEST:: SOT 4765318 SOS 2686361 HAS SOPS 2686361 HAS SOUS 1284262 HAS SOUPS 1284262 WITH SCORE 1286948.361
AT ITER 3094 NEW BEST:: SOT 4763442 SOS 2683756 HAS SOPS 2683756 HAS SOUS 1281657 HAS SOUPS 1281657 WITH SCORE 1284340.756
AT ITER 3101 NEW BEST:: SOT 4763664 SOS 2683978 HAS SOPS 2683978 HAS SOUS 1281315 HAS SOUPS 1281315 WITH SCORE 1283998.978
AT ITER 3106 NEW BEST:: SOT 4763624 SOS 2683898 HAS SOPS 2683898 HAS SOUS 1281235 HAS SOUPS 1281235 WITH SCORE 1283918.898
AT ITER 3108 NEW BEST:: SOT 4763710 SOS 2683984 HAS SOPS 2683984 HAS SOUS 1281145 HAS SOUPS 1281145 WITH SCORE 1283828.984
AT ITER 3127 NEW BEST:: SOT 4763630 SOS 2683824 HAS SOPS 2683824 HAS SOUS 1280985 HAS SOUPS 1280985 WITH SCORE 1283668.824
AT ITER 3132 NEW BEST:: SOT 4763468 SOS 2683662 HAS SOPS 2683662 HAS SOUS 1280900 HAS SOUPS 1280900 WITH SCORE 1283583.662
AT ITER 3133 NEW BEST:: SOT 4762896 SOS 2682974 HAS SOPS 2682974 HAS SOUS 1280189 HAS SOUPS 1280189 WITH SCORE 1282871.974
AT ITER 3141 NEW BEST:: SOT 4762638 SOS 2682716 HAS SOPS 2682716 HAS SOUS 1279584 HAS SOUPS 1279584 WITH SCORE 1282266.716
AT ITER 3143 NEW BEST:: SOT 4762638 SOS 2682716 HAS SOPS 2682716 HAS SOUS 1279526 HAS SOUPS 1279526 WITH SCORE 1282208.716
AT ITER 3144 NEW BEST:: SOT 4762638 SOS 2682716 HAS SOPS 2682716 HAS SOUS 1279407 HAS SOUPS 1279407 WITH SCORE 1282089.716
AT ITER 3150 NEW BEST:: SOT 4762638 SOS 2682716 HAS SOPS 2682716 HAS SOUS 1278626 HAS SOUPS 1278626 WITH SCORE 1281308.716
AT ITER 3159 NEW BEST:: SOT 4762355 SOS 2680266 HAS SOPS 2680266 HAS SOUS 1277861 HAS SOUPS 1277861 WITH SCORE 1280541.266
AT ITER 3166 NEW BEST:: SOT 4762308 SOS 2680219 HAS SOPS 2680219 HAS SOUS 1277814 HAS SOUPS 1277814 WITH SCORE 1280494.219
AT ITER 3172 NEW BEST:: SOT 4761714 SOS 2678662 HAS SOPS 2678662 HAS SOUS 1276257 HAS SOUPS 1276257 WITH SCORE 1278935.662
AT ITER 3175 NEW BEST:: SOT 4760853 SOS 2677440 HAS SOPS 2677440 HAS SOUS 1275224 HAS SOUPS 1275224 WITH SCORE 1277901.44
AT ITER 3184 NEW BEST:: SOT 4760584 SOS 2676902 HAS SOPS 2676902 HAS SOUS 1275160 HAS SOUPS 1275160 WITH SCORE 1277836.902
AT ITER 3189 NEW BEST:: SOT 4747449 SOS 2687784 HAS SOPS 2687784 HAS SOUS 1265137 HAS SOUPS 1265137 WITH SCORE 1267824.784
AT ITER 3192 NEW BEST:: SOT 4747449 SOS 2687784 HAS SOPS 2687784 HAS SOUS 1265136 HAS SOUPS 1265136 WITH SCORE 1267823.784
AT ITER 3194 NEW BEST:: SOT 4747191 SOS 2687442 HAS SOPS 2687442 HAS SOUS 1264918 HAS SOUPS 1264918 WITH SCORE 1267605.442
AT ITER 3198 NEW BEST:: SOT 4747191 SOS 2680829 HAS SOPS 2680829 HAS SOUS 1264726 HAS SOUPS 1264726 WITH SCORE 1267406.829
AT ITER 3208 NEW BEST:: SOT 4748081 SOS 2681367 HAS SOPS 2681367 HAS SOUS 1264283 HAS SOUPS 1264283 WITH SCORE 1266964.367
AT ITER 3209 NEW BEST:: SOT 4748081 SOS 2681367 HAS SOPS 2681367 HAS SOUS 1264282 HAS SOUPS 1264282 WITH SCORE 1266963.367
AT ITER 3221 NEW BEST:: SOT 4747287 SOS 2679571 HAS SOPS 2679571 HAS SOUS 1263488 HAS SOUPS 1263488 WITH SCORE 1266167.571
AT ITER 3222 NEW BEST:: SOT 4747287 SOS 2679207 HAS SOPS 2679207 HAS SOUS 1262744 HAS SOUPS 1262744 WITH SCORE 1265423.207
AT ITER 3224 NEW BEST:: SOT 4747287 SOS 2679207 HAS SOPS 2679207 HAS SOUS 1262719 HAS SOUPS 1262719 WITH SCORE 1265398.207
AT ITER 3226 NEW BEST:: SOT 4747018 SOS 2678669 HAS SOPS 2678669 HAS SOUS 1262307 HAS SOUPS 1262307 WITH SCORE 1264985.669
AT ITER 3228 NEW BEST:: SOT 4746757 SOS 2678147 HAS SOPS 2678147 HAS SOUS 1262067 HAS SOUPS 1262067 WITH SCORE 1264745.147
AT ITER 3229 NEW BEST:: SOT 4745198 SOS 2676588 HAS SOPS 2676588 HAS SOUS 1260093 HAS SOUPS 1260093 WITH SCORE 1262769.588
AT ITER 3233 NEW BEST:: SOT 4744932 SOS 2676056 HAS SOPS 2676056 HAS SOUS 1259827 HAS SOUPS 1259827 WITH SCORE 1262503.056
AT ITER 3234 NEW BEST:: SOT 4744932 SOS 2675826 HAS SOPS 2675826 HAS SOUS 1259497 HAS SOUPS 1259497 WITH SCORE 1262172.826
AT ITER 3239 NEW BEST:: SOT 4744434 SOS 2673446 HAS SOPS 2673446 HAS SOUS 1258558 HAS SOUPS 1258558 WITH SCORE 1261231.446
AT ITER 3243 NEW BEST:: SOT 4744418 SOS 2673430 HAS SOPS 2673430 HAS SOUS 1258066 HAS SOUPS 1258066 WITH SCORE 1260739.43
AT ITER 3244 NEW BEST:: SOT 4744266 SOS 2673278 HAS SOPS 2673278 HAS SOUS 1257914 HAS SOUPS 1257914 WITH SCORE 1260587.278
AT ITER 3245 NEW BEST:: SOT 4743308 SOS 2671362 HAS SOPS 2671362 HAS SOUS 1256956 HAS SOUPS 1256956 WITH SCORE 1259627.362
AT ITER 3246 NEW BEST:: SOT 4743140 SOS 2671194 HAS SOPS 2671194 HAS SOUS 1256620 HAS SOUPS 1256620 WITH SCORE 1259291.194
AT ITER 3254 NEW BEST:: SOT 4743034 SOS 2671088 HAS SOPS 2671088 HAS SOUS 1256461 HAS SOUPS 1256461 WITH SCORE 1259132.088
AT ITER 3258 NEW BEST:: SOT 4742191 SOS 2670244 HAS SOPS 2670244 HAS SOUS 1255618 HAS SOUPS 1255618 WITH SCORE 1258288.244
AT ITER 3260 NEW BEST:: SOT 4739549 SOS 2663355 HAS SOPS 2663355 HAS SOUS 1250252 HAS SOUPS 1250252 WITH SCORE 1252915.355
AT ITER 3261 NEW BEST:: SOT 4739548 SOS 2663354 HAS SOPS 2663354 HAS SOUS 1250250 HAS SOUPS 1250250 WITH SCORE 1252913.354
AT ITER 3262 NEW BEST:: SOT 4739536 SOS 2663330 HAS SOPS 2663330 HAS SOUS 1250226 HAS SOUPS 1250226 WITH SCORE 1252889.33
AT ITER 3265 NEW BEST:: SOT 4739536 SOS 2663330 HAS SOPS 2663330 HAS SOUS 1249919 HAS SOUPS 1249919 WITH SCORE 1252582.33
AT ITER 3269 NEW BEST:: SOT 4738798 SOS 2662066 HAS SOPS 2662066 HAS SOUS 1249047 HAS SOUPS 1249047 WITH SCORE 1251709.066
AT ITER 3271 NEW BEST:: SOT 4738978 SOS 2661831 HAS SOPS 2661831 HAS SOUS 1248383 HAS SOUPS 1248383 WITH SCORE 1251044.831
AT ITER 3273 NEW BEST:: SOT 4738978 SOS 2661624 HAS SOPS 2661624 HAS SOUS 1248383 HAS SOUPS 1248383 WITH SCORE 1251044.624
AT ITER 3276 NEW BEST:: SOT 4738978 SOS 2661472 HAS SOPS 2661472 HAS SOUS 1248231 HAS SOUPS 1248231 WITH SCORE 1250892.472
AT ITER 3282 NEW BEST:: SOT 4738978 SOS 2661225 HAS SOPS 2661225 HAS SOUS 1247984 HAS SOUPS 1247984 WITH SCORE 1250645.225
AT ITER 3283 NEW BEST:: SOT 4739073 SOS 2661320 HAS SOPS 2661320 HAS SOUS 1247959 HAS SOUPS 1247959 WITH SCORE 1250620.32
AT ITER 3284 NEW BEST:: SOT 4739072 SOS 2661290 HAS SOPS 2661290 HAS SOUS 1247957 HAS SOUPS 1247957 WITH SCORE 1250618.29
AT ITER 3285 NEW BEST:: SOT 4739056 SOS 2659012 HAS SOPS 2659012 HAS SOUS 1247727 HAS SOUPS 1247727 WITH SCORE 1250386.012
AT ITER 3288 NEW BEST:: SOT 4738161 SOS 2657419 HAS SOPS 2657419 HAS SOUS 1246333 HAS SOUPS 1246333 WITH SCORE 1248990.419
AT ITER 3289 NEW BEST:: SOT 4737892 SOS 2657150 HAS SOPS 2657150 HAS SOUS 1246064 HAS SOUPS 1246064 WITH SCORE 1248721.15
AT ITER 3290 NEW BEST:: SOT 4737597 SOS 2656560 HAS SOPS 2656560 HAS SOUS 1245769 HAS SOUPS 1245769 WITH SCORE 1248425.56
AT ITER 3300 NEW BEST:: SOT 4737741 SOS 2648899 HAS SOPS 2648899 HAS SOUS 1245310 HAS SOUPS 1245310 WITH SCORE 1247958.899
AT ITER 3308 NEW BEST:: SOT 4737741 SOS 2648899 HAS SOPS 2648899 HAS SOUS 1245104 HAS SOUPS 1245104 WITH SCORE 1247752.899
AT ITER 3309 NEW BEST:: SOT 4737741 SOS 2648899 HAS SOPS 2648899 HAS SOUS 1245099 HAS SOUPS 1245099 WITH SCORE 1247747.899
AT ITER 3318 NEW BEST:: SOT 4737741 SOS 2648556 HAS SOPS 2648556 HAS SOUS 1245099 HAS SOUPS 1245099 WITH SCORE 1247747.556
AT ITER 3320 NEW BEST:: SOT 4737033 SOS 2645337 HAS SOPS 2645337 HAS SOUS 1243729 HAS SOUPS 1243729 WITH SCORE 1246374.337
AT ITER 3325 NEW BEST:: SOT 4737033 SOS 2645337 HAS SOPS 2645337 HAS SOUS 1243674 HAS SOUPS 1243674 WITH SCORE 1246319.337
AT ITER 3348 NEW BEST:: SOT 4736972 SOS 2645215 HAS SOPS 2645215 HAS SOUS 1243238 HAS SOUPS 1243238 WITH SCORE 1245883.215
AT ITER 3351 NEW BEST:: SOT 4736877 SOS 2645025 HAS SOPS 2645025 HAS SOUS 1243048 HAS SOUPS 1243048 WITH SCORE 1245693.025
AT ITER 3355 NEW BEST:: SOT 4736825 SOS 2644921 HAS SOPS 2644921 HAS SOUS 1242521 HAS SOUPS 1242521 WITH SCORE 1245165.921
AT ITER 3356 NEW BEST:: SOT 4735981 SOS 2642389 HAS SOPS 2642389 HAS SOUS 1240833 HAS SOUPS 1240833 WITH SCORE 1243475.389
AT ITER 3358 NEW BEST:: SOT 4735981 SOS 2642389 HAS SOPS 2642389 HAS SOUS 1239925 HAS SOUPS 1239925 WITH SCORE 1242567.389
AT ITER 3368 NEW BEST:: SOT 4735981 SOS 2641742 HAS SOPS 2641742 HAS SOUS 1239278 HAS SOUPS 1239278 WITH SCORE 1241919.742
AT ITER 3369 NEW BEST:: SOT 4735370 SOS 2639779 HAS SOPS 2639779 HAS SOUS 1238797 HAS SOUPS 1238797 WITH SCORE 1241436.779
AT ITER 3371 NEW BEST:: SOT 4735356 SOS 2639887 HAS SOPS 2639887 HAS SOUS 1238730 HAS SOUPS 1238730 WITH SCORE 1241369.887
AT ITER 3372 NEW BEST:: SOT 4735356 SOS 2639887 HAS SOPS 2639887 HAS SOUS 1238466 HAS SOUPS 1238466 WITH SCORE 1241105.887
AT ITER 3373 NEW BEST:: SOT 4735356 SOS 2639887 HAS SOPS 2639887 HAS SOUS 1238426 HAS SOUPS 1238426 WITH SCORE 1241065.887
AT ITER 3383 NEW BEST:: SOT 4735356 SOS 2639887 HAS SOPS 2639887 HAS SOUS 1238388 HAS SOUPS 1238388 WITH SCORE 1241027.887
AT ITER 3388 NEW BEST:: SOT 4735356 SOS 2639293 HAS SOPS 2639293 HAS SOUS 1238333 HAS SOUPS 1238333 WITH SCORE 1240972.293
AT ITER 3399 NEW BEST:: SOT 4735355 SOS 2639074 HAS SOPS 2639074 HAS SOUS 1238223 HAS SOUPS 1238223 WITH SCORE 1240862.074
AT ITER 3400 NEW BEST:: SOT 4734464 SOS 2638144 HAS SOPS 2638144 HAS SOUS 1238151 HAS SOUPS 1238151 WITH SCORE 1240789.144
AT ITER 3411 NEW BEST:: SOT 4734320 SOS 2638000 HAS SOPS 2638000 HAS SOUS 1238007 HAS SOUPS 1238007 WITH SCORE 1240645.0
AT ITER 3418 NEW BEST:: SOT 4734320 SOS 2638000 HAS SOPS 2638000 HAS SOUS 1237759 HAS SOUPS 1237759 WITH SCORE 1240397.0
AT ITER 3424 NEW BEST:: SOT 4732699 SOS 2634758 HAS SOPS 2634758 HAS SOUS 1235127 HAS SOUPS 1235127 WITH SCORE 1237761.758
AT ITER 3437 NEW BEST:: SOT 4732699 SOS 2634315 HAS SOPS 2634315 HAS SOUS 1234248 HAS SOUPS 1234248 WITH SCORE 1236882.315
AT ITER 3440 NEW BEST:: SOT 4732669 SOS 2634255 HAS SOPS 2634255 HAS SOUS 1234055 HAS SOUPS 1234055 WITH SCORE 1236689.255
AT ITER 3442 NEW BEST:: SOT 4732669 SOS 2634234 HAS SOPS 2634234 HAS SOUS 1234043 HAS SOUPS 1234043 WITH SCORE 1236677.234
AT ITER 3461 NEW BEST:: SOT 4732669 SOS 2633963 HAS SOPS 2633963 HAS SOUS 1233501 HAS SOUPS 1233501 WITH SCORE 1236134.963
AT ITER 3471 NEW BEST:: SOT 4732713 SOS 2633705 HAS SOPS 2633705 HAS SOUS 1233240 HAS SOUPS 1233240 WITH SCORE 1235873.705
AT ITER 3481 NEW BEST:: SOT 4732775 SOS 2633767 HAS SOPS 2633767 HAS SOUS 1232837 HAS SOUPS 1232837 WITH SCORE 1235470.767
AT ITER 3483 NEW BEST:: SOT 4732273 SOS 2633265 HAS SOPS 2633265 HAS SOUS 1232335 HAS SOUPS 1232335 WITH SCORE 1234968.265
AT ITER 3484 NEW BEST:: SOT 4731439 SOS 2631688 HAS SOPS 2631688 HAS SOUS 1230508 HAS SOUPS 1230508 WITH SCORE 1233139.688
AT ITER 3488 NEW BEST:: SOT 4731439 SOS 2631406 HAS SOPS 2631406 HAS SOUS 1229944 HAS SOUPS 1229944 WITH SCORE 1232575.406
AT ITER 3491 NEW BEST:: SOT 4731439 SOS 2631206 HAS SOPS 2631206 HAS SOUS 1229944 HAS SOUPS 1229944 WITH SCORE 1232575.206
AT ITER 3495 NEW BEST:: SOT 4732012 SOS 2631372 HAS SOPS 2631372 HAS SOUS 1229750 HAS SOUPS 1229750 WITH SCORE 1232381.372
AT ITER 3496 NEW BEST:: SOT 4731566 SOS 2630680 HAS SOPS 2630680 HAS SOUS 1229460 HAS SOUPS 1229460 WITH SCORE 1232090.68
AT ITER 3503 NEW BEST:: SOT 4731945 SOS 2631247 HAS SOPS 2631247 HAS SOUS 1229125 HAS SOUPS 1229125 WITH SCORE 1231756.247
AT ITER 3504 NEW BEST:: SOT 4731118 SOS 2630354 HAS SOPS 2630354 HAS SOUS 1229023 HAS SOUPS 1229023 WITH SCORE 1231653.354
AT ITER 3509 NEW BEST:: SOT 4731118 SOS 2630253 HAS SOPS 2630253 HAS SOUS 1229023 HAS SOUPS 1229023 WITH SCORE 1231653.253
AT ITER 3515 NEW BEST:: SOT 4731111 SOS 2630246 HAS SOPS 2630246 HAS SOUS 1229016 HAS SOUPS 1229016 WITH SCORE 1231646.246
AT ITER 3522 NEW BEST:: SOT 4728781 SOS 2625300 HAS SOPS 2625300 HAS SOUS 1226400 HAS SOUPS 1226400 WITH SCORE 1229025.3
AT ITER 3525 NEW BEST:: SOT 4728836 SOS 2625152 HAS SOPS 2625152 HAS SOUS 1226197 HAS SOUPS 1226197 WITH SCORE 1228822.152
AT ITER 3531 NEW BEST:: SOT 4728834 SOS 2624817 HAS SOPS 2624817 HAS SOUS 1225862 HAS SOUPS 1225862 WITH SCORE 1228486.817
AT ITER 3535 NEW BEST:: SOT 4728940 SOS 2624923 HAS SOPS 2624923 HAS SOUS 1225073 HAS SOUPS 1225073 WITH SCORE 1227697.923
AT ITER 3540 NEW BEST:: SOT 4729111 SOS 2624945 HAS SOPS 2624945 HAS SOUS 1224775 HAS SOUPS 1224775 WITH SCORE 1227399.945
AT ITER 3541 NEW BEST:: SOT 4729111 SOS 2624453 HAS SOPS 2624453 HAS SOUS 1224283 HAS SOUPS 1224283 WITH SCORE 1226907.453
AT ITER 3546 NEW BEST:: SOT 4729074 SOS 2624416 HAS SOPS 2624416 HAS SOUS 1224246 HAS SOUPS 1224246 WITH SCORE 1226870.416
AT ITER 3547 NEW BEST:: SOT 4729167 SOS 2624860 HAS SOPS 2624860 HAS SOUS 1224174 HAS SOUPS 1224174 WITH SCORE 1226798.86
AT ITER 3549 NEW BEST:: SOT 4729051 SOS 2624628 HAS SOPS 2624628 HAS SOUS 1223921 HAS SOUPS 1223921 WITH SCORE 1226545.628
AT ITER 3550 NEW BEST:: SOT 4729530 SOS 2624574 HAS SOPS 2624574 HAS SOUS 1223103 HAS SOUPS 1223103 WITH SCORE 1225727.574
AT ITER 3557 NEW BEST:: SOT 4729522 SOS 2624558 HAS SOPS 2624558 HAS SOUS 1222577 HAS SOUPS 1222577 WITH SCORE 1225201.558
AT ITER 3559 NEW BEST:: SOT 4729522 SOS 2624547 HAS SOPS 2624547 HAS SOUS 1222566 HAS SOUPS 1222566 WITH SCORE 1225190.547
AT ITER 3560 NEW BEST:: SOT 4729373 SOS 2624541 HAS SOPS 2624541 HAS SOUS 1222455 HAS SOUPS 1222455 WITH SCORE 1225079.541
AT ITER 3562 NEW BEST:: SOT 4729238 SOS 2624406 HAS SOPS 2624406 HAS SOUS 1222271 HAS SOUPS 1222271 WITH SCORE 1224895.406
AT ITER 3568 NEW BEST:: SOT 4728727 SOS 2622708 HAS SOPS 2622708 HAS SOUS 1221934 HAS SOUPS 1221934 WITH SCORE 1224556.708
AT ITER 3570 NEW BEST:: SOT 4728727 SOS 2622463 HAS SOPS 2622463 HAS SOUS 1221934 HAS SOUPS 1221934 WITH SCORE 1224556.463
AT ITER 3572 NEW BEST:: SOT 4728468 SOS 2622204 HAS SOPS 2622204 HAS SOUS 1221675 HAS SOUPS 1221675 WITH SCORE 1224297.204
AT ITER 3583 NEW BEST:: SOT 4728113 SOS 2621494 HAS SOPS 2621494 HAS SOUS 1221320 HAS SOUPS 1221320 WITH SCORE 1223941.494
AT ITER 3591 NEW BEST:: SOT 4728378 SOS 2622024 HAS SOPS 2622024 HAS SOUS 1220747 HAS SOUPS 1220747 WITH SCORE 1223369.024
AT ITER 3592 NEW BEST:: SOT 4728208 SOS 2621684 HAS SOPS 2621684 HAS SOUS 1220237 HAS SOUPS 1220237 WITH SCORE 1222858.684
AT ITER 3599 NEW BEST:: SOT 4727115 SOS 2619498 HAS SOPS 2619498 HAS SOUS 1218931 HAS SOUPS 1218931 WITH SCORE 1221550.498
AT ITER 3604 NEW BEST:: SOT 4727115 SOS 2619122 HAS SOPS 2619122 HAS SOUS 1218931 HAS SOUPS 1218931 WITH SCORE 1221550.122
AT ITER 3607 NEW BEST:: SOT 4726108 SOS 2618115 HAS SOPS 2618115 HAS SOUS 1218051 HAS SOUPS 1218051 WITH SCORE 1220669.115
AT ITER 3616 NEW BEST:: SOT 4725944 SOS 2621013 HAS SOPS 2621013 HAS SOUS 1217873 HAS SOUPS 1217873 WITH SCORE 1220494.013
AT ITER 3620 NEW BEST:: SOT 4725944 SOS 2621013 HAS SOPS 2621013 HAS SOUS 1217758 HAS SOUPS 1217758 WITH SCORE 1220379.013
AT ITER 3622 NEW BEST:: SOT 4725172 SOS 2619587 HAS SOPS 2619587 HAS SOUS 1217480 HAS SOUPS 1217480 WITH SCORE 1220099.587
AT ITER 3626 NEW BEST:: SOT 4725785 SOS 2620170 HAS SOPS 2620170 HAS SOUS 1217420 HAS SOUPS 1217420 WITH SCORE 1220040.17
AT ITER 3631 NEW BEST:: SOT 4725933 SOS 2619410 HAS SOPS 2619410 HAS SOUS 1217040 HAS SOUPS 1217040 WITH SCORE 1219659.41
AT ITER 3641 NEW BEST:: SOT 4726364 SOS 2619327 HAS SOPS 2619327 HAS SOUS 1216957 HAS SOUPS 1216957 WITH SCORE 1219576.327
AT ITER 3642 NEW BEST:: SOT 4726172 SOS 2621439 HAS SOPS 2621439 HAS SOUS 1216669 HAS SOUPS 1216669 WITH SCORE 1219290.439
AT ITER 3655 NEW BEST:: SOT 4726172 SOS 2621419 HAS SOPS 2621419 HAS SOUS 1216649 HAS SOUPS 1216649 WITH SCORE 1219270.419
AT ITER 3668 NEW BEST:: SOT 4726172 SOS 2621327 HAS SOPS 2621327 HAS SOUS 1216062 HAS SOUPS 1216062 WITH SCORE 1218683.327
AT ITER 3669 NEW BEST:: SOT 4726006 SOS 2618396 HAS SOPS 2618396 HAS SOUS 1213871 HAS SOUPS 1213871 WITH SCORE 1216489.396
AT ITER 3673 NEW BEST:: SOT 4725745 SOS 2618135 HAS SOPS 2618135 HAS SOUS 1213610 HAS SOUPS 1213610 WITH SCORE 1216228.135
AT ITER 3684 NEW BEST:: SOT 4725521 SOS 2617446 HAS SOPS 2617446 HAS SOUS 1213024 HAS SOUPS 1213024 WITH SCORE 1215641.446
AT ITER 3685 NEW BEST:: SOT 4724485 SOS 2613942 HAS SOPS 2613942 HAS SOUS 1211988 HAS SOUPS 1211988 WITH SCORE 1214601.942
AT ITER 3693 NEW BEST:: SOT 4723928 SOS 2613205 HAS SOPS 2613205 HAS SOUS 1211628 HAS SOUPS 1211628 WITH SCORE 1214241.205
AT ITER 3701 NEW BEST:: SOT 4723112 SOS 2611981 HAS SOPS 2611981 HAS SOUS 1210812 HAS SOUPS 1210812 WITH SCORE 1213423.981
AT ITER 3703 NEW BEST:: SOT 4723130 SOS 2611849 HAS SOPS 2611849 HAS SOUS 1210683 HAS SOUPS 1210683 WITH SCORE 1213294.849
AT ITER 3713 NEW BEST:: SOT 4721748 SOS 2610467 HAS SOPS 2610467 HAS SOUS 1209441 HAS SOUPS 1209441 WITH SCORE 1212051.467
AT ITER 3719 NEW BEST:: SOT 4721300 SOS 2609571 HAS SOPS 2609571 HAS SOUS 1208545 HAS SOUPS 1208545 WITH SCORE 1211154.571
AT ITER 3725 NEW BEST:: SOT 4721300 SOS 2609302 HAS SOPS 2609302 HAS SOUS 1208276 HAS SOUPS 1208276 WITH SCORE 1210885.302
AT ITER 3727 NEW BEST:: SOT 4720690 SOS 2608692 HAS SOPS 2608692 HAS SOUS 1206808 HAS SOUPS 1206808 WITH SCORE 1209416.692
AT ITER 3731 NEW BEST:: SOT 4720163 SOS 2608165 HAS SOPS 2608165 HAS SOUS 1206561 HAS SOUPS 1206561 WITH SCORE 1209169.165
AT ITER 3733 NEW BEST:: SOT 4720163 SOS 2607625 HAS SOPS 2607625 HAS SOUS 1206561 HAS SOUPS 1206561 WITH SCORE 1209168.625
AT ITER 3737 NEW BEST:: SOT 4719785 SOS 2606253 HAS SOPS 2606253 HAS SOUS 1205945 HAS SOUPS 1205945 WITH SCORE 1208551.253
AT ITER 3739 NEW BEST:: SOT 4719341 SOS 2604259 HAS SOPS 2604259 HAS SOUS 1205057 HAS SOUPS 1205057 WITH SCORE 1207661.259
AT ITER 3745 NEW BEST:: SOT 4718649 SOS 2603380 HAS SOPS 2603380 HAS SOUS 1204365 HAS SOUPS 1204365 WITH SCORE 1206968.38
AT ITER 3748 NEW BEST:: SOT 4718649 SOS 2602492 HAS SOPS 2602492 HAS SOUS 1204365 HAS SOUPS 1204365 WITH SCORE 1206967.492
AT ITER 3749 NEW BEST:: SOT 4718647 SOS 2602490 HAS SOPS 2602490 HAS SOUS 1204363 HAS SOUPS 1204363 WITH SCORE 1206965.49
AT ITER 3758 NEW BEST:: SOT 4718899 SOS 2601410 HAS SOPS 2601410 HAS SOUS 1203891 HAS SOUPS 1203891 WITH SCORE 1206492.41
AT ITER 3769 NEW BEST:: SOT 4718299 SOS 2600210 HAS SOPS 2600210 HAS SOUS 1203291 HAS SOUPS 1203291 WITH SCORE 1205891.21
AT ITER 3781 NEW BEST:: SOT 4718299 SOS 2600210 HAS SOPS 2600210 HAS SOUS 1202996 HAS SOUPS 1202996 WITH SCORE 1205596.21
AT ITER 3786 NEW BEST:: SOT 4718299 SOS 2600210 HAS SOPS 2600210 HAS SOUS 1202829 HAS SOUPS 1202829 WITH SCORE 1205429.21
AT ITER 3803 NEW BEST:: SOT 4718299 SOS 2600210 HAS SOPS 2600210 HAS SOUS 1202278 HAS SOUPS 1202278 WITH SCORE 1204878.21
AT ITER 3813 NEW BEST:: SOT 4718003 SOS 2599618 HAS SOPS 2599618 HAS SOUS 1202250 HAS SOUPS 1202250 WITH SCORE 1204849.618
AT ITER 3815 NEW BEST:: SOT 4718293 SOS 2599306 HAS SOPS 2599306 HAS SOUS 1201416 HAS SOUPS 1201416 WITH SCORE 1204015.306
AT ITER 3821 NEW BEST:: SOT 4717576 SOS 2597872 HAS SOPS 2597872 HAS SOUS 1200525 HAS SOUPS 1200525 WITH SCORE 1203122.872
AT ITER 3838 NEW BEST:: SOT 4717201 SOS 2596877 HAS SOPS 2596877 HAS SOUS 1199530 HAS SOUPS 1199530 WITH SCORE 1202126.877
AT ITER 3850 NEW BEST:: SOT 4717163 SOS 2594746 HAS SOPS 2594746 HAS SOUS 1199332 HAS SOUPS 1199332 WITH SCORE 1201926.746
AT ITER 3853 NEW BEST:: SOT 4716597 SOS 2594853 HAS SOPS 2594853 HAS SOUS 1198780 HAS SOUPS 1198780 WITH SCORE 1201374.853
AT ITER 3854 NEW BEST:: SOT 4716177 SOS 2594013 HAS SOPS 2594013 HAS SOUS 1197940 HAS SOUPS 1197940 WITH SCORE 1200534.013
AT ITER 3859 NEW BEST:: SOT 4716043 SOS 2593745 HAS SOPS 2593745 HAS SOUS 1197672 HAS SOUPS 1197672 WITH SCORE 1200265.745
AT ITER 3860 NEW BEST:: SOT 4716034 SOS 2593709 HAS SOPS 2593709 HAS SOUS 1197663 HAS SOUPS 1197663 WITH SCORE 1200256.709
AT ITER 3863 NEW BEST:: SOT 4718187 SOS 2593966 HAS SOPS 2593966 HAS SOUS 1197515 HAS SOUPS 1197515 WITH SCORE 1200108.966
AT ITER 3877 NEW BEST:: SOT 4717931 SOS 2593108 HAS SOPS 2593108 HAS SOUS 1196055 HAS SOUPS 1196055 WITH SCORE 1198648.108
AT ITER 3881 NEW BEST:: SOT 4717931 SOS 2593068 HAS SOPS 2593068 HAS SOUS 1196055 HAS SOUPS 1196055 WITH SCORE 1198648.068
AT ITER 3886 NEW BEST:: SOT 4717650 SOS 2592506 HAS SOPS 2592506 HAS SOUS 1195493 HAS SOUPS 1195493 WITH SCORE 1198085.506
AT ITER 3889 NEW BEST:: SOT 4716414 SOS 2590090 HAS SOPS 2590090 HAS SOUS 1194423 HAS SOUPS 1194423 WITH SCORE 1197013.09
AT ITER 3894 NEW BEST:: SOT 4715977 SOS 2589653 HAS SOPS 2589653 HAS SOUS 1193986 HAS SOUPS 1193986 WITH SCORE 1196575.653
AT ITER 3897 NEW BEST:: SOT 4716203 SOS 2587280 HAS SOPS 2587280 HAS SOUS 1193986 HAS SOUPS 1193986 WITH SCORE 1196573.28
AT ITER 3900 NEW BEST:: SOT 4716557 SOS 2586205 HAS SOPS 2586205 HAS SOUS 1193239 HAS SOUPS 1193239 WITH SCORE 1195825.205
AT ITER 3905 NEW BEST:: SOT 4716547 SOS 2585955 HAS SOPS 2585955 HAS SOUS 1193099 HAS SOUPS 1193099 WITH SCORE 1195684.955
AT ITER 3924 NEW BEST:: SOT 4716294 SOS 2585852 HAS SOPS 2585852 HAS SOUS 1192995 HAS SOUPS 1192995 WITH SCORE 1195580.852
AT ITER 3926 NEW BEST:: SOT 4716294 SOS 2585459 HAS SOPS 2585459 HAS SOUS 1192602 HAS SOUPS 1192602 WITH SCORE 1195187.459
AT ITER 3930 NEW BEST:: SOT 4716294 SOS 2585224 HAS SOPS 2585224 HAS SOUS 1192586 HAS SOUPS 1192586 WITH SCORE 1195171.224
AT ITER 3939 NEW BEST:: SOT 4716144 SOS 2585496 HAS SOPS 2585496 HAS SOUS 1192436 HAS SOUPS 1192436 WITH SCORE 1195021.496
AT ITER 3943 NEW BEST:: SOT 4716099 SOS 2585451 HAS SOPS 2585451 HAS SOUS 1192391 HAS SOUPS 1192391 WITH SCORE 1194976.451
AT ITER 3947 NEW BEST:: SOT 4716099 SOS 2585357 HAS SOPS 2585357 HAS SOUS 1192297 HAS SOUPS 1192297 WITH SCORE 1194882.357
AT ITER 3948 NEW BEST:: SOT 4716122 SOS 2585015 HAS SOPS 2585015 HAS SOUS 1191536 HAS SOUPS 1191536 WITH SCORE 1194121.015
AT ITER 3951 NEW BEST:: SOT 4716041 SOS 2584705 HAS SOPS 2584705 HAS SOUS 1191492 HAS SOUPS 1191492 WITH SCORE 1194076.705
AT ITER 3952 NEW BEST:: SOT 4716016 SOS 2582567 HAS SOPS 2582567 HAS SOUS 1190485 HAS SOUPS 1190485 WITH SCORE 1193067.567
AT ITER 3954 NEW BEST:: SOT 4715755 SOS 2582306 HAS SOPS 2582306 HAS SOUS 1190293 HAS SOUPS 1190293 WITH SCORE 1192875.306
AT ITER 3965 NEW BEST:: SOT 4714892 SOS 2581443 HAS SOPS 2581443 HAS SOUS 1189970 HAS SOUPS 1189970 WITH SCORE 1192551.443
AT ITER 3969 NEW BEST:: SOT 4715049 SOS 2581757 HAS SOPS 2581757 HAS SOUS 1189501 HAS SOUPS 1189501 WITH SCORE 1192082.757
AT ITER 3975 NEW BEST:: SOT 4715149 SOS 2581957 HAS SOPS 2581957 HAS SOUS 1189412 HAS SOUPS 1189412 WITH SCORE 1191993.957
AT ITER 3979 NEW BEST:: SOT 4715118 SOS 2581895 HAS SOPS 2581895 HAS SOUS 1189350 HAS SOUPS 1189350 WITH SCORE 1191931.895
AT ITER 3984 NEW BEST:: SOT 4715118 SOS 2581895 HAS SOPS 2581895 HAS SOUS 1189019 HAS SOUPS 1189019 WITH SCORE 1191600.895
AT ITER 3989 NEW BEST:: SOT 4715056 SOS 2581833 HAS SOPS 2581833 HAS SOUS 1188970 HAS SOUPS 1188970 WITH SCORE 1191551.833
AT ITER 3991 NEW BEST:: SOT 4715064 SOS 2581827 HAS SOPS 2581827 HAS SOUS 1188964 HAS SOUPS 1188964 WITH SCORE 1191545.827
AT ITER 3992 NEW BEST:: SOT 4715047 SOS 2581433 HAS SOPS 2581433 HAS SOUS 1188930 HAS SOUPS 1188930 WITH SCORE 1191511.433
AT ITER 3996 NEW BEST:: SOT 4715025 SOS 2581389 HAS SOPS 2581389 HAS SOUS 1188886 HAS SOUPS 1188886 WITH SCORE 1191467.389
AT ITER 3999 NEW BEST:: SOT 4714907 SOS 2580893 HAS SOPS 2580893 HAS SOUS 1188638 HAS SOUPS 1188638 WITH SCORE 1191218.893
AT ITER 4003 NEW BEST:: SOT 4713942 SOS 2579927 HAS SOPS 2579927 HAS SOUS 1187672 HAS SOUPS 1187672 WITH SCORE 1190251.927
AT ITER 4006 NEW BEST:: SOT 4713942 SOS 2579927 HAS SOPS 2579927 HAS SOUS 1187291 HAS SOUPS 1187291 WITH SCORE 1189870.927
AT ITER 4007 NEW BEST:: SOT 4713741 SOS 2579726 HAS SOPS 2579726 HAS SOUS 1187107 HAS SOUPS 1187107 WITH SCORE 1189686.726
AT ITER 4009 NEW BEST:: SOT 4713741 SOS 2579711 HAS SOPS 2579711 HAS SOUS 1187018 HAS SOUPS 1187018 WITH SCORE 1189597.711
AT ITER 4014 NEW BEST:: SOT 4713532 SOS 2579502 HAS SOPS 2579502 HAS SOUS 1186825 HAS SOUPS 1186825 WITH SCORE 1189404.502
AT ITER 4021 NEW BEST:: SOT 4713412 SOS 2579142 HAS SOPS 2579142 HAS SOUS 1186585 HAS SOUPS 1186585 WITH SCORE 1189164.142
AT ITER 4022 NEW BEST:: SOT 4713938 SOS 2579668 HAS SOPS 2579668 HAS SOUS 1186103 HAS SOUPS 1186103 WITH SCORE 1188682.668
AT ITER 4024 NEW BEST:: SOT 4713955 SOS 2579353 HAS SOPS 2579353 HAS SOUS 1185195 HAS SOUPS 1185195 WITH SCORE 1187774.353
AT ITER 4025 NEW BEST:: SOT 4714399 SOS 2579797 HAS SOPS 2579797 HAS SOUS 1184898 HAS SOUPS 1184898 WITH SCORE 1187477.797
AT ITER 4026 NEW BEST:: SOT 4714368 SOS 2579766 HAS SOPS 2579766 HAS SOUS 1184867 HAS SOUPS 1184867 WITH SCORE 1187446.766
AT ITER 4034 NEW BEST:: SOT 4714368 SOS 2579110 HAS SOPS 2579110 HAS SOUS 1183555 HAS SOUPS 1183555 WITH SCORE 1186134.11
AT ITER 4036 NEW BEST:: SOT 4713714 SOS 2578456 HAS SOPS 2578456 HAS SOUS 1182901 HAS SOUPS 1182901 WITH SCORE 1185479.456
AT ITER 4037 NEW BEST:: SOT 4713713 SOS 2578455 HAS SOPS 2578455 HAS SOUS 1182900 HAS SOUPS 1182900 WITH SCORE 1185478.455
AT ITER 4039 NEW BEST:: SOT 4712056 SOS 2576072 HAS SOPS 2576072 HAS SOUS 1181448 HAS SOUPS 1181448 WITH SCORE 1184024.072
AT ITER 4040 NEW BEST:: SOT 4711922 SOS 2575599 HAS SOPS 2575599 HAS SOUS 1181144 HAS SOUPS 1181144 WITH SCORE 1183719.599
AT ITER 4045 NEW BEST:: SOT 4711642 SOS 2575319 HAS SOPS 2575319 HAS SOUS 1180864 HAS SOUPS 1180864 WITH SCORE 1183439.319
AT ITER 4051 NEW BEST:: SOT 4711211 SOS 2574457 HAS SOPS 2574457 HAS SOUS 1180765 HAS SOUPS 1180765 WITH SCORE 1183339.457
AT ITER 4055 NEW BEST:: SOT 4711269 SOS 2574515 HAS SOPS 2574515 HAS SOUS 1180610 HAS SOUPS 1180610 WITH SCORE 1183184.515
AT ITER 4057 NEW BEST:: SOT 4711269 SOS 2574515 HAS SOPS 2574515 HAS SOUS 1180481 HAS SOUPS 1180481 WITH SCORE 1183055.515
AT ITER 4061 NEW BEST:: SOT 4711269 SOS 2574865 HAS SOPS 2574865 HAS SOUS 1180131 HAS SOUPS 1180131 WITH SCORE 1182705.865
AT ITER 4062 NEW BEST:: SOT 4711242 SOS 2574690 HAS SOPS 2574690 HAS SOUS 1180086 HAS SOUPS 1180086 WITH SCORE 1182660.69
AT ITER 4063 NEW BEST:: SOT 4711103 SOS 2574551 HAS SOPS 2574551 HAS SOUS 1179947 HAS SOUPS 1179947 WITH SCORE 1182521.551
AT ITER 4064 NEW BEST:: SOT 4710979 SOS 2574490 HAS SOPS 2574490 HAS SOUS 1179907 HAS SOUPS 1179907 WITH SCORE 1182481.49
AT ITER 4066 NEW BEST:: SOT 4711314 SOS 2574695 HAS SOPS 2574695 HAS SOUS 1179647 HAS SOUPS 1179647 WITH SCORE 1182221.695
AT ITER 4067 NEW BEST:: SOT 4711314 SOS 2574882 HAS SOPS 2574882 HAS SOUS 1178912 HAS SOUPS 1178912 WITH SCORE 1181486.882
AT ITER 4068 NEW BEST:: SOT 4711314 SOS 2574660 HAS SOPS 2574660 HAS SOUS 1178497 HAS SOUPS 1178497 WITH SCORE 1181071.66
AT ITER 4078 NEW BEST:: SOT 4711088 SOS 2574434 HAS SOPS 2574434 HAS SOUS 1178271 HAS SOUPS 1178271 WITH SCORE 1180845.434
AT ITER 4087 NEW BEST:: SOT 4711088 SOS 2574304 HAS SOPS 2574304 HAS SOUS 1178208 HAS SOUPS 1178208 WITH SCORE 1180782.304
AT ITER 4092 NEW BEST:: SOT 4710998 SOS 2572376 HAS SOPS 2572376 HAS SOUS 1178118 HAS SOUPS 1178118 WITH SCORE 1180690.376
AT ITER 4096 NEW BEST:: SOT 4710920 SOS 2572118 HAS SOPS 2572118 HAS SOUS 1177836 HAS SOUPS 1177836 WITH SCORE 1180408.118
AT ITER 4104 NEW BEST:: SOT 4710817 SOS 2572015 HAS SOPS 2572015 HAS SOUS 1177836 HAS SOUPS 1177836 WITH SCORE 1180408.015
AT ITER 4105 NEW BEST:: SOT 4710713 SOS 2571911 HAS SOPS 2571911 HAS SOUS 1177680 HAS SOUPS 1177680 WITH SCORE 1180251.911
AT ITER 4120 NEW BEST:: SOT 4710411 SOS 2571609 HAS SOPS 2571609 HAS SOUS 1177378 HAS SOUPS 1177378 WITH SCORE 1179949.609
AT ITER 4121 NEW BEST:: SOT 4709936 SOS 2571002 HAS SOPS 2571002 HAS SOUS 1177030 HAS SOUPS 1177030 WITH SCORE 1179601.002
AT ITER 4125 NEW BEST:: SOT 4709647 SOS 2569935 HAS SOPS 2569935 HAS SOUS 1175684 HAS SOUPS 1175684 WITH SCORE 1178253.935
AT ITER 4130 NEW BEST:: SOT 4709363 SOS 2568130 HAS SOPS 2568130 HAS SOUS 1174846 HAS SOUPS 1174846 WITH SCORE 1177414.13
AT ITER 4138 NEW BEST:: SOT 4709363 SOS 2567997 HAS SOPS 2567997 HAS SOUS 1174846 HAS SOUPS 1174846 WITH SCORE 1177413.997
AT ITER 4150 NEW BEST:: SOT 4709656 SOS 2568290 HAS SOPS 2568290 HAS SOUS 1174766 HAS SOUPS 1174766 WITH SCORE 1177334.29
AT ITER 4162 NEW BEST:: SOT 4709656 SOS 2567501 HAS SOPS 2567501 HAS SOUS 1173977 HAS SOUPS 1173977 WITH SCORE 1176544.501
AT ITER 4164 NEW BEST:: SOT 4709656 SOS 2567044 HAS SOPS 2567044 HAS SOUS 1173520 HAS SOUPS 1173520 WITH SCORE 1176087.044
AT ITER 4177 NEW BEST:: SOT 4709545 SOS 2567002 HAS SOPS 2567002 HAS SOUS 1173338 HAS SOUPS 1173338 WITH SCORE 1175905.002
AT ITER 4184 NEW BEST:: SOT 4709545 SOS 2567002 HAS SOPS 2567002 HAS SOUS 1172894 HAS SOUPS 1172894 WITH SCORE 1175461.002
AT ITER 4185 NEW BEST:: SOT 4708260 SOS 2562845 HAS SOPS 2562845 HAS SOUS 1171645 HAS SOUPS 1171645 WITH SCORE 1174207.845
AT ITER 4186 NEW BEST:: SOT 4708260 SOS 2562845 HAS SOPS 2562845 HAS SOUS 1171280 HAS SOUPS 1171280 WITH SCORE 1173842.845
AT ITER 4188 NEW BEST:: SOT 4708188 SOS 2562430 HAS SOPS 2562430 HAS SOUS 1171195 HAS SOUPS 1171195 WITH SCORE 1173757.43
AT ITER 4200 NEW BEST:: SOT 4708539 SOS 2563132 HAS SOPS 2563132 HAS SOUS 1170991 HAS SOUPS 1170991 WITH SCORE 1173554.132
AT ITER 4205 NEW BEST:: SOT 4708086 SOS 2562344 HAS SOPS 2562344 HAS SOUS 1170410 HAS SOUPS 1170410 WITH SCORE 1172972.344
AT ITER 4206 NEW BEST:: SOT 4708003 SOS 2562178 HAS SOPS 2562178 HAS SOUS 1170340 HAS SOUPS 1170340 WITH SCORE 1172902.178
AT ITER 4209 NEW BEST:: SOT 4707899 SOS 2562074 HAS SOPS 2562074 HAS SOUS 1170291 HAS SOUPS 1170291 WITH SCORE 1172853.074
AT ITER 4210 NEW BEST:: SOT 4707899 SOS 2562074 HAS SOPS 2562074 HAS SOUS 1170195 HAS SOUPS 1170195 WITH SCORE 1172757.074
AT ITER 4218 NEW BEST:: SOT 4707806 SOS 2561615 HAS SOPS 2561615 HAS SOUS 1169953 HAS SOUPS 1169953 WITH SCORE 1172514.615
AT ITER 4223 NEW BEST:: SOT 4707806 SOS 2561378 HAS SOPS 2561378 HAS SOUS 1169716 HAS SOUPS 1169716 WITH SCORE 1172277.378
AT ITER 4246 NEW BEST:: SOT 4707482 SOS 2561147 HAS SOPS 2561147 HAS SOUS 1169247 HAS SOUPS 1169247 WITH SCORE 1171808.147
AT ITER 4249 NEW BEST:: SOT 4707877 SOS 2560809 HAS SOPS 2560809 HAS SOUS 1168757 HAS SOUPS 1168757 WITH SCORE 1171317.809
AT ITER 4258 NEW BEST:: SOT 4707024 SOS 2559956 HAS SOPS 2559956 HAS SOUS 1168088 HAS SOUPS 1168088 WITH SCORE 1170647.956
AT ITER 4262 NEW BEST:: SOT 4707014 SOS 2559487 HAS SOPS 2559487 HAS SOUS 1168078 HAS SOUPS 1168078 WITH SCORE 1170637.487
AT ITER 4274 NEW BEST:: SOT 4706921 SOS 2559301 HAS SOPS 2559301 HAS SOUS 1167985 HAS SOUPS 1167985 WITH SCORE 1170544.301
AT ITER 4281 NEW BEST:: SOT 4706978 SOS 2559415 HAS SOPS 2559415 HAS SOUS 1167816 HAS SOUPS 1167816 WITH SCORE 1170375.415
AT ITER 4290 NEW BEST:: SOT 4706978 SOS 2559258 HAS SOPS 2559258 HAS SOUS 1167784 HAS SOUPS 1167784 WITH SCORE 1170343.258
AT ITER 4295 NEW BEST:: SOT 4706654 SOS 2558610 HAS SOPS 2558610 HAS SOUS 1167460 HAS SOUPS 1167460 WITH SCORE 1170018.61
AT ITER 4296 NEW BEST:: SOT 4706364 SOS 2557885 HAS SOPS 2557885 HAS SOUS 1166880 HAS SOUPS 1166880 WITH SCORE 1169437.885
AT ITER 4301 NEW BEST:: SOT 4704830 SOS 2555762 HAS SOPS 2555762 HAS SOUS 1165072 HAS SOUPS 1165072 WITH SCORE 1167627.762
AT ITER 4305 NEW BEST:: SOT 4704830 SOS 2555730 HAS SOPS 2555730 HAS SOUS 1165040 HAS SOUPS 1165040 WITH SCORE 1167595.73
AT ITER 4307 NEW BEST:: SOT 4704574 SOS 2555269 HAS SOPS 2555269 HAS SOUS 1164944 HAS SOUPS 1164944 WITH SCORE 1167499.269
AT ITER 4318 NEW BEST:: SOT 4702831 SOS 2553663 HAS SOPS 2553663 HAS SOUS 1164805 HAS SOUPS 1164805 WITH SCORE 1167358.663
AT ITER 4321 NEW BEST:: SOT 4702852 SOS 2553684 HAS SOPS 2553684 HAS SOUS 1164596 HAS SOUPS 1164596 WITH SCORE 1167149.684
AT ITER 4325 NEW BEST:: SOT 4702852 SOS 2553515 HAS SOPS 2553515 HAS SOUS 1164427 HAS SOUPS 1164427 WITH SCORE 1166980.515
AT ITER 4334 NEW BEST:: SOT 4702416 SOS 2529110 HAS SOPS 2529110 HAS SOUS 1163555 HAS SOUPS 1163555 WITH SCORE 1166084.11
AT ITER 4336 NEW BEST:: SOT 4703075 SOS 2529272 HAS SOPS 2529272 HAS SOUS 1163310 HAS SOUPS 1163310 WITH SCORE 1165839.272
AT ITER 4347 NEW BEST:: SOT 4702518 SOS 2527758 HAS SOPS 2527758 HAS SOUS 1162199 HAS SOUPS 1162199 WITH SCORE 1164726.758
AT ITER 4351 NEW BEST:: SOT 4702543 SOS 2527768 HAS SOPS 2527768 HAS SOUS 1162169 HAS SOUPS 1162169 WITH SCORE 1164696.768
AT ITER 4360 NEW BEST:: SOT 4702543 SOS 2527676 HAS SOPS 2527676 HAS SOUS 1162077 HAS SOUPS 1162077 WITH SCORE 1164604.676
AT ITER 4367 NEW BEST:: SOT 4702513 SOS 2527616 HAS SOPS 2527616 HAS SOUS 1162047 HAS SOUPS 1162047 WITH SCORE 1164574.616
AT ITER 4372 NEW BEST:: SOT 4702365 SOS 2526877 HAS SOPS 2526877 HAS SOUS 1161759 HAS SOUPS 1161759 WITH SCORE 1164285.877
AT ITER 4383 NEW BEST:: SOT 4702240 SOS 2526752 HAS SOPS 2526752 HAS SOUS 1161634 HAS SOUPS 1161634 WITH SCORE 1164160.752
AT ITER 4393 NEW BEST:: SOT 4702405 SOS 2526582 HAS SOPS 2526582 HAS SOUS 1161299 HAS SOUPS 1161299 WITH SCORE 1163825.582
AT ITER 4398 NEW BEST:: SOT 4702405 SOS 2526035 HAS SOPS 2526035 HAS SOUS 1160752 HAS SOUPS 1160752 WITH SCORE 1163278.035
AT ITER 4399 NEW BEST:: SOT 4702405 SOS 2526035 HAS SOPS 2526035 HAS SOUS 1160746 HAS SOUPS 1160746 WITH SCORE 1163272.035
AT ITER 4400 NEW BEST:: SOT 4701710 SOS 2525340 HAS SOPS 2525340 HAS SOUS 1160588 HAS SOUPS 1160588 WITH SCORE 1163113.34
AT ITER 4401 NEW BEST:: SOT 4701710 SOS 2525340 HAS SOPS 2525340 HAS SOUS 1160555 HAS SOUPS 1160555 WITH SCORE 1163080.34
AT ITER 4405 NEW BEST:: SOT 4701108 SOS 2524437 HAS SOPS 2524437 HAS SOUS 1159652 HAS SOUPS 1159652 WITH SCORE 1162176.437
AT ITER 4407 NEW BEST:: SOT 4700967 SOS 2524296 HAS SOPS 2524296 HAS SOUS 1159652 HAS SOUPS 1159652 WITH SCORE 1162176.296
AT ITER 4409 NEW BEST:: SOT 4700967 SOS 2523973 HAS SOPS 2523973 HAS SOUS 1159375 HAS SOUPS 1159375 WITH SCORE 1161898.973
AT ITER 4417 NEW BEST:: SOT 4700009 SOS 2523015 HAS SOPS 2523015 HAS SOUS 1159078 HAS SOUPS 1159078 WITH SCORE 1161601.015
AT ITER 4418 NEW BEST:: SOT 4699915 SOS 2522733 HAS SOPS 2522733 HAS SOUS 1158890 HAS SOUPS 1158890 WITH SCORE 1161412.733
AT ITER 4424 NEW BEST:: SOT 4699915 SOS 2522733 HAS SOPS 2522733 HAS SOUS 1158644 HAS SOUPS 1158644 WITH SCORE 1161166.733
AT ITER 4430 NEW BEST:: SOT 4699534 SOS 2522043 HAS SOPS 2522043 HAS SOUS 1158263 HAS SOUPS 1158263 WITH SCORE 1160785.043
AT ITER 4434 NEW BEST:: SOT 4698706 SOS 2521215 HAS SOPS 2521215 HAS SOUS 1158263 HAS SOUPS 1158263 WITH SCORE 1160784.215
AT ITER 4435 NEW BEST:: SOT 4698477 SOS 2520695 HAS SOPS 2520695 HAS SOUS 1157769 HAS SOUPS 1157769 WITH SCORE 1160289.695
AT ITER 4437 NEW BEST:: SOT 4698470 SOS 2520704 HAS SOPS 2520704 HAS SOUS 1157759 HAS SOUPS 1157759 WITH SCORE 1160279.704
AT ITER 4438 NEW BEST:: SOT 4698211 SOS 2520611 HAS SOPS 2520611 HAS SOUS 1157666 HAS SOUPS 1157666 WITH SCORE 1160186.611
AT ITER 4457 NEW BEST:: SOT 4697586 SOS 2519576 HAS SOPS 2519576 HAS SOUS 1157464 HAS SOUPS 1157464 WITH SCORE 1159983.576
AT ITER 4464 NEW BEST:: SOT 4697499 SOS 2519402 HAS SOPS 2519402 HAS SOUS 1157377 HAS SOUPS 1157377 WITH SCORE 1159896.402
AT ITER 4465 NEW BEST:: SOT 4697499 SOS 2518541 HAS SOPS 2518541 HAS SOUS 1157079 HAS SOUPS 1157079 WITH SCORE 1159597.541
AT ITER 4469 NEW BEST:: SOT 4697446 SOS 2518474 HAS SOPS 2518474 HAS SOUS 1157051 HAS SOUPS 1157051 WITH SCORE 1159569.474
AT ITER 4475 NEW BEST:: SOT 4697446 SOS 2518474 HAS SOPS 2518474 HAS SOUS 1157036 HAS SOUPS 1157036 WITH SCORE 1159554.474
AT ITER 4477 NEW BEST:: SOT 4697446 SOS 2518136 HAS SOPS 2518136 HAS SOUS 1157036 HAS SOUPS 1157036 WITH SCORE 1159554.136
AT ITER 4479 NEW BEST:: SOT 4697285 SOS 2517975 HAS SOPS 2517975 HAS SOUS 1156714 HAS SOUPS 1156714 WITH SCORE 1159231.975
AT ITER 4494 NEW BEST:: SOT 4697228 SOS 2517918 HAS SOPS 2517918 HAS SOUS 1156657 HAS SOUPS 1156657 WITH SCORE 1159174.918
AT ITER 4507 NEW BEST:: SOT 4696457 SOS 2517147 HAS SOPS 2517147 HAS SOUS 1156366 HAS SOUPS 1156366 WITH SCORE 1158883.147
AT ITER 4510 NEW BEST:: SOT 4696457 SOS 2517147 HAS SOPS 2517147 HAS SOUS 1156010 HAS SOUPS 1156010 WITH SCORE 1158527.147
AT ITER 4512 NEW BEST:: SOT 4695483 SOS 2513240 HAS SOPS 2513240 HAS SOUS 1154212 HAS SOUPS 1154212 WITH SCORE 1156725.24
AT ITER 4513 NEW BEST:: SOT 4695483 SOS 2513171 HAS SOPS 2513171 HAS SOUS 1153895 HAS SOUPS 1153895 WITH SCORE 1156408.171
AT ITER 4514 NEW BEST:: SOT 4695371 SOS 2512359 HAS SOPS 2512359 HAS SOUS 1153688 HAS SOUPS 1153688 WITH SCORE 1156200.359
AT ITER 4529 NEW BEST:: SOT 4695208 SOS 2511870 HAS SOPS 2511870 HAS SOUS 1153362 HAS SOUPS 1153362 WITH SCORE 1155873.87
AT ITER 4536 NEW BEST:: SOT 4695282 SOS 2498837 HAS SOPS 2498837 HAS SOUS 1152589 HAS SOUPS 1152589 WITH SCORE 1155087.837
AT ITER 4545 NEW BEST:: SOT 4695282 SOS 2498837 HAS SOPS 2498837 HAS SOUS 1152229 HAS SOUPS 1152229 WITH SCORE 1154727.837
AT ITER 4546 NEW BEST:: SOT 4694576 SOS 2499518 HAS SOPS 2499518 HAS SOUS 1151875 HAS SOUPS 1151875 WITH SCORE 1154374.518
AT ITER 4554 NEW BEST:: SOT 4694576 SOS 2499616 HAS SOPS 2499616 HAS SOUS 1151605 HAS SOUPS 1151605 WITH SCORE 1154104.616
AT ITER 4559 NEW BEST:: SOT 4693735 SOS 2498448 HAS SOPS 2498448 HAS SOUS 1151124 HAS SOUPS 1151124 WITH SCORE 1153622.448
AT ITER 4561 NEW BEST:: SOT 4693321 SOS 2498034 HAS SOPS 2498034 HAS SOUS 1151124 HAS SOUPS 1151124 WITH SCORE 1153622.034
AT ITER 4565 NEW BEST:: SOT 4693260 SOS 2497117 HAS SOPS 2497117 HAS SOUS 1150635 HAS SOUPS 1150635 WITH SCORE 1153132.117
AT ITER 4569 NEW BEST:: SOT 4692959 SOS 2496816 HAS SOPS 2496816 HAS SOUS 1150334 HAS SOUPS 1150334 WITH SCORE 1152830.816
AT ITER 4570 NEW BEST:: SOT 4692674 SOS 2496810 HAS SOPS 2496810 HAS SOUS 1150229 HAS SOUPS 1150229 WITH SCORE 1152725.81
AT ITER 4574 NEW BEST:: SOT 4692662 SOS 2496698 HAS SOPS 2496698 HAS SOUS 1149876 HAS SOUPS 1149876 WITH SCORE 1152372.698
AT ITER 4575 NEW BEST:: SOT 4692569 SOS 2498930 HAS SOPS 2498930 HAS SOUS 1149783 HAS SOUPS 1149783 WITH SCORE 1152281.93
AT ITER 4578 NEW BEST:: SOT 4692391 SOS 2498370 HAS SOPS 2498370 HAS SOUS 1149427 HAS SOUPS 1149427 WITH SCORE 1151925.37
AT ITER 4580 NEW BEST:: SOT 4692391 SOS 2498369 HAS SOPS 2498369 HAS SOUS 1149427 HAS SOUPS 1149427 WITH SCORE 1151925.369
AT ITER 4591 NEW BEST:: SOT 4692391 SOS 2498100 HAS SOPS 2498100 HAS SOUS 1149427 HAS SOUPS 1149427 WITH SCORE 1151925.1
AT ITER 4593 NEW BEST:: SOT 4692391 SOS 2498048 HAS SOPS 2498048 HAS SOUS 1149375 HAS SOUPS 1149375 WITH SCORE 1151873.048
AT ITER 4605 NEW BEST:: SOT 4692302 SOS 2497870 HAS SOPS 2497870 HAS SOUS 1148851 HAS SOUPS 1148851 WITH SCORE 1151348.87
AT ITER 4608 NEW BEST:: SOT 4691866 SOS 2497362 HAS SOPS 2497362 HAS SOUS 1148837 HAS SOUPS 1148837 WITH SCORE 1151334.362
AT ITER 4611 NEW BEST:: SOT 4691619 SOS 2496868 HAS SOPS 2496868 HAS SOUS 1148279 HAS SOUPS 1148279 WITH SCORE 1150775.868
AT ITER 4618 NEW BEST:: SOT 4691619 SOS 2496868 HAS SOPS 2496868 HAS SOUS 1148185 HAS SOUPS 1148185 WITH SCORE 1150681.868
AT ITER 4630 NEW BEST:: SOT 4690908 SOS 2495432 HAS SOPS 2495432 HAS SOUS 1147689 HAS SOUPS 1147689 WITH SCORE 1150184.432
AT ITER 4634 NEW BEST:: SOT 4690447 SOS 2494971 HAS SOPS 2494971 HAS SOUS 1147633 HAS SOUPS 1147633 WITH SCORE 1150127.971
AT ITER 4635 NEW BEST:: SOT 4690439 SOS 2495292 HAS SOPS 2495292 HAS SOUS 1147625 HAS SOUPS 1147625 WITH SCORE 1150120.292
AT ITER 4647 NEW BEST:: SOT 4690313 SOS 2495166 HAS SOPS 2495166 HAS SOUS 1146718 HAS SOUPS 1146718 WITH SCORE 1149213.166
AT ITER 4676 NEW BEST:: SOT 4690323 SOS 2495176 HAS SOPS 2495176 HAS SOUS 1146684 HAS SOUPS 1146684 WITH SCORE 1149179.176
AT ITER 4677 NEW BEST:: SOT 4690052 SOS 2494579 HAS SOPS 2494579 HAS SOUS 1146443 HAS SOUPS 1146443 WITH SCORE 1148937.579
AT ITER 4680 NEW BEST:: SOT 4689560 SOS 2494288 HAS SOPS 2494288 HAS SOUS 1146166 HAS SOUPS 1146166 WITH SCORE 1148660.288
AT ITER 4684 NEW BEST:: SOT 4689137 SOS 2493865 HAS SOPS 2493865 HAS SOUS 1145743 HAS SOUPS 1145743 WITH SCORE 1148236.865
AT ITER 4687 NEW BEST:: SOT 4689092 SOS 2492550 HAS SOPS 2492550 HAS SOUS 1145698 HAS SOUPS 1145698 WITH SCORE 1148190.55
AT ITER 4689 NEW BEST:: SOT 4688721 SOS 2491808 HAS SOPS 2491808 HAS SOUS 1145327 HAS SOUPS 1145327 WITH SCORE 1147818.808
AT ITER 4698 NEW BEST:: SOT 4688601 SOS 2491688 HAS SOPS 2491688 HAS SOUS 1145207 HAS SOUPS 1145207 WITH SCORE 1147698.688
AT ITER 4701 NEW BEST:: SOT 4688601 SOS 2491688 HAS SOPS 2491688 HAS SOUS 1144939 HAS SOUPS 1144939 WITH SCORE 1147430.688
AT ITER 4706 NEW BEST:: SOT 4688601 SOS 2491170 HAS SOPS 2491170 HAS SOUS 1144421 HAS SOUPS 1144421 WITH SCORE 1146912.17
AT ITER 4710 NEW BEST:: SOT 4688165 SOS 2489944 HAS SOPS 2489944 HAS SOUS 1143549 HAS SOUPS 1143549 WITH SCORE 1146038.944
AT ITER 4714 NEW BEST:: SOT 4687125 SOS 2486115 HAS SOPS 2486115 HAS SOUS 1141672 HAS SOUPS 1141672 WITH SCORE 1144158.115
AT ITER 4722 NEW BEST:: SOT 4686894 SOS 2485884 HAS SOPS 2485884 HAS SOUS 1141277 HAS SOUPS 1141277 WITH SCORE 1143762.884
AT ITER 4726 NEW BEST:: SOT 4686561 SOS 2485551 HAS SOPS 2485551 HAS SOUS 1140947 HAS SOUPS 1140947 WITH SCORE 1143432.551
AT ITER 4729 NEW BEST:: SOT 4686561 SOS 2485551 HAS SOPS 2485551 HAS SOUS 1140946 HAS SOUPS 1140946 WITH SCORE 1143431.551
AT ITER 4730 NEW BEST:: SOT 4686493 SOS 2485483 HAS SOPS 2485483 HAS SOUS 1140878 HAS SOUPS 1140878 WITH SCORE 1143363.483
AT ITER 4732 NEW BEST:: SOT 4686382 SOS 2485261 HAS SOPS 2485261 HAS SOUS 1140861 HAS SOUPS 1140861 WITH SCORE 1143346.261
AT ITER 4733 NEW BEST:: SOT 4686709 SOS 2484447 HAS SOPS 2484447 HAS SOUS 1140617 HAS SOUPS 1140617 WITH SCORE 1143101.447
AT ITER 4737 NEW BEST:: SOT 4687052 SOS 2485153 HAS SOPS 2485153 HAS SOUS 1140368 HAS SOUPS 1140368 WITH SCORE 1142853.153
AT ITER 4740 NEW BEST:: SOT 4686748 SOS 2484849 HAS SOPS 2484849 HAS SOUS 1140064 HAS SOUPS 1140064 WITH SCORE 1142548.849
AT ITER 4747 NEW BEST:: SOT 4686569 SOS 2484690 HAS SOPS 2484690 HAS SOUS 1140049 HAS SOUPS 1140049 WITH SCORE 1142533.69
AT ITER 4753 NEW BEST:: SOT 4686457 SOS 2484515 HAS SOPS 2484515 HAS SOUS 1139937 HAS SOUPS 1139937 WITH SCORE 1142421.515
AT ITER 4756 NEW BEST:: SOT 4686428 SOS 2484486 HAS SOPS 2484486 HAS SOUS 1139908 HAS SOUPS 1139908 WITH SCORE 1142392.486
AT ITER 4757 NEW BEST:: SOT 4686428 SOS 2484464 HAS SOPS 2484464 HAS SOUS 1139864 HAS SOUPS 1139864 WITH SCORE 1142348.464
AT ITER 4759 NEW BEST:: SOT 4686428 SOS 2484008 HAS SOPS 2484008 HAS SOUS 1138912 HAS SOUPS 1138912 WITH SCORE 1141396.008
AT ITER 4767 NEW BEST:: SOT 4686063 SOS 2482913 HAS SOPS 2482913 HAS SOUS 1138512 HAS SOUPS 1138512 WITH SCORE 1140994.913
AT ITER 4771 NEW BEST:: SOT 4685897 SOS 2482581 HAS SOPS 2482581 HAS SOUS 1138112 HAS SOUPS 1138112 WITH SCORE 1140594.581
AT ITER 4783 NEW BEST:: SOT 4685817 SOS 2482421 HAS SOPS 2482421 HAS SOUS 1137952 HAS SOUPS 1137952 WITH SCORE 1140434.421
AT ITER 4788 NEW BEST:: SOT 4685905 SOS 2482534 HAS SOPS 2482534 HAS SOUS 1137845 HAS SOUPS 1137845 WITH SCORE 1140327.534
AT ITER 4794 NEW BEST:: SOT 4684725 SOS 2480768 HAS SOPS 2480768 HAS SOUS 1136673 HAS SOUPS 1136673 WITH SCORE 1139153.768
AT ITER 4798 NEW BEST:: SOT 4684725 SOS 2480768 HAS SOPS 2480768 HAS SOUS 1136574 HAS SOUPS 1136574 WITH SCORE 1139054.768
AT ITER 4801 NEW BEST:: SOT 4684299 SOS 2479490 HAS SOPS 2479490 HAS SOUS 1135698 HAS SOUPS 1135698 WITH SCORE 1138177.49
AT ITER 4807 NEW BEST:: SOT 4684299 SOS 2480052 HAS SOPS 2480052 HAS SOUS 1135636 HAS SOUPS 1135636 WITH SCORE 1138116.052
AT ITER 4812 NEW BEST:: SOT 4684418 SOS 2480290 HAS SOPS 2480290 HAS SOUS 1135109 HAS SOUPS 1135109 WITH SCORE 1137589.29
AT ITER 4831 NEW BEST:: SOT 4684201 SOS 2479824 HAS SOPS 2479824 HAS SOUS 1134222 HAS SOUPS 1134222 WITH SCORE 1136701.824
AT ITER 4833 NEW BEST:: SOT 4684201 SOS 2479824 HAS SOPS 2479824 HAS SOUS 1133174 HAS SOUPS 1133174 WITH SCORE 1135653.824
AT ITER 4835 NEW BEST:: SOT 4684187 SOS 2479810 HAS SOPS 2479810 HAS SOUS 1133160 HAS SOUPS 1133160 WITH SCORE 1135639.81
AT ITER 4837 NEW BEST:: SOT 4683880 SOS 2478359 HAS SOPS 2478359 HAS SOUS 1131709 HAS SOUPS 1131709 WITH SCORE 1134187.359
AT ITER 4838 NEW BEST:: SOT 4683880 SOS 2478035 HAS SOPS 2478035 HAS SOUS 1131547 HAS SOUPS 1131547 WITH SCORE 1134025.035
AT ITER 4854 NEW BEST:: SOT 4683796 SOS 2477867 HAS SOPS 2477867 HAS SOUS 1131371 HAS SOUPS 1131371 WITH SCORE 1133848.867
AT ITER 4856 NEW BEST:: SOT 4683598 SOS 2477669 HAS SOPS 2477669 HAS SOUS 1131001 HAS SOUPS 1131001 WITH SCORE 1133478.669
AT ITER 4869 NEW BEST:: SOT 4683392 SOS 2477245 HAS SOPS 2477245 HAS SOUS 1130970 HAS SOUPS 1130970 WITH SCORE 1133447.245
AT ITER 4870 NEW BEST:: SOT 4683461 SOS 2477412 HAS SOPS 2477412 HAS SOUS 1130821 HAS SOUPS 1130821 WITH SCORE 1133298.412
AT ITER 4871 NEW BEST:: SOT 4683081 SOS 2476272 HAS SOPS 2476272 HAS SOUS 1130441 HAS SOUPS 1130441 WITH SCORE 1132917.272
AT ITER 4876 NEW BEST:: SOT 4683083 SOS 2476276 HAS SOPS 2476276 HAS SOUS 1130280 HAS SOUPS 1130280 WITH SCORE 1132756.276
AT ITER 4880 NEW BEST:: SOT 4682930 SOS 2475893 HAS SOPS 2475893 HAS SOUS 1129897 HAS SOUPS 1129897 WITH SCORE 1132372.893
AT ITER 4885 NEW BEST:: SOT 4682862 SOS 2475546 HAS SOPS 2475546 HAS SOUS 1129829 HAS SOUPS 1129829 WITH SCORE 1132304.546
AT ITER 4891 NEW BEST:: SOT 4682728 SOS 2475412 HAS SOPS 2475412 HAS SOUS 1129695 HAS SOUPS 1129695 WITH SCORE 1132170.412
AT ITER 4908 NEW BEST:: SOT 4682531 SOS 2475215 HAS SOPS 2475215 HAS SOUS 1129548 HAS SOUPS 1129548 WITH SCORE 1132023.215
AT ITER 4909 NEW BEST:: SOT 4682437 SOS 2475121 HAS SOPS 2475121 HAS SOUS 1129548 HAS SOUPS 1129548 WITH SCORE 1132023.121
AT ITER 4910 NEW BEST:: SOT 4682271 SOS 2474955 HAS SOPS 2474955 HAS SOUS 1129382 HAS SOUPS 1129382 WITH SCORE 1131856.955
AT ITER 4913 NEW BEST:: SOT 4682271 SOS 2474838 HAS SOPS 2474838 HAS SOUS 1129297 HAS SOUPS 1129297 WITH SCORE 1131771.838
AT ITER 4917 NEW BEST:: SOT 4682174 SOS 2474887 HAS SOPS 2474887 HAS SOUS 1129103 HAS SOUPS 1129103 WITH SCORE 1131577.887
AT ITER 4928 NEW BEST:: SOT 4682757 SOS 2475545 HAS SOPS 2475545 HAS SOUS 1129060 HAS SOUPS 1129060 WITH SCORE 1131535.545
AT ITER 4929 NEW BEST:: SOT 4681724 SOS 2474512 HAS SOPS 2474512 HAS SOUS 1128332 HAS SOUPS 1128332 WITH SCORE 1130806.512
AT ITER 4932 NEW BEST:: SOT 4681724 SOS 2474459 HAS SOPS 2474459 HAS SOUS 1128224 HAS SOUPS 1128224 WITH SCORE 1130698.459
AT ITER 4935 NEW BEST:: SOT 4681397 SOS 2474255 HAS SOPS 2474255 HAS SOUS 1128019 HAS SOUPS 1128019 WITH SCORE 1130493.255
AT ITER 4951 NEW BEST:: SOT 4681397 SOS 2474337 HAS SOPS 2474337 HAS SOUS 1127937 HAS SOUPS 1127937 WITH SCORE 1130411.337
AT ITER 4954 NEW BEST:: SOT 4681409 SOS 2472654 HAS SOPS 2472654 HAS SOUS 1127579 HAS SOUPS 1127579 WITH SCORE 1130051.654
AT ITER 4956 NEW BEST:: SOT 4681312 SOS 2472460 HAS SOPS 2472460 HAS SOUS 1127385 HAS SOUPS 1127385 WITH SCORE 1129857.46
AT ITER 4957 NEW BEST:: SOT 4681312 SOS 2472460 HAS SOPS 2472460 HAS SOUS 1126740 HAS SOUPS 1126740 WITH SCORE 1129212.46
AT ITER 4959 NEW BEST:: SOT 4681178 SOS 2472192 HAS SOPS 2472192 HAS SOUS 1126703 HAS SOUPS 1126703 WITH SCORE 1129175.192
AT ITER 4967 NEW BEST:: SOT 4681300 SOS 2472306 HAS SOPS 2472306 HAS SOUS 1126682 HAS SOUPS 1126682 WITH SCORE 1129154.306
AT ITER 4971 NEW BEST:: SOT 4681223 SOS 2472171 HAS SOPS 2472171 HAS SOUS 1126605 HAS SOUPS 1126605 WITH SCORE 1129077.171
AT ITER 4972 NEW BEST:: SOT 4681378 SOS 2472326 HAS SOPS 2472326 HAS SOUS 1126541 HAS SOUPS 1126541 WITH SCORE 1129013.326
AT ITER 4983 NEW BEST:: SOT 4681256 SOS 2471762 HAS SOPS 2471762 HAS SOUS 1125977 HAS SOUPS 1125977 WITH SCORE 1128448.762
AT ITER 4994 NEW BEST:: SOT 4681082 SOS 2471414 HAS SOPS 2471414 HAS SOUS 1125803 HAS SOUPS 1125803 WITH SCORE 1128274.414
AT ITER 4998 NEW BEST:: SOT 4681082 SOS 2471133 HAS SOPS 2471133 HAS SOUS 1125522 HAS SOUPS 1125522 WITH SCORE 1127993.133
AT ITER 4999 NEW BEST:: SOT 4680893 SOS 2470390 HAS SOPS 2470390 HAS SOUS 1124779 HAS SOUPS 1124779 WITH SCORE 1127249.39
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-00 (AG( (AG( ( potential( ( 2 ) <= (tk(P1973)) ) | potential( (tk(P1074)) <= (tk(P848)) ) )))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-01 (AX( (AU( potential( (tk(P2646)) <= (tk(P1982)) ),potential( ( 3 ) <= (tk(P2336)) ) ))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-02 (EX( (AF(potential( ( 3 ) <= (tk(P196)) )))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-03 (AU( (AX( potential( (tk(P1457)) <= (tk(P1169)) ))),( potential( ( 2 ) <= (tk(P1722)) ) | ( potential( ( 2 ) <= (tk(P2324)) ) & potential( (tk(P1614)) <= (tk(P357)) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-04 (EF((! ( ( potential( (tk(P509)) <= (tk(P1055)) ) & potential( (tk(P2537)) <= (tk(P1815)) ) ) | potential( ( 1 ) <= (tk(P702)) ) ))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-05 (EG( (! potential( ( 3 ) <= (tk(P261)) ))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-06 (EG( ( (EF(potential( ( 2 ) <= (tk(P613)) ))) & (AF(potential( ( 2 ) <= (tk(P1255)) ))) )))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-07 ( (EF(( potential( (tk(P263)) <= (tk(P58)) ) & ( potential( ( 2 ) <= (tk(P1483)) ) & potential( ( 2 ) <= (tk(P2180)) ) ) ))) | (EU( ( potential( ( 3 ) <= (tk(P870)) ) & potential( (tk(P2609)) <= (tk(P2302)) ) ),( potential( (tk(P2267)) <= (tk(P2281)) ) & potential( ( 1 ) <= (tk(P2310)) ) ) )) )
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-08 (AF((EU( potential( (tk(P2000)) <= (tk(P263)) ),potential( ( 3 ) <= (tk(P2352)) ) ))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-09 (AF((EU( potential( ( 1 ) <= (tk(P2224)) ),potential( ( 1 ) <= (tk(P1933)) ) ))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-10 ( (! (! potential( ( 1 ) <= (tk(P2048)) ))) | (! (AG( ( potential( (tk(P2594)) <= (tk(P872)) ) | potential( ( 2 ) <= (tk(P1350)) ) )))) )
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-11 (AG( (EF((! potential( (tk(P612)) <= (tk(P2088)) ))))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-12 ( ( (! ( ( potential( ( 2 ) <= (tk(P129)) ) | potential( ( 3 ) <= (tk(P2212)) ) ) | potential( (tk(P2188)) <= (tk(P2017)) ) )) & ( ( (! potential( (tk(P434)) <= (tk(P430)) )) | potential( ( 3 ) <= (tk(P2219)) ) ) | (EX( potential( ( 3 ) <= (tk(P1369)) ))) ) ) | ( ( ( (! potential( (tk(P1351)) <= (tk(P1344)) )) & potential( (tk(P557)) <= (tk(P2304)) ) ) | (EG( potential( (tk(P1862)) <= (tk(P91)) ))) ) & (EU( potential( (tk(P893)) <= (tk(P382)) ),potential( (tk(P441)) <= (tk(P2673)) ) )) ) )
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-13 (EF(( (AG( potential( (tk(P820)) <= (tk(P417)) ))) & (AG( potential( ( 3 ) <= (tk(P2142)) ))) )))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-14 (AG( (EG( ( potential( (tk(P357)) <= (tk(P2317)) ) & potential( (tk(P1763)) <= (tk(P1474)) ) )))))
PROPERTY: FlexibleBarrier-PT-14b-CTLCardinality-15 (! (! (EU( potential( (tk(P786)) <= (tk(P592)) ),potential( ( 2 ) <= (tk(P1958)) ) ))))

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="CTLCardinality"
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 CTLCardinality"
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-158922972500347"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;