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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 18:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 18:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 18:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 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 1679473318724

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-2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 2
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 13 NEW BEST:: SOT 12195993 SOS 7747594 HAS SOPS 6415153 HAS SOUS 3039734 HAS SOUPS 2939244 WITH SCORE 2946991.594
AT ITER 15 NEW BEST:: SOT 12195914 SOS 7747003 HAS SOPS 6415211 HAS SOUS 3036535 HAS SOUPS 2936157 WITH SCORE 2943904.003
AT ITER 23 NEW BEST:: SOT 12196617 SOS 7749634 HAS SOPS 6417160 HAS SOUS 3034790 HAS SOUPS 2934358 WITH SCORE 2942107.634
AT ITER 29 NEW BEST:: SOT 12191456 SOS 7742179 HAS SOPS 6414185 HAS SOUS 3027432 HAS SOUPS 2927141 WITH SCORE 2934883.179
AT ITER 38 NEW BEST:: SOT 12191199 SOS 7742147 HAS SOPS 6413827 HAS SOUS 3026584 HAS SOUPS 2926293 WITH SCORE 2934035.147
AT ITER 41 NEW BEST:: SOT 12191749 SOS 7742128 HAS SOPS 6413693 HAS SOUS 3023605 HAS SOUPS 2923829 WITH SCORE 2931571.128
AT ITER 46 NEW BEST:: SOT 12191936 SOS 7742546 HAS SOPS 6414167 HAS SOUS 3021423 HAS SOUPS 2922115 WITH SCORE 2929857.546
AT ITER 53 NEW BEST:: SOT 12191835 SOS 7743081 HAS SOPS 6414384 HAS SOUS 3020807 HAS SOUPS 2921499 WITH SCORE 2929242.081
AT ITER 65 NEW BEST:: SOT 12191186 SOS 7742230 HAS SOPS 6414318 HAS SOUS 3019050 HAS SOUPS 2919777 WITH SCORE 2927519.23
AT ITER 66 NEW BEST:: SOT 12189304 SOS 7740881 HAS SOPS 6409695 HAS SOUS 3014147 HAS SOUPS 2914874 WITH SCORE 2922614.881
AT ITER 67 NEW BEST:: SOT 12181261 SOS 7732922 HAS SOPS 6401739 HAS SOUS 3003312 HAS SOUPS 2904042 WITH SCORE 2911774.922
AT ITER 80 NEW BEST:: SOT 12178520 SOS 7729954 HAS SOPS 6401692 HAS SOUS 2987391 HAS SOUPS 2888447 WITH SCORE 2896176.954
AT ITER 89 NEW BEST:: SOT 12178339 SOS 7729996 HAS SOPS 6401709 HAS SOUS 2986952 HAS SOUPS 2888008 WITH SCORE 2895737.996
AT ITER 98 NEW BEST:: SOT 12175760 SOS 7724514 HAS SOPS 6396991 HAS SOUS 2983608 HAS SOUPS 2884688 WITH SCORE 2892412.514
AT ITER 101 NEW BEST:: SOT 12197990 SOS 7763288 HAS SOPS 6448934 HAS SOUS 2981813 HAS SOUPS 2883306 WITH SCORE 2891069.288
AT ITER 102 NEW BEST:: SOT 12198287 SOS 7764635 HAS SOPS 6449774 HAS SOUS 2981507 HAS SOUPS 2883000 WITH SCORE 2890764.635
AT ITER 107 NEW BEST:: SOT 12197424 SOS 7760103 HAS SOPS 6443200 HAS SOUS 2980119 HAS SOUPS 2881612 WITH SCORE 2889372.103
AT ITER 110 NEW BEST:: SOT 12197410 SOS 7760089 HAS SOPS 6443186 HAS SOUS 2980075 HAS SOUPS 2881568 WITH SCORE 2889328.089
AT ITER 116 NEW BEST:: SOT 12197421 SOS 7762354 HAS SOPS 6445752 HAS SOUS 2978401 HAS SOUPS 2879909 WITH SCORE 2887671.354
AT ITER 120 NEW BEST:: SOT 12197401 SOS 7762366 HAS SOPS 6445652 HAS SOUS 2978287 HAS SOUPS 2879795 WITH SCORE 2887557.366
AT ITER 121 NEW BEST:: SOT 12197554 SOS 7762968 HAS SOPS 6445542 HAS SOUS 2977860 HAS SOUPS 2879355 WITH SCORE 2887117.968
AT ITER 125 NEW BEST:: SOT 12211639 SOS 7785325 HAS SOPS 6464978 HAS SOUS 2975184 HAS SOUPS 2876559 WITH SCORE 2884344.325
AT ITER 153 NEW BEST:: SOT 12210071 SOS 7783064 HAS SOPS 6461853 HAS SOUS 2971053 HAS SOUPS 2872810 WITH SCORE 2880593.064
AT ITER 154 NEW BEST:: SOT 12212126 SOS 7785132 HAS SOPS 6464622 HAS SOUS 2968963 HAS SOUPS 2870731 WITH SCORE 2878516.132
AT ITER 156 NEW BEST:: SOT 12212207 SOS 7784767 HAS SOPS 6463772 HAS SOUS 2968320 HAS SOUPS 2870088 WITH SCORE 2877872.767
AT ITER 165 NEW BEST:: SOT 12211815 SOS 7784361 HAS SOPS 6463156 HAS SOUS 2967527 HAS SOUPS 2869280 WITH SCORE 2877064.361
AT ITER 174 NEW BEST:: SOT 12210877 SOS 7783388 HAS SOPS 6461658 HAS SOUS 2964881 HAS SOUPS 2866454 WITH SCORE 2874237.388
AT ITER 175 NEW BEST:: SOT 12210949 SOS 7783460 HAS SOPS 6461730 HAS SOUS 2964853 HAS SOUPS 2866426 WITH SCORE 2874209.46
AT ITER 176 NEW BEST:: SOT 12207310 SOS 7779844 HAS SOPS 6458114 HAS SOUS 2959878 HAS SOUPS 2861451 WITH SCORE 2869230.844
AT ITER 178 NEW BEST:: SOT 12207581 SOS 7780114 HAS SOPS 6457187 HAS SOUS 2958129 HAS SOUPS 2859694 WITH SCORE 2867474.114
AT ITER 180 NEW BEST:: SOT 12205766 SOS 7780394 HAS SOPS 6457633 HAS SOUS 2948747 HAS SOUPS 2850248 WITH SCORE 2858028.394
AT ITER 181 NEW BEST:: SOT 12203282 SOS 7778076 HAS SOPS 6455885 HAS SOUS 2945122 HAS SOUPS 2846563 WITH SCORE 2854341.076
AT ITER 183 NEW BEST:: SOT 12207917 SOS 7790333 HAS SOPS 6465636 HAS SOUS 2944089 HAS SOUPS 2845330 WITH SCORE 2853120.333
AT ITER 185 NEW BEST:: SOT 12207439 SOS 7787885 HAS SOPS 6465621 HAS SOUS 2941635 HAS SOUPS 2842892 WITH SCORE 2850679.885
AT ITER 192 NEW BEST:: SOT 12207367 SOS 7791051 HAS SOPS 6470597 HAS SOUS 2941226 HAS SOUPS 2842483 WITH SCORE 2850274.051
AT ITER 193 NEW BEST:: SOT 12207362 SOS 7791692 HAS SOPS 6470877 HAS SOUS 2940724 HAS SOUPS 2841962 WITH SCORE 2849753.692
AT ITER 194 NEW BEST:: SOT 12207973 SOS 7793812 HAS SOPS 6471620 HAS SOUS 2940444 HAS SOUPS 2841682 WITH SCORE 2849475.812
AT ITER 195 NEW BEST:: SOT 12208683 SOS 7797088 HAS SOPS 6477358 HAS SOUS 2939457 HAS SOUPS 2840695 WITH SCORE 2848492.088
AT ITER 201 NEW BEST:: SOT 12206373 SOS 7794313 HAS SOPS 6475741 HAS SOUS 2934991 HAS SOUPS 2836229 WITH SCORE 2844023.313
AT ITER 211 NEW BEST:: SOT 12208336 SOS 7802178 HAS SOPS 6480948 HAS SOUS 2929065 HAS SOUPS 2830303 WITH SCORE 2838105.178
AT ITER 219 NEW BEST:: SOT 12207634 SOS 7800933 HAS SOPS 6478770 HAS SOUS 2927030 HAS SOUPS 2828268 WITH SCORE 2836068.933
AT ITER 223 NEW BEST:: SOT 12207722 SOS 7800990 HAS SOPS 6478362 HAS SOUS 2925143 HAS SOUPS 2826336 WITH SCORE 2834136.99
AT ITER 229 NEW BEST:: SOT 12205721 SOS 7796976 HAS SOPS 6474569 HAS SOUS 2918694 HAS SOUPS 2820010 WITH SCORE 2827806.976
AT ITER 237 NEW BEST:: SOT 12202249 SOS 7793365 HAS SOPS 6471305 HAS SOUS 2912307 HAS SOUPS 2813672 WITH SCORE 2821465.365
AT ITER 248 NEW BEST:: SOT 12204813 SOS 7799560 HAS SOPS 6476077 HAS SOUS 2908610 HAS SOUPS 2809975 WITH SCORE 2817774.56
AT ITER 251 NEW BEST:: SOT 12205631 SOS 7801147 HAS SOPS 6477336 HAS SOUS 2908309 HAS SOUPS 2809654 WITH SCORE 2817455.147
AT ITER 260 NEW BEST:: SOT 12215018 SOS 7809667 HAS SOPS 6480808 HAS SOUS 2903667 HAS SOUPS 2802281 WITH SCORE 2810090.667
AT ITER 281 NEW BEST:: SOT 12214967 SOS 7809748 HAS SOPS 6479982 HAS SOUS 2901697 HAS SOUPS 2800389 WITH SCORE 2808198.748
AT ITER 286 NEW BEST:: SOT 12214955 SOS 7810284 HAS SOPS 6480956 HAS SOUS 2897929 HAS SOUPS 2796649 WITH SCORE 2804459.284
AT ITER 292 NEW BEST:: SOT 12205253 SOS 7801310 HAS SOPS 6471035 HAS SOUS 2870846 HAS SOUPS 2769562 WITH SCORE 2777363.31
AT ITER 296 NEW BEST:: SOT 12213300 SOS 7824431 HAS SOPS 6494156 HAS SOUS 2868743 HAS SOUPS 2767459 WITH SCORE 2775283.431
AT ITER 304 NEW BEST:: SOT 12214402 SOS 7828952 HAS SOPS 6500704 HAS SOUS 2867296 HAS SOUPS 2766012 WITH SCORE 2773840.952
AT ITER 307 NEW BEST:: SOT 12215305 SOS 7833247 HAS SOPS 6504071 HAS SOUS 2865383 HAS SOUPS 2764099 WITH SCORE 2771932.247
AT ITER 310 NEW BEST:: SOT 12211029 SOS 7827378 HAS SOPS 6501088 HAS SOUS 2854457 HAS SOUPS 2754407 WITH SCORE 2762234.378
AT ITER 314 NEW BEST:: SOT 12214893 SOS 7837765 HAS SOPS 6509271 HAS SOUS 2851506 HAS SOUPS 2751615 WITH SCORE 2759452.765
AT ITER 318 NEW BEST:: SOT 12214222 SOS 7837633 HAS SOPS 6509315 HAS SOUS 2849498 HAS SOUPS 2749607 WITH SCORE 2757444.633
AT ITER 322 NEW BEST:: SOT 12215845 SOS 7845380 HAS SOPS 6515489 HAS SOUS 2848454 HAS SOUPS 2748563 WITH SCORE 2756408.38
AT ITER 330 NEW BEST:: SOT 12216965 SOS 7850450 HAS SOPS 6520078 HAS SOUS 2843336 HAS SOUPS 2743557 WITH SCORE 2751407.45
AT ITER 337 NEW BEST:: SOT 12217061 SOS 7850229 HAS SOPS 6518926 HAS SOUS 2841707 HAS SOUPS 2742088 WITH SCORE 2749938.229
AT ITER 354 NEW BEST:: SOT 12214923 SOS 7845332 HAS SOPS 6516154 HAS SOUS 2840883 HAS SOUPS 2741327 WITH SCORE 2749172.332
AT ITER 358 NEW BEST:: SOT 12206920 SOS 7837329 HAS SOPS 6507999 HAS SOUS 2836135 HAS SOUPS 2736468 WITH SCORE 2744305.329
AT ITER 368 NEW BEST:: SOT 12205951 SOS 7836363 HAS SOPS 6506678 HAS SOUS 2834398 HAS SOUPS 2734728 WITH SCORE 2742564.363
AT ITER 374 NEW BEST:: SOT 12200524 SOS 7828836 HAS SOPS 6499647 HAS SOUS 2825027 HAS SOUPS 2725415 WITH SCORE 2733243.836
AT ITER 396 NEW BEST:: SOT 12200686 SOS 7829638 HAS SOPS 6500205 HAS SOUS 2824460 HAS SOUPS 2724848 WITH SCORE 2732677.638
AT ITER 399 NEW BEST:: SOT 12203860 SOS 7833235 HAS SOPS 6503829 HAS SOUS 2822463 HAS SOUPS 2722878 WITH SCORE 2730711.235
AT ITER 413 NEW BEST:: SOT 12203264 SOS 7833280 HAS SOPS 6503523 HAS SOUS 2822287 HAS SOUPS 2722702 WITH SCORE 2730535.28
AT ITER 417 NEW BEST:: SOT 12205488 SOS 7842788 HAS SOPS 6516132 HAS SOUS 2817164 HAS SOUPS 2717751 WITH SCORE 2725593.788
AT ITER 418 NEW BEST:: SOT 12205527 SOS 7843303 HAS SOPS 6516232 HAS SOUS 2816750 HAS SOUPS 2717337 WITH SCORE 2725180.303
AT ITER 421 NEW BEST:: SOT 12205570 SOS 7843392 HAS SOPS 6516298 HAS SOUS 2816720 HAS SOUPS 2717307 WITH SCORE 2725150.392
AT ITER 425 NEW BEST:: SOT 12198719 SOS 7836072 HAS SOPS 6507244 HAS SOUS 2806392 HAS SOUPS 2706980 WITH SCORE 2714816.072
AT ITER 430 NEW BEST:: SOT 12198468 SOS 7835804 HAS SOPS 6507046 HAS SOUS 2805803 HAS SOUPS 2706396 WITH SCORE 2714231.804
AT ITER 434 NEW BEST:: SOT 12198399 SOS 7835718 HAS SOPS 6506960 HAS SOUS 2805498 HAS SOUPS 2706091 WITH SCORE 2713926.718
AT ITER 440 NEW BEST:: SOT 12198211 SOS 7835779 HAS SOPS 6507107 HAS SOUS 2805425 HAS SOUPS 2706018 WITH SCORE 2713853.779
AT ITER 441 NEW BEST:: SOT 12167319 SOS 7800432 HAS SOPS 6470581 HAS SOUS 2768563 HAS SOUPS 2667792 WITH SCORE 2675592.432
AT ITER 447 NEW BEST:: SOT 12167320 SOS 7800347 HAS SOPS 6470538 HAS SOUS 2768484 HAS SOUPS 2667719 WITH SCORE 2675519.347
AT ITER 467 NEW BEST:: SOT 12165388 SOS 7796047 HAS SOPS 6465939 HAS SOUS 2766968 HAS SOUPS 2666261 WITH SCORE 2674057.047
AT ITER 469 NEW BEST:: SOT 12161939 SOS 7790227 HAS SOPS 6461774 HAS SOUS 2754539 HAS SOUPS 2654329 WITH SCORE 2662119.227
AT ITER 477 NEW BEST:: SOT 12160856 SOS 7786990 HAS SOPS 6460321 HAS SOUS 2752030 HAS SOUPS 2651891 WITH SCORE 2659677.99
AT ITER 479 NEW BEST:: SOT 12158304 SOS 7781072 HAS SOPS 6455520 HAS SOUS 2749538 HAS SOUPS 2649429 WITH SCORE 2657210.072
AT ITER 502 NEW BEST:: SOT 12156954 SOS 7772655 HAS SOPS 6446231 HAS SOUS 2746767 HAS SOUPS 2646558 WITH SCORE 2654330.655
AT ITER 504 NEW BEST:: SOT 12159241 SOS 7779564 HAS SOPS 6451780 HAS SOUS 2746203 HAS SOUPS 2645994 WITH SCORE 2653773.564
AT ITER 506 NEW BEST:: SOT 12157588 SOS 7777961 HAS SOPS 6450096 HAS SOUS 2740194 HAS SOUPS 2639985 WITH SCORE 2647762.961
AT ITER 509 NEW BEST:: SOT 12125813 SOS 7735869 HAS SOPS 6413215 HAS SOUS 2719293 HAS SOUPS 2619257 WITH SCORE 2626992.869
AT ITER 513 NEW BEST:: SOT 12126655 SOS 7734757 HAS SOPS 6412120 HAS SOUS 2718263 HAS SOUPS 2618174 WITH SCORE 2625908.757
AT ITER 518 NEW BEST:: SOT 12126550 SOS 7733518 HAS SOPS 6410940 HAS SOUS 2717913 HAS SOUPS 2617824 WITH SCORE 2625557.518
AT ITER 519 NEW BEST:: SOT 12126119 SOS 7732982 HAS SOPS 6410710 HAS SOUS 2717265 HAS SOUPS 2617176 WITH SCORE 2624908.982
AT ITER 521 NEW BEST:: SOT 12122511 SOS 7728445 HAS SOPS 6406271 HAS SOUS 2714175 HAS SOUPS 2614086 WITH SCORE 2621814.445
AT ITER 524 NEW BEST:: SOT 12125469 SOS 7732025 HAS SOPS 6409820 HAS SOUS 2713105 HAS SOUPS 2613473 WITH SCORE 2621205.025
AT ITER 544 NEW BEST:: SOT 12126241 SOS 7737377 HAS SOPS 6414371 HAS SOUS 2705422 HAS SOUPS 2605900 WITH SCORE 2613637.377
AT ITER 556 NEW BEST:: SOT 12128048 SOS 7742959 HAS SOPS 6418219 HAS SOUS 2704918 HAS SOUPS 2605396 WITH SCORE 2613138.959
AT ITER 563 NEW BEST:: SOT 12127913 SOS 7742679 HAS SOPS 6417760 HAS SOUS 2703489 HAS SOUPS 2603967 WITH SCORE 2611709.679
AT ITER 577 NEW BEST:: SOT 12127609 SOS 7746680 HAS SOPS 6422767 HAS SOUS 2692781 HAS SOUPS 2593288 WITH SCORE 2601034.68
AT ITER 614 NEW BEST:: SOT 12128976 SOS 7747538 HAS SOPS 6424531 HAS SOUS 2691918 HAS SOUPS 2593090 WITH SCORE 2600837.538
AT ITER 617 NEW BEST:: SOT 12127152 SOS 7745922 HAS SOPS 6422832 HAS SOUS 2689896 HAS SOUPS 2591068 WITH SCORE 2598813.922
AT ITER 625 NEW BEST:: SOT 12126485 SOS 7744943 HAS SOPS 6421963 HAS SOUS 2689331 HAS SOUPS 2590503 WITH SCORE 2598247.943
AT ITER 629 NEW BEST:: SOT 12126341 SOS 7747686 HAS SOPS 6431027 HAS SOUS 2678138 HAS SOUPS 2579525 WITH SCORE 2587272.686
AT ITER 649 NEW BEST:: SOT 12106538 SOS 7718056 HAS SOPS 6405297 HAS SOUS 2654267 HAS SOUPS 2555807 WITH SCORE 2563525.056
AT ITER 660 NEW BEST:: SOT 12133602 SOS 7743802 HAS SOPS 6427062 HAS SOUS 2648812 HAS SOUPS 2548649 WITH SCORE 2556392.802
AT ITER 661 NEW BEST:: SOT 12129022 SOS 7734047 HAS SOPS 6415503 HAS SOUS 2644639 HAS SOUPS 2544476 WITH SCORE 2552210.047
AT ITER 692 NEW BEST:: SOT 12128933 SOS 7733923 HAS SOPS 6415390 HAS SOUS 2644494 HAS SOUPS 2544332 WITH SCORE 2552065.923
AT ITER 694 NEW BEST:: SOT 12128193 SOS 7733166 HAS SOPS 6413969 HAS SOUS 2642025 HAS SOUPS 2541863 WITH SCORE 2549596.166
AT ITER 702 NEW BEST:: SOT 12127211 SOS 7732630 HAS SOPS 6412839 HAS SOUS 2639112 HAS SOUPS 2538950 WITH SCORE 2546682.63
AT ITER 730 NEW BEST:: SOT 12126901 SOS 7732819 HAS SOPS 6413153 HAS SOUS 2637471 HAS SOUPS 2537309 WITH SCORE 2545041.819
AT ITER 732 NEW BEST:: SOT 12126737 SOS 7732635 HAS SOPS 6412947 HAS SOUS 2637391 HAS SOUPS 2537215 WITH SCORE 2544947.635
AT ITER 738 NEW BEST:: SOT 12123323 SOS 7729233 HAS SOPS 6410154 HAS SOUS 2634792 HAS SOUPS 2535765 WITH SCORE 2543494.233
AT ITER 758 NEW BEST:: SOT 12124068 SOS 7730005 HAS SOPS 6410494 HAS SOUS 2634261 HAS SOUPS 2535234 WITH SCORE 2542964.005
AT ITER 759 NEW BEST:: SOT 12122616 SOS 7728963 HAS SOPS 6407215 HAS SOUS 2629445 HAS SOUPS 2530418 WITH SCORE 2538146.963
AT ITER 769 NEW BEST:: SOT 12120094 SOS 7726700 HAS SOPS 6406540 HAS SOUS 2615096 HAS SOUPS 2516069 WITH SCORE 2523795.7
AT ITER 770 NEW BEST:: SOT 12120013 SOS 7726617 HAS SOPS 6406427 HAS SOUS 2615040 HAS SOUPS 2515980 WITH SCORE 2523706.617
AT ITER 773 NEW BEST:: SOT 12126190 SOS 7745824 HAS SOPS 6427386 HAS SOUS 2611277 HAS SOUPS 2512217 WITH SCORE 2519962.824
AT ITER 783 NEW BEST:: SOT 12130374 SOS 7755251 HAS SOPS 6429499 HAS SOUS 2607051 HAS SOUPS 2507790 WITH SCORE 2515545.251
AT ITER 784 NEW BEST:: SOT 12128725 SOS 7752765 HAS SOPS 6426554 HAS SOUS 2604683 HAS SOUPS 2505445 WITH SCORE 2513197.765
AT ITER 810 NEW BEST:: SOT 12129832 SOS 7755471 HAS SOPS 6428585 HAS SOUS 2603453 HAS SOUPS 2504215 WITH SCORE 2511970.471
AT ITER 817 NEW BEST:: SOT 12127859 SOS 7753499 HAS SOPS 6426672 HAS SOUS 2598333 HAS SOUPS 2499255 WITH SCORE 2507008.499
AT ITER 826 NEW BEST:: SOT 12127627 SOS 7753888 HAS SOPS 6427745 HAS SOUS 2597058 HAS SOUPS 2497980 WITH SCORE 2505733.888
AT ITER 829 NEW BEST:: SOT 12126330 SOS 7750271 HAS SOPS 6425715 HAS SOUS 2596309 HAS SOUPS 2497231 WITH SCORE 2504981.271
AT ITER 832 NEW BEST:: SOT 12122215 SOS 7739230 HAS SOPS 6420069 HAS SOUS 2594763 HAS SOUPS 2495685 WITH SCORE 2503424.23
AT ITER 844 NEW BEST:: SOT 12121312 SOS 7738574 HAS SOPS 6419429 HAS SOUS 2593050 HAS SOUPS 2493972 WITH SCORE 2501710.574
AT ITER 848 NEW BEST:: SOT 12121182 SOS 7737310 HAS SOPS 6419124 HAS SOUS 2592909 HAS SOUPS 2493831 WITH SCORE 2501568.31
AT ITER 852 NEW BEST:: SOT 12133666 SOS 7766869 HAS SOPS 6435520 HAS SOUS 2590959 HAS SOUPS 2491755 WITH SCORE 2499521.869
AT ITER 859 NEW BEST:: SOT 12132319 SOS 7762960 HAS SOPS 6433692 HAS SOUS 2585557 HAS SOUPS 2486504 WITH SCORE 2494266.96
AT ITER 861 NEW BEST:: SOT 12131467 SOS 7762108 HAS SOPS 6432792 HAS SOUS 2585037 HAS SOUPS 2485936 WITH SCORE 2493698.108
AT ITER 862 NEW BEST:: SOT 12131207 SOS 7769097 HAS SOPS 6442071 HAS SOUS 2583856 HAS SOUPS 2484755 WITH SCORE 2492524.097
AT ITER 878 NEW BEST:: SOT 12130888 SOS 7768993 HAS SOPS 6441887 HAS SOUS 2582880 HAS SOUPS 2483762 WITH SCORE 2491530.993
AT ITER 903 NEW BEST:: SOT 12126956 SOS 7752831 HAS SOPS 6431227 HAS SOUS 2580857 HAS SOUPS 2481828 WITH SCORE 2489580.831
AT ITER 904 NEW BEST:: SOT 12126544 SOS 7750805 HAS SOPS 6429396 HAS SOUS 2579698 HAS SOUPS 2480669 WITH SCORE 2488419.805
AT ITER 909 NEW BEST:: SOT 12126511 SOS 7750556 HAS SOPS 6429093 HAS SOUS 2579574 HAS SOUPS 2480545 WITH SCORE 2488295.556
AT ITER 910 NEW BEST:: SOT 12126651 SOS 7751393 HAS SOPS 6431272 HAS SOUS 2577376 HAS SOUPS 2478347 WITH SCORE 2486098.393
AT ITER 915 NEW BEST:: SOT 12125951 SOS 7751579 HAS SOPS 6429358 HAS SOUS 2573830 HAS SOUPS 2474801 WITH SCORE 2482552.579
AT ITER 931 NEW BEST:: SOT 12129494 SOS 7758302 HAS SOPS 6434082 HAS SOUS 2572142 HAS SOUPS 2473079 WITH SCORE 2480837.302
AT ITER 948 NEW BEST:: SOT 12133239 SOS 7764536 HAS SOPS 6440318 HAS SOUS 2572005 HAS SOUPS 2472818 WITH SCORE 2480582.536
AT ITER 960 NEW BEST:: SOT 12132940 SOS 7764422 HAS SOPS 6440680 HAS SOUS 2570669 HAS SOUPS 2471482 WITH SCORE 2479246.422
AT ITER 962 NEW BEST:: SOT 12139510 SOS 7772152 HAS SOPS 6448913 HAS SOUS 2563643 HAS SOUPS 2464563 WITH SCORE 2472335.152
AT ITER 963 NEW BEST:: SOT 12137491 SOS 7770427 HAS SOPS 6447147 HAS SOUS 2558688 HAS SOUPS 2459608 WITH SCORE 2467378.427
AT ITER 974 NEW BEST:: SOT 12139793 SOS 7774594 HAS SOPS 6453300 HAS SOUS 2556812 HAS SOUPS 2457850 WITH SCORE 2465624.594
AT ITER 986 NEW BEST:: SOT 12139451 SOS 7774058 HAS SOPS 6453040 HAS SOUS 2554517 HAS SOUPS 2455882 WITH SCORE 2463656.058
AT ITER 1039 NEW BEST:: SOT 12138409 SOS 7772590 HAS SOPS 6452943 HAS SOUS 2552128 HAS SOUPS 2453692 WITH SCORE 2461464.59
AT ITER 1045 NEW BEST:: SOT 12138137 SOS 7772350 HAS SOPS 6452639 HAS SOUS 2551584 HAS SOUPS 2453144 WITH SCORE 2460916.35
AT ITER 1060 NEW BEST:: SOT 12135521 SOS 7766978 HAS SOPS 6447848 HAS SOUS 2546758 HAS SOUPS 2448318 WITH SCORE 2456084.978
AT ITER 1061 NEW BEST:: SOT 12135510 SOS 7766997 HAS SOPS 6447860 HAS SOUS 2546733 HAS SOUPS 2448293 WITH SCORE 2456059.997
AT ITER 1072 NEW BEST:: SOT 12140509 SOS 7770260 HAS SOPS 6459812 HAS SOUS 2539872 HAS SOUPS 2442240 WITH SCORE 2450010.26
AT ITER 1080 NEW BEST:: SOT 12139899 SOS 7769650 HAS SOPS 6459202 HAS SOUS 2539230 HAS SOUPS 2441598 WITH SCORE 2449367.65
AT ITER 1103 NEW BEST:: SOT 12140663 SOS 7771871 HAS SOPS 6461465 HAS SOUS 2537950 HAS SOUPS 2440318 WITH SCORE 2448089.871
AT ITER 1114 NEW BEST:: SOT 12137713 SOS 7766749 HAS SOPS 6456710 HAS SOUS 2533344 HAS SOUPS 2435750 WITH SCORE 2443516.749
AT ITER 1119 NEW BEST:: SOT 12137270 SOS 7765797 HAS SOPS 6455586 HAS SOUS 2531917 HAS SOUPS 2434323 WITH SCORE 2442088.797
AT ITER 1120 NEW BEST:: SOT 12137019 SOS 7765531 HAS SOPS 6455275 HAS SOUS 2531426 HAS SOUPS 2433832 WITH SCORE 2441597.531
AT ITER 1142 NEW BEST:: SOT 12139785 SOS 7769275 HAS SOPS 6467319 HAS SOUS 2528067 HAS SOUPS 2430636 WITH SCORE 2438405.275
AT ITER 1151 NEW BEST:: SOT 12139962 SOS 7768579 HAS SOPS 6466623 HAS SOUS 2526607 HAS SOUPS 2429176 WITH SCORE 2436944.579
AT ITER 1171 NEW BEST:: SOT 12139900 SOS 7768594 HAS SOPS 6466348 HAS SOUS 2526265 HAS SOUPS 2428812 WITH SCORE 2436580.594
AT ITER 1172 NEW BEST:: SOT 12142287 SOS 7769160 HAS SOPS 6472576 HAS SOUS 2525899 HAS SOUPS 2428594 WITH SCORE 2436363.16
AT ITER 1188 NEW BEST:: SOT 12142598 SOS 7768995 HAS SOPS 6472430 HAS SOUS 2525748 HAS SOUPS 2428443 WITH SCORE 2436211.995
AT ITER 1194 NEW BEST:: SOT 12141963 SOS 7768684 HAS SOPS 6472928 HAS SOUS 2524524 HAS SOUPS 2427219 WITH SCORE 2434987.684
AT ITER 1199 NEW BEST:: SOT 12140815 SOS 7767287 HAS SOPS 6471928 HAS SOUS 2522714 HAS SOUPS 2425417 WITH SCORE 2433184.287
AT ITER 1202 NEW BEST:: SOT 12138571 SOS 7762936 HAS SOPS 6468746 HAS SOUS 2520517 HAS SOUPS 2423220 WITH SCORE 2430982.936
AT ITER 1220 NEW BEST:: SOT 12138390 SOS 7762760 HAS SOPS 6468565 HAS SOUS 2520360 HAS SOUPS 2423058 WITH SCORE 2430820.76
AT ITER 1225 NEW BEST:: SOT 12137890 SOS 7761580 HAS SOPS 6467165 HAS SOUS 2517438 HAS SOUPS 2420114 WITH SCORE 2427875.58
AT ITER 1244 NEW BEST:: SOT 12143431 SOS 7769011 HAS SOPS 6474793 HAS SOUS 2517068 HAS SOUPS 2419695 WITH SCORE 2427464.011
AT ITER 1245 NEW BEST:: SOT 12138178 SOS 7750413 HAS SOPS 6461485 HAS SOUS 2511622 HAS SOUPS 2415204 WITH SCORE 2422954.413
AT ITER 1254 NEW BEST:: SOT 12146078 SOS 7758695 HAS SOPS 6470775 HAS SOUS 2509768 HAS SOUPS 2413350 WITH SCORE 2421108.695
AT ITER 1264 NEW BEST:: SOT 12155436 SOS 7783517 HAS SOPS 6496716 HAS SOUS 2504749 HAS SOUPS 2408416 WITH SCORE 2416199.517
AT ITER 1278 NEW BEST:: SOT 12154848 SOS 7782983 HAS SOPS 6496025 HAS SOUS 2503554 HAS SOUPS 2407221 WITH SCORE 2415003.983
AT ITER 1291 NEW BEST:: SOT 12154774 SOS 7782274 HAS SOPS 6495595 HAS SOUS 2502753 HAS SOUPS 2406420 WITH SCORE 2414202.274
AT ITER 1321 NEW BEST:: SOT 12151347 SOS 7776825 HAS SOPS 6491884 HAS SOUS 2497815 HAS SOUPS 2401815 WITH SCORE 2409591.825
AT ITER 1325 NEW BEST:: SOT 12151447 SOS 7779341 HAS SOPS 6495145 HAS SOUS 2497696 HAS SOUPS 2401696 WITH SCORE 2409475.341
AT ITER 1329 NEW BEST:: SOT 12151491 SOS 7779799 HAS SOPS 6494827 HAS SOUS 2497439 HAS SOUPS 2401439 WITH SCORE 2409218.799
AT ITER 1342 NEW BEST:: SOT 12153605 SOS 7782536 HAS SOPS 6498375 HAS SOUS 2492490 HAS SOUPS 2396764 WITH SCORE 2404546.536
AT ITER 1345 NEW BEST:: SOT 12156794 SOS 7786923 HAS SOPS 6505496 HAS SOUS 2482179 HAS SOUPS 2386453 WITH SCORE 2394239.923
AT ITER 1349 NEW BEST:: SOT 12155123 SOS 7785295 HAS SOPS 6504337 HAS SOUS 2480983 HAS SOUPS 2385902 WITH SCORE 2393687.295
AT ITER 1352 NEW BEST:: SOT 12154553 SOS 7784725 HAS SOPS 6503223 HAS SOUS 2477745 HAS SOUPS 2382664 WITH SCORE 2390448.725
AT ITER 1369 NEW BEST:: SOT 12154782 SOS 7786495 HAS SOPS 6508002 HAS SOUS 2472076 HAS SOUPS 2377013 WITH SCORE 2384799.495
AT ITER 1372 NEW BEST:: SOT 12152485 SOS 7784178 HAS SOPS 6504905 HAS SOUS 2470688 HAS SOUPS 2375385 WITH SCORE 2383169.178
AT ITER 1377 NEW BEST:: SOT 12151726 SOS 7782952 HAS SOPS 6502865 HAS SOUS 2469591 HAS SOUPS 2374288 WITH SCORE 2382070.952
AT ITER 1381 NEW BEST:: SOT 12151431 SOS 7783053 HAS SOPS 6502665 HAS SOUS 2469242 HAS SOUPS 2373939 WITH SCORE 2381722.053
AT ITER 1382 NEW BEST:: SOT 12153372 SOS 7786521 HAS SOPS 6508865 HAS SOUS 2463151 HAS SOUPS 2367848 WITH SCORE 2375634.521
AT ITER 1395 NEW BEST:: SOT 12151106 SOS 7782876 HAS SOPS 6505895 HAS SOUS 2458670 HAS SOUPS 2363447 WITH SCORE 2371229.876
AT ITER 1414 NEW BEST:: SOT 12150932 SOS 7782115 HAS SOPS 6507563 HAS SOUS 2457980 HAS SOUPS 2362973 WITH SCORE 2370755.115
AT ITER 1427 NEW BEST:: SOT 12147564 SOS 7791575 HAS SOPS 6517357 HAS SOUS 2456422 HAS SOUPS 2361645 WITH SCORE 2369436.575
AT ITER 1428 NEW BEST:: SOT 12147433 SOS 7792768 HAS SOPS 6518831 HAS SOUS 2455631 HAS SOUPS 2360854 WITH SCORE 2368646.768
AT ITER 1434 NEW BEST:: SOT 12145439 SOS 7790791 HAS SOPS 6515953 HAS SOUS 2451970 HAS SOUPS 2357207 WITH SCORE 2364997.791
AT ITER 1442 NEW BEST:: SOT 12145111 SOS 7790301 HAS SOPS 6516449 HAS SOUS 2446583 HAS SOUPS 2352176 WITH SCORE 2359966.301
AT ITER 1448 NEW BEST:: SOT 12144889 SOS 7789864 HAS SOPS 6515921 HAS SOUS 2446177 HAS SOUPS 2351770 WITH SCORE 2359559.864
AT ITER 1450 NEW BEST:: SOT 12145629 SOS 7795245 HAS SOPS 6518902 HAS SOUS 2446049 HAS SOUPS 2351642 WITH SCORE 2359437.245
AT ITER 1454 NEW BEST:: SOT 12143718 SOS 7788283 HAS SOPS 6516431 HAS SOUS 2445845 HAS SOUPS 2351438 WITH SCORE 2359226.283
AT ITER 1469 NEW BEST:: SOT 12135977 SOS 7777525 HAS SOPS 6506993 HAS SOUS 2441905 HAS SOUPS 2347498 WITH SCORE 2355275.525
AT ITER 1483 NEW BEST:: SOT 12135540 SOS 7777723 HAS SOPS 6506648 HAS SOUS 2440646 HAS SOUPS 2346239 WITH SCORE 2354016.723
AT ITER 1492 NEW BEST:: SOT 12137129 SOS 7780087 HAS SOPS 6512572 HAS SOUS 2439428 HAS SOUPS 2345097 WITH SCORE 2352877.087
AT ITER 1501 NEW BEST:: SOT 12136816 SOS 7779826 HAS SOPS 6510578 HAS SOUS 2436977 HAS SOUPS 2342591 WITH SCORE 2350370.826
AT ITER 1525 NEW BEST:: SOT 12136046 SOS 7774566 HAS SOPS 6504618 HAS SOUS 2436549 HAS SOUPS 2342163 WITH SCORE 2349937.566
AT ITER 1546 NEW BEST:: SOT 12136129 SOS 7772835 HAS SOPS 6503647 HAS SOUS 2436284 HAS SOUPS 2341898 WITH SCORE 2349670.835
AT ITER 1551 NEW BEST:: SOT 12133262 SOS 7770464 HAS SOPS 6500334 HAS SOUS 2431712 HAS SOUPS 2337326 WITH SCORE 2345096.464
AT ITER 1570 NEW BEST:: SOT 12131542 SOS 7768744 HAS SOPS 6499526 HAS SOUS 2430516 HAS SOUPS 2337154 WITH SCORE 2344922.744
AT ITER 1575 NEW BEST:: SOT 12125365 SOS 7757224 HAS SOPS 6489219 HAS SOUS 2424538 HAS SOUPS 2331415 WITH SCORE 2339172.224
AT ITER 1580 NEW BEST:: SOT 12125673 SOS 7758014 HAS SOPS 6490415 HAS SOUS 2424268 HAS SOUPS 2331145 WITH SCORE 2338903.014
AT ITER 1591 NEW BEST:: SOT 12125083 SOS 7757313 HAS SOPS 6489280 HAS SOUS 2422763 HAS SOUPS 2329640 WITH SCORE 2337397.313
AT ITER 1613 NEW BEST:: SOT 12126532 SOS 7758593 HAS SOPS 6487627 HAS SOUS 2420380 HAS SOUPS 2327257 WITH SCORE 2335015.593
AT ITER 1614 NEW BEST:: SOT 12125477 SOS 7759997 HAS SOPS 6488763 HAS SOUS 2420266 HAS SOUPS 2327143 WITH SCORE 2334902.997
AT ITER 1618 NEW BEST:: SOT 12125494 SOS 7761265 HAS SOPS 6489555 HAS SOUS 2419437 HAS SOUPS 2326314 WITH SCORE 2334075.265
AT ITER 1620 NEW BEST:: SOT 12121362 SOS 7748399 HAS SOPS 6477692 HAS SOUS 2415492 HAS SOUPS 2322469 WITH SCORE 2330217.399
AT ITER 1633 NEW BEST:: SOT 12120762 SOS 7747626 HAS SOPS 6476880 HAS SOUS 2414405 HAS SOUPS 2321386 WITH SCORE 2329133.626
AT ITER 1641 NEW BEST:: SOT 12117715 SOS 7738999 HAS SOPS 6467775 HAS SOUS 2413203 HAS SOUPS 2320129 WITH SCORE 2327867.999
AT ITER 1642 NEW BEST:: SOT 12112271 SOS 7733601 HAS SOPS 6460379 HAS SOUS 2409102 HAS SOUPS 2314862 WITH SCORE 2322595.601
AT ITER 1645 NEW BEST:: SOT 12111322 SOS 7730952 HAS SOPS 6458106 HAS SOUS 2407345 HAS SOUPS 2313196 WITH SCORE 2320926.952
AT ITER 1649 NEW BEST:: SOT 12111211 SOS 7730820 HAS SOPS 6458019 HAS SOUS 2407063 HAS SOUPS 2312917 WITH SCORE 2320647.82
AT ITER 1650 NEW BEST:: SOT 12113102 SOS 7739672 HAS SOPS 6461612 HAS SOUS 2397074 HAS SOUPS 2302615 WITH SCORE 2310354.672
AT ITER 1675 NEW BEST:: SOT 12113102 SOS 7739673 HAS SOPS 6461637 HAS SOUS 2397073 HAS SOUPS 2302614 WITH SCORE 2310353.673
AT ITER 1680 NEW BEST:: SOT 12119405 SOS 7759490 HAS SOPS 6478448 HAS SOUS 2390651 HAS SOUPS 2296101 WITH SCORE 2303860.49
AT ITER 1684 NEW BEST:: SOT 12119268 SOS 7757067 HAS SOPS 6477531 HAS SOUS 2389909 HAS SOUPS 2295785 WITH SCORE 2303542.067
AT ITER 1686 NEW BEST:: SOT 12119279 SOS 7757091 HAS SOPS 6477155 HAS SOUS 2389775 HAS SOUPS 2295523 WITH SCORE 2303280.091
AT ITER 1690 NEW BEST:: SOT 12118910 SOS 7756571 HAS SOPS 6475936 HAS SOUS 2388509 HAS SOUPS 2294257 WITH SCORE 2302013.571
AT ITER 1706 NEW BEST:: SOT 12117061 SOS 7751817 HAS SOPS 6470356 HAS SOUS 2379458 HAS SOUPS 2285206 WITH SCORE 2292957.817
AT ITER 1707 NEW BEST:: SOT 12114831 SOS 7750314 HAS SOPS 6468455 HAS SOUS 2376583 HAS SOUPS 2282290 WITH SCORE 2290040.314
AT ITER 1719 NEW BEST:: SOT 12114156 SOS 7749667 HAS SOPS 6467165 HAS SOUS 2376037 HAS SOUPS 2281512 WITH SCORE 2289261.667
AT ITER 1728 NEW BEST:: SOT 12112895 SOS 7748102 HAS SOPS 6465685 HAS SOUS 2373992 HAS SOUPS 2279484 WITH SCORE 2287232.102
AT ITER 1741 NEW BEST:: SOT 12110385 SOS 7742617 HAS SOPS 6462083 HAS SOUS 2370975 HAS SOUPS 2276573 WITH SCORE 2284315.617
AT ITER 1744 NEW BEST:: SOT 12109860 SOS 7741681 HAS SOPS 6461118 HAS SOUS 2370185 HAS SOUPS 2275783 WITH SCORE 2283524.681
AT ITER 1755 NEW BEST:: SOT 12109701 SOS 7741450 HAS SOPS 6460799 HAS SOUS 2369882 HAS SOUPS 2275480 WITH SCORE 2283221.45
AT ITER 1758 NEW BEST:: SOT 12099582 SOS 7728897 HAS SOPS 6449998 HAS SOUS 2355731 HAS SOUPS 2261462 WITH SCORE 2269190.897
AT ITER 1778 NEW BEST:: SOT 12095836 SOS 7719059 HAS SOPS 6440443 HAS SOUS 2350223 HAS SOUPS 2256132 WITH SCORE 2263851.059
AT ITER 1785 NEW BEST:: SOT 12094429 SOS 7718887 HAS SOPS 6438291 HAS SOUS 2343513 HAS SOUPS 2249422 WITH SCORE 2257140.887
AT ITER 1796 NEW BEST:: SOT 12092946 SOS 7720633 HAS SOPS 6438191 HAS SOUS 2339895 HAS SOUPS 2245804 WITH SCORE 2253524.633
AT ITER 1803 NEW BEST:: SOT 12091519 SOS 7718446 HAS SOPS 6435800 HAS SOUS 2336150 HAS SOUPS 2242087 WITH SCORE 2249805.446
AT ITER 1813 NEW BEST:: SOT 12092898 SOS 7718861 HAS SOPS 6436880 HAS SOUS 2335105 HAS SOUPS 2241062 WITH SCORE 2248780.861
AT ITER 1822 NEW BEST:: SOT 12092799 SOS 7719474 HAS SOPS 6437596 HAS SOUS 2333902 HAS SOUPS 2239859 WITH SCORE 2247578.474
AT ITER 1845 NEW BEST:: SOT 12092524 SOS 7717720 HAS SOPS 6437873 HAS SOUS 2332757 HAS SOUPS 2238714 WITH SCORE 2246431.72
AT ITER 1854 NEW BEST:: SOT 12091925 SOS 7717169 HAS SOPS 6437065 HAS SOUS 2330239 HAS SOUPS 2236230 WITH SCORE 2243947.169
AT ITER 1860 NEW BEST:: SOT 12091925 SOS 7717197 HAS SOPS 6437093 HAS SOUS 2330225 HAS SOUPS 2236216 WITH SCORE 2243933.197
AT ITER 1863 NEW BEST:: SOT 12091486 SOS 7715413 HAS SOPS 6435482 HAS SOUS 2329002 HAS SOUPS 2235015 WITH SCORE 2242730.413
AT ITER 1865 NEW BEST:: SOT 12088114 SOS 7709461 HAS SOPS 6429050 HAS SOUS 2324610 HAS SOUPS 2230623 WITH SCORE 2238332.461
AT ITER 1868 NEW BEST:: SOT 12088120 SOS 7709386 HAS SOPS 6429008 HAS SOUS 2324604 HAS SOUPS 2230617 WITH SCORE 2238326.386
AT ITER 1869 NEW BEST:: SOT 12085142 SOS 7706408 HAS SOPS 6425838 HAS SOUS 2321114 HAS SOUPS 2227287 WITH SCORE 2234993.408
AT ITER 1877 NEW BEST:: SOT 12084613 SOS 7710374 HAS SOPS 6424543 HAS SOUS 2314545 HAS SOUPS 2220718 WITH SCORE 2228428.374
AT ITER 1885 NEW BEST:: SOT 12081278 SOS 7706975 HAS SOPS 6419362 HAS SOUS 2310771 HAS SOUPS 2216794 WITH SCORE 2224500.975
AT ITER 1893 NEW BEST:: SOT 12081172 SOS 7706818 HAS SOPS 6419232 HAS SOUS 2310734 HAS SOUPS 2216760 WITH SCORE 2224466.818
AT ITER 1899 NEW BEST:: SOT 12077187 SOS 7702833 HAS SOPS 6415055 HAS SOUS 2306781 HAS SOUPS 2212615 WITH SCORE 2220317.833
AT ITER 1905 NEW BEST:: SOT 12077195 SOS 7702836 HAS SOPS 6415063 HAS SOUS 2306777 HAS SOUPS 2212612 WITH SCORE 2220314.836
AT ITER 1911 NEW BEST:: SOT 12076887 SOS 7702846 HAS SOPS 6415043 HAS SOUS 2305395 HAS SOUPS 2211230 WITH SCORE 2218932.846
AT ITER 1913 NEW BEST:: SOT 12076883 SOS 7702843 HAS SOPS 6415040 HAS SOUS 2304752 HAS SOUPS 2210587 WITH SCORE 2218289.843
AT ITER 1914 NEW BEST:: SOT 12079738 SOS 7711451 HAS SOPS 6422058 HAS SOUS 2301724 HAS SOUPS 2207619 WITH SCORE 2215330.451
AT ITER 1915 NEW BEST:: SOT 12080133 SOS 7713219 HAS SOPS 6422915 HAS SOUS 2299844 HAS SOUPS 2205652 WITH SCORE 2213365.219
AT ITER 1916 NEW BEST:: SOT 12083692 SOS 7726707 HAS SOPS 6431609 HAS SOUS 2298775 HAS SOUPS 2204349 WITH SCORE 2212075.707
AT ITER 1918 NEW BEST:: SOT 12082651 SOS 7723222 HAS SOPS 6427227 HAS SOUS 2297222 HAS SOUPS 2202760 WITH SCORE 2210483.222
AT ITER 1957 NEW BEST:: SOT 12082435 SOS 7723510 HAS SOPS 6426928 HAS SOUS 2296446 HAS SOUPS 2201984 WITH SCORE 2209707.51
AT ITER 1960 NEW BEST:: SOT 12082441 SOS 7723440 HAS SOPS 6426900 HAS SOUS 2296285 HAS SOUPS 2201826 WITH SCORE 2209549.44
AT ITER 1964 NEW BEST:: SOT 12082639 SOS 7724082 HAS SOPS 6427464 HAS SOUS 2296279 HAS SOUPS 2201820 WITH SCORE 2209544.082
AT ITER 1972 NEW BEST:: SOT 12082711 SOS 7724604 HAS SOPS 6427223 HAS SOUS 2295717 HAS SOUPS 2201258 WITH SCORE 2208982.604
AT ITER 1975 NEW BEST:: SOT 12084963 SOS 7727295 HAS SOPS 6431049 HAS SOUS 2294001 HAS SOUPS 2199991 WITH SCORE 2207718.295
AT ITER 1990 NEW BEST:: SOT 12081536 SOS 7721933 HAS SOPS 6427130 HAS SOUS 2288622 HAS SOUPS 2194673 WITH SCORE 2202394.933
AT ITER 1996 NEW BEST:: SOT 12080259 SOS 7718214 HAS SOPS 6423859 HAS SOUS 2285850 HAS SOUPS 2192033 WITH SCORE 2199751.214
AT ITER 1998 NEW BEST:: SOT 12077674 SOS 7715069 HAS SOPS 6420850 HAS SOUS 2280138 HAS SOUPS 2186355 WITH SCORE 2194070.069
AT ITER 2003 NEW BEST:: SOT 12078256 SOS 7715420 HAS SOPS 6421638 HAS SOUS 2279091 HAS SOUPS 2186001 WITH SCORE 2193716.42
AT ITER 2013 NEW BEST:: SOT 12077995 SOS 7715159 HAS SOPS 6421329 HAS SOUS 2278862 HAS SOUPS 2185772 WITH SCORE 2193487.159
AT ITER 2034 NEW BEST:: SOT 12077272 SOS 7714436 HAS SOPS 6420030 HAS SOUS 2275199 HAS SOUPS 2182109 WITH SCORE 2189823.436
AT ITER 2039 NEW BEST:: SOT 12077924 SOS 7714582 HAS SOPS 6421769 HAS SOUS 2274327 HAS SOUPS 2181237 WITH SCORE 2188951.582
AT ITER 2043 NEW BEST:: SOT 12073910 SOS 7698719 HAS SOPS 6407662 HAS SOUS 2273325 HAS SOUPS 2180235 WITH SCORE 2187933.719
AT ITER 2079 NEW BEST:: SOT 12073416 SOS 7698004 HAS SOPS 6406960 HAS SOUS 2272257 HAS SOUPS 2179211 WITH SCORE 2186909.004
AT ITER 2094 NEW BEST:: SOT 12073471 SOS 7698051 HAS SOPS 6407030 HAS SOUS 2272080 HAS SOUPS 2179044 WITH SCORE 2186742.051
AT ITER 2095 NEW BEST:: SOT 12074581 SOS 7699161 HAS SOPS 6407452 HAS SOUS 2271390 HAS SOUPS 2178194 WITH SCORE 2185893.161
AT ITER 2108 NEW BEST:: SOT 12074902 SOS 7699557 HAS SOPS 6407740 HAS SOUS 2271142 HAS SOUPS 2177846 WITH SCORE 2185545.557
AT ITER 2109 NEW BEST:: SOT 12076509 SOS 7705926 HAS SOPS 6413168 HAS SOUS 2267324 HAS SOUPS 2174028 WITH SCORE 2181733.926
AT ITER 2113 NEW BEST:: SOT 12075121 SOS 7703414 HAS SOPS 6411258 HAS SOUS 2267134 HAS SOUPS 2173838 WITH SCORE 2181541.414
AT ITER 2117 NEW BEST:: SOT 12076027 SOS 7704992 HAS SOPS 6413800 HAS SOUS 2265970 HAS SOUPS 2173232 WITH SCORE 2180936.992
AT ITER 2134 NEW BEST:: SOT 12075363 SOS 7705552 HAS SOPS 6414683 HAS SOUS 2263807 HAS SOUPS 2171069 WITH SCORE 2178774.552
AT ITER 2136 NEW BEST:: SOT 12075347 SOS 7707581 HAS SOPS 6416776 HAS SOUS 2262885 HAS SOUPS 2170147 WITH SCORE 2177854.581
AT ITER 2141 NEW BEST:: SOT 12075400 SOS 7707917 HAS SOPS 6416878 HAS SOUS 2262675 HAS SOUPS 2169932 WITH SCORE 2177639.917
AT ITER 2144 NEW BEST:: SOT 12075582 SOS 7708166 HAS SOPS 6416689 HAS SOUS 2259021 HAS SOUPS 2166278 WITH SCORE 2173986.166
AT ITER 2163 NEW BEST:: SOT 12073601 SOS 7704538 HAS SOPS 6416017 HAS SOUS 2257012 HAS SOUPS 2164791 WITH SCORE 2172495.538
AT ITER 2182 NEW BEST:: SOT 12072057 SOS 7702320 HAS SOPS 6413426 HAS SOUS 2254448 HAS SOUPS 2162253 WITH SCORE 2169955.32
AT ITER 2200 NEW BEST:: SOT 12071147 SOS 7700444 HAS SOPS 6411184 HAS SOUS 2251707 HAS SOUPS 2159512 WITH SCORE 2167212.444
AT ITER 2205 NEW BEST:: SOT 12071221 SOS 7700345 HAS SOPS 6411398 HAS SOUS 2251664 HAS SOUPS 2159469 WITH SCORE 2167169.345
AT ITER 2215 NEW BEST:: SOT 12069831 SOS 7698189 HAS SOPS 6408963 HAS SOUS 2249783 HAS SOUPS 2157588 WITH SCORE 2165286.189
AT ITER 2221 NEW BEST:: SOT 12067226 SOS 7691740 HAS SOPS 6403177 HAS SOUS 2248250 HAS SOUPS 2156055 WITH SCORE 2163746.74
AT ITER 2223 NEW BEST:: SOT 12065816 SOS 7687901 HAS SOPS 6401738 HAS SOUS 2245426 HAS SOUPS 2153283 WITH SCORE 2160970.901
AT ITER 2224 NEW BEST:: SOT 12064812 SOS 7688443 HAS SOPS 6399750 HAS SOUS 2242330 HAS SOUPS 2150115 WITH SCORE 2157803.443
AT ITER 2228 NEW BEST:: SOT 12064744 SOS 7688032 HAS SOPS 6399118 HAS SOUS 2242187 HAS SOUPS 2149972 WITH SCORE 2157660.032
AT ITER 2230 NEW BEST:: SOT 12068684 SOS 7703860 HAS SOPS 6414338 HAS SOUS 2241961 HAS SOUPS 2149746 WITH SCORE 2157449.86
AT ITER 2234 NEW BEST:: SOT 12068736 SOS 7704700 HAS SOPS 6415406 HAS SOUS 2241535 HAS SOUPS 2149320 WITH SCORE 2157024.7
AT ITER 2243 NEW BEST:: SOT 12063646 SOS 7697021 HAS SOPS 6408665 HAS SOUS 2238151 HAS SOUPS 2145957 WITH SCORE 2153654.021
AT ITER 2261 NEW BEST:: SOT 12061706 SOS 7691775 HAS SOPS 6404413 HAS SOUS 2232828 HAS SOUPS 2140625 WITH SCORE 2148316.775
AT ITER 2269 NEW BEST:: SOT 12061717 SOS 7692370 HAS SOPS 6404821 HAS SOUS 2232324 HAS SOUPS 2140121 WITH SCORE 2147813.37
AT ITER 2283 NEW BEST:: SOT 12060529 SOS 7690672 HAS SOPS 6402739 HAS SOUS 2230302 HAS SOUPS 2138099 WITH SCORE 2145789.672
AT ITER 2302 NEW BEST:: SOT 12060624 SOS 7690767 HAS SOPS 6402834 HAS SOUS 2230297 HAS SOUPS 2138094 WITH SCORE 2145784.767
AT ITER 2336 NEW BEST:: SOT 12060854 SOS 7690800 HAS SOPS 6402280 HAS SOUS 2229040 HAS SOUPS 2136837 WITH SCORE 2144527.8
AT ITER 2341 NEW BEST:: SOT 12060575 SOS 7690529 HAS SOPS 6402001 HAS SOUS 2228449 HAS SOUPS 2136238 WITH SCORE 2143928.529
AT ITER 2344 NEW BEST:: SOT 12056842 SOS 7683176 HAS SOPS 6393705 HAS SOUS 2226940 HAS SOUPS 2134676 WITH SCORE 2142359.176
AT ITER 2353 NEW BEST:: SOT 12051899 SOS 7672203 HAS SOPS 6382575 HAS SOUS 2226790 HAS SOUPS 2134380 WITH SCORE 2142052.203
AT ITER 2355 NEW BEST:: SOT 12052952 SOS 7669489 HAS SOPS 6380201 HAS SOUS 2217878 HAS SOUPS 2125516 WITH SCORE 2133185.489
AT ITER 2377 NEW BEST:: SOT 12048850 SOS 7663815 HAS SOPS 6373098 HAS SOUS 2208289 HAS SOUPS 2115997 WITH SCORE 2123660.815
AT ITER 2381 NEW BEST:: SOT 12048647 SOS 7663391 HAS SOPS 6372886 HAS SOUS 2206684 HAS SOUPS 2114432 WITH SCORE 2122095.391
AT ITER 2388 NEW BEST:: SOT 12048588 SOS 7663351 HAS SOPS 6372489 HAS SOUS 2206628 HAS SOUPS 2114376 WITH SCORE 2122039.351
AT ITER 2389 NEW BEST:: SOT 12048884 SOS 7664527 HAS SOPS 6373457 HAS SOUS 2206588 HAS SOUPS 2114336 WITH SCORE 2122000.527
AT ITER 2394 NEW BEST:: SOT 12048281 SOS 7662864 HAS SOPS 6371934 HAS SOUS 2205785 HAS SOUPS 2113533 WITH SCORE 2121195.864
AT ITER 2404 NEW BEST:: SOT 12048397 SOS 7663272 HAS SOPS 6372102 HAS SOUS 2205549 HAS SOUPS 2113297 WITH SCORE 2120960.272
AT ITER 2405 NEW BEST:: SOT 12048745 SOS 7664848 HAS SOPS 6370508 HAS SOUS 2195022 HAS SOUPS 2102722 WITH SCORE 2110386.848
AT ITER 2417 NEW BEST:: SOT 12050189 SOS 7666541 HAS SOPS 6372411 HAS SOUS 2190402 HAS SOUPS 2098193 WITH SCORE 2105859.541
AT ITER 2418 NEW BEST:: SOT 12045486 SOS 7661375 HAS SOPS 6367708 HAS SOUS 2184084 HAS SOUPS 2091959 WITH SCORE 2099620.375
AT ITER 2421 NEW BEST:: SOT 12040033 SOS 7656240 HAS SOPS 6358388 HAS SOUS 2180644 HAS SOUPS 2088428 WITH SCORE 2096084.24
AT ITER 2425 NEW BEST:: SOT 12040060 SOS 7656258 HAS SOPS 6358406 HAS SOUS 2180599 HAS SOUPS 2088383 WITH SCORE 2096039.258
AT ITER 2432 NEW BEST:: SOT 12039962 SOS 7656523 HAS SOPS 6358671 HAS SOUS 2180538 HAS SOUPS 2088322 WITH SCORE 2095978.523
AT ITER 2455 NEW BEST:: SOT 12040345 SOS 7656042 HAS SOPS 6357917 HAS SOUS 2180177 HAS SOUPS 2087961 WITH SCORE 2095617.042
AT ITER 2458 NEW BEST:: SOT 12032613 SOS 7648257 HAS SOPS 6349396 HAS SOUS 2174840 HAS SOUPS 2082624 WITH SCORE 2090272.257
AT ITER 2461 NEW BEST:: SOT 12032274 SOS 7647806 HAS SOPS 6348791 HAS SOUS 2173766 HAS SOUPS 2081550 WITH SCORE 2089197.806
AT ITER 2463 NEW BEST:: SOT 12033370 SOS 7648902 HAS SOPS 6349887 HAS SOUS 2169582 HAS SOUPS 2077366 WITH SCORE 2085014.902
AT ITER 2471 NEW BEST:: SOT 12033817 SOS 7648040 HAS SOPS 6348283 HAS SOUS 2169401 HAS SOUPS 2077185 WITH SCORE 2084833.04
AT ITER 2475 NEW BEST:: SOT 12032696 SOS 7646546 HAS SOPS 6346391 HAS SOUS 2166455 HAS SOUPS 2074276 WITH SCORE 2081922.546
AT ITER 2485 NEW BEST:: SOT 12030746 SOS 7645274 HAS SOPS 6344952 HAS SOUS 2164489 HAS SOUPS 2072267 WITH SCORE 2079912.274
AT ITER 2488 NEW BEST:: SOT 12030750 SOS 7645934 HAS SOPS 6345096 HAS SOUS 2163066 HAS SOUPS 2070844 WITH SCORE 2078489.934
AT ITER 2502 NEW BEST:: SOT 12027477 SOS 7642253 HAS SOPS 6339380 HAS SOUS 2155375 HAS SOUPS 2063153 WITH SCORE 2070795.253
AT ITER 2518 NEW BEST:: SOT 12026502 SOS 7641285 HAS SOPS 6337852 HAS SOUS 2152260 HAS SOUPS 2060038 WITH SCORE 2067679.285
AT ITER 2525 NEW BEST:: SOT 12027949 SOS 7642095 HAS SOPS 6343305 HAS SOUS 2151958 HAS SOUPS 2059736 WITH SCORE 2067378.095
AT ITER 2530 NEW BEST:: SOT 12026381 SOS 7639905 HAS SOPS 6340611 HAS SOUS 2148808 HAS SOUPS 2056606 WITH SCORE 2064245.905
AT ITER 2532 NEW BEST:: SOT 12029767 SOS 7643661 HAS SOPS 6344329 HAS SOUS 2146801 HAS SOUPS 2054599 WITH SCORE 2062242.661
AT ITER 2533 NEW BEST:: SOT 12026040 SOS 7634194 HAS SOPS 6335947 HAS SOUS 2142911 HAS SOUPS 2050744 WITH SCORE 2058378.194
AT ITER 2553 NEW BEST:: SOT 12025971 SOS 7633699 HAS SOPS 6335493 HAS SOUS 2142602 HAS SOUPS 2050435 WITH SCORE 2058068.699
AT ITER 2557 NEW BEST:: SOT 12023705 SOS 7622953 HAS SOPS 6328544 HAS SOUS 2142436 HAS SOUPS 2050269 WITH SCORE 2057891.953
AT ITER 2560 NEW BEST:: SOT 12022374 SOS 7621507 HAS SOPS 6326575 HAS SOUS 2135561 HAS SOUPS 2043260 WITH SCORE 2050881.507
AT ITER 2563 NEW BEST:: SOT 12022111 SOS 7621256 HAS SOPS 6325562 HAS SOUS 2134111 HAS SOUPS 2041677 WITH SCORE 2049298.256
AT ITER 2568 NEW BEST:: SOT 12020573 SOS 7619565 HAS SOPS 6323548 HAS SOUS 2129974 HAS SOUPS 2037540 WITH SCORE 2045159.565
AT ITER 2582 NEW BEST:: SOT 12015897 SOS 7620260 HAS SOPS 6324486 HAS SOUS 2126117 HAS SOUPS 2033845 WITH SCORE 2041465.26
AT ITER 2596 NEW BEST:: SOT 12015058 SOS 7619895 HAS SOPS 6323664 HAS SOUS 2121901 HAS SOUPS 2029629 WITH SCORE 2037248.895
AT ITER 2597 NEW BEST:: SOT 12014709 SOS 7619531 HAS SOPS 6323036 HAS SOUS 2120395 HAS SOUPS 2028123 WITH SCORE 2035742.531
AT ITER 2599 NEW BEST:: SOT 12014708 SOS 7617378 HAS SOPS 6319353 HAS SOUS 2119641 HAS SOUPS 2027369 WITH SCORE 2034986.378
AT ITER 2608 NEW BEST:: SOT 12015074 SOS 7617898 HAS SOPS 6320477 HAS SOUS 2119561 HAS SOUPS 2027289 WITH SCORE 2034906.898
AT ITER 2627 NEW BEST:: SOT 12016366 SOS 7619568 HAS SOPS 6324876 HAS SOUS 2117682 HAS SOUPS 2025495 WITH SCORE 2033114.568
AT ITER 2632 NEW BEST:: SOT 12002959 SOS 7606269 HAS SOPS 6312286 HAS SOUS 2113660 HAS SOUPS 2021670 WITH SCORE 2029276.269
AT ITER 2634 NEW BEST:: SOT 12002918 SOS 7606850 HAS SOPS 6312788 HAS SOUS 2113639 HAS SOUPS 2021649 WITH SCORE 2029255.85
AT ITER 2645 NEW BEST:: SOT 12002931 SOS 7607255 HAS SOPS 6313333 HAS SOUS 2113064 HAS SOUPS 2021074 WITH SCORE 2028681.255
AT ITER 2651 NEW BEST:: SOT 12000279 SOS 7604888 HAS SOPS 6313450 HAS SOUS 2099968 HAS SOUPS 2008120 WITH SCORE 2015724.888
AT ITER 2652 NEW BEST:: SOT 11981289 SOS 7580401 HAS SOPS 6290371 HAS SOUS 2087629 HAS SOUPS 1995818 WITH SCORE 2003398.401
AT ITER 2700 NEW BEST:: SOT 11979703 SOS 7578815 HAS SOPS 6288785 HAS SOUS 2086347 HAS SOUPS 1994536 WITH SCORE 2002114.815
AT ITER 2717 NEW BEST:: SOT 11980164 SOS 7578970 HAS SOPS 6288203 HAS SOUS 2083331 HAS SOUPS 1991562 WITH SCORE 1999140.97
AT ITER 2721 NEW BEST:: SOT 11980275 SOS 7575983 HAS SOPS 6288879 HAS SOUS 2083285 HAS SOUPS 1991516 WITH SCORE 1999091.983
AT ITER 2734 NEW BEST:: SOT 11980224 SOS 7575932 HAS SOPS 6288828 HAS SOUS 2083222 HAS SOUPS 1991453 WITH SCORE 1999028.932
AT ITER 2746 NEW BEST:: SOT 11980065 SOS 7575741 HAS SOPS 6288682 HAS SOUS 2082759 HAS SOUPS 1990990 WITH SCORE 1998565.741
AT ITER 2750 NEW BEST:: SOT 11979857 SOS 7574550 HAS SOPS 6286788 HAS SOUS 2082379 HAS SOUPS 1990610 WITH SCORE 1998184.55
AT ITER 2761 NEW BEST:: SOT 11980821 SOS 7575197 HAS SOPS 6285361 HAS SOUS 2080829 HAS SOUPS 1989060 WITH SCORE 1996635.197
AT ITER 2775 NEW BEST:: SOT 11976471 SOS 7569005 HAS SOPS 6279385 HAS SOUS 2071879 HAS SOUPS 1980164 WITH SCORE 1987733.005
AT ITER 2779 NEW BEST:: SOT 11973773 SOS 7564727 HAS SOPS 6274396 HAS SOUS 2067030 HAS SOUPS 1975315 WITH SCORE 1982879.727
AT ITER 2793 NEW BEST:: SOT 11966469 SOS 7551690 HAS SOPS 6263892 HAS SOUS 2065232 HAS SOUPS 1973506 WITH SCORE 1981057.69
AT ITER 2797 NEW BEST:: SOT 11966373 SOS 7551512 HAS SOPS 6263934 HAS SOUS 2065025 HAS SOUPS 1973299 WITH SCORE 1980850.512
AT ITER 2808 NEW BEST:: SOT 11966369 SOS 7551592 HAS SOPS 6263916 HAS SOUS 2064335 HAS SOUPS 1972595 WITH SCORE 1980146.592
AT ITER 2828 NEW BEST:: SOT 11962661 SOS 7543572 HAS SOPS 6254719 HAS SOUS 2059655 HAS SOUPS 1967915 WITH SCORE 1975458.572
AT ITER 2833 NEW BEST:: SOT 11962152 SOS 7543793 HAS SOPS 6254939 HAS SOUS 2056525 HAS SOUPS 1964785 WITH SCORE 1972328.793
AT ITER 2846 NEW BEST:: SOT 11961642 SOS 7542844 HAS SOPS 6253115 HAS SOUS 2054352 HAS SOUPS 1962590 WITH SCORE 1970132.844
AT ITER 2859 NEW BEST:: SOT 11960869 SOS 7541375 HAS SOPS 6250495 HAS SOUS 2053737 HAS SOUPS 1961945 WITH SCORE 1969486.375
AT ITER 2863 NEW BEST:: SOT 11957473 SOS 7537998 HAS SOPS 6246811 HAS SOUS 2048239 HAS SOUPS 1956439 WITH SCORE 1963976.998
AT ITER 2866 NEW BEST:: SOT 11958024 SOS 7539735 HAS SOPS 6248333 HAS SOUS 2047901 HAS SOUPS 1956077 WITH SCORE 1963616.735
AT ITER 2874 NEW BEST:: SOT 11959446 SOS 7538241 HAS SOPS 6247089 HAS SOUS 2046408 HAS SOUPS 1955091 WITH SCORE 1962629.241
AT ITER 2876 NEW BEST:: SOT 11965931 SOS 7555593 HAS SOPS 6264408 HAS SOUS 2044787 HAS SOUPS 1953470 WITH SCORE 1961025.593
AT ITER 2889 NEW BEST:: SOT 11970799 SOS 7560217 HAS SOPS 6270498 HAS SOUS 2041136 HAS SOUPS 1949727 WITH SCORE 1957287.217
AT ITER 2896 NEW BEST:: SOT 11970640 SOS 7560102 HAS SOPS 6270307 HAS SOUS 2040863 HAS SOUPS 1949452 WITH SCORE 1957012.102
AT ITER 2901 NEW BEST:: SOT 11970426 SOS 7558752 HAS SOPS 6268541 HAS SOUS 2040609 HAS SOUPS 1949198 WITH SCORE 1956756.752
AT ITER 2904 NEW BEST:: SOT 11970092 SOS 7555902 HAS SOPS 6266004 HAS SOUS 2037560 HAS SOUPS 1946585 WITH SCORE 1954140.902
AT ITER 2940 NEW BEST:: SOT 11968524 SOS 7554511 HAS SOPS 6263403 HAS SOUS 2032819 HAS SOUPS 1941844 WITH SCORE 1949398.511
AT ITER 2944 NEW BEST:: SOT 11969562 SOS 7557019 HAS SOPS 6263233 HAS SOUS 2031620 HAS SOUPS 1940629 WITH SCORE 1948186.019
AT ITER 2956 NEW BEST:: SOT 11973786 SOS 7561232 HAS SOPS 6270318 HAS SOUS 2027134 HAS SOUPS 1937423 WITH SCORE 1944984.232
AT ITER 2975 NEW BEST:: SOT 11973944 SOS 7561135 HAS SOPS 6273027 HAS SOUS 2027101 HAS SOUPS 1937390 WITH SCORE 1944951.135
AT ITER 2984 NEW BEST:: SOT 11972804 SOS 7559995 HAS SOPS 6271887 HAS SOUS 2025277 HAS SOUPS 1935566 WITH SCORE 1943125.995
AT ITER 2992 NEW BEST:: SOT 11972770 SOS 7559317 HAS SOPS 6271331 HAS SOUS 2025159 HAS SOUPS 1935448 WITH SCORE 1943007.317
AT ITER 3027 NEW BEST:: SOT 11972795 SOS 7559566 HAS SOPS 6271523 HAS SOUS 2025156 HAS SOUPS 1935445 WITH SCORE 1943004.566
AT ITER 3047 NEW BEST:: SOT 11972595 SOS 7557244 HAS SOPS 6268813 HAS SOUS 2024890 HAS SOUPS 1935179 WITH SCORE 1942736.244
AT ITER 3065 NEW BEST:: SOT 11973017 SOS 7558116 HAS SOPS 6268553 HAS SOUS 2024117 HAS SOUPS 1934246 WITH SCORE 1941804.116
AT ITER 3076 NEW BEST:: SOT 11973013 SOS 7558003 HAS SOPS 6269691 HAS SOUS 2023780 HAS SOUPS 1933942 WITH SCORE 1941500.003
AT ITER 3091 NEW BEST:: SOT 11973822 SOS 7559744 HAS SOPS 6272405 HAS SOUS 2023337 HAS SOUPS 1933499 WITH SCORE 1941058.744
AT ITER 3101 NEW BEST:: SOT 11973006 SOS 7558928 HAS SOPS 6271589 HAS SOUS 2022521 HAS SOUPS 1932683 WITH SCORE 1940241.928
AT ITER 3128 NEW BEST:: SOT 11958209 SOS 7544443 HAS SOPS 6258653 HAS SOUS 2008717 HAS SOUPS 1920002 WITH SCORE 1927546.443
AT ITER 3130 NEW BEST:: SOT 11953851 SOS 7543366 HAS SOPS 6255643 HAS SOUS 2005944 HAS SOUPS 1916083 WITH SCORE 1923626.366
AT ITER 3133 NEW BEST:: SOT 11952403 SOS 7541912 HAS SOPS 6252432 HAS SOUS 2004620 HAS SOUPS 1914759 WITH SCORE 1922300.912
AT ITER 3153 NEW BEST:: SOT 11953880 SOS 7538320 HAS SOPS 6257286 HAS SOUS 2003402 HAS SOUPS 1913680 WITH SCORE 1921218.32
AT ITER 3167 NEW BEST:: SOT 11953524 SOS 7537749 HAS SOPS 6256604 HAS SOUS 2003139 HAS SOUPS 1913417 WITH SCORE 1920954.749
AT ITER 3176 NEW BEST:: SOT 11951687 SOS 7536746 HAS SOPS 6254959 HAS SOUS 2002229 HAS SOUPS 1912489 WITH SCORE 1920025.746
AT ITER 3207 NEW BEST:: SOT 11949162 SOS 7534247 HAS SOPS 6250899 HAS SOUS 1995898 HAS SOUPS 1906182 WITH SCORE 1913716.247
AT ITER 3212 NEW BEST:: SOT 11946244 SOS 7530261 HAS SOPS 6245921 HAS SOUS 1991399 HAS SOUPS 1901683 WITH SCORE 1909213.261
AT ITER 3237 NEW BEST:: SOT 11946087 SOS 7530217 HAS SOPS 6246836 HAS SOUS 1991366 HAS SOUPS 1901679 WITH SCORE 1909209.217
AT ITER 3250 NEW BEST:: SOT 11945215 SOS 7529649 HAS SOPS 6245919 HAS SOUS 1989640 HAS SOUPS 1899953 WITH SCORE 1907482.649
AT ITER 3262 NEW BEST:: SOT 11945494 SOS 7532119 HAS SOPS 6247708 HAS SOUS 1987280 HAS SOUPS 1897593 WITH SCORE 1905125.119
AT ITER 3266 NEW BEST:: SOT 11945494 SOS 7532119 HAS SOPS 6247708 HAS SOUS 1987168 HAS SOUPS 1897481 WITH SCORE 1905013.119
AT ITER 3270 NEW BEST:: SOT 11945236 SOS 7531825 HAS SOPS 6247304 HAS SOUS 1986706 HAS SOUPS 1897019 WITH SCORE 1904550.825
AT ITER 3281 NEW BEST:: SOT 11945656 SOS 7532245 HAS SOPS 6247484 HAS SOUS 1986406 HAS SOUPS 1896639 WITH SCORE 1904171.245
AT ITER 3300 NEW BEST:: SOT 11942355 SOS 7522099 HAS SOPS 6235974 HAS SOUS 1984567 HAS SOUPS 1894800 WITH SCORE 1902322.099
AT ITER 3308 NEW BEST:: SOT 11941463 SOS 7521207 HAS SOPS 6235082 HAS SOUS 1983567 HAS SOUPS 1893800 WITH SCORE 1901321.207
AT ITER 3331 NEW BEST:: SOT 11941449 SOS 7521195 HAS SOPS 6235070 HAS SOUS 1983545 HAS SOUPS 1893778 WITH SCORE 1901299.195
AT ITER 3337 NEW BEST:: SOT 11938019 SOS 7517381 HAS SOPS 6230524 HAS SOUS 1977516 HAS SOUPS 1887749 WITH SCORE 1895266.381
AT ITER 3339 NEW BEST:: SOT 11936058 SOS 7510254 HAS SOPS 6222536 HAS SOUS 1974843 HAS SOUPS 1885076 WITH SCORE 1892586.254
AT ITER 3343 NEW BEST:: SOT 11935357 SOS 7509572 HAS SOPS 6221612 HAS SOUS 1973959 HAS SOUPS 1884183 WITH SCORE 1891692.572
AT ITER 3363 NEW BEST:: SOT 11934712 SOS 7508894 HAS SOPS 6220568 HAS SOUS 1972815 HAS SOUPS 1883039 WITH SCORE 1890547.894
AT ITER 3368 NEW BEST:: SOT 11936924 SOS 7512023 HAS SOPS 6223738 HAS SOUS 1970658 HAS SOUPS 1880882 WITH SCORE 1888394.023
AT ITER 3394 NEW BEST:: SOT 11936291 SOS 7511361 HAS SOPS 6223051 HAS SOUS 1969381 HAS SOUPS 1879596 WITH SCORE 1887107.361
AT ITER 3411 NEW BEST:: SOT 11943570 SOS 7523396 HAS SOPS 6234274 HAS SOUS 1962675 HAS SOUPS 1874203 WITH SCORE 1881726.396
AT ITER 3423 NEW BEST:: SOT 11942907 SOS 7521070 HAS SOPS 6232474 HAS SOUS 1962609 HAS SOUPS 1874137 WITH SCORE 1881658.07
AT ITER 3425 NEW BEST:: SOT 11941990 SOS 7516791 HAS SOPS 6229121 HAS SOUS 1961845 HAS SOUPS 1873373 WITH SCORE 1880889.791
AT ITER 3444 NEW BEST:: SOT 11938347 SOS 7510800 HAS SOPS 6223694 HAS SOUS 1954657 HAS SOUPS 1866288 WITH SCORE 1873798.8
AT ITER 3454 NEW BEST:: SOT 11937835 SOS 7510244 HAS SOPS 6222830 HAS SOUS 1953974 HAS SOUPS 1865616 WITH SCORE 1873126.244
AT ITER 3468 NEW BEST:: SOT 11935278 SOS 7507659 HAS SOPS 6219933 HAS SOUS 1951453 HAS SOUPS 1862871 WITH SCORE 1870378.659
AT ITER 3488 NEW BEST:: SOT 11934778 SOS 7506038 HAS SOPS 6217392 HAS SOUS 1950286 HAS SOUPS 1861704 WITH SCORE 1869210.038
AT ITER 3491 NEW BEST:: SOT 11932116 SOS 7503373 HAS SOPS 6214167 HAS SOUS 1948016 HAS SOUPS 1859434 WITH SCORE 1866937.373
AT ITER 3499 NEW BEST:: SOT 11926923 SOS 7496747 HAS SOPS 6207043 HAS SOUS 1938656 HAS SOUPS 1850076 WITH SCORE 1857572.747
AT ITER 3500 NEW BEST:: SOT 11930061 SOS 7499863 HAS SOPS 6209423 HAS SOUS 1937974 HAS SOUPS 1849394 WITH SCORE 1856893.863
AT ITER 3537 NEW BEST:: SOT 11926044 SOS 7491487 HAS SOPS 6200030 HAS SOUS 1934940 HAS SOUPS 1846360 WITH SCORE 1853851.487
AT ITER 3541 NEW BEST:: SOT 11924320 SOS 7489959 HAS SOPS 6198727 HAS SOUS 1933380 HAS SOUPS 1844800 WITH SCORE 1852289.959
AT ITER 3558 NEW BEST:: SOT 11917568 SOS 7483207 HAS SOPS 6191975 HAS SOUS 1928420 HAS SOUPS 1839840 WITH SCORE 1847323.207
AT ITER 3560 NEW BEST:: SOT 11914937 SOS 7475981 HAS SOPS 6186746 HAS SOUS 1922405 HAS SOUPS 1833876 WITH SCORE 1841351.981
AT ITER 3563 NEW BEST:: SOT 11914373 SOS 7471475 HAS SOPS 6184017 HAS SOUS 1921770 HAS SOUPS 1833325 WITH SCORE 1840796.475
AT ITER 3570 NEW BEST:: SOT 11911057 SOS 7466220 HAS SOPS 6179637 HAS SOUS 1915833 HAS SOUPS 1827433 WITH SCORE 1834899.22
AT ITER 3601 NEW BEST:: SOT 11911876 SOS 7467025 HAS SOPS 6181032 HAS SOUS 1914736 HAS SOUPS 1826382 WITH SCORE 1833849.025
AT ITER 3607 NEW BEST:: SOT 11911462 SOS 7466789 HAS SOPS 6179971 HAS SOUS 1912351 HAS SOUPS 1824073 WITH SCORE 1831539.789
AT ITER 3614 NEW BEST:: SOT 11910929 SOS 7466176 HAS SOPS 6179238 HAS SOUS 1911090 HAS SOUPS 1822820 WITH SCORE 1830286.176
AT ITER 3628 NEW BEST:: SOT 11910283 SOS 7465556 HAS SOPS 6178266 HAS SOUS 1910372 HAS SOUPS 1821654 WITH SCORE 1829119.556
AT ITER 3634 NEW BEST:: SOT 11909262 SOS 7464521 HAS SOPS 6176655 HAS SOUS 1906475 HAS SOUPS 1817757 WITH SCORE 1825221.521
AT ITER 3640 NEW BEST:: SOT 11908179 SOS 7463644 HAS SOPS 6176409 HAS SOUS 1895940 HAS SOUPS 1807354 WITH SCORE 1814817.644
AT ITER 3645 NEW BEST:: SOT 11907728 SOS 7463009 HAS SOPS 6175461 HAS SOUS 1892738 HAS SOUPS 1804234 WITH SCORE 1811697.009
AT ITER 3650 NEW BEST:: SOT 11907672 SOS 7462951 HAS SOPS 6175379 HAS SOUS 1892608 HAS SOUPS 1804104 WITH SCORE 1811566.951
AT ITER 3651 NEW BEST:: SOT 11907646 SOS 7462412 HAS SOPS 6174885 HAS SOUS 1892556 HAS SOUPS 1804052 WITH SCORE 1811514.412
AT ITER 3664 NEW BEST:: SOT 11908581 SOS 7469199 HAS SOPS 6176915 HAS SOUS 1885660 HAS SOUPS 1797139 WITH SCORE 1804608.199
AT ITER 3671 NEW BEST:: SOT 11908722 SOS 7472103 HAS SOPS 6177833 HAS SOUS 1885523 HAS SOUPS 1797002 WITH SCORE 1804474.103
AT ITER 3713 NEW BEST:: SOT 11908439 SOS 7471822 HAS SOPS 6177376 HAS SOUS 1884984 HAS SOUPS 1796463 WITH SCORE 1803934.822
AT ITER 3725 NEW BEST:: SOT 11908607 SOS 7472487 HAS SOPS 6177677 HAS SOUS 1884697 HAS SOUPS 1796176 WITH SCORE 1803648.487
AT ITER 3746 NEW BEST:: SOT 11905479 SOS 7472690 HAS SOPS 6178163 HAS SOUS 1882829 HAS SOUPS 1794308 WITH SCORE 1801780.69
AT ITER 3754 NEW BEST:: SOT 11906476 SOS 7474682 HAS SOPS 6177660 HAS SOUS 1881450 HAS SOUPS 1792873 WITH SCORE 1800347.682
AT ITER 3770 NEW BEST:: SOT 11906246 SOS 7474234 HAS SOPS 6175276 HAS SOUS 1881412 HAS SOUPS 1792835 WITH SCORE 1800309.234
AT ITER 3774 NEW BEST:: SOT 11906269 SOS 7473820 HAS SOPS 6175748 HAS SOUS 1880869 HAS SOUPS 1792292 WITH SCORE 1799765.82
AT ITER 3779 NEW BEST:: SOT 11905518 SOS 7472642 HAS SOPS 6174950 HAS SOUS 1879891 HAS SOUPS 1791314 WITH SCORE 1798786.642
AT ITER 3791 NEW BEST:: SOT 11905473 SOS 7472055 HAS SOPS 6173040 HAS SOUS 1878628 HAS SOUPS 1790051 WITH SCORE 1797523.055
AT ITER 3821 NEW BEST:: SOT 11907256 SOS 7478205 HAS SOPS 6178569 HAS SOUS 1877147 HAS SOUPS 1788471 WITH SCORE 1795949.205
AT ITER 3828 NEW BEST:: SOT 11906159 SOS 7474958 HAS SOPS 6176086 HAS SOUS 1876774 HAS SOUPS 1788121 WITH SCORE 1795595.958
AT ITER 3833 NEW BEST:: SOT 11903840 SOS 7472265 HAS SOPS 6172468 HAS SOUS 1874925 HAS SOUPS 1786233 WITH SCORE 1793705.265
AT ITER 3865 NEW BEST:: SOT 11903587 SOS 7472197 HAS SOPS 6172224 HAS SOUS 1874683 HAS SOUPS 1785991 WITH SCORE 1793463.197
AT ITER 3868 NEW BEST:: SOT 11903534 SOS 7472138 HAS SOPS 6172141 HAS SOUS 1874581 HAS SOUPS 1785889 WITH SCORE 1793361.138
AT ITER 3894 NEW BEST:: SOT 11903325 SOS 7471934 HAS SOPS 6171541 HAS SOUS 1874485 HAS SOUPS 1785793 WITH SCORE 1793264.934
AT ITER 3895 NEW BEST:: SOT 11903175 SOS 7470514 HAS SOPS 6169998 HAS SOUS 1874411 HAS SOUPS 1785719 WITH SCORE 1793189.514
AT ITER 3898 NEW BEST:: SOT 11918241 SOS 7484048 HAS SOPS 6181444 HAS SOUS 1873499 HAS SOUPS 1784862 WITH SCORE 1792346.048
AT ITER 3904 NEW BEST:: SOT 11917471 SOS 7482670 HAS SOPS 6179296 HAS SOUS 1872017 HAS SOUPS 1783380 WITH SCORE 1790862.67
AT ITER 3907 NEW BEST:: SOT 11911789 SOS 7476907 HAS SOPS 6173653 HAS SOUS 1859651 HAS SOUPS 1771014 WITH SCORE 1778490.907
AT ITER 3915 NEW BEST:: SOT 11910879 SOS 7476006 HAS SOPS 6173651 HAS SOUS 1859178 HAS SOUPS 1770579 WITH SCORE 1778055.006
AT ITER 3924 NEW BEST:: SOT 11910799 SOS 7475682 HAS SOPS 6173311 HAS SOUS 1859114 HAS SOUPS 1770515 WITH SCORE 1777990.682
AT ITER 3929 NEW BEST:: SOT 11907556 SOS 7469193 HAS SOPS 6167139 HAS SOUS 1833313 HAS SOUPS 1744732 WITH SCORE 1752201.193
AT ITER 3949 NEW BEST:: SOT 11912747 SOS 7483656 HAS SOPS 6181973 HAS SOUS 1831358 HAS SOUPS 1742777 WITH SCORE 1750260.656
AT ITER 3975 NEW BEST:: SOT 11912547 SOS 7483600 HAS SOPS 6181885 HAS SOUS 1831182 HAS SOUPS 1742597 WITH SCORE 1750080.6
AT ITER 4033 NEW BEST:: SOT 11912535 SOS 7483588 HAS SOPS 6181873 HAS SOUS 1831170 HAS SOUPS 1742585 WITH SCORE 1750068.588
AT ITER 4038 NEW BEST:: SOT 11910402 SOS 7481058 HAS SOPS 6179560 HAS SOUS 1827702 HAS SOUPS 1739117 WITH SCORE 1746598.058
AT ITER 4062 NEW BEST:: SOT 11905961 SOS 7477270 HAS SOPS 6175387 HAS SOUS 1821776 HAS SOUPS 1733202 WITH SCORE 1740679.27
AT ITER 4069 NEW BEST:: SOT 11908855 SOS 7478586 HAS SOPS 6179209 HAS SOUS 1821616 HAS SOUPS 1733042 WITH SCORE 1740520.586
AT ITER 4117 NEW BEST:: SOT 11907724 SOS 7477276 HAS SOPS 6177640 HAS SOUS 1816250 HAS SOUPS 1727632 WITH SCORE 1735109.276
AT ITER 4120 NEW BEST:: SOT 11907812 SOS 7477763 HAS SOPS 6178390 HAS SOUS 1815492 HAS SOUPS 1726874 WITH SCORE 1734351.763
AT ITER 4159 NEW BEST:: SOT 11907751 SOS 7478319 HAS SOPS 6179043 HAS SOUS 1814961 HAS SOUPS 1726343 WITH SCORE 1733821.319
AT ITER 4178 NEW BEST:: SOT 11904097 SOS 7476241 HAS SOPS 6173345 HAS SOUS 1802043 HAS SOUPS 1713436 WITH SCORE 1720912.241
AT ITER 4200 NEW BEST:: SOT 11903898 SOS 7476615 HAS SOPS 6172503 HAS SOUS 1800377 HAS SOUPS 1711770 WITH SCORE 1719246.615
AT ITER 4235 NEW BEST:: SOT 11900424 SOS 7468376 HAS SOPS 6167558 HAS SOUS 1796619 HAS SOUPS 1708076 WITH SCORE 1715544.376
AT ITER 4244 NEW BEST:: SOT 11898133 SOS 7465356 HAS SOPS 6164538 HAS SOUS 1793629 HAS SOUPS 1705086 WITH SCORE 1712551.356
AT ITER 4267 NEW BEST:: SOT 11897226 SOS 7465943 HAS SOPS 6164343 HAS SOUS 1788714 HAS SOUPS 1700171 WITH SCORE 1707636.943
AT ITER 4275 NEW BEST:: SOT 11897157 SOS 7466125 HAS SOPS 6164930 HAS SOUS 1788022 HAS SOUPS 1699479 WITH SCORE 1706945.125
AT ITER 4311 NEW BEST:: SOT 11895956 SOS 7463278 HAS SOPS 6162653 HAS SOUS 1787187 HAS SOUPS 1698654 WITH SCORE 1706117.278
AT ITER 4343 NEW BEST:: SOT 11900324 SOS 7484346 HAS SOPS 6185868 HAS SOUS 1786809 HAS SOUPS 1698276 WITH SCORE 1705760.346
AT ITER 4353 NEW BEST:: SOT 11893720 SOS 7478185 HAS SOPS 6179759 HAS SOUS 1784798 HAS SOUPS 1696283 WITH SCORE 1703761.185
AT ITER 4372 NEW BEST:: SOT 11893748 SOS 7478233 HAS SOPS 6179815 HAS SOUS 1784682 HAS SOUPS 1696171 WITH SCORE 1703649.233
AT ITER 4386 NEW BEST:: SOT 11893739 SOS 7478174 HAS SOPS 6179718 HAS SOUS 1784662 HAS SOUPS 1696151 WITH SCORE 1703629.174
AT ITER 4387 NEW BEST:: SOT 11895182 SOS 7463954 HAS SOPS 6166238 HAS SOUS 1778165 HAS SOUPS 1689834 WITH SCORE 1697297.954
AT ITER 4393 NEW BEST:: SOT 11897856 SOS 7469730 HAS SOPS 6167357 HAS SOUS 1778361 HAS SOUPS 1689754 WITH SCORE 1697223.73
AT ITER 4405 NEW BEST:: SOT 11897665 SOS 7468083 HAS SOPS 6165937 HAS SOUS 1775113 HAS SOUPS 1686506 WITH SCORE 1693974.083
AT ITER 4412 NEW BEST:: SOT 11890371 SOS 7455004 HAS SOPS 6152255 HAS SOUS 1762794 HAS SOUPS 1674395 WITH SCORE 1681850.004
AT ITER 4440 NEW BEST:: SOT 11894071 SOS 7457873 HAS SOPS 6152712 HAS SOUS 1758521 HAS SOUPS 1670122 WITH SCORE 1677579.873
AT ITER 4441 NEW BEST:: SOT 11893602 SOS 7457683 HAS SOPS 6152473 HAS SOUS 1756348 HAS SOUPS 1667974 WITH SCORE 1675431.683
AT ITER 4446 NEW BEST:: SOT 11893779 SOS 7457830 HAS SOPS 6152620 HAS SOUS 1756117 HAS SOUPS 1667743 WITH SCORE 1675200.83
AT ITER 4455 NEW BEST:: SOT 11893518 SOS 7457579 HAS SOPS 6152017 HAS SOUS 1754432 HAS SOUPS 1666058 WITH SCORE 1673515.579
AT ITER 4475 NEW BEST:: SOT 11892022 SOS 7454302 HAS SOPS 6148765 HAS SOUS 1752546 HAS SOUPS 1664172 WITH SCORE 1671626.302
AT ITER 4483 NEW BEST:: SOT 11888267 SOS 7444482 HAS SOPS 6136586 HAS SOUS 1748609 HAS SOUPS 1660017 WITH SCORE 1667461.482
AT ITER 4485 NEW BEST:: SOT 11888175 SOS 7443911 HAS SOPS 6136273 HAS SOUS 1748224 HAS SOUPS 1659642 WITH SCORE 1667085.911
AT ITER 4491 NEW BEST:: SOT 11886378 SOS 7442114 HAS SOPS 6134252 HAS SOUS 1746751 HAS SOUPS 1658169 WITH SCORE 1665611.114
AT ITER 4496 NEW BEST:: SOT 11886348 SOS 7441564 HAS SOPS 6133606 HAS SOUS 1746551 HAS SOUPS 1657969 WITH SCORE 1665410.564
AT ITER 4502 NEW BEST:: SOT 11884808 SOS 7436798 HAS SOPS 6129579 HAS SOUS 1745131 HAS SOUPS 1656549 WITH SCORE 1663985.798
AT ITER 4503 NEW BEST:: SOT 11882263 SOS 7434253 HAS SOPS 6127034 HAS SOUS 1742710 HAS SOUPS 1654128 WITH SCORE 1661562.253
AT ITER 4507 NEW BEST:: SOT 11882397 SOS 7432805 HAS SOPS 6127291 HAS SOUS 1739875 HAS SOUPS 1651293 WITH SCORE 1658725.805
AT ITER 4558 NEW BEST:: SOT 11883209 SOS 7436593 HAS SOPS 6130345 HAS SOUS 1738848 HAS SOUPS 1650266 WITH SCORE 1657702.593
AT ITER 4580 NEW BEST:: SOT 11883319 SOS 7436453 HAS SOPS 6130167 HAS SOUS 1737095 HAS SOUPS 1648551 WITH SCORE 1655987.453
AT ITER 4595 NEW BEST:: SOT 11883488 SOS 7441623 HAS SOPS 6133025 HAS SOUS 1736225 HAS SOUPS 1647681 WITH SCORE 1655122.623
AT ITER 4624 NEW BEST:: SOT 11880980 SOS 7439012 HAS SOPS 6129354 HAS SOUS 1730698 HAS SOUPS 1642097 WITH SCORE 1649536.012
AT ITER 4634 NEW BEST:: SOT 11879673 SOS 7434136 HAS SOPS 6125865 HAS SOUS 1730125 HAS SOUPS 1641524 WITH SCORE 1648958.136
AT ITER 4637 NEW BEST:: SOT 11879445 SOS 7433755 HAS SOPS 6126905 HAS SOUS 1729404 HAS SOUPS 1640803 WITH SCORE 1648236.755
AT ITER 4661 NEW BEST:: SOT 11879383 SOS 7433689 HAS SOPS 6126839 HAS SOUS 1729374 HAS SOUPS 1640773 WITH SCORE 1648206.689
AT ITER 4701 NEW BEST:: SOT 11881010 SOS 7438506 HAS SOPS 6132670 HAS SOUS 1728031 HAS SOUPS 1639430 WITH SCORE 1646868.506
AT ITER 4707 NEW BEST:: SOT 11881296 SOS 7438136 HAS SOPS 6131710 HAS SOUS 1722751 HAS SOUPS 1634150 WITH SCORE 1641588.136
AT ITER 4759 NEW BEST:: SOT 11881290 SOS 7438874 HAS SOPS 6131919 HAS SOUS 1721977 HAS SOUPS 1633357 WITH SCORE 1640795.874
AT ITER 4765 NEW BEST:: SOT 11881153 SOS 7440675 HAS SOPS 6133453 HAS SOUS 1721875 HAS SOUPS 1633255 WITH SCORE 1640695.675
AT ITER 4783 NEW BEST:: SOT 11881310 SOS 7440832 HAS SOPS 6133274 HAS SOUS 1720058 HAS SOUPS 1631438 WITH SCORE 1638878.832
AT ITER 4786 NEW BEST:: SOT 11880113 SOS 7438428 HAS SOPS 6131420 HAS SOUS 1719083 HAS SOUPS 1630463 WITH SCORE 1637901.428
AT ITER 4841 NEW BEST:: SOT 11878323 SOS 7433592 HAS SOPS 6128522 HAS SOUS 1717231 HAS SOUPS 1628645 WITH SCORE 1636078.592
AT ITER 4884 NEW BEST:: SOT 11879030 SOS 7429854 HAS SOPS 6129497 HAS SOUS 1716174 HAS SOUPS 1627686 WITH SCORE 1635115.854
AT ITER 4897 NEW BEST:: SOT 11875506 SOS 7426883 HAS SOPS 6126939 HAS SOUS 1711582 HAS SOUPS 1623094 WITH SCORE 1630520.883
AT ITER 4904 NEW BEST:: SOT 11873417 SOS 7426960 HAS SOPS 6126753 HAS SOUS 1710148 HAS SOUPS 1621619 WITH SCORE 1629045.96
AT ITER 4911 NEW BEST:: SOT 11871207 SOS 7421673 HAS SOPS 6118021 HAS SOUS 1706757 HAS SOUPS 1618153 WITH SCORE 1625574.673
AT ITER 4934 NEW BEST:: SOT 11871533 SOS 7423320 HAS SOPS 6120587 HAS SOUS 1706617 HAS SOUPS 1618054 WITH SCORE 1625477.32
AT ITER 4956 NEW BEST:: SOT 11873138 SOS 7414294 HAS SOPS 6117399 HAS SOUS 1705994 HAS SOUPS 1617431 WITH SCORE 1624845.294
AT ITER 4961 NEW BEST:: SOT 11874607 SOS 7415765 HAS SOPS 6117844 HAS SOUS 1704599 HAS SOUPS 1616036 WITH SCORE 1623451.765
AT ITER 4989 NEW BEST:: SOT 11874502 SOS 7415660 HAS SOPS 6117675 HAS SOUS 1704302 HAS SOUPS 1615739 WITH SCORE 1623154.66
AT ITER 5004 NEW BEST:: SOT 11877041 SOS 7417196 HAS SOPS 6119318 HAS SOUS 1704105 HAS SOUPS 1615542 WITH SCORE 1622959.196
AT ITER 5036 NEW BEST:: SOT 11876238 SOS 7416599 HAS SOPS 6118682 HAS SOUS 1702999 HAS SOUPS 1614436 WITH SCORE 1621852.599
AT ITER 5052 NEW BEST:: SOT 11875976 SOS 7415097 HAS SOPS 6118570 HAS SOUS 1700353 HAS SOUPS 1611918 WITH SCORE 1619333.097
AT ITER 5054 NEW BEST:: SOT 11875788 SOS 7414878 HAS SOPS 6118303 HAS SOUS 1699582 HAS SOUPS 1611147 WITH SCORE 1618561.878
AT ITER 5055 NEW BEST:: SOT 11875627 SOS 7414439 HAS SOPS 6117439 HAS SOUS 1698984 HAS SOUPS 1610549 WITH SCORE 1617963.439
AT ITER 5074 NEW BEST:: SOT 11875548 SOS 7414124 HAS SOPS 6116949 HAS SOUS 1698698 HAS SOUPS 1610298 WITH SCORE 1617712.124
AT ITER 5082 NEW BEST:: SOT 11873319 SOS 7410368 HAS SOPS 6112999 HAS SOUS 1697206 HAS SOUPS 1608806 WITH SCORE 1616216.368
AT ITER 5090 NEW BEST:: SOT 11873207 SOS 7410440 HAS SOPS 6112783 HAS SOUS 1696822 HAS SOUPS 1608422 WITH SCORE 1615832.44
AT ITER 5096 NEW BEST:: SOT 11871567 SOS 7405967 HAS SOPS 6109735 HAS SOUS 1694269 HAS SOUPS 1605869 WITH SCORE 1613274.967
AT ITER 5111 NEW BEST:: SOT 11870679 SOS 7406371 HAS SOPS 6109109 HAS SOUS 1692424 HAS SOUPS 1604024 WITH SCORE 1611430.371
AT ITER 5112 NEW BEST:: SOT 11870408 SOS 7406133 HAS SOPS 6108848 HAS SOUS 1692006 HAS SOUPS 1603606 WITH SCORE 1611012.133
AT ITER 5130 NEW BEST:: SOT 11868721 SOS 7395745 HAS SOPS 6104007 HAS SOUS 1690472 HAS SOUPS 1602152 WITH SCORE 1609547.745
AT ITER 5132 NEW BEST:: SOT 11866685 SOS 7392744 HAS SOPS 6101077 HAS SOUS 1688218 HAS SOUPS 1599922 WITH SCORE 1607314.744
AT ITER 5157 NEW BEST:: SOT 11866986 SOS 7393292 HAS SOPS 6103267 HAS SOUS 1687795 HAS SOUPS 1599499 WITH SCORE 1606892.292
AT ITER 5162 NEW BEST:: SOT 11865696 SOS 7390456 HAS SOPS 6101157 HAS SOUS 1686215 HAS SOUPS 1597941 WITH SCORE 1605331.456
AT ITER 5171 NEW BEST:: SOT 11860354 SOS 7385114 HAS SOPS 6095815 HAS SOUS 1680629 HAS SOUPS 1592355 WITH SCORE 1599740.114
AT ITER 5183 NEW BEST:: SOT 11858078 SOS 7383607 HAS SOPS 6094669 HAS SOUS 1677340 HAS SOUPS 1589181 WITH SCORE 1596564.607
AT ITER 5187 NEW BEST:: SOT 11855942 SOS 7377731 HAS SOPS 6087736 HAS SOUS 1671848 HAS SOUPS 1583689 WITH SCORE 1591066.731
AT ITER 5195 NEW BEST:: SOT 11855664 SOS 7377284 HAS SOPS 6086796 HAS SOUS 1671792 HAS SOUPS 1583612 WITH SCORE 1590989.284
AT ITER 5202 NEW BEST:: SOT 11855430 SOS 7377112 HAS SOPS 6087769 HAS SOUS 1665915 HAS SOUPS 1577735 WITH SCORE 1585112.112
AT ITER 5203 NEW BEST:: SOT 11853430 SOS 7376299 HAS SOPS 6084919 HAS SOUS 1660037 HAS SOUPS 1571857 WITH SCORE 1579233.299
AT ITER 5242 NEW BEST:: SOT 11856584 SOS 7379530 HAS SOPS 6088907 HAS SOUS 1657924 HAS SOUPS 1569744 WITH SCORE 1577123.53
AT ITER 5254 NEW BEST:: SOT 11855859 SOS 7379365 HAS SOPS 6087131 HAS SOUS 1654965 HAS SOUPS 1566744 WITH SCORE 1574123.365
AT ITER 5259 NEW BEST:: SOT 11854543 SOS 7377394 HAS SOPS 6086234 HAS SOUS 1654634 HAS SOUPS 1566413 WITH SCORE 1573790.394
AT ITER 5260 NEW BEST:: SOT 11854589 SOS 7376740 HAS SOPS 6086517 HAS SOUS 1654533 HAS SOUPS 1566332 WITH SCORE 1573708.74
AT ITER 5294 NEW BEST:: SOT 11854516 SOS 7376666 HAS SOPS 6086443 HAS SOUS 1654440 HAS SOUPS 1566255 WITH SCORE 1573631.666
AT ITER 5319 NEW BEST:: SOT 11854548 SOS 7378491 HAS SOPS 6088763 HAS SOUS 1653560 HAS SOUPS 1565353 WITH SCORE 1572731.491
AT ITER 5326 NEW BEST:: SOT 11854037 SOS 7378374 HAS SOPS 6088517 HAS SOUS 1651652 HAS SOUPS 1563445 WITH SCORE 1570823.374
AT ITER 5343 NEW BEST:: SOT 11858947 SOS 7377406 HAS SOPS 6086608 HAS SOUS 1648022 HAS SOUPS 1559815 WITH SCORE 1567192.406
AT ITER 5359 NEW BEST:: SOT 11860119 SOS 7378953 HAS SOPS 6088267 HAS SOUS 1647740 HAS SOUPS 1559533 WITH SCORE 1566911.953
AT ITER 5362 NEW BEST:: SOT 11860306 SOS 7379023 HAS SOPS 6087968 HAS SOUS 1647209 HAS SOUPS 1558983 WITH SCORE 1566362.023
AT ITER 5363 NEW BEST:: SOT 11860100 SOS 7376568 HAS SOPS 6086129 HAS SOUS 1646559 HAS SOUPS 1558583 WITH SCORE 1565959.568
AT ITER 5364 NEW BEST:: SOT 11858778 SOS 7375013 HAS SOPS 6084149 HAS SOUS 1644532 HAS SOUPS 1556556 WITH SCORE 1563931.013
AT ITER 5368 NEW BEST:: SOT 11858702 SOS 7374702 HAS SOPS 6083889 HAS SOUS 1644123 HAS SOUPS 1556175 WITH SCORE 1563549.702
AT ITER 5373 NEW BEST:: SOT 11858501 SOS 7373747 HAS SOPS 6082698 HAS SOUS 1643210 HAS SOUPS 1555276 WITH SCORE 1562649.747
AT ITER 5385 NEW BEST:: SOT 11857147 SOS 7370396 HAS SOPS 6078754 HAS SOUS 1643126 HAS SOUPS 1555169 WITH SCORE 1562539.396
AT ITER 5396 NEW BEST:: SOT 11859466 SOS 7379644 HAS SOPS 6087626 HAS SOUS 1642846 HAS SOUPS 1554889 WITH SCORE 1562268.644
AT ITER 5407 NEW BEST:: SOT 11853587 SOS 7372775 HAS SOPS 6079562 HAS SOUS 1633262 HAS SOUPS 1545380 WITH SCORE 1552752.775
AT ITER 5419 NEW BEST:: SOT 11853989 SOS 7375238 HAS SOPS 6081642 HAS SOUS 1631955 HAS SOUPS 1544095 WITH SCORE 1551470.238
AT ITER 5473 NEW BEST:: SOT 11848885 SOS 7368541 HAS SOPS 6073493 HAS SOUS 1623120 HAS SOUPS 1535260 WITH SCORE 1542628.541
AT ITER 5498 NEW BEST:: SOT 11852922 SOS 7370914 HAS SOPS 6075498 HAS SOUS 1621493 HAS SOUPS 1533633 WITH SCORE 1541003.914
AT ITER 5508 NEW BEST:: SOT 11852997 SOS 7368389 HAS SOPS 6073079 HAS SOUS 1620810 HAS SOUPS 1532950 WITH SCORE 1540318.389
AT ITER 5514 NEW BEST:: SOT 11850768 SOS 7365748 HAS SOPS 6070233 HAS SOUS 1615599 HAS SOUPS 1527774 WITH SCORE 1535139.748
AT ITER 5550 NEW BEST:: SOT 11854939 SOS 7374252 HAS SOPS 6084311 HAS SOUS 1613940 HAS SOUPS 1526218 WITH SCORE 1533592.252
AT ITER 5595 NEW BEST:: SOT 11859143 SOS 7383190 HAS SOPS 6091423 HAS SOUS 1610588 HAS SOUPS 1522879 WITH SCORE 1530262.19
AT ITER 5602 NEW BEST:: SOT 11851528 SOS 7375350 HAS SOPS 6083493 HAS SOUS 1600500 HAS SOUPS 1512740 WITH SCORE 1520115.35
AT ITER 5642 NEW BEST:: SOT 11852468 SOS 7375774 HAS SOPS 6083445 HAS SOUS 1599926 HAS SOUPS 1512204 WITH SCORE 1519579.774
AT ITER 5646 NEW BEST:: SOT 11851885 SOS 7375953 HAS SOPS 6082311 HAS SOUS 1600043 HAS SOUPS 1511681 WITH SCORE 1519056.953
AT ITER 5649 NEW BEST:: SOT 11850454 SOS 7369270 HAS SOPS 6076356 HAS SOUS 1598439 HAS SOUPS 1510077 WITH SCORE 1517446.27
AT ITER 5654 NEW BEST:: SOT 11850964 SOS 7373809 HAS SOPS 6076767 HAS SOUS 1597292 HAS SOUPS 1508725 WITH SCORE 1516098.809
AT ITER 5659 NEW BEST:: SOT 11851764 SOS 7374609 HAS SOPS 6077183 HAS SOUS 1596444 HAS SOUPS 1507877 WITH SCORE 1515251.609
AT ITER 5660 NEW BEST:: SOT 11847906 SOS 7370751 HAS SOPS 6072845 HAS SOUS 1590546 HAS SOUPS 1501979 WITH SCORE 1509349.751
AT ITER 5704 NEW BEST:: SOT 11847282 SOS 7368592 HAS SOPS 6070599 HAS SOUS 1589956 HAS SOUPS 1501389 WITH SCORE 1508757.592
AT ITER 5716 NEW BEST:: SOT 11847610 SOS 7367293 HAS SOPS 6070287 HAS SOUS 1589818 HAS SOUPS 1501286 WITH SCORE 1508653.293
AT ITER 5727 NEW BEST:: SOT 11844901 SOS 7362598 HAS SOPS 6065523 HAS SOUS 1588140 HAS SOUPS 1499588 WITH SCORE 1506950.598
AT ITER 5729 NEW BEST:: SOT 11845046 SOS 7362743 HAS SOPS 6065508 HAS SOUS 1588205 HAS SOUPS 1499493 WITH SCORE 1506855.743
AT ITER 5748 NEW BEST:: SOT 11844823 SOS 7361233 HAS SOPS 6064600 HAS SOUS 1586988 HAS SOUPS 1498276 WITH SCORE 1505637.233
AT ITER 5775 NEW BEST:: SOT 11844738 SOS 7361304 HAS SOPS 6064346 HAS SOUS 1586968 HAS SOUPS 1498256 WITH SCORE 1505617.304
AT ITER 5786 NEW BEST:: SOT 11839458 SOS 7362243 HAS SOPS 6064037 HAS SOUS 1582178 HAS SOUPS 1493388 WITH SCORE 1500750.243
AT ITER 5801 NEW BEST:: SOT 11837314 SOS 7361918 HAS SOPS 6060643 HAS SOUS 1578967 HAS SOUPS 1490177 WITH SCORE 1497538.918
AT ITER 5819 NEW BEST:: SOT 11836927 SOS 7361511 HAS SOPS 6060201 HAS SOUS 1578552 HAS SOUPS 1489773 WITH SCORE 1497134.511
AT ITER 5826 NEW BEST:: SOT 11837095 SOS 7361648 HAS SOPS 6060369 HAS SOUS 1578510 HAS SOUPS 1489745 WITH SCORE 1497106.648
AT ITER 5847 NEW BEST:: SOT 11836281 SOS 7359606 HAS SOPS 6059079 HAS SOUS 1577910 HAS SOUPS 1489155 WITH SCORE 1496514.606
AT ITER 5870 NEW BEST:: SOT 11836317 SOS 7359642 HAS SOPS 6059115 HAS SOUS 1577862 HAS SOUPS 1489107 WITH SCORE 1496466.642
AT ITER 5876 NEW BEST:: SOT 11836325 SOS 7359104 HAS SOPS 6058265 HAS SOUS 1577831 HAS SOUPS 1489076 WITH SCORE 1496435.104
AT ITER 5888 NEW BEST:: SOT 11836103 SOS 7358619 HAS SOPS 6057844 HAS SOUS 1577464 HAS SOUPS 1488712 WITH SCORE 1496070.619
AT ITER 5917 NEW BEST:: SOT 11834303 SOS 7356806 HAS SOPS 6055564 HAS SOUS 1575582 HAS SOUPS 1486419 WITH SCORE 1493775.806
AT ITER 5935 NEW BEST:: SOT 11834164 SOS 7356400 HAS SOPS 6055136 HAS SOUS 1575413 HAS SOUPS 1486253 WITH SCORE 1493609.4
AT ITER 5956 NEW BEST:: SOT 11833938 SOS 7356158 HAS SOPS 6054942 HAS SOUS 1575167 HAS SOUPS 1486031 WITH SCORE 1493387.158
AT ITER 5958 NEW BEST:: SOT 11832876 SOS 7354369 HAS SOPS 6053274 HAS SOUS 1574616 HAS SOUPS 1485480 WITH SCORE 1492834.369
AT ITER 5972 NEW BEST:: SOT 11832800 SOS 7354133 HAS SOPS 6053090 HAS SOUS 1574078 HAS SOUPS 1484942 WITH SCORE 1492296.133
AT ITER 5984 NEW BEST:: SOT 11832816 SOS 7353358 HAS SOPS 6052166 HAS SOUS 1573620 HAS SOUPS 1484484 WITH SCORE 1491837.358
AT ITER 5986 NEW BEST:: SOT 11831383 SOS 7351480 HAS SOPS 6048605 HAS SOUS 1567678 HAS SOUPS 1478580 WITH SCORE 1485931.48
AT ITER 6015 NEW BEST:: SOT 11831409 SOS 7350818 HAS SOPS 6047721 HAS SOUS 1567213 HAS SOUPS 1478115 WITH SCORE 1485465.818
AT ITER 6042 NEW BEST:: SOT 11831218 SOS 7350545 HAS SOPS 6047181 HAS SOUS 1566815 HAS SOUPS 1477709 WITH SCORE 1485059.545
AT ITER 6078 NEW BEST:: SOT 11832993 SOS 7351259 HAS SOPS 6048304 HAS SOUS 1564498 HAS SOUPS 1475433 WITH SCORE 1482784.259
AT ITER 6093 NEW BEST:: SOT 11833010 SOS 7350955 HAS SOPS 6048458 HAS SOUS 1564495 HAS SOUPS 1475430 WITH SCORE 1482780.955
AT ITER 6117 NEW BEST:: SOT 11834035 SOS 7351499 HAS SOPS 6049506 HAS SOUS 1564022 HAS SOUPS 1474918 WITH SCORE 1482269.499
AT ITER 6119 NEW BEST:: SOT 11834146 SOS 7352098 HAS SOPS 6049997 HAS SOUS 1563961 HAS SOUPS 1474857 WITH SCORE 1482209.098
AT ITER 6123 NEW BEST:: SOT 11834443 SOS 7352792 HAS SOPS 6049678 HAS SOUS 1563272 HAS SOUPS 1474168 WITH SCORE 1481520.792
AT ITER 6125 NEW BEST:: SOT 11834187 SOS 7352536 HAS SOPS 6049150 HAS SOUS 1562424 HAS SOUPS 1473320 WITH SCORE 1480672.536
AT ITER 6142 NEW BEST:: SOT 11832476 SOS 7348406 HAS SOPS 6047141 HAS SOUS 1562174 HAS SOUPS 1473070 WITH SCORE 1480418.406
AT ITER 6150 NEW BEST:: SOT 11839022 SOS 7351317 HAS SOPS 6051262 HAS SOUS 1560938 HAS SOUPS 1471944 WITH SCORE 1479295.317
AT ITER 6165 NEW BEST:: SOT 11837426 SOS 7348234 HAS SOPS 6046763 HAS SOUS 1557727 HAS SOUPS 1468590 WITH SCORE 1475938.234
AT ITER 6170 NEW BEST:: SOT 11837410 SOS 7348220 HAS SOPS 6046493 HAS SOUS 1556671 HAS SOUPS 1467534 WITH SCORE 1474882.22
AT ITER 6199 NEW BEST:: SOT 11835940 SOS 7344702 HAS SOPS 6043695 HAS SOUS 1556233 HAS SOUPS 1467096 WITH SCORE 1474440.702
AT ITER 6215 NEW BEST:: SOT 11836158 SOS 7344364 HAS SOPS 6043293 HAS SOUS 1556129 HAS SOUPS 1466928 WITH SCORE 1474272.364
AT ITER 6234 NEW BEST:: SOT 11835035 SOS 7343241 HAS SOPS 6042586 HAS SOUS 1555214 HAS SOUPS 1466221 WITH SCORE 1473564.241
AT ITER 6288 NEW BEST:: SOT 11835035 SOS 7343153 HAS SOPS 6042498 HAS SOUS 1555182 HAS SOUPS 1466189 WITH SCORE 1473532.153
AT ITER 6308 NEW BEST:: SOT 11833741 SOS 7340676 HAS SOPS 6039332 HAS SOUS 1554438 HAS SOUPS 1465445 WITH SCORE 1472785.676
AT ITER 6326 NEW BEST:: SOT 11835096 SOS 7341499 HAS SOPS 6040065 HAS SOUS 1552585 HAS SOUPS 1463592 WITH SCORE 1470933.499
AT ITER 6355 NEW BEST:: SOT 11834081 SOS 7340680 HAS SOPS 6039183 HAS SOUS 1551272 HAS SOUPS 1462258 WITH SCORE 1469598.68
AT ITER 6373 NEW BEST:: SOT 11830998 SOS 7337597 HAS SOPS 6035844 HAS SOUS 1547805 HAS SOUPS 1458663 WITH SCORE 1466000.597
AT ITER 6436 NEW BEST:: SOT 11834342 SOS 7330145 HAS SOPS 6030683 HAS SOUS 1547593 HAS SOUPS 1458566 WITH SCORE 1465896.145
AT ITER 6477 NEW BEST:: SOT 11839663 SOS 7327652 HAS SOPS 6031759 HAS SOUS 1544624 HAS SOUPS 1455597 WITH SCORE 1462924.652
AT ITER 6493 NEW BEST:: SOT 11839237 SOS 7327226 HAS SOPS 6031285 HAS SOUS 1543830 HAS SOUPS 1454803 WITH SCORE 1462130.226
AT ITER 6514 NEW BEST:: SOT 11834322 SOS 7322311 HAS SOPS 6027138 HAS SOUS 1531495 HAS SOUPS 1442708 WITH SCORE 1450030.311
AT ITER 6524 NEW BEST:: SOT 11833499 SOS 7321013 HAS SOPS 6026151 HAS SOUS 1529323 HAS SOUPS 1440566 WITH SCORE 1447887.013
AT ITER 6536 NEW BEST:: SOT 11833710 SOS 7322360 HAS SOPS 6027497 HAS SOUS 1528695 HAS SOUPS 1439938 WITH SCORE 1447260.36
AT ITER 6537 NEW BEST:: SOT 11831851 SOS 7320395 HAS SOPS 6024741 HAS SOUS 1523896 HAS SOUPS 1435205 WITH SCORE 1442525.395
AT ITER 6549 NEW BEST:: SOT 11830796 SOS 7319340 HAS SOPS 6023686 HAS SOUS 1523769 HAS SOUPS 1435078 WITH SCORE 1442397.34
AT ITER 6550 NEW BEST:: SOT 11830787 SOS 7319308 HAS SOPS 6023677 HAS SOUS 1523411 HAS SOUPS 1434720 WITH SCORE 1442039.308
AT ITER 6565 NEW BEST:: SOT 11826217 SOS 7313527 HAS SOPS 6017563 HAS SOUS 1520017 HAS SOUPS 1431326 WITH SCORE 1438639.527
AT ITER 6589 NEW BEST:: SOT 11825972 SOS 7312521 HAS SOPS 6016670 HAS SOUS 1518809 HAS SOUPS 1430118 WITH SCORE 1437430.521
AT ITER 6627 NEW BEST:: SOT 11824844 SOS 7312103 HAS SOPS 6015748 HAS SOUS 1517312 HAS SOUPS 1428621 WITH SCORE 1435933.103
AT ITER 6632 NEW BEST:: SOT 11829142 SOS 7319950 HAS SOPS 6021313 HAS SOUS 1516882 HAS SOUPS 1428191 WITH SCORE 1435510.95
AT ITER 6660 NEW BEST:: SOT 11828883 SOS 7318273 HAS SOPS 6020688 HAS SOUS 1515571 HAS SOUPS 1427116 WITH SCORE 1434434.273
AT ITER 6664 NEW BEST:: SOT 11827305 SOS 7317301 HAS SOPS 6018882 HAS SOUS 1511474 HAS SOUPS 1422980 WITH SCORE 1430297.301
AT ITER 6667 NEW BEST:: SOT 11827308 SOS 7317324 HAS SOPS 6018857 HAS SOUS 1511394 HAS SOUPS 1422900 WITH SCORE 1430217.324
AT ITER 6683 NEW BEST:: SOT 11827781 SOS 7320734 HAS SOPS 6024535 HAS SOUS 1507809 HAS SOUPS 1419315 WITH SCORE 1426635.734
AT ITER 6715 NEW BEST:: SOT 11823219 SOS 7322174 HAS SOPS 6024499 HAS SOUS 1505984 HAS SOUPS 1417367 WITH SCORE 1424689.174
AT ITER 6717 NEW BEST:: SOT 11815892 SOS 7309605 HAS SOPS 6009252 HAS SOUS 1488503 HAS SOUPS 1400213 WITH SCORE 1407522.605
AT ITER 6718 NEW BEST:: SOT 11816006 SOS 7310104 HAS SOPS 6009686 HAS SOUS 1488238 HAS SOUPS 1399948 WITH SCORE 1407258.104
AT ITER 6723 NEW BEST:: SOT 11815101 SOS 7308392 HAS SOPS 6007891 HAS SOUS 1486178 HAS SOUPS 1397888 WITH SCORE 1405196.392
AT ITER 6739 NEW BEST:: SOT 11814993 SOS 7308284 HAS SOPS 6007775 HAS SOUS 1485974 HAS SOUPS 1397684 WITH SCORE 1404992.284
AT ITER 6740 NEW BEST:: SOT 11814532 SOS 7307820 HAS SOPS 6006820 HAS SOUS 1484976 HAS SOUPS 1396686 WITH SCORE 1403993.82
AT ITER 6797 NEW BEST:: SOT 11815019 SOS 7311168 HAS SOPS 6012817 HAS SOUS 1484455 HAS SOUPS 1396238 WITH SCORE 1403549.168
AT ITER 6828 NEW BEST:: SOT 11815205 SOS 7312829 HAS SOPS 6016223 HAS SOUS 1480951 HAS SOUPS 1392816 WITH SCORE 1400128.829
AT ITER 6862 NEW BEST:: SOT 11814772 SOS 7311306 HAS SOPS 6014716 HAS SOUS 1480348 HAS SOUPS 1392213 WITH SCORE 1399524.306
AT ITER 6867 NEW BEST:: SOT 11814158 SOS 7310694 HAS SOPS 6013886 HAS SOUS 1480686 HAS SOUPS 1392103 WITH SCORE 1399413.694
AT ITER 6903 NEW BEST:: SOT 11812530 SOS 7307883 HAS SOPS 6010826 HAS SOUS 1478412 HAS SOUPS 1389796 WITH SCORE 1397103.883
AT ITER 6909 NEW BEST:: SOT 11813802 SOS 7309155 HAS SOPS 6011634 HAS SOUS 1477580 HAS SOUPS 1388964 WITH SCORE 1396273.155
AT ITER 6914 NEW BEST:: SOT 11813739 SOS 7309091 HAS SOPS 6011570 HAS SOUS 1476970 HAS SOUPS 1388354 WITH SCORE 1395663.091
AT ITER 6947 NEW BEST:: SOT 11812685 SOS 7307946 HAS SOPS 6010004 HAS SOUS 1474184 HAS SOUPS 1385568 WITH SCORE 1392875.946
AT ITER 6960 NEW BEST:: SOT 11812361 SOS 7307620 HAS SOPS 6009646 HAS SOUS 1473790 HAS SOUPS 1385174 WITH SCORE 1392481.62
AT ITER 6965 NEW BEST:: SOT 11812361 SOS 7306378 HAS SOPS 6007700 HAS SOUS 1473808 HAS SOUPS 1385170 WITH SCORE 1392476.378
AT ITER 6967 NEW BEST:: SOT 11811087 SOS 7303873 HAS SOPS 6004972 HAS SOUS 1469852 HAS SOUPS 1381116 WITH SCORE 1388419.873
AT ITER 7010 NEW BEST:: SOT 11810305 SOS 7301998 HAS SOPS 6003498 HAS SOUS 1469079 HAS SOUPS 1380343 WITH SCORE 1387644.998
AT ITER 7036 NEW BEST:: SOT 11810122 SOS 7301530 HAS SOPS 6003083 HAS SOUS 1469050 HAS SOUPS 1380314 WITH SCORE 1387615.53
AT ITER 7047 NEW BEST:: SOT 11810485 SOS 7304987 HAS SOPS 6005433 HAS SOUS 1467526 HAS SOUPS 1378717 WITH SCORE 1386021.987
AT ITER 7058 NEW BEST:: SOT 11809363 SOS 7304621 HAS SOPS 6005307 HAS SOUS 1466932 HAS SOUPS 1378123 WITH SCORE 1385427.621
AT ITER 7079 NEW BEST:: SOT 11809170 SOS 7299993 HAS SOPS 6001665 HAS SOUS 1465947 HAS SOUPS 1377138 WITH SCORE 1384437.993
AT ITER 7081 NEW BEST:: SOT 11808055 SOS 7298878 HAS SOPS 6000182 HAS SOUS 1466000 HAS SOUPS 1377079 WITH SCORE 1384377.878
AT ITER 7087 NEW BEST:: SOT 11807783 SOS 7298606 HAS SOPS 5999830 HAS SOUS 1465280 HAS SOUPS 1376359 WITH SCORE 1383657.606
AT ITER 7102 NEW BEST:: SOT 11806268 SOS 7293191 HAS SOPS 5996899 HAS SOUS 1464317 HAS SOUPS 1375532 WITH SCORE 1382825.191
AT ITER 7110 NEW BEST:: SOT 11805694 SOS 7295462 HAS SOPS 5996034 HAS SOUS 1462690 HAS SOUPS 1373905 WITH SCORE 1381200.462
AT ITER 7118 NEW BEST:: SOT 11805395 SOS 7295163 HAS SOPS 5995735 HAS SOUS 1462263 HAS SOUPS 1373478 WITH SCORE 1380773.163
AT ITER 7119 NEW BEST:: SOT 11807905 SOS 7297519 HAS SOPS 5996530 HAS SOUS 1457911 HAS SOUPS 1369008 WITH SCORE 1376305.519
AT ITER 7120 NEW BEST:: SOT 11807906 SOS 7297461 HAS SOPS 5996691 HAS SOUS 1457899 HAS SOUPS 1368996 WITH SCORE 1376293.461
AT ITER 7122 NEW BEST:: SOT 11807986 SOS 7296661 HAS SOPS 5996287 HAS SOUS 1456603 HAS SOUPS 1367732 WITH SCORE 1375028.661
AT ITER 7154 NEW BEST:: SOT 11808172 SOS 7294789 HAS SOPS 5995185 HAS SOUS 1454792 HAS SOUPS 1365973 WITH SCORE 1373267.789
AT ITER 7155 NEW BEST:: SOT 11807422 SOS 7293651 HAS SOPS 5993800 HAS SOUS 1453520 HAS SOUPS 1364701 WITH SCORE 1371994.651
AT ITER 7187 NEW BEST:: SOT 11808269 SOS 7293770 HAS SOPS 5994115 HAS SOUS 1452883 HAS SOUPS 1364092 WITH SCORE 1371385.77
AT ITER 7220 NEW BEST:: SOT 11807433 SOS 7292041 HAS SOPS 5992369 HAS SOUS 1452035 HAS SOUPS 1363244 WITH SCORE 1370536.041
AT ITER 7236 NEW BEST:: SOT 11808472 SOS 7295560 HAS SOPS 5995603 HAS SOUS 1451903 HAS SOUPS 1363131 WITH SCORE 1370426.56
AT ITER 7240 NEW BEST:: SOT 11808391 SOS 7295397 HAS SOPS 5995455 HAS SOUS 1451869 HAS SOUPS 1363097 WITH SCORE 1370392.397
AT ITER 7268 NEW BEST:: SOT 11809472 SOS 7296035 HAS SOPS 5995831 HAS SOUS 1451638 HAS SOUPS 1362888 WITH SCORE 1370184.035
AT ITER 7283 NEW BEST:: SOT 11808803 SOS 7294218 HAS SOPS 5994178 HAS SOUS 1450628 HAS SOUPS 1361898 WITH SCORE 1369192.218
AT ITER 7290 NEW BEST:: SOT 11808221 SOS 7294583 HAS SOPS 5993151 HAS SOUS 1447095 HAS SOUPS 1358365 WITH SCORE 1365659.583
AT ITER 7298 NEW BEST:: SOT 11808092 SOS 7294462 HAS SOPS 5993000 HAS SOUS 1446412 HAS SOUPS 1357688 WITH SCORE 1364982.462
AT ITER 7309 NEW BEST:: SOT 11800633 SOS 7285817 HAS SOPS 5986729 HAS SOUS 1438428 HAS SOUPS 1349704 WITH SCORE 1356989.817
AT ITER 7327 NEW BEST:: SOT 11800704 SOS 7285579 HAS SOPS 5985533 HAS SOUS 1438246 HAS SOUPS 1349522 WITH SCORE 1356807.579
AT ITER 7365 NEW BEST:: SOT 11802430 SOS 7287657 HAS SOPS 5986779 HAS SOUS 1438437 HAS SOUPS 1349185 WITH SCORE 1356472.657
AT ITER 7378 NEW BEST:: SOT 11806639 SOS 7297439 HAS SOPS 5992079 HAS SOUS 1438505 HAS SOUPS 1349160 WITH SCORE 1356457.439
AT ITER 7408 NEW BEST:: SOT 11806456 SOS 7296101 HAS SOPS 5990425 HAS SOUS 1438077 HAS SOUPS 1348732 WITH SCORE 1356028.101
AT ITER 7413 NEW BEST:: SOT 11803150 SOS 7292793 HAS SOPS 5986749 HAS SOUS 1433055 HAS SOUPS 1343710 WITH SCORE 1351002.793
AT ITER 7487 NEW BEST:: SOT 11803263 SOS 7293566 HAS SOPS 5987436 HAS SOUS 1432802 HAS SOUPS 1343469 WITH SCORE 1350762.566
AT ITER 7492 NEW BEST:: SOT 11802645 SOS 7292725 HAS SOPS 5986122 HAS SOUS 1432181 HAS SOUPS 1342837 WITH SCORE 1350129.725
AT ITER 7502 NEW BEST:: SOT 11800476 SOS 7290766 HAS SOPS 5982410 HAS SOUS 1428826 HAS SOUPS 1339482 WITH SCORE 1346772.766
AT ITER 7509 NEW BEST:: SOT 11799939 SOS 7289878 HAS SOPS 5981609 HAS SOUS 1428052 HAS SOUPS 1338740 WITH SCORE 1346029.878
AT ITER 7516 NEW BEST:: SOT 11797614 SOS 7287584 HAS SOPS 5978231 HAS SOUS 1426000 HAS SOUPS 1336688 WITH SCORE 1343975.584
AT ITER 7570 NEW BEST:: SOT 11796486 SOS 7285810 HAS SOPS 5976536 HAS SOUS 1424690 HAS SOUPS 1335387 WITH SCORE 1342672.81
AT ITER 7571 NEW BEST:: SOT 11796397 SOS 7285715 HAS SOPS 5976669 HAS SOUS 1424423 HAS SOUPS 1335120 WITH SCORE 1342405.715
AT ITER 7582 NEW BEST:: SOT 11795944 SOS 7287256 HAS SOPS 5977230 HAS SOUS 1422445 HAS SOUPS 1333053 WITH SCORE 1340340.256
AT ITER 7586 NEW BEST:: SOT 11795944 SOS 7286308 HAS SOPS 5976058 HAS SOUS 1421997 HAS SOUPS 1332605 WITH SCORE 1339891.308
AT ITER 7589 NEW BEST:: SOT 11795445 SOS 7285643 HAS SOPS 5975102 HAS SOUS 1420888 HAS SOUPS 1331488 WITH SCORE 1338773.643
AT ITER 7612 NEW BEST:: SOT 11791167 SOS 7275909 HAS SOPS 5969425 HAS SOUS 1420191 HAS SOUPS 1330908 WITH SCORE 1338183.909
AT ITER 7639 NEW BEST:: SOT 11791017 SOS 7275909 HAS SOPS 5969265 HAS SOUS 1419886 HAS SOUPS 1330593 WITH SCORE 1337868.909
AT ITER 7659 NEW BEST:: SOT 11792161 SOS 7279154 HAS SOPS 5972864 HAS SOUS 1418829 HAS SOUPS 1329536 WITH SCORE 1336815.154
AT ITER 7662 NEW BEST:: SOT 11790571 SOS 7278243 HAS SOPS 5970845 HAS SOUS 1415966 HAS SOUPS 1326673 WITH SCORE 1333951.243
AT ITER 7671 NEW BEST:: SOT 11788108 SOS 7274678 HAS SOPS 5967750 HAS SOUS 1411756 HAS SOUPS 1322463 WITH SCORE 1329737.678
AT ITER 7684 NEW BEST:: SOT 11792080 SOS 7278029 HAS SOPS 5969768 HAS SOUS 1408294 HAS SOUPS 1319098 WITH SCORE 1326376.029
AT ITER 7727 NEW BEST:: SOT 11787172 SOS 7267632 HAS SOPS 5961590 HAS SOUS 1403285 HAS SOUPS 1314134 WITH SCORE 1321401.632
AT ITER 7731 NEW BEST:: SOT 11786715 SOS 7267506 HAS SOPS 5961277 HAS SOUS 1402047 HAS SOUPS 1312878 WITH SCORE 1320145.506
AT ITER 7743 NEW BEST:: SOT 11788325 SOS 7269172 HAS SOPS 5962175 HAS SOUS 1401446 HAS SOUPS 1312037 WITH SCORE 1319306.172
AT ITER 7749 NEW BEST:: SOT 11787168 SOS 7268002 HAS SOPS 5960668 HAS SOUS 1399532 HAS SOUPS 1310123 WITH SCORE 1317391.002
AT ITER 7762 NEW BEST:: SOT 11787150 SOS 7267674 HAS SOPS 5960751 HAS SOUS 1399138 HAS SOUPS 1309745 WITH SCORE 1317012.674
AT ITER 7794 NEW BEST:: SOT 11783134 SOS 7257922 HAS SOPS 5952287 HAS SOUS 1387863 HAS SOUPS 1298565 WITH SCORE 1305822.922
AT ITER 7815 NEW BEST:: SOT 11781990 SOS 7256765 HAS SOPS 5951338 HAS SOUS 1386095 HAS SOUPS 1297213 WITH SCORE 1304469.765
AT ITER 7825 NEW BEST:: SOT 11782190 SOS 7257350 HAS SOPS 5952116 HAS SOUS 1386053 HAS SOUPS 1297171 WITH SCORE 1304428.35
AT ITER 7845 NEW BEST:: SOT 11779816 SOS 7254976 HAS SOPS 5949486 HAS SOUS 1382463 HAS SOUPS 1293581 WITH SCORE 1300835.976
AT ITER 7847 NEW BEST:: SOT 11777547 SOS 7252692 HAS SOPS 5947186 HAS SOUS 1379842 HAS SOUPS 1290960 WITH SCORE 1298212.692
AT ITER 7862 NEW BEST:: SOT 11776329 SOS 7251717 HAS SOPS 5946109 HAS SOUS 1378731 HAS SOUPS 1289896 WITH SCORE 1297147.717
AT ITER 7885 NEW BEST:: SOT 11776282 SOS 7251670 HAS SOPS 5946046 HAS SOUS 1378668 HAS SOUPS 1289833 WITH SCORE 1297084.67
AT ITER 7904 NEW BEST:: SOT 11776490 SOS 7251878 HAS SOPS 5946174 HAS SOUS 1378648 HAS SOUPS 1289797 WITH SCORE 1297048.878
AT ITER 7928 NEW BEST:: SOT 11775435 SOS 7254164 HAS SOPS 5948386 HAS SOUS 1376238 HAS SOUPS 1287387 WITH SCORE 1294641.164
AT ITER 7943 NEW BEST:: SOT 11773676 SOS 7252397 HAS SOPS 5946379 HAS SOUS 1374803 HAS SOUPS 1285952 WITH SCORE 1293204.397
AT ITER 7958 NEW BEST:: SOT 11772657 SOS 7252238 HAS SOPS 5946076 HAS SOUS 1374831 HAS SOUPS 1285931 WITH SCORE 1293183.238
AT ITER 7959 NEW BEST:: SOT 11772530 SOS 7251232 HAS SOPS 5944803 HAS SOUS 1374503 HAS SOUPS 1285603 WITH SCORE 1292854.232
AT ITER 8004 NEW BEST:: SOT 11772220 SOS 7251002 HAS SOPS 5944603 HAS SOUS 1374108 HAS SOUPS 1285208 WITH SCORE 1292459.002
AT ITER 8007 NEW BEST:: SOT 11771446 SOS 7250228 HAS SOPS 5943829 HAS SOUS 1373166 HAS SOUPS 1284266 WITH SCORE 1291516.228
AT ITER 8012 NEW BEST:: SOT 11772439 SOS 7251453 HAS SOPS 5944826 HAS SOUS 1373163 HAS SOUPS 1284263 WITH SCORE 1291514.453
AT ITER 8031 NEW BEST:: SOT 11772419 SOS 7251433 HAS SOPS 5944806 HAS SOUS 1372963 HAS SOUPS 1284063 WITH SCORE 1291314.433
AT ITER 8033 NEW BEST:: SOT 11772412 SOS 7251426 HAS SOPS 5944415 HAS SOUS 1372792 HAS SOUPS 1283892 WITH SCORE 1291143.426
AT ITER 8113 NEW BEST:: SOT 11772224 SOS 7251052 HAS SOPS 5943582 HAS SOUS 1372586 HAS SOUPS 1283686 WITH SCORE 1290937.052
AT ITER 8183 NEW BEST:: SOT 11769924 SOS 7247505 HAS SOPS 5940394 HAS SOUS 1369734 HAS SOUPS 1280875 WITH SCORE 1288122.505
AT ITER 8208 NEW BEST:: SOT 11770577 SOS 7248191 HAS SOPS 5940648 HAS SOUS 1369051 HAS SOUPS 1280192 WITH SCORE 1287440.191
AT ITER 8216 NEW BEST:: SOT 11770499 SOS 7248113 HAS SOPS 5940394 HAS SOUS 1368745 HAS SOUPS 1279886 WITH SCORE 1287134.113
AT ITER 8225 NEW BEST:: SOT 11770790 SOS 7248340 HAS SOPS 5940291 HAS SOUS 1367264 HAS SOUPS 1278432 WITH SCORE 1285680.34
AT ITER 8231 NEW BEST:: SOT 11770374 SOS 7247924 HAS SOPS 5939875 HAS SOUS 1366848 HAS SOUPS 1278016 WITH SCORE 1285263.924
AT ITER 8233 NEW BEST:: SOT 11770392 SOS 7249489 HAS SOPS 5941394 HAS SOUS 1366746 HAS SOUPS 1277914 WITH SCORE 1285163.489
AT ITER 8243 NEW BEST:: SOT 11770196 SOS 7245877 HAS SOPS 5937558 HAS SOUS 1366438 HAS SOUPS 1277606 WITH SCORE 1284851.877
AT ITER 8268 NEW BEST:: SOT 11771747 SOS 7248718 HAS SOPS 5942336 HAS SOUS 1365895 HAS SOUPS 1277187 WITH SCORE 1284435.718
AT ITER 8275 NEW BEST:: SOT 11773842 SOS 7250813 HAS SOPS 5944431 HAS SOUS 1365686 HAS SOUPS 1276978 WITH SCORE 1284228.813
AT ITER 8301 NEW BEST:: SOT 11775916 SOS 7249769 HAS SOPS 5944738 HAS SOUS 1361850 HAS SOUPS 1273271 WITH SCORE 1280520.769
AT ITER 8305 NEW BEST:: SOT 11775054 SOS 7248905 HAS SOPS 5942129 HAS SOUS 1360196 HAS SOUPS 1271617 WITH SCORE 1278865.905
AT ITER 8316 NEW BEST:: SOT 11774918 SOS 7248749 HAS SOPS 5941353 HAS SOUS 1360051 HAS SOUPS 1271350 WITH SCORE 1278598.749
AT ITER 8347 NEW BEST:: SOT 11775496 SOS 7247753 HAS SOPS 5938046 HAS SOUS 1353493 HAS SOUPS 1264792 WITH SCORE 1272039.753
AT ITER 8379 NEW BEST:: SOT 11774851 SOS 7247111 HAS SOPS 5937084 HAS SOUS 1351612 HAS SOUPS 1262911 WITH SCORE 1270158.111
AT ITER 8413 NEW BEST:: SOT 11774592 SOS 7246934 HAS SOPS 5936740 HAS SOUS 1350895 HAS SOUPS 1262194 WITH SCORE 1269440.934
AT ITER 8431 NEW BEST:: SOT 11774650 SOS 7247477 HAS SOPS 5937562 HAS SOUS 1350811 HAS SOUPS 1262117 WITH SCORE 1269364.477
AT ITER 8506 NEW BEST:: SOT 11774781 SOS 7248489 HAS SOPS 5938869 HAS SOUS 1350792 HAS SOUPS 1262098 WITH SCORE 1269346.489
AT ITER 8532 NEW BEST:: SOT 11776064 SOS 7249772 HAS SOPS 5939912 HAS SOUS 1350343 HAS SOUPS 1261649 WITH SCORE 1268898.772
AT ITER 8549 NEW BEST:: SOT 11776184 SOS 7249892 HAS SOPS 5940032 HAS SOUS 1350303 HAS SOUPS 1261609 WITH SCORE 1268858.892
AT ITER 8551 NEW BEST:: SOT 11775764 SOS 7249449 HAS SOPS 5939677 HAS SOUS 1350277 HAS SOUPS 1261570 WITH SCORE 1268819.449
AT ITER 8552 NEW BEST:: SOT 11775238 SOS 7249898 HAS SOPS 5938794 HAS SOUS 1347900 HAS SOUPS 1259185 WITH SCORE 1266434.898
AT ITER 8570 NEW BEST:: SOT 11775082 SOS 7249742 HAS SOPS 5938638 HAS SOUS 1347768 HAS SOUPS 1259053 WITH SCORE 1266302.742
AT ITER 8574 NEW BEST:: SOT 11771387 SOS 7245908 HAS SOPS 5934845 HAS SOUS 1342823 HAS SOUPS 1254037 WITH SCORE 1261282.908
AT ITER 8695 NEW BEST:: SOT 11770616 SOS 7244556 HAS SOPS 5933302 HAS SOUS 1341399 HAS SOUPS 1252613 WITH SCORE 1259857.556
AT ITER 8723 NEW BEST:: SOT 11770498 SOS 7244390 HAS SOPS 5933172 HAS SOUS 1340789 HAS SOUPS 1252003 WITH SCORE 1259247.39
AT ITER 8809 NEW BEST:: SOT 11771084 SOS 7245058 HAS SOPS 5933570 HAS SOUS 1340461 HAS SOUPS 1251640 WITH SCORE 1258885.058
AT ITER 8821 NEW BEST:: SOT 11770172 SOS 7246060 HAS SOPS 5932073 HAS SOUS 1340368 HAS SOUPS 1251496 WITH SCORE 1258742.06
AT ITER 8824 NEW BEST:: SOT 11771045 SOS 7246859 HAS SOPS 5933877 HAS SOUS 1339954 HAS SOUPS 1251106 WITH SCORE 1258352.859
AT ITER 8843 NEW BEST:: SOT 11771001 SOS 7246874 HAS SOPS 5933663 HAS SOUS 1339746 HAS SOUPS 1250898 WITH SCORE 1258144.874
AT ITER 8905 NEW BEST:: SOT 11770748 SOS 7246645 HAS SOPS 5933386 HAS SOUS 1339583 HAS SOUPS 1250731 WITH SCORE 1257977.645
AT ITER 8912 NEW BEST:: SOT 11770109 SOS 7246108 HAS SOPS 5932721 HAS SOUS 1338553 HAS SOUPS 1249701 WITH SCORE 1256947.108
AT ITER 8916 NEW BEST:: SOT 11769031 SOS 7245167 HAS SOPS 5930997 HAS SOUS 1337398 HAS SOUPS 1248546 WITH SCORE 1255791.167
AT ITER 8949 NEW BEST:: SOT 11769036 SOS 7245092 HAS SOPS 5931074 HAS SOUS 1337250 HAS SOUPS 1248398 WITH SCORE 1255643.092
AT ITER 8968 NEW BEST:: SOT 11769430 SOS 7246371 HAS SOPS 5932800 HAS SOUS 1336625 HAS SOUPS 1247811 WITH SCORE 1255057.371
AT ITER 9037 NEW BEST:: SOT 11769256 SOS 7245384 HAS SOPS 5931648 HAS SOUS 1336288 HAS SOUPS 1247474 WITH SCORE 1254719.384
AT ITER 9078 NEW BEST:: SOT 11767530 SOS 7243950 HAS SOPS 5929926 HAS SOUS 1333008 HAS SOUPS 1244194 WITH SCORE 1251437.95
AT ITER 9098 NEW BEST:: SOT 11763389 SOS 7237093 HAS SOPS 5923625 HAS SOUS 1328190 HAS SOUPS 1239428 WITH SCORE 1246665.093
AT ITER 9117 NEW BEST:: SOT 11762639 SOS 7237748 HAS SOPS 5923325 HAS SOUS 1326287 HAS SOUPS 1237525 WITH SCORE 1244762.748
AT ITER 9179 NEW BEST:: SOT 11761135 SOS 7237825 HAS SOPS 5923309 HAS SOUS 1324383 HAS SOUPS 1235621 WITH SCORE 1242858.825
AT ITER 9210 NEW BEST:: SOT 11760612 SOS 7237464 HAS SOPS 5922714 HAS SOUS 1323564 HAS SOUPS 1234802 WITH SCORE 1242039.464
AT ITER 9224 NEW BEST:: SOT 11760652 SOS 7237504 HAS SOPS 5922754 HAS SOUS 1323524 HAS SOUPS 1234762 WITH SCORE 1241999.504
AT ITER 9226 NEW BEST:: SOT 11760119 SOS 7236651 HAS SOPS 5921773 HAS SOUS 1322503 HAS SOUPS 1233765 WITH SCORE 1241001.651
AT ITER 9281 NEW BEST:: SOT 11758855 SOS 7233122 HAS SOPS 5918843 HAS SOUS 1321808 HAS SOUPS 1233093 WITH SCORE 1240326.122
AT ITER 9303 NEW BEST:: SOT 11759484 SOS 7235286 HAS SOPS 5919912 HAS SOUS 1321142 HAS SOUPS 1232427 WITH SCORE 1239662.286
AT ITER 9310 NEW BEST:: SOT 11758850 SOS 7235996 HAS SOPS 5919995 HAS SOUS 1319754 HAS SOUPS 1231039 WITH SCORE 1238274.996
AT ITER 9318 NEW BEST:: SOT 11758909 SOS 7236717 HAS SOPS 5919609 HAS SOUS 1317930 HAS SOUPS 1229215 WITH SCORE 1236451.717
AT ITER 9327 NEW BEST:: SOT 11759363 SOS 7237925 HAS SOPS 5921207 HAS SOUS 1315667 HAS SOUPS 1226901 WITH SCORE 1234138.925
AT ITER 9346 NEW BEST:: SOT 11762474 SOS 7240534 HAS SOPS 5923352 HAS SOUS 1312132 HAS SOUPS 1223366 WITH SCORE 1230606.534
AT ITER 9347 NEW BEST:: SOT 11761306 SOS 7239366 HAS SOPS 5922168 HAS SOUS 1312036 HAS SOUPS 1223270 WITH SCORE 1230509.366
AT ITER 9372 NEW BEST:: SOT 11761802 SOS 7239867 HAS SOPS 5922657 HAS SOUS 1311552 HAS SOUPS 1222786 WITH SCORE 1230025.867
AT ITER 9380 NEW BEST:: SOT 11761539 SOS 7239159 HAS SOPS 5922149 HAS SOUS 1311159 HAS SOUPS 1222398 WITH SCORE 1229637.159
AT ITER 9416 NEW BEST:: SOT 11761331 SOS 7239135 HAS SOPS 5921810 HAS SOUS 1310759 HAS SOUPS 1221998 WITH SCORE 1229237.135
AT ITER 9426 NEW BEST:: SOT 11761377 SOS 7236719 HAS SOPS 5920019 HAS SOUS 1310742 HAS SOUPS 1221981 WITH SCORE 1229217.719
AT ITER 9458 NEW BEST:: SOT 11762452 SOS 7237632 HAS SOPS 5921094 HAS SOUS 1309955 HAS SOUPS 1221194 WITH SCORE 1228431.632
AT ITER 9465 NEW BEST:: SOT 11762331 SOS 7237220 HAS SOPS 5920754 HAS SOUS 1309870 HAS SOUPS 1221115 WITH SCORE 1228352.22
AT ITER 9529 NEW BEST:: SOT 11762273 SOS 7236902 HAS SOPS 5920518 HAS SOUS 1309788 HAS SOUPS 1221033 WITH SCORE 1228269.902
AT ITER 9533 NEW BEST:: SOT 11762295 SOS 7236928 HAS SOPS 5920502 HAS SOUS 1309712 HAS SOUPS 1220957 WITH SCORE 1228193.928
AT ITER 9543 NEW BEST:: SOT 11761577 SOS 7235202 HAS SOPS 5919547 HAS SOUS 1309021 HAS SOUPS 1220364 WITH SCORE 1227599.202
AT ITER 9549 NEW BEST:: SOT 11762406 SOS 7235454 HAS SOPS 5919369 HAS SOUS 1308375 HAS SOUPS 1219718 WITH SCORE 1226953.454
AT ITER 9551 NEW BEST:: SOT 11761663 SOS 7234678 HAS SOPS 5918626 HAS SOUS 1307607 HAS SOUPS 1218975 WITH SCORE 1226209.678
AT ITER 9563 NEW BEST:: SOT 11761745 SOS 7235057 HAS SOPS 5919113 HAS SOUS 1307212 HAS SOUPS 1218580 WITH SCORE 1225815.057
AT ITER 9583 NEW BEST:: SOT 11761994 SOS 7233565 HAS SOPS 5919757 HAS SOUS 1305936 HAS SOUPS 1217304 WITH SCORE 1224537.565
AT ITER 9584 NEW BEST:: SOT 11760990 SOS 7232561 HAS SOPS 5918321 HAS SOUS 1303928 HAS SOUPS 1215296 WITH SCORE 1222528.561
AT ITER 9585 NEW BEST:: SOT 11761742 SOS 7234479 HAS SOPS 5919717 HAS SOUS 1302388 HAS SOUPS 1213756 WITH SCORE 1220990.479
AT ITER 9605 NEW BEST:: SOT 11760019 SOS 7233109 HAS SOPS 5918114 HAS SOUS 1302296 HAS SOUPS 1213664 WITH SCORE 1220897.109
AT ITER 9654 NEW BEST:: SOT 11760228 SOS 7235671 HAS SOPS 5919718 HAS SOUS 1301522 HAS SOUPS 1212890 WITH SCORE 1220125.671
AT ITER 9657 NEW BEST:: SOT 11759257 SOS 7234732 HAS SOPS 5919136 HAS SOUS 1300189 HAS SOUPS 1211557 WITH SCORE 1218791.732
AT ITER 9668 NEW BEST:: SOT 11759221 SOS 7235008 HAS SOPS 5919345 HAS SOUS 1300145 HAS SOUPS 1211513 WITH SCORE 1218748.008
AT ITER 9689 NEW BEST:: SOT 11758542 SOS 7235830 HAS SOPS 5920344 HAS SOUS 1299173 HAS SOUPS 1210541 WITH SCORE 1217776.83
AT ITER 9736 NEW BEST:: SOT 11758238 SOS 7235526 HAS SOPS 5919896 HAS SOUS 1298413 HAS SOUPS 1209781 WITH SCORE 1217016.526
AT ITER 9761 NEW BEST:: SOT 11756154 SOS 7235444 HAS SOPS 5918854 HAS SOUS 1294956 HAS SOUPS 1206324 WITH SCORE 1213559.444
AT ITER 9762 NEW BEST:: SOT 11756374 SOS 7235388 HAS SOPS 5918231 HAS SOUS 1292628 HAS SOUPS 1204067 WITH SCORE 1211302.388
AT ITER 9842 NEW BEST:: SOT 11755837 SOS 7234825 HAS SOPS 5917190 HAS SOUS 1292263 HAS SOUPS 1203682 WITH SCORE 1210916.825
AT ITER 9843 NEW BEST:: SOT 11754662 SOS 7233621 HAS SOPS 5915338 HAS SOUS 1290640 HAS SOUPS 1202044 WITH SCORE 1209277.621
AT ITER 9879 NEW BEST:: SOT 11754697 SOS 7234050 HAS SOPS 5915360 HAS SOUS 1289956 HAS SOUPS 1201344 WITH SCORE 1208578.05
AT ITER 9894 NEW BEST:: SOT 11757162 SOS 7239805 HAS SOPS 5917905 HAS SOUS 1286181 HAS SOUPS 1197569 WITH SCORE 1204808.805
AT ITER 9922 NEW BEST:: SOT 11757537 SOS 7239360 HAS SOPS 5917460 HAS SOUS 1286151 HAS SOUPS 1197539 WITH SCORE 1204778.36
AT ITER 9957 NEW BEST:: SOT 11757873 SOS 7239635 HAS SOPS 5917191 HAS SOUS 1281686 HAS SOUPS 1193409 WITH SCORE 1200648.635
AT ITER 9990 NEW BEST:: SOT 11757847 SOS 7239463 HAS SOPS 5917011 HAS SOUS 1281676 HAS SOUPS 1193399 WITH SCORE 1200638.463
AT ITER 9991 NEW BEST:: SOT 11756664 SOS 7237443 HAS SOPS 5915627 HAS SOUS 1281093 HAS SOUPS 1192992 WITH SCORE 1200229.443
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15322344 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121148 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-2"
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-2, 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-167889194100016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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