About the Execution of Smart for RERS17pb113-PT-1
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
838.747 | 3600000.00 | 3600011.00 | 220.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194100008.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-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194100008
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.6K Feb 26 18:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 26 18:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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 9.4K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:13 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 1679473317927
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-1
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 1
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 4 NEW BEST:: SOT 12196799 SOS 7747330 HAS SOPS 6415703 HAS SOUS 3044030 HAS SOUPS 2943575 WITH SCORE 2951322.33
AT ITER 13 NEW BEST:: SOT 12190808 SOS 7741343 HAS SOPS 6409176 HAS SOUS 3037279 HAS SOUPS 2936344 WITH SCORE 2944085.343
AT ITER 17 NEW BEST:: SOT 12191696 SOS 7745336 HAS SOPS 6413129 HAS SOUS 3036360 HAS SOUPS 2935425 WITH SCORE 2943170.336
AT ITER 36 NEW BEST:: SOT 12191490 SOS 7745103 HAS SOPS 6412491 HAS SOUS 3034134 HAS SOUPS 2933199 WITH SCORE 2940944.103
AT ITER 42 NEW BEST:: SOT 12191532 SOS 7745595 HAS SOPS 6413049 HAS SOUS 3034094 HAS SOUPS 2933159 WITH SCORE 2940904.595
AT ITER 43 NEW BEST:: SOT 12192560 SOS 7751185 HAS SOPS 6417062 HAS SOUS 3033889 HAS SOUPS 2932954 WITH SCORE 2940705.185
AT ITER 52 NEW BEST:: SOT 12192726 SOS 7756301 HAS SOPS 6426609 HAS SOUS 3033196 HAS SOUPS 2932261 WITH SCORE 2940017.301
AT ITER 53 NEW BEST:: SOT 12190361 SOS 7742506 HAS SOPS 6424182 HAS SOUS 3032222 HAS SOUPS 2931372 WITH SCORE 2939114.506
AT ITER 69 NEW BEST:: SOT 12190251 SOS 7741952 HAS SOPS 6423520 HAS SOUS 3031851 HAS SOUPS 2931001 WITH SCORE 2938742.952
AT ITER 86 NEW BEST:: SOT 12185984 SOS 7730007 HAS SOPS 6414726 HAS SOUS 3029110 HAS SOUPS 2928356 WITH SCORE 2936086.007
AT ITER 101 NEW BEST:: SOT 12186141 SOS 7729694 HAS SOPS 6413991 HAS SOUS 3028025 HAS SOUPS 2927336 WITH SCORE 2935065.694
AT ITER 124 NEW BEST:: SOT 12185240 SOS 7726539 HAS SOPS 6415036 HAS SOUS 3026811 HAS SOUPS 2926122 WITH SCORE 2933848.539
AT ITER 126 NEW BEST:: SOT 12181456 SOS 7722755 HAS SOPS 6411252 HAS SOUS 3022883 HAS SOUPS 2922194 WITH SCORE 2929916.755
AT ITER 132 NEW BEST:: SOT 12180023 SOS 7720915 HAS SOPS 6409323 HAS SOUS 3018056 HAS SOUPS 2917367 WITH SCORE 2925087.915
AT ITER 137 NEW BEST:: SOT 12181623 SOS 7723324 HAS SOPS 6410059 HAS SOUS 3016585 HAS SOUPS 2915857 WITH SCORE 2923580.324
AT ITER 157 NEW BEST:: SOT 12181125 SOS 7720678 HAS SOPS 6408870 HAS SOUS 3014622 HAS SOUPS 2913894 WITH SCORE 2921614.678
AT ITER 166 NEW BEST:: SOT 12180376 SOS 7719917 HAS SOPS 6407729 HAS SOUS 3012787 HAS SOUPS 2912059 WITH SCORE 2919778.917
AT ITER 171 NEW BEST:: SOT 12184127 SOS 7730610 HAS SOPS 6416190 HAS SOUS 3012426 HAS SOUPS 2911698 WITH SCORE 2919428.61
AT ITER 175 NEW BEST:: SOT 12184099 SOS 7730454 HAS SOPS 6416999 HAS SOUS 3012186 HAS SOUPS 2911458 WITH SCORE 2919188.454
AT ITER 177 NEW BEST:: SOT 12170551 SOS 7716925 HAS SOPS 6402411 HAS SOUS 2996810 HAS SOUPS 2895327 WITH SCORE 2903043.925
AT ITER 191 NEW BEST:: SOT 12170355 SOS 7716718 HAS SOPS 6402177 HAS SOUS 2996460 HAS SOUPS 2894977 WITH SCORE 2902693.718
AT ITER 194 NEW BEST:: SOT 12171535 SOS 7721970 HAS SOPS 6407082 HAS SOUS 2996445 HAS SOUPS 2894962 WITH SCORE 2902683.97
AT ITER 197 NEW BEST:: SOT 12171371 SOS 7721814 HAS SOPS 6406902 HAS SOUS 2996320 HAS SOUPS 2894834 WITH SCORE 2902555.814
AT ITER 199 NEW BEST:: SOT 12154220 SOS 7704397 HAS SOPS 6388024 HAS SOUS 2964164 HAS SOUPS 2862678 WITH SCORE 2870382.397
AT ITER 209 NEW BEST:: SOT 12154565 SOS 7700604 HAS SOPS 6387806 HAS SOUS 2960270 HAS SOUPS 2860201 WITH SCORE 2867901.604
AT ITER 237 NEW BEST:: SOT 12155067 SOS 7703535 HAS SOPS 6390611 HAS SOUS 2958407 HAS SOUPS 2858338 WITH SCORE 2866041.535
AT ITER 240 NEW BEST:: SOT 12124964 SOS 7671190 HAS SOPS 6357355 HAS SOUS 2899273 HAS SOUPS 2799305 WITH SCORE 2806976.19
AT ITER 247 NEW BEST:: SOT 12128697 SOS 7683028 HAS SOPS 6367761 HAS SOUS 2896283 HAS SOUPS 2796400 WITH SCORE 2804083.028
AT ITER 251 NEW BEST:: SOT 12128545 SOS 7683563 HAS SOPS 6367979 HAS SOUS 2895612 HAS SOUPS 2795729 WITH SCORE 2803412.563
AT ITER 262 NEW BEST:: SOT 12128484 SOS 7684369 HAS SOPS 6367966 HAS SOUS 2894484 HAS SOUPS 2794601 WITH SCORE 2802285.369
AT ITER 265 NEW BEST:: SOT 12128302 SOS 7683897 HAS SOPS 6367718 HAS SOUS 2894294 HAS SOUPS 2794411 WITH SCORE 2802094.897
AT ITER 278 NEW BEST:: SOT 12126884 SOS 7681969 HAS SOPS 6366454 HAS SOUS 2893172 HAS SOUPS 2793289 WITH SCORE 2800970.969
AT ITER 280 NEW BEST:: SOT 12124220 SOS 7677301 HAS SOPS 6360532 HAS SOUS 2884535 HAS SOUPS 2785078 WITH SCORE 2792755.301
AT ITER 298 NEW BEST:: SOT 12124865 SOS 7680078 HAS SOPS 6363394 HAS SOUS 2884069 HAS SOUPS 2784612 WITH SCORE 2792292.078
AT ITER 319 NEW BEST:: SOT 12125897 SOS 7681972 HAS SOPS 6363044 HAS SOUS 2883825 HAS SOUPS 2784277 WITH SCORE 2791958.972
AT ITER 320 NEW BEST:: SOT 12125603 SOS 7681698 HAS SOPS 6364519 HAS SOUS 2883036 HAS SOUPS 2783531 WITH SCORE 2791212.698
AT ITER 323 NEW BEST:: SOT 12129034 SOS 7690209 HAS SOPS 6376028 HAS SOUS 2882262 HAS SOUPS 2782757 WITH SCORE 2790447.209
AT ITER 332 NEW BEST:: SOT 12128521 SOS 7689570 HAS SOPS 6376388 HAS SOUS 2881923 HAS SOUPS 2782418 WITH SCORE 2790107.57
AT ITER 333 NEW BEST:: SOT 12126097 SOS 7685523 HAS SOPS 6373261 HAS SOUS 2875068 HAS SOUPS 2776445 WITH SCORE 2784130.523
AT ITER 335 NEW BEST:: SOT 12126221 SOS 7686284 HAS SOPS 6373957 HAS SOUS 2874919 HAS SOUPS 2776296 WITH SCORE 2783982.284
AT ITER 338 NEW BEST:: SOT 12086885 SOS 7622859 HAS SOPS 6325601 HAS SOUS 2843212 HAS SOUPS 2744823 WITH SCORE 2752445.859
AT ITER 339 NEW BEST:: SOT 12087679 SOS 7626922 HAS SOPS 6332807 HAS SOUS 2841313 HAS SOUPS 2742924 WITH SCORE 2750550.922
AT ITER 347 NEW BEST:: SOT 12089990 SOS 7633205 HAS SOPS 6336086 HAS SOUS 2839803 HAS SOUPS 2741414 WITH SCORE 2749047.205
AT ITER 349 NEW BEST:: SOT 12089950 SOS 7633165 HAS SOPS 6336046 HAS SOUS 2839579 HAS SOUPS 2741190 WITH SCORE 2748823.165
AT ITER 350 NEW BEST:: SOT 12089633 SOS 7632921 HAS SOPS 6335292 HAS SOUS 2838859 HAS SOUPS 2740460 WITH SCORE 2748092.921
AT ITER 362 NEW BEST:: SOT 12090453 SOS 7637558 HAS SOPS 6338329 HAS SOUS 2837628 HAS SOUPS 2739229 WITH SCORE 2746866.558
AT ITER 370 NEW BEST:: SOT 12090831 SOS 7639688 HAS SOPS 6340382 HAS SOUS 2837559 HAS SOUPS 2739160 WITH SCORE 2746799.688
AT ITER 400 NEW BEST:: SOT 12095745 SOS 7653101 HAS SOPS 6346315 HAS SOUS 2830173 HAS SOUPS 2731628 WITH SCORE 2739281.101
AT ITER 420 NEW BEST:: SOT 12080677 SOS 7638033 HAS SOPS 6329615 HAS SOUS 2806641 HAS SOUPS 2708096 WITH SCORE 2715734.033
AT ITER 421 NEW BEST:: SOT 12087636 SOS 7649293 HAS SOPS 6337928 HAS SOUS 2798642 HAS SOUPS 2700097 WITH SCORE 2707746.293
AT ITER 424 NEW BEST:: SOT 12087603 SOS 7649245 HAS SOPS 6337754 HAS SOUS 2798483 HAS SOUPS 2699938 WITH SCORE 2707587.245
AT ITER 426 NEW BEST:: SOT 12086592 SOS 7648200 HAS SOPS 6336199 HAS SOUS 2795272 HAS SOUPS 2696727 WITH SCORE 2704375.2
AT ITER 430 NEW BEST:: SOT 12086482 SOS 7648087 HAS SOPS 6336005 HAS SOUS 2795198 HAS SOUPS 2696581 WITH SCORE 2704229.087
AT ITER 431 NEW BEST:: SOT 12086791 SOS 7649988 HAS SOPS 6336804 HAS SOUS 2794255 HAS SOUPS 2695638 WITH SCORE 2703287.988
AT ITER 434 NEW BEST:: SOT 12086684 SOS 7650230 HAS SOPS 6336971 HAS SOUS 2794248 HAS SOUPS 2695610 WITH SCORE 2703260.23
AT ITER 436 NEW BEST:: SOT 12088311 SOS 7653311 HAS SOPS 6344296 HAS SOUS 2792365 HAS SOUPS 2693700 WITH SCORE 2701353.311
AT ITER 437 NEW BEST:: SOT 12087318 SOS 7653856 HAS SOPS 6344091 HAS SOUS 2790632 HAS SOUPS 2691938 WITH SCORE 2699591.856
AT ITER 439 NEW BEST:: SOT 12083934 SOS 7650257 HAS SOPS 6343897 HAS SOUS 2783276 HAS SOUPS 2684582 WITH SCORE 2692232.257
AT ITER 441 NEW BEST:: SOT 12085196 SOS 7651554 HAS SOPS 6346159 HAS SOUS 2782635 HAS SOUPS 2684143 WITH SCORE 2691794.554
AT ITER 446 NEW BEST:: SOT 12086397 SOS 7655503 HAS SOPS 6349154 HAS SOUS 2782447 HAS SOUPS 2683955 WITH SCORE 2691610.503
AT ITER 449 NEW BEST:: SOT 12086473 SOS 7654656 HAS SOPS 6349226 HAS SOUS 2780723 HAS SOUPS 2682231 WITH SCORE 2689885.656
AT ITER 458 NEW BEST:: SOT 12085890 SOS 7653934 HAS SOPS 6347905 HAS SOUS 2779052 HAS SOUPS 2680560 WITH SCORE 2688213.934
AT ITER 459 NEW BEST:: SOT 12086222 SOS 7654970 HAS SOPS 6348045 HAS SOUS 2778719 HAS SOUPS 2680227 WITH SCORE 2687881.97
AT ITER 461 NEW BEST:: SOT 12085387 SOS 7655069 HAS SOPS 6347974 HAS SOUS 2777522 HAS SOUPS 2679008 WITH SCORE 2686663.069
AT ITER 476 NEW BEST:: SOT 12088695 SOS 7661194 HAS SOPS 6357820 HAS SOUS 2775509 HAS SOUPS 2677173 WITH SCORE 2684834.194
AT ITER 480 NEW BEST:: SOT 12089319 SOS 7662274 HAS SOPS 6358232 HAS SOUS 2775497 HAS SOUPS 2677161 WITH SCORE 2684823.274
AT ITER 488 NEW BEST:: SOT 12088408 SOS 7661393 HAS SOPS 6357406 HAS SOUS 2774682 HAS SOUPS 2676370 WITH SCORE 2684031.393
AT ITER 491 NEW BEST:: SOT 12088384 SOS 7661381 HAS SOPS 6357388 HAS SOUS 2774670 HAS SOUPS 2676354 WITH SCORE 2684015.381
AT ITER 495 NEW BEST:: SOT 12087180 SOS 7660194 HAS SOPS 6356024 HAS SOUS 2772796 HAS SOUPS 2674470 WITH SCORE 2682130.194
AT ITER 496 NEW BEST:: SOT 12084596 SOS 7656394 HAS SOPS 6352773 HAS SOUS 2768563 HAS SOUPS 2670237 WITH SCORE 2677893.394
AT ITER 520 NEW BEST:: SOT 12089490 SOS 7659946 HAS SOPS 6352622 HAS SOUS 2767355 HAS SOUPS 2666110 WITH SCORE 2673769.946
AT ITER 524 NEW BEST:: SOT 12088583 SOS 7659029 HAS SOPS 6351187 HAS SOUS 2764504 HAS SOUPS 2663259 WITH SCORE 2670918.029
AT ITER 525 NEW BEST:: SOT 12087975 SOS 7657861 HAS SOPS 6350009 HAS SOUS 2763916 HAS SOUPS 2662671 WITH SCORE 2670328.861
AT ITER 526 NEW BEST:: SOT 12091961 SOS 7669380 HAS SOPS 6366434 HAS SOUS 2763408 HAS SOUPS 2662163 WITH SCORE 2669832.38
AT ITER 532 NEW BEST:: SOT 12087237 SOS 7663124 HAS SOPS 6358772 HAS SOUS 2753593 HAS SOUPS 2652401 WITH SCORE 2660064.124
AT ITER 548 NEW BEST:: SOT 12099539 SOS 7679982 HAS SOPS 6380533 HAS SOUS 2749619 HAS SOUPS 2648267 WITH SCORE 2655946.982
AT ITER 549 NEW BEST:: SOT 12098970 SOS 7679224 HAS SOPS 6379902 HAS SOUS 2748664 HAS SOUPS 2647312 WITH SCORE 2654991.224
AT ITER 563 NEW BEST:: SOT 12097724 SOS 7677657 HAS SOPS 6379069 HAS SOUS 2745267 HAS SOUPS 2644036 WITH SCORE 2651713.657
AT ITER 586 NEW BEST:: SOT 12091863 SOS 7668920 HAS SOPS 6370457 HAS SOUS 2733467 HAS SOUPS 2632537 WITH SCORE 2640205.92
AT ITER 598 NEW BEST:: SOT 12095900 SOS 7674419 HAS SOPS 6376877 HAS SOUS 2733325 HAS SOUPS 2632439 WITH SCORE 2640113.419
AT ITER 602 NEW BEST:: SOT 12097979 SOS 7678173 HAS SOPS 6380485 HAS SOUS 2732999 HAS SOUPS 2632043 WITH SCORE 2639721.173
AT ITER 604 NEW BEST:: SOT 12095569 SOS 7675336 HAS SOPS 6377059 HAS SOUS 2730027 HAS SOUPS 2628799 WITH SCORE 2636474.336
AT ITER 622 NEW BEST:: SOT 12096443 SOS 7676172 HAS SOPS 6378170 HAS SOUS 2728953 HAS SOUPS 2627800 WITH SCORE 2635476.172
AT ITER 626 NEW BEST:: SOT 12096329 SOS 7675764 HAS SOPS 6378083 HAS SOUS 2728725 HAS SOUPS 2627716 WITH SCORE 2635391.764
AT ITER 631 NEW BEST:: SOT 12099094 SOS 7683647 HAS SOPS 6381959 HAS SOUS 2727055 HAS SOUPS 2626046 WITH SCORE 2633729.647
AT ITER 633 NEW BEST:: SOT 12098827 SOS 7682537 HAS SOPS 6381452 HAS SOUS 2726807 HAS SOUPS 2625798 WITH SCORE 2633480.537
AT ITER 634 NEW BEST:: SOT 12098748 SOS 7682536 HAS SOPS 6381488 HAS SOUS 2726665 HAS SOUPS 2625656 WITH SCORE 2633338.536
AT ITER 636 NEW BEST:: SOT 12097810 SOS 7681874 HAS SOPS 6379628 HAS SOUS 2723656 HAS SOUPS 2622608 WITH SCORE 2630289.874
AT ITER 650 NEW BEST:: SOT 12097546 SOS 7681786 HAS SOPS 6379211 HAS SOUS 2721948 HAS SOUPS 2621031 WITH SCORE 2628712.786
AT ITER 655 NEW BEST:: SOT 12107165 SOS 7696993 HAS SOPS 6384348 HAS SOUS 2714047 HAS SOUPS 2612799 WITH SCORE 2620495.993
AT ITER 656 NEW BEST:: SOT 12107548 SOS 7697353 HAS SOPS 6385398 HAS SOUS 2711673 HAS SOUPS 2610471 WITH SCORE 2618168.353
AT ITER 661 NEW BEST:: SOT 12106584 SOS 7696249 HAS SOPS 6384178 HAS SOUS 2709969 HAS SOUPS 2608791 WITH SCORE 2616487.249
AT ITER 670 NEW BEST:: SOT 12106438 SOS 7695747 HAS SOPS 6383953 HAS SOUS 2709817 HAS SOUPS 2608639 WITH SCORE 2616334.747
AT ITER 704 NEW BEST:: SOT 12106430 SOS 7695739 HAS SOPS 6383945 HAS SOUS 2709817 HAS SOUPS 2608639 WITH SCORE 2616334.739
AT ITER 707 NEW BEST:: SOT 12101119 SOS 7687114 HAS SOPS 6381770 HAS SOUS 2706846 HAS SOUPS 2605668 WITH SCORE 2613355.114
AT ITER 724 NEW BEST:: SOT 12100912 SOS 7687075 HAS SOPS 6381582 HAS SOUS 2705991 HAS SOUPS 2604813 WITH SCORE 2612500.075
AT ITER 728 NEW BEST:: SOT 12100862 SOS 7686854 HAS SOPS 6381680 HAS SOUS 2697900 HAS SOUPS 2597727 WITH SCORE 2605413.854
AT ITER 731 NEW BEST:: SOT 12096278 SOS 7680402 HAS SOPS 6377047 HAS SOUS 2695946 HAS SOUPS 2596181 WITH SCORE 2603861.402
AT ITER 734 NEW BEST:: SOT 12091441 SOS 7675248 HAS SOPS 6378227 HAS SOUS 2681439 HAS SOUPS 2582474 WITH SCORE 2590149.248
AT ITER 737 NEW BEST:: SOT 12091123 SOS 7674930 HAS SOPS 6377813 HAS SOUS 2680737 HAS SOUPS 2581772 WITH SCORE 2589446.93
AT ITER 752 NEW BEST:: SOT 12086290 SOS 7666455 HAS SOPS 6373318 HAS SOUS 2668549 HAS SOUPS 2569584 WITH SCORE 2577250.455
AT ITER 754 NEW BEST:: SOT 12086371 SOS 7666972 HAS SOPS 6373526 HAS SOUS 2668222 HAS SOUPS 2569257 WITH SCORE 2576923.972
AT ITER 765 NEW BEST:: SOT 12086222 SOS 7667640 HAS SOPS 6372990 HAS SOUS 2666525 HAS SOUPS 2567560 WITH SCORE 2575227.64
AT ITER 778 NEW BEST:: SOT 12085951 SOS 7667275 HAS SOPS 6372500 HAS SOUS 2666444 HAS SOUPS 2567473 WITH SCORE 2575140.275
AT ITER 788 NEW BEST:: SOT 12085573 SOS 7666555 HAS SOPS 6371956 HAS SOUS 2665918 HAS SOUPS 2566947 WITH SCORE 2574613.555
AT ITER 796 NEW BEST:: SOT 12085429 SOS 7666411 HAS SOPS 6371812 HAS SOUS 2665774 HAS SOUPS 2566803 WITH SCORE 2574469.411
AT ITER 797 NEW BEST:: SOT 12084615 SOS 7666286 HAS SOPS 6371524 HAS SOUS 2659717 HAS SOUPS 2560746 WITH SCORE 2568412.286
AT ITER 805 NEW BEST:: SOT 12086182 SOS 7674484 HAS SOPS 6380539 HAS SOUS 2658089 HAS SOUPS 2559118 WITH SCORE 2566792.484
AT ITER 813 NEW BEST:: SOT 12085972 SOS 7674310 HAS SOPS 6380329 HAS SOUS 2657676 HAS SOUPS 2558686 WITH SCORE 2566360.31
AT ITER 818 NEW BEST:: SOT 12086599 SOS 7675724 HAS SOPS 6381950 HAS SOUS 2655860 HAS SOUPS 2556870 WITH SCORE 2564545.724
AT ITER 831 NEW BEST:: SOT 12085562 SOS 7675300 HAS SOPS 6381392 HAS SOUS 2652719 HAS SOUPS 2553729 WITH SCORE 2561404.3
AT ITER 838 NEW BEST:: SOT 12086883 SOS 7677665 HAS SOPS 6382411 HAS SOUS 2649305 HAS SOUPS 2550300 WITH SCORE 2557977.665
AT ITER 846 NEW BEST:: SOT 12077243 SOS 7667597 HAS SOPS 6366900 HAS SOUS 2624378 HAS SOUPS 2525373 WITH SCORE 2533040.597
AT ITER 850 NEW BEST:: SOT 12074282 SOS 7661478 HAS SOPS 6361912 HAS SOUS 2618321 HAS SOUPS 2519775 WITH SCORE 2527436.478
AT ITER 851 NEW BEST:: SOT 12069413 SOS 7655962 HAS SOPS 6357815 HAS SOUS 2607813 HAS SOUPS 2509388 WITH SCORE 2517043.962
AT ITER 863 NEW BEST:: SOT 12067413 SOS 7654258 HAS SOPS 6355256 HAS SOUS 2602509 HAS SOUPS 2504084 WITH SCORE 2511738.258
AT ITER 870 NEW BEST:: SOT 12066598 SOS 7653702 HAS SOPS 6354651 HAS SOUS 2601253 HAS SOUPS 2502835 WITH SCORE 2510488.702
AT ITER 878 NEW BEST:: SOT 12067111 SOS 7653958 HAS SOPS 6354912 HAS SOUS 2601235 HAS SOUPS 2502817 WITH SCORE 2510470.958
AT ITER 915 NEW BEST:: SOT 12066661 SOS 7653044 HAS SOPS 6354447 HAS SOUS 2601127 HAS SOUPS 2502709 WITH SCORE 2510362.044
AT ITER 918 NEW BEST:: SOT 12068515 SOS 7660859 HAS SOPS 6360792 HAS SOUS 2599675 HAS SOUPS 2501257 WITH SCORE 2508917.859
AT ITER 929 NEW BEST:: SOT 12058125 SOS 7640510 HAS SOPS 6352017 HAS SOUS 2594546 HAS SOUPS 2496388 WITH SCORE 2504028.51
AT ITER 937 NEW BEST:: SOT 12058276 SOS 7643762 HAS SOPS 6354628 HAS SOUS 2590250 HAS SOUPS 2492092 WITH SCORE 2499735.762
AT ITER 943 NEW BEST:: SOT 12056783 SOS 7642269 HAS SOPS 6353135 HAS SOUS 2588757 HAS SOUPS 2490599 WITH SCORE 2498241.269
AT ITER 963 NEW BEST:: SOT 12056615 SOS 7641438 HAS SOPS 6351501 HAS SOUS 2588379 HAS SOUPS 2490221 WITH SCORE 2497862.438
AT ITER 970 NEW BEST:: SOT 12056174 SOS 7641143 HAS SOPS 6350995 HAS SOUS 2586798 HAS SOUPS 2488417 WITH SCORE 2496058.143
AT ITER 973 NEW BEST:: SOT 12040419 SOS 7619055 HAS SOPS 6327002 HAS SOUS 2563388 HAS SOUPS 2465462 WITH SCORE 2473081.055
AT ITER 990 NEW BEST:: SOT 12040673 SOS 7619321 HAS SOPS 6327896 HAS SOUS 2562003 HAS SOUPS 2464481 WITH SCORE 2472100.321
AT ITER 993 NEW BEST:: SOT 12038340 SOS 7615412 HAS SOPS 6323437 HAS SOUS 2560433 HAS SOUPS 2462966 WITH SCORE 2470581.412
AT ITER 999 NEW BEST:: SOT 12035488 SOS 7608912 HAS SOPS 6318588 HAS SOUS 2558507 HAS SOUPS 2461040 WITH SCORE 2468648.912
AT ITER 1009 NEW BEST:: SOT 12033016 SOS 7606440 HAS SOPS 6316116 HAS SOUS 2557475 HAS SOUPS 2460008 WITH SCORE 2467614.44
AT ITER 1011 NEW BEST:: SOT 12035834 SOS 7620223 HAS SOPS 6327913 HAS SOUS 2550932 HAS SOUPS 2453465 WITH SCORE 2461085.223
AT ITER 1013 NEW BEST:: SOT 12033637 SOS 7608149 HAS SOPS 6316748 HAS SOUS 2547406 HAS SOUPS 2449939 WITH SCORE 2457547.149
AT ITER 1023 NEW BEST:: SOT 12033037 SOS 7607549 HAS SOPS 6315700 HAS SOUS 2544330 HAS SOUPS 2446863 WITH SCORE 2454470.549
AT ITER 1024 NEW BEST:: SOT 12036116 SOS 7610643 HAS SOPS 6318027 HAS SOUS 2542222 HAS SOUPS 2444862 WITH SCORE 2452472.643
AT ITER 1032 NEW BEST:: SOT 12035025 SOS 7613690 HAS SOPS 6321826 HAS SOUS 2536992 HAS SOUPS 2439632 WITH SCORE 2447245.69
AT ITER 1036 NEW BEST:: SOT 12035112 SOS 7614419 HAS SOPS 6322450 HAS SOUS 2535843 HAS SOUPS 2438483 WITH SCORE 2446097.419
AT ITER 1043 NEW BEST:: SOT 12029149 SOS 7608456 HAS SOPS 6316487 HAS SOUS 2533848 HAS SOUPS 2436488 WITH SCORE 2444096.456
AT ITER 1044 NEW BEST:: SOT 12027758 SOS 7606878 HAS SOPS 6314220 HAS SOUS 2530286 HAS SOUPS 2432926 WITH SCORE 2440532.878
AT ITER 1045 NEW BEST:: SOT 12027333 SOS 7604392 HAS SOPS 6314296 HAS SOUS 2528992 HAS SOUPS 2431687 WITH SCORE 2439291.392
AT ITER 1067 NEW BEST:: SOT 12037260 SOS 7617344 HAS SOPS 6326376 HAS SOUS 2526456 HAS SOUPS 2429151 WITH SCORE 2436768.344
AT ITER 1076 NEW BEST:: SOT 12034545 SOS 7605326 HAS SOPS 6315002 HAS SOUS 2517714 HAS SOUPS 2421007 WITH SCORE 2428612.326
AT ITER 1099 NEW BEST:: SOT 12033579 SOS 7604583 HAS SOPS 6315085 HAS SOUS 2516946 HAS SOUPS 2420341 WITH SCORE 2427945.583
AT ITER 1114 NEW BEST:: SOT 12033601 SOS 7604602 HAS SOPS 6315115 HAS SOUS 2516904 HAS SOUPS 2420308 WITH SCORE 2427912.602
AT ITER 1117 NEW BEST:: SOT 12041966 SOS 7619140 HAS SOPS 6324056 HAS SOUS 2507949 HAS SOUPS 2411327 WITH SCORE 2418946.14
AT ITER 1126 NEW BEST:: SOT 12041695 SOS 7618908 HAS SOPS 6323797 HAS SOUS 2507421 HAS SOUPS 2410799 WITH SCORE 2418417.908
AT ITER 1128 NEW BEST:: SOT 12036885 SOS 7614098 HAS SOPS 6318427 HAS SOUS 2499591 HAS SOUPS 2402969 WITH SCORE 2410583.098
AT ITER 1130 NEW BEST:: SOT 12034506 SOS 7608986 HAS SOPS 6314210 HAS SOUS 2498751 HAS SOUPS 2402124 WITH SCORE 2409732.986
AT ITER 1143 NEW BEST:: SOT 12035736 SOS 7610894 HAS SOPS 6317216 HAS SOUS 2498658 HAS SOUPS 2401988 WITH SCORE 2409598.894
AT ITER 1153 NEW BEST:: SOT 12036290 SOS 7613200 HAS SOPS 6320144 HAS SOUS 2498270 HAS SOUPS 2401600 WITH SCORE 2409213.2
AT ITER 1154 NEW BEST:: SOT 12035691 SOS 7611924 HAS SOPS 6319392 HAS SOUS 2498018 HAS SOUPS 2401361 WITH SCORE 2408972.924
AT ITER 1156 NEW BEST:: SOT 12034063 SOS 7609003 HAS SOPS 6315511 HAS SOUS 2497076 HAS SOUPS 2400228 WITH SCORE 2407837.003
AT ITER 1160 NEW BEST:: SOT 12031925 SOS 7607986 HAS SOPS 6311274 HAS SOUS 2488889 HAS SOUPS 2392157 WITH SCORE 2399764.986
AT ITER 1173 NEW BEST:: SOT 12032425 SOS 7605226 HAS SOPS 6309683 HAS SOUS 2488513 HAS SOUPS 2391781 WITH SCORE 2399386.226
AT ITER 1181 NEW BEST:: SOT 12032617 SOS 7606573 HAS SOPS 6311588 HAS SOUS 2488225 HAS SOUPS 2391493 WITH SCORE 2399099.573
AT ITER 1188 NEW BEST:: SOT 12032049 SOS 7605752 HAS SOPS 6311294 HAS SOUS 2488099 HAS SOUPS 2391380 WITH SCORE 2398985.752
AT ITER 1189 NEW BEST:: SOT 12029389 SOS 7601426 HAS SOPS 6306634 HAS SOUS 2487009 HAS SOUPS 2390290 WITH SCORE 2397891.426
AT ITER 1193 NEW BEST:: SOT 12028476 SOS 7600513 HAS SOPS 6305225 HAS SOUS 2484228 HAS SOUPS 2387509 WITH SCORE 2395109.513
AT ITER 1197 NEW BEST:: SOT 12025584 SOS 7596019 HAS SOPS 6298013 HAS SOUS 2478543 HAS SOUPS 2381711 WITH SCORE 2389307.019
AT ITER 1199 NEW BEST:: SOT 12023436 SOS 7593894 HAS SOPS 6294763 HAS SOUS 2469628 HAS SOUPS 2372794 WITH SCORE 2380387.894
AT ITER 1201 NEW BEST:: SOT 12023064 SOS 7591625 HAS SOPS 6296801 HAS SOUS 2468746 HAS SOUPS 2371912 WITH SCORE 2379503.625
AT ITER 1203 NEW BEST:: SOT 12025869 SOS 7597766 HAS SOPS 6301418 HAS SOUS 2467529 HAS SOUPS 2370695 WITH SCORE 2378292.766
AT ITER 1209 NEW BEST:: SOT 12024334 SOS 7596636 HAS SOPS 6302869 HAS SOUS 2462256 HAS SOUPS 2365533 WITH SCORE 2373129.636
AT ITER 1241 NEW BEST:: SOT 12024829 SOS 7600512 HAS SOPS 6307705 HAS SOUS 2461281 HAS SOUPS 2364607 WITH SCORE 2372207.512
AT ITER 1247 NEW BEST:: SOT 12027596 SOS 7603364 HAS SOPS 6309551 HAS SOUS 2455598 HAS SOUPS 2359090 WITH SCORE 2366693.364
AT ITER 1255 NEW BEST:: SOT 12029265 SOS 7612352 HAS SOPS 6319370 HAS SOUS 2455466 HAS SOUPS 2358958 WITH SCORE 2366570.352
AT ITER 1261 NEW BEST:: SOT 12028987 SOS 7611352 HAS SOPS 6315975 HAS SOUS 2454382 HAS SOUPS 2357874 WITH SCORE 2365485.352
AT ITER 1273 NEW BEST:: SOT 12018793 SOS 7594744 HAS SOPS 6307940 HAS SOUS 2447221 HAS SOUPS 2351049 WITH SCORE 2358643.744
AT ITER 1278 NEW BEST:: SOT 12017163 SOS 7592595 HAS SOPS 6305474 HAS SOUS 2443004 HAS SOUPS 2346832 WITH SCORE 2354424.595
AT ITER 1280 NEW BEST:: SOT 12017153 SOS 7592585 HAS SOPS 6305464 HAS SOUS 2442994 HAS SOUPS 2346822 WITH SCORE 2354414.585
AT ITER 1293 NEW BEST:: SOT 12015292 SOS 7587322 HAS SOPS 6302148 HAS SOUS 2441397 HAS SOUPS 2345225 WITH SCORE 2352812.322
AT ITER 1301 NEW BEST:: SOT 12014829 SOS 7587394 HAS SOPS 6303330 HAS SOUS 2431601 HAS SOUPS 2335304 WITH SCORE 2342891.394
AT ITER 1325 NEW BEST:: SOT 12014535 SOS 7586743 HAS SOPS 6303248 HAS SOUS 2429799 HAS SOUPS 2333502 WITH SCORE 2341088.743
AT ITER 1327 NEW BEST:: SOT 12014784 SOS 7586979 HAS SOPS 6303521 HAS SOUS 2429689 HAS SOUPS 2333389 WITH SCORE 2340975.979
AT ITER 1328 NEW BEST:: SOT 12013596 SOS 7585439 HAS SOPS 6301893 HAS SOUS 2427753 HAS SOUPS 2331464 WITH SCORE 2339049.439
AT ITER 1343 NEW BEST:: SOT 12007980 SOS 7578005 HAS SOPS 6297359 HAS SOUS 2425347 HAS SOUPS 2329074 WITH SCORE 2336652.005
AT ITER 1344 NEW BEST:: SOT 12008169 SOS 7579458 HAS SOPS 6300204 HAS SOUS 2425128 HAS SOUPS 2328855 WITH SCORE 2336434.458
AT ITER 1365 NEW BEST:: SOT 12009006 SOS 7582112 HAS SOPS 6300737 HAS SOUS 2424441 HAS SOUPS 2328168 WITH SCORE 2335750.112
AT ITER 1366 NEW BEST:: SOT 11999566 SOS 7571749 HAS SOPS 6288679 HAS SOUS 2420489 HAS SOUPS 2323634 WITH SCORE 2331205.749
AT ITER 1369 NEW BEST:: SOT 12003503 SOS 7575437 HAS SOPS 6291067 HAS SOUS 2417137 HAS SOUPS 2320446 WITH SCORE 2328021.437
AT ITER 1370 NEW BEST:: SOT 12004075 SOS 7577682 HAS SOPS 6293315 HAS SOUS 2415093 HAS SOUPS 2318402 WITH SCORE 2325979.682
AT ITER 1388 NEW BEST:: SOT 12004160 SOS 7577392 HAS SOPS 6293177 HAS SOUS 2413467 HAS SOUPS 2316776 WITH SCORE 2324353.392
AT ITER 1389 NEW BEST:: SOT 12004721 SOS 7578482 HAS SOPS 6295146 HAS SOUS 2411977 HAS SOUPS 2315347 WITH SCORE 2322925.482
AT ITER 1390 NEW BEST:: SOT 12002669 SOS 7574272 HAS SOPS 6289956 HAS SOUS 2406739 HAS SOUPS 2310205 WITH SCORE 2317779.272
AT ITER 1398 NEW BEST:: SOT 12004304 SOS 7577710 HAS SOPS 6290791 HAS SOUS 2403006 HAS SOUPS 2306472 WITH SCORE 2314049.71
AT ITER 1408 NEW BEST:: SOT 12004319 SOS 7577555 HAS SOPS 6290657 HAS SOUS 2402887 HAS SOUPS 2306369 WITH SCORE 2313946.555
AT ITER 1411 NEW BEST:: SOT 12004284 SOS 7577372 HAS SOPS 6290466 HAS SOUS 2402880 HAS SOUPS 2306362 WITH SCORE 2313939.372
AT ITER 1436 NEW BEST:: SOT 12001875 SOS 7574963 HAS SOPS 6288057 HAS SOUS 2400175 HAS SOUPS 2303657 WITH SCORE 2311231.963
AT ITER 1438 NEW BEST:: SOT 12001699 SOS 7574787 HAS SOPS 6287881 HAS SOUS 2400135 HAS SOUPS 2303617 WITH SCORE 2311191.787
AT ITER 1442 NEW BEST:: SOT 12001008 SOS 7573277 HAS SOPS 6287275 HAS SOUS 2399069 HAS SOUPS 2302803 WITH SCORE 2310376.277
AT ITER 1449 NEW BEST:: SOT 12000020 SOS 7571002 HAS SOPS 6285438 HAS SOUS 2399062 HAS SOUPS 2302796 WITH SCORE 2310367.002
AT ITER 1458 NEW BEST:: SOT 11999143 SOS 7570125 HAS SOPS 6284561 HAS SOUS 2398165 HAS SOUPS 2301899 WITH SCORE 2309469.125
AT ITER 1481 NEW BEST:: SOT 11998605 SOS 7570054 HAS SOPS 6285877 HAS SOUS 2394788 HAS SOUPS 2298432 WITH SCORE 2306002.054
AT ITER 1489 NEW BEST:: SOT 11995377 SOS 7567218 HAS SOPS 6282049 HAS SOUS 2391106 HAS SOUPS 2294707 WITH SCORE 2302274.218
AT ITER 1494 NEW BEST:: SOT 11999942 SOS 7579720 HAS SOPS 6297967 HAS SOUS 2389364 HAS SOUPS 2292965 WITH SCORE 2300544.72
AT ITER 1495 NEW BEST:: SOT 11999708 SOS 7579456 HAS SOPS 6297703 HAS SOUS 2388830 HAS SOUPS 2292431 WITH SCORE 2300010.456
AT ITER 1502 NEW BEST:: SOT 11997447 SOS 7575323 HAS SOPS 6293428 HAS SOUS 2383697 HAS SOUPS 2287504 WITH SCORE 2295079.323
AT ITER 1513 NEW BEST:: SOT 11995715 SOS 7572399 HAS SOPS 6290971 HAS SOUS 2381471 HAS SOUPS 2285334 WITH SCORE 2292906.399
AT ITER 1516 NEW BEST:: SOT 11995475 SOS 7569191 HAS SOPS 6287476 HAS SOUS 2381459 HAS SOUPS 2285322 WITH SCORE 2292891.191
AT ITER 1522 NEW BEST:: SOT 11995392 SOS 7569315 HAS SOPS 6287545 HAS SOUS 2381230 HAS SOUPS 2285093 WITH SCORE 2292662.315
AT ITER 1525 NEW BEST:: SOT 11995722 SOS 7573271 HAS SOPS 6293402 HAS SOUS 2380077 HAS SOUPS 2283940 WITH SCORE 2291513.271
AT ITER 1527 NEW BEST:: SOT 11996558 SOS 7570530 HAS SOPS 6293477 HAS SOUS 2378887 HAS SOUPS 2282750 WITH SCORE 2290320.53
AT ITER 1533 NEW BEST:: SOT 11996998 SOS 7571891 HAS SOPS 6295292 HAS SOUS 2378708 HAS SOUPS 2282509 WITH SCORE 2290080.891
AT ITER 1540 NEW BEST:: SOT 11996998 SOS 7571625 HAS SOPS 6292366 HAS SOUS 2377014 HAS SOUPS 2280759 WITH SCORE 2288330.625
AT ITER 1546 NEW BEST:: SOT 11996812 SOS 7571231 HAS SOPS 6291715 HAS SOUS 2376369 HAS SOUPS 2280127 WITH SCORE 2287698.231
AT ITER 1550 NEW BEST:: SOT 11996798 SOS 7571259 HAS SOPS 6291744 HAS SOUS 2376255 HAS SOUPS 2280015 WITH SCORE 2287586.259
AT ITER 1565 NEW BEST:: SOT 11997040 SOS 7572402 HAS SOPS 6292431 HAS SOUS 2375890 HAS SOUPS 2279650 WITH SCORE 2287222.402
AT ITER 1573 NEW BEST:: SOT 11997110 SOS 7571669 HAS SOPS 6290074 HAS SOUS 2373572 HAS SOUPS 2277332 WITH SCORE 2284903.669
AT ITER 1585 NEW BEST:: SOT 11996448 SOS 7570729 HAS SOPS 6289716 HAS SOUS 2373275 HAS SOUPS 2277035 WITH SCORE 2284605.729
AT ITER 1587 NEW BEST:: SOT 11994911 SOS 7567807 HAS SOPS 6284315 HAS SOUS 2370572 HAS SOUPS 2274269 WITH SCORE 2281836.807
AT ITER 1590 NEW BEST:: SOT 11995504 SOS 7569110 HAS SOPS 6284852 HAS SOUS 2370187 HAS SOUPS 2273884 WITH SCORE 2281453.11
AT ITER 1591 NEW BEST:: SOT 11993847 SOS 7568311 HAS SOPS 6279933 HAS SOUS 2360280 HAS SOUPS 2263977 WITH SCORE 2271545.311
AT ITER 1599 NEW BEST:: SOT 11993829 SOS 7569308 HAS SOPS 6280303 HAS SOUS 2355577 HAS SOUPS 2259274 WITH SCORE 2266843.308
AT ITER 1603 NEW BEST:: SOT 11993982 SOS 7569415 HAS SOPS 6280865 HAS SOUS 2351628 HAS SOUPS 2255260 WITH SCORE 2262829.415
AT ITER 1617 NEW BEST:: SOT 11991238 SOS 7554809 HAS SOPS 6273918 HAS SOUS 2348464 HAS SOUPS 2252357 WITH SCORE 2259911.809
AT ITER 1679 NEW BEST:: SOT 11987232 SOS 7550380 HAS SOPS 6269373 HAS SOUS 2340343 HAS SOUPS 2244236 WITH SCORE 2251786.38
AT ITER 1695 NEW BEST:: SOT 11984621 SOS 7548912 HAS SOPS 6269394 HAS SOUS 2339123 HAS SOUPS 2243016 WITH SCORE 2250564.912
AT ITER 1696 NEW BEST:: SOT 11984024 SOS 7548381 HAS SOPS 6269147 HAS SOUS 2337687 HAS SOUPS 2241580 WITH SCORE 2249128.381
AT ITER 1724 NEW BEST:: SOT 11981865 SOS 7546222 HAS SOPS 6267260 HAS SOUS 2335604 HAS SOUPS 2239769 WITH SCORE 2247315.222
AT ITER 1730 NEW BEST:: SOT 11975830 SOS 7543002 HAS SOPS 6259768 HAS SOUS 2328736 HAS SOUPS 2232897 WITH SCORE 2240440.002
AT ITER 1748 NEW BEST:: SOT 11975442 SOS 7542865 HAS SOPS 6260649 HAS SOUS 2327437 HAS SOUPS 2231648 WITH SCORE 2239190.865
AT ITER 1756 NEW BEST:: SOT 11972963 SOS 7535396 HAS SOPS 6252588 HAS SOUS 2327428 HAS SOUPS 2231597 WITH SCORE 2239132.396
AT ITER 1757 NEW BEST:: SOT 11969378 SOS 7529469 HAS SOPS 6245729 HAS SOUS 2316281 HAS SOUPS 2220390 WITH SCORE 2227919.469
AT ITER 1765 NEW BEST:: SOT 11969959 SOS 7529693 HAS SOPS 6246367 HAS SOUS 2314832 HAS SOUPS 2218959 WITH SCORE 2226488.693
AT ITER 1769 NEW BEST:: SOT 11968975 SOS 7528709 HAS SOPS 6244839 HAS SOUS 2311652 HAS SOUPS 2215779 WITH SCORE 2223307.709
AT ITER 1776 NEW BEST:: SOT 11971814 SOS 7537590 HAS SOPS 6251724 HAS SOUS 2310029 HAS SOUPS 2214156 WITH SCORE 2221693.59
AT ITER 1779 NEW BEST:: SOT 11968653 SOS 7536158 HAS SOPS 6249801 HAS SOUS 2308288 HAS SOUPS 2212415 WITH SCORE 2219951.158
AT ITER 1781 NEW BEST:: SOT 11968208 SOS 7535689 HAS SOPS 6249184 HAS SOUS 2307960 HAS SOUPS 2211891 WITH SCORE 2219426.689
AT ITER 1803 NEW BEST:: SOT 11969009 SOS 7538908 HAS SOPS 6250553 HAS SOUS 2304164 HAS SOUPS 2208095 WITH SCORE 2215633.908
AT ITER 1821 NEW BEST:: SOT 11967798 SOS 7537052 HAS SOPS 6248615 HAS SOUS 2301981 HAS SOUPS 2205933 WITH SCORE 2213470.052
AT ITER 1829 NEW BEST:: SOT 11968335 SOS 7536654 HAS SOPS 6250187 HAS SOUS 2300052 HAS SOUPS 2205240 WITH SCORE 2212776.654
AT ITER 1841 NEW BEST:: SOT 11968302 SOS 7535510 HAS SOPS 6248607 HAS SOUS 2299740 HAS SOUPS 2204928 WITH SCORE 2212463.51
AT ITER 1844 NEW BEST:: SOT 11968229 SOS 7535010 HAS SOPS 6248187 HAS SOUS 2299600 HAS SOUPS 2204788 WITH SCORE 2212323.01
AT ITER 1855 NEW BEST:: SOT 11967507 SOS 7534288 HAS SOPS 6247001 HAS SOUS 2297374 HAS SOUPS 2202562 WITH SCORE 2210096.288
AT ITER 1856 NEW BEST:: SOT 11965982 SOS 7536079 HAS SOPS 6246112 HAS SOUS 2293130 HAS SOUPS 2198318 WITH SCORE 2205854.079
AT ITER 1857 NEW BEST:: SOT 11967433 SOS 7539118 HAS SOPS 6249895 HAS SOUS 2292289 HAS SOUPS 2197477 WITH SCORE 2205016.118
AT ITER 1872 NEW BEST:: SOT 11966645 SOS 7534362 HAS SOPS 6243821 HAS SOUS 2288570 HAS SOUPS 2193839 WITH SCORE 2201373.362
AT ITER 1874 NEW BEST:: SOT 11964395 SOS 7528589 HAS SOPS 6233856 HAS SOUS 2281940 HAS SOUPS 2187209 WITH SCORE 2194737.589
AT ITER 1877 NEW BEST:: SOT 11964129 SOS 7528323 HAS SOPS 6233446 HAS SOUS 2282030 HAS SOUPS 2187083 WITH SCORE 2194611.323
AT ITER 1880 NEW BEST:: SOT 11964736 SOS 7531771 HAS SOPS 6235313 HAS SOUS 2280785 HAS SOUPS 2185838 WITH SCORE 2193369.771
AT ITER 1886 NEW BEST:: SOT 11959862 SOS 7527626 HAS SOPS 6231634 HAS SOUS 2271830 HAS SOUPS 2176883 WITH SCORE 2184410.626
AT ITER 1901 NEW BEST:: SOT 11959697 SOS 7527056 HAS SOPS 6231095 HAS SOUS 2271502 HAS SOUPS 2176734 WITH SCORE 2184261.056
AT ITER 1902 NEW BEST:: SOT 11956241 SOS 7523600 HAS SOPS 6227607 HAS SOUS 2268174 HAS SOUPS 2173406 WITH SCORE 2180929.6
AT ITER 1903 NEW BEST:: SOT 11956074 SOS 7523349 HAS SOPS 6227062 HAS SOUS 2267009 HAS SOUPS 2172281 WITH SCORE 2179804.349
AT ITER 1913 NEW BEST:: SOT 11956046 SOS 7523297 HAS SOPS 6226998 HAS SOUS 2266994 HAS SOUPS 2172266 WITH SCORE 2179789.297
AT ITER 1914 NEW BEST:: SOT 11948272 SOS 7514361 HAS SOPS 6216955 HAS SOUS 2255539 HAS SOUPS 2160797 WITH SCORE 2168311.361
AT ITER 1931 NEW BEST:: SOT 11947987 SOS 7514024 HAS SOPS 6216283 HAS SOUS 2254908 HAS SOUPS 2160166 WITH SCORE 2167680.024
AT ITER 1932 NEW BEST:: SOT 11947389 SOS 7513426 HAS SOPS 6215253 HAS SOUS 2252186 HAS SOUPS 2157444 WITH SCORE 2164957.426
AT ITER 1941 NEW BEST:: SOT 11939768 SOS 7505805 HAS SOPS 6206816 HAS SOUS 2241205 HAS SOUPS 2146399 WITH SCORE 2153904.805
AT ITER 1958 NEW BEST:: SOT 11937317 SOS 7503113 HAS SOPS 6204258 HAS SOUS 2237417 HAS SOUPS 2142691 WITH SCORE 2150194.113
AT ITER 1979 NEW BEST:: SOT 11936065 SOS 7501620 HAS SOPS 6201656 HAS SOUS 2234079 HAS SOUPS 2139417 WITH SCORE 2146918.62
AT ITER 2001 NEW BEST:: SOT 11938013 SOS 7505016 HAS SOPS 6205979 HAS SOUS 2233470 HAS SOUPS 2138738 WITH SCORE 2146243.016
AT ITER 2008 NEW BEST:: SOT 11934134 SOS 7499939 HAS SOPS 6198666 HAS SOUS 2230466 HAS SOUPS 2134215 WITH SCORE 2141714.939
AT ITER 2015 NEW BEST:: SOT 11933551 SOS 7499356 HAS SOPS 6198083 HAS SOUS 2229843 HAS SOUPS 2133592 WITH SCORE 2141091.356
AT ITER 2026 NEW BEST:: SOT 11933489 SOS 7499283 HAS SOPS 6197999 HAS SOUS 2229722 HAS SOUPS 2133471 WITH SCORE 2140970.283
AT ITER 2050 NEW BEST:: SOT 11933483 SOS 7499259 HAS SOPS 6197981 HAS SOUS 2229622 HAS SOUPS 2133404 WITH SCORE 2140903.259
AT ITER 2063 NEW BEST:: SOT 11933293 SOS 7499139 HAS SOPS 6197686 HAS SOUS 2229159 HAS SOUPS 2132941 WITH SCORE 2140440.139
AT ITER 2066 NEW BEST:: SOT 11936083 SOS 7501292 HAS SOPS 6198642 HAS SOUS 2225097 HAS SOUPS 2128925 WITH SCORE 2136426.292
AT ITER 2071 NEW BEST:: SOT 11935227 SOS 7500624 HAS SOPS 6198199 HAS SOUS 2223315 HAS SOUPS 2127176 WITH SCORE 2134676.624
AT ITER 2088 NEW BEST:: SOT 11934213 SOS 7498806 HAS SOPS 6195623 HAS SOUS 2222838 HAS SOUPS 2126669 WITH SCORE 2134167.806
AT ITER 2090 NEW BEST:: SOT 11935203 SOS 7503029 HAS SOPS 6201635 HAS SOUS 2221522 HAS SOUPS 2125435 WITH SCORE 2132938.029
AT ITER 2109 NEW BEST:: SOT 11935203 SOS 7502959 HAS SOPS 6201560 HAS SOUS 2221477 HAS SOUPS 2125390 WITH SCORE 2132892.959
AT ITER 2116 NEW BEST:: SOT 11935060 SOS 7502574 HAS SOPS 6200842 HAS SOUS 2220230 HAS SOUPS 2124143 WITH SCORE 2131645.574
AT ITER 2122 NEW BEST:: SOT 11933172 SOS 7499565 HAS SOPS 6197197 HAS SOUS 2217575 HAS SOUPS 2121449 WITH SCORE 2128948.565
AT ITER 2144 NEW BEST:: SOT 11932736 SOS 7499128 HAS SOPS 6196600 HAS SOUS 2216675 HAS SOUPS 2120549 WITH SCORE 2128048.128
AT ITER 2148 NEW BEST:: SOT 11927090 SOS 7491240 HAS SOPS 6185383 HAS SOUS 2206530 HAS SOUPS 2110122 WITH SCORE 2117613.24
AT ITER 2149 NEW BEST:: SOT 11933610 SOS 7500371 HAS SOPS 6195059 HAS SOUS 2205796 HAS SOUPS 2109388 WITH SCORE 2116888.371
AT ITER 2158 NEW BEST:: SOT 11939298 SOS 7505536 HAS SOPS 6200224 HAS SOUS 2203844 HAS SOUPS 2107436 WITH SCORE 2114941.536
AT ITER 2169 NEW BEST:: SOT 11939284 SOS 7507064 HAS SOPS 6201435 HAS SOUS 2203841 HAS SOUPS 2107433 WITH SCORE 2114940.064
AT ITER 2174 NEW BEST:: SOT 11943032 SOS 7511461 HAS SOPS 6206224 HAS SOUS 2200514 HAS SOUPS 2104106 WITH SCORE 2111617.461
AT ITER 2181 NEW BEST:: SOT 11941115 SOS 7507374 HAS SOPS 6202672 HAS SOUS 2197606 HAS SOUPS 2101222 WITH SCORE 2108729.374
AT ITER 2190 NEW BEST:: SOT 11942601 SOS 7508954 HAS SOPS 6204652 HAS SOUS 2197097 HAS SOUPS 2100713 WITH SCORE 2108221.954
AT ITER 2211 NEW BEST:: SOT 11944274 SOS 7517120 HAS SOPS 6210734 HAS SOUS 2191989 HAS SOUPS 2095605 WITH SCORE 2103122.12
AT ITER 2232 NEW BEST:: SOT 11944571 SOS 7518643 HAS SOPS 6211756 HAS SOUS 2191550 HAS SOUPS 2095166 WITH SCORE 2102684.643
AT ITER 2246 NEW BEST:: SOT 11944463 SOS 7516156 HAS SOPS 6208942 HAS SOUS 2191140 HAS SOUPS 2094756 WITH SCORE 2102272.156
AT ITER 2253 NEW BEST:: SOT 11942673 SOS 7514353 HAS SOPS 6206795 HAS SOUS 2188975 HAS SOUPS 2092591 WITH SCORE 2100105.353
AT ITER 2279 NEW BEST:: SOT 11941867 SOS 7513734 HAS SOPS 6205696 HAS SOUS 2188515 HAS SOUPS 2092131 WITH SCORE 2099644.734
AT ITER 2292 NEW BEST:: SOT 11940755 SOS 7512622 HAS SOPS 6204584 HAS SOUS 2187259 HAS SOUPS 2090875 WITH SCORE 2098387.622
AT ITER 2302 NEW BEST:: SOT 11941437 SOS 7514258 HAS SOPS 6206761 HAS SOUS 2187184 HAS SOUPS 2090800 WITH SCORE 2098314.258
AT ITER 2306 NEW BEST:: SOT 11941227 SOS 7515098 HAS SOPS 6207931 HAS SOUS 2184074 HAS SOUPS 2087690 WITH SCORE 2095205.098
AT ITER 2311 NEW BEST:: SOT 11940011 SOS 7514394 HAS SOPS 6207305 HAS SOUS 2180950 HAS SOUPS 2084566 WITH SCORE 2092080.394
AT ITER 2323 NEW BEST:: SOT 11938884 SOS 7512967 HAS SOPS 6204540 HAS SOUS 2179249 HAS SOUPS 2082865 WITH SCORE 2090377.967
AT ITER 2347 NEW BEST:: SOT 11938832 SOS 7512715 HAS SOPS 6204264 HAS SOUS 2179161 HAS SOUPS 2082777 WITH SCORE 2090289.715
AT ITER 2386 NEW BEST:: SOT 11938820 SOS 7512759 HAS SOPS 6204348 HAS SOUS 2179159 HAS SOUPS 2082775 WITH SCORE 2090287.759
AT ITER 2393 NEW BEST:: SOT 11938788 SOS 7512727 HAS SOPS 6204300 HAS SOUS 2179127 HAS SOUPS 2082743 WITH SCORE 2090255.727
AT ITER 2410 NEW BEST:: SOT 11938738 SOS 7511541 HAS SOPS 6203362 HAS SOUS 2178993 HAS SOUPS 2082609 WITH SCORE 2090120.541
AT ITER 2417 NEW BEST:: SOT 11942107 SOS 7521186 HAS SOPS 6209906 HAS SOUS 2174973 HAS SOUPS 2078589 WITH SCORE 2086110.186
AT ITER 2419 NEW BEST:: SOT 11953267 SOS 7543017 HAS SOPS 6233712 HAS SOUS 2163264 HAS SOUPS 2067123 WITH SCORE 2074666.017
AT ITER 2432 NEW BEST:: SOT 11945469 SOS 7529554 HAS SOPS 6225478 HAS SOUS 2159008 HAS SOUPS 2062885 WITH SCORE 2070414.554
AT ITER 2436 NEW BEST:: SOT 11944064 SOS 7527991 HAS SOPS 6222904 HAS SOUS 2156068 HAS SOUPS 2059945 WITH SCORE 2067472.991
AT ITER 2442 NEW BEST:: SOT 11945883 SOS 7527698 HAS SOPS 6220861 HAS SOUS 2148419 HAS SOUPS 2052324 WITH SCORE 2059851.698
AT ITER 2444 NEW BEST:: SOT 11944910 SOS 7526631 HAS SOPS 6220345 HAS SOUS 2146998 HAS SOUPS 2050903 WITH SCORE 2058429.631
AT ITER 2446 NEW BEST:: SOT 11944844 SOS 7526565 HAS SOPS 6220279 HAS SOUS 2146592 HAS SOUPS 2050497 WITH SCORE 2058023.565
AT ITER 2449 NEW BEST:: SOT 11945752 SOS 7527666 HAS SOPS 6220302 HAS SOUS 2141520 HAS SOUPS 2045392 WITH SCORE 2052919.666
AT ITER 2454 NEW BEST:: SOT 11943098 SOS 7515305 HAS SOPS 6210405 HAS SOUS 2139755 HAS SOUPS 2043627 WITH SCORE 2051142.305
AT ITER 2455 NEW BEST:: SOT 11946355 SOS 7518562 HAS SOPS 6212654 HAS SOUS 2138716 HAS SOUPS 2042588 WITH SCORE 2050106.562
AT ITER 2483 NEW BEST:: SOT 11946394 SOS 7518596 HAS SOPS 6212694 HAS SOUS 2138658 HAS SOUPS 2042536 WITH SCORE 2050054.596
AT ITER 2484 NEW BEST:: SOT 11947269 SOS 7519423 HAS SOPS 6214492 HAS SOUS 2137695 HAS SOUPS 2041584 WITH SCORE 2049103.423
AT ITER 2519 NEW BEST:: SOT 11946980 SOS 7519653 HAS SOPS 6216378 HAS SOUS 2135387 HAS SOUPS 2039626 WITH SCORE 2047145.653
AT ITER 2521 NEW BEST:: SOT 11946590 SOS 7519263 HAS SOPS 6215988 HAS SOUS 2134997 HAS SOUPS 2039236 WITH SCORE 2046755.263
AT ITER 2526 NEW BEST:: SOT 11948995 SOS 7524157 HAS SOPS 6221844 HAS SOUS 2133477 HAS SOUPS 2037850 WITH SCORE 2045374.157
AT ITER 2529 NEW BEST:: SOT 11948736 SOS 7523872 HAS SOPS 6220993 HAS SOUS 2133424 HAS SOUPS 2037761 WITH SCORE 2045284.872
AT ITER 2537 NEW BEST:: SOT 11948524 SOS 7523078 HAS SOPS 6219069 HAS SOUS 2133098 HAS SOUPS 2037422 WITH SCORE 2044945.078
AT ITER 2542 NEW BEST:: SOT 11947925 SOS 7522479 HAS SOPS 6217910 HAS SOUS 2130427 HAS SOUPS 2034751 WITH SCORE 2042273.479
AT ITER 2560 NEW BEST:: SOT 11947705 SOS 7522259 HAS SOPS 6217114 HAS SOUS 2127539 HAS SOUPS 2031863 WITH SCORE 2039385.259
AT ITER 2564 NEW BEST:: SOT 11946206 SOS 7524293 HAS SOPS 6216169 HAS SOUS 2119453 HAS SOUPS 2023777 WITH SCORE 2031301.293
AT ITER 2570 NEW BEST:: SOT 11946220 SOS 7521581 HAS SOPS 6213475 HAS SOUS 2119439 HAS SOUPS 2023763 WITH SCORE 2031284.581
AT ITER 2583 NEW BEST:: SOT 11945913 SOS 7521154 HAS SOPS 6213018 HAS SOUS 2119117 HAS SOUPS 2023441 WITH SCORE 2030962.154
AT ITER 2599 NEW BEST:: SOT 11942857 SOS 7518711 HAS SOPS 6209906 HAS SOUS 2114262 HAS SOUPS 2018586 WITH SCORE 2026104.711
AT ITER 2619 NEW BEST:: SOT 11942779 SOS 7518633 HAS SOPS 6209828 HAS SOUS 2114178 HAS SOUPS 2018502 WITH SCORE 2026020.633
AT ITER 2623 NEW BEST:: SOT 11946649 SOS 7531981 HAS SOPS 6218540 HAS SOUS 2112891 HAS SOUPS 2017114 WITH SCORE 2024645.981
AT ITER 2647 NEW BEST:: SOT 11945229 SOS 7530561 HAS SOPS 6216944 HAS SOUS 2110463 HAS SOUPS 2014686 WITH SCORE 2022216.561
AT ITER 2650 NEW BEST:: SOT 11938847 SOS 7517021 HAS SOPS 6208819 HAS SOUS 2108116 HAS SOUPS 2012779 WITH SCORE 2020296.021
AT ITER 2651 NEW BEST:: SOT 11938265 SOS 7516344 HAS SOPS 6208103 HAS SOUS 2107117 HAS SOUPS 2011762 WITH SCORE 2019278.344
AT ITER 2654 NEW BEST:: SOT 11939101 SOS 7518179 HAS SOPS 6209896 HAS SOUS 2105732 HAS SOUPS 2010305 WITH SCORE 2017823.179
AT ITER 2669 NEW BEST:: SOT 11939128 SOS 7518483 HAS SOPS 6210420 HAS SOUS 2105545 HAS SOUPS 2010048 WITH SCORE 2017566.483
AT ITER 2691 NEW BEST:: SOT 11938567 SOS 7515897 HAS SOPS 6207244 HAS SOUS 2103750 HAS SOUPS 2008253 WITH SCORE 2015768.897
AT ITER 2697 NEW BEST:: SOT 11940217 SOS 7518390 HAS SOPS 6209504 HAS SOUS 2100818 HAS SOUPS 2005769 WITH SCORE 2013287.39
AT ITER 2712 NEW BEST:: SOT 11937326 SOS 7509418 HAS SOPS 6202548 HAS SOUS 2099424 HAS SOUPS 2004783 WITH SCORE 2012292.418
AT ITER 2719 NEW BEST:: SOT 11937331 SOS 7509270 HAS SOPS 6202639 HAS SOUS 2099277 HAS SOUPS 2004641 WITH SCORE 2012150.27
AT ITER 2734 NEW BEST:: SOT 11937078 SOS 7508957 HAS SOPS 6202206 HAS SOUS 2099069 HAS SOUPS 2004433 WITH SCORE 2011941.957
AT ITER 2741 NEW BEST:: SOT 11935723 SOS 7508099 HAS SOPS 6200712 HAS SOUS 2092137 HAS SOUPS 1997501 WITH SCORE 2005009.099
AT ITER 2743 NEW BEST:: SOT 11936699 SOS 7508456 HAS SOPS 6200108 HAS SOUS 2088994 HAS SOUPS 1994434 WITH SCORE 2001942.456
AT ITER 2746 NEW BEST:: SOT 11937237 SOS 7508994 HAS SOPS 6200238 HAS SOUS 2089124 HAS SOUPS 1994156 WITH SCORE 2001664.994
AT ITER 2748 NEW BEST:: SOT 11937208 SOS 7508965 HAS SOPS 6200105 HAS SOUS 2088855 HAS SOUPS 1993883 WITH SCORE 2001391.965
AT ITER 2769 NEW BEST:: SOT 11936234 SOS 7507991 HAS SOPS 6198571 HAS SOUS 2085505 HAS SOUPS 1990533 WITH SCORE 1998040.991
AT ITER 2776 NEW BEST:: SOT 11933278 SOS 7505035 HAS SOPS 6195007 HAS SOUS 2082165 HAS SOUPS 1986857 WITH SCORE 1994362.035
AT ITER 2779 NEW BEST:: SOT 11933326 SOS 7504519 HAS SOPS 6194773 HAS SOUS 2081807 HAS SOUPS 1986613 WITH SCORE 1994117.519
AT ITER 2793 NEW BEST:: SOT 11933243 SOS 7503887 HAS SOPS 6192723 HAS SOUS 2076667 HAS SOUPS 1981352 WITH SCORE 1988855.887
AT ITER 2804 NEW BEST:: SOT 11933197 SOS 7503375 HAS SOPS 6192080 HAS SOUS 2076647 HAS SOUPS 1981312 WITH SCORE 1988815.375
AT ITER 2807 NEW BEST:: SOT 11936320 SOS 7508707 HAS SOPS 6197919 HAS SOUS 2076409 HAS SOUPS 1981074 WITH SCORE 1988582.707
AT ITER 2816 NEW BEST:: SOT 11938019 SOS 7510458 HAS SOPS 6197962 HAS SOUS 2071971 HAS SOUPS 1976636 WITH SCORE 1984146.458
AT ITER 2822 NEW BEST:: SOT 11937412 SOS 7508899 HAS SOPS 6196063 HAS SOUS 2071054 HAS SOUPS 1975719 WITH SCORE 1983227.899
AT ITER 2843 NEW BEST:: SOT 11933433 SOS 7504920 HAS SOPS 6191876 HAS SOUS 2067291 HAS SOUPS 1971956 WITH SCORE 1979460.92
AT ITER 2868 NEW BEST:: SOT 11929926 SOS 7497794 HAS SOPS 6184612 HAS SOUS 2064462 HAS SOUPS 1969045 WITH SCORE 1976542.794
AT ITER 2874 NEW BEST:: SOT 11929837 SOS 7497610 HAS SOPS 6184191 HAS SOUS 2063807 HAS SOUPS 1968241 WITH SCORE 1975738.61
AT ITER 2880 NEW BEST:: SOT 11930674 SOS 7498235 HAS SOPS 6184591 HAS SOUS 2063728 HAS SOUPS 1968162 WITH SCORE 1975660.235
AT ITER 2883 NEW BEST:: SOT 11929653 SOS 7496722 HAS SOPS 6183034 HAS SOUS 2062752 HAS SOUPS 1967197 WITH SCORE 1974693.722
AT ITER 2891 NEW BEST:: SOT 11928758 SOS 7494948 HAS SOPS 6182106 HAS SOUS 2060467 HAS SOUPS 1964912 WITH SCORE 1972406.948
AT ITER 2906 NEW BEST:: SOT 11928424 SOS 7494519 HAS SOPS 6182401 HAS SOUS 2059605 HAS SOUPS 1964079 WITH SCORE 1971573.519
AT ITER 2909 NEW BEST:: SOT 11927710 SOS 7493739 HAS SOPS 6180605 HAS SOUS 2058702 HAS SOUPS 1963137 WITH SCORE 1970630.739
AT ITER 2925 NEW BEST:: SOT 11926670 SOS 7492317 HAS SOPS 6178940 HAS SOUS 2049820 HAS SOUPS 1954156 WITH SCORE 1961648.317
AT ITER 2945 NEW BEST:: SOT 11926046 SOS 7490863 HAS SOPS 6178126 HAS SOUS 2048256 HAS SOUPS 1952592 WITH SCORE 1960082.863
AT ITER 2952 NEW BEST:: SOT 11925934 SOS 7491991 HAS SOPS 6178381 HAS SOUS 2040474 HAS SOUPS 1944684 WITH SCORE 1952175.991
AT ITER 2953 NEW BEST:: SOT 11920318 SOS 7485302 HAS SOPS 6170475 HAS SOUS 2029924 HAS SOUPS 1934158 WITH SCORE 1941643.302
AT ITER 2958 NEW BEST:: SOT 11921449 SOS 7487390 HAS SOPS 6172695 HAS SOUS 2027222 HAS SOUPS 1931540 WITH SCORE 1939027.39
AT ITER 2967 NEW BEST:: SOT 11920907 SOS 7486863 HAS SOPS 6172012 HAS SOUS 2026068 HAS SOUPS 1930366 WITH SCORE 1937852.863
AT ITER 2975 NEW BEST:: SOT 11921063 SOS 7487221 HAS SOPS 6172075 HAS SOUS 2025772 HAS SOUPS 1930070 WITH SCORE 1937557.221
AT ITER 2983 NEW BEST:: SOT 11917470 SOS 7483740 HAS SOPS 6169986 HAS SOUS 2021191 HAS SOUPS 1925543 WITH SCORE 1933026.74
AT ITER 2992 NEW BEST:: SOT 11916750 SOS 7482304 HAS SOPS 6168456 HAS SOUS 2020305 HAS SOUPS 1924657 WITH SCORE 1932139.304
AT ITER 2996 NEW BEST:: SOT 11916796 SOS 7482492 HAS SOPS 6167006 HAS SOUS 2020064 HAS SOUPS 1924308 WITH SCORE 1931790.492
AT ITER 3004 NEW BEST:: SOT 11916730 SOS 7482324 HAS SOPS 6166838 HAS SOUS 2019960 HAS SOUPS 1924204 WITH SCORE 1931686.324
AT ITER 3008 NEW BEST:: SOT 11902702 SOS 7460446 HAS SOPS 6145882 HAS SOUS 2005945 HAS SOUPS 1910308 WITH SCORE 1917768.446
AT ITER 3013 NEW BEST:: SOT 11902246 SOS 7459990 HAS SOPS 6145426 HAS SOUS 2005489 HAS SOUPS 1909852 WITH SCORE 1917311.99
AT ITER 3034 NEW BEST:: SOT 11899243 SOS 7456987 HAS SOPS 6142423 HAS SOUS 2002238 HAS SOUPS 1906601 WITH SCORE 1914057.987
AT ITER 3038 NEW BEST:: SOT 11899140 SOS 7456916 HAS SOPS 6142348 HAS SOUS 2002039 HAS SOUPS 1906402 WITH SCORE 1913858.916
AT ITER 3047 NEW BEST:: SOT 11899342 SOS 7457851 HAS SOPS 6143279 HAS SOUS 2000056 HAS SOUPS 1904470 WITH SCORE 1911927.851
AT ITER 3077 NEW BEST:: SOT 11898806 SOS 7457315 HAS SOPS 6142567 HAS SOUS 1998856 HAS SOUPS 1903270 WITH SCORE 1910727.315
AT ITER 3091 NEW BEST:: SOT 11899015 SOS 7458395 HAS SOPS 6143043 HAS SOUS 1998217 HAS SOUPS 1902631 WITH SCORE 1910089.395
AT ITER 3136 NEW BEST:: SOT 11897146 SOS 7456837 HAS SOPS 6141815 HAS SOUS 1992392 HAS SOUPS 1896829 WITH SCORE 1904285.837
AT ITER 3140 NEW BEST:: SOT 11890700 SOS 7446687 HAS SOPS 6136628 HAS SOUS 1988565 HAS SOUPS 1893130 WITH SCORE 1900576.687
AT ITER 3163 NEW BEST:: SOT 11890663 SOS 7446685 HAS SOPS 6136635 HAS SOUS 1988241 HAS SOUPS 1892806 WITH SCORE 1900252.685
AT ITER 3187 NEW BEST:: SOT 11891970 SOS 7449244 HAS SOPS 6138676 HAS SOUS 1983211 HAS SOUPS 1887966 WITH SCORE 1895415.244
AT ITER 3190 NEW BEST:: SOT 11892007 SOS 7450687 HAS SOPS 6140665 HAS SOUS 1983135 HAS SOUPS 1887890 WITH SCORE 1895340.687
AT ITER 3195 NEW BEST:: SOT 11891464 SOS 7449581 HAS SOPS 6139609 HAS SOUS 1981527 HAS SOUPS 1886348 WITH SCORE 1893797.581
AT ITER 3208 NEW BEST:: SOT 11890882 SOS 7447842 HAS SOPS 6137621 HAS SOUS 1979441 HAS SOUPS 1884262 WITH SCORE 1891709.842
AT ITER 3217 NEW BEST:: SOT 11889486 SOS 7445802 HAS SOPS 6135469 HAS SOUS 1978103 HAS SOUPS 1882924 WITH SCORE 1890369.802
AT ITER 3246 NEW BEST:: SOT 11887686 SOS 7443325 HAS SOPS 6133691 HAS SOUS 1972764 HAS SOUPS 1877649 WITH SCORE 1885092.325
AT ITER 3255 NEW BEST:: SOT 11884521 SOS 7440160 HAS SOPS 6130510 HAS SOUS 1969287 HAS SOUPS 1874172 WITH SCORE 1881612.16
AT ITER 3286 NEW BEST:: SOT 11884204 SOS 7442594 HAS SOPS 6131689 HAS SOUS 1967857 HAS SOUPS 1872742 WITH SCORE 1880184.594
AT ITER 3295 NEW BEST:: SOT 11883398 SOS 7441654 HAS SOPS 6130242 HAS SOUS 1966111 HAS SOUPS 1870982 WITH SCORE 1878423.654
AT ITER 3310 NEW BEST:: SOT 11881867 SOS 7442349 HAS SOPS 6130603 HAS SOUS 1963420 HAS SOUPS 1868291 WITH SCORE 1875733.349
AT ITER 3321 NEW BEST:: SOT 11881384 SOS 7442068 HAS SOPS 6130138 HAS SOUS 1962803 HAS SOUPS 1867674 WITH SCORE 1875116.068
AT ITER 3323 NEW BEST:: SOT 11882216 SOS 7444190 HAS SOPS 6134206 HAS SOUS 1961517 HAS SOUPS 1866388 WITH SCORE 1873832.19
AT ITER 3346 NEW BEST:: SOT 11881344 SOS 7443046 HAS SOPS 6133062 HAS SOUS 1960455 HAS SOUPS 1865326 WITH SCORE 1872769.046
AT ITER 3389 NEW BEST:: SOT 11878138 SOS 7435576 HAS SOPS 6127902 HAS SOUS 1960126 HAS SOUPS 1864997 WITH SCORE 1872432.576
AT ITER 3396 NEW BEST:: SOT 11878690 SOS 7436128 HAS SOPS 6128118 HAS SOUS 1959670 HAS SOUPS 1864541 WITH SCORE 1871977.128
AT ITER 3405 NEW BEST:: SOT 11878490 SOS 7436425 HAS SOPS 6127444 HAS SOUS 1959129 HAS SOUPS 1864000 WITH SCORE 1871436.425
AT ITER 3415 NEW BEST:: SOT 11878490 SOS 7436425 HAS SOPS 6127444 HAS SOUS 1959121 HAS SOUPS 1863992 WITH SCORE 1871428.425
AT ITER 3433 NEW BEST:: SOT 11879664 SOS 7440132 HAS SOPS 6129243 HAS SOUS 1958401 HAS SOUPS 1863251 WITH SCORE 1870691.132
AT ITER 3442 NEW BEST:: SOT 11878805 SOS 7439353 HAS SOPS 6128144 HAS SOUS 1956679 HAS SOUPS 1861519 WITH SCORE 1868958.353
AT ITER 3453 NEW BEST:: SOT 11875929 SOS 7436279 HAS SOPS 6124684 HAS SOUS 1951111 HAS SOUPS 1855951 WITH SCORE 1863387.279
AT ITER 3460 NEW BEST:: SOT 11874986 SOS 7435228 HAS SOPS 6123139 HAS SOUS 1949215 HAS SOUPS 1854055 WITH SCORE 1861490.228
AT ITER 3465 NEW BEST:: SOT 11873561 SOS 7432678 HAS SOPS 6120494 HAS SOUS 1946835 HAS SOUPS 1851675 WITH SCORE 1859107.678
AT ITER 3477 NEW BEST:: SOT 11874813 SOS 7436610 HAS SOPS 6120181 HAS SOUS 1946054 HAS SOUPS 1850894 WITH SCORE 1858330.61
AT ITER 3479 NEW BEST:: SOT 11875575 SOS 7439214 HAS SOPS 6123043 HAS SOUS 1944323 HAS SOUPS 1849234 WITH SCORE 1856673.214
AT ITER 3500 NEW BEST:: SOT 11874062 SOS 7437883 HAS SOPS 6121520 HAS SOUS 1941228 HAS SOUPS 1846139 WITH SCORE 1853576.883
AT ITER 3513 NEW BEST:: SOT 11874382 SOS 7439308 HAS SOPS 6122627 HAS SOUS 1941079 HAS SOUPS 1845990 WITH SCORE 1853429.308
AT ITER 3524 NEW BEST:: SOT 11872651 SOS 7436311 HAS SOPS 6120709 HAS SOUS 1938294 HAS SOUPS 1843260 WITH SCORE 1850696.311
AT ITER 3555 NEW BEST:: SOT 11872579 SOS 7436223 HAS SOPS 6120583 HAS SOUS 1938230 HAS SOUPS 1843196 WITH SCORE 1850632.223
AT ITER 3567 NEW BEST:: SOT 11868727 SOS 7428935 HAS SOPS 6114943 HAS SOUS 1933612 HAS SOUPS 1840147 WITH SCORE 1847575.935
AT ITER 3572 NEW BEST:: SOT 11867120 SOS 7426468 HAS SOPS 6112429 HAS SOUS 1931233 HAS SOUPS 1837768 WITH SCORE 1845194.468
AT ITER 3576 NEW BEST:: SOT 11866928 SOS 7425842 HAS SOPS 6112034 HAS SOUS 1931132 HAS SOUPS 1837667 WITH SCORE 1845092.842
AT ITER 3579 NEW BEST:: SOT 11866366 SOS 7425287 HAS SOPS 6110953 HAS SOUS 1930124 HAS SOUPS 1836625 WITH SCORE 1844050.287
AT ITER 3588 NEW BEST:: SOT 11866548 SOS 7425455 HAS SOPS 6110893 HAS SOUS 1929923 HAS SOUPS 1836430 WITH SCORE 1843855.455
AT ITER 3599 NEW BEST:: SOT 11864856 SOS 7420053 HAS SOPS 6105448 HAS SOUS 1928200 HAS SOUPS 1834707 WITH SCORE 1842127.053
AT ITER 3637 NEW BEST:: SOT 11865376 SOS 7420773 HAS SOPS 6105921 HAS SOUS 1928044 HAS SOUPS 1834537 WITH SCORE 1841957.773
AT ITER 3643 NEW BEST:: SOT 11865821 SOS 7421619 HAS SOPS 6105060 HAS SOUS 1919041 HAS SOUPS 1825534 WITH SCORE 1832955.619
AT ITER 3669 NEW BEST:: SOT 11862842 SOS 7418640 HAS SOPS 6102337 HAS SOUS 1915542 HAS SOUPS 1822579 WITH SCORE 1829997.64
AT ITER 3733 NEW BEST:: SOT 11858134 SOS 7410948 HAS SOPS 6096859 HAS SOUS 1909755 HAS SOUPS 1816792 WITH SCORE 1824202.948
AT ITER 3734 NEW BEST:: SOT 11849000 SOS 7400240 HAS SOPS 6082099 HAS SOUS 1891218 HAS SOUPS 1798281 WITH SCORE 1805681.24
AT ITER 3759 NEW BEST:: SOT 11846262 SOS 7397411 HAS SOPS 6079659 HAS SOUS 1884656 HAS SOUPS 1791813 WITH SCORE 1799210.411
AT ITER 3781 NEW BEST:: SOT 11846172 SOS 7397747 HAS SOPS 6080128 HAS SOUS 1884328 HAS SOUPS 1791485 WITH SCORE 1798882.747
AT ITER 3810 NEW BEST:: SOT 11843675 SOS 7394548 HAS SOPS 6076500 HAS SOUS 1879684 HAS SOUPS 1786886 WITH SCORE 1794280.548
AT ITER 3814 NEW BEST:: SOT 11849326 SOS 7411262 HAS SOPS 6095650 HAS SOUS 1875492 HAS SOUPS 1782899 WITH SCORE 1790310.262
AT ITER 3837 NEW BEST:: SOT 11849278 SOS 7411227 HAS SOPS 6095340 HAS SOUS 1875171 HAS SOUPS 1782559 WITH SCORE 1789970.227
AT ITER 3843 NEW BEST:: SOT 11849890 SOS 7410692 HAS SOPS 6095205 HAS SOUS 1874114 HAS SOUPS 1781502 WITH SCORE 1788912.692
AT ITER 3890 NEW BEST:: SOT 11848809 SOS 7409595 HAS SOPS 6094028 HAS SOUS 1872821 HAS SOUPS 1780209 WITH SCORE 1787618.595
AT ITER 3915 NEW BEST:: SOT 11848786 SOS 7409793 HAS SOPS 6093337 HAS SOUS 1871801 HAS SOUPS 1779164 WITH SCORE 1786573.793
AT ITER 3918 NEW BEST:: SOT 11848320 SOS 7409366 HAS SOPS 6092595 HAS SOUS 1871097 HAS SOUPS 1778453 WITH SCORE 1785862.366
AT ITER 3922 NEW BEST:: SOT 11845349 SOS 7400510 HAS SOPS 6087714 HAS SOUS 1870900 HAS SOUPS 1778367 WITH SCORE 1785767.51
AT ITER 3924 NEW BEST:: SOT 11844486 SOS 7397160 HAS SOPS 6084886 HAS SOUS 1870667 HAS SOUPS 1778134 WITH SCORE 1785531.16
AT ITER 3927 NEW BEST:: SOT 11844362 SOS 7396906 HAS SOPS 6084777 HAS SOUS 1870213 HAS SOUPS 1777680 WITH SCORE 1785076.906
AT ITER 3938 NEW BEST:: SOT 11844090 SOS 7396634 HAS SOPS 6084505 HAS SOUS 1870213 HAS SOUPS 1777680 WITH SCORE 1785076.634
AT ITER 3950 NEW BEST:: SOT 11844171 SOS 7396617 HAS SOPS 6084635 HAS SOUS 1870195 HAS SOUPS 1777669 WITH SCORE 1785065.617
AT ITER 3957 NEW BEST:: SOT 11843313 SOS 7394495 HAS SOPS 6083462 HAS SOUS 1870084 HAS SOUPS 1777583 WITH SCORE 1784977.495
AT ITER 3972 NEW BEST:: SOT 11843651 SOS 7397037 HAS SOPS 6084059 HAS SOUS 1867813 HAS SOUPS 1775312 WITH SCORE 1782709.037
AT ITER 3989 NEW BEST:: SOT 11844424 SOS 7398766 HAS SOPS 6083568 HAS SOUS 1865982 HAS SOUPS 1773365 WITH SCORE 1780763.766
AT ITER 4026 NEW BEST:: SOT 11843453 SOS 7397795 HAS SOPS 6082597 HAS SOUS 1865107 HAS SOUPS 1772490 WITH SCORE 1779887.795
AT ITER 4031 NEW BEST:: SOT 11843456 SOS 7397859 HAS SOPS 6082632 HAS SOUS 1865075 HAS SOUPS 1772458 WITH SCORE 1779855.859
AT ITER 4047 NEW BEST:: SOT 11843659 SOS 7399298 HAS SOPS 6083235 HAS SOUS 1864895 HAS SOUPS 1772278 WITH SCORE 1779677.298
AT ITER 4057 NEW BEST:: SOT 11843680 SOS 7399091 HAS SOPS 6082889 HAS SOUS 1864810 HAS SOUPS 1772193 WITH SCORE 1779592.091
AT ITER 4074 NEW BEST:: SOT 11842551 SOS 7397008 HAS SOPS 6087455 HAS SOUS 1862190 HAS SOUPS 1769573 WITH SCORE 1776970.008
AT ITER 4085 NEW BEST:: SOT 11840222 SOS 7392834 HAS SOPS 6083452 HAS SOUS 1857978 HAS SOUPS 1765432 WITH SCORE 1772824.834
AT ITER 4088 NEW BEST:: SOT 11838708 SOS 7391320 HAS SOPS 6081890 HAS SOUS 1855800 HAS SOUPS 1763254 WITH SCORE 1770645.32
AT ITER 4113 NEW BEST:: SOT 11838884 SOS 7391909 HAS SOPS 6082095 HAS SOUS 1855239 HAS SOUPS 1762669 WITH SCORE 1770060.909
AT ITER 4119 NEW BEST:: SOT 11838714 SOS 7391553 HAS SOPS 6081733 HAS SOUS 1855085 HAS SOUPS 1762515 WITH SCORE 1769906.553
AT ITER 4152 NEW BEST:: SOT 11838068 SOS 7390883 HAS SOPS 6081520 HAS SOUS 1854820 HAS SOUPS 1762250 WITH SCORE 1769640.883
AT ITER 4170 NEW BEST:: SOT 11837016 SOS 7389692 HAS SOPS 6081935 HAS SOUS 1852873 HAS SOUPS 1760411 WITH SCORE 1767800.692
AT ITER 4174 NEW BEST:: SOT 11834974 SOS 7387494 HAS SOPS 6077020 HAS SOUS 1853384 HAS SOUPS 1760282 WITH SCORE 1767669.494
AT ITER 4179 NEW BEST:: SOT 11834782 SOS 7387206 HAS SOPS 6076870 HAS SOUS 1853042 HAS SOUPS 1759946 WITH SCORE 1767333.206
AT ITER 4189 NEW BEST:: SOT 11833537 SOS 7385773 HAS SOPS 6075902 HAS SOUS 1851810 HAS SOUPS 1758743 WITH SCORE 1766128.773
AT ITER 4206 NEW BEST:: SOT 11833291 SOS 7387812 HAS SOPS 6077069 HAS SOUS 1849801 HAS SOUPS 1756734 WITH SCORE 1764121.812
AT ITER 4225 NEW BEST:: SOT 11839100 SOS 7393313 HAS SOPS 6084269 HAS SOUS 1848840 HAS SOUPS 1755843 WITH SCORE 1763236.313
AT ITER 4234 NEW BEST:: SOT 11839361 SOS 7393167 HAS SOPS 6085342 HAS SOUS 1848618 HAS SOUPS 1755621 WITH SCORE 1763014.167
AT ITER 4256 NEW BEST:: SOT 11837635 SOS 7391437 HAS SOPS 6082840 HAS SOUS 1844820 HAS SOUPS 1751812 WITH SCORE 1759203.437
AT ITER 4303 NEW BEST:: SOT 11833953 SOS 7387978 HAS SOPS 6079381 HAS SOUS 1837997 HAS SOUPS 1744989 WITH SCORE 1752376.978
AT ITER 4320 NEW BEST:: SOT 11841075 SOS 7400148 HAS SOPS 6096116 HAS SOUS 1837517 HAS SOUPS 1744637 WITH SCORE 1752037.148
AT ITER 4338 NEW BEST:: SOT 11840255 SOS 7399104 HAS SOPS 6094720 HAS SOUS 1836156 HAS SOUPS 1743276 WITH SCORE 1750675.104
AT ITER 4371 NEW BEST:: SOT 11840110 SOS 7398920 HAS SOPS 6093727 HAS SOUS 1834701 HAS SOUPS 1741821 WITH SCORE 1749219.92
AT ITER 4373 NEW BEST:: SOT 11840037 SOS 7398833 HAS SOPS 6093597 HAS SOUS 1834579 HAS SOUPS 1741699 WITH SCORE 1749097.833
AT ITER 4399 NEW BEST:: SOT 11839848 SOS 7399018 HAS SOPS 6093187 HAS SOUS 1834711 HAS SOUPS 1741366 WITH SCORE 1748765.018
AT ITER 4430 NEW BEST:: SOT 11837888 SOS 7395058 HAS SOPS 6091013 HAS SOUS 1833367 HAS SOUPS 1739916 WITH SCORE 1747311.058
AT ITER 4434 NEW BEST:: SOT 11837890 SOS 7394743 HAS SOPS 6091389 HAS SOUS 1833312 HAS SOUPS 1739861 WITH SCORE 1747255.743
AT ITER 4440 NEW BEST:: SOT 11837470 SOS 7394435 HAS SOPS 6090849 HAS SOUS 1832852 HAS SOUPS 1739391 WITH SCORE 1746785.435
AT ITER 4471 NEW BEST:: SOT 11836620 SOS 7396497 HAS SOPS 6091306 HAS SOUS 1830027 HAS SOUPS 1736566 WITH SCORE 1743962.497
AT ITER 4475 NEW BEST:: SOT 11836743 SOS 7396808 HAS SOPS 6090673 HAS SOUS 1829722 HAS SOUPS 1736261 WITH SCORE 1743657.808
AT ITER 4486 NEW BEST:: SOT 11836665 SOS 7397059 HAS SOPS 6091375 HAS SOUS 1829626 HAS SOUPS 1736165 WITH SCORE 1743562.059
AT ITER 4498 NEW BEST:: SOT 11836353 SOS 7397344 HAS SOPS 6091293 HAS SOUS 1828373 HAS SOUPS 1734912 WITH SCORE 1742309.344
AT ITER 4501 NEW BEST:: SOT 11835077 SOS 7395817 HAS SOPS 6089633 HAS SOUS 1826159 HAS SOUPS 1732678 WITH SCORE 1740073.817
AT ITER 4518 NEW BEST:: SOT 11835429 SOS 7397130 HAS SOPS 6090401 HAS SOUS 1825810 HAS SOUPS 1732314 WITH SCORE 1739711.13
AT ITER 4520 NEW BEST:: SOT 11835229 SOS 7397122 HAS SOPS 6090113 HAS SOUS 1825026 HAS SOUPS 1731530 WITH SCORE 1738927.122
AT ITER 4539 NEW BEST:: SOT 11835529 SOS 7397142 HAS SOPS 6090326 HAS SOUS 1824998 HAS SOUPS 1731502 WITH SCORE 1738899.142
AT ITER 4560 NEW BEST:: SOT 11835548 SOS 7396667 HAS SOPS 6090335 HAS SOUS 1824980 HAS SOUPS 1731484 WITH SCORE 1738880.667
AT ITER 4584 NEW BEST:: SOT 11835932 SOS 7397051 HAS SOPS 6090719 HAS SOUS 1824852 HAS SOUPS 1731356 WITH SCORE 1738753.051
AT ITER 4607 NEW BEST:: SOT 11835962 SOS 7397365 HAS SOPS 6090880 HAS SOUS 1824678 HAS SOUPS 1731182 WITH SCORE 1738579.365
AT ITER 4618 NEW BEST:: SOT 11835912 SOS 7397312 HAS SOPS 6090699 HAS SOUS 1824276 HAS SOUPS 1730780 WITH SCORE 1738177.312
AT ITER 4627 NEW BEST:: SOT 11835771 SOS 7396721 HAS SOPS 6090455 HAS SOUS 1823898 HAS SOUPS 1730421 WITH SCORE 1737817.721
AT ITER 4631 NEW BEST:: SOT 11835052 SOS 7397945 HAS SOPS 6089098 HAS SOUS 1822596 HAS SOUPS 1729119 WITH SCORE 1736516.945
AT ITER 4635 NEW BEST:: SOT 11834548 SOS 7396864 HAS SOPS 6088008 HAS SOUS 1821652 HAS SOUPS 1728175 WITH SCORE 1735571.864
AT ITER 4658 NEW BEST:: SOT 11829728 SOS 7387718 HAS SOPS 6082269 HAS SOUS 1817882 HAS SOUPS 1724911 WITH SCORE 1732298.718
AT ITER 4677 NEW BEST:: SOT 11829317 SOS 7387947 HAS SOPS 6082737 HAS SOUS 1817780 HAS SOUPS 1724809 WITH SCORE 1732196.947
AT ITER 4679 NEW BEST:: SOT 11829365 SOS 7387565 HAS SOPS 6083081 HAS SOUS 1817593 HAS SOUPS 1724622 WITH SCORE 1732009.565
AT ITER 4680 NEW BEST:: SOT 11831802 SOS 7390049 HAS SOPS 6083814 HAS SOUS 1814930 HAS SOUPS 1721959 WITH SCORE 1729349.049
AT ITER 4686 NEW BEST:: SOT 11832350 SOS 7390439 HAS SOPS 6082889 HAS SOUS 1812144 HAS SOUPS 1719173 WITH SCORE 1726563.439
AT ITER 4688 NEW BEST:: SOT 11832346 SOS 7389600 HAS SOPS 6084246 HAS SOUS 1810526 HAS SOUPS 1717401 WITH SCORE 1724790.6
AT ITER 4716 NEW BEST:: SOT 11832150 SOS 7389354 HAS SOPS 6083908 HAS SOUS 1809741 HAS SOUPS 1716616 WITH SCORE 1724005.354
AT ITER 4719 NEW BEST:: SOT 11831474 SOS 7388273 HAS SOPS 6082473 HAS SOUS 1808032 HAS SOUPS 1714907 WITH SCORE 1722295.273
AT ITER 4746 NEW BEST:: SOT 11831468 SOS 7388269 HAS SOPS 6082437 HAS SOUS 1808022 HAS SOUPS 1714897 WITH SCORE 1722285.269
AT ITER 4748 NEW BEST:: SOT 11830151 SOS 7384264 HAS SOPS 6079528 HAS SOUS 1806919 HAS SOUPS 1713794 WITH SCORE 1721178.264
AT ITER 4759 NEW BEST:: SOT 11827742 SOS 7381836 HAS SOPS 6077084 HAS SOUS 1805540 HAS SOUPS 1712751 WITH SCORE 1720132.836
AT ITER 4792 NEW BEST:: SOT 11827675 SOS 7381768 HAS SOPS 6077016 HAS SOUS 1805470 HAS SOUPS 1712681 WITH SCORE 1720062.768
AT ITER 4841 NEW BEST:: SOT 11827719 SOS 7381834 HAS SOPS 6076948 HAS SOUS 1805244 HAS SOUPS 1712444 WITH SCORE 1719825.834
AT ITER 4843 NEW BEST:: SOT 11828157 SOS 7382033 HAS SOPS 6076976 HAS SOUS 1804330 HAS SOUPS 1711574 WITH SCORE 1718956.033
AT ITER 4849 NEW BEST:: SOT 11828158 SOS 7381978 HAS SOPS 6076906 HAS SOUS 1804327 HAS SOUPS 1711571 WITH SCORE 1718952.978
AT ITER 4865 NEW BEST:: SOT 11827697 SOS 7381749 HAS SOPS 6076699 HAS SOUS 1802516 HAS SOUPS 1709782 WITH SCORE 1717163.749
AT ITER 4877 NEW BEST:: SOT 11825713 SOS 7380161 HAS SOPS 6075292 HAS SOUS 1800544 HAS SOUPS 1707952 WITH SCORE 1715332.161
AT ITER 4880 NEW BEST:: SOT 11821510 SOS 7375962 HAS SOPS 6070313 HAS SOUS 1799617 HAS SOUPS 1706769 WITH SCORE 1714144.962
AT ITER 4898 NEW BEST:: SOT 11823148 SOS 7381782 HAS SOPS 6073575 HAS SOUS 1797482 HAS SOUPS 1704626 WITH SCORE 1712007.782
AT ITER 4907 NEW BEST:: SOT 11823125 SOS 7382126 HAS SOPS 6073872 HAS SOUS 1797555 HAS SOUPS 1704621 WITH SCORE 1712003.126
AT ITER 5047 NEW BEST:: SOT 11823186 SOS 7382663 HAS SOPS 6074863 HAS SOUS 1796175 HAS SOUPS 1703241 WITH SCORE 1710623.663
AT ITER 5057 NEW BEST:: SOT 11823015 SOS 7382230 HAS SOPS 6073893 HAS SOUS 1795906 HAS SOUPS 1702972 WITH SCORE 1710354.23
AT ITER 5067 NEW BEST:: SOT 11823752 SOS 7382950 HAS SOPS 6074613 HAS SOUS 1795611 HAS SOUPS 1702677 WITH SCORE 1710059.95
AT ITER 5081 NEW BEST:: SOT 11823800 SOS 7382998 HAS SOPS 6074565 HAS SOUS 1795299 HAS SOUPS 1702365 WITH SCORE 1709747.998
AT ITER 5084 NEW BEST:: SOT 11825522 SOS 7389133 HAS SOPS 6080318 HAS SOUS 1795026 HAS SOUPS 1702092 WITH SCORE 1709481.133
AT ITER 5128 NEW BEST:: SOT 11823983 SOS 7387103 HAS SOPS 6078132 HAS SOUS 1792977 HAS SOUPS 1700043 WITH SCORE 1707430.103
AT ITER 5154 NEW BEST:: SOT 11823931 SOS 7387051 HAS SOPS 6078080 HAS SOUS 1792925 HAS SOUPS 1699991 WITH SCORE 1707378.051
AT ITER 5181 NEW BEST:: SOT 11824915 SOS 7389542 HAS SOPS 6081290 HAS SOUS 1792885 HAS SOUPS 1699987 WITH SCORE 1707376.542
AT ITER 5189 NEW BEST:: SOT 11825241 SOS 7391218 HAS SOPS 6085155 HAS SOUS 1792467 HAS SOUPS 1699569 WITH SCORE 1706960.218
AT ITER 5251 NEW BEST:: SOT 11832620 SOS 7398020 HAS SOPS 6092024 HAS SOUS 1792156 HAS SOUPS 1699334 WITH SCORE 1706732.02
AT ITER 5259 NEW BEST:: SOT 11832509 SOS 7397781 HAS SOPS 6091664 HAS SOUS 1791949 HAS SOUPS 1699124 WITH SCORE 1706521.781
AT ITER 5266 NEW BEST:: SOT 11832472 SOS 7398071 HAS SOPS 6091708 HAS SOUS 1791772 HAS SOUPS 1698947 WITH SCORE 1706345.071
AT ITER 5269 NEW BEST:: SOT 11835051 SOS 7400678 HAS SOPS 6094875 HAS SOUS 1790751 HAS SOUPS 1697926 WITH SCORE 1705326.678
AT ITER 5296 NEW BEST:: SOT 11834256 SOS 7399560 HAS SOPS 6093995 HAS SOUS 1789842 HAS SOUPS 1697035 WITH SCORE 1704434.56
AT ITER 5303 NEW BEST:: SOT 11833766 SOS 7398930 HAS SOPS 6094323 HAS SOUS 1786165 HAS SOUPS 1693358 WITH SCORE 1700756.93
AT ITER 5315 NEW BEST:: SOT 11835019 SOS 7403704 HAS SOPS 6097650 HAS SOUS 1785631 HAS SOUPS 1692824 WITH SCORE 1700227.704
AT ITER 5329 NEW BEST:: SOT 11835124 SOS 7404397 HAS SOPS 6098181 HAS SOUS 1782057 HAS SOUPS 1689199 WITH SCORE 1696603.397
AT ITER 5337 NEW BEST:: SOT 11833317 SOS 7372643 HAS SOPS 6077966 HAS SOUS 1778242 HAS SOUPS 1685867 WITH SCORE 1693239.643
AT ITER 5346 NEW BEST:: SOT 11833450 SOS 7373610 HAS SOPS 6076735 HAS SOUS 1776270 HAS SOUPS 1683895 WITH SCORE 1691268.61
AT ITER 5354 NEW BEST:: SOT 11821440 SOS 7348576 HAS SOPS 6049596 HAS SOUS 1763799 HAS SOUPS 1671256 WITH SCORE 1678604.576
AT ITER 5361 NEW BEST:: SOT 11821879 SOS 7351811 HAS SOPS 6055736 HAS SOUS 1759820 HAS SOUPS 1667277 WITH SCORE 1674628.811
AT ITER 5370 NEW BEST:: SOT 11821737 SOS 7351653 HAS SOPS 6055514 HAS SOUS 1759786 HAS SOUPS 1667239 WITH SCORE 1674590.653
AT ITER 5415 NEW BEST:: SOT 11822042 SOS 7351871 HAS SOPS 6055963 HAS SOUS 1759568 HAS SOUPS 1667129 WITH SCORE 1674480.871
AT ITER 5416 NEW BEST:: SOT 11821908 SOS 7351099 HAS SOPS 6055154 HAS SOUS 1756366 HAS SOUPS 1663927 WITH SCORE 1671278.099
AT ITER 5428 NEW BEST:: SOT 11821804 SOS 7350984 HAS SOPS 6055015 HAS SOUS 1756244 HAS SOUPS 1663805 WITH SCORE 1671155.984
AT ITER 5449 NEW BEST:: SOT 11818444 SOS 7347842 HAS SOPS 6051874 HAS SOUS 1755854 HAS SOUPS 1663415 WITH SCORE 1670762.842
AT ITER 5451 NEW BEST:: SOT 11817283 SOS 7347018 HAS SOPS 6050912 HAS SOUS 1753791 HAS SOUPS 1661289 WITH SCORE 1668636.018
AT ITER 5453 NEW BEST:: SOT 11817713 SOS 7348828 HAS SOPS 6051623 HAS SOUS 1751006 HAS SOUPS 1658504 WITH SCORE 1665852.828
AT ITER 5458 NEW BEST:: SOT 11816697 SOS 7347286 HAS SOPS 6050269 HAS SOUS 1749918 HAS SOUPS 1657416 WITH SCORE 1664763.286
AT ITER 5460 NEW BEST:: SOT 11816664 SOS 7347331 HAS SOPS 6050347 HAS SOUS 1749837 HAS SOUPS 1657335 WITH SCORE 1664682.331
AT ITER 5505 NEW BEST:: SOT 11816637 SOS 7347132 HAS SOPS 6049824 HAS SOUS 1749537 HAS SOUPS 1657035 WITH SCORE 1664382.132
AT ITER 5512 NEW BEST:: SOT 11816560 SOS 7346850 HAS SOPS 6049622 HAS SOUS 1749127 HAS SOUPS 1656653 WITH SCORE 1663999.85
AT ITER 5555 NEW BEST:: SOT 11813505 SOS 7344545 HAS SOPS 6047458 HAS SOUS 1748197 HAS SOUPS 1655723 WITH SCORE 1663067.545
AT ITER 5595 NEW BEST:: SOT 11813406 SOS 7344336 HAS SOPS 6047039 HAS SOUS 1747672 HAS SOUPS 1655198 WITH SCORE 1662542.336
AT ITER 5611 NEW BEST:: SOT 11812128 SOS 7343367 HAS SOPS 6045345 HAS SOUS 1744771 HAS SOUPS 1652297 WITH SCORE 1659640.367
AT ITER 5613 NEW BEST:: SOT 11811997 SOS 7342410 HAS SOPS 6044908 HAS SOUS 1744141 HAS SOUPS 1651919 WITH SCORE 1659261.41
AT ITER 5621 NEW BEST:: SOT 11811732 SOS 7341333 HAS SOPS 6044218 HAS SOUS 1743493 HAS SOUPS 1651271 WITH SCORE 1658612.333
AT ITER 5625 NEW BEST:: SOT 11808111 SOS 7330115 HAS SOPS 6039617 HAS SOUS 1740050 HAS SOUPS 1647873 WITH SCORE 1655203.115
AT ITER 5631 NEW BEST:: SOT 11808931 SOS 7331634 HAS SOPS 6039930 HAS SOUS 1739979 HAS SOUPS 1647802 WITH SCORE 1655133.634
AT ITER 5632 NEW BEST:: SOT 11810289 SOS 7332022 HAS SOPS 6038815 HAS SOUS 1738664 HAS SOUPS 1646557 WITH SCORE 1653889.022
AT ITER 5645 NEW BEST:: SOT 11808894 SOS 7330753 HAS SOPS 6036394 HAS SOUS 1735691 HAS SOUPS 1643431 WITH SCORE 1650761.753
AT ITER 5718 NEW BEST:: SOT 11808388 SOS 7330455 HAS SOPS 6035776 HAS SOUS 1733835 HAS SOUPS 1641575 WITH SCORE 1648905.455
AT ITER 5730 NEW BEST:: SOT 11805869 SOS 7325022 HAS SOPS 6031031 HAS SOUS 1733621 HAS SOUPS 1641361 WITH SCORE 1648686.022
AT ITER 5788 NEW BEST:: SOT 11803145 SOS 7319045 HAS SOPS 6024645 HAS SOUS 1730039 HAS SOUPS 1637815 WITH SCORE 1645134.045
AT ITER 5797 NEW BEST:: SOT 11802389 SOS 7318467 HAS SOPS 6024145 HAS SOUS 1727715 HAS SOUPS 1635491 WITH SCORE 1642809.467
AT ITER 5799 NEW BEST:: SOT 11802286 SOS 7318138 HAS SOPS 6024225 HAS SOUS 1727697 HAS SOUPS 1635473 WITH SCORE 1642791.138
AT ITER 5819 NEW BEST:: SOT 11807944 SOS 7329715 HAS SOPS 6037353 HAS SOUS 1724808 HAS SOUPS 1632408 WITH SCORE 1639737.715
AT ITER 5826 NEW BEST:: SOT 11807852 SOS 7329741 HAS SOPS 6037181 HAS SOUS 1724630 HAS SOUPS 1632230 WITH SCORE 1639559.741
AT ITER 5827 NEW BEST:: SOT 11807804 SOS 7329693 HAS SOPS 6037133 HAS SOUS 1724630 HAS SOUPS 1632230 WITH SCORE 1639559.693
AT ITER 5865 NEW BEST:: SOT 11807333 SOS 7328371 HAS SOPS 6035789 HAS SOUS 1723533 HAS SOUPS 1631133 WITH SCORE 1638461.371
AT ITER 5905 NEW BEST:: SOT 11806515 SOS 7328093 HAS SOPS 6035125 HAS SOUS 1722435 HAS SOUPS 1630035 WITH SCORE 1637363.093
AT ITER 5906 NEW BEST:: SOT 11800240 SOS 7319836 HAS SOPS 6026209 HAS SOUS 1716594 HAS SOUPS 1624123 WITH SCORE 1631442.836
AT ITER 5917 NEW BEST:: SOT 11798735 SOS 7319404 HAS SOPS 6023402 HAS SOUS 1710187 HAS SOUPS 1617716 WITH SCORE 1625035.404
AT ITER 5933 NEW BEST:: SOT 11798204 SOS 7319190 HAS SOPS 6022178 HAS SOUS 1709227 HAS SOUPS 1616717 WITH SCORE 1624036.19
AT ITER 5954 NEW BEST:: SOT 11798170 SOS 7319165 HAS SOPS 6021712 HAS SOUS 1709016 HAS SOUPS 1616506 WITH SCORE 1623825.165
AT ITER 5959 NEW BEST:: SOT 11795361 SOS 7310939 HAS SOPS 6013491 HAS SOUS 1708066 HAS SOUPS 1615717 WITH SCORE 1623027.939
AT ITER 5962 NEW BEST:: SOT 11787906 SOS 7302699 HAS SOPS 6004709 HAS SOUS 1698592 HAS SOUPS 1606170 WITH SCORE 1613472.699
AT ITER 5977 NEW BEST:: SOT 11787724 SOS 7302395 HAS SOPS 6004300 HAS SOUS 1697998 HAS SOUPS 1605576 WITH SCORE 1612878.395
AT ITER 5983 NEW BEST:: SOT 11787333 SOS 7303236 HAS SOPS 6005445 HAS SOUS 1697916 HAS SOUPS 1605494 WITH SCORE 1612797.236
AT ITER 5991 NEW BEST:: SOT 11787216 SOS 7302890 HAS SOPS 6005236 HAS SOUS 1697875 HAS SOUPS 1605453 WITH SCORE 1612755.89
AT ITER 5999 NEW BEST:: SOT 11787200 SOS 7303031 HAS SOPS 6005300 HAS SOUS 1697759 HAS SOUPS 1605337 WITH SCORE 1612640.031
AT ITER 6015 NEW BEST:: SOT 11787121 SOS 7302937 HAS SOPS 6005170 HAS SOUS 1697648 HAS SOUPS 1605226 WITH SCORE 1612528.937
AT ITER 6033 NEW BEST:: SOT 11785636 SOS 7299720 HAS SOPS 5999649 HAS SOUS 1694662 HAS SOUPS 1602240 WITH SCORE 1609539.72
AT ITER 6060 NEW BEST:: SOT 11784483 SOS 7298632 HAS SOPS 5997532 HAS SOUS 1693334 HAS SOUPS 1600886 WITH SCORE 1608184.632
AT ITER 6064 NEW BEST:: SOT 11777566 SOS 7284056 HAS SOPS 5984417 HAS SOUS 1682649 HAS SOUPS 1590294 WITH SCORE 1597578.056
AT ITER 6067 NEW BEST:: SOT 11777546 SOS 7283651 HAS SOPS 5984053 HAS SOUS 1682470 HAS SOUPS 1590115 WITH SCORE 1597398.651
AT ITER 6071 NEW BEST:: SOT 11778504 SOS 7286994 HAS SOPS 5986439 HAS SOUS 1682431 HAS SOUPS 1590076 WITH SCORE 1597362.994
AT ITER 6086 NEW BEST:: SOT 11774541 SOS 7282223 HAS SOPS 5981422 HAS SOUS 1679084 HAS SOUPS 1586729 WITH SCORE 1594011.223
AT ITER 6091 NEW BEST:: SOT 11775739 SOS 7283818 HAS SOPS 5982692 HAS SOUS 1675376 HAS SOUPS 1583106 WITH SCORE 1590389.818
AT ITER 6104 NEW BEST:: SOT 11776039 SOS 7283731 HAS SOPS 5981590 HAS SOUS 1675038 HAS SOUPS 1582590 WITH SCORE 1589873.731
AT ITER 6114 NEW BEST:: SOT 11776027 SOS 7283719 HAS SOPS 5981610 HAS SOUS 1675022 HAS SOUPS 1582574 WITH SCORE 1589857.719
AT ITER 6125 NEW BEST:: SOT 11776348 SOS 7283870 HAS SOPS 5982075 HAS SOUS 1674549 HAS SOUPS 1582242 WITH SCORE 1589525.87
AT ITER 6130 NEW BEST:: SOT 11781176 SOS 7288350 HAS SOPS 5985852 HAS SOUS 1673728 HAS SOUPS 1581443 WITH SCORE 1588731.35
AT ITER 6145 NEW BEST:: SOT 11779980 SOS 7286804 HAS SOPS 5981905 HAS SOUS 1670939 HAS SOUPS 1578654 WITH SCORE 1585940.804
AT ITER 6159 NEW BEST:: SOT 11777528 SOS 7284352 HAS SOPS 5978941 HAS SOUS 1670511 HAS SOUPS 1578226 WITH SCORE 1585510.352
AT ITER 6178 NEW BEST:: SOT 11777986 SOS 7284677 HAS SOPS 5978355 HAS SOUS 1670495 HAS SOUPS 1578210 WITH SCORE 1585494.677
AT ITER 6197 NEW BEST:: SOT 11777938 SOS 7284641 HAS SOPS 5978327 HAS SOUS 1670415 HAS SOUPS 1578130 WITH SCORE 1585414.641
AT ITER 6231 NEW BEST:: SOT 11776808 SOS 7280618 HAS SOPS 5974304 HAS SOUS 1667059 HAS SOUPS 1574774 WITH SCORE 1582054.618
AT ITER 6234 NEW BEST:: SOT 11769406 SOS 7266105 HAS SOPS 5956382 HAS SOUS 1658330 HAS SOUPS 1566045 WITH SCORE 1573311.105
AT ITER 6249 NEW BEST:: SOT 11768922 SOS 7265980 HAS SOPS 5955835 HAS SOUS 1657877 HAS SOUPS 1565579 WITH SCORE 1572844.98
AT ITER 6264 NEW BEST:: SOT 11763747 SOS 7261599 HAS SOPS 5951366 HAS SOUS 1653081 HAS SOUPS 1560717 WITH SCORE 1567978.599
AT ITER 6277 NEW BEST:: SOT 11763906 SOS 7261794 HAS SOPS 5952101 HAS SOUS 1652975 HAS SOUPS 1560630 WITH SCORE 1567891.794
AT ITER 6281 NEW BEST:: SOT 11763907 SOS 7261712 HAS SOPS 5952081 HAS SOUS 1652879 HAS SOUPS 1560534 WITH SCORE 1567795.712
AT ITER 6290 NEW BEST:: SOT 11763755 SOS 7263187 HAS SOPS 5952858 HAS SOUS 1652822 HAS SOUPS 1560477 WITH SCORE 1567740.187
AT ITER 6302 NEW BEST:: SOT 11763575 SOS 7262659 HAS SOPS 5952333 HAS SOUS 1652606 HAS SOUPS 1560261 WITH SCORE 1567523.659
AT ITER 6311 NEW BEST:: SOT 11765151 SOS 7267165 HAS SOPS 5960365 HAS SOUS 1652238 HAS SOUPS 1560042 WITH SCORE 1567309.165
AT ITER 6313 NEW BEST:: SOT 11763899 SOS 7261968 HAS SOPS 5956589 HAS SOUS 1644864 HAS SOUPS 1552775 WITH SCORE 1560036.968
AT ITER 6326 NEW BEST:: SOT 11763968 SOS 7262037 HAS SOPS 5956610 HAS SOUS 1644861 HAS SOUPS 1552724 WITH SCORE 1559986.037
AT ITER 6395 NEW BEST:: SOT 11761917 SOS 7257011 HAS SOPS 5951837 HAS SOUS 1640668 HAS SOUPS 1548531 WITH SCORE 1555788.011
AT ITER 6400 NEW BEST:: SOT 11762168 SOS 7257172 HAS SOPS 5952007 HAS SOUS 1640659 HAS SOUPS 1548522 WITH SCORE 1555779.172
AT ITER 6412 NEW BEST:: SOT 11762403 SOS 7256508 HAS SOPS 5951260 HAS SOUS 1640457 HAS SOUPS 1548320 WITH SCORE 1555576.508
AT ITER 6433 NEW BEST:: SOT 11761791 SOS 7255896 HAS SOPS 5950520 HAS SOUS 1640153 HAS SOUPS 1548016 WITH SCORE 1555271.896
AT ITER 6462 NEW BEST:: SOT 11753972 SOS 7242102 HAS SOPS 5945794 HAS SOUS 1633782 HAS SOUPS 1541820 WITH SCORE 1549062.102
AT ITER 6532 NEW BEST:: SOT 11753487 SOS 7241914 HAS SOPS 5944739 HAS SOUS 1632154 HAS SOUPS 1540192 WITH SCORE 1547433.914
AT ITER 6554 NEW BEST:: SOT 11756411 SOS 7244833 HAS SOPS 5947082 HAS SOUS 1631930 HAS SOUPS 1539968 WITH SCORE 1547212.833
AT ITER 6572 NEW BEST:: SOT 11747169 SOS 7223350 HAS SOPS 5931570 HAS SOUS 1624790 HAS SOUPS 1532828 WITH SCORE 1540051.35
AT ITER 6624 NEW BEST:: SOT 11746415 SOS 7223712 HAS SOPS 5931801 HAS SOUS 1623645 HAS SOUPS 1531683 WITH SCORE 1538906.712
AT ITER 6648 NEW BEST:: SOT 11750581 SOS 7226963 HAS SOPS 5935658 HAS SOUS 1622849 HAS SOUPS 1530887 WITH SCORE 1538113.963
AT ITER 6658 NEW BEST:: SOT 11750495 SOS 7226997 HAS SOPS 5935721 HAS SOUS 1622843 HAS SOUPS 1530881 WITH SCORE 1538107.997
AT ITER 6672 NEW BEST:: SOT 11753254 SOS 7230142 HAS SOPS 5932927 HAS SOUS 1622763 HAS SOUPS 1530797 WITH SCORE 1538027.142
AT ITER 6683 NEW BEST:: SOT 11753740 SOS 7228978 HAS SOPS 5931476 HAS SOUS 1622418 HAS SOUPS 1530590 WITH SCORE 1537818.978
AT ITER 6694 NEW BEST:: SOT 11753791 SOS 7229968 HAS SOPS 5932958 HAS SOUS 1620956 HAS SOUPS 1529128 WITH SCORE 1536357.968
AT ITER 6704 NEW BEST:: SOT 11753492 SOS 7228145 HAS SOPS 5931290 HAS SOUS 1618731 HAS SOUPS 1526903 WITH SCORE 1534131.145
AT ITER 6711 NEW BEST:: SOT 11753364 SOS 7228017 HAS SOPS 5931162 HAS SOUS 1618691 HAS SOUPS 1526863 WITH SCORE 1534091.017
AT ITER 6718 NEW BEST:: SOT 11752399 SOS 7223119 HAS SOPS 5928543 HAS SOUS 1616863 HAS SOUPS 1525072 WITH SCORE 1532295.119
AT ITER 6731 NEW BEST:: SOT 11751620 SOS 7216061 HAS SOPS 5922533 HAS SOUS 1613585 HAS SOUPS 1521794 WITH SCORE 1529010.061
AT ITER 6745 NEW BEST:: SOT 11754985 SOS 7223108 HAS SOPS 5929838 HAS SOUS 1608406 HAS SOUPS 1516696 WITH SCORE 1523919.108
AT ITER 6761 NEW BEST:: SOT 11755415 SOS 7226620 HAS SOPS 5933668 HAS SOUS 1607702 HAS SOUPS 1516045 WITH SCORE 1523271.62
AT ITER 6764 NEW BEST:: SOT 11755611 SOS 7228399 HAS SOPS 5935673 HAS SOUS 1605894 HAS SOUPS 1514264 WITH SCORE 1521492.399
AT ITER 6788 NEW BEST:: SOT 11755545 SOS 7228353 HAS SOPS 5936043 HAS SOUS 1605743 HAS SOUPS 1514113 WITH SCORE 1521341.353
AT ITER 6803 NEW BEST:: SOT 11755239 SOS 7228002 HAS SOPS 5935737 HAS SOUS 1605395 HAS SOUPS 1513792 WITH SCORE 1521020.002
AT ITER 6810 NEW BEST:: SOT 11755596 SOS 7228372 HAS SOPS 5936011 HAS SOUS 1605236 HAS SOUPS 1513633 WITH SCORE 1520861.372
AT ITER 6828 NEW BEST:: SOT 11755216 SOS 7227868 HAS SOPS 5935294 HAS SOUS 1604714 HAS SOUPS 1513111 WITH SCORE 1520338.868
AT ITER 6841 NEW BEST:: SOT 11751900 SOS 7229543 HAS SOPS 5933472 HAS SOUS 1603535 HAS SOUPS 1511594 WITH SCORE 1518823.543
AT ITER 6844 NEW BEST:: SOT 11749835 SOS 7227550 HAS SOPS 5931801 HAS SOUS 1600337 HAS SOUPS 1508502 WITH SCORE 1515729.55
AT ITER 6854 NEW BEST:: SOT 11749751 SOS 7227432 HAS SOPS 5931715 HAS SOUS 1600319 HAS SOUPS 1508484 WITH SCORE 1515711.432
AT ITER 6860 NEW BEST:: SOT 11746962 SOS 7224337 HAS SOPS 5928045 HAS SOUS 1599883 HAS SOUPS 1508129 WITH SCORE 1515353.337
AT ITER 6862 NEW BEST:: SOT 11746818 SOS 7224021 HAS SOPS 5927693 HAS SOUS 1599662 HAS SOUPS 1507908 WITH SCORE 1515132.021
AT ITER 6885 NEW BEST:: SOT 11746499 SOS 7223669 HAS SOPS 5927593 HAS SOUS 1599402 HAS SOUPS 1507679 WITH SCORE 1514902.669
AT ITER 6888 NEW BEST:: SOT 11746189 SOS 7222479 HAS SOPS 5926479 HAS SOUS 1599169 HAS SOUPS 1507446 WITH SCORE 1514668.479
AT ITER 6939 NEW BEST:: SOT 11746037 SOS 7221696 HAS SOPS 5926157 HAS SOUS 1598453 HAS SOUPS 1506738 WITH SCORE 1513959.696
AT ITER 6941 NEW BEST:: SOT 11745708 SOS 7221355 HAS SOPS 5925624 HAS SOUS 1598118 HAS SOUPS 1506403 WITH SCORE 1513624.355
AT ITER 6943 NEW BEST:: SOT 11739191 SOS 7210363 HAS SOPS 5913126 HAS SOUS 1585190 HAS SOUPS 1493475 WITH SCORE 1500685.363
AT ITER 6950 NEW BEST:: SOT 11739553 SOS 7210728 HAS SOPS 5913286 HAS SOUS 1585033 HAS SOUPS 1493318 WITH SCORE 1500528.728
AT ITER 6969 NEW BEST:: SOT 11739495 SOS 7211131 HAS SOPS 5913542 HAS SOUS 1584132 HAS SOUPS 1492428 WITH SCORE 1499639.131
AT ITER 6972 NEW BEST:: SOT 11736333 SOS 7205104 HAS SOPS 5909832 HAS SOUS 1581885 HAS SOUPS 1490256 WITH SCORE 1497461.104
AT ITER 6987 NEW BEST:: SOT 11736293 SOS 7205037 HAS SOPS 5909682 HAS SOUS 1581681 HAS SOUPS 1490064 WITH SCORE 1497269.037
AT ITER 6988 NEW BEST:: SOT 11736383 SOS 7205127 HAS SOPS 5909772 HAS SOUS 1581627 HAS SOUPS 1490010 WITH SCORE 1497215.127
AT ITER 7005 NEW BEST:: SOT 11736050 SOS 7204482 HAS SOPS 5909103 HAS SOUS 1581602 HAS SOUPS 1489995 WITH SCORE 1497199.482
AT ITER 7017 NEW BEST:: SOT 11734418 SOS 7202433 HAS SOPS 5906000 HAS SOUS 1578788 HAS SOUPS 1487154 WITH SCORE 1494356.433
AT ITER 7113 NEW BEST:: SOT 11734421 SOS 7202176 HAS SOPS 5906068 HAS SOUS 1578715 HAS SOUPS 1487081 WITH SCORE 1494283.176
AT ITER 7122 NEW BEST:: SOT 11733187 SOS 7200517 HAS SOPS 5903349 HAS SOUS 1575589 HAS SOUPS 1483920 WITH SCORE 1491120.517
AT ITER 7128 NEW BEST:: SOT 11733083 SOS 7200320 HAS SOPS 5903200 HAS SOUS 1575322 HAS SOUPS 1483674 WITH SCORE 1490874.32
AT ITER 7154 NEW BEST:: SOT 11731786 SOS 7199049 HAS SOPS 5902132 HAS SOUS 1573696 HAS SOUPS 1482048 WITH SCORE 1489247.049
AT ITER 7156 NEW BEST:: SOT 11731189 SOS 7199463 HAS SOPS 5901148 HAS SOUS 1574121 HAS SOUPS 1481280 WITH SCORE 1488479.463
AT ITER 7159 NEW BEST:: SOT 11728723 SOS 7193839 HAS SOPS 5896220 HAS SOUS 1572520 HAS SOUPS 1479679 WITH SCORE 1486872.839
AT ITER 7183 NEW BEST:: SOT 11727126 SOS 7191666 HAS SOPS 5893497 HAS SOUS 1569842 HAS SOUPS 1477001 WITH SCORE 1484192.666
AT ITER 7195 NEW BEST:: SOT 11726679 SOS 7191067 HAS SOPS 5892782 HAS SOUS 1568601 HAS SOUPS 1475760 WITH SCORE 1482951.067
AT ITER 7202 NEW BEST:: SOT 11727878 SOS 7192409 HAS SOPS 5892536 HAS SOUS 1565751 HAS SOUPS 1472910 WITH SCORE 1480102.409
AT ITER 7204 NEW BEST:: SOT 11721668 SOS 7186199 HAS SOPS 5885910 HAS SOUS 1559541 HAS SOUPS 1466284 WITH SCORE 1473470.199
AT ITER 7208 NEW BEST:: SOT 11721613 SOS 7186229 HAS SOPS 5885831 HAS SOUS 1559519 HAS SOUPS 1466202 WITH SCORE 1473388.229
AT ITER 7216 NEW BEST:: SOT 11719971 SOS 7184354 HAS SOPS 5882968 HAS SOUS 1556022 HAS SOUPS 1462671 WITH SCORE 1469855.354
AT ITER 7226 NEW BEST:: SOT 11719965 SOS 7184518 HAS SOPS 5883294 HAS SOUS 1555675 HAS SOUPS 1462324 WITH SCORE 1469508.518
AT ITER 7254 NEW BEST:: SOT 11719690 SOS 7184639 HAS SOPS 5883163 HAS SOUS 1555147 HAS SOUPS 1461778 WITH SCORE 1468962.639
AT ITER 7259 NEW BEST:: SOT 11709154 SOS 7168772 HAS SOPS 5883226 HAS SOUS 1551759 HAS SOUPS 1458625 WITH SCORE 1465793.772
AT ITER 7262 NEW BEST:: SOT 11707580 SOS 7167422 HAS SOPS 5880717 HAS SOUS 1549279 HAS SOUPS 1456124 WITH SCORE 1463291.422
AT ITER 7277 NEW BEST:: SOT 11707219 SOS 7167188 HAS SOPS 5880689 HAS SOUS 1549163 HAS SOUPS 1456008 WITH SCORE 1463175.188
AT ITER 7298 NEW BEST:: SOT 11705795 SOS 7165861 HAS SOPS 5878579 HAS SOUS 1547199 HAS SOUPS 1454029 WITH SCORE 1461194.861
AT ITER 7303 NEW BEST:: SOT 11706757 SOS 7166250 HAS SOPS 5879499 HAS SOUS 1547046 HAS SOUPS 1453913 WITH SCORE 1461079.25
AT ITER 7304 NEW BEST:: SOT 11706092 SOS 7164811 HAS SOPS 5877756 HAS SOUS 1545502 HAS SOUPS 1452369 WITH SCORE 1459533.811
AT ITER 7319 NEW BEST:: SOT 11706113 SOS 7165021 HAS SOPS 5877942 HAS SOUS 1545478 HAS SOUPS 1452345 WITH SCORE 1459510.021
AT ITER 7323 NEW BEST:: SOT 11706121 SOS 7164966 HAS SOPS 5877992 HAS SOUS 1545249 HAS SOUPS 1452123 WITH SCORE 1459287.966
AT ITER 7334 NEW BEST:: SOT 11704217 SOS 7163036 HAS SOPS 5876062 HAS SOUS 1542841 HAS SOUPS 1449715 WITH SCORE 1456878.036
AT ITER 7336 NEW BEST:: SOT 11703696 SOS 7161883 HAS SOPS 5873705 HAS SOUS 1538217 HAS SOUPS 1445126 WITH SCORE 1452287.883
AT ITER 7367 NEW BEST:: SOT 11703501 SOS 7161465 HAS SOPS 5873522 HAS SOUS 1538110 HAS SOUPS 1445019 WITH SCORE 1452180.465
AT ITER 7407 NEW BEST:: SOT 11706613 SOS 7166819 HAS SOPS 5880334 HAS SOUS 1536925 HAS SOUPS 1443960 WITH SCORE 1451126.819
AT ITER 7424 NEW BEST:: SOT 11706847 SOS 7164393 HAS SOPS 5873379 HAS SOUS 1530008 HAS SOUPS 1436933 WITH SCORE 1444097.393
AT ITER 7431 NEW BEST:: SOT 11706829 SOS 7164285 HAS SOPS 5873229 HAS SOUS 1529939 HAS SOUPS 1436864 WITH SCORE 1444028.285
AT ITER 7443 NEW BEST:: SOT 11701300 SOS 7141649 HAS SOPS 5852467 HAS SOUS 1526975 HAS SOUPS 1433959 WITH SCORE 1441100.649
AT ITER 7455 NEW BEST:: SOT 11701939 SOS 7143320 HAS SOPS 5854279 HAS SOUS 1526801 HAS SOUPS 1433808 WITH SCORE 1440951.32
AT ITER 7466 NEW BEST:: SOT 11702940 SOS 7149253 HAS SOPS 5863484 HAS SOUS 1526441 HAS SOUPS 1433448 WITH SCORE 1440597.253
AT ITER 7480 NEW BEST:: SOT 11702535 SOS 7149809 HAS SOPS 5863079 HAS SOUS 1525975 HAS SOUPS 1432982 WITH SCORE 1440131.809
AT ITER 7495 NEW BEST:: SOT 11702174 SOS 7149017 HAS SOPS 5862572 HAS SOUS 1522909 HAS SOUPS 1430140 WITH SCORE 1437289.017
AT ITER 7503 NEW BEST:: SOT 11702376 SOS 7149141 HAS SOPS 5862697 HAS SOUS 1521878 HAS SOUPS 1429165 WITH SCORE 1436314.141
AT ITER 7543 NEW BEST:: SOT 11702229 SOS 7148994 HAS SOPS 5862550 HAS SOUS 1521731 HAS SOUPS 1429018 WITH SCORE 1436166.994
AT ITER 7563 NEW BEST:: SOT 11701104 SOS 7147869 HAS SOPS 5861233 HAS SOUS 1519686 HAS SOUPS 1426973 WITH SCORE 1434120.869
AT ITER 7565 NEW BEST:: SOT 11701069 SOS 7147853 HAS SOPS 5861213 HAS SOUS 1519574 HAS SOUPS 1426862 WITH SCORE 1434009.853
AT ITER 7605 NEW BEST:: SOT 11701025 SOS 7147759 HAS SOPS 5861160 HAS SOUS 1519301 HAS SOUPS 1426589 WITH SCORE 1433736.759
AT ITER 7644 NEW BEST:: SOT 11701008 SOS 7147859 HAS SOPS 5861500 HAS SOUS 1519158 HAS SOUPS 1426446 WITH SCORE 1433593.859
AT ITER 7650 NEW BEST:: SOT 11700960 SOS 7147414 HAS SOPS 5860641 HAS SOUS 1519078 HAS SOUPS 1426366 WITH SCORE 1433513.414
AT ITER 7651 NEW BEST:: SOT 11700733 SOS 7146599 HAS SOPS 5859793 HAS SOUS 1518717 HAS SOUPS 1426005 WITH SCORE 1433151.599
AT ITER 7723 NEW BEST:: SOT 11700853 SOS 7146697 HAS SOPS 5859923 HAS SOUS 1518685 HAS SOUPS 1425973 WITH SCORE 1433119.697
AT ITER 7741 NEW BEST:: SOT 11701129 SOS 7146973 HAS SOPS 5859831 HAS SOUS 1518017 HAS SOUPS 1425225 WITH SCORE 1432371.973
AT ITER 7777 NEW BEST:: SOT 11696595 SOS 7135363 HAS SOPS 5849563 HAS SOUS 1516211 HAS SOUPS 1423419 WITH SCORE 1430554.363
AT ITER 7822 NEW BEST:: SOT 11696539 SOS 7135370 HAS SOPS 5849298 HAS SOUS 1516052 HAS SOUPS 1423247 WITH SCORE 1430382.37
AT ITER 7825 NEW BEST:: SOT 11696221 SOS 7135087 HAS SOPS 5848975 HAS SOUS 1515579 HAS SOUPS 1422769 WITH SCORE 1429904.087
AT ITER 7827 NEW BEST:: SOT 11695194 SOS 7133582 HAS SOPS 5846564 HAS SOUS 1512857 HAS SOUPS 1420008 WITH SCORE 1427141.582
AT ITER 7861 NEW BEST:: SOT 11695090 SOS 7132925 HAS SOPS 5843987 HAS SOUS 1512046 HAS SOUPS 1419197 WITH SCORE 1426329.925
AT ITER 7863 NEW BEST:: SOT 11692636 SOS 7131790 HAS SOPS 5842748 HAS SOUS 1511494 HAS SOUPS 1418645 WITH SCORE 1425776.79
AT ITER 7877 NEW BEST:: SOT 11692664 SOS 7131882 HAS SOPS 5842848 HAS SOUS 1511481 HAS SOUPS 1418633 WITH SCORE 1425764.882
AT ITER 7903 NEW BEST:: SOT 11692212 SOS 7131666 HAS SOPS 5842097 HAS SOUS 1510340 HAS SOUPS 1417492 WITH SCORE 1424623.666
AT ITER 7959 NEW BEST:: SOT 11691389 SOS 7127975 HAS SOPS 5838231 HAS SOUS 1509625 HAS SOUPS 1416777 WITH SCORE 1423904.975
AT ITER 7963 NEW BEST:: SOT 11692504 SOS 7133201 HAS SOPS 5839987 HAS SOUS 1507020 HAS SOUPS 1414124 WITH SCORE 1421257.201
AT ITER 7967 NEW BEST:: SOT 11692739 SOS 7137727 HAS SOPS 5841631 HAS SOUS 1506590 HAS SOUPS 1413694 WITH SCORE 1420831.727
AT ITER 7972 NEW BEST:: SOT 11691978 SOS 7136325 HAS SOPS 5840452 HAS SOUS 1506504 HAS SOUPS 1413608 WITH SCORE 1420744.325
AT ITER 8016 NEW BEST:: SOT 11690605 SOS 7133975 HAS SOPS 5838188 HAS SOUS 1505171 HAS SOUPS 1412275 WITH SCORE 1419408.975
AT ITER 8070 NEW BEST:: SOT 11690475 SOS 7133899 HAS SOPS 5838091 HAS SOUS 1504983 HAS SOUPS 1412087 WITH SCORE 1419220.899
AT ITER 8074 NEW BEST:: SOT 11690426 SOS 7134438 HAS SOPS 5838892 HAS SOUS 1502910 HAS SOUPS 1410014 WITH SCORE 1417148.438
AT ITER 8094 NEW BEST:: SOT 11690253 SOS 7130044 HAS SOPS 5834331 HAS SOUS 1502470 HAS SOUPS 1409574 WITH SCORE 1416704.044
AT ITER 8107 NEW BEST:: SOT 11688333 SOS 7128260 HAS SOPS 5830915 HAS SOUS 1498902 HAS SOUPS 1406006 WITH SCORE 1413134.26
AT ITER 8148 NEW BEST:: SOT 11689521 SOS 7131439 HAS SOPS 5833567 HAS SOUS 1498603 HAS SOUPS 1405707 WITH SCORE 1412838.439
AT ITER 8149 NEW BEST:: SOT 11687433 SOS 7125965 HAS SOPS 5829539 HAS SOUS 1496120 HAS SOUPS 1403324 WITH SCORE 1410449.965
AT ITER 8156 NEW BEST:: SOT 11684619 SOS 7112400 HAS SOPS 5816807 HAS SOUS 1492067 HAS SOUPS 1399377 WITH SCORE 1406489.4
AT ITER 8184 NEW BEST:: SOT 11684218 SOS 7112016 HAS SOPS 5816247 HAS SOUS 1491338 HAS SOUPS 1398648 WITH SCORE 1405760.016
AT ITER 8190 NEW BEST:: SOT 11683787 SOS 7110525 HAS SOPS 5814444 HAS SOUS 1490132 HAS SOUPS 1397442 WITH SCORE 1404552.525
AT ITER 8232 NEW BEST:: SOT 11681861 SOS 7107560 HAS SOPS 5810701 HAS SOUS 1486155 HAS SOUPS 1393417 WITH SCORE 1400524.56
AT ITER 8268 NEW BEST:: SOT 11680450 SOS 7105196 HAS SOPS 5808385 HAS SOUS 1485476 HAS SOUPS 1392738 WITH SCORE 1399843.196
AT ITER 8275 NEW BEST:: SOT 11681567 SOS 7113049 HAS SOPS 5813631 HAS SOUS 1483511 HAS SOUPS 1390756 WITH SCORE 1397869.049
AT ITER 8277 NEW BEST:: SOT 11681678 SOS 7113898 HAS SOPS 5813793 HAS SOUS 1483083 HAS SOUPS 1390328 WITH SCORE 1397441.898
AT ITER 8290 NEW BEST:: SOT 11680932 SOS 7113135 HAS SOPS 5812886 HAS SOUS 1481654 HAS SOUPS 1388947 WITH SCORE 1396060.135
AT ITER 8300 NEW BEST:: SOT 11679918 SOS 7112215 HAS SOPS 5811768 HAS SOUS 1481126 HAS SOUPS 1388404 WITH SCORE 1395516.215
AT ITER 8304 NEW BEST:: SOT 11674956 SOS 7109201 HAS SOPS 5811164 HAS SOUS 1478709 HAS SOUPS 1385987 WITH SCORE 1393096.201
AT ITER 8342 NEW BEST:: SOT 11674916 SOS 7109161 HAS SOPS 5811124 HAS SOUS 1478709 HAS SOUPS 1385987 WITH SCORE 1393096.161
AT ITER 8348 NEW BEST:: SOT 11678074 SOS 7117152 HAS SOPS 5816912 HAS SOUS 1477775 HAS SOUPS 1385053 WITH SCORE 1392170.152
AT ITER 8364 NEW BEST:: SOT 11675488 SOS 7112006 HAS SOPS 5811566 HAS SOUS 1475047 HAS SOUPS 1382325 WITH SCORE 1389437.006
AT ITER 8398 NEW BEST:: SOT 11674171 SOS 7110366 HAS SOPS 5809573 HAS SOUS 1469796 HAS SOUPS 1377011 WITH SCORE 1384121.366
AT ITER 8405 NEW BEST:: SOT 11671826 SOS 7106495 HAS SOPS 5808065 HAS SOUS 1465476 HAS SOUPS 1372691 WITH SCORE 1379797.495
AT ITER 8414 NEW BEST:: SOT 11671645 SOS 7107041 HAS SOPS 5808705 HAS SOUS 1464200 HAS SOUPS 1371415 WITH SCORE 1378522.041
AT ITER 8415 NEW BEST:: SOT 11671004 SOS 7105910 HAS SOPS 5807534 HAS SOUS 1463374 HAS SOUPS 1370594 WITH SCORE 1377699.91
AT ITER 8417 NEW BEST:: SOT 11670872 SOS 7105782 HAS SOPS 5807338 HAS SOUS 1463131 HAS SOUPS 1370339 WITH SCORE 1377444.782
AT ITER 8440 NEW BEST:: SOT 11671094 SOS 7106638 HAS SOPS 5808320 HAS SOUS 1463071 HAS SOUPS 1370279 WITH SCORE 1377385.638
AT ITER 8473 NEW BEST:: SOT 11670934 SOS 7106398 HAS SOPS 5807912 HAS SOUS 1462811 HAS SOUPS 1370016 WITH SCORE 1377122.398
AT ITER 8527 NEW BEST:: SOT 11671349 SOS 7107832 HAS SOPS 5807597 HAS SOUS 1459912 HAS SOUPS 1367117 WITH SCORE 1374224.832
AT ITER 8569 NEW BEST:: SOT 11671099 SOS 7107664 HAS SOPS 5807166 HAS SOUS 1459460 HAS SOUPS 1366665 WITH SCORE 1373772.664
AT ITER 8572 NEW BEST:: SOT 11670803 SOS 7107509 HAS SOPS 5807324 HAS SOUS 1458760 HAS SOUPS 1365965 WITH SCORE 1373072.509
AT ITER 8599 NEW BEST:: SOT 11670110 SOS 7106635 HAS SOPS 5805443 HAS SOUS 1457573 HAS SOUPS 1364759 WITH SCORE 1371865.635
AT ITER 8600 NEW BEST:: SOT 11669519 SOS 7105779 HAS SOPS 5804372 HAS SOUS 1456108 HAS SOUPS 1363294 WITH SCORE 1370399.779
AT ITER 8604 NEW BEST:: SOT 11669915 SOS 7106175 HAS SOPS 5804752 HAS SOUS 1455892 HAS SOUPS 1363078 WITH SCORE 1370184.175
AT ITER 8613 NEW BEST:: SOT 11668233 SOS 7104491 HAS SOPS 5802614 HAS SOUS 1454954 HAS SOUPS 1362072 WITH SCORE 1369176.491
AT ITER 8629 NEW BEST:: SOT 11668795 SOS 7106137 HAS SOPS 5803788 HAS SOUS 1454615 HAS SOUPS 1361733 WITH SCORE 1368839.137
AT ITER 8635 NEW BEST:: SOT 11668878 SOS 7106132 HAS SOPS 5804025 HAS SOUS 1454570 HAS SOUPS 1361694 WITH SCORE 1368800.132
AT ITER 8638 NEW BEST:: SOT 11666927 SOS 7103923 HAS SOPS 5800151 HAS SOUS 1449996 HAS SOUPS 1357117 WITH SCORE 1364220.923
AT ITER 8642 NEW BEST:: SOT 11664901 SOS 7100576 HAS SOPS 5796299 HAS SOUS 1449474 HAS SOUPS 1356534 WITH SCORE 1363634.576
AT ITER 8659 NEW BEST:: SOT 11665680 SOS 7100688 HAS SOPS 5801047 HAS SOUS 1449278 HAS SOUPS 1356446 WITH SCORE 1363546.688
AT ITER 8747 NEW BEST:: SOT 11665343 SOS 7100343 HAS SOPS 5800446 HAS SOUS 1449101 HAS SOUPS 1356077 WITH SCORE 1363177.343
AT ITER 8762 NEW BEST:: SOT 11666150 SOS 7096249 HAS SOPS 5800017 HAS SOUS 1448415 HAS SOUPS 1355391 WITH SCORE 1362487.249
AT ITER 8778 NEW BEST:: SOT 11665539 SOS 7095638 HAS SOPS 5799422 HAS SOUS 1447988 HAS SOUPS 1354964 WITH SCORE 1362059.638
AT ITER 8889 NEW BEST:: SOT 11665199 SOS 7095278 HAS SOPS 5798897 HAS SOUS 1447469 HAS SOUPS 1354445 WITH SCORE 1361540.278
AT ITER 8944 NEW BEST:: SOT 11664854 SOS 7095000 HAS SOPS 5798555 HAS SOUS 1447048 HAS SOUPS 1354024 WITH SCORE 1361119.0
AT ITER 8974 NEW BEST:: SOT 11664644 SOS 7094814 HAS SOPS 5798372 HAS SOUS 1446655 HAS SOUPS 1353631 WITH SCORE 1360725.814
AT ITER 8977 NEW BEST:: SOT 11664640 SOS 7095180 HAS SOPS 5798330 HAS SOUS 1446491 HAS SOUPS 1353450 WITH SCORE 1360545.18
AT ITER 8999 NEW BEST:: SOT 11664628 SOS 7095165 HAS SOPS 5798235 HAS SOUS 1445791 HAS SOUPS 1352750 WITH SCORE 1359845.165
AT ITER 9030 NEW BEST:: SOT 11666360 SOS 7103492 HAS SOPS 5801611 HAS SOUS 1440852 HAS SOUPS 1347731 WITH SCORE 1354834.492
AT ITER 9039 NEW BEST:: SOT 11666355 SOS 7103329 HAS SOPS 5801496 HAS SOUS 1440819 HAS SOUPS 1347698 WITH SCORE 1354801.329
AT ITER 9058 NEW BEST:: SOT 11666334 SOS 7103310 HAS SOPS 5801336 HAS SOUS 1440799 HAS SOUPS 1347678 WITH SCORE 1354781.31
AT ITER 9061 NEW BEST:: SOT 11666017 SOS 7102569 HAS SOPS 5800457 HAS SOUS 1440603 HAS SOUPS 1347471 WITH SCORE 1354573.569
AT ITER 9100 NEW BEST:: SOT 11663672 SOS 7101408 HAS SOPS 5797842 HAS SOUS 1436214 HAS SOUPS 1343082 WITH SCORE 1350183.408
AT ITER 9128 NEW BEST:: SOT 11663799 SOS 7101711 HAS SOPS 5797953 HAS SOUS 1435797 HAS SOUPS 1342657 WITH SCORE 1349758.711
AT ITER 9129 NEW BEST:: SOT 11662987 SOS 7101007 HAS SOPS 5796097 HAS SOUS 1432303 HAS SOUPS 1339163 WITH SCORE 1346264.007
AT ITER 9156 NEW BEST:: SOT 11663503 SOS 7101523 HAS SOPS 5797125 HAS SOUS 1431219 HAS SOUPS 1338463 WITH SCORE 1345564.523
AT ITER 9190 NEW BEST:: SOT 11667649 SOS 7109957 HAS SOPS 5803891 HAS SOUS 1431107 HAS SOUPS 1338351 WITH SCORE 1345460.957
AT ITER 9199 NEW BEST:: SOT 11666446 SOS 7103193 HAS SOPS 5798592 HAS SOUS 1428197 HAS SOUPS 1335493 WITH SCORE 1342596.193
AT ITER 9203 NEW BEST:: SOT 11666473 SOS 7103297 HAS SOPS 5798787 HAS SOUS 1428193 HAS SOUPS 1335489 WITH SCORE 1342592.297
AT ITER 9230 NEW BEST:: SOT 11668329 SOS 7110813 HAS SOPS 5808856 HAS SOUS 1427907 HAS SOUPS 1335203 WITH SCORE 1342313.813
AT ITER 9234 NEW BEST:: SOT 11666408 SOS 7110094 HAS SOPS 5808630 HAS SOUS 1427588 HAS SOUPS 1334884 WITH SCORE 1341994.094
AT ITER 9279 NEW BEST:: SOT 11667412 SOS 7113550 HAS SOPS 5810834 HAS SOUS 1424927 HAS SOUPS 1332223 WITH SCORE 1339336.55
AT ITER 9281 NEW BEST:: SOT 11666259 SOS 7112397 HAS SOPS 5809681 HAS SOUS 1423670 HAS SOUPS 1330966 WITH SCORE 1338078.397
AT ITER 9282 NEW BEST:: SOT 11665426 SOS 7111564 HAS SOPS 5808848 HAS SOUS 1422645 HAS SOUPS 1329941 WITH SCORE 1337052.564
AT ITER 9288 NEW BEST:: SOT 11665234 SOS 7114688 HAS SOPS 5812586 HAS SOUS 1422360 HAS SOUPS 1329656 WITH SCORE 1336770.688
AT ITER 9304 NEW BEST:: SOT 11665180 SOS 7114633 HAS SOPS 5812535 HAS SOUS 1422286 HAS SOUPS 1329586 WITH SCORE 1336700.633
AT ITER 9339 NEW BEST:: SOT 11665180 SOS 7115041 HAS SOPS 5812671 HAS SOUS 1421963 HAS SOUPS 1329263 WITH SCORE 1336378.041
AT ITER 9356 NEW BEST:: SOT 11665180 SOS 7115043 HAS SOPS 5812673 HAS SOUS 1421931 HAS SOUPS 1329231 WITH SCORE 1336346.043
AT ITER 9455 NEW BEST:: SOT 11664879 SOS 7114968 HAS SOPS 5812142 HAS SOUS 1420738 HAS SOUPS 1328038 WITH SCORE 1335152.968
AT ITER 9456 NEW BEST:: SOT 11665747 SOS 7119028 HAS SOPS 5814909 HAS SOUS 1417365 HAS SOUPS 1324670 WITH SCORE 1331789.028
AT ITER 9482 NEW BEST:: SOT 11665691 SOS 7118972 HAS SOPS 5814853 HAS SOUS 1417253 HAS SOUPS 1324558 WITH SCORE 1331676.972
AT ITER 9490 NEW BEST:: SOT 11666483 SOS 7118189 HAS SOPS 5812422 HAS SOUS 1412100 HAS SOUPS 1319368 WITH SCORE 1326486.189
AT ITER 9514 NEW BEST:: SOT 11664965 SOS 7116166 HAS SOPS 5809541 HAS SOUS 1409183 HAS SOUPS 1316403 WITH SCORE 1323519.166
AT ITER 9525 NEW BEST:: SOT 11664853 SOS 7116072 HAS SOPS 5809639 HAS SOUS 1408383 HAS SOUPS 1315603 WITH SCORE 1322719.072
AT ITER 9598 NEW BEST:: SOT 11662964 SOS 7110934 HAS SOPS 5807253 HAS SOUS 1406620 HAS SOUPS 1313840 WITH SCORE 1320950.934
AT ITER 9600 NEW BEST:: SOT 11663576 SOS 7111546 HAS SOPS 5807689 HAS SOUS 1406464 HAS SOUPS 1313684 WITH SCORE 1320795.546
AT ITER 9615 NEW BEST:: SOT 11663754 SOS 7111344 HAS SOPS 5806708 HAS SOUS 1406398 HAS SOUPS 1313618 WITH SCORE 1320729.344
AT ITER 9620 NEW BEST:: SOT 11663799 SOS 7113557 HAS SOPS 5809018 HAS SOUS 1405016 HAS SOUPS 1312236 WITH SCORE 1319349.557
AT ITER 9623 NEW BEST:: SOT 11660861 SOS 7109705 HAS SOPS 5804015 HAS SOUS 1398695 HAS SOUPS 1306003 WITH SCORE 1313112.705
AT ITER 9631 NEW BEST:: SOT 11662243 SOS 7111087 HAS SOPS 5805973 HAS SOUS 1397469 HAS SOUPS 1305353 WITH SCORE 1312464.087
AT ITER 9643 NEW BEST:: SOT 11662877 SOS 7112329 HAS SOPS 5806033 HAS SOUS 1396906 HAS SOUPS 1304767 WITH SCORE 1311879.329
AT ITER 9704 NEW BEST:: SOT 11662736 SOS 7112188 HAS SOPS 5805912 HAS SOUS 1396125 HAS SOUPS 1304098 WITH SCORE 1311210.188
AT ITER 9713 NEW BEST:: SOT 11662680 SOS 7112143 HAS SOPS 5805864 HAS SOUS 1396068 HAS SOUPS 1304041 WITH SCORE 1311153.143
AT ITER 9735 NEW BEST:: SOT 11662214 SOS 7110441 HAS SOPS 5804761 HAS SOUS 1395838 HAS SOUPS 1303831 WITH SCORE 1310941.441
AT ITER 9755 NEW BEST:: SOT 11660331 SOS 7108551 HAS SOPS 5802871 HAS SOUS 1394719 HAS SOUPS 1302712 WITH SCORE 1309820.551
AT ITER 9790 NEW BEST:: SOT 11660373 SOS 7107869 HAS SOPS 5802304 HAS SOUS 1394633 HAS SOUPS 1302626 WITH SCORE 1309733.869
AT ITER 9873 NEW BEST:: SOT 11660365 SOS 7107861 HAS SOPS 5802296 HAS SOUS 1394625 HAS SOUPS 1302618 WITH SCORE 1309725.861
AT ITER 9994 NEW BEST:: SOT 11659928 SOS 7107429 HAS SOPS 5801714 HAS SOUS 1393994 HAS SOUPS 1301987 WITH SCORE 1309094.429
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15326640 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121092 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-1"
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-1, 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-167889194100008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-1.tgz
mv RERS17pb113-PT-1 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 '
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 ;