About the Execution of smart for FlexibleBarrier-PT-16b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.000 | 3600000.00 | 3599990.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500364.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-16b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500364
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.5K Apr 4 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 19:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 07:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 07:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 3 21:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 3 21:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 3 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 3 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 945K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-16b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589435575635
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 16b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 3472 places, 4001 transitions, 10043 arcs.
AT ITER 0 NEW BEST:: SOT 8968861 SOS 4718943 HAS SOPS 4718943 HAS SOUS 3333798 HAS SOUPS 3333798 WITH SCORE 3338516.943
AT ITER 2 NEW BEST:: SOT 8968861 SOS 4717599 HAS SOPS 4717599 HAS SOUS 3333268 HAS SOUPS 3333268 WITH SCORE 3337985.599
AT ITER 3 NEW BEST:: SOT 8968861 SOS 4717599 HAS SOPS 4717599 HAS SOUS 3332899 HAS SOUPS 3332899 WITH SCORE 3337616.599
AT ITER 7 NEW BEST:: SOT 8968586 SOS 4717049 HAS SOPS 4717049 HAS SOUS 3332894 HAS SOUPS 3332894 WITH SCORE 3337611.049
AT ITER 9 NEW BEST:: SOT 8968486 SOS 4717129 HAS SOPS 4717129 HAS SOUS 3332794 HAS SOUPS 3332794 WITH SCORE 3337511.129
AT ITER 10 NEW BEST:: SOT 8968224 SOS 4713243 HAS SOPS 4713243 HAS SOUS 3332089 HAS SOUPS 3332089 WITH SCORE 3336802.243
AT ITER 14 NEW BEST:: SOT 8968224 SOS 4712931 HAS SOPS 4712931 HAS SOUS 3332088 HAS SOUPS 3332088 WITH SCORE 3336800.931
AT ITER 20 NEW BEST:: SOT 8942028 SOS 4703241 HAS SOPS 4703241 HAS SOUS 3308479 HAS SOUPS 3308479 WITH SCORE 3313182.241
AT ITER 23 NEW BEST:: SOT 8942028 SOS 4702883 HAS SOPS 4702883 HAS SOUS 3308121 HAS SOUPS 3308121 WITH SCORE 3312823.883
AT ITER 31 NEW BEST:: SOT 8941046 SOS 4702073 HAS SOPS 4702073 HAS SOUS 3307298 HAS SOUPS 3307298 WITH SCORE 3312000.073
AT ITER 37 NEW BEST:: SOT 8940829 SOS 4701639 HAS SOPS 4701639 HAS SOUS 3307080 HAS SOUPS 3307080 WITH SCORE 3311781.639
AT ITER 49 NEW BEST:: SOT 8939499 SOS 4700496 HAS SOPS 4700496 HAS SOUS 3305915 HAS SOUPS 3305915 WITH SCORE 3310615.496
AT ITER 50 NEW BEST:: SOT 8939499 SOS 4699849 HAS SOPS 4699849 HAS SOUS 3305886 HAS SOUPS 3305886 WITH SCORE 3310585.849
AT ITER 54 NEW BEST:: SOT 8938749 SOS 4699221 HAS SOPS 4699221 HAS SOUS 3305614 HAS SOUPS 3305614 WITH SCORE 3310313.221
AT ITER 60 NEW BEST:: SOT 8938749 SOS 4699221 HAS SOPS 4699221 HAS SOUS 3305609 HAS SOUPS 3305609 WITH SCORE 3310308.221
AT ITER 62 NEW BEST:: SOT 8938749 SOS 4699221 HAS SOPS 4699221 HAS SOUS 3305343 HAS SOUPS 3305343 WITH SCORE 3310042.221
AT ITER 66 NEW BEST:: SOT 8938749 SOS 4699221 HAS SOPS 4699221 HAS SOUS 3305342 HAS SOUPS 3305342 WITH SCORE 3310041.221
AT ITER 70 NEW BEST:: SOT 8938440 SOS 4698603 HAS SOPS 4698603 HAS SOUS 3305340 HAS SOUPS 3305340 WITH SCORE 3310038.603
AT ITER 71 NEW BEST:: SOT 8937024 SOS 4698587 HAS SOPS 4698587 HAS SOUS 3305340 HAS SOUPS 3305340 WITH SCORE 3310038.587
AT ITER 76 NEW BEST:: SOT 8936836 SOS 4697835 HAS SOPS 4697835 HAS SOUS 3304964 HAS SOUPS 3304964 WITH SCORE 3309661.835
AT ITER 78 NEW BEST:: SOT 8935741 SOS 4695645 HAS SOPS 4695645 HAS SOUS 3304240 HAS SOUPS 3304240 WITH SCORE 3308935.645
AT ITER 82 NEW BEST:: SOT 8936746 SOS 4696132 HAS SOPS 4696132 HAS SOUS 3304231 HAS SOUPS 3304231 WITH SCORE 3308927.132
AT ITER 83 NEW BEST:: SOT 8936746 SOS 4695797 HAS SOPS 4695797 HAS SOUS 3304231 HAS SOUPS 3304231 WITH SCORE 3308926.797
AT ITER 87 NEW BEST:: SOT 8935292 SOS 4694356 HAS SOPS 4694356 HAS SOUS 3302782 HAS SOUPS 3302782 WITH SCORE 3307476.356
AT ITER 88 NEW BEST:: SOT 8935292 SOS 4694085 HAS SOPS 4694085 HAS SOUS 3302511 HAS SOUPS 3302511 WITH SCORE 3307205.085
AT ITER 95 NEW BEST:: SOT 8935276 SOS 4694053 HAS SOPS 4694053 HAS SOUS 3302479 HAS SOUPS 3302479 WITH SCORE 3307173.053
AT ITER 96 NEW BEST:: SOT 8934562 SOS 4690837 HAS SOPS 4690837 HAS SOUS 3301487 HAS SOUPS 3301487 WITH SCORE 3306177.837
AT ITER 104 NEW BEST:: SOT 8934562 SOS 4689010 HAS SOPS 4689010 HAS SOUS 3301487 HAS SOUPS 3301487 WITH SCORE 3306176.01
AT ITER 114 NEW BEST:: SOT 8934562 SOS 4688322 HAS SOPS 4688322 HAS SOUS 3301487 HAS SOUPS 3301487 WITH SCORE 3306175.322
AT ITER 117 NEW BEST:: SOT 8933938 SOS 4685236 HAS SOPS 4685236 HAS SOUS 3300980 HAS SOUPS 3300980 WITH SCORE 3305665.236
AT ITER 121 NEW BEST:: SOT 8933876 SOS 4681282 HAS SOPS 4681282 HAS SOUS 3298179 HAS SOUPS 3298179 WITH SCORE 3302860.282
AT ITER 126 NEW BEST:: SOT 8933832 SOS 4681238 HAS SOPS 4681238 HAS SOUS 3298179 HAS SOUPS 3298179 WITH SCORE 3302860.238
AT ITER 127 NEW BEST:: SOT 8933945 SOS 4679750 HAS SOPS 4679750 HAS SOUS 3297438 HAS SOUPS 3297438 WITH SCORE 3302117.75
AT ITER 128 NEW BEST:: SOT 8933543 SOS 4678142 HAS SOPS 4678142 HAS SOUS 3296634 HAS SOUPS 3296634 WITH SCORE 3301312.142
AT ITER 131 NEW BEST:: SOT 8933460 SOS 4677976 HAS SOPS 4677976 HAS SOUS 3296550 HAS SOUPS 3296550 WITH SCORE 3301227.976
AT ITER 132 NEW BEST:: SOT 8933388 SOS 4674040 HAS SOPS 4674040 HAS SOUS 3294137 HAS SOUPS 3294137 WITH SCORE 3298811.04
AT ITER 138 NEW BEST:: SOT 8932623 SOS 4670634 HAS SOPS 4670634 HAS SOUS 3292692 HAS SOUPS 3292692 WITH SCORE 3297362.634
AT ITER 140 NEW BEST:: SOT 8932070 SOS 4670081 HAS SOPS 4670081 HAS SOUS 3292118 HAS SOUPS 3292118 WITH SCORE 3296788.081
AT ITER 143 NEW BEST:: SOT 8928312 SOS 4666597 HAS SOPS 4666597 HAS SOUS 3288634 HAS SOUPS 3288634 WITH SCORE 3293300.597
AT ITER 145 NEW BEST:: SOT 8928312 SOS 4666151 HAS SOPS 4666151 HAS SOUS 3288460 HAS SOUPS 3288460 WITH SCORE 3293126.151
AT ITER 146 NEW BEST:: SOT 8928250 SOS 4666027 HAS SOPS 4666027 HAS SOUS 3288393 HAS SOUPS 3288393 WITH SCORE 3293059.027
AT ITER 148 NEW BEST:: SOT 8927647 SOS 4665563 HAS SOPS 4665563 HAS SOUS 3287756 HAS SOUPS 3287756 WITH SCORE 3292421.563
AT ITER 151 NEW BEST:: SOT 8927647 SOS 4664145 HAS SOPS 4664145 HAS SOUS 3287311 HAS SOUPS 3287311 WITH SCORE 3291975.145
AT ITER 153 NEW BEST:: SOT 8926644 SOS 4663402 HAS SOPS 4663402 HAS SOUS 3286396 HAS SOUPS 3286396 WITH SCORE 3291059.402
AT ITER 154 NEW BEST:: SOT 8926095 SOS 4661206 HAS SOPS 4661206 HAS SOUS 3285298 HAS SOUPS 3285298 WITH SCORE 3289959.206
AT ITER 155 NEW BEST:: SOT 8926008 SOS 4661119 HAS SOPS 4661119 HAS SOUS 3285298 HAS SOUPS 3285298 WITH SCORE 3289959.119
AT ITER 156 NEW BEST:: SOT 8925915 SOS 4657925 HAS SOPS 4657925 HAS SOUS 3284959 HAS SOUPS 3284959 WITH SCORE 3289616.925
AT ITER 157 NEW BEST:: SOT 8925281 SOS 4657516 HAS SOPS 4657516 HAS SOUS 3284536 HAS SOUPS 3284536 WITH SCORE 3289193.516
AT ITER 162 NEW BEST:: SOT 8924626 SOS 4654896 HAS SOPS 4654896 HAS SOUS 3283880 HAS SOUPS 3283880 WITH SCORE 3288534.896
AT ITER 173 NEW BEST:: SOT 8923517 SOS 4652678 HAS SOPS 4652678 HAS SOUS 3283241 HAS SOUPS 3283241 WITH SCORE 3287893.678
AT ITER 174 NEW BEST:: SOT 8923357 SOS 4652358 HAS SOPS 4652358 HAS SOUS 3283081 HAS SOUPS 3283081 WITH SCORE 3287733.358
AT ITER 186 NEW BEST:: SOT 8923357 SOS 4652358 HAS SOPS 4652358 HAS SOUS 3283079 HAS SOUPS 3283079 WITH SCORE 3287731.358
AT ITER 191 NEW BEST:: SOT 8922565 SOS 4649190 HAS SOPS 4649190 HAS SOUS 3282287 HAS SOUPS 3282287 WITH SCORE 3286936.19
AT ITER 197 NEW BEST:: SOT 8922565 SOS 4648368 HAS SOPS 4648368 HAS SOUS 3281972 HAS SOUPS 3281972 WITH SCORE 3286620.368
AT ITER 200 NEW BEST:: SOT 8920988 SOS 4645214 HAS SOPS 4645214 HAS SOUS 3280423 HAS SOUPS 3280423 WITH SCORE 3285068.214
AT ITER 201 NEW BEST:: SOT 8919829 SOS 4642896 HAS SOPS 4642896 HAS SOUS 3278205 HAS SOUPS 3278205 WITH SCORE 3282847.896
AT ITER 202 NEW BEST:: SOT 8919829 SOS 4642896 HAS SOPS 4642896 HAS SOUS 3277776 HAS SOUPS 3277776 WITH SCORE 3282418.896
AT ITER 208 NEW BEST:: SOT 8919688 SOS 4642473 HAS SOPS 4642473 HAS SOUS 3277634 HAS SOUPS 3277634 WITH SCORE 3282276.473
AT ITER 212 NEW BEST:: SOT 8919688 SOS 4642473 HAS SOPS 4642473 HAS SOUS 3276497 HAS SOUPS 3276497 WITH SCORE 3281139.473
AT ITER 215 NEW BEST:: SOT 8919688 SOS 4624582 HAS SOPS 4624582 HAS SOUS 3275181 HAS SOUPS 3275181 WITH SCORE 3279805.582
AT ITER 223 NEW BEST:: SOT 8920060 SOS 4621576 HAS SOPS 4621576 HAS SOUS 3273890 HAS SOUPS 3273890 WITH SCORE 3278511.576
AT ITER 224 NEW BEST:: SOT 8919679 SOS 4620814 HAS SOPS 4620814 HAS SOUS 3273128 HAS SOUPS 3273128 WITH SCORE 3277748.814
AT ITER 227 NEW BEST:: SOT 8919746 SOS 4619269 HAS SOPS 4619269 HAS SOUS 3271905 HAS SOUPS 3271905 WITH SCORE 3276524.269
AT ITER 230 NEW BEST:: SOT 8919059 SOS 4616521 HAS SOPS 4616521 HAS SOUS 3270836 HAS SOUPS 3270836 WITH SCORE 3275452.521
AT ITER 231 NEW BEST:: SOT 8919064 SOS 4601994 HAS SOPS 4601994 HAS SOUS 3270841 HAS SOUPS 3270841 WITH SCORE 3275442.994
AT ITER 240 NEW BEST:: SOT 8919064 SOS 4601580 HAS SOPS 4601580 HAS SOUS 3270837 HAS SOUPS 3270837 WITH SCORE 3275438.58
AT ITER 244 NEW BEST:: SOT 8918345 SOS 4598704 HAS SOPS 4598704 HAS SOUS 3270118 HAS SOUPS 3270118 WITH SCORE 3274716.704
AT ITER 248 NEW BEST:: SOT 8917892 SOS 4597798 HAS SOPS 4597798 HAS SOUS 3269212 HAS SOUPS 3269212 WITH SCORE 3273809.798
AT ITER 253 NEW BEST:: SOT 8917892 SOS 4597790 HAS SOPS 4597790 HAS SOUS 3269212 HAS SOUPS 3269212 WITH SCORE 3273809.79
AT ITER 262 NEW BEST:: SOT 8918485 SOS 4597393 HAS SOPS 4597393 HAS SOUS 3268829 HAS SOUPS 3268829 WITH SCORE 3273426.393
AT ITER 265 NEW BEST:: SOT 8905874 SOS 4597591 HAS SOPS 4597591 HAS SOUS 3257035 HAS SOUPS 3257035 WITH SCORE 3261632.591
AT ITER 268 NEW BEST:: SOT 8905874 SOS 4597591 HAS SOPS 4597591 HAS SOUS 3256858 HAS SOUPS 3256858 WITH SCORE 3261455.591
AT ITER 272 NEW BEST:: SOT 8905874 SOS 4597591 HAS SOPS 4597591 HAS SOUS 3256857 HAS SOUPS 3256857 WITH SCORE 3261454.591
AT ITER 275 NEW BEST:: SOT 8905042 SOS 4594051 HAS SOPS 4594051 HAS SOUS 3255438 HAS SOUPS 3255438 WITH SCORE 3260032.051
AT ITER 277 NEW BEST:: SOT 8904884 SOS 4593577 HAS SOPS 4593577 HAS SOUS 3255122 HAS SOUPS 3255122 WITH SCORE 3259715.577
AT ITER 279 NEW BEST:: SOT 8904884 SOS 4593577 HAS SOPS 4593577 HAS SOUS 3255091 HAS SOUPS 3255091 WITH SCORE 3259684.577
AT ITER 288 NEW BEST:: SOT 8904891 SOS 4582832 HAS SOPS 4582832 HAS SOUS 3255098 HAS SOUPS 3255098 WITH SCORE 3259680.832
AT ITER 289 NEW BEST:: SOT 8904585 SOS 4582220 HAS SOPS 4582220 HAS SOUS 3254792 HAS SOUPS 3254792 WITH SCORE 3259374.22
AT ITER 293 NEW BEST:: SOT 8904585 SOS 4582220 HAS SOPS 4582220 HAS SOUS 3254705 HAS SOUPS 3254705 WITH SCORE 3259287.22
AT ITER 295 NEW BEST:: SOT 8904581 SOS 4581104 HAS SOPS 4581104 HAS SOUS 3254147 HAS SOUPS 3254147 WITH SCORE 3258728.104
AT ITER 304 NEW BEST:: SOT 8905107 SOS 4578138 HAS SOPS 4578138 HAS SOUS 3252649 HAS SOUPS 3252649 WITH SCORE 3257227.138
AT ITER 306 NEW BEST:: SOT 8905107 SOS 4577569 HAS SOPS 4577569 HAS SOUS 3251785 HAS SOUPS 3251785 WITH SCORE 3256362.569
AT ITER 310 NEW BEST:: SOT 8904362 SOS 4576079 HAS SOPS 4576079 HAS SOUS 3250295 HAS SOUPS 3250295 WITH SCORE 3254871.079
AT ITER 314 NEW BEST:: SOT 8904499 SOS 4574277 HAS SOPS 4574277 HAS SOUS 3249799 HAS SOUPS 3249799 WITH SCORE 3254373.277
AT ITER 315 NEW BEST:: SOT 8904776 SOS 4572823 HAS SOPS 4572823 HAS SOUS 3248904 HAS SOUPS 3248904 WITH SCORE 3253476.823
AT ITER 318 NEW BEST:: SOT 8904567 SOS 4572786 HAS SOPS 4572786 HAS SOUS 3248745 HAS SOUPS 3248745 WITH SCORE 3253317.786
AT ITER 326 NEW BEST:: SOT 8904646 SOS 4571242 HAS SOPS 4571242 HAS SOUS 3247752 HAS SOUPS 3247752 WITH SCORE 3252323.242
AT ITER 328 NEW BEST:: SOT 8903966 SOS 4570667 HAS SOPS 4570667 HAS SOUS 3247166 HAS SOUPS 3247166 WITH SCORE 3251736.667
AT ITER 334 NEW BEST:: SOT 8903756 SOS 4570562 HAS SOPS 4570562 HAS SOUS 3247156 HAS SOUPS 3247156 WITH SCORE 3251726.562
AT ITER 335 NEW BEST:: SOT 8904024 SOS 4570095 HAS SOPS 4570095 HAS SOUS 3247045 HAS SOUPS 3247045 WITH SCORE 3251615.095
AT ITER 337 NEW BEST:: SOT 8903830 SOS 4569706 HAS SOPS 4569706 HAS SOUS 3247043 HAS SOUPS 3247043 WITH SCORE 3251612.706
AT ITER 338 NEW BEST:: SOT 8903830 SOS 4569706 HAS SOPS 4569706 HAS SOUS 3246697 HAS SOUPS 3246697 WITH SCORE 3251266.706
AT ITER 341 NEW BEST:: SOT 8903427 SOS 4569694 HAS SOPS 4569694 HAS SOUS 3246302 HAS SOUPS 3246302 WITH SCORE 3250871.694
AT ITER 342 NEW BEST:: SOT 8903427 SOS 4569694 HAS SOPS 4569694 HAS SOUS 3246301 HAS SOUPS 3246301 WITH SCORE 3250870.694
AT ITER 348 NEW BEST:: SOT 8902387 SOS 4567614 HAS SOPS 4567614 HAS SOUS 3244220 HAS SOUPS 3244220 WITH SCORE 3248787.614
AT ITER 353 NEW BEST:: SOT 8902387 SOS 4566938 HAS SOPS 4566938 HAS SOUS 3244220 HAS SOUPS 3244220 WITH SCORE 3248786.938
AT ITER 354 NEW BEST:: SOT 8902154 SOS 4566472 HAS SOPS 4566472 HAS SOUS 3243987 HAS SOUPS 3243987 WITH SCORE 3248553.472
AT ITER 355 NEW BEST:: SOT 8901942 SOS 4566459 HAS SOPS 4566459 HAS SOUS 3243802 HAS SOUPS 3243802 WITH SCORE 3248368.459
AT ITER 358 NEW BEST:: SOT 8901942 SOS 4565028 HAS SOPS 4565028 HAS SOUS 3243042 HAS SOUPS 3243042 WITH SCORE 3247607.028
AT ITER 359 NEW BEST:: SOT 8901526 SOS 4564196 HAS SOPS 4564196 HAS SOUS 3242626 HAS SOUPS 3242626 WITH SCORE 3247190.196
AT ITER 362 NEW BEST:: SOT 8899355 SOS 4564566 HAS SOPS 4564566 HAS SOUS 3240550 HAS SOUPS 3240550 WITH SCORE 3245114.566
AT ITER 366 NEW BEST:: SOT 8897988 SOS 4563717 HAS SOPS 4563717 HAS SOUS 3239513 HAS SOUPS 3239513 WITH SCORE 3244076.717
AT ITER 373 NEW BEST:: SOT 8897628 SOS 4562997 HAS SOPS 4562997 HAS SOUS 3238793 HAS SOUPS 3238793 WITH SCORE 3243355.997
AT ITER 375 NEW BEST:: SOT 8896799 SOS 4561339 HAS SOPS 4561339 HAS SOUS 3237135 HAS SOUPS 3237135 WITH SCORE 3241696.339
AT ITER 377 NEW BEST:: SOT 8896783 SOS 4561307 HAS SOPS 4561307 HAS SOUS 3237119 HAS SOUPS 3237119 WITH SCORE 3241680.307
AT ITER 379 NEW BEST:: SOT 8896783 SOS 4561100 HAS SOPS 4561100 HAS SOUS 3237119 HAS SOUPS 3237119 WITH SCORE 3241680.1
AT ITER 381 NEW BEST:: SOT 8896742 SOS 4561059 HAS SOPS 4561059 HAS SOUS 3237078 HAS SOUPS 3237078 WITH SCORE 3241639.059
AT ITER 389 NEW BEST:: SOT 8896742 SOS 4561059 HAS SOPS 4561059 HAS SOUS 3237073 HAS SOUPS 3237073 WITH SCORE 3241634.059
AT ITER 390 NEW BEST:: SOT 8884350 SOS 4558967 HAS SOPS 4558967 HAS SOUS 3225634 HAS SOUPS 3225634 WITH SCORE 3230192.967
AT ITER 392 NEW BEST:: SOT 8884424 SOS 4539004 HAS SOPS 4539004 HAS SOUS 3225301 HAS SOUPS 3225301 WITH SCORE 3229840.004
AT ITER 395 NEW BEST:: SOT 8883697 SOS 4536590 HAS SOPS 4536590 HAS SOUS 3224573 HAS SOUPS 3224573 WITH SCORE 3229109.59
AT ITER 396 NEW BEST:: SOT 8883364 SOS 4535258 HAS SOPS 4535258 HAS SOUS 3223907 HAS SOUPS 3223907 WITH SCORE 3228442.258
AT ITER 398 NEW BEST:: SOT 8883364 SOS 4535099 HAS SOPS 4535099 HAS SOUS 3223907 HAS SOUPS 3223907 WITH SCORE 3228442.099
AT ITER 404 NEW BEST:: SOT 8883364 SOS 4533281 HAS SOPS 4533281 HAS SOUS 3222177 HAS SOUPS 3222177 WITH SCORE 3226710.281
AT ITER 405 NEW BEST:: SOT 8881719 SOS 4529991 HAS SOPS 4529991 HAS SOUS 3220822 HAS SOUPS 3220822 WITH SCORE 3225351.991
AT ITER 406 NEW BEST:: SOT 8846462 SOS 4497018 HAS SOPS 4497018 HAS SOUS 3186776 HAS SOUPS 3186776 WITH SCORE 3191273.018
AT ITER 411 NEW BEST:: SOT 8846462 SOS 4474052 HAS SOPS 4474052 HAS SOUS 3186236 HAS SOUPS 3186236 WITH SCORE 3190710.052
AT ITER 413 NEW BEST:: SOT 8845646 SOS 4470742 HAS SOPS 4470742 HAS SOUS 3185428 HAS SOUPS 3185428 WITH SCORE 3189898.742
AT ITER 414 NEW BEST:: SOT 8845397 SOS 4469746 HAS SOPS 4469746 HAS SOUS 3184930 HAS SOUPS 3184930 WITH SCORE 3189399.746
AT ITER 417 NEW BEST:: SOT 8844701 SOS 4469049 HAS SOPS 4469049 HAS SOUS 3184929 HAS SOUPS 3184929 WITH SCORE 3189398.049
AT ITER 418 NEW BEST:: SOT 8845299 SOS 4466293 HAS SOPS 4466293 HAS SOUS 3182921 HAS SOUPS 3182921 WITH SCORE 3187387.293
AT ITER 427 NEW BEST:: SOT 8845299 SOS 4466293 HAS SOPS 4466293 HAS SOUS 3182502 HAS SOUPS 3182502 WITH SCORE 3186968.293
AT ITER 429 NEW BEST:: SOT 8845299 SOS 4466058 HAS SOPS 4466058 HAS SOUS 3182501 HAS SOUPS 3182501 WITH SCORE 3186967.058
AT ITER 435 NEW BEST:: SOT 8844883 SOS 4464394 HAS SOPS 4464394 HAS SOUS 3181423 HAS SOUPS 3181423 WITH SCORE 3185887.394
AT ITER 439 NEW BEST:: SOT 8844719 SOS 4463738 HAS SOPS 4463738 HAS SOUS 3181095 HAS SOUPS 3181095 WITH SCORE 3185558.738
AT ITER 444 NEW BEST:: SOT 8843371 SOS 4461279 HAS SOPS 4461279 HAS SOUS 3179450 HAS SOUPS 3179450 WITH SCORE 3183911.279
AT ITER 447 NEW BEST:: SOT 8842905 SOS 4459415 HAS SOPS 4459415 HAS SOUS 3178518 HAS SOUPS 3178518 WITH SCORE 3182977.415
AT ITER 449 NEW BEST:: SOT 8842905 SOS 4459415 HAS SOPS 4459415 HAS SOUS 3178363 HAS SOUPS 3178363 WITH SCORE 3182822.415
AT ITER 450 NEW BEST:: SOT 8843274 SOS 4459142 HAS SOPS 4459142 HAS SOUS 3177871 HAS SOUPS 3177871 WITH SCORE 3182330.142
AT ITER 457 NEW BEST:: SOT 8843274 SOS 4459142 HAS SOPS 4459142 HAS SOUS 3177869 HAS SOUPS 3177869 WITH SCORE 3182328.142
AT ITER 471 NEW BEST:: SOT 8841859 SOS 4456312 HAS SOPS 4456312 HAS SOUS 3175038 HAS SOUPS 3175038 WITH SCORE 3179494.312
AT ITER 475 NEW BEST:: SOT 8841479 SOS 4455552 HAS SOPS 4455552 HAS SOUS 3175037 HAS SOUPS 3175037 WITH SCORE 3179492.552
AT ITER 476 NEW BEST:: SOT 8841380 SOS 4452242 HAS SOPS 4452242 HAS SOUS 3174888 HAS SOUPS 3174888 WITH SCORE 3179340.242
AT ITER 478 NEW BEST:: SOT 8840661 SOS 4449194 HAS SOPS 4449194 HAS SOUS 3173871 HAS SOUPS 3173871 WITH SCORE 3178320.194
AT ITER 483 NEW BEST:: SOT 8840661 SOS 4449032 HAS SOPS 4449032 HAS SOUS 3173709 HAS SOUPS 3173709 WITH SCORE 3178158.032
AT ITER 484 NEW BEST:: SOT 8839883 SOS 4446279 HAS SOPS 4446279 HAS SOUS 3172930 HAS SOUPS 3172930 WITH SCORE 3177376.279
AT ITER 485 NEW BEST:: SOT 8839883 SOS 4446278 HAS SOPS 4446278 HAS SOUS 3172929 HAS SOUPS 3172929 WITH SCORE 3177375.278
AT ITER 490 NEW BEST:: SOT 8839066 SOS 4444644 HAS SOPS 4444644 HAS SOUS 3171295 HAS SOUPS 3171295 WITH SCORE 3175739.644
AT ITER 491 NEW BEST:: SOT 8838518 SOS 4442731 HAS SOPS 4442731 HAS SOUS 3169696 HAS SOUPS 3169696 WITH SCORE 3174138.731
AT ITER 514 NEW BEST:: SOT 8839041 SOS 4441384 HAS SOPS 4441384 HAS SOUS 3169283 HAS SOUPS 3169283 WITH SCORE 3173724.384
AT ITER 517 NEW BEST:: SOT 8837952 SOS 4440295 HAS SOPS 4440295 HAS SOUS 3167324 HAS SOUPS 3167324 WITH SCORE 3171764.295
AT ITER 520 NEW BEST:: SOT 8837758 SOS 4439907 HAS SOPS 4439907 HAS SOUS 3166936 HAS SOUPS 3166936 WITH SCORE 3171375.907
AT ITER 521 NEW BEST:: SOT 8837823 SOS 4436251 HAS SOPS 4436251 HAS SOUS 3166086 HAS SOUPS 3166086 WITH SCORE 3170522.251
AT ITER 524 NEW BEST:: SOT 8837358 SOS 4435786 HAS SOPS 4435786 HAS SOUS 3165621 HAS SOUPS 3165621 WITH SCORE 3170056.786
AT ITER 535 NEW BEST:: SOT 8837358 SOS 4435786 HAS SOPS 4435786 HAS SOUS 3165335 HAS SOUPS 3165335 WITH SCORE 3169770.786
AT ITER 536 NEW BEST:: SOT 8836950 SOS 4434970 HAS SOPS 4434970 HAS SOUS 3164927 HAS SOUPS 3164927 WITH SCORE 3169361.97
AT ITER 543 NEW BEST:: SOT 8836831 SOS 4434731 HAS SOPS 4434731 HAS SOUS 3164688 HAS SOUPS 3164688 WITH SCORE 3169122.731
AT ITER 544 NEW BEST:: SOT 8836316 SOS 4434471 HAS SOPS 4434471 HAS SOUS 3164284 HAS SOUPS 3164284 WITH SCORE 3168718.471
AT ITER 549 NEW BEST:: SOT 8835937 SOS 4433713 HAS SOPS 4433713 HAS SOUS 3163905 HAS SOUPS 3163905 WITH SCORE 3168338.713
AT ITER 550 NEW BEST:: SOT 8835923 SOS 4433685 HAS SOPS 4433685 HAS SOUS 3163890 HAS SOUPS 3163890 WITH SCORE 3168323.685
AT ITER 551 NEW BEST:: SOT 8835822 SOS 4433583 HAS SOPS 4433583 HAS SOUS 3163889 HAS SOUPS 3163889 WITH SCORE 3168322.583
AT ITER 557 NEW BEST:: SOT 8835838 SOS 4432337 HAS SOPS 4432337 HAS SOUS 3161147 HAS SOUPS 3161147 WITH SCORE 3165579.337
AT ITER 561 NEW BEST:: SOT 8835106 SOS 4429017 HAS SOPS 4429017 HAS SOUS 3158742 HAS SOUPS 3158742 WITH SCORE 3163171.017
AT ITER 566 NEW BEST:: SOT 8834985 SOS 4428654 HAS SOPS 4428654 HAS SOUS 3158620 HAS SOUPS 3158620 WITH SCORE 3163048.654
AT ITER 567 NEW BEST:: SOT 8834478 SOS 4427640 HAS SOPS 4427640 HAS SOUS 3158113 HAS SOUPS 3158113 WITH SCORE 3162540.64
AT ITER 572 NEW BEST:: SOT 8834226 SOS 4427136 HAS SOPS 4427136 HAS SOUS 3157859 HAS SOUPS 3157859 WITH SCORE 3162286.136
AT ITER 574 NEW BEST:: SOT 8833559 SOS 4424468 HAS SOPS 4424468 HAS SOUS 3156084 HAS SOUPS 3156084 WITH SCORE 3160508.468
AT ITER 580 NEW BEST:: SOT 8833559 SOS 4424468 HAS SOPS 4424468 HAS SOUS 3156082 HAS SOUPS 3156082 WITH SCORE 3160506.468
AT ITER 584 NEW BEST:: SOT 8832762 SOS 4423888 HAS SOPS 4423888 HAS SOUS 3155285 HAS SOUPS 3155285 WITH SCORE 3159708.888
AT ITER 592 NEW BEST:: SOT 8831523 SOS 4424042 HAS SOPS 4424042 HAS SOUS 3154209 HAS SOUPS 3154209 WITH SCORE 3158633.042
AT ITER 593 NEW BEST:: SOT 8831571 SOS 4422150 HAS SOPS 4422150 HAS SOUS 3153606 HAS SOUPS 3153606 WITH SCORE 3158028.15
AT ITER 606 NEW BEST:: SOT 8830165 SOS 4421312 HAS SOPS 4421312 HAS SOUS 3152745 HAS SOUPS 3152745 WITH SCORE 3157166.312
AT ITER 607 NEW BEST:: SOT 8830165 SOS 4421306 HAS SOPS 4421306 HAS SOUS 3152739 HAS SOUPS 3152739 WITH SCORE 3157160.306
AT ITER 608 NEW BEST:: SOT 8830165 SOS 4413041 HAS SOPS 4413041 HAS SOUS 3152739 HAS SOUPS 3152739 WITH SCORE 3157152.041
AT ITER 611 NEW BEST:: SOT 8829762 SOS 4411831 HAS SOPS 4411831 HAS SOUS 3152335 HAS SOUPS 3152335 WITH SCORE 3156746.831
AT ITER 614 NEW BEST:: SOT 8830061 SOS 4411451 HAS SOPS 4411451 HAS SOUS 3151655 HAS SOUPS 3151655 WITH SCORE 3156066.451
AT ITER 615 NEW BEST:: SOT 8806588 SOS 4419112 HAS SOPS 4419112 HAS SOUS 3130469 HAS SOUPS 3130469 WITH SCORE 3134888.112
AT ITER 627 NEW BEST:: SOT 8806588 SOS 4419097 HAS SOPS 4419097 HAS SOUS 3130059 HAS SOUPS 3130059 WITH SCORE 3134478.097
AT ITER 629 NEW BEST:: SOT 8806350 SOS 4418726 HAS SOPS 4418726 HAS SOUS 3130058 HAS SOUPS 3130058 WITH SCORE 3134476.726
AT ITER 632 NEW BEST:: SOT 8805114 SOS 4417543 HAS SOPS 4417543 HAS SOUS 3128822 HAS SOUPS 3128822 WITH SCORE 3133239.543
AT ITER 633 NEW BEST:: SOT 8804466 SOS 4416247 HAS SOPS 4416247 HAS SOUS 3128174 HAS SOUPS 3128174 WITH SCORE 3132590.247
AT ITER 648 NEW BEST:: SOT 8804320 SOS 4416028 HAS SOPS 4416028 HAS SOUS 3127955 HAS SOUPS 3127955 WITH SCORE 3132371.028
AT ITER 651 NEW BEST:: SOT 8803283 SOS 4412507 HAS SOPS 4412507 HAS SOUS 3124434 HAS SOUPS 3124434 WITH SCORE 3128846.507
AT ITER 652 NEW BEST:: SOT 8804160 SOS 4413578 HAS SOPS 4413578 HAS SOUS 3123933 HAS SOUPS 3123933 WITH SCORE 3128346.578
AT ITER 654 NEW BEST:: SOT 8773808 SOS 4384618 HAS SOPS 4384618 HAS SOUS 3094605 HAS SOUPS 3094605 WITH SCORE 3098989.618
AT ITER 656 NEW BEST:: SOT 8773808 SOS 4384618 HAS SOPS 4384618 HAS SOUS 3093837 HAS SOUPS 3093837 WITH SCORE 3098221.618
AT ITER 657 NEW BEST:: SOT 8773808 SOS 4382983 HAS SOPS 4382983 HAS SOUS 3091063 HAS SOUPS 3091063 WITH SCORE 3095445.983
AT ITER 658 NEW BEST:: SOT 8773102 SOS 4380159 HAS SOPS 4380159 HAS SOUS 3089651 HAS SOUPS 3089651 WITH SCORE 3094031.159
AT ITER 660 NEW BEST:: SOT 8773102 SOS 4380159 HAS SOPS 4380159 HAS SOUS 3089649 HAS SOUPS 3089649 WITH SCORE 3094029.159
AT ITER 668 NEW BEST:: SOT 8772742 SOS 4380352 HAS SOPS 4380352 HAS SOUS 3089587 HAS SOUPS 3089587 WITH SCORE 3093967.352
AT ITER 670 NEW BEST:: SOT 8771788 SOS 4378444 HAS SOPS 4378444 HAS SOUS 3087674 HAS SOUPS 3087674 WITH SCORE 3092052.444
AT ITER 671 NEW BEST:: SOT 8771017 SOS 4375360 HAS SOPS 4375360 HAS SOUS 3086556 HAS SOUPS 3086556 WITH SCORE 3090931.36
AT ITER 680 NEW BEST:: SOT 8770620 SOS 4374566 HAS SOPS 4374566 HAS SOUS 3086159 HAS SOUPS 3086159 WITH SCORE 3090533.566
AT ITER 681 NEW BEST:: SOT 8770620 SOS 4373372 HAS SOPS 4373372 HAS SOUS 3086159 HAS SOUPS 3086159 WITH SCORE 3090532.372
AT ITER 684 NEW BEST:: SOT 8769446 SOS 4371024 HAS SOPS 4371024 HAS SOUS 3084989 HAS SOUPS 3084989 WITH SCORE 3089360.024
AT ITER 687 NEW BEST:: SOT 8769446 SOS 4370004 HAS SOPS 4370004 HAS SOUS 3082834 HAS SOUPS 3082834 WITH SCORE 3087204.004
AT ITER 691 NEW BEST:: SOT 8768999 SOS 4368663 HAS SOPS 4368663 HAS SOUS 3082387 HAS SOUPS 3082387 WITH SCORE 3086755.663
AT ITER 696 NEW BEST:: SOT 8768999 SOS 4367911 HAS SOPS 4367911 HAS SOUS 3082387 HAS SOUPS 3082387 WITH SCORE 3086754.911
AT ITER 705 NEW BEST:: SOT 8768327 SOS 4364805 HAS SOPS 4364805 HAS SOUS 3081444 HAS SOUPS 3081444 WITH SCORE 3085808.805
AT ITER 709 NEW BEST:: SOT 8768327 SOS 4364805 HAS SOPS 4364805 HAS SOUS 3081166 HAS SOUPS 3081166 WITH SCORE 3085530.805
AT ITER 713 NEW BEST:: SOT 8767202 SOS 4363691 HAS SOPS 4363691 HAS SOUS 3080038 HAS SOUPS 3080038 WITH SCORE 3084401.691
AT ITER 714 NEW BEST:: SOT 8756515 SOS 4391847 HAS SOPS 4391847 HAS SOUS 3070810 HAS SOUPS 3070810 WITH SCORE 3075201.847
AT ITER 715 NEW BEST:: SOT 8756343 SOS 4391503 HAS SOPS 4391503 HAS SOUS 3070248 HAS SOUPS 3070248 WITH SCORE 3074639.503
AT ITER 717 NEW BEST:: SOT 8755567 SOS 4389951 HAS SOPS 4389951 HAS SOUS 3069472 HAS SOUPS 3069472 WITH SCORE 3073861.951
AT ITER 720 NEW BEST:: SOT 8754773 SOS 4386775 HAS SOPS 4386775 HAS SOUS 3068185 HAS SOUPS 3068185 WITH SCORE 3072571.775
AT ITER 726 NEW BEST:: SOT 8754660 SOS 4386323 HAS SOPS 4386323 HAS SOUS 3068072 HAS SOUPS 3068072 WITH SCORE 3072458.323
AT ITER 727 NEW BEST:: SOT 8754660 SOS 4386323 HAS SOPS 4386323 HAS SOUS 3067672 HAS SOUPS 3067672 WITH SCORE 3072058.323
AT ITER 730 NEW BEST:: SOT 8754392 SOS 4385787 HAS SOPS 4385787 HAS SOUS 3067404 HAS SOUPS 3067404 WITH SCORE 3071789.787
AT ITER 734 NEW BEST:: SOT 8754321 SOS 4385645 HAS SOPS 4385645 HAS SOUS 3067262 HAS SOUPS 3067262 WITH SCORE 3071647.645
AT ITER 737 NEW BEST:: SOT 8753814 SOS 4385667 HAS SOPS 4385667 HAS SOUS 3067084 HAS SOUPS 3067084 WITH SCORE 3071469.667
AT ITER 738 NEW BEST:: SOT 8752045 SOS 4384090 HAS SOPS 4384090 HAS SOUS 3065315 HAS SOUPS 3065315 WITH SCORE 3069699.09
AT ITER 740 NEW BEST:: SOT 8752045 SOS 4384090 HAS SOPS 4384090 HAS SOUS 3065314 HAS SOUPS 3065314 WITH SCORE 3069698.09
AT ITER 741 NEW BEST:: SOT 8751556 SOS 4382623 HAS SOPS 4382623 HAS SOUS 3064336 HAS SOUPS 3064336 WITH SCORE 3068718.623
AT ITER 746 NEW BEST:: SOT 8750968 SOS 4382071 HAS SOPS 4382071 HAS SOUS 3063530 HAS SOUPS 3063530 WITH SCORE 3067912.071
AT ITER 749 NEW BEST:: SOT 8751348 SOS 4381439 HAS SOPS 4381439 HAS SOUS 3063164 HAS SOUPS 3063164 WITH SCORE 3067545.439
AT ITER 750 NEW BEST:: SOT 8751348 SOS 4381401 HAS SOPS 4381401 HAS SOUS 3063126 HAS SOUPS 3063126 WITH SCORE 3067507.401
AT ITER 751 NEW BEST:: SOT 8751348 SOS 4381401 HAS SOPS 4381401 HAS SOUS 3063106 HAS SOUPS 3063106 WITH SCORE 3067487.401
AT ITER 754 NEW BEST:: SOT 8749933 SOS 4380480 HAS SOPS 4380480 HAS SOUS 3061690 HAS SOUPS 3061690 WITH SCORE 3066070.48
AT ITER 758 NEW BEST:: SOT 8749933 SOS 4380480 HAS SOPS 4380480 HAS SOUS 3060914 HAS SOUPS 3060914 WITH SCORE 3065294.48
AT ITER 759 NEW BEST:: SOT 8750450 SOS 4377872 HAS SOPS 4377872 HAS SOUS 3059471 HAS SOUPS 3059471 WITH SCORE 3063848.872
AT ITER 760 NEW BEST:: SOT 8750450 SOS 4377872 HAS SOPS 4377872 HAS SOUS 3059470 HAS SOUPS 3059470 WITH SCORE 3063847.872
AT ITER 765 NEW BEST:: SOT 8750450 SOS 4376053 HAS SOPS 4376053 HAS SOUS 3058486 HAS SOUPS 3058486 WITH SCORE 3062862.053
AT ITER 771 NEW BEST:: SOT 8750330 SOS 4375440 HAS SOPS 4375440 HAS SOUS 3058245 HAS SOUPS 3058245 WITH SCORE 3062620.44
AT ITER 772 NEW BEST:: SOT 8749700 SOS 4375843 HAS SOPS 4375843 HAS SOUS 3057809 HAS SOUPS 3057809 WITH SCORE 3062184.843
AT ITER 777 NEW BEST:: SOT 8749113 SOS 4374669 HAS SOPS 4374669 HAS SOUS 3057222 HAS SOUPS 3057222 WITH SCORE 3061596.669
AT ITER 781 NEW BEST:: SOT 8748433 SOS 4373309 HAS SOPS 4373309 HAS SOUS 3056542 HAS SOUPS 3056542 WITH SCORE 3060915.309
AT ITER 786 NEW BEST:: SOT 8747555 SOS 4369797 HAS SOPS 4369797 HAS SOUS 3054901 HAS SOUPS 3054901 WITH SCORE 3059270.797
AT ITER 802 NEW BEST:: SOT 8746721 SOS 4366461 HAS SOPS 4366461 HAS SOUS 3053694 HAS SOUPS 3053694 WITH SCORE 3058060.461
AT ITER 811 NEW BEST:: SOT 8746740 SOS 4366499 HAS SOPS 4366499 HAS SOUS 3053606 HAS SOUPS 3053606 WITH SCORE 3057972.499
AT ITER 814 NEW BEST:: SOT 8746050 SOS 4363739 HAS SOPS 4363739 HAS SOUS 3052557 HAS SOUPS 3052557 WITH SCORE 3056920.739
AT ITER 816 NEW BEST:: SOT 8746050 SOS 4362656 HAS SOPS 4362656 HAS SOUS 3049753 HAS SOUPS 3049753 WITH SCORE 3054115.656
AT ITER 822 NEW BEST:: SOT 8746050 SOS 4361912 HAS SOPS 4361912 HAS SOUS 3048157 HAS SOUPS 3048157 WITH SCORE 3052518.912
AT ITER 844 NEW BEST:: SOT 8746050 SOS 4361485 HAS SOPS 4361485 HAS SOUS 3047313 HAS SOUPS 3047313 WITH SCORE 3051674.485
AT ITER 845 NEW BEST:: SOT 8746351 SOS 4360406 HAS SOPS 4360406 HAS SOUS 3045354 HAS SOUPS 3045354 WITH SCORE 3049714.406
AT ITER 848 NEW BEST:: SOT 8746350 SOS 4360404 HAS SOPS 4360404 HAS SOUS 3045352 HAS SOUPS 3045352 WITH SCORE 3049712.404
AT ITER 850 NEW BEST:: SOT 8745450 SOS 4360490 HAS SOPS 4360490 HAS SOUS 3044919 HAS SOUPS 3044919 WITH SCORE 3049279.49
AT ITER 856 NEW BEST:: SOT 8745038 SOS 4360234 HAS SOPS 4360234 HAS SOUS 3044507 HAS SOUPS 3044507 WITH SCORE 3048867.234
AT ITER 861 NEW BEST:: SOT 8745308 SOS 4360024 HAS SOPS 4360024 HAS SOUS 3043865 HAS SOUPS 3043865 WITH SCORE 3048225.024
AT ITER 862 NEW BEST:: SOT 8745308 SOS 4359514 HAS SOPS 4359514 HAS SOUS 3043843 HAS SOUPS 3043843 WITH SCORE 3048202.514
AT ITER 864 NEW BEST:: SOT 8744673 SOS 4359467 HAS SOPS 4359467 HAS SOUS 3043796 HAS SOUPS 3043796 WITH SCORE 3048155.467
AT ITER 870 NEW BEST:: SOT 8744224 SOS 4358120 HAS SOPS 4358120 HAS SOUS 3043347 HAS SOUPS 3043347 WITH SCORE 3047705.12
AT ITER 872 NEW BEST:: SOT 8743674 SOS 4357897 HAS SOPS 4357897 HAS SOUS 3042797 HAS SOUPS 3042797 WITH SCORE 3047154.897
AT ITER 876 NEW BEST:: SOT 8743674 SOS 4357897 HAS SOPS 4357897 HAS SOUS 3042786 HAS SOUPS 3042786 WITH SCORE 3047143.897
AT ITER 878 NEW BEST:: SOT 8742878 SOS 4353973 HAS SOPS 4353973 HAS SOUS 3041633 HAS SOUPS 3041633 WITH SCORE 3045986.973
AT ITER 881 NEW BEST:: SOT 8742908 SOS 4352721 HAS SOPS 4352721 HAS SOUS 3041140 HAS SOUPS 3041140 WITH SCORE 3045492.721
AT ITER 887 NEW BEST:: SOT 8742100 SOS 4351913 HAS SOPS 4351913 HAS SOUS 3039524 HAS SOUPS 3039524 WITH SCORE 3043875.913
AT ITER 889 NEW BEST:: SOT 8742100 SOS 4351913 HAS SOPS 4351913 HAS SOUS 3039523 HAS SOUPS 3039523 WITH SCORE 3043874.913
AT ITER 891 NEW BEST:: SOT 8741664 SOS 4350169 HAS SOPS 4350169 HAS SOUS 3038651 HAS SOUPS 3038651 WITH SCORE 3043001.169
AT ITER 907 NEW BEST:: SOT 8741114 SOS 4349619 HAS SOPS 4349619 HAS SOUS 3038217 HAS SOUPS 3038217 WITH SCORE 3042566.619
AT ITER 909 NEW BEST:: SOT 8739948 SOS 4348944 HAS SOPS 4348944 HAS SOUS 3037051 HAS SOUPS 3037051 WITH SCORE 3041399.944
AT ITER 910 NEW BEST:: SOT 8740583 SOS 4347266 HAS SOPS 4347266 HAS SOUS 3036833 HAS SOUPS 3036833 WITH SCORE 3041180.266
AT ITER 919 NEW BEST:: SOT 8740583 SOS 4346773 HAS SOPS 4346773 HAS SOUS 3036419 HAS SOUPS 3036419 WITH SCORE 3040765.773
AT ITER 926 NEW BEST:: SOT 8739948 SOS 4344233 HAS SOPS 4344233 HAS SOUS 3035784 HAS SOUPS 3035784 WITH SCORE 3040128.233
AT ITER 929 NEW BEST:: SOT 8727284 SOS 4396215 HAS SOPS 4396215 HAS SOUS 3027829 HAS SOUPS 3027829 WITH SCORE 3032225.215
AT ITER 930 NEW BEST:: SOT 8727284 SOS 4395560 HAS SOPS 4395560 HAS SOUS 3027091 HAS SOUPS 3027091 WITH SCORE 3031486.56
AT ITER 931 NEW BEST:: SOT 8727284 SOS 4395560 HAS SOPS 4395560 HAS SOUS 3026929 HAS SOUPS 3026929 WITH SCORE 3031324.56
AT ITER 933 NEW BEST:: SOT 8726481 SOS 4392002 HAS SOPS 4392002 HAS SOUS 3024174 HAS SOUPS 3024174 WITH SCORE 3028566.002
AT ITER 941 NEW BEST:: SOT 8726480 SOS 4392000 HAS SOPS 4392000 HAS SOUS 3024172 HAS SOUPS 3024172 WITH SCORE 3028564.0
AT ITER 949 NEW BEST:: SOT 8726480 SOS 4392000 HAS SOPS 4392000 HAS SOUS 3023895 HAS SOUPS 3023895 WITH SCORE 3028287.0
AT ITER 954 NEW BEST:: SOT 8726143 SOS 4391326 HAS SOPS 4391326 HAS SOUS 3023895 HAS SOUPS 3023895 WITH SCORE 3028286.326
AT ITER 955 NEW BEST:: SOT 8726968 SOS 4390435 HAS SOPS 4390435 HAS SOUS 3023892 HAS SOUPS 3023892 WITH SCORE 3028282.435
AT ITER 956 NEW BEST:: SOT 8726968 SOS 4389853 HAS SOPS 4389853 HAS SOUS 3022086 HAS SOUPS 3022086 WITH SCORE 3026475.853
AT ITER 959 NEW BEST:: SOT 8726866 SOS 4389751 HAS SOPS 4389751 HAS SOUS 3021975 HAS SOUPS 3021975 WITH SCORE 3026364.751
AT ITER 970 NEW BEST:: SOT 8726866 SOS 4389593 HAS SOPS 4389593 HAS SOUS 3021608 HAS SOUPS 3021608 WITH SCORE 3025997.593
AT ITER 971 NEW BEST:: SOT 8726866 SOS 4389047 HAS SOPS 4389047 HAS SOUS 3020857 HAS SOUPS 3020857 WITH SCORE 3025246.047
AT ITER 978 NEW BEST:: SOT 8726279 SOS 4386699 HAS SOPS 4386699 HAS SOUS 3019683 HAS SOUPS 3019683 WITH SCORE 3024069.699
AT ITER 993 NEW BEST:: SOT 8725536 SOS 4386782 HAS SOPS 4386782 HAS SOUS 3018940 HAS SOUPS 3018940 WITH SCORE 3023326.782
AT ITER 996 NEW BEST:: SOT 8725405 SOS 4386782 HAS SOPS 4386782 HAS SOUS 3018809 HAS SOUPS 3018809 WITH SCORE 3023195.782
AT ITER 1010 NEW BEST:: SOT 8725248 SOS 4386468 HAS SOPS 4386468 HAS SOUS 3018650 HAS SOUPS 3018650 WITH SCORE 3023036.468
AT ITER 1020 NEW BEST:: SOT 8724642 SOS 4385256 HAS SOPS 4385256 HAS SOUS 3018648 HAS SOUPS 3018648 WITH SCORE 3023033.256
AT ITER 1021 NEW BEST:: SOT 8724991 SOS 4385025 HAS SOPS 4385025 HAS SOUS 3018204 HAS SOUPS 3018204 WITH SCORE 3022589.025
AT ITER 1023 NEW BEST:: SOT 8724979 SOS 4384157 HAS SOPS 4384157 HAS SOUS 3017698 HAS SOUPS 3017698 WITH SCORE 3022082.157
AT ITER 1025 NEW BEST:: SOT 8724298 SOS 4382795 HAS SOPS 4382795 HAS SOUS 3016336 HAS SOUPS 3016336 WITH SCORE 3020718.795
AT ITER 1033 NEW BEST:: SOT 8724298 SOS 4382855 HAS SOPS 4382855 HAS SOUS 3016077 HAS SOUPS 3016077 WITH SCORE 3020459.855
AT ITER 1034 NEW BEST:: SOT 8724744 SOS 4381279 HAS SOPS 4381279 HAS SOUS 3015695 HAS SOUPS 3015695 WITH SCORE 3020076.279
AT ITER 1035 NEW BEST:: SOT 8724740 SOS 4381169 HAS SOPS 4381169 HAS SOUS 3015344 HAS SOUPS 3015344 WITH SCORE 3019725.169
AT ITER 1037 NEW BEST:: SOT 8724448 SOS 4379811 HAS SOPS 4379811 HAS SOUS 3015052 HAS SOUPS 3015052 WITH SCORE 3019431.811
AT ITER 1046 NEW BEST:: SOT 8723910 SOS 4378735 HAS SOPS 4378735 HAS SOUS 3013976 HAS SOUPS 3013976 WITH SCORE 3018354.735
AT ITER 1049 NEW BEST:: SOT 8723499 SOS 4375997 HAS SOPS 4375997 HAS SOUS 3013544 HAS SOUPS 3013544 WITH SCORE 3017919.997
AT ITER 1052 NEW BEST:: SOT 8723158 SOS 4374973 HAS SOPS 4374973 HAS SOUS 3013202 HAS SOUPS 3013202 WITH SCORE 3017576.973
AT ITER 1053 NEW BEST:: SOT 8722940 SOS 4374537 HAS SOPS 4374537 HAS SOUS 3012973 HAS SOUPS 3012973 WITH SCORE 3017347.537
AT ITER 1054 NEW BEST:: SOT 8722473 SOS 4375014 HAS SOPS 4375014 HAS SOUS 3012899 HAS SOUPS 3012899 WITH SCORE 3017274.014
AT ITER 1055 NEW BEST:: SOT 8721761 SOS 4373270 HAS SOPS 4373270 HAS SOUS 3012041 HAS SOUPS 3012041 WITH SCORE 3016414.27
AT ITER 1058 NEW BEST:: SOT 8721536 SOS 4372820 HAS SOPS 4372820 HAS SOUS 3012038 HAS SOUPS 3012038 WITH SCORE 3016410.82
AT ITER 1065 NEW BEST:: SOT 8721011 SOS 4372448 HAS SOPS 4372448 HAS SOUS 3011512 HAS SOUPS 3011512 WITH SCORE 3015884.448
AT ITER 1075 NEW BEST:: SOT 8700140 SOS 4390591 HAS SOPS 4390591 HAS SOUS 2992686 HAS SOUPS 2992686 WITH SCORE 2997076.591
AT ITER 1084 NEW BEST:: SOT 8700140 SOS 4390181 HAS SOPS 4390181 HAS SOUS 2990738 HAS SOUPS 2990738 WITH SCORE 2995128.181
AT ITER 1085 NEW BEST:: SOT 8691512 SOS 4435895 HAS SOPS 4435895 HAS SOUS 2985178 HAS SOUPS 2985178 WITH SCORE 2989613.895
AT ITER 1090 NEW BEST:: SOT 8692080 SOS 4434664 HAS SOPS 4434664 HAS SOUS 2984846 HAS SOUPS 2984846 WITH SCORE 2989280.664
AT ITER 1091 NEW BEST:: SOT 8691853 SOS 4434437 HAS SOPS 4434437 HAS SOUS 2984147 HAS SOUPS 2984147 WITH SCORE 2988581.437
AT ITER 1093 NEW BEST:: SOT 8691853 SOS 4434213 HAS SOPS 4434213 HAS SOUS 2983939 HAS SOUPS 2983939 WITH SCORE 2988373.213
AT ITER 1096 NEW BEST:: SOT 8691853 SOS 4433621 HAS SOPS 4433621 HAS SOUS 2983939 HAS SOUPS 2983939 WITH SCORE 2988372.621
AT ITER 1098 NEW BEST:: SOT 8691664 SOS 4433432 HAS SOPS 4433432 HAS SOUS 2983750 HAS SOUPS 2983750 WITH SCORE 2988183.432
AT ITER 1099 NEW BEST:: SOT 8691664 SOS 4432412 HAS SOPS 4432412 HAS SOUS 2983240 HAS SOUPS 2983240 WITH SCORE 2987672.412
AT ITER 1109 NEW BEST:: SOT 8691371 SOS 4432412 HAS SOPS 4432412 HAS SOUS 2983159 HAS SOUPS 2983159 WITH SCORE 2987591.412
AT ITER 1120 NEW BEST:: SOT 8691361 SOS 4432127 HAS SOPS 4432127 HAS SOUS 2982874 HAS SOUPS 2982874 WITH SCORE 2987306.127
AT ITER 1122 NEW BEST:: SOT 8691361 SOS 4431786 HAS SOPS 4431786 HAS SOUS 2982419 HAS SOUPS 2982419 WITH SCORE 2986850.786
AT ITER 1125 NEW BEST:: SOT 8691361 SOS 4430064 HAS SOPS 4430064 HAS SOUS 2981658 HAS SOUPS 2981658 WITH SCORE 2986088.064
AT ITER 1129 NEW BEST:: SOT 8691433 SOS 4428508 HAS SOPS 4428508 HAS SOUS 2980550 HAS SOUPS 2980550 WITH SCORE 2984978.508
AT ITER 1132 NEW BEST:: SOT 8690690 SOS 4426279 HAS SOPS 4426279 HAS SOUS 2979064 HAS SOUPS 2979064 WITH SCORE 2983490.279
AT ITER 1133 NEW BEST:: SOT 8690146 SOS 4425191 HAS SOPS 4425191 HAS SOUS 2978034 HAS SOUPS 2978034 WITH SCORE 2982459.191
AT ITER 1135 NEW BEST:: SOT 8690146 SOS 4425191 HAS SOPS 4425191 HAS SOUS 2977605 HAS SOUPS 2977605 WITH SCORE 2982030.191
AT ITER 1139 NEW BEST:: SOT 8689345 SOS 4423589 HAS SOPS 4423589 HAS SOUS 2976915 HAS SOUPS 2976915 WITH SCORE 2981338.589
AT ITER 1143 NEW BEST:: SOT 8690264 SOS 4423995 HAS SOPS 4423995 HAS SOUS 2976664 HAS SOUPS 2976664 WITH SCORE 2981087.995
AT ITER 1146 NEW BEST:: SOT 8689837 SOS 4423568 HAS SOPS 4423568 HAS SOUS 2975810 HAS SOUPS 2975810 WITH SCORE 2980233.568
AT ITER 1151 NEW BEST:: SOT 8689837 SOS 4423568 HAS SOPS 4423568 HAS SOUS 2975459 HAS SOUPS 2975459 WITH SCORE 2979882.568
AT ITER 1158 NEW BEST:: SOT 8689716 SOS 4421618 HAS SOPS 4421618 HAS SOUS 2974195 HAS SOUPS 2974195 WITH SCORE 2978616.618
AT ITER 1159 NEW BEST:: SOT 8689187 SOS 4421618 HAS SOPS 4421618 HAS SOUS 2973666 HAS SOUPS 2973666 WITH SCORE 2978087.618
AT ITER 1162 NEW BEST:: SOT 8688759 SOS 4418690 HAS SOPS 4418690 HAS SOUS 2972615 HAS SOUPS 2972615 WITH SCORE 2977033.69
AT ITER 1168 NEW BEST:: SOT 8688759 SOS 4418318 HAS SOPS 4418318 HAS SOUS 2972087 HAS SOUPS 2972087 WITH SCORE 2976505.318
AT ITER 1170 NEW BEST:: SOT 8688766 SOS 4409632 HAS SOPS 4409632 HAS SOUS 2972094 HAS SOUPS 2972094 WITH SCORE 2976503.632
AT ITER 1173 NEW BEST:: SOT 8688766 SOS 4409160 HAS SOPS 4409160 HAS SOUS 2971474 HAS SOUPS 2971474 WITH SCORE 2975883.16
AT ITER 1175 NEW BEST:: SOT 8687947 SOS 4408341 HAS SOPS 4408341 HAS SOUS 2970655 HAS SOUPS 2970655 WITH SCORE 2975063.341
AT ITER 1177 NEW BEST:: SOT 8687947 SOS 4406671 HAS SOPS 4406671 HAS SOUS 2969940 HAS SOUPS 2969940 WITH SCORE 2974346.671
AT ITER 1179 NEW BEST:: SOT 8687947 SOS 4406802 HAS SOPS 4406802 HAS SOUS 2969077 HAS SOUPS 2969077 WITH SCORE 2973483.802
AT ITER 1181 NEW BEST:: SOT 8687584 SOS 4405350 HAS SOPS 4405350 HAS SOUS 2968351 HAS SOUPS 2968351 WITH SCORE 2972756.35
AT ITER 1185 NEW BEST:: SOT 8687669 SOS 4405112 HAS SOPS 4405112 HAS SOUS 2968113 HAS SOUPS 2968113 WITH SCORE 2972518.112
AT ITER 1188 NEW BEST:: SOT 8687669 SOS 4404675 HAS SOPS 4404675 HAS SOUS 2967779 HAS SOUPS 2967779 WITH SCORE 2972183.675
AT ITER 1191 NEW BEST:: SOT 8687417 SOS 4402291 HAS SOPS 4402291 HAS SOUS 2966712 HAS SOUPS 2966712 WITH SCORE 2971114.291
AT ITER 1192 NEW BEST:: SOT 8686178 SOS 4401281 HAS SOPS 4401281 HAS SOUS 2963458 HAS SOUPS 2963458 WITH SCORE 2967859.281
AT ITER 1196 NEW BEST:: SOT 8685936 SOS 4400313 HAS SOPS 4400313 HAS SOUS 2962974 HAS SOUPS 2962974 WITH SCORE 2967374.313
AT ITER 1197 NEW BEST:: SOT 8686154 SOS 4397291 HAS SOPS 4397291 HAS SOUS 2962733 HAS SOUPS 2962733 WITH SCORE 2967130.291
AT ITER 1202 NEW BEST:: SOT 8685628 SOS 4394475 HAS SOPS 4394475 HAS SOUS 2962352 HAS SOUPS 2962352 WITH SCORE 2966746.475
AT ITER 1207 NEW BEST:: SOT 8685628 SOS 4393806 HAS SOPS 4393806 HAS SOUS 2961322 HAS SOUPS 2961322 WITH SCORE 2965715.806
AT ITER 1213 NEW BEST:: SOT 8685628 SOS 4392937 HAS SOPS 4392937 HAS SOUS 2960584 HAS SOUPS 2960584 WITH SCORE 2964976.937
AT ITER 1214 NEW BEST:: SOT 8685628 SOS 4391227 HAS SOPS 4391227 HAS SOUS 2959660 HAS SOUPS 2959660 WITH SCORE 2964051.227
AT ITER 1217 NEW BEST:: SOT 8685628 SOS 4370922 HAS SOPS 4370922 HAS SOUS 2959005 HAS SOUPS 2959005 WITH SCORE 2963375.922
AT ITER 1224 NEW BEST:: SOT 8685482 SOS 4370630 HAS SOPS 4370630 HAS SOUS 2958861 HAS SOUPS 2958861 WITH SCORE 2963231.63
AT ITER 1227 NEW BEST:: SOT 8684903 SOS 4368893 HAS SOPS 4368893 HAS SOUS 2957703 HAS SOUPS 2957703 WITH SCORE 2962071.893
AT ITER 1230 NEW BEST:: SOT 8684831 SOS 4368749 HAS SOPS 4368749 HAS SOUS 2957631 HAS SOUPS 2957631 WITH SCORE 2961999.749
AT ITER 1240 NEW BEST:: SOT 8684034 SOS 4367171 HAS SOPS 4367171 HAS SOUS 2956007 HAS SOUPS 2956007 WITH SCORE 2960374.171
AT ITER 1244 NEW BEST:: SOT 8684034 SOS 4366712 HAS SOPS 4366712 HAS SOUS 2955548 HAS SOUPS 2955548 WITH SCORE 2959914.712
AT ITER 1246 NEW BEST:: SOT 8683939 SOS 4367919 HAS SOPS 4367919 HAS SOUS 2955453 HAS SOUPS 2955453 WITH SCORE 2959820.919
AT ITER 1248 NEW BEST:: SOT 8683273 SOS 4366587 HAS SOPS 4366587 HAS SOUS 2953072 HAS SOUPS 2953072 WITH SCORE 2957438.587
AT ITER 1251 NEW BEST:: SOT 8682798 SOS 4366112 HAS SOPS 4366112 HAS SOUS 2952597 HAS SOUPS 2952597 WITH SCORE 2956963.112
AT ITER 1260 NEW BEST:: SOT 8682526 SOS 4366413 HAS SOPS 4366413 HAS SOUS 2952574 HAS SOUPS 2952574 WITH SCORE 2956940.413
AT ITER 1261 NEW BEST:: SOT 8682638 SOS 4363165 HAS SOPS 4363165 HAS SOUS 2952461 HAS SOUPS 2952461 WITH SCORE 2956824.165
AT ITER 1264 NEW BEST:: SOT 8682638 SOS 4362283 HAS SOPS 4362283 HAS SOUS 2951440 HAS SOUPS 2951440 WITH SCORE 2955802.283
AT ITER 1268 NEW BEST:: SOT 8682838 SOS 4360560 HAS SOPS 4360560 HAS SOUS 2949755 HAS SOUPS 2949755 WITH SCORE 2954115.56
AT ITER 1271 NEW BEST:: SOT 8683496 SOS 4361876 HAS SOPS 4361876 HAS SOUS 2949492 HAS SOUPS 2949492 WITH SCORE 2953853.876
AT ITER 1272 NEW BEST:: SOT 8683496 SOS 4361876 HAS SOPS 4361876 HAS SOUS 2949491 HAS SOUPS 2949491 WITH SCORE 2953852.876
AT ITER 1273 NEW BEST:: SOT 8683496 SOS 4361566 HAS SOPS 4361566 HAS SOUS 2949181 HAS SOUPS 2949181 WITH SCORE 2953542.566
AT ITER 1287 NEW BEST:: SOT 8683211 SOS 4360426 HAS SOPS 4360426 HAS SOUS 2948895 HAS SOUPS 2948895 WITH SCORE 2953255.426
AT ITER 1295 NEW BEST:: SOT 8683173 SOS 4360349 HAS SOPS 4360349 HAS SOUS 2948894 HAS SOUPS 2948894 WITH SCORE 2953254.349
AT ITER 1298 NEW BEST:: SOT 8682733 SOS 4357353 HAS SOPS 4357353 HAS SOUS 2948152 HAS SOUPS 2948152 WITH SCORE 2952509.353
AT ITER 1305 NEW BEST:: SOT 8682112 SOS 4356111 HAS SOPS 4356111 HAS SOUS 2947530 HAS SOUPS 2947530 WITH SCORE 2951886.111
AT ITER 1307 NEW BEST:: SOT 8681601 SOS 4352025 HAS SOPS 4352025 HAS SOUS 2946071 HAS SOUPS 2946071 WITH SCORE 2950423.025
AT ITER 1308 NEW BEST:: SOT 8680349 SOS 4348246 HAS SOPS 4348246 HAS SOUS 2944061 HAS SOUPS 2944061 WITH SCORE 2948409.246
AT ITER 1309 NEW BEST:: SOT 8680126 SOS 4348023 HAS SOPS 4348023 HAS SOUS 2943838 HAS SOUPS 2943838 WITH SCORE 2948186.023
AT ITER 1322 NEW BEST:: SOT 8680126 SOS 4348476 HAS SOPS 4348476 HAS SOUS 2943685 HAS SOUPS 2943685 WITH SCORE 2948033.476
AT ITER 1324 NEW BEST:: SOT 8678943 SOS 4347352 HAS SOPS 4347352 HAS SOUS 2943261 HAS SOUPS 2943261 WITH SCORE 2947608.352
AT ITER 1325 NEW BEST:: SOT 8679198 SOS 4347862 HAS SOPS 4347862 HAS SOUS 2942992 HAS SOUPS 2942992 WITH SCORE 2947339.862
AT ITER 1330 NEW BEST:: SOT 8678905 SOS 4347569 HAS SOPS 4347569 HAS SOUS 2942145 HAS SOUPS 2942145 WITH SCORE 2946492.569
AT ITER 1339 NEW BEST:: SOT 8677973 SOS 4346637 HAS SOPS 4346637 HAS SOUS 2942051 HAS SOUPS 2942051 WITH SCORE 2946397.637
AT ITER 1341 NEW BEST:: SOT 8677973 SOS 4345677 HAS SOPS 4345677 HAS SOUS 2940131 HAS SOUPS 2940131 WITH SCORE 2944476.677
AT ITER 1343 NEW BEST:: SOT 8677973 SOS 4345105 HAS SOPS 4345105 HAS SOUS 2939845 HAS SOUPS 2939845 WITH SCORE 2944190.105
AT ITER 1344 NEW BEST:: SOT 8677973 SOS 4345104 HAS SOPS 4345104 HAS SOUS 2939109 HAS SOUPS 2939109 WITH SCORE 2943454.104
AT ITER 1347 NEW BEST:: SOT 8677973 SOS 4344813 HAS SOPS 4344813 HAS SOUS 2938818 HAS SOUPS 2938818 WITH SCORE 2943162.813
AT ITER 1349 NEW BEST:: SOT 8677792 SOS 4344632 HAS SOPS 4344632 HAS SOUS 2938637 HAS SOUPS 2938637 WITH SCORE 2942981.632
AT ITER 1351 NEW BEST:: SOT 8677792 SOS 4344632 HAS SOPS 4344632 HAS SOUS 2938071 HAS SOUPS 2938071 WITH SCORE 2942415.632
AT ITER 1356 NEW BEST:: SOT 8676157 SOS 4343367 HAS SOPS 4343367 HAS SOUS 2936435 HAS SOUPS 2936435 WITH SCORE 2940778.367
AT ITER 1360 NEW BEST:: SOT 8675729 SOS 4342511 HAS SOPS 4342511 HAS SOUS 2936007 HAS SOUPS 2936007 WITH SCORE 2940349.511
AT ITER 1367 NEW BEST:: SOT 8675625 SOS 4342303 HAS SOPS 4342303 HAS SOUS 2935903 HAS SOUPS 2935903 WITH SCORE 2940245.303
AT ITER 1371 NEW BEST:: SOT 8675625 SOS 4342260 HAS SOPS 4342260 HAS SOUS 2935903 HAS SOUPS 2935903 WITH SCORE 2940245.26
AT ITER 1374 NEW BEST:: SOT 8672167 SOS 4339467 HAS SOPS 4339467 HAS SOUS 2932463 HAS SOUPS 2932463 WITH SCORE 2936802.467
AT ITER 1376 NEW BEST:: SOT 8672446 SOS 4339546 HAS SOPS 4339546 HAS SOUS 2931663 HAS SOUPS 2931663 WITH SCORE 2936002.546
AT ITER 1377 NEW BEST:: SOT 8672156 SOS 4338386 HAS SOPS 4338386 HAS SOUS 2931373 HAS SOUPS 2931373 WITH SCORE 2935711.386
AT ITER 1382 NEW BEST:: SOT 8672156 SOS 4338386 HAS SOPS 4338386 HAS SOUS 2931283 HAS SOUPS 2931283 WITH SCORE 2935621.386
AT ITER 1393 NEW BEST:: SOT 8671689 SOS 4338135 HAS SOPS 4338135 HAS SOUS 2930816 HAS SOUPS 2930816 WITH SCORE 2935154.135
AT ITER 1400 NEW BEST:: SOT 8669512 SOS 4335502 HAS SOPS 4335502 HAS SOUS 2928543 HAS SOUPS 2928543 WITH SCORE 2932878.502
AT ITER 1401 NEW BEST:: SOT 8669512 SOS 4335042 HAS SOPS 4335042 HAS SOUS 2927684 HAS SOUPS 2927684 WITH SCORE 2932019.042
AT ITER 1403 NEW BEST:: SOT 8668778 SOS 4334308 HAS SOPS 4334308 HAS SOUS 2926947 HAS SOUPS 2926947 WITH SCORE 2931281.308
AT ITER 1405 NEW BEST:: SOT 8668390 SOS 4334313 HAS SOPS 4334313 HAS SOUS 2926930 HAS SOUPS 2926930 WITH SCORE 2931264.313
AT ITER 1408 NEW BEST:: SOT 8667993 SOS 4328841 HAS SOPS 4328841 HAS SOUS 2926484 HAS SOUPS 2926484 WITH SCORE 2930812.841
AT ITER 1420 NEW BEST:: SOT 8667993 SOS 4326583 HAS SOPS 4326583 HAS SOUS 2925355 HAS SOUPS 2925355 WITH SCORE 2929681.583
AT ITER 1435 NEW BEST:: SOT 8657345 SOS 4320215 HAS SOPS 4320215 HAS SOUS 2915221 HAS SOUPS 2915221 WITH SCORE 2919541.215
AT ITER 1441 NEW BEST:: SOT 8657345 SOS 4319663 HAS SOPS 4319663 HAS SOUS 2915218 HAS SOUPS 2915218 WITH SCORE 2919537.663
AT ITER 1444 NEW BEST:: SOT 8657345 SOS 4318455 HAS SOPS 4318455 HAS SOUS 2913292 HAS SOUPS 2913292 WITH SCORE 2917610.455
AT ITER 1453 NEW BEST:: SOT 8657250 SOS 4318360 HAS SOPS 4318360 HAS SOUS 2913197 HAS SOUPS 2913197 WITH SCORE 2917515.36
AT ITER 1461 NEW BEST:: SOT 8658216 SOS 4318547 HAS SOPS 4318547 HAS SOUS 2913146 HAS SOUPS 2913146 WITH SCORE 2917464.547
AT ITER 1475 NEW BEST:: SOT 8658216 SOS 4318547 HAS SOPS 4318547 HAS SOUS 2912933 HAS SOUPS 2912933 WITH SCORE 2917251.547
AT ITER 1479 NEW BEST:: SOT 8658180 SOS 4318475 HAS SOPS 4318475 HAS SOUS 2912897 HAS SOUPS 2912897 WITH SCORE 2917215.475
AT ITER 1481 NEW BEST:: SOT 8657634 SOS 4317383 HAS SOPS 4317383 HAS SOUS 2912177 HAS SOUPS 2912177 WITH SCORE 2916494.383
AT ITER 1490 NEW BEST:: SOT 8657029 SOS 4316778 HAS SOPS 4316778 HAS SOUS 2911851 HAS SOUPS 2911851 WITH SCORE 2916167.778
AT ITER 1493 NEW BEST:: SOT 8657029 SOS 4316630 HAS SOPS 4316630 HAS SOUS 2911437 HAS SOUPS 2911437 WITH SCORE 2915753.63
AT ITER 1497 NEW BEST:: SOT 8657102 SOS 4316258 HAS SOPS 4316258 HAS SOUS 2910874 HAS SOUPS 2910874 WITH SCORE 2915190.258
AT ITER 1503 NEW BEST:: SOT 8656740 SOS 4315172 HAS SOPS 4315172 HAS SOUS 2909788 HAS SOUPS 2909788 WITH SCORE 2914103.172
AT ITER 1514 NEW BEST:: SOT 8656740 SOS 4314538 HAS SOPS 4314538 HAS SOUS 2909154 HAS SOUPS 2909154 WITH SCORE 2913468.538
AT ITER 1520 NEW BEST:: SOT 8656740 SOS 4314538 HAS SOPS 4314538 HAS SOUS 2909152 HAS SOUPS 2909152 WITH SCORE 2913466.538
AT ITER 1527 NEW BEST:: SOT 8657526 SOS 4313905 HAS SOPS 4313905 HAS SOUS 2909138 HAS SOUPS 2909138 WITH SCORE 2913451.905
AT ITER 1531 NEW BEST:: SOT 8639720 SOS 4343891 HAS SOPS 4343891 HAS SOUS 2895316 HAS SOUPS 2895316 WITH SCORE 2899659.891
AT ITER 1547 NEW BEST:: SOT 8639078 SOS 4343249 HAS SOPS 4343249 HAS SOUS 2894674 HAS SOUPS 2894674 WITH SCORE 2899017.249
AT ITER 1548 NEW BEST:: SOT 8638494 SOS 4339247 HAS SOPS 4339247 HAS SOUS 2893733 HAS SOUPS 2893733 WITH SCORE 2898072.247
AT ITER 1550 NEW BEST:: SOT 8637574 SOS 4335567 HAS SOPS 4335567 HAS SOUS 2892260 HAS SOUPS 2892260 WITH SCORE 2896595.567
AT ITER 1554 NEW BEST:: SOT 8637574 SOS 4335186 HAS SOPS 4335186 HAS SOUS 2890215 HAS SOUPS 2890215 WITH SCORE 2894550.186
AT ITER 1562 NEW BEST:: SOT 8623511 SOS 4410934 HAS SOPS 4410934 HAS SOUS 2878654 HAS SOUPS 2878654 WITH SCORE 2883064.934
AT ITER 1563 NEW BEST:: SOT 8623511 SOS 4410904 HAS SOPS 4410904 HAS SOUS 2878654 HAS SOUPS 2878654 WITH SCORE 2883064.904
AT ITER 1565 NEW BEST:: SOT 8622786 SOS 4407738 HAS SOPS 4407738 HAS SOUS 2876368 HAS SOUPS 2876368 WITH SCORE 2880775.738
AT ITER 1569 NEW BEST:: SOT 8622476 SOS 4407428 HAS SOPS 4407428 HAS SOUS 2876368 HAS SOUPS 2876368 WITH SCORE 2880775.428
AT ITER 1570 NEW BEST:: SOT 8622476 SOS 4405620 HAS SOPS 4405620 HAS SOUS 2875308 HAS SOUPS 2875308 WITH SCORE 2879713.62
AT ITER 1574 NEW BEST:: SOT 8622476 SOS 4406116 HAS SOPS 4406116 HAS SOUS 2875293 HAS SOUPS 2875293 WITH SCORE 2879699.116
AT ITER 1575 NEW BEST:: SOT 8622319 SOS 4405768 HAS SOPS 4405768 HAS SOUS 2875136 HAS SOUPS 2875136 WITH SCORE 2879541.768
AT ITER 1576 NEW BEST:: SOT 8622288 SOS 4405706 HAS SOPS 4405706 HAS SOUS 2875074 HAS SOUPS 2875074 WITH SCORE 2879479.706
AT ITER 1579 NEW BEST:: SOT 8621708 SOS 4403386 HAS SOPS 4403386 HAS SOUS 2874493 HAS SOUPS 2874493 WITH SCORE 2878896.386
AT ITER 1585 NEW BEST:: SOT 8620773 SOS 4401516 HAS SOPS 4401516 HAS SOUS 2872059 HAS SOUPS 2872059 WITH SCORE 2876460.516
AT ITER 1588 NEW BEST:: SOT 8620634 SOS 4401377 HAS SOPS 4401377 HAS SOUS 2872059 HAS SOUPS 2872059 WITH SCORE 2876460.377
AT ITER 1589 NEW BEST:: SOT 8620634 SOS 4395983 HAS SOPS 4395983 HAS SOUS 2872059 HAS SOUPS 2872059 WITH SCORE 2876454.983
AT ITER 1597 NEW BEST:: SOT 8620552 SOS 4395901 HAS SOPS 4395901 HAS SOUS 2871977 HAS SOUPS 2871977 WITH SCORE 2876372.901
AT ITER 1599 NEW BEST:: SOT 8620552 SOS 4395893 HAS SOPS 4395893 HAS SOUS 2871977 HAS SOUPS 2871977 WITH SCORE 2876372.893
AT ITER 1600 NEW BEST:: SOT 8620211 SOS 4392754 HAS SOPS 4392754 HAS SOUS 2869357 HAS SOUPS 2869357 WITH SCORE 2873749.754
AT ITER 1603 NEW BEST:: SOT 8620136 SOS 4392679 HAS SOPS 4392679 HAS SOUS 2869357 HAS SOUPS 2869357 WITH SCORE 2873749.679
AT ITER 1613 NEW BEST:: SOT 8620136 SOS 4391113 HAS SOPS 4391113 HAS SOUS 2868650 HAS SOUPS 2868650 WITH SCORE 2873041.113
AT ITER 1616 NEW BEST:: SOT 8620136 SOS 4390657 HAS SOPS 4390657 HAS SOUS 2868373 HAS SOUPS 2868373 WITH SCORE 2872763.657
AT ITER 1618 NEW BEST:: SOT 8621647 SOS 4390173 HAS SOPS 4390173 HAS SOUS 2868065 HAS SOUPS 2868065 WITH SCORE 2872455.173
AT ITER 1625 NEW BEST:: SOT 8620011 SOS 4387719 HAS SOPS 4387719 HAS SOUS 2865611 HAS SOUPS 2865611 WITH SCORE 2869998.719
AT ITER 1626 NEW BEST:: SOT 8619288 SOS 4387854 HAS SOPS 4387854 HAS SOUS 2865395 HAS SOUPS 2865395 WITH SCORE 2869782.854
AT ITER 1627 NEW BEST:: SOT 8619288 SOS 4387429 HAS SOPS 4387429 HAS SOUS 2865395 HAS SOUPS 2865395 WITH SCORE 2869782.429
AT ITER 1628 NEW BEST:: SOT 8618430 SOS 4382871 HAS SOPS 4382871 HAS SOUS 2862840 HAS SOUPS 2862840 WITH SCORE 2867222.871
AT ITER 1635 NEW BEST:: SOT 8618430 SOS 4382317 HAS SOPS 4382317 HAS SOUS 2862788 HAS SOUPS 2862788 WITH SCORE 2867170.317
AT ITER 1643 NEW BEST:: SOT 8618027 SOS 4381108 HAS SOPS 4381108 HAS SOUS 2862385 HAS SOUPS 2862385 WITH SCORE 2866766.108
AT ITER 1654 NEW BEST:: SOT 8617131 SOS 4380326 HAS SOPS 4380326 HAS SOUS 2861489 HAS SOUPS 2861489 WITH SCORE 2865869.326
AT ITER 1657 NEW BEST:: SOT 8616771 SOS 4380157 HAS SOPS 4380157 HAS SOUS 2861319 HAS SOUPS 2861319 WITH SCORE 2865699.157
AT ITER 1658 NEW BEST:: SOT 8617961 SOS 4381059 HAS SOPS 4381059 HAS SOUS 2860695 HAS SOUPS 2860695 WITH SCORE 2865076.059
AT ITER 1660 NEW BEST:: SOT 8617529 SOS 4379763 HAS SOPS 4379763 HAS SOUS 2859399 HAS SOUPS 2859399 WITH SCORE 2863778.763
AT ITER 1664 NEW BEST:: SOT 8616834 SOS 4376521 HAS SOPS 4376521 HAS SOUS 2858796 HAS SOUPS 2858796 WITH SCORE 2863172.521
AT ITER 1665 NEW BEST:: SOT 8587944 SOS 4401751 HAS SOPS 4401751 HAS SOUS 2833642 HAS SOUPS 2833642 WITH SCORE 2838043.751
AT ITER 1668 NEW BEST:: SOT 8587944 SOS 4401371 HAS SOPS 4401371 HAS SOUS 2833641 HAS SOUPS 2833641 WITH SCORE 2838042.371
AT ITER 1670 NEW BEST:: SOT 8587944 SOS 4401371 HAS SOPS 4401371 HAS SOUS 2833461 HAS SOUPS 2833461 WITH SCORE 2837862.371
AT ITER 1675 NEW BEST:: SOT 8587223 SOS 4401225 HAS SOPS 4401225 HAS SOUS 2833315 HAS SOUPS 2833315 WITH SCORE 2837716.225
AT ITER 1676 NEW BEST:: SOT 8587652 SOS 4401508 HAS SOPS 4401508 HAS SOUS 2832810 HAS SOUPS 2832810 WITH SCORE 2837211.508
AT ITER 1677 NEW BEST:: SOT 8587089 SOS 4400382 HAS SOPS 4400382 HAS SOUS 2831592 HAS SOUPS 2831592 WITH SCORE 2835992.382
AT ITER 1682 NEW BEST:: SOT 8586753 SOS 4396904 HAS SOPS 4396904 HAS SOUS 2831088 HAS SOUPS 2831088 WITH SCORE 2835484.904
AT ITER 1685 NEW BEST:: SOT 8586753 SOS 4396716 HAS SOPS 4396716 HAS SOUS 2830994 HAS SOUPS 2830994 WITH SCORE 2835390.716
AT ITER 1686 NEW BEST:: SOT 8586629 SOS 4395726 HAS SOPS 4395726 HAS SOUS 2830128 HAS SOUPS 2830128 WITH SCORE 2834523.726
AT ITER 1690 NEW BEST:: SOT 8586629 SOS 4395231 HAS SOPS 4395231 HAS SOUS 2830127 HAS SOUPS 2830127 WITH SCORE 2834522.231
AT ITER 1694 NEW BEST:: SOT 8586629 SOS 4395211 HAS SOPS 4395211 HAS SOUS 2830107 HAS SOUPS 2830107 WITH SCORE 2834502.211
AT ITER 1697 NEW BEST:: SOT 8585379 SOS 4393961 HAS SOPS 4393961 HAS SOUS 2828857 HAS SOUPS 2828857 WITH SCORE 2833250.961
AT ITER 1705 NEW BEST:: SOT 8585065 SOS 4393461 HAS SOPS 4393461 HAS SOUS 2828479 HAS SOUPS 2828479 WITH SCORE 2832872.461
AT ITER 1706 NEW BEST:: SOT 8584607 SOS 4390181 HAS SOPS 4390181 HAS SOUS 2827710 HAS SOUPS 2827710 WITH SCORE 2832100.181
AT ITER 1710 NEW BEST:: SOT 8584607 SOS 4389969 HAS SOPS 4389969 HAS SOUS 2827710 HAS SOUPS 2827710 WITH SCORE 2832099.969
AT ITER 1715 NEW BEST:: SOT 8584255 SOS 4389265 HAS SOPS 4389265 HAS SOUS 2827352 HAS SOUPS 2827352 WITH SCORE 2831741.265
AT ITER 1719 NEW BEST:: SOT 8584180 SOS 4389040 HAS SOPS 4389040 HAS SOUS 2827277 HAS SOUPS 2827277 WITH SCORE 2831666.04
AT ITER 1724 NEW BEST:: SOT 8583718 SOS 4385168 HAS SOPS 4385168 HAS SOUS 2825846 HAS SOUPS 2825846 WITH SCORE 2830231.168
AT ITER 1725 NEW BEST:: SOT 8583525 SOS 4371658 HAS SOPS 4371658 HAS SOUS 2825460 HAS SOUPS 2825460 WITH SCORE 2829831.658
AT ITER 1726 NEW BEST:: SOT 8583181 SOS 4370282 HAS SOPS 4370282 HAS SOUS 2825115 HAS SOUPS 2825115 WITH SCORE 2829485.282
AT ITER 1736 NEW BEST:: SOT 8584112 SOS 4370717 HAS SOPS 4370717 HAS SOUS 2825043 HAS SOUPS 2825043 WITH SCORE 2829413.717
AT ITER 1737 NEW BEST:: SOT 8584112 SOS 4370848 HAS SOPS 4370848 HAS SOUS 2824912 HAS SOUPS 2824912 WITH SCORE 2829282.848
AT ITER 1738 NEW BEST:: SOT 8584253 SOS 4369469 HAS SOPS 4369469 HAS SOUS 2823778 HAS SOUPS 2823778 WITH SCORE 2828147.469
AT ITER 1744 NEW BEST:: SOT 8583821 SOS 4368605 HAS SOPS 4368605 HAS SOUS 2822505 HAS SOUPS 2822505 WITH SCORE 2826873.605
AT ITER 1747 NEW BEST:: SOT 8583573 SOS 4368109 HAS SOPS 4368109 HAS SOUS 2822257 HAS SOUPS 2822257 WITH SCORE 2826625.109
AT ITER 1749 NEW BEST:: SOT 8584562 SOS 4368606 HAS SOPS 4368606 HAS SOUS 2822235 HAS SOUPS 2822235 WITH SCORE 2826603.606
AT ITER 1754 NEW BEST:: SOT 8584194 SOS 4368568 HAS SOPS 4368568 HAS SOUS 2822197 HAS SOUPS 2822197 WITH SCORE 2826565.568
AT ITER 1756 NEW BEST:: SOT 8584194 SOS 4368568 HAS SOPS 4368568 HAS SOUS 2822089 HAS SOUPS 2822089 WITH SCORE 2826457.568
AT ITER 1759 NEW BEST:: SOT 8583990 SOS 4368364 HAS SOPS 4368364 HAS SOUS 2821883 HAS SOUPS 2821883 WITH SCORE 2826251.364
AT ITER 1761 NEW BEST:: SOT 8583990 SOS 4367951 HAS SOPS 4367951 HAS SOUS 2821470 HAS SOUPS 2821470 WITH SCORE 2825837.951
AT ITER 1762 NEW BEST:: SOT 8584181 SOS 4367292 HAS SOPS 4367292 HAS SOUS 2821256 HAS SOUPS 2821256 WITH SCORE 2825623.292
AT ITER 1763 NEW BEST:: SOT 8584109 SOS 4367292 HAS SOPS 4367292 HAS SOUS 2821193 HAS SOUPS 2821193 WITH SCORE 2825560.292
AT ITER 1764 NEW BEST:: SOT 8583746 SOS 4366565 HAS SOPS 4366565 HAS SOUS 2821192 HAS SOUPS 2821192 WITH SCORE 2825558.565
AT ITER 1766 NEW BEST:: SOT 8582926 SOS 4365578 HAS SOPS 4365578 HAS SOUS 2819080 HAS SOUPS 2819080 WITH SCORE 2823445.578
AT ITER 1768 NEW BEST:: SOT 8582939 SOS 4364532 HAS SOPS 4364532 HAS SOUS 2818625 HAS SOUPS 2818625 WITH SCORE 2822989.532
AT ITER 1769 NEW BEST:: SOT 8582463 SOS 4363580 HAS SOPS 4363580 HAS SOUS 2818625 HAS SOUPS 2818625 WITH SCORE 2822988.58
AT ITER 1776 NEW BEST:: SOT 8582208 SOS 4363070 HAS SOPS 4363070 HAS SOUS 2818554 HAS SOUPS 2818554 WITH SCORE 2822917.07
AT ITER 1780 NEW BEST:: SOT 8582208 SOS 4363070 HAS SOPS 4363070 HAS SOUS 2818533 HAS SOUPS 2818533 WITH SCORE 2822896.07
AT ITER 1781 NEW BEST:: SOT 8582208 SOS 4362008 HAS SOPS 4362008 HAS SOUS 2817471 HAS SOUPS 2817471 WITH SCORE 2821833.008
AT ITER 1791 NEW BEST:: SOT 8581744 SOS 4359982 HAS SOPS 4359982 HAS SOUS 2816957 HAS SOUPS 2816957 WITH SCORE 2821316.982
AT ITER 1796 NEW BEST:: SOT 8581130 SOS 4358754 HAS SOPS 4358754 HAS SOUS 2815763 HAS SOUPS 2815763 WITH SCORE 2820121.754
AT ITER 1812 NEW BEST:: SOT 8580452 SOS 4356042 HAS SOPS 4356042 HAS SOUS 2814963 HAS SOUPS 2814963 WITH SCORE 2819319.042
AT ITER 1817 NEW BEST:: SOT 8579984 SOS 4345144 HAS SOPS 4345144 HAS SOUS 2813701 HAS SOUPS 2813701 WITH SCORE 2818046.144
AT ITER 1820 NEW BEST:: SOT 8579710 SOS 4344596 HAS SOPS 4344596 HAS SOUS 2813153 HAS SOUPS 2813153 WITH SCORE 2817497.596
AT ITER 1824 NEW BEST:: SOT 8579061 SOS 4343947 HAS SOPS 4343947 HAS SOUS 2813052 HAS SOUPS 2813052 WITH SCORE 2817395.947
AT ITER 1829 NEW BEST:: SOT 8578508 SOS 4342841 HAS SOPS 4342841 HAS SOUS 2812497 HAS SOUPS 2812497 WITH SCORE 2816839.841
AT ITER 1832 NEW BEST:: SOT 8577990 SOS 4341805 HAS SOPS 4341805 HAS SOUS 2811908 HAS SOUPS 2811908 WITH SCORE 2816249.805
AT ITER 1843 NEW BEST:: SOT 8577905 SOS 4341797 HAS SOPS 4341797 HAS SOUS 2811823 HAS SOUPS 2811823 WITH SCORE 2816164.797
AT ITER 1848 NEW BEST:: SOT 8577905 SOS 4341467 HAS SOPS 4341467 HAS SOUS 2811218 HAS SOUPS 2811218 WITH SCORE 2815559.467
AT ITER 1851 NEW BEST:: SOT 8577085 SOS 4340671 HAS SOPS 4340671 HAS SOUS 2811047 HAS SOUPS 2811047 WITH SCORE 2815387.671
AT ITER 1854 NEW BEST:: SOT 8577191 SOS 4340412 HAS SOPS 4340412 HAS SOUS 2810317 HAS SOUPS 2810317 WITH SCORE 2814657.412
AT ITER 1863 NEW BEST:: SOT 8577045 SOS 4340266 HAS SOPS 4340266 HAS SOUS 2810271 HAS SOUPS 2810271 WITH SCORE 2814611.266
AT ITER 1865 NEW BEST:: SOT 8576040 SOS 4340760 HAS SOPS 4340760 HAS SOUS 2809479 HAS SOUPS 2809479 WITH SCORE 2813819.76
AT ITER 1869 NEW BEST:: SOT 8575336 SOS 4340931 HAS SOPS 4340931 HAS SOUS 2809017 HAS SOUPS 2809017 WITH SCORE 2813357.931
AT ITER 1874 NEW BEST:: SOT 8575839 SOS 4341644 HAS SOPS 4341644 HAS SOUS 2808927 HAS SOUPS 2808927 WITH SCORE 2813268.644
AT ITER 1882 NEW BEST:: SOT 8575578 SOS 4341383 HAS SOPS 4341383 HAS SOUS 2808666 HAS SOUPS 2808666 WITH SCORE 2813007.383
AT ITER 1891 NEW BEST:: SOT 8574679 SOS 4340254 HAS SOPS 4340254 HAS SOUS 2806884 HAS SOUPS 2806884 WITH SCORE 2811224.254
AT ITER 1899 NEW BEST:: SOT 8574679 SOS 4339678 HAS SOPS 4339678 HAS SOUS 2806862 HAS SOUPS 2806862 WITH SCORE 2811201.678
AT ITER 1901 NEW BEST:: SOT 8574679 SOS 4339678 HAS SOPS 4339678 HAS SOUS 2806860 HAS SOUPS 2806860 WITH SCORE 2811199.678
AT ITER 1909 NEW BEST:: SOT 8574278 SOS 4335902 HAS SOPS 4335902 HAS SOUS 2805514 HAS SOUPS 2805514 WITH SCORE 2809849.902
AT ITER 1918 NEW BEST:: SOT 8573284 SOS 4333914 HAS SOPS 4333914 HAS SOUS 2804666 HAS SOUPS 2804666 WITH SCORE 2808999.914
AT ITER 1920 NEW BEST:: SOT 8573192 SOS 4330226 HAS SOPS 4330226 HAS SOUS 2802616 HAS SOUPS 2802616 WITH SCORE 2806946.226
AT ITER 1924 NEW BEST:: SOT 8572854 SOS 4329549 HAS SOPS 4329549 HAS SOUS 2802277 HAS SOUPS 2802277 WITH SCORE 2806606.549
AT ITER 1925 NEW BEST:: SOT 8573141 SOS 4329558 HAS SOPS 4329558 HAS SOUS 2802070 HAS SOUPS 2802070 WITH SCORE 2806399.558
AT ITER 1928 NEW BEST:: SOT 8573496 SOS 4328494 HAS SOPS 4328494 HAS SOUS 2801780 HAS SOUPS 2801780 WITH SCORE 2806108.494
AT ITER 1936 NEW BEST:: SOT 8573496 SOS 4328089 HAS SOPS 4328089 HAS SOUS 2801375 HAS SOUPS 2801375 WITH SCORE 2805703.089
AT ITER 1938 NEW BEST:: SOT 8573495 SOS 4328088 HAS SOPS 4328088 HAS SOUS 2801374 HAS SOUPS 2801374 WITH SCORE 2805702.088
AT ITER 1939 NEW BEST:: SOT 8574147 SOS 4325072 HAS SOPS 4325072 HAS SOUS 2800220 HAS SOUPS 2800220 WITH SCORE 2804545.072
AT ITER 1942 NEW BEST:: SOT 8573835 SOS 4321678 HAS SOPS 4321678 HAS SOUS 2798519 HAS SOUPS 2798519 WITH SCORE 2802840.678
AT ITER 1944 NEW BEST:: SOT 8573835 SOS 4321678 HAS SOPS 4321678 HAS SOUS 2797817 HAS SOUPS 2797817 WITH SCORE 2802138.678
AT ITER 1945 NEW BEST:: SOT 8573835 SOS 4321340 HAS SOPS 4321340 HAS SOUS 2796995 HAS SOUPS 2796995 WITH SCORE 2801316.34
AT ITER 1951 NEW BEST:: SOT 8573838 SOS 4320184 HAS SOPS 4320184 HAS SOUS 2795889 HAS SOUPS 2795889 WITH SCORE 2800209.184
AT ITER 1955 NEW BEST:: SOT 8574466 SOS 4316836 HAS SOPS 4316836 HAS SOUS 2795506 HAS SOUPS 2795506 WITH SCORE 2799822.836
AT ITER 1956 NEW BEST:: SOT 8574006 SOS 4315917 HAS SOPS 4315917 HAS SOUS 2795252 HAS SOUPS 2795252 WITH SCORE 2799567.917
AT ITER 1961 NEW BEST:: SOT 8573759 SOS 4314216 HAS SOPS 4314216 HAS SOUS 2794635 HAS SOUPS 2794635 WITH SCORE 2798949.216
AT ITER 1973 NEW BEST:: SOT 8573759 SOS 4314139 HAS SOPS 4314139 HAS SOUS 2794558 HAS SOUPS 2794558 WITH SCORE 2798872.139
AT ITER 1978 NEW BEST:: SOT 8573737 SOS 4314095 HAS SOPS 4314095 HAS SOUS 2794514 HAS SOUPS 2794514 WITH SCORE 2798828.095
AT ITER 1979 NEW BEST:: SOT 8556776 SOS 4341595 HAS SOPS 4341595 HAS SOUS 2780326 HAS SOUPS 2780326 WITH SCORE 2784667.595
AT ITER 1989 NEW BEST:: SOT 8556776 SOS 4341070 HAS SOPS 4341070 HAS SOUS 2780262 HAS SOUPS 2780262 WITH SCORE 2784603.07
AT ITER 1990 NEW BEST:: SOT 8555412 SOS 4339024 HAS SOPS 4339024 HAS SOUS 2778216 HAS SOUPS 2778216 WITH SCORE 2782555.024
AT ITER 1991 NEW BEST:: SOT 8555620 SOS 4339041 HAS SOPS 4339041 HAS SOUS 2777834 HAS SOUPS 2777834 WITH SCORE 2782173.041
AT ITER 1993 NEW BEST:: SOT 8555029 SOS 4335505 HAS SOPS 4335505 HAS SOUS 2775258 HAS SOUPS 2775258 WITH SCORE 2779593.505
AT ITER 1998 NEW BEST:: SOT 8555096 SOS 4335640 HAS SOPS 4335640 HAS SOUS 2773837 HAS SOUPS 2773837 WITH SCORE 2778172.64
AT ITER 2002 NEW BEST:: SOT 8557522 SOS 4335390 HAS SOPS 4335390 HAS SOUS 2771996 HAS SOUPS 2771996 WITH SCORE 2776331.39
AT ITER 2025 NEW BEST:: SOT 8557618 SOS 4335414 HAS SOPS 4335414 HAS SOUS 2771687 HAS SOUPS 2771687 WITH SCORE 2776022.414
AT ITER 2026 NEW BEST:: SOT 8557539 SOS 4335256 HAS SOPS 4335256 HAS SOUS 2771529 HAS SOUPS 2771529 WITH SCORE 2775864.256
AT ITER 2034 NEW BEST:: SOT 8557280 SOS 4334997 HAS SOPS 4334997 HAS SOUS 2771270 HAS SOUPS 2771270 WITH SCORE 2775604.997
AT ITER 2036 NEW BEST:: SOT 8557729 SOS 4334882 HAS SOPS 4334882 HAS SOUS 2770832 HAS SOUPS 2770832 WITH SCORE 2775166.882
AT ITER 2046 NEW BEST:: SOT 8557264 SOS 4332451 HAS SOPS 4332451 HAS SOUS 2768742 HAS SOUPS 2768742 WITH SCORE 2773074.451
AT ITER 2055 NEW BEST:: SOT 8556808 SOS 4331511 HAS SOPS 4331511 HAS SOUS 2768286 HAS SOUPS 2768286 WITH SCORE 2772617.511
AT ITER 2056 NEW BEST:: SOT 8556764 SOS 4331423 HAS SOPS 4331423 HAS SOUS 2768242 HAS SOUPS 2768242 WITH SCORE 2772573.423
AT ITER 2057 NEW BEST:: SOT 8556764 SOS 4330960 HAS SOPS 4330960 HAS SOUS 2768241 HAS SOUPS 2768241 WITH SCORE 2772571.96
AT ITER 2060 NEW BEST:: SOT 8556764 SOS 4330573 HAS SOPS 4330573 HAS SOUS 2767854 HAS SOUPS 2767854 WITH SCORE 2772184.573
AT ITER 2065 NEW BEST:: SOT 8554758 SOS 4327690 HAS SOPS 4327690 HAS SOUS 2766099 HAS SOUPS 2766099 WITH SCORE 2770426.69
AT ITER 2067 NEW BEST:: SOT 8554376 SOS 4326926 HAS SOPS 4326926 HAS SOUS 2765717 HAS SOUPS 2765717 WITH SCORE 2770043.926
AT ITER 2070 NEW BEST:: SOT 8553992 SOS 4326926 HAS SOPS 4326926 HAS SOUS 2765367 HAS SOUPS 2765367 WITH SCORE 2769693.926
AT ITER 2074 NEW BEST:: SOT 8553603 SOS 4325759 HAS SOPS 4325759 HAS SOUS 2764978 HAS SOUPS 2764978 WITH SCORE 2769303.759
AT ITER 2077 NEW BEST:: SOT 8552697 SOS 4324400 HAS SOPS 4324400 HAS SOUS 2763619 HAS SOUPS 2763619 WITH SCORE 2767943.4
AT ITER 2082 NEW BEST:: SOT 8553116 SOS 4299477 HAS SOPS 4299477 HAS SOUS 2762571 HAS SOUPS 2762571 WITH SCORE 2766870.477
AT ITER 2088 NEW BEST:: SOT 8552003 SOS 4297250 HAS SOPS 4297250 HAS SOUS 2761659 HAS SOUPS 2761659 WITH SCORE 2765956.25
AT ITER 2100 NEW BEST:: SOT 8552003 SOS 4297250 HAS SOPS 4297250 HAS SOUS 2761599 HAS SOUPS 2761599 WITH SCORE 2765896.25
AT ITER 2103 NEW BEST:: SOT 8551697 SOS 4297321 HAS SOPS 4297321 HAS SOUS 2761509 HAS SOUPS 2761509 WITH SCORE 2765806.321
AT ITER 2110 NEW BEST:: SOT 8551697 SOS 4297716 HAS SOPS 4297716 HAS SOUS 2761507 HAS SOUPS 2761507 WITH SCORE 2765804.716
AT ITER 2120 NEW BEST:: SOT 8552253 SOS 4297544 HAS SOPS 4297544 HAS SOUS 2761268 HAS SOUPS 2761268 WITH SCORE 2765565.544
AT ITER 2121 NEW BEST:: SOT 8552253 SOS 4297350 HAS SOPS 4297350 HAS SOUS 2760880 HAS SOUPS 2760880 WITH SCORE 2765177.35
AT ITER 2125 NEW BEST:: SOT 8545586 SOS 4328502 HAS SOPS 4328502 HAS SOUS 2755613 HAS SOUPS 2755613 WITH SCORE 2759941.502
AT ITER 2129 NEW BEST:: SOT 8545301 SOS 4327932 HAS SOPS 4327932 HAS SOUS 2754645 HAS SOUPS 2754645 WITH SCORE 2758972.932
AT ITER 2132 NEW BEST:: SOT 8544727 SOS 4323990 HAS SOPS 4323990 HAS SOUS 2752122 HAS SOUPS 2752122 WITH SCORE 2756445.99
AT ITER 2136 NEW BEST:: SOT 8544339 SOS 4323602 HAS SOPS 4323602 HAS SOUS 2751561 HAS SOUPS 2751561 WITH SCORE 2755884.602
AT ITER 2144 NEW BEST:: SOT 8544339 SOS 4323479 HAS SOPS 4323479 HAS SOUS 2751561 HAS SOUPS 2751561 WITH SCORE 2755884.479
AT ITER 2152 NEW BEST:: SOT 8544335 SOS 4323471 HAS SOPS 4323471 HAS SOUS 2751557 HAS SOUPS 2751557 WITH SCORE 2755880.471
AT ITER 2164 NEW BEST:: SOT 8544335 SOS 4322574 HAS SOPS 4322574 HAS SOUS 2748897 HAS SOUPS 2748897 WITH SCORE 2753219.574
AT ITER 2173 NEW BEST:: SOT 8544512 SOS 4322340 HAS SOPS 4322340 HAS SOUS 2748250 HAS SOUPS 2748250 WITH SCORE 2752572.34
AT ITER 2176 NEW BEST:: SOT 8543642 SOS 4321884 HAS SOPS 4321884 HAS SOUS 2747582 HAS SOUPS 2747582 WITH SCORE 2751903.884
AT ITER 2185 NEW BEST:: SOT 8542813 SOS 4320226 HAS SOPS 4320226 HAS SOUS 2746753 HAS SOUPS 2746753 WITH SCORE 2751073.226
AT ITER 2194 NEW BEST:: SOT 8541344 SOS 4318710 HAS SOPS 4318710 HAS SOUS 2746251 HAS SOUPS 2746251 WITH SCORE 2750569.71
AT ITER 2196 NEW BEST:: SOT 8541344 SOS 4317821 HAS SOPS 4317821 HAS SOUS 2746251 HAS SOUPS 2746251 WITH SCORE 2750568.821
AT ITER 2197 NEW BEST:: SOT 8541587 SOS 4317316 HAS SOPS 4317316 HAS SOUS 2745746 HAS SOUPS 2745746 WITH SCORE 2750063.316
AT ITER 2202 NEW BEST:: SOT 8541587 SOS 4317316 HAS SOPS 4317316 HAS SOUS 2745282 HAS SOUPS 2745282 WITH SCORE 2749599.316
AT ITER 2208 NEW BEST:: SOT 8541692 SOS 4317526 HAS SOPS 4317526 HAS SOUS 2744955 HAS SOUPS 2744955 WITH SCORE 2749272.526
AT ITER 2209 NEW BEST:: SOT 8541476 SOS 4316662 HAS SOPS 4316662 HAS SOUS 2744307 HAS SOUPS 2744307 WITH SCORE 2748623.662
AT ITER 2214 NEW BEST:: SOT 8541476 SOS 4316662 HAS SOPS 4316662 HAS SOUS 2743652 HAS SOUPS 2743652 WITH SCORE 2747968.662
AT ITER 2220 NEW BEST:: SOT 8541476 SOS 4316464 HAS SOPS 4316464 HAS SOUS 2743296 HAS SOUPS 2743296 WITH SCORE 2747612.464
AT ITER 2221 NEW BEST:: SOT 8541479 SOS 4314696 HAS SOPS 4314696 HAS SOUS 2739747 HAS SOUPS 2739747 WITH SCORE 2744061.696
AT ITER 2230 NEW BEST:: SOT 8541479 SOS 4314696 HAS SOPS 4314696 HAS SOUS 2739064 HAS SOUPS 2739064 WITH SCORE 2743378.696
AT ITER 2231 NEW BEST:: SOT 8541479 SOS 4314430 HAS SOPS 4314430 HAS SOUS 2738798 HAS SOUPS 2738798 WITH SCORE 2743112.43
AT ITER 2232 NEW BEST:: SOT 8541116 SOS 4314430 HAS SOPS 4314430 HAS SOUS 2738072 HAS SOUPS 2738072 WITH SCORE 2742386.43
AT ITER 2235 NEW BEST:: SOT 8541093 SOS 4313579 HAS SOPS 4313579 HAS SOUS 2738071 HAS SOUPS 2738071 WITH SCORE 2742384.579
AT ITER 2237 NEW BEST:: SOT 8541015 SOS 4314115 HAS SOPS 4314115 HAS SOUS 2737993 HAS SOUPS 2737993 WITH SCORE 2742307.115
AT ITER 2245 NEW BEST:: SOT 8540600 SOS 4313285 HAS SOPS 4313285 HAS SOUS 2737115 HAS SOUPS 2737115 WITH SCORE 2741428.285
AT ITER 2258 NEW BEST:: SOT 8540600 SOS 4311207 HAS SOPS 4311207 HAS SOUS 2737028 HAS SOUPS 2737028 WITH SCORE 2741339.207
AT ITER 2264 NEW BEST:: SOT 8540307 SOS 4310621 HAS SOPS 4310621 HAS SOUS 2736442 HAS SOUPS 2736442 WITH SCORE 2740752.621
AT ITER 2268 NEW BEST:: SOT 8540307 SOS 4310517 HAS SOPS 4310517 HAS SOUS 2736338 HAS SOUPS 2736338 WITH SCORE 2740648.517
AT ITER 2289 NEW BEST:: SOT 8540472 SOS 4310682 HAS SOPS 4310682 HAS SOUS 2735889 HAS SOUPS 2735889 WITH SCORE 2740199.682
AT ITER 2296 NEW BEST:: SOT 8541160 SOS 4310668 HAS SOPS 4310668 HAS SOUS 2735308 HAS SOUPS 2735308 WITH SCORE 2739618.668
AT ITER 2299 NEW BEST:: SOT 8541383 SOS 4309651 HAS SOPS 4309651 HAS SOUS 2734896 HAS SOUPS 2734896 WITH SCORE 2739205.651
AT ITER 2308 NEW BEST:: SOT 8541306 SOS 4307647 HAS SOPS 4307647 HAS SOUS 2733894 HAS SOUPS 2733894 WITH SCORE 2738201.647
AT ITER 2323 NEW BEST:: SOT 8540992 SOS 4307333 HAS SOPS 4307333 HAS SOUS 2733482 HAS SOUPS 2733482 WITH SCORE 2737789.333
AT ITER 2336 NEW BEST:: SOT 8540800 SOS 4306949 HAS SOPS 4306949 HAS SOUS 2733290 HAS SOUPS 2733290 WITH SCORE 2737596.949
AT ITER 2337 NEW BEST:: SOT 8540759 SOS 4303930 HAS SOPS 4303930 HAS SOUS 2733093 HAS SOUPS 2733093 WITH SCORE 2737396.93
AT ITER 2338 NEW BEST:: SOT 8540611 SOS 4301169 HAS SOPS 4301169 HAS SOUS 2731192 HAS SOUPS 2731192 WITH SCORE 2735493.169
AT ITER 2346 NEW BEST:: SOT 8540611 SOS 4301169 HAS SOPS 4301169 HAS SOUS 2731051 HAS SOUPS 2731051 WITH SCORE 2735352.169
AT ITER 2348 NEW BEST:: SOT 8540611 SOS 4300918 HAS SOPS 4300918 HAS SOUS 2730671 HAS SOUPS 2730671 WITH SCORE 2734971.918
AT ITER 2350 NEW BEST:: SOT 8540637 SOS 4300661 HAS SOPS 4300661 HAS SOUS 2730414 HAS SOUPS 2730414 WITH SCORE 2734714.661
AT ITER 2359 NEW BEST:: SOT 8540637 SOS 4300511 HAS SOPS 4300511 HAS SOUS 2730414 HAS SOUPS 2730414 WITH SCORE 2734714.511
AT ITER 2379 NEW BEST:: SOT 8540464 SOS 4299992 HAS SOPS 4299992 HAS SOUS 2729895 HAS SOUPS 2729895 WITH SCORE 2734194.992
AT ITER 2382 NEW BEST:: SOT 8540541 SOS 4298878 HAS SOPS 4298878 HAS SOUS 2729814 HAS SOUPS 2729814 WITH SCORE 2734112.878
AT ITER 2387 NEW BEST:: SOT 8540240 SOS 4298276 HAS SOPS 4298276 HAS SOUS 2728752 HAS SOUPS 2728752 WITH SCORE 2733050.276
AT ITER 2391 NEW BEST:: SOT 8540240 SOS 4298276 HAS SOPS 4298276 HAS SOUS 2728743 HAS SOUPS 2728743 WITH SCORE 2733041.276
AT ITER 2398 NEW BEST:: SOT 8540279 SOS 4298280 HAS SOPS 4298280 HAS SOUS 2728333 HAS SOUPS 2728333 WITH SCORE 2732631.28
AT ITER 2410 NEW BEST:: SOT 8539862 SOS 4297446 HAS SOPS 4297446 HAS SOUS 2727103 HAS SOUPS 2727103 WITH SCORE 2731400.446
AT ITER 2411 NEW BEST:: SOT 8539862 SOS 4296780 HAS SOPS 4296780 HAS SOUS 2726905 HAS SOUPS 2726905 WITH SCORE 2731201.78
AT ITER 2416 NEW BEST:: SOT 8539459 SOS 4296595 HAS SOPS 4296595 HAS SOUS 2726711 HAS SOUPS 2726711 WITH SCORE 2731007.595
AT ITER 2418 NEW BEST:: SOT 8539740 SOS 4293249 HAS SOPS 4293249 HAS SOUS 2726155 HAS SOUPS 2726155 WITH SCORE 2730448.249
AT ITER 2422 NEW BEST:: SOT 8539208 SOS 4292185 HAS SOPS 4292185 HAS SOUS 2725623 HAS SOUPS 2725623 WITH SCORE 2729915.185
AT ITER 2426 NEW BEST:: SOT 8539529 SOS 4291258 HAS SOPS 4291258 HAS SOUS 2725235 HAS SOUPS 2725235 WITH SCORE 2729526.258
AT ITER 2432 NEW BEST:: SOT 8539589 SOS 4291017 HAS SOPS 4291017 HAS SOUS 2724948 HAS SOUPS 2724948 WITH SCORE 2729239.017
AT ITER 2437 NEW BEST:: SOT 8539589 SOS 4290903 HAS SOPS 4290903 HAS SOUS 2724948 HAS SOUPS 2724948 WITH SCORE 2729238.903
AT ITER 2442 NEW BEST:: SOT 8540473 SOS 4291080 HAS SOPS 4291080 HAS SOUS 2723863 HAS SOUPS 2723863 WITH SCORE 2728154.08
AT ITER 2445 NEW BEST:: SOT 8540322 SOS 4290929 HAS SOPS 4290929 HAS SOUS 2723817 HAS SOUPS 2723817 WITH SCORE 2728107.929
AT ITER 2448 NEW BEST:: SOT 8541442 SOS 4291242 HAS SOPS 4291242 HAS SOUS 2722482 HAS SOUPS 2722482 WITH SCORE 2726773.242
AT ITER 2452 NEW BEST:: SOT 8540647 SOS 4291492 HAS SOPS 4291492 HAS SOUS 2721913 HAS SOUPS 2721913 WITH SCORE 2726204.492
AT ITER 2454 NEW BEST:: SOT 8540913 SOS 4284304 HAS SOPS 4284304 HAS SOUS 2721064 HAS SOUPS 2721064 WITH SCORE 2725348.304
AT ITER 2457 NEW BEST:: SOT 8540879 SOS 4284236 HAS SOPS 4284236 HAS SOUS 2720996 HAS SOUPS 2720996 WITH SCORE 2725280.236
AT ITER 2461 NEW BEST:: SOT 8540793 SOS 4283978 HAS SOPS 4283978 HAS SOUS 2720824 HAS SOUPS 2720824 WITH SCORE 2725107.978
AT ITER 2464 NEW BEST:: SOT 8540594 SOS 4283263 HAS SOPS 4283263 HAS SOUS 2720085 HAS SOUPS 2720085 WITH SCORE 2724368.263
AT ITER 2466 NEW BEST:: SOT 8540308 SOS 4282691 HAS SOPS 4282691 HAS SOUS 2718463 HAS SOUPS 2718463 WITH SCORE 2722745.691
AT ITER 2468 NEW BEST:: SOT 8540424 SOS 4283491 HAS SOPS 4283491 HAS SOUS 2718286 HAS SOUPS 2718286 WITH SCORE 2722569.491
AT ITER 2469 NEW BEST:: SOT 8540176 SOS 4282747 HAS SOPS 4282747 HAS SOUS 2717790 HAS SOUPS 2717790 WITH SCORE 2722072.747
AT ITER 2478 NEW BEST:: SOT 8539555 SOS 4280884 HAS SOPS 4280884 HAS SOUS 2717169 HAS SOUPS 2717169 WITH SCORE 2721449.884
AT ITER 2480 NEW BEST:: SOT 8539554 SOS 4280883 HAS SOPS 4280883 HAS SOUS 2717168 HAS SOUPS 2717168 WITH SCORE 2721448.883
AT ITER 2484 NEW BEST:: SOT 8539267 SOS 4280022 HAS SOPS 4280022 HAS SOUS 2716307 HAS SOUPS 2716307 WITH SCORE 2720587.022
AT ITER 2489 NEW BEST:: SOT 8539285 SOS 4279962 HAS SOPS 4279962 HAS SOUS 2716295 HAS SOUPS 2716295 WITH SCORE 2720574.962
AT ITER 2496 NEW BEST:: SOT 8537955 SOS 4277302 HAS SOPS 4277302 HAS SOUS 2715338 HAS SOUPS 2715338 WITH SCORE 2719615.302
AT ITER 2498 NEW BEST:: SOT 8537813 SOS 4277160 HAS SOPS 4277160 HAS SOUS 2715207 HAS SOUPS 2715207 WITH SCORE 2719484.16
AT ITER 2502 NEW BEST:: SOT 8537813 SOS 4276494 HAS SOPS 4276494 HAS SOUS 2714541 HAS SOUPS 2714541 WITH SCORE 2718817.494
AT ITER 2503 NEW BEST:: SOT 8537427 SOS 4276108 HAS SOPS 4276108 HAS SOUS 2714318 HAS SOUPS 2714318 WITH SCORE 2718594.108
AT ITER 2504 NEW BEST:: SOT 8537140 SOS 4275534 HAS SOPS 4275534 HAS SOUS 2714031 HAS SOUPS 2714031 WITH SCORE 2718306.534
AT ITER 2505 NEW BEST:: SOT 8537140 SOS 4275534 HAS SOPS 4275534 HAS SOUS 2713898 HAS SOUPS 2713898 WITH SCORE 2718173.534
AT ITER 2508 NEW BEST:: SOT 8537140 SOS 4275534 HAS SOPS 4275534 HAS SOUS 2713897 HAS SOUPS 2713897 WITH SCORE 2718172.534
AT ITER 2509 NEW BEST:: SOT 8537092 SOS 4276260 HAS SOPS 4276260 HAS SOUS 2713849 HAS SOUPS 2713849 WITH SCORE 2718125.26
AT ITER 2511 NEW BEST:: SOT 8537092 SOS 4276260 HAS SOPS 4276260 HAS SOUS 2713830 HAS SOUPS 2713830 WITH SCORE 2718106.26
AT ITER 2522 NEW BEST:: SOT 8537092 SOS 4275563 HAS SOPS 4275563 HAS SOUS 2712128 HAS SOUPS 2712128 WITH SCORE 2716403.563
AT ITER 2525 NEW BEST:: SOT 8537092 SOS 4274361 HAS SOPS 4274361 HAS SOUS 2711527 HAS SOUPS 2711527 WITH SCORE 2715801.361
AT ITER 2532 NEW BEST:: SOT 8535717 SOS 4273090 HAS SOPS 4273090 HAS SOUS 2711184 HAS SOUPS 2711184 WITH SCORE 2715457.09
AT ITER 2535 NEW BEST:: SOT 8535717 SOS 4271394 HAS SOPS 4271394 HAS SOUS 2710336 HAS SOUPS 2710336 WITH SCORE 2714607.394
AT ITER 2536 NEW BEST:: SOT 8535746 SOS 4270774 HAS SOPS 4270774 HAS SOUS 2710026 HAS SOUPS 2710026 WITH SCORE 2714296.774
AT ITER 2541 NEW BEST:: SOT 8535999 SOS 4271027 HAS SOPS 4271027 HAS SOUS 2707991 HAS SOUPS 2707991 WITH SCORE 2712262.027
AT ITER 2543 NEW BEST:: SOT 8535551 SOS 4271163 HAS SOPS 4271163 HAS SOUS 2707755 HAS SOUPS 2707755 WITH SCORE 2712026.163
AT ITER 2551 NEW BEST:: SOT 8535646 SOS 4270704 HAS SOPS 4270704 HAS SOUS 2707212 HAS SOUPS 2707212 WITH SCORE 2711482.704
AT ITER 2555 NEW BEST:: SOT 8532545 SOS 4292582 HAS SOPS 4292582 HAS SOUS 2706432 HAS SOUPS 2706432 WITH SCORE 2710724.582
AT ITER 2562 NEW BEST:: SOT 8532545 SOS 4291573 HAS SOPS 4291573 HAS SOUS 2705644 HAS SOUPS 2705644 WITH SCORE 2709935.573
AT ITER 2563 NEW BEST:: SOT 8532545 SOS 4291460 HAS SOPS 4291460 HAS SOUS 2705531 HAS SOUPS 2705531 WITH SCORE 2709822.46
AT ITER 2574 NEW BEST:: SOT 8532628 SOS 4290549 HAS SOPS 4290549 HAS SOUS 2703278 HAS SOUPS 2703278 WITH SCORE 2707568.549
AT ITER 2575 NEW BEST:: SOT 8532624 SOS 4290541 HAS SOPS 4290541 HAS SOUS 2703270 HAS SOUPS 2703270 WITH SCORE 2707560.541
AT ITER 2579 NEW BEST:: SOT 8533174 SOS 4290659 HAS SOPS 4290659 HAS SOUS 2702973 HAS SOUPS 2702973 WITH SCORE 2707263.659
AT ITER 2581 NEW BEST:: SOT 8532950 SOS 4290435 HAS SOPS 4290435 HAS SOUS 2702749 HAS SOUPS 2702749 WITH SCORE 2707039.435
AT ITER 2590 NEW BEST:: SOT 8532561 SOS 4290642 HAS SOPS 4290642 HAS SOUS 2702616 HAS SOUPS 2702616 WITH SCORE 2706906.642
AT ITER 2594 NEW BEST:: SOT 8531909 SOS 4289338 HAS SOPS 4289338 HAS SOUS 2701790 HAS SOUPS 2701790 WITH SCORE 2706079.338
AT ITER 2595 NEW BEST:: SOT 8531998 SOS 4289476 HAS SOPS 4289476 HAS SOUS 2700100 HAS SOUPS 2700100 WITH SCORE 2704389.476
AT ITER 2600 NEW BEST:: SOT 8531998 SOS 4286854 HAS SOPS 4286854 HAS SOUS 2700100 HAS SOUPS 2700100 WITH SCORE 2704386.854
AT ITER 2604 NEW BEST:: SOT 8530896 SOS 4286740 HAS SOPS 4286740 HAS SOUS 2699592 HAS SOUPS 2699592 WITH SCORE 2703878.74
AT ITER 2609 NEW BEST:: SOT 8530731 SOS 4286575 HAS SOPS 4286575 HAS SOUS 2699427 HAS SOUPS 2699427 WITH SCORE 2703713.575
AT ITER 2614 NEW BEST:: SOT 8530730 SOS 4285406 HAS SOPS 4285406 HAS SOUS 2698741 HAS SOUPS 2698741 WITH SCORE 2703026.406
AT ITER 2617 NEW BEST:: SOT 8531464 SOS 4284785 HAS SOPS 4284785 HAS SOUS 2698443 HAS SOUPS 2698443 WITH SCORE 2702727.785
AT ITER 2624 NEW BEST:: SOT 8531488 SOS 4282797 HAS SOPS 4282797 HAS SOUS 2694737 HAS SOUPS 2694737 WITH SCORE 2699019.797
AT ITER 2626 NEW BEST:: SOT 8530650 SOS 4281215 HAS SOPS 4281215 HAS SOUS 2693155 HAS SOUPS 2693155 WITH SCORE 2697436.215
AT ITER 2627 NEW BEST:: SOT 8530901 SOS 4281160 HAS SOPS 4281160 HAS SOUS 2693138 HAS SOUPS 2693138 WITH SCORE 2697419.16
AT ITER 2628 NEW BEST:: SOT 8530901 SOS 4280722 HAS SOPS 4280722 HAS SOUS 2693138 HAS SOUPS 2693138 WITH SCORE 2697418.722
AT ITER 2634 NEW BEST:: SOT 8531003 SOS 4279315 HAS SOPS 4279315 HAS SOUS 2690220 HAS SOUPS 2690220 WITH SCORE 2694499.315
AT ITER 2639 NEW BEST:: SOT 8531157 SOS 4275801 HAS SOPS 4275801 HAS SOUS 2687611 HAS SOUPS 2687611 WITH SCORE 2691886.801
AT ITER 2641 NEW BEST:: SOT 8531703 SOS 4276096 HAS SOPS 4276096 HAS SOUS 2687592 HAS SOUPS 2687592 WITH SCORE 2691868.096
AT ITER 2648 NEW BEST:: SOT 8531656 SOS 4276002 HAS SOPS 4276002 HAS SOUS 2687590 HAS SOUPS 2687590 WITH SCORE 2691866.002
AT ITER 2650 NEW BEST:: SOT 8531656 SOS 4275451 HAS SOPS 4275451 HAS SOUS 2686557 HAS SOUPS 2686557 WITH SCORE 2690832.451
AT ITER 2651 NEW BEST:: SOT 8529994 SOS 4270173 HAS SOPS 4270173 HAS SOUS 2684820 HAS SOUPS 2684820 WITH SCORE 2689090.173
AT ITER 2652 NEW BEST:: SOT 8530063 SOS 4268756 HAS SOPS 4268756 HAS SOUS 2683333 HAS SOUPS 2683333 WITH SCORE 2687601.756
AT ITER 2653 NEW BEST:: SOT 8529598 SOS 4268865 HAS SOPS 4268865 HAS SOUS 2682868 HAS SOUPS 2682868 WITH SCORE 2687136.865
AT ITER 2661 NEW BEST:: SOT 8529566 SOS 4269079 HAS SOPS 4269079 HAS SOUS 2682836 HAS SOUPS 2682836 WITH SCORE 2687105.079
AT ITER 2662 NEW BEST:: SOT 8530387 SOS 4267152 HAS SOPS 4267152 HAS SOUS 2681268 HAS SOUPS 2681268 WITH SCORE 2685535.152
AT ITER 2663 NEW BEST:: SOT 8530620 SOS 4266997 HAS SOPS 4266997 HAS SOUS 2680752 HAS SOUPS 2680752 WITH SCORE 2685018.997
AT ITER 2667 NEW BEST:: SOT 8530965 SOS 4265970 HAS SOPS 4265970 HAS SOUS 2679725 HAS SOUPS 2679725 WITH SCORE 2683990.97
AT ITER 2670 NEW BEST:: SOT 8531057 SOS 4265831 HAS SOPS 4265831 HAS SOUS 2679586 HAS SOUPS 2679586 WITH SCORE 2683851.831
AT ITER 2673 NEW BEST:: SOT 8530634 SOS 4265408 HAS SOPS 4265408 HAS SOUS 2679584 HAS SOUPS 2679584 WITH SCORE 2683849.408
AT ITER 2679 NEW BEST:: SOT 8530673 SOS 4264667 HAS SOPS 4264667 HAS SOUS 2678843 HAS SOUPS 2678843 WITH SCORE 2683107.667
AT ITER 2685 NEW BEST:: SOT 8530838 SOS 4263137 HAS SOPS 4263137 HAS SOUS 2678334 HAS SOUPS 2678334 WITH SCORE 2682597.137
AT ITER 2688 NEW BEST:: SOT 8530223 SOS 4261907 HAS SOPS 4261907 HAS SOUS 2677207 HAS SOUPS 2677207 WITH SCORE 2681468.907
AT ITER 2689 NEW BEST:: SOT 8529431 SOS 4260323 HAS SOPS 4260323 HAS SOUS 2675623 HAS SOUPS 2675623 WITH SCORE 2679883.323
AT ITER 2693 NEW BEST:: SOT 8529431 SOS 4259673 HAS SOPS 4259673 HAS SOUS 2674973 HAS SOUPS 2674973 WITH SCORE 2679232.673
AT ITER 2694 NEW BEST:: SOT 8529431 SOS 4259673 HAS SOPS 4259673 HAS SOUS 2674578 HAS SOUPS 2674578 WITH SCORE 2678837.673
AT ITER 2700 NEW BEST:: SOT 8529466 SOS 4258887 HAS SOPS 4258887 HAS SOUS 2674145 HAS SOUPS 2674145 WITH SCORE 2678403.887
AT ITER 2701 NEW BEST:: SOT 8530590 SOS 4259979 HAS SOPS 4259979 HAS SOUS 2673931 HAS SOUPS 2673931 WITH SCORE 2678190.979
AT ITER 2705 NEW BEST:: SOT 8530186 SOS 4258412 HAS SOPS 4258412 HAS SOUS 2673043 HAS SOUPS 2673043 WITH SCORE 2677301.412
AT ITER 2706 NEW BEST:: SOT 8530186 SOS 4258272 HAS SOPS 4258272 HAS SOUS 2672767 HAS SOUPS 2672767 WITH SCORE 2677025.272
AT ITER 2718 NEW BEST:: SOT 8530186 SOS 4258040 HAS SOPS 4258040 HAS SOUS 2672634 HAS SOUPS 2672634 WITH SCORE 2676892.04
AT ITER 2719 NEW BEST:: SOT 8530186 SOS 4258040 HAS SOPS 4258040 HAS SOUS 2672633 HAS SOUPS 2672633 WITH SCORE 2676891.04
AT ITER 2723 NEW BEST:: SOT 8530114 SOS 4257884 HAS SOPS 4257884 HAS SOUS 2671822 HAS SOUPS 2671822 WITH SCORE 2676079.884
AT ITER 2733 NEW BEST:: SOT 8529916 SOS 4257937 HAS SOPS 4257937 HAS SOUS 2671624 HAS SOUPS 2671624 WITH SCORE 2675881.937
AT ITER 2739 NEW BEST:: SOT 8529883 SOS 4256971 HAS SOPS 4256971 HAS SOUS 2671349 HAS SOUPS 2671349 WITH SCORE 2675605.971
AT ITER 2740 NEW BEST:: SOT 8529883 SOS 4256971 HAS SOPS 4256971 HAS SOUS 2671268 HAS SOUPS 2671268 WITH SCORE 2675524.971
AT ITER 2741 NEW BEST:: SOT 8529883 SOS 4256209 HAS SOPS 4256209 HAS SOUS 2669621 HAS SOUPS 2669621 WITH SCORE 2673877.209
AT ITER 2742 NEW BEST:: SOT 8529746 SOS 4256264 HAS SOPS 4256264 HAS SOUS 2669484 HAS SOUPS 2669484 WITH SCORE 2673740.264
AT ITER 2747 NEW BEST:: SOT 8528737 SOS 4254938 HAS SOPS 4254938 HAS SOUS 2668158 HAS SOUPS 2668158 WITH SCORE 2672412.938
AT ITER 2750 NEW BEST:: SOT 8528160 SOS 4253784 HAS SOPS 4253784 HAS SOUS 2667497 HAS SOUPS 2667497 WITH SCORE 2671750.784
AT ITER 2770 NEW BEST:: SOT 8527939 SOS 4253457 HAS SOPS 4253457 HAS SOUS 2666712 HAS SOUPS 2666712 WITH SCORE 2670965.457
AT ITER 2774 NEW BEST:: SOT 8527939 SOS 4253165 HAS SOPS 4253165 HAS SOUS 2666420 HAS SOUPS 2666420 WITH SCORE 2670673.165
AT ITER 2784 NEW BEST:: SOT 8527629 SOS 4252011 HAS SOPS 4252011 HAS SOUS 2665687 HAS SOUPS 2665687 WITH SCORE 2669939.011
AT ITER 2785 NEW BEST:: SOT 8527629 SOS 4251347 HAS SOPS 4251347 HAS SOUS 2665023 HAS SOUPS 2665023 WITH SCORE 2669274.347
AT ITER 2786 NEW BEST:: SOT 8527373 SOS 4250835 HAS SOPS 4250835 HAS SOUS 2665017 HAS SOUPS 2665017 WITH SCORE 2669267.835
AT ITER 2787 NEW BEST:: SOT 8527150 SOS 4250312 HAS SOPS 4250312 HAS SOUS 2664312 HAS SOUPS 2664312 WITH SCORE 2668562.312
AT ITER 2792 NEW BEST:: SOT 8525982 SOS 4248856 HAS SOPS 4248856 HAS SOUS 2662337 HAS SOUPS 2662337 WITH SCORE 2666585.856
AT ITER 2805 NEW BEST:: SOT 8526673 SOS 4250238 HAS SOPS 4250238 HAS SOUS 2661877 HAS SOUPS 2661877 WITH SCORE 2666127.238
AT ITER 2807 NEW BEST:: SOT 8526955 SOS 4249701 HAS SOPS 4249701 HAS SOUS 2661340 HAS SOUPS 2661340 WITH SCORE 2665589.701
AT ITER 2816 NEW BEST:: SOT 8526045 SOS 4246971 HAS SOPS 4246971 HAS SOUS 2659652 HAS SOUPS 2659652 WITH SCORE 2663898.971
AT ITER 2828 NEW BEST:: SOT 8526045 SOS 4246971 HAS SOPS 4246971 HAS SOUS 2659387 HAS SOUPS 2659387 WITH SCORE 2663633.971
AT ITER 2833 NEW BEST:: SOT 8525347 SOS 4245575 HAS SOPS 4245575 HAS SOUS 2658689 HAS SOUPS 2658689 WITH SCORE 2662934.575
AT ITER 2837 NEW BEST:: SOT 8525444 SOS 4246625 HAS SOPS 4246625 HAS SOUS 2657739 HAS SOUPS 2657739 WITH SCORE 2661985.625
AT ITER 2838 NEW BEST:: SOT 8525529 SOS 4246051 HAS SOPS 4246051 HAS SOUS 2656421 HAS SOUPS 2656421 WITH SCORE 2660667.051
AT ITER 2844 NEW BEST:: SOT 8525384 SOS 4245761 HAS SOPS 4245761 HAS SOUS 2656276 HAS SOUPS 2656276 WITH SCORE 2660521.761
AT ITER 2854 NEW BEST:: SOT 8525370 SOS 4244281 HAS SOPS 4244281 HAS SOUS 2655425 HAS SOUPS 2655425 WITH SCORE 2659669.281
AT ITER 2857 NEW BEST:: SOT 8525370 SOS 4243107 HAS SOPS 4243107 HAS SOUS 2655275 HAS SOUPS 2655275 WITH SCORE 2659518.107
AT ITER 2858 NEW BEST:: SOT 8524733 SOS 4242494 HAS SOPS 4242494 HAS SOUS 2655197 HAS SOUPS 2655197 WITH SCORE 2659439.494
AT ITER 2863 NEW BEST:: SOT 8524720 SOS 4242455 HAS SOPS 4242455 HAS SOUS 2655171 HAS SOUPS 2655171 WITH SCORE 2659413.455
AT ITER 2867 NEW BEST:: SOT 8524720 SOS 4242455 HAS SOPS 4242455 HAS SOUS 2654385 HAS SOUPS 2654385 WITH SCORE 2658627.455
AT ITER 2872 NEW BEST:: SOT 8524385 SOS 4241785 HAS SOPS 4241785 HAS SOUS 2653882 HAS SOUPS 2653882 WITH SCORE 2658123.785
AT ITER 2876 NEW BEST:: SOT 8524224 SOS 4241785 HAS SOPS 4241785 HAS SOUS 2653721 HAS SOUPS 2653721 WITH SCORE 2657962.785
AT ITER 2887 NEW BEST:: SOT 8524224 SOS 4241738 HAS SOPS 4241738 HAS SOUS 2653674 HAS SOUPS 2653674 WITH SCORE 2657915.738
AT ITER 2894 NEW BEST:: SOT 8522921 SOS 4239132 HAS SOPS 4239132 HAS SOUS 2652950 HAS SOUPS 2652950 WITH SCORE 2657189.132
AT ITER 2899 NEW BEST:: SOT 8522481 SOS 4238252 HAS SOPS 4238252 HAS SOUS 2652510 HAS SOUPS 2652510 WITH SCORE 2656748.252
AT ITER 2902 NEW BEST:: SOT 8521492 SOS 4238694 HAS SOPS 4238694 HAS SOUS 2652056 HAS SOUPS 2652056 WITH SCORE 2656294.694
AT ITER 2905 NEW BEST:: SOT 8521492 SOS 4238694 HAS SOPS 4238694 HAS SOUS 2651607 HAS SOUPS 2651607 WITH SCORE 2655845.694
AT ITER 2915 NEW BEST:: SOT 8521030 SOS 4237770 HAS SOPS 4237770 HAS SOUS 2651145 HAS SOUPS 2651145 WITH SCORE 2655382.77
AT ITER 2917 NEW BEST:: SOT 8519529 SOS 4236128 HAS SOPS 4236128 HAS SOUS 2650862 HAS SOUPS 2650862 WITH SCORE 2655098.128
AT ITER 2921 NEW BEST:: SOT 8518930 SOS 4234929 HAS SOPS 4234929 HAS SOUS 2649693 HAS SOUPS 2649693 WITH SCORE 2653927.929
AT ITER 2926 NEW BEST:: SOT 8518804 SOS 4234551 HAS SOPS 4234551 HAS SOUS 2649441 HAS SOUPS 2649441 WITH SCORE 2653675.551
AT ITER 2927 NEW BEST:: SOT 8518358 SOS 4234103 HAS SOPS 4234103 HAS SOUS 2649291 HAS SOUPS 2649291 WITH SCORE 2653525.103
AT ITER 2928 NEW BEST:: SOT 8518357 SOS 4234102 HAS SOPS 4234102 HAS SOUS 2649290 HAS SOUPS 2649290 WITH SCORE 2653524.102
AT ITER 2929 NEW BEST:: SOT 8518357 SOS 4234056 HAS SOPS 4234056 HAS SOUS 2649244 HAS SOUPS 2649244 WITH SCORE 2653478.056
AT ITER 2930 NEW BEST:: SOT 8517589 SOS 4233462 HAS SOPS 4233462 HAS SOUS 2648794 HAS SOUPS 2648794 WITH SCORE 2653027.462
AT ITER 2937 NEW BEST:: SOT 8517709 SOS 4233366 HAS SOPS 4233366 HAS SOUS 2648184 HAS SOUPS 2648184 WITH SCORE 2652417.366
AT ITER 2941 NEW BEST:: SOT 8517345 SOS 4233415 HAS SOPS 4233415 HAS SOUS 2647862 HAS SOUPS 2647862 WITH SCORE 2652095.415
AT ITER 2942 NEW BEST:: SOT 8517007 SOS 4232046 HAS SOPS 4232046 HAS SOUS 2646831 HAS SOUPS 2646831 WITH SCORE 2651063.046
AT ITER 2949 NEW BEST:: SOT 8517007 SOS 4231859 HAS SOPS 4231859 HAS SOUS 2646171 HAS SOUPS 2646171 WITH SCORE 2650402.859
AT ITER 2952 NEW BEST:: SOT 8517114 SOS 4231737 HAS SOPS 4231737 HAS SOUS 2646049 HAS SOUPS 2646049 WITH SCORE 2650280.737
AT ITER 2953 NEW BEST:: SOT 8517043 SOS 4231595 HAS SOPS 4231595 HAS SOUS 2645907 HAS SOUPS 2645907 WITH SCORE 2650138.595
AT ITER 2955 NEW BEST:: SOT 8517043 SOS 4230867 HAS SOPS 4230867 HAS SOUS 2645907 HAS SOUPS 2645907 WITH SCORE 2650137.867
AT ITER 2958 NEW BEST:: SOT 8515900 SOS 4227531 HAS SOPS 4227531 HAS SOUS 2642571 HAS SOUPS 2642571 WITH SCORE 2646798.531
AT ITER 2969 NEW BEST:: SOT 8516051 SOS 4227682 HAS SOPS 4227682 HAS SOUS 2642078 HAS SOUPS 2642078 WITH SCORE 2646305.682
AT ITER 2970 NEW BEST:: SOT 8516545 SOS 4227564 HAS SOPS 4227564 HAS SOUS 2641378 HAS SOUPS 2641378 WITH SCORE 2645605.564
AT ITER 2977 NEW BEST:: SOT 8517236 SOS 4226400 HAS SOPS 4226400 HAS SOUS 2641177 HAS SOUPS 2641177 WITH SCORE 2645403.4
AT ITER 2981 NEW BEST:: SOT 8517629 SOS 4225496 HAS SOPS 4225496 HAS SOUS 2640273 HAS SOUPS 2640273 WITH SCORE 2644498.496
AT ITER 2985 NEW BEST:: SOT 8516695 SOS 4223628 HAS SOPS 4223628 HAS SOUS 2639339 HAS SOUPS 2639339 WITH SCORE 2643562.628
AT ITER 2995 NEW BEST:: SOT 8514704 SOS 4220344 HAS SOPS 4220344 HAS SOUS 2637665 HAS SOUPS 2637665 WITH SCORE 2641885.344
AT ITER 2996 NEW BEST:: SOT 8514042 SOS 4219020 HAS SOPS 4219020 HAS SOUS 2637580 HAS SOUPS 2637580 WITH SCORE 2641799.02
AT ITER 2997 NEW BEST:: SOT 8514594 SOS 4218972 HAS SOPS 4218972 HAS SOUS 2636910 HAS SOUPS 2636910 WITH SCORE 2641128.972
AT ITER 3013 NEW BEST:: SOT 8514594 SOS 4218972 HAS SOPS 4218972 HAS SOUS 2636878 HAS SOUPS 2636878 WITH SCORE 2641096.972
AT ITER 3016 NEW BEST:: SOT 8514230 SOS 4218842 HAS SOPS 4218842 HAS SOUS 2633898 HAS SOUPS 2633898 WITH SCORE 2638116.842
AT ITER 3017 NEW BEST:: SOT 8514230 SOS 4218842 HAS SOPS 4218842 HAS SOUS 2633724 HAS SOUPS 2633724 WITH SCORE 2637942.842
AT ITER 3025 NEW BEST:: SOT 8514230 SOS 4218842 HAS SOPS 4218842 HAS SOUS 2632526 HAS SOUPS 2632526 WITH SCORE 2636744.842
AT ITER 3030 NEW BEST:: SOT 8514230 SOS 4219499 HAS SOPS 4219499 HAS SOUS 2632263 HAS SOUPS 2632263 WITH SCORE 2636482.499
AT ITER 3032 NEW BEST:: SOT 8514176 SOS 4219391 HAS SOPS 4219391 HAS SOUS 2632209 HAS SOUPS 2632209 WITH SCORE 2636428.391
AT ITER 3033 NEW BEST:: SOT 8513383 SOS 4217806 HAS SOPS 4217806 HAS SOUS 2631416 HAS SOUPS 2631416 WITH SCORE 2635633.806
AT ITER 3035 NEW BEST:: SOT 8513383 SOS 4217229 HAS SOPS 4217229 HAS SOUS 2631416 HAS SOUPS 2631416 WITH SCORE 2635633.229
AT ITER 3041 NEW BEST:: SOT 8513383 SOS 4217074 HAS SOPS 4217074 HAS SOUS 2631416 HAS SOUPS 2631416 WITH SCORE 2635633.074
AT ITER 3044 NEW BEST:: SOT 8512419 SOS 4213218 HAS SOPS 4213218 HAS SOUS 2629706 HAS SOUPS 2629706 WITH SCORE 2633919.218
AT ITER 3046 NEW BEST:: SOT 8512175 SOS 4212486 HAS SOPS 4212486 HAS SOUS 2629030 HAS SOUPS 2629030 WITH SCORE 2633242.486
AT ITER 3050 NEW BEST:: SOT 8511901 SOS 4211938 HAS SOPS 4211938 HAS SOUS 2628659 HAS SOUPS 2628659 WITH SCORE 2632870.938
AT ITER 3054 NEW BEST:: SOT 8511278 SOS 4212059 HAS SOPS 4212059 HAS SOUS 2628620 HAS SOUPS 2628620 WITH SCORE 2632832.059
AT ITER 3061 NEW BEST:: SOT 8510182 SOS 4210510 HAS SOPS 4210510 HAS SOUS 2628046 HAS SOUPS 2628046 WITH SCORE 2632256.51
AT ITER 3068 NEW BEST:: SOT 8264977 SOS 4787372 HAS SOPS 4787372 HAS SOUS 2404785 HAS SOUPS 2404785 WITH SCORE 2409572.372
AT ITER 3070 NEW BEST:: SOT 8264720 SOS 4786394 HAS SOPS 4786394 HAS SOUS 2404064 HAS SOUPS 2404064 WITH SCORE 2408850.394
AT ITER 3087 NEW BEST:: SOT 8264720 SOS 4786392 HAS SOPS 4786392 HAS SOUS 2403945 HAS SOUPS 2403945 WITH SCORE 2408731.392
AT ITER 3090 NEW BEST:: SOT 8264866 SOS 4785741 HAS SOPS 4785741 HAS SOUS 2403148 HAS SOUPS 2403148 WITH SCORE 2407933.741
AT ITER 3091 NEW BEST:: SOT 8264130 SOS 4785005 HAS SOPS 4785005 HAS SOUS 2403064 HAS SOUPS 2403064 WITH SCORE 2407849.005
AT ITER 3093 NEW BEST:: SOT 8263935 SOS 4784810 HAS SOPS 4784810 HAS SOUS 2402869 HAS SOUPS 2402869 WITH SCORE 2407653.81
AT ITER 3095 NEW BEST:: SOT 8263330 SOS 4783600 HAS SOPS 4783600 HAS SOUS 2401387 HAS SOUPS 2401387 WITH SCORE 2406170.6
AT ITER 3099 NEW BEST:: SOT 8263579 SOS 4784606 HAS SOPS 4784606 HAS SOUS 2401377 HAS SOUPS 2401377 WITH SCORE 2406161.606
AT ITER 3102 NEW BEST:: SOT 8263579 SOS 4784741 HAS SOPS 4784741 HAS SOUS 2401335 HAS SOUPS 2401335 WITH SCORE 2406119.741
AT ITER 3105 NEW BEST:: SOT 8263872 SOS 4784252 HAS SOPS 4784252 HAS SOUS 2401263 HAS SOUPS 2401263 WITH SCORE 2406047.252
AT ITER 3106 NEW BEST:: SOT 8263508 SOS 4784573 HAS SOPS 4784573 HAS SOUS 2401020 HAS SOUPS 2401020 WITH SCORE 2405804.573
AT ITER 3109 NEW BEST:: SOT 8263345 SOS 4784247 HAS SOPS 4784247 HAS SOUS 2400694 HAS SOUPS 2400694 WITH SCORE 2405478.247
AT ITER 3110 NEW BEST:: SOT 8263345 SOS 4784200 HAS SOPS 4784200 HAS SOUS 2400552 HAS SOUPS 2400552 WITH SCORE 2405336.2
AT ITER 3116 NEW BEST:: SOT 8263159 SOS 4784014 HAS SOPS 4784014 HAS SOUS 2400552 HAS SOUPS 2400552 WITH SCORE 2405336.014
AT ITER 3131 NEW BEST:: SOT 8263159 SOS 4784349 HAS SOPS 4784349 HAS SOUS 2400217 HAS SOUPS 2400217 WITH SCORE 2405001.349
AT ITER 3135 NEW BEST:: SOT 8263072 SOS 4784175 HAS SOPS 4784175 HAS SOUS 2400130 HAS SOUPS 2400130 WITH SCORE 2404914.175
AT ITER 3138 NEW BEST:: SOT 8261696 SOS 4782266 HAS SOPS 4782266 HAS SOUS 2399410 HAS SOUPS 2399410 WITH SCORE 2404192.266
AT ITER 3150 NEW BEST:: SOT 8261696 SOS 4781736 HAS SOPS 4781736 HAS SOUS 2399410 HAS SOUPS 2399410 WITH SCORE 2404191.736
AT ITER 3153 NEW BEST:: SOT 8260860 SOS 4780064 HAS SOPS 4780064 HAS SOUS 2398574 HAS SOUPS 2398574 WITH SCORE 2403354.064
AT ITER 3160 NEW BEST:: SOT 8260880 SOS 4779549 HAS SOPS 4779549 HAS SOUS 2397622 HAS SOUPS 2397622 WITH SCORE 2402401.549
AT ITER 3163 NEW BEST:: SOT 8260588 SOS 4778965 HAS SOPS 4778965 HAS SOUS 2397448 HAS SOUPS 2397448 WITH SCORE 2402226.965
AT ITER 3168 NEW BEST:: SOT 8260477 SOS 4778743 HAS SOPS 4778743 HAS SOUS 2397370 HAS SOUPS 2397370 WITH SCORE 2402148.743
AT ITER 3171 NEW BEST:: SOT 8260477 SOS 4778743 HAS SOPS 4778743 HAS SOUS 2396921 HAS SOUPS 2396921 WITH SCORE 2401699.743
AT ITER 3172 NEW BEST:: SOT 8260714 SOS 4777535 HAS SOPS 4777535 HAS SOUS 2393494 HAS SOUPS 2393494 WITH SCORE 2398271.535
AT ITER 3178 NEW BEST:: SOT 8258055 SOS 4774876 HAS SOPS 4774876 HAS SOUS 2392007 HAS SOUPS 2392007 WITH SCORE 2396781.876
AT ITER 3183 NEW BEST:: SOT 8257821 SOS 4773940 HAS SOPS 4773940 HAS SOUS 2391305 HAS SOUPS 2391305 WITH SCORE 2396078.94
AT ITER 3193 NEW BEST:: SOT 8257042 SOS 4773286 HAS SOPS 4773286 HAS SOUS 2391036 HAS SOUPS 2391036 WITH SCORE 2395809.286
AT ITER 3200 NEW BEST:: SOT 8254425 SOS 4769661 HAS SOPS 4769661 HAS SOUS 2388635 HAS SOUPS 2388635 WITH SCORE 2393404.661
AT ITER 3201 NEW BEST:: SOT 8253288 SOS 4768524 HAS SOPS 4768524 HAS SOUS 2388202 HAS SOUPS 2388202 WITH SCORE 2392970.524
AT ITER 3206 NEW BEST:: SOT 8253288 SOS 4752359 HAS SOPS 4752359 HAS SOUS 2386997 HAS SOUPS 2386997 WITH SCORE 2391749.359
AT ITER 3207 NEW BEST:: SOT 8253288 SOS 4752046 HAS SOPS 4752046 HAS SOUS 2386997 HAS SOUPS 2386997 WITH SCORE 2391749.046
AT ITER 3210 NEW BEST:: SOT 8253288 SOS 4752046 HAS SOPS 4752046 HAS SOUS 2386996 HAS SOUPS 2386996 WITH SCORE 2391748.046
AT ITER 3211 NEW BEST:: SOT 8253288 SOS 4752046 HAS SOPS 4752046 HAS SOUS 2386981 HAS SOUPS 2386981 WITH SCORE 2391733.046
AT ITER 3212 NEW BEST:: SOT 8252462 SOS 4750782 HAS SOPS 4750782 HAS SOUS 2384824 HAS SOUPS 2384824 WITH SCORE 2389574.782
AT ITER 3213 NEW BEST:: SOT 8251536 SOS 4749856 HAS SOPS 4749856 HAS SOUS 2384287 HAS SOUPS 2384287 WITH SCORE 2389036.856
AT ITER 3217 NEW BEST:: SOT 8251536 SOS 4749096 HAS SOPS 4749096 HAS SOUS 2383308 HAS SOUPS 2383308 WITH SCORE 2388057.096
AT ITER 3219 NEW BEST:: SOT 8251308 SOS 4748640 HAS SOPS 4748640 HAS SOUS 2383079 HAS SOUPS 2383079 WITH SCORE 2387827.64
AT ITER 3226 NEW BEST:: SOT 8251327 SOS 4748659 HAS SOPS 4748659 HAS SOUS 2383000 HAS SOUPS 2383000 WITH SCORE 2387748.659
AT ITER 3230 NEW BEST:: SOT 8251813 SOS 4747209 HAS SOPS 4747209 HAS SOUS 2382869 HAS SOUPS 2382869 WITH SCORE 2387616.209
AT ITER 3241 NEW BEST:: SOT 8252240 SOS 4746794 HAS SOPS 4746794 HAS SOUS 2382815 HAS SOUPS 2382815 WITH SCORE 2387561.794
AT ITER 3243 NEW BEST:: SOT 8251436 SOS 4745990 HAS SOPS 4745990 HAS SOUS 2382098 HAS SOUPS 2382098 WITH SCORE 2386843.99
AT ITER 3251 NEW BEST:: SOT 8251675 SOS 4745676 HAS SOPS 4745676 HAS SOUS 2381601 HAS SOUPS 2381601 WITH SCORE 2386346.676
AT ITER 3254 NEW BEST:: SOT 8252222 SOS 4747105 HAS SOPS 4747105 HAS SOUS 2381355 HAS SOUPS 2381355 WITH SCORE 2386102.105
AT ITER 3257 NEW BEST:: SOT 8250594 SOS 4745060 HAS SOPS 4745060 HAS SOUS 2380793 HAS SOUPS 2380793 WITH SCORE 2385538.06
AT ITER 3260 NEW BEST:: SOT 8250544 SOS 4745010 HAS SOPS 4745010 HAS SOUS 2380743 HAS SOUPS 2380743 WITH SCORE 2385488.01
AT ITER 3265 NEW BEST:: SOT 8249284 SOS 4743750 HAS SOPS 4743750 HAS SOUS 2379950 HAS SOUPS 2379950 WITH SCORE 2384693.75
AT ITER 3268 NEW BEST:: SOT 8249992 SOS 4742056 HAS SOPS 4742056 HAS SOUS 2379660 HAS SOUPS 2379660 WITH SCORE 2384402.056
AT ITER 3270 NEW BEST:: SOT 8250111 SOS 4741816 HAS SOPS 4741816 HAS SOUS 2379659 HAS SOUPS 2379659 WITH SCORE 2384400.816
AT ITER 3274 NEW BEST:: SOT 8250111 SOS 4741816 HAS SOPS 4741816 HAS SOUS 2379028 HAS SOUPS 2379028 WITH SCORE 2383769.816
AT ITER 3276 NEW BEST:: SOT 8250053 SOS 4741700 HAS SOPS 4741700 HAS SOUS 2378970 HAS SOUPS 2378970 WITH SCORE 2383711.7
AT ITER 3287 NEW BEST:: SOT 8248023 SOS 4739670 HAS SOPS 4739670 HAS SOUS 2378583 HAS SOUPS 2378583 WITH SCORE 2383322.67
AT ITER 3289 NEW BEST:: SOT 8247956 SOS 4739603 HAS SOPS 4739603 HAS SOUS 2378583 HAS SOUPS 2378583 WITH SCORE 2383322.603
AT ITER 3290 NEW BEST:: SOT 8247999 SOS 4740181 HAS SOPS 4740181 HAS SOUS 2378316 HAS SOUPS 2378316 WITH SCORE 2383056.181
AT ITER 3293 NEW BEST:: SOT 8248373 SOS 4740929 HAS SOPS 4740929 HAS SOUS 2378231 HAS SOUPS 2378231 WITH SCORE 2382971.929
AT ITER 3295 NEW BEST:: SOT 8248373 SOS 4740743 HAS SOPS 4740743 HAS SOUS 2378231 HAS SOUPS 2378231 WITH SCORE 2382971.743
AT ITER 3302 NEW BEST:: SOT 8247849 SOS 4740219 HAS SOPS 4740219 HAS SOUS 2377435 HAS SOUPS 2377435 WITH SCORE 2382175.219
AT ITER 3314 NEW BEST:: SOT 8247953 SOS 4740323 HAS SOPS 4740323 HAS SOUS 2376776 HAS SOUPS 2376776 WITH SCORE 2381516.323
AT ITER 3315 NEW BEST:: SOT 8247563 SOS 4739543 HAS SOPS 4739543 HAS SOUS 2376386 HAS SOUPS 2376386 WITH SCORE 2381125.543
AT ITER 3316 NEW BEST:: SOT 8247563 SOS 4739543 HAS SOPS 4739543 HAS SOUS 2376380 HAS SOUPS 2376380 WITH SCORE 2381119.543
AT ITER 3321 NEW BEST:: SOT 8247049 SOS 4739029 HAS SOPS 4739029 HAS SOUS 2375902 HAS SOUPS 2375902 WITH SCORE 2380641.029
AT ITER 3323 NEW BEST:: SOT 8246843 SOS 4738617 HAS SOPS 4738617 HAS SOUS 2375419 HAS SOUPS 2375419 WITH SCORE 2380157.617
AT ITER 3324 NEW BEST:: SOT 8246836 SOS 4738603 HAS SOPS 4738603 HAS SOUS 2375412 HAS SOUPS 2375412 WITH SCORE 2380150.603
AT ITER 3325 NEW BEST:: SOT 8246779 SOS 4738546 HAS SOPS 4738546 HAS SOUS 2375355 HAS SOUPS 2375355 WITH SCORE 2380093.546
AT ITER 3332 NEW BEST:: SOT 8246779 SOS 4738446 HAS SOPS 4738446 HAS SOUS 2374824 HAS SOUPS 2374824 WITH SCORE 2379562.446
AT ITER 3337 NEW BEST:: SOT 8245814 SOS 4737890 HAS SOPS 4737890 HAS SOUS 2374179 HAS SOUPS 2374179 WITH SCORE 2378916.89
AT ITER 3346 NEW BEST:: SOT 8245721 SOS 4737704 HAS SOPS 4737704 HAS SOUS 2374086 HAS SOUPS 2374086 WITH SCORE 2378823.704
AT ITER 3347 NEW BEST:: SOT 8245531 SOS 4737342 HAS SOPS 4737342 HAS SOUS 2373914 HAS SOUPS 2373914 WITH SCORE 2378651.342
AT ITER 3354 NEW BEST:: SOT 8243420 SOS 4735288 HAS SOPS 4735288 HAS SOUS 2371850 HAS SOUPS 2371850 WITH SCORE 2376585.288
AT ITER 3357 NEW BEST:: SOT 8243596 SOS 4734219 HAS SOPS 4734219 HAS SOUS 2371668 HAS SOUPS 2371668 WITH SCORE 2376402.219
AT ITER 3363 NEW BEST:: SOT 8242908 SOS 4730542 HAS SOPS 4730542 HAS SOUS 2370422 HAS SOUPS 2370422 WITH SCORE 2375152.542
AT ITER 3365 NEW BEST:: SOT 8242507 SOS 4730628 HAS SOPS 4730628 HAS SOUS 2369603 HAS SOUPS 2369603 WITH SCORE 2374333.628
AT ITER 3366 NEW BEST:: SOT 8242507 SOS 4730628 HAS SOPS 4730628 HAS SOUS 2368975 HAS SOUPS 2368975 WITH SCORE 2373705.628
AT ITER 3367 NEW BEST:: SOT 8242730 SOS 4730764 HAS SOPS 4730764 HAS SOUS 2368888 HAS SOUPS 2368888 WITH SCORE 2373618.764
AT ITER 3369 NEW BEST:: SOT 8242354 SOS 4730012 HAS SOPS 4730012 HAS SOUS 2368457 HAS SOUPS 2368457 WITH SCORE 2373187.012
AT ITER 3373 NEW BEST:: SOT 8241114 SOS 4727490 HAS SOPS 4727490 HAS SOUS 2367217 HAS SOUPS 2367217 WITH SCORE 2371944.49
AT ITER 3374 NEW BEST:: SOT 8240070 SOS 4726446 HAS SOPS 4726446 HAS SOUS 2367051 HAS SOUPS 2367051 WITH SCORE 2371777.446
AT ITER 3387 NEW BEST:: SOT 8240070 SOS 4726446 HAS SOPS 4726446 HAS SOUS 2366968 HAS SOUPS 2366968 WITH SCORE 2371694.446
AT ITER 3398 NEW BEST:: SOT 8239550 SOS 4725926 HAS SOPS 4725926 HAS SOUS 2366448 HAS SOUPS 2366448 WITH SCORE 2371173.926
AT ITER 3399 NEW BEST:: SOT 8239438 SOS 4725702 HAS SOPS 4725702 HAS SOUS 2366336 HAS SOUPS 2366336 WITH SCORE 2371061.702
AT ITER 3406 NEW BEST:: SOT 8239437 SOS 4725700 HAS SOPS 4725700 HAS SOUS 2366334 HAS SOUPS 2366334 WITH SCORE 2371059.7
AT ITER 3409 NEW BEST:: SOT 8238675 SOS 4724938 HAS SOPS 4724938 HAS SOUS 2365572 HAS SOUPS 2365572 WITH SCORE 2370296.938
AT ITER 3410 NEW BEST:: SOT 8237830 SOS 4723512 HAS SOPS 4723512 HAS SOUS 2364725 HAS SOUPS 2364725 WITH SCORE 2369448.512
AT ITER 3411 NEW BEST:: SOT 8237490 SOS 4722152 HAS SOPS 4722152 HAS SOUS 2364045 HAS SOUPS 2364045 WITH SCORE 2368767.152
AT ITER 3423 NEW BEST:: SOT 8237294 SOS 4721956 HAS SOPS 4721956 HAS SOUS 2363953 HAS SOUPS 2363953 WITH SCORE 2368674.956
AT ITER 3428 NEW BEST:: SOT 8236928 SOS 4721224 HAS SOPS 4721224 HAS SOUS 2363587 HAS SOUPS 2363587 WITH SCORE 2368308.224
AT ITER 3440 NEW BEST:: SOT 8236928 SOS 4721081 HAS SOPS 4721081 HAS SOUS 2363587 HAS SOUPS 2363587 WITH SCORE 2368308.081
AT ITER 3441 NEW BEST:: SOT 8236834 SOS 4720893 HAS SOPS 4720893 HAS SOUS 2363523 HAS SOUPS 2363523 WITH SCORE 2368243.893
AT ITER 3443 NEW BEST:: SOT 8236834 SOS 4720893 HAS SOPS 4720893 HAS SOUS 2363389 HAS SOUPS 2363389 WITH SCORE 2368109.893
AT ITER 3445 NEW BEST:: SOT 8236834 SOS 4720893 HAS SOPS 4720893 HAS SOUS 2363073 HAS SOUPS 2363073 WITH SCORE 2367793.893
AT ITER 3446 NEW BEST:: SOT 8236732 SOS 4720806 HAS SOPS 4720806 HAS SOUS 2362971 HAS SOUPS 2362971 WITH SCORE 2367691.806
AT ITER 3453 NEW BEST:: SOT 8236724 SOS 4720798 HAS SOPS 4720798 HAS SOUS 2362962 HAS SOUPS 2362962 WITH SCORE 2367682.798
AT ITER 3456 NEW BEST:: SOT 8236724 SOS 4720798 HAS SOPS 4720798 HAS SOUS 2362636 HAS SOUPS 2362636 WITH SCORE 2367356.798
AT ITER 3459 NEW BEST:: SOT 8236724 SOS 4720138 HAS SOPS 4720138 HAS SOUS 2362636 HAS SOUPS 2362636 WITH SCORE 2367356.138
AT ITER 3462 NEW BEST:: SOT 8237073 SOS 4719569 HAS SOPS 4719569 HAS SOUS 2361718 HAS SOUPS 2361718 WITH SCORE 2366437.569
AT ITER 3467 NEW BEST:: SOT 8236897 SOS 4719967 HAS SOPS 4719967 HAS SOUS 2361623 HAS SOUPS 2361623 WITH SCORE 2366342.967
AT ITER 3487 NEW BEST:: SOT 8236897 SOS 4719967 HAS SOPS 4719967 HAS SOUS 2361357 HAS SOUPS 2361357 WITH SCORE 2366076.967
AT ITER 3492 NEW BEST:: SOT 8235802 SOS 4718872 HAS SOPS 4718872 HAS SOUS 2360877 HAS SOUPS 2360877 WITH SCORE 2365595.872
AT ITER 3500 NEW BEST:: SOT 8235372 SOS 4718012 HAS SOPS 4718012 HAS SOUS 2359141 HAS SOUPS 2359141 WITH SCORE 2363859.012
AT ITER 3508 NEW BEST:: SOT 8235372 SOS 4718063 HAS SOPS 4718063 HAS SOUS 2359090 HAS SOUPS 2359090 WITH SCORE 2363808.063
AT ITER 3511 NEW BEST:: SOT 8235372 SOS 4718063 HAS SOPS 4718063 HAS SOUS 2359089 HAS SOUPS 2359089 WITH SCORE 2363807.063
AT ITER 3518 NEW BEST:: SOT 8235591 SOS 4718501 HAS SOPS 4718501 HAS SOUS 2358686 HAS SOUPS 2358686 WITH SCORE 2363404.501
AT ITER 3520 NEW BEST:: SOT 8234660 SOS 4716639 HAS SOPS 4716639 HAS SOUS 2358611 HAS SOUPS 2358611 WITH SCORE 2363327.639
AT ITER 3525 NEW BEST:: SOT 8234231 SOS 4716210 HAS SOPS 4716210 HAS SOUS 2358182 HAS SOUPS 2358182 WITH SCORE 2362898.21
AT ITER 3526 NEW BEST:: SOT 8233749 SOS 4714412 HAS SOPS 4714412 HAS SOUS 2357323 HAS SOUPS 2357323 WITH SCORE 2362037.412
AT ITER 3528 NEW BEST:: SOT 8232096 SOS 4712444 HAS SOPS 4712444 HAS SOUS 2356024 HAS SOUPS 2356024 WITH SCORE 2360736.444
AT ITER 3529 NEW BEST:: SOT 8232096 SOS 4712444 HAS SOPS 4712444 HAS SOUS 2355668 HAS SOUPS 2355668 WITH SCORE 2360380.444
AT ITER 3530 NEW BEST:: SOT 8232231 SOS 4712579 HAS SOPS 4712579 HAS SOUS 2355537 HAS SOUPS 2355537 WITH SCORE 2360249.579
AT ITER 3536 NEW BEST:: SOT 8231979 SOS 4712075 HAS SOPS 4712075 HAS SOUS 2355033 HAS SOUPS 2355033 WITH SCORE 2359745.075
AT ITER 3544 NEW BEST:: SOT 8230455 SOS 4710015 HAS SOPS 4710015 HAS SOUS 2354552 HAS SOUPS 2354552 WITH SCORE 2359262.015
AT ITER 3556 NEW BEST:: SOT 8230455 SOS 4709205 HAS SOPS 4709205 HAS SOUS 2353742 HAS SOUPS 2353742 WITH SCORE 2358451.205
AT ITER 3563 NEW BEST:: SOT 8230455 SOS 4708111 HAS SOPS 4708111 HAS SOUS 2352485 HAS SOUPS 2352485 WITH SCORE 2357193.111
AT ITER 3571 NEW BEST:: SOT 8230423 SOS 4708111 HAS SOPS 4708111 HAS SOUS 2352453 HAS SOUPS 2352453 WITH SCORE 2357161.111
AT ITER 3573 NEW BEST:: SOT 8228669 SOS 4706395 HAS SOPS 4706395 HAS SOUS 2352367 HAS SOUPS 2352367 WITH SCORE 2357073.395
AT ITER 3575 NEW BEST:: SOT 8227528 SOS 4705254 HAS SOPS 4705254 HAS SOUS 2352367 HAS SOUPS 2352367 WITH SCORE 2357072.254
AT ITER 3582 NEW BEST:: SOT 8226847 SOS 4701222 HAS SOPS 4701222 HAS SOUS 2350677 HAS SOUPS 2350677 WITH SCORE 2355378.222
AT ITER 3586 NEW BEST:: SOT 8226671 SOS 4701046 HAS SOPS 4701046 HAS SOUS 2350501 HAS SOUPS 2350501 WITH SCORE 2355202.046
AT ITER 3591 NEW BEST:: SOT 8226671 SOS 4701046 HAS SOPS 4701046 HAS SOUS 2350500 HAS SOUPS 2350500 WITH SCORE 2355201.046
AT ITER 3592 NEW BEST:: SOT 8226618 SOS 4700955 HAS SOPS 4700955 HAS SOUS 2350447 HAS SOUPS 2350447 WITH SCORE 2355147.955
AT ITER 3593 NEW BEST:: SOT 8226640 SOS 4699138 HAS SOPS 4699138 HAS SOUS 2349823 HAS SOUPS 2349823 WITH SCORE 2354522.138
AT ITER 3597 NEW BEST:: SOT 8226588 SOS 4699034 HAS SOPS 4699034 HAS SOUS 2349719 HAS SOUPS 2349719 WITH SCORE 2354418.034
AT ITER 3601 NEW BEST:: SOT 8226491 SOS 4698743 HAS SOPS 4698743 HAS SOUS 2349622 HAS SOUPS 2349622 WITH SCORE 2354320.743
AT ITER 3604 NEW BEST:: SOT 8227532 SOS 4700766 HAS SOPS 4700766 HAS SOUS 2349371 HAS SOUPS 2349371 WITH SCORE 2354071.766
AT ITER 3606 NEW BEST:: SOT 8227400 SOS 4700502 HAS SOPS 4700502 HAS SOUS 2349107 HAS SOUPS 2349107 WITH SCORE 2353807.502
AT ITER 3610 NEW BEST:: SOT 8227369 SOS 4700440 HAS SOPS 4700440 HAS SOUS 2349107 HAS SOUPS 2349107 WITH SCORE 2353807.44
AT ITER 3613 NEW BEST:: SOT 8227255 SOS 4700212 HAS SOPS 4700212 HAS SOUS 2348879 HAS SOUPS 2348879 WITH SCORE 2353579.212
AT ITER 3614 NEW BEST:: SOT 8226814 SOS 4699771 HAS SOPS 4699771 HAS SOUS 2348454 HAS SOUPS 2348454 WITH SCORE 2353153.771
AT ITER 3623 NEW BEST:: SOT 8226702 SOS 4699547 HAS SOPS 4699547 HAS SOUS 2348230 HAS SOUPS 2348230 WITH SCORE 2352929.547
AT ITER 3625 NEW BEST:: SOT 8226708 SOS 4699313 HAS SOPS 4699313 HAS SOUS 2348115 HAS SOUPS 2348115 WITH SCORE 2352814.313
AT ITER 3630 NEW BEST:: SOT 8226315 SOS 4697316 HAS SOPS 4697316 HAS SOUS 2346869 HAS SOUPS 2346869 WITH SCORE 2351566.316
AT ITER 3632 NEW BEST:: SOT 8226315 SOS 4697242 HAS SOPS 4697242 HAS SOUS 2346795 HAS SOUPS 2346795 WITH SCORE 2351492.242
AT ITER 3633 NEW BEST:: SOT 8226284 SOS 4697180 HAS SOPS 4697180 HAS SOUS 2346764 HAS SOUPS 2346764 WITH SCORE 2351461.18
AT ITER 3645 NEW BEST:: SOT 8226147 SOS 4696906 HAS SOPS 4696906 HAS SOUS 2346611 HAS SOUPS 2346611 WITH SCORE 2351307.906
AT ITER 3653 NEW BEST:: SOT 8223750 SOS 4690592 HAS SOPS 4690592 HAS SOUS 2342297 HAS SOUPS 2342297 WITH SCORE 2346987.592
AT ITER 3654 NEW BEST:: SOT 8223213 SOS 4690055 HAS SOPS 4690055 HAS SOUS 2341638 HAS SOUPS 2341638 WITH SCORE 2346328.055
AT ITER 3660 NEW BEST:: SOT 8225799 SOS 4675787 HAS SOPS 4675787 HAS SOUS 2341632 HAS SOUPS 2341632 WITH SCORE 2346307.787
AT ITER 3666 NEW BEST:: SOT 8225447 SOS 4675083 HAS SOPS 4675083 HAS SOUS 2341280 HAS SOUPS 2341280 WITH SCORE 2345955.083
AT ITER 3672 NEW BEST:: SOT 8225257 SOS 4674703 HAS SOPS 4674703 HAS SOUS 2341090 HAS SOUPS 2341090 WITH SCORE 2345764.703
AT ITER 3673 NEW BEST:: SOT 8225371 SOS 4674931 HAS SOPS 4674931 HAS SOUS 2340882 HAS SOUPS 2340882 WITH SCORE 2345556.931
AT ITER 3674 NEW BEST:: SOT 8225371 SOS 4674931 HAS SOPS 4674931 HAS SOUS 2340066 HAS SOUPS 2340066 WITH SCORE 2344740.931
AT ITER 3675 NEW BEST:: SOT 8225206 SOS 4674601 HAS SOPS 4674601 HAS SOUS 2338841 HAS SOUPS 2338841 WITH SCORE 2343515.601
AT ITER 3679 NEW BEST:: SOT 8224840 SOS 4673096 HAS SOPS 4673096 HAS SOUS 2337474 HAS SOUPS 2337474 WITH SCORE 2342147.096
AT ITER 3690 NEW BEST:: SOT 8224840 SOS 4673096 HAS SOPS 4673096 HAS SOUS 2337473 HAS SOUPS 2337473 WITH SCORE 2342146.096
AT ITER 3693 NEW BEST:: SOT 8224840 SOS 4674277 HAS SOPS 4674277 HAS SOUS 2337275 HAS SOUPS 2337275 WITH SCORE 2341949.277
AT ITER 3700 NEW BEST:: SOT 8223711 SOS 4673148 HAS SOPS 4673148 HAS SOUS 2336146 HAS SOUPS 2336146 WITH SCORE 2340819.148
AT ITER 3701 NEW BEST:: SOT 8223791 SOS 4673308 HAS SOPS 4673308 HAS SOUS 2335427 HAS SOUPS 2335427 WITH SCORE 2340100.308
AT ITER 3704 NEW BEST:: SOT 8223543 SOS 4673060 HAS SOPS 4673060 HAS SOUS 2335179 HAS SOUPS 2335179 WITH SCORE 2339852.06
AT ITER 3708 NEW BEST:: SOT 8224175 SOS 4673622 HAS SOPS 4673622 HAS SOUS 2334272 HAS SOUPS 2334272 WITH SCORE 2338945.622
AT ITER 3711 NEW BEST:: SOT 8224691 SOS 4674138 HAS SOPS 4674138 HAS SOUS 2334195 HAS SOUPS 2334195 WITH SCORE 2338869.138
AT ITER 3713 NEW BEST:: SOT 8224606 SOS 4674053 HAS SOPS 4674053 HAS SOUS 2333854 HAS SOUPS 2333854 WITH SCORE 2338528.053
AT ITER 3714 NEW BEST:: SOT 8224234 SOS 4673308 HAS SOPS 4673308 HAS SOUS 2333481 HAS SOUPS 2333481 WITH SCORE 2338154.308
AT ITER 3722 NEW BEST:: SOT 8224234 SOS 4673308 HAS SOPS 4673308 HAS SOUS 2333193 HAS SOUPS 2333193 WITH SCORE 2337866.308
AT ITER 3725 NEW BEST:: SOT 8224457 SOS 4672706 HAS SOPS 4672706 HAS SOUS 2332367 HAS SOUPS 2332367 WITH SCORE 2337039.706
AT ITER 3727 NEW BEST:: SOT 8224033 SOS 4671858 HAS SOPS 4671858 HAS SOUS 2331452 HAS SOUPS 2331452 WITH SCORE 2336123.858
AT ITER 3728 NEW BEST:: SOT 8223484 SOS 4671309 HAS SOPS 4671309 HAS SOUS 2330903 HAS SOUPS 2330903 WITH SCORE 2335574.309
AT ITER 3730 NEW BEST:: SOT 8223201 SOS 4670743 HAS SOPS 4670743 HAS SOUS 2329316 HAS SOUPS 2329316 WITH SCORE 2333986.743
AT ITER 3736 NEW BEST:: SOT 8223201 SOS 4670743 HAS SOPS 4670743 HAS SOUS 2328881 HAS SOUPS 2328881 WITH SCORE 2333551.743
AT ITER 3742 NEW BEST:: SOT 8223201 SOS 4670649 HAS SOPS 4670649 HAS SOUS 2328787 HAS SOUPS 2328787 WITH SCORE 2333457.649
AT ITER 3748 NEW BEST:: SOT 8223457 SOS 4670409 HAS SOPS 4670409 HAS SOUS 2328547 HAS SOUPS 2328547 WITH SCORE 2333217.409
AT ITER 3760 NEW BEST:: SOT 8223457 SOS 4670409 HAS SOPS 4670409 HAS SOUS 2328521 HAS SOUPS 2328521 WITH SCORE 2333191.409
AT ITER 3764 NEW BEST:: SOT 8222841 SOS 4669177 HAS SOPS 4669177 HAS SOUS 2327903 HAS SOUPS 2327903 WITH SCORE 2332572.177
AT ITER 3768 NEW BEST:: SOT 8222814 SOS 4669150 HAS SOPS 4669150 HAS SOUS 2327876 HAS SOUPS 2327876 WITH SCORE 2332545.15
AT ITER 3772 NEW BEST:: SOT 8222814 SOS 4665993 HAS SOPS 4665993 HAS SOUS 2327871 HAS SOUPS 2327871 WITH SCORE 2332536.993
AT ITER 3775 NEW BEST:: SOT 8222814 SOS 4665993 HAS SOPS 4665993 HAS SOUS 2327730 HAS SOUPS 2327730 WITH SCORE 2332395.993
AT ITER 3777 NEW BEST:: SOT 8222814 SOS 4665303 HAS SOPS 4665303 HAS SOUS 2327281 HAS SOUPS 2327281 WITH SCORE 2331946.303
AT ITER 3790 NEW BEST:: SOT 8222716 SOS 4665107 HAS SOPS 4665107 HAS SOUS 2327085 HAS SOUPS 2327085 WITH SCORE 2331750.107
AT ITER 3804 NEW BEST:: SOT 8222716 SOS 4655374 HAS SOPS 4655374 HAS SOUS 2325804 HAS SOUPS 2325804 WITH SCORE 2330459.374
AT ITER 3809 NEW BEST:: SOT 8221869 SOS 4653080 HAS SOPS 4653080 HAS SOUS 2324957 HAS SOUPS 2324957 WITH SCORE 2329610.08
AT ITER 3811 NEW BEST:: SOT 8222135 SOS 4652142 HAS SOPS 4652142 HAS SOUS 2324287 HAS SOUPS 2324287 WITH SCORE 2328939.142
AT ITER 3813 NEW BEST:: SOT 8222008 SOS 4651888 HAS SOPS 4651888 HAS SOUS 2323906 HAS SOUPS 2323906 WITH SCORE 2328557.888
AT ITER 3814 NEW BEST:: SOT 8221918 SOS 4651797 HAS SOPS 4651797 HAS SOUS 2323815 HAS SOUPS 2323815 WITH SCORE 2328466.797
AT ITER 3819 NEW BEST:: SOT 8221918 SOS 4651571 HAS SOPS 4651571 HAS SOUS 2323815 HAS SOUPS 2323815 WITH SCORE 2328466.571
AT ITER 3820 NEW BEST:: SOT 8221718 SOS 4651371 HAS SOPS 4651371 HAS SOUS 2323619 HAS SOUPS 2323619 WITH SCORE 2328270.371
AT ITER 3821 NEW BEST:: SOT 8222037 SOS 4651690 HAS SOPS 4651690 HAS SOUS 2322784 HAS SOUPS 2322784 WITH SCORE 2327435.69
AT ITER 3822 NEW BEST:: SOT 8221495 SOS 4650650 HAS SOPS 4650650 HAS SOUS 2322530 HAS SOUPS 2322530 WITH SCORE 2327180.65
AT ITER 3824 NEW BEST:: SOT 8220272 SOS 4649056 HAS SOPS 4649056 HAS SOUS 2322102 HAS SOUPS 2322102 WITH SCORE 2326751.056
AT ITER 3827 NEW BEST:: SOT 8220100 SOS 4645966 HAS SOPS 4645966 HAS SOUS 2319688 HAS SOUPS 2319688 WITH SCORE 2324333.966
AT ITER 3829 NEW BEST:: SOT 8219587 SOS 4644940 HAS SOPS 4644940 HAS SOUS 2319514 HAS SOUPS 2319514 WITH SCORE 2324158.94
AT ITER 3835 NEW BEST:: SOT 8219119 SOS 4644472 HAS SOPS 4644472 HAS SOUS 2319046 HAS SOUPS 2319046 WITH SCORE 2323690.472
AT ITER 3837 NEW BEST:: SOT 8217600 SOS 4641417 HAS SOPS 4641417 HAS SOUS 2317627 HAS SOUPS 2317627 WITH SCORE 2322268.417
AT ITER 3841 NEW BEST:: SOT 8218070 SOS 4640794 HAS SOPS 4640794 HAS SOUS 2317317 HAS SOUPS 2317317 WITH SCORE 2321957.794
AT ITER 3846 NEW BEST:: SOT 8217863 SOS 4640380 HAS SOPS 4640380 HAS SOUS 2317011 HAS SOUPS 2317011 WITH SCORE 2321651.38
AT ITER 3851 NEW BEST:: SOT 8218488 SOS 4641154 HAS SOPS 4641154 HAS SOUS 2316898 HAS SOUPS 2316898 WITH SCORE 2321539.154
AT ITER 3852 NEW BEST:: SOT 8218488 SOS 4641154 HAS SOPS 4641154 HAS SOUS 2316682 HAS SOUPS 2316682 WITH SCORE 2321323.154
AT ITER 3854 NEW BEST:: SOT 8218488 SOS 4641154 HAS SOPS 4641154 HAS SOUS 2316407 HAS SOUPS 2316407 WITH SCORE 2321048.154
AT ITER 3862 NEW BEST:: SOT 8216550 SOS 4638539 HAS SOPS 4638539 HAS SOUS 2314469 HAS SOUPS 2314469 WITH SCORE 2319107.539
AT ITER 3864 NEW BEST:: SOT 8217038 SOS 4639467 HAS SOPS 4639467 HAS SOUS 2314423 HAS SOUPS 2314423 WITH SCORE 2319062.467
AT ITER 3869 NEW BEST:: SOT 8215568 SOS 4634649 HAS SOPS 4634649 HAS SOUS 2311741 HAS SOUPS 2311741 WITH SCORE 2316375.649
AT ITER 3872 NEW BEST:: SOT 8212447 SOS 4628407 HAS SOPS 4628407 HAS SOUS 2307118 HAS SOUPS 2307118 WITH SCORE 2311746.407
AT ITER 3879 NEW BEST:: SOT 8212087 SOS 4628277 HAS SOPS 4628277 HAS SOUS 2306934 HAS SOUPS 2306934 WITH SCORE 2311562.277
AT ITER 3881 NEW BEST:: SOT 8211780 SOS 4627970 HAS SOPS 4627970 HAS SOUS 2306603 HAS SOUPS 2306603 WITH SCORE 2311230.97
AT ITER 3882 NEW BEST:: SOT 8210721 SOS 4627326 HAS SOPS 4627326 HAS SOUS 2305848 HAS SOUPS 2305848 WITH SCORE 2310475.326
AT ITER 3887 NEW BEST:: SOT 8210934 SOS 4627587 HAS SOPS 4627587 HAS SOUS 2305534 HAS SOUPS 2305534 WITH SCORE 2310161.587
AT ITER 3890 NEW BEST:: SOT 8211544 SOS 4628239 HAS SOPS 4628239 HAS SOUS 2304710 HAS SOUPS 2304710 WITH SCORE 2309338.239
AT ITER 3893 NEW BEST:: SOT 8210781 SOS 4625053 HAS SOPS 4625053 HAS SOUS 2302287 HAS SOUPS 2302287 WITH SCORE 2306912.053
AT ITER 3897 NEW BEST:: SOT 8210497 SOS 4624840 HAS SOPS 4624840 HAS SOUS 2302074 HAS SOUPS 2302074 WITH SCORE 2306698.84
AT ITER 3910 NEW BEST:: SOT 8210384 SOS 4624614 HAS SOPS 4624614 HAS SOUS 2301864 HAS SOUPS 2301864 WITH SCORE 2306488.614
AT ITER 3911 NEW BEST:: SOT 8209751 SOS 4622603 HAS SOPS 4622603 HAS SOUS 2301751 HAS SOUPS 2301751 WITH SCORE 2306373.603
AT ITER 3915 NEW BEST:: SOT 8209925 SOS 4622777 HAS SOPS 4622777 HAS SOUS 2301040 HAS SOUPS 2301040 WITH SCORE 2305662.777
AT ITER 3918 NEW BEST:: SOT 8209319 SOS 4620958 HAS SOPS 4620958 HAS SOUS 2300899 HAS SOUPS 2300899 WITH SCORE 2305519.958
AT ITER 3921 NEW BEST:: SOT 8208254 SOS 4619893 HAS SOPS 4619893 HAS SOUS 2299834 HAS SOUPS 2299834 WITH SCORE 2304453.893
AT ITER 3926 NEW BEST:: SOT 8207457 SOS 4619096 HAS SOPS 4619096 HAS SOUS 2299080 HAS SOUPS 2299080 WITH SCORE 2303699.096
AT ITER 3927 NEW BEST:: SOT 8207820 SOS 4618653 HAS SOPS 4618653 HAS SOUS 2298274 HAS SOUPS 2298274 WITH SCORE 2302892.653
AT ITER 3928 NEW BEST:: SOT 8207820 SOS 4618549 HAS SOPS 4618549 HAS SOUS 2298274 HAS SOUPS 2298274 WITH SCORE 2302892.549
AT ITER 3930 NEW BEST:: SOT 8207246 SOS 4617975 HAS SOPS 4617975 HAS SOUS 2297834 HAS SOUPS 2297834 WITH SCORE 2302451.975
AT ITER 3933 NEW BEST:: SOT 8207193 SOS 4617869 HAS SOPS 4617869 HAS SOUS 2297728 HAS SOUPS 2297728 WITH SCORE 2302345.869
AT ITER 3941 NEW BEST:: SOT 8206615 SOS 4617398 HAS SOPS 4617398 HAS SOUS 2297354 HAS SOUPS 2297354 WITH SCORE 2301971.398
AT ITER 3943 NEW BEST:: SOT 8206403 SOS 4616550 HAS SOPS 4616550 HAS SOUS 2297142 HAS SOUPS 2297142 WITH SCORE 2301758.55
AT ITER 3945 NEW BEST:: SOT 8205849 SOS 4613030 HAS SOPS 4613030 HAS SOUS 2296708 HAS SOUPS 2296708 WITH SCORE 2301321.03
AT ITER 3948 NEW BEST:: SOT 8205303 SOS 4612484 HAS SOPS 4612484 HAS SOUS 2296162 HAS SOUPS 2296162 WITH SCORE 2300774.484
AT ITER 3953 NEW BEST:: SOT 8203902 SOS 4611083 HAS SOPS 4611083 HAS SOUS 2295993 HAS SOUPS 2295993 WITH SCORE 2300604.083
AT ITER 3954 NEW BEST:: SOT 8203902 SOS 4610968 HAS SOPS 4610968 HAS SOUS 2295763 HAS SOUPS 2295763 WITH SCORE 2300373.968
AT ITER 3971 NEW BEST:: SOT 8206922 SOS 4602259 HAS SOPS 4602259 HAS SOUS 2295516 HAS SOUPS 2295516 WITH SCORE 2300118.259
AT ITER 3980 NEW BEST:: SOT 8206932 SOS 4599935 HAS SOPS 4599935 HAS SOUS 2294647 HAS SOUPS 2294647 WITH SCORE 2299246.935
AT ITER 3985 NEW BEST:: SOT 8206765 SOS 4599210 HAS SOPS 4599210 HAS SOUS 2294646 HAS SOUPS 2294646 WITH SCORE 2299245.21
AT ITER 3986 NEW BEST:: SOT 8206765 SOS 4598726 HAS SOPS 4598726 HAS SOUS 2294646 HAS SOUPS 2294646 WITH SCORE 2299244.726
AT ITER 3987 NEW BEST:: SOT 8206159 SOS 4597509 HAS SOPS 4597509 HAS SOUS 2293429 HAS SOUPS 2293429 WITH SCORE 2298026.509
AT ITER 3991 NEW BEST:: SOT 8206159 SOS 4597430 HAS SOPS 4597430 HAS SOUS 2293429 HAS SOUPS 2293429 WITH SCORE 2298026.43
AT ITER 3992 NEW BEST:: SOT 8205701 SOS 4596514 HAS SOPS 4596514 HAS SOUS 2292513 HAS SOUPS 2292513 WITH SCORE 2297109.514
AT ITER 3995 NEW BEST:: SOT 8204420 SOS 4595233 HAS SOPS 4595233 HAS SOUS 2291243 HAS SOUPS 2291243 WITH SCORE 2295838.233
AT ITER 3996 NEW BEST:: SOT 8204270 SOS 4595035 HAS SOPS 4595035 HAS SOUS 2291147 HAS SOUPS 2291147 WITH SCORE 2295742.035
AT ITER 3998 NEW BEST:: SOT 8204717 SOS 4594326 HAS SOPS 4594326 HAS SOUS 2289525 HAS SOUPS 2289525 WITH SCORE 2294119.326
AT ITER 4005 NEW BEST:: SOT 8204717 SOS 4593833 HAS SOPS 4593833 HAS SOUS 2289525 HAS SOUPS 2289525 WITH SCORE 2294118.833
AT ITER 4008 NEW BEST:: SOT 8204268 SOS 4592935 HAS SOPS 4592935 HAS SOUS 2288343 HAS SOUPS 2288343 WITH SCORE 2292935.935
AT ITER 4009 NEW BEST:: SOT 8204250 SOS 4593103 HAS SOPS 4593103 HAS SOUS 2288325 HAS SOUPS 2288325 WITH SCORE 2292918.103
AT ITER 4012 NEW BEST:: SOT 8204241 SOS 4593094 HAS SOPS 4593094 HAS SOUS 2288316 HAS SOUPS 2288316 WITH SCORE 2292909.094
AT ITER 4013 NEW BEST:: SOT 8204241 SOS 4592627 HAS SOPS 4592627 HAS SOUS 2287849 HAS SOUPS 2287849 WITH SCORE 2292441.627
AT ITER 4014 NEW BEST:: SOT 8202398 SOS 4590995 HAS SOPS 4590995 HAS SOUS 2286006 HAS SOUPS 2286006 WITH SCORE 2290596.995
AT ITER 4015 NEW BEST:: SOT 8201501 SOS 4590098 HAS SOPS 4590098 HAS SOUS 2285335 HAS SOUPS 2285335 WITH SCORE 2289925.098
AT ITER 4016 NEW BEST:: SOT 8200770 SOS 4589367 HAS SOPS 4589367 HAS SOUS 2284604 HAS SOUPS 2284604 WITH SCORE 2289193.367
AT ITER 4020 NEW BEST:: SOT 8199209 SOS 4588669 HAS SOPS 4588669 HAS SOUS 2283588 HAS SOUPS 2283588 WITH SCORE 2288176.669
AT ITER 4023 NEW BEST:: SOT 8197557 SOS 4587017 HAS SOPS 4587017 HAS SOUS 2281299 HAS SOUPS 2281299 WITH SCORE 2285886.017
AT ITER 4026 NEW BEST:: SOT 8197051 SOS 4586454 HAS SOPS 4586454 HAS SOUS 2280541 HAS SOUPS 2280541 WITH SCORE 2285127.454
AT ITER 4028 NEW BEST:: SOT 8195381 SOS 4584893 HAS SOPS 4584893 HAS SOUS 2278984 HAS SOUPS 2278984 WITH SCORE 2283568.893
AT ITER 4029 NEW BEST:: SOT 8195055 SOS 4583133 HAS SOPS 4583133 HAS SOUS 2278711 HAS SOUPS 2278711 WITH SCORE 2283294.133
AT ITER 4033 NEW BEST:: SOT 8193735 SOS 4581153 HAS SOPS 4581153 HAS SOUS 2276731 HAS SOUPS 2276731 WITH SCORE 2281312.153
AT ITER 4036 NEW BEST:: SOT 8192977 SOS 4580359 HAS SOPS 4580359 HAS SOUS 2276659 HAS SOUPS 2276659 WITH SCORE 2281239.359
AT ITER 4039 NEW BEST:: SOT 8192977 SOS 4580359 HAS SOPS 4580359 HAS SOUS 2276435 HAS SOUPS 2276435 WITH SCORE 2281015.359
AT ITER 4041 NEW BEST:: SOT 8192961 SOS 4580339 HAS SOPS 4580339 HAS SOUS 2275828 HAS SOUPS 2275828 WITH SCORE 2280408.339
AT ITER 4053 NEW BEST:: SOT 8191866 SOS 4578517 HAS SOPS 4578517 HAS SOUS 2274374 HAS SOUPS 2274374 WITH SCORE 2278952.517
AT ITER 4054 NEW BEST:: SOT 8191430 SOS 4577645 HAS SOPS 4577645 HAS SOUS 2273502 HAS SOUPS 2273502 WITH SCORE 2278079.645
AT ITER 4057 NEW BEST:: SOT 8191417 SOS 4577619 HAS SOPS 4577619 HAS SOUS 2273374 HAS SOUPS 2273374 WITH SCORE 2277951.619
AT ITER 4058 NEW BEST:: SOT 8191417 SOS 4577247 HAS SOPS 4577247 HAS SOUS 2273374 HAS SOUPS 2273374 WITH SCORE 2277951.247
AT ITER 4060 NEW BEST:: SOT 8191417 SOS 4577247 HAS SOPS 4577247 HAS SOUS 2273000 HAS SOUPS 2273000 WITH SCORE 2277577.247
AT ITER 4062 NEW BEST:: SOT 8190745 SOS 4576635 HAS SOPS 4576635 HAS SOUS 2272388 HAS SOUPS 2272388 WITH SCORE 2276964.635
AT ITER 4065 NEW BEST:: SOT 8189335 SOS 4575225 HAS SOPS 4575225 HAS SOUS 2270978 HAS SOUPS 2270978 WITH SCORE 2275553.225
AT ITER 4072 NEW BEST:: SOT 8189217 SOS 4575107 HAS SOPS 4575107 HAS SOUS 2270762 HAS SOUPS 2270762 WITH SCORE 2275337.107
AT ITER 4078 NEW BEST:: SOT 8188964 SOS 4574854 HAS SOPS 4574854 HAS SOUS 2270657 HAS SOUPS 2270657 WITH SCORE 2275231.854
AT ITER 4080 NEW BEST:: SOT 8188255 SOS 4574145 HAS SOPS 4574145 HAS SOUS 2269948 HAS SOUPS 2269948 WITH SCORE 2274522.145
AT ITER 4086 NEW BEST:: SOT 8187104 SOS 4572377 HAS SOPS 4572377 HAS SOUS 2268797 HAS SOUPS 2268797 WITH SCORE 2273369.377
AT ITER 4088 NEW BEST:: SOT 8186855 SOS 4572154 HAS SOPS 4572154 HAS SOUS 2268548 HAS SOUPS 2268548 WITH SCORE 2273120.154
AT ITER 4090 NEW BEST:: SOT 8186461 SOS 4571366 HAS SOPS 4571366 HAS SOUS 2267450 HAS SOUPS 2267450 WITH SCORE 2272021.366
AT ITER 4091 NEW BEST:: SOT 8185790 SOS 4570024 HAS SOPS 4570024 HAS SOUS 2265311 HAS SOUPS 2265311 WITH SCORE 2269881.024
AT ITER 4098 NEW BEST:: SOT 8185318 SOS 4569407 HAS SOPS 4569407 HAS SOUS 2264826 HAS SOUPS 2264826 WITH SCORE 2269395.407
AT ITER 4099 NEW BEST:: SOT 8184440 SOS 4568529 HAS SOPS 4568529 HAS SOUS 2263948 HAS SOUPS 2263948 WITH SCORE 2268516.529
AT ITER 4113 NEW BEST:: SOT 8184097 SOS 4568186 HAS SOPS 4568186 HAS SOUS 2263709 HAS SOUPS 2263709 WITH SCORE 2268277.186
AT ITER 4114 NEW BEST:: SOT 8183012 SOS 4567101 HAS SOPS 4567101 HAS SOUS 2262330 HAS SOUPS 2262330 WITH SCORE 2266897.101
AT ITER 4134 NEW BEST:: SOT 8183003 SOS 4567001 HAS SOPS 4567001 HAS SOUS 2262321 HAS SOUPS 2262321 WITH SCORE 2266888.001
AT ITER 4147 NEW BEST:: SOT 8181009 SOS 4563924 HAS SOPS 4563924 HAS SOUS 2260327 HAS SOUPS 2260327 WITH SCORE 2264890.924
AT ITER 4150 NEW BEST:: SOT 8180974 SOS 4563854 HAS SOPS 4563854 HAS SOUS 2260068 HAS SOUPS 2260068 WITH SCORE 2264631.854
AT ITER 4155 NEW BEST:: SOT 8179988 SOS 4562589 HAS SOPS 4562589 HAS SOUS 2259081 HAS SOUPS 2259081 WITH SCORE 2263643.589
AT ITER 4158 NEW BEST:: SOT 8178384 SOS 4560908 HAS SOPS 4560908 HAS SOUS 2258296 HAS SOUPS 2258296 WITH SCORE 2262856.908
AT ITER 4163 NEW BEST:: SOT 8178703 SOS 4560116 HAS SOPS 4560116 HAS SOUS 2258282 HAS SOUPS 2258282 WITH SCORE 2262842.116
AT ITER 4164 NEW BEST:: SOT 8179594 SOS 4559793 HAS SOPS 4559793 HAS SOUS 2257838 HAS SOUPS 2257838 WITH SCORE 2262397.793
AT ITER 4168 NEW BEST:: SOT 8173955 SOS 4660601 HAS SOPS 4660601 HAS SOUS 2253369 HAS SOUPS 2253369 WITH SCORE 2258029.601
AT ITER 4169 NEW BEST:: SOT 8172534 SOS 4658462 HAS SOPS 4658462 HAS SOUS 2251948 HAS SOUPS 2251948 WITH SCORE 2256606.462
AT ITER 4175 NEW BEST:: SOT 8172354 SOS 4658282 HAS SOPS 4658282 HAS SOUS 2251888 HAS SOUPS 2251888 WITH SCORE 2256546.282
AT ITER 4179 NEW BEST:: SOT 8171664 SOS 4655212 HAS SOPS 4655212 HAS SOUS 2250430 HAS SOUPS 2250430 WITH SCORE 2255085.212
AT ITER 4180 NEW BEST:: SOT 8171512 SOS 4654616 HAS SOPS 4654616 HAS SOUS 2249986 HAS SOUPS 2249986 WITH SCORE 2254640.616
AT ITER 4181 NEW BEST:: SOT 8170700 SOS 4653197 HAS SOPS 4653197 HAS SOUS 2249045 HAS SOUPS 2249045 WITH SCORE 2253698.197
AT ITER 4183 NEW BEST:: SOT 8168667 SOS 4651263 HAS SOPS 4651263 HAS SOUS 2247552 HAS SOUPS 2247552 WITH SCORE 2252203.263
AT ITER 4186 NEW BEST:: SOT 8168903 SOS 4649571 HAS SOPS 4649571 HAS SOUS 2247120 HAS SOUPS 2247120 WITH SCORE 2251769.571
AT ITER 4191 NEW BEST:: SOT 8168903 SOS 4649384 HAS SOPS 4649384 HAS SOUS 2246534 HAS SOUPS 2246534 WITH SCORE 2251183.384
AT ITER 4197 NEW BEST:: SOT 8169187 SOS 4649654 HAS SOPS 4649654 HAS SOUS 2246506 HAS SOUPS 2246506 WITH SCORE 2251155.654
AT ITER 4200 NEW BEST:: SOT 8169299 SOS 4649558 HAS SOPS 4649558 HAS SOUS 2246458 HAS SOUPS 2246458 WITH SCORE 2251107.558
AT ITER 4204 NEW BEST:: SOT 8169811 SOS 4650070 HAS SOPS 4650070 HAS SOUS 2246180 HAS SOUPS 2246180 WITH SCORE 2250830.07
AT ITER 4205 NEW BEST:: SOT 8169575 SOS 4649598 HAS SOPS 4649598 HAS SOUS 2246063 HAS SOUPS 2246063 WITH SCORE 2250712.598
AT ITER 4216 NEW BEST:: SOT 8169861 SOS 4649043 HAS SOPS 4649043 HAS SOUS 2245221 HAS SOUPS 2245221 WITH SCORE 2249870.043
AT ITER 4233 NEW BEST:: SOT 8169861 SOS 4648737 HAS SOPS 4648737 HAS SOUS 2245221 HAS SOUPS 2245221 WITH SCORE 2249869.737
AT ITER 4240 NEW BEST:: SOT 8169861 SOS 4648737 HAS SOPS 4648737 HAS SOUS 2244648 HAS SOUPS 2244648 WITH SCORE 2249296.737
AT ITER 4250 NEW BEST:: SOT 8169475 SOS 4648351 HAS SOPS 4648351 HAS SOUS 2244262 HAS SOUPS 2244262 WITH SCORE 2248910.351
AT ITER 4252 NEW BEST:: SOT 8169699 SOS 4646979 HAS SOPS 4646979 HAS SOUS 2242890 HAS SOUPS 2242890 WITH SCORE 2247536.979
AT ITER 4256 NEW BEST:: SOT 8169821 SOS 4643561 HAS SOPS 4643561 HAS SOUS 2242506 HAS SOUPS 2242506 WITH SCORE 2247149.561
AT ITER 4257 NEW BEST:: SOT 8169286 SOS 4639855 HAS SOPS 4639855 HAS SOUS 2241132 HAS SOUPS 2241132 WITH SCORE 2245771.855
AT ITER 4261 NEW BEST:: SOT 8169194 SOS 4639763 HAS SOPS 4639763 HAS SOUS 2241040 HAS SOUPS 2241040 WITH SCORE 2245679.763
AT ITER 4263 NEW BEST:: SOT 8169194 SOS 4638599 HAS SOPS 4638599 HAS SOUS 2239035 HAS SOUPS 2239035 WITH SCORE 2243673.599
AT ITER 4269 NEW BEST:: SOT 8169647 SOS 4638809 HAS SOPS 4638809 HAS SOUS 2238792 HAS SOUPS 2238792 WITH SCORE 2243430.809
AT ITER 4271 NEW BEST:: SOT 8169536 SOS 4637522 HAS SOPS 4637522 HAS SOUS 2237616 HAS SOUPS 2237616 WITH SCORE 2242253.522
AT ITER 4272 NEW BEST:: SOT 8169580 SOS 4637411 HAS SOPS 4637411 HAS SOUS 2237495 HAS SOUPS 2237495 WITH SCORE 2242132.411
AT ITER 4284 NEW BEST:: SOT 8169580 SOS 4637270 HAS SOPS 4637270 HAS SOUS 2237495 HAS SOUPS 2237495 WITH SCORE 2242132.27
AT ITER 4285 NEW BEST:: SOT 8169361 SOS 4636831 HAS SOPS 4636831 HAS SOUS 2237275 HAS SOUPS 2237275 WITH SCORE 2241911.831
AT ITER 4296 NEW BEST:: SOT 8169753 SOS 4636756 HAS SOPS 4636756 HAS SOUS 2236533 HAS SOUPS 2236533 WITH SCORE 2241169.756
AT ITER 4298 NEW BEST:: SOT 8166175 SOS 4631894 HAS SOPS 4631894 HAS SOUS 2233595 HAS SOUPS 2233595 WITH SCORE 2238226.894
AT ITER 4300 NEW BEST:: SOT 8166175 SOS 4631894 HAS SOPS 4631894 HAS SOUS 2233447 HAS SOUPS 2233447 WITH SCORE 2238078.894
AT ITER 4302 NEW BEST:: SOT 8165929 SOS 4631402 HAS SOPS 4631402 HAS SOUS 2233446 HAS SOUPS 2233446 WITH SCORE 2238077.402
AT ITER 4304 NEW BEST:: SOT 8165625 SOS 4630793 HAS SOPS 4630793 HAS SOUS 2232913 HAS SOUPS 2232913 WITH SCORE 2237543.793
AT ITER 4307 NEW BEST:: SOT 8166233 SOS 4631376 HAS SOPS 4631376 HAS SOUS 2232601 HAS SOUPS 2232601 WITH SCORE 2237232.376
AT ITER 4323 NEW BEST:: SOT 8166772 SOS 4631793 HAS SOPS 4631793 HAS SOUS 2231895 HAS SOUPS 2231895 WITH SCORE 2236526.793
AT ITER 4324 NEW BEST:: SOT 8167943 SOS 4632616 HAS SOPS 4632616 HAS SOUS 2231595 HAS SOUPS 2231595 WITH SCORE 2236227.616
AT ITER 4328 NEW BEST:: SOT 8167943 SOS 4632530 HAS SOPS 4632530 HAS SOUS 2231509 HAS SOUPS 2231509 WITH SCORE 2236141.53
AT ITER 4330 NEW BEST:: SOT 8166582 SOS 4630220 HAS SOPS 4630220 HAS SOUS 2231135 HAS SOUPS 2231135 WITH SCORE 2235765.22
AT ITER 4339 NEW BEST:: SOT 8166618 SOS 4630292 HAS SOPS 4630292 HAS SOUS 2231065 HAS SOUPS 2231065 WITH SCORE 2235695.292
AT ITER 4342 NEW BEST:: SOT 8166640 SOS 4630314 HAS SOPS 4630314 HAS SOUS 2230560 HAS SOUPS 2230560 WITH SCORE 2235190.314
AT ITER 4345 NEW BEST:: SOT 8166324 SOS 4629682 HAS SOPS 4629682 HAS SOUS 2230244 HAS SOUPS 2230244 WITH SCORE 2234873.682
AT ITER 4348 NEW BEST:: SOT 8166324 SOS 4629555 HAS SOPS 4629555 HAS SOUS 2230116 HAS SOUPS 2230116 WITH SCORE 2234745.555
AT ITER 4353 NEW BEST:: SOT 8166324 SOS 4629555 HAS SOPS 4629555 HAS SOUS 2229796 HAS SOUPS 2229796 WITH SCORE 2234425.555
AT ITER 4356 NEW BEST:: SOT 8165644 SOS 4628875 HAS SOPS 4628875 HAS SOUS 2229116 HAS SOUPS 2229116 WITH SCORE 2233744.875
AT ITER 4362 NEW BEST:: SOT 8165644 SOS 4628275 HAS SOPS 4628275 HAS SOUS 2229116 HAS SOUPS 2229116 WITH SCORE 2233744.275
AT ITER 4375 NEW BEST:: SOT 8166366 SOS 4628508 HAS SOPS 4628508 HAS SOUS 2229056 HAS SOUPS 2229056 WITH SCORE 2233684.508
AT ITER 4380 NEW BEST:: SOT 8166077 SOS 4628219 HAS SOPS 4628219 HAS SOUS 2228767 HAS SOUPS 2228767 WITH SCORE 2233395.219
AT ITER 4383 NEW BEST:: SOT 8165969 SOS 4628123 HAS SOPS 4628123 HAS SOUS 2228676 HAS SOUPS 2228676 WITH SCORE 2233304.123
AT ITER 4388 NEW BEST:: SOT 8165760 SOS 4627705 HAS SOPS 4627705 HAS SOUS 2228615 HAS SOUPS 2228615 WITH SCORE 2233242.705
AT ITER 4403 NEW BEST:: SOT 8165641 SOS 4627543 HAS SOPS 4627543 HAS SOUS 2228615 HAS SOUPS 2228615 WITH SCORE 2233242.543
AT ITER 4409 NEW BEST:: SOT 8164752 SOS 4627905 HAS SOPS 4627905 HAS SOUS 2227907 HAS SOUPS 2227907 WITH SCORE 2232534.905
AT ITER 4411 NEW BEST:: SOT 8164752 SOS 4627744 HAS SOPS 4627744 HAS SOUS 2227585 HAS SOUPS 2227585 WITH SCORE 2232212.744
AT ITER 4425 NEW BEST:: SOT 8165494 SOS 4628555 HAS SOPS 4628555 HAS SOUS 2227481 HAS SOUPS 2227481 WITH SCORE 2232109.555
AT ITER 4430 NEW BEST:: SOT 8164281 SOS 4627312 HAS SOPS 4627312 HAS SOUS 2226512 HAS SOUPS 2226512 WITH SCORE 2231139.312
AT ITER 4431 NEW BEST:: SOT 8164342 SOS 4627373 HAS SOPS 4627373 HAS SOUS 2226497 HAS SOUPS 2226497 WITH SCORE 2231124.373
AT ITER 4434 NEW BEST:: SOT 8164469 SOS 4627440 HAS SOPS 4627440 HAS SOUS 2226377 HAS SOUPS 2226377 WITH SCORE 2231004.44
AT ITER 4436 NEW BEST:: SOT 8164352 SOS 4625486 HAS SOPS 4625486 HAS SOUS 2225562 HAS SOUPS 2225562 WITH SCORE 2230187.486
AT ITER 4439 NEW BEST:: SOT 8164637 SOS 4608035 HAS SOPS 4608035 HAS SOUS 2224990 HAS SOUPS 2224990 WITH SCORE 2229598.035
AT ITER 4440 NEW BEST:: SOT 8163998 SOS 4606509 HAS SOPS 4606509 HAS SOUS 2223970 HAS SOUPS 2223970 WITH SCORE 2228576.509
AT ITER 4445 NEW BEST:: SOT 8164318 SOS 4607042 HAS SOPS 4607042 HAS SOUS 2223503 HAS SOUPS 2223503 WITH SCORE 2228110.042
AT ITER 4447 NEW BEST:: SOT 8163676 SOS 4605008 HAS SOPS 4605008 HAS SOUS 2222753 HAS SOUPS 2222753 WITH SCORE 2227358.008
AT ITER 4450 NEW BEST:: SOT 8163676 SOS 4604240 HAS SOPS 4604240 HAS SOUS 2222753 HAS SOUPS 2222753 WITH SCORE 2227357.24
AT ITER 4458 NEW BEST:: SOT 8162583 SOS 4602939 HAS SOPS 4602939 HAS SOUS 2222565 HAS SOUPS 2222565 WITH SCORE 2227167.939
AT ITER 4471 NEW BEST:: SOT 8161814 SOS 4602170 HAS SOPS 4602170 HAS SOUS 2221796 HAS SOUPS 2221796 WITH SCORE 2226398.17
AT ITER 4478 NEW BEST:: SOT 8161633 SOS 4601989 HAS SOPS 4601989 HAS SOUS 2221615 HAS SOUPS 2221615 WITH SCORE 2226216.989
AT ITER 4488 NEW BEST:: SOT 8161633 SOS 4601709 HAS SOPS 4601709 HAS SOUS 2221615 HAS SOUPS 2221615 WITH SCORE 2226216.709
AT ITER 4506 NEW BEST:: SOT 8151553 SOS 4594624 HAS SOPS 4594624 HAS SOUS 2213586 HAS SOUPS 2213586 WITH SCORE 2218180.624
AT ITER 4508 NEW BEST:: SOT 8150318 SOS 4594155 HAS SOPS 4594155 HAS SOUS 2213459 HAS SOUPS 2213459 WITH SCORE 2218053.155
AT ITER 4519 NEW BEST:: SOT 8149115 SOS 4593403 HAS SOPS 4593403 HAS SOUS 2212165 HAS SOUPS 2212165 WITH SCORE 2216758.403
AT ITER 4520 NEW BEST:: SOT 8149115 SOS 4593403 HAS SOPS 4593403 HAS SOUS 2212145 HAS SOUPS 2212145 WITH SCORE 2216738.403
AT ITER 4523 NEW BEST:: SOT 8149115 SOS 4592775 HAS SOPS 4592775 HAS SOUS 2211972 HAS SOUPS 2211972 WITH SCORE 2216564.775
AT ITER 4532 NEW BEST:: SOT 8149211 SOS 4592798 HAS SOPS 4592798 HAS SOUS 2211552 HAS SOUPS 2211552 WITH SCORE 2216144.798
AT ITER 4539 NEW BEST:: SOT 8149211 SOS 4592684 HAS SOPS 4592684 HAS SOUS 2211552 HAS SOUPS 2211552 WITH SCORE 2216144.684
AT ITER 4540 NEW BEST:: SOT 8147932 SOS 4591966 HAS SOPS 4591966 HAS SOUS 2211124 HAS SOUPS 2211124 WITH SCORE 2215715.966
AT ITER 4545 NEW BEST:: SOT 8147932 SOS 4591890 HAS SOPS 4591890 HAS SOUS 2211124 HAS SOUPS 2211124 WITH SCORE 2215715.89
AT ITER 4546 NEW BEST:: SOT 8147853 SOS 4591732 HAS SOPS 4591732 HAS SOUS 2210966 HAS SOUPS 2210966 WITH SCORE 2215557.732
AT ITER 4548 NEW BEST:: SOT 8147715 SOS 4590899 HAS SOPS 4590899 HAS SOUS 2210133 HAS SOUPS 2210133 WITH SCORE 2214723.899
AT ITER 4551 NEW BEST:: SOT 8144702 SOS 4586749 HAS SOPS 4586749 HAS SOUS 2207159 HAS SOUPS 2207159 WITH SCORE 2211745.749
AT ITER 4555 NEW BEST:: SOT 8145984 SOS 4587510 HAS SOPS 4587510 HAS SOUS 2206361 HAS SOUPS 2206361 WITH SCORE 2210948.51
AT ITER 4565 NEW BEST:: SOT 8145984 SOS 4587510 HAS SOPS 4587510 HAS SOUS 2206319 HAS SOUPS 2206319 WITH SCORE 2210906.51
AT ITER 4567 NEW BEST:: SOT 8145976 SOS 4587323 HAS SOPS 4587323 HAS SOUS 2206021 HAS SOUPS 2206021 WITH SCORE 2210608.323
AT ITER 4583 NEW BEST:: SOT 8145848 SOS 4587247 HAS SOPS 4587247 HAS SOUS 2205945 HAS SOUPS 2205945 WITH SCORE 2210532.247
AT ITER 4587 NEW BEST:: SOT 8145723 SOS 4586997 HAS SOPS 4586997 HAS SOUS 2205695 HAS SOUPS 2205695 WITH SCORE 2210281.997
AT ITER 4590 NEW BEST:: SOT 8145557 SOS 4586499 HAS SOPS 4586499 HAS SOUS 2205197 HAS SOUPS 2205197 WITH SCORE 2209783.499
AT ITER 4591 NEW BEST:: SOT 8146482 SOS 4586094 HAS SOPS 4586094 HAS SOUS 2205104 HAS SOUPS 2205104 WITH SCORE 2209690.094
AT ITER 4605 NEW BEST:: SOT 8146482 SOS 4586094 HAS SOPS 4586094 HAS SOUS 2205103 HAS SOUPS 2205103 WITH SCORE 2209689.094
AT ITER 4606 NEW BEST:: SOT 8146230 SOS 4585077 HAS SOPS 4585077 HAS SOUS 2204824 HAS SOUPS 2204824 WITH SCORE 2209409.077
AT ITER 4608 NEW BEST:: SOT 8146226 SOS 4585073 HAS SOPS 4585073 HAS SOUS 2204820 HAS SOUPS 2204820 WITH SCORE 2209405.073
AT ITER 4611 NEW BEST:: SOT 8146070 SOS 4584917 HAS SOPS 4584917 HAS SOUS 2204687 HAS SOUPS 2204687 WITH SCORE 2209271.917
AT ITER 4614 NEW BEST:: SOT 8145103 SOS 4583504 HAS SOPS 4583504 HAS SOUS 2203720 HAS SOUPS 2203720 WITH SCORE 2208303.504
AT ITER 4618 NEW BEST:: SOT 8144956 SOS 4583210 HAS SOPS 4583210 HAS SOUS 2203426 HAS SOUPS 2203426 WITH SCORE 2208009.21
AT ITER 4624 NEW BEST:: SOT 8143113 SOS 4579524 HAS SOPS 4579524 HAS SOUS 2202029 HAS SOUPS 2202029 WITH SCORE 2206608.524
AT ITER 4630 NEW BEST:: SOT 8142828 SOS 4578954 HAS SOPS 4578954 HAS SOUS 2201459 HAS SOUPS 2201459 WITH SCORE 2206037.954
AT ITER 4653 NEW BEST:: SOT 8142828 SOS 4578954 HAS SOPS 4578954 HAS SOUS 2201387 HAS SOUPS 2201387 WITH SCORE 2205965.954
AT ITER 4655 NEW BEST:: SOT 8142800 SOS 4578898 HAS SOPS 4578898 HAS SOUS 2201328 HAS SOUPS 2201328 WITH SCORE 2205906.898
AT ITER 4662 NEW BEST:: SOT 8143156 SOS 4578693 HAS SOPS 4578693 HAS SOUS 2201123 HAS SOUPS 2201123 WITH SCORE 2205701.693
AT ITER 4663 NEW BEST:: SOT 8141603 SOS 4578056 HAS SOPS 4578056 HAS SOUS 2200287 HAS SOUPS 2200287 WITH SCORE 2204865.056
AT ITER 4665 NEW BEST:: SOT 8141865 SOS 4577079 HAS SOPS 4577079 HAS SOUS 2199742 HAS SOUPS 2199742 WITH SCORE 2204319.079
AT ITER 4669 NEW BEST:: SOT 8142189 SOS 4574919 HAS SOPS 4574919 HAS SOUS 2199298 HAS SOUPS 2199298 WITH SCORE 2203872.919
AT ITER 4676 NEW BEST:: SOT 8142189 SOS 4575334 HAS SOPS 4575334 HAS SOUS 2198691 HAS SOUPS 2198691 WITH SCORE 2203266.334
AT ITER 4678 NEW BEST:: SOT 8142100 SOS 4575156 HAS SOPS 4575156 HAS SOUS 2198513 HAS SOUPS 2198513 WITH SCORE 2203088.156
AT ITER 4698 NEW BEST:: SOT 8141997 SOS 4574950 HAS SOPS 4574950 HAS SOUS 2198410 HAS SOUPS 2198410 WITH SCORE 2202984.95
AT ITER 4701 NEW BEST:: SOT 8138977 SOS 4573379 HAS SOPS 4573379 HAS SOUS 2196903 HAS SOUPS 2196903 WITH SCORE 2201476.379
AT ITER 4703 NEW BEST:: SOT 8139382 SOS 4573959 HAS SOPS 4573959 HAS SOUS 2196791 HAS SOUPS 2196791 WITH SCORE 2201364.959
AT ITER 4704 NEW BEST:: SOT 8139370 SOS 4572275 HAS SOPS 4572275 HAS SOUS 2195949 HAS SOUPS 2195949 WITH SCORE 2200521.275
AT ITER 4706 NEW BEST:: SOT 8138449 SOS 4570259 HAS SOPS 4570259 HAS SOUS 2195357 HAS SOUPS 2195357 WITH SCORE 2199927.259
AT ITER 4707 NEW BEST:: SOT 8138449 SOS 4570259 HAS SOPS 4570259 HAS SOUS 2195329 HAS SOUPS 2195329 WITH SCORE 2199899.259
AT ITER 4708 NEW BEST:: SOT 8137452 SOS 4568675 HAS SOPS 4568675 HAS SOUS 2193256 HAS SOUPS 2193256 WITH SCORE 2197824.675
AT ITER 4709 NEW BEST:: SOT 8136703 SOS 4566512 HAS SOPS 4566512 HAS SOUS 2192956 HAS SOUPS 2192956 WITH SCORE 2197522.512
AT ITER 4710 NEW BEST:: SOT 8136657 SOS 4566466 HAS SOPS 4566466 HAS SOUS 2192910 HAS SOUPS 2192910 WITH SCORE 2197476.466
AT ITER 4712 NEW BEST:: SOT 8136768 SOS 4566384 HAS SOPS 4566384 HAS SOUS 2192639 HAS SOUPS 2192639 WITH SCORE 2197205.384
AT ITER 4718 NEW BEST:: SOT 8137088 SOS 4567306 HAS SOPS 4567306 HAS SOUS 2192532 HAS SOUPS 2192532 WITH SCORE 2197099.306
AT ITER 4719 NEW BEST:: SOT 8137088 SOS 4567041 HAS SOPS 4567041 HAS SOUS 2192267 HAS SOUPS 2192267 WITH SCORE 2196834.041
AT ITER 4721 NEW BEST:: SOT 8136926 SOS 4566879 HAS SOPS 4566879 HAS SOUS 2192267 HAS SOUPS 2192267 WITH SCORE 2196833.879
AT ITER 4729 NEW BEST:: SOT 8136357 SOS 4563645 HAS SOPS 4563645 HAS SOUS 2190994 HAS SOUPS 2190994 WITH SCORE 2195557.645
AT ITER 4750 NEW BEST:: SOT 8135717 SOS 4562560 HAS SOPS 4562560 HAS SOUS 2190354 HAS SOUPS 2190354 WITH SCORE 2194916.56
AT ITER 4751 NEW BEST:: SOT 8134974 SOS 4561074 HAS SOPS 4561074 HAS SOUS 2189611 HAS SOUPS 2189611 WITH SCORE 2194172.074
AT ITER 4757 NEW BEST:: SOT 8134662 SOS 4560450 HAS SOPS 4560450 HAS SOUS 2189299 HAS SOUPS 2189299 WITH SCORE 2193859.45
AT ITER 4763 NEW BEST:: SOT 8134294 SOS 4560082 HAS SOPS 4560082 HAS SOUS 2188930 HAS SOUPS 2188930 WITH SCORE 2193490.082
AT ITER 4764 NEW BEST:: SOT 8134708 SOS 4559544 HAS SOPS 4559544 HAS SOUS 2188392 HAS SOUPS 2188392 WITH SCORE 2192951.544
AT ITER 4766 NEW BEST:: SOT 8133409 SOS 4557091 HAS SOPS 4557091 HAS SOUS 2186516 HAS SOUPS 2186516 WITH SCORE 2191073.091
AT ITER 4770 NEW BEST:: SOT 8133776 SOS 4554956 HAS SOPS 4554956 HAS SOUS 2186019 HAS SOUPS 2186019 WITH SCORE 2190573.956
AT ITER 4773 NEW BEST:: SOT 8133776 SOS 4554956 HAS SOPS 4554956 HAS SOUS 2186009 HAS SOUPS 2186009 WITH SCORE 2190563.956
AT ITER 4777 NEW BEST:: SOT 8133776 SOS 4554086 HAS SOPS 4554086 HAS SOUS 2185574 HAS SOUPS 2185574 WITH SCORE 2190128.086
AT ITER 4779 NEW BEST:: SOT 8133542 SOS 4553618 HAS SOPS 4553618 HAS SOUS 2185461 HAS SOUPS 2185461 WITH SCORE 2190014.618
AT ITER 4799 NEW BEST:: SOT 8133914 SOS 4553585 HAS SOPS 4553585 HAS SOUS 2185056 HAS SOUPS 2185056 WITH SCORE 2189609.585
AT ITER 4800 NEW BEST:: SOT 8133914 SOS 4553585 HAS SOPS 4553585 HAS SOUS 2184374 HAS SOUPS 2184374 WITH SCORE 2188927.585
AT ITER 4801 NEW BEST:: SOT 8133914 SOS 4552777 HAS SOPS 4552777 HAS SOUS 2184374 HAS SOUPS 2184374 WITH SCORE 2188926.777
AT ITER 4808 NEW BEST:: SOT 8133237 SOS 4551792 HAS SOPS 4551792 HAS SOUS 2184147 HAS SOUPS 2184147 WITH SCORE 2188698.792
AT ITER 4810 NEW BEST:: SOT 8132900 SOS 4551454 HAS SOPS 4551454 HAS SOUS 2184146 HAS SOUPS 2184146 WITH SCORE 2188697.454
AT ITER 4821 NEW BEST:: SOT 8132286 SOS 4550840 HAS SOPS 4550840 HAS SOUS 2183532 HAS SOUPS 2183532 WITH SCORE 2188082.84
AT ITER 4824 NEW BEST:: SOT 8132286 SOS 4550707 HAS SOPS 4550707 HAS SOUS 2183041 HAS SOUPS 2183041 WITH SCORE 2187591.707
AT ITER 4825 NEW BEST:: SOT 8132446 SOS 4550681 HAS SOPS 4550681 HAS SOUS 2181647 HAS SOUPS 2181647 WITH SCORE 2186197.681
AT ITER 4826 NEW BEST:: SOT 8133950 SOS 4552341 HAS SOPS 4552341 HAS SOUS 2181582 HAS SOUPS 2181582 WITH SCORE 2186134.341
AT ITER 4831 NEW BEST:: SOT 8133802 SOS 4552119 HAS SOPS 4552119 HAS SOUS 2181434 HAS SOUPS 2181434 WITH SCORE 2185986.119
AT ITER 4838 NEW BEST:: SOT 8133621 SOS 4551757 HAS SOPS 4551757 HAS SOUS 2181253 HAS SOUPS 2181253 WITH SCORE 2185804.757
AT ITER 4839 NEW BEST:: SOT 8133621 SOS 4551148 HAS SOPS 4551148 HAS SOUS 2180644 HAS SOUPS 2180644 WITH SCORE 2185195.148
AT ITER 4840 NEW BEST:: SOT 8132620 SOS 4550275 HAS SOPS 4550275 HAS SOUS 2180409 HAS SOUPS 2180409 WITH SCORE 2184959.275
AT ITER 4841 NEW BEST:: SOT 8132784 SOS 4548887 HAS SOPS 4548887 HAS SOUS 2178353 HAS SOUPS 2178353 WITH SCORE 2182901.887
AT ITER 4844 NEW BEST:: SOT 8132784 SOS 4548887 HAS SOPS 4548887 HAS SOUS 2178349 HAS SOUPS 2178349 WITH SCORE 2182897.887
AT ITER 4849 NEW BEST:: SOT 8132370 SOS 4548059 HAS SOPS 4548059 HAS SOUS 2177935 HAS SOUPS 2177935 WITH SCORE 2182483.059
AT ITER 4851 NEW BEST:: SOT 8132275 SOS 4547869 HAS SOPS 4547869 HAS SOUS 2177656 HAS SOUPS 2177656 WITH SCORE 2182203.869
AT ITER 4858 NEW BEST:: SOT 8131116 SOS 4545797 HAS SOPS 4545797 HAS SOUS 2177025 HAS SOUPS 2177025 WITH SCORE 2181570.797
AT ITER 4859 NEW BEST:: SOT 8129734 SOS 4544415 HAS SOPS 4544415 HAS SOUS 2175709 HAS SOUPS 2175709 WITH SCORE 2180253.415
AT ITER 4867 NEW BEST:: SOT 8129735 SOS 4543658 HAS SOPS 4543658 HAS SOUS 2174718 HAS SOUPS 2174718 WITH SCORE 2179261.658
AT ITER 4868 NEW BEST:: SOT 8129055 SOS 4542261 HAS SOPS 4542261 HAS SOUS 2174038 HAS SOUPS 2174038 WITH SCORE 2178580.261
AT ITER 4871 NEW BEST:: SOT 8127411 SOS 4539027 HAS SOPS 4539027 HAS SOUS 2171599 HAS SOUPS 2171599 WITH SCORE 2176138.027
AT ITER 4878 NEW BEST:: SOT 8127160 SOS 4538525 HAS SOPS 4538525 HAS SOUS 2171599 HAS SOUPS 2171599 WITH SCORE 2176137.525
AT ITER 4881 NEW BEST:: SOT 8127160 SOS 4535963 HAS SOPS 4535963 HAS SOUS 2170821 HAS SOUPS 2170821 WITH SCORE 2175356.963
AT ITER 4883 NEW BEST:: SOT 8126457 SOS 4535260 HAS SOPS 4535260 HAS SOUS 2170394 HAS SOUPS 2170394 WITH SCORE 2174929.26
AT ITER 4889 NEW BEST:: SOT 8126147 SOS 4534318 HAS SOPS 4534318 HAS SOUS 2169948 HAS SOUPS 2169948 WITH SCORE 2174482.318
AT ITER 4904 NEW BEST:: SOT 8126905 SOS 4530884 HAS SOPS 4530884 HAS SOUS 2169773 HAS SOUPS 2169773 WITH SCORE 2174303.884
AT ITER 4906 NEW BEST:: SOT 8126554 SOS 4528000 HAS SOPS 4528000 HAS SOUS 2169242 HAS SOUPS 2169242 WITH SCORE 2173770.0
AT ITER 4907 NEW BEST:: SOT 8126462 SOS 4527908 HAS SOPS 4527908 HAS SOUS 2169150 HAS SOUPS 2169150 WITH SCORE 2173677.908
AT ITER 4909 NEW BEST:: SOT 8126462 SOS 4526099 HAS SOPS 4526099 HAS SOUS 2168547 HAS SOUPS 2168547 WITH SCORE 2173073.099
AT ITER 4917 NEW BEST:: SOT 8126151 SOS 4525856 HAS SOPS 4525856 HAS SOUS 2168304 HAS SOUPS 2168304 WITH SCORE 2172829.856
AT ITER 4926 NEW BEST:: SOT 8125636 SOS 4523251 HAS SOPS 4523251 HAS SOUS 2167241 HAS SOUPS 2167241 WITH SCORE 2171764.251
AT ITER 4927 NEW BEST:: SOT 8125636 SOS 4523206 HAS SOPS 4523206 HAS SOUS 2167241 HAS SOUPS 2167241 WITH SCORE 2171764.206
AT ITER 4932 NEW BEST:: SOT 8124273 SOS 4520776 HAS SOPS 4520776 HAS SOUS 2166174 HAS SOUPS 2166174 WITH SCORE 2170694.776
AT ITER 4933 NEW BEST:: SOT 8123997 SOS 4520500 HAS SOPS 4520500 HAS SOUS 2165811 HAS SOUPS 2165811 WITH SCORE 2170331.5
AT ITER 4944 NEW BEST:: SOT 8123993 SOS 4520931 HAS SOPS 4520931 HAS SOUS 2165596 HAS SOUPS 2165596 WITH SCORE 2170116.931
AT ITER 4945 NEW BEST:: SOT 8123527 SOS 4520465 HAS SOPS 4520465 HAS SOUS 2165151 HAS SOUPS 2165151 WITH SCORE 2169671.465
AT ITER 4946 NEW BEST:: SOT 8123147 SOS 4519895 HAS SOPS 4519895 HAS SOUS 2164631 HAS SOUPS 2164631 WITH SCORE 2169150.895
AT ITER 4947 NEW BEST:: SOT 8122819 SOS 4519239 HAS SOPS 4519239 HAS SOUS 2164433 HAS SOUPS 2164433 WITH SCORE 2168952.239
AT ITER 4956 NEW BEST:: SOT 8122945 SOS 4518808 HAS SOPS 4518808 HAS SOUS 2164318 HAS SOUPS 2164318 WITH SCORE 2168836.808
AT ITER 4959 NEW BEST:: SOT 8121337 SOS 4516205 HAS SOPS 4516205 HAS SOUS 2162294 HAS SOUPS 2162294 WITH SCORE 2166810.205
AT ITER 4962 NEW BEST:: SOT 8121164 SOS 4516581 HAS SOPS 4516581 HAS SOUS 2161948 HAS SOUPS 2161948 WITH SCORE 2166464.581
AT ITER 4964 NEW BEST:: SOT 8120418 SOS 4514687 HAS SOPS 4514687 HAS SOUS 2161202 HAS SOUPS 2161202 WITH SCORE 2165716.687
AT ITER 4969 NEW BEST:: SOT 8119756 SOS 4514279 HAS SOPS 4514279 HAS SOUS 2160540 HAS SOUPS 2160540 WITH SCORE 2165054.279
AT ITER 4986 NEW BEST:: SOT 8118004 SOS 4511833 HAS SOPS 4511833 HAS SOUS 2158788 HAS SOUPS 2158788 WITH SCORE 2163299.833
AT ITER 4991 NEW BEST:: SOT 8117587 SOS 4511259 HAS SOPS 4511259 HAS SOUS 2158269 HAS SOUPS 2158269 WITH SCORE 2162780.259
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-00 (AF( ( (EG( ( ((potential((tk(P1069)>=1)))) & ((potential((tk(P626)>=1)))) ))) | (EX( ( ((potential((tk(P3323)>=1)))) & ((potential((tk(P289)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-01 (AF( ( (EG( ( ((potential((tk(P3033)>=1)))) & ((potential((tk(P532)>=1) & (tk(P457)>=1) & (tk(P2554)>=1)))) ))) & (! ((potential((tk(P2840)>=1))))) )))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-02 (EX( (! (EF( ( ((potential((tk(P1937)>=1) & (tk(P714)>=1) & (tk(P2669)>=1)))) & ((potential((tk(P3458)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-03 (AU( (! (EF( ((potential((tk(P2279)>=1))))))) , ( ( ((potential((tk(P877)>=1) & (tk(P3470)>=1)))) | ( ((potential((tk(P745)>=1)))) | ((potential((tk(P1037)>=1)))) ) ) & ((potential((tk(P3458)>=1)))) ) ))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-04 (AF( ((potential((tk(P1468)>=1))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-05 (AG( (EX( (EF( ((potential((tk(P2742)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-06 (! (EF( ( ( ( ((potential((tk(P2467)>=1)))) | ((potential((tk(P1916)>=1)))) ) & ((potential((tk(P1555)>=1)))) ) | ( ( ((potential((tk(P2085)>=1) & (tk(P1756)>=1) & (tk(P3164)>=1)))) & ((potential((tk(P157)>=1)))) ) & ( ((potential((tk(P2269)>=1)))) | ((potential((tk(P1800)>=1)))) ) ) ))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-07 (AF( (EX( (AX( ((potential((tk(P1344)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-08 (AX( (EF( (EF( ((potential((tk(P1213)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-09 (AF( ( (AU( ((potential((tk(P326)>=1)))) , ((potential((tk(P131)>=1)))) )) | ( ((potential((tk(P2284)>=1) & (tk(P1789)>=1) & (tk(P3439)>=1)))) | (AG( ((potential((tk(P2233)>=1) & (tk(P1760)>=1) & (tk(P3169)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-10 (! (AF( (! (EF( ((potential((tk(P1291)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-11 (AX( (! ( ( (! ((potential((tk(P1340)>=1))))) | (! ((potential((tk(P2643)>=1))))) ) & (AF( ((potential((tk(P1188)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-12 (AX( (AF( (AX( ((potential((tk(P1919)>=1) & (tk(P3470)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-13 (EU( ((potential((tk(P595)>=1)))) , (! (EF( ((potential((tk(P1850)>=1))))))) ))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-14 (EF( (AU( ( ((potential((tk(P2575)>=1)))) | ((potential((tk(P2962)>=1)))) ) , ((potential((tk(P1789)>=1) & (tk(P416)>=1) & (tk(P2524)>=1)))) ))))
PROPERTY: FlexibleBarrier-PT-16b-CTLFireability-15 ( (EU( (! ( ((potential((tk(P2841)>=1)))) | ((potential((tk(P304)>=1)))) )) , ( ( ((potential((tk(P2211)>=1)))) & ((potential((tk(P2446)>=1)))) ) & ((potential((tk(P925)>=1)))) ) )) | ((potential((tk(P600)>=1)))) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-16b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-16b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972500364"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-16b.tgz
mv FlexibleBarrier-PT-16b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;