Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194200048.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS17pb113-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194200048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 18:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 18:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679473358780

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-6
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 30 NEW BEST:: SOT 12211528 SOS 7763303 HAS SOPS 6432470 HAS SOUS 3044364 HAS SOUPS 2942718 WITH SCORE 2950481.303
AT ITER 41 NEW BEST:: SOT 12205700 SOS 7759205 HAS SOPS 6431986 HAS SOUS 3040666 HAS SOUPS 2939211 WITH SCORE 2946970.205
AT ITER 50 NEW BEST:: SOT 12205674 SOS 7759648 HAS SOPS 6432106 HAS SOUS 3036583 HAS SOUPS 2935513 WITH SCORE 2943272.648
AT ITER 60 NEW BEST:: SOT 12210786 SOS 7772984 HAS SOPS 6442634 HAS SOUS 3031827 HAS SOUPS 2930732 WITH SCORE 2938504.984
AT ITER 61 NEW BEST:: SOT 12210683 SOS 7773701 HAS SOPS 6443555 HAS SOUS 3030885 HAS SOUPS 2929790 WITH SCORE 2937563.701
AT ITER 62 NEW BEST:: SOT 12212411 SOS 7781522 HAS SOPS 6450638 HAS SOUS 3028780 HAS SOUPS 2927685 WITH SCORE 2935466.522
AT ITER 64 NEW BEST:: SOT 12212361 SOS 7782011 HAS SOPS 6451219 HAS SOUS 3028666 HAS SOUPS 2927571 WITH SCORE 2935353.011
AT ITER 70 NEW BEST:: SOT 12213028 SOS 7782655 HAS SOPS 6451518 HAS SOUS 3028022 HAS SOUPS 2926582 WITH SCORE 2934364.655
AT ITER 90 NEW BEST:: SOT 12210695 SOS 7780114 HAS SOPS 6448121 HAS SOUS 3023236 HAS SOUPS 2921831 WITH SCORE 2929611.114
AT ITER 111 NEW BEST:: SOT 12209874 SOS 7779322 HAS SOPS 6447298 HAS SOUS 3022096 HAS SOUPS 2920691 WITH SCORE 2928470.322
AT ITER 113 NEW BEST:: SOT 12209796 SOS 7779274 HAS SOPS 6447304 HAS SOUS 3021886 HAS SOUPS 2920481 WITH SCORE 2928260.274
AT ITER 117 NEW BEST:: SOT 12207348 SOS 7773888 HAS SOPS 6443420 HAS SOUS 3019575 HAS SOUPS 2918210 WITH SCORE 2925983.888
AT ITER 129 NEW BEST:: SOT 12207572 SOS 7778623 HAS SOPS 6446916 HAS SOUS 3013757 HAS SOUPS 2912392 WITH SCORE 2920170.623
AT ITER 136 NEW BEST:: SOT 12178286 SOS 7749200 HAS SOPS 6417331 HAS SOUS 2979356 HAS SOUPS 2877882 WITH SCORE 2885631.2
AT ITER 137 NEW BEST:: SOT 12177111 SOS 7744891 HAS SOPS 6413785 HAS SOUS 2978349 HAS SOUPS 2876875 WITH SCORE 2884619.891
AT ITER 140 NEW BEST:: SOT 12176957 SOS 7744250 HAS SOPS 6413090 HAS SOUS 2977326 HAS SOUPS 2875852 WITH SCORE 2883596.25
AT ITER 156 NEW BEST:: SOT 12174296 SOS 7741695 HAS SOPS 6408705 HAS SOUS 2970134 HAS SOUPS 2868329 WITH SCORE 2876070.695
AT ITER 162 NEW BEST:: SOT 12174683 SOS 7741965 HAS SOPS 6410546 HAS SOUS 2967469 HAS SOUPS 2865664 WITH SCORE 2873405.965
AT ITER 164 NEW BEST:: SOT 12174679 SOS 7742172 HAS SOPS 6410874 HAS SOUS 2967455 HAS SOUPS 2865650 WITH SCORE 2873392.172
AT ITER 177 NEW BEST:: SOT 12174438 SOS 7742258 HAS SOPS 6412739 HAS SOUS 2965405 HAS SOUPS 2863600 WITH SCORE 2871342.258
AT ITER 178 NEW BEST:: SOT 12174382 SOS 7742202 HAS SOPS 6412683 HAS SOUS 2965349 HAS SOUPS 2863544 WITH SCORE 2871286.202
AT ITER 186 NEW BEST:: SOT 12171918 SOS 7739600 HAS SOPS 6411750 HAS SOUS 2964206 HAS SOUPS 2862401 WITH SCORE 2870140.6
AT ITER 204 NEW BEST:: SOT 12171902 SOS 7739582 HAS SOPS 6411726 HAS SOUS 2964150 HAS SOUPS 2862345 WITH SCORE 2870084.582
AT ITER 212 NEW BEST:: SOT 12167977 SOS 7734675 HAS SOPS 6406964 HAS SOUS 2959298 HAS SOUPS 2857526 WITH SCORE 2865260.675
AT ITER 213 NEW BEST:: SOT 12167795 SOS 7733863 HAS SOPS 6406012 HAS SOUS 2959065 HAS SOUPS 2857307 WITH SCORE 2865040.863
AT ITER 214 NEW BEST:: SOT 12166722 SOS 7734649 HAS SOPS 6405880 HAS SOUS 2956156 HAS SOUPS 2854398 WITH SCORE 2862132.649
AT ITER 223 NEW BEST:: SOT 12167165 SOS 7734147 HAS SOPS 6404480 HAS SOUS 2955260 HAS SOUPS 2853502 WITH SCORE 2861236.147
AT ITER 230 NEW BEST:: SOT 12167176 SOS 7734041 HAS SOPS 6404511 HAS SOUS 2955203 HAS SOUPS 2853445 WITH SCORE 2861179.041
AT ITER 242 NEW BEST:: SOT 12171822 SOS 7746455 HAS SOPS 6413512 HAS SOUS 2952389 HAS SOUPS 2850631 WITH SCORE 2858377.455
AT ITER 250 NEW BEST:: SOT 12158337 SOS 7737855 HAS SOPS 6397121 HAS SOUS 2929066 HAS SOUPS 2826838 WITH SCORE 2834575.855
AT ITER 252 NEW BEST:: SOT 12157625 SOS 7736345 HAS SOPS 6395930 HAS SOUS 2928096 HAS SOUPS 2825868 WITH SCORE 2833604.345
AT ITER 262 NEW BEST:: SOT 12156942 SOS 7735749 HAS SOPS 6395356 HAS SOUS 2926939 HAS SOUPS 2824693 WITH SCORE 2832428.749
AT ITER 265 NEW BEST:: SOT 12156175 SOS 7734961 HAS SOPS 6394477 HAS SOUS 2926165 HAS SOUPS 2823847 WITH SCORE 2831581.961
AT ITER 269 NEW BEST:: SOT 12155767 SOS 7734722 HAS SOPS 6394299 HAS SOUS 2925441 HAS SOUPS 2823123 WITH SCORE 2830857.722
AT ITER 277 NEW BEST:: SOT 12157746 SOS 7744739 HAS SOPS 6403124 HAS SOUS 2923675 HAS SOUPS 2821357 WITH SCORE 2829101.739
AT ITER 286 NEW BEST:: SOT 12156980 SOS 7743450 HAS SOPS 6402114 HAS SOUS 2922647 HAS SOUPS 2820355 WITH SCORE 2828098.45
AT ITER 293 NEW BEST:: SOT 12156727 SOS 7743027 HAS SOPS 6401716 HAS SOUS 2922284 HAS SOUPS 2819997 WITH SCORE 2827740.027
AT ITER 303 NEW BEST:: SOT 12138308 SOS 7723801 HAS SOPS 6381383 HAS SOUS 2894899 HAS SOUPS 2792713 WITH SCORE 2800436.801
AT ITER 308 NEW BEST:: SOT 12133730 SOS 7712325 HAS SOPS 6376275 HAS SOUS 2892543 HAS SOUPS 2790732 WITH SCORE 2798444.325
AT ITER 324 NEW BEST:: SOT 12128997 SOS 7705241 HAS SOPS 6375743 HAS SOUS 2883207 HAS SOUPS 2781729 WITH SCORE 2789434.241
AT ITER 338 NEW BEST:: SOT 12127686 SOS 7704031 HAS SOPS 6375070 HAS SOUS 2879795 HAS SOUPS 2778413 WITH SCORE 2786117.031
AT ITER 339 NEW BEST:: SOT 12131388 SOS 7715862 HAS SOPS 6390832 HAS SOUS 2875858 HAS SOUPS 2774464 WITH SCORE 2782179.862
AT ITER 341 NEW BEST:: SOT 12135792 SOS 7721246 HAS SOPS 6400875 HAS SOUS 2874202 HAS SOUPS 2773475 WITH SCORE 2781196.246
AT ITER 342 NEW BEST:: SOT 12129126 SOS 7714544 HAS SOPS 6393633 HAS SOUS 2866360 HAS SOUPS 2765273 WITH SCORE 2772987.544
AT ITER 349 NEW BEST:: SOT 12129394 SOS 7719843 HAS SOPS 6403267 HAS SOUS 2861243 HAS SOUPS 2760156 WITH SCORE 2767875.843
AT ITER 353 NEW BEST:: SOT 12129271 SOS 7719300 HAS SOPS 6402345 HAS SOUS 2860548 HAS SOUPS 2759461 WITH SCORE 2767180.3
AT ITER 354 NEW BEST:: SOT 12129224 SOS 7719253 HAS SOPS 6402286 HAS SOUS 2860442 HAS SOUPS 2759358 WITH SCORE 2767077.253
AT ITER 355 NEW BEST:: SOT 12128963 SOS 7719206 HAS SOPS 6402006 HAS SOUS 2859554 HAS SOUPS 2758470 WITH SCORE 2766189.206
AT ITER 363 NEW BEST:: SOT 12128922 SOS 7719009 HAS SOPS 6401797 HAS SOUS 2859483 HAS SOUPS 2758399 WITH SCORE 2766118.009
AT ITER 364 NEW BEST:: SOT 12128879 SOS 7718945 HAS SOPS 6401506 HAS SOUS 2859322 HAS SOUPS 2758238 WITH SCORE 2765956.945
AT ITER 365 NEW BEST:: SOT 12100209 SOS 7677198 HAS SOPS 6356882 HAS SOUS 2821054 HAS SOUPS 2719970 WITH SCORE 2727647.198
AT ITER 366 NEW BEST:: SOT 12106715 SOS 7688700 HAS SOPS 6366715 HAS SOUS 2812681 HAS SOUPS 2711722 WITH SCORE 2719410.7
AT ITER 395 NEW BEST:: SOT 12112997 SOS 7699661 HAS SOPS 6376150 HAS SOUS 2812076 HAS SOUPS 2711157 WITH SCORE 2718856.661
AT ITER 444 NEW BEST:: SOT 12112283 SOS 7698911 HAS SOPS 6374860 HAS SOUS 2809401 HAS SOUPS 2708407 WITH SCORE 2716105.911
AT ITER 453 NEW BEST:: SOT 12111691 SOS 7698320 HAS SOPS 6373899 HAS SOUS 2806785 HAS SOUPS 2705823 WITH SCORE 2713521.32
AT ITER 454 NEW BEST:: SOT 12114486 SOS 7710069 HAS SOPS 6384094 HAS SOUS 2804974 HAS SOUPS 2704012 WITH SCORE 2711722.069
AT ITER 459 NEW BEST:: SOT 12118630 SOS 7720926 HAS SOPS 6397142 HAS SOUS 2800443 HAS SOUPS 2699481 WITH SCORE 2707201.926
AT ITER 460 NEW BEST:: SOT 12120115 SOS 7722468 HAS SOPS 6395558 HAS SOUS 2799791 HAS SOUPS 2698769 WITH SCORE 2706491.468
AT ITER 481 NEW BEST:: SOT 12125337 SOS 7729555 HAS SOPS 6401288 HAS SOUS 2795933 HAS SOUPS 2695333 WITH SCORE 2703062.555
AT ITER 497 NEW BEST:: SOT 12117217 SOS 7716701 HAS SOPS 6387259 HAS SOUS 2787592 HAS SOUPS 2686952 WITH SCORE 2694668.701
AT ITER 503 NEW BEST:: SOT 12116206 SOS 7715280 HAS SOPS 6385376 HAS SOUS 2785685 HAS SOUPS 2685045 WITH SCORE 2692760.28
AT ITER 516 NEW BEST:: SOT 12115430 SOS 7710936 HAS SOPS 6387569 HAS SOUS 2780776 HAS SOUPS 2681073 WITH SCORE 2688783.936
AT ITER 520 NEW BEST:: SOT 12115109 SOS 7710602 HAS SOPS 6387040 HAS SOUS 2779831 HAS SOUPS 2680128 WITH SCORE 2687838.602
AT ITER 541 NEW BEST:: SOT 12118136 SOS 7722543 HAS SOPS 6397242 HAS SOUS 2778673 HAS SOUPS 2679045 WITH SCORE 2686767.543
AT ITER 552 NEW BEST:: SOT 12118088 SOS 7726111 HAS SOPS 6400222 HAS SOUS 2775069 HAS SOUPS 2675451 WITH SCORE 2683177.111
AT ITER 560 NEW BEST:: SOT 12109433 SOS 7717345 HAS SOPS 6390461 HAS SOUS 2763752 HAS SOUPS 2664060 WITH SCORE 2671777.345
AT ITER 561 NEW BEST:: SOT 12108813 SOS 7715876 HAS SOPS 6388977 HAS SOUS 2763450 HAS SOUPS 2663758 WITH SCORE 2671473.876
AT ITER 569 NEW BEST:: SOT 12108585 SOS 7714833 HAS SOPS 6388418 HAS SOUS 2762288 HAS SOUPS 2662596 WITH SCORE 2670310.833
AT ITER 577 NEW BEST:: SOT 12108659 SOS 7714509 HAS SOPS 6388855 HAS SOUS 2762173 HAS SOUPS 2662481 WITH SCORE 2670195.509
AT ITER 586 NEW BEST:: SOT 12113838 SOS 7720932 HAS SOPS 6399578 HAS SOUS 2759295 HAS SOUPS 2660663 WITH SCORE 2668383.932
AT ITER 592 NEW BEST:: SOT 12117194 SOS 7728947 HAS SOPS 6400944 HAS SOUS 2747025 HAS SOUPS 2648012 WITH SCORE 2655740.947
AT ITER 593 NEW BEST:: SOT 12115915 SOS 7726338 HAS SOPS 6398427 HAS SOUS 2744425 HAS SOUPS 2645464 WITH SCORE 2653190.338
AT ITER 597 NEW BEST:: SOT 12113839 SOS 7723667 HAS SOPS 6394760 HAS SOUS 2742029 HAS SOUPS 2642910 WITH SCORE 2650633.667
AT ITER 600 NEW BEST:: SOT 12113637 SOS 7723190 HAS SOPS 6393988 HAS SOUS 2741619 HAS SOUPS 2642500 WITH SCORE 2650223.19
AT ITER 605 NEW BEST:: SOT 12112711 SOS 7721600 HAS SOPS 6392875 HAS SOUS 2740517 HAS SOUPS 2641398 WITH SCORE 2649119.6
AT ITER 606 NEW BEST:: SOT 12112104 SOS 7720659 HAS SOPS 6391973 HAS SOUS 2740249 HAS SOUPS 2641180 WITH SCORE 2648900.659
AT ITER 617 NEW BEST:: SOT 12110263 SOS 7718022 HAS SOPS 6390476 HAS SOUS 2736818 HAS SOUPS 2637749 WITH SCORE 2645467.022
AT ITER 622 NEW BEST:: SOT 12108087 SOS 7714962 HAS SOPS 6388204 HAS SOUS 2731150 HAS SOUPS 2632265 WITH SCORE 2639979.962
AT ITER 630 NEW BEST:: SOT 12107176 SOS 7711861 HAS SOPS 6386074 HAS SOUS 2728832 HAS SOUPS 2630135 WITH SCORE 2637846.861
AT ITER 670 NEW BEST:: SOT 12105512 SOS 7707399 HAS SOPS 6381894 HAS SOUS 2726898 HAS SOUPS 2628201 WITH SCORE 2635908.399
AT ITER 671 NEW BEST:: SOT 12105644 SOS 7707216 HAS SOPS 6381968 HAS SOUS 2726260 HAS SOUPS 2627563 WITH SCORE 2635270.216
AT ITER 692 NEW BEST:: SOT 12104337 SOS 7705255 HAS SOPS 6380119 HAS SOUS 2724679 HAS SOUPS 2625976 WITH SCORE 2633681.255
AT ITER 699 NEW BEST:: SOT 12104333 SOS 7705226 HAS SOPS 6380082 HAS SOUS 2724670 HAS SOUPS 2625967 WITH SCORE 2633672.226
AT ITER 700 NEW BEST:: SOT 12102093 SOS 7701553 HAS SOPS 6376667 HAS SOUS 2719568 HAS SOUPS 2621367 WITH SCORE 2629068.553
AT ITER 719 NEW BEST:: SOT 12104465 SOS 7709795 HAS SOPS 6386554 HAS SOUS 2718893 HAS SOUPS 2620692 WITH SCORE 2628401.795
AT ITER 727 NEW BEST:: SOT 12104129 SOS 7709453 HAS SOPS 6386008 HAS SOUS 2718089 HAS SOUPS 2619882 WITH SCORE 2627591.453
AT ITER 734 NEW BEST:: SOT 12101395 SOS 7706881 HAS SOPS 6383514 HAS SOUS 2708927 HAS SOUPS 2610720 WITH SCORE 2618426.881
AT ITER 748 NEW BEST:: SOT 12100126 SOS 7705657 HAS SOPS 6381730 HAS SOUS 2706797 HAS SOUPS 2608494 WITH SCORE 2616199.657
AT ITER 753 NEW BEST:: SOT 12101216 SOS 7706241 HAS SOPS 6380107 HAS SOUS 2703965 HAS SOUPS 2605662 WITH SCORE 2613368.241
AT ITER 763 NEW BEST:: SOT 12100729 SOS 7705652 HAS SOPS 6380373 HAS SOUS 2702537 HAS SOUPS 2604234 WITH SCORE 2611939.652
AT ITER 769 NEW BEST:: SOT 12100825 SOS 7705748 HAS SOPS 6380421 HAS SOUS 2702537 HAS SOUPS 2604218 WITH SCORE 2611923.748
AT ITER 797 NEW BEST:: SOT 12105806 SOS 7710777 HAS SOPS 6384207 HAS SOUS 2701929 HAS SOUPS 2603610 WITH SCORE 2611320.777
AT ITER 806 NEW BEST:: SOT 12105018 SOS 7710332 HAS SOPS 6383130 HAS SOUS 2699444 HAS SOUPS 2601158 WITH SCORE 2608868.332
AT ITER 810 NEW BEST:: SOT 12106457 SOS 7711588 HAS SOPS 6386457 HAS SOUS 2693111 HAS SOUPS 2595243 WITH SCORE 2602954.588
AT ITER 816 NEW BEST:: SOT 12109023 SOS 7720962 HAS SOPS 6397704 HAS SOUS 2687625 HAS SOUPS 2589878 WITH SCORE 2597598.962
AT ITER 831 NEW BEST:: SOT 12110057 SOS 7722911 HAS SOPS 6401552 HAS SOUS 2679525 HAS SOUPS 2581778 WITH SCORE 2589500.911
AT ITER 832 NEW BEST:: SOT 12111799 SOS 7724653 HAS SOPS 6402782 HAS SOUS 2679135 HAS SOUPS 2580876 WITH SCORE 2588600.653
AT ITER 876 NEW BEST:: SOT 12110707 SOS 7723769 HAS SOPS 6401848 HAS SOUS 2677755 HAS SOUPS 2579506 WITH SCORE 2587229.769
AT ITER 880 NEW BEST:: SOT 12110861 SOS 7726193 HAS SOPS 6401193 HAS SOUS 2673631 HAS SOUPS 2575382 WITH SCORE 2583108.193
AT ITER 901 NEW BEST:: SOT 12110701 SOS 7725678 HAS SOPS 6401425 HAS SOUS 2672971 HAS SOUPS 2574722 WITH SCORE 2582447.678
AT ITER 903 NEW BEST:: SOT 12110487 SOS 7725356 HAS SOPS 6401103 HAS SOUS 2672581 HAS SOUPS 2574334 WITH SCORE 2582059.356
AT ITER 904 NEW BEST:: SOT 12110451 SOS 7725320 HAS SOPS 6401067 HAS SOUS 2672545 HAS SOUPS 2574298 WITH SCORE 2582023.32
AT ITER 905 NEW BEST:: SOT 12110620 SOS 7725592 HAS SOPS 6401227 HAS SOUS 2672541 HAS SOUPS 2574294 WITH SCORE 2582019.592
AT ITER 910 NEW BEST:: SOT 12106062 SOS 7721878 HAS SOPS 6396792 HAS SOUS 2658598 HAS SOUPS 2560351 WITH SCORE 2568072.878
AT ITER 916 NEW BEST:: SOT 12105309 SOS 7720377 HAS SOPS 6395570 HAS SOUS 2657930 HAS SOUPS 2559683 WITH SCORE 2567403.377
AT ITER 937 NEW BEST:: SOT 12105440 SOS 7721866 HAS SOPS 6395646 HAS SOUS 2656578 HAS SOUPS 2558331 WITH SCORE 2566052.866
AT ITER 939 NEW BEST:: SOT 12104138 SOS 7735095 HAS SOPS 6405198 HAS SOUS 2649913 HAS SOUPS 2551666 WITH SCORE 2559401.095
AT ITER 964 NEW BEST:: SOT 12103037 SOS 7733994 HAS SOPS 6404097 HAS SOUS 2649124 HAS SOUPS 2550877 WITH SCORE 2558610.994
AT ITER 967 NEW BEST:: SOT 12102731 SOS 7735193 HAS SOPS 6405072 HAS SOUS 2647665 HAS SOUPS 2549434 WITH SCORE 2557169.193
AT ITER 982 NEW BEST:: SOT 12101336 SOS 7733403 HAS SOPS 6403226 HAS SOUS 2645673 HAS SOUPS 2547442 WITH SCORE 2555175.403
AT ITER 987 NEW BEST:: SOT 12098573 SOS 7731971 HAS SOPS 6401145 HAS SOUS 2636456 HAS SOUPS 2538380 WITH SCORE 2546111.971
AT ITER 996 NEW BEST:: SOT 12087711 SOS 7714810 HAS SOPS 6390047 HAS SOUS 2610031 HAS SOUPS 2512243 WITH SCORE 2519957.81
AT ITER 1055 NEW BEST:: SOT 12080634 SOS 7697209 HAS SOPS 6372990 HAS SOUS 2608192 HAS SOUPS 2510456 WITH SCORE 2518153.209
AT ITER 1062 NEW BEST:: SOT 12081536 SOS 7695910 HAS SOPS 6373476 HAS SOUS 2602803 HAS SOUPS 2505165 WITH SCORE 2512860.91
AT ITER 1063 NEW BEST:: SOT 12077158 SOS 7691532 HAS SOPS 6369082 HAS SOUS 2599473 HAS SOUPS 2501835 WITH SCORE 2509526.532
AT ITER 1066 NEW BEST:: SOT 12077836 SOS 7694425 HAS SOPS 6371428 HAS SOUS 2599256 HAS SOUPS 2501618 WITH SCORE 2509312.425
AT ITER 1070 NEW BEST:: SOT 12073832 SOS 7690421 HAS SOPS 6367424 HAS SOUS 2590980 HAS SOUPS 2493342 WITH SCORE 2501032.421
AT ITER 1072 NEW BEST:: SOT 12073495 SOS 7689868 HAS SOPS 6366839 HAS SOUS 2590343 HAS SOUPS 2492705 WITH SCORE 2500394.868
AT ITER 1091 NEW BEST:: SOT 12073571 SOS 7691415 HAS SOPS 6368362 HAS SOUS 2589854 HAS SOUPS 2492216 WITH SCORE 2499907.415
AT ITER 1093 NEW BEST:: SOT 12073445 SOS 7691716 HAS SOPS 6368052 HAS SOUS 2589124 HAS SOUPS 2491486 WITH SCORE 2499177.716
AT ITER 1111 NEW BEST:: SOT 12066179 SOS 7678194 HAS SOPS 6358627 HAS SOUS 2579896 HAS SOUPS 2482543 WITH SCORE 2490221.194
AT ITER 1122 NEW BEST:: SOT 12104760 SOS 7709121 HAS SOPS 6389941 HAS SOUS 2574743 HAS SOUPS 2477434 WITH SCORE 2485143.121
AT ITER 1133 NEW BEST:: SOT 12102375 SOS 7705976 HAS SOPS 6385552 HAS SOUS 2567274 HAS SOUPS 2470230 WITH SCORE 2477935.976
AT ITER 1143 NEW BEST:: SOT 12102321 SOS 7706705 HAS SOPS 6386514 HAS SOUS 2567178 HAS SOUPS 2470134 WITH SCORE 2477840.705
AT ITER 1145 NEW BEST:: SOT 12101703 SOS 7705341 HAS SOPS 6385937 HAS SOUS 2566430 HAS SOUPS 2469386 WITH SCORE 2477091.341
AT ITER 1161 NEW BEST:: SOT 12104449 SOS 7708775 HAS SOPS 6391562 HAS SOUS 2565205 HAS SOUPS 2468161 WITH SCORE 2475869.775
AT ITER 1164 NEW BEST:: SOT 12103826 SOS 7708269 HAS SOPS 6391042 HAS SOUS 2563888 HAS SOUPS 2466858 WITH SCORE 2474566.269
AT ITER 1172 NEW BEST:: SOT 12093585 SOS 7689029 HAS SOPS 6382967 HAS SOUS 2556918 HAS SOUPS 2460055 WITH SCORE 2467744.029
AT ITER 1178 NEW BEST:: SOT 12089746 SOS 7683745 HAS SOPS 6375863 HAS SOUS 2554025 HAS SOUPS 2455457 WITH SCORE 2463140.745
AT ITER 1186 NEW BEST:: SOT 12090006 SOS 7684311 HAS SOPS 6376343 HAS SOUS 2553609 HAS SOUPS 2455096 WITH SCORE 2462780.311
AT ITER 1211 NEW BEST:: SOT 12087345 SOS 7679891 HAS SOPS 6372013 HAS SOUS 2548963 HAS SOUPS 2450478 WITH SCORE 2458157.891
AT ITER 1219 NEW BEST:: SOT 12088337 SOS 7681578 HAS SOPS 6377064 HAS SOUS 2548591 HAS SOUPS 2450106 WITH SCORE 2457787.578
AT ITER 1235 NEW BEST:: SOT 12088788 SOS 7682929 HAS SOPS 6378275 HAS SOUS 2548515 HAS SOUPS 2450030 WITH SCORE 2457712.929
AT ITER 1242 NEW BEST:: SOT 12088638 SOS 7682529 HAS SOPS 6378073 HAS SOUS 2548355 HAS SOUPS 2449874 WITH SCORE 2457556.529
AT ITER 1244 NEW BEST:: SOT 12088620 SOS 7682601 HAS SOPS 6378139 HAS SOUS 2548265 HAS SOUPS 2449784 WITH SCORE 2457466.601
AT ITER 1286 NEW BEST:: SOT 12087503 SOS 7679531 HAS SOPS 6375084 HAS SOUS 2547663 HAS SOUPS 2449134 WITH SCORE 2456813.531
AT ITER 1304 NEW BEST:: SOT 12087493 SOS 7679510 HAS SOPS 6375068 HAS SOUS 2547589 HAS SOUPS 2449061 WITH SCORE 2456740.51
AT ITER 1315 NEW BEST:: SOT 12087326 SOS 7679446 HAS SOPS 6374726 HAS SOUS 2546553 HAS SOUPS 2448091 WITH SCORE 2455770.446
AT ITER 1322 NEW BEST:: SOT 12087352 SOS 7679734 HAS SOPS 6375087 HAS SOUS 2545911 HAS SOUPS 2447449 WITH SCORE 2455128.734
AT ITER 1357 NEW BEST:: SOT 12086501 SOS 7678891 HAS SOPS 6373764 HAS SOUS 2543292 HAS SOUPS 2444830 WITH SCORE 2452508.891
AT ITER 1373 NEW BEST:: SOT 12085013 SOS 7677403 HAS SOPS 6372276 HAS SOUS 2541804 HAS SOUPS 2443342 WITH SCORE 2451019.403
AT ITER 1377 NEW BEST:: SOT 12083489 SOS 7663980 HAS SOPS 6361733 HAS SOUS 2541049 HAS SOUPS 2442685 WITH SCORE 2450348.98
AT ITER 1398 NEW BEST:: SOT 12079874 SOS 7654698 HAS SOPS 6352402 HAS SOUS 2533400 HAS SOUPS 2435064 WITH SCORE 2442718.698
AT ITER 1400 NEW BEST:: SOT 12079830 SOS 7654890 HAS SOPS 6352372 HAS SOUS 2533176 HAS SOUPS 2434840 WITH SCORE 2442494.89
AT ITER 1403 NEW BEST:: SOT 12077732 SOS 7653298 HAS SOPS 6348438 HAS SOUS 2529062 HAS SOUPS 2430709 WITH SCORE 2438362.298
AT ITER 1406 NEW BEST:: SOT 12081171 SOS 7659015 HAS SOPS 6355053 HAS SOUS 2520821 HAS SOUPS 2422562 WITH SCORE 2430221.015
AT ITER 1416 NEW BEST:: SOT 12080135 SOS 7653510 HAS SOPS 6349911 HAS SOUS 2518643 HAS SOUPS 2420384 WITH SCORE 2428037.51
AT ITER 1422 NEW BEST:: SOT 12078975 SOS 7651293 HAS SOPS 6347400 HAS SOUS 2517461 HAS SOUPS 2419202 WITH SCORE 2426853.293
AT ITER 1435 NEW BEST:: SOT 12079285 SOS 7652222 HAS SOPS 6348443 HAS SOUS 2514847 HAS SOUPS 2416588 WITH SCORE 2424240.222
AT ITER 1463 NEW BEST:: SOT 12079041 SOS 7652631 HAS SOPS 6350245 HAS SOUS 2512566 HAS SOUPS 2414236 WITH SCORE 2421888.631
AT ITER 1477 NEW BEST:: SOT 12076764 SOS 7649655 HAS SOPS 6346494 HAS SOUS 2503788 HAS SOUPS 2405458 WITH SCORE 2413107.655
AT ITER 1486 NEW BEST:: SOT 12077638 SOS 7653212 HAS SOPS 6352080 HAS SOUS 2503465 HAS SOUPS 2405135 WITH SCORE 2412788.212
AT ITER 1488 NEW BEST:: SOT 12057813 SOS 7630798 HAS SOPS 6329058 HAS SOUS 2474133 HAS SOUPS 2375987 WITH SCORE 2383617.798
AT ITER 1493 NEW BEST:: SOT 12057346 SOS 7628737 HAS SOPS 6327432 HAS SOUS 2470845 HAS SOUPS 2372767 WITH SCORE 2380395.737
AT ITER 1495 NEW BEST:: SOT 12056106 SOS 7625633 HAS SOPS 6325517 HAS SOUS 2470610 HAS SOUPS 2372532 WITH SCORE 2380157.633
AT ITER 1496 NEW BEST:: SOT 12052313 SOS 7616263 HAS SOPS 6315618 HAS SOUS 2468156 HAS SOUPS 2370078 WITH SCORE 2377694.263
AT ITER 1501 NEW BEST:: SOT 12053013 SOS 7617503 HAS SOPS 6317363 HAS SOUS 2463461 HAS SOUPS 2365395 WITH SCORE 2373012.503
AT ITER 1503 NEW BEST:: SOT 12051070 SOS 7615758 HAS SOPS 6316020 HAS SOUS 2457227 HAS SOUPS 2359307 WITH SCORE 2366922.758
AT ITER 1514 NEW BEST:: SOT 12050106 SOS 7614780 HAS SOPS 6314562 HAS SOUS 2454283 HAS SOUPS 2356363 WITH SCORE 2363977.78
AT ITER 1521 NEW BEST:: SOT 12049575 SOS 7614480 HAS SOPS 6313856 HAS SOUS 2452629 HAS SOUPS 2354709 WITH SCORE 2362323.48
AT ITER 1522 NEW BEST:: SOT 12050941 SOS 7620849 HAS SOPS 6320447 HAS SOUS 2451073 HAS SOUPS 2353153 WITH SCORE 2360773.849
AT ITER 1532 NEW BEST:: SOT 12050555 SOS 7620374 HAS SOPS 6319932 HAS SOUS 2450542 HAS SOUPS 2352622 WITH SCORE 2360242.374
AT ITER 1547 NEW BEST:: SOT 12050109 SOS 7622614 HAS SOPS 6322957 HAS SOUS 2447907 HAS SOUPS 2349987 WITH SCORE 2357609.614
AT ITER 1562 NEW BEST:: SOT 12050080 SOS 7622699 HAS SOPS 6322889 HAS SOUS 2447557 HAS SOUPS 2349637 WITH SCORE 2357259.699
AT ITER 1566 NEW BEST:: SOT 12045183 SOS 7616586 HAS SOPS 6316792 HAS SOUS 2443599 HAS SOUPS 2345679 WITH SCORE 2353295.586
AT ITER 1592 NEW BEST:: SOT 12043488 SOS 7614505 HAS SOPS 6314272 HAS SOUS 2441021 HAS SOUPS 2343101 WITH SCORE 2350715.505
AT ITER 1593 NEW BEST:: SOT 12041016 SOS 7610990 HAS SOPS 6310807 HAS SOUS 2437572 HAS SOUPS 2339652 WITH SCORE 2347262.99
AT ITER 1602 NEW BEST:: SOT 12036962 SOS 7602025 HAS SOPS 6306289 HAS SOUS 2431708 HAS SOUPS 2333881 WITH SCORE 2341483.025
AT ITER 1619 NEW BEST:: SOT 12036855 SOS 7601521 HAS SOPS 6305783 HAS SOUS 2431599 HAS SOUPS 2333772 WITH SCORE 2341373.521
AT ITER 1641 NEW BEST:: SOT 12035215 SOS 7595520 HAS SOPS 6303506 HAS SOUS 2430980 HAS SOUPS 2333211 WITH SCORE 2340806.52
AT ITER 1648 NEW BEST:: SOT 12035284 SOS 7597524 HAS SOPS 6304977 HAS SOUS 2429213 HAS SOUPS 2331444 WITH SCORE 2339041.524
AT ITER 1660 NEW BEST:: SOT 12036404 SOS 7599100 HAS SOPS 6304580 HAS SOUS 2426892 HAS SOUPS 2329166 WITH SCORE 2336765.1
AT ITER 1662 NEW BEST:: SOT 12036348 SOS 7599067 HAS SOPS 6304519 HAS SOUS 2426453 HAS SOUPS 2328727 WITH SCORE 2336326.067
AT ITER 1677 NEW BEST:: SOT 12027062 SOS 7589788 HAS SOPS 6295233 HAS SOUS 2411900 HAS SOUPS 2314168 WITH SCORE 2321757.788
AT ITER 1682 NEW BEST:: SOT 12026541 SOS 7589254 HAS SOPS 6294348 HAS SOUS 2410963 HAS SOUPS 2313151 WITH SCORE 2320740.254
AT ITER 1692 NEW BEST:: SOT 12026653 SOS 7589501 HAS SOPS 6294818 HAS SOUS 2410588 HAS SOUPS 2312799 WITH SCORE 2320388.501
AT ITER 1694 NEW BEST:: SOT 12026748 SOS 7590108 HAS SOPS 6292725 HAS SOUS 2408440 HAS SOUPS 2310601 WITH SCORE 2318191.108
AT ITER 1705 NEW BEST:: SOT 12031628 SOS 7607257 HAS SOPS 6304131 HAS SOUS 2407850 HAS SOUPS 2309889 WITH SCORE 2317496.257
AT ITER 1710 NEW BEST:: SOT 12034557 SOS 7610725 HAS SOPS 6308233 HAS SOUS 2406669 HAS SOUPS 2308708 WITH SCORE 2316318.725
AT ITER 1726 NEW BEST:: SOT 12034222 SOS 7610437 HAS SOPS 6307111 HAS SOUS 2403229 HAS SOUPS 2306229 WITH SCORE 2313839.437
AT ITER 1728 NEW BEST:: SOT 12033959 SOS 7610174 HAS SOPS 6306512 HAS SOUS 2401474 HAS SOUPS 2304474 WITH SCORE 2312084.174
AT ITER 1746 NEW BEST:: SOT 12033787 SOS 7608412 HAS SOPS 6304489 HAS SOUS 2400404 HAS SOUPS 2303404 WITH SCORE 2311012.412
AT ITER 1757 NEW BEST:: SOT 12033750 SOS 7608315 HAS SOPS 6304401 HAS SOUS 2400286 HAS SOUPS 2303307 WITH SCORE 2310915.315
AT ITER 1763 NEW BEST:: SOT 12032759 SOS 7606832 HAS SOPS 6303350 HAS SOUS 2399240 HAS SOUPS 2302281 WITH SCORE 2309887.832
AT ITER 1765 NEW BEST:: SOT 12024479 SOS 7589135 HAS SOPS 6288712 HAS SOUS 2382214 HAS SOUPS 2285426 WITH SCORE 2293015.135
AT ITER 1769 NEW BEST:: SOT 12024189 SOS 7588420 HAS SOPS 6287987 HAS SOUS 2381787 HAS SOUPS 2284999 WITH SCORE 2292587.42
AT ITER 1791 NEW BEST:: SOT 12023097 SOS 7586820 HAS SOPS 6285551 HAS SOUS 2377883 HAS SOUPS 2281034 WITH SCORE 2288620.82
AT ITER 1794 NEW BEST:: SOT 12019875 SOS 7579631 HAS SOPS 6278438 HAS SOUS 2373631 HAS SOUPS 2276824 WITH SCORE 2284403.631
AT ITER 1803 NEW BEST:: SOT 12021916 SOS 7585633 HAS SOPS 6283510 HAS SOUS 2371620 HAS SOUPS 2274813 WITH SCORE 2282398.633
AT ITER 1820 NEW BEST:: SOT 12026530 SOS 7595466 HAS SOPS 6292053 HAS SOUS 2370845 HAS SOUPS 2274038 WITH SCORE 2281633.466
AT ITER 1821 NEW BEST:: SOT 12024265 SOS 7593137 HAS SOPS 6289012 HAS SOUS 2367292 HAS SOUPS 2270450 WITH SCORE 2278043.137
AT ITER 1879 NEW BEST:: SOT 12024878 SOS 7597875 HAS SOPS 6293152 HAS SOUS 2365867 HAS SOUPS 2269025 WITH SCORE 2276622.875
AT ITER 1887 NEW BEST:: SOT 12026250 SOS 7604293 HAS SOPS 6299109 HAS SOUS 2361889 HAS SOUPS 2265103 WITH SCORE 2272707.293
AT ITER 1893 NEW BEST:: SOT 12026044 SOS 7604001 HAS SOPS 6298738 HAS SOUS 2361390 HAS SOUPS 2264604 WITH SCORE 2272208.001
AT ITER 1903 NEW BEST:: SOT 12026054 SOS 7604132 HAS SOPS 6298931 HAS SOUS 2361372 HAS SOUPS 2264586 WITH SCORE 2272190.132
AT ITER 1911 NEW BEST:: SOT 12023197 SOS 7600994 HAS SOPS 6295793 HAS SOUS 2356129 HAS SOUPS 2259343 WITH SCORE 2266943.994
AT ITER 1923 NEW BEST:: SOT 12021667 SOS 7598712 HAS SOPS 6293251 HAS SOUS 2354086 HAS SOUPS 2257323 WITH SCORE 2264921.712
AT ITER 1927 NEW BEST:: SOT 12020626 SOS 7596014 HAS SOPS 6294046 HAS SOUS 2353951 HAS SOUPS 2257188 WITH SCORE 2264784.014
AT ITER 1929 NEW BEST:: SOT 12021328 SOS 7596625 HAS SOPS 6295640 HAS SOUS 2349789 HAS SOUPS 2253754 WITH SCORE 2261350.625
AT ITER 1951 NEW BEST:: SOT 12021949 SOS 7598721 HAS SOPS 6298719 HAS SOUS 2349634 HAS SOUPS 2253599 WITH SCORE 2261197.721
AT ITER 1955 NEW BEST:: SOT 12024789 SOS 7609489 HAS SOPS 6310419 HAS SOUS 2346469 HAS SOUPS 2250434 WITH SCORE 2258043.489
AT ITER 1960 NEW BEST:: SOT 12022480 SOS 7605261 HAS SOPS 6306356 HAS SOUS 2341912 HAS SOUPS 2245877 WITH SCORE 2253482.261
AT ITER 1972 NEW BEST:: SOT 12020658 SOS 7602022 HAS SOPS 6304073 HAS SOUS 2340107 HAS SOUPS 2244100 WITH SCORE 2251702.022
AT ITER 1987 NEW BEST:: SOT 12020902 SOS 7602266 HAS SOPS 6304269 HAS SOUS 2339835 HAS SOUPS 2243828 WITH SCORE 2251430.266
AT ITER 1993 NEW BEST:: SOT 12021234 SOS 7602709 HAS SOPS 6303141 HAS SOUS 2339185 HAS SOUPS 2243178 WITH SCORE 2250780.709
AT ITER 2000 NEW BEST:: SOT 12020322 SOS 7601804 HAS SOPS 6302194 HAS SOUS 2338527 HAS SOUPS 2242507 WITH SCORE 2250108.804
AT ITER 2004 NEW BEST:: SOT 12018524 SOS 7597362 HAS SOPS 6297392 HAS SOUS 2335720 HAS SOUPS 2239730 WITH SCORE 2247327.362
AT ITER 2029 NEW BEST:: SOT 12017815 SOS 7596887 HAS SOPS 6296411 HAS SOUS 2332418 HAS SOUPS 2236395 WITH SCORE 2243991.887
AT ITER 2049 NEW BEST:: SOT 12014614 SOS 7587974 HAS SOPS 6291349 HAS SOUS 2323444 HAS SOUPS 2228052 WITH SCORE 2235639.974
AT ITER 2055 NEW BEST:: SOT 12014444 SOS 7588216 HAS SOPS 6291231 HAS SOUS 2322127 HAS SOUPS 2226711 WITH SCORE 2234299.216
AT ITER 2060 NEW BEST:: SOT 12013900 SOS 7586397 HAS SOPS 6304093 HAS SOUS 2320274 HAS SOUPS 2224858 WITH SCORE 2232444.397
AT ITER 2061 NEW BEST:: SOT 12020262 SOS 7597166 HAS SOPS 6316926 HAS SOUS 2315806 HAS SOUPS 2220716 WITH SCORE 2228313.166
AT ITER 2082 NEW BEST:: SOT 12021427 SOS 7600502 HAS SOPS 6319826 HAS SOUS 2315711 HAS SOUPS 2220621 WITH SCORE 2228221.502
AT ITER 2107 NEW BEST:: SOT 12012810 SOS 7591346 HAS SOPS 6310937 HAS SOUS 2306068 HAS SOUPS 2211049 WITH SCORE 2218640.346
AT ITER 2112 NEW BEST:: SOT 12011529 SOS 7588589 HAS SOPS 6308483 HAS SOUS 2303973 HAS SOUPS 2208954 WITH SCORE 2216542.589
AT ITER 2115 NEW BEST:: SOT 12013052 SOS 7586941 HAS SOPS 6307033 HAS SOUS 2303797 HAS SOUPS 2208822 WITH SCORE 2216408.941
AT ITER 2119 NEW BEST:: SOT 12012271 SOS 7583354 HAS SOPS 6303135 HAS SOUS 2299993 HAS SOUPS 2205018 WITH SCORE 2212601.354
AT ITER 2120 NEW BEST:: SOT 12012190 SOS 7583329 HAS SOPS 6303046 HAS SOUS 2299744 HAS SOUPS 2204761 WITH SCORE 2212344.329
AT ITER 2123 NEW BEST:: SOT 12012496 SOS 7585442 HAS SOPS 6303815 HAS SOUS 2297350 HAS SOUPS 2202367 WITH SCORE 2209952.442
AT ITER 2128 NEW BEST:: SOT 12012459 SOS 7585362 HAS SOPS 6303710 HAS SOUS 2297196 HAS SOUPS 2202220 WITH SCORE 2209805.362
AT ITER 2141 NEW BEST:: SOT 12005786 SOS 7578672 HAS SOPS 6296268 HAS SOUS 2286575 HAS SOUPS 2191599 WITH SCORE 2199177.672
AT ITER 2158 NEW BEST:: SOT 12005147 SOS 7578164 HAS SOPS 6295403 HAS SOUS 2284939 HAS SOUPS 2189951 WITH SCORE 2197529.164
AT ITER 2159 NEW BEST:: SOT 12002343 SOS 7574230 HAS SOPS 6291842 HAS SOUS 2273755 HAS SOUPS 2178771 WITH SCORE 2186345.23
AT ITER 2201 NEW BEST:: SOT 11997674 SOS 7566347 HAS SOPS 6283817 HAS SOUS 2269709 HAS SOUPS 2174609 WITH SCORE 2182175.347
AT ITER 2221 NEW BEST:: SOT 11997670 SOS 7566343 HAS SOPS 6283813 HAS SOUS 2269701 HAS SOUPS 2174601 WITH SCORE 2182167.343
AT ITER 2233 NEW BEST:: SOT 11996374 SOS 7564836 HAS SOPS 6282876 HAS SOUS 2265143 HAS SOUPS 2170043 WITH SCORE 2177607.836
AT ITER 2251 NEW BEST:: SOT 11994241 SOS 7562585 HAS SOPS 6281456 HAS SOUS 2262939 HAS SOUPS 2167839 WITH SCORE 2175401.585
AT ITER 2259 NEW BEST:: SOT 11996288 SOS 7565029 HAS SOPS 6285193 HAS SOUS 2261135 HAS SOUPS 2166160 WITH SCORE 2173725.029
AT ITER 2263 NEW BEST:: SOT 11995952 SOS 7564697 HAS SOPS 6284653 HAS SOUS 2260175 HAS SOUPS 2165200 WITH SCORE 2172764.697
AT ITER 2266 NEW BEST:: SOT 11995889 SOS 7564616 HAS SOPS 6284554 HAS SOUS 2259734 HAS SOUPS 2164759 WITH SCORE 2172323.616
AT ITER 2267 NEW BEST:: SOT 11994901 SOS 7564060 HAS SOPS 6281647 HAS SOUS 2257419 HAS SOUPS 2162444 WITH SCORE 2170008.06
AT ITER 2270 NEW BEST:: SOT 11990057 SOS 7558035 HAS SOPS 6275136 HAS SOUS 2250749 HAS SOUPS 2155684 WITH SCORE 2163242.035
AT ITER 2285 NEW BEST:: SOT 11986752 SOS 7554083 HAS SOPS 6272406 HAS SOUS 2249720 HAS SOUPS 2154611 WITH SCORE 2162165.083
AT ITER 2289 NEW BEST:: SOT 11991519 SOS 7562096 HAS SOPS 6279843 HAS SOUS 2243285 HAS SOUPS 2148176 WITH SCORE 2155738.096
AT ITER 2298 NEW BEST:: SOT 11985713 SOS 7550636 HAS SOPS 6269857 HAS SOUS 2237511 HAS SOUPS 2142402 WITH SCORE 2149952.636
AT ITER 2322 NEW BEST:: SOT 11986016 SOS 7551987 HAS SOPS 6270860 HAS SOUS 2236992 HAS SOUPS 2141895 WITH SCORE 2149446.987
AT ITER 2324 NEW BEST:: SOT 11986042 SOS 7552089 HAS SOPS 6270892 HAS SOUS 2236984 HAS SOUPS 2141887 WITH SCORE 2149439.089
AT ITER 2332 NEW BEST:: SOT 11982032 SOS 7548079 HAS SOPS 6266882 HAS SOUS 2232974 HAS SOUPS 2137877 WITH SCORE 2145425.079
AT ITER 2350 NEW BEST:: SOT 11979684 SOS 7542633 HAS SOPS 6260473 HAS SOUS 2227764 HAS SOUPS 2132667 WITH SCORE 2140209.633
AT ITER 2360 NEW BEST:: SOT 11979724 SOS 7542499 HAS SOPS 6260285 HAS SOUS 2227588 HAS SOUPS 2132493 WITH SCORE 2140035.499
AT ITER 2361 NEW BEST:: SOT 11979083 SOS 7541069 HAS SOPS 6259026 HAS SOUS 2226384 HAS SOUPS 2131306 WITH SCORE 2138847.069
AT ITER 2364 NEW BEST:: SOT 11971991 SOS 7533373 HAS SOPS 6252750 HAS SOUS 2218234 HAS SOUPS 2123156 WITH SCORE 2130689.373
AT ITER 2376 NEW BEST:: SOT 11974134 SOS 7539995 HAS SOPS 6259398 HAS SOUS 2216232 HAS SOUPS 2121154 WITH SCORE 2128693.995
AT ITER 2389 NEW BEST:: SOT 11975062 SOS 7542598 HAS SOPS 6259654 HAS SOUS 2215705 HAS SOUPS 2120575 WITH SCORE 2128117.598
AT ITER 2427 NEW BEST:: SOT 11973310 SOS 7536902 HAS SOPS 6254310 HAS SOUS 2214002 HAS SOUPS 2118872 WITH SCORE 2126408.902
AT ITER 2444 NEW BEST:: SOT 11976155 SOS 7541051 HAS SOPS 6255134 HAS SOUS 2211548 HAS SOUPS 2116418 WITH SCORE 2123959.051
AT ITER 2487 NEW BEST:: SOT 11973421 SOS 7535545 HAS SOPS 6250085 HAS SOUS 2202072 HAS SOUPS 2107600 WITH SCORE 2115135.545
AT ITER 2499 NEW BEST:: SOT 11973406 SOS 7535530 HAS SOPS 6250070 HAS SOUS 2202033 HAS SOUPS 2107561 WITH SCORE 2115096.53
AT ITER 2504 NEW BEST:: SOT 11972978 SOS 7535040 HAS SOPS 6249384 HAS SOUS 2201127 HAS SOUPS 2106663 WITH SCORE 2114198.04
AT ITER 2516 NEW BEST:: SOT 11972845 SOS 7534822 HAS SOPS 6248977 HAS SOUS 2200744 HAS SOUPS 2106280 WITH SCORE 2113814.822
AT ITER 2525 NEW BEST:: SOT 11966097 SOS 7520142 HAS SOPS 6235208 HAS SOUS 2194009 HAS SOUPS 2099616 WITH SCORE 2107136.142
AT ITER 2526 NEW BEST:: SOT 11961005 SOS 7514441 HAS SOPS 6227544 HAS SOUS 2192426 HAS SOUPS 2095769 WITH SCORE 2103283.441
AT ITER 2530 NEW BEST:: SOT 11960993 SOS 7514574 HAS SOPS 6228371 HAS SOUS 2192419 HAS SOUPS 2095762 WITH SCORE 2103276.574
AT ITER 2538 NEW BEST:: SOT 11963377 SOS 7518516 HAS SOPS 6230154 HAS SOUS 2192405 HAS SOUPS 2095639 WITH SCORE 2103157.516
AT ITER 2543 NEW BEST:: SOT 11962473 SOS 7525553 HAS SOPS 6237191 HAS SOUS 2188426 HAS SOUPS 2091660 WITH SCORE 2099185.553
AT ITER 2564 NEW BEST:: SOT 11962733 SOS 7525476 HAS SOPS 6236910 HAS SOUS 2187442 HAS SOUPS 2090676 WITH SCORE 2098201.476
AT ITER 2570 NEW BEST:: SOT 11961988 SOS 7524540 HAS SOPS 6235526 HAS SOUS 2187244 HAS SOUPS 2090478 WITH SCORE 2098002.54
AT ITER 2578 NEW BEST:: SOT 11961679 SOS 7524342 HAS SOPS 6235933 HAS SOUS 2186915 HAS SOUPS 2090149 WITH SCORE 2097673.342
AT ITER 2595 NEW BEST:: SOT 11961789 SOS 7524606 HAS SOPS 6235849 HAS SOUS 2186818 HAS SOUPS 2090052 WITH SCORE 2097576.606
AT ITER 2616 NEW BEST:: SOT 11961622 SOS 7524594 HAS SOPS 6235960 HAS SOUS 2186793 HAS SOUPS 2090016 WITH SCORE 2097540.594
AT ITER 2623 NEW BEST:: SOT 11955903 SOS 7509419 HAS SOPS 6222775 HAS SOUS 2185780 HAS SOUPS 2089003 WITH SCORE 2096512.419
AT ITER 2626 NEW BEST:: SOT 11949247 SOS 7502764 HAS SOPS 6215867 HAS SOUS 2177964 HAS SOUPS 2081349 WITH SCORE 2088851.764
AT ITER 2627 NEW BEST:: SOT 11949027 SOS 7503702 HAS SOPS 6216242 HAS SOUS 2177449 HAS SOUPS 2080804 WITH SCORE 2088307.702
AT ITER 2630 NEW BEST:: SOT 11948688 SOS 7503218 HAS SOPS 6215780 HAS SOUS 2177222 HAS SOUPS 2080588 WITH SCORE 2088091.218
AT ITER 2632 NEW BEST:: SOT 11948092 SOS 7503000 HAS SOPS 6215121 HAS SOUS 2175366 HAS SOUPS 2078711 WITH SCORE 2086214.0
AT ITER 2645 NEW BEST:: SOT 11948512 SOS 7503952 HAS SOPS 6214075 HAS SOUS 2174592 HAS SOUPS 2077937 WITH SCORE 2085440.952
AT ITER 2682 NEW BEST:: SOT 11948446 SOS 7503886 HAS SOPS 6214001 HAS SOUS 2174478 HAS SOUPS 2077815 WITH SCORE 2085318.886
AT ITER 2685 NEW BEST:: SOT 11945038 SOS 7498902 HAS SOPS 6209497 HAS SOUS 2171805 HAS SOUPS 2075142 WITH SCORE 2082640.902
AT ITER 2689 NEW BEST:: SOT 11944858 SOS 7497083 HAS SOPS 6207550 HAS SOUS 2171746 HAS SOUPS 2075083 WITH SCORE 2082580.083
AT ITER 2696 NEW BEST:: SOT 11944800 SOS 7497022 HAS SOPS 6207520 HAS SOUS 2171620 HAS SOUPS 2074989 WITH SCORE 2082486.022
AT ITER 2703 NEW BEST:: SOT 11944558 SOS 7496716 HAS SOPS 6207126 HAS SOUS 2171575 HAS SOUPS 2074944 WITH SCORE 2082440.716
AT ITER 2718 NEW BEST:: SOT 11949143 SOS 7508429 HAS SOPS 6214708 HAS SOUS 2167771 HAS SOUPS 2071140 WITH SCORE 2078648.429
AT ITER 2727 NEW BEST:: SOT 11945963 SOS 7498817 HAS SOPS 6207113 HAS SOUS 2165303 HAS SOUPS 2068737 WITH SCORE 2076235.817
AT ITER 2748 NEW BEST:: SOT 11947893 SOS 7500818 HAS SOPS 6210051 HAS SOUS 2163873 HAS SOUPS 2067307 WITH SCORE 2074807.818
AT ITER 2763 NEW BEST:: SOT 11947375 SOS 7501013 HAS SOPS 6209173 HAS SOUS 2162356 HAS SOUPS 2065790 WITH SCORE 2073291.013
AT ITER 2787 NEW BEST:: SOT 11946445 SOS 7499420 HAS SOPS 6207657 HAS SOUS 2157039 HAS SOUPS 2060554 WITH SCORE 2068053.42
AT ITER 2789 NEW BEST:: SOT 11946734 SOS 7501157 HAS SOPS 6208354 HAS SOUS 2154226 HAS SOUPS 2057741 WITH SCORE 2065242.157
AT ITER 2808 NEW BEST:: SOT 11946185 SOS 7502107 HAS SOPS 6208496 HAS SOUS 2152853 HAS SOUPS 2056327 WITH SCORE 2063829.107
AT ITER 2844 NEW BEST:: SOT 11946120 SOS 7502162 HAS SOPS 6208406 HAS SOUS 2152418 HAS SOUPS 2055892 WITH SCORE 2063394.162
AT ITER 2862 NEW BEST:: SOT 11944063 SOS 7499734 HAS SOPS 6204715 HAS SOUS 2145738 HAS SOUPS 2049306 WITH SCORE 2056805.734
AT ITER 2911 NEW BEST:: SOT 11943643 SOS 7497950 HAS SOPS 6207154 HAS SOUS 2145214 HAS SOUPS 2048782 WITH SCORE 2056279.95
AT ITER 2929 NEW BEST:: SOT 11943393 SOS 7497638 HAS SOPS 6206868 HAS SOUS 2144942 HAS SOUPS 2048510 WITH SCORE 2056007.638
AT ITER 2945 NEW BEST:: SOT 11940428 SOS 7493277 HAS SOPS 6204832 HAS SOUS 2142649 HAS SOUPS 2046217 WITH SCORE 2053710.277
AT ITER 2947 NEW BEST:: SOT 11939476 SOS 7487586 HAS SOPS 6199844 HAS SOUS 2142644 HAS SOUPS 2046212 WITH SCORE 2053699.586
AT ITER 2950 NEW BEST:: SOT 11939381 SOS 7487471 HAS SOPS 6199753 HAS SOUS 2142641 HAS SOUPS 2046209 WITH SCORE 2053696.471
AT ITER 2965 NEW BEST:: SOT 11939531 SOS 7492957 HAS SOPS 6206016 HAS SOUS 2142205 HAS SOUPS 2045875 WITH SCORE 2053367.957
AT ITER 2975 NEW BEST:: SOT 11939381 SOS 7492457 HAS SOPS 6205486 HAS SOUS 2142055 HAS SOUPS 2045725 WITH SCORE 2053217.457
AT ITER 2979 NEW BEST:: SOT 11937886 SOS 7490686 HAS SOPS 6202505 HAS SOUS 2137188 HAS SOUPS 2040806 WITH SCORE 2048296.686
AT ITER 3005 NEW BEST:: SOT 11930398 SOS 7480427 HAS SOPS 6191414 HAS SOUS 2126749 HAS SOUPS 2030367 WITH SCORE 2037847.427
AT ITER 3015 NEW BEST:: SOT 11929683 SOS 7479679 HAS SOPS 6190313 HAS SOUS 2125392 HAS SOUPS 2029010 WITH SCORE 2036489.679
AT ITER 3016 NEW BEST:: SOT 11929265 SOS 7478902 HAS SOPS 6189434 HAS SOUS 2124237 HAS SOUPS 2027882 WITH SCORE 2035360.902
AT ITER 3031 NEW BEST:: SOT 11928563 SOS 7478060 HAS SOPS 6188217 HAS SOUS 2120780 HAS SOUPS 2024425 WITH SCORE 2031903.06
AT ITER 3045 NEW BEST:: SOT 11930309 SOS 7478476 HAS SOPS 6189834 HAS SOUS 2119276 HAS SOUPS 2022997 WITH SCORE 2030475.476
AT ITER 3052 NEW BEST:: SOT 11931976 SOS 7480175 HAS SOPS 6191309 HAS SOUS 2118811 HAS SOUPS 2022532 WITH SCORE 2030012.175
AT ITER 3053 NEW BEST:: SOT 11928255 SOS 7465510 HAS SOPS 6180204 HAS SOUS 2116517 HAS SOUPS 2020238 WITH SCORE 2027703.51
AT ITER 3065 NEW BEST:: SOT 11928227 SOS 7465444 HAS SOPS 6180203 HAS SOUS 2116463 HAS SOUPS 2020186 WITH SCORE 2027651.444
AT ITER 3066 NEW BEST:: SOT 11932548 SOS 7460988 HAS SOPS 6188956 HAS SOUS 2114750 HAS SOUPS 2018473 WITH SCORE 2025933.988
AT ITER 3081 NEW BEST:: SOT 11933102 SOS 7463545 HAS SOPS 6189698 HAS SOUS 2111436 HAS SOUPS 2015104 WITH SCORE 2022567.545
AT ITER 3082 NEW BEST:: SOT 11928932 SOS 7459349 HAS SOPS 6185542 HAS SOUS 2107778 HAS SOUPS 2011446 WITH SCORE 2018905.349
AT ITER 3103 NEW BEST:: SOT 11929513 SOS 7459851 HAS SOPS 6185921 HAS SOUS 2105629 HAS SOUPS 2009297 WITH SCORE 2016756.851
AT ITER 3119 NEW BEST:: SOT 11929427 SOS 7459765 HAS SOPS 6185739 HAS SOUS 2105465 HAS SOUPS 2009115 WITH SCORE 2016574.765
AT ITER 3133 NEW BEST:: SOT 11928365 SOS 7458555 HAS SOPS 6184849 HAS SOUS 2104528 HAS SOUPS 2008178 WITH SCORE 2015636.555
AT ITER 3136 NEW BEST:: SOT 11928093 SOS 7455756 HAS SOPS 6183105 HAS SOUS 2104100 HAS SOUPS 2007958 WITH SCORE 2015413.756
AT ITER 3138 NEW BEST:: SOT 11926875 SOS 7450972 HAS SOPS 6178586 HAS SOUS 2095442 HAS SOUPS 1999485 WITH SCORE 2006935.972
AT ITER 3143 NEW BEST:: SOT 11926268 SOS 7449844 HAS SOPS 6178073 HAS SOUS 2093350 HAS SOUPS 1997628 WITH SCORE 2005077.844
AT ITER 3144 NEW BEST:: SOT 11926072 SOS 7449655 HAS SOPS 6177772 HAS SOUS 2092818 HAS SOUPS 1997096 WITH SCORE 2004545.655
AT ITER 3159 NEW BEST:: SOT 11926134 SOS 7449785 HAS SOPS 6177830 HAS SOUS 2092803 HAS SOUPS 1997081 WITH SCORE 2004530.785
AT ITER 3163 NEW BEST:: SOT 11924521 SOS 7448172 HAS SOPS 6176217 HAS SOUS 2091390 HAS SOUPS 1995668 WITH SCORE 2003116.172
AT ITER 3167 NEW BEST:: SOT 11924314 SOS 7449039 HAS SOPS 6177263 HAS SOUS 2090356 HAS SOUPS 1994634 WITH SCORE 2002083.039
AT ITER 3171 NEW BEST:: SOT 11924328 SOS 7449053 HAS SOPS 6177277 HAS SOUS 2090330 HAS SOUPS 1994608 WITH SCORE 2002057.053
AT ITER 3189 NEW BEST:: SOT 11924338 SOS 7449060 HAS SOPS 6177179 HAS SOUS 2090070 HAS SOUPS 1994348 WITH SCORE 2001797.06
AT ITER 3192 NEW BEST:: SOT 11921824 SOS 7448041 HAS SOPS 6178658 HAS SOUS 2076164 HAS SOUPS 1980442 WITH SCORE 1987890.041
AT ITER 3197 NEW BEST:: SOT 11926618 SOS 7440713 HAS SOPS 6173865 HAS SOUS 2073842 HAS SOUPS 1978252 WITH SCORE 1985692.713
AT ITER 3207 NEW BEST:: SOT 11927411 SOS 7442880 HAS SOPS 6174996 HAS SOUS 2073394 HAS SOUPS 1977813 WITH SCORE 1985255.88
AT ITER 3213 NEW BEST:: SOT 11926739 SOS 7442444 HAS SOPS 6175627 HAS SOUS 2070589 HAS SOUPS 1974943 WITH SCORE 1982385.444
AT ITER 3227 NEW BEST:: SOT 11927093 SOS 7446046 HAS SOPS 6179641 HAS SOUS 2070152 HAS SOUPS 1974506 WITH SCORE 1981952.046
AT ITER 3228 NEW BEST:: SOT 11924275 SOS 7442590 HAS SOPS 6175430 HAS SOUS 2063920 HAS SOUPS 1968332 WITH SCORE 1975774.59
AT ITER 3231 NEW BEST:: SOT 11924306 SOS 7441099 HAS SOPS 6173960 HAS SOUS 2062319 HAS SOUPS 1966796 WITH SCORE 1974237.099
AT ITER 3236 NEW BEST:: SOT 11924423 SOS 7444908 HAS SOPS 6175359 HAS SOUS 2058373 HAS SOUPS 1962850 WITH SCORE 1970294.908
AT ITER 3241 NEW BEST:: SOT 11923851 SOS 7444336 HAS SOPS 6174531 HAS SOUS 2056829 HAS SOUPS 1961306 WITH SCORE 1968750.336
AT ITER 3245 NEW BEST:: SOT 11922661 SOS 7443436 HAS SOPS 6174608 HAS SOUS 2056469 HAS SOUPS 1961166 WITH SCORE 1968609.436
AT ITER 3247 NEW BEST:: SOT 11921725 SOS 7442523 HAS SOPS 6173442 HAS SOUS 2054674 HAS SOUPS 1959463 WITH SCORE 1966905.523
AT ITER 3267 NEW BEST:: SOT 11922470 SOS 7443898 HAS SOPS 6174719 HAS SOUS 2053385 HAS SOUPS 1958174 WITH SCORE 1965617.898
AT ITER 3276 NEW BEST:: SOT 11920157 SOS 7435241 HAS SOPS 6170024 HAS SOUS 2052091 HAS SOUPS 1956958 WITH SCORE 1964393.241
AT ITER 3286 NEW BEST:: SOT 11919674 SOS 7434598 HAS SOPS 6169940 HAS SOUS 2052003 HAS SOUPS 1956881 WITH SCORE 1964315.598
AT ITER 3289 NEW BEST:: SOT 11921935 SOS 7436814 HAS SOPS 6172897 HAS SOUS 2049451 HAS SOUPS 1954993 WITH SCORE 1962429.814
AT ITER 3295 NEW BEST:: SOT 11921864 SOS 7436637 HAS SOPS 6172756 HAS SOUS 2049333 HAS SOUPS 1954885 WITH SCORE 1962321.637
AT ITER 3298 NEW BEST:: SOT 11926502 SOS 7443528 HAS SOPS 6179154 HAS SOUS 2048749 HAS SOUPS 1954457 WITH SCORE 1961900.528
AT ITER 3301 NEW BEST:: SOT 11926486 SOS 7443786 HAS SOPS 6180033 HAS SOUS 2047632 HAS SOUPS 1953340 WITH SCORE 1960783.786
AT ITER 3314 NEW BEST:: SOT 11927932 SOS 7449061 HAS SOPS 6182872 HAS SOUS 2046189 HAS SOUPS 1951844 WITH SCORE 1959293.061
AT ITER 3339 NEW BEST:: SOT 11928787 SOS 7449721 HAS SOPS 6182811 HAS SOUS 2045342 HAS SOUPS 1951007 WITH SCORE 1958456.721
AT ITER 3342 NEW BEST:: SOT 11928034 SOS 7449189 HAS SOPS 6181566 HAS SOUS 2044083 HAS SOUPS 1949692 WITH SCORE 1957141.189
AT ITER 3352 NEW BEST:: SOT 11928369 SOS 7450168 HAS SOPS 6182463 HAS SOUS 2043953 HAS SOUPS 1949569 WITH SCORE 1957019.168
AT ITER 3373 NEW BEST:: SOT 11928334 SOS 7449823 HAS SOPS 6182147 HAS SOUS 2043886 HAS SOUPS 1949507 WITH SCORE 1956956.823
AT ITER 3399 NEW BEST:: SOT 11928381 SOS 7449573 HAS SOPS 6181884 HAS SOUS 2043637 HAS SOUPS 1949258 WITH SCORE 1956707.573
AT ITER 3400 NEW BEST:: SOT 11928884 SOS 7450936 HAS SOPS 6185808 HAS SOUS 2042284 HAS SOUPS 1947905 WITH SCORE 1955355.936
AT ITER 3404 NEW BEST:: SOT 11928586 SOS 7450225 HAS SOPS 6185149 HAS SOUS 2041691 HAS SOUPS 1947312 WITH SCORE 1954762.225
AT ITER 3406 NEW BEST:: SOT 11929209 SOS 7450836 HAS SOPS 6185164 HAS SOUS 2041362 HAS SOUPS 1946983 WITH SCORE 1954433.836
AT ITER 3408 NEW BEST:: SOT 11924689 SOS 7442777 HAS SOPS 6177605 HAS SOUS 2037596 HAS SOUPS 1943217 WITH SCORE 1950659.777
AT ITER 3426 NEW BEST:: SOT 11923718 SOS 7440961 HAS SOPS 6174413 HAS SOUS 2035451 HAS SOUPS 1941072 WITH SCORE 1948512.961
AT ITER 3442 NEW BEST:: SOT 11923026 SOS 7440713 HAS SOPS 6172723 HAS SOUS 2032115 HAS SOUPS 1937683 WITH SCORE 1945123.713
AT ITER 3453 NEW BEST:: SOT 11922825 SOS 7440085 HAS SOPS 6171494 HAS SOUS 2031318 HAS SOUPS 1936886 WITH SCORE 1944326.085
AT ITER 3461 NEW BEST:: SOT 11922352 SOS 7440960 HAS SOPS 6172369 HAS SOUS 2027386 HAS SOUPS 1932954 WITH SCORE 1940394.96
AT ITER 3462 NEW BEST:: SOT 11921138 SOS 7441001 HAS SOPS 6176688 HAS SOUS 2016119 HAS SOUPS 1921735 WITH SCORE 1929176.001
AT ITER 3470 NEW BEST:: SOT 11920840 SOS 7438242 HAS SOPS 6174829 HAS SOUS 2015640 HAS SOUPS 1921296 WITH SCORE 1928734.242
AT ITER 3480 NEW BEST:: SOT 11919149 SOS 7435441 HAS SOPS 6172423 HAS SOUS 2012977 HAS SOUPS 1918680 WITH SCORE 1926115.441
AT ITER 3542 NEW BEST:: SOT 11921022 SOS 7434599 HAS SOPS 6171907 HAS SOUS 2010680 HAS SOUPS 1916453 WITH SCORE 1923887.599
AT ITER 3552 NEW BEST:: SOT 11919850 SOS 7432740 HAS SOPS 6170721 HAS SOUS 2010324 HAS SOUPS 1916130 WITH SCORE 1923562.74
AT ITER 3556 NEW BEST:: SOT 11921874 SOS 7436055 HAS SOPS 6173164 HAS SOUS 2005868 HAS SOUPS 1911626 WITH SCORE 1919062.055
AT ITER 3578 NEW BEST:: SOT 11918857 SOS 7427628 HAS SOPS 6166165 HAS SOUS 2004966 HAS SOUPS 1910782 WITH SCORE 1918209.628
AT ITER 3591 NEW BEST:: SOT 11918636 SOS 7426711 HAS SOPS 6165200 HAS SOUS 2004605 HAS SOUPS 1910421 WITH SCORE 1917847.711
AT ITER 3600 NEW BEST:: SOT 11918364 SOS 7426715 HAS SOPS 6164322 HAS SOUS 2002967 HAS SOUPS 1908783 WITH SCORE 1916209.715
AT ITER 3603 NEW BEST:: SOT 11917959 SOS 7425646 HAS SOPS 6163177 HAS SOUS 2001840 HAS SOUPS 1907656 WITH SCORE 1915081.646
AT ITER 3612 NEW BEST:: SOT 11918975 SOS 7428141 HAS SOPS 6164993 HAS SOUS 2001763 HAS SOUPS 1907548 WITH SCORE 1914976.141
AT ITER 3614 NEW BEST:: SOT 11912858 SOS 7416428 HAS SOPS 6154317 HAS SOUS 1983519 HAS SOUPS 1889356 WITH SCORE 1896772.428
AT ITER 3617 NEW BEST:: SOT 11911358 SOS 7414784 HAS SOPS 6152085 HAS SOUS 1980241 HAS SOUPS 1886078 WITH SCORE 1893492.784
AT ITER 3646 NEW BEST:: SOT 11911332 SOS 7414803 HAS SOPS 6152002 HAS SOUS 1979936 HAS SOUPS 1885779 WITH SCORE 1893193.803
AT ITER 3675 NEW BEST:: SOT 11908146 SOS 7415812 HAS SOPS 6149972 HAS SOUS 1974765 HAS SOUPS 1880387 WITH SCORE 1887802.812
AT ITER 3692 NEW BEST:: SOT 11907063 SOS 7412569 HAS SOPS 6147746 HAS SOUS 1973619 HAS SOUPS 1879266 WITH SCORE 1886678.569
AT ITER 3697 NEW BEST:: SOT 11907134 SOS 7412611 HAS SOPS 6147696 HAS SOUS 1973546 HAS SOUPS 1879193 WITH SCORE 1886605.611
AT ITER 3720 NEW BEST:: SOT 11907822 SOS 7413526 HAS SOPS 6148375 HAS SOUS 1973140 HAS SOUPS 1878855 WITH SCORE 1886268.526
AT ITER 3742 NEW BEST:: SOT 11907626 SOS 7413201 HAS SOPS 6147711 HAS SOUS 1972597 HAS SOUPS 1878312 WITH SCORE 1885725.201
AT ITER 3751 NEW BEST:: SOT 11907516 SOS 7414457 HAS SOPS 6148401 HAS SOUS 1971440 HAS SOUPS 1877155 WITH SCORE 1884569.457
AT ITER 3757 NEW BEST:: SOT 11906926 SOS 7413867 HAS SOPS 6147811 HAS SOUS 1970518 HAS SOUPS 1876233 WITH SCORE 1883646.867
AT ITER 3758 NEW BEST:: SOT 11902961 SOS 7424238 HAS SOPS 6152565 HAS SOUS 1964248 HAS SOUPS 1869963 WITH SCORE 1877387.238
AT ITER 3791 NEW BEST:: SOT 11902785 SOS 7424061 HAS SOPS 6152340 HAS SOUS 1963844 HAS SOUPS 1869559 WITH SCORE 1876983.061
AT ITER 3801 NEW BEST:: SOT 11902808 SOS 7424081 HAS SOPS 6152358 HAS SOUS 1963646 HAS SOUPS 1869361 WITH SCORE 1876785.081
AT ITER 3802 NEW BEST:: SOT 11902792 SOS 7424065 HAS SOPS 6152342 HAS SOUS 1963630 HAS SOUPS 1869345 WITH SCORE 1876769.065
AT ITER 3803 NEW BEST:: SOT 11902502 SOS 7423667 HAS SOPS 6151800 HAS SOUS 1963197 HAS SOUPS 1868907 WITH SCORE 1876330.667
AT ITER 3818 NEW BEST:: SOT 11902744 SOS 7423762 HAS SOPS 6152291 HAS SOUS 1962016 HAS SOUPS 1867748 WITH SCORE 1875171.762
AT ITER 3823 NEW BEST:: SOT 11902579 SOS 7426214 HAS SOPS 6155640 HAS SOUS 1961286 HAS SOUPS 1867018 WITH SCORE 1874444.214
AT ITER 3831 NEW BEST:: SOT 11902560 SOS 7425936 HAS SOPS 6155503 HAS SOUS 1960644 HAS SOUPS 1866400 WITH SCORE 1873825.936
AT ITER 3836 NEW BEST:: SOT 11900504 SOS 7423736 HAS SOPS 6151909 HAS SOUS 1957405 HAS SOUPS 1863161 WITH SCORE 1870584.736
AT ITER 3842 NEW BEST:: SOT 11899627 SOS 7422312 HAS SOPS 6149428 HAS SOUS 1955876 HAS SOUPS 1861632 WITH SCORE 1869054.312
AT ITER 3844 NEW BEST:: SOT 11900724 SOS 7426411 HAS SOPS 6150354 HAS SOUS 1953208 HAS SOUPS 1858964 WITH SCORE 1866390.411
AT ITER 3863 NEW BEST:: SOT 11899515 SOS 7423784 HAS SOPS 6145804 HAS SOUS 1951206 HAS SOUPS 1857026 WITH SCORE 1864449.784
AT ITER 3883 NEW BEST:: SOT 11899795 SOS 7424074 HAS SOPS 6146150 HAS SOUS 1950998 HAS SOUPS 1856818 WITH SCORE 1864242.074
AT ITER 3892 NEW BEST:: SOT 11899888 SOS 7428822 HAS SOPS 6151866 HAS SOUS 1947776 HAS SOUPS 1853703 WITH SCORE 1861131.822
AT ITER 3924 NEW BEST:: SOT 11899892 SOS 7428542 HAS SOPS 6151225 HAS SOUS 1947410 HAS SOUPS 1853337 WITH SCORE 1860765.542
AT ITER 3928 NEW BEST:: SOT 11896586 SOS 7423787 HAS SOPS 6145327 HAS SOUS 1946046 HAS SOUPS 1851973 WITH SCORE 1859396.787
AT ITER 3930 NEW BEST:: SOT 11896441 SOS 7422794 HAS SOPS 6145957 HAS SOUS 1942903 HAS SOUPS 1848868 WITH SCORE 1856290.794
AT ITER 3951 NEW BEST:: SOT 11894963 SOS 7421025 HAS SOPS 6143311 HAS SOUS 1940425 HAS SOUPS 1846229 WITH SCORE 1853650.025
AT ITER 3986 NEW BEST:: SOT 11894938 SOS 7421228 HAS SOPS 6143549 HAS SOUS 1940381 HAS SOUPS 1846185 WITH SCORE 1853606.228
AT ITER 4002 NEW BEST:: SOT 11894627 SOS 7410865 HAS SOPS 6131512 HAS SOUS 1938924 HAS SOUPS 1844929 WITH SCORE 1852339.865
AT ITER 4015 NEW BEST:: SOT 11895760 SOS 7415432 HAS SOPS 6131179 HAS SOUS 1934460 HAS SOUPS 1840465 WITH SCORE 1847880.432
AT ITER 4024 NEW BEST:: SOT 11893402 SOS 7408784 HAS SOPS 6123924 HAS SOUS 1933166 HAS SOUPS 1839171 WITH SCORE 1846579.784
AT ITER 4036 NEW BEST:: SOT 11892854 SOS 7408236 HAS SOPS 6123088 HAS SOUS 1931958 HAS SOUPS 1837771 WITH SCORE 1845179.236
AT ITER 4075 NEW BEST:: SOT 11891251 SOS 7406971 HAS SOPS 6122167 HAS SOUS 1930324 HAS SOUPS 1836137 WITH SCORE 1843543.971
AT ITER 4076 NEW BEST:: SOT 11890419 SOS 7405206 HAS SOPS 6120182 HAS SOUS 1929981 HAS SOUPS 1835773 WITH SCORE 1843178.206
AT ITER 4077 NEW BEST:: SOT 11893131 SOS 7407905 HAS SOPS 6122305 HAS SOUS 1929629 HAS SOUPS 1835421 WITH SCORE 1842828.905
AT ITER 4083 NEW BEST:: SOT 11892712 SOS 7405659 HAS SOPS 6119922 HAS SOUS 1928692 HAS SOUPS 1834528 WITH SCORE 1841933.659
AT ITER 4087 NEW BEST:: SOT 11892316 SOS 7405170 HAS SOPS 6119192 HAS SOUS 1927850 HAS SOUPS 1833686 WITH SCORE 1841091.17
AT ITER 4093 NEW BEST:: SOT 11888321 SOS 7400605 HAS SOPS 6116707 HAS SOUS 1923658 HAS SOUPS 1830887 WITH SCORE 1838287.605
AT ITER 4094 NEW BEST:: SOT 11887831 SOS 7400280 HAS SOPS 6116377 HAS SOUS 1921995 HAS SOUPS 1829224 WITH SCORE 1836624.28
AT ITER 4128 NEW BEST:: SOT 11887809 SOS 7400351 HAS SOPS 6116372 HAS SOUS 1917853 HAS SOUPS 1825082 WITH SCORE 1832482.351
AT ITER 4130 NEW BEST:: SOT 11886375 SOS 7398923 HAS SOPS 6114938 HAS SOUS 1916425 HAS SOUPS 1823648 WITH SCORE 1831046.923
AT ITER 4140 NEW BEST:: SOT 11886641 SOS 7399183 HAS SOPS 6116751 HAS SOUS 1916220 HAS SOUPS 1823557 WITH SCORE 1830956.183
AT ITER 4151 NEW BEST:: SOT 11884387 SOS 7397628 HAS SOPS 6111192 HAS SOUS 1911525 HAS SOUPS 1818771 WITH SCORE 1826168.628
AT ITER 4162 NEW BEST:: SOT 11884038 SOS 7396692 HAS SOPS 6110671 HAS SOUS 1911493 HAS SOUPS 1818748 WITH SCORE 1826144.692
AT ITER 4169 NEW BEST:: SOT 11881065 SOS 7393719 HAS SOPS 6106978 HAS SOUS 1909472 HAS SOUPS 1816023 WITH SCORE 1823416.719
AT ITER 4175 NEW BEST:: SOT 11881372 SOS 7392956 HAS SOPS 6107292 HAS SOUS 1907595 HAS SOUPS 1814190 WITH SCORE 1821582.956
AT ITER 4216 NEW BEST:: SOT 11881362 SOS 7392934 HAS SOPS 6107270 HAS SOUS 1907579 HAS SOUPS 1814174 WITH SCORE 1821566.934
AT ITER 4231 NEW BEST:: SOT 11880459 SOS 7385880 HAS SOPS 6103586 HAS SOUS 1906806 HAS SOUPS 1813467 WITH SCORE 1820852.88
AT ITER 4245 NEW BEST:: SOT 11882762 SOS 7386990 HAS SOPS 6105828 HAS SOUS 1906411 HAS SOUPS 1813072 WITH SCORE 1820458.99
AT ITER 4254 NEW BEST:: SOT 11881344 SOS 7385790 HAS SOPS 6104392 HAS SOUS 1905058 HAS SOUPS 1811719 WITH SCORE 1819104.79
AT ITER 4257 NEW BEST:: SOT 11881227 SOS 7385691 HAS SOPS 6104305 HAS SOUS 1904771 HAS SOUPS 1811435 WITH SCORE 1818820.691
AT ITER 4274 NEW BEST:: SOT 11879900 SOS 7380122 HAS SOPS 6100697 HAS SOUS 1903219 HAS SOUPS 1810180 WITH SCORE 1817560.122
AT ITER 4291 NEW BEST:: SOT 11879661 SOS 7379156 HAS SOPS 6099959 HAS SOUS 1902613 HAS SOUPS 1809574 WITH SCORE 1816953.156
AT ITER 4340 NEW BEST:: SOT 11877546 SOS 7374672 HAS SOPS 6098790 HAS SOUS 1901811 HAS SOUPS 1808823 WITH SCORE 1816197.672
AT ITER 4372 NEW BEST:: SOT 11874259 SOS 7365140 HAS SOPS 6090466 HAS SOUS 1897569 HAS SOUPS 1804676 WITH SCORE 1812041.14
AT ITER 4374 NEW BEST:: SOT 11874195 SOS 7365734 HAS SOPS 6091007 HAS SOUS 1896935 HAS SOUPS 1804051 WITH SCORE 1811416.734
AT ITER 4377 NEW BEST:: SOT 11874327 SOS 7365453 HAS SOPS 6093025 HAS SOUS 1896491 HAS SOUPS 1803607 WITH SCORE 1810972.453
AT ITER 4401 NEW BEST:: SOT 11867005 SOS 7348412 HAS SOPS 6078308 HAS SOUS 1887579 HAS SOUPS 1794848 WITH SCORE 1802196.412
AT ITER 4405 NEW BEST:: SOT 11864045 SOS 7346239 HAS SOPS 6075652 HAS SOUS 1883061 HAS SOUPS 1790330 WITH SCORE 1797676.239
AT ITER 4431 NEW BEST:: SOT 11864779 SOS 7348696 HAS SOPS 6076137 HAS SOUS 1882552 HAS SOUPS 1789760 WITH SCORE 1797108.696
AT ITER 4459 NEW BEST:: SOT 11865086 SOS 7349193 HAS SOPS 6076712 HAS SOUS 1882457 HAS SOUPS 1789665 WITH SCORE 1797014.193
AT ITER 4472 NEW BEST:: SOT 11864251 SOS 7346576 HAS SOPS 6074989 HAS SOUS 1880991 HAS SOUPS 1788199 WITH SCORE 1795545.576
AT ITER 4477 NEW BEST:: SOT 11862993 SOS 7342103 HAS SOPS 6069765 HAS SOUS 1880212 HAS SOUPS 1787420 WITH SCORE 1794762.103
AT ITER 4482 NEW BEST:: SOT 11862883 SOS 7342345 HAS SOPS 6069462 HAS SOUS 1879810 HAS SOUPS 1787018 WITH SCORE 1794360.345
AT ITER 4498 NEW BEST:: SOT 11860643 SOS 7340105 HAS SOPS 6067222 HAS SOUS 1876477 HAS SOUPS 1783685 WITH SCORE 1791025.105
AT ITER 4526 NEW BEST:: SOT 11860646 SOS 7339948 HAS SOPS 6067289 HAS SOUS 1876432 HAS SOUPS 1783640 WITH SCORE 1790979.948
AT ITER 4532 NEW BEST:: SOT 11861404 SOS 7342705 HAS SOPS 6067622 HAS SOUS 1872271 HAS SOUPS 1779479 WITH SCORE 1786821.705
AT ITER 4543 NEW BEST:: SOT 11858974 SOS 7335297 HAS SOPS 6061249 HAS SOUS 1869158 HAS SOUPS 1776403 WITH SCORE 1783738.297
AT ITER 4550 NEW BEST:: SOT 11857831 SOS 7334657 HAS SOPS 6061103 HAS SOUS 1865175 HAS SOUPS 1772420 WITH SCORE 1779754.657
AT ITER 4573 NEW BEST:: SOT 11857371 SOS 7334095 HAS SOPS 6060030 HAS SOUS 1864802 HAS SOUPS 1772047 WITH SCORE 1779381.095
AT ITER 4575 NEW BEST:: SOT 11857333 SOS 7333213 HAS SOPS 6061934 HAS SOUS 1864505 HAS SOUPS 1771750 WITH SCORE 1779083.213
AT ITER 4595 NEW BEST:: SOT 11857900 SOS 7335344 HAS SOPS 6063035 HAS SOUS 1863639 HAS SOUPS 1770884 WITH SCORE 1778219.344
AT ITER 4596 NEW BEST:: SOT 11856211 SOS 7332061 HAS SOPS 6060810 HAS SOUS 1861230 HAS SOUPS 1768570 WITH SCORE 1775902.061
AT ITER 4599 NEW BEST:: SOT 11856382 SOS 7332210 HAS SOPS 6058108 HAS SOUS 1857508 HAS SOUPS 1764848 WITH SCORE 1772180.21
AT ITER 4662 NEW BEST:: SOT 11855503 SOS 7329382 HAS SOPS 6055219 HAS SOUS 1854540 HAS SOUPS 1761946 WITH SCORE 1769275.382
AT ITER 4666 NEW BEST:: SOT 11855236 SOS 7327908 HAS SOPS 6053846 HAS SOUS 1853355 HAS SOUPS 1760761 WITH SCORE 1768088.908
AT ITER 4668 NEW BEST:: SOT 11855508 SOS 7330856 HAS SOPS 6057304 HAS SOUS 1852657 HAS SOUPS 1760063 WITH SCORE 1767393.856
AT ITER 4674 NEW BEST:: SOT 11853815 SOS 7329145 HAS SOPS 6055161 HAS SOUS 1849868 HAS SOUPS 1757274 WITH SCORE 1764603.145
AT ITER 4676 NEW BEST:: SOT 11854533 SOS 7329300 HAS SOPS 6054533 HAS SOUS 1846735 HAS SOUPS 1754225 WITH SCORE 1761554.3
AT ITER 4687 NEW BEST:: SOT 11853649 SOS 7328430 HAS SOPS 6053103 HAS SOUS 1843675 HAS SOUPS 1751165 WITH SCORE 1758493.43
AT ITER 4710 NEW BEST:: SOT 11854995 SOS 7335843 HAS SOPS 6058907 HAS SOUS 1843487 HAS SOUPS 1750977 WITH SCORE 1758312.843
AT ITER 4715 NEW BEST:: SOT 11855228 SOS 7336163 HAS SOPS 6059941 HAS SOUS 1841555 HAS SOUPS 1749193 WITH SCORE 1756529.163
AT ITER 4726 NEW BEST:: SOT 11855254 SOS 7336017 HAS SOPS 6059752 HAS SOUS 1841494 HAS SOUPS 1749132 WITH SCORE 1756468.017
AT ITER 4736 NEW BEST:: SOT 11850516 SOS 7331336 HAS SOPS 6055125 HAS SOUS 1841273 HAS SOUPS 1749007 WITH SCORE 1756338.336
AT ITER 4739 NEW BEST:: SOT 11850417 SOS 7331424 HAS SOPS 6055017 HAS SOUS 1840841 HAS SOUPS 1748575 WITH SCORE 1755906.424
AT ITER 4744 NEW BEST:: SOT 11847958 SOS 7328377 HAS SOPS 6051859 HAS SOUS 1835997 HAS SOUPS 1744134 WITH SCORE 1751462.377
AT ITER 4746 NEW BEST:: SOT 11847058 SOS 7327477 HAS SOPS 6050575 HAS SOUS 1835049 HAS SOUPS 1742802 WITH SCORE 1750129.477
AT ITER 4758 NEW BEST:: SOT 11846889 SOS 7324780 HAS SOPS 6047214 HAS SOUS 1834197 HAS SOUPS 1741871 WITH SCORE 1749195.78
AT ITER 4785 NEW BEST:: SOT 11847922 SOS 7328865 HAS SOPS 6049980 HAS SOUS 1833954 HAS SOUPS 1741583 WITH SCORE 1748911.865
AT ITER 4829 NEW BEST:: SOT 11848847 SOS 7329654 HAS SOPS 6052084 HAS SOUS 1833910 HAS SOUPS 1741539 WITH SCORE 1748868.654
AT ITER 4851 NEW BEST:: SOT 11848817 SOS 7329638 HAS SOPS 6052004 HAS SOUS 1833824 HAS SOUPS 1741453 WITH SCORE 1748782.638
AT ITER 4852 NEW BEST:: SOT 11848521 SOS 7329332 HAS SOPS 6051866 HAS SOUS 1832904 HAS SOUPS 1740773 WITH SCORE 1748102.332
AT ITER 4855 NEW BEST:: SOT 11848652 SOS 7329743 HAS SOPS 6052508 HAS SOUS 1832714 HAS SOUPS 1740592 WITH SCORE 1747921.743
AT ITER 4857 NEW BEST:: SOT 11849208 SOS 7330147 HAS SOPS 6052912 HAS SOUS 1832602 HAS SOUPS 1740480 WITH SCORE 1747810.147
AT ITER 4874 NEW BEST:: SOT 11850535 SOS 7340926 HAS SOPS 6062472 HAS SOUS 1829188 HAS SOUPS 1737066 WITH SCORE 1744406.926
AT ITER 4883 NEW BEST:: SOT 11849164 SOS 7339444 HAS SOPS 6060278 HAS SOUS 1826211 HAS SOUPS 1734089 WITH SCORE 1741428.444
AT ITER 4895 NEW BEST:: SOT 11849686 SOS 7343877 HAS SOPS 6063249 HAS SOUS 1821549 HAS SOUPS 1729427 WITH SCORE 1736770.877
AT ITER 4900 NEW BEST:: SOT 11850565 SOS 7344683 HAS SOPS 6062448 HAS SOUS 1819987 HAS SOUPS 1727978 WITH SCORE 1735322.683
AT ITER 4907 NEW BEST:: SOT 11848442 SOS 7342051 HAS SOPS 6060837 HAS SOUS 1819213 HAS SOUPS 1727539 WITH SCORE 1734881.051
AT ITER 4914 NEW BEST:: SOT 11846863 SOS 7340129 HAS SOPS 6058879 HAS SOUS 1818458 HAS SOUPS 1726756 WITH SCORE 1734096.129
AT ITER 4927 NEW BEST:: SOT 11846895 SOS 7340237 HAS SOPS 6058988 HAS SOUS 1818404 HAS SOUPS 1726702 WITH SCORE 1734042.237
AT ITER 4931 NEW BEST:: SOT 11848580 SOS 7343488 HAS SOPS 6065074 HAS SOUS 1815842 HAS SOUPS 1724140 WITH SCORE 1731483.488
AT ITER 4975 NEW BEST:: SOT 11848349 SOS 7342979 HAS SOPS 6064303 HAS SOUS 1813645 HAS SOUPS 1722043 WITH SCORE 1729385.979
AT ITER 4988 NEW BEST:: SOT 11848352 SOS 7342941 HAS SOPS 6064170 HAS SOUS 1813409 HAS SOUPS 1721831 WITH SCORE 1729173.941
AT ITER 4999 NEW BEST:: SOT 11848336 SOS 7343216 HAS SOPS 6064610 HAS SOUS 1812926 HAS SOUPS 1721348 WITH SCORE 1728691.216
AT ITER 5016 NEW BEST:: SOT 11847850 SOS 7345911 HAS SOPS 6062767 HAS SOUS 1812643 HAS SOUPS 1721065 WITH SCORE 1728410.911
AT ITER 5027 NEW BEST:: SOT 11848234 SOS 7346319 HAS SOPS 6062423 HAS SOUS 1813363 HAS SOUPS 1721017 WITH SCORE 1728363.319
AT ITER 5099 NEW BEST:: SOT 11848267 SOS 7346194 HAS SOPS 6062554 HAS SOUS 1813318 HAS SOUPS 1720996 WITH SCORE 1728342.194
AT ITER 5141 NEW BEST:: SOT 11848279 SOS 7346251 HAS SOPS 6062647 HAS SOUS 1813317 HAS SOUPS 1720995 WITH SCORE 1728341.251
AT ITER 5143 NEW BEST:: SOT 11849508 SOS 7346652 HAS SOPS 6063187 HAS SOUS 1809573 HAS SOUPS 1717314 WITH SCORE 1724660.652
AT ITER 5154 NEW BEST:: SOT 11849630 SOS 7346346 HAS SOPS 6062993 HAS SOUS 1809573 HAS SOUPS 1717314 WITH SCORE 1724660.346
AT ITER 5169 NEW BEST:: SOT 11852416 SOS 7348416 HAS SOPS 6064967 HAS SOUS 1802248 HAS SOUPS 1710509 WITH SCORE 1717857.416
AT ITER 5188 NEW BEST:: SOT 11852386 SOS 7348386 HAS SOPS 6064937 HAS SOUS 1802218 HAS SOUPS 1710479 WITH SCORE 1717827.386
AT ITER 5201 NEW BEST:: SOT 11851492 SOS 7347334 HAS SOPS 6063539 HAS SOUS 1799806 HAS SOUPS 1708009 WITH SCORE 1715356.334
AT ITER 5217 NEW BEST:: SOT 11850718 SOS 7346325 HAS SOPS 6061557 HAS SOUS 1797314 HAS SOUPS 1705517 WITH SCORE 1712863.325
AT ITER 5235 NEW BEST:: SOT 11846713 SOS 7342340 HAS SOPS 6057632 HAS SOUS 1794201 HAS SOUPS 1702458 WITH SCORE 1709800.34
AT ITER 5236 NEW BEST:: SOT 11845987 SOS 7342136 HAS SOPS 6056597 HAS SOUS 1790733 HAS SOUPS 1698990 WITH SCORE 1706332.136
AT ITER 5245 NEW BEST:: SOT 11845935 SOS 7341934 HAS SOPS 6056382 HAS SOUS 1790615 HAS SOUPS 1698872 WITH SCORE 1706213.934
AT ITER 5257 NEW BEST:: SOT 11845452 SOS 7341453 HAS SOPS 6055780 HAS SOUS 1790190 HAS SOUPS 1698382 WITH SCORE 1705723.453
AT ITER 5273 NEW BEST:: SOT 11845481 SOS 7341493 HAS SOPS 6057152 HAS SOUS 1790037 HAS SOUPS 1698229 WITH SCORE 1705570.493
AT ITER 5276 NEW BEST:: SOT 11844599 SOS 7340621 HAS SOPS 6055720 HAS SOUS 1787071 HAS SOUPS 1695263 WITH SCORE 1702603.621
AT ITER 5287 NEW BEST:: SOT 11844586 SOS 7340413 HAS SOPS 6054405 HAS SOUS 1786917 HAS SOUPS 1695109 WITH SCORE 1702449.413
AT ITER 5288 NEW BEST:: SOT 11844362 SOS 7340385 HAS SOPS 6053888 HAS SOUS 1785867 HAS SOUPS 1694059 WITH SCORE 1701399.385
AT ITER 5296 NEW BEST:: SOT 11843429 SOS 7334477 HAS SOPS 6047980 HAS SOUS 1785160 HAS SOUPS 1693352 WITH SCORE 1700686.477
AT ITER 5318 NEW BEST:: SOT 11840376 SOS 7329235 HAS SOPS 6043142 HAS SOUS 1782543 HAS SOUPS 1690735 WITH SCORE 1698064.235
AT ITER 5334 NEW BEST:: SOT 11839050 SOS 7327115 HAS SOPS 6042160 HAS SOUS 1780239 HAS SOUPS 1688431 WITH SCORE 1695758.115
AT ITER 5363 NEW BEST:: SOT 11839090 SOS 7327210 HAS SOPS 6042108 HAS SOUS 1780247 HAS SOUPS 1688416 WITH SCORE 1695743.21
AT ITER 5367 NEW BEST:: SOT 11839338 SOS 7327458 HAS SOPS 6042196 HAS SOUS 1779431 HAS SOUPS 1687600 WITH SCORE 1694927.458
AT ITER 5382 NEW BEST:: SOT 11838423 SOS 7326893 HAS SOPS 6041788 HAS SOUS 1778086 HAS SOUPS 1686255 WITH SCORE 1693581.893
AT ITER 5385 NEW BEST:: SOT 11834017 SOS 7318713 HAS SOPS 6037041 HAS SOUS 1768438 HAS SOUPS 1678026 WITH SCORE 1685344.713
AT ITER 5391 NEW BEST:: SOT 11833713 SOS 7318409 HAS SOPS 6036737 HAS SOUS 1768070 HAS SOUPS 1677658 WITH SCORE 1684976.409
AT ITER 5405 NEW BEST:: SOT 11833173 SOS 7317869 HAS SOPS 6035829 HAS SOUS 1766226 HAS SOUPS 1675814 WITH SCORE 1683131.869
AT ITER 5455 NEW BEST:: SOT 11832221 SOS 7317129 HAS SOPS 6032931 HAS SOUS 1761249 HAS SOUPS 1670916 WITH SCORE 1678233.129
AT ITER 5473 NEW BEST:: SOT 11832231 SOS 7317154 HAS SOPS 6032941 HAS SOUS 1761244 HAS SOUPS 1670911 WITH SCORE 1678228.154
AT ITER 5477 NEW BEST:: SOT 11832280 SOS 7317262 HAS SOPS 6032686 HAS SOUS 1761026 HAS SOUPS 1670669 WITH SCORE 1677986.262
AT ITER 5487 NEW BEST:: SOT 11831361 SOS 7316458 HAS SOPS 6031370 HAS SOUS 1759400 HAS SOUPS 1669043 WITH SCORE 1676359.458
AT ITER 5491 NEW BEST:: SOT 11831281 SOS 7321734 HAS SOPS 6032162 HAS SOUS 1755846 HAS SOUPS 1665489 WITH SCORE 1672810.734
AT ITER 5498 NEW BEST:: SOT 11830389 SOS 7320706 HAS SOPS 6030899 HAS SOUS 1754817 HAS SOUPS 1664447 WITH SCORE 1671767.706
AT ITER 5504 NEW BEST:: SOT 11832787 SOS 7326426 HAS SOPS 6035446 HAS SOUS 1750058 HAS SOUPS 1659688 WITH SCORE 1667014.426
AT ITER 5508 NEW BEST:: SOT 11830907 SOS 7323575 HAS SOPS 6032511 HAS SOUS 1747313 HAS SOUPS 1656943 WITH SCORE 1664266.575
AT ITER 5511 NEW BEST:: SOT 11823817 SOS 7310142 HAS SOPS 6020962 HAS SOUS 1738844 HAS SOUPS 1649497 WITH SCORE 1656807.142
AT ITER 5515 NEW BEST:: SOT 11823708 SOS 7310089 HAS SOPS 6020601 HAS SOUS 1738273 HAS SOUPS 1648919 WITH SCORE 1656229.089
AT ITER 5521 NEW BEST:: SOT 11823937 SOS 7310441 HAS SOPS 6020847 HAS SOUS 1737651 HAS SOUPS 1648351 WITH SCORE 1655661.441
AT ITER 5524 NEW BEST:: SOT 11823941 SOS 7310427 HAS SOPS 6020837 HAS SOUS 1737624 HAS SOUPS 1648322 WITH SCORE 1655632.427
AT ITER 5545 NEW BEST:: SOT 11821894 SOS 7304962 HAS SOPS 6016704 HAS SOUS 1732671 HAS SOUPS 1643458 WITH SCORE 1650762.962
AT ITER 5550 NEW BEST:: SOT 11821827 SOS 7304824 HAS SOPS 6016230 HAS SOUS 1732577 HAS SOUPS 1643364 WITH SCORE 1650668.824
AT ITER 5573 NEW BEST:: SOT 11822064 SOS 7304051 HAS SOPS 6015878 HAS SOUS 1731894 HAS SOUPS 1642979 WITH SCORE 1650283.051
AT ITER 5574 NEW BEST:: SOT 11821573 SOS 7303415 HAS SOPS 6015542 HAS SOUS 1730638 HAS SOUPS 1641736 WITH SCORE 1649039.415
AT ITER 5581 NEW BEST:: SOT 11822349 SOS 7302536 HAS SOPS 6015682 HAS SOUS 1726180 HAS SOUPS 1637355 WITH SCORE 1644657.536
AT ITER 5593 NEW BEST:: SOT 11820944 SOS 7300571 HAS SOPS 6014284 HAS SOUS 1722677 HAS SOUPS 1633912 WITH SCORE 1641212.571
AT ITER 5611 NEW BEST:: SOT 11820901 SOS 7300249 HAS SOPS 6013788 HAS SOUS 1722029 HAS SOUPS 1633264 WITH SCORE 1640564.249
AT ITER 5616 NEW BEST:: SOT 11822677 SOS 7305373 HAS SOPS 6019029 HAS SOUS 1719900 HAS SOUPS 1631174 WITH SCORE 1638479.373
AT ITER 5619 NEW BEST:: SOT 11821879 SOS 7304329 HAS SOPS 6017354 HAS SOUS 1719829 HAS SOUPS 1630687 WITH SCORE 1637991.329
AT ITER 5631 NEW BEST:: SOT 11821609 SOS 7303863 HAS SOPS 6017002 HAS SOUS 1719441 HAS SOUPS 1630299 WITH SCORE 1637602.863
AT ITER 5638 NEW BEST:: SOT 11820857 SOS 7303407 HAS SOPS 6016483 HAS SOUS 1717819 HAS SOUPS 1628677 WITH SCORE 1635980.407
AT ITER 5646 NEW BEST:: SOT 11820773 SOS 7302677 HAS SOPS 6014908 HAS SOUS 1717233 HAS SOUPS 1628091 WITH SCORE 1635393.677
AT ITER 5667 NEW BEST:: SOT 11820183 SOS 7302092 HAS SOPS 6013715 HAS SOUS 1714235 HAS SOUPS 1625093 WITH SCORE 1632395.092
AT ITER 5675 NEW BEST:: SOT 11817909 SOS 7300229 HAS SOPS 6010793 HAS SOUS 1708926 HAS SOUPS 1619784 WITH SCORE 1627084.229
AT ITER 5698 NEW BEST:: SOT 11817828 SOS 7296592 HAS SOPS 6010607 HAS SOUS 1708611 HAS SOUPS 1619469 WITH SCORE 1626765.592
AT ITER 5702 NEW BEST:: SOT 11818657 SOS 7300764 HAS SOPS 6012825 HAS SOUS 1708314 HAS SOUPS 1619172 WITH SCORE 1626472.764
AT ITER 5709 NEW BEST:: SOT 11818681 SOS 7300858 HAS SOPS 6012787 HAS SOUS 1708276 HAS SOUPS 1619134 WITH SCORE 1626434.858
AT ITER 5725 NEW BEST:: SOT 11818730 SOS 7301012 HAS SOPS 6012881 HAS SOUS 1708268 HAS SOUPS 1619126 WITH SCORE 1626427.012
AT ITER 5727 NEW BEST:: SOT 11815972 SOS 7298321 HAS SOPS 6007927 HAS SOUS 1701231 HAS SOUPS 1612089 WITH SCORE 1619387.321
AT ITER 5732 NEW BEST:: SOT 11817461 SOS 7299210 HAS SOPS 6008518 HAS SOUS 1701164 HAS SOUPS 1612053 WITH SCORE 1619352.21
AT ITER 5765 NEW BEST:: SOT 11815811 SOS 7296249 HAS SOPS 6005733 HAS SOUS 1699087 HAS SOUPS 1610042 WITH SCORE 1617338.249
AT ITER 5780 NEW BEST:: SOT 11813532 SOS 7293711 HAS SOPS 6003009 HAS SOUS 1695875 HAS SOUPS 1606806 WITH SCORE 1614099.711
AT ITER 5823 NEW BEST:: SOT 11815736 SOS 7295639 HAS SOPS 6004796 HAS SOUS 1695773 HAS SOUPS 1606768 WITH SCORE 1614063.639
AT ITER 5846 NEW BEST:: SOT 11815654 SOS 7295294 HAS SOPS 6005500 HAS SOUS 1693081 HAS SOUPS 1604140 WITH SCORE 1611435.294
AT ITER 5874 NEW BEST:: SOT 11817169 SOS 7298541 HAS SOPS 6009117 HAS SOUS 1692581 HAS SOUPS 1603640 WITH SCORE 1610938.541
AT ITER 5881 NEW BEST:: SOT 11818583 SOS 7295482 HAS SOPS 6004097 HAS SOUS 1686843 HAS SOUPS 1597902 WITH SCORE 1605197.482
AT ITER 5885 NEW BEST:: SOT 11818545 SOS 7295448 HAS SOPS 6004037 HAS SOUS 1686729 HAS SOUPS 1597787 WITH SCORE 1605082.448
AT ITER 5890 NEW BEST:: SOT 11819154 SOS 7296983 HAS SOPS 6004480 HAS SOUS 1684960 HAS SOUPS 1595971 WITH SCORE 1603267.983
AT ITER 5915 NEW BEST:: SOT 11823092 SOS 7301549 HAS SOPS 6006480 HAS SOUS 1679500 HAS SOUPS 1590415 WITH SCORE 1597716.549
AT ITER 5917 NEW BEST:: SOT 11821099 SOS 7298508 HAS SOPS 6003487 HAS SOUS 1677105 HAS SOUPS 1588020 WITH SCORE 1595318.508
AT ITER 5929 NEW BEST:: SOT 11820607 SOS 7298290 HAS SOPS 6003119 HAS SOUS 1675579 HAS SOUPS 1586509 WITH SCORE 1593807.29
AT ITER 5940 NEW BEST:: SOT 11820958 SOS 7299719 HAS SOPS 6005394 HAS SOUS 1675152 HAS SOUPS 1586082 WITH SCORE 1593381.719
AT ITER 5943 NEW BEST:: SOT 11823143 SOS 7307240 HAS SOPS 6011790 HAS SOUS 1672188 HAS SOUPS 1583118 WITH SCORE 1590425.24
AT ITER 5971 NEW BEST:: SOT 11824599 SOS 7311617 HAS SOPS 6014637 HAS SOUS 1669195 HAS SOUPS 1580125 WITH SCORE 1587436.617
AT ITER 5973 NEW BEST:: SOT 11817655 SOS 7300992 HAS SOPS 6004227 HAS SOUS 1663041 HAS SOUPS 1573898 WITH SCORE 1581198.992
AT ITER 5979 NEW BEST:: SOT 11817558 SOS 7299413 HAS SOPS 6002614 HAS SOUS 1661753 HAS SOUPS 1572630 WITH SCORE 1579929.413
AT ITER 5988 NEW BEST:: SOT 11816822 SOS 7296204 HAS SOPS 5998829 HAS SOUS 1661532 HAS SOUPS 1572337 WITH SCORE 1579633.204
AT ITER 6016 NEW BEST:: SOT 11817802 SOS 7297046 HAS SOPS 6001623 HAS SOUS 1660471 HAS SOUPS 1571276 WITH SCORE 1578573.046
AT ITER 6031 NEW BEST:: SOT 11816991 SOS 7296095 HAS SOPS 6000612 HAS SOUS 1659690 HAS SOUPS 1570490 WITH SCORE 1577786.095
AT ITER 6041 NEW BEST:: SOT 11816246 SOS 7294840 HAS SOPS 5998572 HAS SOUS 1656015 HAS SOUPS 1566835 WITH SCORE 1574129.84
AT ITER 6048 NEW BEST:: SOT 11816376 SOS 7295941 HAS SOPS 6000113 HAS SOUS 1655985 HAS SOUPS 1566805 WITH SCORE 1574100.941
AT ITER 6063 NEW BEST:: SOT 11816157 SOS 7295425 HAS SOPS 5999626 HAS SOUS 1655842 HAS SOUPS 1566662 WITH SCORE 1573957.425
AT ITER 6073 NEW BEST:: SOT 11815471 SOS 7290475 HAS SOPS 5995771 HAS SOUS 1655020 HAS SOUPS 1565840 WITH SCORE 1573130.475
AT ITER 6088 NEW BEST:: SOT 11815598 SOS 7290526 HAS SOPS 5995898 HAS SOUS 1654996 HAS SOUPS 1565831 WITH SCORE 1573121.526
AT ITER 6101 NEW BEST:: SOT 11814441 SOS 7289190 HAS SOPS 5993523 HAS SOUS 1652913 HAS SOUPS 1563748 WITH SCORE 1571037.19
AT ITER 6127 NEW BEST:: SOT 11813988 SOS 7289067 HAS SOPS 5993018 HAS SOUS 1652106 HAS SOUPS 1562927 WITH SCORE 1570216.067
AT ITER 6153 NEW BEST:: SOT 11813690 SOS 7288499 HAS SOPS 5992185 HAS SOUS 1650776 HAS SOUPS 1561597 WITH SCORE 1568885.499
AT ITER 6154 NEW BEST:: SOT 11811624 SOS 7284834 HAS SOPS 5988210 HAS SOUS 1648716 HAS SOUPS 1559514 WITH SCORE 1566798.834
AT ITER 6194 NEW BEST:: SOT 11817231 SOS 7293508 HAS SOPS 5995870 HAS SOUS 1644293 HAS SOUPS 1555064 WITH SCORE 1562357.508
AT ITER 6198 NEW BEST:: SOT 11817117 SOS 7293373 HAS SOPS 5995683 HAS SOUS 1644200 HAS SOUPS 1554971 WITH SCORE 1562264.373
AT ITER 6204 NEW BEST:: SOT 11817155 SOS 7293794 HAS SOPS 5996102 HAS SOUS 1643484 HAS SOUPS 1554255 WITH SCORE 1561548.794
AT ITER 6205 NEW BEST:: SOT 11816115 SOS 7297099 HAS SOPS 5998239 HAS SOUS 1641304 HAS SOUPS 1551995 WITH SCORE 1559292.099
AT ITER 6206 NEW BEST:: SOT 11815959 SOS 7296914 HAS SOPS 5998071 HAS SOUS 1641006 HAS SOUPS 1551697 WITH SCORE 1558993.914
AT ITER 6213 NEW BEST:: SOT 11816151 SOS 7297797 HAS SOPS 5998899 HAS SOUS 1640591 HAS SOUPS 1551282 WITH SCORE 1558579.797
AT ITER 6256 NEW BEST:: SOT 11813694 SOS 7294631 HAS SOPS 5994478 HAS SOUS 1633666 HAS SOUPS 1544295 WITH SCORE 1551589.631
AT ITER 6273 NEW BEST:: SOT 11813636 SOS 7294505 HAS SOPS 5994356 HAS SOUS 1633615 HAS SOUPS 1544244 WITH SCORE 1551538.505
AT ITER 6299 NEW BEST:: SOT 11811877 SOS 7287900 HAS SOPS 5985673 HAS SOUS 1633078 HAS SOUPS 1543707 WITH SCORE 1550994.9
AT ITER 6301 NEW BEST:: SOT 11813894 SOS 7289944 HAS SOPS 5987179 HAS SOUS 1632895 HAS SOUPS 1543524 WITH SCORE 1550813.944
AT ITER 6302 NEW BEST:: SOT 11813862 SOS 7290208 HAS SOPS 5987273 HAS SOUS 1631795 HAS SOUPS 1542435 WITH SCORE 1549725.208
AT ITER 6307 NEW BEST:: SOT 11812565 SOS 7288326 HAS SOPS 5985773 HAS SOUS 1629003 HAS SOUPS 1539643 WITH SCORE 1546931.326
AT ITER 6310 NEW BEST:: SOT 11811224 SOS 7286691 HAS SOPS 5981969 HAS SOUS 1625661 HAS SOUPS 1536301 WITH SCORE 1543587.691
AT ITER 6311 NEW BEST:: SOT 11811362 SOS 7286981 HAS SOPS 5982323 HAS SOUS 1625479 HAS SOUPS 1536119 WITH SCORE 1543405.981
AT ITER 6335 NEW BEST:: SOT 11807001 SOS 7277007 HAS SOPS 5973116 HAS SOUS 1622081 HAS SOUPS 1532721 WITH SCORE 1539998.007
AT ITER 6350 NEW BEST:: SOT 11806434 SOS 7275844 HAS SOPS 5971532 HAS SOUS 1620481 HAS SOUPS 1531121 WITH SCORE 1538396.844
AT ITER 6356 NEW BEST:: SOT 11796260 SOS 7257289 HAS SOPS 5953855 HAS SOUS 1599994 HAS SOUPS 1510957 WITH SCORE 1518214.289
AT ITER 6365 NEW BEST:: SOT 11796260 SOS 7257127 HAS SOPS 5953506 HAS SOUS 1599980 HAS SOUPS 1510943 WITH SCORE 1518200.127
AT ITER 6374 NEW BEST:: SOT 11795455 SOS 7257399 HAS SOPS 5952914 HAS SOUS 1597522 HAS SOUPS 1508431 WITH SCORE 1515688.399
AT ITER 6375 NEW BEST:: SOT 11792524 SOS 7254141 HAS SOPS 5949509 HAS SOUS 1594632 HAS SOUPS 1505506 WITH SCORE 1512760.141
AT ITER 6382 NEW BEST:: SOT 11792770 SOS 7253772 HAS SOPS 5949802 HAS SOUS 1594468 HAS SOUPS 1505342 WITH SCORE 1512595.772
AT ITER 6391 NEW BEST:: SOT 11792652 SOS 7253837 HAS SOPS 5948933 HAS SOUS 1593198 HAS SOUPS 1504054 WITH SCORE 1511307.837
AT ITER 6394 NEW BEST:: SOT 11788403 SOS 7245844 HAS SOPS 5939894 HAS SOUS 1586083 HAS SOUPS 1496978 WITH SCORE 1504223.844
AT ITER 6396 NEW BEST:: SOT 11788335 SOS 7246067 HAS SOPS 5940129 HAS SOUS 1585920 HAS SOUPS 1496815 WITH SCORE 1504061.067
AT ITER 6412 NEW BEST:: SOT 11788277 SOS 7246009 HAS SOPS 5940071 HAS SOUS 1585854 HAS SOUPS 1496749 WITH SCORE 1503995.009
AT ITER 6423 NEW BEST:: SOT 11787621 SOS 7245353 HAS SOPS 5939399 HAS SOUS 1585758 HAS SOUPS 1496653 WITH SCORE 1503898.353
AT ITER 6448 NEW BEST:: SOT 11783449 SOS 7241181 HAS SOPS 5934443 HAS SOUS 1580326 HAS SOUPS 1491221 WITH SCORE 1498462.181
AT ITER 6477 NEW BEST:: SOT 11783683 SOS 7242090 HAS SOPS 5934988 HAS SOUS 1580210 HAS SOUPS 1491105 WITH SCORE 1498347.09
AT ITER 6523 NEW BEST:: SOT 11784402 SOS 7243243 HAS SOPS 5936041 HAS SOUS 1579425 HAS SOUPS 1490320 WITH SCORE 1497563.243
AT ITER 6551 NEW BEST:: SOT 11777594 SOS 7224749 HAS SOPS 5918257 HAS SOUS 1577909 HAS SOUPS 1488763 WITH SCORE 1495987.749
AT ITER 6562 NEW BEST:: SOT 11776872 SOS 7225392 HAS SOPS 5918527 HAS SOUS 1576491 HAS SOUPS 1487324 WITH SCORE 1494549.392
AT ITER 6597 NEW BEST:: SOT 11776719 SOS 7225041 HAS SOPS 5918211 HAS SOUS 1575953 HAS SOUPS 1486786 WITH SCORE 1494011.041
AT ITER 6613 NEW BEST:: SOT 11775010 SOS 7223313 HAS SOPS 5914758 HAS SOUS 1573514 HAS SOUPS 1484315 WITH SCORE 1491538.313
AT ITER 6647 NEW BEST:: SOT 11774998 SOS 7223273 HAS SOPS 5914902 HAS SOUS 1573046 HAS SOUPS 1483847 WITH SCORE 1491070.273
AT ITER 6655 NEW BEST:: SOT 11772753 SOS 7220512 HAS SOPS 5909879 HAS SOUS 1567772 HAS SOUPS 1478627 WITH SCORE 1485847.512
AT ITER 6689 NEW BEST:: SOT 11771879 SOS 7217741 HAS SOPS 5906688 HAS SOUS 1559242 HAS SOUPS 1470220 WITH SCORE 1477437.741
AT ITER 6708 NEW BEST:: SOT 11769769 SOS 7214020 HAS SOPS 5902741 HAS SOUS 1555039 HAS SOUPS 1466040 WITH SCORE 1473254.02
AT ITER 6719 NEW BEST:: SOT 11769766 SOS 7213951 HAS SOPS 5902570 HAS SOUS 1554868 HAS SOUPS 1465869 WITH SCORE 1473082.951
AT ITER 6757 NEW BEST:: SOT 11769838 SOS 7215962 HAS SOPS 5905225 HAS SOUS 1554122 HAS SOUPS 1465123 WITH SCORE 1472338.962
AT ITER 6797 NEW BEST:: SOT 11771257 SOS 7216993 HAS SOPS 5903207 HAS SOUS 1551488 HAS SOUPS 1462485 WITH SCORE 1469701.993
AT ITER 6846 NEW BEST:: SOT 11771236 SOS 7217003 HAS SOPS 5903229 HAS SOUS 1551435 HAS SOUPS 1462433 WITH SCORE 1469650.003
AT ITER 6848 NEW BEST:: SOT 11771950 SOS 7219133 HAS SOPS 5904315 HAS SOUS 1550916 HAS SOUPS 1461914 WITH SCORE 1469133.133
AT ITER 6879 NEW BEST:: SOT 11769922 SOS 7214914 HAS SOPS 5901854 HAS SOUS 1550796 HAS SOUPS 1461794 WITH SCORE 1469008.914
AT ITER 6908 NEW BEST:: SOT 11766532 SOS 7209193 HAS SOPS 5896189 HAS SOUS 1547015 HAS SOUPS 1458013 WITH SCORE 1465222.193
AT ITER 6963 NEW BEST:: SOT 11766422 SOS 7208597 HAS SOPS 5895033 HAS SOUS 1546876 HAS SOUPS 1457874 WITH SCORE 1465082.597
AT ITER 7006 NEW BEST:: SOT 11765037 SOS 7204733 HAS SOPS 5891224 HAS SOUS 1543770 HAS SOUPS 1454768 WITH SCORE 1461972.733
AT ITER 7025 NEW BEST:: SOT 11762945 SOS 7198699 HAS SOPS 5885480 HAS SOUS 1537961 HAS SOUPS 1449015 WITH SCORE 1456213.699
AT ITER 7033 NEW BEST:: SOT 11759017 SOS 7194131 HAS SOPS 5880188 HAS SOUS 1529530 HAS SOUPS 1440613 WITH SCORE 1447807.131
AT ITER 7043 NEW BEST:: SOT 11758150 SOS 7191990 HAS SOPS 5878587 HAS SOUS 1529356 HAS SOUPS 1440439 WITH SCORE 1447630.99
AT ITER 7096 NEW BEST:: SOT 11759162 SOS 7193002 HAS SOPS 5879679 HAS SOUS 1529260 HAS SOUPS 1440343 WITH SCORE 1447536.002
AT ITER 7109 NEW BEST:: SOT 11758965 SOS 7192742 HAS SOPS 5879398 HAS SOUS 1528996 HAS SOUPS 1440072 WITH SCORE 1447264.742
AT ITER 7110 NEW BEST:: SOT 11759231 SOS 7192548 HAS SOPS 5879458 HAS SOUS 1528915 HAS SOUPS 1439991 WITH SCORE 1447183.548
AT ITER 7160 NEW BEST:: SOT 11760046 SOS 7194733 HAS SOPS 5880868 HAS SOUS 1527867 HAS SOUPS 1438923 WITH SCORE 1446117.733
AT ITER 7172 NEW BEST:: SOT 11759437 SOS 7193686 HAS SOPS 5879925 HAS SOUS 1527808 HAS SOUPS 1438864 WITH SCORE 1446057.686
AT ITER 7175 NEW BEST:: SOT 11762385 SOS 7198982 HAS SOPS 5886758 HAS SOUS 1522520 HAS SOUPS 1433625 WITH SCORE 1440823.982
AT ITER 7185 NEW BEST:: SOT 11761532 SOS 7195585 HAS SOPS 5882865 HAS SOUS 1521507 HAS SOUPS 1432612 WITH SCORE 1439807.585
AT ITER 7219 NEW BEST:: SOT 11754359 SOS 7187410 HAS SOPS 5875062 HAS SOUS 1513342 HAS SOUPS 1424537 WITH SCORE 1431724.41
AT ITER 7223 NEW BEST:: SOT 11753246 SOS 7184309 HAS SOPS 5871644 HAS SOUS 1511614 HAS SOUPS 1422809 WITH SCORE 1429993.309
AT ITER 7244 NEW BEST:: SOT 11752698 SOS 7183676 HAS SOPS 5870866 HAS SOUS 1510701 HAS SOUPS 1421901 WITH SCORE 1429084.676
AT ITER 7257 NEW BEST:: SOT 11749951 SOS 7179481 HAS SOPS 5867668 HAS SOUS 1507011 HAS SOUPS 1418211 WITH SCORE 1425390.481
AT ITER 7261 NEW BEST:: SOT 11750139 SOS 7179897 HAS SOPS 5867798 HAS SOUS 1506475 HAS SOUPS 1417577 WITH SCORE 1424756.897
AT ITER 7265 NEW BEST:: SOT 11747358 SOS 7172892 HAS SOPS 5861733 HAS SOUS 1502728 HAS SOUPS 1413830 WITH SCORE 1421002.892
AT ITER 7273 NEW BEST:: SOT 11746201 SOS 7168551 HAS SOPS 5858491 HAS SOUS 1500524 HAS SOUPS 1411780 WITH SCORE 1418948.551
AT ITER 7286 NEW BEST:: SOT 11747200 SOS 7169062 HAS SOPS 5858883 HAS SOUS 1500466 HAS SOUPS 1411722 WITH SCORE 1418891.062
AT ITER 7300 NEW BEST:: SOT 11746923 SOS 7168785 HAS SOPS 5858558 HAS SOUS 1499905 HAS SOUPS 1411161 WITH SCORE 1418329.785
AT ITER 7301 NEW BEST:: SOT 11746873 SOS 7168777 HAS SOPS 5858349 HAS SOUS 1499356 HAS SOUPS 1410612 WITH SCORE 1417780.777
AT ITER 7320 NEW BEST:: SOT 11744699 SOS 7168560 HAS SOPS 5853176 HAS SOUS 1488845 HAS SOUPS 1400101 WITH SCORE 1407269.56
AT ITER 7358 NEW BEST:: SOT 11746094 SOS 7167679 HAS SOPS 5855259 HAS SOUS 1486678 HAS SOUPS 1397934 WITH SCORE 1405101.679
AT ITER 7369 NEW BEST:: SOT 11743312 SOS 7164623 HAS SOPS 5850991 HAS SOUS 1480972 HAS SOUPS 1392228 WITH SCORE 1399392.623
AT ITER 7380 NEW BEST:: SOT 11743339 SOS 7167215 HAS SOPS 5852287 HAS SOUS 1479757 HAS SOUPS 1390986 WITH SCORE 1398153.215
AT ITER 7389 NEW BEST:: SOT 11742146 SOS 7165267 HAS SOPS 5850729 HAS SOUS 1478938 HAS SOUPS 1390167 WITH SCORE 1397332.267
AT ITER 7441 NEW BEST:: SOT 11741261 SOS 7164253 HAS SOPS 5849631 HAS SOUS 1478632 HAS SOUPS 1389861 WITH SCORE 1397025.253
AT ITER 7457 NEW BEST:: SOT 11741201 SOS 7164651 HAS SOPS 5850047 HAS SOUS 1478434 HAS SOUPS 1389663 WITH SCORE 1396827.651
AT ITER 7466 NEW BEST:: SOT 11737559 SOS 7153904 HAS SOPS 5839363 HAS SOUS 1477262 HAS SOUPS 1388491 WITH SCORE 1395644.904
AT ITER 7489 NEW BEST:: SOT 11737641 SOS 7153986 HAS SOPS 5839477 HAS SOUS 1476784 HAS SOUPS 1388221 WITH SCORE 1395374.986
AT ITER 7523 NEW BEST:: SOT 11744248 SOS 7169800 HAS SOPS 5854162 HAS SOUS 1475208 HAS SOUPS 1386466 WITH SCORE 1393635.8
AT ITER 7534 NEW BEST:: SOT 11744507 SOS 7170123 HAS SOPS 5854589 HAS SOUS 1475084 HAS SOUPS 1386353 WITH SCORE 1393523.123
AT ITER 7541 NEW BEST:: SOT 11743975 SOS 7168404 HAS SOPS 5853054 HAS SOUS 1474517 HAS SOUPS 1385786 WITH SCORE 1392954.404
AT ITER 7545 NEW BEST:: SOT 11741444 SOS 7163613 HAS SOPS 5851333 HAS SOUS 1473865 HAS SOUPS 1385356 WITH SCORE 1392519.613
AT ITER 7592 NEW BEST:: SOT 11737151 SOS 7157293 HAS SOPS 5847342 HAS SOUS 1473473 HAS SOUPS 1385156 WITH SCORE 1392313.293
AT ITER 7593 NEW BEST:: SOT 11736328 SOS 7157741 HAS SOPS 5846840 HAS SOUS 1460107 HAS SOUPS 1372027 WITH SCORE 1379184.741
AT ITER 7599 NEW BEST:: SOT 11736059 SOS 7157472 HAS SOPS 5846571 HAS SOUS 1460014 HAS SOUPS 1371934 WITH SCORE 1379091.472
AT ITER 7624 NEW BEST:: SOT 11740472 SOS 7161839 HAS SOPS 5850010 HAS SOUS 1459067 HAS SOUPS 1370987 WITH SCORE 1378148.839
AT ITER 7661 NEW BEST:: SOT 11739514 SOS 7160908 HAS SOPS 5848881 HAS SOUS 1457623 HAS SOUPS 1369543 WITH SCORE 1376703.908
AT ITER 7710 NEW BEST:: SOT 11738805 SOS 7160286 HAS SOPS 5848284 HAS SOUS 1455000 HAS SOUPS 1367082 WITH SCORE 1374242.286
AT ITER 7712 NEW BEST:: SOT 11739930 SOS 7163891 HAS SOPS 5851268 HAS SOUS 1453315 HAS SOUPS 1365423 WITH SCORE 1372586.891
AT ITER 7714 NEW BEST:: SOT 11741842 SOS 7168714 HAS SOPS 5853464 HAS SOUS 1453101 HAS SOUPS 1365209 WITH SCORE 1372377.714
AT ITER 7735 NEW BEST:: SOT 11741610 SOS 7168400 HAS SOPS 5853193 HAS SOUS 1453005 HAS SOUPS 1365103 WITH SCORE 1372271.4
AT ITER 7752 NEW BEST:: SOT 11740136 SOS 7167014 HAS SOPS 5851112 HAS SOUS 1451634 HAS SOUPS 1363732 WITH SCORE 1370899.014
AT ITER 7787 NEW BEST:: SOT 11739856 SOS 7166734 HAS SOPS 5850688 HAS SOUS 1451074 HAS SOUPS 1363172 WITH SCORE 1370338.734
AT ITER 7790 NEW BEST:: SOT 11739457 SOS 7165554 HAS SOPS 5849699 HAS SOUS 1450711 HAS SOUPS 1362809 WITH SCORE 1369974.554
AT ITER 7808 NEW BEST:: SOT 11739723 SOS 7166377 HAS SOPS 5850654 HAS SOUS 1450321 HAS SOUPS 1362419 WITH SCORE 1369585.377
AT ITER 7817 NEW BEST:: SOT 11737726 SOS 7163388 HAS SOPS 5847913 HAS SOUS 1447673 HAS SOUPS 1359802 WITH SCORE 1366965.388
AT ITER 7828 NEW BEST:: SOT 11741240 SOS 7168315 HAS SOPS 5857720 HAS SOUS 1447287 HAS SOUPS 1359416 WITH SCORE 1366584.315
AT ITER 7829 NEW BEST:: SOT 11741326 SOS 7168177 HAS SOPS 5857469 HAS SOUS 1444847 HAS SOUPS 1357025 WITH SCORE 1364193.177
AT ITER 7840 NEW BEST:: SOT 11733300 SOS 7145971 HAS SOPS 5834211 HAS SOUS 1442548 HAS SOUPS 1354607 WITH SCORE 1361752.971
AT ITER 7850 NEW BEST:: SOT 11733668 SOS 7145721 HAS SOPS 5832437 HAS SOUS 1441176 HAS SOUPS 1353235 WITH SCORE 1360380.721
AT ITER 7887 NEW BEST:: SOT 11733796 SOS 7145833 HAS SOPS 5832531 HAS SOUS 1440936 HAS SOUPS 1353001 WITH SCORE 1360146.833
AT ITER 7894 NEW BEST:: SOT 11732644 SOS 7144465 HAS SOPS 5831582 HAS SOUS 1440914 HAS SOUPS 1352979 WITH SCORE 1360123.465
AT ITER 7919 NEW BEST:: SOT 11732196 SOS 7144166 HAS SOPS 5831110 HAS SOUS 1439213 HAS SOUPS 1351294 WITH SCORE 1358438.166
AT ITER 7955 NEW BEST:: SOT 11732073 SOS 7144013 HAS SOPS 5831007 HAS SOUS 1439210 HAS SOUPS 1351291 WITH SCORE 1358435.013
AT ITER 7983 NEW BEST:: SOT 11729766 SOS 7141771 HAS SOPS 5828503 HAS SOUS 1437212 HAS SOUPS 1349278 WITH SCORE 1356419.771
AT ITER 8012 NEW BEST:: SOT 11730216 SOS 7142380 HAS SOPS 5828942 HAS SOUS 1436904 HAS SOUPS 1348960 WITH SCORE 1356102.38
AT ITER 8056 NEW BEST:: SOT 11730077 SOS 7142338 HAS SOPS 5828570 HAS SOUS 1436534 HAS SOUPS 1348590 WITH SCORE 1355732.338
AT ITER 8066 NEW BEST:: SOT 11729617 SOS 7139195 HAS SOPS 5824637 HAS SOUS 1434632 HAS SOUPS 1346751 WITH SCORE 1353890.195
AT ITER 8084 NEW BEST:: SOT 11724530 SOS 7128432 HAS SOPS 5822596 HAS SOUS 1432066 HAS SOUPS 1344876 WITH SCORE 1352004.432
AT ITER 8093 NEW BEST:: SOT 11723421 SOS 7126674 HAS SOPS 5820963 HAS SOUS 1430303 HAS SOUPS 1343113 WITH SCORE 1350239.674
AT ITER 8147 NEW BEST:: SOT 11720666 SOS 7123548 HAS SOPS 5817104 HAS SOUS 1424420 HAS SOUPS 1337325 WITH SCORE 1344448.548
AT ITER 8157 NEW BEST:: SOT 11720828 SOS 7124078 HAS SOPS 5818315 HAS SOUS 1423767 HAS SOUPS 1336712 WITH SCORE 1343836.078
AT ITER 8184 NEW BEST:: SOT 11721154 SOS 7124434 HAS SOPS 5818561 HAS SOUS 1422337 HAS SOUPS 1335354 WITH SCORE 1342478.434
AT ITER 8195 NEW BEST:: SOT 11717057 SOS 7118994 HAS SOPS 5812526 HAS SOUS 1413582 HAS SOUPS 1326448 WITH SCORE 1333566.994
AT ITER 8199 NEW BEST:: SOT 11717933 SOS 7121613 HAS SOPS 5815256 HAS SOUS 1411221 HAS SOUPS 1324143 WITH SCORE 1331264.613
AT ITER 8200 NEW BEST:: SOT 11716964 SOS 7119987 HAS SOPS 5813432 HAS SOUS 1409585 HAS SOUPS 1322521 WITH SCORE 1329640.987
AT ITER 8225 NEW BEST:: SOT 11718312 SOS 7120887 HAS SOPS 5815832 HAS SOUS 1407308 HAS SOUPS 1320319 WITH SCORE 1327439.887
AT ITER 8236 NEW BEST:: SOT 11717060 SOS 7119322 HAS SOPS 5814390 HAS SOUS 1407221 HAS SOUPS 1320195 WITH SCORE 1327314.322
AT ITER 8240 NEW BEST:: SOT 11717397 SOS 7120697 HAS SOPS 5816808 HAS SOUS 1407048 HAS SOUPS 1320022 WITH SCORE 1327142.697
AT ITER 8257 NEW BEST:: SOT 11717302 SOS 7120427 HAS SOPS 5816505 HAS SOUS 1406907 HAS SOUPS 1319881 WITH SCORE 1327001.427
AT ITER 8260 NEW BEST:: SOT 11717569 SOS 7120694 HAS SOPS 5816628 HAS SOUS 1406290 HAS SOUPS 1319264 WITH SCORE 1326384.694
AT ITER 8282 NEW BEST:: SOT 11717667 SOS 7122356 HAS SOPS 5818145 HAS SOUS 1405178 HAS SOUPS 1318168 WITH SCORE 1325290.356
AT ITER 8312 NEW BEST:: SOT 11717822 SOS 7122517 HAS SOPS 5818728 HAS SOUS 1405002 HAS SOUPS 1318010 WITH SCORE 1325132.517
AT ITER 8326 NEW BEST:: SOT 11717179 SOS 7121874 HAS SOPS 5818053 HAS SOUS 1404447 HAS SOUPS 1317455 WITH SCORE 1324576.874
AT ITER 8336 NEW BEST:: SOT 11717623 SOS 7122246 HAS SOPS 5816476 HAS SOUS 1403467 HAS SOUPS 1316416 WITH SCORE 1323538.246
AT ITER 8366 NEW BEST:: SOT 11714178 SOS 7119834 HAS SOPS 5812067 HAS SOUS 1394391 HAS SOUPS 1307340 WITH SCORE 1314459.834
AT ITER 8373 NEW BEST:: SOT 11713504 SOS 7119142 HAS SOPS 5811009 HAS SOUS 1392968 HAS SOUPS 1305893 WITH SCORE 1313012.142
AT ITER 8398 NEW BEST:: SOT 11713752 SOS 7120568 HAS SOPS 5812615 HAS SOUS 1390214 HAS SOUPS 1303184 WITH SCORE 1310304.568
AT ITER 8429 NEW BEST:: SOT 11713324 SOS 7120296 HAS SOPS 5812099 HAS SOUS 1388703 HAS SOUPS 1301673 WITH SCORE 1308793.296
AT ITER 8446 NEW BEST:: SOT 11713384 SOS 7120356 HAS SOPS 5812255 HAS SOUS 1388511 HAS SOUPS 1301481 WITH SCORE 1308601.356
AT ITER 8491 NEW BEST:: SOT 11713390 SOS 7120827 HAS SOPS 5814838 HAS SOUS 1388478 HAS SOUPS 1301448 WITH SCORE 1308568.827
AT ITER 8492 NEW BEST:: SOT 11711265 SOS 7117770 HAS SOPS 5812061 HAS SOUS 1387477 HAS SOUPS 1300582 WITH SCORE 1307699.77
AT ITER 8504 NEW BEST:: SOT 11709760 SOS 7116259 HAS SOPS 5810396 HAS SOUS 1384583 HAS SOUPS 1297688 WITH SCORE 1304804.259
AT ITER 8523 NEW BEST:: SOT 11709742 SOS 7116178 HAS SOPS 5810326 HAS SOUS 1384532 HAS SOUPS 1297637 WITH SCORE 1304753.178
AT ITER 8623 NEW BEST:: SOT 11710338 SOS 7117825 HAS SOPS 5812810 HAS SOUS 1384481 HAS SOUPS 1297615 WITH SCORE 1304732.825
AT ITER 8651 NEW BEST:: SOT 11709444 SOS 7116958 HAS SOPS 5811558 HAS SOUS 1382785 HAS SOUPS 1295920 WITH SCORE 1303036.958
AT ITER 8653 NEW BEST:: SOT 11710076 SOS 7115278 HAS SOPS 5809252 HAS SOUS 1380842 HAS SOUPS 1293987 WITH SCORE 1301102.278
AT ITER 8659 NEW BEST:: SOT 11710131 SOS 7118002 HAS SOPS 5811973 HAS SOUS 1379704 HAS SOUPS 1292878 WITH SCORE 1299996.002
AT ITER 8716 NEW BEST:: SOT 11710049 SOS 7117922 HAS SOPS 5811861 HAS SOUS 1379624 HAS SOUPS 1292798 WITH SCORE 1299915.922
AT ITER 8767 NEW BEST:: SOT 11706595 SOS 7111541 HAS SOPS 5806946 HAS SOUS 1377285 HAS SOUPS 1290459 WITH SCORE 1297570.541
AT ITER 8799 NEW BEST:: SOT 11706719 SOS 7112159 HAS SOPS 5807693 HAS SOUS 1376835 HAS SOUPS 1290025 WITH SCORE 1297137.159
AT ITER 8803 NEW BEST:: SOT 11706575 SOS 7111769 HAS SOPS 5807231 HAS SOUS 1376707 HAS SOUPS 1289888 WITH SCORE 1296999.769
AT ITER 8853 NEW BEST:: SOT 11704090 SOS 7109238 HAS SOPS 5801433 HAS SOUS 1373608 HAS SOUPS 1286535 WITH SCORE 1293644.238
AT ITER 8966 NEW BEST:: SOT 11704788 SOS 7110330 HAS SOPS 5803270 HAS SOUS 1372970 HAS SOUPS 1285897 WITH SCORE 1293007.33
AT ITER 8971 NEW BEST:: SOT 11701327 SOS 7105245 HAS SOPS 5798185 HAS SOUS 1368497 HAS SOUPS 1281424 WITH SCORE 1288529.245
AT ITER 8972 NEW BEST:: SOT 11701169 SOS 7104866 HAS SOPS 5797836 HAS SOUS 1368047 HAS SOUPS 1280978 WITH SCORE 1288082.866
AT ITER 9024 NEW BEST:: SOT 11702306 SOS 7109239 HAS SOPS 5800275 HAS SOUS 1364628 HAS SOUPS 1277541 WITH SCORE 1284650.239
AT ITER 9059 NEW BEST:: SOT 11701652 SOS 7111062 HAS SOPS 5803389 HAS SOUS 1364278 HAS SOUPS 1277191 WITH SCORE 1284302.062
AT ITER 9073 NEW BEST:: SOT 11701253 SOS 7110736 HAS SOPS 5802886 HAS SOUS 1363190 HAS SOUPS 1276103 WITH SCORE 1283213.736
AT ITER 9085 NEW BEST:: SOT 11701239 SOS 7110722 HAS SOPS 5802872 HAS SOUS 1363160 HAS SOUPS 1276073 WITH SCORE 1283183.722
AT ITER 9086 NEW BEST:: SOT 11701234 SOS 7110666 HAS SOPS 5802772 HAS SOUS 1363101 HAS SOUPS 1276014 WITH SCORE 1283124.666
AT ITER 9123 NEW BEST:: SOT 11700584 SOS 7110250 HAS SOPS 5802064 HAS SOUS 1362211 HAS SOUPS 1275116 WITH SCORE 1282226.25
AT ITER 9162 NEW BEST:: SOT 11698874 SOS 7108428 HAS SOPS 5800193 HAS SOUS 1362241 HAS SOUPS 1275089 WITH SCORE 1282197.428
AT ITER 9171 NEW BEST:: SOT 11698650 SOS 7108202 HAS SOPS 5799892 HAS SOUS 1361978 HAS SOUPS 1274811 WITH SCORE 1281919.202
AT ITER 9172 NEW BEST:: SOT 11698274 SOS 7107431 HAS SOPS 5798139 HAS SOUS 1360710 HAS SOUPS 1273543 WITH SCORE 1280650.431
AT ITER 9184 NEW BEST:: SOT 11697478 SOS 7107140 HAS SOPS 5800510 HAS SOUS 1358237 HAS SOUPS 1271112 WITH SCORE 1278219.14
AT ITER 9203 NEW BEST:: SOT 11697649 SOS 7108756 HAS SOPS 5802526 HAS SOUS 1354986 HAS SOUPS 1267934 WITH SCORE 1275042.756
AT ITER 9205 NEW BEST:: SOT 11697485 SOS 7108029 HAS SOPS 5801259 HAS SOUS 1353519 HAS SOUPS 1266432 WITH SCORE 1273540.029
AT ITER 9219 NEW BEST:: SOT 11697469 SOS 7108013 HAS SOPS 5801243 HAS SOUS 1353455 HAS SOUPS 1266368 WITH SCORE 1273476.013
AT ITER 9233 NEW BEST:: SOT 11697392 SOS 7107778 HAS SOPS 5801166 HAS SOUS 1353264 HAS SOUPS 1266177 WITH SCORE 1273284.778
AT ITER 9243 NEW BEST:: SOT 11696827 SOS 7107516 HAS SOPS 5800885 HAS SOUS 1347577 HAS SOUPS 1261744 WITH SCORE 1268851.516
AT ITER 9256 NEW BEST:: SOT 11696710 SOS 7106773 HAS SOPS 5800079 HAS SOUS 1347491 HAS SOUPS 1261667 WITH SCORE 1268773.773
AT ITER 9374 NEW BEST:: SOT 11696606 SOS 7109868 HAS SOPS 5801735 HAS SOUS 1343126 HAS SOUPS 1257302 WITH SCORE 1264411.868
AT ITER 9378 NEW BEST:: SOT 11695965 SOS 7109179 HAS SOPS 5800526 HAS SOUS 1341363 HAS SOUPS 1255553 WITH SCORE 1262662.179
AT ITER 9392 NEW BEST:: SOT 11695830 SOS 7108889 HAS SOPS 5800318 HAS SOUS 1341199 HAS SOUPS 1255389 WITH SCORE 1262497.889
AT ITER 9396 NEW BEST:: SOT 11694859 SOS 7107918 HAS SOPS 5799347 HAS SOUS 1340860 HAS SOUPS 1255050 WITH SCORE 1262157.918
AT ITER 9415 NEW BEST:: SOT 11694783 SOS 7107706 HAS SOPS 5799120 HAS SOUS 1340464 HAS SOUPS 1254669 WITH SCORE 1261776.706
AT ITER 9504 NEW BEST:: SOT 11696778 SOS 7107599 HAS SOPS 5799079 HAS SOUS 1338961 HAS SOUPS 1253166 WITH SCORE 1260273.599
AT ITER 9520 NEW BEST:: SOT 11694734 SOS 7105555 HAS SOPS 5796683 HAS SOUS 1336477 HAS SOUPS 1250682 WITH SCORE 1257787.555
AT ITER 9537 NEW BEST:: SOT 11694777 SOS 7105644 HAS SOPS 5795566 HAS SOUS 1336323 HAS SOUPS 1250528 WITH SCORE 1257633.644
AT ITER 9546 NEW BEST:: SOT 11693649 SOS 7103810 HAS SOPS 5795258 HAS SOUS 1335075 HAS SOUPS 1249280 WITH SCORE 1256383.81
AT ITER 9548 NEW BEST:: SOT 11693649 SOS 7103341 HAS SOPS 5793286 HAS SOUS 1334456 HAS SOUPS 1248661 WITH SCORE 1255764.341
AT ITER 9583 NEW BEST:: SOT 11699424 SOS 7114515 HAS SOPS 5801509 HAS SOUS 1333918 HAS SOUPS 1248123 WITH SCORE 1255237.515
AT ITER 9601 NEW BEST:: SOT 11694264 SOS 7102253 HAS SOPS 5789481 HAS SOUS 1331552 HAS SOUPS 1245757 WITH SCORE 1252859.253
AT ITER 9617 NEW BEST:: SOT 11693108 SOS 7100217 HAS SOPS 5785299 HAS SOUS 1328033 HAS SOUPS 1242238 WITH SCORE 1249338.217
AT ITER 9659 NEW BEST:: SOT 11693072 SOS 7100072 HAS SOPS 5785519 HAS SOUS 1327881 HAS SOUPS 1242086 WITH SCORE 1249186.072
AT ITER 9739 NEW BEST:: SOT 11692808 SOS 7099853 HAS SOPS 5784920 HAS SOUS 1327854 HAS SOUPS 1242049 WITH SCORE 1249148.853
AT ITER 9747 NEW BEST:: SOT 11691124 SOS 7098140 HAS SOPS 5783441 HAS SOUS 1323152 HAS SOUPS 1237413 WITH SCORE 1244511.14
AT ITER 9763 NEW BEST:: SOT 11691927 SOS 7098669 HAS SOPS 5783178 HAS SOUS 1322419 HAS SOUPS 1236680 WITH SCORE 1243778.669
AT ITER 9806 NEW BEST:: SOT 11691844 SOS 7098574 HAS SOPS 5783100 HAS SOUS 1322363 HAS SOUPS 1236625 WITH SCORE 1243723.574
AT ITER 9811 NEW BEST:: SOT 11691476 SOS 7098206 HAS SOPS 5782636 HAS SOUS 1322395 HAS SOUPS 1236585 WITH SCORE 1243683.206
AT ITER 9816 NEW BEST:: SOT 11691235 SOS 7098922 HAS SOPS 5782262 HAS SOUS 1321722 HAS SOUPS 1235912 WITH SCORE 1243010.922
AT ITER 9831 NEW BEST:: SOT 11691251 SOS 7099170 HAS SOPS 5782961 HAS SOUS 1321656 HAS SOUPS 1235846 WITH SCORE 1242945.17
AT ITER 9838 NEW BEST:: SOT 11691217 SOS 7098878 HAS SOPS 5782061 HAS SOUS 1321525 HAS SOUPS 1235715 WITH SCORE 1242813.878
AT ITER 9858 NEW BEST:: SOT 11690817 SOS 7098478 HAS SOPS 5781597 HAS SOUS 1320725 HAS SOUPS 1234915 WITH SCORE 1242013.478
AT ITER 9893 NEW BEST:: SOT 11690823 SOS 7098485 HAS SOPS 5781604 HAS SOUS 1320675 HAS SOUPS 1234897 WITH SCORE 1241995.485
AT ITER 9915 NEW BEST:: SOT 11692566 SOS 7107923 HAS SOPS 5789464 HAS SOUS 1320470 HAS SOUPS 1234636 WITH SCORE 1241743.923
AT ITER 9922 NEW BEST:: SOT 11693483 SOS 7109540 HAS SOPS 5791138 HAS SOUS 1319379 HAS SOUPS 1233563 WITH SCORE 1240672.54
AT ITER 9938 NEW BEST:: SOT 11693351 SOS 7109194 HAS SOPS 5790855 HAS SOUS 1319215 HAS SOUPS 1233399 WITH SCORE 1240508.194
AT ITER 9983 NEW BEST:: SOT 11693332 SOS 7108983 HAS SOPS 5790698 HAS SOUS 1319202 HAS SOUPS 1233386 WITH SCORE 1240494.983
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15366112 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16120644 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-6"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194200048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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