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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 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 1679476977206

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-7
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 7
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 7 NEW BEST:: SOT 12186153 SOS 7736445 HAS SOPS 6404922 HAS SOUS 3033086 HAS SOUPS 2932683 WITH SCORE 2940419.445
AT ITER 20 NEW BEST:: SOT 12187622 SOS 7736460 HAS SOPS 6404062 HAS SOUS 3029858 HAS SOUPS 2930112 WITH SCORE 2937848.46
AT ITER 30 NEW BEST:: SOT 12182592 SOS 7726789 HAS SOPS 6399482 HAS SOUS 3025612 HAS SOUPS 2926448 WITH SCORE 2934174.789
AT ITER 39 NEW BEST:: SOT 12182412 SOS 7726597 HAS SOPS 6399296 HAS SOUS 3025306 HAS SOUPS 2926142 WITH SCORE 2933868.597
AT ITER 47 NEW BEST:: SOT 12177740 SOS 7718124 HAS SOPS 6398231 HAS SOUS 3023544 HAS SOUPS 2924514 WITH SCORE 2932232.124
AT ITER 51 NEW BEST:: SOT 12183089 SOS 7731705 HAS SOPS 6402526 HAS SOUS 3016998 HAS SOUPS 2917866 WITH SCORE 2925597.705
AT ITER 64 NEW BEST:: SOT 12183200 SOS 7732186 HAS SOPS 6402756 HAS SOUS 3016420 HAS SOUPS 2917288 WITH SCORE 2925020.186
AT ITER 69 NEW BEST:: SOT 12182648 SOS 7731032 HAS SOPS 6400935 HAS SOUS 3014643 HAS SOUPS 2915511 WITH SCORE 2923242.032
AT ITER 80 NEW BEST:: SOT 12174704 SOS 7723088 HAS SOPS 6392991 HAS SOUS 3006699 HAS SOUPS 2907567 WITH SCORE 2915290.088
AT ITER 98 NEW BEST:: SOT 12169992 SOS 7718372 HAS SOPS 6388263 HAS SOUS 3001783 HAS SOUPS 2902651 WITH SCORE 2910369.372
AT ITER 110 NEW BEST:: SOT 12163313 SOS 7705545 HAS SOPS 6376497 HAS SOUS 2993760 HAS SOUPS 2894737 WITH SCORE 2902442.545
AT ITER 116 NEW BEST:: SOT 12162010 SOS 7704258 HAS SOPS 6375002 HAS SOUS 2992431 HAS SOUPS 2893251 WITH SCORE 2900955.258
AT ITER 117 NEW BEST:: SOT 12161330 SOS 7703578 HAS SOPS 6373810 HAS SOUS 2990463 HAS SOUPS 2891123 WITH SCORE 2898826.578
AT ITER 127 NEW BEST:: SOT 12161330 SOS 7703578 HAS SOPS 6373810 HAS SOUS 2990462 HAS SOUPS 2891122 WITH SCORE 2898825.578
AT ITER 130 NEW BEST:: SOT 12161180 SOS 7703278 HAS SOPS 6373700 HAS SOUS 2990202 HAS SOUPS 2890872 WITH SCORE 2898575.278
AT ITER 135 NEW BEST:: SOT 12167839 SOS 7713070 HAS SOPS 6380957 HAS SOUS 2990141 HAS SOUPS 2890741 WITH SCORE 2898454.07
AT ITER 141 NEW BEST:: SOT 12168957 SOS 7718904 HAS SOPS 6385078 HAS SOUS 2989381 HAS SOUPS 2889981 WITH SCORE 2897699.904
AT ITER 143 NEW BEST:: SOT 12168765 SOS 7721309 HAS SOPS 6386207 HAS SOUS 2983566 HAS SOUPS 2884216 WITH SCORE 2891937.309
AT ITER 159 NEW BEST:: SOT 12167199 SOS 7718303 HAS SOPS 6383081 HAS SOUS 2979578 HAS SOUPS 2880228 WITH SCORE 2887946.303
AT ITER 160 NEW BEST:: SOT 12149653 SOS 7695100 HAS SOPS 6360763 HAS SOUS 2952787 HAS SOUPS 2853437 WITH SCORE 2861132.1
AT ITER 165 NEW BEST:: SOT 12143892 SOS 7685115 HAS SOPS 6352809 HAS SOUS 2937786 HAS SOUPS 2838574 WITH SCORE 2846259.115
AT ITER 176 NEW BEST:: SOT 12144729 SOS 7690194 HAS SOPS 6358766 HAS SOUS 2937486 HAS SOUPS 2838274 WITH SCORE 2845964.194
AT ITER 183 NEW BEST:: SOT 12129509 SOS 7673465 HAS SOPS 6341500 HAS SOUS 2907971 HAS SOUPS 2808785 WITH SCORE 2816458.465
AT ITER 189 NEW BEST:: SOT 12130614 SOS 7679876 HAS SOPS 6343534 HAS SOUS 2904051 HAS SOUPS 2804865 WITH SCORE 2812544.876
AT ITER 191 NEW BEST:: SOT 12139384 SOS 7701162 HAS SOPS 6366825 HAS SOUS 2902494 HAS SOUPS 2803222 WITH SCORE 2810923.162
AT ITER 203 NEW BEST:: SOT 12127802 SOS 7688015 HAS SOPS 6352985 HAS SOUS 2888340 HAS SOUPS 2789168 WITH SCORE 2796856.015
AT ITER 209 NEW BEST:: SOT 12128938 SOS 7692678 HAS SOPS 6357010 HAS SOUS 2887799 HAS SOUPS 2788627 WITH SCORE 2796319.678
AT ITER 211 NEW BEST:: SOT 12123217 SOS 7672249 HAS SOPS 6347291 HAS SOUS 2885842 HAS SOUPS 2786820 WITH SCORE 2794492.249
AT ITER 217 NEW BEST:: SOT 12120647 SOS 7667775 HAS SOPS 6340006 HAS SOUS 2883312 HAS SOUPS 2784256 WITH SCORE 2791923.775
AT ITER 226 NEW BEST:: SOT 12119609 SOS 7666572 HAS SOPS 6338757 HAS SOUS 2881368 HAS SOUPS 2782201 WITH SCORE 2789867.572
AT ITER 235 NEW BEST:: SOT 12120154 SOS 7664135 HAS SOPS 6335835 HAS SOUS 2873075 HAS SOUPS 2773964 WITH SCORE 2781628.135
AT ITER 237 NEW BEST:: SOT 12119473 SOS 7662029 HAS SOPS 6334296 HAS SOUS 2872051 HAS SOUPS 2772940 WITH SCORE 2780602.029
AT ITER 254 NEW BEST:: SOT 12131746 SOS 7682314 HAS SOPS 6353421 HAS SOUS 2870011 HAS SOUPS 2770810 WITH SCORE 2778492.314
AT ITER 256 NEW BEST:: SOT 12107550 SOS 7658021 HAS SOPS 6329161 HAS SOUS 2839605 HAS SOUPS 2740437 WITH SCORE 2748095.021
AT ITER 267 NEW BEST:: SOT 12105084 SOS 7652409 HAS SOPS 6325727 HAS SOUS 2838534 HAS SOUPS 2739366 WITH SCORE 2747018.409
AT ITER 278 NEW BEST:: SOT 12105004 SOS 7651278 HAS SOPS 6325251 HAS SOUS 2836989 HAS SOUPS 2737821 WITH SCORE 2745472.278
AT ITER 279 NEW BEST:: SOT 12104516 SOS 7650565 HAS SOPS 6324807 HAS SOUS 2834515 HAS SOUPS 2735384 WITH SCORE 2743034.565
AT ITER 280 NEW BEST:: SOT 12101865 SOS 7641198 HAS SOPS 6320273 HAS SOUS 2831927 HAS SOUPS 2732796 WITH SCORE 2740437.198
AT ITER 298 NEW BEST:: SOT 12098838 SOS 7635456 HAS SOPS 6316373 HAS SOUS 2824917 HAS SOUPS 2725891 WITH SCORE 2733526.456
AT ITER 299 NEW BEST:: SOT 12096350 SOS 7637322 HAS SOPS 6318384 HAS SOUS 2816690 HAS SOUPS 2717664 WITH SCORE 2725301.322
AT ITER 319 NEW BEST:: SOT 12096178 SOS 7637166 HAS SOPS 6318196 HAS SOUS 2816514 HAS SOUPS 2717492 WITH SCORE 2725129.166
AT ITER 321 NEW BEST:: SOT 12092663 SOS 7632101 HAS SOPS 6314480 HAS SOUS 2815648 HAS SOUPS 2716690 WITH SCORE 2724322.101
AT ITER 324 NEW BEST:: SOT 12092637 SOS 7631550 HAS SOPS 6314415 HAS SOUS 2815609 HAS SOUPS 2716651 WITH SCORE 2724282.55
AT ITER 336 NEW BEST:: SOT 12092772 SOS 7632774 HAS SOPS 6317287 HAS SOUS 2815518 HAS SOUPS 2716560 WITH SCORE 2724192.774
AT ITER 344 NEW BEST:: SOT 12092742 SOS 7632744 HAS SOPS 6317257 HAS SOUS 2815212 HAS SOUPS 2716254 WITH SCORE 2723886.744
AT ITER 351 NEW BEST:: SOT 12092330 SOS 7632463 HAS SOPS 6317040 HAS SOUS 2815516 HAS SOUPS 2716174 WITH SCORE 2723806.463
AT ITER 362 NEW BEST:: SOT 12087173 SOS 7622247 HAS SOPS 6308992 HAS SOUS 2803961 HAS SOUPS 2704722 WITH SCORE 2712344.247
AT ITER 373 NEW BEST:: SOT 12084072 SOS 7622207 HAS SOPS 6308033 HAS SOUS 2802861 HAS SOUPS 2703520 WITH SCORE 2711142.207
AT ITER 375 NEW BEST:: SOT 12079615 SOS 7617953 HAS SOPS 6305027 HAS SOUS 2791788 HAS SOUPS 2693383 WITH SCORE 2701000.953
AT ITER 384 NEW BEST:: SOT 12080502 SOS 7622346 HAS SOPS 6304963 HAS SOUS 2765406 HAS SOUPS 2666709 WITH SCORE 2674331.346
AT ITER 395 NEW BEST:: SOT 12079720 SOS 7619614 HAS SOPS 6301312 HAS SOUS 2762903 HAS SOUPS 2664206 WITH SCORE 2671825.614
AT ITER 401 NEW BEST:: SOT 12078213 SOS 7618438 HAS SOPS 6300618 HAS SOUS 2761314 HAS SOUPS 2662607 WITH SCORE 2670225.438
AT ITER 409 NEW BEST:: SOT 12077690 SOS 7618053 HAS SOPS 6300645 HAS SOUS 2758062 HAS SOUPS 2659607 WITH SCORE 2667225.053
AT ITER 411 NEW BEST:: SOT 12076197 SOS 7612769 HAS SOPS 6297733 HAS SOUS 2757737 HAS SOUPS 2659317 WITH SCORE 2666929.769
AT ITER 416 NEW BEST:: SOT 12075697 SOS 7611585 HAS SOPS 6296549 HAS SOUS 2757357 HAS SOUPS 2658937 WITH SCORE 2666548.585
AT ITER 421 NEW BEST:: SOT 12076846 SOS 7618299 HAS SOPS 6300987 HAS SOUS 2754324 HAS SOUPS 2655904 WITH SCORE 2663522.299
AT ITER 422 NEW BEST:: SOT 12082873 SOS 7627829 HAS SOPS 6309257 HAS SOUS 2750495 HAS SOUPS 2652075 WITH SCORE 2659702.829
AT ITER 426 NEW BEST:: SOT 12083042 SOS 7627321 HAS SOPS 6310388 HAS SOUS 2750325 HAS SOUPS 2651905 WITH SCORE 2659532.321
AT ITER 442 NEW BEST:: SOT 12075580 SOS 7619360 HAS SOPS 6304804 HAS SOUS 2733516 HAS SOUPS 2635316 WITH SCORE 2642935.36
AT ITER 445 NEW BEST:: SOT 12070884 SOS 7615428 HAS SOPS 6302405 HAS SOUS 2731566 HAS SOUPS 2633366 WITH SCORE 2640981.428
AT ITER 452 NEW BEST:: SOT 12071439 SOS 7616272 HAS SOPS 6303812 HAS SOUS 2730644 HAS SOUPS 2632444 WITH SCORE 2640060.272
AT ITER 483 NEW BEST:: SOT 12070141 SOS 7611644 HAS SOPS 6301062 HAS SOUS 2728781 HAS SOUPS 2630581 WITH SCORE 2638192.644
AT ITER 495 NEW BEST:: SOT 12069449 SOS 7611703 HAS SOPS 6300480 HAS SOUS 2727442 HAS SOUPS 2629242 WITH SCORE 2636853.703
AT ITER 520 NEW BEST:: SOT 12069725 SOS 7611966 HAS SOPS 6300719 HAS SOUS 2727187 HAS SOUPS 2629115 WITH SCORE 2636726.966
AT ITER 527 NEW BEST:: SOT 12068952 SOS 7610627 HAS SOPS 6299121 HAS SOUS 2725918 HAS SOUPS 2627860 WITH SCORE 2635470.627
AT ITER 543 NEW BEST:: SOT 12059589 SOS 7601385 HAS SOPS 6290794 HAS SOUS 2708385 HAS SOUPS 2610327 WITH SCORE 2617928.385
AT ITER 546 NEW BEST:: SOT 12059619 SOS 7601502 HAS SOPS 6291237 HAS SOUS 2708349 HAS SOUPS 2610291 WITH SCORE 2617892.502
AT ITER 565 NEW BEST:: SOT 12059410 SOS 7601293 HAS SOPS 6290612 HAS SOUS 2706480 HAS SOUPS 2608358 WITH SCORE 2615959.293
AT ITER 571 NEW BEST:: SOT 12059296 SOS 7601329 HAS SOPS 6290405 HAS SOUS 2705985 HAS SOUPS 2607860 WITH SCORE 2615461.329
AT ITER 574 NEW BEST:: SOT 12058375 SOS 7600687 HAS SOPS 6287265 HAS SOUS 2702390 HAS SOUPS 2604265 WITH SCORE 2611865.687
AT ITER 589 NEW BEST:: SOT 12057601 SOS 7600058 HAS SOPS 6286318 HAS SOUS 2699634 HAS SOUPS 2601452 WITH SCORE 2609052.058
AT ITER 591 NEW BEST:: SOT 12054199 SOS 7595707 HAS SOPS 6283358 HAS SOUS 2689883 HAS SOUPS 2591793 WITH SCORE 2599388.707
AT ITER 598 NEW BEST:: SOT 12054072 SOS 7597087 HAS SOPS 6283153 HAS SOUS 2684509 HAS SOUPS 2586336 WITH SCORE 2593933.087
AT ITER 602 NEW BEST:: SOT 12053765 SOS 7596938 HAS SOPS 6285289 HAS SOUS 2683689 HAS SOUPS 2585516 WITH SCORE 2593112.938
AT ITER 604 NEW BEST:: SOT 12053449 SOS 7595899 HAS SOPS 6283971 HAS SOUS 2682884 HAS SOUPS 2584711 WITH SCORE 2592306.899
AT ITER 615 NEW BEST:: SOT 12053224 SOS 7597140 HAS SOPS 6282240 HAS SOUS 2682250 HAS SOUPS 2584077 WITH SCORE 2591674.14
AT ITER 617 NEW BEST:: SOT 12051712 SOS 7594216 HAS SOPS 6278788 HAS SOUS 2679357 HAS SOUPS 2581184 WITH SCORE 2588778.216
AT ITER 621 NEW BEST:: SOT 12063027 SOS 7608252 HAS SOPS 6301629 HAS SOUS 2670808 HAS SOUPS 2573246 WITH SCORE 2580854.252
AT ITER 622 NEW BEST:: SOT 12060984 SOS 7606874 HAS SOPS 6299142 HAS SOUS 2664353 HAS SOUPS 2566791 WITH SCORE 2574397.874
AT ITER 627 NEW BEST:: SOT 12061395 SOS 7607353 HAS SOPS 6299584 HAS SOUS 2662560 HAS SOUPS 2565087 WITH SCORE 2572694.353
AT ITER 638 NEW BEST:: SOT 12059986 SOS 7604763 HAS SOPS 6297757 HAS SOUS 2661509 HAS SOUPS 2564036 WITH SCORE 2571640.763
AT ITER 646 NEW BEST:: SOT 12061096 SOS 7610305 HAS SOPS 6304354 HAS SOUS 2660703 HAS SOUPS 2563230 WITH SCORE 2570840.305
AT ITER 651 NEW BEST:: SOT 12060844 SOS 7610053 HAS SOPS 6304054 HAS SOUS 2660151 HAS SOUPS 2562678 WITH SCORE 2570288.053
AT ITER 652 NEW BEST:: SOT 12060757 SOS 7604827 HAS SOPS 6300634 HAS SOUS 2658800 HAS SOUPS 2561327 WITH SCORE 2568931.827
AT ITER 672 NEW BEST:: SOT 12060759 SOS 7606014 HAS SOPS 6304520 HAS SOUS 2657817 HAS SOUPS 2560344 WITH SCORE 2567950.014
AT ITER 673 NEW BEST:: SOT 12060755 SOS 7606010 HAS SOPS 6304516 HAS SOUS 2657805 HAS SOUPS 2560332 WITH SCORE 2567938.01
AT ITER 676 NEW BEST:: SOT 12050597 SOS 7594825 HAS SOPS 6294540 HAS SOUS 2655681 HAS SOUPS 2558297 WITH SCORE 2565891.825
AT ITER 705 NEW BEST:: SOT 12045183 SOS 7589411 HAS SOPS 6288534 HAS SOUS 2648435 HAS SOUPS 2550779 WITH SCORE 2558368.411
AT ITER 718 NEW BEST:: SOT 12041325 SOS 7584961 HAS SOPS 6289126 HAS SOUS 2642044 HAS SOUPS 2544388 WITH SCORE 2551972.961
AT ITER 719 NEW BEST:: SOT 12040917 SOS 7584553 HAS SOPS 6288574 HAS SOUS 2641076 HAS SOUPS 2543420 WITH SCORE 2551004.553
AT ITER 733 NEW BEST:: SOT 12036209 SOS 7580312 HAS SOPS 6285866 HAS SOUS 2637494 HAS SOUPS 2540257 WITH SCORE 2547837.312
AT ITER 740 NEW BEST:: SOT 12040884 SOS 7583381 HAS SOPS 6286841 HAS SOUS 2631927 HAS SOUPS 2534238 WITH SCORE 2541821.381
AT ITER 743 NEW BEST:: SOT 12040307 SOS 7582804 HAS SOPS 6285912 HAS SOUS 2630110 HAS SOUPS 2532421 WITH SCORE 2540003.804
AT ITER 748 NEW BEST:: SOT 12039162 SOS 7583714 HAS SOPS 6284029 HAS SOUS 2627649 HAS SOUPS 2529960 WITH SCORE 2537543.714
AT ITER 754 NEW BEST:: SOT 12039467 SOS 7583755 HAS SOPS 6283910 HAS SOUS 2627560 HAS SOUPS 2529871 WITH SCORE 2537454.755
AT ITER 755 NEW BEST:: SOT 12038911 SOS 7582235 HAS SOPS 6281997 HAS SOUS 2626319 HAS SOUPS 2528630 WITH SCORE 2536212.235
AT ITER 757 NEW BEST:: SOT 12039721 SOS 7577234 HAS SOPS 6277174 HAS SOUS 2626171 HAS SOUPS 2528484 WITH SCORE 2536061.234
AT ITER 773 NEW BEST:: SOT 12039391 SOS 7576876 HAS SOPS 6276678 HAS SOUS 2625899 HAS SOUPS 2528212 WITH SCORE 2535788.876
AT ITER 798 NEW BEST:: SOT 12039548 SOS 7577215 HAS SOPS 6277046 HAS SOUS 2625414 HAS SOUPS 2527763 WITH SCORE 2535340.215
AT ITER 799 NEW BEST:: SOT 12039550 SOS 7579819 HAS SOPS 6279572 HAS SOUS 2622195 HAS SOUPS 2524563 WITH SCORE 2532142.819
AT ITER 802 NEW BEST:: SOT 12037674 SOS 7576334 HAS SOPS 6277637 HAS SOUS 2620264 HAS SOUPS 2522826 WITH SCORE 2530402.334
AT ITER 830 NEW BEST:: SOT 12032363 SOS 7566149 HAS SOPS 6266194 HAS SOUS 2616735 HAS SOUPS 2519264 WITH SCORE 2526830.149
AT ITER 831 NEW BEST:: SOT 12032155 SOS 7565407 HAS SOPS 6264695 HAS SOUS 2611139 HAS SOUPS 2513786 WITH SCORE 2521351.407
AT ITER 835 NEW BEST:: SOT 12031179 SOS 7558908 HAS SOPS 6258187 HAS SOUS 2607450 HAS SOUPS 2510097 WITH SCORE 2517655.908
AT ITER 836 NEW BEST:: SOT 12031196 SOS 7558925 HAS SOPS 6258204 HAS SOUS 2607443 HAS SOUPS 2510090 WITH SCORE 2517648.925
AT ITER 865 NEW BEST:: SOT 12029630 SOS 7557330 HAS SOPS 6256766 HAS SOUS 2604821 HAS SOUPS 2507468 WITH SCORE 2515025.33
AT ITER 867 NEW BEST:: SOT 12029614 SOS 7557588 HAS SOPS 6256903 HAS SOUS 2604721 HAS SOUPS 2507368 WITH SCORE 2514925.588
AT ITER 869 NEW BEST:: SOT 12030654 SOS 7558574 HAS SOPS 6257971 HAS SOUS 2604523 HAS SOUPS 2507194 WITH SCORE 2514752.574
AT ITER 871 NEW BEST:: SOT 12030940 SOS 7562831 HAS SOPS 6261033 HAS SOUS 2600946 HAS SOUPS 2503617 WITH SCORE 2511179.831
AT ITER 877 NEW BEST:: SOT 12028066 SOS 7551662 HAS SOPS 6251955 HAS SOUS 2599805 HAS SOUPS 2502547 WITH SCORE 2510098.662
AT ITER 897 NEW BEST:: SOT 12034552 SOS 7561710 HAS SOPS 6264891 HAS SOUS 2599731 HAS SOUPS 2502473 WITH SCORE 2510034.71
AT ITER 901 NEW BEST:: SOT 12034485 SOS 7561218 HAS SOPS 6264149 HAS SOUS 2599579 HAS SOUPS 2502321 WITH SCORE 2509882.218
AT ITER 902 NEW BEST:: SOT 12008864 SOS 7534419 HAS SOPS 6236719 HAS SOUS 2556506 HAS SOUPS 2459282 WITH SCORE 2466816.419
AT ITER 907 NEW BEST:: SOT 12008117 SOS 7533492 HAS SOPS 6236047 HAS SOUS 2554973 HAS SOUPS 2457839 WITH SCORE 2465372.492
AT ITER 944 NEW BEST:: SOT 12006214 SOS 7531182 HAS SOPS 6231829 HAS SOUS 2552617 HAS SOUPS 2454892 WITH SCORE 2462423.182
AT ITER 947 NEW BEST:: SOT 12004670 SOS 7524048 HAS SOPS 6228163 HAS SOUS 2549602 HAS SOUPS 2451945 WITH SCORE 2459469.048
AT ITER 953 NEW BEST:: SOT 12003679 SOS 7523057 HAS SOPS 6226660 HAS SOUS 2546891 HAS SOUPS 2449234 WITH SCORE 2456757.057
AT ITER 963 NEW BEST:: SOT 12000564 SOS 7522333 HAS SOPS 6225089 HAS SOUS 2535774 HAS SOUPS 2438117 WITH SCORE 2445639.333
AT ITER 987 NEW BEST:: SOT 11997996 SOS 7519775 HAS SOPS 6221923 HAS SOUS 2534590 HAS SOUPS 2436629 WITH SCORE 2444148.775
AT ITER 999 NEW BEST:: SOT 12005139 SOS 7533488 HAS SOPS 6241275 HAS SOUS 2533289 HAS SOUPS 2435328 WITH SCORE 2442861.488
AT ITER 1005 NEW BEST:: SOT 12005339 SOS 7532679 HAS SOPS 6242024 HAS SOUS 2533274 HAS SOUPS 2435313 WITH SCORE 2442845.679
AT ITER 1007 NEW BEST:: SOT 11996765 SOS 7507662 HAS SOPS 6227687 HAS SOUS 2530451 HAS SOUPS 2432496 WITH SCORE 2440003.662
AT ITER 1010 NEW BEST:: SOT 12003714 SOS 7521528 HAS SOPS 6240021 HAS SOUS 2529462 HAS SOUPS 2431507 WITH SCORE 2439028.528
AT ITER 1012 NEW BEST:: SOT 12002831 SOS 7520859 HAS SOPS 6239480 HAS SOUS 2527959 HAS SOUPS 2430004 WITH SCORE 2437524.859
AT ITER 1020 NEW BEST:: SOT 12002424 SOS 7520417 HAS SOPS 6239073 HAS SOUS 2526978 HAS SOUPS 2429052 WITH SCORE 2436572.417
AT ITER 1027 NEW BEST:: SOT 12002364 SOS 7520341 HAS SOPS 6238990 HAS SOUS 2526854 HAS SOUPS 2428928 WITH SCORE 2436448.341
AT ITER 1045 NEW BEST:: SOT 12001852 SOS 7519829 HAS SOPS 6237998 HAS SOUS 2524518 HAS SOUPS 2426592 WITH SCORE 2434111.829
AT ITER 1064 NEW BEST:: SOT 12000939 SOS 7518922 HAS SOPS 6237091 HAS SOUS 2523455 HAS SOUPS 2425529 WITH SCORE 2433047.922
AT ITER 1068 NEW BEST:: SOT 12000404 SOS 7517947 HAS SOPS 6236336 HAS SOUS 2522676 HAS SOUPS 2424841 WITH SCORE 2432358.947
AT ITER 1091 NEW BEST:: SOT 11998298 SOS 7518586 HAS SOPS 6232744 HAS SOUS 2516702 HAS SOUPS 2418762 WITH SCORE 2426280.586
AT ITER 1104 NEW BEST:: SOT 11998438 SOS 7519456 HAS SOPS 6235354 HAS SOUS 2516291 HAS SOUPS 2418351 WITH SCORE 2425870.456
AT ITER 1115 NEW BEST:: SOT 11997755 SOS 7520072 HAS SOPS 6235763 HAS SOUS 2514075 HAS SOUPS 2416141 WITH SCORE 2423661.072
AT ITER 1124 NEW BEST:: SOT 11994538 SOS 7516051 HAS SOPS 6231829 HAS SOUS 2509153 HAS SOUPS 2411248 WITH SCORE 2418764.051
AT ITER 1135 NEW BEST:: SOT 11994621 SOS 7516845 HAS SOPS 6232210 HAS SOUS 2508795 HAS SOUPS 2410890 WITH SCORE 2418406.845
AT ITER 1142 NEW BEST:: SOT 11995341 SOS 7517951 HAS SOPS 6234924 HAS SOUS 2508448 HAS SOUPS 2410543 WITH SCORE 2418060.951
AT ITER 1143 NEW BEST:: SOT 11995341 SOS 7517703 HAS SOPS 6235052 HAS SOUS 2508424 HAS SOUPS 2410527 WITH SCORE 2418044.703
AT ITER 1144 NEW BEST:: SOT 11995307 SOS 7517684 HAS SOPS 6235056 HAS SOUS 2508412 HAS SOUPS 2410515 WITH SCORE 2418032.684
AT ITER 1155 NEW BEST:: SOT 11991387 SOS 7513692 HAS SOPS 6231114 HAS SOUS 2504208 HAS SOUPS 2406347 WITH SCORE 2413860.692
AT ITER 1225 NEW BEST:: SOT 11991397 SOS 7516030 HAS SOPS 6234183 HAS SOUS 2503920 HAS SOUPS 2406059 WITH SCORE 2413575.03
AT ITER 1239 NEW BEST:: SOT 11991159 SOS 7515747 HAS SOPS 6233622 HAS SOUS 2503711 HAS SOUPS 2405850 WITH SCORE 2413365.747
AT ITER 1251 NEW BEST:: SOT 11991915 SOS 7519715 HAS SOPS 6234574 HAS SOUS 2499186 HAS SOUPS 2401223 WITH SCORE 2408742.715
AT ITER 1254 NEW BEST:: SOT 11991156 SOS 7520217 HAS SOPS 6234047 HAS SOUS 2494839 HAS SOUPS 2396793 WITH SCORE 2404313.217
AT ITER 1304 NEW BEST:: SOT 11992015 SOS 7521526 HAS SOPS 6233387 HAS SOUS 2488321 HAS SOUPS 2389859 WITH SCORE 2397380.526
AT ITER 1310 NEW BEST:: SOT 11989147 SOS 7516203 HAS SOPS 6230706 HAS SOUS 2487638 HAS SOUPS 2389275 WITH SCORE 2396791.203
AT ITER 1323 NEW BEST:: SOT 11989107 SOS 7516091 HAS SOPS 6230562 HAS SOUS 2487598 HAS SOUPS 2389235 WITH SCORE 2396751.091
AT ITER 1329 NEW BEST:: SOT 11988596 SOS 7515999 HAS SOPS 6227526 HAS SOUS 2487157 HAS SOUPS 2388728 WITH SCORE 2396243.999
AT ITER 1330 NEW BEST:: SOT 11989659 SOS 7517955 HAS SOPS 6230453 HAS SOUS 2481363 HAS SOUPS 2383096 WITH SCORE 2390613.955
AT ITER 1331 NEW BEST:: SOT 11976799 SOS 7502993 HAS SOPS 6210984 HAS SOUS 2455976 HAS SOUPS 2357662 WITH SCORE 2365164.993
AT ITER 1334 NEW BEST:: SOT 11978351 SOS 7512152 HAS SOPS 6218194 HAS SOUS 2449067 HAS SOUPS 2350753 WITH SCORE 2358265.152
AT ITER 1336 NEW BEST:: SOT 11972366 SOS 7498136 HAS SOPS 6208770 HAS SOUS 2445308 HAS SOUPS 2347149 WITH SCORE 2354647.136
AT ITER 1338 NEW BEST:: SOT 11975533 SOS 7499449 HAS SOPS 6210248 HAS SOUS 2439077 HAS SOUPS 2341040 WITH SCORE 2348539.449
AT ITER 1340 NEW BEST:: SOT 11974338 SOS 7498530 HAS SOPS 6210676 HAS SOUS 2438171 HAS SOUPS 2340134 WITH SCORE 2347632.53
AT ITER 1343 NEW BEST:: SOT 11973795 SOS 7495336 HAS SOPS 6209935 HAS SOUS 2437072 HAS SOUPS 2339035 WITH SCORE 2346530.336
AT ITER 1345 NEW BEST:: SOT 11973414 SOS 7493770 HAS SOPS 6209076 HAS SOUS 2436235 HAS SOUPS 2338198 WITH SCORE 2345691.77
AT ITER 1348 NEW BEST:: SOT 11972457 SOS 7494824 HAS SOPS 6207091 HAS SOUS 2425744 HAS SOUPS 2327707 WITH SCORE 2335201.824
AT ITER 1351 NEW BEST:: SOT 11974694 SOS 7504149 HAS SOPS 6213652 HAS SOUS 2421437 HAS SOUPS 2323400 WITH SCORE 2330904.149
AT ITER 1352 NEW BEST:: SOT 11973465 SOS 7502522 HAS SOPS 6212727 HAS SOUS 2420340 HAS SOUPS 2322474 WITH SCORE 2329976.522
AT ITER 1354 NEW BEST:: SOT 11972474 SOS 7499604 HAS SOPS 6210670 HAS SOUS 2419288 HAS SOUPS 2321422 WITH SCORE 2328921.604
AT ITER 1373 NEW BEST:: SOT 11974581 SOS 7503236 HAS SOPS 6215260 HAS SOUS 2410446 HAS SOUPS 2312580 WITH SCORE 2320083.236
AT ITER 1382 NEW BEST:: SOT 11975456 SOS 7506154 HAS SOPS 6218091 HAS SOUS 2401513 HAS SOUPS 2303559 WITH SCORE 2311065.154
AT ITER 1385 NEW BEST:: SOT 11977536 SOS 7519288 HAS SOPS 6232271 HAS SOUS 2400342 HAS SOUPS 2302482 WITH SCORE 2310001.288
AT ITER 1390 NEW BEST:: SOT 11977662 SOS 7521056 HAS SOPS 6233999 HAS SOUS 2399861 HAS SOUPS 2302001 WITH SCORE 2309522.056
AT ITER 1392 NEW BEST:: SOT 11970372 SOS 7513766 HAS SOPS 6226005 HAS SOUS 2389859 HAS SOUPS 2291999 WITH SCORE 2299512.766
AT ITER 1400 NEW BEST:: SOT 11970220 SOS 7513867 HAS SOPS 6225856 HAS SOUS 2389476 HAS SOUPS 2291616 WITH SCORE 2299129.867
AT ITER 1401 NEW BEST:: SOT 11969666 SOS 7513677 HAS SOPS 6225615 HAS SOUS 2387607 HAS SOUPS 2289723 WITH SCORE 2297236.677
AT ITER 1409 NEW BEST:: SOT 11968556 SOS 7513061 HAS SOPS 6225929 HAS SOUS 2384960 HAS SOUPS 2287273 WITH SCORE 2294786.061
AT ITER 1414 NEW BEST:: SOT 11968625 SOS 7513130 HAS SOPS 6225998 HAS SOUS 2384805 HAS SOUPS 2287118 WITH SCORE 2294631.13
AT ITER 1422 NEW BEST:: SOT 11964333 SOS 7506129 HAS SOPS 6216118 HAS SOUS 2378527 HAS SOUPS 2280840 WITH SCORE 2288346.129
AT ITER 1426 NEW BEST:: SOT 11958119 SOS 7489705 HAS SOPS 6204103 HAS SOUS 2368171 HAS SOUPS 2271381 WITH SCORE 2278870.705
AT ITER 1431 NEW BEST:: SOT 11959709 SOS 7492621 HAS SOPS 6207216 HAS SOUS 2367469 HAS SOUPS 2270679 WITH SCORE 2278171.621
AT ITER 1447 NEW BEST:: SOT 11957902 SOS 7490293 HAS SOPS 6204198 HAS SOUS 2364419 HAS SOUPS 2267629 WITH SCORE 2275119.293
AT ITER 1455 NEW BEST:: SOT 11959618 SOS 7493005 HAS SOPS 6206004 HAS SOUS 2361630 HAS SOUPS 2265192 WITH SCORE 2272685.005
AT ITER 1459 NEW BEST:: SOT 11960492 SOS 7496940 HAS SOPS 6212382 HAS SOUS 2357999 HAS SOUPS 2261561 WITH SCORE 2269057.94
AT ITER 1473 NEW BEST:: SOT 11963695 SOS 7502413 HAS SOPS 6220082 HAS SOUS 2355613 HAS SOUPS 2259175 WITH SCORE 2266677.413
AT ITER 1479 NEW BEST:: SOT 11963774 SOS 7502860 HAS SOPS 6220505 HAS SOUS 2355345 HAS SOUPS 2258907 WITH SCORE 2266409.86
AT ITER 1482 NEW BEST:: SOT 11963149 SOS 7501722 HAS SOPS 6219646 HAS SOUS 2353833 HAS SOUPS 2257479 WITH SCORE 2264980.722
AT ITER 1519 NEW BEST:: SOT 11962725 SOS 7501260 HAS SOPS 6221180 HAS SOUS 2353418 HAS SOUPS 2257081 WITH SCORE 2264582.26
AT ITER 1521 NEW BEST:: SOT 11962418 SOS 7499839 HAS SOPS 6220349 HAS SOUS 2352930 HAS SOUPS 2256593 WITH SCORE 2264092.839
AT ITER 1526 NEW BEST:: SOT 11961518 SOS 7499416 HAS SOPS 6219156 HAS SOUS 2349198 HAS SOUPS 2252821 WITH SCORE 2260320.416
AT ITER 1538 NEW BEST:: SOT 11967112 SOS 7520842 HAS SOPS 6243671 HAS SOUS 2346156 HAS SOUPS 2249961 WITH SCORE 2257481.842
AT ITER 1547 NEW BEST:: SOT 11967765 SOS 7525204 HAS SOPS 6245727 HAS SOUS 2346027 HAS SOUPS 2249832 WITH SCORE 2257357.204
AT ITER 1565 NEW BEST:: SOT 11967728 SOS 7525060 HAS SOPS 6245402 HAS SOUS 2346013 HAS SOUPS 2249818 WITH SCORE 2257343.06
AT ITER 1566 NEW BEST:: SOT 11963672 SOS 7516464 HAS SOPS 6237098 HAS SOUS 2342261 HAS SOUPS 2246066 WITH SCORE 2253582.464
AT ITER 1568 NEW BEST:: SOT 11968989 SOS 7522256 HAS SOPS 6243680 HAS SOUS 2337907 HAS SOUPS 2241763 WITH SCORE 2249285.256
AT ITER 1589 NEW BEST:: SOT 11971100 SOS 7524367 HAS SOPS 6245231 HAS SOUS 2337590 HAS SOUPS 2241414 WITH SCORE 2248938.367
AT ITER 1597 NEW BEST:: SOT 11970177 SOS 7524467 HAS SOPS 6245283 HAS SOUS 2336331 HAS SOUPS 2240155 WITH SCORE 2247679.467
AT ITER 1609 NEW BEST:: SOT 11965388 SOS 7515757 HAS SOPS 6237993 HAS SOUS 2330293 HAS SOUPS 2234164 WITH SCORE 2241679.757
AT ITER 1630 NEW BEST:: SOT 11965602 SOS 7521178 HAS SOPS 6242305 HAS SOUS 2328474 HAS SOUPS 2232345 WITH SCORE 2239866.178
AT ITER 1639 NEW BEST:: SOT 11965514 SOS 7520036 HAS SOPS 6241958 HAS SOUS 2327780 HAS SOUPS 2231680 WITH SCORE 2239200.036
AT ITER 1649 NEW BEST:: SOT 11965499 SOS 7519481 HAS SOPS 6241831 HAS SOUS 2327597 HAS SOUPS 2231497 WITH SCORE 2239016.481
AT ITER 1653 NEW BEST:: SOT 11965496 SOS 7519414 HAS SOPS 6241775 HAS SOUS 2327442 HAS SOUPS 2231354 WITH SCORE 2238873.414
AT ITER 1660 NEW BEST:: SOT 11959485 SOS 7507017 HAS SOPS 6230636 HAS SOUS 2326536 HAS SOUPS 2230507 WITH SCORE 2238014.017
AT ITER 1666 NEW BEST:: SOT 11958048 SOS 7506543 HAS SOPS 6231960 HAS SOUS 2322952 HAS SOUPS 2226987 WITH SCORE 2234493.543
AT ITER 1671 NEW BEST:: SOT 11958333 SOS 7511561 HAS SOPS 6237277 HAS SOUS 2320096 HAS SOUPS 2224135 WITH SCORE 2231646.561
AT ITER 1672 NEW BEST:: SOT 11953981 SOS 7505088 HAS SOPS 6231009 HAS SOUS 2314268 HAS SOUPS 2218351 WITH SCORE 2225856.088
AT ITER 1685 NEW BEST:: SOT 11953583 SOS 7504430 HAS SOPS 6230303 HAS SOUS 2314083 HAS SOUPS 2218166 WITH SCORE 2225670.43
AT ITER 1692 NEW BEST:: SOT 11953750 SOS 7505980 HAS SOPS 6232353 HAS SOUS 2313808 HAS SOUPS 2217891 WITH SCORE 2225396.98
AT ITER 1702 NEW BEST:: SOT 11954597 SOS 7507535 HAS SOPS 6234354 HAS SOUS 2312219 HAS SOUPS 2216302 WITH SCORE 2223809.535
AT ITER 1706 NEW BEST:: SOT 11954196 SOS 7506982 HAS SOPS 6233581 HAS SOUS 2311422 HAS SOUPS 2215505 WITH SCORE 2223011.982
AT ITER 1712 NEW BEST:: SOT 11951023 SOS 7503898 HAS SOPS 6230508 HAS SOUS 2306294 HAS SOUPS 2210644 WITH SCORE 2218147.898
AT ITER 1719 NEW BEST:: SOT 11955830 SOS 7512651 HAS SOPS 6240248 HAS SOUS 2288931 HAS SOUPS 2193553 WITH SCORE 2201065.651
AT ITER 1723 NEW BEST:: SOT 11956491 SOS 7512554 HAS SOPS 6239674 HAS SOUS 2288797 HAS SOUPS 2193419 WITH SCORE 2200931.554
AT ITER 1726 NEW BEST:: SOT 11955786 SOS 7513001 HAS SOPS 6241533 HAS SOUS 2286456 HAS SOUPS 2191078 WITH SCORE 2198591.001
AT ITER 1735 NEW BEST:: SOT 11960041 SOS 7517199 HAS SOPS 6247334 HAS SOUS 2286240 HAS SOUPS 2190902 WITH SCORE 2198419.199
AT ITER 1737 NEW BEST:: SOT 11963387 SOS 7521635 HAS SOPS 6252011 HAS SOUS 2285695 HAS SOUPS 2190357 WITH SCORE 2197878.635
AT ITER 1750 NEW BEST:: SOT 11965681 SOS 7524878 HAS SOPS 6252293 HAS SOUS 2285574 HAS SOUPS 2189763 WITH SCORE 2197287.878
AT ITER 1774 NEW BEST:: SOT 11965037 SOS 7519844 HAS SOPS 6249232 HAS SOUS 2285399 HAS SOUPS 2189588 WITH SCORE 2197107.844
AT ITER 1789 NEW BEST:: SOT 11970954 SOS 7522904 HAS SOPS 6255254 HAS SOUS 2283949 HAS SOUPS 2188138 WITH SCORE 2195660.904
AT ITER 1792 NEW BEST:: SOT 11971615 SOS 7528053 HAS SOPS 6261427 HAS SOUS 2280090 HAS SOUPS 2184279 WITH SCORE 2191807.053
AT ITER 1794 NEW BEST:: SOT 11972012 SOS 7525613 HAS SOPS 6263199 HAS SOUS 2277221 HAS SOUPS 2181417 WITH SCORE 2188942.613
AT ITER 1816 NEW BEST:: SOT 11973524 SOS 7527314 HAS SOPS 6267844 HAS SOUS 2268753 HAS SOUPS 2173295 WITH SCORE 2180822.314
AT ITER 1826 NEW BEST:: SOT 11973332 SOS 7525028 HAS SOPS 6266409 HAS SOUS 2268500 HAS SOUPS 2173054 WITH SCORE 2180579.028
AT ITER 1831 NEW BEST:: SOT 11972655 SOS 7522107 HAS SOPS 6263679 HAS SOUS 2267489 HAS SOUPS 2172043 WITH SCORE 2179565.107
AT ITER 1842 NEW BEST:: SOT 11972655 SOS 7523861 HAS SOPS 6264728 HAS SOUS 2266510 HAS SOUPS 2171064 WITH SCORE 2178587.861
AT ITER 1843 NEW BEST:: SOT 11969887 SOS 7520836 HAS SOPS 6263778 HAS SOUS 2262750 HAS SOUPS 2168577 WITH SCORE 2176097.836
AT ITER 1844 NEW BEST:: SOT 11967862 SOS 7516186 HAS SOPS 6260872 HAS SOUS 2258896 HAS SOUPS 2164723 WITH SCORE 2172239.186
AT ITER 1845 NEW BEST:: SOT 11963773 SOS 7512986 HAS SOPS 6251693 HAS SOUS 2250508 HAS SOUPS 2156335 WITH SCORE 2163847.986
AT ITER 1871 NEW BEST:: SOT 11959917 SOS 7509581 HAS SOPS 6247944 HAS SOUS 2240106 HAS SOUPS 2145879 WITH SCORE 2153388.581
AT ITER 1885 NEW BEST:: SOT 11960398 SOS 7510835 HAS SOPS 6248087 HAS SOUS 2238264 HAS SOUPS 2144076 WITH SCORE 2151586.835
AT ITER 1898 NEW BEST:: SOT 11956986 SOS 7507477 HAS SOPS 6244080 HAS SOUS 2233223 HAS SOUPS 2139000 WITH SCORE 2146507.477
AT ITER 1926 NEW BEST:: SOT 11956926 SOS 7507417 HAS SOPS 6244020 HAS SOUS 2232995 HAS SOUPS 2138772 WITH SCORE 2146279.417
AT ITER 1942 NEW BEST:: SOT 11955654 SOS 7505805 HAS SOPS 6242482 HAS SOUS 2231000 HAS SOUPS 2136430 WITH SCORE 2143935.805
AT ITER 1954 NEW BEST:: SOT 11954859 SOS 7501946 HAS SOPS 6240270 HAS SOUS 2230531 HAS SOUPS 2135961 WITH SCORE 2143462.946
AT ITER 1957 NEW BEST:: SOT 11964432 SOS 7538502 HAS SOPS 6276871 HAS SOUS 2230247 HAS SOUPS 2135754 WITH SCORE 2143292.502
AT ITER 1961 NEW BEST:: SOT 11964500 SOS 7537658 HAS SOPS 6276512 HAS SOUS 2229955 HAS SOUPS 2135478 WITH SCORE 2143015.658
AT ITER 1987 NEW BEST:: SOT 11965434 SOS 7538759 HAS SOPS 6277635 HAS SOUS 2229568 HAS SOUPS 2135091 WITH SCORE 2142629.759
AT ITER 1996 NEW BEST:: SOT 11965426 SOS 7538475 HAS SOPS 6277576 HAS SOUS 2229510 HAS SOUPS 2135033 WITH SCORE 2142571.475
AT ITER 2002 NEW BEST:: SOT 11967694 SOS 7540743 HAS SOPS 6279636 HAS SOUS 2228502 HAS SOUPS 2134025 WITH SCORE 2141565.743
AT ITER 2018 NEW BEST:: SOT 11969021 SOS 7542030 HAS SOPS 6281627 HAS SOUS 2226001 HAS SOUPS 2131524 WITH SCORE 2139066.03
AT ITER 2020 NEW BEST:: SOT 11969062 SOS 7544228 HAS SOPS 6284204 HAS SOUS 2225610 HAS SOUPS 2131133 WITH SCORE 2138677.228
AT ITER 2021 NEW BEST:: SOT 11968559 SOS 7544042 HAS SOPS 6284525 HAS SOUS 2218348 HAS SOUPS 2123942 WITH SCORE 2131486.042
AT ITER 2043 NEW BEST:: SOT 11970601 SOS 7550671 HAS SOPS 6290918 HAS SOUS 2217796 HAS SOUPS 2123455 WITH SCORE 2131005.671
AT ITER 2060 NEW BEST:: SOT 11970335 SOS 7550800 HAS SOPS 6290220 HAS SOUS 2217570 HAS SOUPS 2123229 WITH SCORE 2130779.8
AT ITER 2070 NEW BEST:: SOT 11970059 SOS 7550524 HAS SOPS 6289872 HAS SOUS 2217006 HAS SOUPS 2122665 WITH SCORE 2130215.524
AT ITER 2080 NEW BEST:: SOT 11970185 SOS 7550749 HAS SOPS 6290097 HAS SOUS 2216997 HAS SOUPS 2122662 WITH SCORE 2130212.749
AT ITER 2095 NEW BEST:: SOT 11966266 SOS 7545314 HAS SOPS 6284462 HAS SOUS 2213677 HAS SOUPS 2119342 WITH SCORE 2126887.314
AT ITER 2101 NEW BEST:: SOT 11966363 SOS 7545317 HAS SOPS 6285600 HAS SOUS 2213349 HAS SOUPS 2119064 WITH SCORE 2126609.317
AT ITER 2104 NEW BEST:: SOT 11966400 SOS 7545489 HAS SOPS 6285880 HAS SOUS 2213327 HAS SOUPS 2119042 WITH SCORE 2126587.489
AT ITER 2117 NEW BEST:: SOT 11965687 SOS 7543705 HAS SOPS 6284410 HAS SOUS 2212320 HAS SOUPS 2118091 WITH SCORE 2125634.705
AT ITER 2124 NEW BEST:: SOT 11965973 SOS 7544216 HAS SOPS 6284964 HAS SOUS 2212054 HAS SOUPS 2117839 WITH SCORE 2125383.216
AT ITER 2128 NEW BEST:: SOT 11965818 SOS 7544136 HAS SOPS 6284934 HAS SOUS 2211739 HAS SOUPS 2117524 WITH SCORE 2125068.136
AT ITER 2138 NEW BEST:: SOT 11965106 SOS 7543956 HAS SOPS 6283979 HAS SOUS 2210824 HAS SOUPS 2116565 WITH SCORE 2124108.956
AT ITER 2141 NEW BEST:: SOT 11963924 SOS 7541808 HAS SOPS 6281653 HAS SOUS 2210474 HAS SOUPS 2116215 WITH SCORE 2123756.808
AT ITER 2145 NEW BEST:: SOT 11963433 SOS 7541451 HAS SOPS 6280693 HAS SOUS 2207950 HAS SOUPS 2113789 WITH SCORE 2121330.451
AT ITER 2164 NEW BEST:: SOT 11962414 SOS 7544561 HAS SOPS 6280997 HAS SOUS 2206689 HAS SOUPS 2112528 WITH SCORE 2120072.561
AT ITER 2185 NEW BEST:: SOT 11962214 SOS 7540523 HAS SOPS 6277171 HAS SOUS 2206048 HAS SOUPS 2111887 WITH SCORE 2119427.523
AT ITER 2202 NEW BEST:: SOT 11963719 SOS 7546021 HAS SOPS 6282658 HAS SOUS 2205012 HAS SOUPS 2110851 WITH SCORE 2118397.021
AT ITER 2205 NEW BEST:: SOT 11963583 SOS 7546657 HAS SOPS 6283542 HAS SOUS 2204393 HAS SOUPS 2110232 WITH SCORE 2117778.657
AT ITER 2211 NEW BEST:: SOT 11962645 SOS 7545727 HAS SOPS 6281938 HAS SOUS 2200902 HAS SOUPS 2107082 WITH SCORE 2114627.727
AT ITER 2222 NEW BEST:: SOT 11954930 SOS 7534065 HAS SOPS 6270526 HAS SOUS 2191410 HAS SOUPS 2097590 WITH SCORE 2105124.065
AT ITER 2239 NEW BEST:: SOT 11955462 SOS 7525052 HAS SOPS 6262292 HAS SOUS 2190897 HAS SOUPS 2097496 WITH SCORE 2105021.052
AT ITER 2251 NEW BEST:: SOT 11955478 SOS 7524620 HAS SOPS 6261928 HAS SOUS 2190532 HAS SOUPS 2097131 WITH SCORE 2104655.62
AT ITER 2292 NEW BEST:: SOT 11952750 SOS 7522722 HAS SOPS 6261038 HAS SOUS 2175900 HAS SOUPS 2082404 WITH SCORE 2089926.722
AT ITER 2296 NEW BEST:: SOT 11952374 SOS 7521032 HAS SOPS 6259774 HAS SOUS 2174904 HAS SOUPS 2081424 WITH SCORE 2088945.032
AT ITER 2305 NEW BEST:: SOT 11952323 SOS 7521129 HAS SOPS 6259405 HAS SOUS 2174391 HAS SOUPS 2080911 WITH SCORE 2088432.129
AT ITER 2307 NEW BEST:: SOT 11951202 SOS 7520506 HAS SOPS 6259009 HAS SOUS 2174162 HAS SOUPS 2080598 WITH SCORE 2088118.506
AT ITER 2311 NEW BEST:: SOT 11949749 SOS 7517656 HAS SOPS 6256851 HAS SOUS 2170028 HAS SOUPS 2077592 WITH SCORE 2085109.656
AT ITER 2316 NEW BEST:: SOT 11949756 SOS 7517344 HAS SOPS 6255945 HAS SOUS 2169482 HAS SOUPS 2077095 WITH SCORE 2084612.344
AT ITER 2319 NEW BEST:: SOT 11951924 SOS 7519455 HAS SOPS 6260266 HAS SOUS 2168373 HAS SOUPS 2075986 WITH SCORE 2083505.455
AT ITER 2325 NEW BEST:: SOT 11951922 SOS 7519374 HAS SOPS 6260181 HAS SOUS 2168365 HAS SOUPS 2075978 WITH SCORE 2083497.374
AT ITER 2345 NEW BEST:: SOT 11951887 SOS 7519125 HAS SOPS 6259864 HAS SOUS 2168268 HAS SOUPS 2075881 WITH SCORE 2083400.125
AT ITER 2353 NEW BEST:: SOT 11948443 SOS 7515681 HAS SOPS 6256420 HAS SOUS 2164836 HAS SOUPS 2072449 WITH SCORE 2079964.681
AT ITER 2357 NEW BEST:: SOT 11948246 SOS 7515458 HAS SOPS 6255585 HAS SOUS 2164445 HAS SOUPS 2072058 WITH SCORE 2079573.458
AT ITER 2365 NEW BEST:: SOT 11948326 SOS 7515538 HAS SOPS 6255617 HAS SOUS 2164045 HAS SOUPS 2071658 WITH SCORE 2079173.538
AT ITER 2373 NEW BEST:: SOT 11948684 SOS 7516030 HAS SOPS 6256048 HAS SOUS 2163237 HAS SOUPS 2070850 WITH SCORE 2078366.03
AT ITER 2375 NEW BEST:: SOT 11946504 SOS 7510744 HAS SOPS 6253148 HAS SOUS 2162829 HAS SOUPS 2070588 WITH SCORE 2078098.744
AT ITER 2380 NEW BEST:: SOT 11943649 SOS 7508683 HAS SOPS 6247336 HAS SOUS 2154066 HAS SOUPS 2061825 WITH SCORE 2069333.683
AT ITER 2381 NEW BEST:: SOT 11943636 SOS 7508670 HAS SOPS 6247323 HAS SOUS 2153845 HAS SOUPS 2061604 WITH SCORE 2069112.67
AT ITER 2409 NEW BEST:: SOT 11939831 SOS 7506903 HAS SOPS 6240575 HAS SOUS 2140612 HAS SOUPS 2048371 WITH SCORE 2055877.903
AT ITER 2411 NEW BEST:: SOT 11939227 SOS 7506299 HAS SOPS 6239795 HAS SOUS 2139324 HAS SOUPS 2047083 WITH SCORE 2054589.299
AT ITER 2423 NEW BEST:: SOT 11939648 SOS 7505432 HAS SOPS 6240005 HAS SOUS 2139186 HAS SOUPS 2047040 WITH SCORE 2054545.432
AT ITER 2431 NEW BEST:: SOT 11939482 SOS 7506015 HAS SOPS 6241184 HAS SOUS 2138407 HAS SOUPS 2046261 WITH SCORE 2053767.015
AT ITER 2433 NEW BEST:: SOT 11939412 SOS 7505826 HAS SOPS 6240856 HAS SOUS 2138262 HAS SOUPS 2046116 WITH SCORE 2053621.826
AT ITER 2439 NEW BEST:: SOT 11939377 SOS 7505868 HAS SOPS 6240461 HAS SOUS 2138150 HAS SOUPS 2046004 WITH SCORE 2053509.868
AT ITER 2443 NEW BEST:: SOT 11938790 SOS 7505749 HAS SOPS 6239676 HAS SOUS 2136519 HAS SOUPS 2044373 WITH SCORE 2051878.749
AT ITER 2445 NEW BEST:: SOT 11936204 SOS 7501926 HAS SOPS 6234668 HAS SOUS 2132390 HAS SOUPS 2040244 WITH SCORE 2047745.926
AT ITER 2452 NEW BEST:: SOT 11935253 SOS 7501776 HAS SOPS 6233912 HAS SOUS 2130956 HAS SOUPS 2038775 WITH SCORE 2046276.776
AT ITER 2474 NEW BEST:: SOT 11934737 SOS 7502626 HAS SOPS 6234359 HAS SOUS 2126942 HAS SOUPS 2034726 WITH SCORE 2042228.626
AT ITER 2476 NEW BEST:: SOT 11931817 SOS 7498982 HAS SOPS 6229811 HAS SOUS 2121572 HAS SOUPS 2029382 WITH SCORE 2036880.982
AT ITER 2489 NEW BEST:: SOT 11932074 SOS 7499239 HAS SOPS 6229964 HAS SOUS 2120165 HAS SOUPS 2027975 WITH SCORE 2035474.239
AT ITER 2494 NEW BEST:: SOT 11932340 SOS 7499571 HAS SOPS 6230404 HAS SOUS 2117716 HAS SOUPS 2025388 WITH SCORE 2032887.571
AT ITER 2498 NEW BEST:: SOT 11931283 SOS 7498588 HAS SOPS 6227830 HAS SOUS 2115119 HAS SOUPS 2022803 WITH SCORE 2030301.588
AT ITER 2508 NEW BEST:: SOT 11931164 SOS 7498462 HAS SOPS 6227797 HAS SOUS 2113935 HAS SOUPS 2021636 WITH SCORE 2029134.462
AT ITER 2518 NEW BEST:: SOT 11928096 SOS 7495423 HAS SOPS 6224695 HAS SOUS 2109729 HAS SOUPS 2017393 WITH SCORE 2024888.423
AT ITER 2520 NEW BEST:: SOT 11927412 SOS 7494235 HAS SOPS 6223952 HAS SOUS 2109379 HAS SOUPS 2017043 WITH SCORE 2024537.235
AT ITER 2525 NEW BEST:: SOT 11926686 SOS 7493584 HAS SOPS 6222806 HAS SOUS 2107738 HAS SOUPS 2015417 WITH SCORE 2022910.584
AT ITER 2529 NEW BEST:: SOT 11925801 SOS 7498536 HAS SOPS 6233520 HAS SOUS 2104653 HAS SOUPS 2012332 WITH SCORE 2019830.536
AT ITER 2553 NEW BEST:: SOT 11928674 SOS 7506996 HAS SOPS 6238519 HAS SOUS 2103383 HAS SOUPS 2011062 WITH SCORE 2018568.996
AT ITER 2588 NEW BEST:: SOT 11933425 SOS 7508544 HAS SOPS 6250900 HAS SOUS 2103297 HAS SOUPS 2010976 WITH SCORE 2018484.544
AT ITER 2593 NEW BEST:: SOT 11933430 SOS 7508657 HAS SOPS 6250829 HAS SOUS 2103209 HAS SOUPS 2010888 WITH SCORE 2018396.657
AT ITER 2601 NEW BEST:: SOT 11933462 SOS 7508690 HAS SOPS 6250841 HAS SOUS 2103155 HAS SOUPS 2010834 WITH SCORE 2018342.69
AT ITER 2606 NEW BEST:: SOT 11933309 SOS 7508814 HAS SOPS 6252233 HAS SOUS 2102703 HAS SOUPS 2010419 WITH SCORE 2017927.814
AT ITER 2620 NEW BEST:: SOT 11933534 SOS 7510134 HAS SOPS 6254010 HAS SOUS 2102691 HAS SOUPS 2010407 WITH SCORE 2017917.134
AT ITER 2624 NEW BEST:: SOT 11932058 SOS 7508338 HAS SOPS 6251205 HAS SOUS 2097224 HAS SOUPS 2004941 WITH SCORE 2012449.338
AT ITER 2632 NEW BEST:: SOT 11935508 SOS 7511734 HAS SOPS 6254859 HAS SOUS 2097055 HAS SOUPS 2004758 WITH SCORE 2012269.734
AT ITER 2644 NEW BEST:: SOT 11935274 SOS 7512800 HAS SOPS 6254052 HAS SOUS 2094112 HAS SOUPS 2001815 WITH SCORE 2009327.8
AT ITER 2657 NEW BEST:: SOT 11935505 SOS 7514227 HAS SOPS 6255704 HAS SOUS 2094096 HAS SOUPS 2001799 WITH SCORE 2009313.227
AT ITER 2658 NEW BEST:: SOT 11933558 SOS 7507833 HAS SOPS 6254254 HAS SOUS 2091623 HAS SOUPS 1999852 WITH SCORE 2007359.833
AT ITER 2664 NEW BEST:: SOT 11931744 SOS 7500712 HAS SOPS 6249949 HAS SOUS 2089792 HAS SOUPS 1998021 WITH SCORE 2005521.712
AT ITER 2665 NEW BEST:: SOT 11932078 SOS 7500873 HAS SOPS 6250012 HAS SOUS 2088642 HAS SOUPS 1996871 WITH SCORE 2004371.873
AT ITER 2673 NEW BEST:: SOT 11931375 SOS 7503725 HAS SOPS 6252512 HAS SOUS 2088252 HAS SOUPS 1996481 WITH SCORE 2003984.725
AT ITER 2675 NEW BEST:: SOT 11925267 SOS 7497209 HAS SOPS 6246616 HAS SOUS 2080481 HAS SOUPS 1988682 WITH SCORE 1996179.209
AT ITER 2678 NEW BEST:: SOT 11924650 SOS 7496472 HAS SOPS 6245700 HAS SOUS 2079384 HAS SOUPS 1987593 WITH SCORE 1995089.472
AT ITER 2689 NEW BEST:: SOT 11923923 SOS 7492924 HAS SOPS 6243322 HAS SOUS 2076782 HAS SOUPS 1985036 WITH SCORE 1992528.924
AT ITER 2703 NEW BEST:: SOT 11923293 SOS 7492075 HAS SOPS 6242661 HAS SOUS 2076674 HAS SOUPS 1984927 WITH SCORE 1992419.075
AT ITER 2706 NEW BEST:: SOT 11923208 SOS 7491990 HAS SOPS 6242576 HAS SOUS 2076589 HAS SOUPS 1984842 WITH SCORE 1992333.99
AT ITER 2709 NEW BEST:: SOT 11921972 SOS 7491757 HAS SOPS 6241003 HAS SOUS 2071212 HAS SOUPS 1979465 WITH SCORE 1986956.757
AT ITER 2736 NEW BEST:: SOT 11920247 SOS 7490195 HAS SOPS 6238763 HAS SOUS 2070938 HAS SOUPS 1978543 WITH SCORE 1986033.195
AT ITER 2746 NEW BEST:: SOT 11916822 SOS 7482896 HAS SOPS 6231563 HAS SOUS 2054251 HAS SOUPS 1961924 WITH SCORE 1969406.896
AT ITER 2764 NEW BEST:: SOT 11913702 SOS 7480591 HAS SOPS 6229896 HAS SOUS 2053440 HAS SOUPS 1961113 WITH SCORE 1968593.591
AT ITER 2772 NEW BEST:: SOT 11918355 SOS 7486251 HAS SOPS 6238943 HAS SOUS 2053050 HAS SOUPS 1960918 WITH SCORE 1968404.251
AT ITER 2773 NEW BEST:: SOT 11918126 SOS 7486145 HAS SOPS 6239203 HAS SOUS 2053004 HAS SOUPS 1960872 WITH SCORE 1968358.145
AT ITER 2779 NEW BEST:: SOT 11916534 SOS 7487303 HAS SOPS 6237247 HAS SOUS 2047887 HAS SOUPS 1955755 WITH SCORE 1963242.303
AT ITER 2782 NEW BEST:: SOT 11913832 SOS 7484542 HAS SOPS 6234781 HAS SOUS 2034446 HAS SOUPS 1942314 WITH SCORE 1949798.542
AT ITER 2821 NEW BEST:: SOT 11902668 SOS 7460627 HAS SOPS 6211325 HAS SOUS 2025652 HAS SOUPS 1933678 WITH SCORE 1941138.627
AT ITER 2838 NEW BEST:: SOT 11901292 SOS 7459252 HAS SOPS 6210285 HAS SOUS 2023921 HAS SOUPS 1932199 WITH SCORE 1939658.252
AT ITER 2852 NEW BEST:: SOT 11901366 SOS 7463851 HAS SOPS 6214884 HAS SOUS 2023298 HAS SOUPS 1931576 WITH SCORE 1939039.851
AT ITER 2854 NEW BEST:: SOT 11899387 SOS 7458468 HAS SOPS 6210565 HAS SOUS 2020416 HAS SOUPS 1928770 WITH SCORE 1936228.468
AT ITER 2859 NEW BEST:: SOT 11899517 SOS 7458810 HAS SOPS 6210721 HAS SOUS 2020239 HAS SOUPS 1928593 WITH SCORE 1936051.81
AT ITER 2860 NEW BEST:: SOT 11899777 SOS 7459096 HAS SOPS 6210071 HAS SOUS 2016981 HAS SOUPS 1925335 WITH SCORE 1932794.096
AT ITER 2869 NEW BEST:: SOT 11894405 SOS 7453724 HAS SOPS 6204267 HAS SOUS 2009333 HAS SOUPS 1917687 WITH SCORE 1925140.724
AT ITER 2881 NEW BEST:: SOT 11894379 SOS 7451775 HAS SOPS 6202230 HAS SOUS 2009126 HAS SOUPS 1917480 WITH SCORE 1924931.775
AT ITER 2903 NEW BEST:: SOT 11894049 SOS 7446294 HAS SOPS 6202601 HAS SOUS 2004085 HAS SOUPS 1912439 WITH SCORE 1919885.294
AT ITER 2919 NEW BEST:: SOT 11888517 SOS 7440762 HAS SOPS 6196621 HAS SOUS 1996537 HAS SOUPS 1904891 WITH SCORE 1912331.762
AT ITER 2942 NEW BEST:: SOT 11884941 SOS 7434357 HAS SOPS 6194266 HAS SOUS 1987245 HAS SOUPS 1896980 WITH SCORE 1904414.357
AT ITER 2953 NEW BEST:: SOT 11884945 SOS 7434397 HAS SOPS 6193974 HAS SOUS 1987228 HAS SOUPS 1896963 WITH SCORE 1904397.397
AT ITER 2957 NEW BEST:: SOT 11886977 SOS 7435741 HAS SOPS 6195682 HAS SOUS 1985149 HAS SOUPS 1894944 WITH SCORE 1902379.741
AT ITER 2962 NEW BEST:: SOT 11887077 SOS 7435840 HAS SOPS 6195270 HAS SOUS 1983897 HAS SOUPS 1893692 WITH SCORE 1901127.84
AT ITER 2963 NEW BEST:: SOT 11887965 SOS 7435400 HAS SOPS 6194704 HAS SOUS 1983772 HAS SOUPS 1893567 WITH SCORE 1901002.4
AT ITER 2970 NEW BEST:: SOT 11887906 SOS 7435304 HAS SOPS 6194615 HAS SOUS 1983698 HAS SOUPS 1893504 WITH SCORE 1900939.304
AT ITER 2982 NEW BEST:: SOT 11887806 SOS 7433592 HAS SOPS 6193739 HAS SOUS 1983305 HAS SOUPS 1893111 WITH SCORE 1900544.592
AT ITER 2993 NEW BEST:: SOT 11886367 SOS 7431635 HAS SOPS 6191950 HAS SOUS 1980452 HAS SOUPS 1890272 WITH SCORE 1897703.635
AT ITER 2997 NEW BEST:: SOT 11885978 SOS 7431430 HAS SOPS 6191177 HAS SOUS 1979152 HAS SOUPS 1888972 WITH SCORE 1896403.43
AT ITER 3004 NEW BEST:: SOT 11884994 SOS 7431106 HAS SOPS 6190860 HAS SOUS 1977789 HAS SOUPS 1887609 WITH SCORE 1895040.106
AT ITER 3005 NEW BEST:: SOT 11884982 SOS 7431009 HAS SOPS 6190878 HAS SOUS 1977789 HAS SOUPS 1887609 WITH SCORE 1895040.009
AT ITER 3014 NEW BEST:: SOT 11886540 SOS 7427795 HAS SOPS 6189417 HAS SOUS 1976942 HAS SOUPS 1886944 WITH SCORE 1894371.795
AT ITER 3031 NEW BEST:: SOT 11886494 SOS 7427747 HAS SOPS 6189214 HAS SOUS 1976751 HAS SOUPS 1886753 WITH SCORE 1894180.747
AT ITER 3037 NEW BEST:: SOT 11885729 SOS 7428584 HAS SOPS 6187548 HAS SOUS 1975671 HAS SOUPS 1885600 WITH SCORE 1893028.584
AT ITER 3041 NEW BEST:: SOT 11886250 SOS 7431382 HAS SOPS 6186197 HAS SOUS 1974670 HAS SOUPS 1884599 WITH SCORE 1892030.382
AT ITER 3042 NEW BEST:: SOT 11885507 SOS 7430639 HAS SOPS 6185454 HAS SOUS 1973927 HAS SOUPS 1883856 WITH SCORE 1891286.639
AT ITER 3052 NEW BEST:: SOT 11886290 SOS 7430802 HAS SOPS 6187039 HAS SOUS 1971464 HAS SOUPS 1881384 WITH SCORE 1888814.802
AT ITER 3063 NEW BEST:: SOT 11881530 SOS 7426310 HAS SOPS 6180475 HAS SOUS 1958968 HAS SOUPS 1869084 WITH SCORE 1876510.31
AT ITER 3073 NEW BEST:: SOT 11879411 SOS 7422143 HAS SOPS 6176770 HAS SOUS 1955831 HAS SOUPS 1865989 WITH SCORE 1873411.143
AT ITER 3087 NEW BEST:: SOT 11877409 SOS 7416423 HAS SOPS 6171746 HAS SOUS 1953121 HAS SOUPS 1863279 WITH SCORE 1870695.423
AT ITER 3102 NEW BEST:: SOT 11876337 SOS 7415302 HAS SOPS 6170322 HAS SOUS 1951658 HAS SOUPS 1861816 WITH SCORE 1869231.302
AT ITER 3109 NEW BEST:: SOT 11872280 SOS 7411095 HAS SOPS 6165313 HAS SOUS 1941550 HAS SOUPS 1851672 WITH SCORE 1859083.095
AT ITER 3115 NEW BEST:: SOT 11871042 SOS 7408603 HAS SOPS 6162656 HAS SOUS 1940148 HAS SOUPS 1850237 WITH SCORE 1857645.603
AT ITER 3117 NEW BEST:: SOT 11872449 SOS 7415363 HAS SOPS 6169527 HAS SOUS 1934092 HAS SOUPS 1844181 WITH SCORE 1851596.363
AT ITER 3121 NEW BEST:: SOT 11869147 SOS 7410447 HAS SOPS 6163395 HAS SOUS 1931054 HAS SOUPS 1841173 WITH SCORE 1848583.447
AT ITER 3125 NEW BEST:: SOT 11869307 SOS 7410915 HAS SOPS 6162686 HAS SOUS 1929859 HAS SOUPS 1839957 WITH SCORE 1847367.915
AT ITER 3179 NEW BEST:: SOT 11864980 SOS 7405246 HAS SOPS 6157799 HAS SOUS 1924974 HAS SOUPS 1835164 WITH SCORE 1842569.246
AT ITER 3185 NEW BEST:: SOT 11862854 SOS 7398617 HAS SOPS 6148122 HAS SOUS 1921707 HAS SOUPS 1831791 WITH SCORE 1839189.617
AT ITER 3188 NEW BEST:: SOT 11861478 SOS 7395476 HAS SOPS 6144664 HAS SOUS 1918913 HAS SOUPS 1828997 WITH SCORE 1836392.476
AT ITER 3197 NEW BEST:: SOT 11861153 SOS 7393409 HAS SOPS 6142739 HAS SOUS 1918851 HAS SOUPS 1828935 WITH SCORE 1836328.409
AT ITER 3200 NEW BEST:: SOT 11860948 SOS 7393242 HAS SOPS 6143311 HAS SOUS 1918746 HAS SOUPS 1828825 WITH SCORE 1836218.242
AT ITER 3232 NEW BEST:: SOT 11860903 SOS 7393199 HAS SOPS 6143243 HAS SOUS 1918716 HAS SOUPS 1828763 WITH SCORE 1836156.199
AT ITER 3238 NEW BEST:: SOT 11866830 SOS 7418663 HAS SOPS 6166213 HAS SOUS 1912373 HAS SOUPS 1822238 WITH SCORE 1829656.663
AT ITER 3248 NEW BEST:: SOT 11866838 SOS 7421966 HAS SOPS 6170907 HAS SOUS 1911936 HAS SOUPS 1821842 WITH SCORE 1829263.966
AT ITER 3254 NEW BEST:: SOT 11866281 SOS 7418133 HAS SOPS 6169135 HAS SOUS 1911715 HAS SOUPS 1821621 WITH SCORE 1829039.133
AT ITER 3256 NEW BEST:: SOT 11863652 SOS 7407559 HAS SOPS 6160974 HAS SOUS 1910244 HAS SOUPS 1820150 WITH SCORE 1827557.559
AT ITER 3267 NEW BEST:: SOT 11863722 SOS 7407378 HAS SOPS 6160721 HAS SOUS 1909494 HAS SOUPS 1819400 WITH SCORE 1826807.378
AT ITER 3271 NEW BEST:: SOT 11861697 SOS 7405353 HAS SOPS 6158376 HAS SOUS 1907989 HAS SOUPS 1817655 WITH SCORE 1825060.353
AT ITER 3273 NEW BEST:: SOT 11861608 SOS 7405988 HAS SOPS 6158731 HAS SOUS 1907386 HAS SOUPS 1817052 WITH SCORE 1824457.988
AT ITER 3285 NEW BEST:: SOT 11862896 SOS 7406654 HAS SOPS 6167845 HAS SOUS 1906823 HAS SOUPS 1816489 WITH SCORE 1823895.654
AT ITER 3288 NEW BEST:: SOT 11865512 SOS 7420505 HAS SOPS 6174472 HAS SOUS 1901386 HAS SOUPS 1811043 WITH SCORE 1818463.505
AT ITER 3300 NEW BEST:: SOT 11863325 SOS 7413123 HAS SOPS 6165676 HAS SOUS 1898968 HAS SOUPS 1808625 WITH SCORE 1816038.123
AT ITER 3306 NEW BEST:: SOT 11862969 SOS 7412767 HAS SOPS 6165348 HAS SOUS 1897912 HAS SOUPS 1807569 WITH SCORE 1814981.767
AT ITER 3317 NEW BEST:: SOT 11862852 SOS 7412650 HAS SOPS 6165231 HAS SOUS 1897815 HAS SOUPS 1807472 WITH SCORE 1814884.65
AT ITER 3326 NEW BEST:: SOT 11863739 SOS 7416819 HAS SOPS 6167526 HAS SOUS 1896808 HAS SOUPS 1806465 WITH SCORE 1813881.819
AT ITER 3340 NEW BEST:: SOT 11863719 SOS 7416914 HAS SOPS 6167770 HAS SOUS 1896761 HAS SOUPS 1806457 WITH SCORE 1813873.914
AT ITER 3356 NEW BEST:: SOT 11864025 SOS 7417069 HAS SOPS 6167733 HAS SOUS 1896161 HAS SOUPS 1805857 WITH SCORE 1813274.069
AT ITER 3358 NEW BEST:: SOT 11859497 SOS 7407743 HAS SOPS 6162117 HAS SOUS 1891454 HAS SOUPS 1801840 WITH SCORE 1809247.743
AT ITER 3379 NEW BEST:: SOT 11855584 SOS 7399191 HAS SOPS 6154017 HAS SOUS 1883770 HAS SOUPS 1794156 WITH SCORE 1801555.191
AT ITER 3380 NEW BEST:: SOT 11855838 SOS 7399317 HAS SOPS 6154088 HAS SOUS 1883710 HAS SOUPS 1794006 WITH SCORE 1801405.317
AT ITER 3389 NEW BEST:: SOT 11854623 SOS 7398623 HAS SOPS 6154080 HAS SOUS 1882237 HAS SOUPS 1792536 WITH SCORE 1799934.623
AT ITER 3399 NEW BEST:: SOT 11854768 SOS 7398876 HAS SOPS 6154333 HAS SOUS 1881773 HAS SOUPS 1792072 WITH SCORE 1799470.876
AT ITER 3412 NEW BEST:: SOT 11853646 SOS 7397648 HAS SOPS 6151485 HAS SOUS 1875896 HAS SOUPS 1786165 WITH SCORE 1793562.648
AT ITER 3420 NEW BEST:: SOT 11853023 SOS 7395752 HAS SOPS 6149784 HAS SOUS 1875432 HAS SOUPS 1785701 WITH SCORE 1793096.752
AT ITER 3424 NEW BEST:: SOT 11849765 SOS 7388133 HAS SOPS 6145548 HAS SOUS 1872919 HAS SOUPS 1783188 WITH SCORE 1790576.133
AT ITER 3455 NEW BEST:: SOT 11848398 SOS 7386164 HAS SOPS 6143116 HAS SOUS 1871755 HAS SOUPS 1781999 WITH SCORE 1789385.164
AT ITER 3469 NEW BEST:: SOT 11847541 SOS 7385055 HAS SOPS 6142070 HAS SOUS 1870846 HAS SOUPS 1781099 WITH SCORE 1788484.055
AT ITER 3471 NEW BEST:: SOT 11847535 SOS 7385594 HAS SOPS 6142066 HAS SOUS 1870839 HAS SOUPS 1781092 WITH SCORE 1788477.594
AT ITER 3483 NEW BEST:: SOT 11847293 SOS 7383253 HAS SOPS 6140023 HAS SOUS 1870400 HAS SOUPS 1780653 WITH SCORE 1788036.253
AT ITER 3487 NEW BEST:: SOT 11846825 SOS 7378777 HAS SOPS 6135114 HAS SOUS 1868171 HAS SOUPS 1778424 WITH SCORE 1785802.777
AT ITER 3490 NEW BEST:: SOT 11845581 SOS 7378585 HAS SOPS 6134093 HAS SOUS 1866357 HAS SOUPS 1776610 WITH SCORE 1783988.585
AT ITER 3492 NEW BEST:: SOT 11845445 SOS 7378454 HAS SOPS 6133914 HAS SOUS 1865956 HAS SOUPS 1776241 WITH SCORE 1783619.454
AT ITER 3495 NEW BEST:: SOT 11845426 SOS 7378438 HAS SOPS 6133899 HAS SOUS 1865947 HAS SOUPS 1776232 WITH SCORE 1783610.438
AT ITER 3509 NEW BEST:: SOT 11839292 SOS 7365895 HAS SOPS 6124409 HAS SOUS 1855139 HAS SOUPS 1765555 WITH SCORE 1772920.895
AT ITER 3522 NEW BEST:: SOT 11834392 SOS 7358563 HAS SOPS 6117484 HAS SOUS 1846524 HAS SOUPS 1757535 WITH SCORE 1764893.563
AT ITER 3523 NEW BEST:: SOT 11834155 SOS 7359103 HAS SOPS 6117505 HAS SOUS 1844962 HAS SOUPS 1755973 WITH SCORE 1763332.103
AT ITER 3547 NEW BEST:: SOT 11834054 SOS 7359494 HAS SOPS 6114943 HAS SOUS 1842775 HAS SOUPS 1753786 WITH SCORE 1761145.494
AT ITER 3593 NEW BEST:: SOT 11832895 SOS 7359107 HAS SOPS 6113874 HAS SOUS 1841044 HAS SOUPS 1752055 WITH SCORE 1759414.107
AT ITER 3597 NEW BEST:: SOT 11833781 SOS 7361367 HAS SOPS 6115714 HAS SOUS 1840134 HAS SOUPS 1751173 WITH SCORE 1758534.367
AT ITER 3625 NEW BEST:: SOT 11834026 SOS 7362018 HAS SOPS 6116898 HAS SOUS 1837168 HAS SOUPS 1748207 WITH SCORE 1755569.018
AT ITER 3638 NEW BEST:: SOT 11833310 SOS 7362094 HAS SOPS 6116794 HAS SOUS 1836596 HAS SOUPS 1747617 WITH SCORE 1754979.094
AT ITER 3649 NEW BEST:: SOT 11832246 SOS 7361030 HAS SOPS 6115250 HAS SOUS 1833748 HAS SOUPS 1744769 WITH SCORE 1752130.03
AT ITER 3659 NEW BEST:: SOT 11831987 SOS 7360499 HAS SOPS 6115118 HAS SOUS 1833672 HAS SOUPS 1744693 WITH SCORE 1752053.499
AT ITER 3684 NEW BEST:: SOT 11827437 SOS 7352006 HAS SOPS 6108479 HAS SOUS 1823030 HAS SOUPS 1734060 WITH SCORE 1741412.006
AT ITER 3689 NEW BEST:: SOT 11826438 SOS 7350006 HAS SOPS 6106227 HAS SOUS 1820910 HAS SOUPS 1731940 WITH SCORE 1739290.006
AT ITER 3691 NEW BEST:: SOT 11826198 SOS 7350322 HAS SOPS 6106111 HAS SOUS 1819591 HAS SOUPS 1730591 WITH SCORE 1737941.322
AT ITER 3705 NEW BEST:: SOT 11824371 SOS 7347388 HAS SOPS 6101358 HAS SOUS 1808979 HAS SOUPS 1720107 WITH SCORE 1727454.388
AT ITER 3714 NEW BEST:: SOT 11823286 SOS 7346230 HAS SOPS 6100394 HAS SOUS 1807216 HAS SOUPS 1718369 WITH SCORE 1725715.23
AT ITER 3725 NEW BEST:: SOT 11816690 SOS 7330634 HAS SOPS 6083536 HAS SOUS 1801448 HAS SOUPS 1712522 WITH SCORE 1719852.634
AT ITER 3732 NEW BEST:: SOT 11816160 SOS 7330971 HAS SOPS 6083450 HAS SOUS 1799797 HAS SOUPS 1710851 WITH SCORE 1718181.971
AT ITER 3751 NEW BEST:: SOT 11817990 SOS 7336040 HAS SOPS 6086354 HAS SOUS 1799206 HAS SOUPS 1710260 WITH SCORE 1717596.04
AT ITER 3779 NEW BEST:: SOT 11817782 SOS 7336030 HAS SOPS 6086385 HAS SOUS 1799108 HAS SOUPS 1710144 WITH SCORE 1717480.03
AT ITER 3790 NEW BEST:: SOT 11820642 SOS 7341803 HAS SOPS 6092424 HAS SOUS 1797845 HAS SOUPS 1708928 WITH SCORE 1716269.803
AT ITER 3817 NEW BEST:: SOT 11822287 SOS 7343448 HAS SOPS 6092949 HAS SOUS 1798510 HAS SOUPS 1708753 WITH SCORE 1716096.448
AT ITER 3832 NEW BEST:: SOT 11820973 SOS 7340253 HAS SOPS 6085828 HAS SOUS 1789548 HAS SOUPS 1699927 WITH SCORE 1707267.253
AT ITER 3838 NEW BEST:: SOT 11817616 SOS 7337181 HAS SOPS 6082563 HAS SOUS 1787535 HAS SOUPS 1697802 WITH SCORE 1705139.181
AT ITER 3864 NEW BEST:: SOT 11817188 SOS 7336769 HAS SOPS 6082095 HAS SOUS 1786922 HAS SOUPS 1697197 WITH SCORE 1704533.769
AT ITER 3869 NEW BEST:: SOT 11815800 SOS 7335030 HAS SOPS 6080163 HAS SOUS 1785040 HAS SOUPS 1695288 WITH SCORE 1702623.03
AT ITER 3872 NEW BEST:: SOT 11815512 SOS 7334851 HAS SOPS 6079856 HAS SOUS 1784267 HAS SOUPS 1694515 WITH SCORE 1701849.851
AT ITER 3906 NEW BEST:: SOT 11816914 SOS 7341029 HAS SOPS 6087231 HAS SOUS 1782522 HAS SOUPS 1692743 WITH SCORE 1700084.029
AT ITER 3907 NEW BEST:: SOT 11817282 SOS 7340574 HAS SOPS 6086659 HAS SOUS 1782093 HAS SOUPS 1692314 WITH SCORE 1699654.574
AT ITER 3914 NEW BEST:: SOT 11817514 SOS 7342004 HAS SOPS 6087793 HAS SOUS 1781689 HAS SOUPS 1691910 WITH SCORE 1699252.004
AT ITER 3923 NEW BEST:: SOT 11817288 SOS 7342158 HAS SOPS 6087852 HAS SOUS 1781548 HAS SOUPS 1691759 WITH SCORE 1699101.158
AT ITER 3936 NEW BEST:: SOT 11817374 SOS 7343256 HAS SOPS 6089281 HAS SOUS 1781287 HAS SOUPS 1691498 WITH SCORE 1698841.256
AT ITER 3958 NEW BEST:: SOT 11817296 SOS 7343469 HAS SOPS 6089764 HAS SOUS 1781194 HAS SOUPS 1691405 WITH SCORE 1698748.469
AT ITER 3977 NEW BEST:: SOT 11818373 SOS 7344244 HAS SOPS 6089808 HAS SOUS 1780807 HAS SOUPS 1691018 WITH SCORE 1698362.244
AT ITER 3984 NEW BEST:: SOT 11819023 SOS 7344894 HAS SOPS 6089962 HAS SOUS 1779025 HAS SOUPS 1689236 WITH SCORE 1696580.894
AT ITER 4022 NEW BEST:: SOT 11819012 SOS 7345348 HAS SOPS 6089874 HAS SOUS 1778485 HAS SOUPS 1688696 WITH SCORE 1696041.348
AT ITER 4028 NEW BEST:: SOT 11819042 SOS 7345378 HAS SOPS 6089904 HAS SOUS 1778387 HAS SOUPS 1688598 WITH SCORE 1695943.378
AT ITER 4030 NEW BEST:: SOT 11819638 SOS 7345756 HAS SOPS 6090045 HAS SOUS 1777810 HAS SOUPS 1688021 WITH SCORE 1695366.756
AT ITER 4057 NEW BEST:: SOT 11818854 SOS 7343935 HAS SOPS 6088679 HAS SOUS 1777660 HAS SOUPS 1687894 WITH SCORE 1695237.935
AT ITER 4063 NEW BEST:: SOT 11818408 SOS 7344977 HAS SOPS 6087998 HAS SOUS 1776646 HAS SOUPS 1686880 WITH SCORE 1694224.977
AT ITER 4072 NEW BEST:: SOT 11816432 SOS 7343664 HAS SOPS 6087617 HAS SOUS 1775854 HAS SOUPS 1686088 WITH SCORE 1693431.664
AT ITER 4093 NEW BEST:: SOT 11816816 SOS 7344657 HAS SOPS 6087547 HAS SOUS 1775813 HAS SOUPS 1686047 WITH SCORE 1693391.657
AT ITER 4095 NEW BEST:: SOT 11814843 SOS 7342938 HAS SOPS 6085788 HAS SOUS 1770665 HAS SOUPS 1680899 WITH SCORE 1688241.938
AT ITER 4145 NEW BEST:: SOT 11814876 SOS 7343856 HAS SOPS 6086973 HAS SOUS 1768565 HAS SOUPS 1678841 WITH SCORE 1686184.856
AT ITER 4148 NEW BEST:: SOT 11813774 SOS 7342641 HAS SOPS 6085369 HAS SOUS 1767749 HAS SOUPS 1678025 WITH SCORE 1685367.641
AT ITER 4156 NEW BEST:: SOT 11813442 SOS 7342309 HAS SOPS 6085037 HAS SOUS 1767001 HAS SOUPS 1677277 WITH SCORE 1684619.309
AT ITER 4175 NEW BEST:: SOT 11812008 SOS 7340622 HAS SOPS 6084333 HAS SOUS 1766993 HAS SOUPS 1677269 WITH SCORE 1684609.622
AT ITER 4182 NEW BEST:: SOT 11808615 SOS 7336493 HAS SOPS 6080990 HAS SOUS 1763853 HAS SOUPS 1674129 WITH SCORE 1681465.493
AT ITER 4189 NEW BEST:: SOT 11809280 SOS 7336131 HAS SOPS 6080221 HAS SOUS 1763213 HAS SOUPS 1673489 WITH SCORE 1680825.131
AT ITER 4204 NEW BEST:: SOT 11808624 SOS 7334470 HAS SOPS 6078540 HAS SOUS 1761318 HAS SOUPS 1671594 WITH SCORE 1678928.47
AT ITER 4211 NEW BEST:: SOT 11810973 SOS 7342297 HAS SOPS 6084702 HAS SOUS 1760915 HAS SOUPS 1671191 WITH SCORE 1678533.297
AT ITER 4217 NEW BEST:: SOT 11809410 SOS 7340644 HAS SOPS 6081472 HAS SOUS 1757599 HAS SOUPS 1667875 WITH SCORE 1675215.644
AT ITER 4249 NEW BEST:: SOT 11808936 SOS 7340072 HAS SOPS 6080783 HAS SOUS 1756453 HAS SOUPS 1666729 WITH SCORE 1674069.072
AT ITER 4256 NEW BEST:: SOT 11806909 SOS 7333398 HAS SOPS 6077895 HAS SOUS 1756128 HAS SOUPS 1666479 WITH SCORE 1673812.398
AT ITER 4273 NEW BEST:: SOT 11806831 SOS 7333029 HAS SOPS 6077486 HAS SOUS 1755851 HAS SOUPS 1666202 WITH SCORE 1673535.029
AT ITER 4275 NEW BEST:: SOT 11807666 SOS 7334244 HAS SOPS 6078611 HAS SOUS 1754390 HAS SOUPS 1664741 WITH SCORE 1672075.244
AT ITER 4284 NEW BEST:: SOT 11807643 SOS 7334081 HAS SOPS 6078446 HAS SOUS 1754311 HAS SOUPS 1664662 WITH SCORE 1671996.081
AT ITER 4298 NEW BEST:: SOT 11803382 SOS 7329820 HAS SOPS 6073641 HAS SOUS 1747246 HAS SOUPS 1657633 WITH SCORE 1664962.82
AT ITER 4303 NEW BEST:: SOT 11803135 SOS 7329547 HAS SOPS 6073259 HAS SOUS 1746823 HAS SOUPS 1657207 WITH SCORE 1664536.547
AT ITER 4314 NEW BEST:: SOT 11794061 SOS 7311701 HAS SOPS 6058833 HAS SOUS 1732859 HAS SOUPS 1643620 WITH SCORE 1650931.701
AT ITER 4370 NEW BEST:: SOT 11793011 SOS 7310727 HAS SOPS 6057353 HAS SOUS 1731452 HAS SOUPS 1642188 WITH SCORE 1649498.727
AT ITER 4387 NEW BEST:: SOT 11792907 SOS 7310441 HAS SOPS 6056806 HAS SOUS 1731054 HAS SOUPS 1641790 WITH SCORE 1649100.441
AT ITER 4398 NEW BEST:: SOT 11792771 SOS 7310290 HAS SOPS 6056496 HAS SOUS 1730863 HAS SOUPS 1641599 WITH SCORE 1648909.29
AT ITER 4401 NEW BEST:: SOT 11796000 SOS 7334906 HAS SOPS 6079665 HAS SOUS 1727723 HAS SOUPS 1638459 WITH SCORE 1645793.906
AT ITER 4404 NEW BEST:: SOT 11794716 SOS 7333622 HAS SOPS 6077933 HAS SOUS 1725495 HAS SOUPS 1636071 WITH SCORE 1643404.622
AT ITER 4428 NEW BEST:: SOT 11795756 SOS 7334885 HAS SOPS 6080527 HAS SOUS 1724448 HAS SOUPS 1635077 WITH SCORE 1642411.885
AT ITER 4450 NEW BEST:: SOT 11795665 SOS 7334638 HAS SOPS 6080346 HAS SOUS 1724389 HAS SOUPS 1635018 WITH SCORE 1642352.638
AT ITER 4457 NEW BEST:: SOT 11800769 SOS 7338247 HAS SOPS 6084504 HAS SOUS 1721673 HAS SOUPS 1632448 WITH SCORE 1639786.247
AT ITER 4458 NEW BEST:: SOT 11800019 SOS 7335343 HAS SOPS 6081485 HAS SOUS 1720106 HAS SOUPS 1630881 WITH SCORE 1638216.343
AT ITER 4460 NEW BEST:: SOT 11799960 SOS 7334897 HAS SOPS 6081055 HAS SOUS 1719633 HAS SOUPS 1630408 WITH SCORE 1637742.897
AT ITER 4466 NEW BEST:: SOT 11794866 SOS 7327424 HAS SOPS 6073595 HAS SOUS 1712420 HAS SOUPS 1623257 WITH SCORE 1630584.424
AT ITER 4467 NEW BEST:: SOT 11793993 SOS 7327027 HAS SOPS 6072017 HAS SOUS 1710077 HAS SOUPS 1620876 WITH SCORE 1628203.027
AT ITER 4495 NEW BEST:: SOT 11794003 SOS 7326807 HAS SOPS 6071916 HAS SOUS 1710025 HAS SOUPS 1620824 WITH SCORE 1628150.807
AT ITER 4499 NEW BEST:: SOT 11793874 SOS 7326559 HAS SOPS 6071798 HAS SOUS 1709445 HAS SOUPS 1620244 WITH SCORE 1627570.559
AT ITER 4527 NEW BEST:: SOT 11793691 SOS 7326394 HAS SOPS 6071513 HAS SOUS 1708752 HAS SOUPS 1619551 WITH SCORE 1626877.394
AT ITER 4532 NEW BEST:: SOT 11793476 SOS 7327096 HAS SOPS 6072415 HAS SOUS 1708277 HAS SOUPS 1619076 WITH SCORE 1626403.096
AT ITER 4544 NEW BEST:: SOT 11794579 SOS 7330132 HAS SOPS 6074974 HAS SOUS 1708109 HAS SOUPS 1618908 WITH SCORE 1626238.132
AT ITER 4574 NEW BEST:: SOT 11792978 SOS 7327601 HAS SOPS 6072154 HAS SOUS 1705682 HAS SOUPS 1616449 WITH SCORE 1623776.601
AT ITER 4582 NEW BEST:: SOT 11792982 SOS 7327317 HAS SOPS 6072260 HAS SOUS 1705372 HAS SOUPS 1616161 WITH SCORE 1623488.317
AT ITER 4588 NEW BEST:: SOT 11793038 SOS 7323854 HAS SOPS 6069053 HAS SOUS 1702649 HAS SOUPS 1613438 WITH SCORE 1620761.854
AT ITER 4590 NEW BEST:: SOT 11790691 SOS 7322391 HAS SOPS 6067231 HAS SOUS 1700805 HAS SOUPS 1611537 WITH SCORE 1618859.391
AT ITER 4602 NEW BEST:: SOT 11791569 SOS 7326244 HAS SOPS 6069254 HAS SOUS 1700481 HAS SOUPS 1611213 WITH SCORE 1618539.244
AT ITER 4613 NEW BEST:: SOT 11792366 SOS 7327041 HAS SOPS 6070355 HAS SOUS 1699886 HAS SOUPS 1610618 WITH SCORE 1617945.041
AT ITER 4638 NEW BEST:: SOT 11791014 SOS 7324753 HAS SOPS 6068451 HAS SOUS 1699070 HAS SOUPS 1609814 WITH SCORE 1617138.753
AT ITER 4647 NEW BEST:: SOT 11789574 SOS 7323313 HAS SOPS 6066755 HAS SOUS 1696926 HAS SOUPS 1607670 WITH SCORE 1614993.313
AT ITER 4652 NEW BEST:: SOT 11789562 SOS 7323339 HAS SOPS 6066803 HAS SOUS 1696708 HAS SOUPS 1607446 WITH SCORE 1614769.339
AT ITER 4671 NEW BEST:: SOT 11789367 SOS 7323144 HAS SOPS 6066592 HAS SOUS 1696317 HAS SOUPS 1607055 WITH SCORE 1614378.144
AT ITER 4690 NEW BEST:: SOT 11789931 SOS 7324741 HAS SOPS 6068260 HAS SOUS 1695630 HAS SOUPS 1606368 WITH SCORE 1613692.741
AT ITER 4697 NEW BEST:: SOT 11790113 SOS 7324923 HAS SOPS 6068442 HAS SOUS 1694218 HAS SOUPS 1604956 WITH SCORE 1612280.923
AT ITER 4731 NEW BEST:: SOT 11789611 SOS 7322950 HAS SOPS 6067774 HAS SOUS 1693591 HAS SOUPS 1604348 WITH SCORE 1611670.95
AT ITER 4735 NEW BEST:: SOT 11785509 SOS 7311287 HAS SOPS 6056215 HAS SOUS 1692362 HAS SOUPS 1603119 WITH SCORE 1610430.287
AT ITER 4742 NEW BEST:: SOT 11783937 SOS 7309715 HAS SOPS 6054643 HAS SOUS 1691366 HAS SOUPS 1602123 WITH SCORE 1609432.715
AT ITER 4749 NEW BEST:: SOT 11783346 SOS 7309216 HAS SOPS 6054454 HAS SOUS 1690395 HAS SOUPS 1601152 WITH SCORE 1608461.216
AT ITER 4774 NEW BEST:: SOT 11783076 SOS 7308954 HAS SOPS 6054472 HAS SOUS 1689015 HAS SOUPS 1600372 WITH SCORE 1607680.954
AT ITER 4779 NEW BEST:: SOT 11777903 SOS 7300098 HAS SOPS 6046109 HAS SOUS 1686002 HAS SOUPS 1597547 WITH SCORE 1604847.098
AT ITER 4802 NEW BEST:: SOT 11777914 SOS 7300228 HAS SOPS 6046151 HAS SOUS 1685971 HAS SOUPS 1597516 WITH SCORE 1604816.228
AT ITER 4810 NEW BEST:: SOT 11777814 SOS 7301013 HAS SOPS 6046354 HAS SOUS 1685566 HAS SOUPS 1597111 WITH SCORE 1604412.013
AT ITER 4816 NEW BEST:: SOT 11777826 SOS 7301435 HAS SOPS 6046556 HAS SOUS 1685377 HAS SOUPS 1596922 WITH SCORE 1604223.435
AT ITER 4818 NEW BEST:: SOT 11775008 SOS 7294549 HAS SOPS 6040296 HAS SOUS 1682737 HAS SOUPS 1594553 WITH SCORE 1601847.549
AT ITER 4831 NEW BEST:: SOT 11773987 SOS 7293528 HAS SOPS 6038763 HAS SOUS 1679384 HAS SOUPS 1591200 WITH SCORE 1598493.528
AT ITER 4836 NEW BEST:: SOT 11773894 SOS 7293375 HAS SOPS 6038568 HAS SOUS 1679287 HAS SOUPS 1591105 WITH SCORE 1598398.375
AT ITER 4860 NEW BEST:: SOT 11771731 SOS 7287042 HAS SOPS 6032949 HAS SOUS 1678035 HAS SOUPS 1589938 WITH SCORE 1597225.042
AT ITER 4877 NEW BEST:: SOT 11773439 SOS 7289060 HAS SOPS 6034579 HAS SOUS 1672144 HAS SOUPS 1583971 WITH SCORE 1591260.06
AT ITER 4892 NEW BEST:: SOT 11773395 SOS 7289188 HAS SOPS 6034817 HAS SOUS 1671990 HAS SOUPS 1583817 WITH SCORE 1591106.188
AT ITER 4917 NEW BEST:: SOT 11770751 SOS 7286544 HAS SOPS 6032173 HAS SOUS 1670114 HAS SOUPS 1581941 WITH SCORE 1589227.544
AT ITER 4919 NEW BEST:: SOT 11770092 SOS 7282168 HAS SOPS 6027595 HAS SOUS 1669772 HAS SOUPS 1581599 WITH SCORE 1588881.168
AT ITER 4922 NEW BEST:: SOT 11771972 SOS 7284048 HAS SOPS 6028851 HAS SOUS 1668780 HAS SOUPS 1580607 WITH SCORE 1587891.048
AT ITER 4935 NEW BEST:: SOT 11772802 SOS 7284849 HAS SOPS 6029876 HAS SOUS 1668501 HAS SOUPS 1580552 WITH SCORE 1587836.849
AT ITER 4959 NEW BEST:: SOT 11772028 SOS 7283451 HAS SOPS 6028478 HAS SOUS 1667476 HAS SOUPS 1579535 WITH SCORE 1586818.451
AT ITER 4969 NEW BEST:: SOT 11772321 SOS 7282723 HAS SOPS 6027218 HAS SOUS 1665366 HAS SOUPS 1577425 WITH SCORE 1584707.723
AT ITER 5008 NEW BEST:: SOT 11772724 SOS 7284249 HAS SOPS 6028087 HAS SOUS 1662606 HAS SOUPS 1574605 WITH SCORE 1581889.249
AT ITER 5010 NEW BEST:: SOT 11773059 SOS 7295129 HAS SOPS 6035784 HAS SOUS 1661707 HAS SOUPS 1573706 WITH SCORE 1581001.129
AT ITER 5015 NEW BEST:: SOT 11773059 SOS 7294986 HAS SOPS 6035746 HAS SOUS 1661541 HAS SOUPS 1573540 WITH SCORE 1580834.986
AT ITER 5037 NEW BEST:: SOT 11772987 SOS 7295082 HAS SOPS 6036046 HAS SOUS 1661484 HAS SOUPS 1573483 WITH SCORE 1580778.082
AT ITER 5048 NEW BEST:: SOT 11772634 SOS 7295024 HAS SOPS 6036033 HAS SOUS 1660974 HAS SOUPS 1572946 WITH SCORE 1580241.024
AT ITER 5060 NEW BEST:: SOT 11779801 SOS 7305264 HAS SOPS 6043521 HAS SOUS 1657923 HAS SOUPS 1569852 WITH SCORE 1577157.264
AT ITER 5062 NEW BEST:: SOT 11779402 SOS 7304865 HAS SOPS 6042898 HAS SOUS 1657440 HAS SOUPS 1569201 WITH SCORE 1576505.865
AT ITER 5074 NEW BEST:: SOT 11777664 SOS 7304145 HAS SOPS 6040225 HAS SOUS 1656483 HAS SOUPS 1568166 WITH SCORE 1575470.145
AT ITER 5118 NEW BEST:: SOT 11777862 SOS 7306645 HAS SOPS 6042210 HAS SOUS 1655513 HAS SOUPS 1567196 WITH SCORE 1574502.645
AT ITER 5122 NEW BEST:: SOT 11779722 SOS 7304846 HAS SOPS 6042369 HAS SOUS 1653714 HAS SOUPS 1565397 WITH SCORE 1572701.846
AT ITER 5129 NEW BEST:: SOT 11782814 SOS 7316781 HAS SOPS 6052332 HAS SOUS 1652299 HAS SOUPS 1563982 WITH SCORE 1571298.781
AT ITER 5136 NEW BEST:: SOT 11782769 SOS 7316617 HAS SOPS 6052173 HAS SOUS 1652284 HAS SOUPS 1563966 WITH SCORE 1571282.617
AT ITER 5163 NEW BEST:: SOT 11783261 SOS 7317109 HAS SOPS 6052665 HAS SOUS 1652148 HAS SOUPS 1563830 WITH SCORE 1571147.109
AT ITER 5169 NEW BEST:: SOT 11784751 SOS 7319507 HAS SOPS 6055761 HAS SOUS 1652075 HAS SOUPS 1563773 WITH SCORE 1571092.507
AT ITER 5183 NEW BEST:: SOT 11782548 SOS 7318887 HAS SOPS 6054352 HAS SOUS 1646731 HAS SOUPS 1558467 WITH SCORE 1565785.887
AT ITER 5199 NEW BEST:: SOT 11782579 SOS 7316894 HAS SOPS 6052758 HAS SOUS 1646485 HAS SOUPS 1558221 WITH SCORE 1565537.894
AT ITER 5231 NEW BEST:: SOT 11781683 SOS 7316294 HAS SOPS 6051746 HAS SOUS 1644325 HAS SOUPS 1556039 WITH SCORE 1563355.294
AT ITER 5249 NEW BEST:: SOT 11783164 SOS 7317243 HAS SOPS 6052879 HAS SOUS 1643812 HAS SOUPS 1555526 WITH SCORE 1562843.243
AT ITER 5259 NEW BEST:: SOT 11783179 SOS 7317313 HAS SOPS 6053340 HAS SOUS 1643549 HAS SOUPS 1555273 WITH SCORE 1562590.313
AT ITER 5268 NEW BEST:: SOT 11782460 SOS 7313622 HAS SOPS 6048991 HAS SOUS 1641983 HAS SOUPS 1553707 WITH SCORE 1561020.622
AT ITER 5299 NEW BEST:: SOT 11784331 SOS 7317694 HAS SOPS 6052466 HAS SOUS 1641997 HAS SOUPS 1553641 WITH SCORE 1560958.694
AT ITER 5332 NEW BEST:: SOT 11784888 SOS 7317726 HAS SOPS 6052579 HAS SOUS 1639813 HAS SOUPS 1551473 WITH SCORE 1558790.726
AT ITER 5353 NEW BEST:: SOT 11788299 SOS 7325618 HAS SOPS 6064005 HAS SOUS 1632864 HAS SOUPS 1544527 WITH SCORE 1551852.618
AT ITER 5365 NEW BEST:: SOT 11788063 SOS 7324791 HAS SOPS 6063612 HAS SOUS 1632759 HAS SOUPS 1544422 WITH SCORE 1551746.791
AT ITER 5372 NEW BEST:: SOT 11787633 SOS 7323855 HAS SOPS 6062446 HAS SOUS 1632458 HAS SOUPS 1544098 WITH SCORE 1551421.855
AT ITER 5373 NEW BEST:: SOT 11787551 SOS 7323773 HAS SOPS 6062340 HAS SOUS 1632370 HAS SOUPS 1543992 WITH SCORE 1551315.773
AT ITER 5382 NEW BEST:: SOT 11789216 SOS 7329875 HAS SOPS 6069146 HAS SOUS 1631119 HAS SOUPS 1542829 WITH SCORE 1550158.875
AT ITER 5419 NEW BEST:: SOT 11787718 SOS 7328051 HAS SOPS 6066778 HAS SOUS 1631323 HAS SOUPS 1542373 WITH SCORE 1549701.051
AT ITER 5438 NEW BEST:: SOT 11788813 SOS 7330053 HAS SOPS 6067692 HAS SOUS 1630979 HAS SOUPS 1542029 WITH SCORE 1549359.053
AT ITER 5446 NEW BEST:: SOT 11787842 SOS 7327802 HAS SOPS 6065568 HAS SOUS 1628877 HAS SOUPS 1540006 WITH SCORE 1547333.802
AT ITER 5449 NEW BEST:: SOT 11787418 SOS 7328283 HAS SOPS 6065754 HAS SOUS 1628475 HAS SOUPS 1539555 WITH SCORE 1546883.283
AT ITER 5462 NEW BEST:: SOT 11787022 SOS 7327887 HAS SOPS 6065430 HAS SOUS 1627233 HAS SOUPS 1538367 WITH SCORE 1545694.887
AT ITER 5501 NEW BEST:: SOT 11786941 SOS 7327812 HAS SOPS 6065358 HAS SOUS 1626837 HAS SOUPS 1537971 WITH SCORE 1545298.812
AT ITER 5502 NEW BEST:: SOT 11784173 SOS 7324138 HAS SOPS 6062057 HAS SOUS 1624822 HAS SOUPS 1535924 WITH SCORE 1543248.138
AT ITER 5503 NEW BEST:: SOT 11784179 SOS 7323959 HAS SOPS 6061814 HAS SOUS 1624477 HAS SOUPS 1535579 WITH SCORE 1542902.959
AT ITER 5518 NEW BEST:: SOT 11783813 SOS 7323635 HAS SOPS 6061256 HAS SOUS 1623227 HAS SOUPS 1534315 WITH SCORE 1541638.635
AT ITER 5531 NEW BEST:: SOT 11783439 SOS 7323210 HAS SOPS 6061267 HAS SOUS 1622178 HAS SOUPS 1533345 WITH SCORE 1540668.21
AT ITER 5545 NEW BEST:: SOT 11783234 SOS 7322298 HAS SOPS 6058909 HAS SOUS 1622153 HAS SOUPS 1533320 WITH SCORE 1540642.298
AT ITER 5548 NEW BEST:: SOT 11784686 SOS 7326105 HAS SOPS 6061119 HAS SOUS 1620965 HAS SOUPS 1532090 WITH SCORE 1539416.105
AT ITER 5568 NEW BEST:: SOT 11785420 SOS 7320408 HAS SOPS 6057355 HAS SOUS 1620459 HAS SOUPS 1531644 WITH SCORE 1538964.408
AT ITER 5574 NEW BEST:: SOT 11784696 SOS 7319673 HAS SOPS 6056620 HAS SOUS 1619724 HAS SOUPS 1530909 WITH SCORE 1538228.673
AT ITER 5580 NEW BEST:: SOT 11783785 SOS 7319121 HAS SOPS 6055609 HAS SOUS 1617702 HAS SOUPS 1528858 WITH SCORE 1536177.121
AT ITER 5600 NEW BEST:: SOT 11781242 SOS 7308873 HAS SOPS 6048048 HAS SOUS 1616620 HAS SOUPS 1527917 WITH SCORE 1535225.873
AT ITER 5621 NEW BEST:: SOT 11779909 SOS 7306727 HAS SOPS 6045946 HAS SOUS 1615235 HAS SOUPS 1526532 WITH SCORE 1533838.727
AT ITER 5625 NEW BEST:: SOT 11779654 SOS 7306573 HAS SOPS 6045708 HAS SOUS 1614805 HAS SOUPS 1526102 WITH SCORE 1533408.573
AT ITER 5627 NEW BEST:: SOT 11780974 SOS 7308130 HAS SOPS 6047967 HAS SOUS 1613290 HAS SOUPS 1524587 WITH SCORE 1531895.13
AT ITER 5656 NEW BEST:: SOT 11779739 SOS 7304359 HAS SOPS 6042438 HAS SOUS 1607016 HAS SOUPS 1518313 WITH SCORE 1525617.359
AT ITER 5661 NEW BEST:: SOT 11781144 SOS 7306286 HAS SOPS 6044373 HAS SOUS 1603677 HAS SOUPS 1515186 WITH SCORE 1522492.286
AT ITER 5689 NEW BEST:: SOT 11781630 SOS 7306773 HAS SOPS 6045663 HAS SOUS 1603007 HAS SOUPS 1514552 WITH SCORE 1521858.773
AT ITER 5710 NEW BEST:: SOT 11780322 SOS 7305465 HAS SOPS 6044299 HAS SOUS 1601771 HAS SOUPS 1513356 WITH SCORE 1520661.465
AT ITER 5713 NEW BEST:: SOT 11778891 SOS 7303010 HAS SOPS 6041796 HAS SOUS 1600857 HAS SOUPS 1512410 WITH SCORE 1519713.01
AT ITER 5717 NEW BEST:: SOT 11778878 SOS 7303139 HAS SOPS 6041878 HAS SOUS 1600658 HAS SOUPS 1512211 WITH SCORE 1519514.139
AT ITER 5750 NEW BEST:: SOT 11777440 SOS 7301347 HAS SOPS 6040295 HAS SOUS 1598762 HAS SOUPS 1510333 WITH SCORE 1517634.347
AT ITER 5761 NEW BEST:: SOT 11775060 SOS 7299304 HAS SOPS 6037206 HAS SOUS 1591778 HAS SOUPS 1503350 WITH SCORE 1510649.304
AT ITER 5793 NEW BEST:: SOT 11775220 SOS 7299941 HAS SOPS 6037456 HAS SOUS 1591650 HAS SOUPS 1503222 WITH SCORE 1510521.941
AT ITER 5796 NEW BEST:: SOT 11774170 SOS 7303588 HAS SOPS 6037781 HAS SOUS 1591468 HAS SOUPS 1502966 WITH SCORE 1510269.588
AT ITER 5803 NEW BEST:: SOT 11781249 SOS 7306475 HAS SOPS 6042531 HAS SOUS 1579558 HAS SOUPS 1492271 WITH SCORE 1499577.475
AT ITER 5810 NEW BEST:: SOT 11777599 SOS 7299808 HAS SOPS 6036232 HAS SOUS 1570875 HAS SOUPS 1483634 WITH SCORE 1490933.808
AT ITER 5872 NEW BEST:: SOT 11777173 SOS 7298810 HAS SOPS 6035367 HAS SOUS 1570441 HAS SOUPS 1483200 WITH SCORE 1490498.81
AT ITER 5884 NEW BEST:: SOT 11778988 SOS 7301271 HAS SOPS 6037600 HAS SOUS 1570341 HAS SOUPS 1483100 WITH SCORE 1490401.271
AT ITER 5903 NEW BEST:: SOT 11781161 SOS 7301550 HAS SOPS 6043691 HAS SOUS 1569125 HAS SOUPS 1482033 WITH SCORE 1489334.55
AT ITER 5905 NEW BEST:: SOT 11780823 SOS 7301266 HAS SOPS 6043454 HAS SOUS 1568733 HAS SOUPS 1481645 WITH SCORE 1488946.266
AT ITER 5942 NEW BEST:: SOT 11780276 SOS 7299741 HAS SOPS 6042246 HAS SOUS 1566909 HAS SOUPS 1479841 WITH SCORE 1487140.741
AT ITER 5953 NEW BEST:: SOT 11779214 SOS 7298542 HAS SOPS 6040866 HAS SOUS 1565851 HAS SOUPS 1478802 WITH SCORE 1486100.542
AT ITER 6017 NEW BEST:: SOT 11783491 SOS 7301485 HAS SOPS 6043925 HAS SOUS 1565266 HAS SOUPS 1478217 WITH SCORE 1485518.485
AT ITER 6037 NEW BEST:: SOT 11782160 SOS 7296386 HAS SOPS 6038947 HAS SOUS 1564396 HAS SOUPS 1477347 WITH SCORE 1484643.386
AT ITER 6041 NEW BEST:: SOT 11782358 SOS 7296098 HAS SOPS 6037702 HAS SOUS 1564033 HAS SOUPS 1476984 WITH SCORE 1484280.098
AT ITER 6094 NEW BEST:: SOT 11780080 SOS 7293715 HAS SOPS 6034926 HAS SOUS 1561429 HAS SOUPS 1474380 WITH SCORE 1481673.715
AT ITER 6168 NEW BEST:: SOT 11803910 SOS 7297740 HAS SOPS 6039549 HAS SOUS 1553925 HAS SOUPS 1467122 WITH SCORE 1474419.74
AT ITER 6201 NEW BEST:: SOT 11800916 SOS 7294746 HAS SOPS 6036739 HAS SOUS 1551107 HAS SOUPS 1464456 WITH SCORE 1471750.746
AT ITER 6207 NEW BEST:: SOT 11798636 SOS 7292515 HAS SOPS 6036299 HAS SOUS 1548384 HAS SOUPS 1461711 WITH SCORE 1469003.515
AT ITER 6211 NEW BEST:: SOT 11799729 SOS 7294565 HAS SOPS 6038325 HAS SOUS 1547610 HAS SOUPS 1460988 WITH SCORE 1468282.565
AT ITER 6231 NEW BEST:: SOT 11798477 SOS 7293091 HAS SOPS 6036882 HAS SOUS 1544121 HAS SOUPS 1457531 WITH SCORE 1464824.091
AT ITER 6235 NEW BEST:: SOT 11797193 SOS 7292353 HAS SOPS 6034611 HAS SOUS 1539101 HAS SOUPS 1452511 WITH SCORE 1459803.353
AT ITER 6303 NEW BEST:: SOT 11800760 SOS 7295530 HAS SOPS 6036853 HAS SOUS 1538929 HAS SOUPS 1452324 WITH SCORE 1459619.53
AT ITER 6306 NEW BEST:: SOT 11801382 SOS 7288946 HAS SOPS 6033343 HAS SOUS 1537274 HAS SOUPS 1450669 WITH SCORE 1457957.946
AT ITER 6335 NEW BEST:: SOT 11801323 SOS 7288977 HAS SOPS 6033356 HAS SOUS 1537257 HAS SOUPS 1450652 WITH SCORE 1457940.977
AT ITER 6362 NEW BEST:: SOT 11800797 SOS 7288066 HAS SOPS 6033370 HAS SOUS 1535377 HAS SOUPS 1448772 WITH SCORE 1456060.066
AT ITER 6396 NEW BEST:: SOT 11800767 SOS 7287998 HAS SOPS 6033283 HAS SOUS 1535299 HAS SOUPS 1448694 WITH SCORE 1455981.998
AT ITER 6400 NEW BEST:: SOT 11800858 SOS 7288194 HAS SOPS 6034085 HAS SOUS 1535290 HAS SOUPS 1448685 WITH SCORE 1455973.194
AT ITER 6406 NEW BEST:: SOT 11801283 SOS 7289865 HAS SOPS 6034936 HAS SOUS 1535000 HAS SOUPS 1448391 WITH SCORE 1455680.865
AT ITER 6416 NEW BEST:: SOT 11800782 SOS 7286504 HAS SOPS 6031919 HAS SOUS 1533255 HAS SOUPS 1446669 WITH SCORE 1453955.504
AT ITER 6426 NEW BEST:: SOT 11799553 SOS 7285735 HAS SOPS 6030521 HAS SOUS 1531076 HAS SOUPS 1444476 WITH SCORE 1451761.735
AT ITER 6432 NEW BEST:: SOT 11796278 SOS 7278653 HAS SOPS 6023941 HAS SOUS 1526662 HAS SOUPS 1440062 WITH SCORE 1447340.653
AT ITER 6447 NEW BEST:: SOT 11796216 SOS 7278591 HAS SOPS 6023863 HAS SOUS 1526580 HAS SOUPS 1439980 WITH SCORE 1447258.591
AT ITER 6450 NEW BEST:: SOT 11796026 SOS 7278405 HAS SOPS 6023617 HAS SOUS 1526002 HAS SOUPS 1439402 WITH SCORE 1446680.405
AT ITER 6458 NEW BEST:: SOT 11796075 SOS 7278389 HAS SOPS 6023639 HAS SOUS 1525761 HAS SOUPS 1439161 WITH SCORE 1446439.389
AT ITER 6508 NEW BEST:: SOT 11796031 SOS 7278342 HAS SOPS 6023578 HAS SOUS 1525678 HAS SOUPS 1439072 WITH SCORE 1446350.342
AT ITER 6555 NEW BEST:: SOT 11796265 SOS 7278820 HAS SOPS 6024254 HAS SOUS 1525203 HAS SOUPS 1438597 WITH SCORE 1445875.82
AT ITER 6561 NEW BEST:: SOT 11796174 SOS 7272366 HAS SOPS 6018035 HAS SOUS 1522779 HAS SOUPS 1436313 WITH SCORE 1443585.366
AT ITER 6578 NEW BEST:: SOT 11796016 SOS 7272369 HAS SOPS 6018024 HAS SOUS 1522369 HAS SOUPS 1435903 WITH SCORE 1443175.369
AT ITER 6589 NEW BEST:: SOT 11795432 SOS 7271497 HAS SOPS 6017207 HAS SOUS 1520374 HAS SOUPS 1433887 WITH SCORE 1441158.497
AT ITER 6605 NEW BEST:: SOT 11794445 SOS 7270446 HAS SOPS 6016188 HAS SOUS 1519099 HAS SOUPS 1432628 WITH SCORE 1439898.446
AT ITER 6619 NEW BEST:: SOT 11794558 SOS 7272117 HAS SOPS 6018520 HAS SOUS 1518979 HAS SOUPS 1432508 WITH SCORE 1439780.117
AT ITER 6622 NEW BEST:: SOT 11788633 SOS 7265784 HAS SOPS 6012187 HAS SOUS 1518439 HAS SOUPS 1431968 WITH SCORE 1439233.784
AT ITER 6699 NEW BEST:: SOT 11788597 SOS 7265218 HAS SOPS 6011928 HAS SOUS 1518255 HAS SOUPS 1431784 WITH SCORE 1439049.218
AT ITER 6714 NEW BEST:: SOT 11788284 SOS 7265039 HAS SOPS 6012082 HAS SOUS 1516660 HAS SOUPS 1430204 WITH SCORE 1437469.039
AT ITER 6730 NEW BEST:: SOT 11786918 SOS 7261633 HAS SOPS 6008532 HAS SOUS 1515805 HAS SOUPS 1429349 WITH SCORE 1436610.633
AT ITER 6739 NEW BEST:: SOT 11787278 SOS 7261993 HAS SOPS 6008892 HAS SOUS 1515237 HAS SOUPS 1428781 WITH SCORE 1436042.993
AT ITER 6746 NEW BEST:: SOT 11786951 SOS 7261157 HAS SOPS 6007978 HAS SOUS 1514731 HAS SOUPS 1428275 WITH SCORE 1435536.157
AT ITER 6765 NEW BEST:: SOT 11785917 SOS 7260167 HAS SOPS 6006728 HAS SOUS 1514166 HAS SOUPS 1427710 WITH SCORE 1434970.167
AT ITER 6808 NEW BEST:: SOT 11773723 SOS 7236540 HAS SOPS 5984789 HAS SOUS 1504141 HAS SOUPS 1417895 WITH SCORE 1425131.54
AT ITER 6817 NEW BEST:: SOT 11772805 SOS 7235681 HAS SOPS 5983090 HAS SOUS 1502372 HAS SOUPS 1416126 WITH SCORE 1423361.681
AT ITER 6864 NEW BEST:: SOT 11772558 SOS 7236887 HAS SOPS 5984055 HAS SOUS 1502407 HAS SOUPS 1416118 WITH SCORE 1423354.887
AT ITER 6869 NEW BEST:: SOT 11772980 SOS 7237301 HAS SOPS 5984433 HAS SOUS 1502209 HAS SOUPS 1416072 WITH SCORE 1423309.301
AT ITER 6888 NEW BEST:: SOT 11772877 SOS 7237150 HAS SOPS 5984330 HAS SOUS 1502142 HAS SOUPS 1416005 WITH SCORE 1423242.15
AT ITER 6925 NEW BEST:: SOT 11771678 SOS 7235564 HAS SOPS 5976167 HAS SOUS 1495649 HAS SOUPS 1409372 WITH SCORE 1416607.564
AT ITER 6945 NEW BEST:: SOT 11755232 SOS 7209435 HAS SOPS 5952946 HAS SOUS 1484084 HAS SOUPS 1397822 WITH SCORE 1405031.435
AT ITER 6983 NEW BEST:: SOT 11754496 SOS 7208871 HAS SOPS 5952334 HAS SOUS 1482064 HAS SOUPS 1395763 WITH SCORE 1402971.871
AT ITER 6986 NEW BEST:: SOT 11746301 SOS 7200660 HAS SOPS 5943134 HAS SOUS 1474294 HAS SOUPS 1387993 WITH SCORE 1395193.66
AT ITER 7056 NEW BEST:: SOT 11746772 SOS 7201014 HAS SOPS 5941474 HAS SOUS 1469685 HAS SOUPS 1383384 WITH SCORE 1390585.014
AT ITER 7058 NEW BEST:: SOT 11747142 SOS 7201553 HAS SOPS 5941677 HAS SOUS 1469520 HAS SOUPS 1383219 WITH SCORE 1390420.553
AT ITER 7064 NEW BEST:: SOT 11745189 SOS 7199485 HAS SOPS 5938549 HAS SOUS 1462855 HAS SOUPS 1376540 WITH SCORE 1383739.485
AT ITER 7070 NEW BEST:: SOT 11744885 SOS 7199090 HAS SOPS 5938140 HAS SOUS 1462322 HAS SOUPS 1376007 WITH SCORE 1383206.09
AT ITER 7085 NEW BEST:: SOT 11743260 SOS 7197193 HAS SOPS 5935760 HAS SOUS 1457741 HAS SOUPS 1371426 WITH SCORE 1378623.193
AT ITER 7090 NEW BEST:: SOT 11742596 SOS 7195845 HAS SOPS 5934075 HAS SOUS 1456381 HAS SOUPS 1369874 WITH SCORE 1377069.845
AT ITER 7140 NEW BEST:: SOT 11741477 SOS 7195043 HAS SOPS 5931980 HAS SOUS 1454346 HAS SOUPS 1367839 WITH SCORE 1375034.043
AT ITER 7195 NEW BEST:: SOT 11741438 SOS 7194912 HAS SOPS 5931903 HAS SOUS 1454332 HAS SOUPS 1367825 WITH SCORE 1375019.912
AT ITER 7196 NEW BEST:: SOT 11741234 SOS 7194437 HAS SOPS 5931124 HAS SOUS 1453823 HAS SOUPS 1367316 WITH SCORE 1374510.437
AT ITER 7219 NEW BEST:: SOT 11741733 SOS 7196378 HAS SOPS 5931597 HAS SOUS 1453281 HAS SOUPS 1366774 WITH SCORE 1373970.378
AT ITER 7233 NEW BEST:: SOT 11741736 SOS 7196909 HAS SOPS 5932520 HAS SOUS 1452586 HAS SOUPS 1366115 WITH SCORE 1373311.909
AT ITER 7245 NEW BEST:: SOT 11741075 SOS 7195863 HAS SOPS 5930979 HAS SOUS 1451046 HAS SOUPS 1364575 WITH SCORE 1371770.863
AT ITER 7272 NEW BEST:: SOT 11740548 SOS 7195354 HAS SOPS 5929854 HAS SOUS 1450069 HAS SOUPS 1363586 WITH SCORE 1370781.354
AT ITER 7294 NEW BEST:: SOT 11740472 SOS 7195462 HAS SOPS 5929806 HAS SOUS 1449689 HAS SOUPS 1363206 WITH SCORE 1370401.462
AT ITER 7324 NEW BEST:: SOT 11740435 SOS 7195030 HAS SOPS 5929409 HAS SOUS 1449031 HAS SOUPS 1363028 WITH SCORE 1370223.03
AT ITER 7332 NEW BEST:: SOT 11740707 SOS 7195071 HAS SOPS 5930829 HAS SOUS 1449005 HAS SOUPS 1363002 WITH SCORE 1370197.071
AT ITER 7359 NEW BEST:: SOT 11740706 SOS 7194817 HAS SOPS 5931165 HAS SOUS 1448917 HAS SOUPS 1362914 WITH SCORE 1370108.817
AT ITER 7371 NEW BEST:: SOT 11740365 SOS 7194452 HAS SOPS 5931033 HAS SOUS 1448300 HAS SOUPS 1362310 WITH SCORE 1369504.452
AT ITER 7397 NEW BEST:: SOT 11740294 SOS 7194120 HAS SOPS 5930736 HAS SOUS 1448174 HAS SOUPS 1362184 WITH SCORE 1369378.12
AT ITER 7403 NEW BEST:: SOT 11743345 SOS 7205088 HAS SOPS 5938790 HAS SOUS 1448108 HAS SOUPS 1362041 WITH SCORE 1369246.088
AT ITER 7460 NEW BEST:: SOT 11742681 SOS 7204269 HAS SOPS 5937513 HAS SOUS 1447207 HAS SOUPS 1361140 WITH SCORE 1368344.269
AT ITER 7467 NEW BEST:: SOT 11742630 SOS 7204130 HAS SOPS 5937348 HAS SOUS 1447090 HAS SOUPS 1361023 WITH SCORE 1368227.13
AT ITER 7469 NEW BEST:: SOT 11742581 SOS 7204069 HAS SOPS 5937274 HAS SOUS 1447025 HAS SOUPS 1360959 WITH SCORE 1368163.069
AT ITER 7486 NEW BEST:: SOT 11742437 SOS 7203925 HAS SOPS 5937082 HAS SOUS 1446737 HAS SOUPS 1360671 WITH SCORE 1367874.925
AT ITER 7487 NEW BEST:: SOT 11744147 SOS 7206989 HAS SOPS 5939468 HAS SOUS 1446419 HAS SOUPS 1360353 WITH SCORE 1367559.989
AT ITER 7528 NEW BEST:: SOT 11745183 SOS 7209347 HAS SOPS 5941465 HAS SOUS 1445345 HAS SOUPS 1359279 WITH SCORE 1366488.347
AT ITER 7536 NEW BEST:: SOT 11744426 SOS 7208090 HAS SOPS 5940817 HAS SOUS 1443858 HAS SOUPS 1357825 WITH SCORE 1365033.09
AT ITER 7559 NEW BEST:: SOT 11743930 SOS 7206829 HAS SOPS 5939757 HAS SOUS 1443478 HAS SOUPS 1357445 WITH SCORE 1364651.829
AT ITER 7563 NEW BEST:: SOT 11743179 SOS 7205694 HAS SOPS 5938691 HAS SOUS 1441926 HAS SOUPS 1355968 WITH SCORE 1363173.694
AT ITER 7576 NEW BEST:: SOT 11743506 SOS 7205474 HAS SOPS 5937824 HAS SOUS 1441712 HAS SOUPS 1355754 WITH SCORE 1362959.474
AT ITER 7612 NEW BEST:: SOT 11743333 SOS 7205484 HAS SOPS 5937971 HAS SOUS 1441235 HAS SOUPS 1355288 WITH SCORE 1362493.484
AT ITER 7619 NEW BEST:: SOT 11743176 SOS 7205334 HAS SOPS 5937780 HAS SOUS 1440844 HAS SOUPS 1354897 WITH SCORE 1362102.334
AT ITER 7627 NEW BEST:: SOT 11743084 SOS 7204940 HAS SOPS 5937074 HAS SOUS 1440718 HAS SOUPS 1354771 WITH SCORE 1361975.94
AT ITER 7632 NEW BEST:: SOT 11742961 SOS 7205017 HAS SOPS 5936951 HAS SOUS 1440650 HAS SOUPS 1354692 WITH SCORE 1361897.017
AT ITER 7638 NEW BEST:: SOT 11742385 SOS 7204441 HAS SOPS 5936327 HAS SOUS 1440578 HAS SOUPS 1354588 WITH SCORE 1361792.441
AT ITER 7683 NEW BEST:: SOT 11741719 SOS 7204066 HAS SOPS 5935628 HAS SOUS 1439767 HAS SOUPS 1353572 WITH SCORE 1360776.066
AT ITER 7689 NEW BEST:: SOT 11739951 SOS 7202374 HAS SOPS 5933832 HAS SOUS 1438149 HAS SOUPS 1352010 WITH SCORE 1359212.374
AT ITER 7728 NEW BEST:: SOT 11739736 SOS 7202003 HAS SOPS 5933421 HAS SOUS 1437122 HAS SOUPS 1350983 WITH SCORE 1358185.003
AT ITER 7747 NEW BEST:: SOT 11737242 SOS 7199529 HAS SOPS 5930009 HAS SOUS 1435493 HAS SOUPS 1349034 WITH SCORE 1356233.529
AT ITER 7749 NEW BEST:: SOT 11737237 SOS 7199600 HAS SOPS 5930286 HAS SOUS 1435457 HAS SOUPS 1348998 WITH SCORE 1356197.6
AT ITER 7770 NEW BEST:: SOT 11735923 SOS 7197762 HAS SOPS 5928149 HAS SOUS 1434811 HAS SOUPS 1348312 WITH SCORE 1355509.762
AT ITER 7785 NEW BEST:: SOT 11735876 SOS 7197789 HAS SOPS 5928120 HAS SOUS 1434470 HAS SOUPS 1347971 WITH SCORE 1355168.789
AT ITER 7802 NEW BEST:: SOT 11736086 SOS 7197611 HAS SOPS 5927874 HAS SOUS 1434144 HAS SOUPS 1347657 WITH SCORE 1354854.611
AT ITER 7805 NEW BEST:: SOT 11737058 SOS 7200816 HAS SOPS 5930143 HAS SOUS 1434096 HAS SOUPS 1347609 WITH SCORE 1354809.816
AT ITER 7817 NEW BEST:: SOT 11737055 SOS 7200666 HAS SOPS 5930381 HAS SOUS 1433816 HAS SOUPS 1347329 WITH SCORE 1354529.666
AT ITER 7821 NEW BEST:: SOT 11736205 SOS 7199809 HAS SOPS 5928360 HAS SOUS 1432652 HAS SOUPS 1346163 WITH SCORE 1353362.809
AT ITER 7835 NEW BEST:: SOT 11736137 SOS 7200182 HAS SOPS 5928418 HAS SOUS 1432211 HAS SOUPS 1345715 WITH SCORE 1352915.182
AT ITER 7844 NEW BEST:: SOT 11736139 SOS 7200549 HAS SOPS 5928608 HAS SOUS 1430703 HAS SOUPS 1344172 WITH SCORE 1351372.549
AT ITER 7866 NEW BEST:: SOT 11736005 SOS 7200195 HAS SOPS 5928278 HAS SOUS 1430581 HAS SOUPS 1344050 WITH SCORE 1351250.195
AT ITER 7882 NEW BEST:: SOT 11734232 SOS 7198612 HAS SOPS 5926044 HAS SOUS 1426152 HAS SOUPS 1339590 WITH SCORE 1346788.612
AT ITER 7900 NEW BEST:: SOT 11733664 SOS 7198044 HAS SOPS 5924916 HAS SOUS 1422776 HAS SOUPS 1336214 WITH SCORE 1343412.044
AT ITER 7904 NEW BEST:: SOT 11732960 SOS 7197340 HAS SOPS 5924212 HAS SOUS 1422392 HAS SOUPS 1335830 WITH SCORE 1343027.34
AT ITER 7910 NEW BEST:: SOT 11732606 SOS 7196904 HAS SOPS 5923706 HAS SOUS 1421820 HAS SOUPS 1335258 WITH SCORE 1342454.904
AT ITER 7913 NEW BEST:: SOT 11733228 SOS 7197400 HAS SOPS 5923984 HAS SOUS 1421438 HAS SOUPS 1334780 WITH SCORE 1341977.4
AT ITER 7915 NEW BEST:: SOT 11732695 SOS 7195853 HAS SOPS 5922059 HAS SOUS 1421066 HAS SOUPS 1334408 WITH SCORE 1341603.853
AT ITER 7919 NEW BEST:: SOT 11731227 SOS 7194114 HAS SOPS 5919343 HAS SOUS 1417781 HAS SOUPS 1331099 WITH SCORE 1338293.114
AT ITER 7975 NEW BEST:: SOT 11730610 SOS 7189944 HAS SOPS 5916699 HAS SOUS 1417735 HAS SOUPS 1331053 WITH SCORE 1338242.944
AT ITER 7985 NEW BEST:: SOT 11731277 SOS 7189860 HAS SOPS 5915577 HAS SOUS 1416531 HAS SOUPS 1329849 WITH SCORE 1337038.86
AT ITER 7986 NEW BEST:: SOT 11730233 SOS 7187832 HAS SOPS 5912405 HAS SOUS 1415547 HAS SOUPS 1328830 WITH SCORE 1336017.832
AT ITER 7999 NEW BEST:: SOT 11729911 SOS 7187473 HAS SOPS 5911970 HAS SOUS 1414617 HAS SOUPS 1327923 WITH SCORE 1335110.473
AT ITER 8006 NEW BEST:: SOT 11731500 SOS 7191919 HAS SOPS 5916419 HAS SOUS 1414363 HAS SOUPS 1327713 WITH SCORE 1334904.919
AT ITER 8018 NEW BEST:: SOT 11731463 SOS 7191872 HAS SOPS 5916314 HAS SOUS 1414314 HAS SOUPS 1327664 WITH SCORE 1334855.872
AT ITER 8023 NEW BEST:: SOT 11730978 SOS 7191375 HAS SOPS 5915641 HAS SOUS 1412621 HAS SOUPS 1326163 WITH SCORE 1333354.375
AT ITER 8075 NEW BEST:: SOT 11730514 SOS 7191248 HAS SOPS 5914035 HAS SOUS 1412105 HAS SOUPS 1325596 WITH SCORE 1332787.248
AT ITER 8098 NEW BEST:: SOT 11730492 SOS 7191218 HAS SOPS 5914033 HAS SOUS 1412101 HAS SOUPS 1325594 WITH SCORE 1332785.218
AT ITER 8125 NEW BEST:: SOT 11730213 SOS 7191027 HAS SOPS 5913621 HAS SOUS 1411720 HAS SOUPS 1325213 WITH SCORE 1332404.027
AT ITER 8147 NEW BEST:: SOT 11730662 SOS 7191242 HAS SOPS 5913783 HAS SOUS 1411196 HAS SOUPS 1324689 WITH SCORE 1331880.242
AT ITER 8171 NEW BEST:: SOT 11729798 SOS 7190340 HAS SOPS 5912325 HAS SOUS 1409605 HAS SOUPS 1323098 WITH SCORE 1330288.34
AT ITER 8194 NEW BEST:: SOT 11729741 SOS 7190289 HAS SOPS 5912063 HAS SOUS 1408864 HAS SOUPS 1322357 WITH SCORE 1329547.289
AT ITER 8212 NEW BEST:: SOT 11730331 SOS 7182454 HAS SOPS 5907813 HAS SOUS 1406952 HAS SOUPS 1320445 WITH SCORE 1327627.454
AT ITER 8227 NEW BEST:: SOT 11728428 SOS 7174720 HAS SOPS 5900068 HAS SOUS 1405036 HAS SOUPS 1318529 WITH SCORE 1325703.72
AT ITER 8233 NEW BEST:: SOT 11728345 SOS 7174607 HAS SOPS 5899955 HAS SOUS 1404749 HAS SOUPS 1318245 WITH SCORE 1325419.607
AT ITER 8261 NEW BEST:: SOT 11728089 SOS 7174351 HAS SOPS 5899635 HAS SOUS 1404349 HAS SOUPS 1317845 WITH SCORE 1325019.351
AT ITER 8264 NEW BEST:: SOT 11727881 SOS 7174093 HAS SOPS 5899366 HAS SOUS 1404167 HAS SOUPS 1317663 WITH SCORE 1324837.093
AT ITER 8266 NEW BEST:: SOT 11728649 SOS 7176429 HAS SOPS 5901644 HAS SOUS 1403675 HAS SOUPS 1317171 WITH SCORE 1324347.429
AT ITER 8274 NEW BEST:: SOT 11729747 SOS 7178101 HAS SOPS 5903660 HAS SOUS 1403043 HAS SOUPS 1316539 WITH SCORE 1323717.101
AT ITER 8319 NEW BEST:: SOT 11729747 SOS 7178207 HAS SOPS 5903764 HAS SOUS 1403035 HAS SOUPS 1316531 WITH SCORE 1323709.207
AT ITER 8338 NEW BEST:: SOT 11727737 SOS 7173911 HAS SOPS 5902200 HAS SOUS 1400008 HAS SOUPS 1313504 WITH SCORE 1320677.911
AT ITER 8351 NEW BEST:: SOT 11727747 SOS 7173871 HAS SOPS 5902169 HAS SOUS 1399936 HAS SOUPS 1313432 WITH SCORE 1320605.871
AT ITER 8370 NEW BEST:: SOT 11727635 SOS 7173757 HAS SOPS 5901977 HAS SOUS 1399926 HAS SOUPS 1313368 WITH SCORE 1320541.757
AT ITER 8405 NEW BEST:: SOT 11727704 SOS 7173006 HAS SOPS 5900256 HAS SOUS 1399526 HAS SOUPS 1312968 WITH SCORE 1320141.006
AT ITER 8452 NEW BEST:: SOT 11729604 SOS 7174906 HAS SOPS 5901628 HAS SOUS 1399426 HAS SOUPS 1312868 WITH SCORE 1320042.906
AT ITER 8459 NEW BEST:: SOT 11728471 SOS 7172126 HAS SOPS 5899414 HAS SOUS 1399237 HAS SOUPS 1312679 WITH SCORE 1319851.126
AT ITER 8501 NEW BEST:: SOT 11726443 SOS 7170098 HAS SOPS 5897386 HAS SOUS 1397833 HAS SOUPS 1311275 WITH SCORE 1318445.098
AT ITER 8511 NEW BEST:: SOT 11728838 SOS 7170642 HAS SOPS 5898259 HAS SOUS 1396952 HAS SOUPS 1310394 WITH SCORE 1317564.642
AT ITER 8514 NEW BEST:: SOT 11723673 SOS 7165477 HAS SOPS 5893246 HAS SOUS 1392737 HAS SOUPS 1306309 WITH SCORE 1313474.477
AT ITER 8532 NEW BEST:: SOT 11723845 SOS 7165649 HAS SOPS 5893290 HAS SOUS 1392293 HAS SOUPS 1305865 WITH SCORE 1313030.649
AT ITER 8535 NEW BEST:: SOT 11723411 SOS 7165215 HAS SOPS 5892808 HAS SOUS 1391859 HAS SOUPS 1305383 WITH SCORE 1312548.215
AT ITER 8557 NEW BEST:: SOT 11724936 SOS 7166056 HAS SOPS 5894451 HAS SOUS 1391437 HAS SOUPS 1304961 WITH SCORE 1312127.056
AT ITER 8569 NEW BEST:: SOT 11716175 SOS 7157295 HAS SOPS 5884842 HAS SOUS 1379104 HAS SOUPS 1292628 WITH SCORE 1299785.295
AT ITER 8580 NEW BEST:: SOT 11716244 SOS 7157853 HAS SOPS 5885431 HAS SOUS 1378307 HAS SOUPS 1291831 WITH SCORE 1298988.853
AT ITER 8581 NEW BEST:: SOT 11716196 SOS 7157805 HAS SOPS 5885367 HAS SOUS 1378211 HAS SOUPS 1291735 WITH SCORE 1298892.805
AT ITER 8583 NEW BEST:: SOT 11715294 SOS 7157113 HAS SOPS 5884399 HAS SOUS 1375455 HAS SOUPS 1288979 WITH SCORE 1296136.113
AT ITER 8611 NEW BEST:: SOT 11715185 SOS 7156795 HAS SOPS 5884171 HAS SOUS 1375419 HAS SOUPS 1288943 WITH SCORE 1296099.795
AT ITER 8623 NEW BEST:: SOT 11713075 SOS 7154994 HAS SOPS 5881113 HAS SOUS 1370502 HAS SOUPS 1284026 WITH SCORE 1291180.994
AT ITER 8637 NEW BEST:: SOT 11709617 SOS 7146939 HAS SOPS 5886396 HAS SOUS 1365688 HAS SOUPS 1279935 WITH SCORE 1287081.939
AT ITER 8643 NEW BEST:: SOT 11705488 SOS 7135793 HAS SOPS 5877001 HAS SOUS 1361638 HAS SOUPS 1275964 WITH SCORE 1283099.793
AT ITER 8668 NEW BEST:: SOT 11703006 SOS 7129699 HAS SOPS 5870593 HAS SOUS 1356750 HAS SOUPS 1271076 WITH SCORE 1278205.699
AT ITER 8679 NEW BEST:: SOT 11702322 SOS 7129015 HAS SOPS 5869909 HAS SOUS 1356542 HAS SOUPS 1270868 WITH SCORE 1277997.015
AT ITER 8689 NEW BEST:: SOT 11699068 SOS 7125761 HAS SOPS 5867695 HAS SOUS 1354040 HAS SOUPS 1269374 WITH SCORE 1276499.761
AT ITER 8726 NEW BEST:: SOT 11699376 SOS 7126077 HAS SOPS 5868011 HAS SOUS 1353844 HAS SOUPS 1269178 WITH SCORE 1276304.077
AT ITER 8855 NEW BEST:: SOT 11699375 SOS 7126079 HAS SOPS 5868027 HAS SOUS 1353839 HAS SOUPS 1269173 WITH SCORE 1276299.079
AT ITER 8877 NEW BEST:: SOT 11699574 SOS 7125804 HAS SOPS 5866952 HAS SOUS 1353617 HAS SOUPS 1268951 WITH SCORE 1276076.804
AT ITER 8915 NEW BEST:: SOT 11700366 SOS 7126596 HAS SOPS 5867744 HAS SOUS 1353581 HAS SOUPS 1268915 WITH SCORE 1276041.596
AT ITER 8920 NEW BEST:: SOT 11700297 SOS 7126496 HAS SOPS 5868498 HAS SOUS 1353429 HAS SOUPS 1268833 WITH SCORE 1275959.496
AT ITER 8950 NEW BEST:: SOT 11699949 SOS 7126112 HAS SOPS 5868162 HAS SOUS 1353054 HAS SOUPS 1268461 WITH SCORE 1275587.112
AT ITER 8958 NEW BEST:: SOT 11699286 SOS 7119430 HAS SOPS 5861045 HAS SOUS 1350811 HAS SOUPS 1266218 WITH SCORE 1273337.43
AT ITER 8965 NEW BEST:: SOT 11698958 SOS 7118972 HAS SOPS 5860815 HAS SOUS 1345230 HAS SOUPS 1261245 WITH SCORE 1268363.972
AT ITER 8970 NEW BEST:: SOT 11698717 SOS 7118799 HAS SOPS 5860556 HAS SOUS 1344655 HAS SOUPS 1260662 WITH SCORE 1267780.799
AT ITER 9019 NEW BEST:: SOT 11698668 SOS 7118904 HAS SOPS 5860601 HAS SOUS 1344578 HAS SOUPS 1260585 WITH SCORE 1267703.904
AT ITER 9048 NEW BEST:: SOT 11699916 SOS 7120382 HAS SOPS 5861298 HAS SOUS 1344011 HAS SOUPS 1260006 WITH SCORE 1267126.382
AT ITER 9074 NEW BEST:: SOT 11699516 SOS 7119982 HAS SOPS 5860898 HAS SOUS 1343959 HAS SOUPS 1259954 WITH SCORE 1267073.982
AT ITER 9099 NEW BEST:: SOT 11699359 SOS 7119795 HAS SOPS 5860683 HAS SOUS 1343610 HAS SOUPS 1259607 WITH SCORE 1266726.795
AT ITER 9102 NEW BEST:: SOT 11699368 SOS 7120279 HAS SOPS 5860957 HAS SOUS 1343347 HAS SOUPS 1259344 WITH SCORE 1266464.279
AT ITER 9121 NEW BEST:: SOT 11700887 SOS 7122785 HAS SOPS 5864319 HAS SOUS 1343322 HAS SOUPS 1259319 WITH SCORE 1266441.785
AT ITER 9126 NEW BEST:: SOT 11700505 SOS 7121843 HAS SOPS 5863545 HAS SOUS 1342912 HAS SOUPS 1258916 WITH SCORE 1266037.843
AT ITER 9140 NEW BEST:: SOT 11699962 SOS 7120870 HAS SOPS 5862727 HAS SOUS 1342650 HAS SOUPS 1258654 WITH SCORE 1265774.87
AT ITER 9155 NEW BEST:: SOT 11692844 SOS 7115119 HAS SOPS 5855286 HAS SOUS 1334808 HAS SOUPS 1250866 WITH SCORE 1257981.119
AT ITER 9166 NEW BEST:: SOT 11695733 SOS 7122694 HAS SOPS 5862231 HAS SOUS 1333900 HAS SOUPS 1249958 WITH SCORE 1257080.694
AT ITER 9179 NEW BEST:: SOT 11695898 SOS 7122700 HAS SOPS 5861869 HAS SOUS 1333257 HAS SOUPS 1249334 WITH SCORE 1256456.7
AT ITER 9238 NEW BEST:: SOT 11695898 SOS 7122239 HAS SOPS 5861264 HAS SOUS 1333256 HAS SOUPS 1249333 WITH SCORE 1256455.239
AT ITER 9253 NEW BEST:: SOT 11697194 SOS 7124959 HAS SOPS 5863087 HAS SOUS 1333005 HAS SOUPS 1249082 WITH SCORE 1256206.959
AT ITER 9271 NEW BEST:: SOT 11697061 SOS 7124538 HAS SOPS 5862734 HAS SOUS 1332976 HAS SOUPS 1249053 WITH SCORE 1256177.538
AT ITER 9286 NEW BEST:: SOT 11696478 SOS 7123395 HAS SOPS 5861954 HAS SOUS 1329626 HAS SOUPS 1245703 WITH SCORE 1252826.395
AT ITER 9315 NEW BEST:: SOT 11696204 SOS 7122142 HAS SOPS 5860347 HAS SOUS 1328529 HAS SOUPS 1244606 WITH SCORE 1251728.142
AT ITER 9324 NEW BEST:: SOT 11696467 SOS 7123491 HAS SOPS 5861544 HAS SOUS 1328290 HAS SOUPS 1244385 WITH SCORE 1251508.491
AT ITER 9327 NEW BEST:: SOT 11693646 SOS 7120120 HAS SOPS 5857353 HAS SOUS 1324629 HAS SOUPS 1240755 WITH SCORE 1247875.12
AT ITER 9334 NEW BEST:: SOT 11691843 SOS 7111750 HAS SOPS 5850813 HAS SOUS 1322549 HAS SOUPS 1238790 WITH SCORE 1245901.75
AT ITER 9386 NEW BEST:: SOT 11690834 SOS 7110989 HAS SOPS 5849091 HAS SOUS 1319997 HAS SOUPS 1236185 WITH SCORE 1243295.989
AT ITER 9393 NEW BEST:: SOT 11690834 SOS 7110989 HAS SOPS 5849091 HAS SOUS 1319973 HAS SOUPS 1236161 WITH SCORE 1243271.989
AT ITER 9395 NEW BEST:: SOT 11690303 SOS 7109483 HAS SOPS 5847825 HAS SOUS 1319402 HAS SOUPS 1235600 WITH SCORE 1242709.483
AT ITER 9441 NEW BEST:: SOT 11688710 SOS 7107890 HAS SOPS 5845464 HAS SOUS 1316897 HAS SOUPS 1232743 WITH SCORE 1239850.89
AT ITER 9448 NEW BEST:: SOT 11688710 SOS 7108082 HAS SOPS 5845724 HAS SOUS 1316893 HAS SOUPS 1232739 WITH SCORE 1239847.082
AT ITER 9481 NEW BEST:: SOT 11683237 SOS 7100537 HAS SOPS 5839550 HAS SOUS 1309971 HAS SOUPS 1225817 WITH SCORE 1232917.537
AT ITER 9488 NEW BEST:: SOT 11682541 SOS 7098747 HAS SOPS 5838335 HAS SOUS 1308665 HAS SOUPS 1224511 WITH SCORE 1231609.747
AT ITER 9492 NEW BEST:: SOT 11682604 SOS 7099112 HAS SOPS 5838296 HAS SOUS 1308468 HAS SOUPS 1224314 WITH SCORE 1231413.112
AT ITER 9519 NEW BEST:: SOT 11681921 SOS 7097515 HAS SOPS 5836545 HAS SOUS 1307618 HAS SOUPS 1223464 WITH SCORE 1230561.515
AT ITER 9584 NEW BEST:: SOT 11681907 SOS 7097371 HAS SOPS 5836561 HAS SOUS 1307586 HAS SOUPS 1223438 WITH SCORE 1230535.371
AT ITER 9589 NEW BEST:: SOT 11679803 SOS 7095267 HAS SOPS 5834457 HAS SOUS 1305426 HAS SOUPS 1221278 WITH SCORE 1228373.267
AT ITER 9616 NEW BEST:: SOT 11680269 SOS 7097004 HAS SOPS 5836363 HAS SOUS 1303734 HAS SOUPS 1219586 WITH SCORE 1226683.004
AT ITER 9619 NEW BEST:: SOT 11680083 SOS 7096633 HAS SOPS 5835757 HAS SOUS 1302766 HAS SOUPS 1218618 WITH SCORE 1225714.633
AT ITER 9649 NEW BEST:: SOT 11680010 SOS 7096530 HAS SOPS 5835661 HAS SOUS 1302670 HAS SOUPS 1218523 WITH SCORE 1225619.53
AT ITER 9693 NEW BEST:: SOT 11680542 SOS 7097062 HAS SOPS 5835953 HAS SOUS 1302406 HAS SOUPS 1218227 WITH SCORE 1225324.062
AT ITER 9695 NEW BEST:: SOT 11681546 SOS 7098561 HAS SOPS 5839252 HAS SOUS 1300597 HAS SOUPS 1216333 WITH SCORE 1223431.561
AT ITER 9708 NEW BEST:: SOT 11681405 SOS 7098408 HAS SOPS 5839081 HAS SOUS 1300585 HAS SOUPS 1216321 WITH SCORE 1223419.408
AT ITER 9709 NEW BEST:: SOT 11666379 SOS 7086976 HAS SOPS 5827864 HAS SOUS 1297135 HAS SOUPS 1212763 WITH SCORE 1219849.976
AT ITER 9767 NEW BEST:: SOT 11667030 SOS 7087990 HAS SOPS 5830179 HAS SOUS 1296637 HAS SOUPS 1212265 WITH SCORE 1219352.99
AT ITER 9814 NEW BEST:: SOT 11665506 SOS 7085155 HAS SOPS 5827668 HAS SOUS 1292087 HAS SOUPS 1207715 WITH SCORE 1214800.155
AT ITER 9826 NEW BEST:: SOT 11663883 SOS 7081441 HAS SOPS 5825266 HAS SOUS 1291879 HAS SOUPS 1207531 WITH SCORE 1214612.441
AT ITER 9839 NEW BEST:: SOT 11663360 SOS 7081187 HAS SOPS 5824943 HAS SOUS 1291524 HAS SOUPS 1207176 WITH SCORE 1214257.187
AT ITER 9878 NEW BEST:: SOT 11663351 SOS 7081161 HAS SOPS 5824916 HAS SOUS 1291510 HAS SOUPS 1207162 WITH SCORE 1214243.161
AT ITER 9899 NEW BEST:: SOT 11664039 SOS 7083092 HAS SOPS 5826653 HAS SOUS 1291437 HAS SOUPS 1207089 WITH SCORE 1214172.092
AT ITER 9900 NEW BEST:: SOT 11663651 SOS 7083036 HAS SOPS 5826160 HAS SOUS 1290621 HAS SOUPS 1206273 WITH SCORE 1213356.036
AT ITER 9906 NEW BEST:: SOT 11663759 SOS 7084232 HAS SOPS 5827218 HAS SOUS 1290006 HAS SOUPS 1205658 WITH SCORE 1212742.232
AT ITER 9914 NEW BEST:: SOT 11661506 SOS 7080700 HAS SOPS 5823877 HAS SOUS 1286824 HAS SOUPS 1202568 WITH SCORE 1209648.7
AT ITER 9922 NEW BEST:: SOT 11661506 SOS 7080327 HAS SOPS 5823516 HAS SOUS 1286765 HAS SOUPS 1202515 WITH SCORE 1209595.327
AT ITER 9967 NEW BEST:: SOT 11661321 SOS 7080398 HAS SOPS 5823226 HAS SOUS 1286268 HAS SOUPS 1202048 WITH SCORE 1209128.398
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15454272 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16119100 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-7"
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-7, 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-167889194200056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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