Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800435.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN16, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800435
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 3.4K Jun 3 09:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jun 3 09:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 898K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.4M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 2.1M May 12 20:42 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 Sudoku-PT-AN16-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN16-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336622944

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN16
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: 4864 places, 4096 transitions, 16384 arcs.
AT ITER 0 NEW BEST:: SOT 16746304 SOS 8328604 HAS SOPS 8328604 HAS SOUS 8328604 HAS SOUPS 8328604 WITH SCORE 8336932.604
AT ITER 4 NEW BEST:: SOT 16745329 SOS 8328044 HAS SOPS 8328044 HAS SOUS 8327729 HAS SOUPS 8327729 WITH SCORE 8336057.044
AT ITER 6 NEW BEST:: SOT 16743109 SOS 8326123 HAS SOPS 8326123 HAS SOUS 8325568 HAS SOUPS 8325568 WITH SCORE 8333894.123
AT ITER 7 NEW BEST:: SOT 16736874 SOS 8361830 HAS SOPS 8361830 HAS SOUS 8319590 HAS SOUPS 8319590 WITH SCORE 8327951.83
AT ITER 17 NEW BEST:: SOT 16736484 SOS 8375567 HAS SOPS 8375567 HAS SOUS 8319326 HAS SOUPS 8319326 WITH SCORE 8327701.567
AT ITER 24 NEW BEST:: SOT 16733904 SOS 8373305 HAS SOPS 8373305 HAS SOUS 8316944 HAS SOUPS 8316944 WITH SCORE 8325317.305
AT ITER 27 NEW BEST:: SOT 16733999 SOS 8373239 HAS SOPS 8373239 HAS SOUS 8316653 HAS SOUPS 8316653 WITH SCORE 8325026.239
AT ITER 32 NEW BEST:: SOT 16733714 SOS 8382179 HAS SOPS 8382179 HAS SOUS 8316464 HAS SOUPS 8316464 WITH SCORE 8324846.179
AT ITER 38 NEW BEST:: SOT 16730578 SOS 8380254 HAS SOPS 8380254 HAS SOUS 8313913 HAS SOUPS 8313913 WITH SCORE 8322293.254
AT ITER 45 NEW BEST:: SOT 16728073 SOS 8377749 HAS SOPS 8377749 HAS SOUS 8311408 HAS SOUPS 8311408 WITH SCORE 8319785.749
AT ITER 46 NEW BEST:: SOT 16726438 SOS 8376439 HAS SOPS 8376439 HAS SOUS 8309918 HAS SOUPS 8309918 WITH SCORE 8318294.439
AT ITER 47 NEW BEST:: SOT 16726603 SOS 8376513 HAS SOPS 8376513 HAS SOUS 8309707 HAS SOUPS 8309707 WITH SCORE 8318083.513
AT ITER 52 NEW BEST:: SOT 16721972 SOS 8396953 HAS SOPS 8396953 HAS SOUS 8305547 HAS SOUPS 8305547 WITH SCORE 8313943.953
AT ITER 54 NEW BEST:: SOT 16718897 SOS 8393878 HAS SOPS 8393878 HAS SOUS 8302472 HAS SOUPS 8302472 WITH SCORE 8310865.878
AT ITER 63 NEW BEST:: SOT 16715019 SOS 8392099 HAS SOPS 8392099 HAS SOUS 8299081 HAS SOUPS 8299081 WITH SCORE 8307473.099
AT ITER 71 NEW BEST:: SOT 16714719 SOS 8398687 HAS SOPS 8398687 HAS SOUS 8299073 HAS SOUPS 8299073 WITH SCORE 8307471.687
AT ITER 90 NEW BEST:: SOT 16710727 SOS 8398194 HAS SOPS 8398194 HAS SOUS 8295325 HAS SOUPS 8295325 WITH SCORE 8303723.194
AT ITER 107 NEW BEST:: SOT 16710971 SOS 8398362 HAS SOPS 8398362 HAS SOUS 8295223 HAS SOUPS 8295223 WITH SCORE 8303621.362
AT ITER 108 NEW BEST:: SOT 16709156 SOS 8396882 HAS SOPS 8396882 HAS SOUS 8293608 HAS SOUPS 8293608 WITH SCORE 8302004.882
AT ITER 113 NEW BEST:: SOT 16707491 SOS 8395551 HAS SOPS 8395551 HAS SOUS 8292172 HAS SOUPS 8292172 WITH SCORE 8300567.551
AT ITER 119 NEW BEST:: SOT 16705365 SOS 8393425 HAS SOPS 8393425 HAS SOUS 8290046 HAS SOUPS 8290046 WITH SCORE 8298439.425
AT ITER 125 NEW BEST:: SOT 16702080 SOS 8390543 HAS SOPS 8390543 HAS SOUS 8286849 HAS SOUPS 8286849 WITH SCORE 8295239.543
AT ITER 136 NEW BEST:: SOT 16698599 SOS 8387489 HAS SOPS 8387489 HAS SOUS 8283600 HAS SOUPS 8283600 WITH SCORE 8291987.489
AT ITER 139 NEW BEST:: SOT 16696629 SOS 8386818 HAS SOPS 8386818 HAS SOUS 8282216 HAS SOUPS 8282216 WITH SCORE 8290602.818
AT ITER 147 NEW BEST:: SOT 16692091 SOS 8400429 HAS SOPS 8400429 HAS SOUS 8278336 HAS SOUPS 8278336 WITH SCORE 8286736.429
AT ITER 150 NEW BEST:: SOT 16687921 SOS 8396550 HAS SOPS 8396550 HAS SOUS 8274382 HAS SOUPS 8274382 WITH SCORE 8282778.55
AT ITER 159 NEW BEST:: SOT 16684999 SOS 8400888 HAS SOPS 8400888 HAS SOUS 8271655 HAS SOUPS 8271655 WITH SCORE 8280055.888
AT ITER 168 NEW BEST:: SOT 16681009 SOS 8397286 HAS SOPS 8397286 HAS SOUS 8267843 HAS SOUPS 8267843 WITH SCORE 8276240.286
AT ITER 174 NEW BEST:: SOT 16681009 SOS 8397056 HAS SOPS 8397056 HAS SOUS 8267843 HAS SOUPS 8267843 WITH SCORE 8276240.056
AT ITER 190 NEW BEST:: SOT 16680664 SOS 8398265 HAS SOPS 8398265 HAS SOUS 8267498 HAS SOUPS 8267498 WITH SCORE 8275896.265
AT ITER 193 NEW BEST:: SOT 16680064 SOS 8401201 HAS SOPS 8401201 HAS SOUS 8267010 HAS SOUPS 8267010 WITH SCORE 8275411.201
AT ITER 222 NEW BEST:: SOT 16679524 SOS 8400802 HAS SOPS 8400802 HAS SOUS 8266473 HAS SOUPS 8266473 WITH SCORE 8274873.802
AT ITER 234 NEW BEST:: SOT 16678924 SOS 8426503 HAS SOPS 8426503 HAS SOUS 8266153 HAS SOUPS 8266153 WITH SCORE 8274579.503
AT ITER 235 NEW BEST:: SOT 16675795 SOS 8424249 HAS SOPS 8424249 HAS SOUS 8263562 HAS SOUPS 8263562 WITH SCORE 8271986.249
AT ITER 237 NEW BEST:: SOT 16675795 SOS 8421694 HAS SOPS 8421694 HAS SOUS 8263562 HAS SOUPS 8263562 WITH SCORE 8271983.694
AT ITER 238 NEW BEST:: SOT 16675195 SOS 8422479 HAS SOPS 8422479 HAS SOUS 8263282 HAS SOUPS 8263282 WITH SCORE 8271704.479
AT ITER 239 NEW BEST:: SOT 16674865 SOS 8436996 HAS SOPS 8436996 HAS SOUS 8262952 HAS SOUPS 8262952 WITH SCORE 8271388.996
AT ITER 246 NEW BEST:: SOT 16675100 SOS 8437144 HAS SOPS 8437144 HAS SOUS 8262860 HAS SOUPS 8262860 WITH SCORE 8271297.144
AT ITER 249 NEW BEST:: SOT 16674545 SOS 8437243 HAS SOPS 8437243 HAS SOUS 8262423 HAS SOUPS 8262423 WITH SCORE 8270860.243
AT ITER 252 NEW BEST:: SOT 16674545 SOS 8411462 HAS SOPS 8411462 HAS SOUS 8262423 HAS SOUPS 8262423 WITH SCORE 8270834.462
AT ITER 255 NEW BEST:: SOT 16671260 SOS 8408544 HAS SOPS 8408544 HAS SOUS 8259310 HAS SOUPS 8259310 WITH SCORE 8267718.544
AT ITER 257 NEW BEST:: SOT 16671375 SOS 8408537 HAS SOPS 8408537 HAS SOUS 8259078 HAS SOUPS 8259078 WITH SCORE 8267486.537
AT ITER 263 NEW BEST:: SOT 16671375 SOS 8408090 HAS SOPS 8408090 HAS SOUS 8259078 HAS SOUPS 8259078 WITH SCORE 8267486.09
AT ITER 265 NEW BEST:: SOT 16671375 SOS 8406230 HAS SOPS 8406230 HAS SOUS 8259078 HAS SOUPS 8259078 WITH SCORE 8267484.23
AT ITER 267 NEW BEST:: SOT 16671030 SOS 8431667 HAS SOPS 8431667 HAS SOUS 8258850 HAS SOUPS 8258850 WITH SCORE 8267281.667
AT ITER 275 NEW BEST:: SOT 16671218 SOS 8431754 HAS SOPS 8431754 HAS SOUS 8258697 HAS SOUPS 8258697 WITH SCORE 8267128.754
AT ITER 287 NEW BEST:: SOT 16670850 SOS 8431754 HAS SOPS 8431754 HAS SOUS 8258329 HAS SOUPS 8258329 WITH SCORE 8266760.754
AT ITER 304 NEW BEST:: SOT 16666142 SOS 8444632 HAS SOPS 8444632 HAS SOUS 8254137 HAS SOUPS 8254137 WITH SCORE 8262581.632
AT ITER 306 NEW BEST:: SOT 16662947 SOS 8441892 HAS SOPS 8441892 HAS SOUS 8251067 HAS SOUPS 8251067 WITH SCORE 8259508.892
AT ITER 310 NEW BEST:: SOT 16662947 SOS 8441676 HAS SOPS 8441676 HAS SOUS 8251067 HAS SOUPS 8251067 WITH SCORE 8259508.676
AT ITER 315 NEW BEST:: SOT 16657388 SOS 8436768 HAS SOPS 8436768 HAS SOUS 8245919 HAS SOUPS 8245919 WITH SCORE 8254355.768
AT ITER 316 NEW BEST:: SOT 16653983 SOS 8433749 HAS SOPS 8433749 HAS SOUS 8242810 HAS SOUPS 8242810 WITH SCORE 8251243.749
AT ITER 328 NEW BEST:: SOT 16653638 SOS 8439060 HAS SOPS 8439060 HAS SOUS 8242557 HAS SOUPS 8242557 WITH SCORE 8250996.06
AT ITER 332 NEW BEST:: SOT 16649706 SOS 8448654 HAS SOPS 8448654 HAS SOUS 8238846 HAS SOUPS 8238846 WITH SCORE 8247294.654
AT ITER 344 NEW BEST:: SOT 16649706 SOS 8447440 HAS SOPS 8447440 HAS SOUS 8238846 HAS SOUPS 8238846 WITH SCORE 8247293.44
AT ITER 347 NEW BEST:: SOT 16645483 SOS 8444072 HAS SOPS 8444072 HAS SOUS 8235028 HAS SOUPS 8235028 WITH SCORE 8243472.072
AT ITER 350 NEW BEST:: SOT 16642564 SOS 8442953 HAS SOPS 8442953 HAS SOUS 8232394 HAS SOUPS 8232394 WITH SCORE 8240836.953
AT ITER 358 NEW BEST:: SOT 16642234 SOS 8442663 HAS SOPS 8442663 HAS SOUS 8232064 HAS SOUPS 8232064 WITH SCORE 8240506.663
AT ITER 361 NEW BEST:: SOT 16642694 SOS 8442830 HAS SOPS 8442830 HAS SOUS 8231991 HAS SOUPS 8231991 WITH SCORE 8240433.83
AT ITER 366 NEW BEST:: SOT 16640802 SOS 8440938 HAS SOPS 8440938 HAS SOUS 8230099 HAS SOUPS 8230099 WITH SCORE 8238539.938
AT ITER 367 NEW BEST:: SOT 16640802 SOS 8440108 HAS SOPS 8440108 HAS SOUS 8230099 HAS SOUPS 8230099 WITH SCORE 8238539.108
AT ITER 373 NEW BEST:: SOT 16640802 SOS 8438921 HAS SOPS 8438921 HAS SOUS 8230099 HAS SOUPS 8230099 WITH SCORE 8238537.921
AT ITER 378 NEW BEST:: SOT 16641140 SOS 8439268 HAS SOPS 8439268 HAS SOUS 8230086 HAS SOUPS 8230086 WITH SCORE 8238525.268
AT ITER 395 NEW BEST:: SOT 16641140 SOS 8437943 HAS SOPS 8437943 HAS SOUS 8228437 HAS SOUPS 8228437 WITH SCORE 8236874.943
AT ITER 400 NEW BEST:: SOT 16636274 SOS 8447402 HAS SOPS 8447402 HAS SOUS 8224075 HAS SOUPS 8224075 WITH SCORE 8232522.402
AT ITER 402 NEW BEST:: SOT 16635719 SOS 8458187 HAS SOPS 8458187 HAS SOUS 8224063 HAS SOUPS 8224063 WITH SCORE 8232521.187
AT ITER 408 NEW BEST:: SOT 16633154 SOS 8456049 HAS SOPS 8456049 HAS SOUS 8221715 HAS SOUPS 8221715 WITH SCORE 8230171.049
AT ITER 412 NEW BEST:: SOT 16632735 SOS 8455630 HAS SOPS 8455630 HAS SOUS 8221296 HAS SOUPS 8221296 WITH SCORE 8229751.63
AT ITER 413 NEW BEST:: SOT 16632735 SOS 8455638 HAS SOPS 8455638 HAS SOUS 8221244 HAS SOUPS 8221244 WITH SCORE 8229699.638
AT ITER 415 NEW BEST:: SOT 16630005 SOS 8453264 HAS SOPS 8453264 HAS SOUS 8218825 HAS SOUPS 8218825 WITH SCORE 8227278.264
AT ITER 423 NEW BEST:: SOT 16630061 SOS 8453128 HAS SOPS 8453128 HAS SOUS 8218569 HAS SOUPS 8218569 WITH SCORE 8227022.128
AT ITER 424 NEW BEST:: SOT 16629161 SOS 8452325 HAS SOPS 8452325 HAS SOUS 8217669 HAS SOUPS 8217669 WITH SCORE 8226121.325
AT ITER 435 NEW BEST:: SOT 16628261 SOS 8452906 HAS SOPS 8452906 HAS SOUS 8216769 HAS SOUPS 8216769 WITH SCORE 8225221.906
AT ITER 439 NEW BEST:: SOT 16627781 SOS 8461027 HAS SOPS 8461027 HAS SOUS 8216334 HAS SOUPS 8216334 WITH SCORE 8224795.027
AT ITER 444 NEW BEST:: SOT 16627074 SOS 8460320 HAS SOPS 8460320 HAS SOUS 8215627 HAS SOUPS 8215627 WITH SCORE 8224087.32
AT ITER 446 NEW BEST:: SOT 16625064 SOS 8458983 HAS SOPS 8458983 HAS SOUS 8214290 HAS SOUPS 8214290 WITH SCORE 8222748.983
AT ITER 447 NEW BEST:: SOT 16621947 SOS 8462684 HAS SOPS 8462684 HAS SOUS 8212056 HAS SOUPS 8212056 WITH SCORE 8220518.684
AT ITER 448 NEW BEST:: SOT 16621101 SOS 8465152 HAS SOPS 8465152 HAS SOUS 8211592 HAS SOUPS 8211592 WITH SCORE 8220057.152
AT ITER 456 NEW BEST:: SOT 16620621 SOS 8465113 HAS SOPS 8465113 HAS SOUS 8211112 HAS SOUPS 8211112 WITH SCORE 8219577.113
AT ITER 458 NEW BEST:: SOT 16620621 SOS 8462516 HAS SOPS 8462516 HAS SOUS 8211112 HAS SOUPS 8211112 WITH SCORE 8219574.516
AT ITER 463 NEW BEST:: SOT 16620621 SOS 8461304 HAS SOPS 8461304 HAS SOUS 8211112 HAS SOUPS 8211112 WITH SCORE 8219573.304
AT ITER 467 NEW BEST:: SOT 16620351 SOS 8476472 HAS SOPS 8476472 HAS SOUS 8210863 HAS SOUPS 8210863 WITH SCORE 8219339.472
AT ITER 469 NEW BEST:: SOT 16619691 SOS 8481846 HAS SOPS 8481846 HAS SOUS 8210724 HAS SOUPS 8210724 WITH SCORE 8219205.846
AT ITER 472 NEW BEST:: SOT 16619406 SOS 8483661 HAS SOPS 8483661 HAS SOUS 8210649 HAS SOUPS 8210649 WITH SCORE 8219132.661
AT ITER 478 NEW BEST:: SOT 16618806 SOS 8494201 HAS SOPS 8494201 HAS SOUS 8210114 HAS SOUPS 8210114 WITH SCORE 8218608.201
AT ITER 484 NEW BEST:: SOT 16614846 SOS 8490673 HAS SOPS 8490673 HAS SOUS 8206586 HAS SOUPS 8206586 WITH SCORE 8215076.673
AT ITER 497 NEW BEST:: SOT 16614846 SOS 8490535 HAS SOPS 8490535 HAS SOUS 8206448 HAS SOUPS 8206448 WITH SCORE 8214938.535
AT ITER 499 NEW BEST:: SOT 16614846 SOS 8489414 HAS SOPS 8489414 HAS SOUS 8206448 HAS SOUPS 8206448 WITH SCORE 8214937.414
AT ITER 517 NEW BEST:: SOT 16614846 SOS 8488277 HAS SOPS 8488277 HAS SOUS 8206448 HAS SOUPS 8206448 WITH SCORE 8214936.277
AT ITER 521 NEW BEST:: SOT 16612497 SOS 8496693 HAS SOPS 8496693 HAS SOUS 8205323 HAS SOUPS 8205323 WITH SCORE 8213819.693
AT ITER 525 NEW BEST:: SOT 16612112 SOS 8496308 HAS SOPS 8496308 HAS SOUS 8204938 HAS SOUPS 8204938 WITH SCORE 8213434.308
AT ITER 531 NEW BEST:: SOT 16611572 SOS 8497249 HAS SOPS 8497249 HAS SOUS 8204398 HAS SOUPS 8204398 WITH SCORE 8212895.249
AT ITER 539 NEW BEST:: SOT 16610672 SOS 8497152 HAS SOPS 8497152 HAS SOUS 8203500 HAS SOUPS 8203500 WITH SCORE 8211997.152
AT ITER 550 NEW BEST:: SOT 16607011 SOS 8501536 HAS SOPS 8501536 HAS SOUS 8200701 HAS SOUPS 8200701 WITH SCORE 8209202.536
AT ITER 558 NEW BEST:: SOT 16605499 SOS 8501418 HAS SOPS 8501418 HAS SOUS 8199410 HAS SOUPS 8199410 WITH SCORE 8207911.418
AT ITER 561 NEW BEST:: SOT 16605499 SOS 8501376 HAS SOPS 8501376 HAS SOUS 8199410 HAS SOUPS 8199410 WITH SCORE 8207911.376
AT ITER 562 NEW BEST:: SOT 16605748 SOS 8501580 HAS SOPS 8501580 HAS SOUS 8199389 HAS SOUPS 8199389 WITH SCORE 8207890.58
AT ITER 564 NEW BEST:: SOT 16605748 SOS 8500773 HAS SOPS 8500773 HAS SOUS 8199389 HAS SOUPS 8199389 WITH SCORE 8207889.773
AT ITER 565 NEW BEST:: SOT 16603036 SOS 8533978 HAS SOPS 8533978 HAS SOUS 8198689 HAS SOUPS 8198689 WITH SCORE 8207222.978
AT ITER 571 NEW BEST:: SOT 16603036 SOS 8533605 HAS SOPS 8533605 HAS SOUS 8198689 HAS SOUPS 8198689 WITH SCORE 8207222.605
AT ITER 575 NEW BEST:: SOT 16600535 SOS 8533086 HAS SOPS 8533086 HAS SOUS 8196593 HAS SOUPS 8196593 WITH SCORE 8205126.086
AT ITER 576 NEW BEST:: SOT 16599440 SOS 8532210 HAS SOPS 8532210 HAS SOUS 8195606 HAS SOUPS 8195606 WITH SCORE 8204138.21
AT ITER 582 NEW BEST:: SOT 16598250 SOS 8543369 HAS SOPS 8543369 HAS SOUS 8195408 HAS SOUPS 8195408 WITH SCORE 8203951.369
AT ITER 587 NEW BEST:: SOT 16598250 SOS 8542831 HAS SOPS 8542831 HAS SOUS 8195408 HAS SOUPS 8195408 WITH SCORE 8203950.831
AT ITER 589 NEW BEST:: SOT 16598172 SOS 8540308 HAS SOPS 8540308 HAS SOUS 8195176 HAS SOUPS 8195176 WITH SCORE 8203716.308
AT ITER 594 NEW BEST:: SOT 16598052 SOS 8540188 HAS SOPS 8540188 HAS SOUS 8195056 HAS SOUPS 8195056 WITH SCORE 8203596.188
AT ITER 595 NEW BEST:: SOT 16594062 SOS 8536619 HAS SOPS 8536619 HAS SOUS 8191217 HAS SOUPS 8191217 WITH SCORE 8199753.619
AT ITER 602 NEW BEST:: SOT 16590885 SOS 8535889 HAS SOPS 8535889 HAS SOUS 8188477 HAS SOUPS 8188477 WITH SCORE 8197012.889
AT ITER 606 NEW BEST:: SOT 16590885 SOS 8534639 HAS SOPS 8534639 HAS SOUS 8188477 HAS SOUPS 8188477 WITH SCORE 8197011.639
AT ITER 612 NEW BEST:: SOT 16590885 SOS 8534245 HAS SOPS 8534245 HAS SOUS 8188477 HAS SOUPS 8188477 WITH SCORE 8197011.245
AT ITER 613 NEW BEST:: SOT 16588226 SOS 8547429 HAS SOPS 8547429 HAS SOUS 8186201 HAS SOUPS 8186201 WITH SCORE 8194748.429
AT ITER 623 NEW BEST:: SOT 16588226 SOS 8545163 HAS SOPS 8545163 HAS SOUS 8185882 HAS SOUPS 8185882 WITH SCORE 8194427.163
AT ITER 626 NEW BEST:: SOT 16588226 SOS 8546095 HAS SOPS 8546095 HAS SOUS 8185143 HAS SOUPS 8185143 WITH SCORE 8193689.095
AT ITER 628 NEW BEST:: SOT 16588616 SOS 8545390 HAS SOPS 8545390 HAS SOUS 8184215 HAS SOUPS 8184215 WITH SCORE 8192760.39
AT ITER 639 NEW BEST:: SOT 16588616 SOS 8544201 HAS SOPS 8544201 HAS SOUS 8184215 HAS SOUPS 8184215 WITH SCORE 8192759.201
AT ITER 647 NEW BEST:: SOT 16588616 SOS 8511442 HAS SOPS 8511442 HAS SOUS 8182800 HAS SOUPS 8182800 WITH SCORE 8191311.442
AT ITER 656 NEW BEST:: SOT 16588616 SOS 8511392 HAS SOPS 8511392 HAS SOUS 8182748 HAS SOUPS 8182748 WITH SCORE 8191259.392
AT ITER 657 NEW BEST:: SOT 16587604 SOS 8512440 HAS SOPS 8512440 HAS SOUS 8182400 HAS SOUPS 8182400 WITH SCORE 8190912.44
AT ITER 668 NEW BEST:: SOT 16587604 SOS 8512117 HAS SOPS 8512117 HAS SOUS 8182400 HAS SOUPS 8182400 WITH SCORE 8190912.117
AT ITER 673 NEW BEST:: SOT 16587604 SOS 8511571 HAS SOPS 8511571 HAS SOUS 8182400 HAS SOUPS 8182400 WITH SCORE 8190911.571
AT ITER 677 NEW BEST:: SOT 16587064 SOS 8532150 HAS SOPS 8532150 HAS SOUS 8181938 HAS SOUPS 8181938 WITH SCORE 8190470.15
AT ITER 678 NEW BEST:: SOT 16586080 SOS 8531166 HAS SOPS 8531166 HAS SOUS 8180954 HAS SOUPS 8180954 WITH SCORE 8189485.166
AT ITER 681 NEW BEST:: SOT 16582687 SOS 8528211 HAS SOPS 8528211 HAS SOUS 8177624 HAS SOUPS 8177624 WITH SCORE 8186152.211
AT ITER 684 NEW BEST:: SOT 16582798 SOS 8527572 HAS SOPS 8527572 HAS SOUS 8176835 HAS SOUPS 8176835 WITH SCORE 8185362.572
AT ITER 686 NEW BEST:: SOT 16582798 SOS 8526320 HAS SOPS 8526320 HAS SOUS 8176835 HAS SOUPS 8176835 WITH SCORE 8185361.32
AT ITER 687 NEW BEST:: SOT 16581703 SOS 8538671 HAS SOPS 8538671 HAS SOUS 8176395 HAS SOUPS 8176395 WITH SCORE 8184933.671
AT ITER 691 NEW BEST:: SOT 16577310 SOS 8542076 HAS SOPS 8542076 HAS SOUS 8172820 HAS SOUPS 8172820 WITH SCORE 8181362.076
AT ITER 694 NEW BEST:: SOT 16576320 SOS 8548801 HAS SOPS 8548801 HAS SOUS 8172335 HAS SOUPS 8172335 WITH SCORE 8180883.801
AT ITER 695 NEW BEST:: SOT 16572545 SOS 8563173 HAS SOPS 8563173 HAS SOUS 8169349 HAS SOUPS 8169349 WITH SCORE 8177912.173
AT ITER 699 NEW BEST:: SOT 16571030 SOS 8580077 HAS SOPS 8580077 HAS SOUS 8169095 HAS SOUPS 8169095 WITH SCORE 8177675.077
AT ITER 711 NEW BEST:: SOT 16571030 SOS 8580068 HAS SOPS 8580068 HAS SOUS 8169095 HAS SOUPS 8169095 WITH SCORE 8177675.068
AT ITER 721 NEW BEST:: SOT 16567861 SOS 8585527 HAS SOPS 8585527 HAS SOUS 8166632 HAS SOUPS 8166632 WITH SCORE 8175217.527
AT ITER 722 NEW BEST:: SOT 16565273 SOS 8584042 HAS SOPS 8584042 HAS SOUS 8164521 HAS SOUPS 8164521 WITH SCORE 8173105.042
AT ITER 723 NEW BEST:: SOT 16565003 SOS 8583972 HAS SOPS 8583972 HAS SOUS 8164276 HAS SOUPS 8164276 WITH SCORE 8172859.972
AT ITER 725 NEW BEST:: SOT 16565003 SOS 8580612 HAS SOPS 8580612 HAS SOUS 8164276 HAS SOUPS 8164276 WITH SCORE 8172856.612
AT ITER 726 NEW BEST:: SOT 16564808 SOS 8580581 HAS SOPS 8580581 HAS SOUS 8164245 HAS SOUPS 8164245 WITH SCORE 8172825.581
AT ITER 728 NEW BEST:: SOT 16564946 SOS 8580589 HAS SOPS 8580589 HAS SOUS 8164103 HAS SOUPS 8164103 WITH SCORE 8172683.589
AT ITER 735 NEW BEST:: SOT 16564946 SOS 8580530 HAS SOPS 8580530 HAS SOUS 8164089 HAS SOUPS 8164089 WITH SCORE 8172669.53
AT ITER 736 NEW BEST:: SOT 16564946 SOS 8580514 HAS SOPS 8580514 HAS SOUS 8164043 HAS SOUPS 8164043 WITH SCORE 8172623.514
AT ITER 737 NEW BEST:: SOT 16564946 SOS 8580196 HAS SOPS 8580196 HAS SOUS 8164043 HAS SOUPS 8164043 WITH SCORE 8172623.196
AT ITER 740 NEW BEST:: SOT 16565087 SOS 8580004 HAS SOPS 8580004 HAS SOUS 8163608 HAS SOUPS 8163608 WITH SCORE 8172188.004
AT ITER 746 NEW BEST:: SOT 16560890 SOS 8604181 HAS SOPS 8604181 HAS SOUS 8163390 HAS SOUPS 8163390 WITH SCORE 8171994.181
AT ITER 749 NEW BEST:: SOT 16556825 SOS 8600998 HAS SOPS 8600998 HAS SOUS 8159674 HAS SOUPS 8159674 WITH SCORE 8168274.998
AT ITER 750 NEW BEST:: SOT 16556825 SOS 8600998 HAS SOPS 8600998 HAS SOUS 8159419 HAS SOUPS 8159419 WITH SCORE 8168019.998
AT ITER 753 NEW BEST:: SOT 16552532 SOS 8597101 HAS SOPS 8597101 HAS SOUS 8155417 HAS SOUPS 8155417 WITH SCORE 8164014.101
AT ITER 754 NEW BEST:: SOT 16552352 SOS 8599011 HAS SOPS 8599011 HAS SOUS 8155373 HAS SOUPS 8155373 WITH SCORE 8163972.011
AT ITER 756 NEW BEST:: SOT 16551902 SOS 8623101 HAS SOPS 8623101 HAS SOUS 8155088 HAS SOUPS 8155088 WITH SCORE 8163711.101
AT ITER 757 NEW BEST:: SOT 16551774 SOS 8630891 HAS SOPS 8630891 HAS SOUS 8155038 HAS SOUPS 8155038 WITH SCORE 8163668.891
AT ITER 759 NEW BEST:: SOT 16551795 SOS 8630101 HAS SOPS 8630101 HAS SOUS 8154940 HAS SOUPS 8154940 WITH SCORE 8163570.101
AT ITER 762 NEW BEST:: SOT 16551953 SOS 8630172 HAS SOPS 8630172 HAS SOUS 8154711 HAS SOUPS 8154711 WITH SCORE 8163341.172
AT ITER 766 NEW BEST:: SOT 16548048 SOS 8628220 HAS SOPS 8628220 HAS SOUS 8151226 HAS SOUPS 8151226 WITH SCORE 8159854.22
AT ITER 769 NEW BEST:: SOT 16546273 SOS 8630898 HAS SOPS 8630898 HAS SOUS 8149898 HAS SOUPS 8149898 WITH SCORE 8158528.898
AT ITER 773 NEW BEST:: SOT 16546161 SOS 8630228 HAS SOPS 8630228 HAS SOUS 8149431 HAS SOUPS 8149431 WITH SCORE 8158061.228
AT ITER 774 NEW BEST:: SOT 16545427 SOS 8630228 HAS SOPS 8630228 HAS SOUS 8148697 HAS SOUPS 8148697 WITH SCORE 8157327.228
AT ITER 775 NEW BEST:: SOT 16545427 SOS 8629254 HAS SOPS 8629254 HAS SOUS 8148697 HAS SOUPS 8148697 WITH SCORE 8157326.254
AT ITER 776 NEW BEST:: SOT 16545427 SOS 8629248 HAS SOPS 8629248 HAS SOUS 8148697 HAS SOUPS 8148697 WITH SCORE 8157326.248
AT ITER 783 NEW BEST:: SOT 16545427 SOS 8628373 HAS SOPS 8628373 HAS SOUS 8148697 HAS SOUPS 8148697 WITH SCORE 8157325.373
AT ITER 787 NEW BEST:: SOT 16544902 SOS 8630013 HAS SOPS 8630013 HAS SOUS 8148374 HAS SOUPS 8148374 WITH SCORE 8157004.013
AT ITER 790 NEW BEST:: SOT 16542230 SOS 8647245 HAS SOPS 8647245 HAS SOUS 8147600 HAS SOUPS 8147600 WITH SCORE 8156247.245
AT ITER 792 NEW BEST:: SOT 16542230 SOS 8646922 HAS SOPS 8646922 HAS SOUS 8147600 HAS SOUPS 8147600 WITH SCORE 8156246.922
AT ITER 798 NEW BEST:: SOT 16542042 SOS 8646828 HAS SOPS 8646828 HAS SOUS 8147506 HAS SOUPS 8147506 WITH SCORE 8156152.828
AT ITER 800 NEW BEST:: SOT 16540864 SOS 8645610 HAS SOPS 8645610 HAS SOUS 8146328 HAS SOUPS 8146328 WITH SCORE 8154973.61
AT ITER 802 NEW BEST:: SOT 16540955 SOS 8644636 HAS SOPS 8644636 HAS SOUS 8145294 HAS SOUPS 8145294 WITH SCORE 8153938.636
AT ITER 808 NEW BEST:: SOT 16540158 SOS 8644636 HAS SOPS 8644636 HAS SOUS 8144497 HAS SOUPS 8144497 WITH SCORE 8153141.636
AT ITER 821 NEW BEST:: SOT 16539888 SOS 8644373 HAS SOPS 8644373 HAS SOUS 8144227 HAS SOUPS 8144227 WITH SCORE 8152871.373
AT ITER 823 NEW BEST:: SOT 16536122 SOS 8640899 HAS SOPS 8640899 HAS SOUS 8141431 HAS SOUPS 8141431 WITH SCORE 8150071.899
AT ITER 828 NEW BEST:: SOT 16536161 SOS 8640938 HAS SOPS 8640938 HAS SOUS 8141398 HAS SOUPS 8141398 WITH SCORE 8150038.938
AT ITER 830 NEW BEST:: SOT 16536161 SOS 8640767 HAS SOPS 8640767 HAS SOUS 8141398 HAS SOUPS 8141398 WITH SCORE 8150038.767
AT ITER 834 NEW BEST:: SOT 16535321 SOS 8640479 HAS SOPS 8640479 HAS SOUS 8140558 HAS SOUPS 8140558 WITH SCORE 8149198.479
AT ITER 837 NEW BEST:: SOT 16535256 SOS 8639559 HAS SOPS 8639559 HAS SOUS 8140371 HAS SOUPS 8140371 WITH SCORE 8149010.559
AT ITER 840 NEW BEST:: SOT 16531331 SOS 8635914 HAS SOPS 8635914 HAS SOUS 8136516 HAS SOUPS 8136516 WITH SCORE 8145151.914
AT ITER 854 NEW BEST:: SOT 16531331 SOS 8634943 HAS SOPS 8634943 HAS SOUS 8136516 HAS SOUPS 8136516 WITH SCORE 8145150.943
AT ITER 857 NEW BEST:: SOT 16531331 SOS 8633122 HAS SOPS 8633122 HAS SOUS 8136516 HAS SOUPS 8136516 WITH SCORE 8145149.122
AT ITER 859 NEW BEST:: SOT 16529761 SOS 8637643 HAS SOPS 8637643 HAS SOUS 8136421 HAS SOUPS 8136421 WITH SCORE 8145058.643
AT ITER 866 NEW BEST:: SOT 16525541 SOS 8644310 HAS SOPS 8644310 HAS SOUS 8135850 HAS SOUPS 8135850 WITH SCORE 8144494.31
AT ITER 874 NEW BEST:: SOT 16525541 SOS 8644233 HAS SOPS 8644233 HAS SOUS 8135850 HAS SOUPS 8135850 WITH SCORE 8144494.233
AT ITER 878 NEW BEST:: SOT 16525782 SOS 8644415 HAS SOPS 8644415 HAS SOUS 8135837 HAS SOUPS 8135837 WITH SCORE 8144481.415
AT ITER 884 NEW BEST:: SOT 16525604 SOS 8645127 HAS SOPS 8645127 HAS SOUS 8135659 HAS SOUPS 8135659 WITH SCORE 8144304.127
AT ITER 885 NEW BEST:: SOT 16524480 SOS 8651830 HAS SOPS 8651830 HAS SOUS 8135063 HAS SOUPS 8135063 WITH SCORE 8143714.83
AT ITER 892 NEW BEST:: SOT 16520442 SOS 8670949 HAS SOPS 8670949 HAS SOUS 8132893 HAS SOUPS 8132893 WITH SCORE 8141563.949
AT ITER 896 NEW BEST:: SOT 16520442 SOS 8669924 HAS SOPS 8669924 HAS SOUS 8132893 HAS SOUPS 8132893 WITH SCORE 8141562.924
AT ITER 900 NEW BEST:: SOT 16520386 SOS 8669924 HAS SOPS 8669924 HAS SOUS 8132837 HAS SOUPS 8132837 WITH SCORE 8141506.924
AT ITER 902 NEW BEST:: SOT 16517103 SOS 8669432 HAS SOPS 8669432 HAS SOUS 8129950 HAS SOUPS 8129950 WITH SCORE 8138619.432
AT ITER 907 NEW BEST:: SOT 16517103 SOS 8668934 HAS SOPS 8668934 HAS SOUS 8129950 HAS SOUPS 8129950 WITH SCORE 8138618.934
AT ITER 909 NEW BEST:: SOT 16512087 SOS 8682826 HAS SOPS 8682826 HAS SOUS 8125575 HAS SOUPS 8125575 WITH SCORE 8134257.826
AT ITER 910 NEW BEST:: SOT 16509977 SOS 8681170 HAS SOPS 8681170 HAS SOUS 8123514 HAS SOUPS 8123514 WITH SCORE 8132195.17
AT ITER 912 NEW BEST:: SOT 16509977 SOS 8679923 HAS SOPS 8679923 HAS SOUS 8123514 HAS SOUPS 8123514 WITH SCORE 8132193.923
AT ITER 922 NEW BEST:: SOT 16509977 SOS 8679606 HAS SOPS 8679606 HAS SOUS 8123514 HAS SOUPS 8123514 WITH SCORE 8132193.606
AT ITER 925 NEW BEST:: SOT 16508713 SOS 8678342 HAS SOPS 8678342 HAS SOUS 8122250 HAS SOUPS 8122250 WITH SCORE 8130928.342
AT ITER 931 NEW BEST:: SOT 16508713 SOS 8677333 HAS SOPS 8677333 HAS SOUS 8122250 HAS SOUPS 8122250 WITH SCORE 8130927.333
AT ITER 932 NEW BEST:: SOT 16504284 SOS 8676234 HAS SOPS 8676234 HAS SOUS 8118228 HAS SOUPS 8118228 WITH SCORE 8126904.234
AT ITER 940 NEW BEST:: SOT 16503595 SOS 8675545 HAS SOPS 8675545 HAS SOUS 8117353 HAS SOUPS 8117353 WITH SCORE 8126028.545
AT ITER 947 NEW BEST:: SOT 16503595 SOS 8675235 HAS SOPS 8675235 HAS SOUS 8117353 HAS SOUPS 8117353 WITH SCORE 8126028.235
AT ITER 959 NEW BEST:: SOT 16503595 SOS 8673759 HAS SOPS 8673759 HAS SOUS 8117353 HAS SOUPS 8117353 WITH SCORE 8126026.759
AT ITER 969 NEW BEST:: SOT 16503760 SOS 8673795 HAS SOPS 8673795 HAS SOUS 8117329 HAS SOUPS 8117329 WITH SCORE 8126002.795
AT ITER 977 NEW BEST:: SOT 16502492 SOS 8675862 HAS SOPS 8675862 HAS SOUS 8117024 HAS SOUPS 8117024 WITH SCORE 8125699.862
AT ITER 989 NEW BEST:: SOT 16501193 SOS 8676403 HAS SOPS 8676403 HAS SOUS 8115725 HAS SOUPS 8115725 WITH SCORE 8124401.403
AT ITER 990 NEW BEST:: SOT 16501193 SOS 8675713 HAS SOPS 8675713 HAS SOUS 8115184 HAS SOUPS 8115184 WITH SCORE 8123859.713
AT ITER 993 NEW BEST:: SOT 16497868 SOS 8676193 HAS SOPS 8676193 HAS SOUS 8113043 HAS SOUPS 8113043 WITH SCORE 8121719.193
AT ITER 1000 NEW BEST:: SOT 16494013 SOS 8672753 HAS SOPS 8672753 HAS SOUS 8109528 HAS SOUPS 8109528 WITH SCORE 8118200.753
AT ITER 1005 NEW BEST:: SOT 16494013 SOS 8672319 HAS SOPS 8672319 HAS SOUS 8109528 HAS SOUPS 8109528 WITH SCORE 8118200.319
AT ITER 1006 NEW BEST:: SOT 16494013 SOS 8671649 HAS SOPS 8671649 HAS SOUS 8109528 HAS SOUPS 8109528 WITH SCORE 8118199.649
AT ITER 1007 NEW BEST:: SOT 16494013 SOS 8671422 HAS SOPS 8671422 HAS SOUS 8109528 HAS SOUPS 8109528 WITH SCORE 8118199.422
AT ITER 1011 NEW BEST:: SOT 16493158 SOS 8680680 HAS SOPS 8680680 HAS SOUS 8108681 HAS SOUPS 8108681 WITH SCORE 8117361.68
AT ITER 1013 NEW BEST:: SOT 16492603 SOS 8680363 HAS SOPS 8680363 HAS SOUS 8108364 HAS SOUPS 8108364 WITH SCORE 8117044.363
AT ITER 1021 NEW BEST:: SOT 16492519 SOS 8680279 HAS SOPS 8680279 HAS SOUS 8108280 HAS SOUPS 8108280 WITH SCORE 8116960.279
AT ITER 1022 NEW BEST:: SOT 16492519 SOS 8679783 HAS SOPS 8679783 HAS SOUS 8108280 HAS SOUPS 8108280 WITH SCORE 8116959.783
AT ITER 1031 NEW BEST:: SOT 16492519 SOS 8678572 HAS SOPS 8678572 HAS SOUS 8108280 HAS SOUPS 8108280 WITH SCORE 8116958.572
AT ITER 1041 NEW BEST:: SOT 16492519 SOS 8678442 HAS SOPS 8678442 HAS SOUS 8108280 HAS SOUPS 8108280 WITH SCORE 8116958.442
AT ITER 1049 NEW BEST:: SOT 16492651 SOS 8678466 HAS SOPS 8678466 HAS SOUS 8108199 HAS SOUPS 8108199 WITH SCORE 8116877.466
AT ITER 1053 NEW BEST:: SOT 16492591 SOS 8678406 HAS SOPS 8678406 HAS SOUS 8108196 HAS SOUPS 8108196 WITH SCORE 8116874.406
AT ITER 1065 NEW BEST:: SOT 16488190 SOS 8674366 HAS SOPS 8674366 HAS SOUS 8104013 HAS SOUPS 8104013 WITH SCORE 8112687.366
AT ITER 1068 NEW BEST:: SOT 16488190 SOS 8673832 HAS SOPS 8673832 HAS SOUS 8104013 HAS SOUPS 8104013 WITH SCORE 8112686.832
AT ITER 1076 NEW BEST:: SOT 16488190 SOS 8673791 HAS SOPS 8673791 HAS SOUS 8104013 HAS SOUPS 8104013 WITH SCORE 8112686.791
AT ITER 1077 NEW BEST:: SOT 16487965 SOS 8674057 HAS SOPS 8674057 HAS SOUS 8103831 HAS SOUPS 8103831 WITH SCORE 8112505.057
AT ITER 1080 NEW BEST:: SOT 16487110 SOS 8683832 HAS SOPS 8683832 HAS SOUS 8102996 HAS SOUPS 8102996 WITH SCORE 8111679.832
AT ITER 1089 NEW BEST:: SOT 16487110 SOS 8683487 HAS SOPS 8683487 HAS SOUS 8102800 HAS SOUPS 8102800 WITH SCORE 8111483.487
AT ITER 1090 NEW BEST:: SOT 16486270 SOS 8692905 HAS SOPS 8692905 HAS SOUS 8102761 HAS SOUPS 8102761 WITH SCORE 8111453.905
AT ITER 1091 NEW BEST:: SOT 16486774 SOS 8692813 HAS SOPS 8692813 HAS SOUS 8102620 HAS SOUPS 8102620 WITH SCORE 8111312.813
AT ITER 1094 NEW BEST:: SOT 16485143 SOS 8691182 HAS SOPS 8691182 HAS SOUS 8100989 HAS SOUPS 8100989 WITH SCORE 8109680.182
AT ITER 1099 NEW BEST:: SOT 16485143 SOS 8678415 HAS SOPS 8678415 HAS SOUS 8098922 HAS SOUPS 8098922 WITH SCORE 8107600.415
AT ITER 1132 NEW BEST:: SOT 16485043 SOS 8679333 HAS SOPS 8679333 HAS SOUS 8098850 HAS SOUPS 8098850 WITH SCORE 8107529.333
AT ITER 1134 NEW BEST:: SOT 16479902 SOS 8703254 HAS SOPS 8703254 HAS SOUS 8094322 HAS SOUPS 8094322 WITH SCORE 8103025.254
AT ITER 1137 NEW BEST:: SOT 16479902 SOS 8702973 HAS SOPS 8702973 HAS SOUS 8094322 HAS SOUPS 8094322 WITH SCORE 8103024.973
AT ITER 1139 NEW BEST:: SOT 16477682 SOS 8701176 HAS SOPS 8701176 HAS SOUS 8092773 HAS SOUPS 8092773 WITH SCORE 8101474.176
AT ITER 1147 NEW BEST:: SOT 16475690 SOS 8701035 HAS SOPS 8701035 HAS SOUS 8091234 HAS SOUPS 8091234 WITH SCORE 8099935.035
AT ITER 1150 NEW BEST:: SOT 16475327 SOS 8699948 HAS SOPS 8699948 HAS SOUS 8090087 HAS SOUPS 8090087 WITH SCORE 8098786.948
AT ITER 1151 NEW BEST:: SOT 16474487 SOS 8701288 HAS SOPS 8701288 HAS SOUS 8089412 HAS SOUPS 8089412 WITH SCORE 8098113.288
AT ITER 1152 NEW BEST:: SOT 16470798 SOS 8698442 HAS SOPS 8698442 HAS SOUS 8086011 HAS SOUPS 8086011 WITH SCORE 8094709.442
AT ITER 1154 NEW BEST:: SOT 16471068 SOS 8698712 HAS SOPS 8698712 HAS SOUS 8084766 HAS SOUPS 8084766 WITH SCORE 8093464.712
AT ITER 1155 NEW BEST:: SOT 16469763 SOS 8710941 HAS SOPS 8710941 HAS SOUS 8084558 HAS SOUPS 8084558 WITH SCORE 8093268.941
AT ITER 1163 NEW BEST:: SOT 16469037 SOS 8712579 HAS SOPS 8712579 HAS SOUS 8084101 HAS SOUPS 8084101 WITH SCORE 8092813.579
AT ITER 1175 NEW BEST:: SOT 16468901 SOS 8712443 HAS SOPS 8712443 HAS SOUS 8083965 HAS SOUPS 8083965 WITH SCORE 8092677.443
AT ITER 1177 NEW BEST:: SOT 16467379 SOS 8713965 HAS SOPS 8713965 HAS SOUS 8082443 HAS SOUPS 8082443 WITH SCORE 8091156.965
AT ITER 1179 NEW BEST:: SOT 16467379 SOS 8711982 HAS SOPS 8711982 HAS SOUS 8082443 HAS SOUPS 8082443 WITH SCORE 8091154.982
AT ITER 1182 NEW BEST:: SOT 16463542 SOS 8708531 HAS SOPS 8708531 HAS SOUS 8078812 HAS SOUPS 8078812 WITH SCORE 8087520.531
AT ITER 1185 NEW BEST:: SOT 16463542 SOS 8707539 HAS SOPS 8707539 HAS SOUS 8078812 HAS SOUPS 8078812 WITH SCORE 8087519.539
AT ITER 1193 NEW BEST:: SOT 16463542 SOS 8707215 HAS SOPS 8707215 HAS SOUS 8078812 HAS SOUPS 8078812 WITH SCORE 8087519.215
AT ITER 1198 NEW BEST:: SOT 16463542 SOS 8706938 HAS SOPS 8706938 HAS SOUS 8078812 HAS SOUPS 8078812 WITH SCORE 8087518.938
AT ITER 1206 NEW BEST:: SOT 16463848 SOS 8706687 HAS SOPS 8706687 HAS SOUS 8078411 HAS SOUPS 8078411 WITH SCORE 8087117.687
AT ITER 1217 NEW BEST:: SOT 16462496 SOS 8706590 HAS SOPS 8706590 HAS SOUS 8077759 HAS SOUPS 8077759 WITH SCORE 8086465.59
AT ITER 1218 NEW BEST:: SOT 16462496 SOS 8707192 HAS SOPS 8707192 HAS SOUS 8077591 HAS SOUPS 8077591 WITH SCORE 8086298.192
AT ITER 1219 NEW BEST:: SOT 16460871 SOS 8706652 HAS SOPS 8706652 HAS SOUS 8075966 HAS SOUPS 8075966 WITH SCORE 8084672.652
AT ITER 1221 NEW BEST:: SOT 16460871 SOS 8706025 HAS SOPS 8706025 HAS SOUS 8075966 HAS SOUPS 8075966 WITH SCORE 8084672.025
AT ITER 1227 NEW BEST:: SOT 16460871 SOS 8705275 HAS SOPS 8705275 HAS SOUS 8075966 HAS SOUPS 8075966 WITH SCORE 8084671.275
AT ITER 1231 NEW BEST:: SOT 16460270 SOS 8704674 HAS SOPS 8704674 HAS SOUS 8075365 HAS SOUPS 8075365 WITH SCORE 8084069.674
AT ITER 1237 NEW BEST:: SOT 16460270 SOS 8702667 HAS SOPS 8702667 HAS SOUS 8074488 HAS SOUPS 8074488 WITH SCORE 8083190.667
AT ITER 1240 NEW BEST:: SOT 16454578 SOS 8697391 HAS SOPS 8697391 HAS SOUS 8069137 HAS SOUPS 8069137 WITH SCORE 8077834.391
AT ITER 1255 NEW BEST:: SOT 16452966 SOS 8714896 HAS SOPS 8714896 HAS SOUS 8067865 HAS SOUPS 8067865 WITH SCORE 8076579.896
AT ITER 1256 NEW BEST:: SOT 16452966 SOS 8713855 HAS SOPS 8713855 HAS SOUS 8067865 HAS SOUPS 8067865 WITH SCORE 8076578.855
AT ITER 1257 NEW BEST:: SOT 16447964 SOS 8731242 HAS SOPS 8731242 HAS SOUS 8064558 HAS SOUPS 8064558 WITH SCORE 8073289.242
AT ITER 1260 NEW BEST:: SOT 16447707 SOS 8731283 HAS SOPS 8731283 HAS SOUS 8064301 HAS SOUPS 8064301 WITH SCORE 8073032.283
AT ITER 1265 NEW BEST:: SOT 16447707 SOS 8731276 HAS SOPS 8731276 HAS SOUS 8064301 HAS SOUPS 8064301 WITH SCORE 8073032.276
AT ITER 1266 NEW BEST:: SOT 16447707 SOS 8730772 HAS SOPS 8730772 HAS SOUS 8064301 HAS SOUPS 8064301 WITH SCORE 8073031.772
AT ITER 1267 NEW BEST:: SOT 16447707 SOS 8730009 HAS SOPS 8730009 HAS SOUS 8063916 HAS SOUPS 8063916 WITH SCORE 8072646.009
AT ITER 1272 NEW BEST:: SOT 16447539 SOS 8729841 HAS SOPS 8729841 HAS SOUS 8063810 HAS SOUPS 8063810 WITH SCORE 8072539.841
AT ITER 1280 NEW BEST:: SOT 16447539 SOS 8729286 HAS SOPS 8729286 HAS SOUS 8063810 HAS SOUPS 8063810 WITH SCORE 8072539.286
AT ITER 1281 NEW BEST:: SOT 16442405 SOS 8724560 HAS SOPS 8724560 HAS SOUS 8059024 HAS SOUPS 8059024 WITH SCORE 8067748.56
AT ITER 1283 NEW BEST:: SOT 16442405 SOS 8714307 HAS SOPS 8714307 HAS SOUS 8059024 HAS SOUPS 8059024 WITH SCORE 8067738.307
AT ITER 1284 NEW BEST:: SOT 16441940 SOS 8714173 HAS SOPS 8714173 HAS SOUS 8058890 HAS SOUPS 8058890 WITH SCORE 8067604.173
AT ITER 1286 NEW BEST:: SOT 16441940 SOS 8714059 HAS SOPS 8714059 HAS SOUS 8058890 HAS SOUPS 8058890 WITH SCORE 8067604.059
AT ITER 1290 NEW BEST:: SOT 16440883 SOS 8715029 HAS SOPS 8715029 HAS SOUS 8058152 HAS SOUPS 8058152 WITH SCORE 8066867.029
AT ITER 1296 NEW BEST:: SOT 16439788 SOS 8714640 HAS SOPS 8714640 HAS SOUS 8057246 HAS SOUPS 8057246 WITH SCORE 8065960.64
AT ITER 1299 NEW BEST:: SOT 16439788 SOS 8714516 HAS SOPS 8714516 HAS SOUS 8057246 HAS SOUPS 8057246 WITH SCORE 8065960.516
AT ITER 1306 NEW BEST:: SOT 16438782 SOS 8728836 HAS SOPS 8728836 HAS SOUS 8057228 HAS SOUPS 8057228 WITH SCORE 8065956.836
AT ITER 1307 NEW BEST:: SOT 16438782 SOS 8727908 HAS SOPS 8727908 HAS SOUS 8057228 HAS SOUPS 8057228 WITH SCORE 8065955.908
AT ITER 1309 NEW BEST:: SOT 16438782 SOS 8725135 HAS SOPS 8725135 HAS SOUS 8056949 HAS SOUPS 8056949 WITH SCORE 8065674.135
AT ITER 1313 NEW BEST:: SOT 16438085 SOS 8723668 HAS SOPS 8723668 HAS SOUS 8055978 HAS SOUPS 8055978 WITH SCORE 8064701.668
AT ITER 1322 NEW BEST:: SOT 16435691 SOS 8744804 HAS SOPS 8744804 HAS SOUS 8055180 HAS SOUPS 8055180 WITH SCORE 8063924.804
AT ITER 1329 NEW BEST:: SOT 16432436 SOS 8742403 HAS SOPS 8742403 HAS SOUS 8052668 HAS SOUPS 8052668 WITH SCORE 8061410.403
AT ITER 1334 NEW BEST:: SOT 16429482 SOS 8763207 HAS SOPS 8763207 HAS SOUS 8051124 HAS SOUPS 8051124 WITH SCORE 8059887.207
AT ITER 1352 NEW BEST:: SOT 16428005 SOS 8759335 HAS SOPS 8759335 HAS SOUS 8049422 HAS SOUPS 8049422 WITH SCORE 8058181.335
AT ITER 1362 NEW BEST:: SOT 16427940 SOS 8757988 HAS SOPS 8757988 HAS SOUS 8049266 HAS SOUPS 8049266 WITH SCORE 8058023.988
AT ITER 1364 NEW BEST:: SOT 16427940 SOS 8757863 HAS SOPS 8757863 HAS SOUS 8049266 HAS SOUPS 8049266 WITH SCORE 8058023.863
AT ITER 1370 NEW BEST:: SOT 16427940 SOS 8757863 HAS SOPS 8757863 HAS SOUS 8048943 HAS SOUPS 8048943 WITH SCORE 8057700.863
AT ITER 1375 NEW BEST:: SOT 16427940 SOS 8757472 HAS SOPS 8757472 HAS SOUS 8048943 HAS SOUPS 8048943 WITH SCORE 8057700.472
AT ITER 1377 NEW BEST:: SOT 16424534 SOS 8761719 HAS SOPS 8761719 HAS SOUS 8048485 HAS SOUPS 8048485 WITH SCORE 8057246.719
AT ITER 1379 NEW BEST:: SOT 16424534 SOS 8761604 HAS SOPS 8761604 HAS SOUS 8048485 HAS SOUPS 8048485 WITH SCORE 8057246.604
AT ITER 1382 NEW BEST:: SOT 16424534 SOS 8761604 HAS SOPS 8761604 HAS SOUS 8048291 HAS SOUPS 8048291 WITH SCORE 8057052.604
AT ITER 1386 NEW BEST:: SOT 16424324 SOS 8759881 HAS SOPS 8759881 HAS SOUS 8047801 HAS SOUPS 8047801 WITH SCORE 8056560.881
AT ITER 1388 NEW BEST:: SOT 16424324 SOS 8759698 HAS SOPS 8759698 HAS SOUS 8047801 HAS SOUPS 8047801 WITH SCORE 8056560.698
AT ITER 1390 NEW BEST:: SOT 16424085 SOS 8757449 HAS SOPS 8757449 HAS SOUS 8047334 HAS SOUPS 8047334 WITH SCORE 8056091.449
AT ITER 1399 NEW BEST:: SOT 16424085 SOS 8755691 HAS SOPS 8755691 HAS SOUS 8047334 HAS SOUPS 8047334 WITH SCORE 8056089.691
AT ITER 1404 NEW BEST:: SOT 16424085 SOS 8755383 HAS SOPS 8755383 HAS SOUS 8047334 HAS SOUPS 8047334 WITH SCORE 8056089.383
AT ITER 1407 NEW BEST:: SOT 16424085 SOS 8754418 HAS SOPS 8754418 HAS SOUS 8047334 HAS SOUPS 8047334 WITH SCORE 8056088.418
AT ITER 1409 NEW BEST:: SOT 16424085 SOS 8753151 HAS SOPS 8753151 HAS SOUS 8046067 HAS SOUPS 8046067 WITH SCORE 8054820.151
AT ITER 1414 NEW BEST:: SOT 16424085 SOS 8752779 HAS SOPS 8752779 HAS SOUS 8046067 HAS SOUPS 8046067 WITH SCORE 8054819.779
AT ITER 1425 NEW BEST:: SOT 16424085 SOS 8751969 HAS SOPS 8751969 HAS SOUS 8046067 HAS SOUPS 8046067 WITH SCORE 8054818.969
AT ITER 1428 NEW BEST:: SOT 16419005 SOS 8763542 HAS SOPS 8763542 HAS SOUS 8041272 HAS SOUPS 8041272 WITH SCORE 8050035.542
AT ITER 1433 NEW BEST:: SOT 16417184 SOS 8767805 HAS SOPS 8767805 HAS SOUS 8041188 HAS SOUPS 8041188 WITH SCORE 8049955.805
AT ITER 1435 NEW BEST:: SOT 16417449 SOS 8767487 HAS SOPS 8767487 HAS SOUS 8040555 HAS SOUPS 8040555 WITH SCORE 8049322.487
AT ITER 1442 NEW BEST:: SOT 16417449 SOS 8767315 HAS SOPS 8767315 HAS SOUS 8040555 HAS SOUPS 8040555 WITH SCORE 8049322.315
AT ITER 1445 NEW BEST:: SOT 16417449 SOS 8767221 HAS SOPS 8767221 HAS SOUS 8040530 HAS SOUPS 8040530 WITH SCORE 8049297.221
AT ITER 1447 NEW BEST:: SOT 16415304 SOS 8765219 HAS SOPS 8765219 HAS SOUS 8038528 HAS SOUPS 8038528 WITH SCORE 8047293.219
AT ITER 1453 NEW BEST:: SOT 16413466 SOS 8768166 HAS SOPS 8768166 HAS SOUS 8037475 HAS SOUPS 8037475 WITH SCORE 8046243.166
AT ITER 1454 NEW BEST:: SOT 16413816 SOS 8768231 HAS SOPS 8768231 HAS SOUS 8037375 HAS SOUPS 8037375 WITH SCORE 8046143.231
AT ITER 1459 NEW BEST:: SOT 16413816 SOS 8767860 HAS SOPS 8767860 HAS SOUS 8037375 HAS SOUPS 8037375 WITH SCORE 8046142.86
AT ITER 1463 NEW BEST:: SOT 16413816 SOS 8767766 HAS SOPS 8767766 HAS SOUS 8037375 HAS SOUPS 8037375 WITH SCORE 8046142.766
AT ITER 1464 NEW BEST:: SOT 16413816 SOS 8766241 HAS SOPS 8766241 HAS SOUS 8037375 HAS SOUPS 8037375 WITH SCORE 8046141.241
AT ITER 1465 NEW BEST:: SOT 16413816 SOS 8766108 HAS SOPS 8766108 HAS SOUS 8037313 HAS SOUPS 8037313 WITH SCORE 8046079.108
AT ITER 1473 NEW BEST:: SOT 16413816 SOS 8765603 HAS SOPS 8765603 HAS SOUS 8037313 HAS SOUPS 8037313 WITH SCORE 8046078.603
AT ITER 1479 NEW BEST:: SOT 16414076 SOS 8765818 HAS SOPS 8765818 HAS SOUS 8037303 HAS SOUPS 8037303 WITH SCORE 8046068.818
AT ITER 1481 NEW BEST:: SOT 16414076 SOS 8765524 HAS SOPS 8765524 HAS SOUS 8037303 HAS SOUPS 8037303 WITH SCORE 8046068.524
AT ITER 1482 NEW BEST:: SOT 16414076 SOS 8764937 HAS SOPS 8764937 HAS SOUS 8037303 HAS SOUPS 8037303 WITH SCORE 8046067.937
AT ITER 1486 NEW BEST:: SOT 16414076 SOS 8764158 HAS SOPS 8764158 HAS SOUS 8037266 HAS SOUPS 8037266 WITH SCORE 8046030.158
AT ITER 1491 NEW BEST:: SOT 16413326 SOS 8763783 HAS SOPS 8763783 HAS SOUS 8036516 HAS SOUPS 8036516 WITH SCORE 8045279.783
AT ITER 1493 NEW BEST:: SOT 16412591 SOS 8764221 HAS SOPS 8764221 HAS SOUS 8035872 HAS SOUPS 8035872 WITH SCORE 8044636.221
AT ITER 1494 NEW BEST:: SOT 16409228 SOS 8761202 HAS SOPS 8761202 HAS SOUS 8033130 HAS SOUPS 8033130 WITH SCORE 8041891.202
AT ITER 1495 NEW BEST:: SOT 16409228 SOS 8760764 HAS SOPS 8760764 HAS SOUS 8033130 HAS SOUPS 8033130 WITH SCORE 8041890.764
AT ITER 1497 NEW BEST:: SOT 16409228 SOS 8760291 HAS SOPS 8760291 HAS SOUS 8033130 HAS SOUPS 8033130 WITH SCORE 8041890.291
AT ITER 1505 NEW BEST:: SOT 16409228 SOS 8758674 HAS SOPS 8758674 HAS SOUS 8032891 HAS SOUPS 8032891 WITH SCORE 8041649.674
AT ITER 1506 NEW BEST:: SOT 16409401 SOS 8758640 HAS SOPS 8758640 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041387.64
AT ITER 1507 NEW BEST:: SOT 16409401 SOS 8757364 HAS SOPS 8757364 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041386.364
AT ITER 1508 NEW BEST:: SOT 16409401 SOS 8756549 HAS SOPS 8756549 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041385.549
AT ITER 1513 NEW BEST:: SOT 16409401 SOS 8756359 HAS SOPS 8756359 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041385.359
AT ITER 1515 NEW BEST:: SOT 16409401 SOS 8755795 HAS SOPS 8755795 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041384.795
AT ITER 1516 NEW BEST:: SOT 16409401 SOS 8755185 HAS SOPS 8755185 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041384.185
AT ITER 1528 NEW BEST:: SOT 16409401 SOS 8754415 HAS SOPS 8754415 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041383.415
AT ITER 1529 NEW BEST:: SOT 16409401 SOS 8754052 HAS SOPS 8754052 HAS SOUS 8032629 HAS SOUPS 8032629 WITH SCORE 8041383.052
AT ITER 1537 NEW BEST:: SOT 16408715 SOS 8753134 HAS SOPS 8753134 HAS SOUS 8029409 HAS SOUPS 8029409 WITH SCORE 8038162.134
AT ITER 1538 NEW BEST:: SOT 16407613 SOS 8770357 HAS SOPS 8770357 HAS SOUS 8028635 HAS SOUPS 8028635 WITH SCORE 8037405.357
AT ITER 1539 NEW BEST:: SOT 16407613 SOS 8770103 HAS SOPS 8770103 HAS SOUS 8028381 HAS SOUPS 8028381 WITH SCORE 8037151.103
AT ITER 1547 NEW BEST:: SOT 16405751 SOS 8768929 HAS SOPS 8768929 HAS SOUS 8026957 HAS SOUPS 8026957 WITH SCORE 8035725.929
AT ITER 1548 NEW BEST:: SOT 16405751 SOS 8767328 HAS SOPS 8767328 HAS SOUS 8026957 HAS SOUPS 8026957 WITH SCORE 8035724.328
AT ITER 1564 NEW BEST:: SOT 16400804 SOS 8762820 HAS SOPS 8762820 HAS SOUS 8022419 HAS SOUPS 8022419 WITH SCORE 8031181.82
AT ITER 1565 NEW BEST:: SOT 16396885 SOS 8765444 HAS SOPS 8765444 HAS SOUS 8020740 HAS SOUPS 8020740 WITH SCORE 8029505.444
AT ITER 1568 NEW BEST:: SOT 16396030 SOS 8766220 HAS SOPS 8766220 HAS SOUS 8020624 HAS SOUPS 8020624 WITH SCORE 8029390.22
AT ITER 1572 NEW BEST:: SOT 16396030 SOS 8766044 HAS SOPS 8766044 HAS SOUS 8020624 HAS SOUPS 8020624 WITH SCORE 8029390.044
AT ITER 1576 NEW BEST:: SOT 16396030 SOS 8765842 HAS SOPS 8765842 HAS SOUS 8020624 HAS SOUPS 8020624 WITH SCORE 8029389.842
AT ITER 1589 NEW BEST:: SOT 16396030 SOS 8764887 HAS SOPS 8764887 HAS SOUS 8020624 HAS SOUPS 8020624 WITH SCORE 8029388.887
AT ITER 1590 NEW BEST:: SOT 16396030 SOS 8764194 HAS SOPS 8764194 HAS SOUS 8020624 HAS SOUPS 8020624 WITH SCORE 8029388.194
AT ITER 1592 NEW BEST:: SOT 16396030 SOS 8763568 HAS SOPS 8763568 HAS SOUS 8020321 HAS SOUPS 8020321 WITH SCORE 8029084.568
AT ITER 1593 NEW BEST:: SOT 16393568 SOS 8766752 HAS SOPS 8766752 HAS SOUS 8019233 HAS SOUPS 8019233 WITH SCORE 8027999.752
AT ITER 1596 NEW BEST:: SOT 16390710 SOS 8767479 HAS SOPS 8767479 HAS SOUS 8016828 HAS SOUPS 8016828 WITH SCORE 8025595.479
AT ITER 1598 NEW BEST:: SOT 16386772 SOS 8769755 HAS SOPS 8769755 HAS SOUS 8015502 HAS SOUPS 8015502 WITH SCORE 8024271.755
AT ITER 1600 NEW BEST:: SOT 16382648 SOS 8767592 HAS SOPS 8767592 HAS SOUS 8011741 HAS SOUPS 8011741 WITH SCORE 8020508.592
AT ITER 1603 NEW BEST:: SOT 16382648 SOS 8767266 HAS SOPS 8767266 HAS SOUS 8011741 HAS SOUPS 8011741 WITH SCORE 8020508.266
AT ITER 1616 NEW BEST:: SOT 16377219 SOS 8762241 HAS SOPS 8762241 HAS SOUS 8006641 HAS SOUPS 8006641 WITH SCORE 8015403.241
AT ITER 1618 NEW BEST:: SOT 16377219 SOS 8761995 HAS SOPS 8761995 HAS SOUS 8006641 HAS SOUPS 8006641 WITH SCORE 8015402.995
AT ITER 1625 NEW BEST:: SOT 16372559 SOS 8767875 HAS SOPS 8767875 HAS SOUS 8002519 HAS SOUPS 8002519 WITH SCORE 8011286.875
AT ITER 1630 NEW BEST:: SOT 16372944 SOS 8768153 HAS SOPS 8768153 HAS SOUS 8001672 HAS SOUPS 8001672 WITH SCORE 8010440.153
AT ITER 1631 NEW BEST:: SOT 16372484 SOS 8770491 HAS SOPS 8770491 HAS SOUS 8001573 HAS SOUPS 8001573 WITH SCORE 8010343.491
AT ITER 1632 NEW BEST:: SOT 16372962 SOS 8770969 HAS SOPS 8770969 HAS SOUS 8000793 HAS SOUPS 8000793 WITH SCORE 8009563.969
AT ITER 1637 NEW BEST:: SOT 16369565 SOS 8767572 HAS SOPS 8767572 HAS SOUS 7999301 HAS SOUPS 7999301 WITH SCORE 8008068.572
AT ITER 1640 NEW BEST:: SOT 16368728 SOS 8766981 HAS SOPS 8766981 HAS SOUS 7998710 HAS SOUPS 7998710 WITH SCORE 8007476.981
AT ITER 1650 NEW BEST:: SOT 16368638 SOS 8766801 HAS SOPS 8766801 HAS SOUS 7998530 HAS SOUPS 7998530 WITH SCORE 8007296.801
AT ITER 1654 NEW BEST:: SOT 16363840 SOS 8762722 HAS SOPS 8762722 HAS SOUS 7994505 HAS SOUPS 7994505 WITH SCORE 8003267.722
AT ITER 1658 NEW BEST:: SOT 16359384 SOS 8759280 HAS SOPS 8759280 HAS SOUS 7990133 HAS SOUPS 7990133 WITH SCORE 7998892.28
AT ITER 1660 NEW BEST:: SOT 16360038 SOS 8761447 HAS SOPS 8761447 HAS SOUS 7990080 HAS SOUPS 7990080 WITH SCORE 7998841.447
AT ITER 1662 NEW BEST:: SOT 16360038 SOS 8761045 HAS SOPS 8761045 HAS SOUS 7989678 HAS SOUPS 7989678 WITH SCORE 7998439.045
AT ITER 1663 NEW BEST:: SOT 16359912 SOS 8760919 HAS SOPS 8760919 HAS SOUS 7989552 HAS SOUPS 7989552 WITH SCORE 7998312.919
AT ITER 1667 NEW BEST:: SOT 16357908 SOS 8758915 HAS SOPS 8758915 HAS SOUS 7987546 HAS SOUPS 7987546 WITH SCORE 7996304.915
AT ITER 1671 NEW BEST:: SOT 16357908 SOS 8758166 HAS SOPS 8758166 HAS SOUS 7987546 HAS SOUPS 7987546 WITH SCORE 7996304.166
AT ITER 1674 NEW BEST:: SOT 16355410 SOS 8771320 HAS SOPS 8771320 HAS SOUS 7987470 HAS SOUPS 7987470 WITH SCORE 7996241.32
AT ITER 1676 NEW BEST:: SOT 16354701 SOS 8770611 HAS SOPS 8770611 HAS SOUS 7986761 HAS SOUPS 7986761 WITH SCORE 7995531.611
AT ITER 1678 NEW BEST:: SOT 16350454 SOS 8767181 HAS SOPS 8767181 HAS SOUS 7982932 HAS SOUPS 7982932 WITH SCORE 7991699.181
AT ITER 1683 NEW BEST:: SOT 16350454 SOS 8766450 HAS SOPS 8766450 HAS SOUS 7982932 HAS SOUPS 7982932 WITH SCORE 7991698.45
AT ITER 1686 NEW BEST:: SOT 16347975 SOS 8764980 HAS SOPS 8764980 HAS SOUS 7980755 HAS SOUPS 7980755 WITH SCORE 7989519.98
AT ITER 1701 NEW BEST:: SOT 16347975 SOS 8764336 HAS SOPS 8764336 HAS SOUS 7980755 HAS SOUPS 7980755 WITH SCORE 7989519.336
AT ITER 1704 NEW BEST:: SOT 16347975 SOS 8764077 HAS SOPS 8764077 HAS SOUS 7980755 HAS SOUPS 7980755 WITH SCORE 7989519.077
AT ITER 1707 NEW BEST:: SOT 16347975 SOS 8763290 HAS SOPS 8763290 HAS SOUS 7979641 HAS SOUPS 7979641 WITH SCORE 7988404.29
AT ITER 1712 NEW BEST:: SOT 16348049 SOS 8762867 HAS SOPS 8762867 HAS SOUS 7978815 HAS SOUPS 7978815 WITH SCORE 7987577.867
AT ITER 1714 NEW BEST:: SOT 16346800 SOS 8762330 HAS SOPS 8762330 HAS SOUS 7977742 HAS SOUPS 7977742 WITH SCORE 7986504.33
AT ITER 1722 NEW BEST:: SOT 16342658 SOS 8778810 HAS SOPS 8778810 HAS SOUS 7977645 HAS SOUPS 7977645 WITH SCORE 7986423.81
AT ITER 1727 NEW BEST:: SOT 16342658 SOS 8776539 HAS SOPS 8776539 HAS SOUS 7977645 HAS SOUPS 7977645 WITH SCORE 7986421.539
AT ITER 1736 NEW BEST:: SOT 16341899 SOS 8779083 HAS SOPS 8779083 HAS SOUS 7976886 HAS SOUPS 7976886 WITH SCORE 7985665.083
AT ITER 1742 NEW BEST:: SOT 16341434 SOS 8779300 HAS SOPS 8779300 HAS SOUS 7976522 HAS SOUPS 7976522 WITH SCORE 7985301.3
AT ITER 1744 NEW BEST:: SOT 16341289 SOS 8778696 HAS SOPS 8778696 HAS SOUS 7976430 HAS SOUPS 7976430 WITH SCORE 7985208.696
AT ITER 1745 NEW BEST:: SOT 16341289 SOS 8778181 HAS SOPS 8778181 HAS SOUS 7976430 HAS SOUPS 7976430 WITH SCORE 7985208.181
AT ITER 1747 NEW BEST:: SOT 16341289 SOS 8778162 HAS SOPS 8778162 HAS SOUS 7976430 HAS SOUPS 7976430 WITH SCORE 7985208.162
AT ITER 1749 NEW BEST:: SOT 16341289 SOS 8777586 HAS SOPS 8777586 HAS SOUS 7976430 HAS SOUPS 7976430 WITH SCORE 7985207.586
AT ITER 1751 NEW BEST:: SOT 16341289 SOS 8776959 HAS SOPS 8776959 HAS SOUS 7976430 HAS SOUPS 7976430 WITH SCORE 7985206.959
AT ITER 1754 NEW BEST:: SOT 16341289 SOS 8775984 HAS SOPS 8775984 HAS SOUS 7976178 HAS SOUPS 7976178 WITH SCORE 7984953.984
AT ITER 1768 NEW BEST:: SOT 16337718 SOS 8773588 HAS SOPS 8773588 HAS SOUS 7973402 HAS SOUPS 7973402 WITH SCORE 7982175.588
AT ITER 1769 NEW BEST:: SOT 16337606 SOS 8773932 HAS SOPS 8773932 HAS SOUS 7973118 HAS SOUPS 7973118 WITH SCORE 7981891.932
AT ITER 1770 NEW BEST:: SOT 16337606 SOS 8773074 HAS SOPS 8773074 HAS SOUS 7973118 HAS SOUPS 7973118 WITH SCORE 7981891.074
AT ITER 1775 NEW BEST:: SOT 16337755 SOS 8773114 HAS SOPS 8773114 HAS SOUS 7972948 HAS SOUPS 7972948 WITH SCORE 7981721.114
AT ITER 1780 NEW BEST:: SOT 16337755 SOS 8772222 HAS SOPS 8772222 HAS SOUS 7972084 HAS SOUPS 7972084 WITH SCORE 7980856.222
AT ITER 1783 NEW BEST:: SOT 16331921 SOS 8768267 HAS SOPS 8768267 HAS SOUS 7966650 HAS SOUPS 7966650 WITH SCORE 7975418.267
AT ITER 1784 NEW BEST:: SOT 16331921 SOS 8767906 HAS SOPS 8767906 HAS SOUS 7966650 HAS SOUPS 7966650 WITH SCORE 7975417.906
AT ITER 1786 NEW BEST:: SOT 16326663 SOS 8805241 HAS SOPS 8805241 HAS SOUS 7962105 HAS SOUPS 7962105 WITH SCORE 7970910.241
AT ITER 1787 NEW BEST:: SOT 16326663 SOS 8804961 HAS SOPS 8804961 HAS SOUS 7962105 HAS SOUPS 7962105 WITH SCORE 7970909.961
AT ITER 1788 NEW BEST:: SOT 16325752 SOS 8813345 HAS SOPS 8813345 HAS SOUS 7961730 HAS SOUPS 7961730 WITH SCORE 7970543.345
AT ITER 1792 NEW BEST:: SOT 16325752 SOS 8813247 HAS SOPS 8813247 HAS SOUS 7961730 HAS SOUPS 7961730 WITH SCORE 7970543.247
AT ITER 1793 NEW BEST:: SOT 16324668 SOS 8831700 HAS SOPS 8831700 HAS SOUS 7961682 HAS SOUPS 7961682 WITH SCORE 7970513.7
AT ITER 1802 NEW BEST:: SOT 16324874 SOS 8831426 HAS SOPS 8831426 HAS SOUS 7961582 HAS SOUPS 7961582 WITH SCORE 7970413.426
AT ITER 1804 NEW BEST:: SOT 16324874 SOS 8831138 HAS SOPS 8831138 HAS SOUS 7961582 HAS SOUPS 7961582 WITH SCORE 7970413.138
AT ITER 1805 NEW BEST:: SOT 16324874 SOS 8830378 HAS SOPS 8830378 HAS SOUS 7961464 HAS SOUPS 7961464 WITH SCORE 7970294.378
AT ITER 1808 NEW BEST:: SOT 16324889 SOS 8828883 HAS SOPS 8828883 HAS SOUS 7961156 HAS SOUPS 7961156 WITH SCORE 7969984.883
AT ITER 1811 NEW BEST:: SOT 16323800 SOS 8828730 HAS SOPS 8828730 HAS SOUS 7960456 HAS SOUPS 7960456 WITH SCORE 7969284.73
AT ITER 1819 NEW BEST:: SOT 16323800 SOS 8827215 HAS SOPS 8827215 HAS SOUS 7960355 HAS SOUPS 7960355 WITH SCORE 7969182.215
AT ITER 1827 NEW BEST:: SOT 16318358 SOS 8830281 HAS SOPS 8830281 HAS SOUS 7955818 HAS SOUPS 7955818 WITH SCORE 7964648.281
AT ITER 1828 NEW BEST:: SOT 16314056 SOS 8827445 HAS SOPS 8827445 HAS SOUS 7951812 HAS SOUPS 7951812 WITH SCORE 7960639.445
AT ITER 1841 NEW BEST:: SOT 16310200 SOS 8825190 HAS SOPS 8825190 HAS SOUS 7948497 HAS SOUPS 7948497 WITH SCORE 7957322.19
AT ITER 1848 NEW BEST:: SOT 16305378 SOS 8852501 HAS SOPS 8852501 HAS SOUS 7945243 HAS SOUPS 7945243 WITH SCORE 7954095.501
AT ITER 1849 NEW BEST:: SOT 16305117 SOS 8852240 HAS SOPS 8852240 HAS SOUS 7942417 HAS SOUPS 7942417 WITH SCORE 7951269.24
AT ITER 1851 NEW BEST:: SOT 16305117 SOS 8850753 HAS SOPS 8850753 HAS SOUS 7942417 HAS SOUPS 7942417 WITH SCORE 7951267.753
AT ITER 1854 NEW BEST:: SOT 16305664 SOS 8847630 HAS SOPS 8847630 HAS SOUS 7942179 HAS SOUPS 7942179 WITH SCORE 7951026.63
AT ITER 1859 NEW BEST:: SOT 16305651 SOS 8847617 HAS SOPS 8847617 HAS SOUS 7942028 HAS SOUPS 7942028 WITH SCORE 7950875.617
AT ITER 1873 NEW BEST:: SOT 16305651 SOS 8840193 HAS SOPS 8840193 HAS SOUS 7942028 HAS SOUPS 7942028 WITH SCORE 7950868.193
AT ITER 1874 NEW BEST:: SOT 16305651 SOS 8839663 HAS SOPS 8839663 HAS SOUS 7942028 HAS SOUPS 7942028 WITH SCORE 7950867.663
AT ITER 1879 NEW BEST:: SOT 16305651 SOS 8839089 HAS SOPS 8839089 HAS SOUS 7942028 HAS SOUPS 7942028 WITH SCORE 7950867.089
AT ITER 1880 NEW BEST:: SOT 16305651 SOS 8838922 HAS SOPS 8838922 HAS SOUS 7942028 HAS SOUPS 7942028 WITH SCORE 7950866.922
AT ITER 1882 NEW BEST:: SOT 16305640 SOS 8838918 HAS SOPS 8838918 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950682.918
AT ITER 1887 NEW BEST:: SOT 16305640 SOS 8837529 HAS SOPS 8837529 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950681.529
AT ITER 1900 NEW BEST:: SOT 16305640 SOS 8837492 HAS SOPS 8837492 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950681.492
AT ITER 1901 NEW BEST:: SOT 16305640 SOS 8836888 HAS SOPS 8836888 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950680.888
AT ITER 1902 NEW BEST:: SOT 16305640 SOS 8836679 HAS SOPS 8836679 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950680.679
AT ITER 1906 NEW BEST:: SOT 16305640 SOS 8836455 HAS SOPS 8836455 HAS SOUS 7941844 HAS SOUPS 7941844 WITH SCORE 7950680.455
AT ITER 1908 NEW BEST:: SOT 16302127 SOS 8837758 HAS SOPS 8837758 HAS SOUS 7940834 HAS SOUPS 7940834 WITH SCORE 7949671.758
AT ITER 1912 NEW BEST:: SOT 16301418 SOS 8837049 HAS SOPS 8837049 HAS SOUS 7940125 HAS SOUPS 7940125 WITH SCORE 7948962.049
AT ITER 1922 NEW BEST:: SOT 16298517 SOS 8834323 HAS SOPS 8834323 HAS SOUS 7939174 HAS SOUPS 7939174 WITH SCORE 7948008.323
AT ITER 1927 NEW BEST:: SOT 16298517 SOS 8833084 HAS SOPS 8833084 HAS SOUS 7938415 HAS SOUPS 7938415 WITH SCORE 7947248.084
AT ITER 1930 NEW BEST:: SOT 16298455 SOS 8833022 HAS SOPS 8833022 HAS SOUS 7938353 HAS SOUPS 7938353 WITH SCORE 7947186.022
AT ITER 1932 NEW BEST:: SOT 16297335 SOS 8833022 HAS SOPS 8833022 HAS SOUS 7937233 HAS SOUPS 7937233 WITH SCORE 7946066.022
AT ITER 1945 NEW BEST:: SOT 16297335 SOS 8833002 HAS SOPS 8833002 HAS SOUS 7937153 HAS SOUPS 7937153 WITH SCORE 7945986.002
AT ITER 1952 NEW BEST:: SOT 16297335 SOS 8832878 HAS SOPS 8832878 HAS SOUS 7937153 HAS SOUPS 7937153 WITH SCORE 7945985.878
AT ITER 1955 NEW BEST:: SOT 16297335 SOS 8831091 HAS SOPS 8831091 HAS SOUS 7936658 HAS SOUPS 7936658 WITH SCORE 7945489.091
AT ITER 1958 NEW BEST:: SOT 16292595 SOS 8828038 HAS SOPS 8828038 HAS SOUS 7933395 HAS SOUPS 7933395 WITH SCORE 7942223.038
AT ITER 1982 NEW BEST:: SOT 16292595 SOS 8827224 HAS SOPS 8827224 HAS SOUS 7933185 HAS SOUPS 7933185 WITH SCORE 7942012.224
AT ITER 1991 NEW BEST:: SOT 16291963 SOS 8826574 HAS SOPS 8826574 HAS SOUS 7932144 HAS SOUPS 7932144 WITH SCORE 7940970.574
AT ITER 1992 NEW BEST:: SOT 16291963 SOS 8826274 HAS SOPS 8826274 HAS SOUS 7932144 HAS SOUPS 7932144 WITH SCORE 7940970.274
AT ITER 1995 NEW BEST:: SOT 16291963 SOS 8825308 HAS SOPS 8825308 HAS SOUS 7932144 HAS SOUPS 7932144 WITH SCORE 7940969.308
AT ITER 1996 NEW BEST:: SOT 16294429 SOS 8822501 HAS SOPS 8822501 HAS SOUS 7932048 HAS SOUPS 7932048 WITH SCORE 7940870.501
AT ITER 2004 NEW BEST:: SOT 16294429 SOS 8820391 HAS SOPS 8820391 HAS SOUS 7932048 HAS SOUPS 7932048 WITH SCORE 7940868.391
AT ITER 2007 NEW BEST:: SOT 16292112 SOS 8823110 HAS SOPS 8823110 HAS SOUS 7929756 HAS SOUPS 7929756 WITH SCORE 7938579.11
AT ITER 2008 NEW BEST:: SOT 16292002 SOS 8823018 HAS SOPS 8823018 HAS SOUS 7929653 HAS SOUPS 7929653 WITH SCORE 7938476.018
AT ITER 2009 NEW BEST:: SOT 16291671 SOS 8822687 HAS SOPS 8822687 HAS SOUS 7929617 HAS SOUPS 7929617 WITH SCORE 7938439.687
AT ITER 2010 NEW BEST:: SOT 16291671 SOS 8822570 HAS SOPS 8822570 HAS SOUS 7929617 HAS SOUPS 7929617 WITH SCORE 7938439.57
AT ITER 2011 NEW BEST:: SOT 16291397 SOS 8824894 HAS SOPS 8824894 HAS SOUS 7929343 HAS SOUPS 7929343 WITH SCORE 7938167.894
AT ITER 2014 NEW BEST:: SOT 16291397 SOS 8824552 HAS SOPS 8824552 HAS SOUS 7929343 HAS SOUPS 7929343 WITH SCORE 7938167.552
AT ITER 2015 NEW BEST:: SOT 16291397 SOS 8824060 HAS SOPS 8824060 HAS SOUS 7929343 HAS SOUPS 7929343 WITH SCORE 7938167.06
AT ITER 2016 NEW BEST:: SOT 16291397 SOS 8823224 HAS SOPS 8823224 HAS SOUS 7929343 HAS SOUPS 7929343 WITH SCORE 7938166.224
AT ITER 2019 NEW BEST:: SOT 16291395 SOS 8823218 HAS SOPS 8823218 HAS SOUS 7929341 HAS SOUPS 7929341 WITH SCORE 7938164.218
AT ITER 2021 NEW BEST:: SOT 16291395 SOS 8823229 HAS SOPS 8823229 HAS SOUS 7929330 HAS SOUPS 7929330 WITH SCORE 7938153.229
AT ITER 2024 NEW BEST:: SOT 16289058 SOS 8832620 HAS SOPS 8832620 HAS SOUS 7927897 HAS SOUPS 7927897 WITH SCORE 7936729.62
AT ITER 2025 NEW BEST:: SOT 16288788 SOS 8832350 HAS SOPS 8832350 HAS SOUS 7927627 HAS SOUPS 7927627 WITH SCORE 7936459.35
AT ITER 2027 NEW BEST:: SOT 16288788 SOS 8832301 HAS SOPS 8832301 HAS SOUS 7927627 HAS SOUPS 7927627 WITH SCORE 7936459.301
AT ITER 2034 NEW BEST:: SOT 16288788 SOS 8832301 HAS SOPS 8832301 HAS SOUS 7927614 HAS SOUPS 7927614 WITH SCORE 7936446.301
AT ITER 2037 NEW BEST:: SOT 16285889 SOS 8829297 HAS SOPS 8829297 HAS SOUS 7924459 HAS SOUPS 7924459 WITH SCORE 7933288.297
AT ITER 2038 NEW BEST:: SOT 16280568 SOS 8853376 HAS SOPS 8853376 HAS SOUS 7923769 HAS SOUPS 7923769 WITH SCORE 7932622.376
AT ITER 2046 NEW BEST:: SOT 16280018 SOS 8853376 HAS SOPS 8853376 HAS SOUS 7923494 HAS SOUPS 7923494 WITH SCORE 7932347.376
AT ITER 2051 NEW BEST:: SOT 16280018 SOS 8853376 HAS SOPS 8853376 HAS SOUS 7923402 HAS SOUPS 7923402 WITH SCORE 7932255.376
AT ITER 2056 NEW BEST:: SOT 16273268 SOS 8847495 HAS SOPS 8847495 HAS SOUS 7918163 HAS SOUPS 7918163 WITH SCORE 7927010.495
AT ITER 2057 NEW BEST:: SOT 16271091 SOS 8852049 HAS SOPS 8852049 HAS SOUS 7917641 HAS SOUPS 7917641 WITH SCORE 7926493.049
AT ITER 2059 NEW BEST:: SOT 16270622 SOS 8851580 HAS SOPS 8851580 HAS SOUS 7917172 HAS SOUPS 7917172 WITH SCORE 7926023.58
AT ITER 2064 NEW BEST:: SOT 16270622 SOS 8850757 HAS SOPS 8850757 HAS SOUS 7917172 HAS SOUPS 7917172 WITH SCORE 7926022.757
AT ITER 2066 NEW BEST:: SOT 16268860 SOS 8848995 HAS SOPS 8848995 HAS SOUS 7915293 HAS SOUPS 7915293 WITH SCORE 7924141.995
AT ITER 2068 NEW BEST:: SOT 16269198 SOS 8848280 HAS SOPS 8848280 HAS SOUS 7914248 HAS SOUPS 7914248 WITH SCORE 7923096.28
AT ITER 2072 NEW BEST:: SOT 16269198 SOS 8847686 HAS SOPS 8847686 HAS SOUS 7914248 HAS SOUPS 7914248 WITH SCORE 7923095.686
AT ITER 2079 NEW BEST:: SOT 16269237 SOS 8847813 HAS SOPS 8847813 HAS SOUS 7914195 HAS SOUPS 7914195 WITH SCORE 7923042.813
AT ITER 2082 NEW BEST:: SOT 16269237 SOS 8847395 HAS SOPS 8847395 HAS SOUS 7914053 HAS SOUPS 7914053 WITH SCORE 7922900.395
AT ITER 2086 NEW BEST:: SOT 16264623 SOS 8843611 HAS SOPS 8843611 HAS SOUS 7910431 HAS SOUPS 7910431 WITH SCORE 7919274.611
AT ITER 2090 NEW BEST:: SOT 16264213 SOS 8844666 HAS SOPS 8844666 HAS SOUS 7910021 HAS SOUPS 7910021 WITH SCORE 7918865.666
AT ITER 2091 NEW BEST:: SOT 16264213 SOS 8843715 HAS SOPS 8843715 HAS SOUS 7908956 HAS SOUPS 7908956 WITH SCORE 7917799.715
AT ITER 2093 NEW BEST:: SOT 16263810 SOS 8845716 HAS SOPS 8845716 HAS SOUS 7908798 HAS SOUPS 7908798 WITH SCORE 7917643.716
AT ITER 2097 NEW BEST:: SOT 16262318 SOS 8852754 HAS SOPS 8852754 HAS SOUS 7908012 HAS SOUPS 7908012 WITH SCORE 7916864.754
AT ITER 2098 NEW BEST:: SOT 16262318 SOS 8852505 HAS SOPS 8852505 HAS SOUS 7907763 HAS SOUPS 7907763 WITH SCORE 7916615.505
AT ITER 2101 NEW BEST:: SOT 16262318 SOS 8852275 HAS SOPS 8852275 HAS SOUS 7907763 HAS SOUPS 7907763 WITH SCORE 7916615.275
AT ITER 2113 NEW BEST:: SOT 16262318 SOS 8852064 HAS SOPS 8852064 HAS SOUS 7907763 HAS SOUPS 7907763 WITH SCORE 7916615.064
AT ITER 2115 NEW BEST:: SOT 16262318 SOS 8851347 HAS SOPS 8851347 HAS SOUS 7907763 HAS SOUPS 7907763 WITH SCORE 7916614.347
AT ITER 2119 NEW BEST:: SOT 16262318 SOS 8851115 HAS SOPS 8851115 HAS SOUS 7907763 HAS SOUPS 7907763 WITH SCORE 7916614.115
AT ITER 2125 NEW BEST:: SOT 16260139 SOS 8851474 HAS SOPS 8851474 HAS SOUS 7906178 HAS SOUPS 7906178 WITH SCORE 7915029.474
AT ITER 2135 NEW BEST:: SOT 16260139 SOS 8851458 HAS SOPS 8851458 HAS SOUS 7906178 HAS SOUPS 7906178 WITH SCORE 7915029.458
AT ITER 2137 NEW BEST:: SOT 16255926 SOS 8848880 HAS SOPS 8848880 HAS SOUS 7903673 HAS SOUPS 7903673 WITH SCORE 7912521.88
AT ITER 2139 NEW BEST:: SOT 16250046 SOS 8844295 HAS SOPS 8844295 HAS SOUS 7899333 HAS SOUPS 7899333 WITH SCORE 7908177.295
AT ITER 2147 NEW BEST:: SOT 16249219 SOS 8843947 HAS SOPS 8843947 HAS SOUS 7899046 HAS SOUPS 7899046 WITH SCORE 7907889.947
AT ITER 2153 NEW BEST:: SOT 16249219 SOS 8843572 HAS SOPS 8843572 HAS SOUS 7899046 HAS SOUPS 7899046 WITH SCORE 7907889.572
AT ITER 2156 NEW BEST:: SOT 16249219 SOS 8842571 HAS SOPS 8842571 HAS SOUS 7899046 HAS SOUPS 7899046 WITH SCORE 7907888.571
AT ITER 2158 NEW BEST:: SOT 16249219 SOS 8842212 HAS SOPS 8842212 HAS SOUS 7899046 HAS SOUPS 7899046 WITH SCORE 7907888.212
AT ITER 2160 NEW BEST:: SOT 16247885 SOS 8848721 HAS SOPS 8848721 HAS SOUS 7898653 HAS SOUPS 7898653 WITH SCORE 7907501.721
AT ITER 2164 NEW BEST:: SOT 16244550 SOS 8845752 HAS SOPS 8845752 HAS SOUS 7895630 HAS SOUPS 7895630 WITH SCORE 7904475.752
AT ITER 2170 NEW BEST:: SOT 16243365 SOS 8844734 HAS SOPS 8844734 HAS SOUS 7894491 HAS SOUPS 7894491 WITH SCORE 7903335.734
AT ITER 2176 NEW BEST:: SOT 16243179 SOS 8846753 HAS SOPS 8846753 HAS SOUS 7894305 HAS SOUPS 7894305 WITH SCORE 7903151.753
AT ITER 2177 NEW BEST:: SOT 16243179 SOS 8846297 HAS SOPS 8846297 HAS SOUS 7894267 HAS SOUPS 7894267 WITH SCORE 7903113.297
AT ITER 2181 NEW BEST:: SOT 16243179 SOS 8845964 HAS SOPS 8845964 HAS SOUS 7894267 HAS SOUPS 7894267 WITH SCORE 7903112.964
AT ITER 2183 NEW BEST:: SOT 16243179 SOS 8845498 HAS SOPS 8845498 HAS SOUS 7894267 HAS SOUPS 7894267 WITH SCORE 7903112.498
AT ITER 2188 NEW BEST:: SOT 16243179 SOS 8831747 HAS SOPS 8831747 HAS SOUS 7893952 HAS SOUPS 7893952 WITH SCORE 7902783.747
AT ITER 2193 NEW BEST:: SOT 16243179 SOS 8831290 HAS SOPS 8831290 HAS SOUS 7893952 HAS SOUPS 7893952 WITH SCORE 7902783.29
AT ITER 2195 NEW BEST:: SOT 16243179 SOS 8831101 HAS SOPS 8831101 HAS SOUS 7893952 HAS SOUPS 7893952 WITH SCORE 7902783.101
AT ITER 2197 NEW BEST:: SOT 16243179 SOS 8830834 HAS SOPS 8830834 HAS SOUS 7893952 HAS SOUPS 7893952 WITH SCORE 7902782.834
AT ITER 2199 NEW BEST:: SOT 16242511 SOS 8830289 HAS SOPS 8830289 HAS SOUS 7893284 HAS SOUPS 7893284 WITH SCORE 7902114.289
AT ITER 2203 NEW BEST:: SOT 16241631 SOS 8830289 HAS SOPS 8830289 HAS SOUS 7892404 HAS SOUPS 7892404 WITH SCORE 7901234.289
AT ITER 2205 NEW BEST:: SOT 16241631 SOS 8829225 HAS SOPS 8829225 HAS SOUS 7892404 HAS SOUPS 7892404 WITH SCORE 7901233.225
AT ITER 2207 NEW BEST:: SOT 16232559 SOS 8838336 HAS SOPS 8838336 HAS SOUS 7886559 HAS SOUPS 7886559 WITH SCORE 7895397.336
AT ITER 2208 NEW BEST:: SOT 16230719 SOS 8838837 HAS SOPS 8838837 HAS SOUS 7884772 HAS SOUPS 7884772 WITH SCORE 7893610.837
AT ITER 2209 NEW BEST:: SOT 16229190 SOS 8838719 HAS SOPS 8838719 HAS SOUS 7883243 HAS SOUPS 7883243 WITH SCORE 7892081.719
AT ITER 2217 NEW BEST:: SOT 16225861 SOS 8841227 HAS SOPS 8841227 HAS SOUS 7882211 HAS SOUPS 7882211 WITH SCORE 7891052.227
AT ITER 2225 NEW BEST:: SOT 16225510 SOS 8840421 HAS SOPS 8840421 HAS SOUS 7881155 HAS SOUPS 7881155 WITH SCORE 7889995.421
AT ITER 2233 NEW BEST:: SOT 16225041 SOS 8840313 HAS SOPS 8840313 HAS SOUS 7881047 HAS SOUPS 7881047 WITH SCORE 7889887.313
AT ITER 2234 NEW BEST:: SOT 16224400 SOS 8841704 HAS SOPS 8841704 HAS SOUS 7880906 HAS SOUPS 7880906 WITH SCORE 7889747.704
AT ITER 2241 NEW BEST:: SOT 16224400 SOS 8841501 HAS SOPS 8841501 HAS SOUS 7880906 HAS SOUPS 7880906 WITH SCORE 7889747.501
AT ITER 2245 NEW BEST:: SOT 16218524 SOS 8844210 HAS SOPS 8844210 HAS SOUS 7875843 HAS SOUPS 7875843 WITH SCORE 7884687.21
AT ITER 2247 NEW BEST:: SOT 16213063 SOS 8841296 HAS SOPS 8841296 HAS SOUS 7871624 HAS SOUPS 7871624 WITH SCORE 7880465.296
AT ITER 2249 NEW BEST:: SOT 16213210 SOS 8841324 HAS SOPS 8841324 HAS SOUS 7871442 HAS SOUPS 7871442 WITH SCORE 7880283.324
AT ITER 2251 NEW BEST:: SOT 16213287 SOS 8841349 HAS SOPS 8841349 HAS SOUS 7871418 HAS SOUPS 7871418 WITH SCORE 7880259.349
AT ITER 2260 NEW BEST:: SOT 16213287 SOS 8840396 HAS SOPS 8840396 HAS SOUS 7871418 HAS SOUPS 7871418 WITH SCORE 7880258.396
AT ITER 2262 NEW BEST:: SOT 16212555 SOS 8840786 HAS SOPS 8840786 HAS SOUS 7871119 HAS SOUPS 7871119 WITH SCORE 7879959.786
AT ITER 2267 NEW BEST:: SOT 16212555 SOS 8840557 HAS SOPS 8840557 HAS SOUS 7871119 HAS SOUPS 7871119 WITH SCORE 7879959.557
AT ITER 2278 NEW BEST:: SOT 16210059 SOS 8840902 HAS SOPS 8840902 HAS SOUS 7869795 HAS SOUPS 7869795 WITH SCORE 7878635.902
AT ITER 2282 NEW BEST:: SOT 16210059 SOS 8840411 HAS SOPS 8840411 HAS SOUS 7869795 HAS SOUPS 7869795 WITH SCORE 7878635.411
AT ITER 2284 NEW BEST:: SOT 16205604 SOS 8837592 HAS SOPS 8837592 HAS SOUS 7866624 HAS SOUPS 7866624 WITH SCORE 7875461.592
AT ITER 2297 NEW BEST:: SOT 16205604 SOS 8836905 HAS SOPS 8836905 HAS SOUS 7866624 HAS SOUPS 7866624 WITH SCORE 7875460.905
AT ITER 2300 NEW BEST:: SOT 16205604 SOS 8836070 HAS SOPS 8836070 HAS SOUS 7866547 HAS SOUPS 7866547 WITH SCORE 7875383.07
AT ITER 2301 NEW BEST:: SOT 16200551 SOS 8832773 HAS SOPS 8832773 HAS SOUS 7861813 HAS SOUPS 7861813 WITH SCORE 7870645.773
AT ITER 2305 NEW BEST:: SOT 16200551 SOS 8831477 HAS SOPS 8831477 HAS SOUS 7861813 HAS SOUPS 7861813 WITH SCORE 7870644.477
AT ITER 2308 NEW BEST:: SOT 16200441 SOS 8827325 HAS SOPS 8827325 HAS SOUS 7860570 HAS SOUPS 7860570 WITH SCORE 7869397.325
AT ITER 2311 NEW BEST:: SOT 16200441 SOS 8826117 HAS SOPS 8826117 HAS SOUS 7860068 HAS SOUPS 7860068 WITH SCORE 7868894.117
AT ITER 2317 NEW BEST:: SOT 16200441 SOS 8825660 HAS SOPS 8825660 HAS SOUS 7860068 HAS SOUPS 7860068 WITH SCORE 7868893.66
AT ITER 2318 NEW BEST:: SOT 16199244 SOS 8824146 HAS SOPS 8824146 HAS SOUS 7858591 HAS SOUPS 7858591 WITH SCORE 7867415.146
AT ITER 2321 NEW BEST:: SOT 16197905 SOS 8823886 HAS SOPS 8823886 HAS SOUS 7858315 HAS SOUPS 7858315 WITH SCORE 7867138.886
AT ITER 2322 NEW BEST:: SOT 16197207 SOS 8823523 HAS SOPS 8823523 HAS SOUS 7857952 HAS SOUPS 7857952 WITH SCORE 7866775.523
AT ITER 2323 NEW BEST:: SOT 16192774 SOS 8840727 HAS SOPS 8840727 HAS SOUS 7856092 HAS SOUPS 7856092 WITH SCORE 7864932.727
AT ITER 2328 NEW BEST:: SOT 16188050 SOS 8837195 HAS SOPS 8837195 HAS SOUS 7852560 HAS SOUPS 7852560 WITH SCORE 7861397.195
AT ITER 2330 NEW BEST:: SOT 16188050 SOS 8836426 HAS SOPS 8836426 HAS SOUS 7852560 HAS SOUPS 7852560 WITH SCORE 7861396.426
AT ITER 2333 NEW BEST:: SOT 16188050 SOS 8836011 HAS SOPS 8836011 HAS SOUS 7852209 HAS SOUPS 7852209 WITH SCORE 7861045.011
AT ITER 2341 NEW BEST:: SOT 16183431 SOS 8836879 HAS SOPS 8836879 HAS SOUS 7850152 HAS SOUPS 7850152 WITH SCORE 7858988.879
AT ITER 2344 NEW BEST:: SOT 16183182 SOS 8835691 HAS SOPS 8835691 HAS SOUS 7849391 HAS SOUPS 7849391 WITH SCORE 7858226.691
AT ITER 2349 NEW BEST:: SOT 16183182 SOS 8834694 HAS SOPS 8834694 HAS SOUS 7849391 HAS SOUPS 7849391 WITH SCORE 7858225.694
AT ITER 2361 NEW BEST:: SOT 16183182 SOS 8834650 HAS SOPS 8834650 HAS SOUS 7849347 HAS SOUPS 7849347 WITH SCORE 7858181.65
AT ITER 2367 NEW BEST:: SOT 16183182 SOS 8834650 HAS SOPS 8834650 HAS SOUS 7848953 HAS SOUPS 7848953 WITH SCORE 7857787.65
AT ITER 2376 NEW BEST:: SOT 16183182 SOS 8834617 HAS SOPS 8834617 HAS SOUS 7848953 HAS SOUPS 7848953 WITH SCORE 7857787.617
AT ITER 2381 NEW BEST:: SOT 16177630 SOS 8831841 HAS SOPS 8831841 HAS SOUS 7843979 HAS SOUPS 7843979 WITH SCORE 7852810.841
AT ITER 2386 NEW BEST:: SOT 16177630 SOS 8831831 HAS SOPS 8831831 HAS SOUS 7843979 HAS SOUPS 7843979 WITH SCORE 7852810.831
AT ITER 2387 NEW BEST:: SOT 16174807 SOS 8828207 HAS SOPS 8828207 HAS SOUS 7841020 HAS SOUPS 7841020 WITH SCORE 7849848.207
AT ITER 2399 NEW BEST:: SOT 16174807 SOS 8827112 HAS SOPS 8827112 HAS SOUS 7840893 HAS SOUPS 7840893 WITH SCORE 7849720.112
AT ITER 2400 NEW BEST:: SOT 16174807 SOS 8826877 HAS SOPS 8826877 HAS SOUS 7840893 HAS SOUPS 7840893 WITH SCORE 7849719.877
AT ITER 2401 NEW BEST:: SOT 16174807 SOS 8825437 HAS SOPS 8825437 HAS SOUS 7840893 HAS SOUPS 7840893 WITH SCORE 7849718.437
AT ITER 2403 NEW BEST:: SOT 16174807 SOS 8825437 HAS SOPS 8825437 HAS SOUS 7840180 HAS SOUPS 7840180 WITH SCORE 7849005.437
AT ITER 2405 NEW BEST:: SOT 16169869 SOS 8821781 HAS SOPS 8821781 HAS SOUS 7835951 HAS SOUPS 7835951 WITH SCORE 7844772.781
AT ITER 2411 NEW BEST:: SOT 16169663 SOS 8822473 HAS SOPS 8822473 HAS SOUS 7835793 HAS SOUPS 7835793 WITH SCORE 7844615.473
AT ITER 2414 NEW BEST:: SOT 16169663 SOS 8821904 HAS SOPS 8821904 HAS SOUS 7835463 HAS SOUPS 7835463 WITH SCORE 7844284.904
AT ITER 2422 NEW BEST:: SOT 16167962 SOS 8820329 HAS SOPS 8820329 HAS SOUS 7833762 HAS SOUPS 7833762 WITH SCORE 7842582.329
AT ITER 2427 NEW BEST:: SOT 16167962 SOS 8819977 HAS SOPS 8819977 HAS SOUS 7833762 HAS SOUPS 7833762 WITH SCORE 7842581.977
AT ITER 2428 NEW BEST:: SOT 16167962 SOS 8815389 HAS SOPS 8815389 HAS SOUS 7833272 HAS SOUPS 7833272 WITH SCORE 7842087.389
AT ITER 2437 NEW BEST:: SOT 16165495 SOS 8813778 HAS SOPS 8813778 HAS SOUS 7830805 HAS SOUPS 7830805 WITH SCORE 7839618.778
AT ITER 2438 NEW BEST:: SOT 16164087 SOS 8814028 HAS SOPS 8814028 HAS SOUS 7829397 HAS SOUPS 7829397 WITH SCORE 7838211.028
AT ITER 2441 NEW BEST:: SOT 16164087 SOS 8812573 HAS SOPS 8812573 HAS SOUS 7829397 HAS SOUPS 7829397 WITH SCORE 7838209.573
AT ITER 2444 NEW BEST:: SOT 16164087 SOS 8812465 HAS SOPS 8812465 HAS SOUS 7829397 HAS SOUPS 7829397 WITH SCORE 7838209.465
AT ITER 2450 NEW BEST:: SOT 16160922 SOS 8810641 HAS SOPS 8810641 HAS SOUS 7826292 HAS SOUPS 7826292 WITH SCORE 7835102.641
AT ITER 2453 NEW BEST:: SOT 16158031 SOS 8810083 HAS SOPS 8810083 HAS SOUS 7824714 HAS SOUPS 7824714 WITH SCORE 7833524.083
AT ITER 2456 NEW BEST:: SOT 16158031 SOS 8809944 HAS SOPS 8809944 HAS SOUS 7824714 HAS SOUPS 7824714 WITH SCORE 7833523.944
AT ITER 2459 NEW BEST:: SOT 16153893 SOS 8807455 HAS SOPS 8807455 HAS SOUS 7822468 HAS SOUPS 7822468 WITH SCORE 7831275.455
AT ITER 2468 NEW BEST:: SOT 16150614 SOS 8808497 HAS SOPS 8808497 HAS SOUS 7820940 HAS SOUPS 7820940 WITH SCORE 7829748.497
AT ITER 2471 NEW BEST:: SOT 16150614 SOS 8807139 HAS SOPS 8807139 HAS SOUS 7820940 HAS SOUPS 7820940 WITH SCORE 7829747.139
AT ITER 2476 NEW BEST:: SOT 16147532 SOS 8806528 HAS SOPS 8806528 HAS SOUS 7818028 HAS SOUPS 7818028 WITH SCORE 7826834.528
AT ITER 2479 NEW BEST:: SOT 16146917 SOS 8805913 HAS SOPS 8805913 HAS SOUS 7816953 HAS SOUPS 7816953 WITH SCORE 7825758.913
AT ITER 2480 NEW BEST:: SOT 16146917 SOS 8805598 HAS SOPS 8805598 HAS SOUS 7816953 HAS SOUPS 7816953 WITH SCORE 7825758.598
AT ITER 2483 NEW BEST:: SOT 16142253 SOS 8829214 HAS SOPS 8829214 HAS SOUS 7816909 HAS SOUPS 7816909 WITH SCORE 7825738.214
AT ITER 2494 NEW BEST:: SOT 16137938 SOS 8830246 HAS SOPS 8830246 HAS SOUS 7813231 HAS SOUPS 7813231 WITH SCORE 7822061.246
AT ITER 2496 NEW BEST:: SOT 16137938 SOS 8830183 HAS SOPS 8830183 HAS SOUS 7813231 HAS SOUPS 7813231 WITH SCORE 7822061.183
AT ITER 2502 NEW BEST:: SOT 16135703 SOS 8829016 HAS SOPS 8829016 HAS SOUS 7811089 HAS SOUPS 7811089 WITH SCORE 7819918.016
AT ITER 2503 NEW BEST:: SOT 16135703 SOS 8828495 HAS SOPS 8828495 HAS SOUS 7810700 HAS SOUPS 7810700 WITH SCORE 7819528.495
AT ITER 2504 NEW BEST:: SOT 16135703 SOS 8828083 HAS SOPS 8828083 HAS SOUS 7810311 HAS SOUPS 7810311 WITH SCORE 7819139.083
AT ITER 2508 NEW BEST:: SOT 16130631 SOS 8845248 HAS SOPS 8845248 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815986.248
AT ITER 2510 NEW BEST:: SOT 16130631 SOS 8844870 HAS SOPS 8844870 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815985.87
AT ITER 2512 NEW BEST:: SOT 16130631 SOS 8844673 HAS SOPS 8844673 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815985.673
AT ITER 2522 NEW BEST:: SOT 16130631 SOS 8843800 HAS SOPS 8843800 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815984.8
AT ITER 2526 NEW BEST:: SOT 16130631 SOS 8842953 HAS SOPS 8842953 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815983.953
AT ITER 2532 NEW BEST:: SOT 16130631 SOS 8841827 HAS SOPS 8841827 HAS SOUS 7807141 HAS SOUPS 7807141 WITH SCORE 7815982.827
AT ITER 2534 NEW BEST:: SOT 16125693 SOS 8838046 HAS SOPS 8838046 HAS SOUS 7802861 HAS SOUPS 7802861 WITH SCORE 7811699.046
AT ITER 2536 NEW BEST:: SOT 16125798 SOS 8832156 HAS SOPS 8832156 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810953.156
AT ITER 2541 NEW BEST:: SOT 16125798 SOS 8831008 HAS SOPS 8831008 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810952.008
AT ITER 2543 NEW BEST:: SOT 16125798 SOS 8829306 HAS SOPS 8829306 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810950.306
AT ITER 2547 NEW BEST:: SOT 16125798 SOS 8829096 HAS SOPS 8829096 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810950.096
AT ITER 2548 NEW BEST:: SOT 16125798 SOS 8828332 HAS SOPS 8828332 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810949.332
AT ITER 2553 NEW BEST:: SOT 16125798 SOS 8828112 HAS SOPS 8828112 HAS SOUS 7802121 HAS SOUPS 7802121 WITH SCORE 7810949.112
AT ITER 2557 NEW BEST:: SOT 16125798 SOS 8826562 HAS SOPS 8826562 HAS SOUS 7800870 HAS SOUPS 7800870 WITH SCORE 7809696.562
AT ITER 2571 NEW BEST:: SOT 16125798 SOS 8826093 HAS SOPS 8826093 HAS SOUS 7800401 HAS SOUPS 7800401 WITH SCORE 7809227.093
AT ITER 2573 NEW BEST:: SOT 16125798 SOS 8825994 HAS SOPS 8825994 HAS SOUS 7800401 HAS SOUPS 7800401 WITH SCORE 7809226.994
AT ITER 2575 NEW BEST:: SOT 16125798 SOS 8825681 HAS SOPS 8825681 HAS SOUS 7800401 HAS SOUPS 7800401 WITH SCORE 7809226.681
AT ITER 2578 NEW BEST:: SOT 16125895 SOS 8825778 HAS SOPS 8825778 HAS SOUS 7800123 HAS SOUPS 7800123 WITH SCORE 7808948.778
AT ITER 2590 NEW BEST:: SOT 16125962 SOS 8824429 HAS SOPS 8824429 HAS SOUS 7800029 HAS SOUPS 7800029 WITH SCORE 7808853.429
AT ITER 2594 NEW BEST:: SOT 16125962 SOS 8824165 HAS SOPS 8824165 HAS SOUS 7800029 HAS SOUPS 7800029 WITH SCORE 7808853.165
AT ITER 2595 NEW BEST:: SOT 16124656 SOS 8822859 HAS SOPS 8822859 HAS SOUS 7798723 HAS SOUPS 7798723 WITH SCORE 7807545.859
AT ITER 2599 NEW BEST:: SOT 16124656 SOS 8821898 HAS SOPS 8821898 HAS SOUS 7798723 HAS SOUPS 7798723 WITH SCORE 7807544.898
AT ITER 2601 NEW BEST:: SOT 16121056 SOS 8819483 HAS SOPS 8819483 HAS SOUS 7796308 HAS SOUPS 7796308 WITH SCORE 7805127.483
AT ITER 2603 NEW BEST:: SOT 16119222 SOS 8818286 HAS SOPS 8818286 HAS SOUS 7794720 HAS SOUPS 7794720 WITH SCORE 7803538.286
AT ITER 2606 NEW BEST:: SOT 16117630 SOS 8817950 HAS SOPS 8817950 HAS SOUS 7793823 HAS SOUPS 7793823 WITH SCORE 7802640.95
AT ITER 2608 NEW BEST:: SOT 16115789 SOS 8829471 HAS SOPS 8829471 HAS SOUS 7792788 HAS SOUPS 7792788 WITH SCORE 7801617.471
AT ITER 2609 NEW BEST:: SOT 16115789 SOS 8829278 HAS SOPS 8829278 HAS SOUS 7792788 HAS SOUPS 7792788 WITH SCORE 7801617.278
AT ITER 2612 NEW BEST:: SOT 16116050 SOS 8829035 HAS SOPS 8829035 HAS SOUS 7792287 HAS SOUPS 7792287 WITH SCORE 7801116.035
AT ITER 2613 NEW BEST:: SOT 16116050 SOS 8828779 HAS SOPS 8828779 HAS SOUS 7792287 HAS SOUPS 7792287 WITH SCORE 7801115.779
AT ITER 2616 NEW BEST:: SOT 16116050 SOS 8828345 HAS SOPS 8828345 HAS SOUS 7792200 HAS SOUPS 7792200 WITH SCORE 7801028.345
AT ITER 2618 NEW BEST:: SOT 16115620 SOS 8827915 HAS SOPS 8827915 HAS SOUS 7791470 HAS SOUPS 7791470 WITH SCORE 7800297.915
AT ITER 2619 NEW BEST:: SOT 16115720 SOS 8827565 HAS SOPS 8827565 HAS SOUS 7791136 HAS SOUPS 7791136 WITH SCORE 7799963.565
AT ITER 2622 NEW BEST:: SOT 16115778 SOS 8827098 HAS SOPS 8827098 HAS SOUS 7790529 HAS SOUPS 7790529 WITH SCORE 7799356.098
AT ITER 2625 NEW BEST:: SOT 16115890 SOS 8826640 HAS SOPS 8826640 HAS SOUS 7789652 HAS SOUPS 7789652 WITH SCORE 7798478.64
AT ITER 2628 NEW BEST:: SOT 16115986 SOS 8826031 HAS SOPS 8826031 HAS SOUS 7788848 HAS SOUPS 7788848 WITH SCORE 7797674.031
AT ITER 2635 NEW BEST:: SOT 16115986 SOS 8825702 HAS SOPS 8825702 HAS SOUS 7788848 HAS SOUPS 7788848 WITH SCORE 7797673.702
AT ITER 2643 NEW BEST:: SOT 16115986 SOS 8824907 HAS SOPS 8824907 HAS SOUS 7787948 HAS SOUPS 7787948 WITH SCORE 7796772.907
AT ITER 2647 NEW BEST:: SOT 16115986 SOS 8823605 HAS SOPS 8823605 HAS SOUS 7787948 HAS SOUPS 7787948 WITH SCORE 7796771.605
AT ITER 2651 NEW BEST:: SOT 16115986 SOS 8822017 HAS SOPS 8822017 HAS SOUS 7787948 HAS SOUPS 7787948 WITH SCORE 7796770.017
AT ITER 2652 NEW BEST:: SOT 16115986 SOS 8821567 HAS SOPS 8821567 HAS SOUS 7787948 HAS SOUPS 7787948 WITH SCORE 7796769.567
AT ITER 2653 NEW BEST:: SOT 16115986 SOS 8820038 HAS SOPS 8820038 HAS SOUS 7787839 HAS SOUPS 7787839 WITH SCORE 7796659.038
AT ITER 2659 NEW BEST:: SOT 16115689 SOS 8820361 HAS SOPS 8820361 HAS SOUS 7787538 HAS SOUPS 7787538 WITH SCORE 7796358.361
AT ITER 2661 NEW BEST:: SOT 16115689 SOS 8819976 HAS SOPS 8819976 HAS SOUS 7787538 HAS SOUPS 7787538 WITH SCORE 7796357.976
AT ITER 2662 NEW BEST:: SOT 16110409 SOS 8815883 HAS SOPS 8815883 HAS SOUS 7784863 HAS SOUPS 7784863 WITH SCORE 7793678.883
AT ITER 2663 NEW BEST:: SOT 16109731 SOS 8828161 HAS SOPS 8828161 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793013.161
AT ITER 2668 NEW BEST:: SOT 16109731 SOS 8827910 HAS SOPS 8827910 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793012.91
AT ITER 2669 NEW BEST:: SOT 16109731 SOS 8827320 HAS SOPS 8827320 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793012.32
AT ITER 2671 NEW BEST:: SOT 16109731 SOS 8827056 HAS SOPS 8827056 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793012.056
AT ITER 2695 NEW BEST:: SOT 16109731 SOS 8826854 HAS SOPS 8826854 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793011.854
AT ITER 2698 NEW BEST:: SOT 16109731 SOS 8826313 HAS SOPS 8826313 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793011.313
AT ITER 2700 NEW BEST:: SOT 16109731 SOS 8825904 HAS SOPS 8825904 HAS SOUS 7784185 HAS SOUPS 7784185 WITH SCORE 7793010.904
AT ITER 2701 NEW BEST:: SOT 16109704 SOS 8823725 HAS SOPS 8823725 HAS SOUS 7783917 HAS SOUPS 7783917 WITH SCORE 7792740.725
AT ITER 2707 NEW BEST:: SOT 16109704 SOS 8808596 HAS SOPS 8808596 HAS SOUS 7783457 HAS SOUPS 7783457 WITH SCORE 7792265.596
AT ITER 2713 NEW BEST:: SOT 16104870 SOS 8805889 HAS SOPS 8805889 HAS SOUS 7778926 HAS SOUPS 7778926 WITH SCORE 7787731.889
AT ITER 2723 NEW BEST:: SOT 16104870 SOS 8801179 HAS SOPS 8801179 HAS SOUS 7778926 HAS SOUPS 7778926 WITH SCORE 7787727.179
AT ITER 2725 NEW BEST:: SOT 16104624 SOS 8801179 HAS SOPS 8801179 HAS SOUS 7778680 HAS SOUPS 7778680 WITH SCORE 7787481.179
AT ITER 2729 NEW BEST:: SOT 16104630 SOS 8801167 HAS SOPS 8801167 HAS SOUS 7778632 HAS SOUPS 7778632 WITH SCORE 7787433.167
AT ITER 2731 NEW BEST:: SOT 16104630 SOS 8800347 HAS SOPS 8800347 HAS SOUS 7778632 HAS SOUPS 7778632 WITH SCORE 7787432.347
AT ITER 2732 NEW BEST:: SOT 16104630 SOS 8795324 HAS SOPS 8795324 HAS SOUS 7778423 HAS SOUPS 7778423 WITH SCORE 7787218.324
AT ITER 2740 NEW BEST:: SOT 16104630 SOS 8795573 HAS SOPS 8795573 HAS SOUS 7777921 HAS SOUPS 7777921 WITH SCORE 7786716.573
AT ITER 2742 NEW BEST:: SOT 16102984 SOS 8821384 HAS SOPS 8821384 HAS SOUS 7777121 HAS SOUPS 7777121 WITH SCORE 7785942.384
AT ITER 2748 NEW BEST:: SOT 16100752 SOS 8819509 HAS SOPS 8819509 HAS SOUS 7774889 HAS SOUPS 7774889 WITH SCORE 7783708.509
AT ITER 2750 NEW BEST:: SOT 16095287 SOS 8817939 HAS SOPS 8817939 HAS SOUS 7771733 HAS SOUPS 7771733 WITH SCORE 7780550.939
AT ITER 2756 NEW BEST:: SOT 16095287 SOS 8817036 HAS SOPS 8817036 HAS SOUS 7771733 HAS SOUPS 7771733 WITH SCORE 7780550.036
AT ITER 2757 NEW BEST:: SOT 16095287 SOS 8816785 HAS SOPS 8816785 HAS SOUS 7771733 HAS SOUPS 7771733 WITH SCORE 7780549.785
AT ITER 2759 NEW BEST:: SOT 16094416 SOS 8816059 HAS SOPS 8816059 HAS SOUS 7771007 HAS SOUPS 7771007 WITH SCORE 7779823.059
AT ITER 2762 NEW BEST:: SOT 16094416 SOS 8816385 HAS SOPS 8816385 HAS SOUS 7770690 HAS SOUPS 7770690 WITH SCORE 7779506.385
AT ITER 2764 NEW BEST:: SOT 16090273 SOS 8813579 HAS SOPS 8813579 HAS SOUS 7766622 HAS SOUPS 7766622 WITH SCORE 7775435.579
AT ITER 2773 NEW BEST:: SOT 16090273 SOS 8812288 HAS SOPS 8812288 HAS SOUS 7766412 HAS SOUPS 7766412 WITH SCORE 7775224.288
AT ITER 2774 NEW BEST:: SOT 16090231 SOS 8810431 HAS SOPS 8810431 HAS SOUS 7766243 HAS SOUPS 7766243 WITH SCORE 7775053.431
AT ITER 2777 NEW BEST:: SOT 16084801 SOS 8812168 HAS SOPS 8812168 HAS SOUS 7763245 HAS SOUPS 7763245 WITH SCORE 7772057.168
AT ITER 2784 NEW BEST:: SOT 16084801 SOS 8811282 HAS SOPS 8811282 HAS SOUS 7763245 HAS SOUPS 7763245 WITH SCORE 7772056.282
AT ITER 2786 NEW BEST:: SOT 16084589 SOS 8811070 HAS SOPS 8811070 HAS SOUS 7763033 HAS SOUPS 7763033 WITH SCORE 7771844.07
AT ITER 2787 NEW BEST:: SOT 16084589 SOS 8810303 HAS SOPS 8810303 HAS SOUS 7763033 HAS SOUPS 7763033 WITH SCORE 7771843.303
AT ITER 2788 NEW BEST:: SOT 16084589 SOS 8809101 HAS SOPS 8809101 HAS SOUS 7763033 HAS SOUPS 7763033 WITH SCORE 7771842.101
AT ITER 2791 NEW BEST:: SOT 16084693 SOS 8809205 HAS SOPS 8809205 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771421.205
AT ITER 2804 NEW BEST:: SOT 16084693 SOS 8809187 HAS SOPS 8809187 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771421.187
AT ITER 2806 NEW BEST:: SOT 16084693 SOS 8807936 HAS SOPS 8807936 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771419.936
AT ITER 2808 NEW BEST:: SOT 16084693 SOS 8807324 HAS SOPS 8807324 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771419.324
AT ITER 2809 NEW BEST:: SOT 16084693 SOS 8806761 HAS SOPS 8806761 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771418.761
AT ITER 2814 NEW BEST:: SOT 16084693 SOS 8806116 HAS SOPS 8806116 HAS SOUS 7762612 HAS SOUPS 7762612 WITH SCORE 7771418.116
AT ITER 2820 NEW BEST:: SOT 16081983 SOS 8811044 HAS SOPS 8811044 HAS SOUS 7760617 HAS SOUPS 7760617 WITH SCORE 7769428.044
AT ITER 2830 NEW BEST:: SOT 16081983 SOS 8811027 HAS SOPS 8811027 HAS SOUS 7760617 HAS SOUPS 7760617 WITH SCORE 7769428.027
AT ITER 2842 NEW BEST:: SOT 16077592 SOS 8811393 HAS SOPS 8811393 HAS SOUS 7759815 HAS SOUPS 7759815 WITH SCORE 7768626.393
AT ITER 2847 NEW BEST:: SOT 16076902 SOS 8814202 HAS SOPS 8814202 HAS SOUS 7759761 HAS SOUPS 7759761 WITH SCORE 7768575.202
AT ITER 2848 NEW BEST:: SOT 16076983 SOS 8812958 HAS SOPS 8812958 HAS SOUS 7759746 HAS SOUPS 7759746 WITH SCORE 7768558.958
AT ITER 2850 NEW BEST:: SOT 16076983 SOS 8812366 HAS SOPS 8812366 HAS SOUS 7759746 HAS SOUPS 7759746 WITH SCORE 7768558.366
AT ITER 2860 NEW BEST:: SOT 16076983 SOS 8812353 HAS SOPS 8812353 HAS SOUS 7759746 HAS SOUPS 7759746 WITH SCORE 7768558.353
AT ITER 2870 NEW BEST:: SOT 16076983 SOS 8795472 HAS SOPS 8795472 HAS SOUS 7759746 HAS SOUPS 7759746 WITH SCORE 7768541.472
AT ITER 2874 NEW BEST:: SOT 16076983 SOS 8794754 HAS SOPS 8794754 HAS SOUS 7759446 HAS SOUPS 7759446 WITH SCORE 7768240.754
AT ITER 2875 NEW BEST:: SOT 16072899 SOS 8809540 HAS SOPS 8809540 HAS SOUS 7756753 HAS SOUPS 7756753 WITH SCORE 7765562.54
AT ITER 2885 NEW BEST:: SOT 16072618 SOS 8808994 HAS SOPS 8808994 HAS SOUS 7756208 HAS SOUPS 7756208 WITH SCORE 7765016.994
AT ITER 2890 NEW BEST:: SOT 16068216 SOS 8805576 HAS SOPS 8805576 HAS SOUS 7752130 HAS SOUPS 7752130 WITH SCORE 7760935.576
AT ITER 2896 NEW BEST:: SOT 16068216 SOS 8804160 HAS SOPS 8804160 HAS SOUS 7752130 HAS SOUPS 7752130 WITH SCORE 7760934.16
AT ITER 2897 NEW BEST:: SOT 16065774 SOS 8801896 HAS SOPS 8801896 HAS SOUS 7749688 HAS SOUPS 7749688 WITH SCORE 7758489.896
AT ITER 2898 NEW BEST:: SOT 16065774 SOS 8801796 HAS SOPS 8801796 HAS SOUS 7749688 HAS SOUPS 7749688 WITH SCORE 7758489.796
AT ITER 2899 NEW BEST:: SOT 16065774 SOS 8801601 HAS SOPS 8801601 HAS SOUS 7749441 HAS SOUPS 7749441 WITH SCORE 7758242.601
AT ITER 2903 NEW BEST:: SOT 16061859 SOS 8801287 HAS SOPS 8801287 HAS SOUS 7746034 HAS SOUPS 7746034 WITH SCORE 7754835.287
AT ITER 2904 NEW BEST:: SOT 16061859 SOS 8801253 HAS SOPS 8801253 HAS SOUS 7746034 HAS SOUPS 7746034 WITH SCORE 7754835.253
AT ITER 2908 NEW BEST:: SOT 16059551 SOS 8800125 HAS SOPS 8800125 HAS SOUS 7743186 HAS SOUPS 7743186 WITH SCORE 7751986.125
AT ITER 2910 NEW BEST:: SOT 16059880 SOS 8800637 HAS SOPS 8800637 HAS SOUS 7743168 HAS SOUPS 7743168 WITH SCORE 7751968.637
AT ITER 2917 NEW BEST:: SOT 16054034 SOS 8803575 HAS SOPS 8803575 HAS SOUS 7738446 HAS SOUPS 7738446 WITH SCORE 7747249.575
AT ITER 2918 NEW BEST:: SOT 16054034 SOS 8803550 HAS SOPS 8803550 HAS SOUS 7738446 HAS SOUPS 7738446 WITH SCORE 7747249.55
AT ITER 2920 NEW BEST:: SOT 16054034 SOS 8802983 HAS SOPS 8802983 HAS SOUS 7738446 HAS SOUPS 7738446 WITH SCORE 7747248.983
AT ITER 2921 NEW BEST:: SOT 16054034 SOS 8803737 HAS SOPS 8803737 HAS SOUS 7738078 HAS SOUPS 7738078 WITH SCORE 7746881.737
AT ITER 2922 NEW BEST:: SOT 16048880 SOS 8803234 HAS SOPS 8803234 HAS SOUS 7733032 HAS SOUPS 7733032 WITH SCORE 7741835.234
AT ITER 2925 NEW BEST:: SOT 16048880 SOS 8802712 HAS SOPS 8802712 HAS SOUS 7733032 HAS SOUPS 7733032 WITH SCORE 7741834.712
AT ITER 2926 NEW BEST:: SOT 16048880 SOS 8802424 HAS SOPS 8802424 HAS SOUS 7733032 HAS SOUPS 7733032 WITH SCORE 7741834.424
AT ITER 2927 NEW BEST:: SOT 16048880 SOS 8801805 HAS SOPS 8801805 HAS SOUS 7733032 HAS SOUPS 7733032 WITH SCORE 7741833.805
AT ITER 2930 NEW BEST:: SOT 16048880 SOS 8801538 HAS SOPS 8801538 HAS SOUS 7733032 HAS SOUPS 7733032 WITH SCORE 7741833.538
AT ITER 2931 NEW BEST:: SOT 16049182 SOS 8800115 HAS SOPS 8800115 HAS SOUS 7731309 HAS SOUPS 7731309 WITH SCORE 7740109.115
AT ITER 2935 NEW BEST:: SOT 16049182 SOS 8799933 HAS SOPS 8799933 HAS SOUS 7731127 HAS SOUPS 7731127 WITH SCORE 7739926.933
AT ITER 2946 NEW BEST:: SOT 16049182 SOS 8799623 HAS SOPS 8799623 HAS SOUS 7731127 HAS SOUPS 7731127 WITH SCORE 7739926.623
AT ITER 2960 NEW BEST:: SOT 16045112 SOS 8813086 HAS SOPS 8813086 HAS SOUS 7730141 HAS SOUPS 7730141 WITH SCORE 7738954.086
AT ITER 2962 NEW BEST:: SOT 16045112 SOS 8812880 HAS SOPS 8812880 HAS SOUS 7730141 HAS SOUPS 7730141 WITH SCORE 7738953.88
AT ITER 2964 NEW BEST:: SOT 16045112 SOS 8812796 HAS SOPS 8812796 HAS SOUS 7728783 HAS SOUPS 7728783 WITH SCORE 7737595.796
AT ITER 2966 NEW BEST:: SOT 16045112 SOS 8812506 HAS SOPS 8812506 HAS SOUS 7728783 HAS SOUPS 7728783 WITH SCORE 7737595.506
AT ITER 2971 NEW BEST:: SOT 16045112 SOS 8812176 HAS SOPS 8812176 HAS SOUS 7728783 HAS SOUPS 7728783 WITH SCORE 7737595.176
AT ITER 2973 NEW BEST:: SOT 16045570 SOS 8812663 HAS SOPS 8812663 HAS SOUS 7728677 HAS SOUPS 7728677 WITH SCORE 7737489.663
AT ITER 2977 NEW BEST:: SOT 16045570 SOS 8814464 HAS SOPS 8814464 HAS SOUS 7728639 HAS SOUPS 7728639 WITH SCORE 7737453.464
AT ITER 2979 NEW BEST:: SOT 16045484 SOS 8814378 HAS SOPS 8814378 HAS SOUS 7728553 HAS SOUPS 7728553 WITH SCORE 7737367.378
AT ITER 2980 NEW BEST:: SOT 16045484 SOS 8814130 HAS SOPS 8814130 HAS SOUS 7728553 HAS SOUPS 7728553 WITH SCORE 7737367.13
AT ITER 2989 NEW BEST:: SOT 16045413 SOS 8813312 HAS SOPS 8813312 HAS SOUS 7728546 HAS SOUPS 7728546 WITH SCORE 7737359.312
AT ITER 2990 NEW BEST:: SOT 16045614 SOS 8811473 HAS SOPS 8811473 HAS SOUS 7728481 HAS SOUPS 7728481 WITH SCORE 7737292.473
AT ITER 2995 NEW BEST:: SOT 16039979 SOS 8818825 HAS SOPS 8818825 HAS SOUS 7727849 HAS SOUPS 7727849 WITH SCORE 7736667.825
AT ITER 2996 NEW BEST:: SOT 16039979 SOS 8818615 HAS SOPS 8818615 HAS SOUS 7727849 HAS SOUPS 7727849 WITH SCORE 7736667.615
AT ITER 3000 NEW BEST:: SOT 16039979 SOS 8818426 HAS SOPS 8818426 HAS SOUS 7727849 HAS SOUPS 7727849 WITH SCORE 7736667.426
AT ITER 3001 NEW BEST:: SOT 16039293 SOS 8818114 HAS SOPS 8818114 HAS SOUS 7727537 HAS SOUPS 7727537 WITH SCORE 7736355.114
AT ITER 3010 NEW BEST:: SOT 16039098 SOS 8817919 HAS SOPS 8817919 HAS SOUS 7727342 HAS SOUPS 7727342 WITH SCORE 7736159.919
AT ITER 3016 NEW BEST:: SOT 16039098 SOS 8817598 HAS SOPS 8817598 HAS SOUS 7727342 HAS SOUPS 7727342 WITH SCORE 7736159.598
AT ITER 3028 NEW BEST:: SOT 16039098 SOS 8817309 HAS SOPS 8817309 HAS SOUS 7727189 HAS SOUPS 7727189 WITH SCORE 7736006.309
AT ITER 3033 NEW BEST:: SOT 16039128 SOS 8817279 HAS SOPS 8817279 HAS SOUS 7727189 HAS SOUPS 7727189 WITH SCORE 7736006.279
AT ITER 3036 NEW BEST:: SOT 16039044 SOS 8817195 HAS SOPS 8817195 HAS SOUS 7727105 HAS SOUPS 7727105 WITH SCORE 7735922.195
AT ITER 3039 NEW BEST:: SOT 16039429 SOS 8816697 HAS SOPS 8816697 HAS SOUS 7726157 HAS SOUPS 7726157 WITH SCORE 7734973.697
AT ITER 3047 NEW BEST:: SOT 16039429 SOS 8816206 HAS SOPS 8816206 HAS SOUS 7726157 HAS SOUPS 7726157 WITH SCORE 7734973.206
AT ITER 3059 NEW BEST:: SOT 16039404 SOS 8815792 HAS SOPS 8815792 HAS SOUS 7725971 HAS SOUPS 7725971 WITH SCORE 7734786.792
AT ITER 3066 NEW BEST:: SOT 16039404 SOS 8797078 HAS SOPS 8797078 HAS SOUS 7725971 HAS SOUPS 7725971 WITH SCORE 7734768.078
AT ITER 3072 NEW BEST:: SOT 16039404 SOS 8796708 HAS SOPS 8796708 HAS SOUS 7725971 HAS SOUPS 7725971 WITH SCORE 7734767.708
AT ITER 3087 NEW BEST:: SOT 16039404 SOS 8787539 HAS SOPS 8787539 HAS SOUS 7725645 HAS SOUPS 7725645 WITH SCORE 7734432.539
AT ITER 3090 NEW BEST:: SOT 16035874 SOS 8787266 HAS SOPS 8787266 HAS SOUS 7722891 HAS SOUPS 7722891 WITH SCORE 7731678.266
AT ITER 3097 NEW BEST:: SOT 16035874 SOS 8787117 HAS SOPS 8787117 HAS SOUS 7722891 HAS SOUPS 7722891 WITH SCORE 7731678.117
AT ITER 3099 NEW BEST:: SOT 16035064 SOS 8800057 HAS SOPS 8800057 HAS SOUS 7722503 HAS SOUPS 7722503 WITH SCORE 7731303.057
AT ITER 3101 NEW BEST:: SOT 16034837 SOS 8797500 HAS SOPS 8797500 HAS SOUS 7722103 HAS SOUPS 7722103 WITH SCORE 7730900.5
AT ITER 3105 NEW BEST:: SOT 16034837 SOS 8775835 HAS SOPS 8775835 HAS SOUS 7722103 HAS SOUPS 7722103 WITH SCORE 7730878.835
AT ITER 3106 NEW BEST:: SOT 16034837 SOS 8768376 HAS SOPS 8768376 HAS SOUS 7722103 HAS SOUPS 7722103 WITH SCORE 7730871.376
AT ITER 3108 NEW BEST:: SOT 16034837 SOS 8768241 HAS SOPS 8768241 HAS SOUS 7722103 HAS SOUPS 7722103 WITH SCORE 7730871.241
AT ITER 3110 NEW BEST:: SOT 16034837 SOS 8768196 HAS SOPS 8768196 HAS SOUS 7722103 HAS SOUPS 7722103 WITH SCORE 7730871.196
AT ITER 3113 NEW BEST:: SOT 16034837 SOS 8768183 HAS SOPS 8768183 HAS SOUS 7722090 HAS SOUPS 7722090 WITH SCORE 7730858.183
AT ITER 3116 NEW BEST:: SOT 16034837 SOS 8767313 HAS SOPS 8767313 HAS SOUS 7722090 HAS SOUPS 7722090 WITH SCORE 7730857.313
AT ITER 3123 NEW BEST:: SOT 16035162 SOS 8767522 HAS SOPS 8767522 HAS SOUS 7722056 HAS SOUPS 7722056 WITH SCORE 7730823.522
AT ITER 3124 NEW BEST:: SOT 16035162 SOS 8756710 HAS SOPS 8756710 HAS SOUS 7721525 HAS SOUPS 7721525 WITH SCORE 7730281.71
AT ITER 3127 NEW BEST:: SOT 16035477 SOS 8756395 HAS SOPS 8756395 HAS SOUS 7721525 HAS SOUPS 7721525 WITH SCORE 7730281.395
AT ITER 3129 NEW BEST:: SOT 16030965 SOS 8752857 HAS SOPS 8752857 HAS SOUS 7718319 HAS SOUPS 7718319 WITH SCORE 7727071.857
AT ITER 3132 NEW BEST:: SOT 16028704 SOS 8751098 HAS SOPS 8751098 HAS SOUS 7716058 HAS SOUPS 7716058 WITH SCORE 7724809.098
AT ITER 3136 NEW BEST:: SOT 16028220 SOS 8750554 HAS SOPS 8750554 HAS SOUS 7715198 HAS SOUPS 7715198 WITH SCORE 7723948.554
AT ITER 3139 NEW BEST:: SOT 16028220 SOS 8750460 HAS SOPS 8750460 HAS SOUS 7715198 HAS SOUPS 7715198 WITH SCORE 7723948.46
AT ITER 3141 NEW BEST:: SOT 16028220 SOS 8750225 HAS SOPS 8750225 HAS SOUS 7715198 HAS SOUPS 7715198 WITH SCORE 7723948.225
AT ITER 3144 NEW BEST:: SOT 16028220 SOS 8749682 HAS SOPS 8749682 HAS SOUS 7715110 HAS SOUPS 7715110 WITH SCORE 7723859.682
AT ITER 3148 NEW BEST:: SOT 16028220 SOS 8747978 HAS SOPS 8747978 HAS SOUS 7715110 HAS SOUPS 7715110 WITH SCORE 7723857.978
AT ITER 3149 NEW BEST:: SOT 16028220 SOS 8747844 HAS SOPS 8747844 HAS SOUS 7715110 HAS SOUPS 7715110 WITH SCORE 7723857.844
AT ITER 3152 NEW BEST:: SOT 16028220 SOS 8747012 HAS SOPS 8747012 HAS SOUS 7715110 HAS SOUPS 7715110 WITH SCORE 7723857.012
AT ITER 3158 NEW BEST:: SOT 16024830 SOS 8743979 HAS SOPS 8743979 HAS SOUS 7712362 HAS SOUPS 7712362 WITH SCORE 7721105.979
AT ITER 3169 NEW BEST:: SOT 16024830 SOS 8745176 HAS SOPS 8745176 HAS SOUS 7712320 HAS SOUPS 7712320 WITH SCORE 7721065.176
AT ITER 3173 NEW BEST:: SOT 16024830 SOS 8744374 HAS SOPS 8744374 HAS SOUS 7712320 HAS SOUPS 7712320 WITH SCORE 7721064.374
AT ITER 3176 NEW BEST:: SOT 16024830 SOS 8744356 HAS SOPS 8744356 HAS SOUS 7712320 HAS SOUPS 7712320 WITH SCORE 7721064.356
AT ITER 3185 NEW BEST:: SOT 16024830 SOS 8743563 HAS SOPS 8743563 HAS SOUS 7712320 HAS SOUPS 7712320 WITH SCORE 7721063.563
AT ITER 3197 NEW BEST:: SOT 16024830 SOS 8742968 HAS SOPS 8742968 HAS SOUS 7712320 HAS SOUPS 7712320 WITH SCORE 7721062.968
AT ITER 3199 NEW BEST:: SOT 16024950 SOS 8742848 HAS SOPS 8742848 HAS SOUS 7712248 HAS SOUPS 7712248 WITH SCORE 7720990.848
AT ITER 3201 NEW BEST:: SOT 16025321 SOS 8741750 HAS SOPS 8741750 HAS SOUS 7711139 HAS SOUPS 7711139 WITH SCORE 7719880.75
AT ITER 3203 NEW BEST:: SOT 16023049 SOS 8738835 HAS SOPS 8738835 HAS SOUS 7708867 HAS SOUPS 7708867 WITH SCORE 7717605.835
AT ITER 3206 NEW BEST:: SOT 16019504 SOS 8735685 HAS SOPS 8735685 HAS SOUS 7705809 HAS SOUPS 7705809 WITH SCORE 7714544.685
AT ITER 3207 NEW BEST:: SOT 16019504 SOS 8735621 HAS SOPS 8735621 HAS SOUS 7705809 HAS SOUPS 7705809 WITH SCORE 7714544.621
AT ITER 3210 NEW BEST:: SOT 16012360 SOS 8732852 HAS SOPS 8732852 HAS SOUS 7699628 HAS SOUPS 7699628 WITH SCORE 7708360.852
AT ITER 3219 NEW BEST:: SOT 16007675 SOS 8742398 HAS SOPS 8742398 HAS SOUS 7696362 HAS SOUPS 7696362 WITH SCORE 7705104.398
AT ITER 3233 NEW BEST:: SOT 16001530 SOS 8747674 HAS SOPS 8747674 HAS SOUS 7693222 HAS SOUPS 7693222 WITH SCORE 7701969.674
AT ITER 3237 NEW BEST:: SOT 16001263 SOS 8747407 HAS SOPS 8747407 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701744.407
AT ITER 3245 NEW BEST:: SOT 16001263 SOS 8746147 HAS SOPS 8746147 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701743.147
AT ITER 3246 NEW BEST:: SOT 16001263 SOS 8745618 HAS SOPS 8745618 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701742.618
AT ITER 3249 NEW BEST:: SOT 16001263 SOS 8745340 HAS SOPS 8745340 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701742.34
AT ITER 3251 NEW BEST:: SOT 16001263 SOS 8744927 HAS SOPS 8744927 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701741.927
AT ITER 3258 NEW BEST:: SOT 16001263 SOS 8744253 HAS SOPS 8744253 HAS SOUS 7692997 HAS SOUPS 7692997 WITH SCORE 7701741.253
AT ITER 3259 NEW BEST:: SOT 15995614 SOS 8744124 HAS SOPS 8744124 HAS SOUS 7690528 HAS SOUPS 7690528 WITH SCORE 7699272.124
AT ITER 3260 NEW BEST:: SOT 15995614 SOS 8738848 HAS SOPS 8738848 HAS SOUS 7690106 HAS SOUPS 7690106 WITH SCORE 7698844.848
AT ITER 3265 NEW BEST:: SOT 15995614 SOS 8738268 HAS SOPS 8738268 HAS SOUS 7690106 HAS SOUPS 7690106 WITH SCORE 7698844.268
AT ITER 3266 NEW BEST:: SOT 15995614 SOS 8738045 HAS SOPS 8738045 HAS SOUS 7690106 HAS SOUPS 7690106 WITH SCORE 7698844.045
AT ITER 3269 NEW BEST:: SOT 15995614 SOS 8737991 HAS SOPS 8737991 HAS SOUS 7690106 HAS SOUPS 7690106 WITH SCORE 7698843.991
AT ITER 3271 NEW BEST:: SOT 15995592 SOS 8738992 HAS SOPS 8738992 HAS SOUS 7690067 HAS SOUPS 7690067 WITH SCORE 7698805.992
AT ITER 3276 NEW BEST:: SOT 15995099 SOS 8739552 HAS SOPS 8739552 HAS SOUS 7689574 HAS SOUPS 7689574 WITH SCORE 7698313.552
AT ITER 3277 NEW BEST:: SOT 15995099 SOS 8738110 HAS SOPS 8738110 HAS SOUS 7689549 HAS SOUPS 7689549 WITH SCORE 7698287.11
AT ITER 3281 NEW BEST:: SOT 15993488 SOS 8736818 HAS SOPS 8736818 HAS SOUS 7688466 HAS SOUPS 7688466 WITH SCORE 7697202.818
AT ITER 3288 NEW BEST:: SOT 15993488 SOS 8736651 HAS SOPS 8736651 HAS SOUS 7688466 HAS SOUPS 7688466 WITH SCORE 7697202.651
AT ITER 3292 NEW BEST:: SOT 15993488 SOS 8736559 HAS SOPS 8736559 HAS SOUS 7688466 HAS SOUPS 7688466 WITH SCORE 7697202.559
AT ITER 3300 NEW BEST:: SOT 15993242 SOS 8736559 HAS SOPS 8736559 HAS SOUS 7688266 HAS SOUPS 7688266 WITH SCORE 7697002.559
AT ITER 3305 NEW BEST:: SOT 15993242 SOS 8736176 HAS SOPS 8736176 HAS SOUS 7688266 HAS SOUPS 7688266 WITH SCORE 7697002.176
AT ITER 3307 NEW BEST:: SOT 15993695 SOS 8715892 HAS SOPS 8715892 HAS SOUS 7687279 HAS SOUPS 7687279 WITH SCORE 7695994.892
AT ITER 3317 NEW BEST:: SOT 15993695 SOS 8715728 HAS SOPS 8715728 HAS SOUS 7687279 HAS SOUPS 7687279 WITH SCORE 7695994.728
AT ITER 3321 NEW BEST:: SOT 15993695 SOS 8715371 HAS SOPS 8715371 HAS SOUS 7687279 HAS SOUPS 7687279 WITH SCORE 7695994.371
AT ITER 3325 NEW BEST:: SOT 15993670 SOS 8715346 HAS SOPS 8715346 HAS SOUS 7687254 HAS SOUPS 7687254 WITH SCORE 7695969.346
AT ITER 3327 NEW BEST:: SOT 15993670 SOS 8715243 HAS SOPS 8715243 HAS SOUS 7687254 HAS SOUPS 7687254 WITH SCORE 7695969.243
AT ITER 3328 NEW BEST:: SOT 15993583 SOS 8716137 HAS SOPS 8716137 HAS SOUS 7687201 HAS SOUPS 7687201 WITH SCORE 7695917.137
AT ITER 3329 NEW BEST:: SOT 15993583 SOS 8715483 HAS SOPS 8715483 HAS SOUS 7687201 HAS SOUPS 7687201 WITH SCORE 7695916.483
AT ITER 3331 NEW BEST:: SOT 15991794 SOS 8714360 HAS SOPS 8714360 HAS SOUS 7685994 HAS SOUPS 7685994 WITH SCORE 7694708.36
AT ITER 3332 NEW BEST:: SOT 15991794 SOS 8714133 HAS SOPS 8714133 HAS SOUS 7685955 HAS SOUPS 7685955 WITH SCORE 7694669.133
AT ITER 3335 NEW BEST:: SOT 15989564 SOS 8712284 HAS SOPS 8712284 HAS SOUS 7685866 HAS SOUPS 7685866 WITH SCORE 7694578.284
AT ITER 3337 NEW BEST:: SOT 15989564 SOS 8710264 HAS SOPS 8710264 HAS SOUS 7685866 HAS SOUPS 7685866 WITH SCORE 7694576.264
AT ITER 3343 NEW BEST:: SOT 15989564 SOS 8709008 HAS SOPS 8709008 HAS SOUS 7685866 HAS SOUPS 7685866 WITH SCORE 7694575.008
AT ITER 3348 NEW BEST:: SOT 15989010 SOS 8707319 HAS SOPS 8707319 HAS SOUS 7684345 HAS SOUPS 7684345 WITH SCORE 7693052.319
AT ITER 3356 NEW BEST:: SOT 15987090 SOS 8704558 HAS SOPS 8704558 HAS SOUS 7681648 HAS SOUPS 7681648 WITH SCORE 7690352.558
AT ITER 3362 NEW BEST:: SOT 15986804 SOS 8703473 HAS SOPS 8703473 HAS SOUS 7681420 HAS SOUPS 7681420 WITH SCORE 7690123.473
AT ITER 3365 NEW BEST:: SOT 15986698 SOS 8703473 HAS SOPS 8703473 HAS SOUS 7681314 HAS SOUPS 7681314 WITH SCORE 7690017.473
AT ITER 3377 NEW BEST:: SOT 15986698 SOS 8703262 HAS SOPS 8703262 HAS SOUS 7681149 HAS SOUPS 7681149 WITH SCORE 7689852.262
AT ITER 3382 NEW BEST:: SOT 15986698 SOS 8702794 HAS SOPS 8702794 HAS SOUS 7681149 HAS SOUPS 7681149 WITH SCORE 7689851.794
AT ITER 3392 NEW BEST:: SOT 15986372 SOS 8702644 HAS SOPS 8702644 HAS SOUS 7680999 HAS SOUPS 7680999 WITH SCORE 7689701.644
AT ITER 3396 NEW BEST:: SOT 15986372 SOS 8702534 HAS SOPS 8702534 HAS SOUS 7680999 HAS SOUPS 7680999 WITH SCORE 7689701.534
AT ITER 3405 NEW BEST:: SOT 15986087 SOS 8701453 HAS SOPS 8701453 HAS SOUS 7680462 HAS SOUPS 7680462 WITH SCORE 7689163.453
AT ITER 3409 NEW BEST:: SOT 15984672 SOS 8706563 HAS SOPS 8706563 HAS SOUS 7679471 HAS SOUPS 7679471 WITH SCORE 7688177.563
AT ITER 3414 NEW BEST:: SOT 15980001 SOS 8717714 HAS SOPS 8717714 HAS SOUS 7677874 HAS SOUPS 7677874 WITH SCORE 7686591.714
AT ITER 3416 NEW BEST:: SOT 15977436 SOS 8715932 HAS SOPS 8715932 HAS SOUS 7675309 HAS SOUPS 7675309 WITH SCORE 7684024.932
AT ITER 3417 NEW BEST:: SOT 15977436 SOS 8715567 HAS SOPS 8715567 HAS SOUS 7675309 HAS SOUPS 7675309 WITH SCORE 7684024.567
AT ITER 3426 NEW BEST:: SOT 15970057 SOS 8717916 HAS SOPS 8717916 HAS SOUS 7672357 HAS SOUPS 7672357 WITH SCORE 7681074.916
AT ITER 3431 NEW BEST:: SOT 15969856 SOS 8717808 HAS SOPS 8717808 HAS SOUS 7672249 HAS SOUPS 7672249 WITH SCORE 7680966.808
AT ITER 3434 NEW BEST:: SOT 15965108 SOS 8717995 HAS SOPS 8717995 HAS SOUS 7669699 HAS SOUPS 7669699 WITH SCORE 7678416.995
AT ITER 3438 NEW BEST:: SOT 15965108 SOS 8716876 HAS SOPS 8716876 HAS SOUS 7669699 HAS SOUPS 7669699 WITH SCORE 7678415.876
AT ITER 3440 NEW BEST:: SOT 15959621 SOS 8714031 HAS SOPS 8714031 HAS SOUS 7668303 HAS SOUPS 7668303 WITH SCORE 7677017.031
AT ITER 3444 NEW BEST:: SOT 15959589 SOS 8713507 HAS SOPS 8713507 HAS SOUS 7667871 HAS SOUPS 7667871 WITH SCORE 7676584.507
AT ITER 3445 NEW BEST:: SOT 15955758 SOS 8709858 HAS SOPS 8709858 HAS SOUS 7664677 HAS SOUPS 7664677 WITH SCORE 7673386.858
AT ITER 3448 NEW BEST:: SOT 15955546 SOS 8709646 HAS SOPS 8709646 HAS SOUS 7664327 HAS SOUPS 7664327 WITH SCORE 7673036.646
AT ITER 3453 NEW BEST:: SOT 15955422 SOS 8709522 HAS SOPS 8709522 HAS SOUS 7664141 HAS SOUPS 7664141 WITH SCORE 7672850.522
AT ITER 3454 NEW BEST:: SOT 15956131 SOS 8706012 HAS SOPS 8706012 HAS SOUS 7664006 HAS SOUPS 7664006 WITH SCORE 7672712.012
AT ITER 3462 NEW BEST:: SOT 15956129 SOS 8706006 HAS SOPS 8706006 HAS SOUS 7663847 HAS SOUPS 7663847 WITH SCORE 7672553.006
AT ITER 3466 NEW BEST:: SOT 15956129 SOS 8705142 HAS SOPS 8705142 HAS SOUS 7662839 HAS SOUPS 7662839 WITH SCORE 7671544.142
AT ITER 3469 NEW BEST:: SOT 15953521 SOS 8711218 HAS SOPS 8711218 HAS SOUS 7662693 HAS SOUPS 7662693 WITH SCORE 7671404.218
AT ITER 3474 NEW BEST:: SOT 15953521 SOS 8694864 HAS SOPS 8694864 HAS SOUS 7661107 HAS SOUPS 7661107 WITH SCORE 7669801.864
AT ITER 3475 NEW BEST:: SOT 15951286 SOS 8692629 HAS SOPS 8692629 HAS SOUS 7658929 HAS SOUPS 7658929 WITH SCORE 7667621.629
AT ITER 3476 NEW BEST:: SOT 15951286 SOS 8692254 HAS SOPS 8692254 HAS SOUS 7658929 HAS SOUPS 7658929 WITH SCORE 7667621.254
AT ITER 3477 NEW BEST:: SOT 15950339 SOS 8695095 HAS SOPS 8695095 HAS SOUS 7657982 HAS SOUPS 7657982 WITH SCORE 7666677.095
AT ITER 3487 NEW BEST:: SOT 15950231 SOS 8695669 HAS SOPS 8695669 HAS SOUS 7657963 HAS SOUPS 7657963 WITH SCORE 7666658.669
AT ITER 3488 NEW BEST:: SOT 15948204 SOS 8699681 HAS SOPS 8699681 HAS SOUS 7656227 HAS SOUPS 7656227 WITH SCORE 7664926.681
AT ITER 3489 NEW BEST:: SOT 15947956 SOS 8699250 HAS SOPS 8699250 HAS SOUS 7655487 HAS SOUPS 7655487 WITH SCORE 7664186.25
AT ITER 3491 NEW BEST:: SOT 15947956 SOS 8685998 HAS SOPS 8685998 HAS SOUS 7655073 HAS SOUPS 7655073 WITH SCORE 7663758.998
AT ITER 3493 NEW BEST:: SOT 15947925 SOS 8685856 HAS SOPS 8685856 HAS SOUS 7654651 HAS SOUPS 7654651 WITH SCORE 7663336.856
AT ITER 3499 NEW BEST:: SOT 15947925 SOS 8675277 HAS SOPS 8675277 HAS SOUS 7654160 HAS SOUPS 7654160 WITH SCORE 7662835.277
AT ITER 3506 NEW BEST:: SOT 15941789 SOS 8678412 HAS SOPS 8678412 HAS SOUS 7651342 HAS SOUPS 7651342 WITH SCORE 7660020.412
AT ITER 3529 NEW BEST:: SOT 15936237 SOS 8675682 HAS SOPS 8675682 HAS SOUS 7646681 HAS SOUPS 7646681 WITH SCORE 7655356.682
AT ITER 3532 NEW BEST:: SOT 15936237 SOS 8673971 HAS SOPS 8673971 HAS SOUS 7646681 HAS SOUPS 7646681 WITH SCORE 7655354.971
AT ITER 3543 NEW BEST:: SOT 15931539 SOS 8683120 HAS SOPS 8683120 HAS SOUS 7642426 HAS SOUPS 7642426 WITH SCORE 7651109.12
AT ITER 3545 NEW BEST:: SOT 15931502 SOS 8683083 HAS SOPS 8683083 HAS SOUS 7642389 HAS SOUPS 7642389 WITH SCORE 7651072.083
AT ITER 3549 NEW BEST:: SOT 15931442 SOS 8683489 HAS SOPS 8683489 HAS SOUS 7642329 HAS SOUPS 7642329 WITH SCORE 7651012.489
AT ITER 3555 NEW BEST:: SOT 15925796 SOS 8681528 HAS SOPS 8681528 HAS SOUS 7636683 HAS SOUPS 7636683 WITH SCORE 7645364.528
AT ITER 3557 NEW BEST:: SOT 15925715 SOS 8679336 HAS SOPS 8679336 HAS SOUS 7635824 HAS SOUPS 7635824 WITH SCORE 7644503.336
AT ITER 3560 NEW BEST:: SOT 15925715 SOS 8679062 HAS SOPS 8679062 HAS SOUS 7635824 HAS SOUPS 7635824 WITH SCORE 7644503.062
AT ITER 3567 NEW BEST:: SOT 15925715 SOS 8678975 HAS SOPS 8678975 HAS SOUS 7635824 HAS SOUPS 7635824 WITH SCORE 7644502.975
AT ITER 3570 NEW BEST:: SOT 15925676 SOS 8680950 HAS SOPS 8680950 HAS SOUS 7635456 HAS SOUPS 7635456 WITH SCORE 7644136.95
AT ITER 3573 NEW BEST:: SOT 15925676 SOS 8680072 HAS SOPS 8680072 HAS SOUS 7635456 HAS SOUPS 7635456 WITH SCORE 7644136.072
AT ITER 3578 NEW BEST:: SOT 15925676 SOS 8679551 HAS SOPS 8679551 HAS SOUS 7634867 HAS SOUPS 7634867 WITH SCORE 7643546.551
AT ITER 3579 NEW BEST:: SOT 15925513 SOS 8678713 HAS SOPS 8678713 HAS SOUS 7634456 HAS SOUPS 7634456 WITH SCORE 7643134.713
AT ITER 3582 NEW BEST:: SOT 15925513 SOS 8677778 HAS SOPS 8677778 HAS SOUS 7634456 HAS SOUPS 7634456 WITH SCORE 7643133.778
AT ITER 3585 NEW BEST:: SOT 15925559 SOS 8677755 HAS SOPS 8677755 HAS SOUS 7634456 HAS SOUPS 7634456 WITH SCORE 7643133.755
AT ITER 3592 NEW BEST:: SOT 15921573 SOS 8677573 HAS SOPS 8677573 HAS SOUS 7633046 HAS SOUPS 7633046 WITH SCORE 7641723.573
AT ITER 3595 NEW BEST:: SOT 15920260 SOS 8682527 HAS SOPS 8682527 HAS SOUS 7632113 HAS SOUPS 7632113 WITH SCORE 7640795.527
AT ITER 3599 NEW BEST:: SOT 15919472 SOS 8683983 HAS SOPS 8683983 HAS SOUS 7632021 HAS SOUPS 7632021 WITH SCORE 7640704.983
AT ITER 3600 NEW BEST:: SOT 15915055 SOS 8680352 HAS SOPS 8680352 HAS SOUS 7628490 HAS SOUPS 7628490 WITH SCORE 7637170.352
AT ITER 3616 NEW BEST:: SOT 15915055 SOS 8680337 HAS SOPS 8680337 HAS SOUS 7628490 HAS SOUPS 7628490 WITH SCORE 7637170.337
AT ITER 3617 NEW BEST:: SOT 15910427 SOS 8681198 HAS SOPS 8681198 HAS SOUS 7627991 HAS SOUPS 7627991 WITH SCORE 7636672.198
AT ITER 3618 NEW BEST:: SOT 15910388 SOS 8681892 HAS SOPS 8681892 HAS SOUS 7627897 HAS SOUPS 7627897 WITH SCORE 7636578.892
AT ITER 3622 NEW BEST:: SOT 15908159 SOS 8679904 HAS SOPS 8679904 HAS SOUS 7626391 HAS SOUPS 7626391 WITH SCORE 7635070.904
AT ITER 3623 NEW BEST:: SOT 15908154 SOS 8679792 HAS SOPS 8679792 HAS SOUS 7626306 HAS SOUPS 7626306 WITH SCORE 7634985.792
AT ITER 3628 NEW BEST:: SOT 15906807 SOS 8679572 HAS SOPS 8679572 HAS SOUS 7624959 HAS SOUPS 7624959 WITH SCORE 7633638.572
AT ITER 3629 NEW BEST:: SOT 15906872 SOS 8679637 HAS SOPS 8679637 HAS SOUS 7624585 HAS SOUPS 7624585 WITH SCORE 7633264.637
AT ITER 3633 NEW BEST:: SOT 15906872 SOS 8680472 HAS SOPS 8680472 HAS SOUS 7623995 HAS SOUPS 7623995 WITH SCORE 7632675.472
AT ITER 3635 NEW BEST:: SOT 15906872 SOS 8680389 HAS SOPS 8680389 HAS SOUS 7623995 HAS SOUPS 7623995 WITH SCORE 7632675.389
AT ITER 3639 NEW BEST:: SOT 15905190 SOS 8680297 HAS SOPS 8680297 HAS SOUS 7622313 HAS SOUPS 7622313 WITH SCORE 7630993.297
AT ITER 3644 NEW BEST:: SOT 15905602 SOS 8680709 HAS SOPS 8680709 HAS SOUS 7621435 HAS SOUPS 7621435 WITH SCORE 7630115.709
AT ITER 3645 NEW BEST:: SOT 15904928 SOS 8679938 HAS SOPS 8679938 HAS SOUS 7620774 HAS SOUPS 7620774 WITH SCORE 7629453.938
AT ITER 3646 NEW BEST:: SOT 15903484 SOS 8680547 HAS SOPS 8680547 HAS SOUS 7619987 HAS SOUPS 7619987 WITH SCORE 7628667.547
AT ITER 3649 NEW BEST:: SOT 15903484 SOS 8680180 HAS SOPS 8680180 HAS SOUS 7619987 HAS SOUPS 7619987 WITH SCORE 7628667.18
AT ITER 3652 NEW BEST:: SOT 15903398 SOS 8680171 HAS SOPS 8680171 HAS SOUS 7619967 HAS SOUPS 7619967 WITH SCORE 7628647.171
AT ITER 3655 NEW BEST:: SOT 15903398 SOS 8679928 HAS SOPS 8679928 HAS SOUS 7619967 HAS SOUPS 7619967 WITH SCORE 7628646.928
AT ITER 3660 NEW BEST:: SOT 15903398 SOS 8677101 HAS SOPS 8677101 HAS SOUS 7619878 HAS SOUPS 7619878 WITH SCORE 7628555.101
AT ITER 3668 NEW BEST:: SOT 15903334 SOS 8676422 HAS SOPS 8676422 HAS SOUS 7619791 HAS SOUPS 7619791 WITH SCORE 7628467.422
AT ITER 3675 NEW BEST:: SOT 15903334 SOS 8675827 HAS SOPS 8675827 HAS SOUS 7619791 HAS SOUPS 7619791 WITH SCORE 7628466.827
AT ITER 3679 NEW BEST:: SOT 15902218 SOS 8673170 HAS SOPS 8673170 HAS SOUS 7617136 HAS SOUPS 7617136 WITH SCORE 7625809.17
AT ITER 3685 NEW BEST:: SOT 15902218 SOS 8671787 HAS SOPS 8671787 HAS SOUS 7617136 HAS SOUPS 7617136 WITH SCORE 7625807.787
AT ITER 3688 NEW BEST:: SOT 15902218 SOS 8671631 HAS SOPS 8671631 HAS SOUS 7617136 HAS SOUPS 7617136 WITH SCORE 7625807.631
AT ITER 3693 NEW BEST:: SOT 15902218 SOS 8670125 HAS SOPS 8670125 HAS SOUS 7617136 HAS SOUPS 7617136 WITH SCORE 7625806.125
AT ITER 3694 NEW BEST:: SOT 15898873 SOS 8666780 HAS SOPS 8666780 HAS SOUS 7613791 HAS SOUPS 7613791 WITH SCORE 7622457.78
AT ITER 3703 NEW BEST:: SOT 15898873 SOS 8666616 HAS SOPS 8666616 HAS SOUS 7613791 HAS SOUPS 7613791 WITH SCORE 7622457.616
AT ITER 3704 NEW BEST:: SOT 15898415 SOS 8666158 HAS SOPS 8666158 HAS SOUS 7612562 HAS SOUPS 7612562 WITH SCORE 7621228.158
AT ITER 3709 NEW BEST:: SOT 15898464 SOS 8666408 HAS SOPS 8666408 HAS SOUS 7612429 HAS SOUPS 7612429 WITH SCORE 7621095.408
AT ITER 3713 NEW BEST:: SOT 15898464 SOS 8666319 HAS SOPS 8666319 HAS SOUS 7612429 HAS SOUPS 7612429 WITH SCORE 7621095.319
AT ITER 3714 NEW BEST:: SOT 15894522 SOS 8667002 HAS SOPS 8667002 HAS SOUS 7610983 HAS SOUPS 7610983 WITH SCORE 7619650.002
AT ITER 3720 NEW BEST:: SOT 15894522 SOS 8666787 HAS SOPS 8666787 HAS SOUS 7610983 HAS SOUPS 7610983 WITH SCORE 7619649.787
AT ITER 3726 NEW BEST:: SOT 15894892 SOS 8661809 HAS SOPS 8661809 HAS SOUS 7610655 HAS SOUPS 7610655 WITH SCORE 7619316.809
AT ITER 3727 NEW BEST:: SOT 15894892 SOS 8660645 HAS SOPS 8660645 HAS SOUS 7610586 HAS SOUPS 7610586 WITH SCORE 7619246.645
AT ITER 3729 NEW BEST:: SOT 15895219 SOS 8657895 HAS SOPS 8657895 HAS SOUS 7610221 HAS SOUPS 7610221 WITH SCORE 7618878.895
AT ITER 3737 NEW BEST:: SOT 15895219 SOS 8657721 HAS SOPS 8657721 HAS SOUS 7610221 HAS SOUPS 7610221 WITH SCORE 7618878.721
AT ITER 3739 NEW BEST:: SOT 15895219 SOS 8657668 HAS SOPS 8657668 HAS SOUS 7610221 HAS SOUPS 7610221 WITH SCORE 7618878.668
AT ITER 3740 NEW BEST:: SOT 15895219 SOS 8658132 HAS SOPS 8658132 HAS SOUS 7609769 HAS SOUPS 7609769 WITH SCORE 7618427.132
AT ITER 3742 NEW BEST:: SOT 15895219 SOS 8657801 HAS SOPS 8657801 HAS SOUS 7609769 HAS SOUPS 7609769 WITH SCORE 7618426.801
AT ITER 3746 NEW BEST:: SOT 15889491 SOS 8674124 HAS SOPS 8674124 HAS SOUS 7607542 HAS SOUPS 7607542 WITH SCORE 7616216.124
AT ITER 3750 NEW BEST:: SOT 15889491 SOS 8672481 HAS SOPS 8672481 HAS SOUS 7607542 HAS SOUPS 7607542 WITH SCORE 7616214.481
AT ITER 3752 NEW BEST:: SOT 15889491 SOS 8670742 HAS SOPS 8670742 HAS SOUS 7607542 HAS SOUPS 7607542 WITH SCORE 7616212.742
AT ITER 3755 NEW BEST:: SOT 15889491 SOS 8670439 HAS SOPS 8670439 HAS SOUS 7607542 HAS SOUPS 7607542 WITH SCORE 7616212.439
AT ITER 3756 NEW BEST:: SOT 15889491 SOS 8670344 HAS SOPS 8670344 HAS SOUS 7607542 HAS SOUPS 7607542 WITH SCORE 7616212.344
AT ITER 3761 NEW BEST:: SOT 15887970 SOS 8668823 HAS SOPS 8668823 HAS SOUS 7606021 HAS SOUPS 7606021 WITH SCORE 7614689.823
AT ITER 3762 NEW BEST:: SOT 15887970 SOS 8668615 HAS SOPS 8668615 HAS SOUS 7606021 HAS SOUPS 7606021 WITH SCORE 7614689.615
AT ITER 3771 NEW BEST:: SOT 15881123 SOS 8670203 HAS SOPS 8670203 HAS SOUS 7599917 HAS SOUPS 7599917 WITH SCORE 7608587.203
AT ITER 3772 NEW BEST:: SOT 15881548 SOS 8668933 HAS SOPS 8668933 HAS SOUS 7599178 HAS SOUPS 7599178 WITH SCORE 7607846.933
AT ITER 3775 NEW BEST:: SOT 15880193 SOS 8672426 HAS SOPS 8672426 HAS SOUS 7598024 HAS SOUPS 7598024 WITH SCORE 7606696.426
AT ITER 3782 NEW BEST:: SOT 15880193 SOS 8672366 HAS SOPS 8672366 HAS SOUS 7598024 HAS SOUPS 7598024 WITH SCORE 7606696.366
AT ITER 3783 NEW BEST:: SOT 15880129 SOS 8671937 HAS SOPS 8671937 HAS SOUS 7597595 HAS SOUPS 7597595 WITH SCORE 7606266.937
AT ITER 3785 NEW BEST:: SOT 15877932 SOS 8669695 HAS SOPS 8669695 HAS SOUS 7594847 HAS SOUPS 7594847 WITH SCORE 7603516.695
AT ITER 3788 NEW BEST:: SOT 15875474 SOS 8670463 HAS SOPS 8670463 HAS SOUS 7594255 HAS SOUPS 7594255 WITH SCORE 7602925.463
AT ITER 3789 NEW BEST:: SOT 15875474 SOS 8670425 HAS SOPS 8670425 HAS SOUS 7594255 HAS SOUPS 7594255 WITH SCORE 7602925.425
AT ITER 3802 NEW BEST:: SOT 15873930 SOS 8672700 HAS SOPS 8672700 HAS SOUS 7593358 HAS SOUPS 7593358 WITH SCORE 7602030.7
AT ITER 3803 NEW BEST:: SOT 15873930 SOS 8672668 HAS SOPS 8672668 HAS SOUS 7593358 HAS SOUPS 7593358 WITH SCORE 7602030.668
AT ITER 3806 NEW BEST:: SOT 15873920 SOS 8672491 HAS SOPS 8672491 HAS SOUS 7593186 HAS SOUPS 7593186 WITH SCORE 7601858.491
AT ITER 3809 NEW BEST:: SOT 15873234 SOS 8671805 HAS SOPS 8671805 HAS SOUS 7592231 HAS SOUPS 7592231 WITH SCORE 7600902.805
AT ITER 3811 NEW BEST:: SOT 15872647 SOS 8671218 HAS SOPS 8671218 HAS SOUS 7591794 HAS SOUPS 7591794 WITH SCORE 7600465.218
AT ITER 3813 NEW BEST:: SOT 15872449 SOS 8670702 HAS SOPS 8670702 HAS SOUS 7591400 HAS SOUPS 7591400 WITH SCORE 7600070.702
AT ITER 3817 NEW BEST:: SOT 15872449 SOS 8669980 HAS SOPS 8669980 HAS SOUS 7591400 HAS SOUPS 7591400 WITH SCORE 7600069.98
AT ITER 3831 NEW BEST:: SOT 15869253 SOS 8674244 HAS SOPS 8674244 HAS SOUS 7588872 HAS SOUPS 7588872 WITH SCORE 7597546.244
AT ITER 3834 NEW BEST:: SOT 15866406 SOS 8679243 HAS SOPS 8679243 HAS SOUS 7587287 HAS SOUPS 7587287 WITH SCORE 7595966.243
AT ITER 3837 NEW BEST:: SOT 15866406 SOS 8678586 HAS SOPS 8678586 HAS SOUS 7587095 HAS SOUPS 7587095 WITH SCORE 7595773.586
AT ITER 3838 NEW BEST:: SOT 15861272 SOS 8704426 HAS SOPS 8704426 HAS SOUS 7584659 HAS SOUPS 7584659 WITH SCORE 7593363.426
AT ITER 3839 NEW BEST:: SOT 15855263 SOS 8700954 HAS SOPS 8700954 HAS SOUS 7583399 HAS SOUPS 7583399 WITH SCORE 7592099.954
AT ITER 3841 NEW BEST:: SOT 15855263 SOS 8700636 HAS SOPS 8700636 HAS SOUS 7583399 HAS SOUPS 7583399 WITH SCORE 7592099.636
AT ITER 3845 NEW BEST:: SOT 15855263 SOS 8700042 HAS SOPS 8700042 HAS SOUS 7582805 HAS SOUPS 7582805 WITH SCORE 7591505.042
AT ITER 3855 NEW BEST:: SOT 15855551 SOS 8699576 HAS SOPS 8699576 HAS SOUS 7582306 HAS SOUPS 7582306 WITH SCORE 7591005.576
AT ITER 3858 NEW BEST:: SOT 15855551 SOS 8698920 HAS SOPS 8698920 HAS SOUS 7582306 HAS SOUPS 7582306 WITH SCORE 7591004.92
AT ITER 3862 NEW BEST:: SOT 15855463 SOS 8698832 HAS SOPS 8698832 HAS SOUS 7582187 HAS SOUPS 7582187 WITH SCORE 7590885.832
AT ITER 3865 NEW BEST:: SOT 15855337 SOS 8698706 HAS SOPS 8698706 HAS SOUS 7582095 HAS SOUPS 7582095 WITH SCORE 7590793.706
AT ITER 3867 NEW BEST:: SOT 15849892 SOS 8700895 HAS SOPS 8700895 HAS SOUS 7579178 HAS SOUPS 7579178 WITH SCORE 7587878.895
AT ITER 3871 NEW BEST:: SOT 15849892 SOS 8700599 HAS SOPS 8700599 HAS SOUS 7579178 HAS SOUPS 7579178 WITH SCORE 7587878.599
AT ITER 3872 NEW BEST:: SOT 15849964 SOS 8689389 HAS SOPS 8689389 HAS SOUS 7578502 HAS SOUPS 7578502 WITH SCORE 7587191.389
AT ITER 3873 NEW BEST:: SOT 15849964 SOS 8689367 HAS SOPS 8689367 HAS SOUS 7578502 HAS SOUPS 7578502 WITH SCORE 7587191.367
AT ITER 3874 NEW BEST:: SOT 15849280 SOS 8688851 HAS SOPS 8688851 HAS SOUS 7578260 HAS SOUPS 7578260 WITH SCORE 7586948.851
AT ITER 3880 NEW BEST:: SOT 15849280 SOS 8688781 HAS SOPS 8688781 HAS SOUS 7578260 HAS SOUPS 7578260 WITH SCORE 7586948.781
AT ITER 3882 NEW BEST:: SOT 15849887 SOS 8688835 HAS SOPS 8688835 HAS SOUS 7578154 HAS SOUPS 7578154 WITH SCORE 7586842.835
AT ITER 3883 NEW BEST:: SOT 15850059 SOS 8688632 HAS SOPS 8688632 HAS SOUS 7577626 HAS SOUPS 7577626 WITH SCORE 7586314.632
AT ITER 3884 NEW BEST:: SOT 15848919 SOS 8686700 HAS SOPS 8686700 HAS SOUS 7575586 HAS SOUPS 7575586 WITH SCORE 7584272.7
AT ITER 3886 NEW BEST:: SOT 15847839 SOS 8685904 HAS SOPS 8685904 HAS SOUS 7574768 HAS SOUPS 7574768 WITH SCORE 7583453.904
AT ITER 3899 NEW BEST:: SOT 15848101 SOS 8685645 HAS SOPS 8685645 HAS SOUS 7574216 HAS SOUPS 7574216 WITH SCORE 7582901.645
AT ITER 3901 NEW BEST:: SOT 15848493 SOS 8678024 HAS SOPS 8678024 HAS SOUS 7573273 HAS SOUPS 7573273 WITH SCORE 7581951.024
AT ITER 3902 NEW BEST:: SOT 15848307 SOS 8677869 HAS SOPS 8677869 HAS SOUS 7573180 HAS SOUPS 7573180 WITH SCORE 7581857.869
AT ITER 3909 NEW BEST:: SOT 15849090 SOS 8678524 HAS SOPS 8678524 HAS SOUS 7573131 HAS SOUPS 7573131 WITH SCORE 7581809.524
AT ITER 3911 NEW BEST:: SOT 15849090 SOS 8677602 HAS SOPS 8677602 HAS SOUS 7573131 HAS SOUPS 7573131 WITH SCORE 7581808.602
AT ITER 3915 NEW BEST:: SOT 15848635 SOS 8676909 HAS SOPS 8676909 HAS SOUS 7572335 HAS SOUPS 7572335 WITH SCORE 7581011.909
AT ITER 3916 NEW BEST:: SOT 15848635 SOS 8676383 HAS SOPS 8676383 HAS SOUS 7572335 HAS SOUPS 7572335 WITH SCORE 7581011.383
AT ITER 3920 NEW BEST:: SOT 15848635 SOS 8676230 HAS SOPS 8676230 HAS SOUS 7572335 HAS SOUPS 7572335 WITH SCORE 7581011.23
AT ITER 3923 NEW BEST:: SOT 15848635 SOS 8675655 HAS SOPS 8675655 HAS SOUS 7572335 HAS SOUPS 7572335 WITH SCORE 7581010.655
AT ITER 3927 NEW BEST:: SOT 15848635 SOS 8675430 HAS SOPS 8675430 HAS SOUS 7572335 HAS SOUPS 7572335 WITH SCORE 7581010.43
AT ITER 3929 NEW BEST:: SOT 15848336 SOS 8683455 HAS SOPS 8683455 HAS SOUS 7572036 HAS SOUPS 7572036 WITH SCORE 7580719.455
AT ITER 3932 NEW BEST:: SOT 15842398 SOS 8681209 HAS SOPS 8681209 HAS SOUS 7567586 HAS SOUPS 7567586 WITH SCORE 7576267.209
AT ITER 3937 NEW BEST:: SOT 15842077 SOS 8681059 HAS SOPS 8681059 HAS SOUS 7567436 HAS SOUPS 7567436 WITH SCORE 7576117.059
AT ITER 3944 NEW BEST:: SOT 15838541 SOS 8677523 HAS SOPS 8677523 HAS SOUS 7563900 HAS SOUPS 7563900 WITH SCORE 7572577.523
AT ITER 3948 NEW BEST:: SOT 15838541 SOS 8677367 HAS SOPS 8677367 HAS SOUS 7563900 HAS SOUPS 7563900 WITH SCORE 7572577.367
AT ITER 3952 NEW BEST:: SOT 15838541 SOS 8676587 HAS SOPS 8676587 HAS SOUS 7563698 HAS SOUPS 7563698 WITH SCORE 7572374.587
AT ITER 3956 NEW BEST:: SOT 15838330 SOS 8691443 HAS SOPS 8691443 HAS SOUS 7563487 HAS SOUPS 7563487 WITH SCORE 7572178.443
AT ITER 3959 NEW BEST:: SOT 15838330 SOS 8689932 HAS SOPS 8689932 HAS SOUS 7563487 HAS SOUPS 7563487 WITH SCORE 7572176.932
AT ITER 3961 NEW BEST:: SOT 15838330 SOS 8689910 HAS SOPS 8689910 HAS SOUS 7563487 HAS SOUPS 7563487 WITH SCORE 7572176.91
AT ITER 3967 NEW BEST:: SOT 15838330 SOS 8689597 HAS SOPS 8689597 HAS SOUS 7563487 HAS SOUPS 7563487 WITH SCORE 7572176.597
AT ITER 3968 NEW BEST:: SOT 15839593 SOS 8685812 HAS SOPS 8685812 HAS SOUS 7562446 HAS SOUPS 7562446 WITH SCORE 7571131.812
AT ITER 3969 NEW BEST:: SOT 15839593 SOS 8685679 HAS SOPS 8685679 HAS SOUS 7562446 HAS SOUPS 7562446 WITH SCORE 7571131.679
AT ITER 3976 NEW BEST:: SOT 15839692 SOS 8685625 HAS SOPS 8685625 HAS SOUS 7562186 HAS SOUPS 7562186 WITH SCORE 7570871.625
AT ITER 3977 NEW BEST:: SOT 15839692 SOS 8685470 HAS SOPS 8685470 HAS SOUS 7562186 HAS SOUPS 7562186 WITH SCORE 7570871.47
AT ITER 3984 NEW BEST:: SOT 15839692 SOS 8684870 HAS SOPS 8684870 HAS SOUS 7561677 HAS SOUPS 7561677 WITH SCORE 7570361.87
AT ITER 3988 NEW BEST:: SOT 15834762 SOS 8698826 HAS SOPS 8698826 HAS SOUS 7560339 HAS SOUPS 7560339 WITH SCORE 7569037.826
AT ITER 4003 NEW BEST:: SOT 15829922 SOS 8701411 HAS SOPS 8701411 HAS SOUS 7558314 HAS SOUPS 7558314 WITH SCORE 7567015.411
AT ITER 4005 NEW BEST:: SOT 15829504 SOS 8701217 HAS SOPS 8701217 HAS SOUS 7558120 HAS SOUPS 7558120 WITH SCORE 7566821.217
AT ITER 4007 NEW BEST:: SOT 15827839 SOS 8699312 HAS SOPS 8699312 HAS SOUS 7556489 HAS SOUPS 7556489 WITH SCORE 7565188.312
AT ITER 4014 NEW BEST:: SOT 15824535 SOS 8697025 HAS SOPS 8697025 HAS SOUS 7554381 HAS SOUPS 7554381 WITH SCORE 7563078.025
AT ITER 4017 NEW BEST:: SOT 15824489 SOS 8696979 HAS SOPS 8696979 HAS SOUS 7554335 HAS SOUPS 7554335 WITH SCORE 7563031.979
AT ITER 4019 NEW BEST:: SOT 15824489 SOS 8696699 HAS SOPS 8696699 HAS SOUS 7554251 HAS SOUPS 7554251 WITH SCORE 7562947.699
AT ITER 4026 NEW BEST:: SOT 15824380 SOS 8696667 HAS SOPS 8696667 HAS SOUS 7554247 HAS SOUPS 7554247 WITH SCORE 7562943.667
AT ITER 4036 NEW BEST:: SOT 15824380 SOS 8695383 HAS SOPS 8695383 HAS SOUS 7554247 HAS SOUPS 7554247 WITH SCORE 7562942.383
AT ITER 4038 NEW BEST:: SOT 15824380 SOS 8694395 HAS SOPS 8694395 HAS SOUS 7553711 HAS SOUPS 7553711 WITH SCORE 7562405.395
AT ITER 4040 NEW BEST:: SOT 15824380 SOS 8693921 HAS SOPS 8693921 HAS SOUS 7553409 HAS SOUPS 7553409 WITH SCORE 7562102.921
AT ITER 4043 NEW BEST:: SOT 15821369 SOS 8691392 HAS SOPS 8691392 HAS SOUS 7550540 HAS SOUPS 7550540 WITH SCORE 7559231.392
AT ITER 4046 NEW BEST:: SOT 15815786 SOS 8694530 HAS SOPS 8694530 HAS SOUS 7547946 HAS SOUPS 7547946 WITH SCORE 7556640.53
AT ITER 4047 NEW BEST:: SOT 15815428 SOS 8694418 HAS SOPS 8694418 HAS SOUS 7547664 HAS SOUPS 7547664 WITH SCORE 7556358.418
AT ITER 4048 NEW BEST:: SOT 15815428 SOS 8694480 HAS SOPS 8694480 HAS SOUS 7547599 HAS SOUPS 7547599 WITH SCORE 7556293.48
AT ITER 4052 NEW BEST:: SOT 15815428 SOS 8694374 HAS SOPS 8694374 HAS SOUS 7547599 HAS SOUPS 7547599 WITH SCORE 7556293.374
AT ITER 4054 NEW BEST:: SOT 15810195 SOS 8689613 HAS SOPS 8689613 HAS SOUS 7542772 HAS SOUPS 7542772 WITH SCORE 7551461.613
AT ITER 4056 NEW BEST:: SOT 15810075 SOS 8688880 HAS SOPS 8688880 HAS SOUS 7542379 HAS SOUPS 7542379 WITH SCORE 7551067.88
AT ITER 4057 NEW BEST:: SOT 15810075 SOS 8687297 HAS SOPS 8687297 HAS SOUS 7542379 HAS SOUPS 7542379 WITH SCORE 7551066.297
AT ITER 4059 NEW BEST:: SOT 15810075 SOS 8687256 HAS SOPS 8687256 HAS SOUS 7542379 HAS SOUPS 7542379 WITH SCORE 7551066.256
AT ITER 4060 NEW BEST:: SOT 15802256 SOS 8680513 HAS SOPS 8680513 HAS SOUS 7535323 HAS SOUPS 7535323 WITH SCORE 7544003.513
AT ITER 4061 NEW BEST:: SOT 15802057 SOS 8680284 HAS SOPS 8680284 HAS SOUS 7535019 HAS SOUPS 7535019 WITH SCORE 7543699.284
AT ITER 4062 NEW BEST:: SOT 15794672 SOS 8676049 HAS SOPS 8676049 HAS SOUS 7528211 HAS SOUPS 7528211 WITH SCORE 7536887.049
AT ITER 4064 NEW BEST:: SOT 15789966 SOS 8672308 HAS SOPS 8672308 HAS SOUS 7524410 HAS SOUPS 7524410 WITH SCORE 7533082.308
AT ITER 4068 NEW BEST:: SOT 15786409 SOS 8675188 HAS SOPS 8675188 HAS SOUS 7521393 HAS SOUPS 7521393 WITH SCORE 7530068.188
AT ITER 4075 NEW BEST:: SOT 15786409 SOS 8675105 HAS SOPS 8675105 HAS SOUS 7521393 HAS SOUPS 7521393 WITH SCORE 7530068.105
AT ITER 4076 NEW BEST:: SOT 15786409 SOS 8673939 HAS SOPS 8673939 HAS SOUS 7520493 HAS SOUPS 7520493 WITH SCORE 7529166.939
AT ITER 4077 NEW BEST:: SOT 15786409 SOS 8673416 HAS SOPS 8673416 HAS SOUS 7520493 HAS SOUPS 7520493 WITH SCORE 7529166.416
AT ITER 4080 NEW BEST:: SOT 15786409 SOS 8672616 HAS SOPS 8672616 HAS SOUS 7520396 HAS SOUPS 7520396 WITH SCORE 7529068.616
AT ITER 4084 NEW BEST:: SOT 15786409 SOS 8671022 HAS SOPS 8671022 HAS SOUS 7520396 HAS SOUPS 7520396 WITH SCORE 7529067.022
AT ITER 4090 NEW BEST:: SOT 15786409 SOS 8666302 HAS SOPS 8666302 HAS SOUS 7517667 HAS SOUPS 7517667 WITH SCORE 7526333.302
AT ITER 4092 NEW BEST:: SOT 15777725 SOS 8660295 HAS SOPS 8660295 HAS SOUS 7510118 HAS SOUPS 7510118 WITH SCORE 7518778.295
AT ITER 4093 NEW BEST:: SOT 15772221 SOS 8656845 HAS SOPS 8656845 HAS SOUS 7506413 HAS SOUPS 7506413 WITH SCORE 7515069.845
AT ITER 4099 NEW BEST:: SOT 15772141 SOS 8656873 HAS SOPS 8656873 HAS SOUS 7506338 HAS SOUPS 7506338 WITH SCORE 7514994.873
AT ITER 4103 NEW BEST:: SOT 15772141 SOS 8655578 HAS SOPS 8655578 HAS SOUS 7505960 HAS SOUPS 7505960 WITH SCORE 7514615.578
AT ITER 4107 NEW BEST:: SOT 15772141 SOS 8655135 HAS SOPS 8655135 HAS SOUS 7505960 HAS SOUPS 7505960 WITH SCORE 7514615.135
AT ITER 4115 NEW BEST:: SOT 15772141 SOS 8654854 HAS SOPS 8654854 HAS SOUS 7505764 HAS SOUPS 7505764 WITH SCORE 7514418.854
AT ITER 4117 NEW BEST:: SOT 15761247 SOS 8650234 HAS SOPS 8650234 HAS SOUS 7497490 HAS SOUPS 7497490 WITH SCORE 7506140.234
AT ITER 4118 NEW BEST:: SOT 15760541 SOS 8651924 HAS SOPS 8651924 HAS SOUS 7496784 HAS SOUPS 7496784 WITH SCORE 7505435.924
AT ITER 4122 NEW BEST:: SOT 15760541 SOS 8651691 HAS SOPS 8651691 HAS SOUS 7496784 HAS SOUPS 7496784 WITH SCORE 7505435.691
AT ITER 4125 NEW BEST:: SOT 15760541 SOS 8651045 HAS SOPS 8651045 HAS SOUS 7495612 HAS SOUPS 7495612 WITH SCORE 7504263.045
AT ITER 4129 NEW BEST:: SOT 15756966 SOS 8648308 HAS SOPS 8648308 HAS SOUS 7492758 HAS SOUPS 7492758 WITH SCORE 7501406.308
AT ITER 4133 NEW BEST:: SOT 15756846 SOS 8648188 HAS SOPS 8648188 HAS SOUS 7492638 HAS SOUPS 7492638 WITH SCORE 7501286.188
AT ITER 4136 NEW BEST:: SOT 15756846 SOS 8643672 HAS SOPS 8643672 HAS SOUS 7491544 HAS SOUPS 7491544 WITH SCORE 7500187.672
AT ITER 4141 NEW BEST:: SOT 15756846 SOS 8643665 HAS SOPS 8643665 HAS SOUS 7491544 HAS SOUPS 7491544 WITH SCORE 7500187.665
AT ITER 4142 NEW BEST:: SOT 15756846 SOS 8643303 HAS SOPS 8643303 HAS SOUS 7491544 HAS SOUPS 7491544 WITH SCORE 7500187.303
AT ITER 4143 NEW BEST:: SOT 15756846 SOS 8643117 HAS SOPS 8643117 HAS SOUS 7491544 HAS SOUPS 7491544 WITH SCORE 7500187.117
AT ITER 4146 NEW BEST:: SOT 15751342 SOS 8660240 HAS SOPS 8660240 HAS SOUS 7487086 HAS SOUPS 7487086 WITH SCORE 7495746.24
AT ITER 4148 NEW BEST:: SOT 15750798 SOS 8661399 HAS SOPS 8661399 HAS SOUS 7486892 HAS SOUPS 7486892 WITH SCORE 7495553.399
AT ITER 4153 NEW BEST:: SOT 15750402 SOS 8659738 HAS SOPS 8659738 HAS SOUS 7485579 HAS SOUPS 7485579 WITH SCORE 7494238.738
AT ITER 4154 NEW BEST:: SOT 15750402 SOS 8659248 HAS SOPS 8659248 HAS SOUS 7485579 HAS SOUPS 7485579 WITH SCORE 7494238.248
AT ITER 4155 NEW BEST:: SOT 15749609 SOS 8658913 HAS SOPS 8658913 HAS SOUS 7485252 HAS SOUPS 7485252 WITH SCORE 7493910.913
AT ITER 4157 NEW BEST:: SOT 15749592 SOS 8658738 HAS SOPS 8658738 HAS SOUS 7484912 HAS SOUPS 7484912 WITH SCORE 7493570.738
AT ITER 4162 NEW BEST:: SOT 15749667 SOS 8658742 HAS SOPS 8658742 HAS SOUS 7484363 HAS SOUPS 7484363 WITH SCORE 7493021.742
AT ITER 4163 NEW BEST:: SOT 15745291 SOS 8657187 HAS SOPS 8657187 HAS SOUS 7481916 HAS SOUPS 7481916 WITH SCORE 7490573.187
AT ITER 4172 NEW BEST:: SOT 15745291 SOS 8657088 HAS SOPS 8657088 HAS SOUS 7481916 HAS SOUPS 7481916 WITH SCORE 7490573.088
AT ITER 4173 NEW BEST:: SOT 15744646 SOS 8652271 HAS SOPS 8652271 HAS SOUS 7479844 HAS SOUPS 7479844 WITH SCORE 7488496.271
AT ITER 4182 NEW BEST:: SOT 15744646 SOS 8652171 HAS SOPS 8652171 HAS SOUS 7479844 HAS SOUPS 7479844 WITH SCORE 7488496.171
AT ITER 4183 NEW BEST:: SOT 15744641 SOS 8652166 HAS SOPS 8652166 HAS SOUS 7479839 HAS SOUPS 7479839 WITH SCORE 7488491.166
AT ITER 4184 NEW BEST:: SOT 15744515 SOS 8653739 HAS SOPS 8653739 HAS SOUS 7479812 HAS SOUPS 7479812 WITH SCORE 7488465.739
AT ITER 4185 NEW BEST:: SOT 15744515 SOS 8653739 HAS SOPS 8653739 HAS SOUS 7479550 HAS SOUPS 7479550 WITH SCORE 7488203.739
AT ITER 4189 NEW BEST:: SOT 15744515 SOS 8651272 HAS SOPS 8651272 HAS SOUS 7479550 HAS SOUPS 7479550 WITH SCORE 7488201.272
AT ITER 4193 NEW BEST:: SOT 15744357 SOS 8651114 HAS SOPS 8651114 HAS SOUS 7479313 HAS SOUPS 7479313 WITH SCORE 7487964.114
AT ITER 4198 NEW BEST:: SOT 15744276 SOS 8651033 HAS SOPS 8651033 HAS SOUS 7479233 HAS SOUPS 7479233 WITH SCORE 7487884.033
AT ITER 4201 NEW BEST:: SOT 15744276 SOS 8650611 HAS SOPS 8650611 HAS SOUS 7478628 HAS SOUPS 7478628 WITH SCORE 7487278.611
AT ITER 4205 NEW BEST:: SOT 15744276 SOS 8650236 HAS SOPS 8650236 HAS SOUS 7478628 HAS SOUPS 7478628 WITH SCORE 7487278.236
AT ITER 4213 NEW BEST:: SOT 15744276 SOS 8649217 HAS SOPS 8649217 HAS SOUS 7478628 HAS SOUPS 7478628 WITH SCORE 7487277.217
AT ITER 4214 NEW BEST:: SOT 15744276 SOS 8649213 HAS SOPS 8649213 HAS SOUS 7478628 HAS SOUPS 7478628 WITH SCORE 7487277.213
AT ITER 4216 NEW BEST:: SOT 15741400 SOS 8650703 HAS SOPS 8650703 HAS SOUS 7477544 HAS SOUPS 7477544 WITH SCORE 7486194.703
AT ITER 4222 NEW BEST:: SOT 15738802 SOS 8650454 HAS SOPS 8650454 HAS SOUS 7476013 HAS SOUPS 7476013 WITH SCORE 7484663.454
AT ITER 4225 NEW BEST:: SOT 15738802 SOS 8649682 HAS SOPS 8649682 HAS SOUS 7476007 HAS SOUPS 7476007 WITH SCORE 7484656.682
AT ITER 4229 NEW BEST:: SOT 15738401 SOS 8648754 HAS SOPS 8648754 HAS SOUS 7475518 HAS SOUPS 7475518 WITH SCORE 7484166.754
AT ITER 4230 NEW BEST:: SOT 15738966 SOS 8648679 HAS SOPS 8648679 HAS SOUS 7475425 HAS SOUPS 7475425 WITH SCORE 7484073.679
AT ITER 4232 NEW BEST:: SOT 15739428 SOS 8648855 HAS SOPS 8648855 HAS SOUS 7474707 HAS SOUPS 7474707 WITH SCORE 7483355.855
AT ITER 4233 NEW BEST:: SOT 15739428 SOS 8648852 HAS SOPS 8648852 HAS SOUS 7474704 HAS SOUPS 7474704 WITH SCORE 7483352.852
AT ITER 4236 NEW BEST:: SOT 15737725 SOS 8649525 HAS SOPS 8649525 HAS SOUS 7473859 HAS SOUPS 7473859 WITH SCORE 7482508.525
AT ITER 4244 NEW BEST:: SOT 15737725 SOS 8649273 HAS SOPS 8649273 HAS SOUS 7473859 HAS SOUPS 7473859 WITH SCORE 7482508.273
AT ITER 4246 NEW BEST:: SOT 15737725 SOS 8649133 HAS SOPS 8649133 HAS SOUS 7473859 HAS SOUPS 7473859 WITH SCORE 7482508.133
AT ITER 4247 NEW BEST:: SOT 15737725 SOS 8649036 HAS SOPS 8649036 HAS SOUS 7473859 HAS SOUPS 7473859 WITH SCORE 7482508.036
AT ITER 4258 NEW BEST:: SOT 15733382 SOS 8654386 HAS SOPS 8654386 HAS SOUS 7473396 HAS SOUPS 7473396 WITH SCORE 7482050.386
AT ITER 4260 NEW BEST:: SOT 15733382 SOS 8654163 HAS SOPS 8654163 HAS SOUS 7473396 HAS SOUPS 7473396 WITH SCORE 7482050.163
AT ITER 4261 NEW BEST:: SOT 15733382 SOS 8652709 HAS SOPS 8652709 HAS SOUS 7473087 HAS SOUPS 7473087 WITH SCORE 7481739.709
AT ITER 4264 NEW BEST:: SOT 15728196 SOS 8688591 HAS SOPS 8688591 HAS SOUS 7468933 HAS SOUPS 7468933 WITH SCORE 7477621.591
AT ITER 4269 NEW BEST:: SOT 15728196 SOS 8687766 HAS SOPS 8687766 HAS SOUS 7468933 HAS SOUPS 7468933 WITH SCORE 7477620.766
AT ITER 4273 NEW BEST:: SOT 15728517 SOS 8687418 HAS SOPS 8687418 HAS SOUS 7468345 HAS SOUPS 7468345 WITH SCORE 7477032.418
AT ITER 4278 NEW BEST:: SOT 15728517 SOS 8687056 HAS SOPS 8687056 HAS SOUS 7468345 HAS SOUPS 7468345 WITH SCORE 7477032.056
AT ITER 4293 NEW BEST:: SOT 15728517 SOS 8686720 HAS SOPS 8686720 HAS SOUS 7468345 HAS SOUPS 7468345 WITH SCORE 7477031.72
AT ITER 4294 NEW BEST:: SOT 15726731 SOS 8685691 HAS SOPS 8685691 HAS SOUS 7467592 HAS SOUPS 7467592 WITH SCORE 7476277.691
AT ITER 4296 NEW BEST:: SOT 15726361 SOS 8685321 HAS SOPS 8685321 HAS SOUS 7467222 HAS SOUPS 7467222 WITH SCORE 7475907.321
AT ITER 4308 NEW BEST:: SOT 15726361 SOS 8684942 HAS SOPS 8684942 HAS SOUS 7467222 HAS SOUPS 7467222 WITH SCORE 7475906.942
AT ITER 4309 NEW BEST:: SOT 15726361 SOS 8684817 HAS SOPS 8684817 HAS SOUS 7467097 HAS SOUPS 7467097 WITH SCORE 7475781.817
AT ITER 4313 NEW BEST:: SOT 15726361 SOS 8684049 HAS SOPS 8684049 HAS SOUS 7467097 HAS SOUPS 7467097 WITH SCORE 7475781.049
AT ITER 4316 NEW BEST:: SOT 15726061 SOS 8683869 HAS SOPS 8683869 HAS SOUS 7466977 HAS SOUPS 7466977 WITH SCORE 7475660.869
AT ITER 4324 NEW BEST:: SOT 15726061 SOS 8679731 HAS SOPS 8679731 HAS SOUS 7465991 HAS SOUPS 7465991 WITH SCORE 7474670.731
AT ITER 4328 NEW BEST:: SOT 15726061 SOS 8680143 HAS SOPS 8680143 HAS SOUS 7465586 HAS SOUPS 7465586 WITH SCORE 7474266.143
AT ITER 4340 NEW BEST:: SOT 15726247 SOS 8679714 HAS SOPS 8679714 HAS SOUS 7465439 HAS SOUPS 7465439 WITH SCORE 7474118.714
AT ITER 4341 NEW BEST:: SOT 15718030 SOS 8679452 HAS SOPS 8679452 HAS SOUS 7460627 HAS SOUPS 7460627 WITH SCORE 7469306.452
AT ITER 4345 NEW BEST:: SOT 15718030 SOS 8678837 HAS SOPS 8678837 HAS SOUS 7460509 HAS SOUPS 7460509 WITH SCORE 7469187.837
AT ITER 4347 NEW BEST:: SOT 15718030 SOS 8678674 HAS SOPS 8678674 HAS SOUS 7460509 HAS SOUPS 7460509 WITH SCORE 7469187.674
AT ITER 4352 NEW BEST:: SOT 15718030 SOS 8677357 HAS SOPS 8677357 HAS SOUS 7460509 HAS SOUPS 7460509 WITH SCORE 7469186.357
AT ITER 4363 NEW BEST:: SOT 15717974 SOS 8677179 HAS SOPS 8677179 HAS SOUS 7460241 HAS SOUPS 7460241 WITH SCORE 7468918.179
AT ITER 4364 NEW BEST:: SOT 15717680 SOS 8677511 HAS SOPS 8677511 HAS SOUS 7460192 HAS SOUPS 7460192 WITH SCORE 7468869.511
AT ITER 4366 NEW BEST:: SOT 15717680 SOS 8676007 HAS SOPS 8676007 HAS SOUS 7460192 HAS SOUPS 7460192 WITH SCORE 7468868.007
AT ITER 4371 NEW BEST:: SOT 15717727 SOS 8676345 HAS SOPS 8676345 HAS SOUS 7459389 HAS SOUPS 7459389 WITH SCORE 7468065.345
AT ITER 4374 NEW BEST:: SOT 15717727 SOS 8677378 HAS SOPS 8677378 HAS SOUS 7459273 HAS SOUPS 7459273 WITH SCORE 7467950.378
AT ITER 4378 NEW BEST:: SOT 15707568 SOS 8669476 HAS SOPS 8669476 HAS SOUS 7453360 HAS SOUPS 7453360 WITH SCORE 7462029.476
AT ITER 4379 NEW BEST:: SOT 15707665 SOS 8668924 HAS SOPS 8668924 HAS SOUS 7453182 HAS SOUPS 7453182 WITH SCORE 7461850.924
AT ITER 4380 NEW BEST:: SOT 15706102 SOS 8667061 HAS SOPS 8667061 HAS SOUS 7451554 HAS SOUPS 7451554 WITH SCORE 7460221.061
AT ITER 4385 NEW BEST:: SOT 15698553 SOS 8660755 HAS SOPS 8660755 HAS SOUS 7446839 HAS SOUPS 7446839 WITH SCORE 7455499.755
AT ITER 4387 NEW BEST:: SOT 15698553 SOS 8660593 HAS SOPS 8660593 HAS SOUS 7446839 HAS SOUPS 7446839 WITH SCORE 7455499.593
AT ITER 4399 NEW BEST:: SOT 15698553 SOS 8660153 HAS SOPS 8660153 HAS SOUS 7446839 HAS SOUPS 7446839 WITH SCORE 7455499.153
AT ITER 4402 NEW BEST:: SOT 15692456 SOS 8655619 HAS SOPS 8655619 HAS SOUS 7441373 HAS SOUPS 7441373 WITH SCORE 7450028.619
AT ITER 4408 NEW BEST:: SOT 15692456 SOS 8656617 HAS SOPS 8656617 HAS SOUS 7441365 HAS SOUPS 7441365 WITH SCORE 7450021.617
AT ITER 4410 NEW BEST:: SOT 15692456 SOS 8656276 HAS SOPS 8656276 HAS SOUS 7441365 HAS SOUPS 7441365 WITH SCORE 7450021.276
AT ITER 4419 NEW BEST:: SOT 15687445 SOS 8663416 HAS SOPS 8663416 HAS SOUS 7436950 HAS SOUPS 7436950 WITH SCORE 7445613.416
AT ITER 4422 NEW BEST:: SOT 15687445 SOS 8662466 HAS SOPS 8662466 HAS SOUS 7436933 HAS SOUPS 7436933 WITH SCORE 7445595.466
AT ITER 4423 NEW BEST:: SOT 15682780 SOS 8658951 HAS SOPS 8658951 HAS SOUS 7435003 HAS SOUPS 7435003 WITH SCORE 7443661.951
AT ITER 4427 NEW BEST:: SOT 15682780 SOS 8657794 HAS SOPS 8657794 HAS SOUS 7433742 HAS SOUPS 7433742 WITH SCORE 7442399.794
AT ITER 4430 NEW BEST:: SOT 15682780 SOS 8657589 HAS SOPS 8657589 HAS SOUS 7433742 HAS SOUPS 7433742 WITH SCORE 7442399.589
AT ITER 4446 NEW BEST:: SOT 15676293 SOS 8654719 HAS SOPS 8654719 HAS SOUS 7428364 HAS SOUPS 7428364 WITH SCORE 7437018.719
AT ITER 4453 NEW BEST:: SOT 15676293 SOS 8654176 HAS SOPS 8654176 HAS SOUS 7428364 HAS SOUPS 7428364 WITH SCORE 7437018.176
AT ITER 4459 NEW BEST:: SOT 15676293 SOS 8653405 HAS SOPS 8653405 HAS SOUS 7428364 HAS SOUPS 7428364 WITH SCORE 7437017.405
AT ITER 4464 NEW BEST:: SOT 15676293 SOS 8653057 HAS SOPS 8653057 HAS SOUS 7428364 HAS SOUPS 7428364 WITH SCORE 7437017.057
AT ITER 4465 NEW BEST:: SOT 15670201 SOS 8650948 HAS SOPS 8650948 HAS SOUS 7422996 HAS SOUPS 7422996 WITH SCORE 7431646.948
AT ITER 4473 NEW BEST:: SOT 15669259 SOS 8650006 HAS SOPS 8650006 HAS SOUS 7422560 HAS SOUPS 7422560 WITH SCORE 7431210.006
AT ITER 4477 NEW BEST:: SOT 15669259 SOS 8650003 HAS SOPS 8650003 HAS SOUS 7422560 HAS SOUPS 7422560 WITH SCORE 7431210.003
AT ITER 4480 NEW BEST:: SOT 15669259 SOS 8649836 HAS SOPS 8649836 HAS SOUS 7422560 HAS SOUPS 7422560 WITH SCORE 7431209.836
AT ITER 4483 NEW BEST:: SOT 15669259 SOS 8649316 HAS SOPS 8649316 HAS SOUS 7422560 HAS SOUPS 7422560 WITH SCORE 7431209.316
AT ITER 4487 NEW BEST:: SOT 15664979 SOS 8655398 HAS SOPS 8655398 HAS SOUS 7420417 HAS SOUPS 7420417 WITH SCORE 7429072.398
AT ITER 4488 NEW BEST:: SOT 15664979 SOS 8654719 HAS SOPS 8654719 HAS SOUS 7420417 HAS SOUPS 7420417 WITH SCORE 7429071.719
AT ITER 4492 NEW BEST:: SOT 15664979 SOS 8654009 HAS SOPS 8654009 HAS SOUS 7420417 HAS SOUPS 7420417 WITH SCORE 7429071.009
AT ITER 4494 NEW BEST:: SOT 15660445 SOS 8654560 HAS SOPS 8654560 HAS SOUS 7420034 HAS SOUPS 7420034 WITH SCORE 7428688.56
AT ITER 4498 NEW BEST:: SOT 15660445 SOS 8654560 HAS SOPS 8654560 HAS SOUS 7419692 HAS SOUPS 7419692 WITH SCORE 7428346.56
AT ITER 4507 NEW BEST:: SOT 15660445 SOS 8653928 HAS SOPS 8653928 HAS SOUS 7419692 HAS SOUPS 7419692 WITH SCORE 7428345.928
AT ITER 4508 NEW BEST:: SOT 15660445 SOS 8653006 HAS SOPS 8653006 HAS SOUS 7419692 HAS SOUPS 7419692 WITH SCORE 7428345.006
AT ITER 4511 NEW BEST:: SOT 15660445 SOS 8652287 HAS SOPS 8652287 HAS SOUS 7419446 HAS SOUPS 7419446 WITH SCORE 7428098.287
AT ITER 4514 NEW BEST:: SOT 15660445 SOS 8651024 HAS SOPS 8651024 HAS SOUS 7419446 HAS SOUPS 7419446 WITH SCORE 7428097.024
AT ITER 4520 NEW BEST:: SOT 15660445 SOS 8651115 HAS SOPS 8651115 HAS SOUS 7419437 HAS SOUPS 7419437 WITH SCORE 7428088.115
AT ITER 4521 NEW BEST:: SOT 15652773 SOS 8652132 HAS SOPS 8652132 HAS SOUS 7413193 HAS SOUPS 7413193 WITH SCORE 7421845.132
AT ITER 4526 NEW BEST:: SOT 15649635 SOS 8661533 HAS SOPS 8661533 HAS SOUS 7412474 HAS SOUPS 7412474 WITH SCORE 7421135.533
AT ITER 4536 NEW BEST:: SOT 15648062 SOS 8664860 HAS SOPS 8664860 HAS SOUS 7411645 HAS SOUPS 7411645 WITH SCORE 7420309.86
AT ITER 4540 NEW BEST:: SOT 15647948 SOS 8665775 HAS SOPS 8665775 HAS SOUS 7411575 HAS SOUPS 7411575 WITH SCORE 7420240.775
AT ITER 4549 NEW BEST:: SOT 15647948 SOS 8665652 HAS SOPS 8665652 HAS SOUS 7411575 HAS SOUPS 7411575 WITH SCORE 7420240.652
AT ITER 4553 NEW BEST:: SOT 15647799 SOS 8665493 HAS SOPS 8665493 HAS SOUS 7410934 HAS SOUPS 7410934 WITH SCORE 7419599.493
AT ITER 4557 NEW BEST:: SOT 15647633 SOS 8665380 HAS SOPS 8665380 HAS SOUS 7410821 HAS SOUPS 7410821 WITH SCORE 7419486.38
AT ITER 4561 NEW BEST:: SOT 15644309 SOS 8665512 HAS SOPS 8665512 HAS SOUS 7409727 HAS SOUPS 7409727 WITH SCORE 7418392.512
AT ITER 4564 NEW BEST:: SOT 15644309 SOS 8665410 HAS SOPS 8665410 HAS SOUS 7409453 HAS SOUPS 7409453 WITH SCORE 7418118.41
AT ITER 4566 NEW BEST:: SOT 15644304 SOS 8665369 HAS SOPS 8665369 HAS SOUS 7409260 HAS SOUPS 7409260 WITH SCORE 7417925.369
AT ITER 4567 NEW BEST:: SOT 15642884 SOS 8663949 HAS SOPS 8663949 HAS SOUS 7407349 HAS SOUPS 7407349 WITH SCORE 7416012.949
AT ITER 4585 NEW BEST:: SOT 15642884 SOS 8663594 HAS SOPS 8663594 HAS SOUS 7407349 HAS SOUPS 7407349 WITH SCORE 7416012.594
AT ITER 4591 NEW BEST:: SOT 15643336 SOS 8664046 HAS SOPS 8664046 HAS SOUS 7406416 HAS SOUPS 7406416 WITH SCORE 7415080.046
AT ITER 4594 NEW BEST:: SOT 15643071 SOS 8663060 HAS SOPS 8663060 HAS SOUS 7405430 HAS SOUPS 7405430 WITH SCORE 7414093.06
AT ITER 4596 NEW BEST:: SOT 15641994 SOS 8662460 HAS SOPS 8662460 HAS SOUS 7404830 HAS SOUPS 7404830 WITH SCORE 7413492.46
AT ITER 4597 NEW BEST:: SOT 15641994 SOS 8662179 HAS SOPS 8662179 HAS SOUS 7404830 HAS SOUPS 7404830 WITH SCORE 7413492.179
AT ITER 4598 NEW BEST:: SOT 15641994 SOS 8661255 HAS SOPS 8661255 HAS SOUS 7404830 HAS SOUPS 7404830 WITH SCORE 7413491.255
AT ITER 4601 NEW BEST:: SOT 15638482 SOS 8659056 HAS SOPS 8659056 HAS SOUS 7401318 HAS SOUPS 7401318 WITH SCORE 7409977.056
AT ITER 4609 NEW BEST:: SOT 15638476 SOS 8659050 HAS SOPS 8659050 HAS SOUS 7401312 HAS SOUPS 7401312 WITH SCORE 7409971.05
AT ITER 4611 NEW BEST:: SOT 15638476 SOS 8658300 HAS SOPS 8658300 HAS SOUS 7401312 HAS SOUPS 7401312 WITH SCORE 7409970.3
AT ITER 4617 NEW BEST:: SOT 15638485 SOS 8657952 HAS SOPS 8657952 HAS SOUS 7401013 HAS SOUPS 7401013 WITH SCORE 7409670.952
AT ITER 4618 NEW BEST:: SOT 15637691 SOS 8658033 HAS SOPS 8658033 HAS SOUS 7400550 HAS SOUPS 7400550 WITH SCORE 7409208.033
AT ITER 4619 NEW BEST:: SOT 15635286 SOS 8667091 HAS SOPS 8667091 HAS SOUS 7399225 HAS SOUPS 7399225 WITH SCORE 7407892.091
AT ITER 4625 NEW BEST:: SOT 15635286 SOS 8667396 HAS SOPS 8667396 HAS SOUS 7399089 HAS SOUPS 7399089 WITH SCORE 7407756.396
AT ITER 4638 NEW BEST:: SOT 15635286 SOS 8667305 HAS SOPS 8667305 HAS SOUS 7399089 HAS SOUPS 7399089 WITH SCORE 7407756.305
AT ITER 4648 NEW BEST:: SOT 15635286 SOS 8667305 HAS SOPS 8667305 HAS SOUS 7399002 HAS SOUPS 7399002 WITH SCORE 7407669.305
AT ITER 4662 NEW BEST:: SOT 15635286 SOS 8667123 HAS SOPS 8667123 HAS SOUS 7399002 HAS SOUPS 7399002 WITH SCORE 7407669.123
AT ITER 4672 NEW BEST:: SOT 15634276 SOS 8666315 HAS SOPS 8666315 HAS SOUS 7398194 HAS SOUPS 7398194 WITH SCORE 7406860.315
AT ITER 4673 NEW BEST:: SOT 15632629 SOS 8663570 HAS SOPS 8663570 HAS SOUS 7396360 HAS SOUPS 7396360 WITH SCORE 7405023.57
AT ITER 4677 NEW BEST:: SOT 15632629 SOS 8662246 HAS SOPS 8662246 HAS SOUS 7396360 HAS SOUPS 7396360 WITH SCORE 7405022.246
AT ITER 4683 NEW BEST:: SOT 15627385 SOS 8682070 HAS SOPS 8682070 HAS SOUS 7395902 HAS SOUPS 7395902 WITH SCORE 7404584.07
AT ITER 4684 NEW BEST:: SOT 15623481 SOS 8682933 HAS SOPS 8682933 HAS SOUS 7394579 HAS SOUPS 7394579 WITH SCORE 7403261.933
AT ITER 4691 NEW BEST:: SOT 15619134 SOS 8671259 HAS SOPS 8671259 HAS SOUS 7390546 HAS SOUPS 7390546 WITH SCORE 7399217.259
AT ITER 4698 NEW BEST:: SOT 15618858 SOS 8670789 HAS SOPS 8670789 HAS SOUS 7390007 HAS SOUPS 7390007 WITH SCORE 7398677.789
AT ITER 4704 NEW BEST:: SOT 15618858 SOS 8670749 HAS SOPS 8670749 HAS SOUS 7390007 HAS SOUPS 7390007 WITH SCORE 7398677.749
AT ITER 4714 NEW BEST:: SOT 15618410 SOS 8670301 HAS SOPS 8670301 HAS SOUS 7389499 HAS SOUPS 7389499 WITH SCORE 7398169.301
AT ITER 4718 NEW BEST:: SOT 15619038 SOS 8669289 HAS SOPS 8669289 HAS SOUS 7389364 HAS SOUPS 7389364 WITH SCORE 7398033.289
AT ITER 4719 NEW BEST:: SOT 15619038 SOS 8669260 HAS SOPS 8669260 HAS SOUS 7389335 HAS SOUPS 7389335 WITH SCORE 7398004.26
AT ITER 4721 NEW BEST:: SOT 15618940 SOS 8670069 HAS SOPS 8670069 HAS SOUS 7389298 HAS SOUPS 7389298 WITH SCORE 7397968.069
AT ITER 4727 NEW BEST:: SOT 15618756 SOS 8669392 HAS SOPS 8669392 HAS SOUS 7388827 HAS SOUPS 7388827 WITH SCORE 7397496.392
AT ITER 4734 NEW BEST:: SOT 15617613 SOS 8668525 HAS SOPS 8668525 HAS SOUS 7387960 HAS SOUPS 7387960 WITH SCORE 7396628.525
AT ITER 4737 NEW BEST:: SOT 15617977 SOS 8668889 HAS SOPS 8668889 HAS SOUS 7387924 HAS SOUPS 7387924 WITH SCORE 7396592.889
AT ITER 4740 NEW BEST:: SOT 15613704 SOS 8667841 HAS SOPS 8667841 HAS SOUS 7387301 HAS SOUPS 7387301 WITH SCORE 7395968.841
AT ITER 4743 NEW BEST:: SOT 15613704 SOS 8667663 HAS SOPS 8667663 HAS SOUS 7387301 HAS SOUPS 7387301 WITH SCORE 7395968.663
AT ITER 4756 NEW BEST:: SOT 15613704 SOS 8667162 HAS SOPS 8667162 HAS SOUS 7387301 HAS SOUPS 7387301 WITH SCORE 7395968.162
AT ITER 4764 NEW BEST:: SOT 15607478 SOS 8660936 HAS SOPS 8660936 HAS SOUS 7380788 HAS SOUPS 7380788 WITH SCORE 7389448.936
AT ITER 4766 NEW BEST:: SOT 15607478 SOS 8660894 HAS SOPS 8660894 HAS SOUS 7380788 HAS SOUPS 7380788 WITH SCORE 7389448.894
AT ITER 4767 NEW BEST:: SOT 15601274 SOS 8655708 HAS SOPS 8655708 HAS SOUS 7375033 HAS SOUPS 7375033 WITH SCORE 7383688.708
AT ITER 4769 NEW BEST:: SOT 15601274 SOS 8655388 HAS SOPS 8655388 HAS SOUS 7375033 HAS SOUPS 7375033 WITH SCORE 7383688.388
AT ITER 4772 NEW BEST:: SOT 15597883 SOS 8660681 HAS SOPS 8660681 HAS SOUS 7374842 HAS SOUPS 7374842 WITH SCORE 7383502.681
AT ITER 4779 NEW BEST:: SOT 15593975 SOS 8663758 HAS SOPS 8663758 HAS SOUS 7371972 HAS SOUPS 7371972 WITH SCORE 7380635.758
AT ITER 4780 NEW BEST:: SOT 15586986 SOS 8665928 HAS SOPS 8665928 HAS SOUS 7369460 HAS SOUPS 7369460 WITH SCORE 7378125.928
AT ITER 4794 NEW BEST:: SOT 15586986 SOS 8665911 HAS SOPS 8665911 HAS SOUS 7369460 HAS SOUPS 7369460 WITH SCORE 7378125.911
AT ITER 4795 NEW BEST:: SOT 15587391 SOS 8664824 HAS SOPS 8664824 HAS SOUS 7368285 HAS SOUPS 7368285 WITH SCORE 7376949.824
AT ITER 4797 NEW BEST:: SOT 15583012 SOS 8672202 HAS SOPS 8672202 HAS SOUS 7365910 HAS SOUPS 7365910 WITH SCORE 7374582.202
AT ITER 4805 NEW BEST:: SOT 15582711 SOS 8671759 HAS SOPS 8671759 HAS SOUS 7365417 HAS SOUPS 7365417 WITH SCORE 7374088.759
AT ITER 4808 NEW BEST:: SOT 15582492 SOS 8670604 HAS SOPS 8670604 HAS SOUS 7364325 HAS SOUPS 7364325 WITH SCORE 7372995.604
AT ITER 4811 NEW BEST:: SOT 15582492 SOS 8670551 HAS SOPS 8670551 HAS SOUS 7364325 HAS SOUPS 7364325 WITH SCORE 7372995.551
AT ITER 4815 NEW BEST:: SOT 15577347 SOS 8665814 HAS SOPS 8665814 HAS SOUS 7359513 HAS SOUPS 7359513 WITH SCORE 7368178.814
AT ITER 4817 NEW BEST:: SOT 15577347 SOS 8665814 HAS SOPS 8665814 HAS SOUS 7359395 HAS SOUPS 7359395 WITH SCORE 7368060.814
AT ITER 4822 NEW BEST:: SOT 15576202 SOS 8665411 HAS SOPS 8665411 HAS SOUS 7358250 HAS SOUPS 7358250 WITH SCORE 7366915.411
AT ITER 4823 NEW BEST:: SOT 15572655 SOS 8666070 HAS SOPS 8666070 HAS SOUS 7355675 HAS SOUPS 7355675 WITH SCORE 7364341.07
AT ITER 4832 NEW BEST:: SOT 15572655 SOS 8665446 HAS SOPS 8665446 HAS SOUS 7355675 HAS SOUPS 7355675 WITH SCORE 7364340.446
AT ITER 4852 NEW BEST:: SOT 15573155 SOS 8665472 HAS SOPS 8665472 HAS SOUS 7354954 HAS SOUPS 7354954 WITH SCORE 7363619.472
AT ITER 4856 NEW BEST:: SOT 15567623 SOS 8668632 HAS SOPS 8668632 HAS SOUS 7353352 HAS SOUPS 7353352 WITH SCORE 7362020.632
AT ITER 4860 NEW BEST:: SOT 15567623 SOS 8667663 HAS SOPS 8667663 HAS SOUS 7352331 HAS SOUPS 7352331 WITH SCORE 7360998.663
AT ITER 4861 NEW BEST:: SOT 15567623 SOS 8666949 HAS SOPS 8666949 HAS SOUS 7352142 HAS SOUPS 7352142 WITH SCORE 7360808.949
AT ITER 4862 NEW BEST:: SOT 15562897 SOS 8663063 HAS SOPS 8663063 HAS SOUS 7348374 HAS SOUPS 7348374 WITH SCORE 7357037.063
AT ITER 4867 NEW BEST:: SOT 15562931 SOS 8661764 HAS SOPS 8661764 HAS SOUS 7348367 HAS SOUPS 7348367 WITH SCORE 7357028.764
AT ITER 4869 NEW BEST:: SOT 15562931 SOS 8660613 HAS SOPS 8660613 HAS SOUS 7348281 HAS SOUPS 7348281 WITH SCORE 7356941.613
AT ITER 4871 NEW BEST:: SOT 15562931 SOS 8652286 HAS SOPS 8652286 HAS SOUS 7348281 HAS SOUPS 7348281 WITH SCORE 7356933.286
AT ITER 4872 NEW BEST:: SOT 15562021 SOS 8651446 HAS SOPS 8651446 HAS SOUS 7347441 HAS SOUPS 7347441 WITH SCORE 7356092.446
AT ITER 4873 NEW BEST:: SOT 15561628 SOS 8650059 HAS SOPS 8650059 HAS SOUS 7347259 HAS SOUPS 7347259 WITH SCORE 7355909.059
AT ITER 4874 NEW BEST:: SOT 15561628 SOS 8649992 HAS SOPS 8649992 HAS SOUS 7347259 HAS SOUPS 7347259 WITH SCORE 7355908.992
AT ITER 4876 NEW BEST:: SOT 15561628 SOS 8649383 HAS SOPS 8649383 HAS SOUS 7347259 HAS SOUPS 7347259 WITH SCORE 7355908.383
AT ITER 4886 NEW BEST:: SOT 15560885 SOS 8648595 HAS SOPS 8648595 HAS SOUS 7346007 HAS SOUPS 7346007 WITH SCORE 7354655.595
AT ITER 4890 NEW BEST:: SOT 15560885 SOS 8648595 HAS SOPS 8648595 HAS SOUS 7345786 HAS SOUPS 7345786 WITH SCORE 7354434.595
AT ITER 4905 NEW BEST:: SOT 15560885 SOS 8648595 HAS SOPS 8648595 HAS SOUS 7344721 HAS SOUPS 7344721 WITH SCORE 7353369.595
AT ITER 4907 NEW BEST:: SOT 15561158 SOS 8648458 HAS SOPS 8648458 HAS SOUS 7343509 HAS SOUPS 7343509 WITH SCORE 7352157.458
AT ITER 4912 NEW BEST:: SOT 15559854 SOS 8647074 HAS SOPS 8647074 HAS SOUS 7341937 HAS SOUPS 7341937 WITH SCORE 7350584.074
AT ITER 4914 NEW BEST:: SOT 15559906 SOS 8645956 HAS SOPS 8645956 HAS SOUS 7341858 HAS SOUPS 7341858 WITH SCORE 7350503.956
AT ITER 4928 NEW BEST:: SOT 15560300 SOS 8646065 HAS SOPS 8646065 HAS SOUS 7341601 HAS SOUPS 7341601 WITH SCORE 7350247.065
AT ITER 4933 NEW BEST:: SOT 15560300 SOS 8644812 HAS SOPS 8644812 HAS SOUS 7341601 HAS SOUPS 7341601 WITH SCORE 7350245.812
AT ITER 4936 NEW BEST:: SOT 15560300 SOS 8644267 HAS SOPS 8644267 HAS SOUS 7341286 HAS SOUPS 7341286 WITH SCORE 7349930.267
AT ITER 4940 NEW BEST:: SOT 15560300 SOS 8643887 HAS SOPS 8643887 HAS SOUS 7341051 HAS SOUPS 7341051 WITH SCORE 7349694.887
AT ITER 4942 NEW BEST:: SOT 15551690 SOS 8637230 HAS SOPS 8637230 HAS SOUS 7334855 HAS SOUPS 7334855 WITH SCORE 7343492.23
AT ITER 4943 NEW BEST:: SOT 15547500 SOS 8637848 HAS SOPS 8637848 HAS SOUS 7332352 HAS SOUPS 7332352 WITH SCORE 7340989.848
AT ITER 4949 NEW BEST:: SOT 15547500 SOS 8637848 HAS SOPS 8637848 HAS SOUS 7332282 HAS SOUPS 7332282 WITH SCORE 7340919.848
AT ITER 4956 NEW BEST:: SOT 15547500 SOS 8637238 HAS SOPS 8637238 HAS SOUS 7332282 HAS SOUPS 7332282 WITH SCORE 7340919.238
AT ITER 4962 NEW BEST:: SOT 15544378 SOS 8638429 HAS SOPS 8638429 HAS SOUS 7331985 HAS SOUPS 7331985 WITH SCORE 7340623.429
AT ITER 4963 NEW BEST:: SOT 15544378 SOS 8637628 HAS SOPS 8637628 HAS SOUS 7331985 HAS SOUPS 7331985 WITH SCORE 7340622.628
AT ITER 4964 NEW BEST:: SOT 15542486 SOS 8636581 HAS SOPS 8636581 HAS SOUS 7331814 HAS SOUPS 7331814 WITH SCORE 7340450.581
AT ITER 4967 NEW BEST:: SOT 15542914 SOS 8636919 HAS SOPS 8636919 HAS SOUS 7331805 HAS SOUPS 7331805 WITH SCORE 7340441.919
AT ITER 4968 NEW BEST:: SOT 15540239 SOS 8637957 HAS SOPS 8637957 HAS SOUS 7329130 HAS SOUPS 7329130 WITH SCORE 7337767.957
AT ITER 4970 NEW BEST:: SOT 15540239 SOS 8636999 HAS SOPS 8636999 HAS SOUS 7329130 HAS SOUPS 7329130 WITH SCORE 7337766.999
AT ITER 4987 NEW BEST:: SOT 15540235 SOS 8635278 HAS SOPS 8635278 HAS SOUS 7328676 HAS SOUPS 7328676 WITH SCORE 7337311.278
AT ITER 4988 NEW BEST:: SOT 15538799 SOS 8633997 HAS SOPS 8633997 HAS SOUS 7327016 HAS SOUPS 7327016 WITH SCORE 7335649.997
AT ITER 4995 NEW BEST:: SOT 15538799 SOS 8633928 HAS SOPS 8633928 HAS SOUS 7327016 HAS SOUPS 7327016 WITH SCORE 7335649.928
AT ITER 4998 NEW BEST:: SOT 15538799 SOS 8633499 HAS SOPS 8633499 HAS SOUS 7327016 HAS SOUPS 7327016 WITH SCORE 7335649.499
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN16-CTLCardinality-00 (EF((AX( (! potential( ( 3 ) <= (tk(P1075)) ))))))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-01 (EG( ( ( (! potential( ( 2 ) <= (tk(P2909)) )) | ( potential( ( 2 ) <= (tk(P4268)) ) & potential( ( 2 ) <= (tk(P1393)) ) ) ) | ( (! potential( (tk(P2324)) <= (tk(P1377)) )) & potential( (tk(P2630)) <= (tk(P2618)) ) ) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-02 (EX( potential( ( 3 ) <= (tk(P3858)) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-03 ( (EF((EF(potential( ( 3 ) <= (tk(P4086)) ))))) & ( ( (! potential( (tk(P160)) <= (tk(P3843)) )) & (AG( potential( ( 3 ) <= (tk(P3147)) ))) ) | (EF(potential( (tk(P4528)) <= (tk(P2563)) ))) ) )
PROPERTY: Sudoku-PT-AN16-CTLCardinality-04 (AG( (AU( potential( (tk(P3940)) <= (tk(P2002)) ),potential( (tk(P153)) <= (tk(P3675)) ) ))))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-05 (EX( (! (AF(potential( (tk(P1786)) <= (tk(P2503)) ))))))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-06 (AU( (! (! potential( ( 2 ) <= (tk(P1133)) ))),(AF(potential( ( 2 ) <= (tk(P1028)) ))) ))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-07 ( (AG( (AX( potential( (tk(P1675)) <= (tk(P3361)) ))))) | (AF(potential( (tk(P3)) <= (tk(P4116)) ))) )
PROPERTY: Sudoku-PT-AN16-CTLCardinality-08 (EG( ( ( (! potential( (tk(P420)) <= (tk(P1273)) )) & potential( ( 2 ) <= (tk(P2380)) ) ) | (EX( potential( ( 3 ) <= (tk(P137)) ))) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-09 (EG( potential( (tk(P3922)) <= (tk(P2842)) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-10 (EU( (EG( potential( (tk(P492)) <= (tk(P3371)) ))),(! (! potential( ( 3 ) <= (tk(P1802)) ))) ))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-11 (! (EX( (AX( potential( ( 3 ) <= (tk(P1584)) ))))))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-12 (AG( ( ( ( potential( ( 1 ) <= (tk(P3505)) ) & potential( (tk(P281)) <= (tk(P3234)) ) ) | ( potential( (tk(P4070)) <= (tk(P12)) ) | potential( ( 3 ) <= (tk(P3016)) ) ) ) | ( potential( ( 1 ) <= (tk(P1700)) ) & ( potential( ( 2 ) <= (tk(P2648)) ) | potential( (tk(P927)) <= (tk(P3956)) ) ) ) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-13 (EF(( (EG( potential( (tk(P3197)) <= (tk(P794)) ))) | ( ( potential( ( 2 ) <= (tk(P493)) ) | potential( ( 3 ) <= (tk(P4800)) ) ) & potential( ( 1 ) <= (tk(P920)) ) ) )))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-14 (AX( (! (AX( potential( (tk(P1520)) <= (tk(P3168)) ))))))
PROPERTY: Sudoku-PT-AN16-CTLCardinality-15 (AX( potential( (tk(P302)) <= (tk(P2822)) )))

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="Sudoku-PT-AN16"
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 Sudoku-PT-AN16, 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 r224-oct2-159033538800435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN16.tgz
mv Sudoku-PT-AN16 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 ;