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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 18:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 30K Feb 26 18:19 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 1679473319539

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-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 3
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 6 NEW BEST:: SOT 12196049 SOS 7746783 HAS SOPS 6415173 HAS SOUS 3043906 HAS SOUPS 2943416 WITH SCORE 2951162.783
AT ITER 7 NEW BEST:: SOT 12193888 SOS 7744400 HAS SOPS 6413008 HAS SOUS 3037842 HAS SOUPS 2937352 WITH SCORE 2945096.4
AT ITER 14 NEW BEST:: SOT 12191985 SOS 7744340 HAS SOPS 6412644 HAS SOUS 3028297 HAS SOUPS 2927807 WITH SCORE 2935551.34
AT ITER 23 NEW BEST:: SOT 12192236 SOS 7744562 HAS SOPS 6412431 HAS SOUS 3027346 HAS SOUPS 2926646 WITH SCORE 2934390.562
AT ITER 30 NEW BEST:: SOT 12192473 SOS 7744553 HAS SOPS 6412772 HAS SOUS 3026593 HAS SOUPS 2925893 WITH SCORE 2933637.553
AT ITER 40 NEW BEST:: SOT 12193007 SOS 7746233 HAS SOPS 6414854 HAS SOUS 3026131 HAS SOUPS 2925431 WITH SCORE 2933177.233
AT ITER 48 NEW BEST:: SOT 12192813 SOS 7750337 HAS SOPS 6418677 HAS SOUS 3022224 HAS SOUPS 2921524 WITH SCORE 2929274.337
AT ITER 49 NEW BEST:: SOT 12188827 SOS 7746949 HAS SOPS 6415729 HAS SOUS 3019988 HAS SOUPS 2919367 WITH SCORE 2927113.949
AT ITER 58 NEW BEST:: SOT 12191909 SOS 7757124 HAS SOPS 6423313 HAS SOUS 3016646 HAS SOUPS 2916025 WITH SCORE 2923782.124
AT ITER 62 NEW BEST:: SOT 12193823 SOS 7761500 HAS SOPS 6431461 HAS SOUS 3009083 HAS SOUPS 2908462 WITH SCORE 2916223.5
AT ITER 63 NEW BEST:: SOT 12192728 SOS 7760312 HAS SOPS 6430021 HAS SOUS 3006593 HAS SOUPS 2905990 WITH SCORE 2913750.312
AT ITER 64 NEW BEST:: SOT 12192537 SOS 7760485 HAS SOPS 6429910 HAS SOUS 3006292 HAS SOUPS 2905553 WITH SCORE 2913313.485
AT ITER 66 NEW BEST:: SOT 12192480 SOS 7760520 HAS SOPS 6429947 HAS SOUS 3005829 HAS SOUPS 2905095 WITH SCORE 2912855.52
AT ITER 69 NEW BEST:: SOT 12188864 SOS 7755442 HAS SOPS 6421547 HAS SOUS 3002551 HAS SOUPS 2901817 WITH SCORE 2909572.442
AT ITER 72 NEW BEST:: SOT 12188719 SOS 7755337 HAS SOPS 6421324 HAS SOUS 3002230 HAS SOUPS 2901496 WITH SCORE 2909251.337
AT ITER 79 NEW BEST:: SOT 12186156 SOS 7752774 HAS SOPS 6418761 HAS SOUS 2999667 HAS SOUPS 2898933 WITH SCORE 2906685.774
AT ITER 88 NEW BEST:: SOT 12185105 SOS 7751373 HAS SOPS 6416922 HAS SOUS 2997832 HAS SOUPS 2897098 WITH SCORE 2904849.373
AT ITER 89 NEW BEST:: SOT 12185476 SOS 7751709 HAS SOPS 6417293 HAS SOUS 2997292 HAS SOUPS 2896576 WITH SCORE 2904327.709
AT ITER 92 NEW BEST:: SOT 12182390 SOS 7748080 HAS SOPS 6412841 HAS SOUS 2989519 HAS SOUPS 2888872 WITH SCORE 2896620.08
AT ITER 102 NEW BEST:: SOT 12181434 SOS 7747094 HAS SOPS 6411405 HAS SOUS 2986979 HAS SOUPS 2886152 WITH SCORE 2893899.094
AT ITER 114 NEW BEST:: SOT 12176900 SOS 7742560 HAS SOPS 6406871 HAS SOUS 2982197 HAS SOUPS 2881370 WITH SCORE 2889112.56
AT ITER 115 NEW BEST:: SOT 12175155 SOS 7737675 HAS SOPS 6401317 HAS SOUS 2980207 HAS SOUPS 2879437 WITH SCORE 2887174.675
AT ITER 119 NEW BEST:: SOT 12174772 SOS 7740145 HAS SOPS 6405136 HAS SOUS 2976789 HAS SOUPS 2876019 WITH SCORE 2883759.145
AT ITER 120 NEW BEST:: SOT 12174562 SOS 7739881 HAS SOPS 6404782 HAS SOUS 2975590 HAS SOUPS 2874892 WITH SCORE 2882631.881
AT ITER 125 NEW BEST:: SOT 12174049 SOS 7738447 HAS SOPS 6403646 HAS SOUS 2973865 HAS SOUPS 2873167 WITH SCORE 2880905.447
AT ITER 129 NEW BEST:: SOT 12181106 SOS 7761869 HAS SOPS 6429767 HAS SOUS 2967645 HAS SOUPS 2867183 WITH SCORE 2874944.869
AT ITER 131 NEW BEST:: SOT 12183018 SOS 7770913 HAS SOPS 6436263 HAS SOUS 2967612 HAS SOUPS 2867150 WITH SCORE 2874920.913
AT ITER 138 NEW BEST:: SOT 12181808 SOS 7768118 HAS SOPS 6432716 HAS SOUS 2964880 HAS SOUPS 2864418 WITH SCORE 2872186.118
AT ITER 163 NEW BEST:: SOT 12178959 SOS 7766473 HAS SOPS 6429234 HAS SOUS 2957946 HAS SOUPS 2857484 WITH SCORE 2865250.473
AT ITER 165 NEW BEST:: SOT 12169578 SOS 7750415 HAS SOPS 6415097 HAS SOUS 2933064 HAS SOUPS 2832710 WITH SCORE 2840460.415
AT ITER 175 NEW BEST:: SOT 12166182 SOS 7747019 HAS SOPS 6411701 HAS SOUS 2930084 HAS SOUPS 2829730 WITH SCORE 2837477.019
AT ITER 177 NEW BEST:: SOT 12165922 SOS 7746738 HAS SOPS 6411420 HAS SOUS 2929936 HAS SOUPS 2829582 WITH SCORE 2837328.738
AT ITER 186 NEW BEST:: SOT 12165054 SOS 7746045 HAS SOPS 6410290 HAS SOUS 2928581 HAS SOUPS 2828207 WITH SCORE 2835953.045
AT ITER 187 NEW BEST:: SOT 12166419 SOS 7754920 HAS SOPS 6421309 HAS SOUS 2921852 HAS SOUPS 2821619 WITH SCORE 2829373.92
AT ITER 192 NEW BEST:: SOT 12167603 SOS 7759981 HAS SOPS 6428999 HAS SOUS 2915787 HAS SOUPS 2815546 WITH SCORE 2823305.981
AT ITER 200 NEW BEST:: SOT 12167134 SOS 7759440 HAS SOPS 6427648 HAS SOUS 2912746 HAS SOUPS 2812855 WITH SCORE 2820614.44
AT ITER 202 NEW BEST:: SOT 12173371 SOS 7770212 HAS SOPS 6435054 HAS SOUS 2903936 HAS SOUPS 2803510 WITH SCORE 2811280.212
AT ITER 228 NEW BEST:: SOT 12173177 SOS 7770347 HAS SOPS 6435008 HAS SOUS 2902983 HAS SOUPS 2802533 WITH SCORE 2810303.347
AT ITER 235 NEW BEST:: SOT 12173394 SOS 7770489 HAS SOPS 6435038 HAS SOUS 2902722 HAS SOUPS 2802272 WITH SCORE 2810042.489
AT ITER 252 NEW BEST:: SOT 12171853 SOS 7767628 HAS SOPS 6435056 HAS SOUS 2897354 HAS SOUPS 2796989 WITH SCORE 2804756.628
AT ITER 257 NEW BEST:: SOT 12171822 SOS 7768057 HAS SOPS 6435631 HAS SOUS 2894681 HAS SOUPS 2794316 WITH SCORE 2802084.057
AT ITER 262 NEW BEST:: SOT 12171911 SOS 7770817 HAS SOPS 6439306 HAS SOUS 2891195 HAS SOUPS 2790830 WITH SCORE 2798600.817
AT ITER 265 NEW BEST:: SOT 12170480 SOS 7769290 HAS SOPS 6435813 HAS SOUS 2885840 HAS SOUPS 2785543 WITH SCORE 2793312.29
AT ITER 272 NEW BEST:: SOT 12170658 SOS 7769739 HAS SOPS 6435912 HAS SOUS 2885700 HAS SOUPS 2785403 WITH SCORE 2793172.739
AT ITER 282 NEW BEST:: SOT 12170033 SOS 7768071 HAS SOPS 6435082 HAS SOUS 2885675 HAS SOUPS 2785393 WITH SCORE 2793161.071
AT ITER 284 NEW BEST:: SOT 12159925 SOS 7758213 HAS SOPS 6423648 HAS SOUS 2873558 HAS SOUPS 2773192 WITH SCORE 2780950.213
AT ITER 287 NEW BEST:: SOT 12159844 SOS 7758357 HAS SOPS 6423571 HAS SOUS 2873035 HAS SOUPS 2772660 WITH SCORE 2780418.357
AT ITER 305 NEW BEST:: SOT 12157804 SOS 7751257 HAS SOPS 6416174 HAS SOUS 2871717 HAS SOUPS 2771285 WITH SCORE 2779036.257
AT ITER 317 NEW BEST:: SOT 12154573 SOS 7747559 HAS SOPS 6410789 HAS SOUS 2864539 HAS SOUPS 2763990 WITH SCORE 2771737.559
AT ITER 343 NEW BEST:: SOT 12152554 SOS 7743743 HAS SOPS 6407081 HAS SOUS 2863352 HAS SOUPS 2762803 WITH SCORE 2770546.743
AT ITER 348 NEW BEST:: SOT 12152056 SOS 7744372 HAS SOPS 6406820 HAS SOUS 2851481 HAS SOUPS 2750829 WITH SCORE 2758573.372
AT ITER 353 NEW BEST:: SOT 12151846 SOS 7741775 HAS SOPS 6404647 HAS SOUS 2850992 HAS SOUPS 2750340 WITH SCORE 2758081.775
AT ITER 359 NEW BEST:: SOT 12150660 SOS 7739159 HAS SOPS 6402404 HAS SOUS 2846863 HAS SOUPS 2746211 WITH SCORE 2753950.159
AT ITER 371 NEW BEST:: SOT 12140995 SOS 7727890 HAS SOPS 6393391 HAS SOUS 2829288 HAS SOUPS 2728973 WITH SCORE 2736700.89
AT ITER 379 NEW BEST:: SOT 12141083 SOS 7728437 HAS SOPS 6393258 HAS SOUS 2828900 HAS SOUPS 2728568 WITH SCORE 2736296.437
AT ITER 388 NEW BEST:: SOT 12140660 SOS 7727028 HAS SOPS 6392192 HAS SOUS 2826115 HAS SOUPS 2726127 WITH SCORE 2733854.028
AT ITER 396 NEW BEST:: SOT 12137269 SOS 7724909 HAS SOPS 6390613 HAS SOUS 2817219 HAS SOUPS 2717303 WITH SCORE 2725027.909
AT ITER 397 NEW BEST:: SOT 12137527 SOS 7725160 HAS SOPS 6390759 HAS SOUS 2817141 HAS SOUPS 2717225 WITH SCORE 2724950.16
AT ITER 398 NEW BEST:: SOT 12137754 SOS 7726367 HAS SOPS 6393011 HAS SOUS 2816669 HAS SOUPS 2716753 WITH SCORE 2724479.367
AT ITER 408 NEW BEST:: SOT 12138256 SOS 7727352 HAS SOPS 6393340 HAS SOUS 2814292 HAS SOUPS 2714376 WITH SCORE 2722103.352
AT ITER 426 NEW BEST:: SOT 12137669 SOS 7726728 HAS SOPS 6392161 HAS SOUS 2811817 HAS SOUPS 2711901 WITH SCORE 2719627.728
AT ITER 430 NEW BEST:: SOT 12137585 SOS 7726622 HAS SOPS 6391725 HAS SOUS 2810005 HAS SOUPS 2710089 WITH SCORE 2717815.622
AT ITER 451 NEW BEST:: SOT 12136700 SOS 7724957 HAS SOPS 6390786 HAS SOUS 2808457 HAS SOUPS 2709212 WITH SCORE 2716936.957
AT ITER 462 NEW BEST:: SOT 12127040 SOS 7715257 HAS SOPS 6380510 HAS SOUS 2797994 HAS SOUPS 2698533 WITH SCORE 2706248.257
AT ITER 463 NEW BEST:: SOT 12125406 SOS 7714655 HAS SOPS 6378747 HAS SOUS 2788752 HAS SOUPS 2688964 WITH SCORE 2696678.655
AT ITER 467 NEW BEST:: SOT 12125312 SOS 7714599 HAS SOPS 6379544 HAS SOUS 2786670 HAS SOUPS 2686882 WITH SCORE 2694596.599
AT ITER 469 NEW BEST:: SOT 12133890 SOS 7738336 HAS SOPS 6402282 HAS SOUS 2784654 HAS SOUPS 2684866 WITH SCORE 2692604.336
AT ITER 470 NEW BEST:: SOT 12133081 SOS 7736802 HAS SOPS 6400566 HAS SOUS 2783316 HAS SOUPS 2683528 WITH SCORE 2691264.802
AT ITER 474 NEW BEST:: SOT 12133062 SOS 7737519 HAS SOPS 6401835 HAS SOUS 2783116 HAS SOUPS 2683328 WITH SCORE 2691065.519
AT ITER 477 NEW BEST:: SOT 12138032 SOS 7752052 HAS SOPS 6418709 HAS SOUS 2782989 HAS SOUPS 2683201 WITH SCORE 2690953.052
AT ITER 478 NEW BEST:: SOT 12137312 SOS 7751332 HAS SOPS 6417989 HAS SOUS 2782269 HAS SOUPS 2682481 WITH SCORE 2690232.332
AT ITER 485 NEW BEST:: SOT 12137293 SOS 7751313 HAS SOPS 6418009 HAS SOUS 2782259 HAS SOUPS 2682472 WITH SCORE 2690223.313
AT ITER 492 NEW BEST:: SOT 12135343 SOS 7751512 HAS SOPS 6423825 HAS SOUS 2777163 HAS SOUPS 2677846 WITH SCORE 2685597.512
AT ITER 494 NEW BEST:: SOT 12137522 SOS 7752357 HAS SOPS 6424908 HAS SOUS 2773890 HAS SOUPS 2674786 WITH SCORE 2682538.357
AT ITER 513 NEW BEST:: SOT 12141565 SOS 7759146 HAS SOPS 6428375 HAS SOUS 2770696 HAS SOUPS 2671572 WITH SCORE 2679331.146
AT ITER 522 NEW BEST:: SOT 12143359 SOS 7760058 HAS SOPS 6428281 HAS SOUS 2769503 HAS SOUPS 2670379 WITH SCORE 2678139.058
AT ITER 533 NEW BEST:: SOT 12141978 SOS 7757090 HAS SOPS 6425675 HAS SOUS 2768144 HAS SOUPS 2669020 WITH SCORE 2676777.09
AT ITER 542 NEW BEST:: SOT 12141966 SOS 7757134 HAS SOPS 6425763 HAS SOUS 2768124 HAS SOUPS 2669000 WITH SCORE 2676757.134
AT ITER 547 NEW BEST:: SOT 12138219 SOS 7748894 HAS SOPS 6419017 HAS SOUS 2766207 HAS SOUPS 2667330 WITH SCORE 2675078.894
AT ITER 555 NEW BEST:: SOT 12138338 SOS 7749229 HAS SOPS 6418974 HAS SOUS 2766092 HAS SOUPS 2667200 WITH SCORE 2674949.229
AT ITER 568 NEW BEST:: SOT 12133744 SOS 7745326 HAS SOPS 6414748 HAS SOUS 2754934 HAS SOUPS 2656042 WITH SCORE 2663787.326
AT ITER 577 NEW BEST:: SOT 12134608 SOS 7747991 HAS SOPS 6416844 HAS SOUS 2754195 HAS SOUPS 2655303 WITH SCORE 2663050.991
AT ITER 579 NEW BEST:: SOT 12122210 SOS 7734251 HAS SOPS 6403911 HAS SOUS 2750560 HAS SOUPS 2651805 WITH SCORE 2659539.251
AT ITER 601 NEW BEST:: SOT 12122125 SOS 7734160 HAS SOPS 6404036 HAS SOUS 2750367 HAS SOUPS 2651618 WITH SCORE 2659352.16
AT ITER 602 NEW BEST:: SOT 12122104 SOS 7733769 HAS SOPS 6403574 HAS SOUS 2750347 HAS SOUPS 2651598 WITH SCORE 2659331.769
AT ITER 606 NEW BEST:: SOT 12121717 SOS 7735919 HAS SOPS 6401667 HAS SOUS 2745170 HAS SOUPS 2644883 WITH SCORE 2652618.919
AT ITER 607 NEW BEST:: SOT 12121653 SOS 7735760 HAS SOPS 6401481 HAS SOUS 2745065 HAS SOUPS 2644778 WITH SCORE 2652513.76
AT ITER 611 NEW BEST:: SOT 12122664 SOS 7731948 HAS SOPS 6403258 HAS SOUS 2744294 HAS SOUPS 2644007 WITH SCORE 2651738.948
AT ITER 619 NEW BEST:: SOT 12122413 SOS 7731324 HAS SOPS 6403292 HAS SOUS 2743470 HAS SOUPS 2643205 WITH SCORE 2650936.324
AT ITER 621 NEW BEST:: SOT 12109886 SOS 7714547 HAS SOPS 6385518 HAS SOUS 2723603 HAS SOUPS 2623338 WITH SCORE 2631052.547
AT ITER 622 NEW BEST:: SOT 12109773 SOS 7714412 HAS SOPS 6385053 HAS SOUS 2721650 HAS SOUPS 2621385 WITH SCORE 2629099.412
AT ITER 627 NEW BEST:: SOT 12108971 SOS 7712503 HAS SOPS 6383174 HAS SOUS 2719395 HAS SOUPS 2619130 WITH SCORE 2626842.503
AT ITER 628 NEW BEST:: SOT 12109173 SOS 7714520 HAS SOPS 6385608 HAS SOUS 2719139 HAS SOUPS 2618874 WITH SCORE 2626588.52
AT ITER 636 NEW BEST:: SOT 12109393 SOS 7716247 HAS SOPS 6386546 HAS SOUS 2718182 HAS SOUPS 2617917 WITH SCORE 2625633.247
AT ITER 640 NEW BEST:: SOT 12112948 SOS 7726164 HAS SOPS 6393751 HAS SOUS 2717681 HAS SOUPS 2617416 WITH SCORE 2625142.164
AT ITER 642 NEW BEST:: SOT 12113075 SOS 7730586 HAS SOPS 6398652 HAS SOUS 2717151 HAS SOUPS 2616886 WITH SCORE 2624616.586
AT ITER 652 NEW BEST:: SOT 12111037 SOS 7729285 HAS SOPS 6395192 HAS SOUS 2712759 HAS SOUPS 2612447 WITH SCORE 2620176.285
AT ITER 661 NEW BEST:: SOT 12110984 SOS 7728624 HAS SOPS 6394520 HAS SOUS 2712708 HAS SOUPS 2612396 WITH SCORE 2620124.624
AT ITER 666 NEW BEST:: SOT 12115233 SOS 7735899 HAS SOPS 6404623 HAS SOUS 2712150 HAS SOUPS 2611838 WITH SCORE 2619573.899
AT ITER 672 NEW BEST:: SOT 12114073 SOS 7733217 HAS SOPS 6402108 HAS SOUS 2711612 HAS SOUPS 2611300 WITH SCORE 2619033.217
AT ITER 676 NEW BEST:: SOT 12114060 SOS 7733204 HAS SOPS 6402095 HAS SOUS 2711519 HAS SOUPS 2611207 WITH SCORE 2618940.204
AT ITER 699 NEW BEST:: SOT 12112705 SOS 7734035 HAS SOPS 6402964 HAS SOUS 2710361 HAS SOUPS 2610049 WITH SCORE 2617783.035
AT ITER 700 NEW BEST:: SOT 12106762 SOS 7719798 HAS SOPS 6407603 HAS SOUS 2700651 HAS SOUPS 2601020 WITH SCORE 2608739.798
AT ITER 713 NEW BEST:: SOT 12105757 SOS 7718300 HAS SOPS 6406060 HAS SOUS 2698414 HAS SOUPS 2598801 WITH SCORE 2606519.3
AT ITER 714 NEW BEST:: SOT 12105682 SOS 7718491 HAS SOPS 6406708 HAS SOUS 2698046 HAS SOUPS 2598433 WITH SCORE 2606151.491
AT ITER 717 NEW BEST:: SOT 12105074 SOS 7717869 HAS SOPS 6405876 HAS SOUS 2697018 HAS SOUPS 2597405 WITH SCORE 2605122.869
AT ITER 719 NEW BEST:: SOT 12103667 SOS 7715651 HAS SOPS 6405447 HAS SOUS 2696864 HAS SOUPS 2597289 WITH SCORE 2605004.651
AT ITER 725 NEW BEST:: SOT 12104820 SOS 7722916 HAS SOPS 6408803 HAS SOUS 2689381 HAS SOUPS 2589806 WITH SCORE 2597528.916
AT ITER 737 NEW BEST:: SOT 12102099 SOS 7719809 HAS SOPS 6406506 HAS SOUS 2684183 HAS SOUPS 2584608 WITH SCORE 2592327.809
AT ITER 743 NEW BEST:: SOT 12103152 SOS 7723201 HAS SOPS 6409242 HAS SOUS 2683888 HAS SOUPS 2584313 WITH SCORE 2592036.201
AT ITER 766 NEW BEST:: SOT 12100313 SOS 7713915 HAS SOPS 6412543 HAS SOUS 2680931 HAS SOUPS 2581555 WITH SCORE 2589268.915
AT ITER 771 NEW BEST:: SOT 12095093 SOS 7707493 HAS SOPS 6404645 HAS SOUS 2677392 HAS SOUPS 2577920 WITH SCORE 2585627.493
AT ITER 773 NEW BEST:: SOT 12094517 SOS 7706265 HAS SOPS 6403619 HAS SOUS 2676524 HAS SOUPS 2577052 WITH SCORE 2584758.265
AT ITER 778 NEW BEST:: SOT 12094669 SOS 7706886 HAS SOPS 6403658 HAS SOUS 2676358 HAS SOUPS 2576886 WITH SCORE 2584592.886
AT ITER 782 NEW BEST:: SOT 12094364 SOS 7705277 HAS SOPS 6403232 HAS SOUS 2675297 HAS SOUPS 2575857 WITH SCORE 2583562.277
AT ITER 789 NEW BEST:: SOT 12091256 SOS 7705313 HAS SOPS 6401634 HAS SOUS 2665500 HAS SOUPS 2566060 WITH SCORE 2573765.313
AT ITER 807 NEW BEST:: SOT 12088574 SOS 7702497 HAS SOPS 6399646 HAS SOUS 2663203 HAS SOUPS 2563785 WITH SCORE 2571487.497
AT ITER 808 NEW BEST:: SOT 12086108 SOS 7699728 HAS SOPS 6392978 HAS SOUS 2658190 HAS SOUPS 2558772 WITH SCORE 2566471.728
AT ITER 814 NEW BEST:: SOT 12086283 SOS 7701000 HAS SOPS 6394255 HAS SOUS 2657807 HAS SOUPS 2558389 WITH SCORE 2566090.0
AT ITER 816 NEW BEST:: SOT 12086158 SOS 7700845 HAS SOPS 6394068 HAS SOUS 2657432 HAS SOUPS 2558032 WITH SCORE 2565732.845
AT ITER 822 NEW BEST:: SOT 12093335 SOS 7709817 HAS SOPS 6406368 HAS SOUS 2653930 HAS SOUPS 2554875 WITH SCORE 2562584.817
AT ITER 831 NEW BEST:: SOT 12095953 SOS 7714083 HAS SOPS 6411597 HAS SOUS 2647115 HAS SOUPS 2548060 WITH SCORE 2555774.083
AT ITER 840 NEW BEST:: SOT 12095668 SOS 7715783 HAS SOPS 6412874 HAS SOUS 2644536 HAS SOUPS 2545481 WITH SCORE 2553196.783
AT ITER 848 NEW BEST:: SOT 12095788 SOS 7715943 HAS SOPS 6412994 HAS SOUS 2644491 HAS SOUPS 2545411 WITH SCORE 2553126.943
AT ITER 852 NEW BEST:: SOT 12093418 SOS 7713518 HAS SOPS 6409266 HAS SOUS 2639346 HAS SOUPS 2540238 WITH SCORE 2547951.518
AT ITER 855 NEW BEST:: SOT 12099771 SOS 7722513 HAS SOPS 6421667 HAS SOUS 2638677 HAS SOUPS 2539770 WITH SCORE 2547492.513
AT ITER 857 NEW BEST:: SOT 12099767 SOS 7722117 HAS SOPS 6421248 HAS SOUS 2637410 HAS SOUPS 2538538 WITH SCORE 2546260.117
AT ITER 866 NEW BEST:: SOT 12099751 SOS 7722034 HAS SOPS 6421172 HAS SOUS 2637348 HAS SOUPS 2538479 WITH SCORE 2546201.034
AT ITER 871 NEW BEST:: SOT 12098471 SOS 7720260 HAS SOPS 6419088 HAS SOUS 2633977 HAS SOUPS 2535108 WITH SCORE 2542828.26
AT ITER 891 NEW BEST:: SOT 12086664 SOS 7708483 HAS SOPS 6407505 HAS SOUS 2612602 HAS SOUPS 2513745 WITH SCORE 2521453.483
AT ITER 896 NEW BEST:: SOT 12083041 SOS 7704670 HAS SOPS 6403997 HAS SOUS 2611751 HAS SOUPS 2512928 WITH SCORE 2520632.67
AT ITER 897 NEW BEST:: SOT 12083511 SOS 7705198 HAS SOPS 6404623 HAS SOUS 2611035 HAS SOUPS 2512233 WITH SCORE 2519938.198
AT ITER 904 NEW BEST:: SOT 12082205 SOS 7703096 HAS SOPS 6404034 HAS SOUS 2608739 HAS SOUPS 2510394 WITH SCORE 2518097.096
AT ITER 919 NEW BEST:: SOT 12083972 SOS 7709954 HAS SOPS 6410964 HAS SOUS 2607320 HAS SOUPS 2508975 WITH SCORE 2516684.954
AT ITER 921 NEW BEST:: SOT 12083711 SOS 7709805 HAS SOPS 6410226 HAS SOUS 2602981 HAS SOUPS 2506106 WITH SCORE 2513815.805
AT ITER 943 NEW BEST:: SOT 12081665 SOS 7707177 HAS SOPS 6408590 HAS SOUS 2598928 HAS SOUPS 2502053 WITH SCORE 2509760.177
AT ITER 952 NEW BEST:: SOT 12078331 SOS 7697310 HAS SOPS 6396075 HAS SOUS 2596198 HAS SOUPS 2498618 WITH SCORE 2506315.31
AT ITER 953 NEW BEST:: SOT 12074066 SOS 7684083 HAS SOPS 6395517 HAS SOUS 2594973 HAS SOUPS 2497558 WITH SCORE 2505242.083
AT ITER 955 NEW BEST:: SOT 12077841 SOS 7701379 HAS SOPS 6410834 HAS SOUS 2591114 HAS SOUPS 2493699 WITH SCORE 2501400.379
AT ITER 964 NEW BEST:: SOT 12077579 SOS 7701114 HAS SOPS 6410569 HAS SOUS 2590849 HAS SOUPS 2493434 WITH SCORE 2501135.114
AT ITER 970 NEW BEST:: SOT 12079638 SOS 7702255 HAS SOPS 6412770 HAS SOUS 2590051 HAS SOUPS 2492636 WITH SCORE 2500338.255
AT ITER 979 NEW BEST:: SOT 12079437 SOS 7702048 HAS SOPS 6412458 HAS SOUS 2589613 HAS SOUPS 2492198 WITH SCORE 2499900.048
AT ITER 980 NEW BEST:: SOT 12079457 SOS 7702682 HAS SOPS 6412335 HAS SOUS 2588786 HAS SOUPS 2491362 WITH SCORE 2499064.682
AT ITER 1004 NEW BEST:: SOT 12077938 SOS 7698805 HAS SOPS 6409068 HAS SOUS 2584093 HAS SOUPS 2486669 WITH SCORE 2494367.805
AT ITER 1005 NEW BEST:: SOT 12075236 SOS 7682795 HAS SOPS 6399520 HAS SOUS 2583905 HAS SOUPS 2486481 WITH SCORE 2494163.795
AT ITER 1007 NEW BEST:: SOT 12075520 SOS 7683071 HAS SOPS 6399676 HAS SOUS 2583465 HAS SOUPS 2486041 WITH SCORE 2493724.071
AT ITER 1008 NEW BEST:: SOT 12075518 SOS 7683145 HAS SOPS 6399428 HAS SOUS 2583443 HAS SOUPS 2486019 WITH SCORE 2493702.145
AT ITER 1012 NEW BEST:: SOT 12073827 SOS 7680360 HAS SOPS 6397190 HAS SOUS 2580532 HAS SOUPS 2483300 WITH SCORE 2490980.36
AT ITER 1017 NEW BEST:: SOT 12069344 SOS 7674011 HAS SOPS 6391333 HAS SOUS 2574522 HAS SOUPS 2477362 WITH SCORE 2485036.011
AT ITER 1027 NEW BEST:: SOT 12069360 SOS 7673364 HAS SOPS 6392013 HAS SOUS 2572256 HAS SOUPS 2475694 WITH SCORE 2483367.364
AT ITER 1031 NEW BEST:: SOT 12067865 SOS 7670347 HAS SOPS 6391446 HAS SOUS 2566973 HAS SOUPS 2471569 WITH SCORE 2479239.347
AT ITER 1047 NEW BEST:: SOT 12069973 SOS 7677337 HAS SOPS 6401115 HAS SOUS 2565832 HAS SOUPS 2470428 WITH SCORE 2478105.337
AT ITER 1049 NEW BEST:: SOT 12060700 SOS 7656805 HAS SOPS 6380594 HAS SOUS 2551477 HAS SOUPS 2456758 WITH SCORE 2464414.805
AT ITER 1061 NEW BEST:: SOT 12060041 SOS 7656123 HAS SOPS 6379567 HAS SOUS 2549622 HAS SOUPS 2454903 WITH SCORE 2462559.123
AT ITER 1119 NEW BEST:: SOT 12057925 SOS 7654007 HAS SOPS 6377451 HAS SOUS 2547266 HAS SOUPS 2452547 WITH SCORE 2460201.007
AT ITER 1131 NEW BEST:: SOT 12057586 SOS 7654748 HAS SOPS 6379824 HAS SOUS 2544880 HAS SOUPS 2450161 WITH SCORE 2457815.748
AT ITER 1143 NEW BEST:: SOT 12057581 SOS 7654753 HAS SOPS 6379797 HAS SOUS 2544867 HAS SOUPS 2450148 WITH SCORE 2457802.753
AT ITER 1147 NEW BEST:: SOT 12051582 SOS 7636819 HAS SOPS 6368901 HAS SOUS 2536871 HAS SOUPS 2442298 WITH SCORE 2449934.819
AT ITER 1162 NEW BEST:: SOT 12051031 SOS 7637719 HAS SOPS 6369856 HAS SOUS 2536568 HAS SOUPS 2441995 WITH SCORE 2449632.719
AT ITER 1165 NEW BEST:: SOT 12053713 SOS 7640450 HAS SOPS 6378362 HAS SOUS 2536161 HAS SOUPS 2441588 WITH SCORE 2449228.45
AT ITER 1168 NEW BEST:: SOT 12054805 SOS 7643958 HAS SOPS 6380586 HAS SOUS 2536495 HAS SOUPS 2441507 WITH SCORE 2449150.958
AT ITER 1171 NEW BEST:: SOT 12046546 SOS 7620037 HAS SOPS 6363150 HAS SOUS 2527960 HAS SOUPS 2432972 WITH SCORE 2440592.037
AT ITER 1173 NEW BEST:: SOT 12046370 SOS 7620091 HAS SOPS 6363218 HAS SOUS 2527149 HAS SOUPS 2432161 WITH SCORE 2439781.091
AT ITER 1175 NEW BEST:: SOT 12046098 SOS 7623203 HAS SOPS 6374598 HAS SOUS 2523952 HAS SOUPS 2429002 WITH SCORE 2436625.203
AT ITER 1176 NEW BEST:: SOT 12045566 SOS 7620232 HAS SOPS 6372505 HAS SOUS 2522864 HAS SOUPS 2427914 WITH SCORE 2435534.232
AT ITER 1185 NEW BEST:: SOT 12051646 SOS 7638009 HAS SOPS 6386524 HAS SOUS 2521955 HAS SOUPS 2426811 WITH SCORE 2434449.009
AT ITER 1186 NEW BEST:: SOT 12053593 SOS 7650504 HAS SOPS 6396707 HAS SOUS 2520675 HAS SOUPS 2425531 WITH SCORE 2433181.504
AT ITER 1189 NEW BEST:: SOT 12054856 SOS 7651848 HAS SOPS 6397374 HAS SOUS 2519677 HAS SOUPS 2424658 WITH SCORE 2432309.848
AT ITER 1199 NEW BEST:: SOT 12053272 SOS 7651269 HAS SOPS 6395609 HAS SOUS 2516130 HAS SOUPS 2421046 WITH SCORE 2428697.269
AT ITER 1214 NEW BEST:: SOT 12053290 SOS 7651431 HAS SOPS 6395990 HAS SOUS 2516100 HAS SOUPS 2421016 WITH SCORE 2428667.431
AT ITER 1263 NEW BEST:: SOT 12054102 SOS 7656884 HAS SOPS 6408110 HAS SOUS 2514436 HAS SOUPS 2419647 WITH SCORE 2427303.884
AT ITER 1264 NEW BEST:: SOT 12053784 SOS 7655966 HAS SOPS 6407337 HAS SOUS 2514396 HAS SOUPS 2419635 WITH SCORE 2427290.966
AT ITER 1265 NEW BEST:: SOT 12052799 SOS 7657317 HAS SOPS 6407945 HAS SOUS 2512886 HAS SOUPS 2418067 WITH SCORE 2425724.317
AT ITER 1278 NEW BEST:: SOT 12051995 SOS 7651742 HAS SOPS 6405775 HAS SOUS 2509149 HAS SOUPS 2414523 WITH SCORE 2422174.742
AT ITER 1283 NEW BEST:: SOT 12048925 SOS 7648672 HAS SOPS 6402705 HAS SOUS 2504767 HAS SOUPS 2410141 WITH SCORE 2417789.672
AT ITER 1289 NEW BEST:: SOT 12049818 SOS 7655000 HAS SOPS 6409571 HAS SOUS 2500938 HAS SOUPS 2406312 WITH SCORE 2413967.0
AT ITER 1315 NEW BEST:: SOT 12050114 SOS 7655296 HAS SOPS 6409867 HAS SOUS 2500890 HAS SOUPS 2406264 WITH SCORE 2413919.296
AT ITER 1318 NEW BEST:: SOT 12049959 SOS 7654911 HAS SOPS 6409160 HAS SOUS 2498708 HAS SOUPS 2404082 WITH SCORE 2411736.911
AT ITER 1333 NEW BEST:: SOT 12048635 SOS 7653164 HAS SOPS 6406728 HAS SOUS 2496807 HAS SOUPS 2402107 WITH SCORE 2409760.164
AT ITER 1349 NEW BEST:: SOT 12051201 SOS 7658251 HAS SOPS 6413193 HAS SOUS 2495326 HAS SOUPS 2400626 WITH SCORE 2408284.251
AT ITER 1350 NEW BEST:: SOT 12049961 SOS 7662033 HAS SOPS 6415344 HAS SOUS 2490672 HAS SOUPS 2395972 WITH SCORE 2403634.033
AT ITER 1355 NEW BEST:: SOT 12049673 SOS 7661268 HAS SOPS 6414867 HAS SOUS 2490387 HAS SOUPS 2395693 WITH SCORE 2403354.268
AT ITER 1367 NEW BEST:: SOT 12048659 SOS 7660254 HAS SOPS 6413853 HAS SOUS 2490205 HAS SOUPS 2395511 WITH SCORE 2403171.254
AT ITER 1375 NEW BEST:: SOT 12048200 SOS 7661520 HAS SOPS 6415854 HAS SOUS 2487701 HAS SOUPS 2393076 WITH SCORE 2400737.52
AT ITER 1380 NEW BEST:: SOT 12046287 SOS 7664618 HAS SOPS 6406900 HAS SOUS 2484418 HAS SOUPS 2389721 WITH SCORE 2397385.618
AT ITER 1388 NEW BEST:: SOT 12044952 SOS 7663191 HAS SOPS 6406071 HAS SOUS 2483934 HAS SOUPS 2389237 WITH SCORE 2396900.191
AT ITER 1389 NEW BEST:: SOT 12045001 SOS 7663387 HAS SOPS 6406240 HAS SOUS 2483710 HAS SOUPS 2389031 WITH SCORE 2396694.387
AT ITER 1410 NEW BEST:: SOT 12033833 SOS 7646998 HAS SOPS 6388748 HAS SOUS 2473439 HAS SOUPS 2378760 WITH SCORE 2386406.998
AT ITER 1415 NEW BEST:: SOT 12033567 SOS 7647081 HAS SOPS 6388457 HAS SOUS 2473384 HAS SOUPS 2378705 WITH SCORE 2386352.081
AT ITER 1424 NEW BEST:: SOT 12031542 SOS 7645184 HAS SOPS 6385797 HAS SOUS 2470590 HAS SOUPS 2375911 WITH SCORE 2383556.184
AT ITER 1455 NEW BEST:: SOT 12030595 SOS 7643832 HAS SOPS 6384021 HAS SOUS 2470360 HAS SOUPS 2375468 WITH SCORE 2383111.832
AT ITER 1459 NEW BEST:: SOT 12029292 SOS 7640925 HAS SOPS 6381268 HAS SOUS 2459262 HAS SOUPS 2365454 WITH SCORE 2373094.925
AT ITER 1473 NEW BEST:: SOT 12027263 SOS 7638859 HAS SOPS 6379202 HAS SOUS 2456629 HAS SOUPS 2362821 WITH SCORE 2370459.859
AT ITER 1476 NEW BEST:: SOT 12021760 SOS 7621603 HAS SOPS 6365418 HAS SOUS 2449508 HAS SOUPS 2355863 WITH SCORE 2363484.603
AT ITER 1479 NEW BEST:: SOT 12021516 SOS 7621126 HAS SOPS 6364953 HAS SOUS 2448961 HAS SOUPS 2355320 WITH SCORE 2362941.126
AT ITER 1491 NEW BEST:: SOT 12019771 SOS 7617728 HAS SOPS 6363550 HAS SOUS 2447942 HAS SOUPS 2354301 WITH SCORE 2361918.728
AT ITER 1495 NEW BEST:: SOT 12019621 SOS 7615500 HAS SOPS 6363160 HAS SOUS 2447198 HAS SOUPS 2353631 WITH SCORE 2361246.5
AT ITER 1500 NEW BEST:: SOT 12019682 SOS 7615678 HAS SOPS 6363373 HAS SOUS 2447177 HAS SOUPS 2353610 WITH SCORE 2361225.678
AT ITER 1514 NEW BEST:: SOT 12020256 SOS 7616682 HAS SOPS 6364394 HAS SOUS 2447165 HAS SOUPS 2353598 WITH SCORE 2361214.682
AT ITER 1518 NEW BEST:: SOT 12018155 SOS 7614581 HAS SOPS 6361749 HAS SOUS 2442468 HAS SOUPS 2348901 WITH SCORE 2356515.581
AT ITER 1527 NEW BEST:: SOT 12018155 SOS 7614587 HAS SOPS 6361755 HAS SOUS 2442461 HAS SOUPS 2348894 WITH SCORE 2356508.587
AT ITER 1533 NEW BEST:: SOT 12017459 SOS 7612164 HAS SOPS 6359428 HAS SOUS 2442403 HAS SOUPS 2348836 WITH SCORE 2356448.164
AT ITER 1535 NEW BEST:: SOT 12014885 SOS 7611181 HAS SOPS 6360344 HAS SOUS 2439653 HAS SOUPS 2346086 WITH SCORE 2353697.181
AT ITER 1537 NEW BEST:: SOT 12012630 SOS 7607478 HAS SOPS 6356226 HAS SOUS 2433305 HAS SOUPS 2339763 WITH SCORE 2347370.478
AT ITER 1557 NEW BEST:: SOT 12011877 SOS 7607665 HAS SOPS 6355014 HAS SOUS 2429733 HAS SOUPS 2336191 WITH SCORE 2343798.665
AT ITER 1561 NEW BEST:: SOT 12008363 SOS 7602536 HAS SOPS 6349673 HAS SOUS 2423278 HAS SOUPS 2329860 WITH SCORE 2337462.536
AT ITER 1563 NEW BEST:: SOT 12007270 SOS 7601565 HAS SOPS 6349012 HAS SOUS 2421101 HAS SOUPS 2327691 WITH SCORE 2335292.565
AT ITER 1568 NEW BEST:: SOT 12006596 SOS 7600737 HAS SOPS 6348996 HAS SOUS 2420365 HAS SOUPS 2326983 WITH SCORE 2334583.737
AT ITER 1577 NEW BEST:: SOT 12006531 SOS 7600609 HAS SOPS 6348927 HAS SOUS 2418278 HAS SOUPS 2325175 WITH SCORE 2332775.609
AT ITER 1580 NEW BEST:: SOT 12007173 SOS 7601639 HAS SOPS 6350918 HAS SOUS 2417205 HAS SOUPS 2324485 WITH SCORE 2332086.639
AT ITER 1582 NEW BEST:: SOT 12005184 SOS 7599650 HAS SOPS 6348241 HAS SOUS 2413196 HAS SOUPS 2320476 WITH SCORE 2328075.65
AT ITER 1586 NEW BEST:: SOT 11996489 SOS 7589533 HAS SOPS 6337639 HAS SOUS 2397089 HAS SOUPS 2304395 WITH SCORE 2311984.533
AT ITER 1589 NEW BEST:: SOT 11995499 SOS 7588543 HAS SOPS 6336649 HAS SOUS 2395075 HAS SOUPS 2302381 WITH SCORE 2309969.543
AT ITER 1608 NEW BEST:: SOT 11995376 SOS 7588420 HAS SOPS 6336526 HAS SOUS 2394560 HAS SOUPS 2301866 WITH SCORE 2309454.42
AT ITER 1609 NEW BEST:: SOT 11995423 SOS 7587797 HAS SOPS 6334363 HAS SOUS 2387768 HAS SOUPS 2295074 WITH SCORE 2302661.797
AT ITER 1623 NEW BEST:: SOT 11994963 SOS 7585843 HAS SOPS 6333924 HAS SOUS 2386394 HAS SOUPS 2294060 WITH SCORE 2301645.843
AT ITER 1631 NEW BEST:: SOT 11994170 SOS 7584495 HAS SOPS 6333098 HAS SOUS 2385318 HAS SOUPS 2293022 WITH SCORE 2300606.495
AT ITER 1656 NEW BEST:: SOT 11985438 SOS 7575711 HAS SOPS 6323332 HAS SOUS 2376472 HAS SOUPS 2283245 WITH SCORE 2290820.711
AT ITER 1659 NEW BEST:: SOT 11975872 SOS 7564286 HAS SOPS 6314930 HAS SOUS 2365314 HAS SOUPS 2272088 WITH SCORE 2279652.286
AT ITER 1661 NEW BEST:: SOT 11975057 SOS 7563303 HAS SOPS 6313799 HAS SOUS 2363281 HAS SOUPS 2270071 WITH SCORE 2277634.303
AT ITER 1665 NEW BEST:: SOT 11974261 SOS 7558595 HAS SOPS 6312865 HAS SOUS 2359282 HAS SOUPS 2266793 WITH SCORE 2274351.595
AT ITER 1666 NEW BEST:: SOT 11974421 SOS 7560089 HAS SOPS 6314012 HAS SOUS 2358780 HAS SOUPS 2266291 WITH SCORE 2273851.089
AT ITER 1673 NEW BEST:: SOT 11973262 SOS 7557391 HAS SOPS 6313275 HAS SOUS 2355942 HAS SOUPS 2263516 WITH SCORE 2271073.391
AT ITER 1679 NEW BEST:: SOT 11973227 SOS 7557121 HAS SOPS 6312952 HAS SOUS 2355909 HAS SOUPS 2263483 WITH SCORE 2271040.121
AT ITER 1682 NEW BEST:: SOT 11973597 SOS 7559834 HAS SOPS 6313590 HAS SOUS 2355758 HAS SOUPS 2263302 WITH SCORE 2270861.834
AT ITER 1690 NEW BEST:: SOT 11973930 SOS 7560167 HAS SOPS 6313731 HAS SOUS 2353843 HAS SOUPS 2261387 WITH SCORE 2268947.167
AT ITER 1691 NEW BEST:: SOT 11974177 SOS 7560226 HAS SOPS 6314557 HAS SOUS 2352744 HAS SOUPS 2260598 WITH SCORE 2268158.226
AT ITER 1696 NEW BEST:: SOT 11974628 SOS 7561463 HAS SOPS 6315469 HAS SOUS 2351064 HAS SOUPS 2258874 WITH SCORE 2266435.463
AT ITER 1700 NEW BEST:: SOT 11976692 SOS 7569061 HAS SOPS 6324898 HAS SOUS 2345997 HAS SOUPS 2253807 WITH SCORE 2261376.061
AT ITER 1708 NEW BEST:: SOT 11973586 SOS 7561938 HAS SOPS 6318048 HAS SOUS 2343209 HAS SOUPS 2251136 WITH SCORE 2258697.938
AT ITER 1713 NEW BEST:: SOT 11973932 SOS 7559867 HAS SOPS 6322054 HAS SOUS 2341056 HAS SOUPS 2248983 WITH SCORE 2256542.867
AT ITER 1716 NEW BEST:: SOT 11973818 SOS 7560049 HAS SOPS 6321462 HAS SOUS 2340814 HAS SOUPS 2248741 WITH SCORE 2256301.049
AT ITER 1718 NEW BEST:: SOT 11973794 SOS 7560025 HAS SOPS 6321438 HAS SOUS 2340678 HAS SOUPS 2248605 WITH SCORE 2256165.025
AT ITER 1733 NEW BEST:: SOT 11974193 SOS 7560230 HAS SOPS 6321091 HAS SOUS 2339615 HAS SOUPS 2247542 WITH SCORE 2255102.23
AT ITER 1734 NEW BEST:: SOT 11973874 SOS 7559384 HAS SOPS 6320479 HAS SOUS 2339493 HAS SOUPS 2247431 WITH SCORE 2254990.384
AT ITER 1737 NEW BEST:: SOT 11973912 SOS 7560158 HAS SOPS 6320905 HAS SOUS 2338703 HAS SOUPS 2246641 WITH SCORE 2254201.158
AT ITER 1738 NEW BEST:: SOT 11970451 SOS 7555560 HAS SOPS 6313890 HAS SOUS 2332484 HAS SOUPS 2239878 WITH SCORE 2247433.56
AT ITER 1740 NEW BEST:: SOT 11970218 SOS 7555267 HAS SOPS 6313597 HAS SOUS 2332156 HAS SOUPS 2239550 WITH SCORE 2247105.267
AT ITER 1745 NEW BEST:: SOT 11970129 SOS 7554562 HAS SOPS 6312449 HAS SOUS 2331337 HAS SOUPS 2238731 WITH SCORE 2246285.562
AT ITER 1756 NEW BEST:: SOT 11969505 SOS 7553938 HAS SOPS 6311617 HAS SOUS 2330017 HAS SOUPS 2237395 WITH SCORE 2244948.938
AT ITER 1771 NEW BEST:: SOT 11972385 SOS 7571037 HAS SOPS 6323967 HAS SOUS 2327941 HAS SOUPS 2235153 WITH SCORE 2242724.037
AT ITER 1772 NEW BEST:: SOT 11978716 SOS 7578640 HAS SOPS 6331199 HAS SOUS 2327724 HAS SOUPS 2234921 WITH SCORE 2242499.64
AT ITER 1782 NEW BEST:: SOT 11980792 SOS 7587823 HAS SOPS 6339829 HAS SOUS 2327673 HAS SOUPS 2234870 WITH SCORE 2242457.823
AT ITER 1783 NEW BEST:: SOT 11979008 SOS 7585704 HAS SOPS 6336046 HAS SOUS 2311160 HAS SOUPS 2218357 WITH SCORE 2225942.704
AT ITER 1785 NEW BEST:: SOT 11978169 SOS 7592228 HAS SOPS 6335310 HAS SOUS 2307020 HAS SOUPS 2212918 WITH SCORE 2220510.228
AT ITER 1792 NEW BEST:: SOT 11978161 SOS 7592220 HAS SOPS 6335302 HAS SOUS 2306860 HAS SOUPS 2212758 WITH SCORE 2220350.22
AT ITER 1806 NEW BEST:: SOT 11981043 SOS 7603182 HAS SOPS 6344031 HAS SOUS 2305236 HAS SOUPS 2211134 WITH SCORE 2218737.182
AT ITER 1807 NEW BEST:: SOT 11982237 SOS 7607079 HAS SOPS 6347798 HAS SOUS 2304948 HAS SOUPS 2210899 WITH SCORE 2218506.079
AT ITER 1833 NEW BEST:: SOT 11981171 SOS 7603820 HAS SOPS 6345092 HAS SOUS 2304303 HAS SOUPS 2210254 WITH SCORE 2217857.82
AT ITER 1839 NEW BEST:: SOT 11981050 SOS 7603735 HAS SOPS 6344957 HAS SOUS 2304082 HAS SOUPS 2210033 WITH SCORE 2217636.735
AT ITER 1848 NEW BEST:: SOT 11980789 SOS 7603463 HAS SOPS 6344701 HAS SOUS 2303330 HAS SOUPS 2209281 WITH SCORE 2216884.463
AT ITER 1860 NEW BEST:: SOT 11980767 SOS 7604813 HAS SOPS 6346163 HAS SOUS 2302445 HAS SOUPS 2208396 WITH SCORE 2216000.813
AT ITER 1877 NEW BEST:: SOT 11970481 SOS 7594105 HAS SOPS 6335237 HAS SOUS 2281617 HAS SOUPS 2187574 WITH SCORE 2195168.105
AT ITER 1893 NEW BEST:: SOT 11970263 SOS 7593365 HAS SOPS 6334086 HAS SOUS 2280941 HAS SOUPS 2186898 WITH SCORE 2194491.365
AT ITER 1946 NEW BEST:: SOT 11969977 SOS 7593079 HAS SOPS 6333576 HAS SOUS 2279531 HAS SOUPS 2185488 WITH SCORE 2193081.079
AT ITER 1958 NEW BEST:: SOT 11969147 SOS 7591659 HAS SOPS 6332250 HAS SOUS 2277831 HAS SOUPS 2183792 WITH SCORE 2191383.659
AT ITER 1961 NEW BEST:: SOT 11959364 SOS 7581039 HAS SOPS 6322467 HAS SOUS 2266684 HAS SOUPS 2172645 WITH SCORE 2180226.039
AT ITER 1979 NEW BEST:: SOT 11962508 SOS 7586256 HAS SOPS 6327287 HAS SOUS 2265449 HAS SOUPS 2171410 WITH SCORE 2178996.256
AT ITER 1998 NEW BEST:: SOT 11962277 SOS 7585671 HAS SOPS 6326699 HAS SOUS 2265022 HAS SOUPS 2170983 WITH SCORE 2178568.671
AT ITER 2001 NEW BEST:: SOT 11960868 SOS 7584462 HAS SOPS 6324472 HAS SOUS 2260893 HAS SOUPS 2166831 WITH SCORE 2174415.462
AT ITER 2019 NEW BEST:: SOT 11960868 SOS 7584814 HAS SOPS 6323922 HAS SOUS 2260871 HAS SOUPS 2166809 WITH SCORE 2174393.814
AT ITER 2038 NEW BEST:: SOT 11960579 SOS 7584356 HAS SOPS 6321725 HAS SOUS 2260308 HAS SOUPS 2166246 WITH SCORE 2173830.356
AT ITER 2045 NEW BEST:: SOT 11959161 SOS 7575245 HAS SOPS 6313255 HAS SOUS 2259930 HAS SOUPS 2165908 WITH SCORE 2173483.245
AT ITER 2051 NEW BEST:: SOT 11959065 SOS 7574961 HAS SOPS 6312495 HAS SOUS 2259827 HAS SOUPS 2165790 WITH SCORE 2173364.961
AT ITER 2054 NEW BEST:: SOT 11957919 SOS 7574040 HAS SOPS 6309455 HAS SOUS 2254815 HAS SOUPS 2160778 WITH SCORE 2168352.04
AT ITER 2068 NEW BEST:: SOT 11960152 SOS 7576965 HAS SOPS 6309761 HAS SOUS 2253588 HAS SOUPS 2159551 WITH SCORE 2167127.965
AT ITER 2073 NEW BEST:: SOT 11955170 SOS 7571250 HAS SOPS 6300852 HAS SOUS 2243529 HAS SOUPS 2149492 WITH SCORE 2157063.25
AT ITER 2085 NEW BEST:: SOT 11952525 SOS 7565674 HAS SOPS 6293722 HAS SOUS 2236904 HAS SOUPS 2142867 WITH SCORE 2150432.674
AT ITER 2101 NEW BEST:: SOT 11947266 SOS 7560478 HAS SOPS 6288457 HAS SOUS 2225114 HAS SOUPS 2131031 WITH SCORE 2138591.478
AT ITER 2107 NEW BEST:: SOT 11947219 SOS 7560291 HAS SOPS 6288306 HAS SOUS 2224989 HAS SOUPS 2130906 WITH SCORE 2138466.291
AT ITER 2143 NEW BEST:: SOT 11945056 SOS 7556745 HAS SOPS 6285686 HAS SOUS 2221476 HAS SOUPS 2127878 WITH SCORE 2135434.745
AT ITER 2147 NEW BEST:: SOT 11943922 SOS 7555751 HAS SOPS 6286315 HAS SOUS 2217140 HAS SOUPS 2123548 WITH SCORE 2131103.751
AT ITER 2177 NEW BEST:: SOT 11944096 SOS 7558004 HAS SOPS 6289511 HAS SOUS 2216111 HAS SOUPS 2122519 WITH SCORE 2130077.004
AT ITER 2186 NEW BEST:: SOT 11943531 SOS 7557328 HAS SOPS 6288660 HAS SOUS 2215481 HAS SOUPS 2121971 WITH SCORE 2129528.328
AT ITER 2199 NEW BEST:: SOT 11943119 SOS 7557122 HAS SOPS 6290318 HAS SOUS 2215299 HAS SOUPS 2121788 WITH SCORE 2129345.122
AT ITER 2205 NEW BEST:: SOT 11942155 SOS 7553126 HAS SOPS 6286265 HAS SOUS 2212498 HAS SOUPS 2118987 WITH SCORE 2126540.126
AT ITER 2207 NEW BEST:: SOT 11940537 SOS 7548847 HAS SOPS 6284138 HAS SOUS 2211091 HAS SOUPS 2117580 WITH SCORE 2125128.847
AT ITER 2238 NEW BEST:: SOT 11939909 SOS 7548345 HAS SOPS 6282758 HAS SOUS 2209261 HAS SOUPS 2115538 WITH SCORE 2123086.345
AT ITER 2244 NEW BEST:: SOT 11937448 SOS 7544908 HAS SOPS 6281235 HAS SOUS 2207221 HAS SOUPS 2113498 WITH SCORE 2121042.908
AT ITER 2252 NEW BEST:: SOT 11936447 SOS 7542005 HAS SOPS 6278702 HAS SOUS 2206431 HAS SOUPS 2112708 WITH SCORE 2120250.005
AT ITER 2257 NEW BEST:: SOT 11936481 SOS 7542242 HAS SOPS 6278973 HAS SOUS 2206050 HAS SOUPS 2112327 WITH SCORE 2119869.242
AT ITER 2261 NEW BEST:: SOT 11936404 SOS 7540980 HAS SOPS 6278032 HAS SOUS 2205983 HAS SOUPS 2112260 WITH SCORE 2119800.98
AT ITER 2269 NEW BEST:: SOT 11937331 SOS 7543916 HAS SOPS 6281857 HAS SOUS 2204662 HAS SOUPS 2110939 WITH SCORE 2118482.916
AT ITER 2286 NEW BEST:: SOT 11941306 SOS 7556742 HAS SOPS 6292640 HAS SOUS 2203892 HAS SOUPS 2109878 WITH SCORE 2117434.742
AT ITER 2300 NEW BEST:: SOT 11941792 SOS 7557124 HAS SOPS 6293022 HAS SOUS 2203837 HAS SOUPS 2109823 WITH SCORE 2117380.124
AT ITER 2306 NEW BEST:: SOT 11940329 SOS 7554723 HAS SOPS 6290987 HAS SOUS 2203733 HAS SOUPS 2109719 WITH SCORE 2117273.723
AT ITER 2307 NEW BEST:: SOT 11933287 SOS 7547679 HAS SOPS 6280277 HAS SOUS 2200744 HAS SOUPS 2104676 WITH SCORE 2112223.679
AT ITER 2331 NEW BEST:: SOT 11932991 SOS 7547709 HAS SOPS 6279526 HAS SOUS 2200557 HAS SOUPS 2104489 WITH SCORE 2112036.709
AT ITER 2338 NEW BEST:: SOT 11933225 SOS 7548201 HAS SOPS 6279979 HAS SOUS 2200333 HAS SOUPS 2104265 WITH SCORE 2111813.201
AT ITER 2346 NEW BEST:: SOT 11933005 SOS 7547925 HAS SOPS 6279580 HAS SOUS 2199566 HAS SOUPS 2103498 WITH SCORE 2111045.925
AT ITER 2349 NEW BEST:: SOT 11932998 SOS 7547810 HAS SOPS 6279399 HAS SOUS 2199526 HAS SOUPS 2103458 WITH SCORE 2111005.81
AT ITER 2367 NEW BEST:: SOT 11932543 SOS 7547251 HAS SOPS 6278840 HAS SOUS 2199006 HAS SOUPS 2102938 WITH SCORE 2110485.251
AT ITER 2370 NEW BEST:: SOT 11926082 SOS 7539480 HAS SOPS 6271872 HAS SOUS 2195336 HAS SOUPS 2099356 WITH SCORE 2106895.48
AT ITER 2379 NEW BEST:: SOT 11921982 SOS 7527962 HAS SOPS 6261194 HAS SOUS 2192598 HAS SOUPS 2096618 WITH SCORE 2104145.962
AT ITER 2381 NEW BEST:: SOT 11921379 SOS 7528849 HAS SOPS 6260516 HAS SOUS 2189600 HAS SOUPS 2093620 WITH SCORE 2101148.849
AT ITER 2399 NEW BEST:: SOT 11919030 SOS 7525524 HAS SOPS 6256689 HAS SOUS 2184627 HAS SOUPS 2088680 WITH SCORE 2096205.524
AT ITER 2412 NEW BEST:: SOT 11919431 SOS 7530818 HAS SOPS 6259742 HAS SOUS 2181069 HAS SOUPS 2085122 WITH SCORE 2092652.818
AT ITER 2415 NEW BEST:: SOT 11920967 SOS 7535145 HAS SOPS 6262619 HAS SOUS 2180966 HAS SOUPS 2085019 WITH SCORE 2092554.145
AT ITER 2423 NEW BEST:: SOT 11920752 SOS 7535579 HAS SOPS 6262679 HAS SOUS 2180493 HAS SOUPS 2084546 WITH SCORE 2092081.579
AT ITER 2425 NEW BEST:: SOT 11917138 SOS 7531369 HAS SOPS 6256090 HAS SOUS 2173449 HAS SOUPS 2077341 WITH SCORE 2084872.369
AT ITER 2438 NEW BEST:: SOT 11920112 SOS 7535448 HAS SOPS 6248599 HAS SOUS 2169293 HAS SOUPS 2072953 WITH SCORE 2080488.448
AT ITER 2439 NEW BEST:: SOT 11920077 SOS 7535402 HAS SOPS 6248571 HAS SOUS 2169261 HAS SOUPS 2072921 WITH SCORE 2080456.402
AT ITER 2504 NEW BEST:: SOT 11920038 SOS 7535282 HAS SOPS 6248479 HAS SOUS 2169253 HAS SOUPS 2072914 WITH SCORE 2080449.282
AT ITER 2512 NEW BEST:: SOT 11916925 SOS 7526899 HAS SOPS 6241807 HAS SOUS 2165291 HAS SOUPS 2069055 WITH SCORE 2076581.899
AT ITER 2518 NEW BEST:: SOT 11917901 SOS 7527599 HAS SOPS 6243606 HAS SOUS 2165154 HAS SOUPS 2068918 WITH SCORE 2076445.599
AT ITER 2524 NEW BEST:: SOT 11917561 SOS 7527259 HAS SOPS 6243266 HAS SOUS 2165090 HAS SOUPS 2068854 WITH SCORE 2076381.259
AT ITER 2527 NEW BEST:: SOT 11917533 SOS 7527250 HAS SOPS 6243242 HAS SOUS 2164983 HAS SOUPS 2068745 WITH SCORE 2076272.25
AT ITER 2532 NEW BEST:: SOT 11916174 SOS 7527031 HAS SOPS 6242837 HAS SOUS 2162376 HAS SOUPS 2066138 WITH SCORE 2073665.031
AT ITER 2536 NEW BEST:: SOT 11923186 SOS 7555832 HAS SOPS 6272435 HAS SOUS 2152004 HAS SOUPS 2055980 WITH SCORE 2063535.832
AT ITER 2540 NEW BEST:: SOT 11918789 SOS 7542622 HAS SOPS 6266368 HAS SOUS 2147309 HAS SOUPS 2051896 WITH SCORE 2059438.622
AT ITER 2548 NEW BEST:: SOT 11912355 SOS 7527662 HAS SOPS 6253305 HAS SOUS 2138940 HAS SOUPS 2043695 WITH SCORE 2051222.662
AT ITER 2564 NEW BEST:: SOT 11911499 SOS 7524305 HAS SOPS 6251287 HAS SOUS 2138344 HAS SOUPS 2043099 WITH SCORE 2050623.305
AT ITER 2570 NEW BEST:: SOT 11915810 SOS 7526244 HAS SOPS 6252347 HAS SOUS 2137122 HAS SOUPS 2041877 WITH SCORE 2049403.244
AT ITER 2575 NEW BEST:: SOT 11916215 SOS 7528117 HAS SOPS 6255298 HAS SOUS 2131808 HAS SOUPS 2036563 WITH SCORE 2044091.117
AT ITER 2582 NEW BEST:: SOT 11914534 SOS 7535846 HAS SOPS 6260594 HAS SOUS 2123287 HAS SOUPS 2028042 WITH SCORE 2035577.846
AT ITER 2612 NEW BEST:: SOT 11910003 SOS 7531599 HAS SOPS 6254771 HAS SOUS 2115219 HAS SOUPS 2019979 WITH SCORE 2027510.599
AT ITER 2622 NEW BEST:: SOT 11907750 SOS 7526647 HAS SOPS 6250217 HAS SOUS 2110992 HAS SOUPS 2015841 WITH SCORE 2023367.647
AT ITER 2626 NEW BEST:: SOT 11907422 SOS 7526712 HAS SOPS 6250189 HAS SOUS 2110443 HAS SOUPS 2015292 WITH SCORE 2022818.712
AT ITER 2629 NEW BEST:: SOT 11906962 SOS 7526182 HAS SOPS 6249709 HAS SOUS 2109213 HAS SOUPS 2014062 WITH SCORE 2021588.182
AT ITER 2634 NEW BEST:: SOT 11902585 SOS 7513377 HAS SOPS 6237475 HAS SOUS 2100559 HAS SOUPS 2005431 WITH SCORE 2012944.377
AT ITER 2647 NEW BEST:: SOT 11890118 SOS 7499618 HAS SOPS 6224445 HAS SOUS 2096784 HAS SOUPS 2002107 WITH SCORE 2009606.618
AT ITER 2674 NEW BEST:: SOT 11884345 SOS 7491697 HAS SOPS 6213856 HAS SOUS 2096593 HAS SOUPS 2001116 WITH SCORE 2008607.697
AT ITER 2675 NEW BEST:: SOT 11884597 SOS 7491949 HAS SOPS 6213852 HAS SOUS 2095525 HAS SOUPS 2000048 WITH SCORE 2007539.949
AT ITER 2677 NEW BEST:: SOT 11884491 SOS 7492007 HAS SOPS 6213555 HAS SOUS 2094816 HAS SOUPS 1999330 WITH SCORE 2006822.007
AT ITER 2690 NEW BEST:: SOT 11883851 SOS 7490903 HAS SOPS 6212086 HAS SOUS 2092018 HAS SOUPS 1996532 WITH SCORE 2004022.903
AT ITER 2699 NEW BEST:: SOT 11883919 SOS 7490954 HAS SOPS 6212125 HAS SOUS 2091926 HAS SOUPS 1996440 WITH SCORE 2003930.954
AT ITER 2703 NEW BEST:: SOT 11883927 SOS 7490811 HAS SOPS 6212987 HAS SOUS 2089384 HAS SOUPS 1994022 WITH SCORE 2001512.811
AT ITER 2711 NEW BEST:: SOT 11886066 SOS 7494733 HAS SOPS 6213632 HAS SOUS 2088183 HAS SOUPS 1992821 WITH SCORE 2000315.733
AT ITER 2718 NEW BEST:: SOT 11881887 SOS 7484892 HAS SOPS 6214317 HAS SOUS 2085881 HAS SOUPS 1992186 WITH SCORE 1999670.892
AT ITER 2727 NEW BEST:: SOT 11883893 SOS 7488495 HAS SOPS 6217030 HAS SOUS 2085850 HAS SOUPS 1992155 WITH SCORE 1999643.495
AT ITER 2774 NEW BEST:: SOT 11883138 SOS 7487094 HAS SOPS 6214017 HAS SOUS 2084567 HAS SOUPS 1990794 WITH SCORE 1998281.094
AT ITER 2778 NEW BEST:: SOT 11883004 SOS 7487353 HAS SOPS 6213651 HAS SOUS 2081805 HAS SOUPS 1988010 WITH SCORE 1995497.353
AT ITER 2799 NEW BEST:: SOT 11881113 SOS 7485489 HAS SOPS 6211045 HAS SOUS 2077318 HAS SOUPS 1983403 WITH SCORE 1990888.489
AT ITER 2806 NEW BEST:: SOT 11884334 SOS 7488710 HAS SOPS 6213418 HAS SOUS 2076103 HAS SOUPS 1982172 WITH SCORE 1989660.71
AT ITER 2827 NEW BEST:: SOT 11880883 SOS 7484808 HAS SOPS 6208200 HAS SOUS 2069577 HAS SOUPS 1975727 WITH SCORE 1983211.808
AT ITER 2831 NEW BEST:: SOT 11878267 SOS 7479458 HAS SOPS 6204063 HAS SOUS 2064887 HAS SOUPS 1971138 WITH SCORE 1978617.458
AT ITER 2855 NEW BEST:: SOT 11875587 SOS 7472451 HAS SOPS 6198145 HAS SOUS 2062074 HAS SOUPS 1968379 WITH SCORE 1975851.451
AT ITER 2872 NEW BEST:: SOT 11874574 SOS 7471186 HAS SOPS 6196937 HAS SOUS 2061215 HAS SOUPS 1967539 WITH SCORE 1975010.186
AT ITER 2880 NEW BEST:: SOT 11874507 SOS 7471275 HAS SOPS 6196802 HAS SOUS 2060646 HAS SOUPS 1966970 WITH SCORE 1974441.275
AT ITER 2885 NEW BEST:: SOT 11879846 SOS 7481897 HAS SOPS 6208505 HAS SOUS 2057959 HAS SOUPS 1964500 WITH SCORE 1971981.897
AT ITER 2922 NEW BEST:: SOT 11880640 SOS 7481915 HAS SOPS 6208544 HAS SOUS 2057538 HAS SOUPS 1964101 WITH SCORE 1971582.915
AT ITER 2926 NEW BEST:: SOT 11880048 SOS 7480599 HAS SOPS 6207211 HAS SOUS 2056639 HAS SOUPS 1963224 WITH SCORE 1970704.599
AT ITER 2934 NEW BEST:: SOT 11879827 SOS 7480398 HAS SOPS 6206835 HAS SOUS 2056412 HAS SOUPS 1962990 WITH SCORE 1970470.398
AT ITER 2941 NEW BEST:: SOT 11880518 SOS 7480862 HAS SOPS 6206778 HAS SOUS 2053541 HAS SOUPS 1961266 WITH SCORE 1968746.862
AT ITER 2982 NEW BEST:: SOT 11880154 SOS 7480082 HAS SOPS 6206708 HAS SOUS 2048408 HAS SOUPS 1956320 WITH SCORE 1963800.082
AT ITER 2987 NEW BEST:: SOT 11879387 SOS 7479983 HAS SOPS 6205988 HAS SOUS 2046038 HAS SOUPS 1953950 WITH SCORE 1961429.983
AT ITER 2993 NEW BEST:: SOT 11879210 SOS 7479909 HAS SOPS 6205785 HAS SOUS 2045503 HAS SOUPS 1953415 WITH SCORE 1960894.909
AT ITER 3001 NEW BEST:: SOT 11877542 SOS 7478241 HAS SOPS 6203909 HAS SOUS 2045283 HAS SOUPS 1953195 WITH SCORE 1960673.241
AT ITER 3003 NEW BEST:: SOT 11877207 SOS 7477598 HAS SOPS 6203371 HAS SOUS 2044843 HAS SOUPS 1952755 WITH SCORE 1960232.598
AT ITER 3020 NEW BEST:: SOT 11875433 SOS 7478694 HAS SOPS 6204823 HAS SOUS 2041437 HAS SOUPS 1949235 WITH SCORE 1956713.694
AT ITER 3028 NEW BEST:: SOT 11874808 SOS 7478167 HAS SOPS 6204227 HAS SOUS 2040519 HAS SOUPS 1948434 WITH SCORE 1955912.167
AT ITER 3054 NEW BEST:: SOT 11873761 SOS 7476821 HAS SOPS 6203285 HAS SOUS 2037733 HAS SOUPS 1945472 WITH SCORE 1952948.821
AT ITER 3066 NEW BEST:: SOT 11872712 SOS 7475774 HAS SOPS 6202236 HAS SOUS 2036686 HAS SOUPS 1944423 WITH SCORE 1951898.774
AT ITER 3067 NEW BEST:: SOT 11872348 SOS 7475440 HAS SOPS 6201609 HAS SOUS 2035548 HAS SOUPS 1943285 WITH SCORE 1950760.44
AT ITER 3093 NEW BEST:: SOT 11872479 SOS 7467606 HAS SOPS 6197224 HAS SOUS 2032848 HAS SOUPS 1940585 WITH SCORE 1948052.606
AT ITER 3094 NEW BEST:: SOT 11871101 SOS 7461962 HAS SOPS 6192551 HAS SOUS 2032594 HAS SOUPS 1940331 WITH SCORE 1947792.962
AT ITER 3096 NEW BEST:: SOT 11868647 SOS 7459508 HAS SOPS 6189841 HAS SOUS 2029036 HAS SOUPS 1936773 WITH SCORE 1944232.508
AT ITER 3097 NEW BEST:: SOT 11871081 SOS 7457806 HAS SOPS 6185175 HAS SOUS 2025796 HAS SOUPS 1933467 WITH SCORE 1940924.806
AT ITER 3104 NEW BEST:: SOT 11869767 SOS 7457095 HAS SOPS 6184612 HAS SOUS 2021891 HAS SOUPS 1929562 WITH SCORE 1937019.095
AT ITER 3109 NEW BEST:: SOT 11871506 SOS 7462839 HAS SOPS 6188754 HAS SOUS 2019870 HAS SOUPS 1927530 WITH SCORE 1934992.839
AT ITER 3127 NEW BEST:: SOT 11870708 SOS 7462030 HAS SOPS 6187817 HAS SOUS 2018893 HAS SOUPS 1926553 WITH SCORE 1934015.03
AT ITER 3132 NEW BEST:: SOT 11870626 SOS 7462055 HAS SOPS 6187734 HAS SOUS 2018592 HAS SOUPS 1926252 WITH SCORE 1933714.055
AT ITER 3134 NEW BEST:: SOT 11868079 SOS 7459670 HAS SOPS 6184961 HAS SOUS 2012364 HAS SOUPS 1920090 WITH SCORE 1927549.67
AT ITER 3156 NEW BEST:: SOT 11868912 SOS 7460125 HAS SOPS 6185605 HAS SOUS 2011494 HAS SOUPS 1919243 WITH SCORE 1926703.125
AT ITER 3161 NEW BEST:: SOT 11867929 SOS 7458211 HAS SOPS 6184112 HAS SOUS 2009102 HAS SOUPS 1916851 WITH SCORE 1924309.211
AT ITER 3190 NEW BEST:: SOT 11867750 SOS 7458009 HAS SOPS 6183820 HAS SOUS 2008714 HAS SOUPS 1916463 WITH SCORE 1923921.009
AT ITER 3191 NEW BEST:: SOT 11867589 SOS 7457778 HAS SOPS 6183261 HAS SOUS 2008390 HAS SOUPS 1915901 WITH SCORE 1923358.778
AT ITER 3209 NEW BEST:: SOT 11864145 SOS 7446593 HAS SOPS 6173868 HAS SOUS 2003411 HAS SOUPS 1910922 WITH SCORE 1918368.593
AT ITER 3214 NEW BEST:: SOT 11863443 SOS 7445900 HAS SOPS 6173177 HAS SOUS 2002714 HAS SOUPS 1910227 WITH SCORE 1917672.9
AT ITER 3226 NEW BEST:: SOT 11860015 SOS 7442406 HAS SOPS 6171725 HAS SOUS 2000159 HAS SOUPS 1907672 WITH SCORE 1915114.406
AT ITER 3237 NEW BEST:: SOT 11859694 SOS 7440424 HAS SOPS 6169087 HAS SOUS 1999002 HAS SOUPS 1906515 WITH SCORE 1913955.424
AT ITER 3244 NEW BEST:: SOT 11860409 SOS 7441561 HAS SOPS 6167215 HAS SOUS 1995755 HAS SOUPS 1903268 WITH SCORE 1910709.561
AT ITER 3246 NEW BEST:: SOT 11860219 SOS 7441065 HAS SOPS 6166716 HAS SOUS 1995328 HAS SOUPS 1902844 WITH SCORE 1910285.065
AT ITER 3300 NEW BEST:: SOT 11860449 SOS 7441799 HAS SOPS 6167148 HAS SOUS 1995301 HAS SOUPS 1902801 WITH SCORE 1910242.799
AT ITER 3318 NEW BEST:: SOT 11864756 SOS 7439608 HAS SOPS 6175409 HAS SOUS 1981968 HAS SOUPS 1891419 WITH SCORE 1898858.608
AT ITER 3331 NEW BEST:: SOT 11858740 SOS 7440822 HAS SOPS 6173407 HAS SOUS 1974217 HAS SOUPS 1883240 WITH SCORE 1890680.822
AT ITER 3348 NEW BEST:: SOT 11858405 SOS 7438122 HAS SOPS 6170290 HAS SOUS 1972854 HAS SOUPS 1881877 WITH SCORE 1889315.122
AT ITER 3351 NEW BEST:: SOT 11858279 SOS 7438234 HAS SOPS 6171073 HAS SOUS 1972722 HAS SOUPS 1881783 WITH SCORE 1889221.234
AT ITER 3382 NEW BEST:: SOT 11855828 SOS 7431064 HAS SOPS 6167994 HAS SOUS 1972009 HAS SOUPS 1881283 WITH SCORE 1888714.064
AT ITER 3388 NEW BEST:: SOT 11855805 SOS 7431041 HAS SOPS 6167942 HAS SOUS 1972002 HAS SOUPS 1881245 WITH SCORE 1888676.041
AT ITER 3408 NEW BEST:: SOT 11855791 SOS 7431236 HAS SOPS 6168182 HAS SOUS 1971926 HAS SOUPS 1881160 WITH SCORE 1888591.236
AT ITER 3457 NEW BEST:: SOT 11851433 SOS 7421882 HAS SOPS 6158381 HAS SOUS 1959144 HAS SOUPS 1869035 WITH SCORE 1876456.882
AT ITER 3480 NEW BEST:: SOT 11850606 SOS 7419116 HAS SOPS 6155908 HAS SOUS 1957829 HAS SOUPS 1867722 WITH SCORE 1875141.116
AT ITER 3482 NEW BEST:: SOT 11839507 SOS 7403619 HAS SOPS 6137540 HAS SOUS 1948552 HAS SOUPS 1858445 WITH SCORE 1865848.619
AT ITER 3500 NEW BEST:: SOT 11838703 SOS 7402708 HAS SOPS 6136473 HAS SOUS 1947176 HAS SOUPS 1857069 WITH SCORE 1864471.708
AT ITER 3511 NEW BEST:: SOT 11838584 SOS 7402592 HAS SOPS 6136330 HAS SOUS 1946723 HAS SOUPS 1856616 WITH SCORE 1864018.592
AT ITER 3512 NEW BEST:: SOT 11837591 SOS 7401607 HAS SOPS 6135495 HAS SOUS 1946055 HAS SOUPS 1856103 WITH SCORE 1863504.607
AT ITER 3542 NEW BEST:: SOT 11837456 SOS 7401403 HAS SOPS 6135237 HAS SOUS 1945599 HAS SOUPS 1855647 WITH SCORE 1863048.403
AT ITER 3543 NEW BEST:: SOT 11835114 SOS 7399061 HAS SOPS 6132895 HAS SOUS 1943057 HAS SOUPS 1853105 WITH SCORE 1860504.061
AT ITER 3554 NEW BEST:: SOT 11835132 SOS 7399113 HAS SOPS 6132927 HAS SOUS 1943020 HAS SOUPS 1853068 WITH SCORE 1860467.113
AT ITER 3587 NEW BEST:: SOT 11835050 SOS 7398903 HAS SOPS 6132640 HAS SOUS 1942478 HAS SOUPS 1852532 WITH SCORE 1859930.903
AT ITER 3595 NEW BEST:: SOT 11835720 SOS 7403174 HAS SOPS 6135395 HAS SOUS 1937921 HAS SOUPS 1847975 WITH SCORE 1855378.174
AT ITER 3618 NEW BEST:: SOT 11836486 SOS 7405517 HAS SOPS 6136117 HAS SOUS 1937535 HAS SOUPS 1847560 WITH SCORE 1854965.517
AT ITER 3619 NEW BEST:: SOT 11835590 SOS 7404636 HAS SOPS 6134784 HAS SOUS 1935971 HAS SOUPS 1845996 WITH SCORE 1853400.636
AT ITER 3628 NEW BEST:: SOT 11835520 SOS 7405040 HAS SOPS 6137096 HAS SOUS 1934028 HAS SOUPS 1844053 WITH SCORE 1851458.04
AT ITER 3647 NEW BEST:: SOT 11835485 SOS 7405005 HAS SOPS 6136661 HAS SOUS 1932105 HAS SOUPS 1842130 WITH SCORE 1849535.005
AT ITER 3648 NEW BEST:: SOT 11833347 SOS 7400905 HAS SOPS 6133256 HAS SOUS 1928569 HAS SOUPS 1838614 WITH SCORE 1846014.905
AT ITER 3661 NEW BEST:: SOT 11833358 SOS 7401212 HAS SOPS 6133206 HAS SOUS 1927457 HAS SOUPS 1837502 WITH SCORE 1844903.212
AT ITER 3671 NEW BEST:: SOT 11833167 SOS 7400025 HAS SOPS 6131562 HAS SOUS 1926932 HAS SOUPS 1836977 WITH SCORE 1844377.025
AT ITER 3673 NEW BEST:: SOT 11832952 SOS 7397074 HAS SOPS 6125389 HAS SOUS 1921503 HAS SOUPS 1831548 WITH SCORE 1838945.074
AT ITER 3675 NEW BEST:: SOT 11832118 SOS 7395176 HAS SOPS 6123287 HAS SOUS 1921187 HAS SOUPS 1831232 WITH SCORE 1838627.176
AT ITER 3683 NEW BEST:: SOT 11832066 SOS 7396188 HAS SOPS 6124521 HAS SOUS 1920375 HAS SOUPS 1830396 WITH SCORE 1837792.188
AT ITER 3687 NEW BEST:: SOT 11831019 SOS 7395069 HAS SOPS 6123158 HAS SOUS 1918196 HAS SOUPS 1828217 WITH SCORE 1835612.069
AT ITER 3693 NEW BEST:: SOT 11830584 SOS 7394218 HAS SOPS 6122564 HAS SOUS 1917643 HAS SOUPS 1827664 WITH SCORE 1835058.218
AT ITER 3727 NEW BEST:: SOT 11829964 SOS 7393033 HAS SOPS 6121075 HAS SOUS 1916185 HAS SOUPS 1826174 WITH SCORE 1833567.033
AT ITER 3739 NEW BEST:: SOT 11829681 SOS 7391165 HAS SOPS 6119516 HAS SOUS 1915183 HAS SOUPS 1825172 WITH SCORE 1832563.165
AT ITER 3747 NEW BEST:: SOT 11829607 SOS 7390652 HAS SOPS 6119122 HAS SOUS 1914257 HAS SOUPS 1824246 WITH SCORE 1831636.652
AT ITER 3748 NEW BEST:: SOT 11827110 SOS 7390208 HAS SOPS 6121786 HAS SOUS 1911700 HAS SOUPS 1821689 WITH SCORE 1829079.208
AT ITER 3756 NEW BEST:: SOT 11826416 SOS 7386836 HAS SOPS 6118635 HAS SOUS 1910002 HAS SOUPS 1819991 WITH SCORE 1827377.836
AT ITER 3790 NEW BEST:: SOT 11826841 SOS 7385983 HAS SOPS 6123174 HAS SOUS 1909073 HAS SOUPS 1819062 WITH SCORE 1826447.983
AT ITER 3800 NEW BEST:: SOT 11821164 SOS 7374156 HAS SOPS 6114446 HAS SOUS 1906765 HAS SOUPS 1816758 WITH SCORE 1824132.156
AT ITER 3806 NEW BEST:: SOT 11821688 SOS 7377082 HAS SOPS 6116211 HAS SOUS 1906433 HAS SOUPS 1816398 WITH SCORE 1823775.082
AT ITER 3830 NEW BEST:: SOT 11820444 SOS 7375677 HAS SOPS 6114904 HAS SOUS 1904950 HAS SOUPS 1814989 WITH SCORE 1822364.677
AT ITER 3855 NEW BEST:: SOT 11820256 SOS 7375489 HAS SOPS 6114652 HAS SOUS 1904574 HAS SOUPS 1814613 WITH SCORE 1821988.489
AT ITER 3880 NEW BEST:: SOT 11818865 SOS 7374098 HAS SOPS 6112941 HAS SOUS 1902139 HAS SOUPS 1812178 WITH SCORE 1819552.098
AT ITER 3894 NEW BEST:: SOT 11821495 SOS 7377539 HAS SOPS 6117607 HAS SOUS 1901550 HAS SOUPS 1811589 WITH SCORE 1818966.539
AT ITER 3902 NEW BEST:: SOT 11822637 SOS 7377641 HAS SOPS 6120055 HAS SOUS 1901457 HAS SOUPS 1811496 WITH SCORE 1818873.641
AT ITER 3927 NEW BEST:: SOT 11822590 SOS 7377552 HAS SOPS 6119999 HAS SOUS 1901450 HAS SOUPS 1811490 WITH SCORE 1818867.552
AT ITER 3988 NEW BEST:: SOT 11822237 SOS 7382360 HAS SOPS 6122698 HAS SOUS 1898687 HAS SOUPS 1808676 WITH SCORE 1816058.36
AT ITER 4035 NEW BEST:: SOT 11822185 SOS 7380676 HAS SOPS 6122715 HAS SOUS 1898187 HAS SOUPS 1808176 WITH SCORE 1815556.676
AT ITER 4045 NEW BEST:: SOT 11822099 SOS 7380593 HAS SOPS 6122596 HAS SOUS 1897921 HAS SOUPS 1807907 WITH SCORE 1815287.593
AT ITER 4106 NEW BEST:: SOT 11821687 SOS 7379780 HAS SOPS 6121883 HAS SOUS 1897557 HAS SOUPS 1807543 WITH SCORE 1814922.78
AT ITER 4112 NEW BEST:: SOT 11814799 SOS 7368930 HAS SOPS 6110473 HAS SOUS 1889832 HAS SOUPS 1799895 WITH SCORE 1807263.93
AT ITER 4139 NEW BEST:: SOT 11813962 SOS 7368093 HAS SOPS 6109700 HAS SOUS 1889831 HAS SOUPS 1799894 WITH SCORE 1807262.093
AT ITER 4151 NEW BEST:: SOT 11817561 SOS 7371677 HAS SOPS 6115451 HAS SOUS 1885761 HAS SOUPS 1797806 WITH SCORE 1805177.677
AT ITER 4183 NEW BEST:: SOT 11817310 SOS 7371336 HAS SOPS 6114930 HAS SOUS 1885220 HAS SOUPS 1797265 WITH SCORE 1804636.336
AT ITER 4199 NEW BEST:: SOT 11815528 SOS 7369532 HAS SOPS 6113055 HAS SOUS 1883247 HAS SOUPS 1795292 WITH SCORE 1802661.532
AT ITER 4203 NEW BEST:: SOT 11814279 SOS 7367631 HAS SOPS 6110175 HAS SOUS 1880058 HAS SOUPS 1792103 WITH SCORE 1799470.631
AT ITER 4206 NEW BEST:: SOT 11813936 SOS 7365793 HAS SOPS 6106955 HAS SOUS 1872214 HAS SOUPS 1784227 WITH SCORE 1791592.793
AT ITER 4256 NEW BEST:: SOT 11814016 SOS 7365679 HAS SOPS 6107182 HAS SOUS 1872036 HAS SOUPS 1784049 WITH SCORE 1791414.679
AT ITER 4258 NEW BEST:: SOT 11811838 SOS 7362954 HAS SOPS 6103530 HAS SOUS 1866210 HAS SOUPS 1778223 WITH SCORE 1785585.954
AT ITER 4275 NEW BEST:: SOT 11811646 SOS 7362758 HAS SOPS 6102891 HAS SOUS 1865366 HAS SOUPS 1777379 WITH SCORE 1784741.758
AT ITER 4298 NEW BEST:: SOT 11815656 SOS 7371942 HAS SOPS 6109554 HAS SOUS 1863813 HAS SOUPS 1775826 WITH SCORE 1783197.942
AT ITER 4312 NEW BEST:: SOT 11815464 SOS 7371750 HAS SOPS 6109298 HAS SOUS 1863429 HAS SOUPS 1775442 WITH SCORE 1782813.75
AT ITER 4320 NEW BEST:: SOT 11815928 SOS 7374217 HAS SOPS 6112012 HAS SOUS 1862634 HAS SOUPS 1774647 WITH SCORE 1782021.217
AT ITER 4327 NEW BEST:: SOT 11816011 SOS 7375220 HAS SOPS 6113080 HAS SOUS 1859718 HAS SOUPS 1771731 WITH SCORE 1779106.22
AT ITER 4337 NEW BEST:: SOT 11815883 SOS 7375092 HAS SOPS 6112868 HAS SOUS 1859586 HAS SOUPS 1771599 WITH SCORE 1778974.092
AT ITER 4367 NEW BEST:: SOT 11814171 SOS 7373700 HAS SOPS 6113810 HAS SOUS 1856037 HAS SOUPS 1768179 WITH SCORE 1775552.7
AT ITER 4389 NEW BEST:: SOT 11807369 SOS 7366898 HAS SOPS 6106848 HAS SOUS 1849979 HAS SOUPS 1762121 WITH SCORE 1769487.898
AT ITER 4390 NEW BEST:: SOT 11806369 SOS 7365051 HAS SOPS 6105796 HAS SOUS 1848412 HAS SOUPS 1760554 WITH SCORE 1767919.051
AT ITER 4391 NEW BEST:: SOT 11804652 SOS 7363267 HAS SOPS 6104023 HAS SOUS 1846805 HAS SOUPS 1758958 WITH SCORE 1766321.267
AT ITER 4398 NEW BEST:: SOT 11804696 SOS 7363216 HAS SOPS 6103790 HAS SOUS 1846613 HAS SOUPS 1758766 WITH SCORE 1766129.216
AT ITER 4415 NEW BEST:: SOT 11808782 SOS 7375057 HAS SOPS 6111260 HAS SOUS 1839020 HAS SOUPS 1750985 WITH SCORE 1758360.057
AT ITER 4434 NEW BEST:: SOT 11791172 SOS 7347229 HAS SOPS 6093400 HAS SOUS 1833401 HAS SOUPS 1745467 WITH SCORE 1752814.229
AT ITER 4447 NEW BEST:: SOT 11788796 SOS 7344853 HAS SOPS 6090736 HAS SOUS 1830065 HAS SOUPS 1742035 WITH SCORE 1749379.853
AT ITER 4469 NEW BEST:: SOT 11788260 SOS 7342846 HAS SOPS 6089189 HAS SOUS 1823496 HAS SOUPS 1735882 WITH SCORE 1743224.846
AT ITER 4474 NEW BEST:: SOT 11784351 SOS 7338867 HAS SOPS 6085384 HAS SOUS 1820948 HAS SOUPS 1733273 WITH SCORE 1740611.867
AT ITER 4512 NEW BEST:: SOT 11783991 SOS 7338507 HAS SOPS 6084960 HAS SOUS 1820228 HAS SOUPS 1732553 WITH SCORE 1739891.507
AT ITER 4517 NEW BEST:: SOT 11783782 SOS 7338287 HAS SOPS 6084541 HAS SOUS 1819657 HAS SOUPS 1731999 WITH SCORE 1739337.287
AT ITER 4521 NEW BEST:: SOT 11783740 SOS 7337882 HAS SOPS 6084224 HAS SOUS 1819536 HAS SOUPS 1731878 WITH SCORE 1739215.882
AT ITER 4525 NEW BEST:: SOT 11783390 SOS 7334826 HAS SOPS 6083874 HAS SOUS 1819104 HAS SOUPS 1731528 WITH SCORE 1738862.826
AT ITER 4546 NEW BEST:: SOT 11781580 SOS 7331474 HAS SOPS 6080640 HAS SOUS 1812775 HAS SOUPS 1725199 WITH SCORE 1732530.474
AT ITER 4564 NEW BEST:: SOT 11782704 SOS 7331582 HAS SOPS 6080444 HAS SOUS 1812328 HAS SOUPS 1724752 WITH SCORE 1732083.582
AT ITER 4568 NEW BEST:: SOT 11783658 SOS 7334256 HAS SOPS 6081708 HAS SOUS 1811476 HAS SOUPS 1723879 WITH SCORE 1731213.256
AT ITER 4593 NEW BEST:: SOT 11783740 SOS 7335111 HAS SOPS 6081020 HAS SOUS 1811475 HAS SOUPS 1723847 WITH SCORE 1731182.111
AT ITER 4599 NEW BEST:: SOT 11780124 SOS 7325515 HAS SOPS 6074764 HAS SOUS 1810502 HAS SOUPS 1722874 WITH SCORE 1730199.515
AT ITER 4604 NEW BEST:: SOT 11782605 SOS 7329522 HAS SOPS 6077272 HAS SOUS 1810209 HAS SOUPS 1722541 WITH SCORE 1729870.522
AT ITER 4636 NEW BEST:: SOT 11787283 SOS 7334209 HAS SOPS 6083539 HAS SOUS 1808617 HAS SOUPS 1720988 WITH SCORE 1728322.209
AT ITER 4660 NEW BEST:: SOT 11785821 SOS 7326289 HAS SOPS 6081003 HAS SOUS 1807557 HAS SOUPS 1719998 WITH SCORE 1727324.289
AT ITER 4672 NEW BEST:: SOT 11781544 SOS 7320432 HAS SOPS 6072968 HAS SOUS 1801078 HAS SOUPS 1713519 WITH SCORE 1720839.432
AT ITER 4678 NEW BEST:: SOT 11781551 SOS 7320407 HAS SOPS 6072987 HAS SOUS 1801069 HAS SOUPS 1713510 WITH SCORE 1720830.407
AT ITER 4683 NEW BEST:: SOT 11781831 SOS 7321175 HAS SOPS 6074069 HAS SOUS 1800728 HAS SOUPS 1713169 WITH SCORE 1720490.175
AT ITER 4696 NEW BEST:: SOT 11782725 SOS 7320324 HAS SOPS 6076165 HAS SOUS 1799339 HAS SOUPS 1711780 WITH SCORE 1719100.324
AT ITER 4699 NEW BEST:: SOT 11780945 SOS 7319419 HAS SOPS 6072675 HAS SOUS 1796177 HAS SOUPS 1708556 WITH SCORE 1715875.419
AT ITER 4706 NEW BEST:: SOT 11782798 SOS 7328932 HAS SOPS 6080229 HAS SOUS 1794708 HAS SOUPS 1707087 WITH SCORE 1714415.932
AT ITER 4710 NEW BEST:: SOT 11782675 SOS 7327019 HAS SOPS 6078938 HAS SOUS 1793845 HAS SOUPS 1706262 WITH SCORE 1713589.019
AT ITER 4716 NEW BEST:: SOT 11783137 SOS 7327481 HAS SOPS 6079400 HAS SOUS 1793813 HAS SOUPS 1706230 WITH SCORE 1713557.481
AT ITER 4725 NEW BEST:: SOT 11782273 SOS 7325638 HAS SOPS 6077399 HAS SOUS 1793133 HAS SOUPS 1705550 WITH SCORE 1712875.638
AT ITER 4729 NEW BEST:: SOT 11781571 SOS 7324990 HAS SOPS 6076863 HAS SOUS 1791657 HAS SOUPS 1704116 WITH SCORE 1711440.99
AT ITER 4742 NEW BEST:: SOT 11778085 SOS 7321121 HAS SOPS 6073253 HAS SOUS 1787328 HAS SOUPS 1699827 WITH SCORE 1707148.121
AT ITER 4764 NEW BEST:: SOT 11777821 SOS 7320827 HAS SOPS 6072637 HAS SOUS 1785814 HAS SOUPS 1698292 WITH SCORE 1705612.827
AT ITER 4777 NEW BEST:: SOT 11778102 SOS 7321340 HAS SOPS 6073288 HAS SOUS 1785419 HAS SOUPS 1697897 WITH SCORE 1705218.34
AT ITER 4788 NEW BEST:: SOT 11777102 SOS 7320523 HAS SOPS 6071332 HAS SOUS 1783711 HAS SOUPS 1696189 WITH SCORE 1703509.523
AT ITER 4792 NEW BEST:: SOT 11776530 SOS 7319951 HAS SOPS 6070312 HAS SOUS 1781775 HAS SOUPS 1694253 WITH SCORE 1701572.951
AT ITER 4794 NEW BEST:: SOT 11774165 SOS 7315524 HAS SOPS 6067094 HAS SOUS 1779114 HAS SOUPS 1691592 WITH SCORE 1698907.524
AT ITER 4810 NEW BEST:: SOT 11775433 SOS 7320353 HAS SOPS 6070869 HAS SOUS 1778784 HAS SOUPS 1691238 WITH SCORE 1698558.353
AT ITER 4811 NEW BEST:: SOT 11773229 SOS 7317112 HAS SOPS 6067319 HAS SOUS 1776057 HAS SOUPS 1688511 WITH SCORE 1695828.112
AT ITER 4836 NEW BEST:: SOT 11771736 SOS 7314033 HAS SOPS 6063352 HAS SOUS 1774796 HAS SOUPS 1687344 WITH SCORE 1694658.033
AT ITER 4849 NEW BEST:: SOT 11771745 SOS 7314030 HAS SOPS 6063339 HAS SOUS 1774795 HAS SOUPS 1687342 WITH SCORE 1694656.03
AT ITER 4860 NEW BEST:: SOT 11770780 SOS 7313065 HAS SOPS 6062374 HAS SOUS 1774298 HAS SOUPS 1686845 WITH SCORE 1694158.065
AT ITER 4870 NEW BEST:: SOT 11771348 SOS 7322436 HAS SOPS 6070510 HAS SOUS 1771838 HAS SOUPS 1684385 WITH SCORE 1691707.436
AT ITER 4883 NEW BEST:: SOT 11771353 SOS 7322387 HAS SOPS 6070374 HAS SOUS 1771837 HAS SOUPS 1684384 WITH SCORE 1691706.387
AT ITER 4884 NEW BEST:: SOT 11774463 SOS 7327970 HAS SOPS 6076933 HAS SOUS 1767074 HAS SOUPS 1679621 WITH SCORE 1686948.97
AT ITER 4894 NEW BEST:: SOT 11774763 SOS 7328101 HAS SOPS 6077764 HAS SOUS 1765427 HAS SOUPS 1678026 WITH SCORE 1685354.101
AT ITER 4911 NEW BEST:: SOT 11775115 SOS 7328453 HAS SOPS 6077764 HAS SOUS 1765147 HAS SOUPS 1677490 WITH SCORE 1684818.453
AT ITER 4915 NEW BEST:: SOT 11775066 SOS 7328404 HAS SOPS 6077715 HAS SOUS 1765098 HAS SOUPS 1677441 WITH SCORE 1684769.404
AT ITER 4996 NEW BEST:: SOT 11774392 SOS 7327252 HAS SOPS 6076629 HAS SOUS 1763514 HAS SOUPS 1675857 WITH SCORE 1683184.252
AT ITER 5024 NEW BEST:: SOT 11765724 SOS 7316254 HAS SOPS 6064185 HAS SOUS 1745177 HAS SOUPS 1657570 WITH SCORE 1664886.254
AT ITER 5028 NEW BEST:: SOT 11763168 SOS 7313522 HAS SOPS 6059429 HAS SOUS 1739230 HAS SOUPS 1651623 WITH SCORE 1658936.522
AT ITER 5042 NEW BEST:: SOT 11760918 SOS 7307776 HAS SOPS 6057513 HAS SOUS 1733055 HAS SOUPS 1646128 WITH SCORE 1653435.776
AT ITER 5084 NEW BEST:: SOT 11760554 SOS 7301740 HAS SOPS 6051845 HAS SOUS 1730975 HAS SOUPS 1644048 WITH SCORE 1651349.74
AT ITER 5124 NEW BEST:: SOT 11759534 SOS 7300004 HAS SOPS 6050766 HAS SOUS 1729053 HAS SOUPS 1642126 WITH SCORE 1649426.004
AT ITER 5127 NEW BEST:: SOT 11755668 SOS 7295162 HAS SOPS 6045451 HAS SOUS 1721696 HAS SOUPS 1634833 WITH SCORE 1642128.162
AT ITER 5132 NEW BEST:: SOT 11755118 SOS 7293472 HAS SOPS 6044162 HAS SOUS 1720877 HAS SOUPS 1634014 WITH SCORE 1641307.472
AT ITER 5134 NEW BEST:: SOT 11754297 SOS 7292178 HAS SOPS 6042469 HAS SOUS 1719057 HAS SOUPS 1632194 WITH SCORE 1639486.178
AT ITER 5155 NEW BEST:: SOT 11754344 SOS 7292186 HAS SOPS 6042441 HAS SOUS 1718993 HAS SOUPS 1632130 WITH SCORE 1639422.186
AT ITER 5184 NEW BEST:: SOT 11754150 SOS 7292788 HAS SOPS 6043053 HAS SOUS 1718768 HAS SOUPS 1631905 WITH SCORE 1639197.788
AT ITER 5203 NEW BEST:: SOT 11753862 SOS 7292500 HAS SOPS 6042669 HAS SOUS 1718192 HAS SOUPS 1631329 WITH SCORE 1638621.5
AT ITER 5213 NEW BEST:: SOT 11753023 SOS 7291661 HAS SOPS 6041830 HAS SOUS 1717073 HAS SOUPS 1630210 WITH SCORE 1637501.661
AT ITER 5224 NEW BEST:: SOT 11752350 SOS 7290560 HAS SOPS 6040847 HAS SOUS 1716540 HAS SOUPS 1629677 WITH SCORE 1636967.56
AT ITER 5225 NEW BEST:: SOT 11750870 SOS 7287711 HAS SOPS 6038888 HAS SOUS 1716140 HAS SOUPS 1629277 WITH SCORE 1636564.711
AT ITER 5239 NEW BEST:: SOT 11750870 SOS 7286691 HAS SOPS 6037310 HAS SOUS 1715424 HAS SOUPS 1628561 WITH SCORE 1635847.691
AT ITER 5274 NEW BEST:: SOT 11750064 SOS 7285885 HAS SOPS 6036376 HAS SOUS 1714074 HAS SOUPS 1627211 WITH SCORE 1634496.885
AT ITER 5278 NEW BEST:: SOT 11750295 SOS 7285792 HAS SOPS 6036201 HAS SOUS 1713808 HAS SOUPS 1626945 WITH SCORE 1634230.792
AT ITER 5302 NEW BEST:: SOT 11748275 SOS 7282740 HAS SOPS 6032837 HAS SOUS 1710832 HAS SOUPS 1623969 WITH SCORE 1631251.74
AT ITER 5323 NEW BEST:: SOT 11747126 SOS 7281591 HAS SOPS 6031464 HAS SOUS 1708775 HAS SOUPS 1621912 WITH SCORE 1629193.591
AT ITER 5329 NEW BEST:: SOT 11746010 SOS 7280011 HAS SOPS 6029356 HAS SOUS 1706491 HAS SOUPS 1619644 WITH SCORE 1626924.011
AT ITER 5350 NEW BEST:: SOT 11736311 SOS 7266530 HAS SOPS 6018612 HAS SOUS 1700805 HAS SOUPS 1614262 WITH SCORE 1621528.53
AT ITER 5376 NEW BEST:: SOT 11737117 SOS 7270069 HAS SOPS 6024020 HAS SOUS 1699523 HAS SOUPS 1612980 WITH SCORE 1620250.069
AT ITER 5379 NEW BEST:: SOT 11736920 SOS 7269723 HAS SOPS 6025046 HAS SOUS 1699455 HAS SOUPS 1612936 WITH SCORE 1620205.723
AT ITER 5400 NEW BEST:: SOT 11736121 SOS 7268199 HAS SOPS 6023582 HAS SOUS 1698105 HAS SOUPS 1611597 WITH SCORE 1618865.199
AT ITER 5418 NEW BEST:: SOT 11733743 SOS 7254250 HAS SOPS 6010174 HAS SOUS 1696418 HAS SOUPS 1609910 WITH SCORE 1617164.25
AT ITER 5422 NEW BEST:: SOT 11733915 SOS 7254461 HAS SOPS 6010408 HAS SOUS 1696392 HAS SOUPS 1609884 WITH SCORE 1617138.461
AT ITER 5432 NEW BEST:: SOT 11737618 SOS 7259593 HAS SOPS 6018998 HAS SOUS 1695687 HAS SOUPS 1609179 WITH SCORE 1616438.593
AT ITER 5473 NEW BEST:: SOT 11737791 SOS 7260448 HAS SOPS 6019540 HAS SOUS 1695684 HAS SOUPS 1609176 WITH SCORE 1616436.448
AT ITER 5474 NEW BEST:: SOT 11737441 SOS 7259585 HAS SOPS 6018787 HAS SOUS 1695447 HAS SOUPS 1608939 WITH SCORE 1616198.585
AT ITER 5492 NEW BEST:: SOT 11737245 SOS 7259435 HAS SOPS 6018542 HAS SOUS 1695147 HAS SOUPS 1608639 WITH SCORE 1615898.435
AT ITER 5497 NEW BEST:: SOT 11737294 SOS 7257568 HAS SOPS 6020249 HAS SOUS 1695026 HAS SOUPS 1608518 WITH SCORE 1615775.568
AT ITER 5516 NEW BEST:: SOT 11736852 SOS 7257024 HAS SOPS 6019482 HAS SOUS 1693475 HAS SOUPS 1606967 WITH SCORE 1614224.024
AT ITER 5527 NEW BEST:: SOT 11736647 SOS 7255051 HAS SOPS 6018747 HAS SOUS 1693147 HAS SOUPS 1606665 WITH SCORE 1613920.051
AT ITER 5558 NEW BEST:: SOT 11736540 SOS 7253011 HAS SOPS 6017038 HAS SOUS 1692946 HAS SOUPS 1606464 WITH SCORE 1613717.011
AT ITER 5561 NEW BEST:: SOT 11736335 SOS 7252856 HAS SOPS 6016732 HAS SOUS 1692607 HAS SOUPS 1606054 WITH SCORE 1613306.856
AT ITER 5570 NEW BEST:: SOT 11735637 SOS 7251922 HAS SOPS 6014762 HAS SOUS 1690386 HAS SOUPS 1603069 WITH SCORE 1610320.922
AT ITER 5591 NEW BEST:: SOT 11738130 SOS 7267327 HAS SOPS 6028311 HAS SOUS 1689084 HAS SOUPS 1601447 WITH SCORE 1608714.327
AT ITER 5605 NEW BEST:: SOT 11737346 SOS 7267433 HAS SOPS 6027471 HAS SOUS 1687059 HAS SOUPS 1599422 WITH SCORE 1606689.433
AT ITER 5612 NEW BEST:: SOT 11737258 SOS 7267345 HAS SOPS 6027383 HAS SOUS 1687043 HAS SOUPS 1599406 WITH SCORE 1606673.345
AT ITER 5637 NEW BEST:: SOT 11736607 SOS 7265355 HAS SOPS 6025837 HAS SOUS 1686174 HAS SOUPS 1598537 WITH SCORE 1605802.355
AT ITER 5668 NEW BEST:: SOT 11736608 SOS 7265478 HAS SOPS 6025882 HAS SOUS 1686154 HAS SOUPS 1598517 WITH SCORE 1605782.478
AT ITER 5673 NEW BEST:: SOT 11736671 SOS 7264877 HAS SOPS 6023859 HAS SOUS 1682699 HAS SOUPS 1595062 WITH SCORE 1602326.877
AT ITER 5676 NEW BEST:: SOT 11733473 SOS 7261942 HAS SOPS 6019365 HAS SOUS 1680937 HAS SOUPS 1593300 WITH SCORE 1600561.942
AT ITER 5682 NEW BEST:: SOT 11731759 SOS 7258688 HAS SOPS 6016462 HAS SOUS 1678495 HAS SOUPS 1590904 WITH SCORE 1598162.688
AT ITER 5698 NEW BEST:: SOT 11731192 SOS 7257702 HAS SOPS 6014851 HAS SOUS 1676827 HAS SOUPS 1589236 WITH SCORE 1596493.702
AT ITER 5699 NEW BEST:: SOT 11731174 SOS 7254134 HAS SOPS 6009528 HAS SOUS 1676669 HAS SOUPS 1589078 WITH SCORE 1596332.134
AT ITER 5705 NEW BEST:: SOT 11727324 SOS 7250519 HAS SOPS 6006920 HAS SOUS 1671256 HAS SOUPS 1583665 WITH SCORE 1590915.519
AT ITER 5740 NEW BEST:: SOT 11727364 SOS 7250395 HAS SOPS 6006952 HAS SOUS 1670931 HAS SOUPS 1583340 WITH SCORE 1590590.395
AT ITER 5750 NEW BEST:: SOT 11725796 SOS 7248523 HAS SOPS 6004728 HAS SOUS 1668829 HAS SOUPS 1581107 WITH SCORE 1588355.523
AT ITER 5751 NEW BEST:: SOT 11726035 SOS 7249174 HAS SOPS 6004677 HAS SOUS 1668566 HAS SOUPS 1580844 WITH SCORE 1588093.174
AT ITER 5757 NEW BEST:: SOT 11726743 SOS 7253601 HAS SOPS 6009292 HAS SOUS 1666953 HAS SOUPS 1579231 WITH SCORE 1586484.601
AT ITER 5778 NEW BEST:: SOT 11726716 SOS 7254954 HAS SOPS 6007473 HAS SOUS 1665457 HAS SOUPS 1577735 WITH SCORE 1584989.954
AT ITER 5793 NEW BEST:: SOT 11728046 SOS 7255676 HAS SOPS 6007875 HAS SOUS 1665275 HAS SOUPS 1577553 WITH SCORE 1584808.676
AT ITER 5819 NEW BEST:: SOT 11730034 SOS 7257664 HAS SOPS 6009335 HAS SOUS 1664751 HAS SOUPS 1577029 WITH SCORE 1584286.664
AT ITER 5820 NEW BEST:: SOT 11730010 SOS 7257630 HAS SOPS 6009301 HAS SOUS 1664726 HAS SOUPS 1577005 WITH SCORE 1584262.63
AT ITER 5858 NEW BEST:: SOT 11729604 SOS 7257694 HAS SOPS 6010900 HAS SOUS 1663582 HAS SOUPS 1575923 WITH SCORE 1583180.694
AT ITER 5864 NEW BEST:: SOT 11729664 SOS 7258333 HAS SOPS 6010919 HAS SOUS 1663138 HAS SOUPS 1575479 WITH SCORE 1582737.333
AT ITER 5881 NEW BEST:: SOT 11729300 SOS 7255150 HAS SOPS 6007115 HAS SOUS 1661947 HAS SOUPS 1574288 WITH SCORE 1581543.15
AT ITER 5908 NEW BEST:: SOT 11727834 SOS 7253447 HAS SOPS 6005042 HAS SOUS 1658238 HAS SOUPS 1570579 WITH SCORE 1577832.447
AT ITER 5924 NEW BEST:: SOT 11727434 SOS 7253047 HAS SOPS 6004578 HAS SOUS 1658142 HAS SOUPS 1570483 WITH SCORE 1577736.047
AT ITER 5926 NEW BEST:: SOT 11727290 SOS 7253037 HAS SOPS 6004516 HAS SOUS 1657544 HAS SOUPS 1569885 WITH SCORE 1577138.037
AT ITER 5928 NEW BEST:: SOT 11725690 SOS 7253299 HAS SOPS 6000993 HAS SOUS 1653603 HAS SOUPS 1565944 WITH SCORE 1573197.299
AT ITER 5940 NEW BEST:: SOT 11725530 SOS 7253073 HAS SOPS 6000522 HAS SOUS 1653149 HAS SOUPS 1565490 WITH SCORE 1572743.073
AT ITER 5998 NEW BEST:: SOT 11725275 SOS 7254054 HAS SOPS 6001439 HAS SOUS 1652728 HAS SOUPS 1565069 WITH SCORE 1572323.054
AT ITER 6001 NEW BEST:: SOT 11726332 SOS 7255632 HAS SOPS 6001649 HAS SOUS 1651866 HAS SOUPS 1564207 WITH SCORE 1571462.632
AT ITER 6021 NEW BEST:: SOT 11727392 SOS 7255131 HAS SOPS 6003875 HAS SOUS 1651752 HAS SOUPS 1564093 WITH SCORE 1571348.131
AT ITER 6028 NEW BEST:: SOT 11727450 SOS 7254401 HAS SOPS 6003059 HAS SOUS 1651601 HAS SOUPS 1563942 WITH SCORE 1571196.401
AT ITER 6036 NEW BEST:: SOT 11727282 SOS 7254011 HAS SOPS 6002669 HAS SOUS 1651523 HAS SOUPS 1563864 WITH SCORE 1571118.011
AT ITER 6039 NEW BEST:: SOT 11724586 SOS 7250427 HAS SOPS 5998524 HAS SOUS 1647974 HAS SOUPS 1560315 WITH SCORE 1567565.427
AT ITER 6058 NEW BEST:: SOT 11721945 SOS 7247786 HAS SOPS 5995099 HAS SOUS 1645893 HAS SOUPS 1558234 WITH SCORE 1565481.786
AT ITER 6076 NEW BEST:: SOT 11718214 SOS 7244011 HAS SOPS 5988976 HAS SOUS 1637711 HAS SOUPS 1550001 WITH SCORE 1557245.011
AT ITER 6086 NEW BEST:: SOT 11718039 SOS 7242426 HAS SOPS 5987163 HAS SOUS 1636368 HAS SOUPS 1548658 WITH SCORE 1555900.426
AT ITER 6088 NEW BEST:: SOT 11717935 SOS 7242322 HAS SOPS 5987035 HAS SOUS 1636136 HAS SOUPS 1548434 WITH SCORE 1555676.322
AT ITER 6093 NEW BEST:: SOT 11717890 SOS 7242300 HAS SOPS 5987088 HAS SOUS 1635948 HAS SOUPS 1548261 WITH SCORE 1555503.3
AT ITER 6095 NEW BEST:: SOT 11717411 SOS 7241498 HAS SOPS 5986208 HAS SOUS 1634981 HAS SOUPS 1547294 WITH SCORE 1554535.498
AT ITER 6096 NEW BEST:: SOT 11716447 SOS 7239016 HAS SOPS 5984537 HAS SOUS 1631707 HAS SOUPS 1544020 WITH SCORE 1551259.016
AT ITER 6108 NEW BEST:: SOT 11721360 SOS 7242921 HAS SOPS 5986728 HAS SOUS 1628382 HAS SOUPS 1540005 WITH SCORE 1547247.921
AT ITER 6122 NEW BEST:: SOT 11721108 SOS 7242669 HAS SOPS 5986380 HAS SOUS 1627394 HAS SOUPS 1539145 WITH SCORE 1546387.669
AT ITER 6138 NEW BEST:: SOT 11721012 SOS 7242573 HAS SOPS 5986236 HAS SOUS 1627070 HAS SOUPS 1538821 WITH SCORE 1546063.573
AT ITER 6154 NEW BEST:: SOT 11720712 SOS 7241801 HAS SOPS 5985269 HAS SOUS 1625570 HAS SOUPS 1537321 WITH SCORE 1544562.801
AT ITER 6161 NEW BEST:: SOT 11716796 SOS 7237813 HAS SOPS 5979997 HAS SOUS 1618876 HAS SOUPS 1530379 WITH SCORE 1537616.813
AT ITER 6170 NEW BEST:: SOT 11716771 SOS 7236520 HAS SOPS 5978854 HAS SOUS 1618684 HAS SOUPS 1530187 WITH SCORE 1537423.52
AT ITER 6195 NEW BEST:: SOT 11714729 SOS 7234038 HAS SOPS 5975760 HAS SOUS 1614683 HAS SOUPS 1526202 WITH SCORE 1533436.038
AT ITER 6205 NEW BEST:: SOT 11713499 SOS 7235400 HAS SOPS 5975359 HAS SOUS 1613738 HAS SOUPS 1525190 WITH SCORE 1532425.4
AT ITER 6223 NEW BEST:: SOT 11713420 SOS 7234346 HAS SOPS 5974050 HAS SOUS 1613704 HAS SOUPS 1525156 WITH SCORE 1532390.346
AT ITER 6224 NEW BEST:: SOT 11713432 SOS 7234465 HAS SOPS 5974026 HAS SOUS 1613576 HAS SOUPS 1525028 WITH SCORE 1532262.465
AT ITER 6235 NEW BEST:: SOT 11714511 SOS 7233410 HAS SOPS 5972596 HAS SOUS 1612974 HAS SOUPS 1524426 WITH SCORE 1531659.41
AT ITER 6237 NEW BEST:: SOT 11713040 SOS 7231939 HAS SOPS 5971125 HAS SOUS 1609391 HAS SOUPS 1520843 WITH SCORE 1528074.939
AT ITER 6254 NEW BEST:: SOT 11712580 SOS 7231533 HAS SOPS 5971053 HAS SOUS 1609378 HAS SOUPS 1520821 WITH SCORE 1528052.533
AT ITER 6262 NEW BEST:: SOT 11708469 SOS 7225068 HAS SOPS 5965502 HAS SOUS 1606045 HAS SOUPS 1517488 WITH SCORE 1524713.068
AT ITER 6270 NEW BEST:: SOT 11711679 SOS 7224364 HAS SOPS 5967162 HAS SOUS 1605531 HAS SOUPS 1517065 WITH SCORE 1524289.364
AT ITER 6297 NEW BEST:: SOT 11711550 SOS 7223235 HAS SOPS 5966382 HAS SOUS 1605134 HAS SOUPS 1516682 WITH SCORE 1523905.235
AT ITER 6298 NEW BEST:: SOT 11710575 SOS 7222260 HAS SOPS 5964031 HAS SOUS 1602143 HAS SOUPS 1513691 WITH SCORE 1520913.26
AT ITER 6306 NEW BEST:: SOT 11709539 SOS 7221369 HAS SOPS 5962797 HAS SOUS 1601014 HAS SOUPS 1512459 WITH SCORE 1519680.369
AT ITER 6321 NEW BEST:: SOT 11709099 SOS 7220923 HAS SOPS 5962046 HAS SOUS 1599831 HAS SOUPS 1511275 WITH SCORE 1518495.923
AT ITER 6324 NEW BEST:: SOT 11708831 SOS 7220671 HAS SOPS 5961618 HAS SOUS 1599217 HAS SOUPS 1510655 WITH SCORE 1517875.671
AT ITER 6332 NEW BEST:: SOT 11708809 SOS 7220334 HAS SOPS 5961287 HAS SOUS 1599046 HAS SOUPS 1510484 WITH SCORE 1517704.334
AT ITER 6349 NEW BEST:: SOT 11708557 SOS 7220010 HAS SOPS 5961057 HAS SOUS 1598821 HAS SOUPS 1510259 WITH SCORE 1517479.01
AT ITER 6359 NEW BEST:: SOT 11707390 SOS 7218852 HAS SOPS 5959605 HAS SOUS 1596713 HAS SOUPS 1508151 WITH SCORE 1515369.852
AT ITER 6367 NEW BEST:: SOT 11707942 SOS 7220879 HAS SOPS 5962702 HAS SOUS 1594134 HAS SOUPS 1505572 WITH SCORE 1512792.879
AT ITER 6369 NEW BEST:: SOT 11706422 SOS 7216642 HAS SOPS 5959025 HAS SOUS 1591656 HAS SOUPS 1503376 WITH SCORE 1510592.642
AT ITER 6373 NEW BEST:: SOT 11706219 SOS 7214832 HAS SOPS 5956678 HAS SOUS 1591209 HAS SOUPS 1502929 WITH SCORE 1510143.832
AT ITER 6378 NEW BEST:: SOT 11706399 SOS 7215072 HAS SOPS 5956474 HAS SOUS 1590345 HAS SOUPS 1502053 WITH SCORE 1509268.072
AT ITER 6381 NEW BEST:: SOT 11707849 SOS 7214724 HAS SOPS 5956314 HAS SOUS 1589884 HAS SOUPS 1501592 WITH SCORE 1508806.724
AT ITER 6394 NEW BEST:: SOT 11709425 SOS 7216702 HAS SOPS 5958485 HAS SOUS 1589487 HAS SOUPS 1501195 WITH SCORE 1508411.702
AT ITER 6397 NEW BEST:: SOT 11709181 SOS 7216430 HAS SOPS 5958145 HAS SOUS 1589095 HAS SOUPS 1500803 WITH SCORE 1508019.43
AT ITER 6409 NEW BEST:: SOT 11707627 SOS 7212884 HAS SOPS 5954788 HAS SOUS 1586207 HAS SOUPS 1497967 WITH SCORE 1505179.884
AT ITER 6430 NEW BEST:: SOT 11707106 SOS 7210861 HAS SOPS 5952271 HAS SOUS 1584818 HAS SOUPS 1496554 WITH SCORE 1503764.861
AT ITER 6436 NEW BEST:: SOT 11707106 SOS 7210861 HAS SOPS 5952271 HAS SOUS 1584814 HAS SOUPS 1496550 WITH SCORE 1503760.861
AT ITER 6457 NEW BEST:: SOT 11706370 SOS 7210100 HAS SOPS 5950980 HAS SOUS 1583385 HAS SOUPS 1495121 WITH SCORE 1502331.1
AT ITER 6465 NEW BEST:: SOT 11703931 SOS 7205843 HAS SOPS 5946920 HAS SOUS 1579684 HAS SOUPS 1491444 WITH SCORE 1498649.843
AT ITER 6479 NEW BEST:: SOT 11703834 SOS 7204444 HAS SOPS 5945443 HAS SOUS 1579289 HAS SOUPS 1491049 WITH SCORE 1498253.444
AT ITER 6483 NEW BEST:: SOT 11702684 SOS 7201555 HAS SOPS 5942989 HAS SOUS 1577742 HAS SOUPS 1489502 WITH SCORE 1496703.555
AT ITER 6490 NEW BEST:: SOT 11702407 SOS 7199946 HAS SOPS 5942661 HAS SOUS 1576734 HAS SOUPS 1488562 WITH SCORE 1495761.946
AT ITER 6504 NEW BEST:: SOT 11701765 SOS 7197546 HAS SOPS 5941751 HAS SOUS 1576038 HAS SOUPS 1487866 WITH SCORE 1495063.546
AT ITER 6547 NEW BEST:: SOT 11701312 SOS 7197536 HAS SOPS 5941870 HAS SOUS 1575465 HAS SOUPS 1487315 WITH SCORE 1494512.536
AT ITER 6551 NEW BEST:: SOT 11701227 SOS 7196214 HAS SOPS 5940628 HAS SOUS 1572989 HAS SOUPS 1484895 WITH SCORE 1492091.214
AT ITER 6573 NEW BEST:: SOT 11698614 SOS 7192174 HAS SOPS 5936072 HAS SOUS 1568773 HAS SOUPS 1480679 WITH SCORE 1487871.174
AT ITER 6576 NEW BEST:: SOT 11699116 SOS 7192264 HAS SOPS 5936464 HAS SOUS 1567763 HAS SOUPS 1479909 WITH SCORE 1487101.264
AT ITER 6579 NEW BEST:: SOT 11699124 SOS 7192258 HAS SOPS 5936245 HAS SOUS 1567297 HAS SOUPS 1479443 WITH SCORE 1486635.258
AT ITER 6596 NEW BEST:: SOT 11698766 SOS 7188172 HAS SOPS 5933670 HAS SOUS 1566628 HAS SOUPS 1478774 WITH SCORE 1485962.172
AT ITER 6609 NEW BEST:: SOT 11697924 SOS 7187267 HAS SOPS 5932550 HAS SOUS 1565045 HAS SOUPS 1477173 WITH SCORE 1484360.267
AT ITER 6611 NEW BEST:: SOT 11697697 SOS 7187058 HAS SOPS 5932404 HAS SOUS 1564593 HAS SOUPS 1476721 WITH SCORE 1483908.058
AT ITER 6622 NEW BEST:: SOT 11695960 SOS 7185353 HAS SOPS 5929876 HAS SOUS 1559640 HAS SOUPS 1471621 WITH SCORE 1478806.353
AT ITER 6625 NEW BEST:: SOT 11696069 SOS 7184848 HAS SOPS 5928535 HAS SOUS 1558930 HAS SOUPS 1470911 WITH SCORE 1478095.848
AT ITER 6642 NEW BEST:: SOT 11696357 SOS 7185136 HAS SOPS 5928823 HAS SOUS 1558738 HAS SOUPS 1470719 WITH SCORE 1477904.136
AT ITER 6644 NEW BEST:: SOT 11696338 SOS 7185235 HAS SOPS 5928935 HAS SOUS 1558716 HAS SOUPS 1470697 WITH SCORE 1477882.235
AT ITER 6651 NEW BEST:: SOT 11696331 SOS 7185310 HAS SOPS 5929247 HAS SOUS 1558515 HAS SOUPS 1470503 WITH SCORE 1477688.31
AT ITER 6653 NEW BEST:: SOT 11696315 SOS 7185294 HAS SOPS 5929231 HAS SOUS 1558467 HAS SOUPS 1470455 WITH SCORE 1477640.294
AT ITER 6670 NEW BEST:: SOT 11696309 SOS 7185052 HAS SOPS 5928980 HAS SOUS 1558454 HAS SOUPS 1470442 WITH SCORE 1477627.052
AT ITER 6675 NEW BEST:: SOT 11698799 SOS 7188113 HAS SOPS 5931387 HAS SOUS 1556227 HAS SOUPS 1468215 WITH SCORE 1475403.113
AT ITER 6681 NEW BEST:: SOT 11698864 SOS 7187747 HAS SOPS 5930439 HAS SOUS 1556095 HAS SOUPS 1468083 WITH SCORE 1475270.747
AT ITER 6699 NEW BEST:: SOT 11700802 SOS 7192323 HAS SOPS 5935145 HAS SOUS 1555363 HAS SOUPS 1467382 WITH SCORE 1474574.323
AT ITER 6702 NEW BEST:: SOT 11700811 SOS 7192550 HAS SOPS 5935231 HAS SOUS 1555356 HAS SOUPS 1467375 WITH SCORE 1474567.55
AT ITER 6724 NEW BEST:: SOT 11698130 SOS 7189186 HAS SOPS 5932127 HAS SOUS 1552398 HAS SOUPS 1464417 WITH SCORE 1471606.186
AT ITER 6731 NEW BEST:: SOT 11697824 SOS 7189503 HAS SOPS 5931278 HAS SOUS 1551629 HAS SOUPS 1463648 WITH SCORE 1470837.503
AT ITER 6740 NEW BEST:: SOT 11698158 SOS 7189025 HAS SOPS 5930496 HAS SOUS 1546925 HAS SOUPS 1459019 WITH SCORE 1466208.025
AT ITER 6747 NEW BEST:: SOT 11696870 SOS 7186598 HAS SOPS 5927987 HAS SOUS 1545692 HAS SOUPS 1457786 WITH SCORE 1464972.598
AT ITER 6753 NEW BEST:: SOT 11696755 SOS 7188584 HAS SOPS 5929100 HAS SOUS 1541394 HAS SOUPS 1453488 WITH SCORE 1460676.584
AT ITER 6787 NEW BEST:: SOT 11694050 SOS 7182471 HAS SOPS 5924643 HAS SOUS 1537066 HAS SOUPS 1449196 WITH SCORE 1456378.471
AT ITER 6799 NEW BEST:: SOT 11693652 SOS 7178749 HAS SOPS 5923409 HAS SOUS 1536825 HAS SOUPS 1448955 WITH SCORE 1456133.749
AT ITER 6800 NEW BEST:: SOT 11694188 SOS 7180207 HAS SOPS 5923843 HAS SOUS 1535528 HAS SOUPS 1447618 WITH SCORE 1454798.207
AT ITER 6826 NEW BEST:: SOT 11693329 SOS 7178513 HAS SOPS 5922661 HAS SOUS 1534173 HAS SOUPS 1446263 WITH SCORE 1453441.513
AT ITER 6827 NEW BEST:: SOT 11692221 SOS 7179143 HAS SOPS 5922851 HAS SOUS 1532649 HAS SOUPS 1444714 WITH SCORE 1451893.143
AT ITER 6867 NEW BEST:: SOT 11690610 SOS 7177285 HAS SOPS 5920869 HAS SOUS 1528986 HAS SOUPS 1441051 WITH SCORE 1448228.285
AT ITER 6871 NEW BEST:: SOT 11690423 SOS 7177098 HAS SOPS 5920682 HAS SOUS 1528655 HAS SOUPS 1440720 WITH SCORE 1447897.098
AT ITER 6878 NEW BEST:: SOT 11688955 SOS 7175630 HAS SOPS 5919214 HAS SOUS 1527847 HAS SOUPS 1439912 WITH SCORE 1447087.63
AT ITER 6906 NEW BEST:: SOT 11688152 SOS 7172104 HAS SOPS 5915997 HAS SOUS 1527781 HAS SOUPS 1439846 WITH SCORE 1447018.104
AT ITER 6908 NEW BEST:: SOT 11689836 SOS 7172267 HAS SOPS 5914830 HAS SOUS 1525827 HAS SOUPS 1437892 WITH SCORE 1445064.267
AT ITER 6945 NEW BEST:: SOT 11690081 SOS 7172864 HAS SOPS 5915075 HAS SOUS 1524697 HAS SOUPS 1436762 WITH SCORE 1443934.864
AT ITER 6959 NEW BEST:: SOT 11690435 SOS 7173218 HAS SOPS 5914941 HAS SOUS 1524507 HAS SOUPS 1436580 WITH SCORE 1443753.218
AT ITER 6974 NEW BEST:: SOT 11690337 SOS 7174075 HAS SOPS 5918208 HAS SOUS 1523700 HAS SOUPS 1435773 WITH SCORE 1442947.075
AT ITER 7021 NEW BEST:: SOT 11690298 SOS 7174610 HAS SOPS 5918533 HAS SOUS 1523535 HAS SOUPS 1435608 WITH SCORE 1442782.61
AT ITER 7068 NEW BEST:: SOT 11687384 SOS 7170822 HAS SOPS 5914835 HAS SOUS 1518150 HAS SOUPS 1430223 WITH SCORE 1437393.822
AT ITER 7073 NEW BEST:: SOT 11687356 SOS 7170768 HAS SOPS 5914781 HAS SOUS 1518114 HAS SOUPS 1430189 WITH SCORE 1437359.768
AT ITER 7082 NEW BEST:: SOT 11687180 SOS 7170586 HAS SOPS 5914563 HAS SOUS 1517932 HAS SOUPS 1430007 WITH SCORE 1437177.586
AT ITER 7092 NEW BEST:: SOT 11686544 SOS 7170277 HAS SOPS 5913686 HAS SOUS 1512751 HAS SOUPS 1424826 WITH SCORE 1431996.277
AT ITER 7096 NEW BEST:: SOT 11686366 SOS 7170465 HAS SOPS 5914196 HAS SOUS 1512251 HAS SOUPS 1424326 WITH SCORE 1431496.465
AT ITER 7100 NEW BEST:: SOT 11687281 SOS 7170755 HAS SOPS 5914486 HAS SOUS 1511866 HAS SOUPS 1423941 WITH SCORE 1431111.755
AT ITER 7113 NEW BEST:: SOT 11688527 SOS 7173498 HAS SOPS 5917303 HAS SOUS 1511284 HAS SOUPS 1423359 WITH SCORE 1430532.498
AT ITER 7118 NEW BEST:: SOT 11688498 SOS 7173042 HAS SOPS 5916964 HAS SOUS 1511194 HAS SOUPS 1423274 WITH SCORE 1430447.042
AT ITER 7139 NEW BEST:: SOT 11688831 SOS 7174275 HAS SOPS 5918668 HAS SOUS 1510141 HAS SOUPS 1422248 WITH SCORE 1429422.275
AT ITER 7151 NEW BEST:: SOT 11688188 SOS 7172330 HAS SOPS 5916885 HAS SOUS 1509323 HAS SOUPS 1421430 WITH SCORE 1428602.33
AT ITER 7167 NEW BEST:: SOT 11687300 SOS 7171442 HAS SOPS 5915725 HAS SOUS 1508003 HAS SOUPS 1420110 WITH SCORE 1427281.442
AT ITER 7196 NEW BEST:: SOT 11686770 SOS 7170505 HAS SOPS 5915875 HAS SOUS 1507511 HAS SOUPS 1419598 WITH SCORE 1426768.505
AT ITER 7202 NEW BEST:: SOT 11686115 SOS 7169777 HAS SOPS 5915148 HAS SOUS 1506731 HAS SOUPS 1418792 WITH SCORE 1425961.777
AT ITER 7224 NEW BEST:: SOT 11683720 SOS 7164236 HAS SOPS 5910167 HAS SOUS 1504244 HAS SOUPS 1416340 WITH SCORE 1423504.236
AT ITER 7229 NEW BEST:: SOT 11686804 SOS 7164159 HAS SOPS 5912396 HAS SOUS 1502950 HAS SOUPS 1415280 WITH SCORE 1422444.159
AT ITER 7233 NEW BEST:: SOT 11686827 SOS 7165052 HAS SOPS 5913211 HAS SOUS 1502888 HAS SOUPS 1415218 WITH SCORE 1422383.052
AT ITER 7245 NEW BEST:: SOT 11686749 SOS 7164980 HAS SOPS 5913115 HAS SOUS 1502570 HAS SOUPS 1414900 WITH SCORE 1422064.98
AT ITER 7246 NEW BEST:: SOT 11684894 SOS 7164047 HAS SOPS 5911402 HAS SOUS 1501441 HAS SOUPS 1413704 WITH SCORE 1420868.047
AT ITER 7291 NEW BEST:: SOT 11684521 SOS 7160974 HAS SOPS 5907791 HAS SOUS 1493553 HAS SOUPS 1405919 WITH SCORE 1413079.974
AT ITER 7303 NEW BEST:: SOT 11683253 SOS 7159976 HAS SOPS 5907544 HAS SOUS 1491715 HAS SOUPS 1404081 WITH SCORE 1411240.976
AT ITER 7341 NEW BEST:: SOT 11683200 SOS 7159917 HAS SOPS 5907421 HAS SOUS 1491519 HAS SOUPS 1403885 WITH SCORE 1411044.917
AT ITER 7405 NEW BEST:: SOT 11683785 SOS 7162362 HAS SOPS 5911994 HAS SOUS 1490965 HAS SOUPS 1403331 WITH SCORE 1410493.362
AT ITER 7430 NEW BEST:: SOT 11683808 SOS 7161428 HAS SOPS 5911128 HAS SOUS 1489683 HAS SOUPS 1402083 WITH SCORE 1409244.428
AT ITER 7444 NEW BEST:: SOT 11683748 SOS 7161374 HAS SOPS 5911063 HAS SOUS 1489535 HAS SOUPS 1401936 WITH SCORE 1409097.374
AT ITER 7459 NEW BEST:: SOT 11681961 SOS 7159587 HAS SOPS 5909244 HAS SOUS 1488900 HAS SOUPS 1401301 WITH SCORE 1408460.587
AT ITER 7460 NEW BEST:: SOT 11681576 SOS 7160041 HAS SOPS 5909948 HAS SOUS 1488437 HAS SOUPS 1400838 WITH SCORE 1407998.041
AT ITER 7462 NEW BEST:: SOT 11681516 SOS 7160053 HAS SOPS 5909966 HAS SOUS 1488197 HAS SOUPS 1400595 WITH SCORE 1407755.053
AT ITER 7471 NEW BEST:: SOT 11681104 SOS 7159614 HAS SOPS 5909514 HAS SOUS 1485801 HAS SOUPS 1398199 WITH SCORE 1405358.614
AT ITER 7492 NEW BEST:: SOT 11680840 SOS 7159350 HAS SOPS 5909378 HAS SOUS 1485537 HAS SOUPS 1398063 WITH SCORE 1405222.35
AT ITER 7506 NEW BEST:: SOT 11681926 SOS 7157746 HAS SOPS 5915670 HAS SOUS 1483215 HAS SOUPS 1395937 WITH SCORE 1403094.746
AT ITER 7511 NEW BEST:: SOT 11681846 SOS 7158308 HAS SOPS 5916107 HAS SOUS 1482868 HAS SOUPS 1395590 WITH SCORE 1402748.308
AT ITER 7520 NEW BEST:: SOT 11682600 SOS 7161225 HAS SOPS 5917332 HAS SOUS 1480401 HAS SOUPS 1393123 WITH SCORE 1400284.225
AT ITER 7545 NEW BEST:: SOT 11682600 SOS 7161855 HAS SOPS 5917763 HAS SOUS 1479911 HAS SOUPS 1392619 WITH SCORE 1399780.855
AT ITER 7546 NEW BEST:: SOT 11682382 SOS 7161602 HAS SOPS 5917480 HAS SOUS 1479878 HAS SOUPS 1392586 WITH SCORE 1399747.602
AT ITER 7562 NEW BEST:: SOT 11682332 SOS 7161566 HAS SOPS 5917464 HAS SOUS 1479854 HAS SOUPS 1392562 WITH SCORE 1399723.566
AT ITER 7614 NEW BEST:: SOT 11682452 SOS 7161641 HAS SOPS 5917542 HAS SOUS 1479818 HAS SOUPS 1392529 WITH SCORE 1399690.641
AT ITER 7639 NEW BEST:: SOT 11682327 SOS 7160041 HAS SOPS 5916192 HAS SOUS 1479174 HAS SOUPS 1391885 WITH SCORE 1399045.041
AT ITER 7648 NEW BEST:: SOT 11682103 SOS 7161021 HAS SOPS 5915785 HAS SOUS 1478376 HAS SOUPS 1391087 WITH SCORE 1398248.021
AT ITER 7677 NEW BEST:: SOT 11682125 SOS 7161460 HAS SOPS 5915973 HAS SOUS 1477676 HAS SOUPS 1390387 WITH SCORE 1397548.46
AT ITER 7697 NEW BEST:: SOT 11682466 SOS 7162421 HAS SOPS 5916459 HAS SOUS 1477054 HAS SOUPS 1389765 WITH SCORE 1396927.421
AT ITER 7745 NEW BEST:: SOT 11684946 SOS 7169959 HAS SOPS 5926235 HAS SOUS 1474526 HAS SOUPS 1387310 WITH SCORE 1394479.959
AT ITER 7751 NEW BEST:: SOT 11684709 SOS 7168525 HAS SOPS 5924893 HAS SOUS 1473480 HAS SOUPS 1386264 WITH SCORE 1393432.525
AT ITER 7792 NEW BEST:: SOT 11684530 SOS 7168346 HAS SOPS 5924394 HAS SOUS 1471573 HAS SOUPS 1384357 WITH SCORE 1391525.346
AT ITER 7794 NEW BEST:: SOT 11684492 SOS 7168313 HAS SOPS 5924351 HAS SOUS 1471513 HAS SOUPS 1384292 WITH SCORE 1391460.313
AT ITER 7801 NEW BEST:: SOT 11684404 SOS 7168232 HAS SOPS 5924399 HAS SOUS 1470930 HAS SOUPS 1383773 WITH SCORE 1390941.232
AT ITER 7815 NEW BEST:: SOT 11671566 SOS 7127296 HAS SOPS 5895704 HAS SOUS 1468319 HAS SOUPS 1381731 WITH SCORE 1388858.296
AT ITER 7826 NEW BEST:: SOT 11671514 SOS 7126884 HAS SOPS 5895350 HAS SOUS 1468224 HAS SOUPS 1381636 WITH SCORE 1388762.884
AT ITER 7828 NEW BEST:: SOT 11671572 SOS 7126732 HAS SOPS 5895090 HAS SOUS 1468062 HAS SOUPS 1381474 WITH SCORE 1388600.732
AT ITER 7837 NEW BEST:: SOT 11672809 SOS 7129689 HAS SOPS 5896760 HAS SOUS 1464945 HAS SOUPS 1378350 WITH SCORE 1385479.689
AT ITER 7879 NEW BEST:: SOT 11671023 SOS 7127903 HAS SOPS 5894558 HAS SOUS 1461303 HAS SOUPS 1374708 WITH SCORE 1381835.903
AT ITER 7890 NEW BEST:: SOT 11671149 SOS 7127731 HAS SOPS 5894312 HAS SOUS 1458899 HAS SOUPS 1372353 WITH SCORE 1379480.731
AT ITER 7930 NEW BEST:: SOT 11672798 SOS 7130120 HAS SOPS 5897503 HAS SOUS 1457644 HAS SOUPS 1371391 WITH SCORE 1378521.12
AT ITER 7931 NEW BEST:: SOT 11671354 SOS 7129587 HAS SOPS 5895883 HAS SOUS 1454975 HAS SOUPS 1368697 WITH SCORE 1375826.587
AT ITER 7957 NEW BEST:: SOT 11669783 SOS 7127361 HAS SOPS 5895138 HAS SOUS 1451175 HAS SOUPS 1364995 WITH SCORE 1372122.361
AT ITER 7966 NEW BEST:: SOT 11675440 SOS 7134594 HAS SOPS 5902856 HAS SOUS 1450981 HAS SOUPS 1364801 WITH SCORE 1371935.594
AT ITER 7983 NEW BEST:: SOT 11672913 SOS 7134550 HAS SOPS 5901428 HAS SOUS 1447049 HAS SOUPS 1360815 WITH SCORE 1367949.55
AT ITER 7993 NEW BEST:: SOT 11674447 SOS 7134589 HAS SOPS 5898899 HAS SOUS 1442745 HAS SOUPS 1356511 WITH SCORE 1363645.589
AT ITER 8026 NEW BEST:: SOT 11674173 SOS 7133702 HAS SOPS 5897779 HAS SOUS 1442381 HAS SOUPS 1356147 WITH SCORE 1363280.702
AT ITER 8048 NEW BEST:: SOT 11674036 SOS 7133543 HAS SOPS 5897181 HAS SOUS 1442211 HAS SOUPS 1355965 WITH SCORE 1363098.543
AT ITER 8066 NEW BEST:: SOT 11673620 SOS 7132312 HAS SOPS 5896002 HAS SOUS 1441761 HAS SOUPS 1355515 WITH SCORE 1362647.312
AT ITER 8068 NEW BEST:: SOT 11672247 SOS 7131087 HAS SOPS 5894357 HAS SOUS 1440885 HAS SOUPS 1354615 WITH SCORE 1361746.087
AT ITER 8073 NEW BEST:: SOT 11672000 SOS 7130840 HAS SOPS 5894110 HAS SOUS 1440690 HAS SOUPS 1354420 WITH SCORE 1361550.84
AT ITER 8099 NEW BEST:: SOT 11671962 SOS 7130799 HAS SOPS 5893832 HAS SOUS 1440598 HAS SOUPS 1354328 WITH SCORE 1361458.799
AT ITER 8109 NEW BEST:: SOT 11672581 SOS 7131872 HAS SOPS 5894457 HAS SOUS 1440316 HAS SOUPS 1354023 WITH SCORE 1361154.872
AT ITER 8143 NEW BEST:: SOT 11670966 SOS 7130480 HAS SOPS 5892481 HAS SOUS 1438572 HAS SOUPS 1352279 WITH SCORE 1359409.48
AT ITER 8147 NEW BEST:: SOT 11670780 SOS 7130494 HAS SOPS 5892453 HAS SOUS 1438293 HAS SOUPS 1352000 WITH SCORE 1359130.494
AT ITER 8166 NEW BEST:: SOT 11670881 SOS 7129889 HAS SOPS 5891697 HAS SOUS 1438239 HAS SOUPS 1351946 WITH SCORE 1359075.889
AT ITER 8192 NEW BEST:: SOT 11670058 SOS 7130543 HAS SOPS 5892181 HAS SOUS 1436993 HAS SOUPS 1350700 WITH SCORE 1357830.543
AT ITER 8193 NEW BEST:: SOT 11670208 SOS 7130819 HAS SOPS 5892544 HAS SOUS 1436945 HAS SOUPS 1350655 WITH SCORE 1357785.819
AT ITER 8226 NEW BEST:: SOT 11669356 SOS 7129967 HAS SOPS 5891500 HAS SOUS 1435901 HAS SOUPS 1349419 WITH SCORE 1356548.967
AT ITER 8229 NEW BEST:: SOT 11669016 SOS 7129350 HAS SOPS 5890872 HAS SOUS 1435756 HAS SOUPS 1349265 WITH SCORE 1356394.35
AT ITER 8238 NEW BEST:: SOT 11668027 SOS 7123314 HAS SOPS 5883787 HAS SOUS 1433837 HAS SOUPS 1347346 WITH SCORE 1354469.314
AT ITER 8240 NEW BEST:: SOT 11668015 SOS 7123306 HAS SOPS 5883775 HAS SOUS 1433797 HAS SOUPS 1347334 WITH SCORE 1354457.306
AT ITER 8257 NEW BEST:: SOT 11667383 SOS 7123366 HAS SOPS 5883403 HAS SOUS 1433013 HAS SOUPS 1346538 WITH SCORE 1353661.366
AT ITER 8262 NEW BEST:: SOT 11667599 SOS 7123262 HAS SOPS 5883061 HAS SOUS 1432552 HAS SOUPS 1346077 WITH SCORE 1353200.262
AT ITER 8285 NEW BEST:: SOT 11667776 SOS 7123120 HAS SOPS 5883074 HAS SOUS 1432458 HAS SOUPS 1345983 WITH SCORE 1353106.12
AT ITER 8316 NEW BEST:: SOT 11666209 SOS 7123685 HAS SOPS 5884087 HAS SOUS 1428153 HAS SOUPS 1341678 WITH SCORE 1348801.685
AT ITER 8362 NEW BEST:: SOT 11666208 SOS 7123605 HAS SOPS 5884157 HAS SOUS 1428149 HAS SOUPS 1341674 WITH SCORE 1348797.605
AT ITER 8376 NEW BEST:: SOT 11669389 SOS 7131481 HAS SOPS 5892147 HAS SOUS 1426627 HAS SOUPS 1340231 WITH SCORE 1347362.481
AT ITER 8391 NEW BEST:: SOT 11669309 SOS 7131592 HAS SOPS 5892389 HAS SOUS 1426504 HAS SOUPS 1340108 WITH SCORE 1347239.592
AT ITER 8418 NEW BEST:: SOT 11670737 SOS 7132892 HAS SOPS 5893950 HAS SOUS 1425242 HAS SOUPS 1338938 WITH SCORE 1346070.892
AT ITER 8422 NEW BEST:: SOT 11670710 SOS 7132336 HAS SOPS 5893638 HAS SOUS 1424864 HAS SOUPS 1338560 WITH SCORE 1345692.336
AT ITER 8439 NEW BEST:: SOT 11669818 SOS 7131720 HAS SOPS 5894474 HAS SOUS 1423544 HAS SOUPS 1337240 WITH SCORE 1344371.72
AT ITER 8468 NEW BEST:: SOT 11669754 SOS 7130517 HAS SOPS 5892578 HAS SOUS 1423416 HAS SOUPS 1337112 WITH SCORE 1344242.517
AT ITER 8494 NEW BEST:: SOT 11669646 SOS 7130409 HAS SOPS 5892454 HAS SOUS 1423140 HAS SOUPS 1336836 WITH SCORE 1343966.409
AT ITER 8513 NEW BEST:: SOT 11672537 SOS 7132407 HAS SOPS 5894343 HAS SOUS 1422808 HAS SOUPS 1336504 WITH SCORE 1343636.407
AT ITER 8537 NEW BEST:: SOT 11672317 SOS 7133390 HAS SOPS 5894643 HAS SOUS 1422693 HAS SOUPS 1336366 WITH SCORE 1343499.39
AT ITER 8541 NEW BEST:: SOT 11672581 SOS 7133654 HAS SOPS 5894907 HAS SOUS 1422253 HAS SOUPS 1335926 WITH SCORE 1343059.654
AT ITER 8562 NEW BEST:: SOT 11672230 SOS 7134169 HAS SOPS 5895394 HAS SOUS 1422062 HAS SOUPS 1335735 WITH SCORE 1342869.169
AT ITER 8571 NEW BEST:: SOT 11671798 SOS 7133727 HAS SOPS 5894768 HAS SOUS 1421972 HAS SOUPS 1335645 WITH SCORE 1342778.727
AT ITER 8580 NEW BEST:: SOT 11671818 SOS 7133827 HAS SOPS 5894804 HAS SOUS 1421816 HAS SOUPS 1335489 WITH SCORE 1342622.827
AT ITER 8600 NEW BEST:: SOT 11671331 SOS 7133218 HAS SOPS 5894001 HAS SOUS 1421627 HAS SOUPS 1335190 WITH SCORE 1342323.218
AT ITER 8667 NEW BEST:: SOT 11671047 SOS 7132876 HAS SOPS 5893627 HAS SOUS 1421029 HAS SOUPS 1334596 WITH SCORE 1341728.876
AT ITER 8693 NEW BEST:: SOT 11671283 SOS 7133262 HAS SOPS 5894079 HAS SOUS 1420833 HAS SOUPS 1334406 WITH SCORE 1341539.262
AT ITER 8702 NEW BEST:: SOT 11670905 SOS 7132576 HAS SOPS 5893337 HAS SOUS 1420399 HAS SOUPS 1333972 WITH SCORE 1341104.576
AT ITER 8823 NEW BEST:: SOT 11670912 SOS 7133092 HAS SOPS 5893813 HAS SOUS 1419991 HAS SOUPS 1333590 WITH SCORE 1340723.092
AT ITER 8870 NEW BEST:: SOT 11671527 SOS 7134583 HAS SOPS 5895046 HAS SOUS 1419698 HAS SOUPS 1333272 WITH SCORE 1340406.583
AT ITER 8876 NEW BEST:: SOT 11671251 SOS 7134075 HAS SOPS 5894582 HAS SOUS 1419470 HAS SOUPS 1333044 WITH SCORE 1340178.075
AT ITER 8938 NEW BEST:: SOT 11670740 SOS 7133374 HAS SOPS 5894131 HAS SOUS 1419111 HAS SOUPS 1332665 WITH SCORE 1339798.374
AT ITER 8946 NEW BEST:: SOT 11670469 SOS 7133529 HAS SOPS 5894085 HAS SOUS 1418081 HAS SOUPS 1331597 WITH SCORE 1338730.529
AT ITER 8955 NEW BEST:: SOT 11671012 SOS 7135255 HAS SOPS 5896775 HAS SOUS 1417807 HAS SOUPS 1331323 WITH SCORE 1338458.255
AT ITER 9070 NEW BEST:: SOT 11670996 SOS 7135020 HAS SOPS 5896471 HAS SOUS 1417682 HAS SOUPS 1331198 WITH SCORE 1338333.02
AT ITER 9073 NEW BEST:: SOT 11670546 SOS 7134916 HAS SOPS 5896505 HAS SOUS 1417506 HAS SOUPS 1331022 WITH SCORE 1338156.916
AT ITER 9108 NEW BEST:: SOT 11670789 SOS 7134806 HAS SOPS 5895932 HAS SOUS 1417455 HAS SOUPS 1330971 WITH SCORE 1338105.806
AT ITER 9120 NEW BEST:: SOT 11670998 SOS 7134974 HAS SOPS 5895886 HAS SOUS 1417399 HAS SOUPS 1330915 WITH SCORE 1338049.974
AT ITER 9155 NEW BEST:: SOT 11671485 SOS 7135759 HAS SOPS 5897313 HAS SOUS 1417128 HAS SOUPS 1330644 WITH SCORE 1337779.759
AT ITER 9162 NEW BEST:: SOT 11671478 SOS 7136140 HAS SOPS 5897404 HAS SOUS 1416715 HAS SOUPS 1330225 WITH SCORE 1337361.14
AT ITER 9220 NEW BEST:: SOT 11671442 SOS 7136088 HAS SOPS 5897216 HAS SOUS 1416695 HAS SOUPS 1330205 WITH SCORE 1337341.088
AT ITER 9236 NEW BEST:: SOT 11671324 SOS 7136178 HAS SOPS 5896906 HAS SOUS 1416113 HAS SOUPS 1329623 WITH SCORE 1336759.178
AT ITER 9239 NEW BEST:: SOT 11671287 SOS 7136057 HAS SOPS 5896736 HAS SOUS 1415947 HAS SOUPS 1329457 WITH SCORE 1336593.057
AT ITER 9280 NEW BEST:: SOT 11670965 SOS 7135651 HAS SOPS 5896330 HAS SOUS 1415744 HAS SOUPS 1329254 WITH SCORE 1336389.651
AT ITER 9286 NEW BEST:: SOT 11670948 SOS 7135633 HAS SOPS 5896312 HAS SOUS 1415731 HAS SOUPS 1329241 WITH SCORE 1336376.633
AT ITER 9304 NEW BEST:: SOT 11670515 SOS 7131631 HAS SOPS 5894005 HAS SOUS 1414338 HAS SOUPS 1327851 WITH SCORE 1334982.631
AT ITER 9326 NEW BEST:: SOT 11669813 SOS 7130623 HAS SOPS 5892806 HAS SOUS 1412796 HAS SOUPS 1326309 WITH SCORE 1333439.623
AT ITER 9348 NEW BEST:: SOT 11669785 SOS 7130510 HAS SOPS 5892598 HAS SOUS 1412449 HAS SOUPS 1325962 WITH SCORE 1333092.51
AT ITER 9360 NEW BEST:: SOT 11669522 SOS 7130011 HAS SOPS 5891949 HAS SOUS 1412241 HAS SOUPS 1325754 WITH SCORE 1332884.011
AT ITER 9363 NEW BEST:: SOT 11668929 SOS 7129404 HAS SOPS 5891259 HAS SOUS 1411309 HAS SOUPS 1324822 WITH SCORE 1331951.404
AT ITER 9384 NEW BEST:: SOT 11669385 SOS 7129173 HAS SOPS 5891203 HAS SOUS 1411210 HAS SOUPS 1324723 WITH SCORE 1331852.173
AT ITER 9418 NEW BEST:: SOT 11671036 SOS 7132800 HAS SOPS 5892044 HAS SOUS 1409687 HAS SOUPS 1323200 WITH SCORE 1330332.8
AT ITER 9465 NEW BEST:: SOT 11670762 SOS 7132480 HAS SOPS 5891831 HAS SOUS 1408946 HAS SOUPS 1322493 WITH SCORE 1329625.48
AT ITER 9469 NEW BEST:: SOT 11670753 SOS 7132101 HAS SOPS 5891620 HAS SOUS 1408886 HAS SOUPS 1322433 WITH SCORE 1329565.101
AT ITER 9483 NEW BEST:: SOT 11670522 SOS 7131079 HAS SOPS 5890486 HAS SOUS 1408627 HAS SOUPS 1322181 WITH SCORE 1329312.079
AT ITER 9485 NEW BEST:: SOT 11669576 SOS 7128815 HAS SOPS 5888152 HAS SOUS 1407641 HAS SOUPS 1321195 WITH SCORE 1328323.815
AT ITER 9487 NEW BEST:: SOT 11668855 SOS 7128094 HAS SOPS 5887319 HAS SOUS 1406444 HAS SOUPS 1319998 WITH SCORE 1327126.094
AT ITER 9499 NEW BEST:: SOT 11668681 SOS 7127650 HAS SOPS 5888197 HAS SOUS 1406146 HAS SOUPS 1319759 WITH SCORE 1326886.65
AT ITER 9529 NEW BEST:: SOT 11668840 SOS 7127899 HAS SOPS 5888066 HAS SOUS 1406115 HAS SOUPS 1319706 WITH SCORE 1326833.899
AT ITER 9535 NEW BEST:: SOT 11670222 SOS 7129149 HAS SOPS 5888932 HAS SOUS 1405784 HAS SOUPS 1319375 WITH SCORE 1326504.149
AT ITER 9546 NEW BEST:: SOT 11670267 SOS 7129194 HAS SOPS 5888977 HAS SOUS 1405669 HAS SOUPS 1319260 WITH SCORE 1326389.194
AT ITER 9549 NEW BEST:: SOT 11670198 SOS 7129477 HAS SOPS 5889116 HAS SOUS 1405186 HAS SOUPS 1318777 WITH SCORE 1325906.477
AT ITER 9600 NEW BEST:: SOT 11668228 SOS 7124538 HAS SOPS 5885466 HAS SOUS 1403634 HAS SOUPS 1317228 WITH SCORE 1324352.538
AT ITER 9639 NEW BEST:: SOT 11665706 SOS 7122016 HAS SOPS 5882864 HAS SOUS 1400776 HAS SOUPS 1314370 WITH SCORE 1321492.016
AT ITER 9664 NEW BEST:: SOT 11665402 SOS 7120974 HAS SOPS 5881752 HAS SOUS 1400074 HAS SOUPS 1313682 WITH SCORE 1320802.974
AT ITER 9677 NEW BEST:: SOT 11660580 SOS 7114501 HAS SOPS 5875739 HAS SOUS 1393141 HAS SOUPS 1306689 WITH SCORE 1313803.501
AT ITER 9701 NEW BEST:: SOT 11660406 SOS 7114203 HAS SOPS 5875295 HAS SOUS 1392903 HAS SOUPS 1306341 WITH SCORE 1313455.203
AT ITER 9717 NEW BEST:: SOT 11660381 SOS 7113869 HAS SOPS 5875036 HAS SOUS 1392839 HAS SOUPS 1306277 WITH SCORE 1313390.869
AT ITER 9732 NEW BEST:: SOT 11659937 SOS 7112934 HAS SOPS 5874101 HAS SOUS 1392376 HAS SOUPS 1305814 WITH SCORE 1312926.934
AT ITER 9769 NEW BEST:: SOT 11657650 SOS 7110611 HAS SOPS 5870319 HAS SOUS 1386661 HAS SOUPS 1300173 WITH SCORE 1307283.611
AT ITER 9812 NEW BEST:: SOT 11657546 SOS 7110663 HAS SOPS 5870453 HAS SOUS 1386399 HAS SOUPS 1299911 WITH SCORE 1307021.663
AT ITER 9813 NEW BEST:: SOT 11657366 SOS 7110483 HAS SOPS 5870193 HAS SOUS 1385919 HAS SOUPS 1299431 WITH SCORE 1306541.483
AT ITER 9833 NEW BEST:: SOT 11657283 SOS 7110521 HAS SOPS 5870524 HAS SOUS 1385594 HAS SOUPS 1299139 WITH SCORE 1306249.521
AT ITER 9852 NEW BEST:: SOT 11657272 SOS 7110578 HAS SOPS 5870517 HAS SOUS 1385525 HAS SOUPS 1299070 WITH SCORE 1306180.578
AT ITER 9855 NEW BEST:: SOT 11655429 SOS 7109731 HAS SOPS 5869868 HAS SOUS 1381721 HAS SOUPS 1295266 WITH SCORE 1302375.731
AT ITER 9858 NEW BEST:: SOT 11655510 SOS 7109844 HAS SOPS 5869958 HAS SOUS 1381582 HAS SOUPS 1295127 WITH SCORE 1302236.844
AT ITER 9950 NEW BEST:: SOT 11657659 SOS 7105426 HAS SOPS 5865929 HAS SOUS 1377898 HAS SOUPS 1291443 WITH SCORE 1298548.426
AT ITER 9960 NEW BEST:: SOT 11655134 SOS 7101264 HAS SOPS 5861611 HAS SOUS 1374061 HAS SOUPS 1288265 WITH SCORE 1295366.264
AT ITER 9971 NEW BEST:: SOT 11654982 SOS 7101112 HAS SOPS 5861459 HAS SOUS 1373597 HAS SOUPS 1287801 WITH SCORE 1294902.112
AT ITER 9981 NEW BEST:: SOT 11654835 SOS 7102091 HAS SOPS 5861370 HAS SOUS 1372964 HAS SOUPS 1287168 WITH SCORE 1294270.091
AT ITER 9983 NEW BEST:: SOT 11653966 SOS 7100655 HAS SOPS 5860002 HAS SOUS 1371299 HAS SOUPS 1285528 WITH SCORE 1292628.655
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15431380 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16122984 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-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194100024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-3.tgz
mv RERS17pb113-PT-3 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;