Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469100203.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldIIPs-PT-100A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100203
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K May 14 00:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 13:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 07:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 868K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-100A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439154048

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 100A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2503 places, 2403 transitions, 10806 arcs.
AT ITER 0 NEW BEST:: SOT 4091903 SOS 3156900 HAS SOPS 3156900 HAS SOUS 2654493 HAS SOUPS 2654493 WITH SCORE 2657649.9
AT ITER 3 NEW BEST:: SOT 4091163 SOS 3156538 HAS SOPS 3156538 HAS SOUS 2654131 HAS SOUPS 2654131 WITH SCORE 2657287.538
AT ITER 5 NEW BEST:: SOT 4090699 SOS 3156074 HAS SOPS 3156074 HAS SOUS 2653667 HAS SOUPS 2653667 WITH SCORE 2656823.074
AT ITER 14 NEW BEST:: SOT 4090699 SOS 3156073 HAS SOPS 3156073 HAS SOUS 2653666 HAS SOUPS 2653666 WITH SCORE 2656822.073
AT ITER 18 NEW BEST:: SOT 4089439 SOS 3154813 HAS SOPS 3154813 HAS SOUS 2652406 HAS SOUPS 2652406 WITH SCORE 2655560.813
AT ITER 27 NEW BEST:: SOT 4088545 SOS 3153917 HAS SOPS 3153917 HAS SOUS 2651510 HAS SOUPS 2651510 WITH SCORE 2654663.917
AT ITER 29 NEW BEST:: SOT 4089953 SOS 3153712 HAS SOPS 3153712 HAS SOUS 2650924 HAS SOUPS 2650924 WITH SCORE 2654077.712
AT ITER 52 NEW BEST:: SOT 4089955 SOS 3153315 HAS SOPS 3153315 HAS SOUS 2650527 HAS SOUPS 2650527 WITH SCORE 2653680.315
AT ITER 57 NEW BEST:: SOT 4089377 SOS 3152737 HAS SOPS 3152737 HAS SOUS 2649949 HAS SOUPS 2649949 WITH SCORE 2653101.737
AT ITER 59 NEW BEST:: SOT 4090751 SOS 3150512 HAS SOPS 3150512 HAS SOUS 2649789 HAS SOUPS 2649789 WITH SCORE 2652939.512
AT ITER 60 NEW BEST:: SOT 4090749 SOS 3150508 HAS SOPS 3150508 HAS SOUS 2649785 HAS SOUPS 2649785 WITH SCORE 2652935.508
AT ITER 62 NEW BEST:: SOT 4090299 SOS 3148002 HAS SOPS 3148002 HAS SOUS 2648965 HAS SOUPS 2648965 WITH SCORE 2652113.002
AT ITER 67 NEW BEST:: SOT 4090301 SOS 3148004 HAS SOPS 3148004 HAS SOUS 2648571 HAS SOUPS 2648571 WITH SCORE 2651719.004
AT ITER 72 NEW BEST:: SOT 4090966 SOS 3146240 HAS SOPS 3146240 HAS SOUS 2647162 HAS SOUPS 2647162 WITH SCORE 2650308.24
AT ITER 74 NEW BEST:: SOT 4090966 SOS 3146239 HAS SOPS 3146239 HAS SOUS 2647161 HAS SOUPS 2647161 WITH SCORE 2650307.239
AT ITER 88 NEW BEST:: SOT 4090806 SOS 3146077 HAS SOPS 3146077 HAS SOUS 2646999 HAS SOUPS 2646999 WITH SCORE 2650145.077
AT ITER 96 NEW BEST:: SOT 4090804 SOS 3146075 HAS SOPS 3146075 HAS SOUS 2646997 HAS SOUPS 2646997 WITH SCORE 2650143.075
AT ITER 98 NEW BEST:: SOT 4090864 SOS 3145738 HAS SOPS 3145738 HAS SOUS 2646660 HAS SOUPS 2646660 WITH SCORE 2649805.738
AT ITER 99 NEW BEST:: SOT 4089928 SOS 3144802 HAS SOPS 3144802 HAS SOUS 2645724 HAS SOUPS 2645724 WITH SCORE 2648868.802
AT ITER 101 NEW BEST:: SOT 4089928 SOS 3144801 HAS SOPS 3144801 HAS SOUS 2645723 HAS SOUPS 2645723 WITH SCORE 2648867.801
AT ITER 102 NEW BEST:: SOT 4089928 SOS 3144403 HAS SOPS 3144403 HAS SOUS 2645325 HAS SOUPS 2645325 WITH SCORE 2648469.403
AT ITER 103 NEW BEST:: SOT 4089354 SOS 3143644 HAS SOPS 3143644 HAS SOUS 2645298 HAS SOUPS 2645298 WITH SCORE 2648441.644
AT ITER 104 NEW BEST:: SOT 4090622 SOS 3142185 HAS SOPS 3142185 HAS SOUS 2644766 HAS SOUPS 2644766 WITH SCORE 2647908.185
AT ITER 107 NEW BEST:: SOT 4090141 SOS 3141702 HAS SOPS 3141702 HAS SOUS 2644283 HAS SOUPS 2644283 WITH SCORE 2647424.702
AT ITER 108 NEW BEST:: SOT 4089648 SOS 3139827 HAS SOPS 3139827 HAS SOUS 2644177 HAS SOUPS 2644177 WITH SCORE 2647316.827
AT ITER 110 NEW BEST:: SOT 4089405 SOS 3139827 HAS SOPS 3139827 HAS SOUS 2644176 HAS SOUPS 2644176 WITH SCORE 2647315.827
AT ITER 115 NEW BEST:: SOT 4090594 SOS 3137113 HAS SOPS 3137113 HAS SOUS 2643247 HAS SOUPS 2643247 WITH SCORE 2646384.113
AT ITER 119 NEW BEST:: SOT 4090357 SOS 3136874 HAS SOPS 3136874 HAS SOUS 2643008 HAS SOUPS 2643008 WITH SCORE 2646144.874
AT ITER 124 NEW BEST:: SOT 4090099 SOS 3136616 HAS SOPS 3136616 HAS SOUS 2642750 HAS SOUPS 2642750 WITH SCORE 2645886.616
AT ITER 129 NEW BEST:: SOT 4089655 SOS 3135775 HAS SOPS 3135775 HAS SOUS 2641909 HAS SOUPS 2641909 WITH SCORE 2645044.775
AT ITER 132 NEW BEST:: SOT 4091205 SOS 3134927 HAS SOPS 3134927 HAS SOUS 2641894 HAS SOUPS 2641894 WITH SCORE 2645028.927
AT ITER 133 NEW BEST:: SOT 4091111 SOS 3134457 HAS SOPS 3134457 HAS SOUS 2641894 HAS SOUPS 2641894 WITH SCORE 2645028.457
AT ITER 135 NEW BEST:: SOT 4090961 SOS 3134307 HAS SOPS 3134307 HAS SOUS 2641744 HAS SOUPS 2641744 WITH SCORE 2644878.307
AT ITER 138 NEW BEST:: SOT 4090840 SOS 3134186 HAS SOPS 3134186 HAS SOUS 2641623 HAS SOUPS 2641623 WITH SCORE 2644757.186
AT ITER 140 NEW BEST:: SOT 4089434 SOS 3131314 HAS SOPS 3131314 HAS SOUS 2638486 HAS SOUPS 2638486 WITH SCORE 2641617.314
AT ITER 141 NEW BEST:: SOT 4088202 SOS 3130080 HAS SOPS 3130080 HAS SOUS 2637252 HAS SOUPS 2637252 WITH SCORE 2640382.08
AT ITER 142 NEW BEST:: SOT 4089224 SOS 3129686 HAS SOPS 3129686 HAS SOUS 2637099 HAS SOUPS 2637099 WITH SCORE 2640228.686
AT ITER 146 NEW BEST:: SOT 4089221 SOS 3129681 HAS SOPS 3129681 HAS SOUS 2637094 HAS SOUPS 2637094 WITH SCORE 2640223.681
AT ITER 156 NEW BEST:: SOT 4087954 SOS 3128413 HAS SOPS 3128413 HAS SOUS 2635826 HAS SOUPS 2635826 WITH SCORE 2638954.413
AT ITER 167 NEW BEST:: SOT 4089422 SOS 3127281 HAS SOPS 3127281 HAS SOUS 2635704 HAS SOUPS 2635704 WITH SCORE 2638831.281
AT ITER 171 NEW BEST:: SOT 4088919 SOS 3125882 HAS SOPS 3125882 HAS SOUS 2635034 HAS SOUPS 2635034 WITH SCORE 2638159.882
AT ITER 172 NEW BEST:: SOT 4088510 SOS 3124011 HAS SOPS 3124011 HAS SOUS 2634981 HAS SOUPS 2634981 WITH SCORE 2638105.011
AT ITER 174 NEW BEST:: SOT 4088314 SOS 3123620 HAS SOPS 3123620 HAS SOUS 2634590 HAS SOUPS 2634590 WITH SCORE 2637713.62
AT ITER 178 NEW BEST:: SOT 4087900 SOS 3121966 HAS SOPS 3121966 HAS SOUS 2634500 HAS SOUPS 2634500 WITH SCORE 2637621.966
AT ITER 182 NEW BEST:: SOT 4086639 SOS 3120705 HAS SOPS 3120705 HAS SOUS 2633239 HAS SOUPS 2633239 WITH SCORE 2636359.705
AT ITER 186 NEW BEST:: SOT 4085972 SOS 3120038 HAS SOPS 3120038 HAS SOUS 2632572 HAS SOUPS 2632572 WITH SCORE 2635692.038
AT ITER 187 NEW BEST:: SOT 4086059 SOS 3120125 HAS SOPS 3120125 HAS SOUS 2632261 HAS SOUPS 2632261 WITH SCORE 2635381.125
AT ITER 189 NEW BEST:: SOT 4086051 SOS 3120115 HAS SOPS 3120115 HAS SOUS 2632249 HAS SOUPS 2632249 WITH SCORE 2635369.115
AT ITER 195 NEW BEST:: SOT 4085508 SOS 3119572 HAS SOPS 3119572 HAS SOUS 2631706 HAS SOUPS 2631706 WITH SCORE 2634825.572
AT ITER 196 NEW BEST:: SOT 4085000 SOS 3119064 HAS SOPS 3119064 HAS SOUS 2631198 HAS SOUPS 2631198 WITH SCORE 2634317.064
AT ITER 197 NEW BEST:: SOT 4084993 SOS 3119051 HAS SOPS 3119051 HAS SOUS 2631185 HAS SOUPS 2631185 WITH SCORE 2634304.051
AT ITER 202 NEW BEST:: SOT 4084638 SOS 3117142 HAS SOPS 3117142 HAS SOUS 2630963 HAS SOUPS 2630963 WITH SCORE 2634080.142
AT ITER 203 NEW BEST:: SOT 4084091 SOS 3114873 HAS SOPS 3114873 HAS SOUS 2630010 HAS SOUPS 2630010 WITH SCORE 2633124.873
AT ITER 204 NEW BEST:: SOT 4084120 SOS 3114902 HAS SOPS 3114902 HAS SOUS 2629642 HAS SOUPS 2629642 WITH SCORE 2632756.902
AT ITER 212 NEW BEST:: SOT 4084431 SOS 3113624 HAS SOPS 3113624 HAS SOUS 2629461 HAS SOUPS 2629461 WITH SCORE 2632574.624
AT ITER 217 NEW BEST:: SOT 4084430 SOS 3113623 HAS SOPS 3113623 HAS SOUS 2629460 HAS SOUPS 2629460 WITH SCORE 2632573.623
AT ITER 227 NEW BEST:: SOT 4084429 SOS 3113622 HAS SOPS 3113622 HAS SOUS 2629459 HAS SOUPS 2629459 WITH SCORE 2632572.622
AT ITER 231 NEW BEST:: SOT 4084429 SOS 3113621 HAS SOPS 3113621 HAS SOUS 2629458 HAS SOUPS 2629458 WITH SCORE 2632571.621
AT ITER 232 NEW BEST:: SOT 4084422 SOS 3113614 HAS SOPS 3113614 HAS SOUS 2629451 HAS SOUPS 2629451 WITH SCORE 2632564.614
AT ITER 238 NEW BEST:: SOT 4084014 SOS 3113206 HAS SOPS 3113206 HAS SOUS 2629043 HAS SOUPS 2629043 WITH SCORE 2632156.206
AT ITER 240 NEW BEST:: SOT 4083813 SOS 3113108 HAS SOPS 3113108 HAS SOUS 2628945 HAS SOUPS 2628945 WITH SCORE 2632058.108
AT ITER 245 NEW BEST:: SOT 4085022 SOS 3112751 HAS SOPS 3112751 HAS SOUS 2628350 HAS SOUPS 2628350 WITH SCORE 2631462.751
AT ITER 246 NEW BEST:: SOT 4085022 SOS 3112750 HAS SOPS 3112750 HAS SOUS 2628349 HAS SOUPS 2628349 WITH SCORE 2631461.75
AT ITER 249 NEW BEST:: SOT 4084473 SOS 3112201 HAS SOPS 3112201 HAS SOUS 2627800 HAS SOUPS 2627800 WITH SCORE 2630912.201
AT ITER 250 NEW BEST:: SOT 4083918 SOS 3111646 HAS SOPS 3111646 HAS SOUS 2627245 HAS SOUPS 2627245 WITH SCORE 2630356.646
AT ITER 251 NEW BEST:: SOT 4083589 SOS 3110918 HAS SOPS 3110918 HAS SOUS 2626517 HAS SOUPS 2626517 WITH SCORE 2629627.918
AT ITER 256 NEW BEST:: SOT 4083863 SOS 3110827 HAS SOPS 3110827 HAS SOUS 2626500 HAS SOUPS 2626500 WITH SCORE 2629610.827
AT ITER 258 NEW BEST:: SOT 4083565 SOS 3110528 HAS SOPS 3110528 HAS SOUS 2626201 HAS SOUPS 2626201 WITH SCORE 2629311.528
AT ITER 259 NEW BEST:: SOT 4082954 SOS 3107858 HAS SOPS 3107858 HAS SOUS 2625403 HAS SOUPS 2625403 WITH SCORE 2628510.858
AT ITER 272 NEW BEST:: SOT 4084702 SOS 3106793 HAS SOPS 3106793 HAS SOUS 2624632 HAS SOUPS 2624632 WITH SCORE 2627738.793
AT ITER 277 NEW BEST:: SOT 4083983 SOS 3106072 HAS SOPS 3106072 HAS SOUS 2623911 HAS SOUPS 2623911 WITH SCORE 2627017.072
AT ITER 280 NEW BEST:: SOT 4082781 SOS 3104865 HAS SOPS 3104865 HAS SOUS 2622704 HAS SOUPS 2622704 WITH SCORE 2625808.865
AT ITER 285 NEW BEST:: SOT 4081560 SOS 3103644 HAS SOPS 3103644 HAS SOUS 2621483 HAS SOUPS 2621483 WITH SCORE 2624586.644
AT ITER 286 NEW BEST:: SOT 4081167 SOS 3103237 HAS SOPS 3103237 HAS SOUS 2621076 HAS SOUPS 2621076 WITH SCORE 2624179.237
AT ITER 289 NEW BEST:: SOT 4080851 SOS 3101717 HAS SOPS 3101717 HAS SOUS 2621056 HAS SOUPS 2621056 WITH SCORE 2624157.717
AT ITER 291 NEW BEST:: SOT 4080265 SOS 3101131 HAS SOPS 3101131 HAS SOUS 2620470 HAS SOUPS 2620470 WITH SCORE 2623571.131
AT ITER 295 NEW BEST:: SOT 4080086 SOS 3100950 HAS SOPS 3100950 HAS SOUS 2620289 HAS SOUPS 2620289 WITH SCORE 2623389.95
AT ITER 296 NEW BEST:: SOT 4079531 SOS 3100395 HAS SOPS 3100395 HAS SOUS 2619734 HAS SOUPS 2619734 WITH SCORE 2622834.395
AT ITER 304 NEW BEST:: SOT 4077677 SOS 3098541 HAS SOPS 3098541 HAS SOUS 2617880 HAS SOUPS 2617880 WITH SCORE 2620978.541
AT ITER 311 NEW BEST:: SOT 4077082 SOS 3095840 HAS SOPS 3095840 HAS SOUS 2617211 HAS SOUPS 2617211 WITH SCORE 2620306.84
AT ITER 315 NEW BEST:: SOT 4076978 SOS 3095337 HAS SOPS 3095337 HAS SOUS 2616708 HAS SOUPS 2616708 WITH SCORE 2619803.337
AT ITER 318 NEW BEST:: SOT 4076141 SOS 3094499 HAS SOPS 3094499 HAS SOUS 2615870 HAS SOUPS 2615870 WITH SCORE 2618964.499
AT ITER 331 NEW BEST:: SOT 4075890 SOS 3091329 HAS SOPS 3091329 HAS SOUS 2615775 HAS SOUPS 2615775 WITH SCORE 2618866.329
AT ITER 332 NEW BEST:: SOT 4075890 SOS 3091328 HAS SOPS 3091328 HAS SOUS 2615774 HAS SOUPS 2615774 WITH SCORE 2618865.328
AT ITER 335 NEW BEST:: SOT 4075507 SOS 3090546 HAS SOPS 3090546 HAS SOUS 2614992 HAS SOUPS 2614992 WITH SCORE 2618082.546
AT ITER 340 NEW BEST:: SOT 4075111 SOS 3090148 HAS SOPS 3090148 HAS SOUS 2614592 HAS SOUPS 2614592 WITH SCORE 2617682.148
AT ITER 342 NEW BEST:: SOT 4076288 SOS 3091325 HAS SOPS 3091325 HAS SOUS 2614581 HAS SOUPS 2614581 WITH SCORE 2617672.325
AT ITER 344 NEW BEST:: SOT 4075733 SOS 3090768 HAS SOPS 3090768 HAS SOUS 2614024 HAS SOUPS 2614024 WITH SCORE 2617114.768
AT ITER 345 NEW BEST:: SOT 4074863 SOS 3089898 HAS SOPS 3089898 HAS SOUS 2613137 HAS SOUPS 2613137 WITH SCORE 2616226.898
AT ITER 354 NEW BEST:: SOT 4075039 SOS 3089674 HAS SOPS 3089674 HAS SOUS 2612913 HAS SOUPS 2612913 WITH SCORE 2616002.674
AT ITER 355 NEW BEST:: SOT 4074817 SOS 3089341 HAS SOPS 3089341 HAS SOUS 2612691 HAS SOUPS 2612691 WITH SCORE 2615780.341
AT ITER 360 NEW BEST:: SOT 4074814 SOS 3089338 HAS SOPS 3089338 HAS SOUS 2612688 HAS SOUPS 2612688 WITH SCORE 2615777.338
AT ITER 361 NEW BEST:: SOT 4074136 SOS 3086326 HAS SOPS 3086326 HAS SOUS 2611878 HAS SOUPS 2611878 WITH SCORE 2614964.326
AT ITER 365 NEW BEST:: SOT 4073111 SOS 3085301 HAS SOPS 3085301 HAS SOUS 2610853 HAS SOUPS 2610853 WITH SCORE 2613938.301
AT ITER 370 NEW BEST:: SOT 4073109 SOS 3085299 HAS SOPS 3085299 HAS SOUS 2610851 HAS SOUPS 2610851 WITH SCORE 2613936.299
AT ITER 379 NEW BEST:: SOT 4072200 SOS 3084388 HAS SOPS 3084388 HAS SOUS 2609940 HAS SOUPS 2609940 WITH SCORE 2613024.388
AT ITER 386 NEW BEST:: SOT 4072735 SOS 3084923 HAS SOPS 3084923 HAS SOUS 2609276 HAS SOUPS 2609276 WITH SCORE 2612360.923
AT ITER 390 NEW BEST:: SOT 4072733 SOS 3084921 HAS SOPS 3084921 HAS SOUS 2609274 HAS SOUPS 2609274 WITH SCORE 2612358.921
AT ITER 392 NEW BEST:: SOT 4071503 SOS 3083689 HAS SOPS 3083689 HAS SOUS 2608042 HAS SOUPS 2608042 WITH SCORE 2611125.689
AT ITER 395 NEW BEST:: SOT 4071503 SOS 3083687 HAS SOPS 3083687 HAS SOUS 2608040 HAS SOUPS 2608040 WITH SCORE 2611123.687
AT ITER 397 NEW BEST:: SOT 4071917 SOS 3084183 HAS SOPS 3084183 HAS SOUS 2607611 HAS SOUPS 2607611 WITH SCORE 2610695.183
AT ITER 404 NEW BEST:: SOT 4071822 SOS 3084054 HAS SOPS 3084054 HAS SOUS 2607482 HAS SOUPS 2607482 WITH SCORE 2610566.054
AT ITER 409 NEW BEST:: SOT 4071822 SOS 3084054 HAS SOPS 3084054 HAS SOUS 2607370 HAS SOUPS 2607370 WITH SCORE 2610454.054
AT ITER 412 NEW BEST:: SOT 4071845 SOS 3084075 HAS SOPS 3084075 HAS SOUS 2607368 HAS SOUPS 2607368 WITH SCORE 2610452.075
AT ITER 417 NEW BEST:: SOT 4071131 SOS 3083348 HAS SOPS 3083348 HAS SOUS 2606641 HAS SOUPS 2606641 WITH SCORE 2609724.348
AT ITER 418 NEW BEST:: SOT 4070896 SOS 3082173 HAS SOPS 3082173 HAS SOUS 2606641 HAS SOUPS 2606641 WITH SCORE 2609723.173
AT ITER 430 NEW BEST:: SOT 4070062 SOS 3081337 HAS SOPS 3081337 HAS SOUS 2605805 HAS SOUPS 2605805 WITH SCORE 2608886.337
AT ITER 431 NEW BEST:: SOT 4069535 SOS 3080810 HAS SOPS 3080810 HAS SOUS 2605277 HAS SOUPS 2605277 WITH SCORE 2608357.81
AT ITER 442 NEW BEST:: SOT 4069535 SOS 3079694 HAS SOPS 3079694 HAS SOUS 2605277 HAS SOUPS 2605277 WITH SCORE 2608356.694
AT ITER 449 NEW BEST:: SOT 4069068 SOS 3077938 HAS SOPS 3077938 HAS SOUS 2605163 HAS SOUPS 2605163 WITH SCORE 2608240.938
AT ITER 452 NEW BEST:: SOT 4067974 SOS 3077020 HAS SOPS 3077020 HAS SOUS 2604245 HAS SOUPS 2604245 WITH SCORE 2607322.02
AT ITER 457 NEW BEST:: SOT 4066746 SOS 3075395 HAS SOPS 3075395 HAS SOUS 2602620 HAS SOUPS 2602620 WITH SCORE 2605695.395
AT ITER 464 NEW BEST:: SOT 4066744 SOS 3075391 HAS SOPS 3075391 HAS SOUS 2602616 HAS SOUPS 2602616 WITH SCORE 2605691.391
AT ITER 469 NEW BEST:: SOT 4066190 SOS 3072871 HAS SOPS 3072871 HAS SOUS 2601953 HAS SOUPS 2601953 WITH SCORE 2605025.871
AT ITER 474 NEW BEST:: SOT 4066190 SOS 3072870 HAS SOPS 3072870 HAS SOUS 2601952 HAS SOUPS 2601952 WITH SCORE 2605024.87
AT ITER 480 NEW BEST:: SOT 4065356 SOS 3072036 HAS SOPS 3072036 HAS SOUS 2601118 HAS SOUPS 2601118 WITH SCORE 2604190.036
AT ITER 492 NEW BEST:: SOT 4065264 SOS 3071668 HAS SOPS 3071668 HAS SOUS 2600934 HAS SOUPS 2600934 WITH SCORE 2604005.668
AT ITER 498 NEW BEST:: SOT 4064532 SOS 3071174 HAS SOPS 3071174 HAS SOUS 2600914 HAS SOUPS 2600914 WITH SCORE 2603985.174
AT ITER 506 NEW BEST:: SOT 4064532 SOS 3071140 HAS SOPS 3071140 HAS SOUS 2600880 HAS SOUPS 2600880 WITH SCORE 2603951.14
AT ITER 513 NEW BEST:: SOT 4064773 SOS 3071020 HAS SOPS 3071020 HAS SOUS 2600836 HAS SOUPS 2600836 WITH SCORE 2603907.02
AT ITER 514 NEW BEST:: SOT 4063274 SOS 3069050 HAS SOPS 3069050 HAS SOUS 2598866 HAS SOUPS 2598866 WITH SCORE 2601935.05
AT ITER 517 NEW BEST:: SOT 4061597 SOS 3065972 HAS SOPS 3065972 HAS SOUS 2595788 HAS SOUPS 2595788 WITH SCORE 2598853.972
AT ITER 518 NEW BEST:: SOT 4061597 SOS 3065969 HAS SOPS 3065969 HAS SOUS 2595781 HAS SOUPS 2595781 WITH SCORE 2598846.969
AT ITER 527 NEW BEST:: SOT 4060599 SOS 3064098 HAS SOPS 3064098 HAS SOUS 2593908 HAS SOUPS 2593908 WITH SCORE 2596972.098
AT ITER 531 NEW BEST:: SOT 4060125 SOS 3062375 HAS SOPS 3062375 HAS SOUS 2593780 HAS SOUPS 2593780 WITH SCORE 2596842.375
AT ITER 534 NEW BEST:: SOT 4060462 SOS 3062712 HAS SOPS 3062712 HAS SOUS 2593773 HAS SOUPS 2593773 WITH SCORE 2596835.712
AT ITER 535 NEW BEST:: SOT 4061479 SOS 3063729 HAS SOPS 3063729 HAS SOUS 2593612 HAS SOUPS 2593612 WITH SCORE 2596675.729
AT ITER 537 NEW BEST:: SOT 4061275 SOS 3063525 HAS SOPS 3063525 HAS SOUS 2593408 HAS SOUPS 2593408 WITH SCORE 2596471.525
AT ITER 542 NEW BEST:: SOT 4061268 SOS 3063512 HAS SOPS 3063512 HAS SOUS 2593395 HAS SOUPS 2593395 WITH SCORE 2596458.512
AT ITER 562 NEW BEST:: SOT 4060675 SOS 3062918 HAS SOPS 3062918 HAS SOUS 2592801 HAS SOUPS 2592801 WITH SCORE 2595863.918
AT ITER 573 NEW BEST:: SOT 4060195 SOS 3062446 HAS SOPS 3062446 HAS SOUS 2592329 HAS SOUPS 2592329 WITH SCORE 2595391.446
AT ITER 577 NEW BEST:: SOT 4057075 SOS 3058770 HAS SOPS 3058770 HAS SOUS 2588980 HAS SOUPS 2588980 WITH SCORE 2592038.77
AT ITER 585 NEW BEST:: SOT 4056456 SOS 3055508 HAS SOPS 3055508 HAS SOUS 2587858 HAS SOUPS 2587858 WITH SCORE 2590913.508
AT ITER 587 NEW BEST:: SOT 4056248 SOS 3055290 HAS SOPS 3055290 HAS SOUS 2587827 HAS SOUPS 2587827 WITH SCORE 2590882.29
AT ITER 592 NEW BEST:: SOT 4055798 SOS 3054840 HAS SOPS 3054840 HAS SOUS 2587377 HAS SOUPS 2587377 WITH SCORE 2590431.84
AT ITER 599 NEW BEST:: SOT 4055446 SOS 3054558 HAS SOPS 3054558 HAS SOUS 2587073 HAS SOUPS 2587073 WITH SCORE 2590127.558
AT ITER 600 NEW BEST:: SOT 4054809 SOS 3053921 HAS SOPS 3053921 HAS SOUS 2586436 HAS SOUPS 2586436 WITH SCORE 2589489.921
AT ITER 602 NEW BEST:: SOT 4054188 SOS 3053298 HAS SOPS 3053298 HAS SOUS 2585813 HAS SOUPS 2585813 WITH SCORE 2588866.298
AT ITER 604 NEW BEST:: SOT 4053938 SOS 3053048 HAS SOPS 3053048 HAS SOUS 2585563 HAS SOUPS 2585563 WITH SCORE 2588616.048
AT ITER 609 NEW BEST:: SOT 4053444 SOS 3051590 HAS SOPS 3051590 HAS SOUS 2584569 HAS SOUPS 2584569 WITH SCORE 2587620.59
AT ITER 614 NEW BEST:: SOT 4053231 SOS 3051433 HAS SOPS 3051433 HAS SOUS 2584412 HAS SOUPS 2584412 WITH SCORE 2587463.433
AT ITER 618 NEW BEST:: SOT 4052465 SOS 3051195 HAS SOPS 3051195 HAS SOUS 2584174 HAS SOUPS 2584174 WITH SCORE 2587225.195
AT ITER 623 NEW BEST:: SOT 4051779 SOS 3050623 HAS SOPS 3050623 HAS SOUS 2583832 HAS SOUPS 2583832 WITH SCORE 2586882.623
AT ITER 628 NEW BEST:: SOT 4050984 SOS 3044828 HAS SOPS 3044828 HAS SOUS 2579628 HAS SOUPS 2579628 WITH SCORE 2582672.828
AT ITER 629 NEW BEST:: SOT 4051207 SOS 3045021 HAS SOPS 3045021 HAS SOUS 2579622 HAS SOUPS 2579622 WITH SCORE 2582667.021
AT ITER 630 NEW BEST:: SOT 4050474 SOS 3043861 HAS SOPS 3043861 HAS SOUS 2578462 HAS SOUPS 2578462 WITH SCORE 2581505.861
AT ITER 632 NEW BEST:: SOT 4050474 SOS 3043857 HAS SOPS 3043857 HAS SOUS 2578462 HAS SOUPS 2578462 WITH SCORE 2581505.857
AT ITER 639 NEW BEST:: SOT 4048672 SOS 3042055 HAS SOPS 3042055 HAS SOUS 2576260 HAS SOUPS 2576260 WITH SCORE 2579302.055
AT ITER 642 NEW BEST:: SOT 4048283 SOS 3041664 HAS SOPS 3041664 HAS SOUS 2575869 HAS SOUPS 2575869 WITH SCORE 2578910.664
AT ITER 644 NEW BEST:: SOT 4047688 SOS 3041068 HAS SOPS 3041068 HAS SOUS 2575273 HAS SOUPS 2575273 WITH SCORE 2578314.068
AT ITER 645 NEW BEST:: SOT 4047687 SOS 3040668 HAS SOPS 3040668 HAS SOUS 2574873 HAS SOUPS 2574873 WITH SCORE 2577913.668
AT ITER 649 NEW BEST:: SOT 4045947 SOS 3038890 HAS SOPS 3038890 HAS SOUS 2573095 HAS SOUPS 2573095 WITH SCORE 2576133.89
AT ITER 655 NEW BEST:: SOT 4045947 SOS 3038890 HAS SOPS 3038890 HAS SOUS 2573094 HAS SOUPS 2573094 WITH SCORE 2576132.89
AT ITER 657 NEW BEST:: SOT 4045946 SOS 3038889 HAS SOPS 3038889 HAS SOUS 2573093 HAS SOUPS 2573093 WITH SCORE 2576131.889
AT ITER 659 NEW BEST:: SOT 4045946 SOS 3038099 HAS SOPS 3038099 HAS SOUS 2572829 HAS SOUPS 2572829 WITH SCORE 2575867.099
AT ITER 665 NEW BEST:: SOT 4045946 SOS 3036883 HAS SOPS 3036883 HAS SOUS 2572819 HAS SOUPS 2572819 WITH SCORE 2575855.883
AT ITER 669 NEW BEST:: SOT 4043897 SOS 3034834 HAS SOPS 3034834 HAS SOUS 2570770 HAS SOUPS 2570770 WITH SCORE 2573804.834
AT ITER 676 NEW BEST:: SOT 4043311 SOS 3032608 HAS SOPS 3032608 HAS SOUS 2569884 HAS SOUPS 2569884 WITH SCORE 2572916.608
AT ITER 680 NEW BEST:: SOT 4042751 SOS 3030168 HAS SOPS 3030168 HAS SOUS 2568765 HAS SOUPS 2568765 WITH SCORE 2571795.168
AT ITER 682 NEW BEST:: SOT 4041005 SOS 3028420 HAS SOPS 3028420 HAS SOUS 2567017 HAS SOUPS 2567017 WITH SCORE 2570045.42
AT ITER 685 NEW BEST:: SOT 4041005 SOS 3028127 HAS SOPS 3028127 HAS SOUS 2566724 HAS SOUPS 2566724 WITH SCORE 2569752.127
AT ITER 687 NEW BEST:: SOT 4041151 SOS 3028273 HAS SOPS 3028273 HAS SOUS 2566469 HAS SOUPS 2566469 WITH SCORE 2569497.273
AT ITER 692 NEW BEST:: SOT 4041060 SOS 3027492 HAS SOPS 3027492 HAS SOUS 2566390 HAS SOUPS 2566390 WITH SCORE 2569417.492
AT ITER 696 NEW BEST:: SOT 4041059 SOS 3027491 HAS SOPS 3027491 HAS SOUS 2566389 HAS SOUPS 2566389 WITH SCORE 2569416.491
AT ITER 697 NEW BEST:: SOT 4041198 SOS 3027235 HAS SOPS 3027235 HAS SOUS 2566133 HAS SOUPS 2566133 WITH SCORE 2569160.235
AT ITER 699 NEW BEST:: SOT 4041120 SOS 3027079 HAS SOPS 3027079 HAS SOUS 2565977 HAS SOUPS 2565977 WITH SCORE 2569004.079
AT ITER 700 NEW BEST:: SOT 4040656 SOS 3026615 HAS SOPS 3026615 HAS SOUS 2565513 HAS SOUPS 2565513 WITH SCORE 2568539.615
AT ITER 704 NEW BEST:: SOT 4040241 SOS 3026200 HAS SOPS 3026200 HAS SOUS 2565098 HAS SOUPS 2565098 WITH SCORE 2568124.2
AT ITER 710 NEW BEST:: SOT 4040240 SOS 3026197 HAS SOPS 3026197 HAS SOUS 2565095 HAS SOUPS 2565095 WITH SCORE 2568121.197
AT ITER 712 NEW BEST:: SOT 4039167 SOS 3025122 HAS SOPS 3025122 HAS SOUS 2564020 HAS SOUPS 2564020 WITH SCORE 2567045.122
AT ITER 715 NEW BEST:: SOT 4038453 SOS 3024407 HAS SOPS 3024407 HAS SOUS 2563305 HAS SOUPS 2563305 WITH SCORE 2566329.407
AT ITER 720 NEW BEST:: SOT 4039548 SOS 3023718 HAS SOPS 3023718 HAS SOUS 2562978 HAS SOUPS 2562978 WITH SCORE 2566001.718
AT ITER 724 NEW BEST:: SOT 4039519 SOS 3023689 HAS SOPS 3023689 HAS SOUS 2562949 HAS SOUPS 2562949 WITH SCORE 2565972.689
AT ITER 734 NEW BEST:: SOT 4039319 SOS 3022818 HAS SOPS 3022818 HAS SOUS 2562819 HAS SOUPS 2562819 WITH SCORE 2565841.818
AT ITER 740 NEW BEST:: SOT 4039317 SOS 3022814 HAS SOPS 3022814 HAS SOUS 2562815 HAS SOUPS 2562815 WITH SCORE 2565837.814
AT ITER 744 NEW BEST:: SOT 4038323 SOS 3021820 HAS SOPS 3021820 HAS SOUS 2561821 HAS SOUPS 2561821 WITH SCORE 2564842.82
AT ITER 747 NEW BEST:: SOT 4037997 SOS 3021509 HAS SOPS 3021509 HAS SOUS 2561505 HAS SOUPS 2561505 WITH SCORE 2564526.509
AT ITER 754 NEW BEST:: SOT 4037282 SOS 3021213 HAS SOPS 3021213 HAS SOUS 2561204 HAS SOUPS 2561204 WITH SCORE 2564225.213
AT ITER 759 NEW BEST:: SOT 4037282 SOS 3021211 HAS SOPS 3021211 HAS SOUS 2561202 HAS SOUPS 2561202 WITH SCORE 2564223.211
AT ITER 764 NEW BEST:: SOT 4037009 SOS 3020938 HAS SOPS 3020938 HAS SOUS 2560929 HAS SOUPS 2560929 WITH SCORE 2563949.938
AT ITER 769 NEW BEST:: SOT 4035850 SOS 3019779 HAS SOPS 3019779 HAS SOUS 2559770 HAS SOUPS 2559770 WITH SCORE 2562789.779
AT ITER 772 NEW BEST:: SOT 4035850 SOS 3019575 HAS SOPS 3019575 HAS SOUS 2559768 HAS SOUPS 2559768 WITH SCORE 2562787.575
AT ITER 773 NEW BEST:: SOT 4035822 SOS 3019545 HAS SOPS 3019545 HAS SOUS 2559738 HAS SOUPS 2559738 WITH SCORE 2562757.545
AT ITER 780 NEW BEST:: SOT 4035511 SOS 3017700 HAS SOPS 3017700 HAS SOUS 2559418 HAS SOUPS 2559418 WITH SCORE 2562435.7
AT ITER 784 NEW BEST:: SOT 4034931 SOS 3015244 HAS SOPS 3015244 HAS SOUS 2558301 HAS SOUPS 2558301 WITH SCORE 2561316.244
AT ITER 787 NEW BEST:: SOT 4034371 SOS 3014682 HAS SOPS 3014682 HAS SOUS 2557739 HAS SOUPS 2557739 WITH SCORE 2560753.682
AT ITER 788 NEW BEST:: SOT 4034370 SOS 3014279 HAS SOPS 3014279 HAS SOUS 2556528 HAS SOUPS 2556528 WITH SCORE 2559542.279
AT ITER 790 NEW BEST:: SOT 4034756 SOS 3014665 HAS SOPS 3014665 HAS SOUS 2556501 HAS SOUPS 2556501 WITH SCORE 2559515.665
AT ITER 793 NEW BEST:: SOT 4034906 SOS 3013713 HAS SOPS 3013713 HAS SOUS 2556072 HAS SOUPS 2556072 WITH SCORE 2559085.713
AT ITER 794 NEW BEST:: SOT 4034906 SOS 3013239 HAS SOPS 3013239 HAS SOUS 2555598 HAS SOUPS 2555598 WITH SCORE 2558611.239
AT ITER 798 NEW BEST:: SOT 4034882 SOS 3013167 HAS SOPS 3013167 HAS SOUS 2555560 HAS SOUPS 2555560 WITH SCORE 2558573.167
AT ITER 801 NEW BEST:: SOT 4035213 SOS 3011460 HAS SOPS 3011460 HAS SOUS 2553049 HAS SOUPS 2553049 WITH SCORE 2556060.46
AT ITER 805 NEW BEST:: SOT 4033536 SOS 3008459 HAS SOPS 3008459 HAS SOUS 2547702 HAS SOUPS 2547702 WITH SCORE 2550710.459
AT ITER 807 NEW BEST:: SOT 4033471 SOS 3008394 HAS SOPS 3008394 HAS SOUS 2547637 HAS SOUPS 2547637 WITH SCORE 2550645.394
AT ITER 811 NEW BEST:: SOT 4033500 SOS 3004544 HAS SOPS 3004544 HAS SOUS 2544941 HAS SOUPS 2544941 WITH SCORE 2547945.544
AT ITER 814 NEW BEST:: SOT 4033859 SOS 3005057 HAS SOPS 3005057 HAS SOUS 2544917 HAS SOUPS 2544917 WITH SCORE 2547922.057
AT ITER 826 NEW BEST:: SOT 4033859 SOS 3004932 HAS SOPS 3004932 HAS SOUS 2544792 HAS SOUPS 2544792 WITH SCORE 2547796.932
AT ITER 828 NEW BEST:: SOT 4033833 SOS 3004906 HAS SOPS 3004906 HAS SOUS 2544766 HAS SOUPS 2544766 WITH SCORE 2547770.906
AT ITER 834 NEW BEST:: SOT 4033828 SOS 3004895 HAS SOPS 3004895 HAS SOUS 2544755 HAS SOUPS 2544755 WITH SCORE 2547759.895
AT ITER 837 NEW BEST:: SOT 4033828 SOS 3004893 HAS SOPS 3004893 HAS SOUS 2544753 HAS SOUPS 2544753 WITH SCORE 2547757.893
AT ITER 839 NEW BEST:: SOT 4032779 SOS 3004089 HAS SOPS 3004089 HAS SOUS 2544089 HAS SOUPS 2544089 WITH SCORE 2547093.089
AT ITER 843 NEW BEST:: SOT 4032691 SOS 3004001 HAS SOPS 3004001 HAS SOUS 2544001 HAS SOUPS 2544001 WITH SCORE 2547005.001
AT ITER 853 NEW BEST:: SOT 4032179 SOS 3003489 HAS SOPS 3003489 HAS SOUS 2543489 HAS SOUPS 2543489 WITH SCORE 2546492.489
AT ITER 854 NEW BEST:: SOT 4032051 SOS 3003361 HAS SOPS 3003361 HAS SOUS 2543361 HAS SOUPS 2543361 WITH SCORE 2546364.361
AT ITER 855 NEW BEST:: SOT 4031756 SOS 3002649 HAS SOPS 3002649 HAS SOUS 2542649 HAS SOUPS 2542649 WITH SCORE 2545651.649
AT ITER 862 NEW BEST:: SOT 4031364 SOS 3002255 HAS SOPS 3002255 HAS SOUS 2542255 HAS SOUPS 2542255 WITH SCORE 2545257.255
AT ITER 865 NEW BEST:: SOT 4031364 SOS 3002254 HAS SOPS 3002254 HAS SOUS 2542254 HAS SOUPS 2542254 WITH SCORE 2545256.254
AT ITER 875 NEW BEST:: SOT 4031219 SOS 3000785 HAS SOPS 3000785 HAS SOUS 2541984 HAS SOUPS 2541984 WITH SCORE 2544984.785
AT ITER 882 NEW BEST:: SOT 4031242 SOS 2998479 HAS SOPS 2998479 HAS SOUS 2540875 HAS SOUPS 2540875 WITH SCORE 2543873.479
AT ITER 891 NEW BEST:: SOT 4030350 SOS 2997586 HAS SOPS 2997586 HAS SOUS 2539982 HAS SOUPS 2539982 WITH SCORE 2542979.586
AT ITER 899 NEW BEST:: SOT 4028988 SOS 2996224 HAS SOPS 2996224 HAS SOUS 2538620 HAS SOUPS 2538620 WITH SCORE 2541616.224
AT ITER 902 NEW BEST:: SOT 4028329 SOS 2993255 HAS SOPS 2993255 HAS SOUS 2537808 HAS SOUPS 2537808 WITH SCORE 2540801.255
AT ITER 904 NEW BEST:: SOT 4027929 SOS 2992853 HAS SOPS 2992853 HAS SOUS 2537406 HAS SOUPS 2537406 WITH SCORE 2540398.853
AT ITER 905 NEW BEST:: SOT 4027371 SOS 2992295 HAS SOPS 2992295 HAS SOUS 2536848 HAS SOUPS 2536848 WITH SCORE 2539840.295
AT ITER 907 NEW BEST:: SOT 4026723 SOS 2991647 HAS SOPS 2991647 HAS SOUS 2536200 HAS SOUPS 2536200 WITH SCORE 2539191.647
AT ITER 911 NEW BEST:: SOT 4026499 SOS 2991423 HAS SOPS 2991423 HAS SOUS 2535976 HAS SOUPS 2535976 WITH SCORE 2538967.423
AT ITER 912 NEW BEST:: SOT 4024831 SOS 2990136 HAS SOPS 2990136 HAS SOUS 2534689 HAS SOUPS 2534689 WITH SCORE 2537679.136
AT ITER 930 NEW BEST:: SOT 4024526 SOS 2989220 HAS SOPS 2989220 HAS SOUS 2534687 HAS SOUPS 2534687 WITH SCORE 2537676.22
AT ITER 932 NEW BEST:: SOT 4024526 SOS 2988070 HAS SOPS 2988070 HAS SOUS 2534659 HAS SOUPS 2534659 WITH SCORE 2537647.07
AT ITER 944 NEW BEST:: SOT 4024522 SOS 2988066 HAS SOPS 2988066 HAS SOUS 2534658 HAS SOUPS 2534658 WITH SCORE 2537646.066
AT ITER 946 NEW BEST:: SOT 4024133 SOS 2987342 HAS SOPS 2987342 HAS SOUS 2533934 HAS SOUPS 2533934 WITH SCORE 2536921.342
AT ITER 949 NEW BEST:: SOT 4024117 SOS 2986912 HAS SOPS 2986912 HAS SOUS 2533504 HAS SOUPS 2533504 WITH SCORE 2536490.912
AT ITER 956 NEW BEST:: SOT 4023997 SOS 2986792 HAS SOPS 2986792 HAS SOUS 2533384 HAS SOUPS 2533384 WITH SCORE 2536370.792
AT ITER 959 NEW BEST:: SOT 4022876 SOS 2985671 HAS SOPS 2985671 HAS SOUS 2532263 HAS SOUPS 2532263 WITH SCORE 2535248.671
AT ITER 960 NEW BEST:: SOT 4022429 SOS 2984924 HAS SOPS 2984924 HAS SOUS 2531516 HAS SOUPS 2531516 WITH SCORE 2534500.924
AT ITER 961 NEW BEST:: SOT 4021829 SOS 2984323 HAS SOPS 2984323 HAS SOUS 2530915 HAS SOUPS 2530915 WITH SCORE 2533899.323
AT ITER 963 NEW BEST:: SOT 4020727 SOS 2983221 HAS SOPS 2983221 HAS SOUS 2529813 HAS SOUPS 2529813 WITH SCORE 2532796.221
AT ITER 964 NEW BEST:: SOT 4020727 SOS 2983220 HAS SOPS 2983220 HAS SOUS 2529812 HAS SOUPS 2529812 WITH SCORE 2532795.22
AT ITER 973 NEW BEST:: SOT 4020608 SOS 2982744 HAS SOPS 2982744 HAS SOUS 2529596 HAS SOUPS 2529596 WITH SCORE 2532578.744
AT ITER 974 NEW BEST:: SOT 4020248 SOS 2982023 HAS SOPS 2982023 HAS SOUS 2528875 HAS SOUPS 2528875 WITH SCORE 2531857.023
AT ITER 983 NEW BEST:: SOT 4018730 SOS 2980505 HAS SOPS 2980505 HAS SOUS 2527357 HAS SOUPS 2527357 WITH SCORE 2530337.505
AT ITER 987 NEW BEST:: SOT 4018637 SOS 2980375 HAS SOPS 2980375 HAS SOUS 2527227 HAS SOUPS 2527227 WITH SCORE 2530207.375
AT ITER 988 NEW BEST:: SOT 4018637 SOS 2979707 HAS SOPS 2979707 HAS SOUS 2526893 HAS SOUPS 2526893 WITH SCORE 2529872.707
AT ITER 1006 NEW BEST:: SOT 4018516 SOS 2977748 HAS SOPS 2977748 HAS SOUS 2526798 HAS SOUPS 2526798 WITH SCORE 2529775.748
AT ITER 1014 NEW BEST:: SOT 4018416 SOS 2977348 HAS SOPS 2977348 HAS SOUS 2526698 HAS SOUPS 2526698 WITH SCORE 2529675.348
AT ITER 1015 NEW BEST:: SOT 4018416 SOS 2977291 HAS SOPS 2977291 HAS SOUS 2526542 HAS SOUPS 2526542 WITH SCORE 2529519.291
AT ITER 1018 NEW BEST:: SOT 4017784 SOS 2974703 HAS SOPS 2974703 HAS SOUS 2525507 HAS SOUPS 2525507 WITH SCORE 2528481.703
AT ITER 1019 NEW BEST:: SOT 4017526 SOS 2974565 HAS SOPS 2974565 HAS SOUS 2525247 HAS SOUPS 2525247 WITH SCORE 2528221.565
AT ITER 1025 NEW BEST:: SOT 4018137 SOS 2972097 HAS SOPS 2972097 HAS SOUS 2522999 HAS SOUPS 2522999 WITH SCORE 2525971.097
AT ITER 1028 NEW BEST:: SOT 4018838 SOS 2972612 HAS SOPS 2972612 HAS SOUS 2522907 HAS SOUPS 2522907 WITH SCORE 2525879.612
AT ITER 1031 NEW BEST:: SOT 4017998 SOS 2968646 HAS SOPS 2968646 HAS SOUS 2519141 HAS SOUPS 2519141 WITH SCORE 2522109.646
AT ITER 1042 NEW BEST:: SOT 4016544 SOS 2967192 HAS SOPS 2967192 HAS SOUS 2517684 HAS SOUPS 2517684 WITH SCORE 2520651.192
AT ITER 1044 NEW BEST:: SOT 4018045 SOS 2966097 HAS SOPS 2966097 HAS SOUS 2517047 HAS SOUPS 2517047 WITH SCORE 2520013.097
AT ITER 1047 NEW BEST:: SOT 4017626 SOS 2964465 HAS SOPS 2964465 HAS SOUS 2516259 HAS SOUPS 2516259 WITH SCORE 2519223.465
AT ITER 1059 NEW BEST:: SOT 4017218 SOS 2961970 HAS SOPS 2961970 HAS SOUS 2516178 HAS SOUPS 2516178 WITH SCORE 2519139.97
AT ITER 1060 NEW BEST:: SOT 4015990 SOS 2961397 HAS SOPS 2961397 HAS SOUS 2515703 HAS SOUPS 2515703 WITH SCORE 2518664.397
AT ITER 1069 NEW BEST:: SOT 4015454 SOS 2960593 HAS SOPS 2960593 HAS SOUS 2514899 HAS SOUPS 2514899 WITH SCORE 2517859.593
AT ITER 1071 NEW BEST:: SOT 4014850 SOS 2960489 HAS SOPS 2960489 HAS SOUS 2514796 HAS SOUPS 2514796 WITH SCORE 2517756.489
AT ITER 1080 NEW BEST:: SOT 4012597 SOS 2958612 HAS SOPS 2958612 HAS SOUS 2512919 HAS SOUPS 2512919 WITH SCORE 2515877.612
AT ITER 1086 NEW BEST:: SOT 4011390 SOS 2957380 HAS SOPS 2957380 HAS SOUS 2511687 HAS SOUPS 2511687 WITH SCORE 2514644.38
AT ITER 1089 NEW BEST:: SOT 4011270 SOS 2957222 HAS SOPS 2957222 HAS SOUS 2511592 HAS SOUPS 2511592 WITH SCORE 2514549.222
AT ITER 1093 NEW BEST:: SOT 4011250 SOS 2957183 HAS SOPS 2957183 HAS SOUS 2511553 HAS SOUPS 2511553 WITH SCORE 2514510.183
AT ITER 1094 NEW BEST:: SOT 4011974 SOS 2955699 HAS SOPS 2955699 HAS SOUS 2510843 HAS SOUPS 2510843 WITH SCORE 2513798.699
AT ITER 1098 NEW BEST:: SOT 4011974 SOS 2955287 HAS SOPS 2955287 HAS SOUS 2509711 HAS SOUPS 2509711 WITH SCORE 2512666.287
AT ITER 1101 NEW BEST:: SOT 4012608 SOS 2955178 HAS SOPS 2955178 HAS SOUS 2509635 HAS SOUPS 2509635 WITH SCORE 2512590.178
AT ITER 1106 NEW BEST:: SOT 4012552 SOS 2955122 HAS SOPS 2955122 HAS SOUS 2509579 HAS SOUPS 2509579 WITH SCORE 2512534.122
AT ITER 1108 NEW BEST:: SOT 4012168 SOS 2954738 HAS SOPS 2954738 HAS SOUS 2509195 HAS SOUPS 2509195 WITH SCORE 2512149.738
AT ITER 1109 NEW BEST:: SOT 4012077 SOS 2954231 HAS SOPS 2954231 HAS SOUS 2507448 HAS SOUPS 2507448 WITH SCORE 2510402.231
AT ITER 1117 NEW BEST:: SOT 4012401 SOS 2954098 HAS SOPS 2954098 HAS SOUS 2507315 HAS SOUPS 2507315 WITH SCORE 2510269.098
AT ITER 1120 NEW BEST:: SOT 4010687 SOS 2952384 HAS SOPS 2952384 HAS SOUS 2505601 HAS SOUPS 2505601 WITH SCORE 2508553.384
AT ITER 1121 NEW BEST:: SOT 4010640 SOS 2952337 HAS SOPS 2952337 HAS SOUS 2505554 HAS SOUPS 2505554 WITH SCORE 2508506.337
AT ITER 1124 NEW BEST:: SOT 4010263 SOS 2951960 HAS SOPS 2951960 HAS SOUS 2505177 HAS SOUPS 2505177 WITH SCORE 2508128.96
AT ITER 1125 NEW BEST:: SOT 4010248 SOS 2951908 HAS SOPS 2951908 HAS SOUS 2505125 HAS SOUPS 2505125 WITH SCORE 2508076.908
AT ITER 1129 NEW BEST:: SOT 4010488 SOS 2952115 HAS SOPS 2952115 HAS SOUS 2504951 HAS SOUPS 2504951 WITH SCORE 2507903.115
AT ITER 1130 NEW BEST:: SOT 4010038 SOS 2951665 HAS SOPS 2951665 HAS SOUS 2504501 HAS SOUPS 2504501 WITH SCORE 2507452.665
AT ITER 1137 NEW BEST:: SOT 4009711 SOS 2950784 HAS SOPS 2950784 HAS SOUS 2504401 HAS SOUPS 2504401 WITH SCORE 2507351.784
AT ITER 1138 NEW BEST:: SOT 4010287 SOS 2948180 HAS SOPS 2948180 HAS SOUS 2502717 HAS SOUPS 2502717 WITH SCORE 2505665.18
AT ITER 1140 NEW BEST:: SOT 4009040 SOS 2946933 HAS SOPS 2946933 HAS SOUS 2501470 HAS SOUPS 2501470 WITH SCORE 2504416.933
AT ITER 1142 NEW BEST:: SOT 4006843 SOS 2945078 HAS SOPS 2945078 HAS SOUS 2499362 HAS SOUPS 2499362 WITH SCORE 2502307.078
AT ITER 1147 NEW BEST:: SOT 4006639 SOS 2944454 HAS SOPS 2944454 HAS SOUS 2497805 HAS SOUPS 2497805 WITH SCORE 2500749.454
AT ITER 1148 NEW BEST:: SOT 4006264 SOS 2943478 HAS SOPS 2943478 HAS SOUS 2496399 HAS SOUPS 2496399 WITH SCORE 2499342.478
AT ITER 1152 NEW BEST:: SOT 4006264 SOS 2943459 HAS SOPS 2943459 HAS SOUS 2496380 HAS SOUPS 2496380 WITH SCORE 2499323.459
AT ITER 1155 NEW BEST:: SOT 4006598 SOS 2943793 HAS SOPS 2943793 HAS SOUS 2496310 HAS SOUPS 2496310 WITH SCORE 2499253.793
AT ITER 1159 NEW BEST:: SOT 4006352 SOS 2943467 HAS SOPS 2943467 HAS SOUS 2495984 HAS SOUPS 2495984 WITH SCORE 2498927.467
AT ITER 1161 NEW BEST:: SOT 4006345 SOS 2943460 HAS SOPS 2943460 HAS SOUS 2495977 HAS SOUPS 2495977 WITH SCORE 2498920.46
AT ITER 1165 NEW BEST:: SOT 4006697 SOS 2942535 HAS SOPS 2942535 HAS SOUS 2495457 HAS SOUPS 2495457 WITH SCORE 2498399.535
AT ITER 1174 NEW BEST:: SOT 4006883 SOS 2942721 HAS SOPS 2942721 HAS SOUS 2495245 HAS SOUPS 2495245 WITH SCORE 2498187.721
AT ITER 1175 NEW BEST:: SOT 4006619 SOS 2942191 HAS SOPS 2942191 HAS SOUS 2494715 HAS SOUPS 2494715 WITH SCORE 2497657.191
AT ITER 1179 NEW BEST:: SOT 4008274 SOS 2941267 HAS SOPS 2941267 HAS SOUS 2493396 HAS SOUPS 2493396 WITH SCORE 2496337.267
AT ITER 1180 NEW BEST:: SOT 4008272 SOS 2937185 HAS SOPS 2937185 HAS SOUS 2491283 HAS SOUPS 2491283 WITH SCORE 2494220.185
AT ITER 1181 NEW BEST:: SOT 4006346 SOS 2935355 HAS SOPS 2935355 HAS SOUS 2489453 HAS SOUPS 2489453 WITH SCORE 2492388.355
AT ITER 1190 NEW BEST:: SOT 4006704 SOS 2935149 HAS SOPS 2935149 HAS SOUS 2489247 HAS SOUPS 2489247 WITH SCORE 2492182.149
AT ITER 1202 NEW BEST:: SOT 4006122 SOS 2932560 HAS SOPS 2932560 HAS SOUS 2488892 HAS SOUPS 2488892 WITH SCORE 2491824.56
AT ITER 1204 NEW BEST:: SOT 4004861 SOS 2931330 HAS SOPS 2931330 HAS SOUS 2487262 HAS SOUPS 2487262 WITH SCORE 2490193.33
AT ITER 1207 NEW BEST:: SOT 4004861 SOS 2931153 HAS SOPS 2931153 HAS SOUS 2487085 HAS SOUPS 2487085 WITH SCORE 2490016.153
AT ITER 1208 NEW BEST:: SOT 4004251 SOS 2930148 HAS SOPS 2930148 HAS SOUS 2486080 HAS SOUPS 2486080 WITH SCORE 2489010.148
AT ITER 1224 NEW BEST:: SOT 4003620 SOS 2927785 HAS SOPS 2927785 HAS SOUS 2485399 HAS SOUPS 2485399 WITH SCORE 2488326.785
AT ITER 1226 NEW BEST:: SOT 4004013 SOS 2926004 HAS SOPS 2926004 HAS SOUS 2483225 HAS SOUPS 2483225 WITH SCORE 2486151.004
AT ITER 1230 NEW BEST:: SOT 4004244 SOS 2925091 HAS SOPS 2925091 HAS SOUS 2483172 HAS SOUPS 2483172 WITH SCORE 2486097.091
AT ITER 1238 NEW BEST:: SOT 4004244 SOS 2925090 HAS SOPS 2925090 HAS SOUS 2483171 HAS SOUPS 2483171 WITH SCORE 2486096.09
AT ITER 1240 NEW BEST:: SOT 4003785 SOS 2922575 HAS SOPS 2922575 HAS SOUS 2482837 HAS SOUPS 2482837 WITH SCORE 2485759.575
AT ITER 1241 NEW BEST:: SOT 4001693 SOS 2920483 HAS SOPS 2920483 HAS SOUS 2480343 HAS SOUPS 2480343 WITH SCORE 2483263.483
AT ITER 1245 NEW BEST:: SOT 4001402 SOS 2920192 HAS SOPS 2920192 HAS SOUS 2480052 HAS SOUPS 2480052 WITH SCORE 2482972.192
AT ITER 1253 NEW BEST:: SOT 4001219 SOS 2920011 HAS SOPS 2920011 HAS SOUS 2479871 HAS SOUPS 2479871 WITH SCORE 2482791.011
AT ITER 1265 NEW BEST:: SOT 4001219 SOS 2919045 HAS SOPS 2919045 HAS SOUS 2479813 HAS SOUPS 2479813 WITH SCORE 2482732.045
AT ITER 1283 NEW BEST:: SOT 4000829 SOS 2918655 HAS SOPS 2918655 HAS SOUS 2478643 HAS SOUPS 2478643 WITH SCORE 2481561.655
AT ITER 1284 NEW BEST:: SOT 4001541 SOS 2918704 HAS SOPS 2918704 HAS SOUS 2477911 HAS SOUPS 2477911 WITH SCORE 2480829.704
AT ITER 1287 NEW BEST:: SOT 4000829 SOS 2915419 HAS SOPS 2915419 HAS SOUS 2477094 HAS SOUPS 2477094 WITH SCORE 2480009.419
AT ITER 1288 NEW BEST:: SOT 4000829 SOS 2915417 HAS SOPS 2915417 HAS SOUS 2477092 HAS SOUPS 2477092 WITH SCORE 2480007.417
AT ITER 1289 NEW BEST:: SOT 4000212 SOS 2914800 HAS SOPS 2914800 HAS SOUS 2476475 HAS SOUPS 2476475 WITH SCORE 2479389.8
AT ITER 1299 NEW BEST:: SOT 3999880 SOS 2913804 HAS SOPS 2913804 HAS SOUS 2476475 HAS SOUPS 2476475 WITH SCORE 2479388.804
AT ITER 1305 NEW BEST:: SOT 3998397 SOS 2912321 HAS SOPS 2912321 HAS SOUS 2474992 HAS SOUPS 2474992 WITH SCORE 2477904.321
AT ITER 1309 NEW BEST:: SOT 3998125 SOS 2911251 HAS SOPS 2911251 HAS SOUS 2473922 HAS SOUPS 2473922 WITH SCORE 2476833.251
AT ITER 1314 NEW BEST:: SOT 3997667 SOS 2908632 HAS SOPS 2908632 HAS SOUS 2473528 HAS SOUPS 2473528 WITH SCORE 2476436.632
AT ITER 1317 NEW BEST:: SOT 3997667 SOS 2907327 HAS SOPS 2907327 HAS SOUS 2473481 HAS SOUPS 2473481 WITH SCORE 2476388.327
AT ITER 1318 NEW BEST:: SOT 3997449 SOS 2907109 HAS SOPS 2907109 HAS SOUS 2473263 HAS SOUPS 2473263 WITH SCORE 2476170.109
AT ITER 1323 NEW BEST:: SOT 3997449 SOS 2905165 HAS SOPS 2905165 HAS SOUS 2472336 HAS SOUPS 2472336 WITH SCORE 2475241.165
AT ITER 1325 NEW BEST:: SOT 3995881 SOS 2903597 HAS SOPS 2903597 HAS SOUS 2470768 HAS SOUPS 2470768 WITH SCORE 2473671.597
AT ITER 1327 NEW BEST:: SOT 3995644 SOS 2903358 HAS SOPS 2903358 HAS SOUS 2470529 HAS SOUPS 2470529 WITH SCORE 2473432.358
AT ITER 1330 NEW BEST:: SOT 3995201 SOS 2903356 HAS SOPS 2903356 HAS SOUS 2468649 HAS SOUPS 2468649 WITH SCORE 2471552.356
AT ITER 1332 NEW BEST:: SOT 3994488 SOS 2902642 HAS SOPS 2902642 HAS SOUS 2467935 HAS SOUPS 2467935 WITH SCORE 2470837.642
AT ITER 1333 NEW BEST:: SOT 3994472 SOS 2902626 HAS SOPS 2902626 HAS SOUS 2467919 HAS SOUPS 2467919 WITH SCORE 2470821.626
AT ITER 1336 NEW BEST:: SOT 3994566 SOS 2902119 HAS SOPS 2902119 HAS SOUS 2467507 HAS SOUPS 2467507 WITH SCORE 2470409.119
AT ITER 1342 NEW BEST:: SOT 3994446 SOS 2901759 HAS SOPS 2901759 HAS SOUS 2467505 HAS SOUPS 2467505 WITH SCORE 2470406.759
AT ITER 1347 NEW BEST:: SOT 3994398 SOS 2899279 HAS SOPS 2899279 HAS SOUS 2466292 HAS SOUPS 2466292 WITH SCORE 2469191.279
AT ITER 1351 NEW BEST:: SOT 3994306 SOS 2899185 HAS SOPS 2899185 HAS SOUS 2466198 HAS SOUPS 2466198 WITH SCORE 2469097.185
AT ITER 1352 NEW BEST:: SOT 3994057 SOS 2896725 HAS SOPS 2896725 HAS SOUS 2465075 HAS SOUPS 2465075 WITH SCORE 2467971.725
AT ITER 1354 NEW BEST:: SOT 3993595 SOS 2896262 HAS SOPS 2896262 HAS SOUS 2464612 HAS SOUPS 2464612 WITH SCORE 2467508.262
AT ITER 1358 NEW BEST:: SOT 3992966 SOS 2895150 HAS SOPS 2895150 HAS SOUS 2462794 HAS SOUPS 2462794 WITH SCORE 2465689.15
AT ITER 1361 NEW BEST:: SOT 3992876 SOS 2893225 HAS SOPS 2893225 HAS SOUS 2462679 HAS SOUPS 2462679 WITH SCORE 2465572.225
AT ITER 1365 NEW BEST:: SOT 3992731 SOS 2892790 HAS SOPS 2892790 HAS SOUS 2462679 HAS SOUPS 2462679 WITH SCORE 2465571.79
AT ITER 1374 NEW BEST:: SOT 3992075 SOS 2890081 HAS SOPS 2890081 HAS SOUS 2461534 HAS SOUPS 2461534 WITH SCORE 2464424.081
AT ITER 1381 NEW BEST:: SOT 3994170 SOS 2888688 HAS SOPS 2888688 HAS SOUS 2459746 HAS SOUPS 2459746 WITH SCORE 2462634.688
AT ITER 1382 NEW BEST:: SOT 3993675 SOS 2888193 HAS SOPS 2888193 HAS SOUS 2459251 HAS SOUPS 2459251 WITH SCORE 2462139.193
AT ITER 1385 NEW BEST:: SOT 3993198 SOS 2887715 HAS SOPS 2887715 HAS SOUS 2458773 HAS SOUPS 2458773 WITH SCORE 2461660.715
AT ITER 1391 NEW BEST:: SOT 3992785 SOS 2887500 HAS SOPS 2887500 HAS SOUS 2458540 HAS SOUPS 2458540 WITH SCORE 2461427.5
AT ITER 1395 NEW BEST:: SOT 3991833 SOS 2886547 HAS SOPS 2886547 HAS SOUS 2457587 HAS SOUPS 2457587 WITH SCORE 2460473.547
AT ITER 1399 NEW BEST:: SOT 3991444 SOS 2886156 HAS SOPS 2886156 HAS SOUS 2457196 HAS SOUPS 2457196 WITH SCORE 2460082.156
AT ITER 1401 NEW BEST:: SOT 3991439 SOS 2885573 HAS SOPS 2885573 HAS SOUS 2456432 HAS SOUPS 2456432 WITH SCORE 2459317.573
AT ITER 1402 NEW BEST:: SOT 3991189 SOS 2885323 HAS SOPS 2885323 HAS SOUS 2456182 HAS SOUPS 2456182 WITH SCORE 2459067.323
AT ITER 1403 NEW BEST:: SOT 3989481 SOS 2882614 HAS SOPS 2882614 HAS SOUS 2453175 HAS SOUPS 2453175 WITH SCORE 2456057.614
AT ITER 1404 NEW BEST:: SOT 3988466 SOS 2882106 HAS SOPS 2882106 HAS SOUS 2453173 HAS SOUPS 2453173 WITH SCORE 2456055.106
AT ITER 1409 NEW BEST:: SOT 3988603 SOS 2881887 HAS SOPS 2881887 HAS SOUS 2453038 HAS SOUPS 2453038 WITH SCORE 2455919.887
AT ITER 1415 NEW BEST:: SOT 3988397 SOS 2881610 HAS SOPS 2881610 HAS SOUS 2452843 HAS SOUPS 2452843 WITH SCORE 2455724.61
AT ITER 1417 NEW BEST:: SOT 3988397 SOS 2881610 HAS SOPS 2881610 HAS SOUS 2452842 HAS SOUPS 2452842 WITH SCORE 2455723.61
AT ITER 1422 NEW BEST:: SOT 3987414 SOS 2880570 HAS SOPS 2880570 HAS SOUS 2452764 HAS SOUPS 2452764 WITH SCORE 2455644.57
AT ITER 1433 NEW BEST:: SOT 3986985 SOS 2880141 HAS SOPS 2880141 HAS SOUS 2452334 HAS SOUPS 2452334 WITH SCORE 2455214.141
AT ITER 1439 NEW BEST:: SOT 3986424 SOS 2879258 HAS SOPS 2879258 HAS SOUS 2451451 HAS SOUPS 2451451 WITH SCORE 2454330.258
AT ITER 1440 NEW BEST:: SOT 3985809 SOS 2876855 HAS SOPS 2876855 HAS SOUS 2449038 HAS SOUPS 2449038 WITH SCORE 2451914.855
AT ITER 1448 NEW BEST:: SOT 3985808 SOS 2876854 HAS SOPS 2876854 HAS SOUS 2449037 HAS SOUPS 2449037 WITH SCORE 2451913.854
AT ITER 1451 NEW BEST:: SOT 3985465 SOS 2876426 HAS SOPS 2876426 HAS SOUS 2448951 HAS SOUPS 2448951 WITH SCORE 2451827.426
AT ITER 1452 NEW BEST:: SOT 3985609 SOS 2870463 HAS SOPS 2870463 HAS SOUS 2446095 HAS SOUPS 2446095 WITH SCORE 2448965.463
AT ITER 1453 NEW BEST:: SOT 3984647 SOS 2869501 HAS SOPS 2869501 HAS SOUS 2445132 HAS SOUPS 2445132 WITH SCORE 2448001.501
AT ITER 1454 NEW BEST:: SOT 3984647 SOS 2868935 HAS SOPS 2868935 HAS SOUS 2444566 HAS SOUPS 2444566 WITH SCORE 2447434.935
AT ITER 1457 NEW BEST:: SOT 3984160 SOS 2867403 HAS SOPS 2867403 HAS SOUS 2443594 HAS SOUPS 2443594 WITH SCORE 2446461.403
AT ITER 1463 NEW BEST:: SOT 3985293 SOS 2866234 HAS SOPS 2866234 HAS SOUS 2443194 HAS SOUPS 2443194 WITH SCORE 2446060.234
AT ITER 1467 NEW BEST:: SOT 3985293 SOS 2864500 HAS SOPS 2864500 HAS SOUS 2442480 HAS SOUPS 2442480 WITH SCORE 2445344.5
AT ITER 1468 NEW BEST:: SOT 3985094 SOS 2864403 HAS SOPS 2864403 HAS SOUS 2442383 HAS SOUPS 2442383 WITH SCORE 2445247.403
AT ITER 1471 NEW BEST:: SOT 3985094 SOS 2863571 HAS SOPS 2863571 HAS SOUS 2442095 HAS SOUPS 2442095 WITH SCORE 2444958.571
AT ITER 1475 NEW BEST:: SOT 3985094 SOS 2863216 HAS SOPS 2863216 HAS SOUS 2441334 HAS SOUPS 2441334 WITH SCORE 2444197.216
AT ITER 1479 NEW BEST:: SOT 3985094 SOS 2861995 HAS SOPS 2861995 HAS SOUS 2440113 HAS SOUPS 2440113 WITH SCORE 2442974.995
AT ITER 1485 NEW BEST:: SOT 3985026 SOS 2861690 HAS SOPS 2861690 HAS SOUS 2439942 HAS SOUPS 2439942 WITH SCORE 2442803.69
AT ITER 1492 NEW BEST:: SOT 3984611 SOS 2861148 HAS SOPS 2861148 HAS SOUS 2439400 HAS SOUPS 2439400 WITH SCORE 2442261.148
AT ITER 1493 NEW BEST:: SOT 3984567 SOS 2859204 HAS SOPS 2859204 HAS SOUS 2438950 HAS SOUPS 2438950 WITH SCORE 2441809.204
AT ITER 1496 NEW BEST:: SOT 3984332 SOS 2858969 HAS SOPS 2858969 HAS SOUS 2438715 HAS SOUPS 2438715 WITH SCORE 2441573.969
AT ITER 1502 NEW BEST:: SOT 3984237 SOS 2858874 HAS SOPS 2858874 HAS SOUS 2438620 HAS SOUPS 2438620 WITH SCORE 2441478.874
AT ITER 1503 NEW BEST:: SOT 3983572 SOS 2857545 HAS SOPS 2857545 HAS SOUS 2437291 HAS SOUPS 2437291 WITH SCORE 2440148.545
AT ITER 1504 NEW BEST:: SOT 3982014 SOS 2855586 HAS SOPS 2855586 HAS SOUS 2435332 HAS SOUPS 2435332 WITH SCORE 2438187.586
AT ITER 1509 NEW BEST:: SOT 3981300 SOS 2854870 HAS SOPS 2854870 HAS SOUS 2434616 HAS SOUPS 2434616 WITH SCORE 2437470.87
AT ITER 1512 NEW BEST:: SOT 3981300 SOS 2854824 HAS SOPS 2854824 HAS SOUS 2434593 HAS SOUPS 2434593 WITH SCORE 2437447.824
AT ITER 1513 NEW BEST:: SOT 3981235 SOS 2854499 HAS SOPS 2854499 HAS SOUS 2434593 HAS SOUPS 2434593 WITH SCORE 2437447.499
AT ITER 1517 NEW BEST:: SOT 3981117 SOS 2854381 HAS SOPS 2854381 HAS SOUS 2434475 HAS SOUPS 2434475 WITH SCORE 2437329.381
AT ITER 1520 NEW BEST:: SOT 3980009 SOS 2853271 HAS SOPS 2853271 HAS SOUS 2433365 HAS SOUPS 2433365 WITH SCORE 2436218.271
AT ITER 1521 NEW BEST:: SOT 3979443 SOS 2852704 HAS SOPS 2852704 HAS SOUS 2432798 HAS SOUPS 2432798 WITH SCORE 2435650.704
AT ITER 1526 NEW BEST:: SOT 3977626 SOS 2850885 HAS SOPS 2850885 HAS SOUS 2430978 HAS SOUPS 2430978 WITH SCORE 2433828.885
AT ITER 1534 NEW BEST:: SOT 3976828 SOS 2850085 HAS SOPS 2850085 HAS SOUS 2430178 HAS SOUPS 2430178 WITH SCORE 2433028.085
AT ITER 1539 NEW BEST:: SOT 3975453 SOS 2848708 HAS SOPS 2848708 HAS SOUS 2428801 HAS SOUPS 2428801 WITH SCORE 2431649.708
AT ITER 1540 NEW BEST:: SOT 3975662 SOS 2846719 HAS SOPS 2846719 HAS SOUS 2427494 HAS SOUPS 2427494 WITH SCORE 2430340.719
AT ITER 1544 NEW BEST:: SOT 3973567 SOS 2845360 HAS SOPS 2845360 HAS SOUS 2426137 HAS SOUPS 2426137 WITH SCORE 2428982.36
AT ITER 1545 NEW BEST:: SOT 3973567 SOS 2843672 HAS SOPS 2843672 HAS SOUS 2425706 HAS SOUPS 2425706 WITH SCORE 2428549.672
AT ITER 1546 NEW BEST:: SOT 3973226 SOS 2841423 HAS SOPS 2841423 HAS SOUS 2423121 HAS SOUPS 2423121 WITH SCORE 2425962.423
AT ITER 1561 NEW BEST:: SOT 3972262 SOS 2840457 HAS SOPS 2840457 HAS SOUS 2422155 HAS SOUPS 2422155 WITH SCORE 2424995.457
AT ITER 1564 NEW BEST:: SOT 3972155 SOS 2840244 HAS SOPS 2840244 HAS SOUS 2421348 HAS SOUPS 2421348 WITH SCORE 2424188.244
AT ITER 1566 NEW BEST:: SOT 3972560 SOS 2838731 HAS SOPS 2838731 HAS SOUS 2420655 HAS SOUPS 2420655 WITH SCORE 2423493.731
AT ITER 1577 NEW BEST:: SOT 3972164 SOS 2837912 HAS SOPS 2837912 HAS SOUS 2419836 HAS SOUPS 2419836 WITH SCORE 2422673.912
AT ITER 1580 NEW BEST:: SOT 3972286 SOS 2838034 HAS SOPS 2838034 HAS SOUS 2419833 HAS SOUPS 2419833 WITH SCORE 2422671.034
AT ITER 1581 NEW BEST:: SOT 3972164 SOS 2837912 HAS SOPS 2837912 HAS SOUS 2419711 HAS SOUPS 2419711 WITH SCORE 2422548.912
AT ITER 1586 NEW BEST:: SOT 3971627 SOS 2836352 HAS SOPS 2836352 HAS SOUS 2418151 HAS SOUPS 2418151 WITH SCORE 2420987.352
AT ITER 1588 NEW BEST:: SOT 3973538 SOS 2838153 HAS SOPS 2838153 HAS SOUS 2417221 HAS SOUPS 2417221 WITH SCORE 2420059.153
AT ITER 1592 NEW BEST:: SOT 3972997 SOS 2835540 HAS SOPS 2835540 HAS SOUS 2416417 HAS SOUPS 2416417 WITH SCORE 2419252.54
AT ITER 1596 NEW BEST:: SOT 3972997 SOS 2834763 HAS SOPS 2834763 HAS SOUS 2416096 HAS SOUPS 2416096 WITH SCORE 2418930.763
AT ITER 1599 NEW BEST:: SOT 3972265 SOS 2834030 HAS SOPS 2834030 HAS SOUS 2415363 HAS SOUPS 2415363 WITH SCORE 2418197.03
AT ITER 1601 NEW BEST:: SOT 3971978 SOS 2833743 HAS SOPS 2833743 HAS SOUS 2415076 HAS SOUPS 2415076 WITH SCORE 2417909.743
AT ITER 1602 NEW BEST:: SOT 3970944 SOS 2832707 HAS SOPS 2832707 HAS SOUS 2414040 HAS SOUPS 2414040 WITH SCORE 2416872.707
AT ITER 1603 NEW BEST:: SOT 3970638 SOS 2832401 HAS SOPS 2832401 HAS SOUS 2413734 HAS SOUPS 2413734 WITH SCORE 2416566.401
AT ITER 1607 NEW BEST:: SOT 3970499 SOS 2832262 HAS SOPS 2832262 HAS SOUS 2413595 HAS SOUPS 2413595 WITH SCORE 2416427.262
AT ITER 1625 NEW BEST:: SOT 3969567 SOS 2831402 HAS SOPS 2831402 HAS SOUS 2412737 HAS SOUPS 2412737 WITH SCORE 2415568.402
AT ITER 1633 NEW BEST:: SOT 3969103 SOS 2830937 HAS SOPS 2830937 HAS SOUS 2412272 HAS SOUPS 2412272 WITH SCORE 2415102.937
AT ITER 1634 NEW BEST:: SOT 3969103 SOS 2830718 HAS SOPS 2830718 HAS SOUS 2412053 HAS SOUPS 2412053 WITH SCORE 2414883.718
AT ITER 1637 NEW BEST:: SOT 3968358 SOS 2827421 HAS SOPS 2827421 HAS SOUS 2411736 HAS SOUPS 2411736 WITH SCORE 2414563.421
AT ITER 1640 NEW BEST:: SOT 3968358 SOS 2827419 HAS SOPS 2827419 HAS SOUS 2411734 HAS SOUPS 2411734 WITH SCORE 2414561.419
AT ITER 1652 NEW BEST:: SOT 3968358 SOS 2827773 HAS SOPS 2827773 HAS SOUS 2411688 HAS SOUPS 2411688 WITH SCORE 2414515.773
AT ITER 1653 NEW BEST:: SOT 3968358 SOS 2826815 HAS SOPS 2826815 HAS SOUS 2411684 HAS SOUPS 2411684 WITH SCORE 2414510.815
AT ITER 1655 NEW BEST:: SOT 3968358 SOS 2826564 HAS SOPS 2826564 HAS SOUS 2411679 HAS SOUPS 2411679 WITH SCORE 2414505.564
AT ITER 1656 NEW BEST:: SOT 3969564 SOS 2826007 HAS SOPS 2826007 HAS SOUS 2411282 HAS SOUPS 2411282 WITH SCORE 2414108.007
AT ITER 1658 NEW BEST:: SOT 3968622 SOS 2823750 HAS SOPS 2823750 HAS SOUS 2409025 HAS SOUPS 2409025 WITH SCORE 2411848.75
AT ITER 1668 NEW BEST:: SOT 3967768 SOS 2822896 HAS SOPS 2822896 HAS SOUS 2408171 HAS SOUPS 2408171 WITH SCORE 2410993.896
AT ITER 1673 NEW BEST:: SOT 3967113 SOS 2822241 HAS SOPS 2822241 HAS SOUS 2407516 HAS SOUPS 2407516 WITH SCORE 2410338.241
AT ITER 1674 NEW BEST:: SOT 3966757 SOS 2821333 HAS SOPS 2821333 HAS SOUS 2406608 HAS SOUPS 2406608 WITH SCORE 2409429.333
AT ITER 1677 NEW BEST:: SOT 3965950 SOS 2820524 HAS SOPS 2820524 HAS SOUS 2405799 HAS SOUPS 2405799 WITH SCORE 2408619.524
AT ITER 1678 NEW BEST:: SOT 3965886 SOS 2820441 HAS SOPS 2820441 HAS SOUS 2405716 HAS SOUPS 2405716 WITH SCORE 2408536.441
AT ITER 1680 NEW BEST:: SOT 3965989 SOS 2820544 HAS SOPS 2820544 HAS SOUS 2405421 HAS SOUPS 2405421 WITH SCORE 2408241.544
AT ITER 1689 NEW BEST:: SOT 3966524 SOS 2817221 HAS SOPS 2817221 HAS SOUS 2403088 HAS SOUPS 2403088 WITH SCORE 2405905.221
AT ITER 1692 NEW BEST:: SOT 3966428 SOS 2817125 HAS SOPS 2817125 HAS SOUS 2402992 HAS SOUPS 2402992 WITH SCORE 2405809.125
AT ITER 1693 NEW BEST:: SOT 3966053 SOS 2815895 HAS SOPS 2815895 HAS SOUS 2402500 HAS SOUPS 2402500 WITH SCORE 2405315.895
AT ITER 1696 NEW BEST:: SOT 3966053 SOS 2815893 HAS SOPS 2815893 HAS SOUS 2402498 HAS SOUPS 2402498 WITH SCORE 2405313.893
AT ITER 1697 NEW BEST:: SOT 3964800 SOS 2814619 HAS SOPS 2814619 HAS SOUS 2401224 HAS SOUPS 2401224 WITH SCORE 2404038.619
AT ITER 1700 NEW BEST:: SOT 3964900 SOS 2814457 HAS SOPS 2814457 HAS SOUS 2400501 HAS SOUPS 2400501 WITH SCORE 2403315.457
AT ITER 1701 NEW BEST:: SOT 3964850 SOS 2814207 HAS SOPS 2814207 HAS SOUS 2400501 HAS SOUPS 2400501 WITH SCORE 2403315.207
AT ITER 1709 NEW BEST:: SOT 3963782 SOS 2810961 HAS SOPS 2810961 HAS SOUS 2399460 HAS SOUPS 2399460 WITH SCORE 2402270.961
AT ITER 1719 NEW BEST:: SOT 3962708 SOS 2809411 HAS SOPS 2809411 HAS SOUS 2397910 HAS SOUPS 2397910 WITH SCORE 2400719.411
AT ITER 1720 NEW BEST:: SOT 3962708 SOS 2808089 HAS SOPS 2808089 HAS SOUS 2397188 HAS SOUPS 2397188 WITH SCORE 2399996.089
AT ITER 1722 NEW BEST:: SOT 3962482 SOS 2807863 HAS SOPS 2807863 HAS SOUS 2396962 HAS SOUPS 2396962 WITH SCORE 2399769.863
AT ITER 1738 NEW BEST:: SOT 3962436 SOS 2806973 HAS SOPS 2806973 HAS SOUS 2396890 HAS SOUPS 2396890 WITH SCORE 2399696.973
AT ITER 1751 NEW BEST:: SOT 3961622 SOS 2806058 HAS SOPS 2806058 HAS SOUS 2395975 HAS SOUPS 2395975 WITH SCORE 2398781.058
AT ITER 1753 NEW BEST:: SOT 3961402 SOS 2805915 HAS SOPS 2805915 HAS SOUS 2395930 HAS SOUPS 2395930 WITH SCORE 2398735.915
AT ITER 1759 NEW BEST:: SOT 3961402 SOS 2805683 HAS SOPS 2805683 HAS SOUS 2395927 HAS SOUPS 2395927 WITH SCORE 2398732.683
AT ITER 1761 NEW BEST:: SOT 3961524 SOS 2803478 HAS SOPS 2803478 HAS SOUS 2394509 HAS SOUPS 2394509 WITH SCORE 2397312.478
AT ITER 1762 NEW BEST:: SOT 3960820 SOS 2799894 HAS SOPS 2799894 HAS SOUS 2392840 HAS SOUPS 2392840 WITH SCORE 2395639.894
AT ITER 1764 NEW BEST:: SOT 3960820 SOS 2800180 HAS SOPS 2800180 HAS SOUS 2392256 HAS SOUPS 2392256 WITH SCORE 2395056.18
AT ITER 1766 NEW BEST:: SOT 3960820 SOS 2798975 HAS SOPS 2798975 HAS SOUS 2392254 HAS SOUPS 2392254 WITH SCORE 2395052.975
AT ITER 1771 NEW BEST:: SOT 3959412 SOS 2797010 HAS SOPS 2797010 HAS SOUS 2390289 HAS SOUPS 2390289 WITH SCORE 2393086.01
AT ITER 1795 NEW BEST:: SOT 3960580 SOS 2795838 HAS SOPS 2795838 HAS SOUS 2388716 HAS SOUPS 2388716 WITH SCORE 2391511.838
AT ITER 1801 NEW BEST:: SOT 3960615 SOS 2795838 HAS SOPS 2795838 HAS SOUS 2388644 HAS SOUPS 2388644 WITH SCORE 2391439.838
AT ITER 1803 NEW BEST:: SOT 3959593 SOS 2794816 HAS SOPS 2794816 HAS SOUS 2387352 HAS SOUPS 2387352 WITH SCORE 2390146.816
AT ITER 1811 NEW BEST:: SOT 3959650 SOS 2794823 HAS SOPS 2794823 HAS SOUS 2387274 HAS SOUPS 2387274 WITH SCORE 2390068.823
AT ITER 1821 NEW BEST:: SOT 3959796 SOS 2795116 HAS SOPS 2795116 HAS SOUS 2387273 HAS SOUPS 2387273 WITH SCORE 2390068.116
AT ITER 1832 NEW BEST:: SOT 3958222 SOS 2793542 HAS SOPS 2793542 HAS SOUS 2385699 HAS SOUPS 2385699 WITH SCORE 2388492.542
AT ITER 1847 NEW BEST:: SOT 3957466 SOS 2792546 HAS SOPS 2792546 HAS SOUS 2385032 HAS SOUPS 2385032 WITH SCORE 2387824.546
AT ITER 1854 NEW BEST:: SOT 3957331 SOS 2792411 HAS SOPS 2792411 HAS SOUS 2384897 HAS SOUPS 2384897 WITH SCORE 2387689.411
AT ITER 1856 NEW BEST:: SOT 3956836 SOS 2791364 HAS SOPS 2791364 HAS SOUS 2383850 HAS SOUPS 2383850 WITH SCORE 2386641.364
AT ITER 1862 NEW BEST:: SOT 3956318 SOS 2790845 HAS SOPS 2790845 HAS SOUS 2383331 HAS SOUPS 2383331 WITH SCORE 2386121.845
AT ITER 1864 NEW BEST:: SOT 3956041 SOS 2790568 HAS SOPS 2790568 HAS SOUS 2381821 HAS SOUPS 2381821 WITH SCORE 2384611.568
AT ITER 1865 NEW BEST:: SOT 3955878 SOS 2790301 HAS SOPS 2790301 HAS SOUS 2381613 HAS SOUPS 2381613 WITH SCORE 2384403.301
AT ITER 1866 NEW BEST:: SOT 3955878 SOS 2789632 HAS SOPS 2789632 HAS SOUS 2380944 HAS SOUPS 2380944 WITH SCORE 2383733.632
AT ITER 1874 NEW BEST:: SOT 3955404 SOS 2789154 HAS SOPS 2789154 HAS SOUS 2380347 HAS SOUPS 2380347 WITH SCORE 2383136.154
AT ITER 1876 NEW BEST:: SOT 3955404 SOS 2789195 HAS SOPS 2789195 HAS SOUS 2379698 HAS SOUPS 2379698 WITH SCORE 2382487.195
AT ITER 1878 NEW BEST:: SOT 3954332 SOS 2787225 HAS SOPS 2787225 HAS SOUS 2377628 HAS SOUPS 2377628 WITH SCORE 2380415.225
AT ITER 1881 NEW BEST:: SOT 3954549 SOS 2785946 HAS SOPS 2785946 HAS SOUS 2376060 HAS SOUPS 2376060 WITH SCORE 2378845.946
AT ITER 1895 NEW BEST:: SOT 3954824 SOS 2785207 HAS SOPS 2785207 HAS SOUS 2375185 HAS SOUPS 2375185 WITH SCORE 2377970.207
AT ITER 1899 NEW BEST:: SOT 3954821 SOS 2785204 HAS SOPS 2785204 HAS SOUS 2375182 HAS SOUPS 2375182 WITH SCORE 2377967.204
AT ITER 1904 NEW BEST:: SOT 3954146 SOS 2784529 HAS SOPS 2784529 HAS SOUS 2374105 HAS SOUPS 2374105 WITH SCORE 2376889.529
AT ITER 1906 NEW BEST:: SOT 3954122 SOS 2784505 HAS SOPS 2784505 HAS SOUS 2374071 HAS SOUPS 2374071 WITH SCORE 2376855.505
AT ITER 1909 NEW BEST:: SOT 3953236 SOS 2782681 HAS SOPS 2782681 HAS SOUS 2372280 HAS SOUPS 2372280 WITH SCORE 2375062.681
AT ITER 1911 NEW BEST:: SOT 3952839 SOS 2782284 HAS SOPS 2782284 HAS SOUS 2371883 HAS SOUPS 2371883 WITH SCORE 2374665.284
AT ITER 1913 NEW BEST:: SOT 3952765 SOS 2782210 HAS SOPS 2782210 HAS SOUS 2371809 HAS SOUPS 2371809 WITH SCORE 2374591.21
AT ITER 1916 NEW BEST:: SOT 3952638 SOS 2780061 HAS SOPS 2780061 HAS SOUS 2371768 HAS SOUPS 2371768 WITH SCORE 2374548.061
AT ITER 1918 NEW BEST:: SOT 3952591 SOS 2780014 HAS SOPS 2780014 HAS SOUS 2371721 HAS SOUPS 2371721 WITH SCORE 2374501.014
AT ITER 1921 NEW BEST:: SOT 3952459 SOS 2779750 HAS SOPS 2779750 HAS SOUS 2371456 HAS SOUPS 2371456 WITH SCORE 2374235.75
AT ITER 1933 NEW BEST:: SOT 3952313 SOS 2779458 HAS SOPS 2779458 HAS SOUS 2371456 HAS SOUPS 2371456 WITH SCORE 2374235.458
AT ITER 1934 NEW BEST:: SOT 3952273 SOS 2779418 HAS SOPS 2779418 HAS SOUS 2371416 HAS SOUPS 2371416 WITH SCORE 2374195.418
AT ITER 1935 NEW BEST:: SOT 3954625 SOS 2778245 HAS SOPS 2778245 HAS SOUS 2371276 HAS SOUPS 2371276 WITH SCORE 2374054.245
AT ITER 1936 NEW BEST:: SOT 3953357 SOS 2777149 HAS SOPS 2777149 HAS SOUS 2370180 HAS SOUPS 2370180 WITH SCORE 2372957.149
AT ITER 1939 NEW BEST:: SOT 3953311 SOS 2777103 HAS SOPS 2777103 HAS SOUS 2370134 HAS SOUPS 2370134 WITH SCORE 2372911.103
AT ITER 1941 NEW BEST:: SOT 3952248 SOS 2774681 HAS SOPS 2774681 HAS SOUS 2367712 HAS SOUPS 2367712 WITH SCORE 2370486.681
AT ITER 1942 NEW BEST:: SOT 3951941 SOS 2773453 HAS SOPS 2773453 HAS SOUS 2366484 HAS SOUPS 2366484 WITH SCORE 2369257.453
AT ITER 1945 NEW BEST:: SOT 3951458 SOS 2771087 HAS SOPS 2771087 HAS SOUS 2365749 HAS SOUPS 2365749 WITH SCORE 2368520.087
AT ITER 1946 NEW BEST:: SOT 3951458 SOS 2771233 HAS SOPS 2771233 HAS SOUS 2365457 HAS SOUPS 2365457 WITH SCORE 2368228.233
AT ITER 1957 NEW BEST:: SOT 3951556 SOS 2771237 HAS SOPS 2771237 HAS SOUS 2360704 HAS SOUPS 2360704 WITH SCORE 2363475.237
AT ITER 1962 NEW BEST:: SOT 3951556 SOS 2771466 HAS SOPS 2771466 HAS SOUS 2359863 HAS SOUPS 2359863 WITH SCORE 2362634.466
AT ITER 1965 NEW BEST:: SOT 3951556 SOS 2771465 HAS SOPS 2771465 HAS SOUS 2359862 HAS SOUPS 2359862 WITH SCORE 2362633.465
AT ITER 1968 NEW BEST:: SOT 3950103 SOS 2770012 HAS SOPS 2770012 HAS SOUS 2358409 HAS SOUPS 2358409 WITH SCORE 2361179.012
AT ITER 1970 NEW BEST:: SOT 3950072 SOS 2769950 HAS SOPS 2769950 HAS SOUS 2358316 HAS SOUPS 2358316 WITH SCORE 2361085.95
AT ITER 1972 NEW BEST:: SOT 3949428 SOS 2769305 HAS SOPS 2769305 HAS SOUS 2357671 HAS SOUPS 2357671 WITH SCORE 2360440.305
AT ITER 1976 NEW BEST:: SOT 3948334 SOS 2767879 HAS SOPS 2767879 HAS SOUS 2356245 HAS SOUPS 2356245 WITH SCORE 2359012.879
AT ITER 1977 NEW BEST:: SOT 3948316 SOS 2767825 HAS SOPS 2767825 HAS SOUS 2356209 HAS SOUPS 2356209 WITH SCORE 2358976.825
AT ITER 1988 NEW BEST:: SOT 3948316 SOS 2766965 HAS SOPS 2766965 HAS SOUS 2355923 HAS SOUPS 2355923 WITH SCORE 2358689.965
AT ITER 1989 NEW BEST:: SOT 3946382 SOS 2765031 HAS SOPS 2765031 HAS SOUS 2353989 HAS SOUPS 2353989 WITH SCORE 2356754.031
AT ITER 1998 NEW BEST:: SOT 3945567 SOS 2763259 HAS SOPS 2763259 HAS SOUS 2353259 HAS SOUPS 2353259 WITH SCORE 2356022.259
AT ITER 2000 NEW BEST:: SOT 3945567 SOS 2762697 HAS SOPS 2762697 HAS SOUS 2353210 HAS SOUPS 2353210 WITH SCORE 2355972.697
AT ITER 2003 NEW BEST:: SOT 3945378 SOS 2762508 HAS SOPS 2762508 HAS SOUS 2353021 HAS SOUPS 2353021 WITH SCORE 2355783.508
AT ITER 2007 NEW BEST:: SOT 3945196 SOS 2762401 HAS SOPS 2762401 HAS SOUS 2352989 HAS SOUPS 2352989 WITH SCORE 2355751.401
AT ITER 2008 NEW BEST:: SOT 3944692 SOS 2761897 HAS SOPS 2761897 HAS SOUS 2352485 HAS SOUPS 2352485 WITH SCORE 2355246.897
AT ITER 2016 NEW BEST:: SOT 3945273 SOS 2760679 HAS SOPS 2760679 HAS SOUS 2351218 HAS SOUPS 2351218 WITH SCORE 2353978.679
AT ITER 2024 NEW BEST:: SOT 3945273 SOS 2760521 HAS SOPS 2760521 HAS SOUS 2351060 HAS SOUPS 2351060 WITH SCORE 2353820.521
AT ITER 2026 NEW BEST:: SOT 3945922 SOS 2760163 HAS SOPS 2760163 HAS SOUS 2350225 HAS SOUPS 2350225 WITH SCORE 2352985.163
AT ITER 2031 NEW BEST:: SOT 3945922 SOS 2760368 HAS SOPS 2760368 HAS SOUS 2350132 HAS SOUPS 2350132 WITH SCORE 2352892.368
AT ITER 2038 NEW BEST:: SOT 3946300 SOS 2759785 HAS SOPS 2759785 HAS SOUS 2349549 HAS SOUPS 2349549 WITH SCORE 2352308.785
AT ITER 2039 NEW BEST:: SOT 3945839 SOS 2758001 HAS SOPS 2758001 HAS SOUS 2349238 HAS SOUPS 2349238 WITH SCORE 2351996.001
AT ITER 2041 NEW BEST:: SOT 3945839 SOS 2758001 HAS SOPS 2758001 HAS SOUS 2349237 HAS SOUPS 2349237 WITH SCORE 2351995.001
AT ITER 2046 NEW BEST:: SOT 3945235 SOS 2757397 HAS SOPS 2757397 HAS SOUS 2348633 HAS SOUPS 2348633 WITH SCORE 2351390.397
AT ITER 2047 NEW BEST:: SOT 3945166 SOS 2756964 HAS SOPS 2756964 HAS SOUS 2348096 HAS SOUPS 2348096 WITH SCORE 2350852.964
AT ITER 2048 NEW BEST:: SOT 3944806 SOS 2756604 HAS SOPS 2756604 HAS SOUS 2347736 HAS SOUPS 2347736 WITH SCORE 2350492.604
AT ITER 2061 NEW BEST:: SOT 3943316 SOS 2754764 HAS SOPS 2754764 HAS SOUS 2345542 HAS SOUPS 2345542 WITH SCORE 2348296.764
AT ITER 2064 NEW BEST:: SOT 3942282 SOS 2753730 HAS SOPS 2753730 HAS SOUS 2344726 HAS SOUPS 2344726 WITH SCORE 2347479.73
AT ITER 2066 NEW BEST:: SOT 3942098 SOS 2753546 HAS SOPS 2753546 HAS SOUS 2344542 HAS SOUPS 2344542 WITH SCORE 2347295.546
AT ITER 2070 NEW BEST:: SOT 3941976 SOS 2753058 HAS SOPS 2753058 HAS SOUS 2344420 HAS SOUPS 2344420 WITH SCORE 2347173.058
AT ITER 2072 NEW BEST:: SOT 3941896 SOS 2752978 HAS SOPS 2752978 HAS SOUS 2344340 HAS SOUPS 2344340 WITH SCORE 2347092.978
AT ITER 2074 NEW BEST:: SOT 3941896 SOS 2752736 HAS SOPS 2752736 HAS SOUS 2344340 HAS SOUPS 2344340 WITH SCORE 2347092.736
AT ITER 2075 NEW BEST:: SOT 3941896 SOS 2752734 HAS SOPS 2752734 HAS SOUS 2344339 HAS SOUPS 2344339 WITH SCORE 2347091.734
AT ITER 2077 NEW BEST:: SOT 3941515 SOS 2752351 HAS SOPS 2752351 HAS SOUS 2343955 HAS SOUPS 2343955 WITH SCORE 2346707.351
AT ITER 2082 NEW BEST:: SOT 3941459 SOS 2752295 HAS SOPS 2752295 HAS SOUS 2343899 HAS SOUPS 2343899 WITH SCORE 2346651.295
AT ITER 2089 NEW BEST:: SOT 3941057 SOS 2751165 HAS SOPS 2751165 HAS SOUS 2341595 HAS SOUPS 2341595 WITH SCORE 2344346.165
AT ITER 2105 NEW BEST:: SOT 3941140 SOS 2751248 HAS SOPS 2751248 HAS SOUS 2341276 HAS SOUPS 2341276 WITH SCORE 2344027.248
AT ITER 2110 NEW BEST:: SOT 3942335 SOS 2750656 HAS SOPS 2750656 HAS SOUS 2341040 HAS SOUPS 2341040 WITH SCORE 2343790.656
AT ITER 2112 NEW BEST:: SOT 3942319 SOS 2750220 HAS SOPS 2750220 HAS SOUS 2340604 HAS SOUPS 2340604 WITH SCORE 2343354.22
AT ITER 2114 NEW BEST:: SOT 3941965 SOS 2749866 HAS SOPS 2749866 HAS SOUS 2340603 HAS SOUPS 2340603 WITH SCORE 2343352.866
AT ITER 2115 NEW BEST:: SOT 3942853 SOS 2751290 HAS SOPS 2751290 HAS SOUS 2339378 HAS SOUPS 2339378 WITH SCORE 2342129.29
AT ITER 2117 NEW BEST:: SOT 3943638 SOS 2748870 HAS SOPS 2748870 HAS SOUS 2338096 HAS SOUPS 2338096 WITH SCORE 2340844.87
AT ITER 2119 NEW BEST:: SOT 3943428 SOS 2747820 HAS SOPS 2747820 HAS SOUS 2337676 HAS SOUPS 2337676 WITH SCORE 2340423.82
AT ITER 2127 NEW BEST:: SOT 3943777 SOS 2746906 HAS SOPS 2746906 HAS SOUS 2337018 HAS SOUPS 2337018 WITH SCORE 2339764.906
AT ITER 2128 NEW BEST:: SOT 3942374 SOS 2745104 HAS SOPS 2745104 HAS SOUS 2335216 HAS SOUPS 2335216 WITH SCORE 2337961.104
AT ITER 2130 NEW BEST:: SOT 3942374 SOS 2745099 HAS SOPS 2745099 HAS SOUS 2335213 HAS SOUPS 2335213 WITH SCORE 2337958.099
AT ITER 2135 NEW BEST:: SOT 3942075 SOS 2744675 HAS SOPS 2744675 HAS SOUS 2335150 HAS SOUPS 2335150 WITH SCORE 2337894.675
AT ITER 2137 NEW BEST:: SOT 3942075 SOS 2744485 HAS SOPS 2744485 HAS SOUS 2335138 HAS SOUPS 2335138 WITH SCORE 2337882.485
AT ITER 2141 NEW BEST:: SOT 3940803 SOS 2743951 HAS SOPS 2743951 HAS SOUS 2334854 HAS SOUPS 2334854 WITH SCORE 2337597.951
AT ITER 2142 NEW BEST:: SOT 3942310 SOS 2745156 HAS SOPS 2745156 HAS SOUS 2334780 HAS SOUPS 2334780 WITH SCORE 2337525.156
AT ITER 2144 NEW BEST:: SOT 3941582 SOS 2744027 HAS SOPS 2744027 HAS SOUS 2333651 HAS SOUPS 2333651 WITH SCORE 2336395.027
AT ITER 2147 NEW BEST:: SOT 3941489 SOS 2743932 HAS SOPS 2743932 HAS SOUS 2333177 HAS SOUPS 2333177 WITH SCORE 2335920.932
AT ITER 2148 NEW BEST:: SOT 3941458 SOS 2743865 HAS SOPS 2743865 HAS SOUS 2333112 HAS SOUPS 2333112 WITH SCORE 2335855.865
AT ITER 2149 NEW BEST:: SOT 3942571 SOS 2744883 HAS SOPS 2744883 HAS SOUS 2332824 HAS SOUPS 2332824 WITH SCORE 2335568.883
AT ITER 2159 NEW BEST:: SOT 3941699 SOS 2743670 HAS SOPS 2743670 HAS SOUS 2331611 HAS SOUPS 2331611 WITH SCORE 2334354.67
AT ITER 2171 NEW BEST:: SOT 3942246 SOS 2742730 HAS SOPS 2742730 HAS SOUS 2331543 HAS SOUPS 2331543 WITH SCORE 2334285.73
AT ITER 2174 NEW BEST:: SOT 3944481 SOS 2742552 HAS SOPS 2742552 HAS SOUS 2331019 HAS SOUPS 2331019 WITH SCORE 2333761.552
AT ITER 2176 NEW BEST:: SOT 3945351 SOS 2743168 HAS SOPS 2743168 HAS SOUS 2330276 HAS SOUPS 2330276 WITH SCORE 2333019.168
AT ITER 2183 NEW BEST:: SOT 3945351 SOS 2742031 HAS SOPS 2742031 HAS SOUS 2329591 HAS SOUPS 2329591 WITH SCORE 2332333.031
AT ITER 2187 NEW BEST:: SOT 3946580 SOS 2740883 HAS SOPS 2740883 HAS SOUS 2328287 HAS SOUPS 2328287 WITH SCORE 2331027.883
AT ITER 2188 NEW BEST:: SOT 3948147 SOS 2741247 HAS SOPS 2741247 HAS SOUS 2327580 HAS SOUPS 2327580 WITH SCORE 2330321.247
AT ITER 2192 NEW BEST:: SOT 3947381 SOS 2740479 HAS SOPS 2740479 HAS SOUS 2326812 HAS SOUPS 2326812 WITH SCORE 2329552.479
AT ITER 2206 NEW BEST:: SOT 3947381 SOS 2739253 HAS SOPS 2739253 HAS SOUS 2326468 HAS SOUPS 2326468 WITH SCORE 2329207.253
AT ITER 2210 NEW BEST:: SOT 3947604 SOS 2739476 HAS SOPS 2739476 HAS SOUS 2326291 HAS SOUPS 2326291 WITH SCORE 2329030.476
AT ITER 2216 NEW BEST:: SOT 3947604 SOS 2739476 HAS SOPS 2739476 HAS SOUS 2326215 HAS SOUPS 2326215 WITH SCORE 2328954.476
AT ITER 2220 NEW BEST:: SOT 3947604 SOS 2737361 HAS SOPS 2737361 HAS SOUS 2325731 HAS SOUPS 2325731 WITH SCORE 2328468.361
AT ITER 2230 NEW BEST:: SOT 3947176 SOS 2736932 HAS SOPS 2736932 HAS SOUS 2325302 HAS SOUPS 2325302 WITH SCORE 2328038.932
AT ITER 2234 NEW BEST:: SOT 3948350 SOS 2737276 HAS SOPS 2737276 HAS SOUS 2325216 HAS SOUPS 2325216 WITH SCORE 2327953.276
AT ITER 2244 NEW BEST:: SOT 3948557 SOS 2736437 HAS SOPS 2736437 HAS SOUS 2324972 HAS SOUPS 2324972 WITH SCORE 2327708.437
AT ITER 2247 NEW BEST:: SOT 3948381 SOS 2735669 HAS SOPS 2735669 HAS SOUS 2324204 HAS SOUPS 2324204 WITH SCORE 2326939.669
AT ITER 2249 NEW BEST:: SOT 3948381 SOS 2735418 HAS SOPS 2735418 HAS SOUS 2324151 HAS SOUPS 2324151 WITH SCORE 2326886.418
AT ITER 2252 NEW BEST:: SOT 3948073 SOS 2735110 HAS SOPS 2735110 HAS SOUS 2323843 HAS SOUPS 2323843 WITH SCORE 2326578.11
AT ITER 2253 NEW BEST:: SOT 3947374 SOS 2734310 HAS SOPS 2734310 HAS SOUS 2323043 HAS SOUPS 2323043 WITH SCORE 2325777.31
AT ITER 2260 NEW BEST:: SOT 3948414 SOS 2735407 HAS SOPS 2735407 HAS SOUS 2322528 HAS SOUPS 2322528 WITH SCORE 2325263.407
AT ITER 2263 NEW BEST:: SOT 3949441 SOS 2732633 HAS SOPS 2732633 HAS SOUS 2321513 HAS SOUPS 2321513 WITH SCORE 2324245.633
AT ITER 2265 NEW BEST:: SOT 3948845 SOS 2731963 HAS SOPS 2731963 HAS SOUS 2320843 HAS SOUPS 2320843 WITH SCORE 2323574.963
AT ITER 2267 NEW BEST:: SOT 3947672 SOS 2730475 HAS SOPS 2730475 HAS SOUS 2319435 HAS SOUPS 2319435 WITH SCORE 2322165.475
AT ITER 2274 NEW BEST:: SOT 3947974 SOS 2729956 HAS SOPS 2729956 HAS SOUS 2319121 HAS SOUPS 2319121 WITH SCORE 2321850.956
AT ITER 2275 NEW BEST:: SOT 3947972 SOS 2729954 HAS SOPS 2729954 HAS SOUS 2319119 HAS SOUPS 2319119 WITH SCORE 2321848.954
AT ITER 2279 NEW BEST:: SOT 3947969 SOS 2729951 HAS SOPS 2729951 HAS SOUS 2319116 HAS SOUPS 2319116 WITH SCORE 2321845.951
AT ITER 2284 NEW BEST:: SOT 3948492 SOS 2729946 HAS SOPS 2729946 HAS SOUS 2318884 HAS SOUPS 2318884 WITH SCORE 2321613.946
AT ITER 2287 NEW BEST:: SOT 3948438 SOS 2729892 HAS SOPS 2729892 HAS SOUS 2318826 HAS SOUPS 2318826 WITH SCORE 2321555.892
AT ITER 2293 NEW BEST:: SOT 3948022 SOS 2728242 HAS SOPS 2728242 HAS SOUS 2318776 HAS SOUPS 2318776 WITH SCORE 2321504.242
AT ITER 2298 NEW BEST:: SOT 3947993 SOS 2728213 HAS SOPS 2728213 HAS SOUS 2318747 HAS SOUPS 2318747 WITH SCORE 2321475.213
AT ITER 2299 NEW BEST:: SOT 3947993 SOS 2728034 HAS SOPS 2728034 HAS SOUS 2318568 HAS SOUPS 2318568 WITH SCORE 2321296.034
AT ITER 2309 NEW BEST:: SOT 3946342 SOS 2726337 HAS SOPS 2726337 HAS SOUS 2316871 HAS SOUPS 2316871 WITH SCORE 2319597.337
AT ITER 2319 NEW BEST:: SOT 3946342 SOS 2725947 HAS SOPS 2725947 HAS SOUS 2316867 HAS SOUPS 2316867 WITH SCORE 2319592.947
AT ITER 2320 NEW BEST:: SOT 3946342 SOS 2724667 HAS SOPS 2724667 HAS SOUS 2316850 HAS SOUPS 2316850 WITH SCORE 2319574.667
AT ITER 2324 NEW BEST:: SOT 3945974 SOS 2724297 HAS SOPS 2724297 HAS SOUS 2316480 HAS SOUPS 2316480 WITH SCORE 2319204.297
AT ITER 2335 NEW BEST:: SOT 3945480 SOS 2723817 HAS SOPS 2723817 HAS SOUS 2316000 HAS SOUPS 2316000 WITH SCORE 2318723.817
AT ITER 2336 NEW BEST:: SOT 3943014 SOS 2721248 HAS SOPS 2721248 HAS SOUS 2313431 HAS SOUPS 2313431 WITH SCORE 2316152.248
AT ITER 2340 NEW BEST:: SOT 3942622 SOS 2720300 HAS SOPS 2720300 HAS SOUS 2313093 HAS SOUPS 2313093 WITH SCORE 2315813.3
AT ITER 2341 NEW BEST:: SOT 3941395 SOS 2716898 HAS SOPS 2716898 HAS SOUS 2311943 HAS SOUPS 2311943 WITH SCORE 2314659.898
AT ITER 2344 NEW BEST:: SOT 3942220 SOS 2717944 HAS SOPS 2717944 HAS SOUS 2311763 HAS SOUPS 2311763 WITH SCORE 2314480.944
AT ITER 2347 NEW BEST:: SOT 3941469 SOS 2717193 HAS SOPS 2717193 HAS SOUS 2311012 HAS SOUPS 2311012 WITH SCORE 2313729.193
AT ITER 2348 NEW BEST:: SOT 3941621 SOS 2717345 HAS SOPS 2717345 HAS SOUS 2310036 HAS SOUPS 2310036 WITH SCORE 2312753.345
AT ITER 2354 NEW BEST:: SOT 3941783 SOS 2716590 HAS SOPS 2716590 HAS SOUS 2309655 HAS SOUPS 2309655 WITH SCORE 2312371.59
AT ITER 2358 NEW BEST:: SOT 3942225 SOS 2716356 HAS SOPS 2716356 HAS SOUS 2309419 HAS SOUPS 2309419 WITH SCORE 2312135.356
AT ITER 2367 NEW BEST:: SOT 3940715 SOS 2715199 HAS SOPS 2715199 HAS SOUS 2308959 HAS SOUPS 2308959 WITH SCORE 2311674.199
AT ITER 2369 NEW BEST:: SOT 3941067 SOS 2715070 HAS SOPS 2715070 HAS SOUS 2308830 HAS SOUPS 2308830 WITH SCORE 2311545.07
AT ITER 2377 NEW BEST:: SOT 3940310 SOS 2714086 HAS SOPS 2714086 HAS SOUS 2307846 HAS SOUPS 2307846 WITH SCORE 2310560.086
AT ITER 2382 NEW BEST:: SOT 3940097 SOS 2713660 HAS SOPS 2713660 HAS SOUS 2307633 HAS SOUPS 2307633 WITH SCORE 2310346.66
AT ITER 2385 NEW BEST:: SOT 3939869 SOS 2713036 HAS SOPS 2713036 HAS SOUS 2306148 HAS SOUPS 2306148 WITH SCORE 2308861.036
AT ITER 2387 NEW BEST:: SOT 3939925 SOS 2712695 HAS SOPS 2712695 HAS SOUS 2305807 HAS SOUPS 2305807 WITH SCORE 2308519.695
AT ITER 2396 NEW BEST:: SOT 3939916 SOS 2712686 HAS SOPS 2712686 HAS SOUS 2305798 HAS SOUPS 2305798 WITH SCORE 2308510.686
AT ITER 2399 NEW BEST:: SOT 3939841 SOS 2712547 HAS SOPS 2712547 HAS SOUS 2304376 HAS SOUPS 2304376 WITH SCORE 2307088.547
AT ITER 2405 NEW BEST:: SOT 3938498 SOS 2711202 HAS SOPS 2711202 HAS SOUS 2303031 HAS SOUPS 2303031 WITH SCORE 2305742.202
AT ITER 2406 NEW BEST:: SOT 3938258 SOS 2710076 HAS SOPS 2710076 HAS SOUS 2302103 HAS SOUPS 2302103 WITH SCORE 2304813.076
AT ITER 2407 NEW BEST:: SOT 3938604 SOS 2709645 HAS SOPS 2709645 HAS SOUS 2301671 HAS SOUPS 2301671 WITH SCORE 2304380.645
AT ITER 2415 NEW BEST:: SOT 3938211 SOS 2707252 HAS SOPS 2707252 HAS SOUS 2300266 HAS SOUPS 2300266 WITH SCORE 2302973.252
AT ITER 2417 NEW BEST:: SOT 3937180 SOS 2706221 HAS SOPS 2706221 HAS SOUS 2299235 HAS SOUPS 2299235 WITH SCORE 2301941.221
AT ITER 2427 NEW BEST:: SOT 3936619 SOS 2705660 HAS SOPS 2705660 HAS SOUS 2298674 HAS SOUPS 2298674 WITH SCORE 2301379.66
AT ITER 2429 NEW BEST:: SOT 3936677 SOS 2705429 HAS SOPS 2705429 HAS SOUS 2298220 HAS SOUPS 2298220 WITH SCORE 2300925.429
AT ITER 2434 NEW BEST:: SOT 3936531 SOS 2705281 HAS SOPS 2705281 HAS SOUS 2298072 HAS SOUPS 2298072 WITH SCORE 2300777.281
AT ITER 2437 NEW BEST:: SOT 3936458 SOS 2704931 HAS SOPS 2704931 HAS SOUS 2298028 HAS SOUPS 2298028 WITH SCORE 2300732.931
AT ITER 2442 NEW BEST:: SOT 3936457 SOS 2704925 HAS SOPS 2704925 HAS SOUS 2298022 HAS SOUPS 2298022 WITH SCORE 2300726.925
AT ITER 2464 NEW BEST:: SOT 3936448 SOS 2705718 HAS SOPS 2705718 HAS SOUS 2297725 HAS SOUPS 2297725 WITH SCORE 2300430.718
AT ITER 2474 NEW BEST:: SOT 3935295 SOS 2704412 HAS SOPS 2704412 HAS SOUS 2296419 HAS SOUPS 2296419 WITH SCORE 2299123.412
AT ITER 2483 NEW BEST:: SOT 3935258 SOS 2704375 HAS SOPS 2704375 HAS SOUS 2296382 HAS SOUPS 2296382 WITH SCORE 2299086.375
AT ITER 2488 NEW BEST:: SOT 3935215 SOS 2704289 HAS SOPS 2704289 HAS SOUS 2296382 HAS SOUPS 2296382 WITH SCORE 2299086.289
AT ITER 2491 NEW BEST:: SOT 3936576 SOS 2702504 HAS SOPS 2702504 HAS SOUS 2296079 HAS SOUPS 2296079 WITH SCORE 2298781.504
AT ITER 2513 NEW BEST:: SOT 3936351 SOS 2702363 HAS SOPS 2702363 HAS SOUS 2295938 HAS SOUPS 2295938 WITH SCORE 2298640.363
AT ITER 2516 NEW BEST:: SOT 3935552 SOS 2700816 HAS SOPS 2700816 HAS SOUS 2294391 HAS SOUPS 2294391 WITH SCORE 2297091.816
AT ITER 2518 NEW BEST:: SOT 3935304 SOS 2702167 HAS SOPS 2702167 HAS SOUS 2294068 HAS SOUPS 2294068 WITH SCORE 2296770.167
AT ITER 2519 NEW BEST:: SOT 3935710 SOS 2702047 HAS SOPS 2702047 HAS SOUS 2293948 HAS SOUPS 2293948 WITH SCORE 2296650.047
AT ITER 2521 NEW BEST:: SOT 3934825 SOS 2699611 HAS SOPS 2699611 HAS SOUS 2292178 HAS SOUPS 2292178 WITH SCORE 2294877.611
AT ITER 2524 NEW BEST:: SOT 3934986 SOS 2699772 HAS SOPS 2699772 HAS SOUS 2292163 HAS SOUPS 2292163 WITH SCORE 2294862.772
AT ITER 2529 NEW BEST:: SOT 3934986 SOS 2698900 HAS SOPS 2698900 HAS SOUS 2291291 HAS SOUPS 2291291 WITH SCORE 2293989.9
AT ITER 2531 NEW BEST:: SOT 3934906 SOS 2698820 HAS SOPS 2698820 HAS SOUS 2291211 HAS SOUPS 2291211 WITH SCORE 2293909.82
AT ITER 2543 NEW BEST:: SOT 3936297 SOS 2698463 HAS SOPS 2698463 HAS SOUS 2290387 HAS SOUPS 2290387 WITH SCORE 2293085.463
AT ITER 2545 NEW BEST:: SOT 3935869 SOS 2698258 HAS SOPS 2698258 HAS SOUS 2290006 HAS SOUPS 2290006 WITH SCORE 2292704.258
AT ITER 2547 NEW BEST:: SOT 3935756 SOS 2698145 HAS SOPS 2698145 HAS SOUS 2289893 HAS SOUPS 2289893 WITH SCORE 2292591.145
AT ITER 2552 NEW BEST:: SOT 3935493 SOS 2697576 HAS SOPS 2697576 HAS SOUS 2289324 HAS SOUPS 2289324 WITH SCORE 2292021.576
AT ITER 2558 NEW BEST:: SOT 3935493 SOS 2697414 HAS SOPS 2697414 HAS SOUS 2289162 HAS SOUPS 2289162 WITH SCORE 2291859.414
AT ITER 2560 NEW BEST:: SOT 3935493 SOS 2697175 HAS SOPS 2697175 HAS SOUS 2288923 HAS SOUPS 2288923 WITH SCORE 2291620.175
AT ITER 2563 NEW BEST:: SOT 3935437 SOS 2697119 HAS SOPS 2697119 HAS SOUS 2287051 HAS SOUPS 2287051 WITH SCORE 2289748.119
AT ITER 2566 NEW BEST:: SOT 3935029 SOS 2696711 HAS SOPS 2696711 HAS SOUS 2286643 HAS SOUPS 2286643 WITH SCORE 2289339.711
AT ITER 2568 NEW BEST:: SOT 3935865 SOS 2697556 HAS SOPS 2697556 HAS SOUS 2286557 HAS SOUPS 2286557 WITH SCORE 2289254.556
AT ITER 2573 NEW BEST:: SOT 3934946 SOS 2696637 HAS SOPS 2696637 HAS SOUS 2285638 HAS SOUPS 2285638 WITH SCORE 2288334.637
AT ITER 2580 NEW BEST:: SOT 3933854 SOS 2695545 HAS SOPS 2695545 HAS SOUS 2284546 HAS SOUPS 2284546 WITH SCORE 2287241.545
AT ITER 2593 NEW BEST:: SOT 3933854 SOS 2695224 HAS SOPS 2695224 HAS SOUS 2283973 HAS SOUPS 2283973 WITH SCORE 2286668.224
AT ITER 2595 NEW BEST:: SOT 3933035 SOS 2693869 HAS SOPS 2693869 HAS SOUS 2280490 HAS SOUPS 2280490 WITH SCORE 2283183.869
AT ITER 2598 NEW BEST:: SOT 3930937 SOS 2691771 HAS SOPS 2691771 HAS SOUS 2278392 HAS SOUPS 2278392 WITH SCORE 2281083.771
AT ITER 2600 NEW BEST:: SOT 3930937 SOS 2691320 HAS SOPS 2691320 HAS SOUS 2276824 HAS SOUPS 2276824 WITH SCORE 2279515.32
AT ITER 2603 NEW BEST:: SOT 3930857 SOS 2691240 HAS SOPS 2691240 HAS SOUS 2276744 HAS SOUPS 2276744 WITH SCORE 2279435.24
AT ITER 2607 NEW BEST:: SOT 3930674 SOS 2691057 HAS SOPS 2691057 HAS SOUS 2276561 HAS SOUPS 2276561 WITH SCORE 2279252.057
AT ITER 2616 NEW BEST:: SOT 3930829 SOS 2690106 HAS SOPS 2690106 HAS SOUS 2276267 HAS SOUPS 2276267 WITH SCORE 2278957.106
AT ITER 2617 NEW BEST:: SOT 3930127 SOS 2688868 HAS SOPS 2688868 HAS SOUS 2275029 HAS SOUPS 2275029 WITH SCORE 2277717.868
AT ITER 2619 NEW BEST:: SOT 3930127 SOS 2688724 HAS SOPS 2688724 HAS SOUS 2275029 HAS SOUPS 2275029 WITH SCORE 2277717.724
AT ITER 2621 NEW BEST:: SOT 3929763 SOS 2688098 HAS SOPS 2688098 HAS SOUS 2274759 HAS SOUPS 2274759 WITH SCORE 2277447.098
AT ITER 2630 NEW BEST:: SOT 3929473 SOS 2687665 HAS SOPS 2687665 HAS SOUS 2274293 HAS SOUPS 2274293 WITH SCORE 2276980.665
AT ITER 2631 NEW BEST:: SOT 3927310 SOS 2685298 HAS SOPS 2685298 HAS SOUS 2271926 HAS SOUPS 2271926 WITH SCORE 2274611.298
AT ITER 2632 NEW BEST:: SOT 3926990 SOS 2684658 HAS SOPS 2684658 HAS SOUS 2271926 HAS SOUPS 2271926 WITH SCORE 2274610.658
AT ITER 2638 NEW BEST:: SOT 3926990 SOS 2684532 HAS SOPS 2684532 HAS SOUS 2271926 HAS SOUPS 2271926 WITH SCORE 2274610.532
AT ITER 2639 NEW BEST:: SOT 3926547 SOS 2682963 HAS SOPS 2682963 HAS SOUS 2271561 HAS SOUPS 2271561 WITH SCORE 2274243.963
AT ITER 2643 NEW BEST:: SOT 3926154 SOS 2681252 HAS SOPS 2681252 HAS SOUS 2271306 HAS SOUPS 2271306 WITH SCORE 2273987.252
AT ITER 2645 NEW BEST:: SOT 3925963 SOS 2680146 HAS SOPS 2680146 HAS SOUS 2270540 HAS SOUPS 2270540 WITH SCORE 2273220.146
AT ITER 2649 NEW BEST:: SOT 3925878 SOS 2679288 HAS SOPS 2679288 HAS SOUS 2268240 HAS SOUPS 2268240 WITH SCORE 2270919.288
AT ITER 2651 NEW BEST:: SOT 3925190 SOS 2678599 HAS SOPS 2678599 HAS SOUS 2267551 HAS SOUPS 2267551 WITH SCORE 2270229.599
AT ITER 2659 NEW BEST:: SOT 3924714 SOS 2678054 HAS SOPS 2678054 HAS SOUS 2267006 HAS SOUPS 2267006 WITH SCORE 2269684.054
AT ITER 2663 NEW BEST:: SOT 3924432 SOS 2675843 HAS SOPS 2675843 HAS SOUS 2266947 HAS SOUPS 2266947 WITH SCORE 2269622.843
AT ITER 2666 NEW BEST:: SOT 3924343 SOS 2675149 HAS SOPS 2675149 HAS SOUS 2266916 HAS SOUPS 2266916 WITH SCORE 2269591.149
AT ITER 2667 NEW BEST:: SOT 3924012 SOS 2674818 HAS SOPS 2674818 HAS SOUS 2266585 HAS SOUPS 2266585 WITH SCORE 2269259.818
AT ITER 2673 NEW BEST:: SOT 3923700 SOS 2673957 HAS SOPS 2673957 HAS SOUS 2265088 HAS SOUPS 2265088 WITH SCORE 2267761.957
AT ITER 2680 NEW BEST:: SOT 3923463 SOS 2673821 HAS SOPS 2673821 HAS SOUS 2262874 HAS SOUPS 2262874 WITH SCORE 2265547.821
AT ITER 2683 NEW BEST:: SOT 3923395 SOS 2673753 HAS SOPS 2673753 HAS SOUS 2262806 HAS SOUPS 2262806 WITH SCORE 2265479.753
AT ITER 2687 NEW BEST:: SOT 3923395 SOS 2673004 HAS SOPS 2673004 HAS SOUS 2261903 HAS SOUPS 2261903 WITH SCORE 2264576.004
AT ITER 2688 NEW BEST:: SOT 3922841 SOS 2672450 HAS SOPS 2672450 HAS SOUS 2261349 HAS SOUPS 2261349 WITH SCORE 2264021.45
AT ITER 2691 NEW BEST:: SOT 3922121 SOS 2671730 HAS SOPS 2671730 HAS SOUS 2260988 HAS SOUPS 2260988 WITH SCORE 2263659.73
AT ITER 2697 NEW BEST:: SOT 3922392 SOS 2670622 HAS SOPS 2670622 HAS SOUS 2260361 HAS SOUPS 2260361 WITH SCORE 2263031.622
AT ITER 2700 NEW BEST:: SOT 3922341 SOS 2670539 HAS SOPS 2670539 HAS SOUS 2260278 HAS SOUPS 2260278 WITH SCORE 2262948.539
AT ITER 2701 NEW BEST:: SOT 3921164 SOS 2668175 HAS SOPS 2668175 HAS SOUS 2258321 HAS SOUPS 2258321 WITH SCORE 2260989.175
AT ITER 2702 NEW BEST:: SOT 3921049 SOS 2668060 HAS SOPS 2668060 HAS SOUS 2258219 HAS SOUPS 2258219 WITH SCORE 2260887.06
AT ITER 2706 NEW BEST:: SOT 3920829 SOS 2667741 HAS SOPS 2667741 HAS SOUS 2257997 HAS SOUPS 2257997 WITH SCORE 2260664.741
AT ITER 2721 NEW BEST:: SOT 3919828 SOS 2666469 HAS SOPS 2666469 HAS SOUS 2257292 HAS SOUPS 2257292 WITH SCORE 2259958.469
AT ITER 2730 NEW BEST:: SOT 3920175 SOS 2667010 HAS SOPS 2667010 HAS SOUS 2257065 HAS SOUPS 2257065 WITH SCORE 2259732.01
AT ITER 2738 NEW BEST:: SOT 3917138 SOS 2662789 HAS SOPS 2662789 HAS SOUS 2252396 HAS SOUPS 2252396 WITH SCORE 2255058.789
AT ITER 2743 NEW BEST:: SOT 3917115 SOS 2662766 HAS SOPS 2662766 HAS SOUS 2252396 HAS SOUPS 2252396 WITH SCORE 2255058.766
AT ITER 2751 NEW BEST:: SOT 3916608 SOS 2662255 HAS SOPS 2662255 HAS SOUS 2251885 HAS SOUPS 2251885 WITH SCORE 2254547.255
AT ITER 2752 NEW BEST:: SOT 3916588 SOS 2661716 HAS SOPS 2661716 HAS SOUS 2251346 HAS SOUPS 2251346 WITH SCORE 2254007.716
AT ITER 2755 NEW BEST:: SOT 3915896 SOS 2661807 HAS SOPS 2661807 HAS SOUS 2251192 HAS SOUPS 2251192 WITH SCORE 2253853.807
AT ITER 2756 NEW BEST:: SOT 3915437 SOS 2661348 HAS SOPS 2661348 HAS SOUS 2251191 HAS SOUPS 2251191 WITH SCORE 2253852.348
AT ITER 2758 NEW BEST:: SOT 3914999 SOS 2658242 HAS SOPS 2658242 HAS SOUS 2250523 HAS SOUPS 2250523 WITH SCORE 2253181.242
AT ITER 2760 NEW BEST:: SOT 3914530 SOS 2656858 HAS SOPS 2656858 HAS SOUS 2249656 HAS SOUPS 2249656 WITH SCORE 2252312.858
AT ITER 2761 NEW BEST:: SOT 3914399 SOS 2656565 HAS SOPS 2656565 HAS SOUS 2249363 HAS SOUPS 2249363 WITH SCORE 2252019.565
AT ITER 2764 NEW BEST:: SOT 3914379 SOS 2656545 HAS SOPS 2656545 HAS SOUS 2249343 HAS SOUPS 2249343 WITH SCORE 2251999.545
AT ITER 2772 NEW BEST:: SOT 3914575 SOS 2655583 HAS SOPS 2655583 HAS SOUS 2248965 HAS SOUPS 2248965 WITH SCORE 2251620.583
AT ITER 2778 NEW BEST:: SOT 3914021 SOS 2655029 HAS SOPS 2655029 HAS SOUS 2248411 HAS SOUPS 2248411 WITH SCORE 2251066.029
AT ITER 2783 NEW BEST:: SOT 3913862 SOS 2654353 HAS SOPS 2654353 HAS SOUS 2248365 HAS SOUPS 2248365 WITH SCORE 2251019.353
AT ITER 2790 NEW BEST:: SOT 3913402 SOS 2653893 HAS SOPS 2653893 HAS SOUS 2247905 HAS SOUPS 2247905 WITH SCORE 2250558.893
AT ITER 2794 NEW BEST:: SOT 3913333 SOS 2653425 HAS SOPS 2653425 HAS SOUS 2247437 HAS SOUPS 2247437 WITH SCORE 2250090.425
AT ITER 2796 NEW BEST:: SOT 3913333 SOS 2653131 HAS SOPS 2653131 HAS SOUS 2247143 HAS SOUPS 2247143 WITH SCORE 2249796.131
AT ITER 2802 NEW BEST:: SOT 3912819 SOS 2652803 HAS SOPS 2652803 HAS SOUS 2247001 HAS SOUPS 2247001 WITH SCORE 2249653.803
AT ITER 2804 NEW BEST:: SOT 3912213 SOS 2652085 HAS SOPS 2652085 HAS SOUS 2246790 HAS SOUPS 2246790 WITH SCORE 2249442.085
AT ITER 2807 NEW BEST:: SOT 3911886 SOS 2651437 HAS SOPS 2651437 HAS SOUS 2246142 HAS SOUPS 2246142 WITH SCORE 2248793.437
AT ITER 2808 NEW BEST:: SOT 3911404 SOS 2650714 HAS SOPS 2650714 HAS SOUS 2245178 HAS SOUPS 2245178 WITH SCORE 2247828.714
AT ITER 2809 NEW BEST:: SOT 3907871 SOS 2647271 HAS SOPS 2647271 HAS SOUS 2241735 HAS SOUPS 2241735 WITH SCORE 2244382.271
AT ITER 2811 NEW BEST:: SOT 3907699 SOS 2647099 HAS SOPS 2647099 HAS SOUS 2240792 HAS SOUPS 2240792 WITH SCORE 2243439.099
AT ITER 2812 NEW BEST:: SOT 3907489 SOS 2647105 HAS SOPS 2647105 HAS SOUS 2239978 HAS SOUPS 2239978 WITH SCORE 2242625.105
AT ITER 2813 NEW BEST:: SOT 3907596 SOS 2646841 HAS SOPS 2646841 HAS SOUS 2239097 HAS SOUPS 2239097 WITH SCORE 2241743.841
AT ITER 2815 NEW BEST:: SOT 3907712 SOS 2647305 HAS SOPS 2647305 HAS SOUS 2238981 HAS SOUPS 2238981 WITH SCORE 2241628.305
AT ITER 2816 NEW BEST:: SOT 3909352 SOS 2647678 HAS SOPS 2647678 HAS SOUS 2237542 HAS SOUPS 2237542 WITH SCORE 2240189.678
AT ITER 2818 NEW BEST:: SOT 3909334 SOS 2647660 HAS SOPS 2647660 HAS SOUS 2237524 HAS SOUPS 2237524 WITH SCORE 2240171.66
AT ITER 2823 NEW BEST:: SOT 3908751 SOS 2645381 HAS SOPS 2645381 HAS SOUS 2236727 HAS SOUPS 2236727 WITH SCORE 2239372.381
AT ITER 2826 NEW BEST:: SOT 3907684 SOS 2643777 HAS SOPS 2643777 HAS SOUS 2235123 HAS SOUPS 2235123 WITH SCORE 2237766.777
AT ITER 2827 NEW BEST:: SOT 3907879 SOS 2643789 HAS SOPS 2643789 HAS SOUS 2234817 HAS SOUPS 2234817 WITH SCORE 2237460.789
AT ITER 2831 NEW BEST:: SOT 3907401 SOS 2639120 HAS SOPS 2639120 HAS SOUS 2228741 HAS SOUPS 2228741 WITH SCORE 2231380.12
AT ITER 2837 NEW BEST:: SOT 3907790 SOS 2639441 HAS SOPS 2639441 HAS SOUS 2228727 HAS SOUPS 2228727 WITH SCORE 2231366.441
AT ITER 2842 NEW BEST:: SOT 3907596 SOS 2639150 HAS SOPS 2639150 HAS SOUS 2228436 HAS SOUPS 2228436 WITH SCORE 2231075.15
AT ITER 2844 NEW BEST:: SOT 3907142 SOS 2635864 HAS SOPS 2635864 HAS SOUS 2226095 HAS SOUPS 2226095 WITH SCORE 2228730.864
AT ITER 2845 NEW BEST:: SOT 3907041 SOS 2634811 HAS SOPS 2634811 HAS SOUS 2225042 HAS SOUPS 2225042 WITH SCORE 2227676.811
AT ITER 2846 NEW BEST:: SOT 3906339 SOS 2633988 HAS SOPS 2633988 HAS SOUS 2224219 HAS SOUPS 2224219 WITH SCORE 2226852.988
AT ITER 2849 NEW BEST:: SOT 3906287 SOS 2633910 HAS SOPS 2633910 HAS SOUS 2224141 HAS SOUPS 2224141 WITH SCORE 2226774.91
AT ITER 2859 NEW BEST:: SOT 3905918 SOS 2632033 HAS SOPS 2632033 HAS SOUS 2223810 HAS SOUPS 2223810 WITH SCORE 2226442.033
AT ITER 2863 NEW BEST:: SOT 3905313 SOS 2630904 HAS SOPS 2630904 HAS SOUS 2222942 HAS SOUPS 2222942 WITH SCORE 2225572.904
AT ITER 2865 NEW BEST:: SOT 3905313 SOS 2628947 HAS SOPS 2628947 HAS SOUS 2221323 HAS SOUPS 2221323 WITH SCORE 2223951.947
AT ITER 2866 NEW BEST:: SOT 3905311 SOS 2628883 HAS SOPS 2628883 HAS SOUS 2221259 HAS SOUPS 2221259 WITH SCORE 2223887.883
AT ITER 2869 NEW BEST:: SOT 3904764 SOS 2628336 HAS SOPS 2628336 HAS SOUS 2220712 HAS SOUPS 2220712 WITH SCORE 2223340.336
AT ITER 2871 NEW BEST:: SOT 3904263 SOS 2626915 HAS SOPS 2626915 HAS SOUS 2218349 HAS SOUPS 2218349 WITH SCORE 2220975.915
AT ITER 2874 NEW BEST:: SOT 3903865 SOS 2625075 HAS SOPS 2625075 HAS SOUS 2218067 HAS SOUPS 2218067 WITH SCORE 2220692.075
AT ITER 2877 NEW BEST:: SOT 3903641 SOS 2624851 HAS SOPS 2624851 HAS SOUS 2217842 HAS SOUPS 2217842 WITH SCORE 2220466.851
AT ITER 2878 NEW BEST:: SOT 3903099 SOS 2624306 HAS SOPS 2624306 HAS SOUS 2216890 HAS SOUPS 2216890 WITH SCORE 2219514.306
AT ITER 2880 NEW BEST:: SOT 3903097 SOS 2624303 HAS SOPS 2624303 HAS SOUS 2216886 HAS SOUPS 2216886 WITH SCORE 2219510.303
AT ITER 2891 NEW BEST:: SOT 3902972 SOS 2624053 HAS SOPS 2624053 HAS SOUS 2216886 HAS SOUPS 2216886 WITH SCORE 2219510.053
AT ITER 2893 NEW BEST:: SOT 3902972 SOS 2623909 HAS SOPS 2623909 HAS SOUS 2216670 HAS SOUPS 2216670 WITH SCORE 2219293.909
AT ITER 2896 NEW BEST:: SOT 3902075 SOS 2621313 HAS SOPS 2621313 HAS SOUS 2213092 HAS SOUPS 2213092 WITH SCORE 2215713.313
AT ITER 2904 NEW BEST:: SOT 3901390 SOS 2620628 HAS SOPS 2620628 HAS SOUS 2212407 HAS SOUPS 2212407 WITH SCORE 2215027.628
AT ITER 2912 NEW BEST:: SOT 3901289 SOS 2620527 HAS SOPS 2620527 HAS SOUS 2212306 HAS SOUPS 2212306 WITH SCORE 2214926.527
AT ITER 2922 NEW BEST:: SOT 3901289 SOS 2620475 HAS SOPS 2620475 HAS SOUS 2212254 HAS SOUPS 2212254 WITH SCORE 2214874.475
AT ITER 2939 NEW BEST:: SOT 3901089 SOS 2620175 HAS SOPS 2620175 HAS SOUS 2211954 HAS SOUPS 2211954 WITH SCORE 2214574.175
AT ITER 2942 NEW BEST:: SOT 3901026 SOS 2619639 HAS SOPS 2619639 HAS SOUS 2211849 HAS SOUPS 2211849 WITH SCORE 2214468.639
AT ITER 2943 NEW BEST:: SOT 3901114 SOS 2617646 HAS SOPS 2617646 HAS SOUS 2210979 HAS SOUPS 2210979 WITH SCORE 2213596.646
AT ITER 2945 NEW BEST:: SOT 3901114 SOS 2616452 HAS SOPS 2616452 HAS SOUS 2209915 HAS SOUPS 2209915 WITH SCORE 2212531.452
AT ITER 2947 NEW BEST:: SOT 3900778 SOS 2616208 HAS SOPS 2616208 HAS SOUS 2209671 HAS SOUPS 2209671 WITH SCORE 2212287.208
AT ITER 2949 NEW BEST:: SOT 3900778 SOS 2615903 HAS SOPS 2615903 HAS SOUS 2209624 HAS SOUPS 2209624 WITH SCORE 2212239.903
AT ITER 2950 NEW BEST:: SOT 3900527 SOS 2615652 HAS SOPS 2615652 HAS SOUS 2209373 HAS SOUPS 2209373 WITH SCORE 2211988.652
AT ITER 2951 NEW BEST:: SOT 3901300 SOS 2613622 HAS SOPS 2613622 HAS SOUS 2208427 HAS SOUPS 2208427 WITH SCORE 2211040.622
AT ITER 2952 NEW BEST:: SOT 3899941 SOS 2610719 HAS SOPS 2610719 HAS SOUS 2206296 HAS SOUPS 2206296 WITH SCORE 2208906.719
AT ITER 2957 NEW BEST:: SOT 3899941 SOS 2610730 HAS SOPS 2610730 HAS SOUS 2206240 HAS SOUPS 2206240 WITH SCORE 2208850.73
AT ITER 2965 NEW BEST:: SOT 3900040 SOS 2610517 HAS SOPS 2610517 HAS SOUS 2206163 HAS SOUPS 2206163 WITH SCORE 2208773.517
AT ITER 2968 NEW BEST:: SOT 3900040 SOS 2610422 HAS SOPS 2610422 HAS SOUS 2206068 HAS SOUPS 2206068 WITH SCORE 2208678.422
AT ITER 2974 NEW BEST:: SOT 3900009 SOS 2610391 HAS SOPS 2610391 HAS SOUS 2206037 HAS SOUPS 2206037 WITH SCORE 2208647.391
AT ITER 2980 NEW BEST:: SOT 3899962 SOS 2610109 HAS SOPS 2610109 HAS SOUS 2206037 HAS SOUPS 2206037 WITH SCORE 2208647.109
AT ITER 2989 NEW BEST:: SOT 3899962 SOS 2609949 HAS SOPS 2609949 HAS SOUS 2205877 HAS SOUPS 2205877 WITH SCORE 2208486.949
AT ITER 2992 NEW BEST:: SOT 3899583 SOS 2609191 HAS SOPS 2609191 HAS SOUS 2205877 HAS SOUPS 2205877 WITH SCORE 2208486.191
AT ITER 3005 NEW BEST:: SOT 3899406 SOS 2608838 HAS SOPS 2608838 HAS SOUS 2205524 HAS SOUPS 2205524 WITH SCORE 2208132.838
AT ITER 3010 NEW BEST:: SOT 3898811 SOS 2608243 HAS SOPS 2608243 HAS SOUS 2204929 HAS SOUPS 2204929 WITH SCORE 2207537.243
AT ITER 3018 NEW BEST:: SOT 3898221 SOS 2607653 HAS SOPS 2607653 HAS SOUS 2204339 HAS SOUPS 2204339 WITH SCORE 2206946.653
AT ITER 3019 NEW BEST:: SOT 3898372 SOS 2608363 HAS SOPS 2608363 HAS SOUS 2204188 HAS SOUPS 2204188 WITH SCORE 2206796.363
AT ITER 3021 NEW BEST:: SOT 3897888 SOS 2607879 HAS SOPS 2607879 HAS SOUS 2203704 HAS SOUPS 2203704 WITH SCORE 2206311.879
AT ITER 3022 NEW BEST:: SOT 3897428 SOS 2605933 HAS SOPS 2605933 HAS SOUS 2203334 HAS SOUPS 2203334 WITH SCORE 2205939.933
AT ITER 3029 NEW BEST:: SOT 3897826 SOS 2606405 HAS SOPS 2606405 HAS SOUS 2203018 HAS SOUPS 2203018 WITH SCORE 2205624.405
AT ITER 3037 NEW BEST:: SOT 3897674 SOS 2605868 HAS SOPS 2605868 HAS SOUS 2202481 HAS SOUPS 2202481 WITH SCORE 2205086.868
AT ITER 3039 NEW BEST:: SOT 3897672 SOS 2604040 HAS SOPS 2604040 HAS SOUS 2202204 HAS SOUPS 2202204 WITH SCORE 2204808.04
AT ITER 3041 NEW BEST:: SOT 3897306 SOS 2603274 HAS SOPS 2603274 HAS SOUS 2202118 HAS SOUPS 2202118 WITH SCORE 2204721.274
AT ITER 3050 NEW BEST:: SOT 3897098 SOS 2603066 HAS SOPS 2603066 HAS SOUS 2201909 HAS SOUPS 2201909 WITH SCORE 2204512.066
AT ITER 3052 NEW BEST:: SOT 3897098 SOS 2601934 HAS SOPS 2601934 HAS SOUS 2201292 HAS SOUPS 2201292 WITH SCORE 2203893.934
AT ITER 3054 NEW BEST:: SOT 3897098 SOS 2601762 HAS SOPS 2601762 HAS SOUS 2201120 HAS SOUPS 2201120 WITH SCORE 2203721.762
AT ITER 3061 NEW BEST:: SOT 3895966 SOS 2598930 HAS SOPS 2598930 HAS SOUS 2197152 HAS SOUPS 2197152 WITH SCORE 2199750.93
AT ITER 3062 NEW BEST:: SOT 3895449 SOS 2596178 HAS SOPS 2596178 HAS SOUS 2196489 HAS SOUPS 2196489 WITH SCORE 2199085.178
AT ITER 3071 NEW BEST:: SOT 3895449 SOS 2596178 HAS SOPS 2596178 HAS SOUS 2196353 HAS SOUPS 2196353 WITH SCORE 2198949.178
AT ITER 3074 NEW BEST:: SOT 3895449 SOS 2595548 HAS SOPS 2595548 HAS SOUS 2196143 HAS SOUPS 2196143 WITH SCORE 2198738.548
AT ITER 3076 NEW BEST:: SOT 3894561 SOS 2594658 HAS SOPS 2594658 HAS SOUS 2195253 HAS SOUPS 2195253 WITH SCORE 2197847.658
AT ITER 3078 NEW BEST:: SOT 3894308 SOS 2594403 HAS SOPS 2594403 HAS SOUS 2194998 HAS SOUPS 2194998 WITH SCORE 2197592.403
AT ITER 3079 NEW BEST:: SOT 3894221 SOS 2594316 HAS SOPS 2594316 HAS SOUS 2194911 HAS SOUPS 2194911 WITH SCORE 2197505.316
AT ITER 3080 NEW BEST:: SOT 3894059 SOS 2594135 HAS SOPS 2594135 HAS SOUS 2194652 HAS SOUPS 2194652 WITH SCORE 2197246.135
AT ITER 3083 NEW BEST:: SOT 3894020 SOS 2594096 HAS SOPS 2594096 HAS SOUS 2194613 HAS SOUPS 2194613 WITH SCORE 2197207.096
AT ITER 3086 NEW BEST:: SOT 3893204 SOS 2592865 HAS SOPS 2592865 HAS SOUS 2193382 HAS SOUPS 2193382 WITH SCORE 2195974.865
AT ITER 3087 NEW BEST:: SOT 3892069 SOS 2591361 HAS SOPS 2591361 HAS SOUS 2191884 HAS SOUPS 2191884 WITH SCORE 2194475.361
AT ITER 3095 NEW BEST:: SOT 3891939 SOS 2591230 HAS SOPS 2591230 HAS SOUS 2191753 HAS SOUPS 2191753 WITH SCORE 2194344.23
AT ITER 3099 NEW BEST:: SOT 3891858 SOS 2591149 HAS SOPS 2591149 HAS SOUS 2191672 HAS SOUPS 2191672 WITH SCORE 2194263.149
AT ITER 3108 NEW BEST:: SOT 3891740 SOS 2588181 HAS SOPS 2588181 HAS SOUS 2189933 HAS SOUPS 2189933 WITH SCORE 2192521.181
AT ITER 3111 NEW BEST:: SOT 3890592 SOS 2586674 HAS SOPS 2586674 HAS SOUS 2188324 HAS SOUPS 2188324 WITH SCORE 2190910.674
AT ITER 3115 NEW BEST:: SOT 3890403 SOS 2586485 HAS SOPS 2586485 HAS SOUS 2188135 HAS SOUPS 2188135 WITH SCORE 2190721.485
AT ITER 3119 NEW BEST:: SOT 3890392 SOS 2586474 HAS SOPS 2586474 HAS SOUS 2188124 HAS SOUPS 2188124 WITH SCORE 2190710.474
AT ITER 3122 NEW BEST:: SOT 3889600 SOS 2585716 HAS SOPS 2585716 HAS SOUS 2187366 HAS SOUPS 2187366 WITH SCORE 2189951.716
AT ITER 3123 NEW BEST:: SOT 3889537 SOS 2585662 HAS SOPS 2585662 HAS SOUS 2187154 HAS SOUPS 2187154 WITH SCORE 2189739.662
AT ITER 3125 NEW BEST:: SOT 3889306 SOS 2585431 HAS SOPS 2585431 HAS SOUS 2186663 HAS SOUPS 2186663 WITH SCORE 2189248.431
AT ITER 3131 NEW BEST:: SOT 3889247 SOS 2585137 HAS SOPS 2585137 HAS SOUS 2186603 HAS SOUPS 2186603 WITH SCORE 2189188.137
AT ITER 3150 NEW BEST:: SOT 3889450 SOS 2584433 HAS SOPS 2584433 HAS SOUS 2185756 HAS SOUPS 2185756 WITH SCORE 2188340.433
AT ITER 3151 NEW BEST:: SOT 3888976 SOS 2583024 HAS SOPS 2583024 HAS SOUS 2183522 HAS SOUPS 2183522 WITH SCORE 2186105.024
AT ITER 3152 NEW BEST:: SOT 3888649 SOS 2582516 HAS SOPS 2582516 HAS SOUS 2183023 HAS SOUPS 2183023 WITH SCORE 2185605.516
AT ITER 3154 NEW BEST:: SOT 3888537 SOS 2582402 HAS SOPS 2582402 HAS SOUS 2182909 HAS SOUPS 2182909 WITH SCORE 2185491.402
AT ITER 3157 NEW BEST:: SOT 3887262 SOS 2581127 HAS SOPS 2581127 HAS SOUS 2181634 HAS SOUPS 2181634 WITH SCORE 2184215.127
AT ITER 3159 NEW BEST:: SOT 3887260 SOS 2581125 HAS SOPS 2581125 HAS SOUS 2181632 HAS SOUPS 2181632 WITH SCORE 2184213.125
AT ITER 3170 NEW BEST:: SOT 3889213 SOS 2581160 HAS SOPS 2581160 HAS SOUS 2181550 HAS SOUPS 2181550 WITH SCORE 2184131.16
AT ITER 3176 NEW BEST:: SOT 3887381 SOS 2578992 HAS SOPS 2578992 HAS SOUS 2178958 HAS SOUPS 2178958 WITH SCORE 2181536.992
AT ITER 3178 NEW BEST:: SOT 3887289 SOS 2578659 HAS SOPS 2578659 HAS SOUS 2178301 HAS SOUPS 2178301 WITH SCORE 2180879.659
AT ITER 3182 NEW BEST:: SOT 3886763 SOS 2574766 HAS SOPS 2574766 HAS SOUS 2175205 HAS SOUPS 2175205 WITH SCORE 2177779.766
AT ITER 3187 NEW BEST:: SOT 3886417 SOS 2574418 HAS SOPS 2574418 HAS SOUS 2174857 HAS SOUPS 2174857 WITH SCORE 2177431.418
AT ITER 3189 NEW BEST:: SOT 3885543 SOS 2571014 HAS SOPS 2571014 HAS SOUS 2172611 HAS SOUPS 2172611 WITH SCORE 2175182.014
AT ITER 3190 NEW BEST:: SOT 3883671 SOS 2569013 HAS SOPS 2569013 HAS SOUS 2171157 HAS SOUPS 2171157 WITH SCORE 2173726.013
AT ITER 3191 NEW BEST:: SOT 3883200 SOS 2568331 HAS SOPS 2568331 HAS SOUS 2170475 HAS SOUPS 2170475 WITH SCORE 2173043.331
AT ITER 3200 NEW BEST:: SOT 3882559 SOS 2567839 HAS SOPS 2567839 HAS SOUS 2169977 HAS SOUPS 2169977 WITH SCORE 2172544.839
AT ITER 3201 NEW BEST:: SOT 3882559 SOS 2567841 HAS SOPS 2567841 HAS SOUS 2169975 HAS SOUPS 2169975 WITH SCORE 2172542.841
AT ITER 3213 NEW BEST:: SOT 3882541 SOS 2567823 HAS SOPS 2567823 HAS SOUS 2169951 HAS SOUPS 2169951 WITH SCORE 2172518.823
AT ITER 3240 NEW BEST:: SOT 3881853 SOS 2567357 HAS SOPS 2567357 HAS SOUS 2169331 HAS SOUPS 2169331 WITH SCORE 2171898.357
AT ITER 3257 NEW BEST:: SOT 3880945 SOS 2566474 HAS SOPS 2566474 HAS SOUS 2168062 HAS SOUPS 2168062 WITH SCORE 2170628.474
AT ITER 3258 NEW BEST:: SOT 3880944 SOS 2566673 HAS SOPS 2566673 HAS SOUS 2165538 HAS SOUPS 2165538 WITH SCORE 2168104.673
AT ITER 3259 NEW BEST:: SOT 3879604 SOS 2564866 HAS SOPS 2564866 HAS SOUS 2163732 HAS SOUPS 2163732 WITH SCORE 2166296.866
AT ITER 3263 NEW BEST:: SOT 3879604 SOS 2564724 HAS SOPS 2564724 HAS SOUS 2163728 HAS SOUPS 2163728 WITH SCORE 2166292.724
AT ITER 3270 NEW BEST:: SOT 3877565 SOS 2557843 HAS SOPS 2557843 HAS SOUS 2160657 HAS SOUPS 2160657 WITH SCORE 2163214.843
AT ITER 3282 NEW BEST:: SOT 3877565 SOS 2556597 HAS SOPS 2556597 HAS SOUS 2160658 HAS SOUPS 2160658 WITH SCORE 2163214.597
AT ITER 3295 NEW BEST:: SOT 3877427 SOS 2555910 HAS SOPS 2555910 HAS SOUS 2160229 HAS SOUPS 2160229 WITH SCORE 2162784.91
AT ITER 3298 NEW BEST:: SOT 3877427 SOS 2555684 HAS SOPS 2555684 HAS SOUS 2160188 HAS SOUPS 2160188 WITH SCORE 2162743.684
AT ITER 3305 NEW BEST:: SOT 3877372 SOS 2554991 HAS SOPS 2554991 HAS SOUS 2159587 HAS SOUPS 2159587 WITH SCORE 2162141.991
AT ITER 3312 NEW BEST:: SOT 3877547 SOS 2554860 HAS SOPS 2554860 HAS SOUS 2158183 HAS SOUPS 2158183 WITH SCORE 2160737.86
AT ITER 3318 NEW BEST:: SOT 3877289 SOS 2554602 HAS SOPS 2554602 HAS SOUS 2157925 HAS SOUPS 2157925 WITH SCORE 2160479.602
AT ITER 3320 NEW BEST:: SOT 3876406 SOS 2553719 HAS SOPS 2553719 HAS SOUS 2157042 HAS SOUPS 2157042 WITH SCORE 2159595.719
AT ITER 3334 NEW BEST:: SOT 3874950 SOS 2552441 HAS SOPS 2552441 HAS SOUS 2155764 HAS SOUPS 2155764 WITH SCORE 2158316.441
AT ITER 3336 NEW BEST:: SOT 3874393 SOS 2551852 HAS SOPS 2551852 HAS SOUS 2155175 HAS SOUPS 2155175 WITH SCORE 2157726.852
AT ITER 3347 NEW BEST:: SOT 3873642 SOS 2550816 HAS SOPS 2550816 HAS SOUS 2153978 HAS SOUPS 2153978 WITH SCORE 2156528.816
AT ITER 3348 NEW BEST:: SOT 3873368 SOS 2550542 HAS SOPS 2550542 HAS SOUS 2153841 HAS SOUPS 2153841 WITH SCORE 2156391.542
AT ITER 3352 NEW BEST:: SOT 3873404 SOS 2550293 HAS SOPS 2550293 HAS SOUS 2153592 HAS SOUPS 2153592 WITH SCORE 2156142.293
AT ITER 3357 NEW BEST:: SOT 3873136 SOS 2549586 HAS SOPS 2549586 HAS SOUS 2152349 HAS SOUPS 2152349 WITH SCORE 2154898.586
AT ITER 3359 NEW BEST:: SOT 3873136 SOS 2549659 HAS SOPS 2549659 HAS SOUS 2152101 HAS SOUPS 2152101 WITH SCORE 2154650.659
AT ITER 3362 NEW BEST:: SOT 3873171 SOS 2549694 HAS SOPS 2549694 HAS SOUS 2152063 HAS SOUPS 2152063 WITH SCORE 2154612.694
AT ITER 3365 NEW BEST:: SOT 3873117 SOS 2549243 HAS SOPS 2549243 HAS SOUS 2151612 HAS SOUPS 2151612 WITH SCORE 2154161.243
AT ITER 3366 NEW BEST:: SOT 3872576 SOS 2548701 HAS SOPS 2548701 HAS SOUS 2151070 HAS SOUPS 2151070 WITH SCORE 2153618.701
AT ITER 3367 NEW BEST:: SOT 3871295 SOS 2546901 HAS SOPS 2546901 HAS SOUS 2149270 HAS SOUPS 2149270 WITH SCORE 2151816.901
AT ITER 3372 NEW BEST:: SOT 3870823 SOS 2546001 HAS SOPS 2546001 HAS SOUS 2147892 HAS SOUPS 2147892 WITH SCORE 2150438.001
AT ITER 3379 NEW BEST:: SOT 3870526 SOS 2545704 HAS SOPS 2545704 HAS SOUS 2147595 HAS SOUPS 2147595 WITH SCORE 2150140.704
AT ITER 3381 NEW BEST:: SOT 3870526 SOS 2545559 HAS SOPS 2545559 HAS SOUS 2147285 HAS SOUPS 2147285 WITH SCORE 2149830.559
AT ITER 3390 NEW BEST:: SOT 3870553 SOS 2545342 HAS SOPS 2545342 HAS SOUS 2146946 HAS SOUPS 2146946 WITH SCORE 2149491.342
AT ITER 3398 NEW BEST:: SOT 3869660 SOS 2544834 HAS SOPS 2544834 HAS SOUS 2146438 HAS SOUPS 2146438 WITH SCORE 2148982.834
AT ITER 3399 NEW BEST:: SOT 3869478 SOS 2544581 HAS SOPS 2544581 HAS SOUS 2145684 HAS SOUPS 2145684 WITH SCORE 2148228.581
AT ITER 3403 NEW BEST:: SOT 3869325 SOS 2544428 HAS SOPS 2544428 HAS SOUS 2145531 HAS SOUPS 2145531 WITH SCORE 2148075.428
AT ITER 3408 NEW BEST:: SOT 3869324 SOS 2544332 HAS SOPS 2544332 HAS SOUS 2145435 HAS SOUPS 2145435 WITH SCORE 2147979.332
AT ITER 3417 NEW BEST:: SOT 3868982 SOS 2543990 HAS SOPS 2543990 HAS SOUS 2145093 HAS SOUPS 2145093 WITH SCORE 2147636.99
AT ITER 3423 NEW BEST:: SOT 3867977 SOS 2541175 HAS SOPS 2541175 HAS SOUS 2143749 HAS SOUPS 2143749 WITH SCORE 2146290.175
AT ITER 3433 NEW BEST:: SOT 3865526 SOS 2535879 HAS SOPS 2535879 HAS SOUS 2139671 HAS SOUPS 2139671 WITH SCORE 2142206.879
AT ITER 3434 NEW BEST:: SOT 3865295 SOS 2535417 HAS SOPS 2535417 HAS SOUS 2139209 HAS SOUPS 2139209 WITH SCORE 2141744.417
AT ITER 3436 NEW BEST:: SOT 3865187 SOS 2535309 HAS SOPS 2535309 HAS SOUS 2139101 HAS SOUPS 2139101 WITH SCORE 2141636.309
AT ITER 3437 NEW BEST:: SOT 3864245 SOS 2533932 HAS SOPS 2533932 HAS SOUS 2137716 HAS SOUPS 2137716 WITH SCORE 2140249.932
AT ITER 3453 NEW BEST:: SOT 3863861 SOS 2533932 HAS SOPS 2533932 HAS SOUS 2137524 HAS SOUPS 2137524 WITH SCORE 2140057.932
AT ITER 3454 NEW BEST:: SOT 3863743 SOS 2533424 HAS SOPS 2533424 HAS SOUS 2137345 HAS SOUPS 2137345 WITH SCORE 2139878.424
AT ITER 3461 NEW BEST:: SOT 3863869 SOS 2534070 HAS SOPS 2534070 HAS SOUS 2136927 HAS SOUPS 2136927 WITH SCORE 2139461.07
AT ITER 3463 NEW BEST:: SOT 3863543 SOS 2533744 HAS SOPS 2533744 HAS SOUS 2136601 HAS SOUPS 2136601 WITH SCORE 2139134.744
AT ITER 3466 NEW BEST:: SOT 3861674 SOS 2531448 HAS SOPS 2531448 HAS SOUS 2134305 HAS SOUPS 2134305 WITH SCORE 2136836.448
AT ITER 3468 NEW BEST:: SOT 3861777 SOS 2531334 HAS SOPS 2531334 HAS SOUS 2134116 HAS SOUPS 2134116 WITH SCORE 2136647.334
AT ITER 3470 NEW BEST:: SOT 3861137 SOS 2530591 HAS SOPS 2530591 HAS SOUS 2133373 HAS SOUPS 2133373 WITH SCORE 2135903.591
AT ITER 3477 NEW BEST:: SOT 3861132 SOS 2530586 HAS SOPS 2530586 HAS SOUS 2133368 HAS SOUPS 2133368 WITH SCORE 2135898.586
AT ITER 3479 NEW BEST:: SOT 3860933 SOS 2529994 HAS SOPS 2529994 HAS SOUS 2132776 HAS SOUPS 2132776 WITH SCORE 2135305.994
AT ITER 3498 NEW BEST:: SOT 3860470 SOS 2529531 HAS SOPS 2529531 HAS SOUS 2132313 HAS SOUPS 2132313 WITH SCORE 2134842.531
AT ITER 3501 NEW BEST:: SOT 3860046 SOS 2528903 HAS SOPS 2528903 HAS SOUS 2131685 HAS SOUPS 2131685 WITH SCORE 2134213.903
AT ITER 3502 NEW BEST:: SOT 3860227 SOS 2528748 HAS SOPS 2528748 HAS SOUS 2131514 HAS SOUPS 2131514 WITH SCORE 2134042.748
AT ITER 3505 NEW BEST:: SOT 3859722 SOS 2529733 HAS SOPS 2529733 HAS SOUS 2130371 HAS SOUPS 2130371 WITH SCORE 2132900.733
AT ITER 3509 NEW BEST:: SOT 3859701 SOS 2529576 HAS SOPS 2529576 HAS SOUS 2130282 HAS SOUPS 2130282 WITH SCORE 2132811.576
AT ITER 3533 NEW BEST:: SOT 3859645 SOS 2528593 HAS SOPS 2528593 HAS SOUS 2129299 HAS SOUPS 2129299 WITH SCORE 2131827.593
AT ITER 3536 NEW BEST:: SOT 3859645 SOS 2528384 HAS SOPS 2528384 HAS SOUS 2129089 HAS SOUPS 2129089 WITH SCORE 2131617.384
AT ITER 3537 NEW BEST:: SOT 3860555 SOS 2526320 HAS SOPS 2526320 HAS SOUS 2128842 HAS SOUPS 2128842 WITH SCORE 2131368.32
AT ITER 3539 NEW BEST:: SOT 3861046 SOS 2524898 HAS SOPS 2524898 HAS SOUS 2127203 HAS SOUPS 2127203 WITH SCORE 2129727.898
AT ITER 3541 NEW BEST:: SOT 3861284 SOS 2524774 HAS SOPS 2524774 HAS SOUS 2126860 HAS SOUPS 2126860 WITH SCORE 2129384.774
AT ITER 3559 NEW BEST:: SOT 3861250 SOS 2524536 HAS SOPS 2524536 HAS SOUS 2126826 HAS SOUPS 2126826 WITH SCORE 2129350.536
AT ITER 3561 NEW BEST:: SOT 3860840 SOS 2524126 HAS SOPS 2524126 HAS SOUS 2126416 HAS SOUPS 2126416 WITH SCORE 2128940.126
AT ITER 3564 NEW BEST:: SOT 3860985 SOS 2524271 HAS SOPS 2524271 HAS SOUS 2126415 HAS SOUPS 2126415 WITH SCORE 2128939.271
AT ITER 3568 NEW BEST:: SOT 3860985 SOS 2524138 HAS SOPS 2524138 HAS SOUS 2126282 HAS SOUPS 2126282 WITH SCORE 2128806.138
AT ITER 3571 NEW BEST:: SOT 3860985 SOS 2524138 HAS SOPS 2524138 HAS SOUS 2126281 HAS SOUPS 2126281 WITH SCORE 2128805.138
AT ITER 3574 NEW BEST:: SOT 3861136 SOS 2523983 HAS SOPS 2523983 HAS SOUS 2126126 HAS SOUPS 2126126 WITH SCORE 2128649.983
AT ITER 3586 NEW BEST:: SOT 3861128 SOS 2523975 HAS SOPS 2523975 HAS SOUS 2126118 HAS SOUPS 2126118 WITH SCORE 2128641.975
AT ITER 3589 NEW BEST:: SOT 3861128 SOS 2523897 HAS SOPS 2523897 HAS SOUS 2125923 HAS SOUPS 2125923 WITH SCORE 2128446.897
AT ITER 3601 NEW BEST:: SOT 3861128 SOS 2523389 HAS SOPS 2523389 HAS SOUS 2125415 HAS SOUPS 2125415 WITH SCORE 2127938.389
AT ITER 3606 NEW BEST:: SOT 3861020 SOS 2523281 HAS SOPS 2523281 HAS SOUS 2125307 HAS SOUPS 2125307 WITH SCORE 2127830.281
AT ITER 3611 NEW BEST:: SOT 3861587 SOS 2521640 HAS SOPS 2521640 HAS SOUS 2123453 HAS SOUPS 2123453 WITH SCORE 2125974.64
AT ITER 3614 NEW BEST:: SOT 3861257 SOS 2521310 HAS SOPS 2521310 HAS SOUS 2123123 HAS SOUPS 2123123 WITH SCORE 2125644.31
AT ITER 3618 NEW BEST:: SOT 3861246 SOS 2521379 HAS SOPS 2521379 HAS SOUS 2123096 HAS SOUPS 2123096 WITH SCORE 2125617.379
AT ITER 3639 NEW BEST:: SOT 3860714 SOS 2520601 HAS SOPS 2520601 HAS SOUS 2122318 HAS SOUPS 2122318 WITH SCORE 2124838.601
AT ITER 3641 NEW BEST:: SOT 3860714 SOS 2519346 HAS SOPS 2519346 HAS SOUS 2121437 HAS SOUPS 2121437 WITH SCORE 2123956.346
AT ITER 3645 NEW BEST:: SOT 3860779 SOS 2516348 HAS SOPS 2516348 HAS SOUS 2121010 HAS SOUPS 2121010 WITH SCORE 2123526.348
AT ITER 3651 NEW BEST:: SOT 3860787 SOS 2516180 HAS SOPS 2516180 HAS SOUS 2120842 HAS SOUPS 2120842 WITH SCORE 2123358.18
AT ITER 3653 NEW BEST:: SOT 3860751 SOS 2516144 HAS SOPS 2516144 HAS SOUS 2120806 HAS SOUPS 2120806 WITH SCORE 2123322.144
AT ITER 3664 NEW BEST:: SOT 3860751 SOS 2515461 HAS SOPS 2515461 HAS SOUS 2119440 HAS SOUPS 2119440 WITH SCORE 2121955.461
AT ITER 3666 NEW BEST:: SOT 3860994 SOS 2514223 HAS SOPS 2514223 HAS SOUS 2119156 HAS SOUPS 2119156 WITH SCORE 2121670.223
AT ITER 3668 NEW BEST:: SOT 3860992 SOS 2512727 HAS SOPS 2512727 HAS SOUS 2118457 HAS SOUPS 2118457 WITH SCORE 2120969.727
AT ITER 3670 NEW BEST:: SOT 3859505 SOS 2511240 HAS SOPS 2511240 HAS SOUS 2116970 HAS SOUPS 2116970 WITH SCORE 2119481.24
AT ITER 3675 NEW BEST:: SOT 3859505 SOS 2510894 HAS SOPS 2510894 HAS SOUS 2116352 HAS SOUPS 2116352 WITH SCORE 2118862.894
AT ITER 3679 NEW BEST:: SOT 3859208 SOS 2510183 HAS SOPS 2510183 HAS SOUS 2115434 HAS SOUPS 2115434 WITH SCORE 2117944.183
AT ITER 3682 NEW BEST:: SOT 3858122 SOS 2508498 HAS SOPS 2508498 HAS SOUS 2113749 HAS SOUPS 2113749 WITH SCORE 2116257.498
AT ITER 3690 NEW BEST:: SOT 3857809 SOS 2508185 HAS SOPS 2508185 HAS SOUS 2113436 HAS SOUPS 2113436 WITH SCORE 2115944.185
AT ITER 3691 NEW BEST:: SOT 3857830 SOS 2507873 HAS SOPS 2507873 HAS SOUS 2113124 HAS SOUPS 2113124 WITH SCORE 2115631.873
AT ITER 3696 NEW BEST:: SOT 3857830 SOS 2507342 HAS SOPS 2507342 HAS SOUS 2112558 HAS SOUPS 2112558 WITH SCORE 2115065.342
AT ITER 3697 NEW BEST:: SOT 3857065 SOS 2507126 HAS SOPS 2507126 HAS SOUS 2112342 HAS SOUPS 2112342 WITH SCORE 2114849.126
AT ITER 3704 NEW BEST:: SOT 3857349 SOS 2506474 HAS SOPS 2506474 HAS SOUS 2111621 HAS SOUPS 2111621 WITH SCORE 2114127.474
AT ITER 3705 NEW BEST:: SOT 3857136 SOS 2506429 HAS SOPS 2506429 HAS SOUS 2111576 HAS SOUPS 2111576 WITH SCORE 2114082.429
AT ITER 3706 NEW BEST:: SOT 3856430 SOS 2504993 HAS SOPS 2504993 HAS SOUS 2110863 HAS SOUPS 2110863 WITH SCORE 2113367.993
AT ITER 3710 NEW BEST:: SOT 3855936 SOS 2504800 HAS SOPS 2504800 HAS SOUS 2110266 HAS SOUPS 2110266 WITH SCORE 2112770.8
AT ITER 3713 NEW BEST:: SOT 3855934 SOS 2504759 HAS SOPS 2504759 HAS SOUS 2110225 HAS SOUPS 2110225 WITH SCORE 2112729.759
AT ITER 3717 NEW BEST:: SOT 3854612 SOS 2498712 HAS SOPS 2498712 HAS SOUS 2104409 HAS SOUPS 2104409 WITH SCORE 2106907.712
AT ITER 3719 NEW BEST:: SOT 3854521 SOS 2498621 HAS SOPS 2498621 HAS SOUS 2104318 HAS SOUPS 2104318 WITH SCORE 2106816.621
AT ITER 3720 NEW BEST:: SOT 3854442 SOS 2497768 HAS SOPS 2497768 HAS SOUS 2102918 HAS SOUPS 2102918 WITH SCORE 2105415.768
AT ITER 3722 NEW BEST:: SOT 3854678 SOS 2497106 HAS SOPS 2497106 HAS SOUS 2102700 HAS SOUPS 2102700 WITH SCORE 2105197.106
AT ITER 3734 NEW BEST:: SOT 3853916 SOS 2495377 HAS SOPS 2495377 HAS SOUS 2100882 HAS SOUPS 2100882 WITH SCORE 2103377.377
AT ITER 3736 NEW BEST:: SOT 3853084 SOS 2494891 HAS SOPS 2494891 HAS SOUS 2100396 HAS SOUPS 2100396 WITH SCORE 2102890.891
AT ITER 3739 NEW BEST:: SOT 3852978 SOS 2494592 HAS SOPS 2494592 HAS SOUS 2100097 HAS SOUPS 2100097 WITH SCORE 2102591.592
AT ITER 3740 NEW BEST:: SOT 3852770 SOS 2493559 HAS SOPS 2493559 HAS SOUS 2099674 HAS SOUPS 2099674 WITH SCORE 2102167.559
AT ITER 3744 NEW BEST:: SOT 3852925 SOS 2493238 HAS SOPS 2493238 HAS SOUS 2098264 HAS SOUPS 2098264 WITH SCORE 2100757.238
AT ITER 3755 NEW BEST:: SOT 3852844 SOS 2493125 HAS SOPS 2493125 HAS SOUS 2098151 HAS SOUPS 2098151 WITH SCORE 2100644.125
AT ITER 3757 NEW BEST:: SOT 3852342 SOS 2492623 HAS SOPS 2492623 HAS SOUS 2097649 HAS SOUPS 2097649 WITH SCORE 2100141.623
AT ITER 3758 NEW BEST:: SOT 3852700 SOS 2492037 HAS SOPS 2492037 HAS SOUS 2097063 HAS SOUPS 2097063 WITH SCORE 2099555.037
AT ITER 3759 NEW BEST:: SOT 3852547 SOS 2491884 HAS SOPS 2491884 HAS SOUS 2096787 HAS SOUPS 2096787 WITH SCORE 2099278.884
AT ITER 3760 NEW BEST:: SOT 3852013 SOS 2490365 HAS SOPS 2490365 HAS SOUS 2094933 HAS SOUPS 2094933 WITH SCORE 2097423.365
AT ITER 3771 NEW BEST:: SOT 3850561 SOS 2488812 HAS SOPS 2488812 HAS SOUS 2093380 HAS SOUPS 2093380 WITH SCORE 2095868.812
AT ITER 3772 NEW BEST:: SOT 3851407 SOS 2488553 HAS SOPS 2488553 HAS SOUS 2093125 HAS SOUPS 2093125 WITH SCORE 2095613.553
AT ITER 3774 NEW BEST:: SOT 3850933 SOS 2488079 HAS SOPS 2488079 HAS SOUS 2092651 HAS SOUPS 2092651 WITH SCORE 2095139.079
AT ITER 3785 NEW BEST:: SOT 3850235 SOS 2487986 HAS SOPS 2487986 HAS SOUS 2092256 HAS SOUPS 2092256 WITH SCORE 2094743.986
AT ITER 3797 NEW BEST:: SOT 3853067 SOS 2487444 HAS SOPS 2487444 HAS SOUS 2091783 HAS SOUPS 2091783 WITH SCORE 2094270.444
AT ITER 3807 NEW BEST:: SOT 3853065 SOS 2485902 HAS SOPS 2485902 HAS SOUS 2091260 HAS SOUPS 2091260 WITH SCORE 2093745.902
AT ITER 3810 NEW BEST:: SOT 3853356 SOS 2485448 HAS SOPS 2485448 HAS SOUS 2090134 HAS SOUPS 2090134 WITH SCORE 2092619.448
AT ITER 3811 NEW BEST:: SOT 3853395 SOS 2485920 HAS SOPS 2485920 HAS SOUS 2088637 HAS SOUPS 2088637 WITH SCORE 2091122.92
AT ITER 3822 NEW BEST:: SOT 3853429 SOS 2484263 HAS SOPS 2484263 HAS SOUS 2088190 HAS SOUPS 2088190 WITH SCORE 2090674.263
AT ITER 3825 NEW BEST:: SOT 3853429 SOS 2483821 HAS SOPS 2483821 HAS SOUS 2087938 HAS SOUPS 2087938 WITH SCORE 2090421.821
AT ITER 3827 NEW BEST:: SOT 3853000 SOS 2482881 HAS SOPS 2482881 HAS SOUS 2087084 HAS SOUPS 2087084 WITH SCORE 2089566.881
AT ITER 3837 NEW BEST:: SOT 3852725 SOS 2481127 HAS SOPS 2481127 HAS SOUS 2086826 HAS SOUPS 2086826 WITH SCORE 2089307.127
AT ITER 3840 NEW BEST:: SOT 3853017 SOS 2478817 HAS SOPS 2478817 HAS SOUS 2084535 HAS SOUPS 2084535 WITH SCORE 2087013.817
AT ITER 3849 NEW BEST:: SOT 3852986 SOS 2478751 HAS SOPS 2478751 HAS SOUS 2084534 HAS SOUPS 2084534 WITH SCORE 2087012.751
AT ITER 3851 NEW BEST:: SOT 3851396 SOS 2476986 HAS SOPS 2476986 HAS SOUS 2082262 HAS SOUPS 2082262 WITH SCORE 2084738.986
AT ITER 3853 NEW BEST:: SOT 3851262 SOS 2476852 HAS SOPS 2476852 HAS SOUS 2082125 HAS SOUPS 2082125 WITH SCORE 2084601.852
AT ITER 3855 NEW BEST:: SOT 3851248 SOS 2476667 HAS SOPS 2476667 HAS SOUS 2081739 HAS SOUPS 2081739 WITH SCORE 2084215.667
AT ITER 3858 NEW BEST:: SOT 3851185 SOS 2476334 HAS SOPS 2476334 HAS SOUS 2081737 HAS SOUPS 2081737 WITH SCORE 2084213.334
AT ITER 3860 NEW BEST:: SOT 3851569 SOS 2476268 HAS SOPS 2476268 HAS SOUS 2081671 HAS SOUPS 2081671 WITH SCORE 2084147.268
AT ITER 3862 NEW BEST:: SOT 3851935 SOS 2473580 HAS SOPS 2473580 HAS SOUS 2079365 HAS SOUPS 2079365 WITH SCORE 2081838.58
AT ITER 3865 NEW BEST:: SOT 3851584 SOS 2473201 HAS SOPS 2473201 HAS SOUS 2078986 HAS SOUPS 2078986 WITH SCORE 2081459.201
AT ITER 3869 NEW BEST:: SOT 3850930 SOS 2472545 HAS SOPS 2472545 HAS SOUS 2078003 HAS SOUPS 2078003 WITH SCORE 2080475.545
AT ITER 3873 NEW BEST:: SOT 3850879 SOS 2472494 HAS SOPS 2472494 HAS SOUS 2077952 HAS SOUPS 2077952 WITH SCORE 2080424.494
AT ITER 3875 NEW BEST:: SOT 3850472 SOS 2471886 HAS SOPS 2471886 HAS SOUS 2077545 HAS SOUPS 2077545 WITH SCORE 2080016.886
AT ITER 3877 NEW BEST:: SOT 3850472 SOS 2471732 HAS SOPS 2471732 HAS SOUS 2077463 HAS SOUPS 2077463 WITH SCORE 2079934.732
AT ITER 3879 NEW BEST:: SOT 3850275 SOS 2471535 HAS SOPS 2471535 HAS SOUS 2077266 HAS SOUPS 2077266 WITH SCORE 2079737.535
AT ITER 3887 NEW BEST:: SOT 3850275 SOS 2471558 HAS SOPS 2471558 HAS SOUS 2077243 HAS SOUPS 2077243 WITH SCORE 2079714.558
AT ITER 3891 NEW BEST:: SOT 3850600 SOS 2471883 HAS SOPS 2471883 HAS SOUS 2077041 HAS SOUPS 2077041 WITH SCORE 2079512.883
AT ITER 3892 NEW BEST:: SOT 3852236 SOS 2472218 HAS SOPS 2472218 HAS SOUS 2076978 HAS SOUPS 2076978 WITH SCORE 2079450.218
AT ITER 3894 NEW BEST:: SOT 3851714 SOS 2471748 HAS SOPS 2471748 HAS SOUS 2075226 HAS SOUPS 2075226 WITH SCORE 2077697.748
AT ITER 3895 NEW BEST:: SOT 3851046 SOS 2470693 HAS SOPS 2470693 HAS SOUS 2074171 HAS SOUPS 2074171 WITH SCORE 2076641.693
AT ITER 3900 NEW BEST:: SOT 3850615 SOS 2469808 HAS SOPS 2469808 HAS SOUS 2073286 HAS SOUPS 2073286 WITH SCORE 2075755.808
AT ITER 3903 NEW BEST:: SOT 3850595 SOS 2470153 HAS SOPS 2470153 HAS SOUS 2073115 HAS SOUPS 2073115 WITH SCORE 2075585.153
AT ITER 3904 NEW BEST:: SOT 3849877 SOS 2469435 HAS SOPS 2469435 HAS SOUS 2072397 HAS SOUPS 2072397 WITH SCORE 2074866.435
AT ITER 3914 NEW BEST:: SOT 3849819 SOS 2468286 HAS SOPS 2468286 HAS SOUS 2071358 HAS SOUPS 2071358 WITH SCORE 2073826.286
AT ITER 3916 NEW BEST:: SOT 3849765 SOS 2467617 HAS SOPS 2467617 HAS SOUS 2071047 HAS SOUPS 2071047 WITH SCORE 2073514.617
AT ITER 3919 NEW BEST:: SOT 3849765 SOS 2467295 HAS SOPS 2467295 HAS SOUS 2070775 HAS SOUPS 2070775 WITH SCORE 2073242.295
AT ITER 3920 NEW BEST:: SOT 3849575 SOS 2467193 HAS SOPS 2467193 HAS SOUS 2070673 HAS SOUPS 2070673 WITH SCORE 2073140.193
AT ITER 3921 NEW BEST:: SOT 3849098 SOS 2466557 HAS SOPS 2466557 HAS SOUS 2070037 HAS SOUPS 2070037 WITH SCORE 2072503.557
AT ITER 3922 NEW BEST:: SOT 3848620 SOS 2465972 HAS SOPS 2465972 HAS SOUS 2069388 HAS SOUPS 2069388 WITH SCORE 2071853.972
AT ITER 3931 NEW BEST:: SOT 3848834 SOS 2465888 HAS SOPS 2465888 HAS SOUS 2069304 HAS SOUPS 2069304 WITH SCORE 2071769.888
AT ITER 3932 NEW BEST:: SOT 3848221 SOS 2465049 HAS SOPS 2465049 HAS SOUS 2068465 HAS SOUPS 2068465 WITH SCORE 2070930.049
AT ITER 3939 NEW BEST:: SOT 3848221 SOS 2464796 HAS SOPS 2464796 HAS SOUS 2068212 HAS SOUPS 2068212 WITH SCORE 2070676.796
AT ITER 3945 NEW BEST:: SOT 3847817 SOS 2464392 HAS SOPS 2464392 HAS SOUS 2067606 HAS SOUPS 2067606 WITH SCORE 2070070.392
AT ITER 3947 NEW BEST:: SOT 3847817 SOS 2464392 HAS SOPS 2464392 HAS SOUS 2067473 HAS SOUPS 2067473 WITH SCORE 2069937.392
AT ITER 3949 NEW BEST:: SOT 3847463 SOS 2461846 HAS SOPS 2461846 HAS SOUS 2065265 HAS SOUPS 2065265 WITH SCORE 2067726.846
AT ITER 3965 NEW BEST:: SOT 3847407 SOS 2461790 HAS SOPS 2461790 HAS SOUS 2065209 HAS SOUPS 2065209 WITH SCORE 2067670.79
AT ITER 3969 NEW BEST:: SOT 3847477 SOS 2461789 HAS SOPS 2461789 HAS SOUS 2065208 HAS SOUPS 2065208 WITH SCORE 2067669.789
AT ITER 3974 NEW BEST:: SOT 3846515 SOS 2460581 HAS SOPS 2460581 HAS SOUS 2064835 HAS SOUPS 2064835 WITH SCORE 2067295.581
AT ITER 3979 NEW BEST:: SOT 3846515 SOS 2459692 HAS SOPS 2459692 HAS SOUS 2064834 HAS SOUPS 2064834 WITH SCORE 2067293.692
AT ITER 3986 NEW BEST:: SOT 3846414 SOS 2459591 HAS SOPS 2459591 HAS SOUS 2064733 HAS SOUPS 2064733 WITH SCORE 2067192.591
AT ITER 3996 NEW BEST:: SOT 3846808 SOS 2460185 HAS SOPS 2460185 HAS SOUS 2064312 HAS SOUPS 2064312 WITH SCORE 2066772.185
AT ITER 4002 NEW BEST:: SOT 3846967 SOS 2456468 HAS SOPS 2456468 HAS SOUS 2062540 HAS SOUPS 2062540 WITH SCORE 2064996.468
AT ITER 4004 NEW BEST:: SOT 3846920 SOS 2456372 HAS SOPS 2456372 HAS SOUS 2062540 HAS SOUPS 2062540 WITH SCORE 2064996.372
AT ITER 4008 NEW BEST:: SOT 3846774 SOS 2455858 HAS SOPS 2455858 HAS SOUS 2062026 HAS SOUPS 2062026 WITH SCORE 2064481.858
AT ITER 4019 NEW BEST:: SOT 3845779 SOS 2454863 HAS SOPS 2454863 HAS SOUS 2061031 HAS SOUPS 2061031 WITH SCORE 2063485.863
AT ITER 4023 NEW BEST:: SOT 3846206 SOS 2454863 HAS SOPS 2454863 HAS SOUS 2060497 HAS SOUPS 2060497 WITH SCORE 2062951.863
AT ITER 4024 NEW BEST:: SOT 3846206 SOS 2454722 HAS SOPS 2454722 HAS SOUS 2059893 HAS SOUPS 2059893 WITH SCORE 2062347.722
AT ITER 4033 NEW BEST:: SOT 3845782 SOS 2453874 HAS SOPS 2453874 HAS SOUS 2059045 HAS SOUPS 2059045 WITH SCORE 2061498.874
AT ITER 4042 NEW BEST:: SOT 3845519 SOS 2452296 HAS SOPS 2452296 HAS SOUS 2058878 HAS SOUPS 2058878 WITH SCORE 2061330.296
AT ITER 4051 NEW BEST:: SOT 3845203 SOS 2451357 HAS SOPS 2451357 HAS SOUS 2057939 HAS SOUPS 2057939 WITH SCORE 2060390.357
AT ITER 4056 NEW BEST:: SOT 3845203 SOS 2449883 HAS SOPS 2449883 HAS SOUS 2056267 HAS SOUPS 2056267 WITH SCORE 2058716.883
AT ITER 4060 NEW BEST:: SOT 3846063 SOS 2449569 HAS SOPS 2449569 HAS SOUS 2055677 HAS SOUPS 2055677 WITH SCORE 2058126.569
AT ITER 4068 NEW BEST:: SOT 3845707 SOS 2449127 HAS SOPS 2449127 HAS SOUS 2055235 HAS SOUPS 2055235 WITH SCORE 2057684.127
AT ITER 4069 NEW BEST:: SOT 3844105 SOS 2447885 HAS SOPS 2447885 HAS SOUS 2054392 HAS SOUPS 2054392 WITH SCORE 2056839.885
AT ITER 4073 NEW BEST:: SOT 3844021 SOS 2447319 HAS SOPS 2447319 HAS SOUS 2054177 HAS SOUPS 2054177 WITH SCORE 2056624.319
AT ITER 4074 NEW BEST:: SOT 3844085 SOS 2447290 HAS SOPS 2447290 HAS SOUS 2054148 HAS SOUPS 2054148 WITH SCORE 2056595.29
AT ITER 4080 NEW BEST:: SOT 3844111 SOS 2447287 HAS SOPS 2447287 HAS SOUS 2054118 HAS SOUPS 2054118 WITH SCORE 2056565.287
AT ITER 4082 NEW BEST:: SOT 3844111 SOS 2447210 HAS SOPS 2447210 HAS SOUS 2054041 HAS SOUPS 2054041 WITH SCORE 2056488.21
AT ITER 4087 NEW BEST:: SOT 3843871 SOS 2445538 HAS SOPS 2445538 HAS SOUS 2053553 HAS SOUPS 2053553 WITH SCORE 2055998.538
AT ITER 4089 NEW BEST:: SOT 3843871 SOS 2445534 HAS SOPS 2445534 HAS SOUS 2053549 HAS SOUPS 2053549 WITH SCORE 2055994.534
AT ITER 4094 NEW BEST:: SOT 3843443 SOS 2445106 HAS SOPS 2445106 HAS SOUS 2053121 HAS SOUPS 2053121 WITH SCORE 2055566.106
AT ITER 4102 NEW BEST:: SOT 3843313 SOS 2444953 HAS SOPS 2444953 HAS SOUS 2053065 HAS SOUPS 2053065 WITH SCORE 2055509.953
AT ITER 4103 NEW BEST:: SOT 3842950 SOS 2444590 HAS SOPS 2444590 HAS SOUS 2052702 HAS SOUPS 2052702 WITH SCORE 2055146.59
AT ITER 4106 NEW BEST:: SOT 3843009 SOS 2444420 HAS SOPS 2444420 HAS SOUS 2052611 HAS SOUPS 2052611 WITH SCORE 2055055.42
AT ITER 4111 NEW BEST:: SOT 3842554 SOS 2443965 HAS SOPS 2443965 HAS SOUS 2052156 HAS SOUPS 2052156 WITH SCORE 2054599.965
AT ITER 4112 NEW BEST:: SOT 3842249 SOS 2443098 HAS SOPS 2443098 HAS SOUS 2051289 HAS SOUPS 2051289 WITH SCORE 2053732.098
AT ITER 4116 NEW BEST:: SOT 3842494 SOS 2442982 HAS SOPS 2442982 HAS SOUS 2051172 HAS SOUPS 2051172 WITH SCORE 2053614.982
AT ITER 4117 NEW BEST:: SOT 3842209 SOS 2442697 HAS SOPS 2442697 HAS SOUS 2050887 HAS SOUPS 2050887 WITH SCORE 2053329.697
AT ITER 4119 NEW BEST:: SOT 3842134 SOS 2442620 HAS SOPS 2442620 HAS SOUS 2050810 HAS SOUPS 2050810 WITH SCORE 2053252.62
AT ITER 4129 NEW BEST:: SOT 3841821 SOS 2442199 HAS SOPS 2442199 HAS SOUS 2050389 HAS SOUPS 2050389 WITH SCORE 2052831.199
AT ITER 4144 NEW BEST:: SOT 3842295 SOS 2440529 HAS SOPS 2440529 HAS SOUS 2048557 HAS SOUPS 2048557 WITH SCORE 2050997.529
AT ITER 4145 NEW BEST:: SOT 3842516 SOS 2440529 HAS SOPS 2440529 HAS SOUS 2048397 HAS SOUPS 2048397 WITH SCORE 2050837.529
AT ITER 4146 NEW BEST:: SOT 3842327 SOS 2440340 HAS SOPS 2440340 HAS SOUS 2048208 HAS SOUPS 2048208 WITH SCORE 2050648.34
AT ITER 4157 NEW BEST:: SOT 3841768 SOS 2440015 HAS SOPS 2440015 HAS SOUS 2048117 HAS SOUPS 2048117 WITH SCORE 2050557.015
AT ITER 4159 NEW BEST:: SOT 3840290 SOS 2439120 HAS SOPS 2439120 HAS SOUS 2047222 HAS SOUPS 2047222 WITH SCORE 2049661.12
AT ITER 4160 NEW BEST:: SOT 3840379 SOS 2438937 HAS SOPS 2438937 HAS SOUS 2047219 HAS SOUPS 2047219 WITH SCORE 2049657.937
AT ITER 4168 NEW BEST:: SOT 3839818 SOS 2438376 HAS SOPS 2438376 HAS SOUS 2046658 HAS SOUPS 2046658 WITH SCORE 2049096.376
AT ITER 4171 NEW BEST:: SOT 3839071 SOS 2437050 HAS SOPS 2437050 HAS SOUS 2045332 HAS SOUPS 2045332 WITH SCORE 2047769.05
AT ITER 4178 NEW BEST:: SOT 3838713 SOS 2436692 HAS SOPS 2436692 HAS SOUS 2045329 HAS SOUPS 2045329 WITH SCORE 2047765.692
AT ITER 4185 NEW BEST:: SOT 3838388 SOS 2435230 HAS SOPS 2435230 HAS SOUS 2044010 HAS SOUPS 2044010 WITH SCORE 2046445.23
AT ITER 4187 NEW BEST:: SOT 3838909 SOS 2435798 HAS SOPS 2435798 HAS SOUS 2043966 HAS SOUPS 2043966 WITH SCORE 2046401.798
AT ITER 4191 NEW BEST:: SOT 3838373 SOS 2435262 HAS SOPS 2435262 HAS SOUS 2043236 HAS SOUPS 2043236 WITH SCORE 2045671.262
AT ITER 4192 NEW BEST:: SOT 3837831 SOS 2434520 HAS SOPS 2434520 HAS SOUS 2042494 HAS SOUPS 2042494 WITH SCORE 2044928.52
AT ITER 4195 NEW BEST:: SOT 3837478 SOS 2434333 HAS SOPS 2434333 HAS SOUS 2042129 HAS SOUPS 2042129 WITH SCORE 2044563.333
AT ITER 4205 NEW BEST:: SOT 3837046 SOS 2433901 HAS SOPS 2433901 HAS SOUS 2041697 HAS SOUPS 2041697 WITH SCORE 2044130.901
AT ITER 4210 NEW BEST:: SOT 3836762 SOS 2433609 HAS SOPS 2433609 HAS SOUS 2041248 HAS SOUPS 2041248 WITH SCORE 2043681.609
AT ITER 4217 NEW BEST:: SOT 3836968 SOS 2433657 HAS SOPS 2433657 HAS SOUS 2040226 HAS SOUPS 2040226 WITH SCORE 2042659.657
AT ITER 4218 NEW BEST:: SOT 3836968 SOS 2433589 HAS SOPS 2433589 HAS SOUS 2040114 HAS SOUPS 2040114 WITH SCORE 2042547.589
AT ITER 4221 NEW BEST:: SOT 3836968 SOS 2432941 HAS SOPS 2432941 HAS SOUS 2039973 HAS SOUPS 2039973 WITH SCORE 2042405.941
AT ITER 4222 NEW BEST:: SOT 3836291 SOS 2432264 HAS SOPS 2432264 HAS SOUS 2039296 HAS SOUPS 2039296 WITH SCORE 2041728.264
AT ITER 4228 NEW BEST:: SOT 3835819 SOS 2431027 HAS SOPS 2431027 HAS SOUS 2038059 HAS SOUPS 2038059 WITH SCORE 2040490.027
AT ITER 4233 NEW BEST:: SOT 3835543 SOS 2430749 HAS SOPS 2430749 HAS SOUS 2037781 HAS SOUPS 2037781 WITH SCORE 2040211.749
AT ITER 4237 NEW BEST:: SOT 3835465 SOS 2430202 HAS SOPS 2430202 HAS SOUS 2037234 HAS SOUPS 2037234 WITH SCORE 2039664.202
AT ITER 4243 NEW BEST:: SOT 3835465 SOS 2430114 HAS SOPS 2430114 HAS SOUS 2037190 HAS SOUPS 2037190 WITH SCORE 2039620.114
AT ITER 4244 NEW BEST:: SOT 3835465 SOS 2430535 HAS SOPS 2430535 HAS SOUS 2037175 HAS SOUPS 2037175 WITH SCORE 2039605.535
AT ITER 4253 NEW BEST:: SOT 3835149 SOS 2429970 HAS SOPS 2429970 HAS SOUS 2036610 HAS SOUPS 2036610 WITH SCORE 2039039.97
AT ITER 4259 NEW BEST:: SOT 3833027 SOS 2427848 HAS SOPS 2427848 HAS SOUS 2034113 HAS SOUPS 2034113 WITH SCORE 2036540.848
AT ITER 4260 NEW BEST:: SOT 3832869 SOS 2426907 HAS SOPS 2426907 HAS SOUS 2033275 HAS SOUPS 2033275 WITH SCORE 2035701.907
AT ITER 4262 NEW BEST:: SOT 3831129 SOS 2426206 HAS SOPS 2426206 HAS SOUS 2032761 HAS SOUPS 2032761 WITH SCORE 2035187.206
AT ITER 4264 NEW BEST:: SOT 3831149 SOS 2426186 HAS SOPS 2426186 HAS SOUS 2032741 HAS SOUPS 2032741 WITH SCORE 2035167.186
AT ITER 4286 NEW BEST:: SOT 3831025 SOS 2426006 HAS SOPS 2426006 HAS SOUS 2032654 HAS SOUPS 2032654 WITH SCORE 2035080.006
AT ITER 4292 NEW BEST:: SOT 3830184 SOS 2425165 HAS SOPS 2425165 HAS SOUS 2031813 HAS SOUPS 2031813 WITH SCORE 2034238.165
AT ITER 4295 NEW BEST:: SOT 3829901 SOS 2424882 HAS SOPS 2424882 HAS SOUS 2031530 HAS SOUPS 2031530 WITH SCORE 2033954.882
AT ITER 4296 NEW BEST:: SOT 3828375 SOS 2423356 HAS SOPS 2423356 HAS SOUS 2030004 HAS SOUPS 2030004 WITH SCORE 2032427.356
AT ITER 4302 NEW BEST:: SOT 3828114 SOS 2421994 HAS SOPS 2421994 HAS SOUS 2029883 HAS SOUPS 2029883 WITH SCORE 2032304.994
AT ITER 4306 NEW BEST:: SOT 3828114 SOS 2422008 HAS SOPS 2422008 HAS SOUS 2029876 HAS SOUPS 2029876 WITH SCORE 2032298.008
AT ITER 4310 NEW BEST:: SOT 3827385 SOS 2421279 HAS SOPS 2421279 HAS SOUS 2028751 HAS SOUPS 2028751 WITH SCORE 2031172.279
AT ITER 4314 NEW BEST:: SOT 3827494 SOS 2421137 HAS SOPS 2421137 HAS SOUS 2028609 HAS SOUPS 2028609 WITH SCORE 2031030.137
AT ITER 4316 NEW BEST:: SOT 3827249 SOS 2418410 HAS SOPS 2418410 HAS SOUS 2027892 HAS SOUPS 2027892 WITH SCORE 2030310.41
AT ITER 4319 NEW BEST:: SOT 3825911 SOS 2416662 HAS SOPS 2416662 HAS SOUS 2026144 HAS SOUPS 2026144 WITH SCORE 2028560.662
AT ITER 4324 NEW BEST:: SOT 3825828 SOS 2416579 HAS SOPS 2416579 HAS SOUS 2026061 HAS SOUPS 2026061 WITH SCORE 2028477.579
AT ITER 4334 NEW BEST:: SOT 3825355 SOS 2416106 HAS SOPS 2416106 HAS SOUS 2025588 HAS SOUPS 2025588 WITH SCORE 2028004.106
AT ITER 4336 NEW BEST:: SOT 3825166 SOS 2415650 HAS SOPS 2415650 HAS SOUS 2024943 HAS SOUPS 2024943 WITH SCORE 2027358.65
AT ITER 4339 NEW BEST:: SOT 3825166 SOS 2415650 HAS SOPS 2415650 HAS SOUS 2024872 HAS SOUPS 2024872 WITH SCORE 2027287.65
AT ITER 4340 NEW BEST:: SOT 3825098 SOS 2415093 HAS SOPS 2415093 HAS SOUS 2024315 HAS SOUPS 2024315 WITH SCORE 2026730.093
AT ITER 4355 NEW BEST:: SOT 3825721 SOS 2413869 HAS SOPS 2413869 HAS SOUS 2022794 HAS SOUPS 2022794 WITH SCORE 2025207.869
AT ITER 4364 NEW BEST:: SOT 3825473 SOS 2413619 HAS SOPS 2413619 HAS SOUS 2022544 HAS SOUPS 2022544 WITH SCORE 2024957.619
AT ITER 4366 NEW BEST:: SOT 3825557 SOS 2415170 HAS SOPS 2415170 HAS SOUS 2022491 HAS SOUPS 2022491 WITH SCORE 2024906.17
AT ITER 4375 NEW BEST:: SOT 3825557 SOS 2415058 HAS SOPS 2415058 HAS SOUS 2022379 HAS SOUPS 2022379 WITH SCORE 2024794.058
AT ITER 4385 NEW BEST:: SOT 3825557 SOS 2415056 HAS SOPS 2415056 HAS SOUS 2022229 HAS SOUPS 2022229 WITH SCORE 2024644.056
AT ITER 4389 NEW BEST:: SOT 3825648 SOS 2413942 HAS SOPS 2413942 HAS SOUS 2021797 HAS SOUPS 2021797 WITH SCORE 2024210.942
AT ITER 4391 NEW BEST:: SOT 3825648 SOS 2413193 HAS SOPS 2413193 HAS SOUS 2021726 HAS SOUPS 2021726 WITH SCORE 2024139.193
AT ITER 4393 NEW BEST:: SOT 3825648 SOS 2413174 HAS SOPS 2413174 HAS SOUS 2021726 HAS SOUPS 2021726 WITH SCORE 2024139.174
AT ITER 4397 NEW BEST:: SOT 3825959 SOS 2412797 HAS SOPS 2412797 HAS SOUS 2021149 HAS SOUPS 2021149 WITH SCORE 2023561.797
AT ITER 4401 NEW BEST:: SOT 3825188 SOS 2412026 HAS SOPS 2412026 HAS SOUS 2020378 HAS SOUPS 2020378 WITH SCORE 2022790.026
AT ITER 4403 NEW BEST:: SOT 3823946 SOS 2410441 HAS SOPS 2410441 HAS SOUS 2018793 HAS SOUPS 2018793 WITH SCORE 2021203.441
AT ITER 4406 NEW BEST:: SOT 3823137 SOS 2409833 HAS SOPS 2409833 HAS SOUS 2017801 HAS SOUPS 2017801 WITH SCORE 2020210.833
AT ITER 4407 NEW BEST:: SOT 3822801 SOS 2409497 HAS SOPS 2409497 HAS SOUS 2017465 HAS SOUPS 2017465 WITH SCORE 2019874.497
AT ITER 4409 NEW BEST:: SOT 3822405 SOS 2409048 HAS SOPS 2409048 HAS SOUS 2016966 HAS SOUPS 2016966 WITH SCORE 2019375.048
AT ITER 4412 NEW BEST:: SOT 3822087 SOS 2408729 HAS SOPS 2408729 HAS SOUS 2016647 HAS SOUPS 2016647 WITH SCORE 2019055.729
AT ITER 4417 NEW BEST:: SOT 3821894 SOS 2407610 HAS SOPS 2407610 HAS SOUS 2016259 HAS SOUPS 2016259 WITH SCORE 2018666.61
AT ITER 4419 NEW BEST:: SOT 3821012 SOS 2405435 HAS SOPS 2405435 HAS SOUS 2014176 HAS SOUPS 2014176 WITH SCORE 2016581.435
AT ITER 4427 NEW BEST:: SOT 3820348 SOS 2404769 HAS SOPS 2404769 HAS SOUS 2013510 HAS SOUPS 2013510 WITH SCORE 2015914.769
AT ITER 4428 NEW BEST:: SOT 3820152 SOS 2404573 HAS SOPS 2404573 HAS SOUS 2013314 HAS SOUPS 2013314 WITH SCORE 2015718.573
AT ITER 4429 NEW BEST:: SOT 3819130 SOS 2403551 HAS SOPS 2403551 HAS SOUS 2012292 HAS SOUPS 2012292 WITH SCORE 2014695.551
AT ITER 4442 NEW BEST:: SOT 3819025 SOS 2402813 HAS SOPS 2402813 HAS SOUS 2012118 HAS SOUPS 2012118 WITH SCORE 2014520.813
AT ITER 4446 NEW BEST:: SOT 3819025 SOS 2402564 HAS SOPS 2402564 HAS SOUS 2011619 HAS SOUPS 2011619 WITH SCORE 2014021.564
AT ITER 4451 NEW BEST:: SOT 3819024 SOS 2402563 HAS SOPS 2402563 HAS SOUS 2011618 HAS SOUPS 2011618 WITH SCORE 2014020.563
AT ITER 4458 NEW BEST:: SOT 3818023 SOS 2401557 HAS SOPS 2401557 HAS SOUS 2010612 HAS SOUPS 2010612 WITH SCORE 2013013.557
AT ITER 4459 NEW BEST:: SOT 3818515 SOS 2400561 HAS SOPS 2400561 HAS SOUS 2010360 HAS SOUPS 2010360 WITH SCORE 2012760.561
AT ITER 4462 NEW BEST:: SOT 3818215 SOS 2400015 HAS SOPS 2400015 HAS SOUS 2010087 HAS SOUPS 2010087 WITH SCORE 2012487.015
AT ITER 4467 NEW BEST:: SOT 3818233 SOS 2400739 HAS SOPS 2400739 HAS SOUS 2009902 HAS SOUPS 2009902 WITH SCORE 2012302.739
AT ITER 4472 NEW BEST:: SOT 3818465 SOS 2400739 HAS SOPS 2400739 HAS SOUS 2009469 HAS SOUPS 2009469 WITH SCORE 2011869.739
AT ITER 4480 NEW BEST:: SOT 3818255 SOS 2400459 HAS SOPS 2400459 HAS SOUS 2008909 HAS SOUPS 2008909 WITH SCORE 2011309.459
AT ITER 4485 NEW BEST:: SOT 3818255 SOS 2400016 HAS SOPS 2400016 HAS SOUS 2008814 HAS SOUPS 2008814 WITH SCORE 2011214.016
AT ITER 4487 NEW BEST:: SOT 3817983 SOS 2399744 HAS SOPS 2399744 HAS SOUS 2008234 HAS SOUPS 2008234 WITH SCORE 2010633.744
AT ITER 4498 NEW BEST:: SOT 3817983 SOS 2399440 HAS SOPS 2399440 HAS SOUS 2008080 HAS SOUPS 2008080 WITH SCORE 2010479.44
AT ITER 4505 NEW BEST:: SOT 3817667 SOS 2399124 HAS SOPS 2399124 HAS SOUS 2007764 HAS SOUPS 2007764 WITH SCORE 2010163.124
AT ITER 4510 NEW BEST:: SOT 3817451 SOS 2398989 HAS SOPS 2398989 HAS SOUS 2007629 HAS SOUPS 2007629 WITH SCORE 2010027.989
AT ITER 4512 NEW BEST:: SOT 3817236 SOS 2398774 HAS SOPS 2398774 HAS SOUS 2007414 HAS SOUPS 2007414 WITH SCORE 2009812.774
AT ITER 4515 NEW BEST:: SOT 3816356 SOS 2397674 HAS SOPS 2397674 HAS SOUS 2005654 HAS SOUPS 2005654 WITH SCORE 2008051.674
AT ITER 4525 NEW BEST:: SOT 3815704 SOS 2396370 HAS SOPS 2396370 HAS SOUS 2004350 HAS SOUPS 2004350 WITH SCORE 2006746.37
AT ITER 4528 NEW BEST:: SOT 3815708 SOS 2396302 HAS SOPS 2396302 HAS SOUS 2004340 HAS SOUPS 2004340 WITH SCORE 2006736.302
AT ITER 4529 NEW BEST:: SOT 3815051 SOS 2395645 HAS SOPS 2395645 HAS SOUS 2003683 HAS SOUPS 2003683 WITH SCORE 2006078.645
AT ITER 4531 NEW BEST:: SOT 3815203 SOS 2395679 HAS SOPS 2395679 HAS SOUS 2003572 HAS SOUPS 2003572 WITH SCORE 2005967.679
AT ITER 4540 NEW BEST:: SOT 3814851 SOS 2394169 HAS SOPS 2394169 HAS SOUS 2002813 HAS SOUPS 2002813 WITH SCORE 2005207.169
AT ITER 4547 NEW BEST:: SOT 3814851 SOS 2392703 HAS SOPS 2392703 HAS SOUS 2002417 HAS SOUPS 2002417 WITH SCORE 2004809.703
AT ITER 4553 NEW BEST:: SOT 3814915 SOS 2393134 HAS SOPS 2393134 HAS SOUS 2002347 HAS SOUPS 2002347 WITH SCORE 2004740.134
AT ITER 4555 NEW BEST:: SOT 3814915 SOS 2393132 HAS SOPS 2393132 HAS SOUS 2002345 HAS SOUPS 2002345 WITH SCORE 2004738.132
AT ITER 4566 NEW BEST:: SOT 3814537 SOS 2392754 HAS SOPS 2392754 HAS SOUS 2002345 HAS SOUPS 2002345 WITH SCORE 2004737.754
AT ITER 4571 NEW BEST:: SOT 3813805 SOS 2392020 HAS SOPS 2392020 HAS SOUS 2001611 HAS SOUPS 2001611 WITH SCORE 2004003.02
AT ITER 4574 NEW BEST:: SOT 3813775 SOS 2391408 HAS SOPS 2391408 HAS SOUS 2001519 HAS SOUPS 2001519 WITH SCORE 2003910.408
AT ITER 4584 NEW BEST:: SOT 3812923 SOS 2390702 HAS SOPS 2390702 HAS SOUS 2001506 HAS SOUPS 2001506 WITH SCORE 2003896.702
AT ITER 4586 NEW BEST:: SOT 3812626 SOS 2390152 HAS SOPS 2390152 HAS SOUS 2000956 HAS SOUPS 2000956 WITH SCORE 2003346.152
AT ITER 4589 NEW BEST:: SOT 3811655 SOS 2390067 HAS SOPS 2390067 HAS SOUS 2000655 HAS SOUPS 2000655 WITH SCORE 2003045.067
AT ITER 4595 NEW BEST:: SOT 3811554 SOS 2389966 HAS SOPS 2389966 HAS SOUS 2000554 HAS SOUPS 2000554 WITH SCORE 2002943.966
AT ITER 4597 NEW BEST:: SOT 3810686 SOS 2389098 HAS SOPS 2389098 HAS SOUS 1999686 HAS SOUPS 1999686 WITH SCORE 2002075.098
AT ITER 4599 NEW BEST:: SOT 3812383 SOS 2389030 HAS SOPS 2389030 HAS SOUS 1999570 HAS SOUPS 1999570 WITH SCORE 2001959.03
AT ITER 4600 NEW BEST:: SOT 3810540 SOS 2387187 HAS SOPS 2387187 HAS SOUS 1997727 HAS SOUPS 1997727 WITH SCORE 2000114.187
AT ITER 4608 NEW BEST:: SOT 3810703 SOS 2387108 HAS SOPS 2387108 HAS SOUS 1997648 HAS SOUPS 1997648 WITH SCORE 2000035.108
AT ITER 4612 NEW BEST:: SOT 3810620 SOS 2387025 HAS SOPS 2387025 HAS SOUS 1997565 HAS SOUPS 1997565 WITH SCORE 1999952.025
AT ITER 4613 NEW BEST:: SOT 3809711 SOS 2385826 HAS SOPS 2385826 HAS SOUS 1995970 HAS SOUPS 1995970 WITH SCORE 1998355.826
AT ITER 4620 NEW BEST:: SOT 3809457 SOS 2384108 HAS SOPS 2384108 HAS SOUS 1993199 HAS SOUPS 1993199 WITH SCORE 1995583.108
AT ITER 4621 NEW BEST:: SOT 3809224 SOS 2383875 HAS SOPS 2383875 HAS SOUS 1992815 HAS SOUPS 1992815 WITH SCORE 1995198.875
AT ITER 4632 NEW BEST:: SOT 3809793 SOS 2383537 HAS SOPS 2383537 HAS SOUS 1992701 HAS SOUPS 1992701 WITH SCORE 1995084.537
AT ITER 4654 NEW BEST:: SOT 3809558 SOS 2383302 HAS SOPS 2383302 HAS SOUS 1992466 HAS SOUPS 1992466 WITH SCORE 1994849.302
AT ITER 4656 NEW BEST:: SOT 3809254 SOS 2383132 HAS SOPS 2383132 HAS SOUS 1992296 HAS SOUPS 1992296 WITH SCORE 1994679.132
AT ITER 4664 NEW BEST:: SOT 3809303 SOS 2382075 HAS SOPS 2382075 HAS SOUS 1990686 HAS SOUPS 1990686 WITH SCORE 1993068.075
AT ITER 4665 NEW BEST:: SOT 3808751 SOS 2381477 HAS SOPS 2381477 HAS SOUS 1989904 HAS SOUPS 1989904 WITH SCORE 1992285.477
AT ITER 4671 NEW BEST:: SOT 3808854 SOS 2381327 HAS SOPS 2381327 HAS SOUS 1989754 HAS SOUPS 1989754 WITH SCORE 1992135.327
AT ITER 4672 NEW BEST:: SOT 3808760 SOS 2381233 HAS SOPS 2381233 HAS SOUS 1989660 HAS SOUPS 1989660 WITH SCORE 1992041.233
AT ITER 4674 NEW BEST:: SOT 3808587 SOS 2381188 HAS SOPS 2381188 HAS SOUS 1989614 HAS SOUPS 1989614 WITH SCORE 1991995.188
AT ITER 4676 NEW BEST:: SOT 3809356 SOS 2381857 HAS SOPS 2381857 HAS SOUS 1989472 HAS SOUPS 1989472 WITH SCORE 1991853.857
AT ITER 4678 NEW BEST:: SOT 3810792 SOS 2381277 HAS SOPS 2381277 HAS SOUS 1987712 HAS SOUPS 1987712 WITH SCORE 1990093.277
AT ITER 4680 NEW BEST:: SOT 3810787 SOS 2381227 HAS SOPS 2381227 HAS SOUS 1987662 HAS SOUPS 1987662 WITH SCORE 1990043.227
AT ITER 4688 NEW BEST:: SOT 3810255 SOS 2379662 HAS SOPS 2379662 HAS SOUS 1986097 HAS SOUPS 1986097 WITH SCORE 1988476.662
AT ITER 4689 NEW BEST:: SOT 3810039 SOS 2379446 HAS SOPS 2379446 HAS SOUS 1985881 HAS SOUPS 1985881 WITH SCORE 1988260.446
AT ITER 4697 NEW BEST:: SOT 3810149 SOS 2379384 HAS SOPS 2379384 HAS SOUS 1985819 HAS SOUPS 1985819 WITH SCORE 1988198.384
AT ITER 4704 NEW BEST:: SOT 3810643 SOS 2379159 HAS SOPS 2379159 HAS SOUS 1985477 HAS SOUPS 1985477 WITH SCORE 1987856.159
AT ITER 4710 NEW BEST:: SOT 3810643 SOS 2378986 HAS SOPS 2378986 HAS SOUS 1985304 HAS SOUPS 1985304 WITH SCORE 1987682.986
AT ITER 4726 NEW BEST:: SOT 3810112 SOS 2378275 HAS SOPS 2378275 HAS SOUS 1984665 HAS SOUPS 1984665 WITH SCORE 1987043.275
AT ITER 4728 NEW BEST:: SOT 3809856 SOS 2377684 HAS SOPS 2377684 HAS SOUS 1984235 HAS SOUPS 1984235 WITH SCORE 1986612.684
AT ITER 4730 NEW BEST:: SOT 3809601 SOS 2377429 HAS SOPS 2377429 HAS SOUS 1983980 HAS SOUPS 1983980 WITH SCORE 1986357.429
AT ITER 4738 NEW BEST:: SOT 3809459 SOS 2376562 HAS SOPS 2376562 HAS SOUS 1983225 HAS SOUPS 1983225 WITH SCORE 1985601.562
AT ITER 4756 NEW BEST:: SOT 3809423 SOS 2376524 HAS SOPS 2376524 HAS SOUS 1983187 HAS SOUPS 1983187 WITH SCORE 1985563.524
AT ITER 4757 NEW BEST:: SOT 3809119 SOS 2376135 HAS SOPS 2376135 HAS SOUS 1982798 HAS SOUPS 1982798 WITH SCORE 1985174.135
AT ITER 4759 NEW BEST:: SOT 3809075 SOS 2375925 HAS SOPS 2375925 HAS SOUS 1982610 HAS SOUPS 1982610 WITH SCORE 1984985.925
AT ITER 4764 NEW BEST:: SOT 3807213 SOS 2374063 HAS SOPS 2374063 HAS SOUS 1980344 HAS SOUPS 1980344 WITH SCORE 1982718.063
AT ITER 4767 NEW BEST:: SOT 3806941 SOS 2373791 HAS SOPS 2373791 HAS SOUS 1980071 HAS SOUPS 1980071 WITH SCORE 1982444.791
AT ITER 4769 NEW BEST:: SOT 3806076 SOS 2372896 HAS SOPS 2372896 HAS SOUS 1979013 HAS SOUPS 1979013 WITH SCORE 1981385.896
AT ITER 4772 NEW BEST:: SOT 3806076 SOS 2372877 HAS SOPS 2372877 HAS SOUS 1978994 HAS SOUPS 1978994 WITH SCORE 1981366.877
AT ITER 4787 NEW BEST:: SOT 3806076 SOS 2372800 HAS SOPS 2372800 HAS SOUS 1978917 HAS SOUPS 1978917 WITH SCORE 1981289.8
AT ITER 4796 NEW BEST:: SOT 3806076 SOS 2371796 HAS SOPS 2371796 HAS SOUS 1978710 HAS SOUPS 1978710 WITH SCORE 1981081.796
AT ITER 4799 NEW BEST:: SOT 3805972 SOS 2371796 HAS SOPS 2371796 HAS SOUS 1978709 HAS SOUPS 1978709 WITH SCORE 1981080.796
AT ITER 4801 NEW BEST:: SOT 3805328 SOS 2371152 HAS SOPS 2371152 HAS SOUS 1978065 HAS SOUPS 1978065 WITH SCORE 1980436.152
AT ITER 4808 NEW BEST:: SOT 3805328 SOS 2370967 HAS SOPS 2370967 HAS SOUS 1977880 HAS SOUPS 1977880 WITH SCORE 1980250.967
AT ITER 4810 NEW BEST:: SOT 3804862 SOS 2370268 HAS SOPS 2370268 HAS SOUS 1977181 HAS SOUPS 1977181 WITH SCORE 1979551.268
AT ITER 4816 NEW BEST:: SOT 3805568 SOS 2368839 HAS SOPS 2368839 HAS SOUS 1975812 HAS SOUPS 1975812 WITH SCORE 1978180.839
AT ITER 4818 NEW BEST:: SOT 3804407 SOS 2367260 HAS SOPS 2367260 HAS SOUS 1974233 HAS SOUPS 1974233 WITH SCORE 1976600.26
AT ITER 4825 NEW BEST:: SOT 3804191 SOS 2367223 HAS SOPS 2367223 HAS SOUS 1974196 HAS SOUPS 1974196 WITH SCORE 1976563.223
AT ITER 4828 NEW BEST:: SOT 3804108 SOS 2367018 HAS SOPS 2367018 HAS SOUS 1973854 HAS SOUPS 1973854 WITH SCORE 1976221.018
AT ITER 4830 NEW BEST:: SOT 3804108 SOS 2367430 HAS SOPS 2367430 HAS SOUS 1973061 HAS SOUPS 1973061 WITH SCORE 1975428.43
AT ITER 4835 NEW BEST:: SOT 3804033 SOS 2367076 HAS SOPS 2367076 HAS SOUS 1972707 HAS SOUPS 1972707 WITH SCORE 1975074.076
AT ITER 4844 NEW BEST:: SOT 3803305 SOS 2366382 HAS SOPS 2366382 HAS SOUS 1972130 HAS SOUPS 1972130 WITH SCORE 1974496.382
AT ITER 4850 NEW BEST:: SOT 3802355 SOS 2365432 HAS SOPS 2365432 HAS SOUS 1971180 HAS SOUPS 1971180 WITH SCORE 1973545.432
AT ITER 4853 NEW BEST:: SOT 3802117 SOS 2364795 HAS SOPS 2364795 HAS SOUS 1970543 HAS SOUPS 1970543 WITH SCORE 1972907.795
AT ITER 4860 NEW BEST:: SOT 3801629 SOS 2364307 HAS SOPS 2364307 HAS SOUS 1970055 HAS SOUPS 1970055 WITH SCORE 1972419.307
AT ITER 4862 NEW BEST:: SOT 3801473 SOS 2363791 HAS SOPS 2363791 HAS SOUS 1969686 HAS SOUPS 1969686 WITH SCORE 1972049.791
AT ITER 4863 NEW BEST:: SOT 3801375 SOS 2363693 HAS SOPS 2363693 HAS SOUS 1969588 HAS SOUPS 1969588 WITH SCORE 1971951.693
AT ITER 4869 NEW BEST:: SOT 3800977 SOS 2362300 HAS SOPS 2362300 HAS SOUS 1968593 HAS SOUPS 1968593 WITH SCORE 1970955.3
AT ITER 4874 NEW BEST:: SOT 3800168 SOS 2361209 HAS SOPS 2361209 HAS SOUS 1967441 HAS SOUPS 1967441 WITH SCORE 1969802.209
AT ITER 4877 NEW BEST:: SOT 3800168 SOS 2360858 HAS SOPS 2360858 HAS SOUS 1967081 HAS SOUPS 1967081 WITH SCORE 1969441.858
AT ITER 4885 NEW BEST:: SOT 3800040 SOS 2360235 HAS SOPS 2360235 HAS SOUS 1966586 HAS SOUPS 1966586 WITH SCORE 1968946.235
AT ITER 4902 NEW BEST:: SOT 3799965 SOS 2360085 HAS SOPS 2360085 HAS SOUS 1966436 HAS SOUPS 1966436 WITH SCORE 1968796.085
AT ITER 4904 NEW BEST:: SOT 3799597 SOS 2359717 HAS SOPS 2359717 HAS SOUS 1966024 HAS SOUPS 1966024 WITH SCORE 1968383.717
AT ITER 4908 NEW BEST:: SOT 3799597 SOS 2359344 HAS SOPS 2359344 HAS SOUS 1965375 HAS SOUPS 1965375 WITH SCORE 1967734.344
AT ITER 4909 NEW BEST:: SOT 3797834 SOS 2357373 HAS SOPS 2357373 HAS SOUS 1963404 HAS SOUPS 1963404 WITH SCORE 1965761.373
AT ITER 4916 NEW BEST:: SOT 3795971 SOS 2355510 HAS SOPS 2355510 HAS SOUS 1962012 HAS SOUPS 1962012 WITH SCORE 1964367.51
AT ITER 4923 NEW BEST:: SOT 3795971 SOS 2354934 HAS SOPS 2354934 HAS SOUS 1961749 HAS SOUPS 1961749 WITH SCORE 1964103.934
AT ITER 4925 NEW BEST:: SOT 3795077 SOS 2354179 HAS SOPS 2354179 HAS SOUS 1961218 HAS SOUPS 1961218 WITH SCORE 1963572.179
AT ITER 4928 NEW BEST:: SOT 3794282 SOS 2351976 HAS SOPS 2351976 HAS SOUS 1960117 HAS SOUPS 1960117 WITH SCORE 1962468.976
AT ITER 4929 NEW BEST:: SOT 3794407 SOS 2351943 HAS SOPS 2351943 HAS SOUS 1960084 HAS SOUPS 1960084 WITH SCORE 1962435.943
AT ITER 4934 NEW BEST:: SOT 3793876 SOS 2350881 HAS SOPS 2350881 HAS SOUS 1957960 HAS SOUPS 1957960 WITH SCORE 1960310.881
AT ITER 4935 NEW BEST:: SOT 3793876 SOS 2350132 HAS SOPS 2350132 HAS SOUS 1957588 HAS SOUPS 1957588 WITH SCORE 1959938.132
AT ITER 4937 NEW BEST:: SOT 3793288 SOS 2349544 HAS SOPS 2349544 HAS SOUS 1957000 HAS SOUPS 1957000 WITH SCORE 1959349.544
AT ITER 4942 NEW BEST:: SOT 3793278 SOS 2349534 HAS SOPS 2349534 HAS SOUS 1956990 HAS SOUPS 1956990 WITH SCORE 1959339.534
AT ITER 4948 NEW BEST:: SOT 3793609 SOS 2349865 HAS SOPS 2349865 HAS SOUS 1956922 HAS SOUPS 1956922 WITH SCORE 1959271.865
AT ITER 4955 NEW BEST:: SOT 3792929 SOS 2347972 HAS SOPS 2347972 HAS SOUS 1955218 HAS SOUPS 1955218 WITH SCORE 1957565.972
AT ITER 4961 NEW BEST:: SOT 3792698 SOS 2347739 HAS SOPS 2347739 HAS SOUS 1954985 HAS SOUPS 1954985 WITH SCORE 1957332.739
AT ITER 4968 NEW BEST:: SOT 3792611 SOS 2347652 HAS SOPS 2347652 HAS SOUS 1954898 HAS SOUPS 1954898 WITH SCORE 1957245.652
AT ITER 4972 NEW BEST:: SOT 3792610 SOS 2347651 HAS SOPS 2347651 HAS SOUS 1954897 HAS SOUPS 1954897 WITH SCORE 1957244.651
AT ITER 4975 NEW BEST:: SOT 3792122 SOS 2347526 HAS SOPS 2347526 HAS SOUS 1954772 HAS SOUPS 1954772 WITH SCORE 1957119.526
AT ITER 4980 NEW BEST:: SOT 3791709 SOS 2347224 HAS SOPS 2347224 HAS SOUS 1954470 HAS SOUPS 1954470 WITH SCORE 1956817.224
AT ITER 4984 NEW BEST:: SOT 3791709 SOS 2347094 HAS SOPS 2347094 HAS SOUS 1954284 HAS SOUPS 1954284 WITH SCORE 1956631.094
AT ITER 4987 NEW BEST:: SOT 3791709 SOS 2347011 HAS SOPS 2347011 HAS SOUS 1954201 HAS SOUPS 1954201 WITH SCORE 1956548.011
AT ITER 4988 NEW BEST:: SOT 3791709 SOS 2346146 HAS SOPS 2346146 HAS SOUS 1953857 HAS SOUPS 1953857 WITH SCORE 1956203.146
AT ITER 4998 NEW BEST:: SOT 3791134 SOS 2345559 HAS SOPS 2345559 HAS SOUS 1953270 HAS SOUPS 1953270 WITH SCORE 1955615.559
AT ITER 4999 NEW BEST:: SOT 3790787 SOS 2345212 HAS SOPS 2345212 HAS SOUS 1952923 HAS SOUPS 1952923 WITH SCORE 1955268.212
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-00 (! ( (AF(potential( ( 2 ) <= (tk(P1246)) ))) & ( (AX( potential( (tk(P682)) <= (tk(P1421)) ))) | (EX( potential( (tk(P1551)) <= (tk(P592)) ))) ) ))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-01 (EX( (EF((! potential( (tk(P404)) <= (tk(P1395)) ))))))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-02 (EG( (EU( potential( ( 1 ) <= (tk(P798)) ),potential( (tk(P96)) <= (tk(P1088)) ) ))))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-03 (AG( ( (EG( potential( (tk(P822)) <= (tk(P1408)) ))) & (EF(potential( (tk(P710)) <= (tk(P2492)) ))) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-04 (AG( potential( (tk(P790)) <= (tk(P1151)) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-05 (EU( (! ( potential( (tk(P1768)) <= (tk(P1790)) ) | potential( ( 3 ) <= (tk(P1014)) ) )),(EF(potential( ( 2 ) <= (tk(P161)) ))) ))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-06 (EF(( potential( ( 2 ) <= (tk(P1905)) ) & ( ( potential( ( 3 ) <= (tk(P687)) ) & potential( ( 3 ) <= (tk(P2196)) ) ) | ( potential( (tk(P1670)) <= (tk(P1081)) ) | potential( (tk(P452)) <= (tk(P1070)) ) ) ) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-07 (AG( (! (AG( potential( ( 3 ) <= (tk(P1309)) ))))))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-08 (EU( (EF(potential( (tk(P581)) <= (tk(P794)) ))),( ( potential( (tk(P937)) <= (tk(P891)) ) | potential( ( 1 ) <= (tk(P1872)) ) ) & potential( ( 2 ) <= (tk(P1548)) ) ) ))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-09 (AG( ( ( ( potential( (tk(P1308)) <= (tk(P491)) ) | potential( (tk(P2169)) <= (tk(P388)) ) ) & ( potential( (tk(P1401)) <= (tk(P1421)) ) | potential( ( 3 ) <= (tk(P259)) ) ) ) & potential( (tk(P1337)) <= (tk(P501)) ) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-10 (EF((! (EF(potential( ( 1 ) <= (tk(P52)) ))))))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-11 (AF(( (! ( potential( (tk(P1192)) <= (tk(P1809)) ) & potential( (tk(P2094)) <= (tk(P1952)) ) )) & potential( ( 2 ) <= (tk(P195)) ) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-12 (EU( (EF(potential( (tk(P1794)) <= (tk(P234)) ))),(AX( potential( ( 3 ) <= (tk(P707)) ))) ))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-13 (AG( ( potential( (tk(P2408)) <= (tk(P1716)) ) | (AG( potential( ( 2 ) <= (tk(P2467)) ))) )))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-14 (! (AF(( ( potential( ( 1 ) <= (tk(P1490)) ) & potential( (tk(P1901)) <= (tk(P750)) ) ) & ( potential( ( 1 ) <= (tk(P815)) ) | potential( ( 1 ) <= (tk(P1041)) ) ) ))))
PROPERTY: ShieldIIPs-PT-100A-CTLCardinality-15 ( (AF((! potential( (tk(P1166)) <= (tk(P1428)) )))) & ( (EX( (! potential( (tk(P669)) <= (tk(P1870)) )))) | (EF(( potential( ( 2 ) <= (tk(P540)) ) & potential( (tk(P1733)) <= (tk(P750)) ) ))) ) )

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="ShieldIIPs-PT-100A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-100A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469100203"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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