Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000284.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w1000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000284
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.4K Apr 12 11:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 11:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 12:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 12:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 23:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 9 23:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:38 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 RwMutex-PT-r0010w1000-CTLFireability-00
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-01
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-02
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-03
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-04
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-05
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-06
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-07
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-08
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-09
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-10
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-11
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-12
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-13
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-14
FORMULA_NAME RwMutex-PT-r0010w1000-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589742951390

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w1000
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2030 places, 2020 transitions, 24060 arcs.
AT ITER 0 NEW BEST:: SOT 4096474 SOS 3075366 HAS SOPS 3075366 HAS SOUS 3075366 HAS SOUPS 3075366 WITH SCORE 3078441.366
AT ITER 1 NEW BEST:: SOT 4096474 SOS 3073374 HAS SOPS 3073374 HAS SOUS 3073374 HAS SOUPS 3073374 WITH SCORE 3076447.374
AT ITER 7 NEW BEST:: SOT 4096474 SOS 3071990 HAS SOPS 3071990 HAS SOUS 3071990 HAS SOUPS 3071990 WITH SCORE 3075061.99
AT ITER 8 NEW BEST:: SOT 4096474 SOS 3071198 HAS SOPS 3071198 HAS SOUS 3071198 HAS SOUPS 3071198 WITH SCORE 3074269.198
AT ITER 10 NEW BEST:: SOT 4096474 SOS 3070932 HAS SOPS 3070932 HAS SOUS 3070932 HAS SOUPS 3070932 WITH SCORE 3074002.932
AT ITER 13 NEW BEST:: SOT 4096474 SOS 3069072 HAS SOPS 3069072 HAS SOUS 3069072 HAS SOUPS 3069072 WITH SCORE 3072141.072
AT ITER 14 NEW BEST:: SOT 4096474 SOS 3067210 HAS SOPS 3067210 HAS SOUS 3067210 HAS SOUPS 3067210 WITH SCORE 3070277.21
AT ITER 20 NEW BEST:: SOT 4096474 SOS 3066084 HAS SOPS 3066084 HAS SOUS 3066084 HAS SOUPS 3066084 WITH SCORE 3069150.084
AT ITER 23 NEW BEST:: SOT 4096474 SOS 3064238 HAS SOPS 3064238 HAS SOUS 3064238 HAS SOUPS 3064238 WITH SCORE 3067302.238
AT ITER 25 NEW BEST:: SOT 4096474 SOS 3062966 HAS SOPS 3062966 HAS SOUS 3062966 HAS SOUPS 3062966 WITH SCORE 3066028.966
AT ITER 27 NEW BEST:: SOT 4096474 SOS 3061638 HAS SOPS 3061638 HAS SOUS 3061638 HAS SOUPS 3061638 WITH SCORE 3064699.638
AT ITER 31 NEW BEST:: SOT 4096474 SOS 3060662 HAS SOPS 3060662 HAS SOUS 3060662 HAS SOUPS 3060662 WITH SCORE 3063722.662
AT ITER 32 NEW BEST:: SOT 4096474 SOS 3059180 HAS SOPS 3059180 HAS SOUS 3059180 HAS SOUPS 3059180 WITH SCORE 3062239.18
AT ITER 34 NEW BEST:: SOT 4096474 SOS 3057710 HAS SOPS 3057710 HAS SOUS 3057710 HAS SOUPS 3057710 WITH SCORE 3060767.71
AT ITER 40 NEW BEST:: SOT 4096474 SOS 3055862 HAS SOPS 3055862 HAS SOUS 3055862 HAS SOUPS 3055862 WITH SCORE 3058917.862
AT ITER 41 NEW BEST:: SOT 4096474 SOS 3053888 HAS SOPS 3053888 HAS SOUS 3053888 HAS SOUPS 3053888 WITH SCORE 3056941.888
AT ITER 42 NEW BEST:: SOT 4096474 SOS 3052340 HAS SOPS 3052340 HAS SOUS 3052340 HAS SOUPS 3052340 WITH SCORE 3055392.34
AT ITER 45 NEW BEST:: SOT 4096474 SOS 3052314 HAS SOPS 3052314 HAS SOUS 3052314 HAS SOUPS 3052314 WITH SCORE 3055366.314
AT ITER 48 NEW BEST:: SOT 4096474 SOS 3050686 HAS SOPS 3050686 HAS SOUS 3050686 HAS SOUPS 3050686 WITH SCORE 3053736.686
AT ITER 50 NEW BEST:: SOT 4096474 SOS 3049482 HAS SOPS 3049482 HAS SOUS 3049482 HAS SOUPS 3049482 WITH SCORE 3052531.482
AT ITER 51 NEW BEST:: SOT 4096474 SOS 3048210 HAS SOPS 3048210 HAS SOUS 3048210 HAS SOUPS 3048210 WITH SCORE 3051258.21
AT ITER 52 NEW BEST:: SOT 4096474 SOS 3047502 HAS SOPS 3047502 HAS SOUS 3047502 HAS SOUPS 3047502 WITH SCORE 3050549.502
AT ITER 53 NEW BEST:: SOT 4096474 SOS 3045710 HAS SOPS 3045710 HAS SOUS 3045710 HAS SOUPS 3045710 WITH SCORE 3048755.71
AT ITER 55 NEW BEST:: SOT 4096474 SOS 3044378 HAS SOPS 3044378 HAS SOUS 3044378 HAS SOUPS 3044378 WITH SCORE 3047422.378
AT ITER 61 NEW BEST:: SOT 4096474 SOS 3042966 HAS SOPS 3042966 HAS SOUS 3042966 HAS SOUPS 3042966 WITH SCORE 3046008.966
AT ITER 62 NEW BEST:: SOT 4096474 SOS 3041092 HAS SOPS 3041092 HAS SOUS 3041092 HAS SOUPS 3041092 WITH SCORE 3044133.092
AT ITER 70 NEW BEST:: SOT 4096474 SOS 3039806 HAS SOPS 3039806 HAS SOUS 3039806 HAS SOUPS 3039806 WITH SCORE 3042845.806
AT ITER 73 NEW BEST:: SOT 4096474 SOS 3038424 HAS SOPS 3038424 HAS SOUS 3038424 HAS SOUPS 3038424 WITH SCORE 3041462.424
AT ITER 74 NEW BEST:: SOT 4096474 SOS 3036618 HAS SOPS 3036618 HAS SOUS 3036618 HAS SOUPS 3036618 WITH SCORE 3039654.618
AT ITER 75 NEW BEST:: SOT 4096474 SOS 3036166 HAS SOPS 3036166 HAS SOUS 3036166 HAS SOUPS 3036166 WITH SCORE 3039202.166
AT ITER 78 NEW BEST:: SOT 4096474 SOS 3035126 HAS SOPS 3035126 HAS SOUS 3035126 HAS SOUPS 3035126 WITH SCORE 3038161.126
AT ITER 81 NEW BEST:: SOT 4096474 SOS 3033354 HAS SOPS 3033354 HAS SOUS 3033354 HAS SOUPS 3033354 WITH SCORE 3036387.354
AT ITER 83 NEW BEST:: SOT 4096474 SOS 3031948 HAS SOPS 3031948 HAS SOUS 3031948 HAS SOUPS 3031948 WITH SCORE 3034979.948
AT ITER 84 NEW BEST:: SOT 4096474 SOS 3030560 HAS SOPS 3030560 HAS SOUS 3030560 HAS SOUPS 3030560 WITH SCORE 3033590.56
AT ITER 85 NEW BEST:: SOT 4096474 SOS 3030134 HAS SOPS 3030134 HAS SOUS 3030134 HAS SOUPS 3030134 WITH SCORE 3033164.134
AT ITER 86 NEW BEST:: SOT 4096474 SOS 3029168 HAS SOPS 3029168 HAS SOUS 3029168 HAS SOUPS 3029168 WITH SCORE 3032197.168
AT ITER 87 NEW BEST:: SOT 4096474 SOS 3027984 HAS SOPS 3027984 HAS SOUS 3027984 HAS SOUPS 3027984 WITH SCORE 3031011.984
AT ITER 90 NEW BEST:: SOT 4096474 SOS 3026762 HAS SOPS 3026762 HAS SOUS 3026762 HAS SOUPS 3026762 WITH SCORE 3029788.762
AT ITER 94 NEW BEST:: SOT 4096474 SOS 3025064 HAS SOPS 3025064 HAS SOUS 3025064 HAS SOUPS 3025064 WITH SCORE 3028089.064
AT ITER 96 NEW BEST:: SOT 4096474 SOS 3024342 HAS SOPS 3024342 HAS SOUS 3024342 HAS SOUPS 3024342 WITH SCORE 3027366.342
AT ITER 99 NEW BEST:: SOT 4096474 SOS 3022818 HAS SOPS 3022818 HAS SOUS 3022818 HAS SOUPS 3022818 WITH SCORE 3025840.818
AT ITER 101 NEW BEST:: SOT 4096474 SOS 3020830 HAS SOPS 3020830 HAS SOUS 3020830 HAS SOUPS 3020830 WITH SCORE 3023850.83
AT ITER 102 NEW BEST:: SOT 4096474 SOS 3020196 HAS SOPS 3020196 HAS SOUS 3020196 HAS SOUPS 3020196 WITH SCORE 3023216.196
AT ITER 104 NEW BEST:: SOT 4096474 SOS 3018768 HAS SOPS 3018768 HAS SOUS 3018768 HAS SOUPS 3018768 WITH SCORE 3021786.768
AT ITER 105 NEW BEST:: SOT 4096474 SOS 3018646 HAS SOPS 3018646 HAS SOUS 3018646 HAS SOUPS 3018646 WITH SCORE 3021664.646
AT ITER 108 NEW BEST:: SOT 4096474 SOS 3016954 HAS SOPS 3016954 HAS SOUS 3016954 HAS SOUPS 3016954 WITH SCORE 3019970.954
AT ITER 109 NEW BEST:: SOT 4096474 SOS 3015062 HAS SOPS 3015062 HAS SOUS 3015062 HAS SOUPS 3015062 WITH SCORE 3018077.062
AT ITER 111 NEW BEST:: SOT 4096474 SOS 3014950 HAS SOPS 3014950 HAS SOUS 3014950 HAS SOUPS 3014950 WITH SCORE 3017964.95
AT ITER 112 NEW BEST:: SOT 4096474 SOS 3013782 HAS SOPS 3013782 HAS SOUS 3013782 HAS SOUPS 3013782 WITH SCORE 3016795.782
AT ITER 113 NEW BEST:: SOT 4096474 SOS 3013344 HAS SOPS 3013344 HAS SOUS 3013344 HAS SOUPS 3013344 WITH SCORE 3016357.344
AT ITER 114 NEW BEST:: SOT 4096474 SOS 3011526 HAS SOPS 3011526 HAS SOUS 3011526 HAS SOUPS 3011526 WITH SCORE 3014537.526
AT ITER 119 NEW BEST:: SOT 4096474 SOS 3010584 HAS SOPS 3010584 HAS SOUS 3010584 HAS SOUPS 3010584 WITH SCORE 3013594.584
AT ITER 120 NEW BEST:: SOT 4096474 SOS 3010334 HAS SOPS 3010334 HAS SOUS 3010334 HAS SOUPS 3010334 WITH SCORE 3013344.334
AT ITER 121 NEW BEST:: SOT 4096474 SOS 3008470 HAS SOPS 3008470 HAS SOUS 3008470 HAS SOUPS 3008470 WITH SCORE 3011478.47
AT ITER 122 NEW BEST:: SOT 4096474 SOS 3007450 HAS SOPS 3007450 HAS SOUS 3007450 HAS SOUPS 3007450 WITH SCORE 3010457.45
AT ITER 125 NEW BEST:: SOT 4096474 SOS 3006556 HAS SOPS 3006556 HAS SOUS 3006556 HAS SOUPS 3006556 WITH SCORE 3009562.556
AT ITER 127 NEW BEST:: SOT 4096474 SOS 3004610 HAS SOPS 3004610 HAS SOUS 3004610 HAS SOUPS 3004610 WITH SCORE 3007614.61
AT ITER 128 NEW BEST:: SOT 4096474 SOS 3003110 HAS SOPS 3003110 HAS SOUS 3003110 HAS SOUPS 3003110 WITH SCORE 3006113.11
AT ITER 130 NEW BEST:: SOT 4096474 SOS 3001242 HAS SOPS 3001242 HAS SOUS 3001242 HAS SOUPS 3001242 WITH SCORE 3004243.242
AT ITER 133 NEW BEST:: SOT 4096474 SOS 2999380 HAS SOPS 2999380 HAS SOUS 2999380 HAS SOUPS 2999380 WITH SCORE 3002379.38
AT ITER 136 NEW BEST:: SOT 4095538 SOS 3004904 HAS SOPS 3004904 HAS SOUS 2999374 HAS SOUPS 2999374 WITH SCORE 3002378.904
AT ITER 137 NEW BEST:: SOT 4095538 SOS 3004146 HAS SOPS 3004146 HAS SOUS 2998616 HAS SOUPS 2998616 WITH SCORE 3001620.146
AT ITER 138 NEW BEST:: SOT 4095538 SOS 3003062 HAS SOPS 3003062 HAS SOUS 2997532 HAS SOUPS 2997532 WITH SCORE 3000535.062
AT ITER 140 NEW BEST:: SOT 4095538 SOS 3001868 HAS SOPS 3001868 HAS SOUS 2996338 HAS SOUPS 2996338 WITH SCORE 2999339.868
AT ITER 143 NEW BEST:: SOT 4095538 SOS 3000258 HAS SOPS 3000258 HAS SOUS 2994620 HAS SOUPS 2994620 WITH SCORE 2997620.258
AT ITER 144 NEW BEST:: SOT 4095538 SOS 2998998 HAS SOPS 2998998 HAS SOUS 2993360 HAS SOUPS 2993360 WITH SCORE 2996358.998
AT ITER 147 NEW BEST:: SOT 4095538 SOS 2998972 HAS SOPS 2998972 HAS SOUS 2993334 HAS SOUPS 2993334 WITH SCORE 2996332.972
AT ITER 149 NEW BEST:: SOT 4095538 SOS 2998280 HAS SOPS 2998280 HAS SOUS 2992642 HAS SOUPS 2992642 WITH SCORE 2995640.28
AT ITER 151 NEW BEST:: SOT 4095538 SOS 2997574 HAS SOPS 2997574 HAS SOUS 2991936 HAS SOUPS 2991936 WITH SCORE 2994933.574
AT ITER 153 NEW BEST:: SOT 4095538 SOS 2995902 HAS SOPS 2995902 HAS SOUS 2990036 HAS SOUPS 2990036 WITH SCORE 2993031.902
AT ITER 154 NEW BEST:: SOT 4095538 SOS 2995194 HAS SOPS 2995194 HAS SOUS 2989328 HAS SOUPS 2989328 WITH SCORE 2992323.194
AT ITER 158 NEW BEST:: SOT 4095538 SOS 2993746 HAS SOPS 2993746 HAS SOUS 2987880 HAS SOUPS 2987880 WITH SCORE 2990873.746
AT ITER 159 NEW BEST:: SOT 4095538 SOS 2992906 HAS SOPS 2992906 HAS SOUS 2987040 HAS SOUPS 2987040 WITH SCORE 2990032.906
AT ITER 160 NEW BEST:: SOT 4095538 SOS 2991538 HAS SOPS 2991538 HAS SOUS 2985672 HAS SOUPS 2985672 WITH SCORE 2988663.538
AT ITER 163 NEW BEST:: SOT 4095538 SOS 2989574 HAS SOPS 2989574 HAS SOUS 2983708 HAS SOUPS 2983708 WITH SCORE 2986697.574
AT ITER 166 NEW BEST:: SOT 4095538 SOS 2988100 HAS SOPS 2988100 HAS SOUS 2982234 HAS SOUPS 2982234 WITH SCORE 2985222.1
AT ITER 167 NEW BEST:: SOT 4095538 SOS 2988100 HAS SOPS 2988100 HAS SOUS 2982168 HAS SOUPS 2982168 WITH SCORE 2985156.1
AT ITER 170 NEW BEST:: SOT 4095538 SOS 2986172 HAS SOPS 2986172 HAS SOUS 2980240 HAS SOUPS 2980240 WITH SCORE 2983226.172
AT ITER 172 NEW BEST:: SOT 4095538 SOS 2985044 HAS SOPS 2985044 HAS SOUS 2978394 HAS SOUPS 2978394 WITH SCORE 2981379.044
AT ITER 174 NEW BEST:: SOT 4095538 SOS 2983722 HAS SOPS 2983722 HAS SOUS 2976530 HAS SOUPS 2976530 WITH SCORE 2979513.722
AT ITER 175 NEW BEST:: SOT 4095538 SOS 2982008 HAS SOPS 2982008 HAS SOUS 2974816 HAS SOUPS 2974816 WITH SCORE 2977798.008
AT ITER 176 NEW BEST:: SOT 4095538 SOS 2980218 HAS SOPS 2980218 HAS SOUS 2973026 HAS SOUPS 2973026 WITH SCORE 2976006.218
AT ITER 177 NEW BEST:: SOT 4095538 SOS 2979630 HAS SOPS 2979630 HAS SOUS 2972438 HAS SOUPS 2972438 WITH SCORE 2975417.63
AT ITER 178 NEW BEST:: SOT 4095538 SOS 2978284 HAS SOPS 2978284 HAS SOUS 2971092 HAS SOUPS 2971092 WITH SCORE 2974070.284
AT ITER 180 NEW BEST:: SOT 4095538 SOS 2976940 HAS SOPS 2976940 HAS SOUS 2969598 HAS SOUPS 2969598 WITH SCORE 2972574.94
AT ITER 181 NEW BEST:: SOT 4095538 SOS 2976040 HAS SOPS 2976040 HAS SOUS 2968698 HAS SOUPS 2968698 WITH SCORE 2971674.04
AT ITER 186 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2965772 HAS SOUPS 2965772 WITH SCORE 2969295.354
AT ITER 187 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2965272 HAS SOUPS 2965272 WITH SCORE 2968795.354
AT ITER 188 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2965086 HAS SOUPS 2965086 WITH SCORE 2968609.354
AT ITER 189 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2963376 HAS SOUPS 2963376 WITH SCORE 2966899.354
AT ITER 191 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2962548 HAS SOUPS 2962548 WITH SCORE 2966071.354
AT ITER 193 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2962534 HAS SOUPS 2962534 WITH SCORE 2966057.354
AT ITER 197 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2962114 HAS SOUPS 2962114 WITH SCORE 2965637.354
AT ITER 199 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2960634 HAS SOUPS 2960634 WITH SCORE 2964157.354
AT ITER 202 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2958786 HAS SOUPS 2958786 WITH SCORE 2962309.354
AT ITER 203 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2956930 HAS SOUPS 2956930 WITH SCORE 2960453.354
AT ITER 209 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2955458 HAS SOUPS 2955458 WITH SCORE 2958981.354
AT ITER 211 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2953852 HAS SOUPS 2953852 WITH SCORE 2957375.354
AT ITER 212 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2953556 HAS SOUPS 2953556 WITH SCORE 2957079.354
AT ITER 213 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2952458 HAS SOUPS 2952458 WITH SCORE 2955981.354
AT ITER 216 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2951562 HAS SOUPS 2951562 WITH SCORE 2955085.354
AT ITER 220 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2950108 HAS SOUPS 2950108 WITH SCORE 2953631.354
AT ITER 222 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2948312 HAS SOUPS 2948312 WITH SCORE 2951835.354
AT ITER 223 NEW BEST:: SOT 4093530 SOS 3523354 HAS SOPS 3523354 HAS SOUS 2947128 HAS SOUPS 2947128 WITH SCORE 2950651.354
AT ITER 228 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2945210 HAS SOUPS 2945210 WITH SCORE 2948733.002
AT ITER 230 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2943902 HAS SOUPS 2943902 WITH SCORE 2947425.002
AT ITER 232 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2943070 HAS SOUPS 2943070 WITH SCORE 2946593.002
AT ITER 234 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2941960 HAS SOUPS 2941960 WITH SCORE 2945483.002
AT ITER 235 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2941492 HAS SOUPS 2941492 WITH SCORE 2945015.002
AT ITER 237 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2941090 HAS SOUPS 2941090 WITH SCORE 2944613.002
AT ITER 238 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2940414 HAS SOUPS 2940414 WITH SCORE 2943937.002
AT ITER 241 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2939558 HAS SOUPS 2939558 WITH SCORE 2943081.002
AT ITER 245 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2937780 HAS SOUPS 2937780 WITH SCORE 2941303.002
AT ITER 250 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2936292 HAS SOUPS 2936292 WITH SCORE 2939815.002
AT ITER 253 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2935836 HAS SOUPS 2935836 WITH SCORE 2939359.002
AT ITER 254 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2934002 HAS SOUPS 2934002 WITH SCORE 2937525.002
AT ITER 255 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2933880 HAS SOUPS 2933880 WITH SCORE 2937403.002
AT ITER 256 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2932072 HAS SOUPS 2932072 WITH SCORE 2935595.002
AT ITER 257 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2930344 HAS SOUPS 2930344 WITH SCORE 2933867.002
AT ITER 264 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2929706 HAS SOUPS 2929706 WITH SCORE 2933229.002
AT ITER 270 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2927776 HAS SOUPS 2927776 WITH SCORE 2931299.002
AT ITER 274 NEW BEST:: SOT 4093530 SOS 3523002 HAS SOPS 3523002 HAS SOUS 2926588 HAS SOUPS 2926588 WITH SCORE 2930111.002
AT ITER 275 NEW BEST:: SOT 4093530 SOS 3522714 HAS SOPS 3522714 HAS SOUS 2924662 HAS SOUPS 2924662 WITH SCORE 2928184.714
AT ITER 277 NEW BEST:: SOT 4093530 SOS 3522714 HAS SOPS 3522714 HAS SOUS 2924424 HAS SOUPS 2924424 WITH SCORE 2927946.714
AT ITER 279 NEW BEST:: SOT 4093530 SOS 3522714 HAS SOPS 3522714 HAS SOUS 2923138 HAS SOUPS 2923138 WITH SCORE 2926660.714
AT ITER 280 NEW BEST:: SOT 4093530 SOS 3522714 HAS SOPS 3522714 HAS SOUS 2921482 HAS SOUPS 2921482 WITH SCORE 2925004.714
AT ITER 282 NEW BEST:: SOT 4093530 SOS 3522136 HAS SOPS 3522136 HAS SOUS 2920924 HAS SOUPS 2920924 WITH SCORE 2924446.136
AT ITER 285 NEW BEST:: SOT 4093530 SOS 3522136 HAS SOPS 3522136 HAS SOUS 2920602 HAS SOUPS 2920602 WITH SCORE 2924124.136
AT ITER 287 NEW BEST:: SOT 4093530 SOS 3522136 HAS SOPS 3522136 HAS SOUS 2918732 HAS SOUPS 2918732 WITH SCORE 2922254.136
AT ITER 288 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2917186 HAS SOUPS 2917186 WITH SCORE 2920707.976
AT ITER 291 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2915412 HAS SOUPS 2915412 WITH SCORE 2918933.976
AT ITER 292 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2914228 HAS SOUPS 2914228 WITH SCORE 2917749.976
AT ITER 297 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2912632 HAS SOUPS 2912632 WITH SCORE 2916153.976
AT ITER 298 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2912262 HAS SOUPS 2912262 WITH SCORE 2915783.976
AT ITER 300 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2911006 HAS SOUPS 2911006 WITH SCORE 2914527.976
AT ITER 301 NEW BEST:: SOT 4093530 SOS 3521976 HAS SOPS 3521976 HAS SOUS 2909518 HAS SOUPS 2909518 WITH SCORE 2913039.976
AT ITER 303 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2907760 HAS SOUPS 2907760 WITH SCORE 2911281.676
AT ITER 310 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2906990 HAS SOUPS 2906990 WITH SCORE 2910511.676
AT ITER 312 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2906348 HAS SOUPS 2906348 WITH SCORE 2909869.676
AT ITER 316 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2905050 HAS SOUPS 2905050 WITH SCORE 2908571.676
AT ITER 321 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2903100 HAS SOUPS 2903100 WITH SCORE 2906621.676
AT ITER 327 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2901288 HAS SOUPS 2901288 WITH SCORE 2904809.676
AT ITER 329 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2901124 HAS SOUPS 2901124 WITH SCORE 2904645.676
AT ITER 336 NEW BEST:: SOT 4093530 SOS 3521676 HAS SOPS 3521676 HAS SOUS 2899836 HAS SOUPS 2899836 WITH SCORE 2903357.676
AT ITER 337 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2897966 HAS SOUPS 2897966 WITH SCORE 2901487.626
AT ITER 338 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2896732 HAS SOUPS 2896732 WITH SCORE 2900253.626
AT ITER 339 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2896416 HAS SOUPS 2896416 WITH SCORE 2899937.626
AT ITER 342 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2894890 HAS SOUPS 2894890 WITH SCORE 2898411.626
AT ITER 343 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2894030 HAS SOUPS 2894030 WITH SCORE 2897551.626
AT ITER 346 NEW BEST:: SOT 4093530 SOS 3521626 HAS SOPS 3521626 HAS SOUS 2893032 HAS SOUPS 2893032 WITH SCORE 2896553.626
AT ITER 347 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2891260 HAS SOUPS 2891260 WITH SCORE 2894781.384
AT ITER 348 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2890998 HAS SOUPS 2890998 WITH SCORE 2894519.384
AT ITER 351 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2889624 HAS SOUPS 2889624 WITH SCORE 2893145.384
AT ITER 355 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2887882 HAS SOUPS 2887882 WITH SCORE 2891403.384
AT ITER 358 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2887456 HAS SOUPS 2887456 WITH SCORE 2890977.384
AT ITER 359 NEW BEST:: SOT 4093530 SOS 3521384 HAS SOPS 3521384 HAS SOUS 2887220 HAS SOUPS 2887220 WITH SCORE 2890741.384
AT ITER 360 NEW BEST:: SOT 4093530 SOS 3521358 HAS SOPS 3521358 HAS SOUS 2885630 HAS SOUPS 2885630 WITH SCORE 2889151.358
AT ITER 363 NEW BEST:: SOT 4093530 SOS 3521358 HAS SOPS 3521358 HAS SOUS 2885612 HAS SOUPS 2885612 WITH SCORE 2889133.358
AT ITER 364 NEW BEST:: SOT 4093530 SOS 3521358 HAS SOPS 3521358 HAS SOUS 2885390 HAS SOUPS 2885390 WITH SCORE 2888911.358
AT ITER 366 NEW BEST:: SOT 4093530 SOS 3521358 HAS SOPS 3521358 HAS SOUS 2884126 HAS SOUPS 2884126 WITH SCORE 2887647.358
AT ITER 368 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2882548 HAS SOUPS 2882548 WITH SCORE 2886069.074
AT ITER 369 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2881866 HAS SOUPS 2881866 WITH SCORE 2885387.074
AT ITER 373 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2880640 HAS SOUPS 2880640 WITH SCORE 2884161.074
AT ITER 375 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2879046 HAS SOUPS 2879046 WITH SCORE 2882567.074
AT ITER 378 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2877476 HAS SOUPS 2877476 WITH SCORE 2880997.074
AT ITER 379 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2876946 HAS SOUPS 2876946 WITH SCORE 2880467.074
AT ITER 380 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2875268 HAS SOUPS 2875268 WITH SCORE 2878789.074
AT ITER 386 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2873786 HAS SOUPS 2873786 WITH SCORE 2877307.074
AT ITER 387 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2872994 HAS SOUPS 2872994 WITH SCORE 2876515.074
AT ITER 388 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2872624 HAS SOUPS 2872624 WITH SCORE 2876145.074
AT ITER 389 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2870742 HAS SOUPS 2870742 WITH SCORE 2874263.074
AT ITER 391 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2870126 HAS SOUPS 2870126 WITH SCORE 2873647.074
AT ITER 392 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2870120 HAS SOUPS 2870120 WITH SCORE 2873641.074
AT ITER 393 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2869544 HAS SOUPS 2869544 WITH SCORE 2873065.074
AT ITER 396 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2869330 HAS SOUPS 2869330 WITH SCORE 2872851.074
AT ITER 397 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2869304 HAS SOUPS 2869304 WITH SCORE 2872825.074
AT ITER 401 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2869202 HAS SOUPS 2869202 WITH SCORE 2872723.074
AT ITER 403 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2867302 HAS SOUPS 2867302 WITH SCORE 2870823.074
AT ITER 404 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2865966 HAS SOUPS 2865966 WITH SCORE 2869487.074
AT ITER 407 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2864144 HAS SOUPS 2864144 WITH SCORE 2867665.074
AT ITER 408 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2862250 HAS SOUPS 2862250 WITH SCORE 2865771.074
AT ITER 409 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2861788 HAS SOUPS 2861788 WITH SCORE 2865309.074
AT ITER 413 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2861230 HAS SOUPS 2861230 WITH SCORE 2864751.074
AT ITER 417 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2860188 HAS SOUPS 2860188 WITH SCORE 2863709.074
AT ITER 419 NEW BEST:: SOT 4093530 SOS 3521074 HAS SOPS 3521074 HAS SOUS 2859796 HAS SOUPS 2859796 WITH SCORE 2863317.074
AT ITER 421 NEW BEST:: SOT 4093530 SOS 3520856 HAS SOPS 3520856 HAS SOUS 2859578 HAS SOUPS 2859578 WITH SCORE 2863098.856
AT ITER 422 NEW BEST:: SOT 4093530 SOS 3520856 HAS SOPS 3520856 HAS SOUS 2859376 HAS SOUPS 2859376 WITH SCORE 2862896.856
AT ITER 424 NEW BEST:: SOT 4093530 SOS 3520856 HAS SOPS 3520856 HAS SOUS 2857766 HAS SOUPS 2857766 WITH SCORE 2861286.856
AT ITER 427 NEW BEST:: SOT 4093530 SOS 3520856 HAS SOPS 3520856 HAS SOUS 2856118 HAS SOUPS 2856118 WITH SCORE 2859638.856
AT ITER 429 NEW BEST:: SOT 4093530 SOS 3520856 HAS SOPS 3520856 HAS SOUS 2856048 HAS SOUPS 2856048 WITH SCORE 2859568.856
AT ITER 435 NEW BEST:: SOT 4093366 SOS 3520692 HAS SOPS 3520692 HAS SOUS 2855884 HAS SOUPS 2855884 WITH SCORE 2859404.692
AT ITER 436 NEW BEST:: SOT 4093366 SOS 3520692 HAS SOPS 3520692 HAS SOUS 2853914 HAS SOUPS 2853914 WITH SCORE 2857434.692
AT ITER 437 NEW BEST:: SOT 4093366 SOS 3520692 HAS SOPS 3520692 HAS SOUS 2853068 HAS SOUPS 2853068 WITH SCORE 2856588.692
AT ITER 439 NEW BEST:: SOT 4093366 SOS 3520692 HAS SOPS 3520692 HAS SOUS 2851546 HAS SOUPS 2851546 WITH SCORE 2855066.692
AT ITER 443 NEW BEST:: SOT 4093366 SOS 3520692 HAS SOPS 3520692 HAS SOUS 2851230 HAS SOUPS 2851230 WITH SCORE 2854750.692
AT ITER 444 NEW BEST:: SOT 4093366 SOS 3520480 HAS SOPS 3520480 HAS SOUS 2849406 HAS SOUPS 2849406 WITH SCORE 2852926.48
AT ITER 445 NEW BEST:: SOT 4093366 SOS 3520480 HAS SOPS 3520480 HAS SOUS 2848692 HAS SOUPS 2848692 WITH SCORE 2852212.48
AT ITER 447 NEW BEST:: SOT 4093366 SOS 3520480 HAS SOPS 3520480 HAS SOUS 2847956 HAS SOUPS 2847956 WITH SCORE 2851476.48
AT ITER 449 NEW BEST:: SOT 4093366 SOS 3520480 HAS SOPS 3520480 HAS SOUS 2846020 HAS SOUPS 2846020 WITH SCORE 2849540.48
AT ITER 451 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2844512 HAS SOUPS 2844512 WITH SCORE 2848032.376
AT ITER 453 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2843542 HAS SOUPS 2843542 WITH SCORE 2847062.376
AT ITER 455 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2843452 HAS SOUPS 2843452 WITH SCORE 2846972.376
AT ITER 458 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2842358 HAS SOUPS 2842358 WITH SCORE 2845878.376
AT ITER 462 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2842158 HAS SOUPS 2842158 WITH SCORE 2845678.376
AT ITER 463 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2841972 HAS SOUPS 2841972 WITH SCORE 2845492.376
AT ITER 464 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2840262 HAS SOUPS 2840262 WITH SCORE 2843782.376
AT ITER 465 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2840100 HAS SOUPS 2840100 WITH SCORE 2843620.376
AT ITER 467 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2838788 HAS SOUPS 2838788 WITH SCORE 2842308.376
AT ITER 468 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2838532 HAS SOUPS 2838532 WITH SCORE 2842052.376
AT ITER 469 NEW BEST:: SOT 4093366 SOS 3520376 HAS SOPS 3520376 HAS SOUS 2837628 HAS SOUPS 2837628 WITH SCORE 2841148.376
AT ITER 471 NEW BEST:: SOT 4093366 SOS 3520268 HAS SOPS 3520268 HAS SOUS 2835666 HAS SOUPS 2835666 WITH SCORE 2839186.268
AT ITER 472 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2833718 HAS SOUPS 2833718 WITH SCORE 2837237.788
AT ITER 478 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2832876 HAS SOUPS 2832876 WITH SCORE 2836395.788
AT ITER 481 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2832818 HAS SOUPS 2832818 WITH SCORE 2836337.788
AT ITER 486 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2831326 HAS SOUPS 2831326 WITH SCORE 2834845.788
AT ITER 489 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2830720 HAS SOUPS 2830720 WITH SCORE 2834239.788
AT ITER 491 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2830234 HAS SOUPS 2830234 WITH SCORE 2833753.788
AT ITER 492 NEW BEST:: SOT 4093366 SOS 3519788 HAS SOPS 3519788 HAS SOUS 2828892 HAS SOUPS 2828892 WITH SCORE 2832411.788
AT ITER 493 NEW BEST:: SOT 4091350 SOS 3518144 HAS SOPS 3518144 HAS SOUS 2827052 HAS SOUPS 2827052 WITH SCORE 2830570.144
AT ITER 494 NEW BEST:: SOT 4091350 SOS 3518144 HAS SOPS 3518144 HAS SOUS 2826504 HAS SOUPS 2826504 WITH SCORE 2830022.144
AT ITER 499 NEW BEST:: SOT 4091350 SOS 3518026 HAS SOPS 3518026 HAS SOUS 2824802 HAS SOUPS 2824802 WITH SCORE 2828320.026
AT ITER 500 NEW BEST:: SOT 4091350 SOS 3518026 HAS SOPS 3518026 HAS SOUS 2823216 HAS SOUPS 2823216 WITH SCORE 2826734.026
AT ITER 502 NEW BEST:: SOT 4091350 SOS 3517950 HAS SOPS 3517950 HAS SOUS 2822686 HAS SOUPS 2822686 WITH SCORE 2826203.95
AT ITER 504 NEW BEST:: SOT 4091350 SOS 3517950 HAS SOPS 3517950 HAS SOUS 2820832 HAS SOUPS 2820832 WITH SCORE 2824349.95
AT ITER 505 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2819140 HAS SOUPS 2819140 WITH SCORE 2822657.668
AT ITER 506 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2818212 HAS SOUPS 2818212 WITH SCORE 2821729.668
AT ITER 509 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2816690 HAS SOUPS 2816690 WITH SCORE 2820207.668
AT ITER 510 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2816664 HAS SOUPS 2816664 WITH SCORE 2820181.668
AT ITER 512 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2816662 HAS SOUPS 2816662 WITH SCORE 2820179.668
AT ITER 513 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2816114 HAS SOUPS 2816114 WITH SCORE 2819631.668
AT ITER 516 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2815186 HAS SOUPS 2815186 WITH SCORE 2818703.668
AT ITER 522 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2813952 HAS SOUPS 2813952 WITH SCORE 2817469.668
AT ITER 525 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2813834 HAS SOUPS 2813834 WITH SCORE 2817351.668
AT ITER 526 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2811986 HAS SOUPS 2811986 WITH SCORE 2815503.668
AT ITER 528 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2810190 HAS SOUPS 2810190 WITH SCORE 2813707.668
AT ITER 529 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2808696 HAS SOUPS 2808696 WITH SCORE 2812213.668
AT ITER 532 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2807764 HAS SOUPS 2807764 WITH SCORE 2811281.668
AT ITER 535 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2806454 HAS SOUPS 2806454 WITH SCORE 2809971.668
AT ITER 538 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2806166 HAS SOUPS 2806166 WITH SCORE 2809683.668
AT ITER 542 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2806112 HAS SOUPS 2806112 WITH SCORE 2809629.668
AT ITER 549 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2805356 HAS SOUPS 2805356 WITH SCORE 2808873.668
AT ITER 550 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2804624 HAS SOUPS 2804624 WITH SCORE 2808141.668
AT ITER 552 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2804042 HAS SOUPS 2804042 WITH SCORE 2807559.668
AT ITER 555 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2803842 HAS SOUPS 2803842 WITH SCORE 2807359.668
AT ITER 556 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2803348 HAS SOUPS 2803348 WITH SCORE 2806865.668
AT ITER 557 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2802154 HAS SOUPS 2802154 WITH SCORE 2805671.668
AT ITER 558 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2802060 HAS SOUPS 2802060 WITH SCORE 2805577.668
AT ITER 562 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2801234 HAS SOUPS 2801234 WITH SCORE 2804751.668
AT ITER 565 NEW BEST:: SOT 4091350 SOS 3517668 HAS SOPS 3517668 HAS SOUS 2799616 HAS SOUPS 2799616 WITH SCORE 2803133.668
AT ITER 566 NEW BEST:: SOT 4091350 SOS 3517556 HAS SOPS 3517556 HAS SOUS 2798844 HAS SOUPS 2798844 WITH SCORE 2802361.556
AT ITER 567 NEW BEST:: SOT 4091350 SOS 3517556 HAS SOPS 3517556 HAS SOUS 2798464 HAS SOUPS 2798464 WITH SCORE 2801981.556
AT ITER 570 NEW BEST:: SOT 4091350 SOS 3517474 HAS SOPS 3517474 HAS SOUS 2798288 HAS SOUPS 2798288 WITH SCORE 2801805.474
AT ITER 571 NEW BEST:: SOT 4091350 SOS 3517474 HAS SOPS 3517474 HAS SOUS 2798092 HAS SOUPS 2798092 WITH SCORE 2801609.474
AT ITER 572 NEW BEST:: SOT 4091350 SOS 3517474 HAS SOPS 3517474 HAS SOUS 2796544 HAS SOUPS 2796544 WITH SCORE 2800061.474
AT ITER 574 NEW BEST:: SOT 4091350 SOS 3517094 HAS SOPS 3517094 HAS SOUS 2795364 HAS SOUPS 2795364 WITH SCORE 2798881.094
AT ITER 575 NEW BEST:: SOT 4091350 SOS 3517094 HAS SOPS 3517094 HAS SOUS 2793980 HAS SOUPS 2793980 WITH SCORE 2797497.094
AT ITER 576 NEW BEST:: SOT 4091350 SOS 3517094 HAS SOPS 3517094 HAS SOUS 2793920 HAS SOUPS 2793920 WITH SCORE 2797437.094
AT ITER 578 NEW BEST:: SOT 4091350 SOS 3517094 HAS SOPS 3517094 HAS SOUS 2793686 HAS SOUPS 2793686 WITH SCORE 2797203.094
AT ITER 582 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2791844 HAS SOUPS 2791844 WITH SCORE 2795360.646
AT ITER 583 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2791560 HAS SOUPS 2791560 WITH SCORE 2795076.646
AT ITER 589 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2790706 HAS SOUPS 2790706 WITH SCORE 2794222.646
AT ITER 591 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2789594 HAS SOUPS 2789594 WITH SCORE 2793110.646
AT ITER 598 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2788418 HAS SOUPS 2788418 WITH SCORE 2791934.646
AT ITER 600 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2786982 HAS SOUPS 2786982 WITH SCORE 2790498.646
AT ITER 601 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2786480 HAS SOUPS 2786480 WITH SCORE 2789996.646
AT ITER 602 NEW BEST:: SOT 4091350 SOS 3516646 HAS SOPS 3516646 HAS SOUS 2786344 HAS SOUPS 2786344 WITH SCORE 2789860.646
AT ITER 603 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2785522 HAS SOUPS 2785522 WITH SCORE 2789037.824
AT ITER 605 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2784658 HAS SOUPS 2784658 WITH SCORE 2788173.824
AT ITER 607 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2783222 HAS SOUPS 2783222 WITH SCORE 2786737.824
AT ITER 608 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2782890 HAS SOUPS 2782890 WITH SCORE 2786405.824
AT ITER 611 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2781236 HAS SOUPS 2781236 WITH SCORE 2784751.824
AT ITER 617 NEW BEST:: SOT 4090528 SOS 3515824 HAS SOPS 3515824 HAS SOUS 2779614 HAS SOUPS 2779614 WITH SCORE 2783129.824
AT ITER 619 NEW BEST:: SOT 4090528 SOS 3515812 HAS SOPS 3515812 HAS SOUS 2778126 HAS SOUPS 2778126 WITH SCORE 2781641.812
AT ITER 620 NEW BEST:: SOT 4090528 SOS 3515374 HAS SOPS 3515374 HAS SOUS 2777454 HAS SOUPS 2777454 WITH SCORE 2780969.374
AT ITER 621 NEW BEST:: SOT 4090528 SOS 3515374 HAS SOPS 3515374 HAS SOUS 2777018 HAS SOUPS 2777018 WITH SCORE 2780533.374
AT ITER 626 NEW BEST:: SOT 4090528 SOS 3515374 HAS SOPS 3515374 HAS SOUS 2775288 HAS SOUPS 2775288 WITH SCORE 2778803.374
AT ITER 627 NEW BEST:: SOT 4090528 SOS 3515316 HAS SOPS 3515316 HAS SOUS 2773834 HAS SOUPS 2773834 WITH SCORE 2777349.316
AT ITER 630 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2773782 HAS SOUPS 2773782 WITH SCORE 2777297.264
AT ITER 635 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2773480 HAS SOUPS 2773480 WITH SCORE 2776995.264
AT ITER 638 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2773198 HAS SOUPS 2773198 WITH SCORE 2776713.264
AT ITER 640 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2772856 HAS SOUPS 2772856 WITH SCORE 2776371.264
AT ITER 644 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2772514 HAS SOUPS 2772514 WITH SCORE 2776029.264
AT ITER 645 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2770782 HAS SOUPS 2770782 WITH SCORE 2774297.264
AT ITER 647 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2770130 HAS SOUPS 2770130 WITH SCORE 2773645.264
AT ITER 653 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2769104 HAS SOUPS 2769104 WITH SCORE 2772619.264
AT ITER 654 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2768880 HAS SOUPS 2768880 WITH SCORE 2772395.264
AT ITER 663 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2768434 HAS SOUPS 2768434 WITH SCORE 2771949.264
AT ITER 665 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2767912 HAS SOUPS 2767912 WITH SCORE 2771427.264
AT ITER 666 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2767026 HAS SOUPS 2767026 WITH SCORE 2770541.264
AT ITER 668 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2766420 HAS SOUPS 2766420 WITH SCORE 2769935.264
AT ITER 669 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2764676 HAS SOUPS 2764676 WITH SCORE 2768191.264
AT ITER 673 NEW BEST:: SOT 4090528 SOS 3515264 HAS SOPS 3515264 HAS SOUS 2763718 HAS SOUPS 2763718 WITH SCORE 2767233.264
AT ITER 674 NEW BEST:: SOT 4090528 SOS 3514932 HAS SOPS 3514932 HAS SOUS 2762472 HAS SOUPS 2762472 WITH SCORE 2765986.932
AT ITER 675 NEW BEST:: SOT 4090528 SOS 3514932 HAS SOPS 3514932 HAS SOUS 2761896 HAS SOUPS 2761896 WITH SCORE 2765410.932
AT ITER 682 NEW BEST:: SOT 4090528 SOS 3514932 HAS SOPS 3514932 HAS SOUS 2759952 HAS SOUPS 2759952 WITH SCORE 2763466.932
AT ITER 686 NEW BEST:: SOT 4090528 SOS 3514932 HAS SOPS 3514932 HAS SOUS 2758404 HAS SOUPS 2758404 WITH SCORE 2761918.932
AT ITER 687 NEW BEST:: SOT 4090528 SOS 3514932 HAS SOPS 3514932 HAS SOUS 2758370 HAS SOUPS 2758370 WITH SCORE 2761884.932
AT ITER 688 NEW BEST:: SOT 4090524 SOS 3514954 HAS SOPS 3514954 HAS SOUS 2756990 HAS SOUPS 2756990 WITH SCORE 2760504.954
AT ITER 690 NEW BEST:: SOT 4090524 SOS 3514954 HAS SOPS 3514954 HAS SOUS 2756876 HAS SOUPS 2756876 WITH SCORE 2760390.954
AT ITER 694 NEW BEST:: SOT 4090524 SOS 3514954 HAS SOPS 3514954 HAS SOUS 2756524 HAS SOUPS 2756524 WITH SCORE 2760038.954
AT ITER 696 NEW BEST:: SOT 4090524 SOS 3514954 HAS SOPS 3514954 HAS SOUS 2756122 HAS SOUPS 2756122 WITH SCORE 2759636.954
AT ITER 699 NEW BEST:: SOT 4090524 SOS 3514954 HAS SOPS 3514954 HAS SOUS 2755982 HAS SOUPS 2755982 WITH SCORE 2759496.954
AT ITER 700 NEW BEST:: SOT 4090524 SOS 3514822 HAS SOPS 3514822 HAS SOUS 2754024 HAS SOUPS 2754024 WITH SCORE 2757538.822
AT ITER 706 NEW BEST:: SOT 4090524 SOS 3514822 HAS SOPS 3514822 HAS SOUS 2753944 HAS SOUPS 2753944 WITH SCORE 2757458.822
AT ITER 707 NEW BEST:: SOT 4090524 SOS 3514822 HAS SOPS 3514822 HAS SOUS 2752584 HAS SOUPS 2752584 WITH SCORE 2756098.822
AT ITER 708 NEW BEST:: SOT 4090524 SOS 3514822 HAS SOPS 3514822 HAS SOUS 2752468 HAS SOUPS 2752468 WITH SCORE 2755982.822
AT ITER 710 NEW BEST:: SOT 4090504 SOS 3516022 HAS SOPS 3516022 HAS SOUS 2750942 HAS SOUPS 2750942 WITH SCORE 2754458.022
AT ITER 717 NEW BEST:: SOT 4090504 SOS 3515684 HAS SOPS 3515684 HAS SOUS 2749430 HAS SOUPS 2749430 WITH SCORE 2752945.684
AT ITER 718 NEW BEST:: SOT 4090504 SOS 3515684 HAS SOPS 3515684 HAS SOUS 2749342 HAS SOUPS 2749342 WITH SCORE 2752857.684
AT ITER 719 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2748914 HAS SOUPS 2748914 WITH SCORE 2752368.83
AT ITER 722 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2747424 HAS SOUPS 2747424 WITH SCORE 2750878.83
AT ITER 723 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2745742 HAS SOUPS 2745742 WITH SCORE 2749196.83
AT ITER 726 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2745410 HAS SOUPS 2745410 WITH SCORE 2748864.83
AT ITER 727 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2744836 HAS SOUPS 2744836 WITH SCORE 2748290.83
AT ITER 728 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2743332 HAS SOUPS 2743332 WITH SCORE 2746786.83
AT ITER 732 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2741826 HAS SOUPS 2741826 WITH SCORE 2745280.83
AT ITER 736 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2741350 HAS SOUPS 2741350 WITH SCORE 2744804.83
AT ITER 739 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2741022 HAS SOUPS 2741022 WITH SCORE 2744476.83
AT ITER 740 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2740276 HAS SOUPS 2740276 WITH SCORE 2743730.83
AT ITER 741 NEW BEST:: SOT 4090504 SOS 3454830 HAS SOPS 3454830 HAS SOUS 2740168 HAS SOUPS 2740168 WITH SCORE 2743622.83
AT ITER 747 NEW BEST:: SOT 4090504 SOS 3202850 HAS SOPS 3202850 HAS SOUS 2738652 HAS SOUPS 2738652 WITH SCORE 2741854.85
AT ITER 748 NEW BEST:: SOT 4090504 SOS 3202850 HAS SOPS 3202850 HAS SOUS 2738006 HAS SOUPS 2738006 WITH SCORE 2741208.85
AT ITER 750 NEW BEST:: SOT 4090504 SOS 3202850 HAS SOPS 3202850 HAS SOUS 2737224 HAS SOUPS 2737224 WITH SCORE 2740426.85
AT ITER 752 NEW BEST:: SOT 4090504 SOS 3202850 HAS SOPS 3202850 HAS SOUS 2737198 HAS SOUPS 2737198 WITH SCORE 2740400.85
AT ITER 756 NEW BEST:: SOT 4090504 SOS 3202850 HAS SOPS 3202850 HAS SOUS 2735464 HAS SOUPS 2735464 WITH SCORE 2738666.85
AT ITER 760 NEW BEST:: SOT 4090504 SOS 3202554 HAS SOPS 3202554 HAS SOUS 2735168 HAS SOUPS 2735168 WITH SCORE 2738370.554
AT ITER 761 NEW BEST:: SOT 4090504 SOS 3201672 HAS SOPS 3201672 HAS SOUS 2733304 HAS SOUPS 2733304 WITH SCORE 2736505.672
AT ITER 762 NEW BEST:: SOT 4090504 SOS 3201672 HAS SOPS 3201672 HAS SOUS 2732084 HAS SOUPS 2732084 WITH SCORE 2735285.672
AT ITER 766 NEW BEST:: SOT 4090504 SOS 3201302 HAS SOPS 3201302 HAS SOUS 2731714 HAS SOUPS 2731714 WITH SCORE 2734915.302
AT ITER 770 NEW BEST:: SOT 4090504 SOS 3201302 HAS SOPS 3201302 HAS SOUS 2731586 HAS SOUPS 2731586 WITH SCORE 2734787.302
AT ITER 772 NEW BEST:: SOT 4090504 SOS 3201302 HAS SOPS 3201302 HAS SOUS 2731326 HAS SOUPS 2731326 WITH SCORE 2734527.302
AT ITER 773 NEW BEST:: SOT 4090504 SOS 3200698 HAS SOPS 3200698 HAS SOUS 2730568 HAS SOUPS 2730568 WITH SCORE 2733768.698
AT ITER 776 NEW BEST:: SOT 4090504 SOS 3199988 HAS SOPS 3199988 HAS SOUS 2728574 HAS SOUPS 2728574 WITH SCORE 2731773.988
AT ITER 779 NEW BEST:: SOT 4090504 SOS 3199988 HAS SOPS 3199988 HAS SOUS 2727762 HAS SOUPS 2727762 WITH SCORE 2730961.988
AT ITER 783 NEW BEST:: SOT 4090504 SOS 3199988 HAS SOPS 3199988 HAS SOUS 2727382 HAS SOUPS 2727382 WITH SCORE 2730581.988
AT ITER 788 NEW BEST:: SOT 4090504 SOS 3199988 HAS SOPS 3199988 HAS SOUS 2727020 HAS SOUPS 2727020 WITH SCORE 2730219.988
AT ITER 791 NEW BEST:: SOT 4090504 SOS 3199988 HAS SOPS 3199988 HAS SOUS 2726274 HAS SOUPS 2726274 WITH SCORE 2729473.988
AT ITER 793 NEW BEST:: SOT 4090504 SOS 3199818 HAS SOPS 3199818 HAS SOUS 2726070 HAS SOUPS 2726070 WITH SCORE 2729269.818
AT ITER 794 NEW BEST:: SOT 4090504 SOS 3199818 HAS SOPS 3199818 HAS SOUS 2724874 HAS SOUPS 2724874 WITH SCORE 2728073.818
AT ITER 796 NEW BEST:: SOT 4090504 SOS 3199704 HAS SOPS 3199704 HAS SOUS 2724760 HAS SOUPS 2724760 WITH SCORE 2727959.704
AT ITER 797 NEW BEST:: SOT 4090504 SOS 3199700 HAS SOPS 3199700 HAS SOUS 2724756 HAS SOUPS 2724756 WITH SCORE 2727955.7
AT ITER 799 NEW BEST:: SOT 4090504 SOS 3199700 HAS SOPS 3199700 HAS SOUS 2724022 HAS SOUPS 2724022 WITH SCORE 2727221.7
AT ITER 804 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2724004 HAS SOUPS 2724004 WITH SCORE 2727203.682
AT ITER 806 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2723548 HAS SOUPS 2723548 WITH SCORE 2726747.682
AT ITER 807 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2721696 HAS SOUPS 2721696 WITH SCORE 2724895.682
AT ITER 808 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2721492 HAS SOUPS 2721492 WITH SCORE 2724691.682
AT ITER 811 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2721294 HAS SOUPS 2721294 WITH SCORE 2724493.682
AT ITER 815 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2720714 HAS SOUPS 2720714 WITH SCORE 2723913.682
AT ITER 820 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2720324 HAS SOUPS 2720324 WITH SCORE 2723523.682
AT ITER 823 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2719938 HAS SOUPS 2719938 WITH SCORE 2723137.682
AT ITER 824 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2719594 HAS SOUPS 2719594 WITH SCORE 2722793.682
AT ITER 830 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2719150 HAS SOUPS 2719150 WITH SCORE 2722349.682
AT ITER 834 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2719020 HAS SOUPS 2719020 WITH SCORE 2722219.682
AT ITER 837 NEW BEST:: SOT 4090504 SOS 3199682 HAS SOPS 3199682 HAS SOUS 2718742 HAS SOUPS 2718742 WITH SCORE 2721941.682
AT ITER 839 NEW BEST:: SOT 4090504 SOS 3199454 HAS SOPS 3199454 HAS SOUS 2718514 HAS SOUPS 2718514 WITH SCORE 2721713.454
AT ITER 840 NEW BEST:: SOT 4090504 SOS 3199454 HAS SOPS 3199454 HAS SOUS 2717144 HAS SOUPS 2717144 WITH SCORE 2720343.454
AT ITER 845 NEW BEST:: SOT 4090504 SOS 3199242 HAS SOPS 3199242 HAS SOUS 2716836 HAS SOUPS 2716836 WITH SCORE 2720035.242
AT ITER 846 NEW BEST:: SOT 4090504 SOS 3199242 HAS SOPS 3199242 HAS SOUS 2716672 HAS SOUPS 2716672 WITH SCORE 2719871.242
AT ITER 848 NEW BEST:: SOT 4090504 SOS 3198286 HAS SOPS 3198286 HAS SOUS 2714808 HAS SOUPS 2714808 WITH SCORE 2718006.286
AT ITER 851 NEW BEST:: SOT 4090504 SOS 3197820 HAS SOPS 3197820 HAS SOUS 2714342 HAS SOUPS 2714342 WITH SCORE 2717539.82
AT ITER 855 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2713342 HAS SOUPS 2713342 WITH SCORE 2716538.82
AT ITER 856 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2712844 HAS SOUPS 2712844 WITH SCORE 2716040.82
AT ITER 857 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2712656 HAS SOUPS 2712656 WITH SCORE 2715852.82
AT ITER 858 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2712622 HAS SOUPS 2712622 WITH SCORE 2715818.82
AT ITER 864 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2712014 HAS SOUPS 2712014 WITH SCORE 2715210.82
AT ITER 866 NEW BEST:: SOT 4089504 SOS 3196820 HAS SOPS 3196820 HAS SOUS 2711578 HAS SOUPS 2711578 WITH SCORE 2714774.82
AT ITER 871 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2710914 HAS SOUPS 2710914 WITH SCORE 2714110.36
AT ITER 875 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2709242 HAS SOUPS 2709242 WITH SCORE 2712438.36
AT ITER 876 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2708358 HAS SOUPS 2708358 WITH SCORE 2711554.36
AT ITER 877 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2707190 HAS SOUPS 2707190 WITH SCORE 2710386.36
AT ITER 882 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2705574 HAS SOUPS 2705574 WITH SCORE 2708770.36
AT ITER 884 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2705426 HAS SOUPS 2705426 WITH SCORE 2708622.36
AT ITER 885 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2704928 HAS SOUPS 2704928 WITH SCORE 2708124.36
AT ITER 892 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2704898 HAS SOUPS 2704898 WITH SCORE 2708094.36
AT ITER 907 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2704632 HAS SOUPS 2704632 WITH SCORE 2707828.36
AT ITER 908 NEW BEST:: SOT 4089504 SOS 3196360 HAS SOPS 3196360 HAS SOUS 2702894 HAS SOUPS 2702894 WITH SCORE 2706090.36
AT ITER 910 NEW BEST:: SOT 4089504 SOS 3195990 HAS SOPS 3195990 HAS SOUS 2701558 HAS SOUPS 2701558 WITH SCORE 2704753.99
AT ITER 915 NEW BEST:: SOT 4089484 SOS 3195970 HAS SOPS 3195970 HAS SOUS 2701538 HAS SOUPS 2701538 WITH SCORE 2704733.97
AT ITER 920 NEW BEST:: SOT 4089484 SOS 3195250 HAS SOPS 3195250 HAS SOUS 2700384 HAS SOUPS 2700384 WITH SCORE 2703579.25
AT ITER 922 NEW BEST:: SOT 4089484 SOS 3195250 HAS SOPS 3195250 HAS SOUS 2700358 HAS SOUPS 2700358 WITH SCORE 2703553.25
AT ITER 925 NEW BEST:: SOT 4089484 SOS 3194902 HAS SOPS 3194902 HAS SOUS 2700010 HAS SOUPS 2700010 WITH SCORE 2703204.902
AT ITER 926 NEW BEST:: SOT 4089484 SOS 3194902 HAS SOPS 3194902 HAS SOUS 2699830 HAS SOUPS 2699830 WITH SCORE 2703024.902
AT ITER 935 NEW BEST:: SOT 4089484 SOS 3194902 HAS SOPS 3194902 HAS SOUS 2698546 HAS SOUPS 2698546 WITH SCORE 2701740.902
AT ITER 937 NEW BEST:: SOT 4089484 SOS 3194902 HAS SOPS 3194902 HAS SOUS 2697736 HAS SOUPS 2697736 WITH SCORE 2700930.902
AT ITER 938 NEW BEST:: SOT 4089484 SOS 3194794 HAS SOPS 3194794 HAS SOUS 2697274 HAS SOUPS 2697274 WITH SCORE 2700468.794
AT ITER 939 NEW BEST:: SOT 4089484 SOS 3194794 HAS SOPS 3194794 HAS SOUS 2696764 HAS SOUPS 2696764 WITH SCORE 2699958.794
AT ITER 944 NEW BEST:: SOT 4089484 SOS 3194794 HAS SOPS 3194794 HAS SOUS 2695930 HAS SOUPS 2695930 WITH SCORE 2699124.794
AT ITER 945 NEW BEST:: SOT 4089484 SOS 3194794 HAS SOPS 3194794 HAS SOUS 2695548 HAS SOUPS 2695548 WITH SCORE 2698742.794
AT ITER 948 NEW BEST:: SOT 4089484 SOS 3194794 HAS SOPS 3194794 HAS SOUS 2694498 HAS SOUPS 2694498 WITH SCORE 2697692.794
AT ITER 949 NEW BEST:: SOT 4088112 SOS 3194348 HAS SOPS 3194348 HAS SOUS 2694052 HAS SOUPS 2694052 WITH SCORE 2697246.348
AT ITER 952 NEW BEST:: SOT 4088112 SOS 3194348 HAS SOPS 3194348 HAS SOUS 2693938 HAS SOUPS 2693938 WITH SCORE 2697132.348
AT ITER 953 NEW BEST:: SOT 4088112 SOS 3194348 HAS SOPS 3194348 HAS SOUS 2693638 HAS SOUPS 2693638 WITH SCORE 2696832.348
AT ITER 959 NEW BEST:: SOT 4088112 SOS 3194176 HAS SOPS 3194176 HAS SOUS 2693466 HAS SOUPS 2693466 WITH SCORE 2696660.176
AT ITER 965 NEW BEST:: SOT 4088112 SOS 3194176 HAS SOPS 3194176 HAS SOUS 2692544 HAS SOUPS 2692544 WITH SCORE 2695738.176
AT ITER 972 NEW BEST:: SOT 4088112 SOS 3194176 HAS SOPS 3194176 HAS SOUS 2692492 HAS SOUPS 2692492 WITH SCORE 2695686.176
AT ITER 976 NEW BEST:: SOT 4088086 SOS 3194030 HAS SOPS 3194030 HAS SOUS 2691840 HAS SOUPS 2691840 WITH SCORE 2695034.03
AT ITER 977 NEW BEST:: SOT 4088086 SOS 3193546 HAS SOPS 3193546 HAS SOUS 2690386 HAS SOUPS 2690386 WITH SCORE 2693579.546
AT ITER 980 NEW BEST:: SOT 4088086 SOS 3192648 HAS SOPS 3192648 HAS SOUS 2688540 HAS SOUPS 2688540 WITH SCORE 2691732.648
AT ITER 982 NEW BEST:: SOT 4088086 SOS 3192648 HAS SOPS 3192648 HAS SOUS 2688206 HAS SOUPS 2688206 WITH SCORE 2691398.648
AT ITER 996 NEW BEST:: SOT 4088086 SOS 3192648 HAS SOPS 3192648 HAS SOUS 2687994 HAS SOUPS 2687994 WITH SCORE 2691186.648
AT ITER 997 NEW BEST:: SOT 4088086 SOS 3192360 HAS SOPS 3192360 HAS SOUS 2687706 HAS SOUPS 2687706 WITH SCORE 2690898.36
AT ITER 1000 NEW BEST:: SOT 4088086 SOS 3192360 HAS SOPS 3192360 HAS SOUS 2687258 HAS SOUPS 2687258 WITH SCORE 2690450.36
AT ITER 1002 NEW BEST:: SOT 4088086 SOS 3192360 HAS SOPS 3192360 HAS SOUS 2685716 HAS SOUPS 2685716 WITH SCORE 2688908.36
AT ITER 1003 NEW BEST:: SOT 4088086 SOS 3192360 HAS SOPS 3192360 HAS SOUS 2685334 HAS SOUPS 2685334 WITH SCORE 2688526.36
AT ITER 1012 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2684630 HAS SOUPS 2684630 WITH SCORE 2688227.198
AT ITER 1017 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2684606 HAS SOUPS 2684606 WITH SCORE 2688203.198
AT ITER 1019 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2683056 HAS SOUPS 2683056 WITH SCORE 2686653.198
AT ITER 1021 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2682650 HAS SOUPS 2682650 WITH SCORE 2686247.198
AT ITER 1026 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2682220 HAS SOUPS 2682220 WITH SCORE 2685817.198
AT ITER 1028 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2680326 HAS SOUPS 2680326 WITH SCORE 2683923.198
AT ITER 1031 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2680086 HAS SOUPS 2680086 WITH SCORE 2683683.198
AT ITER 1036 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2680040 HAS SOUPS 2680040 WITH SCORE 2683637.198
AT ITER 1043 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2678180 HAS SOUPS 2678180 WITH SCORE 2681777.198
AT ITER 1044 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2678094 HAS SOUPS 2678094 WITH SCORE 2681691.198
AT ITER 1045 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2677046 HAS SOUPS 2677046 WITH SCORE 2680643.198
AT ITER 1046 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2675490 HAS SOUPS 2675490 WITH SCORE 2679087.198
AT ITER 1056 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2674560 HAS SOUPS 2674560 WITH SCORE 2678157.198
AT ITER 1058 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2674484 HAS SOUPS 2674484 WITH SCORE 2678081.198
AT ITER 1059 NEW BEST:: SOT 4086740 SOS 3597198 HAS SOPS 3597198 HAS SOUS 2673844 HAS SOUPS 2673844 WITH SCORE 2677441.198
AT ITER 1061 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2673828 HAS SOUPS 2673828 WITH SCORE 2677425.182
AT ITER 1063 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2673512 HAS SOUPS 2673512 WITH SCORE 2677109.182
AT ITER 1065 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2672350 HAS SOUPS 2672350 WITH SCORE 2675947.182
AT ITER 1066 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2671872 HAS SOUPS 2671872 WITH SCORE 2675469.182
AT ITER 1075 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2671794 HAS SOUPS 2671794 WITH SCORE 2675391.182
AT ITER 1085 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2671042 HAS SOUPS 2671042 WITH SCORE 2674639.182
AT ITER 1097 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2669272 HAS SOUPS 2669272 WITH SCORE 2672869.182
AT ITER 1104 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2669256 HAS SOUPS 2669256 WITH SCORE 2672853.182
AT ITER 1105 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2668916 HAS SOUPS 2668916 WITH SCORE 2672513.182
AT ITER 1106 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2668636 HAS SOUPS 2668636 WITH SCORE 2672233.182
AT ITER 1107 NEW BEST:: SOT 4086740 SOS 3597182 HAS SOPS 3597182 HAS SOUS 2668448 HAS SOUPS 2668448 WITH SCORE 2672045.182
AT ITER 1114 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2667412 HAS SOUPS 2667412 WITH SCORE 2671009.05
AT ITER 1116 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2665952 HAS SOUPS 2665952 WITH SCORE 2669549.05
AT ITER 1117 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2665244 HAS SOUPS 2665244 WITH SCORE 2668841.05
AT ITER 1122 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2664362 HAS SOUPS 2664362 WITH SCORE 2667959.05
AT ITER 1124 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2663608 HAS SOUPS 2663608 WITH SCORE 2667205.05
AT ITER 1129 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2662936 HAS SOUPS 2662936 WITH SCORE 2666533.05
AT ITER 1134 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2662056 HAS SOUPS 2662056 WITH SCORE 2665653.05
AT ITER 1140 NEW BEST:: SOT 4086740 SOS 3597050 HAS SOPS 3597050 HAS SOUS 2661732 HAS SOUPS 2661732 WITH SCORE 2665329.05
AT ITER 1141 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2661142 HAS SOUPS 2661142 WITH SCORE 2664739.032
AT ITER 1151 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2661114 HAS SOUPS 2661114 WITH SCORE 2664711.032
AT ITER 1152 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2661098 HAS SOUPS 2661098 WITH SCORE 2664695.032
AT ITER 1154 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2660714 HAS SOUPS 2660714 WITH SCORE 2664311.032
AT ITER 1155 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2660342 HAS SOUPS 2660342 WITH SCORE 2663939.032
AT ITER 1164 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2659130 HAS SOUPS 2659130 WITH SCORE 2662727.032
AT ITER 1165 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2659000 HAS SOUPS 2659000 WITH SCORE 2662597.032
AT ITER 1170 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2657806 HAS SOUPS 2657806 WITH SCORE 2661403.032
AT ITER 1172 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2657234 HAS SOUPS 2657234 WITH SCORE 2660831.032
AT ITER 1174 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2655376 HAS SOUPS 2655376 WITH SCORE 2658973.032
AT ITER 1177 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2655160 HAS SOUPS 2655160 WITH SCORE 2658757.032
AT ITER 1181 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2654786 HAS SOUPS 2654786 WITH SCORE 2658383.032
AT ITER 1182 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2654758 HAS SOUPS 2654758 WITH SCORE 2658355.032
AT ITER 1186 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2654376 HAS SOUPS 2654376 WITH SCORE 2657973.032
AT ITER 1187 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2654082 HAS SOUPS 2654082 WITH SCORE 2657679.032
AT ITER 1188 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2653442 HAS SOUPS 2653442 WITH SCORE 2657039.032
AT ITER 1189 NEW BEST:: SOT 4086740 SOS 3597032 HAS SOPS 3597032 HAS SOUS 2653242 HAS SOUPS 2653242 WITH SCORE 2656839.032
AT ITER 1192 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2651508 HAS SOUPS 2651508 WITH SCORE 2655104.872
AT ITER 1195 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2651322 HAS SOUPS 2651322 WITH SCORE 2654918.872
AT ITER 1196 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2651050 HAS SOUPS 2651050 WITH SCORE 2654646.872
AT ITER 1198 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2649652 HAS SOUPS 2649652 WITH SCORE 2653248.872
AT ITER 1199 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2649300 HAS SOUPS 2649300 WITH SCORE 2652896.872
AT ITER 1209 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2648278 HAS SOUPS 2648278 WITH SCORE 2651874.872
AT ITER 1211 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2647954 HAS SOUPS 2647954 WITH SCORE 2651550.872
AT ITER 1212 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2646104 HAS SOUPS 2646104 WITH SCORE 2649700.872
AT ITER 1213 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2646102 HAS SOUPS 2646102 WITH SCORE 2649698.872
AT ITER 1214 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2644594 HAS SOUPS 2644594 WITH SCORE 2648190.872
AT ITER 1215 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2644084 HAS SOUPS 2644084 WITH SCORE 2647680.872
AT ITER 1216 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2643948 HAS SOUPS 2643948 WITH SCORE 2647544.872
AT ITER 1217 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2642800 HAS SOUPS 2642800 WITH SCORE 2646396.872
AT ITER 1237 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2642774 HAS SOUPS 2642774 WITH SCORE 2646370.872
AT ITER 1239 NEW BEST:: SOT 4086740 SOS 3596872 HAS SOPS 3596872 HAS SOUS 2642602 HAS SOUPS 2642602 WITH SCORE 2646198.872
AT ITER 1243 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2642540 HAS SOUPS 2642540 WITH SCORE 2646136.81
AT ITER 1245 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2642508 HAS SOUPS 2642508 WITH SCORE 2646104.81
AT ITER 1247 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2641688 HAS SOUPS 2641688 WITH SCORE 2645284.81
AT ITER 1248 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2641626 HAS SOUPS 2641626 WITH SCORE 2645222.81
AT ITER 1249 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2641624 HAS SOUPS 2641624 WITH SCORE 2645220.81
AT ITER 1250 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2641364 HAS SOUPS 2641364 WITH SCORE 2644960.81
AT ITER 1255 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2640948 HAS SOUPS 2640948 WITH SCORE 2644544.81
AT ITER 1262 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2639422 HAS SOUPS 2639422 WITH SCORE 2643018.81
AT ITER 1265 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2638046 HAS SOUPS 2638046 WITH SCORE 2641642.81
AT ITER 1266 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2637540 HAS SOUPS 2637540 WITH SCORE 2641136.81
AT ITER 1267 NEW BEST:: SOT 4086740 SOS 3596810 HAS SOPS 3596810 HAS SOUS 2637292 HAS SOUPS 2637292 WITH SCORE 2640888.81
AT ITER 1269 NEW BEST:: SOT 4086740 SOS 3596794 HAS SOPS 3596794 HAS SOUS 2637264 HAS SOUPS 2637264 WITH SCORE 2640860.794
AT ITER 1271 NEW BEST:: SOT 4086740 SOS 3596492 HAS SOPS 3596492 HAS SOUS 2635340 HAS SOUPS 2635340 WITH SCORE 2638936.492
AT ITER 1273 NEW BEST:: SOT 4086740 SOS 3596492 HAS SOPS 3596492 HAS SOUS 2634982 HAS SOUPS 2634982 WITH SCORE 2638578.492
AT ITER 1274 NEW BEST:: SOT 4086740 SOS 3596492 HAS SOPS 3596492 HAS SOUS 2634346 HAS SOUPS 2634346 WITH SCORE 2637942.492
AT ITER 1275 NEW BEST:: SOT 4086740 SOS 3596492 HAS SOPS 3596492 HAS SOUS 2633854 HAS SOUPS 2633854 WITH SCORE 2637450.492
AT ITER 1278 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2631560 HAS SOUPS 2631560 WITH SCORE 2635154.198
AT ITER 1279 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2631530 HAS SOUPS 2631530 WITH SCORE 2635124.198
AT ITER 1280 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2630984 HAS SOUPS 2630984 WITH SCORE 2634578.198
AT ITER 1281 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2629978 HAS SOUPS 2629978 WITH SCORE 2633572.198
AT ITER 1282 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2629212 HAS SOUPS 2629212 WITH SCORE 2632806.198
AT ITER 1284 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2628582 HAS SOUPS 2628582 WITH SCORE 2632176.198
AT ITER 1287 NEW BEST:: SOT 4084446 SOS 3594198 HAS SOPS 3594198 HAS SOUS 2627322 HAS SOUPS 2627322 WITH SCORE 2630916.198
AT ITER 1297 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2626946 HAS SOUPS 2626946 WITH SCORE 2630539.822
AT ITER 1300 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2626526 HAS SOUPS 2626526 WITH SCORE 2630119.822
AT ITER 1304 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2625778 HAS SOUPS 2625778 WITH SCORE 2629371.822
AT ITER 1308 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2624834 HAS SOUPS 2624834 WITH SCORE 2628427.822
AT ITER 1317 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2623636 HAS SOUPS 2623636 WITH SCORE 2627229.822
AT ITER 1328 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2622370 HAS SOUPS 2622370 WITH SCORE 2625963.822
AT ITER 1335 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2621884 HAS SOUPS 2621884 WITH SCORE 2625477.822
AT ITER 1338 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2620430 HAS SOUPS 2620430 WITH SCORE 2624023.822
AT ITER 1347 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2620368 HAS SOUPS 2620368 WITH SCORE 2623961.822
AT ITER 1348 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2619710 HAS SOUPS 2619710 WITH SCORE 2623303.822
AT ITER 1350 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2618998 HAS SOUPS 2618998 WITH SCORE 2622591.822
AT ITER 1352 NEW BEST:: SOT 4084070 SOS 3593822 HAS SOPS 3593822 HAS SOUS 2618004 HAS SOUPS 2618004 WITH SCORE 2621597.822
AT ITER 1356 NEW BEST:: SOT 4084070 SOS 3593800 HAS SOPS 3593800 HAS SOUS 2617018 HAS SOUPS 2617018 WITH SCORE 2620611.8
AT ITER 1363 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2616984 HAS SOUPS 2616984 WITH SCORE 2620577.766
AT ITER 1364 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2616232 HAS SOUPS 2616232 WITH SCORE 2619825.766
AT ITER 1367 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2615296 HAS SOUPS 2615296 WITH SCORE 2618889.766
AT ITER 1371 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2614788 HAS SOUPS 2614788 WITH SCORE 2618381.766
AT ITER 1374 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2612866 HAS SOUPS 2612866 WITH SCORE 2616459.766
AT ITER 1376 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2611826 HAS SOUPS 2611826 WITH SCORE 2615419.766
AT ITER 1377 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2611492 HAS SOUPS 2611492 WITH SCORE 2615085.766
AT ITER 1379 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2609796 HAS SOUPS 2609796 WITH SCORE 2613389.766
AT ITER 1381 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2609104 HAS SOUPS 2609104 WITH SCORE 2612697.766
AT ITER 1383 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2608752 HAS SOUPS 2608752 WITH SCORE 2612345.766
AT ITER 1386 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2608226 HAS SOUPS 2608226 WITH SCORE 2611819.766
AT ITER 1391 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2608200 HAS SOUPS 2608200 WITH SCORE 2611793.766
AT ITER 1403 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2607884 HAS SOUPS 2607884 WITH SCORE 2611477.766
AT ITER 1411 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2607078 HAS SOUPS 2607078 WITH SCORE 2610671.766
AT ITER 1413 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2606890 HAS SOUPS 2606890 WITH SCORE 2610483.766
AT ITER 1414 NEW BEST:: SOT 4084070 SOS 3593766 HAS SOPS 3593766 HAS SOUS 2606632 HAS SOUPS 2606632 WITH SCORE 2610225.766
AT ITER 1418 NEW BEST:: SOT 4084070 SOS 3593594 HAS SOPS 3593594 HAS SOUS 2605992 HAS SOUPS 2605992 WITH SCORE 2609585.594
AT ITER 1419 NEW BEST:: SOT 4084070 SOS 3593594 HAS SOPS 3593594 HAS SOUS 2605748 HAS SOUPS 2605748 WITH SCORE 2609341.594
AT ITER 1421 NEW BEST:: SOT 4084070 SOS 3593594 HAS SOPS 3593594 HAS SOUS 2605280 HAS SOUPS 2605280 WITH SCORE 2608873.594
AT ITER 1425 NEW BEST:: SOT 4084070 SOS 3593594 HAS SOPS 3593594 HAS SOUS 2604442 HAS SOUPS 2604442 WITH SCORE 2608035.594
AT ITER 1426 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603622 HAS SOUPS 2603622 WITH SCORE 2607215.574
AT ITER 1428 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603564 HAS SOUPS 2603564 WITH SCORE 2607157.574
AT ITER 1431 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603408 HAS SOUPS 2603408 WITH SCORE 2607001.574
AT ITER 1435 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603346 HAS SOUPS 2603346 WITH SCORE 2606939.574
AT ITER 1437 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603262 HAS SOUPS 2603262 WITH SCORE 2606855.574
AT ITER 1441 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603222 HAS SOUPS 2603222 WITH SCORE 2606815.574
AT ITER 1442 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2603060 HAS SOUPS 2603060 WITH SCORE 2606653.574
AT ITER 1443 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2602932 HAS SOUPS 2602932 WITH SCORE 2606525.574
AT ITER 1444 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2602280 HAS SOUPS 2602280 WITH SCORE 2605873.574
AT ITER 1448 NEW BEST:: SOT 4084050 SOS 3593574 HAS SOPS 3593574 HAS SOUS 2601002 HAS SOUPS 2601002 WITH SCORE 2604595.574
AT ITER 1456 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2599256 HAS SOUPS 2599256 WITH SCORE 2602847.828
AT ITER 1466 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2597828 HAS SOUPS 2597828 WITH SCORE 2601419.828
AT ITER 1470 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2597332 HAS SOUPS 2597332 WITH SCORE 2600923.828
AT ITER 1479 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2596682 HAS SOUPS 2596682 WITH SCORE 2600273.828
AT ITER 1484 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2596408 HAS SOUPS 2596408 WITH SCORE 2599999.828
AT ITER 1493 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2596142 HAS SOUPS 2596142 WITH SCORE 2599733.828
AT ITER 1495 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2596124 HAS SOUPS 2596124 WITH SCORE 2599715.828
AT ITER 1506 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2595504 HAS SOUPS 2595504 WITH SCORE 2599095.828
AT ITER 1514 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2594940 HAS SOUPS 2594940 WITH SCORE 2598531.828
AT ITER 1515 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2594602 HAS SOUPS 2594602 WITH SCORE 2598193.828
AT ITER 1516 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2593786 HAS SOUPS 2593786 WITH SCORE 2597377.828
AT ITER 1517 NEW BEST:: SOT 4082304 SOS 3591828 HAS SOPS 3591828 HAS SOUS 2592816 HAS SOUPS 2592816 WITH SCORE 2596407.828
AT ITER 1518 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2592376 HAS SOUPS 2592376 WITH SCORE 2595967.64
AT ITER 1529 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2591826 HAS SOUPS 2591826 WITH SCORE 2595417.64
AT ITER 1530 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2591646 HAS SOUPS 2591646 WITH SCORE 2595237.64
AT ITER 1531 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2590834 HAS SOUPS 2590834 WITH SCORE 2594425.64
AT ITER 1532 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2589750 HAS SOUPS 2589750 WITH SCORE 2593341.64
AT ITER 1535 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2589438 HAS SOUPS 2589438 WITH SCORE 2593029.64
AT ITER 1538 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2588870 HAS SOUPS 2588870 WITH SCORE 2592461.64
AT ITER 1543 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2587618 HAS SOUPS 2587618 WITH SCORE 2591209.64
AT ITER 1545 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2586872 HAS SOUPS 2586872 WITH SCORE 2590463.64
AT ITER 1552 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2585342 HAS SOUPS 2585342 WITH SCORE 2588933.64
AT ITER 1554 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2584630 HAS SOUPS 2584630 WITH SCORE 2588221.64
AT ITER 1557 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2583366 HAS SOUPS 2583366 WITH SCORE 2586957.64
AT ITER 1562 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2582600 HAS SOUPS 2582600 WITH SCORE 2586191.64
AT ITER 1563 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2582462 HAS SOUPS 2582462 WITH SCORE 2586053.64
AT ITER 1567 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2582082 HAS SOUPS 2582082 WITH SCORE 2585673.64
AT ITER 1568 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2581960 HAS SOUPS 2581960 WITH SCORE 2585551.64
AT ITER 1571 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2581870 HAS SOUPS 2581870 WITH SCORE 2585461.64
AT ITER 1575 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2581560 HAS SOUPS 2581560 WITH SCORE 2585151.64
AT ITER 1578 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2580058 HAS SOUPS 2580058 WITH SCORE 2583649.64
AT ITER 1585 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2579534 HAS SOUPS 2579534 WITH SCORE 2583125.64
AT ITER 1590 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2578954 HAS SOUPS 2578954 WITH SCORE 2582545.64
AT ITER 1593 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2578462 HAS SOUPS 2578462 WITH SCORE 2582053.64
AT ITER 1596 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2577998 HAS SOUPS 2577998 WITH SCORE 2581589.64
AT ITER 1597 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2577156 HAS SOUPS 2577156 WITH SCORE 2580747.64
AT ITER 1600 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2577100 HAS SOUPS 2577100 WITH SCORE 2580691.64
AT ITER 1614 NEW BEST:: SOT 4082304 SOS 3591640 HAS SOPS 3591640 HAS SOUS 2576644 HAS SOUPS 2576644 WITH SCORE 2580235.64
AT ITER 1617 NEW BEST:: SOT 4082276 SOS 3591612 HAS SOPS 3591612 HAS SOUS 2576588 HAS SOUPS 2576588 WITH SCORE 2580179.612
AT ITER 1618 NEW BEST:: SOT 4082276 SOS 3591612 HAS SOPS 3591612 HAS SOUS 2576552 HAS SOUPS 2576552 WITH SCORE 2580143.612
AT ITER 1620 NEW BEST:: SOT 4082276 SOS 3591800 HAS SOPS 3591800 HAS SOUS 2576204 HAS SOUPS 2576204 WITH SCORE 2579795.8
AT ITER 1623 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2576140 HAS SOUPS 2576140 WITH SCORE 2579731.738
AT ITER 1624 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2576130 HAS SOUPS 2576130 WITH SCORE 2579721.738
AT ITER 1626 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2575966 HAS SOUPS 2575966 WITH SCORE 2579557.738
AT ITER 1629 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2575546 HAS SOUPS 2575546 WITH SCORE 2579137.738
AT ITER 1633 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2573640 HAS SOUPS 2573640 WITH SCORE 2577231.738
AT ITER 1634 NEW BEST:: SOT 4082276 SOS 3591738 HAS SOPS 3591738 HAS SOUS 2572372 HAS SOUPS 2572372 WITH SCORE 2575963.738
AT ITER 1635 NEW BEST:: SOT 4082276 SOS 3591688 HAS SOPS 3591688 HAS SOUS 2572322 HAS SOUPS 2572322 WITH SCORE 2575913.688
AT ITER 1638 NEW BEST:: SOT 4082276 SOS 3591572 HAS SOPS 3591572 HAS SOUS 2572206 HAS SOUPS 2572206 WITH SCORE 2575797.572
AT ITER 1643 NEW BEST:: SOT 4082276 SOS 3591572 HAS SOPS 3591572 HAS SOUS 2572052 HAS SOUPS 2572052 WITH SCORE 2575643.572
AT ITER 1645 NEW BEST:: SOT 4082276 SOS 3591572 HAS SOPS 3591572 HAS SOUS 2570652 HAS SOUPS 2570652 WITH SCORE 2574243.572
AT ITER 1651 NEW BEST:: SOT 4082276 SOS 3591200 HAS SOPS 3591200 HAS SOUS 2570280 HAS SOUPS 2570280 WITH SCORE 2573871.2
AT ITER 1661 NEW BEST:: SOT 4082276 SOS 3591200 HAS SOPS 3591200 HAS SOUS 2570140 HAS SOUPS 2570140 WITH SCORE 2573731.2
AT ITER 1665 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2568356 HAS SOUPS 2568356 WITH SCORE 2571947.158
AT ITER 1668 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2567630 HAS SOUPS 2567630 WITH SCORE 2571221.158
AT ITER 1671 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2567474 HAS SOUPS 2567474 WITH SCORE 2571065.158
AT ITER 1684 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2566876 HAS SOUPS 2566876 WITH SCORE 2570467.158
AT ITER 1685 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2566810 HAS SOUPS 2566810 WITH SCORE 2570401.158
AT ITER 1689 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2565150 HAS SOUPS 2565150 WITH SCORE 2568741.158
AT ITER 1691 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2564900 HAS SOUPS 2564900 WITH SCORE 2568491.158
AT ITER 1693 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2564324 HAS SOUPS 2564324 WITH SCORE 2567915.158
AT ITER 1695 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2563946 HAS SOUPS 2563946 WITH SCORE 2567537.158
AT ITER 1697 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2563392 HAS SOUPS 2563392 WITH SCORE 2566983.158
AT ITER 1702 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2562474 HAS SOUPS 2562474 WITH SCORE 2566065.158
AT ITER 1705 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2560676 HAS SOUPS 2560676 WITH SCORE 2564267.158
AT ITER 1708 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2560080 HAS SOUPS 2560080 WITH SCORE 2563671.158
AT ITER 1709 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2558534 HAS SOUPS 2558534 WITH SCORE 2562125.158
AT ITER 1710 NEW BEST:: SOT 4082276 SOS 3591158 HAS SOPS 3591158 HAS SOUS 2558158 HAS SOUPS 2558158 WITH SCORE 2561749.158
AT ITER 1714 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557992 HAS SOUPS 2557992 WITH SCORE 2561582.992
AT ITER 1718 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557948 HAS SOUPS 2557948 WITH SCORE 2561538.992
AT ITER 1734 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557924 HAS SOUPS 2557924 WITH SCORE 2561514.992
AT ITER 1742 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557878 HAS SOUPS 2557878 WITH SCORE 2561468.992
AT ITER 1746 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557370 HAS SOUPS 2557370 WITH SCORE 2560960.992
AT ITER 1758 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2557026 HAS SOUPS 2557026 WITH SCORE 2560616.992
AT ITER 1759 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2556262 HAS SOUPS 2556262 WITH SCORE 2559852.992
AT ITER 1760 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2556134 HAS SOUPS 2556134 WITH SCORE 2559724.992
AT ITER 1763 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2555524 HAS SOUPS 2555524 WITH SCORE 2559114.992
AT ITER 1770 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2555506 HAS SOUPS 2555506 WITH SCORE 2559096.992
AT ITER 1771 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2555482 HAS SOUPS 2555482 WITH SCORE 2559072.992
AT ITER 1783 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2555468 HAS SOUPS 2555468 WITH SCORE 2559058.992
AT ITER 1784 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2555292 HAS SOUPS 2555292 WITH SCORE 2558882.992
AT ITER 1792 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2554172 HAS SOUPS 2554172 WITH SCORE 2557762.992
AT ITER 1794 NEW BEST:: SOT 4082276 SOS 3590992 HAS SOPS 3590992 HAS SOUS 2553216 HAS SOUPS 2553216 WITH SCORE 2556806.992
AT ITER 1795 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2551482 HAS SOUPS 2551482 WITH SCORE 2555071.258
AT ITER 1796 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2550918 HAS SOUPS 2550918 WITH SCORE 2554507.258
AT ITER 1799 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2550526 HAS SOUPS 2550526 WITH SCORE 2554115.258
AT ITER 1801 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2550340 HAS SOUPS 2550340 WITH SCORE 2553929.258
AT ITER 1802 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2550210 HAS SOUPS 2550210 WITH SCORE 2553799.258
AT ITER 1804 NEW BEST:: SOT 4080542 SOS 3589258 HAS SOPS 3589258 HAS SOUS 2549134 HAS SOUPS 2549134 WITH SCORE 2552723.258
AT ITER 1805 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2548452 HAS SOUPS 2548452 WITH SCORE 2552041.088
AT ITER 1808 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2547816 HAS SOUPS 2547816 WITH SCORE 2551405.088
AT ITER 1812 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2547688 HAS SOUPS 2547688 WITH SCORE 2551277.088
AT ITER 1813 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2547222 HAS SOUPS 2547222 WITH SCORE 2550811.088
AT ITER 1819 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2546792 HAS SOUPS 2546792 WITH SCORE 2550381.088
AT ITER 1822 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2545216 HAS SOUPS 2545216 WITH SCORE 2548805.088
AT ITER 1827 NEW BEST:: SOT 4080542 SOS 3589088 HAS SOPS 3589088 HAS SOUS 2544832 HAS SOUPS 2544832 WITH SCORE 2548421.088
AT ITER 1830 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2544616 HAS SOUPS 2544616 WITH SCORE 2548204.872
AT ITER 1842 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2543298 HAS SOUPS 2543298 WITH SCORE 2546886.872
AT ITER 1854 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2543058 HAS SOUPS 2543058 WITH SCORE 2546646.872
AT ITER 1855 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2542794 HAS SOUPS 2542794 WITH SCORE 2546382.872
AT ITER 1857 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2542410 HAS SOUPS 2542410 WITH SCORE 2545998.872
AT ITER 1860 NEW BEST:: SOT 4080542 SOS 3588872 HAS SOPS 3588872 HAS SOUS 2542280 HAS SOUPS 2542280 WITH SCORE 2545868.872
AT ITER 1865 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2533500 HAS SOUPS 2533500 WITH SCORE 2537080.866
AT ITER 1871 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2533404 HAS SOUPS 2533404 WITH SCORE 2536984.866
AT ITER 1873 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2532878 HAS SOUPS 2532878 WITH SCORE 2536458.866
AT ITER 1874 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2531018 HAS SOUPS 2531018 WITH SCORE 2534598.866
AT ITER 1876 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2530402 HAS SOUPS 2530402 WITH SCORE 2533982.866
AT ITER 1878 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2530080 HAS SOUPS 2530080 WITH SCORE 2533660.866
AT ITER 1882 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2529998 HAS SOUPS 2529998 WITH SCORE 2533578.866
AT ITER 1883 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2529634 HAS SOUPS 2529634 WITH SCORE 2533214.866
AT ITER 1884 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2529256 HAS SOUPS 2529256 WITH SCORE 2532836.866
AT ITER 1885 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2528862 HAS SOUPS 2528862 WITH SCORE 2532442.866
AT ITER 1889 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2528722 HAS SOUPS 2528722 WITH SCORE 2532302.866
AT ITER 1895 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2528564 HAS SOUPS 2528564 WITH SCORE 2532144.866
AT ITER 1901 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2528488 HAS SOUPS 2528488 WITH SCORE 2532068.866
AT ITER 1902 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2527530 HAS SOUPS 2527530 WITH SCORE 2531110.866
AT ITER 1907 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2527320 HAS SOUPS 2527320 WITH SCORE 2530900.866
AT ITER 1909 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2526778 HAS SOUPS 2526778 WITH SCORE 2530358.866
AT ITER 1911 NEW BEST:: SOT 4072536 SOS 3580866 HAS SOPS 3580866 HAS SOUS 2526376 HAS SOUPS 2526376 WITH SCORE 2529956.866
AT ITER 1916 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2525180 HAS SOUPS 2525180 WITH SCORE 2528760.668
AT ITER 1918 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2523316 HAS SOUPS 2523316 WITH SCORE 2526896.668
AT ITER 1920 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2523198 HAS SOUPS 2523198 WITH SCORE 2526778.668
AT ITER 1921 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2521984 HAS SOUPS 2521984 WITH SCORE 2525564.668
AT ITER 1923 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2521958 HAS SOUPS 2521958 WITH SCORE 2525538.668
AT ITER 1929 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2521856 HAS SOUPS 2521856 WITH SCORE 2525436.668
AT ITER 1932 NEW BEST:: SOT 4072536 SOS 3580668 HAS SOPS 3580668 HAS SOUS 2521240 HAS SOUPS 2521240 WITH SCORE 2524820.668
AT ITER 1933 NEW BEST:: SOT 4072536 SOS 3580198 HAS SOPS 3580198 HAS SOUS 2519260 HAS SOUPS 2519260 WITH SCORE 2522840.198
AT ITER 1936 NEW BEST:: SOT 4072536 SOS 3580198 HAS SOPS 3580198 HAS SOUS 2518810 HAS SOUPS 2518810 WITH SCORE 2522390.198
AT ITER 1940 NEW BEST:: SOT 4072536 SOS 3580198 HAS SOPS 3580198 HAS SOUS 2518388 HAS SOUPS 2518388 WITH SCORE 2521968.198
AT ITER 1943 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2518344 HAS SOUPS 2518344 WITH SCORE 2521924.154
AT ITER 1948 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2517350 HAS SOUPS 2517350 WITH SCORE 2520930.154
AT ITER 1949 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2516902 HAS SOUPS 2516902 WITH SCORE 2520482.154
AT ITER 1952 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2515910 HAS SOUPS 2515910 WITH SCORE 2519490.154
AT ITER 1957 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2515684 HAS SOUPS 2515684 WITH SCORE 2519264.154
AT ITER 1958 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2515000 HAS SOUPS 2515000 WITH SCORE 2518580.154
AT ITER 1962 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2514610 HAS SOUPS 2514610 WITH SCORE 2518190.154
AT ITER 1964 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2513830 HAS SOUPS 2513830 WITH SCORE 2517410.154
AT ITER 1965 NEW BEST:: SOT 4072536 SOS 3580154 HAS SOPS 3580154 HAS SOUS 2513242 HAS SOUPS 2513242 WITH SCORE 2516822.154
AT ITER 1966 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2511862 HAS SOUPS 2511862 WITH SCORE 2515442.15
AT ITER 1968 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2511158 HAS SOUPS 2511158 WITH SCORE 2514738.15
AT ITER 1972 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2510260 HAS SOUPS 2510260 WITH SCORE 2513840.15
AT ITER 1975 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2510190 HAS SOUPS 2510190 WITH SCORE 2513770.15
AT ITER 1976 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2509064 HAS SOUPS 2509064 WITH SCORE 2512644.15
AT ITER 1979 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2508458 HAS SOUPS 2508458 WITH SCORE 2512038.15
AT ITER 1981 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2508400 HAS SOUPS 2508400 WITH SCORE 2511980.15
AT ITER 1982 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2507766 HAS SOUPS 2507766 WITH SCORE 2511346.15
AT ITER 1983 NEW BEST:: SOT 4072536 SOS 3580150 HAS SOPS 3580150 HAS SOUS 2505890 HAS SOUPS 2505890 WITH SCORE 2509470.15
AT ITER 1986 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2505396 HAS SOUPS 2505396 WITH SCORE 2508976.114
AT ITER 1987 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2505176 HAS SOUPS 2505176 WITH SCORE 2508756.114
AT ITER 1995 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2504730 HAS SOUPS 2504730 WITH SCORE 2508310.114
AT ITER 1996 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2503260 HAS SOUPS 2503260 WITH SCORE 2506840.114
AT ITER 2004 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2502978 HAS SOUPS 2502978 WITH SCORE 2506558.114
AT ITER 2005 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2501946 HAS SOUPS 2501946 WITH SCORE 2505526.114
AT ITER 2006 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2501264 HAS SOUPS 2501264 WITH SCORE 2504844.114
AT ITER 2007 NEW BEST:: SOT 4072536 SOS 3580114 HAS SOPS 3580114 HAS SOUS 2499870 HAS SOUPS 2499870 WITH SCORE 2503450.114
AT ITER 2015 NEW BEST:: SOT 4070510 SOS 3579516 HAS SOPS 3579516 HAS SOUS 2497678 HAS SOUPS 2497678 WITH SCORE 2501257.516
AT ITER 2018 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2496274 HAS SOUPS 2496274 WITH SCORE 2499853.402
AT ITER 2020 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2496136 HAS SOUPS 2496136 WITH SCORE 2499715.402
AT ITER 2023 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2495590 HAS SOUPS 2495590 WITH SCORE 2499169.402
AT ITER 2024 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2495174 HAS SOUPS 2495174 WITH SCORE 2498753.402
AT ITER 2027 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2494040 HAS SOUPS 2494040 WITH SCORE 2497619.402
AT ITER 2031 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2493872 HAS SOUPS 2493872 WITH SCORE 2497451.402
AT ITER 2035 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2492942 HAS SOUPS 2492942 WITH SCORE 2496521.402
AT ITER 2039 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2492886 HAS SOUPS 2492886 WITH SCORE 2496465.402
AT ITER 2041 NEW BEST:: SOT 4070510 SOS 3579402 HAS SOPS 3579402 HAS SOUS 2491902 HAS SOUPS 2491902 WITH SCORE 2495481.402
AT ITER 2044 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2491830 HAS SOUPS 2491830 WITH SCORE 2495409.33
AT ITER 2046 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2491388 HAS SOUPS 2491388 WITH SCORE 2494967.33
AT ITER 2047 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2491386 HAS SOUPS 2491386 WITH SCORE 2494965.33
AT ITER 2056 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2490476 HAS SOUPS 2490476 WITH SCORE 2494055.33
AT ITER 2057 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2489704 HAS SOUPS 2489704 WITH SCORE 2493283.33
AT ITER 2060 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2489644 HAS SOUPS 2489644 WITH SCORE 2493223.33
AT ITER 2062 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2489642 HAS SOUPS 2489642 WITH SCORE 2493221.33
AT ITER 2069 NEW BEST:: SOT 4070510 SOS 3579330 HAS SOPS 3579330 HAS SOUS 2489604 HAS SOUPS 2489604 WITH SCORE 2493183.33
AT ITER 2071 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2488962 HAS SOUPS 2488962 WITH SCORE 2492541.032
AT ITER 2078 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2488770 HAS SOUPS 2488770 WITH SCORE 2492349.032
AT ITER 2079 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2487780 HAS SOUPS 2487780 WITH SCORE 2491359.032
AT ITER 2080 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2486886 HAS SOUPS 2486886 WITH SCORE 2490465.032
AT ITER 2088 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2486690 HAS SOUPS 2486690 WITH SCORE 2490269.032
AT ITER 2089 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2486574 HAS SOUPS 2486574 WITH SCORE 2490153.032
AT ITER 2103 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2486428 HAS SOUPS 2486428 WITH SCORE 2490007.032
AT ITER 2106 NEW BEST:: SOT 4070510 SOS 3579032 HAS SOPS 3579032 HAS SOUS 2486198 HAS SOUPS 2486198 WITH SCORE 2489777.032
AT ITER 2108 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2485574 HAS SOUPS 2485574 WITH SCORE 2489152.512
AT ITER 2111 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2485210 HAS SOUPS 2485210 WITH SCORE 2488788.512
AT ITER 2113 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2484784 HAS SOUPS 2484784 WITH SCORE 2488362.512
AT ITER 2135 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2483622 HAS SOUPS 2483622 WITH SCORE 2487200.512
AT ITER 2142 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2483206 HAS SOUPS 2483206 WITH SCORE 2486784.512
AT ITER 2144 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2482590 HAS SOUPS 2482590 WITH SCORE 2486168.512
AT ITER 2148 NEW BEST:: SOT 4070510 SOS 3578512 HAS SOPS 3578512 HAS SOUS 2482100 HAS SOUPS 2482100 WITH SCORE 2485678.512
AT ITER 2153 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2481928 HAS SOUPS 2481928 WITH SCORE 2485506.48
AT ITER 2155 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2481462 HAS SOUPS 2481462 WITH SCORE 2485040.48
AT ITER 2164 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2481172 HAS SOUPS 2481172 WITH SCORE 2484750.48
AT ITER 2166 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2480616 HAS SOUPS 2480616 WITH SCORE 2484194.48
AT ITER 2168 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2480160 HAS SOUPS 2480160 WITH SCORE 2483738.48
AT ITER 2174 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2479604 HAS SOUPS 2479604 WITH SCORE 2483182.48
AT ITER 2176 NEW BEST:: SOT 4070510 SOS 3578480 HAS SOPS 3578480 HAS SOUS 2479460 HAS SOUPS 2479460 WITH SCORE 2483038.48
AT ITER 2183 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2479236 HAS SOUPS 2479236 WITH SCORE 2482814.256
AT ITER 2184 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2478470 HAS SOUPS 2478470 WITH SCORE 2482048.256
AT ITER 2185 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2477806 HAS SOUPS 2477806 WITH SCORE 2481384.256
AT ITER 2189 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2477688 HAS SOUPS 2477688 WITH SCORE 2481266.256
AT ITER 2194 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2477600 HAS SOUPS 2477600 WITH SCORE 2481178.256
AT ITER 2198 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2476542 HAS SOUPS 2476542 WITH SCORE 2480120.256
AT ITER 2208 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2475538 HAS SOUPS 2475538 WITH SCORE 2479116.256
AT ITER 2214 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2475152 HAS SOUPS 2475152 WITH SCORE 2478730.256
AT ITER 2216 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2474640 HAS SOUPS 2474640 WITH SCORE 2478218.256
AT ITER 2219 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2474534 HAS SOUPS 2474534 WITH SCORE 2478112.256
AT ITER 2238 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2474330 HAS SOUPS 2474330 WITH SCORE 2477908.256
AT ITER 2240 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2472614 HAS SOUPS 2472614 WITH SCORE 2476192.256
AT ITER 2248 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2472422 HAS SOUPS 2472422 WITH SCORE 2476000.256
AT ITER 2255 NEW BEST:: SOT 4070510 SOS 3578256 HAS SOPS 3578256 HAS SOUS 2472032 HAS SOUPS 2472032 WITH SCORE 2475610.256
AT ITER 2257 NEW BEST:: SOT 4070510 SOS 3578160 HAS SOPS 3578160 HAS SOUS 2470670 HAS SOUPS 2470670 WITH SCORE 2474248.16
AT ITER 2258 NEW BEST:: SOT 4070510 SOS 3578160 HAS SOPS 3578160 HAS SOUS 2470258 HAS SOUPS 2470258 WITH SCORE 2473836.16
AT ITER 2261 NEW BEST:: SOT 4070510 SOS 3578160 HAS SOPS 3578160 HAS SOUS 2469888 HAS SOUPS 2469888 WITH SCORE 2473466.16
AT ITER 2265 NEW BEST:: SOT 4070510 SOS 3578160 HAS SOPS 3578160 HAS SOUS 2469822 HAS SOUPS 2469822 WITH SCORE 2473400.16
AT ITER 2270 NEW BEST:: SOT 4070510 SOS 3578160 HAS SOPS 3578160 HAS SOUS 2469224 HAS SOUPS 2469224 WITH SCORE 2472802.16
AT ITER 2272 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2468616 HAS SOUPS 2468616 WITH SCORE 2472193.552
AT ITER 2276 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2468460 HAS SOUPS 2468460 WITH SCORE 2472037.552
AT ITER 2278 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2468430 HAS SOUPS 2468430 WITH SCORE 2472007.552
AT ITER 2288 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2467884 HAS SOUPS 2467884 WITH SCORE 2471461.552
AT ITER 2289 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2467722 HAS SOUPS 2467722 WITH SCORE 2471299.552
AT ITER 2295 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2467420 HAS SOUPS 2467420 WITH SCORE 2470997.552
AT ITER 2314 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2467362 HAS SOUPS 2467362 WITH SCORE 2470939.552
AT ITER 2321 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2467214 HAS SOUPS 2467214 WITH SCORE 2470791.552
AT ITER 2323 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2466462 HAS SOUPS 2466462 WITH SCORE 2470039.552
AT ITER 2325 NEW BEST:: SOT 4070510 SOS 3577552 HAS SOPS 3577552 HAS SOUS 2466308 HAS SOUPS 2466308 WITH SCORE 2469885.552
AT ITER 2327 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2465740 HAS SOUPS 2465740 WITH SCORE 2469317.154
AT ITER 2339 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2464836 HAS SOUPS 2464836 WITH SCORE 2468413.154
AT ITER 2340 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2464424 HAS SOUPS 2464424 WITH SCORE 2468001.154
AT ITER 2349 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2464410 HAS SOUPS 2464410 WITH SCORE 2467987.154
AT ITER 2361 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2464036 HAS SOUPS 2464036 WITH SCORE 2467613.154
AT ITER 2369 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2464012 HAS SOUPS 2464012 WITH SCORE 2467589.154
AT ITER 2371 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2463912 HAS SOUPS 2463912 WITH SCORE 2467489.154
AT ITER 2374 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2463784 HAS SOUPS 2463784 WITH SCORE 2467361.154
AT ITER 2376 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2463484 HAS SOUPS 2463484 WITH SCORE 2467061.154
AT ITER 2379 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2462382 HAS SOUPS 2462382 WITH SCORE 2465959.154
AT ITER 2385 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2462270 HAS SOUPS 2462270 WITH SCORE 2465847.154
AT ITER 2392 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2461910 HAS SOUPS 2461910 WITH SCORE 2465487.154
AT ITER 2397 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2461350 HAS SOUPS 2461350 WITH SCORE 2464927.154
AT ITER 2402 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2461308 HAS SOUPS 2461308 WITH SCORE 2464885.154
AT ITER 2404 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2461198 HAS SOUPS 2461198 WITH SCORE 2464775.154
AT ITER 2405 NEW BEST:: SOT 4070510 SOS 3577154 HAS SOPS 3577154 HAS SOUS 2461134 HAS SOUPS 2461134 WITH SCORE 2464711.154
AT ITER 2408 NEW BEST:: SOT 4070510 SOS 3576966 HAS SOPS 3576966 HAS SOUS 2460946 HAS SOUPS 2460946 WITH SCORE 2464522.966
AT ITER 2411 NEW BEST:: SOT 4070510 SOS 3576966 HAS SOPS 3576966 HAS SOUS 2459600 HAS SOUPS 2459600 WITH SCORE 2463176.966
AT ITER 2413 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2459592 HAS SOUPS 2459592 WITH SCORE 2463168.958
AT ITER 2416 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2459524 HAS SOUPS 2459524 WITH SCORE 2463100.958
AT ITER 2429 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2459134 HAS SOUPS 2459134 WITH SCORE 2462710.958
AT ITER 2432 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2459090 HAS SOUPS 2459090 WITH SCORE 2462666.958
AT ITER 2434 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2459002 HAS SOUPS 2459002 WITH SCORE 2462578.958
AT ITER 2436 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2458522 HAS SOUPS 2458522 WITH SCORE 2462098.958
AT ITER 2437 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2458510 HAS SOUPS 2458510 WITH SCORE 2462086.958
AT ITER 2438 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2458462 HAS SOUPS 2458462 WITH SCORE 2462038.958
AT ITER 2441 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2458048 HAS SOUPS 2458048 WITH SCORE 2461624.958
AT ITER 2455 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2457774 HAS SOUPS 2457774 WITH SCORE 2461350.958
AT ITER 2461 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2457082 HAS SOUPS 2457082 WITH SCORE 2460658.958
AT ITER 2467 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2457002 HAS SOUPS 2457002 WITH SCORE 2460578.958
AT ITER 2476 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2456946 HAS SOUPS 2456946 WITH SCORE 2460522.958
AT ITER 2481 NEW BEST:: SOT 4070510 SOS 3576958 HAS SOPS 3576958 HAS SOUS 2456558 HAS SOUPS 2456558 WITH SCORE 2460134.958
AT ITER 2488 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2455622 HAS SOUPS 2455622 WITH SCORE 2459198.736
AT ITER 2489 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2455394 HAS SOUPS 2455394 WITH SCORE 2458970.736
AT ITER 2492 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2455184 HAS SOUPS 2455184 WITH SCORE 2458760.736
AT ITER 2497 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2454164 HAS SOUPS 2454164 WITH SCORE 2457740.736
AT ITER 2498 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2454128 HAS SOUPS 2454128 WITH SCORE 2457704.736
AT ITER 2502 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2453228 HAS SOUPS 2453228 WITH SCORE 2456804.736
AT ITER 2506 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2453208 HAS SOUPS 2453208 WITH SCORE 2456784.736
AT ITER 2510 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2452822 HAS SOUPS 2452822 WITH SCORE 2456398.736
AT ITER 2511 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2452240 HAS SOUPS 2452240 WITH SCORE 2455816.736
AT ITER 2515 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2451598 HAS SOUPS 2451598 WITH SCORE 2455174.736
AT ITER 2517 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2450892 HAS SOUPS 2450892 WITH SCORE 2454468.736
AT ITER 2528 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2450812 HAS SOUPS 2450812 WITH SCORE 2454388.736
AT ITER 2529 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2450542 HAS SOUPS 2450542 WITH SCORE 2454118.736
AT ITER 2533 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2449754 HAS SOUPS 2449754 WITH SCORE 2453330.736
AT ITER 2536 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2449654 HAS SOUPS 2449654 WITH SCORE 2453230.736
AT ITER 2541 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2448742 HAS SOUPS 2448742 WITH SCORE 2452318.736
AT ITER 2542 NEW BEST:: SOT 4070510 SOS 3576736 HAS SOPS 3576736 HAS SOUS 2448114 HAS SOUPS 2448114 WITH SCORE 2451690.736
AT ITER 2543 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2447926 HAS SOUPS 2447926 WITH SCORE 2451502.726
AT ITER 2548 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2447094 HAS SOUPS 2447094 WITH SCORE 2450670.726
AT ITER 2549 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2447032 HAS SOUPS 2447032 WITH SCORE 2450608.726
AT ITER 2560 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2446858 HAS SOUPS 2446858 WITH SCORE 2450434.726
AT ITER 2564 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2445038 HAS SOUPS 2445038 WITH SCORE 2448614.726
AT ITER 2566 NEW BEST:: SOT 4070510 SOS 3576726 HAS SOPS 3576726 HAS SOUS 2443152 HAS SOUPS 2443152 WITH SCORE 2446728.726
AT ITER 2569 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2442196 HAS SOUPS 2442196 WITH SCORE 2445772.51
AT ITER 2570 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2442182 HAS SOUPS 2442182 WITH SCORE 2445758.51
AT ITER 2575 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2440630 HAS SOUPS 2440630 WITH SCORE 2444206.51
AT ITER 2579 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2439884 HAS SOUPS 2439884 WITH SCORE 2443460.51
AT ITER 2584 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2439692 HAS SOUPS 2439692 WITH SCORE 2443268.51
AT ITER 2597 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2439352 HAS SOUPS 2439352 WITH SCORE 2442928.51
AT ITER 2604 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2439232 HAS SOUPS 2439232 WITH SCORE 2442808.51
AT ITER 2606 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2438726 HAS SOUPS 2438726 WITH SCORE 2442302.51
AT ITER 2607 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2436880 HAS SOUPS 2436880 WITH SCORE 2440456.51
AT ITER 2615 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2436848 HAS SOUPS 2436848 WITH SCORE 2440424.51
AT ITER 2624 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2436726 HAS SOUPS 2436726 WITH SCORE 2440302.51
AT ITER 2634 NEW BEST:: SOT 4070510 SOS 3576510 HAS SOPS 3576510 HAS SOUS 2435522 HAS SOUPS 2435522 WITH SCORE 2439098.51
AT ITER 2637 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2432908 HAS SOUPS 2432908 WITH SCORE 2436482.096
AT ITER 2640 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2432850 HAS SOUPS 2432850 WITH SCORE 2436424.096
AT ITER 2641 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2432342 HAS SOUPS 2432342 WITH SCORE 2435916.096
AT ITER 2643 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2432250 HAS SOUPS 2432250 WITH SCORE 2435824.096
AT ITER 2644 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2431170 HAS SOUPS 2431170 WITH SCORE 2434744.096
AT ITER 2646 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2430248 HAS SOUPS 2430248 WITH SCORE 2433822.096
AT ITER 2649 NEW BEST:: SOT 4068096 SOS 3574096 HAS SOPS 3574096 HAS SOUS 2429718 HAS SOUPS 2429718 WITH SCORE 2433292.096
AT ITER 2652 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2429368 HAS SOUPS 2429368 WITH SCORE 2432941.746
AT ITER 2658 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2428612 HAS SOUPS 2428612 WITH SCORE 2432185.746
AT ITER 2660 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2428400 HAS SOUPS 2428400 WITH SCORE 2431973.746
AT ITER 2661 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2428218 HAS SOUPS 2428218 WITH SCORE 2431791.746
AT ITER 2663 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2427760 HAS SOUPS 2427760 WITH SCORE 2431333.746
AT ITER 2667 NEW BEST:: SOT 4068096 SOS 3573746 HAS SOPS 3573746 HAS SOUS 2427264 HAS SOUPS 2427264 WITH SCORE 2430837.746
AT ITER 2670 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2426934 HAS SOUPS 2426934 WITH SCORE 2430507.478
AT ITER 2677 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2426234 HAS SOUPS 2426234 WITH SCORE 2429807.478
AT ITER 2689 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2425878 HAS SOUPS 2425878 WITH SCORE 2429451.478
AT ITER 2700 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2425586 HAS SOUPS 2425586 WITH SCORE 2429159.478
AT ITER 2701 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2424094 HAS SOUPS 2424094 WITH SCORE 2427667.478
AT ITER 2708 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2423948 HAS SOUPS 2423948 WITH SCORE 2427521.478
AT ITER 2709 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2423464 HAS SOUPS 2423464 WITH SCORE 2427037.478
AT ITER 2711 NEW BEST:: SOT 4068096 SOS 3573478 HAS SOPS 3573478 HAS SOUS 2423154 HAS SOUPS 2423154 WITH SCORE 2426727.478
AT ITER 2719 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2420560 HAS SOUPS 2420560 WITH SCORE 2424132.104
AT ITER 2725 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2420510 HAS SOUPS 2420510 WITH SCORE 2424082.104
AT ITER 2726 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2420316 HAS SOUPS 2420316 WITH SCORE 2423888.104
AT ITER 2727 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2419912 HAS SOUPS 2419912 WITH SCORE 2423484.104
AT ITER 2728 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2419518 HAS SOUPS 2419518 WITH SCORE 2423090.104
AT ITER 2734 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2418686 HAS SOUPS 2418686 WITH SCORE 2422258.104
AT ITER 2736 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2418148 HAS SOUPS 2418148 WITH SCORE 2421720.104
AT ITER 2738 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2418138 HAS SOUPS 2418138 WITH SCORE 2421710.104
AT ITER 2741 NEW BEST:: SOT 4066722 SOS 3572104 HAS SOPS 3572104 HAS SOUS 2417486 HAS SOUPS 2417486 WITH SCORE 2421058.104
AT ITER 2743 NEW BEST:: SOT 4066722 SOS 3571838 HAS SOPS 3571838 HAS SOUS 2417176 HAS SOUPS 2417176 WITH SCORE 2420747.838
AT ITER 2758 NEW BEST:: SOT 4066722 SOS 3571838 HAS SOPS 3571838 HAS SOUS 2416772 HAS SOUPS 2416772 WITH SCORE 2420343.838
AT ITER 2765 NEW BEST:: SOT 4066722 SOS 3571838 HAS SOPS 3571838 HAS SOUS 2416642 HAS SOUPS 2416642 WITH SCORE 2420213.838
AT ITER 2769 NEW BEST:: SOT 4066722 SOS 3571838 HAS SOPS 3571838 HAS SOUS 2415870 HAS SOUPS 2415870 WITH SCORE 2419441.838
AT ITER 2771 NEW BEST:: SOT 4066722 SOS 3571542 HAS SOPS 3571542 HAS SOUS 2415574 HAS SOUPS 2415574 WITH SCORE 2419145.542
AT ITER 2774 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2415538 HAS SOUPS 2415538 WITH SCORE 2419109.506
AT ITER 2776 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2414452 HAS SOUPS 2414452 WITH SCORE 2418023.506
AT ITER 2798 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2414226 HAS SOUPS 2414226 WITH SCORE 2417797.506
AT ITER 2800 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2414046 HAS SOUPS 2414046 WITH SCORE 2417617.506
AT ITER 2807 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2413742 HAS SOUPS 2413742 WITH SCORE 2417313.506
AT ITER 2812 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2413618 HAS SOUPS 2413618 WITH SCORE 2417189.506
AT ITER 2832 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2412932 HAS SOUPS 2412932 WITH SCORE 2416503.506
AT ITER 2836 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2411678 HAS SOUPS 2411678 WITH SCORE 2415249.506
AT ITER 2838 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2411672 HAS SOUPS 2411672 WITH SCORE 2415243.506
AT ITER 2839 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2411102 HAS SOUPS 2411102 WITH SCORE 2414673.506
AT ITER 2851 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2411092 HAS SOUPS 2411092 WITH SCORE 2414663.506
AT ITER 2854 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2410892 HAS SOUPS 2410892 WITH SCORE 2414463.506
AT ITER 2855 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2410876 HAS SOUPS 2410876 WITH SCORE 2414447.506
AT ITER 2856 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2408920 HAS SOUPS 2408920 WITH SCORE 2412491.506
AT ITER 2868 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2408914 HAS SOUPS 2408914 WITH SCORE 2412485.506
AT ITER 2869 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2408164 HAS SOUPS 2408164 WITH SCORE 2411735.506
AT ITER 2872 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2408024 HAS SOUPS 2408024 WITH SCORE 2411595.506
AT ITER 2873 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2408000 HAS SOUPS 2408000 WITH SCORE 2411571.506
AT ITER 2874 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2407932 HAS SOUPS 2407932 WITH SCORE 2411503.506
AT ITER 2876 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2407632 HAS SOUPS 2407632 WITH SCORE 2411203.506
AT ITER 2877 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2406800 HAS SOUPS 2406800 WITH SCORE 2410371.506
AT ITER 2882 NEW BEST:: SOT 4066722 SOS 3571506 HAS SOPS 3571506 HAS SOUS 2406630 HAS SOUPS 2406630 WITH SCORE 2410201.506
AT ITER 2891 NEW BEST:: SOT 4066722 SOS 3571228 HAS SOPS 3571228 HAS SOUS 2406352 HAS SOUPS 2406352 WITH SCORE 2409923.228
AT ITER 2895 NEW BEST:: SOT 4066722 SOS 3571228 HAS SOPS 3571228 HAS SOUS 2406174 HAS SOUPS 2406174 WITH SCORE 2409745.228
AT ITER 2911 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2406168 HAS SOUPS 2406168 WITH SCORE 2409739.222
AT ITER 2912 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2406114 HAS SOUPS 2406114 WITH SCORE 2409685.222
AT ITER 2913 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2406022 HAS SOUPS 2406022 WITH SCORE 2409593.222
AT ITER 2914 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2405102 HAS SOUPS 2405102 WITH SCORE 2408673.222
AT ITER 2923 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2404910 HAS SOUPS 2404910 WITH SCORE 2408481.222
AT ITER 2925 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2404374 HAS SOUPS 2404374 WITH SCORE 2407945.222
AT ITER 2931 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2403724 HAS SOUPS 2403724 WITH SCORE 2407295.222
AT ITER 2935 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2403332 HAS SOUPS 2403332 WITH SCORE 2406903.222
AT ITER 2943 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2402734 HAS SOUPS 2402734 WITH SCORE 2406305.222
AT ITER 2944 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2401762 HAS SOUPS 2401762 WITH SCORE 2405333.222
AT ITER 2945 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2400984 HAS SOUPS 2400984 WITH SCORE 2404555.222
AT ITER 2946 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2399464 HAS SOUPS 2399464 WITH SCORE 2403035.222
AT ITER 2947 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2398592 HAS SOUPS 2398592 WITH SCORE 2402163.222
AT ITER 2949 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2398416 HAS SOUPS 2398416 WITH SCORE 2401987.222
AT ITER 2950 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2398350 HAS SOUPS 2398350 WITH SCORE 2401921.222
AT ITER 2954 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2398298 HAS SOUPS 2398298 WITH SCORE 2401869.222
AT ITER 2961 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2398160 HAS SOUPS 2398160 WITH SCORE 2401731.222
AT ITER 2967 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2397826 HAS SOUPS 2397826 WITH SCORE 2401397.222
AT ITER 2972 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2397084 HAS SOUPS 2397084 WITH SCORE 2400655.222
AT ITER 2978 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2397044 HAS SOUPS 2397044 WITH SCORE 2400615.222
AT ITER 2985 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2396734 HAS SOUPS 2396734 WITH SCORE 2400305.222
AT ITER 2986 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2396636 HAS SOUPS 2396636 WITH SCORE 2400207.222
AT ITER 2991 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2395044 HAS SOUPS 2395044 WITH SCORE 2398615.222
AT ITER 2993 NEW BEST:: SOT 4066722 SOS 3571222 HAS SOPS 3571222 HAS SOUS 2394308 HAS SOUPS 2394308 WITH SCORE 2397879.222
AT ITER 2995 NEW BEST:: SOT 4066722 SOS 3570966 HAS SOPS 3570966 HAS SOUS 2394242 HAS SOUPS 2394242 WITH SCORE 2397812.966
AT ITER 2999 NEW BEST:: SOT 4066722 SOS 3570966 HAS SOPS 3570966 HAS SOUS 2394096 HAS SOUPS 2394096 WITH SCORE 2397666.966
AT ITER 3004 NEW BEST:: SOT 4066722 SOS 3570966 HAS SOPS 3570966 HAS SOUS 2393744 HAS SOUPS 2393744 WITH SCORE 2397314.966
AT ITER 3008 NEW BEST:: SOT 4066722 SOS 3570966 HAS SOPS 3570966 HAS SOUS 2393178 HAS SOUPS 2393178 WITH SCORE 2396748.966
AT ITER 3016 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2392914 HAS SOUPS 2392914 WITH SCORE 2396484.948
AT ITER 3018 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2392476 HAS SOUPS 2392476 WITH SCORE 2396046.948
AT ITER 3019 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2391280 HAS SOUPS 2391280 WITH SCORE 2394850.948
AT ITER 3021 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2391168 HAS SOUPS 2391168 WITH SCORE 2394738.948
AT ITER 3024 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2391160 HAS SOUPS 2391160 WITH SCORE 2394730.948
AT ITER 3039 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2390404 HAS SOUPS 2390404 WITH SCORE 2393974.948
AT ITER 3044 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2390322 HAS SOUPS 2390322 WITH SCORE 2393892.948
AT ITER 3045 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2390266 HAS SOUPS 2390266 WITH SCORE 2393836.948
AT ITER 3046 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2390134 HAS SOUPS 2390134 WITH SCORE 2393704.948
AT ITER 3050 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2390078 HAS SOUPS 2390078 WITH SCORE 2393648.948
AT ITER 3053 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2388416 HAS SOUPS 2388416 WITH SCORE 2391986.948
AT ITER 3062 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2388326 HAS SOUPS 2388326 WITH SCORE 2391896.948
AT ITER 3078 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2387700 HAS SOUPS 2387700 WITH SCORE 2391270.948
AT ITER 3080 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2387612 HAS SOUPS 2387612 WITH SCORE 2391182.948
AT ITER 3087 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2387320 HAS SOUPS 2387320 WITH SCORE 2390890.948
AT ITER 3089 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2386558 HAS SOUPS 2386558 WITH SCORE 2390128.948
AT ITER 3090 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2386302 HAS SOUPS 2386302 WITH SCORE 2389872.948
AT ITER 3101 NEW BEST:: SOT 4066704 SOS 3570948 HAS SOPS 3570948 HAS SOUS 2385932 HAS SOUPS 2385932 WITH SCORE 2389502.948
AT ITER 3107 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2385690 HAS SOUPS 2385690 WITH SCORE 2389260.516
AT ITER 3121 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2385088 HAS SOUPS 2385088 WITH SCORE 2388658.516
AT ITER 3129 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2384624 HAS SOUPS 2384624 WITH SCORE 2388194.516
AT ITER 3131 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2384372 HAS SOUPS 2384372 WITH SCORE 2387942.516
AT ITER 3142 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2383474 HAS SOUPS 2383474 WITH SCORE 2387044.516
AT ITER 3144 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2383250 HAS SOUPS 2383250 WITH SCORE 2386820.516
AT ITER 3148 NEW BEST:: SOT 4066704 SOS 3570516 HAS SOPS 3570516 HAS SOUS 2383150 HAS SOUPS 2383150 WITH SCORE 2386720.516
AT ITER 3157 NEW BEST:: SOT 4066704 SOS 3570508 HAS SOPS 3570508 HAS SOUS 2382968 HAS SOUPS 2382968 WITH SCORE 2386538.508
AT ITER 3168 NEW BEST:: SOT 4066704 SOS 3570508 HAS SOPS 3570508 HAS SOUS 2381930 HAS SOUPS 2381930 WITH SCORE 2385500.508
AT ITER 3170 NEW BEST:: SOT 4066704 SOS 3570282 HAS SOPS 3570282 HAS SOUS 2381704 HAS SOUPS 2381704 WITH SCORE 2385274.282
AT ITER 3171 NEW BEST:: SOT 4066704 SOS 3570282 HAS SOPS 3570282 HAS SOUS 2381680 HAS SOUPS 2381680 WITH SCORE 2385250.282
AT ITER 3186 NEW BEST:: SOT 4066704 SOS 3570282 HAS SOPS 3570282 HAS SOUS 2381596 HAS SOUPS 2381596 WITH SCORE 2385166.282
AT ITER 3189 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2380332 HAS SOUPS 2380332 WITH SCORE 2383901.464
AT ITER 3190 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379898 HAS SOUPS 2379898 WITH SCORE 2383467.464
AT ITER 3197 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379694 HAS SOUPS 2379694 WITH SCORE 2383263.464
AT ITER 3199 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379650 HAS SOUPS 2379650 WITH SCORE 2383219.464
AT ITER 3201 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379428 HAS SOUPS 2379428 WITH SCORE 2382997.464
AT ITER 3206 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379340 HAS SOUPS 2379340 WITH SCORE 2382909.464
AT ITER 3208 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2379284 HAS SOUPS 2379284 WITH SCORE 2382853.464
AT ITER 3212 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2378984 HAS SOUPS 2378984 WITH SCORE 2382553.464
AT ITER 3214 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2377144 HAS SOUPS 2377144 WITH SCORE 2380713.464
AT ITER 3220 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2377060 HAS SOUPS 2377060 WITH SCORE 2380629.464
AT ITER 3225 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2376672 HAS SOUPS 2376672 WITH SCORE 2380241.464
AT ITER 3234 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2376610 HAS SOUPS 2376610 WITH SCORE 2380179.464
AT ITER 3235 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2376352 HAS SOUPS 2376352 WITH SCORE 2379921.464
AT ITER 3236 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2376250 HAS SOUPS 2376250 WITH SCORE 2379819.464
AT ITER 3241 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2375916 HAS SOUPS 2375916 WITH SCORE 2379485.464
AT ITER 3242 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2375346 HAS SOUPS 2375346 WITH SCORE 2378915.464
AT ITER 3248 NEW BEST:: SOT 4065064 SOS 3569464 HAS SOPS 3569464 HAS SOUS 2374378 HAS SOUPS 2374378 WITH SCORE 2377947.464
AT ITER 3251 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2374378 HAS SOUPS 2374378 WITH SCORE 2377947.332
AT ITER 3253 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2374336 HAS SOUPS 2374336 WITH SCORE 2377905.332
AT ITER 3260 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2373560 HAS SOUPS 2373560 WITH SCORE 2377129.332
AT ITER 3264 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2372928 HAS SOUPS 2372928 WITH SCORE 2376497.332
AT ITER 3271 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2372898 HAS SOUPS 2372898 WITH SCORE 2376467.332
AT ITER 3282 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2372694 HAS SOUPS 2372694 WITH SCORE 2376263.332
AT ITER 3285 NEW BEST:: SOT 4065064 SOS 3569332 HAS SOPS 3569332 HAS SOUS 2372404 HAS SOUPS 2372404 WITH SCORE 2375973.332
AT ITER 3290 NEW BEST:: SOT 4065064 SOS 3569088 HAS SOPS 3569088 HAS SOUS 2372160 HAS SOUPS 2372160 WITH SCORE 2375729.088
AT ITER 3294 NEW BEST:: SOT 4065064 SOS 3569088 HAS SOPS 3569088 HAS SOUS 2372094 HAS SOUPS 2372094 WITH SCORE 2375663.088
AT ITER 3313 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2371312 HAS SOUPS 2371312 WITH SCORE 2374881.006
AT ITER 3314 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2371188 HAS SOUPS 2371188 WITH SCORE 2374757.006
AT ITER 3316 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2371134 HAS SOUPS 2371134 WITH SCORE 2374703.006
AT ITER 3317 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2371126 HAS SOUPS 2371126 WITH SCORE 2374695.006
AT ITER 3319 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2370096 HAS SOUPS 2370096 WITH SCORE 2373665.006
AT ITER 3324 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2369952 HAS SOUPS 2369952 WITH SCORE 2373521.006
AT ITER 3327 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2369194 HAS SOUPS 2369194 WITH SCORE 2372763.006
AT ITER 3333 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2368324 HAS SOUPS 2368324 WITH SCORE 2371893.006
AT ITER 3340 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2367668 HAS SOUPS 2367668 WITH SCORE 2371237.006
AT ITER 3341 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2366990 HAS SOUPS 2366990 WITH SCORE 2370559.006
AT ITER 3349 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2366964 HAS SOUPS 2366964 WITH SCORE 2370533.006
AT ITER 3370 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2366746 HAS SOUPS 2366746 WITH SCORE 2370315.006
AT ITER 3378 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2366182 HAS SOUPS 2366182 WITH SCORE 2369751.006
AT ITER 3379 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2365730 HAS SOUPS 2365730 WITH SCORE 2369299.006
AT ITER 3385 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2365662 HAS SOUPS 2365662 WITH SCORE 2369231.006
AT ITER 3389 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2365472 HAS SOUPS 2365472 WITH SCORE 2369041.006
AT ITER 3390 NEW BEST:: SOT 4065064 SOS 3569006 HAS SOPS 3569006 HAS SOUS 2365434 HAS SOUPS 2365434 WITH SCORE 2369003.006
AT ITER 3396 NEW BEST:: SOT 4065064 SOS 3568936 HAS SOPS 3568936 HAS SOUS 2365120 HAS SOUPS 2365120 WITH SCORE 2368688.936
AT ITER 3398 NEW BEST:: SOT 4065064 SOS 3568936 HAS SOPS 3568936 HAS SOUS 2364726 HAS SOUPS 2364726 WITH SCORE 2368294.936
AT ITER 3403 NEW BEST:: SOT 4065064 SOS 3568936 HAS SOPS 3568936 HAS SOUS 2364254 HAS SOUPS 2364254 WITH SCORE 2367822.936
AT ITER 3410 NEW BEST:: SOT 4065064 SOS 3568728 HAS SOPS 3568728 HAS SOUS 2363656 HAS SOUPS 2363656 WITH SCORE 2367224.728
AT ITER 3416 NEW BEST:: SOT 4065064 SOS 3568728 HAS SOPS 3568728 HAS SOUS 2362122 HAS SOUPS 2362122 WITH SCORE 2365690.728
AT ITER 3434 NEW BEST:: SOT 4065064 SOS 3568728 HAS SOPS 3568728 HAS SOUS 2362000 HAS SOUPS 2362000 WITH SCORE 2365568.728
AT ITER 3459 NEW BEST:: SOT 4065064 SOS 3568728 HAS SOPS 3568728 HAS SOUS 2361966 HAS SOUPS 2361966 WITH SCORE 2365534.728
AT ITER 3462 NEW BEST:: SOT 4065064 SOS 3568728 HAS SOPS 3568728 HAS SOUS 2361784 HAS SOUPS 2361784 WITH SCORE 2365352.728
AT ITER 3464 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2361778 HAS SOUPS 2361778 WITH SCORE 2365346.722
AT ITER 3466 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2361762 HAS SOUPS 2361762 WITH SCORE 2365330.722
AT ITER 3467 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2361508 HAS SOUPS 2361508 WITH SCORE 2365076.722
AT ITER 3469 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2361388 HAS SOUPS 2361388 WITH SCORE 2364956.722
AT ITER 3475 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2360824 HAS SOUPS 2360824 WITH SCORE 2364392.722
AT ITER 3477 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2360756 HAS SOUPS 2360756 WITH SCORE 2364324.722
AT ITER 3489 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2360602 HAS SOUPS 2360602 WITH SCORE 2364170.722
AT ITER 3506 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2359598 HAS SOUPS 2359598 WITH SCORE 2363166.722
AT ITER 3508 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2359272 HAS SOUPS 2359272 WITH SCORE 2362840.722
AT ITER 3514 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2358414 HAS SOUPS 2358414 WITH SCORE 2361982.722
AT ITER 3523 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2358262 HAS SOUPS 2358262 WITH SCORE 2361830.722
AT ITER 3533 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2358032 HAS SOUPS 2358032 WITH SCORE 2361600.722
AT ITER 3535 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2357978 HAS SOUPS 2357978 WITH SCORE 2361546.722
AT ITER 3542 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2357966 HAS SOUPS 2357966 WITH SCORE 2361534.722
AT ITER 3555 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2357712 HAS SOUPS 2357712 WITH SCORE 2361280.722
AT ITER 3564 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2356580 HAS SOUPS 2356580 WITH SCORE 2360148.722
AT ITER 3565 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2355354 HAS SOUPS 2355354 WITH SCORE 2358922.722
AT ITER 3569 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2355202 HAS SOUPS 2355202 WITH SCORE 2358770.722
AT ITER 3574 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2354706 HAS SOUPS 2354706 WITH SCORE 2358274.722
AT ITER 3577 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2354510 HAS SOUPS 2354510 WITH SCORE 2358078.722
AT ITER 3587 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2354444 HAS SOUPS 2354444 WITH SCORE 2358012.722
AT ITER 3591 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2354434 HAS SOUPS 2354434 WITH SCORE 2358002.722
AT ITER 3597 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353922 HAS SOUPS 2353922 WITH SCORE 2357490.722
AT ITER 3605 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353812 HAS SOUPS 2353812 WITH SCORE 2357380.722
AT ITER 3617 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353544 HAS SOUPS 2353544 WITH SCORE 2357112.722
AT ITER 3619 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353524 HAS SOUPS 2353524 WITH SCORE 2357092.722
AT ITER 3623 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353454 HAS SOUPS 2353454 WITH SCORE 2357022.722
AT ITER 3625 NEW BEST:: SOT 4065064 SOS 3568722 HAS SOPS 3568722 HAS SOUS 2353250 HAS SOUPS 2353250 WITH SCORE 2356818.722
AT ITER 3626 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2353164 HAS SOUPS 2353164 WITH SCORE 2356732.636
AT ITER 3643 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352978 HAS SOUPS 2352978 WITH SCORE 2356546.636
AT ITER 3645 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352960 HAS SOUPS 2352960 WITH SCORE 2356528.636
AT ITER 3651 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352716 HAS SOUPS 2352716 WITH SCORE 2356284.636
AT ITER 3673 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352680 HAS SOUPS 2352680 WITH SCORE 2356248.636
AT ITER 3687 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352538 HAS SOUPS 2352538 WITH SCORE 2356106.636
AT ITER 3689 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352172 HAS SOUPS 2352172 WITH SCORE 2355740.636
AT ITER 3692 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352082 HAS SOUPS 2352082 WITH SCORE 2355650.636
AT ITER 3695 NEW BEST:: SOT 4065064 SOS 3568636 HAS SOPS 3568636 HAS SOUS 2352052 HAS SOUPS 2352052 WITH SCORE 2355620.636
AT ITER 3699 NEW BEST:: SOT 4065064 SOS 3568616 HAS SOPS 3568616 HAS SOUS 2351826 HAS SOUPS 2351826 WITH SCORE 2355394.616
AT ITER 3704 NEW BEST:: SOT 4065064 SOS 3568616 HAS SOPS 3568616 HAS SOUS 2351764 HAS SOUPS 2351764 WITH SCORE 2355332.616
AT ITER 3707 NEW BEST:: SOT 4065064 SOS 3568616 HAS SOPS 3568616 HAS SOUS 2351192 HAS SOUPS 2351192 WITH SCORE 2354760.616
AT ITER 3709 NEW BEST:: SOT 2886372 SOS 2393328 HAS SOPS 2393328 HAS SOUS 1176016 HAS SOUPS 1176016 WITH SCORE 1178409.328
AT ITER 3714 NEW BEST:: SOT 2886372 SOS 2393328 HAS SOPS 2393328 HAS SOUS 1175672 HAS SOUPS 1175672 WITH SCORE 1178065.328
AT ITER 3715 NEW BEST:: SOT 2886372 SOS 2393328 HAS SOPS 2393328 HAS SOUS 1175512 HAS SOUPS 1175512 WITH SCORE 1177905.328
AT ITER 3716 NEW BEST:: SOT 2886372 SOS 2393314 HAS SOPS 2393314 HAS SOUS 1175222 HAS SOUPS 1175222 WITH SCORE 1177615.314
AT ITER 3722 NEW BEST:: SOT 2886308 SOS 2393250 HAS SOPS 2393250 HAS SOUS 1175094 HAS SOUPS 1175094 WITH SCORE 1177487.25
AT ITER 3727 NEW BEST:: SOT 2886308 SOS 2393250 HAS SOPS 2393250 HAS SOUS 1175092 HAS SOUPS 1175092 WITH SCORE 1177485.25
AT ITER 3730 NEW BEST:: SOT 2885990 SOS 2392932 HAS SOPS 2392932 HAS SOUS 1174456 HAS SOUPS 1174456 WITH SCORE 1176848.932
AT ITER 3740 NEW BEST:: SOT 2885026 SOS 2391968 HAS SOPS 2391968 HAS SOUS 1171900 HAS SOUPS 1171900 WITH SCORE 1174291.968
AT ITER 3751 NEW BEST:: SOT 2884518 SOS 2391460 HAS SOPS 2391460 HAS SOUS 1169692 HAS SOUPS 1169692 WITH SCORE 1172083.46
AT ITER 3759 NEW BEST:: SOT 2884518 SOS 2391460 HAS SOPS 2391460 HAS SOUS 1169406 HAS SOUPS 1169406 WITH SCORE 1171797.46
AT ITER 3775 NEW BEST:: SOT 2884518 SOS 2391460 HAS SOPS 2391460 HAS SOUS 1168744 HAS SOUPS 1168744 WITH SCORE 1171135.46
AT ITER 3777 NEW BEST:: SOT 2884518 SOS 2391460 HAS SOPS 2391460 HAS SOUS 1168354 HAS SOUPS 1168354 WITH SCORE 1170745.46
AT ITER 3792 NEW BEST:: SOT 2884504 SOS 2391446 HAS SOPS 2391446 HAS SOUS 1168326 HAS SOUPS 1168326 WITH SCORE 1170717.446
AT ITER 3802 NEW BEST:: SOT 2884224 SOS 2391166 HAS SOPS 2391166 HAS SOUS 1167766 HAS SOUPS 1167766 WITH SCORE 1170157.166
AT ITER 3809 NEW BEST:: SOT 2884224 SOS 2391166 HAS SOPS 2391166 HAS SOUS 1167570 HAS SOUPS 1167570 WITH SCORE 1169961.166
AT ITER 3815 NEW BEST:: SOT 2884224 SOS 2391166 HAS SOPS 2391166 HAS SOUS 1167290 HAS SOUPS 1167290 WITH SCORE 1169681.166
AT ITER 3817 NEW BEST:: SOT 2883950 SOS 2390892 HAS SOPS 2390892 HAS SOUS 1166426 HAS SOUPS 1166426 WITH SCORE 1168816.892
AT ITER 3825 NEW BEST:: SOT 2883950 SOS 2390562 HAS SOPS 2390562 HAS SOUS 1166168 HAS SOUPS 1166168 WITH SCORE 1168558.562
AT ITER 3827 NEW BEST:: SOT 2883950 SOS 2390562 HAS SOPS 2390562 HAS SOUS 1165294 HAS SOUPS 1165294 WITH SCORE 1167684.562
AT ITER 3829 NEW BEST:: SOT 2883950 SOS 2390562 HAS SOPS 2390562 HAS SOUS 1164894 HAS SOUPS 1164894 WITH SCORE 1167284.562
AT ITER 3840 NEW BEST:: SOT 2883658 SOS 2390270 HAS SOPS 2390270 HAS SOUS 1164310 HAS SOUPS 1164310 WITH SCORE 1166700.27
AT ITER 3841 NEW BEST:: SOT 2883620 SOS 2390232 HAS SOPS 2390232 HAS SOUS 1163816 HAS SOUPS 1163816 WITH SCORE 1166206.232
AT ITER 3846 NEW BEST:: SOT 2883620 SOS 2390232 HAS SOPS 2390232 HAS SOUS 1163612 HAS SOUPS 1163612 WITH SCORE 1166002.232
AT ITER 3863 NEW BEST:: SOT 2883438 SOS 2390050 HAS SOPS 2390050 HAS SOUS 1162732 HAS SOUPS 1162732 WITH SCORE 1165122.05
AT ITER 3864 NEW BEST:: SOT 2883332 SOS 2389944 HAS SOPS 2389944 HAS SOUS 1162520 HAS SOUPS 1162520 WITH SCORE 1164909.944
AT ITER 3866 NEW BEST:: SOT 2883332 SOS 2389944 HAS SOPS 2389944 HAS SOUS 1162444 HAS SOUPS 1162444 WITH SCORE 1164833.944
AT ITER 3867 NEW BEST:: SOT 2883272 SOS 2389884 HAS SOPS 2389884 HAS SOUS 1162324 HAS SOUPS 1162324 WITH SCORE 1164713.884
AT ITER 3875 NEW BEST:: SOT 2883272 SOS 2389884 HAS SOPS 2389884 HAS SOUS 1162014 HAS SOUPS 1162014 WITH SCORE 1164403.884
AT ITER 3889 NEW BEST:: SOT 2882108 SOS 2388720 HAS SOPS 2388720 HAS SOUS 1159212 HAS SOUPS 1159212 WITH SCORE 1161600.72
AT ITER 3890 NEW BEST:: SOT 2882108 SOS 2388720 HAS SOPS 2388720 HAS SOUS 1159090 HAS SOUPS 1159090 WITH SCORE 1161478.72
AT ITER 3891 NEW BEST:: SOT 2880952 SOS 2387564 HAS SOPS 2387564 HAS SOUS 1156778 HAS SOUPS 1156778 WITH SCORE 1159165.564
AT ITER 3892 NEW BEST:: SOT 2880952 SOS 2387564 HAS SOPS 2387564 HAS SOUS 1156476 HAS SOUPS 1156476 WITH SCORE 1158863.564
AT ITER 3902 NEW BEST:: SOT 2880912 SOS 2387524 HAS SOPS 2387524 HAS SOUS 1156396 HAS SOUPS 1156396 WITH SCORE 1158783.524
AT ITER 3912 NEW BEST:: SOT 2880912 SOS 2387308 HAS SOPS 2387308 HAS SOUS 1156180 HAS SOUPS 1156180 WITH SCORE 1158567.308
AT ITER 3913 NEW BEST:: SOT 2880412 SOS 2386808 HAS SOPS 2386808 HAS SOUS 1155056 HAS SOUPS 1155056 WITH SCORE 1157442.808
AT ITER 3916 NEW BEST:: SOT 2879964 SOS 2386360 HAS SOPS 2386360 HAS SOUS 1154160 HAS SOUPS 1154160 WITH SCORE 1156546.36
AT ITER 3918 NEW BEST:: SOT 2878934 SOS 2385330 HAS SOPS 2385330 HAS SOUS 1151316 HAS SOUPS 1151316 WITH SCORE 1153701.33
AT ITER 3927 NEW BEST:: SOT 2878934 SOS 2385330 HAS SOPS 2385330 HAS SOUS 1151114 HAS SOUPS 1151114 WITH SCORE 1153499.33
AT ITER 3939 NEW BEST:: SOT 2878920 SOS 2385316 HAS SOPS 2385316 HAS SOUS 1151086 HAS SOUPS 1151086 WITH SCORE 1153471.316
AT ITER 3943 NEW BEST:: SOT 2878860 SOS 2385256 HAS SOPS 2385256 HAS SOUS 1150966 HAS SOUPS 1150966 WITH SCORE 1153351.256
AT ITER 3958 NEW BEST:: SOT 2878860 SOS 2385256 HAS SOPS 2385256 HAS SOUS 1150786 HAS SOUPS 1150786 WITH SCORE 1153171.256
AT ITER 3961 NEW BEST:: SOT 2878848 SOS 2385244 HAS SOPS 2385244 HAS SOUS 1150762 HAS SOUPS 1150762 WITH SCORE 1153147.244
AT ITER 3978 NEW BEST:: SOT 2878848 SOS 2385244 HAS SOPS 2385244 HAS SOUS 1150242 HAS SOUPS 1150242 WITH SCORE 1152627.244
AT ITER 3988 NEW BEST:: SOT 2878848 SOS 2385244 HAS SOPS 2385244 HAS SOUS 1149878 HAS SOUPS 1149878 WITH SCORE 1152263.244
AT ITER 3994 NEW BEST:: SOT 2878738 SOS 2385134 HAS SOPS 2385134 HAS SOUS 1149394 HAS SOUPS 1149394 WITH SCORE 1151779.134
AT ITER 4003 NEW BEST:: SOT 2878282 SOS 2384678 HAS SOPS 2384678 HAS SOUS 1147656 HAS SOUPS 1147656 WITH SCORE 1150040.678
AT ITER 4008 NEW BEST:: SOT 2878002 SOS 2384398 HAS SOPS 2384398 HAS SOUS 1147376 HAS SOUPS 1147376 WITH SCORE 1149760.398
AT ITER 4012 NEW BEST:: SOT 2878002 SOS 2384398 HAS SOPS 2384398 HAS SOUS 1147262 HAS SOUPS 1147262 WITH SCORE 1149646.398
AT ITER 4013 NEW BEST:: SOT 2878002 SOS 2384398 HAS SOPS 2384398 HAS SOUS 1146364 HAS SOUPS 1146364 WITH SCORE 1148748.398
AT ITER 4014 NEW BEST:: SOT 2877894 SOS 2384290 HAS SOPS 2384290 HAS SOUS 1146148 HAS SOUPS 1146148 WITH SCORE 1148532.29
AT ITER 4020 NEW BEST:: SOT 2877894 SOS 2384290 HAS SOPS 2384290 HAS SOUS 1145940 HAS SOUPS 1145940 WITH SCORE 1148324.29
AT ITER 4024 NEW BEST:: SOT 2877894 SOS 2383944 HAS SOPS 2383944 HAS SOUS 1145516 HAS SOUPS 1145516 WITH SCORE 1147899.944
AT ITER 4030 NEW BEST:: SOT 2877892 SOS 2383942 HAS SOPS 2383942 HAS SOUS 1145512 HAS SOUPS 1145512 WITH SCORE 1147895.942
AT ITER 4037 NEW BEST:: SOT 2877892 SOS 2383942 HAS SOPS 2383942 HAS SOUS 1145218 HAS SOUPS 1145218 WITH SCORE 1147601.942
AT ITER 4040 NEW BEST:: SOT 2877892 SOS 2383438 HAS SOPS 2383438 HAS SOUS 1143258 HAS SOUPS 1143258 WITH SCORE 1145641.438
AT ITER 4042 NEW BEST:: SOT 2877892 SOS 2383438 HAS SOPS 2383438 HAS SOUS 1142730 HAS SOUPS 1142730 WITH SCORE 1145113.438
AT ITER 4045 NEW BEST:: SOT 2877872 SOS 2383418 HAS SOPS 2383418 HAS SOUS 1142690 HAS SOUPS 1142690 WITH SCORE 1145073.418
AT ITER 4067 NEW BEST:: SOT 2877714 SOS 2383260 HAS SOPS 2383260 HAS SOUS 1142374 HAS SOUPS 1142374 WITH SCORE 1144757.26
AT ITER 4072 NEW BEST:: SOT 2877656 SOS 2383202 HAS SOPS 2383202 HAS SOUS 1142258 HAS SOUPS 1142258 WITH SCORE 1144641.202
AT ITER 4075 NEW BEST:: SOT 2877656 SOS 2383202 HAS SOPS 2383202 HAS SOUS 1142110 HAS SOUPS 1142110 WITH SCORE 1144493.202
AT ITER 4086 NEW BEST:: SOT 2877516 SOS 2383062 HAS SOPS 2383062 HAS SOUS 1141830 HAS SOUPS 1141830 WITH SCORE 1144213.062
AT ITER 4093 NEW BEST:: SOT 2877516 SOS 2383062 HAS SOPS 2383062 HAS SOUS 1141824 HAS SOUPS 1141824 WITH SCORE 1144207.062
AT ITER 4094 NEW BEST:: SOT 2877516 SOS 2383062 HAS SOPS 2383062 HAS SOUS 1141804 HAS SOUPS 1141804 WITH SCORE 1144187.062
AT ITER 4101 NEW BEST:: SOT 2877516 SOS 2383028 HAS SOPS 2383028 HAS SOUS 1141770 HAS SOUPS 1141770 WITH SCORE 1144153.028
AT ITER 4118 NEW BEST:: SOT 2877066 SOS 2382578 HAS SOPS 2382578 HAS SOUS 1140870 HAS SOUPS 1140870 WITH SCORE 1143252.578
AT ITER 4127 NEW BEST:: SOT 2877066 SOS 2382578 HAS SOPS 2382578 HAS SOUS 1140864 HAS SOUPS 1140864 WITH SCORE 1143246.578
AT ITER 4132 NEW BEST:: SOT 2877066 SOS 2382578 HAS SOPS 2382578 HAS SOUS 1140520 HAS SOUPS 1140520 WITH SCORE 1142902.578
AT ITER 4133 NEW BEST:: SOT 2877006 SOS 2382518 HAS SOPS 2382518 HAS SOUS 1140400 HAS SOUPS 1140400 WITH SCORE 1142782.518
AT ITER 4140 NEW BEST:: SOT 2877006 SOS 2382318 HAS SOPS 2382318 HAS SOUS 1140088 HAS SOUPS 1140088 WITH SCORE 1142470.318
AT ITER 4150 NEW BEST:: SOT 2877006 SOS 2382318 HAS SOPS 2382318 HAS SOUS 1140066 HAS SOUPS 1140066 WITH SCORE 1142448.318
AT ITER 4153 NEW BEST:: SOT 2876586 SOS 2381898 HAS SOPS 2381898 HAS SOUS 1139226 HAS SOUPS 1139226 WITH SCORE 1141607.898
AT ITER 4158 NEW BEST:: SOT 2876458 SOS 2381770 HAS SOPS 2381770 HAS SOUS 1138970 HAS SOUPS 1138970 WITH SCORE 1141351.77
AT ITER 4168 NEW BEST:: SOT 2876458 SOS 2381770 HAS SOPS 2381770 HAS SOUS 1138872 HAS SOUPS 1138872 WITH SCORE 1141253.77
AT ITER 4172 NEW BEST:: SOT 2876458 SOS 2381770 HAS SOPS 2381770 HAS SOUS 1138498 HAS SOUPS 1138498 WITH SCORE 1140879.77
AT ITER 4173 NEW BEST:: SOT 2876456 SOS 2381768 HAS SOPS 2381768 HAS SOUS 1138494 HAS SOUPS 1138494 WITH SCORE 1140875.768
AT ITER 4184 NEW BEST:: SOT 2876456 SOS 2381768 HAS SOPS 2381768 HAS SOUS 1138488 HAS SOUPS 1138488 WITH SCORE 1140869.768
AT ITER 4190 NEW BEST:: SOT 2876456 SOS 2381768 HAS SOPS 2381768 HAS SOUS 1138154 HAS SOUPS 1138154 WITH SCORE 1140535.768
AT ITER 4193 NEW BEST:: SOT 2876456 SOS 2381620 HAS SOPS 2381620 HAS SOUS 1137682 HAS SOUPS 1137682 WITH SCORE 1140063.62
AT ITER 4194 NEW BEST:: SOT 2876322 SOS 2381486 HAS SOPS 2381486 HAS SOUS 1137414 HAS SOUPS 1137414 WITH SCORE 1139795.486
AT ITER 4207 NEW BEST:: SOT 2876322 SOS 2381486 HAS SOPS 2381486 HAS SOUS 1137280 HAS SOUPS 1137280 WITH SCORE 1139661.486
AT ITER 4233 NEW BEST:: SOT 2875810 SOS 2380974 HAS SOPS 2380974 HAS SOUS 1135458 HAS SOUPS 1135458 WITH SCORE 1137838.974
AT ITER 4243 NEW BEST:: SOT 2875512 SOS 2380676 HAS SOPS 2380676 HAS SOUS 1134240 HAS SOUPS 1134240 WITH SCORE 1136620.676
AT ITER 4246 NEW BEST:: SOT 2875424 SOS 2380588 HAS SOPS 2380588 HAS SOUS 1134064 HAS SOUPS 1134064 WITH SCORE 1136444.588
AT ITER 4247 NEW BEST:: SOT 2875320 SOS 2380484 HAS SOPS 2380484 HAS SOUS 1133214 HAS SOUPS 1133214 WITH SCORE 1135594.484
AT ITER 4253 NEW BEST:: SOT 2875234 SOS 2380398 HAS SOPS 2380398 HAS SOUS 1133042 HAS SOUPS 1133042 WITH SCORE 1135422.398
AT ITER 4260 NEW BEST:: SOT 2875234 SOS 2380398 HAS SOPS 2380398 HAS SOUS 1133016 HAS SOUPS 1133016 WITH SCORE 1135396.398
AT ITER 4275 NEW BEST:: SOT 2875234 SOS 2380398 HAS SOPS 2380398 HAS SOUS 1132938 HAS SOUPS 1132938 WITH SCORE 1135318.398
AT ITER 4280 NEW BEST:: SOT 2875234 SOS 2380398 HAS SOPS 2380398 HAS SOUS 1131798 HAS SOUPS 1131798 WITH SCORE 1134178.398
AT ITER 4282 NEW BEST:: SOT 2875234 SOS 2380398 HAS SOPS 2380398 HAS SOUS 1131226 HAS SOUPS 1131226 WITH SCORE 1133606.398
AT ITER 4283 NEW BEST:: SOT 2875198 SOS 2380362 HAS SOPS 2380362 HAS SOUS 1131154 HAS SOUPS 1131154 WITH SCORE 1133534.362
AT ITER 4290 NEW BEST:: SOT 2875198 SOS 2380362 HAS SOPS 2380362 HAS SOUS 1130300 HAS SOUPS 1130300 WITH SCORE 1132680.362
AT ITER 4295 NEW BEST:: SOT 2875198 SOS 2380362 HAS SOPS 2380362 HAS SOUS 1130248 HAS SOUPS 1130248 WITH SCORE 1132628.362
AT ITER 4296 NEW BEST:: SOT 2875088 SOS 2380252 HAS SOPS 2380252 HAS SOUS 1130028 HAS SOUPS 1130028 WITH SCORE 1132408.252
AT ITER 4298 NEW BEST:: SOT 2875088 SOS 2380252 HAS SOPS 2380252 HAS SOUS 1129774 HAS SOUPS 1129774 WITH SCORE 1132154.252
AT ITER 4319 NEW BEST:: SOT 2875088 SOS 2380252 HAS SOPS 2380252 HAS SOUS 1129446 HAS SOUPS 1129446 WITH SCORE 1131826.252
AT ITER 4323 NEW BEST:: SOT 2875088 SOS 2380252 HAS SOPS 2380252 HAS SOUS 1129218 HAS SOUPS 1129218 WITH SCORE 1131598.252
AT ITER 4328 NEW BEST:: SOT 2875088 SOS 2380252 HAS SOPS 2380252 HAS SOUS 1128908 HAS SOUPS 1128908 WITH SCORE 1131288.252
AT ITER 4332 NEW BEST:: SOT 2874854 SOS 2380018 HAS SOPS 2380018 HAS SOUS 1128440 HAS SOUPS 1128440 WITH SCORE 1130820.018
AT ITER 4340 NEW BEST:: SOT 2874274 SOS 2379438 HAS SOPS 2379438 HAS SOUS 1127280 HAS SOUPS 1127280 WITH SCORE 1129659.438
AT ITER 4372 NEW BEST:: SOT 2874274 SOS 2379438 HAS SOPS 2379438 HAS SOUS 1127042 HAS SOUPS 1127042 WITH SCORE 1129421.438
AT ITER 4377 NEW BEST:: SOT 2874274 SOS 2379438 HAS SOPS 2379438 HAS SOUS 1126966 HAS SOUPS 1126966 WITH SCORE 1129345.438
AT ITER 4398 NEW BEST:: SOT 2873950 SOS 2379114 HAS SOPS 2379114 HAS SOUS 1126318 HAS SOUPS 1126318 WITH SCORE 1128697.114
AT ITER 4404 NEW BEST:: SOT 2873950 SOS 2379114 HAS SOPS 2379114 HAS SOUS 1125620 HAS SOUPS 1125620 WITH SCORE 1127999.114
AT ITER 4405 NEW BEST:: SOT 2873890 SOS 2379054 HAS SOPS 2379054 HAS SOUS 1125500 HAS SOUPS 1125500 WITH SCORE 1127879.054
AT ITER 4411 NEW BEST:: SOT 2873890 SOS 2379054 HAS SOPS 2379054 HAS SOUS 1124490 HAS SOUPS 1124490 WITH SCORE 1126869.054
AT ITER 4421 NEW BEST:: SOT 2873890 SOS 2379054 HAS SOPS 2379054 HAS SOUS 1124434 HAS SOUPS 1124434 WITH SCORE 1126813.054
AT ITER 4422 NEW BEST:: SOT 2873890 SOS 2379054 HAS SOPS 2379054 HAS SOUS 1124400 HAS SOUPS 1124400 WITH SCORE 1126779.054
AT ITER 4428 NEW BEST:: SOT 2873818 SOS 2378982 HAS SOPS 2378982 HAS SOUS 1124256 HAS SOUPS 1124256 WITH SCORE 1126634.982
AT ITER 4430 NEW BEST:: SOT 2873818 SOS 2378982 HAS SOPS 2378982 HAS SOUS 1123818 HAS SOUPS 1123818 WITH SCORE 1126196.982
AT ITER 4437 NEW BEST:: SOT 2873818 SOS 2378960 HAS SOPS 2378960 HAS SOUS 1123572 HAS SOUPS 1123572 WITH SCORE 1125950.96
AT ITER 4438 NEW BEST:: SOT 2873818 SOS 2378920 HAS SOPS 2378920 HAS SOUS 1123532 HAS SOUPS 1123532 WITH SCORE 1125910.92
AT ITER 4461 NEW BEST:: SOT 2873648 SOS 2378750 HAS SOPS 2378750 HAS SOUS 1123192 HAS SOUPS 1123192 WITH SCORE 1125570.75
AT ITER 4465 NEW BEST:: SOT 2872766 SOS 2377868 HAS SOPS 2377868 HAS SOUS 1121428 HAS SOUPS 1121428 WITH SCORE 1123805.868
AT ITER 4469 NEW BEST:: SOT 2872766 SOS 2377868 HAS SOPS 2377868 HAS SOUS 1121414 HAS SOUPS 1121414 WITH SCORE 1123791.868
AT ITER 4471 NEW BEST:: SOT 2872766 SOS 2377868 HAS SOPS 2377868 HAS SOUS 1120332 HAS SOUPS 1120332 WITH SCORE 1122709.868
AT ITER 4473 NEW BEST:: SOT 2872636 SOS 2377738 HAS SOPS 2377738 HAS SOUS 1120072 HAS SOUPS 1120072 WITH SCORE 1122449.738
AT ITER 4475 NEW BEST:: SOT 2872636 SOS 2377738 HAS SOPS 2377738 HAS SOUS 1120066 HAS SOUPS 1120066 WITH SCORE 1122443.738
AT ITER 4478 NEW BEST:: SOT 2872636 SOS 2377738 HAS SOPS 2377738 HAS SOUS 1119712 HAS SOUPS 1119712 WITH SCORE 1122089.738
AT ITER 4481 NEW BEST:: SOT 2872494 SOS 2377596 HAS SOPS 2377596 HAS SOUS 1119284 HAS SOUPS 1119284 WITH SCORE 1121661.596
AT ITER 4485 NEW BEST:: SOT 2872294 SOS 2377396 HAS SOPS 2377396 HAS SOUS 1118752 HAS SOUPS 1118752 WITH SCORE 1121129.396
AT ITER 4497 NEW BEST:: SOT 2872294 SOS 2377396 HAS SOPS 2377396 HAS SOUS 1118710 HAS SOUPS 1118710 WITH SCORE 1121087.396
AT ITER 4499 NEW BEST:: SOT 2872264 SOS 2377366 HAS SOPS 2377366 HAS SOUS 1118452 HAS SOUPS 1118452 WITH SCORE 1120829.366
AT ITER 4502 NEW BEST:: SOT 2872070 SOS 2377172 HAS SOPS 2377172 HAS SOUS 1118064 HAS SOUPS 1118064 WITH SCORE 1120441.172
AT ITER 4503 NEW BEST:: SOT 2871110 SOS 2376212 HAS SOPS 2376212 HAS SOUS 1116136 HAS SOUPS 1116136 WITH SCORE 1118512.212
AT ITER 4514 NEW BEST:: SOT 2870864 SOS 2375966 HAS SOPS 2375966 HAS SOUS 1115644 HAS SOUPS 1115644 WITH SCORE 1118019.966
AT ITER 4519 NEW BEST:: SOT 2869688 SOS 2374790 HAS SOPS 2374790 HAS SOUS 1112986 HAS SOUPS 1112986 WITH SCORE 1115360.79
AT ITER 4530 NEW BEST:: SOT 2869556 SOS 2374658 HAS SOPS 2374658 HAS SOUS 1112722 HAS SOUPS 1112722 WITH SCORE 1115096.658
AT ITER 4541 NEW BEST:: SOT 2869556 SOS 2374658 HAS SOPS 2374658 HAS SOUS 1112192 HAS SOUPS 1112192 WITH SCORE 1114566.658
AT ITER 4551 NEW BEST:: SOT 2869556 SOS 2374658 HAS SOPS 2374658 HAS SOUS 1112076 HAS SOUPS 1112076 WITH SCORE 1114450.658
AT ITER 4564 NEW BEST:: SOT 2869408 SOS 2374510 HAS SOPS 2374510 HAS SOUS 1111100 HAS SOUPS 1111100 WITH SCORE 1113474.51
AT ITER 4574 NEW BEST:: SOT 2869408 SOS 2374430 HAS SOPS 2374430 HAS SOUS 1111014 HAS SOUPS 1111014 WITH SCORE 1113388.43
AT ITER 4588 NEW BEST:: SOT 2869408 SOS 2374430 HAS SOPS 2374430 HAS SOUS 1110966 HAS SOUPS 1110966 WITH SCORE 1113340.43
AT ITER 4592 NEW BEST:: SOT 2869408 SOS 2374404 HAS SOPS 2374404 HAS SOUS 1110764 HAS SOUPS 1110764 WITH SCORE 1113138.404
AT ITER 4599 NEW BEST:: SOT 2869408 SOS 2374116 HAS SOPS 2374116 HAS SOUS 1109184 HAS SOUPS 1109184 WITH SCORE 1111558.116
AT ITER 4601 NEW BEST:: SOT 2869408 SOS 2374116 HAS SOPS 2374116 HAS SOUS 1109078 HAS SOUPS 1109078 WITH SCORE 1111452.116
AT ITER 4630 NEW BEST:: SOT 2869028 SOS 2373736 HAS SOPS 2373736 HAS SOUS 1108318 HAS SOUPS 1108318 WITH SCORE 1110691.736
AT ITER 4651 NEW BEST:: SOT 2869028 SOS 2373736 HAS SOPS 2373736 HAS SOUS 1107312 HAS SOUPS 1107312 WITH SCORE 1109685.736
AT ITER 4652 NEW BEST:: SOT 2868832 SOS 2373540 HAS SOPS 2373540 HAS SOUS 1106796 HAS SOUPS 1106796 WITH SCORE 1109169.54
AT ITER 4653 NEW BEST:: SOT 2868832 SOS 2373540 HAS SOPS 2373540 HAS SOUS 1106776 HAS SOUPS 1106776 WITH SCORE 1109149.54
AT ITER 4654 NEW BEST:: SOT 2868716 SOS 2373424 HAS SOPS 2373424 HAS SOUS 1106544 HAS SOUPS 1106544 WITH SCORE 1108917.424
AT ITER 4660 NEW BEST:: SOT 2868716 SOS 2373424 HAS SOPS 2373424 HAS SOUS 1106522 HAS SOUPS 1106522 WITH SCORE 1108895.424
AT ITER 4669 NEW BEST:: SOT 2867876 SOS 2372584 HAS SOPS 2372584 HAS SOUS 1104704 HAS SOUPS 1104704 WITH SCORE 1107076.584
AT ITER 4671 NEW BEST:: SOT 2867876 SOS 2372584 HAS SOPS 2372584 HAS SOUS 1104552 HAS SOUPS 1104552 WITH SCORE 1106924.584
AT ITER 4689 NEW BEST:: SOT 2867876 SOS 2372584 HAS SOPS 2372584 HAS SOUS 1104432 HAS SOUPS 1104432 WITH SCORE 1106804.584
AT ITER 4711 NEW BEST:: SOT 2867638 SOS 2372346 HAS SOPS 2372346 HAS SOUS 1103956 HAS SOUPS 1103956 WITH SCORE 1106328.346
AT ITER 4712 NEW BEST:: SOT 2867264 SOS 2371972 HAS SOPS 2371972 HAS SOUS 1103208 HAS SOUPS 1103208 WITH SCORE 1105579.972
AT ITER 4725 NEW BEST:: SOT 2867264 SOS 2371972 HAS SOPS 2371972 HAS SOUS 1102520 HAS SOUPS 1102520 WITH SCORE 1104891.972
AT ITER 4729 NEW BEST:: SOT 2867636 SOS 2371708 HAS SOPS 2371708 HAS SOUS 1102256 HAS SOUPS 1102256 WITH SCORE 1104627.708
AT ITER 4731 NEW BEST:: SOT 2867416 SOS 2371488 HAS SOPS 2371488 HAS SOUS 1101816 HAS SOUPS 1101816 WITH SCORE 1104187.488
AT ITER 4754 NEW BEST:: SOT 2867416 SOS 2371488 HAS SOPS 2371488 HAS SOUS 1101774 HAS SOUPS 1101774 WITH SCORE 1104145.488
AT ITER 4755 NEW BEST:: SOT 2867402 SOS 2371474 HAS SOPS 2371474 HAS SOUS 1101746 HAS SOUPS 1101746 WITH SCORE 1104117.474
AT ITER 4756 NEW BEST:: SOT 2867402 SOS 2371474 HAS SOPS 2371474 HAS SOUS 1101420 HAS SOUPS 1101420 WITH SCORE 1103791.474
AT ITER 4766 NEW BEST:: SOT 2867390 SOS 2371462 HAS SOPS 2371462 HAS SOUS 1101396 HAS SOUPS 1101396 WITH SCORE 1103767.462
AT ITER 4769 NEW BEST:: SOT 2867390 SOS 2371462 HAS SOPS 2371462 HAS SOUS 1101336 HAS SOUPS 1101336 WITH SCORE 1103707.462
AT ITER 4781 NEW BEST:: SOT 2866948 SOS 2371020 HAS SOPS 2371020 HAS SOUS 1100452 HAS SOUPS 1100452 WITH SCORE 1102823.02
AT ITER 4785 NEW BEST:: SOT 2866948 SOS 2371020 HAS SOPS 2371020 HAS SOUS 1100252 HAS SOUPS 1100252 WITH SCORE 1102623.02
AT ITER 4796 NEW BEST:: SOT 2865832 SOS 2369904 HAS SOPS 2369904 HAS SOUS 1097556 HAS SOUPS 1097556 WITH SCORE 1099925.904
AT ITER 4798 NEW BEST:: SOT 2865326 SOS 2369398 HAS SOPS 2369398 HAS SOUS 1096544 HAS SOUPS 1096544 WITH SCORE 1098913.398
AT ITER 4810 NEW BEST:: SOT 2865326 SOS 2369398 HAS SOPS 2369398 HAS SOUS 1096352 HAS SOUPS 1096352 WITH SCORE 1098721.398
AT ITER 4813 NEW BEST:: SOT 2865326 SOS 2369398 HAS SOPS 2369398 HAS SOUS 1096196 HAS SOUPS 1096196 WITH SCORE 1098565.398
AT ITER 4835 NEW BEST:: SOT 2864578 SOS 2368650 HAS SOPS 2368650 HAS SOUS 1093792 HAS SOUPS 1093792 WITH SCORE 1096160.65
AT ITER 4845 NEW BEST:: SOT 2864578 SOS 2368604 HAS SOPS 2368604 HAS SOUS 1093468 HAS SOUPS 1093468 WITH SCORE 1095836.604
AT ITER 4847 NEW BEST:: SOT 2864578 SOS 2368542 HAS SOPS 2368542 HAS SOUS 1093406 HAS SOUPS 1093406 WITH SCORE 1095774.542
AT ITER 4862 NEW BEST:: SOT 2864356 SOS 2368320 HAS SOPS 2368320 HAS SOUS 1092962 HAS SOUPS 1092962 WITH SCORE 1095330.32
AT ITER 4869 NEW BEST:: SOT 2864356 SOS 2368320 HAS SOPS 2368320 HAS SOUS 1092540 HAS SOUPS 1092540 WITH SCORE 1094908.32
AT ITER 4873 NEW BEST:: SOT 2864356 SOS 2368242 HAS SOPS 2368242 HAS SOUS 1092462 HAS SOUPS 1092462 WITH SCORE 1094830.242
AT ITER 4878 NEW BEST:: SOT 2864222 SOS 2368108 HAS SOPS 2368108 HAS SOUS 1091952 HAS SOUPS 1091952 WITH SCORE 1094320.108
AT ITER 4895 NEW BEST:: SOT 2864222 SOS 2368108 HAS SOPS 2368108 HAS SOUS 1091378 HAS SOUPS 1091378 WITH SCORE 1093746.108
AT ITER 4902 NEW BEST:: SOT 2863682 SOS 2367568 HAS SOPS 2367568 HAS SOUS 1090298 HAS SOUPS 1090298 WITH SCORE 1092665.568
AT ITER 4911 NEW BEST:: SOT 2863682 SOS 2367568 HAS SOPS 2367568 HAS SOUS 1089228 HAS SOUPS 1089228 WITH SCORE 1091595.568
AT ITER 4914 NEW BEST:: SOT 2863382 SOS 2367268 HAS SOPS 2367268 HAS SOUS 1088588 HAS SOUPS 1088588 WITH SCORE 1090955.268
AT ITER 4930 NEW BEST:: SOT 2863382 SOS 2367268 HAS SOPS 2367268 HAS SOUS 1088430 HAS SOUPS 1088430 WITH SCORE 1090797.268
AT ITER 4942 NEW BEST:: SOT 2863328 SOS 2367214 HAS SOPS 2367214 HAS SOUS 1087986 HAS SOUPS 1087986 WITH SCORE 1090353.214
AT ITER 4946 NEW BEST:: SOT 2862790 SOS 2366676 HAS SOPS 2366676 HAS SOUS 1086910 HAS SOUPS 1086910 WITH SCORE 1089276.676
AT ITER 4949 NEW BEST:: SOT 2861952 SOS 2365838 HAS SOPS 2365838 HAS SOUS 1085234 HAS SOUPS 1085234 WITH SCORE 1087599.838
AT ITER 4953 NEW BEST:: SOT 2861734 SOS 2365620 HAS SOPS 2365620 HAS SOUS 1084798 HAS SOUPS 1084798 WITH SCORE 1087163.62
AT ITER 4959 NEW BEST:: SOT 2861472 SOS 2365358 HAS SOPS 2365358 HAS SOUS 1084274 HAS SOUPS 1084274 WITH SCORE 1086639.358
AT ITER 4963 NEW BEST:: SOT 2861098 SOS 2364984 HAS SOPS 2364984 HAS SOUS 1083526 HAS SOUPS 1083526 WITH SCORE 1085890.984
AT ITER 4965 NEW BEST:: SOT 2860200 SOS 2364086 HAS SOPS 2364086 HAS SOUS 1081708 HAS SOUPS 1081708 WITH SCORE 1084072.086
AT ITER 4982 NEW BEST:: SOT 2860200 SOS 2364086 HAS SOPS 2364086 HAS SOUS 1081418 HAS SOUPS 1081418 WITH SCORE 1083782.086
AT ITER 4987 NEW BEST:: SOT 2860200 SOS 2364086 HAS SOPS 2364086 HAS SOUS 1081408 HAS SOUPS 1081408 WITH SCORE 1083772.086
Bounds file is: CTLFireability.xml
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-00 (EU( ( ( (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1596)>=1))))) | (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1590)>=1))))) ) | (! ( ((potential((tk(P597)>=1)))) & ((potential((tk(P1037)>=1)))) )) ) , (EF( ( ((potential((tk(P1075)>=1)))) & ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1914)>=1)))) ))) ))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-01 (EF( ( ((potential((tk(P377)>=1)))) & (EG( ( ((potential((tk(P133)>=1)))) & ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1373)>=1)))) ))) )))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-02 (EF( ( (AG( ( ((potential((tk(P357)>=1)))) & ((potential((tk(P1085)>=1)))) ))) & (! (AG( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1438)>=1))))))) )))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-03 (EX( (AG( (EF( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P2022)>=1))))))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-04 (AX( (EF( (EG( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1966)>=1))))))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-05 (EF( (AF( ( ( ((potential((tk(P60)>=1)))) | ((potential((tk(P1054)>=1)))) ) & ( ((potential((tk(P109)>=1)))) & ((potential((tk(P594)>=1)))) ) )))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-06 (! (EF( (EG( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1889)>=1)))))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-07 ( ( ( ( ( ( ((potential((tk(P608)>=1)))) | ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1998)>=1)))) ) & ( ((potential((tk(P118)>=1)))) & ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1896)>=1)))) ) ) | ( ( ((potential((tk(P13)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1)))) | ((potential((tk(P183)>=1)))) ) & ( ((potential((tk(P325)>=1)))) & ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1704)>=1)))) ) ) ) & ((potential((tk(P705)>=1)))) ) | ((potential((tk(P362)>=1)))) ) | (EF( ( ( (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1212)>=1))))) & ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1928)>=1)))) & ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1159)>=1)))) ) ) & (! ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1457)>=1)))) | ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1982)>=1)))) )) ))) )
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-08 (AG( (EU( (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1113)>=1))))) , ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1473)>=1)))) | ((potential((tk(P1127)>=1)))) ) ))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-09 (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1407)>=1)))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-10 ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1114)>=1))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-11 (AG( (AG( (! ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1470)>=1)))) | ((potential((tk(P1059)>=1)))) ))))))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-12 ( (EU( ( ((potential((tk(P290)>=1)))) | (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1785)>=1))))) ) , ( (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1902)>=1))))) & ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1551)>=1)))) & ((potential((tk(P329)>=1)))) ) ) )) & (AG( (AG( (! ((potential((tk(P863)>=1))))))))) )
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-13 (AF( ( ((potential((tk(P1052)>=1)))) & ( (! (! ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P846)>=1)))))) | (EG( ((potential((tk(P1023)>=1)))))) ) )))
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-14 ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1737)>=1)))) & ( ( ( (! ((potential((tk(P40)>=1))))) & (EX( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1405)>=1)))))) ) & ( (AF( ((potential((tk(P901)>=1)))))) | (! (! ((potential((tk(P1146)>=1)))))) ) ) | ( ( ( (! ((potential((tk(P153)>=1))))) | ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1820)>=1)))) & ((potential((tk(P822)>=1)))) ) ) | (AX( ((potential((tk(P99)>=1)))))) ) & ((potential((tk(P959)>=1)))) ) ) )
PROPERTY: RwMutex-PT-r0010w1000-CTLFireability-15 (! (AF( (! ( ((potential((tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1) & (tk(P1791)>=1)))) & ( ((potential((tk(P15)>=1) & (tk(P28)>=1) & (tk(P29)>=1) & (tk(P30)>=1) & (tk(P31)>=1) & (tk(P32)>=1) & (tk(P33)>=1) & (tk(P34)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P38)>=1)))) | ((potential((tk(P633)>=1)))) ) )))))
FORMULA RwMutex-PT-r0010w1000-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="RwMutex-PT-r0010w1000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0010w1000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910000284"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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