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-167889194200072.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-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194200072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 18:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 18:13 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 1679476992296

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-9
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 9
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 1 NEW BEST:: SOT 12193960 SOS 7737415 HAS SOPS 6410419 HAS SOUS 3044103 HAS SOUPS 2943613 WITH SCORE 2951350.415
AT ITER 6 NEW BEST:: SOT 12194731 SOS 7740585 HAS SOPS 6414375 HAS SOUS 3041840 HAS SOUPS 2941350 WITH SCORE 2949090.585
AT ITER 13 NEW BEST:: SOT 12194283 SOS 7740137 HAS SOPS 6413686 HAS SOUS 3040950 HAS SOUPS 2940460 WITH SCORE 2948200.137
AT ITER 16 NEW BEST:: SOT 12194248 SOS 7741421 HAS SOPS 6414509 HAS SOUS 3039520 HAS SOUPS 2939030 WITH SCORE 2946771.421
AT ITER 23 NEW BEST:: SOT 12194185 SOS 7741334 HAS SOPS 6414062 HAS SOUS 3039221 HAS SOUPS 2938371 WITH SCORE 2946112.334
AT ITER 26 NEW BEST:: SOT 12190586 SOS 7737384 HAS SOPS 6408495 HAS SOUS 3036239 HAS SOUPS 2935159 WITH SCORE 2942896.384
AT ITER 35 NEW BEST:: SOT 12190511 SOS 7737151 HAS SOPS 6408342 HAS SOUS 3036171 HAS SOUPS 2935091 WITH SCORE 2942828.151
AT ITER 38 NEW BEST:: SOT 12190985 SOS 7740147 HAS SOPS 6411143 HAS SOUS 3035780 HAS SOUPS 2934700 WITH SCORE 2942440.147
AT ITER 45 NEW BEST:: SOT 12191286 SOS 7741782 HAS SOPS 6413164 HAS SOUS 3035557 HAS SOUPS 2934477 WITH SCORE 2942218.782
AT ITER 58 NEW BEST:: SOT 12197461 SOS 7761921 HAS SOPS 6432854 HAS SOUS 3031004 HAS SOUPS 2929924 WITH SCORE 2937685.921
AT ITER 66 NEW BEST:: SOT 12197108 SOS 7761970 HAS SOPS 6433347 HAS SOUS 3027436 HAS SOUPS 2926396 WITH SCORE 2934157.97
AT ITER 75 NEW BEST:: SOT 12196764 SOS 7761598 HAS SOPS 6432802 HAS SOUS 3026744 HAS SOUPS 2925630 WITH SCORE 2933391.598
AT ITER 77 NEW BEST:: SOT 12196857 SOS 7763762 HAS SOPS 6434142 HAS SOUS 3025596 HAS SOUPS 2924482 WITH SCORE 2932245.762
AT ITER 78 NEW BEST:: SOT 12196353 SOS 7764828 HAS SOPS 6437587 HAS SOUS 3023619 HAS SOUPS 2922505 WITH SCORE 2930269.828
AT ITER 92 NEW BEST:: SOT 12191338 SOS 7747345 HAS SOPS 6425530 HAS SOUS 3021543 HAS SOUPS 2920462 WITH SCORE 2928209.345
AT ITER 100 NEW BEST:: SOT 12192278 SOS 7753294 HAS SOPS 6431895 HAS SOUS 3019626 HAS SOUPS 2918545 WITH SCORE 2926298.294
AT ITER 101 NEW BEST:: SOT 12193555 SOS 7757960 HAS SOPS 6437196 HAS SOUS 3013361 HAS SOUPS 2912280 WITH SCORE 2920037.96
AT ITER 119 NEW BEST:: SOT 12194086 SOS 7760404 HAS SOPS 6440431 HAS SOUS 3011787 HAS SOUPS 2910706 WITH SCORE 2918466.404
AT ITER 146 NEW BEST:: SOT 12194128 SOS 7761312 HAS SOPS 6441420 HAS SOUS 3011216 HAS SOUPS 2910135 WITH SCORE 2917896.312
AT ITER 166 NEW BEST:: SOT 12180031 SOS 7746144 HAS SOPS 6424000 HAS SOUS 2991125 HAS SOUPS 2889981 WITH SCORE 2897727.144
AT ITER 170 NEW BEST:: SOT 12179300 SOS 7744893 HAS SOPS 6422788 HAS SOUS 2990147 HAS SOUPS 2889003 WITH SCORE 2896747.893
AT ITER 173 NEW BEST:: SOT 12164622 SOS 7718430 HAS SOPS 6396064 HAS SOUS 2978179 HAS SOUPS 2876954 WITH SCORE 2884672.43
AT ITER 175 NEW BEST:: SOT 12191995 SOS 7772577 HAS SOPS 6440069 HAS SOUS 2976407 HAS SOUPS 2874429 WITH SCORE 2882201.577
AT ITER 177 NEW BEST:: SOT 12191393 SOS 7773199 HAS SOPS 6440710 HAS SOUS 2975286 HAS SOUPS 2873308 WITH SCORE 2881081.199
AT ITER 179 NEW BEST:: SOT 12195755 SOS 7787917 HAS SOPS 6454075 HAS SOUS 2974514 HAS SOUPS 2872536 WITH SCORE 2880323.917
AT ITER 192 NEW BEST:: SOT 12194994 SOS 7786060 HAS SOPS 6452339 HAS SOUS 2970588 HAS SOUPS 2869613 WITH SCORE 2877399.06
AT ITER 193 NEW BEST:: SOT 12196733 SOS 7789193 HAS SOPS 6455328 HAS SOUS 2970431 HAS SOUPS 2869573 WITH SCORE 2877362.193
AT ITER 199 NEW BEST:: SOT 12196655 SOS 7787408 HAS SOPS 6453850 HAS SOUS 2967491 HAS SOUPS 2866633 WITH SCORE 2874420.408
AT ITER 212 NEW BEST:: SOT 12191749 SOS 7780924 HAS SOPS 6445521 HAS SOUS 2956506 HAS SOUPS 2855876 WITH SCORE 2863656.924
AT ITER 236 NEW BEST:: SOT 12191726 SOS 7781301 HAS SOPS 6445995 HAS SOUS 2956173 HAS SOUPS 2855543 WITH SCORE 2863324.301
AT ITER 252 NEW BEST:: SOT 12189689 SOS 7779264 HAS SOPS 6443958 HAS SOUS 2954136 HAS SOUPS 2853506 WITH SCORE 2861285.264
AT ITER 253 NEW BEST:: SOT 12193805 SOS 7783119 HAS SOPS 6452199 HAS SOUS 2947313 HAS SOUPS 2847104 WITH SCORE 2854887.119
AT ITER 254 NEW BEST:: SOT 12192791 SOS 7779734 HAS SOPS 6449027 HAS SOUS 2944452 HAS SOUPS 2844243 WITH SCORE 2852022.734
AT ITER 264 NEW BEST:: SOT 12188220 SOS 7774760 HAS SOPS 6444456 HAS SOUS 2938298 HAS SOUPS 2838260 WITH SCORE 2846034.76
AT ITER 267 NEW BEST:: SOT 12184793 SOS 7771324 HAS SOPS 6440501 HAS SOUS 2932451 HAS SOUPS 2832389 WITH SCORE 2840160.324
AT ITER 270 NEW BEST:: SOT 12186756 SOS 7776496 HAS SOPS 6447097 HAS SOUS 2930760 HAS SOUPS 2830844 WITH SCORE 2838620.496
AT ITER 272 NEW BEST:: SOT 12191559 SOS 7786476 HAS SOPS 6460445 HAS SOUS 2930364 HAS SOUPS 2830436 WITH SCORE 2838222.476
AT ITER 276 NEW BEST:: SOT 12192169 SOS 7787075 HAS SOPS 6460879 HAS SOUS 2929598 HAS SOUPS 2829670 WITH SCORE 2837457.075
AT ITER 280 NEW BEST:: SOT 12190704 SOS 7785367 HAS SOPS 6459048 HAS SOUS 2926147 HAS SOUPS 2826219 WITH SCORE 2834004.367
AT ITER 282 NEW BEST:: SOT 12193360 SOS 7789562 HAS SOPS 6462114 HAS SOUS 2924519 HAS SOUPS 2824594 WITH SCORE 2832383.562
AT ITER 294 NEW BEST:: SOT 12191572 SOS 7786897 HAS SOPS 6459374 HAS SOUS 2923957 HAS SOUPS 2824032 WITH SCORE 2831818.897
AT ITER 301 NEW BEST:: SOT 12189712 SOS 7784929 HAS SOPS 6457652 HAS SOUS 2920370 HAS SOUPS 2820445 WITH SCORE 2828229.929
AT ITER 304 NEW BEST:: SOT 12189914 SOS 7785403 HAS SOPS 6458109 HAS SOUS 2920363 HAS SOUPS 2820438 WITH SCORE 2828223.403
AT ITER 321 NEW BEST:: SOT 12188501 SOS 7782158 HAS SOPS 6455019 HAS SOUS 2920253 HAS SOUPS 2820328 WITH SCORE 2828110.158
AT ITER 327 NEW BEST:: SOT 12193003 SOS 7792000 HAS SOPS 6466237 HAS SOUS 2919364 HAS SOUPS 2819439 WITH SCORE 2827231.0
AT ITER 331 NEW BEST:: SOT 12189659 SOS 7791524 HAS SOPS 6466038 HAS SOUS 2909289 HAS SOUPS 2809364 WITH SCORE 2817155.524
AT ITER 334 NEW BEST:: SOT 12187376 SOS 7791298 HAS SOPS 6460377 HAS SOUS 2899341 HAS SOUPS 2799302 WITH SCORE 2807093.298
AT ITER 364 NEW BEST:: SOT 12185562 SOS 7788372 HAS SOPS 6456998 HAS SOUS 2897807 HAS SOUPS 2797768 WITH SCORE 2805556.372
AT ITER 374 NEW BEST:: SOT 12181249 SOS 7777461 HAS SOPS 6448916 HAS SOUS 2894759 HAS SOUPS 2794829 WITH SCORE 2802606.461
AT ITER 375 NEW BEST:: SOT 12176372 SOS 7772415 HAS SOPS 6443793 HAS SOUS 2879093 HAS SOUPS 2779583 WITH SCORE 2787355.415
AT ITER 380 NEW BEST:: SOT 12167342 SOS 7762315 HAS SOPS 6439226 HAS SOUS 2872207 HAS SOUPS 2772637 WITH SCORE 2780399.315
AT ITER 384 NEW BEST:: SOT 12167055 SOS 7762584 HAS SOPS 6439021 HAS SOUS 2869281 HAS SOUPS 2769714 WITH SCORE 2777476.584
AT ITER 395 NEW BEST:: SOT 12167821 SOS 7763338 HAS SOPS 6439595 HAS SOUS 2868663 HAS SOUPS 2769096 WITH SCORE 2776859.338
AT ITER 396 NEW BEST:: SOT 12164406 SOS 7759885 HAS SOPS 6435140 HAS SOUS 2865662 HAS SOUPS 2765389 WITH SCORE 2773148.885
AT ITER 406 NEW BEST:: SOT 12164078 SOS 7759379 HAS SOPS 6434467 HAS SOUS 2865008 HAS SOUPS 2764735 WITH SCORE 2772494.379
AT ITER 415 NEW BEST:: SOT 12163326 SOS 7757993 HAS SOPS 6433423 HAS SOUS 2863785 HAS SOUPS 2763512 WITH SCORE 2771269.993
AT ITER 433 NEW BEST:: SOT 12160768 SOS 7754066 HAS SOPS 6440155 HAS SOUS 2861874 HAS SOUPS 2761601 WITH SCORE 2769355.066
AT ITER 435 NEW BEST:: SOT 12150701 SOS 7743450 HAS SOPS 6429953 HAS SOUS 2851243 HAS SOUPS 2751216 WITH SCORE 2758959.45
AT ITER 449 NEW BEST:: SOT 12154741 SOS 7748217 HAS SOPS 6440001 HAS SOUS 2851276 HAS SOUPS 2751193 WITH SCORE 2758941.217
AT ITER 458 NEW BEST:: SOT 12155550 SOS 7745497 HAS SOPS 6437710 HAS SOUS 2849283 HAS SOUPS 2749200 WITH SCORE 2756945.497
AT ITER 459 NEW BEST:: SOT 12153826 SOS 7743450 HAS SOPS 6434862 HAS SOUS 2846432 HAS SOUPS 2746349 WITH SCORE 2754092.45
AT ITER 467 NEW BEST:: SOT 12152956 SOS 7741186 HAS SOPS 6433002 HAS SOUS 2844344 HAS SOUPS 2744261 WITH SCORE 2752002.186
AT ITER 478 NEW BEST:: SOT 12152956 SOS 7741090 HAS SOPS 6433002 HAS SOUS 2844344 HAS SOUPS 2744261 WITH SCORE 2752002.09
AT ITER 505 NEW BEST:: SOT 12152038 SOS 7740137 HAS SOPS 6431524 HAS SOUS 2841611 HAS SOUPS 2741423 WITH SCORE 2749163.137
AT ITER 507 NEW BEST:: SOT 12152861 SOS 7740709 HAS SOPS 6435139 HAS SOUS 2839244 HAS SOUPS 2739056 WITH SCORE 2746796.709
AT ITER 510 NEW BEST:: SOT 12152891 SOS 7740860 HAS SOPS 6434673 HAS SOUS 2838743 HAS SOUPS 2738555 WITH SCORE 2746295.86
AT ITER 511 NEW BEST:: SOT 12151007 SOS 7738807 HAS SOPS 6432835 HAS SOUS 2835432 HAS SOUPS 2735244 WITH SCORE 2742982.807
AT ITER 515 NEW BEST:: SOT 12150752 SOS 7738448 HAS SOPS 6432456 HAS SOUS 2834953 HAS SOUPS 2734773 WITH SCORE 2742511.448
AT ITER 516 NEW BEST:: SOT 12150505 SOS 7738267 HAS SOPS 6432275 HAS SOUS 2832231 HAS SOUPS 2732051 WITH SCORE 2739789.267
AT ITER 517 NEW BEST:: SOT 12150435 SOS 7738197 HAS SOPS 6432206 HAS SOUS 2832030 HAS SOUPS 2731865 WITH SCORE 2739603.197
AT ITER 531 NEW BEST:: SOT 12149742 SOS 7738296 HAS SOPS 6431712 HAS SOUS 2829614 HAS SOUPS 2729449 WITH SCORE 2737187.296
AT ITER 548 NEW BEST:: SOT 12147388 SOS 7735942 HAS SOPS 6429358 HAS SOUS 2827140 HAS SOUPS 2726975 WITH SCORE 2734710.942
AT ITER 582 NEW BEST:: SOT 12151497 SOS 7747768 HAS SOPS 6445951 HAS SOUS 2820977 HAS SOUPS 2720812 WITH SCORE 2728559.768
AT ITER 584 NEW BEST:: SOT 12154725 SOS 7752921 HAS SOPS 6452785 HAS SOUS 2820687 HAS SOUPS 2720522 WITH SCORE 2728274.921
AT ITER 601 NEW BEST:: SOT 12148917 SOS 7741691 HAS SOPS 6442948 HAS SOUS 2808772 HAS SOUPS 2708678 WITH SCORE 2716419.691
AT ITER 606 NEW BEST:: SOT 12148637 SOS 7741406 HAS SOPS 6442588 HAS SOUS 2808180 HAS SOUPS 2708086 WITH SCORE 2715827.406
AT ITER 642 NEW BEST:: SOT 12148395 SOS 7741164 HAS SOPS 6442346 HAS SOUS 2807934 HAS SOUPS 2707840 WITH SCORE 2715581.164
AT ITER 656 NEW BEST:: SOT 12148114 SOS 7740035 HAS SOPS 6441396 HAS SOUS 2807535 HAS SOUPS 2707441 WITH SCORE 2715181.035
AT ITER 659 NEW BEST:: SOT 12156669 SOS 7760369 HAS SOPS 6464309 HAS SOUS 2806968 HAS SOUPS 2707087 WITH SCORE 2714847.369
AT ITER 665 NEW BEST:: SOT 12156350 SOS 7759904 HAS SOPS 6464234 HAS SOUS 2805842 HAS SOUPS 2706089 WITH SCORE 2713848.904
AT ITER 690 NEW BEST:: SOT 12155655 SOS 7759333 HAS SOPS 6464008 HAS SOUS 2802036 HAS SOUPS 2702320 WITH SCORE 2710079.333
AT ITER 696 NEW BEST:: SOT 12155843 SOS 7760843 HAS SOPS 6465907 HAS SOUS 2800710 HAS SOUPS 2700994 WITH SCORE 2708754.843
AT ITER 713 NEW BEST:: SOT 12155178 SOS 7760108 HAS SOPS 6465038 HAS SOUS 2800309 HAS SOUPS 2700568 WITH SCORE 2708328.108
AT ITER 716 NEW BEST:: SOT 12155522 SOS 7760506 HAS SOPS 6464892 HAS SOUS 2799923 HAS SOUPS 2700182 WITH SCORE 2707942.506
AT ITER 741 NEW BEST:: SOT 12155314 SOS 7760333 HAS SOPS 6464849 HAS SOUS 2799628 HAS SOUPS 2699900 WITH SCORE 2707660.333
AT ITER 745 NEW BEST:: SOT 12160165 SOS 7772922 HAS SOPS 6481287 HAS SOUS 2795420 HAS SOUPS 2695511 WITH SCORE 2703283.922
AT ITER 750 NEW BEST:: SOT 12159830 SOS 7772341 HAS SOPS 6480678 HAS SOUS 2794897 HAS SOUPS 2694988 WITH SCORE 2702760.341
AT ITER 764 NEW BEST:: SOT 12159337 SOS 7771967 HAS SOPS 6480509 HAS SOUS 2792947 HAS SOUPS 2693048 WITH SCORE 2700819.967
AT ITER 765 NEW BEST:: SOT 12158611 SOS 7771393 HAS SOPS 6479468 HAS SOUS 2790706 HAS SOUPS 2690818 WITH SCORE 2698589.393
AT ITER 769 NEW BEST:: SOT 12157975 SOS 7769699 HAS SOPS 6478810 HAS SOUS 2789004 HAS SOUPS 2689418 WITH SCORE 2697187.699
AT ITER 777 NEW BEST:: SOT 12156647 SOS 7767964 HAS SOPS 6476557 HAS SOUS 2787343 HAS SOUPS 2687794 WITH SCORE 2695561.964
AT ITER 781 NEW BEST:: SOT 12158659 SOS 7769068 HAS SOPS 6480764 HAS SOUS 2783588 HAS SOUPS 2684039 WITH SCORE 2691808.068
AT ITER 792 NEW BEST:: SOT 12166367 SOS 7783621 HAS SOPS 6494896 HAS SOUS 2782020 HAS SOUPS 2682268 WITH SCORE 2690051.621
AT ITER 798 NEW BEST:: SOT 12166529 SOS 7784006 HAS SOPS 6492993 HAS SOUS 2779996 HAS SOUPS 2678641 WITH SCORE 2686425.006
AT ITER 800 NEW BEST:: SOT 12166923 SOS 7785142 HAS SOPS 6495772 HAS SOUS 2779786 HAS SOUPS 2678431 WITH SCORE 2686216.142
AT ITER 815 NEW BEST:: SOT 12172171 SOS 7793724 HAS SOPS 6503216 HAS SOUS 2778425 HAS SOUPS 2676940 WITH SCORE 2684733.724
AT ITER 819 NEW BEST:: SOT 12171637 SOS 7793037 HAS SOPS 6502403 HAS SOUS 2777930 HAS SOUPS 2676459 WITH SCORE 2684252.037
AT ITER 821 NEW BEST:: SOT 12169561 SOS 7790379 HAS SOPS 6499491 HAS SOUS 2774758 HAS SOUPS 2673347 WITH SCORE 2681137.379
AT ITER 829 NEW BEST:: SOT 12167968 SOS 7787546 HAS SOPS 6497605 HAS SOUS 2769192 HAS SOUPS 2667923 WITH SCORE 2675710.546
AT ITER 847 NEW BEST:: SOT 12167828 SOS 7787428 HAS SOPS 6497177 HAS SOUS 2769282 HAS SOUPS 2667725 WITH SCORE 2675512.428
AT ITER 868 NEW BEST:: SOT 12167821 SOS 7787421 HAS SOPS 6497170 HAS SOUS 2769171 HAS SOUPS 2667614 WITH SCORE 2675401.421
AT ITER 877 NEW BEST:: SOT 12167821 SOS 7787421 HAS SOPS 6497170 HAS SOUS 2769051 HAS SOUPS 2667494 WITH SCORE 2675281.421
AT ITER 887 NEW BEST:: SOT 12167742 SOS 7787717 HAS SOPS 6496798 HAS SOUS 2767574 HAS SOUPS 2665970 WITH SCORE 2673757.717
AT ITER 903 NEW BEST:: SOT 12166243 SOS 7785846 HAS SOPS 6495362 HAS SOUS 2764264 HAS SOUPS 2662744 WITH SCORE 2670529.846
AT ITER 904 NEW BEST:: SOT 12165896 SOS 7786826 HAS SOPS 6495895 HAS SOUS 2758390 HAS SOUPS 2656925 WITH SCORE 2664711.826
AT ITER 908 NEW BEST:: SOT 12164256 SOS 7782094 HAS SOPS 6492742 HAS SOUS 2757784 HAS SOUPS 2656319 WITH SCORE 2664101.094
AT ITER 918 NEW BEST:: SOT 12163564 SOS 7779976 HAS SOPS 6492956 HAS SOUS 2756443 HAS SOUPS 2654978 WITH SCORE 2662757.976
AT ITER 926 NEW BEST:: SOT 12162204 SOS 7777401 HAS SOPS 6489652 HAS SOUS 2754094 HAS SOUPS 2652572 WITH SCORE 2660349.401
AT ITER 934 NEW BEST:: SOT 12165055 SOS 7780991 HAS SOPS 6492685 HAS SOUS 2752232 HAS SOUPS 2650778 WITH SCORE 2658558.991
AT ITER 950 NEW BEST:: SOT 12158891 SOS 7774784 HAS SOPS 6485689 HAS SOUS 2745764 HAS SOUPS 2643617 WITH SCORE 2651391.784
AT ITER 954 NEW BEST:: SOT 12157725 SOS 7775126 HAS SOPS 6485135 HAS SOUS 2741769 HAS SOUPS 2639622 WITH SCORE 2647397.126
AT ITER 963 NEW BEST:: SOT 12161044 SOS 7779902 HAS SOPS 6495714 HAS SOUS 2738520 HAS SOUPS 2636373 WITH SCORE 2644152.902
AT ITER 976 NEW BEST:: SOT 12158228 SOS 7777106 HAS SOPS 6492372 HAS SOUS 2728644 HAS SOUPS 2626527 WITH SCORE 2634304.106
AT ITER 977 NEW BEST:: SOT 12153373 SOS 7772163 HAS SOPS 6487517 HAS SOUS 2721158 HAS SOUPS 2619100 WITH SCORE 2626872.163
AT ITER 987 NEW BEST:: SOT 12151937 SOS 7770781 HAS SOPS 6485330 HAS SOUS 2717824 HAS SOUPS 2615766 WITH SCORE 2623536.781
AT ITER 993 NEW BEST:: SOT 12151479 SOS 7770273 HAS SOPS 6484283 HAS SOUS 2716401 HAS SOUPS 2614343 WITH SCORE 2622113.273
AT ITER 997 NEW BEST:: SOT 12154191 SOS 7772711 HAS SOPS 6489904 HAS SOUS 2712710 HAS SOUPS 2610741 WITH SCORE 2618513.711
AT ITER 998 NEW BEST:: SOT 12152177 SOS 7769462 HAS SOPS 6486411 HAS SOUS 2708757 HAS SOUPS 2606788 WITH SCORE 2614557.462
AT ITER 1006 NEW BEST:: SOT 12154782 SOS 7770959 HAS SOPS 6486100 HAS SOUS 2708498 HAS SOUPS 2606622 WITH SCORE 2614392.959
AT ITER 1016 NEW BEST:: SOT 12150727 SOS 7773994 HAS SOPS 6483915 HAS SOUS 2704800 HAS SOUPS 2602594 WITH SCORE 2610367.994
AT ITER 1028 NEW BEST:: SOT 12149269 SOS 7771328 HAS SOPS 6481261 HAS SOUS 2703640 HAS SOUPS 2601434 WITH SCORE 2609205.328
AT ITER 1033 NEW BEST:: SOT 12149575 SOS 7771634 HAS SOPS 6482111 HAS SOUS 2703258 HAS SOUPS 2601324 WITH SCORE 2609095.634
AT ITER 1040 NEW BEST:: SOT 12149377 SOS 7772679 HAS SOPS 6483299 HAS SOUS 2701579 HAS SOUPS 2599645 WITH SCORE 2607417.679
AT ITER 1041 NEW BEST:: SOT 12142085 SOS 7753446 HAS SOPS 6468011 HAS SOUS 2694504 HAS SOUPS 2592570 WITH SCORE 2600323.446
AT ITER 1043 NEW BEST:: SOT 12141769 SOS 7752001 HAS SOPS 6467795 HAS SOUS 2688586 HAS SOUPS 2586736 WITH SCORE 2594488.001
AT ITER 1056 NEW BEST:: SOT 12140863 SOS 7751228 HAS SOPS 6468041 HAS SOUS 2686098 HAS SOUPS 2584468 WITH SCORE 2592219.228
AT ITER 1073 NEW BEST:: SOT 12141891 SOS 7755539 HAS SOPS 6471732 HAS SOUS 2685274 HAS SOUPS 2583644 WITH SCORE 2591399.539
AT ITER 1077 NEW BEST:: SOT 12141975 SOS 7755997 HAS SOPS 6471925 HAS SOUS 2685182 HAS SOUPS 2583552 WITH SCORE 2591307.997
AT ITER 1078 NEW BEST:: SOT 12148111 SOS 7762243 HAS SOPS 6478622 HAS SOUS 2685059 HAS SOUPS 2583473 WITH SCORE 2591235.243
AT ITER 1085 NEW BEST:: SOT 12145748 SOS 7759860 HAS SOPS 6475413 HAS SOUS 2676626 HAS SOUPS 2574966 WITH SCORE 2582725.86
AT ITER 1086 NEW BEST:: SOT 12145516 SOS 7759624 HAS SOPS 6475117 HAS SOUS 2676138 HAS SOUPS 2574478 WITH SCORE 2582237.624
AT ITER 1087 NEW BEST:: SOT 12147852 SOS 7763965 HAS SOPS 6478610 HAS SOUS 2675694 HAS SOUPS 2574034 WITH SCORE 2581797.965
AT ITER 1095 NEW BEST:: SOT 12141421 SOS 7754259 HAS SOPS 6467886 HAS SOUS 2666591 HAS SOUPS 2564945 WITH SCORE 2572699.259
AT ITER 1113 NEW BEST:: SOT 12139595 SOS 7756589 HAS SOPS 6464570 HAS SOUS 2658803 HAS SOUPS 2557157 WITH SCORE 2564913.589
AT ITER 1130 NEW BEST:: SOT 12139467 SOS 7756461 HAS SOPS 6464442 HAS SOUS 2658483 HAS SOUPS 2556837 WITH SCORE 2564593.461
AT ITER 1131 NEW BEST:: SOT 12141164 SOS 7757533 HAS SOPS 6466906 HAS SOUS 2657863 HAS SOUPS 2556217 WITH SCORE 2563974.533
AT ITER 1137 NEW BEST:: SOT 12141029 SOS 7757370 HAS SOPS 6466550 HAS SOUS 2657456 HAS SOUPS 2555810 WITH SCORE 2563567.37
AT ITER 1158 NEW BEST:: SOT 12131195 SOS 7747536 HAS SOPS 6456716 HAS SOUS 2638694 HAS SOUPS 2537048 WITH SCORE 2544795.536
AT ITER 1159 NEW BEST:: SOT 12126808 SOS 7742827 HAS SOPS 6450952 HAS SOUS 2634339 HAS SOUPS 2532567 WITH SCORE 2540309.827
AT ITER 1162 NEW BEST:: SOT 12127341 SOS 7745475 HAS SOPS 6453084 HAS SOUS 2633322 HAS SOUPS 2531577 WITH SCORE 2539322.475
AT ITER 1169 NEW BEST:: SOT 12130341 SOS 7749422 HAS SOPS 6457232 HAS SOUS 2632609 HAS SOUPS 2530997 WITH SCORE 2538746.422
AT ITER 1190 NEW BEST:: SOT 12128955 SOS 7746955 HAS SOPS 6455187 HAS SOUS 2631126 HAS SOUPS 2529724 WITH SCORE 2537470.955
AT ITER 1197 NEW BEST:: SOT 12123221 SOS 7741780 HAS SOPS 6450597 HAS SOUS 2623342 HAS SOUPS 2522303 WITH SCORE 2530044.78
AT ITER 1201 NEW BEST:: SOT 12125387 SOS 7744869 HAS SOPS 6459322 HAS SOUS 2622572 HAS SOUPS 2521533 WITH SCORE 2529277.869
AT ITER 1215 NEW BEST:: SOT 12127040 SOS 7746468 HAS SOPS 6459967 HAS SOUS 2620741 HAS SOUPS 2519438 WITH SCORE 2527184.468
AT ITER 1218 NEW BEST:: SOT 12127040 SOS 7746403 HAS SOPS 6459902 HAS SOUS 2620324 HAS SOUPS 2519021 WITH SCORE 2526767.403
AT ITER 1224 NEW BEST:: SOT 12132044 SOS 7757532 HAS SOPS 6467326 HAS SOUS 2618079 HAS SOUPS 2516676 WITH SCORE 2524433.532
AT ITER 1236 NEW BEST:: SOT 12132273 SOS 7757938 HAS SOPS 6467384 HAS SOUS 2610626 HAS SOUPS 2509080 WITH SCORE 2516837.938
AT ITER 1248 NEW BEST:: SOT 12132097 SOS 7756328 HAS SOPS 6465733 HAS SOUS 2610470 HAS SOUPS 2508924 WITH SCORE 2516680.328
AT ITER 1259 NEW BEST:: SOT 12132882 SOS 7757065 HAS SOPS 6466969 HAS SOUS 2610313 HAS SOUPS 2508798 WITH SCORE 2516555.065
AT ITER 1272 NEW BEST:: SOT 12136616 SOS 7760747 HAS SOPS 6469871 HAS SOUS 2609607 HAS SOUPS 2508092 WITH SCORE 2515852.747
AT ITER 1297 NEW BEST:: SOT 12136469 SOS 7760597 HAS SOPS 6469676 HAS SOUS 2609304 HAS SOUPS 2507789 WITH SCORE 2515549.597
AT ITER 1299 NEW BEST:: SOT 12134339 SOS 7758218 HAS SOPS 6468557 HAS SOUS 2605920 HAS SOUPS 2504421 WITH SCORE 2512179.218
AT ITER 1307 NEW BEST:: SOT 12125154 SOS 7748997 HAS SOPS 6458796 HAS SOUS 2593695 HAS SOUPS 2492196 WITH SCORE 2499944.997
AT ITER 1312 NEW BEST:: SOT 12139712 SOS 7741826 HAS SOPS 6455530 HAS SOUS 2592693 HAS SOUPS 2491476 WITH SCORE 2499217.826
AT ITER 1342 NEW BEST:: SOT 12141242 SOS 7747910 HAS SOPS 6460788 HAS SOUS 2591833 HAS SOUPS 2490616 WITH SCORE 2498363.91
AT ITER 1345 NEW BEST:: SOT 12141242 SOS 7747906 HAS SOPS 6460818 HAS SOUS 2591764 HAS SOUPS 2490548 WITH SCORE 2498295.906
AT ITER 1351 NEW BEST:: SOT 12142816 SOS 7749079 HAS SOPS 6460937 HAS SOUS 2587507 HAS SOUPS 2486406 WITH SCORE 2494155.079
AT ITER 1363 NEW BEST:: SOT 12147573 SOS 7761215 HAS SOPS 6470022 HAS SOUS 2587416 HAS SOUPS 2486315 WITH SCORE 2494076.215
AT ITER 1364 NEW BEST:: SOT 12148707 SOS 7765764 HAS SOPS 6475025 HAS SOUS 2587122 HAS SOUPS 2486021 WITH SCORE 2493786.764
AT ITER 1378 NEW BEST:: SOT 12148482 SOS 7765521 HAS SOPS 6474755 HAS SOUS 2586762 HAS SOUPS 2485661 WITH SCORE 2493426.521
AT ITER 1382 NEW BEST:: SOT 12157735 SOS 7765440 HAS SOPS 6475852 HAS SOUS 2579127 HAS SOUPS 2478187 WITH SCORE 2485952.44
AT ITER 1397 NEW BEST:: SOT 12158695 SOS 7769630 HAS SOPS 6482244 HAS SOUS 2578485 HAS SOUPS 2477545 WITH SCORE 2485314.63
AT ITER 1409 NEW BEST:: SOT 12156725 SOS 7765147 HAS SOPS 6478861 HAS SOUS 2577428 HAS SOUPS 2476488 WITH SCORE 2484253.147
AT ITER 1419 NEW BEST:: SOT 12156349 SOS 7764615 HAS SOPS 6478359 HAS SOUS 2576985 HAS SOUPS 2476051 WITH SCORE 2483815.615
AT ITER 1422 NEW BEST:: SOT 12154888 SOS 7762818 HAS SOPS 6477108 HAS SOUS 2572373 HAS SOUPS 2471943 WITH SCORE 2479705.818
AT ITER 1433 NEW BEST:: SOT 12148256 SOS 7749607 HAS SOPS 6465309 HAS SOUS 2565360 HAS SOUPS 2465035 WITH SCORE 2472784.607
AT ITER 1447 NEW BEST:: SOT 12147322 SOS 7748640 HAS SOPS 6463817 HAS SOUS 2562123 HAS SOUPS 2461798 WITH SCORE 2469546.64
AT ITER 1464 NEW BEST:: SOT 12147291 SOS 7748812 HAS SOPS 6463283 HAS SOUS 2561003 HAS SOUPS 2460678 WITH SCORE 2468426.812
AT ITER 1466 NEW BEST:: SOT 12146754 SOS 7749131 HAS SOPS 6463599 HAS SOUS 2558397 HAS SOUPS 2458072 WITH SCORE 2465821.131
AT ITER 1468 NEW BEST:: SOT 12145802 SOS 7748028 HAS SOPS 6462768 HAS SOUS 2556892 HAS SOUPS 2456442 WITH SCORE 2464190.028
AT ITER 1469 NEW BEST:: SOT 12146124 SOS 7748959 HAS SOPS 6461127 HAS SOUS 2553172 HAS SOUPS 2452722 WITH SCORE 2460470.959
AT ITER 1471 NEW BEST:: SOT 12112070 SOS 7707810 HAS SOPS 6417670 HAS SOUS 2490561 HAS SOUPS 2390336 WITH SCORE 2398043.81
AT ITER 1478 NEW BEST:: SOT 12110707 SOS 7704528 HAS SOPS 6415070 HAS SOUS 2490344 HAS SOUPS 2390119 WITH SCORE 2397823.528
AT ITER 1489 NEW BEST:: SOT 12110703 SOS 7704524 HAS SOPS 6415066 HAS SOUS 2490340 HAS SOUPS 2390115 WITH SCORE 2397819.524
AT ITER 1522 NEW BEST:: SOT 12116210 SOS 7696004 HAS SOPS 6404800 HAS SOUS 2485186 HAS SOUPS 2385137 WITH SCORE 2392833.004
AT ITER 1527 NEW BEST:: SOT 12111216 SOS 7690980 HAS SOPS 6399806 HAS SOUS 2482265 HAS SOUPS 2382212 WITH SCORE 2389902.98
AT ITER 1528 NEW BEST:: SOT 12109829 SOS 7687207 HAS SOPS 6396127 HAS SOUS 2480785 HAS SOUPS 2380808 WITH SCORE 2388495.207
AT ITER 1531 NEW BEST:: SOT 12089174 SOS 7666006 HAS SOPS 6375825 HAS SOUS 2442886 HAS SOUPS 2342947 WITH SCORE 2350613.006
AT ITER 1534 NEW BEST:: SOT 12088831 SOS 7665663 HAS SOPS 6375482 HAS SOUS 2442879 HAS SOUPS 2342940 WITH SCORE 2350605.663
AT ITER 1540 NEW BEST:: SOT 12091157 SOS 7667925 HAS SOPS 6377294 HAS SOUS 2442558 HAS SOUPS 2342619 WITH SCORE 2350286.925
AT ITER 1544 NEW BEST:: SOT 12091663 SOS 7668431 HAS SOPS 6377800 HAS SOUS 2442280 HAS SOUPS 2342341 WITH SCORE 2350009.431
AT ITER 1557 NEW BEST:: SOT 12092230 SOS 7668553 HAS SOPS 6378297 HAS SOUS 2441996 HAS SOUPS 2342057 WITH SCORE 2349725.553
AT ITER 1560 NEW BEST:: SOT 12090897 SOS 7664360 HAS SOPS 6372103 HAS SOUS 2440848 HAS SOUPS 2340909 WITH SCORE 2348573.36
AT ITER 1595 NEW BEST:: SOT 12094094 SOS 7670477 HAS SOPS 6382973 HAS SOUS 2438992 HAS SOUPS 2339373 WITH SCORE 2347043.477
AT ITER 1605 NEW BEST:: SOT 12094087 SOS 7670482 HAS SOPS 6382948 HAS SOUS 2438885 HAS SOUPS 2339266 WITH SCORE 2346936.482
AT ITER 1629 NEW BEST:: SOT 12092445 SOS 7668877 HAS SOPS 6381478 HAS SOUS 2438454 HAS SOUPS 2338835 WITH SCORE 2346503.877
AT ITER 1648 NEW BEST:: SOT 12092236 SOS 7668661 HAS SOPS 6381045 HAS SOUS 2438526 HAS SOUPS 2338690 WITH SCORE 2346358.661
AT ITER 1652 NEW BEST:: SOT 12092233 SOS 7669749 HAS SOPS 6380182 HAS SOUS 2435921 HAS SOUPS 2336085 WITH SCORE 2343754.749
AT ITER 1658 NEW BEST:: SOT 12092151 SOS 7669666 HAS SOPS 6380083 HAS SOUS 2435794 HAS SOUPS 2335958 WITH SCORE 2343627.666
AT ITER 1663 NEW BEST:: SOT 12092716 SOS 7669697 HAS SOPS 6380396 HAS SOUS 2435453 HAS SOUPS 2335631 WITH SCORE 2343300.697
AT ITER 1673 NEW BEST:: SOT 12093316 SOS 7675519 HAS SOPS 6385709 HAS SOUS 2433652 HAS SOUPS 2333830 WITH SCORE 2341505.519
AT ITER 1684 NEW BEST:: SOT 12093136 SOS 7674702 HAS SOPS 6384401 HAS SOUS 2432601 HAS SOUPS 2332779 WITH SCORE 2340453.702
AT ITER 1694 NEW BEST:: SOT 12095625 SOS 7680311 HAS SOPS 6387384 HAS SOUS 2427508 HAS SOUPS 2327686 WITH SCORE 2335366.311
AT ITER 1695 NEW BEST:: SOT 12099816 SOS 7685179 HAS SOPS 6392694 HAS SOUS 2424329 HAS SOUPS 2324711 WITH SCORE 2332396.179
AT ITER 1698 NEW BEST:: SOT 12100047 SOS 7686217 HAS SOPS 6396421 HAS SOUS 2424105 HAS SOUPS 2324487 WITH SCORE 2332173.217
AT ITER 1699 NEW BEST:: SOT 12098790 SOS 7685473 HAS SOPS 6393762 HAS SOUS 2419263 HAS SOUPS 2319552 WITH SCORE 2327237.473
AT ITER 1717 NEW BEST:: SOT 12099477 SOS 7686363 HAS SOPS 6394222 HAS SOUS 2417369 HAS SOUPS 2317658 WITH SCORE 2325344.363
AT ITER 1727 NEW BEST:: SOT 12097089 SOS 7683975 HAS SOPS 6391818 HAS SOUS 2414875 HAS SOUPS 2315148 WITH SCORE 2322831.975
AT ITER 1730 NEW BEST:: SOT 12086755 SOS 7672624 HAS SOPS 6377603 HAS SOUS 2400235 HAS SOUPS 2300246 WITH SCORE 2307918.624
AT ITER 1754 NEW BEST:: SOT 12086092 SOS 7668093 HAS SOPS 6376276 HAS SOUS 2399359 HAS SOUPS 2299595 WITH SCORE 2307263.093
AT ITER 1787 NEW BEST:: SOT 12085632 SOS 7666212 HAS SOPS 6374448 HAS SOUS 2397553 HAS SOUPS 2297839 WITH SCORE 2305505.212
AT ITER 1811 NEW BEST:: SOT 12085501 SOS 7666109 HAS SOPS 6374516 HAS SOUS 2397394 HAS SOUPS 2297680 WITH SCORE 2305346.109
AT ITER 1823 NEW BEST:: SOT 12086914 SOS 7668427 HAS SOPS 6376369 HAS SOUS 2397227 HAS SOUPS 2297488 WITH SCORE 2305156.427
AT ITER 1829 NEW BEST:: SOT 12085784 SOS 7667297 HAS SOPS 6375343 HAS SOUS 2396149 HAS SOUPS 2296514 WITH SCORE 2304181.297
AT ITER 1835 NEW BEST:: SOT 12085838 SOS 7666884 HAS SOPS 6376220 HAS SOUS 2396003 HAS SOUPS 2296368 WITH SCORE 2304034.884
AT ITER 1837 NEW BEST:: SOT 12085574 SOS 7667314 HAS SOPS 6376104 HAS SOUS 2395421 HAS SOUPS 2295763 WITH SCORE 2303430.314
AT ITER 1844 NEW BEST:: SOT 12084609 SOS 7666867 HAS SOPS 6374996 HAS SOUS 2395641 HAS SOUPS 2295264 WITH SCORE 2302930.867
AT ITER 1889 NEW BEST:: SOT 12085104 SOS 7670821 HAS SOPS 6379326 HAS SOUS 2394578 HAS SOUPS 2294201 WITH SCORE 2301871.821
AT ITER 1898 NEW BEST:: SOT 12083823 SOS 7669865 HAS SOPS 6375404 HAS SOUS 2387243 HAS SOUPS 2286811 WITH SCORE 2294480.865
AT ITER 1910 NEW BEST:: SOT 12084942 SOS 7673601 HAS SOPS 6381377 HAS SOUS 2384819 HAS SOUPS 2284387 WITH SCORE 2292060.601
AT ITER 1917 NEW BEST:: SOT 12086762 SOS 7675579 HAS SOPS 6384720 HAS SOUS 2384151 HAS SOUPS 2283719 WITH SCORE 2291394.579
AT ITER 1919 NEW BEST:: SOT 12079280 SOS 7667938 HAS SOPS 6376433 HAS SOUS 2372341 HAS SOUPS 2272488 WITH SCORE 2280155.938
AT ITER 1930 NEW BEST:: SOT 12072275 SOS 7656873 HAS SOPS 6364809 HAS SOUS 2368225 HAS SOUPS 2268353 WITH SCORE 2276009.873
AT ITER 1935 NEW BEST:: SOT 12068007 SOS 7652590 HAS SOPS 6360414 HAS SOUS 2366430 HAS SOUPS 2266505 WITH SCORE 2274157.59
AT ITER 1954 NEW BEST:: SOT 12067721 SOS 7652316 HAS SOPS 6360112 HAS SOUS 2366090 HAS SOUPS 2266165 WITH SCORE 2273817.316
AT ITER 1972 NEW BEST:: SOT 12067779 SOS 7652199 HAS SOPS 6360827 HAS SOUS 2364641 HAS SOUPS 2264716 WITH SCORE 2272368.199
AT ITER 1983 NEW BEST:: SOT 12067553 SOS 7652047 HAS SOPS 6360538 HAS SOUS 2364484 HAS SOUPS 2264426 WITH SCORE 2272078.047
AT ITER 2016 NEW BEST:: SOT 12063150 SOS 7646807 HAS SOPS 6359239 HAS SOUS 2347296 HAS SOUPS 2247757 WITH SCORE 2255403.807
AT ITER 2031 NEW BEST:: SOT 12067761 SOS 7651620 HAS SOPS 6361543 HAS SOUS 2344216 HAS SOUPS 2244677 WITH SCORE 2252328.62
AT ITER 2033 NEW BEST:: SOT 12067744 SOS 7651438 HAS SOPS 6361337 HAS SOUS 2344211 HAS SOUPS 2244672 WITH SCORE 2252323.438
AT ITER 2044 NEW BEST:: SOT 12070526 SOS 7661679 HAS SOPS 6370672 HAS SOUS 2342640 HAS SOUPS 2243101 WITH SCORE 2250762.679
AT ITER 2062 NEW BEST:: SOT 12055011 SOS 7624913 HAS SOPS 6338929 HAS SOUS 2331009 HAS SOUPS 2231715 WITH SCORE 2239339.913
AT ITER 2065 NEW BEST:: SOT 12054689 SOS 7625467 HAS SOPS 6338398 HAS SOUS 2330788 HAS SOUPS 2231480 WITH SCORE 2239105.467
AT ITER 2088 NEW BEST:: SOT 12054793 SOS 7625571 HAS SOPS 6338502 HAS SOUS 2330732 HAS SOUPS 2231424 WITH SCORE 2239049.571
AT ITER 2091 NEW BEST:: SOT 12053741 SOS 7619483 HAS SOPS 6333601 HAS SOUS 2325884 HAS SOUPS 2226576 WITH SCORE 2234195.483
AT ITER 2098 NEW BEST:: SOT 12051106 SOS 7615210 HAS SOPS 6328175 HAS SOUS 2320925 HAS SOUPS 2221617 WITH SCORE 2229232.21
AT ITER 2131 NEW BEST:: SOT 12051538 SOS 7616243 HAS SOPS 6327973 HAS SOUS 2321364 HAS SOUPS 2221183 WITH SCORE 2228799.243
AT ITER 2142 NEW BEST:: SOT 12044925 SOS 7607996 HAS SOPS 6321300 HAS SOUS 2316131 HAS SOUPS 2216147 WITH SCORE 2223754.996
AT ITER 2144 NEW BEST:: SOT 12042858 SOS 7606004 HAS SOPS 6319308 HAS SOUS 2315423 HAS SOUPS 2215439 WITH SCORE 2223045.004
AT ITER 2161 NEW BEST:: SOT 12039361 SOS 7602558 HAS SOPS 6315475 HAS SOUS 2310759 HAS SOUPS 2210754 WITH SCORE 2218356.558
AT ITER 2167 NEW BEST:: SOT 12032759 SOS 7594686 HAS SOPS 6304612 HAS SOUS 2294524 HAS SOUPS 2194519 WITH SCORE 2202113.686
AT ITER 2177 NEW BEST:: SOT 12031967 SOS 7593498 HAS SOPS 6303274 HAS SOUS 2293000 HAS SOUPS 2193003 WITH SCORE 2200596.498
AT ITER 2192 NEW BEST:: SOT 12027680 SOS 7579086 HAS SOPS 6295499 HAS SOUS 2279152 HAS SOUPS 2179155 WITH SCORE 2186734.086
AT ITER 2193 NEW BEST:: SOT 12027001 SOS 7571145 HAS SOPS 6286884 HAS SOUS 2277420 HAS SOUPS 2177423 WITH SCORE 2184994.145
AT ITER 2203 NEW BEST:: SOT 12028483 SOS 7576114 HAS SOPS 6289969 HAS SOUS 2274815 HAS SOUPS 2174818 WITH SCORE 2182394.114
AT ITER 2210 NEW BEST:: SOT 12028023 SOS 7575880 HAS SOPS 6288228 HAS SOUS 2269834 HAS SOUPS 2169837 WITH SCORE 2177412.88
AT ITER 2211 NEW BEST:: SOT 12016308 SOS 7552937 HAS SOPS 6273423 HAS SOUS 2256900 HAS SOUPS 2156903 WITH SCORE 2164455.937
AT ITER 2213 NEW BEST:: SOT 12011744 SOS 7548102 HAS SOPS 6269495 HAS SOUS 2255526 HAS SOUPS 2155529 WITH SCORE 2163077.102
AT ITER 2214 NEW BEST:: SOT 12011513 SOS 7547393 HAS SOPS 6268373 HAS SOUS 2254339 HAS SOUPS 2154342 WITH SCORE 2161889.393
AT ITER 2231 NEW BEST:: SOT 12011532 SOS 7548134 HAS SOPS 6268597 HAS SOUS 2254448 HAS SOUPS 2154235 WITH SCORE 2161783.134
AT ITER 2235 NEW BEST:: SOT 12010298 SOS 7545063 HAS SOPS 6265724 HAS SOUS 2253118 HAS SOUPS 2152955 WITH SCORE 2160500.063
AT ITER 2245 NEW BEST:: SOT 12010292 SOS 7545050 HAS SOPS 6265696 HAS SOUS 2253100 HAS SOUPS 2152937 WITH SCORE 2160482.05
AT ITER 2247 NEW BEST:: SOT 12009317 SOS 7540956 HAS SOPS 6261096 HAS SOUS 2251420 HAS SOUPS 2151257 WITH SCORE 2158797.956
AT ITER 2251 NEW BEST:: SOT 12006967 SOS 7538606 HAS SOPS 6258746 HAS SOUS 2248974 HAS SOUPS 2148811 WITH SCORE 2156349.606
AT ITER 2269 NEW BEST:: SOT 12006925 SOS 7538432 HAS SOPS 6258578 HAS SOUS 2248909 HAS SOUPS 2148748 WITH SCORE 2156286.432
AT ITER 2298 NEW BEST:: SOT 12006958 SOS 7538368 HAS SOPS 6257827 HAS SOUS 2246896 HAS SOUPS 2146948 WITH SCORE 2154486.368
AT ITER 2300 NEW BEST:: SOT 12007123 SOS 7536871 HAS SOPS 6257390 HAS SOUS 2245662 HAS SOUPS 2145714 WITH SCORE 2153250.871
AT ITER 2301 NEW BEST:: SOT 12005781 SOS 7534257 HAS SOPS 6256557 HAS SOUS 2242650 HAS SOUPS 2142702 WITH SCORE 2150236.257
AT ITER 2302 NEW BEST:: SOT 12004260 SOS 7530732 HAS SOPS 6254065 HAS SOUS 2236422 HAS SOUPS 2136961 WITH SCORE 2144491.732
AT ITER 2304 NEW BEST:: SOT 11998526 SOS 7520613 HAS SOPS 6243553 HAS SOUS 2230771 HAS SOUPS 2131837 WITH SCORE 2139357.613
AT ITER 2305 NEW BEST:: SOT 11997389 SOS 7517773 HAS SOPS 6242996 HAS SOUS 2229582 HAS SOUPS 2131773 WITH SCORE 2139290.773
AT ITER 2307 NEW BEST:: SOT 11996981 SOS 7517279 HAS SOPS 6242286 HAS SOUS 2228401 HAS SOUPS 2130599 WITH SCORE 2138116.279
AT ITER 2321 NEW BEST:: SOT 11996922 SOS 7517187 HAS SOPS 6242360 HAS SOUS 2228317 HAS SOUPS 2130529 WITH SCORE 2138046.187
AT ITER 2324 NEW BEST:: SOT 11997621 SOS 7519833 HAS SOPS 6243999 HAS SOUS 2227399 HAS SOUPS 2129586 WITH SCORE 2137105.833
AT ITER 2325 NEW BEST:: SOT 11991788 SOS 7514688 HAS SOPS 6238314 HAS SOUS 2219959 HAS SOUPS 2122146 WITH SCORE 2129660.688
AT ITER 2340 NEW BEST:: SOT 11989762 SOS 7512355 HAS SOPS 6236010 HAS SOUS 2218662 HAS SOUPS 2120809 WITH SCORE 2128321.355
AT ITER 2369 NEW BEST:: SOT 11985698 SOS 7508430 HAS SOPS 6233603 HAS SOUS 2213235 HAS SOUPS 2115382 WITH SCORE 2122890.43
AT ITER 2387 NEW BEST:: SOT 11985474 SOS 7508222 HAS SOPS 6232839 HAS SOUS 2212985 HAS SOUPS 2115132 WITH SCORE 2122640.222
AT ITER 2409 NEW BEST:: SOT 11985080 SOS 7508480 HAS SOPS 6233340 HAS SOUS 2212146 HAS SOUPS 2114306 WITH SCORE 2121814.48
AT ITER 2410 NEW BEST:: SOT 11985013 SOS 7508397 HAS SOPS 6233175 HAS SOUS 2211937 HAS SOUPS 2114095 WITH SCORE 2121603.397
AT ITER 2425 NEW BEST:: SOT 11983980 SOS 7509759 HAS SOPS 6232142 HAS SOUS 2209522 HAS SOUPS 2111582 WITH SCORE 2119091.759
AT ITER 2435 NEW BEST:: SOT 11984325 SOS 7510099 HAS SOPS 6232443 HAS SOUS 2207482 HAS SOUPS 2109682 WITH SCORE 2117192.099
AT ITER 2452 NEW BEST:: SOT 11982450 SOS 7508224 HAS SOPS 6230568 HAS SOUS 2205607 HAS SOUPS 2107807 WITH SCORE 2115315.224
AT ITER 2456 NEW BEST:: SOT 11975462 SOS 7495706 HAS SOPS 6220990 HAS SOUS 2200363 HAS SOUPS 2102536 WITH SCORE 2110031.706
AT ITER 2468 NEW BEST:: SOT 11975384 SOS 7495612 HAS SOPS 6220848 HAS SOUS 2200053 HAS SOUPS 2102226 WITH SCORE 2109721.612
AT ITER 2472 NEW BEST:: SOT 11975357 SOS 7495585 HAS SOPS 6220821 HAS SOUS 2199978 HAS SOUPS 2102151 WITH SCORE 2109646.585
AT ITER 2476 NEW BEST:: SOT 11975396 SOS 7495786 HAS SOPS 6220872 HAS SOUS 2199963 HAS SOUPS 2102136 WITH SCORE 2109631.786
AT ITER 2480 NEW BEST:: SOT 11975368 SOS 7495758 HAS SOPS 6220844 HAS SOUS 2199963 HAS SOUPS 2102136 WITH SCORE 2109631.758
AT ITER 2499 NEW BEST:: SOT 11972804 SOS 7493203 HAS SOPS 6219674 HAS SOUS 2198766 HAS SOUPS 2100939 WITH SCORE 2108432.203
AT ITER 2503 NEW BEST:: SOT 11969283 SOS 7488853 HAS SOPS 6214683 HAS SOUS 2193578 HAS SOUPS 2095799 WITH SCORE 2103287.853
AT ITER 2519 NEW BEST:: SOT 11968877 SOS 7487198 HAS SOPS 6213444 HAS SOUS 2192508 HAS SOUPS 2094729 WITH SCORE 2102216.198
AT ITER 2554 NEW BEST:: SOT 11967496 SOS 7488714 HAS SOPS 6209103 HAS SOUS 2181643 HAS SOUPS 2083776 WITH SCORE 2091264.714
AT ITER 2576 NEW BEST:: SOT 11967412 SOS 7488346 HAS SOPS 6208486 HAS SOUS 2180961 HAS SOUPS 2083094 WITH SCORE 2090582.346
AT ITER 2618 NEW BEST:: SOT 11970548 SOS 7495903 HAS SOPS 6214943 HAS SOUS 2175081 HAS SOUPS 2077236 WITH SCORE 2084731.903
AT ITER 2632 NEW BEST:: SOT 11970480 SOS 7494560 HAS SOPS 6215119 HAS SOUS 2174709 HAS SOUPS 2076864 WITH SCORE 2084358.56
AT ITER 2642 NEW BEST:: SOT 11970369 SOS 7494254 HAS SOPS 6214813 HAS SOUS 2174318 HAS SOUPS 2076473 WITH SCORE 2083967.254
AT ITER 2657 NEW BEST:: SOT 11962894 SOS 7486723 HAS SOPS 6206658 HAS SOUS 2163674 HAS SOUPS 2065829 WITH SCORE 2073315.723
AT ITER 2696 NEW BEST:: SOT 11961039 SOS 7481574 HAS SOPS 6203177 HAS SOUS 2158046 HAS SOUPS 2060606 WITH SCORE 2068087.574
AT ITER 2698 NEW BEST:: SOT 11960667 SOS 7481208 HAS SOPS 6202683 HAS SOUS 2157807 HAS SOUPS 2060367 WITH SCORE 2067848.208
AT ITER 2713 NEW BEST:: SOT 11961286 SOS 7481983 HAS SOPS 6203893 HAS SOUS 2157372 HAS SOUPS 2059932 WITH SCORE 2067413.983
AT ITER 2715 NEW BEST:: SOT 11960505 SOS 7480654 HAS SOPS 6202326 HAS SOUS 2156808 HAS SOUPS 2059343 WITH SCORE 2066823.654
AT ITER 2718 NEW BEST:: SOT 11959338 SOS 7482892 HAS SOPS 6204420 HAS SOUS 2155851 HAS SOUPS 2058341 WITH SCORE 2065823.892
AT ITER 2721 NEW BEST:: SOT 11962296 SOS 7494625 HAS SOPS 6219072 HAS SOUS 2150636 HAS SOUPS 2053126 WITH SCORE 2060620.625
AT ITER 2731 NEW BEST:: SOT 11962152 SOS 7494481 HAS SOPS 6218928 HAS SOUS 2150636 HAS SOUPS 2053126 WITH SCORE 2060620.481
AT ITER 2742 NEW BEST:: SOT 11961498 SOS 7492773 HAS SOPS 6218229 HAS SOUS 2150494 HAS SOUPS 2052984 WITH SCORE 2060476.773
AT ITER 2750 NEW BEST:: SOT 11961465 SOS 7492551 HAS SOPS 6217968 HAS SOUS 2150463 HAS SOUPS 2052953 WITH SCORE 2060445.551
AT ITER 2751 NEW BEST:: SOT 11960199 SOS 7491773 HAS SOPS 6216134 HAS SOUS 2146845 HAS SOUPS 2049297 WITH SCORE 2056788.773
AT ITER 2755 NEW BEST:: SOT 11959526 SOS 7490121 HAS SOPS 6214977 HAS SOUS 2146796 HAS SOUPS 2049248 WITH SCORE 2056738.121
AT ITER 2756 NEW BEST:: SOT 11958104 SOS 7488485 HAS SOPS 6211435 HAS SOUS 2141293 HAS SOUPS 2043705 WITH SCORE 2051193.485
AT ITER 2763 NEW BEST:: SOT 11956897 SOS 7487688 HAS SOPS 6211282 HAS SOUS 2137374 HAS SOUPS 2039933 WITH SCORE 2047420.688
AT ITER 2764 NEW BEST:: SOT 11956461 SOS 7487003 HAS SOPS 6210518 HAS SOUS 2136866 HAS SOUPS 2039426 WITH SCORE 2046913.003
AT ITER 2770 NEW BEST:: SOT 11958629 SOS 7494413 HAS SOPS 6216277 HAS SOUS 2136249 HAS SOUPS 2038809 WITH SCORE 2046303.413
AT ITER 2796 NEW BEST:: SOT 11958320 SOS 7493848 HAS SOPS 6215952 HAS SOUS 2136100 HAS SOUPS 2038748 WITH SCORE 2046241.848
AT ITER 2804 NEW BEST:: SOT 11950442 SOS 7484788 HAS SOPS 6205537 HAS SOUS 2128217 HAS SOUPS 2030865 WITH SCORE 2038349.788
AT ITER 2833 NEW BEST:: SOT 11951049 SOS 7490883 HAS SOPS 6206548 HAS SOUS 2123619 HAS SOUPS 2026267 WITH SCORE 2033757.883
AT ITER 2848 NEW BEST:: SOT 11951079 SOS 7491496 HAS SOPS 6207298 HAS SOUS 2123286 HAS SOUPS 2025934 WITH SCORE 2033425.496
AT ITER 2889 NEW BEST:: SOT 11949903 SOS 7490221 HAS SOPS 6205747 HAS SOUS 2121969 HAS SOUPS 2024566 WITH SCORE 2032056.221
AT ITER 2926 NEW BEST:: SOT 11950113 SOS 7489645 HAS SOPS 6205714 HAS SOUS 2119849 HAS SOUPS 2022748 WITH SCORE 2030237.645
AT ITER 2937 NEW BEST:: SOT 11949897 SOS 7489429 HAS SOPS 6205438 HAS SOUS 2119381 HAS SOUPS 2022284 WITH SCORE 2029773.429
AT ITER 2940 NEW BEST:: SOT 11948160 SOS 7487500 HAS SOPS 6203386 HAS SOUS 2116996 HAS SOUPS 2019899 WITH SCORE 2027386.5
AT ITER 2944 NEW BEST:: SOT 11949112 SOS 7488452 HAS SOPS 6204338 HAS SOUS 2116604 HAS SOUPS 2019507 WITH SCORE 2026995.452
AT ITER 2948 NEW BEST:: SOT 11944131 SOS 7483407 HAS SOPS 6198781 HAS SOUS 2108394 HAS SOUPS 2011297 WITH SCORE 2018780.407
AT ITER 2951 NEW BEST:: SOT 11942169 SOS 7481390 HAS SOPS 6196190 HAS SOUS 2104317 HAS SOUPS 2007202 WITH SCORE 2014683.39
AT ITER 2961 NEW BEST:: SOT 11941956 SOS 7481133 HAS SOPS 6195809 HAS SOUS 2103644 HAS SOUPS 2006529 WITH SCORE 2014010.133
AT ITER 2978 NEW BEST:: SOT 11941089 SOS 7479657 HAS SOPS 6194911 HAS SOUS 2102930 HAS SOUPS 2005815 WITH SCORE 2013294.657
AT ITER 2981 NEW BEST:: SOT 11938670 SOS 7477238 HAS SOPS 6192220 HAS SOUS 2099263 HAS SOUPS 2002148 WITH SCORE 2009625.238
AT ITER 3003 NEW BEST:: SOT 11938702 SOS 7476912 HAS SOPS 6191201 HAS SOUS 2098405 HAS SOUPS 2001290 WITH SCORE 2008766.912
AT ITER 3006 NEW BEST:: SOT 11939651 SOS 7479027 HAS SOPS 6194922 HAS SOUS 2097364 HAS SOUPS 2000249 WITH SCORE 2007728.027
AT ITER 3032 NEW BEST:: SOT 11939539 SOS 7478887 HAS SOPS 6194782 HAS SOUS 2097210 HAS SOUPS 2000095 WITH SCORE 2007573.887
AT ITER 3047 NEW BEST:: SOT 11939165 SOS 7477889 HAS SOPS 6193384 HAS SOUS 2097104 HAS SOUPS 1999989 WITH SCORE 2007466.889
AT ITER 3070 NEW BEST:: SOT 11940939 SOS 7482458 HAS SOPS 6197991 HAS SOUS 2094925 HAS SOUPS 1997810 WITH SCORE 2005292.458
AT ITER 3084 NEW BEST:: SOT 11943044 SOS 7486937 HAS SOPS 6202739 HAS SOUS 2094860 HAS SOUPS 1997745 WITH SCORE 2005231.937
AT ITER 3089 NEW BEST:: SOT 11942846 SOS 7486827 HAS SOPS 6202417 HAS SOUS 2094246 HAS SOUPS 1997157 WITH SCORE 2004643.827
AT ITER 3144 NEW BEST:: SOT 11941248 SOS 7484639 HAS SOPS 6200089 HAS SOUS 2092011 HAS SOUPS 1994922 WITH SCORE 2002406.639
AT ITER 3158 NEW BEST:: SOT 11941069 SOS 7482823 HAS SOPS 6196345 HAS SOUS 2091293 HAS SOUPS 1994204 WITH SCORE 2001686.823
AT ITER 3164 NEW BEST:: SOT 11941097 SOS 7483322 HAS SOPS 6196974 HAS SOUS 2091278 HAS SOUPS 1994189 WITH SCORE 2001672.322
AT ITER 3165 NEW BEST:: SOT 11941137 SOS 7484067 HAS SOPS 6197793 HAS SOUS 2090613 HAS SOUPS 1993524 WITH SCORE 2001008.067
AT ITER 3166 NEW BEST:: SOT 11937734 SOS 7479695 HAS SOPS 6190125 HAS SOUS 2082311 HAS SOUPS 1985222 WITH SCORE 1992701.695
AT ITER 3167 NEW BEST:: SOT 11937470 SOS 7479638 HAS SOPS 6190113 HAS SOUS 2082298 HAS SOUPS 1985198 WITH SCORE 1992677.638
AT ITER 3169 NEW BEST:: SOT 11936408 SOS 7478576 HAS SOPS 6188443 HAS SOUS 2082388 HAS SOUPS 1984984 WITH SCORE 1992462.576
AT ITER 3198 NEW BEST:: SOT 11935814 SOS 7479787 HAS SOPS 6189330 HAS SOUS 2077719 HAS SOUPS 1980315 WITH SCORE 1987794.787
AT ITER 3214 NEW BEST:: SOT 11934601 SOS 7479238 HAS SOPS 6188641 HAS SOUS 2076730 HAS SOUPS 1979302 WITH SCORE 1986781.238
AT ITER 3219 NEW BEST:: SOT 11933706 SOS 7480092 HAS SOPS 6188338 HAS SOUS 2071647 HAS SOUPS 1974219 WITH SCORE 1981699.092
AT ITER 3229 NEW BEST:: SOT 11933565 SOS 7479362 HAS SOPS 6187441 HAS SOUS 2071105 HAS SOUPS 1973677 WITH SCORE 1981156.362
AT ITER 3234 NEW BEST:: SOT 11942051 SOS 7491458 HAS SOPS 6200606 HAS SOUS 2070822 HAS SOUPS 1973566 WITH SCORE 1981057.458
AT ITER 3247 NEW BEST:: SOT 11940944 SOS 7491039 HAS SOPS 6198884 HAS SOUS 2069356 HAS SOUPS 1971673 WITH SCORE 1979164.039
AT ITER 3279 NEW BEST:: SOT 11940938 SOS 7491011 HAS SOPS 6198878 HAS SOUS 2069340 HAS SOUPS 1971657 WITH SCORE 1979148.011
AT ITER 3282 NEW BEST:: SOT 11940979 SOS 7491057 HAS SOPS 6198852 HAS SOUS 2068969 HAS SOUPS 1971414 WITH SCORE 1978905.057
AT ITER 3290 NEW BEST:: SOT 11940957 SOS 7491121 HAS SOPS 6198884 HAS SOUS 2068858 HAS SOUPS 1971303 WITH SCORE 1978794.121
AT ITER 3293 NEW BEST:: SOT 11940282 SOS 7490771 HAS SOPS 6199088 HAS SOUS 2067091 HAS SOUPS 1969584 WITH SCORE 1977074.771
AT ITER 3302 NEW BEST:: SOT 11940191 SOS 7490341 HAS SOPS 6198602 HAS SOUS 2066833 HAS SOUPS 1969326 WITH SCORE 1976816.341
AT ITER 3306 NEW BEST:: SOT 11940305 SOS 7490473 HAS SOPS 6198767 HAS SOUS 2066350 HAS SOUPS 1968866 WITH SCORE 1976356.473
AT ITER 3315 NEW BEST:: SOT 11939764 SOS 7490091 HAS SOPS 6199356 HAS SOUS 2063279 HAS SOUPS 1965806 WITH SCORE 1973296.091
AT ITER 3316 NEW BEST:: SOT 11939739 SOS 7489139 HAS SOPS 6199938 HAS SOUS 2062676 HAS SOUPS 1965203 WITH SCORE 1972692.139
AT ITER 3333 NEW BEST:: SOT 11939735 SOS 7488726 HAS SOPS 6200026 HAS SOUS 2062598 HAS SOUPS 1965125 WITH SCORE 1972613.726
AT ITER 3338 NEW BEST:: SOT 11940918 SOS 7494094 HAS SOPS 6206459 HAS SOUS 2061655 HAS SOUPS 1964182 WITH SCORE 1971676.094
AT ITER 3369 NEW BEST:: SOT 11941331 SOS 7494465 HAS SOPS 6206494 HAS SOUS 2060577 HAS SOUPS 1963104 WITH SCORE 1970598.465
AT ITER 3379 NEW BEST:: SOT 11932285 SOS 7476805 HAS SOPS 6195858 HAS SOUS 2057505 HAS SOUPS 1961690 WITH SCORE 1969166.805
AT ITER 3392 NEW BEST:: SOT 11932188 SOS 7476708 HAS SOPS 6195665 HAS SOUS 2057472 HAS SOUPS 1961657 WITH SCORE 1969133.708
AT ITER 3397 NEW BEST:: SOT 11932160 SOS 7476623 HAS SOPS 6195549 HAS SOUS 2057433 HAS SOUPS 1961618 WITH SCORE 1969094.623
AT ITER 3408 NEW BEST:: SOT 11933060 SOS 7477279 HAS SOPS 6195899 HAS SOUS 2057432 HAS SOUPS 1961617 WITH SCORE 1969094.279
AT ITER 3409 NEW BEST:: SOT 11933086 SOS 7474867 HAS SOPS 6196595 HAS SOUS 2056933 HAS SOUPS 1961118 WITH SCORE 1968592.867
AT ITER 3434 NEW BEST:: SOT 11932177 SOS 7474021 HAS SOPS 6195355 HAS SOUS 2054861 HAS SOUPS 1959055 WITH SCORE 1966529.021
AT ITER 3435 NEW BEST:: SOT 11931633 SOS 7473345 HAS SOPS 6193883 HAS SOUS 2053412 HAS SOUPS 1957606 WITH SCORE 1965079.345
AT ITER 3452 NEW BEST:: SOT 11929887 SOS 7471276 HAS SOPS 6191814 HAS SOUS 2050899 HAS SOUPS 1955093 WITH SCORE 1962564.276
AT ITER 3460 NEW BEST:: SOT 11928941 SOS 7466403 HAS SOPS 6190584 HAS SOUS 2050737 HAS SOUPS 1955027 WITH SCORE 1962493.403
AT ITER 3480 NEW BEST:: SOT 11928911 SOS 7466372 HAS SOPS 6190546 HAS SOUS 2050715 HAS SOUPS 1955002 WITH SCORE 1962468.372
AT ITER 3500 NEW BEST:: SOT 11928858 SOS 7466690 HAS SOPS 6189867 HAS SOUS 2050473 HAS SOUPS 1954760 WITH SCORE 1962226.69
AT ITER 3510 NEW BEST:: SOT 11928850 SOS 7466660 HAS SOPS 6189805 HAS SOUS 2050441 HAS SOUPS 1954728 WITH SCORE 1962194.66
AT ITER 3511 NEW BEST:: SOT 11929041 SOS 7466954 HAS SOPS 6189999 HAS SOUS 2050429 HAS SOUPS 1954716 WITH SCORE 1962182.954
AT ITER 3526 NEW BEST:: SOT 11928998 SOS 7466888 HAS SOPS 6189948 HAS SOUS 2050371 HAS SOUPS 1954659 WITH SCORE 1962125.888
AT ITER 3545 NEW BEST:: SOT 11928171 SOS 7465074 HAS SOPS 6187826 HAS SOUS 2047994 HAS SOUPS 1952282 WITH SCORE 1959747.074
AT ITER 3555 NEW BEST:: SOT 11925855 SOS 7460070 HAS SOPS 6183299 HAS SOUS 2046289 HAS SOUPS 1950761 WITH SCORE 1958221.07
AT ITER 3560 NEW BEST:: SOT 11926760 SOS 7461091 HAS SOPS 6182620 HAS SOUS 2046642 HAS SOUPS 1950635 WITH SCORE 1958096.091
AT ITER 3562 NEW BEST:: SOT 11925575 SOS 7459056 HAS SOPS 6180530 HAS SOUS 2044790 HAS SOUPS 1948783 WITH SCORE 1956242.056
AT ITER 3570 NEW BEST:: SOT 11923629 SOS 7457334 HAS SOPS 6179369 HAS SOUS 2040684 HAS SOUPS 1944599 WITH SCORE 1952056.334
AT ITER 3590 NEW BEST:: SOT 11923733 SOS 7457488 HAS SOPS 6179546 HAS SOUS 2040619 HAS SOUPS 1944534 WITH SCORE 1951991.488
AT ITER 3592 NEW BEST:: SOT 11923627 SOS 7458439 HAS SOPS 6180027 HAS SOUS 2038356 HAS SOUPS 1942271 WITH SCORE 1949729.439
AT ITER 3598 NEW BEST:: SOT 11923003 SOS 7457829 HAS SOPS 6179084 HAS SOUS 2038195 HAS SOUPS 1942110 WITH SCORE 1949567.829
AT ITER 3615 NEW BEST:: SOT 11922392 SOS 7455077 HAS SOPS 6175936 HAS SOUS 2036795 HAS SOUPS 1940710 WITH SCORE 1948165.077
AT ITER 3616 NEW BEST:: SOT 11921709 SOS 7454261 HAS SOPS 6174986 HAS SOUS 2035243 HAS SOUPS 1939158 WITH SCORE 1946612.261
AT ITER 3623 NEW BEST:: SOT 11921330 SOS 7453882 HAS SOPS 6174527 HAS SOUS 2034184 HAS SOUPS 1938099 WITH SCORE 1945552.882
AT ITER 3626 NEW BEST:: SOT 11921361 SOS 7453927 HAS SOPS 6174452 HAS SOUS 2034150 HAS SOUPS 1938065 WITH SCORE 1945518.927
AT ITER 3636 NEW BEST:: SOT 11920583 SOS 7457694 HAS SOPS 6180928 HAS SOUS 2027614 HAS SOUPS 1931529 WITH SCORE 1938986.694
AT ITER 3640 NEW BEST:: SOT 11918802 SOS 7455815 HAS SOPS 6178634 HAS SOUS 2024636 HAS SOUPS 1928551 WITH SCORE 1936006.815
AT ITER 3651 NEW BEST:: SOT 11915679 SOS 7447235 HAS SOPS 6172987 HAS SOUS 2021666 HAS SOUPS 1925581 WITH SCORE 1933028.235
AT ITER 3654 NEW BEST:: SOT 11909404 SOS 7434241 HAS SOPS 6162000 HAS SOUS 2019051 HAS SOUPS 1922966 WITH SCORE 1930400.241
AT ITER 3726 NEW BEST:: SOT 11910344 SOS 7432236 HAS SOPS 6158933 HAS SOUS 2017535 HAS SOUPS 1921450 WITH SCORE 1928882.236
AT ITER 3728 NEW BEST:: SOT 11907290 SOS 7426884 HAS SOPS 6152969 HAS SOUS 2007807 HAS SOUPS 1912397 WITH SCORE 1919823.884
AT ITER 3729 NEW BEST:: SOT 11905054 SOS 7425111 HAS SOPS 6152131 HAS SOUS 2006454 HAS SOUPS 1911044 WITH SCORE 1918469.111
AT ITER 3730 NEW BEST:: SOT 11908250 SOS 7427877 HAS SOPS 6153595 HAS SOUS 2000399 HAS SOUPS 1904977 WITH SCORE 1912404.877
AT ITER 3733 NEW BEST:: SOT 11908477 SOS 7427894 HAS SOPS 6153732 HAS SOUS 2000016 HAS SOUPS 1904594 WITH SCORE 1912021.894
AT ITER 3744 NEW BEST:: SOT 11907804 SOS 7426998 HAS SOPS 6153409 HAS SOUS 1999645 HAS SOUPS 1904223 WITH SCORE 1911649.998
AT ITER 3760 NEW BEST:: SOT 11906680 SOS 7422513 HAS SOPS 6150727 HAS SOUS 1991707 HAS SOUPS 1896400 WITH SCORE 1903822.513
AT ITER 3764 NEW BEST:: SOT 11901857 SOS 7406836 HAS SOPS 6140138 HAS SOUS 1986293 HAS SOUPS 1891138 WITH SCORE 1898544.836
AT ITER 3774 NEW BEST:: SOT 11901162 SOS 7405468 HAS SOPS 6138846 HAS SOUS 1984781 HAS SOUPS 1889636 WITH SCORE 1897041.468
AT ITER 3782 NEW BEST:: SOT 11900120 SOS 7404481 HAS SOPS 6137166 HAS SOUS 1982500 HAS SOUPS 1887347 WITH SCORE 1894751.481
AT ITER 3783 NEW BEST:: SOT 11902535 SOS 7410196 HAS SOPS 6142637 HAS SOUS 1981527 HAS SOUPS 1886374 WITH SCORE 1893784.196
AT ITER 3812 NEW BEST:: SOT 11901632 SOS 7409311 HAS SOPS 6141662 HAS SOUS 1980582 HAS SOUPS 1885435 WITH SCORE 1892844.311
AT ITER 3813 NEW BEST:: SOT 11901589 SOS 7408779 HAS SOPS 6141095 HAS SOUS 1980468 HAS SOUPS 1885321 WITH SCORE 1892729.779
AT ITER 3820 NEW BEST:: SOT 11901379 SOS 7407531 HAS SOPS 6140129 HAS SOUS 1980309 HAS SOUPS 1885162 WITH SCORE 1892569.531
AT ITER 3826 NEW BEST:: SOT 11901409 SOS 7407589 HAS SOPS 6140121 HAS SOUS 1980306 HAS SOUPS 1885156 WITH SCORE 1892563.589
AT ITER 3833 NEW BEST:: SOT 11902355 SOS 7410487 HAS SOPS 6142278 HAS SOUS 1980021 HAS SOUPS 1884871 WITH SCORE 1892281.487
AT ITER 3838 NEW BEST:: SOT 11899165 SOS 7403678 HAS SOPS 6136879 HAS SOUS 1978582 HAS SOUPS 1883432 WITH SCORE 1890835.678
AT ITER 3871 NEW BEST:: SOT 11904765 SOS 7413679 HAS SOPS 6149160 HAS SOUS 1978038 HAS SOUPS 1882888 WITH SCORE 1890301.679
AT ITER 3874 NEW BEST:: SOT 11904142 SOS 7413056 HAS SOPS 6148425 HAS SOUS 1976779 HAS SOUPS 1881473 WITH SCORE 1888886.056
AT ITER 3878 NEW BEST:: SOT 11900619 SOS 7414702 HAS SOPS 6146312 HAS SOUS 1962762 HAS SOUPS 1867456 WITH SCORE 1874870.702
AT ITER 3888 NEW BEST:: SOT 11900823 SOS 7414968 HAS SOPS 6146582 HAS SOUS 1962702 HAS SOUPS 1867400 WITH SCORE 1874814.968
AT ITER 3893 NEW BEST:: SOT 11900501 SOS 7414599 HAS SOPS 6145857 HAS SOUS 1960752 HAS SOUPS 1865415 WITH SCORE 1872829.599
AT ITER 3936 NEW BEST:: SOT 11899748 SOS 7414021 HAS SOPS 6144943 HAS SOUS 1959320 HAS SOUPS 1863983 WITH SCORE 1871397.021
AT ITER 3958 NEW BEST:: SOT 11899766 SOS 7414056 HAS SOPS 6144970 HAS SOUS 1959316 HAS SOUPS 1863979 WITH SCORE 1871393.056
AT ITER 3974 NEW BEST:: SOT 11898775 SOS 7412065 HAS SOPS 6138850 HAS SOUS 1958604 HAS SOUPS 1863193 WITH SCORE 1870605.065
AT ITER 3985 NEW BEST:: SOT 11897166 SOS 7407906 HAS SOPS 6135346 HAS SOUS 1956275 HAS SOUPS 1860895 WITH SCORE 1868302.906
AT ITER 3986 NEW BEST:: SOT 11897066 SOS 7407886 HAS SOPS 6135214 HAS SOUS 1956096 HAS SOUPS 1860716 WITH SCORE 1868123.886
AT ITER 4012 NEW BEST:: SOT 11896765 SOS 7407460 HAS SOPS 6134826 HAS SOUS 1954959 HAS SOUPS 1859579 WITH SCORE 1866986.46
AT ITER 4023 NEW BEST:: SOT 11896756 SOS 7407355 HAS SOPS 6134774 HAS SOUS 1954953 HAS SOUPS 1859573 WITH SCORE 1866980.355
AT ITER 4045 NEW BEST:: SOT 11896932 SOS 7407009 HAS SOPS 6134382 HAS SOUS 1954853 HAS SOUPS 1859473 WITH SCORE 1866880.009
AT ITER 4067 NEW BEST:: SOT 11898401 SOS 7409427 HAS SOPS 6136211 HAS SOUS 1954713 HAS SOUPS 1859333 WITH SCORE 1866742.427
AT ITER 4125 NEW BEST:: SOT 11898659 SOS 7409613 HAS SOPS 6136509 HAS SOUS 1954446 HAS SOUPS 1859066 WITH SCORE 1866475.613
AT ITER 4133 NEW BEST:: SOT 11898773 SOS 7409152 HAS SOPS 6136517 HAS SOUS 1954394 HAS SOUPS 1859014 WITH SCORE 1866423.152
AT ITER 4137 NEW BEST:: SOT 11895809 SOS 7401013 HAS SOPS 6129140 HAS SOUS 1952175 HAS SOUPS 1857027 WITH SCORE 1864428.013
AT ITER 4153 NEW BEST:: SOT 11890701 SOS 7393478 HAS SOPS 6117929 HAS SOUS 1951752 HAS SOUPS 1856604 WITH SCORE 1863997.478
AT ITER 4159 NEW BEST:: SOT 11887202 SOS 7378229 HAS SOPS 6112993 HAS SOUS 1949069 HAS SOUPS 1854060 WITH SCORE 1861438.229
AT ITER 4160 NEW BEST:: SOT 11885885 SOS 7376867 HAS SOPS 6111403 HAS SOUS 1946714 HAS SOUPS 1851781 WITH SCORE 1859157.867
AT ITER 4167 NEW BEST:: SOT 11886929 SOS 7377608 HAS SOPS 6113042 HAS SOUS 1946667 HAS SOUPS 1851777 WITH SCORE 1859154.608
AT ITER 4194 NEW BEST:: SOT 11886919 SOS 7376599 HAS SOPS 6112046 HAS SOUS 1946648 HAS SOUPS 1851758 WITH SCORE 1859134.599
AT ITER 4196 NEW BEST:: SOT 11884869 SOS 7371940 HAS SOPS 6107149 HAS SOUS 1945845 HAS SOUPS 1850904 WITH SCORE 1858275.94
AT ITER 4208 NEW BEST:: SOT 11886964 SOS 7380504 HAS SOPS 6114602 HAS SOUS 1944132 HAS SOUPS 1849191 WITH SCORE 1856571.504
AT ITER 4209 NEW BEST:: SOT 11886659 SOS 7380211 HAS SOPS 6112948 HAS SOUS 1938944 HAS SOUPS 1843979 WITH SCORE 1851359.211
AT ITER 4233 NEW BEST:: SOT 11884833 SOS 7378098 HAS SOPS 6110577 HAS SOUS 1936447 HAS SOUPS 1841482 WITH SCORE 1848860.098
AT ITER 4248 NEW BEST:: SOT 11881820 SOS 7370245 HAS SOPS 6099367 HAS SOUS 1925406 HAS SOUPS 1830383 WITH SCORE 1837753.245
AT ITER 4258 NEW BEST:: SOT 11883675 SOS 7379300 HAS SOPS 6107705 HAS SOUS 1923603 HAS SOUPS 1828580 WITH SCORE 1835959.3
AT ITER 4306 NEW BEST:: SOT 11882666 SOS 7377631 HAS SOPS 6106392 HAS SOUS 1922197 HAS SOUPS 1827174 WITH SCORE 1834551.631
AT ITER 4341 NEW BEST:: SOT 11883957 SOS 7378304 HAS SOPS 6106274 HAS SOUS 1919561 HAS SOUPS 1824538 WITH SCORE 1831916.304
AT ITER 4373 NEW BEST:: SOT 11885277 SOS 7383846 HAS SOPS 6109764 HAS SOUS 1915553 HAS SOUPS 1820530 WITH SCORE 1827913.846
AT ITER 4390 NEW BEST:: SOT 11883616 SOS 7380205 HAS SOPS 6106355 HAS SOUS 1913553 HAS SOUPS 1818646 WITH SCORE 1826026.205
AT ITER 4391 NEW BEST:: SOT 11883776 SOS 7380365 HAS SOPS 6106387 HAS SOUS 1913169 HAS SOUPS 1818262 WITH SCORE 1825642.365
AT ITER 4409 NEW BEST:: SOT 11888238 SOS 7386904 HAS SOPS 6112777 HAS SOUS 1911188 HAS SOUPS 1816346 WITH SCORE 1823732.904
AT ITER 4413 NEW BEST:: SOT 11886700 SOS 7382639 HAS SOPS 6107200 HAS SOUS 1910419 HAS SOUPS 1815495 WITH SCORE 1822877.639
AT ITER 4419 NEW BEST:: SOT 11886464 SOS 7382367 HAS SOPS 6106974 HAS SOUS 1909871 HAS SOUPS 1815025 WITH SCORE 1822407.367
AT ITER 4440 NEW BEST:: SOT 11886320 SOS 7381689 HAS SOPS 6106573 HAS SOUS 1909701 HAS SOUPS 1814855 WITH SCORE 1822236.689
AT ITER 4451 NEW BEST:: SOT 11885831 SOS 7380839 HAS SOPS 6105649 HAS SOUS 1908325 HAS SOUPS 1813479 WITH SCORE 1820859.839
AT ITER 4453 NEW BEST:: SOT 11883716 SOS 7378025 HAS SOPS 6101907 HAS SOUS 1907965 HAS SOUPS 1812983 WITH SCORE 1820361.025
AT ITER 4460 NEW BEST:: SOT 11882734 SOS 7375027 HAS SOPS 6099117 HAS SOUS 1906902 HAS SOUPS 1811920 WITH SCORE 1819295.027
AT ITER 4485 NEW BEST:: SOT 11882642 SOS 7373975 HAS SOPS 6098875 HAS SOUS 1906430 HAS SOUPS 1811448 WITH SCORE 1818821.975
AT ITER 4508 NEW BEST:: SOT 11883410 SOS 7376577 HAS SOPS 6101659 HAS SOUS 1906139 HAS SOUPS 1811157 WITH SCORE 1818533.577
AT ITER 4522 NEW BEST:: SOT 11882898 SOS 7375886 HAS SOPS 6102356 HAS SOUS 1905671 HAS SOUPS 1810689 WITH SCORE 1818064.886
AT ITER 4541 NEW BEST:: SOT 11882712 SOS 7375618 HAS SOPS 6102125 HAS SOUS 1905299 HAS SOUPS 1810319 WITH SCORE 1817694.618
AT ITER 4553 NEW BEST:: SOT 11883594 SOS 7376574 HAS SOPS 6102921 HAS SOUS 1904634 HAS SOUPS 1809654 WITH SCORE 1817030.574
AT ITER 4560 NEW BEST:: SOT 11883288 SOS 7375746 HAS SOPS 6101858 HAS SOUS 1904191 HAS SOUPS 1809211 WITH SCORE 1816586.746
AT ITER 4562 NEW BEST:: SOT 11878649 SOS 7370363 HAS SOPS 6096011 HAS SOUS 1900061 HAS SOUPS 1804998 WITH SCORE 1812368.363
AT ITER 4580 NEW BEST:: SOT 11878513 SOS 7370335 HAS SOPS 6095823 HAS SOUS 1899709 HAS SOUPS 1804646 WITH SCORE 1812016.335
AT ITER 4583 NEW BEST:: SOT 11877751 SOS 7369666 HAS SOPS 6094479 HAS SOUS 1897430 HAS SOUPS 1802327 WITH SCORE 1809696.666
AT ITER 4584 NEW BEST:: SOT 11877438 SOS 7369911 HAS SOPS 6095224 HAS SOUS 1896975 HAS SOUPS 1801872 WITH SCORE 1809241.911
AT ITER 4592 NEW BEST:: SOT 11878430 SOS 7373771 HAS SOPS 6097137 HAS SOUS 1895972 HAS SOUPS 1800815 WITH SCORE 1808188.771
AT ITER 4618 NEW BEST:: SOT 11878246 SOS 7375857 HAS SOPS 6099328 HAS SOUS 1895968 HAS SOUPS 1800811 WITH SCORE 1808186.857
AT ITER 4642 NEW BEST:: SOT 11876032 SOS 7373246 HAS SOPS 6097396 HAS SOUS 1888146 HAS SOUPS 1792989 WITH SCORE 1800362.246
AT ITER 4650 NEW BEST:: SOT 11867376 SOS 7359806 HAS SOPS 6085037 HAS SOUS 1868384 HAS SOUPS 1773348 WITH SCORE 1780707.806
AT ITER 4652 NEW BEST:: SOT 11868145 SOS 7360555 HAS SOPS 6085943 HAS SOUS 1867495 HAS SOUPS 1772459 WITH SCORE 1779819.555
AT ITER 4672 NEW BEST:: SOT 11867633 SOS 7360023 HAS SOPS 6085461 HAS SOUS 1866131 HAS SOUPS 1771125 WITH SCORE 1778485.023
AT ITER 4708 NEW BEST:: SOT 11867261 SOS 7359507 HAS SOPS 6084941 HAS SOUS 1865575 HAS SOUPS 1770569 WITH SCORE 1777928.507
AT ITER 4709 NEW BEST:: SOT 11866925 SOS 7359153 HAS SOPS 6084587 HAS SOUS 1864963 HAS SOUPS 1769957 WITH SCORE 1777316.153
AT ITER 4721 NEW BEST:: SOT 11866877 SOS 7359081 HAS SOPS 6084515 HAS SOUS 1864735 HAS SOUPS 1769729 WITH SCORE 1777088.081
AT ITER 4722 NEW BEST:: SOT 11868013 SOS 7359848 HAS SOPS 6085498 HAS SOUS 1863763 HAS SOUPS 1768757 WITH SCORE 1776116.848
AT ITER 4724 NEW BEST:: SOT 11867844 SOS 7359558 HAS SOPS 6085048 HAS SOUS 1863780 HAS SOUPS 1768742 WITH SCORE 1776101.558
AT ITER 4726 NEW BEST:: SOT 11867505 SOS 7359283 HAS SOPS 6084816 HAS SOUS 1863508 HAS SOUPS 1768470 WITH SCORE 1775829.283
AT ITER 4735 NEW BEST:: SOT 11868277 SOS 7360535 HAS SOPS 6085796 HAS SOUS 1863196 HAS SOUPS 1768158 WITH SCORE 1775518.535
AT ITER 4742 NEW BEST:: SOT 11867815 SOS 7360045 HAS SOPS 6085194 HAS SOUS 1862503 HAS SOUPS 1767444 WITH SCORE 1774804.045
AT ITER 4747 NEW BEST:: SOT 11867065 SOS 7358494 HAS SOPS 6083614 HAS SOUS 1861434 HAS SOUPS 1766375 WITH SCORE 1773733.494
AT ITER 4792 NEW BEST:: SOT 11867637 SOS 7363770 HAS SOPS 6086870 HAS SOUS 1861388 HAS SOUPS 1766329 WITH SCORE 1773692.77
AT ITER 4796 NEW BEST:: SOT 11868090 SOS 7363864 HAS SOPS 6085648 HAS SOUS 1861207 HAS SOUPS 1766148 WITH SCORE 1773511.864
AT ITER 4802 NEW BEST:: SOT 11869488 SOS 7365527 HAS SOPS 6086964 HAS SOUS 1861166 HAS SOUPS 1766076 WITH SCORE 1773441.527
AT ITER 4820 NEW BEST:: SOT 11869664 SOS 7365751 HAS SOPS 6087284 HAS SOUS 1860122 HAS SOUPS 1765112 WITH SCORE 1772477.751
AT ITER 4829 NEW BEST:: SOT 11869639 SOS 7365435 HAS SOPS 6086959 HAS SOUS 1859796 HAS SOUPS 1764790 WITH SCORE 1772155.435
AT ITER 4837 NEW BEST:: SOT 11868634 SOS 7362844 HAS SOPS 6084400 HAS SOUS 1858967 HAS SOUPS 1763979 WITH SCORE 1771341.844
AT ITER 4845 NEW BEST:: SOT 11866940 SOS 7361150 HAS SOPS 6082274 HAS SOUS 1857049 HAS SOUPS 1761917 WITH SCORE 1769278.15
AT ITER 4857 NEW BEST:: SOT 11867475 SOS 7364898 HAS SOPS 6086581 HAS SOUS 1855902 HAS SOUPS 1760847 WITH SCORE 1768211.898
AT ITER 4858 NEW BEST:: SOT 11865449 SOS 7362819 HAS SOPS 6084139 HAS SOUS 1852315 HAS SOUPS 1757160 WITH SCORE 1764522.819
AT ITER 4862 NEW BEST:: SOT 11866798 SOS 7365210 HAS SOPS 6085940 HAS SOUS 1851232 HAS SOUPS 1756077 WITH SCORE 1763442.21
AT ITER 4891 NEW BEST:: SOT 11862886 SOS 7362244 HAS SOPS 6082462 HAS SOUS 1844924 HAS SOUPS 1749695 WITH SCORE 1757057.244
AT ITER 4897 NEW BEST:: SOT 11862825 SOS 7362282 HAS SOPS 6082341 HAS SOUS 1844616 HAS SOUPS 1749387 WITH SCORE 1756749.282
AT ITER 4914 NEW BEST:: SOT 11866200 SOS 7365934 HAS SOPS 6086172 HAS SOUS 1841314 HAS SOUPS 1746273 WITH SCORE 1753638.934
AT ITER 4957 NEW BEST:: SOT 11865503 SOS 7365594 HAS SOPS 6085701 HAS SOUS 1840420 HAS SOUPS 1745379 WITH SCORE 1752744.594
AT ITER 4986 NEW BEST:: SOT 11862602 SOS 7365028 HAS SOPS 6086489 HAS SOUS 1836057 HAS SOUPS 1741016 WITH SCORE 1748381.028
AT ITER 5088 NEW BEST:: SOT 11862839 SOS 7365204 HAS SOPS 6086566 HAS SOUS 1835942 HAS SOUPS 1740901 WITH SCORE 1748266.204
AT ITER 5135 NEW BEST:: SOT 11861703 SOS 7362346 HAS SOPS 6083825 HAS SOUS 1835468 HAS SOUPS 1740452 WITH SCORE 1747814.346
AT ITER 5137 NEW BEST:: SOT 11861460 SOS 7362856 HAS SOPS 6083296 HAS SOUS 1834644 HAS SOUPS 1739628 WITH SCORE 1746990.856
AT ITER 5138 NEW BEST:: SOT 11858475 SOS 7357317 HAS SOPS 6077004 HAS SOUS 1833037 HAS SOUPS 1738021 WITH SCORE 1745378.317
AT ITER 5168 NEW BEST:: SOT 11854601 SOS 7353656 HAS SOPS 6070852 HAS SOUS 1822171 HAS SOUPS 1727155 WITH SCORE 1734508.656
AT ITER 5194 NEW BEST:: SOT 11850345 SOS 7349048 HAS SOPS 6066244 HAS SOUS 1815813 HAS SOUPS 1720797 WITH SCORE 1728146.048
AT ITER 5199 NEW BEST:: SOT 11850405 SOS 7349408 HAS SOPS 6066393 HAS SOUS 1815339 HAS SOUPS 1720323 WITH SCORE 1727672.408
AT ITER 5228 NEW BEST:: SOT 11849152 SOS 7348155 HAS SOPS 6064676 HAS SOUS 1814674 HAS SOUPS 1719658 WITH SCORE 1727006.155
AT ITER 5252 NEW BEST:: SOT 11849815 SOS 7348434 HAS SOPS 6066829 HAS SOUS 1814020 HAS SOUPS 1719057 WITH SCORE 1726405.434
AT ITER 5253 NEW BEST:: SOT 11849745 SOS 7348399 HAS SOPS 6066773 HAS SOUS 1813866 HAS SOUPS 1718903 WITH SCORE 1726251.399
AT ITER 5256 NEW BEST:: SOT 11844933 SOS 7344033 HAS SOPS 6060343 HAS SOUS 1803125 HAS SOUPS 1708162 WITH SCORE 1715506.033
AT ITER 5289 NEW BEST:: SOT 11844099 SOS 7343199 HAS SOPS 6059509 HAS SOUS 1802291 HAS SOUPS 1707328 WITH SCORE 1714671.199
AT ITER 5292 NEW BEST:: SOT 11842440 SOS 7340775 HAS SOPS 6055567 HAS SOUS 1800793 HAS SOUPS 1705852 WITH SCORE 1713192.775
AT ITER 5301 NEW BEST:: SOT 11842348 SOS 7340660 HAS SOPS 6055432 HAS SOUS 1800614 HAS SOUPS 1705674 WITH SCORE 1713014.66
AT ITER 5332 NEW BEST:: SOT 11837188 SOS 7335454 HAS SOPS 6048752 HAS SOUS 1791720 HAS SOUPS 1695284 WITH SCORE 1702619.454
AT ITER 5364 NEW BEST:: SOT 11836540 SOS 7334462 HAS SOPS 6047803 HAS SOUS 1790673 HAS SOUPS 1694237 WITH SCORE 1701571.462
AT ITER 5392 NEW BEST:: SOT 11835572 SOS 7333651 HAS SOPS 6046573 HAS SOUS 1790221 HAS SOUPS 1693761 WITH SCORE 1701094.651
AT ITER 5419 NEW BEST:: SOT 11835060 SOS 7333129 HAS SOPS 6045955 HAS SOUS 1789305 HAS SOUPS 1692845 WITH SCORE 1700178.129
AT ITER 5428 NEW BEST:: SOT 11834876 SOS 7333169 HAS SOPS 6045795 HAS SOUS 1788689 HAS SOUPS 1692229 WITH SCORE 1699562.169
AT ITER 5429 NEW BEST:: SOT 11833854 SOS 7331864 HAS SOPS 6045213 HAS SOUS 1787761 HAS SOUPS 1691301 WITH SCORE 1698632.864
AT ITER 5438 NEW BEST:: SOT 11831556 SOS 7325861 HAS SOPS 6038364 HAS SOUS 1785049 HAS SOUPS 1688605 WITH SCORE 1695930.861
AT ITER 5439 NEW BEST:: SOT 11831530 SOS 7325832 HAS SOPS 6038336 HAS SOUS 1784882 HAS SOUPS 1688438 WITH SCORE 1695763.832
AT ITER 5440 NEW BEST:: SOT 11831877 SOS 7326056 HAS SOPS 6038179 HAS SOUS 1783318 HAS SOUPS 1686874 WITH SCORE 1694200.056
AT ITER 5466 NEW BEST:: SOT 11831112 SOS 7324279 HAS SOPS 6037130 HAS SOUS 1782748 HAS SOUPS 1686323 WITH SCORE 1693647.279
AT ITER 5469 NEW BEST:: SOT 11830938 SOS 7324100 HAS SOPS 6036879 HAS SOUS 1782362 HAS SOUPS 1685927 WITH SCORE 1693251.1
AT ITER 5491 NEW BEST:: SOT 11831181 SOS 7324291 HAS SOPS 6037530 HAS SOUS 1781681 HAS SOUPS 1685260 WITH SCORE 1692584.291
AT ITER 5516 NEW BEST:: SOT 11831502 SOS 7323044 HAS SOPS 6036675 HAS SOUS 1781633 HAS SOUPS 1685261 WITH SCORE 1692584.044
AT ITER 5523 NEW BEST:: SOT 11831385 SOS 7322855 HAS SOPS 6036482 HAS SOUS 1781537 HAS SOUPS 1685165 WITH SCORE 1692487.855
AT ITER 5531 NEW BEST:: SOT 11832187 SOS 7326496 HAS SOPS 6038341 HAS SOUS 1779651 HAS SOUPS 1683223 WITH SCORE 1690549.496
AT ITER 5535 NEW BEST:: SOT 11830578 SOS 7324104 HAS SOPS 6035560 HAS SOUS 1771573 HAS SOUPS 1675978 WITH SCORE 1683302.104
AT ITER 5546 NEW BEST:: SOT 11830217 SOS 7323482 HAS SOPS 6034818 HAS SOUS 1770761 HAS SOUPS 1675166 WITH SCORE 1682489.482
AT ITER 5548 NEW BEST:: SOT 11824510 SOS 7313224 HAS SOPS 6025868 HAS SOUS 1764464 HAS SOUPS 1668976 WITH SCORE 1676289.224
AT ITER 5567 NEW BEST:: SOT 11821593 SOS 7309536 HAS SOPS 6021998 HAS SOUS 1759928 HAS SOUPS 1664440 WITH SCORE 1671749.536
AT ITER 5580 NEW BEST:: SOT 11810484 SOS 7295130 HAS SOPS 6009881 HAS SOUS 1755615 HAS SOUPS 1660272 WITH SCORE 1667567.13
AT ITER 5587 NEW BEST:: SOT 11809983 SOS 7294635 HAS SOPS 6009360 HAS SOUS 1753351 HAS SOUPS 1658721 WITH SCORE 1666015.635
AT ITER 5596 NEW BEST:: SOT 11811311 SOS 7299505 HAS SOPS 6012046 HAS SOUS 1751701 HAS SOUPS 1656934 WITH SCORE 1664233.505
AT ITER 5611 NEW BEST:: SOT 11810030 SOS 7299601 HAS SOPS 6011746 HAS SOUS 1747162 HAS SOUPS 1652347 WITH SCORE 1659646.601
AT ITER 5612 NEW BEST:: SOT 11808854 SOS 7292159 HAS SOPS 6005741 HAS SOUS 1744417 HAS SOUPS 1649674 WITH SCORE 1656966.159
AT ITER 5617 NEW BEST:: SOT 11808274 SOS 7291481 HAS SOPS 6005068 HAS SOUS 1742283 HAS SOUPS 1647625 WITH SCORE 1654916.481
AT ITER 5622 NEW BEST:: SOT 11807417 SOS 7290640 HAS SOPS 6003745 HAS SOUS 1740346 HAS SOUPS 1645680 WITH SCORE 1652970.64
AT ITER 5636 NEW BEST:: SOT 11809611 SOS 7297366 HAS SOPS 6008230 HAS SOUS 1737024 HAS SOUPS 1642349 WITH SCORE 1649646.366
AT ITER 5638 NEW BEST:: SOT 11808859 SOS 7297049 HAS SOPS 6007478 HAS SOUS 1736842 HAS SOUPS 1642167 WITH SCORE 1649464.049
AT ITER 5639 NEW BEST:: SOT 11808825 SOS 7296196 HAS SOPS 6007227 HAS SOUS 1736789 HAS SOUPS 1642114 WITH SCORE 1649410.196
AT ITER 5669 NEW BEST:: SOT 11807744 SOS 7291690 HAS SOPS 6002993 HAS SOUS 1736043 HAS SOUPS 1641401 WITH SCORE 1648692.69
AT ITER 5692 NEW BEST:: SOT 11807743 SOS 7291608 HAS SOPS 6003034 HAS SOUS 1736032 HAS SOUPS 1641390 WITH SCORE 1648681.608
AT ITER 5703 NEW BEST:: SOT 11807299 SOS 7290990 HAS SOPS 6007740 HAS SOUS 1733501 HAS SOUPS 1639001 WITH SCORE 1646291.99
AT ITER 5713 NEW BEST:: SOT 11806328 SOS 7288914 HAS SOPS 6005458 HAS SOUS 1731976 HAS SOUPS 1637476 WITH SCORE 1644764.914
AT ITER 5730 NEW BEST:: SOT 11806243 SOS 7288829 HAS SOPS 6005373 HAS SOUS 1731795 HAS SOUPS 1637295 WITH SCORE 1644583.829
AT ITER 5786 NEW BEST:: SOT 11805456 SOS 7288098 HAS SOPS 6004597 HAS SOUS 1730418 HAS SOUPS 1635880 WITH SCORE 1643168.098
AT ITER 5793 NEW BEST:: SOT 11805168 SOS 7287411 HAS SOPS 6004572 HAS SOUS 1725097 HAS SOUPS 1630887 WITH SCORE 1638174.411
AT ITER 5821 NEW BEST:: SOT 11803455 SOS 7285550 HAS SOPS 6002410 HAS SOUS 1723174 HAS SOUPS 1628851 WITH SCORE 1636136.55
AT ITER 5838 NEW BEST:: SOT 11803458 SOS 7284100 HAS SOPS 6001011 HAS SOUS 1723055 HAS SOUPS 1628732 WITH SCORE 1636016.1
AT ITER 5850 NEW BEST:: SOT 11803414 SOS 7284040 HAS SOPS 6000951 HAS SOUS 1723009 HAS SOUPS 1628686 WITH SCORE 1635970.04
AT ITER 5858 NEW BEST:: SOT 11803414 SOS 7283845 HAS SOPS 6000745 HAS SOUS 1722995 HAS SOUPS 1628672 WITH SCORE 1635955.845
AT ITER 5868 NEW BEST:: SOT 11798690 SOS 7273502 HAS SOPS 5993124 HAS SOUS 1719068 HAS SOUPS 1625783 WITH SCORE 1633056.502
AT ITER 5902 NEW BEST:: SOT 11802667 SOS 7275926 HAS SOPS 5996761 HAS SOUS 1718446 HAS SOUPS 1625161 WITH SCORE 1632436.926
AT ITER 5907 NEW BEST:: SOT 11802051 SOS 7274750 HAS SOPS 5995978 HAS SOUS 1717752 HAS SOUPS 1624467 WITH SCORE 1631741.75
AT ITER 5933 NEW BEST:: SOT 11800848 SOS 7273350 HAS SOPS 5994939 HAS SOUS 1715226 HAS SOUPS 1621941 WITH SCORE 1629214.35
AT ITER 5960 NEW BEST:: SOT 11800680 SOS 7272785 HAS SOPS 5994242 HAS SOUS 1714274 HAS SOUPS 1620989 WITH SCORE 1628261.785
AT ITER 5974 NEW BEST:: SOT 11800470 SOS 7272572 HAS SOPS 5993981 HAS SOUS 1713836 HAS SOUPS 1620551 WITH SCORE 1627823.572
AT ITER 5978 NEW BEST:: SOT 11798713 SOS 7268899 HAS SOPS 5991451 HAS SOUS 1712193 HAS SOUPS 1619214 WITH SCORE 1626482.899
AT ITER 5980 NEW BEST:: SOT 11802063 SOS 7276757 HAS SOPS 5999010 HAS SOUS 1711965 HAS SOUPS 1618986 WITH SCORE 1626262.757
AT ITER 5981 NEW BEST:: SOT 11802961 SOS 7277636 HAS SOPS 5999903 HAS SOUS 1711583 HAS SOUPS 1618618 WITH SCORE 1625895.636
AT ITER 6007 NEW BEST:: SOT 11802240 SOS 7277632 HAS SOPS 5999158 HAS SOUS 1710720 HAS SOUPS 1617428 WITH SCORE 1624705.632
AT ITER 6024 NEW BEST:: SOT 11802130 SOS 7277333 HAS SOPS 5998853 HAS SOUS 1710610 HAS SOUPS 1617315 WITH SCORE 1624592.333
AT ITER 6039 NEW BEST:: SOT 11803808 SOS 7281251 HAS SOPS 6002393 HAS SOUS 1707868 HAS SOUPS 1614543 WITH SCORE 1621824.251
AT ITER 6057 NEW BEST:: SOT 11803627 SOS 7281311 HAS SOPS 6002308 HAS SOUS 1706669 HAS SOUPS 1613344 WITH SCORE 1620625.311
AT ITER 6062 NEW BEST:: SOT 11803054 SOS 7280724 HAS SOPS 6001033 HAS SOUS 1705236 HAS SOUPS 1611911 WITH SCORE 1619191.724
AT ITER 6089 NEW BEST:: SOT 11801417 SOS 7278997 HAS SOPS 5999000 HAS SOUS 1703465 HAS SOUPS 1609966 WITH SCORE 1617244.997
AT ITER 6094 NEW BEST:: SOT 11800309 SOS 7280734 HAS SOPS 5997053 HAS SOUS 1700448 HAS SOUPS 1606949 WITH SCORE 1614229.734
AT ITER 6107 NEW BEST:: SOT 11799079 SOS 7278156 HAS SOPS 5994873 HAS SOUS 1698825 HAS SOUPS 1605410 WITH SCORE 1612688.156
AT ITER 6126 NEW BEST:: SOT 11798538 SOS 7277626 HAS SOPS 5994024 HAS SOUS 1697563 HAS SOUPS 1604148 WITH SCORE 1611425.626
AT ITER 6140 NEW BEST:: SOT 11798549 SOS 7277892 HAS SOPS 5994486 HAS SOUS 1697534 HAS SOUPS 1604119 WITH SCORE 1611396.892
AT ITER 6176 NEW BEST:: SOT 11797317 SOS 7276458 HAS SOPS 5992207 HAS SOUS 1697396 HAS SOUPS 1603981 WITH SCORE 1611257.458
AT ITER 6193 NEW BEST:: SOT 11796631 SOS 7275492 HAS SOPS 5991203 HAS SOUS 1695346 HAS SOUPS 1601931 WITH SCORE 1609206.492
AT ITER 6229 NEW BEST:: SOT 11796503 SOS 7275340 HAS SOPS 5990720 HAS SOUS 1691157 HAS SOUPS 1597709 WITH SCORE 1604984.34
AT ITER 6248 NEW BEST:: SOT 11797868 SOS 7277557 HAS SOPS 5992837 HAS SOUS 1689560 HAS SOUPS 1596112 WITH SCORE 1603389.557
AT ITER 6249 NEW BEST:: SOT 11793461 SOS 7269509 HAS SOPS 5986086 HAS SOUS 1688959 HAS SOUPS 1595511 WITH SCORE 1602780.509
AT ITER 6259 NEW BEST:: SOT 11793465 SOS 7269453 HAS SOPS 5986042 HAS SOUS 1688887 HAS SOUPS 1595439 WITH SCORE 1602708.453
AT ITER 6289 NEW BEST:: SOT 11792655 SOS 7268774 HAS SOPS 5984879 HAS SOUS 1686846 HAS SOUPS 1593376 WITH SCORE 1600644.774
AT ITER 6293 NEW BEST:: SOT 11789001 SOS 7262163 HAS SOPS 5979219 HAS SOUS 1685276 HAS SOUPS 1591739 WITH SCORE 1599001.163
AT ITER 6295 NEW BEST:: SOT 11788906 SOS 7261911 HAS SOPS 5979327 HAS SOUS 1685259 HAS SOUPS 1591722 WITH SCORE 1598983.911
AT ITER 6299 NEW BEST:: SOT 11788569 SOS 7261593 HAS SOPS 5979009 HAS SOUS 1685191 HAS SOUPS 1591654 WITH SCORE 1598915.593
AT ITER 6318 NEW BEST:: SOT 11788805 SOS 7259070 HAS SOPS 5979084 HAS SOUS 1684601 HAS SOUPS 1591188 WITH SCORE 1598447.07
AT ITER 6328 NEW BEST:: SOT 11786566 SOS 7254748 HAS SOPS 5975522 HAS SOUS 1680474 HAS SOUPS 1587156 WITH SCORE 1594410.748
AT ITER 6335 NEW BEST:: SOT 11787296 SOS 7255096 HAS SOPS 5975337 HAS SOUS 1678297 HAS SOUPS 1584979 WITH SCORE 1592234.096
AT ITER 6339 NEW BEST:: SOT 11785890 SOS 7250866 HAS SOPS 5970405 HAS SOUS 1675394 HAS SOUPS 1582065 WITH SCORE 1589315.866
AT ITER 6341 NEW BEST:: SOT 11788202 SOS 7254070 HAS SOPS 5973546 HAS SOUS 1674314 HAS SOUPS 1580985 WITH SCORE 1588239.07
AT ITER 6352 NEW BEST:: SOT 11788284 SOS 7254135 HAS SOPS 5973419 HAS SOUS 1674227 HAS SOUPS 1580898 WITH SCORE 1588152.135
AT ITER 6368 NEW BEST:: SOT 11788749 SOS 7252090 HAS SOPS 5971923 HAS SOUS 1674219 HAS SOUPS 1580890 WITH SCORE 1588142.09
AT ITER 6371 NEW BEST:: SOT 11788481 SOS 7251994 HAS SOPS 5971303 HAS SOUS 1673787 HAS SOUPS 1580472 WITH SCORE 1587723.994
AT ITER 6397 NEW BEST:: SOT 11791257 SOS 7254723 HAS SOPS 5972768 HAS SOUS 1670853 HAS SOUPS 1577538 WITH SCORE 1584792.723
AT ITER 6399 NEW BEST:: SOT 11791162 SOS 7254610 HAS SOPS 5972634 HAS SOUS 1670599 HAS SOUPS 1577287 WITH SCORE 1584541.61
AT ITER 6419 NEW BEST:: SOT 11791972 SOS 7255914 HAS SOPS 5974251 HAS SOUS 1666956 HAS SOUPS 1574536 WITH SCORE 1581791.914
AT ITER 6428 NEW BEST:: SOT 11791225 SOS 7255149 HAS SOPS 5973459 HAS SOUS 1666083 HAS SOUPS 1573654 WITH SCORE 1580909.149
AT ITER 6447 NEW BEST:: SOT 11790852 SOS 7254456 HAS SOPS 5972270 HAS SOUS 1665430 HAS SOUPS 1572989 WITH SCORE 1580243.456
AT ITER 6469 NEW BEST:: SOT 11790646 SOS 7254500 HAS SOPS 5972339 HAS SOUS 1664712 HAS SOUPS 1572271 WITH SCORE 1579525.5
AT ITER 6497 NEW BEST:: SOT 11789977 SOS 7253819 HAS SOPS 5971466 HAS SOUS 1663479 HAS SOUPS 1571038 WITH SCORE 1578291.819
AT ITER 6511 NEW BEST:: SOT 11789753 SOS 7253922 HAS SOPS 5971462 HAS SOUS 1662939 HAS SOUPS 1570498 WITH SCORE 1577751.922
AT ITER 6515 NEW BEST:: SOT 11789658 SOS 7253574 HAS SOPS 5969890 HAS SOUS 1661921 HAS SOUPS 1569480 WITH SCORE 1576733.574
AT ITER 6530 NEW BEST:: SOT 11789983 SOS 7254066 HAS SOPS 5970305 HAS SOUS 1661839 HAS SOUPS 1569423 WITH SCORE 1576677.066
AT ITER 6559 NEW BEST:: SOT 11789203 SOS 7253292 HAS SOPS 5969531 HAS SOUS 1661299 HAS SOUPS 1568883 WITH SCORE 1576136.292
AT ITER 6583 NEW BEST:: SOT 11782947 SOS 7238698 HAS SOPS 5957106 HAS SOUS 1653905 HAS SOUPS 1561489 WITH SCORE 1568727.698
AT ITER 6604 NEW BEST:: SOT 11782164 SOS 7237842 HAS SOPS 5955965 HAS SOUS 1653527 HAS SOUPS 1560823 WITH SCORE 1568060.842
AT ITER 6609 NEW BEST:: SOT 11779458 SOS 7234675 HAS SOPS 5952018 HAS SOUS 1647905 HAS SOUPS 1555228 WITH SCORE 1562462.675
AT ITER 6622 NEW BEST:: SOT 11779360 SOS 7234405 HAS SOPS 5951747 HAS SOUS 1647712 HAS SOUPS 1555050 WITH SCORE 1562284.405
AT ITER 6647 NEW BEST:: SOT 11777900 SOS 7233421 HAS SOPS 5949884 HAS SOUS 1644042 HAS SOUPS 1551368 WITH SCORE 1558601.421
AT ITER 6648 NEW BEST:: SOT 11777527 SOS 7231964 HAS SOPS 5948269 HAS SOUS 1640213 HAS SOUPS 1547638 WITH SCORE 1554869.964
AT ITER 6686 NEW BEST:: SOT 11778143 SOS 7234090 HAS SOPS 5949932 HAS SOUS 1638509 HAS SOUPS 1545934 WITH SCORE 1553168.09
AT ITER 6730 NEW BEST:: SOT 11777471 SOS 7233395 HAS SOPS 5948612 HAS SOUS 1637341 HAS SOUPS 1544766 WITH SCORE 1551999.395
AT ITER 6735 NEW BEST:: SOT 11777435 SOS 7233312 HAS SOPS 5948552 HAS SOUS 1637232 HAS SOUPS 1544657 WITH SCORE 1551890.312
AT ITER 6744 NEW BEST:: SOT 11776459 SOS 7232336 HAS SOPS 5947576 HAS SOUS 1635840 HAS SOUPS 1543265 WITH SCORE 1550497.336
AT ITER 6745 NEW BEST:: SOT 11773275 SOS 7226339 HAS SOPS 5940439 HAS SOUS 1633290 HAS SOUPS 1540715 WITH SCORE 1547941.339
AT ITER 6791 NEW BEST:: SOT 11773115 SOS 7226179 HAS SOPS 5940087 HAS SOUS 1632138 HAS SOUPS 1539563 WITH SCORE 1546789.179
AT ITER 6797 NEW BEST:: SOT 11771982 SOS 7222617 HAS SOPS 5937807 HAS SOUS 1629525 HAS SOUPS 1536978 WITH SCORE 1544200.617
AT ITER 6807 NEW BEST:: SOT 11771986 SOS 7222613 HAS SOPS 5937819 HAS SOUS 1629508 HAS SOUPS 1536961 WITH SCORE 1544183.613
AT ITER 6845 NEW BEST:: SOT 11771535 SOS 7222184 HAS SOPS 5938885 HAS SOUS 1628729 HAS SOUPS 1536224 WITH SCORE 1543446.184
AT ITER 6866 NEW BEST:: SOT 11768872 SOS 7219736 HAS SOPS 5935582 HAS SOUS 1622036 HAS SOUPS 1529548 WITH SCORE 1536767.736
AT ITER 6882 NEW BEST:: SOT 11768433 SOS 7219200 HAS SOPS 5934091 HAS SOUS 1620010 HAS SOUPS 1527522 WITH SCORE 1534741.2
AT ITER 6920 NEW BEST:: SOT 11767819 SOS 7218653 HAS SOPS 5933224 HAS SOUS 1618149 HAS SOUPS 1525661 WITH SCORE 1532879.653
AT ITER 6922 NEW BEST:: SOT 11767843 SOS 7218639 HAS SOPS 5934956 HAS SOUS 1617233 HAS SOUPS 1524745 WITH SCORE 1531963.639
AT ITER 6937 NEW BEST:: SOT 11767519 SOS 7217845 HAS SOPS 5934024 HAS SOUS 1616686 HAS SOUPS 1524198 WITH SCORE 1531415.845
AT ITER 6968 NEW BEST:: SOT 11767459 SOS 7217773 HAS SOPS 5933895 HAS SOUS 1616389 HAS SOUPS 1523904 WITH SCORE 1531121.773
AT ITER 6977 NEW BEST:: SOT 11767490 SOS 7218054 HAS SOPS 5934742 HAS SOUS 1610762 HAS SOUPS 1518722 WITH SCORE 1525940.054
AT ITER 6995 NEW BEST:: SOT 11767526 SOS 7218174 HAS SOPS 5934842 HAS SOUS 1610658 HAS SOUPS 1518618 WITH SCORE 1525836.174
AT ITER 6998 NEW BEST:: SOT 11767335 SOS 7217993 HAS SOPS 5934537 HAS SOUS 1610180 HAS SOUPS 1518140 WITH SCORE 1525357.993
AT ITER 7004 NEW BEST:: SOT 11767579 SOS 7218597 HAS SOPS 5934817 HAS SOUS 1610081 HAS SOUPS 1518041 WITH SCORE 1525259.597
AT ITER 7022 NEW BEST:: SOT 11767606 SOS 7218710 HAS SOPS 5934787 HAS SOUS 1609755 HAS SOUPS 1517715 WITH SCORE 1524933.71
AT ITER 7023 NEW BEST:: SOT 11767546 SOS 7218416 HAS SOPS 5934525 HAS SOUS 1609633 HAS SOUPS 1517593 WITH SCORE 1524811.416
AT ITER 7062 NEW BEST:: SOT 11769757 SOS 7220627 HAS SOPS 5936192 HAS SOUS 1609196 HAS SOUPS 1517156 WITH SCORE 1524376.627
AT ITER 7064 NEW BEST:: SOT 11771223 SOS 7222427 HAS SOPS 5936248 HAS SOUS 1609178 HAS SOUPS 1517138 WITH SCORE 1524360.427
AT ITER 7087 NEW BEST:: SOT 11770448 SOS 7221542 HAS SOPS 5934800 HAS SOUS 1608109 HAS SOUPS 1516069 WITH SCORE 1523290.542
AT ITER 7123 NEW BEST:: SOT 11768720 SOS 7219677 HAS SOPS 5931771 HAS SOUS 1601909 HAS SOUPS 1509869 WITH SCORE 1517088.677
AT ITER 7137 NEW BEST:: SOT 11768511 SOS 7219428 HAS SOPS 5931146 HAS SOUS 1601194 HAS SOUPS 1509154 WITH SCORE 1516373.428
AT ITER 7182 NEW BEST:: SOT 11766486 SOS 7217360 HAS SOPS 5927765 HAS SOUS 1596321 HAS SOUPS 1504281 WITH SCORE 1511498.36
AT ITER 7186 NEW BEST:: SOT 11766379 SOS 7217916 HAS SOPS 5929782 HAS SOUS 1596189 HAS SOUPS 1504149 WITH SCORE 1511366.916
AT ITER 7214 NEW BEST:: SOT 11766333 SOS 7217870 HAS SOPS 5929720 HAS SOUS 1596129 HAS SOUPS 1504081 WITH SCORE 1511298.87
AT ITER 7216 NEW BEST:: SOT 11765257 SOS 7216321 HAS SOPS 5926831 HAS SOUS 1592708 HAS SOUPS 1500564 WITH SCORE 1507780.321
AT ITER 7230 NEW BEST:: SOT 11762016 SOS 7205874 HAS SOPS 5919178 HAS SOUS 1591941 HAS SOUPS 1500145 WITH SCORE 1507350.874
AT ITER 7240 NEW BEST:: SOT 11761623 SOS 7205787 HAS SOPS 5919008 HAS SOUS 1590954 HAS SOUPS 1499158 WITH SCORE 1506363.787
AT ITER 7247 NEW BEST:: SOT 11755247 SOS 7196348 HAS SOPS 5908480 HAS SOUS 1583472 HAS SOUPS 1491719 WITH SCORE 1498915.348
AT ITER 7278 NEW BEST:: SOT 11753993 SOS 7193183 HAS SOPS 5905619 HAS SOUS 1582178 HAS SOUPS 1490425 WITH SCORE 1497618.183
AT ITER 7309 NEW BEST:: SOT 11747713 SOS 7179146 HAS SOPS 5893994 HAS SOUS 1575613 HAS SOUPS 1483958 WITH SCORE 1491137.146
AT ITER 7311 NEW BEST:: SOT 11750117 SOS 7183766 HAS SOPS 5899007 HAS SOUS 1574014 HAS SOUPS 1482359 WITH SCORE 1489542.766
AT ITER 7313 NEW BEST:: SOT 11750109 SOS 7183867 HAS SOPS 5899290 HAS SOUS 1574009 HAS SOUPS 1482354 WITH SCORE 1489537.867
AT ITER 7329 NEW BEST:: SOT 11749396 SOS 7183453 HAS SOPS 5899101 HAS SOUS 1573111 HAS SOUPS 1481496 WITH SCORE 1488679.453
AT ITER 7339 NEW BEST:: SOT 11749305 SOS 7183338 HAS SOPS 5899010 HAS SOUS 1572460 HAS SOUPS 1480853 WITH SCORE 1488036.338
AT ITER 7341 NEW BEST:: SOT 11748997 SOS 7183184 HAS SOPS 5898831 HAS SOUS 1572292 HAS SOUPS 1480685 WITH SCORE 1487868.184
AT ITER 7343 NEW BEST:: SOT 11745936 SOS 7179963 HAS SOPS 5896138 HAS SOUS 1569591 HAS SOUPS 1478066 WITH SCORE 1485245.963
AT ITER 7363 NEW BEST:: SOT 11746054 SOS 7180416 HAS SOPS 5896101 HAS SOUS 1568314 HAS SOUPS 1476789 WITH SCORE 1483969.416
AT ITER 7371 NEW BEST:: SOT 11746531 SOS 7180654 HAS SOPS 5895967 HAS SOUS 1567890 HAS SOUPS 1476365 WITH SCORE 1483545.654
AT ITER 7373 NEW BEST:: SOT 11744611 SOS 7178211 HAS SOPS 5893627 HAS SOUS 1564658 HAS SOUPS 1473133 WITH SCORE 1480311.211
AT ITER 7392 NEW BEST:: SOT 11747439 SOS 7183114 HAS SOPS 5897944 HAS SOUS 1561252 HAS SOUPS 1469727 WITH SCORE 1476910.114
AT ITER 7409 NEW BEST:: SOT 11748056 SOS 7184712 HAS SOPS 5899004 HAS SOUS 1560424 HAS SOUPS 1468899 WITH SCORE 1476083.712
AT ITER 7416 NEW BEST:: SOT 11746120 SOS 7184173 HAS SOPS 5896992 HAS SOUS 1555734 HAS SOUPS 1464156 WITH SCORE 1471340.173
AT ITER 7436 NEW BEST:: SOT 11746521 SOS 7182703 HAS SOPS 5897409 HAS SOUS 1555182 HAS SOUPS 1463604 WITH SCORE 1470786.703
AT ITER 7437 NEW BEST:: SOT 11746333 SOS 7182183 HAS SOPS 5896561 HAS SOUS 1552994 HAS SOUPS 1461416 WITH SCORE 1468598.183
AT ITER 7440 NEW BEST:: SOT 11740241 SOS 7169069 HAS SOPS 5885858 HAS SOUS 1548188 HAS SOUPS 1457432 WITH SCORE 1464601.069
AT ITER 7442 NEW BEST:: SOT 11740210 SOS 7169037 HAS SOPS 5885826 HAS SOUS 1548076 HAS SOUPS 1457320 WITH SCORE 1464489.037
AT ITER 7466 NEW BEST:: SOT 11740956 SOS 7169288 HAS SOPS 5885295 HAS SOUS 1546599 HAS SOUPS 1455843 WITH SCORE 1463012.288
AT ITER 7488 NEW BEST:: SOT 11739792 SOS 7168124 HAS SOPS 5884131 HAS SOUS 1544643 HAS SOUPS 1453887 WITH SCORE 1461055.124
AT ITER 7499 NEW BEST:: SOT 11738658 SOS 7169545 HAS SOPS 5885088 HAS SOUS 1541226 HAS SOUPS 1450354 WITH SCORE 1457523.545
AT ITER 7550 NEW BEST:: SOT 11737750 SOS 7168637 HAS SOPS 5883908 HAS SOUS 1540014 HAS SOUPS 1449142 WITH SCORE 1456310.637
AT ITER 7568 NEW BEST:: SOT 11737438 SOS 7167877 HAS SOPS 5883180 HAS SOUS 1539868 HAS SOUPS 1449018 WITH SCORE 1456185.877
AT ITER 7607 NEW BEST:: SOT 11737656 SOS 7168518 HAS SOPS 5883669 HAS SOUS 1539771 HAS SOUPS 1448921 WITH SCORE 1456089.518
AT ITER 7614 NEW BEST:: SOT 11733690 SOS 7161275 HAS SOPS 5877614 HAS SOUS 1535568 HAS SOUPS 1444754 WITH SCORE 1451915.275
AT ITER 7615 NEW BEST:: SOT 11733321 SOS 7161242 HAS SOPS 5877229 HAS SOUS 1534825 HAS SOUPS 1444011 WITH SCORE 1451172.242
AT ITER 7633 NEW BEST:: SOT 11733315 SOS 7161074 HAS SOPS 5877098 HAS SOUS 1534747 HAS SOUPS 1443933 WITH SCORE 1451094.074
AT ITER 7653 NEW BEST:: SOT 11731341 SOS 7159144 HAS SOPS 5874150 HAS SOUS 1530273 HAS SOUPS 1439468 WITH SCORE 1446627.144
AT ITER 7658 NEW BEST:: SOT 11730552 SOS 7158579 HAS SOPS 5873720 HAS SOUS 1528480 HAS SOUPS 1437675 WITH SCORE 1444833.579
AT ITER 7673 NEW BEST:: SOT 11731395 SOS 7157385 HAS SOPS 5873189 HAS SOUS 1526816 HAS SOUPS 1436011 WITH SCORE 1443168.385
AT ITER 7714 NEW BEST:: SOT 11730070 SOS 7156107 HAS SOPS 5871611 HAS SOUS 1525620 HAS SOUPS 1434815 WITH SCORE 1441971.107
AT ITER 7755 NEW BEST:: SOT 11730081 SOS 7156031 HAS SOPS 5871511 HAS SOUS 1525523 HAS SOUPS 1434718 WITH SCORE 1441874.031
AT ITER 7774 NEW BEST:: SOT 11730049 SOS 7153592 HAS SOPS 5869385 HAS SOUS 1525521 HAS SOUPS 1434716 WITH SCORE 1441869.592
AT ITER 7796 NEW BEST:: SOT 11730067 SOS 7153640 HAS SOPS 5869397 HAS SOUS 1525494 HAS SOUPS 1434689 WITH SCORE 1441842.64
AT ITER 7805 NEW BEST:: SOT 11730052 SOS 7153675 HAS SOPS 5869406 HAS SOUS 1525431 HAS SOUPS 1434625 WITH SCORE 1441778.675
AT ITER 7813 NEW BEST:: SOT 11730090 SOS 7153775 HAS SOPS 5869691 HAS SOUS 1525210 HAS SOUPS 1434404 WITH SCORE 1441557.775
AT ITER 7824 NEW BEST:: SOT 11729568 SOS 7153253 HAS SOPS 5869009 HAS SOUS 1524152 HAS SOUPS 1433346 WITH SCORE 1440499.253
AT ITER 7854 NEW BEST:: SOT 11729358 SOS 7151739 HAS SOPS 5867827 HAS SOUS 1523040 HAS SOUPS 1432234 WITH SCORE 1439385.739
AT ITER 7863 NEW BEST:: SOT 11733792 SOS 7155432 HAS SOPS 5870843 HAS SOUS 1520444 HAS SOUPS 1430134 WITH SCORE 1437289.432
AT ITER 7894 NEW BEST:: SOT 11733714 SOS 7155348 HAS SOPS 5870794 HAS SOUS 1519932 HAS SOUPS 1429626 WITH SCORE 1436781.348
AT ITER 7916 NEW BEST:: SOT 11733757 SOS 7155460 HAS SOPS 5870886 HAS SOUS 1519907 HAS SOUPS 1429601 WITH SCORE 1436756.46
AT ITER 7927 NEW BEST:: SOT 11733806 SOS 7155704 HAS SOPS 5871037 HAS SOUS 1519773 HAS SOUPS 1429467 WITH SCORE 1436622.704
AT ITER 7957 NEW BEST:: SOT 11733762 SOS 7155600 HAS SOPS 5870973 HAS SOUS 1519723 HAS SOUPS 1429418 WITH SCORE 1436573.6
AT ITER 7969 NEW BEST:: SOT 11730600 SOS 7149898 HAS SOPS 5865388 HAS SOUS 1516820 HAS SOUPS 1426515 WITH SCORE 1433664.898
AT ITER 7974 NEW BEST:: SOT 11730593 SOS 7149875 HAS SOPS 5865427 HAS SOUS 1516789 HAS SOUPS 1426486 WITH SCORE 1433635.875
AT ITER 7979 NEW BEST:: SOT 11730519 SOS 7149465 HAS SOPS 5862181 HAS SOUS 1513781 HAS SOUPS 1423478 WITH SCORE 1430627.465
AT ITER 8002 NEW BEST:: SOT 11731185 SOS 7153148 HAS SOPS 5865517 HAS SOUS 1509545 HAS SOUPS 1419282 WITH SCORE 1426435.148
AT ITER 8009 NEW BEST:: SOT 11730921 SOS 7152884 HAS SOPS 5865205 HAS SOUS 1508977 HAS SOUPS 1418714 WITH SCORE 1425866.884
AT ITER 8011 NEW BEST:: SOT 11731109 SOS 7154496 HAS SOPS 5866624 HAS SOUS 1508300 HAS SOUPS 1417807 WITH SCORE 1424961.496
AT ITER 8019 NEW BEST:: SOT 11723857 SOS 7143484 HAS SOPS 5856188 HAS SOUS 1498288 HAS SOUPS 1407885 WITH SCORE 1415028.484
AT ITER 8063 NEW BEST:: SOT 11721665 SOS 7141554 HAS SOPS 5854189 HAS SOUS 1496419 HAS SOUPS 1405993 WITH SCORE 1413134.554
AT ITER 8110 NEW BEST:: SOT 11721247 SOS 7138715 HAS SOPS 5850838 HAS SOUS 1496069 HAS SOUPS 1405643 WITH SCORE 1412781.715
AT ITER 8141 NEW BEST:: SOT 11721181 SOS 7138649 HAS SOPS 5850772 HAS SOUS 1495803 HAS SOUPS 1405377 WITH SCORE 1412515.649
AT ITER 8146 NEW BEST:: SOT 11720829 SOS 7138297 HAS SOPS 5850244 HAS SOUS 1494883 HAS SOUPS 1404457 WITH SCORE 1411595.297
AT ITER 8163 NEW BEST:: SOT 11720123 SOS 7136586 HAS SOPS 5848808 HAS SOUS 1493818 HAS SOUPS 1403403 WITH SCORE 1410539.586
AT ITER 8169 NEW BEST:: SOT 11720081 SOS 7136368 HAS SOPS 5848530 HAS SOUS 1493766 HAS SOUPS 1403351 WITH SCORE 1410487.368
AT ITER 8170 NEW BEST:: SOT 11718780 SOS 7134982 HAS SOPS 5846134 HAS SOUS 1489886 HAS SOUPS 1399471 WITH SCORE 1406605.982
AT ITER 8178 NEW BEST:: SOT 11718435 SOS 7134680 HAS SOPS 5846267 HAS SOUS 1489393 HAS SOUPS 1398978 WITH SCORE 1406112.68
AT ITER 8208 NEW BEST:: SOT 11718155 SOS 7133316 HAS SOPS 5847576 HAS SOUS 1489019 HAS SOUPS 1398604 WITH SCORE 1405737.316
AT ITER 8215 NEW BEST:: SOT 11718057 SOS 7133130 HAS SOPS 5847390 HAS SOUS 1488884 HAS SOUPS 1398470 WITH SCORE 1405603.13
AT ITER 8218 NEW BEST:: SOT 11715638 SOS 7131182 HAS SOPS 5846076 HAS SOUS 1485197 HAS SOUPS 1394783 WITH SCORE 1401914.182
AT ITER 8227 NEW BEST:: SOT 11715598 SOS 7131130 HAS SOPS 5846038 HAS SOUS 1485121 HAS SOUPS 1394707 WITH SCORE 1401838.13
AT ITER 8266 NEW BEST:: SOT 11711599 SOS 7125747 HAS SOPS 5840879 HAS SOUS 1484002 HAS SOUPS 1393558 WITH SCORE 1400683.747
AT ITER 8270 NEW BEST:: SOT 11711527 SOS 7125682 HAS SOPS 5840742 HAS SOUS 1483787 HAS SOUPS 1393341 WITH SCORE 1400466.682
AT ITER 8307 NEW BEST:: SOT 11711109 SOS 7125363 HAS SOPS 5840082 HAS SOUS 1483710 HAS SOUPS 1393264 WITH SCORE 1400389.363
AT ITER 8352 NEW BEST:: SOT 11709795 SOS 7123117 HAS SOPS 5838303 HAS SOUS 1482958 HAS SOUPS 1392512 WITH SCORE 1399635.117
AT ITER 8358 NEW BEST:: SOT 11710925 SOS 7124247 HAS SOPS 5838985 HAS SOUS 1482444 HAS SOUPS 1391998 WITH SCORE 1399122.247
AT ITER 8362 NEW BEST:: SOT 11709154 SOS 7122477 HAS SOPS 5837214 HAS SOUS 1480941 HAS SOUPS 1390494 WITH SCORE 1397616.477
AT ITER 8372 NEW BEST:: SOT 11708904 SOS 7122337 HAS SOPS 5836839 HAS SOUS 1480156 HAS SOUPS 1389709 WITH SCORE 1396831.337
AT ITER 8373 NEW BEST:: SOT 11708265 SOS 7121374 HAS SOPS 5836072 HAS SOUS 1478834 HAS SOUPS 1388387 WITH SCORE 1395508.374
AT ITER 8374 NEW BEST:: SOT 11708247 SOS 7121422 HAS SOPS 5836146 HAS SOUS 1478767 HAS SOUPS 1388320 WITH SCORE 1395441.422
AT ITER 8379 NEW BEST:: SOT 11707161 SOS 7119943 HAS SOPS 5835393 HAS SOUS 1477424 HAS SOUPS 1387044 WITH SCORE 1394163.943
AT ITER 8393 NEW BEST:: SOT 11707033 SOS 7119815 HAS SOPS 5835265 HAS SOUS 1477408 HAS SOUPS 1387028 WITH SCORE 1394147.815
AT ITER 8416 NEW BEST:: SOT 11706991 SOS 7119773 HAS SOPS 5835171 HAS SOUS 1477286 HAS SOUPS 1386906 WITH SCORE 1394025.773
AT ITER 8434 NEW BEST:: SOT 11706624 SOS 7118700 HAS SOPS 5833237 HAS SOUS 1475538 HAS SOUPS 1385158 WITH SCORE 1392276.7
AT ITER 8480 NEW BEST:: SOT 11707290 SOS 7119174 HAS SOPS 5834159 HAS SOUS 1475132 HAS SOUPS 1385024 WITH SCORE 1392143.174
AT ITER 8527 NEW BEST:: SOT 11707113 SOS 7121715 HAS SOPS 5835563 HAS SOUS 1473764 HAS SOUPS 1383610 WITH SCORE 1390731.715
AT ITER 8583 NEW BEST:: SOT 11706325 SOS 7120893 HAS SOPS 5836024 HAS SOUS 1473036 HAS SOUPS 1382945 WITH SCORE 1390065.893
AT ITER 8614 NEW BEST:: SOT 11705345 SOS 7119940 HAS SOPS 5835231 HAS SOUS 1469729 HAS SOUPS 1379638 WITH SCORE 1386757.94
AT ITER 8621 NEW BEST:: SOT 11704873 SOS 7112290 HAS SOPS 5831325 HAS SOUS 1468258 HAS SOUPS 1378167 WITH SCORE 1385279.29
AT ITER 8657 NEW BEST:: SOT 11704736 SOS 7112171 HAS SOPS 5831206 HAS SOUS 1468241 HAS SOUPS 1378150 WITH SCORE 1385262.171
AT ITER 8679 NEW BEST:: SOT 11703506 SOS 7110957 HAS SOPS 5830031 HAS SOUS 1467198 HAS SOUPS 1377107 WITH SCORE 1384217.957
AT ITER 8687 NEW BEST:: SOT 11702279 SOS 7109344 HAS SOPS 5827951 HAS SOUS 1462955 HAS SOUPS 1372886 WITH SCORE 1379995.344
AT ITER 8735 NEW BEST:: SOT 11703642 SOS 7110907 HAS SOPS 5831686 HAS SOUS 1462439 HAS SOUPS 1372370 WITH SCORE 1379480.907
AT ITER 8736 NEW BEST:: SOT 11703624 SOS 7111726 HAS SOPS 5832268 HAS SOUS 1461972 HAS SOUPS 1371903 WITH SCORE 1379014.726
AT ITER 8768 NEW BEST:: SOT 11698532 SOS 7102973 HAS SOPS 5824986 HAS SOUS 1457134 HAS SOUPS 1367137 WITH SCORE 1374239.973
AT ITER 8773 NEW BEST:: SOT 11696433 SOS 7101176 HAS SOPS 5823656 HAS SOUS 1451405 HAS SOUPS 1361408 WITH SCORE 1368509.176
AT ITER 8778 NEW BEST:: SOT 11699692 SOS 7103827 HAS SOPS 5823695 HAS SOUS 1450689 HAS SOUPS 1360805 WITH SCORE 1367908.827
AT ITER 8814 NEW BEST:: SOT 11700092 SOS 7105759 HAS SOPS 5825252 HAS SOUS 1450478 HAS SOUPS 1360564 WITH SCORE 1367669.759
AT ITER 8819 NEW BEST:: SOT 11700122 SOS 7105524 HAS SOPS 5824771 HAS SOUS 1450428 HAS SOUPS 1360514 WITH SCORE 1367619.524
AT ITER 8830 NEW BEST:: SOT 11695295 SOS 7101450 HAS SOPS 5820697 HAS SOUS 1447515 HAS SOUPS 1357601 WITH SCORE 1364702.45
AT ITER 8845 NEW BEST:: SOT 11695369 SOS 7101453 HAS SOPS 5820701 HAS SOUS 1447251 HAS SOUPS 1357337 WITH SCORE 1364438.453
AT ITER 8873 NEW BEST:: SOT 11695562 SOS 7102136 HAS SOPS 5821214 HAS SOUS 1447134 HAS SOUPS 1357220 WITH SCORE 1364322.136
AT ITER 8897 NEW BEST:: SOT 11694725 SOS 7101467 HAS SOPS 5820437 HAS SOUS 1445812 HAS SOUPS 1355898 WITH SCORE 1362999.467
AT ITER 8912 NEW BEST:: SOT 11694723 SOS 7101400 HAS SOPS 5820356 HAS SOUS 1445762 HAS SOUPS 1355848 WITH SCORE 1362949.4
AT ITER 8922 NEW BEST:: SOT 11693051 SOS 7096703 HAS SOPS 5820356 HAS SOUS 1444023 HAS SOUPS 1354219 WITH SCORE 1361315.703
AT ITER 8923 NEW BEST:: SOT 11692268 SOS 7095830 HAS SOPS 5819528 HAS SOUS 1443258 HAS SOUPS 1353454 WITH SCORE 1360549.83
AT ITER 8947 NEW BEST:: SOT 11692396 SOS 7096095 HAS SOPS 5819866 HAS SOUS 1443096 HAS SOUPS 1353301 WITH SCORE 1360397.095
AT ITER 8952 NEW BEST:: SOT 11694645 SOS 7099348 HAS SOPS 5822972 HAS SOUS 1440470 HAS SOUPS 1350792 WITH SCORE 1357891.348
AT ITER 8968 NEW BEST:: SOT 11694451 SOS 7099178 HAS SOPS 5822553 HAS SOUS 1439675 HAS SOUPS 1349988 WITH SCORE 1357087.178
AT ITER 8971 NEW BEST:: SOT 11695088 SOS 7098510 HAS SOPS 5822690 HAS SOUS 1438790 HAS SOUPS 1349103 WITH SCORE 1356201.51
AT ITER 8987 NEW BEST:: SOT 11695136 SOS 7099568 HAS SOPS 5824303 HAS SOUS 1438537 HAS SOUPS 1348850 WITH SCORE 1355949.568
AT ITER 9017 NEW BEST:: SOT 11694332 SOS 7098555 HAS SOPS 5822510 HAS SOUS 1438265 HAS SOUPS 1348578 WITH SCORE 1355676.555
AT ITER 9024 NEW BEST:: SOT 11694128 SOS 7098351 HAS SOPS 5822258 HAS SOUS 1437977 HAS SOUPS 1348290 WITH SCORE 1355388.351
AT ITER 9027 NEW BEST:: SOT 11693512 SOS 7097735 HAS SOPS 5821642 HAS SOUS 1437337 HAS SOUPS 1347546 WITH SCORE 1354643.735
AT ITER 9043 NEW BEST:: SOT 11695396 SOS 7102831 HAS SOPS 5830217 HAS SOUS 1436800 HAS SOUPS 1347157 WITH SCORE 1354259.831
AT ITER 9071 NEW BEST:: SOT 11697733 SOS 7110468 HAS SOPS 5837555 HAS SOUS 1434966 HAS SOUPS 1345323 WITH SCORE 1352433.468
AT ITER 9079 NEW BEST:: SOT 11695699 SOS 7108159 HAS SOPS 5835190 HAS SOUS 1431637 HAS SOUPS 1341992 WITH SCORE 1349100.159
AT ITER 9119 NEW BEST:: SOT 11695395 SOS 7107855 HAS SOPS 5834790 HAS SOUS 1431085 HAS SOUPS 1341440 WITH SCORE 1348547.855
AT ITER 9126 NEW BEST:: SOT 11695095 SOS 7107274 HAS SOPS 5833882 HAS SOUS 1430169 HAS SOUPS 1340524 WITH SCORE 1347631.274
AT ITER 9128 NEW BEST:: SOT 11692699 SOS 7104035 HAS SOPS 5829993 HAS SOUS 1424652 HAS SOUPS 1335007 WITH SCORE 1342111.035
AT ITER 9149 NEW BEST:: SOT 11689140 SOS 7099487 HAS SOPS 5826202 HAS SOUS 1422753 HAS SOUPS 1333108 WITH SCORE 1340207.487
AT ITER 9150 NEW BEST:: SOT 11687336 SOS 7097602 HAS SOPS 5824014 HAS SOUS 1419359 HAS SOUPS 1329741 WITH SCORE 1336838.602
AT ITER 9166 NEW BEST:: SOT 11687533 SOS 7097799 HAS SOPS 5824211 HAS SOUS 1419336 HAS SOUPS 1329718 WITH SCORE 1336815.799
AT ITER 9196 NEW BEST:: SOT 11687092 SOS 7097158 HAS SOPS 5823650 HAS SOUS 1418814 HAS SOUPS 1329203 WITH SCORE 1336300.158
AT ITER 9204 NEW BEST:: SOT 11687581 SOS 7098468 HAS SOPS 5824516 HAS SOUS 1418699 HAS SOUPS 1329088 WITH SCORE 1336186.468
AT ITER 9213 NEW BEST:: SOT 11688819 SOS 7101372 HAS SOPS 5829338 HAS SOUS 1417110 HAS SOUPS 1327567 WITH SCORE 1334668.372
AT ITER 9224 NEW BEST:: SOT 11688519 SOS 7100273 HAS SOPS 5828566 HAS SOUS 1416920 HAS SOUPS 1327377 WITH SCORE 1334477.273
AT ITER 9231 NEW BEST:: SOT 11687363 SOS 7100908 HAS SOPS 5829250 HAS SOUS 1416095 HAS SOUPS 1326529 WITH SCORE 1333629.908
AT ITER 9318 NEW BEST:: SOT 11687379 SOS 7100924 HAS SOPS 5829250 HAS SOUS 1416059 HAS SOUPS 1326493 WITH SCORE 1333593.924
AT ITER 9329 NEW BEST:: SOT 11686843 SOS 7099508 HAS SOPS 5827300 HAS SOUS 1415464 HAS SOUPS 1325872 WITH SCORE 1332971.508
AT ITER 9343 NEW BEST:: SOT 11686715 SOS 7099380 HAS SOPS 5827172 HAS SOUS 1415464 HAS SOUPS 1325872 WITH SCORE 1332971.38
AT ITER 9385 NEW BEST:: SOT 11682378 SOS 7091518 HAS SOPS 5820658 HAS SOUS 1410700 HAS SOUPS 1321169 WITH SCORE 1328260.518
AT ITER 9387 NEW BEST:: SOT 11681944 SOS 7091013 HAS SOPS 5820047 HAS SOUS 1409057 HAS SOUPS 1319557 WITH SCORE 1326648.013
AT ITER 9389 NEW BEST:: SOT 11681517 SOS 7087707 HAS SOPS 5816762 HAS SOUS 1407445 HAS SOUPS 1317945 WITH SCORE 1325032.707
AT ITER 9391 NEW BEST:: SOT 11680958 SOS 7086879 HAS SOPS 5815680 HAS SOUS 1405670 HAS SOUPS 1316170 WITH SCORE 1323256.879
AT ITER 9403 NEW BEST:: SOT 11680917 SOS 7086776 HAS SOPS 5815597 HAS SOUS 1405495 HAS SOUPS 1315995 WITH SCORE 1323081.776
AT ITER 9407 NEW BEST:: SOT 11683008 SOS 7092155 HAS SOPS 5819348 HAS SOUS 1404016 HAS SOUPS 1314516 WITH SCORE 1321608.155
AT ITER 9414 NEW BEST:: SOT 11682185 SOS 7091926 HAS SOPS 5819105 HAS SOUS 1402296 HAS SOUPS 1312829 WITH SCORE 1319920.926
AT ITER 9428 NEW BEST:: SOT 11682722 SOS 7091848 HAS SOPS 5820630 HAS SOUS 1400226 HAS SOUPS 1310759 WITH SCORE 1317850.848
AT ITER 9430 NEW BEST:: SOT 11682944 SOS 7080690 HAS SOPS 5810712 HAS SOUS 1398859 HAS SOUPS 1309450 WITH SCORE 1316530.69
AT ITER 9480 NEW BEST:: SOT 11682962 SOS 7080764 HAS SOPS 5810688 HAS SOUS 1398741 HAS SOUPS 1309330 WITH SCORE 1316410.764
AT ITER 9500 NEW BEST:: SOT 11682933 SOS 7078978 HAS SOPS 5808911 HAS SOUS 1398517 HAS SOUPS 1309106 WITH SCORE 1316184.978
AT ITER 9534 NEW BEST:: SOT 11685999 SOS 7075434 HAS SOPS 5810095 HAS SOUS 1397415 HAS SOUPS 1308135 WITH SCORE 1315210.434
AT ITER 9611 NEW BEST:: SOT 11685817 SOS 7074740 HAS SOPS 5809385 HAS SOUS 1396601 HAS SOUPS 1307329 WITH SCORE 1314403.74
AT ITER 9618 NEW BEST:: SOT 11684772 SOS 7073282 HAS SOPS 5807725 HAS SOUS 1394324 HAS SOUPS 1305075 WITH SCORE 1312148.282
AT ITER 9628 NEW BEST:: SOT 11685483 SOS 7075462 HAS SOPS 5807674 HAS SOUS 1392909 HAS SOUPS 1303660 WITH SCORE 1310735.462
AT ITER 9680 NEW BEST:: SOT 11685208 SOS 7074810 HAS SOPS 5807038 HAS SOUS 1392836 HAS SOUPS 1303592 WITH SCORE 1310666.81
AT ITER 9682 NEW BEST:: SOT 11684920 SOS 7074212 HAS SOPS 5806397 HAS SOUS 1392526 HAS SOUPS 1303282 WITH SCORE 1310356.212
AT ITER 9706 NEW BEST:: SOT 11684796 SOS 7074134 HAS SOPS 5806648 HAS SOUS 1392260 HAS SOUPS 1303016 WITH SCORE 1310090.134
AT ITER 9764 NEW BEST:: SOT 11686322 SOS 7075640 HAS SOPS 5808565 HAS SOUS 1392050 HAS SOUPS 1302825 WITH SCORE 1309900.64
AT ITER 9772 NEW BEST:: SOT 11685966 SOS 7076154 HAS SOPS 5808563 HAS SOUS 1390666 HAS SOUPS 1301441 WITH SCORE 1308517.154
AT ITER 9778 NEW BEST:: SOT 11685484 SOS 7076197 HAS SOPS 5808622 HAS SOUS 1386724 HAS SOUPS 1297570 WITH SCORE 1304646.197
AT ITER 9784 NEW BEST:: SOT 11685542 SOS 7075903 HAS SOPS 5808264 HAS SOUS 1386655 HAS SOUPS 1297501 WITH SCORE 1304576.903
AT ITER 9791 NEW BEST:: SOT 11685075 SOS 7075681 HAS SOPS 5807701 HAS SOUS 1386140 HAS SOUPS 1296932 WITH SCORE 1304007.681
AT ITER 9798 NEW BEST:: SOT 11685288 SOS 7076560 HAS SOPS 5808429 HAS SOUS 1386032 HAS SOUPS 1296770 WITH SCORE 1303846.56
AT ITER 9802 NEW BEST:: SOT 11685236 SOS 7076500 HAS SOPS 5808335 HAS SOUS 1385908 HAS SOUPS 1296644 WITH SCORE 1303720.5
AT ITER 9846 NEW BEST:: SOT 11683398 SOS 7069730 HAS SOPS 5804643 HAS SOUS 1385627 HAS SOUPS 1296363 WITH SCORE 1303432.73
AT ITER 9858 NEW BEST:: SOT 11682240 SOS 7068252 HAS SOPS 5801307 HAS SOUS 1379416 HAS SOUPS 1290152 WITH SCORE 1297220.252
AT ITER 9887 NEW BEST:: SOT 11681546 SOS 7067953 HAS SOPS 5801176 HAS SOUS 1379135 HAS SOUPS 1289871 WITH SCORE 1296938.953
AT ITER 9902 NEW BEST:: SOT 11680230 SOS 7066640 HAS SOPS 5798998 HAS SOUS 1376398 HAS SOUPS 1287110 WITH SCORE 1294176.64
AT ITER 9922 NEW BEST:: SOT 11679740 SOS 7066153 HAS SOPS 5798381 HAS SOUS 1374591 HAS SOUPS 1285303 WITH SCORE 1292369.153
AT ITER 9969 NEW BEST:: SOT 11679685 SOS 7066624 HAS SOPS 5798996 HAS SOUS 1374316 HAS SOUPS 1285007 WITH SCORE 1292073.624
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15466692 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16118348 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-9"
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-9, 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-167889194200072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-9.tgz
mv RERS17pb113-PT-9 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 ;