Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 18:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679473342032

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

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 1 NEW BEST:: SOT 12197264 SOS 7747911 HAS SOPS 6415409 HAS SOUS 3043733 HAS SOUPS 2943243 WITH SCORE 2950990.911
AT ITER 6 NEW BEST:: SOT 12197527 SOS 7753758 HAS SOPS 6428257 HAS SOUS 3043248 HAS SOUPS 2942758 WITH SCORE 2950511.758
AT ITER 9 NEW BEST:: SOT 12205336 SOS 7768760 HAS SOPS 6443344 HAS SOUS 3042478 HAS SOUPS 2941988 WITH SCORE 2949756.76
AT ITER 12 NEW BEST:: SOT 12204553 SOS 7767977 HAS SOPS 6442185 HAS SOUS 3039204 HAS SOUPS 2938855 WITH SCORE 2946622.977
AT ITER 32 NEW BEST:: SOT 12203804 SOS 7767169 HAS SOPS 6441373 HAS SOUS 3037545 HAS SOUPS 2937196 WITH SCORE 2944963.169
AT ITER 36 NEW BEST:: SOT 12211199 SOS 7780376 HAS SOPS 6456335 HAS SOUS 3034841 HAS SOUPS 2934728 WITH SCORE 2942508.376
AT ITER 41 NEW BEST:: SOT 12218266 SOS 7795918 HAS SOPS 6477270 HAS SOUS 3028403 HAS SOUPS 2928290 WITH SCORE 2936085.918
AT ITER 46 NEW BEST:: SOT 12218738 SOS 7797255 HAS SOPS 6477587 HAS SOUS 3027578 HAS SOUPS 2927465 WITH SCORE 2935262.255
AT ITER 48 NEW BEST:: SOT 12218559 SOS 7797068 HAS SOPS 6477392 HAS SOUS 3027291 HAS SOUPS 2927182 WITH SCORE 2934979.068
AT ITER 58 NEW BEST:: SOT 12222682 SOS 7801124 HAS SOPS 6482726 HAS SOUS 3026315 HAS SOUPS 2926228 WITH SCORE 2934029.124
AT ITER 64 NEW BEST:: SOT 12220785 SOS 7799069 HAS SOPS 6481285 HAS SOUS 3022025 HAS SOUPS 2921938 WITH SCORE 2929737.069
AT ITER 72 NEW BEST:: SOT 12221689 SOS 7799855 HAS SOPS 6481388 HAS SOUS 3021014 HAS SOUPS 2920927 WITH SCORE 2928726.855
AT ITER 95 NEW BEST:: SOT 12221423 SOS 7799342 HAS SOPS 6481299 HAS SOUS 3020986 HAS SOUPS 2920899 WITH SCORE 2928698.342
AT ITER 96 NEW BEST:: SOT 12214645 SOS 7792558 HAS SOPS 6473259 HAS SOUS 3010744 HAS SOUPS 2910497 WITH SCORE 2918289.558
AT ITER 121 NEW BEST:: SOT 12213267 SOS 7788949 HAS SOPS 6470390 HAS SOUS 3010160 HAS SOUPS 2909913 WITH SCORE 2917701.949
AT ITER 134 NEW BEST:: SOT 12207731 SOS 7780946 HAS SOPS 6461235 HAS SOUS 2995886 HAS SOUPS 2895740 WITH SCORE 2903520.946
AT ITER 143 NEW BEST:: SOT 12205824 SOS 7774333 HAS SOPS 6455677 HAS SOUS 2995888 HAS SOUPS 2895742 WITH SCORE 2903516.333
AT ITER 146 NEW BEST:: SOT 12204032 SOS 7772602 HAS SOPS 6454686 HAS SOUS 2993410 HAS SOUPS 2893326 WITH SCORE 2901098.602
AT ITER 148 NEW BEST:: SOT 12201037 SOS 7759614 HAS SOPS 6441900 HAS SOUS 2991307 HAS SOUPS 2891216 WITH SCORE 2898975.614
AT ITER 149 NEW BEST:: SOT 12203083 SOS 7762049 HAS SOPS 6444208 HAS SOUS 2984856 HAS SOUPS 2885750 WITH SCORE 2893512.049
AT ITER 158 NEW BEST:: SOT 12197019 SOS 7753356 HAS SOPS 6437790 HAS SOUS 2975833 HAS SOUPS 2877010 WITH SCORE 2884763.356
AT ITER 164 NEW BEST:: SOT 12196988 SOS 7753270 HAS SOPS 6437634 HAS SOUS 2975432 HAS SOUPS 2876614 WITH SCORE 2884367.27
AT ITER 171 NEW BEST:: SOT 12196227 SOS 7752478 HAS SOPS 6436377 HAS SOUS 2973982 HAS SOUPS 2874909 WITH SCORE 2882661.478
AT ITER 181 NEW BEST:: SOT 12196877 SOS 7755171 HAS SOPS 6439426 HAS SOUS 2970732 HAS SOUPS 2871707 WITH SCORE 2879462.171
AT ITER 186 NEW BEST:: SOT 12195649 SOS 7753278 HAS SOPS 6437082 HAS SOUS 2968205 HAS SOUPS 2869192 WITH SCORE 2876945.278
AT ITER 191 NEW BEST:: SOT 12195493 SOS 7752806 HAS SOPS 6436622 HAS SOUS 2968144 HAS SOUPS 2869131 WITH SCORE 2876883.806
AT ITER 207 NEW BEST:: SOT 12196541 SOS 7764955 HAS SOPS 6444345 HAS SOUS 2964695 HAS SOUPS 2865682 WITH SCORE 2873446.955
AT ITER 215 NEW BEST:: SOT 12183208 SOS 7753015 HAS SOPS 6427979 HAS SOUS 2940311 HAS SOUPS 2841359 WITH SCORE 2849112.015
AT ITER 216 NEW BEST:: SOT 12176855 SOS 7744975 HAS SOPS 6419012 HAS SOUS 2935532 HAS SOUPS 2836455 WITH SCORE 2844199.975
AT ITER 218 NEW BEST:: SOT 12184693 SOS 7765712 HAS SOPS 6441171 HAS SOUS 2928287 HAS SOUPS 2829210 WITH SCORE 2836975.712
AT ITER 222 NEW BEST:: SOT 12184996 SOS 7764743 HAS SOPS 6441510 HAS SOUS 2910538 HAS SOUPS 2811534 WITH SCORE 2819298.743
AT ITER 224 NEW BEST:: SOT 12183189 SOS 7762926 HAS SOPS 6439243 HAS SOUS 2906064 HAS SOUPS 2807135 WITH SCORE 2814897.926
AT ITER 228 NEW BEST:: SOT 12184717 SOS 7764450 HAS SOPS 6441596 HAS SOUS 2905081 HAS SOUPS 2806196 WITH SCORE 2813960.45
AT ITER 230 NEW BEST:: SOT 12185837 SOS 7769552 HAS SOPS 6446893 HAS SOUS 2899093 HAS SOUPS 2800208 WITH SCORE 2807977.552
AT ITER 239 NEW BEST:: SOT 12186045 SOS 7773168 HAS SOPS 6450365 HAS SOUS 2896170 HAS SOUPS 2797285 WITH SCORE 2805058.168
AT ITER 255 NEW BEST:: SOT 12190811 SOS 7788355 HAS SOPS 6463149 HAS SOUS 2890673 HAS SOUPS 2791761 WITH SCORE 2799549.355
AT ITER 257 NEW BEST:: SOT 12191491 SOS 7789021 HAS SOPS 6463605 HAS SOUS 2890125 HAS SOUPS 2791213 WITH SCORE 2799002.021
AT ITER 267 NEW BEST:: SOT 12190045 SOS 7792077 HAS SOPS 6465677 HAS SOUS 2887460 HAS SOUPS 2788548 WITH SCORE 2796340.077
AT ITER 280 NEW BEST:: SOT 12188384 SOS 7792037 HAS SOPS 6466524 HAS SOUS 2875179 HAS SOUPS 2776504 WITH SCORE 2784296.037
AT ITER 293 NEW BEST:: SOT 12187559 SOS 7791186 HAS SOPS 6465326 HAS SOUS 2873690 HAS SOUPS 2775015 WITH SCORE 2782806.186
AT ITER 294 NEW BEST:: SOT 12181814 SOS 7776801 HAS SOPS 6450476 HAS SOUS 2872878 HAS SOUPS 2774133 WITH SCORE 2781909.801
AT ITER 303 NEW BEST:: SOT 12181668 SOS 7775583 HAS SOPS 6449795 HAS SOUS 2870013 HAS SOUPS 2771719 WITH SCORE 2779494.583
AT ITER 316 NEW BEST:: SOT 12180906 SOS 7774782 HAS SOPS 6448538 HAS SOUS 2868574 HAS SOUPS 2770270 WITH SCORE 2778044.782
AT ITER 320 NEW BEST:: SOT 12180681 SOS 7774271 HAS SOPS 6447945 HAS SOUS 2867914 HAS SOUPS 2769610 WITH SCORE 2777384.271
AT ITER 334 NEW BEST:: SOT 12181132 SOS 7776043 HAS SOPS 6449825 HAS SOUS 2867817 HAS SOUPS 2769513 WITH SCORE 2777289.043
AT ITER 355 NEW BEST:: SOT 12179388 SOS 7773821 HAS SOPS 6447759 HAS SOUS 2863157 HAS SOUPS 2764970 WITH SCORE 2772743.821
AT ITER 362 NEW BEST:: SOT 12182176 SOS 7780576 HAS SOPS 6454617 HAS SOUS 2861517 HAS SOUPS 2763330 WITH SCORE 2771110.576
AT ITER 366 NEW BEST:: SOT 12179933 SOS 7779067 HAS SOPS 6451721 HAS SOUS 2849399 HAS SOUPS 2751212 WITH SCORE 2758991.067
AT ITER 375 NEW BEST:: SOT 12179935 SOS 7779057 HAS SOPS 6451605 HAS SOUS 2849217 HAS SOUPS 2751030 WITH SCORE 2758809.057
AT ITER 377 NEW BEST:: SOT 12180374 SOS 7779478 HAS SOPS 6451756 HAS SOUS 2847904 HAS SOUPS 2749717 WITH SCORE 2757496.478
AT ITER 386 NEW BEST:: SOT 12176958 SOS 7774817 HAS SOPS 6446178 HAS SOUS 2841248 HAS SOUPS 2743116 WITH SCORE 2750890.817
AT ITER 388 NEW BEST:: SOT 12173979 SOS 7768630 HAS SOPS 6441431 HAS SOUS 2834012 HAS SOUPS 2736132 WITH SCORE 2743900.63
AT ITER 395 NEW BEST:: SOT 12154291 SOS 7745037 HAS SOPS 6417904 HAS SOUS 2806589 HAS SOUPS 2708855 WITH SCORE 2716600.037
AT ITER 396 NEW BEST:: SOT 12154206 SOS 7746243 HAS SOPS 6417740 HAS SOUS 2805125 HAS SOUPS 2707391 WITH SCORE 2715137.243
AT ITER 405 NEW BEST:: SOT 12153526 SOS 7743936 HAS SOPS 6416310 HAS SOUS 2804144 HAS SOUPS 2706410 WITH SCORE 2714153.936
AT ITER 407 NEW BEST:: SOT 12152889 SOS 7744932 HAS SOPS 6416949 HAS SOUS 2802164 HAS SOUPS 2704430 WITH SCORE 2712174.932
AT ITER 410 NEW BEST:: SOT 12152529 SOS 7744578 HAS SOPS 6416625 HAS SOUS 2801419 HAS SOUPS 2703691 WITH SCORE 2711435.578
AT ITER 412 NEW BEST:: SOT 12154810 SOS 7751154 HAS SOPS 6427221 HAS SOUS 2800868 HAS SOUPS 2703140 WITH SCORE 2710891.154
AT ITER 421 NEW BEST:: SOT 12154731 SOS 7750861 HAS SOPS 6426931 HAS SOUS 2800247 HAS SOUPS 2702535 WITH SCORE 2710285.861
AT ITER 432 NEW BEST:: SOT 12154091 SOS 7750189 HAS SOPS 6425779 HAS SOUS 2797680 HAS SOUPS 2699923 WITH SCORE 2707673.189
AT ITER 434 NEW BEST:: SOT 12153412 SOS 7749294 HAS SOPS 6424800 HAS SOUS 2796577 HAS SOUPS 2698806 WITH SCORE 2706555.294
AT ITER 451 NEW BEST:: SOT 12153156 SOS 7750083 HAS SOPS 6424803 HAS SOUS 2794968 HAS SOUPS 2697197 WITH SCORE 2704947.083
AT ITER 470 NEW BEST:: SOT 12152855 SOS 7749466 HAS SOPS 6424434 HAS SOUS 2794182 HAS SOUPS 2696447 WITH SCORE 2704196.466
AT ITER 474 NEW BEST:: SOT 12148348 SOS 7742273 HAS SOPS 6416288 HAS SOUS 2788154 HAS SOUPS 2690461 WITH SCORE 2698203.273
AT ITER 480 NEW BEST:: SOT 12148681 SOS 7742906 HAS SOPS 6416780 HAS SOUS 2787359 HAS SOUPS 2689636 WITH SCORE 2697378.906
AT ITER 484 NEW BEST:: SOT 12147691 SOS 7736797 HAS SOPS 6409060 HAS SOUS 2786888 HAS SOUPS 2689165 WITH SCORE 2696901.797
AT ITER 496 NEW BEST:: SOT 12147533 SOS 7736380 HAS SOPS 6408808 HAS SOUS 2786716 HAS SOUPS 2688993 WITH SCORE 2696729.38
AT ITER 497 NEW BEST:: SOT 12151851 SOS 7743740 HAS SOPS 6418068 HAS SOUS 2785512 HAS SOUPS 2688090 WITH SCORE 2695833.74
AT ITER 502 NEW BEST:: SOT 12130089 SOS 7721647 HAS SOPS 6394807 HAS SOUS 2759267 HAS SOUPS 2661856 WITH SCORE 2669577.647
AT ITER 509 NEW BEST:: SOT 12131308 SOS 7724200 HAS SOPS 6397253 HAS SOUS 2759200 HAS SOUPS 2661789 WITH SCORE 2669513.2
AT ITER 526 NEW BEST:: SOT 12131278 SOS 7724170 HAS SOPS 6397223 HAS SOUS 2759030 HAS SOUPS 2661619 WITH SCORE 2669343.17
AT ITER 530 NEW BEST:: SOT 12131132 SOS 7724039 HAS SOPS 6396724 HAS SOUS 2758320 HAS SOUPS 2660909 WITH SCORE 2668633.039
AT ITER 538 NEW BEST:: SOT 12130399 SOS 7723170 HAS SOPS 6398318 HAS SOUS 2752393 HAS SOUPS 2654982 WITH SCORE 2662705.17
AT ITER 548 NEW BEST:: SOT 12126426 SOS 7714023 HAS SOPS 6392112 HAS SOUS 2747168 HAS SOUPS 2650053 WITH SCORE 2657767.023
AT ITER 553 NEW BEST:: SOT 12126416 SOS 7713961 HAS SOPS 6391805 HAS SOUS 2747148 HAS SOUPS 2650024 WITH SCORE 2657737.961
AT ITER 556 NEW BEST:: SOT 12126106 SOS 7713408 HAS SOPS 6391436 HAS SOUS 2746540 HAS SOUPS 2649416 WITH SCORE 2657129.408
AT ITER 574 NEW BEST:: SOT 12126134 SOS 7713738 HAS SOPS 6391615 HAS SOUS 2745720 HAS SOUPS 2648445 WITH SCORE 2656158.738
AT ITER 576 NEW BEST:: SOT 12127586 SOS 7720795 HAS SOPS 6397603 HAS SOUS 2745019 HAS SOUPS 2647744 WITH SCORE 2655464.795
AT ITER 578 NEW BEST:: SOT 12128166 SOS 7723935 HAS SOPS 6400669 HAS SOUS 2744806 HAS SOUPS 2647531 WITH SCORE 2655254.935
AT ITER 591 NEW BEST:: SOT 12097315 SOS 7680927 HAS SOPS 6357229 HAS SOUS 2681286 HAS SOUPS 2583878 WITH SCORE 2591558.927
AT ITER 596 NEW BEST:: SOT 12096398 SOS 7678517 HAS SOPS 6355472 HAS SOUS 2675079 HAS SOUPS 2578619 WITH SCORE 2586297.517
AT ITER 602 NEW BEST:: SOT 12065972 SOS 7627114 HAS SOPS 6330156 HAS SOUS 2653473 HAS SOUPS 2557378 WITH SCORE 2565005.114
AT ITER 621 NEW BEST:: SOT 12062020 SOS 7623162 HAS SOPS 6326204 HAS SOUS 2649177 HAS SOUPS 2553082 WITH SCORE 2560705.162
AT ITER 628 NEW BEST:: SOT 12060234 SOS 7619972 HAS SOPS 6323209 HAS SOUS 2644546 HAS SOUPS 2549066 WITH SCORE 2556685.972
AT ITER 634 NEW BEST:: SOT 12059941 SOS 7616518 HAS SOPS 6320668 HAS SOUS 2643983 HAS SOUPS 2548503 WITH SCORE 2556119.518
AT ITER 640 NEW BEST:: SOT 12061306 SOS 7620112 HAS SOPS 6321112 HAS SOUS 2640135 HAS SOUPS 2544655 WITH SCORE 2552275.112
AT ITER 655 NEW BEST:: SOT 12061274 SOS 7620084 HAS SOPS 6321084 HAS SOUS 2640071 HAS SOUPS 2544592 WITH SCORE 2552212.084
AT ITER 666 NEW BEST:: SOT 12061069 SOS 7619244 HAS SOPS 6319548 HAS SOUS 2639837 HAS SOUPS 2544358 WITH SCORE 2551977.244
AT ITER 667 NEW BEST:: SOT 12066536 SOS 7629391 HAS SOPS 6329336 HAS SOUS 2634293 HAS SOUPS 2538814 WITH SCORE 2546443.391
AT ITER 669 NEW BEST:: SOT 12065741 SOS 7628586 HAS SOPS 6328362 HAS SOUS 2633001 HAS SOUPS 2537522 WITH SCORE 2545150.586
AT ITER 671 NEW BEST:: SOT 12065233 SOS 7627443 HAS SOPS 6326030 HAS SOUS 2631840 HAS SOUPS 2536361 WITH SCORE 2543988.443
AT ITER 676 NEW BEST:: SOT 12065296 SOS 7627340 HAS SOPS 6327421 HAS SOUS 2631529 HAS SOUPS 2536050 WITH SCORE 2543677.34
AT ITER 679 NEW BEST:: SOT 12063545 SOS 7625464 HAS SOPS 6322319 HAS SOUS 2627176 HAS SOUPS 2531697 WITH SCORE 2539322.464
AT ITER 680 NEW BEST:: SOT 12069898 SOS 7639510 HAS SOPS 6332786 HAS SOUS 2626713 HAS SOUPS 2531162 WITH SCORE 2538801.51
AT ITER 685 NEW BEST:: SOT 12073203 SOS 7648791 HAS SOPS 6340070 HAS SOUS 2624818 HAS SOUPS 2529267 WITH SCORE 2536915.791
AT ITER 686 NEW BEST:: SOT 12056414 SOS 7612691 HAS SOPS 6310347 HAS SOUS 2607111 HAS SOUPS 2511733 WITH SCORE 2519345.691
AT ITER 695 NEW BEST:: SOT 12050974 SOS 7605675 HAS SOPS 6307890 HAS SOUS 2598525 HAS SOUPS 2503322 WITH SCORE 2510927.675
AT ITER 717 NEW BEST:: SOT 12051384 SOS 7604121 HAS SOPS 6305991 HAS SOUS 2597434 HAS SOUPS 2502360 WITH SCORE 2509964.121
AT ITER 722 NEW BEST:: SOT 12047583 SOS 7600428 HAS SOPS 6302512 HAS SOUS 2589513 HAS SOUPS 2494439 WITH SCORE 2502039.428
AT ITER 734 NEW BEST:: SOT 12045264 SOS 7594631 HAS SOPS 6296747 HAS SOUS 2586866 HAS SOUPS 2491822 WITH SCORE 2499416.631
AT ITER 752 NEW BEST:: SOT 12045244 SOS 7596148 HAS SOPS 6296420 HAS SOUS 2582993 HAS SOUPS 2487949 WITH SCORE 2495545.148
AT ITER 778 NEW BEST:: SOT 12044728 SOS 7595661 HAS SOPS 6295375 HAS SOUS 2581524 HAS SOUPS 2486480 WITH SCORE 2494075.661
AT ITER 786 NEW BEST:: SOT 12045661 SOS 7597525 HAS SOPS 6299554 HAS SOUS 2577767 HAS SOUPS 2482723 WITH SCORE 2490320.525
AT ITER 789 NEW BEST:: SOT 12044764 SOS 7598312 HAS SOPS 6299554 HAS SOUS 2572966 HAS SOUPS 2477922 WITH SCORE 2485520.312
AT ITER 790 NEW BEST:: SOT 12045771 SOS 7599409 HAS SOPS 6301116 HAS SOUS 2570139 HAS SOUPS 2475084 WITH SCORE 2482683.409
AT ITER 800 NEW BEST:: SOT 12043729 SOS 7599679 HAS SOPS 6300400 HAS SOUS 2562726 HAS SOUPS 2467671 WITH SCORE 2475270.679
AT ITER 830 NEW BEST:: SOT 12046375 SOS 7600393 HAS SOPS 6297988 HAS SOUS 2560236 HAS SOUPS 2465181 WITH SCORE 2472781.393
AT ITER 842 NEW BEST:: SOT 12050487 SOS 7614944 HAS SOPS 6314571 HAS SOUS 2556760 HAS SOUPS 2461705 WITH SCORE 2469319.944
AT ITER 860 NEW BEST:: SOT 12047179 SOS 7602457 HAS SOPS 6303127 HAS SOUS 2552474 HAS SOUPS 2457419 WITH SCORE 2465021.457
AT ITER 861 NEW BEST:: SOT 12045958 SOS 7599530 HAS SOPS 6299656 HAS SOUS 2550711 HAS SOUPS 2455656 WITH SCORE 2463255.53
AT ITER 871 NEW BEST:: SOT 12044624 SOS 7598239 HAS SOPS 6297560 HAS SOUS 2547801 HAS SOUPS 2452731 WITH SCORE 2460329.239
AT ITER 884 NEW BEST:: SOT 12044206 SOS 7597789 HAS SOPS 6296886 HAS SOUS 2546347 HAS SOUPS 2451277 WITH SCORE 2458874.789
AT ITER 886 NEW BEST:: SOT 12047929 SOS 7601535 HAS SOPS 6305588 HAS SOUS 2546240 HAS SOUPS 2451170 WITH SCORE 2458771.535
AT ITER 892 NEW BEST:: SOT 12047919 SOS 7601631 HAS SOPS 6304621 HAS SOUS 2545279 HAS SOUPS 2450212 WITH SCORE 2457813.631
AT ITER 919 NEW BEST:: SOT 12046087 SOS 7599804 HAS SOPS 6302031 HAS SOUS 2543387 HAS SOUPS 2447896 WITH SCORE 2455495.804
AT ITER 926 NEW BEST:: SOT 12044832 SOS 7595385 HAS SOPS 6298140 HAS SOUS 2543357 HAS SOUPS 2447866 WITH SCORE 2455461.385
AT ITER 927 NEW BEST:: SOT 12044412 SOS 7594913 HAS SOPS 6297432 HAS SOUS 2542429 HAS SOUPS 2446942 WITH SCORE 2454536.913
AT ITER 928 NEW BEST:: SOT 12048682 SOS 7615687 HAS SOPS 6313410 HAS SOUS 2539860 HAS SOUPS 2444373 WITH SCORE 2451988.687
AT ITER 930 NEW BEST:: SOT 12050583 SOS 7621033 HAS SOPS 6320240 HAS SOUS 2539705 HAS SOUPS 2444284 WITH SCORE 2451905.033
AT ITER 941 NEW BEST:: SOT 12049666 SOS 7620078 HAS SOPS 6319019 HAS SOUS 2538027 HAS SOUPS 2442494 WITH SCORE 2450114.078
AT ITER 946 NEW BEST:: SOT 12049777 SOS 7621389 HAS SOPS 6319134 HAS SOUS 2537140 HAS SOUPS 2441534 WITH SCORE 2449155.389
AT ITER 973 NEW BEST:: SOT 12046008 SOS 7611666 HAS SOPS 6310619 HAS SOUS 2534004 HAS SOUPS 2438470 WITH SCORE 2446081.666
AT ITER 999 NEW BEST:: SOT 12046032 SOS 7611565 HAS SOPS 6310650 HAS SOUS 2533749 HAS SOUPS 2438259 WITH SCORE 2445870.565
AT ITER 1009 NEW BEST:: SOT 12047126 SOS 7609682 HAS SOPS 6319391 HAS SOUS 2532460 HAS SOUPS 2436970 WITH SCORE 2444579.682
AT ITER 1010 NEW BEST:: SOT 12052038 SOS 7620120 HAS SOPS 6329245 HAS SOUS 2531882 HAS SOUPS 2436392 WITH SCORE 2444012.12
AT ITER 1022 NEW BEST:: SOT 12051777 SOS 7620097 HAS SOPS 6329341 HAS SOUS 2529906 HAS SOUPS 2434416 WITH SCORE 2442036.097
AT ITER 1027 NEW BEST:: SOT 12052115 SOS 7621205 HAS SOPS 6329926 HAS SOUS 2529283 HAS SOUPS 2433793 WITH SCORE 2441414.205
AT ITER 1046 NEW BEST:: SOT 12051279 SOS 7618844 HAS SOPS 6328076 HAS SOUS 2526367 HAS SOUPS 2431042 WITH SCORE 2438660.844
AT ITER 1047 NEW BEST:: SOT 12051258 SOS 7618668 HAS SOPS 6327699 HAS SOUS 2526248 HAS SOUPS 2430923 WITH SCORE 2438541.668
AT ITER 1056 NEW BEST:: SOT 12051219 SOS 7611974 HAS SOPS 6327596 HAS SOUS 2523308 HAS SOUPS 2427983 WITH SCORE 2435594.974
AT ITER 1059 NEW BEST:: SOT 12052416 SOS 7612759 HAS SOPS 6328403 HAS SOUS 2522971 HAS SOUPS 2427686 WITH SCORE 2435298.759
AT ITER 1069 NEW BEST:: SOT 12052457 SOS 7612878 HAS SOPS 6328092 HAS SOUS 2521030 HAS SOUPS 2425745 WITH SCORE 2433357.878
AT ITER 1079 NEW BEST:: SOT 12051847 SOS 7612238 HAS SOPS 6327242 HAS SOUS 2520175 HAS SOUPS 2424890 WITH SCORE 2432502.238
AT ITER 1081 NEW BEST:: SOT 12051259 SOS 7611608 HAS SOPS 6326318 HAS SOUS 2518432 HAS SOUPS 2423147 WITH SCORE 2430758.608
AT ITER 1121 NEW BEST:: SOT 12051230 SOS 7611607 HAS SOPS 6326289 HAS SOUS 2518285 HAS SOUPS 2422996 WITH SCORE 2430607.607
AT ITER 1149 NEW BEST:: SOT 12050454 SOS 7610726 HAS SOPS 6324832 HAS SOUS 2514549 HAS SOUPS 2419260 WITH SCORE 2426870.726
AT ITER 1178 NEW BEST:: SOT 12048182 SOS 7605000 HAS SOPS 6321804 HAS SOUS 2513270 HAS SOUPS 2418089 WITH SCORE 2425694.0
AT ITER 1196 NEW BEST:: SOT 12048633 SOS 7605550 HAS SOPS 6322308 HAS SOUS 2512994 HAS SOUPS 2417852 WITH SCORE 2425457.55
AT ITER 1199 NEW BEST:: SOT 12042003 SOS 7603495 HAS SOPS 6315103 HAS SOUS 2496630 HAS SOUPS 2401396 WITH SCORE 2408999.495
AT ITER 1219 NEW BEST:: SOT 12042453 SOS 7604856 HAS SOPS 6315857 HAS SOUS 2496123 HAS SOUPS 2400889 WITH SCORE 2408493.856
AT ITER 1222 NEW BEST:: SOT 12031933 SOS 7581193 HAS SOPS 6294271 HAS SOUS 2482138 HAS SOUPS 2387196 WITH SCORE 2394777.193
AT ITER 1266 NEW BEST:: SOT 12032736 SOS 7579955 HAS SOPS 6294694 HAS SOUS 2478624 HAS SOUPS 2383682 WITH SCORE 2391261.955
AT ITER 1267 NEW BEST:: SOT 12032698 SOS 7579985 HAS SOPS 6294710 HAS SOUS 2478599 HAS SOUPS 2383669 WITH SCORE 2391248.985
AT ITER 1295 NEW BEST:: SOT 12034066 SOS 7581382 HAS SOPS 6295843 HAS SOUS 2476380 HAS SOUPS 2381450 WITH SCORE 2389031.382
AT ITER 1304 NEW BEST:: SOT 12042473 SOS 7610642 HAS SOPS 6317686 HAS SOUS 2472097 HAS SOUPS 2377167 WITH SCORE 2384777.642
AT ITER 1323 NEW BEST:: SOT 12041996 SOS 7609360 HAS SOPS 6315889 HAS SOUS 2470827 HAS SOUPS 2375897 WITH SCORE 2383506.36
AT ITER 1325 NEW BEST:: SOT 12045355 SOS 7611634 HAS SOPS 6316231 HAS SOUS 2465574 HAS SOUPS 2369670 WITH SCORE 2377281.634
AT ITER 1341 NEW BEST:: SOT 12042124 SOS 7607891 HAS SOPS 6315675 HAS SOUS 2462019 HAS SOUPS 2366494 WITH SCORE 2374101.891
AT ITER 1349 NEW BEST:: SOT 12038937 SOS 7604104 HAS SOPS 6311143 HAS SOUS 2458622 HAS SOUPS 2363097 WITH SCORE 2370701.104
AT ITER 1352 NEW BEST:: SOT 12037662 SOS 7602829 HAS SOPS 6309868 HAS SOUS 2457347 HAS SOUPS 2361822 WITH SCORE 2369424.829
AT ITER 1356 NEW BEST:: SOT 12037471 SOS 7602585 HAS SOPS 6309460 HAS SOUS 2456984 HAS SOUPS 2361455 WITH SCORE 2369057.585
AT ITER 1363 NEW BEST:: SOT 12037073 SOS 7602822 HAS SOPS 6308384 HAS SOUS 2457154 HAS SOUPS 2360614 WITH SCORE 2368216.822
AT ITER 1365 NEW BEST:: SOT 12037203 SOS 7602591 HAS SOPS 6306950 HAS SOUS 2455336 HAS SOUPS 2358796 WITH SCORE 2366398.591
AT ITER 1375 NEW BEST:: SOT 12037071 SOS 7601662 HAS SOPS 6306315 HAS SOUS 2454805 HAS SOUPS 2358265 WITH SCORE 2365866.662
AT ITER 1392 NEW BEST:: SOT 12036390 SOS 7600827 HAS SOPS 6305634 HAS SOUS 2454068 HAS SOUPS 2357542 WITH SCORE 2365142.827
AT ITER 1398 NEW BEST:: SOT 12035331 SOS 7598439 HAS SOPS 6307116 HAS SOUS 2453524 HAS SOUPS 2356998 WITH SCORE 2364596.439
AT ITER 1405 NEW BEST:: SOT 12034639 SOS 7597595 HAS SOPS 6306805 HAS SOUS 2453396 HAS SOUPS 2356870 WITH SCORE 2364467.595
AT ITER 1409 NEW BEST:: SOT 12035830 SOS 7601178 HAS SOPS 6313574 HAS SOUS 2449670 HAS SOUPS 2353261 WITH SCORE 2360862.178
AT ITER 1417 NEW BEST:: SOT 12026899 SOS 7572672 HAS SOPS 6289913 HAS SOUS 2444611 HAS SOUPS 2348224 WITH SCORE 2355796.672
AT ITER 1433 NEW BEST:: SOT 12026197 SOS 7572313 HAS SOPS 6290982 HAS SOUS 2444443 HAS SOUPS 2348067 WITH SCORE 2355639.313
AT ITER 1435 NEW BEST:: SOT 12025999 SOS 7570619 HAS SOPS 6289741 HAS SOUS 2444073 HAS SOUPS 2347697 WITH SCORE 2355267.619
AT ITER 1443 NEW BEST:: SOT 12026689 SOS 7572204 HAS SOPS 6290865 HAS SOUS 2443367 HAS SOUPS 2346991 WITH SCORE 2354563.204
AT ITER 1454 NEW BEST:: SOT 12022522 SOS 7561382 HAS SOPS 6281634 HAS SOUS 2437449 HAS SOUPS 2341181 WITH SCORE 2348742.382
AT ITER 1457 NEW BEST:: SOT 12022324 SOS 7560048 HAS SOPS 6280034 HAS SOUS 2437104 HAS SOUPS 2340836 WITH SCORE 2348396.048
AT ITER 1467 NEW BEST:: SOT 12019883 SOS 7559651 HAS SOPS 6274932 HAS SOUS 2425486 HAS SOUPS 2329353 WITH SCORE 2336912.651
AT ITER 1478 NEW BEST:: SOT 12019920 SOS 7559745 HAS SOPS 6275000 HAS SOUS 2425483 HAS SOUPS 2329350 WITH SCORE 2336909.745
AT ITER 1481 NEW BEST:: SOT 12019902 SOS 7559603 HAS SOPS 6274581 HAS SOUS 2424933 HAS SOUPS 2328831 WITH SCORE 2336390.603
AT ITER 1487 NEW BEST:: SOT 12019956 SOS 7559657 HAS SOPS 6274635 HAS SOUS 2424899 HAS SOUPS 2328797 WITH SCORE 2336356.657
AT ITER 1491 NEW BEST:: SOT 12020158 SOS 7563313 HAS SOPS 6280307 HAS SOUS 2421574 HAS SOUPS 2325472 WITH SCORE 2333035.313
AT ITER 1494 NEW BEST:: SOT 12019714 SOS 7562246 HAS SOPS 6280452 HAS SOUS 2421248 HAS SOUPS 2325146 WITH SCORE 2332708.246
AT ITER 1510 NEW BEST:: SOT 12019372 SOS 7561899 HAS SOPS 6280030 HAS SOUS 2420490 HAS SOUPS 2324388 WITH SCORE 2331949.899
AT ITER 1522 NEW BEST:: SOT 12020202 SOS 7562876 HAS SOPS 6280229 HAS SOUS 2417341 HAS SOUPS 2321407 WITH SCORE 2328969.876
AT ITER 1549 NEW BEST:: SOT 12022840 SOS 7571039 HAS SOPS 6287955 HAS SOUS 2409820 HAS SOUPS 2313886 WITH SCORE 2321457.039
AT ITER 1570 NEW BEST:: SOT 12020732 SOS 7566678 HAS SOPS 6285789 HAS SOUS 2406383 HAS SOUPS 2310504 WITH SCORE 2318070.678
AT ITER 1574 NEW BEST:: SOT 12020582 SOS 7566348 HAS SOPS 6285159 HAS SOUS 2406300 HAS SOUPS 2310421 WITH SCORE 2317987.348
AT ITER 1585 NEW BEST:: SOT 12020752 SOS 7566872 HAS SOPS 6285404 HAS SOUS 2406115 HAS SOUPS 2310236 WITH SCORE 2317802.872
AT ITER 1586 NEW BEST:: SOT 12020557 SOS 7566752 HAS SOPS 6285349 HAS SOUS 2405592 HAS SOUPS 2309713 WITH SCORE 2317279.752
AT ITER 1595 NEW BEST:: SOT 12012940 SOS 7559099 HAS SOPS 6277678 HAS SOUS 2397579 HAS SOUPS 2301681 WITH SCORE 2309240.099
AT ITER 1597 NEW BEST:: SOT 12012423 SOS 7557692 HAS SOPS 6276522 HAS SOUS 2396990 HAS SOUPS 2301092 WITH SCORE 2308649.692
AT ITER 1602 NEW BEST:: SOT 12012196 SOS 7557055 HAS SOPS 6275918 HAS SOUS 2396601 HAS SOUPS 2300703 WITH SCORE 2308260.055
AT ITER 1610 NEW BEST:: SOT 12006528 SOS 7551513 HAS SOPS 6269674 HAS SOUS 2388773 HAS SOUPS 2292779 WITH SCORE 2300330.513
AT ITER 1612 NEW BEST:: SOT 12005614 SOS 7549622 HAS SOPS 6268374 HAS SOUS 2387836 HAS SOUPS 2291842 WITH SCORE 2299391.622
AT ITER 1613 NEW BEST:: SOT 12003701 SOS 7546959 HAS SOPS 6265663 HAS SOUS 2384501 HAS SOUPS 2288507 WITH SCORE 2296053.959
AT ITER 1618 NEW BEST:: SOT 12003859 SOS 7548428 HAS SOPS 6265438 HAS SOUS 2383987 HAS SOUPS 2287993 WITH SCORE 2295541.428
AT ITER 1620 NEW BEST:: SOT 12003914 SOS 7548483 HAS SOPS 6265493 HAS SOUS 2383882 HAS SOUPS 2287888 WITH SCORE 2295436.483
AT ITER 1622 NEW BEST:: SOT 12001904 SOS 7546503 HAS SOPS 6263513 HAS SOUS 2380942 HAS SOUPS 2284948 WITH SCORE 2292494.503
AT ITER 1624 NEW BEST:: SOT 12001880 SOS 7546479 HAS SOPS 6263489 HAS SOUS 2380918 HAS SOUPS 2284924 WITH SCORE 2292470.479
AT ITER 1656 NEW BEST:: SOT 12000847 SOS 7545344 HAS SOPS 6261982 HAS SOUS 2379485 HAS SOUPS 2283502 WITH SCORE 2291047.344
AT ITER 1677 NEW BEST:: SOT 12009627 SOS 7557140 HAS SOPS 6269164 HAS SOUS 2377115 HAS SOUPS 2281128 WITH SCORE 2288685.14
AT ITER 1678 NEW BEST:: SOT 12009585 SOS 7556464 HAS SOPS 6268719 HAS SOUS 2376849 HAS SOUPS 2280865 WITH SCORE 2288421.464
AT ITER 1681 NEW BEST:: SOT 12008914 SOS 7552832 HAS SOPS 6267370 HAS SOUS 2376799 HAS SOUPS 2280865 WITH SCORE 2288417.832
AT ITER 1695 NEW BEST:: SOT 12008422 SOS 7551196 HAS SOPS 6267656 HAS SOUS 2375737 HAS SOUPS 2279915 WITH SCORE 2287466.196
AT ITER 1698 NEW BEST:: SOT 12006135 SOS 7544202 HAS SOPS 6264079 HAS SOUS 2375658 HAS SOUPS 2279836 WITH SCORE 2287380.202
AT ITER 1702 NEW BEST:: SOT 12004458 SOS 7542500 HAS SOPS 6261474 HAS SOUS 2369945 HAS SOUPS 2274123 WITH SCORE 2281665.5
AT ITER 1709 NEW BEST:: SOT 12003839 SOS 7541881 HAS SOPS 6260855 HAS SOUS 2368354 HAS SOUPS 2272532 WITH SCORE 2280073.881
AT ITER 1711 NEW BEST:: SOT 12003079 SOS 7541239 HAS SOPS 6260201 HAS SOUS 2367283 HAS SOUPS 2271455 WITH SCORE 2278996.239
AT ITER 1713 NEW BEST:: SOT 12002959 SOS 7541115 HAS SOPS 6260017 HAS SOUS 2366939 HAS SOUPS 2271111 WITH SCORE 2278652.115
AT ITER 1721 NEW BEST:: SOT 12003948 SOS 7542979 HAS SOPS 6263995 HAS SOUS 2366860 HAS SOUPS 2271032 WITH SCORE 2278574.979
AT ITER 1728 NEW BEST:: SOT 12003097 SOS 7541673 HAS SOPS 6262626 HAS SOUS 2363796 HAS SOUPS 2268052 WITH SCORE 2275593.673
AT ITER 1736 NEW BEST:: SOT 12005049 SOS 7545445 HAS SOPS 6264626 HAS SOUS 2363615 HAS SOUPS 2267871 WITH SCORE 2275416.445
AT ITER 1740 NEW BEST:: SOT 12003833 SOS 7545837 HAS SOPS 6265099 HAS SOUS 2361787 HAS SOUPS 2266043 WITH SCORE 2273588.837
AT ITER 1752 NEW BEST:: SOT 12003707 SOS 7545431 HAS SOPS 6264812 HAS SOUS 2361044 HAS SOUPS 2265417 WITH SCORE 2272962.431
AT ITER 1760 NEW BEST:: SOT 12002025 SOS 7546183 HAS SOPS 6267804 HAS SOUS 2352458 HAS SOUPS 2256942 WITH SCORE 2264488.183
AT ITER 1773 NEW BEST:: SOT 12002025 SOS 7546247 HAS SOPS 6267836 HAS SOUS 2352456 HAS SOUPS 2256940 WITH SCORE 2264486.247
AT ITER 1774 NEW BEST:: SOT 12000728 SOS 7543262 HAS SOPS 6265127 HAS SOUS 2351439 HAS SOUPS 2255923 WITH SCORE 2263466.262
AT ITER 1797 NEW BEST:: SOT 12000728 SOS 7543214 HAS SOPS 6265703 HAS SOUS 2351439 HAS SOUPS 2255923 WITH SCORE 2263466.214
AT ITER 1812 NEW BEST:: SOT 11997343 SOS 7538613 HAS SOPS 6261608 HAS SOUS 2349453 HAS SOUPS 2253957 WITH SCORE 2261495.613
AT ITER 1822 NEW BEST:: SOT 11997445 SOS 7537547 HAS SOPS 6260790 HAS SOUS 2349061 HAS SOUPS 2253565 WITH SCORE 2261102.547
AT ITER 1826 NEW BEST:: SOT 11995632 SOS 7534011 HAS SOPS 6257798 HAS SOUS 2347605 HAS SOUPS 2252109 WITH SCORE 2259643.011
AT ITER 1841 NEW BEST:: SOT 11995350 SOS 7533707 HAS SOPS 6260223 HAS SOUS 2344776 HAS SOUPS 2249280 WITH SCORE 2256813.707
AT ITER 1869 NEW BEST:: SOT 11995455 SOS 7533812 HAS SOPS 6260248 HAS SOUS 2344429 HAS SOUPS 2248933 WITH SCORE 2256466.812
AT ITER 1870 NEW BEST:: SOT 11995564 SOS 7533881 HAS SOPS 6260317 HAS SOUS 2344083 HAS SOUPS 2248592 WITH SCORE 2256125.881
AT ITER 1890 NEW BEST:: SOT 11995644 SOS 7533804 HAS SOPS 6261000 HAS SOUS 2343288 HAS SOUPS 2247838 WITH SCORE 2255371.804
AT ITER 1896 NEW BEST:: SOT 11995003 SOS 7532812 HAS SOPS 6260463 HAS SOUS 2342319 HAS SOUPS 2246869 WITH SCORE 2254401.812
AT ITER 1907 NEW BEST:: SOT 11991633 SOS 7526687 HAS SOPS 6255110 HAS SOUS 2337561 HAS SOUPS 2242111 WITH SCORE 2249637.687
AT ITER 1925 NEW BEST:: SOT 11988311 SOS 7524114 HAS SOPS 6252597 HAS SOUS 2336685 HAS SOUPS 2241086 WITH SCORE 2248610.114
AT ITER 1930 NEW BEST:: SOT 11986284 SOS 7521674 HAS SOPS 6249524 HAS SOUS 2331208 HAS SOUPS 2235697 WITH SCORE 2243218.674
AT ITER 1932 NEW BEST:: SOT 11986037 SOS 7514647 HAS SOPS 6245892 HAS SOUS 2328901 HAS SOUPS 2233390 WITH SCORE 2240904.647
AT ITER 1940 NEW BEST:: SOT 11988720 SOS 7518616 HAS SOPS 6251049 HAS SOUS 2327490 HAS SOUPS 2232140 WITH SCORE 2239658.616
AT ITER 1946 NEW BEST:: SOT 11987768 SOS 7517655 HAS SOPS 6249553 HAS SOUS 2324330 HAS SOUPS 2228980 WITH SCORE 2236497.655
AT ITER 1960 NEW BEST:: SOT 11987677 SOS 7517531 HAS SOPS 6249307 HAS SOUS 2323972 HAS SOUPS 2228622 WITH SCORE 2236139.531
AT ITER 1962 NEW BEST:: SOT 11986751 SOS 7514556 HAS SOPS 6248046 HAS SOUS 2321391 HAS SOUPS 2226090 WITH SCORE 2233604.556
AT ITER 1967 NEW BEST:: SOT 11986322 SOS 7513508 HAS SOPS 6246500 HAS SOUS 2319238 HAS SOUPS 2223937 WITH SCORE 2231450.508
AT ITER 1970 NEW BEST:: SOT 11985910 SOS 7513086 HAS SOPS 6245928 HAS SOUS 2318346 HAS SOUPS 2223045 WITH SCORE 2230558.086
AT ITER 1971 NEW BEST:: SOT 11983080 SOS 7509419 HAS SOPS 6242236 HAS SOUS 2313898 HAS SOUPS 2218597 WITH SCORE 2226106.419
AT ITER 1974 NEW BEST:: SOT 11975314 SOS 7484619 HAS SOPS 6224697 HAS SOUS 2313090 HAS SOUPS 2217789 WITH SCORE 2225273.619
AT ITER 1975 NEW BEST:: SOT 11975324 SOS 7484769 HAS SOPS 6224479 HAS SOUS 2312182 HAS SOUPS 2216895 WITH SCORE 2224379.769
AT ITER 1992 NEW BEST:: SOT 11976809 SOS 7491224 HAS SOPS 6228360 HAS SOUS 2311216 HAS SOUPS 2215929 WITH SCORE 2223420.224
AT ITER 1994 NEW BEST:: SOT 11975229 SOS 7489529 HAS SOPS 6226665 HAS SOUS 2309168 HAS SOUPS 2213881 WITH SCORE 2221370.529
AT ITER 1997 NEW BEST:: SOT 11975594 SOS 7496702 HAS SOPS 6229319 HAS SOUS 2304888 HAS SOUPS 2209578 WITH SCORE 2217074.702
AT ITER 2002 NEW BEST:: SOT 11975656 SOS 7497106 HAS SOPS 6229413 HAS SOUS 2304606 HAS SOUPS 2209296 WITH SCORE 2216793.106
AT ITER 2013 NEW BEST:: SOT 11975239 SOS 7498485 HAS SOPS 6231271 HAS SOUS 2302237 HAS SOUPS 2206927 WITH SCORE 2214425.485
AT ITER 2023 NEW BEST:: SOT 11974315 SOS 7495987 HAS SOPS 6231816 HAS SOUS 2301778 HAS SOUPS 2206468 WITH SCORE 2213963.987
AT ITER 2039 NEW BEST:: SOT 11974295 SOS 7495918 HAS SOPS 6231791 HAS SOUS 2301768 HAS SOUPS 2206458 WITH SCORE 2213953.918
AT ITER 2044 NEW BEST:: SOT 11977464 SOS 7497757 HAS SOPS 6234366 HAS SOUS 2300896 HAS SOUPS 2206266 WITH SCORE 2213763.757
AT ITER 2059 NEW BEST:: SOT 11975752 SOS 7495482 HAS SOPS 6231749 HAS SOUS 2292169 HAS SOUPS 2197459 WITH SCORE 2204954.482
AT ITER 2064 NEW BEST:: SOT 11972878 SOS 7491498 HAS SOPS 6227261 HAS SOUS 2282936 HAS SOUPS 2188226 WITH SCORE 2195717.498
AT ITER 2065 NEW BEST:: SOT 11965685 SOS 7472677 HAS SOPS 6213002 HAS SOUS 2270390 HAS SOUPS 2175680 WITH SCORE 2183152.677
AT ITER 2075 NEW BEST:: SOT 11961858 SOS 7465095 HAS SOPS 6207302 HAS SOUS 2268369 HAS SOUPS 2173753 WITH SCORE 2181218.095
AT ITER 2114 NEW BEST:: SOT 11976692 SOS 7490763 HAS SOPS 6234137 HAS SOUS 2266413 HAS SOUPS 2172298 WITH SCORE 2179788.763
AT ITER 2118 NEW BEST:: SOT 11976659 SOS 7490643 HAS SOPS 6233996 HAS SOUS 2266332 HAS SOUPS 2172217 WITH SCORE 2179707.643
AT ITER 2125 NEW BEST:: SOT 11976230 SOS 7490568 HAS SOPS 6229969 HAS SOUS 2262638 HAS SOUPS 2168523 WITH SCORE 2176013.568
AT ITER 2148 NEW BEST:: SOT 11976142 SOS 7490575 HAS SOPS 6229588 HAS SOUS 2262304 HAS SOUPS 2168189 WITH SCORE 2175679.575
AT ITER 2158 NEW BEST:: SOT 11971131 SOS 7483195 HAS SOPS 6224709 HAS SOUS 2258198 HAS SOUPS 2164393 WITH SCORE 2171876.195
AT ITER 2171 NEW BEST:: SOT 11974350 SOS 7486831 HAS SOPS 6229173 HAS SOUS 2256851 HAS SOUPS 2163046 WITH SCORE 2170532.831
AT ITER 2175 NEW BEST:: SOT 11974086 SOS 7486354 HAS SOPS 6228857 HAS SOUS 2256721 HAS SOUPS 2162925 WITH SCORE 2170411.354
AT ITER 2206 NEW BEST:: SOT 11976185 SOS 7490275 HAS SOPS 6233906 HAS SOUS 2254371 HAS SOUPS 2160658 WITH SCORE 2168148.275
AT ITER 2212 NEW BEST:: SOT 11976487 SOS 7490851 HAS SOPS 6234610 HAS SOUS 2254339 HAS SOUPS 2160626 WITH SCORE 2168116.851
AT ITER 2229 NEW BEST:: SOT 11976484 SOS 7490820 HAS SOPS 6234565 HAS SOUS 2254334 HAS SOUPS 2160621 WITH SCORE 2168111.82
AT ITER 2243 NEW BEST:: SOT 11976484 SOS 7490550 HAS SOPS 6234295 HAS SOUS 2254198 HAS SOUPS 2160485 WITH SCORE 2167975.55
AT ITER 2249 NEW BEST:: SOT 11975711 SOS 7489791 HAS SOPS 6233946 HAS SOUS 2253795 HAS SOUPS 2160061 WITH SCORE 2167550.791
AT ITER 2284 NEW BEST:: SOT 11973546 SOS 7489368 HAS SOPS 6235692 HAS SOUS 2248852 HAS SOUPS 2155118 WITH SCORE 2162607.368
AT ITER 2291 NEW BEST:: SOT 11972829 SOS 7487303 HAS SOPS 6232422 HAS SOUS 2247967 HAS SOUPS 2154208 WITH SCORE 2161695.303
AT ITER 2293 NEW BEST:: SOT 11986006 SOS 7496351 HAS SOPS 6244502 HAS SOUS 2247358 HAS SOUPS 2153604 WITH SCORE 2161100.351
AT ITER 2295 NEW BEST:: SOT 11984920 SOS 7493520 HAS SOPS 6242403 HAS SOUS 2244045 HAS SOUPS 2150291 WITH SCORE 2157784.52
AT ITER 2299 NEW BEST:: SOT 11988197 SOS 7497941 HAS SOPS 6246779 HAS SOUS 2244035 HAS SOUPS 2150281 WITH SCORE 2157778.941
AT ITER 2306 NEW BEST:: SOT 11987048 SOS 7496873 HAS SOPS 6245711 HAS SOUS 2242987 HAS SOUPS 2149233 WITH SCORE 2156729.873
AT ITER 2310 NEW BEST:: SOT 11986913 SOS 7496738 HAS SOPS 6245528 HAS SOUS 2242720 HAS SOUPS 2148966 WITH SCORE 2156462.738
AT ITER 2340 NEW BEST:: SOT 11985223 SOS 7495273 HAS SOPS 6243614 HAS SOUS 2239924 HAS SOUPS 2146156 WITH SCORE 2153651.273
AT ITER 2353 NEW BEST:: SOT 11981832 SOS 7491978 HAS SOPS 6239311 HAS SOUS 2234517 HAS SOUPS 2140749 WITH SCORE 2148240.978
AT ITER 2355 NEW BEST:: SOT 11976906 SOS 7486853 HAS SOPS 6235232 HAS SOUS 2226204 HAS SOUPS 2132254 WITH SCORE 2139740.853
AT ITER 2372 NEW BEST:: SOT 11975060 SOS 7483370 HAS SOPS 6231433 HAS SOUS 2222136 HAS SOUPS 2128237 WITH SCORE 2135720.37
AT ITER 2374 NEW BEST:: SOT 11974950 SOS 7483260 HAS SOPS 6231259 HAS SOUS 2221826 HAS SOUPS 2127927 WITH SCORE 2135410.26
AT ITER 2380 NEW BEST:: SOT 11972950 SOS 7481066 HAS SOPS 6229259 HAS SOUS 2219734 HAS SOUPS 2125861 WITH SCORE 2133342.066
AT ITER 2381 NEW BEST:: SOT 11972592 SOS 7478912 HAS SOPS 6226610 HAS SOUS 2217937 HAS SOUPS 2124064 WITH SCORE 2131542.912
AT ITER 2382 NEW BEST:: SOT 11973019 SOS 7481547 HAS SOPS 6228580 HAS SOUS 2216336 HAS SOUPS 2122463 WITH SCORE 2129944.547
AT ITER 2386 NEW BEST:: SOT 11971868 SOS 7480323 HAS SOPS 6226992 HAS SOUS 2214796 HAS SOUPS 2120936 WITH SCORE 2128416.323
AT ITER 2393 NEW BEST:: SOT 11971686 SOS 7482284 HAS SOPS 6234884 HAS SOUS 2212636 HAS SOUPS 2118907 WITH SCORE 2126389.284
AT ITER 2394 NEW BEST:: SOT 11971792 SOS 7481777 HAS SOPS 6234640 HAS SOUS 2212267 HAS SOUPS 2118538 WITH SCORE 2126019.777
AT ITER 2407 NEW BEST:: SOT 11971165 SOS 7480538 HAS SOPS 6232159 HAS SOUS 2210316 HAS SOUPS 2116539 WITH SCORE 2124019.538
AT ITER 2423 NEW BEST:: SOT 11971165 SOS 7480538 HAS SOPS 6232159 HAS SOUS 2210188 HAS SOUPS 2116411 WITH SCORE 2123891.538
AT ITER 2428 NEW BEST:: SOT 11968834 SOS 7477689 HAS SOPS 6230076 HAS SOUS 2206423 HAS SOUPS 2112646 WITH SCORE 2120123.689
AT ITER 2430 NEW BEST:: SOT 11968832 SOS 7477691 HAS SOPS 6230110 HAS SOUS 2206421 HAS SOUPS 2112644 WITH SCORE 2120121.691
AT ITER 2432 NEW BEST:: SOT 11968832 SOS 7477615 HAS SOPS 6230120 HAS SOUS 2206401 HAS SOUPS 2112624 WITH SCORE 2120101.615
AT ITER 2447 NEW BEST:: SOT 11967505 SOS 7475824 HAS SOPS 6227945 HAS SOUS 2202479 HAS SOUPS 2109542 WITH SCORE 2117017.824
AT ITER 2465 NEW BEST:: SOT 11963034 SOS 7470363 HAS SOPS 6222470 HAS SOUS 2197876 HAS SOUPS 2104925 WITH SCORE 2112395.363
AT ITER 2471 NEW BEST:: SOT 11964515 SOS 7474364 HAS SOPS 6224742 HAS SOUS 2197256 HAS SOUPS 2104305 WITH SCORE 2111779.364
AT ITER 2480 NEW BEST:: SOT 11964483 SOS 7474234 HAS SOPS 6224608 HAS SOUS 2197138 HAS SOUPS 2104187 WITH SCORE 2111661.234
AT ITER 2484 NEW BEST:: SOT 11963376 SOS 7472783 HAS SOPS 6223361 HAS SOUS 2195732 HAS SOUPS 2102802 WITH SCORE 2110274.783
AT ITER 2488 NEW BEST:: SOT 11960170 SOS 7469624 HAS SOPS 6218844 HAS SOUS 2187281 HAS SOUPS 2094351 WITH SCORE 2101820.624
AT ITER 2499 NEW BEST:: SOT 11962189 SOS 7472218 HAS SOPS 6221392 HAS SOUS 2184737 HAS SOUPS 2091807 WITH SCORE 2099279.218
AT ITER 2503 NEW BEST:: SOT 11961416 SOS 7470209 HAS SOPS 6218819 HAS SOUS 2182807 HAS SOUPS 2089877 WITH SCORE 2097347.209
AT ITER 2528 NEW BEST:: SOT 11961288 SOS 7470081 HAS SOPS 6217603 HAS SOUS 2182551 HAS SOUPS 2089621 WITH SCORE 2097091.081
AT ITER 2532 NEW BEST:: SOT 11961220 SOS 7469662 HAS SOPS 6217365 HAS SOUS 2182342 HAS SOUPS 2089412 WITH SCORE 2096881.662
AT ITER 2536 NEW BEST:: SOT 11961390 SOS 7473142 HAS SOPS 6215370 HAS SOUS 2171912 HAS SOUPS 2078982 WITH SCORE 2086455.142
AT ITER 2537 NEW BEST:: SOT 11960197 SOS 7471281 HAS SOPS 6212574 HAS SOUS 2169975 HAS SOUPS 2077045 WITH SCORE 2084516.281
AT ITER 2554 NEW BEST:: SOT 11953192 SOS 7464099 HAS SOPS 6205240 HAS SOUS 2164698 HAS SOUPS 2071476 WITH SCORE 2078940.099
AT ITER 2555 NEW BEST:: SOT 11953108 SOS 7464296 HAS SOPS 6205668 HAS SOUS 2164263 HAS SOUPS 2071041 WITH SCORE 2078505.296
AT ITER 2573 NEW BEST:: SOT 11953047 SOS 7464191 HAS SOPS 6205559 HAS SOUS 2164194 HAS SOUPS 2070976 WITH SCORE 2078440.191
AT ITER 2580 NEW BEST:: SOT 11953094 SOS 7465122 HAS SOPS 6207897 HAS SOUS 2163984 HAS SOUPS 2070766 WITH SCORE 2078231.122
AT ITER 2590 NEW BEST:: SOT 11954239 SOS 7465132 HAS SOPS 6206433 HAS SOUS 2159347 HAS SOUPS 2066120 WITH SCORE 2073585.132
AT ITER 2624 NEW BEST:: SOT 11956123 SOS 7468878 HAS SOPS 6209878 HAS SOUS 2159282 HAS SOUPS 2066055 WITH SCORE 2073523.878
AT ITER 2638 NEW BEST:: SOT 11955771 SOS 7471120 HAS SOPS 6213392 HAS SOUS 2149564 HAS SOUPS 2056470 WITH SCORE 2063941.12
AT ITER 2668 NEW BEST:: SOT 11954916 SOS 7469909 HAS SOPS 6212980 HAS SOUS 2148140 HAS SOUPS 2055046 WITH SCORE 2062515.909
AT ITER 2692 NEW BEST:: SOT 11951623 SOS 7466118 HAS SOPS 6209066 HAS SOUS 2140891 HAS SOUPS 2047837 WITH SCORE 2055303.118
AT ITER 2697 NEW BEST:: SOT 11939662 SOS 7447417 HAS SOPS 6190652 HAS SOUS 2123616 HAS SOUPS 2030604 WITH SCORE 2038051.417
AT ITER 2702 NEW BEST:: SOT 11939663 SOS 7446379 HAS SOPS 6190499 HAS SOUS 2123531 HAS SOUPS 2030519 WITH SCORE 2037965.379
AT ITER 2703 NEW BEST:: SOT 11934474 SOS 7442005 HAS SOPS 6184007 HAS SOUS 2116772 HAS SOUPS 2023724 WITH SCORE 2031166.005
AT ITER 2714 NEW BEST:: SOT 11934281 SOS 7443518 HAS SOPS 6185278 HAS SOUS 2115080 HAS SOUPS 2022032 WITH SCORE 2029475.518
AT ITER 2719 NEW BEST:: SOT 11936098 SOS 7445375 HAS SOPS 6188197 HAS SOUS 2114861 HAS SOUPS 2022005 WITH SCORE 2029450.375
AT ITER 2723 NEW BEST:: SOT 11936040 SOS 7445281 HAS SOPS 6188133 HAS SOUS 2114839 HAS SOUPS 2021983 WITH SCORE 2029428.281
AT ITER 2747 NEW BEST:: SOT 11936061 SOS 7445302 HAS SOPS 6188154 HAS SOUS 2114784 HAS SOUPS 2021928 WITH SCORE 2029373.302
AT ITER 2753 NEW BEST:: SOT 11936124 SOS 7445385 HAS SOPS 6188740 HAS SOUS 2114599 HAS SOUPS 2021743 WITH SCORE 2029188.385
AT ITER 2769 NEW BEST:: SOT 11932450 SOS 7432858 HAS SOPS 6178353 HAS SOUS 2111335 HAS SOUPS 2018614 WITH SCORE 2026046.858
AT ITER 2777 NEW BEST:: SOT 11926235 SOS 7418165 HAS SOPS 6166193 HAS SOUS 2106819 HAS SOUPS 2015250 WITH SCORE 2022668.165
AT ITER 2786 NEW BEST:: SOT 11926196 SOS 7418126 HAS SOPS 6166154 HAS SOUS 2106728 HAS SOUPS 2015159 WITH SCORE 2022577.126
AT ITER 2818 NEW BEST:: SOT 11933970 SOS 7423493 HAS SOPS 6169958 HAS SOUS 2097206 HAS SOUPS 2005637 WITH SCORE 2013060.493
AT ITER 2830 NEW BEST:: SOT 11932794 SOS 7422702 HAS SOPS 6168526 HAS SOUS 2094855 HAS SOUPS 2003266 WITH SCORE 2010688.702
AT ITER 2833 NEW BEST:: SOT 11932848 SOS 7422477 HAS SOPS 6168229 HAS SOUS 2094702 HAS SOUPS 2003113 WITH SCORE 2010535.477
AT ITER 2835 NEW BEST:: SOT 11931724 SOS 7420513 HAS SOPS 6166448 HAS SOUS 2093282 HAS SOUPS 2001723 WITH SCORE 2009143.513
AT ITER 2852 NEW BEST:: SOT 11934291 SOS 7425220 HAS SOPS 6171207 HAS SOUS 2092274 HAS SOUPS 2000764 WITH SCORE 2008189.22
AT ITER 2874 NEW BEST:: SOT 11935195 SOS 7426004 HAS SOPS 6172573 HAS SOUS 2092109 HAS SOUPS 2000533 WITH SCORE 2007959.004
AT ITER 2882 NEW BEST:: SOT 11938284 SOS 7428213 HAS SOPS 6174922 HAS SOUS 2090530 HAS SOUPS 1998986 WITH SCORE 2006414.213
AT ITER 2926 NEW BEST:: SOT 11937774 SOS 7427670 HAS SOPS 6174076 HAS SOUS 2089500 HAS SOUPS 1997949 WITH SCORE 2005376.67
AT ITER 2942 NEW BEST:: SOT 11937710 SOS 7427163 HAS SOPS 6173747 HAS SOUS 2089327 HAS SOUPS 1997776 WITH SCORE 2005203.163
AT ITER 2953 NEW BEST:: SOT 11941430 SOS 7429822 HAS SOPS 6177263 HAS SOUS 2084925 HAS SOUPS 1993605 WITH SCORE 2001034.822
AT ITER 2985 NEW BEST:: SOT 11941460 SOS 7429912 HAS SOPS 6177113 HAS SOUS 2084910 HAS SOUPS 1993590 WITH SCORE 2001019.912
AT ITER 3017 NEW BEST:: SOT 11936703 SOS 7420218 HAS SOPS 6168335 HAS SOUS 2073836 HAS SOUPS 1982720 WITH SCORE 1990140.218
AT ITER 3020 NEW BEST:: SOT 11936332 SOS 7418473 HAS SOPS 6166993 HAS SOUS 2073331 HAS SOUPS 1982215 WITH SCORE 1989633.473
AT ITER 3027 NEW BEST:: SOT 11935947 SOS 7417781 HAS SOPS 6166285 HAS SOUS 2072800 HAS SOUPS 1981684 WITH SCORE 1989101.781
AT ITER 3029 NEW BEST:: SOT 11935731 SOS 7421378 HAS SOPS 6169623 HAS SOUS 2071246 HAS SOUPS 1980130 WITH SCORE 1987551.378
AT ITER 3030 NEW BEST:: SOT 11935215 SOS 7420160 HAS SOPS 6168447 HAS SOUS 2070560 HAS SOUPS 1979462 WITH SCORE 1986882.16
AT ITER 3031 NEW BEST:: SOT 11937310 SOS 7423918 HAS SOPS 6171103 HAS SOUS 2070416 HAS SOUPS 1979318 WITH SCORE 1986741.918
AT ITER 3052 NEW BEST:: SOT 11947271 SOS 7433284 HAS SOPS 6177988 HAS SOUS 2065371 HAS SOUPS 1974313 WITH SCORE 1981746.284
AT ITER 3087 NEW BEST:: SOT 11946939 SOS 7431964 HAS SOPS 6176155 HAS SOUS 2064050 HAS SOUPS 1972992 WITH SCORE 1980423.964
AT ITER 3095 NEW BEST:: SOT 11945853 SOS 7431149 HAS SOPS 6175836 HAS SOUS 2059688 HAS SOUPS 1968940 WITH SCORE 1976371.149
AT ITER 3106 NEW BEST:: SOT 11945461 SOS 7433668 HAS SOPS 6176482 HAS SOUS 2057843 HAS SOUPS 1967095 WITH SCORE 1974528.668
AT ITER 3107 NEW BEST:: SOT 11944839 SOS 7430691 HAS SOPS 6172141 HAS SOUS 2052287 HAS SOUPS 1961487 WITH SCORE 1968917.691
AT ITER 3154 NEW BEST:: SOT 11943730 SOS 7421334 HAS SOPS 6167072 HAS SOUS 2051595 HAS SOUPS 1960862 WITH SCORE 1968283.334
AT ITER 3169 NEW BEST:: SOT 11943666 SOS 7421236 HAS SOPS 6166966 HAS SOUS 2051447 HAS SOUPS 1960716 WITH SCORE 1968137.236
AT ITER 3170 NEW BEST:: SOT 11944944 SOS 7427361 HAS SOPS 6173049 HAS SOUS 2050256 HAS SOUPS 1959525 WITH SCORE 1966952.361
AT ITER 3180 NEW BEST:: SOT 11937680 SOS 7420097 HAS SOPS 6165497 HAS SOUS 2042992 HAS SOUPS 1951973 WITH SCORE 1959393.097
AT ITER 3187 NEW BEST:: SOT 11940126 SOS 7424495 HAS SOPS 6173848 HAS SOUS 2042573 HAS SOUPS 1951617 WITH SCORE 1959041.495
AT ITER 3206 NEW BEST:: SOT 11939339 SOS 7424213 HAS SOPS 6173507 HAS SOUS 2038419 HAS SOUPS 1947450 WITH SCORE 1954874.213
AT ITER 3216 NEW BEST:: SOT 11942145 SOS 7428822 HAS SOPS 6177178 HAS SOUS 2035790 HAS SOUPS 1944807 WITH SCORE 1952235.822
AT ITER 3230 NEW BEST:: SOT 11941637 SOS 7429287 HAS SOPS 6177746 HAS SOUS 2033710 HAS SOUPS 1942727 WITH SCORE 1950156.287
AT ITER 3254 NEW BEST:: SOT 11940201 SOS 7425644 HAS SOPS 6174995 HAS SOUS 2032523 HAS SOUPS 1941805 WITH SCORE 1949230.644
AT ITER 3258 NEW BEST:: SOT 11940778 SOS 7426436 HAS SOPS 6175437 HAS SOUS 2032419 HAS SOUPS 1941701 WITH SCORE 1949127.436
AT ITER 3266 NEW BEST:: SOT 11939819 SOS 7427464 HAS SOPS 6176099 HAS SOUS 2029760 HAS SOUPS 1939042 WITH SCORE 1946469.464
AT ITER 3279 NEW BEST:: SOT 11938948 SOS 7425809 HAS SOPS 6173507 HAS SOUS 2026968 HAS SOUPS 1936250 WITH SCORE 1943675.809
AT ITER 3297 NEW BEST:: SOT 11937616 SOS 7426533 HAS SOPS 6176530 HAS SOUS 2026907 HAS SOUPS 1936189 WITH SCORE 1943615.533
AT ITER 3305 NEW BEST:: SOT 11938186 SOS 7427103 HAS SOPS 6177084 HAS SOUS 2026765 HAS SOUPS 1936047 WITH SCORE 1943474.103
AT ITER 3307 NEW BEST:: SOT 11938866 SOS 7429504 HAS SOPS 6179151 HAS SOUS 2026621 HAS SOUPS 1935926 WITH SCORE 1943355.504
AT ITER 3314 NEW BEST:: SOT 11941213 SOS 7439710 HAS SOPS 6188830 HAS SOUS 2025331 HAS SOUPS 1934636 WITH SCORE 1942075.71
AT ITER 3317 NEW BEST:: SOT 11940993 SOS 7442701 HAS SOPS 6190520 HAS SOUS 2024266 HAS SOUPS 1933571 WITH SCORE 1941013.701
AT ITER 3326 NEW BEST:: SOT 11942272 SOS 7447178 HAS SOPS 6192856 HAS SOUS 2018456 HAS SOUPS 1927831 WITH SCORE 1935278.178
AT ITER 3345 NEW BEST:: SOT 11942249 SOS 7447315 HAS SOPS 6192857 HAS SOUS 2018483 HAS SOUPS 1927752 WITH SCORE 1935199.315
AT ITER 3358 NEW BEST:: SOT 11942056 SOS 7447789 HAS SOPS 6192999 HAS SOUS 2018054 HAS SOUPS 1927312 WITH SCORE 1934759.789
AT ITER 3370 NEW BEST:: SOT 11941693 SOS 7446899 HAS SOPS 6191998 HAS SOUS 2017494 HAS SOUPS 1926752 WITH SCORE 1934198.899
AT ITER 3374 NEW BEST:: SOT 11939595 SOS 7444731 HAS SOPS 6189830 HAS SOUS 2014046 HAS SOUPS 1923304 WITH SCORE 1930748.731
AT ITER 3376 NEW BEST:: SOT 11939418 SOS 7447748 HAS SOPS 6188753 HAS SOUS 2008837 HAS SOUPS 1918047 WITH SCORE 1925494.748
AT ITER 3400 NEW BEST:: SOT 11936984 SOS 7446008 HAS SOPS 6184109 HAS SOUS 2008752 HAS SOUPS 1917962 WITH SCORE 1925408.008
AT ITER 3411 NEW BEST:: SOT 11936953 SOS 7445095 HAS SOPS 6183117 HAS SOUS 2008019 HAS SOUPS 1917229 WITH SCORE 1924674.095
AT ITER 3412 NEW BEST:: SOT 11936230 SOS 7442475 HAS SOPS 6180268 HAS SOUS 2003483 HAS SOUPS 1912745 WITH SCORE 1920187.475
AT ITER 3416 NEW BEST:: SOT 11935371 SOS 7441616 HAS SOPS 6179089 HAS SOUS 2002916 HAS SOUPS 1912178 WITH SCORE 1919619.616
AT ITER 3441 NEW BEST:: SOT 11934685 SOS 7440366 HAS SOPS 6177784 HAS SOUS 2000825 HAS SOUPS 1910121 WITH SCORE 1917561.366
AT ITER 3460 NEW BEST:: SOT 11935352 SOS 7445659 HAS SOPS 6178515 HAS SOUS 2000553 HAS SOUPS 1909849 WITH SCORE 1917294.659
AT ITER 3462 NEW BEST:: SOT 11934880 SOS 7445167 HAS SOPS 6177883 HAS SOUS 2000046 HAS SOUPS 1909187 WITH SCORE 1916632.167
AT ITER 3465 NEW BEST:: SOT 11932338 SOS 7441569 HAS SOPS 6173494 HAS SOUS 1993551 HAS SOUPS 1902753 WITH SCORE 1910194.569
AT ITER 3479 NEW BEST:: SOT 11931249 SOS 7439753 HAS SOPS 6171678 HAS SOUS 1992014 HAS SOUPS 1901216 WITH SCORE 1908655.753
AT ITER 3483 NEW BEST:: SOT 11930493 SOS 7438781 HAS SOPS 6170539 HAS SOUS 1990704 HAS SOUPS 1899906 WITH SCORE 1907344.781
AT ITER 3485 NEW BEST:: SOT 11931121 SOS 7435540 HAS SOPS 6168486 HAS SOUS 1986592 HAS SOUPS 1895879 WITH SCORE 1903314.54
AT ITER 3523 NEW BEST:: SOT 11930778 SOS 7435084 HAS SOPS 6168017 HAS SOUS 1985733 HAS SOUPS 1895056 WITH SCORE 1902491.084
AT ITER 3548 NEW BEST:: SOT 11930767 SOS 7435050 HAS SOPS 6169763 HAS SOUS 1985515 HAS SOUPS 1894838 WITH SCORE 1902273.05
AT ITER 3551 NEW BEST:: SOT 11929747 SOS 7434028 HAS SOPS 6167420 HAS SOUS 1983585 HAS SOUPS 1892908 WITH SCORE 1900342.028
AT ITER 3571 NEW BEST:: SOT 11926295 SOS 7424649 HAS SOPS 6160344 HAS SOUS 1979036 HAS SOUPS 1888359 WITH SCORE 1895783.649
AT ITER 3593 NEW BEST:: SOT 11926635 SOS 7425538 HAS SOPS 6159822 HAS SOUS 1979073 HAS SOUPS 1888354 WITH SCORE 1895779.538
AT ITER 3602 NEW BEST:: SOT 11928411 SOS 7426450 HAS SOPS 6163167 HAS SOUS 1978484 HAS SOUPS 1887881 WITH SCORE 1895307.45
AT ITER 3608 NEW BEST:: SOT 11918741 SOS 7413653 HAS SOPS 6149259 HAS SOUS 1964191 HAS SOUPS 1873588 WITH SCORE 1881001.653
AT ITER 3638 NEW BEST:: SOT 11918593 SOS 7410074 HAS SOPS 6145891 HAS SOUS 1961625 HAS SOUPS 1871117 WITH SCORE 1878527.074
AT ITER 3654 NEW BEST:: SOT 11913542 SOS 7404046 HAS SOPS 6141088 HAS SOUS 1955331 HAS SOUPS 1864882 WITH SCORE 1872286.046
AT ITER 3670 NEW BEST:: SOT 11913487 SOS 7404381 HAS SOPS 6141076 HAS SOUS 1954883 HAS SOUPS 1864434 WITH SCORE 1871838.381
AT ITER 3694 NEW BEST:: SOT 11913396 SOS 7404040 HAS SOPS 6140627 HAS SOUS 1954802 HAS SOUPS 1864353 WITH SCORE 1871757.04
AT ITER 3706 NEW BEST:: SOT 11908243 SOS 7395114 HAS SOPS 6131232 HAS SOUS 1953144 HAS SOUPS 1862695 WITH SCORE 1870090.114
AT ITER 3719 NEW BEST:: SOT 11908139 SOS 7395010 HAS SOPS 6131096 HAS SOUS 1952928 HAS SOUPS 1862479 WITH SCORE 1869874.01
AT ITER 3721 NEW BEST:: SOT 11908220 SOS 7395403 HAS SOPS 6131309 HAS SOUS 1952698 HAS SOUPS 1862249 WITH SCORE 1869644.403
AT ITER 3724 NEW BEST:: SOT 11907288 SOS 7394222 HAS SOPS 6130259 HAS SOUS 1952439 HAS SOUPS 1861912 WITH SCORE 1869306.222
AT ITER 3732 NEW BEST:: SOT 11907321 SOS 7394242 HAS SOPS 6130339 HAS SOUS 1952398 HAS SOUPS 1861874 WITH SCORE 1869268.242
AT ITER 3737 NEW BEST:: SOT 11905064 SOS 7389505 HAS SOPS 6129728 HAS SOUS 1951123 HAS SOUPS 1860821 WITH SCORE 1868210.505
AT ITER 3738 NEW BEST:: SOT 11903039 SOS 7385707 HAS SOPS 6125717 HAS SOUS 1944284 HAS SOUPS 1854051 WITH SCORE 1861436.707
AT ITER 3739 NEW BEST:: SOT 11902756 SOS 7385126 HAS SOPS 6125272 HAS SOUS 1940991 HAS SOUPS 1850792 WITH SCORE 1858177.126
AT ITER 3766 NEW BEST:: SOT 11904164 SOS 7393239 HAS SOPS 6132169 HAS SOUS 1940876 HAS SOUPS 1850594 WITH SCORE 1857987.239
AT ITER 3771 NEW BEST:: SOT 11904199 SOS 7393274 HAS SOPS 6132188 HAS SOUS 1940859 HAS SOUPS 1850561 WITH SCORE 1857954.274
AT ITER 3775 NEW BEST:: SOT 11904357 SOS 7393413 HAS SOPS 6132138 HAS SOUS 1940360 HAS SOUPS 1850062 WITH SCORE 1857455.413
AT ITER 3799 NEW BEST:: SOT 11903825 SOS 7392877 HAS SOPS 6131530 HAS SOUS 1940157 HAS SOUPS 1849834 WITH SCORE 1857226.877
AT ITER 3803 NEW BEST:: SOT 11903248 SOS 7392229 HAS SOPS 6130323 HAS SOUS 1938417 HAS SOUPS 1848094 WITH SCORE 1855486.229
AT ITER 3804 NEW BEST:: SOT 11903058 SOS 7392339 HAS SOPS 6130218 HAS SOUS 1938002 HAS SOUPS 1847679 WITH SCORE 1855071.339
AT ITER 3812 NEW BEST:: SOT 11901726 SOS 7392833 HAS SOPS 6131458 HAS SOUS 1926961 HAS SOUPS 1836638 WITH SCORE 1844030.833
AT ITER 3837 NEW BEST:: SOT 11901670 SOS 7392809 HAS SOPS 6131290 HAS SOUS 1926408 HAS SOUPS 1836080 WITH SCORE 1843472.809
AT ITER 3838 NEW BEST:: SOT 11898300 SOS 7389511 HAS SOPS 6127888 HAS SOUS 1924710 HAS SOUPS 1834310 WITH SCORE 1841699.511
AT ITER 3852 NEW BEST:: SOT 11896986 SOS 7387197 HAS SOPS 6125709 HAS SOUS 1922567 HAS SOUPS 1832313 WITH SCORE 1839700.197
AT ITER 3859 NEW BEST:: SOT 11893497 SOS 7380023 HAS SOPS 6115797 HAS SOUS 1921783 HAS SOUPS 1831529 WITH SCORE 1838909.023
AT ITER 3867 NEW BEST:: SOT 11893574 SOS 7379941 HAS SOPS 6115838 HAS SOUS 1921560 HAS SOUPS 1831306 WITH SCORE 1838685.941
AT ITER 3900 NEW BEST:: SOT 11893380 SOS 7379902 HAS SOPS 6118357 HAS SOUS 1919929 HAS SOUPS 1829675 WITH SCORE 1837054.902
AT ITER 3901 NEW BEST:: SOT 11893207 SOS 7379741 HAS SOPS 6118452 HAS SOUS 1919813 HAS SOUPS 1829559 WITH SCORE 1836938.741
AT ITER 3945 NEW BEST:: SOT 11890785 SOS 7373143 HAS SOPS 6113781 HAS SOUS 1918971 HAS SOUPS 1828717 WITH SCORE 1836090.143
AT ITER 3960 NEW BEST:: SOT 11890058 SOS 7370415 HAS SOPS 6110593 HAS SOUS 1916331 HAS SOUPS 1826077 WITH SCORE 1833447.415
AT ITER 3974 NEW BEST:: SOT 11885834 SOS 7367029 HAS SOPS 6106482 HAS SOUS 1912318 HAS SOUPS 1822064 WITH SCORE 1829431.029
AT ITER 3978 NEW BEST:: SOT 11885952 SOS 7367153 HAS SOPS 6106925 HAS SOUS 1912280 HAS SOUPS 1822051 WITH SCORE 1829418.153
AT ITER 4005 NEW BEST:: SOT 11886097 SOS 7368425 HAS SOPS 6104699 HAS SOUS 1906000 HAS SOUPS 1815771 WITH SCORE 1823139.425
AT ITER 4031 NEW BEST:: SOT 11886057 SOS 7370779 HAS SOPS 6114158 HAS SOUS 1903970 HAS SOUPS 1813916 WITH SCORE 1821286.779
AT ITER 4063 NEW BEST:: SOT 11883087 SOS 7362922 HAS SOPS 6107918 HAS SOUS 1903675 HAS SOUPS 1813678 WITH SCORE 1821040.922
AT ITER 4100 NEW BEST:: SOT 11883849 SOS 7357284 HAS SOPS 6116524 HAS SOUS 1901858 HAS SOUPS 1811861 WITH SCORE 1819218.284
AT ITER 4119 NEW BEST:: SOT 11883841 SOS 7356951 HAS SOPS 6116145 HAS SOUS 1901823 HAS SOUPS 1811826 WITH SCORE 1819182.951
AT ITER 4120 NEW BEST:: SOT 11882763 SOS 7355939 HAS SOPS 6114418 HAS SOUS 1900113 HAS SOUPS 1810094 WITH SCORE 1817449.939
AT ITER 4129 NEW BEST:: SOT 11882785 SOS 7355959 HAS SOPS 6114438 HAS SOUS 1900105 HAS SOUPS 1810086 WITH SCORE 1817441.959
AT ITER 4134 NEW BEST:: SOT 11882785 SOS 7357234 HAS SOPS 6115969 HAS SOUS 1899918 HAS SOUPS 1809963 WITH SCORE 1817320.234
AT ITER 4169 NEW BEST:: SOT 11882905 SOS 7356838 HAS SOPS 6115619 HAS SOUS 1899575 HAS SOUPS 1809620 WITH SCORE 1816976.838
AT ITER 4189 NEW BEST:: SOT 11885970 SOS 7357230 HAS SOPS 6110690 HAS SOUS 1890462 HAS SOUPS 1800507 WITH SCORE 1807864.23
AT ITER 4198 NEW BEST:: SOT 11887328 SOS 7362773 HAS SOPS 6112285 HAS SOUS 1879908 HAS SOUPS 1789953 WITH SCORE 1797315.773
AT ITER 4207 NEW BEST:: SOT 11886410 SOS 7361710 HAS SOPS 6111012 HAS SOUS 1879063 HAS SOUPS 1788866 WITH SCORE 1796227.71
AT ITER 4222 NEW BEST:: SOT 11886218 SOS 7362646 HAS SOPS 6111852 HAS SOUS 1878595 HAS SOUPS 1788410 WITH SCORE 1795772.646
AT ITER 4263 NEW BEST:: SOT 11885920 SOS 7360359 HAS SOPS 6110030 HAS SOUS 1878589 HAS SOUPS 1788404 WITH SCORE 1795764.359
AT ITER 4267 NEW BEST:: SOT 11881953 SOS 7356258 HAS SOPS 6104766 HAS SOUS 1872618 HAS SOUPS 1781532 WITH SCORE 1788888.258
AT ITER 4273 NEW BEST:: SOT 11888112 SOS 7365854 HAS SOPS 6117641 HAS SOUS 1867559 HAS SOUPS 1776856 WITH SCORE 1784221.854
AT ITER 4292 NEW BEST:: SOT 11888314 SOS 7366820 HAS SOPS 6117851 HAS SOUS 1866979 HAS SOUPS 1776276 WITH SCORE 1783642.82
AT ITER 4294 NEW BEST:: SOT 11888532 SOS 7368207 HAS SOPS 6118027 HAS SOUS 1864513 HAS SOUPS 1773810 WITH SCORE 1781178.207
AT ITER 4317 NEW BEST:: SOT 11886337 SOS 7361719 HAS SOPS 6112569 HAS SOUS 1862226 HAS SOUPS 1771523 WITH SCORE 1778884.719
AT ITER 4341 NEW BEST:: SOT 11884128 SOS 7356505 HAS SOPS 6107889 HAS SOUS 1860223 HAS SOUPS 1769520 WITH SCORE 1776876.505
AT ITER 4347 NEW BEST:: SOT 11885937 SOS 7361998 HAS SOPS 6111162 HAS SOUS 1860094 HAS SOUPS 1769391 WITH SCORE 1776752.998
AT ITER 4362 NEW BEST:: SOT 11885918 SOS 7361979 HAS SOPS 6111143 HAS SOUS 1860087 HAS SOUPS 1769384 WITH SCORE 1776745.979
AT ITER 4410 NEW BEST:: SOT 11885577 SOS 7361414 HAS SOPS 6110602 HAS SOUS 1859170 HAS SOUPS 1768467 WITH SCORE 1775828.414
AT ITER 4413 NEW BEST:: SOT 11886331 SOS 7362954 HAS SOPS 6111607 HAS SOUS 1858050 HAS SOUPS 1767347 WITH SCORE 1774709.954
AT ITER 4414 NEW BEST:: SOT 11886480 SOS 7362171 HAS SOPS 6112852 HAS SOUS 1857809 HAS SOUPS 1767106 WITH SCORE 1774468.171
AT ITER 4447 NEW BEST:: SOT 11885749 SOS 7361335 HAS SOPS 6112023 HAS SOUS 1856763 HAS SOUPS 1766067 WITH SCORE 1773428.335
AT ITER 4458 NEW BEST:: SOT 11885510 SOS 7360954 HAS SOPS 6111732 HAS SOUS 1856550 HAS SOUPS 1765854 WITH SCORE 1773214.954
AT ITER 4465 NEW BEST:: SOT 11885370 SOS 7360828 HAS SOPS 6111504 HAS SOUS 1856242 HAS SOUPS 1765546 WITH SCORE 1772906.828
AT ITER 4491 NEW BEST:: SOT 11885305 SOS 7358463 HAS SOPS 6109754 HAS SOUS 1855638 HAS SOUPS 1764942 WITH SCORE 1772300.463
AT ITER 4501 NEW BEST:: SOT 11897872 SOS 7389458 HAS SOPS 6137971 HAS SOUS 1849918 HAS SOUPS 1759222 WITH SCORE 1766611.458
AT ITER 4521 NEW BEST:: SOT 11897109 SOS 7388603 HAS SOPS 6136387 HAS SOUS 1848024 HAS SOUPS 1757328 WITH SCORE 1764716.603
AT ITER 4530 NEW BEST:: SOT 11890791 SOS 7379679 HAS SOPS 6127829 HAS SOUS 1840785 HAS SOUPS 1750191 WITH SCORE 1757570.679
AT ITER 4557 NEW BEST:: SOT 11890751 SOS 7379547 HAS SOPS 6127588 HAS SOUS 1840517 HAS SOUPS 1749923 WITH SCORE 1757302.547
AT ITER 4559 NEW BEST:: SOT 11890746 SOS 7379669 HAS SOPS 6127919 HAS SOUS 1840295 HAS SOUPS 1749711 WITH SCORE 1757090.669
AT ITER 4567 NEW BEST:: SOT 11891152 SOS 7385266 HAS SOPS 6134491 HAS SOUS 1840174 HAS SOUPS 1749590 WITH SCORE 1756975.266
AT ITER 4588 NEW BEST:: SOT 11893322 SOS 7387436 HAS SOPS 6136149 HAS SOUS 1839888 HAS SOUPS 1749272 WITH SCORE 1756659.436
AT ITER 4591 NEW BEST:: SOT 11893307 SOS 7387116 HAS SOPS 6135887 HAS SOUS 1839776 HAS SOUPS 1749160 WITH SCORE 1756547.116
AT ITER 4593 NEW BEST:: SOT 11892492 SOS 7385801 HAS SOPS 6134560 HAS SOUS 1838755 HAS SOUPS 1748139 WITH SCORE 1755524.801
AT ITER 4595 NEW BEST:: SOT 11894995 SOS 7393656 HAS SOPS 6139371 HAS SOUS 1837157 HAS SOUPS 1746541 WITH SCORE 1753934.656
AT ITER 4622 NEW BEST:: SOT 11896188 SOS 7396281 HAS SOPS 6138502 HAS SOUS 1833954 HAS SOUPS 1743338 WITH SCORE 1750734.281
AT ITER 4643 NEW BEST:: SOT 11895757 SOS 7395520 HAS SOPS 6137861 HAS SOUS 1833417 HAS SOUPS 1742801 WITH SCORE 1750196.52
AT ITER 4656 NEW BEST:: SOT 11895317 SOS 7394505 HAS SOPS 6137476 HAS SOUS 1832966 HAS SOUPS 1742438 WITH SCORE 1749832.505
AT ITER 4661 NEW BEST:: SOT 11893343 SOS 7392683 HAS SOPS 6135502 HAS SOUS 1832827 HAS SOUPS 1742226 WITH SCORE 1749618.683
AT ITER 4703 NEW BEST:: SOT 11891386 SOS 7390571 HAS SOPS 6132996 HAS SOUS 1831621 HAS SOUPS 1740863 WITH SCORE 1748253.571
AT ITER 4717 NEW BEST:: SOT 11891033 SOS 7388027 HAS SOPS 6130859 HAS SOUS 1831219 HAS SOUPS 1740461 WITH SCORE 1747849.027
AT ITER 4738 NEW BEST:: SOT 11891006 SOS 7387325 HAS SOPS 6129736 HAS SOUS 1831193 HAS SOUPS 1740435 WITH SCORE 1747822.325
AT ITER 4768 NEW BEST:: SOT 11890717 SOS 7387288 HAS SOPS 6128726 HAS SOUS 1829791 HAS SOUPS 1739033 WITH SCORE 1746420.288
AT ITER 4772 NEW BEST:: SOT 11890821 SOS 7387934 HAS SOPS 6129225 HAS SOUS 1828806 HAS SOUPS 1738018 WITH SCORE 1745405.934
AT ITER 4775 NEW BEST:: SOT 11889084 SOS 7386889 HAS SOPS 6127389 HAS SOUS 1823803 HAS SOUPS 1732982 WITH SCORE 1740368.889
AT ITER 4783 NEW BEST:: SOT 11889277 SOS 7386236 HAS SOPS 6127112 HAS SOUS 1823785 HAS SOUPS 1732964 WITH SCORE 1740350.236
AT ITER 4832 NEW BEST:: SOT 11889244 SOS 7386003 HAS SOPS 6126832 HAS SOUS 1823745 HAS SOUPS 1732924 WITH SCORE 1740310.003
AT ITER 4849 NEW BEST:: SOT 11888971 SOS 7386264 HAS SOPS 6126193 HAS SOUS 1823280 HAS SOUPS 1732459 WITH SCORE 1739845.264
AT ITER 4852 NEW BEST:: SOT 11888917 SOS 7386135 HAS SOPS 6126089 HAS SOUS 1823220 HAS SOUPS 1732402 WITH SCORE 1739788.135
AT ITER 4868 NEW BEST:: SOT 11887311 SOS 7384891 HAS SOPS 6123779 HAS SOUS 1816080 HAS SOUPS 1725351 WITH SCORE 1732735.891
AT ITER 4893 NEW BEST:: SOT 11886877 SOS 7385784 HAS SOPS 6124753 HAS SOUS 1814317 HAS SOUPS 1723588 WITH SCORE 1730973.784
AT ITER 4912 NEW BEST:: SOT 11886333 SOS 7385268 HAS SOPS 6124175 HAS SOUS 1813809 HAS SOUPS 1723080 WITH SCORE 1730465.268
AT ITER 4918 NEW BEST:: SOT 11885683 SOS 7385218 HAS SOPS 6123993 HAS SOUS 1813439 HAS SOUPS 1722710 WITH SCORE 1730095.218
AT ITER 4936 NEW BEST:: SOT 11885683 SOS 7385218 HAS SOPS 6123993 HAS SOUS 1813295 HAS SOUPS 1722566 WITH SCORE 1729951.218
AT ITER 4947 NEW BEST:: SOT 11884119 SOS 7385406 HAS SOPS 6120255 HAS SOUS 1808629 HAS SOUPS 1717779 WITH SCORE 1725164.406
AT ITER 4957 NEW BEST:: SOT 11883535 SOS 7384690 HAS SOPS 6119539 HAS SOUS 1807599 HAS SOUPS 1716749 WITH SCORE 1724133.69
AT ITER 4965 NEW BEST:: SOT 11883199 SOS 7384354 HAS SOPS 6119011 HAS SOUS 1807455 HAS SOUPS 1716605 WITH SCORE 1723989.354
AT ITER 4966 NEW BEST:: SOT 11883054 SOS 7383727 HAS SOPS 6118300 HAS SOUS 1807232 HAS SOUPS 1716382 WITH SCORE 1723765.727
AT ITER 4973 NEW BEST:: SOT 11882676 SOS 7384776 HAS SOPS 6120117 HAS SOUS 1806426 HAS SOUPS 1715576 WITH SCORE 1722960.776
AT ITER 4980 NEW BEST:: SOT 11882520 SOS 7384620 HAS SOPS 6119961 HAS SOUS 1806286 HAS SOUPS 1715436 WITH SCORE 1722820.62
AT ITER 5007 NEW BEST:: SOT 11881981 SOS 7384098 HAS SOPS 6119439 HAS SOUS 1805308 HAS SOUPS 1714458 WITH SCORE 1721842.098
AT ITER 5009 NEW BEST:: SOT 11881430 SOS 7383550 HAS SOPS 6118947 HAS SOUS 1804650 HAS SOUPS 1713800 WITH SCORE 1721183.55
AT ITER 5012 NEW BEST:: SOT 11878722 SOS 7377789 HAS SOPS 6113899 HAS SOUS 1802741 HAS SOUPS 1711891 WITH SCORE 1719268.789
AT ITER 5019 NEW BEST:: SOT 11874278 SOS 7373351 HAS SOPS 6108869 HAS SOUS 1798675 HAS SOUPS 1707777 WITH SCORE 1715150.351
AT ITER 5035 NEW BEST:: SOT 11875610 SOS 7376546 HAS SOPS 6109026 HAS SOUS 1798687 HAS SOUPS 1707725 WITH SCORE 1715101.546
AT ITER 5046 NEW BEST:: SOT 11875301 SOS 7377476 HAS SOPS 6109606 HAS SOUS 1797914 HAS SOUPS 1706952 WITH SCORE 1714329.476
AT ITER 5062 NEW BEST:: SOT 11876081 SOS 7379913 HAS SOPS 6111952 HAS SOUS 1797308 HAS SOUPS 1706346 WITH SCORE 1713725.913
AT ITER 5078 NEW BEST:: SOT 11876165 SOS 7380725 HAS SOPS 6112743 HAS SOUS 1797301 HAS SOUPS 1706332 WITH SCORE 1713712.725
AT ITER 5099 NEW BEST:: SOT 11875450 SOS 7380010 HAS SOPS 6111532 HAS SOUS 1795518 HAS SOUPS 1704549 WITH SCORE 1711929.01
AT ITER 5102 NEW BEST:: SOT 11877018 SOS 7380712 HAS SOPS 6111617 HAS SOUS 1795397 HAS SOUPS 1704428 WITH SCORE 1711808.712
AT ITER 5127 NEW BEST:: SOT 11874806 SOS 7377207 HAS SOPS 6108633 HAS SOUS 1791913 HAS SOUPS 1700966 WITH SCORE 1708343.207
AT ITER 5143 NEW BEST:: SOT 11874307 SOS 7375384 HAS SOPS 6107500 HAS SOUS 1789418 HAS SOUPS 1698471 WITH SCORE 1705846.384
AT ITER 5157 NEW BEST:: SOT 11874004 SOS 7374485 HAS SOPS 6106491 HAS SOUS 1789147 HAS SOUPS 1698200 WITH SCORE 1705574.485
AT ITER 5165 NEW BEST:: SOT 11871757 SOS 7370837 HAS SOPS 6102305 HAS SOUS 1784163 HAS SOUPS 1693216 WITH SCORE 1700586.837
AT ITER 5222 NEW BEST:: SOT 11871399 SOS 7370557 HAS SOPS 6101897 HAS SOUS 1783429 HAS SOUPS 1692482 WITH SCORE 1699852.557
AT ITER 5231 NEW BEST:: SOT 11871361 SOS 7369375 HAS SOPS 6100683 HAS SOUS 1783372 HAS SOUPS 1692425 WITH SCORE 1699794.375
AT ITER 5246 NEW BEST:: SOT 11869269 SOS 7365140 HAS SOPS 6095029 HAS SOUS 1783438 HAS SOUPS 1692429 WITH SCORE 1699794.14
AT ITER 5255 NEW BEST:: SOT 11869216 SOS 7364934 HAS SOPS 6094743 HAS SOUS 1783215 HAS SOUPS 1692206 WITH SCORE 1699570.934
AT ITER 5258 NEW BEST:: SOT 11868039 SOS 7363685 HAS SOPS 6093679 HAS SOUS 1781369 HAS SOUPS 1690529 WITH SCORE 1697892.685
AT ITER 5284 NEW BEST:: SOT 11867818 SOS 7362683 HAS SOPS 6092205 HAS SOUS 1781353 HAS SOUPS 1690513 WITH SCORE 1697875.683
AT ITER 5293 NEW BEST:: SOT 11867936 SOS 7362801 HAS SOPS 6092323 HAS SOUS 1781255 HAS SOUPS 1690415 WITH SCORE 1697777.801
AT ITER 5305 NEW BEST:: SOT 11869301 SOS 7367129 HAS SOPS 6103542 HAS SOUS 1775288 HAS SOUPS 1684684 WITH SCORE 1692051.129
AT ITER 5310 NEW BEST:: SOT 11868032 SOS 7363933 HAS SOPS 6099987 HAS SOUS 1774419 HAS SOUPS 1683814 WITH SCORE 1691177.933
AT ITER 5324 NEW BEST:: SOT 11867119 SOS 7361919 HAS SOPS 6096493 HAS SOUS 1773041 HAS SOUPS 1682436 WITH SCORE 1689797.919
AT ITER 5327 NEW BEST:: SOT 11865074 SOS 7358357 HAS SOPS 6093107 HAS SOUS 1770858 HAS SOUPS 1680253 WITH SCORE 1687611.357
AT ITER 5332 NEW BEST:: SOT 11864688 SOS 7355642 HAS SOPS 6092138 HAS SOUS 1769587 HAS SOUPS 1678982 WITH SCORE 1686337.642
AT ITER 5342 NEW BEST:: SOT 11864589 SOS 7354200 HAS SOPS 6091124 HAS SOUS 1769440 HAS SOUPS 1678849 WITH SCORE 1686203.2
AT ITER 5343 NEW BEST:: SOT 11863205 SOS 7352863 HAS SOPS 6089883 HAS SOUS 1764271 HAS SOUPS 1673663 WITH SCORE 1681015.863
AT ITER 5358 NEW BEST:: SOT 11856295 SOS 7343899 HAS SOPS 6077302 HAS SOUS 1756850 HAS SOUPS 1665102 WITH SCORE 1672445.899
AT ITER 5362 NEW BEST:: SOT 11856128 SOS 7343183 HAS SOPS 6076857 HAS SOUS 1756682 HAS SOUPS 1664934 WITH SCORE 1672277.183
AT ITER 5366 NEW BEST:: SOT 11856700 SOS 7344515 HAS SOPS 6077940 HAS SOUS 1756559 HAS SOUPS 1664811 WITH SCORE 1672155.515
AT ITER 5372 NEW BEST:: SOT 11853202 SOS 7340519 HAS SOPS 6073622 HAS SOUS 1754532 HAS SOUPS 1662784 WITH SCORE 1670124.519
AT ITER 5391 NEW BEST:: SOT 11850020 SOS 7336894 HAS SOPS 6068830 HAS SOUS 1749365 HAS SOUPS 1657617 WITH SCORE 1664953.894
AT ITER 5392 NEW BEST:: SOT 11848771 SOS 7333889 HAS SOPS 6066767 HAS SOUS 1748960 HAS SOUPS 1657232 WITH SCORE 1664565.889
AT ITER 5447 NEW BEST:: SOT 11848737 SOS 7333855 HAS SOPS 6066729 HAS SOUS 1748886 HAS SOUPS 1657154 WITH SCORE 1664487.855
AT ITER 5449 NEW BEST:: SOT 11841403 SOS 7318576 HAS SOPS 6053376 HAS SOUS 1747884 HAS SOUPS 1656227 WITH SCORE 1663545.576
AT ITER 5460 NEW BEST:: SOT 11840558 SOS 7315556 HAS SOPS 6050356 HAS SOUS 1746945 HAS SOUPS 1655288 WITH SCORE 1662603.556
AT ITER 5560 NEW BEST:: SOT 11840614 SOS 7315576 HAS SOPS 6050394 HAS SOUS 1746841 HAS SOUPS 1655184 WITH SCORE 1662499.576
AT ITER 5581 NEW BEST:: SOT 11839822 SOS 7314313 HAS SOPS 6048517 HAS SOUS 1745494 HAS SOUPS 1653837 WITH SCORE 1661151.313
AT ITER 5587 NEW BEST:: SOT 11841569 SOS 7322343 HAS SOPS 6055378 HAS SOUS 1744878 HAS SOUPS 1653221 WITH SCORE 1660543.343
AT ITER 5589 NEW BEST:: SOT 11841053 SOS 7321579 HAS SOPS 6054761 HAS SOUS 1744855 HAS SOUPS 1653198 WITH SCORE 1660519.579
AT ITER 5604 NEW BEST:: SOT 11841108 SOS 7323023 HAS SOPS 6056509 HAS SOUS 1744841 HAS SOUPS 1653184 WITH SCORE 1660507.023
AT ITER 5622 NEW BEST:: SOT 11842481 SOS 7325570 HAS SOPS 6058204 HAS SOUS 1744223 HAS SOUPS 1652487 WITH SCORE 1659812.57
AT ITER 5627 NEW BEST:: SOT 11841820 SOS 7324909 HAS SOPS 6057031 HAS SOUS 1741138 HAS SOUPS 1649402 WITH SCORE 1656726.909
AT ITER 5692 NEW BEST:: SOT 11841624 SOS 7324388 HAS SOPS 6059679 HAS SOUS 1740353 HAS SOUPS 1648706 WITH SCORE 1656030.388
AT ITER 5718 NEW BEST:: SOT 11841090 SOS 7323854 HAS SOPS 6059145 HAS SOUS 1739943 HAS SOUPS 1648296 WITH SCORE 1655619.854
AT ITER 5727 NEW BEST:: SOT 11840691 SOS 7322965 HAS SOPS 6058464 HAS SOUS 1739146 HAS SOUPS 1647571 WITH SCORE 1654893.965
AT ITER 5735 NEW BEST:: SOT 11839229 SOS 7320997 HAS SOPS 6056506 HAS SOUS 1736642 HAS SOUPS 1645085 WITH SCORE 1652405.997
AT ITER 5747 NEW BEST:: SOT 11838829 SOS 7323562 HAS SOPS 6057834 HAS SOUS 1734714 HAS SOUPS 1643157 WITH SCORE 1650480.562
AT ITER 5760 NEW BEST:: SOT 11838584 SOS 7321613 HAS SOPS 6055334 HAS SOUS 1734691 HAS SOUPS 1643134 WITH SCORE 1650455.613
AT ITER 5778 NEW BEST:: SOT 11838416 SOS 7321529 HAS SOPS 6055208 HAS SOUS 1733584 HAS SOUPS 1642027 WITH SCORE 1649348.529
AT ITER 5795 NEW BEST:: SOT 11834817 SOS 7317502 HAS SOPS 6050091 HAS SOUS 1726689 HAS SOUPS 1634880 WITH SCORE 1642197.502
AT ITER 5828 NEW BEST:: SOT 11834903 SOS 7317641 HAS SOPS 6050290 HAS SOUS 1726675 HAS SOUPS 1634872 WITH SCORE 1642189.641
AT ITER 5830 NEW BEST:: SOT 11834159 SOS 7315397 HAS SOPS 6048286 HAS SOUS 1726230 HAS SOUPS 1634427 WITH SCORE 1641742.397
AT ITER 5832 NEW BEST:: SOT 11833950 SOS 7314917 HAS SOPS 6048041 HAS SOUS 1726127 HAS SOUPS 1634324 WITH SCORE 1641638.917
AT ITER 5838 NEW BEST:: SOT 11827698 SOS 7301089 HAS SOPS 6036472 HAS SOUS 1723014 HAS SOUPS 1631314 WITH SCORE 1638615.089
AT ITER 5845 NEW BEST:: SOT 11829962 SOS 7303353 HAS SOPS 6038240 HAS SOUS 1722830 HAS SOUPS 1631130 WITH SCORE 1638433.353
AT ITER 5874 NEW BEST:: SOT 11831016 SOS 7304021 HAS SOPS 6037753 HAS SOUS 1718156 HAS SOUPS 1626456 WITH SCORE 1633760.021
AT ITER 5885 NEW BEST:: SOT 11830909 SOS 7302123 HAS SOPS 6036229 HAS SOUS 1717808 HAS SOUPS 1626108 WITH SCORE 1633410.123
AT ITER 5910 NEW BEST:: SOT 11831223 SOS 7303016 HAS SOPS 6036752 HAS SOUS 1717723 HAS SOUPS 1626023 WITH SCORE 1633326.016
AT ITER 5925 NEW BEST:: SOT 11829605 SOS 7301640 HAS SOPS 6033436 HAS SOUS 1716650 HAS SOUPS 1624950 WITH SCORE 1632251.64
AT ITER 5928 NEW BEST:: SOT 11828754 SOS 7299901 HAS SOPS 6031466 HAS SOUS 1715834 HAS SOUPS 1624123 WITH SCORE 1631422.901
AT ITER 5948 NEW BEST:: SOT 11827841 SOS 7298511 HAS SOPS 6027733 HAS SOUS 1710865 HAS SOUPS 1619154 WITH SCORE 1626452.511
AT ITER 5951 NEW BEST:: SOT 11828227 SOS 7298347 HAS SOPS 6025798 HAS SOUS 1705765 HAS SOUPS 1614102 WITH SCORE 1621400.347
AT ITER 5954 NEW BEST:: SOT 11832200 SOS 7313299 HAS SOPS 6042488 HAS SOUS 1705227 HAS SOUPS 1613564 WITH SCORE 1620877.299
AT ITER 5959 NEW BEST:: SOT 11832006 SOS 7311618 HAS SOPS 6041366 HAS SOUS 1697140 HAS SOUPS 1605581 WITH SCORE 1612892.618
AT ITER 5961 NEW BEST:: SOT 11831735 SOS 7311348 HAS SOPS 6041013 HAS SOUS 1696660 HAS SOUPS 1605106 WITH SCORE 1612417.348
AT ITER 5967 NEW BEST:: SOT 11831353 SOS 7311267 HAS SOPS 6039835 HAS SOUS 1695324 HAS SOUPS 1603742 WITH SCORE 1611053.267
AT ITER 5968 NEW BEST:: SOT 11831338 SOS 7311252 HAS SOPS 6039820 HAS SOUS 1695285 HAS SOUPS 1603703 WITH SCORE 1611014.252
AT ITER 5969 NEW BEST:: SOT 11831419 SOS 7311990 HAS SOPS 6040204 HAS SOUS 1695193 HAS SOUPS 1603611 WITH SCORE 1610922.99
AT ITER 6033 NEW BEST:: SOT 11831310 SOS 7311881 HAS SOPS 6040095 HAS SOUS 1695084 HAS SOUPS 1603502 WITH SCORE 1610813.881
AT ITER 6044 NEW BEST:: SOT 11831320 SOS 7311955 HAS SOPS 6040485 HAS SOUS 1693756 HAS SOUPS 1602174 WITH SCORE 1609485.955
AT ITER 6046 NEW BEST:: SOT 11830941 SOS 7312089 HAS SOPS 6040562 HAS SOUS 1691260 HAS SOUPS 1599678 WITH SCORE 1606990.089
AT ITER 6056 NEW BEST:: SOT 11831035 SOS 7309383 HAS SOPS 6037880 HAS SOUS 1689988 HAS SOUPS 1598406 WITH SCORE 1605715.383
AT ITER 6064 NEW BEST:: SOT 11831206 SOS 7309817 HAS SOPS 6038232 HAS SOUS 1689958 HAS SOUPS 1598376 WITH SCORE 1605685.817
AT ITER 6072 NEW BEST:: SOT 11831123 SOS 7312764 HAS SOPS 6041007 HAS SOUS 1690086 HAS SOUPS 1598329 WITH SCORE 1605641.764
AT ITER 6082 NEW BEST:: SOT 11833580 SOS 7315377 HAS SOPS 6044560 HAS SOUS 1688911 HAS SOUPS 1597634 WITH SCORE 1604949.377
AT ITER 6087 NEW BEST:: SOT 11831846 SOS 7313677 HAS SOPS 6042693 HAS SOUS 1682973 HAS SOUPS 1591764 WITH SCORE 1599077.677
AT ITER 6093 NEW BEST:: SOT 11831224 SOS 7313007 HAS SOPS 6041932 HAS SOUS 1681975 HAS SOUPS 1590755 WITH SCORE 1598068.007
AT ITER 6102 NEW BEST:: SOT 11831570 SOS 7313164 HAS SOPS 6042521 HAS SOUS 1681572 HAS SOUPS 1590379 WITH SCORE 1597692.164
AT ITER 6105 NEW BEST:: SOT 11831897 SOS 7313786 HAS SOPS 6042767 HAS SOUS 1681196 HAS SOUPS 1589993 WITH SCORE 1597306.786
AT ITER 6120 NEW BEST:: SOT 11828403 SOS 7310292 HAS SOPS 6039273 HAS SOUS 1677338 HAS SOUPS 1586135 WITH SCORE 1593445.292
AT ITER 6122 NEW BEST:: SOT 11828292 SOS 7309367 HAS SOPS 6038837 HAS SOUS 1676056 HAS SOUPS 1584894 WITH SCORE 1592203.367
AT ITER 6126 NEW BEST:: SOT 11821906 SOS 7301387 HAS SOPS 6029946 HAS SOUS 1663928 HAS SOUPS 1572852 WITH SCORE 1580153.387
AT ITER 6127 NEW BEST:: SOT 11821615 SOS 7301568 HAS SOPS 6029794 HAS SOUS 1663318 HAS SOUPS 1572242 WITH SCORE 1579543.568
AT ITER 6160 NEW BEST:: SOT 11821877 SOS 7294952 HAS SOPS 6025788 HAS SOUS 1662723 HAS SOUPS 1572032 WITH SCORE 1579326.952
AT ITER 6162 NEW BEST:: SOT 11821777 SOS 7294790 HAS SOPS 6025625 HAS SOUS 1662593 HAS SOUPS 1571901 WITH SCORE 1579195.79
AT ITER 6200 NEW BEST:: SOT 11821726 SOS 7294876 HAS SOPS 6025936 HAS SOUS 1660875 HAS SOUPS 1570200 WITH SCORE 1577494.876
AT ITER 6203 NEW BEST:: SOT 11820878 SOS 7294092 HAS SOPS 6024352 HAS SOUS 1657495 HAS SOUPS 1566780 WITH SCORE 1574074.092
AT ITER 6209 NEW BEST:: SOT 11820409 SOS 7297271 HAS SOPS 6030214 HAS SOUS 1656294 HAS SOUPS 1565660 WITH SCORE 1572957.271
AT ITER 6215 NEW BEST:: SOT 11820707 SOS 7296480 HAS SOPS 6028814 HAS SOUS 1656249 HAS SOUPS 1565615 WITH SCORE 1572911.48
AT ITER 6225 NEW BEST:: SOT 11824225 SOS 7306966 HAS SOPS 6037961 HAS SOUS 1654412 HAS SOUPS 1563736 WITH SCORE 1571042.966
AT ITER 6233 NEW BEST:: SOT 11831546 SOS 7337412 HAS SOPS 6063568 HAS SOUS 1641403 HAS SOUPS 1550727 WITH SCORE 1558064.412
AT ITER 6237 NEW BEST:: SOT 11831225 SOS 7336920 HAS SOPS 6062273 HAS SOUS 1639616 HAS SOUPS 1548900 WITH SCORE 1556236.92
AT ITER 6240 NEW BEST:: SOT 11830623 SOS 7336364 HAS SOPS 6061323 HAS SOUS 1638005 HAS SOUPS 1547289 WITH SCORE 1554625.364
AT ITER 6245 NEW BEST:: SOT 11829839 SOS 7335438 HAS SOPS 6060416 HAS SOUS 1637012 HAS SOUPS 1546296 WITH SCORE 1553631.438
AT ITER 6264 NEW BEST:: SOT 11831489 SOS 7337883 HAS SOPS 6064279 HAS SOUS 1636511 HAS SOUPS 1545795 WITH SCORE 1553132.883
AT ITER 6283 NEW BEST:: SOT 11831561 SOS 7338075 HAS SOPS 6064451 HAS SOUS 1636479 HAS SOUPS 1545763 WITH SCORE 1553101.075
AT ITER 6304 NEW BEST:: SOT 11831993 SOS 7338323 HAS SOPS 6064199 HAS SOUS 1634373 HAS SOUPS 1543663 WITH SCORE 1551001.323
AT ITER 6306 NEW BEST:: SOT 11832113 SOS 7339847 HAS SOPS 6065288 HAS SOUS 1634240 HAS SOUPS 1543530 WITH SCORE 1550869.847
AT ITER 6313 NEW BEST:: SOT 11829130 SOS 7335084 HAS SOPS 6060690 HAS SOUS 1630867 HAS SOUPS 1540358 WITH SCORE 1547693.084
AT ITER 6319 NEW BEST:: SOT 11828729 SOS 7334067 HAS SOPS 6059123 HAS SOUS 1630084 HAS SOUPS 1539575 WITH SCORE 1546909.067
AT ITER 6323 NEW BEST:: SOT 11829193 SOS 7334531 HAS SOPS 6059587 HAS SOUS 1630065 HAS SOUPS 1539556 WITH SCORE 1546890.531
AT ITER 6329 NEW BEST:: SOT 11827826 SOS 7332695 HAS SOPS 6056972 HAS SOUS 1626563 HAS SOUPS 1536054 WITH SCORE 1543386.695
AT ITER 6335 NEW BEST:: SOT 11827368 SOS 7331549 HAS SOPS 6058638 HAS SOUS 1625548 HAS SOUPS 1534948 WITH SCORE 1542279.549
AT ITER 6365 NEW BEST:: SOT 11827349 SOS 7331519 HAS SOPS 6058510 HAS SOUS 1625517 HAS SOUPS 1534917 WITH SCORE 1542248.519
AT ITER 6392 NEW BEST:: SOT 11826351 SOS 7330469 HAS SOPS 6057410 HAS SOUS 1623977 HAS SOUPS 1533377 WITH SCORE 1540707.469
AT ITER 6393 NEW BEST:: SOT 11825954 SOS 7330248 HAS SOPS 6056954 HAS SOUS 1623740 HAS SOUPS 1533140 WITH SCORE 1540470.248
AT ITER 6397 NEW BEST:: SOT 11828957 SOS 7336198 HAS SOPS 6061256 HAS SOUS 1621524 HAS SOUPS 1530924 WITH SCORE 1538260.198
AT ITER 6403 NEW BEST:: SOT 11828116 SOS 7333827 HAS SOPS 6059274 HAS SOUS 1620017 HAS SOUPS 1529613 WITH SCORE 1536946.827
AT ITER 6418 NEW BEST:: SOT 11828467 SOS 7332801 HAS SOPS 6059381 HAS SOUS 1619528 HAS SOUPS 1529465 WITH SCORE 1536797.801
AT ITER 6421 NEW BEST:: SOT 11828447 SOS 7332781 HAS SOPS 6059361 HAS SOUS 1619520 HAS SOUPS 1529457 WITH SCORE 1536789.781
AT ITER 6459 NEW BEST:: SOT 11828086 SOS 7332226 HAS SOPS 6058853 HAS SOUS 1618087 HAS SOUPS 1528081 WITH SCORE 1535413.226
AT ITER 6464 NEW BEST:: SOT 11827533 SOS 7331113 HAS SOPS 6057796 HAS SOUS 1617289 HAS SOUPS 1527290 WITH SCORE 1534621.113
AT ITER 6467 NEW BEST:: SOT 11827610 SOS 7330556 HAS SOPS 6056886 HAS SOUS 1616960 HAS SOUPS 1526961 WITH SCORE 1534291.556
AT ITER 6502 NEW BEST:: SOT 11829987 SOS 7335975 HAS SOPS 6064482 HAS SOUS 1616905 HAS SOUPS 1526906 WITH SCORE 1534241.975
AT ITER 6507 NEW BEST:: SOT 11829888 SOS 7334750 HAS SOPS 6062765 HAS SOUS 1614844 HAS SOUPS 1524845 WITH SCORE 1532179.75
AT ITER 6508 NEW BEST:: SOT 11830138 SOS 7330791 HAS SOPS 6060841 HAS SOUS 1613404 HAS SOUPS 1523469 WITH SCORE 1530799.791
AT ITER 6523 NEW BEST:: SOT 11829692 SOS 7329171 HAS SOPS 6059228 HAS SOUS 1612683 HAS SOUPS 1522748 WITH SCORE 1530077.171
AT ITER 6544 NEW BEST:: SOT 11832305 SOS 7332494 HAS SOPS 6062341 HAS SOUS 1612434 HAS SOUPS 1522499 WITH SCORE 1529831.494
AT ITER 6545 NEW BEST:: SOT 11832387 SOS 7334617 HAS SOPS 6063419 HAS SOUS 1610913 HAS SOUPS 1520911 WITH SCORE 1528245.617
AT ITER 6589 NEW BEST:: SOT 11832275 SOS 7334538 HAS SOPS 6063215 HAS SOUS 1610448 HAS SOUPS 1520446 WITH SCORE 1527780.538
AT ITER 6598 NEW BEST:: SOT 11832435 SOS 7334918 HAS SOPS 6063842 HAS SOUS 1610114 HAS SOUPS 1520093 WITH SCORE 1527427.918
AT ITER 6601 NEW BEST:: SOT 11831578 SOS 7334062 HAS SOPS 6062986 HAS SOUS 1609050 HAS SOUPS 1519029 WITH SCORE 1526363.062
AT ITER 6632 NEW BEST:: SOT 11837753 SOS 7342201 HAS SOPS 6064468 HAS SOUS 1608107 HAS SOUPS 1517949 WITH SCORE 1525291.201
AT ITER 6666 NEW BEST:: SOT 11838668 SOS 7345040 HAS SOPS 6066278 HAS SOUS 1607098 HAS SOUPS 1516940 WITH SCORE 1524285.04
AT ITER 6670 NEW BEST:: SOT 11838626 SOS 7345346 HAS SOPS 6066392 HAS SOUS 1606576 HAS SOUPS 1516418 WITH SCORE 1523763.346
AT ITER 6681 NEW BEST:: SOT 11838895 SOS 7346976 HAS SOPS 6067383 HAS SOUS 1605855 HAS SOUPS 1515697 WITH SCORE 1523043.976
AT ITER 6694 NEW BEST:: SOT 11837887 SOS 7345968 HAS SOPS 6066087 HAS SOUS 1603959 HAS SOUPS 1513801 WITH SCORE 1521146.968
AT ITER 6695 NEW BEST:: SOT 11838131 SOS 7346212 HAS SOPS 6066059 HAS SOUS 1603763 HAS SOUPS 1513381 WITH SCORE 1520727.212
AT ITER 6707 NEW BEST:: SOT 11837737 SOS 7346360 HAS SOPS 6066078 HAS SOUS 1603739 HAS SOUPS 1513357 WITH SCORE 1520703.36
AT ITER 6708 NEW BEST:: SOT 11837082 SOS 7346525 HAS SOPS 6065337 HAS SOUS 1602605 HAS SOUPS 1512223 WITH SCORE 1519569.525
AT ITER 6719 NEW BEST:: SOT 11836411 SOS 7345481 HAS SOPS 6063925 HAS SOUS 1601457 HAS SOUPS 1511075 WITH SCORE 1518420.481
AT ITER 6728 NEW BEST:: SOT 11836781 SOS 7345907 HAS SOPS 6064493 HAS SOUS 1601129 HAS SOUPS 1510766 WITH SCORE 1518111.907
AT ITER 6746 NEW BEST:: SOT 11839943 SOS 7355423 HAS SOPS 6073104 HAS SOUS 1601063 HAS SOUPS 1510700 WITH SCORE 1518055.423
AT ITER 6758 NEW BEST:: SOT 11839644 SOS 7355038 HAS SOPS 6072317 HAS SOUS 1600200 HAS SOUPS 1509837 WITH SCORE 1517192.038
AT ITER 6779 NEW BEST:: SOT 11838958 SOS 7354314 HAS SOPS 6070959 HAS SOUS 1599388 HAS SOUPS 1509001 WITH SCORE 1516355.314
AT ITER 6795 NEW BEST:: SOT 11838928 SOS 7354102 HAS SOPS 6070795 HAS SOUS 1599338 HAS SOUPS 1508951 WITH SCORE 1516305.102
AT ITER 6814 NEW BEST:: SOT 11838628 SOS 7353822 HAS SOPS 6070515 HAS SOUS 1598673 HAS SOUPS 1508286 WITH SCORE 1515639.822
AT ITER 6819 NEW BEST:: SOT 11838661 SOS 7353859 HAS SOPS 6070586 HAS SOUS 1598531 HAS SOUPS 1508144 WITH SCORE 1515497.859
AT ITER 6823 NEW BEST:: SOT 11838633 SOS 7353158 HAS SOPS 6069800 HAS SOUS 1598207 HAS SOUPS 1507820 WITH SCORE 1515173.158
AT ITER 6833 NEW BEST:: SOT 11839629 SOS 7350407 HAS SOPS 6066111 HAS SOUS 1598114 HAS SOUPS 1507727 WITH SCORE 1515077.407
AT ITER 6839 NEW BEST:: SOT 11833393 SOS 7344171 HAS SOPS 6059219 HAS SOUS 1588862 HAS SOUPS 1498475 WITH SCORE 1505819.171
AT ITER 6864 NEW BEST:: SOT 11833374 SOS 7344392 HAS SOPS 6059413 HAS SOUS 1588819 HAS SOUPS 1498432 WITH SCORE 1505776.392
AT ITER 6874 NEW BEST:: SOT 11831566 SOS 7342753 HAS SOPS 6056874 HAS SOUS 1585937 HAS SOUPS 1495550 WITH SCORE 1502892.753
AT ITER 6876 NEW BEST:: SOT 11830320 SOS 7339322 HAS SOPS 6055742 HAS SOUS 1585742 HAS SOUPS 1495355 WITH SCORE 1502694.322
AT ITER 6885 NEW BEST:: SOT 11831674 SOS 7339806 HAS SOPS 6053863 HAS SOUS 1584058 HAS SOUPS 1493671 WITH SCORE 1501010.806
AT ITER 6896 NEW BEST:: SOT 11831510 SOS 7339380 HAS SOPS 6053542 HAS SOUS 1583660 HAS SOUPS 1493273 WITH SCORE 1500612.38
AT ITER 6913 NEW BEST:: SOT 11831440 SOS 7339200 HAS SOPS 6053332 HAS SOUS 1583628 HAS SOUPS 1493241 WITH SCORE 1500580.2
AT ITER 6920 NEW BEST:: SOT 11829241 SOS 7335649 HAS SOPS 6049004 HAS SOUS 1583211 HAS SOUPS 1492747 WITH SCORE 1500082.649
AT ITER 6927 NEW BEST:: SOT 11829272 SOS 7336586 HAS SOPS 6049565 HAS SOUS 1583282 HAS SOUPS 1492731 WITH SCORE 1500067.586
AT ITER 6932 NEW BEST:: SOT 11829594 SOS 7336908 HAS SOPS 6049647 HAS SOUS 1582796 HAS SOUPS 1492245 WITH SCORE 1499581.908
AT ITER 6965 NEW BEST:: SOT 11828906 SOS 7336220 HAS SOPS 6048959 HAS SOUS 1582764 HAS SOUPS 1492213 WITH SCORE 1499549.22
AT ITER 6969 NEW BEST:: SOT 11827659 SOS 7338947 HAS SOPS 6048862 HAS SOUS 1580270 HAS SOUPS 1489719 WITH SCORE 1497057.947
AT ITER 6988 NEW BEST:: SOT 11827627 SOS 7340163 HAS SOPS 6051554 HAS SOUS 1573740 HAS SOUPS 1483322 WITH SCORE 1490662.163
AT ITER 7009 NEW BEST:: SOT 11827510 SOS 7339798 HAS SOPS 6051205 HAS SOUS 1573640 HAS SOUPS 1483222 WITH SCORE 1490561.798
AT ITER 7040 NEW BEST:: SOT 11826575 SOS 7338432 HAS SOPS 6049904 HAS SOUS 1572130 HAS SOUPS 1481726 WITH SCORE 1489064.432
AT ITER 7076 NEW BEST:: SOT 11824799 SOS 7339328 HAS SOPS 6049808 HAS SOUS 1567185 HAS SOUPS 1476720 WITH SCORE 1484059.328
AT ITER 7122 NEW BEST:: SOT 11824791 SOS 7339697 HAS SOPS 6049941 HAS SOUS 1566972 HAS SOUPS 1476493 WITH SCORE 1483832.697
AT ITER 7131 NEW BEST:: SOT 11824791 SOS 7339539 HAS SOPS 6049954 HAS SOUS 1566941 HAS SOUPS 1476473 WITH SCORE 1483812.539
AT ITER 7146 NEW BEST:: SOT 11824810 SOS 7338995 HAS SOPS 6049009 HAS SOUS 1566758 HAS SOUPS 1476290 WITH SCORE 1483628.995
AT ITER 7160 NEW BEST:: SOT 11822025 SOS 7336248 HAS SOPS 6046363 HAS SOUS 1565559 HAS SOUPS 1475073 WITH SCORE 1482409.248
AT ITER 7165 NEW BEST:: SOT 11821883 SOS 7335926 HAS SOPS 6046041 HAS SOUS 1565419 HAS SOUPS 1474939 WITH SCORE 1482274.926
AT ITER 7176 NEW BEST:: SOT 11821348 SOS 7335377 HAS SOPS 6045253 HAS SOUS 1564423 HAS SOUPS 1473948 WITH SCORE 1481283.377
AT ITER 7206 NEW BEST:: SOT 11821659 SOS 7335044 HAS SOPS 6045368 HAS SOUS 1563581 HAS SOUPS 1473554 WITH SCORE 1480889.044
AT ITER 7210 NEW BEST:: SOT 11821550 SOS 7335493 HAS SOPS 6045860 HAS SOUS 1562872 HAS SOUPS 1472845 WITH SCORE 1480180.493
AT ITER 7275 NEW BEST:: SOT 11821046 SOS 7335025 HAS SOPS 6045074 HAS SOUS 1561466 HAS SOUPS 1471454 WITH SCORE 1478789.025
AT ITER 7290 NEW BEST:: SOT 11821019 SOS 7334622 HAS SOPS 6043667 HAS SOUS 1557772 HAS SOUPS 1467760 WITH SCORE 1475094.622
AT ITER 7297 NEW BEST:: SOT 11816780 SOS 7332192 HAS SOPS 6041309 HAS SOUS 1557887 HAS SOUPS 1467749 WITH SCORE 1475081.192
AT ITER 7303 NEW BEST:: SOT 11815964 SOS 7330781 HAS SOPS 6040042 HAS SOUS 1557247 HAS SOUPS 1467253 WITH SCORE 1474583.781
AT ITER 7372 NEW BEST:: SOT 11816181 SOS 7330678 HAS SOPS 6038928 HAS SOUS 1554311 HAS SOUPS 1464181 WITH SCORE 1471511.678
AT ITER 7386 NEW BEST:: SOT 11815964 SOS 7329517 HAS SOPS 6037659 HAS SOUS 1553947 HAS SOUPS 1463817 WITH SCORE 1471146.517
AT ITER 7411 NEW BEST:: SOT 11815828 SOS 7329381 HAS SOPS 6037075 HAS SOUS 1551767 HAS SOUPS 1461637 WITH SCORE 1468966.381
AT ITER 7438 NEW BEST:: SOT 11815359 SOS 7330317 HAS SOPS 6037317 HAS SOUS 1549770 HAS SOUPS 1459640 WITH SCORE 1466970.317
AT ITER 7452 NEW BEST:: SOT 11815870 SOS 7330777 HAS SOPS 6038032 HAS SOUS 1549398 HAS SOUPS 1459251 WITH SCORE 1466581.777
AT ITER 7463 NEW BEST:: SOT 11816514 SOS 7333407 HAS SOPS 6039903 HAS SOUS 1548586 HAS SOUPS 1458439 WITH SCORE 1465772.407
AT ITER 7470 NEW BEST:: SOT 11816535 SOS 7333377 HAS SOPS 6039937 HAS SOUS 1548509 HAS SOUPS 1458410 WITH SCORE 1465743.377
AT ITER 7479 NEW BEST:: SOT 11816505 SOS 7333347 HAS SOPS 6039907 HAS SOUS 1548447 HAS SOUPS 1458348 WITH SCORE 1465681.347
AT ITER 7521 NEW BEST:: SOT 11816753 SOS 7334163 HAS SOPS 6040688 HAS SOUS 1545930 HAS SOUPS 1455887 WITH SCORE 1463221.163
AT ITER 7557 NEW BEST:: SOT 11814654 SOS 7332064 HAS SOPS 6038589 HAS SOUS 1543831 HAS SOUPS 1453788 WITH SCORE 1461120.064
AT ITER 7569 NEW BEST:: SOT 11812354 SOS 7326580 HAS SOPS 6034430 HAS SOUS 1542620 HAS SOUPS 1452577 WITH SCORE 1459903.58
AT ITER 7572 NEW BEST:: SOT 11811582 SOS 7325906 HAS SOPS 6034067 HAS SOUS 1541142 HAS SOUPS 1451099 WITH SCORE 1458424.906
AT ITER 7603 NEW BEST:: SOT 11810526 SOS 7324706 HAS SOPS 6033155 HAS SOUS 1540212 HAS SOUPS 1450315 WITH SCORE 1457639.706
AT ITER 7613 NEW BEST:: SOT 11810427 SOS 7324535 HAS SOPS 6033012 HAS SOUS 1540010 HAS SOUPS 1450117 WITH SCORE 1457441.535
AT ITER 7616 NEW BEST:: SOT 11808392 SOS 7324798 HAS SOPS 6032535 HAS SOUS 1535982 HAS SOUPS 1446089 WITH SCORE 1453413.798
AT ITER 7624 NEW BEST:: SOT 11810875 SOS 7327242 HAS SOPS 6035663 HAS SOUS 1534412 HAS SOUPS 1444921 WITH SCORE 1452248.242
AT ITER 7626 NEW BEST:: SOT 11810859 SOS 7327222 HAS SOPS 6035643 HAS SOUS 1534395 HAS SOUPS 1444904 WITH SCORE 1452231.222
AT ITER 7656 NEW BEST:: SOT 11810568 SOS 7326733 HAS SOPS 6035208 HAS SOUS 1533987 HAS SOUPS 1444502 WITH SCORE 1451828.733
AT ITER 7667 NEW BEST:: SOT 11811523 SOS 7327725 HAS SOPS 6035944 HAS SOUS 1534221 HAS SOUPS 1444480 WITH SCORE 1451807.725
AT ITER 7706 NEW BEST:: SOT 11811499 SOS 7327695 HAS SOPS 6035821 HAS SOUS 1534152 HAS SOUPS 1444411 WITH SCORE 1451738.695
AT ITER 7732 NEW BEST:: SOT 11811634 SOS 7324096 HAS SOPS 6034517 HAS SOUS 1533929 HAS SOUPS 1444188 WITH SCORE 1451512.096
AT ITER 7743 NEW BEST:: SOT 11813041 SOS 7323147 HAS SOPS 6033128 HAS SOUS 1532190 HAS SOUPS 1442449 WITH SCORE 1449772.147
AT ITER 7744 NEW BEST:: SOT 11816606 SOS 7330926 HAS SOPS 6040893 HAS SOUS 1530030 HAS SOUPS 1440350 WITH SCORE 1447680.926
AT ITER 7750 NEW BEST:: SOT 11816455 SOS 7330891 HAS SOPS 6040787 HAS SOUS 1529447 HAS SOUPS 1439840 WITH SCORE 1447170.891
AT ITER 7768 NEW BEST:: SOT 11816425 SOS 7330914 HAS SOPS 6040810 HAS SOUS 1529405 HAS SOUPS 1439798 WITH SCORE 1447128.914
AT ITER 7790 NEW BEST:: SOT 11816294 SOS 7329523 HAS SOPS 6037254 HAS SOUS 1528814 HAS SOUPS 1439207 WITH SCORE 1446536.523
AT ITER 7809 NEW BEST:: SOT 11815460 SOS 7328017 HAS SOPS 6036420 HAS SOUS 1527956 HAS SOUPS 1438361 WITH SCORE 1445689.017
AT ITER 7826 NEW BEST:: SOT 11815434 SOS 7329839 HAS SOPS 6037024 HAS SOUS 1525498 HAS SOUPS 1435903 WITH SCORE 1443232.839
AT ITER 7844 NEW BEST:: SOT 11815671 SOS 7329627 HAS SOPS 6036936 HAS SOUS 1524377 HAS SOUPS 1434782 WITH SCORE 1442111.627
AT ITER 7865 NEW BEST:: SOT 11815544 SOS 7329356 HAS SOPS 6036745 HAS SOUS 1524272 HAS SOUPS 1434695 WITH SCORE 1442024.356
AT ITER 7904 NEW BEST:: SOT 11814368 SOS 7329354 HAS SOPS 6035212 HAS SOUS 1523056 HAS SOUPS 1433479 WITH SCORE 1440808.354
AT ITER 7910 NEW BEST:: SOT 11814228 SOS 7328553 HAS SOPS 6034293 HAS SOUS 1522893 HAS SOUPS 1433316 WITH SCORE 1440644.553
AT ITER 7981 NEW BEST:: SOT 11814006 SOS 7328334 HAS SOPS 6034035 HAS SOUS 1522728 HAS SOUPS 1433142 WITH SCORE 1440470.334
AT ITER 7984 NEW BEST:: SOT 11816307 SOS 7330572 HAS SOPS 6036048 HAS SOUS 1522665 HAS SOUPS 1433079 WITH SCORE 1440409.572
AT ITER 7998 NEW BEST:: SOT 11814678 SOS 7328799 HAS SOPS 6033781 HAS SOUS 1520228 HAS SOUPS 1430616 WITH SCORE 1437944.799
AT ITER 8025 NEW BEST:: SOT 11814828 SOS 7329403 HAS SOPS 6034169 HAS SOUS 1520085 HAS SOUPS 1430473 WITH SCORE 1437802.403
AT ITER 8063 NEW BEST:: SOT 11812659 SOS 7327147 HAS SOPS 6031404 HAS SOUS 1519236 HAS SOUPS 1429518 WITH SCORE 1436845.147
AT ITER 8077 NEW BEST:: SOT 11812063 SOS 7326196 HAS SOPS 6030952 HAS SOUS 1517195 HAS SOUPS 1427403 WITH SCORE 1434729.196
AT ITER 8142 NEW BEST:: SOT 11811575 SOS 7325708 HAS SOPS 6030432 HAS SOUS 1516563 HAS SOUPS 1426771 WITH SCORE 1434096.708
AT ITER 8146 NEW BEST:: SOT 11811272 SOS 7325286 HAS SOPS 6029782 HAS SOUS 1516459 HAS SOUPS 1426667 WITH SCORE 1433992.286
AT ITER 8149 NEW BEST:: SOT 11810364 SOS 7324682 HAS SOPS 6027558 HAS SOUS 1514582 HAS SOUPS 1423721 WITH SCORE 1431045.682
AT ITER 8155 NEW BEST:: SOT 11810477 SOS 7324795 HAS SOPS 6027383 HAS SOUS 1514119 HAS SOUPS 1423258 WITH SCORE 1430582.795
AT ITER 8173 NEW BEST:: SOT 11809599 SOS 7323796 HAS SOPS 6025944 HAS SOUS 1511954 HAS SOUPS 1421093 WITH SCORE 1428416.796
AT ITER 8199 NEW BEST:: SOT 11809268 SOS 7322775 HAS SOPS 6024859 HAS SOUS 1511846 HAS SOUPS 1420993 WITH SCORE 1428315.775
AT ITER 8204 NEW BEST:: SOT 11809722 SOS 7320349 HAS SOPS 6022972 HAS SOUS 1511825 HAS SOUPS 1420972 WITH SCORE 1428292.349
AT ITER 8205 NEW BEST:: SOT 11809572 SOS 7319795 HAS SOPS 6021833 HAS SOUS 1510481 HAS SOUPS 1419628 WITH SCORE 1426947.795
AT ITER 8208 NEW BEST:: SOT 11807885 SOS 7317839 HAS SOPS 6021676 HAS SOUS 1508252 HAS SOUPS 1417399 WITH SCORE 1424716.839
AT ITER 8212 NEW BEST:: SOT 11807575 SOS 7317188 HAS SOPS 6021229 HAS SOUS 1508022 HAS SOUPS 1417169 WITH SCORE 1424486.188
AT ITER 8216 NEW BEST:: SOT 11807467 SOS 7317056 HAS SOPS 6021139 HAS SOUS 1507816 HAS SOUPS 1416965 WITH SCORE 1424282.056
AT ITER 8226 NEW BEST:: SOT 11807115 SOS 7316528 HAS SOPS 6020579 HAS SOUS 1507704 HAS SOUPS 1416853 WITH SCORE 1424169.528
AT ITER 8254 NEW BEST:: SOT 11809168 SOS 7321513 HAS SOPS 6028763 HAS SOUS 1506945 HAS SOUPS 1416094 WITH SCORE 1423415.513
AT ITER 8325 NEW BEST:: SOT 11809306 SOS 7322444 HAS SOPS 6029513 HAS SOUS 1506623 HAS SOUPS 1415772 WITH SCORE 1423094.444
AT ITER 8335 NEW BEST:: SOT 11809299 SOS 7322393 HAS SOPS 6028823 HAS SOUS 1506530 HAS SOUPS 1415679 WITH SCORE 1423001.393
AT ITER 8407 NEW BEST:: SOT 11797967 SOS 7303048 HAS SOPS 6025613 HAS SOUS 1496214 HAS SOUPS 1408517 WITH SCORE 1415820.048
AT ITER 8408 NEW BEST:: SOT 11791083 SOS 7296164 HAS SOPS 6018729 HAS SOUS 1489330 HAS SOUPS 1401633 WITH SCORE 1408929.164
AT ITER 8410 NEW BEST:: SOT 11791068 SOS 7296203 HAS SOPS 6018729 HAS SOUS 1489262 HAS SOUPS 1401565 WITH SCORE 1408861.203
AT ITER 8453 NEW BEST:: SOT 11792294 SOS 7297700 HAS SOPS 6019668 HAS SOUS 1488903 HAS SOUPS 1401206 WITH SCORE 1408503.7
AT ITER 8458 NEW BEST:: SOT 11792552 SOS 7297768 HAS SOPS 6019682 HAS SOUS 1488857 HAS SOUPS 1401160 WITH SCORE 1408457.768
AT ITER 8467 NEW BEST:: SOT 11792458 SOS 7297984 HAS SOPS 6019633 HAS SOUS 1488838 HAS SOUPS 1401141 WITH SCORE 1408438.984
AT ITER 8483 NEW BEST:: SOT 11792017 SOS 7297579 HAS SOPS 6018768 HAS SOUS 1487670 HAS SOUPS 1399973 WITH SCORE 1407270.579
AT ITER 8494 NEW BEST:: SOT 11791949 SOS 7298037 HAS SOPS 6019106 HAS SOUS 1486706 HAS SOUPS 1399019 WITH SCORE 1406317.037
AT ITER 8513 NEW BEST:: SOT 11791967 SOS 7298031 HAS SOPS 6019124 HAS SOUS 1486703 HAS SOUPS 1399016 WITH SCORE 1406314.031
AT ITER 8520 NEW BEST:: SOT 11791929 SOS 7296745 HAS SOPS 6017929 HAS SOUS 1486392 HAS SOUPS 1398705 WITH SCORE 1406001.745
AT ITER 8543 NEW BEST:: SOT 11791537 SOS 7297320 HAS SOPS 6018299 HAS SOUS 1485287 HAS SOUPS 1397600 WITH SCORE 1404897.32
AT ITER 8559 NEW BEST:: SOT 11791523 SOS 7297536 HAS SOPS 6017975 HAS SOUS 1484043 HAS SOUPS 1396356 WITH SCORE 1403653.536
AT ITER 8586 NEW BEST:: SOT 11791563 SOS 7297600 HAS SOPS 6017919 HAS SOUS 1483913 HAS SOUPS 1396234 WITH SCORE 1403531.6
AT ITER 8587 NEW BEST:: SOT 11790892 SOS 7297993 HAS SOPS 6015122 HAS SOUS 1482634 HAS SOUPS 1394955 WITH SCORE 1402252.993
AT ITER 8676 NEW BEST:: SOT 11790749 SOS 7297819 HAS SOPS 6014920 HAS SOUS 1482403 HAS SOUPS 1394725 WITH SCORE 1402022.819
AT ITER 8797 NEW BEST:: SOT 11785755 SOS 7291961 HAS SOPS 6013541 HAS SOUS 1478454 HAS SOUPS 1390776 WITH SCORE 1398067.961
AT ITER 8802 NEW BEST:: SOT 11785939 SOS 7292487 HAS SOPS 6012502 HAS SOUS 1475410 HAS SOUPS 1387698 WITH SCORE 1394990.487
AT ITER 8812 NEW BEST:: SOT 11784729 SOS 7291277 HAS SOPS 6011036 HAS SOUS 1473688 HAS SOUPS 1385976 WITH SCORE 1393267.277
AT ITER 8827 NEW BEST:: SOT 11783891 SOS 7290667 HAS SOPS 6010426 HAS SOUS 1472922 HAS SOUPS 1385210 WITH SCORE 1392500.667
AT ITER 8872 NEW BEST:: SOT 11785166 SOS 7292173 HAS SOPS 6012249 HAS SOUS 1472180 HAS SOUPS 1384468 WITH SCORE 1391760.173
AT ITER 8896 NEW BEST:: SOT 11783626 SOS 7288961 HAS SOPS 6008855 HAS SOUS 1468575 HAS SOUPS 1380900 WITH SCORE 1388188.961
AT ITER 8940 NEW BEST:: SOT 11785578 SOS 7291465 HAS SOPS 6011935 HAS SOUS 1466983 HAS SOUPS 1379380 WITH SCORE 1386671.465
AT ITER 8944 NEW BEST:: SOT 11782336 SOS 7288223 HAS SOPS 6009077 HAS SOUS 1464509 HAS SOUPS 1377290 WITH SCORE 1384578.223
AT ITER 8971 NEW BEST:: SOT 11780866 SOS 7286585 HAS SOPS 6008191 HAS SOUS 1461817 HAS SOUPS 1374639 WITH SCORE 1381925.585
AT ITER 8994 NEW BEST:: SOT 11778750 SOS 7283820 HAS SOPS 6006390 HAS SOUS 1459576 HAS SOUPS 1372841 WITH SCORE 1380124.82
AT ITER 9037 NEW BEST:: SOT 11778769 SOS 7284026 HAS SOPS 6004733 HAS SOUS 1459471 HAS SOUPS 1372700 WITH SCORE 1379984.026
AT ITER 9075 NEW BEST:: SOT 11776003 SOS 7280731 HAS SOPS 6004590 HAS SOUS 1459138 HAS SOUPS 1372367 WITH SCORE 1379647.731
AT ITER 9089 NEW BEST:: SOT 11775858 SOS 7280824 HAS SOPS 6004940 HAS SOUS 1458639 HAS SOUPS 1371896 WITH SCORE 1379176.824
AT ITER 9108 NEW BEST:: SOT 11776129 SOS 7281552 HAS SOPS 6005180 HAS SOUS 1457251 HAS SOUPS 1370543 WITH SCORE 1377824.552
AT ITER 9113 NEW BEST:: SOT 11775587 SOS 7280910 HAS SOPS 6004408 HAS SOUS 1455977 HAS SOUPS 1369269 WITH SCORE 1376549.91
AT ITER 9124 NEW BEST:: SOT 11779285 SOS 7283383 HAS SOPS 6006881 HAS SOUS 1454240 HAS SOUPS 1367532 WITH SCORE 1374815.383
AT ITER 9131 NEW BEST:: SOT 11778755 SOS 7282733 HAS SOPS 6005631 HAS SOUS 1453833 HAS SOUPS 1367108 WITH SCORE 1374390.733
AT ITER 9132 NEW BEST:: SOT 11779553 SOS 7285925 HAS SOPS 6008109 HAS SOUS 1451393 HAS SOUPS 1364668 WITH SCORE 1371953.925
AT ITER 9135 NEW BEST:: SOT 11779449 SOS 7285821 HAS SOPS 6008005 HAS SOUS 1451385 HAS SOUPS 1364660 WITH SCORE 1371945.821
AT ITER 9142 NEW BEST:: SOT 11778813 SOS 7283956 HAS SOPS 6004417 HAS SOUS 1448316 HAS SOUPS 1361591 WITH SCORE 1368874.956
AT ITER 9172 NEW BEST:: SOT 11770143 SOS 7268272 HAS SOPS 5999297 HAS SOUS 1442991 HAS SOUPS 1356449 WITH SCORE 1363717.272
AT ITER 9175 NEW BEST:: SOT 11771182 SOS 7269311 HAS SOPS 6000336 HAS SOUS 1442506 HAS SOUPS 1355964 WITH SCORE 1363233.311
AT ITER 9178 NEW BEST:: SOT 11770798 SOS 7268893 HAS SOPS 5999730 HAS SOUS 1441604 HAS SOUPS 1355062 WITH SCORE 1362330.893
AT ITER 9244 NEW BEST:: SOT 11769825 SOS 7267503 HAS SOPS 5997998 HAS SOUS 1440763 HAS SOUPS 1354050 WITH SCORE 1361317.503
AT ITER 9260 NEW BEST:: SOT 11769938 SOS 7268520 HAS SOPS 5998471 HAS SOUS 1440368 HAS SOUPS 1353643 WITH SCORE 1360911.52
AT ITER 9274 NEW BEST:: SOT 11776075 SOS 7287811 HAS SOPS 6015264 HAS SOUS 1437109 HAS SOUPS 1350521 WITH SCORE 1357808.811
AT ITER 9280 NEW BEST:: SOT 11777722 SOS 7289819 HAS SOPS 6017864 HAS SOUS 1436932 HAS SOUPS 1350509 WITH SCORE 1357798.819
AT ITER 9290 NEW BEST:: SOT 11777716 SOS 7289785 HAS SOPS 6017820 HAS SOUS 1436851 HAS SOUPS 1350429 WITH SCORE 1357718.785
AT ITER 9292 NEW BEST:: SOT 11777532 SOS 7289613 HAS SOPS 6017606 HAS SOUS 1436551 HAS SOUPS 1350131 WITH SCORE 1357420.613
AT ITER 9320 NEW BEST:: SOT 11777357 SOS 7289444 HAS SOPS 6017381 HAS SOUS 1436490 HAS SOUPS 1350032 WITH SCORE 1357321.444
AT ITER 9349 NEW BEST:: SOT 11775497 SOS 7288511 HAS SOPS 6014878 HAS SOUS 1433726 HAS SOUPS 1347219 WITH SCORE 1354507.511
AT ITER 9377 NEW BEST:: SOT 11775940 SOS 7288666 HAS SOPS 6016028 HAS SOUS 1433618 HAS SOUPS 1347111 WITH SCORE 1354399.666
AT ITER 9379 NEW BEST:: SOT 11776050 SOS 7286569 HAS SOPS 6014808 HAS SOUS 1433171 HAS SOUPS 1346664 WITH SCORE 1353950.569
AT ITER 9401 NEW BEST:: SOT 11775894 SOS 7286594 HAS SOPS 6014597 HAS SOUS 1432589 HAS SOUPS 1346063 WITH SCORE 1353349.594
AT ITER 9404 NEW BEST:: SOT 11773797 SOS 7284497 HAS SOPS 6012036 HAS SOUS 1428868 HAS SOUPS 1342342 WITH SCORE 1349626.497
AT ITER 9406 NEW BEST:: SOT 11773408 SOS 7284011 HAS SOPS 6011334 HAS SOUS 1428210 HAS SOUPS 1341688 WITH SCORE 1348972.011
AT ITER 9428 NEW BEST:: SOT 11774184 SOS 7286348 HAS SOPS 6012090 HAS SOUS 1424304 HAS SOUPS 1337868 WITH SCORE 1345154.348
AT ITER 9430 NEW BEST:: SOT 11774472 SOS 7290781 HAS SOPS 6018017 HAS SOUS 1423588 HAS SOUPS 1337152 WITH SCORE 1344442.781
AT ITER 9449 NEW BEST:: SOT 11773984 SOS 7288847 HAS SOPS 6016392 HAS SOUS 1418697 HAS SOUPS 1333348 WITH SCORE 1340636.847
AT ITER 9455 NEW BEST:: SOT 11773731 SOS 7288568 HAS SOPS 6016132 HAS SOUS 1418085 HAS SOUPS 1332736 WITH SCORE 1340024.568
AT ITER 9457 NEW BEST:: SOT 11773706 SOS 7288541 HAS SOPS 6016105 HAS SOUS 1418009 HAS SOUPS 1332660 WITH SCORE 1339948.541
AT ITER 9503 NEW BEST:: SOT 11775882 SOS 7290572 HAS SOPS 6019383 HAS SOUS 1417360 HAS SOUPS 1332531 WITH SCORE 1339821.572
AT ITER 9511 NEW BEST:: SOT 11776810 SOS 7291695 HAS SOPS 6021250 HAS SOUS 1415301 HAS SOUPS 1330472 WITH SCORE 1337763.695
AT ITER 9520 NEW BEST:: SOT 11776810 SOS 7291615 HAS SOPS 6021218 HAS SOUS 1415279 HAS SOUPS 1330452 WITH SCORE 1337743.615
AT ITER 9552 NEW BEST:: SOT 11776636 SOS 7291451 HAS SOPS 6021038 HAS SOUS 1415099 HAS SOUPS 1330272 WITH SCORE 1337563.451
AT ITER 9572 NEW BEST:: SOT 11776418 SOS 7290989 HAS SOPS 6020592 HAS SOUS 1414859 HAS SOUPS 1330034 WITH SCORE 1337324.989
AT ITER 9581 NEW BEST:: SOT 11776843 SOS 7291006 HAS SOPS 6020609 HAS SOUS 1412698 HAS SOUPS 1328673 WITH SCORE 1335964.006
AT ITER 9592 NEW BEST:: SOT 11774360 SOS 7288173 HAS SOPS 6017122 HAS SOUS 1411891 HAS SOUPS 1327712 WITH SCORE 1335000.173
AT ITER 9628 NEW BEST:: SOT 11774375 SOS 7288634 HAS SOPS 6017051 HAS SOUS 1411810 HAS SOUPS 1327631 WITH SCORE 1334919.634
AT ITER 9644 NEW BEST:: SOT 11772994 SOS 7282651 HAS SOPS 6010012 HAS SOUS 1410371 HAS SOUPS 1326148 WITH SCORE 1333430.651
AT ITER 9646 NEW BEST:: SOT 11774692 SOS 7287681 HAS SOPS 6010100 HAS SOUS 1410263 HAS SOUPS 1325852 WITH SCORE 1333139.681
AT ITER 9657 NEW BEST:: SOT 11771157 SOS 7281173 HAS SOPS 6003023 HAS SOUS 1404745 HAS SOUPS 1320334 WITH SCORE 1327615.173
AT ITER 9671 NEW BEST:: SOT 11770715 SOS 7280719 HAS SOPS 6002317 HAS SOUS 1404159 HAS SOUPS 1319700 WITH SCORE 1326980.719
AT ITER 9676 NEW BEST:: SOT 11770713 SOS 7280767 HAS SOPS 6002252 HAS SOUS 1404006 HAS SOUPS 1319547 WITH SCORE 1326827.767
AT ITER 9764 NEW BEST:: SOT 11771085 SOS 7279491 HAS SOPS 6002872 HAS SOUS 1402603 HAS SOUPS 1318144 WITH SCORE 1325423.491
AT ITER 9771 NEW BEST:: SOT 11775428 SOS 7290429 HAS SOPS 6012190 HAS SOUS 1398551 HAS SOUPS 1314092 WITH SCORE 1321382.429
AT ITER 9809 NEW BEST:: SOT 11772456 SOS 7287457 HAS SOPS 6009794 HAS SOUS 1396987 HAS SOUPS 1312696 WITH SCORE 1319983.457
AT ITER 9853 NEW BEST:: SOT 11771303 SOS 7290065 HAS SOPS 6013218 HAS SOUS 1392791 HAS SOUPS 1308500 WITH SCORE 1315790.065
AT ITER 9885 NEW BEST:: SOT 11771126 SOS 7289888 HAS SOPS 6013105 HAS SOUS 1392630 HAS SOUPS 1308387 WITH SCORE 1315676.888
AT ITER 9908 NEW BEST:: SOT 11772678 SOS 7291834 HAS SOPS 6015541 HAS SOUS 1391881 HAS SOUPS 1307638 WITH SCORE 1314929.834
AT ITER 9924 NEW BEST:: SOT 11772951 SOS 7292093 HAS SOPS 6015684 HAS SOUS 1391493 HAS SOUPS 1307250 WITH SCORE 1314542.093
AT ITER 9932 NEW BEST:: SOT 11773262 SOS 7291876 HAS SOPS 6015067 HAS SOUS 1390076 HAS SOUPS 1305866 WITH SCORE 1313157.876
AT ITER 9938 NEW BEST:: SOT 11773152 SOS 7291761 HAS SOPS 6014952 HAS SOUS 1390026 HAS SOUPS 1305816 WITH SCORE 1313107.761
AT ITER 9951 NEW BEST:: SOT 11773622 SOS 7292311 HAS SOPS 6015571 HAS SOUS 1389518 HAS SOUPS 1305406 WITH SCORE 1312698.311
AT ITER 9982 NEW BEST:: SOT 11773403 SOS 7291536 HAS SOPS 6014800 HAS SOUS 1389327 HAS SOUPS 1305215 WITH SCORE 1312506.536
AT ITER 9986 NEW BEST:: SOT 11773040 SOS 7289423 HAS SOPS 6012416 HAS SOUS 1389329 HAS SOUPS 1305217 WITH SCORE 1312506.423
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15339024 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16117312 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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