fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r138-smll-158961502200024
Last Updated
Jun 28, 2020

About the Execution of smart for RERS17pb113-PT-3

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.400 3600000.00 3599979.00 110.00 [undef] Time out reached

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-158961502200024.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-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200024
=====================================================================

--------------------
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 23K Apr 12 07:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 08:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 9 20:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:29 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 1589660510390

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 3
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 7 NEW BEST:: SOT 12196674 SOS 7747026 HAS SOPS 6415040 HAS SOUS 3043473 HAS SOUPS 2942983 WITH SCORE 2950730.026
AT ITER 15 NEW BEST:: SOT 12200465 SOS 7762279 HAS SOPS 6426494 HAS SOUS 3042649 HAS SOUPS 2942159 WITH SCORE 2949921.279
AT ITER 22 NEW BEST:: SOT 12172203 SOS 7731762 HAS SOPS 6397423 HAS SOUS 2994225 HAS SOUPS 2893826 WITH SCORE 2901557.762
AT ITER 30 NEW BEST:: SOT 12171157 SOS 7729134 HAS SOPS 6395923 HAS SOUS 2994073 HAS SOUPS 2893674 WITH SCORE 2901403.134
AT ITER 39 NEW BEST:: SOT 12173196 SOS 7736406 HAS SOPS 6401346 HAS SOUS 2986845 HAS SOUPS 2886545 WITH SCORE 2894281.406
AT ITER 42 NEW BEST:: SOT 12171665 SOS 7742998 HAS SOPS 6400832 HAS SOUS 2984610 HAS SOUPS 2884264 WITH SCORE 2892006.998
AT ITER 46 NEW BEST:: SOT 12165020 SOS 7731144 HAS SOPS 6388667 HAS SOUS 2974515 HAS SOUPS 2874278 WITH SCORE 2882009.144
AT ITER 49 NEW BEST:: SOT 12167032 SOS 7737653 HAS SOPS 6392712 HAS SOUS 2972102 HAS SOUPS 2871865 WITH SCORE 2879602.653
AT ITER 61 NEW BEST:: SOT 12157164 SOS 7706807 HAS SOPS 6368307 HAS SOUS 2963106 HAS SOUPS 2864288 WITH SCORE 2871994.807
AT ITER 73 NEW BEST:: SOT 12157343 SOS 7707270 HAS SOPS 6368551 HAS SOUS 2963001 HAS SOUPS 2864183 WITH SCORE 2871890.27
AT ITER 82 NEW BEST:: SOT 12157236 SOS 7707236 HAS SOPS 6368107 HAS SOUS 2962498 HAS SOUPS 2863659 WITH SCORE 2871366.236
AT ITER 99 NEW BEST:: SOT 12156675 SOS 7706141 HAS SOPS 6367103 HAS SOUS 2962407 HAS SOUPS 2863544 WITH SCORE 2871250.141
AT ITER 117 NEW BEST:: SOT 12158516 SOS 7711618 HAS SOPS 6368678 HAS SOUS 2959894 HAS SOUPS 2861031 WITH SCORE 2868742.618
AT ITER 132 NEW BEST:: SOT 12158426 SOS 7711528 HAS SOPS 6368588 HAS SOUS 2959724 HAS SOUPS 2860861 WITH SCORE 2868572.528
AT ITER 138 NEW BEST:: SOT 12152061 SOS 7704472 HAS SOPS 6360186 HAS SOUS 2958505 HAS SOUPS 2859530 WITH SCORE 2867234.472
AT ITER 147 NEW BEST:: SOT 12154634 SOS 7708791 HAS SOPS 6365300 HAS SOUS 2957245 HAS SOUPS 2858270 WITH SCORE 2865978.791
AT ITER 152 NEW BEST:: SOT 12158945 SOS 7722616 HAS SOPS 6384793 HAS SOUS 2956635 HAS SOUPS 2857844 WITH SCORE 2865566.616
AT ITER 154 NEW BEST:: SOT 12155041 SOS 7718307 HAS SOPS 6382233 HAS SOUS 2952625 HAS SOUPS 2853907 WITH SCORE 2861625.307
AT ITER 166 NEW BEST:: SOT 12155086 SOS 7722320 HAS SOPS 6386330 HAS SOUS 2948732 HAS SOUPS 2850014 WITH SCORE 2857736.32
AT ITER 175 NEW BEST:: SOT 12160303 SOS 7728810 HAS SOPS 6393554 HAS SOUS 2948380 HAS SOUPS 2849873 WITH SCORE 2857601.81
AT ITER 187 NEW BEST:: SOT 12168860 SOS 7748092 HAS SOPS 6411020 HAS SOUS 2948060 HAS SOUPS 2849499 WITH SCORE 2857247.092
AT ITER 198 NEW BEST:: SOT 12168948 SOS 7747956 HAS SOPS 6411264 HAS SOUS 2946606 HAS SOUPS 2848738 WITH SCORE 2856485.956
AT ITER 207 NEW BEST:: SOT 12168986 SOS 7748634 HAS SOPS 6420605 HAS SOUS 2944712 HAS SOUPS 2847290 WITH SCORE 2855038.634
AT ITER 211 NEW BEST:: SOT 12168978 SOS 7748377 HAS SOPS 6420510 HAS SOUS 2944665 HAS SOUPS 2847243 WITH SCORE 2854991.377
AT ITER 235 NEW BEST:: SOT 12168650 SOS 7748399 HAS SOPS 6419182 HAS SOUS 2940210 HAS SOUPS 2842788 WITH SCORE 2850536.399
AT ITER 238 NEW BEST:: SOT 12170196 SOS 7749729 HAS SOPS 6421007 HAS SOUS 2936252 HAS SOUPS 2838948 WITH SCORE 2846697.729
AT ITER 242 NEW BEST:: SOT 12185739 SOS 7764673 HAS SOPS 6446250 HAS SOUS 2925295 HAS SOUPS 2827996 WITH SCORE 2835760.673
AT ITER 262 NEW BEST:: SOT 12186875 SOS 7768451 HAS SOPS 6447184 HAS SOUS 2923018 HAS SOUPS 2825719 WITH SCORE 2833487.451
AT ITER 265 NEW BEST:: SOT 12186873 SOS 7768445 HAS SOPS 6447176 HAS SOUS 2923006 HAS SOUPS 2825705 WITH SCORE 2833473.445
AT ITER 272 NEW BEST:: SOT 12185654 SOS 7766537 HAS SOPS 6446102 HAS SOUS 2920541 HAS SOUPS 2823240 WITH SCORE 2831006.537
AT ITER 275 NEW BEST:: SOT 12186121 SOS 7767038 HAS SOPS 6446185 HAS SOUS 2920482 HAS SOUPS 2823181 WITH SCORE 2830948.038
AT ITER 289 NEW BEST:: SOT 12184106 SOS 7764331 HAS SOPS 6443460 HAS SOUS 2917731 HAS SOUPS 2820430 WITH SCORE 2828194.331
AT ITER 294 NEW BEST:: SOT 12183371 SOS 7762637 HAS SOPS 6440684 HAS SOUS 2916785 HAS SOUPS 2819484 WITH SCORE 2827246.637
AT ITER 296 NEW BEST:: SOT 12181805 SOS 7760487 HAS SOPS 6438939 HAS SOUS 2913769 HAS SOUPS 2816618 WITH SCORE 2824378.487
AT ITER 303 NEW BEST:: SOT 12181364 SOS 7760046 HAS SOPS 6438290 HAS SOUS 2912640 HAS SOUPS 2815441 WITH SCORE 2823201.046
AT ITER 310 NEW BEST:: SOT 12185538 SOS 7769194 HAS SOPS 6448155 HAS SOUS 2912267 HAS SOUPS 2815068 WITH SCORE 2822837.194
AT ITER 321 NEW BEST:: SOT 12185138 SOS 7768871 HAS SOPS 6447824 HAS SOUS 2911861 HAS SOUPS 2814662 WITH SCORE 2822430.871
AT ITER 325 NEW BEST:: SOT 12165389 SOS 7749271 HAS SOPS 6427718 HAS SOUS 2877024 HAS SOUPS 2779792 WITH SCORE 2787541.271
AT ITER 335 NEW BEST:: SOT 12173649 SOS 7768033 HAS SOPS 6451175 HAS SOUS 2867196 HAS SOUPS 2770120 WITH SCORE 2777888.033
AT ITER 338 NEW BEST:: SOT 12173707 SOS 7768265 HAS SOPS 6451370 HAS SOUS 2865004 HAS SOUPS 2768127 WITH SCORE 2775895.265
AT ITER 346 NEW BEST:: SOT 12171066 SOS 7763652 HAS SOPS 6447149 HAS SOUS 2861475 HAS SOUPS 2764598 WITH SCORE 2772361.652
AT ITER 359 NEW BEST:: SOT 12171318 SOS 7766958 HAS SOPS 6451248 HAS SOUS 2861222 HAS SOUPS 2764345 WITH SCORE 2772111.958
AT ITER 363 NEW BEST:: SOT 12173120 SOS 7774416 HAS SOPS 6455601 HAS SOUS 2858798 HAS SOUPS 2761921 WITH SCORE 2769695.416
AT ITER 364 NEW BEST:: SOT 12173809 SOS 7777127 HAS SOPS 6457774 HAS SOUS 2858285 HAS SOUPS 2761428 WITH SCORE 2769205.127
AT ITER 369 NEW BEST:: SOT 12174199 SOS 7776790 HAS SOPS 6458233 HAS SOUS 2857898 HAS SOUPS 2761367 WITH SCORE 2769143.79
AT ITER 378 NEW BEST:: SOT 12152312 SOS 7750830 HAS SOPS 6438553 HAS SOUS 2814477 HAS SOUPS 2718006 WITH SCORE 2725756.83
AT ITER 379 NEW BEST:: SOT 12151630 SOS 7750048 HAS SOPS 6437771 HAS SOUS 2813384 HAS SOUPS 2716913 WITH SCORE 2724663.048
AT ITER 386 NEW BEST:: SOT 12150860 SOS 7749278 HAS SOPS 6436569 HAS SOUS 2811238 HAS SOUPS 2714687 WITH SCORE 2722436.278
AT ITER 420 NEW BEST:: SOT 12150150 SOS 7746893 HAS SOPS 6434357 HAS SOUS 2809197 HAS SOUPS 2712646 WITH SCORE 2720392.893
AT ITER 432 NEW BEST:: SOT 12146338 SOS 7740217 HAS SOPS 6428004 HAS SOUS 2802385 HAS SOUPS 2706014 WITH SCORE 2713754.217
AT ITER 452 NEW BEST:: SOT 12146355 SOS 7737389 HAS SOPS 6425918 HAS SOUS 2802283 HAS SOUPS 2705912 WITH SCORE 2713649.389
AT ITER 454 NEW BEST:: SOT 12147018 SOS 7739301 HAS SOPS 6426726 HAS SOUS 2801854 HAS SOUPS 2705483 WITH SCORE 2713222.301
AT ITER 458 NEW BEST:: SOT 12147765 SOS 7743713 HAS SOPS 6431173 HAS SOUS 2801574 HAS SOUPS 2705203 WITH SCORE 2712946.713
AT ITER 464 NEW BEST:: SOT 12148710 SOS 7744460 HAS SOPS 6430376 HAS SOUS 2800373 HAS SOUPS 2704002 WITH SCORE 2711746.46
AT ITER 480 NEW BEST:: SOT 12148091 SOS 7743665 HAS SOPS 6429208 HAS SOUS 2799160 HAS SOUPS 2702789 WITH SCORE 2710532.665
AT ITER 482 NEW BEST:: SOT 12147934 SOS 7744352 HAS SOPS 6429537 HAS SOUS 2798961 HAS SOUPS 2702590 WITH SCORE 2710334.352
AT ITER 486 NEW BEST:: SOT 12147643 SOS 7743854 HAS SOPS 6429950 HAS SOUS 2798395 HAS SOUPS 2702079 WITH SCORE 2709822.854
AT ITER 494 NEW BEST:: SOT 12145986 SOS 7740909 HAS SOPS 6426063 HAS SOUS 2794406 HAS SOUPS 2698090 WITH SCORE 2705830.909
AT ITER 501 NEW BEST:: SOT 12145740 SOS 7740743 HAS SOPS 6426486 HAS SOUS 2791316 HAS SOUPS 2695000 WITH SCORE 2702740.743
AT ITER 511 NEW BEST:: SOT 12144797 SOS 7738606 HAS SOPS 6424923 HAS SOUS 2786821 HAS SOUPS 2690875 WITH SCORE 2698613.606
AT ITER 512 NEW BEST:: SOT 12144237 SOS 7738028 HAS SOPS 6424317 HAS SOUS 2786281 HAS SOUPS 2690335 WITH SCORE 2698073.028
AT ITER 518 NEW BEST:: SOT 12146231 SOS 7741193 HAS SOPS 6428812 HAS SOUS 2785670 HAS SOUPS 2689724 WITH SCORE 2697465.193
AT ITER 530 NEW BEST:: SOT 12145582 SOS 7741382 HAS SOPS 6428597 HAS SOUS 2783239 HAS SOUPS 2687277 WITH SCORE 2695018.382
AT ITER 547 NEW BEST:: SOT 12143867 SOS 7735442 HAS SOPS 6421806 HAS SOUS 2780741 HAS SOUPS 2684779 WITH SCORE 2692514.442
AT ITER 555 NEW BEST:: SOT 12141588 SOS 7735766 HAS SOPS 6422438 HAS SOUS 2774910 HAS SOUPS 2679003 WITH SCORE 2686738.766
AT ITER 568 NEW BEST:: SOT 12141288 SOS 7734076 HAS SOPS 6420569 HAS SOUS 2774318 HAS SOUPS 2678411 WITH SCORE 2686145.076
AT ITER 574 NEW BEST:: SOT 12139598 SOS 7732451 HAS SOPS 6419403 HAS SOUS 2769522 HAS SOUPS 2673751 WITH SCORE 2681483.451
AT ITER 579 NEW BEST:: SOT 12129886 SOS 7722739 HAS SOPS 6409131 HAS SOUS 2757330 HAS SOUPS 2661495 WITH SCORE 2669217.739
AT ITER 582 NEW BEST:: SOT 12126689 SOS 7716037 HAS SOPS 6403833 HAS SOUS 2756696 HAS SOUPS 2660861 WITH SCORE 2668577.037
AT ITER 586 NEW BEST:: SOT 12126544 SOS 7715032 HAS SOPS 6404486 HAS SOUS 2755571 HAS SOUPS 2659736 WITH SCORE 2667451.032
AT ITER 606 NEW BEST:: SOT 12125112 SOS 7711520 HAS SOPS 6402000 HAS SOUS 2754815 HAS SOUPS 2658980 WITH SCORE 2666691.52
AT ITER 607 NEW BEST:: SOT 12124445 SOS 7710069 HAS SOPS 6401263 HAS SOUS 2752830 HAS SOUPS 2657663 WITH SCORE 2665373.069
AT ITER 625 NEW BEST:: SOT 12124809 SOS 7709995 HAS SOPS 6401995 HAS SOUS 2752711 HAS SOUPS 2657544 WITH SCORE 2665253.995
AT ITER 630 NEW BEST:: SOT 12124506 SOS 7710294 HAS SOPS 6401185 HAS SOUS 2751265 HAS SOUPS 2656098 WITH SCORE 2663808.294
AT ITER 631 NEW BEST:: SOT 12127951 SOS 7707111 HAS SOPS 6403406 HAS SOUS 2744403 HAS SOUPS 2649408 WITH SCORE 2657115.111
AT ITER 637 NEW BEST:: SOT 12123592 SOS 7698596 HAS SOPS 6389434 HAS SOUS 2733902 HAS SOUPS 2638738 WITH SCORE 2646436.596
AT ITER 639 NEW BEST:: SOT 12122986 SOS 7697362 HAS SOPS 6388245 HAS SOUS 2732557 HAS SOUPS 2637393 WITH SCORE 2645090.362
AT ITER 644 NEW BEST:: SOT 12120361 SOS 7693055 HAS SOPS 6382591 HAS SOUS 2724088 HAS SOUPS 2629321 WITH SCORE 2637014.055
AT ITER 647 NEW BEST:: SOT 12119529 SOS 7691515 HAS SOPS 6381036 HAS SOUS 2724015 HAS SOUPS 2629248 WITH SCORE 2636939.515
AT ITER 659 NEW BEST:: SOT 12118970 SOS 7689680 HAS SOPS 6381297 HAS SOUS 2723961 HAS SOUPS 2629206 WITH SCORE 2636895.68
AT ITER 661 NEW BEST:: SOT 12118831 SOS 7689311 HAS SOPS 6381089 HAS SOUS 2723922 HAS SOUPS 2629170 WITH SCORE 2636859.311
AT ITER 669 NEW BEST:: SOT 12118730 SOS 7689152 HAS SOPS 6380758 HAS SOUS 2723912 HAS SOUPS 2629145 WITH SCORE 2636834.152
AT ITER 671 NEW BEST:: SOT 12118682 SOS 7689104 HAS SOPS 6380582 HAS SOUS 2723440 HAS SOUPS 2628609 WITH SCORE 2636298.104
AT ITER 679 NEW BEST:: SOT 12117337 SOS 7684844 HAS SOPS 6376186 HAS SOUS 2722485 HAS SOUPS 2627654 WITH SCORE 2635338.844
AT ITER 687 NEW BEST:: SOT 12117190 SOS 7683384 HAS SOPS 6374633 HAS SOUS 2722138 HAS SOUPS 2627307 WITH SCORE 2634990.384
AT ITER 688 NEW BEST:: SOT 12106481 SOS 7672435 HAS SOPS 6363799 HAS SOUS 2705903 HAS SOUPS 2611116 WITH SCORE 2618788.435
AT ITER 697 NEW BEST:: SOT 12107046 SOS 7673447 HAS SOPS 6365151 HAS SOUS 2704411 HAS SOUPS 2609624 WITH SCORE 2617297.447
AT ITER 701 NEW BEST:: SOT 12105894 SOS 7672295 HAS SOPS 6363999 HAS SOUS 2703259 HAS SOUPS 2608472 WITH SCORE 2616144.295
AT ITER 706 NEW BEST:: SOT 12105553 SOS 7671780 HAS SOPS 6363598 HAS SOUS 2702792 HAS SOUPS 2608005 WITH SCORE 2615676.78
AT ITER 714 NEW BEST:: SOT 12097155 SOS 7664077 HAS SOPS 6358611 HAS SOUS 2683180 HAS SOUPS 2588551 WITH SCORE 2596215.077
AT ITER 731 NEW BEST:: SOT 12097254 SOS 7664350 HAS SOPS 6358797 HAS SOUS 2683133 HAS SOUPS 2588504 WITH SCORE 2596168.35
AT ITER 737 NEW BEST:: SOT 12097228 SOS 7663753 HAS SOPS 6358155 HAS SOUS 2683040 HAS SOUPS 2588411 WITH SCORE 2596074.753
AT ITER 741 NEW BEST:: SOT 12096171 SOS 7661972 HAS SOPS 6356373 HAS SOUS 2679303 HAS SOUPS 2584835 WITH SCORE 2592496.972
AT ITER 743 NEW BEST:: SOT 12093260 SOS 7655838 HAS SOPS 6351590 HAS SOUS 2674997 HAS SOUPS 2580529 WITH SCORE 2588184.838
AT ITER 749 NEW BEST:: SOT 12091484 SOS 7652492 HAS SOPS 6347535 HAS SOUS 2672323 HAS SOUPS 2577855 WITH SCORE 2585507.492
AT ITER 754 NEW BEST:: SOT 12091275 SOS 7652325 HAS SOPS 6347339 HAS SOUS 2671988 HAS SOUPS 2577520 WITH SCORE 2585172.325
AT ITER 760 NEW BEST:: SOT 12085865 SOS 7633017 HAS SOPS 6335652 HAS SOUS 2669266 HAS SOUPS 2574907 WITH SCORE 2582540.017
AT ITER 767 NEW BEST:: SOT 12085010 SOS 7635119 HAS SOPS 6336387 HAS SOUS 2656620 HAS SOUPS 2562345 WITH SCORE 2569980.119
AT ITER 784 NEW BEST:: SOT 12084098 SOS 7634207 HAS SOPS 6334963 HAS SOUS 2654344 HAS SOUPS 2560069 WITH SCORE 2567703.207
AT ITER 816 NEW BEST:: SOT 12084049 SOS 7634178 HAS SOPS 6335180 HAS SOUS 2652969 HAS SOUPS 2559030 WITH SCORE 2566664.178
AT ITER 825 NEW BEST:: SOT 12083876 SOS 7635047 HAS SOPS 6335940 HAS SOUS 2652586 HAS SOUPS 2558647 WITH SCORE 2566282.047
AT ITER 827 NEW BEST:: SOT 12082806 SOS 7630671 HAS SOPS 6333101 HAS SOUS 2652241 HAS SOUPS 2558302 WITH SCORE 2565932.671
AT ITER 835 NEW BEST:: SOT 12082841 SOS 7631154 HAS SOPS 6333556 HAS SOUS 2652223 HAS SOUPS 2558277 WITH SCORE 2565908.154
AT ITER 860 NEW BEST:: SOT 12092389 SOS 7654896 HAS SOPS 6355593 HAS SOUS 2646254 HAS SOUPS 2552280 WITH SCORE 2559934.896
AT ITER 864 NEW BEST:: SOT 12092501 SOS 7655008 HAS SOPS 6355225 HAS SOUS 2644002 HAS SOUPS 2550028 WITH SCORE 2557683.008
AT ITER 871 NEW BEST:: SOT 12091902 SOS 7653468 HAS SOPS 6353864 HAS SOUS 2641640 HAS SOUPS 2547666 WITH SCORE 2555319.468
AT ITER 876 NEW BEST:: SOT 12092318 SOS 7654813 HAS SOPS 6354952 HAS SOUS 2639541 HAS SOUPS 2545567 WITH SCORE 2553221.813
AT ITER 879 NEW BEST:: SOT 12091798 SOS 7654293 HAS SOPS 6354112 HAS SOUS 2638093 HAS SOUPS 2544103 WITH SCORE 2551757.293
AT ITER 902 NEW BEST:: SOT 12094027 SOS 7661500 HAS SOPS 6363594 HAS SOUS 2636549 HAS SOUPS 2542559 WITH SCORE 2550220.5
AT ITER 903 NEW BEST:: SOT 12092500 SOS 7660178 HAS SOPS 6361482 HAS SOUS 2632629 HAS SOUPS 2538413 WITH SCORE 2546073.178
AT ITER 904 NEW BEST:: SOT 12096000 SOS 7663214 HAS SOPS 6366917 HAS SOUS 2631807 HAS SOUPS 2537580 WITH SCORE 2545243.214
AT ITER 916 NEW BEST:: SOT 12096417 SOS 7664973 HAS SOPS 6368077 HAS SOUS 2630180 HAS SOUPS 2535953 WITH SCORE 2543617.973
AT ITER 919 NEW BEST:: SOT 12095409 SOS 7661987 HAS SOPS 6367139 HAS SOUS 2622627 HAS SOUPS 2528539 WITH SCORE 2536200.987
AT ITER 927 NEW BEST:: SOT 12096414 SOS 7663617 HAS SOPS 6369086 HAS SOUS 2622258 HAS SOUPS 2528170 WITH SCORE 2535833.617
AT ITER 934 NEW BEST:: SOT 12110239 SOS 7683325 HAS SOPS 6391565 HAS SOUS 2618929 HAS SOUPS 2524841 WITH SCORE 2532524.325
AT ITER 941 NEW BEST:: SOT 12110417 SOS 7683911 HAS SOPS 6392151 HAS SOUS 2618831 HAS SOUPS 2524743 WITH SCORE 2532426.911
AT ITER 949 NEW BEST:: SOT 12112134 SOS 7687291 HAS SOPS 6396605 HAS SOUS 2617036 HAS SOUPS 2522886 WITH SCORE 2530573.291
AT ITER 954 NEW BEST:: SOT 12111452 SOS 7686973 HAS SOPS 6399396 HAS SOUS 2615724 HAS SOUPS 2521611 WITH SCORE 2529297.973
AT ITER 956 NEW BEST:: SOT 12111281 SOS 7686715 HAS SOPS 6399082 HAS SOUS 2615304 HAS SOUPS 2521196 WITH SCORE 2528882.715
AT ITER 961 NEW BEST:: SOT 12105161 SOS 7675312 HAS SOPS 6388088 HAS SOUS 2601450 HAS SOUPS 2507473 WITH SCORE 2515148.312
AT ITER 980 NEW BEST:: SOT 12104744 SOS 7674257 HAS SOPS 6389742 HAS SOUS 2601243 HAS SOUPS 2507266 WITH SCORE 2514940.257
AT ITER 993 NEW BEST:: SOT 12104228 SOS 7673377 HAS SOPS 6389002 HAS SOUS 2601189 HAS SOUPS 2507212 WITH SCORE 2514885.377
AT ITER 995 NEW BEST:: SOT 12102409 SOS 7671075 HAS SOPS 6387972 HAS SOUS 2597869 HAS SOUPS 2503951 WITH SCORE 2511622.075
AT ITER 1001 NEW BEST:: SOT 12101881 SOS 7670547 HAS SOPS 6387268 HAS SOUS 2596813 HAS SOUPS 2502895 WITH SCORE 2510565.547
AT ITER 1011 NEW BEST:: SOT 12099658 SOS 7668158 HAS SOPS 6383897 HAS SOUS 2593754 HAS SOUPS 2499349 WITH SCORE 2507017.158
AT ITER 1022 NEW BEST:: SOT 12099609 SOS 7668501 HAS SOPS 6384240 HAS SOUS 2593297 HAS SOUPS 2498892 WITH SCORE 2506560.501
AT ITER 1048 NEW BEST:: SOT 12096373 SOS 7665265 HAS SOPS 6381004 HAS SOUS 2590061 HAS SOUPS 2495656 WITH SCORE 2503321.265
AT ITER 1052 NEW BEST:: SOT 12083457 SOS 7637451 HAS SOPS 6363467 HAS SOUS 2579073 HAS SOUPS 2484940 WITH SCORE 2492577.451
AT ITER 1069 NEW BEST:: SOT 12083301 SOS 7636816 HAS SOPS 6362728 HAS SOUS 2579008 HAS SOUPS 2484875 WITH SCORE 2492511.816
AT ITER 1071 NEW BEST:: SOT 12092465 SOS 7654013 HAS SOPS 6385770 HAS SOUS 2578101 HAS SOUPS 2484205 WITH SCORE 2491859.013
AT ITER 1072 NEW BEST:: SOT 12089629 SOS 7651178 HAS SOPS 6382934 HAS SOUS 2575847 HAS SOUPS 2481950 WITH SCORE 2489601.178
AT ITER 1093 NEW BEST:: SOT 12089604 SOS 7651105 HAS SOPS 6382853 HAS SOUS 2575782 HAS SOUPS 2481885 WITH SCORE 2489536.105
AT ITER 1095 NEW BEST:: SOT 12091299 SOS 7656738 HAS SOPS 6388967 HAS SOUS 2571148 HAS SOUPS 2477398 WITH SCORE 2485054.738
AT ITER 1096 NEW BEST:: SOT 12089413 SOS 7653522 HAS SOPS 6385634 HAS SOUS 2566616 HAS SOUPS 2472922 WITH SCORE 2480575.522
AT ITER 1107 NEW BEST:: SOT 12089285 SOS 7657170 HAS SOPS 6388258 HAS SOUS 2564800 HAS SOUPS 2471106 WITH SCORE 2478763.17
AT ITER 1116 NEW BEST:: SOT 12089094 SOS 7656939 HAS SOPS 6388003 HAS SOUS 2564653 HAS SOUPS 2470943 WITH SCORE 2478599.939
AT ITER 1120 NEW BEST:: SOT 12091176 SOS 7664172 HAS SOPS 6394156 HAS SOUS 2564507 HAS SOUPS 2470797 WITH SCORE 2478461.172
AT ITER 1124 NEW BEST:: SOT 12091144 SOS 7664140 HAS SOPS 6394108 HAS SOUS 2564427 HAS SOUPS 2470717 WITH SCORE 2478381.14
AT ITER 1130 NEW BEST:: SOT 12085509 SOS 7656100 HAS SOPS 6377448 HAS SOUS 2552524 HAS SOUPS 2458657 WITH SCORE 2466313.1
AT ITER 1140 NEW BEST:: SOT 12083789 SOS 7651807 HAS SOPS 6370010 HAS SOUS 2547994 HAS SOUPS 2454127 WITH SCORE 2461778.807
AT ITER 1147 NEW BEST:: SOT 12085010 SOS 7653140 HAS SOPS 6368881 HAS SOUS 2549335 HAS SOUPS 2453898 WITH SCORE 2461551.14
AT ITER 1169 NEW BEST:: SOT 12084916 SOS 7653040 HAS SOPS 6368752 HAS SOUS 2549184 HAS SOUPS 2453747 WITH SCORE 2461400.04
AT ITER 1185 NEW BEST:: SOT 12084543 SOS 7652157 HAS SOPS 6367967 HAS SOUS 2549075 HAS SOUPS 2453638 WITH SCORE 2461290.157
AT ITER 1187 NEW BEST:: SOT 12084541 SOS 7651577 HAS SOPS 6366812 HAS SOUS 2546033 HAS SOUPS 2451208 WITH SCORE 2458859.577
AT ITER 1212 NEW BEST:: SOT 12081911 SOS 7649290 HAS SOPS 6364905 HAS SOUS 2538927 HAS SOUPS 2444102 WITH SCORE 2451751.29
AT ITER 1220 NEW BEST:: SOT 12078814 SOS 7647086 HAS SOPS 6363593 HAS SOUS 2537983 HAS SOUPS 2443232 WITH SCORE 2450879.086
AT ITER 1223 NEW BEST:: SOT 12079546 SOS 7644250 HAS SOPS 6360819 HAS SOUS 2536082 HAS SOUPS 2441331 WITH SCORE 2448975.25
AT ITER 1233 NEW BEST:: SOT 12067900 SOS 7628931 HAS SOPS 6335458 HAS SOUS 2512680 HAS SOUPS 2416203 WITH SCORE 2423831.931
AT ITER 1238 NEW BEST:: SOT 12067913 SOS 7628940 HAS SOPS 6335438 HAS SOUS 2512689 HAS SOUPS 2416183 WITH SCORE 2423811.94
AT ITER 1249 NEW BEST:: SOT 12065844 SOS 7626206 HAS SOPS 6332252 HAS SOUS 2509097 HAS SOUPS 2412614 WITH SCORE 2420240.206
AT ITER 1255 NEW BEST:: SOT 12065201 SOS 7624254 HAS SOPS 6331111 HAS SOUS 2508139 HAS SOUPS 2411656 WITH SCORE 2419280.254
AT ITER 1257 NEW BEST:: SOT 12076826 SOS 7634976 HAS SOPS 6343020 HAS SOUS 2504636 HAS SOUPS 2408407 WITH SCORE 2416041.976
AT ITER 1262 NEW BEST:: SOT 12079281 SOS 7637963 HAS SOPS 6350865 HAS SOUS 2504180 HAS SOUPS 2408105 WITH SCORE 2415742.963
AT ITER 1273 NEW BEST:: SOT 12078987 SOS 7635139 HAS SOPS 6348908 HAS SOUS 2503270 HAS SOUPS 2407195 WITH SCORE 2414830.139
AT ITER 1276 NEW BEST:: SOT 12078180 SOS 7632479 HAS SOPS 6345852 HAS SOUS 2501534 HAS SOUPS 2405459 WITH SCORE 2413091.479
AT ITER 1295 NEW BEST:: SOT 12076329 SOS 7630467 HAS SOPS 6343793 HAS SOUS 2498410 HAS SOUPS 2402335 WITH SCORE 2409965.467
AT ITER 1305 NEW BEST:: SOT 12076406 SOS 7630546 HAS SOPS 6343870 HAS SOUS 2498393 HAS SOUPS 2402318 WITH SCORE 2409948.546
AT ITER 1308 NEW BEST:: SOT 12075847 SOS 7629987 HAS SOPS 6342991 HAS SOUS 2496666 HAS SOUPS 2400591 WITH SCORE 2408220.987
AT ITER 1325 NEW BEST:: SOT 12061581 SOS 7614485 HAS SOPS 6325437 HAS SOUS 2467012 HAS SOUPS 2370937 WITH SCORE 2378551.485
AT ITER 1336 NEW BEST:: SOT 12062248 SOS 7616948 HAS SOPS 6327034 HAS SOUS 2465371 HAS SOUPS 2369296 WITH SCORE 2376912.948
AT ITER 1352 NEW BEST:: SOT 12062213 SOS 7616882 HAS SOPS 6326957 HAS SOUS 2465314 HAS SOUPS 2369239 WITH SCORE 2376855.882
AT ITER 1382 NEW BEST:: SOT 12063507 SOS 7623326 HAS SOPS 6331703 HAS SOUS 2462777 HAS SOUPS 2366702 WITH SCORE 2374325.326
AT ITER 1385 NEW BEST:: SOT 12069567 SOS 7636389 HAS SOPS 6340997 HAS SOUS 2461074 HAS SOUPS 2364999 WITH SCORE 2372635.389
AT ITER 1399 NEW BEST:: SOT 12070193 SOS 7637036 HAS SOPS 6341576 HAS SOUS 2460793 HAS SOUPS 2364730 WITH SCORE 2372367.036
AT ITER 1406 NEW BEST:: SOT 12056080 SOS 7623010 HAS SOPS 6326933 HAS SOUS 2447920 HAS SOUPS 2352181 WITH SCORE 2359804.01
AT ITER 1408 NEW BEST:: SOT 12057992 SOS 7629461 HAS SOPS 6330672 HAS SOUS 2442951 HAS SOUPS 2347140 WITH SCORE 2354769.461
AT ITER 1411 NEW BEST:: SOT 12056900 SOS 7626249 HAS SOPS 6329044 HAS SOUS 2442260 HAS SOUPS 2346581 WITH SCORE 2354207.249
AT ITER 1422 NEW BEST:: SOT 12054688 SOS 7622557 HAS SOPS 6329854 HAS SOUS 2438958 HAS SOUPS 2343476 WITH SCORE 2351098.557
AT ITER 1423 NEW BEST:: SOT 12054392 SOS 7621945 HAS SOPS 6328442 HAS SOUS 2436752 HAS SOUPS 2341558 WITH SCORE 2349179.945
AT ITER 1435 NEW BEST:: SOT 12055199 SOS 7622754 HAS SOPS 6329745 HAS SOUS 2434762 HAS SOUPS 2340542 WITH SCORE 2348164.754
AT ITER 1455 NEW BEST:: SOT 12054532 SOS 7622889 HAS SOPS 6328295 HAS SOUS 2431699 HAS SOUPS 2337479 WITH SCORE 2345101.889
AT ITER 1458 NEW BEST:: SOT 12055663 SOS 7624471 HAS SOPS 6330456 HAS SOUS 2431338 HAS SOUPS 2337199 WITH SCORE 2344823.471
AT ITER 1474 NEW BEST:: SOT 12055601 SOS 7623377 HAS SOPS 6329526 HAS SOUS 2431142 HAS SOUPS 2337003 WITH SCORE 2344626.377
AT ITER 1482 NEW BEST:: SOT 12055554 SOS 7623168 HAS SOPS 6329215 HAS SOUS 2430466 HAS SOUPS 2336327 WITH SCORE 2343950.168
AT ITER 1495 NEW BEST:: SOT 12055510 SOS 7623124 HAS SOPS 6328931 HAS SOUS 2429138 HAS SOUPS 2334999 WITH SCORE 2342622.124
AT ITER 1508 NEW BEST:: SOT 12054370 SOS 7622457 HAS SOPS 6328292 HAS SOUS 2426879 HAS SOUPS 2332740 WITH SCORE 2340362.457
AT ITER 1538 NEW BEST:: SOT 12054772 SOS 7625782 HAS SOPS 6329994 HAS SOUS 2425111 HAS SOUPS 2330902 WITH SCORE 2338527.782
AT ITER 1541 NEW BEST:: SOT 12054822 SOS 7625963 HAS SOPS 6330305 HAS SOUS 2425093 HAS SOUPS 2330884 WITH SCORE 2338509.963
AT ITER 1555 NEW BEST:: SOT 12054820 SOS 7625917 HAS SOPS 6330241 HAS SOUS 2425088 HAS SOUPS 2330879 WITH SCORE 2338504.917
AT ITER 1556 NEW BEST:: SOT 12055009 SOS 7625636 HAS SOPS 6331272 HAS SOUS 2423855 HAS SOUPS 2329646 WITH SCORE 2337271.636
AT ITER 1565 NEW BEST:: SOT 12054875 SOS 7622609 HAS SOPS 6328697 HAS SOUS 2422982 HAS SOUPS 2328773 WITH SCORE 2336395.609
AT ITER 1569 NEW BEST:: SOT 12056047 SOS 7623373 HAS SOPS 6329700 HAS SOUS 2420310 HAS SOUPS 2326141 WITH SCORE 2333764.373
AT ITER 1573 NEW BEST:: SOT 12054377 SOS 7624584 HAS SOPS 6329367 HAS SOUS 2416395 HAS SOUPS 2322119 WITH SCORE 2329743.584
AT ITER 1590 NEW BEST:: SOT 12053342 SOS 7623355 HAS SOPS 6328198 HAS SOUS 2414986 HAS SOUPS 2320730 WITH SCORE 2328353.355
AT ITER 1600 NEW BEST:: SOT 12053406 SOS 7623419 HAS SOPS 6328246 HAS SOUS 2414890 HAS SOUPS 2320634 WITH SCORE 2328257.419
AT ITER 1611 NEW BEST:: SOT 12057816 SOS 7640039 HAS SOPS 6343156 HAS SOUS 2411596 HAS SOUPS 2317340 WITH SCORE 2324980.039
AT ITER 1615 NEW BEST:: SOT 12054067 SOS 7634733 HAS SOPS 6339499 HAS SOUS 2407594 HAS SOUPS 2313338 WITH SCORE 2320972.733
AT ITER 1624 NEW BEST:: SOT 12047921 SOS 7622116 HAS SOPS 6326276 HAS SOUS 2399977 HAS SOUPS 2305721 WITH SCORE 2313343.116
AT ITER 1625 NEW BEST:: SOT 12049909 SOS 7624104 HAS SOPS 6327416 HAS SOUS 2399517 HAS SOUPS 2304781 WITH SCORE 2312405.104
AT ITER 1628 NEW BEST:: SOT 12050005 SOS 7624548 HAS SOPS 6327591 HAS SOUS 2399409 HAS SOUPS 2304673 WITH SCORE 2312297.548
AT ITER 1640 NEW BEST:: SOT 12041246 SOS 7609300 HAS SOPS 6318304 HAS SOUS 2394040 HAS SOUPS 2299493 WITH SCORE 2307102.3
AT ITER 1642 NEW BEST:: SOT 12041942 SOS 7609524 HAS SOPS 6317636 HAS SOUS 2393472 HAS SOUPS 2298925 WITH SCORE 2306534.524
AT ITER 1647 NEW BEST:: SOT 12036731 SOS 7596827 HAS SOPS 6312775 HAS SOUS 2391854 HAS SOUPS 2297307 WITH SCORE 2304903.827
AT ITER 1661 NEW BEST:: SOT 12037623 SOS 7591013 HAS SOPS 6317040 HAS SOUS 2386428 HAS SOUPS 2291881 WITH SCORE 2299472.013
AT ITER 1687 NEW BEST:: SOT 12037456 SOS 7590547 HAS SOPS 6316596 HAS SOUS 2386240 HAS SOUPS 2291693 WITH SCORE 2299283.547
AT ITER 1703 NEW BEST:: SOT 12036544 SOS 7589644 HAS SOPS 6315519 HAS SOUS 2385676 HAS SOUPS 2290949 WITH SCORE 2298538.644
AT ITER 1718 NEW BEST:: SOT 12034579 SOS 7587679 HAS SOPS 6313554 HAS SOUS 2383711 HAS SOUPS 2288984 WITH SCORE 2296571.679
AT ITER 1721 NEW BEST:: SOT 12033868 SOS 7586132 HAS SOPS 6312317 HAS SOUS 2383476 HAS SOUPS 2288749 WITH SCORE 2296335.132
AT ITER 1730 NEW BEST:: SOT 12033522 SOS 7585836 HAS SOPS 6311615 HAS SOUS 2382467 HAS SOUPS 2287740 WITH SCORE 2295325.836
AT ITER 1739 NEW BEST:: SOT 12035247 SOS 7587128 HAS SOPS 6312580 HAS SOUS 2375667 HAS SOUPS 2280624 WITH SCORE 2288211.128
AT ITER 1746 NEW BEST:: SOT 12034989 SOS 7586849 HAS SOPS 6312186 HAS SOUS 2375106 HAS SOUPS 2280063 WITH SCORE 2287649.849
AT ITER 1756 NEW BEST:: SOT 12044905 SOS 7607515 HAS SOPS 6327647 HAS SOUS 2364443 HAS SOUPS 2269282 WITH SCORE 2276889.515
AT ITER 1765 NEW BEST:: SOT 12046385 SOS 7611729 HAS SOPS 6334056 HAS SOUS 2363260 HAS SOUPS 2268011 WITH SCORE 2275622.729
AT ITER 1781 NEW BEST:: SOT 12047575 SOS 7614201 HAS SOPS 6335400 HAS SOUS 2363234 HAS SOUPS 2267873 WITH SCORE 2275487.201
AT ITER 1789 NEW BEST:: SOT 12048578 SOS 7615132 HAS SOPS 6336019 HAS SOUS 2362137 HAS SOUPS 2266776 WITH SCORE 2274391.132
AT ITER 1792 NEW BEST:: SOT 12048362 SOS 7614417 HAS SOPS 6335550 HAS SOUS 2361888 HAS SOUPS 2266534 WITH SCORE 2274148.417
AT ITER 1807 NEW BEST:: SOT 12047816 SOS 7613439 HAS SOPS 6335684 HAS SOUS 2360455 HAS SOUPS 2265213 WITH SCORE 2272826.439
AT ITER 1823 NEW BEST:: SOT 12047359 SOS 7612506 HAS SOPS 6334712 HAS SOUS 2360004 HAS SOUPS 2264762 WITH SCORE 2272374.506
AT ITER 1836 NEW BEST:: SOT 12044864 SOS 7606532 HAS SOPS 6326882 HAS SOUS 2356870 HAS SOUPS 2261628 WITH SCORE 2269234.532
AT ITER 1841 NEW BEST:: SOT 12043608 SOS 7604800 HAS SOPS 6324280 HAS SOUS 2353196 HAS SOUPS 2257954 WITH SCORE 2265558.8
AT ITER 1844 NEW BEST:: SOT 12044450 SOS 7606812 HAS SOPS 6326079 HAS SOUS 2352850 HAS SOUPS 2257608 WITH SCORE 2265214.812
AT ITER 1847 NEW BEST:: SOT 12041368 SOS 7604176 HAS SOPS 6321150 HAS SOUS 2350692 HAS SOUPS 2255450 WITH SCORE 2263054.176
AT ITER 1860 NEW BEST:: SOT 12041526 SOS 7606033 HAS SOPS 6324817 HAS SOUS 2350648 HAS SOUPS 2255406 WITH SCORE 2263012.033
AT ITER 1863 NEW BEST:: SOT 12041735 SOS 7607067 HAS SOPS 6325945 HAS SOUS 2350564 HAS SOUPS 2255322 WITH SCORE 2262929.067
AT ITER 1867 NEW BEST:: SOT 12041085 SOS 7605063 HAS SOPS 6324289 HAS SOUS 2349455 HAS SOUPS 2254218 WITH SCORE 2261823.063
AT ITER 1874 NEW BEST:: SOT 12040833 SOS 7604811 HAS SOPS 6323973 HAS SOUS 2348899 HAS SOUPS 2253662 WITH SCORE 2261266.811
AT ITER 1895 NEW BEST:: SOT 12041462 SOS 7606239 HAS SOPS 6323646 HAS SOUS 2347482 HAS SOUPS 2252202 WITH SCORE 2259808.239
AT ITER 1899 NEW BEST:: SOT 12041274 SOS 7605979 HAS SOPS 6323296 HAS SOUS 2347390 HAS SOUPS 2252110 WITH SCORE 2259715.979
AT ITER 1922 NEW BEST:: SOT 12041024 SOS 7605480 HAS SOPS 6322780 HAS SOUS 2346700 HAS SOUPS 2251420 WITH SCORE 2259025.48
AT ITER 1928 NEW BEST:: SOT 12040992 SOS 7605387 HAS SOPS 6322613 HAS SOUS 2346569 HAS SOUPS 2251289 WITH SCORE 2258894.387
AT ITER 1940 NEW BEST:: SOT 12041020 SOS 7604799 HAS SOPS 6322553 HAS SOUS 2345796 HAS SOUPS 2250780 WITH SCORE 2258384.799
AT ITER 1944 NEW BEST:: SOT 12040939 SOS 7603984 HAS SOPS 6321644 HAS SOUS 2344406 HAS SOUPS 2249486 WITH SCORE 2257089.984
AT ITER 1966 NEW BEST:: SOT 12040390 SOS 7603507 HAS SOPS 6320679 HAS SOUS 2341297 HAS SOUPS 2246377 WITH SCORE 2253980.507
AT ITER 1976 NEW BEST:: SOT 12039154 SOS 7598912 HAS SOPS 6316302 HAS SOUS 2337850 HAS SOUPS 2242930 WITH SCORE 2250528.912
AT ITER 1984 NEW BEST:: SOT 12038727 SOS 7598892 HAS SOPS 6317177 HAS SOUS 2335683 HAS SOUPS 2240706 WITH SCORE 2248304.892
AT ITER 1987 NEW BEST:: SOT 12036869 SOS 7594277 HAS SOPS 6312140 HAS SOUS 2332377 HAS SOUPS 2237444 WITH SCORE 2245038.277
AT ITER 1994 NEW BEST:: SOT 12035590 SOS 7592750 HAS SOPS 6311079 HAS SOUS 2331469 HAS SOUPS 2236536 WITH SCORE 2244128.75
AT ITER 1998 NEW BEST:: SOT 12036468 SOS 7593924 HAS SOPS 6310905 HAS SOUS 2330327 HAS SOUPS 2235318 WITH SCORE 2242911.924
AT ITER 1999 NEW BEST:: SOT 12037281 SOS 7594284 HAS SOPS 6311302 HAS SOUS 2327072 HAS SOUPS 2232063 WITH SCORE 2239657.284
AT ITER 2006 NEW BEST:: SOT 12037161 SOS 7593820 HAS SOPS 6310889 HAS SOUS 2326467 HAS SOUPS 2231458 WITH SCORE 2239051.82
AT ITER 2023 NEW BEST:: SOT 12037420 SOS 7594691 HAS SOPS 6311656 HAS SOUS 2326107 HAS SOUPS 2231098 WITH SCORE 2238692.691
AT ITER 2024 NEW BEST:: SOT 12032077 SOS 7589944 HAS SOPS 6305002 HAS SOUS 2322622 HAS SOUPS 2227613 WITH SCORE 2235202.944
AT ITER 2031 NEW BEST:: SOT 12032009 SOS 7590197 HAS SOPS 6305396 HAS SOUS 2322531 HAS SOUPS 2227522 WITH SCORE 2235112.197
AT ITER 2046 NEW BEST:: SOT 12024850 SOS 7579688 HAS SOPS 6294192 HAS SOUS 2306111 HAS SOUPS 2211344 WITH SCORE 2218923.688
AT ITER 2050 NEW BEST:: SOT 12022812 SOS 7579412 HAS SOPS 6292467 HAS SOUS 2298191 HAS SOUPS 2203424 WITH SCORE 2211003.412
AT ITER 2073 NEW BEST:: SOT 12030937 SOS 7600823 HAS SOPS 6310582 HAS SOUS 2293184 HAS SOUPS 2198417 WITH SCORE 2206017.823
AT ITER 2082 NEW BEST:: SOT 12029508 SOS 7599217 HAS SOPS 6308576 HAS SOUS 2288324 HAS SOUPS 2193650 WITH SCORE 2201249.217
AT ITER 2099 NEW BEST:: SOT 12033599 SOS 7603274 HAS SOPS 6311613 HAS SOUS 2287228 HAS SOUPS 2192445 WITH SCORE 2200048.274
AT ITER 2100 NEW BEST:: SOT 12026483 SOS 7594108 HAS SOPS 6303430 HAS SOUS 2280151 HAS SOUPS 2185581 WITH SCORE 2193175.108
AT ITER 2103 NEW BEST:: SOT 12025525 SOS 7595192 HAS SOPS 6303730 HAS SOUS 2276711 HAS SOUPS 2182141 WITH SCORE 2189736.192
AT ITER 2121 NEW BEST:: SOT 12023599 SOS 7587410 HAS SOPS 6298318 HAS SOUS 2272932 HAS SOUPS 2178408 WITH SCORE 2185995.41
AT ITER 2127 NEW BEST:: SOT 12021368 SOS 7584886 HAS SOPS 6295794 HAS SOUS 2269058 HAS SOUPS 2174566 WITH SCORE 2182150.886
AT ITER 2128 NEW BEST:: SOT 12022146 SOS 7587918 HAS SOPS 6298794 HAS SOUS 2265576 HAS SOUPS 2171084 WITH SCORE 2178671.918
AT ITER 2168 NEW BEST:: SOT 12021798 SOS 7587592 HAS SOPS 6298446 HAS SOUS 2265558 HAS SOUPS 2171066 WITH SCORE 2178653.592
AT ITER 2169 NEW BEST:: SOT 12018532 SOS 7577399 HAS SOPS 6290883 HAS SOUS 2265084 HAS SOUPS 2170724 WITH SCORE 2178301.399
AT ITER 2175 NEW BEST:: SOT 12018347 SOS 7576848 HAS SOPS 6290583 HAS SOUS 2264054 HAS SOUPS 2169694 WITH SCORE 2177270.848
AT ITER 2185 NEW BEST:: SOT 12018259 SOS 7576736 HAS SOPS 6290255 HAS SOUS 2263886 HAS SOUPS 2169522 WITH SCORE 2177098.736
AT ITER 2187 NEW BEST:: SOT 12017841 SOS 7575418 HAS SOPS 6289177 HAS SOUS 2263481 HAS SOUPS 2169117 WITH SCORE 2176692.418
AT ITER 2211 NEW BEST:: SOT 12017876 SOS 7575965 HAS SOPS 6289550 HAS SOUS 2263203 HAS SOUPS 2168839 WITH SCORE 2176414.965
AT ITER 2213 NEW BEST:: SOT 12014136 SOS 7572377 HAS SOPS 6283950 HAS SOUS 2253960 HAS SOUPS 2159596 WITH SCORE 2167168.377
AT ITER 2214 NEW BEST:: SOT 12013443 SOS 7571931 HAS SOPS 6282676 HAS SOUS 2249644 HAS SOUPS 2155280 WITH SCORE 2162851.931
AT ITER 2238 NEW BEST:: SOT 12012565 SOS 7569337 HAS SOPS 6279526 HAS SOUS 2247689 HAS SOUPS 2153325 WITH SCORE 2160894.337
AT ITER 2248 NEW BEST:: SOT 12013862 SOS 7565154 HAS SOPS 6281827 HAS SOUS 2246958 HAS SOUPS 2152738 WITH SCORE 2160303.154
AT ITER 2257 NEW BEST:: SOT 12011433 SOS 7560100 HAS SOPS 6276581 HAS SOUS 2245291 HAS SOUPS 2151071 WITH SCORE 2158631.1
AT ITER 2262 NEW BEST:: SOT 12013257 SOS 7561088 HAS SOPS 6275746 HAS SOUS 2242575 HAS SOUPS 2148273 WITH SCORE 2155834.088
AT ITER 2271 NEW BEST:: SOT 12011059 SOS 7558882 HAS SOPS 6273548 HAS SOUS 2242553 HAS SOUPS 2148259 WITH SCORE 2155817.882
AT ITER 2289 NEW BEST:: SOT 12010948 SOS 7558766 HAS SOPS 6273308 HAS SOUS 2242405 HAS SOUPS 2148019 WITH SCORE 2155577.766
AT ITER 2292 NEW BEST:: SOT 12011265 SOS 7562296 HAS SOPS 6271181 HAS SOUS 2236904 HAS SOUPS 2142423 WITH SCORE 2149985.296
AT ITER 2313 NEW BEST:: SOT 12009751 SOS 7560386 HAS SOPS 6268866 HAS SOUS 2235044 HAS SOUPS 2140096 WITH SCORE 2147656.386
AT ITER 2319 NEW BEST:: SOT 12005618 SOS 7556234 HAS SOPS 6263882 HAS SOUS 2227511 HAS SOUPS 2132563 WITH SCORE 2140119.234
AT ITER 2329 NEW BEST:: SOT 12005792 SOS 7556358 HAS SOPS 6263898 HAS SOUS 2226257 HAS SOUPS 2131393 WITH SCORE 2138949.358
AT ITER 2330 NEW BEST:: SOT 12005054 SOS 7554180 HAS SOPS 6262104 HAS SOUS 2225279 HAS SOUPS 2130431 WITH SCORE 2137985.18
AT ITER 2357 NEW BEST:: SOT 11986588 SOS 7538733 HAS SOPS 6244438 HAS SOUS 2213300 HAS SOUPS 2118452 WITH SCORE 2125990.733
AT ITER 2363 NEW BEST:: SOT 11986582 SOS 7538689 HAS SOPS 6244436 HAS SOUS 2213278 HAS SOUPS 2118430 WITH SCORE 2125968.689
AT ITER 2365 NEW BEST:: SOT 11986548 SOS 7538846 HAS SOPS 6244254 HAS SOUS 2212517 HAS SOUPS 2117655 WITH SCORE 2125193.846
AT ITER 2367 NEW BEST:: SOT 11990141 SOS 7549839 HAS SOPS 6253258 HAS SOUS 2211902 HAS SOUPS 2117040 WITH SCORE 2124589.839
AT ITER 2370 NEW BEST:: SOT 11989837 SOS 7549559 HAS SOPS 6252982 HAS SOUS 2211342 HAS SOUPS 2116480 WITH SCORE 2124029.559
AT ITER 2372 NEW BEST:: SOT 11989373 SOS 7549095 HAS SOPS 6252214 HAS SOUS 2209966 HAS SOUPS 2115104 WITH SCORE 2122653.095
AT ITER 2375 NEW BEST:: SOT 11989133 SOS 7547991 HAS SOPS 6250869 HAS SOUS 2208910 HAS SOUPS 2114048 WITH SCORE 2121595.991
AT ITER 2403 NEW BEST:: SOT 11990046 SOS 7553444 HAS SOPS 6254690 HAS SOUS 2207623 HAS SOUPS 2112761 WITH SCORE 2120314.444
AT ITER 2416 NEW BEST:: SOT 11984314 SOS 7537686 HAS SOPS 6244072 HAS SOUS 2205249 HAS SOUPS 2110558 WITH SCORE 2118095.686
AT ITER 2421 NEW BEST:: SOT 11983957 SOS 7539209 HAS SOPS 6246225 HAS SOUS 2200865 HAS SOUPS 2106098 WITH SCORE 2113637.209
AT ITER 2433 NEW BEST:: SOT 11980130 SOS 7535318 HAS SOPS 6242366 HAS SOUS 2193634 HAS SOUPS 2098899 WITH SCORE 2106434.318
AT ITER 2465 NEW BEST:: SOT 11979753 SOS 7536157 HAS SOPS 6242197 HAS SOUS 2191305 HAS SOUPS 2096570 WITH SCORE 2104106.157
AT ITER 2487 NEW BEST:: SOT 11971831 SOS 7518748 HAS SOPS 6219668 HAS SOUS 2185789 HAS SOUPS 2091054 WITH SCORE 2098572.748
AT ITER 2496 NEW BEST:: SOT 11970458 SOS 7518859 HAS SOPS 6220357 HAS SOUS 2182189 HAS SOUPS 2087454 WITH SCORE 2094972.859
AT ITER 2502 NEW BEST:: SOT 11968829 SOS 7514862 HAS SOPS 6217212 HAS SOUS 2177812 HAS SOUPS 2083293 WITH SCORE 2090807.862
AT ITER 2508 NEW BEST:: SOT 11966499 SOS 7512532 HAS SOPS 6215298 HAS SOUS 2176106 HAS SOUPS 2082259 WITH SCORE 2089771.532
AT ITER 2515 NEW BEST:: SOT 11965559 SOS 7512082 HAS SOPS 6215163 HAS SOUS 2173284 HAS SOUPS 2079503 WITH SCORE 2087015.082
AT ITER 2521 NEW BEST:: SOT 11965502 SOS 7512004 HAS SOPS 6215085 HAS SOUS 2173112 HAS SOUPS 2079331 WITH SCORE 2086843.004
AT ITER 2524 NEW BEST:: SOT 11965483 SOS 7511997 HAS SOPS 6215088 HAS SOUS 2173007 HAS SOUPS 2079230 WITH SCORE 2086741.997
AT ITER 2528 NEW BEST:: SOT 11960423 SOS 7519573 HAS SOPS 6219718 HAS SOUS 2167961 HAS SOUPS 2074184 WITH SCORE 2081703.573
AT ITER 2549 NEW BEST:: SOT 11960357 SOS 7519307 HAS SOPS 6219230 HAS SOUS 2167794 HAS SOUPS 2074017 WITH SCORE 2081536.307
AT ITER 2577 NEW BEST:: SOT 11959023 SOS 7517977 HAS SOPS 6217316 HAS SOUS 2165127 HAS SOUPS 2071379 WITH SCORE 2078896.977
AT ITER 2578 NEW BEST:: SOT 11956093 SOS 7512864 HAS SOPS 6212471 HAS SOUS 2158075 HAS SOUPS 2064502 WITH SCORE 2072014.864
AT ITER 2579 NEW BEST:: SOT 11956090 SOS 7512861 HAS SOPS 6212468 HAS SOUS 2158072 HAS SOUPS 2064499 WITH SCORE 2072011.861
AT ITER 2581 NEW BEST:: SOT 11954952 SOS 7511641 HAS SOPS 6211060 HAS SOUS 2156420 HAS SOUPS 2062847 WITH SCORE 2070358.641
AT ITER 2584 NEW BEST:: SOT 11955140 SOS 7511547 HAS SOPS 6210109 HAS SOUS 2156057 HAS SOUPS 2062484 WITH SCORE 2069995.547
AT ITER 2588 NEW BEST:: SOT 11955635 SOS 7512742 HAS SOPS 6212838 HAS SOUS 2155945 HAS SOUPS 2062372 WITH SCORE 2069884.742
AT ITER 2636 NEW BEST:: SOT 11957379 SOS 7509465 HAS SOPS 6220867 HAS SOUS 2148280 HAS SOUPS 2054710 WITH SCORE 2062219.465
AT ITER 2653 NEW BEST:: SOT 11960389 SOS 7517400 HAS SOPS 6231962 HAS SOUS 2145354 HAS SOUPS 2051912 WITH SCORE 2059429.4
AT ITER 2655 NEW BEST:: SOT 11954812 SOS 7507432 HAS SOPS 6222321 HAS SOUS 2134063 HAS SOUPS 2040692 WITH SCORE 2048199.432
AT ITER 2663 NEW BEST:: SOT 11954862 SOS 7506779 HAS SOPS 6223005 HAS SOUS 2132835 HAS SOUPS 2039494 WITH SCORE 2047000.779
AT ITER 2672 NEW BEST:: SOT 11953269 SOS 7506844 HAS SOPS 6223640 HAS SOUS 2130372 HAS SOUPS 2037116 WITH SCORE 2044622.844
AT ITER 2673 NEW BEST:: SOT 11953338 SOS 7507077 HAS SOPS 6223653 HAS SOUS 2129820 HAS SOUPS 2036564 WITH SCORE 2044071.077
AT ITER 2691 NEW BEST:: SOT 11953359 SOS 7506428 HAS SOPS 6225443 HAS SOUS 2129212 HAS SOUPS 2035956 WITH SCORE 2043462.428
AT ITER 2692 NEW BEST:: SOT 11952221 SOS 7505000 HAS SOPS 6223269 HAS SOUS 2127891 HAS SOUPS 2034382 WITH SCORE 2041887.0
AT ITER 2719 NEW BEST:: SOT 11950735 SOS 7503956 HAS SOPS 6221384 HAS SOUS 2124524 HAS SOUPS 2031015 WITH SCORE 2038518.956
AT ITER 2726 NEW BEST:: SOT 11950754 SOS 7504048 HAS SOPS 6220091 HAS SOUS 2120490 HAS SOUPS 2026981 WITH SCORE 2034485.048
AT ITER 2731 NEW BEST:: SOT 11947153 SOS 7493615 HAS SOPS 6209994 HAS SOUS 2119222 HAS SOUPS 2025781 WITH SCORE 2033274.615
AT ITER 2732 NEW BEST:: SOT 11947200 SOS 7494535 HAS SOPS 6210795 HAS SOUS 2115778 HAS SOUPS 2022383 WITH SCORE 2029877.535
AT ITER 2744 NEW BEST:: SOT 11946785 SOS 7494003 HAS SOPS 6210346 HAS SOUS 2115073 HAS SOUPS 2021662 WITH SCORE 2029156.003
AT ITER 2761 NEW BEST:: SOT 11944794 SOS 7488223 HAS SOPS 6205282 HAS SOUS 2114826 HAS SOUPS 2021449 WITH SCORE 2028937.223
AT ITER 2775 NEW BEST:: SOT 11951536 SOS 7500350 HAS SOPS 6215427 HAS SOUS 2114617 HAS SOUPS 2021240 WITH SCORE 2028740.35
AT ITER 2777 NEW BEST:: SOT 11951459 SOS 7500273 HAS SOPS 6215350 HAS SOUS 2114540 HAS SOUPS 2021163 WITH SCORE 2028663.273
AT ITER 2784 NEW BEST:: SOT 11949492 SOS 7498434 HAS SOPS 6213101 HAS SOUS 2111345 HAS SOUPS 2017968 WITH SCORE 2025466.434
AT ITER 2802 NEW BEST:: SOT 11949220 SOS 7497946 HAS SOPS 6212757 HAS SOUS 2110451 HAS SOUPS 2017092 WITH SCORE 2024589.946
AT ITER 2804 NEW BEST:: SOT 11949226 SOS 7498015 HAS SOPS 6212835 HAS SOUS 2110448 HAS SOUPS 2017090 WITH SCORE 2024588.015
AT ITER 2811 NEW BEST:: SOT 11949167 SOS 7498907 HAS SOPS 6214614 HAS SOUS 2107509 HAS SOUPS 2014225 WITH SCORE 2021723.907
AT ITER 2813 NEW BEST:: SOT 11948985 SOS 7498413 HAS SOPS 6213396 HAS SOUS 2105906 HAS SOUPS 2012622 WITH SCORE 2020120.413
AT ITER 2815 NEW BEST:: SOT 11948376 SOS 7498074 HAS SOPS 6211978 HAS SOUS 2103760 HAS SOUPS 2010476 WITH SCORE 2017974.074
AT ITER 2832 NEW BEST:: SOT 11948066 SOS 7497080 HAS SOPS 6211026 HAS SOUS 2103294 HAS SOUPS 2010010 WITH SCORE 2017507.08
AT ITER 2841 NEW BEST:: SOT 11948333 SOS 7496961 HAS SOPS 6210632 HAS SOUS 2099571 HAS SOUPS 2006231 WITH SCORE 2013727.961
AT ITER 2842 NEW BEST:: SOT 11946177 SOS 7491965 HAS SOPS 6207697 HAS SOUS 2096912 HAS SOUPS 2003572 WITH SCORE 2011063.965
AT ITER 2856 NEW BEST:: SOT 11946085 SOS 7489137 HAS SOPS 6206054 HAS SOUS 2095227 HAS SOUPS 2001924 WITH SCORE 2009413.137
AT ITER 2870 NEW BEST:: SOT 11946021 SOS 7487761 HAS SOPS 6205073 HAS SOUS 2094580 HAS SOUPS 2001501 WITH SCORE 2008988.761
AT ITER 2874 NEW BEST:: SOT 11945987 SOS 7489059 HAS SOPS 6205099 HAS SOUS 2092974 HAS SOUPS 1999771 WITH SCORE 2007260.059
AT ITER 2875 NEW BEST:: SOT 11946031 SOS 7489292 HAS SOPS 6204609 HAS SOUS 2090487 HAS SOUPS 1997284 WITH SCORE 2004773.292
AT ITER 2891 NEW BEST:: SOT 11946156 SOS 7490746 HAS SOPS 6206163 HAS SOUS 2089385 HAS SOUPS 1996182 WITH SCORE 2003672.746
AT ITER 2913 NEW BEST:: SOT 11944894 SOS 7488527 HAS SOPS 6204630 HAS SOUS 2085865 HAS SOUPS 1992662 WITH SCORE 2000150.527
AT ITER 2922 NEW BEST:: SOT 11944645 SOS 7488310 HAS SOPS 6204772 HAS SOUS 2084865 HAS SOUPS 1991643 WITH SCORE 1999131.31
AT ITER 2964 NEW BEST:: SOT 11944607 SOS 7488018 HAS SOPS 6204425 HAS SOUS 2084748 HAS SOUPS 1991526 WITH SCORE 1999014.018
AT ITER 3003 NEW BEST:: SOT 11931538 SOS 7464118 HAS SOPS 6179602 HAS SOUS 2071162 HAS SOUPS 1977857 WITH SCORE 1985321.118
AT ITER 3004 NEW BEST:: SOT 11930815 SOS 7463857 HAS SOPS 6178714 HAS SOUS 2069515 HAS SOUPS 1976189 WITH SCORE 1983652.857
AT ITER 3028 NEW BEST:: SOT 11930728 SOS 7463727 HAS SOPS 6178616 HAS SOUS 2069333 HAS SOUPS 1976007 WITH SCORE 1983470.727
AT ITER 3031 NEW BEST:: SOT 11931213 SOS 7464312 HAS SOPS 6179649 HAS SOUS 2069098 HAS SOUPS 1975755 WITH SCORE 1983219.312
AT ITER 3035 NEW BEST:: SOT 11931235 SOS 7462384 HAS SOPS 6180682 HAS SOUS 2068324 HAS SOUPS 1974981 WITH SCORE 1982443.384
AT ITER 3045 NEW BEST:: SOT 11931622 SOS 7460966 HAS SOPS 6180239 HAS SOUS 2067654 HAS SOUPS 1974311 WITH SCORE 1981771.966
AT ITER 3063 NEW BEST:: SOT 11931572 SOS 7461016 HAS SOPS 6180237 HAS SOUS 2067504 HAS SOUPS 1974161 WITH SCORE 1981622.016
AT ITER 3070 NEW BEST:: SOT 11931064 SOS 7460709 HAS SOPS 6180464 HAS SOUS 2063921 HAS SOUPS 1971021 WITH SCORE 1978481.709
AT ITER 3078 NEW BEST:: SOT 11929944 SOS 7459373 HAS SOPS 6179048 HAS SOUS 2060511 HAS SOUPS 1967411 WITH SCORE 1974870.373
AT ITER 3082 NEW BEST:: SOT 11930831 SOS 7460400 HAS SOPS 6181621 HAS SOUS 2057763 HAS SOUPS 1964663 WITH SCORE 1972123.4
AT ITER 3090 NEW BEST:: SOT 11930119 SOS 7459562 HAS SOPS 6179790 HAS SOUS 2056042 HAS SOUPS 1962942 WITH SCORE 1970401.562
AT ITER 3093 NEW BEST:: SOT 11930637 SOS 7460145 HAS SOPS 6180484 HAS SOUS 2055861 HAS SOUPS 1962761 WITH SCORE 1970221.145
AT ITER 3103 NEW BEST:: SOT 11929774 SOS 7459110 HAS SOPS 6178502 HAS SOUS 2052744 HAS SOUPS 1959673 WITH SCORE 1967132.11
AT ITER 3110 NEW BEST:: SOT 11928518 SOS 7458222 HAS SOPS 6174896 HAS SOUS 2048446 HAS SOUPS 1955318 WITH SCORE 1962776.222
AT ITER 3161 NEW BEST:: SOT 11928109 SOS 7457833 HAS SOPS 6174232 HAS SOUS 2046783 HAS SOUPS 1953648 WITH SCORE 1961105.833
AT ITER 3164 NEW BEST:: SOT 11925363 SOS 7454098 HAS SOPS 6169217 HAS SOUS 2041904 HAS SOUPS 1948769 WITH SCORE 1956223.098
AT ITER 3165 NEW BEST:: SOT 11925935 SOS 7454258 HAS SOPS 6169529 HAS SOUS 2041548 HAS SOUPS 1948413 WITH SCORE 1955867.258
AT ITER 3170 NEW BEST:: SOT 11925528 SOS 7454116 HAS SOPS 6169112 HAS SOUS 2040342 HAS SOUPS 1947193 WITH SCORE 1954647.116
AT ITER 3201 NEW BEST:: SOT 11923331 SOS 7450241 HAS SOPS 6164307 HAS SOUS 2038487 HAS SOUPS 1945383 WITH SCORE 1952833.241
AT ITER 3207 NEW BEST:: SOT 11922948 SOS 7450002 HAS SOPS 6163500 HAS SOUS 2037285 HAS SOUPS 1944181 WITH SCORE 1951631.002
AT ITER 3220 NEW BEST:: SOT 11922519 SOS 7449456 HAS SOPS 6162010 HAS SOUS 2035502 HAS SOUPS 1942398 WITH SCORE 1949847.456
AT ITER 3230 NEW BEST:: SOT 11923274 SOS 7451671 HAS SOPS 6163414 HAS SOUS 2035139 HAS SOUPS 1942035 WITH SCORE 1949486.671
AT ITER 3246 NEW BEST:: SOT 11924020 SOS 7452236 HAS SOPS 6164201 HAS SOUS 2034906 HAS SOUPS 1941833 WITH SCORE 1949285.236
AT ITER 3250 NEW BEST:: SOT 11923878 SOS 7451790 HAS SOPS 6163747 HAS SOUS 2034460 HAS SOUPS 1941387 WITH SCORE 1948838.79
AT ITER 3262 NEW BEST:: SOT 11923434 SOS 7451346 HAS SOPS 6163303 HAS SOUS 2034044 HAS SOUPS 1940971 WITH SCORE 1948422.346
AT ITER 3264 NEW BEST:: SOT 11928963 SOS 7463511 HAS SOPS 6173633 HAS SOUS 2033883 HAS SOUPS 1940810 WITH SCORE 1948273.511
AT ITER 3274 NEW BEST:: SOT 11935702 SOS 7475934 HAS SOPS 6188408 HAS SOUS 2033734 HAS SOUPS 1940687 WITH SCORE 1948162.934
AT ITER 3276 NEW BEST:: SOT 11932074 SOS 7468844 HAS SOPS 6182770 HAS SOUS 2028811 HAS SOUPS 1935808 WITH SCORE 1943276.844
AT ITER 3297 NEW BEST:: SOT 11921939 SOS 7456634 HAS SOPS 6171625 HAS SOUS 2021242 HAS SOUPS 1928277 WITH SCORE 1935733.634
AT ITER 3298 NEW BEST:: SOT 11921532 SOS 7455424 HAS SOPS 6170416 HAS SOUS 2020963 HAS SOUPS 1927998 WITH SCORE 1935453.424
AT ITER 3312 NEW BEST:: SOT 11919172 SOS 7450889 HAS SOPS 6167390 HAS SOUS 2018129 HAS SOUPS 1925649 WITH SCORE 1933099.889
AT ITER 3336 NEW BEST:: SOT 11922505 SOS 7455226 HAS SOPS 6169148 HAS SOUS 2014475 HAS SOUPS 1922560 WITH SCORE 1930015.226
AT ITER 3337 NEW BEST:: SOT 11922346 SOS 7455067 HAS SOPS 6168989 HAS SOUS 2014316 HAS SOUPS 1922401 WITH SCORE 1929856.067
AT ITER 3339 NEW BEST:: SOT 11921096 SOS 7453994 HAS SOPS 6167739 HAS SOUS 2012852 HAS SOUPS 1920851 WITH SCORE 1928304.994
AT ITER 3340 NEW BEST:: SOT 11921538 SOS 7452195 HAS SOPS 6170646 HAS SOUS 2012406 HAS SOUPS 1920405 WITH SCORE 1927857.195
AT ITER 3357 NEW BEST:: SOT 11920944 SOS 7451604 HAS SOPS 6169703 HAS SOUS 2010700 HAS SOUPS 1918699 WITH SCORE 1926150.604
AT ITER 3367 NEW BEST:: SOT 11918494 SOS 7448212 HAS SOPS 6165071 HAS SOUS 2005182 HAS SOUPS 1913181 WITH SCORE 1920629.212
AT ITER 3369 NEW BEST:: SOT 11917838 SOS 7447558 HAS SOPS 6164243 HAS SOUS 2003692 HAS SOUPS 1911709 WITH SCORE 1919156.558
AT ITER 3370 NEW BEST:: SOT 11917488 SOS 7447302 HAS SOPS 6164211 HAS SOUS 2003375 HAS SOUPS 1911367 WITH SCORE 1918814.302
AT ITER 3379 NEW BEST:: SOT 11919003 SOS 7450067 HAS SOPS 6166370 HAS SOUS 1999480 HAS SOUPS 1907659 WITH SCORE 1915109.067
AT ITER 3398 NEW BEST:: SOT 11922829 SOS 7461625 HAS SOPS 6174552 HAS SOUS 1999098 HAS SOUPS 1907197 WITH SCORE 1914658.625
AT ITER 3415 NEW BEST:: SOT 11918739 SOS 7453166 HAS SOPS 6168170 HAS SOUS 1998393 HAS SOUPS 1906492 WITH SCORE 1913945.166
AT ITER 3429 NEW BEST:: SOT 11920358 SOS 7454850 HAS SOPS 6169944 HAS SOUS 1997744 HAS SOUPS 1905930 WITH SCORE 1913384.85
AT ITER 3448 NEW BEST:: SOT 11920359 SOS 7455107 HAS SOPS 6170264 HAS SOUS 1997589 HAS SOUPS 1905775 WITH SCORE 1913230.107
AT ITER 3474 NEW BEST:: SOT 11920135 SOS 7454883 HAS SOPS 6170040 HAS SOUS 1997589 HAS SOUPS 1905775 WITH SCORE 1913229.883
AT ITER 3484 NEW BEST:: SOT 11926076 SOS 7468747 HAS SOPS 6180773 HAS SOUS 1995232 HAS SOUPS 1903418 WITH SCORE 1910886.747
AT ITER 3485 NEW BEST:: SOT 11919248 SOS 7458604 HAS SOPS 6168763 HAS SOUS 1978178 HAS SOUPS 1886364 WITH SCORE 1893822.604
AT ITER 3488 NEW BEST:: SOT 11919225 SOS 7456805 HAS SOPS 6169083 HAS SOUS 1978135 HAS SOUPS 1886360 WITH SCORE 1893816.805
AT ITER 3489 NEW BEST:: SOT 11919125 SOS 7456705 HAS SOPS 6169031 HAS SOUS 1977935 HAS SOUPS 1886160 WITH SCORE 1893616.705
AT ITER 3491 NEW BEST:: SOT 11911156 SOS 7448747 HAS SOPS 6161477 HAS SOUS 1975721 HAS SOUPS 1883958 WITH SCORE 1891406.747
AT ITER 3499 NEW BEST:: SOT 11911095 SOS 7448492 HAS SOPS 6161363 HAS SOUS 1975675 HAS SOUPS 1883912 WITH SCORE 1891360.492
AT ITER 3519 NEW BEST:: SOT 11911539 SOS 7448931 HAS SOPS 6161591 HAS SOUS 1973096 HAS SOUPS 1881333 WITH SCORE 1888781.931
AT ITER 3526 NEW BEST:: SOT 11911536 SOS 7448472 HAS SOPS 6161124 HAS SOUS 1973063 HAS SOUPS 1881300 WITH SCORE 1888748.472
AT ITER 3552 NEW BEST:: SOT 11911616 SOS 7448544 HAS SOPS 6160728 HAS SOUS 1971532 HAS SOUPS 1879765 WITH SCORE 1887213.544
AT ITER 3575 NEW BEST:: SOT 11911695 SOS 7447225 HAS SOPS 6158338 HAS SOUS 1970748 HAS SOUPS 1878981 WITH SCORE 1886428.225
AT ITER 3577 NEW BEST:: SOT 11911255 SOS 7446785 HAS SOPS 6157898 HAS SOUS 1970748 HAS SOUPS 1878981 WITH SCORE 1886427.785
AT ITER 3594 NEW BEST:: SOT 11901972 SOS 7430457 HAS SOPS 6146575 HAS SOUS 1961644 HAS SOUPS 1870023 WITH SCORE 1877453.457
AT ITER 3598 NEW BEST:: SOT 11900503 SOS 7428988 HAS SOPS 6145106 HAS SOUS 1959827 HAS SOUPS 1868206 WITH SCORE 1875634.988
AT ITER 3605 NEW BEST:: SOT 11901039 SOS 7429974 HAS SOPS 6146091 HAS SOUS 1959719 HAS SOUPS 1868116 WITH SCORE 1875545.974
AT ITER 3628 NEW BEST:: SOT 11900613 SOS 7425365 HAS SOPS 6140457 HAS SOUS 1955417 HAS SOUPS 1863809 WITH SCORE 1871234.365
AT ITER 3651 NEW BEST:: SOT 11900904 SOS 7426518 HAS SOPS 6141237 HAS SOUS 1954535 HAS SOUPS 1862918 WITH SCORE 1870344.518
AT ITER 3680 NEW BEST:: SOT 11898780 SOS 7424394 HAS SOPS 6138969 HAS SOUS 1951987 HAS SOUPS 1860450 WITH SCORE 1867874.394
AT ITER 3774 NEW BEST:: SOT 11895173 SOS 7419316 HAS SOPS 6132950 HAS SOUS 1944135 HAS SOUPS 1852598 WITH SCORE 1860017.316
AT ITER 3801 NEW BEST:: SOT 11892913 SOS 7417098 HAS SOPS 6130078 HAS SOUS 1938019 HAS SOUPS 1846482 WITH SCORE 1853899.098
AT ITER 3810 NEW BEST:: SOT 11890658 SOS 7410379 HAS SOPS 6127343 HAS SOUS 1935227 HAS SOUPS 1843793 WITH SCORE 1851203.379
AT ITER 3825 NEW BEST:: SOT 11888417 SOS 7408150 HAS SOPS 6123314 HAS SOUS 1930634 HAS SOUPS 1839162 WITH SCORE 1846570.15
AT ITER 3833 NEW BEST:: SOT 11887531 SOS 7406667 HAS SOPS 6121831 HAS SOUS 1929339 HAS SOUPS 1837867 WITH SCORE 1845273.667
AT ITER 3837 NEW BEST:: SOT 11882975 SOS 7400960 HAS SOPS 6117536 HAS SOUS 1921077 HAS SOUPS 1829732 WITH SCORE 1837132.96
AT ITER 3849 NEW BEST:: SOT 11885489 SOS 7410021 HAS SOPS 6123707 HAS SOUS 1917073 HAS SOUPS 1825827 WITH SCORE 1833237.021
AT ITER 3864 NEW BEST:: SOT 11884092 SOS 7408408 HAS SOPS 6121950 HAS SOUS 1914163 HAS SOUPS 1822914 WITH SCORE 1830322.408
AT ITER 3869 NEW BEST:: SOT 11881586 SOS 7410646 HAS SOPS 6124492 HAS SOUS 1908606 HAS SOUPS 1817357 WITH SCORE 1824767.646
AT ITER 3887 NEW BEST:: SOT 11881802 SOS 7411240 HAS SOPS 6125528 HAS SOUS 1908192 HAS SOUPS 1816943 WITH SCORE 1824354.24
AT ITER 3904 NEW BEST:: SOT 11881803 SOS 7411229 HAS SOPS 6125535 HAS SOUS 1908176 HAS SOUPS 1816927 WITH SCORE 1824338.229
AT ITER 3953 NEW BEST:: SOT 11878336 SOS 7405305 HAS SOPS 6122334 HAS SOUS 1905182 HAS SOUPS 1813986 WITH SCORE 1821391.305
AT ITER 3958 NEW BEST:: SOT 11878969 SOS 7406833 HAS SOPS 6123002 HAS SOUS 1903821 HAS SOUPS 1812625 WITH SCORE 1820031.833
AT ITER 3967 NEW BEST:: SOT 11878498 SOS 7408192 HAS SOPS 6122645 HAS SOUS 1903409 HAS SOUPS 1812149 WITH SCORE 1819557.192
AT ITER 4020 NEW BEST:: SOT 11876350 SOS 7405425 HAS SOPS 6119551 HAS SOUS 1899658 HAS SOUPS 1808419 WITH SCORE 1815824.425
AT ITER 4036 NEW BEST:: SOT 11875620 SOS 7405068 HAS SOPS 6118321 HAS SOUS 1896847 HAS SOUPS 1805608 WITH SCORE 1813013.068
AT ITER 4050 NEW BEST:: SOT 11875148 SOS 7404551 HAS SOPS 6117159 HAS SOUS 1895950 HAS SOUPS 1804471 WITH SCORE 1811875.551
AT ITER 4058 NEW BEST:: SOT 11873869 SOS 7395088 HAS SOPS 6108816 HAS SOUS 1894547 HAS SOUPS 1804188 WITH SCORE 1811583.088
AT ITER 4060 NEW BEST:: SOT 11874537 SOS 7395752 HAS SOPS 6109432 HAS SOUS 1894267 HAS SOUPS 1803908 WITH SCORE 1811303.752
AT ITER 4087 NEW BEST:: SOT 11874363 SOS 7395539 HAS SOPS 6109090 HAS SOUS 1893877 HAS SOUPS 1803515 WITH SCORE 1810910.539
AT ITER 4090 NEW BEST:: SOT 11874335 SOS 7395261 HAS SOPS 6108891 HAS SOUS 1893798 HAS SOUPS 1803436 WITH SCORE 1810831.261
AT ITER 4114 NEW BEST:: SOT 11873964 SOS 7394686 HAS SOPS 6108124 HAS SOUS 1893070 HAS SOUPS 1802678 WITH SCORE 1810072.686
AT ITER 4124 NEW BEST:: SOT 11872372 SOS 7389570 HAS SOPS 6103384 HAS SOUS 1892254 HAS SOUPS 1801862 WITH SCORE 1809251.57
AT ITER 4127 NEW BEST:: SOT 11872003 SOS 7388820 HAS SOPS 6102090 HAS SOUS 1891570 HAS SOUPS 1801178 WITH SCORE 1808566.82
AT ITER 4144 NEW BEST:: SOT 11871882 SOS 7388687 HAS SOPS 6101957 HAS SOUS 1891061 HAS SOUPS 1800669 WITH SCORE 1808057.687
AT ITER 4173 NEW BEST:: SOT 11873051 SOS 7388392 HAS SOPS 6098952 HAS SOUS 1890611 HAS SOUPS 1800219 WITH SCORE 1807607.392
AT ITER 4204 NEW BEST:: SOT 11871971 SOS 7387312 HAS SOPS 6097872 HAS SOUS 1889531 HAS SOUPS 1799139 WITH SCORE 1806526.312
AT ITER 4233 NEW BEST:: SOT 11869637 SOS 7382836 HAS SOPS 6095078 HAS SOUS 1880434 HAS SOUPS 1791146 WITH SCORE 1798528.836
AT ITER 4261 NEW BEST:: SOT 11868929 SOS 7380817 HAS SOPS 6093220 HAS SOUS 1879009 HAS SOUPS 1789740 WITH SCORE 1797120.817
AT ITER 4273 NEW BEST:: SOT 11868929 SOS 7380950 HAS SOPS 6093472 HAS SOUS 1878970 HAS SOUPS 1789701 WITH SCORE 1797081.95
AT ITER 4277 NEW BEST:: SOT 11868305 SOS 7380391 HAS SOPS 6092619 HAS SOUS 1877089 HAS SOUPS 1787802 WITH SCORE 1795182.391
AT ITER 4282 NEW BEST:: SOT 11862318 SOS 7371939 HAS SOPS 6084761 HAS SOUS 1860774 HAS SOUPS 1771584 WITH SCORE 1778955.939
AT ITER 4287 NEW BEST:: SOT 11862865 SOS 7373536 HAS SOPS 6086343 HAS SOUS 1860715 HAS SOUPS 1771525 WITH SCORE 1778898.536
AT ITER 4394 NEW BEST:: SOT 11862456 SOS 7372279 HAS SOPS 6084138 HAS SOUS 1860238 HAS SOUPS 1771048 WITH SCORE 1778420.279
AT ITER 4407 NEW BEST:: SOT 11859391 SOS 7362132 HAS SOPS 6074043 HAS SOUS 1857372 HAS SOUPS 1768182 WITH SCORE 1775544.132
AT ITER 4416 NEW BEST:: SOT 11859263 SOS 7362004 HAS SOPS 6073915 HAS SOUS 1856964 HAS SOUPS 1767774 WITH SCORE 1775136.004
AT ITER 4417 NEW BEST:: SOT 11858979 SOS 7360880 HAS SOPS 6072736 HAS SOUS 1856312 HAS SOUPS 1767122 WITH SCORE 1774482.88
AT ITER 4420 NEW BEST:: SOT 11858987 SOS 7360878 HAS SOPS 6072747 HAS SOUS 1856258 HAS SOUPS 1767068 WITH SCORE 1774428.878
AT ITER 4440 NEW BEST:: SOT 11861197 SOS 7366306 HAS SOPS 6076477 HAS SOUS 1854285 HAS SOUPS 1765172 WITH SCORE 1772538.306
AT ITER 4441 NEW BEST:: SOT 11861263 SOS 7368953 HAS SOPS 6077838 HAS SOUS 1850860 HAS SOUPS 1761747 WITH SCORE 1769115.953
AT ITER 4442 NEW BEST:: SOT 11861214 SOS 7368775 HAS SOPS 6077593 HAS SOUS 1850710 HAS SOUPS 1761597 WITH SCORE 1768965.775
AT ITER 4448 NEW BEST:: SOT 11858063 SOS 7362985 HAS SOPS 6073112 HAS SOUS 1848885 HAS SOUPS 1759772 WITH SCORE 1767134.985
AT ITER 4471 NEW BEST:: SOT 11858645 SOS 7362748 HAS SOPS 6074492 HAS SOUS 1847262 HAS SOUPS 1758150 WITH SCORE 1765512.748
AT ITER 4481 NEW BEST:: SOT 11858936 SOS 7362437 HAS SOPS 6074838 HAS SOUS 1846789 HAS SOUPS 1757651 WITH SCORE 1765013.437
AT ITER 4495 NEW BEST:: SOT 11858386 SOS 7362693 HAS SOPS 6073757 HAS SOUS 1843505 HAS SOUPS 1754367 WITH SCORE 1761729.693
AT ITER 4497 NEW BEST:: SOT 11858533 SOS 7364545 HAS SOPS 6075490 HAS SOUS 1843403 HAS SOUPS 1754265 WITH SCORE 1761629.545
AT ITER 4518 NEW BEST:: SOT 11856421 SOS 7362659 HAS SOPS 6073168 HAS SOUS 1838175 HAS SOUPS 1749037 WITH SCORE 1756399.659
AT ITER 4521 NEW BEST:: SOT 11858504 SOS 7364497 HAS SOPS 6076807 HAS SOUS 1837941 HAS SOUPS 1748869 WITH SCORE 1756233.497
AT ITER 4523 NEW BEST:: SOT 11858300 SOS 7365013 HAS SOPS 6076877 HAS SOUS 1837022 HAS SOUPS 1747950 WITH SCORE 1755315.013
AT ITER 4550 NEW BEST:: SOT 11852903 SOS 7355667 HAS SOPS 6065474 HAS SOUS 1829938 HAS SOUPS 1740540 WITH SCORE 1747895.667
AT ITER 4555 NEW BEST:: SOT 11852783 SOS 7354126 HAS SOPS 6064669 HAS SOUS 1829829 HAS SOUPS 1740454 WITH SCORE 1747808.126
AT ITER 4562 NEW BEST:: SOT 11852625 SOS 7357020 HAS SOPS 6067684 HAS SOUS 1829820 HAS SOUPS 1740445 WITH SCORE 1747802.02
AT ITER 4578 NEW BEST:: SOT 11852615 SOS 7356904 HAS SOPS 6067442 HAS SOUS 1829691 HAS SOUPS 1740311 WITH SCORE 1747667.904
AT ITER 4582 NEW BEST:: SOT 11851953 SOS 7355408 HAS SOPS 6065668 HAS SOUS 1828200 HAS SOUPS 1738820 WITH SCORE 1746175.408
AT ITER 4594 NEW BEST:: SOT 11851920 SOS 7355358 HAS SOPS 6065618 HAS SOUS 1827867 HAS SOUPS 1738487 WITH SCORE 1745842.358
AT ITER 4623 NEW BEST:: SOT 11851747 SOS 7354971 HAS SOPS 6065255 HAS SOUS 1827650 HAS SOUPS 1738273 WITH SCORE 1745627.971
AT ITER 4624 NEW BEST:: SOT 11852401 SOS 7353462 HAS SOPS 6067304 HAS SOUS 1827633 HAS SOUPS 1738256 WITH SCORE 1745609.462
AT ITER 4674 NEW BEST:: SOT 11850325 SOS 7351640 HAS SOPS 6065391 HAS SOUS 1821303 HAS SOUPS 1731926 WITH SCORE 1739277.64
AT ITER 4679 NEW BEST:: SOT 11849730 SOS 7352167 HAS SOPS 6065308 HAS SOUS 1821066 HAS SOUPS 1731689 WITH SCORE 1739041.167
AT ITER 4682 NEW BEST:: SOT 11849910 SOS 7352381 HAS SOPS 6065444 HAS SOUS 1820640 HAS SOUPS 1731263 WITH SCORE 1738615.381
AT ITER 4688 NEW BEST:: SOT 11849934 SOS 7351805 HAS SOPS 6064886 HAS SOUS 1820449 HAS SOUPS 1731072 WITH SCORE 1738423.805
AT ITER 4702 NEW BEST:: SOT 11849582 SOS 7351453 HAS SOPS 6064086 HAS SOUS 1818357 HAS SOUPS 1728980 WITH SCORE 1736331.453
AT ITER 4724 NEW BEST:: SOT 11847749 SOS 7348984 HAS SOPS 6061061 HAS SOUS 1816240 HAS SOUPS 1726863 WITH SCORE 1734211.984
AT ITER 4728 NEW BEST:: SOT 11848793 SOS 7350028 HAS SOPS 6061673 HAS SOUS 1815988 HAS SOUPS 1726611 WITH SCORE 1733961.028
AT ITER 4744 NEW BEST:: SOT 11848581 SOS 7349530 HAS SOPS 6061058 HAS SOUS 1814884 HAS SOUPS 1725507 WITH SCORE 1732856.53
AT ITER 4763 NEW BEST:: SOT 11847716 SOS 7347334 HAS SOPS 6059161 HAS SOUS 1814342 HAS SOUPS 1724965 WITH SCORE 1732312.334
AT ITER 4827 NEW BEST:: SOT 11847873 SOS 7347611 HAS SOPS 6061130 HAS SOUS 1813409 HAS SOUPS 1724032 WITH SCORE 1731379.611
AT ITER 4836 NEW BEST:: SOT 11852533 SOS 7350066 HAS SOPS 6064886 HAS SOUS 1810569 HAS SOUPS 1721312 WITH SCORE 1728662.066
AT ITER 4851 NEW BEST:: SOT 11852308 SOS 7348616 HAS SOPS 6063125 HAS SOUS 1810570 HAS SOUPS 1721313 WITH SCORE 1728661.616
AT ITER 4865 NEW BEST:: SOT 11852899 SOS 7350379 HAS SOPS 6064690 HAS SOUS 1810321 HAS SOUPS 1721064 WITH SCORE 1728414.379
AT ITER 4867 NEW BEST:: SOT 11852852 SOS 7351371 HAS SOPS 6066386 HAS SOUS 1810058 HAS SOUPS 1720801 WITH SCORE 1728152.371
AT ITER 4896 NEW BEST:: SOT 11852809 SOS 7351263 HAS SOPS 6067180 HAS SOUS 1808971 HAS SOUPS 1719714 WITH SCORE 1727065.263
AT ITER 4906 NEW BEST:: SOT 11853167 SOS 7352033 HAS SOPS 6067748 HAS SOUS 1807427 HAS SOUPS 1718170 WITH SCORE 1725522.033
AT ITER 4927 NEW BEST:: SOT 11849113 SOS 7342670 HAS SOPS 6062837 HAS SOUS 1806931 HAS SOUPS 1717674 WITH SCORE 1725016.67
AT ITER 4930 NEW BEST:: SOT 11849316 SOS 7344274 HAS SOPS 6066181 HAS SOUS 1806618 HAS SOUPS 1717361 WITH SCORE 1724705.274
AT ITER 4934 NEW BEST:: SOT 11849129 SOS 7343716 HAS SOPS 6065623 HAS SOUS 1806415 HAS SOUPS 1717158 WITH SCORE 1724501.716
AT ITER 4940 NEW BEST:: SOT 11848907 SOS 7343220 HAS SOPS 6065317 HAS SOUS 1806009 HAS SOUPS 1716764 WITH SCORE 1724107.22
AT ITER 4958 NEW BEST:: SOT 11844663 SOS 7332656 HAS SOPS 6057177 HAS SOUS 1805349 HAS SOUPS 1716089 WITH SCORE 1723421.656
AT ITER 4961 NEW BEST:: SOT 11845965 SOS 7335603 HAS SOPS 6061178 HAS SOUS 1803932 HAS SOUPS 1714669 WITH SCORE 1722004.603
AT ITER 4977 NEW BEST:: SOT 11845961 SOS 7335260 HAS SOPS 6059705 HAS SOUS 1803859 HAS SOUPS 1714596 WITH SCORE 1721931.26
AT ITER 5024 NEW BEST:: SOT 11849013 SOS 7341060 HAS SOPS 6063121 HAS SOUS 1801270 HAS SOUPS 1712102 WITH SCORE 1719443.06
AT ITER 5028 NEW BEST:: SOT 11850871 SOS 7342819 HAS SOPS 6064449 HAS SOUS 1800608 HAS SOUPS 1711441 WITH SCORE 1718783.819
AT ITER 5029 NEW BEST:: SOT 11851157 SOS 7343693 HAS SOPS 6065781 HAS SOUS 1800602 HAS SOUPS 1711435 WITH SCORE 1718778.693
AT ITER 5033 NEW BEST:: SOT 11851157 SOS 7343653 HAS SOPS 6065775 HAS SOUS 1800602 HAS SOUPS 1711435 WITH SCORE 1718778.653
AT ITER 5039 NEW BEST:: SOT 11850191 SOS 7342687 HAS SOPS 6064869 HAS SOUS 1799756 HAS SOUPS 1710649 WITH SCORE 1717991.687
AT ITER 5052 NEW BEST:: SOT 11849146 SOS 7341175 HAS SOPS 6063417 HAS SOUS 1794932 HAS SOUPS 1705867 WITH SCORE 1713208.175
AT ITER 5055 NEW BEST:: SOT 11851983 SOS 7344023 HAS SOPS 6066200 HAS SOUS 1794652 HAS SOUPS 1705529 WITH SCORE 1712873.023
AT ITER 5073 NEW BEST:: SOT 11851919 SOS 7343959 HAS SOPS 6066136 HAS SOUS 1794516 HAS SOUPS 1705393 WITH SCORE 1712736.959
AT ITER 5075 NEW BEST:: SOT 11852152 SOS 7343857 HAS SOPS 6066111 HAS SOUS 1794048 HAS SOUPS 1705044 WITH SCORE 1712387.857
AT ITER 5077 NEW BEST:: SOT 11851526 SOS 7337939 HAS SOPS 6060680 HAS SOUS 1793584 HAS SOUPS 1704618 WITH SCORE 1711955.939
AT ITER 5098 NEW BEST:: SOT 11849917 SOS 7336079 HAS SOPS 6058154 HAS SOUS 1788040 HAS SOUPS 1699070 WITH SCORE 1706406.079
AT ITER 5111 NEW BEST:: SOT 11849764 SOS 7336081 HAS SOPS 6057946 HAS SOUS 1787451 HAS SOUPS 1698472 WITH SCORE 1705808.081
AT ITER 5126 NEW BEST:: SOT 11843850 SOS 7330138 HAS SOPS 6052003 HAS SOUS 1781604 HAS SOUPS 1692625 WITH SCORE 1699955.138
AT ITER 5156 NEW BEST:: SOT 11843850 SOS 7330102 HAS SOPS 6052030 HAS SOUS 1781595 HAS SOUPS 1692616 WITH SCORE 1699946.102
AT ITER 5170 NEW BEST:: SOT 11843835 SOS 7331645 HAS SOPS 6052170 HAS SOUS 1780980 HAS SOUPS 1692001 WITH SCORE 1699332.645
AT ITER 5177 NEW BEST:: SOT 11843301 SOS 7329977 HAS SOPS 6050094 HAS SOUS 1780080 HAS SOUPS 1691101 WITH SCORE 1698430.977
AT ITER 5181 NEW BEST:: SOT 11843062 SOS 7329506 HAS SOPS 6049252 HAS SOUS 1779753 HAS SOUPS 1690766 WITH SCORE 1698095.506
AT ITER 5193 NEW BEST:: SOT 11843088 SOS 7332091 HAS SOPS 6051887 HAS SOUS 1779692 HAS SOUPS 1690705 WITH SCORE 1698037.091
AT ITER 5195 NEW BEST:: SOT 11843025 SOS 7332028 HAS SOPS 6051824 HAS SOUS 1779641 HAS SOUPS 1690654 WITH SCORE 1697986.028
AT ITER 5197 NEW BEST:: SOT 11842913 SOS 7331916 HAS SOPS 6051728 HAS SOUS 1779577 HAS SOUPS 1690606 WITH SCORE 1697937.916
AT ITER 5199 NEW BEST:: SOT 11843086 SOS 7332777 HAS SOPS 6052660 HAS SOUS 1779426 HAS SOUPS 1690455 WITH SCORE 1697787.777
AT ITER 5202 NEW BEST:: SOT 11843567 SOS 7331636 HAS SOPS 6053128 HAS SOUS 1778659 HAS SOUPS 1689688 WITH SCORE 1697019.636
AT ITER 5203 NEW BEST:: SOT 11843308 SOS 7331329 HAS SOPS 6052857 HAS SOUS 1778400 HAS SOUPS 1689429 WITH SCORE 1696760.329
AT ITER 5231 NEW BEST:: SOT 11842481 SOS 7330079 HAS SOPS 6052260 HAS SOUS 1776937 HAS SOUPS 1688016 WITH SCORE 1695346.079
AT ITER 5244 NEW BEST:: SOT 11841548 SOS 7328986 HAS SOPS 6050335 HAS SOUS 1771545 HAS SOUPS 1682737 WITH SCORE 1690065.986
AT ITER 5247 NEW BEST:: SOT 11840105 SOS 7327606 HAS SOPS 6047515 HAS SOUS 1771949 HAS SOUPS 1681237 WITH SCORE 1688564.606
AT ITER 5254 NEW BEST:: SOT 11843023 SOS 7330518 HAS SOPS 6049835 HAS SOUS 1771739 HAS SOUPS 1681027 WITH SCORE 1688357.518
AT ITER 5286 NEW BEST:: SOT 11840909 SOS 7326948 HAS SOPS 6047437 HAS SOUS 1769309 HAS SOUPS 1678833 WITH SCORE 1686159.948
AT ITER 5297 NEW BEST:: SOT 11841076 SOS 7327056 HAS SOPS 6048013 HAS SOUS 1768751 HAS SOUPS 1678295 WITH SCORE 1685622.056
AT ITER 5312 NEW BEST:: SOT 11835782 SOS 7318671 HAS SOPS 6038234 HAS SOUS 1758784 HAS SOUPS 1668622 WITH SCORE 1675940.671
AT ITER 5329 NEW BEST:: SOT 11833368 SOS 7316150 HAS SOPS 6035267 HAS SOUS 1753796 HAS SOUPS 1663730 WITH SCORE 1671046.15
AT ITER 5343 NEW BEST:: SOT 11831212 SOS 7315942 HAS SOPS 6035728 HAS SOUS 1752369 HAS SOUPS 1662184 WITH SCORE 1669499.942
AT ITER 5392 NEW BEST:: SOT 11831199 SOS 7315816 HAS SOPS 6035550 HAS SOUS 1752315 HAS SOUPS 1662130 WITH SCORE 1669445.816
AT ITER 5405 NEW BEST:: SOT 11830646 SOS 7315272 HAS SOPS 6034930 HAS SOUS 1751324 HAS SOUPS 1661139 WITH SCORE 1668454.272
AT ITER 5409 NEW BEST:: SOT 11830188 SOS 7309777 HAS SOPS 6029289 HAS SOUS 1750898 HAS SOUPS 1660713 WITH SCORE 1668022.777
AT ITER 5441 NEW BEST:: SOT 11829911 SOS 7311442 HAS SOPS 6031885 HAS SOUS 1750170 HAS SOUPS 1659985 WITH SCORE 1667296.442
AT ITER 5452 NEW BEST:: SOT 11829598 SOS 7310583 HAS SOPS 6030869 HAS SOUS 1749351 HAS SOUPS 1659166 WITH SCORE 1666476.583
AT ITER 5457 NEW BEST:: SOT 11829797 SOS 7311065 HAS SOPS 6030828 HAS SOUS 1749316 HAS SOUPS 1658919 WITH SCORE 1666230.065
AT ITER 5467 NEW BEST:: SOT 11827837 SOS 7301350 HAS SOPS 6023228 HAS SOUS 1746105 HAS SOUPS 1655829 WITH SCORE 1663130.35
AT ITER 5496 NEW BEST:: SOT 11827778 SOS 7301283 HAS SOPS 6023161 HAS SOUS 1745654 HAS SOUPS 1655378 WITH SCORE 1662679.283
AT ITER 5524 NEW BEST:: SOT 11828813 SOS 7307489 HAS SOPS 6026417 HAS SOUS 1737380 HAS SOUPS 1647104 WITH SCORE 1654411.489
AT ITER 5537 NEW BEST:: SOT 11828756 SOS 7307436 HAS SOPS 6026378 HAS SOUS 1737336 HAS SOUPS 1647063 WITH SCORE 1654370.436
AT ITER 5550 NEW BEST:: SOT 11829058 SOS 7307853 HAS SOPS 6026733 HAS SOUS 1737256 HAS SOUPS 1646970 WITH SCORE 1654277.853
AT ITER 5554 NEW BEST:: SOT 11829629 SOS 7307513 HAS SOPS 6026393 HAS SOUS 1735675 HAS SOUPS 1645389 WITH SCORE 1652696.513
AT ITER 5557 NEW BEST:: SOT 11829718 SOS 7304597 HAS SOPS 6024963 HAS SOUS 1735440 HAS SOUPS 1645154 WITH SCORE 1652458.597
AT ITER 5560 NEW BEST:: SOT 11828976 SOS 7303855 HAS SOPS 6023997 HAS SOUS 1733858 HAS SOUPS 1643572 WITH SCORE 1650875.855
AT ITER 5568 NEW BEST:: SOT 11828879 SOS 7303520 HAS SOPS 6023649 HAS SOUS 1733763 HAS SOUPS 1643477 WITH SCORE 1650780.52
AT ITER 5569 NEW BEST:: SOT 11830406 SOS 7305940 HAS SOPS 6027135 HAS SOUS 1733068 HAS SOUPS 1642782 WITH SCORE 1650087.94
AT ITER 5573 NEW BEST:: SOT 11830405 SOS 7305989 HAS SOPS 6027163 HAS SOUS 1732998 HAS SOUPS 1642712 WITH SCORE 1650017.989
AT ITER 5617 NEW BEST:: SOT 11830320 SOS 7305917 HAS SOPS 6026961 HAS SOUS 1732463 HAS SOUPS 1642173 WITH SCORE 1649478.917
AT ITER 5654 NEW BEST:: SOT 11825391 SOS 7291675 HAS SOPS 6017535 HAS SOUS 1732439 HAS SOUPS 1642149 WITH SCORE 1649440.675
AT ITER 5697 NEW BEST:: SOT 11819469 SOS 7280748 HAS SOPS 6006518 HAS SOUS 1725120 HAS SOUPS 1634781 WITH SCORE 1642061.748
AT ITER 5708 NEW BEST:: SOT 11815710 SOS 7275656 HAS SOPS 5998902 HAS SOUS 1721361 HAS SOUPS 1630962 WITH SCORE 1638237.656
AT ITER 5750 NEW BEST:: SOT 11815670 SOS 7275454 HAS SOPS 5998201 HAS SOUS 1721348 HAS SOUPS 1630949 WITH SCORE 1638224.454
AT ITER 5754 NEW BEST:: SOT 11813966 SOS 7273509 HAS SOPS 5997499 HAS SOUS 1721360 HAS SOUPS 1630905 WITH SCORE 1638178.509
AT ITER 5785 NEW BEST:: SOT 11814024 SOS 7270467 HAS SOPS 5994836 HAS SOUS 1720680 HAS SOUPS 1630225 WITH SCORE 1637495.467
AT ITER 5813 NEW BEST:: SOT 11814639 SOS 7274682 HAS SOPS 6000436 HAS SOUS 1719205 HAS SOUPS 1628750 WITH SCORE 1636024.682
AT ITER 5816 NEW BEST:: SOT 11812587 SOS 7272067 HAS SOPS 5997669 HAS SOUS 1716728 HAS SOUPS 1626273 WITH SCORE 1633545.067
AT ITER 5823 NEW BEST:: SOT 11812183 SOS 7271571 HAS SOPS 5996955 HAS SOUS 1715789 HAS SOUPS 1625323 WITH SCORE 1632594.571
AT ITER 5840 NEW BEST:: SOT 11812167 SOS 7271541 HAS SOPS 5996798 HAS SOUS 1715569 HAS SOUPS 1625103 WITH SCORE 1632374.541
AT ITER 5844 NEW BEST:: SOT 11811487 SOS 7270608 HAS SOPS 5997345 HAS SOUS 1714640 HAS SOUPS 1624174 WITH SCORE 1631444.608
AT ITER 5903 NEW BEST:: SOT 11810830 SOS 7270433 HAS SOPS 5996934 HAS SOUS 1714398 HAS SOUPS 1623915 WITH SCORE 1631185.433
AT ITER 5916 NEW BEST:: SOT 11810688 SOS 7270390 HAS SOPS 5996400 HAS SOUS 1714144 HAS SOUPS 1623652 WITH SCORE 1630922.39
AT ITER 5939 NEW BEST:: SOT 11810336 SOS 7270110 HAS SOPS 5996032 HAS SOUS 1713466 HAS SOUPS 1622974 WITH SCORE 1630244.11
AT ITER 5943 NEW BEST:: SOT 11810046 SOS 7269820 HAS SOPS 5995582 HAS SOUS 1712496 HAS SOUPS 1622004 WITH SCORE 1629273.82
AT ITER 5959 NEW BEST:: SOT 11809781 SOS 7271094 HAS SOPS 5996806 HAS SOUS 1709667 HAS SOUPS 1619175 WITH SCORE 1626446.094
AT ITER 6014 NEW BEST:: SOT 11807022 SOS 7268335 HAS SOPS 5994047 HAS SOUS 1706096 HAS SOUPS 1615604 WITH SCORE 1622872.335
AT ITER 6036 NEW BEST:: SOT 11806990 SOS 7269421 HAS SOPS 5994433 HAS SOUS 1705376 HAS SOUPS 1614884 WITH SCORE 1622153.421
AT ITER 6042 NEW BEST:: SOT 11818070 SOS 7280491 HAS SOPS 6001770 HAS SOUS 1697245 HAS SOUPS 1606679 WITH SCORE 1613959.491
AT ITER 6048 NEW BEST:: SOT 11817305 SOS 7279726 HAS SOPS 6001005 HAS SOUS 1696120 HAS SOUPS 1605554 WITH SCORE 1612833.726
AT ITER 6073 NEW BEST:: SOT 11816410 SOS 7278831 HAS SOPS 6000110 HAS SOUS 1694909 HAS SOUPS 1604343 WITH SCORE 1611621.831
AT ITER 6080 NEW BEST:: SOT 11816514 SOS 7278935 HAS SOPS 6000150 HAS SOUS 1694581 HAS SOUPS 1604015 WITH SCORE 1611293.935
AT ITER 6083 NEW BEST:: SOT 11816079 SOS 7275493 HAS SOPS 5997884 HAS SOUS 1693219 HAS SOUPS 1602653 WITH SCORE 1609928.493
AT ITER 6092 NEW BEST:: SOT 11815303 SOS 7275021 HAS SOPS 5996574 HAS SOUS 1692404 HAS SOUPS 1601814 WITH SCORE 1609089.021
AT ITER 6109 NEW BEST:: SOT 11815513 SOS 7275487 HAS SOPS 5997071 HAS SOUS 1692190 HAS SOUPS 1601600 WITH SCORE 1608875.487
AT ITER 6136 NEW BEST:: SOT 11815635 SOS 7275850 HAS SOPS 5997510 HAS SOUS 1691671 HAS SOUPS 1601081 WITH SCORE 1608356.85
AT ITER 6142 NEW BEST:: SOT 11815425 SOS 7275674 HAS SOPS 5997382 HAS SOUS 1691317 HAS SOUPS 1600727 WITH SCORE 1608002.674
AT ITER 6178 NEW BEST:: SOT 11814927 SOS 7275151 HAS SOPS 5996631 HAS SOUS 1690440 HAS SOUPS 1599850 WITH SCORE 1607125.151
AT ITER 6180 NEW BEST:: SOT 11819986 SOS 7279760 HAS SOPS 6000980 HAS SOUS 1689587 HAS SOUPS 1599128 WITH SCORE 1606407.76
AT ITER 6194 NEW BEST:: SOT 11819811 SOS 7279555 HAS SOPS 6000628 HAS SOUS 1689253 HAS SOUPS 1598794 WITH SCORE 1606073.555
AT ITER 6199 NEW BEST:: SOT 11819507 SOS 7278565 HAS SOPS 5998569 HAS SOUS 1684010 HAS SOUPS 1593551 WITH SCORE 1600829.565
AT ITER 6209 NEW BEST:: SOT 11818853 SOS 7277877 HAS SOPS 5998665 HAS SOUS 1683222 HAS SOUPS 1592763 WITH SCORE 1600040.877
AT ITER 6216 NEW BEST:: SOT 11818724 SOS 7278020 HAS SOPS 5998704 HAS SOUS 1683229 HAS SOUPS 1592698 WITH SCORE 1599976.02
AT ITER 6250 NEW BEST:: SOT 11817210 SOS 7275946 HAS SOPS 5996561 HAS SOUS 1678014 HAS SOUPS 1587991 WITH SCORE 1595266.946
AT ITER 6268 NEW BEST:: SOT 11818281 SOS 7296757 HAS SOPS 6019756 HAS SOUS 1672676 HAS SOUPS 1582827 WITH SCORE 1590123.757
AT ITER 6295 NEW BEST:: SOT 11816893 SOS 7296637 HAS SOPS 6017626 HAS SOUS 1670811 HAS SOUPS 1581031 WITH SCORE 1588327.637
AT ITER 6332 NEW BEST:: SOT 11816537 SOS 7294403 HAS SOPS 6017741 HAS SOUS 1668531 HAS SOUPS 1578832 WITH SCORE 1586126.403
AT ITER 6335 NEW BEST:: SOT 11816525 SOS 7294081 HAS SOPS 6017625 HAS SOUS 1668014 HAS SOUPS 1578315 WITH SCORE 1585609.081
AT ITER 6349 NEW BEST:: SOT 11814745 SOS 7291949 HAS SOPS 6015141 HAS SOUS 1666570 HAS SOUPS 1576871 WITH SCORE 1584162.949
AT ITER 6359 NEW BEST:: SOT 11814556 SOS 7290973 HAS SOPS 6014757 HAS SOUS 1666376 HAS SOUPS 1576677 WITH SCORE 1583967.973
AT ITER 6361 NEW BEST:: SOT 11813343 SOS 7288314 HAS SOPS 6011053 HAS SOUS 1663742 HAS SOUPS 1573953 WITH SCORE 1581241.314
AT ITER 6369 NEW BEST:: SOT 11813307 SOS 7288284 HAS SOPS 6010768 HAS SOUS 1663619 HAS SOUPS 1573738 WITH SCORE 1581026.284
AT ITER 6377 NEW BEST:: SOT 11813046 SOS 7288563 HAS SOPS 6010711 HAS SOUS 1662311 HAS SOUPS 1572442 WITH SCORE 1579730.563
AT ITER 6389 NEW BEST:: SOT 11813345 SOS 7300178 HAS SOPS 6024201 HAS SOUS 1659277 HAS SOUPS 1569408 WITH SCORE 1576708.178
AT ITER 6466 NEW BEST:: SOT 11812939 SOS 7300461 HAS SOPS 6024600 HAS SOUS 1658579 HAS SOUPS 1568710 WITH SCORE 1576010.461
AT ITER 6473 NEW BEST:: SOT 11813569 SOS 7301564 HAS SOPS 6025339 HAS SOUS 1658575 HAS SOUPS 1568706 WITH SCORE 1576007.564
AT ITER 6480 NEW BEST:: SOT 11811736 SOS 7299804 HAS SOPS 6023557 HAS SOUS 1655415 HAS SOUPS 1565524 WITH SCORE 1572823.804
AT ITER 6497 NEW BEST:: SOT 11811230 SOS 7298588 HAS SOPS 6022432 HAS SOUS 1654613 HAS SOUPS 1564735 WITH SCORE 1572033.588
AT ITER 6522 NEW BEST:: SOT 11810690 SOS 7298038 HAS SOPS 6021522 HAS SOUS 1653883 HAS SOUPS 1564005 WITH SCORE 1571303.038
AT ITER 6535 NEW BEST:: SOT 11810134 SOS 7297538 HAS SOPS 6020647 HAS SOUS 1650363 HAS SOUPS 1560485 WITH SCORE 1567782.538
AT ITER 6538 NEW BEST:: SOT 11808331 SOS 7296475 HAS SOPS 6018345 HAS SOUS 1647576 HAS SOUPS 1557625 WITH SCORE 1564921.475
AT ITER 6575 NEW BEST:: SOT 11807783 SOS 7295093 HAS SOPS 6015958 HAS SOUS 1647182 HAS SOUPS 1557231 WITH SCORE 1564526.093
AT ITER 6593 NEW BEST:: SOT 11807785 SOS 7295087 HAS SOPS 6015976 HAS SOUS 1647032 HAS SOUPS 1557081 WITH SCORE 1564376.087
AT ITER 6605 NEW BEST:: SOT 11807761 SOS 7295210 HAS SOPS 6015739 HAS SOUS 1646720 HAS SOUPS 1556745 WITH SCORE 1564040.21
AT ITER 6619 NEW BEST:: SOT 11806274 SOS 7293615 HAS SOPS 6014162 HAS SOUS 1644899 HAS SOUPS 1554952 WITH SCORE 1562245.615
AT ITER 6649 NEW BEST:: SOT 11805921 SOS 7293248 HAS SOPS 6013587 HAS SOUS 1644178 HAS SOUPS 1554231 WITH SCORE 1561524.248
AT ITER 6690 NEW BEST:: SOT 11802374 SOS 7284770 HAS SOPS 6004828 HAS SOUS 1640995 HAS SOUPS 1550974 WITH SCORE 1558258.77
AT ITER 6694 NEW BEST:: SOT 11802336 SOS 7284556 HAS SOPS 6004614 HAS SOUS 1640637 HAS SOUPS 1550616 WITH SCORE 1557900.556
AT ITER 6701 NEW BEST:: SOT 11802392 SOS 7284801 HAS SOPS 6004721 HAS SOUS 1639834 HAS SOUPS 1549813 WITH SCORE 1557097.801
AT ITER 6711 NEW BEST:: SOT 11802973 SOS 7287020 HAS SOPS 6006457 HAS SOUS 1639151 HAS SOUPS 1549109 WITH SCORE 1556396.02
AT ITER 6720 NEW BEST:: SOT 11801881 SOS 7284086 HAS SOPS 6005124 HAS SOUS 1636673 HAS SOUPS 1546631 WITH SCORE 1553915.086
AT ITER 6767 NEW BEST:: SOT 11801873 SOS 7284078 HAS SOPS 6005116 HAS SOUS 1636657 HAS SOUPS 1546615 WITH SCORE 1553899.078
AT ITER 6768 NEW BEST:: SOT 11800253 SOS 7280818 HAS SOPS 5999740 HAS SOUS 1629489 HAS SOUPS 1539507 WITH SCORE 1546787.818
AT ITER 6794 NEW BEST:: SOT 11802469 SOS 7278743 HAS SOPS 5999754 HAS SOUS 1622333 HAS SOUPS 1532990 WITH SCORE 1540268.743
AT ITER 6808 NEW BEST:: SOT 11803595 SOS 7280290 HAS SOPS 6001597 HAS SOUS 1622021 HAS SOUPS 1532727 WITH SCORE 1540007.29
AT ITER 6857 NEW BEST:: SOT 11802075 SOS 7276153 HAS SOPS 5997447 HAS SOUS 1620378 HAS SOUPS 1531057 WITH SCORE 1538333.153
AT ITER 6900 NEW BEST:: SOT 11802096 SOS 7276673 HAS SOPS 5997781 HAS SOUS 1620069 HAS SOUPS 1530748 WITH SCORE 1538024.673
AT ITER 6908 NEW BEST:: SOT 11800481 SOS 7273515 HAS SOPS 5994059 HAS SOUS 1617830 HAS SOUPS 1528509 WITH SCORE 1535782.515
AT ITER 6912 NEW BEST:: SOT 11797538 SOS 7267307 HAS SOPS 5985841 HAS SOUS 1610830 HAS SOUPS 1521509 WITH SCORE 1528776.307
AT ITER 6952 NEW BEST:: SOT 11795270 SOS 7264497 HAS SOPS 5983414 HAS SOUS 1609638 HAS SOUPS 1520317 WITH SCORE 1527581.497
AT ITER 6998 NEW BEST:: SOT 11795147 SOS 7264449 HAS SOPS 5983174 HAS SOUS 1608936 HAS SOUPS 1519615 WITH SCORE 1526879.449
AT ITER 7004 NEW BEST:: SOT 11795147 SOS 7264988 HAS SOPS 5983113 HAS SOUS 1608637 HAS SOUPS 1519316 WITH SCORE 1526580.988
AT ITER 7011 NEW BEST:: SOT 11794411 SOS 7263835 HAS SOPS 5982521 HAS SOUS 1608073 HAS SOUPS 1518752 WITH SCORE 1526015.835
AT ITER 7024 NEW BEST:: SOT 11794344 SOS 7263688 HAS SOPS 5982524 HAS SOUS 1607794 HAS SOUPS 1518473 WITH SCORE 1525736.688
AT ITER 7036 NEW BEST:: SOT 11794193 SOS 7263537 HAS SOPS 5982309 HAS SOUS 1607543 HAS SOUPS 1518222 WITH SCORE 1525485.537
AT ITER 7039 NEW BEST:: SOT 11791202 SOS 7260743 HAS SOPS 5977830 HAS SOUS 1604265 HAS SOUPS 1514752 WITH SCORE 1522012.743
AT ITER 7055 NEW BEST:: SOT 11792044 SOS 7262582 HAS SOPS 5978418 HAS SOUS 1601744 HAS SOUPS 1512231 WITH SCORE 1519493.582
AT ITER 7059 NEW BEST:: SOT 11791758 SOS 7262278 HAS SOPS 5977976 HAS SOUS 1601140 HAS SOUPS 1511627 WITH SCORE 1518889.278
AT ITER 7087 NEW BEST:: SOT 11791762 SOS 7262239 HAS SOPS 5977975 HAS SOUS 1601140 HAS SOUPS 1511627 WITH SCORE 1518889.239
AT ITER 7155 NEW BEST:: SOT 11785264 SOS 7255507 HAS SOPS 5972521 HAS SOUS 1598578 HAS SOUPS 1508732 WITH SCORE 1515987.507
AT ITER 7196 NEW BEST:: SOT 11784555 SOS 7249624 HAS SOPS 5967610 HAS SOUS 1598497 HAS SOUPS 1508651 WITH SCORE 1515900.624
AT ITER 7199 NEW BEST:: SOT 11784566 SOS 7249524 HAS SOPS 5967715 HAS SOUS 1598340 HAS SOUPS 1508494 WITH SCORE 1515743.524
AT ITER 7232 NEW BEST:: SOT 11783638 SOS 7248476 HAS SOPS 5966667 HAS SOUS 1597714 HAS SOUPS 1507868 WITH SCORE 1515116.476
AT ITER 7293 NEW BEST:: SOT 11784328 SOS 7248764 HAS SOPS 5966997 HAS SOUS 1597292 HAS SOUPS 1507684 WITH SCORE 1514932.764
AT ITER 7327 NEW BEST:: SOT 11782428 SOS 7247997 HAS SOPS 5966543 HAS SOUS 1595166 HAS SOUPS 1505630 WITH SCORE 1512877.997
AT ITER 7332 NEW BEST:: SOT 11781072 SOS 7243844 HAS SOPS 5964088 HAS SOUS 1591603 HAS SOUPS 1502121 WITH SCORE 1509364.844
AT ITER 7360 NEW BEST:: SOT 11781353 SOS 7245115 HAS SOPS 5965686 HAS SOUS 1591131 HAS SOUPS 1501649 WITH SCORE 1508894.115
AT ITER 7376 NEW BEST:: SOT 11780984 SOS 7244740 HAS SOPS 5965535 HAS SOUS 1590549 HAS SOUPS 1501195 WITH SCORE 1508439.74
AT ITER 7411 NEW BEST:: SOT 11780738 SOS 7244455 HAS SOPS 5965177 HAS SOUS 1589910 HAS SOUPS 1500556 WITH SCORE 1507800.455
AT ITER 7440 NEW BEST:: SOT 11779958 SOS 7243017 HAS SOPS 5963854 HAS SOUS 1587575 HAS SOUPS 1498221 WITH SCORE 1505464.017
AT ITER 7446 NEW BEST:: SOT 11780055 SOS 7243804 HAS SOPS 5963207 HAS SOUS 1586395 HAS SOUPS 1497041 WITH SCORE 1504284.804
AT ITER 7468 NEW BEST:: SOT 11778790 SOS 7244016 HAS SOPS 5961011 HAS SOUS 1585604 HAS SOUPS 1496250 WITH SCORE 1503494.016
AT ITER 7469 NEW BEST:: SOT 11778650 SOS 7243528 HAS SOPS 5960509 HAS SOUS 1585474 HAS SOUPS 1496120 WITH SCORE 1503363.528
AT ITER 7502 NEW BEST:: SOT 11778581 SOS 7244380 HAS SOPS 5960107 HAS SOUS 1582736 HAS SOUPS 1493338 WITH SCORE 1500582.38
AT ITER 7518 NEW BEST:: SOT 11778111 SOS 7243594 HAS SOPS 5959495 HAS SOUS 1582559 HAS SOUPS 1493161 WITH SCORE 1500404.594
AT ITER 7558 NEW BEST:: SOT 11777964 SOS 7243553 HAS SOPS 5959403 HAS SOUS 1582058 HAS SOUPS 1492656 WITH SCORE 1499899.553
AT ITER 7562 NEW BEST:: SOT 11777511 SOS 7242616 HAS SOPS 5957974 HAS SOUS 1581723 HAS SOUPS 1492321 WITH SCORE 1499563.616
AT ITER 7591 NEW BEST:: SOT 11777656 SOS 7242761 HAS SOPS 5958081 HAS SOUS 1581640 HAS SOUPS 1492248 WITH SCORE 1499490.761
AT ITER 7663 NEW BEST:: SOT 11777847 SOS 7242952 HAS SOPS 5958272 HAS SOUS 1581311 HAS SOUPS 1491919 WITH SCORE 1499161.952
AT ITER 7665 NEW BEST:: SOT 11773733 SOS 7236352 HAS SOPS 5952147 HAS SOUS 1576224 HAS SOUPS 1486832 WITH SCORE 1494068.352
AT ITER 7666 NEW BEST:: SOT 11773733 SOS 7236352 HAS SOPS 5952147 HAS SOUS 1576032 HAS SOUPS 1486640 WITH SCORE 1493876.352
AT ITER 7672 NEW BEST:: SOT 11772525 SOS 7235136 HAS SOPS 5950915 HAS SOUS 1574648 HAS SOUPS 1485256 WITH SCORE 1492491.136
AT ITER 7686 NEW BEST:: SOT 11772440 SOS 7233711 HAS SOPS 5949448 HAS SOUS 1572331 HAS SOUPS 1482939 WITH SCORE 1490172.711
AT ITER 7698 NEW BEST:: SOT 11773108 SOS 7239254 HAS SOPS 5954264 HAS SOUS 1572238 HAS SOUPS 1482846 WITH SCORE 1490085.254
AT ITER 7726 NEW BEST:: SOT 11768093 SOS 7234153 HAS SOPS 5948251 HAS SOUS 1565930 HAS SOUPS 1476538 WITH SCORE 1483772.153
AT ITER 7767 NEW BEST:: SOT 11764092 SOS 7222275 HAS SOPS 5938593 HAS SOUS 1563333 HAS SOUPS 1473941 WITH SCORE 1481163.275
AT ITER 7776 NEW BEST:: SOT 11764031 SOS 7222063 HAS SOPS 5938596 HAS SOUS 1562345 HAS SOUPS 1472953 WITH SCORE 1480175.063
AT ITER 7777 NEW BEST:: SOT 11762905 SOS 7219055 HAS SOPS 5936226 HAS SOUS 1560787 HAS SOUPS 1471923 WITH SCORE 1479142.055
AT ITER 7797 NEW BEST:: SOT 11762905 SOS 7219035 HAS SOPS 5936188 HAS SOUS 1560785 HAS SOUPS 1471921 WITH SCORE 1479140.035
AT ITER 7813 NEW BEST:: SOT 11762891 SOS 7219189 HAS SOPS 5936222 HAS SOUS 1560684 HAS SOUPS 1471820 WITH SCORE 1479039.189
AT ITER 7825 NEW BEST:: SOT 11762879 SOS 7219077 HAS SOPS 5936108 HAS SOUS 1560662 HAS SOUPS 1471798 WITH SCORE 1479017.077
AT ITER 7826 NEW BEST:: SOT 11765023 SOS 7226682 HAS SOPS 5945655 HAS SOUS 1560375 HAS SOUPS 1471619 WITH SCORE 1478845.682
AT ITER 7831 NEW BEST:: SOT 11759874 SOS 7217309 HAS SOPS 5937578 HAS SOUS 1552925 HAS SOUPS 1464239 WITH SCORE 1471456.309
AT ITER 7850 NEW BEST:: SOT 11759315 SOS 7216947 HAS SOPS 5936408 HAS SOUS 1551462 HAS SOUPS 1462776 WITH SCORE 1469992.947
AT ITER 7862 NEW BEST:: SOT 11759261 SOS 7216238 HAS SOPS 5936003 HAS SOUS 1551439 HAS SOUPS 1462767 WITH SCORE 1469983.238
AT ITER 7867 NEW BEST:: SOT 11759030 SOS 7215881 HAS SOPS 5935439 HAS SOUS 1548982 HAS SOUPS 1460424 WITH SCORE 1467639.881
AT ITER 7898 NEW BEST:: SOT 11759004 SOS 7215853 HAS SOPS 5935429 HAS SOUS 1548900 HAS SOUPS 1460346 WITH SCORE 1467561.853
AT ITER 7906 NEW BEST:: SOT 11757751 SOS 7216388 HAS SOPS 5935484 HAS SOUS 1548230 HAS SOUPS 1459667 WITH SCORE 1466883.388
AT ITER 7918 NEW BEST:: SOT 11756327 SOS 7214700 HAS SOPS 5934060 HAS SOUS 1546231 HAS SOUPS 1457679 WITH SCORE 1464893.7
AT ITER 7947 NEW BEST:: SOT 11755668 SOS 7214861 HAS SOPS 5933806 HAS SOUS 1545173 HAS SOUPS 1456621 WITH SCORE 1463835.861
AT ITER 7954 NEW BEST:: SOT 11755791 SOS 7215600 HAS SOPS 5934335 HAS SOUS 1545112 HAS SOUPS 1456560 WITH SCORE 1463775.6
AT ITER 7958 NEW BEST:: SOT 11758291 SOS 7218045 HAS SOPS 5935868 HAS SOUS 1544290 HAS SOUPS 1455738 WITH SCORE 1462956.045
AT ITER 8010 NEW BEST:: SOT 11758012 SOS 7218467 HAS SOPS 5935641 HAS SOUS 1543221 HAS SOUPS 1454659 WITH SCORE 1461877.467
AT ITER 8020 NEW BEST:: SOT 11757704 SOS 7218087 HAS SOPS 5935009 HAS SOUS 1541533 HAS SOUPS 1453195 WITH SCORE 1460413.087
AT ITER 8060 NEW BEST:: SOT 11756620 SOS 7216996 HAS SOPS 5933918 HAS SOUS 1541381 HAS SOUPS 1453043 WITH SCORE 1460259.996
AT ITER 8082 NEW BEST:: SOT 11756604 SOS 7216980 HAS SOPS 5933902 HAS SOUS 1541381 HAS SOUPS 1453043 WITH SCORE 1460259.98
AT ITER 8084 NEW BEST:: SOT 11755189 SOS 7215617 HAS SOPS 5932002 HAS SOUS 1539215 HAS SOUPS 1450858 WITH SCORE 1458073.617
AT ITER 8092 NEW BEST:: SOT 11758183 SOS 7222793 HAS SOPS 5937464 HAS SOUS 1538600 HAS SOUPS 1450243 WITH SCORE 1457465.793
AT ITER 8135 NEW BEST:: SOT 11756870 SOS 7219591 HAS SOPS 5934284 HAS SOUS 1537582 HAS SOUPS 1449225 WITH SCORE 1456444.591
AT ITER 8146 NEW BEST:: SOT 11755687 SOS 7217184 HAS SOPS 5932333 HAS SOUS 1536476 HAS SOUPS 1448353 WITH SCORE 1455570.184
AT ITER 8177 NEW BEST:: SOT 11755697 SOS 7217151 HAS SOPS 5932248 HAS SOUS 1536260 HAS SOUPS 1448137 WITH SCORE 1455354.151
AT ITER 8267 NEW BEST:: SOT 11755697 SOS 7217151 HAS SOPS 5932897 HAS SOUS 1536110 HAS SOUPS 1447987 WITH SCORE 1455204.151
AT ITER 8274 NEW BEST:: SOT 11755186 SOS 7216329 HAS SOPS 5930664 HAS SOUS 1531940 HAS SOUPS 1443802 WITH SCORE 1451018.329
AT ITER 8277 NEW BEST:: SOT 11754785 SOS 7214672 HAS SOPS 5929014 HAS SOUS 1531296 HAS SOUPS 1443158 WITH SCORE 1450372.672
AT ITER 8286 NEW BEST:: SOT 11754293 SOS 7214153 HAS SOPS 5928430 HAS SOUS 1529234 HAS SOUPS 1441230 WITH SCORE 1448444.153
AT ITER 8323 NEW BEST:: SOT 11754950 SOS 7216374 HAS SOPS 5930930 HAS SOUS 1527591 HAS SOUPS 1439587 WITH SCORE 1446803.374
AT ITER 8331 NEW BEST:: SOT 11755761 SOS 7218498 HAS SOPS 5931976 HAS SOUS 1527494 HAS SOUPS 1439470 WITH SCORE 1446688.498
AT ITER 8341 NEW BEST:: SOT 11756028 SOS 7218765 HAS SOPS 5931955 HAS SOUS 1525973 HAS SOUPS 1437949 WITH SCORE 1445167.765
AT ITER 8350 NEW BEST:: SOT 11755931 SOS 7218611 HAS SOPS 5931787 HAS SOUS 1525785 HAS SOUPS 1437761 WITH SCORE 1444979.611
AT ITER 8355 NEW BEST:: SOT 11755795 SOS 7218453 HAS SOPS 5932019 HAS SOUS 1525659 HAS SOUPS 1437635 WITH SCORE 1444853.453
AT ITER 8384 NEW BEST:: SOT 11755530 SOS 7218188 HAS SOPS 5931754 HAS SOUS 1525338 HAS SOUPS 1437314 WITH SCORE 1444532.188
AT ITER 8387 NEW BEST:: SOT 11755446 SOS 7218104 HAS SOPS 5931670 HAS SOUS 1525178 HAS SOUPS 1437154 WITH SCORE 1444372.104
AT ITER 8400 NEW BEST:: SOT 11755674 SOS 7218332 HAS SOPS 5931754 HAS SOUS 1525054 HAS SOUPS 1436918 WITH SCORE 1444136.332
AT ITER 8402 NEW BEST:: SOT 11754123 SOS 7217172 HAS SOPS 5930276 HAS SOUS 1520491 HAS SOUPS 1432307 WITH SCORE 1439524.172
AT ITER 8440 NEW BEST:: SOT 11751543 SOS 7214354 HAS SOPS 5927552 HAS SOUS 1518912 HAS SOUPS 1430796 WITH SCORE 1438010.354
AT ITER 8462 NEW BEST:: SOT 11750057 SOS 7212868 HAS SOPS 5925522 HAS SOUS 1515646 HAS SOUPS 1427530 WITH SCORE 1434742.868
AT ITER 8503 NEW BEST:: SOT 11746999 SOS 7209000 HAS SOPS 5919028 HAS SOUS 1512222 HAS SOUPS 1424106 WITH SCORE 1431315.0
AT ITER 8516 NEW BEST:: SOT 11747383 SOS 7209688 HAS SOPS 5919299 HAS SOUS 1512148 HAS SOUPS 1424032 WITH SCORE 1431241.688
AT ITER 8540 NEW BEST:: SOT 11746777 SOS 7208681 HAS SOPS 5918221 HAS SOUS 1510723 HAS SOUPS 1422656 WITH SCORE 1429864.681
AT ITER 8546 NEW BEST:: SOT 11746834 SOS 7208730 HAS SOPS 5918278 HAS SOUS 1510600 HAS SOUPS 1422543 WITH SCORE 1429751.73
AT ITER 8573 NEW BEST:: SOT 11746565 SOS 7207433 HAS SOPS 5916851 HAS SOUS 1510525 HAS SOUPS 1422460 WITH SCORE 1429667.433
AT ITER 8586 NEW BEST:: SOT 11746554 SOS 7207184 HAS SOPS 5916381 HAS SOUS 1508654 HAS SOUPS 1421022 WITH SCORE 1428229.184
AT ITER 8590 NEW BEST:: SOT 11742763 SOS 7200603 HAS SOPS 5909309 HAS SOUS 1504612 HAS SOUPS 1416489 WITH SCORE 1423689.603
AT ITER 8595 NEW BEST:: SOT 11743651 SOS 7201491 HAS SOPS 5909621 HAS SOUS 1503196 HAS SOUPS 1415073 WITH SCORE 1422274.491
AT ITER 8596 NEW BEST:: SOT 11741762 SOS 7185428 HAS SOPS 5885369 HAS SOUS 1502699 HAS SOUPS 1414273 WITH SCORE 1421458.428
AT ITER 8603 NEW BEST:: SOT 11740048 SOS 7181972 HAS SOPS 5881881 HAS SOUS 1501003 HAS SOUPS 1412577 WITH SCORE 1419758.972
AT ITER 8613 NEW BEST:: SOT 11742297 SOS 7186990 HAS SOPS 5888148 HAS SOUS 1500303 HAS SOUPS 1411949 WITH SCORE 1419135.99
AT ITER 8624 NEW BEST:: SOT 11742274 SOS 7186576 HAS SOPS 5888268 HAS SOUS 1500270 HAS SOUPS 1411916 WITH SCORE 1419102.576
AT ITER 8626 NEW BEST:: SOT 11739464 SOS 7183684 HAS SOPS 5885410 HAS SOUS 1497499 HAS SOUPS 1409275 WITH SCORE 1416458.684
AT ITER 8646 NEW BEST:: SOT 11746198 SOS 7185702 HAS SOPS 5889525 HAS SOUS 1497430 HAS SOUPS 1409206 WITH SCORE 1416391.702
AT ITER 8652 NEW BEST:: SOT 11746147 SOS 7183684 HAS SOPS 5887632 HAS SOUS 1496865 HAS SOUPS 1408641 WITH SCORE 1415824.684
AT ITER 8660 NEW BEST:: SOT 11744638 SOS 7180939 HAS SOPS 5884911 HAS SOUS 1495696 HAS SOUPS 1407472 WITH SCORE 1414652.939
AT ITER 8678 NEW BEST:: SOT 11744638 SOS 7180917 HAS SOPS 5884904 HAS SOUS 1495695 HAS SOUPS 1407471 WITH SCORE 1414651.917
AT ITER 8721 NEW BEST:: SOT 11744675 SOS 7179561 HAS SOPS 5883760 HAS SOUS 1495420 HAS SOUPS 1407196 WITH SCORE 1414375.561
AT ITER 8800 NEW BEST:: SOT 11744224 SOS 7179202 HAS SOPS 5883092 HAS SOUS 1494685 HAS SOUPS 1406461 WITH SCORE 1413640.202
AT ITER 8809 NEW BEST:: SOT 11739711 SOS 7171207 HAS SOPS 5874802 HAS SOUS 1492563 HAS SOUPS 1404358 WITH SCORE 1411529.207
AT ITER 8856 NEW BEST:: SOT 11738926 SOS 7170528 HAS SOPS 5874012 HAS SOUS 1490972 HAS SOUPS 1402752 WITH SCORE 1409922.528
AT ITER 8862 NEW BEST:: SOT 11737574 SOS 7168982 HAS SOPS 5872078 HAS SOUS 1490022 HAS SOUPS 1401713 WITH SCORE 1408881.982
AT ITER 8913 NEW BEST:: SOT 11737964 SOS 7169389 HAS SOPS 5872277 HAS SOUS 1488572 HAS SOUPS 1400263 WITH SCORE 1407432.389
AT ITER 8949 NEW BEST:: SOT 11738055 SOS 7169695 HAS SOPS 5873140 HAS SOUS 1488292 HAS SOUPS 1399983 WITH SCORE 1407152.695
AT ITER 8971 NEW BEST:: SOT 11736998 SOS 7168597 HAS SOPS 5872116 HAS SOUS 1486925 HAS SOUPS 1398616 WITH SCORE 1405784.597
AT ITER 8976 NEW BEST:: SOT 11736953 SOS 7168564 HAS SOPS 5872068 HAS SOUS 1486679 HAS SOUPS 1398403 WITH SCORE 1405571.564
AT ITER 8979 NEW BEST:: SOT 11736053 SOS 7171457 HAS SOPS 5873738 HAS SOUS 1483507 HAS SOUPS 1395183 WITH SCORE 1402354.457
AT ITER 9031 NEW BEST:: SOT 11736270 SOS 7171746 HAS SOPS 5874011 HAS SOUS 1483004 HAS SOUPS 1394688 WITH SCORE 1401859.746
AT ITER 9036 NEW BEST:: SOT 11736848 SOS 7172028 HAS SOPS 5875639 HAS SOUS 1482932 HAS SOUPS 1394674 WITH SCORE 1401846.028
AT ITER 9145 NEW BEST:: SOT 11737050 SOS 7172371 HAS SOPS 5876513 HAS SOUS 1482822 HAS SOUPS 1394618 WITH SCORE 1401790.371
AT ITER 9152 NEW BEST:: SOT 11736170 SOS 7172356 HAS SOPS 5876091 HAS SOUS 1481249 HAS SOUPS 1393045 WITH SCORE 1400217.356
AT ITER 9173 NEW BEST:: SOT 11736791 SOS 7170694 HAS SOPS 5875504 HAS SOUS 1480751 HAS SOUPS 1392547 WITH SCORE 1399717.694
AT ITER 9243 NEW BEST:: SOT 11736770 SOS 7171389 HAS SOPS 5876014 HAS SOUS 1480715 HAS SOUPS 1392511 WITH SCORE 1399682.389
AT ITER 9276 NEW BEST:: SOT 11736885 SOS 7172420 HAS SOPS 5876839 HAS SOUS 1478996 HAS SOUPS 1390762 WITH SCORE 1397934.42
AT ITER 9320 NEW BEST:: SOT 11737554 SOS 7173072 HAS SOPS 5877411 HAS SOUS 1478885 HAS SOUPS 1390651 WITH SCORE 1397824.072
AT ITER 9347 NEW BEST:: SOT 11737508 SOS 7173027 HAS SOPS 5876678 HAS SOUS 1478166 HAS SOUPS 1389932 WITH SCORE 1397105.027
AT ITER 9356 NEW BEST:: SOT 11737348 SOS 7172867 HAS SOPS 5876486 HAS SOUS 1477974 HAS SOUPS 1389740 WITH SCORE 1396912.867
AT ITER 9363 NEW BEST:: SOT 11737263 SOS 7172548 HAS SOPS 5875995 HAS SOUS 1477816 HAS SOUPS 1389573 WITH SCORE 1396745.548
AT ITER 9389 NEW BEST:: SOT 11736878 SOS 7172089 HAS SOPS 5875480 HAS SOUS 1477005 HAS SOUPS 1388762 WITH SCORE 1395934.089
AT ITER 9390 NEW BEST:: SOT 11737116 SOS 7172317 HAS SOPS 5875900 HAS SOUS 1476659 HAS SOUPS 1388736 WITH SCORE 1395908.317
AT ITER 9422 NEW BEST:: SOT 11735603 SOS 7171688 HAS SOPS 5874642 HAS SOUS 1472574 HAS SOUPS 1384651 WITH SCORE 1391822.688
AT ITER 9442 NEW BEST:: SOT 11739697 SOS 7182620 HAS SOPS 5884028 HAS SOUS 1471790 HAS SOUPS 1383867 WITH SCORE 1391049.62
AT ITER 9531 NEW BEST:: SOT 11739788 SOS 7182709 HAS SOPS 5884149 HAS SOUS 1471697 HAS SOUPS 1383822 WITH SCORE 1391004.709
AT ITER 9560 NEW BEST:: SOT 11739594 SOS 7182683 HAS SOPS 5884231 HAS SOUS 1471634 HAS SOUPS 1383759 WITH SCORE 1390941.683
AT ITER 9596 NEW BEST:: SOT 11739060 SOS 7181372 HAS SOPS 5883457 HAS SOUS 1470654 HAS SOUPS 1382779 WITH SCORE 1389960.372
AT ITER 9634 NEW BEST:: SOT 11739069 SOS 7181381 HAS SOPS 5883466 HAS SOUS 1470590 HAS SOUPS 1382715 WITH SCORE 1389896.381
AT ITER 9651 NEW BEST:: SOT 11738865 SOS 7181191 HAS SOPS 5883231 HAS SOUS 1470470 HAS SOUPS 1382582 WITH SCORE 1389763.191
AT ITER 9655 NEW BEST:: SOT 11738222 SOS 7178197 HAS SOPS 5881254 HAS SOUS 1470133 HAS SOUPS 1382272 WITH SCORE 1389450.197
AT ITER 9697 NEW BEST:: SOT 11736648 SOS 7174165 HAS SOPS 5875703 HAS SOUS 1465667 HAS SOUPS 1377806 WITH SCORE 1384980.165
AT ITER 9707 NEW BEST:: SOT 11736951 SOS 7174411 HAS SOPS 5875963 HAS SOUS 1465149 HAS SOUPS 1377302 WITH SCORE 1384476.411
AT ITER 9733 NEW BEST:: SOT 11736869 SOS 7174353 HAS SOPS 5875905 HAS SOUS 1465065 HAS SOUPS 1377218 WITH SCORE 1384392.353
AT ITER 9736 NEW BEST:: SOT 11737286 SOS 7171042 HAS SOPS 5872028 HAS SOUS 1464579 HAS SOUPS 1376732 WITH SCORE 1383903.042
AT ITER 9746 NEW BEST:: SOT 11736569 SOS 7170317 HAS SOPS 5871175 HAS SOUS 1463189 HAS SOUPS 1375342 WITH SCORE 1382512.317
AT ITER 9780 NEW BEST:: SOT 11736871 SOS 7170878 HAS SOPS 5871473 HAS SOUS 1462081 HAS SOUPS 1374234 WITH SCORE 1381404.878
AT ITER 9817 NEW BEST:: SOT 11736675 SOS 7170624 HAS SOPS 5871176 HAS SOUS 1461853 HAS SOUPS 1374006 WITH SCORE 1381176.624
AT ITER 9823 NEW BEST:: SOT 11736692 SOS 7170785 HAS SOPS 5871241 HAS SOUS 1461802 HAS SOUPS 1373955 WITH SCORE 1381125.785
AT ITER 9828 NEW BEST:: SOT 11736430 SOS 7170319 HAS SOPS 5869830 HAS SOUS 1461114 HAS SOUPS 1373267 WITH SCORE 1380437.319
AT ITER 9869 NEW BEST:: SOT 11736810 SOS 7171121 HAS SOPS 5870631 HAS SOUS 1460364 HAS SOUPS 1372517 WITH SCORE 1379688.121
AT ITER 9870 NEW BEST:: SOT 11736530 SOS 7170841 HAS SOPS 5870271 HAS SOUS 1459804 HAS SOUPS 1371957 WITH SCORE 1379127.841
AT ITER 9879 NEW BEST:: SOT 11736067 SOS 7170142 HAS SOPS 5869121 HAS SOUS 1458964 HAS SOUPS 1371117 WITH SCORE 1378287.142
AT ITER 9886 NEW BEST:: SOT 11736227 SOS 7170302 HAS SOPS 5869201 HAS SOUS 1458784 HAS SOUPS 1370937 WITH SCORE 1378107.302
AT ITER 9899 NEW BEST:: SOT 11736354 SOS 7169923 HAS SOPS 5869075 HAS SOUS 1458382 HAS SOUPS 1370535 WITH SCORE 1377704.923
AT ITER 9932 NEW BEST:: SOT 11734526 SOS 7169033 HAS SOPS 5866907 HAS SOUS 1457690 HAS SOUPS 1369843 WITH SCORE 1377012.033
AT ITER 9941 NEW BEST:: SOT 11733734 SOS 7168228 HAS SOPS 5866102 HAS SOUS 1457190 HAS SOUPS 1369343 WITH SCORE 1376511.228
AT ITER 9944 NEW BEST:: SOT 11734336 SOS 7168774 HAS SOPS 5866550 HAS SOUS 1457022 HAS SOUPS 1369189 WITH SCORE 1376357.774

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-3"
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-3, 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-158961502200024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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