Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502300032.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.0K Apr 12 07:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 12 07:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 14:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 20:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 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 1589664207292

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 1 NEW BEST:: SOT 12194115 SOS 7743339 HAS SOPS 6412755 HAS SOUS 3041728 HAS SOUPS 2941238 WITH SCORE 2948981.339
AT ITER 3 NEW BEST:: SOT 12194115 SOS 7743852 HAS SOPS 6413398 HAS SOUS 3041222 HAS SOUPS 2940732 WITH SCORE 2948475.852
AT ITER 13 NEW BEST:: SOT 12166143 SOS 7713467 HAS SOPS 6381452 HAS SOUS 2986039 HAS SOUPS 2885581 WITH SCORE 2893294.467
AT ITER 25 NEW BEST:: SOT 12175372 SOS 7737846 HAS SOPS 6408464 HAS SOUS 2985689 HAS SOUPS 2885231 WITH SCORE 2892968.846
AT ITER 31 NEW BEST:: SOT 12175399 SOS 7737873 HAS SOPS 6408491 HAS SOUS 2985604 HAS SOUPS 2885146 WITH SCORE 2892883.873
AT ITER 47 NEW BEST:: SOT 12174971 SOS 7738449 HAS SOPS 6408274 HAS SOUS 2982453 HAS SOUPS 2881995 WITH SCORE 2889733.449
AT ITER 55 NEW BEST:: SOT 12175398 SOS 7739876 HAS SOPS 6410194 HAS SOUS 2981132 HAS SOUPS 2880674 WITH SCORE 2888413.876
AT ITER 60 NEW BEST:: SOT 12175413 SOS 7739864 HAS SOPS 6410048 HAS SOUS 2981099 HAS SOUPS 2880641 WITH SCORE 2888380.864
AT ITER 71 NEW BEST:: SOT 12175140 SOS 7741257 HAS SOPS 6408881 HAS SOUS 2973569 HAS SOUPS 2873231 WITH SCORE 2880972.257
AT ITER 77 NEW BEST:: SOT 12179208 SOS 7755603 HAS SOPS 6426792 HAS SOUS 2968434 HAS SOUPS 2868253 WITH SCORE 2876008.603
AT ITER 79 NEW BEST:: SOT 12180092 SOS 7759087 HAS SOPS 6427836 HAS SOUS 2967471 HAS SOUPS 2867290 WITH SCORE 2875049.087
AT ITER 80 NEW BEST:: SOT 12178622 SOS 7755313 HAS SOPS 6424874 HAS SOUS 2966520 HAS SOUPS 2866339 WITH SCORE 2874094.313
AT ITER 87 NEW BEST:: SOT 12177274 SOS 7753999 HAS SOPS 6422607 HAS SOUS 2962853 HAS SOUPS 2862672 WITH SCORE 2870425.999
AT ITER 94 NEW BEST:: SOT 12175638 SOS 7752823 HAS SOPS 6422191 HAS SOUS 2961069 HAS SOUPS 2860919 WITH SCORE 2868671.823
AT ITER 98 NEW BEST:: SOT 12175506 SOS 7752904 HAS SOPS 6422099 HAS SOUS 2961016 HAS SOUPS 2860866 WITH SCORE 2868618.904
AT ITER 113 NEW BEST:: SOT 12175544 SOS 7753440 HAS SOPS 6422593 HAS SOUS 2960630 HAS SOUPS 2860470 WITH SCORE 2868223.44
AT ITER 124 NEW BEST:: SOT 12175321 SOS 7753229 HAS SOPS 6422402 HAS SOUS 2960155 HAS SOUPS 2859991 WITH SCORE 2867744.229
AT ITER 136 NEW BEST:: SOT 12173844 SOS 7749390 HAS SOPS 6420894 HAS SOUS 2958749 HAS SOUPS 2858585 WITH SCORE 2866334.39
AT ITER 140 NEW BEST:: SOT 12174542 SOS 7750002 HAS SOPS 6422146 HAS SOUS 2958633 HAS SOUPS 2858469 WITH SCORE 2866219.002
AT ITER 141 NEW BEST:: SOT 12173014 SOS 7746842 HAS SOPS 6419270 HAS SOUS 2954514 HAS SOUPS 2854350 WITH SCORE 2862096.842
AT ITER 142 NEW BEST:: SOT 12180110 SOS 7756738 HAS SOPS 6431770 HAS SOUS 2947130 HAS SOUPS 2847750 WITH SCORE 2855506.738
AT ITER 148 NEW BEST:: SOT 12177279 SOS 7753196 HAS SOPS 6429330 HAS SOUS 2938812 HAS SOUPS 2839753 WITH SCORE 2847506.196
AT ITER 150 NEW BEST:: SOT 12175908 SOS 7752988 HAS SOPS 6427959 HAS SOUS 2937493 HAS SOUPS 2838382 WITH SCORE 2846134.988
AT ITER 152 NEW BEST:: SOT 12175956 SOS 7752893 HAS SOPS 6426458 HAS SOUS 2936870 HAS SOUPS 2837759 WITH SCORE 2845511.893
AT ITER 157 NEW BEST:: SOT 12168181 SOS 7745118 HAS SOPS 6418427 HAS SOUS 2929031 HAS SOUPS 2829728 WITH SCORE 2837473.118
AT ITER 162 NEW BEST:: SOT 12166691 SOS 7743628 HAS SOPS 6416937 HAS SOUS 2927541 HAS SOUPS 2828238 WITH SCORE 2835981.628
AT ITER 170 NEW BEST:: SOT 12164890 SOS 7744240 HAS SOPS 6417165 HAS SOUS 2921888 HAS SOUPS 2822632 WITH SCORE 2830376.24
AT ITER 177 NEW BEST:: SOT 12167434 SOS 7752035 HAS SOPS 6426939 HAS SOUS 2920440 HAS SOUPS 2821184 WITH SCORE 2828936.035
AT ITER 189 NEW BEST:: SOT 12167257 SOS 7750053 HAS SOPS 6425729 HAS SOUS 2919819 HAS SOUPS 2820595 WITH SCORE 2828345.053
AT ITER 196 NEW BEST:: SOT 12166919 SOS 7749818 HAS SOPS 6425049 HAS SOUS 2918774 HAS SOUPS 2819531 WITH SCORE 2827280.818
AT ITER 197 NEW BEST:: SOT 12164391 SOS 7744899 HAS SOPS 6422744 HAS SOUS 2915274 HAS SOUPS 2816094 WITH SCORE 2823838.899
AT ITER 200 NEW BEST:: SOT 12133213 SOS 7692835 HAS SOPS 6386986 HAS SOUS 2897837 HAS SOUPS 2798876 WITH SCORE 2806568.835
AT ITER 209 NEW BEST:: SOT 12134680 SOS 7693792 HAS SOPS 6389573 HAS SOUS 2895989 HAS SOUPS 2797028 WITH SCORE 2804721.792
AT ITER 214 NEW BEST:: SOT 12133518 SOS 7693849 HAS SOPS 6389471 HAS SOUS 2895521 HAS SOUPS 2796524 WITH SCORE 2804217.849
AT ITER 243 NEW BEST:: SOT 12138646 SOS 7720179 HAS SOPS 6416113 HAS SOUS 2882321 HAS SOUPS 2783481 WITH SCORE 2791201.179
AT ITER 245 NEW BEST:: SOT 12139285 SOS 7727215 HAS SOPS 6431629 HAS SOUS 2881454 HAS SOUPS 2782614 WITH SCORE 2790341.215
AT ITER 256 NEW BEST:: SOT 12139623 SOS 7727651 HAS SOPS 6433767 HAS SOUS 2878209 HAS SOUPS 2780155 WITH SCORE 2787882.651
AT ITER 258 NEW BEST:: SOT 12137194 SOS 7724009 HAS SOPS 6431095 HAS SOUS 2873155 HAS SOUPS 2775156 WITH SCORE 2782880.009
AT ITER 261 NEW BEST:: SOT 12135605 SOS 7718995 HAS SOPS 6428471 HAS SOUS 2872167 HAS SOUPS 2774230 WITH SCORE 2781948.995
AT ITER 278 NEW BEST:: SOT 12129427 SOS 7707963 HAS SOPS 6420496 HAS SOUS 2860969 HAS SOUPS 2763632 WITH SCORE 2771339.963
AT ITER 286 NEW BEST:: SOT 12129371 SOS 7707625 HAS SOPS 6419925 HAS SOUS 2860907 HAS SOUPS 2763570 WITH SCORE 2771277.625
AT ITER 302 NEW BEST:: SOT 12128761 SOS 7707073 HAS SOPS 6419307 HAS SOUS 2860378 HAS SOUPS 2763073 WITH SCORE 2770780.073
AT ITER 310 NEW BEST:: SOT 12128110 SOS 7706072 HAS SOPS 6418054 HAS SOUS 2859854 HAS SOUPS 2762549 WITH SCORE 2770255.072
AT ITER 312 NEW BEST:: SOT 12127883 SOS 7703572 HAS SOPS 6415655 HAS SOUS 2856813 HAS SOUPS 2759508 WITH SCORE 2767211.572
AT ITER 313 NEW BEST:: SOT 12128422 SOS 7704095 HAS SOPS 6415938 HAS SOUS 2856762 HAS SOUPS 2759247 WITH SCORE 2766951.095
AT ITER 331 NEW BEST:: SOT 12135079 SOS 7728945 HAS SOPS 6448927 HAS SOUS 2845843 HAS SOUPS 2748603 WITH SCORE 2756331.945
AT ITER 336 NEW BEST:: SOT 12134275 SOS 7728110 HAS SOPS 6447627 HAS SOUS 2843587 HAS SOUPS 2746167 WITH SCORE 2753895.11
AT ITER 338 NEW BEST:: SOT 12133191 SOS 7727290 HAS SOPS 6447214 HAS SOUS 2842961 HAS SOUPS 2745541 WITH SCORE 2753268.29
AT ITER 345 NEW BEST:: SOT 12133433 SOS 7736747 HAS SOPS 6451537 HAS SOUS 2838361 HAS SOUPS 2740820 WITH SCORE 2748556.747
AT ITER 350 NEW BEST:: SOT 12133317 SOS 7736279 HAS SOPS 6451278 HAS SOUS 2838333 HAS SOUPS 2740814 WITH SCORE 2748550.279
AT ITER 392 NEW BEST:: SOT 12134375 SOS 7739609 HAS SOPS 6454172 HAS SOUS 2836688 HAS SOUPS 2739112 WITH SCORE 2746851.609
AT ITER 397 NEW BEST:: SOT 12134871 SOS 7743834 HAS SOPS 6458640 HAS SOUS 2835147 HAS SOUPS 2737477 WITH SCORE 2745220.834
AT ITER 404 NEW BEST:: SOT 12135898 SOS 7745875 HAS SOPS 6460754 HAS SOUS 2833939 HAS SOUPS 2736428 WITH SCORE 2744173.875
AT ITER 406 NEW BEST:: SOT 12131131 SOS 7736961 HAS SOPS 6455740 HAS SOUS 2826319 HAS SOUPS 2728808 WITH SCORE 2736544.961
AT ITER 410 NEW BEST:: SOT 12128370 SOS 7732704 HAS SOPS 6452596 HAS SOUS 2823363 HAS SOUPS 2725852 WITH SCORE 2733584.704
AT ITER 414 NEW BEST:: SOT 12129713 SOS 7736976 HAS SOPS 6460657 HAS SOUS 2821708 HAS SOUPS 2724281 WITH SCORE 2732017.976
AT ITER 416 NEW BEST:: SOT 12127517 SOS 7729679 HAS SOPS 6453315 HAS SOUS 2815251 HAS SOUPS 2717908 WITH SCORE 2725637.679
AT ITER 427 NEW BEST:: SOT 12120068 SOS 7715765 HAS SOPS 6443068 HAS SOUS 2808327 HAS SOUPS 2710984 WITH SCORE 2718699.765
AT ITER 435 NEW BEST:: SOT 12121763 SOS 7718876 HAS SOPS 6456759 HAS SOUS 2802274 HAS SOUPS 2705431 WITH SCORE 2713149.876
AT ITER 436 NEW BEST:: SOT 12121780 SOS 7719234 HAS SOPS 6457272 HAS SOUS 2802229 HAS SOUPS 2705386 WITH SCORE 2713105.234
AT ITER 439 NEW BEST:: SOT 12095619 SOS 7691918 HAS SOPS 6429439 HAS SOUS 2775303 HAS SOUPS 2678312 WITH SCORE 2686003.918
AT ITER 453 NEW BEST:: SOT 12094624 SOS 7690889 HAS SOPS 6427900 HAS SOUS 2772192 HAS SOUPS 2675201 WITH SCORE 2682891.889
AT ITER 458 NEW BEST:: SOT 12084145 SOS 7676637 HAS SOPS 6414199 HAS SOUS 2744827 HAS SOUPS 2648154 WITH SCORE 2655830.637
AT ITER 462 NEW BEST:: SOT 12080705 SOS 7673029 HAS SOPS 6410358 HAS SOUS 2735872 HAS SOUPS 2639356 WITH SCORE 2647029.029
AT ITER 467 NEW BEST:: SOT 12061719 SOS 7626283 HAS SOPS 6364331 HAS SOUS 2717182 HAS SOUPS 2620666 WITH SCORE 2628292.283
AT ITER 473 NEW BEST:: SOT 12067737 SOS 7632041 HAS SOPS 6368271 HAS SOUS 2713333 HAS SOUPS 2616975 WITH SCORE 2624607.041
AT ITER 491 NEW BEST:: SOT 12066393 SOS 7630391 HAS SOPS 6366566 HAS SOUS 2711555 HAS SOUPS 2615171 WITH SCORE 2622801.391
AT ITER 493 NEW BEST:: SOT 12059975 SOS 7623937 HAS SOPS 6359572 HAS SOUS 2702009 HAS SOUPS 2605625 WITH SCORE 2613248.937
AT ITER 500 NEW BEST:: SOT 12057626 SOS 7621468 HAS SOPS 6357223 HAS SOUS 2696700 HAS SOUPS 2600356 WITH SCORE 2607977.468
AT ITER 501 NEW BEST:: SOT 12057495 SOS 7621575 HAS SOPS 6357963 HAS SOUS 2696480 HAS SOUPS 2600136 WITH SCORE 2607757.575
AT ITER 508 NEW BEST:: SOT 12047566 SOS 7610767 HAS SOPS 6348815 HAS SOUS 2682696 HAS SOUPS 2586354 WITH SCORE 2593964.767
AT ITER 511 NEW BEST:: SOT 12048037 SOS 7612373 HAS SOPS 6348997 HAS SOUS 2682465 HAS SOUPS 2586123 WITH SCORE 2593735.373
AT ITER 529 NEW BEST:: SOT 12033677 SOS 7579248 HAS SOPS 6326132 HAS SOUS 2677825 HAS SOUPS 2581490 WITH SCORE 2589069.248
AT ITER 537 NEW BEST:: SOT 12034977 SOS 7586576 HAS SOPS 6328663 HAS SOUS 2670461 HAS SOUPS 2574091 WITH SCORE 2581677.576
AT ITER 541 NEW BEST:: SOT 12027646 SOS 7575894 HAS SOPS 6317347 HAS SOUS 2660874 HAS SOUPS 2564682 WITH SCORE 2572257.894
AT ITER 546 NEW BEST:: SOT 12027824 SOS 7576884 HAS SOPS 6321953 HAS SOUS 2657271 HAS SOUPS 2562039 WITH SCORE 2569615.884
AT ITER 549 NEW BEST:: SOT 12027876 SOS 7577236 HAS SOPS 6322107 HAS SOUS 2657218 HAS SOUPS 2561986 WITH SCORE 2569563.236
AT ITER 551 NEW BEST:: SOT 12025878 SOS 7575106 HAS SOPS 6319053 HAS SOUS 2653086 HAS SOUPS 2557887 WITH SCORE 2565462.106
AT ITER 562 NEW BEST:: SOT 12023675 SOS 7571951 HAS SOPS 6313477 HAS SOUS 2649836 HAS SOUPS 2554637 WITH SCORE 2562208.951
AT ITER 565 NEW BEST:: SOT 12023374 SOS 7571404 HAS SOPS 6312609 HAS SOUS 2648936 HAS SOUPS 2553737 WITH SCORE 2561308.404
AT ITER 575 NEW BEST:: SOT 12023035 SOS 7571619 HAS SOPS 6312210 HAS SOUS 2647850 HAS SOUPS 2552638 WITH SCORE 2560209.619
AT ITER 576 NEW BEST:: SOT 12021828 SOS 7566235 HAS SOPS 6307364 HAS SOUS 2645370 HAS SOUPS 2550158 WITH SCORE 2557724.235
AT ITER 578 NEW BEST:: SOT 12019917 SOS 7563732 HAS SOPS 6305250 HAS SOUS 2641480 HAS SOUPS 2546272 WITH SCORE 2553835.732
AT ITER 582 NEW BEST:: SOT 12011937 SOS 7555752 HAS SOPS 6297270 HAS SOUS 2633474 HAS SOUPS 2538266 WITH SCORE 2545821.752
AT ITER 587 NEW BEST:: SOT 12013939 SOS 7560124 HAS SOPS 6300189 HAS SOUS 2631706 HAS SOUPS 2536498 WITH SCORE 2544058.124
AT ITER 604 NEW BEST:: SOT 12014511 SOS 7563058 HAS SOPS 6304401 HAS SOUS 2628707 HAS SOUPS 2533592 WITH SCORE 2541155.058
AT ITER 605 NEW BEST:: SOT 12014681 SOS 7563995 HAS SOPS 6309200 HAS SOUS 2627734 HAS SOUPS 2532619 WITH SCORE 2540182.995
AT ITER 613 NEW BEST:: SOT 12014195 SOS 7563300 HAS SOPS 6308560 HAS SOUS 2627582 HAS SOUPS 2532467 WITH SCORE 2540030.3
AT ITER 618 NEW BEST:: SOT 12022308 SOS 7586011 HAS SOPS 6332969 HAS SOUS 2619414 HAS SOUPS 2524547 WITH SCORE 2532133.011
AT ITER 620 NEW BEST:: SOT 12021787 SOS 7585018 HAS SOPS 6332254 HAS SOUS 2618489 HAS SOUPS 2523634 WITH SCORE 2531219.018
AT ITER 622 NEW BEST:: SOT 12020506 SOS 7583733 HAS SOPS 6330909 HAS SOUS 2616852 HAS SOUPS 2521937 WITH SCORE 2529520.733
AT ITER 634 NEW BEST:: SOT 12019905 SOS 7579820 HAS SOPS 6329132 HAS SOUS 2615862 HAS SOUPS 2520947 WITH SCORE 2528526.82
AT ITER 637 NEW BEST:: SOT 12011519 SOS 7563415 HAS SOPS 6313667 HAS SOUS 2600615 HAS SOUPS 2506360 WITH SCORE 2513923.415
AT ITER 640 NEW BEST:: SOT 12009380 SOS 7560427 HAS SOPS 6310164 HAS SOUS 2598331 HAS SOUPS 2504050 WITH SCORE 2511610.427
AT ITER 645 NEW BEST:: SOT 12009530 SOS 7552237 HAS SOPS 6308572 HAS SOUS 2594983 HAS SOUPS 2501374 WITH SCORE 2508926.237
AT ITER 662 NEW BEST:: SOT 12009489 SOS 7552246 HAS SOPS 6303574 HAS SOUS 2593962 HAS SOUPS 2500291 WITH SCORE 2507843.246
AT ITER 667 NEW BEST:: SOT 12011986 SOS 7570886 HAS SOPS 6317189 HAS SOUS 2585700 HAS SOUPS 2491849 WITH SCORE 2499419.886
AT ITER 670 NEW BEST:: SOT 12009256 SOS 7567887 HAS SOPS 6315045 HAS SOUS 2582744 HAS SOUPS 2489188 WITH SCORE 2496755.887
AT ITER 676 NEW BEST:: SOT 12011178 SOS 7579274 HAS SOPS 6320764 HAS SOUS 2580076 HAS SOUPS 2486298 WITH SCORE 2493877.274
AT ITER 678 NEW BEST:: SOT 12010797 SOS 7577712 HAS SOPS 6319229 HAS SOUS 2579659 HAS SOUPS 2485887 WITH SCORE 2493464.712
AT ITER 698 NEW BEST:: SOT 12010587 SOS 7577693 HAS SOPS 6319919 HAS SOUS 2577568 HAS SOUPS 2483862 WITH SCORE 2491439.693
AT ITER 767 NEW BEST:: SOT 12009617 SOS 7576473 HAS SOPS 6318313 HAS SOUS 2575031 HAS SOUPS 2481325 WITH SCORE 2488901.473
AT ITER 779 NEW BEST:: SOT 12011948 SOS 7582323 HAS SOPS 6323615 HAS SOUS 2565506 HAS SOUPS 2471800 WITH SCORE 2479382.323
AT ITER 788 NEW BEST:: SOT 12011633 SOS 7579213 HAS SOPS 6323180 HAS SOUS 2564567 HAS SOUPS 2470861 WITH SCORE 2478440.213
AT ITER 791 NEW BEST:: SOT 12012725 SOS 7586296 HAS SOPS 6330420 HAS SOUS 2556235 HAS SOUPS 2462529 WITH SCORE 2470115.296
AT ITER 792 NEW BEST:: SOT 12014070 SOS 7589166 HAS SOPS 6334855 HAS SOUS 2548986 HAS SOUPS 2456093 WITH SCORE 2463682.166
AT ITER 796 NEW BEST:: SOT 12014229 SOS 7590275 HAS SOPS 6338186 HAS SOUS 2547188 HAS SOUPS 2454295 WITH SCORE 2461885.275
AT ITER 804 NEW BEST:: SOT 12012924 SOS 7589241 HAS SOPS 6336435 HAS SOUS 2543778 HAS SOUPS 2450849 WITH SCORE 2458438.241
AT ITER 811 NEW BEST:: SOT 12015556 SOS 7590514 HAS SOPS 6337845 HAS SOUS 2543451 HAS SOUPS 2450522 WITH SCORE 2458112.514
AT ITER 820 NEW BEST:: SOT 12008930 SOS 7583853 HAS SOPS 6330659 HAS SOUS 2533621 HAS SOUPS 2440692 WITH SCORE 2448275.853
AT ITER 823 NEW BEST:: SOT 12004635 SOS 7574867 HAS SOPS 6324494 HAS SOUS 2531790 HAS SOUPS 2438861 WITH SCORE 2446435.867
AT ITER 833 NEW BEST:: SOT 12003551 SOS 7573848 HAS SOPS 6320709 HAS SOUS 2525961 HAS SOUPS 2433032 WITH SCORE 2440605.848
AT ITER 834 NEW BEST:: SOT 12003536 SOS 7574301 HAS SOPS 6321236 HAS SOUS 2525553 HAS SOUPS 2432624 WITH SCORE 2440198.301
AT ITER 841 NEW BEST:: SOT 12007378 SOS 7579481 HAS SOPS 6332591 HAS SOUS 2521100 HAS SOUPS 2428424 WITH SCORE 2436003.481
AT ITER 845 NEW BEST:: SOT 12005764 SOS 7576835 HAS SOPS 6331060 HAS SOUS 2518371 HAS SOUPS 2425695 WITH SCORE 2433271.835
AT ITER 854 NEW BEST:: SOT 12005818 SOS 7577178 HAS SOPS 6330915 HAS SOUS 2517771 HAS SOUPS 2425095 WITH SCORE 2432672.178
AT ITER 855 NEW BEST:: SOT 12008266 SOS 7579590 HAS SOPS 6332787 HAS SOUS 2517545 HAS SOUPS 2424839 WITH SCORE 2432418.59
AT ITER 856 NEW BEST:: SOT 12011062 SOS 7591717 HAS SOPS 6349395 HAS SOUS 2517313 HAS SOUPS 2424607 WITH SCORE 2432198.717
AT ITER 915 NEW BEST:: SOT 12010667 SOS 7592110 HAS SOPS 6346775 HAS SOUS 2510974 HAS SOUPS 2418355 WITH SCORE 2425947.11
AT ITER 921 NEW BEST:: SOT 12010494 SOS 7591689 HAS SOPS 6346483 HAS SOUS 2510569 HAS SOUPS 2417950 WITH SCORE 2425541.689
AT ITER 925 NEW BEST:: SOT 12006075 SOS 7586950 HAS SOPS 6339855 HAS SOUS 2507232 HAS SOUPS 2414613 WITH SCORE 2422199.95
AT ITER 935 NEW BEST:: SOT 12000515 SOS 7581296 HAS SOPS 6333611 HAS SOUS 2503164 HAS SOUPS 2410403 WITH SCORE 2417984.296
AT ITER 938 NEW BEST:: SOT 11995991 SOS 7571944 HAS SOPS 6327221 HAS SOUS 2502220 HAS SOUPS 2409505 WITH SCORE 2417076.944
AT ITER 941 NEW BEST:: SOT 11995973 SOS 7571926 HAS SOPS 6327203 HAS SOUS 2502178 HAS SOUPS 2409463 WITH SCORE 2417034.926
AT ITER 962 NEW BEST:: SOT 11995462 SOS 7570377 HAS SOPS 6323979 HAS SOUS 2501370 HAS SOUPS 2408655 WITH SCORE 2416225.377
AT ITER 973 NEW BEST:: SOT 11994980 SOS 7567363 HAS SOPS 6321697 HAS SOUS 2499579 HAS SOUPS 2406864 WITH SCORE 2414431.363
AT ITER 975 NEW BEST:: SOT 11995162 SOS 7568936 HAS SOPS 6323057 HAS SOUS 2499306 HAS SOUPS 2406591 WITH SCORE 2414159.936
AT ITER 982 NEW BEST:: SOT 11995606 SOS 7569529 HAS SOPS 6325713 HAS SOUS 2498880 HAS SOUPS 2406165 WITH SCORE 2413734.529
AT ITER 991 NEW BEST:: SOT 11995633 SOS 7570102 HAS SOPS 6325808 HAS SOUS 2498501 HAS SOUPS 2405779 WITH SCORE 2413349.102
AT ITER 1016 NEW BEST:: SOT 11993790 SOS 7579721 HAS SOPS 6338244 HAS SOUS 2494230 HAS SOUPS 2401644 WITH SCORE 2409223.721
AT ITER 1031 NEW BEST:: SOT 11991392 SOS 7570779 HAS SOPS 6334604 HAS SOUS 2491744 HAS SOUPS 2399276 WITH SCORE 2406846.779
AT ITER 1033 NEW BEST:: SOT 11990021 SOS 7567146 HAS SOPS 6330993 HAS SOUS 2490873 HAS SOUPS 2398381 WITH SCORE 2405948.146
AT ITER 1060 NEW BEST:: SOT 11991362 SOS 7570392 HAS SOPS 6331345 HAS SOUS 2475803 HAS SOUPS 2383688 WITH SCORE 2391258.392
AT ITER 1062 NEW BEST:: SOT 11990885 SOS 7569763 HAS SOPS 6330683 HAS SOUS 2474974 HAS SOUPS 2382859 WITH SCORE 2390428.763
AT ITER 1063 NEW BEST:: SOT 11989827 SOS 7566722 HAS SOPS 6327703 HAS SOUS 2473958 HAS SOUPS 2381904 WITH SCORE 2389470.722
AT ITER 1066 NEW BEST:: SOT 11993210 SOS 7575311 HAS SOPS 6336671 HAS SOUS 2470351 HAS SOUPS 2378318 WITH SCORE 2385893.311
AT ITER 1086 NEW BEST:: SOT 11993210 SOS 7575227 HAS SOPS 6336587 HAS SOUS 2470351 HAS SOUPS 2378318 WITH SCORE 2385893.227
AT ITER 1088 NEW BEST:: SOT 11990093 SOS 7572176 HAS SOPS 6333479 HAS SOUS 2465733 HAS SOUPS 2373654 WITH SCORE 2381226.176
AT ITER 1092 NEW BEST:: SOT 11990023 SOS 7571585 HAS SOPS 6332824 HAS SOUS 2465558 HAS SOUPS 2373479 WITH SCORE 2381050.585
AT ITER 1096 NEW BEST:: SOT 11994601 SOS 7577814 HAS SOPS 6341175 HAS SOUS 2463525 HAS SOUPS 2371446 WITH SCORE 2379023.814
AT ITER 1122 NEW BEST:: SOT 11993218 SOS 7576269 HAS SOPS 6339483 HAS SOUS 2461130 HAS SOUPS 2369051 WITH SCORE 2376627.269
AT ITER 1123 NEW BEST:: SOT 11994488 SOS 7576504 HAS SOPS 6340662 HAS SOUS 2460825 HAS SOUPS 2368746 WITH SCORE 2376322.504
AT ITER 1138 NEW BEST:: SOT 11991181 SOS 7566250 HAS SOPS 6333583 HAS SOUS 2457564 HAS SOUPS 2365582 WITH SCORE 2373148.25
AT ITER 1144 NEW BEST:: SOT 11990727 SOS 7566098 HAS SOPS 6334669 HAS SOUS 2456529 HAS SOUPS 2364547 WITH SCORE 2372113.098
AT ITER 1145 NEW BEST:: SOT 11990754 SOS 7565820 HAS SOPS 6334364 HAS SOUS 2456457 HAS SOUPS 2364475 WITH SCORE 2372040.82
AT ITER 1146 NEW BEST:: SOT 11984928 SOS 7554898 HAS SOPS 6326319 HAS SOUS 2447460 HAS SOUPS 2355496 WITH SCORE 2363050.898
AT ITER 1149 NEW BEST:: SOT 11985996 SOS 7556165 HAS SOPS 6329342 HAS SOUS 2446174 HAS SOUPS 2354255 WITH SCORE 2361811.165
AT ITER 1150 NEW BEST:: SOT 11985994 SOS 7556337 HAS SOPS 6329027 HAS SOUS 2446160 HAS SOUPS 2354241 WITH SCORE 2361797.337
AT ITER 1152 NEW BEST:: SOT 11986111 SOS 7557205 HAS SOPS 6330396 HAS SOUS 2445862 HAS SOUPS 2353957 WITH SCORE 2361514.205
AT ITER 1154 NEW BEST:: SOT 11985911 SOS 7556998 HAS SOPS 6330084 HAS SOUS 2445298 HAS SOUPS 2353393 WITH SCORE 2360949.998
AT ITER 1155 NEW BEST:: SOT 11984196 SOS 7555085 HAS SOPS 6328369 HAS SOUS 2443515 HAS SOUPS 2351636 WITH SCORE 2359191.085
AT ITER 1157 NEW BEST:: SOT 11979098 SOS 7544181 HAS SOPS 6323530 HAS SOUS 2440698 HAS SOUPS 2350599 WITH SCORE 2358143.181
AT ITER 1162 NEW BEST:: SOT 11978239 SOS 7542764 HAS SOPS 6322365 HAS SOUS 2438603 HAS SOUPS 2348504 WITH SCORE 2356046.764
AT ITER 1165 NEW BEST:: SOT 11984688 SOS 7555359 HAS SOPS 6331609 HAS SOUS 2435466 HAS SOUPS 2345234 WITH SCORE 2352789.359
AT ITER 1177 NEW BEST:: SOT 11985673 SOS 7553486 HAS SOPS 6334786 HAS SOUS 2433159 HAS SOUPS 2342927 WITH SCORE 2350480.486
AT ITER 1179 NEW BEST:: SOT 11985379 SOS 7553150 HAS SOPS 6334348 HAS SOUS 2432841 HAS SOUPS 2342609 WITH SCORE 2350162.15
AT ITER 1189 NEW BEST:: SOT 11985074 SOS 7553242 HAS SOPS 6333494 HAS SOUS 2431439 HAS SOUPS 2341190 WITH SCORE 2348743.242
AT ITER 1190 NEW BEST:: SOT 11985163 SOS 7553414 HAS SOPS 6333867 HAS SOUS 2431389 HAS SOUPS 2341140 WITH SCORE 2348693.414
AT ITER 1198 NEW BEST:: SOT 11982890 SOS 7551171 HAS SOPS 6331562 HAS SOUS 2428596 HAS SOUPS 2338331 WITH SCORE 2345882.171
AT ITER 1203 NEW BEST:: SOT 11978426 SOS 7544190 HAS SOPS 6325541 HAS SOUS 2425599 HAS SOUPS 2335398 WITH SCORE 2342942.19
AT ITER 1207 NEW BEST:: SOT 11976597 SOS 7540936 HAS SOPS 6323079 HAS SOUS 2422719 HAS SOUPS 2332551 WITH SCORE 2340091.936
AT ITER 1216 NEW BEST:: SOT 11978189 SOS 7540620 HAS SOPS 6321747 HAS SOUS 2418047 HAS SOUPS 2327963 WITH SCORE 2335503.62
AT ITER 1222 NEW BEST:: SOT 11990554 SOS 7569025 HAS SOPS 6358538 HAS SOUS 2416069 HAS SOUPS 2325985 WITH SCORE 2333554.025
AT ITER 1228 NEW BEST:: SOT 11985056 SOS 7553241 HAS SOPS 6345331 HAS SOUS 2414485 HAS SOUPS 2324529 WITH SCORE 2332082.241
AT ITER 1234 NEW BEST:: SOT 11985319 SOS 7547437 HAS SOPS 6341263 HAS SOUS 2412627 HAS SOUPS 2322675 WITH SCORE 2330222.437
AT ITER 1239 NEW BEST:: SOT 11984877 SOS 7546965 HAS SOPS 6341232 HAS SOUS 2412363 HAS SOUPS 2322411 WITH SCORE 2329957.965
AT ITER 1241 NEW BEST:: SOT 11983612 SOS 7546232 HAS SOPS 6338709 HAS SOUS 2410625 HAS SOUPS 2320604 WITH SCORE 2328150.232
AT ITER 1242 NEW BEST:: SOT 11984344 SOS 7546768 HAS SOPS 6340142 HAS SOUS 2408072 HAS SOUPS 2318141 WITH SCORE 2325687.768
AT ITER 1266 NEW BEST:: SOT 11980143 SOS 7542182 HAS SOPS 6335382 HAS SOUS 2405748 HAS SOUPS 2315817 WITH SCORE 2323359.182
AT ITER 1273 NEW BEST:: SOT 11979513 SOS 7541529 HAS SOPS 6334729 HAS SOUS 2404309 HAS SOUPS 2314378 WITH SCORE 2321919.529
AT ITER 1277 NEW BEST:: SOT 11975113 SOS 7537129 HAS SOPS 6329721 HAS SOUS 2401307 HAS SOUPS 2311072 WITH SCORE 2318609.129
AT ITER 1285 NEW BEST:: SOT 11975005 SOS 7537057 HAS SOPS 6329514 HAS SOUS 2400875 HAS SOUPS 2310640 WITH SCORE 2318177.057
AT ITER 1286 NEW BEST:: SOT 11974142 SOS 7535876 HAS SOPS 6327945 HAS SOUS 2398068 HAS SOUPS 2307927 WITH SCORE 2315462.876
AT ITER 1288 NEW BEST:: SOT 11973935 SOS 7535732 HAS SOPS 6327594 HAS SOUS 2397528 HAS SOUPS 2307387 WITH SCORE 2314922.732
AT ITER 1290 NEW BEST:: SOT 11973876 SOS 7535693 HAS SOPS 6327491 HAS SOUS 2397391 HAS SOUPS 2307250 WITH SCORE 2314785.693
AT ITER 1295 NEW BEST:: SOT 11973208 SOS 7534992 HAS SOPS 6326295 HAS SOUS 2394855 HAS SOUPS 2304714 WITH SCORE 2312248.992
AT ITER 1314 NEW BEST:: SOT 11967512 SOS 7522558 HAS SOPS 6312457 HAS SOUS 2385206 HAS SOUPS 2295065 WITH SCORE 2302587.558
AT ITER 1315 NEW BEST:: SOT 11967420 SOS 7522466 HAS SOPS 6312365 HAS SOUS 2385182 HAS SOUPS 2295041 WITH SCORE 2302563.466
AT ITER 1322 NEW BEST:: SOT 11968752 SOS 7523016 HAS SOPS 6312899 HAS SOUS 2384971 HAS SOUPS 2294830 WITH SCORE 2302353.016
AT ITER 1329 NEW BEST:: SOT 11966682 SOS 7519713 HAS SOPS 6310327 HAS SOUS 2379955 HAS SOUPS 2289870 WITH SCORE 2297389.713
AT ITER 1331 NEW BEST:: SOT 11964297 SOS 7515613 HAS SOPS 6308686 HAS SOUS 2377484 HAS SOUPS 2287399 WITH SCORE 2294914.613
AT ITER 1340 NEW BEST:: SOT 11963495 SOS 7518674 HAS SOPS 6309730 HAS SOUS 2372706 HAS SOUPS 2282698 WITH SCORE 2290216.674
AT ITER 1341 NEW BEST:: SOT 11963476 SOS 7518684 HAS SOPS 6309723 HAS SOUS 2372613 HAS SOUPS 2282606 WITH SCORE 2290124.684
AT ITER 1363 NEW BEST:: SOT 11965848 SOS 7526390 HAS SOPS 6307589 HAS SOUS 2372174 HAS SOUPS 2282292 WITH SCORE 2289818.39
AT ITER 1376 NEW BEST:: SOT 11965084 SOS 7525482 HAS SOPS 6305629 HAS SOUS 2370410 HAS SOUPS 2280551 WITH SCORE 2288076.482
AT ITER 1381 NEW BEST:: SOT 11964977 SOS 7525371 HAS SOPS 6305448 HAS SOUS 2370145 HAS SOUPS 2280286 WITH SCORE 2287811.371
AT ITER 1387 NEW BEST:: SOT 11966464 SOS 7526628 HAS SOPS 6305982 HAS SOUS 2365807 HAS SOUPS 2276095 WITH SCORE 2283621.628
AT ITER 1402 NEW BEST:: SOT 11967628 SOS 7531919 HAS SOPS 6311039 HAS SOUS 2364808 HAS SOUPS 2275096 WITH SCORE 2282627.919
AT ITER 1420 NEW BEST:: SOT 11962838 SOS 7524585 HAS SOPS 6303545 HAS SOUS 2359133 HAS SOUPS 2269421 WITH SCORE 2276945.585
AT ITER 1432 NEW BEST:: SOT 11962830 SOS 7524457 HAS SOPS 6305033 HAS SOUS 2359023 HAS SOUPS 2269311 WITH SCORE 2276835.457
AT ITER 1444 NEW BEST:: SOT 11958272 SOS 7518979 HAS SOPS 6298038 HAS SOUS 2347646 HAS SOUPS 2258012 WITH SCORE 2265530.979
AT ITER 1450 NEW BEST:: SOT 11958186 SOS 7518779 HAS SOPS 6297800 HAS SOUS 2347568 HAS SOUPS 2257932 WITH SCORE 2265450.779
AT ITER 1466 NEW BEST:: SOT 11957211 SOS 7517776 HAS SOPS 6296169 HAS SOUS 2346781 HAS SOUPS 2257033 WITH SCORE 2264550.776
AT ITER 1468 NEW BEST:: SOT 11956334 SOS 7512683 HAS SOPS 6295326 HAS SOUS 2345932 HAS SOUPS 2256273 WITH SCORE 2263785.683
AT ITER 1484 NEW BEST:: SOT 11957435 SOS 7516028 HAS SOPS 6296992 HAS SOUS 2343621 HAS SOUPS 2253962 WITH SCORE 2261478.028
AT ITER 1490 NEW BEST:: SOT 11955094 SOS 7507990 HAS SOPS 6292947 HAS SOUS 2338089 HAS SOUPS 2248430 WITH SCORE 2255937.99
AT ITER 1517 NEW BEST:: SOT 11953018 SOS 7505653 HAS SOPS 6289003 HAS SOUS 2333621 HAS SOUPS 2243892 WITH SCORE 2251397.653
AT ITER 1521 NEW BEST:: SOT 11952614 SOS 7505813 HAS SOPS 6288720 HAS SOUS 2332439 HAS SOUPS 2242710 WITH SCORE 2250215.813
AT ITER 1527 NEW BEST:: SOT 11949366 SOS 7496587 HAS SOPS 6273552 HAS SOUS 2331992 HAS SOUPS 2242263 WITH SCORE 2249759.587
AT ITER 1528 NEW BEST:: SOT 11949356 SOS 7495904 HAS SOPS 6272904 HAS SOUS 2331539 HAS SOUPS 2241859 WITH SCORE 2249354.904
AT ITER 1537 NEW BEST:: SOT 11938476 SOS 7485210 HAS SOPS 6262270 HAS SOUS 2313404 HAS SOUPS 2223839 WITH SCORE 2231324.21
AT ITER 1540 NEW BEST:: SOT 11938580 SOS 7485606 HAS SOPS 6262972 HAS SOUS 2311137 HAS SOUPS 2221700 WITH SCORE 2229185.606
AT ITER 1545 NEW BEST:: SOT 11938241 SOS 7484761 HAS SOPS 6262298 HAS SOUS 2310920 HAS SOUPS 2221483 WITH SCORE 2228967.761
AT ITER 1550 NEW BEST:: SOT 11938223 SOS 7484743 HAS SOPS 6262280 HAS SOUS 2310730 HAS SOUPS 2221293 WITH SCORE 2228777.743
AT ITER 1559 NEW BEST:: SOT 11934299 SOS 7482815 HAS SOPS 6257371 HAS SOUS 2300607 HAS SOUPS 2211045 WITH SCORE 2218527.815
AT ITER 1564 NEW BEST:: SOT 11933379 SOS 7488683 HAS SOPS 6257557 HAS SOUS 2298737 HAS SOUPS 2208980 WITH SCORE 2216468.683
AT ITER 1573 NEW BEST:: SOT 11925140 SOS 7480206 HAS SOPS 6249318 HAS SOUS 2284678 HAS SOUPS 2195011 WITH SCORE 2202491.206
AT ITER 1592 NEW BEST:: SOT 11931603 SOS 7486989 HAS SOPS 6253829 HAS SOUS 2284236 HAS SOUPS 2194978 WITH SCORE 2202464.989
AT ITER 1593 NEW BEST:: SOT 11929805 SOS 7489961 HAS SOPS 6252566 HAS SOUS 2279241 HAS SOUPS 2189983 WITH SCORE 2197472.961
AT ITER 1615 NEW BEST:: SOT 11929785 SOS 7489842 HAS SOPS 6252363 HAS SOUS 2279175 HAS SOUPS 2189917 WITH SCORE 2197406.842
AT ITER 1616 NEW BEST:: SOT 11924555 SOS 7484612 HAS SOPS 6246397 HAS SOUS 2273289 HAS SOUPS 2183743 WITH SCORE 2191227.612
AT ITER 1619 NEW BEST:: SOT 11918333 SOS 7470002 HAS SOPS 6237931 HAS SOUS 2269629 HAS SOUPS 2180230 WITH SCORE 2187700.002
AT ITER 1641 NEW BEST:: SOT 11917480 SOS 7469502 HAS SOPS 6236935 HAS SOUS 2267567 HAS SOUPS 2178168 WITH SCORE 2185637.502
AT ITER 1658 NEW BEST:: SOT 11917788 SOS 7469794 HAS SOPS 6237539 HAS SOUS 2267433 HAS SOUPS 2178159 WITH SCORE 2185628.794
AT ITER 1676 NEW BEST:: SOT 11915487 SOS 7467141 HAS SOPS 6234414 HAS SOUS 2263069 HAS SOUPS 2173761 WITH SCORE 2181228.141
AT ITER 1692 NEW BEST:: SOT 11914799 SOS 7465331 HAS SOPS 6228349 HAS SOUS 2259180 HAS SOUPS 2169876 WITH SCORE 2177341.331
AT ITER 1695 NEW BEST:: SOT 11915054 SOS 7465541 HAS SOPS 6229435 HAS SOUS 2258919 HAS SOUPS 2169615 WITH SCORE 2177080.541
AT ITER 1704 NEW BEST:: SOT 11914971 SOS 7465371 HAS SOPS 6229261 HAS SOUS 2258798 HAS SOUPS 2169494 WITH SCORE 2176959.371
AT ITER 1711 NEW BEST:: SOT 11914104 SOS 7463649 HAS SOPS 6226982 HAS SOUS 2257516 HAS SOUPS 2168212 WITH SCORE 2175675.649
AT ITER 1723 NEW BEST:: SOT 11913841 SOS 7462102 HAS SOPS 6225782 HAS SOUS 2257287 HAS SOUPS 2167978 WITH SCORE 2175440.102
AT ITER 1729 NEW BEST:: SOT 11913832 SOS 7462096 HAS SOPS 6225680 HAS SOUS 2257245 HAS SOUPS 2167864 WITH SCORE 2175326.096
AT ITER 1732 NEW BEST:: SOT 11912761 SOS 7458719 HAS SOPS 6222575 HAS SOUS 2255323 HAS SOUPS 2165959 WITH SCORE 2173417.719
AT ITER 1742 NEW BEST:: SOT 11912122 SOS 7457430 HAS SOPS 6221720 HAS SOUS 2254762 HAS SOUPS 2165398 WITH SCORE 2172855.43
AT ITER 1772 NEW BEST:: SOT 11912793 SOS 7462198 HAS SOPS 6226112 HAS SOUS 2244354 HAS SOUPS 2155163 WITH SCORE 2162625.198
AT ITER 1781 NEW BEST:: SOT 11912377 SOS 7461794 HAS SOPS 6225500 HAS SOUS 2243262 HAS SOUPS 2154071 WITH SCORE 2161532.794
AT ITER 1782 NEW BEST:: SOT 11912245 SOS 7462768 HAS SOPS 6223416 HAS SOUS 2240575 HAS SOUPS 2151384 WITH SCORE 2158846.768
AT ITER 1803 NEW BEST:: SOT 11912056 SOS 7461033 HAS SOPS 6220045 HAS SOUS 2231634 HAS SOUPS 2142648 WITH SCORE 2150109.033
AT ITER 1804 NEW BEST:: SOT 11912414 SOS 7462615 HAS SOPS 6220140 HAS SOUS 2230371 HAS SOUPS 2141385 WITH SCORE 2148847.615
AT ITER 1815 NEW BEST:: SOT 11911095 SOS 7461476 HAS SOPS 6218448 HAS SOUS 2226709 HAS SOUPS 2137686 WITH SCORE 2145147.476
AT ITER 1827 NEW BEST:: SOT 11912593 SOS 7464566 HAS SOPS 6223051 HAS SOUS 2225722 HAS SOUPS 2136699 WITH SCORE 2144163.566
AT ITER 1831 NEW BEST:: SOT 11912636 SOS 7464587 HAS SOPS 6222984 HAS SOUS 2225712 HAS SOUPS 2136686 WITH SCORE 2144150.587
AT ITER 1839 NEW BEST:: SOT 11912665 SOS 7464360 HAS SOPS 6222702 HAS SOUS 2225599 HAS SOUPS 2136573 WITH SCORE 2144037.36
AT ITER 1846 NEW BEST:: SOT 11913465 SOS 7466775 HAS SOPS 6225244 HAS SOUS 2224998 HAS SOUPS 2135972 WITH SCORE 2143438.775
AT ITER 1877 NEW BEST:: SOT 11914750 SOS 7469217 HAS SOPS 6224693 HAS SOUS 2221493 HAS SOUPS 2132367 WITH SCORE 2139836.217
AT ITER 1886 NEW BEST:: SOT 11914651 SOS 7469790 HAS SOPS 6224370 HAS SOUS 2219489 HAS SOUPS 2129915 WITH SCORE 2137384.79
AT ITER 1897 NEW BEST:: SOT 11914270 SOS 7469458 HAS SOPS 6224888 HAS SOUS 2218271 HAS SOUPS 2128740 WITH SCORE 2136209.458
AT ITER 1902 NEW BEST:: SOT 11914270 SOS 7469475 HAS SOPS 6224679 HAS SOUS 2218257 HAS SOUPS 2128726 WITH SCORE 2136195.475
AT ITER 1906 NEW BEST:: SOT 11914369 SOS 7469576 HAS SOPS 6225062 HAS SOUS 2218019 HAS SOUPS 2128488 WITH SCORE 2135957.576
AT ITER 1917 NEW BEST:: SOT 11917413 SOS 7474843 HAS SOPS 6229272 HAS SOUS 2217661 HAS SOUPS 2128061 WITH SCORE 2135535.843
AT ITER 1921 NEW BEST:: SOT 11917123 SOS 7474770 HAS SOPS 6229580 HAS SOUS 2217427 HAS SOUPS 2127827 WITH SCORE 2135301.77
AT ITER 1942 NEW BEST:: SOT 11914078 SOS 7471041 HAS SOPS 6225961 HAS SOUS 2211348 HAS SOUPS 2121748 WITH SCORE 2129219.041
AT ITER 1951 NEW BEST:: SOT 11916075 SOS 7476569 HAS SOPS 6231476 HAS SOUS 2208511 HAS SOUPS 2118911 WITH SCORE 2126387.569
AT ITER 1958 NEW BEST:: SOT 11915612 SOS 7474670 HAS SOPS 6229283 HAS SOUS 2207394 HAS SOUPS 2117794 WITH SCORE 2125268.67
AT ITER 1964 NEW BEST:: SOT 11914675 SOS 7475557 HAS SOPS 6232186 HAS SOUS 2197633 HAS SOUPS 2108457 WITH SCORE 2115932.557
AT ITER 1983 NEW BEST:: SOT 11914603 SOS 7475491 HAS SOPS 6232024 HAS SOUS 2197225 HAS SOUPS 2108049 WITH SCORE 2115524.491
AT ITER 2023 NEW BEST:: SOT 11914617 SOS 7475168 HAS SOPS 6231926 HAS SOUS 2197177 HAS SOUPS 2108001 WITH SCORE 2115476.168
AT ITER 2033 NEW BEST:: SOT 11916586 SOS 7478108 HAS SOPS 6230218 HAS SOUS 2195761 HAS SOUPS 2106412 WITH SCORE 2113890.108
AT ITER 2041 NEW BEST:: SOT 11916562 SOS 7477206 HAS SOPS 6228825 HAS SOUS 2195703 HAS SOUPS 2106354 WITH SCORE 2113831.206
AT ITER 2043 NEW BEST:: SOT 11916175 SOS 7476819 HAS SOPS 6228438 HAS SOUS 2195604 HAS SOUPS 2106255 WITH SCORE 2113731.819
AT ITER 2046 NEW BEST:: SOT 11914339 SOS 7474564 HAS SOPS 6226694 HAS SOUS 2191451 HAS SOUPS 2102120 WITH SCORE 2109594.564
AT ITER 2054 NEW BEST:: SOT 11914108 SOS 7474333 HAS SOPS 6226319 HAS SOUS 2190419 HAS SOUPS 2101088 WITH SCORE 2108562.333
AT ITER 2062 NEW BEST:: SOT 11914132 SOS 7474363 HAS SOPS 6226421 HAS SOUS 2190383 HAS SOUPS 2101055 WITH SCORE 2108529.363
AT ITER 2085 NEW BEST:: SOT 11915798 SOS 7479723 HAS SOPS 6231706 HAS SOUS 2187929 HAS SOUPS 2098601 WITH SCORE 2106080.723
AT ITER 2087 NEW BEST:: SOT 11914600 SOS 7478543 HAS SOPS 6230620 HAS SOUS 2186793 HAS SOUPS 2097559 WITH SCORE 2105037.543
AT ITER 2090 NEW BEST:: SOT 11913247 SOS 7475793 HAS SOPS 6230405 HAS SOUS 2185059 HAS SOUPS 2096749 WITH SCORE 2104224.793
AT ITER 2107 NEW BEST:: SOT 11912464 SOS 7477169 HAS SOPS 6231720 HAS SOUS 2171866 HAS SOUPS 2083556 WITH SCORE 2091033.169
AT ITER 2126 NEW BEST:: SOT 11907868 SOS 7472354 HAS SOPS 6225874 HAS SOUS 2168421 HAS SOUPS 2080022 WITH SCORE 2087494.354
AT ITER 2151 NEW BEST:: SOT 11907889 SOS 7473843 HAS SOPS 6226760 HAS SOUS 2167320 HAS SOUPS 2078921 WITH SCORE 2086394.843
AT ITER 2154 NEW BEST:: SOT 11907322 SOS 7473124 HAS SOPS 6226358 HAS SOUS 2166413 HAS SOUPS 2078148 WITH SCORE 2085621.124
AT ITER 2155 NEW BEST:: SOT 11906296 SOS 7472277 HAS SOPS 6225618 HAS SOUS 2165670 HAS SOUPS 2077429 WITH SCORE 2084901.277
AT ITER 2166 NEW BEST:: SOT 11903225 SOS 7466040 HAS SOPS 6217239 HAS SOUS 2152842 HAS SOUPS 2064725 WITH SCORE 2072191.04
AT ITER 2168 NEW BEST:: SOT 11907226 SOS 7477800 HAS SOPS 6225854 HAS SOUS 2148520 HAS SOUPS 2060403 WITH SCORE 2067880.8
AT ITER 2170 NEW BEST:: SOT 11906788 SOS 7476948 HAS SOPS 6225440 HAS SOUS 2148124 HAS SOUPS 2060007 WITH SCORE 2067483.948
AT ITER 2184 NEW BEST:: SOT 11906564 SOS 7476724 HAS SOPS 6225216 HAS SOUS 2148124 HAS SOUPS 2060007 WITH SCORE 2067483.724
AT ITER 2221 NEW BEST:: SOT 11906544 SOS 7476704 HAS SOPS 6225196 HAS SOUS 2148100 HAS SOUPS 2059983 WITH SCORE 2067459.704
AT ITER 2224 NEW BEST:: SOT 11906101 SOS 7477747 HAS SOPS 6226215 HAS SOUS 2145974 HAS SOUPS 2057904 WITH SCORE 2065381.747
AT ITER 2243 NEW BEST:: SOT 11906103 SOS 7477694 HAS SOPS 6226356 HAS SOUS 2145965 HAS SOUPS 2057895 WITH SCORE 2065372.694
AT ITER 2263 NEW BEST:: SOT 11904621 SOS 7477984 HAS SOPS 6226784 HAS SOUS 2144160 HAS SOUPS 2056090 WITH SCORE 2063567.984
AT ITER 2282 NEW BEST:: SOT 11904411 SOS 7475081 HAS SOPS 6223311 HAS SOUS 2142950 HAS SOUPS 2054880 WITH SCORE 2062355.081
AT ITER 2288 NEW BEST:: SOT 11904327 SOS 7474757 HAS SOPS 6223093 HAS SOUS 2142405 HAS SOUPS 2054335 WITH SCORE 2061809.757
AT ITER 2295 NEW BEST:: SOT 11901550 SOS 7471053 HAS SOPS 6218804 HAS SOUS 2137391 HAS SOUPS 2049321 WITH SCORE 2056792.053
AT ITER 2299 NEW BEST:: SOT 11903040 SOS 7472650 HAS SOPS 6220998 HAS SOUS 2131459 HAS SOUPS 2043339 WITH SCORE 2050811.65
AT ITER 2314 NEW BEST:: SOT 11901416 SOS 7470990 HAS SOPS 6219338 HAS SOUS 2129777 HAS SOUPS 2041657 WITH SCORE 2049127.99
AT ITER 2324 NEW BEST:: SOT 11898740 SOS 7467687 HAS SOPS 6214052 HAS SOUS 2126482 HAS SOUPS 2038034 WITH SCORE 2045501.687
AT ITER 2327 NEW BEST:: SOT 11896794 SOS 7465741 HAS SOPS 6211626 HAS SOUS 2123256 HAS SOUPS 2034808 WITH SCORE 2042273.741
AT ITER 2345 NEW BEST:: SOT 11896283 SOS 7465272 HAS SOPS 6206871 HAS SOUS 2117781 HAS SOUPS 2029333 WITH SCORE 2036798.272
AT ITER 2348 NEW BEST:: SOT 11893066 SOS 7463358 HAS SOPS 6200962 HAS SOUS 2111314 HAS SOUPS 2022558 WITH SCORE 2030021.358
AT ITER 2349 NEW BEST:: SOT 11893038 SOS 7463186 HAS SOPS 6200758 HAS SOUS 2111256 HAS SOUPS 2022500 WITH SCORE 2029963.186
AT ITER 2353 NEW BEST:: SOT 11888271 SOS 7457223 HAS SOPS 6190516 HAS SOUS 2101744 HAS SOUPS 2012988 WITH SCORE 2020445.223
AT ITER 2359 NEW BEST:: SOT 11887409 SOS 7455861 HAS SOPS 6189204 HAS SOUS 2100644 HAS SOUPS 2011888 WITH SCORE 2019343.861
AT ITER 2361 NEW BEST:: SOT 11887341 SOS 7455793 HAS SOPS 6189120 HAS SOUS 2100548 HAS SOUPS 2011792 WITH SCORE 2019247.793
AT ITER 2372 NEW BEST:: SOT 11887394 SOS 7455958 HAS SOPS 6189241 HAS SOUS 2100441 HAS SOUPS 2011685 WITH SCORE 2019140.958
AT ITER 2427 NEW BEST:: SOT 11887744 SOS 7458219 HAS SOPS 6190243 HAS SOUS 2100389 HAS SOUPS 2011633 WITH SCORE 2019091.219
AT ITER 2435 NEW BEST:: SOT 11887228 SOS 7457718 HAS SOPS 6189182 HAS SOUS 2097433 HAS SOUPS 2008677 WITH SCORE 2016134.718
AT ITER 2456 NEW BEST:: SOT 11887228 SOS 7457700 HAS SOPS 6189164 HAS SOUS 2096954 HAS SOUPS 2008198 WITH SCORE 2015655.7
AT ITER 2469 NEW BEST:: SOT 11886940 SOS 7457468 HAS SOPS 6188566 HAS SOUS 2096270 HAS SOUPS 2007494 WITH SCORE 2014951.468
AT ITER 2485 NEW BEST:: SOT 11886940 SOS 7457996 HAS SOPS 6189479 HAS SOUS 2095894 HAS SOUPS 2007118 WITH SCORE 2014575.996
AT ITER 2498 NEW BEST:: SOT 11885242 SOS 7457719 HAS SOPS 6189883 HAS SOUS 2091480 HAS SOUPS 2002767 WITH SCORE 2010224.719
AT ITER 2507 NEW BEST:: SOT 11885150 SOS 7457627 HAS SOPS 6189791 HAS SOUS 2091292 HAS SOUPS 2002579 WITH SCORE 2010036.627
AT ITER 2525 NEW BEST:: SOT 11885205 SOS 7458064 HAS SOPS 6190004 HAS SOUS 2090730 HAS SOUPS 2002017 WITH SCORE 2009475.064
AT ITER 2531 NEW BEST:: SOT 11885488 SOS 7459000 HAS SOPS 6190992 HAS SOUS 2090504 HAS SOUPS 2001797 WITH SCORE 2009256.0
AT ITER 2545 NEW BEST:: SOT 11885396 SOS 7458846 HAS SOPS 6190876 HAS SOUS 2090334 HAS SOUPS 2001645 WITH SCORE 2009103.846
AT ITER 2562 NEW BEST:: SOT 11887078 SOS 7461252 HAS SOPS 6195376 HAS SOUS 2085704 HAS SOUPS 1997015 WITH SCORE 2004476.252
AT ITER 2566 NEW BEST:: SOT 11886022 SOS 7460217 HAS SOPS 6194455 HAS SOUS 2084873 HAS SOUPS 1996187 WITH SCORE 2003647.217
AT ITER 2567 NEW BEST:: SOT 11886129 SOS 7460124 HAS SOPS 6194401 HAS SOUS 2083891 HAS SOUPS 1995179 WITH SCORE 2002639.124
AT ITER 2590 NEW BEST:: SOT 11886568 SOS 7461835 HAS SOPS 6195884 HAS SOUS 2079498 HAS SOUPS 1990786 WITH SCORE 1998247.835
AT ITER 2600 NEW BEST:: SOT 11886459 SOS 7461699 HAS SOPS 6196285 HAS SOUS 2079310 HAS SOUPS 1990535 WITH SCORE 1997996.699
AT ITER 2603 NEW BEST:: SOT 11883599 SOS 7455188 HAS SOPS 6190779 HAS SOUS 2075962 HAS SOUPS 1987283 WITH SCORE 1994738.188
AT ITER 2614 NEW BEST:: SOT 11883537 SOS 7455126 HAS SOPS 6190717 HAS SOUS 2075668 HAS SOUPS 1986989 WITH SCORE 1994444.126
AT ITER 2634 NEW BEST:: SOT 11883303 SOS 7454888 HAS SOPS 6190479 HAS SOUS 2075470 HAS SOUPS 1986791 WITH SCORE 1994245.888
AT ITER 2635 NEW BEST:: SOT 11882487 SOS 7454072 HAS SOPS 6189391 HAS SOUS 2073838 HAS SOUPS 1985159 WITH SCORE 1992613.072
AT ITER 2638 NEW BEST:: SOT 11882281 SOS 7453679 HAS SOPS 6189138 HAS SOUS 2073171 HAS SOUPS 1984585 WITH SCORE 1992038.679
AT ITER 2666 NEW BEST:: SOT 11880942 SOS 7450879 HAS SOPS 6188252 HAS SOUS 2072727 HAS SOUPS 1984141 WITH SCORE 1991591.879
AT ITER 2672 NEW BEST:: SOT 11879356 SOS 7448391 HAS SOPS 6186327 HAS SOUS 2070148 HAS SOUPS 1981645 WITH SCORE 1989093.391
AT ITER 2673 NEW BEST:: SOT 11878995 SOS 7447904 HAS SOPS 6185910 HAS SOUS 2069426 HAS SOUPS 1980923 WITH SCORE 1988370.904
AT ITER 2676 NEW BEST:: SOT 11879146 SOS 7446496 HAS SOPS 6184631 HAS SOUS 2068624 HAS SOUPS 1980121 WITH SCORE 1987567.496
AT ITER 2684 NEW BEST:: SOT 11881127 SOS 7450341 HAS SOPS 6191111 HAS SOUS 2066031 HAS SOUPS 1977528 WITH SCORE 1984978.341
AT ITER 2690 NEW BEST:: SOT 11879336 SOS 7449151 HAS SOPS 6189641 HAS SOUS 2064591 HAS SOUPS 1976038 WITH SCORE 1983487.151
AT ITER 2703 NEW BEST:: SOT 11881266 SOS 7450858 HAS SOPS 6193903 HAS SOUS 2063951 HAS SOUPS 1975398 WITH SCORE 1982848.858
AT ITER 2710 NEW BEST:: SOT 11882286 SOS 7456078 HAS SOPS 6197764 HAS SOUS 2055263 HAS SOUPS 1966710 WITH SCORE 1974166.078
AT ITER 2742 NEW BEST:: SOT 11881606 SOS 7456955 HAS SOPS 6199866 HAS SOUS 2048654 HAS SOUPS 1960182 WITH SCORE 1967638.955
AT ITER 2745 NEW BEST:: SOT 11881706 SOS 7458181 HAS SOPS 6200727 HAS SOUS 2048651 HAS SOUPS 1960168 WITH SCORE 1967626.181
AT ITER 2751 NEW BEST:: SOT 11881611 SOS 7458093 HAS SOPS 6200638 HAS SOUS 2048515 HAS SOUPS 1960046 WITH SCORE 1967504.093
AT ITER 2763 NEW BEST:: SOT 11882777 SOS 7459400 HAS SOPS 6200890 HAS SOUS 2046799 HAS SOUPS 1958289 WITH SCORE 1965748.4
AT ITER 2771 NEW BEST:: SOT 11881569 SOS 7458192 HAS SOPS 6199682 HAS SOUS 2045943 HAS SOUPS 1957433 WITH SCORE 1964891.192
AT ITER 2776 NEW BEST:: SOT 11881507 SOS 7455908 HAS SOPS 6199797 HAS SOUS 2044110 HAS SOUPS 1955600 WITH SCORE 1963055.908
AT ITER 2788 NEW BEST:: SOT 11881246 SOS 7455660 HAS SOPS 6200124 HAS SOUS 2043022 HAS SOUPS 1954512 WITH SCORE 1961967.66
AT ITER 2791 NEW BEST:: SOT 11881301 SOS 7455859 HAS SOPS 6200491 HAS SOUS 2042850 HAS SOUPS 1954355 WITH SCORE 1961810.859
AT ITER 2792 NEW BEST:: SOT 11884549 SOS 7459087 HAS SOPS 6203127 HAS SOUS 2042802 HAS SOUPS 1954307 WITH SCORE 1961766.087
AT ITER 2813 NEW BEST:: SOT 11884654 SOS 7459085 HAS SOPS 6203151 HAS SOUS 2042685 HAS SOUPS 1954203 WITH SCORE 1961662.085
AT ITER 2819 NEW BEST:: SOT 11882807 SOS 7457066 HAS SOPS 6200554 HAS SOUS 2042667 HAS SOUPS 1953736 WITH SCORE 1961193.066
AT ITER 2823 NEW BEST:: SOT 11882519 SOS 7456476 HAS SOPS 6199571 HAS SOUS 2041747 HAS SOUPS 1952816 WITH SCORE 1960272.476
AT ITER 2833 NEW BEST:: SOT 11881665 SOS 7455702 HAS SOPS 6198387 HAS SOUS 2039102 HAS SOUPS 1950171 WITH SCORE 1957626.702
AT ITER 2855 NEW BEST:: SOT 11880976 SOS 7454964 HAS SOPS 6197534 HAS SOUS 2038642 HAS SOUPS 1949683 WITH SCORE 1957137.964
AT ITER 2872 NEW BEST:: SOT 11880009 SOS 7454342 HAS SOPS 6196910 HAS SOUS 2037731 HAS SOUPS 1948772 WITH SCORE 1956226.342
AT ITER 2877 NEW BEST:: SOT 11879489 SOS 7453813 HAS SOPS 6196237 HAS SOUS 2036743 HAS SOUPS 1947784 WITH SCORE 1955237.813
AT ITER 2885 NEW BEST:: SOT 11877768 SOS 7451446 HAS SOPS 6193240 HAS SOUS 2034708 HAS SOUPS 1945784 WITH SCORE 1953235.446
AT ITER 2906 NEW BEST:: SOT 11877841 SOS 7451783 HAS SOPS 6194147 HAS SOUS 2034551 HAS SOUPS 1945627 WITH SCORE 1953078.783
AT ITER 2913 NEW BEST:: SOT 11877548 SOS 7451385 HAS SOPS 6193624 HAS SOUS 2033978 HAS SOUPS 1945059 WITH SCORE 1952510.385
AT ITER 2931 NEW BEST:: SOT 11877531 SOS 7451387 HAS SOPS 6193657 HAS SOUS 2033930 HAS SOUPS 1945011 WITH SCORE 1952462.387
AT ITER 2958 NEW BEST:: SOT 11877040 SOS 7451194 HAS SOPS 6192818 HAS SOUS 2032647 HAS SOUPS 1943709 WITH SCORE 1951160.194
AT ITER 2971 NEW BEST:: SOT 11876321 SOS 7450748 HAS SOPS 6191116 HAS SOUS 2031411 HAS SOUPS 1942473 WITH SCORE 1949923.748
AT ITER 2991 NEW BEST:: SOT 11876141 SOS 7450568 HAS SOPS 6190936 HAS SOUS 2031411 HAS SOUPS 1942473 WITH SCORE 1949923.568
AT ITER 3045 NEW BEST:: SOT 11879676 SOS 7460159 HAS SOPS 6197514 HAS SOUS 2028147 HAS SOUPS 1939209 WITH SCORE 1946669.159
AT ITER 3052 NEW BEST:: SOT 11879000 SOS 7459907 HAS SOPS 6197024 HAS SOUS 2026183 HAS SOUPS 1937229 WITH SCORE 1944688.907
AT ITER 3072 NEW BEST:: SOT 11872828 SOS 7453732 HAS SOPS 6190049 HAS SOUS 2016591 HAS SOUPS 1927573 WITH SCORE 1935026.732
AT ITER 3073 NEW BEST:: SOT 11872206 SOS 7452705 HAS SOPS 6189200 HAS SOUS 2016032 HAS SOUPS 1927038 WITH SCORE 1934490.705
AT ITER 3084 NEW BEST:: SOT 11872938 SOS 7456658 HAS SOPS 6194184 HAS SOUS 2014938 HAS SOUPS 1925944 WITH SCORE 1933400.658
AT ITER 3090 NEW BEST:: SOT 11873015 SOS 7456513 HAS SOPS 6193890 HAS SOUS 2014785 HAS SOUPS 1925791 WITH SCORE 1933247.513
AT ITER 3095 NEW BEST:: SOT 11872708 SOS 7456221 HAS SOPS 6193445 HAS SOUS 2014508 HAS SOUPS 1925361 WITH SCORE 1932817.221
AT ITER 3106 NEW BEST:: SOT 11872692 SOS 7456193 HAS SOPS 6193407 HAS SOUS 2014466 HAS SOUPS 1925321 WITH SCORE 1932777.193
AT ITER 3129 NEW BEST:: SOT 11872077 SOS 7456062 HAS SOPS 6193173 HAS SOUS 2014021 HAS SOUPS 1924804 WITH SCORE 1932260.062
AT ITER 3131 NEW BEST:: SOT 11872261 SOS 7457695 HAS SOPS 6194386 HAS SOUS 2013648 HAS SOUPS 1924431 WITH SCORE 1931888.695
AT ITER 3135 NEW BEST:: SOT 11872295 SOS 7457702 HAS SOPS 6194332 HAS SOUS 2013527 HAS SOUPS 1924310 WITH SCORE 1931767.702
AT ITER 3143 NEW BEST:: SOT 11871265 SOS 7456693 HAS SOPS 6192798 HAS SOUS 2011608 HAS SOUPS 1922377 WITH SCORE 1929833.693
AT ITER 3158 NEW BEST:: SOT 11871194 SOS 7455700 HAS SOPS 6192943 HAS SOUS 2010578 HAS SOUPS 1921377 WITH SCORE 1928832.7
AT ITER 3163 NEW BEST:: SOT 11870676 SOS 7455006 HAS SOPS 6192153 HAS SOUS 2009720 HAS SOUPS 1920523 WITH SCORE 1927978.006
AT ITER 3164 NEW BEST:: SOT 11874252 SOS 7465929 HAS SOPS 6202038 HAS SOUS 2009390 HAS SOUPS 1920193 WITH SCORE 1927658.929
AT ITER 3165 NEW BEST:: SOT 11873696 SOS 7465373 HAS SOPS 6201306 HAS SOUS 2008026 HAS SOUPS 1918829 WITH SCORE 1926294.373
AT ITER 3179 NEW BEST:: SOT 11866541 SOS 7457314 HAS SOPS 6193663 HAS SOUS 2003711 HAS SOUPS 1914610 WITH SCORE 1922067.314
AT ITER 3190 NEW BEST:: SOT 11865033 SOS 7455601 HAS SOPS 6191032 HAS SOUS 1999441 HAS SOUPS 1910340 WITH SCORE 1917795.601
AT ITER 3203 NEW BEST:: SOT 11864952 SOS 7455484 HAS SOPS 6190855 HAS SOUS 1999387 HAS SOUPS 1910286 WITH SCORE 1917741.484
AT ITER 3204 NEW BEST:: SOT 11864465 SOS 7455063 HAS SOPS 6190368 HAS SOUS 1998640 HAS SOUPS 1909517 WITH SCORE 1916972.063
AT ITER 3210 NEW BEST:: SOT 11867033 SOS 7471209 HAS SOPS 6203810 HAS SOUS 1997447 HAS SOUPS 1908324 WITH SCORE 1915795.209
AT ITER 3234 NEW BEST:: SOT 11866132 SOS 7470391 HAS SOPS 6203541 HAS SOUS 1997180 HAS SOUPS 1908057 WITH SCORE 1915527.391
AT ITER 3263 NEW BEST:: SOT 11866112 SOS 7470155 HAS SOPS 6203185 HAS SOUS 1997124 HAS SOUPS 1908001 WITH SCORE 1915471.155
AT ITER 3266 NEW BEST:: SOT 11865386 SOS 7469429 HAS SOPS 6202235 HAS SOUS 1995558 HAS SOUPS 1906435 WITH SCORE 1913904.429
AT ITER 3274 NEW BEST:: SOT 11866079 SOS 7469008 HAS SOPS 6203411 HAS SOUS 1993581 HAS SOUPS 1904458 WITH SCORE 1911927.008
AT ITER 3281 NEW BEST:: SOT 11865004 SOS 7469629 HAS SOPS 6203024 HAS SOUS 1991865 HAS SOUPS 1902690 WITH SCORE 1910159.629
AT ITER 3289 NEW BEST:: SOT 11864240 SOS 7468802 HAS SOPS 6201082 HAS SOUS 1991318 HAS SOUPS 1902104 WITH SCORE 1909572.802
AT ITER 3314 NEW BEST:: SOT 11861819 SOS 7465461 HAS SOPS 6197869 HAS SOUS 1986004 HAS SOUPS 1896822 WITH SCORE 1904287.461
AT ITER 3327 NEW BEST:: SOT 11860623 SOS 7464608 HAS SOPS 6196762 HAS SOUS 1976257 HAS SOUPS 1886965 WITH SCORE 1894429.608
AT ITER 3331 NEW BEST:: SOT 11852442 SOS 7456520 HAS SOPS 6185419 HAS SOUS 1957760 HAS SOUPS 1868454 WITH SCORE 1875910.52
AT ITER 3352 NEW BEST:: SOT 11852405 SOS 7455881 HAS SOPS 6184387 HAS SOUS 1957482 HAS SOUPS 1868176 WITH SCORE 1875631.881
AT ITER 3379 NEW BEST:: SOT 11852303 SOS 7455736 HAS SOPS 6184233 HAS SOUS 1957252 HAS SOUPS 1867946 WITH SCORE 1875401.736
AT ITER 3384 NEW BEST:: SOT 11847085 SOS 7445149 HAS SOPS 6178321 HAS SOUS 1949997 HAS SOUPS 1861101 WITH SCORE 1868546.149
AT ITER 3401 NEW BEST:: SOT 11846749 SOS 7443493 HAS SOPS 6176665 HAS SOUS 1948923 HAS SOUPS 1860027 WITH SCORE 1867470.493
AT ITER 3422 NEW BEST:: SOT 11846961 SOS 7443482 HAS SOPS 6175999 HAS SOUS 1947056 HAS SOUPS 1858119 WITH SCORE 1865562.482
AT ITER 3433 NEW BEST:: SOT 11850374 SOS 7452538 HAS SOPS 6183794 HAS SOUS 1946209 HAS SOUPS 1857335 WITH SCORE 1864787.538
AT ITER 3434 NEW BEST:: SOT 11853371 SOS 7459427 HAS SOPS 6188931 HAS SOUS 1945113 HAS SOUPS 1856367 WITH SCORE 1863826.427
AT ITER 3476 NEW BEST:: SOT 11853251 SOS 7459307 HAS SOPS 6188779 HAS SOUS 1944865 HAS SOUPS 1856119 WITH SCORE 1863578.307
AT ITER 3497 NEW BEST:: SOT 11853275 SOS 7459953 HAS SOPS 6189472 HAS SOUS 1944776 HAS SOUPS 1856030 WITH SCORE 1863489.953
AT ITER 3506 NEW BEST:: SOT 11856920 SOS 7469333 HAS SOPS 6197300 HAS SOUS 1942602 HAS SOUPS 1853759 WITH SCORE 1861228.333
AT ITER 3511 NEW BEST:: SOT 11856312 SOS 7468725 HAS SOPS 6196388 HAS SOUS 1940930 HAS SOUPS 1852087 WITH SCORE 1859555.725
AT ITER 3525 NEW BEST:: SOT 11856992 SOS 7471245 HAS SOPS 6198370 HAS SOUS 1937966 HAS SOUPS 1849123 WITH SCORE 1856594.245
AT ITER 3530 NEW BEST:: SOT 11857591 SOS 7471224 HAS SOPS 6198969 HAS SOUS 1934840 HAS SOUPS 1846056 WITH SCORE 1853527.224
AT ITER 3539 NEW BEST:: SOT 11863728 SOS 7480141 HAS SOPS 6204429 HAS SOUS 1931312 HAS SOUPS 1842528 WITH SCORE 1850008.141
AT ITER 3541 NEW BEST:: SOT 11863821 SOS 7476890 HAS SOPS 6200566 HAS SOUS 1930406 HAS SOUPS 1841622 WITH SCORE 1849098.89
AT ITER 3549 NEW BEST:: SOT 11864544 SOS 7480580 HAS SOPS 6204856 HAS SOUS 1929259 HAS SOUPS 1840475 WITH SCORE 1847955.58
AT ITER 3555 NEW BEST:: SOT 11864918 SOS 7480821 HAS SOPS 6205877 HAS SOUS 1928303 HAS SOUPS 1839519 WITH SCORE 1846999.821
AT ITER 3562 NEW BEST:: SOT 11864495 SOS 7479905 HAS SOPS 6204814 HAS SOUS 1927939 HAS SOUPS 1839155 WITH SCORE 1846634.905
AT ITER 3580 NEW BEST:: SOT 11864489 SOS 7479666 HAS SOPS 6204498 HAS SOUS 1927818 HAS SOUPS 1839034 WITH SCORE 1846513.666
AT ITER 3581 NEW BEST:: SOT 11868994 SOS 7483874 HAS SOPS 6207818 HAS SOUS 1927587 HAS SOUPS 1838853 WITH SCORE 1846336.874
AT ITER 3592 NEW BEST:: SOT 11867992 SOS 7480788 HAS SOPS 6204732 HAS SOUS 1925719 HAS SOUPS 1837032 WITH SCORE 1844512.788
AT ITER 3594 NEW BEST:: SOT 11867672 SOS 7480251 HAS SOPS 6204306 HAS SOUS 1925558 HAS SOUPS 1836871 WITH SCORE 1844351.251
AT ITER 3625 NEW BEST:: SOT 11868038 SOS 7481066 HAS SOPS 6204911 HAS SOUS 1925250 HAS SOUPS 1836554 WITH SCORE 1844035.066
AT ITER 3635 NEW BEST:: SOT 11868526 SOS 7482259 HAS SOPS 6205741 HAS SOUS 1925046 HAS SOUPS 1836278 WITH SCORE 1843760.259
AT ITER 3640 NEW BEST:: SOT 11868370 SOS 7482103 HAS SOPS 6205585 HAS SOUS 1925046 HAS SOUPS 1836278 WITH SCORE 1843760.103
AT ITER 3651 NEW BEST:: SOT 11866999 SOS 7480953 HAS SOPS 6203700 HAS SOUS 1920471 HAS SOUPS 1831703 WITH SCORE 1839183.953
AT ITER 3654 NEW BEST:: SOT 11852331 SOS 7446112 HAS SOPS 6172356 HAS SOUS 1913613 HAS SOUPS 1824845 WITH SCORE 1832291.112
AT ITER 3658 NEW BEST:: SOT 11852596 SOS 7448084 HAS SOPS 6176279 HAS SOUS 1908403 HAS SOUPS 1819635 WITH SCORE 1827083.084
AT ITER 3661 NEW BEST:: SOT 11853004 SOS 7449031 HAS SOPS 6177189 HAS SOUS 1907288 HAS SOUPS 1818520 WITH SCORE 1825969.031
AT ITER 3706 NEW BEST:: SOT 11852996 SOS 7449090 HAS SOPS 6177204 HAS SOUS 1907281 HAS SOUPS 1818509 WITH SCORE 1825958.09
AT ITER 3715 NEW BEST:: SOT 11853141 SOS 7449548 HAS SOPS 6177578 HAS SOUS 1906981 HAS SOUPS 1818209 WITH SCORE 1825658.548
AT ITER 3720 NEW BEST:: SOT 11862171 SOS 7429138 HAS SOPS 6161177 HAS SOUS 1901820 HAS SOUPS 1812715 WITH SCORE 1820144.138
AT ITER 3727 NEW BEST:: SOT 11861386 SOS 7428235 HAS SOPS 6160224 HAS SOUS 1899977 HAS SOUPS 1810872 WITH SCORE 1818300.235
AT ITER 3729 NEW BEST:: SOT 11860965 SOS 7428950 HAS SOPS 6160137 HAS SOUS 1897430 HAS SOUPS 1808325 WITH SCORE 1815753.95
AT ITER 3739 NEW BEST:: SOT 11861816 SOS 7429864 HAS SOPS 6161076 HAS SOUS 1897381 HAS SOUPS 1808301 WITH SCORE 1815730.864
AT ITER 3740 NEW BEST:: SOT 11861802 SOS 7429823 HAS SOPS 6161025 HAS SOUS 1897331 HAS SOUPS 1808251 WITH SCORE 1815680.823
AT ITER 3750 NEW BEST:: SOT 11861269 SOS 7429166 HAS SOPS 6160237 HAS SOUS 1896773 HAS SOUPS 1807693 WITH SCORE 1815122.166
AT ITER 3755 NEW BEST:: SOT 11860213 SOS 7429541 HAS SOPS 6160859 HAS SOUS 1893363 HAS SOUPS 1804283 WITH SCORE 1811712.541
AT ITER 3758 NEW BEST:: SOT 11860194 SOS 7429041 HAS SOPS 6160460 HAS SOUS 1893342 HAS SOUPS 1804262 WITH SCORE 1811691.041
AT ITER 3764 NEW BEST:: SOT 11861205 SOS 7434069 HAS SOPS 6165898 HAS SOUS 1893008 HAS SOUPS 1803928 WITH SCORE 1811362.069
AT ITER 3767 NEW BEST:: SOT 11865361 SOS 7444939 HAS SOPS 6176525 HAS SOUS 1887928 HAS SOUPS 1798961 WITH SCORE 1806405.939
AT ITER 3768 NEW BEST:: SOT 11865756 SOS 7450235 HAS SOPS 6180088 HAS SOUS 1885374 HAS SOUPS 1796407 WITH SCORE 1803857.235
AT ITER 3777 NEW BEST:: SOT 11865620 SOS 7450158 HAS SOPS 6179833 HAS SOUS 1884995 HAS SOUPS 1796020 WITH SCORE 1803470.158
AT ITER 3796 NEW BEST:: SOT 11864205 SOS 7449050 HAS SOPS 6179645 HAS SOUS 1876478 HAS SOUPS 1788199 WITH SCORE 1795648.05
AT ITER 3799 NEW BEST:: SOT 11866458 SOS 7459051 HAS SOPS 6189164 HAS SOUS 1875281 HAS SOUPS 1787088 WITH SCORE 1794547.051
AT ITER 3812 NEW BEST:: SOT 11865490 SOS 7457793 HAS SOPS 6187906 HAS SOUS 1874199 HAS SOUPS 1786006 WITH SCORE 1793463.793
AT ITER 3821 NEW BEST:: SOT 11860973 SOS 7452517 HAS SOPS 6182557 HAS SOUS 1870814 HAS SOUPS 1782584 WITH SCORE 1790036.517
AT ITER 3835 NEW BEST:: SOT 11866148 SOS 7457396 HAS SOPS 6184566 HAS SOUS 1870271 HAS SOUPS 1782048 WITH SCORE 1789505.396
AT ITER 3839 NEW BEST:: SOT 11866745 SOS 7458814 HAS SOPS 6185624 HAS SOUS 1870176 HAS SOUPS 1781953 WITH SCORE 1789411.814
AT ITER 3857 NEW BEST:: SOT 11866565 SOS 7458634 HAS SOPS 6185444 HAS SOUS 1869816 HAS SOUPS 1781593 WITH SCORE 1789051.634
AT ITER 3862 NEW BEST:: SOT 11866021 SOS 7455798 HAS SOPS 6184056 HAS SOUS 1865988 HAS SOUPS 1778569 WITH SCORE 1786024.798
AT ITER 3872 NEW BEST:: SOT 11865005 SOS 7454205 HAS SOPS 6182704 HAS SOUS 1864636 HAS SOUPS 1777224 WITH SCORE 1784678.205
AT ITER 3882 NEW BEST:: SOT 11863412 SOS 7452190 HAS SOPS 6180118 HAS SOUS 1862995 HAS SOUPS 1775583 WITH SCORE 1783035.19
AT ITER 3893 NEW BEST:: SOT 11862188 SOS 7450966 HAS SOPS 6178622 HAS SOUS 1861091 HAS SOUPS 1773679 WITH SCORE 1781129.966
AT ITER 3909 NEW BEST:: SOT 11860773 SOS 7450277 HAS SOPS 6176957 HAS SOUS 1858332 HAS SOUPS 1770898 WITH SCORE 1778348.277
AT ITER 3937 NEW BEST:: SOT 11860953 SOS 7450540 HAS SOPS 6177283 HAS SOUS 1858101 HAS SOUPS 1770667 WITH SCORE 1778117.54
AT ITER 3945 NEW BEST:: SOT 11860059 SOS 7448964 HAS SOPS 6174676 HAS SOUS 1856997 HAS SOUPS 1769593 WITH SCORE 1777041.964
AT ITER 3980 NEW BEST:: SOT 11861735 SOS 7449743 HAS SOPS 6179819 HAS SOUS 1855493 HAS SOUPS 1768111 WITH SCORE 1775560.743
AT ITER 3995 NEW BEST:: SOT 11861503 SOS 7449688 HAS SOPS 6179412 HAS SOUS 1855053 HAS SOUPS 1767643 WITH SCORE 1775092.688
AT ITER 3999 NEW BEST:: SOT 11861270 SOS 7449736 HAS SOPS 6179262 HAS SOUS 1853320 HAS SOUPS 1765910 WITH SCORE 1773359.736
AT ITER 4001 NEW BEST:: SOT 11861183 SOS 7449897 HAS SOPS 6179420 HAS SOUS 1853188 HAS SOUPS 1765778 WITH SCORE 1773227.897
AT ITER 4039 NEW BEST:: SOT 11861723 SOS 7452447 HAS SOPS 6180972 HAS SOUS 1850626 HAS SOUPS 1763242 WITH SCORE 1770694.447
AT ITER 4053 NEW BEST:: SOT 11861433 SOS 7452421 HAS SOPS 6180706 HAS SOUS 1850052 HAS SOUPS 1762662 WITH SCORE 1770114.421
AT ITER 4073 NEW BEST:: SOT 11862681 SOS 7457776 HAS SOPS 6184566 HAS SOUS 1847956 HAS SOUPS 1760566 WITH SCORE 1768023.776
AT ITER 4079 NEW BEST:: SOT 11862702 SOS 7457019 HAS SOPS 6184123 HAS SOUS 1847943 HAS SOUPS 1760553 WITH SCORE 1768010.019
AT ITER 4097 NEW BEST:: SOT 11858384 SOS 7452702 HAS SOPS 6179284 HAS SOUS 1840598 HAS SOUPS 1753208 WITH SCORE 1760660.702
AT ITER 4099 NEW BEST:: SOT 11860336 SOS 7452956 HAS SOPS 6179777 HAS SOUS 1840125 HAS SOUPS 1752794 WITH SCORE 1760246.956
AT ITER 4107 NEW BEST:: SOT 11856236 SOS 7434181 HAS SOPS 6150925 HAS SOUS 1833320 HAS SOUPS 1745731 WITH SCORE 1753165.181
AT ITER 4135 NEW BEST:: SOT 11850168 SOS 7423279 HAS SOPS 6140982 HAS SOUS 1828186 HAS SOUPS 1740597 WITH SCORE 1748020.279
AT ITER 4144 NEW BEST:: SOT 11849475 SOS 7422325 HAS SOPS 6140081 HAS SOUS 1827634 HAS SOUPS 1740045 WITH SCORE 1747467.325
AT ITER 4160 NEW BEST:: SOT 11849314 SOS 7421837 HAS SOPS 6140320 HAS SOUS 1826665 HAS SOUPS 1739076 WITH SCORE 1746497.837
AT ITER 4238 NEW BEST:: SOT 11847071 SOS 7418773 HAS SOPS 6136076 HAS SOUS 1822291 HAS SOUPS 1734702 WITH SCORE 1742120.773
AT ITER 4256 NEW BEST:: SOT 11846127 SOS 7417424 HAS SOPS 6134184 HAS SOUS 1819555 HAS SOUPS 1731987 WITH SCORE 1739404.424
AT ITER 4277 NEW BEST:: SOT 11846468 SOS 7416379 HAS SOPS 6132027 HAS SOUS 1818022 HAS SOUPS 1730454 WITH SCORE 1737870.379
AT ITER 4283 NEW BEST:: SOT 11846234 SOS 7416172 HAS SOPS 6131763 HAS SOUS 1817542 HAS SOUPS 1729974 WITH SCORE 1737390.172
AT ITER 4287 NEW BEST:: SOT 11845168 SOS 7414980 HAS SOPS 6130804 HAS SOUS 1807702 HAS SOUPS 1720174 WITH SCORE 1727588.98
AT ITER 4288 NEW BEST:: SOT 11844051 SOS 7413411 HAS SOPS 6128540 HAS SOUS 1806667 HAS SOUPS 1719139 WITH SCORE 1726552.411
AT ITER 4297 NEW BEST:: SOT 11840875 SOS 7407118 HAS SOPS 6122151 HAS SOUS 1803349 HAS SOUPS 1715821 WITH SCORE 1723228.118
AT ITER 4312 NEW BEST:: SOT 11838352 SOS 7403590 HAS SOPS 6119066 HAS SOUS 1802177 HAS SOUPS 1714649 WITH SCORE 1722052.59
AT ITER 4326 NEW BEST:: SOT 11838300 SOS 7404389 HAS SOPS 6119241 HAS SOUS 1801839 HAS SOUPS 1714295 WITH SCORE 1721699.389
AT ITER 4333 NEW BEST:: SOT 11835995 SOS 7400760 HAS SOPS 6115614 HAS SOUS 1801570 HAS SOUPS 1714026 WITH SCORE 1721426.76
AT ITER 4352 NEW BEST:: SOT 11834248 SOS 7396315 HAS SOPS 6112595 HAS SOUS 1801018 HAS SOUPS 1713521 WITH SCORE 1720917.315
AT ITER 4356 NEW BEST:: SOT 11834118 SOS 7396182 HAS SOPS 6112462 HAS SOUS 1800512 HAS SOUPS 1713015 WITH SCORE 1720411.182
AT ITER 4358 NEW BEST:: SOT 11834137 SOS 7395816 HAS SOPS 6111998 HAS SOUS 1800445 HAS SOUPS 1712951 WITH SCORE 1720346.816
AT ITER 4373 NEW BEST:: SOT 11829985 SOS 7391548 HAS SOPS 6106344 HAS SOUS 1796057 HAS SOUPS 1708400 WITH SCORE 1715791.548
AT ITER 4392 NEW BEST:: SOT 11828835 SOS 7390312 HAS SOPS 6105261 HAS SOUS 1794472 HAS SOUPS 1706815 WITH SCORE 1714205.312
AT ITER 4432 NEW BEST:: SOT 11828666 SOS 7389737 HAS SOPS 6104061 HAS SOUS 1793359 HAS SOUPS 1705702 WITH SCORE 1713091.737
AT ITER 4452 NEW BEST:: SOT 11828547 SOS 7389412 HAS SOPS 6103677 HAS SOUS 1793164 HAS SOUPS 1705507 WITH SCORE 1712896.412
AT ITER 4462 NEW BEST:: SOT 11828656 SOS 7389766 HAS SOPS 6103237 HAS SOUS 1792731 HAS SOUPS 1705057 WITH SCORE 1712446.766
AT ITER 4479 NEW BEST:: SOT 11830749 SOS 7395324 HAS SOPS 6107259 HAS SOUS 1792281 HAS SOUPS 1704607 WITH SCORE 1712002.324
AT ITER 4487 NEW BEST:: SOT 11830603 SOS 7395206 HAS SOPS 6107023 HAS SOUS 1792225 HAS SOUPS 1704427 WITH SCORE 1711822.206
AT ITER 4498 NEW BEST:: SOT 11831786 SOS 7396563 HAS SOPS 6107503 HAS SOUS 1789110 HAS SOUPS 1701262 WITH SCORE 1708658.563
AT ITER 4570 NEW BEST:: SOT 11831802 SOS 7397014 HAS SOPS 6108146 HAS SOUS 1789094 HAS SOUPS 1701246 WITH SCORE 1708643.014
AT ITER 4583 NEW BEST:: SOT 11831770 SOS 7395226 HAS SOPS 6107029 HAS SOUS 1789038 HAS SOUPS 1701190 WITH SCORE 1708585.226
AT ITER 4584 NEW BEST:: SOT 11833524 SOS 7396980 HAS SOPS 6108015 HAS SOUS 1787628 HAS SOUPS 1699684 WITH SCORE 1707080.98
AT ITER 4593 NEW BEST:: SOT 11834816 SOS 7399402 HAS SOPS 6111650 HAS SOUS 1785687 HAS SOUPS 1697816 WITH SCORE 1705215.402
AT ITER 4595 NEW BEST:: SOT 11834728 SOS 7398181 HAS SOPS 6110791 HAS SOUS 1785406 HAS SOUPS 1697535 WITH SCORE 1704933.181
AT ITER 4612 NEW BEST:: SOT 11834034 SOS 7396888 HAS SOPS 6109690 HAS SOUS 1784524 HAS SOUPS 1696653 WITH SCORE 1704049.888
AT ITER 4616 NEW BEST:: SOT 11833978 SOS 7397334 HAS SOPS 6112480 HAS SOUS 1782793 HAS SOUPS 1694925 WITH SCORE 1702322.334
AT ITER 4653 NEW BEST:: SOT 11833942 SOS 7397672 HAS SOPS 6112663 HAS SOUS 1782477 HAS SOUPS 1694609 WITH SCORE 1702006.672
AT ITER 4657 NEW BEST:: SOT 11834360 SOS 7396971 HAS SOPS 6112118 HAS SOUS 1782110 HAS SOUPS 1694251 WITH SCORE 1701647.971
AT ITER 4661 NEW BEST:: SOT 11834353 SOS 7396898 HAS SOPS 6112042 HAS SOUS 1782088 HAS SOUPS 1694229 WITH SCORE 1701625.898
AT ITER 4663 NEW BEST:: SOT 11829087 SOS 7391629 HAS SOPS 6106197 HAS SOUS 1776414 HAS SOUPS 1688555 WITH SCORE 1695946.629
AT ITER 4683 NEW BEST:: SOT 11827067 SOS 7387146 HAS SOPS 6097322 HAS SOUS 1775998 HAS SOUPS 1687969 WITH SCORE 1695356.146
AT ITER 4684 NEW BEST:: SOT 11827118 SOS 7388718 HAS SOPS 6099677 HAS SOUS 1775608 HAS SOUPS 1687642 WITH SCORE 1695030.718
AT ITER 4687 NEW BEST:: SOT 11826785 SOS 7387625 HAS SOPS 6098862 HAS SOUS 1774932 HAS SOUPS 1686966 WITH SCORE 1694353.625
AT ITER 4690 NEW BEST:: SOT 11822197 SOS 7379745 HAS SOPS 6091465 HAS SOUS 1772746 HAS SOUPS 1684658 WITH SCORE 1692037.745
AT ITER 4711 NEW BEST:: SOT 11822277 SOS 7379825 HAS SOPS 6091529 HAS SOUS 1772650 HAS SOUPS 1684562 WITH SCORE 1691941.825
AT ITER 4713 NEW BEST:: SOT 11822198 SOS 7379476 HAS SOPS 6091450 HAS SOUS 1771195 HAS SOUPS 1683107 WITH SCORE 1690486.476
AT ITER 4744 NEW BEST:: SOT 11821918 SOS 7379136 HAS SOPS 6091060 HAS SOUS 1770960 HAS SOUPS 1682842 WITH SCORE 1690221.136
AT ITER 4767 NEW BEST:: SOT 11821768 SOS 7378986 HAS SOPS 6090910 HAS SOUS 1770946 HAS SOUPS 1682828 WITH SCORE 1690206.986
AT ITER 4801 NEW BEST:: SOT 11822852 SOS 7379874 HAS SOPS 6090498 HAS SOUS 1761472 HAS SOUPS 1673272 WITH SCORE 1680651.874
AT ITER 4811 NEW BEST:: SOT 11821360 SOS 7378348 HAS SOPS 6088652 HAS SOUS 1757544 HAS SOUPS 1669288 WITH SCORE 1676666.348
AT ITER 4828 NEW BEST:: SOT 11821531 SOS 7376928 HAS SOPS 6087973 HAS SOUS 1756419 HAS SOUPS 1668163 WITH SCORE 1675539.928
AT ITER 4829 NEW BEST:: SOT 11822363 SOS 7379239 HAS SOPS 6090447 HAS SOUS 1756382 HAS SOUPS 1668126 WITH SCORE 1675505.239
AT ITER 4834 NEW BEST:: SOT 11822389 SOS 7379275 HAS SOPS 6090499 HAS SOUS 1756222 HAS SOUPS 1667979 WITH SCORE 1675358.275
AT ITER 4838 NEW BEST:: SOT 11819848 SOS 7373235 HAS SOPS 6091956 HAS SOUS 1755706 HAS SOUPS 1667616 WITH SCORE 1674989.235
AT ITER 4853 NEW BEST:: SOT 11819524 SOS 7372929 HAS SOPS 6091560 HAS SOUS 1754560 HAS SOUPS 1666476 WITH SCORE 1673848.929
AT ITER 4875 NEW BEST:: SOT 11814900 SOS 7361351 HAS SOPS 6083469 HAS SOUS 1753357 HAS SOUPS 1665273 WITH SCORE 1672634.351
AT ITER 4877 NEW BEST:: SOT 11814852 SOS 7361881 HAS SOPS 6084414 HAS SOUS 1753112 HAS SOUPS 1665028 WITH SCORE 1672389.881
AT ITER 4879 NEW BEST:: SOT 11814759 SOS 7361815 HAS SOPS 6084228 HAS SOUS 1753072 HAS SOUPS 1664988 WITH SCORE 1672349.815
AT ITER 4897 NEW BEST:: SOT 11819577 SOS 7373852 HAS SOPS 6096450 HAS SOUS 1751292 HAS SOUPS 1663208 WITH SCORE 1670581.852
AT ITER 4900 NEW BEST:: SOT 11820533 SOS 7377646 HAS SOPS 6102015 HAS SOUS 1741190 HAS SOUPS 1653252 WITH SCORE 1660629.646
AT ITER 4903 NEW BEST:: SOT 11819662 SOS 7375985 HAS SOPS 6099940 HAS SOUS 1738492 HAS SOUPS 1650554 WITH SCORE 1657929.985
AT ITER 4907 NEW BEST:: SOT 11811549 SOS 7342963 HAS SOPS 6083504 HAS SOUS 1733681 HAS SOUPS 1646032 WITH SCORE 1653374.963
AT ITER 4908 NEW BEST:: SOT 11811525 SOS 7342939 HAS SOPS 6083336 HAS SOUS 1733045 HAS SOUPS 1645396 WITH SCORE 1652738.939
AT ITER 4913 NEW BEST:: SOT 11810240 SOS 7341294 HAS SOPS 6081943 HAS SOUS 1730520 HAS SOUPS 1642892 WITH SCORE 1650233.294
AT ITER 4915 NEW BEST:: SOT 11806613 SOS 7336599 HAS SOPS 6077090 HAS SOUS 1726079 HAS SOUPS 1637830 WITH SCORE 1645166.599
AT ITER 4939 NEW BEST:: SOT 11808337 SOS 7337579 HAS SOPS 6077259 HAS SOUS 1725323 HAS SOUPS 1637074 WITH SCORE 1644411.579
AT ITER 5001 NEW BEST:: SOT 11808201 SOS 7337459 HAS SOPS 6077107 HAS SOUS 1725099 HAS SOUPS 1636850 WITH SCORE 1644187.459
AT ITER 5002 NEW BEST:: SOT 11807723 SOS 7336986 HAS SOPS 6076298 HAS SOUS 1723005 HAS SOUPS 1634756 WITH SCORE 1642092.986
AT ITER 5012 NEW BEST:: SOT 11808815 SOS 7338718 HAS SOPS 6078210 HAS SOUS 1721355 HAS SOUPS 1633106 WITH SCORE 1640444.718
AT ITER 5033 NEW BEST:: SOT 11809276 SOS 7339759 HAS SOPS 6079315 HAS SOUS 1721071 HAS SOUPS 1632822 WITH SCORE 1640161.759
AT ITER 5042 NEW BEST:: SOT 11808226 SOS 7336211 HAS SOPS 6076555 HAS SOUS 1719395 HAS SOUPS 1631146 WITH SCORE 1638482.211
AT ITER 5073 NEW BEST:: SOT 11808491 SOS 7336409 HAS SOPS 6076900 HAS SOUS 1719242 HAS SOUPS 1631126 WITH SCORE 1638462.409
AT ITER 5078 NEW BEST:: SOT 11808259 SOS 7336137 HAS SOPS 6076454 HAS SOUS 1718602 HAS SOUPS 1630486 WITH SCORE 1637822.137
AT ITER 5092 NEW BEST:: SOT 11807901 SOS 7334617 HAS SOPS 6074881 HAS SOUS 1718488 HAS SOUPS 1630362 WITH SCORE 1637696.617
AT ITER 5128 NEW BEST:: SOT 11807639 SOS 7334315 HAS SOPS 6074415 HAS SOUS 1718258 HAS SOUPS 1630128 WITH SCORE 1637462.315
AT ITER 5131 NEW BEST:: SOT 11806056 SOS 7331202 HAS SOPS 6071668 HAS SOUS 1716127 HAS SOUPS 1627997 WITH SCORE 1635328.202
AT ITER 5139 NEW BEST:: SOT 11804505 SOS 7328836 HAS SOPS 6068908 HAS SOUS 1714295 HAS SOUPS 1626165 WITH SCORE 1633493.836
AT ITER 5170 NEW BEST:: SOT 11804491 SOS 7328773 HAS SOPS 6068834 HAS SOUS 1714261 HAS SOUPS 1626131 WITH SCORE 1633459.773
AT ITER 5195 NEW BEST:: SOT 11804483 SOS 7328765 HAS SOPS 6068826 HAS SOUS 1714245 HAS SOUPS 1626115 WITH SCORE 1633443.765
AT ITER 5207 NEW BEST:: SOT 11804473 SOS 7328731 HAS SOPS 6068781 HAS SOUS 1714236 HAS SOUPS 1626106 WITH SCORE 1633434.731
AT ITER 5210 NEW BEST:: SOT 11804390 SOS 7328522 HAS SOPS 6068383 HAS SOUS 1714065 HAS SOUPS 1625935 WITH SCORE 1633263.522
AT ITER 5211 NEW BEST:: SOT 11804323 SOS 7328053 HAS SOPS 6067815 HAS SOUS 1713654 HAS SOUPS 1625524 WITH SCORE 1632852.053
AT ITER 5225 NEW BEST:: SOT 11806195 SOS 7329925 HAS SOPS 6069207 HAS SOUS 1713462 HAS SOUPS 1625252 WITH SCORE 1632581.925
AT ITER 5242 NEW BEST:: SOT 11807054 SOS 7330401 HAS SOPS 6069746 HAS SOUS 1712820 HAS SOUPS 1624610 WITH SCORE 1631940.401
AT ITER 5253 NEW BEST:: SOT 11805416 SOS 7328341 HAS SOPS 6065872 HAS SOUS 1711622 HAS SOUPS 1623412 WITH SCORE 1630740.341
AT ITER 5262 NEW BEST:: SOT 11802711 SOS 7318257 HAS SOPS 6054001 HAS SOUS 1710573 HAS SOUPS 1622330 WITH SCORE 1629648.257
AT ITER 5320 NEW BEST:: SOT 11802648 SOS 7316559 HAS SOPS 6052517 HAS SOUS 1710200 HAS SOUPS 1621957 WITH SCORE 1629273.559
AT ITER 5322 NEW BEST:: SOT 11802801 SOS 7316658 HAS SOPS 6052607 HAS SOUS 1710101 HAS SOUPS 1621858 WITH SCORE 1629174.658
AT ITER 5328 NEW BEST:: SOT 11803055 SOS 7316471 HAS SOPS 6052108 HAS SOUS 1708764 HAS SOUPS 1620584 WITH SCORE 1627900.471
AT ITER 5341 NEW BEST:: SOT 11802031 SOS 7315422 HAS SOPS 6050835 HAS SOUS 1706628 HAS SOUPS 1618448 WITH SCORE 1625763.422
AT ITER 5364 NEW BEST:: SOT 11801514 SOS 7315331 HAS SOPS 6050408 HAS SOUS 1705708 HAS SOUPS 1617512 WITH SCORE 1624827.331
AT ITER 5367 NEW BEST:: SOT 11801068 SOS 7314767 HAS SOPS 6049627 HAS SOUS 1704732 HAS SOUPS 1616542 WITH SCORE 1623856.767
AT ITER 5374 NEW BEST:: SOT 11801029 SOS 7314398 HAS SOPS 6049248 HAS SOUS 1704608 HAS SOUPS 1616418 WITH SCORE 1623732.398
AT ITER 5382 NEW BEST:: SOT 11800993 SOS 7314602 HAS SOPS 6049320 HAS SOUS 1704422 HAS SOUPS 1616232 WITH SCORE 1623546.602
AT ITER 5423 NEW BEST:: SOT 11798835 SOS 7312563 HAS SOPS 6046086 HAS SOUS 1704222 HAS SOUPS 1615988 WITH SCORE 1623300.563
AT ITER 5432 NEW BEST:: SOT 11799483 SOS 7314839 HAS SOPS 6046726 HAS SOUS 1702982 HAS SOUPS 1614438 WITH SCORE 1621752.839
AT ITER 5435 NEW BEST:: SOT 11796312 SOS 7311654 HAS SOPS 6043445 HAS SOUS 1698231 HAS SOUPS 1609687 WITH SCORE 1616998.654
AT ITER 5438 NEW BEST:: SOT 11819032 SOS 7332346 HAS SOPS 6064556 HAS SOUS 1697673 HAS SOUPS 1609257 WITH SCORE 1616589.346
AT ITER 5465 NEW BEST:: SOT 11822052 SOS 7336448 HAS SOPS 6067165 HAS SOUS 1696962 HAS SOUPS 1608582 WITH SCORE 1615918.448
AT ITER 5484 NEW BEST:: SOT 11817695 SOS 7323871 HAS SOPS 6054032 HAS SOUS 1696045 HAS SOUPS 1607606 WITH SCORE 1614929.871
AT ITER 5486 NEW BEST:: SOT 11817807 SOS 7321379 HAS SOPS 6051956 HAS SOUS 1695117 HAS SOUPS 1606722 WITH SCORE 1614043.379
AT ITER 5490 NEW BEST:: SOT 11817769 SOS 7321269 HAS SOPS 6051846 HAS SOUS 1694887 HAS SOUPS 1606492 WITH SCORE 1613813.269
AT ITER 5497 NEW BEST:: SOT 11818217 SOS 7321600 HAS SOPS 6052685 HAS SOUS 1694596 HAS SOUPS 1606252 WITH SCORE 1613573.6
AT ITER 5506 NEW BEST:: SOT 11818069 SOS 7317079 HAS SOPS 6051128 HAS SOUS 1692934 HAS SOUPS 1604698 WITH SCORE 1612015.079
AT ITER 5510 NEW BEST:: SOT 11813494 SOS 7304436 HAS SOPS 6040584 HAS SOUS 1689366 HAS SOUPS 1601320 WITH SCORE 1608624.436
AT ITER 5511 NEW BEST:: SOT 11813486 SOS 7304410 HAS SOPS 6040555 HAS SOUS 1689347 HAS SOUPS 1601301 WITH SCORE 1608605.41
AT ITER 5538 NEW BEST:: SOT 11813047 SOS 7302237 HAS SOPS 6038368 HAS SOUS 1689007 HAS SOUPS 1600997 WITH SCORE 1608299.237
AT ITER 5573 NEW BEST:: SOT 11809164 SOS 7298401 HAS SOPS 6033732 HAS SOUS 1685103 HAS SOUPS 1597138 WITH SCORE 1604436.401
AT ITER 5581 NEW BEST:: SOT 11809279 SOS 7297704 HAS SOPS 6032835 HAS SOUS 1684494 HAS SOUPS 1596529 WITH SCORE 1603826.704
AT ITER 5590 NEW BEST:: SOT 11808488 SOS 7296797 HAS SOPS 6032066 HAS SOUS 1678153 HAS SOUPS 1590333 WITH SCORE 1597629.797
AT ITER 5595 NEW BEST:: SOT 11808451 SOS 7296760 HAS SOPS 6032029 HAS SOUS 1677864 HAS SOUPS 1590044 WITH SCORE 1597340.76
AT ITER 5654 NEW BEST:: SOT 11810958 SOS 7299008 HAS SOPS 6036137 HAS SOUS 1675923 HAS SOUPS 1588159 WITH SCORE 1595458.008
AT ITER 5658 NEW BEST:: SOT 11810908 SOS 7299000 HAS SOPS 6036459 HAS SOUS 1675779 HAS SOUPS 1588015 WITH SCORE 1595314.0
AT ITER 5678 NEW BEST:: SOT 11810320 SOS 7298397 HAS SOPS 6035767 HAS SOUS 1674840 HAS SOUPS 1587081 WITH SCORE 1594379.397
AT ITER 5712 NEW BEST:: SOT 11810692 SOS 7298702 HAS SOPS 6035377 HAS SOUS 1673135 HAS SOUPS 1585333 WITH SCORE 1592631.702
AT ITER 5729 NEW BEST:: SOT 11810129 SOS 7300634 HAS SOPS 6036725 HAS SOUS 1670248 HAS SOUPS 1582446 WITH SCORE 1589746.634
AT ITER 5736 NEW BEST:: SOT 11810481 SOS 7304428 HAS SOPS 6037581 HAS SOUS 1667409 HAS SOUPS 1579607 WITH SCORE 1586911.428
AT ITER 5744 NEW BEST:: SOT 11804819 SOS 7293765 HAS SOPS 6026596 HAS SOUS 1664254 HAS SOUPS 1576394 WITH SCORE 1583687.765
AT ITER 5746 NEW BEST:: SOT 11804223 SOS 7293138 HAS SOPS 6025566 HAS SOUS 1663286 HAS SOUPS 1575426 WITH SCORE 1582719.138
AT ITER 5782 NEW BEST:: SOT 11804538 SOS 7293433 HAS SOPS 6025054 HAS SOUS 1663284 HAS SOUPS 1575424 WITH SCORE 1582717.433
AT ITER 5800 NEW BEST:: SOT 11804746 SOS 7293790 HAS SOPS 6025335 HAS SOUS 1661734 HAS SOUPS 1574007 WITH SCORE 1581300.79
AT ITER 5819 NEW BEST:: SOT 11804540 SOS 7293402 HAS SOPS 6024561 HAS SOUS 1660799 HAS SOUPS 1573072 WITH SCORE 1580365.402
AT ITER 5855 NEW BEST:: SOT 11804444 SOS 7294110 HAS SOPS 6024878 HAS SOUS 1660440 HAS SOUPS 1572713 WITH SCORE 1580007.11
AT ITER 5866 NEW BEST:: SOT 11803790 SOS 7293603 HAS SOPS 6024118 HAS SOUS 1659574 HAS SOUPS 1571847 WITH SCORE 1579140.603
AT ITER 5912 NEW BEST:: SOT 11804167 SOS 7292744 HAS SOPS 6024047 HAS SOUS 1658293 HAS SOUPS 1570566 WITH SCORE 1577858.744
AT ITER 5928 NEW BEST:: SOT 11802917 SOS 7289521 HAS SOPS 6021310 HAS SOUS 1656729 HAS SOUPS 1569002 WITH SCORE 1576291.521
AT ITER 5939 NEW BEST:: SOT 11802910 SOS 7289699 HAS SOPS 6021505 HAS SOUS 1656726 HAS SOUPS 1568999 WITH SCORE 1576288.699
AT ITER 5971 NEW BEST:: SOT 11802490 SOS 7289279 HAS SOPS 6021069 HAS SOUS 1656534 HAS SOUPS 1568807 WITH SCORE 1576096.279
AT ITER 5988 NEW BEST:: SOT 11802048 SOS 7288190 HAS SOPS 6021802 HAS SOUS 1654447 HAS SOUPS 1566980 WITH SCORE 1574268.19
AT ITER 5997 NEW BEST:: SOT 11802130 SOS 7288268 HAS SOPS 6021864 HAS SOUS 1654273 HAS SOUPS 1566806 WITH SCORE 1574094.268
AT ITER 5999 NEW BEST:: SOT 11796989 SOS 7280010 HAS SOPS 6013761 HAS SOUS 1647167 HAS SOUPS 1559805 WITH SCORE 1567085.01
AT ITER 6014 NEW BEST:: SOT 11796949 SOS 7280346 HAS SOPS 6013965 HAS SOUS 1646815 HAS SOUPS 1559453 WITH SCORE 1566733.346
AT ITER 6026 NEW BEST:: SOT 11795725 SOS 7279122 HAS SOPS 6012741 HAS SOUS 1645191 HAS SOUPS 1557829 WITH SCORE 1565108.122
AT ITER 6029 NEW BEST:: SOT 11795623 SOS 7278934 HAS SOPS 6012533 HAS SOUS 1645058 HAS SOUPS 1557696 WITH SCORE 1564974.934
AT ITER 6038 NEW BEST:: SOT 11795113 SOS 7278391 HAS SOPS 6011734 HAS SOUS 1644022 HAS SOUPS 1556660 WITH SCORE 1563938.391
AT ITER 6043 NEW BEST:: SOT 11793544 SOS 7275882 HAS SOPS 6009006 HAS SOUS 1641161 HAS SOUPS 1553799 WITH SCORE 1561074.882
AT ITER 6046 NEW BEST:: SOT 11793441 SOS 7275778 HAS SOPS 6008902 HAS SOUS 1641034 HAS SOUPS 1553672 WITH SCORE 1560947.778
AT ITER 6146 NEW BEST:: SOT 11792529 SOS 7274866 HAS SOPS 6007862 HAS SOUS 1640226 HAS SOUPS 1552864 WITH SCORE 1560138.866
AT ITER 6158 NEW BEST:: SOT 11792369 SOS 7274706 HAS SOPS 6007702 HAS SOUS 1640226 HAS SOUPS 1552864 WITH SCORE 1560138.706
AT ITER 6159 NEW BEST:: SOT 11793068 SOS 7275931 HAS SOPS 6006127 HAS SOUS 1638903 HAS SOUPS 1551571 WITH SCORE 1558846.931
AT ITER 6160 NEW BEST:: SOT 11793861 SOS 7275782 HAS SOPS 6006861 HAS SOUS 1637965 HAS SOUPS 1551284 WITH SCORE 1558559.782
AT ITER 6168 NEW BEST:: SOT 11794188 SOS 7276140 HAS SOPS 6006692 HAS SOUS 1637765 HAS SOUPS 1551084 WITH SCORE 1558360.14
AT ITER 6169 NEW BEST:: SOT 11793748 SOS 7275008 HAS SOPS 6005392 HAS SOUS 1637708 HAS SOUPS 1551041 WITH SCORE 1558316.008
AT ITER 6173 NEW BEST:: SOT 11793754 SOS 7275022 HAS SOPS 6005366 HAS SOUS 1637660 HAS SOUPS 1550975 WITH SCORE 1558250.022
AT ITER 6175 NEW BEST:: SOT 11794121 SOS 7275615 HAS SOPS 6005381 HAS SOUS 1636855 HAS SOUPS 1549742 WITH SCORE 1557017.615
AT ITER 6177 NEW BEST:: SOT 11795926 SOS 7277405 HAS SOPS 6007038 HAS SOUS 1635158 HAS SOUPS 1547963 WITH SCORE 1555240.405
AT ITER 6202 NEW BEST:: SOT 11794377 SOS 7276120 HAS SOPS 6004126 HAS SOUS 1634787 HAS SOUPS 1547592 WITH SCORE 1554868.12
AT ITER 6204 NEW BEST:: SOT 11794143 SOS 7275813 HAS SOPS 6004155 HAS SOUS 1634610 HAS SOUPS 1547438 WITH SCORE 1554713.813
AT ITER 6228 NEW BEST:: SOT 11793979 SOS 7275483 HAS SOPS 6003352 HAS SOUS 1634205 HAS SOUPS 1547025 WITH SCORE 1554300.483
AT ITER 6240 NEW BEST:: SOT 11793916 SOS 7275420 HAS SOPS 6003181 HAS SOUS 1634106 HAS SOUPS 1546926 WITH SCORE 1554201.42
AT ITER 6258 NEW BEST:: SOT 11793376 SOS 7274639 HAS SOPS 6002476 HAS SOUS 1633389 HAS SOUPS 1546220 WITH SCORE 1553494.639
AT ITER 6261 NEW BEST:: SOT 11791044 SOS 7270700 HAS SOPS 5999209 HAS SOUS 1632913 HAS SOUPS 1545736 WITH SCORE 1553006.7
AT ITER 6296 NEW BEST:: SOT 11790884 SOS 7270500 HAS SOPS 5998929 HAS SOUS 1632453 HAS SOUPS 1545276 WITH SCORE 1552546.5
AT ITER 6336 NEW BEST:: SOT 11793295 SOS 7261668 HAS SOPS 5992847 HAS SOUS 1630699 HAS SOUPS 1543635 WITH SCORE 1550896.668
AT ITER 6337 NEW BEST:: SOT 11792958 SOS 7261436 HAS SOPS 5992515 HAS SOUS 1630001 HAS SOUPS 1542944 WITH SCORE 1550205.436
AT ITER 6351 NEW BEST:: SOT 11792091 SOS 7259870 HAS SOPS 5990316 HAS SOUS 1623729 HAS SOUPS 1537476 WITH SCORE 1544735.87
AT ITER 6374 NEW BEST:: SOT 11788326 SOS 7254843 HAS SOPS 5985288 HAS SOUS 1619706 HAS SOUPS 1533452 WITH SCORE 1540706.843
AT ITER 6375 NEW BEST:: SOT 11787899 SOS 7254438 HAS SOPS 5984697 HAS SOUS 1619115 HAS SOUPS 1532849 WITH SCORE 1540103.438
AT ITER 6428 NEW BEST:: SOT 11787912 SOS 7254452 HAS SOPS 5984743 HAS SOUS 1619103 HAS SOUPS 1532837 WITH SCORE 1540091.452
AT ITER 6432 NEW BEST:: SOT 11791133 SOS 7260230 HAS SOPS 5984995 HAS SOUS 1617826 HAS SOUPS 1531560 WITH SCORE 1538820.23
AT ITER 6447 NEW BEST:: SOT 11791095 SOS 7259805 HAS SOPS 5984328 HAS SOUS 1617646 HAS SOUPS 1531380 WITH SCORE 1538639.805
AT ITER 6482 NEW BEST:: SOT 11791537 SOS 7260763 HAS SOPS 5985094 HAS SOUS 1617606 HAS SOUPS 1531332 WITH SCORE 1538592.763
AT ITER 6491 NEW BEST:: SOT 11791476 SOS 7260661 HAS SOPS 5984782 HAS SOUS 1617411 HAS SOUPS 1531137 WITH SCORE 1538397.661
AT ITER 6494 NEW BEST:: SOT 11791236 SOS 7260421 HAS SOPS 5984542 HAS SOUS 1617171 HAS SOUPS 1530897 WITH SCORE 1538157.421
AT ITER 6520 NEW BEST:: SOT 11791212 SOS 7260397 HAS SOPS 5984518 HAS SOUS 1617167 HAS SOUPS 1530893 WITH SCORE 1538153.397
AT ITER 6538 NEW BEST:: SOT 11794052 SOS 7259340 HAS SOPS 5987733 HAS SOUS 1615217 HAS SOUPS 1529121 WITH SCORE 1536380.34
AT ITER 6541 NEW BEST:: SOT 11793627 SOS 7258086 HAS SOPS 5986144 HAS SOUS 1614480 HAS SOUPS 1528384 WITH SCORE 1535642.086
AT ITER 6542 NEW BEST:: SOT 11793490 SOS 7257683 HAS SOPS 5985649 HAS SOUS 1613574 HAS SOUPS 1527498 WITH SCORE 1534755.683
AT ITER 6563 NEW BEST:: SOT 11793691 SOS 7260179 HAS SOPS 5987891 HAS SOUS 1613139 HAS SOUPS 1527063 WITH SCORE 1534323.179
AT ITER 6565 NEW BEST:: SOT 11792256 SOS 7255062 HAS SOPS 5984006 HAS SOUS 1612886 HAS SOUPS 1526810 WITH SCORE 1534065.062
AT ITER 6570 NEW BEST:: SOT 11796114 SOS 7258467 HAS SOPS 5987191 HAS SOUS 1606955 HAS SOUPS 1521113 WITH SCORE 1528371.467
AT ITER 6572 NEW BEST:: SOT 11795414 SOS 7257564 HAS SOPS 5985436 HAS SOUS 1604733 HAS SOUPS 1518891 WITH SCORE 1526148.564
AT ITER 6601 NEW BEST:: SOT 11794462 SOS 7255549 HAS SOPS 5984270 HAS SOUS 1604507 HAS SOUPS 1518665 WITH SCORE 1525920.549
AT ITER 6612 NEW BEST:: SOT 11791750 SOS 7245597 HAS SOPS 5973469 HAS SOUS 1604482 HAS SOUPS 1518568 WITH SCORE 1525813.597
AT ITER 6623 NEW BEST:: SOT 11789120 SOS 7238358 HAS SOPS 5966406 HAS SOUS 1602595 HAS SOUPS 1516681 WITH SCORE 1523919.358
AT ITER 6628 NEW BEST:: SOT 11788389 SOS 7237540 HAS SOPS 5965476 HAS SOUS 1601455 HAS SOUPS 1515541 WITH SCORE 1522778.54
AT ITER 6649 NEW BEST:: SOT 11788047 SOS 7236617 HAS SOPS 5964998 HAS SOUS 1597410 HAS SOUPS 1511749 WITH SCORE 1518985.617
AT ITER 6660 NEW BEST:: SOT 11780706 SOS 7224999 HAS SOPS 5952261 HAS SOUS 1588747 HAS SOUPS 1503086 WITH SCORE 1510310.999
AT ITER 6667 NEW BEST:: SOT 11780835 SOS 7220564 HAS SOPS 5949236 HAS SOUS 1588377 HAS SOUPS 1502716 WITH SCORE 1509936.564
AT ITER 6673 NEW BEST:: SOT 11780615 SOS 7218338 HAS SOPS 5946616 HAS SOUS 1588306 HAS SOUPS 1502645 WITH SCORE 1509863.338
AT ITER 6685 NEW BEST:: SOT 11778045 SOS 7214534 HAS SOPS 5942521 HAS SOUS 1583174 HAS SOUPS 1497383 WITH SCORE 1504597.534
AT ITER 6695 NEW BEST:: SOT 11777044 SOS 7213491 HAS SOPS 5940689 HAS SOUS 1581984 HAS SOUPS 1496193 WITH SCORE 1503406.491
AT ITER 6699 NEW BEST:: SOT 11776720 SOS 7212183 HAS SOPS 5938102 HAS SOUS 1581229 HAS SOUPS 1495438 WITH SCORE 1502650.183
AT ITER 6701 NEW BEST:: SOT 11777313 SOS 7206690 HAS SOPS 5933445 HAS SOUS 1580545 HAS SOUPS 1494795 WITH SCORE 1502001.69
AT ITER 6714 NEW BEST:: SOT 11778377 SOS 7203366 HAS SOPS 5930884 HAS SOUS 1579459 HAS SOUPS 1493794 WITH SCORE 1500997.366
AT ITER 6777 NEW BEST:: SOT 11778391 SOS 7203227 HAS SOPS 5930751 HAS SOUS 1579383 HAS SOUPS 1493718 WITH SCORE 1500921.227
AT ITER 6787 NEW BEST:: SOT 11778612 SOS 7202607 HAS SOPS 5929582 HAS SOUS 1579382 HAS SOUPS 1493717 WITH SCORE 1500919.607
AT ITER 6806 NEW BEST:: SOT 11777839 SOS 7201700 HAS SOPS 5928648 HAS SOUS 1577424 HAS SOUPS 1491759 WITH SCORE 1498960.7
AT ITER 6815 NEW BEST:: SOT 11777839 SOS 7201287 HAS SOPS 5928196 HAS SOUS 1577297 HAS SOUPS 1491632 WITH SCORE 1498833.287
AT ITER 6832 NEW BEST:: SOT 11778675 SOS 7202123 HAS SOPS 5929032 HAS SOUS 1577269 HAS SOUPS 1491604 WITH SCORE 1498806.123
AT ITER 6836 NEW BEST:: SOT 11778695 SOS 7201940 HAS SOPS 5929128 HAS SOUS 1575867 HAS SOUPS 1490522 WITH SCORE 1497723.94
AT ITER 6837 NEW BEST:: SOT 11778647 SOS 7201894 HAS SOPS 5929089 HAS SOUS 1575820 HAS SOUPS 1490476 WITH SCORE 1497677.894
AT ITER 6881 NEW BEST:: SOT 11775351 SOS 7199564 HAS SOPS 5926582 HAS SOUS 1574246 HAS SOUPS 1489334 WITH SCORE 1496533.564
AT ITER 6896 NEW BEST:: SOT 11775307 SOS 7203634 HAS SOPS 5929117 HAS SOUS 1574068 HAS SOUPS 1489156 WITH SCORE 1496359.634
AT ITER 6925 NEW BEST:: SOT 11773109 SOS 7201399 HAS SOPS 5926338 HAS SOUS 1569569 HAS SOUPS 1484657 WITH SCORE 1491858.399
AT ITER 6934 NEW BEST:: SOT 11772048 SOS 7200508 HAS SOPS 5925002 HAS SOUS 1567057 HAS SOUPS 1482145 WITH SCORE 1489345.508
AT ITER 6945 NEW BEST:: SOT 11771783 SOS 7200229 HAS SOPS 5924413 HAS SOUS 1566117 HAS SOUPS 1481192 WITH SCORE 1488392.229
AT ITER 6947 NEW BEST:: SOT 11771496 SOS 7201048 HAS SOPS 5922976 HAS SOUS 1564152 HAS SOUPS 1479227 WITH SCORE 1486428.048
AT ITER 6958 NEW BEST:: SOT 11770362 SOS 7198831 HAS SOPS 5921119 HAS SOUS 1563023 HAS SOUPS 1478169 WITH SCORE 1485367.831
AT ITER 6992 NEW BEST:: SOT 11770378 SOS 7198854 HAS SOPS 5921323 HAS SOUS 1562997 HAS SOUPS 1478143 WITH SCORE 1485341.854
AT ITER 7003 NEW BEST:: SOT 11770386 SOS 7197870 HAS SOPS 5920331 HAS SOUS 1562759 HAS SOUPS 1477905 WITH SCORE 1485102.87
AT ITER 7007 NEW BEST:: SOT 11770529 SOS 7197999 HAS SOPS 5920474 HAS SOUS 1562657 HAS SOUPS 1477810 WITH SCORE 1485007.999
AT ITER 7008 NEW BEST:: SOT 11770503 SOS 7198143 HAS SOPS 5920612 HAS SOUS 1562616 HAS SOUPS 1477769 WITH SCORE 1484967.143
AT ITER 7024 NEW BEST:: SOT 11770413 SOS 7197018 HAS SOPS 5919487 HAS SOUS 1560652 HAS SOUPS 1475805 WITH SCORE 1483002.018
AT ITER 7031 NEW BEST:: SOT 11770399 SOS 7197006 HAS SOPS 5919489 HAS SOUS 1560512 HAS SOUPS 1475697 WITH SCORE 1482894.006
AT ITER 7041 NEW BEST:: SOT 11770130 SOS 7194650 HAS SOPS 5922006 HAS SOUS 1559283 HAS SOUPS 1474468 WITH SCORE 1481662.65
AT ITER 7141 NEW BEST:: SOT 11769030 SOS 7192950 HAS SOPS 5920162 HAS SOUS 1557733 HAS SOUPS 1472918 WITH SCORE 1480110.95
AT ITER 7180 NEW BEST:: SOT 11768262 SOS 7190708 HAS SOPS 5915967 HAS SOUS 1556237 HAS SOUPS 1471422 WITH SCORE 1478612.708
AT ITER 7184 NEW BEST:: SOT 11767084 SOS 7189223 HAS SOPS 5914648 HAS SOUS 1554869 HAS SOUPS 1470054 WITH SCORE 1477243.223
AT ITER 7203 NEW BEST:: SOT 11767597 SOS 7189416 HAS SOPS 5915115 HAS SOUS 1554602 HAS SOUPS 1469813 WITH SCORE 1477002.416
AT ITER 7228 NEW BEST:: SOT 11764987 SOS 7183717 HAS SOPS 5911688 HAS SOUS 1550409 HAS SOUPS 1465814 WITH SCORE 1472997.717
AT ITER 7229 NEW BEST:: SOT 11761615 SOS 7180726 HAS SOPS 5909322 HAS SOUS 1550044 HAS SOUPS 1465441 WITH SCORE 1472621.726
AT ITER 7230 NEW BEST:: SOT 11761314 SOS 7180423 HAS SOPS 5908588 HAS SOUS 1549528 HAS SOUPS 1464925 WITH SCORE 1472105.423
AT ITER 7242 NEW BEST:: SOT 11761256 SOS 7179658 HAS SOPS 5907784 HAS SOUS 1549330 HAS SOUPS 1464727 WITH SCORE 1471906.658
AT ITER 7271 NEW BEST:: SOT 11761247 SOS 7180367 HAS SOPS 5908694 HAS SOUS 1548286 HAS SOUPS 1463710 WITH SCORE 1470890.367
AT ITER 7287 NEW BEST:: SOT 11761309 SOS 7179656 HAS SOPS 5908261 HAS SOUS 1548197 HAS SOUPS 1463628 WITH SCORE 1470807.656
AT ITER 7288 NEW BEST:: SOT 11761049 SOS 7178879 HAS SOPS 5906973 HAS SOUS 1547304 HAS SOUPS 1462712 WITH SCORE 1469890.879
AT ITER 7294 NEW BEST:: SOT 11761098 SOS 7179211 HAS SOPS 5907105 HAS SOUS 1547103 HAS SOUPS 1462511 WITH SCORE 1469690.211
AT ITER 7324 NEW BEST:: SOT 11761632 SOS 7179727 HAS SOPS 5907623 HAS SOUS 1546279 HAS SOUPS 1461689 WITH SCORE 1468868.727
AT ITER 7338 NEW BEST:: SOT 11760506 SOS 7178485 HAS SOPS 5906606 HAS SOUS 1545810 HAS SOUPS 1461225 WITH SCORE 1468403.485
AT ITER 7396 NEW BEST:: SOT 11758479 SOS 7176451 HAS SOPS 5904316 HAS SOUS 1541252 HAS SOUPS 1456645 WITH SCORE 1463821.451
AT ITER 7407 NEW BEST:: SOT 11755338 SOS 7167124 HAS SOPS 5896694 HAS SOUS 1540568 HAS SOUPS 1455961 WITH SCORE 1463128.124
AT ITER 7408 NEW BEST:: SOT 11755164 SOS 7166259 HAS SOPS 5895750 HAS SOUS 1539867 HAS SOUPS 1455260 WITH SCORE 1462426.259
AT ITER 7433 NEW BEST:: SOT 11754953 SOS 7166310 HAS SOPS 5895512 HAS SOUS 1539508 HAS SOUPS 1454901 WITH SCORE 1462067.31
AT ITER 7440 NEW BEST:: SOT 11763506 SOS 7173871 HAS SOPS 5899641 HAS SOUS 1538278 HAS SOUPS 1453501 WITH SCORE 1460674.871
AT ITER 7445 NEW BEST:: SOT 11762186 SOS 7169383 HAS SOPS 5897271 HAS SOUS 1538022 HAS SOUPS 1453287 WITH SCORE 1460456.383
AT ITER 7467 NEW BEST:: SOT 11757639 SOS 7160172 HAS SOPS 5888832 HAS SOUS 1534189 HAS SOUPS 1449690 WITH SCORE 1456850.172
AT ITER 7505 NEW BEST:: SOT 11757450 SOS 7159714 HAS SOPS 5888569 HAS SOUS 1533730 HAS SOUPS 1449244 WITH SCORE 1456403.714
AT ITER 7507 NEW BEST:: SOT 11756921 SOS 7159150 HAS SOPS 5887701 HAS SOUS 1532104 HAS SOUPS 1447600 WITH SCORE 1454759.15
AT ITER 7526 NEW BEST:: SOT 11757384 SOS 7161192 HAS SOPS 5888378 HAS SOUS 1532060 HAS SOUPS 1447552 WITH SCORE 1454713.192
AT ITER 7530 NEW BEST:: SOT 11755155 SOS 7158522 HAS SOPS 5887721 HAS SOUS 1530804 HAS SOUPS 1446357 WITH SCORE 1453515.522
AT ITER 7539 NEW BEST:: SOT 11752353 SOS 7156556 HAS SOPS 5884875 HAS SOUS 1521434 HAS SOUPS 1436987 WITH SCORE 1444143.556
AT ITER 7541 NEW BEST:: SOT 11752251 SOS 7156546 HAS SOPS 5884829 HAS SOUS 1521234 HAS SOUPS 1436787 WITH SCORE 1443943.546
AT ITER 7546 NEW BEST:: SOT 11751962 SOS 7156529 HAS SOPS 5884340 HAS SOUS 1520163 HAS SOUPS 1435702 WITH SCORE 1442858.529
AT ITER 7570 NEW BEST:: SOT 11751943 SOS 7156319 HAS SOPS 5883912 HAS SOUS 1520101 HAS SOUPS 1435640 WITH SCORE 1442796.319
AT ITER 7587 NEW BEST:: SOT 11751860 SOS 7156676 HAS SOPS 5883990 HAS SOUS 1519733 HAS SOUPS 1435232 WITH SCORE 1442388.676
AT ITER 7602 NEW BEST:: SOT 11745663 SOS 7150504 HAS SOPS 5877818 HAS SOUS 1515648 HAS SOUPS 1431147 WITH SCORE 1438297.504
AT ITER 7608 NEW BEST:: SOT 11744768 SOS 7149640 HAS SOPS 5876522 HAS SOUS 1515409 HAS SOUPS 1430476 WITH SCORE 1437625.64
AT ITER 7618 NEW BEST:: SOT 11744776 SOS 7149738 HAS SOPS 5876276 HAS SOUS 1514187 HAS SOUPS 1429230 WITH SCORE 1436379.738
AT ITER 7619 NEW BEST:: SOT 11747921 SOS 7148030 HAS SOPS 5882179 HAS SOUS 1513336 HAS SOUPS 1428500 WITH SCORE 1435648.03
AT ITER 7644 NEW BEST:: SOT 11750005 SOS 7145882 HAS SOPS 5877492 HAS SOUS 1512717 HAS SOUPS 1427881 WITH SCORE 1435026.882
AT ITER 7654 NEW BEST:: SOT 11749295 SOS 7144450 HAS SOPS 5875978 HAS SOUS 1511914 HAS SOUPS 1427054 WITH SCORE 1434198.45
AT ITER 7670 NEW BEST:: SOT 11748053 SOS 7143303 HAS SOPS 5874569 HAS SOUS 1510112 HAS SOUPS 1425241 WITH SCORE 1432384.303
AT ITER 7684 NEW BEST:: SOT 11746597 SOS 7143346 HAS SOPS 5876329 HAS SOUS 1509971 HAS SOUPS 1425100 WITH SCORE 1432243.346
AT ITER 7709 NEW BEST:: SOT 11746634 SOS 7142772 HAS SOPS 5875861 HAS SOUS 1509564 HAS SOUPS 1424707 WITH SCORE 1431849.772
AT ITER 7723 NEW BEST:: SOT 11746639 SOS 7142762 HAS SOPS 5875820 HAS SOUS 1509531 HAS SOUPS 1424674 WITH SCORE 1431816.762
AT ITER 7727 NEW BEST:: SOT 11745118 SOS 7141254 HAS SOPS 5873729 HAS SOUS 1505862 HAS SOUPS 1420991 WITH SCORE 1428132.254
AT ITER 7748 NEW BEST:: SOT 11746597 SOS 7145004 HAS SOPS 5876945 HAS SOUS 1505783 HAS SOUPS 1420912 WITH SCORE 1428057.004
AT ITER 7785 NEW BEST:: SOT 11745659 SOS 7144066 HAS SOPS 5875975 HAS SOUS 1505625 HAS SOUPS 1420754 WITH SCORE 1427898.066
AT ITER 7786 NEW BEST:: SOT 11744945 SOS 7143676 HAS SOPS 5875242 HAS SOUS 1504418 HAS SOUPS 1419523 WITH SCORE 1426666.676
AT ITER 7825 NEW BEST:: SOT 11744891 SOS 7145027 HAS SOPS 5877361 HAS SOUS 1503237 HAS SOUPS 1418342 WITH SCORE 1425487.027
AT ITER 7843 NEW BEST:: SOT 11745605 SOS 7144471 HAS SOPS 5875586 HAS SOUS 1502739 HAS SOUPS 1417844 WITH SCORE 1424988.471
AT ITER 7850 NEW BEST:: SOT 11743854 SOS 7142248 HAS SOPS 5873639 HAS SOUS 1500881 HAS SOUPS 1416022 WITH SCORE 1423164.248
AT ITER 7865 NEW BEST:: SOT 11742443 SOS 7138779 HAS SOPS 5870683 HAS SOUS 1499715 HAS SOUPS 1414856 WITH SCORE 1421994.779
AT ITER 7869 NEW BEST:: SOT 11742441 SOS 7138785 HAS SOPS 5870653 HAS SOUS 1499702 HAS SOUPS 1414843 WITH SCORE 1421981.785
AT ITER 7879 NEW BEST:: SOT 11744625 SOS 7145087 HAS SOPS 5876801 HAS SOUS 1499023 HAS SOUPS 1414263 WITH SCORE 1421408.087
AT ITER 7900 NEW BEST:: SOT 11745123 SOS 7147265 HAS SOPS 5881571 HAS SOUS 1496839 HAS SOUPS 1412241 WITH SCORE 1419388.265
AT ITER 7920 NEW BEST:: SOT 11743234 SOS 7146400 HAS SOPS 5878947 HAS SOUS 1493785 HAS SOUPS 1409132 WITH SCORE 1416278.4
AT ITER 7940 NEW BEST:: SOT 11742839 SOS 7146018 HAS SOPS 5878384 HAS SOUS 1493115 HAS SOUPS 1408467 WITH SCORE 1415613.018
AT ITER 7941 NEW BEST:: SOT 11742092 SOS 7145271 HAS SOPS 5877637 HAS SOUS 1492368 HAS SOUPS 1407720 WITH SCORE 1414865.271
AT ITER 7948 NEW BEST:: SOT 11741947 SOS 7145092 HAS SOPS 5877588 HAS SOUS 1491338 HAS SOUPS 1406979 WITH SCORE 1414124.092
AT ITER 7959 NEW BEST:: SOT 11741581 SOS 7144726 HAS SOPS 5877126 HAS SOUS 1490588 HAS SOUPS 1406229 WITH SCORE 1413373.726
AT ITER 7981 NEW BEST:: SOT 11741602 SOS 7144753 HAS SOPS 5877188 HAS SOUS 1490547 HAS SOUPS 1406192 WITH SCORE 1413336.753
AT ITER 8012 NEW BEST:: SOT 11743266 SOS 7148857 HAS SOPS 5880700 HAS SOUS 1488600 HAS SOUPS 1404246 WITH SCORE 1411394.857
AT ITER 8040 NEW BEST:: SOT 11742578 SOS 7146268 HAS SOPS 5876603 HAS SOUS 1486377 HAS SOUPS 1402023 WITH SCORE 1409169.268
AT ITER 8043 NEW BEST:: SOT 11739375 SOS 7139870 HAS SOPS 5869996 HAS SOUS 1483669 HAS SOUPS 1399315 WITH SCORE 1406454.87
AT ITER 8064 NEW BEST:: SOT 11741391 SOS 7140929 HAS SOPS 5872570 HAS SOUS 1483434 HAS SOUPS 1398807 WITH SCORE 1405947.929
AT ITER 8066 NEW BEST:: SOT 11740419 SOS 7139910 HAS SOPS 5871159 HAS SOUS 1482479 HAS SOUPS 1397852 WITH SCORE 1404991.91
AT ITER 8082 NEW BEST:: SOT 11740425 SOS 7139547 HAS SOPS 5870783 HAS SOUS 1482469 HAS SOUPS 1397842 WITH SCORE 1404981.547
AT ITER 8124 NEW BEST:: SOT 11741061 SOS 7141113 HAS SOPS 5874840 HAS SOUS 1479611 HAS SOUPS 1395093 WITH SCORE 1402234.113
AT ITER 8132 NEW BEST:: SOT 11741110 SOS 7141178 HAS SOPS 5874957 HAS SOUS 1479540 HAS SOUPS 1395022 WITH SCORE 1402163.178
AT ITER 8150 NEW BEST:: SOT 11741124 SOS 7141192 HAS SOPS 5874955 HAS SOUS 1479442 HAS SOUPS 1394924 WITH SCORE 1402065.192
AT ITER 8159 NEW BEST:: SOT 11739228 SOS 7140660 HAS SOPS 5874638 HAS SOUS 1476630 HAS SOUPS 1392112 WITH SCORE 1399252.66
AT ITER 8173 NEW BEST:: SOT 11738968 SOS 7139711 HAS SOPS 5875001 HAS SOUS 1476527 HAS SOUPS 1392009 WITH SCORE 1399148.711
AT ITER 8228 NEW BEST:: SOT 11738339 SOS 7136882 HAS SOPS 5869737 HAS SOUS 1473476 HAS SOUPS 1389067 WITH SCORE 1396203.882
AT ITER 8240 NEW BEST:: SOT 11738017 SOS 7136074 HAS SOPS 5869363 HAS SOUS 1473419 HAS SOUPS 1388983 WITH SCORE 1396119.074
AT ITER 8262 NEW BEST:: SOT 11737936 SOS 7136517 HAS SOPS 5869457 HAS SOUS 1473307 HAS SOUPS 1388871 WITH SCORE 1396007.517
AT ITER 8316 NEW BEST:: SOT 11737922 SOS 7136475 HAS SOPS 5869340 HAS SOUS 1473243 HAS SOUPS 1388806 WITH SCORE 1395942.475
AT ITER 8382 NEW BEST:: SOT 11737916 SOS 7136393 HAS SOPS 5869216 HAS SOUS 1473161 HAS SOUPS 1388724 WITH SCORE 1395860.393
AT ITER 8385 NEW BEST:: SOT 11738459 SOS 7137452 HAS SOPS 5870216 HAS SOUS 1473100 HAS SOUPS 1388626 WITH SCORE 1395763.452
AT ITER 8405 NEW BEST:: SOT 11737833 SOS 7137185 HAS SOPS 5869693 HAS SOUS 1471459 HAS SOUPS 1386985 WITH SCORE 1394122.185
AT ITER 8458 NEW BEST:: SOT 11737778 SOS 7137137 HAS SOPS 5869355 HAS SOUS 1471247 HAS SOUPS 1386763 WITH SCORE 1393900.137
AT ITER 8468 NEW BEST:: SOT 11737404 SOS 7138204 HAS SOPS 5869877 HAS SOUS 1470696 HAS SOUPS 1386212 WITH SCORE 1393350.204
AT ITER 8471 NEW BEST:: SOT 11737269 SOS 7138045 HAS SOPS 5869634 HAS SOUS 1470582 HAS SOUPS 1386099 WITH SCORE 1393237.045
AT ITER 8478 NEW BEST:: SOT 11736206 SOS 7136982 HAS SOPS 5868203 HAS SOUS 1468051 HAS SOUPS 1383568 WITH SCORE 1390704.982
AT ITER 8513 NEW BEST:: SOT 11736126 SOS 7138566 HAS SOPS 5869787 HAS SOUS 1467951 HAS SOUPS 1383468 WITH SCORE 1390606.566
AT ITER 8538 NEW BEST:: SOT 11736177 SOS 7138567 HAS SOPS 5870042 HAS SOUS 1467723 HAS SOUPS 1383215 WITH SCORE 1390353.567
AT ITER 8539 NEW BEST:: SOT 11733271 SOS 7134282 HAS SOPS 5868111 HAS SOUS 1464001 HAS SOUPS 1380499 WITH SCORE 1387633.282
AT ITER 8553 NEW BEST:: SOT 11731273 SOS 7131920 HAS SOPS 5865235 HAS SOUS 1459503 HAS SOUPS 1376464 WITH SCORE 1383595.92
AT ITER 8568 NEW BEST:: SOT 11730762 SOS 7133405 HAS SOPS 5866290 HAS SOUS 1459515 HAS SOUPS 1376399 WITH SCORE 1383532.405
AT ITER 8585 NEW BEST:: SOT 11730590 SOS 7133231 HAS SOPS 5866054 HAS SOUS 1459309 HAS SOUPS 1376163 WITH SCORE 1383296.231
AT ITER 8595 NEW BEST:: SOT 11730568 SOS 7133213 HAS SOPS 5866032 HAS SOUS 1459279 HAS SOUPS 1376129 WITH SCORE 1383262.213
AT ITER 8601 NEW BEST:: SOT 11730858 SOS 7138865 HAS SOPS 5868980 HAS SOUS 1451503 HAS SOUPS 1368353 WITH SCORE 1375491.865
AT ITER 8615 NEW BEST:: SOT 11731844 SOS 7139851 HAS SOPS 5869966 HAS SOUS 1451097 HAS SOUPS 1367947 WITH SCORE 1375086.851
AT ITER 8643 NEW BEST:: SOT 11731655 SOS 7139601 HAS SOPS 5869720 HAS SOUS 1450885 HAS SOUPS 1367738 WITH SCORE 1374877.601
AT ITER 8667 NEW BEST:: SOT 11724993 SOS 7131653 HAS SOPS 5861180 HAS SOUS 1437465 HAS SOUPS 1354318 WITH SCORE 1361449.653
AT ITER 8669 NEW BEST:: SOT 11724703 SOS 7131381 HAS SOPS 5861612 HAS SOUS 1436763 HAS SOUPS 1353616 WITH SCORE 1360747.381
AT ITER 8678 NEW BEST:: SOT 11724486 SOS 7126798 HAS SOPS 5857143 HAS SOUS 1434845 HAS SOUPS 1351758 WITH SCORE 1358884.798
AT ITER 8680 NEW BEST:: SOT 11722932 SOS 7123565 HAS SOPS 5853973 HAS SOUS 1432758 HAS SOUPS 1349671 WITH SCORE 1356794.565
AT ITER 8723 NEW BEST:: SOT 11721010 SOS 7121569 HAS SOPS 5851860 HAS SOUS 1429667 HAS SOUPS 1346580 WITH SCORE 1353701.569
AT ITER 8731 NEW BEST:: SOT 11720360 SOS 7121156 HAS SOPS 5851174 HAS SOUS 1428801 HAS SOUPS 1345707 WITH SCORE 1352828.156
AT ITER 8735 NEW BEST:: SOT 11719903 SOS 7120653 HAS SOPS 5850425 HAS SOUS 1428235 HAS SOUPS 1345141 WITH SCORE 1352261.653
AT ITER 8736 NEW BEST:: SOT 11718812 SOS 7119423 HAS SOPS 5848199 HAS SOUS 1425214 HAS SOUPS 1342120 WITH SCORE 1349239.423
AT ITER 8752 NEW BEST:: SOT 11718733 SOS 7120144 HAS SOPS 5849128 HAS SOUS 1424891 HAS SOUPS 1341816 WITH SCORE 1348936.144
AT ITER 8816 NEW BEST:: SOT 11717972 SOS 7121227 HAS SOPS 5849994 HAS SOUS 1424555 HAS SOUPS 1341480 WITH SCORE 1348601.227
AT ITER 8834 NEW BEST:: SOT 11719800 SOS 7122879 HAS SOPS 5851623 HAS SOUS 1423522 HAS SOUPS 1340447 WITH SCORE 1347569.879
AT ITER 8837 NEW BEST:: SOT 11719710 SOS 7122789 HAS SOPS 5851501 HAS SOUS 1423328 HAS SOUPS 1340253 WITH SCORE 1347375.789
AT ITER 8919 NEW BEST:: SOT 11719245 SOS 7122126 HAS SOPS 5851246 HAS SOUS 1422476 HAS SOUPS 1339401 WITH SCORE 1346523.126
AT ITER 8924 NEW BEST:: SOT 11717443 SOS 7117045 HAS SOPS 5847959 HAS SOUS 1421126 HAS SOUPS 1338142 WITH SCORE 1345259.045
AT ITER 8944 NEW BEST:: SOT 11717563 SOS 7117159 HAS SOPS 5847977 HAS SOUS 1420814 HAS SOUPS 1337830 WITH SCORE 1344947.159
AT ITER 8961 NEW BEST:: SOT 11717465 SOS 7117045 HAS SOPS 5847811 HAS SOUS 1419962 HAS SOUPS 1336978 WITH SCORE 1344095.045
AT ITER 8973 NEW BEST:: SOT 11716838 SOS 7116458 HAS SOPS 5847349 HAS SOUS 1418756 HAS SOUPS 1335937 WITH SCORE 1343053.458
AT ITER 9021 NEW BEST:: SOT 11717324 SOS 7116938 HAS SOPS 5847829 HAS SOUS 1418674 HAS SOUPS 1335855 WITH SCORE 1342971.938
AT ITER 9029 NEW BEST:: SOT 11717118 SOS 7115254 HAS SOPS 5845902 HAS SOUS 1418603 HAS SOUPS 1335784 WITH SCORE 1342899.254
AT ITER 9035 NEW BEST:: SOT 11717516 SOS 7116224 HAS SOPS 5846117 HAS SOUS 1414004 HAS SOUPS 1331243 WITH SCORE 1338359.224
AT ITER 9099 NEW BEST:: SOT 11717564 SOS 7116272 HAS SOPS 5846149 HAS SOUS 1413996 HAS SOUPS 1331235 WITH SCORE 1338351.272
AT ITER 9158 NEW BEST:: SOT 11717187 SOS 7113348 HAS SOPS 5843340 HAS SOUS 1412451 HAS SOUPS 1329690 WITH SCORE 1336803.348
AT ITER 9182 NEW BEST:: SOT 11717097 SOS 7113568 HAS SOPS 5844414 HAS SOUS 1410359 HAS SOUPS 1327598 WITH SCORE 1334711.568
AT ITER 9206 NEW BEST:: SOT 11716142 SOS 7111595 HAS SOPS 5843205 HAS SOUS 1409105 HAS SOUPS 1326519 WITH SCORE 1333630.595
AT ITER 9223 NEW BEST:: SOT 11716164 SOS 7111616 HAS SOPS 5843025 HAS SOUS 1409077 HAS SOUPS 1326491 WITH SCORE 1333602.616
AT ITER 9225 NEW BEST:: SOT 11715999 SOS 7110331 HAS SOPS 5841844 HAS SOUS 1408256 HAS SOUPS 1325694 WITH SCORE 1332804.331
AT ITER 9226 NEW BEST:: SOT 11716191 SOS 7111766 HAS SOPS 5843103 HAS SOUS 1407835 HAS SOUPS 1325273 WITH SCORE 1332384.766
AT ITER 9235 NEW BEST:: SOT 11715753 SOS 7111392 HAS SOPS 5842959 HAS SOUS 1407273 HAS SOUPS 1324695 WITH SCORE 1331806.392
AT ITER 9240 NEW BEST:: SOT 11715753 SOS 7111392 HAS SOPS 5842959 HAS SOUS 1407129 HAS SOUPS 1324551 WITH SCORE 1331662.392
AT ITER 9254 NEW BEST:: SOT 11715212 SOS 7110548 HAS SOPS 5842914 HAS SOUS 1406069 HAS SOUPS 1323502 WITH SCORE 1330612.548
AT ITER 9261 NEW BEST:: SOT 11714988 SOS 7110200 HAS SOPS 5842550 HAS SOUS 1405597 HAS SOUPS 1323034 WITH SCORE 1330144.2
AT ITER 9264 NEW BEST:: SOT 11714560 SOS 7109746 HAS SOPS 5841706 HAS SOUS 1405208 HAS SOUPS 1322632 WITH SCORE 1329741.746
AT ITER 9276 NEW BEST:: SOT 11714272 SOS 7109458 HAS SOPS 5841354 HAS SOUS 1404792 HAS SOUPS 1322216 WITH SCORE 1329325.458
AT ITER 9315 NEW BEST:: SOT 11714212 SOS 7109354 HAS SOPS 5841238 HAS SOUS 1404546 HAS SOUPS 1321968 WITH SCORE 1329077.354
AT ITER 9318 NEW BEST:: SOT 11712409 SOS 7109517 HAS SOPS 5842102 HAS SOUS 1399685 HAS SOUPS 1317107 WITH SCORE 1324216.517
AT ITER 9329 NEW BEST:: SOT 11709237 SOS 7102565 HAS SOPS 5834558 HAS SOUS 1395264 HAS SOUPS 1312639 WITH SCORE 1319741.565
AT ITER 9359 NEW BEST:: SOT 11706852 SOS 7100061 HAS SOPS 5832314 HAS SOUS 1392673 HAS SOUPS 1310148 WITH SCORE 1317248.061
AT ITER 9379 NEW BEST:: SOT 11706847 SOS 7100092 HAS SOPS 5832363 HAS SOUS 1392669 HAS SOUPS 1310147 WITH SCORE 1317247.092
AT ITER 9406 NEW BEST:: SOT 11705959 SOS 7098206 HAS SOPS 5831272 HAS SOUS 1390079 HAS SOUPS 1307588 WITH SCORE 1314686.206
AT ITER 9465 NEW BEST:: SOT 11704870 SOS 7096561 HAS SOPS 5829536 HAS SOUS 1388474 HAS SOUPS 1306064 WITH SCORE 1313160.561
AT ITER 9509 NEW BEST:: SOT 11704859 SOS 7096558 HAS SOPS 5829537 HAS SOUS 1388469 HAS SOUPS 1306059 WITH SCORE 1313155.558
AT ITER 9518 NEW BEST:: SOT 11700942 SOS 7092291 HAS SOPS 5820994 HAS SOUS 1388005 HAS SOUPS 1305468 WITH SCORE 1312560.291
AT ITER 9540 NEW BEST:: SOT 11702993 SOS 7093400 HAS SOPS 5821616 HAS SOUS 1387819 HAS SOUPS 1305282 WITH SCORE 1312375.4
AT ITER 9542 NEW BEST:: SOT 11702905 SOS 7093180 HAS SOPS 5821330 HAS SOUS 1387613 HAS SOUPS 1305076 WITH SCORE 1312169.18
AT ITER 9557 NEW BEST:: SOT 11702831 SOS 7093113 HAS SOPS 5821088 HAS SOUS 1386839 HAS SOUPS 1304316 WITH SCORE 1311409.113
AT ITER 9558 NEW BEST:: SOT 11702165 SOS 7091764 HAS SOPS 5819610 HAS SOUS 1386832 HAS SOUPS 1304297 WITH SCORE 1311388.764
AT ITER 9564 NEW BEST:: SOT 11701963 SOS 7091370 HAS SOPS 5819332 HAS SOUS 1386765 HAS SOUPS 1304230 WITH SCORE 1311321.37
AT ITER 9578 NEW BEST:: SOT 11700113 SOS 7086013 HAS SOPS 5815638 HAS SOUS 1386282 HAS SOUPS 1303747 WITH SCORE 1310833.013
AT ITER 9583 NEW BEST:: SOT 11699999 SOS 7085864 HAS SOPS 5815745 HAS SOUS 1385939 HAS SOUPS 1303404 WITH SCORE 1310489.864
AT ITER 9608 NEW BEST:: SOT 11699457 SOS 7085314 HAS SOPS 5815195 HAS SOUS 1385157 HAS SOUPS 1302622 WITH SCORE 1309707.314
AT ITER 9642 NEW BEST:: SOT 11695500 SOS 7079048 HAS SOPS 5809015 HAS SOUS 1381533 HAS SOUPS 1299000 WITH SCORE 1306079.048
AT ITER 9662 NEW BEST:: SOT 11695316 SOS 7078864 HAS SOPS 5808559 HAS SOUS 1380109 HAS SOUPS 1297560 WITH SCORE 1304638.864
AT ITER 9690 NEW BEST:: SOT 11691448 SOS 7074901 HAS SOPS 5803156 HAS SOUS 1371768 HAS SOUPS 1289172 WITH SCORE 1296246.901
AT ITER 9723 NEW BEST:: SOT 11691126 SOS 7074436 HAS SOPS 5802951 HAS SOUS 1370040 HAS SOUPS 1287553 WITH SCORE 1294627.436
AT ITER 9744 NEW BEST:: SOT 11688944 SOS 7072354 HAS SOPS 5800273 HAS SOUS 1365827 HAS SOUPS 1283290 WITH SCORE 1290362.354
AT ITER 9767 NEW BEST:: SOT 11686567 SOS 7069717 HAS SOPS 5797358 HAS SOUS 1361030 HAS SOUPS 1278519 WITH SCORE 1285588.717
AT ITER 9787 NEW BEST:: SOT 11686839 SOS 7071413 HAS SOPS 5798310 HAS SOUS 1358311 HAS SOUPS 1275800 WITH SCORE 1282871.413
AT ITER 9791 NEW BEST:: SOT 11687692 SOS 7072572 HAS SOPS 5799113 HAS SOUS 1354672 HAS SOUPS 1272161 WITH SCORE 1279233.572
AT ITER 9793 NEW BEST:: SOT 11686433 SOS 7071637 HAS SOPS 5797777 HAS SOUS 1352659 HAS SOUPS 1270148 WITH SCORE 1277219.637
AT ITER 9823 NEW BEST:: SOT 11686093 SOS 7069738 HAS SOPS 5796335 HAS SOUS 1352229 HAS SOUPS 1269718 WITH SCORE 1276787.738
AT ITER 9824 NEW BEST:: SOT 11685755 SOS 7069208 HAS SOPS 5795997 HAS SOUS 1351483 HAS SOUPS 1268996 WITH SCORE 1276065.208
AT ITER 9835 NEW BEST:: SOT 11685433 SOS 7068914 HAS SOPS 5795451 HAS SOUS 1350899 HAS SOUPS 1268398 WITH SCORE 1275466.914
AT ITER 9857 NEW BEST:: SOT 11685780 SOS 7070776 HAS SOPS 5796488 HAS SOUS 1350661 HAS SOUPS 1268145 WITH SCORE 1275215.776
AT ITER 9858 NEW BEST:: SOT 11682374 SOS 7067448 HAS SOPS 5792807 HAS SOUS 1346136 HAS SOUPS 1263822 WITH SCORE 1270889.448
AT ITER 9900 NEW BEST:: SOT 11682050 SOS 7067150 HAS SOPS 5792464 HAS SOUS 1345646 HAS SOUPS 1263332 WITH SCORE 1270399.15
AT ITER 9914 NEW BEST:: SOT 11678351 SOS 7063451 HAS SOPS 5788765 HAS SOUS 1341947 HAS SOUPS 1259633 WITH SCORE 1266696.451
AT ITER 9924 NEW BEST:: SOT 11678122 SOS 7064084 HAS SOPS 5789871 HAS SOUS 1340697 HAS SOUPS 1258383 WITH SCORE 1265447.084
AT ITER 9947 NEW BEST:: SOT 11678657 SOS 7066720 HAS SOPS 5793995 HAS SOUS 1340434 HAS SOUPS 1258182 WITH SCORE 1265248.72
AT ITER 9990 NEW BEST:: SOT 11678393 SOS 7066936 HAS SOPS 5794161 HAS SOUS 1340290 HAS SOUPS 1258013 WITH SCORE 1265079.936
AT ITER 9996 NEW BEST:: SOT 11676355 SOS 7062762 HAS SOPS 5789840 HAS SOUS 1338640 HAS SOUPS 1256339 WITH SCORE 1263401.762

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-4"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-4, 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 r138-smll-158961502300032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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