Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953300712.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBNT-COL-S10J80, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 9.1K Feb 26 01:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 01:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 00:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 00:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 03:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 03:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 26 02:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 95K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679535566722

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S10J80
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 01:39:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 01:39:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 01:39:28] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-23 01:39:28] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 01:39:28] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 555 ms
[2023-03-23 01:39:28] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 1694 PT places and 13742.0 transition bindings in 20 ms.
[2023-03-23 01:39:29] [INFO ] Unfolded HLPN to a Petri net with 1694 places and 13580 transitions 119919 arcs in 202 ms.
[2023-03-23 01:39:29] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 01:39:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1694 places, 13580 transitions and 119919 arcs took 166 ms.
Total runtime 1050 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J80
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1694 places, 13580 transitions, 119919 arcs.
AT ITER 0 NEW BEST:: SOT 21081571 SOS 2814503 HAS SOPS 2814425 HAS SOUS 1199511 HAS SOUPS 1199433 WITH SCORE 1202247.503
AT ITER 4 NEW BEST:: SOT 21081571 SOS 2813883 HAS SOPS 2813805 HAS SOUS 1199497 HAS SOUPS 1199419 WITH SCORE 1202232.883
AT ITER 5 NEW BEST:: SOT 21081571 SOS 2813790 HAS SOPS 2813712 HAS SOUS 1199491 HAS SOUPS 1199413 WITH SCORE 1202226.79
AT ITER 8 NEW BEST:: SOT 21081354 SOS 2813790 HAS SOPS 2813712 HAS SOUS 1199478 HAS SOUPS 1199400 WITH SCORE 1202213.79
AT ITER 14 NEW BEST:: SOT 21081211 SOS 2813790 HAS SOPS 2813712 HAS SOUS 1199444 HAS SOUPS 1199366 WITH SCORE 1202179.79
AT ITER 24 NEW BEST:: SOT 21053500 SOS 4580209 HAS SOPS 4580131 HAS SOUS 1185180 HAS SOUPS 1185102 WITH SCORE 1189682.209
AT ITER 30 NEW BEST:: SOT 21052948 SOS 4579471 HAS SOPS 4579393 HAS SOUS 1184590 HAS SOUPS 1184512 WITH SCORE 1189091.471
AT ITER 39 NEW BEST:: SOT 21052948 SOS 4579340 HAS SOPS 4579262 HAS SOUS 1184302 HAS SOUPS 1184224 WITH SCORE 1188803.34
AT ITER 44 NEW BEST:: SOT 21052402 SOS 4578794 HAS SOPS 4578716 HAS SOUS 1183693 HAS SOUPS 1183615 WITH SCORE 1188193.794
AT ITER 57 NEW BEST:: SOT 21052348 SOS 4578740 HAS SOPS 4578662 HAS SOUS 1183585 HAS SOUPS 1183507 WITH SCORE 1188085.74
AT ITER 59 NEW BEST:: SOT 21052348 SOS 4578631 HAS SOPS 4578553 HAS SOUS 1183423 HAS SOUPS 1183345 WITH SCORE 1187923.631
AT ITER 62 NEW BEST:: SOT 21051944 SOS 4578269 HAS SOPS 4578191 HAS SOUS 1183145 HAS SOUPS 1183067 WITH SCORE 1187645.269
AT ITER 78 NEW BEST:: SOT 21051413 SOS 4576928 HAS SOPS 4576850 HAS SOUS 1182560 HAS SOUPS 1182482 WITH SCORE 1187058.928
AT ITER 82 NEW BEST:: SOT 21051413 SOS 4576848 HAS SOPS 4576770 HAS SOUS 1182322 HAS SOUPS 1182244 WITH SCORE 1186820.848
AT ITER 83 NEW BEST:: SOT 21050259 SOS 4575922 HAS SOPS 4575844 HAS SOUS 1181394 HAS SOUPS 1181316 WITH SCORE 1185891.922
AT ITER 90 NEW BEST:: SOT 21050259 SOS 4575282 HAS SOPS 4575204 HAS SOUS 1181330 HAS SOUPS 1181252 WITH SCORE 1185827.282
AT ITER 100 NEW BEST:: SOT 21049725 SOS 4574532 HAS SOPS 4574454 HAS SOUS 1180740 HAS SOUPS 1180662 WITH SCORE 1185236.532
AT ITER 162 NEW BEST:: SOT 21049725 SOS 4574353 HAS SOPS 4574275 HAS SOUS 1180346 HAS SOUPS 1180268 WITH SCORE 1184842.353
AT ITER 189 NEW BEST:: SOT 21049725 SOS 4574147 HAS SOPS 4574069 HAS SOUS 1179916 HAS SOUPS 1179838 WITH SCORE 1184412.147
AT ITER 196 NEW BEST:: SOT 21049749 SOS 4574087 HAS SOPS 4574009 HAS SOUS 1179802 HAS SOUPS 1179724 WITH SCORE 1184298.087
AT ITER 197 NEW BEST:: SOT 21049749 SOS 4573841 HAS SOPS 4573763 HAS SOUS 1179340 HAS SOUPS 1179262 WITH SCORE 1183835.841
AT ITER 216 NEW BEST:: SOT 21049749 SOS 4573699 HAS SOPS 4573621 HAS SOUS 1178991 HAS SOUPS 1178913 WITH SCORE 1183486.699
AT ITER 231 NEW BEST:: SOT 21048891 SOS 4572031 HAS SOPS 4571953 HAS SOUS 1177997 HAS SOUPS 1177919 WITH SCORE 1182491.031
AT ITER 281 NEW BEST:: SOT 21048834 SOS 4572031 HAS SOPS 4571953 HAS SOUS 1177989 HAS SOUPS 1177911 WITH SCORE 1182483.031
AT ITER 315 NEW BEST:: SOT 21057436 SOS 3838363 HAS SOPS 3838285 HAS SOUS 1178676 HAS SOUPS 1178598 WITH SCORE 1182436.363
AT ITER 318 NEW BEST:: SOT 21057240 SOS 3838363 HAS SOPS 3838285 HAS SOUS 1178480 HAS SOUPS 1178402 WITH SCORE 1182240.363
AT ITER 324 NEW BEST:: SOT 21057240 SOS 3838185 HAS SOPS 3838107 HAS SOUS 1178076 HAS SOUPS 1177998 WITH SCORE 1181836.185
AT ITER 327 NEW BEST:: SOT 21057240 SOS 3837941 HAS SOPS 3837863 HAS SOUS 1177600 HAS SOUPS 1177522 WITH SCORE 1181359.941
AT ITER 328 NEW BEST:: SOT 21056100 SOS 3837053 HAS SOPS 3836975 HAS SOUS 1176792 HAS SOUPS 1176714 WITH SCORE 1180551.053
AT ITER 362 NEW BEST:: SOT 21055661 SOS 3836633 HAS SOPS 3836555 HAS SOUS 1176306 HAS SOUPS 1176228 WITH SCORE 1180064.633
AT ITER 365 NEW BEST:: SOT 21054811 SOS 3835323 HAS SOPS 3835245 HAS SOUS 1175123 HAS SOUPS 1175045 WITH SCORE 1178880.323
AT ITER 369 NEW BEST:: SOT 21054811 SOS 3835095 HAS SOPS 3835017 HAS SOUS 1174735 HAS SOUPS 1174657 WITH SCORE 1178492.095
AT ITER 374 NEW BEST:: SOT 21054811 SOS 3835095 HAS SOPS 3835017 HAS SOUS 1174725 HAS SOUPS 1174647 WITH SCORE 1178482.095
AT ITER 391 NEW BEST:: SOT 21054751 SOS 3835035 HAS SOPS 3834957 HAS SOUS 1174605 HAS SOUPS 1174527 WITH SCORE 1178362.035
AT ITER 396 NEW BEST:: SOT 21054240 SOS 3834623 HAS SOPS 3834545 HAS SOUS 1174358 HAS SOUPS 1174280 WITH SCORE 1178114.623
AT ITER 423 NEW BEST:: SOT 21053923 SOS 3834358 HAS SOPS 3834280 HAS SOUS 1173619 HAS SOUPS 1173541 WITH SCORE 1177375.358
AT ITER 433 NEW BEST:: SOT 21053806 SOS 3834077 HAS SOPS 3833999 HAS SOUS 1173547 HAS SOUPS 1173469 WITH SCORE 1177303.077
AT ITER 451 NEW BEST:: SOT 21053488 SOS 3833759 HAS SOPS 3833681 HAS SOUS 1173172 HAS SOUPS 1173094 WITH SCORE 1176927.759
AT ITER 461 NEW BEST:: SOT 21053432 SOS 3833703 HAS SOPS 3833625 HAS SOUS 1173060 HAS SOUPS 1172982 WITH SCORE 1176815.703
AT ITER 464 NEW BEST:: SOT 21053215 SOS 3833921 HAS SOPS 3833843 HAS SOUS 1172831 HAS SOUPS 1172753 WITH SCORE 1176586.921
AT ITER 472 NEW BEST:: SOT 21052531 SOS 3833276 HAS SOPS 3833198 HAS SOUS 1172069 HAS SOUPS 1171991 WITH SCORE 1175824.276
AT ITER 484 NEW BEST:: SOT 21052619 SOS 3833240 HAS SOPS 3833162 HAS SOUS 1171922 HAS SOUPS 1171844 WITH SCORE 1175677.24
AT ITER 490 NEW BEST:: SOT 21052425 SOS 3832236 HAS SOPS 3832158 HAS SOUS 1171517 HAS SOUPS 1171439 WITH SCORE 1175271.236
AT ITER 493 NEW BEST:: SOT 21052104 SOS 3831915 HAS SOPS 3831837 HAS SOUS 1171235 HAS SOUPS 1171157 WITH SCORE 1174988.915
AT ITER 498 NEW BEST:: SOT 21051982 SOS 3831915 HAS SOPS 3831837 HAS SOUS 1171113 HAS SOUPS 1171035 WITH SCORE 1174866.915
AT ITER 507 NEW BEST:: SOT 21051370 SOS 3831303 HAS SOPS 3831225 HAS SOUS 1170526 HAS SOUPS 1170448 WITH SCORE 1174279.303
AT ITER 509 NEW BEST:: SOT 21051207 SOS 3829510 HAS SOPS 3829432 HAS SOUS 1170039 HAS SOUPS 1169961 WITH SCORE 1173790.51
AT ITER 511 NEW BEST:: SOT 21051207 SOS 3829396 HAS SOPS 3829318 HAS SOUS 1169846 HAS SOUPS 1169768 WITH SCORE 1173597.396
AT ITER 519 NEW BEST:: SOT 21051207 SOS 3829396 HAS SOPS 3829318 HAS SOUS 1169840 HAS SOUPS 1169762 WITH SCORE 1173591.396
AT ITER 522 NEW BEST:: SOT 21051207 SOS 3829106 HAS SOPS 3829028 HAS SOUS 1169811 HAS SOUPS 1169733 WITH SCORE 1173562.106
AT ITER 523 NEW BEST:: SOT 21050003 SOS 3828174 HAS SOPS 3828096 HAS SOUS 1168684 HAS SOUPS 1168606 WITH SCORE 1172434.174
AT ITER 530 NEW BEST:: SOT 21028650 SOS 4680121 HAS SOPS 4680043 HAS SOUS 1156110 HAS SOUPS 1156032 WITH SCORE 1160712.121
AT ITER 531 NEW BEST:: SOT 21028586 SOS 4680057 HAS SOPS 4679979 HAS SOUS 1156104 HAS SOUPS 1156026 WITH SCORE 1160706.057
AT ITER 548 NEW BEST:: SOT 21028598 SOS 4679909 HAS SOPS 4679831 HAS SOUS 1155966 HAS SOUPS 1155888 WITH SCORE 1160567.909
AT ITER 567 NEW BEST:: SOT 21028533 SOS 4679844 HAS SOPS 4679766 HAS SOUS 1155836 HAS SOUPS 1155758 WITH SCORE 1160437.844
AT ITER 570 NEW BEST:: SOT 21028533 SOS 4679689 HAS SOPS 4679611 HAS SOUS 1155606 HAS SOUPS 1155528 WITH SCORE 1160207.689
AT ITER 572 NEW BEST:: SOT 21027742 SOS 4679211 HAS SOPS 4679133 HAS SOUS 1155413 HAS SOUPS 1155335 WITH SCORE 1160014.211
AT ITER 577 NEW BEST:: SOT 21027519 SOS 4678178 HAS SOPS 4678100 HAS SOUS 1155070 HAS SOUPS 1154992 WITH SCORE 1159670.178
AT ITER 582 NEW BEST:: SOT 21027519 SOS 4678051 HAS SOPS 4677973 HAS SOUS 1154741 HAS SOUPS 1154663 WITH SCORE 1159341.051
AT ITER 607 NEW BEST:: SOT 21027519 SOS 4678051 HAS SOPS 4677973 HAS SOUS 1154706 HAS SOUPS 1154628 WITH SCORE 1159306.051
AT ITER 609 NEW BEST:: SOT 21027362 SOS 4678051 HAS SOPS 4677973 HAS SOUS 1154549 HAS SOUPS 1154471 WITH SCORE 1159149.051
AT ITER 612 NEW BEST:: SOT 21027362 SOS 4678051 HAS SOPS 4677973 HAS SOUS 1154519 HAS SOUPS 1154441 WITH SCORE 1159119.051
AT ITER 616 NEW BEST:: SOT 21027362 SOS 4677331 HAS SOPS 4677253 HAS SOUS 1154422 HAS SOUPS 1154344 WITH SCORE 1159021.331
AT ITER 632 NEW BEST:: SOT 21026838 SOS 4676908 HAS SOPS 4676830 HAS SOUS 1154017 HAS SOUPS 1153939 WITH SCORE 1158615.908
AT ITER 644 NEW BEST:: SOT 21026819 SOS 4676889 HAS SOPS 4676811 HAS SOUS 1154017 HAS SOUPS 1153939 WITH SCORE 1158615.889
AT ITER 645 NEW BEST:: SOT 21025690 SOS 4675979 HAS SOPS 4675901 HAS SOUS 1152768 HAS SOUPS 1152690 WITH SCORE 1157365.979
AT ITER 657 NEW BEST:: SOT 21025555 SOS 4675034 HAS SOPS 4674956 HAS SOUS 1152417 HAS SOUPS 1152339 WITH SCORE 1157014.034
AT ITER 661 NEW BEST:: SOT 21025555 SOS 4675034 HAS SOPS 4674956 HAS SOUS 1152395 HAS SOUPS 1152317 WITH SCORE 1156992.034
AT ITER 713 NEW BEST:: SOT 21024589 SOS 4674183 HAS SOPS 4674105 HAS SOUS 1151518 HAS SOUPS 1151440 WITH SCORE 1156114.183
AT ITER 732 NEW BEST:: SOT 21024490 SOS 4674183 HAS SOPS 4674105 HAS SOUS 1151419 HAS SOUPS 1151341 WITH SCORE 1156015.183
AT ITER 744 NEW BEST:: SOT 21024422 SOS 4675401 HAS SOPS 4675323 HAS SOUS 1151245 HAS SOUPS 1151167 WITH SCORE 1155842.401
AT ITER 758 NEW BEST:: SOT 21024422 SOS 4675343 HAS SOPS 4675265 HAS SOUS 1151071 HAS SOUPS 1150993 WITH SCORE 1155668.343
AT ITER 773 NEW BEST:: SOT 21024422 SOS 4675203 HAS SOPS 4675125 HAS SOUS 1150858 HAS SOUPS 1150780 WITH SCORE 1155455.203
AT ITER 790 NEW BEST:: SOT 21024422 SOS 4674843 HAS SOPS 4674765 HAS SOUS 1150822 HAS SOUPS 1150744 WITH SCORE 1155418.843
AT ITER 799 NEW BEST:: SOT 21024108 SOS 4674539 HAS SOPS 4674461 HAS SOUS 1150508 HAS SOUPS 1150430 WITH SCORE 1155104.539
AT ITER 804 NEW BEST:: SOT 21023162 SOS 4673803 HAS SOPS 4673725 HAS SOUS 1149639 HAS SOUPS 1149561 WITH SCORE 1154234.803
AT ITER 829 NEW BEST:: SOT 21022466 SOS 4673107 HAS SOPS 4673029 HAS SOUS 1148812 HAS SOUPS 1148734 WITH SCORE 1153407.107
AT ITER 863 NEW BEST:: SOT 21022536 SOS 4679552 HAS SOPS 4679474 HAS SOUS 1148758 HAS SOUPS 1148680 WITH SCORE 1153359.552
AT ITER 871 NEW BEST:: SOT 21022518 SOS 4679534 HAS SOPS 4679456 HAS SOUS 1148722 HAS SOUPS 1148644 WITH SCORE 1153323.534
AT ITER 872 NEW BEST:: SOT 21022074 SOS 4679169 HAS SOPS 4679091 HAS SOUS 1148377 HAS SOUPS 1148299 WITH SCORE 1152978.169
AT ITER 888 NEW BEST:: SOT 21019292 SOS 4742674 HAS SOPS 4742596 HAS SOUS 1147200 HAS SOUPS 1147122 WITH SCORE 1151864.674
AT ITER 901 NEW BEST:: SOT 21019067 SOS 4742674 HAS SOPS 4742596 HAS SOUS 1146891 HAS SOUPS 1146813 WITH SCORE 1151555.674
AT ITER 905 NEW BEST:: SOT 21018852 SOS 4742674 HAS SOPS 4742596 HAS SOUS 1146602 HAS SOUPS 1146524 WITH SCORE 1151266.674
AT ITER 907 NEW BEST:: SOT 21015141 SOS 4819803 HAS SOPS 4819725 HAS SOUS 1143973 HAS SOUPS 1143895 WITH SCORE 1148714.803
AT ITER 931 NEW BEST:: SOT 21015141 SOS 4819759 HAS SOPS 4819681 HAS SOUS 1143841 HAS SOUPS 1143763 WITH SCORE 1148582.759
AT ITER 937 NEW BEST:: SOT 21014868 SOS 4819488 HAS SOPS 4819410 HAS SOUS 1143240 HAS SOUPS 1143162 WITH SCORE 1147981.488
AT ITER 942 NEW BEST:: SOT 21014868 SOS 4819210 HAS SOPS 4819132 HAS SOUS 1142911 HAS SOUPS 1142833 WITH SCORE 1147652.21
AT ITER 954 NEW BEST:: SOT 21014868 SOS 4819210 HAS SOPS 4819132 HAS SOUS 1142910 HAS SOUPS 1142832 WITH SCORE 1147651.21
AT ITER 957 NEW BEST:: SOT 21014801 SOS 4819210 HAS SOPS 4819132 HAS SOUS 1142843 HAS SOUPS 1142765 WITH SCORE 1147584.21
AT ITER 967 NEW BEST:: SOT 21014683 SOS 4819092 HAS SOPS 4819014 HAS SOUS 1142824 HAS SOUPS 1142746 WITH SCORE 1147565.092
AT ITER 971 NEW BEST:: SOT 21014666 SOS 4819075 HAS SOPS 4818997 HAS SOUS 1142808 HAS SOUPS 1142730 WITH SCORE 1147549.075
AT ITER 976 NEW BEST:: SOT 21014624 SOS 4819299 HAS SOPS 4819221 HAS SOUS 1142576 HAS SOUPS 1142498 WITH SCORE 1147317.299
AT ITER 977 NEW BEST:: SOT 21014429 SOS 4819104 HAS SOPS 4819026 HAS SOUS 1142381 HAS SOUPS 1142303 WITH SCORE 1147122.104
AT ITER 995 NEW BEST:: SOT 21014081 SOS 4818756 HAS SOPS 4818678 HAS SOUS 1141935 HAS SOUPS 1141857 WITH SCORE 1146675.756
AT ITER 1000 NEW BEST:: SOT 21014028 SOS 4820675 HAS SOPS 4820597 HAS SOUS 1141852 HAS SOUPS 1141774 WITH SCORE 1146594.675
AT ITER 1003 NEW BEST:: SOT 21014115 SOS 4820606 HAS SOPS 4820528 HAS SOUS 1141560 HAS SOUPS 1141482 WITH SCORE 1146302.606
AT ITER 1025 NEW BEST:: SOT 21013699 SOS 4820190 HAS SOPS 4820112 HAS SOUS 1141315 HAS SOUPS 1141237 WITH SCORE 1146057.19
AT ITER 1027 NEW BEST:: SOT 21013539 SOS 4820190 HAS SOPS 4820112 HAS SOUS 1141155 HAS SOUPS 1141077 WITH SCORE 1145897.19
AT ITER 1031 NEW BEST:: SOT 21013539 SOS 4820190 HAS SOPS 4820112 HAS SOUS 1141153 HAS SOUPS 1141075 WITH SCORE 1145895.19
AT ITER 1043 NEW BEST:: SOT 21013464 SOS 4819865 HAS SOPS 4819787 HAS SOUS 1141028 HAS SOUPS 1140950 WITH SCORE 1145769.865
AT ITER 1052 NEW BEST:: SOT 21012921 SOS 4819406 HAS SOPS 4819328 HAS SOUS 1140285 HAS SOUPS 1140207 WITH SCORE 1145026.406
AT ITER 1055 NEW BEST:: SOT 21013162 SOS 4819635 HAS SOPS 4819557 HAS SOUS 1140151 HAS SOUPS 1140073 WITH SCORE 1144892.635
AT ITER 1062 NEW BEST:: SOT 21012974 SOS 4819447 HAS SOPS 4819369 HAS SOUS 1140137 HAS SOUPS 1140059 WITH SCORE 1144878.447
AT ITER 1066 NEW BEST:: SOT 21012796 SOS 4819447 HAS SOPS 4819369 HAS SOUS 1139799 HAS SOUPS 1139721 WITH SCORE 1144540.447
AT ITER 1072 NEW BEST:: SOT 21012716 SOS 4821433 HAS SOPS 4821355 HAS SOUS 1139673 HAS SOUPS 1139595 WITH SCORE 1144416.433
AT ITER 1085 NEW BEST:: SOT 20963963 SOS 4773282 HAS SOPS 4772602 HAS SOUS 1091510 HAS SOUPS 1090830 WITH SCORE 1095603.282
AT ITER 1088 NEW BEST:: SOT 20963963 SOS 4772762 HAS SOPS 4772082 HAS SOUS 1091458 HAS SOUPS 1090778 WITH SCORE 1095550.762
AT ITER 1090 NEW BEST:: SOT 20963963 SOS 4772575 HAS SOPS 4771895 HAS SOUS 1091062 HAS SOUPS 1090382 WITH SCORE 1095154.575
AT ITER 1095 NEW BEST:: SOT 20963224 SOS 4771639 HAS SOPS 4770959 HAS SOUS 1090261 HAS SOUPS 1089581 WITH SCORE 1094352.639
AT ITER 1115 NEW BEST:: SOT 20963059 SOS 4771474 HAS SOPS 4770794 HAS SOUS 1090249 HAS SOUPS 1089569 WITH SCORE 1094340.474
AT ITER 1125 NEW BEST:: SOT 20962049 SOS 4770818 HAS SOPS 4770138 HAS SOUS 1089717 HAS SOUPS 1089037 WITH SCORE 1093807.818
AT ITER 1130 NEW BEST:: SOT 20962049 SOS 4770561 HAS SOPS 4769881 HAS SOUS 1089369 HAS SOUPS 1088689 WITH SCORE 1093459.561
AT ITER 1143 NEW BEST:: SOT 20962049 SOS 4770561 HAS SOPS 4769881 HAS SOUS 1089365 HAS SOUPS 1088685 WITH SCORE 1093455.561
AT ITER 1149 NEW BEST:: SOT 20961913 SOS 4770425 HAS SOPS 4769745 HAS SOUS 1089351 HAS SOUPS 1088671 WITH SCORE 1093441.425
AT ITER 1150 NEW BEST:: SOT 20961790 SOS 4770425 HAS SOPS 4769745 HAS SOUS 1089228 HAS SOUPS 1088548 WITH SCORE 1093318.425
AT ITER 1156 NEW BEST:: SOT 20961790 SOS 4769005 HAS SOPS 4768325 HAS SOUS 1089076 HAS SOUPS 1088396 WITH SCORE 1093165.005
AT ITER 1166 NEW BEST:: SOT 20932176 SOS 6184919 HAS SOPS 6184239 HAS SOUS 1082082 HAS SOUPS 1081402 WITH SCORE 1087586.919
AT ITER 1169 NEW BEST:: SOT 20931991 SOS 6183924 HAS SOPS 6183244 HAS SOUS 1081677 HAS SOUPS 1080997 WITH SCORE 1087180.924
AT ITER 1172 NEW BEST:: SOT 20931991 SOS 6183775 HAS SOPS 6183095 HAS SOUS 1081451 HAS SOUPS 1080771 WITH SCORE 1086954.775
AT ITER 1177 NEW BEST:: SOT 20931703 SOS 6183487 HAS SOPS 6182807 HAS SOUS 1081437 HAS SOUPS 1080757 WITH SCORE 1086940.487
AT ITER 1180 NEW BEST:: SOT 20931700 SOS 6183484 HAS SOPS 6182804 HAS SOUS 1081434 HAS SOUPS 1080754 WITH SCORE 1086937.484
AT ITER 1181 NEW BEST:: SOT 20931700 SOS 6183484 HAS SOPS 6182804 HAS SOUS 1081431 HAS SOUPS 1080751 WITH SCORE 1086934.484
AT ITER 1183 NEW BEST:: SOT 20931656 SOS 6183293 HAS SOPS 6182613 HAS SOUS 1081049 HAS SOUPS 1080369 WITH SCORE 1086552.293
AT ITER 1188 NEW BEST:: SOT 20931557 SOS 6183194 HAS SOPS 6182584 HAS SOUS 1080938 HAS SOUPS 1080328 WITH SCORE 1086511.194
AT ITER 1189 NEW BEST:: SOT 20931428 SOS 6183065 HAS SOPS 6182455 HAS SOUS 1080753 HAS SOUPS 1080143 WITH SCORE 1086326.065
AT ITER 1200 NEW BEST:: SOT 20930548 SOS 6182304 HAS SOPS 6181694 HAS SOUS 1079694 HAS SOUPS 1079084 WITH SCORE 1085266.304
AT ITER 1201 NEW BEST:: SOT 20930005 SOS 6181761 HAS SOPS 6181151 HAS SOUS 1078630 HAS SOUPS 1078020 WITH SCORE 1084201.761
AT ITER 1207 NEW BEST:: SOT 20929916 SOS 6181672 HAS SOPS 6181062 HAS SOUS 1078452 HAS SOUPS 1077842 WITH SCORE 1084023.672
AT ITER 1211 NEW BEST:: SOT 20929863 SOS 6181619 HAS SOPS 6181009 HAS SOUS 1078399 HAS SOUPS 1077789 WITH SCORE 1083970.619
AT ITER 1221 NEW BEST:: SOT 20929863 SOS 6181551 HAS SOPS 6180941 HAS SOUS 1078263 HAS SOUPS 1077653 WITH SCORE 1083834.551
AT ITER 1242 NEW BEST:: SOT 20929863 SOS 6181281 HAS SOPS 6180671 HAS SOUS 1077940 HAS SOUPS 1077330 WITH SCORE 1083511.281
AT ITER 1246 NEW BEST:: SOT 20929646 SOS 6181064 HAS SOPS 6180454 HAS SOUS 1077524 HAS SOUPS 1076914 WITH SCORE 1083095.064
AT ITER 1250 NEW BEST:: SOT 20929355 SOS 6180273 HAS SOPS 6179663 HAS SOUS 1077115 HAS SOUPS 1076505 WITH SCORE 1082685.273
AT ITER 1263 NEW BEST:: SOT 20929169 SOS 6180087 HAS SOPS 6179477 HAS SOUS 1076929 HAS SOUPS 1076319 WITH SCORE 1082499.087
AT ITER 1273 NEW BEST:: SOT 20928953 SOS 6179871 HAS SOPS 6179261 HAS SOUS 1076713 HAS SOUPS 1076103 WITH SCORE 1082282.871
AT ITER 1286 NEW BEST:: SOT 20928916 SOS 6180249 HAS SOPS 6179639 HAS SOUS 1076681 HAS SOUPS 1076071 WITH SCORE 1082251.249
AT ITER 1313 NEW BEST:: SOT 20928868 SOS 6180201 HAS SOPS 6179591 HAS SOUS 1076585 HAS SOUPS 1075975 WITH SCORE 1082155.201
AT ITER 1329 NEW BEST:: SOT 20928868 SOS 6182771 HAS SOPS 6182161 HAS SOUS 1076350 HAS SOUPS 1075740 WITH SCORE 1081922.771
AT ITER 1347 NEW BEST:: SOT 20929508 SOS 6183411 HAS SOPS 6182801 HAS SOUS 1075876 HAS SOUPS 1075266 WITH SCORE 1081449.411
AT ITER 1349 NEW BEST:: SOT 20929430 SOS 6184631 HAS SOPS 6184021 HAS SOUS 1075684 HAS SOUPS 1075074 WITH SCORE 1081258.631
AT ITER 1354 NEW BEST:: SOT 20929430 SOS 6184622 HAS SOPS 6184012 HAS SOUS 1075522 HAS SOUPS 1074912 WITH SCORE 1081096.622
AT ITER 1370 NEW BEST:: SOT 20929551 SOS 6187818 HAS SOPS 6187208 HAS SOUS 1075373 HAS SOUPS 1074763 WITH SCORE 1080950.818
AT ITER 1371 NEW BEST:: SOT 20928788 SOS 6187454 HAS SOPS 6186844 HAS SOUS 1075135 HAS SOUPS 1074525 WITH SCORE 1080712.454
AT ITER 1379 NEW BEST:: SOT 20928087 SOS 6186818 HAS SOPS 6186208 HAS SOUS 1074715 HAS SOUPS 1074105 WITH SCORE 1080291.818
AT ITER 1392 NEW BEST:: SOT 20927895 SOS 6186818 HAS SOPS 6186208 HAS SOUS 1074331 HAS SOUPS 1073721 WITH SCORE 1079907.818
AT ITER 1406 NEW BEST:: SOT 20927876 SOS 6186799 HAS SOPS 6186189 HAS SOUS 1074299 HAS SOUPS 1073689 WITH SCORE 1079875.799
AT ITER 1408 NEW BEST:: SOT 20927811 SOS 6187025 HAS SOPS 6186415 HAS SOUS 1074169 HAS SOUPS 1073559 WITH SCORE 1079746.025
AT ITER 1413 NEW BEST:: SOT 20927570 SOS 6185974 HAS SOPS 6185364 HAS SOUS 1073847 HAS SOUPS 1073237 WITH SCORE 1079422.974
AT ITER 1427 NEW BEST:: SOT 20927570 SOS 6185960 HAS SOPS 6185350 HAS SOUS 1073847 HAS SOUPS 1073237 WITH SCORE 1079422.96
AT ITER 1433 NEW BEST:: SOT 20927120 SOS 6184470 HAS SOPS 6183860 HAS SOUS 1073143 HAS SOUPS 1072533 WITH SCORE 1078717.47
AT ITER 1440 NEW BEST:: SOT 20926261 SOS 6183778 HAS SOPS 6183168 HAS SOUS 1072314 HAS SOUPS 1071704 WITH SCORE 1077887.778
AT ITER 1460 NEW BEST:: SOT 20926273 SOS 6184180 HAS SOPS 6183570 HAS SOUS 1072176 HAS SOUPS 1071566 WITH SCORE 1077750.18
AT ITER 1478 NEW BEST:: SOT 20926253 SOS 6186253 HAS SOPS 6185643 HAS SOUS 1072167 HAS SOUPS 1071557 WITH SCORE 1077743.253
AT ITER 1479 NEW BEST:: SOT 20926253 SOS 6185453 HAS SOPS 6184843 HAS SOUS 1072087 HAS SOUPS 1071477 WITH SCORE 1077662.453
AT ITER 1480 NEW BEST:: SOT 20925689 SOS 6184889 HAS SOPS 6184279 HAS SOUS 1071532 HAS SOUPS 1070922 WITH SCORE 1077106.889
AT ITER 1492 NEW BEST:: SOT 20925928 SOS 6185349 HAS SOPS 6184739 HAS SOUS 1071524 HAS SOUPS 1070914 WITH SCORE 1077099.349
AT ITER 1517 NEW BEST:: SOT 20925924 SOS 6185345 HAS SOPS 6184735 HAS SOUS 1071521 HAS SOUPS 1070911 WITH SCORE 1077096.345
AT ITER 1519 NEW BEST:: SOT 20925924 SOS 6185345 HAS SOPS 6184735 HAS SOUS 1071518 HAS SOUPS 1070908 WITH SCORE 1077093.345
AT ITER 1520 NEW BEST:: SOT 20925764 SOS 6185185 HAS SOPS 6184575 HAS SOUS 1071358 HAS SOUPS 1070748 WITH SCORE 1076933.185
AT ITER 1528 NEW BEST:: SOT 20921990 SOS 6206953 HAS SOPS 6206343 HAS SOUS 1071240 HAS SOUPS 1070630 WITH SCORE 1076836.953
AT ITER 1541 NEW BEST:: SOT 20921990 SOS 6206953 HAS SOPS 6206343 HAS SOUS 1071133 HAS SOUPS 1070523 WITH SCORE 1076729.953
AT ITER 1550 NEW BEST:: SOT 20921960 SOS 6207044 HAS SOPS 6206353 HAS SOUS 1071213 HAS SOUPS 1070522 WITH SCORE 1076729.044
AT ITER 1558 NEW BEST:: SOT 20921972 SOS 6212842 HAS SOPS 6212151 HAS SOUS 1071078 HAS SOUPS 1070387 WITH SCORE 1076599.842
AT ITER 1575 NEW BEST:: SOT 20921339 SOS 6212087 HAS SOPS 6211396 HAS SOUS 1070499 HAS SOUPS 1069808 WITH SCORE 1076020.087
AT ITER 1577 NEW BEST:: SOT 20921203 SOS 6211951 HAS SOPS 6211260 HAS SOUS 1070227 HAS SOUPS 1069536 WITH SCORE 1075747.951
AT ITER 1580 NEW BEST:: SOT 20920680 SOS 6211475 HAS SOPS 6210784 HAS SOUS 1069697 HAS SOUPS 1069006 WITH SCORE 1075217.475
AT ITER 1626 NEW BEST:: SOT 20919459 SOS 6210561 HAS SOPS 6209870 HAS SOUS 1068576 HAS SOUPS 1067885 WITH SCORE 1074095.561
AT ITER 1630 NEW BEST:: SOT 20919458 SOS 6210560 HAS SOPS 6209869 HAS SOUS 1068574 HAS SOUPS 1067883 WITH SCORE 1074093.56
AT ITER 1634 NEW BEST:: SOT 20919438 SOS 6210540 HAS SOPS 6209849 HAS SOUS 1068546 HAS SOUPS 1067855 WITH SCORE 1074065.54
AT ITER 1637 NEW BEST:: SOT 20919438 SOS 6210836 HAS SOPS 6210145 HAS SOUS 1068377 HAS SOUPS 1067686 WITH SCORE 1073896.836
AT ITER 1638 NEW BEST:: SOT 20919152 SOS 6210550 HAS SOPS 6209859 HAS SOUS 1068371 HAS SOUPS 1067680 WITH SCORE 1073890.55
AT ITER 1641 NEW BEST:: SOT 20919152 SOS 6210550 HAS SOPS 6209859 HAS SOUS 1068348 HAS SOUPS 1067657 WITH SCORE 1073867.55
AT ITER 1667 NEW BEST:: SOT 20919208 SOS 6214445 HAS SOPS 6213754 HAS SOUS 1068259 HAS SOUPS 1067568 WITH SCORE 1073782.445
AT ITER 1674 NEW BEST:: SOT 20919186 SOS 6216055 HAS SOPS 6215364 HAS SOUS 1068204 HAS SOUPS 1067513 WITH SCORE 1073729.055
AT ITER 1692 NEW BEST:: SOT 20918913 SOS 6215782 HAS SOPS 6215091 HAS SOUS 1068200 HAS SOUPS 1067509 WITH SCORE 1073724.782
AT ITER 1706 NEW BEST:: SOT 20918881 SOS 6215750 HAS SOPS 6215059 HAS SOUS 1068154 HAS SOUPS 1067463 WITH SCORE 1073678.75
AT ITER 1707 NEW BEST:: SOT 20918727 SOS 6215750 HAS SOPS 6215059 HAS SOUS 1068000 HAS SOUPS 1067309 WITH SCORE 1073524.75
AT ITER 1732 NEW BEST:: SOT 20918658 SOS 6215750 HAS SOPS 6215059 HAS SOUS 1067931 HAS SOUPS 1067240 WITH SCORE 1073455.75
AT ITER 1737 NEW BEST:: SOT 20918658 SOS 6215750 HAS SOPS 6215059 HAS SOUS 1067859 HAS SOUPS 1067168 WITH SCORE 1073383.75
AT ITER 1739 NEW BEST:: SOT 20918652 SOS 6215744 HAS SOPS 6215053 HAS SOUS 1067853 HAS SOUPS 1067162 WITH SCORE 1073377.744
AT ITER 1745 NEW BEST:: SOT 20918146 SOS 6215347 HAS SOPS 6214656 HAS SOUS 1067566 HAS SOUPS 1066875 WITH SCORE 1073090.347
AT ITER 1748 NEW BEST:: SOT 20918146 SOS 6215202 HAS SOPS 6214511 HAS SOUS 1067262 HAS SOUPS 1066571 WITH SCORE 1072786.202
AT ITER 1756 NEW BEST:: SOT 20917978 SOS 6215034 HAS SOPS 6214343 HAS SOUS 1067135 HAS SOUPS 1066444 WITH SCORE 1072659.034
AT ITER 1764 NEW BEST:: SOT 20917919 SOS 6214975 HAS SOPS 6214284 HAS SOUS 1067076 HAS SOUPS 1066385 WITH SCORE 1072599.975
AT ITER 1773 NEW BEST:: SOT 20917634 SOS 6214975 HAS SOPS 6214284 HAS SOUS 1066566 HAS SOUPS 1065875 WITH SCORE 1072089.975
AT ITER 1784 NEW BEST:: SOT 20917516 SOS 6214857 HAS SOPS 6214166 HAS SOUS 1066566 HAS SOUPS 1065875 WITH SCORE 1072089.857
AT ITER 1805 NEW BEST:: SOT 20917530 SOS 6214872 HAS SOPS 6214181 HAS SOUS 1066432 HAS SOUPS 1065741 WITH SCORE 1071955.872
AT ITER 1807 NEW BEST:: SOT 20917497 SOS 6215097 HAS SOPS 6214406 HAS SOUS 1066399 HAS SOUPS 1065708 WITH SCORE 1071923.097
AT ITER 1821 NEW BEST:: SOT 20917338 SOS 6214938 HAS SOPS 6214247 HAS SOUS 1066282 HAS SOUPS 1065591 WITH SCORE 1071805.938
AT ITER 1824 NEW BEST:: SOT 20917149 SOS 6214749 HAS SOPS 6214058 HAS SOUS 1066093 HAS SOUPS 1065402 WITH SCORE 1071616.749
AT ITER 1827 NEW BEST:: SOT 20916728 SOS 6214545 HAS SOPS 6213854 HAS SOUS 1065282 HAS SOUPS 1064591 WITH SCORE 1070805.545
AT ITER 1855 NEW BEST:: SOT 20916728 SOS 6214545 HAS SOPS 6213854 HAS SOUS 1065278 HAS SOUPS 1064587 WITH SCORE 1070801.545
AT ITER 1857 NEW BEST:: SOT 20915864 SOS 6213805 HAS SOPS 6213114 HAS SOUS 1064530 HAS SOUPS 1063839 WITH SCORE 1070052.805
AT ITER 1870 NEW BEST:: SOT 20915840 SOS 6213541 HAS SOPS 6212850 HAS SOUS 1064482 HAS SOUPS 1063791 WITH SCORE 1070004.541
AT ITER 1872 NEW BEST:: SOT 20915767 SOS 6216399 HAS SOPS 6215708 HAS SOUS 1064448 HAS SOUPS 1063757 WITH SCORE 1069973.399
AT ITER 1873 NEW BEST:: SOT 20915767 SOS 6216399 HAS SOPS 6215708 HAS SOUS 1064398 HAS SOUPS 1063707 WITH SCORE 1069923.399
AT ITER 1878 NEW BEST:: SOT 20915669 SOS 6216399 HAS SOPS 6215708 HAS SOUS 1064300 HAS SOUPS 1063609 WITH SCORE 1069825.399
AT ITER 1892 NEW BEST:: SOT 20914501 SOS 6215290 HAS SOPS 6215154 HAS SOUS 1063181 HAS SOUPS 1063045 WITH SCORE 1069260.29
AT ITER 1897 NEW BEST:: SOT 20914609 SOS 6215345 HAS SOPS 6215209 HAS SOUS 1062936 HAS SOUPS 1062800 WITH SCORE 1069015.345
AT ITER 1910 NEW BEST:: SOT 20914609 SOS 6217047 HAS SOPS 6216911 HAS SOUS 1062855 HAS SOUPS 1062719 WITH SCORE 1068936.047
AT ITER 1913 NEW BEST:: SOT 20914575 SOS 6217013 HAS SOPS 6216877 HAS SOUS 1062787 HAS SOUPS 1062651 WITH SCORE 1068868.013
AT ITER 1929 NEW BEST:: SOT 20914575 SOS 6216366 HAS SOPS 6216230 HAS SOUS 1062708 HAS SOUPS 1062572 WITH SCORE 1068788.366
AT ITER 1935 NEW BEST:: SOT 20914503 SOS 6216294 HAS SOPS 6216158 HAS SOUS 1062636 HAS SOUPS 1062500 WITH SCORE 1068716.294
AT ITER 1942 NEW BEST:: SOT 20914447 SOS 6216296 HAS SOPS 6216160 HAS SOUS 1062552 HAS SOUPS 1062416 WITH SCORE 1068632.296
AT ITER 1988 NEW BEST:: SOT 20914060 SOS 6214741 HAS SOPS 6214605 HAS SOUS 1061648 HAS SOUPS 1061512 WITH SCORE 1067726.741
AT ITER 1996 NEW BEST:: SOT 20914060 SOS 6214441 HAS SOPS 6214305 HAS SOUS 1061618 HAS SOUPS 1061482 WITH SCORE 1067696.441
AT ITER 2000 NEW BEST:: SOT 20914277 SOS 6218422 HAS SOPS 6218286 HAS SOUS 1061155 HAS SOUPS 1061019 WITH SCORE 1067237.422
AT ITER 2011 NEW BEST:: SOT 20914247 SOS 6218392 HAS SOPS 6218256 HAS SOUS 1061095 HAS SOUPS 1060959 WITH SCORE 1067177.392
AT ITER 2015 NEW BEST:: SOT 20913787 SOS 6217932 HAS SOPS 6217796 HAS SOUS 1061081 HAS SOUPS 1060945 WITH SCORE 1067162.932
AT ITER 2066 NEW BEST:: SOT 20913689 SOS 6217024 HAS SOPS 6216888 HAS SOUS 1061000 HAS SOUPS 1060864 WITH SCORE 1067081.024
AT ITER 2073 NEW BEST:: SOT 20913571 SOS 6216906 HAS SOPS 6216770 HAS SOUS 1060882 HAS SOUPS 1060746 WITH SCORE 1066962.906
AT ITER 2095 NEW BEST:: SOT 20913393 SOS 6216728 HAS SOPS 6216592 HAS SOUS 1060875 HAS SOUPS 1060739 WITH SCORE 1066955.728
AT ITER 2096 NEW BEST:: SOT 20912724 SOS 6216156 HAS SOPS 6216020 HAS SOUS 1060694 HAS SOUPS 1060558 WITH SCORE 1066774.156
AT ITER 2099 NEW BEST:: SOT 20912724 SOS 6215996 HAS SOPS 6215860 HAS SOUS 1060694 HAS SOUPS 1060558 WITH SCORE 1066773.996
AT ITER 2100 NEW BEST:: SOT 20912686 SOS 6215996 HAS SOPS 6215860 HAS SOUS 1060656 HAS SOUPS 1060520 WITH SCORE 1066735.996
AT ITER 2162 NEW BEST:: SOT 20912595 SOS 6216054 HAS SOPS 6215918 HAS SOUS 1060594 HAS SOUPS 1060458 WITH SCORE 1066674.054
AT ITER 2169 NEW BEST:: SOT 20912312 SOS 6215849 HAS SOPS 6215713 HAS SOUS 1060110 HAS SOUPS 1059974 WITH SCORE 1066189.849
AT ITER 2173 NEW BEST:: SOT 20912200 SOS 6214637 HAS SOPS 6214501 HAS SOUS 1059776 HAS SOUPS 1059640 WITH SCORE 1065854.637
AT ITER 2176 NEW BEST:: SOT 20912095 SOS 6214532 HAS SOPS 6214396 HAS SOUS 1059746 HAS SOUPS 1059610 WITH SCORE 1065824.532
AT ITER 2179 NEW BEST:: SOT 20912095 SOS 6214532 HAS SOPS 6214396 HAS SOUS 1059741 HAS SOUPS 1059605 WITH SCORE 1065819.532
AT ITER 2198 NEW BEST:: SOT 20912095 SOS 6214407 HAS SOPS 6214271 HAS SOUS 1059537 HAS SOUPS 1059401 WITH SCORE 1065615.407
AT ITER 2215 NEW BEST:: SOT 20912011 SOS 6214323 HAS SOPS 6214187 HAS SOUS 1059464 HAS SOUPS 1059328 WITH SCORE 1065542.323
AT ITER 2216 NEW BEST:: SOT 20911973 SOS 6214285 HAS SOPS 6214149 HAS SOUS 1059460 HAS SOUPS 1059324 WITH SCORE 1065538.285
AT ITER 2228 NEW BEST:: SOT 20911481 SOS 6213793 HAS SOPS 6213657 HAS SOUS 1058869 HAS SOUPS 1058733 WITH SCORE 1064946.793
AT ITER 2229 NEW BEST:: SOT 20911338 SOS 6212220 HAS SOPS 6212084 HAS SOUS 1058493 HAS SOUPS 1058357 WITH SCORE 1064569.22
AT ITER 2258 NEW BEST:: SOT 20911159 SOS 6212041 HAS SOPS 6211905 HAS SOUS 1058348 HAS SOUPS 1058212 WITH SCORE 1064424.041
AT ITER 2260 NEW BEST:: SOT 20911159 SOS 6212041 HAS SOPS 6211905 HAS SOUS 1058216 HAS SOUPS 1058080 WITH SCORE 1064292.041
AT ITER 2291 NEW BEST:: SOT 20910976 SOS 6212041 HAS SOPS 6211905 HAS SOUS 1058033 HAS SOUPS 1057897 WITH SCORE 1064109.041
AT ITER 2306 NEW BEST:: SOT 20910504 SOS 6211666 HAS SOPS 6211530 HAS SOUS 1057560 HAS SOUPS 1057424 WITH SCORE 1063635.666
AT ITER 2310 NEW BEST:: SOT 20910273 SOS 6211435 HAS SOPS 6211299 HAS SOUS 1057320 HAS SOUPS 1057184 WITH SCORE 1063395.435
AT ITER 2334 NEW BEST:: SOT 20910273 SOS 6211435 HAS SOPS 6211299 HAS SOUS 1057247 HAS SOUPS 1057111 WITH SCORE 1063322.435
AT ITER 2351 NEW BEST:: SOT 20910158 SOS 6211320 HAS SOPS 6211184 HAS SOUS 1057017 HAS SOUPS 1056881 WITH SCORE 1063092.32
AT ITER 2355 NEW BEST:: SOT 20910030 SOS 6211192 HAS SOPS 6211056 HAS SOUS 1056889 HAS SOUPS 1056753 WITH SCORE 1062964.192
AT ITER 2372 NEW BEST:: SOT 20910008 SOS 6211170 HAS SOPS 6211034 HAS SOUS 1056851 HAS SOUPS 1056715 WITH SCORE 1062926.17
AT ITER 2375 NEW BEST:: SOT 20909895 SOS 6210296 HAS SOPS 6210160 HAS SOUS 1056706 HAS SOUPS 1056570 WITH SCORE 1062780.296
AT ITER 2383 NEW BEST:: SOT 20909201 SOS 6209818 HAS SOPS 6209682 HAS SOUS 1056157 HAS SOUPS 1056021 WITH SCORE 1062230.818
AT ITER 2406 NEW BEST:: SOT 20909020 SOS 6209637 HAS SOPS 6209501 HAS SOUS 1055811 HAS SOUPS 1055675 WITH SCORE 1061884.637
AT ITER 2422 NEW BEST:: SOT 20909060 SOS 6211357 HAS SOPS 6211221 HAS SOUS 1055751 HAS SOUPS 1055615 WITH SCORE 1061826.357
AT ITER 2442 NEW BEST:: SOT 20909060 SOS 6211357 HAS SOPS 6211221 HAS SOUS 1055744 HAS SOUPS 1055608 WITH SCORE 1061819.357
AT ITER 2445 NEW BEST:: SOT 20909060 SOS 6211357 HAS SOPS 6211221 HAS SOUS 1055712 HAS SOUPS 1055576 WITH SCORE 1061787.357
AT ITER 2454 NEW BEST:: SOT 20908944 SOS 6211357 HAS SOPS 6211221 HAS SOUS 1055596 HAS SOUPS 1055460 WITH SCORE 1061671.357
AT ITER 2465 NEW BEST:: SOT 20908448 SOS 6210861 HAS SOPS 6210725 HAS SOUS 1055220 HAS SOUPS 1055084 WITH SCORE 1061294.861
AT ITER 2471 NEW BEST:: SOT 20908467 SOS 6214647 HAS SOPS 6214511 HAS SOUS 1054683 HAS SOUPS 1054547 WITH SCORE 1060761.647
AT ITER 2506 NEW BEST:: SOT 20908355 SOS 6214535 HAS SOPS 6214399 HAS SOUS 1054587 HAS SOUPS 1054451 WITH SCORE 1060665.535
AT ITER 2544 NEW BEST:: SOT 20907710 SOS 6213700 HAS SOPS 6213564 HAS SOUS 1053932 HAS SOUPS 1053796 WITH SCORE 1060009.7
AT ITER 2547 NEW BEST:: SOT 20907197 SOS 6212982 HAS SOPS 6212846 HAS SOUS 1053620 HAS SOUPS 1053484 WITH SCORE 1059696.982
AT ITER 2551 NEW BEST:: SOT 20907193 SOS 6212978 HAS SOPS 6212842 HAS SOUS 1053612 HAS SOUPS 1053476 WITH SCORE 1059688.978
AT ITER 2556 NEW BEST:: SOT 20906938 SOS 6212723 HAS SOPS 6212587 HAS SOUS 1053243 HAS SOUPS 1053107 WITH SCORE 1059319.723
AT ITER 2573 NEW BEST:: SOT 20906645 SOS 6211470 HAS SOPS 6211334 HAS SOUS 1052880 HAS SOUPS 1052744 WITH SCORE 1058955.47
AT ITER 2587 NEW BEST:: SOT 20906492 SOS 6211317 HAS SOPS 6211181 HAS SOUS 1052866 HAS SOUPS 1052730 WITH SCORE 1058941.317
AT ITER 2593 NEW BEST:: SOT 20906451 SOS 6211276 HAS SOPS 6211140 HAS SOUS 1052866 HAS SOUPS 1052730 WITH SCORE 1058941.276
AT ITER 2605 NEW BEST:: SOT 20906451 SOS 6211194 HAS SOPS 6211058 HAS SOUS 1052509 HAS SOUPS 1052373 WITH SCORE 1058584.194
AT ITER 2606 NEW BEST:: SOT 20906194 SOS 6210937 HAS SOPS 6210801 HAS SOUS 1052091 HAS SOUPS 1051955 WITH SCORE 1058165.937
AT ITER 2614 NEW BEST:: SOT 20906191 SOS 6210934 HAS SOPS 6210798 HAS SOUS 1052088 HAS SOUPS 1051952 WITH SCORE 1058162.934
AT ITER 2622 NEW BEST:: SOT 20906191 SOS 6210779 HAS SOPS 6210643 HAS SOUS 1051859 HAS SOUPS 1051723 WITH SCORE 1057933.779
AT ITER 2643 NEW BEST:: SOT 20906104 SOS 6210692 HAS SOPS 6210556 HAS SOUS 1051772 HAS SOUPS 1051636 WITH SCORE 1057846.692
AT ITER 2646 NEW BEST:: SOT 20906086 SOS 6210674 HAS SOPS 6210538 HAS SOUS 1051736 HAS SOUPS 1051600 WITH SCORE 1057810.674
AT ITER 2650 NEW BEST:: SOT 20905546 SOS 6210329 HAS SOPS 6210193 HAS SOUS 1051528 HAS SOUPS 1051392 WITH SCORE 1057602.329
AT ITER 2672 NEW BEST:: SOT 20905213 SOS 6210093 HAS SOPS 6209957 HAS SOUS 1050886 HAS SOUPS 1050750 WITH SCORE 1056960.093
AT ITER 2692 NEW BEST:: SOT 20905209 SOS 6210085 HAS SOPS 6209949 HAS SOUS 1050882 HAS SOUPS 1050746 WITH SCORE 1056956.085
AT ITER 2695 NEW BEST:: SOT 20904822 SOS 6209940 HAS SOPS 6209804 HAS SOUS 1050870 HAS SOUPS 1050734 WITH SCORE 1056943.94
AT ITER 2696 NEW BEST:: SOT 20881492 SOS 6186766 HAS SOPS 6186630 HAS SOUS 1027654 HAS SOUPS 1027518 WITH SCORE 1033704.766
AT ITER 2697 NEW BEST:: SOT 20881484 SOS 6186678 HAS SOPS 6186542 HAS SOUS 1027638 HAS SOUPS 1027502 WITH SCORE 1033688.678
AT ITER 2712 NEW BEST:: SOT 20881446 SOS 6186640 HAS SOPS 6186504 HAS SOUS 1026781 HAS SOUPS 1026645 WITH SCORE 1032831.64
AT ITER 2728 NEW BEST:: SOT 20880798 SOS 6185992 HAS SOPS 6185856 HAS SOUS 1026170 HAS SOUPS 1026034 WITH SCORE 1032219.992
AT ITER 2745 NEW BEST:: SOT 20880780 SOS 6185974 HAS SOPS 6185838 HAS SOUS 1026134 HAS SOUPS 1025998 WITH SCORE 1032183.974
AT ITER 2749 NEW BEST:: SOT 20880789 SOS 6185983 HAS SOPS 6185847 HAS SOUS 1025926 HAS SOUPS 1025790 WITH SCORE 1031975.983
AT ITER 2751 NEW BEST:: SOT 20880295 SOS 6185249 HAS SOPS 6185113 HAS SOUS 1025569 HAS SOUPS 1025433 WITH SCORE 1031618.249
AT ITER 2752 NEW BEST:: SOT 20879976 SOS 6184930 HAS SOPS 6184794 HAS SOUS 1025020 HAS SOUPS 1024884 WITH SCORE 1031068.93
AT ITER 2753 NEW BEST:: SOT 20879627 SOS 6184581 HAS SOPS 6184445 HAS SOUS 1025004 HAS SOUPS 1024868 WITH SCORE 1031052.581
AT ITER 2758 NEW BEST:: SOT 20879627 SOS 6184581 HAS SOPS 6184445 HAS SOUS 1024834 HAS SOUPS 1024698 WITH SCORE 1030882.581
AT ITER 2759 NEW BEST:: SOT 20879627 SOS 6184536 HAS SOPS 6184400 HAS SOUS 1024789 HAS SOUPS 1024653 WITH SCORE 1030837.536
AT ITER 2775 NEW BEST:: SOT 20879751 SOS 6184660 HAS SOPS 6184524 HAS SOUS 1024721 HAS SOUPS 1024585 WITH SCORE 1030769.66
AT ITER 2784 NEW BEST:: SOT 20879695 SOS 6184604 HAS SOPS 6184468 HAS SOUS 1024711 HAS SOUPS 1024575 WITH SCORE 1030759.604
AT ITER 2786 NEW BEST:: SOT 20879299 SOS 6184208 HAS SOPS 6184072 HAS SOUS 1024666 HAS SOUPS 1024530 WITH SCORE 1030714.208
AT ITER 2796 NEW BEST:: SOT 20879221 SOS 6184052 HAS SOPS 6183916 HAS SOUS 1024510 HAS SOUPS 1024374 WITH SCORE 1030558.052
AT ITER 2813 NEW BEST:: SOT 20879221 SOS 6183931 HAS SOPS 6183795 HAS SOUS 1024510 HAS SOUPS 1024374 WITH SCORE 1030557.931
AT ITER 2818 NEW BEST:: SOT 20879217 SOS 6183927 HAS SOPS 6183791 HAS SOUS 1024484 HAS SOUPS 1024348 WITH SCORE 1030531.927
AT ITER 2821 NEW BEST:: SOT 20878983 SOS 6183383 HAS SOPS 6183247 HAS SOUS 1023968 HAS SOUPS 1023832 WITH SCORE 1030015.383
AT ITER 2828 NEW BEST:: SOT 20878540 SOS 6181955 HAS SOPS 6181819 HAS SOUS 1023825 HAS SOUPS 1023689 WITH SCORE 1029870.955
AT ITER 2841 NEW BEST:: SOT 20878176 SOS 6181591 HAS SOPS 6181455 HAS SOUS 1023277 HAS SOUPS 1023141 WITH SCORE 1029322.591
AT ITER 2850 NEW BEST:: SOT 20877864 SOS 6179520 HAS SOPS 6179384 HAS SOUS 1022942 HAS SOUPS 1022806 WITH SCORE 1028985.52
AT ITER 2853 NEW BEST:: SOT 20877717 SOS 6179373 HAS SOPS 6179237 HAS SOUS 1022915 HAS SOUPS 1022779 WITH SCORE 1028958.373
AT ITER 2871 NEW BEST:: SOT 20877516 SOS 6177162 HAS SOPS 6177026 HAS SOUS 1022513 HAS SOUPS 1022377 WITH SCORE 1028554.162
AT ITER 2892 NEW BEST:: SOT 20876272 SOS 6176243 HAS SOPS 6176107 HAS SOUS 1021044 HAS SOUPS 1020908 WITH SCORE 1027084.243
AT ITER 2908 NEW BEST:: SOT 20876185 SOS 6176246 HAS SOPS 6176110 HAS SOUS 1020960 HAS SOUPS 1020824 WITH SCORE 1027000.246
AT ITER 2909 NEW BEST:: SOT 20875143 SOS 6174595 HAS SOPS 6174459 HAS SOUS 1019476 HAS SOUPS 1019340 WITH SCORE 1025514.595
AT ITER 2912 NEW BEST:: SOT 20875056 SOS 6174508 HAS SOPS 6174372 HAS SOUS 1019474 HAS SOUPS 1019338 WITH SCORE 1025512.508
AT ITER 2926 NEW BEST:: SOT 20874917 SOS 6174372 HAS SOPS 6174236 HAS SOUS 1019114 HAS SOUPS 1018978 WITH SCORE 1025152.372
AT ITER 2936 NEW BEST:: SOT 20874744 SOS 6174199 HAS SOPS 6174063 HAS SOUS 1018772 HAS SOUPS 1018636 WITH SCORE 1024810.199
AT ITER 2944 NEW BEST:: SOT 20874612 SOS 6172711 HAS SOPS 6172575 HAS SOUS 1018508 HAS SOUPS 1018372 WITH SCORE 1024544.711
AT ITER 2951 NEW BEST:: SOT 20874612 SOS 6172711 HAS SOPS 6172575 HAS SOUS 1018430 HAS SOUPS 1018294 WITH SCORE 1024466.711
AT ITER 2971 NEW BEST:: SOT 20874571 SOS 6172670 HAS SOPS 6172534 HAS SOUS 1018348 HAS SOUPS 1018212 WITH SCORE 1024384.67
AT ITER 2980 NEW BEST:: SOT 20874550 SOS 6172649 HAS SOPS 6172513 HAS SOUS 1018342 HAS SOUPS 1018206 WITH SCORE 1024378.649
AT ITER 2985 NEW BEST:: SOT 20874528 SOS 6172627 HAS SOPS 6172491 HAS SOUS 1018319 HAS SOUPS 1018183 WITH SCORE 1024355.627
AT ITER 2991 NEW BEST:: SOT 20874528 SOS 6172147 HAS SOPS 6172011 HAS SOUS 1018263 HAS SOUPS 1018127 WITH SCORE 1024299.147
AT ITER 3005 NEW BEST:: SOT 20874069 SOS 6171872 HAS SOPS 6171736 HAS SOUS 1018090 HAS SOUPS 1017954 WITH SCORE 1024125.872
AT ITER 3006 NEW BEST:: SOT 20873572 SOS 6171560 HAS SOPS 6171424 HAS SOUS 1017286 HAS SOUPS 1017150 WITH SCORE 1023321.56
AT ITER 3008 NEW BEST:: SOT 20873513 SOS 6171501 HAS SOPS 6171365 HAS SOUS 1017168 HAS SOUPS 1017032 WITH SCORE 1023203.501
AT ITER 3019 NEW BEST:: SOT 20873408 SOS 6171970 HAS SOPS 6171834 HAS SOUS 1017098 HAS SOUPS 1016962 WITH SCORE 1023133.97
AT ITER 3055 NEW BEST:: SOT 20873453 SOS 6172924 HAS SOPS 6172788 HAS SOUS 1016963 HAS SOUPS 1016827 WITH SCORE 1022999.924
AT ITER 3067 NEW BEST:: SOT 20872736 SOS 6171467 HAS SOPS 6171331 HAS SOUS 1016151 HAS SOUPS 1016015 WITH SCORE 1022186.467
AT ITER 3074 NEW BEST:: SOT 20872886 SOS 6171410 HAS SOPS 6171274 HAS SOUS 1015952 HAS SOUPS 1015816 WITH SCORE 1021987.41
AT ITER 3077 NEW BEST:: SOT 20872241 SOS 6169955 HAS SOPS 6169819 HAS SOUS 1015222 HAS SOUPS 1015086 WITH SCORE 1021255.955
AT ITER 3080 NEW BEST:: SOT 20872234 SOS 6169955 HAS SOPS 6169819 HAS SOUS 1015215 HAS SOUPS 1015079 WITH SCORE 1021248.955
AT ITER 3081 NEW BEST:: SOT 20871992 SOS 6169644 HAS SOPS 6169508 HAS SOUS 1014951 HAS SOUPS 1014815 WITH SCORE 1020984.644
AT ITER 3108 NEW BEST:: SOT 20871990 SOS 6169642 HAS SOPS 6169506 HAS SOUS 1014947 HAS SOUPS 1014811 WITH SCORE 1020980.642
AT ITER 3109 NEW BEST:: SOT 20872076 SOS 6170978 HAS SOPS 6170842 HAS SOUS 1014832 HAS SOUPS 1014696 WITH SCORE 1020866.978
AT ITER 3124 NEW BEST:: SOT 20871793 SOS 6169885 HAS SOPS 6169749 HAS SOUS 1014688 HAS SOUPS 1014552 WITH SCORE 1020721.885
AT ITER 3130 NEW BEST:: SOT 20871790 SOS 6172486 HAS SOPS 6172350 HAS SOUS 1014682 HAS SOUPS 1014546 WITH SCORE 1020718.486
AT ITER 3132 NEW BEST:: SOT 20871790 SOS 6172369 HAS SOPS 6172233 HAS SOUS 1014628 HAS SOUPS 1014492 WITH SCORE 1020664.369
AT ITER 3134 NEW BEST:: SOT 20871778 SOS 6172345 HAS SOPS 6172209 HAS SOUS 1014616 HAS SOUPS 1014480 WITH SCORE 1020652.345
AT ITER 3142 NEW BEST:: SOT 20871778 SOS 6172257 HAS SOPS 6172121 HAS SOUS 1014616 HAS SOUPS 1014480 WITH SCORE 1020652.257
AT ITER 3168 NEW BEST:: SOT 20871778 SOS 6171879 HAS SOPS 6171743 HAS SOUS 1014616 HAS SOUPS 1014480 WITH SCORE 1020651.879
AT ITER 3169 NEW BEST:: SOT 20871777 SOS 6171736 HAS SOPS 6171600 HAS SOUS 1014614 HAS SOUPS 1014478 WITH SCORE 1020649.736
AT ITER 3177 NEW BEST:: SOT 20871619 SOS 6169998 HAS SOPS 6169862 HAS SOUS 1014298 HAS SOUPS 1014162 WITH SCORE 1020331.998
AT ITER 3183 NEW BEST:: SOT 20871497 SOS 6169876 HAS SOPS 6169740 HAS SOUS 1014178 HAS SOUPS 1014042 WITH SCORE 1020211.876
AT ITER 3193 NEW BEST:: SOT 20871339 SOS 6169718 HAS SOPS 6169582 HAS SOUS 1014114 HAS SOUPS 1013978 WITH SCORE 1020147.718
AT ITER 3204 NEW BEST:: SOT 20871238 SOS 6169617 HAS SOPS 6169481 HAS SOUS 1013710 HAS SOUPS 1013574 WITH SCORE 1019743.617
AT ITER 3207 NEW BEST:: SOT 20854765 SOS 6545138 HAS SOPS 6545002 HAS SOUS 1011606 HAS SOUPS 1011470 WITH SCORE 1018015.138
AT ITER 3220 NEW BEST:: SOT 20854605 SOS 6544978 HAS SOPS 6544842 HAS SOUS 1011300 HAS SOUPS 1011164 WITH SCORE 1017708.978
AT ITER 3235 NEW BEST:: SOT 20854605 SOS 6545226 HAS SOPS 6545090 HAS SOUS 1010785 HAS SOUPS 1010649 WITH SCORE 1017194.226
AT ITER 3242 NEW BEST:: SOT 20854469 SOS 6544280 HAS SOPS 6544144 HAS SOUS 1010432 HAS SOUPS 1010296 WITH SCORE 1016840.28
AT ITER 3246 NEW BEST:: SOT 20854393 SOS 6544204 HAS SOPS 6544068 HAS SOUS 1010279 HAS SOUPS 1010143 WITH SCORE 1016687.204
AT ITER 3268 NEW BEST:: SOT 20854383 SOS 6544194 HAS SOPS 6544058 HAS SOUS 1010185 HAS SOUPS 1010049 WITH SCORE 1016593.194
AT ITER 3273 NEW BEST:: SOT 20854283 SOS 6543994 HAS SOPS 6543858 HAS SOUS 1009985 HAS SOUPS 1009849 WITH SCORE 1016392.994
AT ITER 3282 NEW BEST:: SOT 20854247 SOS 6543634 HAS SOPS 6543498 HAS SOUS 1009949 HAS SOUPS 1009813 WITH SCORE 1016356.634
AT ITER 3283 NEW BEST:: SOT 20854028 SOS 6543469 HAS SOPS 6543333 HAS SOUS 1009693 HAS SOUPS 1009557 WITH SCORE 1016100.469
AT ITER 3300 NEW BEST:: SOT 20853947 SOS 6543388 HAS SOPS 6543252 HAS SOUS 1009683 HAS SOUPS 1009547 WITH SCORE 1016090.388
AT ITER 3303 NEW BEST:: SOT 20853647 SOS 6546184 HAS SOPS 6546048 HAS SOUS 1009623 HAS SOUPS 1009487 WITH SCORE 1016033.184
AT ITER 3319 NEW BEST:: SOT 20853647 SOS 6545804 HAS SOPS 6545668 HAS SOUS 1009547 HAS SOUPS 1009411 WITH SCORE 1015956.804
AT ITER 3328 NEW BEST:: SOT 20853375 SOS 6545532 HAS SOPS 6545396 HAS SOUS 1009448 HAS SOUPS 1009312 WITH SCORE 1015857.532
AT ITER 3333 NEW BEST:: SOT 20853268 SOS 6545485 HAS SOPS 6545349 HAS SOUS 1009389 HAS SOUPS 1009253 WITH SCORE 1015798.485
AT ITER 3337 NEW BEST:: SOT 20853250 SOS 6545467 HAS SOPS 6545331 HAS SOUS 1009371 HAS SOUPS 1009235 WITH SCORE 1015780.467
AT ITER 3356 NEW BEST:: SOT 20853244 SOS 6545461 HAS SOPS 6545325 HAS SOUS 1009339 HAS SOUPS 1009203 WITH SCORE 1015748.461
AT ITER 3377 NEW BEST:: SOT 20853085 SOS 6545302 HAS SOPS 6545166 HAS SOUS 1009033 HAS SOUPS 1008897 WITH SCORE 1015442.302
AT ITER 3386 NEW BEST:: SOT 20853030 SOS 6545247 HAS SOPS 6545111 HAS SOUS 1008923 HAS SOUPS 1008787 WITH SCORE 1015332.247
AT ITER 3398 NEW BEST:: SOT 20853030 SOS 6545225 HAS SOPS 6545089 HAS SOUS 1008901 HAS SOUPS 1008765 WITH SCORE 1015310.225
AT ITER 3408 NEW BEST:: SOT 20852860 SOS 6545267 HAS SOPS 6545131 HAS SOUS 1008885 HAS SOUPS 1008749 WITH SCORE 1015294.267
AT ITER 3411 NEW BEST:: SOT 20852696 SOS 6545103 HAS SOPS 6544967 HAS SOUS 1008721 HAS SOUPS 1008585 WITH SCORE 1015130.103
AT ITER 3415 NEW BEST:: SOT 20852649 SOS 6545056 HAS SOPS 6544920 HAS SOUS 1008627 HAS SOUPS 1008491 WITH SCORE 1015036.056
AT ITER 3421 NEW BEST:: SOT 20852585 SOS 6545057 HAS SOPS 6544921 HAS SOUS 1008241 HAS SOUPS 1008105 WITH SCORE 1014650.057
AT ITER 3435 NEW BEST:: SOT 20852469 SOS 6547496 HAS SOPS 6547360 HAS SOUS 1007871 HAS SOUPS 1007735 WITH SCORE 1014282.496
AT ITER 3445 NEW BEST:: SOT 20852189 SOS 6547216 HAS SOPS 6547080 HAS SOUS 1007327 HAS SOUPS 1007191 WITH SCORE 1013738.216
AT ITER 3457 NEW BEST:: SOT 20851412 SOS 6546515 HAS SOPS 6546379 HAS SOUS 1006918 HAS SOUPS 1006782 WITH SCORE 1013328.515
AT ITER 3459 NEW BEST:: SOT 20851046 SOS 6546149 HAS SOPS 6546013 HAS SOUS 1006908 HAS SOUPS 1006772 WITH SCORE 1013318.149
AT ITER 3476 NEW BEST:: SOT 20851001 SOS 6546554 HAS SOPS 6546418 HAS SOUS 1006863 HAS SOUPS 1006727 WITH SCORE 1013273.554
AT ITER 3481 NEW BEST:: SOT 20850726 SOS 6546279 HAS SOPS 6546143 HAS SOUS 1006791 HAS SOUPS 1006655 WITH SCORE 1013201.279
AT ITER 3492 NEW BEST:: SOT 20850726 SOS 6546669 HAS SOPS 6546533 HAS SOUS 1006710 HAS SOUPS 1006574 WITH SCORE 1013120.669
AT ITER 3523 NEW BEST:: SOT 20850730 SOS 6546569 HAS SOPS 6546433 HAS SOUS 1006510 HAS SOUPS 1006374 WITH SCORE 1012920.569
AT ITER 3535 NEW BEST:: SOT 20850404 SOS 6544643 HAS SOPS 6544507 HAS SOUS 1006024 HAS SOUPS 1005888 WITH SCORE 1012432.643
AT ITER 3556 NEW BEST:: SOT 20850263 SOS 6544502 HAS SOPS 6544366 HAS SOUS 1005742 HAS SOUPS 1005606 WITH SCORE 1012150.502
AT ITER 3591 NEW BEST:: SOT 20850237 SOS 6544476 HAS SOPS 6544340 HAS SOUS 1005690 HAS SOUPS 1005554 WITH SCORE 1012098.476
AT ITER 3598 NEW BEST:: SOT 20850194 SOS 6544623 HAS SOPS 6544487 HAS SOUS 1005675 HAS SOUPS 1005539 WITH SCORE 1012083.623
AT ITER 3608 NEW BEST:: SOT 20850287 SOS 6544571 HAS SOPS 6544435 HAS SOUS 1005426 HAS SOUPS 1005290 WITH SCORE 1011834.571
AT ITER 3609 NEW BEST:: SOT 20850204 SOS 6544444 HAS SOPS 6544308 HAS SOUS 1005348 HAS SOUPS 1005212 WITH SCORE 1011756.444
AT ITER 3631 NEW BEST:: SOT 20849865 SOS 6543918 HAS SOPS 6543782 HAS SOUS 1005145 HAS SOUPS 1005009 WITH SCORE 1011552.918
AT ITER 3669 NEW BEST:: SOT 20849692 SOS 6543745 HAS SOPS 6543609 HAS SOUS 1005141 HAS SOUPS 1005005 WITH SCORE 1011548.745
AT ITER 3672 NEW BEST:: SOT 20849466 SOS 6542921 HAS SOPS 6542785 HAS SOUS 1005046 HAS SOUPS 1004910 WITH SCORE 1011452.921
AT ITER 3675 NEW BEST:: SOT 20849454 SOS 6542909 HAS SOPS 6542773 HAS SOUS 1005013 HAS SOUPS 1004877 WITH SCORE 1011419.909
AT ITER 3704 NEW BEST:: SOT 20849301 SOS 6541876 HAS SOPS 6541740 HAS SOUS 1004762 HAS SOUPS 1004626 WITH SCORE 1011167.876
AT ITER 3719 NEW BEST:: SOT 20848949 SOS 6541524 HAS SOPS 6541388 HAS SOUS 1003953 HAS SOUPS 1003817 WITH SCORE 1010358.524
AT ITER 3724 NEW BEST:: SOT 20848864 SOS 6541439 HAS SOPS 6541303 HAS SOUS 1003783 HAS SOUPS 1003647 WITH SCORE 1010188.439
AT ITER 3727 NEW BEST:: SOT 20848859 SOS 6541429 HAS SOPS 6541293 HAS SOUS 1003736 HAS SOUPS 1003600 WITH SCORE 1010141.429
AT ITER 3729 NEW BEST:: SOT 20848872 SOS 6540900 HAS SOPS 6540764 HAS SOUS 1003675 HAS SOUPS 1003539 WITH SCORE 1010079.9
AT ITER 3731 NEW BEST:: SOT 20848305 SOS 6540409 HAS SOPS 6540273 HAS SOUS 1002904 HAS SOUPS 1002768 WITH SCORE 1009308.409
AT ITER 3736 NEW BEST:: SOT 20848111 SOS 6539675 HAS SOPS 6539539 HAS SOUS 1002737 HAS SOUPS 1002601 WITH SCORE 1009140.675
AT ITER 3743 NEW BEST:: SOT 20847979 SOS 6539543 HAS SOPS 6539407 HAS SOUS 1002477 HAS SOUPS 1002341 WITH SCORE 1008880.543
AT ITER 3748 NEW BEST:: SOT 20847979 SOS 6539543 HAS SOPS 6539407 HAS SOUS 1002343 HAS SOUPS 1002207 WITH SCORE 1008746.543
AT ITER 3779 NEW BEST:: SOT 20847403 SOS 6538967 HAS SOPS 6538831 HAS SOUS 1001682 HAS SOUPS 1001546 WITH SCORE 1008084.967
AT ITER 3780 NEW BEST:: SOT 20846995 SOS 6538559 HAS SOPS 6538423 HAS SOUS 1001432 HAS SOUPS 1001296 WITH SCORE 1007834.559
AT ITER 3812 NEW BEST:: SOT 20846950 SOS 6538728 HAS SOPS 6538592 HAS SOUS 1001412 HAS SOUPS 1001276 WITH SCORE 1007814.728
AT ITER 3815 NEW BEST:: SOT 20846913 SOS 6538899 HAS SOPS 6538763 HAS SOUS 1001392 HAS SOUPS 1001256 WITH SCORE 1007794.899
AT ITER 3823 NEW BEST:: SOT 20846138 SOS 6538352 HAS SOPS 6538011 HAS SOUS 1001413 HAS SOUPS 1001072 WITH SCORE 1007610.352
AT ITER 3831 NEW BEST:: SOT 20845864 SOS 6538078 HAS SOPS 6537737 HAS SOUS 1001310 HAS SOUPS 1000969 WITH SCORE 1007507.078
AT ITER 3833 NEW BEST:: SOT 20846092 SOS 6538306 HAS SOPS 6537965 HAS SOUS 1001297 HAS SOUPS 1000956 WITH SCORE 1007494.306
AT ITER 3857 NEW BEST:: SOT 20846074 SOS 6538288 HAS SOPS 6537947 HAS SOUS 1001261 HAS SOUPS 1000920 WITH SCORE 1007458.288
AT ITER 3865 NEW BEST:: SOT 20846083 SOS 6538236 HAS SOPS 6537895 HAS SOUS 1001096 HAS SOUPS 1000755 WITH SCORE 1007293.236
AT ITER 3872 NEW BEST:: SOT 20845791 SOS 6538191 HAS SOPS 6537850 HAS SOUS 1001038 HAS SOUPS 1000697 WITH SCORE 1007235.191
AT ITER 3878 NEW BEST:: SOT 20845965 SOS 6538047 HAS SOPS 6537706 HAS SOUS 1000506 HAS SOUPS 1000165 WITH SCORE 1006703.047
AT ITER 3891 NEW BEST:: SOT 20845965 SOS 6537995 HAS SOPS 6537654 HAS SOUS 1000393 HAS SOUPS 1000052 WITH SCORE 1006589.995
AT ITER 3914 NEW BEST:: SOT 20845395 SOS 6537486 HAS SOPS 6537145 HAS SOUS 999413 HAS SOUPS 999072 WITH SCORE 1005609.486
AT ITER 3920 NEW BEST:: SOT 20845357 SOS 6537448 HAS SOPS 6537107 HAS SOUS 999399 HAS SOUPS 999058 WITH SCORE 1005595.448
AT ITER 3940 NEW BEST:: SOT 20844918 SOS 6536678 HAS SOPS 6536337 HAS SOUS 998652 HAS SOUPS 998311 WITH SCORE 1004847.678
AT ITER 3986 NEW BEST:: SOT 20844630 SOS 6536390 HAS SOPS 6536049 HAS SOUS 998591 HAS SOUPS 998250 WITH SCORE 1004786.39
AT ITER 3994 NEW BEST:: SOT 20844630 SOS 6536390 HAS SOPS 6536049 HAS SOUS 998539 HAS SOUPS 998198 WITH SCORE 1004734.39
AT ITER 3997 NEW BEST:: SOT 20844497 SOS 6536257 HAS SOPS 6535916 HAS SOUS 998538 HAS SOUPS 998197 WITH SCORE 1004733.257
AT ITER 4021 NEW BEST:: SOT 20844179 SOS 6535939 HAS SOPS 6535598 HAS SOUS 997902 HAS SOUPS 997561 WITH SCORE 1004096.939
AT ITER 4052 NEW BEST:: SOT 20844428 SOS 6536256 HAS SOPS 6535915 HAS SOUS 997777 HAS SOUPS 997436 WITH SCORE 1003972.256
AT ITER 4061 NEW BEST:: SOT 20844153 SOS 6536211 HAS SOPS 6535870 HAS SOUS 997602 HAS SOUPS 997261 WITH SCORE 1003797.211
AT ITER 4068 NEW BEST:: SOT 20844114 SOS 6536172 HAS SOPS 6535831 HAS SOUS 997602 HAS SOUPS 997261 WITH SCORE 1003797.172
AT ITER 4075 NEW BEST:: SOT 20843830 SOS 6535860 HAS SOPS 6535519 HAS SOUS 997322 HAS SOUPS 996981 WITH SCORE 1003516.86
AT ITER 4080 NEW BEST:: SOT 20843793 SOS 6538343 HAS SOPS 6538002 HAS SOUS 997255 HAS SOUPS 996914 WITH SCORE 1003452.343
AT ITER 4098 NEW BEST:: SOT 20843162 SOS 6537706 HAS SOPS 6537365 HAS SOUS 996938 HAS SOUPS 996597 WITH SCORE 1003134.706
AT ITER 4114 NEW BEST:: SOT 20843068 SOS 6537612 HAS SOPS 6537271 HAS SOUS 996926 HAS SOUPS 996585 WITH SCORE 1003122.612
AT ITER 4124 NEW BEST:: SOT 20843153 SOS 6537697 HAS SOPS 6537356 HAS SOUS 996896 HAS SOUPS 996555 WITH SCORE 1003092.697
AT ITER 4146 NEW BEST:: SOT 20843133 SOS 6537797 HAS SOPS 6537456 HAS SOUS 996856 HAS SOUPS 996515 WITH SCORE 1003052.797
AT ITER 4208 NEW BEST:: SOT 20838791 SOS 6534318 HAS SOPS 6533523 HAS SOUS 997274 HAS SOUPS 996479 WITH SCORE 1003013.318
AT ITER 4246 NEW BEST:: SOT 20838791 SOS 6534167 HAS SOPS 6533372 HAS SOUS 996943 HAS SOUPS 996148 WITH SCORE 1002682.167
AT ITER 4258 NEW BEST:: SOT 20838786 SOS 6534162 HAS SOPS 6533367 HAS SOUS 996933 HAS SOUPS 996138 WITH SCORE 1002672.162
AT ITER 4261 NEW BEST:: SOT 20838637 SOS 6534013 HAS SOPS 6533218 HAS SOUS 996635 HAS SOUPS 995840 WITH SCORE 1002374.013
AT ITER 4282 NEW BEST:: SOT 20838532 SOS 6533929 HAS SOPS 6533134 HAS SOUS 996488 HAS SOUPS 995693 WITH SCORE 1002226.929
AT ITER 4283 NEW BEST:: SOT 20838408 SOS 6532995 HAS SOPS 6532200 HAS SOUS 996448 HAS SOUPS 995653 WITH SCORE 1002185.995
AT ITER 4296 NEW BEST:: SOT 20838203 SOS 6532790 HAS SOPS 6531995 HAS SOUS 996044 HAS SOUPS 995249 WITH SCORE 1001781.79
AT ITER 4323 NEW BEST:: SOT 20838203 SOS 6532790 HAS SOPS 6531995 HAS SOUS 995937 HAS SOUPS 995142 WITH SCORE 1001674.79
AT ITER 4329 NEW BEST:: SOT 20838082 SOS 6532669 HAS SOPS 6531874 HAS SOUS 995695 HAS SOUPS 994900 WITH SCORE 1001432.669
AT ITER 4340 NEW BEST:: SOT 20837761 SOS 6532348 HAS SOPS 6531553 HAS SOUS 995276 HAS SOUPS 994481 WITH SCORE 1001013.348
AT ITER 4343 NEW BEST:: SOT 20837677 SOS 6532264 HAS SOPS 6531469 HAS SOUS 995273 HAS SOUPS 994478 WITH SCORE 1001010.264
AT ITER 4350 NEW BEST:: SOT 20837273 SOS 6531860 HAS SOPS 6531065 HAS SOUS 995267 HAS SOUPS 994472 WITH SCORE 1001003.86
AT ITER 4377 NEW BEST:: SOT 20837273 SOS 6531330 HAS SOPS 6530535 HAS SOUS 995214 HAS SOUPS 994419 WITH SCORE 1000950.33
AT ITER 4393 NEW BEST:: SOT 20836763 SOS 6530060 HAS SOPS 6529265 HAS SOUS 994682 HAS SOUPS 993887 WITH SCORE 1000417.06
AT ITER 4398 NEW BEST:: SOT 20836691 SOS 6530064 HAS SOPS 6529269 HAS SOUS 994538 HAS SOUPS 993743 WITH SCORE 1000273.064
AT ITER 4417 NEW BEST:: SOT 20836691 SOS 6523463 HAS SOPS 6522668 HAS SOUS 994538 HAS SOUPS 993743 WITH SCORE 1000266.463
AT ITER 4418 NEW BEST:: SOT 20836572 SOS 6523344 HAS SOPS 6522549 HAS SOUS 994421 HAS SOUPS 993626 WITH SCORE 1000149.344
AT ITER 4447 NEW BEST:: SOT 20836326 SOS 6523098 HAS SOPS 6522303 HAS SOUS 994169 HAS SOUPS 993374 WITH SCORE 999897.098
AT ITER 4451 NEW BEST:: SOT 20836326 SOS 6522984 HAS SOPS 6522189 HAS SOUS 993839 HAS SOUPS 993044 WITH SCORE 999566.984
AT ITER 4472 NEW BEST:: SOT 20835945 SOS 6522603 HAS SOPS 6521808 HAS SOUS 993543 HAS SOUPS 992748 WITH SCORE 999270.603
AT ITER 4485 NEW BEST:: SOT 20835945 SOS 6522580 HAS SOPS 6521785 HAS SOUS 993497 HAS SOUPS 992702 WITH SCORE 999224.58
AT ITER 4486 NEW BEST:: SOT 20835924 SOS 6522559 HAS SOPS 6521764 HAS SOUS 993476 HAS SOUPS 992681 WITH SCORE 999203.559
AT ITER 4488 NEW BEST:: SOT 20835924 SOS 6522529 HAS SOPS 6521734 HAS SOUS 993416 HAS SOUPS 992621 WITH SCORE 999143.529
AT ITER 4497 NEW BEST:: SOT 20835856 SOS 6522461 HAS SOPS 6521666 HAS SOUS 993348 HAS SOUPS 992553 WITH SCORE 999075.461
AT ITER 4504 NEW BEST:: SOT 20835725 SOS 6522502 HAS SOPS 6521707 HAS SOUS 993086 HAS SOUPS 992291 WITH SCORE 998813.502
AT ITER 4508 NEW BEST:: SOT 20836081 SOS 6474368 HAS SOPS 6473573 HAS SOUS 992719 HAS SOUPS 991924 WITH SCORE 998398.368
AT ITER 4509 NEW BEST:: SOT 20835737 SOS 6474063 HAS SOPS 6473268 HAS SOUS 992588 HAS SOUPS 991793 WITH SCORE 998267.063
AT ITER 4512 NEW BEST:: SOT 20835777 SOS 6474103 HAS SOPS 6473308 HAS SOUS 992503 HAS SOUPS 991708 WITH SCORE 998182.103
AT ITER 4517 NEW BEST:: SOT 20835707 SOS 6472373 HAS SOPS 6471578 HAS SOUS 992350 HAS SOUPS 991555 WITH SCORE 998027.373
AT ITER 4521 NEW BEST:: SOT 20835056 SOS 6471955 HAS SOPS 6471160 HAS SOUS 991094 HAS SOUPS 990299 WITH SCORE 996770.955
AT ITER 4532 NEW BEST:: SOT 20834768 SOS 6471667 HAS SOPS 6470872 HAS SOUS 990754 HAS SOUPS 989959 WITH SCORE 996430.667
AT ITER 4543 NEW BEST:: SOT 20834705 SOS 6471604 HAS SOPS 6470809 HAS SOUS 990748 HAS SOUPS 989953 WITH SCORE 996424.604
AT ITER 4559 NEW BEST:: SOT 20834705 SOS 6471593 HAS SOPS 6470798 HAS SOUS 990726 HAS SOUPS 989931 WITH SCORE 996402.593
AT ITER 4573 NEW BEST:: SOT 20834552 SOS 6471440 HAS SOPS 6470645 HAS SOUS 990640 HAS SOUPS 989845 WITH SCORE 996316.44
AT ITER 4586 NEW BEST:: SOT 20834175 SOS 6471100 HAS SOPS 6470305 HAS SOUS 989886 HAS SOUPS 989091 WITH SCORE 995562.1
AT ITER 4600 NEW BEST:: SOT 20834140 SOS 6471065 HAS SOPS 6470270 HAS SOUS 989865 HAS SOUPS 989070 WITH SCORE 995541.065
AT ITER 4613 NEW BEST:: SOT 20834595 SOS 6474199 HAS SOPS 6473404 HAS SOUS 989771 HAS SOUPS 988976 WITH SCORE 995450.199
AT ITER 4615 NEW BEST:: SOT 20834530 SOS 6474134 HAS SOPS 6473339 HAS SOUS 989641 HAS SOUPS 988846 WITH SCORE 995320.134
AT ITER 4620 NEW BEST:: SOT 20833906 SOS 6472750 HAS SOPS 6471955 HAS SOUS 988970 HAS SOUPS 988175 WITH SCORE 994647.75
AT ITER 4626 NEW BEST:: SOT 20832899 SOS 6470964 HAS SOPS 6470169 HAS SOUS 987991 HAS SOUPS 987196 WITH SCORE 993666.964
AT ITER 4636 NEW BEST:: SOT 20832899 SOS 6471762 HAS SOPS 6470967 HAS SOUS 987923 HAS SOUPS 987128 WITH SCORE 993599.762
AT ITER 4642 NEW BEST:: SOT 20832777 SOS 6471640 HAS SOPS 6470845 HAS SOUS 987679 HAS SOUPS 986884 WITH SCORE 993355.64
AT ITER 4652 NEW BEST:: SOT 20832822 SOS 6471564 HAS SOPS 6470769 HAS SOUS 987527 HAS SOUPS 986732 WITH SCORE 993203.564
AT ITER 4676 NEW BEST:: SOT 20832807 SOS 6471399 HAS SOPS 6470604 HAS SOUS 987512 HAS SOUPS 986717 WITH SCORE 993188.399
AT ITER 4688 NEW BEST:: SOT 20832552 SOS 6471144 HAS SOPS 6470349 HAS SOUS 987120 HAS SOUPS 986325 WITH SCORE 992796.144
AT ITER 4689 NEW BEST:: SOT 20832552 SOS 6471144 HAS SOPS 6470349 HAS SOUS 987078 HAS SOUPS 986283 WITH SCORE 992754.144
AT ITER 4742 NEW BEST:: SOT 20832545 SOS 6471077 HAS SOPS 6470282 HAS SOUS 986995 HAS SOUPS 986200 WITH SCORE 992671.077
AT ITER 4746 NEW BEST:: SOT 20832167 SOS 6469889 HAS SOPS 6469094 HAS SOUS 986622 HAS SOUPS 985827 WITH SCORE 992296.889
AT ITER 4766 NEW BEST:: SOT 20832212 SOS 6469934 HAS SOPS 6469139 HAS SOUS 986535 HAS SOUPS 985740 WITH SCORE 992209.934
AT ITER 4772 NEW BEST:: SOT 20832063 SOS 6469785 HAS SOPS 6468990 HAS SOUS 986237 HAS SOUPS 985442 WITH SCORE 991911.785
AT ITER 4780 NEW BEST:: SOT 20831948 SOS 6469672 HAS SOPS 6468877 HAS SOUS 986124 HAS SOUPS 985329 WITH SCORE 991798.672
AT ITER 4819 NEW BEST:: SOT 20831750 SOS 6469474 HAS SOPS 6468679 HAS SOUS 985728 HAS SOUPS 984933 WITH SCORE 991402.474
AT ITER 4827 NEW BEST:: SOT 20831454 SOS 6469178 HAS SOPS 6468383 HAS SOUS 985521 HAS SOUPS 984726 WITH SCORE 991195.178
AT ITER 4840 NEW BEST:: SOT 20831340 SOS 6469064 HAS SOPS 6468269 HAS SOUS 985407 HAS SOUPS 984612 WITH SCORE 991081.064
AT ITER 4870 NEW BEST:: SOT 20831340 SOS 6469064 HAS SOPS 6468269 HAS SOUS 985404 HAS SOUPS 984609 WITH SCORE 991078.064
AT ITER 4876 NEW BEST:: SOT 20831340 SOS 6469012 HAS SOPS 6468217 HAS SOUS 985387 HAS SOUPS 984592 WITH SCORE 991061.012
AT ITER 4881 NEW BEST:: SOT 20831248 SOS 6468920 HAS SOPS 6468125 HAS SOUS 985303 HAS SOUPS 984508 WITH SCORE 990976.92
AT ITER 4884 NEW BEST:: SOT 20831016 SOS 6468688 HAS SOPS 6467893 HAS SOUS 984919 HAS SOUPS 984124 WITH SCORE 990592.688
AT ITER 4885 NEW BEST:: SOT 20830949 SOS 6468621 HAS SOPS 6467826 HAS SOUS 984785 HAS SOUPS 983990 WITH SCORE 990458.621
AT ITER 4887 NEW BEST:: SOT 20830823 SOS 6468495 HAS SOPS 6467700 HAS SOUS 984771 HAS SOUPS 983976 WITH SCORE 990444.495
AT ITER 4910 NEW BEST:: SOT 20830644 SOS 6466526 HAS SOPS 6465731 HAS SOUS 984440 HAS SOUPS 983645 WITH SCORE 990111.526
AT ITER 4935 NEW BEST:: SOT 20823912 SOS 6460080 HAS SOPS 6459285 HAS SOUS 984374 HAS SOUPS 983579 WITH SCORE 990039.08
AT ITER 4940 NEW BEST:: SOT 20823826 SOS 6460282 HAS SOPS 6459487 HAS SOUS 984176 HAS SOUPS 983381 WITH SCORE 989841.282
AT ITER 4960 NEW BEST:: SOT 20823499 SOS 6459894 HAS SOPS 6459099 HAS SOUS 983795 HAS SOUPS 983000 WITH SCORE 989459.894
AT ITER 4964 NEW BEST:: SOT 20823035 SOS 6459430 HAS SOPS 6458635 HAS SOUS 983180 HAS SOUPS 982385 WITH SCORE 988844.43
AT ITER 4968 NEW BEST:: SOT 20823010 SOS 6459405 HAS SOPS 6458610 HAS SOUS 983130 HAS SOUPS 982335 WITH SCORE 988794.405
AT ITER 4992 NEW BEST:: SOT 20822482 SOS 6459115 HAS SOPS 6458320 HAS SOUS 982858 HAS SOUPS 982063 WITH SCORE 988522.115
AT ITER 5009 NEW BEST:: SOT 20822482 SOS 6459115 HAS SOPS 6458320 HAS SOUS 982736 HAS SOUPS 981941 WITH SCORE 988400.115
AT ITER 5045 NEW BEST:: SOT 20822078 SOS 6458711 HAS SOPS 6457916 HAS SOUS 982693 HAS SOUPS 981898 WITH SCORE 988356.711
AT ITER 5052 NEW BEST:: SOT 20822038 SOS 6457081 HAS SOPS 6456286 HAS SOUS 982689 HAS SOUPS 981894 WITH SCORE 988351.081
AT ITER 5077 NEW BEST:: SOT 20822269 SOS 6460299 HAS SOPS 6459504 HAS SOUS 982616 HAS SOUPS 981821 WITH SCORE 988281.299
AT ITER 5098 NEW BEST:: SOT 20822134 SOS 6460164 HAS SOPS 6459369 HAS SOUS 982520 HAS SOUPS 981725 WITH SCORE 988185.164
AT ITER 5113 NEW BEST:: SOT 20822053 SOS 6459812 HAS SOPS 6459017 HAS SOUS 982358 HAS SOUPS 981563 WITH SCORE 988022.812
AT ITER 5116 NEW BEST:: SOT 20822052 SOS 6459712 HAS SOPS 6458917 HAS SOUS 982179 HAS SOUPS 981384 WITH SCORE 987843.712
AT ITER 5119 NEW BEST:: SOT 20821964 SOS 6459624 HAS SOPS 6458829 HAS SOUS 982085 HAS SOUPS 981290 WITH SCORE 987749.624
AT ITER 5127 NEW BEST:: SOT 20821642 SOS 6459302 HAS SOPS 6458507 HAS SOUS 981441 HAS SOUPS 980646 WITH SCORE 987105.302
AT ITER 5141 NEW BEST:: SOT 20821601 SOS 6459261 HAS SOPS 6458466 HAS SOUS 981439 HAS SOUPS 980644 WITH SCORE 987103.261
AT ITER 5155 NEW BEST:: SOT 20821597 SOS 6459168 HAS SOPS 6458373 HAS SOUS 981183 HAS SOUPS 980388 WITH SCORE 986847.168
AT ITER 5160 NEW BEST:: SOT 20821086 SOS 6458657 HAS SOPS 6457862 HAS SOUS 980257 HAS SOUPS 979462 WITH SCORE 985920.657
AT ITER 5171 NEW BEST:: SOT 20820944 SOS 6459651 HAS SOPS 6458856 HAS SOUS 979973 HAS SOUPS 979178 WITH SCORE 985637.651
AT ITER 5172 NEW BEST:: SOT 20820711 SOS 6459418 HAS SOPS 6458623 HAS SOUS 979507 HAS SOUPS 978712 WITH SCORE 985171.418
AT ITER 5179 NEW BEST:: SOT 20820537 SOS 6459244 HAS SOPS 6458449 HAS SOUS 979497 HAS SOUPS 978702 WITH SCORE 985161.244
AT ITER 5190 NEW BEST:: SOT 20820368 SOS 6459075 HAS SOPS 6458280 HAS SOUS 979445 HAS SOUPS 978650 WITH SCORE 985109.075
AT ITER 5200 NEW BEST:: SOT 20820417 SOS 6459063 HAS SOPS 6458268 HAS SOUS 979433 HAS SOUPS 978638 WITH SCORE 985097.063
AT ITER 5209 NEW BEST:: SOT 20820636 SOS 6459547 HAS SOPS 6458752 HAS SOUS 979370 HAS SOUPS 978575 WITH SCORE 985034.547
AT ITER 5219 NEW BEST:: SOT 20820636 SOS 6458238 HAS SOPS 6457443 HAS SOUS 979370 HAS SOUPS 978575 WITH SCORE 985033.238
AT ITER 5221 NEW BEST:: SOT 20820636 SOS 6458238 HAS SOPS 6457443 HAS SOUS 979364 HAS SOUPS 978569 WITH SCORE 985027.238
AT ITER 5231 NEW BEST:: SOT 20820636 SOS 6457988 HAS SOPS 6457193 HAS SOUS 973526 HAS SOUPS 972731 WITH SCORE 979188.988
AT ITER 5233 NEW BEST:: SOT 20820604 SOS 6457636 HAS SOPS 6456841 HAS SOUS 973462 HAS SOUPS 972667 WITH SCORE 979124.636
AT ITER 5278 NEW BEST:: SOT 20820368 SOS 6457542 HAS SOPS 6456747 HAS SOUS 973370 HAS SOUPS 972575 WITH SCORE 979032.542
AT ITER 5292 NEW BEST:: SOT 20820204 SOS 6460104 HAS SOPS 6459309 HAS SOUS 973242 HAS SOUPS 972447 WITH SCORE 978907.104
AT ITER 5305 NEW BEST:: SOT 20819943 SOS 6459843 HAS SOPS 6459048 HAS SOUS 972758 HAS SOUPS 971963 WITH SCORE 978422.843
AT ITER 5309 NEW BEST:: SOT 20819661 SOS 6459561 HAS SOPS 6458766 HAS SOUS 972701 HAS SOUPS 971906 WITH SCORE 978365.561
AT ITER 5313 NEW BEST:: SOT 20819602 SOS 6459384 HAS SOPS 6458589 HAS SOUS 972583 HAS SOUPS 971788 WITH SCORE 978247.384
AT ITER 5314 NEW BEST:: SOT 20819430 SOS 6459212 HAS SOPS 6458417 HAS SOUS 972308 HAS SOUPS 971513 WITH SCORE 977972.212
AT ITER 5323 NEW BEST:: SOT 20819030 SOS 6458812 HAS SOPS 6458017 HAS SOUS 971604 HAS SOUPS 970809 WITH SCORE 977267.812
AT ITER 5332 NEW BEST:: SOT 20818915 SOS 6458557 HAS SOPS 6457762 HAS SOUS 971268 HAS SOUPS 970473 WITH SCORE 976931.557
AT ITER 5333 NEW BEST:: SOT 20818915 SOS 6458087 HAS SOPS 6457292 HAS SOUS 971268 HAS SOUPS 970473 WITH SCORE 976931.087
AT ITER 5339 NEW BEST:: SOT 20818815 SOS 6457987 HAS SOPS 6457192 HAS SOUS 971189 HAS SOUPS 970394 WITH SCORE 976851.987
AT ITER 5345 NEW BEST:: SOT 20818805 SOS 6457939 HAS SOPS 6457144 HAS SOUS 971143 HAS SOUPS 970348 WITH SCORE 976805.939
AT ITER 5355 NEW BEST:: SOT 20818621 SOS 6457755 HAS SOPS 6456960 HAS SOUS 970775 HAS SOUPS 969980 WITH SCORE 976437.755
AT ITER 5365 NEW BEST:: SOT 20818607 SOS 6457741 HAS SOPS 6456946 HAS SOUS 970747 HAS SOUPS 969952 WITH SCORE 976409.741
AT ITER 5366 NEW BEST:: SOT 20818365 SOS 6457499 HAS SOPS 6456704 HAS SOUS 970267 HAS SOUPS 969472 WITH SCORE 975929.499
AT ITER 5392 NEW BEST:: SOT 20818184 SOS 6457318 HAS SOPS 6456523 HAS SOUS 969905 HAS SOUPS 969110 WITH SCORE 975567.318
AT ITER 5398 NEW BEST:: SOT 20818290 SOS 6457359 HAS SOPS 6456564 HAS SOUS 969744 HAS SOUPS 968949 WITH SCORE 975406.359
AT ITER 5400 NEW BEST:: SOT 20818187 SOS 6457256 HAS SOPS 6456461 HAS SOUS 969538 HAS SOUPS 968743 WITH SCORE 975200.256
AT ITER 5407 NEW BEST:: SOT 20818104 SOS 6457173 HAS SOPS 6456378 HAS SOUS 969538 HAS SOUPS 968743 WITH SCORE 975200.173
AT ITER 5412 NEW BEST:: SOT 20818131 SOS 6457213 HAS SOPS 6456418 HAS SOUS 969536 HAS SOUPS 968741 WITH SCORE 975198.213
AT ITER 5416 NEW BEST:: SOT 20818004 SOS 6455564 HAS SOPS 6454769 HAS SOUS 969282 HAS SOUPS 968487 WITH SCORE 974942.564
AT ITER 5433 NEW BEST:: SOT 20816875 SOS 6454435 HAS SOPS 6453640 HAS SOUS 968286 HAS SOUPS 967491 WITH SCORE 973945.435
AT ITER 5461 NEW BEST:: SOT 20816875 SOS 6454410 HAS SOPS 6453615 HAS SOUS 968236 HAS SOUPS 967441 WITH SCORE 973895.41
AT ITER 5465 NEW BEST:: SOT 20816875 SOS 6454249 HAS SOPS 6453454 HAS SOUS 967901 HAS SOUPS 967106 WITH SCORE 973560.249
AT ITER 5477 NEW BEST:: SOT 20816643 SOS 6454017 HAS SOPS 6453222 HAS SOUS 967444 HAS SOUPS 966649 WITH SCORE 973103.017
AT ITER 5478 NEW BEST:: SOT 20816087 SOS 6453461 HAS SOPS 6452666 HAS SOUS 966371 HAS SOUPS 965576 WITH SCORE 972029.461
AT ITER 5484 NEW BEST:: SOT 20815876 SOS 6453346 HAS SOPS 6452551 HAS SOUS 966369 HAS SOUPS 965574 WITH SCORE 972027.346
AT ITER 5497 NEW BEST:: SOT 20815864 SOS 6453334 HAS SOPS 6452539 HAS SOUS 966345 HAS SOUPS 965550 WITH SCORE 972003.334
AT ITER 5617 NEW BEST:: SOT 20815827 SOS 6452927 HAS SOPS 6452132 HAS SOUS 966271 HAS SOUPS 965476 WITH SCORE 971928.927
AT ITER 5624 NEW BEST:: SOT 20815720 SOS 6452820 HAS SOPS 6452025 HAS SOUS 966182 HAS SOUPS 965387 WITH SCORE 971839.82
AT ITER 5643 NEW BEST:: SOT 20815792 SOS 6452864 HAS SOPS 6452069 HAS SOUS 966072 HAS SOUPS 965277 WITH SCORE 971729.864
AT ITER 5681 NEW BEST:: SOT 20815402 SOS 6452539 HAS SOPS 6451744 HAS SOUS 965357 HAS SOUPS 964562 WITH SCORE 971014.539
AT ITER 5682 NEW BEST:: SOT 20815443 SOS 6452543 HAS SOPS 6451748 HAS SOUS 965283 HAS SOUPS 964488 WITH SCORE 970940.543
AT ITER 5693 NEW BEST:: SOT 20815242 SOS 6452780 HAS SOPS 6451985 HAS SOUS 964946 HAS SOUPS 964151 WITH SCORE 970603.78
AT ITER 5705 NEW BEST:: SOT 20815242 SOS 6452750 HAS SOPS 6451955 HAS SOUS 964943 HAS SOUPS 964148 WITH SCORE 970600.75
AT ITER 5709 NEW BEST:: SOT 20814491 SOS 6451999 HAS SOPS 6451204 HAS SOUS 964047 HAS SOUPS 963252 WITH SCORE 969703.999
AT ITER 5720 NEW BEST:: SOT 20814573 SOS 6452037 HAS SOPS 6451242 HAS SOUS 963869 HAS SOUPS 963074 WITH SCORE 969526.037
AT ITER 5749 NEW BEST:: SOT 20814499 SOS 6451963 HAS SOPS 6451168 HAS SOUS 963730 HAS SOUPS 962935 WITH SCORE 969386.963
AT ITER 5761 NEW BEST:: SOT 20814488 SOS 6451952 HAS SOPS 6451157 HAS SOUS 963720 HAS SOUPS 962925 WITH SCORE 969376.952
AT ITER 5763 NEW BEST:: SOT 20814488 SOS 6451937 HAS SOPS 6451142 HAS SOUS 963720 HAS SOUPS 962925 WITH SCORE 969376.937
AT ITER 5767 NEW BEST:: SOT 20814531 SOS 6451980 HAS SOPS 6451185 HAS SOUS 963625 HAS SOUPS 962830 WITH SCORE 969281.98
AT ITER 5784 NEW BEST:: SOT 20814517 SOS 6451966 HAS SOPS 6451171 HAS SOUS 963583 HAS SOUPS 962788 WITH SCORE 969239.966
AT ITER 5811 NEW BEST:: SOT 20814517 SOS 6451958 HAS SOPS 6451163 HAS SOUS 963583 HAS SOUPS 962788 WITH SCORE 969239.958
AT ITER 5822 NEW BEST:: SOT 20814299 SOS 6451740 HAS SOPS 6450945 HAS SOUS 963147 HAS SOUPS 962352 WITH SCORE 968803.74
AT ITER 5825 NEW BEST:: SOT 20814120 SOS 6451561 HAS SOPS 6450766 HAS SOUS 962984 HAS SOUPS 962189 WITH SCORE 968640.561
AT ITER 5840 NEW BEST:: SOT 20813931 SOS 6451372 HAS SOPS 6450577 HAS SOUS 962972 HAS SOUPS 962177 WITH SCORE 968628.372
AT ITER 5844 NEW BEST:: SOT 20813779 SOS 6451346 HAS SOPS 6450551 HAS SOUS 962920 HAS SOUPS 962125 WITH SCORE 968576.346
AT ITER 5882 NEW BEST:: SOT 20813715 SOS 6449882 HAS SOPS 6449087 HAS SOUS 962900 HAS SOUPS 962105 WITH SCORE 968554.882
AT ITER 5889 NEW BEST:: SOT 20813715 SOS 6449857 HAS SOPS 6449062 HAS SOUS 962864 HAS SOUPS 962069 WITH SCORE 968518.857
AT ITER 5891 NEW BEST:: SOT 20813895 SOS 6449838 HAS SOPS 6449043 HAS SOUS 962826 HAS SOUPS 962031 WITH SCORE 968480.838
AT ITER 5892 NEW BEST:: SOT 20811521 SOS 6447548 HAS SOPS 6446753 HAS SOUS 962056 HAS SOUPS 961261 WITH SCORE 967708.548
AT ITER 5907 NEW BEST:: SOT 20811483 SOS 6447472 HAS SOPS 6446677 HAS SOUS 962053 HAS SOUPS 961258 WITH SCORE 967705.472
AT ITER 5911 NEW BEST:: SOT 20811460 SOS 6444483 HAS SOPS 6443688 HAS SOUS 962007 HAS SOUPS 961212 WITH SCORE 967656.483
AT ITER 5914 NEW BEST:: SOT 20811460 SOS 6444471 HAS SOPS 6443676 HAS SOUS 961995 HAS SOUPS 961200 WITH SCORE 967644.471
AT ITER 5930 NEW BEST:: SOT 20811301 SOS 6444312 HAS SOPS 6443517 HAS SOUS 961750 HAS SOUPS 960955 WITH SCORE 967399.312
AT ITER 5934 NEW BEST:: SOT 20811167 SOS 6444178 HAS SOPS 6443383 HAS SOUS 961522 HAS SOUPS 960727 WITH SCORE 967171.178
AT ITER 5940 NEW BEST:: SOT 20810747 SOS 6443758 HAS SOPS 6442963 HAS SOUS 961057 HAS SOUPS 960262 WITH SCORE 966705.758
AT ITER 5942 NEW BEST:: SOT 20810752 SOS 6443763 HAS SOPS 6442968 HAS SOUS 961018 HAS SOUPS 960223 WITH SCORE 966666.763
AT ITER 5980 NEW BEST:: SOT 20810021 SOS 6443090 HAS SOPS 6442295 HAS SOUS 960986 HAS SOUPS 960191 WITH SCORE 966634.09
AT ITER 5999 NEW BEST:: SOT 20810021 SOS 6443090 HAS SOPS 6442295 HAS SOUS 960817 HAS SOUPS 960022 WITH SCORE 966465.09
AT ITER 6025 NEW BEST:: SOT 20809986 SOS 6443055 HAS SOPS 6442260 HAS SOUS 960738 HAS SOUPS 959943 WITH SCORE 966386.055
AT ITER 6051 NEW BEST:: SOT 20809897 SOS 6442966 HAS SOPS 6442171 HAS SOUS 960560 HAS SOUPS 959765 WITH SCORE 966207.966
AT ITER 6061 NEW BEST:: SOT 20809897 SOS 6442966 HAS SOPS 6442171 HAS SOUS 960558 HAS SOUPS 959763 WITH SCORE 966205.966
AT ITER 6104 NEW BEST:: SOT 20809897 SOS 6442966 HAS SOPS 6442171 HAS SOUS 960556 HAS SOUPS 959761 WITH SCORE 966203.966
AT ITER 6109 NEW BEST:: SOT 20809995 SOS 6442939 HAS SOPS 6442144 HAS SOUS 960529 HAS SOUPS 959734 WITH SCORE 966176.939
AT ITER 6195 NEW BEST:: SOT 20809827 SOS 6442771 HAS SOPS 6441976 HAS SOUS 960312 HAS SOUPS 959517 WITH SCORE 965959.771
AT ITER 6197 NEW BEST:: SOT 20793319 SOS 6438130 HAS SOPS 6436969 HAS SOUS 958515 HAS SOUPS 957354 WITH SCORE 963792.13
AT ITER 6198 NEW BEST:: SOT 20774100 SOS 6419092 HAS SOPS 6417750 HAS SOUS 939477 HAS SOUPS 938135 WITH SCORE 944554.092
AT ITER 6200 NEW BEST:: SOT 20774187 SOS 6420056 HAS SOPS 6418714 HAS SOUS 939290 HAS SOUPS 937948 WITH SCORE 944368.056
AT ITER 6212 NEW BEST:: SOT 20774197 SOS 6420056 HAS SOPS 6418714 HAS SOUS 939235 HAS SOUPS 937893 WITH SCORE 944313.056
AT ITER 6231 NEW BEST:: SOT 20774383 SOS 6420116 HAS SOPS 6418774 HAS SOUS 939229 HAS SOUPS 937887 WITH SCORE 944307.116
AT ITER 6249 NEW BEST:: SOT 20773879 SOS 6419780 HAS SOPS 6418438 HAS SOUS 938725 HAS SOUPS 937383 WITH SCORE 943802.78
AT ITER 6273 NEW BEST:: SOT 20773854 SOS 6419255 HAS SOPS 6417913 HAS SOUS 938675 HAS SOUPS 937333 WITH SCORE 943752.255
AT ITER 6278 NEW BEST:: SOT 20773854 SOS 6419255 HAS SOPS 6417913 HAS SOUS 938666 HAS SOUPS 937324 WITH SCORE 943743.255
AT ITER 6284 NEW BEST:: SOT 20773581 SOS 6418952 HAS SOPS 6417610 HAS SOUS 938426 HAS SOUPS 937084 WITH SCORE 943502.952
AT ITER 6292 NEW BEST:: SOT 20773427 SOS 6418798 HAS SOPS 6417456 HAS SOUS 938118 HAS SOUPS 936776 WITH SCORE 943194.798
AT ITER 6293 NEW BEST:: SOT 20773301 SOS 6418672 HAS SOPS 6417330 HAS SOUS 937922 HAS SOUPS 936580 WITH SCORE 942998.672
AT ITER 6306 NEW BEST:: SOT 20773295 SOS 6418660 HAS SOPS 6417318 HAS SOUS 937910 HAS SOUPS 936568 WITH SCORE 942986.66
AT ITER 6311 NEW BEST:: SOT 20773256 SOS 6418621 HAS SOPS 6417279 HAS SOUS 937892 HAS SOUPS 936550 WITH SCORE 942968.621
AT ITER 6318 NEW BEST:: SOT 20773234 SOS 6418599 HAS SOPS 6417257 HAS SOUS 937892 HAS SOUPS 936550 WITH SCORE 942968.599
AT ITER 6322 NEW BEST:: SOT 20772781 SOS 6418146 HAS SOPS 6416804 HAS SOUS 937590 HAS SOUPS 936248 WITH SCORE 942666.146
AT ITER 6323 NEW BEST:: SOT 20772461 SOS 6417826 HAS SOPS 6416484 HAS SOUS 937576 HAS SOUPS 936234 WITH SCORE 942651.826
AT ITER 6325 NEW BEST:: SOT 20772194 SOS 6417559 HAS SOPS 6416217 HAS SOUS 937042 HAS SOUPS 935700 WITH SCORE 942117.559
AT ITER 6340 NEW BEST:: SOT 20772069 SOS 6417434 HAS SOPS 6416092 HAS SOUS 936792 HAS SOUPS 935450 WITH SCORE 941867.434
AT ITER 6368 NEW BEST:: SOT 20771577 SOS 6416942 HAS SOPS 6415600 HAS SOUS 936314 HAS SOUPS 934972 WITH SCORE 941388.942
AT ITER 6394 NEW BEST:: SOT 20770967 SOS 6416332 HAS SOPS 6414990 HAS SOUS 935644 HAS SOUPS 934302 WITH SCORE 940718.332
AT ITER 6397 NEW BEST:: SOT 20770979 SOS 6417126 HAS SOPS 6415784 HAS SOUS 935634 HAS SOUPS 934292 WITH SCORE 940709.126
AT ITER 6405 NEW BEST:: SOT 20770979 SOS 6417126 HAS SOPS 6415784 HAS SOUS 935633 HAS SOUPS 934291 WITH SCORE 940708.126
AT ITER 6431 NEW BEST:: SOT 20761065 SOS 6407475 HAS SOPS 6406133 HAS SOUS 934063 HAS SOUPS 932721 WITH SCORE 939128.475
AT ITER 6433 NEW BEST:: SOT 20760945 SOS 6407355 HAS SOPS 6406013 HAS SOUS 933823 HAS SOUPS 932481 WITH SCORE 938888.355
AT ITER 6437 NEW BEST:: SOT 20760940 SOS 6407350 HAS SOPS 6406008 HAS SOUS 933813 HAS SOUPS 932471 WITH SCORE 938878.35
AT ITER 6441 NEW BEST:: SOT 20760862 SOS 6407272 HAS SOPS 6405930 HAS SOUS 933657 HAS SOUPS 932315 WITH SCORE 938722.272
AT ITER 6456 NEW BEST:: SOT 20760862 SOS 6406812 HAS SOPS 6405470 HAS SOUS 933464 HAS SOUPS 932122 WITH SCORE 938528.812
AT ITER 6465 NEW BEST:: SOT 20760860 SOS 6406810 HAS SOPS 6405468 HAS SOUS 933422 HAS SOUPS 932080 WITH SCORE 938486.81
AT ITER 6466 NEW BEST:: SOT 20760538 SOS 6406488 HAS SOPS 6405146 HAS SOUS 932831 HAS SOUPS 931489 WITH SCORE 937895.488
AT ITER 6512 NEW BEST:: SOT 20760538 SOS 6406488 HAS SOPS 6405146 HAS SOUS 932826 HAS SOUPS 931484 WITH SCORE 937890.488
AT ITER 6528 NEW BEST:: SOT 20760747 SOS 6406392 HAS SOPS 6405050 HAS SOUS 932541 HAS SOUPS 931199 WITH SCORE 937605.392
AT ITER 6531 NEW BEST:: SOT 20760747 SOS 6405582 HAS SOPS 6404240 HAS SOUS 932483 HAS SOUPS 931141 WITH SCORE 937546.582
AT ITER 6540 NEW BEST:: SOT 20760625 SOS 6405460 HAS SOPS 6404118 HAS SOUS 932361 HAS SOUPS 931019 WITH SCORE 937424.46
AT ITER 6575 NEW BEST:: SOT 20760600 SOS 6405435 HAS SOPS 6404093 HAS SOUS 932311 HAS SOUPS 930969 WITH SCORE 937374.435
AT ITER 6577 NEW BEST:: SOT 20760600 SOS 6405435 HAS SOPS 6404093 HAS SOUS 932309 HAS SOUPS 930967 WITH SCORE 937372.435
AT ITER 6583 NEW BEST:: SOT 20760642 SOS 6405425 HAS SOPS 6404083 HAS SOUS 932262 HAS SOUPS 930920 WITH SCORE 937325.425
AT ITER 6586 NEW BEST:: SOT 20760628 SOS 6405411 HAS SOPS 6404069 HAS SOUS 932234 HAS SOUPS 930892 WITH SCORE 937297.411
AT ITER 6590 NEW BEST:: SOT 20760628 SOS 6405211 HAS SOPS 6403869 HAS SOUS 931867 HAS SOUPS 930525 WITH SCORE 936930.211
AT ITER 6593 NEW BEST:: SOT 20760526 SOS 6405109 HAS SOPS 6403767 HAS SOUS 931867 HAS SOUPS 930525 WITH SCORE 936930.109
AT ITER 6594 NEW BEST:: SOT 20760526 SOS 6405091 HAS SOPS 6403749 HAS SOUS 931067 HAS SOUPS 929725 WITH SCORE 936130.091
AT ITER 6612 NEW BEST:: SOT 20760503 SOS 6405068 HAS SOPS 6403726 HAS SOUS 931067 HAS SOUPS 929725 WITH SCORE 936130.068
AT ITER 6619 NEW BEST:: SOT 20760562 SOS 6404999 HAS SOPS 6403657 HAS SOUS 931004 HAS SOUPS 929662 WITH SCORE 936066.999
AT ITER 6620 NEW BEST:: SOT 20760512 SOS 6404949 HAS SOPS 6403607 HAS SOUS 930904 HAS SOUPS 929562 WITH SCORE 935966.949
AT ITER 6626 NEW BEST:: SOT 20760406 SOS 6404843 HAS SOPS 6403501 HAS SOUS 930692 HAS SOUPS 929350 WITH SCORE 935754.843
AT ITER 6632 NEW BEST:: SOT 20760254 SOS 6404691 HAS SOPS 6403349 HAS SOUS 930602 HAS SOUPS 929260 WITH SCORE 935664.691
AT ITER 6637 NEW BEST:: SOT 20759988 SOS 6404425 HAS SOPS 6403083 HAS SOUS 929774 HAS SOUPS 928432 WITH SCORE 934836.425
AT ITER 6667 NEW BEST:: SOT 20759337 SOS 6403821 HAS SOPS 6402479 HAS SOUS 929689 HAS SOUPS 928347 WITH SCORE 934750.821
AT ITER 6676 NEW BEST:: SOT 20759337 SOS 6403711 HAS SOPS 6402369 HAS SOUS 929516 HAS SOUPS 928174 WITH SCORE 934577.711
AT ITER 6689 NEW BEST:: SOT 20759158 SOS 6402722 HAS SOPS 6401380 HAS SOUS 929237 HAS SOUPS 927895 WITH SCORE 934297.722
AT ITER 6697 NEW BEST:: SOT 20758847 SOS 6402449 HAS SOPS 6401107 HAS SOUS 929225 HAS SOUPS 927883 WITH SCORE 934285.449
AT ITER 6737 NEW BEST:: SOT 20758744 SOS 6402346 HAS SOPS 6401004 HAS SOUS 929069 HAS SOUPS 927727 WITH SCORE 934129.346
AT ITER 6741 NEW BEST:: SOT 20758689 SOS 6402291 HAS SOPS 6400949 HAS SOUS 928959 HAS SOUPS 927617 WITH SCORE 934019.291
AT ITER 6753 NEW BEST:: SOT 20758635 SOS 6402237 HAS SOPS 6400895 HAS SOUS 928669 HAS SOUPS 927327 WITH SCORE 933729.237
AT ITER 6762 NEW BEST:: SOT 20758466 SOS 6402068 HAS SOPS 6400726 HAS SOUS 928654 HAS SOUPS 927312 WITH SCORE 933714.068
AT ITER 6776 NEW BEST:: SOT 20758496 SOS 6402098 HAS SOPS 6400756 HAS SOUS 928509 HAS SOUPS 927167 WITH SCORE 933569.098
AT ITER 6777 NEW BEST:: SOT 20758496 SOS 6402098 HAS SOPS 6400756 HAS SOUS 928428 HAS SOUPS 927086 WITH SCORE 933488.098
AT ITER 6786 NEW BEST:: SOT 20758496 SOS 6402098 HAS SOPS 6400756 HAS SOUS 928339 HAS SOUPS 926997 WITH SCORE 933399.098
AT ITER 6801 NEW BEST:: SOT 20758496 SOS 6400433 HAS SOPS 6399091 HAS SOUS 928339 HAS SOUPS 926997 WITH SCORE 933397.433
AT ITER 6806 NEW BEST:: SOT 20758304 SOS 6400241 HAS SOPS 6398899 HAS SOUS 927959 HAS SOUPS 926617 WITH SCORE 933017.241
AT ITER 6814 NEW BEST:: SOT 20758291 SOS 6400228 HAS SOPS 6398886 HAS SOUS 927933 HAS SOUPS 926591 WITH SCORE 932991.228
AT ITER 6836 NEW BEST:: SOT 20758291 SOS 6400223 HAS SOPS 6398881 HAS SOUS 927923 HAS SOUPS 926581 WITH SCORE 932981.223
AT ITER 6850 NEW BEST:: SOT 20758091 SOS 6400170 HAS SOPS 6398828 HAS SOUS 927921 HAS SOUPS 926579 WITH SCORE 932979.17
AT ITER 6855 NEW BEST:: SOT 20758068 SOS 6400147 HAS SOPS 6398805 HAS SOUS 927875 HAS SOUPS 926533 WITH SCORE 932933.147
AT ITER 6871 NEW BEST:: SOT 20758006 SOS 6400023 HAS SOPS 6398681 HAS SOUS 927751 HAS SOUPS 926409 WITH SCORE 932809.023
AT ITER 6884 NEW BEST:: SOT 20757936 SOS 6399953 HAS SOPS 6398611 HAS SOUS 927611 HAS SOUPS 926269 WITH SCORE 932668.953
AT ITER 6898 NEW BEST:: SOT 20757936 SOS 6399953 HAS SOPS 6398611 HAS SOUS 927490 HAS SOUPS 926148 WITH SCORE 932547.953
AT ITER 6899 NEW BEST:: SOT 20757936 SOS 6399907 HAS SOPS 6398565 HAS SOUS 927490 HAS SOUPS 926148 WITH SCORE 932547.907
AT ITER 6930 NEW BEST:: SOT 20757904 SOS 6399875 HAS SOPS 6398533 HAS SOUS 927426 HAS SOUPS 926084 WITH SCORE 932483.875
AT ITER 6931 NEW BEST:: SOT 20757899 SOS 6399870 HAS SOPS 6398528 HAS SOUS 927416 HAS SOUPS 926074 WITH SCORE 932473.87
AT ITER 6932 NEW BEST:: SOT 20757894 SOS 6399865 HAS SOPS 6398523 HAS SOUS 927389 HAS SOUPS 926047 WITH SCORE 932446.865
AT ITER 6951 NEW BEST:: SOT 20757780 SOS 6403915 HAS SOPS 6402573 HAS SOUS 927244 HAS SOUPS 925902 WITH SCORE 932305.915
AT ITER 6952 NEW BEST:: SOT 20757442 SOS 6403577 HAS SOPS 6402235 HAS SOUS 927075 HAS SOUPS 925733 WITH SCORE 932136.577
AT ITER 6974 NEW BEST:: SOT 20756839 SOS 6402797 HAS SOPS 6401455 HAS SOUS 926859 HAS SOUPS 925517 WITH SCORE 931919.797
AT ITER 6997 NEW BEST:: SOT 20756804 SOS 6402762 HAS SOPS 6401420 HAS SOUS 926801 HAS SOUPS 925459 WITH SCORE 931861.762
AT ITER 7016 NEW BEST:: SOT 20756804 SOS 6402762 HAS SOPS 6401420 HAS SOUS 926779 HAS SOUPS 925437 WITH SCORE 931839.762
AT ITER 7018 NEW BEST:: SOT 20756203 SOS 6402161 HAS SOPS 6400819 HAS SOUS 926778 HAS SOUPS 925436 WITH SCORE 931838.161
AT ITER 7031 NEW BEST:: SOT 20755875 SOS 6401965 HAS SOPS 6400623 HAS SOUS 926518 HAS SOUPS 925176 WITH SCORE 931577.965
AT ITER 7049 NEW BEST:: SOT 20755756 SOS 6401846 HAS SOPS 6400504 HAS SOUS 926399 HAS SOUPS 925057 WITH SCORE 931458.846
AT ITER 7052 NEW BEST:: SOT 20755756 SOS 6401678 HAS SOPS 6400336 HAS SOUS 926394 HAS SOUPS 925052 WITH SCORE 931453.678
AT ITER 7067 NEW BEST:: SOT 20755571 SOS 6401493 HAS SOPS 6400151 HAS SOUS 926216 HAS SOUPS 924874 WITH SCORE 931275.493
AT ITER 7096 NEW BEST:: SOT 20755424 SOS 6401346 HAS SOPS 6400004 HAS SOUS 925967 HAS SOUPS 924625 WITH SCORE 931026.346
AT ITER 7100 NEW BEST:: SOT 20755424 SOS 6401225 HAS SOPS 6399883 HAS SOUS 925916 HAS SOUPS 924574 WITH SCORE 930975.225
AT ITER 7116 NEW BEST:: SOT 20747107 SOS 6392909 HAS SOPS 6391567 HAS SOUS 920848 HAS SOUPS 919506 WITH SCORE 925898.909
AT ITER 7141 NEW BEST:: SOT 20747107 SOS 6393129 HAS SOPS 6391787 HAS SOUS 920802 HAS SOUPS 919460 WITH SCORE 925853.129
AT ITER 7157 NEW BEST:: SOT 20747079 SOS 6393101 HAS SOPS 6391759 HAS SOUS 920792 HAS SOUPS 919450 WITH SCORE 925843.101
AT ITER 7168 NEW BEST:: SOT 20746967 SOS 6392989 HAS SOPS 6391647 HAS SOUS 920624 HAS SOUPS 919282 WITH SCORE 925674.989
AT ITER 7174 NEW BEST:: SOT 20746967 SOS 6392989 HAS SOPS 6391647 HAS SOUS 920563 HAS SOUPS 919221 WITH SCORE 925613.989
AT ITER 7177 NEW BEST:: SOT 20746967 SOS 6391349 HAS SOPS 6390007 HAS SOUS 920549 HAS SOUPS 919207 WITH SCORE 925598.349
AT ITER 7201 NEW BEST:: SOT 20742675 SOS 6387172 HAS SOPS 6385830 HAS SOUS 918542 HAS SOUPS 917200 WITH SCORE 923587.172
AT ITER 7205 NEW BEST:: SOT 20742653 SOS 6387112 HAS SOPS 6385770 HAS SOUS 918469 HAS SOUPS 917127 WITH SCORE 923514.112
AT ITER 7220 NEW BEST:: SOT 20742319 SOS 6386778 HAS SOPS 6385436 HAS SOUS 918246 HAS SOUPS 916904 WITH SCORE 923290.778
AT ITER 7239 NEW BEST:: SOT 20742126 SOS 6386585 HAS SOPS 6385243 HAS SOUS 918015 HAS SOUPS 916673 WITH SCORE 923059.585
AT ITER 7258 NEW BEST:: SOT 20742052 SOS 6385771 HAS SOPS 6384429 HAS SOUS 917867 HAS SOUPS 916525 WITH SCORE 922910.771
AT ITER 7268 NEW BEST:: SOT 20741762 SOS 6385481 HAS SOPS 6384139 HAS SOUS 917287 HAS SOUPS 915945 WITH SCORE 922330.481
AT ITER 7269 NEW BEST:: SOT 20741720 SOS 6385486 HAS SOPS 6384144 HAS SOUS 917231 HAS SOUPS 915889 WITH SCORE 922274.486
AT ITER 7288 NEW BEST:: SOT 20741133 SOS 6384709 HAS SOPS 6383367 HAS SOUS 916739 HAS SOUPS 915397 WITH SCORE 921781.709
AT ITER 7289 NEW BEST:: SOT 20736200 SOS 6379880 HAS SOPS 6378538 HAS SOUS 914872 HAS SOUPS 913530 WITH SCORE 919909.88
AT ITER 7313 NEW BEST:: SOT 20723635 SOS 6367315 HAS SOPS 6365973 HAS SOUS 902082 HAS SOUPS 900740 WITH SCORE 907107.315
AT ITER 7322 NEW BEST:: SOT 20723580 SOS 6367260 HAS SOPS 6365918 HAS SOUS 902059 HAS SOUPS 900717 WITH SCORE 907084.26
AT ITER 7364 NEW BEST:: SOT 20723580 SOS 6367260 HAS SOPS 6365918 HAS SOUS 902017 HAS SOUPS 900675 WITH SCORE 907042.26
AT ITER 7377 NEW BEST:: SOT 20723166 SOS 6366846 HAS SOPS 6365504 HAS SOUS 901620 HAS SOUPS 900278 WITH SCORE 906644.846
AT ITER 7394 NEW BEST:: SOT 20722779 SOS 6366584 HAS SOPS 6365242 HAS SOUS 901035 HAS SOUPS 899693 WITH SCORE 906059.584
AT ITER 7410 NEW BEST:: SOT 20716343 SOS 6360306 HAS SOPS 6358964 HAS SOUS 897990 HAS SOUPS 896648 WITH SCORE 903008.306
AT ITER 7422 NEW BEST:: SOT 20716356 SOS 6360319 HAS SOPS 6358977 HAS SOUS 897956 HAS SOUPS 896614 WITH SCORE 902974.319
AT ITER 7423 NEW BEST:: SOT 20716103 SOS 6359843 HAS SOPS 6358501 HAS SOUS 897257 HAS SOUPS 895915 WITH SCORE 902274.843
AT ITER 7433 NEW BEST:: SOT 20715746 SOS 6359499 HAS SOPS 6358157 HAS SOUS 897127 HAS SOUPS 895785 WITH SCORE 902144.499
AT ITER 7468 NEW BEST:: SOT 20715603 SOS 6359196 HAS SOPS 6357854 HAS SOUS 896521 HAS SOUPS 895179 WITH SCORE 901538.196
AT ITER 7471 NEW BEST:: SOT 20715603 SOS 6359200 HAS SOPS 6357858 HAS SOUS 896462 HAS SOUPS 895120 WITH SCORE 901479.2
AT ITER 7485 NEW BEST:: SOT 20715468 SOS 6359065 HAS SOPS 6357723 HAS SOUS 896117 HAS SOUPS 894775 WITH SCORE 901134.065
AT ITER 7487 NEW BEST:: SOT 20715376 SOS 6358973 HAS SOPS 6357631 HAS SOUS 895837 HAS SOUPS 894495 WITH SCORE 900853.973
AT ITER 7499 NEW BEST:: SOT 20715334 SOS 6358931 HAS SOPS 6357589 HAS SOUS 895795 HAS SOUPS 894453 WITH SCORE 900811.931
AT ITER 7506 NEW BEST:: SOT 20714677 SOS 6358274 HAS SOPS 6356932 HAS SOUS 895423 HAS SOUPS 894081 WITH SCORE 900439.274
AT ITER 7510 NEW BEST:: SOT 20714603 SOS 6358200 HAS SOPS 6356858 HAS SOUS 895317 HAS SOUPS 893975 WITH SCORE 900333.2
AT ITER 7518 NEW BEST:: SOT 20714429 SOS 6358026 HAS SOPS 6356684 HAS SOUS 895139 HAS SOUPS 893797 WITH SCORE 900155.026
AT ITER 7540 NEW BEST:: SOT 20714323 SOS 6357894 HAS SOPS 6356552 HAS SOUS 895079 HAS SOUPS 893737 WITH SCORE 900094.894
AT ITER 7542 NEW BEST:: SOT 20714235 SOS 6357806 HAS SOPS 6356464 HAS SOUS 894920 HAS SOUPS 893578 WITH SCORE 899935.806
AT ITER 7553 NEW BEST:: SOT 20714391 SOS 6361402 HAS SOPS 6360060 HAS SOUS 894888 HAS SOUPS 893546 WITH SCORE 899907.402
AT ITER 7556 NEW BEST:: SOT 20714353 SOS 6361364 HAS SOPS 6360022 HAS SOUS 894869 HAS SOUPS 893527 WITH SCORE 899888.364
AT ITER 7557 NEW BEST:: SOT 20714245 SOS 6361256 HAS SOPS 6359914 HAS SOUS 894637 HAS SOUPS 893295 WITH SCORE 899656.256
AT ITER 7569 NEW BEST:: SOT 20714245 SOS 6361256 HAS SOPS 6359914 HAS SOUS 894632 HAS SOUPS 893290 WITH SCORE 899651.256
AT ITER 7617 NEW BEST:: SOT 20714617 SOS 6361628 HAS SOPS 6360286 HAS SOUS 894618 HAS SOUPS 893276 WITH SCORE 899637.628
AT ITER 7624 NEW BEST:: SOT 20714501 SOS 6361512 HAS SOPS 6360170 HAS SOUS 894386 HAS SOUPS 893044 WITH SCORE 899405.512
AT ITER 7645 NEW BEST:: SOT 20714499 SOS 6361510 HAS SOPS 6360168 HAS SOUS 894383 HAS SOUPS 893041 WITH SCORE 899402.51
AT ITER 7654 NEW BEST:: SOT 20714025 SOS 6361036 HAS SOPS 6359694 HAS SOUS 894056 HAS SOUPS 892714 WITH SCORE 899075.036
AT ITER 7656 NEW BEST:: SOT 20714025 SOS 6360856 HAS SOPS 6359514 HAS SOUS 893934 HAS SOUPS 892592 WITH SCORE 898952.856
AT ITER 7661 NEW BEST:: SOT 20714025 SOS 6360784 HAS SOPS 6359442 HAS SOUS 893862 HAS SOUPS 892520 WITH SCORE 898880.784
AT ITER 7662 NEW BEST:: SOT 20713984 SOS 6360471 HAS SOPS 6359129 HAS SOUS 893235 HAS SOUPS 891893 WITH SCORE 898253.471
AT ITER 7672 NEW BEST:: SOT 20713848 SOS 6360335 HAS SOPS 6358993 HAS SOUS 893235 HAS SOUPS 891893 WITH SCORE 898253.335
AT ITER 7684 NEW BEST:: SOT 20713784 SOS 6360271 HAS SOPS 6358929 HAS SOUS 893149 HAS SOUPS 891807 WITH SCORE 898167.271
AT ITER 7687 NEW BEST:: SOT 20713437 SOS 6359924 HAS SOPS 6358582 HAS SOUS 892890 HAS SOUPS 891548 WITH SCORE 897907.924
AT ITER 7701 NEW BEST:: SOT 20713370 SOS 6359857 HAS SOPS 6358515 HAS SOUS 892788 HAS SOUPS 891446 WITH SCORE 897805.857
AT ITER 7708 NEW BEST:: SOT 20713370 SOS 6360235 HAS SOPS 6358893 HAS SOUS 892785 HAS SOUPS 891443 WITH SCORE 897803.235
AT ITER 7721 NEW BEST:: SOT 20713205 SOS 6360070 HAS SOPS 6358728 HAS SOUS 892613 HAS SOUPS 891271 WITH SCORE 897631.07
AT ITER 7725 NEW BEST:: SOT 20712866 SOS 6359731 HAS SOPS 6358389 HAS SOUS 891982 HAS SOUPS 890640 WITH SCORE 896999.731
AT ITER 7731 NEW BEST:: SOT 20712866 SOS 6359731 HAS SOPS 6358389 HAS SOUS 891845 HAS SOUPS 890503 WITH SCORE 896862.731
AT ITER 7732 NEW BEST:: SOT 20712579 SOS 6359404 HAS SOPS 6358062 HAS SOUS 891629 HAS SOUPS 890287 WITH SCORE 896646.404
AT ITER 7738 NEW BEST:: SOT 20712454 SOS 6359279 HAS SOPS 6357937 HAS SOUS 891543 HAS SOUPS 890201 WITH SCORE 896560.279
AT ITER 7749 NEW BEST:: SOT 20712176 SOS 6359001 HAS SOPS 6357659 HAS SOUS 890989 HAS SOUPS 889647 WITH SCORE 896006.001
AT ITER 7778 NEW BEST:: SOT 20712059 SOS 6358884 HAS SOPS 6357542 HAS SOUS 890915 HAS SOUPS 889573 WITH SCORE 895931.884
AT ITER 7779 NEW BEST:: SOT 20712059 SOS 6356264 HAS SOPS 6354922 HAS SOUS 890653 HAS SOUPS 889311 WITH SCORE 895667.264
AT ITER 7786 NEW BEST:: SOT 20711771 SOS 6356387 HAS SOPS 6355045 HAS SOUS 890077 HAS SOUPS 888735 WITH SCORE 895091.387
AT ITER 7796 NEW BEST:: SOT 20711771 SOS 6356387 HAS SOPS 6355045 HAS SOUS 889984 HAS SOUPS 888642 WITH SCORE 894998.387
AT ITER 7804 NEW BEST:: SOT 20711752 SOS 6356368 HAS SOPS 6355026 HAS SOUS 889920 HAS SOUPS 888578 WITH SCORE 894934.368
AT ITER 7810 NEW BEST:: SOT 20711642 SOS 6356258 HAS SOPS 6354916 HAS SOUS 889515 HAS SOUPS 888173 WITH SCORE 894529.258
AT ITER 7815 NEW BEST:: SOT 20711521 SOS 6356137 HAS SOPS 6354795 HAS SOUS 889394 HAS SOUPS 888052 WITH SCORE 894408.137
AT ITER 7820 NEW BEST:: SOT 20711527 SOS 6356143 HAS SOPS 6354801 HAS SOUS 889314 HAS SOUPS 887972 WITH SCORE 894328.143
AT ITER 7825 NEW BEST:: SOT 20711540 SOS 6356140 HAS SOPS 6354798 HAS SOUS 889308 HAS SOUPS 887966 WITH SCORE 894322.14
AT ITER 7841 NEW BEST:: SOT 20711514 SOS 6356114 HAS SOPS 6354772 HAS SOUS 889256 HAS SOUPS 887914 WITH SCORE 894270.114
AT ITER 7846 NEW BEST:: SOT 20711340 SOS 6354930 HAS SOPS 6353588 HAS SOUS 889009 HAS SOUPS 887667 WITH SCORE 894021.93
AT ITER 7861 NEW BEST:: SOT 20711340 SOS 6354830 HAS SOPS 6353488 HAS SOUS 888989 HAS SOUPS 887647 WITH SCORE 894001.83
AT ITER 7865 NEW BEST:: SOT 20710963 SOS 6354621 HAS SOPS 6353279 HAS SOUS 888571 HAS SOUPS 887229 WITH SCORE 893583.621
AT ITER 7869 NEW BEST:: SOT 20700584 SOS 6344435 HAS SOPS 6342851 HAS SOUS 878223 HAS SOUPS 876639 WITH SCORE 882983.435
AT ITER 7884 NEW BEST:: SOT 20699879 SOS 6344064 HAS SOPS 6342480 HAS SOUS 877878 HAS SOUPS 876294 WITH SCORE 882638.064
AT ITER 7892 NEW BEST:: SOT 20699649 SOS 6343344 HAS SOPS 6341760 HAS SOUS 877672 HAS SOUPS 876088 WITH SCORE 882431.344
AT ITER 7902 NEW BEST:: SOT 20699446 SOS 6343141 HAS SOPS 6341557 HAS SOUS 877471 HAS SOUPS 875887 WITH SCORE 882230.141
AT ITER 7907 NEW BEST:: SOT 20699431 SOS 6343126 HAS SOPS 6341542 HAS SOUS 877441 HAS SOUPS 875857 WITH SCORE 882200.126
AT ITER 7911 NEW BEST:: SOT 20698698 SOS 6342145 HAS SOPS 6340561 HAS SOUS 876977 HAS SOUPS 875393 WITH SCORE 881735.145
AT ITER 7916 NEW BEST:: SOT 20693958 SOS 6337405 HAS SOPS 6335821 HAS SOUS 872152 HAS SOUPS 870568 WITH SCORE 876905.405
AT ITER 7941 NEW BEST:: SOT 20693926 SOS 6337053 HAS SOPS 6335469 HAS SOUS 872088 HAS SOUPS 870504 WITH SCORE 876841.053
AT ITER 7943 NEW BEST:: SOT 20693870 SOS 6335590 HAS SOPS 6334006 HAS SOUS 871984 HAS SOUPS 870400 WITH SCORE 876735.59
AT ITER 7998 NEW BEST:: SOT 20693861 SOS 6335581 HAS SOPS 6333997 HAS SOUS 871862 HAS SOUPS 870278 WITH SCORE 876613.581
AT ITER 8000 NEW BEST:: SOT 20693793 SOS 6336193 HAS SOPS 6334609 HAS SOUS 871726 HAS SOUPS 870142 WITH SCORE 876478.193
AT ITER 8003 NEW BEST:: SOT 20693508 SOS 6335908 HAS SOPS 6334324 HAS SOUS 871276 HAS SOUPS 869692 WITH SCORE 876027.908
AT ITER 8010 NEW BEST:: SOT 20693425 SOS 6335825 HAS SOPS 6334241 HAS SOUS 871188 HAS SOUPS 869604 WITH SCORE 875939.825
AT ITER 8015 NEW BEST:: SOT 20693471 SOS 6335871 HAS SOPS 6334287 HAS SOUS 871167 HAS SOUPS 869583 WITH SCORE 875918.871
AT ITER 8021 NEW BEST:: SOT 20693420 SOS 6335820 HAS SOPS 6334236 HAS SOUS 871065 HAS SOUPS 869481 WITH SCORE 875816.82
AT ITER 8029 NEW BEST:: SOT 20693345 SOS 6333115 HAS SOPS 6331531 HAS SOUS 870835 HAS SOUPS 869251 WITH SCORE 875584.115
AT ITER 8046 NEW BEST:: SOT 20693387 SOS 6333079 HAS SOPS 6331495 HAS SOUS 870687 HAS SOUPS 869103 WITH SCORE 875436.079
AT ITER 8050 NEW BEST:: SOT 20693262 SOS 6332954 HAS SOPS 6331370 HAS SOUS 870437 HAS SOUPS 868853 WITH SCORE 875185.954
AT ITER 8061 NEW BEST:: SOT 20692962 SOS 6332654 HAS SOPS 6331070 HAS SOUS 869924 HAS SOUPS 868340 WITH SCORE 874672.654
AT ITER 8073 NEW BEST:: SOT 20692586 SOS 6332547 HAS SOPS 6330963 HAS SOUS 869826 HAS SOUPS 868242 WITH SCORE 874574.547
AT ITER 8074 NEW BEST:: SOT 20692416 SOS 6332377 HAS SOPS 6330793 HAS SOUS 869738 HAS SOUPS 868154 WITH SCORE 874486.377
AT ITER 8113 NEW BEST:: SOT 20692398 SOS 6332359 HAS SOPS 6330775 HAS SOUS 869687 HAS SOUPS 868103 WITH SCORE 874435.359
AT ITER 8116 NEW BEST:: SOT 20692229 SOS 6332329 HAS SOPS 6330745 HAS SOUS 869627 HAS SOUPS 868043 WITH SCORE 874375.329
AT ITER 8142 NEW BEST:: SOT 20692228 SOS 6332328 HAS SOPS 6330744 HAS SOUS 869625 HAS SOUPS 868041 WITH SCORE 874373.328
AT ITER 8149 NEW BEST:: SOT 20692231 SOS 6332571 HAS SOPS 6330987 HAS SOUS 869522 HAS SOUPS 867938 WITH SCORE 874270.571
AT ITER 8166 NEW BEST:: SOT 20692016 SOS 6332356 HAS SOPS 6330772 HAS SOUS 869340 HAS SOUPS 867756 WITH SCORE 874088.356
AT ITER 8170 NEW BEST:: SOT 20692292 SOS 6332619 HAS SOPS 6331035 HAS SOUS 869237 HAS SOUPS 867653 WITH SCORE 873985.619
AT ITER 8198 NEW BEST:: SOT 20692227 SOS 6332554 HAS SOPS 6330970 HAS SOUS 869081 HAS SOUPS 867497 WITH SCORE 873829.554
AT ITER 8221 NEW BEST:: SOT 20692226 SOS 6332553 HAS SOPS 6330969 HAS SOUS 869079 HAS SOUPS 867495 WITH SCORE 873827.553
AT ITER 8241 NEW BEST:: SOT 20691605 SOS 6331932 HAS SOPS 6330348 HAS SOUS 867975 HAS SOUPS 866391 WITH SCORE 872722.932
AT ITER 8257 NEW BEST:: SOT 20691605 SOS 6331932 HAS SOPS 6330348 HAS SOUS 867768 HAS SOUPS 866184 WITH SCORE 872515.932
AT ITER 8258 NEW BEST:: SOT 20691605 SOS 6332206 HAS SOPS 6330622 HAS SOUS 867666 HAS SOUPS 866082 WITH SCORE 872414.206
AT ITER 8261 NEW BEST:: SOT 20691458 SOS 6329629 HAS SOPS 6328045 HAS SOUS 867469 HAS SOUPS 865885 WITH SCORE 872214.629
AT ITER 8276 NEW BEST:: SOT 20691505 SOS 6329676 HAS SOPS 6328092 HAS SOUS 867459 HAS SOUPS 865875 WITH SCORE 872204.676
AT ITER 8279 NEW BEST:: SOT 20691292 SOS 6329463 HAS SOPS 6327879 HAS SOUS 867242 HAS SOUPS 865658 WITH SCORE 871987.463
AT ITER 8316 NEW BEST:: SOT 20691289 SOS 6329460 HAS SOPS 6327876 HAS SOUS 867167 HAS SOUPS 865583 WITH SCORE 871912.46
AT ITER 8321 NEW BEST:: SOT 20691133 SOS 6329304 HAS SOPS 6327720 HAS SOUS 866897 HAS SOUPS 865313 WITH SCORE 871642.304
AT ITER 8329 NEW BEST:: SOT 20687427 SOS 6502638 HAS SOPS 6501054 HAS SOUS 866022 HAS SOUPS 864438 WITH SCORE 870940.638
AT ITER 8336 NEW BEST:: SOT 20687101 SOS 6502312 HAS SOPS 6500728 HAS SOUS 865836 HAS SOUPS 864252 WITH SCORE 870754.312
AT ITER 8337 NEW BEST:: SOT 20686686 SOS 6501972 HAS SOPS 6500633 HAS SOUS 865496 HAS SOUPS 864157 WITH SCORE 870658.972
AT ITER 8338 NEW BEST:: SOT 20686695 SOS 6501981 HAS SOPS 6500642 HAS SOUS 865418 HAS SOUPS 864079 WITH SCORE 870580.981
AT ITER 8342 NEW BEST:: SOT 20686543 SOS 6500449 HAS SOPS 6499110 HAS SOUS 865192 HAS SOUPS 863853 WITH SCORE 870353.449
AT ITER 8345 NEW BEST:: SOT 20686041 SOS 6500103 HAS SOPS 6498764 HAS SOUS 864682 HAS SOUPS 863343 WITH SCORE 869843.103
AT ITER 8346 NEW BEST:: SOT 20685824 SOS 6500002 HAS SOPS 6498663 HAS SOUS 864586 HAS SOUPS 863247 WITH SCORE 869747.002
AT ITER 8360 NEW BEST:: SOT 20685824 SOS 6500002 HAS SOPS 6498663 HAS SOUS 864578 HAS SOUPS 863239 WITH SCORE 869739.002
AT ITER 8373 NEW BEST:: SOT 20685799 SOS 6499977 HAS SOPS 6498638 HAS SOUS 864528 HAS SOUPS 863189 WITH SCORE 869688.977
AT ITER 8387 NEW BEST:: SOT 20685799 SOS 6499977 HAS SOPS 6498638 HAS SOUS 864403 HAS SOUPS 863064 WITH SCORE 869563.977
AT ITER 8404 NEW BEST:: SOT 20685704 SOS 6499787 HAS SOPS 6498448 HAS SOUS 864213 HAS SOUPS 862874 WITH SCORE 869373.787
AT ITER 8409 NEW BEST:: SOT 20685694 SOS 6499632 HAS SOPS 6498293 HAS SOUS 864208 HAS SOUPS 862869 WITH SCORE 869368.632
AT ITER 8440 NEW BEST:: SOT 20685602 SOS 6499540 HAS SOPS 6498201 HAS SOUS 864049 HAS SOUPS 862710 WITH SCORE 869209.54
AT ITER 8444 NEW BEST:: SOT 20685607 SOS 6499545 HAS SOPS 6498206 HAS SOUS 864041 HAS SOUPS 862702 WITH SCORE 869201.545
AT ITER 8448 NEW BEST:: SOT 20685607 SOS 6500265 HAS SOPS 6498926 HAS SOUS 864025 HAS SOUPS 862686 WITH SCORE 869186.265
AT ITER 8461 NEW BEST:: SOT 20685391 SOS 6497889 HAS SOPS 6496550 HAS SOUS 863784 HAS SOUPS 862445 WITH SCORE 868942.889
AT ITER 8471 NEW BEST:: SOT 20685289 SOS 6497787 HAS SOPS 6496448 HAS SOUS 863682 HAS SOUPS 862343 WITH SCORE 868840.787
AT ITER 8479 NEW BEST:: SOT 20685390 SOS 6497943 HAS SOPS 6496604 HAS SOUS 863577 HAS SOUPS 862238 WITH SCORE 868735.943
AT ITER 8486 NEW BEST:: SOT 20685352 SOS 6497905 HAS SOPS 6496566 HAS SOUS 863501 HAS SOUPS 862162 WITH SCORE 868659.905
AT ITER 8503 NEW BEST:: SOT 20685331 SOS 6497884 HAS SOPS 6496545 HAS SOUS 863459 HAS SOUPS 862120 WITH SCORE 868617.884
AT ITER 8509 NEW BEST:: SOT 20685241 SOS 6497794 HAS SOPS 6496455 HAS SOUS 863279 HAS SOUPS 861940 WITH SCORE 868437.794
AT ITER 8544 NEW BEST:: SOT 20685241 SOS 6497918 HAS SOPS 6496579 HAS SOUS 863031 HAS SOUPS 861692 WITH SCORE 868189.918
AT ITER 8563 NEW BEST:: SOT 20685174 SOS 6497851 HAS SOPS 6496512 HAS SOUS 862961 HAS SOUPS 861622 WITH SCORE 868119.851
AT ITER 8617 NEW BEST:: SOT 20685174 SOS 6497838 HAS SOPS 6496499 HAS SOUS 862922 HAS SOUPS 861583 WITH SCORE 868080.838
AT ITER 8713 NEW BEST:: SOT 20685157 SOS 6497821 HAS SOPS 6496482 HAS SOUS 862922 HAS SOUPS 861583 WITH SCORE 868080.821
AT ITER 8722 NEW BEST:: SOT 20685108 SOS 6497772 HAS SOPS 6496433 HAS SOUS 862910 HAS SOUPS 861571 WITH SCORE 868068.772
AT ITER 8728 NEW BEST:: SOT 20685327 SOS 6497838 HAS SOPS 6496499 HAS SOUS 862675 HAS SOUPS 861336 WITH SCORE 867833.838
AT ITER 8742 NEW BEST:: SOT 20684909 SOS 6497420 HAS SOPS 6496081 HAS SOUS 861936 HAS SOUPS 860597 WITH SCORE 867094.42
AT ITER 8753 NEW BEST:: SOT 20684805 SOS 6497316 HAS SOPS 6495977 HAS SOUS 861765 HAS SOUPS 860426 WITH SCORE 866923.316
AT ITER 8772 NEW BEST:: SOT 20684668 SOS 6497179 HAS SOPS 6495840 HAS SOUS 861655 HAS SOUPS 860316 WITH SCORE 866813.179
AT ITER 8816 NEW BEST:: SOT 20684772 SOS 6497184 HAS SOPS 6495845 HAS SOUS 861631 HAS SOUPS 860292 WITH SCORE 866789.184
AT ITER 8823 NEW BEST:: SOT 20684648 SOS 6497060 HAS SOPS 6495721 HAS SOUS 861362 HAS SOUPS 860023 WITH SCORE 866520.06
AT ITER 8825 NEW BEST:: SOT 20684596 SOS 6498166 HAS SOPS 6496827 HAS SOUS 861186 HAS SOUPS 859847 WITH SCORE 866345.166
AT ITER 8834 NEW BEST:: SOT 20684568 SOS 6498138 HAS SOPS 6496799 HAS SOUS 861130 HAS SOUPS 859791 WITH SCORE 866289.138
AT ITER 8835 NEW BEST:: SOT 20684639 SOS 6498209 HAS SOPS 6496870 HAS SOUS 861080 HAS SOUPS 859741 WITH SCORE 866239.209
AT ITER 8863 NEW BEST:: SOT 20684508 SOS 6498161 HAS SOPS 6496822 HAS SOUS 860984 HAS SOUPS 859645 WITH SCORE 866143.161
AT ITER 8871 NEW BEST:: SOT 20684609 SOS 6498163 HAS SOPS 6496824 HAS SOUS 860981 HAS SOUPS 859642 WITH SCORE 866140.163
AT ITER 8902 NEW BEST:: SOT 20684710 SOS 6498264 HAS SOPS 6496925 HAS SOUS 860830 HAS SOUPS 859491 WITH SCORE 865989.264
AT ITER 8923 NEW BEST:: SOT 20684519 SOS 6498073 HAS SOPS 6496734 HAS SOUS 860448 HAS SOUPS 859109 WITH SCORE 865607.073
AT ITER 8939 NEW BEST:: SOT 20684519 SOS 6498073 HAS SOPS 6496734 HAS SOUS 860429 HAS SOUPS 859090 WITH SCORE 865588.073
AT ITER 8958 NEW BEST:: SOT 20684319 SOS 6497873 HAS SOPS 6496534 HAS SOUS 860110 HAS SOUPS 858771 WITH SCORE 865268.873
AT ITER 8974 NEW BEST:: SOT 20684599 SOS 6497812 HAS SOPS 6496473 HAS SOUS 859880 HAS SOUPS 858541 WITH SCORE 865038.812
AT ITER 8991 NEW BEST:: SOT 20684091 SOS 6497304 HAS SOPS 6495965 HAS SOUS 858938 HAS SOUPS 857599 WITH SCORE 864096.304
AT ITER 8993 NEW BEST:: SOT 20684091 SOS 6497304 HAS SOPS 6495965 HAS SOUS 858923 HAS SOUPS 857584 WITH SCORE 864081.304
AT ITER 9002 NEW BEST:: SOT 20684091 SOS 6497304 HAS SOPS 6495965 HAS SOUS 858806 HAS SOUPS 857467 WITH SCORE 863964.304
AT ITER 9005 NEW BEST:: SOT 20683653 SOS 6497164 HAS SOPS 6495825 HAS SOUS 858732 HAS SOUPS 857393 WITH SCORE 863890.164
AT ITER 9011 NEW BEST:: SOT 20683631 SOS 6497142 HAS SOPS 6495803 HAS SOUS 858600 HAS SOUPS 857261 WITH SCORE 863758.142
AT ITER 9030 NEW BEST:: SOT 20683631 SOS 6497142 HAS SOPS 6495803 HAS SOUS 858592 HAS SOUPS 857253 WITH SCORE 863750.142
AT ITER 9033 NEW BEST:: SOT 20683566 SOS 6497077 HAS SOPS 6495738 HAS SOUS 858494 HAS SOUPS 857155 WITH SCORE 863652.077
AT ITER 9060 NEW BEST:: SOT 20683435 SOS 6496946 HAS SOPS 6495607 HAS SOUS 858232 HAS SOUPS 856893 WITH SCORE 863389.946
AT ITER 9078 NEW BEST:: SOT 20683419 SOS 6496930 HAS SOPS 6495591 HAS SOUS 858216 HAS SOUPS 856877 WITH SCORE 863373.93
AT ITER 9093 NEW BEST:: SOT 20683421 SOS 6496929 HAS SOPS 6495590 HAS SOUS 858214 HAS SOUPS 856875 WITH SCORE 863371.929
AT ITER 9101 NEW BEST:: SOT 20683390 SOS 6496824 HAS SOPS 6495485 HAS SOUS 858152 HAS SOUPS 856813 WITH SCORE 863309.824
AT ITER 9102 NEW BEST:: SOT 20683301 SOS 6496735 HAS SOPS 6495396 HAS SOUS 858086 HAS SOUPS 856747 WITH SCORE 863243.735
AT ITER 9103 NEW BEST:: SOT 20683171 SOS 6496605 HAS SOPS 6495266 HAS SOUS 857734 HAS SOUPS 856395 WITH SCORE 862891.605
AT ITER 9120 NEW BEST:: SOT 20683070 SOS 6496504 HAS SOPS 6495165 HAS SOUS 857532 HAS SOUPS 856193 WITH SCORE 862689.504
AT ITER 9123 NEW BEST:: SOT 20683068 SOS 6496464 HAS SOPS 6495125 HAS SOUS 857528 HAS SOUPS 856189 WITH SCORE 862685.464
AT ITER 9161 NEW BEST:: SOT 20683009 SOS 6496405 HAS SOPS 6495066 HAS SOUS 857352 HAS SOUPS 856013 WITH SCORE 862509.405
AT ITER 9193 NEW BEST:: SOT 20682965 SOS 6496361 HAS SOPS 6495022 HAS SOUS 857264 HAS SOUPS 855925 WITH SCORE 862421.361
AT ITER 9212 NEW BEST:: SOT 20682933 SOS 6496361 HAS SOPS 6495022 HAS SOUS 857200 HAS SOUPS 855861 WITH SCORE 862357.361
AT ITER 9216 NEW BEST:: SOT 20682885 SOS 6496313 HAS SOPS 6494974 HAS SOUS 857121 HAS SOUPS 855782 WITH SCORE 862278.313
AT ITER 9230 NEW BEST:: SOT 20682395 SOS 6495823 HAS SOPS 6494484 HAS SOUS 856690 HAS SOUPS 855351 WITH SCORE 861846.823
AT ITER 9234 NEW BEST:: SOT 20682033 SOS 6494647 HAS SOPS 6493308 HAS SOUS 856291 HAS SOUPS 854952 WITH SCORE 861446.647
AT ITER 9261 NEW BEST:: SOT 20682024 SOS 6494638 HAS SOPS 6493299 HAS SOUS 856282 HAS SOUPS 854943 WITH SCORE 861437.638
AT ITER 9265 NEW BEST:: SOT 20682008 SOS 6494622 HAS SOPS 6493283 HAS SOUS 856250 HAS SOUPS 854911 WITH SCORE 861405.622
AT ITER 9269 NEW BEST:: SOT 20681419 SOS 6494394 HAS SOPS 6493055 HAS SOUS 856018 HAS SOUPS 854679 WITH SCORE 861173.394
AT ITER 9274 NEW BEST:: SOT 20681227 SOS 6493222 HAS SOPS 6491883 HAS SOUS 855888 HAS SOUPS 854549 WITH SCORE 861042.222
AT ITER 9276 NEW BEST:: SOT 20681122 SOS 6493117 HAS SOPS 6491778 HAS SOUS 855697 HAS SOUPS 854358 WITH SCORE 860851.117
AT ITER 9282 NEW BEST:: SOT 20680950 SOS 6492773 HAS SOPS 6491434 HAS SOUS 855353 HAS SOUPS 854014 WITH SCORE 860506.773
AT ITER 9283 NEW BEST:: SOT 20680923 SOS 6492746 HAS SOPS 6491407 HAS SOUS 855299 HAS SOUPS 853960 WITH SCORE 860452.746
AT ITER 9284 NEW BEST:: SOT 20680895 SOS 6492746 HAS SOPS 6491407 HAS SOUS 855243 HAS SOUPS 853904 WITH SCORE 860396.746
AT ITER 9290 NEW BEST:: SOT 20680122 SOS 6491973 HAS SOPS 6490634 HAS SOUS 854747 HAS SOUPS 853408 WITH SCORE 859899.973
AT ITER 9291 NEW BEST:: SOT 20679924 SOS 6491855 HAS SOPS 6490516 HAS SOUS 854712 HAS SOUPS 853373 WITH SCORE 859864.855
AT ITER 9306 NEW BEST:: SOT 20679816 SOS 6491747 HAS SOPS 6490408 HAS SOUS 854589 HAS SOUPS 853250 WITH SCORE 859741.747
AT ITER 9310 NEW BEST:: SOT 20679794 SOS 6491725 HAS SOPS 6490386 HAS SOUS 854566 HAS SOUPS 853227 WITH SCORE 859718.725
AT ITER 9321 NEW BEST:: SOT 20679759 SOS 6491690 HAS SOPS 6490351 HAS SOUS 854531 HAS SOUPS 853192 WITH SCORE 859683.69
AT ITER 9327 NEW BEST:: SOT 20679760 SOS 6491691 HAS SOPS 6490352 HAS SOUS 854448 HAS SOUPS 853109 WITH SCORE 859600.691
AT ITER 9347 NEW BEST:: SOT 20679562 SOS 6491493 HAS SOPS 6490154 HAS SOUS 854114 HAS SOUPS 852775 WITH SCORE 859266.493
AT ITER 9355 NEW BEST:: SOT 20679513 SOS 6491444 HAS SOPS 6490105 HAS SOUS 854043 HAS SOUPS 852704 WITH SCORE 859195.444
AT ITER 9358 NEW BEST:: SOT 20679431 SOS 6491362 HAS SOPS 6490023 HAS SOUS 853783 HAS SOUPS 852444 WITH SCORE 858935.362
AT ITER 9365 NEW BEST:: SOT 20679387 SOS 6491318 HAS SOPS 6489979 HAS SOUS 853695 HAS SOUPS 852356 WITH SCORE 858847.318
AT ITER 9367 NEW BEST:: SOT 20679376 SOS 6491307 HAS SOPS 6489968 HAS SOUS 853673 HAS SOUPS 852334 WITH SCORE 858825.307
AT ITER 9396 NEW BEST:: SOT 20679307 SOS 6491264 HAS SOPS 6489925 HAS SOUS 853518 HAS SOUPS 852179 WITH SCORE 858670.264
AT ITER 9399 NEW BEST:: SOT 20679303 SOS 6491260 HAS SOPS 6489921 HAS SOUS 853499 HAS SOUPS 852160 WITH SCORE 858651.26
AT ITER 9411 NEW BEST:: SOT 20679042 SOS 6490999 HAS SOPS 6489660 HAS SOUS 852977 HAS SOUPS 851638 WITH SCORE 858128.999
AT ITER 9432 NEW BEST:: SOT 20679226 SOS 6491527 HAS SOPS 6490188 HAS SOUS 852938 HAS SOUPS 851599 WITH SCORE 858090.527
AT ITER 9452 NEW BEST:: SOT 20679047 SOS 6491348 HAS SOPS 6490009 HAS SOUS 852809 HAS SOUPS 851470 WITH SCORE 857961.348
AT ITER 9455 NEW BEST:: SOT 20678979 SOS 6491280 HAS SOPS 6489941 HAS SOUS 852741 HAS SOUPS 851402 WITH SCORE 857893.28
AT ITER 9457 NEW BEST:: SOT 20678794 SOS 6488885 HAS SOPS 6487546 HAS SOUS 852335 HAS SOUPS 850996 WITH SCORE 857484.885
AT ITER 9496 NEW BEST:: SOT 20678674 SOS 6488765 HAS SOPS 6487426 HAS SOUS 852095 HAS SOUPS 850756 WITH SCORE 857244.765
AT ITER 9521 NEW BEST:: SOT 20678443 SOS 6488534 HAS SOPS 6487195 HAS SOUS 851737 HAS SOUPS 850398 WITH SCORE 856886.534
AT ITER 9528 NEW BEST:: SOT 20678443 SOS 6488534 HAS SOPS 6487195 HAS SOUS 851717 HAS SOUPS 850378 WITH SCORE 856866.534
AT ITER 9532 NEW BEST:: SOT 20678443 SOS 6487904 HAS SOPS 6486565 HAS SOUS 851654 HAS SOUPS 850315 WITH SCORE 856802.904
AT ITER 9540 NEW BEST:: SOT 20678384 SOS 6487845 HAS SOPS 6486506 HAS SOUS 851654 HAS SOUPS 850315 WITH SCORE 856802.845
AT ITER 9555 NEW BEST:: SOT 20678337 SOS 6487798 HAS SOPS 6486459 HAS SOUS 851560 HAS SOUPS 850221 WITH SCORE 856708.798
AT ITER 9558 NEW BEST:: SOT 20677946 SOS 6487407 HAS SOPS 6486068 HAS SOUS 851306 HAS SOUPS 849967 WITH SCORE 856454.407
AT ITER 9585 NEW BEST:: SOT 20677946 SOS 6487402 HAS SOPS 6486063 HAS SOUS 851301 HAS SOUPS 849962 WITH SCORE 856449.402
AT ITER 9592 NEW BEST:: SOT 20677911 SOS 6487367 HAS SOPS 6486028 HAS SOUS 851293 HAS SOUPS 849954 WITH SCORE 856441.367
AT ITER 9637 NEW BEST:: SOT 20677641 SOS 6487097 HAS SOPS 6485758 HAS SOUS 850761 HAS SOUPS 849422 WITH SCORE 855909.097
AT ITER 9655 NEW BEST:: SOT 20677641 SOS 6487097 HAS SOPS 6485758 HAS SOUS 850705 HAS SOUPS 849366 WITH SCORE 855853.097
AT ITER 9664 NEW BEST:: SOT 20677608 SOS 6487064 HAS SOPS 6485725 HAS SOUS 850639 HAS SOUPS 849300 WITH SCORE 855787.064
AT ITER 9669 NEW BEST:: SOT 20677366 SOS 6486822 HAS SOPS 6485483 HAS SOUS 850174 HAS SOUPS 848835 WITH SCORE 855321.822
AT ITER 9683 NEW BEST:: SOT 20677008 SOS 6486285 HAS SOPS 6484946 HAS SOUS 849813 HAS SOUPS 848474 WITH SCORE 854960.285
AT ITER 9695 NEW BEST:: SOT 20676961 SOS 6486238 HAS SOPS 6484899 HAS SOUS 849699 HAS SOUPS 848360 WITH SCORE 854846.238
AT ITER 9747 NEW BEST:: SOT 20676775 SOS 6486052 HAS SOPS 6484713 HAS SOUS 849348 HAS SOUPS 848009 WITH SCORE 854495.052
AT ITER 9775 NEW BEST:: SOT 20676847 SOS 6486124 HAS SOPS 6484785 HAS SOUS 849329 HAS SOUPS 847990 WITH SCORE 854476.124
AT ITER 9777 NEW BEST:: SOT 20676666 SOS 6484326 HAS SOPS 6482987 HAS SOUS 848967 HAS SOUPS 847628 WITH SCORE 854112.326
AT ITER 9779 NEW BEST:: SOT 20676561 SOS 6484301 HAS SOPS 6482962 HAS SOUS 848757 HAS SOUPS 847418 WITH SCORE 853902.301
AT ITER 9781 NEW BEST:: SOT 20676392 SOS 6484371 HAS SOPS 6483032 HAS SOUS 848419 HAS SOUPS 847080 WITH SCORE 853564.371
AT ITER 9811 NEW BEST:: SOT 20676347 SOS 6484273 HAS SOPS 6482934 HAS SOUS 848241 HAS SOUPS 846902 WITH SCORE 853386.273
AT ITER 9812 NEW BEST:: SOT 20676011 SOS 6483937 HAS SOPS 6482598 HAS SOUS 848127 HAS SOUPS 846788 WITH SCORE 853271.937
AT ITER 9814 NEW BEST:: SOT 20675856 SOS 6483782 HAS SOPS 6482443 HAS SOUS 847817 HAS SOUPS 846478 WITH SCORE 852961.782
AT ITER 9826 NEW BEST:: SOT 20675511 SOS 6483437 HAS SOPS 6482098 HAS SOUS 847111 HAS SOUPS 845772 WITH SCORE 852255.437
AT ITER 9827 NEW BEST:: SOT 20675495 SOS 6483315 HAS SOPS 6481976 HAS SOUS 847079 HAS SOUPS 845740 WITH SCORE 852223.315
AT ITER 9831 NEW BEST:: SOT 20675455 SOS 6483275 HAS SOPS 6481936 HAS SOUS 846999 HAS SOUPS 845660 WITH SCORE 852143.275
AT ITER 9839 NEW BEST:: SOT 20675144 SOS 6482964 HAS SOPS 6481625 HAS SOUS 846492 HAS SOUPS 845153 WITH SCORE 851635.964
AT ITER 9866 NEW BEST:: SOT 20675121 SOS 6482729 HAS SOPS 6481390 HAS SOUS 846446 HAS SOUPS 845107 WITH SCORE 851589.729
AT ITER 9881 NEW BEST:: SOT 20674872 SOS 6482480 HAS SOPS 6481141 HAS SOUS 846081 HAS SOUPS 844742 WITH SCORE 851224.48
AT ITER 9909 NEW BEST:: SOT 20674793 SOS 6482161 HAS SOPS 6480822 HAS SOUS 846019 HAS SOUPS 844680 WITH SCORE 851162.161
AT ITER 9930 NEW BEST:: SOT 20674713 SOS 6482081 HAS SOPS 6480742 HAS SOUS 845867 HAS SOUPS 844528 WITH SCORE 851010.081
AT ITER 9933 NEW BEST:: SOT 20674689 SOS 6482057 HAS SOPS 6480718 HAS SOUS 845825 HAS SOUPS 844486 WITH SCORE 850968.057
AT ITER 9941 NEW BEST:: SOT 20674552 SOS 6481920 HAS SOPS 6480581 HAS SOUS 845792 HAS SOUPS 844453 WITH SCORE 850934.92
AT ITER 9964 NEW BEST:: SOT 20674541 SOS 6481909 HAS SOPS 6480570 HAS SOUS 845770 HAS SOUPS 844431 WITH SCORE 850912.909
AT ITER 9965 NEW BEST:: SOT 20674421 SOS 6481789 HAS SOPS 6480450 HAS SOUS 845764 HAS SOUPS 844425 WITH SCORE 850906.789
AT ITER 9971 NEW BEST:: SOT 20674368 SOS 6481736 HAS SOPS 6480397 HAS SOUS 845607 HAS SOUPS 844268 WITH SCORE 850749.736
AT ITER 9976 NEW BEST:: SOT 20674262 SOS 6481630 HAS SOPS 6480291 HAS SOUS 845501 HAS SOUPS 844162 WITH SCORE 850643.63
AT ITER 9991 NEW BEST:: SOT 20673999 SOS 6481377 HAS SOPS 6480038 HAS SOUS 845388 HAS SOUPS 844049 WITH SCORE 850530.377
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 15037084 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16092556 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S10J80"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBNT-COL-S10J80, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953300712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J80.tgz
mv PolyORBNT-COL-S10J80 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;