Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807300339.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Dekker-PT-100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300339
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 3.2K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 5.9M Apr 27 14:36 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 Dekker-PT-100-CTLCardinality-00
FORMULA_NAME Dekker-PT-100-CTLCardinality-01
FORMULA_NAME Dekker-PT-100-CTLCardinality-02
FORMULA_NAME Dekker-PT-100-CTLCardinality-03
FORMULA_NAME Dekker-PT-100-CTLCardinality-04
FORMULA_NAME Dekker-PT-100-CTLCardinality-05
FORMULA_NAME Dekker-PT-100-CTLCardinality-06
FORMULA_NAME Dekker-PT-100-CTLCardinality-07
FORMULA_NAME Dekker-PT-100-CTLCardinality-08
FORMULA_NAME Dekker-PT-100-CTLCardinality-09
FORMULA_NAME Dekker-PT-100-CTLCardinality-10
FORMULA_NAME Dekker-PT-100-CTLCardinality-11
FORMULA_NAME Dekker-PT-100-CTLCardinality-12
FORMULA_NAME Dekker-PT-100-CTLCardinality-13
FORMULA_NAME Dekker-PT-100-CTLCardinality-14
FORMULA_NAME Dekker-PT-100-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589361421166

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

GOT IT HERE. BS
Petri model created: 500 places, 10200 transitions, 80200 arcs.
AT ITER 0 NEW BEST:: SOT 4569006 SOS 4210153 HAS SOPS 4008553 HAS SOUS 3867151 HAS SOUPS 3827251 WITH SCORE 3831461.153
AT ITER 1 NEW BEST:: SOT 4549518 SOS 4207229 HAS SOPS 3979066 HAS SOUS 3805844 HAS SOUPS 3765949 WITH SCORE 3770156.229
AT ITER 2 NEW BEST:: SOT 4535475 SOS 4193186 HAS SOPS 3964924 HAS SOUS 3791603 HAS SOUPS 3751708 WITH SCORE 3755901.186
AT ITER 3 NEW BEST:: SOT 4535520 SOS 4188128 HAS SOPS 3958501 HAS SOUS 3767249 HAS SOUPS 3727585 WITH SCORE 3731773.128
AT ITER 4 NEW BEST:: SOT 4535520 SOS 4180580 HAS SOPS 3950320 HAS SOUS 3754754 HAS SOUPS 3715207 WITH SCORE 3719387.58
AT ITER 5 NEW BEST:: SOT 4535520 SOS 4180580 HAS SOPS 3950276 HAS SOUS 3754666 HAS SOUPS 3715119 WITH SCORE 3719299.58
AT ITER 6 NEW BEST:: SOT 4535716 SOS 4178930 HAS SOPS 3940648 HAS SOUS 3719461 HAS SOUPS 3680188 WITH SCORE 3684366.93
AT ITER 7 NEW BEST:: SOT 4535716 SOS 4178930 HAS SOPS 3940561 HAS SOUS 3719287 HAS SOUPS 3680014 WITH SCORE 3684192.93
AT ITER 8 NEW BEST:: SOT 4524271 SOS 4167485 HAS SOPS 3929116 HAS SOUS 3707842 HAS SOUPS 3668569 WITH SCORE 3672736.485
AT ITER 10 NEW BEST:: SOT 4508085 SOS 4151320 HAS SOPS 3912930 HAS SOUS 3691710 HAS SOUPS 3652383 WITH SCORE 3656534.32
AT ITER 13 NEW BEST:: SOT 4508085 SOS 4151320 HAS SOPS 3912872 HAS SOUS 3691594 HAS SOUPS 3652267 WITH SCORE 3656418.32
AT ITER 14 NEW BEST:: SOT 4504013 SOS 4147248 HAS SOPS 3908800 HAS SOUS 3687522 HAS SOUPS 3648195 WITH SCORE 3652342.248
AT ITER 15 NEW BEST:: SOT 4489455 SOS 4132690 HAS SOPS 3894242 HAS SOUS 3672964 HAS SOUPS 3633637 WITH SCORE 3637769.69
AT ITER 16 NEW BEST:: SOT 4489459 SOS 4129886 HAS SOPS 3884397 HAS SOUS 3650879 HAS SOUPS 3611702 WITH SCORE 3615831.886
AT ITER 17 NEW BEST:: SOT 4489459 SOS 4129886 HAS SOPS 3884322 HAS SOUS 3650729 HAS SOUPS 3611552 WITH SCORE 3615681.886
AT ITER 18 NEW BEST:: SOT 4489444 SOS 4129871 HAS SOPS 3884307 HAS SOUS 3650714 HAS SOUPS 3611537 WITH SCORE 3615666.871
AT ITER 19 NEW BEST:: SOT 4471710 SOS 4112137 HAS SOPS 3866474 HAS SOUS 3632782 HAS SOUPS 3593605 WITH SCORE 3597717.137
AT ITER 21 NEW BEST:: SOT 4472103 SOS 4102631 HAS SOPS 3857243 HAS SOUS 3600020 HAS SOUPS 3561179 WITH SCORE 3565281.631
AT ITER 22 NEW BEST:: SOT 4452888 SOS 4083416 HAS SOPS 3838028 HAS SOUS 3580830 HAS SOUPS 3541964 WITH SCORE 3546047.416
AT ITER 23 NEW BEST:: SOT 4433442 SOS 4063970 HAS SOPS 3818582 HAS SOUS 3561477 HAS SOUPS 3522518 WITH SCORE 3526581.97
AT ITER 26 NEW BEST:: SOT 4426062 SOS 4056590 HAS SOPS 3811202 HAS SOUS 3554097 HAS SOUPS 3515138 WITH SCORE 3519194.59
AT ITER 29 NEW BEST:: SOT 4426062 SOS 4051040 HAS SOPS 3809384 HAS SOUS 3539793 HAS SOUPS 3501014 WITH SCORE 3505065.04
AT ITER 30 NEW BEST:: SOT 4426028 SOS 4051006 HAS SOPS 3809350 HAS SOUS 3539759 HAS SOUPS 3500980 WITH SCORE 3505031.006
AT ITER 31 NEW BEST:: SOT 4410815 SOS 4035793 HAS SOPS 3794038 HAS SOUS 3524348 HAS SOUPS 3485569 WITH SCORE 3489604.793
AT ITER 32 NEW BEST:: SOT 4410815 SOS 4034885 HAS SOPS 3788079 HAS SOUS 3513279 HAS SOUPS 3474559 WITH SCORE 3478593.885
AT ITER 35 NEW BEST:: SOT 4398487 SOS 4022557 HAS SOPS 3775652 HAS SOUS 3500825 HAS SOUPS 3462033 WITH SCORE 3466055.557
AT ITER 38 NEW BEST:: SOT 4382329 SOS 4003066 HAS SOPS 3749495 HAS SOUS 3439241 HAS SOUPS 3400524 WITH SCORE 3404527.066
AT ITER 41 NEW BEST:: SOT 4369518 SOS 3989792 HAS SOPS 3736684 HAS SOUS 3395609 HAS SOUPS 3357090 WITH SCORE 3361079.792
AT ITER 42 NEW BEST:: SOT 4357063 SOS 3977337 HAS SOPS 3724229 HAS SOUS 3383154 HAS SOUPS 3344635 WITH SCORE 3348612.337
AT ITER 43 NEW BEST:: SOT 4357063 SOS 3977337 HAS SOPS 3724130 HAS SOUS 3382956 HAS SOUPS 3344437 WITH SCORE 3348414.337
AT ITER 44 NEW BEST:: SOT 4366607 SOS 3984264 HAS SOPS 3731654 HAS SOUS 3348848 HAS SOUPS 3310375 WITH SCORE 3314359.264
AT ITER 45 NEW BEST:: SOT 4367836 SOS 3981696 HAS SOPS 3723110 HAS SOUS 3313015 HAS SOUPS 3274853 WITH SCORE 3278834.696
AT ITER 46 NEW BEST:: SOT 4352373 SOS 3966233 HAS SOPS 3707647 HAS SOUS 3297683 HAS SOUPS 3259390 WITH SCORE 3263356.233
AT ITER 47 NEW BEST:: SOT 4333499 SOS 3947359 HAS SOPS 3688773 HAS SOUS 3278904 HAS SOUPS 3240516 WITH SCORE 3244463.359
AT ITER 48 NEW BEST:: SOT 4333741 SOS 3944490 HAS SOPS 3680325 HAS SOUS 3252689 HAS SOUPS 3214510 WITH SCORE 3218454.49
AT ITER 49 NEW BEST:: SOT 4333741 SOS 3937821 HAS SOPS 3671235 HAS SOUS 3239288 HAS SOUPS 3201217 WITH SCORE 3205154.821
AT ITER 50 NEW BEST:: SOT 4327454 SOS 3931534 HAS SOPS 3664948 HAS SOUS 3233001 HAS SOUPS 3194930 WITH SCORE 3198861.534
AT ITER 52 NEW BEST:: SOT 4328056 SOS 3930004 HAS SOPS 3655668 HAS SOUS 3205063 HAS SOUPS 3167199 WITH SCORE 3171129.004
AT ITER 53 NEW BEST:: SOT 4321850 SOS 3920976 HAS SOPS 3639463 HAS SOUS 3152969 HAS SOUPS 3115206 WITH SCORE 3119126.976
AT ITER 54 NEW BEST:: SOT 4322497 SOS 3917940 HAS SOPS 3640716 HAS SOUS 3118032 HAS SOUPS 3080362 WITH SCORE 3084279.94
AT ITER 55 NEW BEST:: SOT 4332122 SOS 3922305 HAS SOPS 3640713 HAS SOUS 3090025 HAS SOUPS 3052689 WITH SCORE 3056611.305
AT ITER 56 NEW BEST:: SOT 4315001 SOS 3905184 HAS SOPS 3623493 HAS SOUS 3072706 HAS SOUPS 3035370 WITH SCORE 3039275.184
AT ITER 57 NEW BEST:: SOT 4315001 SOS 3901444 HAS SOPS 3623484 HAS SOUS 3067937 HAS SOUPS 3030686 WITH SCORE 3034587.444
AT ITER 58 NEW BEST:: SOT 4315001 SOS 3895230 HAS SOPS 3619430 HAS SOUS 3054217 HAS SOUPS 3017124 WITH SCORE 3021019.23
AT ITER 59 NEW BEST:: SOT 4297855 SOS 3878084 HAS SOPS 3602284 HAS SOUS 3037183 HAS SOUPS 2999978 WITH SCORE 3003856.084
AT ITER 60 NEW BEST:: SOT 4300612 SOS 3877443 HAS SOPS 3596479 HAS SOUS 3012428 HAS SOUPS 2975446 WITH SCORE 2979323.443
AT ITER 62 NEW BEST:: SOT 4300670 SOS 3871988 HAS SOPS 3586719 HAS SOUS 2990064 HAS SOUPS 2953263 WITH SCORE 2957134.988
AT ITER 63 NEW BEST:: SOT 4300670 SOS 3865850 HAS SOPS 3568591 HAS SOUS 2977979 HAS SOUPS 2941178 WITH SCORE 2945043.85
AT ITER 64 NEW BEST:: SOT 4301762 SOS 3859010 HAS SOPS 3567861 HAS SOUS 2964239 HAS SOUPS 2927649 WITH SCORE 2931508.01
AT ITER 67 NEW BEST:: SOT 4292605 SOS 3849853 HAS SOPS 3558648 HAS SOUS 2955026 HAS SOUPS 2918380 WITH SCORE 2922229.853
AT ITER 69 NEW BEST:: SOT 4294004 SOS 3842695 HAS SOPS 3550326 HAS SOUS 2921506 HAS SOUPS 2885292 WITH SCORE 2889134.695
AT ITER 70 NEW BEST:: SOT 4294004 SOS 3837729 HAS SOPS 3545377 HAS SOUS 2918990 HAS SOUPS 2882878 WITH SCORE 2886715.729
AT ITER 71 NEW BEST:: SOT 4290242 SOS 3833967 HAS SOPS 3541516 HAS SOUS 2915086 HAS SOUPS 2878918 WITH SCORE 2882751.967
AT ITER 72 NEW BEST:: SOT 4288366 SOS 3832091 HAS SOPS 3539662 HAS SOUS 2913232 HAS SOUPS 2877086 WITH SCORE 2880918.091
AT ITER 73 NEW BEST:: SOT 4288366 SOS 3829971 HAS SOPS 3529762 HAS SOUS 2905353 HAS SOUPS 2869207 WITH SCORE 2873036.971
AT ITER 74 NEW BEST:: SOT 4289003 SOS 3826484 HAS SOPS 3530638 HAS SOUS 2883722 HAS SOUPS 2847844 WITH SCORE 2851670.484
AT ITER 75 NEW BEST:: SOT 4289003 SOS 3824445 HAS SOPS 3520738 HAS SOUS 2875762 HAS SOUPS 2839884 WITH SCORE 2843708.445
AT ITER 76 NEW BEST:: SOT 4293099 SOS 3824066 HAS SOPS 3514972 HAS SOUS 2850810 HAS SOUPS 2815168 WITH SCORE 2818992.066
AT ITER 79 NEW BEST:: SOT 4275720 SOS 3806687 HAS SOPS 3497593 HAS SOUS 2833431 HAS SOUPS 2797789 WITH SCORE 2801595.687
AT ITER 80 NEW BEST:: SOT 4275677 SOS 3806644 HAS SOPS 3497516 HAS SOUS 2833320 HAS SOUPS 2797678 WITH SCORE 2801484.644
AT ITER 85 NEW BEST:: SOT 4276180 SOS 3803023 HAS SOPS 3488420 HAS SOUS 2808352 HAS SOUPS 2772910 WITH SCORE 2776713.023
AT ITER 87 NEW BEST:: SOT 4262999 SOS 3789842 HAS SOPS 3475140 HAS SOUS 2795032 HAS SOUPS 2759531 WITH SCORE 2763320.842
AT ITER 89 NEW BEST:: SOT 4262999 SOS 3781902 HAS SOPS 3472514 HAS SOUS 2783094 HAS SOUPS 2747765 WITH SCORE 2751546.902
AT ITER 94 NEW BEST:: SOT 4263063 SOS 3780284 HAS SOPS 3471298 HAS SOUS 2770266 HAS SOUPS 2735071 WITH SCORE 2738851.284
AT ITER 95 NEW BEST:: SOT 4254726 SOS 3771947 HAS SOPS 3462862 HAS SOUS 2761840 HAS SOUPS 2726536 WITH SCORE 2730307.947
AT ITER 96 NEW BEST:: SOT 4256705 SOS 3762333 HAS SOPS 3455273 HAS SOUS 2729456 HAS SOUPS 2694588 WITH SCORE 2698350.333
AT ITER 98 NEW BEST:: SOT 4257010 SOS 3756922 HAS SOPS 3457644 HAS SOUS 2711228 HAS SOUPS 2676625 WITH SCORE 2680381.922
AT ITER 101 NEW BEST:: SOT 4256645 SOS 3756557 HAS SOPS 3457279 HAS SOUS 2710863 HAS SOUPS 2676260 WITH SCORE 2680016.557
AT ITER 103 NEW BEST:: SOT 4256546 SOS 3756458 HAS SOPS 3457180 HAS SOUS 2710764 HAS SOUPS 2676161 WITH SCORE 2679917.458
AT ITER 105 NEW BEST:: SOT 4246744 SOS 3746656 HAS SOPS 3447378 HAS SOUS 2700962 HAS SOUPS 2666359 WITH SCORE 2670105.656
AT ITER 106 NEW BEST:: SOT 4225213 SOS 3725125 HAS SOPS 3425847 HAS SOUS 2679431 HAS SOUPS 2644828 WITH SCORE 2648553.125
AT ITER 107 NEW BEST:: SOT 4218900 SOS 3718284 HAS SOPS 3419534 HAS SOUS 2644453 HAS SOUPS 2610036 WITH SCORE 2613754.284
AT ITER 108 NEW BEST:: SOT 4213795 SOS 3711199 HAS SOPS 3414600 HAS SOUS 2624499 HAS SOUPS 2590324 WITH SCORE 2594035.199
AT ITER 110 NEW BEST:: SOT 4212103 SOS 3705451 HAS SOPS 3397688 HAS SOUS 2612109 HAS SOUPS 2577673 WITH SCORE 2581378.451
AT ITER 111 NEW BEST:: SOT 4208046 SOS 3699922 HAS SOPS 3388480 HAS SOUS 2604413 HAS SOUPS 2569835 WITH SCORE 2573534.922
AT ITER 113 NEW BEST:: SOT 4199264 SOS 3691140 HAS SOPS 3379698 HAS SOUS 2595754 HAS SOUPS 2561053 WITH SCORE 2564744.14
AT ITER 115 NEW BEST:: SOT 4199282 SOS 3691016 HAS SOPS 3379531 HAS SOUS 2595758 HAS SOUPS 2560985 WITH SCORE 2564676.016
AT ITER 116 NEW BEST:: SOT 4199282 SOS 3687967 HAS SOPS 3369565 HAS SOUS 2588676 HAS SOUPS 2553903 WITH SCORE 2557590.967
AT ITER 118 NEW BEST:: SOT 4199471 SOS 3685230 HAS SOPS 3368845 HAS SOUS 2574164 HAS SOUPS 2539558 WITH SCORE 2543243.23
AT ITER 119 NEW BEST:: SOT 4201508 SOS 3685159 HAS SOPS 3363814 HAS SOUS 2555703 HAS SOUPS 2521251 WITH SCORE 2524936.159
AT ITER 121 NEW BEST:: SOT 4204211 SOS 3678755 HAS SOPS 3346735 HAS SOUS 2516117 HAS SOUPS 2482037 WITH SCORE 2485715.755
AT ITER 125 NEW BEST:: SOT 4192435 SOS 3666979 HAS SOPS 3334959 HAS SOUS 2504285 HAS SOUPS 2470261 WITH SCORE 2473927.979
AT ITER 126 NEW BEST:: SOT 4191841 SOS 3666385 HAS SOPS 3334365 HAS SOUS 2503691 HAS SOUPS 2469667 WITH SCORE 2473333.385
AT ITER 130 NEW BEST:: SOT 4191868 SOS 3657330 HAS SOPS 3324431 HAS SOUS 2486479 HAS SOUPS 2452617 WITH SCORE 2456274.33
AT ITER 134 NEW BEST:: SOT 4191911 SOS 3648500 HAS SOPS 3317883 HAS SOUS 2471246 HAS SOUPS 2437560 WITH SCORE 2441208.5
AT ITER 136 NEW BEST:: SOT 4191882 SOS 3642938 HAS SOPS 3310856 HAS SOUS 2469868 HAS SOUPS 2436182 WITH SCORE 2439824.938
AT ITER 140 NEW BEST:: SOT 4180495 SOS 3631551 HAS SOPS 3299469 HAS SOUS 2458481 HAS SOUPS 2424795 WITH SCORE 2428426.551
AT ITER 141 NEW BEST:: SOT 4173057 SOS 3624052 HAS SOPS 3291970 HAS SOUS 2450982 HAS SOUPS 2417296 WITH SCORE 2420920.052
AT ITER 142 NEW BEST:: SOT 4173057 SOS 3624052 HAS SOPS 3291890 HAS SOUS 2450822 HAS SOUPS 2417136 WITH SCORE 2420760.052
AT ITER 144 NEW BEST:: SOT 4172485 SOS 3623480 HAS SOPS 3291318 HAS SOUS 2450250 HAS SOUPS 2416564 WITH SCORE 2420187.48
AT ITER 145 NEW BEST:: SOT 4165605 SOS 3616600 HAS SOPS 3284288 HAS SOUS 2443121 HAS SOUPS 2409384 WITH SCORE 2413000.6
AT ITER 146 NEW BEST:: SOT 4163036 SOS 3610483 HAS SOPS 3287532 HAS SOUS 2418873 HAS SOUPS 2385557 WITH SCORE 2389167.483
AT ITER 147 NEW BEST:: SOT 4163069 SOS 3609602 HAS SOPS 3296453 HAS SOUS 2410176 HAS SOUPS 2377047 WITH SCORE 2380656.602
AT ITER 152 NEW BEST:: SOT 4146732 SOS 3593265 HAS SOPS 3280116 HAS SOUS 2393935 HAS SOUPS 2360710 WITH SCORE 2364303.265
AT ITER 153 NEW BEST:: SOT 4146732 SOS 3590577 HAS SOPS 3279510 HAS SOUS 2390305 HAS SOUPS 2357137 WITH SCORE 2360727.577
AT ITER 154 NEW BEST:: SOT 4138288 SOS 3582133 HAS SOPS 3271170 HAS SOUS 2381833 HAS SOUPS 2348901 WITH SCORE 2352483.133
AT ITER 155 NEW BEST:: SOT 4138288 SOS 3582133 HAS SOPS 3271129 HAS SOUS 2381751 HAS SOUPS 2348819 WITH SCORE 2352401.133
AT ITER 156 NEW BEST:: SOT 4128293 SOS 3572138 HAS SOPS 3261134 HAS SOUS 2371756 HAS SOUPS 2338824 WITH SCORE 2342396.138
AT ITER 158 NEW BEST:: SOT 4128293 SOS 3572138 HAS SOPS 3261122 HAS SOUS 2371732 HAS SOUPS 2338800 WITH SCORE 2342372.138
AT ITER 160 NEW BEST:: SOT 4128293 SOS 3566610 HAS SOPS 3251123 HAS SOUS 2367063 HAS SOUPS 2334131 WITH SCORE 2337697.61
AT ITER 161 NEW BEST:: SOT 4125079 SOS 3563396 HAS SOPS 3247955 HAS SOUS 2363895 HAS SOUPS 2331009 WITH SCORE 2334572.396
AT ITER 162 NEW BEST:: SOT 4125079 SOS 3556865 HAS SOPS 3238461 HAS SOUS 2351344 HAS SOUPS 2318552 WITH SCORE 2322108.865
AT ITER 163 NEW BEST:: SOT 4127245 SOS 3554317 HAS SOPS 3242327 HAS SOUS 2318666 HAS SOUPS 2286283 WITH SCORE 2289837.317
AT ITER 164 NEW BEST:: SOT 4139182 SOS 3554384 HAS SOPS 3244698 HAS SOUS 2296574 HAS SOUPS 2264556 WITH SCORE 2268110.384
AT ITER 165 NEW BEST:: SOT 4139187 SOS 3553003 HAS SOPS 3244703 HAS SOUS 2290065 HAS SOUPS 2258126 WITH SCORE 2261679.003
AT ITER 167 NEW BEST:: SOT 4139187 SOS 3553003 HAS SOPS 3244695 HAS SOUS 2290049 HAS SOUPS 2258110 WITH SCORE 2261663.003
AT ITER 170 NEW BEST:: SOT 4139187 SOS 3549045 HAS SOPS 3247119 HAS SOUS 2284179 HAS SOUPS 2252363 WITH SCORE 2255912.045
AT ITER 171 NEW BEST:: SOT 4139187 SOS 3544867 HAS SOPS 3243619 HAS SOUS 2281322 HAS SOUPS 2249541 WITH SCORE 2253085.867
AT ITER 173 NEW BEST:: SOT 4139187 SOS 3544975 HAS SOPS 3243683 HAS SOUS 2281287 HAS SOUPS 2249506 WITH SCORE 2253050.975
AT ITER 174 NEW BEST:: SOT 4139186 SOS 3544974 HAS SOPS 3243682 HAS SOUS 2281286 HAS SOUPS 2249505 WITH SCORE 2253049.974
AT ITER 175 NEW BEST:: SOT 4139186 SOS 3544974 HAS SOPS 3243669 HAS SOUS 2281260 HAS SOUPS 2249479 WITH SCORE 2253023.974
AT ITER 180 NEW BEST:: SOT 4138501 SOS 3544289 HAS SOPS 3242975 HAS SOUS 2280557 HAS SOUPS 2248776 WITH SCORE 2252320.289
AT ITER 181 NEW BEST:: SOT 4138501 SOS 3542669 HAS SOPS 3239176 HAS SOUS 2278242 HAS SOUPS 2246461 WITH SCORE 2250003.669
AT ITER 182 NEW BEST:: SOT 4138501 SOS 3539729 HAS SOPS 3235976 HAS SOUS 2274718 HAS SOUPS 2242969 WITH SCORE 2246508.729
AT ITER 185 NEW BEST:: SOT 4138501 SOS 3538394 HAS SOPS 3232845 HAS SOUS 2272829 HAS SOUPS 2241111 WITH SCORE 2244649.394
AT ITER 190 NEW BEST:: SOT 4116098 SOS 3515991 HAS SOPS 3210442 HAS SOUS 2250426 HAS SOUPS 2218708 WITH SCORE 2222223.991
AT ITER 195 NEW BEST:: SOT 4116091 SOS 3515984 HAS SOPS 3210435 HAS SOUS 2250419 HAS SOUPS 2218701 WITH SCORE 2222216.984
AT ITER 196 NEW BEST:: SOT 4127781 SOS 3527127 HAS SOPS 3222201 HAS SOUS 2245232 HAS SOUPS 2213765 WITH SCORE 2217292.127
AT ITER 197 NEW BEST:: SOT 4127781 SOS 3526839 HAS SOPS 3221805 HAS SOUS 2244836 HAS SOUPS 2213369 WITH SCORE 2216895.839
AT ITER 201 NEW BEST:: SOT 4136318 SOS 3528965 HAS SOPS 3230638 HAS SOUS 2229877 HAS SOUPS 2198715 WITH SCORE 2202243.965
AT ITER 210 NEW BEST:: SOT 4158096 SOS 3550245 HAS SOPS 3252472 HAS SOUS 2226081 HAS SOUPS 2195165 WITH SCORE 2198715.245
AT ITER 212 NEW BEST:: SOT 4144732 SOS 3536881 HAS SOPS 3238940 HAS SOUS 2212549 HAS SOUPS 2181465 WITH SCORE 2185001.881
AT ITER 213 NEW BEST:: SOT 4134124 SOS 3526273 HAS SOPS 3228313 HAS SOUS 2201903 HAS SOUPS 2170819 WITH SCORE 2174345.273
AT ITER 215 NEW BEST:: SOT 4134124 SOS 3525354 HAS SOPS 3225413 HAS SOUS 2199893 HAS SOUPS 2168809 WITH SCORE 2172334.354
AT ITER 216 NEW BEST:: SOT 4117297 SOS 3509165 HAS SOPS 3207691 HAS SOUS 2182956 HAS SOUPS 2151678 WITH SCORE 2155187.165
AT ITER 217 NEW BEST:: SOT 4117297 SOS 3505247 HAS SOPS 3197791 HAS SOUS 2176875 HAS SOUPS 2145597 WITH SCORE 2149102.247
AT ITER 221 NEW BEST:: SOT 4117325 SOS 3499113 HAS SOPS 3194688 HAS SOUS 2164872 HAS SOUPS 2133744 WITH SCORE 2137243.113
AT ITER 222 NEW BEST:: SOT 4109932 SOS 3491720 HAS SOPS 3187295 HAS SOUS 2157479 HAS SOUPS 2126351 WITH SCORE 2129842.72
AT ITER 223 NEW BEST:: SOT 4088068 SOS 3474900 HAS SOPS 3172492 HAS SOUS 2137532 HAS SOUPS 2106208 WITH SCORE 2109682.9
AT ITER 227 NEW BEST:: SOT 4088319 SOS 3465055 HAS SOPS 3162843 HAS SOUS 2118380 HAS SOUPS 2087251 WITH SCORE 2090716.055
AT ITER 228 NEW BEST:: SOT 4084396 SOS 3461132 HAS SOPS 3158920 HAS SOUS 2114457 HAS SOUPS 2083328 WITH SCORE 2086789.132
AT ITER 229 NEW BEST:: SOT 4085125 SOS 3459109 HAS SOPS 3155762 HAS SOUS 2102784 HAS SOUPS 2071768 WITH SCORE 2075227.109
AT ITER 233 NEW BEST:: SOT 4069649 SOS 3443633 HAS SOPS 3140286 HAS SOUS 2087308 HAS SOUPS 2056292 WITH SCORE 2059735.633
AT ITER 234 NEW BEST:: SOT 4079703 SOS 3453537 HAS SOPS 3150340 HAS SOUS 2078163 HAS SOUPS 2047290 WITH SCORE 2050743.537
AT ITER 235 NEW BEST:: SOT 4074280 SOS 3448152 HAS SOPS 3144917 HAS SOUS 2076502 HAS SOUPS 2045591 WITH SCORE 2049039.152
AT ITER 238 NEW BEST:: SOT 4072849 SOS 3446648 HAS SOPS 3143486 HAS SOUS 2067844 HAS SOUPS 2037006 WITH SCORE 2040452.648
AT ITER 240 NEW BEST:: SOT 4072849 SOS 3439181 HAS SOPS 3133786 HAS SOUS 2055717 HAS SOUPS 2024976 WITH SCORE 2028415.181
AT ITER 241 NEW BEST:: SOT 4059392 SOS 3425724 HAS SOPS 3120229 HAS SOUS 2042066 HAS SOUPS 2011319 WITH SCORE 2014744.724
AT ITER 242 NEW BEST:: SOT 4059349 SOS 3425681 HAS SOPS 3120186 HAS SOUS 2042023 HAS SOUPS 2011276 WITH SCORE 2014701.681
AT ITER 243 NEW BEST:: SOT 4059349 SOS 3425681 HAS SOPS 3120144 HAS SOUS 2041981 HAS SOUPS 2011192 WITH SCORE 2014617.681
AT ITER 245 NEW BEST:: SOT 4059389 SOS 3425584 HAS SOPS 3119884 HAS SOUS 2041455 HAS SOUPS 2010670 WITH SCORE 2014095.584
AT ITER 247 NEW BEST:: SOT 4059389 SOS 3422633 HAS SOPS 3112825 HAS SOUS 2037205 HAS SOUPS 2006532 WITH SCORE 2009954.633
AT ITER 250 NEW BEST:: SOT 4056846 SOS 3420090 HAS SOPS 3110282 HAS SOUS 2034662 HAS SOUPS 2003989 WITH SCORE 2007409.09
AT ITER 252 NEW BEST:: SOT 4060456 SOS 3407973 HAS SOPS 3083701 HAS SOUS 1993308 HAS SOUPS 1962936 WITH SCORE 1966343.973
AT ITER 257 NEW BEST:: SOT 4075113 SOS 3422006 HAS SOPS 3098511 HAS SOUS 1983772 HAS SOUPS 1953674 WITH SCORE 1957096.006
AT ITER 258 NEW BEST:: SOT 4076309 SOS 3421944 HAS SOPS 3096525 HAS SOUS 1983082 HAS SOUPS 1952991 WITH SCORE 1956412.944
AT ITER 262 NEW BEST:: SOT 4074010 SOS 3419645 HAS SOPS 3094226 HAS SOUS 1980783 HAS SOUPS 1950692 WITH SCORE 1954111.645
AT ITER 264 NEW BEST:: SOT 4077347 SOS 3414662 HAS SOPS 3082048 HAS SOUS 1976696 HAS SOUPS 1946576 WITH SCORE 1949990.662
AT ITER 265 NEW BEST:: SOT 4077347 SOS 3410203 HAS SOPS 3072148 HAS SOUS 1971156 HAS SOUPS 1941036 WITH SCORE 1944446.203
AT ITER 267 NEW BEST:: SOT 4082227 SOS 3414132 HAS SOPS 3075287 HAS SOUS 1966188 HAS SOUPS 1936158 WITH SCORE 1939572.132
AT ITER 270 NEW BEST:: SOT 4086352 SOS 3419150 HAS SOPS 3096492 HAS SOUS 1945887 HAS SOUPS 1916086 WITH SCORE 1919505.15
AT ITER 272 NEW BEST:: SOT 4081775 SOS 3414573 HAS SOPS 3091915 HAS SOUS 1941310 HAS SOUPS 1911509 WITH SCORE 1914923.573
AT ITER 273 NEW BEST:: SOT 4083469 SOS 3405474 HAS SOPS 3077920 HAS SOUS 1914669 HAS SOUPS 1884995 WITH SCORE 1888400.474
AT ITER 274 NEW BEST:: SOT 4083469 SOS 3405561 HAS SOPS 3077956 HAS SOUS 1914654 HAS SOUPS 1884980 WITH SCORE 1888385.561
AT ITER 277 NEW BEST:: SOT 4079483 SOS 3401575 HAS SOPS 3073970 HAS SOUS 1910668 HAS SOUPS 1880994 WITH SCORE 1884395.575
AT ITER 285 NEW BEST:: SOT 4088793 SOS 3398743 HAS SOPS 3076412 HAS SOUS 1882657 HAS SOUPS 1853175 WITH SCORE 1856573.743
AT ITER 286 NEW BEST:: SOT 4088793 SOS 3398743 HAS SOPS 3076335 HAS SOUS 1882503 HAS SOUPS 1853021 WITH SCORE 1856419.743
AT ITER 291 NEW BEST:: SOT 4088528 SOS 3398478 HAS SOPS 3076154 HAS SOUS 1882322 HAS SOUPS 1852924 WITH SCORE 1856322.478
AT ITER 294 NEW BEST:: SOT 4088377 SOS 3395420 HAS SOPS 3069813 HAS SOUS 1878762 HAS SOUPS 1849474 WITH SCORE 1852869.42
AT ITER 295 NEW BEST:: SOT 4087881 SOS 3394924 HAS SOPS 3069317 HAS SOUS 1878266 HAS SOUPS 1848978 WITH SCORE 1852372.924
AT ITER 296 NEW BEST:: SOT 4069739 SOS 3371392 HAS SOPS 3043495 HAS SOUS 1857697 HAS SOUPS 1828194 WITH SCORE 1831565.392
AT ITER 299 NEW BEST:: SOT 4069964 SOS 3371574 HAS SOPS 3043720 HAS SOUS 1856765 HAS SOUPS 1827274 WITH SCORE 1830645.574
AT ITER 302 NEW BEST:: SOT 4071634 SOS 3357814 HAS SOPS 3035575 HAS SOUS 1835736 HAS SOUPS 1806528 WITH SCORE 1809885.814
AT ITER 310 NEW BEST:: SOT 4071634 SOS 3355897 HAS SOPS 3032646 HAS SOUS 1834666 HAS SOUPS 1805458 WITH SCORE 1808813.897
AT ITER 311 NEW BEST:: SOT 4077289 SOS 3353084 HAS SOPS 3020730 HAS SOUS 1799361 HAS SOUPS 1770469 WITH SCORE 1773822.084
AT ITER 314 NEW BEST:: SOT 4072957 SOS 3348752 HAS SOPS 3016372 HAS SOUS 1794977 HAS SOUPS 1766085 WITH SCORE 1769433.752
AT ITER 315 NEW BEST:: SOT 4073880 SOS 3333785 HAS SOPS 2997352 HAS SOUS 1768873 HAS SOUPS 1739987 WITH SCORE 1743320.785
AT ITER 317 NEW BEST:: SOT 4087107 SOS 3346114 HAS SOPS 3010579 HAS SOUS 1764298 HAS SOUPS 1735599 WITH SCORE 1738945.114
AT ITER 319 NEW BEST:: SOT 4087107 SOS 3346114 HAS SOPS 3010486 HAS SOUS 1764112 HAS SOUPS 1735413 WITH SCORE 1738759.114
AT ITER 321 NEW BEST:: SOT 4078454 SOS 3337461 HAS SOPS 3001940 HAS SOUS 1755566 HAS SOUPS 1726974 WITH SCORE 1730311.461
AT ITER 322 NEW BEST:: SOT 4078270 SOS 3337277 HAS SOPS 3001756 HAS SOUS 1755382 HAS SOUPS 1726790 WITH SCORE 1730127.277
AT ITER 325 NEW BEST:: SOT 4078270 SOS 3337234 HAS SOPS 3001675 HAS SOUS 1755306 HAS SOUPS 1726714 WITH SCORE 1730051.234
AT ITER 329 NEW BEST:: SOT 4066908 SOS 3325872 HAS SOPS 2990227 HAS SOUS 1743798 HAS SOUPS 1715180 WITH SCORE 1718505.872
AT ITER 331 NEW BEST:: SOT 4069407 SOS 3321584 HAS SOPS 2992392 HAS SOUS 1724910 HAS SOUPS 1696573 WITH SCORE 1699894.584
AT ITER 334 NEW BEST:: SOT 4079917 SOS 3327314 HAS SOPS 3003015 HAS SOUS 1715772 HAS SOUPS 1687687 WITH SCORE 1691014.314
AT ITER 337 NEW BEST:: SOT 4079917 SOS 3321962 HAS SOPS 2993016 HAS SOUS 1710775 HAS SOUPS 1682842 WITH SCORE 1686163.962
AT ITER 339 NEW BEST:: SOT 4080613 SOS 3317322 HAS SOPS 2990880 HAS SOUS 1697214 HAS SOUPS 1669449 WITH SCORE 1672766.322
AT ITER 346 NEW BEST:: SOT 4080621 SOS 3317017 HAS SOPS 2993009 HAS SOUS 1695598 HAS SOUPS 1667874 WITH SCORE 1671191.017
AT ITER 347 NEW BEST:: SOT 4086926 SOS 3323231 HAS SOPS 2999314 HAS SOUS 1695494 HAS SOUPS 1667835 WITH SCORE 1671158.231
AT ITER 349 NEW BEST:: SOT 4075217 SOS 3300525 HAS SOPS 2978868 HAS SOUS 1650023 HAS SOUPS 1622721 WITH SCORE 1626021.525
AT ITER 350 NEW BEST:: SOT 4073682 SOS 3298611 HAS SOPS 2976133 HAS SOUS 1641243 HAS SOUPS 1614005 WITH SCORE 1617303.611
AT ITER 362 NEW BEST:: SOT 4073682 SOS 3296843 HAS SOPS 2973243 HAS SOUS 1639975 HAS SOUPS 1612765 WITH SCORE 1616061.843
AT ITER 364 NEW BEST:: SOT 4075208 SOS 3293402 HAS SOPS 2965469 HAS SOUS 1636982 HAS SOUPS 1609772 WITH SCORE 1613065.402
AT ITER 371 NEW BEST:: SOT 4075190 SOS 3293384 HAS SOPS 2965395 HAS SOUS 1636839 HAS SOUPS 1609642 WITH SCORE 1612935.384
AT ITER 372 NEW BEST:: SOT 4075190 SOS 3293774 HAS SOPS 2967819 HAS SOUS 1636521 HAS SOUPS 1609348 WITH SCORE 1612641.774
AT ITER 373 NEW BEST:: SOT 4073365 SOS 3291949 HAS SOPS 2965896 HAS SOUS 1634598 HAS SOUPS 1607327 WITH SCORE 1610618.949
AT ITER 375 NEW BEST:: SOT 4077532 SOS 3285125 HAS SOPS 2965605 HAS SOUS 1611104 HAS SOUPS 1584416 WITH SCORE 1587701.125
AT ITER 381 NEW BEST:: SOT 4078663 SOS 3280852 HAS SOPS 2956889 HAS SOUS 1607746 HAS SOUPS 1581058 WITH SCORE 1584338.852
AT ITER 382 NEW BEST:: SOT 4078663 SOS 3276880 HAS SOPS 2951716 HAS SOUS 1606619 HAS SOUPS 1579931 WITH SCORE 1583207.88
AT ITER 387 NEW BEST:: SOT 4078666 SOS 3273930 HAS SOPS 2951782 HAS SOUS 1603401 HAS SOUPS 1576776 WITH SCORE 1580049.93
AT ITER 389 NEW BEST:: SOT 4078666 SOS 3268544 HAS SOPS 2938483 HAS SOUS 1595238 HAS SOUPS 1568599 WITH SCORE 1571867.544
AT ITER 393 NEW BEST:: SOT 4094699 SOS 3278702 HAS SOPS 2954316 HAS SOUS 1581342 HAS SOUPS 1555059 WITH SCORE 1558337.702
AT ITER 394 NEW BEST:: SOT 4095972 SOS 3279308 HAS SOPS 2955589 HAS SOUS 1579520 HAS SOUPS 1553237 WITH SCORE 1556516.308
AT ITER 399 NEW BEST:: SOT 4095972 SOS 3279153 HAS SOPS 2955354 HAS SOUS 1579419 HAS SOUPS 1553077 WITH SCORE 1556356.153
AT ITER 400 NEW BEST:: SOT 4095893 SOS 3279074 HAS SOPS 2955275 HAS SOUS 1579340 HAS SOUPS 1552998 WITH SCORE 1556277.074
AT ITER 401 NEW BEST:: SOT 4094207 SOS 3277847 HAS SOPS 2954109 HAS SOUS 1577895 HAS SOUPS 1551242 WITH SCORE 1554519.847
AT ITER 406 NEW BEST:: SOT 4116729 SOS 3300713 HAS SOPS 2985531 HAS SOUS 1571061 HAS SOUPS 1544779 WITH SCORE 1548079.713
AT ITER 409 NEW BEST:: SOT 4118461 SOS 3293656 HAS SOPS 2987426 HAS SOUS 1559617 HAS SOUPS 1533454 WITH SCORE 1536747.656
AT ITER 411 NEW BEST:: SOT 4113677 SOS 3288872 HAS SOPS 2982642 HAS SOUS 1554833 HAS SOUPS 1528670 WITH SCORE 1531958.872
AT ITER 413 NEW BEST:: SOT 4113677 SOS 3287558 HAS SOPS 2980622 HAS SOUS 1554087 HAS SOUPS 1527924 WITH SCORE 1531211.558
AT ITER 416 NEW BEST:: SOT 4113649 SOS 3287530 HAS SOPS 2980584 HAS SOUS 1554039 HAS SOUPS 1527876 WITH SCORE 1531163.53
AT ITER 420 NEW BEST:: SOT 4131583 SOS 3304799 HAS SOPS 2998518 HAS SOUS 1548482 HAS SOUPS 1522319 WITH SCORE 1525623.799
AT ITER 422 NEW BEST:: SOT 4125236 SOS 3306079 HAS SOPS 3000243 HAS SOUS 1543527 HAS SOUPS 1517073 WITH SCORE 1520379.079
AT ITER 424 NEW BEST:: SOT 4125236 SOS 3304697 HAS SOPS 2997243 HAS SOUS 1541849 HAS SOUPS 1515395 WITH SCORE 1518699.697
AT ITER 425 NEW BEST:: SOT 4124990 SOS 3304366 HAS SOPS 2996810 HAS SOUS 1541399 HAS SOUPS 1514945 WITH SCORE 1518249.366
AT ITER 429 NEW BEST:: SOT 4124990 SOS 3299002 HAS SOPS 2996810 HAS SOUS 1537363 HAS SOUPS 1511003 WITH SCORE 1514302.002
AT ITER 431 NEW BEST:: SOT 4124990 SOS 3299002 HAS SOPS 2996800 HAS SOUS 1537353 HAS SOUPS 1510983 WITH SCORE 1514282.002
AT ITER 433 NEW BEST:: SOT 4123851 SOS 3297863 HAS SOPS 2995661 HAS SOUS 1536214 HAS SOUPS 1509844 WITH SCORE 1513141.863
AT ITER 434 NEW BEST:: SOT 4123824 SOS 3293368 HAS SOPS 2995728 HAS SOUS 1531349 HAS SOUPS 1505167 WITH SCORE 1508460.368
AT ITER 435 NEW BEST:: SOT 4123824 SOS 3291675 HAS SOPS 2995728 HAS SOUS 1529042 HAS SOUPS 1502900 WITH SCORE 1506191.675
AT ITER 436 NEW BEST:: SOT 4136371 SOS 3303881 HAS SOPS 3008398 HAS SOUS 1528876 HAS SOUPS 1502867 WITH SCORE 1506170.881
AT ITER 442 NEW BEST:: SOT 4136600 SOS 3297646 HAS SOPS 3004463 HAS SOUS 1519123 HAS SOUPS 1493236 WITH SCORE 1496533.646
AT ITER 443 NEW BEST:: SOT 4136623 SOS 3294876 HAS SOPS 3001455 HAS SOUS 1518821 HAS SOUPS 1493053 WITH SCORE 1496347.876
AT ITER 445 NEW BEST:: SOT 4136623 SOS 3291377 HAS SOPS 2996255 HAS SOUS 1517101 HAS SOUPS 1491248 WITH SCORE 1494539.377
AT ITER 450 NEW BEST:: SOT 4136623 SOS 3291377 HAS SOPS 2996210 HAS SOUS 1517094 HAS SOUPS 1491158 WITH SCORE 1494449.377
AT ITER 452 NEW BEST:: SOT 4125616 SOS 3280370 HAS SOPS 2985203 HAS SOUS 1506170 HAS SOUPS 1480151 WITH SCORE 1483431.37
AT ITER 453 NEW BEST:: SOT 4135772 SOS 3289931 HAS SOPS 2995439 HAS SOUS 1504981 HAS SOUPS 1479083 WITH SCORE 1482372.931
AT ITER 455 NEW BEST:: SOT 4136466 SOS 3277748 HAS SOPS 2987841 HAS SOUS 1489392 HAS SOUPS 1463893 WITH SCORE 1467170.748
AT ITER 458 NEW BEST:: SOT 4136466 SOS 3277363 HAS SOPS 2987134 HAS SOUS 1489063 HAS SOUPS 1463557 WITH SCORE 1466834.363
AT ITER 459 NEW BEST:: SOT 4131223 SOS 3272001 HAS SOPS 2981835 HAS SOUS 1483764 HAS SOUPS 1458321 WITH SCORE 1461593.001
AT ITER 460 NEW BEST:: SOT 4133444 SOS 3268119 HAS SOPS 2982339 HAS SOUS 1459137 HAS SOUPS 1434006 WITH SCORE 1437274.119
AT ITER 463 NEW BEST:: SOT 4124273 SOS 3259111 HAS SOPS 2973168 HAS SOUS 1457503 HAS SOUPS 1432295 WITH SCORE 1435554.111
AT ITER 467 NEW BEST:: SOT 4124372 SOS 3251328 HAS SOPS 2971247 HAS SOUS 1450124 HAS SOUPS 1425049 WITH SCORE 1428300.328
AT ITER 468 NEW BEST:: SOT 4124372 SOS 3251229 HAS SOPS 2971148 HAS SOUS 1450025 HAS SOUPS 1424950 WITH SCORE 1428201.229
AT ITER 469 NEW BEST:: SOT 4120899 SOS 3247212 HAS SOPS 2967078 HAS SOUS 1446199 HAS SOUPS 1421124 WITH SCORE 1424371.212
AT ITER 470 NEW BEST:: SOT 4120814 SOS 3240878 HAS SOPS 2959418 HAS SOUS 1444738 HAS SOUPS 1419563 WITH SCORE 1422803.878
AT ITER 471 NEW BEST:: SOT 4120814 SOS 3234320 HAS SOPS 2949345 HAS SOUS 1441019 HAS SOUPS 1416073 WITH SCORE 1419307.32
AT ITER 472 NEW BEST:: SOT 4120814 SOS 3233090 HAS SOPS 2947179 HAS SOUS 1439970 HAS SOUPS 1415045 WITH SCORE 1418278.09
AT ITER 473 NEW BEST:: SOT 4120175 SOS 3232451 HAS SOPS 2946540 HAS SOUS 1439331 HAS SOUPS 1414406 WITH SCORE 1417638.451
AT ITER 476 NEW BEST:: SOT 4121108 SOS 3217772 HAS SOPS 2930073 HAS SOUS 1420902 HAS SOUPS 1396151 WITH SCORE 1399368.772
AT ITER 477 NEW BEST:: SOT 4121108 SOS 3217250 HAS SOPS 2929265 HAS SOUS 1420608 HAS SOUPS 1395849 WITH SCORE 1399066.25
AT ITER 480 NEW BEST:: SOT 4121108 SOS 3208109 HAS SOPS 2911893 HAS SOUS 1412033 HAS SOUPS 1387274 WITH SCORE 1390482.109
AT ITER 481 NEW BEST:: SOT 4116759 SOS 3203760 HAS SOPS 2907544 HAS SOUS 1407684 HAS SOUPS 1382925 WITH SCORE 1386128.76
AT ITER 482 NEW BEST:: SOT 4116759 SOS 3203823 HAS SOPS 2907518 HAS SOUS 1407569 HAS SOUPS 1382810 WITH SCORE 1386013.823
AT ITER 483 NEW BEST:: SOT 4114069 SOS 3201133 HAS SOPS 2904828 HAS SOUS 1404980 HAS SOUPS 1380120 WITH SCORE 1383321.133
AT ITER 484 NEW BEST:: SOT 4112758 SOS 3195468 HAS SOPS 2906244 HAS SOUS 1388275 HAS SOUPS 1363471 WITH SCORE 1366666.468
AT ITER 485 NEW BEST:: SOT 4111421 SOS 3193983 HAS SOPS 2904759 HAS SOUS 1386790 HAS SOUPS 1361986 WITH SCORE 1365179.983
AT ITER 489 NEW BEST:: SOT 4107717 SOS 3185689 HAS SOPS 2895904 HAS SOUS 1382642 HAS SOUPS 1357724 WITH SCORE 1360909.689
AT ITER 492 NEW BEST:: SOT 4109365 SOS 3185516 HAS SOPS 2897733 HAS SOUS 1373653 HAS SOUPS 1348921 WITH SCORE 1352106.516
AT ITER 499 NEW BEST:: SOT 4103015 SOS 3183416 HAS SOPS 2896880 HAS SOUS 1368612 HAS SOUPS 1343694 WITH SCORE 1346877.416
AT ITER 500 NEW BEST:: SOT 4103015 SOS 3182838 HAS SOPS 2896280 HAS SOUS 1368578 HAS SOUPS 1343666 WITH SCORE 1346848.838
AT ITER 501 NEW BEST:: SOT 4102868 SOS 3182620 HAS SOPS 2895991 HAS SOUS 1368289 HAS SOUPS 1343377 WITH SCORE 1346559.62
AT ITER 506 NEW BEST:: SOT 4102888 SOS 3169097 HAS SOPS 2886929 HAS SOUS 1362224 HAS SOUPS 1337416 WITH SCORE 1340585.097
AT ITER 508 NEW BEST:: SOT 4102888 SOS 3168100 HAS SOPS 2891329 HAS SOUS 1360765 HAS SOUPS 1336026 WITH SCORE 1339194.1
AT ITER 512 NEW BEST:: SOT 4100763 SOS 3165975 HAS SOPS 2889260 HAS SOUS 1358696 HAS SOUPS 1334013 WITH SCORE 1337178.975
AT ITER 513 NEW BEST:: SOT 4100737 SOS 3160496 HAS SOPS 2880203 HAS SOUS 1354977 HAS SOUPS 1330294 WITH SCORE 1333454.496
AT ITER 517 NEW BEST:: SOT 4098992 SOS 3157594 HAS SOPS 2876758 HAS SOUS 1352655 HAS SOUPS 1327972 WITH SCORE 1331129.594
AT ITER 518 NEW BEST:: SOT 4086179 SOS 3144781 HAS SOPS 2863945 HAS SOUS 1339842 HAS SOUPS 1315159 WITH SCORE 1318303.781
AT ITER 522 NEW BEST:: SOT 4086179 SOS 3142509 HAS SOPS 2862745 HAS SOUS 1339703 HAS SOUPS 1315032 WITH SCORE 1318174.509
AT ITER 523 NEW BEST:: SOT 4097545 SOS 3150072 HAS SOPS 2874111 HAS SOUS 1334372 HAS SOUPS 1309906 WITH SCORE 1313056.072
AT ITER 525 NEW BEST:: SOT 4096789 SOS 3149316 HAS SOPS 2873355 HAS SOUS 1333616 HAS SOUPS 1309150 WITH SCORE 1312299.316
AT ITER 526 NEW BEST:: SOT 4095016 SOS 3148504 HAS SOPS 2872873 HAS SOUS 1332092 HAS SOUPS 1307626 WITH SCORE 1310774.504
AT ITER 527 NEW BEST:: SOT 4094954 SOS 3148442 HAS SOPS 2872594 HAS SOUS 1331813 HAS SOUPS 1307130 WITH SCORE 1310278.442
AT ITER 528 NEW BEST:: SOT 4093991 SOS 3147479 HAS SOPS 2871579 HAS SOUS 1330746 HAS SOUPS 1306063 WITH SCORE 1309210.479
AT ITER 531 NEW BEST:: SOT 4099721 SOS 3150686 HAS SOPS 2886399 HAS SOUS 1324209 HAS SOUPS 1299525 WITH SCORE 1302675.686
AT ITER 534 NEW BEST:: SOT 4099163 SOS 3150128 HAS SOPS 2885841 HAS SOUS 1323651 HAS SOUPS 1298967 WITH SCORE 1302117.128
AT ITER 535 NEW BEST:: SOT 4099163 SOS 3146645 HAS SOPS 2885841 HAS SOUS 1320734 HAS SOUPS 1296114 WITH SCORE 1299260.645
AT ITER 536 NEW BEST:: SOT 4099163 SOS 3142223 HAS SOPS 2882941 HAS SOUS 1319327 HAS SOUPS 1294736 WITH SCORE 1297878.223
AT ITER 539 NEW BEST:: SOT 4099163 SOS 3141462 HAS SOPS 2882041 HAS SOUS 1319170 HAS SOUPS 1294579 WITH SCORE 1297720.462
AT ITER 541 NEW BEST:: SOT 4099123 SOS 3141422 HAS SOPS 2882001 HAS SOUS 1319130 HAS SOUPS 1294539 WITH SCORE 1297680.422
AT ITER 542 NEW BEST:: SOT 4099123 SOS 3139719 HAS SOPS 2876981 HAS SOUS 1315743 HAS SOUPS 1291152 WITH SCORE 1294291.719
AT ITER 543 NEW BEST:: SOT 4099123 SOS 3135240 HAS SOPS 2874290 HAS SOUS 1313877 HAS SOUPS 1289322 WITH SCORE 1292457.24
AT ITER 546 NEW BEST:: SOT 4099123 SOS 3132159 HAS SOPS 2870886 HAS SOUS 1313409 HAS SOUPS 1288861 WITH SCORE 1291993.159
AT ITER 550 NEW BEST:: SOT 4099123 SOS 3131670 HAS SOPS 2870886 HAS SOUS 1313398 HAS SOUPS 1288859 WITH SCORE 1291990.67
AT ITER 551 NEW BEST:: SOT 4098240 SOS 3130787 HAS SOPS 2869916 HAS SOUS 1312428 HAS SOUPS 1287802 WITH SCORE 1290932.787
AT ITER 552 NEW BEST:: SOT 4098240 SOS 3127429 HAS SOPS 2866078 HAS SOUS 1311725 HAS SOUPS 1287244 WITH SCORE 1290371.429
AT ITER 554 NEW BEST:: SOT 4082559 SOS 3111900 HAS SOPS 2850370 HAS SOUS 1308505 HAS SOUPS 1283930 WITH SCORE 1287041.9
AT ITER 556 NEW BEST:: SOT 4071583 SOS 3100924 HAS SOPS 2839394 HAS SOUS 1297529 HAS SOUPS 1272954 WITH SCORE 1276054.924
AT ITER 561 NEW BEST:: SOT 4071625 SOS 3097067 HAS SOPS 2833941 HAS SOUS 1296024 HAS SOUPS 1271449 WITH SCORE 1274546.067
AT ITER 562 NEW BEST:: SOT 4071625 SOS 3094854 HAS SOPS 2830881 HAS SOUS 1295111 HAS SOUPS 1270776 WITH SCORE 1273870.854
AT ITER 566 NEW BEST:: SOT 4073501 SOS 3091768 HAS SOPS 2832920 HAS SOUS 1281469 HAS SOUPS 1257482 WITH SCORE 1260573.768
AT ITER 568 NEW BEST:: SOT 4073528 SOS 3092579 HAS SOPS 2835169 HAS SOUS 1280778 HAS SOUPS 1256813 WITH SCORE 1259905.579
AT ITER 573 NEW BEST:: SOT 4071754 SOS 3090805 HAS SOPS 2833395 HAS SOUS 1279004 HAS SOUPS 1255039 WITH SCORE 1258129.805
AT ITER 574 NEW BEST:: SOT 4069298 SOS 3097983 HAS SOPS 2842014 HAS SOUS 1278210 HAS SOUPS 1254307 WITH SCORE 1257404.983
AT ITER 577 NEW BEST:: SOT 4067731 SOS 3095148 HAS SOPS 2840505 HAS SOUS 1272169 HAS SOUPS 1248382 WITH SCORE 1251477.148
AT ITER 581 NEW BEST:: SOT 4067731 SOS 3093551 HAS SOPS 2838384 HAS SOUS 1271603 HAS SOUPS 1247816 WITH SCORE 1250909.551
AT ITER 584 NEW BEST:: SOT 4065857 SOS 3090393 HAS SOPS 2834197 HAS SOUS 1268652 HAS SOUPS 1244952 WITH SCORE 1248042.393
AT ITER 589 NEW BEST:: SOT 4065780 SOS 3081525 HAS SOPS 2824840 HAS SOUS 1267545 HAS SOUPS 1244070 WITH SCORE 1247151.525
AT ITER 592 NEW BEST:: SOT 4065780 SOS 3081461 HAS SOPS 2824776 HAS SOUS 1267481 HAS SOUPS 1244070 WITH SCORE 1247151.461
AT ITER 593 NEW BEST:: SOT 4062757 SOS 3078438 HAS SOPS 2821753 HAS SOUS 1264458 HAS SOUPS 1241047 WITH SCORE 1244125.438
AT ITER 597 NEW BEST:: SOT 4079054 SOS 3091074 HAS SOPS 2838246 HAS SOUS 1255812 HAS SOUPS 1232690 WITH SCORE 1235781.074
AT ITER 599 NEW BEST:: SOT 4086572 SOS 3094511 HAS SOPS 2845764 HAS SOUS 1236818 HAS SOUPS 1213896 WITH SCORE 1216990.511
AT ITER 607 NEW BEST:: SOT 4075312 SOS 3085206 HAS SOPS 2836897 HAS SOUS 1226056 HAS SOUPS 1203095 WITH SCORE 1206180.206
AT ITER 608 NEW BEST:: SOT 4072514 SOS 3082408 HAS SOPS 2833929 HAS SOUS 1223187 HAS SOUPS 1199957 WITH SCORE 1203039.408
AT ITER 610 NEW BEST:: SOT 4072514 SOS 3079943 HAS SOPS 2831342 HAS SOUS 1222998 HAS SOUPS 1199808 WITH SCORE 1202887.943
AT ITER 612 NEW BEST:: SOT 4075258 SOS 3082333 HAS SOPS 2834086 HAS SOUS 1221896 HAS SOUPS 1198748 WITH SCORE 1201830.333
AT ITER 617 NEW BEST:: SOT 4075258 SOS 3082333 HAS SOPS 2834081 HAS SOUS 1221886 HAS SOUPS 1198738 WITH SCORE 1201820.333
AT ITER 619 NEW BEST:: SOT 4059582 SOS 3066657 HAS SOPS 2818616 HAS SOUS 1206366 HAS SOUPS 1183484 WITH SCORE 1186550.657
AT ITER 622 NEW BEST:: SOT 4059170 SOS 3065228 HAS SOPS 2816819 HAS SOUS 1205558 HAS SOUPS 1182691 WITH SCORE 1185756.228
AT ITER 624 NEW BEST:: SOT 4071933 SOS 3080699 HAS SOPS 2850166 HAS SOUS 1190497 HAS SOUPS 1168079 WITH SCORE 1171159.699
AT ITER 625 NEW BEST:: SOT 4067044 SOS 3082821 HAS SOPS 2853081 HAS SOUS 1186573 HAS SOUPS 1164177 WITH SCORE 1167259.821
AT ITER 626 NEW BEST:: SOT 4068413 SOS 3074872 HAS SOPS 2847350 HAS SOUS 1174018 HAS SOUPS 1151782 WITH SCORE 1154856.872
AT ITER 630 NEW BEST:: SOT 4072252 SOS 3076724 HAS SOPS 2858264 HAS SOUS 1163235 HAS SOUPS 1141164 WITH SCORE 1144240.724
AT ITER 631 NEW BEST:: SOT 4072252 SOS 3071881 HAS SOPS 2855335 HAS SOUS 1161991 HAS SOUPS 1139951 WITH SCORE 1143022.881
AT ITER 633 NEW BEST:: SOT 4075640 SOS 3071738 HAS SOPS 2858936 HAS SOUS 1148036 HAS SOUPS 1126209 WITH SCORE 1129280.738
AT ITER 640 NEW BEST:: SOT 4069222 SOS 3065026 HAS SOPS 2852435 HAS SOUS 1141722 HAS SOUPS 1120216 WITH SCORE 1123281.026
AT ITER 641 NEW BEST:: SOT 4087125 SOS 3089319 HAS SOPS 2892313 HAS SOUS 1134353 HAS SOUPS 1113014 WITH SCORE 1116103.319
AT ITER 644 NEW BEST:: SOT 4081619 SOS 3083813 HAS SOPS 2886737 HAS SOUS 1128777 HAS SOUPS 1107368 WITH SCORE 1110451.813
AT ITER 645 NEW BEST:: SOT 4081619 SOS 3079190 HAS SOPS 2886434 HAS SOUS 1125072 HAS SOUPS 1103663 WITH SCORE 1106742.19
AT ITER 646 NEW BEST:: SOT 4081619 SOS 3078910 HAS SOPS 2886034 HAS SOUS 1124944 HAS SOUPS 1103535 WITH SCORE 1106613.91
AT ITER 650 NEW BEST:: SOT 4081669 SOS 3078958 HAS SOPS 2886084 HAS SOUS 1124896 HAS SOUPS 1103488 WITH SCORE 1106566.958
AT ITER 652 NEW BEST:: SOT 4080239 SOS 3079748 HAS SOPS 2886977 HAS SOUS 1123493 HAS SOUPS 1102207 WITH SCORE 1105286.748
AT ITER 653 NEW BEST:: SOT 4085673 SOS 3090287 HAS SOPS 2904132 HAS SOUS 1118142 HAS SOUPS 1097032 WITH SCORE 1100122.287
AT ITER 655 NEW BEST:: SOT 4092126 SOS 3100330 HAS SOPS 2921369 HAS SOUS 1117691 HAS SOUPS 1096723 WITH SCORE 1099823.33
AT ITER 658 NEW BEST:: SOT 4088984 SOS 3097188 HAS SOPS 2918227 HAS SOUS 1114549 HAS SOUPS 1093581 WITH SCORE 1096678.188
AT ITER 660 NEW BEST:: SOT 4088984 SOS 3091667 HAS SOPS 2910652 HAS SOUS 1112240 HAS SOUPS 1091377 WITH SCORE 1094468.667
AT ITER 668 NEW BEST:: SOT 4088828 SOS 3091511 HAS SOPS 2910496 HAS SOUS 1112084 HAS SOUPS 1091221 WITH SCORE 1094312.511
AT ITER 669 NEW BEST:: SOT 4074472 SOS 3077356 HAS SOPS 2896110 HAS SOUS 1108767 HAS SOUPS 1087791 WITH SCORE 1090868.356
AT ITER 670 NEW BEST:: SOT 4068234 SOS 3071057 HAS SOPS 2889811 HAS SOUS 1102606 HAS SOUPS 1081492 WITH SCORE 1084563.057
AT ITER 673 NEW BEST:: SOT 4067529 SOS 3070437 HAS SOPS 2889191 HAS SOUS 1101986 HAS SOUPS 1080872 WITH SCORE 1083942.437
AT ITER 675 NEW BEST:: SOT 4057970 SOS 3060878 HAS SOPS 2879632 HAS SOUS 1092427 HAS SOUPS 1071313 WITH SCORE 1074373.878
AT ITER 680 NEW BEST:: SOT 4057970 SOS 3061072 HAS SOPS 2879816 HAS SOUS 1092417 HAS SOUPS 1071303 WITH SCORE 1074364.072
AT ITER 681 NEW BEST:: SOT 4057970 SOS 3061096 HAS SOPS 2879816 HAS SOUS 1092393 HAS SOUPS 1071279 WITH SCORE 1074340.096
AT ITER 683 NEW BEST:: SOT 4056359 SOS 3059485 HAS SOPS 2878205 HAS SOUS 1090782 HAS SOUPS 1069668 WITH SCORE 1072727.485
AT ITER 685 NEW BEST:: SOT 4056124 SOS 3049900 HAS SOPS 2866206 HAS SOUS 1087895 HAS SOUPS 1066917 WITH SCORE 1069966.9
AT ITER 689 NEW BEST:: SOT 4056124 SOS 3049900 HAS SOPS 2866126 HAS SOUS 1087735 HAS SOUPS 1066757 WITH SCORE 1069806.9
AT ITER 691 NEW BEST:: SOT 4056124 SOS 3048882 HAS SOPS 2865101 HAS SOUS 1087786 HAS SOUPS 1066744 WITH SCORE 1069792.882
AT ITER 693 NEW BEST:: SOT 4068101 SOS 3048695 HAS SOPS 2870210 HAS SOUS 1066580 HAS SOUPS 1045568 WITH SCORE 1048616.695
AT ITER 695 NEW BEST:: SOT 4068018 SOS 3048612 HAS SOPS 2870127 HAS SOUS 1066497 HAS SOUPS 1045485 WITH SCORE 1048533.612
AT ITER 696 NEW BEST:: SOT 4067867 SOS 3048462 HAS SOPS 2869976 HAS SOUS 1066445 HAS SOUPS 1045432 WITH SCORE 1048480.462
AT ITER 697 NEW BEST:: SOT 4067867 SOS 3037060 HAS SOPS 2857290 HAS SOUS 1065180 HAS SOUPS 1044167 WITH SCORE 1047204.06
AT ITER 699 NEW BEST:: SOT 4067849 SOS 3037042 HAS SOPS 2857272 HAS SOUS 1065162 HAS SOUPS 1044149 WITH SCORE 1047186.042
AT ITER 704 NEW BEST:: SOT 4070722 SOS 3034370 HAS SOPS 2859788 HAS SOUS 1056560 HAS SOUPS 1035815 WITH SCORE 1038849.37
AT ITER 706 NEW BEST:: SOT 4071474 SOS 3036987 HAS SOPS 2869024 HAS SOUS 1049599 HAS SOUPS 1028999 WITH SCORE 1032035.987
AT ITER 712 NEW BEST:: SOT 4070371 SOS 3029431 HAS SOPS 2860821 HAS SOUS 1047638 HAS SOUPS 1027178 WITH SCORE 1030207.431
AT ITER 714 NEW BEST:: SOT 4070283 SOS 3029343 HAS SOPS 2860664 HAS SOUS 1047412 HAS SOUPS 1026952 WITH SCORE 1029981.343
AT ITER 716 NEW BEST:: SOT 4070451 SOS 3029487 HAS SOPS 2860838 HAS SOUS 1047010 HAS SOUPS 1026562 WITH SCORE 1029591.487
AT ITER 720 NEW BEST:: SOT 4069140 SOS 3028491 HAS SOPS 2859842 HAS SOUS 1046014 HAS SOUPS 1025566 WITH SCORE 1028594.491
AT ITER 721 NEW BEST:: SOT 4067596 SOS 3021594 HAS SOPS 2851814 HAS SOUS 1043207 HAS SOUPS 1022941 WITH SCORE 1025962.594
AT ITER 731 NEW BEST:: SOT 4063484 SOS 3017482 HAS SOPS 2847664 HAS SOUS 1039057 HAS SOUPS 1018753 WITH SCORE 1021770.482
AT ITER 733 NEW BEST:: SOT 4063098 SOS 3017440 HAS SOPS 2847682 HAS SOUS 1038746 HAS SOUPS 1018435 WITH SCORE 1021452.44
AT ITER 734 NEW BEST:: SOT 4055499 SOS 3009841 HAS SOPS 2840083 HAS SOUS 1031147 HAS SOUPS 1010836 WITH SCORE 1013845.841
AT ITER 737 NEW BEST:: SOT 4065880 SOS 3019480 HAS SOPS 2850464 HAS SOUS 1028970 HAS SOUPS 1008792 WITH SCORE 1011811.48
AT ITER 738 NEW BEST:: SOT 4059255 SOS 3012903 HAS SOPS 2843817 HAS SOUS 1027075 HAS SOUPS 1006827 WITH SCORE 1009839.903
AT ITER 743 NEW BEST:: SOT 4059255 SOS 2999929 HAS SOPS 2827417 HAS SOUS 1023321 HAS SOUPS 1003237 WITH SCORE 1006236.929
AT ITER 744 NEW BEST:: SOT 4059261 SOS 2999770 HAS SOPS 2827322 HAS SOUS 1023189 HAS SOUPS 1003107 WITH SCORE 1006106.77
AT ITER 746 NEW BEST:: SOT 4059261 SOS 2996204 HAS SOPS 2822822 HAS SOUS 1022166 HAS SOUPS 1002128 WITH SCORE 1005124.204
AT ITER 747 NEW BEST:: SOT 4059261 SOS 2996175 HAS SOPS 2822584 HAS SOUS 1021928 HAS SOUPS 1001890 WITH SCORE 1004886.175
AT ITER 757 NEW BEST:: SOT 4056958 SOS 2993872 HAS SOPS 2820281 HAS SOUS 1019625 HAS SOUPS 999587 WITH SCORE 1002580.872
AT ITER 760 NEW BEST:: SOT 4055547 SOS 2992461 HAS SOPS 2818870 HAS SOUS 1018214 HAS SOUPS 998176 WITH SCORE 1001168.461
AT ITER 762 NEW BEST:: SOT 4062333 SOS 2994922 HAS SOPS 2819253 HAS SOUS 1006256 HAS SOUPS 986383 WITH SCORE 989377.922
AT ITER 764 NEW BEST:: SOT 4077043 SOS 3008398 HAS SOPS 2832663 HAS SOUS 1000511 HAS SOUPS 980805 WITH SCORE 983813.398
AT ITER 767 NEW BEST:: SOT 4077107 SOS 3008461 HAS SOPS 2832727 HAS SOUS 1000476 HAS SOUPS 980771 WITH SCORE 983779.461
AT ITER 771 NEW BEST:: SOT 4078726 SOS 3010052 HAS SOPS 2834346 HAS SOUS 999323 HAS SOUPS 979646 WITH SCORE 982656.052
AT ITER 779 NEW BEST:: SOT 4078319 SOS 3009645 HAS SOPS 2833939 HAS SOUS 998916 HAS SOUPS 979239 WITH SCORE 982248.645
AT ITER 781 NEW BEST:: SOT 4076962 SOS 3008288 HAS SOPS 2832582 HAS SOUS 997559 HAS SOUPS 977882 WITH SCORE 980890.288
AT ITER 784 NEW BEST:: SOT 4076859 SOS 2998532 HAS SOPS 2820930 HAS SOUS 995276 HAS SOUPS 975767 WITH SCORE 978765.532
AT ITER 785 NEW BEST:: SOT 4075628 SOS 2997301 HAS SOPS 2819750 HAS SOUS 994096 HAS SOUPS 974638 WITH SCORE 977635.301
AT ITER 790 NEW BEST:: SOT 4075628 SOS 2994175 HAS SOPS 2814672 HAS SOUS 992072 HAS SOUPS 972558 WITH SCORE 975552.175
AT ITER 796 NEW BEST:: SOT 4092481 SOS 3008720 HAS SOPS 2831589 HAS SOUS 987361 HAS SOUPS 968087 WITH SCORE 971095.72
AT ITER 800 NEW BEST:: SOT 4092343 SOS 3008582 HAS SOPS 2831259 HAS SOUS 987087 HAS SOUPS 967565 WITH SCORE 970573.582
AT ITER 801 NEW BEST:: SOT 4083266 SOS 2999545 HAS SOPS 2822182 HAS SOUS 984247 HAS SOUPS 964685 WITH SCORE 967684.545
AT ITER 814 NEW BEST:: SOT 4079370 SOS 2995544 HAS SOPS 2818112 HAS SOUS 980213 HAS SOUPS 960651 WITH SCORE 963646.544
AT ITER 815 NEW BEST:: SOT 4088063 SOS 3004062 HAS SOPS 2826805 HAS SOUS 976103 HAS SOUPS 956649 WITH SCORE 959653.062
AT ITER 821 NEW BEST:: SOT 4088063 SOS 2997511 HAS SOPS 2817937 HAS SOUS 973800 HAS SOUPS 954346 WITH SCORE 957343.511
AT ITER 822 NEW BEST:: SOT 4076582 SOS 2982678 HAS SOPS 2799146 HAS SOUS 970615 HAS SOUPS 951037 WITH SCORE 954019.678
AT ITER 824 NEW BEST:: SOT 4074422 SOS 2980518 HAS SOPS 2796986 HAS SOUS 968455 HAS SOUPS 948877 WITH SCORE 951857.518
AT ITER 831 NEW BEST:: SOT 4074413 SOS 2980497 HAS SOPS 2796965 HAS SOUS 968434 HAS SOUPS 948856 WITH SCORE 951836.497
AT ITER 836 NEW BEST:: SOT 4074413 SOS 2972920 HAS SOPS 2787489 HAS SOUS 966549 HAS SOUPS 946971 WITH SCORE 949943.92
AT ITER 837 NEW BEST:: SOT 4089211 SOS 2985885 HAS SOPS 2802408 HAS SOUS 962901 HAS SOUPS 943648 WITH SCORE 946633.885
AT ITER 839 NEW BEST:: SOT 4087846 SOS 2984520 HAS SOPS 2801043 HAS SOUS 961536 HAS SOUPS 942283 WITH SCORE 945267.52
AT ITER 843 NEW BEST:: SOT 4087791 SOS 2984465 HAS SOPS 2800988 HAS SOUS 961481 HAS SOUPS 942228 WITH SCORE 945212.465
AT ITER 845 NEW BEST:: SOT 4087791 SOS 2984449 HAS SOPS 2800972 HAS SOUS 961465 HAS SOUPS 942212 WITH SCORE 945196.449
AT ITER 849 NEW BEST:: SOT 4098616 SOS 2997230 HAS SOPS 2820887 HAS SOUS 952202 HAS SOUPS 933027 WITH SCORE 936024.23
AT ITER 851 NEW BEST:: SOT 4096535 SOS 2995064 HAS SOPS 2818721 HAS SOUS 950036 HAS SOUPS 930861 WITH SCORE 933856.064
AT ITER 854 NEW BEST:: SOT 4096535 SOS 2987925 HAS SOPS 2810845 HAS SOUS 949036 HAS SOUPS 929970 WITH SCORE 932957.925
AT ITER 859 NEW BEST:: SOT 4104028 SOS 2991666 HAS SOPS 2818514 HAS SOUS 941797 HAS SOUPS 922919 WITH SCORE 925910.666
AT ITER 861 NEW BEST:: SOT 4114931 SOS 2998945 HAS SOPS 2829570 HAS SOUS 934065 HAS SOUPS 915450 WITH SCORE 918448.945
AT ITER 864 NEW BEST:: SOT 4114931 SOS 2998921 HAS SOPS 2829546 HAS SOUS 934065 HAS SOUPS 915450 WITH SCORE 918448.921
AT ITER 865 NEW BEST:: SOT 4115068 SOS 2992269 HAS SOPS 2829276 HAS SOUS 930774 HAS SOUPS 912355 WITH SCORE 915347.269
AT ITER 873 NEW BEST:: SOT 4114821 SOS 2992022 HAS SOPS 2829029 HAS SOUS 930617 HAS SOUPS 912108 WITH SCORE 915100.022
AT ITER 874 NEW BEST:: SOT 4112912 SOS 2990113 HAS SOPS 2827120 HAS SOUS 928708 HAS SOUPS 910199 WITH SCORE 913189.113
AT ITER 883 NEW BEST:: SOT 4115721 SOS 2990303 HAS SOPS 2829929 HAS SOUS 923336 HAS SOUPS 904935 WITH SCORE 907925.303
AT ITER 892 NEW BEST:: SOT 4115721 SOS 2981528 HAS SOPS 2819021 HAS SOUS 920987 HAS SOUPS 902586 WITH SCORE 905567.528
AT ITER 895 NEW BEST:: SOT 4112988 SOS 2978732 HAS SOPS 2816111 HAS SOUS 918077 HAS SOUPS 899625 WITH SCORE 902603.732
AT ITER 907 NEW BEST:: SOT 4115843 SOS 2981327 HAS SOPS 2818966 HAS SOUS 917092 HAS SOUPS 898681 WITH SCORE 901662.327
AT ITER 908 NEW BEST:: SOT 4114405 SOS 2979386 HAS SOPS 2816901 HAS SOUS 915491 HAS SOUPS 897086 WITH SCORE 900065.386
AT ITER 909 NEW BEST:: SOT 4111145 SOS 2968392 HAS SOPS 2804688 HAS SOUS 910834 HAS SOUPS 892429 WITH SCORE 895397.392
AT ITER 911 NEW BEST:: SOT 4111366 SOS 2961167 HAS SOPS 2798546 HAS SOUS 905712 HAS SOUPS 887370 WITH SCORE 890331.167
AT ITER 917 NEW BEST:: SOT 4115704 SOS 2964514 HAS SOPS 2802884 HAS SOUS 902041 HAS SOUPS 883789 WITH SCORE 886753.514
AT ITER 919 NEW BEST:: SOT 4117389 SOS 2970923 HAS SOPS 2817799 HAS SOUS 892198 HAS SOUPS 874149 WITH SCORE 877119.923
AT ITER 928 NEW BEST:: SOT 4117698 SOS 2974712 HAS SOPS 2828612 HAS SOUS 887859 HAS SOUPS 869810 WITH SCORE 872784.712
AT ITER 932 NEW BEST:: SOT 4117452 SOS 2969968 HAS SOPS 2822966 HAS SOUS 886603 HAS SOUPS 868554 WITH SCORE 871523.968
AT ITER 933 NEW BEST:: SOT 4117452 SOS 2969968 HAS SOPS 2822870 HAS SOUS 886507 HAS SOUPS 868362 WITH SCORE 871331.968
AT ITER 944 NEW BEST:: SOT 4117452 SOS 2965689 HAS SOPS 2817892 HAS SOUS 885663 HAS SOUPS 867536 WITH SCORE 870501.689
AT ITER 952 NEW BEST:: SOT 4115210 SOS 2950661 HAS SOPS 2797571 HAS SOUS 877770 HAS SOUPS 859643 WITH SCORE 862593.661
AT ITER 954 NEW BEST:: SOT 4114584 SOS 2949627 HAS SOPS 2796345 HAS SOUS 876940 HAS SOUPS 858813 WITH SCORE 861762.627
AT ITER 955 NEW BEST:: SOT 4115695 SOS 2948678 HAS SOPS 2799373 HAS SOUS 870463 HAS SOUPS 852453 WITH SCORE 855401.678
AT ITER 960 NEW BEST:: SOT 4115695 SOS 2945999 HAS SOPS 2796306 HAS SOUS 869675 HAS SOUPS 851770 WITH SCORE 854715.999
AT ITER 966 NEW BEST:: SOT 4117393 SOS 2938368 HAS SOPS 2787404 HAS SOUS 858390 HAS SOUPS 840600 WITH SCORE 843538.368
AT ITER 967 NEW BEST:: SOT 4117393 SOS 2936779 HAS SOPS 2785577 HAS SOUS 858107 HAS SOUPS 840317 WITH SCORE 843253.779
AT ITER 978 NEW BEST:: SOT 4122608 SOS 2935096 HAS SOPS 2778517 HAS SOUS 857697 HAS SOUPS 840131 WITH SCORE 843066.096
AT ITER 979 NEW BEST:: SOT 4122609 SOS 2935090 HAS SOPS 2778511 HAS SOUS 857691 HAS SOUPS 840125 WITH SCORE 843060.09
AT ITER 980 NEW BEST:: SOT 4122373 SOS 2934854 HAS SOPS 2778275 HAS SOUS 857455 HAS SOUPS 839889 WITH SCORE 842823.854
AT ITER 983 NEW BEST:: SOT 4124164 SOS 2921076 HAS SOPS 2776047 HAS SOUS 842099 HAS SOUPS 824838 WITH SCORE 827759.076
AT ITER 987 NEW BEST:: SOT 4124564 SOS 2922601 HAS SOPS 2784223 HAS SOUS 839803 HAS SOUPS 822637 WITH SCORE 825559.601
AT ITER 988 NEW BEST:: SOT 4124564 SOS 2922612 HAS SOPS 2784148 HAS SOUS 839728 HAS SOUPS 822476 WITH SCORE 825398.612
AT ITER 990 NEW BEST:: SOT 4130227 SOS 2929228 HAS SOPS 2794511 HAS SOUS 832932 HAS SOUPS 815843 WITH SCORE 818772.228
AT ITER 992 NEW BEST:: SOT 4130148 SOS 2929149 HAS SOPS 2794349 HAS SOUS 832687 HAS SOUPS 815598 WITH SCORE 818527.149
AT ITER 993 NEW BEST:: SOT 4123992 SOS 2922960 HAS SOPS 2788151 HAS SOUS 826489 HAS SOUPS 809400 WITH SCORE 812322.96
AT ITER 994 NEW BEST:: SOT 4123992 SOS 2923024 HAS SOPS 2788151 HAS SOUS 826492 HAS SOUPS 809339 WITH SCORE 812262.024
AT ITER 998 NEW BEST:: SOT 4121441 SOS 2920615 HAS SOPS 2785599 HAS SOUS 826397 HAS SOUPS 809218 WITH SCORE 812138.615
AT ITER 1001 NEW BEST:: SOT 4123356 SOS 2921954 HAS SOPS 2787560 HAS SOUS 824334 HAS SOUPS 807247 WITH SCORE 810168.954
AT ITER 1002 NEW BEST:: SOT 4123356 SOS 2921458 HAS SOPS 2786960 HAS SOUS 824303 HAS SOUPS 807137 WITH SCORE 810058.458
AT ITER 1005 NEW BEST:: SOT 4120868 SOS 2918970 HAS SOPS 2784472 HAS SOUS 821815 HAS SOUPS 804649 WITH SCORE 807567.97
AT ITER 1017 NEW BEST:: SOT 4120868 SOS 2917664 HAS SOPS 2783150 HAS SOUS 821773 HAS SOUPS 804607 WITH SCORE 807524.664
AT ITER 1019 NEW BEST:: SOT 4120469 SOS 2915864 HAS SOPS 2780951 HAS SOUS 820939 HAS SOUPS 803791 WITH SCORE 806706.864
AT ITER 1020 NEW BEST:: SOT 4120469 SOS 2915790 HAS SOPS 2780877 HAS SOUS 820925 HAS SOUPS 803791 WITH SCORE 806706.79
AT ITER 1021 NEW BEST:: SOT 4118405 SOS 2913726 HAS SOPS 2778813 HAS SOUS 818861 HAS SOUPS 801727 WITH SCORE 804640.726
AT ITER 1022 NEW BEST:: SOT 4121401 SOS 2916506 HAS SOPS 2781809 HAS SOUS 818773 HAS SOUPS 801672 WITH SCORE 804588.506
AT ITER 1030 NEW BEST:: SOT 4121401 SOS 2921587 HAS SOPS 2786918 HAS SOUS 818776 HAS SOUPS 801609 WITH SCORE 804530.587
AT ITER 1033 NEW BEST:: SOT 4129682 SOS 2929485 HAS SOPS 2795457 HAS SOUS 818002 HAS SOUPS 800988 WITH SCORE 803917.485
AT ITER 1036 NEW BEST:: SOT 4127020 SOS 2945193 HAS SOPS 2812795 HAS SOUS 817476 HAS SOUPS 800346 WITH SCORE 803291.193
AT ITER 1042 NEW BEST:: SOT 4129870 SOS 2947754 HAS SOPS 2815685 HAS SOUS 816695 HAS SOUPS 799605 WITH SCORE 802552.754
AT ITER 1048 NEW BEST:: SOT 4129868 SOS 2947581 HAS SOPS 2815341 HAS SOUS 816351 HAS SOUPS 799261 WITH SCORE 802208.581
AT ITER 1055 NEW BEST:: SOT 4129851 SOS 2947468 HAS SOPS 2815132 HAS SOUS 816142 HAS SOUPS 799052 WITH SCORE 801999.468
AT ITER 1058 NEW BEST:: SOT 4128108 SOS 2945725 HAS SOPS 2813389 HAS SOUS 814399 HAS SOUPS 797309 WITH SCORE 800254.725
AT ITER 1065 NEW BEST:: SOT 4128060 SOS 2938567 HAS SOPS 2804845 HAS SOUS 812795 HAS SOUPS 795709 WITH SCORE 798647.567
AT ITER 1066 NEW BEST:: SOT 4127963 SOS 2936170 HAS SOPS 2802425 HAS SOUS 812629 HAS SOUPS 795543 WITH SCORE 798479.17
AT ITER 1067 NEW BEST:: SOT 4127963 SOS 2935561 HAS SOPS 2801725 HAS SOUS 812531 HAS SOUPS 795445 WITH SCORE 798380.561
AT ITER 1069 NEW BEST:: SOT 4127963 SOS 2934644 HAS SOPS 2800309 HAS SOUS 812006 HAS SOUPS 794920 WITH SCORE 797854.644
AT ITER 1074 NEW BEST:: SOT 4127963 SOS 2933833 HAS SOPS 2799399 HAS SOUS 811888 HAS SOUPS 794802 WITH SCORE 797735.833
AT ITER 1076 NEW BEST:: SOT 4127895 SOS 2933765 HAS SOPS 2799359 HAS SOUS 811845 HAS SOUPS 794787 WITH SCORE 797720.765
AT ITER 1079 NEW BEST:: SOT 4128520 SOS 2916064 HAS SOPS 2792265 HAS SOUS 801064 HAS SOUPS 784395 WITH SCORE 787311.064
AT ITER 1082 NEW BEST:: SOT 4123623 SOS 2911240 HAS SOPS 2787368 HAS SOUS 800094 HAS SOUPS 783385 WITH SCORE 786296.24
AT ITER 1087 NEW BEST:: SOT 4123623 SOS 2911240 HAS SOPS 2787325 HAS SOUS 800051 HAS SOUPS 783342 WITH SCORE 786253.24
AT ITER 1088 NEW BEST:: SOT 4126411 SOS 2913965 HAS SOPS 2790113 HAS SOUS 793137 HAS SOUPS 776491 WITH SCORE 779404.965
AT ITER 1091 NEW BEST:: SOT 4124486 SOS 2912040 HAS SOPS 2788188 HAS SOUS 791212 HAS SOUPS 774566 WITH SCORE 777478.04
AT ITER 1094 NEW BEST:: SOT 4124389 SOS 2911945 HAS SOPS 2787956 HAS SOUS 790987 HAS SOUPS 774195 WITH SCORE 777106.945
AT ITER 1097 NEW BEST:: SOT 4127078 SOS 2916207 HAS SOPS 2799661 HAS SOUS 779823 HAS SOUPS 763247 WITH SCORE 766163.207
AT ITER 1102 NEW BEST:: SOT 4127078 SOS 2911586 HAS SOPS 2794641 HAS SOUS 779354 HAS SOUPS 762778 WITH SCORE 765689.586
AT ITER 1104 NEW BEST:: SOT 4127078 SOS 2907381 HAS SOPS 2789888 HAS SOUS 778712 HAS SOUPS 762136 WITH SCORE 765043.381
AT ITER 1105 NEW BEST:: SOT 4127078 SOS 2899398 HAS SOPS 2781239 HAS SOUS 777958 HAS SOUPS 761382 WITH SCORE 764281.398
AT ITER 1107 NEW BEST:: SOT 4127078 SOS 2899398 HAS SOPS 2781153 HAS SOUS 777839 HAS SOUPS 761210 WITH SCORE 764109.398
AT ITER 1109 NEW BEST:: SOT 4127078 SOS 2901604 HAS SOPS 2783229 HAS SOUS 777638 HAS SOUPS 761009 WITH SCORE 763910.604
AT ITER 1110 NEW BEST:: SOT 4126913 SOS 2899210 HAS SOPS 2780499 HAS SOUS 777156 HAS SOUPS 760456 WITH SCORE 763355.21
AT ITER 1112 NEW BEST:: SOT 4126913 SOS 2893770 HAS SOPS 2774606 HAS SOUS 776609 HAS SOUPS 759909 WITH SCORE 762802.77
AT ITER 1115 NEW BEST:: SOT 4126895 SOS 2892807 HAS SOPS 2772770 HAS SOUS 775682 HAS SOUPS 758982 WITH SCORE 761874.807
AT ITER 1116 NEW BEST:: SOT 4126895 SOS 2887708 HAS SOPS 2767576 HAS SOUS 775656 HAS SOUPS 758834 WITH SCORE 761721.708
AT ITER 1120 NEW BEST:: SOT 4133048 SOS 2893834 HAS SOPS 2773729 HAS SOUS 775572 HAS SOUPS 758777 WITH SCORE 761670.834
AT ITER 1123 NEW BEST:: SOT 4133048 SOS 2893940 HAS SOPS 2773816 HAS SOUS 775758 HAS SOUPS 758739 WITH SCORE 761632.94
AT ITER 1124 NEW BEST:: SOT 4136483 SOS 2896367 HAS SOPS 2777251 HAS SOUS 772301 HAS SOUPS 755361 WITH SCORE 758257.367
AT ITER 1128 NEW BEST:: SOT 4136422 SOS 2896098 HAS SOPS 2777014 HAS SOUS 772209 HAS SOUPS 755312 WITH SCORE 758208.098
AT ITER 1129 NEW BEST:: SOT 4135941 SOS 2895617 HAS SOPS 2776533 HAS SOUS 771728 HAS SOUPS 754831 WITH SCORE 757726.617
AT ITER 1131 NEW BEST:: SOT 4132601 SOS 2888778 HAS SOPS 2767032 HAS SOUS 771704 HAS SOUPS 754746 WITH SCORE 757634.778
AT ITER 1137 NEW BEST:: SOT 4132601 SOS 2887986 HAS SOPS 2766240 HAS SOUS 771696 HAS SOUPS 754738 WITH SCORE 757625.986
AT ITER 1138 NEW BEST:: SOT 4132601 SOS 2889250 HAS SOPS 2767470 HAS SOUS 771639 HAS SOUPS 754681 WITH SCORE 757570.25
AT ITER 1141 NEW BEST:: SOT 4132601 SOS 2889250 HAS SOPS 2767461 HAS SOUS 771639 HAS SOUPS 754663 WITH SCORE 757552.25
AT ITER 1145 NEW BEST:: SOT 4131292 SOS 2887941 HAS SOPS 2766152 HAS SOUS 771023 HAS SOUPS 754047 WITH SCORE 756934.941
AT ITER 1147 NEW BEST:: SOT 4133710 SOS 2890274 HAS SOPS 2775169 HAS SOUS 762056 HAS SOUPS 745238 WITH SCORE 748128.274
AT ITER 1148 NEW BEST:: SOT 4133397 SOS 2889961 HAS SOPS 2774856 HAS SOUS 761743 HAS SOUPS 744925 WITH SCORE 747814.961
AT ITER 1150 NEW BEST:: SOT 4133397 SOS 2875995 HAS SOPS 2759879 HAS SOUS 760605 HAS SOUPS 743763 WITH SCORE 746638.995
AT ITER 1152 NEW BEST:: SOT 4133397 SOS 2871464 HAS SOPS 2755072 HAS SOUS 760274 HAS SOUPS 743432 WITH SCORE 746303.464
AT ITER 1156 NEW BEST:: SOT 4133904 SOS 2871899 HAS SOPS 2755579 HAS SOUS 758953 HAS SOUPS 742130 WITH SCORE 745001.899
AT ITER 1157 NEW BEST:: SOT 4134308 SOS 2871744 HAS SOPS 2755992 HAS SOUS 756298 HAS SOUPS 739547 WITH SCORE 742418.744
AT ITER 1159 NEW BEST:: SOT 4134308 SOS 2867498 HAS SOPS 2751548 HAS SOUS 756231 HAS SOUPS 739456 WITH SCORE 742323.498
AT ITER 1160 NEW BEST:: SOT 4119545 SOS 2852814 HAS SOPS 2736785 HAS SOUS 752848 HAS SOUPS 735999 WITH SCORE 738851.814
AT ITER 1161 NEW BEST:: SOT 4119857 SOS 2843340 HAS SOPS 2730934 HAS SOUS 746859 HAS SOUPS 730108 WITH SCORE 732951.34
AT ITER 1165 NEW BEST:: SOT 4132013 SOS 2853181 HAS SOPS 2743315 HAS SOUS 739055 HAS SOUPS 722754 WITH SCORE 725607.181
AT ITER 1167 NEW BEST:: SOT 4132013 SOS 2851402 HAS SOPS 2741506 HAS SOUS 739010 HAS SOUPS 722697 WITH SCORE 725548.402
AT ITER 1168 NEW BEST:: SOT 4131897 SOS 2850733 HAS SOPS 2740490 HAS SOUS 738529 HAS SOUPS 722216 WITH SCORE 725066.733
AT ITER 1172 NEW BEST:: SOT 4128883 SOS 2847684 HAS SOPS 2737441 HAS SOUS 735480 HAS SOUPS 719167 WITH SCORE 722014.684
AT ITER 1173 NEW BEST:: SOT 4125842 SOS 2844643 HAS SOPS 2734400 HAS SOUS 732439 HAS SOUPS 716126 WITH SCORE 718970.643
AT ITER 1176 NEW BEST:: SOT 4125842 SOS 2844643 HAS SOPS 2734399 HAS SOUS 732438 HAS SOUPS 716124 WITH SCORE 718968.643
AT ITER 1177 NEW BEST:: SOT 4125842 SOS 2844097 HAS SOPS 2732976 HAS SOUS 731608 HAS SOUPS 715294 WITH SCORE 718138.097
AT ITER 1178 NEW BEST:: SOT 4125842 SOS 2840382 HAS SOPS 2729240 HAS SOUS 731475 HAS SOUPS 715200 WITH SCORE 718040.382
AT ITER 1180 NEW BEST:: SOT 4125046 SOS 2833049 HAS SOPS 2721244 HAS SOUS 729872 HAS SOUPS 713669 WITH SCORE 716502.049
AT ITER 1182 NEW BEST:: SOT 4124961 SOS 2832964 HAS SOPS 2721159 HAS SOUS 729787 HAS SOUPS 713584 WITH SCORE 716416.964
AT ITER 1185 NEW BEST:: SOT 4138881 SOS 2845667 HAS SOPS 2735079 HAS SOUS 721562 HAS SOUPS 705555 WITH SCORE 708400.667
AT ITER 1189 NEW BEST:: SOT 4138881 SOS 2844364 HAS SOPS 2733788 HAS SOUS 721560 HAS SOUPS 705553 WITH SCORE 708397.364
AT ITER 1191 NEW BEST:: SOT 4138673 SOS 2844164 HAS SOPS 2733580 HAS SOUS 721544 HAS SOUPS 705535 WITH SCORE 708379.164
AT ITER 1195 NEW BEST:: SOT 4146545 SOS 2851947 HAS SOPS 2743964 HAS SOUS 714179 HAS SOUPS 698325 WITH SCORE 701176.947
AT ITER 1197 NEW BEST:: SOT 4146654 SOS 2853233 HAS SOPS 2747103 HAS SOUS 713201 HAS SOUPS 697377 WITH SCORE 700230.233
AT ITER 1201 NEW BEST:: SOT 4146684 SOS 2853263 HAS SOPS 2747094 HAS SOUS 713192 HAS SOUPS 697329 WITH SCORE 700182.263
AT ITER 1210 NEW BEST:: SOT 4146684 SOS 2850541 HAS SOPS 2740260 HAS SOUS 708944 HAS SOUPS 693081 WITH SCORE 695931.541
AT ITER 1216 NEW BEST:: SOT 4146684 SOS 2848732 HAS SOPS 2738356 HAS SOUS 708709 HAS SOUPS 692950 WITH SCORE 695798.732
AT ITER 1219 NEW BEST:: SOT 4151074 SOS 2862940 HAS SOPS 2758199 HAS SOUS 703740 HAS SOUPS 688134 WITH SCORE 690996.94
AT ITER 1226 NEW BEST:: SOT 4162009 SOS 2867404 HAS SOPS 2769453 HAS SOUS 691989 HAS SOUPS 676878 WITH SCORE 679745.404
AT ITER 1230 NEW BEST:: SOT 4159585 SOS 2863098 HAS SOPS 2762729 HAS SOUS 687061 HAS SOUPS 671950 WITH SCORE 674813.098
AT ITER 1235 NEW BEST:: SOT 4159585 SOS 2868828 HAS SOPS 2768349 HAS SOUS 687065 HAS SOUPS 671817 WITH SCORE 674685.828
AT ITER 1236 NEW BEST:: SOT 4159529 SOS 2868772 HAS SOPS 2768293 HAS SOUS 687009 HAS SOUPS 671761 WITH SCORE 674629.772
AT ITER 1240 NEW BEST:: SOT 4153106 SOS 2858632 HAS SOPS 2753992 HAS SOUS 684069 HAS SOUPS 668743 WITH SCORE 671601.632
AT ITER 1241 NEW BEST:: SOT 4172528 SOS 2892920 HAS SOPS 2798563 HAS SOUS 679472 HAS SOUPS 664494 WITH SCORE 667386.92
AT ITER 1242 NEW BEST:: SOT 4172528 SOS 2881438 HAS SOPS 2786581 HAS SOUS 678611 HAS SOUPS 663793 WITH SCORE 666674.438
AT ITER 1245 NEW BEST:: SOT 4171409 SOS 2873974 HAS SOPS 2778147 HAS SOUS 676222 HAS SOUPS 661616 WITH SCORE 664489.974
AT ITER 1248 NEW BEST:: SOT 4167653 SOS 2870218 HAS SOPS 2774391 HAS SOUS 672466 HAS SOUPS 657860 WITH SCORE 660730.218
AT ITER 1249 NEW BEST:: SOT 4169012 SOS 2872417 HAS SOPS 2783144 HAS SOUS 661123 HAS SOUPS 646806 WITH SCORE 649678.417
AT ITER 1251 NEW BEST:: SOT 4169012 SOS 2871927 HAS SOPS 2782644 HAS SOUS 661108 HAS SOUPS 646791 WITH SCORE 649662.927
AT ITER 1252 NEW BEST:: SOT 4169012 SOS 2871916 HAS SOPS 2782633 HAS SOUS 661097 HAS SOUPS 646780 WITH SCORE 649651.916
AT ITER 1256 NEW BEST:: SOT 4169012 SOS 2871916 HAS SOPS 2782576 HAS SOUS 661040 HAS SOUPS 646666 WITH SCORE 649537.916
AT ITER 1265 NEW BEST:: SOT 4169012 SOS 2870481 HAS SOPS 2781061 HAS SOUS 660915 HAS SOUPS 646556 WITH SCORE 649426.481
AT ITER 1281 NEW BEST:: SOT 4169012 SOS 2870533 HAS SOPS 2781055 HAS SOUS 660909 HAS SOUPS 646442 WITH SCORE 649312.533
AT ITER 1282 NEW BEST:: SOT 4169407 SOS 2866634 HAS SOPS 2771750 HAS SOUS 655704 HAS SOUPS 641237 WITH SCORE 644103.634
AT ITER 1284 NEW BEST:: SOT 4169412 SOS 2860784 HAS SOPS 2761113 HAS SOUS 650710 HAS SOUPS 636243 WITH SCORE 639103.784
AT ITER 1286 NEW BEST:: SOT 4169408 SOS 2860716 HAS SOPS 2760953 HAS SOUS 650548 HAS SOUPS 636055 WITH SCORE 638915.716
AT ITER 1292 NEW BEST:: SOT 4169408 SOS 2844932 HAS SOPS 2744725 HAS SOUS 649727 HAS SOUPS 635420 WITH SCORE 638264.932
AT ITER 1299 NEW BEST:: SOT 4169408 SOS 2844932 HAS SOPS 2744693 HAS SOUS 649695 HAS SOUPS 635356 WITH SCORE 638200.932
AT ITER 1305 NEW BEST:: SOT 4169408 SOS 2847962 HAS SOPS 2747668 HAS SOUS 649645 HAS SOUPS 635306 WITH SCORE 638153.962
AT ITER 1312 NEW BEST:: SOT 4166581 SOS 2845093 HAS SOPS 2744765 HAS SOUS 646742 HAS SOUPS 632403 WITH SCORE 635248.093
AT ITER 1324 NEW BEST:: SOT 4166482 SOS 2839519 HAS SOPS 2737066 HAS SOUS 644366 HAS SOUPS 630027 WITH SCORE 632866.519
AT ITER 1325 NEW BEST:: SOT 4166482 SOS 2839519 HAS SOPS 2737064 HAS SOUS 644362 HAS SOUPS 630023 WITH SCORE 632862.519
AT ITER 1336 NEW BEST:: SOT 4166189 SOS 2839226 HAS SOPS 2736771 HAS SOUS 644069 HAS SOUPS 629730 WITH SCORE 632569.226
AT ITER 1344 NEW BEST:: SOT 4162934 SOS 2832759 HAS SOPS 2730082 HAS SOUS 640299 HAS SOUPS 626185 WITH SCORE 629017.759
AT ITER 1346 NEW BEST:: SOT 4171782 SOS 2841335 HAS SOPS 2738981 HAS SOUS 639630 HAS SOUPS 625606 WITH SCORE 628447.335
AT ITER 1352 NEW BEST:: SOT 4171782 SOS 2841272 HAS SOPS 2738918 HAS SOUS 639567 HAS SOUPS 625543 WITH SCORE 628384.272
AT ITER 1354 NEW BEST:: SOT 4171172 SOS 2840662 HAS SOPS 2738308 HAS SOUS 638957 HAS SOUPS 624933 WITH SCORE 627773.662
AT ITER 1355 NEW BEST:: SOT 4172853 SOS 2839767 HAS SOPS 2740033 HAS SOUS 631202 HAS SOUPS 617299 WITH SCORE 620138.767
AT ITER 1356 NEW BEST:: SOT 4172853 SOS 2829359 HAS SOPS 2729501 HAS SOUS 630869 HAS SOUPS 616939 WITH SCORE 619768.359
AT ITER 1366 NEW BEST:: SOT 4172853 SOS 2826255 HAS SOPS 2726269 HAS SOUS 630677 HAS SOUPS 616747 WITH SCORE 619573.255
AT ITER 1370 NEW BEST:: SOT 4166549 SOS 2819951 HAS SOPS 2719965 HAS SOUS 624373 HAS SOUPS 610443 WITH SCORE 613262.951
AT ITER 1373 NEW BEST:: SOT 4177875 SOS 2812701 HAS SOPS 2721488 HAS SOUS 610913 HAS SOUPS 597448 WITH SCORE 600260.701
AT ITER 1374 NEW BEST:: SOT 4177875 SOS 2812641 HAS SOPS 2721428 HAS SOUS 610853 HAS SOUPS 597388 WITH SCORE 600200.641
AT ITER 1376 NEW BEST:: SOT 4177840 SOS 2812578 HAS SOPS 2721337 HAS SOUS 610762 HAS SOUPS 597297 WITH SCORE 600109.578
AT ITER 1377 NEW BEST:: SOT 4177734 SOS 2812472 HAS SOPS 2721153 HAS SOUS 610578 HAS SOUPS 597035 WITH SCORE 599847.472
AT ITER 1384 NEW BEST:: SOT 4173708 SOS 2808462 HAS SOPS 2717127 HAS SOUS 609027 HAS SOUPS 595468 WITH SCORE 598276.462
AT ITER 1387 NEW BEST:: SOT 4174147 SOS 2810357 HAS SOPS 2719566 HAS SOUS 608050 HAS SOUPS 594511 WITH SCORE 597321.357
AT ITER 1390 NEW BEST:: SOT 4174147 SOS 2804631 HAS SOPS 2713850 HAS SOUS 607971 HAS SOUPS 594432 WITH SCORE 597236.631
AT ITER 1394 NEW BEST:: SOT 4176322 SOS 2806370 HAS SOPS 2716025 HAS SOUS 606582 HAS SOUPS 593083 WITH SCORE 595889.37
AT ITER 1395 NEW BEST:: SOT 4176322 SOS 2799415 HAS SOPS 2708958 HAS SOUS 606260 HAS SOUPS 592834 WITH SCORE 595633.415
AT ITER 1396 NEW BEST:: SOT 4176154 SOS 2799247 HAS SOPS 2708836 HAS SOUS 606114 HAS SOUPS 592758 WITH SCORE 595557.247
AT ITER 1409 NEW BEST:: SOT 4176154 SOS 2800102 HAS SOPS 2709636 HAS SOUS 606153 HAS SOUPS 592711 WITH SCORE 595511.102
AT ITER 1411 NEW BEST:: SOT 4176154 SOS 2800042 HAS SOPS 2709516 HAS SOUS 606033 HAS SOUPS 592591 WITH SCORE 595391.042
AT ITER 1415 NEW BEST:: SOT 4176124 SOS 2800012 HAS SOPS 2709380 HAS SOUS 605839 HAS SOUPS 592349 WITH SCORE 595149.012
AT ITER 1416 NEW BEST:: SOT 4176078 SOS 2799966 HAS SOPS 2709334 HAS SOUS 605793 HAS SOUPS 592303 WITH SCORE 595102.966
AT ITER 1424 NEW BEST:: SOT 4176078 SOS 2799954 HAS SOPS 2709326 HAS SOUS 605789 HAS SOUPS 592299 WITH SCORE 595098.954
AT ITER 1428 NEW BEST:: SOT 4176057 SOS 2799933 HAS SOPS 2709305 HAS SOUS 605768 HAS SOUPS 592278 WITH SCORE 595077.933
AT ITER 1429 NEW BEST:: SOT 4174244 SOS 2798120 HAS SOPS 2707492 HAS SOUS 603955 HAS SOUPS 590465 WITH SCORE 593263.12
AT ITER 1434 NEW BEST:: SOT 4174175 SOS 2796966 HAS SOPS 2702015 HAS SOUS 600417 HAS SOUPS 585965 WITH SCORE 588761.966
AT ITER 1436 NEW BEST:: SOT 4173415 SOS 2796108 HAS SOPS 2701428 HAS SOUS 599846 HAS SOUPS 585748 WITH SCORE 588544.108
AT ITER 1437 NEW BEST:: SOT 4172253 SOS 2799501 HAS SOPS 2705151 HAS SOUS 599101 HAS SOUPS 585148 WITH SCORE 587947.501
AT ITER 1439 NEW BEST:: SOT 4172079 SOS 2799327 HAS SOPS 2704977 HAS SOUS 598927 HAS SOUPS 584974 WITH SCORE 587773.327
AT ITER 1447 NEW BEST:: SOT 4172079 SOS 2799327 HAS SOPS 2704969 HAS SOUS 598919 HAS SOUPS 584958 WITH SCORE 587757.327
AT ITER 1450 NEW BEST:: SOT 4172120 SOS 2799212 HAS SOPS 2704853 HAS SOUS 598803 HAS SOUPS 584842 WITH SCORE 587641.212
AT ITER 1452 NEW BEST:: SOT 4172120 SOS 2790954 HAS SOPS 2696053 HAS SOUS 598085 HAS SOUPS 584124 WITH SCORE 586914.954
AT ITER 1453 NEW BEST:: SOT 4172120 SOS 2789324 HAS SOPS 2694445 HAS SOUS 598015 HAS SOUPS 584122 WITH SCORE 586911.324
AT ITER 1456 NEW BEST:: SOT 4172120 SOS 2775189 HAS SOPS 2677376 HAS SOUS 594902 HAS SOUPS 580850 WITH SCORE 583625.189
AT ITER 1457 NEW BEST:: SOT 4171302 SOS 2774283 HAS SOPS 2676344 HAS SOUS 593870 HAS SOUPS 579780 WITH SCORE 582554.283
AT ITER 1459 NEW BEST:: SOT 4171302 SOS 2774283 HAS SOPS 2676296 HAS SOUS 593822 HAS SOUPS 579684 WITH SCORE 582458.283
AT ITER 1460 NEW BEST:: SOT 4171302 SOS 2774283 HAS SOPS 2676174 HAS SOUS 593644 HAS SOUPS 579440 WITH SCORE 582214.283
AT ITER 1463 NEW BEST:: SOT 4171302 SOS 2774283 HAS SOPS 2676170 HAS SOUS 593640 HAS SOUPS 579432 WITH SCORE 582206.283
AT ITER 1465 NEW BEST:: SOT 4171302 SOS 2774283 HAS SOPS 2676116 HAS SOUS 593423 HAS SOUPS 579324 WITH SCORE 582098.283
AT ITER 1495 NEW BEST:: SOT 4172278 SOS 2775117 HAS SOPS 2677092 HAS SOUS 592741 HAS SOUPS 578660 WITH SCORE 581435.117
AT ITER 1498 NEW BEST:: SOT 4172278 SOS 2774919 HAS SOPS 2676896 HAS SOUS 592741 HAS SOUPS 578660 WITH SCORE 581434.919
AT ITER 1505 NEW BEST:: SOT 4172366 SOS 2775007 HAS SOPS 2676880 HAS SOUS 592725 HAS SOUPS 578540 WITH SCORE 581315.007
AT ITER 1508 NEW BEST:: SOT 4172366 SOS 2767481 HAS SOPS 2669392 HAS SOUS 592613 HAS SOUPS 578503 WITH SCORE 581270.481
AT ITER 1509 NEW BEST:: SOT 4172352 SOS 2767467 HAS SOPS 2669378 HAS SOUS 592599 HAS SOUPS 578489 WITH SCORE 581256.467
AT ITER 1510 NEW BEST:: SOT 4171077 SOS 2771961 HAS SOPS 2674024 HAS SOUS 591754 HAS SOUPS 577644 WITH SCORE 580415.961
AT ITER 1512 NEW BEST:: SOT 4171077 SOS 2773978 HAS SOPS 2675984 HAS SOUS 591580 HAS SOUPS 577520 WITH SCORE 580293.978
AT ITER 1513 NEW BEST:: SOT 4171077 SOS 2772221 HAS SOPS 2674166 HAS SOUS 591412 HAS SOUPS 577423 WITH SCORE 580195.221
AT ITER 1514 NEW BEST:: SOT 4171077 SOS 2770043 HAS SOPS 2671894 HAS SOUS 591288 HAS SOUPS 577235 WITH SCORE 580005.043
AT ITER 1517 NEW BEST:: SOT 4171077 SOS 2763064 HAS SOPS 2664521 HAS SOUS 590748 HAS SOUPS 576695 WITH SCORE 579458.064
AT ITER 1518 NEW BEST:: SOT 4171077 SOS 2763064 HAS SOPS 2664481 HAS SOUS 590700 HAS SOUPS 576615 WITH SCORE 579378.064
AT ITER 1524 NEW BEST:: SOT 4170969 SOS 2760699 HAS SOPS 2661834 HAS SOUS 590147 HAS SOUPS 576062 WITH SCORE 578822.699
AT ITER 1531 NEW BEST:: SOT 4176443 SOS 2765528 HAS SOPS 2667308 HAS SOUS 590066 HAS SOUPS 576043 WITH SCORE 578808.528
AT ITER 1541 NEW BEST:: SOT 4176443 SOS 2765528 HAS SOPS 2667299 HAS SOUS 590057 HAS SOUPS 576025 WITH SCORE 578790.528
AT ITER 1547 NEW BEST:: SOT 4176443 SOS 2765543 HAS SOPS 2667284 HAS SOUS 590042 HAS SOUPS 575975 WITH SCORE 578740.543
AT ITER 1548 NEW BEST:: SOT 4176467 SOS 2765245 HAS SOPS 2669650 HAS SOUS 588618 HAS SOUPS 574570 WITH SCORE 577335.245
AT ITER 1551 NEW BEST:: SOT 4176054 SOS 2764750 HAS SOPS 2669155 HAS SOUS 588123 HAS SOUPS 574075 WITH SCORE 576839.75
AT ITER 1556 NEW BEST:: SOT 4172982 SOS 2761718 HAS SOPS 2666083 HAS SOUS 587011 HAS SOUPS 572943 WITH SCORE 575704.718
AT ITER 1565 NEW BEST:: SOT 4172980 SOS 2761716 HAS SOPS 2666081 HAS SOUS 587009 HAS SOUPS 572941 WITH SCORE 575702.716
AT ITER 1570 NEW BEST:: SOT 4179214 SOS 2766638 HAS SOPS 2672315 HAS SOUS 583855 HAS SOUPS 569894 WITH SCORE 572660.638
AT ITER 1571 NEW BEST:: SOT 4179214 SOS 2766338 HAS SOPS 2672018 HAS SOUS 583852 HAS SOUPS 569894 WITH SCORE 572660.338
AT ITER 1574 NEW BEST:: SOT 4179214 SOS 2758135 HAS SOPS 2663509 HAS SOUS 583465 HAS SOUPS 569507 WITH SCORE 572265.135
AT ITER 1580 NEW BEST:: SOT 4179214 SOS 2758068 HAS SOPS 2663442 HAS SOUS 583398 HAS SOUPS 569440 WITH SCORE 572198.068
AT ITER 1582 NEW BEST:: SOT 4179214 SOS 2756265 HAS SOPS 2661422 HAS SOUS 583141 HAS SOUPS 569183 WITH SCORE 571939.265
AT ITER 1583 NEW BEST:: SOT 4178887 SOS 2755938 HAS SOPS 2661095 HAS SOUS 582814 HAS SOUPS 568856 WITH SCORE 571611.938
AT ITER 1592 NEW BEST:: SOT 4172505 SOS 2754301 HAS SOPS 2659458 HAS SOUS 576623 HAS SOUPS 562665 WITH SCORE 565419.301
AT ITER 1595 NEW BEST:: SOT 4178872 SOS 2754039 HAS SOPS 2666078 HAS SOUS 564572 HAS SOUPS 551120 WITH SCORE 553874.039
AT ITER 1598 NEW BEST:: SOT 4178904 SOS 2754071 HAS SOPS 2666045 HAS SOUS 564539 HAS SOUPS 551022 WITH SCORE 553776.071
AT ITER 1603 NEW BEST:: SOT 4178904 SOS 2754054 HAS SOPS 2666028 HAS SOUS 564522 HAS SOUPS 551005 WITH SCORE 553759.054
AT ITER 1604 NEW BEST:: SOT 4178904 SOS 2759330 HAS SOPS 2671181 HAS SOUS 564374 HAS SOUPS 550857 WITH SCORE 553616.33
AT ITER 1606 NEW BEST:: SOT 4183712 SOS 2763957 HAS SOPS 2675989 HAS SOUS 562463 HAS SOUPS 549015 WITH SCORE 551778.957
AT ITER 1608 NEW BEST:: SOT 4183712 SOS 2763957 HAS SOPS 2675908 HAS SOUS 562384 HAS SOUPS 548853 WITH SCORE 551616.957
AT ITER 1609 NEW BEST:: SOT 4183675 SOS 2763920 HAS SOPS 2675800 HAS SOUS 562276 HAS SOUPS 548674 WITH SCORE 551437.92
AT ITER 1629 NEW BEST:: SOT 4183675 SOS 2762268 HAS SOPS 2674100 HAS SOUS 562194 HAS SOUPS 548592 WITH SCORE 551354.268
AT ITER 1640 NEW BEST:: SOT 4186936 SOS 2764903 HAS SOPS 2677361 HAS SOUS 560881 HAS SOUPS 547331 WITH SCORE 550095.903
AT ITER 1641 NEW BEST:: SOT 4186936 SOS 2762329 HAS SOPS 2674735 HAS SOUS 560803 HAS SOUPS 547227 WITH SCORE 549989.329
AT ITER 1659 NEW BEST:: SOT 4191360 SOS 2760683 HAS SOPS 2679394 HAS SOUS 548762 HAS SOUPS 535416 WITH SCORE 538176.683
AT ITER 1661 NEW BEST:: SOT 4192099 SOS 2763166 HAS SOPS 2682636 HAS SOUS 547810 HAS SOUPS 534489 WITH SCORE 537252.166
AT ITER 1664 NEW BEST:: SOT 4184394 SOS 2755619 HAS SOPS 2674931 HAS SOUS 547047 HAS SOUPS 533655 WITH SCORE 536410.619
AT ITER 1668 NEW BEST:: SOT 4188018 SOS 2746675 HAS SOPS 2664424 HAS SOUS 533933 HAS SOUPS 520793 WITH SCORE 523539.675
AT ITER 1670 NEW BEST:: SOT 4188018 SOS 2746622 HAS SOPS 2664318 HAS SOUS 533827 HAS SOUPS 520687 WITH SCORE 523433.622
AT ITER 1675 NEW BEST:: SOT 4168655 SOS 2728155 HAS SOPS 2644728 HAS SOUS 530776 HAS SOUPS 517474 WITH SCORE 520202.155
AT ITER 1681 NEW BEST:: SOT 4169418 SOS 2728595 HAS SOPS 2645491 HAS SOUS 529362 HAS SOUPS 516085 WITH SCORE 518813.595
AT ITER 1682 NEW BEST:: SOT 4169418 SOS 2727740 HAS SOPS 2644574 HAS SOUS 529274 HAS SOUPS 515997 WITH SCORE 518724.74
AT ITER 1685 NEW BEST:: SOT 4169418 SOS 2727740 HAS SOPS 2644426 HAS SOUS 528978 HAS SOUPS 515701 WITH SCORE 518428.74
AT ITER 1689 NEW BEST:: SOT 4174485 SOS 2731726 HAS SOPS 2650671 HAS SOUS 522093 HAS SOUPS 508959 WITH SCORE 511690.726
AT ITER 1705 NEW BEST:: SOT 4174485 SOS 2731627 HAS SOPS 2650490 HAS SOUS 521975 HAS SOUPS 508795 WITH SCORE 511526.627
AT ITER 1709 NEW BEST:: SOT 4174473 SOS 2731365 HAS SOPS 2649478 HAS SOUS 521193 HAS SOUPS 508013 WITH SCORE 510744.365
AT ITER 1710 NEW BEST:: SOT 4174473 SOS 2729749 HAS SOPS 2647878 HAS SOUS 521177 HAS SOUPS 508013 WITH SCORE 510742.749
AT ITER 1712 NEW BEST:: SOT 4174385 SOS 2729661 HAS SOPS 2647790 HAS SOUS 521089 HAS SOUPS 507925 WITH SCORE 510654.661
AT ITER 1720 NEW BEST:: SOT 4174355 SOS 2729631 HAS SOPS 2647760 HAS SOUS 521059 HAS SOUPS 507895 WITH SCORE 510624.631
AT ITER 1722 NEW BEST:: SOT 4174355 SOS 2729631 HAS SOPS 2647744 HAS SOUS 521043 HAS SOUPS 507863 WITH SCORE 510592.631
AT ITER 1726 NEW BEST:: SOT 4174355 SOS 2726809 HAS SOPS 2644950 HAS SOUS 521019 HAS SOUPS 507863 WITH SCORE 510589.809
AT ITER 1727 NEW BEST:: SOT 4173234 SOS 2725688 HAS SOPS 2643736 HAS SOUS 519712 HAS SOUPS 506556 WITH SCORE 509281.688
AT ITER 1739 NEW BEST:: SOT 4173234 SOS 2720155 HAS SOPS 2638177 HAS SOUS 519572 HAS SOUPS 506416 WITH SCORE 509136.155
AT ITER 1748 NEW BEST:: SOT 4173234 SOS 2708373 HAS SOPS 2626323 HAS SOUS 519328 HAS SOUPS 506182 WITH SCORE 508890.373
AT ITER 1753 NEW BEST:: SOT 4173234 SOS 2719666 HAS SOPS 2637489 HAS SOUS 519571 HAS SOUPS 506133 WITH SCORE 508852.666
AT ITER 1757 NEW BEST:: SOT 4173234 SOS 2718825 HAS SOPS 2636609 HAS SOUS 519444 HAS SOUPS 506006 WITH SCORE 508724.825
AT ITER 1759 NEW BEST:: SOT 4173234 SOS 2718367 HAS SOPS 2635522 HAS SOUS 518704 HAS SOUPS 505317 WITH SCORE 508035.367
AT ITER 1778 NEW BEST:: SOT 4171942 SOS 2716609 HAS SOPS 2633399 HAS SOUS 517008 HAS SOUPS 503621 WITH SCORE 506337.609
AT ITER 1782 NEW BEST:: SOT 4171942 SOS 2715610 HAS SOPS 2632399 HAS SOUS 516987 HAS SOUPS 503600 WITH SCORE 506315.61
AT ITER 1790 NEW BEST:: SOT 4171809 SOS 2709450 HAS SOPS 2624973 HAS SOUS 515423 HAS SOUPS 502036 WITH SCORE 504745.45
AT ITER 1791 NEW BEST:: SOT 4171809 SOS 2709066 HAS SOPS 2624246 HAS SOUS 515414 HAS SOUPS 501858 WITH SCORE 504567.066
AT ITER 1804 NEW BEST:: SOT 4171809 SOS 2708992 HAS SOPS 2624044 HAS SOUS 515282 HAS SOUPS 501726 WITH SCORE 504434.992
AT ITER 1807 NEW BEST:: SOT 4171863 SOS 2709046 HAS SOPS 2624064 HAS SOUS 515302 HAS SOUPS 501712 WITH SCORE 504421.046
AT ITER 1811 NEW BEST:: SOT 4171863 SOS 2704901 HAS SOPS 2619919 HAS SOUS 515175 HAS SOUPS 501630 WITH SCORE 504334.901
AT ITER 1818 NEW BEST:: SOT 4171452 SOS 2702876 HAS SOPS 2614368 HAS SOUS 511363 HAS SOUPS 497591 WITH SCORE 500293.876
AT ITER 1858 NEW BEST:: SOT 4171452 SOS 2702876 HAS SOPS 2614364 HAS SOUS 511359 HAS SOUPS 497583 WITH SCORE 500285.876
AT ITER 1859 NEW BEST:: SOT 4171452 SOS 2702276 HAS SOPS 2613758 HAS SOUS 511341 HAS SOUPS 497565 WITH SCORE 500267.276
AT ITER 1860 NEW BEST:: SOT 4171452 SOS 2702276 HAS SOPS 2613746 HAS SOUS 511329 HAS SOUPS 497541 WITH SCORE 500243.276
AT ITER 1865 NEW BEST:: SOT 4158850 SOS 2690926 HAS SOPS 2601144 HAS SOUS 510575 HAS SOUPS 496656 WITH SCORE 499346.926
AT ITER 1872 NEW BEST:: SOT 4158850 SOS 2690226 HAS SOPS 2600444 HAS SOUS 510561 HAS SOUPS 496642 WITH SCORE 499332.226
AT ITER 1884 NEW BEST:: SOT 4158781 SOS 2690263 HAS SOPS 2600456 HAS SOUS 510574 HAS SOUPS 496523 WITH SCORE 499213.263
AT ITER 1891 NEW BEST:: SOT 4158781 SOS 2690265 HAS SOPS 2600456 HAS SOUS 510574 HAS SOUPS 496521 WITH SCORE 499211.265
AT ITER 1896 NEW BEST:: SOT 4158781 SOS 2687740 HAS SOPS 2597953 HAS SOUS 510546 HAS SOUPS 496515 WITH SCORE 499202.74
AT ITER 1898 NEW BEST:: SOT 4158781 SOS 2685587 HAS SOPS 2595782 HAS SOUS 510484 HAS SOUPS 496504 WITH SCORE 499189.587
AT ITER 1908 NEW BEST:: SOT 4158781 SOS 2681870 HAS SOPS 2592053 HAS SOUS 510369 HAS SOUPS 496426 WITH SCORE 499107.87
AT ITER 1913 NEW BEST:: SOT 4155024 SOS 2678155 HAS SOPS 2588272 HAS SOUS 508922 HAS SOUPS 494955 WITH SCORE 497633.155
AT ITER 1918 NEW BEST:: SOT 4155024 SOS 2675383 HAS SOPS 2585496 HAS SOUS 508865 HAS SOUPS 494923 WITH SCORE 497598.383
AT ITER 1921 NEW BEST:: SOT 4155992 SOS 2655585 HAS SOPS 2559481 HAS SOUS 503093 HAS SOUPS 489151 WITH SCORE 491806.585
AT ITER 1940 NEW BEST:: SOT 4163539 SOS 2662382 HAS SOPS 2567028 HAS SOUS 502190 HAS SOUPS 488340 WITH SCORE 491002.382
AT ITER 1943 NEW BEST:: SOT 4163539 SOS 2662382 HAS SOPS 2566987 HAS SOUS 502149 HAS SOUPS 488258 WITH SCORE 490920.382
AT ITER 1946 NEW BEST:: SOT 4163539 SOS 2660926 HAS SOPS 2565497 HAS SOUS 502129 HAS SOUPS 488175 WITH SCORE 490835.926
AT ITER 1947 NEW BEST:: SOT 4160581 SOS 2662704 HAS SOPS 2567382 HAS SOUS 499374 HAS SOUPS 485420 WITH SCORE 488082.704
AT ITER 1955 NEW BEST:: SOT 4160581 SOS 2658322 HAS SOPS 2562647 HAS SOUS 498912 HAS SOUPS 484886 WITH SCORE 487544.322
AT ITER 1973 NEW BEST:: SOT 4160581 SOS 2657926 HAS SOPS 2562251 HAS SOUS 498904 HAS SOUPS 484882 WITH SCORE 487539.926
AT ITER 1974 NEW BEST:: SOT 4160564 SOS 2658109 HAS SOPS 2562335 HAS SOUS 499013 HAS SOUPS 484667 WITH SCORE 487325.109
AT ITER 1981 NEW BEST:: SOT 4160564 SOS 2659378 HAS SOPS 2563536 HAS SOUS 498927 HAS SOUPS 484557 WITH SCORE 487216.378
AT ITER 1986 NEW BEST:: SOT 4160562 SOS 2659376 HAS SOPS 2563534 HAS SOUS 498925 HAS SOUPS 484555 WITH SCORE 487214.376
AT ITER 1987 NEW BEST:: SOT 4160562 SOS 2657000 HAS SOPS 2561134 HAS SOUS 498853 HAS SOUPS 484483 WITH SCORE 487140.0
AT ITER 1994 NEW BEST:: SOT 4160562 SOS 2655586 HAS SOPS 2559734 HAS SOUS 498853 HAS SOUPS 484483 WITH SCORE 487138.586
AT ITER 2009 NEW BEST:: SOT 4160562 SOS 2654486 HAS SOPS 2558623 HAS SOUS 498800 HAS SOUPS 484450 WITH SCORE 487104.486
AT ITER 2013 NEW BEST:: SOT 4160562 SOS 2654476 HAS SOPS 2558584 HAS SOUS 498754 HAS SOUPS 484392 WITH SCORE 487046.476
AT ITER 2018 NEW BEST:: SOT 4160562 SOS 2653508 HAS SOPS 2557584 HAS SOUS 498702 HAS SOUPS 484340 WITH SCORE 486993.508
AT ITER 2031 NEW BEST:: SOT 4160562 SOS 2653308 HAS SOPS 2557384 HAS SOUS 498706 HAS SOUPS 484338 WITH SCORE 486991.308
AT ITER 2036 NEW BEST:: SOT 4160562 SOS 2653200 HAS SOPS 2557102 HAS SOUS 498424 HAS SOUPS 484056 WITH SCORE 486709.2
AT ITER 2038 NEW BEST:: SOT 4160562 SOS 2646910 HAS SOPS 2550739 HAS SOUS 498225 HAS SOUPS 483857 WITH SCORE 486503.91
AT ITER 2044 NEW BEST:: SOT 4151155 SOS 2636576 HAS SOPS 2536092 HAS SOUS 494162 HAS SOUPS 479729 WITH SCORE 482365.576
AT ITER 2052 NEW BEST:: SOT 4151176 SOS 2636597 HAS SOPS 2536083 HAS SOUS 494153 HAS SOUPS 479690 WITH SCORE 482326.597
AT ITER 2053 NEW BEST:: SOT 4151098 SOS 2632243 HAS SOPS 2531757 HAS SOUS 493808 HAS SOUPS 479625 WITH SCORE 482257.243
AT ITER 2076 NEW BEST:: SOT 4149883 SOS 2642885 HAS SOPS 2542779 HAS SOUS 493238 HAS SOUPS 479147 WITH SCORE 481789.885
AT ITER 2086 NEW BEST:: SOT 4149883 SOS 2630909 HAS SOPS 2530578 HAS SOUS 492650 HAS SOUPS 478700 WITH SCORE 481330.909
AT ITER 2088 NEW BEST:: SOT 4149883 SOS 2630795 HAS SOPS 2530464 HAS SOUS 492536 HAS SOUPS 478586 WITH SCORE 481216.795
AT ITER 2096 NEW BEST:: SOT 4149883 SOS 2630795 HAS SOPS 2530454 HAS SOUS 492526 HAS SOUPS 478566 WITH SCORE 481196.795
AT ITER 2097 NEW BEST:: SOT 4154893 SOS 2634193 HAS SOPS 2535464 HAS SOUS 486048 HAS SOUPS 472219 WITH SCORE 474853.193
AT ITER 2107 NEW BEST:: SOT 4161316 SOS 2639493 HAS SOPS 2541978 HAS SOUS 484676 HAS SOUPS 470938 WITH SCORE 473577.493
AT ITER 2109 NEW BEST:: SOT 4161316 SOS 2628719 HAS SOPS 2529698 HAS SOUS 482924 HAS SOUPS 469186 WITH SCORE 471814.719
AT ITER 2112 NEW BEST:: SOT 4161316 SOS 2628128 HAS SOPS 2528815 HAS SOUS 482533 HAS SOUPS 468878 WITH SCORE 471506.128
AT ITER 2130 NEW BEST:: SOT 4161316 SOS 2638958 HAS SOPS 2539498 HAS SOUS 482623 HAS SOUPS 468821 WITH SCORE 471459.958
AT ITER 2131 NEW BEST:: SOT 4161316 SOS 2639007 HAS SOPS 2539544 HAS SOUS 482620 HAS SOUPS 468818 WITH SCORE 471457.007
AT ITER 2140 NEW BEST:: SOT 4161316 SOS 2639035 HAS SOPS 2539544 HAS SOUS 482620 HAS SOUPS 468790 WITH SCORE 471429.035
AT ITER 2153 NEW BEST:: SOT 4161316 SOS 2638872 HAS SOPS 2539149 HAS SOUS 482156 HAS SOUPS 468326 WITH SCORE 470964.872
AT ITER 2159 NEW BEST:: SOT 4161316 SOS 2650138 HAS SOPS 2550184 HAS SOUS 482149 HAS SOUPS 468042 WITH SCORE 470692.138
AT ITER 2182 NEW BEST:: SOT 4161234 SOS 2650056 HAS SOPS 2550084 HAS SOUS 482049 HAS SOUPS 467924 WITH SCORE 470574.056
AT ITER 2184 NEW BEST:: SOT 4161234 SOS 2646218 HAS SOPS 2546284 HAS SOUS 482011 HAS SOUPS 467924 WITH SCORE 470570.218
AT ITER 2186 NEW BEST:: SOT 4161234 SOS 2645518 HAS SOPS 2545577 HAS SOUS 481990 HAS SOUPS 467903 WITH SCORE 470548.518
AT ITER 2189 NEW BEST:: SOT 4161486 SOS 2645904 HAS SOPS 2546129 HAS SOUS 481714 HAS SOUPS 467634 WITH SCORE 470279.904
AT ITER 2191 NEW BEST:: SOT 4161407 SOS 2645825 HAS SOPS 2546045 HAS SOUS 481630 HAS SOUPS 467545 WITH SCORE 470190.825
AT ITER 2196 NEW BEST:: SOT 4156311 SOS 2640871 HAS SOPS 2540949 HAS SOUS 479692 HAS SOUPS 465574 WITH SCORE 468214.871
AT ITER 2201 NEW BEST:: SOT 4156311 SOS 2640856 HAS SOPS 2540821 HAS SOUS 479559 HAS SOUPS 465441 WITH SCORE 468081.856
AT ITER 2206 NEW BEST:: SOT 4156311 SOS 2636827 HAS SOPS 2536762 HAS SOUS 479488 HAS SOUPS 465370 WITH SCORE 468006.827
AT ITER 2212 NEW BEST:: SOT 4162717 SOS 2642286 HAS SOPS 2543168 HAS SOUS 479276 HAS SOUPS 465199 WITH SCORE 467841.286
AT ITER 2236 NEW BEST:: SOT 4162717 SOS 2642186 HAS SOPS 2543068 HAS SOUS 479274 HAS SOUPS 465197 WITH SCORE 467839.186
AT ITER 2238 NEW BEST:: SOT 4162687 SOS 2642156 HAS SOPS 2543038 HAS SOUS 479244 HAS SOUPS 465167 WITH SCORE 467809.156
AT ITER 2247 NEW BEST:: SOT 4156885 SOS 2635127 HAS SOPS 2532691 HAS SOUS 474534 HAS SOUPS 460412 WITH SCORE 463047.127
AT ITER 2259 NEW BEST:: SOT 4158783 SOS 2636764 HAS SOPS 2534589 HAS SOUS 474493 HAS SOUPS 460393 WITH SCORE 463029.764
AT ITER 2262 NEW BEST:: SOT 4158783 SOS 2636364 HAS SOPS 2534185 HAS SOUS 474481 HAS SOUPS 460381 WITH SCORE 463017.364
AT ITER 2265 NEW BEST:: SOT 4162106 SOS 2638873 HAS SOPS 2537508 HAS SOUS 473118 HAS SOUPS 459073 WITH SCORE 461711.873
AT ITER 2269 NEW BEST:: SOT 4162056 SOS 2645368 HAS SOPS 2543781 HAS SOUS 472758 HAS SOUPS 458713 WITH SCORE 461358.368
AT ITER 2271 NEW BEST:: SOT 4162056 SOS 2643883 HAS SOPS 2542281 HAS SOUS 472713 HAS SOUPS 458683 WITH SCORE 461326.883
AT ITER 2278 NEW BEST:: SOT 4162056 SOS 2638863 HAS SOPS 2537257 HAS SOUS 472585 HAS SOUPS 458579 WITH SCORE 461217.863
AT ITER 2279 NEW BEST:: SOT 4162056 SOS 2638839 HAS SOPS 2537191 HAS SOUS 472501 HAS SOUPS 458495 WITH SCORE 461133.839
AT ITER 2282 NEW BEST:: SOT 4160438 SOS 2637395 HAS SOPS 2535557 HAS SOUS 472293 HAS SOUPS 458255 WITH SCORE 460892.395
AT ITER 2283 NEW BEST:: SOT 4159477 SOS 2639998 HAS SOPS 2538195 HAS SOUS 471501 HAS SOUPS 457463 WITH SCORE 460102.998
AT ITER 2285 NEW BEST:: SOT 4156756 SOS 2637307 HAS SOPS 2535446 HAS SOUS 470310 HAS SOUPS 456252 WITH SCORE 458889.307
AT ITER 2290 NEW BEST:: SOT 4156756 SOS 2636614 HAS SOPS 2534722 HAS SOUS 470248 HAS SOUPS 456190 WITH SCORE 458826.614
AT ITER 2313 NEW BEST:: SOT 4156761 SOS 2636475 HAS SOPS 2538191 HAS SOUS 465316 HAS SOUPS 451258 WITH SCORE 453894.475
AT ITER 2320 NEW BEST:: SOT 4156761 SOS 2636540 HAS SOPS 2538220 HAS SOUS 465277 HAS SOUPS 451188 WITH SCORE 453824.54
AT ITER 2323 NEW BEST:: SOT 4156761 SOS 2636540 HAS SOPS 2538217 HAS SOUS 465274 HAS SOUPS 451182 WITH SCORE 453818.54
AT ITER 2335 NEW BEST:: SOT 4156761 SOS 2632690 HAS SOPS 2534367 HAS SOUS 465197 HAS SOUPS 451094 WITH SCORE 453726.69
AT ITER 2338 NEW BEST:: SOT 4156748 SOS 2632677 HAS SOPS 2534354 HAS SOUS 465112 HAS SOUPS 451081 WITH SCORE 453713.677
AT ITER 2340 NEW BEST:: SOT 4156748 SOS 2636177 HAS SOPS 2537788 HAS SOUS 465116 HAS SOUPS 451050 WITH SCORE 453686.177
AT ITER 2344 NEW BEST:: SOT 4155973 SOS 2635402 HAS SOPS 2536900 HAS SOUS 464228 HAS SOUPS 450049 WITH SCORE 452684.402
AT ITER 2345 NEW BEST:: SOT 4147832 SOS 2626913 HAS SOPS 2526859 HAS SOUS 460197 HAS SOUPS 445961 WITH SCORE 448587.913
AT ITER 2354 NEW BEST:: SOT 4147832 SOS 2633882 HAS SOPS 2533753 HAS SOUS 460335 HAS SOUPS 445949 WITH SCORE 448582.882
AT ITER 2361 NEW BEST:: SOT 4147832 SOS 2633882 HAS SOPS 2533730 HAS SOUS 460312 HAS SOUPS 445903 WITH SCORE 448536.882
AT ITER 2367 NEW BEST:: SOT 4147832 SOS 2633882 HAS SOPS 2533698 HAS SOUS 460280 HAS SOUPS 445839 WITH SCORE 448472.882
AT ITER 2379 NEW BEST:: SOT 4145262 SOS 2649940 HAS SOPS 2550185 HAS SOUS 458584 HAS SOUPS 444143 WITH SCORE 446792.94
AT ITER 2403 NEW BEST:: SOT 4145262 SOS 2649306 HAS SOPS 2549492 HAS SOUS 458518 HAS SOUPS 444077 WITH SCORE 446726.306
AT ITER 2406 NEW BEST:: SOT 4154609 SOS 2657209 HAS SOPS 2558839 HAS SOUS 457809 HAS SOUPS 443483 WITH SCORE 446140.209
AT ITER 2410 NEW BEST:: SOT 4154609 SOS 2657183 HAS SOPS 2558762 HAS SOUS 457707 HAS SOUPS 443381 WITH SCORE 446038.183
AT ITER 2425 NEW BEST:: SOT 4154609 SOS 2649750 HAS SOPS 2551187 HAS SOUS 457415 HAS SOUPS 443089 WITH SCORE 445738.75
AT ITER 2428 NEW BEST:: SOT 4155379 SOS 2650419 HAS SOPS 2551957 HAS SOUS 457386 HAS SOUPS 443069 WITH SCORE 445719.419
AT ITER 2432 NEW BEST:: SOT 4155379 SOS 2639735 HAS SOPS 2541370 HAS SOUS 457392 HAS SOUPS 443075 WITH SCORE 445714.735
AT ITER 2439 NEW BEST:: SOT 4153794 SOS 2638089 HAS SOPS 2539385 HAS SOUS 455460 HAS SOUPS 441143 WITH SCORE 443781.089
AT ITER 2440 NEW BEST:: SOT 4153794 SOS 2637764 HAS SOPS 2539060 HAS SOUS 455432 HAS SOUPS 441115 WITH SCORE 443752.764
AT ITER 2446 NEW BEST:: SOT 4154782 SOS 2638368 HAS SOPS 2540055 HAS SOUS 454411 HAS SOUPS 440125 WITH SCORE 442763.368
AT ITER 2454 NEW BEST:: SOT 4154762 SOS 2638348 HAS SOPS 2540035 HAS SOUS 454391 HAS SOUPS 440105 WITH SCORE 442743.348
AT ITER 2456 NEW BEST:: SOT 4154762 SOS 2634409 HAS SOPS 2536096 HAS SOUS 454267 HAS SOUPS 440027 WITH SCORE 442661.409
AT ITER 2458 NEW BEST:: SOT 4154762 SOS 2634408 HAS SOPS 2536095 HAS SOUS 454266 HAS SOUPS 440026 WITH SCORE 442660.408
AT ITER 2482 NEW BEST:: SOT 4156496 SOS 2634873 HAS SOPS 2537829 HAS SOUS 450169 HAS SOUPS 436000 WITH SCORE 438634.873
AT ITER 2485 NEW BEST:: SOT 4156496 SOS 2631027 HAS SOPS 2533929 HAS SOUS 450076 HAS SOUPS 435907 WITH SCORE 438538.027
AT ITER 2492 NEW BEST:: SOT 4156496 SOS 2630739 HAS SOPS 2533629 HAS SOUS 450058 HAS SOUPS 435889 WITH SCORE 438519.739
AT ITER 2512 NEW BEST:: SOT 4156361 SOS 2630604 HAS SOPS 2533494 HAS SOUS 449923 HAS SOUPS 435754 WITH SCORE 438384.604
AT ITER 2522 NEW BEST:: SOT 4156361 SOS 2625251 HAS SOPS 2528194 HAS SOUS 449870 HAS SOUPS 435754 WITH SCORE 438379.251
AT ITER 2530 NEW BEST:: SOT 4156361 SOS 2625048 HAS SOPS 2527991 HAS SOUS 449866 HAS SOUPS 435750 WITH SCORE 438375.048
AT ITER 2545 NEW BEST:: SOT 4156330 SOS 2624906 HAS SOPS 2527833 HAS SOUS 449708 HAS SOUPS 435665 WITH SCORE 438289.906
AT ITER 2546 NEW BEST:: SOT 4162175 SOS 2629695 HAS SOPS 2533678 HAS SOUS 448609 HAS SOUPS 434646 WITH SCORE 437275.695
AT ITER 2568 NEW BEST:: SOT 4162030 SOS 2629238 HAS SOPS 2533039 HAS SOUS 447937 HAS SOUPS 434137 WITH SCORE 436766.238
AT ITER 2580 NEW BEST:: SOT 4161922 SOS 2629130 HAS SOPS 2532931 HAS SOUS 447829 HAS SOUPS 434029 WITH SCORE 436658.13
AT ITER 2596 NEW BEST:: SOT 4162016 SOS 2631646 HAS SOPS 2536459 HAS SOUS 445637 HAS SOUPS 431837 WITH SCORE 434468.646
AT ITER 2599 NEW BEST:: SOT 4162016 SOS 2640297 HAS SOPS 2545014 HAS SOUS 445617 HAS SOUPS 431817 WITH SCORE 434457.297
AT ITER 2601 NEW BEST:: SOT 4162016 SOS 2638680 HAS SOPS 2543403 HAS SOUS 445581 HAS SOUPS 431796 WITH SCORE 434434.68
AT ITER 2606 NEW BEST:: SOT 4162052 SOS 2639292 HAS SOPS 2544239 HAS SOUS 445057 HAS SOUPS 431280 WITH SCORE 433919.292
AT ITER 2608 NEW BEST:: SOT 4162052 SOS 2637015 HAS SOPS 2541962 HAS SOUS 445034 HAS SOUPS 431257 WITH SCORE 433894.015
AT ITER 2610 NEW BEST:: SOT 4162596 SOS 2637407 HAS SOPS 2542506 HAS SOUS 444730 HAS SOUPS 430963 WITH SCORE 433600.407
AT ITER 2622 NEW BEST:: SOT 4162596 SOS 2638410 HAS SOPS 2543477 HAS SOUS 444750 HAS SOUPS 430912 WITH SCORE 433550.41
AT ITER 2650 NEW BEST:: SOT 4162596 SOS 2624908 HAS SOPS 2530067 HAS SOUS 444666 HAS SOUPS 430828 WITH SCORE 433452.908
AT ITER 2657 NEW BEST:: SOT 4162596 SOS 2624908 HAS SOPS 2530059 HAS SOUS 444658 HAS SOUPS 430820 WITH SCORE 433444.908
AT ITER 2661 NEW BEST:: SOT 4162596 SOS 2624908 HAS SOPS 2530044 HAS SOUS 444643 HAS SOUPS 430790 WITH SCORE 433414.908
AT ITER 2666 NEW BEST:: SOT 4162596 SOS 2629637 HAS SOPS 2534702 HAS SOUS 444597 HAS SOUPS 430744 WITH SCORE 433373.637
AT ITER 2667 NEW BEST:: SOT 4162596 SOS 2626143 HAS SOPS 2531202 HAS SOUS 444521 HAS SOUPS 430668 WITH SCORE 433294.143
AT ITER 2669 NEW BEST:: SOT 4162596 SOS 2626143 HAS SOPS 2531167 HAS SOUS 444503 HAS SOUPS 430598 WITH SCORE 433224.143
AT ITER 2674 NEW BEST:: SOT 4162596 SOS 2633671 HAS SOPS 2538536 HAS SOUS 444603 HAS SOUPS 430482 WITH SCORE 433115.671
AT ITER 2679 NEW BEST:: SOT 4162596 SOS 2633671 HAS SOPS 2538463 HAS SOUS 444602 HAS SOUPS 430336 WITH SCORE 432969.671
AT ITER 2686 NEW BEST:: SOT 4162596 SOS 2630237 HAS SOPS 2535064 HAS SOUS 444569 HAS SOUPS 430338 WITH SCORE 432968.237
AT ITER 2691 NEW BEST:: SOT 4164106 SOS 2634930 HAS SOPS 2541220 HAS SOUS 443034 HAS SOUPS 428849 WITH SCORE 431483.93
AT ITER 2697 NEW BEST:: SOT 4165000 SOS 2635331 HAS SOPS 2542146 HAS SOUS 441253 HAS SOUPS 427132 WITH SCORE 429767.331
AT ITER 2702 NEW BEST:: SOT 4164826 SOS 2635157 HAS SOPS 2541972 HAS SOUS 441079 HAS SOUPS 426958 WITH SCORE 429593.157
AT ITER 2703 NEW BEST:: SOT 4169006 SOS 2639126 HAS SOPS 2546252 HAS SOUS 440972 HAS SOUPS 426897 WITH SCORE 429536.126
AT ITER 2713 NEW BEST:: SOT 4168955 SOS 2639124 HAS SOPS 2546205 HAS SOUS 440880 HAS SOUPS 426768 WITH SCORE 429407.124
AT ITER 2714 NEW BEST:: SOT 4161860 SOS 2632244 HAS SOPS 2539110 HAS SOUS 438070 HAS SOUPS 423913 WITH SCORE 426545.244
AT ITER 2725 NEW BEST:: SOT 4162302 SOS 2622010 HAS SOPS 2527864 HAS SOUS 437278 HAS SOUPS 423121 WITH SCORE 425743.01
AT ITER 2732 NEW BEST:: SOT 4162302 SOS 2622010 HAS SOPS 2527841 HAS SOUS 437255 HAS SOUPS 423075 WITH SCORE 425697.01
AT ITER 2743 NEW BEST:: SOT 4162302 SOS 2615365 HAS SOPS 2520611 HAS SOUS 436526 HAS SOUPS 422388 WITH SCORE 425003.365
AT ITER 2753 NEW BEST:: SOT 4162302 SOS 2614665 HAS SOPS 2519904 HAS SOUS 436512 HAS SOUPS 422367 WITH SCORE 424981.665
AT ITER 2782 NEW BEST:: SOT 4162865 SOS 2614191 HAS SOPS 2520467 HAS SOUS 433312 HAS SOUPS 419215 WITH SCORE 421829.191
AT ITER 2786 NEW BEST:: SOT 4163251 SOS 2615777 HAS SOPS 2522553 HAS SOUS 432232 HAS SOUPS 418155 WITH SCORE 420770.777
AT ITER 2793 NEW BEST:: SOT 4163251 SOS 2611460 HAS SOPS 2518236 HAS SOUS 432150 HAS SOUPS 418069 WITH SCORE 420680.46
AT ITER 2794 NEW BEST:: SOT 4163251 SOS 2615677 HAS SOPS 2522364 HAS SOUS 432130 HAS SOUPS 418049 WITH SCORE 420664.677
AT ITER 2800 NEW BEST:: SOT 4163251 SOS 2615677 HAS SOPS 2522343 HAS SOUS 432109 HAS SOUPS 418007 WITH SCORE 420622.677
AT ITER 2809 NEW BEST:: SOT 4163239 SOS 2615707 HAS SOPS 2522370 HAS SOUS 432149 HAS SOUPS 417989 WITH SCORE 420604.707
AT ITER 2822 NEW BEST:: SOT 4163169 SOS 2615625 HAS SOPS 2522288 HAS SOUS 432067 HAS SOUPS 417907 WITH SCORE 420522.625
AT ITER 2824 NEW BEST:: SOT 4163169 SOS 2615718 HAS SOPS 2522219 HAS SOUS 431998 HAS SOUPS 417676 WITH SCORE 420291.718
AT ITER 2845 NEW BEST:: SOT 4168294 SOS 2620656 HAS SOPS 2527344 HAS SOUS 430624 HAS SOUPS 416355 WITH SCORE 418975.656
AT ITER 2847 NEW BEST:: SOT 4168294 SOS 2623034 HAS SOPS 2529676 HAS SOUS 430626 HAS SOUPS 416311 WITH SCORE 418934.034
AT ITER 2850 NEW BEST:: SOT 4169424 SOS 2629634 HAS SOPS 2538280 HAS SOUS 426582 HAS SOUPS 412267 WITH SCORE 414896.634
AT ITER 2855 NEW BEST:: SOT 4163059 SOS 2623954 HAS SOPS 2531915 HAS SOUS 425932 HAS SOUPS 411553 WITH SCORE 414176.954
AT ITER 2859 NEW BEST:: SOT 4163059 SOS 2622964 HAS SOPS 2530878 HAS SOUS 425865 HAS SOUPS 411459 WITH SCORE 414081.964
AT ITER 2866 NEW BEST:: SOT 4163073 SOS 2622885 HAS SOPS 2530799 HAS SOUS 425786 HAS SOUPS 411380 WITH SCORE 414002.885
AT ITER 2874 NEW BEST:: SOT 4157922 SOS 2617711 HAS SOPS 2524948 HAS SOUS 424141 HAS SOUPS 409696 WITH SCORE 412313.711
AT ITER 2877 NEW BEST:: SOT 4157922 SOS 2615858 HAS SOPS 2523048 HAS SOUS 424056 HAS SOUPS 409611 WITH SCORE 412226.858
AT ITER 2888 NEW BEST:: SOT 4157922 SOS 2608557 HAS SOPS 2515789 HAS SOUS 423993 HAS SOUPS 409580 WITH SCORE 412188.557
AT ITER 2889 NEW BEST:: SOT 4157870 SOS 2608505 HAS SOPS 2515737 HAS SOUS 423941 HAS SOUPS 409528 WITH SCORE 412136.505
AT ITER 2890 NEW BEST:: SOT 4157870 SOS 2608473 HAS SOPS 2515628 HAS SOUS 423772 HAS SOUPS 409374 WITH SCORE 411982.473
AT ITER 2898 NEW BEST:: SOT 4157870 SOS 2608473 HAS SOPS 2515583 HAS SOUS 423727 HAS SOUPS 409284 WITH SCORE 411892.473
AT ITER 2900 NEW BEST:: SOT 4158156 SOS 2608583 HAS SOPS 2515869 HAS SOUS 423089 HAS SOUPS 408657 WITH SCORE 411265.583
AT ITER 2913 NEW BEST:: SOT 4158156 SOS 2608582 HAS SOPS 2515867 HAS SOUS 423087 HAS SOUPS 408655 WITH SCORE 411263.582
AT ITER 2924 NEW BEST:: SOT 4158156 SOS 2608501 HAS SOPS 2515784 HAS SOUS 423004 HAS SOUPS 408651 WITH SCORE 411259.501
AT ITER 2939 NEW BEST:: SOT 4158156 SOS 2607996 HAS SOPS 2515279 HAS SOUS 422994 HAS SOUPS 408641 WITH SCORE 411248.996
AT ITER 2947 NEW BEST:: SOT 4158156 SOS 2602268 HAS SOPS 2509551 HAS SOUS 422852 HAS SOUPS 408556 WITH SCORE 411158.268
AT ITER 2948 NEW BEST:: SOT 4158156 SOS 2602238 HAS SOPS 2509433 HAS SOUS 422716 HAS SOUPS 408380 WITH SCORE 410982.238
AT ITER 2971 NEW BEST:: SOT 4158156 SOS 2611249 HAS SOPS 2518304 HAS SOUS 422841 HAS SOUPS 408300 WITH SCORE 410911.249
AT ITER 2973 NEW BEST:: SOT 4158156 SOS 2611249 HAS SOPS 2518293 HAS SOUS 422830 HAS SOUPS 408278 WITH SCORE 410889.249
AT ITER 2980 NEW BEST:: SOT 4157490 SOS 2610583 HAS SOPS 2517616 HAS SOUS 422153 HAS SOUPS 407590 WITH SCORE 410200.583
AT ITER 2988 NEW BEST:: SOT 4157490 SOS 2610773 HAS SOPS 2517789 HAS SOUS 422145 HAS SOUPS 407548 WITH SCORE 410158.773
AT ITER 2992 NEW BEST:: SOT 4154971 SOS 2608098 HAS SOPS 2514462 HAS SOUS 421037 HAS SOUPS 406440 WITH SCORE 409048.098
AT ITER 3001 NEW BEST:: SOT 4151336 SOS 2604469 HAS SOPS 2510827 HAS SOUS 420666 HAS SOUPS 406063 WITH SCORE 408667.469
AT ITER 3006 NEW BEST:: SOT 4151336 SOS 2604469 HAS SOPS 2510786 HAS SOUS 420713 HAS SOUPS 405981 WITH SCORE 408585.469
AT ITER 3016 NEW BEST:: SOT 4151336 SOS 2604469 HAS SOPS 2510776 HAS SOUS 420703 HAS SOUPS 405961 WITH SCORE 408565.469
AT ITER 3018 NEW BEST:: SOT 4151298 SOS 2603009 HAS SOPS 2508214 HAS SOUS 419507 HAS SOUPS 404765 WITH SCORE 407368.009
AT ITER 3022 NEW BEST:: SOT 4150092 SOS 2611701 HAS SOPS 2516999 HAS SOUS 418683 HAS SOUPS 403850 WITH SCORE 406461.701
AT ITER 3045 NEW BEST:: SOT 4150092 SOS 2610006 HAS SOPS 2515514 HAS SOUS 418667 HAS SOUPS 403850 WITH SCORE 406460.006
AT ITER 3050 NEW BEST:: SOT 4150092 SOS 2608385 HAS SOPS 2513863 HAS SOUS 418605 HAS SOUPS 403788 WITH SCORE 406396.385
AT ITER 3056 NEW BEST:: SOT 4150092 SOS 2615785 HAS SOPS 2521166 HAS SOUS 418654 HAS SOUPS 403742 WITH SCORE 406357.785
AT ITER 3069 NEW BEST:: SOT 4149344 SOS 2616171 HAS SOPS 2521552 HAS SOUS 417928 HAS SOUPS 403016 WITH SCORE 405632.171
AT ITER 3072 NEW BEST:: SOT 4149344 SOS 2615975 HAS SOPS 2521356 HAS SOUS 417924 HAS SOUPS 403016 WITH SCORE 405631.975
AT ITER 3088 NEW BEST:: SOT 4149344 SOS 2613017 HAS SOPS 2518398 HAS SOUS 417780 HAS SOUPS 402958 WITH SCORE 405571.017
AT ITER 3091 NEW BEST:: SOT 4149344 SOS 2611921 HAS SOPS 2517287 HAS SOUS 417671 HAS SOUPS 402921 WITH SCORE 405532.921
AT ITER 3109 NEW BEST:: SOT 4149344 SOS 2612621 HAS SOPS 2517983 HAS SOUS 417691 HAS SOUPS 402920 WITH SCORE 405532.621
AT ITER 3113 NEW BEST:: SOT 4149344 SOS 2612321 HAS SOPS 2517685 HAS SOUS 417687 HAS SOUPS 402918 WITH SCORE 405530.321
AT ITER 3126 NEW BEST:: SOT 4149344 SOS 2612312 HAS SOPS 2517676 HAS SOUS 417678 HAS SOUPS 402918 WITH SCORE 405530.312
AT ITER 3129 NEW BEST:: SOT 4148667 SOS 2611635 HAS SOPS 2516999 HAS SOUS 417001 HAS SOUPS 402241 WITH SCORE 404852.635
AT ITER 3140 NEW BEST:: SOT 4148667 SOS 2613358 HAS SOPS 2518700 HAS SOUS 417022 HAS SOUPS 402237 WITH SCORE 404850.358
AT ITER 3162 NEW BEST:: SOT 4148667 SOS 2612058 HAS SOPS 2517400 HAS SOUS 416996 HAS SOUPS 402211 WITH SCORE 404823.058
AT ITER 3175 NEW BEST:: SOT 4146590 SOS 2610122 HAS SOPS 2515323 HAS SOUS 416378 HAS SOUPS 401577 WITH SCORE 404187.122
AT ITER 3180 NEW BEST:: SOT 4146590 SOS 2610123 HAS SOPS 2515323 HAS SOUS 416377 HAS SOUPS 401576 WITH SCORE 404186.123
AT ITER 3191 NEW BEST:: SOT 4146590 SOS 2610121 HAS SOPS 2515321 HAS SOUS 416375 HAS SOUPS 401574 WITH SCORE 404184.121
AT ITER 3192 NEW BEST:: SOT 4146580 SOS 2610111 HAS SOPS 2515311 HAS SOUS 416365 HAS SOUPS 401564 WITH SCORE 404174.111
AT ITER 3196 NEW BEST:: SOT 4164888 SOS 2628305 HAS SOPS 2536160 HAS SOUS 416019 HAS SOUPS 401407 WITH SCORE 404035.305
AT ITER 3209 NEW BEST:: SOT 4164888 SOS 2628305 HAS SOPS 2536093 HAS SOUS 415952 HAS SOUPS 401273 WITH SCORE 403901.305
AT ITER 3222 NEW BEST:: SOT 4161603 SOS 2625038 HAS SOPS 2532808 HAS SOUS 415732 HAS SOUPS 401039 WITH SCORE 403664.038
AT ITER 3246 NEW BEST:: SOT 4161563 SOS 2624998 HAS SOPS 2532782 HAS SOUS 415706 HAS SOUPS 401027 WITH SCORE 403651.998
AT ITER 3251 NEW BEST:: SOT 4161544 SOS 2624979 HAS SOPS 2532763 HAS SOUS 415687 HAS SOUPS 401008 WITH SCORE 403632.979
AT ITER 3259 NEW BEST:: SOT 4161544 SOS 2624969 HAS SOPS 2532753 HAS SOUS 415687 HAS SOUPS 401008 WITH SCORE 403632.969
AT ITER 3269 NEW BEST:: SOT 4158279 SOS 2620962 HAS SOPS 2525362 HAS SOUS 413030 HAS SOUPS 398336 WITH SCORE 400956.962
AT ITER 3271 NEW BEST:: SOT 4158279 SOS 2620897 HAS SOPS 2525225 HAS SOUS 412893 HAS SOUPS 398199 WITH SCORE 400819.897
AT ITER 3297 NEW BEST:: SOT 4158279 SOS 2620897 HAS SOPS 2525224 HAS SOUS 412892 HAS SOUPS 398197 WITH SCORE 400817.897
AT ITER 3299 NEW BEST:: SOT 4158279 SOS 2621808 HAS SOPS 2526095 HAS SOUS 412881 HAS SOUPS 398137 WITH SCORE 400758.808
AT ITER 3300 NEW BEST:: SOT 4158279 SOS 2618677 HAS SOPS 2522964 HAS SOUS 412819 HAS SOUPS 398075 WITH SCORE 400693.677
AT ITER 3307 NEW BEST:: SOT 4158279 SOS 2621707 HAS SOPS 2525957 HAS SOUS 412842 HAS SOUPS 398061 WITH SCORE 400682.707
AT ITER 3310 NEW BEST:: SOT 4158279 SOS 2617768 HAS SOPS 2522057 HAS SOUS 412764 HAS SOUPS 398061 WITH SCORE 400678.768
AT ITER 3333 NEW BEST:: SOT 4158279 SOS 2617738 HAS SOPS 2522027 HAS SOUS 412734 HAS SOUPS 398031 WITH SCORE 400648.738
AT ITER 3369 NEW BEST:: SOT 4158299 SOS 2617758 HAS SOPS 2521986 HAS SOUS 412693 HAS SOUPS 397929 WITH SCORE 400546.758
AT ITER 3382 NEW BEST:: SOT 4158299 SOS 2616058 HAS SOPS 2520286 HAS SOUS 412659 HAS SOUPS 397895 WITH SCORE 400511.058
AT ITER 3393 NEW BEST:: SOT 4158299 SOS 2615990 HAS SOPS 2520140 HAS SOUS 412608 HAS SOUPS 397739 WITH SCORE 400354.99
AT ITER 3399 NEW BEST:: SOT 4157954 SOS 2615645 HAS SOPS 2519803 HAS SOUS 412271 HAS SOUPS 397410 WITH SCORE 400025.645
AT ITER 3403 NEW BEST:: SOT 4157954 SOS 2613792 HAS SOPS 2517803 HAS SOUS 412084 HAS SOUPS 397223 WITH SCORE 399836.792
AT ITER 3420 NEW BEST:: SOT 4157954 SOS 2613774 HAS SOPS 2517767 HAS SOUS 412048 HAS SOUPS 397187 WITH SCORE 399800.774
AT ITER 3476 NEW BEST:: SOT 4157954 SOS 2613763 HAS SOPS 2517754 HAS SOUS 412035 HAS SOUPS 397183 WITH SCORE 399796.763
AT ITER 3478 NEW BEST:: SOT 4157954 SOS 2613466 HAS SOPS 2517457 HAS SOUS 412035 HAS SOUPS 397183 WITH SCORE 399796.466
AT ITER 3486 NEW BEST:: SOT 4155072 SOS 2610588 HAS SOPS 2514943 HAS SOUS 409297 HAS SOUPS 394934 WITH SCORE 397544.588
AT ITER 3493 NEW BEST:: SOT 4155072 SOS 2616768 HAS SOPS 2521034 HAS SOUS 409339 HAS SOUPS 394880 WITH SCORE 397496.768
AT ITER 3496 NEW BEST:: SOT 4155023 SOS 2616719 HAS SOPS 2520985 HAS SOUS 409290 HAS SOUPS 394831 WITH SCORE 397447.719
AT ITER 3504 NEW BEST:: SOT 4155023 SOS 2616703 HAS SOPS 2520953 HAS SOUS 409258 HAS SOUPS 394799 WITH SCORE 397415.703
AT ITER 3508 NEW BEST:: SOT 4155909 SOS 2616169 HAS SOPS 2522106 HAS SOUS 403742 HAS SOUPS 389422 WITH SCORE 392038.169
AT ITER 3510 NEW BEST:: SOT 4155909 SOS 2615583 HAS SOPS 2518975 HAS SOUS 401193 HAS SOUPS 386815 WITH SCORE 389430.583
AT ITER 3525 NEW BEST:: SOT 4157931 SOS 2616825 HAS SOPS 2520997 HAS SOUS 398995 HAS SOUPS 384667 WITH SCORE 387283.825
AT ITER 3526 NEW BEST:: SOT 4157931 SOS 2607125 HAS SOPS 2511297 HAS SOUS 398833 HAS SOUPS 384570 WITH SCORE 387177.125
AT ITER 3527 NEW BEST:: SOT 4166525 SOS 2619381 HAS SOPS 2526449 HAS SOUS 398453 HAS SOUPS 384310 WITH SCORE 386929.381
AT ITER 3529 NEW BEST:: SOT 4167089 SOS 2619875 HAS SOPS 2525713 HAS SOUS 398991 HAS SOUPS 383618 WITH SCORE 386237.875
AT ITER 3532 NEW BEST:: SOT 4167089 SOS 2619875 HAS SOPS 2525650 HAS SOUS 398928 HAS SOUPS 383555 WITH SCORE 386174.875
AT ITER 3534 NEW BEST:: SOT 4167074 SOS 2619860 HAS SOPS 2525635 HAS SOUS 398913 HAS SOUPS 383540 WITH SCORE 386159.86
AT ITER 3538 NEW BEST:: SOT 4167074 SOS 2619460 HAS SOPS 2525213 HAS SOUS 398883 HAS SOUPS 383492 WITH SCORE 386111.46
AT ITER 3546 NEW BEST:: SOT 4167074 SOS 2617036 HAS SOPS 2522789 HAS SOUS 398835 HAS SOUPS 383444 WITH SCORE 386061.036
AT ITER 3553 NEW BEST:: SOT 4167074 SOS 2617321 HAS SOPS 2523074 HAS SOUS 398826 HAS SOUPS 383435 WITH SCORE 386052.321
AT ITER 3571 NEW BEST:: SOT 4167074 SOS 2615449 HAS SOPS 2521196 HAS SOUS 398801 HAS SOUPS 383410 WITH SCORE 386025.449
AT ITER 3573 NEW BEST:: SOT 4167074 SOS 2615152 HAS SOPS 2520899 HAS SOUS 398801 HAS SOUPS 383410 WITH SCORE 386025.152
AT ITER 3575 NEW BEST:: SOT 4182226 SOS 2641915 HAS SOPS 2554693 HAS SOUS 397152 HAS SOUPS 382061 WITH SCORE 384702.915
AT ITER 3580 NEW BEST:: SOT 4193103 SOS 2651782 HAS SOPS 2565699 HAS SOUS 396268 HAS SOUPS 381435 WITH SCORE 384086.782
AT ITER 3582 NEW BEST:: SOT 4185834 SOS 2644849 HAS SOPS 2558430 HAS SOUS 396262 HAS SOUPS 381354 WITH SCORE 383998.849
AT ITER 3589 NEW BEST:: SOT 4181659 SOS 2657172 HAS SOPS 2570784 HAS SOUS 392575 HAS SOUPS 377538 WITH SCORE 380195.172
AT ITER 3609 NEW BEST:: SOT 4181659 SOS 2651015 HAS SOPS 2564599 HAS SOUS 392302 HAS SOUPS 377265 WITH SCORE 379916.015
AT ITER 3623 NEW BEST:: SOT 4180894 SOS 2650250 HAS SOPS 2563834 HAS SOUS 391537 HAS SOUPS 376500 WITH SCORE 379150.25
AT ITER 3644 NEW BEST:: SOT 4180847 SOS 2650203 HAS SOPS 2563787 HAS SOUS 391490 HAS SOUPS 376453 WITH SCORE 379103.203
AT ITER 3656 NEW BEST:: SOT 4180847 SOS 2648284 HAS SOPS 2561868 HAS SOUS 391403 HAS SOUPS 376415 WITH SCORE 379063.284
AT ITER 3678 NEW BEST:: SOT 4180847 SOS 2648284 HAS SOPS 2561860 HAS SOUS 391395 HAS SOUPS 376399 WITH SCORE 379047.284
AT ITER 3718 NEW BEST:: SOT 4180847 SOS 2643324 HAS SOPS 2556900 HAS SOUS 391297 HAS SOUPS 376301 WITH SCORE 378944.324
AT ITER 3719 NEW BEST:: SOT 4180847 SOS 2642011 HAS SOPS 2555587 HAS SOUS 391302 HAS SOUPS 376275 WITH SCORE 378917.011
AT ITER 3723 NEW BEST:: SOT 4180847 SOS 2647667 HAS SOPS 2561088 HAS SOUS 391334 HAS SOUPS 376077 WITH SCORE 378724.667
AT ITER 3729 NEW BEST:: SOT 4180847 SOS 2647364 HAS SOPS 2560785 HAS SOUS 391325 HAS SOUPS 376071 WITH SCORE 378718.364
AT ITER 3730 NEW BEST:: SOT 4176090 SOS 2642667 HAS SOPS 2556028 HAS SOUS 389208 HAS SOUPS 373927 WITH SCORE 376569.667
AT ITER 3738 NEW BEST:: SOT 4176089 SOS 2642666 HAS SOPS 2556027 HAS SOUS 389207 HAS SOUPS 373926 WITH SCORE 376568.666
AT ITER 3761 NEW BEST:: SOT 4176235 SOS 2637094 HAS SOPS 2549556 HAS SOUS 388393 HAS SOUPS 373112 WITH SCORE 375749.094
AT ITER 3775 NEW BEST:: SOT 4176235 SOS 2635365 HAS SOPS 2547827 HAS SOUS 388330 HAS SOUPS 373078 WITH SCORE 375713.365
AT ITER 3787 NEW BEST:: SOT 4176226 SOS 2635341 HAS SOPS 2547784 HAS SOUS 388287 HAS SOUPS 373031 WITH SCORE 375666.341
AT ITER 3805 NEW BEST:: SOT 4188437 SOS 2645624 HAS SOPS 2560335 HAS SOUS 385936 HAS SOUPS 370850 WITH SCORE 373495.624
AT ITER 3813 NEW BEST:: SOT 4188437 SOS 2645624 HAS SOPS 2560315 HAS SOUS 385916 HAS SOUPS 370810 WITH SCORE 373455.624
AT ITER 3831 NEW BEST:: SOT 4188437 SOS 2650977 HAS SOPS 2565604 HAS SOUS 385958 HAS SOUPS 370788 WITH SCORE 373438.977
AT ITER 3841 NEW BEST:: SOT 4186545 SOS 2649085 HAS SOPS 2563712 HAS SOUS 384066 HAS SOUPS 368896 WITH SCORE 371545.085
AT ITER 3869 NEW BEST:: SOT 4186545 SOS 2648277 HAS SOPS 2562904 HAS SOUS 384037 HAS SOUPS 368880 WITH SCORE 371528.277
AT ITER 3883 NEW BEST:: SOT 4186491 SOS 2648056 HAS SOPS 2562531 HAS SOUS 383664 HAS SOUPS 368507 WITH SCORE 371155.056
AT ITER 3885 NEW BEST:: SOT 4186491 SOS 2644925 HAS SOPS 2559400 HAS SOUS 383602 HAS SOUPS 368445 WITH SCORE 371089.925
AT ITER 3889 NEW BEST:: SOT 4186491 SOS 2642804 HAS SOPS 2557279 HAS SOUS 383560 HAS SOUPS 368403 WITH SCORE 371045.804
AT ITER 3896 NEW BEST:: SOT 4186491 SOS 2640593 HAS SOPS 2555057 HAS SOUS 383505 HAS SOUPS 368348 WITH SCORE 370988.593
AT ITER 3900 NEW BEST:: SOT 4190084 SOS 2642865 HAS SOPS 2558665 HAS SOUS 379034 HAS SOUPS 363986 WITH SCORE 366628.865
AT ITER 3905 NEW BEST:: SOT 4189104 SOS 2641885 HAS SOPS 2557685 HAS SOUS 378250 HAS SOUPS 363202 WITH SCORE 365843.885
AT ITER 3917 NEW BEST:: SOT 4189104 SOS 2641885 HAS SOPS 2557670 HAS SOUS 378235 HAS SOUPS 363172 WITH SCORE 365813.885
AT ITER 3926 NEW BEST:: SOT 4189104 SOS 2641285 HAS SOPS 2557075 HAS SOUS 378228 HAS SOUPS 363170 WITH SCORE 365811.285
AT ITER 3929 NEW BEST:: SOT 4202046 SOS 2653024 HAS SOPS 2570088 HAS SOUS 377415 HAS SOUPS 362508 WITH SCORE 365161.024
AT ITER 3930 NEW BEST:: SOT 4202046 SOS 2653095 HAS SOPS 2570154 HAS SOUS 377499 HAS SOUPS 362498 WITH SCORE 365151.095
AT ITER 3953 NEW BEST:: SOT 4202046 SOS 2651895 HAS SOPS 2568966 HAS SOUS 377487 HAS SOUPS 362498 WITH SCORE 365149.895
AT ITER 3965 NEW BEST:: SOT 4200100 SOS 2649224 HAS SOPS 2565000 HAS SOUS 376206 HAS SOUPS 361197 WITH SCORE 363846.224
AT ITER 3968 NEW BEST:: SOT 4194640 SOS 2644305 HAS SOPS 2559540 HAS SOUS 375505 HAS SOUPS 360443 WITH SCORE 363087.305
AT ITER 3972 NEW BEST:: SOT 4194640 SOS 2639905 HAS SOPS 2555140 HAS SOUS 375417 HAS SOUPS 360399 WITH SCORE 363038.905
AT ITER 3992 NEW BEST:: SOT 4189570 SOS 2634875 HAS SOPS 2549870 HAS SOUS 373003 HAS SOUPS 357956 WITH SCORE 360590.875
AT ITER 3993 NEW BEST:: SOT 4189570 SOS 2634666 HAS SOPS 2549466 HAS SOUS 373060 HAS SOUPS 357948 WITH SCORE 360582.666
AT ITER 4005 NEW BEST:: SOT 4189570 SOS 2642241 HAS SOPS 2556960 HAS SOUS 373129 HAS SOUPS 357936 WITH SCORE 360578.241
AT ITER 4016 NEW BEST:: SOT 4188315 SOS 2640450 HAS SOPS 2554392 HAS SOUS 371071 HAS SOUPS 355878 WITH SCORE 358518.45
AT ITER 4020 NEW BEST:: SOT 4186713 SOS 2639024 HAS SOPS 2552774 HAS SOUS 370877 HAS SOUPS 355652 WITH SCORE 358291.024
AT ITER 4021 NEW BEST:: SOT 4186713 SOS 2638519 HAS SOPS 2552269 HAS SOUS 370867 HAS SOUPS 355642 WITH SCORE 358280.519
AT ITER 4025 NEW BEST:: SOT 4186713 SOS 2638497 HAS SOPS 2552225 HAS SOUS 370823 HAS SOUPS 355598 WITH SCORE 358236.497
AT ITER 4046 NEW BEST:: SOT 4186785 SOS 2638479 HAS SOPS 2552198 HAS SOUS 370922 HAS SOUPS 355571 WITH SCORE 358209.479
AT ITER 4055 NEW BEST:: SOT 4186785 SOS 2633578 HAS SOPS 2547055 HAS SOUS 370576 HAS SOUPS 355334 WITH SCORE 357967.578
AT ITER 4060 NEW BEST:: SOT 4186785 SOS 2633455 HAS SOPS 2546867 HAS SOUS 370388 HAS SOUPS 355204 WITH SCORE 357837.455
AT ITER 4083 NEW BEST:: SOT 4186785 SOS 2633462 HAS SOPS 2546867 HAS SOUS 370388 HAS SOUPS 355192 WITH SCORE 357825.462
AT ITER 4149 NEW BEST:: SOT 4186921 SOS 2633576 HAS SOPS 2547003 HAS SOUS 370346 HAS SOUPS 355152 WITH SCORE 357785.576
AT ITER 4166 NEW BEST:: SOT 4186921 SOS 2633576 HAS SOPS 2546967 HAS SOUS 370310 HAS SOUPS 355080 WITH SCORE 357713.576
AT ITER 4170 NEW BEST:: SOT 4186921 SOS 2635368 HAS SOPS 2548709 HAS SOUS 370359 HAS SOUPS 355016 WITH SCORE 357651.368
AT ITER 4174 NEW BEST:: SOT 4186921 SOS 2635368 HAS SOPS 2548695 HAS SOUS 370345 HAS SOUPS 354988 WITH SCORE 357623.368
AT ITER 4178 NEW BEST:: SOT 4176678 SOS 2625672 HAS SOPS 2538452 HAS SOUS 368355 HAS SOUPS 352910 WITH SCORE 355535.672
AT ITER 4186 NEW BEST:: SOT 4176582 SOS 2625576 HAS SOPS 2538356 HAS SOUS 368259 HAS SOUPS 352814 WITH SCORE 355439.576
AT ITER 4189 NEW BEST:: SOT 4176367 SOS 2625359 HAS SOPS 2538139 HAS SOUS 368042 HAS SOUPS 352597 WITH SCORE 355222.359
AT ITER 4190 NEW BEST:: SOT 4176356 SOS 2625348 HAS SOPS 2538128 HAS SOUS 368031 HAS SOUPS 352586 WITH SCORE 355211.348
AT ITER 4197 NEW BEST:: SOT 4176356 SOS 2622318 HAS SOPS 2535098 HAS SOUS 367995 HAS SOUPS 352526 WITH SCORE 355148.318
AT ITER 4207 NEW BEST:: SOT 4176356 SOS 2622318 HAS SOPS 2535095 HAS SOUS 367993 HAS SOUPS 352520 WITH SCORE 355142.318
AT ITER 4211 NEW BEST:: SOT 4176154 SOS 2622116 HAS SOPS 2534911 HAS SOUS 367809 HAS SOUPS 352354 WITH SCORE 354976.116
AT ITER 4215 NEW BEST:: SOT 4176154 SOS 2617416 HAS SOPS 2530211 HAS SOUS 367715 HAS SOUPS 352260 WITH SCORE 354877.416
AT ITER 4218 NEW BEST:: SOT 4176154 SOS 2616406 HAS SOPS 2529201 HAS SOUS 367666 HAS SOUPS 352240 WITH SCORE 354856.406
AT ITER 4245 NEW BEST:: SOT 4176154 SOS 2616349 HAS SOPS 2529105 HAS SOUS 367570 HAS SOUPS 352162 WITH SCORE 354778.349
AT ITER 4278 NEW BEST:: SOT 4176160 SOS 2616355 HAS SOPS 2529097 HAS SOUS 367562 HAS SOUPS 352140 WITH SCORE 354756.355
AT ITER 4298 NEW BEST:: SOT 4176160 SOS 2611603 HAS SOPS 2524321 HAS SOUS 367490 HAS SOUPS 352068 WITH SCORE 354679.603
AT ITER 4327 NEW BEST:: SOT 4176154 SOS 2610907 HAS SOPS 2523458 HAS SOUS 367244 HAS SOUPS 351830 WITH SCORE 354440.907
AT ITER 4334 NEW BEST:: SOT 4176154 SOS 2610917 HAS SOPS 2523458 HAS SOUS 367244 HAS SOUPS 351820 WITH SCORE 354430.917
AT ITER 4342 NEW BEST:: SOT 4176154 SOS 2610917 HAS SOPS 2523454 HAS SOUS 367236 HAS SOUPS 351812 WITH SCORE 354422.917
AT ITER 4349 NEW BEST:: SOT 4176154 SOS 2605217 HAS SOPS 2517725 HAS SOUS 367093 HAS SOUPS 351697 WITH SCORE 354302.217
AT ITER 4363 NEW BEST:: SOT 4176154 SOS 2601089 HAS SOPS 2513597 HAS SOUS 367011 HAS SOUPS 351615 WITH SCORE 354216.089
AT ITER 4369 NEW BEST:: SOT 4176154 SOS 2600584 HAS SOPS 2513092 HAS SOUS 367001 HAS SOUPS 351605 WITH SCORE 354205.584
AT ITER 4372 NEW BEST:: SOT 4176154 SOS 2601835 HAS SOPS 2514303 HAS SOUS 366925 HAS SOUPS 351529 WITH SCORE 354130.835
AT ITER 4406 NEW BEST:: SOT 4176154 SOS 2601835 HAS SOPS 2514228 HAS SOUS 366850 HAS SOUPS 351379 WITH SCORE 353980.835
AT ITER 4416 NEW BEST:: SOT 4176154 SOS 2604872 HAS SOPS 2517171 HAS SOUS 366724 HAS SOUPS 351253 WITH SCORE 353857.872
AT ITER 4418 NEW BEST:: SOT 4166265 SOS 2591961 HAS SOPS 2499982 HAS SOUS 363111 HAS SOUPS 347533 WITH SCORE 350124.961
AT ITER 4440 NEW BEST:: SOT 4151841 SOS 2578856 HAS SOPS 2485558 HAS SOUS 361968 HAS SOUPS 346244 WITH SCORE 348822.856
AT ITER 4445 NEW BEST:: SOT 4151993 SOS 2578984 HAS SOPS 2485712 HAS SOUS 361946 HAS SOUPS 346226 WITH SCORE 348804.984
AT ITER 4453 NEW BEST:: SOT 4151993 SOS 2577772 HAS SOPS 2484500 HAS SOUS 361922 HAS SOUPS 346202 WITH SCORE 348779.772
AT ITER 4454 NEW BEST:: SOT 4151993 SOS 2574998 HAS SOPS 2479392 HAS SOUS 359478 HAS SOUPS 343809 WITH SCORE 346383.998
AT ITER 4495 NEW BEST:: SOT 4151993 SOS 2578898 HAS SOPS 2483228 HAS SOUS 359492 HAS SOUPS 343759 WITH SCORE 346337.898
AT ITER 4498 NEW BEST:: SOT 4151928 SOS 2578833 HAS SOPS 2483163 HAS SOUS 359427 HAS SOUPS 343694 WITH SCORE 346272.833
AT ITER 4507 NEW BEST:: SOT 4151928 SOS 2578832 HAS SOPS 2483161 HAS SOUS 359425 HAS SOUPS 343692 WITH SCORE 346270.832
AT ITER 4508 NEW BEST:: SOT 4151928 SOS 2578792 HAS SOPS 2483121 HAS SOUS 359385 HAS SOUPS 343692 WITH SCORE 346270.792
AT ITER 4518 NEW BEST:: SOT 4151928 SOS 2577637 HAS SOPS 2481963 HAS SOUS 359302 HAS SOUPS 343667 WITH SCORE 346244.637
AT ITER 4529 NEW BEST:: SOT 4151928 SOS 2577637 HAS SOPS 2481919 HAS SOUS 359298 HAS SOUPS 343579 WITH SCORE 346156.637
AT ITER 4530 NEW BEST:: SOT 4151928 SOS 2577233 HAS SOPS 2481515 HAS SOUS 359286 HAS SOUPS 343571 WITH SCORE 346148.233
AT ITER 4531 NEW BEST:: SOT 4152303 SOS 2577521 HAS SOPS 2481145 HAS SOUS 358989 HAS SOUPS 343254 WITH SCORE 345831.521
AT ITER 4537 NEW BEST:: SOT 4152303 SOS 2576670 HAS SOPS 2480294 HAS SOUS 359020 HAS SOUPS 343238 WITH SCORE 345814.67
AT ITER 4538 NEW BEST:: SOT 4152303 SOS 2577478 HAS SOPS 2481074 HAS SOUS 359008 HAS SOUPS 343198 WITH SCORE 345775.478
AT ITER 4540 NEW BEST:: SOT 4156912 SOS 2581000 HAS SOPS 2485683 HAS SOUS 357145 HAS SOUPS 341370 WITH SCORE 343951.0
AT ITER 4562 NEW BEST:: SOT 4156912 SOS 2581000 HAS SOPS 2485681 HAS SOUS 357143 HAS SOUPS 341366 WITH SCORE 343947.0
AT ITER 4574 NEW BEST:: SOT 4157210 SOS 2580995 HAS SOPS 2485999 HAS SOUS 355784 HAS SOUPS 340027 WITH SCORE 342607.995
AT ITER 4584 NEW BEST:: SOT 4157210 SOS 2580490 HAS SOPS 2485494 HAS SOUS 355779 HAS SOUPS 340017 WITH SCORE 342597.49
AT ITER 4612 NEW BEST:: SOT 4157210 SOS 2579682 HAS SOPS 2484686 HAS SOUS 355763 HAS SOUPS 340001 WITH SCORE 342580.682
AT ITER 4658 NEW BEST:: SOT 4157210 SOS 2579682 HAS SOPS 2484669 HAS SOUS 355746 HAS SOUPS 339967 WITH SCORE 342546.682
AT ITER 4662 NEW BEST:: SOT 4157210 SOS 2583415 HAS SOPS 2488359 HAS SOUS 355823 HAS SOUPS 339955 WITH SCORE 342538.415
AT ITER 4691 NEW BEST:: SOT 4157181 SOS 2583386 HAS SOPS 2488330 HAS SOUS 355794 HAS SOUPS 339926 WITH SCORE 342509.386
AT ITER 4720 NEW BEST:: SOT 4157181 SOS 2583386 HAS SOPS 2488308 HAS SOUS 355772 HAS SOUPS 339882 WITH SCORE 342465.386
AT ITER 4727 NEW BEST:: SOT 4157161 SOS 2583366 HAS SOPS 2488288 HAS SOUS 355752 HAS SOUPS 339862 WITH SCORE 342445.366
AT ITER 4762 NEW BEST:: SOT 4157161 SOS 2583338 HAS SOPS 2488219 HAS SOUS 355670 HAS SOUPS 339780 WITH SCORE 342363.338
AT ITER 4789 NEW BEST:: SOT 4157161 SOS 2575849 HAS SOPS 2480804 HAS SOUS 355504 HAS SOUPS 339765 WITH SCORE 342340.849
AT ITER 4796 NEW BEST:: SOT 4157161 SOS 2575849 HAS SOPS 2480803 HAS SOUS 355503 HAS SOUPS 339763 WITH SCORE 342338.849
AT ITER 4797 NEW BEST:: SOT 4157078 SOS 2575766 HAS SOPS 2480720 HAS SOUS 355420 HAS SOUPS 339680 WITH SCORE 342255.766
AT ITER 4807 NEW BEST:: SOT 4157007 SOS 2575695 HAS SOPS 2480671 HAS SOUS 355371 HAS SOUPS 339653 WITH SCORE 342228.695
AT ITER 4815 NEW BEST:: SOT 4157007 SOS 2573776 HAS SOPS 2478752 HAS SOUS 355402 HAS SOUPS 339615 WITH SCORE 342188.776
AT ITER 4828 NEW BEST:: SOT 4160855 SOS 2578567 HAS SOPS 2484800 HAS SOUS 354251 HAS SOUPS 338527 WITH SCORE 341105.567
AT ITER 4857 NEW BEST:: SOT 4160773 SOS 2578350 HAS SOPS 2484440 HAS SOUS 353895 HAS SOUPS 338165 WITH SCORE 340743.35
AT ITER 4861 NEW BEST:: SOT 4160773 SOS 2578350 HAS SOPS 2484400 HAS SOUS 353855 HAS SOUPS 338085 WITH SCORE 340663.35
AT ITER 4870 NEW BEST:: SOT 4160979 SOS 2580314 HAS SOPS 2486806 HAS SOUS 352347 HAS SOUPS 336599 WITH SCORE 339179.314
AT ITER 4899 NEW BEST:: SOT 4160979 SOS 2580314 HAS SOPS 2486779 HAS SOUS 352321 HAS SOUPS 336545 WITH SCORE 339125.314
AT ITER 4923 NEW BEST:: SOT 4154217 SOS 2573891 HAS SOPS 2479990 HAS SOUS 349593 HAS SOUPS 333746 WITH SCORE 336319.891
AT ITER 4952 NEW BEST:: SOT 4154217 SOS 2574878 HAS SOPS 2480961 HAS SOUS 349598 HAS SOUPS 333727 WITH SCORE 336301.878
AT ITER 4963 NEW BEST:: SOT 4154217 SOS 2571424 HAS SOPS 2477426 HAS SOUS 349482 HAS SOUPS 333576 WITH SCORE 336147.424
AT ITER 4981 NEW BEST:: SOT 4154217 SOS 2571407 HAS SOPS 2477392 HAS SOUS 349448 HAS SOUPS 333542 WITH SCORE 336113.407
AT ITER 4989 NEW BEST:: SOT 4154217 SOS 2571407 HAS SOPS 2477391 HAS SOUS 349419 HAS SOUPS 333540 WITH SCORE 336111.407
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Dekker-PT-100-CTLCardinality-00 (AU( (EF(potential( (tk(P125)) <= (tk(P450)) ))),potential( ( 2 ) <= (tk(P337)) ) ))
PROPERTY: Dekker-PT-100-CTLCardinality-01 (AF(( potential( ( 3 ) <= (tk(P416)) ) & (EF(potential( (tk(P222)) <= (tk(P91)) ))) )))
PROPERTY: Dekker-PT-100-CTLCardinality-02 ( (AG( (EF(potential( ( 2 ) <= (tk(P84)) ))))) & (AX( (EX( potential( (tk(P466)) <= (tk(P491)) ))))) )
PROPERTY: Dekker-PT-100-CTLCardinality-03 (EU( (! (! potential( ( 3 ) <= (tk(P175)) ))),(EG( potential( ( 1 ) <= (tk(P267)) ))) ))
PROPERTY: Dekker-PT-100-CTLCardinality-04 (AG( (AG( ( potential( (tk(P344)) <= (tk(P47)) ) | potential( (tk(P372)) <= (tk(P422)) ) )))))
PROPERTY: Dekker-PT-100-CTLCardinality-05 (EG( (EU( potential( (tk(P136)) <= (tk(P185)) ),potential( (tk(P130)) <= (tk(P268)) ) ))))
PROPERTY: Dekker-PT-100-CTLCardinality-06 ( (AF((AG( potential( (tk(P428)) <= (tk(P310)) ))))) | (AX( potential( ( 3 ) <= (tk(P397)) ))) )
PROPERTY: Dekker-PT-100-CTLCardinality-07 (AU( (! potential( ( 2 ) <= (tk(P362)) )),(AX( potential( ( 3 ) <= (tk(P293)) ))) ))
PROPERTY: Dekker-PT-100-CTLCardinality-08 (AU( (EG( potential( (tk(P149)) <= (tk(P494)) ))),(AF(potential( ( 2 ) <= (tk(P256)) ))) ))
PROPERTY: Dekker-PT-100-CTLCardinality-09 (AX( ( potential( ( 1 ) <= (tk(P370)) ) | (AF(potential( ( 2 ) <= (tk(P193)) ))) )))
PROPERTY: Dekker-PT-100-CTLCardinality-10 (EX( (AF(( potential( (tk(P7)) <= (tk(P164)) ) & potential( ( 3 ) <= (tk(P246)) ) )))))
PROPERTY: Dekker-PT-100-CTLCardinality-11 ( ( potential( (tk(P344)) <= (tk(P459)) ) & (AU( potential( ( 1 ) <= (tk(P381)) ),potential( ( 1 ) <= (tk(P469)) ) )) ) | (AF((! ( potential( (tk(P351)) <= (tk(P201)) ) | potential( ( 2 ) <= (tk(P92)) ) )))) )
PROPERTY: Dekker-PT-100-CTLCardinality-12 ( (AG( (EF(potential( ( 1 ) <= (tk(P295)) ))))) | (AX( (! ( potential( (tk(P460)) <= (tk(P376)) ) | potential( ( 1 ) <= (tk(P478)) ) )))) )
PROPERTY: Dekker-PT-100-CTLCardinality-13 (EG( (EX( ( potential( ( 2 ) <= (tk(P373)) ) | potential( (tk(P63)) <= (tk(P392)) ) )))))
PROPERTY: Dekker-PT-100-CTLCardinality-14 ( (EU( potential( (tk(P431)) <= (tk(P143)) ),( potential( (tk(P489)) <= (tk(P340)) ) & potential( ( 3 ) <= (tk(P140)) ) ) )) & ( ( (AF(potential( (tk(P302)) <= (tk(P93)) ))) | (EX( potential( (tk(P24)) <= (tk(P20)) ))) ) | potential( ( 2 ) <= (tk(P460)) ) ) )
PROPERTY: Dekker-PT-100-CTLCardinality-15 (EG( ( (EG( potential( (tk(P390)) <= (tk(P340)) ))) | (EX( potential( (tk(P405)) <= (tk(P361)) ))) )))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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