About the Execution of smart for Sudoku-PT-AN16
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15768.040 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800436.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800436
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN16-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591336618945
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN16
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 20 NEW BEST:: SOT 16744459 SOS 8327152 HAS SOPS 8327152 HAS SOUS 8326957 HAS SOUPS 8326957 WITH SCORE 8335284.152
AT ITER 56 NEW BEST:: SOT 16740902 SOS 8352375 HAS SOPS 8352375 HAS SOUS 8323725 HAS SOUPS 8323725 WITH SCORE 8332077.375
AT ITER 62 NEW BEST:: SOT 16734597 SOS 8372492 HAS SOPS 8372492 HAS SOUS 8317772 HAS SOUPS 8317772 WITH SCORE 8326144.492
AT ITER 67 NEW BEST:: SOT 16734769 SOS 8372581 HAS SOPS 8372581 HAS SOUS 8317591 HAS SOUPS 8317591 WITH SCORE 8325963.581
AT ITER 74 NEW BEST:: SOT 16734439 SOS 8372618 HAS SOPS 8372618 HAS SOUS 8317261 HAS SOUPS 8317261 WITH SCORE 8325633.618
AT ITER 83 NEW BEST:: SOT 16734424 SOS 8372603 HAS SOPS 8372603 HAS SOUS 8317246 HAS SOUPS 8317246 WITH SCORE 8325618.603
AT ITER 110 NEW BEST:: SOT 16734626 SOS 8372762 HAS SOPS 8372762 HAS SOUS 8317135 HAS SOUPS 8317135 WITH SCORE 8325507.762
AT ITER 144 NEW BEST:: SOT 16730307 SOS 8392747 HAS SOPS 8392747 HAS SOUS 8313360 HAS SOUPS 8313360 WITH SCORE 8321752.747
AT ITER 156 NEW BEST:: SOT 16730307 SOS 8390866 HAS SOPS 8390866 HAS SOUS 8313360 HAS SOUPS 8313360 WITH SCORE 8321750.866
AT ITER 165 NEW BEST:: SOT 16726062 SOS 8387037 HAS SOPS 8387037 HAS SOUS 8309276 HAS SOUPS 8309276 WITH SCORE 8317663.037
AT ITER 183 NEW BEST:: SOT 16723797 SOS 8385066 HAS SOPS 8385066 HAS SOUS 8307230 HAS SOUPS 8307230 WITH SCORE 8315615.066
AT ITER 184 NEW BEST:: SOT 16719327 SOS 8380994 HAS SOPS 8380994 HAS SOUS 8303083 HAS SOUPS 8303083 WITH SCORE 8311463.994
AT ITER 204 NEW BEST:: SOT 16719177 SOS 8381132 HAS SOPS 8381132 HAS SOUS 8302981 HAS SOUPS 8302981 WITH SCORE 8311362.132
AT ITER 210 NEW BEST:: SOT 16718862 SOS 8385828 HAS SOPS 8385828 HAS SOUS 8302683 HAS SOUPS 8302683 WITH SCORE 8311068.828
AT ITER 211 NEW BEST:: SOT 16715106 SOS 8387110 HAS SOPS 8387110 HAS SOUS 8299386 HAS SOUPS 8299386 WITH SCORE 8307773.11
AT ITER 212 NEW BEST:: SOT 16715335 SOS 8387251 HAS SOPS 8387251 HAS SOUS 8299362 HAS SOUPS 8299362 WITH SCORE 8307749.251
AT ITER 213 NEW BEST:: SOT 16715577 SOS 8387442 HAS SOPS 8387442 HAS SOUS 8299253 HAS SOUPS 8299253 WITH SCORE 8307640.442
AT ITER 223 NEW BEST:: SOT 16709772 SOS 8382067 HAS SOPS 8382067 HAS SOUS 8293713 HAS SOUPS 8293713 WITH SCORE 8302095.067
AT ITER 245 NEW BEST:: SOT 16705728 SOS 8383377 HAS SOPS 8383377 HAS SOUS 8290028 HAS SOUPS 8290028 WITH SCORE 8298411.377
AT ITER 251 NEW BEST:: SOT 16705428 SOS 8385507 HAS SOPS 8385507 HAS SOUS 8289728 HAS SOUPS 8289728 WITH SCORE 8298113.507
AT ITER 271 NEW BEST:: SOT 16705428 SOS 8385498 HAS SOPS 8385498 HAS SOUS 8289728 HAS SOUPS 8289728 WITH SCORE 8298113.498
AT ITER 276 NEW BEST:: SOT 16704888 SOS 8385391 HAS SOPS 8385391 HAS SOUS 8289351 HAS SOUPS 8289351 WITH SCORE 8297736.391
AT ITER 284 NEW BEST:: SOT 16704118 SOS 8385141 HAS SOPS 8385141 HAS SOUS 8289101 HAS SOUPS 8289101 WITH SCORE 8297486.141
AT ITER 287 NEW BEST:: SOT 16704215 SOS 8385067 HAS SOPS 8385067 HAS SOUS 8288817 HAS SOUPS 8288817 WITH SCORE 8297202.067
AT ITER 293 NEW BEST:: SOT 16699442 SOS 8417149 HAS SOPS 8417149 HAS SOUS 8284314 HAS SOUPS 8284314 WITH SCORE 8292731.149
AT ITER 296 NEW BEST:: SOT 16694132 SOS 8412261 HAS SOPS 8412261 HAS SOUS 8279231 HAS SOUPS 8279231 WITH SCORE 8287643.261
AT ITER 303 NEW BEST:: SOT 16692095 SOS 8428337 HAS SOPS 8428337 HAS SOUS 8277382 HAS SOUPS 8277382 WITH SCORE 8285810.337
AT ITER 306 NEW BEST:: SOT 16692095 SOS 8425502 HAS SOPS 8425502 HAS SOUS 8277382 HAS SOUPS 8277382 WITH SCORE 8285807.502
AT ITER 311 NEW BEST:: SOT 16691360 SOS 8428406 HAS SOPS 8428406 HAS SOUS 8276647 HAS SOUPS 8276647 WITH SCORE 8285075.406
AT ITER 323 NEW BEST:: SOT 16691360 SOS 8426266 HAS SOPS 8426266 HAS SOUS 8276647 HAS SOUPS 8276647 WITH SCORE 8285073.266
AT ITER 328 NEW BEST:: SOT 16686905 SOS 8422209 HAS SOPS 8422209 HAS SOUS 8272380 HAS SOUPS 8272380 WITH SCORE 8280802.209
AT ITER 335 NEW BEST:: SOT 16686605 SOS 8421909 HAS SOPS 8421909 HAS SOUS 8272080 HAS SOUPS 8272080 WITH SCORE 8280501.909
AT ITER 354 NEW BEST:: SOT 16684070 SOS 8419770 HAS SOPS 8419770 HAS SOUS 8269806 HAS SOUPS 8269806 WITH SCORE 8278225.77
AT ITER 362 NEW BEST:: SOT 16684070 SOS 8417886 HAS SOPS 8417886 HAS SOUS 8269806 HAS SOUPS 8269806 WITH SCORE 8278223.886
AT ITER 369 NEW BEST:: SOT 16683119 SOS 8419719 HAS SOPS 8419719 HAS SOUS 8269074 HAS SOUPS 8269074 WITH SCORE 8277493.719
AT ITER 380 NEW BEST:: SOT 16683424 SOS 8419970 HAS SOPS 8419970 HAS SOUS 8269070 HAS SOUPS 8269070 WITH SCORE 8277489.97
AT ITER 388 NEW BEST:: SOT 16682107 SOS 8418653 HAS SOPS 8418653 HAS SOUS 8267756 HAS SOUPS 8267756 WITH SCORE 8276174.653
AT ITER 398 NEW BEST:: SOT 16678498 SOS 8417853 HAS SOPS 8417853 HAS SOUS 8264796 HAS SOUPS 8264796 WITH SCORE 8273213.853
AT ITER 400 NEW BEST:: SOT 16674533 SOS 8423903 HAS SOPS 8423903 HAS SOUS 8261639 HAS SOUPS 8261639 WITH SCORE 8270062.903
AT ITER 407 NEW BEST:: SOT 16674443 SOS 8433368 HAS SOPS 8433368 HAS SOUS 8261549 HAS SOUPS 8261549 WITH SCORE 8269982.368
AT ITER 409 NEW BEST:: SOT 16674440 SOS 8433365 HAS SOPS 8433365 HAS SOUS 8261546 HAS SOUPS 8261546 WITH SCORE 8269979.365
AT ITER 414 NEW BEST:: SOT 16669705 SOS 8436288 HAS SOPS 8436288 HAS SOUS 8257662 HAS SOUPS 8257662 WITH SCORE 8266098.288
AT ITER 419 NEW BEST:: SOT 16666425 SOS 8446003 HAS SOPS 8446003 HAS SOUS 8254537 HAS SOUPS 8254537 WITH SCORE 8262983.003
AT ITER 432 NEW BEST:: SOT 16666555 SOS 8446032 HAS SOPS 8446032 HAS SOUS 8254251 HAS SOUPS 8254251 WITH SCORE 8262697.032
AT ITER 442 NEW BEST:: SOT 16666180 SOS 8453972 HAS SOPS 8453972 HAS SOUS 8253878 HAS SOUPS 8253878 WITH SCORE 8262331.972
AT ITER 453 NEW BEST:: SOT 16665412 SOS 8453204 HAS SOPS 8453204 HAS SOUS 8253110 HAS SOUPS 8253110 WITH SCORE 8261563.204
AT ITER 474 NEW BEST:: SOT 16665557 SOS 8453256 HAS SOPS 8453256 HAS SOUS 8252817 HAS SOUPS 8252817 WITH SCORE 8261270.256
AT ITER 479 NEW BEST:: SOT 16665377 SOS 8456066 HAS SOPS 8456066 HAS SOUS 8252773 HAS SOUPS 8252773 WITH SCORE 8261229.066
AT ITER 481 NEW BEST:: SOT 16664852 SOS 8455756 HAS SOPS 8455756 HAS SOUS 8252288 HAS SOUPS 8252288 WITH SCORE 8260743.756
AT ITER 486 NEW BEST:: SOT 16664996 SOS 8455743 HAS SOPS 8455743 HAS SOUS 8252080 HAS SOUPS 8252080 WITH SCORE 8260535.743
AT ITER 497 NEW BEST:: SOT 16665093 SOS 8455686 HAS SOPS 8455686 HAS SOUS 8251768 HAS SOUPS 8251768 WITH SCORE 8260223.686
AT ITER 498 NEW BEST:: SOT 16664868 SOS 8462605 HAS SOPS 8462605 HAS SOUS 8251641 HAS SOUPS 8251641 WITH SCORE 8260103.605
AT ITER 500 NEW BEST:: SOT 16663467 SOS 8466490 HAS SOPS 8466490 HAS SOUS 8250978 HAS SOUPS 8250978 WITH SCORE 8259444.49
AT ITER 503 NEW BEST:: SOT 16663467 SOS 8466346 HAS SOPS 8466346 HAS SOUS 8250978 HAS SOUPS 8250978 WITH SCORE 8259444.346
AT ITER 510 NEW BEST:: SOT 16661030 SOS 8491377 HAS SOPS 8491377 HAS SOUS 8249040 HAS SOUPS 8249040 WITH SCORE 8257531.377
AT ITER 518 NEW BEST:: SOT 16660850 SOS 8492982 HAS SOPS 8492982 HAS SOUS 8248929 HAS SOUPS 8248929 WITH SCORE 8257421.982
AT ITER 519 NEW BEST:: SOT 16657265 SOS 8489837 HAS SOPS 8489837 HAS SOUS 8245634 HAS SOUPS 8245634 WITH SCORE 8254123.837
AT ITER 523 NEW BEST:: SOT 16652236 SOS 8485387 HAS SOPS 8485387 HAS SOUS 8240900 HAS SOUPS 8240900 WITH SCORE 8249385.387
AT ITER 530 NEW BEST:: SOT 16651711 SOS 8492615 HAS SOPS 8492615 HAS SOUS 8240428 HAS SOUPS 8240428 WITH SCORE 8248920.615
AT ITER 538 NEW BEST:: SOT 16651711 SOS 8490742 HAS SOPS 8490742 HAS SOUS 8240428 HAS SOUPS 8240428 WITH SCORE 8248918.742
AT ITER 543 NEW BEST:: SOT 16651919 SOS 8490928 HAS SOPS 8490928 HAS SOUS 8240239 HAS SOUPS 8240239 WITH SCORE 8248729.928
AT ITER 546 NEW BEST:: SOT 16651604 SOS 8492312 HAS SOPS 8492312 HAS SOUS 8240184 HAS SOUPS 8240184 WITH SCORE 8248676.312
AT ITER 555 NEW BEST:: SOT 16648665 SOS 8511814 HAS SOPS 8511814 HAS SOUS 8238464 HAS SOUPS 8238464 WITH SCORE 8246975.814
AT ITER 563 NEW BEST:: SOT 16648140 SOS 8517003 HAS SOPS 8517003 HAS SOUS 8238411 HAS SOUPS 8238411 WITH SCORE 8246928.003
AT ITER 566 NEW BEST:: SOT 16648140 SOS 8516683 HAS SOPS 8516683 HAS SOUS 8238411 HAS SOUPS 8238411 WITH SCORE 8246927.683
AT ITER 584 NEW BEST:: SOT 16647765 SOS 8519473 HAS SOPS 8519473 HAS SOUS 8238036 HAS SOUPS 8238036 WITH SCORE 8246555.473
AT ITER 588 NEW BEST:: SOT 16647765 SOS 8518671 HAS SOPS 8518671 HAS SOUS 8238036 HAS SOUPS 8238036 WITH SCORE 8246554.671
AT ITER 589 NEW BEST:: SOT 16647390 SOS 8531715 HAS SOPS 8531715 HAS SOUS 8237916 HAS SOUPS 8237916 WITH SCORE 8246447.715
AT ITER 594 NEW BEST:: SOT 16647015 SOS 8532634 HAS SOPS 8532634 HAS SOUS 8237541 HAS SOUPS 8237541 WITH SCORE 8246073.634
AT ITER 603 NEW BEST:: SOT 16646340 SOS 8552714 HAS SOPS 8552714 HAS SOUS 8237246 HAS SOUPS 8237246 WITH SCORE 8245798.714
AT ITER 623 NEW BEST:: SOT 16643762 SOS 8564522 HAS SOPS 8564522 HAS SOUS 8235284 HAS SOUPS 8235284 WITH SCORE 8243848.522
AT ITER 624 NEW BEST:: SOT 16643762 SOS 8562106 HAS SOPS 8562106 HAS SOUS 8235284 HAS SOUPS 8235284 WITH SCORE 8243846.106
AT ITER 630 NEW BEST:: SOT 16638077 SOS 8556855 HAS SOPS 8556855 HAS SOUS 8229898 HAS SOUPS 8229898 WITH SCORE 8238454.855
AT ITER 633 NEW BEST:: SOT 16636586 SOS 8555840 HAS SOPS 8555840 HAS SOUS 8228407 HAS SOUPS 8228407 WITH SCORE 8236962.84
AT ITER 634 NEW BEST:: SOT 16636211 SOS 8556239 HAS SOPS 8556239 HAS SOUS 8228032 HAS SOUPS 8228032 WITH SCORE 8236588.239
AT ITER 637 NEW BEST:: SOT 16636211 SOS 8554529 HAS SOPS 8554529 HAS SOUS 8228032 HAS SOUPS 8228032 WITH SCORE 8236586.529
AT ITER 646 NEW BEST:: SOT 16636211 SOS 8552922 HAS SOPS 8552922 HAS SOUS 8228032 HAS SOUPS 8228032 WITH SCORE 8236584.922
AT ITER 652 NEW BEST:: SOT 16636406 SOS 8553011 HAS SOPS 8553011 HAS SOUS 8228001 HAS SOUPS 8228001 WITH SCORE 8236554.011
AT ITER 656 NEW BEST:: SOT 16636106 SOS 8560676 HAS SOPS 8560676 HAS SOUS 8227944 HAS SOUPS 8227944 WITH SCORE 8236504.676
AT ITER 667 NEW BEST:: SOT 16632880 SOS 8560949 HAS SOPS 8560949 HAS SOUS 8225195 HAS SOUPS 8225195 WITH SCORE 8233755.949
AT ITER 668 NEW BEST:: SOT 16629550 SOS 8558717 HAS SOPS 8558717 HAS SOUS 8222210 HAS SOUPS 8222210 WITH SCORE 8230768.717
AT ITER 671 NEW BEST:: SOT 16629444 SOS 8558400 HAS SOPS 8558400 HAS SOUS 8221788 HAS SOUPS 8221788 WITH SCORE 8230346.4
AT ITER 676 NEW BEST:: SOT 16629759 SOS 8556122 HAS SOPS 8556122 HAS SOUS 8219417 HAS SOUPS 8219417 WITH SCORE 8227973.122
AT ITER 685 NEW BEST:: SOT 16629956 SOS 8556195 HAS SOPS 8556195 HAS SOUS 8219415 HAS SOUPS 8219415 WITH SCORE 8227971.195
AT ITER 686 NEW BEST:: SOT 16629956 SOS 8556155 HAS SOPS 8556155 HAS SOUS 8219415 HAS SOUPS 8219415 WITH SCORE 8227971.155
AT ITER 691 NEW BEST:: SOT 16629878 SOS 8555949 HAS SOPS 8555949 HAS SOUS 8219314 HAS SOUPS 8219314 WITH SCORE 8227869.949
AT ITER 712 NEW BEST:: SOT 16626788 SOS 8553256 HAS SOPS 8553256 HAS SOUS 8216336 HAS SOUPS 8216336 WITH SCORE 8224889.256
AT ITER 727 NEW BEST:: SOT 16626358 SOS 8553786 HAS SOPS 8553786 HAS SOUS 8216046 HAS SOUPS 8216046 WITH SCORE 8224599.786
AT ITER 728 NEW BEST:: SOT 16623269 SOS 8550697 HAS SOPS 8550697 HAS SOUS 8212686 HAS SOUPS 8212686 WITH SCORE 8221236.697
AT ITER 736 NEW BEST:: SOT 16623269 SOS 8550403 HAS SOPS 8550403 HAS SOUS 8212392 HAS SOUPS 8212392 WITH SCORE 8220942.403
AT ITER 740 NEW BEST:: SOT 16623269 SOS 8548677 HAS SOPS 8548677 HAS SOUS 8212392 HAS SOUPS 8212392 WITH SCORE 8220940.677
AT ITER 741 NEW BEST:: SOT 16623269 SOS 8548090 HAS SOPS 8548090 HAS SOUS 8212392 HAS SOUPS 8212392 WITH SCORE 8220940.09
AT ITER 748 NEW BEST:: SOT 16623269 SOS 8547526 HAS SOPS 8547526 HAS SOUS 8212392 HAS SOUPS 8212392 WITH SCORE 8220939.526
AT ITER 757 NEW BEST:: SOT 16622783 SOS 8547920 HAS SOPS 8547920 HAS SOUS 8211916 HAS SOUPS 8211916 WITH SCORE 8220463.92
AT ITER 759 NEW BEST:: SOT 16618995 SOS 8544868 HAS SOPS 8544868 HAS SOUS 8208309 HAS SOUPS 8208309 WITH SCORE 8216853.868
AT ITER 767 NEW BEST:: SOT 16615656 SOS 8569384 HAS SOPS 8569384 HAS SOUS 8206413 HAS SOUPS 8206413 WITH SCORE 8214982.384
AT ITER 776 NEW BEST:: SOT 16615104 SOS 8568832 HAS SOPS 8568832 HAS SOUS 8205861 HAS SOUPS 8205861 WITH SCORE 8214429.832
AT ITER 777 NEW BEST:: SOT 16615104 SOS 8568535 HAS SOPS 8568535 HAS SOUS 8205861 HAS SOUPS 8205861 WITH SCORE 8214429.535
AT ITER 787 NEW BEST:: SOT 16615410 SOS 8568786 HAS SOPS 8568786 HAS SOUS 8205857 HAS SOUPS 8205857 WITH SCORE 8214425.786
AT ITER 791 NEW BEST:: SOT 16613044 SOS 8566420 HAS SOPS 8566420 HAS SOUS 8203491 HAS SOUPS 8203491 WITH SCORE 8212057.42
AT ITER 804 NEW BEST:: SOT 16613044 SOS 8565667 HAS SOPS 8565667 HAS SOUS 8203491 HAS SOUPS 8203491 WITH SCORE 8212056.667
AT ITER 806 NEW BEST:: SOT 16613044 SOS 8565207 HAS SOPS 8565207 HAS SOUS 8203491 HAS SOUPS 8203491 WITH SCORE 8212056.207
AT ITER 810 NEW BEST:: SOT 16613044 SOS 8564313 HAS SOPS 8564313 HAS SOUS 8203491 HAS SOUPS 8203491 WITH SCORE 8212055.313
AT ITER 821 NEW BEST:: SOT 16608889 SOS 8560479 HAS SOPS 8560479 HAS SOUS 8199477 HAS SOUPS 8199477 WITH SCORE 8208037.479
AT ITER 823 NEW BEST:: SOT 16604479 SOS 8556479 HAS SOPS 8556479 HAS SOUS 8195282 HAS SOUPS 8195282 WITH SCORE 8203838.479
AT ITER 824 NEW BEST:: SOT 16599048 SOS 8562960 HAS SOPS 8562960 HAS SOUS 8192101 HAS SOUPS 8192101 WITH SCORE 8200663.96
AT ITER 825 NEW BEST:: SOT 16599048 SOS 8562367 HAS SOPS 8562367 HAS SOUS 8192101 HAS SOUPS 8192101 WITH SCORE 8200663.367
AT ITER 826 NEW BEST:: SOT 16598298 SOS 8562026 HAS SOPS 8562026 HAS SOUS 8191595 HAS SOUPS 8191595 WITH SCORE 8200157.026
AT ITER 842 NEW BEST:: SOT 16597773 SOS 8562058 HAS SOPS 8562058 HAS SOUS 8191342 HAS SOUPS 8191342 WITH SCORE 8199904.058
AT ITER 843 NEW BEST:: SOT 16597773 SOS 8561667 HAS SOPS 8561667 HAS SOUS 8191342 HAS SOUPS 8191342 WITH SCORE 8199903.667
AT ITER 849 NEW BEST:: SOT 16597773 SOS 8561021 HAS SOPS 8561021 HAS SOUS 8191342 HAS SOUPS 8191342 WITH SCORE 8199903.021
AT ITER 858 NEW BEST:: SOT 16594626 SOS 8564896 HAS SOPS 8564896 HAS SOUS 8188821 HAS SOUPS 8188821 WITH SCORE 8197385.896
AT ITER 859 NEW BEST:: SOT 16594626 SOS 8565003 HAS SOPS 8565003 HAS SOUS 8188771 HAS SOUPS 8188771 WITH SCORE 8197336.003
AT ITER 872 NEW BEST:: SOT 16594768 SOS 8565039 HAS SOPS 8565039 HAS SOUS 8188642 HAS SOUPS 8188642 WITH SCORE 8197207.039
AT ITER 874 NEW BEST:: SOT 16591903 SOS 8562463 HAS SOPS 8562463 HAS SOUS 8185856 HAS SOUPS 8185856 WITH SCORE 8194418.463
AT ITER 885 NEW BEST:: SOT 16589872 SOS 8577538 HAS SOPS 8577538 HAS SOUS 8184386 HAS SOUPS 8184386 WITH SCORE 8192963.538
AT ITER 890 NEW BEST:: SOT 16589617 SOS 8577283 HAS SOPS 8577283 HAS SOUS 8184131 HAS SOUPS 8184131 WITH SCORE 8192708.283
AT ITER 891 NEW BEST:: SOT 16589849 SOS 8577482 HAS SOPS 8577482 HAS SOUS 8184090 HAS SOUPS 8184090 WITH SCORE 8192667.482
AT ITER 894 NEW BEST:: SOT 16589174 SOS 8595220 HAS SOPS 8595220 HAS SOUS 8183452 HAS SOUPS 8183452 WITH SCORE 8192047.22
AT ITER 896 NEW BEST:: SOT 16589174 SOS 8585273 HAS SOPS 8585273 HAS SOUS 8183452 HAS SOUPS 8183452 WITH SCORE 8192037.273
AT ITER 907 NEW BEST:: SOT 16588529 SOS 8587118 HAS SOPS 8587118 HAS SOUS 8182837 HAS SOUPS 8182837 WITH SCORE 8191424.118
AT ITER 908 NEW BEST:: SOT 16584166 SOS 8586914 HAS SOPS 8586914 HAS SOUS 8178782 HAS SOUPS 8178782 WITH SCORE 8187368.914
AT ITER 926 NEW BEST:: SOT 16583037 SOS 8585785 HAS SOPS 8585785 HAS SOUS 8177653 HAS SOUPS 8177653 WITH SCORE 8186238.785
AT ITER 927 NEW BEST:: SOT 16583037 SOS 8585041 HAS SOPS 8585041 HAS SOUS 8177653 HAS SOUPS 8177653 WITH SCORE 8186238.041
AT ITER 936 NEW BEST:: SOT 16582739 SOS 8584743 HAS SOPS 8584743 HAS SOUS 8177355 HAS SOUPS 8177355 WITH SCORE 8185939.743
AT ITER 941 NEW BEST:: SOT 16582739 SOS 8584608 HAS SOPS 8584608 HAS SOUS 8177355 HAS SOUPS 8177355 WITH SCORE 8185939.608
AT ITER 944 NEW BEST:: SOT 16579829 SOS 8582080 HAS SOPS 8582080 HAS SOUS 8174662 HAS SOUPS 8174662 WITH SCORE 8183244.08
AT ITER 945 NEW BEST:: SOT 16576459 SOS 8597369 HAS SOPS 8597369 HAS SOUS 8171606 HAS SOUPS 8171606 WITH SCORE 8180203.369
AT ITER 948 NEW BEST:: SOT 16573367 SOS 8614523 HAS SOPS 8614523 HAS SOUS 8168690 HAS SOUPS 8168690 WITH SCORE 8177304.523
AT ITER 955 NEW BEST:: SOT 16569092 SOS 8610636 HAS SOPS 8610636 HAS SOUS 8164629 HAS SOUPS 8164629 WITH SCORE 8173239.636
AT ITER 959 NEW BEST:: SOT 16569092 SOS 8608373 HAS SOPS 8608373 HAS SOUS 8164629 HAS SOUPS 8164629 WITH SCORE 8173237.373
AT ITER 964 NEW BEST:: SOT 16569251 SOS 8609969 HAS SOPS 8609969 HAS SOUS 8163177 HAS SOUPS 8163177 WITH SCORE 8171786.969
AT ITER 965 NEW BEST:: SOT 16568516 SOS 8618488 HAS SOPS 8618488 HAS SOUS 8162693 HAS SOUPS 8162693 WITH SCORE 8171311.488
AT ITER 966 NEW BEST:: SOT 16568516 SOS 8618029 HAS SOPS 8618029 HAS SOUS 8162693 HAS SOUPS 8162693 WITH SCORE 8171311.029
AT ITER 977 NEW BEST:: SOT 16568836 SOS 8617569 HAS SOPS 8617569 HAS SOUS 8162113 HAS SOUPS 8162113 WITH SCORE 8170730.569
AT ITER 983 NEW BEST:: SOT 16568311 SOS 8625088 HAS SOPS 8625088 HAS SOUS 8162007 HAS SOUPS 8162007 WITH SCORE 8170632.088
AT ITER 988 NEW BEST:: SOT 16568311 SOS 8624768 HAS SOPS 8624768 HAS SOUS 8162007 HAS SOUPS 8162007 WITH SCORE 8170631.768
AT ITER 989 NEW BEST:: SOT 16564652 SOS 8626085 HAS SOPS 8626085 HAS SOUS 8158800 HAS SOUPS 8158800 WITH SCORE 8167426.085
AT ITER 992 NEW BEST:: SOT 16564652 SOS 8625848 HAS SOPS 8625848 HAS SOUS 8158800 HAS SOUPS 8158800 WITH SCORE 8167425.848
AT ITER 995 NEW BEST:: SOT 16564486 SOS 8625740 HAS SOPS 8625740 HAS SOUS 8158692 HAS SOUPS 8158692 WITH SCORE 8167317.74
AT ITER 1001 NEW BEST:: SOT 16560587 SOS 8639962 HAS SOPS 8639962 HAS SOUS 8155742 HAS SOUPS 8155742 WITH SCORE 8164381.962
AT ITER 1003 NEW BEST:: SOT 16560317 SOS 8639710 HAS SOPS 8639710 HAS SOUS 8155490 HAS SOUPS 8155490 WITH SCORE 8164129.71
AT ITER 1005 NEW BEST:: SOT 16560317 SOS 8639384 HAS SOPS 8639384 HAS SOUS 8155490 HAS SOUPS 8155490 WITH SCORE 8164129.384
AT ITER 1010 NEW BEST:: SOT 16560317 SOS 8638690 HAS SOPS 8638690 HAS SOUS 8155490 HAS SOUPS 8155490 WITH SCORE 8164128.69
AT ITER 1014 NEW BEST:: SOT 16560317 SOS 8636909 HAS SOPS 8636909 HAS SOUS 8155490 HAS SOUPS 8155490 WITH SCORE 8164126.909
AT ITER 1016 NEW BEST:: SOT 16560487 SOS 8636314 HAS SOPS 8636314 HAS SOUS 8154760 HAS SOUPS 8154760 WITH SCORE 8163396.314
AT ITER 1022 NEW BEST:: SOT 16560478 SOS 8636275 HAS SOPS 8636275 HAS SOUS 8154586 HAS SOUPS 8154586 WITH SCORE 8163222.275
AT ITER 1033 NEW BEST:: SOT 16560478 SOS 8635703 HAS SOPS 8635703 HAS SOUS 8154586 HAS SOUPS 8154586 WITH SCORE 8163221.703
AT ITER 1036 NEW BEST:: SOT 16560478 SOS 8635374 HAS SOPS 8635374 HAS SOUS 8154586 HAS SOUPS 8154586 WITH SCORE 8163221.374
AT ITER 1038 NEW BEST:: SOT 16560478 SOS 8635305 HAS SOPS 8635305 HAS SOUS 8154586 HAS SOUPS 8154586 WITH SCORE 8163221.305
AT ITER 1040 NEW BEST:: SOT 16558361 SOS 8634262 HAS SOPS 8634262 HAS SOUS 8152814 HAS SOUPS 8152814 WITH SCORE 8161448.262
AT ITER 1043 NEW BEST:: SOT 16557626 SOS 8635392 HAS SOPS 8635392 HAS SOUS 8152079 HAS SOUPS 8152079 WITH SCORE 8160714.392
AT ITER 1051 NEW BEST:: SOT 16557279 SOS 8636801 HAS SOPS 8636801 HAS SOUS 8151879 HAS SOUPS 8151879 WITH SCORE 8160515.801
AT ITER 1062 NEW BEST:: SOT 16556649 SOS 8636381 HAS SOPS 8636381 HAS SOUS 8151324 HAS SOUPS 8151324 WITH SCORE 8159960.381
AT ITER 1071 NEW BEST:: SOT 16556717 SOS 8636279 HAS SOPS 8636279 HAS SOUS 8151012 HAS SOUPS 8151012 WITH SCORE 8159648.279
AT ITER 1083 NEW BEST:: SOT 16556717 SOS 8634390 HAS SOPS 8634390 HAS SOUS 8151012 HAS SOUPS 8151012 WITH SCORE 8159646.39
AT ITER 1092 NEW BEST:: SOT 16555172 SOS 8633197 HAS SOPS 8633197 HAS SOUS 8149489 HAS SOUPS 8149489 WITH SCORE 8158122.197
AT ITER 1095 NEW BEST:: SOT 16555172 SOS 8631940 HAS SOPS 8631940 HAS SOUS 8149489 HAS SOUPS 8149489 WITH SCORE 8158120.94
AT ITER 1097 NEW BEST:: SOT 16554432 SOS 8631200 HAS SOPS 8631200 HAS SOUS 8148999 HAS SOUPS 8148999 WITH SCORE 8157630.2
AT ITER 1111 NEW BEST:: SOT 16554432 SOS 8629476 HAS SOPS 8629476 HAS SOUS 8148999 HAS SOUPS 8148999 WITH SCORE 8157628.476
AT ITER 1120 NEW BEST:: SOT 16554432 SOS 8628458 HAS SOPS 8628458 HAS SOUS 8148999 HAS SOUPS 8148999 WITH SCORE 8157627.458
AT ITER 1122 NEW BEST:: SOT 16553789 SOS 8627915 HAS SOPS 8627915 HAS SOUS 8148556 HAS SOUPS 8148556 WITH SCORE 8157183.915
AT ITER 1126 NEW BEST:: SOT 16553789 SOS 8626608 HAS SOPS 8626608 HAS SOUS 8148556 HAS SOUPS 8148556 WITH SCORE 8157182.608
AT ITER 1128 NEW BEST:: SOT 16553032 SOS 8625851 HAS SOPS 8625851 HAS SOUS 8147799 HAS SOUPS 8147799 WITH SCORE 8156424.851
AT ITER 1133 NEW BEST:: SOT 16552980 SOS 8625777 HAS SOPS 8625777 HAS SOUS 8147747 HAS SOUPS 8147747 WITH SCORE 8156372.777
AT ITER 1136 NEW BEST:: SOT 16552980 SOS 8624554 HAS SOPS 8624554 HAS SOUS 8147747 HAS SOUPS 8147747 WITH SCORE 8156371.554
AT ITER 1148 NEW BEST:: SOT 16549644 SOS 8626346 HAS SOPS 8626346 HAS SOUS 8144656 HAS SOUPS 8144656 WITH SCORE 8153282.346
AT ITER 1150 NEW BEST:: SOT 16548125 SOS 8625551 HAS SOPS 8625551 HAS SOUS 8143137 HAS SOUPS 8143137 WITH SCORE 8151762.551
AT ITER 1161 NEW BEST:: SOT 16548125 SOS 8625298 HAS SOPS 8625298 HAS SOUS 8143137 HAS SOUPS 8143137 WITH SCORE 8151762.298
AT ITER 1164 NEW BEST:: SOT 16546657 SOS 8627793 HAS SOPS 8627793 HAS SOUS 8142414 HAS SOUPS 8142414 WITH SCORE 8151041.793
AT ITER 1166 NEW BEST:: SOT 16546657 SOS 8627048 HAS SOPS 8627048 HAS SOUS 8142414 HAS SOUPS 8142414 WITH SCORE 8151041.048
AT ITER 1190 NEW BEST:: SOT 16546657 SOS 8626982 HAS SOPS 8626982 HAS SOUS 8142414 HAS SOUPS 8142414 WITH SCORE 8151040.982
AT ITER 1192 NEW BEST:: SOT 16546657 SOS 8627150 HAS SOPS 8627150 HAS SOUS 8142387 HAS SOUPS 8142387 WITH SCORE 8151014.15
AT ITER 1197 NEW BEST:: SOT 16546327 SOS 8632656 HAS SOPS 8632656 HAS SOUS 8142057 HAS SOUPS 8142057 WITH SCORE 8150689.656
AT ITER 1205 NEW BEST:: SOT 16545710 SOS 8634381 HAS SOPS 8634381 HAS SOUS 8141543 HAS SOUPS 8141543 WITH SCORE 8150177.381
AT ITER 1207 NEW BEST:: SOT 16545050 SOS 8634625 HAS SOPS 8634625 HAS SOUS 8140923 HAS SOUPS 8140923 WITH SCORE 8149557.625
AT ITER 1208 NEW BEST:: SOT 16540895 SOS 8630845 HAS SOPS 8630845 HAS SOUS 8136888 HAS SOUPS 8136888 WITH SCORE 8145518.845
AT ITER 1211 NEW BEST:: SOT 16540895 SOS 8629686 HAS SOPS 8629686 HAS SOUS 8136888 HAS SOUPS 8136888 WITH SCORE 8145517.686
AT ITER 1218 NEW BEST:: SOT 16540415 SOS 8629252 HAS SOPS 8629252 HAS SOUS 8136663 HAS SOUPS 8136663 WITH SCORE 8145292.252
AT ITER 1220 NEW BEST:: SOT 16540415 SOS 8628507 HAS SOPS 8628507 HAS SOUS 8135918 HAS SOUPS 8135918 WITH SCORE 8144546.507
AT ITER 1221 NEW BEST:: SOT 16537758 SOS 8625850 HAS SOPS 8625850 HAS SOUS 8133261 HAS SOUPS 8133261 WITH SCORE 8141886.85
AT ITER 1228 NEW BEST:: SOT 16537428 SOS 8630751 HAS SOPS 8630751 HAS SOUS 8132931 HAS SOUPS 8132931 WITH SCORE 8141561.751
AT ITER 1230 NEW BEST:: SOT 16534779 SOS 8628741 HAS SOPS 8628741 HAS SOUS 8130282 HAS SOUPS 8130282 WITH SCORE 8138910.741
AT ITER 1235 NEW BEST:: SOT 16534779 SOS 8626036 HAS SOPS 8626036 HAS SOUS 8130282 HAS SOUPS 8130282 WITH SCORE 8138908.036
AT ITER 1238 NEW BEST:: SOT 16534779 SOS 8625737 HAS SOPS 8625737 HAS SOUS 8130282 HAS SOUPS 8130282 WITH SCORE 8138907.737
AT ITER 1241 NEW BEST:: SOT 16534459 SOS 8628964 HAS SOPS 8628964 HAS SOUS 8130125 HAS SOUPS 8130125 WITH SCORE 8138753.964
AT ITER 1243 NEW BEST:: SOT 16534583 SOS 8628922 HAS SOPS 8628922 HAS SOUS 8130023 HAS SOUPS 8130023 WITH SCORE 8138651.922
AT ITER 1245 NEW BEST:: SOT 16534583 SOS 8628151 HAS SOPS 8628151 HAS SOUS 8130023 HAS SOUPS 8130023 WITH SCORE 8138651.151
AT ITER 1259 NEW BEST:: SOT 16534985 SOS 8629755 HAS SOPS 8629755 HAS SOUS 8129807 HAS SOUPS 8129807 WITH SCORE 8138436.755
AT ITER 1260 NEW BEST:: SOT 16533547 SOS 8629587 HAS SOPS 8629587 HAS SOUS 8128369 HAS SOUPS 8128369 WITH SCORE 8136998.587
AT ITER 1263 NEW BEST:: SOT 16533397 SOS 8629872 HAS SOPS 8629872 HAS SOUS 8128219 HAS SOUPS 8128219 WITH SCORE 8136848.872
AT ITER 1264 NEW BEST:: SOT 16532872 SOS 8643739 HAS SOPS 8643739 HAS SOUS 8128151 HAS SOUPS 8128151 WITH SCORE 8136794.739
AT ITER 1271 NEW BEST:: SOT 16530643 SOS 8642488 HAS SOPS 8642488 HAS SOUS 8125922 HAS SOUPS 8125922 WITH SCORE 8134564.488
AT ITER 1274 NEW BEST:: SOT 16530999 SOS 8642209 HAS SOPS 8642209 HAS SOUS 8125418 HAS SOUPS 8125418 WITH SCORE 8134060.209
AT ITER 1278 NEW BEST:: SOT 16530999 SOS 8641802 HAS SOPS 8641802 HAS SOUS 8125150 HAS SOUPS 8125150 WITH SCORE 8133791.802
AT ITER 1285 NEW BEST:: SOT 16527828 SOS 8638631 HAS SOPS 8638631 HAS SOUS 8121979 HAS SOUPS 8121979 WITH SCORE 8130617.631
AT ITER 1286 NEW BEST:: SOT 16527828 SOS 8638532 HAS SOPS 8638532 HAS SOUS 8121979 HAS SOUPS 8121979 WITH SCORE 8130617.532
AT ITER 1290 NEW BEST:: SOT 16525548 SOS 8636674 HAS SOPS 8636674 HAS SOUS 8119821 HAS SOUPS 8119821 WITH SCORE 8128457.674
AT ITER 1297 NEW BEST:: SOT 16525548 SOS 8635217 HAS SOPS 8635217 HAS SOUS 8119768 HAS SOUPS 8119768 WITH SCORE 8128403.217
AT ITER 1301 NEW BEST:: SOT 16525074 SOS 8635315 HAS SOPS 8635315 HAS SOUS 8119355 HAS SOUPS 8119355 WITH SCORE 8127990.315
AT ITER 1302 NEW BEST:: SOT 16525405 SOS 8635001 HAS SOPS 8635001 HAS SOUS 8119011 HAS SOUPS 8119011 WITH SCORE 8127646.001
AT ITER 1311 NEW BEST:: SOT 16525405 SOS 8634681 HAS SOPS 8634681 HAS SOUS 8119011 HAS SOUPS 8119011 WITH SCORE 8127645.681
AT ITER 1312 NEW BEST:: SOT 16525405 SOS 8631927 HAS SOPS 8631927 HAS SOUS 8118864 HAS SOUPS 8118864 WITH SCORE 8127495.927
AT ITER 1314 NEW BEST:: SOT 16521068 SOS 8633538 HAS SOPS 8633538 HAS SOUS 8115703 HAS SOUPS 8115703 WITH SCORE 8124336.538
AT ITER 1318 NEW BEST:: SOT 16521068 SOS 8633563 HAS SOPS 8633563 HAS SOUS 8115668 HAS SOUPS 8115668 WITH SCORE 8124301.563
AT ITER 1319 NEW BEST:: SOT 16518159 SOS 8642082 HAS SOPS 8642082 HAS SOUS 8112966 HAS SOUPS 8112966 WITH SCORE 8121608.082
AT ITER 1321 NEW BEST:: SOT 16518159 SOS 8641720 HAS SOPS 8641720 HAS SOUS 8112966 HAS SOUPS 8112966 WITH SCORE 8121607.72
AT ITER 1328 NEW BEST:: SOT 16517328 SOS 8640952 HAS SOPS 8640952 HAS SOUS 8112198 HAS SOUPS 8112198 WITH SCORE 8120838.952
AT ITER 1330 NEW BEST:: SOT 16513162 SOS 8638208 HAS SOPS 8638208 HAS SOUS 8109336 HAS SOUPS 8109336 WITH SCORE 8117974.208
AT ITER 1336 NEW BEST:: SOT 16513162 SOS 8637783 HAS SOPS 8637783 HAS SOUS 8109336 HAS SOUPS 8109336 WITH SCORE 8117973.783
AT ITER 1341 NEW BEST:: SOT 16512449 SOS 8636890 HAS SOPS 8636890 HAS SOUS 8108708 HAS SOUPS 8108708 WITH SCORE 8117344.89
AT ITER 1343 NEW BEST:: SOT 16512449 SOS 8632238 HAS SOPS 8632238 HAS SOUS 8108579 HAS SOUPS 8108579 WITH SCORE 8117211.238
AT ITER 1344 NEW BEST:: SOT 16512449 SOS 8631250 HAS SOPS 8631250 HAS SOUS 8108579 HAS SOUPS 8108579 WITH SCORE 8117210.25
AT ITER 1349 NEW BEST:: SOT 16512523 SOS 8631157 HAS SOPS 8631157 HAS SOUS 8108351 HAS SOUPS 8108351 WITH SCORE 8116982.157
AT ITER 1350 NEW BEST:: SOT 16512523 SOS 8630474 HAS SOPS 8630474 HAS SOUS 8108351 HAS SOUPS 8108351 WITH SCORE 8116981.474
AT ITER 1352 NEW BEST:: SOT 16512804 SOS 8630418 HAS SOPS 8630418 HAS SOUS 8107281 HAS SOUPS 8107281 WITH SCORE 8115911.418
AT ITER 1357 NEW BEST:: SOT 16512209 SOS 8631291 HAS SOPS 8631291 HAS SOUS 8106686 HAS SOUPS 8106686 WITH SCORE 8115317.291
AT ITER 1363 NEW BEST:: SOT 16512013 SOS 8631095 HAS SOPS 8631095 HAS SOUS 8106490 HAS SOUPS 8106490 WITH SCORE 8115121.095
AT ITER 1367 NEW BEST:: SOT 16512013 SOS 8631087 HAS SOPS 8631087 HAS SOUS 8106490 HAS SOUPS 8106490 WITH SCORE 8115121.087
AT ITER 1378 NEW BEST:: SOT 16511383 SOS 8652083 HAS SOPS 8652083 HAS SOUS 8106319 HAS SOUPS 8106319 WITH SCORE 8114971.083
AT ITER 1381 NEW BEST:: SOT 16511383 SOS 8651549 HAS SOPS 8651549 HAS SOUS 8106319 HAS SOUPS 8106319 WITH SCORE 8114970.549
AT ITER 1382 NEW BEST:: SOT 16511383 SOS 8651085 HAS SOPS 8651085 HAS SOUS 8106319 HAS SOUPS 8106319 WITH SCORE 8114970.085
AT ITER 1385 NEW BEST:: SOT 16511383 SOS 8647698 HAS SOPS 8647698 HAS SOUS 8106208 HAS SOUPS 8106208 WITH SCORE 8114855.698
AT ITER 1398 NEW BEST:: SOT 16508782 SOS 8645353 HAS SOPS 8645353 HAS SOUS 8103814 HAS SOUPS 8103814 WITH SCORE 8112459.353
AT ITER 1404 NEW BEST:: SOT 16508782 SOS 8644708 HAS SOPS 8644708 HAS SOUS 8103726 HAS SOUPS 8103726 WITH SCORE 8112370.708
AT ITER 1410 NEW BEST:: SOT 16508782 SOS 8643007 HAS SOPS 8643007 HAS SOUS 8103726 HAS SOUPS 8103726 WITH SCORE 8112369.007
AT ITER 1417 NEW BEST:: SOT 16508782 SOS 8642504 HAS SOPS 8642504 HAS SOUS 8103726 HAS SOUPS 8103726 WITH SCORE 8112368.504
AT ITER 1430 NEW BEST:: SOT 16508782 SOS 8642216 HAS SOPS 8642216 HAS SOUS 8103726 HAS SOUPS 8103726 WITH SCORE 8112368.216
AT ITER 1434 NEW BEST:: SOT 16503627 SOS 8647164 HAS SOPS 8647164 HAS SOUS 8100202 HAS SOUPS 8100202 WITH SCORE 8108849.164
AT ITER 1438 NEW BEST:: SOT 16499513 SOS 8649390 HAS SOPS 8649390 HAS SOUS 8096263 HAS SOUPS 8096263 WITH SCORE 8104912.39
AT ITER 1441 NEW BEST:: SOT 16497589 SOS 8681999 HAS SOPS 8681999 HAS SOUS 8095694 HAS SOUPS 8095694 WITH SCORE 8104375.999
AT ITER 1445 NEW BEST:: SOT 16497589 SOS 8681814 HAS SOPS 8681814 HAS SOUS 8095694 HAS SOUPS 8095694 WITH SCORE 8104375.814
AT ITER 1456 NEW BEST:: SOT 16497589 SOS 8681582 HAS SOPS 8681582 HAS SOUS 8095694 HAS SOUPS 8095694 WITH SCORE 8104375.582
AT ITER 1459 NEW BEST:: SOT 16496632 SOS 8681027 HAS SOPS 8681027 HAS SOUS 8095139 HAS SOUPS 8095139 WITH SCORE 8103820.027
AT ITER 1460 NEW BEST:: SOT 16496632 SOS 8680494 HAS SOPS 8680494 HAS SOUS 8095139 HAS SOUPS 8095139 WITH SCORE 8103819.494
AT ITER 1471 NEW BEST:: SOT 16495765 SOS 8699194 HAS SOPS 8699194 HAS SOUS 8094960 HAS SOUPS 8094960 WITH SCORE 8103659.194
AT ITER 1472 NEW BEST:: SOT 16495765 SOS 8698946 HAS SOPS 8698946 HAS SOUS 8094960 HAS SOUPS 8094960 WITH SCORE 8103658.946
AT ITER 1476 NEW BEST:: SOT 16495765 SOS 8697714 HAS SOPS 8697714 HAS SOUS 8094960 HAS SOUPS 8094960 WITH SCORE 8103657.714
AT ITER 1477 NEW BEST:: SOT 16495765 SOS 8692566 HAS SOPS 8692566 HAS SOUS 8094960 HAS SOUPS 8094960 WITH SCORE 8103652.566
AT ITER 1481 NEW BEST:: SOT 16495765 SOS 8692141 HAS SOPS 8692141 HAS SOUS 8094960 HAS SOUPS 8094960 WITH SCORE 8103652.141
AT ITER 1483 NEW BEST:: SOT 16495765 SOS 8692452 HAS SOPS 8692452 HAS SOUS 8094945 HAS SOUPS 8094945 WITH SCORE 8103637.452
AT ITER 1489 NEW BEST:: SOT 16494250 SOS 8695060 HAS SOPS 8695060 HAS SOUS 8094941 HAS SOUPS 8094941 WITH SCORE 8103636.06
AT ITER 1491 NEW BEST:: SOT 16493209 SOS 8699980 HAS SOPS 8699980 HAS SOUS 8094422 HAS SOUPS 8094422 WITH SCORE 8103121.98
AT ITER 1492 NEW BEST:: SOT 16493093 SOS 8708787 HAS SOPS 8708787 HAS SOUS 8094306 HAS SOUPS 8094306 WITH SCORE 8103014.787
AT ITER 1503 NEW BEST:: SOT 16493093 SOS 8708660 HAS SOPS 8708660 HAS SOUS 8094306 HAS SOUPS 8094306 WITH SCORE 8103014.66
AT ITER 1516 NEW BEST:: SOT 16491484 SOS 8707051 HAS SOPS 8707051 HAS SOUS 8092697 HAS SOUPS 8092697 WITH SCORE 8101404.051
AT ITER 1517 NEW BEST:: SOT 16487960 SOS 8720317 HAS SOPS 8720317 HAS SOUS 8090811 HAS SOUPS 8090811 WITH SCORE 8099531.317
AT ITER 1519 NEW BEST:: SOT 16485424 SOS 8721611 HAS SOPS 8721611 HAS SOUS 8088607 HAS SOUPS 8088607 WITH SCORE 8097328.611
AT ITER 1524 NEW BEST:: SOT 16484832 SOS 8723143 HAS SOPS 8723143 HAS SOUS 8088110 HAS SOUPS 8088110 WITH SCORE 8096833.143
AT ITER 1529 NEW BEST:: SOT 16483940 SOS 8725608 HAS SOPS 8725608 HAS SOUS 8087297 HAS SOUPS 8087297 WITH SCORE 8096022.608
AT ITER 1530 NEW BEST:: SOT 16479507 SOS 8754577 HAS SOPS 8754577 HAS SOUS 8085642 HAS SOUPS 8085642 WITH SCORE 8094396.577
AT ITER 1531 NEW BEST:: SOT 16477965 SOS 8763504 HAS SOPS 8763504 HAS SOUS 8084893 HAS SOUPS 8084893 WITH SCORE 8093656.504
AT ITER 1533 NEW BEST:: SOT 16474221 SOS 8760555 HAS SOPS 8760555 HAS SOUS 8081660 HAS SOUPS 8081660 WITH SCORE 8090420.555
AT ITER 1539 NEW BEST:: SOT 16474221 SOS 8760214 HAS SOPS 8760214 HAS SOUS 8081660 HAS SOUPS 8081660 WITH SCORE 8090420.214
AT ITER 1542 NEW BEST:: SOT 16473736 SOS 8760699 HAS SOPS 8760699 HAS SOUS 8081175 HAS SOUPS 8081175 WITH SCORE 8089935.699
AT ITER 1547 NEW BEST:: SOT 16472530 SOS 8760998 HAS SOPS 8760998 HAS SOUS 8080047 HAS SOUPS 8080047 WITH SCORE 8088807.998
AT ITER 1551 NEW BEST:: SOT 16471915 SOS 8779735 HAS SOPS 8779735 HAS SOUS 8079973 HAS SOUPS 8079973 WITH SCORE 8088752.735
AT ITER 1554 NEW BEST:: SOT 16471915 SOS 8779378 HAS SOPS 8779378 HAS SOUS 8079973 HAS SOUPS 8079973 WITH SCORE 8088752.378
AT ITER 1555 NEW BEST:: SOT 16467691 SOS 8777792 HAS SOPS 8777792 HAS SOUS 8077834 HAS SOUPS 8077834 WITH SCORE 8086611.792
AT ITER 1569 NEW BEST:: SOT 16467691 SOS 8778201 HAS SOPS 8778201 HAS SOUS 8077265 HAS SOUPS 8077265 WITH SCORE 8086043.201
AT ITER 1570 NEW BEST:: SOT 16467691 SOS 8778119 HAS SOPS 8778119 HAS SOUS 8077265 HAS SOUPS 8077265 WITH SCORE 8086043.119
AT ITER 1576 NEW BEST:: SOT 16467691 SOS 8777970 HAS SOPS 8777970 HAS SOUS 8077265 HAS SOUPS 8077265 WITH SCORE 8086042.97
AT ITER 1580 NEW BEST:: SOT 16467691 SOS 8777768 HAS SOPS 8777768 HAS SOUS 8077169 HAS SOUPS 8077169 WITH SCORE 8085946.768
AT ITER 1584 NEW BEST:: SOT 16467691 SOS 8777728 HAS SOPS 8777728 HAS SOUS 8077169 HAS SOUPS 8077169 WITH SCORE 8085946.728
AT ITER 1594 NEW BEST:: SOT 16468070 SOS 8776157 HAS SOPS 8776157 HAS SOUS 8075795 HAS SOUPS 8075795 WITH SCORE 8084571.157
AT ITER 1602 NEW BEST:: SOT 16464223 SOS 8773957 HAS SOPS 8773957 HAS SOUS 8072035 HAS SOUPS 8072035 WITH SCORE 8080808.957
AT ITER 1605 NEW BEST:: SOT 16464223 SOS 8771558 HAS SOPS 8771558 HAS SOUS 8072035 HAS SOUPS 8072035 WITH SCORE 8080806.558
AT ITER 1609 NEW BEST:: SOT 16464223 SOS 8770877 HAS SOPS 8770877 HAS SOUS 8072035 HAS SOUPS 8072035 WITH SCORE 8080805.877
AT ITER 1610 NEW BEST:: SOT 16464446 SOS 8771025 HAS SOPS 8771025 HAS SOUS 8071973 HAS SOUPS 8071973 WITH SCORE 8080744.025
AT ITER 1614 NEW BEST:: SOT 16464446 SOS 8770664 HAS SOPS 8770664 HAS SOUS 8071973 HAS SOUPS 8071973 WITH SCORE 8080743.664
AT ITER 1618 NEW BEST:: SOT 16464446 SOS 8770614 HAS SOPS 8770614 HAS SOUS 8071973 HAS SOUPS 8071973 WITH SCORE 8080743.614
AT ITER 1622 NEW BEST:: SOT 16464446 SOS 8769116 HAS SOPS 8769116 HAS SOUS 8071973 HAS SOUPS 8071973 WITH SCORE 8080742.116
AT ITER 1627 NEW BEST:: SOT 16464446 SOS 8768353 HAS SOPS 8768353 HAS SOUS 8071973 HAS SOUPS 8071973 WITH SCORE 8080741.353
AT ITER 1628 NEW BEST:: SOT 16460259 SOS 8800169 HAS SOPS 8800169 HAS SOUS 8069639 HAS SOUPS 8069639 WITH SCORE 8078439.169
AT ITER 1633 NEW BEST:: SOT 16460259 SOS 8799479 HAS SOPS 8799479 HAS SOUS 8069639 HAS SOUPS 8069639 WITH SCORE 8078438.479
AT ITER 1640 NEW BEST:: SOT 16458677 SOS 8811288 HAS SOPS 8811288 HAS SOUS 8068380 HAS SOUPS 8068380 WITH SCORE 8077191.288
AT ITER 1641 NEW BEST:: SOT 16454609 SOS 8808585 HAS SOPS 8808585 HAS SOUS 8064659 HAS SOUPS 8064659 WITH SCORE 8073467.585
AT ITER 1645 NEW BEST:: SOT 16454863 SOS 8808119 HAS SOPS 8808119 HAS SOUS 8064013 HAS SOUPS 8064013 WITH SCORE 8072821.119
AT ITER 1646 NEW BEST:: SOT 16454368 SOS 8822964 HAS SOPS 8822964 HAS SOUS 8063857 HAS SOUPS 8063857 WITH SCORE 8072679.964
AT ITER 1647 NEW BEST:: SOT 16454097 SOS 8824105 HAS SOPS 8824105 HAS SOUS 8063586 HAS SOUPS 8063586 WITH SCORE 8072410.105
AT ITER 1650 NEW BEST:: SOT 16454097 SOS 8823114 HAS SOPS 8823114 HAS SOUS 8063463 HAS SOUPS 8063463 WITH SCORE 8072286.114
AT ITER 1652 NEW BEST:: SOT 16454097 SOS 8821802 HAS SOPS 8821802 HAS SOUS 8063463 HAS SOUPS 8063463 WITH SCORE 8072284.802
AT ITER 1654 NEW BEST:: SOT 16454097 SOS 8821227 HAS SOPS 8821227 HAS SOUS 8063463 HAS SOUPS 8063463 WITH SCORE 8072284.227
AT ITER 1659 NEW BEST:: SOT 16454097 SOS 8820931 HAS SOPS 8820931 HAS SOUS 8063463 HAS SOUPS 8063463 WITH SCORE 8072283.931
AT ITER 1661 NEW BEST:: SOT 16454097 SOS 8820876 HAS SOPS 8820876 HAS SOUS 8063463 HAS SOUPS 8063463 WITH SCORE 8072283.876
AT ITER 1676 NEW BEST:: SOT 16452048 SOS 8819207 HAS SOPS 8819207 HAS SOUS 8061494 HAS SOUPS 8061494 WITH SCORE 8070313.207
AT ITER 1677 NEW BEST:: SOT 16452048 SOS 8818002 HAS SOPS 8818002 HAS SOUS 8061494 HAS SOUPS 8061494 WITH SCORE 8070312.002
AT ITER 1678 NEW BEST:: SOT 16452048 SOS 8816746 HAS SOPS 8816746 HAS SOUS 8061494 HAS SOUPS 8061494 WITH SCORE 8070310.746
AT ITER 1680 NEW BEST:: SOT 16451885 SOS 8814638 HAS SOPS 8814638 HAS SOUS 8061022 HAS SOUPS 8061022 WITH SCORE 8069836.638
AT ITER 1695 NEW BEST:: SOT 16448683 SOS 8812443 HAS SOPS 8812443 HAS SOUS 8058107 HAS SOUPS 8058107 WITH SCORE 8066919.443
AT ITER 1698 NEW BEST:: SOT 16443712 SOS 8807954 HAS SOPS 8807954 HAS SOUS 8054078 HAS SOUPS 8054078 WITH SCORE 8062885.954
AT ITER 1699 NEW BEST:: SOT 16438245 SOS 8807572 HAS SOPS 8807572 HAS SOUS 8049173 HAS SOUPS 8049173 WITH SCORE 8057980.572
AT ITER 1703 NEW BEST:: SOT 16438245 SOS 8807285 HAS SOPS 8807285 HAS SOUS 8049173 HAS SOUPS 8049173 WITH SCORE 8057980.285
AT ITER 1706 NEW BEST:: SOT 16438245 SOS 8807259 HAS SOPS 8807259 HAS SOUS 8049147 HAS SOUPS 8049147 WITH SCORE 8057954.259
AT ITER 1710 NEW BEST:: SOT 16438245 SOS 8807136 HAS SOPS 8807136 HAS SOUS 8049147 HAS SOUPS 8049147 WITH SCORE 8057954.136
AT ITER 1719 NEW BEST:: SOT 16437505 SOS 8806396 HAS SOPS 8806396 HAS SOUS 8048407 HAS SOUPS 8048407 WITH SCORE 8057213.396
AT ITER 1726 NEW BEST:: SOT 16434775 SOS 8812534 HAS SOPS 8812534 HAS SOUS 8045980 HAS SOUPS 8045980 WITH SCORE 8054792.534
AT ITER 1729 NEW BEST:: SOT 16434775 SOS 8812046 HAS SOPS 8812046 HAS SOUS 8045492 HAS SOUPS 8045492 WITH SCORE 8054304.046
AT ITER 1730 NEW BEST:: SOT 16434775 SOS 8811067 HAS SOPS 8811067 HAS SOUS 8045492 HAS SOUPS 8045492 WITH SCORE 8054303.067
AT ITER 1733 NEW BEST:: SOT 16434775 SOS 8810901 HAS SOPS 8810901 HAS SOUS 8045492 HAS SOUPS 8045492 WITH SCORE 8054302.901
AT ITER 1734 NEW BEST:: SOT 16434654 SOS 8810763 HAS SOPS 8810763 HAS SOUS 8045460 HAS SOUPS 8045460 WITH SCORE 8054270.763
AT ITER 1735 NEW BEST:: SOT 16434654 SOS 8808887 HAS SOPS 8808887 HAS SOUS 8045460 HAS SOUPS 8045460 WITH SCORE 8054268.887
AT ITER 1750 NEW BEST:: SOT 16434654 SOS 8808437 HAS SOPS 8808437 HAS SOUS 8045460 HAS SOUPS 8045460 WITH SCORE 8054268.437
AT ITER 1754 NEW BEST:: SOT 16434654 SOS 8802897 HAS SOPS 8802897 HAS SOUS 8044759 HAS SOUPS 8044759 WITH SCORE 8053561.897
AT ITER 1755 NEW BEST:: SOT 16434654 SOS 8802327 HAS SOPS 8802327 HAS SOUS 8044759 HAS SOUPS 8044759 WITH SCORE 8053561.327
AT ITER 1758 NEW BEST:: SOT 16434654 SOS 8800670 HAS SOPS 8800670 HAS SOUS 8044759 HAS SOUPS 8044759 WITH SCORE 8053559.67
AT ITER 1760 NEW BEST:: SOT 16433041 SOS 8813819 HAS SOPS 8813819 HAS SOUS 8044041 HAS SOUPS 8044041 WITH SCORE 8052854.819
AT ITER 1761 NEW BEST:: SOT 16433041 SOS 8790059 HAS SOPS 8790059 HAS SOUS 8044041 HAS SOUPS 8044041 WITH SCORE 8052831.059
AT ITER 1771 NEW BEST:: SOT 16432946 SOS 8789964 HAS SOPS 8789964 HAS SOUS 8043946 HAS SOUPS 8043946 WITH SCORE 8052735.964
AT ITER 1772 NEW BEST:: SOT 16433791 SOS 8789676 HAS SOPS 8789676 HAS SOUS 8043508 HAS SOUPS 8043508 WITH SCORE 8052297.676
AT ITER 1777 NEW BEST:: SOT 16433791 SOS 8789006 HAS SOPS 8789006 HAS SOUS 8043124 HAS SOUPS 8043124 WITH SCORE 8051913.006
AT ITER 1786 NEW BEST:: SOT 16430711 SOS 8792308 HAS SOPS 8792308 HAS SOUS 8042919 HAS SOUPS 8042919 WITH SCORE 8051711.308
AT ITER 1791 NEW BEST:: SOT 16430881 SOS 8792355 HAS SOPS 8792355 HAS SOUS 8042801 HAS SOUPS 8042801 WITH SCORE 8051593.355
AT ITER 1808 NEW BEST:: SOT 16430881 SOS 8792200 HAS SOPS 8792200 HAS SOUS 8042801 HAS SOUPS 8042801 WITH SCORE 8051593.2
AT ITER 1810 NEW BEST:: SOT 16430881 SOS 8791869 HAS SOPS 8791869 HAS SOUS 8042801 HAS SOUPS 8042801 WITH SCORE 8051592.869
AT ITER 1815 NEW BEST:: SOT 16427761 SOS 8813302 HAS SOPS 8813302 HAS SOUS 8040300 HAS SOUPS 8040300 WITH SCORE 8049113.302
AT ITER 1820 NEW BEST:: SOT 16427761 SOS 8812812 HAS SOPS 8812812 HAS SOUS 8040300 HAS SOUPS 8040300 WITH SCORE 8049112.812
AT ITER 1821 NEW BEST:: SOT 16427476 SOS 8811875 HAS SOPS 8811875 HAS SOUS 8039912 HAS SOUPS 8039912 WITH SCORE 8048723.875
AT ITER 1822 NEW BEST:: SOT 16422073 SOS 8831537 HAS SOPS 8831537 HAS SOUS 8038629 HAS SOUPS 8038629 WITH SCORE 8047460.537
AT ITER 1824 NEW BEST:: SOT 16422073 SOS 8829471 HAS SOPS 8829471 HAS SOUS 8038629 HAS SOUPS 8038629 WITH SCORE 8047458.471
AT ITER 1826 NEW BEST:: SOT 16422128 SOS 8829322 HAS SOPS 8829322 HAS SOUS 8038360 HAS SOUPS 8038360 WITH SCORE 8047189.322
AT ITER 1827 NEW BEST:: SOT 16420277 SOS 8827612 HAS SOPS 8827612 HAS SOUS 8036509 HAS SOUPS 8036509 WITH SCORE 8045336.612
AT ITER 1828 NEW BEST:: SOT 16415543 SOS 8828582 HAS SOPS 8828582 HAS SOUS 8032733 HAS SOUPS 8032733 WITH SCORE 8041561.582
AT ITER 1829 NEW BEST:: SOT 16415543 SOS 8828484 HAS SOPS 8828484 HAS SOUS 8032733 HAS SOUPS 8032733 WITH SCORE 8041561.484
AT ITER 1843 NEW BEST:: SOT 16414466 SOS 8833594 HAS SOPS 8833594 HAS SOUS 8032259 HAS SOUPS 8032259 WITH SCORE 8041092.594
AT ITER 1844 NEW BEST:: SOT 16408566 SOS 8828538 HAS SOPS 8828538 HAS SOUS 8026434 HAS SOUPS 8026434 WITH SCORE 8035262.538
AT ITER 1847 NEW BEST:: SOT 16402810 SOS 8838662 HAS SOPS 8838662 HAS SOUS 8026305 HAS SOUPS 8026305 WITH SCORE 8035143.662
AT ITER 1850 NEW BEST:: SOT 16402627 SOS 8838479 HAS SOPS 8838479 HAS SOUS 8026122 HAS SOUPS 8026122 WITH SCORE 8034960.479
AT ITER 1851 NEW BEST:: SOT 16402958 SOS 8837820 HAS SOPS 8837820 HAS SOUS 8025560 HAS SOUPS 8025560 WITH SCORE 8034397.82
AT ITER 1853 NEW BEST:: SOT 16399988 SOS 8835507 HAS SOPS 8835507 HAS SOUS 8022829 HAS SOUPS 8022829 WITH SCORE 8031664.507
AT ITER 1857 NEW BEST:: SOT 16400470 SOS 8835989 HAS SOPS 8835989 HAS SOUS 8022666 HAS SOUPS 8022666 WITH SCORE 8031501.989
AT ITER 1865 NEW BEST:: SOT 16398867 SOS 8840515 HAS SOPS 8840515 HAS SOUS 8022465 HAS SOUPS 8022465 WITH SCORE 8031305.515
AT ITER 1867 NEW BEST:: SOT 16398028 SOS 8841747 HAS SOPS 8841747 HAS SOUS 8021720 HAS SOUPS 8021720 WITH SCORE 8030561.747
AT ITER 1885 NEW BEST:: SOT 16398028 SOS 8839848 HAS SOPS 8839848 HAS SOUS 8021720 HAS SOUPS 8021720 WITH SCORE 8030559.848
AT ITER 1887 NEW BEST:: SOT 16398028 SOS 8834191 HAS SOPS 8834191 HAS SOUS 8021709 HAS SOUPS 8021709 WITH SCORE 8030543.191
AT ITER 1892 NEW BEST:: SOT 16392608 SOS 8829148 HAS SOPS 8829148 HAS SOUS 8016561 HAS SOUPS 8016561 WITH SCORE 8025390.148
AT ITER 1895 NEW BEST:: SOT 16392900 SOS 8828824 HAS SOPS 8828824 HAS SOUS 8016399 HAS SOUPS 8016399 WITH SCORE 8025227.824
AT ITER 1897 NEW BEST:: SOT 16392900 SOS 8828545 HAS SOPS 8828545 HAS SOUS 8016399 HAS SOUPS 8016399 WITH SCORE 8025227.545
AT ITER 1898 NEW BEST:: SOT 16392899 SOS 8826521 HAS SOPS 8826521 HAS SOUS 8016271 HAS SOUPS 8016271 WITH SCORE 8025097.521
AT ITER 1904 NEW BEST:: SOT 16391640 SOS 8825949 HAS SOPS 8825949 HAS SOUS 8015862 HAS SOUPS 8015862 WITH SCORE 8024687.949
AT ITER 1913 NEW BEST:: SOT 16391640 SOS 8825935 HAS SOPS 8825935 HAS SOUS 8015862 HAS SOUPS 8015862 WITH SCORE 8024687.935
AT ITER 1918 NEW BEST:: SOT 16391669 SOS 8825988 HAS SOPS 8825988 HAS SOUS 8015855 HAS SOUPS 8015855 WITH SCORE 8024680.988
AT ITER 1924 NEW BEST:: SOT 16391669 SOS 8825272 HAS SOPS 8825272 HAS SOUS 8015497 HAS SOUPS 8015497 WITH SCORE 8024322.272
AT ITER 1931 NEW BEST:: SOT 16390523 SOS 8825040 HAS SOPS 8825040 HAS SOUS 8015023 HAS SOUPS 8015023 WITH SCORE 8023848.04
AT ITER 1933 NEW BEST:: SOT 16390523 SOS 8824348 HAS SOPS 8824348 HAS SOUS 8015023 HAS SOUPS 8015023 WITH SCORE 8023847.348
AT ITER 1935 NEW BEST:: SOT 16390523 SOS 8823410 HAS SOPS 8823410 HAS SOUS 8015023 HAS SOUPS 8015023 WITH SCORE 8023846.41
AT ITER 1939 NEW BEST:: SOT 16386459 SOS 8821205 HAS SOPS 8821205 HAS SOUS 8012282 HAS SOUPS 8012282 WITH SCORE 8021103.205
AT ITER 1941 NEW BEST:: SOT 16385964 SOS 8825017 HAS SOPS 8825017 HAS SOUS 8011886 HAS SOUPS 8011886 WITH SCORE 8020711.017
AT ITER 1948 NEW BEST:: SOT 16385964 SOS 8824492 HAS SOPS 8824492 HAS SOUS 8011886 HAS SOUPS 8011886 WITH SCORE 8020710.492
AT ITER 1949 NEW BEST:: SOT 16385619 SOS 8824660 HAS SOPS 8824660 HAS SOUS 8011541 HAS SOUPS 8011541 WITH SCORE 8020365.66
AT ITER 1950 NEW BEST:: SOT 16384333 SOS 8825003 HAS SOPS 8825003 HAS SOUS 8010255 HAS SOUPS 8010255 WITH SCORE 8019080.003
AT ITER 1952 NEW BEST:: SOT 16384333 SOS 8824812 HAS SOPS 8824812 HAS SOUS 8010255 HAS SOUPS 8010255 WITH SCORE 8019079.812
AT ITER 1954 NEW BEST:: SOT 16382995 SOS 8830092 HAS SOPS 8830092 HAS SOUS 8009196 HAS SOUPS 8009196 WITH SCORE 8018026.092
AT ITER 1962 NEW BEST:: SOT 16382995 SOS 8828374 HAS SOPS 8828374 HAS SOUS 8009196 HAS SOUPS 8009196 WITH SCORE 8018024.374
AT ITER 1963 NEW BEST:: SOT 16380314 SOS 8836908 HAS SOPS 8836908 HAS SOUS 8009092 HAS SOUPS 8009092 WITH SCORE 8017928.908
AT ITER 1964 NEW BEST:: SOT 16375938 SOS 8846917 HAS SOPS 8846917 HAS SOUS 8005204 HAS SOUPS 8005204 WITH SCORE 8014050.917
AT ITER 1971 NEW BEST:: SOT 16375497 SOS 8846476 HAS SOPS 8846476 HAS SOUS 8004763 HAS SOUPS 8004763 WITH SCORE 8013609.476
AT ITER 1972 NEW BEST:: SOT 16375497 SOS 8845649 HAS SOPS 8845649 HAS SOUS 8004763 HAS SOUPS 8004763 WITH SCORE 8013608.649
AT ITER 1975 NEW BEST:: SOT 16375497 SOS 8845567 HAS SOPS 8845567 HAS SOUS 8004763 HAS SOUPS 8004763 WITH SCORE 8013608.567
AT ITER 1976 NEW BEST:: SOT 16375497 SOS 8844539 HAS SOPS 8844539 HAS SOUS 8004763 HAS SOUPS 8004763 WITH SCORE 8013607.539
AT ITER 1983 NEW BEST:: SOT 16375702 SOS 8842878 HAS SOPS 8842878 HAS SOUS 8004728 HAS SOUPS 8004728 WITH SCORE 8013570.878
AT ITER 1985 NEW BEST:: SOT 16375702 SOS 8842856 HAS SOPS 8842856 HAS SOUS 8004728 HAS SOUPS 8004728 WITH SCORE 8013570.856
AT ITER 1986 NEW BEST:: SOT 16375702 SOS 8842465 HAS SOPS 8842465 HAS SOUS 8004728 HAS SOUPS 8004728 WITH SCORE 8013570.465
AT ITER 1992 NEW BEST:: SOT 16375702 SOS 8842172 HAS SOPS 8842172 HAS SOUS 8004728 HAS SOUPS 8004728 WITH SCORE 8013570.172
AT ITER 1995 NEW BEST:: SOT 16376612 SOS 8827161 HAS SOPS 8827161 HAS SOUS 8004443 HAS SOUPS 8004443 WITH SCORE 8013270.161
AT ITER 1997 NEW BEST:: SOT 16376612 SOS 8826180 HAS SOPS 8826180 HAS SOUS 8004443 HAS SOUPS 8004443 WITH SCORE 8013269.18
AT ITER 1998 NEW BEST:: SOT 16376612 SOS 8826338 HAS SOPS 8826338 HAS SOUS 8004361 HAS SOUPS 8004361 WITH SCORE 8013187.338
AT ITER 1999 NEW BEST:: SOT 16376133 SOS 8826190 HAS SOPS 8826190 HAS SOUS 8004213 HAS SOUPS 8004213 WITH SCORE 8013039.19
AT ITER 2000 NEW BEST:: SOT 16375898 SOS 8826326 HAS SOPS 8826326 HAS SOUS 8003978 HAS SOUPS 8003978 WITH SCORE 8012804.326
AT ITER 2008 NEW BEST:: SOT 16375898 SOS 8824421 HAS SOPS 8824421 HAS SOUS 8003978 HAS SOUPS 8003978 WITH SCORE 8012802.421
AT ITER 2015 NEW BEST:: SOT 16375898 SOS 8822657 HAS SOPS 8822657 HAS SOUS 8003978 HAS SOUPS 8003978 WITH SCORE 8012800.657
AT ITER 2016 NEW BEST:: SOT 16375898 SOS 8822415 HAS SOPS 8822415 HAS SOUS 8003978 HAS SOUPS 8003978 WITH SCORE 8012800.415
AT ITER 2018 NEW BEST:: SOT 16375790 SOS 8820922 HAS SOPS 8820922 HAS SOUS 8003785 HAS SOUPS 8003785 WITH SCORE 8012605.922
AT ITER 2019 NEW BEST:: SOT 16375790 SOS 8820887 HAS SOPS 8820887 HAS SOUS 8003785 HAS SOUPS 8003785 WITH SCORE 8012605.887
AT ITER 2020 NEW BEST:: SOT 16375790 SOS 8820517 HAS SOPS 8820517 HAS SOUS 8003785 HAS SOUPS 8003785 WITH SCORE 8012605.517
AT ITER 2023 NEW BEST:: SOT 16374560 SOS 8819965 HAS SOPS 8819965 HAS SOUS 8002942 HAS SOUPS 8002942 WITH SCORE 8011761.965
AT ITER 2024 NEW BEST:: SOT 16374560 SOS 8819392 HAS SOPS 8819392 HAS SOUS 8002942 HAS SOUPS 8002942 WITH SCORE 8011761.392
AT ITER 2027 NEW BEST:: SOT 16374305 SOS 8820115 HAS SOPS 8820115 HAS SOUS 8002738 HAS SOUPS 8002738 WITH SCORE 8011558.115
AT ITER 2038 NEW BEST:: SOT 16372758 SOS 8821260 HAS SOPS 8821260 HAS SOUS 8002576 HAS SOUPS 8002576 WITH SCORE 8011397.26
AT ITER 2045 NEW BEST:: SOT 16371038 SOS 8819670 HAS SOPS 8819670 HAS SOUS 8000986 HAS SOUPS 8000986 WITH SCORE 8009805.67
AT ITER 2049 NEW BEST:: SOT 16371038 SOS 8818745 HAS SOPS 8818745 HAS SOUS 8000986 HAS SOUPS 8000986 WITH SCORE 8009804.745
AT ITER 2053 NEW BEST:: SOT 16370782 SOS 8818845 HAS SOPS 8818845 HAS SOUS 8000730 HAS SOUPS 8000730 WITH SCORE 8009548.845
AT ITER 2054 NEW BEST:: SOT 16370634 SOS 8818839 HAS SOPS 8818839 HAS SOUS 8000724 HAS SOUPS 8000724 WITH SCORE 8009542.839
AT ITER 2057 NEW BEST:: SOT 16368418 SOS 8824521 HAS SOPS 8824521 HAS SOUS 7999562 HAS SOUPS 7999562 WITH SCORE 8008386.521
AT ITER 2059 NEW BEST:: SOT 16368418 SOS 8824156 HAS SOPS 8824156 HAS SOUS 7999555 HAS SOUPS 7999555 WITH SCORE 8008379.156
AT ITER 2060 NEW BEST:: SOT 16368418 SOS 8823873 HAS SOPS 8823873 HAS SOUS 7999555 HAS SOUPS 7999555 WITH SCORE 8008378.873
AT ITER 2064 NEW BEST:: SOT 16368418 SOS 8823284 HAS SOPS 8823284 HAS SOUS 7999555 HAS SOUPS 7999555 WITH SCORE 8008378.284
AT ITER 2078 NEW BEST:: SOT 16368418 SOS 8822888 HAS SOPS 8822888 HAS SOUS 7999311 HAS SOUPS 7999311 WITH SCORE 8008133.888
AT ITER 2084 NEW BEST:: SOT 16369150 SOS 8821647 HAS SOPS 8821647 HAS SOUS 7999272 HAS SOUPS 7999272 WITH SCORE 8008093.647
AT ITER 2089 NEW BEST:: SOT 16369150 SOS 8821199 HAS SOPS 8821199 HAS SOUS 7999177 HAS SOUPS 7999177 WITH SCORE 8007998.199
AT ITER 2090 NEW BEST:: SOT 16369150 SOS 8820399 HAS SOPS 8820399 HAS SOUS 7999177 HAS SOUPS 7999177 WITH SCORE 8007997.399
AT ITER 2091 NEW BEST:: SOT 16365080 SOS 8821254 HAS SOPS 8821254 HAS SOUS 7995974 HAS SOUPS 7995974 WITH SCORE 8004795.254
AT ITER 2099 NEW BEST:: SOT 16365080 SOS 8820571 HAS SOPS 8820571 HAS SOUS 7995974 HAS SOUPS 7995974 WITH SCORE 8004794.571
AT ITER 2106 NEW BEST:: SOT 16365080 SOS 8820328 HAS SOPS 8820328 HAS SOUS 7995974 HAS SOUPS 7995974 WITH SCORE 8004794.328
AT ITER 2114 NEW BEST:: SOT 16365656 SOS 8820711 HAS SOPS 8820711 HAS SOUS 7995657 HAS SOUPS 7995657 WITH SCORE 8004477.711
AT ITER 2122 NEW BEST:: SOT 16365656 SOS 8820630 HAS SOPS 8820630 HAS SOUS 7995657 HAS SOUPS 7995657 WITH SCORE 8004477.63
AT ITER 2125 NEW BEST:: SOT 16365531 SOS 8819784 HAS SOPS 8819784 HAS SOUS 7994720 HAS SOUPS 7994720 WITH SCORE 8003539.784
AT ITER 2127 NEW BEST:: SOT 16364238 SOS 8825407 HAS SOPS 8825407 HAS SOUS 7993841 HAS SOUPS 7993841 WITH SCORE 8002666.407
AT ITER 2129 NEW BEST:: SOT 16364238 SOS 8825098 HAS SOPS 8825098 HAS SOUS 7993841 HAS SOUPS 7993841 WITH SCORE 8002666.098
AT ITER 2130 NEW BEST:: SOT 16364238 SOS 8823743 HAS SOPS 8823743 HAS SOUS 7993841 HAS SOUPS 7993841 WITH SCORE 8002664.743
AT ITER 2131 NEW BEST:: SOT 16364238 SOS 8823132 HAS SOPS 8823132 HAS SOUS 7993841 HAS SOUPS 7993841 WITH SCORE 8002664.132
AT ITER 2132 NEW BEST:: SOT 16364238 SOS 8821835 HAS SOPS 8821835 HAS SOUS 7993841 HAS SOUPS 7993841 WITH SCORE 8002662.835
AT ITER 2136 NEW BEST:: SOT 16363246 SOS 8821596 HAS SOPS 8821596 HAS SOUS 7992849 HAS SOUPS 7992849 WITH SCORE 8001670.596
AT ITER 2141 NEW BEST:: SOT 16363246 SOS 8840081 HAS SOPS 8840081 HAS SOUS 7992097 HAS SOUPS 7992097 WITH SCORE 8000937.081
AT ITER 2143 NEW BEST:: SOT 16361178 SOS 8843607 HAS SOPS 8843607 HAS SOUS 7991802 HAS SOUPS 7991802 WITH SCORE 8000645.607
AT ITER 2144 NEW BEST:: SOT 16359851 SOS 8844522 HAS SOPS 8844522 HAS SOUS 7991756 HAS SOUPS 7991756 WITH SCORE 8000600.522
AT ITER 2145 NEW BEST:: SOT 16355770 SOS 8840054 HAS SOPS 8840054 HAS SOUS 7987288 HAS SOUPS 7987288 WITH SCORE 7996128.054
AT ITER 2154 NEW BEST:: SOT 16355770 SOS 8839766 HAS SOPS 8839766 HAS SOUS 7987288 HAS SOUPS 7987288 WITH SCORE 7996127.766
AT ITER 2173 NEW BEST:: SOT 16355770 SOS 8837732 HAS SOPS 8837732 HAS SOUS 7987053 HAS SOUPS 7987053 WITH SCORE 7995890.732
AT ITER 2175 NEW BEST:: SOT 16355770 SOS 8837162 HAS SOPS 8837162 HAS SOUS 7987053 HAS SOUPS 7987053 WITH SCORE 7995890.162
AT ITER 2179 NEW BEST:: SOT 16355458 SOS 8835110 HAS SOPS 8835110 HAS SOUS 7986671 HAS SOUPS 7986671 WITH SCORE 7995506.11
AT ITER 2184 NEW BEST:: SOT 16355458 SOS 8835105 HAS SOPS 8835105 HAS SOUS 7986666 HAS SOUPS 7986666 WITH SCORE 7995501.105
AT ITER 2187 NEW BEST:: SOT 16355458 SOS 8834554 HAS SOPS 8834554 HAS SOUS 7986666 HAS SOUPS 7986666 WITH SCORE 7995500.554
AT ITER 2194 NEW BEST:: SOT 16353104 SOS 8832200 HAS SOPS 8832200 HAS SOUS 7984312 HAS SOUPS 7984312 WITH SCORE 7993144.2
AT ITER 2196 NEW BEST:: SOT 16353400 SOS 8832504 HAS SOPS 8832504 HAS SOUS 7984286 HAS SOUPS 7984286 WITH SCORE 7993118.504
AT ITER 2206 NEW BEST:: SOT 16353400 SOS 8831863 HAS SOPS 8831863 HAS SOUS 7984286 HAS SOUPS 7984286 WITH SCORE 7993117.863
AT ITER 2210 NEW BEST:: SOT 16353400 SOS 8831732 HAS SOPS 8831732 HAS SOUS 7984286 HAS SOUPS 7984286 WITH SCORE 7993117.732
AT ITER 2212 NEW BEST:: SOT 16353400 SOS 8831532 HAS SOPS 8831532 HAS SOUS 7984286 HAS SOUPS 7984286 WITH SCORE 7993117.532
AT ITER 2213 NEW BEST:: SOT 16353272 SOS 8830630 HAS SOPS 8830630 HAS SOUS 7984063 HAS SOUPS 7984063 WITH SCORE 7992893.63
AT ITER 2215 NEW BEST:: SOT 16351425 SOS 8845222 HAS SOPS 8845222 HAS SOUS 7982697 HAS SOUPS 7982697 WITH SCORE 7991542.222
AT ITER 2222 NEW BEST:: SOT 16349735 SOS 8843595 HAS SOPS 8843595 HAS SOUS 7981007 HAS SOUPS 7981007 WITH SCORE 7989850.595
AT ITER 2224 NEW BEST:: SOT 16349735 SOS 8843575 HAS SOPS 8843575 HAS SOUS 7981007 HAS SOUPS 7981007 WITH SCORE 7989850.575
AT ITER 2225 NEW BEST:: SOT 16349735 SOS 8843296 HAS SOPS 8843296 HAS SOUS 7981007 HAS SOUPS 7981007 WITH SCORE 7989850.296
AT ITER 2228 NEW BEST:: SOT 16346583 SOS 8842190 HAS SOPS 8842190 HAS SOUS 7979286 HAS SOUPS 7979286 WITH SCORE 7988128.19
AT ITER 2230 NEW BEST:: SOT 16346583 SOS 8842190 HAS SOPS 8842190 HAS SOUS 7979278 HAS SOUPS 7979278 WITH SCORE 7988120.19
AT ITER 2235 NEW BEST:: SOT 16346583 SOS 8830595 HAS SOPS 8830595 HAS SOUS 7979278 HAS SOUPS 7979278 WITH SCORE 7988108.595
AT ITER 2243 NEW BEST:: SOT 16346583 SOS 8827236 HAS SOPS 8827236 HAS SOUS 7979009 HAS SOUPS 7979009 WITH SCORE 7987836.236
AT ITER 2246 NEW BEST:: SOT 16346583 SOS 8826813 HAS SOPS 8826813 HAS SOUS 7979009 HAS SOUPS 7979009 WITH SCORE 7987835.813
AT ITER 2247 NEW BEST:: SOT 16346216 SOS 8826446 HAS SOPS 8826446 HAS SOUS 7978571 HAS SOUPS 7978571 WITH SCORE 7987397.446
AT ITER 2249 NEW BEST:: SOT 16342451 SOS 8828159 HAS SOPS 8828159 HAS SOUS 7978000 HAS SOUPS 7978000 WITH SCORE 7986828.159
AT ITER 2251 NEW BEST:: SOT 16337322 SOS 8829145 HAS SOPS 8829145 HAS SOUS 7973467 HAS SOUPS 7973467 WITH SCORE 7982296.145
AT ITER 2259 NEW BEST:: SOT 16337322 SOS 8828791 HAS SOPS 8828791 HAS SOUS 7973467 HAS SOUPS 7973467 WITH SCORE 7982295.791
AT ITER 2260 NEW BEST:: SOT 16335497 SOS 8826966 HAS SOPS 8826966 HAS SOUS 7971642 HAS SOUPS 7971642 WITH SCORE 7980468.966
AT ITER 2264 NEW BEST:: SOT 16333614 SOS 8830627 HAS SOPS 8830627 HAS SOUS 7970141 HAS SOUPS 7970141 WITH SCORE 7978971.627
AT ITER 2268 NEW BEST:: SOT 16333667 SOS 8830735 HAS SOPS 8830735 HAS SOUS 7970069 HAS SOUPS 7970069 WITH SCORE 7978899.735
AT ITER 2271 NEW BEST:: SOT 16333667 SOS 8830317 HAS SOPS 8830317 HAS SOUS 7970069 HAS SOUPS 7970069 WITH SCORE 7978899.317
AT ITER 2275 NEW BEST:: SOT 16329162 SOS 8829995 HAS SOPS 8829995 HAS SOUS 7966439 HAS SOUPS 7966439 WITH SCORE 7975268.995
AT ITER 2277 NEW BEST:: SOT 16329162 SOS 8829147 HAS SOPS 8829147 HAS SOUS 7966439 HAS SOUPS 7966439 WITH SCORE 7975268.147
AT ITER 2279 NEW BEST:: SOT 16329218 SOS 8829383 HAS SOPS 8829383 HAS SOUS 7966270 HAS SOUPS 7966270 WITH SCORE 7975099.383
AT ITER 2282 NEW BEST:: SOT 16327406 SOS 8831285 HAS SOPS 8831285 HAS SOUS 7965123 HAS SOUPS 7965123 WITH SCORE 7973954.285
AT ITER 2285 NEW BEST:: SOT 16327746 SOS 8829889 HAS SOPS 8829889 HAS SOUS 7963560 HAS SOUPS 7963560 WITH SCORE 7972389.889
AT ITER 2294 NEW BEST:: SOT 16327746 SOS 8829721 HAS SOPS 8829721 HAS SOUS 7963560 HAS SOUPS 7963560 WITH SCORE 7972389.721
AT ITER 2296 NEW BEST:: SOT 16325530 SOS 8844463 HAS SOPS 8844463 HAS SOUS 7962143 HAS SOUPS 7962143 WITH SCORE 7970987.463
AT ITER 2297 NEW BEST:: SOT 16322667 SOS 8850309 HAS SOPS 8850309 HAS SOUS 7960320 HAS SOUPS 7960320 WITH SCORE 7969170.309
AT ITER 2298 NEW BEST:: SOT 16322667 SOS 8849692 HAS SOPS 8849692 HAS SOUS 7959947 HAS SOUPS 7959947 WITH SCORE 7968796.692
AT ITER 2306 NEW BEST:: SOT 16322667 SOS 8847983 HAS SOPS 8847983 HAS SOUS 7959947 HAS SOUPS 7959947 WITH SCORE 7968794.983
AT ITER 2307 NEW BEST:: SOT 16322667 SOS 8847643 HAS SOPS 8847643 HAS SOUS 7959947 HAS SOUPS 7959947 WITH SCORE 7968794.643
AT ITER 2317 NEW BEST:: SOT 16322667 SOS 8847044 HAS SOPS 8847044 HAS SOUS 7959947 HAS SOUPS 7959947 WITH SCORE 7968794.044
AT ITER 2318 NEW BEST:: SOT 16322667 SOS 8846664 HAS SOPS 8846664 HAS SOUS 7959947 HAS SOUPS 7959947 WITH SCORE 7968793.664
AT ITER 2328 NEW BEST:: SOT 16322667 SOS 8845262 HAS SOPS 8845262 HAS SOUS 7958545 HAS SOUPS 7958545 WITH SCORE 7967390.262
AT ITER 2336 NEW BEST:: SOT 16322935 SOS 8844568 HAS SOPS 8844568 HAS SOUS 7957551 HAS SOUPS 7957551 WITH SCORE 7966395.568
AT ITER 2340 NEW BEST:: SOT 16322935 SOS 8843136 HAS SOPS 8843136 HAS SOUS 7956266 HAS SOUPS 7956266 WITH SCORE 7965109.136
AT ITER 2341 NEW BEST:: SOT 16322935 SOS 8840813 HAS SOPS 8840813 HAS SOUS 7956266 HAS SOUPS 7956266 WITH SCORE 7965106.813
AT ITER 2343 NEW BEST:: SOT 16320520 SOS 8840591 HAS SOPS 8840591 HAS SOUS 7954258 HAS SOUPS 7954258 WITH SCORE 7963098.591
AT ITER 2346 NEW BEST:: SOT 16320520 SOS 8840055 HAS SOPS 8840055 HAS SOUS 7954258 HAS SOUPS 7954258 WITH SCORE 7963098.055
AT ITER 2347 NEW BEST:: SOT 16320520 SOS 8840036 HAS SOPS 8840036 HAS SOUS 7954258 HAS SOUPS 7954258 WITH SCORE 7963098.036
AT ITER 2354 NEW BEST:: SOT 16319168 SOS 8838836 HAS SOPS 8838836 HAS SOUS 7953434 HAS SOUPS 7953434 WITH SCORE 7962272.836
AT ITER 2355 NEW BEST:: SOT 16313880 SOS 8852174 HAS SOPS 8852174 HAS SOUS 7951819 HAS SOUPS 7951819 WITH SCORE 7960671.174
AT ITER 2357 NEW BEST:: SOT 16313880 SOS 8851339 HAS SOPS 8851339 HAS SOUS 7951819 HAS SOUPS 7951819 WITH SCORE 7960670.339
AT ITER 2370 NEW BEST:: SOT 16309073 SOS 8847233 HAS SOPS 8847233 HAS SOUS 7947985 HAS SOUPS 7947985 WITH SCORE 7956832.233
AT ITER 2376 NEW BEST:: SOT 16309073 SOS 8845623 HAS SOPS 8845623 HAS SOUS 7947985 HAS SOUPS 7947985 WITH SCORE 7956830.623
AT ITER 2385 NEW BEST:: SOT 16308712 SOS 8848250 HAS SOPS 8848250 HAS SOUS 7947861 HAS SOUPS 7947861 WITH SCORE 7956709.25
AT ITER 2388 NEW BEST:: SOT 16308712 SOS 8847468 HAS SOPS 8847468 HAS SOUS 7947861 HAS SOUPS 7947861 WITH SCORE 7956708.468
AT ITER 2389 NEW BEST:: SOT 16308712 SOS 8842861 HAS SOPS 8842861 HAS SOUS 7947861 HAS SOUPS 7947861 WITH SCORE 7956703.861
AT ITER 2392 NEW BEST:: SOT 16308712 SOS 8841729 HAS SOPS 8841729 HAS SOUS 7947861 HAS SOUPS 7947861 WITH SCORE 7956702.729
AT ITER 2398 NEW BEST:: SOT 16308712 SOS 8841655 HAS SOPS 8841655 HAS SOUS 7947861 HAS SOUPS 7947861 WITH SCORE 7956702.655
AT ITER 2401 NEW BEST:: SOT 16304153 SOS 8847978 HAS SOPS 8847978 HAS SOUS 7946419 HAS SOUPS 7946419 WITH SCORE 7955266.978
AT ITER 2403 NEW BEST:: SOT 16304153 SOS 8847828 HAS SOPS 8847828 HAS SOUS 7946272 HAS SOUPS 7946272 WITH SCORE 7955119.828
AT ITER 2405 NEW BEST:: SOT 16304153 SOS 8847828 HAS SOPS 8847828 HAS SOUS 7946190 HAS SOUPS 7946190 WITH SCORE 7955037.828
AT ITER 2406 NEW BEST:: SOT 16304594 SOS 8847354 HAS SOPS 8847354 HAS SOUS 7945506 HAS SOUPS 7945506 WITH SCORE 7954353.354
AT ITER 2407 NEW BEST:: SOT 16304514 SOS 8847234 HAS SOPS 8847234 HAS SOUS 7945426 HAS SOUPS 7945426 WITH SCORE 7954273.234
AT ITER 2414 NEW BEST:: SOT 16302638 SOS 8848072 HAS SOPS 8848072 HAS SOUS 7945293 HAS SOUPS 7945293 WITH SCORE 7954141.072
AT ITER 2415 NEW BEST:: SOT 16302702 SOS 8848136 HAS SOPS 8848136 HAS SOUS 7944202 HAS SOUPS 7944202 WITH SCORE 7953050.136
AT ITER 2416 NEW BEST:: SOT 16301899 SOS 8847333 HAS SOPS 8847333 HAS SOUS 7943399 HAS SOUPS 7943399 WITH SCORE 7952246.333
AT ITER 2422 NEW BEST:: SOT 16301899 SOS 8845716 HAS SOPS 8845716 HAS SOUS 7942794 HAS SOUPS 7942794 WITH SCORE 7951639.716
AT ITER 2435 NEW BEST:: SOT 16299895 SOS 8845009 HAS SOPS 8845009 HAS SOUS 7941838 HAS SOUPS 7941838 WITH SCORE 7950683.009
AT ITER 2441 NEW BEST:: SOT 16298185 SOS 8844853 HAS SOPS 8844853 HAS SOUS 7940364 HAS SOUPS 7940364 WITH SCORE 7949208.853
AT ITER 2442 NEW BEST:: SOT 16298185 SOS 8843900 HAS SOPS 8843900 HAS SOUS 7940364 HAS SOUPS 7940364 WITH SCORE 7949207.9
AT ITER 2445 NEW BEST:: SOT 16298185 SOS 8842895 HAS SOPS 8842895 HAS SOUS 7940364 HAS SOUPS 7940364 WITH SCORE 7949206.895
AT ITER 2446 NEW BEST:: SOT 16298185 SOS 8842279 HAS SOPS 8842279 HAS SOUS 7940364 HAS SOUPS 7940364 WITH SCORE 7949206.279
AT ITER 2448 NEW BEST:: SOT 16298185 SOS 8841938 HAS SOPS 8841938 HAS SOUS 7940364 HAS SOUPS 7940364 WITH SCORE 7949205.938
AT ITER 2454 NEW BEST:: SOT 16296757 SOS 8842435 HAS SOPS 8842435 HAS SOUS 7938936 HAS SOUPS 7938936 WITH SCORE 7947778.435
AT ITER 2464 NEW BEST:: SOT 16296757 SOS 8841850 HAS SOPS 8841850 HAS SOUS 7938491 HAS SOUPS 7938491 WITH SCORE 7947332.85
AT ITER 2466 NEW BEST:: SOT 16296757 SOS 8841509 HAS SOPS 8841509 HAS SOUS 7938491 HAS SOUPS 7938491 WITH SCORE 7947332.509
AT ITER 2468 NEW BEST:: SOT 16296757 SOS 8841144 HAS SOPS 8841144 HAS SOUS 7938491 HAS SOUPS 7938491 WITH SCORE 7947332.144
AT ITER 2474 NEW BEST:: SOT 16296757 SOS 8840227 HAS SOPS 8840227 HAS SOUS 7937931 HAS SOUPS 7937931 WITH SCORE 7946771.227
AT ITER 2476 NEW BEST:: SOT 16296596 SOS 8840057 HAS SOPS 8840057 HAS SOUS 7937843 HAS SOUPS 7937843 WITH SCORE 7946683.057
AT ITER 2477 NEW BEST:: SOT 16296596 SOS 8839047 HAS SOPS 8839047 HAS SOUS 7937828 HAS SOUPS 7937828 WITH SCORE 7946667.047
AT ITER 2481 NEW BEST:: SOT 16296697 SOS 8837351 HAS SOPS 8837351 HAS SOUS 7937673 HAS SOUPS 7937673 WITH SCORE 7946510.351
AT ITER 2482 NEW BEST:: SOT 16296697 SOS 8837099 HAS SOPS 8837099 HAS SOUS 7937673 HAS SOUPS 7937673 WITH SCORE 7946510.099
AT ITER 2484 NEW BEST:: SOT 16296697 SOS 8836502 HAS SOPS 8836502 HAS SOUS 7937673 HAS SOUPS 7937673 WITH SCORE 7946509.502
AT ITER 2491 NEW BEST:: SOT 16296970 SOS 8837107 HAS SOPS 8837107 HAS SOUS 7937586 HAS SOUPS 7937586 WITH SCORE 7946423.107
AT ITER 2502 NEW BEST:: SOT 16296970 SOS 8836330 HAS SOPS 8836330 HAS SOUS 7937586 HAS SOUPS 7937586 WITH SCORE 7946422.33
AT ITER 2506 NEW BEST:: SOT 16296970 SOS 8835872 HAS SOPS 8835872 HAS SOUS 7937586 HAS SOUPS 7937586 WITH SCORE 7946421.872
AT ITER 2510 NEW BEST:: SOT 16296970 SOS 8835544 HAS SOPS 8835544 HAS SOUS 7937586 HAS SOUPS 7937586 WITH SCORE 7946421.544
AT ITER 2512 NEW BEST:: SOT 16295140 SOS 8834324 HAS SOPS 8834324 HAS SOUS 7935756 HAS SOUPS 7935756 WITH SCORE 7944590.324
AT ITER 2515 NEW BEST:: SOT 16295140 SOS 8834185 HAS SOPS 8834185 HAS SOUS 7935756 HAS SOUPS 7935756 WITH SCORE 7944590.185
AT ITER 2516 NEW BEST:: SOT 16293339 SOS 8832947 HAS SOPS 8832947 HAS SOUS 7933968 HAS SOUPS 7933968 WITH SCORE 7942800.947
AT ITER 2517 NEW BEST:: SOT 16293615 SOS 8833144 HAS SOPS 8833144 HAS SOUS 7933925 HAS SOUPS 7933925 WITH SCORE 7942758.144
AT ITER 2518 NEW BEST:: SOT 16293615 SOS 8823611 HAS SOPS 8823611 HAS SOUS 7931164 HAS SOUPS 7931164 WITH SCORE 7939987.611
AT ITER 2520 NEW BEST:: SOT 16289817 SOS 8821431 HAS SOPS 8821431 HAS SOUS 7928594 HAS SOUPS 7928594 WITH SCORE 7937415.431
AT ITER 2526 NEW BEST:: SOT 16289804 SOS 8821133 HAS SOPS 8821133 HAS SOUS 7928397 HAS SOUPS 7928397 WITH SCORE 7937218.133
AT ITER 2530 NEW BEST:: SOT 16289761 SOS 8820466 HAS SOPS 8820466 HAS SOUS 7928251 HAS SOUPS 7928251 WITH SCORE 7937071.466
AT ITER 2531 NEW BEST:: SOT 16289761 SOS 8820043 HAS SOPS 8820043 HAS SOUS 7928201 HAS SOUPS 7928201 WITH SCORE 7937021.043
AT ITER 2532 NEW BEST:: SOT 16283793 SOS 8823283 HAS SOPS 8823283 HAS SOUS 7926576 HAS SOUPS 7926576 WITH SCORE 7935399.283
AT ITER 2536 NEW BEST:: SOT 16283793 SOS 8823016 HAS SOPS 8823016 HAS SOUS 7926576 HAS SOUPS 7926576 WITH SCORE 7935399.016
AT ITER 2539 NEW BEST:: SOT 16283793 SOS 8822876 HAS SOPS 8822876 HAS SOUS 7926576 HAS SOUPS 7926576 WITH SCORE 7935398.876
AT ITER 2544 NEW BEST:: SOT 16283793 SOS 8822705 HAS SOPS 8822705 HAS SOUS 7926576 HAS SOUPS 7926576 WITH SCORE 7935398.705
AT ITER 2545 NEW BEST:: SOT 16283793 SOS 8822629 HAS SOPS 8822629 HAS SOUS 7926576 HAS SOUPS 7926576 WITH SCORE 7935398.629
AT ITER 2549 NEW BEST:: SOT 16283793 SOS 8821387 HAS SOPS 8821387 HAS SOUS 7925733 HAS SOUPS 7925733 WITH SCORE 7934554.387
AT ITER 2550 NEW BEST:: SOT 16283523 SOS 8821117 HAS SOPS 8821117 HAS SOUS 7925287 HAS SOUPS 7925287 WITH SCORE 7934108.117
AT ITER 2558 NEW BEST:: SOT 16283523 SOS 8820186 HAS SOPS 8820186 HAS SOUS 7925287 HAS SOUPS 7925287 WITH SCORE 7934107.186
AT ITER 2564 NEW BEST:: SOT 16283523 SOS 8818870 HAS SOPS 8818870 HAS SOUS 7925287 HAS SOUPS 7925287 WITH SCORE 7934105.87
AT ITER 2572 NEW BEST:: SOT 16282999 SOS 8818016 HAS SOPS 8818016 HAS SOUS 7924083 HAS SOUPS 7924083 WITH SCORE 7932901.016
AT ITER 2578 NEW BEST:: SOT 16282999 SOS 8817674 HAS SOPS 8817674 HAS SOUS 7924083 HAS SOUPS 7924083 WITH SCORE 7932900.674
AT ITER 2582 NEW BEST:: SOT 16282972 SOS 8817349 HAS SOPS 8817349 HAS SOUS 7923758 HAS SOUPS 7923758 WITH SCORE 7932575.349
AT ITER 2584 NEW BEST:: SOT 16282972 SOS 8816634 HAS SOPS 8816634 HAS SOUS 7923587 HAS SOUPS 7923587 WITH SCORE 7932403.634
AT ITER 2585 NEW BEST:: SOT 16282972 SOS 8815274 HAS SOPS 8815274 HAS SOUS 7923587 HAS SOUPS 7923587 WITH SCORE 7932402.274
AT ITER 2586 NEW BEST:: SOT 16279835 SOS 8814468 HAS SOPS 8814468 HAS SOUS 7923472 HAS SOUPS 7923472 WITH SCORE 7932286.468
AT ITER 2591 NEW BEST:: SOT 16279835 SOS 8813201 HAS SOPS 8813201 HAS SOUS 7923472 HAS SOUPS 7923472 WITH SCORE 7932285.201
AT ITER 2595 NEW BEST:: SOT 16279835 SOS 8813194 HAS SOPS 8813194 HAS SOUS 7923468 HAS SOUPS 7923468 WITH SCORE 7932281.194
AT ITER 2602 NEW BEST:: SOT 16279835 SOS 8813050 HAS SOPS 8813050 HAS SOUS 7923468 HAS SOUPS 7923468 WITH SCORE 7932281.05
AT ITER 2603 NEW BEST:: SOT 16279963 SOS 8812687 HAS SOPS 8812687 HAS SOUS 7923238 HAS SOUPS 7923238 WITH SCORE 7932050.687
AT ITER 2609 NEW BEST:: SOT 16279963 SOS 8812253 HAS SOPS 8812253 HAS SOUS 7923238 HAS SOUPS 7923238 WITH SCORE 7932050.253
AT ITER 2610 NEW BEST:: SOT 16279963 SOS 8812240 HAS SOPS 8812240 HAS SOUS 7923225 HAS SOUPS 7923225 WITH SCORE 7932037.24
AT ITER 2611 NEW BEST:: SOT 16277343 SOS 8811282 HAS SOPS 8811282 HAS SOUS 7920605 HAS SOUPS 7920605 WITH SCORE 7929416.282
AT ITER 2613 NEW BEST:: SOT 16277343 SOS 8810958 HAS SOPS 8810958 HAS SOUS 7920534 HAS SOUPS 7920534 WITH SCORE 7929344.958
AT ITER 2614 NEW BEST:: SOT 16277343 SOS 8810602 HAS SOPS 8810602 HAS SOUS 7920534 HAS SOUPS 7920534 WITH SCORE 7929344.602
AT ITER 2632 NEW BEST:: SOT 16272704 SOS 8821138 HAS SOPS 8821138 HAS SOUS 7919416 HAS SOUPS 7919416 WITH SCORE 7928237.138
AT ITER 2633 NEW BEST:: SOT 16273152 SOS 8819681 HAS SOPS 8819681 HAS SOUS 7918074 HAS SOUPS 7918074 WITH SCORE 7926893.681
AT ITER 2644 NEW BEST:: SOT 16272079 SOS 8819435 HAS SOPS 8819435 HAS SOUS 7917680 HAS SOUPS 7917680 WITH SCORE 7926499.435
AT ITER 2651 NEW BEST:: SOT 16269456 SOS 8818327 HAS SOPS 8818327 HAS SOUS 7916572 HAS SOUPS 7916572 WITH SCORE 7925390.327
AT ITER 2658 NEW BEST:: SOT 16269419 SOS 8816520 HAS SOPS 8816520 HAS SOUS 7916157 HAS SOUPS 7916157 WITH SCORE 7924973.52
AT ITER 2661 NEW BEST:: SOT 16269419 SOS 8816153 HAS SOPS 8816153 HAS SOUS 7916114 HAS SOUPS 7916114 WITH SCORE 7924930.153
AT ITER 2664 NEW BEST:: SOT 16268902 SOS 8816962 HAS SOPS 8816962 HAS SOUS 7915907 HAS SOUPS 7915907 WITH SCORE 7924723.962
AT ITER 2667 NEW BEST:: SOT 16265040 SOS 8815080 HAS SOPS 8815080 HAS SOUS 7912458 HAS SOUPS 7912458 WITH SCORE 7921273.08
AT ITER 2674 NEW BEST:: SOT 16265335 SOS 8814490 HAS SOPS 8814490 HAS SOUS 7911717 HAS SOUPS 7911717 WITH SCORE 7920531.49
AT ITER 2675 NEW BEST:: SOT 16262326 SOS 8815157 HAS SOPS 8815157 HAS SOUS 7911497 HAS SOUPS 7911497 WITH SCORE 7920312.157
AT ITER 2681 NEW BEST:: SOT 16262326 SOS 8814909 HAS SOPS 8814909 HAS SOUS 7911497 HAS SOUPS 7911497 WITH SCORE 7920311.909
AT ITER 2690 NEW BEST:: SOT 16259115 SOS 8815142 HAS SOPS 8815142 HAS SOUS 7910859 HAS SOUPS 7910859 WITH SCORE 7919674.142
AT ITER 2704 NEW BEST:: SOT 16258151 SOS 8825140 HAS SOPS 8825140 HAS SOUS 7910789 HAS SOUPS 7910789 WITH SCORE 7919614.14
AT ITER 2708 NEW BEST:: SOT 16258151 SOS 8825140 HAS SOPS 8825140 HAS SOUS 7910214 HAS SOUPS 7910214 WITH SCORE 7919039.14
AT ITER 2709 NEW BEST:: SOT 16253518 SOS 8846012 HAS SOPS 8846012 HAS SOUS 7906595 HAS SOUPS 7906595 WITH SCORE 7915441.012
AT ITER 2710 NEW BEST:: SOT 16253518 SOS 8845295 HAS SOPS 8845295 HAS SOUS 7906595 HAS SOUPS 7906595 WITH SCORE 7915440.295
AT ITER 2714 NEW BEST:: SOT 16254099 SOS 8844986 HAS SOPS 8844986 HAS SOUS 7906184 HAS SOUPS 7906184 WITH SCORE 7915028.986
AT ITER 2716 NEW BEST:: SOT 16254099 SOS 8838104 HAS SOPS 8838104 HAS SOUS 7906184 HAS SOUPS 7906184 WITH SCORE 7915022.104
AT ITER 2721 NEW BEST:: SOT 16254099 SOS 8837816 HAS SOPS 8837816 HAS SOUS 7906184 HAS SOUPS 7906184 WITH SCORE 7915021.816
AT ITER 2722 NEW BEST:: SOT 16253664 SOS 8837381 HAS SOPS 8837381 HAS SOUS 7905314 HAS SOUPS 7905314 WITH SCORE 7914151.381
AT ITER 2723 NEW BEST:: SOT 16253547 SOS 8837389 HAS SOPS 8837389 HAS SOUS 7905197 HAS SOUPS 7905197 WITH SCORE 7914034.389
AT ITER 2725 NEW BEST:: SOT 16251420 SOS 8844028 HAS SOPS 8844028 HAS SOUS 7905125 HAS SOUPS 7905125 WITH SCORE 7913969.028
AT ITER 2726 NEW BEST:: SOT 16251324 SOS 8843968 HAS SOPS 8843968 HAS SOUS 7905029 HAS SOUPS 7905029 WITH SCORE 7913872.968
AT ITER 2732 NEW BEST:: SOT 16251324 SOS 8843893 HAS SOPS 8843893 HAS SOUS 7905029 HAS SOUPS 7905029 WITH SCORE 7913872.893
AT ITER 2733 NEW BEST:: SOT 16251324 SOS 8843593 HAS SOPS 8843593 HAS SOUS 7905029 HAS SOUPS 7905029 WITH SCORE 7913872.593
AT ITER 2740 NEW BEST:: SOT 16251554 SOS 8843777 HAS SOPS 8843777 HAS SOUS 7904898 HAS SOUPS 7904898 WITH SCORE 7913741.777
AT ITER 2742 NEW BEST:: SOT 16251554 SOS 8842527 HAS SOPS 8842527 HAS SOUS 7904898 HAS SOUPS 7904898 WITH SCORE 7913740.527
AT ITER 2748 NEW BEST:: SOT 16250180 SOS 8839779 HAS SOPS 8839779 HAS SOUS 7902150 HAS SOUPS 7902150 WITH SCORE 7910989.779
AT ITER 2749 NEW BEST:: SOT 16250316 SOS 8839788 HAS SOPS 8839788 HAS SOUS 7901904 HAS SOUPS 7901904 WITH SCORE 7910743.788
AT ITER 2750 NEW BEST:: SOT 16250509 SOS 8839343 HAS SOPS 8839343 HAS SOUS 7899973 HAS SOUPS 7899973 WITH SCORE 7908812.343
AT ITER 2751 NEW BEST:: SOT 16250509 SOS 8838567 HAS SOPS 8838567 HAS SOUS 7899973 HAS SOUPS 7899973 WITH SCORE 7908811.567
AT ITER 2753 NEW BEST:: SOT 16250509 SOS 8838056 HAS SOPS 8838056 HAS SOUS 7899973 HAS SOUPS 7899973 WITH SCORE 7908811.056
AT ITER 2758 NEW BEST:: SOT 16250509 SOS 8837216 HAS SOPS 8837216 HAS SOUS 7899973 HAS SOUPS 7899973 WITH SCORE 7908810.216
AT ITER 2762 NEW BEST:: SOT 16250509 SOS 8836711 HAS SOPS 8836711 HAS SOUS 7899356 HAS SOUPS 7899356 WITH SCORE 7908192.711
AT ITER 2773 NEW BEST:: SOT 16250501 SOS 8834904 HAS SOPS 8834904 HAS SOUS 7897524 HAS SOUPS 7897524 WITH SCORE 7906358.904
AT ITER 2776 NEW BEST:: SOT 16249466 SOS 8838923 HAS SOPS 8838923 HAS SOUS 7897243 HAS SOUPS 7897243 WITH SCORE 7906081.923
AT ITER 2779 NEW BEST:: SOT 16249466 SOS 8838605 HAS SOPS 8838605 HAS SOUS 7897243 HAS SOUPS 7897243 WITH SCORE 7906081.605
AT ITER 2780 NEW BEST:: SOT 16247759 SOS 8839813 HAS SOPS 8839813 HAS SOUS 7895838 HAS SOUPS 7895838 WITH SCORE 7904677.813
AT ITER 2782 NEW BEST:: SOT 16246462 SOS 8845858 HAS SOPS 8845858 HAS SOUS 7894632 HAS SOUPS 7894632 WITH SCORE 7903477.858
AT ITER 2785 NEW BEST:: SOT 16246462 SOS 8843984 HAS SOPS 8843984 HAS SOUS 7894632 HAS SOUPS 7894632 WITH SCORE 7903475.984
AT ITER 2790 NEW BEST:: SOT 16246462 SOS 8843426 HAS SOPS 8843426 HAS SOUS 7894074 HAS SOUPS 7894074 WITH SCORE 7902917.426
AT ITER 2794 NEW BEST:: SOT 16246462 SOS 8843376 HAS SOPS 8843376 HAS SOUS 7894074 HAS SOUPS 7894074 WITH SCORE 7902917.376
AT ITER 2797 NEW BEST:: SOT 16245298 SOS 8841401 HAS SOPS 8841401 HAS SOUS 7892774 HAS SOUPS 7892774 WITH SCORE 7901615.401
AT ITER 2805 NEW BEST:: SOT 16240981 SOS 8837664 HAS SOPS 8837664 HAS SOUS 7889043 HAS SOUPS 7889043 WITH SCORE 7897880.664
AT ITER 2810 NEW BEST:: SOT 16240981 SOS 8837392 HAS SOPS 8837392 HAS SOUS 7889043 HAS SOUPS 7889043 WITH SCORE 7897880.392
AT ITER 2812 NEW BEST:: SOT 16240981 SOS 8837358 HAS SOPS 8837358 HAS SOUS 7889043 HAS SOUPS 7889043 WITH SCORE 7897880.358
AT ITER 2825 NEW BEST:: SOT 16240981 SOS 8836382 HAS SOPS 8836382 HAS SOUS 7889043 HAS SOUPS 7889043 WITH SCORE 7897879.382
AT ITER 2831 NEW BEST:: SOT 16241022 SOS 8836168 HAS SOPS 8836168 HAS SOUS 7888922 HAS SOUPS 7888922 WITH SCORE 7897758.168
AT ITER 2832 NEW BEST:: SOT 16241022 SOS 8836156 HAS SOPS 8836156 HAS SOUS 7888922 HAS SOUPS 7888922 WITH SCORE 7897758.156
AT ITER 2835 NEW BEST:: SOT 16241022 SOS 8835772 HAS SOPS 8835772 HAS SOUS 7888922 HAS SOUPS 7888922 WITH SCORE 7897757.772
AT ITER 2837 NEW BEST:: SOT 16241022 SOS 8835751 HAS SOPS 8835751 HAS SOUS 7888856 HAS SOUPS 7888856 WITH SCORE 7897691.751
AT ITER 2839 NEW BEST:: SOT 16241022 SOS 8834406 HAS SOPS 8834406 HAS SOUS 7888413 HAS SOUPS 7888413 WITH SCORE 7897247.406
AT ITER 2840 NEW BEST:: SOT 16240488 SOS 8834376 HAS SOPS 8834376 HAS SOUS 7887972 HAS SOUPS 7887972 WITH SCORE 7896806.376
AT ITER 2844 NEW BEST:: SOT 16240488 SOS 8834282 HAS SOPS 8834282 HAS SOUS 7887972 HAS SOUPS 7887972 WITH SCORE 7896806.282
AT ITER 2846 NEW BEST:: SOT 16237354 SOS 8835325 HAS SOPS 8835325 HAS SOUS 7884667 HAS SOUPS 7884667 WITH SCORE 7893502.325
AT ITER 2850 NEW BEST:: SOT 16237354 SOS 8835129 HAS SOPS 8835129 HAS SOUS 7884667 HAS SOUPS 7884667 WITH SCORE 7893502.129
AT ITER 2852 NEW BEST:: SOT 16235385 SOS 8836026 HAS SOPS 8836026 HAS SOUS 7883365 HAS SOUPS 7883365 WITH SCORE 7892201.026
AT ITER 2864 NEW BEST:: SOT 16230517 SOS 8835024 HAS SOPS 8835024 HAS SOUS 7879183 HAS SOUPS 7879183 WITH SCORE 7888018.024
AT ITER 2867 NEW BEST:: SOT 16229184 SOS 8834140 HAS SOPS 8834140 HAS SOUS 7878353 HAS SOUPS 7878353 WITH SCORE 7887187.14
AT ITER 2868 NEW BEST:: SOT 16228053 SOS 8832222 HAS SOPS 8832222 HAS SOUS 7876129 HAS SOUPS 7876129 WITH SCORE 7884961.222
AT ITER 2870 NEW BEST:: SOT 16226631 SOS 8830800 HAS SOPS 8830800 HAS SOUS 7874720 HAS SOUPS 7874720 WITH SCORE 7883550.8
AT ITER 2883 NEW BEST:: SOT 16226631 SOS 8829972 HAS SOPS 8829972 HAS SOUS 7874720 HAS SOUPS 7874720 WITH SCORE 7883549.972
AT ITER 2893 NEW BEST:: SOT 16222429 SOS 8829850 HAS SOPS 8829850 HAS SOUS 7873656 HAS SOUPS 7873656 WITH SCORE 7882485.85
AT ITER 2897 NEW BEST:: SOT 16220447 SOS 8837063 HAS SOPS 8837063 HAS SOUS 7873421 HAS SOUPS 7873421 WITH SCORE 7882258.063
AT ITER 2909 NEW BEST:: SOT 16220447 SOS 8836776 HAS SOPS 8836776 HAS SOUS 7873421 HAS SOUPS 7873421 WITH SCORE 7882257.776
AT ITER 2911 NEW BEST:: SOT 16220447 SOS 8836125 HAS SOPS 8836125 HAS SOUS 7873053 HAS SOUPS 7873053 WITH SCORE 7881889.125
AT ITER 2912 NEW BEST:: SOT 16220447 SOS 8834945 HAS SOPS 8834945 HAS SOUS 7873053 HAS SOUPS 7873053 WITH SCORE 7881887.945
AT ITER 2920 NEW BEST:: SOT 16219800 SOS 8834449 HAS SOPS 8834449 HAS SOUS 7872436 HAS SOUPS 7872436 WITH SCORE 7881270.449
AT ITER 2922 NEW BEST:: SOT 16217682 SOS 8838864 HAS SOPS 8838864 HAS SOUS 7871213 HAS SOUPS 7871213 WITH SCORE 7880051.864
AT ITER 2926 NEW BEST:: SOT 16217682 SOS 8838174 HAS SOPS 8838174 HAS SOUS 7871078 HAS SOUPS 7871078 WITH SCORE 7879916.174
AT ITER 2929 NEW BEST:: SOT 16216347 SOS 8837131 HAS SOPS 8837131 HAS SOUS 7869743 HAS SOUPS 7869743 WITH SCORE 7878580.131
AT ITER 2935 NEW BEST:: SOT 16215118 SOS 8836988 HAS SOPS 8836988 HAS SOUS 7868514 HAS SOUPS 7868514 WITH SCORE 7877350.988
AT ITER 2945 NEW BEST:: SOT 16215118 SOS 8837648 HAS SOPS 8837648 HAS SOUS 7868368 HAS SOUPS 7868368 WITH SCORE 7877205.648
AT ITER 2950 NEW BEST:: SOT 16215118 SOS 8836563 HAS SOPS 8836563 HAS SOUS 7868368 HAS SOUPS 7868368 WITH SCORE 7877204.563
AT ITER 2952 NEW BEST:: SOT 16213541 SOS 8835497 HAS SOPS 8835497 HAS SOUS 7867054 HAS SOUPS 7867054 WITH SCORE 7875889.497
AT ITER 2954 NEW BEST:: SOT 16208031 SOS 8838733 HAS SOPS 8838733 HAS SOUS 7862846 HAS SOUPS 7862846 WITH SCORE 7871684.733
AT ITER 2957 NEW BEST:: SOT 16208031 SOS 8838164 HAS SOPS 8838164 HAS SOUS 7862846 HAS SOUPS 7862846 WITH SCORE 7871684.164
AT ITER 2963 NEW BEST:: SOT 16205800 SOS 8837943 HAS SOPS 8837943 HAS SOUS 7861600 HAS SOUPS 7861600 WITH SCORE 7870437.943
AT ITER 2965 NEW BEST:: SOT 16205800 SOS 8836663 HAS SOPS 8836663 HAS SOUS 7860656 HAS SOUPS 7860656 WITH SCORE 7869492.663
AT ITER 2967 NEW BEST:: SOT 16203817 SOS 8837671 HAS SOPS 8837671 HAS SOUS 7860444 HAS SOUPS 7860444 WITH SCORE 7869281.671
AT ITER 2974 NEW BEST:: SOT 16199974 SOS 8835687 HAS SOPS 8835687 HAS SOUS 7858275 HAS SOUPS 7858275 WITH SCORE 7867110.687
AT ITER 2983 NEW BEST:: SOT 16200163 SOS 8837222 HAS SOPS 8837222 HAS SOUS 7858211 HAS SOUPS 7858211 WITH SCORE 7867048.222
AT ITER 2989 NEW BEST:: SOT 16200163 SOS 8836514 HAS SOPS 8836514 HAS SOUS 7858211 HAS SOUPS 7858211 WITH SCORE 7867047.514
AT ITER 2991 NEW BEST:: SOT 16200163 SOS 8836341 HAS SOPS 8836341 HAS SOUS 7858211 HAS SOUPS 7858211 WITH SCORE 7867047.341
AT ITER 2992 NEW BEST:: SOT 16200163 SOS 8836164 HAS SOPS 8836164 HAS SOUS 7858211 HAS SOUPS 7858211 WITH SCORE 7867047.164
AT ITER 2994 NEW BEST:: SOT 16199909 SOS 8836309 HAS SOPS 8836309 HAS SOUS 7857644 HAS SOUPS 7857644 WITH SCORE 7866480.309
AT ITER 2997 NEW BEST:: SOT 16199909 SOS 8834654 HAS SOPS 8834654 HAS SOUS 7857287 HAS SOUPS 7857287 WITH SCORE 7866121.654
AT ITER 3006 NEW BEST:: SOT 16199909 SOS 8834641 HAS SOPS 8834641 HAS SOUS 7857287 HAS SOUPS 7857287 WITH SCORE 7866121.641
AT ITER 3013 NEW BEST:: SOT 16199909 SOS 8834555 HAS SOPS 8834555 HAS SOUS 7857287 HAS SOUPS 7857287 WITH SCORE 7866121.555
AT ITER 3015 NEW BEST:: SOT 16199909 SOS 8834555 HAS SOPS 8834555 HAS SOUS 7857196 HAS SOUPS 7857196 WITH SCORE 7866030.555
AT ITER 3018 NEW BEST:: SOT 16199909 SOS 8834462 HAS SOPS 8834462 HAS SOUS 7857196 HAS SOUPS 7857196 WITH SCORE 7866030.462
AT ITER 3023 NEW BEST:: SOT 16193995 SOS 8831294 HAS SOPS 8831294 HAS SOUS 7852647 HAS SOUPS 7852647 WITH SCORE 7861478.294
AT ITER 3026 NEW BEST:: SOT 16188636 SOS 8832581 HAS SOPS 8832581 HAS SOUS 7851167 HAS SOUPS 7851167 WITH SCORE 7859999.581
AT ITER 3028 NEW BEST:: SOT 16188502 SOS 8832447 HAS SOPS 8832447 HAS SOUS 7851033 HAS SOUPS 7851033 WITH SCORE 7859865.447
AT ITER 3029 NEW BEST:: SOT 16186903 SOS 8830848 HAS SOPS 8830848 HAS SOUS 7849434 HAS SOUPS 7849434 WITH SCORE 7858264.848
AT ITER 3034 NEW BEST:: SOT 16186903 SOS 8830388 HAS SOPS 8830388 HAS SOUS 7849434 HAS SOUPS 7849434 WITH SCORE 7858264.388
AT ITER 3037 NEW BEST:: SOT 16186903 SOS 8829034 HAS SOPS 8829034 HAS SOUS 7849431 HAS SOUPS 7849431 WITH SCORE 7858260.034
AT ITER 3039 NEW BEST:: SOT 16186903 SOS 8828785 HAS SOPS 8828785 HAS SOUS 7849410 HAS SOUPS 7849410 WITH SCORE 7858238.785
AT ITER 3044 NEW BEST:: SOT 16187411 SOS 8828300 HAS SOPS 8828300 HAS SOUS 7849204 HAS SOUPS 7849204 WITH SCORE 7858032.3
AT ITER 3046 NEW BEST:: SOT 16187411 SOS 8815995 HAS SOPS 8815995 HAS SOUS 7846220 HAS SOUPS 7846220 WITH SCORE 7855035.995
AT ITER 3049 NEW BEST:: SOT 16188006 SOS 8815582 HAS SOPS 8815582 HAS SOUS 7846032 HAS SOUPS 7846032 WITH SCORE 7854847.582
AT ITER 3052 NEW BEST:: SOT 16188006 SOS 8815098 HAS SOPS 8815098 HAS SOUS 7846032 HAS SOUPS 7846032 WITH SCORE 7854847.098
AT ITER 3054 NEW BEST:: SOT 16188006 SOS 8814845 HAS SOPS 8814845 HAS SOUS 7846032 HAS SOUPS 7846032 WITH SCORE 7854846.845
AT ITER 3055 NEW BEST:: SOT 16182781 SOS 8816572 HAS SOPS 8816572 HAS SOUS 7842084 HAS SOUPS 7842084 WITH SCORE 7850900.572
AT ITER 3057 NEW BEST:: SOT 16181896 SOS 8816122 HAS SOPS 8816122 HAS SOUS 7841452 HAS SOUPS 7841452 WITH SCORE 7850268.122
AT ITER 3058 NEW BEST:: SOT 16181896 SOS 8815217 HAS SOPS 8815217 HAS SOUS 7840987 HAS SOUPS 7840987 WITH SCORE 7849802.217
AT ITER 3069 NEW BEST:: SOT 16176608 SOS 8816632 HAS SOPS 8816632 HAS SOUS 7839307 HAS SOUPS 7839307 WITH SCORE 7848123.632
AT ITER 3070 NEW BEST:: SOT 16174841 SOS 8820384 HAS SOPS 8820384 HAS SOUS 7837618 HAS SOUPS 7837618 WITH SCORE 7846438.384
AT ITER 3076 NEW BEST:: SOT 16174841 SOS 8820379 HAS SOPS 8820379 HAS SOUS 7837618 HAS SOUPS 7837618 WITH SCORE 7846438.379
AT ITER 3079 NEW BEST:: SOT 16171102 SOS 8824366 HAS SOPS 8824366 HAS SOUS 7836680 HAS SOUPS 7836680 WITH SCORE 7845504.366
AT ITER 3080 NEW BEST:: SOT 16165045 SOS 8837359 HAS SOPS 8837359 HAS SOUS 7833670 HAS SOUPS 7833670 WITH SCORE 7842507.359
AT ITER 3089 NEW BEST:: SOT 16165045 SOS 8837359 HAS SOPS 8837359 HAS SOUS 7833482 HAS SOUPS 7833482 WITH SCORE 7842319.359
AT ITER 3090 NEW BEST:: SOT 16163037 SOS 8856609 HAS SOPS 8856609 HAS SOUS 7833091 HAS SOUPS 7833091 WITH SCORE 7841947.609
AT ITER 3092 NEW BEST:: SOT 16163037 SOS 8855265 HAS SOPS 8855265 HAS SOUS 7833091 HAS SOUPS 7833091 WITH SCORE 7841946.265
AT ITER 3093 NEW BEST:: SOT 16162269 SOS 8854941 HAS SOPS 8854941 HAS SOUS 7832767 HAS SOUPS 7832767 WITH SCORE 7841621.941
AT ITER 3100 NEW BEST:: SOT 16162269 SOS 8854856 HAS SOPS 8854856 HAS SOUS 7832767 HAS SOUPS 7832767 WITH SCORE 7841621.856
AT ITER 3103 NEW BEST:: SOT 16161085 SOS 8856374 HAS SOPS 8856374 HAS SOUS 7831583 HAS SOUPS 7831583 WITH SCORE 7840439.374
AT ITER 3106 NEW BEST:: SOT 16161085 SOS 8856208 HAS SOPS 8856208 HAS SOUS 7831583 HAS SOUPS 7831583 WITH SCORE 7840439.208
AT ITER 3109 NEW BEST:: SOT 16161085 SOS 8856060 HAS SOPS 8856060 HAS SOUS 7831583 HAS SOUPS 7831583 WITH SCORE 7840439.06
AT ITER 3110 NEW BEST:: SOT 16161085 SOS 8856777 HAS SOPS 8856777 HAS SOUS 7829827 HAS SOUPS 7829827 WITH SCORE 7838683.777
AT ITER 3111 NEW BEST:: SOT 16161085 SOS 8855525 HAS SOPS 8855525 HAS SOUS 7829827 HAS SOUPS 7829827 WITH SCORE 7838682.525
AT ITER 3115 NEW BEST:: SOT 16155038 SOS 8853266 HAS SOPS 8853266 HAS SOUS 7825379 HAS SOUPS 7825379 WITH SCORE 7834232.266
AT ITER 3117 NEW BEST:: SOT 16155038 SOS 8852894 HAS SOPS 8852894 HAS SOUS 7825379 HAS SOUPS 7825379 WITH SCORE 7834231.894
AT ITER 3121 NEW BEST:: SOT 16150464 SOS 8850172 HAS SOPS 8850172 HAS SOUS 7821530 HAS SOUPS 7821530 WITH SCORE 7830380.172
AT ITER 3123 NEW BEST:: SOT 16150464 SOS 8849925 HAS SOPS 8849925 HAS SOUS 7821530 HAS SOUPS 7821530 WITH SCORE 7830379.925
AT ITER 3127 NEW BEST:: SOT 16149815 SOS 8849464 HAS SOPS 8849464 HAS SOUS 7821179 HAS SOUPS 7821179 WITH SCORE 7830028.464
AT ITER 3128 NEW BEST:: SOT 16149104 SOS 8848801 HAS SOPS 8848801 HAS SOUS 7820930 HAS SOUPS 7820930 WITH SCORE 7829778.801
AT ITER 3129 NEW BEST:: SOT 16148540 SOS 8849869 HAS SOPS 8849869 HAS SOUS 7820448 HAS SOUPS 7820448 WITH SCORE 7829297.869
AT ITER 3130 NEW BEST:: SOT 16148540 SOS 8849730 HAS SOPS 8849730 HAS SOUS 7820448 HAS SOUPS 7820448 WITH SCORE 7829297.73
AT ITER 3137 NEW BEST:: SOT 16148540 SOS 8849946 HAS SOPS 8849946 HAS SOUS 7820386 HAS SOUPS 7820386 WITH SCORE 7829235.946
AT ITER 3145 NEW BEST:: SOT 16148540 SOS 8826355 HAS SOPS 8826355 HAS SOUS 7819691 HAS SOUPS 7819691 WITH SCORE 7828517.355
AT ITER 3146 NEW BEST:: SOT 16148540 SOS 8826198 HAS SOPS 8826198 HAS SOUS 7819488 HAS SOUPS 7819488 WITH SCORE 7828314.198
AT ITER 3151 NEW BEST:: SOT 16148540 SOS 8825568 HAS SOPS 8825568 HAS SOUS 7819488 HAS SOUPS 7819488 WITH SCORE 7828313.568
AT ITER 3155 NEW BEST:: SOT 16141190 SOS 8822270 HAS SOPS 8822270 HAS SOUS 7814146 HAS SOUPS 7814146 WITH SCORE 7822968.27
AT ITER 3160 NEW BEST:: SOT 16140183 SOS 8825677 HAS SOPS 8825677 HAS SOUS 7813796 HAS SOUPS 7813796 WITH SCORE 7822621.677
AT ITER 3163 NEW BEST:: SOT 16140223 SOS 8825102 HAS SOPS 8825102 HAS SOUS 7813161 HAS SOUPS 7813161 WITH SCORE 7821986.102
AT ITER 3166 NEW BEST:: SOT 16140223 SOS 8825064 HAS SOPS 8825064 HAS SOUS 7813161 HAS SOUPS 7813161 WITH SCORE 7821986.064
AT ITER 3173 NEW BEST:: SOT 16140223 SOS 8822988 HAS SOPS 8822988 HAS SOUS 7813161 HAS SOUPS 7813161 WITH SCORE 7821983.988
AT ITER 3174 NEW BEST:: SOT 16140223 SOS 8819761 HAS SOPS 8819761 HAS SOUS 7811873 HAS SOUPS 7811873 WITH SCORE 7820692.761
AT ITER 3178 NEW BEST:: SOT 16140223 SOS 8818867 HAS SOPS 8818867 HAS SOUS 7810979 HAS SOUPS 7810979 WITH SCORE 7819797.867
AT ITER 3179 NEW BEST:: SOT 16139531 SOS 8817867 HAS SOPS 8817867 HAS SOUS 7810227 HAS SOUPS 7810227 WITH SCORE 7819044.867
AT ITER 3185 NEW BEST:: SOT 16141076 SOS 8815930 HAS SOPS 8815930 HAS SOUS 7809786 HAS SOUPS 7809786 WITH SCORE 7818601.93
AT ITER 3189 NEW BEST:: SOT 16140989 SOS 8812983 HAS SOPS 8812983 HAS SOUS 7809399 HAS SOUPS 7809399 WITH SCORE 7818211.983
AT ITER 3190 NEW BEST:: SOT 16140989 SOS 8807150 HAS SOPS 8807150 HAS SOUS 7808734 HAS SOUPS 7808734 WITH SCORE 7817541.15
AT ITER 3193 NEW BEST:: SOT 16139233 SOS 8805589 HAS SOPS 8805589 HAS SOUS 7807008 HAS SOUPS 7807008 WITH SCORE 7815813.589
AT ITER 3195 NEW BEST:: SOT 16139233 SOS 8805185 HAS SOPS 8805185 HAS SOUS 7807008 HAS SOUPS 7807008 WITH SCORE 7815813.185
AT ITER 3197 NEW BEST:: SOT 16138084 SOS 8814676 HAS SOPS 8814676 HAS SOUS 7806311 HAS SOUPS 7806311 WITH SCORE 7815125.676
AT ITER 3201 NEW BEST:: SOT 16135479 SOS 8812420 HAS SOPS 8812420 HAS SOUS 7804266 HAS SOUPS 7804266 WITH SCORE 7813078.42
AT ITER 3204 NEW BEST:: SOT 16135479 SOS 8810962 HAS SOPS 8810962 HAS SOUS 7804266 HAS SOUPS 7804266 WITH SCORE 7813076.962
AT ITER 3206 NEW BEST:: SOT 16135362 SOS 8810112 HAS SOPS 8810112 HAS SOUS 7804103 HAS SOUPS 7804103 WITH SCORE 7812913.112
AT ITER 3208 NEW BEST:: SOT 16134734 SOS 8809641 HAS SOPS 8809641 HAS SOUS 7803569 HAS SOUPS 7803569 WITH SCORE 7812378.641
AT ITER 3212 NEW BEST:: SOT 16134734 SOS 8808664 HAS SOPS 8808664 HAS SOUS 7803059 HAS SOUPS 7803059 WITH SCORE 7811867.664
AT ITER 3213 NEW BEST:: SOT 16134734 SOS 8807912 HAS SOPS 8807912 HAS SOUS 7803059 HAS SOUPS 7803059 WITH SCORE 7811866.912
AT ITER 3218 NEW BEST:: SOT 16133409 SOS 8808017 HAS SOPS 8808017 HAS SOUS 7802210 HAS SOUPS 7802210 WITH SCORE 7811018.017
AT ITER 3219 NEW BEST:: SOT 16133409 SOS 8807532 HAS SOPS 8807532 HAS SOUS 7802210 HAS SOUPS 7802210 WITH SCORE 7811017.532
AT ITER 3222 NEW BEST:: SOT 16133409 SOS 8807183 HAS SOPS 8807183 HAS SOUS 7802210 HAS SOUPS 7802210 WITH SCORE 7811017.183
AT ITER 3224 NEW BEST:: SOT 16131345 SOS 8804954 HAS SOPS 8804954 HAS SOUS 7800298 HAS SOUPS 7800298 WITH SCORE 7809102.954
AT ITER 3229 NEW BEST:: SOT 16129260 SOS 8821847 HAS SOPS 8821847 HAS SOUS 7798732 HAS SOUPS 7798732 WITH SCORE 7807553.847
AT ITER 3244 NEW BEST:: SOT 16129260 SOS 8820497 HAS SOPS 8820497 HAS SOUS 7798732 HAS SOUPS 7798732 WITH SCORE 7807552.497
AT ITER 3247 NEW BEST:: SOT 16122432 SOS 8825843 HAS SOPS 8825843 HAS SOUS 7793627 HAS SOUPS 7793627 WITH SCORE 7802452.843
AT ITER 3251 NEW BEST:: SOT 16122432 SOS 8825484 HAS SOPS 8825484 HAS SOUS 7793570 HAS SOUPS 7793570 WITH SCORE 7802395.484
AT ITER 3253 NEW BEST:: SOT 16117663 SOS 8821433 HAS SOPS 8821433 HAS SOUS 7789485 HAS SOUPS 7789485 WITH SCORE 7798306.433
AT ITER 3259 NEW BEST:: SOT 16117663 SOS 8820621 HAS SOPS 8820621 HAS SOUS 7789485 HAS SOUPS 7789485 WITH SCORE 7798305.621
AT ITER 3272 NEW BEST:: SOT 16117601 SOS 8820837 HAS SOPS 8820837 HAS SOUS 7788414 HAS SOUPS 7788414 WITH SCORE 7797234.837
AT ITER 3283 NEW BEST:: SOT 16114167 SOS 8824699 HAS SOPS 8824699 HAS SOUS 7785643 HAS SOUPS 7785643 WITH SCORE 7794467.699
AT ITER 3285 NEW BEST:: SOT 16106020 SOS 8844411 HAS SOPS 8844411 HAS SOUS 7781230 HAS SOUPS 7781230 WITH SCORE 7790074.411
AT ITER 3291 NEW BEST:: SOT 16106020 SOS 8843821 HAS SOPS 8843821 HAS SOUS 7781230 HAS SOUPS 7781230 WITH SCORE 7790073.821
AT ITER 3293 NEW BEST:: SOT 16106020 SOS 8843435 HAS SOPS 8843435 HAS SOUS 7781230 HAS SOUPS 7781230 WITH SCORE 7790073.435
AT ITER 3302 NEW BEST:: SOT 16105865 SOS 8843280 HAS SOPS 8843280 HAS SOUS 7781175 HAS SOUPS 7781175 WITH SCORE 7790018.28
AT ITER 3303 NEW BEST:: SOT 16100308 SOS 8847009 HAS SOPS 8847009 HAS SOUS 7777580 HAS SOUPS 7777580 WITH SCORE 7786427.009
AT ITER 3307 NEW BEST:: SOT 16100167 SOS 8846128 HAS SOPS 8846128 HAS SOUS 7777501 HAS SOUPS 7777501 WITH SCORE 7786347.128
AT ITER 3316 NEW BEST:: SOT 16098059 SOS 8845074 HAS SOPS 8845074 HAS SOUS 7776447 HAS SOUPS 7776447 WITH SCORE 7785292.074
AT ITER 3318 NEW BEST:: SOT 16098059 SOS 8844061 HAS SOPS 8844061 HAS SOUS 7776447 HAS SOUPS 7776447 WITH SCORE 7785291.061
AT ITER 3323 NEW BEST:: SOT 16096158 SOS 8846540 HAS SOPS 8846540 HAS SOUS 7775412 HAS SOUPS 7775412 WITH SCORE 7784258.54
AT ITER 3324 NEW BEST:: SOT 16096158 SOS 8840689 HAS SOPS 8840689 HAS SOUS 7774946 HAS SOUPS 7774946 WITH SCORE 7783786.689
AT ITER 3326 NEW BEST:: SOT 16091032 SOS 8852127 HAS SOPS 8852127 HAS SOUS 7772959 HAS SOUPS 7772959 WITH SCORE 7781811.127
AT ITER 3327 NEW BEST:: SOT 16091032 SOS 8852127 HAS SOPS 8852127 HAS SOUS 7772801 HAS SOUPS 7772801 WITH SCORE 7781653.127
AT ITER 3328 NEW BEST:: SOT 16086237 SOS 8879906 HAS SOPS 8879906 HAS SOUS 7772756 HAS SOUPS 7772756 WITH SCORE 7781635.906
AT ITER 3332 NEW BEST:: SOT 16086237 SOS 8879384 HAS SOPS 8879384 HAS SOUS 7772756 HAS SOUPS 7772756 WITH SCORE 7781635.384
AT ITER 3339 NEW BEST:: SOT 16086237 SOS 8878354 HAS SOPS 8878354 HAS SOUS 7772756 HAS SOUPS 7772756 WITH SCORE 7781634.354
AT ITER 3344 NEW BEST:: SOT 16086058 SOS 8877763 HAS SOPS 8877763 HAS SOUS 7772426 HAS SOUPS 7772426 WITH SCORE 7781303.763
AT ITER 3345 NEW BEST:: SOT 16082416 SOS 8889849 HAS SOPS 8889849 HAS SOUS 7771389 HAS SOUPS 7771389 WITH SCORE 7780278.849
AT ITER 3350 NEW BEST:: SOT 16082416 SOS 8890734 HAS SOPS 8890734 HAS SOUS 7770801 HAS SOUPS 7770801 WITH SCORE 7779691.734
AT ITER 3351 NEW BEST:: SOT 16082306 SOS 8890464 HAS SOPS 8890464 HAS SOUS 7770739 HAS SOUPS 7770739 WITH SCORE 7779629.464
AT ITER 3354 NEW BEST:: SOT 16082306 SOS 8889999 HAS SOPS 8889999 HAS SOUS 7770739 HAS SOUPS 7770739 WITH SCORE 7779628.999
AT ITER 3357 NEW BEST:: SOT 16079425 SOS 8891273 HAS SOPS 8891273 HAS SOUS 7769012 HAS SOUPS 7769012 WITH SCORE 7777903.273
AT ITER 3359 NEW BEST:: SOT 16077293 SOS 8890207 HAS SOPS 8890207 HAS SOUS 7766880 HAS SOUPS 7766880 WITH SCORE 7775770.207
AT ITER 3362 NEW BEST:: SOT 16077293 SOS 8890207 HAS SOPS 8890207 HAS SOUS 7766688 HAS SOUPS 7766688 WITH SCORE 7775578.207
AT ITER 3365 NEW BEST:: SOT 16077293 SOS 8890092 HAS SOPS 8890092 HAS SOUS 7766688 HAS SOUPS 7766688 WITH SCORE 7775578.092
AT ITER 3373 NEW BEST:: SOT 16077293 SOS 8888528 HAS SOPS 8888528 HAS SOUS 7766688 HAS SOUPS 7766688 WITH SCORE 7775576.528
AT ITER 3374 NEW BEST:: SOT 16077457 SOS 8888692 HAS SOPS 8888692 HAS SOUS 7766537 HAS SOUPS 7766537 WITH SCORE 7775425.692
AT ITER 3378 NEW BEST:: SOT 16077457 SOS 8888071 HAS SOPS 8888071 HAS SOUS 7766537 HAS SOUPS 7766537 WITH SCORE 7775425.071
AT ITER 3379 NEW BEST:: SOT 16077457 SOS 8877999 HAS SOPS 8877999 HAS SOUS 7765243 HAS SOUPS 7765243 WITH SCORE 7774120.999
AT ITER 3380 NEW BEST:: SOT 16077521 SOS 8877610 HAS SOPS 8877610 HAS SOUS 7765204 HAS SOUPS 7765204 WITH SCORE 7774081.61
AT ITER 3384 NEW BEST:: SOT 16077521 SOS 8876612 HAS SOPS 8876612 HAS SOUS 7765204 HAS SOUPS 7765204 WITH SCORE 7774080.612
AT ITER 3390 NEW BEST:: SOT 16071299 SOS 8872301 HAS SOPS 8872301 HAS SOUS 7762733 HAS SOUPS 7762733 WITH SCORE 7771605.301
AT ITER 3391 NEW BEST:: SOT 16071299 SOS 8872144 HAS SOPS 8872144 HAS SOUS 7762733 HAS SOUPS 7762733 WITH SCORE 7771605.144
AT ITER 3392 NEW BEST:: SOT 16065979 SOS 8879914 HAS SOPS 8879914 HAS SOUS 7757639 HAS SOUPS 7757639 WITH SCORE 7766518.914
AT ITER 3394 NEW BEST:: SOT 16065979 SOS 8879802 HAS SOPS 8879802 HAS SOUS 7757639 HAS SOUPS 7757639 WITH SCORE 7766518.802
AT ITER 3408 NEW BEST:: SOT 16065445 SOS 8879535 HAS SOPS 8879535 HAS SOUS 7757105 HAS SOUPS 7757105 WITH SCORE 7765984.535
AT ITER 3410 NEW BEST:: SOT 16064871 SOS 8879185 HAS SOPS 8879185 HAS SOUS 7756531 HAS SOUPS 7756531 WITH SCORE 7765410.185
AT ITER 3415 NEW BEST:: SOT 16064728 SOS 8879299 HAS SOPS 8879299 HAS SOUS 7756380 HAS SOUPS 7756380 WITH SCORE 7765259.299
AT ITER 3416 NEW BEST:: SOT 16064728 SOS 8879004 HAS SOPS 8879004 HAS SOUS 7756380 HAS SOUPS 7756380 WITH SCORE 7765259.004
AT ITER 3418 NEW BEST:: SOT 16060709 SOS 8874985 HAS SOPS 8874985 HAS SOUS 7753038 HAS SOUPS 7753038 WITH SCORE 7761912.985
AT ITER 3420 NEW BEST:: SOT 16060478 SOS 8873741 HAS SOPS 8873741 HAS SOUS 7752109 HAS SOUPS 7752109 WITH SCORE 7760982.741
AT ITER 3423 NEW BEST:: SOT 16060645 SOS 8870611 HAS SOPS 8870611 HAS SOUS 7750959 HAS SOUPS 7750959 WITH SCORE 7759829.611
AT ITER 3430 NEW BEST:: SOT 16061965 SOS 8868026 HAS SOPS 8868026 HAS SOUS 7750645 HAS SOUPS 7750645 WITH SCORE 7759513.026
AT ITER 3433 NEW BEST:: SOT 16061965 SOS 8867687 HAS SOPS 8867687 HAS SOUS 7750645 HAS SOUPS 7750645 WITH SCORE 7759512.687
AT ITER 3440 NEW BEST:: SOT 16061802 SOS 8865964 HAS SOPS 8865964 HAS SOUS 7748868 HAS SOUPS 7748868 WITH SCORE 7757733.964
AT ITER 3447 NEW BEST:: SOT 16061802 SOS 8865599 HAS SOPS 8865599 HAS SOUS 7748868 HAS SOUPS 7748868 WITH SCORE 7757733.599
AT ITER 3451 NEW BEST:: SOT 16062347 SOS 8866290 HAS SOPS 8866290 HAS SOUS 7748235 HAS SOUPS 7748235 WITH SCORE 7757101.29
AT ITER 3453 NEW BEST:: SOT 16058032 SOS 8866858 HAS SOPS 8866858 HAS SOUS 7748177 HAS SOUPS 7748177 WITH SCORE 7757043.858
AT ITER 3454 NEW BEST:: SOT 16058032 SOS 8858941 HAS SOPS 8858941 HAS SOUS 7748177 HAS SOUPS 7748177 WITH SCORE 7757035.941
AT ITER 3455 NEW BEST:: SOT 16051288 SOS 8859579 HAS SOPS 8859579 HAS SOUS 7747397 HAS SOUPS 7747397 WITH SCORE 7756256.579
AT ITER 3459 NEW BEST:: SOT 16051288 SOS 8859052 HAS SOPS 8859052 HAS SOUS 7747397 HAS SOUPS 7747397 WITH SCORE 7756256.052
AT ITER 3464 NEW BEST:: SOT 16051288 SOS 8859009 HAS SOPS 8859009 HAS SOUS 7747397 HAS SOUPS 7747397 WITH SCORE 7756256.009
AT ITER 3465 NEW BEST:: SOT 16046110 SOS 8863525 HAS SOPS 8863525 HAS SOUS 7745464 HAS SOUPS 7745464 WITH SCORE 7754327.525
AT ITER 3468 NEW BEST:: SOT 16041114 SOS 8860513 HAS SOPS 8860513 HAS SOUS 7742165 HAS SOUPS 7742165 WITH SCORE 7751025.513
AT ITER 3472 NEW BEST:: SOT 16035412 SOS 8856367 HAS SOPS 8856367 HAS SOUS 7736779 HAS SOUPS 7736779 WITH SCORE 7745635.367
AT ITER 3474 NEW BEST:: SOT 16035412 SOS 8856110 HAS SOPS 8856110 HAS SOUS 7736779 HAS SOUPS 7736779 WITH SCORE 7745635.11
AT ITER 3478 NEW BEST:: SOT 16029217 SOS 8850760 HAS SOPS 8850760 HAS SOUS 7731003 HAS SOUPS 7731003 WITH SCORE 7739853.76
AT ITER 3484 NEW BEST:: SOT 16029217 SOS 8849684 HAS SOPS 8849684 HAS SOUS 7730874 HAS SOUPS 7730874 WITH SCORE 7739723.684
AT ITER 3491 NEW BEST:: SOT 16029217 SOS 8848474 HAS SOPS 8848474 HAS SOUS 7730874 HAS SOUPS 7730874 WITH SCORE 7739722.474
AT ITER 3492 NEW BEST:: SOT 16029217 SOS 8848247 HAS SOPS 8848247 HAS SOUS 7730874 HAS SOUPS 7730874 WITH SCORE 7739722.247
AT ITER 3495 NEW BEST:: SOT 16029217 SOS 8846973 HAS SOPS 8846973 HAS SOUS 7730551 HAS SOUPS 7730551 WITH SCORE 7739397.973
AT ITER 3501 NEW BEST:: SOT 16027595 SOS 8847431 HAS SOPS 8847431 HAS SOUS 7729555 HAS SOUPS 7729555 WITH SCORE 7738402.431
AT ITER 3505 NEW BEST:: SOT 16027595 SOS 8846154 HAS SOPS 8846154 HAS SOUS 7729555 HAS SOUPS 7729555 WITH SCORE 7738401.154
AT ITER 3510 NEW BEST:: SOT 16026613 SOS 8845457 HAS SOPS 8845457 HAS SOUS 7728858 HAS SOUPS 7728858 WITH SCORE 7737703.457
AT ITER 3511 NEW BEST:: SOT 16019304 SOS 8856955 HAS SOPS 8856955 HAS SOUS 7724370 HAS SOUPS 7724370 WITH SCORE 7733226.955
AT ITER 3512 NEW BEST:: SOT 16012264 SOS 8853507 HAS SOPS 8853507 HAS SOUS 7718507 HAS SOUPS 7718507 WITH SCORE 7727360.507
AT ITER 3515 NEW BEST:: SOT 16012264 SOS 8855128 HAS SOPS 8855128 HAS SOUS 7717934 HAS SOUPS 7717934 WITH SCORE 7726789.128
AT ITER 3533 NEW BEST:: SOT 16010561 SOS 8864734 HAS SOPS 8864734 HAS SOUS 7716626 HAS SOUPS 7716626 WITH SCORE 7725490.734
AT ITER 3534 NEW BEST:: SOT 16004532 SOS 8866849 HAS SOPS 8866849 HAS SOUS 7715878 HAS SOUPS 7715878 WITH SCORE 7724744.849
AT ITER 3536 NEW BEST:: SOT 15996823 SOS 8862973 HAS SOPS 8862973 HAS SOUS 7709189 HAS SOUPS 7709189 WITH SCORE 7718051.973
AT ITER 3537 NEW BEST:: SOT 15997199 SOS 8868473 HAS SOPS 8868473 HAS SOUS 7707382 HAS SOUPS 7707382 WITH SCORE 7716250.473
AT ITER 3550 NEW BEST:: SOT 15997100 SOS 8868374 HAS SOPS 8868374 HAS SOUS 7707283 HAS SOUPS 7707283 WITH SCORE 7716151.374
AT ITER 3552 NEW BEST:: SOT 15997100 SOS 8867990 HAS SOPS 8867990 HAS SOUS 7706100 HAS SOUPS 7706100 WITH SCORE 7714967.99
AT ITER 3553 NEW BEST:: SOT 15996943 SOS 8868880 HAS SOPS 8868880 HAS SOUS 7705996 HAS SOUPS 7705996 WITH SCORE 7714864.88
AT ITER 3558 NEW BEST:: SOT 15997128 SOS 8869065 HAS SOPS 8869065 HAS SOUS 7705026 HAS SOUPS 7705026 WITH SCORE 7713895.065
AT ITER 3559 NEW BEST:: SOT 15997128 SOS 8869839 HAS SOPS 8869839 HAS SOUS 7704935 HAS SOUPS 7704935 WITH SCORE 7713804.839
AT ITER 3565 NEW BEST:: SOT 15997128 SOS 8871633 HAS SOPS 8871633 HAS SOUS 7704653 HAS SOUPS 7704653 WITH SCORE 7713524.633
AT ITER 3568 NEW BEST:: SOT 15997182 SOS 8871363 HAS SOPS 8871363 HAS SOUS 7704653 HAS SOUPS 7704653 WITH SCORE 7713524.363
AT ITER 3573 NEW BEST:: SOT 15996492 SOS 8870673 HAS SOPS 8870673 HAS SOUS 7703963 HAS SOUPS 7703963 WITH SCORE 7712833.673
AT ITER 3576 NEW BEST:: SOT 15996492 SOS 8870567 HAS SOPS 8870567 HAS SOUS 7703963 HAS SOUPS 7703963 WITH SCORE 7712833.567
AT ITER 3583 NEW BEST:: SOT 15996492 SOS 8869734 HAS SOPS 8869734 HAS SOUS 7703639 HAS SOUPS 7703639 WITH SCORE 7712508.734
AT ITER 3584 NEW BEST:: SOT 15995748 SOS 8868990 HAS SOPS 8868990 HAS SOUS 7702895 HAS SOUPS 7702895 WITH SCORE 7711763.99
AT ITER 3585 NEW BEST:: SOT 15995362 SOS 8868006 HAS SOPS 8868006 HAS SOUS 7702119 HAS SOUPS 7702119 WITH SCORE 7710987.006
AT ITER 3591 NEW BEST:: SOT 15995362 SOS 8867925 HAS SOPS 8867925 HAS SOUS 7702119 HAS SOUPS 7702119 WITH SCORE 7710986.925
AT ITER 3593 NEW BEST:: SOT 15987899 SOS 8861995 HAS SOPS 8861995 HAS SOUS 7697573 HAS SOUPS 7697573 WITH SCORE 7706434.995
AT ITER 3597 NEW BEST:: SOT 15987551 SOS 8861647 HAS SOPS 8861647 HAS SOUS 7696984 HAS SOUPS 7696984 WITH SCORE 7705845.647
AT ITER 3599 NEW BEST:: SOT 15984773 SOS 8869003 HAS SOPS 8869003 HAS SOUS 7696240 HAS SOUPS 7696240 WITH SCORE 7705109.003
AT ITER 3608 NEW BEST:: SOT 15984650 SOS 8868880 HAS SOPS 8868880 HAS SOUS 7696108 HAS SOUPS 7696108 WITH SCORE 7704976.88
AT ITER 3616 NEW BEST:: SOT 15984616 SOS 8868846 HAS SOPS 8868846 HAS SOUS 7695324 HAS SOUPS 7695324 WITH SCORE 7704192.846
AT ITER 3630 NEW BEST:: SOT 15984616 SOS 8866775 HAS SOPS 8866775 HAS SOUS 7695059 HAS SOUPS 7695059 WITH SCORE 7703925.775
AT ITER 3631 NEW BEST:: SOT 15984672 SOS 8866831 HAS SOPS 8866831 HAS SOUS 7695036 HAS SOUPS 7695036 WITH SCORE 7703902.831
AT ITER 3632 NEW BEST:: SOT 15984055 SOS 8866682 HAS SOPS 8866682 HAS SOUS 7694045 HAS SOUPS 7694045 WITH SCORE 7702911.682
AT ITER 3640 NEW BEST:: SOT 15979626 SOS 8869974 HAS SOPS 8869974 HAS SOUS 7692724 HAS SOUPS 7692724 WITH SCORE 7701593.974
AT ITER 3642 NEW BEST:: SOT 15979626 SOS 8870240 HAS SOPS 8870240 HAS SOUS 7692693 HAS SOUPS 7692693 WITH SCORE 7701563.24
AT ITER 3647 NEW BEST:: SOT 15979626 SOS 8868959 HAS SOPS 8868959 HAS SOUS 7692693 HAS SOUPS 7692693 WITH SCORE 7701561.959
AT ITER 3648 NEW BEST:: SOT 15979626 SOS 8868684 HAS SOPS 8868684 HAS SOUS 7692693 HAS SOUPS 7692693 WITH SCORE 7701561.684
AT ITER 3650 NEW BEST:: SOT 15979626 SOS 8867030 HAS SOPS 8867030 HAS SOUS 7692432 HAS SOUPS 7692432 WITH SCORE 7701299.03
AT ITER 3656 NEW BEST:: SOT 15979626 SOS 8866514 HAS SOPS 8866514 HAS SOUS 7692432 HAS SOUPS 7692432 WITH SCORE 7701298.514
AT ITER 3657 NEW BEST:: SOT 15979626 SOS 8866098 HAS SOPS 8866098 HAS SOUS 7692432 HAS SOUPS 7692432 WITH SCORE 7701298.098
AT ITER 3659 NEW BEST:: SOT 15975786 SOS 8872014 HAS SOPS 8872014 HAS SOUS 7690086 HAS SOUPS 7690086 WITH SCORE 7698958.014
AT ITER 3661 NEW BEST:: SOT 15975786 SOS 8867693 HAS SOPS 8867693 HAS SOUS 7689553 HAS SOUPS 7689553 WITH SCORE 7698420.693
AT ITER 3665 NEW BEST:: SOT 15975786 SOS 8868181 HAS SOPS 8868181 HAS SOUS 7689517 HAS SOUPS 7689517 WITH SCORE 7698385.181
AT ITER 3667 NEW BEST:: SOT 15976120 SOS 8868080 HAS SOPS 8868080 HAS SOUS 7689176 HAS SOUPS 7689176 WITH SCORE 7698044.08
AT ITER 3671 NEW BEST:: SOT 15974056 SOS 8866927 HAS SOPS 8866927 HAS SOUS 7688395 HAS SOUPS 7688395 WITH SCORE 7697261.927
AT ITER 3672 NEW BEST:: SOT 15974056 SOS 8865555 HAS SOPS 8865555 HAS SOUS 7688395 HAS SOUPS 7688395 WITH SCORE 7697260.555
AT ITER 3680 NEW BEST:: SOT 15973942 SOS 8865441 HAS SOPS 8865441 HAS SOUS 7688281 HAS SOUPS 7688281 WITH SCORE 7697146.441
AT ITER 3683 NEW BEST:: SOT 15973942 SOS 8865107 HAS SOPS 8865107 HAS SOUS 7688028 HAS SOUPS 7688028 WITH SCORE 7696893.107
AT ITER 3684 NEW BEST:: SOT 15973942 SOS 8865107 HAS SOPS 8865107 HAS SOUS 7687615 HAS SOUPS 7687615 WITH SCORE 7696480.107
AT ITER 3687 NEW BEST:: SOT 15972725 SOS 8872865 HAS SOPS 8872865 HAS SOUS 7687528 HAS SOUPS 7687528 WITH SCORE 7696400.865
AT ITER 3694 NEW BEST:: SOT 15972841 SOS 8871582 HAS SOPS 8871582 HAS SOUS 7685603 HAS SOUPS 7685603 WITH SCORE 7694474.582
AT ITER 3700 NEW BEST:: SOT 15972841 SOS 8871117 HAS SOPS 8871117 HAS SOUS 7685603 HAS SOUPS 7685603 WITH SCORE 7694474.117
AT ITER 3702 NEW BEST:: SOT 15972841 SOS 8866947 HAS SOPS 8866947 HAS SOUS 7685069 HAS SOUPS 7685069 WITH SCORE 7693935.947
AT ITER 3706 NEW BEST:: SOT 15972841 SOS 8866316 HAS SOPS 8866316 HAS SOUS 7685069 HAS SOUPS 7685069 WITH SCORE 7693935.316
AT ITER 3721 NEW BEST:: SOT 15961808 SOS 8865788 HAS SOPS 8865788 HAS SOUS 7674720 HAS SOUPS 7674720 WITH SCORE 7683585.788
AT ITER 3722 NEW BEST:: SOT 15956716 SOS 8864896 HAS SOPS 8864896 HAS SOUS 7671459 HAS SOUPS 7671459 WITH SCORE 7680323.896
AT ITER 3725 NEW BEST:: SOT 15956716 SOS 8863522 HAS SOPS 8863522 HAS SOUS 7671459 HAS SOUPS 7671459 WITH SCORE 7680322.522
AT ITER 3735 NEW BEST:: SOT 15954221 SOS 8861475 HAS SOPS 8861475 HAS SOUS 7670157 HAS SOUPS 7670157 WITH SCORE 7679018.475
AT ITER 3744 NEW BEST:: SOT 15954221 SOS 8861049 HAS SOPS 8861049 HAS SOUS 7670157 HAS SOUPS 7670157 WITH SCORE 7679018.049
AT ITER 3749 NEW BEST:: SOT 15954221 SOS 8860383 HAS SOPS 8860383 HAS SOUS 7670157 HAS SOUPS 7670157 WITH SCORE 7679017.383
AT ITER 3752 NEW BEST:: SOT 15954221 SOS 8860009 HAS SOPS 8860009 HAS SOUS 7670157 HAS SOUPS 7670157 WITH SCORE 7679017.009
AT ITER 3759 NEW BEST:: SOT 15948436 SOS 8856967 HAS SOPS 8856967 HAS SOUS 7666187 HAS SOUPS 7666187 WITH SCORE 7675043.967
AT ITER 3770 NEW BEST:: SOT 15948436 SOS 8852002 HAS SOPS 8852002 HAS SOUS 7666187 HAS SOUPS 7666187 WITH SCORE 7675039.002
AT ITER 3781 NEW BEST:: SOT 15948436 SOS 8852002 HAS SOPS 8852002 HAS SOUS 7666182 HAS SOUPS 7666182 WITH SCORE 7675034.002
AT ITER 3782 NEW BEST:: SOT 15948436 SOS 8851552 HAS SOPS 8851552 HAS SOUS 7666182 HAS SOUPS 7666182 WITH SCORE 7675033.552
AT ITER 3783 NEW BEST:: SOT 15948436 SOS 8850459 HAS SOPS 8850459 HAS SOUS 7665741 HAS SOUPS 7665741 WITH SCORE 7674591.459
AT ITER 3786 NEW BEST:: SOT 15941378 SOS 8846935 HAS SOPS 8846935 HAS SOUS 7659108 HAS SOUPS 7659108 WITH SCORE 7667954.935
AT ITER 3787 NEW BEST:: SOT 15941378 SOS 8846935 HAS SOPS 8846935 HAS SOUS 7658697 HAS SOUPS 7658697 WITH SCORE 7667543.935
AT ITER 3788 NEW BEST:: SOT 15941378 SOS 8847204 HAS SOPS 8847204 HAS SOUS 7658280 HAS SOUPS 7658280 WITH SCORE 7667127.204
AT ITER 3789 NEW BEST:: SOT 15941999 SOS 8846615 HAS SOPS 8846615 HAS SOUS 7657893 HAS SOUPS 7657893 WITH SCORE 7666739.615
AT ITER 3793 NEW BEST:: SOT 15941999 SOS 8846278 HAS SOPS 8846278 HAS SOUS 7657893 HAS SOUPS 7657893 WITH SCORE 7666739.278
AT ITER 3794 NEW BEST:: SOT 15937367 SOS 8874284 HAS SOPS 8874284 HAS SOUS 7657609 HAS SOUPS 7657609 WITH SCORE 7666483.284
AT ITER 3796 NEW BEST:: SOT 15937367 SOS 8873923 HAS SOPS 8873923 HAS SOUS 7657609 HAS SOUPS 7657609 WITH SCORE 7666482.923
AT ITER 3801 NEW BEST:: SOT 15937367 SOS 8873730 HAS SOPS 8873730 HAS SOUS 7657609 HAS SOUPS 7657609 WITH SCORE 7666482.73
AT ITER 3806 NEW BEST:: SOT 15936749 SOS 8873524 HAS SOPS 8873524 HAS SOUS 7657403 HAS SOUPS 7657403 WITH SCORE 7666276.524
AT ITER 3810 NEW BEST:: SOT 15936749 SOS 8873498 HAS SOPS 8873498 HAS SOUS 7657403 HAS SOUPS 7657403 WITH SCORE 7666276.498
AT ITER 3813 NEW BEST:: SOT 15936749 SOS 8873418 HAS SOPS 8873418 HAS SOUS 7657323 HAS SOUPS 7657323 WITH SCORE 7666196.418
AT ITER 3817 NEW BEST:: SOT 15936749 SOS 8873025 HAS SOPS 8873025 HAS SOUS 7657323 HAS SOUPS 7657323 WITH SCORE 7666196.025
AT ITER 3818 NEW BEST:: SOT 15936749 SOS 8872548 HAS SOPS 8872548 HAS SOUS 7657323 HAS SOUPS 7657323 WITH SCORE 7666195.548
AT ITER 3819 NEW BEST:: SOT 15936693 SOS 8872492 HAS SOPS 8872492 HAS SOUS 7657245 HAS SOUPS 7657245 WITH SCORE 7666117.492
AT ITER 3822 NEW BEST:: SOT 15936693 SOS 8872282 HAS SOPS 8872282 HAS SOUS 7656190 HAS SOUPS 7656190 WITH SCORE 7665062.282
AT ITER 3827 NEW BEST:: SOT 15936693 SOS 8871993 HAS SOPS 8871993 HAS SOUS 7656190 HAS SOUPS 7656190 WITH SCORE 7665061.993
AT ITER 3829 NEW BEST:: SOT 15936323 SOS 8874936 HAS SOPS 8874936 HAS SOUS 7655957 HAS SOUPS 7655957 WITH SCORE 7664831.936
AT ITER 3838 NEW BEST:: SOT 15936408 SOS 8874520 HAS SOPS 8874520 HAS SOUS 7655833 HAS SOUPS 7655833 WITH SCORE 7664707.52
AT ITER 3841 NEW BEST:: SOT 15936173 SOS 8875050 HAS SOPS 8875050 HAS SOUS 7655598 HAS SOUPS 7655598 WITH SCORE 7664473.05
AT ITER 3842 NEW BEST:: SOT 15936173 SOS 8874715 HAS SOPS 8874715 HAS SOUS 7655598 HAS SOUPS 7655598 WITH SCORE 7664472.715
AT ITER 3849 NEW BEST:: SOT 15936173 SOS 8874104 HAS SOPS 8874104 HAS SOUS 7655598 HAS SOUPS 7655598 WITH SCORE 7664472.104
AT ITER 3852 NEW BEST:: SOT 15933816 SOS 8872111 HAS SOPS 8872111 HAS SOUS 7653757 HAS SOUPS 7653757 WITH SCORE 7662629.111
AT ITER 3853 NEW BEST:: SOT 15933816 SOS 8871128 HAS SOPS 8871128 HAS SOUS 7653757 HAS SOUPS 7653757 WITH SCORE 7662628.128
AT ITER 3860 NEW BEST:: SOT 15928731 SOS 8867210 HAS SOPS 8867210 HAS SOUS 7649266 HAS SOUPS 7649266 WITH SCORE 7658133.21
AT ITER 3864 NEW BEST:: SOT 15928556 SOS 8866159 HAS SOPS 8866159 HAS SOUS 7648080 HAS SOUPS 7648080 WITH SCORE 7656946.159
AT ITER 3865 NEW BEST:: SOT 15928556 SOS 8865958 HAS SOPS 8865958 HAS SOUS 7648080 HAS SOUPS 7648080 WITH SCORE 7656945.958
AT ITER 3866 NEW BEST:: SOT 15928556 SOS 8865834 HAS SOPS 8865834 HAS SOUS 7648080 HAS SOUPS 7648080 WITH SCORE 7656945.834
AT ITER 3867 NEW BEST:: SOT 15925753 SOS 8865327 HAS SOPS 8865327 HAS SOUS 7646253 HAS SOUPS 7646253 WITH SCORE 7655118.327
AT ITER 3868 NEW BEST:: SOT 15925753 SOS 8864953 HAS SOPS 8864953 HAS SOUS 7645980 HAS SOUPS 7645980 WITH SCORE 7654844.953
AT ITER 3869 NEW BEST:: SOT 15927793 SOS 8864859 HAS SOPS 8864859 HAS SOUS 7645949 HAS SOUPS 7645949 WITH SCORE 7654813.859
AT ITER 3870 NEW BEST:: SOT 15927793 SOS 8863065 HAS SOPS 8863065 HAS SOUS 7645625 HAS SOUPS 7645625 WITH SCORE 7654488.065
AT ITER 3871 NEW BEST:: SOT 15927793 SOS 8862569 HAS SOPS 8862569 HAS SOUS 7645592 HAS SOUPS 7645592 WITH SCORE 7654454.569
AT ITER 3873 NEW BEST:: SOT 15921425 SOS 8871878 HAS SOPS 8871878 HAS SOUS 7645013 HAS SOUPS 7645013 WITH SCORE 7653884.878
AT ITER 3874 NEW BEST:: SOT 15921158 SOS 8871679 HAS SOPS 8871679 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653541.679
AT ITER 3887 NEW BEST:: SOT 15921158 SOS 8871542 HAS SOPS 8871542 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653541.542
AT ITER 3891 NEW BEST:: SOT 15921158 SOS 8870997 HAS SOPS 8870997 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653540.997
AT ITER 3892 NEW BEST:: SOT 15921158 SOS 8870372 HAS SOPS 8870372 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653540.372
AT ITER 3897 NEW BEST:: SOT 15921158 SOS 8869902 HAS SOPS 8869902 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653539.902
AT ITER 3902 NEW BEST:: SOT 15921158 SOS 8869664 HAS SOPS 8869664 HAS SOUS 7644670 HAS SOUPS 7644670 WITH SCORE 7653539.664
AT ITER 3903 NEW BEST:: SOT 15921071 SOS 8869577 HAS SOPS 8869577 HAS SOUS 7644376 HAS SOUPS 7644376 WITH SCORE 7653245.577
AT ITER 3906 NEW BEST:: SOT 15921071 SOS 8869525 HAS SOPS 8869525 HAS SOUS 7644376 HAS SOUPS 7644376 WITH SCORE 7653245.525
AT ITER 3921 NEW BEST:: SOT 15921102 SOS 8869241 HAS SOPS 8869241 HAS SOUS 7644079 HAS SOUPS 7644079 WITH SCORE 7652948.241
AT ITER 3922 NEW BEST:: SOT 15920335 SOS 8868582 HAS SOPS 8868582 HAS SOUS 7643420 HAS SOUPS 7643420 WITH SCORE 7652288.582
AT ITER 3923 NEW BEST:: SOT 15920335 SOS 8867825 HAS SOPS 8867825 HAS SOUS 7643420 HAS SOUPS 7643420 WITH SCORE 7652287.825
AT ITER 3926 NEW BEST:: SOT 15920335 SOS 8867630 HAS SOPS 8867630 HAS SOUS 7643380 HAS SOUPS 7643380 WITH SCORE 7652247.63
AT ITER 3935 NEW BEST:: SOT 15920335 SOS 8850580 HAS SOPS 8850580 HAS SOUS 7643380 HAS SOUPS 7643380 WITH SCORE 7652230.58
AT ITER 3936 NEW BEST:: SOT 15920335 SOS 8850580 HAS SOPS 8850580 HAS SOUS 7643306 HAS SOUPS 7643306 WITH SCORE 7652156.58
AT ITER 3938 NEW BEST:: SOT 15920295 SOS 8850135 HAS SOPS 8850135 HAS SOUS 7643176 HAS SOUPS 7643176 WITH SCORE 7652026.135
AT ITER 3944 NEW BEST:: SOT 15920295 SOS 8850111 HAS SOPS 8850111 HAS SOUS 7642736 HAS SOUPS 7642736 WITH SCORE 7651586.111
AT ITER 3946 NEW BEST:: SOT 15920295 SOS 8850039 HAS SOPS 8850039 HAS SOUS 7642736 HAS SOUPS 7642736 WITH SCORE 7651586.039
AT ITER 3947 NEW BEST:: SOT 15920671 SOS 8850415 HAS SOPS 8850415 HAS SOUS 7642066 HAS SOUPS 7642066 WITH SCORE 7650916.415
AT ITER 3948 NEW BEST:: SOT 15920671 SOS 8850352 HAS SOPS 8850352 HAS SOUS 7642066 HAS SOUPS 7642066 WITH SCORE 7650916.352
AT ITER 3953 NEW BEST:: SOT 15919312 SOS 8850153 HAS SOPS 8850153 HAS SOUS 7641454 HAS SOUPS 7641454 WITH SCORE 7650304.153
AT ITER 3963 NEW BEST:: SOT 15919340 SOS 8850055 HAS SOPS 8850055 HAS SOUS 7641353 HAS SOUPS 7641353 WITH SCORE 7650203.055
AT ITER 3966 NEW BEST:: SOT 15919340 SOS 8849472 HAS SOPS 8849472 HAS SOUS 7641242 HAS SOUPS 7641242 WITH SCORE 7650091.472
AT ITER 3967 NEW BEST:: SOT 15919340 SOS 8848341 HAS SOPS 8848341 HAS SOUS 7640952 HAS SOUPS 7640952 WITH SCORE 7649800.341
AT ITER 3980 NEW BEST:: SOT 15919229 SOS 8848230 HAS SOPS 8848230 HAS SOUS 7639551 HAS SOUPS 7639551 WITH SCORE 7648399.23
AT ITER 3984 NEW BEST:: SOT 15919130 SOS 8848974 HAS SOPS 8848974 HAS SOUS 7639474 HAS SOUPS 7639474 WITH SCORE 7648322.974
AT ITER 3985 NEW BEST:: SOT 15919130 SOS 8848865 HAS SOPS 8848865 HAS SOUS 7639474 HAS SOUPS 7639474 WITH SCORE 7648322.865
AT ITER 3988 NEW BEST:: SOT 15919130 SOS 8848296 HAS SOPS 8848296 HAS SOUS 7639474 HAS SOUPS 7639474 WITH SCORE 7648322.296
AT ITER 3996 NEW BEST:: SOT 15917871 SOS 8847418 HAS SOPS 8847418 HAS SOUS 7638215 HAS SOUPS 7638215 WITH SCORE 7647062.418
AT ITER 4009 NEW BEST:: SOT 15917871 SOS 8839632 HAS SOPS 8839632 HAS SOUS 7637608 HAS SOUPS 7637608 WITH SCORE 7646447.632
AT ITER 4010 NEW BEST:: SOT 15917871 SOS 8838763 HAS SOPS 8838763 HAS SOUS 7637450 HAS SOUPS 7637450 WITH SCORE 7646288.763
AT ITER 4013 NEW BEST:: SOT 15917871 SOS 8838412 HAS SOPS 8838412 HAS SOUS 7637450 HAS SOUPS 7637450 WITH SCORE 7646288.412
AT ITER 4028 NEW BEST:: SOT 15918280 SOS 8838821 HAS SOPS 8838821 HAS SOUS 7636288 HAS SOUPS 7636288 WITH SCORE 7645126.821
AT ITER 4034 NEW BEST:: SOT 15914658 SOS 8854552 HAS SOPS 8854552 HAS SOUS 7633988 HAS SOUPS 7633988 WITH SCORE 7642842.552
AT ITER 4038 NEW BEST:: SOT 15914658 SOS 8854207 HAS SOPS 8854207 HAS SOUS 7633988 HAS SOUPS 7633988 WITH SCORE 7642842.207
AT ITER 4041 NEW BEST:: SOT 15914658 SOS 8853783 HAS SOPS 8853783 HAS SOUS 7633988 HAS SOUPS 7633988 WITH SCORE 7642841.783
AT ITER 4042 NEW BEST:: SOT 15914350 SOS 8853475 HAS SOPS 8853475 HAS SOUS 7633514 HAS SOUPS 7633514 WITH SCORE 7642367.475
AT ITER 4044 NEW BEST:: SOT 15914350 SOS 8852628 HAS SOPS 8852628 HAS SOUS 7633514 HAS SOUPS 7633514 WITH SCORE 7642366.628
AT ITER 4045 NEW BEST:: SOT 15914876 SOS 8852328 HAS SOPS 8852328 HAS SOUS 7633214 HAS SOUPS 7633214 WITH SCORE 7642066.328
AT ITER 4047 NEW BEST:: SOT 15913868 SOS 8853296 HAS SOPS 8853296 HAS SOUS 7632206 HAS SOUPS 7632206 WITH SCORE 7641059.296
AT ITER 4048 NEW BEST:: SOT 15912537 SOS 8858421 HAS SOPS 8858421 HAS SOUS 7631307 HAS SOUPS 7631307 WITH SCORE 7640165.421
AT ITER 4050 NEW BEST:: SOT 15912240 SOS 8858444 HAS SOPS 8858444 HAS SOUS 7630769 HAS SOUPS 7630769 WITH SCORE 7639627.444
AT ITER 4053 NEW BEST:: SOT 15911708 SOS 8859008 HAS SOPS 8859008 HAS SOUS 7630423 HAS SOUPS 7630423 WITH SCORE 7639282.008
AT ITER 4070 NEW BEST:: SOT 15911708 SOS 8859003 HAS SOPS 8859003 HAS SOUS 7630418 HAS SOUPS 7630418 WITH SCORE 7639277.003
AT ITER 4072 NEW BEST:: SOT 15902278 SOS 8851628 HAS SOPS 8851628 HAS SOUS 7623002 HAS SOUPS 7623002 WITH SCORE 7631853.628
AT ITER 4075 NEW BEST:: SOT 15900150 SOS 8850949 HAS SOPS 8850949 HAS SOUS 7621163 HAS SOUPS 7621163 WITH SCORE 7630013.949
AT ITER 4076 NEW BEST:: SOT 15900150 SOS 8850778 HAS SOPS 8850778 HAS SOUS 7621113 HAS SOUPS 7621113 WITH SCORE 7629963.778
AT ITER 4085 NEW BEST:: SOT 15900150 SOS 8850520 HAS SOPS 8850520 HAS SOUS 7621113 HAS SOUPS 7621113 WITH SCORE 7629963.52
AT ITER 4086 NEW BEST:: SOT 15900150 SOS 8850382 HAS SOPS 8850382 HAS SOUS 7621113 HAS SOUPS 7621113 WITH SCORE 7629963.382
AT ITER 4093 NEW BEST:: SOT 15900150 SOS 8850070 HAS SOPS 8850070 HAS SOUS 7621113 HAS SOUPS 7621113 WITH SCORE 7629963.07
AT ITER 4098 NEW BEST:: SOT 15900150 SOS 8850023 HAS SOPS 8850023 HAS SOUS 7620798 HAS SOUPS 7620798 WITH SCORE 7629648.023
AT ITER 4110 NEW BEST:: SOT 15900024 SOS 8848795 HAS SOPS 8848795 HAS SOUS 7620487 HAS SOUPS 7620487 WITH SCORE 7629335.795
AT ITER 4119 NEW BEST:: SOT 15894739 SOS 8853236 HAS SOPS 8853236 HAS SOUS 7617570 HAS SOUPS 7617570 WITH SCORE 7626423.236
AT ITER 4120 NEW BEST:: SOT 15894739 SOS 8852944 HAS SOPS 8852944 HAS SOUS 7617570 HAS SOUPS 7617570 WITH SCORE 7626422.944
AT ITER 4121 NEW BEST:: SOT 15894790 SOS 8843648 HAS SOPS 8843648 HAS SOUS 7615587 HAS SOUPS 7615587 WITH SCORE 7624430.648
AT ITER 4124 NEW BEST:: SOT 15894790 SOS 8843630 HAS SOPS 8843630 HAS SOUS 7615587 HAS SOUPS 7615587 WITH SCORE 7624430.63
AT ITER 4125 NEW BEST:: SOT 15893488 SOS 8841972 HAS SOPS 8841972 HAS SOUS 7614363 HAS SOUPS 7614363 WITH SCORE 7623204.972
AT ITER 4128 NEW BEST:: SOT 15891349 SOS 8847862 HAS SOPS 8847862 HAS SOUS 7612964 HAS SOUPS 7612964 WITH SCORE 7621811.862
AT ITER 4135 NEW BEST:: SOT 15891349 SOS 8847463 HAS SOPS 8847463 HAS SOUS 7612175 HAS SOUPS 7612175 WITH SCORE 7621022.463
AT ITER 4147 NEW BEST:: SOT 15891349 SOS 8846883 HAS SOPS 8846883 HAS SOUS 7612175 HAS SOUPS 7612175 WITH SCORE 7621021.883
AT ITER 4153 NEW BEST:: SOT 15891349 SOS 8846205 HAS SOPS 8846205 HAS SOUS 7612115 HAS SOUPS 7612115 WITH SCORE 7620961.205
AT ITER 4154 NEW BEST:: SOT 15891349 SOS 8845727 HAS SOPS 8845727 HAS SOUS 7612115 HAS SOUPS 7612115 WITH SCORE 7620960.727
AT ITER 4155 NEW BEST:: SOT 15891250 SOS 8845771 HAS SOPS 8845771 HAS SOUS 7612039 HAS SOUPS 7612039 WITH SCORE 7620884.771
AT ITER 4181 NEW BEST:: SOT 15891250 SOS 8844741 HAS SOPS 8844741 HAS SOUS 7611390 HAS SOUPS 7611390 WITH SCORE 7620234.741
AT ITER 4198 NEW BEST:: SOT 15889222 SOS 8844060 HAS SOPS 8844060 HAS SOUS 7609408 HAS SOUPS 7609408 WITH SCORE 7618252.06
AT ITER 4202 NEW BEST:: SOT 15889222 SOS 8844029 HAS SOPS 8844029 HAS SOUS 7609408 HAS SOUPS 7609408 WITH SCORE 7618252.029
AT ITER 4203 NEW BEST:: SOT 15888597 SOS 8846052 HAS SOPS 8846052 HAS SOUS 7608783 HAS SOUPS 7608783 WITH SCORE 7617629.052
AT ITER 4207 NEW BEST:: SOT 15887147 SOS 8844318 HAS SOPS 8844318 HAS SOUS 7607163 HAS SOUPS 7607163 WITH SCORE 7616007.318
AT ITER 4208 NEW BEST:: SOT 15887099 SOS 8844021 HAS SOPS 8844021 HAS SOUS 7606949 HAS SOUPS 7606949 WITH SCORE 7615793.021
AT ITER 4209 NEW BEST:: SOT 15887099 SOS 8843863 HAS SOPS 8843863 HAS SOUS 7606949 HAS SOUPS 7606949 WITH SCORE 7615792.863
AT ITER 4210 NEW BEST:: SOT 15887099 SOS 8843461 HAS SOPS 8843461 HAS SOUS 7606839 HAS SOUPS 7606839 WITH SCORE 7615682.461
AT ITER 4213 NEW BEST:: SOT 15887099 SOS 8842502 HAS SOPS 8842502 HAS SOUS 7606839 HAS SOUPS 7606839 WITH SCORE 7615681.502
AT ITER 4216 NEW BEST:: SOT 15887099 SOS 8842497 HAS SOPS 8842497 HAS SOUS 7606839 HAS SOUPS 7606839 WITH SCORE 7615681.497
AT ITER 4219 NEW BEST:: SOT 15884890 SOS 8855519 HAS SOPS 8855519 HAS SOUS 7606458 HAS SOUPS 7606458 WITH SCORE 7615313.519
AT ITER 4222 NEW BEST:: SOT 15884890 SOS 8854619 HAS SOPS 8854619 HAS SOUS 7606458 HAS SOUPS 7606458 WITH SCORE 7615312.619
AT ITER 4223 NEW BEST:: SOT 15881100 SOS 8853534 HAS SOPS 8853534 HAS SOUS 7603383 HAS SOUPS 7603383 WITH SCORE 7612236.534
AT ITER 4225 NEW BEST:: SOT 15879434 SOS 8857434 HAS SOPS 8857434 HAS SOUS 7601844 HAS SOUPS 7601844 WITH SCORE 7610701.434
AT ITER 4227 NEW BEST:: SOT 15876044 SOS 8855278 HAS SOPS 8855278 HAS SOUS 7599593 HAS SOUPS 7599593 WITH SCORE 7608448.278
AT ITER 4230 NEW BEST:: SOT 15875898 SOS 8853363 HAS SOPS 8853363 HAS SOUS 7598280 HAS SOUPS 7598280 WITH SCORE 7607133.363
AT ITER 4239 NEW BEST:: SOT 15875898 SOS 8852455 HAS SOPS 8852455 HAS SOUS 7598227 HAS SOUPS 7598227 WITH SCORE 7607079.455
AT ITER 4253 NEW BEST:: SOT 15875898 SOS 8851923 HAS SOPS 8851923 HAS SOUS 7598227 HAS SOUPS 7598227 WITH SCORE 7607078.923
AT ITER 4257 NEW BEST:: SOT 15875898 SOS 8851531 HAS SOPS 8851531 HAS SOUS 7598227 HAS SOUPS 7598227 WITH SCORE 7607078.531
AT ITER 4258 NEW BEST:: SOT 15875654 SOS 8851287 HAS SOPS 8851287 HAS SOUS 7597983 HAS SOUPS 7597983 WITH SCORE 7606834.287
AT ITER 4269 NEW BEST:: SOT 15875654 SOS 8851211 HAS SOPS 8851211 HAS SOUS 7597983 HAS SOUPS 7597983 WITH SCORE 7606834.211
AT ITER 4273 NEW BEST:: SOT 15875654 SOS 8850553 HAS SOPS 8850553 HAS SOUS 7597983 HAS SOUPS 7597983 WITH SCORE 7606833.553
AT ITER 4278 NEW BEST:: SOT 15866156 SOS 8849282 HAS SOPS 8849282 HAS SOUS 7589502 HAS SOUPS 7589502 WITH SCORE 7598351.282
AT ITER 4281 NEW BEST:: SOT 15866156 SOS 8835741 HAS SOPS 8835741 HAS SOUS 7589502 HAS SOUPS 7589502 WITH SCORE 7598337.741
AT ITER 4286 NEW BEST:: SOT 15866156 SOS 8835715 HAS SOPS 8835715 HAS SOUS 7589502 HAS SOUPS 7589502 WITH SCORE 7598337.715
AT ITER 4290 NEW BEST:: SOT 15858449 SOS 8829657 HAS SOPS 8829657 HAS SOUS 7582358 HAS SOUPS 7582358 WITH SCORE 7591187.657
AT ITER 4291 NEW BEST:: SOT 15858449 SOS 8829481 HAS SOPS 8829481 HAS SOUS 7582358 HAS SOUPS 7582358 WITH SCORE 7591187.481
AT ITER 4299 NEW BEST:: SOT 15858226 SOS 8828848 HAS SOPS 8828848 HAS SOUS 7581295 HAS SOUPS 7581295 WITH SCORE 7590123.848
AT ITER 4300 NEW BEST:: SOT 15858226 SOS 8828740 HAS SOPS 8828740 HAS SOUS 7581295 HAS SOUPS 7581295 WITH SCORE 7590123.74
AT ITER 4308 NEW BEST:: SOT 15850627 SOS 8831742 HAS SOPS 8831742 HAS SOUS 7576857 HAS SOUPS 7576857 WITH SCORE 7585688.742
AT ITER 4309 NEW BEST:: SOT 15850627 SOS 8831669 HAS SOPS 8831669 HAS SOUS 7576857 HAS SOUPS 7576857 WITH SCORE 7585688.669
AT ITER 4315 NEW BEST:: SOT 15850627 SOS 8831080 HAS SOPS 8831080 HAS SOUS 7576857 HAS SOUPS 7576857 WITH SCORE 7585688.08
AT ITER 4318 NEW BEST:: SOT 15850627 SOS 8830832 HAS SOPS 8830832 HAS SOUS 7576857 HAS SOUPS 7576857 WITH SCORE 7585687.832
AT ITER 4326 NEW BEST:: SOT 15850245 SOS 8829840 HAS SOPS 8829840 HAS SOUS 7575395 HAS SOUPS 7575395 WITH SCORE 7584224.84
AT ITER 4332 NEW BEST:: SOT 15843621 SOS 8836389 HAS SOPS 8836389 HAS SOUS 7575127 HAS SOUPS 7575127 WITH SCORE 7583963.389
AT ITER 4334 NEW BEST:: SOT 15843621 SOS 8836291 HAS SOPS 8836291 HAS SOUS 7575127 HAS SOUPS 7575127 WITH SCORE 7583963.291
AT ITER 4336 NEW BEST:: SOT 15839170 SOS 8835110 HAS SOPS 8835110 HAS SOUS 7571542 HAS SOUPS 7571542 WITH SCORE 7580377.11
AT ITER 4340 NEW BEST:: SOT 15838634 SOS 8832715 HAS SOPS 8832715 HAS SOUS 7569512 HAS SOUPS 7569512 WITH SCORE 7578344.715
AT ITER 4344 NEW BEST:: SOT 15838634 SOS 8832470 HAS SOPS 8832470 HAS SOUS 7569512 HAS SOUPS 7569512 WITH SCORE 7578344.47
AT ITER 4351 NEW BEST:: SOT 15838634 SOS 8832433 HAS SOPS 8832433 HAS SOUS 7569512 HAS SOUPS 7569512 WITH SCORE 7578344.433
AT ITER 4353 NEW BEST:: SOT 15833944 SOS 8829826 HAS SOPS 8829826 HAS SOUS 7565852 HAS SOUPS 7565852 WITH SCORE 7574681.826
AT ITER 4367 NEW BEST:: SOT 15832528 SOS 8829250 HAS SOPS 8829250 HAS SOUS 7565532 HAS SOUPS 7565532 WITH SCORE 7574361.25
AT ITER 4369 NEW BEST:: SOT 15832528 SOS 8828749 HAS SOPS 8828749 HAS SOUS 7565532 HAS SOUPS 7565532 WITH SCORE 7574360.749
AT ITER 4372 NEW BEST:: SOT 15826126 SOS 8826548 HAS SOPS 8826548 HAS SOUS 7564500 HAS SOUPS 7564500 WITH SCORE 7573326.548
AT ITER 4380 NEW BEST:: SOT 15826857 SOS 8817997 HAS SOPS 8817997 HAS SOUS 7562844 HAS SOUPS 7562844 WITH SCORE 7571661.997
AT ITER 4382 NEW BEST:: SOT 15826747 SOS 8817887 HAS SOPS 8817887 HAS SOUS 7562407 HAS SOUPS 7562407 WITH SCORE 7571224.887
AT ITER 4383 NEW BEST:: SOT 15826747 SOS 8817124 HAS SOPS 8817124 HAS SOUS 7561773 HAS SOUPS 7561773 WITH SCORE 7570590.124
AT ITER 4385 NEW BEST:: SOT 15826747 SOS 8816489 HAS SOPS 8816489 HAS SOUS 7561773 HAS SOUPS 7561773 WITH SCORE 7570589.489
AT ITER 4386 NEW BEST:: SOT 15826498 SOS 8816240 HAS SOPS 8816240 HAS SOUS 7561524 HAS SOUPS 7561524 WITH SCORE 7570340.24
AT ITER 4390 NEW BEST:: SOT 15826498 SOS 8815354 HAS SOPS 8815354 HAS SOUS 7561301 HAS SOUPS 7561301 WITH SCORE 7570116.354
AT ITER 4392 NEW BEST:: SOT 15824235 SOS 8813669 HAS SOPS 8813669 HAS SOUS 7559345 HAS SOUPS 7559345 WITH SCORE 7568158.669
AT ITER 4393 NEW BEST:: SOT 15823232 SOS 8819102 HAS SOPS 8819102 HAS SOUS 7558896 HAS SOUPS 7558896 WITH SCORE 7567715.102
AT ITER 4396 NEW BEST:: SOT 15823232 SOS 8819016 HAS SOPS 8819016 HAS SOUS 7558896 HAS SOUPS 7558896 WITH SCORE 7567715.016
AT ITER 4398 NEW BEST:: SOT 15819319 SOS 8818103 HAS SOPS 8818103 HAS SOUS 7556724 HAS SOUPS 7556724 WITH SCORE 7565542.103
AT ITER 4400 NEW BEST:: SOT 15814926 SOS 8847035 HAS SOPS 8847035 HAS SOUS 7555444 HAS SOUPS 7555444 WITH SCORE 7564291.035
AT ITER 4411 NEW BEST:: SOT 15814926 SOS 8846447 HAS SOPS 8846447 HAS SOUS 7555444 HAS SOUPS 7555444 WITH SCORE 7564290.447
AT ITER 4412 NEW BEST:: SOT 15814680 SOS 8846201 HAS SOPS 8846201 HAS SOUS 7554947 HAS SOUPS 7554947 WITH SCORE 7563793.201
AT ITER 4415 NEW BEST:: SOT 15814531 SOS 8845672 HAS SOPS 8845672 HAS SOUS 7554443 HAS SOUPS 7554443 WITH SCORE 7563288.672
AT ITER 4421 NEW BEST:: SOT 15814531 SOS 8845504 HAS SOPS 8845504 HAS SOUS 7554443 HAS SOUPS 7554443 WITH SCORE 7563288.504
AT ITER 4424 NEW BEST:: SOT 15814531 SOS 8844111 HAS SOPS 8844111 HAS SOUS 7554193 HAS SOUPS 7554193 WITH SCORE 7563037.111
AT ITER 4430 NEW BEST:: SOT 15811442 SOS 8842271 HAS SOPS 8842271 HAS SOUS 7553127 HAS SOUPS 7553127 WITH SCORE 7561969.271
AT ITER 4433 NEW BEST:: SOT 15807855 SOS 8840453 HAS SOPS 8840453 HAS SOUS 7552866 HAS SOUPS 7552866 WITH SCORE 7561706.453
AT ITER 4435 NEW BEST:: SOT 15803152 SOS 8836728 HAS SOPS 8836728 HAS SOUS 7549640 HAS SOUPS 7549640 WITH SCORE 7558476.728
AT ITER 4439 NEW BEST:: SOT 15803284 SOS 8836707 HAS SOPS 8836707 HAS SOUS 7549175 HAS SOUPS 7549175 WITH SCORE 7558011.707
AT ITER 4440 NEW BEST:: SOT 15803284 SOS 8836242 HAS SOPS 8836242 HAS SOUS 7549175 HAS SOUPS 7549175 WITH SCORE 7558011.242
AT ITER 4443 NEW BEST:: SOT 15801159 SOS 8834294 HAS SOPS 8834294 HAS SOUS 7547290 HAS SOUPS 7547290 WITH SCORE 7556124.294
AT ITER 4444 NEW BEST:: SOT 15800928 SOS 8836788 HAS SOPS 8836788 HAS SOUS 7547059 HAS SOUPS 7547059 WITH SCORE 7555895.788
AT ITER 4455 NEW BEST:: SOT 15800928 SOS 8836578 HAS SOPS 8836578 HAS SOUS 7547059 HAS SOUPS 7547059 WITH SCORE 7555895.578
AT ITER 4457 NEW BEST:: SOT 15800928 SOS 8836099 HAS SOPS 8836099 HAS SOUS 7546950 HAS SOUPS 7546950 WITH SCORE 7555786.099
AT ITER 4460 NEW BEST:: SOT 15800928 SOS 8834808 HAS SOPS 8834808 HAS SOUS 7546950 HAS SOUPS 7546950 WITH SCORE 7555784.808
AT ITER 4463 NEW BEST:: SOT 15800912 SOS 8834776 HAS SOPS 8834776 HAS SOUS 7546918 HAS SOUPS 7546918 WITH SCORE 7555752.776
AT ITER 4475 NEW BEST:: SOT 15800912 SOS 8833970 HAS SOPS 8833970 HAS SOUS 7546918 HAS SOUPS 7546918 WITH SCORE 7555751.97
AT ITER 4476 NEW BEST:: SOT 15795084 SOS 8840798 HAS SOPS 8840798 HAS SOUS 7545087 HAS SOUPS 7545087 WITH SCORE 7553927.798
AT ITER 4477 NEW BEST:: SOT 15795084 SOS 8840082 HAS SOPS 8840082 HAS SOUS 7545087 HAS SOUPS 7545087 WITH SCORE 7553927.082
AT ITER 4480 NEW BEST:: SOT 15795084 SOS 8838584 HAS SOPS 8838584 HAS SOUS 7544923 HAS SOUPS 7544923 WITH SCORE 7553761.584
AT ITER 4481 NEW BEST:: SOT 15795084 SOS 8837181 HAS SOPS 8837181 HAS SOUS 7544923 HAS SOUPS 7544923 WITH SCORE 7553760.181
AT ITER 4484 NEW BEST:: SOT 15794184 SOS 8854404 HAS SOPS 8854404 HAS SOUS 7544860 HAS SOUPS 7544860 WITH SCORE 7553714.404
AT ITER 4486 NEW BEST:: SOT 15794184 SOS 8853353 HAS SOPS 8853353 HAS SOUS 7544860 HAS SOUPS 7544860 WITH SCORE 7553713.353
AT ITER 4489 NEW BEST:: SOT 15794184 SOS 8853349 HAS SOPS 8853349 HAS SOUS 7544860 HAS SOUPS 7544860 WITH SCORE 7553713.349
AT ITER 4490 NEW BEST:: SOT 15790634 SOS 8852215 HAS SOPS 8852215 HAS SOUS 7544776 HAS SOUPS 7544776 WITH SCORE 7553628.215
AT ITER 4491 NEW BEST:: SOT 15790519 SOS 8852054 HAS SOPS 8852054 HAS SOUS 7544211 HAS SOUPS 7544211 WITH SCORE 7553063.054
AT ITER 4499 NEW BEST:: SOT 15786799 SOS 8851598 HAS SOPS 8851598 HAS SOUS 7542570 HAS SOUPS 7542570 WITH SCORE 7551421.598
AT ITER 4513 NEW BEST:: SOT 15786799 SOS 8851061 HAS SOPS 8851061 HAS SOUS 7542570 HAS SOUPS 7542570 WITH SCORE 7551421.061
AT ITER 4514 NEW BEST:: SOT 15786875 SOS 8851350 HAS SOPS 8851350 HAS SOUS 7541961 HAS SOUPS 7541961 WITH SCORE 7550812.35
AT ITER 4518 NEW BEST:: SOT 15786875 SOS 8851350 HAS SOPS 8851350 HAS SOUS 7541798 HAS SOUPS 7541798 WITH SCORE 7550649.35
AT ITER 4519 NEW BEST:: SOT 15786875 SOS 8851097 HAS SOPS 8851097 HAS SOUS 7541798 HAS SOUPS 7541798 WITH SCORE 7550649.097
AT ITER 4524 NEW BEST:: SOT 15781101 SOS 8850006 HAS SOPS 8850006 HAS SOUS 7536640 HAS SOUPS 7536640 WITH SCORE 7545490.006
AT ITER 4536 NEW BEST:: SOT 15779491 SOS 8851461 HAS SOPS 8851461 HAS SOUS 7535603 HAS SOUPS 7535603 WITH SCORE 7544454.461
AT ITER 4551 NEW BEST:: SOT 15779491 SOS 8851059 HAS SOPS 8851059 HAS SOUS 7535603 HAS SOUPS 7535603 WITH SCORE 7544454.059
AT ITER 4557 NEW BEST:: SOT 15779491 SOS 8851025 HAS SOPS 8851025 HAS SOUS 7535603 HAS SOUPS 7535603 WITH SCORE 7544454.025
AT ITER 4559 NEW BEST:: SOT 15778683 SOS 8851124 HAS SOPS 8851124 HAS SOUS 7535028 HAS SOUPS 7535028 WITH SCORE 7543879.124
AT ITER 4561 NEW BEST:: SOT 15778683 SOS 8850975 HAS SOPS 8850975 HAS SOUS 7535028 HAS SOUPS 7535028 WITH SCORE 7543878.975
AT ITER 4572 NEW BEST:: SOT 15778683 SOS 8845726 HAS SOPS 8845726 HAS SOUS 7532888 HAS SOUPS 7532888 WITH SCORE 7541733.726
AT ITER 4574 NEW BEST:: SOT 15778560 SOS 8845972 HAS SOPS 8845972 HAS SOUS 7532765 HAS SOUPS 7532765 WITH SCORE 7541610.972
AT ITER 4575 NEW BEST:: SOT 15776386 SOS 8849218 HAS SOPS 8849218 HAS SOUS 7531864 HAS SOUPS 7531864 WITH SCORE 7540713.218
AT ITER 4585 NEW BEST:: SOT 15773545 SOS 8858100 HAS SOPS 8858100 HAS SOUS 7531712 HAS SOUPS 7531712 WITH SCORE 7540570.1
AT ITER 4593 NEW BEST:: SOT 15773545 SOS 8858100 HAS SOPS 8858100 HAS SOUS 7531560 HAS SOUPS 7531560 WITH SCORE 7540418.1
AT ITER 4594 NEW BEST:: SOT 15773545 SOS 8857513 HAS SOPS 8857513 HAS SOUS 7531560 HAS SOUPS 7531560 WITH SCORE 7540417.513
AT ITER 4599 NEW BEST:: SOT 15773052 SOS 8857372 HAS SOPS 8857372 HAS SOUS 7531419 HAS SOUPS 7531419 WITH SCORE 7540276.372
AT ITER 4602 NEW BEST:: SOT 15773385 SOS 8856041 HAS SOPS 8856041 HAS SOUS 7530727 HAS SOUPS 7530727 WITH SCORE 7539583.041
AT ITER 4604 NEW BEST:: SOT 15773324 SOS 8855980 HAS SOPS 8855980 HAS SOUS 7530605 HAS SOUPS 7530605 WITH SCORE 7539460.98
AT ITER 4605 NEW BEST:: SOT 15773324 SOS 8857151 HAS SOPS 8857151 HAS SOUS 7529953 HAS SOUPS 7529953 WITH SCORE 7538810.151
AT ITER 4611 NEW BEST:: SOT 15773324 SOS 8856827 HAS SOPS 8856827 HAS SOUS 7529953 HAS SOUPS 7529953 WITH SCORE 7538809.827
AT ITER 4612 NEW BEST:: SOT 15773128 SOS 8858275 HAS SOPS 8858275 HAS SOUS 7529702 HAS SOUPS 7529702 WITH SCORE 7538560.275
AT ITER 4613 NEW BEST:: SOT 15773057 SOS 8858204 HAS SOPS 8858204 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538489.204
AT ITER 4614 NEW BEST:: SOT 15773057 SOS 8858021 HAS SOPS 8858021 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538489.021
AT ITER 4618 NEW BEST:: SOT 15773057 SOS 8857012 HAS SOPS 8857012 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538488.012
AT ITER 4626 NEW BEST:: SOT 15773057 SOS 8856941 HAS SOPS 8856941 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538487.941
AT ITER 4627 NEW BEST:: SOT 15773057 SOS 8856560 HAS SOPS 8856560 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538487.56
AT ITER 4628 NEW BEST:: SOT 15773057 SOS 8856238 HAS SOPS 8856238 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538487.238
AT ITER 4630 NEW BEST:: SOT 15773057 SOS 8855816 HAS SOPS 8855816 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538486.816
AT ITER 4636 NEW BEST:: SOT 15773057 SOS 8855135 HAS SOPS 8855135 HAS SOUS 7529631 HAS SOUPS 7529631 WITH SCORE 7538486.135
AT ITER 4641 NEW BEST:: SOT 15772965 SOS 8855979 HAS SOPS 8855979 HAS SOUS 7529220 HAS SOUPS 7529220 WITH SCORE 7538075.979
AT ITER 4649 NEW BEST:: SOT 15764388 SOS 8850955 HAS SOPS 8850955 HAS SOUS 7520870 HAS SOUPS 7520870 WITH SCORE 7529720.955
AT ITER 4654 NEW BEST:: SOT 15764153 SOS 8850720 HAS SOPS 8850720 HAS SOUS 7520635 HAS SOUPS 7520635 WITH SCORE 7529485.72
AT ITER 4655 NEW BEST:: SOT 15764153 SOS 8850603 HAS SOPS 8850603 HAS SOUS 7520635 HAS SOUPS 7520635 WITH SCORE 7529485.603
AT ITER 4656 NEW BEST:: SOT 15763587 SOS 8850495 HAS SOPS 8850495 HAS SOUS 7520142 HAS SOUPS 7520142 WITH SCORE 7528992.495
AT ITER 4658 NEW BEST:: SOT 15763587 SOS 8850194 HAS SOPS 8850194 HAS SOUS 7519213 HAS SOUPS 7519213 WITH SCORE 7528063.194
AT ITER 4670 NEW BEST:: SOT 15763587 SOS 8850122 HAS SOPS 8850122 HAS SOUS 7519213 HAS SOUPS 7519213 WITH SCORE 7528063.122
AT ITER 4674 NEW BEST:: SOT 15759158 SOS 8846623 HAS SOPS 8846623 HAS SOUS 7516314 HAS SOUPS 7516314 WITH SCORE 7525160.623
AT ITER 4675 NEW BEST:: SOT 15759158 SOS 8845904 HAS SOPS 8845904 HAS SOUS 7515631 HAS SOUPS 7515631 WITH SCORE 7524476.904
AT ITER 4678 NEW BEST:: SOT 15759158 SOS 8845904 HAS SOPS 8845904 HAS SOUS 7515579 HAS SOUPS 7515579 WITH SCORE 7524424.904
AT ITER 4679 NEW BEST:: SOT 15759158 SOS 8845604 HAS SOPS 8845604 HAS SOUS 7515579 HAS SOUPS 7515579 WITH SCORE 7524424.604
AT ITER 4682 NEW BEST:: SOT 15759285 SOS 8845896 HAS SOPS 8845896 HAS SOUS 7515541 HAS SOUPS 7515541 WITH SCORE 7524386.896
AT ITER 4696 NEW BEST:: SOT 15759186 SOS 8845919 HAS SOPS 8845919 HAS SOUS 7515503 HAS SOUPS 7515503 WITH SCORE 7524348.919
AT ITER 4701 NEW BEST:: SOT 15756424 SOS 8844367 HAS SOPS 8844367 HAS SOUS 7515190 HAS SOUPS 7515190 WITH SCORE 7524034.367
AT ITER 4705 NEW BEST:: SOT 15753492 SOS 8845068 HAS SOPS 8845068 HAS SOUS 7514108 HAS SOUPS 7514108 WITH SCORE 7522953.068
AT ITER 4707 NEW BEST:: SOT 15753492 SOS 8844859 HAS SOPS 8844859 HAS SOUS 7514108 HAS SOUPS 7514108 WITH SCORE 7522952.859
AT ITER 4720 NEW BEST:: SOT 15753492 SOS 8843933 HAS SOPS 8843933 HAS SOUS 7514108 HAS SOUPS 7514108 WITH SCORE 7522951.933
AT ITER 4721 NEW BEST:: SOT 15753492 SOS 8843968 HAS SOPS 8843968 HAS SOUS 7513868 HAS SOUPS 7513868 WITH SCORE 7522711.968
AT ITER 4724 NEW BEST:: SOT 15753492 SOS 8843615 HAS SOPS 8843615 HAS SOUS 7513868 HAS SOUPS 7513868 WITH SCORE 7522711.615
AT ITER 4728 NEW BEST:: SOT 15753940 SOS 8844063 HAS SOPS 8844063 HAS SOUS 7513806 HAS SOUPS 7513806 WITH SCORE 7522650.063
AT ITER 4732 NEW BEST:: SOT 15753940 SOS 8843898 HAS SOPS 8843898 HAS SOUS 7513806 HAS SOUPS 7513806 WITH SCORE 7522649.898
AT ITER 4737 NEW BEST:: SOT 15753940 SOS 8843562 HAS SOPS 8843562 HAS SOUS 7513806 HAS SOUPS 7513806 WITH SCORE 7522649.562
AT ITER 4740 NEW BEST:: SOT 15748997 SOS 8840447 HAS SOPS 8840447 HAS SOUS 7508863 HAS SOUPS 7508863 WITH SCORE 7517703.447
AT ITER 4750 NEW BEST:: SOT 15748997 SOS 8839844 HAS SOPS 8839844 HAS SOUS 7508863 HAS SOUPS 7508863 WITH SCORE 7517702.844
AT ITER 4754 NEW BEST:: SOT 15748997 SOS 8839821 HAS SOPS 8839821 HAS SOUS 7508585 HAS SOUPS 7508585 WITH SCORE 7517424.821
AT ITER 4760 NEW BEST:: SOT 15748997 SOS 8840072 HAS SOPS 8840072 HAS SOUS 7508577 HAS SOUPS 7508577 WITH SCORE 7517417.072
AT ITER 4773 NEW BEST:: SOT 15749899 SOS 8825783 HAS SOPS 8825783 HAS SOUS 7508290 HAS SOUPS 7508290 WITH SCORE 7517115.783
AT ITER 4776 NEW BEST:: SOT 15749575 SOS 8825235 HAS SOPS 8825235 HAS SOUS 7508008 HAS SOUPS 7508008 WITH SCORE 7516833.235
AT ITER 4777 NEW BEST:: SOT 15745951 SOS 8825677 HAS SOPS 8825677 HAS SOUS 7506461 HAS SOUPS 7506461 WITH SCORE 7515286.677
AT ITER 4779 NEW BEST:: SOT 15745951 SOS 8824370 HAS SOPS 8824370 HAS SOUS 7506461 HAS SOUPS 7506461 WITH SCORE 7515285.37
AT ITER 4782 NEW BEST:: SOT 15745951 SOS 8823285 HAS SOPS 8823285 HAS SOUS 7506461 HAS SOUPS 7506461 WITH SCORE 7515284.285
AT ITER 4784 NEW BEST:: SOT 15742683 SOS 8825749 HAS SOPS 8825749 HAS SOUS 7506043 HAS SOUPS 7506043 WITH SCORE 7514868.749
AT ITER 4787 NEW BEST:: SOT 15742683 SOS 8825749 HAS SOPS 8825749 HAS SOUS 7505769 HAS SOUPS 7505769 WITH SCORE 7514594.749
AT ITER 4788 NEW BEST:: SOT 15742683 SOS 8825410 HAS SOPS 8825410 HAS SOUS 7505340 HAS SOUPS 7505340 WITH SCORE 7514165.41
AT ITER 4792 NEW BEST:: SOT 15738253 SOS 8822944 HAS SOPS 8822944 HAS SOUS 7501411 HAS SOUPS 7501411 WITH SCORE 7510233.944
AT ITER 4794 NEW BEST:: SOT 15738253 SOS 8820615 HAS SOPS 8820615 HAS SOUS 7501411 HAS SOUPS 7501411 WITH SCORE 7510231.615
AT ITER 4798 NEW BEST:: SOT 15738077 SOS 8820659 HAS SOPS 8820659 HAS SOUS 7501205 HAS SOUPS 7501205 WITH SCORE 7510025.659
AT ITER 4802 NEW BEST:: SOT 15738077 SOS 8819943 HAS SOPS 8819943 HAS SOUS 7500489 HAS SOUPS 7500489 WITH SCORE 7509308.943
AT ITER 4811 NEW BEST:: SOT 15731595 SOS 8816538 HAS SOPS 8816538 HAS SOUS 7496550 HAS SOUPS 7496550 WITH SCORE 7505366.538
AT ITER 4815 NEW BEST:: SOT 15731595 SOS 8811252 HAS SOPS 8811252 HAS SOUS 7495796 HAS SOUPS 7495796 WITH SCORE 7504607.252
AT ITER 4817 NEW BEST:: SOT 15731595 SOS 8811252 HAS SOPS 8811252 HAS SOUS 7494856 HAS SOUPS 7494856 WITH SCORE 7503667.252
AT ITER 4819 NEW BEST:: SOT 15731613 SOS 8803208 HAS SOPS 8803208 HAS SOUS 7492402 HAS SOUPS 7492402 WITH SCORE 7501205.208
AT ITER 4820 NEW BEST:: SOT 15730821 SOS 8802812 HAS SOPS 8802812 HAS SOUS 7491730 HAS SOUPS 7491730 WITH SCORE 7500532.812
AT ITER 4830 NEW BEST:: SOT 15726038 SOS 8801851 HAS SOPS 8801851 HAS SOUS 7489150 HAS SOUPS 7489150 WITH SCORE 7497951.851
AT ITER 4838 NEW BEST:: SOT 15726038 SOS 8803135 HAS SOPS 8803135 HAS SOUS 7489123 HAS SOUPS 7489123 WITH SCORE 7497926.135
AT ITER 4839 NEW BEST:: SOT 15725922 SOS 8802799 HAS SOPS 8802799 HAS SOUS 7488936 HAS SOUPS 7488936 WITH SCORE 7497738.799
AT ITER 4843 NEW BEST:: SOT 15725917 SOS 8802385 HAS SOPS 8802385 HAS SOUS 7488767 HAS SOUPS 7488767 WITH SCORE 7497569.385
AT ITER 4856 NEW BEST:: SOT 15725917 SOS 8802164 HAS SOPS 8802164 HAS SOUS 7488767 HAS SOUPS 7488767 WITH SCORE 7497569.164
AT ITER 4859 NEW BEST:: SOT 15725917 SOS 8803497 HAS SOPS 8803497 HAS SOUS 7488435 HAS SOUPS 7488435 WITH SCORE 7497238.497
AT ITER 4861 NEW BEST:: SOT 15725244 SOS 8803257 HAS SOPS 8803257 HAS SOUS 7487875 HAS SOUPS 7487875 WITH SCORE 7496678.257
AT ITER 4863 NEW BEST:: SOT 15725244 SOS 8802811 HAS SOPS 8802811 HAS SOUS 7487875 HAS SOUPS 7487875 WITH SCORE 7496677.811
AT ITER 4864 NEW BEST:: SOT 15720923 SOS 8822378 HAS SOPS 8822378 HAS SOUS 7486251 HAS SOUPS 7486251 WITH SCORE 7495073.378
AT ITER 4870 NEW BEST:: SOT 15720705 SOS 8822792 HAS SOPS 8822792 HAS SOUS 7486209 HAS SOUPS 7486209 WITH SCORE 7495031.792
AT ITER 4872 NEW BEST:: SOT 15720705 SOS 8822030 HAS SOPS 8822030 HAS SOUS 7485780 HAS SOUPS 7485780 WITH SCORE 7494602.03
AT ITER 4884 NEW BEST:: SOT 15715573 SOS 8818709 HAS SOPS 8818709 HAS SOUS 7481576 HAS SOUPS 7481576 WITH SCORE 7490394.709
AT ITER 4886 NEW BEST:: SOT 15715161 SOS 8819154 HAS SOPS 8819154 HAS SOUS 7480738 HAS SOUPS 7480738 WITH SCORE 7489557.154
AT ITER 4890 NEW BEST:: SOT 15715161 SOS 8818320 HAS SOPS 8818320 HAS SOUS 7480738 HAS SOUPS 7480738 WITH SCORE 7489556.32
AT ITER 4899 NEW BEST:: SOT 15715097 SOS 8817931 HAS SOPS 8817931 HAS SOUS 7480307 HAS SOUPS 7480307 WITH SCORE 7489124.931
AT ITER 4900 NEW BEST:: SOT 15711614 SOS 8814604 HAS SOPS 8814604 HAS SOUS 7476380 HAS SOUPS 7476380 WITH SCORE 7485194.604
AT ITER 4907 NEW BEST:: SOT 15710613 SOS 8815582 HAS SOPS 8815582 HAS SOUS 7476169 HAS SOUPS 7476169 WITH SCORE 7484984.582
AT ITER 4908 NEW BEST:: SOT 15710613 SOS 8815268 HAS SOPS 8815268 HAS SOUS 7476169 HAS SOUPS 7476169 WITH SCORE 7484984.268
AT ITER 4923 NEW BEST:: SOT 15710613 SOS 8814970 HAS SOPS 8814970 HAS SOUS 7475560 HAS SOUPS 7475560 WITH SCORE 7484374.97
AT ITER 4927 NEW BEST:: SOT 15710613 SOS 8814869 HAS SOPS 8814869 HAS SOUS 7475560 HAS SOUPS 7475560 WITH SCORE 7484374.869
AT ITER 4929 NEW BEST:: SOT 15710613 SOS 8814213 HAS SOPS 8814213 HAS SOUS 7475560 HAS SOUPS 7475560 WITH SCORE 7484374.213
AT ITER 4935 NEW BEST:: SOT 15709533 SOS 8827723 HAS SOPS 8827723 HAS SOUS 7474676 HAS SOUPS 7474676 WITH SCORE 7483503.723
AT ITER 4941 NEW BEST:: SOT 15709491 SOS 8827987 HAS SOPS 8827987 HAS SOUS 7474527 HAS SOUPS 7474527 WITH SCORE 7483354.987
AT ITER 4945 NEW BEST:: SOT 15709595 SOS 8828091 HAS SOPS 8828091 HAS SOUS 7474484 HAS SOUPS 7474484 WITH SCORE 7483312.091
AT ITER 4949 NEW BEST:: SOT 15709324 SOS 8825916 HAS SOPS 8825916 HAS SOUS 7473909 HAS SOUPS 7473909 WITH SCORE 7482734.916
AT ITER 4951 NEW BEST:: SOT 15697028 SOS 8820165 HAS SOPS 8820165 HAS SOUS 7465787 HAS SOUPS 7465787 WITH SCORE 7474607.165
AT ITER 4958 NEW BEST:: SOT 15697028 SOS 8819473 HAS SOPS 8819473 HAS SOUS 7465155 HAS SOUPS 7465155 WITH SCORE 7473974.473
AT ITER 4960 NEW BEST:: SOT 15698328 SOS 8793885 HAS SOPS 8793885 HAS SOUS 7462668 HAS SOUPS 7462668 WITH SCORE 7471461.885
AT ITER 4964 NEW BEST:: SOT 15698328 SOS 8791995 HAS SOPS 8791995 HAS SOUS 7462668 HAS SOUPS 7462668 WITH SCORE 7471459.995
AT ITER 4968 NEW BEST:: SOT 15696259 SOS 8791783 HAS SOPS 8791783 HAS SOUS 7461379 HAS SOUPS 7461379 WITH SCORE 7470170.783
AT ITER 4970 NEW BEST:: SOT 15689428 SOS 8789284 HAS SOPS 8789284 HAS SOUS 7456213 HAS SOUPS 7456213 WITH SCORE 7465002.284
AT ITER 4971 NEW BEST:: SOT 15690095 SOS 8789628 HAS SOPS 8789628 HAS SOUS 7455850 HAS SOUPS 7455850 WITH SCORE 7464639.628
AT ITER 4973 NEW BEST:: SOT 15689099 SOS 8789308 HAS SOPS 8789308 HAS SOUS 7454854 HAS SOUPS 7454854 WITH SCORE 7463643.308
AT ITER 4976 NEW BEST:: SOT 15688549 SOS 8789019 HAS SOPS 8789019 HAS SOUS 7454146 HAS SOUPS 7454146 WITH SCORE 7462935.019
AT ITER 4987 NEW BEST:: SOT 15682403 SOS 8784855 HAS SOPS 8784855 HAS SOUS 7449302 HAS SOUPS 7449302 WITH SCORE 7458086.855
AT ITER 4988 NEW BEST:: SOT 15682412 SOS 8785837 HAS SOPS 8785837 HAS SOUS 7449088 HAS SOUPS 7449088 WITH SCORE 7457873.837
AT ITER 4992 NEW BEST:: SOT 15682412 SOS 8785837 HAS SOPS 8785837 HAS SOUS 7449039 HAS SOUPS 7449039 WITH SCORE 7457824.837
AT ITER 4997 NEW BEST:: SOT 15682412 SOS 8785302 HAS SOPS 8785302 HAS SOUS 7448961 HAS SOUPS 7448961 WITH SCORE 7457746.302
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN16-CTLFireability-00 (EX( (! (AU( ((potential((tk(P4679)>=1) & (tk(P199)>=1) & (tk(P4549)>=1)))) , ((potential((tk(P4647)>=1) & (tk(P71)>=1) & (tk(P4419)>=1)))) )))))
PROPERTY: Sudoku-PT-AN16-CTLFireability-01 ( (EX( ( (EX( ((potential((tk(P4808)>=1) & (tk(P40)>=1) & (tk(P4397)>=1)))))) | (AX( ((potential((tk(P4682)>=1) & (tk(P106)>=1) & (tk(P4453)>=1)))))) ))) | (EG( (AX( ((potential((tk(P4761)>=1) & (tk(P233)>=1) & (tk(P4586)>=1)))))))) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-02 ( (EG( ((potential((tk(P4701)>=1) & (tk(P61)>=1) & (tk(P4406)>=1)))))) | (EG( (AF( ((potential((tk(P4802)>=1) & (tk(P146)>=1) & (tk(P4509)>=1)))))))) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-03 (AG( (! (AX( ( ((potential((tk(P4860)>=1) & (tk(P28)>=1) & (tk(P4384)>=1)))) & ((potential((tk(P4694)>=1) & (tk(P22)>=1) & (tk(P4374)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN16-CTLFireability-04 (EU( (! (EG( ((potential((tk(P4622)>=1) & (tk(P46)>=1) & (tk(P4385)>=1))))))) , (! ( ( ((potential((tk(P4752)>=1) & (tk(P80)>=1) & (tk(P4425)>=1)))) | ((potential((tk(P4619)>=1) & (tk(P171)>=1) & (tk(P4513)>=1)))) ) & ( ((potential((tk(P4824)>=1) & (tk(P8)>=1) & (tk(P4366)>=1)))) & ((potential((tk(P4780)>=1) & (tk(P204)>=1) & (tk(P4555)>=1)))) ) )) ))
PROPERTY: Sudoku-PT-AN16-CTLFireability-05 ( ( ( (EU( ((potential((tk(P4643)>=1) & (tk(P35)>=1) & (tk(P4387)>=1)))) , ((potential((tk(P4691)>=1) & (tk(P99)>=1) & (tk(P4454)>=1)))) )) | ((potential((tk(P4696)>=1) & (tk(P248)>=1) & (tk(P4598)>=1)))) ) & ( ( (AF( ((potential((tk(P4779)>=1) & (tk(P11)>=1) & (tk(P4363)>=1)))))) & (EG( ((potential((tk(P4657)>=1) & (tk(P161)>=1) & (tk(P4516)>=1)))))) ) | (! ( ( ((potential((tk(P4796)>=1) & (tk(P156)>=1) & (tk(P4508)>=1)))) & ((potential((tk(P4685)>=1) & (tk(P237)>=1) & (tk(P4581)>=1)))) ) | ( ((potential((tk(P4809)>=1) & (tk(P201)>=1) & (tk(P4557)>=1)))) & ((potential((tk(P4719)>=1) & (tk(P207)>=1) & (tk(P4551)>=1)))) ) )) ) ) & ((potential((tk(P4767)>=1) & (tk(P175)>=1) & (tk(P4522)>=1)))) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-06 (! ( (! ( (AX( ((potential((tk(P4694)>=1) & (tk(P246)>=1) & (tk(P4598)>=1)))))) | ( ((potential((tk(P4713)>=1) & (tk(P105)>=1) & (tk(P4455)>=1)))) | (! ((potential((tk(P4816)>=1) & (tk(P208)>=1) & (tk(P4557)>=1))))) ) )) | (AX( ( ( ((potential((tk(P4797)>=1) & (tk(P77)>=1) & (tk(P4428)>=1)))) | ((potential((tk(P4702)>=1) & (tk(P190)>=1) & (tk(P4534)>=1)))) ) | (! ((potential((tk(P4840)>=1) & (tk(P88)>=1) & (tk(P4447)>=1))))) ))) ))
PROPERTY: Sudoku-PT-AN16-CTLFireability-07 (EU( ( (AF( ((potential((tk(P4828)>=1) & (tk(P12)>=1) & (tk(P4366)>=1)))))) | (! ((potential((tk(P4790)>=1) & (tk(P150)>=1) & (tk(P4508)>=1))))) ) , (AG( (! ((potential((tk(P4668)>=1) & (tk(P172)>=1) & (tk(P4516)>=1))))))) ))
PROPERTY: Sudoku-PT-AN16-CTLFireability-08 ( ( ( ((potential((tk(P4654)>=1) & (tk(P142)>=1) & (tk(P4483)>=1)))) & (EU( ((potential((tk(P4730)>=1) & (tk(P74)>=1) & (tk(P4424)>=1)))) , ((potential((tk(P4756)>=1) & (tk(P244)>=1) & (tk(P4602)>=1)))) )) ) & (EG( ((potential((tk(P4834)>=1) & (tk(P178)>=1) & (tk(P4543)>=1)))))) ) | (AG( ( (! (! ((potential((tk(P4698)>=1) & (tk(P138)>=1) & (tk(P4486)>=1)))))) | ((potential((tk(P4672)>=1) & (tk(P16)>=1) & (tk(P4356)>=1)))) ))) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-09 (EG( (AU( ( ((potential((tk(P4813)>=1) & (tk(P77)>=1) & (tk(P4429)>=1)))) | ((potential((tk(P4718)>=1) & (tk(P158)>=1) & (tk(P4503)>=1)))) ) , ( ((potential((tk(P4730)>=1) & (tk(P186)>=1) & (tk(P4536)>=1)))) | ((potential((tk(P4711)>=1) & (tk(P87)>=1) & (tk(P4439)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN16-CTLFireability-10 ( (AG( (! (AG( ((potential((tk(P4826)>=1) & (tk(P74)>=1) & (tk(P4430)>=1))))))))) | (! ( ((potential((tk(P4706)>=1) & (tk(P82)>=1) & (tk(P4439)>=1)))) & (EU( ((potential((tk(P4719)>=1) & (tk(P79)>=1) & (tk(P4423)>=1)))) , ((potential((tk(P4676)>=1) & (tk(P244)>=1) & (tk(P4597)>=1)))) )) )) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-11 (AF( ( (! ( ( ((potential((tk(P4792)>=1) & (tk(P88)>=1) & (tk(P4444)>=1)))) | ((potential((tk(P4769)>=1) & (tk(P1)>=1) & (tk(P4363)>=1)))) ) & ((potential((tk(P4834)>=1) & (tk(P18)>=1) & (tk(P4383)>=1)))) )) & (EF( ( ((potential((tk(P4618)>=1) & (tk(P106)>=1) & (tk(P4449)>=1)))) | ((potential((tk(P4815)>=1) & (tk(P31)>=1) & (tk(P4381)>=1)))) ))) )))
PROPERTY: Sudoku-PT-AN16-CTLFireability-12 ( (EF( (! (AX( ((potential((tk(P4790)>=1) & (tk(P150)>=1) & (tk(P4508)>=1))))))))) & ( (AX( (EX( ((potential((tk(P4779)>=1) & (tk(P187)>=1) & (tk(P4539)>=1)))))))) & ( (EX( ((potential((tk(P4679)>=1) & (tk(P199)>=1) & (tk(P4549)>=1)))))) & ( ((potential((tk(P4808)>=1) & (tk(P152)>=1) & (tk(P4509)>=1)))) | (! ((potential((tk(P4835)>=1) & (tk(P243)>=1) & (tk(P4607)>=1))))) ) ) ) )
PROPERTY: Sudoku-PT-AN16-CTLFireability-13 (! (EX( (AG( ((potential((tk(P4794)>=1) & (tk(P58)>=1) & (tk(P4412)>=1)))))))))
PROPERTY: Sudoku-PT-AN16-CTLFireability-14 (AG( ( ( ((potential((tk(P4648)>=1) & (tk(P152)>=1) & (tk(P4499)>=1)))) | (! (! ((potential((tk(P4634)>=1) & (tk(P170)>=1) & (tk(P4514)>=1)))))) ) | (! ((potential((tk(P4706)>=1) & (tk(P98)>=1) & (tk(P4455)>=1))))) )))
PROPERTY: Sudoku-PT-AN16-CTLFireability-15 (EG( (! (! (AF( ((potential((tk(P4726)>=1) & (tk(P198)>=1) & (tk(P4552)>=1))))))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN16"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN16, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538800436"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;