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.r291-tall-167873943200704.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 smart
Input is PolyORBNT-COL-S10J60, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943200704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.4K Feb 26 00:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 00:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 00:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 00:12 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 28K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K 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 9.5K Feb 26 01:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 01:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 00:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 00:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 94K 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 1678812063151

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S10J60
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 16:41:05] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 16:41:05] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 16:41:05] [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-14 16:41:06] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 16:41:06] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 861 ms
[2023-03-14 16:41:06] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 1294 PT places and 13102.0 transition bindings in 34 ms.
[2023-03-14 16:41:07] [INFO ] Unfolded HLPN to a Petri net with 1294 places and 12980 transitions 116999 arcs in 354 ms.
[2023-03-14 16:41:07] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 60 places and 60 transitions.
Ensure Unique test removed 10110 transitions
Reduce isomorphic transitions removed 10110 transitions.
[2023-03-14 16:41:07] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1234 places, 2810 transitions and 17669 arcs took 70 ms.
Total runtime 1915 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J60
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1234 places, 2810 transitions, 17669 arcs.
AT ITER 0 NEW BEST:: SOT 2188083 SOS 1214172 HAS SOPS 1214172 HAS SOUS 1135917 HAS SOUPS 1135917 WITH SCORE 1137131.172
AT ITER 43 NEW BEST:: SOT 2187920 SOS 1213829 HAS SOPS 1213829 HAS SOUS 1133964 HAS SOUPS 1133964 WITH SCORE 1135177.829
AT ITER 61 NEW BEST:: SOT 2187958 SOS 1213867 HAS SOPS 1213867 HAS SOUS 1133663 HAS SOUPS 1133663 WITH SCORE 1134876.867
AT ITER 77 NEW BEST:: SOT 2187534 SOS 1213443 HAS SOPS 1213443 HAS SOUS 1133239 HAS SOUPS 1133239 WITH SCORE 1134452.443
AT ITER 82 NEW BEST:: SOT 2187534 SOS 1213443 HAS SOPS 1213443 HAS SOUS 1132906 HAS SOUPS 1132906 WITH SCORE 1134119.443
AT ITER 86 NEW BEST:: SOT 2187371 SOS 1213100 HAS SOPS 1213100 HAS SOUS 1130943 HAS SOUPS 1130943 WITH SCORE 1132156.1
AT ITER 91 NEW BEST:: SOT 2187241 SOS 1212790 HAS SOPS 1212790 HAS SOUS 1129013 HAS SOUPS 1129013 WITH SCORE 1130225.79
AT ITER 92 NEW BEST:: SOT 2187241 SOS 1212790 HAS SOPS 1212790 HAS SOUS 1128768 HAS SOUPS 1128768 WITH SCORE 1129980.79
AT ITER 93 NEW BEST:: SOT 2187123 SOS 1212785 HAS SOPS 1212785 HAS SOUS 1128708 HAS SOUPS 1128708 WITH SCORE 1129920.785
AT ITER 95 NEW BEST:: SOT 2187816 SOS 1213298 HAS SOPS 1213298 HAS SOUS 1127625 HAS SOUPS 1127625 WITH SCORE 1128838.298
AT ITER 120 NEW BEST:: SOT 2187816 SOS 1213298 HAS SOPS 1213298 HAS SOUS 1127267 HAS SOUPS 1127267 WITH SCORE 1128480.298
AT ITER 124 NEW BEST:: SOT 2187819 SOS 1213121 HAS SOPS 1213121 HAS SOUS 1125650 HAS SOUPS 1125650 WITH SCORE 1126863.121
AT ITER 140 NEW BEST:: SOT 2187618 SOS 1212920 HAS SOPS 1212920 HAS SOUS 1125449 HAS SOUPS 1125449 WITH SCORE 1126661.92
AT ITER 143 NEW BEST:: SOT 2187465 SOS 1212620 HAS SOPS 1212620 HAS SOUS 1123826 HAS SOUPS 1123826 WITH SCORE 1125038.62
AT ITER 149 NEW BEST:: SOT 2187490 SOS 1212465 HAS SOPS 1212465 HAS SOUS 1122231 HAS SOUPS 1122231 WITH SCORE 1123443.465
AT ITER 176 NEW BEST:: SOT 2187391 SOS 1212366 HAS SOPS 1212366 HAS SOUS 1122132 HAS SOUPS 1122132 WITH SCORE 1123344.366
AT ITER 191 NEW BEST:: SOT 2187058 SOS 1212033 HAS SOPS 1212033 HAS SOUS 1121799 HAS SOUPS 1121799 WITH SCORE 1123011.033
AT ITER 217 NEW BEST:: SOT 2186646 SOS 1211441 HAS SOPS 1211441 HAS SOUS 1119587 HAS SOUPS 1119587 WITH SCORE 1120798.441
AT ITER 218 NEW BEST:: SOT 2188070 SOS 1212685 HAS SOPS 1212685 HAS SOUS 1119253 HAS SOUPS 1119253 WITH SCORE 1120465.685
AT ITER 238 NEW BEST:: SOT 2188011 SOS 1212681 HAS SOPS 1212681 HAS SOUS 1119220 HAS SOUPS 1119220 WITH SCORE 1120432.681
AT ITER 245 NEW BEST:: SOT 2188069 SOS 1212706 HAS SOPS 1212706 HAS SOUS 1118948 HAS SOUPS 1118948 WITH SCORE 1120160.706
AT ITER 247 NEW BEST:: SOT 2187953 SOS 1212590 HAS SOPS 1212590 HAS SOUS 1118832 HAS SOUPS 1118832 WITH SCORE 1120044.59
AT ITER 248 NEW BEST:: SOT 2187840 SOS 1212477 HAS SOPS 1212477 HAS SOUS 1118719 HAS SOUPS 1118719 WITH SCORE 1119931.477
AT ITER 264 NEW BEST:: SOT 2187836 SOS 1212473 HAS SOPS 1212473 HAS SOUS 1118715 HAS SOUPS 1118715 WITH SCORE 1119927.473
AT ITER 278 NEW BEST:: SOT 2187774 SOS 1212411 HAS SOPS 1212411 HAS SOUS 1118653 HAS SOUPS 1118653 WITH SCORE 1119865.411
AT ITER 288 NEW BEST:: SOT 2187688 SOS 1212325 HAS SOPS 1212325 HAS SOUS 1118567 HAS SOUPS 1118567 WITH SCORE 1119779.325
AT ITER 291 NEW BEST:: SOT 2187684 SOS 1212321 HAS SOPS 1212321 HAS SOUS 1118563 HAS SOUPS 1118563 WITH SCORE 1119775.321
AT ITER 292 NEW BEST:: SOT 2187427 SOS 1211884 HAS SOPS 1211884 HAS SOUS 1116506 HAS SOUPS 1116506 WITH SCORE 1117717.884
AT ITER 310 NEW BEST:: SOT 2187358 SOS 1211695 HAS SOPS 1211695 HAS SOUS 1115237 HAS SOUPS 1115237 WITH SCORE 1116448.695
AT ITER 324 NEW BEST:: SOT 2187388 SOS 1211775 HAS SOPS 1211775 HAS SOUS 1114966 HAS SOUPS 1114966 WITH SCORE 1116177.775
AT ITER 338 NEW BEST:: SOT 2187388 SOS 1211775 HAS SOPS 1211775 HAS SOUS 1114825 HAS SOUPS 1114825 WITH SCORE 1116036.775
AT ITER 339 NEW BEST:: SOT 2187222 SOS 1211588 HAS SOPS 1211588 HAS SOUS 1114550 HAS SOUPS 1114550 WITH SCORE 1115761.588
AT ITER 348 NEW BEST:: SOT 2187207 SOS 1211393 HAS SOPS 1211393 HAS SOUS 1112873 HAS SOUPS 1112873 WITH SCORE 1114084.393
AT ITER 358 NEW BEST:: SOT 2187207 SOS 1211393 HAS SOPS 1211393 HAS SOUS 1112530 HAS SOUPS 1112530 WITH SCORE 1113741.393
AT ITER 359 NEW BEST:: SOT 2186629 SOS 1210815 HAS SOPS 1210815 HAS SOUS 1111952 HAS SOUPS 1111952 WITH SCORE 1113162.815
AT ITER 363 NEW BEST:: SOT 2186563 SOS 1210749 HAS SOPS 1210749 HAS SOUS 1111886 HAS SOUPS 1111886 WITH SCORE 1113096.749
AT ITER 374 NEW BEST:: SOT 2186563 SOS 1210749 HAS SOPS 1210749 HAS SOUS 1111588 HAS SOUPS 1111588 WITH SCORE 1112798.749
AT ITER 376 NEW BEST:: SOT 2186392 SOS 1210578 HAS SOPS 1210578 HAS SOUS 1111417 HAS SOUPS 1111417 WITH SCORE 1112627.578
AT ITER 383 NEW BEST:: SOT 2186313 SOS 1210570 HAS SOPS 1210570 HAS SOUS 1111290 HAS SOUPS 1111290 WITH SCORE 1112500.57
AT ITER 390 NEW BEST:: SOT 2186313 SOS 1210532 HAS SOPS 1210532 HAS SOUS 1110910 HAS SOUPS 1110910 WITH SCORE 1112120.532
AT ITER 391 NEW BEST:: SOT 2186208 SOS 1210427 HAS SOPS 1210427 HAS SOUS 1110805 HAS SOUPS 1110805 WITH SCORE 1112015.427
AT ITER 392 NEW BEST:: SOT 2186208 SOS 1210414 HAS SOPS 1210414 HAS SOUS 1110688 HAS SOUPS 1110688 WITH SCORE 1111898.414
AT ITER 397 NEW BEST:: SOT 2186221 SOS 1211331 HAS SOPS 1211331 HAS SOUS 1110573 HAS SOUPS 1110573 WITH SCORE 1111784.331
AT ITER 405 NEW BEST:: SOT 2186154 SOS 1211264 HAS SOPS 1211264 HAS SOUS 1110158 HAS SOUPS 1110158 WITH SCORE 1111369.264
AT ITER 407 NEW BEST:: SOT 2186093 SOS 1211203 HAS SOPS 1211203 HAS SOUS 1110097 HAS SOUPS 1110097 WITH SCORE 1111308.203
AT ITER 422 NEW BEST:: SOT 2186101 SOS 1211496 HAS SOPS 1211496 HAS SOUS 1109915 HAS SOUPS 1109915 WITH SCORE 1111126.496
AT ITER 427 NEW BEST:: SOT 2186101 SOS 1211496 HAS SOPS 1211496 HAS SOUS 1109631 HAS SOUPS 1109631 WITH SCORE 1110842.496
AT ITER 438 NEW BEST:: SOT 2185889 SOS 1211104 HAS SOPS 1211104 HAS SOUS 1107619 HAS SOUPS 1107619 WITH SCORE 1108830.104
AT ITER 474 NEW BEST:: SOT 2185585 SOS 1211097 HAS SOPS 1211097 HAS SOUS 1107612 HAS SOUPS 1107612 WITH SCORE 1108823.097
AT ITER 476 NEW BEST:: SOT 2185369 SOS 1210881 HAS SOPS 1210881 HAS SOUS 1107396 HAS SOUPS 1107396 WITH SCORE 1108606.881
AT ITER 480 NEW BEST:: SOT 2185124 SOS 1210456 HAS SOPS 1210456 HAS SOUS 1105351 HAS SOUPS 1105351 WITH SCORE 1106561.456
AT ITER 493 NEW BEST:: SOT 2185084 SOS 1210416 HAS SOPS 1210416 HAS SOUS 1105311 HAS SOUPS 1105311 WITH SCORE 1106521.416
AT ITER 501 NEW BEST:: SOT 2185084 SOS 1210416 HAS SOPS 1210416 HAS SOUS 1105027 HAS SOUPS 1105027 WITH SCORE 1106237.416
AT ITER 509 NEW BEST:: SOT 2184933 SOS 1210085 HAS SOPS 1210085 HAS SOUS 1103076 HAS SOUPS 1103076 WITH SCORE 1104286.085
AT ITER 512 NEW BEST:: SOT 2184839 SOS 1209991 HAS SOPS 1209991 HAS SOUS 1102982 HAS SOUPS 1102982 WITH SCORE 1104191.991
AT ITER 513 NEW BEST:: SOT 2184776 SOS 1209928 HAS SOPS 1209928 HAS SOUS 1102919 HAS SOUPS 1102919 WITH SCORE 1104128.928
AT ITER 515 NEW BEST:: SOT 2184770 SOS 1209922 HAS SOPS 1209922 HAS SOUS 1102913 HAS SOUPS 1102913 WITH SCORE 1104122.922
AT ITER 526 NEW BEST:: SOT 2184495 SOS 1209467 HAS SOPS 1209467 HAS SOUS 1100838 HAS SOUPS 1100838 WITH SCORE 1102047.467
AT ITER 538 NEW BEST:: SOT 2184245 SOS 1209217 HAS SOPS 1209217 HAS SOUS 1100408 HAS SOUPS 1100408 WITH SCORE 1101617.217
AT ITER 553 NEW BEST:: SOT 2183758 SOS 1208550 HAS SOPS 1208550 HAS SOUS 1098121 HAS SOUPS 1098121 WITH SCORE 1099329.55
AT ITER 555 NEW BEST:: SOT 2183269 SOS 1208061 HAS SOPS 1208061 HAS SOUS 1097632 HAS SOUPS 1097632 WITH SCORE 1098840.061
AT ITER 557 NEW BEST:: SOT 2183075 SOS 1207867 HAS SOPS 1207867 HAS SOUS 1097438 HAS SOUPS 1097438 WITH SCORE 1098645.867
AT ITER 559 NEW BEST:: SOT 2182991 SOS 1207671 HAS SOPS 1207671 HAS SOUS 1097326 HAS SOUPS 1097326 WITH SCORE 1098533.671
AT ITER 570 NEW BEST:: SOT 2183022 SOS 1207555 HAS SOPS 1207555 HAS SOUS 1096217 HAS SOUPS 1096217 WITH SCORE 1097424.555
AT ITER 571 NEW BEST:: SOT 2182750 SOS 1207103 HAS SOPS 1207103 HAS SOUS 1094145 HAS SOUPS 1094145 WITH SCORE 1095352.103
AT ITER 576 NEW BEST:: SOT 2182750 SOS 1207070 HAS SOPS 1207070 HAS SOUS 1093815 HAS SOUPS 1093815 WITH SCORE 1095022.07
AT ITER 577 NEW BEST:: SOT 2182836 SOS 1207167 HAS SOPS 1207167 HAS SOUS 1093573 HAS SOUPS 1093573 WITH SCORE 1094780.167
AT ITER 579 NEW BEST:: SOT 2181831 SOS 1206162 HAS SOPS 1206162 HAS SOUS 1092568 HAS SOUPS 1092568 WITH SCORE 1093774.162
AT ITER 581 NEW BEST:: SOT 2181830 SOS 1206178 HAS SOPS 1206178 HAS SOUS 1092236 HAS SOUPS 1092236 WITH SCORE 1093442.178
AT ITER 582 NEW BEST:: SOT 2181811 SOS 1206159 HAS SOPS 1206159 HAS SOUS 1092193 HAS SOUPS 1092193 WITH SCORE 1093399.159
AT ITER 590 NEW BEST:: SOT 2181820 SOS 1206168 HAS SOPS 1206168 HAS SOUS 1091974 HAS SOUPS 1091974 WITH SCORE 1093180.168
AT ITER 591 NEW BEST:: SOT 2181716 SOS 1206064 HAS SOPS 1206064 HAS SOUS 1091844 HAS SOUPS 1091844 WITH SCORE 1093050.064
AT ITER 593 NEW BEST:: SOT 2181651 SOS 1206047 HAS SOPS 1206047 HAS SOUS 1091806 HAS SOUPS 1091806 WITH SCORE 1093012.047
AT ITER 594 NEW BEST:: SOT 2181448 SOS 1205664 HAS SOPS 1205664 HAS SOUS 1089803 HAS SOUPS 1089803 WITH SCORE 1091008.664
AT ITER 598 NEW BEST:: SOT 2181436 SOS 1205640 HAS SOPS 1205640 HAS SOUS 1089779 HAS SOUPS 1089779 WITH SCORE 1090984.64
AT ITER 604 NEW BEST:: SOT 2181042 SOS 1204907 HAS SOPS 1204907 HAS SOUS 1086003 HAS SOUPS 1086003 WITH SCORE 1087207.907
AT ITER 609 NEW BEST:: SOT 2127798 SOS 1411104 HAS SOPS 1411104 HAS SOUS 1034596 HAS SOUPS 1034596 WITH SCORE 1036007.104
AT ITER 613 NEW BEST:: SOT 1881214 SOS 1203621 HAS SOPS 1203621 HAS SOUS 789845 HAS SOUPS 789845 WITH SCORE 791048.621
AT ITER 614 NEW BEST:: SOT 1881214 SOS 1203621 HAS SOPS 1203621 HAS SOUS 789390 HAS SOUPS 789390 WITH SCORE 790593.621
AT ITER 616 NEW BEST:: SOT 1881214 SOS 1203621 HAS SOPS 1203621 HAS SOUS 787686 HAS SOUPS 787686 WITH SCORE 788889.621
AT ITER 620 NEW BEST:: SOT 1881299 SOS 1203489 HAS SOPS 1203489 HAS SOUS 787676 HAS SOUPS 787676 WITH SCORE 788879.489
AT ITER 636 NEW BEST:: SOT 1881070 SOS 1203260 HAS SOPS 1203260 HAS SOUS 787447 HAS SOUPS 787447 WITH SCORE 788650.26
AT ITER 641 NEW BEST:: SOT 1880968 SOS 1203158 HAS SOPS 1203158 HAS SOUS 787202 HAS SOUPS 787202 WITH SCORE 788405.158
AT ITER 647 NEW BEST:: SOT 1880860 SOS 1203162 HAS SOPS 1203162 HAS SOUS 787183 HAS SOUPS 787183 WITH SCORE 788386.162
AT ITER 660 NEW BEST:: SOT 1880828 SOS 1203130 HAS SOPS 1203130 HAS SOUS 787151 HAS SOUPS 787151 WITH SCORE 788354.13
AT ITER 663 NEW BEST:: SOT 1880780 SOS 1203204 HAS SOPS 1203204 HAS SOUS 787150 HAS SOUPS 787150 WITH SCORE 788353.204
AT ITER 665 NEW BEST:: SOT 1880756 SOS 1203156 HAS SOPS 1203156 HAS SOUS 787102 HAS SOUPS 787102 WITH SCORE 788305.156
AT ITER 675 NEW BEST:: SOT 1880344 SOS 1202744 HAS SOPS 1202744 HAS SOUS 784890 HAS SOUPS 784890 WITH SCORE 786092.744
AT ITER 685 NEW BEST:: SOT 1880183 SOS 1202583 HAS SOPS 1202583 HAS SOUS 783049 HAS SOUPS 783049 WITH SCORE 784251.583
AT ITER 691 NEW BEST:: SOT 1880157 SOS 1202557 HAS SOPS 1202557 HAS SOUS 781124 HAS SOUPS 781124 WITH SCORE 782326.557
AT ITER 694 NEW BEST:: SOT 1880056 SOS 1202456 HAS SOPS 1202456 HAS SOUS 781023 HAS SOUPS 781023 WITH SCORE 782225.456
AT ITER 696 NEW BEST:: SOT 1880072 SOS 1202096 HAS SOPS 1202096 HAS SOUS 780875 HAS SOUPS 780875 WITH SCORE 782077.096
AT ITER 702 NEW BEST:: SOT 1880072 SOS 1202096 HAS SOPS 1202096 HAS SOUS 780814 HAS SOUPS 780814 WITH SCORE 782016.096
AT ITER 703 NEW BEST:: SOT 1879208 SOS 1201232 HAS SOPS 1201232 HAS SOUS 778150 HAS SOUPS 778150 WITH SCORE 779351.232
AT ITER 710 NEW BEST:: SOT 1879062 SOS 1201086 HAS SOPS 1201086 HAS SOUS 778004 HAS SOUPS 778004 WITH SCORE 779205.086
AT ITER 714 NEW BEST:: SOT 1763267 SOS 1085211 HAS SOPS 1085211 HAS SOUS 662101 HAS SOUPS 662101 WITH SCORE 663186.211
AT ITER 718 NEW BEST:: SOT 1763194 SOS 1085138 HAS SOPS 1085138 HAS SOUS 662028 HAS SOUPS 662028 WITH SCORE 663113.138
AT ITER 720 NEW BEST:: SOT 1763177 SOS 1085335 HAS SOPS 1085335 HAS SOUS 661999 HAS SOUPS 661999 WITH SCORE 663084.335
AT ITER 721 NEW BEST:: SOT 1763186 SOS 1084978 HAS SOPS 1084978 HAS SOUS 661837 HAS SOUPS 661837 WITH SCORE 662921.978
AT ITER 723 NEW BEST:: SOT 1763468 SOS 1085260 HAS SOPS 1085260 HAS SOUS 661519 HAS SOUPS 661519 WITH SCORE 662604.26
AT ITER 724 NEW BEST:: SOT 1762842 SOS 1084321 HAS SOPS 1084321 HAS SOUS 658339 HAS SOUPS 658339 WITH SCORE 659423.321
AT ITER 730 NEW BEST:: SOT 1762761 SOS 1084240 HAS SOPS 1084240 HAS SOUS 657448 HAS SOUPS 657448 WITH SCORE 658532.24
AT ITER 745 NEW BEST:: SOT 1762139 SOS 1083618 HAS SOPS 1083618 HAS SOUS 656826 HAS SOUPS 656826 WITH SCORE 657909.618
AT ITER 747 NEW BEST:: SOT 1762137 SOS 1083616 HAS SOPS 1083616 HAS SOUS 656824 HAS SOUPS 656824 WITH SCORE 657907.616
AT ITER 755 NEW BEST:: SOT 1761921 SOS 1083400 HAS SOPS 1083400 HAS SOUS 656608 HAS SOUPS 656608 WITH SCORE 657691.4
AT ITER 769 NEW BEST:: SOT 1761837 SOS 1083316 HAS SOPS 1083316 HAS SOUS 656524 HAS SOUPS 656524 WITH SCORE 657607.316
AT ITER 791 NEW BEST:: SOT 1761810 SOS 1083289 HAS SOPS 1083289 HAS SOUS 656497 HAS SOUPS 656497 WITH SCORE 657580.289
AT ITER 793 NEW BEST:: SOT 1761764 SOS 1083243 HAS SOPS 1083243 HAS SOUS 656451 HAS SOUPS 656451 WITH SCORE 657534.243
AT ITER 800 NEW BEST:: SOT 1761627 SOS 1083106 HAS SOPS 1083106 HAS SOUS 656314 HAS SOUPS 656314 WITH SCORE 657397.106
AT ITER 810 NEW BEST:: SOT 1761627 SOS 1083106 HAS SOPS 1083106 HAS SOUS 656143 HAS SOUPS 656143 WITH SCORE 657226.106
AT ITER 814 NEW BEST:: SOT 1761459 SOS 1082938 HAS SOPS 1082938 HAS SOUS 655975 HAS SOUPS 655975 WITH SCORE 657057.938
AT ITER 816 NEW BEST:: SOT 1761321 SOS 1082800 HAS SOPS 1082800 HAS SOUS 655837 HAS SOUPS 655837 WITH SCORE 656919.8
AT ITER 858 NEW BEST:: SOT 1761321 SOS 1082800 HAS SOPS 1082800 HAS SOUS 655723 HAS SOUPS 655723 WITH SCORE 656805.8
AT ITER 862 NEW BEST:: SOT 1761283 SOS 1082762 HAS SOPS 1082762 HAS SOUS 654641 HAS SOUPS 654641 WITH SCORE 655723.762
AT ITER 866 NEW BEST:: SOT 1761166 SOS 1082645 HAS SOPS 1082645 HAS SOUS 654621 HAS SOUPS 654621 WITH SCORE 655703.645
AT ITER 874 NEW BEST:: SOT 1761039 SOS 1082518 HAS SOPS 1082518 HAS SOUS 654494 HAS SOUPS 654494 WITH SCORE 655576.518
AT ITER 880 NEW BEST:: SOT 1761047 SOS 1082784 HAS SOPS 1082784 HAS SOUS 654447 HAS SOUPS 654447 WITH SCORE 655529.784
AT ITER 901 NEW BEST:: SOT 1760760 SOS 1082497 HAS SOPS 1082497 HAS SOUS 654030 HAS SOUPS 654030 WITH SCORE 655112.497
AT ITER 906 NEW BEST:: SOT 1761234 SOS 1082971 HAS SOPS 1082971 HAS SOUS 652874 HAS SOUPS 652874 WITH SCORE 653956.971
AT ITER 917 NEW BEST:: SOT 1761195 SOS 1082932 HAS SOPS 1082932 HAS SOUS 651675 HAS SOUPS 651675 WITH SCORE 652757.932
AT ITER 925 NEW BEST:: SOT 1760780 SOS 1082517 HAS SOPS 1082517 HAS SOUS 651260 HAS SOUPS 651260 WITH SCORE 652342.517
AT ITER 929 NEW BEST:: SOT 1760780 SOS 1082517 HAS SOPS 1082517 HAS SOUS 650944 HAS SOUPS 650944 WITH SCORE 652026.517
AT ITER 932 NEW BEST:: SOT 1760882 SOS 1082619 HAS SOPS 1082619 HAS SOUS 649606 HAS SOUPS 649606 WITH SCORE 650688.619
AT ITER 937 NEW BEST:: SOT 1760882 SOS 1082619 HAS SOPS 1082619 HAS SOUS 649286 HAS SOUPS 649286 WITH SCORE 650368.619
AT ITER 942 NEW BEST:: SOT 1760882 SOS 1082619 HAS SOPS 1082619 HAS SOUS 648829 HAS SOUPS 648829 WITH SCORE 649911.619
AT ITER 944 NEW BEST:: SOT 1760882 SOS 1082619 HAS SOPS 1082619 HAS SOUS 648757 HAS SOUPS 648757 WITH SCORE 649839.619
AT ITER 948 NEW BEST:: SOT 1761651 SOS 1083274 HAS SOPS 1083274 HAS SOUS 645672 HAS SOUPS 645672 WITH SCORE 646755.274
AT ITER 950 NEW BEST:: SOT 1761337 SOS 1082960 HAS SOPS 1082960 HAS SOUS 645461 HAS SOUPS 645461 WITH SCORE 646543.96
AT ITER 953 NEW BEST:: SOT 1761274 SOS 1082682 HAS SOPS 1082682 HAS SOUS 645461 HAS SOUPS 645461 WITH SCORE 646543.682
AT ITER 964 NEW BEST:: SOT 1762006 SOS 1083414 HAS SOPS 1083414 HAS SOUS 644890 HAS SOUPS 644890 WITH SCORE 645973.414
AT ITER 966 NEW BEST:: SOT 1761992 SOS 1083400 HAS SOPS 1083400 HAS SOUS 644876 HAS SOUPS 644876 WITH SCORE 645959.4
AT ITER 971 NEW BEST:: SOT 1761954 SOS 1083419 HAS SOPS 1083419 HAS SOUS 644870 HAS SOUPS 644870 WITH SCORE 645953.419
AT ITER 975 NEW BEST:: SOT 1761583 SOS 1083048 HAS SOPS 1083048 HAS SOUS 642789 HAS SOUPS 642789 WITH SCORE 643872.048
AT ITER 978 NEW BEST:: SOT 1760967 SOS 1082432 HAS SOPS 1082432 HAS SOUS 642335 HAS SOUPS 642335 WITH SCORE 643417.432
AT ITER 980 NEW BEST:: SOT 1760893 SOS 1082358 HAS SOPS 1082358 HAS SOUS 642261 HAS SOUPS 642261 WITH SCORE 643343.358
AT ITER 982 NEW BEST:: SOT 1760630 SOS 1082095 HAS SOPS 1082095 HAS SOUS 641998 HAS SOUPS 641998 WITH SCORE 643080.095
AT ITER 983 NEW BEST:: SOT 1760291 SOS 1081756 HAS SOPS 1081756 HAS SOUS 639859 HAS SOUPS 639859 WITH SCORE 640940.756
AT ITER 990 NEW BEST:: SOT 1760237 SOS 1081735 HAS SOPS 1081735 HAS SOUS 639805 HAS SOUPS 639805 WITH SCORE 640886.735
AT ITER 993 NEW BEST:: SOT 1760262 SOS 1081785 HAS SOPS 1081785 HAS SOUS 639773 HAS SOUPS 639773 WITH SCORE 640854.785
AT ITER 1009 NEW BEST:: SOT 1759638 SOS 1081161 HAS SOPS 1081161 HAS SOUS 638549 HAS SOUPS 638549 WITH SCORE 639630.161
AT ITER 1028 NEW BEST:: SOT 1760288 SOS 1081811 HAS SOPS 1081811 HAS SOUS 638539 HAS SOUPS 638539 WITH SCORE 639620.811
AT ITER 1030 NEW BEST:: SOT 1760238 SOS 1081761 HAS SOPS 1081761 HAS SOUS 637147 HAS SOUPS 637147 WITH SCORE 638228.761
AT ITER 1044 NEW BEST:: SOT 1760218 SOS 1081741 HAS SOPS 1081741 HAS SOUS 637127 HAS SOUPS 637127 WITH SCORE 638208.741
AT ITER 1052 NEW BEST:: SOT 1760070 SOS 1083889 HAS SOPS 1082079 HAS SOUS 637171 HAS SOUPS 636990 WITH SCORE 638073.889
AT ITER 1056 NEW BEST:: SOT 1759985 SOS 1083804 HAS SOPS 1081994 HAS SOUS 637086 HAS SOUPS 636905 WITH SCORE 637988.804
AT ITER 1069 NEW BEST:: SOT 1759990 SOS 1084626 HAS SOPS 1082816 HAS SOUS 637055 HAS SOUPS 636874 WITH SCORE 637958.626
AT ITER 1076 NEW BEST:: SOT 1759870 SOS 1084506 HAS SOPS 1082696 HAS SOUS 634975 HAS SOUPS 634794 WITH SCORE 635878.506
AT ITER 1078 NEW BEST:: SOT 1759761 SOS 1084397 HAS SOPS 1082587 HAS SOUS 633776 HAS SOUPS 633595 WITH SCORE 634679.397
AT ITER 1081 NEW BEST:: SOT 1759727 SOS 1084363 HAS SOPS 1082553 HAS SOUS 633436 HAS SOUPS 633255 WITH SCORE 634339.363
AT ITER 1093 NEW BEST:: SOT 1759763 SOS 1084399 HAS SOPS 1082589 HAS SOUS 630171 HAS SOUPS 629990 WITH SCORE 631074.399
AT ITER 1099 NEW BEST:: SOT 1759763 SOS 1084399 HAS SOPS 1082589 HAS SOUS 629822 HAS SOUPS 629641 WITH SCORE 630725.399
AT ITER 1103 NEW BEST:: SOT 1759763 SOS 1084402 HAS SOPS 1082592 HAS SOUS 629821 HAS SOUPS 629640 WITH SCORE 630724.402
AT ITER 1107 NEW BEST:: SOT 1759703 SOS 1084342 HAS SOPS 1082532 HAS SOUS 629761 HAS SOUPS 629580 WITH SCORE 630664.342
AT ITER 1121 NEW BEST:: SOT 1759631 SOS 1084308 HAS SOPS 1082498 HAS SOUS 629693 HAS SOUPS 629512 WITH SCORE 630596.308
AT ITER 1128 NEW BEST:: SOT 1759522 SOS 1083969 HAS SOPS 1082159 HAS SOUS 629684 HAS SOUPS 629503 WITH SCORE 630586.969
AT ITER 1133 NEW BEST:: SOT 1759522 SOS 1104251 HAS SOPS 1102441 HAS SOUS 629659 HAS SOUPS 629478 WITH SCORE 630582.251
AT ITER 1144 NEW BEST:: SOT 1759500 SOS 1104229 HAS SOPS 1102419 HAS SOUS 629637 HAS SOUPS 629456 WITH SCORE 630560.229
AT ITER 1147 NEW BEST:: SOT 1759356 SOS 1104085 HAS SOPS 1102275 HAS SOUS 628053 HAS SOUPS 627872 WITH SCORE 628976.085
AT ITER 1148 NEW BEST:: SOT 1759364 SOS 1104093 HAS SOPS 1102283 HAS SOUS 627793 HAS SOUPS 627612 WITH SCORE 628716.093
AT ITER 1151 NEW BEST:: SOT 1759270 SOS 1104303 HAS SOPS 1102493 HAS SOUS 627774 HAS SOUPS 627593 WITH SCORE 628697.303
AT ITER 1158 NEW BEST:: SOT 1759030 SOS 1104063 HAS SOPS 1102253 HAS SOUS 626750 HAS SOUPS 626569 WITH SCORE 627673.063
AT ITER 1161 NEW BEST:: SOT 1759003 SOS 1104036 HAS SOPS 1102226 HAS SOUS 626723 HAS SOUPS 626542 WITH SCORE 627646.036
AT ITER 1163 NEW BEST:: SOT 1758955 SOS 1103988 HAS SOPS 1102178 HAS SOUS 626483 HAS SOUPS 626302 WITH SCORE 627405.988
AT ITER 1165 NEW BEST:: SOT 1758915 SOS 1103948 HAS SOPS 1102138 HAS SOUS 626443 HAS SOUPS 626262 WITH SCORE 627365.948
AT ITER 1173 NEW BEST:: SOT 1758915 SOS 1103948 HAS SOPS 1102138 HAS SOUS 626425 HAS SOUPS 626244 WITH SCORE 627347.948
AT ITER 1188 NEW BEST:: SOT 1758915 SOS 1103948 HAS SOPS 1102138 HAS SOUS 626358 HAS SOUPS 626177 WITH SCORE 627280.948
AT ITER 1206 NEW BEST:: SOT 1758677 SOS 1103710 HAS SOPS 1101900 HAS SOUS 626120 HAS SOUPS 625939 WITH SCORE 627042.71
AT ITER 1231 NEW BEST:: SOT 1758710 SOS 1103743 HAS SOPS 1101933 HAS SOUS 624569 HAS SOUPS 624388 WITH SCORE 625491.743
AT ITER 1236 NEW BEST:: SOT 1760960 SOS 1105993 HAS SOPS 1104183 HAS SOUS 624339 HAS SOUPS 624158 WITH SCORE 625263.993
AT ITER 1237 NEW BEST:: SOT 1760883 SOS 1105916 HAS SOPS 1104106 HAS SOUS 624262 HAS SOUPS 624081 WITH SCORE 625186.916
AT ITER 1240 NEW BEST:: SOT 1760873 SOS 1105906 HAS SOPS 1104096 HAS SOUS 624252 HAS SOUPS 624071 WITH SCORE 625176.906
AT ITER 1248 NEW BEST:: SOT 1760826 SOS 1105859 HAS SOPS 1104049 HAS SOUS 624231 HAS SOUPS 624050 WITH SCORE 625155.859
AT ITER 1254 NEW BEST:: SOT 1760826 SOS 1105859 HAS SOPS 1104049 HAS SOUS 624195 HAS SOUPS 624014 WITH SCORE 625119.859
AT ITER 1260 NEW BEST:: SOT 1760826 SOS 1105837 HAS SOPS 1104027 HAS SOUS 624195 HAS SOUPS 624014 WITH SCORE 625119.837
AT ITER 1266 NEW BEST:: SOT 1760826 SOS 1105837 HAS SOPS 1104027 HAS SOUS 624171 HAS SOUPS 623990 WITH SCORE 625095.837
AT ITER 1270 NEW BEST:: SOT 1760826 SOS 1105690 HAS SOPS 1103880 HAS SOUS 623824 HAS SOUPS 623643 WITH SCORE 624748.69
AT ITER 1280 NEW BEST:: SOT 1760630 SOS 1105494 HAS SOPS 1103684 HAS SOUS 623628 HAS SOUPS 623447 WITH SCORE 624552.494
AT ITER 1283 NEW BEST:: SOT 1760289 SOS 1105153 HAS SOPS 1103343 HAS SOUS 623111 HAS SOUPS 622930 WITH SCORE 624035.153
AT ITER 1284 NEW BEST:: SOT 1760519 SOS 1105383 HAS SOPS 1103573 HAS SOUS 622186 HAS SOUPS 622005 WITH SCORE 623110.383
AT ITER 1285 NEW BEST:: SOT 1760439 SOS 1105502 HAS SOPS 1103692 HAS SOUS 622081 HAS SOUPS 621900 WITH SCORE 623005.502
AT ITER 1294 NEW BEST:: SOT 1760424 SOS 1105472 HAS SOPS 1103662 HAS SOUS 622066 HAS SOUPS 621885 WITH SCORE 622990.472
AT ITER 1304 NEW BEST:: SOT 1760424 SOS 1105436 HAS SOPS 1103626 HAS SOUS 621959 HAS SOUPS 621778 WITH SCORE 622883.436
AT ITER 1307 NEW BEST:: SOT 1760424 SOS 1105436 HAS SOPS 1103626 HAS SOUS 621929 HAS SOUPS 621748 WITH SCORE 622853.436
AT ITER 1314 NEW BEST:: SOT 1760972 SOS 1105984 HAS SOPS 1104174 HAS SOUS 620133 HAS SOUPS 619952 WITH SCORE 621057.984
AT ITER 1315 NEW BEST:: SOT 1760930 SOS 1105942 HAS SOPS 1104132 HAS SOUS 620091 HAS SOUPS 619910 WITH SCORE 621015.942
AT ITER 1317 NEW BEST:: SOT 1761274 SOS 1106286 HAS SOPS 1104476 HAS SOUS 619141 HAS SOUPS 618960 WITH SCORE 620066.286
AT ITER 1349 NEW BEST:: SOT 1760912 SOS 1105924 HAS SOPS 1104114 HAS SOUS 615745 HAS SOUPS 615564 WITH SCORE 616669.924
AT ITER 1352 NEW BEST:: SOT 1763276 SOS 1108288 HAS SOPS 1106478 HAS SOUS 615383 HAS SOUPS 615202 WITH SCORE 616310.288
AT ITER 1353 NEW BEST:: SOT 1762830 SOS 1107842 HAS SOPS 1106032 HAS SOUS 614937 HAS SOUPS 614756 WITH SCORE 615863.842
AT ITER 1361 NEW BEST:: SOT 1762643 SOS 1107655 HAS SOPS 1105845 HAS SOUS 613067 HAS SOUPS 612886 WITH SCORE 613993.655
AT ITER 1370 NEW BEST:: SOT 1762643 SOS 1107655 HAS SOPS 1105845 HAS SOUS 612948 HAS SOUPS 612767 WITH SCORE 613874.655
AT ITER 1372 NEW BEST:: SOT 1762610 SOS 1107661 HAS SOPS 1105851 HAS SOUS 612915 HAS SOUPS 612734 WITH SCORE 613841.661
AT ITER 1376 NEW BEST:: SOT 1762536 SOS 1107587 HAS SOPS 1105777 HAS SOUS 612135 HAS SOUPS 611954 WITH SCORE 613061.587
AT ITER 1387 NEW BEST:: SOT 1762536 SOS 1107487 HAS SOPS 1105677 HAS SOUS 611874 HAS SOUPS 611693 WITH SCORE 612800.487
AT ITER 1394 NEW BEST:: SOT 1762481 SOS 1107377 HAS SOPS 1105567 HAS SOUS 611764 HAS SOUPS 611583 WITH SCORE 612690.377
AT ITER 1396 NEW BEST:: SOT 1762489 SOS 1107385 HAS SOPS 1105575 HAS SOUS 611313 HAS SOUPS 611132 WITH SCORE 612239.385
AT ITER 1397 NEW BEST:: SOT 1762497 SOS 1107417 HAS SOPS 1105607 HAS SOUS 611169 HAS SOUPS 610988 WITH SCORE 612095.417
AT ITER 1401 NEW BEST:: SOT 1762274 SOS 1106757 HAS SOPS 1104947 HAS SOUS 610675 HAS SOUPS 610494 WITH SCORE 611600.757
AT ITER 1408 NEW BEST:: SOT 1762274 SOS 1106757 HAS SOPS 1104947 HAS SOUS 610005 HAS SOUPS 609824 WITH SCORE 610930.757
AT ITER 1412 NEW BEST:: SOT 1762179 SOS 1106789 HAS SOPS 1104979 HAS SOUS 609957 HAS SOUPS 609776 WITH SCORE 610882.789
AT ITER 1441 NEW BEST:: SOT 1762040 SOS 1106740 HAS SOPS 1104930 HAS SOUS 609789 HAS SOUPS 609608 WITH SCORE 610714.74
AT ITER 1442 NEW BEST:: SOT 1764535 SOS 1109235 HAS SOPS 1107425 HAS SOUS 609213 HAS SOUPS 609032 WITH SCORE 610141.235
AT ITER 1458 NEW BEST:: SOT 1764523 SOS 1109223 HAS SOPS 1107413 HAS SOUS 609150 HAS SOUPS 608969 WITH SCORE 610078.223
AT ITER 1459 NEW BEST:: SOT 1764509 SOS 1109209 HAS SOPS 1107399 HAS SOUS 609136 HAS SOUPS 608955 WITH SCORE 610064.209
AT ITER 1460 NEW BEST:: SOT 1764430 SOS 1109336 HAS SOPS 1107526 HAS SOUS 609094 HAS SOUPS 608913 WITH SCORE 610022.336
AT ITER 1477 NEW BEST:: SOT 1764335 SOS 1109394 HAS SOPS 1107584 HAS SOUS 608887 HAS SOUPS 608706 WITH SCORE 609815.394
AT ITER 1479 NEW BEST:: SOT 1764250 SOS 1109309 HAS SOPS 1107499 HAS SOUS 608802 HAS SOUPS 608621 WITH SCORE 609730.309
AT ITER 1480 NEW BEST:: SOT 1764114 SOS 1109173 HAS SOPS 1107363 HAS SOUS 608656 HAS SOUPS 608475 WITH SCORE 609584.173
AT ITER 1493 NEW BEST:: SOT 1764114 SOS 1109173 HAS SOPS 1107363 HAS SOUS 608638 HAS SOUPS 608457 WITH SCORE 609566.173
AT ITER 1499 NEW BEST:: SOT 1763918 SOS 1109297 HAS SOPS 1107487 HAS SOUS 608466 HAS SOUPS 608285 WITH SCORE 609394.297
AT ITER 1501 NEW BEST:: SOT 1763918 SOS 1109297 HAS SOPS 1107487 HAS SOUS 608406 HAS SOUPS 608225 WITH SCORE 609334.297
AT ITER 1505 NEW BEST:: SOT 1763877 SOS 1109256 HAS SOPS 1107446 HAS SOUS 608365 HAS SOUPS 608184 WITH SCORE 609293.256
AT ITER 1533 NEW BEST:: SOT 1763811 SOS 1109157 HAS SOPS 1107347 HAS SOUS 607936 HAS SOUPS 607755 WITH SCORE 608864.157
AT ITER 1540 NEW BEST:: SOT 1763521 SOS 1108867 HAS SOPS 1107057 HAS SOUS 607646 HAS SOUPS 607465 WITH SCORE 608573.867
AT ITER 1544 NEW BEST:: SOT 1763369 SOS 1108715 HAS SOPS 1106905 HAS SOUS 607494 HAS SOUPS 607313 WITH SCORE 608421.715
AT ITER 1552 NEW BEST:: SOT 1763360 SOS 1108706 HAS SOPS 1106896 HAS SOUS 606766 HAS SOUPS 606585 WITH SCORE 607693.706
AT ITER 1568 NEW BEST:: SOT 1763360 SOS 1108666 HAS SOPS 1106856 HAS SOUS 606686 HAS SOUPS 606505 WITH SCORE 607613.666
AT ITER 1569 NEW BEST:: SOT 1763360 SOS 1108666 HAS SOPS 1106856 HAS SOUS 605206 HAS SOUPS 605025 WITH SCORE 606133.666
AT ITER 1572 NEW BEST:: SOT 1763287 SOS 1108593 HAS SOPS 1106783 HAS SOUS 605105 HAS SOUPS 604924 WITH SCORE 606032.593
AT ITER 1575 NEW BEST:: SOT 1763045 SOS 1108351 HAS SOPS 1106541 HAS SOUS 601993 HAS SOUPS 601812 WITH SCORE 602920.351
AT ITER 1576 NEW BEST:: SOT 1761744 SOS 1107050 HAS SOPS 1105240 HAS SOUS 600692 HAS SOUPS 600511 WITH SCORE 601618.05
AT ITER 1581 NEW BEST:: SOT 1762584 SOS 1107890 HAS SOPS 1106080 HAS SOUS 600493 HAS SOUPS 600312 WITH SCORE 601419.89
AT ITER 1594 NEW BEST:: SOT 1762576 SOS 1107882 HAS SOPS 1106072 HAS SOUS 600485 HAS SOUPS 600304 WITH SCORE 601411.882
AT ITER 1612 NEW BEST:: SOT 1762610 SOS 1107916 HAS SOPS 1106106 HAS SOUS 600222 HAS SOUPS 600041 WITH SCORE 601148.916
AT ITER 1658 NEW BEST:: SOT 1762573 SOS 1107879 HAS SOPS 1106069 HAS SOUS 600185 HAS SOUPS 600004 WITH SCORE 601111.879
AT ITER 1664 NEW BEST:: SOT 1762493 SOS 1107799 HAS SOPS 1105989 HAS SOUS 599385 HAS SOUPS 599204 WITH SCORE 600311.799
AT ITER 1673 NEW BEST:: SOT 1761160 SOS 1106466 HAS SOPS 1104656 HAS SOUS 598593 HAS SOUPS 598412 WITH SCORE 599518.466
AT ITER 1679 NEW BEST:: SOT 1761160 SOS 1106466 HAS SOPS 1104656 HAS SOUS 598553 HAS SOUPS 598372 WITH SCORE 599478.466
AT ITER 1682 NEW BEST:: SOT 1760944 SOS 1106250 HAS SOPS 1104440 HAS SOUS 598337 HAS SOUPS 598156 WITH SCORE 599262.25
AT ITER 1688 NEW BEST:: SOT 1761111 SOS 1106417 HAS SOPS 1104607 HAS SOUS 596800 HAS SOUPS 596619 WITH SCORE 597725.417
AT ITER 1692 NEW BEST:: SOT 1761044 SOS 1106350 HAS SOPS 1104540 HAS SOUS 596721 HAS SOUPS 596540 WITH SCORE 597646.35
AT ITER 1696 NEW BEST:: SOT 1761044 SOS 1106340 HAS SOPS 1104530 HAS SOUS 596653 HAS SOUPS 596472 WITH SCORE 597578.34
AT ITER 1700 NEW BEST:: SOT 1760956 SOS 1106252 HAS SOPS 1104442 HAS SOUS 595685 HAS SOUPS 595504 WITH SCORE 596610.252
AT ITER 1716 NEW BEST:: SOT 1760906 SOS 1105853 HAS SOPS 1104043 HAS SOUS 595512 HAS SOUPS 595331 WITH SCORE 596436.853
AT ITER 1722 NEW BEST:: SOT 1760906 SOS 1105853 HAS SOPS 1104043 HAS SOUS 595433 HAS SOUPS 595252 WITH SCORE 596357.853
AT ITER 1725 NEW BEST:: SOT 1760964 SOS 1105912 HAS SOPS 1104102 HAS SOUS 595381 HAS SOUPS 595200 WITH SCORE 596305.912
AT ITER 1729 NEW BEST:: SOT 1760873 SOS 1105821 HAS SOPS 1104011 HAS SOUS 595199 HAS SOUPS 595018 WITH SCORE 596123.821
AT ITER 1747 NEW BEST:: SOT 1760725 SOS 1105673 HAS SOPS 1103863 HAS SOUS 595051 HAS SOUPS 594870 WITH SCORE 595975.673
AT ITER 1749 NEW BEST:: SOT 1760724 SOS 1105391 HAS SOPS 1103581 HAS SOUS 594869 HAS SOUPS 594688 WITH SCORE 595793.391
AT ITER 1751 NEW BEST:: SOT 1760722 SOS 1105389 HAS SOPS 1103579 HAS SOUS 590317 HAS SOUPS 590136 WITH SCORE 591241.389
AT ITER 1755 NEW BEST:: SOT 1760722 SOS 1105389 HAS SOPS 1103579 HAS SOUS 590310 HAS SOUPS 590129 WITH SCORE 591234.389
AT ITER 1759 NEW BEST:: SOT 1762232 SOS 1106899 HAS SOPS 1105089 HAS SOUS 590271 HAS SOUPS 590090 WITH SCORE 591196.899
AT ITER 1773 NEW BEST:: SOT 1762004 SOS 1106671 HAS SOPS 1104861 HAS SOUS 590043 HAS SOUPS 589862 WITH SCORE 590968.671
AT ITER 1778 NEW BEST:: SOT 1761875 SOS 1106833 HAS SOPS 1105023 HAS SOUS 589846 HAS SOUPS 589665 WITH SCORE 590771.833
AT ITER 1786 NEW BEST:: SOT 1761780 SOS 1106851 HAS SOPS 1105041 HAS SOUS 589816 HAS SOUPS 589635 WITH SCORE 590741.851
AT ITER 1794 NEW BEST:: SOT 1761758 SOS 1106829 HAS SOPS 1105019 HAS SOUS 589794 HAS SOUPS 589613 WITH SCORE 590719.829
AT ITER 1801 NEW BEST:: SOT 1761714 SOS 1106785 HAS SOPS 1104975 HAS SOUS 589738 HAS SOUPS 589557 WITH SCORE 590663.785
AT ITER 1802 NEW BEST:: SOT 1761708 SOS 1106779 HAS SOPS 1104969 HAS SOUS 589732 HAS SOUPS 589551 WITH SCORE 590657.779
AT ITER 1811 NEW BEST:: SOT 1761708 SOS 1106779 HAS SOPS 1104969 HAS SOUS 589588 HAS SOUPS 589407 WITH SCORE 590513.779
AT ITER 1819 NEW BEST:: SOT 1762401 SOS 1107472 HAS SOPS 1105662 HAS SOUS 588308 HAS SOUPS 588127 WITH SCORE 589234.472
AT ITER 1825 NEW BEST:: SOT 1762342 SOS 1107450 HAS SOPS 1105640 HAS SOUS 588252 HAS SOUPS 588071 WITH SCORE 589178.45
AT ITER 1832 NEW BEST:: SOT 1762585 SOS 1107693 HAS SOPS 1105883 HAS SOUS 585132 HAS SOUPS 584951 WITH SCORE 586058.693
AT ITER 1843 NEW BEST:: SOT 1763578 SOS 1108686 HAS SOPS 1106876 HAS SOUS 584872 HAS SOUPS 584691 WITH SCORE 585799.686
AT ITER 1847 NEW BEST:: SOT 1763524 SOS 1108632 HAS SOPS 1106822 HAS SOUS 584764 HAS SOUPS 584583 WITH SCORE 585691.632
AT ITER 1851 NEW BEST:: SOT 1763430 SOS 1108538 HAS SOPS 1106728 HAS SOUS 584336 HAS SOUPS 584155 WITH SCORE 585263.538
AT ITER 1858 NEW BEST:: SOT 1763292 SOS 1108400 HAS SOPS 1106590 HAS SOUS 584198 HAS SOUPS 584017 WITH SCORE 585125.4
AT ITER 1871 NEW BEST:: SOT 1763265 SOS 1108373 HAS SOPS 1106563 HAS SOUS 583050 HAS SOUPS 582869 WITH SCORE 583977.373
AT ITER 1885 NEW BEST:: SOT 1763162 SOS 1108270 HAS SOPS 1106460 HAS SOUS 579257 HAS SOUPS 579076 WITH SCORE 580184.27
AT ITER 1891 NEW BEST:: SOT 1764588 SOS 1109237 HAS SOPS 1107427 HAS SOUS 578704 HAS SOUPS 578523 WITH SCORE 579632.237
AT ITER 1899 NEW BEST:: SOT 1764167 SOS 1108816 HAS SOPS 1107006 HAS SOUS 577553 HAS SOUPS 577372 WITH SCORE 578480.816
AT ITER 1900 NEW BEST:: SOT 1763943 SOS 1108592 HAS SOPS 1106782 HAS SOUS 577329 HAS SOUPS 577148 WITH SCORE 578256.592
AT ITER 1916 NEW BEST:: SOT 1763943 SOS 1108592 HAS SOPS 1106782 HAS SOUS 576937 HAS SOUPS 576756 WITH SCORE 577864.592
AT ITER 1927 NEW BEST:: SOT 1763856 SOS 1108505 HAS SOPS 1106695 HAS SOUS 576891 HAS SOUPS 576710 WITH SCORE 577818.505
AT ITER 1932 NEW BEST:: SOT 1763820 SOS 1108469 HAS SOPS 1106659 HAS SOUS 576855 HAS SOUPS 576674 WITH SCORE 577782.469
AT ITER 1934 NEW BEST:: SOT 1763922 SOS 1108571 HAS SOPS 1106761 HAS SOUS 576311 HAS SOUPS 576130 WITH SCORE 577238.571
AT ITER 1951 NEW BEST:: SOT 1763897 SOS 1108546 HAS SOPS 1106736 HAS SOUS 576244 HAS SOUPS 576063 WITH SCORE 577171.546
AT ITER 1955 NEW BEST:: SOT 1763905 SOS 1108644 HAS SOPS 1106834 HAS SOUS 576068 HAS SOUPS 575887 WITH SCORE 576995.644
AT ITER 1966 NEW BEST:: SOT 1764943 SOS 1109682 HAS SOPS 1107872 HAS SOUS 573398 HAS SOUPS 573217 WITH SCORE 574326.682
AT ITER 1970 NEW BEST:: SOT 1764854 SOS 1109593 HAS SOPS 1107783 HAS SOUS 573309 HAS SOUPS 573128 WITH SCORE 574237.593
AT ITER 1974 NEW BEST:: SOT 1764797 SOS 1109536 HAS SOPS 1107726 HAS SOUS 573252 HAS SOUPS 573071 WITH SCORE 574180.536
AT ITER 1981 NEW BEST:: SOT 1766000 SOS 1110739 HAS SOPS 1108929 HAS SOUS 573166 HAS SOUPS 572985 WITH SCORE 574095.739
AT ITER 1982 NEW BEST:: SOT 1766000 SOS 1110647 HAS SOPS 1108837 HAS SOUS 573166 HAS SOUPS 572985 WITH SCORE 574095.647
AT ITER 1984 NEW BEST:: SOT 1766043 SOS 1110430 HAS SOPS 1108620 HAS SOUS 573072 HAS SOUPS 572891 WITH SCORE 574001.43
AT ITER 1986 NEW BEST:: SOT 1766031 SOS 1110422 HAS SOPS 1108612 HAS SOUS 573056 HAS SOUPS 572875 WITH SCORE 573985.422
AT ITER 1997 NEW BEST:: SOT 1766003 SOS 1110394 HAS SOPS 1108584 HAS SOUS 573028 HAS SOUPS 572847 WITH SCORE 573957.394
AT ITER 2008 NEW BEST:: SOT 1765879 SOS 1110270 HAS SOPS 1108460 HAS SOUS 572904 HAS SOUPS 572723 WITH SCORE 573833.27
AT ITER 2019 NEW BEST:: SOT 1765818 SOS 1110302 HAS SOPS 1108492 HAS SOUS 572872 HAS SOUPS 572691 WITH SCORE 573801.302
AT ITER 2026 NEW BEST:: SOT 1766421 SOS 1110905 HAS SOPS 1109095 HAS SOUS 570573 HAS SOUPS 570392 WITH SCORE 571502.905
AT ITER 2027 NEW BEST:: SOT 1766421 SOS 1110782 HAS SOPS 1108972 HAS SOUS 570523 HAS SOUPS 570342 WITH SCORE 571452.782
AT ITER 2030 NEW BEST:: SOT 1766485 SOS 1110846 HAS SOPS 1109036 HAS SOUS 569683 HAS SOUPS 569502 WITH SCORE 570612.846
AT ITER 2031 NEW BEST:: SOT 1766349 SOS 1110710 HAS SOPS 1108900 HAS SOUS 568935 HAS SOUPS 568754 WITH SCORE 569864.71
AT ITER 2033 NEW BEST:: SOT 1766335 SOS 1110696 HAS SOPS 1108886 HAS SOUS 568921 HAS SOUPS 568740 WITH SCORE 569850.696
AT ITER 2034 NEW BEST:: SOT 1765967 SOS 1110144 HAS SOPS 1108334 HAS SOUS 566713 HAS SOUPS 566532 WITH SCORE 567642.144
AT ITER 2042 NEW BEST:: SOT 1765923 SOS 1110100 HAS SOPS 1108290 HAS SOUS 566505 HAS SOUPS 566324 WITH SCORE 567434.1
AT ITER 2049 NEW BEST:: SOT 1765822 SOS 1109999 HAS SOPS 1108189 HAS SOUS 565472 HAS SOUPS 565291 WITH SCORE 566400.999
AT ITER 2059 NEW BEST:: SOT 1766245 SOS 1110422 HAS SOPS 1108612 HAS SOUS 563371 HAS SOUPS 563190 WITH SCORE 564300.422
AT ITER 2061 NEW BEST:: SOT 1766010 SOS 1110187 HAS SOPS 1108377 HAS SOUS 561248 HAS SOUPS 561067 WITH SCORE 562177.187
AT ITER 2063 NEW BEST:: SOT 1765760 SOS 1109937 HAS SOPS 1108127 HAS SOUS 560498 HAS SOUPS 560317 WITH SCORE 561426.937
AT ITER 2064 NEW BEST:: SOT 1765943 SOS 1110120 HAS SOPS 1108310 HAS SOUS 560363 HAS SOUPS 560182 WITH SCORE 561292.12
AT ITER 2070 NEW BEST:: SOT 1764889 SOS 1109066 HAS SOPS 1107256 HAS SOUS 559899 HAS SOUPS 559718 WITH SCORE 560827.066
AT ITER 2078 NEW BEST:: SOT 1764859 SOS 1109216 HAS SOPS 1107406 HAS SOUS 559890 HAS SOUPS 559709 WITH SCORE 560818.216
AT ITER 2079 NEW BEST:: SOT 1764696 SOS 1109359 HAS SOPS 1107549 HAS SOUS 559679 HAS SOUPS 559498 WITH SCORE 560607.359
AT ITER 2080 NEW BEST:: SOT 1764529 SOS 1109192 HAS SOPS 1107382 HAS SOUS 559512 HAS SOUPS 559331 WITH SCORE 560440.192
AT ITER 2091 NEW BEST:: SOT 1764529 SOS 1109197 HAS SOPS 1107387 HAS SOUS 559502 HAS SOUPS 559321 WITH SCORE 560430.197
AT ITER 2098 NEW BEST:: SOT 1764529 SOS 1109161 HAS SOPS 1107351 HAS SOUS 559466 HAS SOUPS 559285 WITH SCORE 560394.161
AT ITER 2099 NEW BEST:: SOT 1764450 SOS 1109082 HAS SOPS 1107272 HAS SOUS 559362 HAS SOUPS 559181 WITH SCORE 560290.082
AT ITER 2101 NEW BEST:: SOT 1764438 SOS 1109070 HAS SOPS 1107260 HAS SOUS 559350 HAS SOUPS 559169 WITH SCORE 560278.07
AT ITER 2104 NEW BEST:: SOT 1764437 SOS 1109069 HAS SOPS 1107259 HAS SOUS 559259 HAS SOUPS 559078 WITH SCORE 560187.069
AT ITER 2105 NEW BEST:: SOT 1764437 SOS 1109069 HAS SOPS 1107259 HAS SOUS 559160 HAS SOUPS 558979 WITH SCORE 560088.069
AT ITER 2106 NEW BEST:: SOT 1764396 SOS 1109028 HAS SOPS 1107218 HAS SOUS 559119 HAS SOUPS 558938 WITH SCORE 560047.028
AT ITER 2107 NEW BEST:: SOT 1764284 SOS 1108916 HAS SOPS 1107106 HAS SOUS 558993 HAS SOUPS 558812 WITH SCORE 559920.916
AT ITER 2108 NEW BEST:: SOT 1764284 SOS 1108750 HAS SOPS 1106940 HAS SOUS 558772 HAS SOUPS 558591 WITH SCORE 559699.75
AT ITER 2117 NEW BEST:: SOT 1764110 SOS 1108576 HAS SOPS 1106766 HAS SOUS 558457 HAS SOUPS 558276 WITH SCORE 559384.576
AT ITER 2122 NEW BEST:: SOT 1763954 SOS 1108420 HAS SOPS 1106610 HAS SOUS 558301 HAS SOUPS 558120 WITH SCORE 559228.42
AT ITER 2132 NEW BEST:: SOT 1764397 SOS 1108863 HAS SOPS 1107053 HAS SOUS 558289 HAS SOUPS 558108 WITH SCORE 559216.863
AT ITER 2153 NEW BEST:: SOT 1764097 SOS 1108563 HAS SOPS 1106753 HAS SOUS 555599 HAS SOUPS 555418 WITH SCORE 556526.563
AT ITER 2162 NEW BEST:: SOT 1764014 SOS 1107931 HAS SOPS 1106121 HAS SOUS 554734 HAS SOUPS 554553 WITH SCORE 555660.931
AT ITER 2169 NEW BEST:: SOT 1764014 SOS 1107931 HAS SOPS 1106121 HAS SOUS 554651 HAS SOUPS 554470 WITH SCORE 555577.931
AT ITER 2173 NEW BEST:: SOT 1763782 SOS 1107699 HAS SOPS 1105889 HAS SOUS 554419 HAS SOUPS 554238 WITH SCORE 555345.699
AT ITER 2174 NEW BEST:: SOT 1763448 SOS 1107365 HAS SOPS 1105555 HAS SOUS 554014 HAS SOUPS 553833 WITH SCORE 554940.365
AT ITER 2186 NEW BEST:: SOT 1763302 SOS 1107350 HAS SOPS 1105540 HAS SOUS 553922 HAS SOUPS 553741 WITH SCORE 554848.35
AT ITER 2193 NEW BEST:: SOT 1763157 SOS 1107595 HAS SOPS 1105785 HAS SOUS 553684 HAS SOUPS 553503 WITH SCORE 554610.595
AT ITER 2197 NEW BEST:: SOT 1764044 SOS 1108482 HAS SOPS 1106672 HAS SOUS 553094 HAS SOUPS 552913 WITH SCORE 554021.482
AT ITER 2213 NEW BEST:: SOT 1764008 SOS 1108446 HAS SOPS 1106636 HAS SOUS 553058 HAS SOUPS 552877 WITH SCORE 553985.446
AT ITER 2215 NEW BEST:: SOT 1764815 SOS 1109253 HAS SOPS 1107443 HAS SOUS 552853 HAS SOUPS 552672 WITH SCORE 553781.253
AT ITER 2227 NEW BEST:: SOT 1764651 SOS 1109089 HAS SOPS 1107279 HAS SOUS 552689 HAS SOUPS 552508 WITH SCORE 553617.089
AT ITER 2246 NEW BEST:: SOT 1764651 SOS 1109008 HAS SOPS 1107198 HAS SOUS 552675 HAS SOUPS 552494 WITH SCORE 553603.008
AT ITER 2248 NEW BEST:: SOT 1764585 SOS 1108942 HAS SOPS 1107132 HAS SOUS 552465 HAS SOUPS 552284 WITH SCORE 553392.942
AT ITER 2253 NEW BEST:: SOT 1764585 SOS 1108942 HAS SOPS 1107132 HAS SOUS 552464 HAS SOUPS 552283 WITH SCORE 553391.942
AT ITER 2257 NEW BEST:: SOT 1764434 SOS 1108791 HAS SOPS 1106981 HAS SOUS 552313 HAS SOUPS 552132 WITH SCORE 553240.791
AT ITER 2274 NEW BEST:: SOT 1764410 SOS 1108767 HAS SOPS 1106957 HAS SOUS 552289 HAS SOUPS 552108 WITH SCORE 553216.767
AT ITER 2279 NEW BEST:: SOT 1764542 SOS 1108899 HAS SOPS 1107089 HAS SOUS 551617 HAS SOUPS 551436 WITH SCORE 552544.899
AT ITER 2287 NEW BEST:: SOT 1764504 SOS 1108861 HAS SOPS 1107051 HAS SOUS 551579 HAS SOUPS 551398 WITH SCORE 552506.861
AT ITER 2288 NEW BEST:: SOT 1764493 SOS 1108850 HAS SOPS 1107040 HAS SOUS 551557 HAS SOUPS 551376 WITH SCORE 552484.85
AT ITER 2289 NEW BEST:: SOT 1764440 SOS 1108797 HAS SOPS 1106987 HAS SOUS 551504 HAS SOUPS 551323 WITH SCORE 552431.797
AT ITER 2293 NEW BEST:: SOT 1764393 SOS 1108750 HAS SOPS 1106940 HAS SOUS 551249 HAS SOUPS 551068 WITH SCORE 552176.75
AT ITER 2296 NEW BEST:: SOT 1764155 SOS 1108512 HAS SOPS 1106702 HAS SOUS 550824 HAS SOUPS 550643 WITH SCORE 551751.512
AT ITER 2297 NEW BEST:: SOT 1764126 SOS 1108483 HAS SOPS 1106673 HAS SOUS 550505 HAS SOUPS 550324 WITH SCORE 551432.483
AT ITER 2299 NEW BEST:: SOT 1763928 SOS 1108285 HAS SOPS 1106475 HAS SOUS 550099 HAS SOUPS 549918 WITH SCORE 551026.285
AT ITER 2300 NEW BEST:: SOT 1762911 SOS 1107268 HAS SOPS 1105458 HAS SOUS 549037 HAS SOUPS 548856 WITH SCORE 549963.268
AT ITER 2301 NEW BEST:: SOT 1762926 SOS 1107283 HAS SOPS 1105473 HAS SOUS 548559 HAS SOUPS 548378 WITH SCORE 549485.283
AT ITER 2313 NEW BEST:: SOT 1762820 SOS 1107177 HAS SOPS 1105367 HAS SOUS 547373 HAS SOUPS 547192 WITH SCORE 548299.177
AT ITER 2318 NEW BEST:: SOT 1762805 SOS 1106965 HAS SOPS 1105155 HAS SOUS 547255 HAS SOUPS 547074 WITH SCORE 548180.965
AT ITER 2345 NEW BEST:: SOT 1762500 SOS 1106660 HAS SOPS 1104850 HAS SOUS 546702 HAS SOUPS 546521 WITH SCORE 547627.66
AT ITER 2351 NEW BEST:: SOT 1762467 SOS 1106627 HAS SOPS 1104817 HAS SOUS 546669 HAS SOUPS 546488 WITH SCORE 547594.627
AT ITER 2361 NEW BEST:: SOT 1762467 SOS 1106627 HAS SOPS 1104817 HAS SOUS 546457 HAS SOUPS 546276 WITH SCORE 547382.627
AT ITER 2374 NEW BEST:: SOT 1762439 SOS 1106599 HAS SOPS 1104789 HAS SOUS 546401 HAS SOUPS 546220 WITH SCORE 547326.599
AT ITER 2392 NEW BEST:: SOT 1762439 SOS 1106541 HAS SOPS 1104731 HAS SOUS 546401 HAS SOUPS 546220 WITH SCORE 547326.541
AT ITER 2410 NEW BEST:: SOT 1762576 SOS 1106678 HAS SOPS 1104868 HAS SOUS 544373 HAS SOUPS 544192 WITH SCORE 545298.678
AT ITER 2425 NEW BEST:: SOT 1762576 SOS 1106678 HAS SOPS 1104868 HAS SOUS 544347 HAS SOUPS 544166 WITH SCORE 545272.678
AT ITER 2433 NEW BEST:: SOT 1762562 SOS 1106664 HAS SOPS 1104854 HAS SOUS 544333 HAS SOUPS 544152 WITH SCORE 545258.664
AT ITER 2435 NEW BEST:: SOT 1761808 SOS 1105910 HAS SOPS 1104100 HAS SOUS 543579 HAS SOUPS 543398 WITH SCORE 544503.91
AT ITER 2443 NEW BEST:: SOT 1761670 SOS 1105772 HAS SOPS 1103962 HAS SOUS 543441 HAS SOUPS 543260 WITH SCORE 544365.772
AT ITER 2457 NEW BEST:: SOT 1761610 SOS 1105712 HAS SOPS 1103902 HAS SOUS 543381 HAS SOUPS 543200 WITH SCORE 544305.712
AT ITER 2460 NEW BEST:: SOT 1761572 SOS 1105674 HAS SOPS 1103864 HAS SOUS 543039 HAS SOUPS 542858 WITH SCORE 543963.674
AT ITER 2463 NEW BEST:: SOT 1761555 SOS 1105657 HAS SOPS 1103847 HAS SOUS 543022 HAS SOUPS 542841 WITH SCORE 543946.657
AT ITER 2468 NEW BEST:: SOT 1761467 SOS 1105569 HAS SOPS 1103759 HAS SOUS 542869 HAS SOUPS 542688 WITH SCORE 543793.569
AT ITER 2472 NEW BEST:: SOT 1761458 SOS 1105560 HAS SOPS 1103750 HAS SOUS 542851 HAS SOUPS 542670 WITH SCORE 543775.56
AT ITER 2476 NEW BEST:: SOT 1761441 SOS 1105589 HAS SOPS 1103779 HAS SOUS 542833 HAS SOUPS 542652 WITH SCORE 543757.589
AT ITER 2479 NEW BEST:: SOT 1761364 SOS 1105692 HAS SOPS 1103882 HAS SOUS 542784 HAS SOUPS 542603 WITH SCORE 543708.692
AT ITER 2480 NEW BEST:: SOT 1761212 SOS 1105540 HAS SOPS 1103730 HAS SOUS 542632 HAS SOUPS 542451 WITH SCORE 543556.54
AT ITER 2481 NEW BEST:: SOT 1760959 SOS 1105287 HAS SOPS 1103477 HAS SOUS 542379 HAS SOUPS 542198 WITH SCORE 543303.287
AT ITER 2485 NEW BEST:: SOT 1760506 SOS 1104834 HAS SOPS 1103024 HAS SOUS 541925 HAS SOUPS 541744 WITH SCORE 542848.834
AT ITER 2487 NEW BEST:: SOT 1760104 SOS 1104432 HAS SOPS 1102622 HAS SOUS 541382 HAS SOUPS 541201 WITH SCORE 542305.432
AT ITER 2490 NEW BEST:: SOT 1760991 SOS 1105319 HAS SOPS 1103509 HAS SOUS 540224 HAS SOUPS 540043 WITH SCORE 541148.319
AT ITER 2512 NEW BEST:: SOT 1760999 SOS 1105327 HAS SOPS 1103517 HAS SOUS 540187 HAS SOUPS 540006 WITH SCORE 541111.327
AT ITER 2518 NEW BEST:: SOT 1760999 SOS 1105253 HAS SOPS 1103443 HAS SOUS 540150 HAS SOUPS 539969 WITH SCORE 541074.253
AT ITER 2526 NEW BEST:: SOT 1760704 SOS 1104958 HAS SOPS 1103148 HAS SOUS 539744 HAS SOUPS 539563 WITH SCORE 540667.958
AT ITER 2537 NEW BEST:: SOT 1760670 SOS 1104924 HAS SOPS 1103114 HAS SOUS 539710 HAS SOUPS 539529 WITH SCORE 540633.924
AT ITER 2566 NEW BEST:: SOT 1760648 SOS 1104902 HAS SOPS 1103092 HAS SOUS 539654 HAS SOUPS 539473 WITH SCORE 540577.902
AT ITER 2586 NEW BEST:: SOT 1760648 SOS 1104902 HAS SOPS 1103092 HAS SOUS 539516 HAS SOUPS 539335 WITH SCORE 540439.902
AT ITER 2588 NEW BEST:: SOT 1760508 SOS 1104762 HAS SOPS 1102952 HAS SOUS 539284 HAS SOUPS 539103 WITH SCORE 540207.762
AT ITER 2596 NEW BEST:: SOT 1760508 SOS 1104676 HAS SOPS 1102866 HAS SOUS 539112 HAS SOUPS 538931 WITH SCORE 540035.676
AT ITER 2597 NEW BEST:: SOT 1760480 SOS 1104648 HAS SOPS 1102838 HAS SOUS 538760 HAS SOUPS 538579 WITH SCORE 539683.648
AT ITER 2617 NEW BEST:: SOT 1760533 SOS 1104701 HAS SOPS 1102891 HAS SOUS 538659 HAS SOUPS 538478 WITH SCORE 539582.701
AT ITER 2626 NEW BEST:: SOT 1760468 SOS 1104636 HAS SOPS 1102826 HAS SOUS 537308 HAS SOUPS 537127 WITH SCORE 538231.636
AT ITER 2646 NEW BEST:: SOT 1762541 SOS 1106709 HAS SOPS 1104899 HAS SOUS 536558 HAS SOUPS 536377 WITH SCORE 537483.709
AT ITER 2653 NEW BEST:: SOT 1762500 SOS 1106668 HAS SOPS 1104858 HAS SOUS 536517 HAS SOUPS 536336 WITH SCORE 537442.668
AT ITER 2658 NEW BEST:: SOT 1762373 SOS 1106668 HAS SOPS 1104858 HAS SOUS 536263 HAS SOUPS 536082 WITH SCORE 537188.668
AT ITER 2659 NEW BEST:: SOT 1762373 SOS 1106490 HAS SOPS 1104680 HAS SOUS 536195 HAS SOUPS 536014 WITH SCORE 537120.49
AT ITER 2664 NEW BEST:: SOT 1762369 SOS 1106504 HAS SOPS 1104694 HAS SOUS 536066 HAS SOUPS 535885 WITH SCORE 536991.504
AT ITER 2682 NEW BEST:: SOT 1762369 SOS 1106504 HAS SOPS 1104694 HAS SOUS 535926 HAS SOUPS 535745 WITH SCORE 536851.504
AT ITER 2699 NEW BEST:: SOT 1762369 SOS 1106464 HAS SOPS 1104654 HAS SOUS 535906 HAS SOUPS 535725 WITH SCORE 536831.464
AT ITER 2707 NEW BEST:: SOT 1762526 SOS 1106621 HAS SOPS 1104811 HAS SOUS 535065 HAS SOUPS 534884 WITH SCORE 535990.621
AT ITER 2711 NEW BEST:: SOT 1762496 SOS 1106649 HAS SOPS 1104839 HAS SOUS 535027 HAS SOUPS 534846 WITH SCORE 535952.649
AT ITER 2718 NEW BEST:: SOT 1762496 SOS 1106649 HAS SOPS 1104839 HAS SOUS 535017 HAS SOUPS 534836 WITH SCORE 535942.649
AT ITER 2721 NEW BEST:: SOT 1762496 SOS 1106709 HAS SOPS 1104899 HAS SOUS 534899 HAS SOUPS 534718 WITH SCORE 535824.709
AT ITER 2723 NEW BEST:: SOT 1763212 SOS 1107425 HAS SOPS 1105615 HAS SOUS 534483 HAS SOUPS 534302 WITH SCORE 535409.425
AT ITER 2730 NEW BEST:: SOT 1763047 SOS 1106899 HAS SOPS 1105089 HAS SOUS 534070 HAS SOUPS 533889 WITH SCORE 534995.899
AT ITER 2735 NEW BEST:: SOT 1763025 SOS 1106877 HAS SOPS 1105067 HAS SOUS 533850 HAS SOUPS 533669 WITH SCORE 534775.877
AT ITER 2744 NEW BEST:: SOT 1762967 SOS 1106819 HAS SOPS 1105009 HAS SOUS 533792 HAS SOUPS 533611 WITH SCORE 534717.819
AT ITER 2749 NEW BEST:: SOT 1762860 SOS 1106712 HAS SOPS 1104902 HAS SOUS 533685 HAS SOUPS 533504 WITH SCORE 534610.712
AT ITER 2761 NEW BEST:: SOT 1762667 SOS 1106519 HAS SOPS 1104709 HAS SOUS 533165 HAS SOUPS 532984 WITH SCORE 534090.519
AT ITER 2764 NEW BEST:: SOT 1762667 SOS 1106519 HAS SOPS 1104709 HAS SOUS 533143 HAS SOUPS 532962 WITH SCORE 534068.519
AT ITER 2772 NEW BEST:: SOT 1762642 SOS 1106494 HAS SOPS 1104684 HAS SOUS 533118 HAS SOUPS 532937 WITH SCORE 534043.494
AT ITER 2777 NEW BEST:: SOT 1762366 SOS 1106218 HAS SOPS 1104408 HAS SOUS 532842 HAS SOUPS 532661 WITH SCORE 533767.218
AT ITER 2794 NEW BEST:: SOT 1762284 SOS 1106136 HAS SOPS 1104326 HAS SOUS 532696 HAS SOUPS 532515 WITH SCORE 533621.136
AT ITER 2805 NEW BEST:: SOT 1762284 SOS 1106102 HAS SOPS 1104292 HAS SOUS 532628 HAS SOUPS 532447 WITH SCORE 533553.102
AT ITER 2821 NEW BEST:: SOT 1761967 SOS 1105785 HAS SOPS 1103975 HAS SOUS 532406 HAS SOUPS 532225 WITH SCORE 533330.785
AT ITER 2824 NEW BEST:: SOT 1761967 SOS 1105785 HAS SOPS 1103975 HAS SOUS 532346 HAS SOUPS 532165 WITH SCORE 533270.785
AT ITER 2845 NEW BEST:: SOT 1761929 SOS 1105747 HAS SOPS 1103937 HAS SOUS 532280 HAS SOUPS 532099 WITH SCORE 533204.747
AT ITER 2865 NEW BEST:: SOT 1761727 SOS 1105545 HAS SOPS 1103735 HAS SOUS 531977 HAS SOUPS 531796 WITH SCORE 532901.545
AT ITER 2881 NEW BEST:: SOT 1761860 SOS 1105678 HAS SOPS 1103868 HAS SOUS 530392 HAS SOUPS 530211 WITH SCORE 531316.678
AT ITER 2889 NEW BEST:: SOT 1761771 SOS 1105310 HAS SOPS 1103500 HAS SOUS 530131 HAS SOUPS 529950 WITH SCORE 531055.31
AT ITER 2895 NEW BEST:: SOT 1761669 SOS 1105425 HAS SOPS 1103615 HAS SOUS 529994 HAS SOUPS 529813 WITH SCORE 530918.425
AT ITER 2899 NEW BEST:: SOT 1761867 SOS 1105393 HAS SOPS 1103583 HAS SOUS 529962 HAS SOUPS 529781 WITH SCORE 530886.393
AT ITER 2911 NEW BEST:: SOT 1761744 SOS 1105270 HAS SOPS 1103460 HAS SOUS 529839 HAS SOUPS 529658 WITH SCORE 530763.27
AT ITER 2931 NEW BEST:: SOT 1761707 SOS 1105233 HAS SOPS 1103423 HAS SOUS 529802 HAS SOUPS 529621 WITH SCORE 530726.233
AT ITER 2935 NEW BEST:: SOT 1761632 SOS 1105158 HAS SOPS 1103348 HAS SOUS 529727 HAS SOUPS 529546 WITH SCORE 530651.158
AT ITER 2942 NEW BEST:: SOT 1761803 SOS 1105329 HAS SOPS 1103519 HAS SOUS 529418 HAS SOUPS 529237 WITH SCORE 530342.329
AT ITER 2946 NEW BEST:: SOT 1761788 SOS 1105314 HAS SOPS 1103504 HAS SOUS 529388 HAS SOUPS 529207 WITH SCORE 530312.314
AT ITER 2958 NEW BEST:: SOT 1761298 SOS 1104824 HAS SOPS 1103014 HAS SOUS 528898 HAS SOUPS 528717 WITH SCORE 529821.824
AT ITER 2971 NEW BEST:: SOT 1761414 SOS 1104940 HAS SOPS 1103130 HAS SOUS 528474 HAS SOUPS 528293 WITH SCORE 529397.94
AT ITER 2989 NEW BEST:: SOT 1761414 SOS 1076914 HAS SOPS 1075104 HAS SOUS 528231 HAS SOUPS 528050 WITH SCORE 529126.914
AT ITER 2994 NEW BEST:: SOT 1761358 SOS 1076667 HAS SOPS 1074857 HAS SOUS 528087 HAS SOUPS 527906 WITH SCORE 528982.667
AT ITER 3001 NEW BEST:: SOT 1761450 SOS 1076759 HAS SOPS 1074949 HAS SOUS 527269 HAS SOUPS 527088 WITH SCORE 528164.759
AT ITER 3002 NEW BEST:: SOT 1761097 SOS 1076406 HAS SOPS 1074596 HAS SOUS 526592 HAS SOUPS 526411 WITH SCORE 527487.406
AT ITER 3004 NEW BEST:: SOT 1761158 SOS 1076217 HAS SOPS 1074407 HAS SOUS 526534 HAS SOUPS 526353 WITH SCORE 527429.217
AT ITER 3005 NEW BEST:: SOT 1761289 SOS 1076348 HAS SOPS 1074538 HAS SOUS 526360 HAS SOUPS 526179 WITH SCORE 527255.348
AT ITER 3016 NEW BEST:: SOT 1761125 SOS 1076184 HAS SOPS 1074374 HAS SOUS 526196 HAS SOUPS 526015 WITH SCORE 527091.184
AT ITER 3017 NEW BEST:: SOT 1761096 SOS 1076155 HAS SOPS 1074345 HAS SOUS 525931 HAS SOUPS 525750 WITH SCORE 526826.155
AT ITER 3021 NEW BEST:: SOT 1761048 SOS 1076107 HAS SOPS 1074297 HAS SOUS 525883 HAS SOUPS 525702 WITH SCORE 526778.107
AT ITER 3027 NEW BEST:: SOT 1761048 SOS 1076107 HAS SOPS 1074297 HAS SOUS 525853 HAS SOUPS 525672 WITH SCORE 526748.107
AT ITER 3028 NEW BEST:: SOT 1760631 SOS 1075690 HAS SOPS 1073880 HAS SOUS 525604 HAS SOUPS 525423 WITH SCORE 526498.69
AT ITER 3037 NEW BEST:: SOT 1760535 SOS 1075594 HAS SOPS 1073784 HAS SOUS 525460 HAS SOUPS 525279 WITH SCORE 526354.594
AT ITER 3040 NEW BEST:: SOT 1760669 SOS 1075728 HAS SOPS 1073918 HAS SOUS 524470 HAS SOUPS 524289 WITH SCORE 525364.728
AT ITER 3046 NEW BEST:: SOT 1759789 SOS 1074848 HAS SOPS 1073038 HAS SOUS 523590 HAS SOUPS 523409 WITH SCORE 524483.848
AT ITER 3048 NEW BEST:: SOT 1759819 SOS 1074878 HAS SOPS 1073068 HAS SOUS 518958 HAS SOUPS 518777 WITH SCORE 519851.878
AT ITER 3050 NEW BEST:: SOT 1759517 SOS 1074576 HAS SOPS 1072766 HAS SOUS 518160 HAS SOUPS 517979 WITH SCORE 519053.576
AT ITER 3054 NEW BEST:: SOT 1759509 SOS 1074572 HAS SOPS 1072762 HAS SOUS 518156 HAS SOUPS 517975 WITH SCORE 519049.572
AT ITER 3070 NEW BEST:: SOT 1759441 SOS 1074504 HAS SOPS 1072694 HAS SOUS 518088 HAS SOUPS 517907 WITH SCORE 518981.504
AT ITER 3105 NEW BEST:: SOT 1759446 SOS 1074509 HAS SOPS 1072699 HAS SOUS 518068 HAS SOUPS 517887 WITH SCORE 518961.509
AT ITER 3139 NEW BEST:: SOT 1759169 SOS 1074232 HAS SOPS 1072422 HAS SOUS 517698 HAS SOUPS 517517 WITH SCORE 518591.232
AT ITER 3156 NEW BEST:: SOT 1759147 SOS 1074210 HAS SOPS 1072400 HAS SOUS 517676 HAS SOUPS 517495 WITH SCORE 518569.21
AT ITER 3168 NEW BEST:: SOT 1759098 SOS 1074161 HAS SOPS 1072351 HAS SOUS 517627 HAS SOUPS 517446 WITH SCORE 518520.161
AT ITER 3170 NEW BEST:: SOT 1759098 SOS 1073990 HAS SOPS 1072180 HAS SOUS 517627 HAS SOUPS 517446 WITH SCORE 518519.99
AT ITER 3225 NEW BEST:: SOT 1758654 SOS 1073546 HAS SOPS 1071736 HAS SOUS 517183 HAS SOUPS 517002 WITH SCORE 518075.546
AT ITER 3226 NEW BEST:: SOT 1758602 SOS 1073494 HAS SOPS 1071684 HAS SOUS 515565 HAS SOUPS 515384 WITH SCORE 516457.494
AT ITER 3239 NEW BEST:: SOT 1758454 SOS 1073346 HAS SOPS 1071536 HAS SOUS 515269 HAS SOUPS 515088 WITH SCORE 516161.346
AT ITER 3260 NEW BEST:: SOT 1758321 SOS 1073213 HAS SOPS 1071403 HAS SOUS 514780 HAS SOUPS 514599 WITH SCORE 515672.213
AT ITER 3279 NEW BEST:: SOT 1758257 SOS 1073149 HAS SOPS 1071339 HAS SOUS 514664 HAS SOUPS 514483 WITH SCORE 515556.149
AT ITER 3305 NEW BEST:: SOT 1758235 SOS 1073127 HAS SOPS 1071317 HAS SOUS 514546 HAS SOUPS 514365 WITH SCORE 515438.127
AT ITER 3314 NEW BEST:: SOT 1757951 SOS 1072843 HAS SOPS 1071033 HAS SOUS 514112 HAS SOUPS 513931 WITH SCORE 515003.843
AT ITER 3353 NEW BEST:: SOT 1757869 SOS 1072761 HAS SOPS 1070951 HAS SOUS 511787 HAS SOUPS 511606 WITH SCORE 512678.761
AT ITER 3364 NEW BEST:: SOT 1757869 SOS 1072761 HAS SOPS 1070951 HAS SOUS 511744 HAS SOUPS 511563 WITH SCORE 512635.761
AT ITER 3368 NEW BEST:: SOT 1758235 SOS 1072968 HAS SOPS 1071158 HAS SOUS 511622 HAS SOUPS 511441 WITH SCORE 512513.968
AT ITER 3374 NEW BEST:: SOT 1758199 SOS 1072932 HAS SOPS 1071122 HAS SOUS 511000 HAS SOUPS 510819 WITH SCORE 511891.932
AT ITER 3376 NEW BEST:: SOT 1758155 SOS 1072888 HAS SOPS 1071078 HAS SOUS 510956 HAS SOUPS 510775 WITH SCORE 511847.888
AT ITER 3380 NEW BEST:: SOT 1758147 SOS 1072872 HAS SOPS 1071062 HAS SOUS 510940 HAS SOUPS 510759 WITH SCORE 511831.872
AT ITER 3385 NEW BEST:: SOT 1758058 SOS 1072783 HAS SOPS 1070973 HAS SOUS 510630 HAS SOUPS 510449 WITH SCORE 511521.783
AT ITER 3395 NEW BEST:: SOT 1758059 SOS 1072784 HAS SOPS 1070974 HAS SOUS 510587 HAS SOUPS 510406 WITH SCORE 511478.784
AT ITER 3399 NEW BEST:: SOT 1759113 SOS 1073838 HAS SOPS 1072028 HAS SOUS 509224 HAS SOUPS 509043 WITH SCORE 510116.838
AT ITER 3405 NEW BEST:: SOT 1759022 SOS 1073747 HAS SOPS 1071937 HAS SOUS 509042 HAS SOUPS 508861 WITH SCORE 509934.747
AT ITER 3410 NEW BEST:: SOT 1758745 SOS 1073470 HAS SOPS 1071660 HAS SOUS 508765 HAS SOUPS 508584 WITH SCORE 509657.47
AT ITER 3411 NEW BEST:: SOT 1758646 SOS 1073371 HAS SOPS 1071561 HAS SOUS 507676 HAS SOUPS 507495 WITH SCORE 508568.371
AT ITER 3415 NEW BEST:: SOT 1758484 SOS 1073209 HAS SOPS 1071399 HAS SOUS 507433 HAS SOUPS 507252 WITH SCORE 508325.209
AT ITER 3421 NEW BEST:: SOT 1757681 SOS 1072406 HAS SOPS 1070596 HAS SOUS 506927 HAS SOUPS 506746 WITH SCORE 507818.406
AT ITER 3430 NEW BEST:: SOT 1757868 SOS 1072593 HAS SOPS 1070783 HAS SOUS 506817 HAS SOUPS 506636 WITH SCORE 507708.593
AT ITER 3435 NEW BEST:: SOT 1756737 SOS 1071462 HAS SOPS 1069652 HAS SOUS 506389 HAS SOUPS 506208 WITH SCORE 507279.462
AT ITER 3436 NEW BEST:: SOT 1755036 SOS 1069761 HAS SOPS 1067951 HAS SOUS 504688 HAS SOUPS 504507 WITH SCORE 505576.761
AT ITER 3439 NEW BEST:: SOT 1754888 SOS 1069824 HAS SOPS 1068014 HAS SOUS 504593 HAS SOUPS 504412 WITH SCORE 505481.824
AT ITER 3443 NEW BEST:: SOT 1754888 SOS 1069824 HAS SOPS 1068014 HAS SOUS 504515 HAS SOUPS 504334 WITH SCORE 505403.824
AT ITER 3448 NEW BEST:: SOT 1754796 SOS 1069732 HAS SOPS 1067922 HAS SOUS 504423 HAS SOUPS 504242 WITH SCORE 505311.732
AT ITER 3479 NEW BEST:: SOT 1754406 SOS 1069342 HAS SOPS 1067532 HAS SOUS 504091 HAS SOUPS 503910 WITH SCORE 504979.342
AT ITER 3480 NEW BEST:: SOT 1753241 SOS 1077002 HAS SOPS 1075192 HAS SOUS 503163 HAS SOUPS 502982 WITH SCORE 504059.002
AT ITER 3482 NEW BEST:: SOT 1753063 SOS 1076824 HAS SOPS 1075014 HAS SOUS 501205 HAS SOUPS 501024 WITH SCORE 502100.824
AT ITER 3484 NEW BEST:: SOT 1752826 SOS 1076587 HAS SOPS 1074777 HAS SOUS 498629 HAS SOUPS 498448 WITH SCORE 499524.587
AT ITER 3493 NEW BEST:: SOT 1753150 SOS 1076911 HAS SOPS 1075101 HAS SOUS 497743 HAS SOUPS 497562 WITH SCORE 498638.911
AT ITER 3499 NEW BEST:: SOT 1753164 SOS 1076909 HAS SOPS 1075099 HAS SOUS 497739 HAS SOUPS 497558 WITH SCORE 498634.909
AT ITER 3513 NEW BEST:: SOT 1753152 SOS 1076891 HAS SOPS 1075081 HAS SOUS 497715 HAS SOUPS 497534 WITH SCORE 498610.891
AT ITER 3524 NEW BEST:: SOT 1752959 SOS 1076678 HAS SOPS 1074868 HAS SOUS 497526 HAS SOUPS 497345 WITH SCORE 498421.678
AT ITER 3526 NEW BEST:: SOT 1752335 SOS 1076016 HAS SOPS 1074206 HAS SOUS 496883 HAS SOUPS 496702 WITH SCORE 497778.016
AT ITER 3535 NEW BEST:: SOT 1752243 SOS 1075924 HAS SOPS 1074114 HAS SOUS 496819 HAS SOUPS 496638 WITH SCORE 497713.924
AT ITER 3538 NEW BEST:: SOT 1752222 SOS 1075903 HAS SOPS 1074093 HAS SOUS 496630 HAS SOUPS 496449 WITH SCORE 497524.903
AT ITER 3540 NEW BEST:: SOT 1751526 SOS 1075207 HAS SOPS 1073397 HAS SOUS 495849 HAS SOUPS 495668 WITH SCORE 496743.207
AT ITER 3541 NEW BEST:: SOT 1751365 SOS 1075046 HAS SOPS 1073236 HAS SOUS 493796 HAS SOUPS 493615 WITH SCORE 494690.046
AT ITER 3549 NEW BEST:: SOT 1751365 SOS 1075046 HAS SOPS 1073236 HAS SOUS 493509 HAS SOUPS 493328 WITH SCORE 494403.046
AT ITER 3559 NEW BEST:: SOT 1751051 SOS 1074732 HAS SOPS 1072922 HAS SOUS 492988 HAS SOUPS 492807 WITH SCORE 493881.732
AT ITER 3560 NEW BEST:: SOT 1750615 SOS 1074296 HAS SOPS 1072486 HAS SOUS 486800 HAS SOUPS 486619 WITH SCORE 487693.296
AT ITER 3571 NEW BEST:: SOT 1750615 SOS 1074296 HAS SOPS 1072486 HAS SOUS 486548 HAS SOUPS 486367 WITH SCORE 487441.296
AT ITER 3574 NEW BEST:: SOT 1750615 SOS 1074296 HAS SOPS 1072486 HAS SOUS 485901 HAS SOUPS 485720 WITH SCORE 486794.296
AT ITER 3586 NEW BEST:: SOT 1750509 SOS 1074190 HAS SOPS 1072380 HAS SOUS 485795 HAS SOUPS 485614 WITH SCORE 486688.19
AT ITER 3602 NEW BEST:: SOT 1750441 SOS 1074122 HAS SOPS 1072312 HAS SOUS 485687 HAS SOUPS 485506 WITH SCORE 486580.122
AT ITER 3622 NEW BEST:: SOT 1750489 SOS 1074186 HAS SOPS 1072376 HAS SOUS 485679 HAS SOUPS 485498 WITH SCORE 486572.186
AT ITER 3626 NEW BEST:: SOT 1750451 SOS 1074148 HAS SOPS 1072338 HAS SOUS 485641 HAS SOUPS 485460 WITH SCORE 486534.148
AT ITER 3636 NEW BEST:: SOT 1750242 SOS 1073939 HAS SOPS 1072129 HAS SOUS 485432 HAS SOUPS 485251 WITH SCORE 486324.939
AT ITER 3641 NEW BEST:: SOT 1751143 SOS 1074840 HAS SOPS 1073030 HAS SOUS 485098 HAS SOUPS 484917 WITH SCORE 485991.84
AT ITER 3647 NEW BEST:: SOT 1751065 SOS 1074762 HAS SOPS 1072952 HAS SOUS 485020 HAS SOUPS 484839 WITH SCORE 485913.762
AT ITER 3652 NEW BEST:: SOT 1750891 SOS 1074588 HAS SOPS 1072778 HAS SOUS 484936 HAS SOUPS 484755 WITH SCORE 485829.588
AT ITER 3656 NEW BEST:: SOT 1750158 SOS 1073855 HAS SOPS 1072045 HAS SOUS 484203 HAS SOUPS 484022 WITH SCORE 485095.855
AT ITER 3701 NEW BEST:: SOT 1748143 SOS 1071840 HAS SOPS 1070030 HAS SOUS 483869 HAS SOUPS 483688 WITH SCORE 484759.84
AT ITER 3733 NEW BEST:: SOT 1748141 SOS 1071836 HAS SOPS 1070026 HAS SOUS 483865 HAS SOUPS 483684 WITH SCORE 484755.836
AT ITER 3737 NEW BEST:: SOT 1748014 SOS 1071709 HAS SOPS 1069899 HAS SOUS 482511 HAS SOUPS 482330 WITH SCORE 483401.709
AT ITER 3742 NEW BEST:: SOT 1747940 SOS 1071561 HAS SOPS 1069751 HAS SOUS 482363 HAS SOUPS 482182 WITH SCORE 483253.561
AT ITER 3763 NEW BEST:: SOT 1747768 SOS 1071389 HAS SOPS 1069579 HAS SOUS 482176 HAS SOUPS 481995 WITH SCORE 483066.389
AT ITER 3775 NEW BEST:: SOT 1747759 SOS 1071380 HAS SOPS 1069570 HAS SOUS 482167 HAS SOUPS 481986 WITH SCORE 483057.38
AT ITER 3785 NEW BEST:: SOT 1747623 SOS 1070752 HAS SOPS 1068942 HAS SOUS 481748 HAS SOUPS 481567 WITH SCORE 482637.752
AT ITER 3794 NEW BEST:: SOT 1747701 SOS 1070830 HAS SOPS 1069020 HAS SOUS 481738 HAS SOUPS 481557 WITH SCORE 482627.83
AT ITER 3798 NEW BEST:: SOT 1747701 SOS 1070830 HAS SOPS 1069020 HAS SOUS 481712 HAS SOUPS 481531 WITH SCORE 482601.83
AT ITER 3805 NEW BEST:: SOT 1747434 SOS 1070563 HAS SOPS 1068753 HAS SOUS 481238 HAS SOUPS 481057 WITH SCORE 482127.563
AT ITER 3806 NEW BEST:: SOT 1746993 SOS 1070234 HAS SOPS 1068424 HAS SOUS 480921 HAS SOUPS 480740 WITH SCORE 481810.234
AT ITER 3814 NEW BEST:: SOT 1746993 SOS 1070234 HAS SOPS 1068424 HAS SOUS 480918 HAS SOUPS 480737 WITH SCORE 481807.234
AT ITER 3839 NEW BEST:: SOT 1746993 SOS 1070092 HAS SOPS 1068282 HAS SOUS 480900 HAS SOUPS 480719 WITH SCORE 481789.092
AT ITER 3840 NEW BEST:: SOT 1746917 SOS 1070016 HAS SOPS 1068206 HAS SOUS 480815 HAS SOUPS 480634 WITH SCORE 481704.016
AT ITER 3886 NEW BEST:: SOT 1746579 SOS 1069678 HAS SOPS 1067868 HAS SOUS 480363 HAS SOUPS 480182 WITH SCORE 481251.678
AT ITER 3903 NEW BEST:: SOT 1745873 SOS 1068972 HAS SOPS 1067162 HAS SOUS 479182 HAS SOUPS 479001 WITH SCORE 480069.972
AT ITER 3915 NEW BEST:: SOT 1745826 SOS 1068925 HAS SOPS 1067115 HAS SOUS 479118 HAS SOUPS 478937 WITH SCORE 480005.925
AT ITER 3919 NEW BEST:: SOT 1744594 SOS 1067693 HAS SOPS 1065883 HAS SOUS 477886 HAS SOUPS 477705 WITH SCORE 478772.693
AT ITER 3920 NEW BEST:: SOT 1744270 SOS 1067369 HAS SOPS 1065559 HAS SOUS 477562 HAS SOUPS 477381 WITH SCORE 478448.369
AT ITER 3931 NEW BEST:: SOT 1744184 SOS 1067588 HAS SOPS 1065778 HAS SOUS 477557 HAS SOUPS 477376 WITH SCORE 478443.588
AT ITER 3934 NEW BEST:: SOT 1744142 SOS 1067546 HAS SOPS 1065736 HAS SOUS 477515 HAS SOUPS 477334 WITH SCORE 478401.546
AT ITER 3946 NEW BEST:: SOT 1744182 SOS 1067302 HAS SOPS 1065492 HAS SOUS 477381 HAS SOUPS 477200 WITH SCORE 478267.302
AT ITER 3950 NEW BEST:: SOT 1744182 SOS 1067302 HAS SOPS 1065492 HAS SOUS 477234 HAS SOUPS 477053 WITH SCORE 478120.302
AT ITER 3952 NEW BEST:: SOT 1744182 SOS 1067191 HAS SOPS 1065381 HAS SOUS 477096 HAS SOUPS 476915 WITH SCORE 477982.191
AT ITER 3957 NEW BEST:: SOT 1744111 SOS 1067049 HAS SOPS 1065239 HAS SOUS 476954 HAS SOUPS 476773 WITH SCORE 477840.049
AT ITER 3972 NEW BEST:: SOT 1744045 SOS 1066983 HAS SOPS 1065173 HAS SOUS 476888 HAS SOUPS 476707 WITH SCORE 477773.983
AT ITER 3979 NEW BEST:: SOT 1738355 SOS 1061293 HAS SOPS 1059483 HAS SOUS 471198 HAS SOUPS 471017 WITH SCORE 472078.293
AT ITER 3980 NEW BEST:: SOT 1738320 SOS 1061258 HAS SOPS 1059448 HAS SOUS 471163 HAS SOUPS 470982 WITH SCORE 472043.258
AT ITER 3989 NEW BEST:: SOT 1738320 SOS 1061258 HAS SOPS 1059448 HAS SOUS 471158 HAS SOUPS 470977 WITH SCORE 472038.258
AT ITER 4001 NEW BEST:: SOT 1738497 SOS 1061638 HAS SOPS 1059828 HAS SOUS 471138 HAS SOUPS 470957 WITH SCORE 472018.638
AT ITER 4009 NEW BEST:: SOT 1738497 SOS 1061609 HAS SOPS 1059799 HAS SOUS 471107 HAS SOUPS 470926 WITH SCORE 471987.609
AT ITER 4010 NEW BEST:: SOT 1738337 SOS 1061289 HAS SOPS 1059479 HAS SOUS 470787 HAS SOUPS 470606 WITH SCORE 471667.289
AT ITER 4013 NEW BEST:: SOT 1737720 SOS 1061289 HAS SOPS 1059479 HAS SOUS 469826 HAS SOUPS 469645 WITH SCORE 470706.289
AT ITER 4021 NEW BEST:: SOT 1737696 SOS 1061265 HAS SOPS 1059455 HAS SOUS 469586 HAS SOUPS 469405 WITH SCORE 470466.265
AT ITER 4023 NEW BEST:: SOT 1737588 SOS 1061157 HAS SOPS 1059347 HAS SOUS 469435 HAS SOUPS 469254 WITH SCORE 470315.157
AT ITER 4025 NEW BEST:: SOT 1737575 SOS 1061144 HAS SOPS 1059334 HAS SOUS 469420 HAS SOUPS 469239 WITH SCORE 470300.144
AT ITER 4027 NEW BEST:: SOT 1737099 SOS 1060668 HAS SOPS 1058858 HAS SOUS 468856 HAS SOUPS 468675 WITH SCORE 469735.668
AT ITER 4038 NEW BEST:: SOT 1728220 SOS 1051789 HAS SOPS 1049979 HAS SOUS 459977 HAS SOUPS 459796 WITH SCORE 460847.789
AT ITER 4080 NEW BEST:: SOT 1728214 SOS 1051783 HAS SOPS 1049973 HAS SOUS 459971 HAS SOUPS 459790 WITH SCORE 460841.783
AT ITER 4086 NEW BEST:: SOT 1728476 SOS 1052045 HAS SOPS 1050235 HAS SOUS 457097 HAS SOUPS 456916 WITH SCORE 457968.045
AT ITER 4092 NEW BEST:: SOT 1728424 SOS 1051993 HAS SOPS 1050183 HAS SOUS 457053 HAS SOUPS 456872 WITH SCORE 457923.993
AT ITER 4099 NEW BEST:: SOT 1728375 SOS 1051944 HAS SOPS 1050134 HAS SOUS 456856 HAS SOUPS 456675 WITH SCORE 457726.944
AT ITER 4129 NEW BEST:: SOT 1728259 SOS 1051828 HAS SOPS 1050018 HAS SOUS 456736 HAS SOUPS 456555 WITH SCORE 457606.828
AT ITER 4132 NEW BEST:: SOT 1728259 SOS 1051800 HAS SOPS 1049990 HAS SOUS 456708 HAS SOUPS 456527 WITH SCORE 457578.8
AT ITER 4140 NEW BEST:: SOT 1728126 SOS 1051667 HAS SOPS 1049857 HAS SOUS 456352 HAS SOUPS 456171 WITH SCORE 457222.667
AT ITER 4143 NEW BEST:: SOT 1728094 SOS 1051635 HAS SOPS 1049825 HAS SOUS 456096 HAS SOUPS 455915 WITH SCORE 456966.635
AT ITER 4154 NEW BEST:: SOT 1727823 SOS 1051364 HAS SOPS 1049554 HAS SOUS 455697 HAS SOUPS 455516 WITH SCORE 456567.364
AT ITER 4188 NEW BEST:: SOT 1727738 SOS 1051279 HAS SOPS 1049469 HAS SOUS 455429 HAS SOUPS 455248 WITH SCORE 456299.279
AT ITER 4206 NEW BEST:: SOT 1727625 SOS 1051241 HAS SOPS 1049431 HAS SOUS 455332 HAS SOUPS 455151 WITH SCORE 456202.241
AT ITER 4218 NEW BEST:: SOT 1727590 SOS 1051206 HAS SOPS 1049396 HAS SOUS 454982 HAS SOUPS 454801 WITH SCORE 455852.206
AT ITER 4224 NEW BEST:: SOT 1728175 SOS 1051791 HAS SOPS 1049981 HAS SOUS 454845 HAS SOUPS 454664 WITH SCORE 455715.791
AT ITER 4235 NEW BEST:: SOT 1727539 SOS 1051155 HAS SOPS 1049345 HAS SOUS 453669 HAS SOUPS 453488 WITH SCORE 454539.155
AT ITER 4248 NEW BEST:: SOT 1727525 SOS 1051141 HAS SOPS 1049331 HAS SOUS 453655 HAS SOUPS 453474 WITH SCORE 454525.141
AT ITER 4254 NEW BEST:: SOT 1727450 SOS 1051284 HAS SOPS 1049474 HAS SOUS 453508 HAS SOUPS 453327 WITH SCORE 454378.284
AT ITER 4260 NEW BEST:: SOT 1727430 SOS 1051264 HAS SOPS 1049454 HAS SOUS 453488 HAS SOUPS 453307 WITH SCORE 454358.264
AT ITER 4273 NEW BEST:: SOT 1727391 SOS 1051225 HAS SOPS 1049415 HAS SOUS 453449 HAS SOUPS 453268 WITH SCORE 454319.225
AT ITER 4306 NEW BEST:: SOT 1727299 SOS 1051133 HAS SOPS 1049323 HAS SOUS 453311 HAS SOUPS 453130 WITH SCORE 454181.133
AT ITER 4313 NEW BEST:: SOT 1727207 SOS 1051041 HAS SOPS 1049231 HAS SOUS 453219 HAS SOUPS 453038 WITH SCORE 454089.041
AT ITER 4320 NEW BEST:: SOT 1727915 SOS 1051897 HAS SOPS 1050087 HAS SOUS 450967 HAS SOUPS 450786 WITH SCORE 451837.897
AT ITER 4323 NEW BEST:: SOT 1727111 SOS 1051093 HAS SOPS 1049283 HAS SOUS 449812 HAS SOUPS 449631 WITH SCORE 450682.093
AT ITER 4337 NEW BEST:: SOT 1727053 SOS 1051035 HAS SOPS 1049225 HAS SOUS 449701 HAS SOUPS 449520 WITH SCORE 450571.035
AT ITER 4348 NEW BEST:: SOT 1727011 SOS 1051095 HAS SOPS 1049285 HAS SOUS 448541 HAS SOUPS 448360 WITH SCORE 449411.095
AT ITER 4353 NEW BEST:: SOT 1726151 SOS 1050724 HAS SOPS 1048914 HAS SOUS 448002 HAS SOUPS 447821 WITH SCORE 448871.724
AT ITER 4377 NEW BEST:: SOT 1725934 SOS 1050290 HAS SOPS 1048480 HAS SOUS 447568 HAS SOUPS 447387 WITH SCORE 448437.29
AT ITER 4383 NEW BEST:: SOT 1726042 SOS 1050398 HAS SOPS 1048588 HAS SOUS 446975 HAS SOUPS 446794 WITH SCORE 447844.398
AT ITER 4421 NEW BEST:: SOT 1726040 SOS 1050396 HAS SOPS 1048586 HAS SOUS 446973 HAS SOUPS 446792 WITH SCORE 447842.396
AT ITER 4424 NEW BEST:: SOT 1725994 SOS 1050304 HAS SOPS 1048494 HAS SOUS 446881 HAS SOUPS 446700 WITH SCORE 447750.304
AT ITER 4447 NEW BEST:: SOT 1725833 SOS 1050143 HAS SOPS 1048333 HAS SOUS 446498 HAS SOUPS 446317 WITH SCORE 447367.143
AT ITER 4453 NEW BEST:: SOT 1725833 SOS 1050185 HAS SOPS 1048375 HAS SOUS 446414 HAS SOUPS 446233 WITH SCORE 447283.185
AT ITER 4454 NEW BEST:: SOT 1725750 SOS 1050265 HAS SOPS 1048455 HAS SOUS 446250 HAS SOUPS 446069 WITH SCORE 447119.265
AT ITER 4502 NEW BEST:: SOT 1725150 SOS 1049586 HAS SOPS 1047813 HAS SOUS 445801 HAS SOUPS 445620 WITH SCORE 446669.586
AT ITER 4504 NEW BEST:: SOT 1725038 SOS 1049474 HAS SOPS 1047701 HAS SOUS 445687 HAS SOUPS 445506 WITH SCORE 446555.474
AT ITER 4507 NEW BEST:: SOT 1724914 SOS 1049350 HAS SOPS 1047577 HAS SOUS 445402 HAS SOUPS 445221 WITH SCORE 446270.35
AT ITER 4510 NEW BEST:: SOT 1724907 SOS 1049343 HAS SOPS 1047570 HAS SOUS 445269 HAS SOUPS 445088 WITH SCORE 446137.343
AT ITER 4511 NEW BEST:: SOT 1724788 SOS 1049224 HAS SOPS 1047451 HAS SOUS 445150 HAS SOUPS 444969 WITH SCORE 446018.224
AT ITER 4528 NEW BEST:: SOT 1724788 SOS 1050234 HAS SOPS 1048461 HAS SOUS 445070 HAS SOUPS 444889 WITH SCORE 445939.234
AT ITER 4555 NEW BEST:: SOT 1724730 SOS 1050176 HAS SOPS 1048403 HAS SOUS 444328 HAS SOUPS 444147 WITH SCORE 445197.176
AT ITER 4558 NEW BEST:: SOT 1724617 SOS 1045635 HAS SOPS 1043862 HAS SOUS 444215 HAS SOUPS 444034 WITH SCORE 445079.635
AT ITER 4564 NEW BEST:: SOT 1724595 SOS 1045613 HAS SOPS 1043840 HAS SOUS 443707 HAS SOUPS 443526 WITH SCORE 444571.613
AT ITER 4577 NEW BEST:: SOT 1724586 SOS 1045604 HAS SOPS 1043831 HAS SOUS 443689 HAS SOUPS 443508 WITH SCORE 444553.604
AT ITER 4589 NEW BEST:: SOT 1723237 SOS 1044255 HAS SOPS 1042482 HAS SOUS 442075 HAS SOUPS 441894 WITH SCORE 442938.255
AT ITER 4599 NEW BEST:: SOT 1722818 SOS 1044074 HAS SOPS 1042301 HAS SOUS 441823 HAS SOUPS 441642 WITH SCORE 442686.074
AT ITER 4606 NEW BEST:: SOT 1722693 SOS 841697 HAS SOPS 839924 HAS SOUS 441573 HAS SOUPS 441392 WITH SCORE 442233.697
AT ITER 4612 NEW BEST:: SOT 1722621 SOS 841625 HAS SOPS 839852 HAS SOUS 441501 HAS SOUPS 441320 WITH SCORE 442161.625
AT ITER 4629 NEW BEST:: SOT 1722555 SOS 841559 HAS SOPS 839786 HAS SOUS 441483 HAS SOUPS 441302 WITH SCORE 442143.559
AT ITER 4647 NEW BEST:: SOT 1722105 SOS 841109 HAS SOPS 839336 HAS SOUS 441033 HAS SOUPS 440852 WITH SCORE 441693.109
AT ITER 4653 NEW BEST:: SOT 1722121 SOS 841113 HAS SOPS 839340 HAS SOUS 441026 HAS SOUPS 440845 WITH SCORE 441686.113
AT ITER 4658 NEW BEST:: SOT 1722051 SOS 841043 HAS SOPS 839270 HAS SOUS 440956 HAS SOUPS 440775 WITH SCORE 441616.043
AT ITER 4668 NEW BEST:: SOT 1722045 SOS 841037 HAS SOPS 839264 HAS SOUS 440922 HAS SOUPS 440741 WITH SCORE 441582.037
AT ITER 4693 NEW BEST:: SOT 1722059 SOS 840939 HAS SOPS 839166 HAS SOUS 440920 HAS SOUPS 440739 WITH SCORE 441579.939
AT ITER 4696 NEW BEST:: SOT 1722059 SOS 840898 HAS SOPS 839125 HAS SOUS 440920 HAS SOUPS 440739 WITH SCORE 441579.898
AT ITER 4728 NEW BEST:: SOT 1722019 SOS 840858 HAS SOPS 839085 HAS SOUS 440830 HAS SOUPS 440649 WITH SCORE 441489.858
AT ITER 4734 NEW BEST:: SOT 1721941 SOS 840780 HAS SOPS 839007 HAS SOUS 440752 HAS SOUPS 440571 WITH SCORE 441411.78
AT ITER 4740 NEW BEST:: SOT 1721737 SOS 840576 HAS SOPS 838803 HAS SOUS 440608 HAS SOUPS 440427 WITH SCORE 441267.576
AT ITER 4749 NEW BEST:: SOT 1721873 SOS 840712 HAS SOPS 838939 HAS SOUS 439269 HAS SOUPS 439088 WITH SCORE 439928.712
AT ITER 4751 NEW BEST:: SOT 1721614 SOS 840453 HAS SOPS 838680 HAS SOUS 438538 HAS SOUPS 438357 WITH SCORE 439197.453
AT ITER 4786 NEW BEST:: SOT 1721663 SOS 840157 HAS SOPS 838384 HAS SOUS 438456 HAS SOUPS 438275 WITH SCORE 439115.157
AT ITER 4791 NEW BEST:: SOT 1721656 SOS 840249 HAS SOPS 838476 HAS SOUS 437558 HAS SOUPS 437377 WITH SCORE 438217.249
AT ITER 4805 NEW BEST:: SOT 1721570 SOS 840163 HAS SOPS 838390 HAS SOUS 437066 HAS SOUPS 436885 WITH SCORE 437725.163
AT ITER 4811 NEW BEST:: SOT 1721520 SOS 840113 HAS SOPS 838340 HAS SOUS 437045 HAS SOUPS 436864 WITH SCORE 437704.113
AT ITER 4822 NEW BEST:: SOT 1721514 SOS 840107 HAS SOPS 838334 HAS SOUS 436927 HAS SOUPS 436746 WITH SCORE 437586.107
AT ITER 4825 NEW BEST:: SOT 1721737 SOS 840160 HAS SOPS 838387 HAS SOUS 436164 HAS SOUPS 435983 WITH SCORE 436823.16
AT ITER 4831 NEW BEST:: SOT 1721737 SOS 840160 HAS SOPS 838387 HAS SOUS 436130 HAS SOUPS 435949 WITH SCORE 436789.16
AT ITER 4841 NEW BEST:: SOT 1722382 SOS 840805 HAS SOPS 839032 HAS SOUS 435754 HAS SOUPS 435573 WITH SCORE 436413.805
AT ITER 4852 NEW BEST:: SOT 1722361 SOS 840784 HAS SOPS 839011 HAS SOUS 435379 HAS SOUPS 435198 WITH SCORE 436038.784
AT ITER 4865 NEW BEST:: SOT 1723216 SOS 841639 HAS SOPS 839866 HAS SOUS 435320 HAS SOUPS 435139 WITH SCORE 435980.639
AT ITER 4881 NEW BEST:: SOT 1723161 SOS 841584 HAS SOPS 839811 HAS SOUS 435210 HAS SOUPS 435029 WITH SCORE 435870.584
AT ITER 4899 NEW BEST:: SOT 1723143 SOS 841566 HAS SOPS 839793 HAS SOUS 434049 HAS SOUPS 433868 WITH SCORE 434709.566
AT ITER 4920 NEW BEST:: SOT 1723138 SOS 841561 HAS SOPS 839788 HAS SOUS 434044 HAS SOUPS 433863 WITH SCORE 434704.561
AT ITER 4929 NEW BEST:: SOT 1722499 SOS 850217 HAS SOPS 848588 HAS SOUS 433654 HAS SOUPS 433473 WITH SCORE 434323.217
AT ITER 4946 NEW BEST:: SOT 1722398 SOS 850116 HAS SOPS 848487 HAS SOUS 432608 HAS SOUPS 432427 WITH SCORE 433277.116
AT ITER 4954 NEW BEST:: SOT 1722242 SOS 849960 HAS SOPS 848331 HAS SOUS 432452 HAS SOUPS 432271 WITH SCORE 433120.96
AT ITER 4960 NEW BEST:: SOT 1721866 SOS 849584 HAS SOPS 847955 HAS SOUS 431884 HAS SOUPS 431703 WITH SCORE 432552.584
AT ITER 4963 NEW BEST:: SOT 1721866 SOS 849584 HAS SOPS 847955 HAS SOUS 431865 HAS SOUPS 431684 WITH SCORE 432533.584
AT ITER 4969 NEW BEST:: SOT 1721966 SOS 849684 HAS SOPS 848055 HAS SOUS 431232 HAS SOUPS 431051 WITH SCORE 431900.684
AT ITER 4977 NEW BEST:: SOT 1721888 SOS 849606 HAS SOPS 847977 HAS SOUS 431115 HAS SOUPS 430934 WITH SCORE 431783.606
AT ITER 4993 NEW BEST:: SOT 1722560 SOS 850278 HAS SOPS 848649 HAS SOUS 430110 HAS SOUPS 429929 WITH SCORE 430779.278
AT ITER 4995 NEW BEST:: SOT 1722549 SOS 850267 HAS SOPS 848638 HAS SOUS 430099 HAS SOUPS 429918 WITH SCORE 430768.267
AT ITER 5008 NEW BEST:: SOT 1722275 SOS 849993 HAS SOPS 848364 HAS SOUS 425954 HAS SOUPS 425773 WITH SCORE 426622.993
AT ITER 5011 NEW BEST:: SOT 1722222 SOS 849940 HAS SOPS 848311 HAS SOUS 425901 HAS SOUPS 425720 WITH SCORE 426569.94
AT ITER 5018 NEW BEST:: SOT 1722147 SOS 849866 HAS SOPS 848237 HAS SOUS 425825 HAS SOUPS 425644 WITH SCORE 426493.866
AT ITER 5021 NEW BEST:: SOT 1722134 SOS 849702 HAS SOPS 848073 HAS SOUS 425714 HAS SOUPS 425533 WITH SCORE 426382.702
AT ITER 5026 NEW BEST:: SOT 1722074 SOS 849540 HAS SOPS 847911 HAS SOUS 425562 HAS SOUPS 425381 WITH SCORE 426230.54
AT ITER 5042 NEW BEST:: SOT 1721899 SOS 849190 HAS SOPS 847561 HAS SOUS 425212 HAS SOUPS 425031 WITH SCORE 425880.19
AT ITER 5046 NEW BEST:: SOT 1722128 SOS 849419 HAS SOPS 847790 HAS SOUS 424943 HAS SOUPS 424762 WITH SCORE 425611.419
AT ITER 5059 NEW BEST:: SOT 1721877 SOS 849168 HAS SOPS 847539 HAS SOUS 424520 HAS SOUPS 424339 WITH SCORE 425188.168
AT ITER 5072 NEW BEST:: SOT 1721990 SOS 849281 HAS SOPS 847652 HAS SOUS 423659 HAS SOUPS 423478 WITH SCORE 424327.281
AT ITER 5103 NEW BEST:: SOT 1721758 SOS 849049 HAS SOPS 847420 HAS SOUS 423427 HAS SOUPS 423246 WITH SCORE 424095.049
AT ITER 5104 NEW BEST:: SOT 1721733 SOS 848999 HAS SOPS 847370 HAS SOUS 423377 HAS SOUPS 423196 WITH SCORE 424044.999
AT ITER 5106 NEW BEST:: SOT 1721733 SOS 848996 HAS SOPS 847367 HAS SOUS 423374 HAS SOUPS 423193 WITH SCORE 424041.996
AT ITER 5128 NEW BEST:: SOT 1721682 SOS 848945 HAS SOPS 847316 HAS SOUS 423302 HAS SOUPS 423121 WITH SCORE 423969.945
AT ITER 5137 NEW BEST:: SOT 1721153 SOS 848416 HAS SOPS 846787 HAS SOUS 422585 HAS SOUPS 422404 WITH SCORE 423252.416
AT ITER 5150 NEW BEST:: SOT 1721112 SOS 848375 HAS SOPS 846746 HAS SOUS 422503 HAS SOUPS 422322 WITH SCORE 423170.375
AT ITER 5170 NEW BEST:: SOT 1721067 SOS 848330 HAS SOPS 846701 HAS SOUS 422458 HAS SOUPS 422277 WITH SCORE 423125.33
AT ITER 5184 NEW BEST:: SOT 1721014 SOS 847848 HAS SOPS 846219 HAS SOUS 422205 HAS SOUPS 422024 WITH SCORE 422871.848
AT ITER 5185 NEW BEST:: SOT 1720862 SOS 847696 HAS SOPS 846067 HAS SOUS 420645 HAS SOUPS 420464 WITH SCORE 421311.696
AT ITER 5193 NEW BEST:: SOT 1720821 SOS 847655 HAS SOPS 846026 HAS SOUS 420604 HAS SOUPS 420423 WITH SCORE 421270.655
AT ITER 5198 NEW BEST:: SOT 1720906 SOS 847740 HAS SOPS 846111 HAS SOUS 420603 HAS SOUPS 420422 WITH SCORE 421269.74
AT ITER 5214 NEW BEST:: SOT 1720338 SOS 847172 HAS SOPS 845543 HAS SOUS 419678 HAS SOUPS 419497 WITH SCORE 420344.172
AT ITER 5265 NEW BEST:: SOT 1720232 SOS 846256 HAS SOPS 844627 HAS SOUS 419664 HAS SOUPS 419483 WITH SCORE 420329.256
AT ITER 5275 NEW BEST:: SOT 1720026 SOS 846164 HAS SOPS 844535 HAS SOUS 419464 HAS SOUPS 419283 WITH SCORE 420129.164
AT ITER 5277 NEW BEST:: SOT 1719978 SOS 846116 HAS SOPS 844487 HAS SOUS 419392 HAS SOUPS 419211 WITH SCORE 420057.116
AT ITER 5279 NEW BEST:: SOT 1719859 SOS 845997 HAS SOPS 844368 HAS SOUS 419273 HAS SOUPS 419092 WITH SCORE 419937.997
AT ITER 5282 NEW BEST:: SOT 1719645 SOS 845783 HAS SOPS 844154 HAS SOUS 418925 HAS SOUPS 418744 WITH SCORE 419589.783
AT ITER 5297 NEW BEST:: SOT 1719656 SOS 845794 HAS SOPS 844165 HAS SOUS 418909 HAS SOUPS 418728 WITH SCORE 419573.794
AT ITER 5314 NEW BEST:: SOT 1719642 SOS 845773 HAS SOPS 844144 HAS SOUS 418892 HAS SOUPS 418711 WITH SCORE 419556.773
AT ITER 5320 NEW BEST:: SOT 1719676 SOS 845812 HAS SOPS 844183 HAS SOUS 418840 HAS SOUPS 418659 WITH SCORE 419504.812
AT ITER 5332 NEW BEST:: SOT 1719639 SOS 845775 HAS SOPS 844146 HAS SOUS 418803 HAS SOUPS 418622 WITH SCORE 419467.775
AT ITER 5336 NEW BEST:: SOT 1719639 SOS 845807 HAS SOPS 844178 HAS SOUS 418739 HAS SOUPS 418558 WITH SCORE 419403.807
AT ITER 5339 NEW BEST:: SOT 1719518 SOS 845686 HAS SOPS 844057 HAS SOUS 418514 HAS SOUPS 418333 WITH SCORE 419178.686
AT ITER 5362 NEW BEST:: SOT 1719458 SOS 845626 HAS SOPS 843997 HAS SOUS 416025 HAS SOUPS 415844 WITH SCORE 416689.626
AT ITER 5368 NEW BEST:: SOT 1719507 SOS 845675 HAS SOPS 844046 HAS SOUS 415353 HAS SOUPS 415172 WITH SCORE 416017.675
AT ITER 5385 NEW BEST:: SOT 1719285 SOS 845453 HAS SOPS 843824 HAS SOUS 414021 HAS SOUPS 413840 WITH SCORE 414685.453
AT ITER 5387 NEW BEST:: SOT 1719286 SOS 845444 HAS SOPS 843815 HAS SOUS 414006 HAS SOUPS 413825 WITH SCORE 414670.444
AT ITER 5417 NEW BEST:: SOT 1718938 SOS 845096 HAS SOPS 843467 HAS SOUS 413399 HAS SOUPS 413218 WITH SCORE 414063.096
AT ITER 5429 NEW BEST:: SOT 1718507 SOS 844665 HAS SOPS 843036 HAS SOUS 413262 HAS SOUPS 413081 WITH SCORE 413925.665
AT ITER 5445 NEW BEST:: SOT 1718697 SOS 844855 HAS SOPS 843226 HAS SOUS 411772 HAS SOUPS 411591 WITH SCORE 412435.855
AT ITER 5466 NEW BEST:: SOT 1719218 SOS 845376 HAS SOPS 843747 HAS SOUS 411069 HAS SOUPS 410888 WITH SCORE 411733.376
AT ITER 5481 NEW BEST:: SOT 1719414 SOS 845591 HAS SOPS 843962 HAS SOUS 410931 HAS SOUPS 410750 WITH SCORE 411595.591
AT ITER 5498 NEW BEST:: SOT 1719381 SOS 845558 HAS SOPS 843929 HAS SOUS 410898 HAS SOUPS 410717 WITH SCORE 411562.558
AT ITER 5500 NEW BEST:: SOT 1719326 SOS 845503 HAS SOPS 843874 HAS SOUS 410787 HAS SOUPS 410606 WITH SCORE 411451.503
AT ITER 5503 NEW BEST:: SOT 1719222 SOS 845399 HAS SOPS 843770 HAS SOUS 409798 HAS SOUPS 409617 WITH SCORE 410462.399
AT ITER 5519 NEW BEST:: SOT 1720659 SOS 846836 HAS SOPS 845207 HAS SOUS 409476 HAS SOUPS 409295 WITH SCORE 410141.836
AT ITER 5520 NEW BEST:: SOT 1720681 SOS 846858 HAS SOPS 845229 HAS SOUS 409366 HAS SOUPS 409185 WITH SCORE 410031.858
AT ITER 5529 NEW BEST:: SOT 1722056 SOS 848233 HAS SOPS 846604 HAS SOUS 409274 HAS SOUPS 409093 WITH SCORE 409941.233
AT ITER 5534 NEW BEST:: SOT 1722082 SOS 848259 HAS SOPS 846630 HAS SOUS 409201 HAS SOUPS 409020 WITH SCORE 409868.259
AT ITER 5536 NEW BEST:: SOT 1721923 SOS 848100 HAS SOPS 846471 HAS SOUS 408843 HAS SOUPS 408662 WITH SCORE 409510.1
AT ITER 5544 NEW BEST:: SOT 1723726 SOS 849903 HAS SOPS 848274 HAS SOUS 408398 HAS SOUPS 408217 WITH SCORE 409066.903
AT ITER 5556 NEW BEST:: SOT 1723587 SOS 849880 HAS SOPS 848251 HAS SOUS 408385 HAS SOUPS 408204 WITH SCORE 409053.88
AT ITER 5567 NEW BEST:: SOT 1723455 SOS 849748 HAS SOPS 848119 HAS SOUS 408144 HAS SOUPS 407963 WITH SCORE 408812.748
AT ITER 5592 NEW BEST:: SOT 1724403 SOS 850696 HAS SOPS 849067 HAS SOUS 407855 HAS SOUPS 407674 WITH SCORE 408524.696
AT ITER 5593 NEW BEST:: SOT 1724367 SOS 850444 HAS SOPS 848923 HAS SOUS 407807 HAS SOUPS 407638 WITH SCORE 408488.444
AT ITER 5615 NEW BEST:: SOT 1724311 SOS 850485 HAS SOPS 848964 HAS SOUS 407740 HAS SOUPS 407571 WITH SCORE 408421.485
AT ITER 5625 NEW BEST:: SOT 1724305 SOS 850479 HAS SOPS 848958 HAS SOUS 407571 HAS SOUPS 407402 WITH SCORE 408252.479
AT ITER 5626 NEW BEST:: SOT 1724241 SOS 850415 HAS SOPS 848894 HAS SOUS 407507 HAS SOUPS 407338 WITH SCORE 408188.415
AT ITER 5629 NEW BEST:: SOT 1724215 SOS 850389 HAS SOPS 848868 HAS SOUS 407455 HAS SOUPS 407286 WITH SCORE 408136.389
AT ITER 5645 NEW BEST:: SOT 1723914 SOS 850088 HAS SOPS 848567 HAS SOUS 406896 HAS SOUPS 406727 WITH SCORE 407577.088
AT ITER 5650 NEW BEST:: SOT 1723865 SOS 850039 HAS SOPS 848518 HAS SOUS 406806 HAS SOUPS 406637 WITH SCORE 407487.039
AT ITER 5669 NEW BEST:: SOT 1723738 SOS 849866 HAS SOPS 848345 HAS SOUS 406343 HAS SOUPS 406174 WITH SCORE 407023.866
AT ITER 5676 NEW BEST:: SOT 1723777 SOS 849905 HAS SOPS 848384 HAS SOUS 406061 HAS SOUPS 405892 WITH SCORE 406741.905
AT ITER 5717 NEW BEST:: SOT 1723691 SOS 849819 HAS SOPS 848298 HAS SOUS 405803 HAS SOUPS 405634 WITH SCORE 406483.819
AT ITER 5719 NEW BEST:: SOT 1723621 SOS 849542 HAS SOPS 848021 HAS SOUS 405511 HAS SOUPS 405342 WITH SCORE 406191.542
AT ITER 5730 NEW BEST:: SOT 1723453 SOS 849374 HAS SOPS 847853 HAS SOUS 405149 HAS SOUPS 404980 WITH SCORE 405829.374
AT ITER 5733 NEW BEST:: SOT 1723097 SOS 849018 HAS SOPS 847497 HAS SOUS 404579 HAS SOUPS 404410 WITH SCORE 405259.018
AT ITER 5735 NEW BEST:: SOT 1723601 SOS 849522 HAS SOPS 848001 HAS SOUS 404475 HAS SOUPS 404306 WITH SCORE 405155.522
AT ITER 5745 NEW BEST:: SOT 1723581 SOS 849502 HAS SOPS 847981 HAS SOUS 404445 HAS SOUPS 404276 WITH SCORE 405125.502
AT ITER 5748 NEW BEST:: SOT 1723574 SOS 849495 HAS SOPS 847974 HAS SOUS 404431 HAS SOUPS 404262 WITH SCORE 405111.495
AT ITER 5758 NEW BEST:: SOT 1723568 SOS 849495 HAS SOPS 847974 HAS SOUS 404419 HAS SOUPS 404250 WITH SCORE 405099.495
AT ITER 5764 NEW BEST:: SOT 1723566 SOS 849493 HAS SOPS 847972 HAS SOUS 404293 HAS SOUPS 404124 WITH SCORE 404973.493
AT ITER 5765 NEW BEST:: SOT 1723526 SOS 849450 HAS SOPS 847929 HAS SOUS 404181 HAS SOUPS 404012 WITH SCORE 404861.45
AT ITER 5779 NEW BEST:: SOT 1723304 SOS 849228 HAS SOPS 847707 HAS SOUS 403787 HAS SOUPS 403618 WITH SCORE 404467.228
AT ITER 5784 NEW BEST:: SOT 1723243 SOS 849167 HAS SOPS 847646 HAS SOUS 403726 HAS SOUPS 403557 WITH SCORE 404406.167
AT ITER 5786 NEW BEST:: SOT 1723158 SOS 849082 HAS SOPS 847561 HAS SOUS 403641 HAS SOUPS 403472 WITH SCORE 404321.082
AT ITER 5804 NEW BEST:: SOT 1723032 SOS 848956 HAS SOPS 847435 HAS SOUS 402715 HAS SOUPS 402546 WITH SCORE 403394.956
AT ITER 5822 NEW BEST:: SOT 1722867 SOS 848791 HAS SOPS 847270 HAS SOUS 402477 HAS SOUPS 402308 WITH SCORE 403156.791
AT ITER 5844 NEW BEST:: SOT 1722932 SOS 848737 HAS SOPS 847216 HAS SOUS 402465 HAS SOUPS 402296 WITH SCORE 403144.737
AT ITER 5858 NEW BEST:: SOT 1722530 SOS 848335 HAS SOPS 846814 HAS SOUS 401708 HAS SOUPS 401539 WITH SCORE 402387.335
AT ITER 5888 NEW BEST:: SOT 1722510 SOS 848315 HAS SOPS 846794 HAS SOUS 401688 HAS SOUPS 401519 WITH SCORE 402367.315
AT ITER 5907 NEW BEST:: SOT 1722444 SOS 848249 HAS SOPS 846728 HAS SOUS 401622 HAS SOUPS 401453 WITH SCORE 402301.249
AT ITER 5915 NEW BEST:: SOT 1722979 SOS 848784 HAS SOPS 847263 HAS SOUS 401473 HAS SOUPS 401304 WITH SCORE 402152.784
AT ITER 5928 NEW BEST:: SOT 1722881 SOS 848686 HAS SOPS 847165 HAS SOUS 401375 HAS SOUPS 401206 WITH SCORE 402054.686
AT ITER 5951 NEW BEST:: SOT 1722857 SOS 848662 HAS SOPS 847141 HAS SOUS 401161 HAS SOUPS 400992 WITH SCORE 401840.662
AT ITER 5959 NEW BEST:: SOT 1722874 SOS 848679 HAS SOPS 847158 HAS SOUS 401027 HAS SOUPS 400858 WITH SCORE 401706.679
AT ITER 5971 NEW BEST:: SOT 1722845 SOS 848679 HAS SOPS 847158 HAS SOUS 400969 HAS SOUPS 400800 WITH SCORE 401648.679
AT ITER 5972 NEW BEST:: SOT 1722789 SOS 848623 HAS SOPS 847102 HAS SOUS 400857 HAS SOUPS 400688 WITH SCORE 401536.623
AT ITER 5983 NEW BEST:: SOT 1722708 SOS 848542 HAS SOPS 847021 HAS SOUS 400047 HAS SOUPS 399878 WITH SCORE 400726.542
AT ITER 5998 NEW BEST:: SOT 1722661 SOS 848495 HAS SOPS 846974 HAS SOUS 399906 HAS SOUPS 399737 WITH SCORE 400585.495
AT ITER 6017 NEW BEST:: SOT 1722593 SOS 848427 HAS SOPS 846906 HAS SOUS 399838 HAS SOUPS 399669 WITH SCORE 400517.427
AT ITER 6030 NEW BEST:: SOT 1722863 SOS 848697 HAS SOPS 847176 HAS SOUS 399814 HAS SOUPS 399645 WITH SCORE 400493.697
AT ITER 6051 NEW BEST:: SOT 1723148 SOS 848982 HAS SOPS 847461 HAS SOUS 399345 HAS SOUPS 399176 WITH SCORE 400024.982
AT ITER 6055 NEW BEST:: SOT 1723157 SOS 848952 HAS SOPS 847431 HAS SOUS 399337 HAS SOUPS 399168 WITH SCORE 400016.952
AT ITER 6061 NEW BEST:: SOT 1723046 SOS 848841 HAS SOPS 847320 HAS SOUS 398843 HAS SOUPS 398674 WITH SCORE 399522.841
AT ITER 6094 NEW BEST:: SOT 1723032 SOS 848827 HAS SOPS 847306 HAS SOUS 398829 HAS SOUPS 398660 WITH SCORE 399508.827
AT ITER 6095 NEW BEST:: SOT 1722977 SOS 848717 HAS SOPS 847196 HAS SOUS 398719 HAS SOUPS 398550 WITH SCORE 399398.717
AT ITER 6136 NEW BEST:: SOT 1722776 SOS 848516 HAS SOPS 846995 HAS SOUS 398433 HAS SOUPS 398264 WITH SCORE 399112.516
AT ITER 6175 NEW BEST:: SOT 1722545 SOS 848285 HAS SOPS 846764 HAS SOUS 397946 HAS SOUPS 397777 WITH SCORE 398625.285
AT ITER 6184 NEW BEST:: SOT 1722231 SOS 847971 HAS SOPS 846450 HAS SOUS 397404 HAS SOUPS 397235 WITH SCORE 398082.971
AT ITER 6187 NEW BEST:: SOT 1722208 SOS 847948 HAS SOPS 846427 HAS SOUS 397381 HAS SOUPS 397212 WITH SCORE 398059.948
AT ITER 6195 NEW BEST:: SOT 1722372 SOS 848112 HAS SOPS 846591 HAS SOUS 396277 HAS SOUPS 396108 WITH SCORE 396956.112
AT ITER 6196 NEW BEST:: SOT 1722250 SOS 847990 HAS SOPS 846469 HAS SOUS 396033 HAS SOUPS 395864 WITH SCORE 396711.99
AT ITER 6207 NEW BEST:: SOT 1722250 SOS 844161 HAS SOPS 842640 HAS SOUS 396033 HAS SOUPS 395864 WITH SCORE 396708.161
AT ITER 6221 NEW BEST:: SOT 1722232 SOS 844143 HAS SOPS 842622 HAS SOUS 395925 HAS SOUPS 395756 WITH SCORE 396600.143
AT ITER 6236 NEW BEST:: SOT 1722225 SOS 844136 HAS SOPS 842615 HAS SOUS 395813 HAS SOUPS 395644 WITH SCORE 396488.136
AT ITER 6254 NEW BEST:: SOT 1722069 SOS 843980 HAS SOPS 842459 HAS SOUS 395657 HAS SOUPS 395488 WITH SCORE 396331.98
AT ITER 6260 NEW BEST:: SOT 1722005 SOS 843916 HAS SOPS 842395 HAS SOUS 395581 HAS SOUPS 395412 WITH SCORE 396255.916
AT ITER 6261 NEW BEST:: SOT 1721996 SOS 843913 HAS SOPS 842392 HAS SOUS 395575 HAS SOUPS 395406 WITH SCORE 396249.913
AT ITER 6265 NEW BEST:: SOT 1721814 SOS 843731 HAS SOPS 842210 HAS SOUS 395252 HAS SOUPS 395083 WITH SCORE 395926.731
AT ITER 6269 NEW BEST:: SOT 1721811 SOS 843728 HAS SOPS 842207 HAS SOUS 395249 HAS SOUPS 395080 WITH SCORE 395923.728
AT ITER 6293 NEW BEST:: SOT 1721789 SOS 843706 HAS SOPS 842185 HAS SOUS 395205 HAS SOUPS 395036 WITH SCORE 395879.706
AT ITER 6303 NEW BEST:: SOT 1721729 SOS 843646 HAS SOPS 842125 HAS SOUS 395066 HAS SOUPS 394897 WITH SCORE 395740.646
AT ITER 6325 NEW BEST:: SOT 1721671 SOS 843588 HAS SOPS 842067 HAS SOUS 395008 HAS SOUPS 394839 WITH SCORE 395682.588
AT ITER 6329 NEW BEST:: SOT 1721619 SOS 843536 HAS SOPS 842015 HAS SOUS 394933 HAS SOUPS 394764 WITH SCORE 395607.536
AT ITER 6343 NEW BEST:: SOT 1721571 SOS 843488 HAS SOPS 841967 HAS SOUS 394912 HAS SOUPS 394743 WITH SCORE 395586.488
AT ITER 6351 NEW BEST:: SOT 1721530 SOS 843360 HAS SOPS 841839 HAS SOUS 394784 HAS SOUPS 394615 WITH SCORE 395458.36
AT ITER 6352 NEW BEST:: SOT 1721387 SOS 843217 HAS SOPS 841696 HAS SOUS 394586 HAS SOUPS 394417 WITH SCORE 395260.217
AT ITER 6365 NEW BEST:: SOT 1721294 SOS 842776 HAS SOPS 841255 HAS SOUS 394326 HAS SOUPS 394157 WITH SCORE 394999.776
AT ITER 6380 NEW BEST:: SOT 1720958 SOS 842440 HAS SOPS 840919 HAS SOUS 393990 HAS SOUPS 393821 WITH SCORE 394663.44
AT ITER 6384 NEW BEST:: SOT 1720037 SOS 841519 HAS SOPS 839998 HAS SOUS 393110 HAS SOUPS 392941 WITH SCORE 393782.519
AT ITER 6392 NEW BEST:: SOT 1720009 SOS 841491 HAS SOPS 839970 HAS SOUS 393061 HAS SOUPS 392892 WITH SCORE 393733.491
AT ITER 6394 NEW BEST:: SOT 1719986 SOS 841468 HAS SOPS 839947 HAS SOUS 393038 HAS SOUPS 392869 WITH SCORE 393710.468
AT ITER 6408 NEW BEST:: SOT 1719982 SOS 841460 HAS SOPS 839939 HAS SOUS 393030 HAS SOUPS 392861 WITH SCORE 393702.46
AT ITER 6417 NEW BEST:: SOT 1719500 SOS 840978 HAS SOPS 839457 HAS SOUS 392130 HAS SOUPS 391961 WITH SCORE 392801.978
AT ITER 6420 NEW BEST:: SOT 1719496 SOS 840974 HAS SOPS 839453 HAS SOUS 392126 HAS SOUPS 391957 WITH SCORE 392797.974
AT ITER 6425 NEW BEST:: SOT 1719377 SOS 840855 HAS SOPS 839334 HAS SOUS 392007 HAS SOUPS 391838 WITH SCORE 392678.855
AT ITER 6438 NEW BEST:: SOT 1719395 SOS 840873 HAS SOPS 839352 HAS SOUS 391569 HAS SOUPS 391400 WITH SCORE 392240.873
AT ITER 6443 NEW BEST:: SOT 1719187 SOS 840665 HAS SOPS 839144 HAS SOUS 391047 HAS SOUPS 390878 WITH SCORE 391718.665
AT ITER 6459 NEW BEST:: SOT 1719184 SOS 840662 HAS SOPS 839141 HAS SOUS 391044 HAS SOUPS 390875 WITH SCORE 391715.662
AT ITER 6472 NEW BEST:: SOT 1719036 SOS 840514 HAS SOPS 838993 HAS SOUS 390498 HAS SOUPS 390329 WITH SCORE 391169.514
AT ITER 6481 NEW BEST:: SOT 1717834 SOS 839312 HAS SOPS 837791 HAS SOUS 388253 HAS SOUPS 388084 WITH SCORE 388923.312
AT ITER 6483 NEW BEST:: SOT 1717834 SOS 839312 HAS SOPS 837791 HAS SOUS 388246 HAS SOUPS 388077 WITH SCORE 388916.312
AT ITER 6518 NEW BEST:: SOT 1717827 SOS 839305 HAS SOPS 837784 HAS SOUS 388239 HAS SOUPS 388070 WITH SCORE 388909.305
AT ITER 6524 NEW BEST:: SOT 1717803 SOS 839281 HAS SOPS 837760 HAS SOUS 388203 HAS SOUPS 388034 WITH SCORE 388873.281
AT ITER 6532 NEW BEST:: SOT 1717796 SOS 839274 HAS SOPS 837753 HAS SOUS 387949 HAS SOUPS 387780 WITH SCORE 388619.274
AT ITER 6549 NEW BEST:: SOT 1718424 SOS 839902 HAS SOPS 838381 HAS SOUS 387636 HAS SOUPS 387467 WITH SCORE 388306.902
AT ITER 6564 NEW BEST:: SOT 1718829 SOS 840307 HAS SOPS 838786 HAS SOUS 387516 HAS SOUPS 387347 WITH SCORE 388187.307
AT ITER 6586 NEW BEST:: SOT 1718700 SOS 840178 HAS SOPS 838657 HAS SOUS 387188 HAS SOUPS 387019 WITH SCORE 387859.178
AT ITER 6594 NEW BEST:: SOT 1718571 SOS 840049 HAS SOPS 838528 HAS SOUS 387006 HAS SOUPS 386837 WITH SCORE 387677.049
AT ITER 6595 NEW BEST:: SOT 1718520 SOS 839998 HAS SOPS 838477 HAS SOUS 386955 HAS SOUPS 386786 WITH SCORE 387625.998
AT ITER 6604 NEW BEST:: SOT 1718436 SOS 839914 HAS SOPS 838393 HAS SOUS 386863 HAS SOUPS 386694 WITH SCORE 387533.914
AT ITER 6605 NEW BEST:: SOT 1718344 SOS 839822 HAS SOPS 838301 HAS SOUS 386511 HAS SOUPS 386342 WITH SCORE 387181.822
AT ITER 6612 NEW BEST:: SOT 1718066 SOS 839544 HAS SOPS 838023 HAS SOUS 386148 HAS SOUPS 385979 WITH SCORE 386818.544
AT ITER 6614 NEW BEST:: SOT 1718044 SOS 839522 HAS SOPS 838001 HAS SOUS 386104 HAS SOUPS 385935 WITH SCORE 386774.522
AT ITER 6621 NEW BEST:: SOT 1717848 SOS 839326 HAS SOPS 837805 HAS SOUS 385807 HAS SOUPS 385638 WITH SCORE 386477.326
AT ITER 6625 NEW BEST:: SOT 1717838 SOS 839306 HAS SOPS 837785 HAS SOUS 385787 HAS SOUPS 385618 WITH SCORE 386457.306
AT ITER 6639 NEW BEST:: SOT 1718081 SOS 839549 HAS SOPS 838028 HAS SOUS 384777 HAS SOUPS 384608 WITH SCORE 385447.549
AT ITER 6665 NEW BEST:: SOT 1718045 SOS 839513 HAS SOPS 837992 HAS SOUS 384741 HAS SOUPS 384572 WITH SCORE 385411.513
AT ITER 6681 NEW BEST:: SOT 1718006 SOS 839474 HAS SOPS 837953 HAS SOUS 384616 HAS SOUPS 384447 WITH SCORE 385286.474
AT ITER 6682 NEW BEST:: SOT 1718104 SOS 839572 HAS SOPS 838051 HAS SOUS 383842 HAS SOUPS 383673 WITH SCORE 384512.572
AT ITER 6692 NEW BEST:: SOT 1718104 SOS 839494 HAS SOPS 837973 HAS SOUS 383842 HAS SOUPS 383673 WITH SCORE 384512.494
AT ITER 6697 NEW BEST:: SOT 1717973 SOS 839363 HAS SOPS 837842 HAS SOUS 383669 HAS SOUPS 383500 WITH SCORE 384339.363
AT ITER 6712 NEW BEST:: SOT 1717961 SOS 839351 HAS SOPS 837830 HAS SOUS 383657 HAS SOUPS 383488 WITH SCORE 384327.351
AT ITER 6717 NEW BEST:: SOT 1717961 SOS 839351 HAS SOPS 837830 HAS SOUS 383645 HAS SOUPS 383476 WITH SCORE 384315.351
AT ITER 6725 NEW BEST:: SOT 1717881 SOS 839271 HAS SOPS 837750 HAS SOUS 382845 HAS SOUPS 382676 WITH SCORE 383515.271
AT ITER 6729 NEW BEST:: SOT 1717878 SOS 839268 HAS SOPS 837747 HAS SOUS 382842 HAS SOUPS 382673 WITH SCORE 383512.268
AT ITER 6730 NEW BEST:: SOT 1717881 SOS 838823 HAS SOPS 837302 HAS SOUS 382759 HAS SOUPS 382590 WITH SCORE 383428.823
AT ITER 6746 NEW BEST:: SOT 1717835 SOS 838784 HAS SOPS 837263 HAS SOUS 382612 HAS SOUPS 382443 WITH SCORE 383281.784
AT ITER 6748 NEW BEST:: SOT 1717909 SOS 838799 HAS SOPS 837278 HAS SOUS 382499 HAS SOUPS 382330 WITH SCORE 383168.799
AT ITER 6750 NEW BEST:: SOT 1717909 SOS 838796 HAS SOPS 837275 HAS SOUS 382499 HAS SOUPS 382330 WITH SCORE 383168.796
AT ITER 6752 NEW BEST:: SOT 1717917 SOS 838804 HAS SOPS 837283 HAS SOUS 382435 HAS SOUPS 382266 WITH SCORE 383104.804
AT ITER 6759 NEW BEST:: SOT 1717427 SOS 838222 HAS SOPS 836701 HAS SOUS 381853 HAS SOUPS 381684 WITH SCORE 382522.222
AT ITER 6765 NEW BEST:: SOT 1717403 SOS 838198 HAS SOPS 836677 HAS SOUS 381805 HAS SOUPS 381636 WITH SCORE 382474.198
AT ITER 6768 NEW BEST:: SOT 1717359 SOS 838154 HAS SOPS 836633 HAS SOUS 381755 HAS SOUPS 381586 WITH SCORE 382424.154
AT ITER 6777 NEW BEST:: SOT 1717211 SOS 837858 HAS SOPS 836337 HAS SOUS 381459 HAS SOUPS 381290 WITH SCORE 382127.858
AT ITER 6785 NEW BEST:: SOT 1716755 SOS 887232 HAS SOPS 885711 HAS SOUS 381329 HAS SOUPS 381160 WITH SCORE 382047.232
AT ITER 6795 NEW BEST:: SOT 1716748 SOS 887225 HAS SOPS 885704 HAS SOUS 381322 HAS SOUPS 381153 WITH SCORE 382040.225
AT ITER 6817 NEW BEST:: SOT 1716937 SOS 887414 HAS SOPS 885893 HAS SOUS 381134 HAS SOUPS 380965 WITH SCORE 381852.414
AT ITER 6824 NEW BEST:: SOT 1716897 SOS 887374 HAS SOPS 885853 HAS SOUS 381075 HAS SOUPS 380906 WITH SCORE 381793.374
AT ITER 6836 NEW BEST:: SOT 1716738 SOS 887215 HAS SOPS 885694 HAS SOUS 380916 HAS SOUPS 380747 WITH SCORE 381634.215
AT ITER 6845 NEW BEST:: SOT 1716725 SOS 887202 HAS SOPS 885681 HAS SOUS 380903 HAS SOUPS 380734 WITH SCORE 381621.202
AT ITER 6853 NEW BEST:: SOT 1716723 SOS 887198 HAS SOPS 885677 HAS SOUS 380899 HAS SOUPS 380730 WITH SCORE 381617.198
AT ITER 6858 NEW BEST:: SOT 1716565 SOS 887040 HAS SOPS 885519 HAS SOUS 380599 HAS SOUPS 380430 WITH SCORE 381317.04
AT ITER 6877 NEW BEST:: SOT 1716491 SOS 886966 HAS SOPS 885445 HAS SOUS 380047 HAS SOUPS 379878 WITH SCORE 380764.966
AT ITER 6891 NEW BEST:: SOT 1716479 SOS 886954 HAS SOPS 885433 HAS SOUS 380035 HAS SOUPS 379866 WITH SCORE 380752.954
AT ITER 6928 NEW BEST:: SOT 1716438 SOS 886913 HAS SOPS 885392 HAS SOUS 379953 HAS SOUPS 379784 WITH SCORE 380670.913
AT ITER 6937 NEW BEST:: SOT 1715920 SOS 886395 HAS SOPS 884874 HAS SOUS 379219 HAS SOUPS 379050 WITH SCORE 379936.395
AT ITER 6958 NEW BEST:: SOT 1715902 SOS 886344 HAS SOPS 884823 HAS SOUS 379183 HAS SOUPS 379014 WITH SCORE 379900.344
AT ITER 6989 NEW BEST:: SOT 1715864 SOS 886306 HAS SOPS 884785 HAS SOUS 379069 HAS SOUPS 378900 WITH SCORE 379786.306
AT ITER 7024 NEW BEST:: SOT 1716375 SOS 886674 HAS SOPS 885153 HAS SOUS 378479 HAS SOUPS 378310 WITH SCORE 379196.674
AT ITER 7026 NEW BEST:: SOT 1716392 SOS 886581 HAS SOPS 885060 HAS SOUS 378465 HAS SOUPS 378296 WITH SCORE 379182.581
AT ITER 7037 NEW BEST:: SOT 1715773 SOS 885962 HAS SOPS 884441 HAS SOUS 377391 HAS SOUPS 377222 WITH SCORE 378107.962
AT ITER 7050 NEW BEST:: SOT 1715773 SOS 885938 HAS SOPS 884417 HAS SOUS 377391 HAS SOUPS 377222 WITH SCORE 378107.938
AT ITER 7051 NEW BEST:: SOT 1715746 SOS 885911 HAS SOPS 884390 HAS SOUS 377364 HAS SOUPS 377195 WITH SCORE 378080.911
AT ITER 7062 NEW BEST:: SOT 1715694 SOS 885859 HAS SOPS 884338 HAS SOUS 377312 HAS SOUPS 377143 WITH SCORE 378028.859
AT ITER 7083 NEW BEST:: SOT 1715897 SOS 886062 HAS SOPS 884541 HAS SOUS 377256 HAS SOUPS 377087 WITH SCORE 377973.062
AT ITER 7094 NEW BEST:: SOT 1715779 SOS 885944 HAS SOPS 884423 HAS SOUS 377016 HAS SOUPS 376847 WITH SCORE 377732.944
AT ITER 7120 NEW BEST:: SOT 1715599 SOS 885764 HAS SOPS 884243 HAS SOUS 376615 HAS SOUPS 376446 WITH SCORE 377331.764
AT ITER 7137 NEW BEST:: SOT 1715589 SOS 885754 HAS SOPS 884233 HAS SOUS 376610 HAS SOUPS 376441 WITH SCORE 377326.754
AT ITER 7138 NEW BEST:: SOT 1715503 SOS 885736 HAS SOPS 884215 HAS SOUS 376562 HAS SOUPS 376393 WITH SCORE 377278.736
AT ITER 7140 NEW BEST:: SOT 1715497 SOS 885730 HAS SOPS 884209 HAS SOUS 376550 HAS SOUPS 376381 WITH SCORE 377266.73
AT ITER 7148 NEW BEST:: SOT 1715291 SOS 885524 HAS SOPS 884003 HAS SOUS 376251 HAS SOUPS 376082 WITH SCORE 376967.524
AT ITER 7158 NEW BEST:: SOT 1715089 SOS 885322 HAS SOPS 883801 HAS SOUS 375894 HAS SOUPS 375725 WITH SCORE 376610.322
AT ITER 7163 NEW BEST:: SOT 1715029 SOS 885262 HAS SOPS 883741 HAS SOUS 375834 HAS SOUPS 375665 WITH SCORE 376550.262
AT ITER 7170 NEW BEST:: SOT 1714952 SOS 885185 HAS SOPS 883664 HAS SOUS 375661 HAS SOUPS 375492 WITH SCORE 376377.185
AT ITER 7178 NEW BEST:: SOT 1714918 SOS 885151 HAS SOPS 883630 HAS SOUS 375627 HAS SOUPS 375458 WITH SCORE 376343.151
AT ITER 7181 NEW BEST:: SOT 1714823 SOS 885056 HAS SOPS 883535 HAS SOUS 375531 HAS SOUPS 375362 WITH SCORE 376247.056
AT ITER 7184 NEW BEST:: SOT 1714778 SOS 885011 HAS SOPS 883490 HAS SOUS 375486 HAS SOUPS 375317 WITH SCORE 376202.011
AT ITER 7197 NEW BEST:: SOT 1714724 SOS 884957 HAS SOPS 883436 HAS SOUS 375429 HAS SOUPS 375260 WITH SCORE 376144.957
AT ITER 7210 NEW BEST:: SOT 1714691 SOS 884934 HAS SOPS 883413 HAS SOUS 375326 HAS SOUPS 375157 WITH SCORE 376041.934
AT ITER 7219 NEW BEST:: SOT 1714691 SOS 884768 HAS SOPS 883247 HAS SOUS 375316 HAS SOUPS 375147 WITH SCORE 376031.768
AT ITER 7228 NEW BEST:: SOT 1714712 SOS 884762 HAS SOPS 883241 HAS SOUS 375304 HAS SOUPS 375135 WITH SCORE 376019.762
AT ITER 7266 NEW BEST:: SOT 1714612 SOS 884662 HAS SOPS 883141 HAS SOUS 375204 HAS SOUPS 375035 WITH SCORE 375919.662
AT ITER 7273 NEW BEST:: SOT 1714460 SOS 884510 HAS SOPS 882989 HAS SOUS 375034 HAS SOUPS 374865 WITH SCORE 375749.51
AT ITER 7291 NEW BEST:: SOT 1714428 SOS 884437 HAS SOPS 882916 HAS SOUS 374970 HAS SOUPS 374801 WITH SCORE 375685.437
AT ITER 7295 NEW BEST:: SOT 1714278 SOS 884287 HAS SOPS 882766 HAS SOUS 374752 HAS SOUPS 374583 WITH SCORE 375467.287
AT ITER 7301 NEW BEST:: SOT 1714224 SOS 884233 HAS SOPS 882712 HAS SOUS 374284 HAS SOUPS 374115 WITH SCORE 374999.233
AT ITER 7313 NEW BEST:: SOT 1714701 SOS 884710 HAS SOPS 883189 HAS SOUS 374092 HAS SOUPS 373923 WITH SCORE 374807.71
AT ITER 7328 NEW BEST:: SOT 1714701 SOS 884668 HAS SOPS 883147 HAS SOUS 374092 HAS SOUPS 373923 WITH SCORE 374807.668
AT ITER 7332 NEW BEST:: SOT 1714701 SOS 884664 HAS SOPS 883143 HAS SOUS 374092 HAS SOUPS 373923 WITH SCORE 374807.664
AT ITER 7339 NEW BEST:: SOT 1714840 SOS 884755 HAS SOPS 883234 HAS SOUS 374008 HAS SOUPS 373839 WITH SCORE 374723.755
AT ITER 7341 NEW BEST:: SOT 1714802 SOS 884717 HAS SOPS 883196 HAS SOUS 373895 HAS SOUPS 373726 WITH SCORE 374610.717
AT ITER 7345 NEW BEST:: SOT 1714458 SOS 884545 HAS SOPS 883024 HAS SOUS 373462 HAS SOUPS 373293 WITH SCORE 374177.545
AT ITER 7347 NEW BEST:: SOT 1714442 SOS 884529 HAS SOPS 883008 HAS SOUS 373437 HAS SOUPS 373268 WITH SCORE 374152.529
AT ITER 7355 NEW BEST:: SOT 1714352 SOS 884439 HAS SOPS 882918 HAS SOUS 373257 HAS SOUPS 373088 WITH SCORE 373972.439
AT ITER 7368 NEW BEST:: SOT 1714375 SOS 884462 HAS SOPS 882941 HAS SOUS 373225 HAS SOUPS 373056 WITH SCORE 373940.462
AT ITER 7370 NEW BEST:: SOT 1714223 SOS 884310 HAS SOPS 882789 HAS SOUS 371325 HAS SOUPS 371156 WITH SCORE 372040.31
AT ITER 7371 NEW BEST:: SOT 1714206 SOS 884293 HAS SOPS 882772 HAS SOUS 371289 HAS SOUPS 371120 WITH SCORE 372004.293
AT ITER 7383 NEW BEST:: SOT 1714153 SOS 884240 HAS SOPS 882719 HAS SOUS 371111 HAS SOUPS 370942 WITH SCORE 371826.24
AT ITER 7385 NEW BEST:: SOT 1714100 SOS 884187 HAS SOPS 882666 HAS SOUS 371050 HAS SOUPS 370881 WITH SCORE 371765.187
AT ITER 7400 NEW BEST:: SOT 1714027 SOS 884089 HAS SOPS 882568 HAS SOUS 371000 HAS SOUPS 370831 WITH SCORE 371715.089
AT ITER 7404 NEW BEST:: SOT 1713905 SOS 883967 HAS SOPS 882446 HAS SOUS 370878 HAS SOUPS 370709 WITH SCORE 371592.967
AT ITER 7409 NEW BEST:: SOT 1713875 SOS 883952 HAS SOPS 882431 HAS SOUS 370848 HAS SOUPS 370679 WITH SCORE 371562.952
AT ITER 7425 NEW BEST:: SOT 1713892 SOS 883969 HAS SOPS 882448 HAS SOUS 370667 HAS SOUPS 370498 WITH SCORE 371381.969
AT ITER 7426 NEW BEST:: SOT 1713892 SOS 883969 HAS SOPS 882448 HAS SOUS 370323 HAS SOUPS 370154 WITH SCORE 371037.969
AT ITER 7444 NEW BEST:: SOT 1713841 SOS 883918 HAS SOPS 882397 HAS SOUS 370141 HAS SOUPS 369972 WITH SCORE 370855.918
AT ITER 7457 NEW BEST:: SOT 1713585 SOS 883662 HAS SOPS 882141 HAS SOUS 369553 HAS SOUPS 369384 WITH SCORE 370267.662
AT ITER 7472 NEW BEST:: SOT 1713585 SOS 883704 HAS SOPS 882183 HAS SOUS 369511 HAS SOUPS 369342 WITH SCORE 370225.704
AT ITER 7487 NEW BEST:: SOT 1713543 SOS 883662 HAS SOPS 882141 HAS SOUS 369427 HAS SOUPS 369258 WITH SCORE 370141.662
AT ITER 7498 NEW BEST:: SOT 1713382 SOS 883501 HAS SOPS 881980 HAS SOUS 369192 HAS SOUPS 369023 WITH SCORE 369906.501
AT ITER 7513 NEW BEST:: SOT 1713438 SOS 883450 HAS SOPS 881929 HAS SOUS 369067 HAS SOUPS 368898 WITH SCORE 369781.45
AT ITER 7546 NEW BEST:: SOT 1713464 SOS 883476 HAS SOPS 881955 HAS SOUS 368514 HAS SOUPS 368345 WITH SCORE 369228.476
AT ITER 7558 NEW BEST:: SOT 1713642 SOS 883654 HAS SOPS 882133 HAS SOUS 368384 HAS SOUPS 368215 WITH SCORE 369098.654
AT ITER 7559 NEW BEST:: SOT 1713759 SOS 883601 HAS SOPS 882080 HAS SOUS 368089 HAS SOUPS 367920 WITH SCORE 368803.601
AT ITER 7560 NEW BEST:: SOT 1713719 SOS 883561 HAS SOPS 882040 HAS SOUS 368047 HAS SOUPS 367878 WITH SCORE 368761.561
AT ITER 7612 NEW BEST:: SOT 1713703 SOS 883545 HAS SOPS 882024 HAS SOUS 368031 HAS SOUPS 367862 WITH SCORE 368745.545
AT ITER 7627 NEW BEST:: SOT 1713601 SOS 883443 HAS SOPS 881922 HAS SOUS 367848 HAS SOUPS 367679 WITH SCORE 368562.443
AT ITER 7635 NEW BEST:: SOT 1713312 SOS 883154 HAS SOPS 881633 HAS SOUS 367392 HAS SOUPS 367223 WITH SCORE 368106.154
AT ITER 7649 NEW BEST:: SOT 1713326 SOS 883076 HAS SOPS 881555 HAS SOUS 367331 HAS SOUPS 367162 WITH SCORE 368045.076
AT ITER 7659 NEW BEST:: SOT 1713372 SOS 883058 HAS SOPS 881537 HAS SOUS 367267 HAS SOUPS 367098 WITH SCORE 367981.058
AT ITER 7663 NEW BEST:: SOT 1713343 SOS 883029 HAS SOPS 881508 HAS SOUS 367229 HAS SOUPS 367060 WITH SCORE 367943.029
AT ITER 7665 NEW BEST:: SOT 1713343 SOS 883029 HAS SOPS 881508 HAS SOUS 367214 HAS SOUPS 367045 WITH SCORE 367928.029
AT ITER 7666 NEW BEST:: SOT 1713231 SOS 882917 HAS SOPS 881396 HAS SOUS 366990 HAS SOUPS 366821 WITH SCORE 367703.917
AT ITER 7687 NEW BEST:: SOT 1712845 SOS 882531 HAS SOPS 881010 HAS SOUS 366441 HAS SOUPS 366272 WITH SCORE 367154.531
AT ITER 7698 NEW BEST:: SOT 1711259 SOS 880945 HAS SOPS 879424 HAS SOUS 364826 HAS SOUPS 364657 WITH SCORE 365537.945
AT ITER 7705 NEW BEST:: SOT 1711252 SOS 880938 HAS SOPS 879417 HAS SOUS 364590 HAS SOUPS 364421 WITH SCORE 365301.938
AT ITER 7714 NEW BEST:: SOT 1711207 SOS 880893 HAS SOPS 879372 HAS SOUS 364590 HAS SOUPS 364421 WITH SCORE 365301.893
AT ITER 7715 NEW BEST:: SOT 1711165 SOS 851597 HAS SOPS 850076 HAS SOUS 364506 HAS SOUPS 364337 WITH SCORE 365188.597
AT ITER 7724 NEW BEST:: SOT 1711103 SOS 851535 HAS SOPS 850014 HAS SOUS 364326 HAS SOUPS 364157 WITH SCORE 365008.535
AT ITER 7725 NEW BEST:: SOT 1711103 SOS 851449 HAS SOPS 849928 HAS SOUS 364326 HAS SOUPS 364157 WITH SCORE 365008.449
AT ITER 7758 NEW BEST:: SOT 1711009 SOS 851355 HAS SOPS 849834 HAS SOUS 364138 HAS SOUPS 363969 WITH SCORE 364820.355
AT ITER 7773 NEW BEST:: SOT 1711074 SOS 851157 HAS SOPS 849636 HAS SOUS 364055 HAS SOUPS 363886 WITH SCORE 364737.157
AT ITER 7788 NEW BEST:: SOT 1710650 SOS 850733 HAS SOPS 849212 HAS SOUS 363313 HAS SOUPS 363144 WITH SCORE 363994.733
AT ITER 7790 NEW BEST:: SOT 1710645 SOS 850673 HAS SOPS 849152 HAS SOUS 363193 HAS SOUPS 363024 WITH SCORE 363874.673
AT ITER 7793 NEW BEST:: SOT 1710647 SOS 850675 HAS SOPS 849154 HAS SOUS 363189 HAS SOUPS 363020 WITH SCORE 363870.675
AT ITER 7805 NEW BEST:: SOT 1710603 SOS 849899 HAS SOPS 848378 HAS SOUS 363081 HAS SOUPS 362912 WITH SCORE 363761.899
AT ITER 7811 NEW BEST:: SOT 1710718 SOS 850014 HAS SOPS 848493 HAS SOUS 362778 HAS SOUPS 362609 WITH SCORE 363459.014
AT ITER 7824 NEW BEST:: SOT 1710667 SOS 849963 HAS SOPS 848442 HAS SOUS 362705 HAS SOUPS 362536 WITH SCORE 363385.963
AT ITER 7825 NEW BEST:: SOT 1710512 SOS 849808 HAS SOPS 848287 HAS SOUS 362171 HAS SOUPS 362002 WITH SCORE 362851.808
AT ITER 7836 NEW BEST:: SOT 1710491 SOS 849787 HAS SOPS 848266 HAS SOUS 362115 HAS SOUPS 361946 WITH SCORE 362795.787
AT ITER 7838 NEW BEST:: SOT 1710428 SOS 849724 HAS SOPS 848203 HAS SOUS 362021 HAS SOUPS 361852 WITH SCORE 362701.724
AT ITER 7844 NEW BEST:: SOT 1710246 SOS 849542 HAS SOPS 848021 HAS SOUS 361702 HAS SOUPS 361533 WITH SCORE 362382.542
AT ITER 7847 NEW BEST:: SOT 1710224 SOS 849520 HAS SOPS 847999 HAS SOUS 361680 HAS SOUPS 361511 WITH SCORE 362360.52
AT ITER 7849 NEW BEST:: SOT 1710278 SOS 849574 HAS SOPS 848053 HAS SOUS 361236 HAS SOUPS 361067 WITH SCORE 361916.574
AT ITER 7857 NEW BEST:: SOT 1710267 SOS 849563 HAS SOPS 848042 HAS SOUS 361225 HAS SOUPS 361056 WITH SCORE 361905.563
AT ITER 7863 NEW BEST:: SOT 1710283 SOS 849579 HAS SOPS 848058 HAS SOUS 361113 HAS SOUPS 360944 WITH SCORE 361793.579
AT ITER 7864 NEW BEST:: SOT 1710374 SOS 849670 HAS SOPS 848149 HAS SOUS 360694 HAS SOUPS 360525 WITH SCORE 361374.67
AT ITER 7874 NEW BEST:: SOT 1710368 SOS 849664 HAS SOPS 848143 HAS SOUS 360682 HAS SOUPS 360513 WITH SCORE 361362.664
AT ITER 7878 NEW BEST:: SOT 1710284 SOS 849580 HAS SOPS 848059 HAS SOUS 360568 HAS SOUPS 360399 WITH SCORE 361248.58
AT ITER 7883 NEW BEST:: SOT 1710267 SOS 849397 HAS SOPS 847876 HAS SOUS 360454 HAS SOUPS 360285 WITH SCORE 361134.397
AT ITER 7889 NEW BEST:: SOT 1710259 SOS 849361 HAS SOPS 847840 HAS SOUS 360382 HAS SOUPS 360213 WITH SCORE 361062.361
AT ITER 7905 NEW BEST:: SOT 1710259 SOS 849399 HAS SOPS 847878 HAS SOUS 360040 HAS SOUPS 359871 WITH SCORE 360720.399
AT ITER 7907 NEW BEST:: SOT 1709958 SOS 849098 HAS SOPS 847577 HAS SOUS 359575 HAS SOUPS 359406 WITH SCORE 360255.098
AT ITER 7912 NEW BEST:: SOT 1709957 SOS 849097 HAS SOPS 847576 HAS SOUS 359556 HAS SOUPS 359387 WITH SCORE 360236.097
AT ITER 7914 NEW BEST:: SOT 1709935 SOS 849075 HAS SOPS 847554 HAS SOUS 359534 HAS SOUPS 359365 WITH SCORE 360214.075
AT ITER 7943 NEW BEST:: SOT 1709934 SOS 849073 HAS SOPS 847552 HAS SOUS 359532 HAS SOUPS 359363 WITH SCORE 360212.073
AT ITER 7944 NEW BEST:: SOT 1709923 SOS 849062 HAS SOPS 847541 HAS SOUS 359499 HAS SOUPS 359330 WITH SCORE 360179.062
AT ITER 7959 NEW BEST:: SOT 1709917 SOS 849056 HAS SOPS 847535 HAS SOUS 359487 HAS SOUPS 359318 WITH SCORE 360167.056
AT ITER 7964 NEW BEST:: SOT 1709910 SOS 849049 HAS SOPS 847528 HAS SOUS 359458 HAS SOUPS 359289 WITH SCORE 360138.049
AT ITER 7971 NEW BEST:: SOT 1709806 SOS 848945 HAS SOPS 847424 HAS SOUS 359250 HAS SOUPS 359081 WITH SCORE 359929.945
AT ITER 7976 NEW BEST:: SOT 1709789 SOS 848928 HAS SOPS 847407 HAS SOUS 359195 HAS SOUPS 359026 WITH SCORE 359874.928
AT ITER 8030 NEW BEST:: SOT 1709750 SOS 848811 HAS SOPS 847290 HAS SOUS 359078 HAS SOUPS 358909 WITH SCORE 359757.811
AT ITER 8031 NEW BEST:: SOT 1709733 SOS 848794 HAS SOPS 847273 HAS SOUS 359044 HAS SOUPS 358875 WITH SCORE 359723.794
AT ITER 8051 NEW BEST:: SOT 1709643 SOS 848659 HAS SOPS 847138 HAS SOUS 358909 HAS SOUPS 358740 WITH SCORE 359588.659
AT ITER 8059 NEW BEST:: SOT 1709643 SOS 828679 HAS SOPS 827158 HAS SOUS 358909 HAS SOUPS 358740 WITH SCORE 359568.679
AT ITER 8063 NEW BEST:: SOT 1709844 SOS 828880 HAS SOPS 827359 HAS SOUS 358846 HAS SOUPS 358677 WITH SCORE 359505.88
AT ITER 8071 NEW BEST:: SOT 1709836 SOS 828872 HAS SOPS 827351 HAS SOUS 358838 HAS SOUPS 358669 WITH SCORE 359497.872
AT ITER 8102 NEW BEST:: SOT 1709632 SOS 828668 HAS SOPS 827147 HAS SOUS 358532 HAS SOUPS 358363 WITH SCORE 359191.668
AT ITER 8104 NEW BEST:: SOT 1709560 SOS 828596 HAS SOPS 827075 HAS SOUS 358443 HAS SOUPS 358274 WITH SCORE 359102.596
AT ITER 8108 NEW BEST:: SOT 1709545 SOS 828581 HAS SOPS 827060 HAS SOUS 358413 HAS SOUPS 358244 WITH SCORE 359072.581
AT ITER 8116 NEW BEST:: SOT 1709492 SOS 828528 HAS SOPS 827007 HAS SOUS 358202 HAS SOUPS 358033 WITH SCORE 358861.528
AT ITER 8121 NEW BEST:: SOT 1709342 SOS 828378 HAS SOPS 826857 HAS SOUS 356552 HAS SOUPS 356383 WITH SCORE 357211.378
AT ITER 8125 NEW BEST:: SOT 1709254 SOS 828189 HAS SOPS 826668 HAS SOUS 356369 HAS SOUPS 356200 WITH SCORE 357028.189
AT ITER 8135 NEW BEST:: SOT 1709231 SOS 828042 HAS SOPS 826521 HAS SOUS 356304 HAS SOUPS 356135 WITH SCORE 356963.042
AT ITER 8141 NEW BEST:: SOT 1709249 SOS 827927 HAS SOPS 826406 HAS SOUS 356280 HAS SOUPS 356111 WITH SCORE 356938.927
AT ITER 8159 NEW BEST:: SOT 1709241 SOS 827919 HAS SOPS 826398 HAS SOUS 356272 HAS SOUPS 356103 WITH SCORE 356930.919
AT ITER 8161 NEW BEST:: SOT 1709404 SOS 827872 HAS SOPS 826351 HAS SOUS 356237 HAS SOUPS 356068 WITH SCORE 356895.872
AT ITER 8166 NEW BEST:: SOT 1709185 SOS 827653 HAS SOPS 826132 HAS SOUS 355998 HAS SOUPS 355829 WITH SCORE 356656.653
AT ITER 8168 NEW BEST:: SOT 1709181 SOS 827649 HAS SOPS 826128 HAS SOUS 355994 HAS SOUPS 355825 WITH SCORE 356652.649
AT ITER 8170 NEW BEST:: SOT 1709090 SOS 827558 HAS SOPS 826037 HAS SOUS 355879 HAS SOUPS 355710 WITH SCORE 356537.558
AT ITER 8179 NEW BEST:: SOT 1708990 SOS 827458 HAS SOPS 825937 HAS SOUS 355779 HAS SOUPS 355610 WITH SCORE 356437.458
AT ITER 8183 NEW BEST:: SOT 1708946 SOS 827370 HAS SOPS 825849 HAS SOUS 355691 HAS SOUPS 355522 WITH SCORE 356349.37
AT ITER 8188 NEW BEST:: SOT 1708896 SOS 827464 HAS SOPS 825943 HAS SOUS 355593 HAS SOUPS 355424 WITH SCORE 356251.464
AT ITER 8231 NEW BEST:: SOT 1708983 SOS 827368 HAS SOPS 825847 HAS SOUS 355340 HAS SOUPS 355171 WITH SCORE 355998.368
AT ITER 8255 NEW BEST:: SOT 1708954 SOS 827339 HAS SOPS 825818 HAS SOUS 355253 HAS SOUPS 355084 WITH SCORE 355911.339
AT ITER 8257 NEW BEST:: SOT 1708846 SOS 827231 HAS SOPS 825710 HAS SOUS 355145 HAS SOUPS 354976 WITH SCORE 355803.231
AT ITER 8261 NEW BEST:: SOT 1708447 SOS 826832 HAS SOPS 825311 HAS SOUS 354432 HAS SOUPS 354263 WITH SCORE 355089.832
AT ITER 8320 NEW BEST:: SOT 1708447 SOS 826805 HAS SOPS 825284 HAS SOUS 354432 HAS SOUPS 354263 WITH SCORE 355089.805
AT ITER 8362 NEW BEST:: SOT 1708394 SOS 826752 HAS SOPS 825231 HAS SOUS 354326 HAS SOUPS 354157 WITH SCORE 354983.752
AT ITER 8386 NEW BEST:: SOT 1708299 SOS 826657 HAS SOPS 825136 HAS SOUS 354231 HAS SOUPS 354062 WITH SCORE 354888.657
AT ITER 8424 NEW BEST:: SOT 1708182 SOS 826594 HAS SOPS 825073 HAS SOUS 354105 HAS SOUPS 353936 WITH SCORE 354762.594
AT ITER 8427 NEW BEST:: SOT 1708134 SOS 826563 HAS SOPS 825042 HAS SOUS 354043 HAS SOUPS 353874 WITH SCORE 354700.563
AT ITER 8428 NEW BEST:: SOT 1707933 SOS 826362 HAS SOPS 824841 HAS SOUS 353632 HAS SOUPS 353463 WITH SCORE 354289.362
AT ITER 8442 NEW BEST:: SOT 1708549 SOS 826978 HAS SOPS 825457 HAS SOUS 353570 HAS SOUPS 353401 WITH SCORE 354227.978
AT ITER 8463 NEW BEST:: SOT 1708541 SOS 826970 HAS SOPS 825449 HAS SOUS 353558 HAS SOUPS 353389 WITH SCORE 354215.97
AT ITER 8479 NEW BEST:: SOT 1708260 SOS 826689 HAS SOPS 825168 HAS SOUS 353277 HAS SOUPS 353108 WITH SCORE 353934.689
AT ITER 8518 NEW BEST:: SOT 1708110 SOS 826539 HAS SOPS 825018 HAS SOUS 353127 HAS SOUPS 352958 WITH SCORE 353784.539
AT ITER 8526 NEW BEST:: SOT 1708101 SOS 826632 HAS SOPS 825111 HAS SOUS 353121 HAS SOUPS 352952 WITH SCORE 353778.632
AT ITER 8545 NEW BEST:: SOT 1707915 SOS 826446 HAS SOPS 824925 HAS SOUS 352904 HAS SOUPS 352735 WITH SCORE 353561.446
AT ITER 8554 NEW BEST:: SOT 1707910 SOS 826441 HAS SOPS 824920 HAS SOUS 352894 HAS SOUPS 352725 WITH SCORE 353551.441
AT ITER 8565 NEW BEST:: SOT 1707884 SOS 826402 HAS SOPS 824881 HAS SOUS 352738 HAS SOUPS 352569 WITH SCORE 353395.402
AT ITER 8587 NEW BEST:: SOT 1707840 SOS 826358 HAS SOPS 824837 HAS SOUS 352650 HAS SOUPS 352481 WITH SCORE 353307.358
AT ITER 8623 NEW BEST:: SOT 1707891 SOS 826409 HAS SOPS 824888 HAS SOUS 352615 HAS SOUPS 352446 WITH SCORE 353272.409
AT ITER 8628 NEW BEST:: SOT 1707883 SOS 826401 HAS SOPS 824880 HAS SOUS 352599 HAS SOUPS 352430 WITH SCORE 353256.401
AT ITER 8631 NEW BEST:: SOT 1707927 SOS 826445 HAS SOPS 824924 HAS SOUS 352387 HAS SOUPS 352218 WITH SCORE 353044.445
AT ITER 8632 NEW BEST:: SOT 1707912 SOS 826430 HAS SOPS 824909 HAS SOUS 352093 HAS SOUPS 351924 WITH SCORE 352750.43
AT ITER 8639 NEW BEST:: SOT 1707861 SOS 826412 HAS SOPS 824891 HAS SOUS 352075 HAS SOUPS 351906 WITH SCORE 352732.412
AT ITER 8657 NEW BEST:: SOT 1707746 SOS 826396 HAS SOPS 824875 HAS SOUS 352043 HAS SOUPS 351874 WITH SCORE 352700.396
AT ITER 8680 NEW BEST:: SOT 1707716 SOS 826366 HAS SOPS 824845 HAS SOUS 351985 HAS SOUPS 351816 WITH SCORE 352642.366
AT ITER 8690 NEW BEST:: SOT 1707933 SOS 826583 HAS SOPS 825062 HAS SOUS 351876 HAS SOUPS 351707 WITH SCORE 352533.583
AT ITER 8697 NEW BEST:: SOT 1707999 SOS 826649 HAS SOPS 825128 HAS SOUS 351848 HAS SOUPS 351679 WITH SCORE 352505.649
AT ITER 8706 NEW BEST:: SOT 1707827 SOS 826477 HAS SOPS 824956 HAS SOUS 351552 HAS SOUPS 351383 WITH SCORE 352209.477
AT ITER 8737 NEW BEST:: SOT 1707787 SOS 826437 HAS SOPS 824916 HAS SOUS 351248 HAS SOUPS 351079 WITH SCORE 351905.437
AT ITER 8752 NEW BEST:: SOT 1707688 SOS 826338 HAS SOPS 824817 HAS SOUS 351123 HAS SOUPS 350954 WITH SCORE 351780.338
AT ITER 8773 NEW BEST:: SOT 1707491 SOS 826053 HAS SOPS 824532 HAS SOUS 350951 HAS SOUPS 350782 WITH SCORE 351608.053
AT ITER 8776 NEW BEST:: SOT 1707424 SOS 825986 HAS SOPS 824465 HAS SOUS 350884 HAS SOUPS 350715 WITH SCORE 351540.986
AT ITER 8777 NEW BEST:: SOT 1707423 SOS 825964 HAS SOPS 824443 HAS SOUS 350822 HAS SOUPS 350653 WITH SCORE 351478.964
AT ITER 8781 NEW BEST:: SOT 1707171 SOS 825712 HAS SOPS 824191 HAS SOUS 350570 HAS SOUPS 350401 WITH SCORE 351226.712
AT ITER 8813 NEW BEST:: SOT 1706904 SOS 825746 HAS SOPS 824225 HAS SOUS 350292 HAS SOUPS 350123 WITH SCORE 350948.746
AT ITER 8815 NEW BEST:: SOT 1706889 SOS 825731 HAS SOPS 824210 HAS SOUS 350172 HAS SOUPS 350003 WITH SCORE 350828.731
AT ITER 8835 NEW BEST:: SOT 1706727 SOS 825569 HAS SOPS 824048 HAS SOUS 348876 HAS SOUPS 348707 WITH SCORE 349532.569
AT ITER 8853 NEW BEST:: SOT 1706651 SOS 824551 HAS SOPS 823624 HAS SOUS 348785 HAS SOUPS 348682 WITH SCORE 349506.551
AT ITER 8855 NEW BEST:: SOT 1706651 SOS 824551 HAS SOPS 823624 HAS SOUS 348749 HAS SOUPS 348646 WITH SCORE 349470.551
AT ITER 8864 NEW BEST:: SOT 1706641 SOS 824496 HAS SOPS 823569 HAS SOUS 348739 HAS SOUPS 348636 WITH SCORE 349460.496
AT ITER 8870 NEW BEST:: SOT 1707105 SOS 824960 HAS SOPS 824033 HAS SOUS 348706 HAS SOUPS 348603 WITH SCORE 349427.96
AT ITER 8880 NEW BEST:: SOT 1707092 SOS 824947 HAS SOPS 824020 HAS SOUS 348638 HAS SOUPS 348535 WITH SCORE 349359.947
AT ITER 8890 NEW BEST:: SOT 1707042 SOS 824897 HAS SOPS 823970 HAS SOUS 348588 HAS SOUPS 348485 WITH SCORE 349309.897
AT ITER 8897 NEW BEST:: SOT 1706996 SOS 824851 HAS SOPS 823924 HAS SOUS 348542 HAS SOUPS 348439 WITH SCORE 349263.851
AT ITER 8914 NEW BEST:: SOT 1706902 SOS 824638 HAS SOPS 823711 HAS SOUS 348336 HAS SOUPS 348233 WITH SCORE 349057.638
AT ITER 8919 NEW BEST:: SOT 1706836 SOS 824572 HAS SOPS 823645 HAS SOUS 348270 HAS SOUPS 348167 WITH SCORE 348991.572
AT ITER 8930 NEW BEST:: SOT 1706773 SOS 824509 HAS SOPS 823582 HAS SOUS 348207 HAS SOUPS 348104 WITH SCORE 348928.509
AT ITER 8933 NEW BEST:: SOT 1706645 SOS 824381 HAS SOPS 823454 HAS SOUS 347937 HAS SOUPS 347834 WITH SCORE 348658.381
AT ITER 8943 NEW BEST:: SOT 1706645 SOS 824381 HAS SOPS 823454 HAS SOUS 347922 HAS SOUPS 347819 WITH SCORE 348643.381
AT ITER 8950 NEW BEST:: SOT 1706536 SOS 824272 HAS SOPS 823345 HAS SOUS 347818 HAS SOUPS 347715 WITH SCORE 348539.272
AT ITER 8951 NEW BEST:: SOT 1706505 SOS 824241 HAS SOPS 823314 HAS SOUS 347773 HAS SOUPS 347670 WITH SCORE 348494.241
AT ITER 8997 NEW BEST:: SOT 1706405 SOS 824141 HAS SOPS 823214 HAS SOUS 347623 HAS SOUPS 347520 WITH SCORE 348344.141
AT ITER 9011 NEW BEST:: SOT 1706242 SOS 823988 HAS SOPS 823061 HAS SOUS 347470 HAS SOUPS 347367 WITH SCORE 348190.988
AT ITER 9028 NEW BEST:: SOT 1705883 SOS 823629 HAS SOPS 822702 HAS SOUS 346928 HAS SOUPS 346825 WITH SCORE 347648.629
AT ITER 9040 NEW BEST:: SOT 1705883 SOS 823629 HAS SOPS 822702 HAS SOUS 346910 HAS SOUPS 346807 WITH SCORE 347630.629
AT ITER 9055 NEW BEST:: SOT 1705962 SOS 823708 HAS SOPS 822781 HAS SOUS 346520 HAS SOUPS 346417 WITH SCORE 347240.708
AT ITER 9059 NEW BEST:: SOT 1705730 SOS 823476 HAS SOPS 822549 HAS SOUS 346099 HAS SOUPS 345996 WITH SCORE 346819.476
AT ITER 9068 NEW BEST:: SOT 1705555 SOS 823301 HAS SOPS 822374 HAS SOUS 346052 HAS SOUPS 345949 WITH SCORE 346772.301
AT ITER 9069 NEW BEST:: SOT 1705305 SOS 823051 HAS SOPS 822124 HAS SOUS 345456 HAS SOUPS 345353 WITH SCORE 346176.051
AT ITER 9070 NEW BEST:: SOT 1704971 SOS 822717 HAS SOPS 821790 HAS SOUS 344788 HAS SOUPS 344685 WITH SCORE 345507.717
AT ITER 9077 NEW BEST:: SOT 1704858 SOS 822604 HAS SOPS 821677 HAS SOUS 344519 HAS SOUPS 344416 WITH SCORE 345238.604
AT ITER 9088 NEW BEST:: SOT 1704857 SOS 822603 HAS SOPS 821676 HAS SOUS 344506 HAS SOUPS 344403 WITH SCORE 345225.603
AT ITER 9093 NEW BEST:: SOT 1704831 SOS 822577 HAS SOPS 821650 HAS SOUS 344480 HAS SOUPS 344377 WITH SCORE 345199.577
AT ITER 9113 NEW BEST:: SOT 1705119 SOS 822865 HAS SOPS 821938 HAS SOUS 343333 HAS SOUPS 343230 WITH SCORE 344052.865
AT ITER 9114 NEW BEST:: SOT 1705115 SOS 822861 HAS SOPS 821934 HAS SOUS 343329 HAS SOUPS 343226 WITH SCORE 344048.861
AT ITER 9126 NEW BEST:: SOT 1705119 SOS 822857 HAS SOPS 821930 HAS SOUS 343313 HAS SOUPS 343210 WITH SCORE 344032.857
AT ITER 9131 NEW BEST:: SOT 1705090 SOS 821123 HAS SOPS 820196 HAS SOUS 343255 HAS SOUPS 343152 WITH SCORE 343973.123
AT ITER 9148 NEW BEST:: SOT 1705088 SOS 821121 HAS SOPS 820194 HAS SOUS 343253 HAS SOUPS 343150 WITH SCORE 343971.121
AT ITER 9162 NEW BEST:: SOT 1705034 SOS 821067 HAS SOPS 820140 HAS SOUS 343145 HAS SOUPS 343042 WITH SCORE 343863.067
AT ITER 9171 NEW BEST:: SOT 1705021 SOS 821054 HAS SOPS 820127 HAS SOUS 343119 HAS SOUPS 343016 WITH SCORE 343837.054
AT ITER 9179 NEW BEST:: SOT 1705021 SOS 820944 HAS SOPS 820017 HAS SOUS 343119 HAS SOUPS 343016 WITH SCORE 343836.944
AT ITER 9197 NEW BEST:: SOT 1705157 SOS 820744 HAS SOPS 819817 HAS SOUS 343110 HAS SOUPS 343007 WITH SCORE 343827.744
AT ITER 9203 NEW BEST:: SOT 1704998 SOS 820307 HAS SOPS 819380 HAS SOUS 342759 HAS SOUPS 342656 WITH SCORE 343476.307
AT ITER 9217 NEW BEST:: SOT 1704873 SOS 820182 HAS SOPS 819255 HAS SOUS 342599 HAS SOUPS 342496 WITH SCORE 343316.182
AT ITER 9219 NEW BEST:: SOT 1704738 SOS 820047 HAS SOPS 819120 HAS SOUS 342402 HAS SOUPS 342299 WITH SCORE 343119.047
AT ITER 9220 NEW BEST:: SOT 1705175 SOS 820484 HAS SOPS 819557 HAS SOUS 342247 HAS SOUPS 342144 WITH SCORE 342964.484
AT ITER 9252 NEW BEST:: SOT 1705097 SOS 820406 HAS SOPS 819479 HAS SOUS 342169 HAS SOUPS 342066 WITH SCORE 342886.406
AT ITER 9262 NEW BEST:: SOT 1705081 SOS 820398 HAS SOPS 819471 HAS SOUS 342153 HAS SOUPS 342050 WITH SCORE 342870.398
AT ITER 9264 NEW BEST:: SOT 1705325 SOS 820858 HAS SOPS 819931 HAS SOUS 342001 HAS SOUPS 341898 WITH SCORE 342718.858
AT ITER 9265 NEW BEST:: SOT 1705257 SOS 820756 HAS SOPS 819829 HAS SOUS 341563 HAS SOUPS 341460 WITH SCORE 342280.756
AT ITER 9294 NEW BEST:: SOT 1705129 SOS 820628 HAS SOPS 819701 HAS SOUS 341218 HAS SOUPS 341115 WITH SCORE 341935.628
AT ITER 9310 NEW BEST:: SOT 1704776 SOS 820275 HAS SOPS 819348 HAS SOUS 340536 HAS SOUPS 340433 WITH SCORE 341253.275
AT ITER 9314 NEW BEST:: SOT 1704730 SOS 820229 HAS SOPS 819302 HAS SOUS 340456 HAS SOUPS 340353 WITH SCORE 341173.229
AT ITER 9317 NEW BEST:: SOT 1704661 SOS 820160 HAS SOPS 819233 HAS SOUS 340387 HAS SOUPS 340284 WITH SCORE 341104.16
AT ITER 9322 NEW BEST:: SOT 1704570 SOS 820188 HAS SOPS 819261 HAS SOUS 340206 HAS SOUPS 340103 WITH SCORE 340923.188
AT ITER 9328 NEW BEST:: SOT 1704456 SOS 820074 HAS SOPS 819147 HAS SOUS 339954 HAS SOUPS 339851 WITH SCORE 340671.074
AT ITER 9345 NEW BEST:: SOT 1704442 SOS 820060 HAS SOPS 819133 HAS SOUS 339898 HAS SOUPS 339795 WITH SCORE 340615.06
AT ITER 9350 NEW BEST:: SOT 1704382 SOS 820000 HAS SOPS 819073 HAS SOUS 339742 HAS SOUPS 339639 WITH SCORE 340459.0
AT ITER 9352 NEW BEST:: SOT 1704307 SOS 819925 HAS SOPS 818998 HAS SOUS 339660 HAS SOUPS 339557 WITH SCORE 340376.925
AT ITER 9353 NEW BEST:: SOT 1703710 SOS 819334 HAS SOPS 818407 HAS SOUS 338425 HAS SOUPS 338322 WITH SCORE 339141.334
AT ITER 9377 NEW BEST:: SOT 1703708 SOS 819332 HAS SOPS 818405 HAS SOUS 338255 HAS SOUPS 338152 WITH SCORE 338971.332
AT ITER 9397 NEW BEST:: SOT 1703698 SOS 819312 HAS SOPS 818385 HAS SOUS 338235 HAS SOUPS 338132 WITH SCORE 338951.312
AT ITER 9415 NEW BEST:: SOT 1703622 SOS 819236 HAS SOPS 818309 HAS SOUS 338083 HAS SOUPS 337980 WITH SCORE 338799.236
AT ITER 9436 NEW BEST:: SOT 1703366 SOS 818980 HAS SOPS 818053 HAS SOUS 338025 HAS SOUPS 337922 WITH SCORE 338740.98
AT ITER 9476 NEW BEST:: SOT 1703136 SOS 818750 HAS SOPS 817823 HAS SOUS 337932 HAS SOUPS 337829 WITH SCORE 338647.75
AT ITER 9501 NEW BEST:: SOT 1702947 SOS 818561 HAS SOPS 817634 HAS SOUS 337546 HAS SOUPS 337443 WITH SCORE 338261.561
AT ITER 9518 NEW BEST:: SOT 1702936 SOS 818550 HAS SOPS 817623 HAS SOUS 337535 HAS SOUPS 337432 WITH SCORE 338250.55
AT ITER 9531 NEW BEST:: SOT 1702936 SOS 818550 HAS SOPS 817623 HAS SOUS 337439 HAS SOUPS 337336 WITH SCORE 338154.55
AT ITER 9557 NEW BEST:: SOT 1703021 SOS 818635 HAS SOPS 817708 HAS SOUS 337290 HAS SOUPS 337187 WITH SCORE 338005.635
AT ITER 9615 NEW BEST:: SOT 1702532 SOS 818146 HAS SOPS 817219 HAS SOUS 336801 HAS SOUPS 336698 WITH SCORE 337516.146
AT ITER 9643 NEW BEST:: SOT 1702520 SOS 818134 HAS SOPS 817207 HAS SOUS 336789 HAS SOUPS 336686 WITH SCORE 337504.134
AT ITER 9665 NEW BEST:: SOT 1702520 SOS 818132 HAS SOPS 817205 HAS SOUS 336789 HAS SOUPS 336686 WITH SCORE 337504.132
AT ITER 9669 NEW BEST:: SOT 1702430 SOS 818113 HAS SOPS 817186 HAS SOUS 336751 HAS SOUPS 336648 WITH SCORE 337466.113
AT ITER 9682 NEW BEST:: SOT 1702374 SOS 818048 HAS SOPS 817121 HAS SOUS 336619 HAS SOUPS 336516 WITH SCORE 337334.048
AT ITER 9693 NEW BEST:: SOT 1702348 SOS 818022 HAS SOPS 817095 HAS SOUS 336567 HAS SOUPS 336464 WITH SCORE 337282.022
AT ITER 9700 NEW BEST:: SOT 1702157 SOS 817863 HAS SOPS 816936 HAS SOUS 336335 HAS SOUPS 336232 WITH SCORE 337049.863
AT ITER 9702 NEW BEST:: SOT 1701959 SOS 817665 HAS SOPS 816738 HAS SOUS 336315 HAS SOUPS 336212 WITH SCORE 337029.665
AT ITER 9707 NEW BEST:: SOT 1701614 SOS 817320 HAS SOPS 816393 HAS SOUS 335618 HAS SOUPS 335515 WITH SCORE 336332.32
AT ITER 9716 NEW BEST:: SOT 1701546 SOS 817252 HAS SOPS 816325 HAS SOUS 335560 HAS SOUPS 335457 WITH SCORE 336274.252
AT ITER 9742 NEW BEST:: SOT 1701546 SOS 817218 HAS SOPS 816291 HAS SOUS 335560 HAS SOUPS 335457 WITH SCORE 336274.218
AT ITER 9744 NEW BEST:: SOT 1701492 SOS 817164 HAS SOPS 816237 HAS SOUS 335452 HAS SOUPS 335349 WITH SCORE 336166.164
AT ITER 9750 NEW BEST:: SOT 1701486 SOS 819030 HAS SOPS 818103 HAS SOUS 335413 HAS SOUPS 335310 WITH SCORE 336129.03
AT ITER 9753 NEW BEST:: SOT 1701511 SOS 818997 HAS SOPS 818070 HAS SOUS 335347 HAS SOUPS 335244 WITH SCORE 336062.997
AT ITER 9777 NEW BEST:: SOT 1701383 SOS 818869 HAS SOPS 817942 HAS SOUS 335134 HAS SOUPS 335031 WITH SCORE 335849.869
AT ITER 9808 NEW BEST:: SOT 1701191 SOS 818677 HAS SOPS 817750 HAS SOUS 334798 HAS SOUPS 334695 WITH SCORE 335513.677
AT ITER 9826 NEW BEST:: SOT 1701050 SOS 818536 HAS SOPS 817609 HAS SOUS 334493 HAS SOUPS 334390 WITH SCORE 335208.536
AT ITER 9841 NEW BEST:: SOT 1701040 SOS 818526 HAS SOPS 817599 HAS SOUS 334404 HAS SOUPS 334301 WITH SCORE 335119.526
AT ITER 9842 NEW BEST:: SOT 1701373 SOS 818859 HAS SOPS 817932 HAS SOUS 334261 HAS SOUPS 334158 WITH SCORE 334976.859
AT ITER 9861 NEW BEST:: SOT 1701365 SOS 818851 HAS SOPS 817924 HAS SOUS 333968 HAS SOUPS 333865 WITH SCORE 334683.851
AT ITER 9862 NEW BEST:: SOT 1701365 SOS 818820 HAS SOPS 817893 HAS SOUS 333778 HAS SOUPS 333675 WITH SCORE 334493.82
AT ITER 9884 NEW BEST:: SOT 1701336 SOS 818791 HAS SOPS 817864 HAS SOUS 333749 HAS SOUPS 333646 WITH SCORE 334464.791
AT ITER 9886 NEW BEST:: SOT 1701236 SOS 818691 HAS SOPS 817764 HAS SOUS 333629 HAS SOUPS 333526 WITH SCORE 334344.691
AT ITER 9908 NEW BEST:: SOT 1701236 SOS 818688 HAS SOPS 817761 HAS SOUS 333626 HAS SOUPS 333523 WITH SCORE 334341.688
AT ITER 9919 NEW BEST:: SOT 1701148 SOS 818600 HAS SOPS 817673 HAS SOUS 333432 HAS SOUPS 333329 WITH SCORE 334147.6
AT ITER 9934 NEW BEST:: SOT 1701145 SOS 818597 HAS SOPS 817670 HAS SOUS 333405 HAS SOUPS 333302 WITH SCORE 334120.597
AT ITER 9946 NEW BEST:: SOT 1701075 SOS 818527 HAS SOPS 817600 HAS SOUS 333398 HAS SOUPS 333295 WITH SCORE 334113.527
AT ITER 9973 NEW BEST:: SOT 1700815 SOS 818267 HAS SOPS 817340 HAS SOUS 333020 HAS SOUPS 332917 WITH SCORE 333735.267
AT ITER 9975 NEW BEST:: SOT 1700699 SOS 818151 HAS SOPS 817224 HAS SOUS 332835 HAS SOUPS 332732 WITH SCORE 333550.151
AT ITER 9983 NEW BEST:: SOT 1700590 SOS 818042 HAS SOPS 817115 HAS SOUS 332775 HAS SOUPS 332672 WITH SCORE 333490.042
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2908168 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133816 kB

BK_TIME_CONFINEMENT_REACHED

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

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-S10J60"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is PolyORBNT-COL-S10J60, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J60.tgz
mv PolyORBNT-COL-S10J60 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 ;