Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502300064.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 20:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 20:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589686170012

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 3 NEW BEST:: SOT 12195771 SOS 7746410 HAS SOPS 6414800 HAS SOUS 3043213 HAS SOUPS 2942723 WITH SCORE 2950469.41
AT ITER 12 NEW BEST:: SOT 12195707 SOS 7746346 HAS SOPS 6414736 HAS SOUS 3043009 HAS SOUPS 2942519 WITH SCORE 2950265.346
AT ITER 13 NEW BEST:: SOT 12195588 SOS 7747748 HAS SOPS 6415718 HAS SOUS 3039691 HAS SOUPS 2939201 WITH SCORE 2946948.748
AT ITER 23 NEW BEST:: SOT 12195098 SOS 7746921 HAS SOPS 6415269 HAS SOUS 3038245 HAS SOUPS 2937915 WITH SCORE 2945661.921
AT ITER 38 NEW BEST:: SOT 12193879 SOS 7746404 HAS SOPS 6413753 HAS SOUS 3034919 HAS SOUPS 2934169 WITH SCORE 2941915.404
AT ITER 39 NEW BEST:: SOT 12193864 SOS 7745827 HAS SOPS 6413137 HAS SOUS 3034902 HAS SOUPS 2934152 WITH SCORE 2941897.827
AT ITER 42 NEW BEST:: SOT 12194014 SOS 7747374 HAS SOPS 6414613 HAS SOUS 3034195 HAS SOUPS 2933445 WITH SCORE 2941192.374
AT ITER 49 NEW BEST:: SOT 12194349 SOS 7752115 HAS SOPS 6420524 HAS SOUS 3033872 HAS SOUPS 2933122 WITH SCORE 2940874.115
AT ITER 55 NEW BEST:: SOT 12194792 SOS 7752929 HAS SOPS 6421859 HAS SOUS 3031758 HAS SOUPS 2931967 WITH SCORE 2939719.929
AT ITER 70 NEW BEST:: SOT 12194771 SOS 7752858 HAS SOPS 6421782 HAS SOUS 3031741 HAS SOUPS 2931950 WITH SCORE 2939702.858
AT ITER 84 NEW BEST:: SOT 12195356 SOS 7754680 HAS SOPS 6422643 HAS SOUS 3031605 HAS SOUPS 2931814 WITH SCORE 2939568.68
AT ITER 87 NEW BEST:: SOT 12195302 SOS 7754642 HAS SOPS 6422549 HAS SOUS 3031489 HAS SOUPS 2931682 WITH SCORE 2939436.642
AT ITER 96 NEW BEST:: SOT 12194598 SOS 7752037 HAS SOPS 6420589 HAS SOUS 3030875 HAS SOUPS 2931068 WITH SCORE 2938820.037
AT ITER 98 NEW BEST:: SOT 12199025 SOS 7756372 HAS SOPS 6426172 HAS SOUS 3029698 HAS SOUPS 2929913 WITH SCORE 2937669.372
AT ITER 100 NEW BEST:: SOT 12191202 SOS 7746295 HAS SOPS 6415340 HAS SOUS 3009882 HAS SOUPS 2910454 WITH SCORE 2918200.295
AT ITER 108 NEW BEST:: SOT 12191182 SOS 7746275 HAS SOPS 6415320 HAS SOUS 3009610 HAS SOUPS 2910182 WITH SCORE 2917928.275
AT ITER 116 NEW BEST:: SOT 12192584 SOS 7748158 HAS SOPS 6417607 HAS SOUS 3004558 HAS SOUPS 2905345 WITH SCORE 2913093.158
AT ITER 136 NEW BEST:: SOT 12193219 SOS 7753465 HAS SOPS 6423008 HAS SOUS 3001600 HAS SOUPS 2902387 WITH SCORE 2910140.465
AT ITER 143 NEW BEST:: SOT 12190733 SOS 7749555 HAS SOPS 6419216 HAS SOUS 2998097 HAS SOUPS 2898884 WITH SCORE 2906633.555
AT ITER 158 NEW BEST:: SOT 12182876 SOS 7741723 HAS SOPS 6410844 HAS SOUS 2987776 HAS SOUPS 2888488 WITH SCORE 2896229.723
AT ITER 166 NEW BEST:: SOT 12182279 SOS 7741094 HAS SOPS 6409735 HAS SOUS 2985651 HAS SOUPS 2886243 WITH SCORE 2893984.094
AT ITER 167 NEW BEST:: SOT 12185784 SOS 7746842 HAS SOPS 6415558 HAS SOUS 2984770 HAS SOUPS 2885430 WITH SCORE 2893176.842
AT ITER 181 NEW BEST:: SOT 12185726 SOS 7746782 HAS SOPS 6415468 HAS SOUS 2984648 HAS SOUPS 2885308 WITH SCORE 2893054.782
AT ITER 186 NEW BEST:: SOT 12185398 SOS 7746582 HAS SOPS 6414572 HAS SOUS 2983552 HAS SOUPS 2884212 WITH SCORE 2891958.582
AT ITER 190 NEW BEST:: SOT 12185390 SOS 7746352 HAS SOPS 6414170 HAS SOUS 2983524 HAS SOUPS 2884184 WITH SCORE 2891930.352
AT ITER 196 NEW BEST:: SOT 12184980 SOS 7745914 HAS SOPS 6413312 HAS SOUS 2981330 HAS SOUPS 2881990 WITH SCORE 2889735.914
AT ITER 197 NEW BEST:: SOT 12184028 SOS 7747242 HAS SOPS 6414152 HAS SOUS 2979616 HAS SOUPS 2880197 WITH SCORE 2887944.242
AT ITER 206 NEW BEST:: SOT 12175677 SOS 7738834 HAS SOPS 6405744 HAS SOUS 2970909 HAS SOUPS 2871518 WITH SCORE 2879256.834
AT ITER 212 NEW BEST:: SOT 12170855 SOS 7728579 HAS SOPS 6406341 HAS SOUS 2963282 HAS SOUPS 2864059 WITH SCORE 2871787.579
AT ITER 215 NEW BEST:: SOT 12169122 SOS 7728761 HAS SOPS 6405473 HAS SOUS 2959383 HAS SOUPS 2860160 WITH SCORE 2867888.761
AT ITER 219 NEW BEST:: SOT 12167413 SOS 7727078 HAS SOPS 6403063 HAS SOUS 2956922 HAS SOUPS 2857411 WITH SCORE 2865138.078
AT ITER 226 NEW BEST:: SOT 12167281 SOS 7726942 HAS SOPS 6402867 HAS SOUS 2956646 HAS SOUPS 2857135 WITH SCORE 2864861.942
AT ITER 231 NEW BEST:: SOT 12167630 SOS 7724639 HAS SOPS 6401933 HAS SOUS 2954814 HAS SOUPS 2855574 WITH SCORE 2863298.639
AT ITER 239 NEW BEST:: SOT 12166956 SOS 7726393 HAS SOPS 6402027 HAS SOUS 2949118 HAS SOUPS 2849878 WITH SCORE 2857604.393
AT ITER 242 NEW BEST:: SOT 12167320 SOS 7727486 HAS SOPS 6405985 HAS SOUS 2948451 HAS SOUPS 2849289 WITH SCORE 2857016.486
AT ITER 243 NEW BEST:: SOT 12167170 SOS 7727333 HAS SOPS 6405787 HAS SOUS 2948250 HAS SOUPS 2849043 WITH SCORE 2856770.333
AT ITER 256 NEW BEST:: SOT 12167307 SOS 7727841 HAS SOPS 6405748 HAS SOUS 2947704 HAS SOUPS 2848497 WITH SCORE 2856224.841
AT ITER 257 NEW BEST:: SOT 12165543 SOS 7724921 HAS SOPS 6402715 HAS SOUS 2945450 HAS SOUPS 2846406 WITH SCORE 2854130.921
AT ITER 267 NEW BEST:: SOT 12165039 SOS 7724417 HAS SOPS 6402211 HAS SOUS 2944934 HAS SOUPS 2845890 WITH SCORE 2853614.417
AT ITER 272 NEW BEST:: SOT 12170078 SOS 7725402 HAS SOPS 6404519 HAS SOUS 2944108 HAS SOUPS 2845126 WITH SCORE 2852851.402
AT ITER 274 NEW BEST:: SOT 12170294 SOS 7726992 HAS SOPS 6405902 HAS SOUS 2943940 HAS SOUPS 2844958 WITH SCORE 2852684.992
AT ITER 276 NEW BEST:: SOT 12170278 SOS 7726976 HAS SOPS 6405886 HAS SOUS 2943940 HAS SOUPS 2844958 WITH SCORE 2852684.976
AT ITER 290 NEW BEST:: SOT 12168640 SOS 7722490 HAS SOPS 6402784 HAS SOUS 2943187 HAS SOUPS 2844205 WITH SCORE 2851927.49
AT ITER 294 NEW BEST:: SOT 12167401 SOS 7716939 HAS SOPS 6400154 HAS SOUS 2942497 HAS SOUPS 2843515 WITH SCORE 2851231.939
AT ITER 309 NEW BEST:: SOT 12170133 SOS 7724781 HAS SOPS 6407177 HAS SOUS 2931649 HAS SOUPS 2832816 WITH SCORE 2840540.781
AT ITER 310 NEW BEST:: SOT 12168927 SOS 7723575 HAS SOPS 6405715 HAS SOUS 2930859 HAS SOUPS 2831834 WITH SCORE 2839557.575
AT ITER 311 NEW BEST:: SOT 12163331 SOS 7717951 HAS SOPS 6399671 HAS SOUS 2923470 HAS SOUPS 2824310 WITH SCORE 2832027.951
AT ITER 315 NEW BEST:: SOT 12165724 SOS 7723644 HAS SOPS 6402705 HAS SOUS 2922483 HAS SOUPS 2823323 WITH SCORE 2831046.644
AT ITER 333 NEW BEST:: SOT 12164235 SOS 7723091 HAS SOPS 6397711 HAS SOUS 2908653 HAS SOUPS 2809588 WITH SCORE 2817311.091
AT ITER 342 NEW BEST:: SOT 12158566 SOS 7716912 HAS SOPS 6391006 HAS SOUS 2898970 HAS SOUPS 2799778 WITH SCORE 2807494.912
AT ITER 345 NEW BEST:: SOT 12157785 SOS 7716255 HAS SOPS 6391332 HAS SOUS 2897139 HAS SOUPS 2797974 WITH SCORE 2805690.255
AT ITER 364 NEW BEST:: SOT 12157814 SOS 7721664 HAS SOPS 6396762 HAS SOUS 2893991 HAS SOUPS 2794826 WITH SCORE 2802547.664
AT ITER 366 NEW BEST:: SOT 12151781 SOS 7714117 HAS SOPS 6388758 HAS SOUS 2884736 HAS SOUPS 2785571 WITH SCORE 2793285.117
AT ITER 368 NEW BEST:: SOT 12132964 SOS 7694805 HAS SOPS 6367955 HAS SOUS 2859320 HAS SOUPS 2760148 WITH SCORE 2767842.805
AT ITER 373 NEW BEST:: SOT 12133191 SOS 7697694 HAS SOPS 6373781 HAS SOUS 2858735 HAS SOUPS 2759563 WITH SCORE 2767260.694
AT ITER 382 NEW BEST:: SOT 12126201 SOS 7689848 HAS SOPS 6366395 HAS SOUS 2846998 HAS SOUPS 2747941 WITH SCORE 2755630.848
AT ITER 386 NEW BEST:: SOT 12125759 SOS 7690520 HAS SOPS 6368758 HAS SOUS 2845466 HAS SOUPS 2746409 WITH SCORE 2754099.52
AT ITER 395 NEW BEST:: SOT 12125623 SOS 7690869 HAS SOPS 6370290 HAS SOUS 2845325 HAS SOUPS 2746268 WITH SCORE 2753958.869
AT ITER 409 NEW BEST:: SOT 12125589 SOS 7690911 HAS SOPS 6369999 HAS SOUS 2845165 HAS SOUPS 2746108 WITH SCORE 2753798.911
AT ITER 415 NEW BEST:: SOT 12125595 SOS 7690973 HAS SOPS 6370039 HAS SOUS 2845160 HAS SOUPS 2746103 WITH SCORE 2753793.973
AT ITER 424 NEW BEST:: SOT 12127890 SOS 7701078 HAS SOPS 6380915 HAS SOUS 2843127 HAS SOUPS 2744070 WITH SCORE 2751771.078
AT ITER 434 NEW BEST:: SOT 12130683 SOS 7703106 HAS SOPS 6379164 HAS SOUS 2840603 HAS SOUPS 2741611 WITH SCORE 2749314.106
AT ITER 438 NEW BEST:: SOT 12130725 SOS 7703340 HAS SOPS 6379290 HAS SOUS 2840507 HAS SOUPS 2741515 WITH SCORE 2749218.34
AT ITER 446 NEW BEST:: SOT 12129708 SOS 7701613 HAS SOPS 6378974 HAS SOUS 2838350 HAS SOUPS 2739414 WITH SCORE 2747115.613
AT ITER 462 NEW BEST:: SOT 12129896 SOS 7702187 HAS SOPS 6380232 HAS SOUS 2838223 HAS SOUPS 2739287 WITH SCORE 2746989.187
AT ITER 467 NEW BEST:: SOT 12129907 SOS 7702266 HAS SOPS 6380234 HAS SOUS 2838162 HAS SOUPS 2739215 WITH SCORE 2746917.266
AT ITER 472 NEW BEST:: SOT 12128284 SOS 7703383 HAS SOPS 6382495 HAS SOUS 2835941 HAS SOUPS 2736994 WITH SCORE 2744697.383
AT ITER 485 NEW BEST:: SOT 12127600 SOS 7701045 HAS SOPS 6379382 HAS SOUS 2835161 HAS SOUPS 2735964 WITH SCORE 2743665.045
AT ITER 490 NEW BEST:: SOT 12126478 SOS 7698783 HAS SOPS 6376994 HAS SOUS 2834597 HAS SOUPS 2735400 WITH SCORE 2743098.783
AT ITER 492 NEW BEST:: SOT 12127737 SOS 7702081 HAS SOPS 6379184 HAS SOUS 2832474 HAS SOUPS 2733277 WITH SCORE 2740979.081
AT ITER 509 NEW BEST:: SOT 12122765 SOS 7697396 HAS SOPS 6374739 HAS SOUS 2824004 HAS SOUPS 2724927 WITH SCORE 2732624.396
AT ITER 516 NEW BEST:: SOT 12125962 SOS 7705711 HAS SOPS 6384492 HAS SOUS 2822973 HAS SOUPS 2723896 WITH SCORE 2731601.711
AT ITER 537 NEW BEST:: SOT 12125914 SOS 7705497 HAS SOPS 6384236 HAS SOUS 2822953 HAS SOUPS 2723876 WITH SCORE 2731581.497
AT ITER 545 NEW BEST:: SOT 12127096 SOS 7711238 HAS SOPS 6388087 HAS SOUS 2821397 HAS SOUPS 2722320 WITH SCORE 2730031.238
AT ITER 555 NEW BEST:: SOT 12126670 SOS 7710768 HAS SOPS 6387601 HAS SOUS 2820528 HAS SOUPS 2721453 WITH SCORE 2729163.768
AT ITER 575 NEW BEST:: SOT 12123347 SOS 7707414 HAS SOPS 6383782 HAS SOUS 2815432 HAS SOUPS 2716282 WITH SCORE 2723989.414
AT ITER 584 NEW BEST:: SOT 12123118 SOS 7706381 HAS SOPS 6382359 HAS SOUS 2814843 HAS SOUPS 2715693 WITH SCORE 2723399.381
AT ITER 593 NEW BEST:: SOT 12135316 SOS 7728757 HAS SOPS 6403594 HAS SOUS 2814899 HAS SOUPS 2715660 WITH SCORE 2723388.757
AT ITER 602 NEW BEST:: SOT 12133956 SOS 7731400 HAS SOPS 6403931 HAS SOUS 2809033 HAS SOUPS 2709794 WITH SCORE 2717525.4
AT ITER 605 NEW BEST:: SOT 12132984 SOS 7730392 HAS SOPS 6402383 HAS SOUS 2805989 HAS SOUPS 2706750 WITH SCORE 2714480.392
AT ITER 606 NEW BEST:: SOT 12119579 SOS 7715691 HAS SOPS 6385601 HAS SOUS 2787099 HAS SOUPS 2686163 WITH SCORE 2693878.691
AT ITER 612 NEW BEST:: SOT 12117392 SOS 7712963 HAS SOPS 6382611 HAS SOUS 2782508 HAS SOUPS 2681608 WITH SCORE 2689320.963
AT ITER 615 NEW BEST:: SOT 12109599 SOS 7705134 HAS SOPS 6374242 HAS SOUS 2772329 HAS SOUPS 2671399 WITH SCORE 2679104.134
AT ITER 628 NEW BEST:: SOT 12109708 SOS 7706308 HAS SOPS 6375413 HAS SOUS 2771816 HAS SOUPS 2670886 WITH SCORE 2678592.308
AT ITER 629 NEW BEST:: SOT 12109688 SOS 7706284 HAS SOPS 6375385 HAS SOUS 2771758 HAS SOUPS 2670828 WITH SCORE 2678534.284
AT ITER 635 NEW BEST:: SOT 12109664 SOS 7705694 HAS SOPS 6374970 HAS SOUS 2771653 HAS SOUPS 2670723 WITH SCORE 2678428.694
AT ITER 640 NEW BEST:: SOT 12109592 SOS 7705750 HAS SOPS 6375262 HAS SOUS 2771454 HAS SOUPS 2670541 WITH SCORE 2678246.75
AT ITER 642 NEW BEST:: SOT 12106332 SOS 7702620 HAS SOPS 6370131 HAS SOUS 2764577 HAS SOUPS 2663547 WITH SCORE 2671249.62
AT ITER 645 NEW BEST:: SOT 12084860 SOS 7674379 HAS SOPS 6344070 HAS SOUS 2720601 HAS SOUPS 2619694 WITH SCORE 2627368.379
AT ITER 651 NEW BEST:: SOT 12087492 SOS 7678778 HAS SOPS 6349099 HAS SOUS 2716887 HAS SOUPS 2616001 WITH SCORE 2623679.778
AT ITER 653 NEW BEST:: SOT 12084371 SOS 7676448 HAS SOPS 6344498 HAS SOUS 2707535 HAS SOUPS 2606628 WITH SCORE 2614304.448
AT ITER 659 NEW BEST:: SOT 12084347 SOS 7676200 HAS SOPS 6343980 HAS SOUS 2707408 HAS SOUPS 2606501 WITH SCORE 2614177.2
AT ITER 663 NEW BEST:: SOT 12083154 SOS 7674068 HAS SOPS 6342368 HAS SOUS 2706917 HAS SOUPS 2606010 WITH SCORE 2613684.068
AT ITER 672 NEW BEST:: SOT 12083127 SOS 7674036 HAS SOPS 6342312 HAS SOUS 2706865 HAS SOUPS 2605957 WITH SCORE 2613631.036
AT ITER 682 NEW BEST:: SOT 12085194 SOS 7678538 HAS SOPS 6348079 HAS SOUS 2697222 HAS SOUPS 2596564 WITH SCORE 2604242.538
AT ITER 691 NEW BEST:: SOT 12084645 SOS 7677885 HAS SOPS 6347654 HAS SOUS 2695504 HAS SOUPS 2594846 WITH SCORE 2602523.885
AT ITER 706 NEW BEST:: SOT 12085471 SOS 7682459 HAS SOPS 6353235 HAS SOUS 2695140 HAS SOUPS 2594482 WITH SCORE 2602164.459
AT ITER 714 NEW BEST:: SOT 12087584 SOS 7689689 HAS SOPS 6367451 HAS SOUS 2694216 HAS SOUPS 2593558 WITH SCORE 2601247.689
AT ITER 742 NEW BEST:: SOT 12086667 SOS 7688977 HAS SOPS 6366723 HAS SOUS 2691998 HAS SOUPS 2591362 WITH SCORE 2599050.977
AT ITER 748 NEW BEST:: SOT 12089802 SOS 7698714 HAS SOPS 6377645 HAS SOUS 2691660 HAS SOUPS 2591024 WITH SCORE 2598722.714
AT ITER 751 NEW BEST:: SOT 12090278 SOS 7701687 HAS SOPS 6378622 HAS SOUS 2690450 HAS SOUPS 2589814 WITH SCORE 2597515.687
AT ITER 752 NEW BEST:: SOT 12080989 SOS 7687571 HAS SOPS 6363900 HAS SOUS 2687802 HAS SOUPS 2587018 WITH SCORE 2594705.571
AT ITER 755 NEW BEST:: SOT 12081038 SOS 7687429 HAS SOPS 6363808 HAS SOUS 2687636 HAS SOUPS 2586852 WITH SCORE 2594539.429
AT ITER 756 NEW BEST:: SOT 12078367 SOS 7679626 HAS SOPS 6363084 HAS SOUS 2686582 HAS SOUPS 2585798 WITH SCORE 2593477.626
AT ITER 759 NEW BEST:: SOT 12077882 SOS 7678991 HAS SOPS 6362450 HAS SOUS 2685682 HAS SOUPS 2584917 WITH SCORE 2592595.991
AT ITER 767 NEW BEST:: SOT 12077162 SOS 7676070 HAS SOPS 6361418 HAS SOUS 2680190 HAS SOUPS 2579528 WITH SCORE 2587204.07
AT ITER 778 NEW BEST:: SOT 12077412 SOS 7677452 HAS SOPS 6362244 HAS SOUS 2680122 HAS SOUPS 2579460 WITH SCORE 2587137.452
AT ITER 782 NEW BEST:: SOT 12076842 SOS 7676235 HAS SOPS 6361102 HAS SOUS 2679296 HAS SOUPS 2578641 WITH SCORE 2586317.235
AT ITER 792 NEW BEST:: SOT 12080304 SOS 7690700 HAS SOPS 6373159 HAS SOUS 2676900 HAS SOUPS 2576245 WITH SCORE 2583935.7
AT ITER 796 NEW BEST:: SOT 12079271 SOS 7688700 HAS SOPS 6371783 HAS SOUS 2675120 HAS SOUPS 2574465 WITH SCORE 2582153.7
AT ITER 800 NEW BEST:: SOT 12074225 SOS 7674463 HAS SOPS 6361993 HAS SOUS 2672205 HAS SOUPS 2571558 WITH SCORE 2579232.463
AT ITER 813 NEW BEST:: SOT 12074912 SOS 7676276 HAS SOPS 6362774 HAS SOUS 2670856 HAS SOUPS 2570209 WITH SCORE 2577885.276
AT ITER 841 NEW BEST:: SOT 12050868 SOS 7651479 HAS SOPS 6338462 HAS SOUS 2637496 HAS SOUPS 2537011 WITH SCORE 2544662.479
AT ITER 860 NEW BEST:: SOT 12081126 SOS 7677361 HAS SOPS 6365432 HAS SOUS 2635918 HAS SOUPS 2535686 WITH SCORE 2543363.361
AT ITER 888 NEW BEST:: SOT 12081118 SOS 7676710 HAS SOPS 6364467 HAS SOUS 2635419 HAS SOUPS 2535187 WITH SCORE 2542863.71
AT ITER 892 NEW BEST:: SOT 12080608 SOS 7676135 HAS SOPS 6364238 HAS SOUS 2634273 HAS SOUPS 2534047 WITH SCORE 2541723.135
AT ITER 900 NEW BEST:: SOT 12078827 SOS 7676880 HAS SOPS 6365678 HAS SOUS 2630863 HAS SOUPS 2530692 WITH SCORE 2538368.88
AT ITER 905 NEW BEST:: SOT 12076369 SOS 7671430 HAS SOPS 6360653 HAS SOUS 2626601 HAS SOUPS 2526430 WITH SCORE 2534101.43
AT ITER 910 NEW BEST:: SOT 12075978 SOS 7670587 HAS SOPS 6359649 HAS SOUS 2624688 HAS SOUPS 2524517 WITH SCORE 2532187.587
AT ITER 919 NEW BEST:: SOT 12074324 SOS 7668920 HAS SOPS 6358170 HAS SOUS 2622638 HAS SOUPS 2522895 WITH SCORE 2530563.92
AT ITER 944 NEW BEST:: SOT 12083120 SOS 7680419 HAS SOPS 6371385 HAS SOUS 2612007 HAS SOUPS 2512277 WITH SCORE 2519957.419
AT ITER 962 NEW BEST:: SOT 12079818 SOS 7675511 HAS SOPS 6366945 HAS SOUS 2606115 HAS SOUPS 2506385 WITH SCORE 2514060.511
AT ITER 994 NEW BEST:: SOT 12079086 SOS 7674779 HAS SOPS 6366277 HAS SOUS 2603895 HAS SOUPS 2504197 WITH SCORE 2511871.779
AT ITER 1000 NEW BEST:: SOT 12079071 SOS 7680881 HAS SOPS 6369091 HAS SOUS 2586272 HAS SOUPS 2486500 WITH SCORE 2494180.881
AT ITER 1007 NEW BEST:: SOT 12077240 SOS 7678892 HAS SOPS 6366174 HAS SOUS 2584663 HAS SOUPS 2484891 WITH SCORE 2492569.892
AT ITER 1008 NEW BEST:: SOT 12079373 SOS 7681305 HAS SOPS 6370875 HAS SOUS 2583287 HAS SOUPS 2483672 WITH SCORE 2491353.305
AT ITER 1017 NEW BEST:: SOT 12080778 SOS 7685452 HAS SOPS 6374162 HAS SOUS 2583052 HAS SOUPS 2483437 WITH SCORE 2491122.452
AT ITER 1026 NEW BEST:: SOT 12081370 SOS 7685598 HAS SOPS 6374006 HAS SOUS 2581885 HAS SOUPS 2482295 WITH SCORE 2489980.598
AT ITER 1028 NEW BEST:: SOT 12076123 SOS 7670584 HAS SOPS 6361081 HAS SOUS 2573244 HAS SOUPS 2473654 WITH SCORE 2481324.584
AT ITER 1036 NEW BEST:: SOT 12074135 SOS 7668236 HAS SOPS 6358903 HAS SOUS 2569303 HAS SOUPS 2469713 WITH SCORE 2477381.236
AT ITER 1037 NEW BEST:: SOT 12072731 SOS 7664685 HAS SOPS 6354865 HAS SOUS 2565264 HAS SOUPS 2465674 WITH SCORE 2473338.685
AT ITER 1047 NEW BEST:: SOT 12072681 SOS 7664635 HAS SOPS 6354815 HAS SOUS 2565214 HAS SOUPS 2465624 WITH SCORE 2473288.635
AT ITER 1074 NEW BEST:: SOT 12082853 SOS 7687707 HAS SOPS 6379199 HAS SOUS 2562216 HAS SOUPS 2462626 WITH SCORE 2470313.707
AT ITER 1083 NEW BEST:: SOT 12082127 SOS 7686925 HAS SOPS 6377997 HAS SOUS 2559866 HAS SOUPS 2460276 WITH SCORE 2467962.925
AT ITER 1089 NEW BEST:: SOT 12074911 SOS 7654770 HAS SOPS 6349279 HAS SOUS 2552124 HAS SOUPS 2452531 WITH SCORE 2460185.77
AT ITER 1094 NEW BEST:: SOT 12074521 SOS 7654284 HAS SOPS 6348450 HAS SOUS 2551542 HAS SOUPS 2451937 WITH SCORE 2459591.284
AT ITER 1098 NEW BEST:: SOT 12074374 SOS 7655021 HAS SOPS 6349562 HAS SOUS 2550954 HAS SOUPS 2451349 WITH SCORE 2459004.021
AT ITER 1107 NEW BEST:: SOT 12074327 SOS 7655012 HAS SOPS 6349545 HAS SOUS 2550947 HAS SOUPS 2451340 WITH SCORE 2458995.012
AT ITER 1130 NEW BEST:: SOT 12072024 SOS 7652401 HAS SOPS 6347066 HAS SOUS 2547929 HAS SOUPS 2448353 WITH SCORE 2456005.401
AT ITER 1140 NEW BEST:: SOT 12070815 SOS 7650083 HAS SOPS 6344254 HAS SOUS 2547483 HAS SOUPS 2447907 WITH SCORE 2455557.083
AT ITER 1148 NEW BEST:: SOT 12071477 SOS 7650082 HAS SOPS 6344548 HAS SOUS 2546244 HAS SOUPS 2446689 WITH SCORE 2454339.082
AT ITER 1153 NEW BEST:: SOT 12071116 SOS 7649760 HAS SOPS 6344685 HAS SOUS 2545823 HAS SOUPS 2446289 WITH SCORE 2453938.76
AT ITER 1165 NEW BEST:: SOT 12070100 SOS 7648300 HAS SOPS 6343599 HAS SOUS 2542815 HAS SOUPS 2443348 WITH SCORE 2450996.3
AT ITER 1169 NEW BEST:: SOT 12070305 SOS 7649537 HAS SOPS 6344597 HAS SOUS 2542708 HAS SOUPS 2443241 WITH SCORE 2450890.537
AT ITER 1182 NEW BEST:: SOT 12070535 SOS 7650453 HAS SOPS 6345497 HAS SOUS 2542519 HAS SOUPS 2443052 WITH SCORE 2450702.453
AT ITER 1200 NEW BEST:: SOT 12067802 SOS 7646338 HAS SOPS 6343075 HAS SOUS 2535827 HAS SOUPS 2436423 WITH SCORE 2444069.338
AT ITER 1201 NEW BEST:: SOT 12068079 SOS 7652320 HAS SOPS 6348255 HAS SOUS 2535051 HAS SOUPS 2435647 WITH SCORE 2443299.32
AT ITER 1203 NEW BEST:: SOT 12070646 SOS 7660759 HAS SOPS 6355665 HAS SOUS 2527779 HAS SOUPS 2428375 WITH SCORE 2436035.759
AT ITER 1206 NEW BEST:: SOT 12070763 SOS 7660776 HAS SOPS 6355766 HAS SOUS 2527666 HAS SOUPS 2428262 WITH SCORE 2435922.776
AT ITER 1209 NEW BEST:: SOT 12071180 SOS 7659566 HAS SOPS 6355628 HAS SOUS 2523870 HAS SOUPS 2425518 WITH SCORE 2433177.566
AT ITER 1210 NEW BEST:: SOT 12070942 SOS 7661058 HAS SOPS 6355021 HAS SOUS 2521789 HAS SOUPS 2423437 WITH SCORE 2431098.058
AT ITER 1214 NEW BEST:: SOT 12070863 SOS 7661258 HAS SOPS 6355695 HAS SOUS 2520621 HAS SOUPS 2422269 WITH SCORE 2429930.258
AT ITER 1216 NEW BEST:: SOT 12070836 SOS 7661179 HAS SOPS 6355584 HAS SOUS 2520553 HAS SOUPS 2422201 WITH SCORE 2429862.179
AT ITER 1244 NEW BEST:: SOT 12070784 SOS 7660723 HAS SOPS 6356855 HAS SOUS 2520073 HAS SOUPS 2421811 WITH SCORE 2429471.723
AT ITER 1246 NEW BEST:: SOT 12071980 SOS 7662265 HAS SOPS 6358877 HAS SOUS 2519510 HAS SOUPS 2421341 WITH SCORE 2429003.265
AT ITER 1248 NEW BEST:: SOT 12070284 SOS 7659470 HAS SOPS 6355945 HAS SOUS 2514917 HAS SOUPS 2416748 WITH SCORE 2424407.47
AT ITER 1255 NEW BEST:: SOT 12069856 SOS 7659191 HAS SOPS 6356400 HAS SOUS 2511532 HAS SOUPS 2413363 WITH SCORE 2421022.191
AT ITER 1280 NEW BEST:: SOT 12070739 SOS 7661703 HAS SOPS 6358395 HAS SOUS 2510900 HAS SOUPS 2412731 WITH SCORE 2420392.703
AT ITER 1288 NEW BEST:: SOT 12069472 SOS 7658887 HAS SOPS 6354799 HAS SOUS 2508565 HAS SOUPS 2410396 WITH SCORE 2418054.887
AT ITER 1290 NEW BEST:: SOT 12069661 SOS 7660552 HAS SOPS 6356417 HAS SOUS 2508176 HAS SOUPS 2410007 WITH SCORE 2417667.552
AT ITER 1293 NEW BEST:: SOT 12068831 SOS 7659753 HAS SOPS 6355623 HAS SOUS 2507055 HAS SOUPS 2408888 WITH SCORE 2416547.753
AT ITER 1299 NEW BEST:: SOT 12078893 SOS 7697629 HAS SOPS 6393501 HAS SOUS 2496873 HAS SOUPS 2398913 WITH SCORE 2406610.629
AT ITER 1302 NEW BEST:: SOT 12074462 SOS 7693198 HAS SOPS 6389070 HAS SOUS 2493830 HAS SOUPS 2395870 WITH SCORE 2403563.198
AT ITER 1306 NEW BEST:: SOT 12071767 SOS 7687083 HAS SOPS 6384036 HAS SOUS 2489657 HAS SOUPS 2391697 WITH SCORE 2399384.083
AT ITER 1307 NEW BEST:: SOT 12073690 SOS 7687089 HAS SOPS 6386601 HAS SOUS 2487987 HAS SOUPS 2390406 WITH SCORE 2398093.089
AT ITER 1309 NEW BEST:: SOT 12073703 SOS 7687106 HAS SOPS 6386628 HAS SOUS 2487948 HAS SOUPS 2390374 WITH SCORE 2398061.106
AT ITER 1314 NEW BEST:: SOT 12073705 SOS 7690670 HAS SOPS 6394160 HAS SOUS 2480966 HAS SOUPS 2383392 WITH SCORE 2391082.67
AT ITER 1321 NEW BEST:: SOT 12072751 SOS 7691620 HAS SOPS 6393255 HAS SOUS 2475375 HAS SOUPS 2377801 WITH SCORE 2385492.62
AT ITER 1324 NEW BEST:: SOT 12072329 SOS 7689846 HAS SOPS 6392538 HAS SOUS 2472702 HAS SOUPS 2375939 WITH SCORE 2383628.846
AT ITER 1326 NEW BEST:: SOT 12077098 SOS 7696278 HAS SOPS 6400704 HAS SOUS 2471764 HAS SOUPS 2375001 WITH SCORE 2382697.278
AT ITER 1343 NEW BEST:: SOT 12078574 SOS 7698600 HAS SOPS 6406082 HAS SOUS 2470345 HAS SOUPS 2373582 WITH SCORE 2381280.6
AT ITER 1354 NEW BEST:: SOT 12078126 SOS 7697961 HAS SOPS 6405465 HAS SOUS 2469559 HAS SOUPS 2372796 WITH SCORE 2380493.961
AT ITER 1355 NEW BEST:: SOT 12079348 SOS 7703083 HAS SOPS 6413746 HAS SOUS 2459561 HAS SOUPS 2362953 WITH SCORE 2370656.083
AT ITER 1367 NEW BEST:: SOT 12078678 SOS 7701825 HAS SOPS 6412462 HAS SOUS 2458749 HAS SOUPS 2362141 WITH SCORE 2369842.825
AT ITER 1384 NEW BEST:: SOT 12078023 SOS 7699456 HAS SOPS 6410900 HAS SOUS 2458685 HAS SOUPS 2362077 WITH SCORE 2369776.456
AT ITER 1385 NEW BEST:: SOT 12078325 SOS 7699441 HAS SOPS 6410439 HAS SOUS 2458543 HAS SOUPS 2361935 WITH SCORE 2369634.441
AT ITER 1395 NEW BEST:: SOT 12075990 SOS 7697164 HAS SOPS 6408121 HAS SOUS 2451863 HAS SOUPS 2355303 WITH SCORE 2363000.164
AT ITER 1412 NEW BEST:: SOT 12075751 SOS 7696889 HAS SOPS 6407670 HAS SOUS 2451312 HAS SOUPS 2354748 WITH SCORE 2362444.889
AT ITER 1418 NEW BEST:: SOT 12081686 SOS 7702551 HAS SOPS 6416620 HAS SOUS 2447463 HAS SOUPS 2351020 WITH SCORE 2358722.551
AT ITER 1420 NEW BEST:: SOT 12080979 SOS 7700457 HAS SOPS 6415867 HAS SOUS 2446080 HAS SOUPS 2349859 WITH SCORE 2357559.457
AT ITER 1455 NEW BEST:: SOT 12084285 SOS 7702390 HAS SOPS 6418182 HAS SOUS 2443584 HAS SOUPS 2348362 WITH SCORE 2356064.39
AT ITER 1460 NEW BEST:: SOT 12084656 SOS 7703631 HAS SOPS 6419394 HAS SOUS 2441958 HAS SOUPS 2346736 WITH SCORE 2354439.631
AT ITER 1461 NEW BEST:: SOT 12085109 SOS 7709906 HAS SOPS 6429629 HAS SOUS 2430149 HAS SOUPS 2335143 WITH SCORE 2342852.906
AT ITER 1467 NEW BEST:: SOT 12083710 SOS 7708484 HAS SOPS 6428207 HAS SOUS 2429014 HAS SOUPS 2334008 WITH SCORE 2341716.484
AT ITER 1478 NEW BEST:: SOT 12083557 SOS 7708277 HAS SOPS 6427703 HAS SOUS 2428906 HAS SOUPS 2333909 WITH SCORE 2341617.277
AT ITER 1498 NEW BEST:: SOT 12082515 SOS 7707103 HAS SOPS 6426307 HAS SOUS 2426616 HAS SOUPS 2331631 WITH SCORE 2339338.103
AT ITER 1523 NEW BEST:: SOT 12080499 SOS 7705308 HAS SOPS 6424642 HAS SOUS 2424183 HAS SOUPS 2329198 WITH SCORE 2336903.308
AT ITER 1535 NEW BEST:: SOT 12080037 SOS 7706504 HAS SOPS 6423836 HAS SOUS 2414040 HAS SOUPS 2319055 WITH SCORE 2326761.504
AT ITER 1577 NEW BEST:: SOT 12079557 SOS 7705998 HAS SOPS 6423135 HAS SOUS 2412817 HAS SOUPS 2317832 WITH SCORE 2325537.998
AT ITER 1586 NEW BEST:: SOT 12079529 SOS 7705970 HAS SOPS 6423107 HAS SOUS 2412761 HAS SOUPS 2317776 WITH SCORE 2325481.97
AT ITER 1587 NEW BEST:: SOT 12076504 SOS 7697196 HAS SOPS 6420358 HAS SOUS 2409534 HAS SOUPS 2314630 WITH SCORE 2322327.196
AT ITER 1606 NEW BEST:: SOT 12075403 SOS 7696069 HAS SOPS 6419036 HAS SOUS 2409106 HAS SOUPS 2314202 WITH SCORE 2321898.069
AT ITER 1612 NEW BEST:: SOT 12054750 SOS 7673685 HAS SOPS 6393792 HAS SOUS 2377295 HAS SOUPS 2282231 WITH SCORE 2289904.685
AT ITER 1621 NEW BEST:: SOT 12056375 SOS 7682253 HAS SOPS 6406888 HAS SOUS 2376183 HAS SOUPS 2281274 WITH SCORE 2288956.253
AT ITER 1624 NEW BEST:: SOT 12058182 SOS 7684116 HAS SOPS 6409201 HAS SOUS 2374653 HAS SOUPS 2279759 WITH SCORE 2287443.116
AT ITER 1637 NEW BEST:: SOT 12048823 SOS 7662818 HAS SOPS 6390659 HAS SOUS 2362507 HAS SOUPS 2267935 WITH SCORE 2275597.818
AT ITER 1643 NEW BEST:: SOT 12048658 SOS 7663810 HAS SOPS 6392307 HAS SOUS 2359383 HAS SOUPS 2264811 WITH SCORE 2272474.81
AT ITER 1645 NEW BEST:: SOT 12046856 SOS 7660288 HAS SOPS 6389711 HAS SOUS 2355705 HAS SOUPS 2261133 WITH SCORE 2268793.288
AT ITER 1656 NEW BEST:: SOT 12047031 SOS 7662556 HAS SOPS 6391884 HAS SOUS 2354901 HAS SOUPS 2260329 WITH SCORE 2267991.556
AT ITER 1667 NEW BEST:: SOT 12047875 SOS 7666091 HAS SOPS 6395647 HAS SOUS 2354381 HAS SOUPS 2259809 WITH SCORE 2267475.091
AT ITER 1668 NEW BEST:: SOT 12043286 SOS 7661628 HAS SOPS 6389169 HAS SOUS 2342412 HAS SOUPS 2247828 WITH SCORE 2255489.628
AT ITER 1684 NEW BEST:: SOT 12041594 SOS 7659937 HAS SOPS 6387477 HAS SOUS 2340193 HAS SOUPS 2245608 WITH SCORE 2253267.937
AT ITER 1687 NEW BEST:: SOT 12040607 SOS 7656788 HAS SOPS 6384627 HAS SOUS 2339512 HAS SOUPS 2244927 WITH SCORE 2252583.788
AT ITER 1692 NEW BEST:: SOT 12040939 SOS 7657555 HAS SOPS 6385142 HAS SOUS 2339384 HAS SOUPS 2244799 WITH SCORE 2252456.555
AT ITER 1700 NEW BEST:: SOT 12034641 SOS 7649690 HAS SOPS 6378082 HAS SOUS 2333159 HAS SOUPS 2238707 WITH SCORE 2246356.69
AT ITER 1706 NEW BEST:: SOT 12034640 SOS 7649719 HAS SOPS 6378173 HAS SOUS 2333157 HAS SOUPS 2238705 WITH SCORE 2246354.719
AT ITER 1730 NEW BEST:: SOT 12034885 SOS 7647832 HAS SOPS 6377503 HAS SOUS 2329156 HAS SOUPS 2234913 WITH SCORE 2242560.832
AT ITER 1752 NEW BEST:: SOT 12034957 SOS 7647745 HAS SOPS 6377686 HAS SOUS 2329149 HAS SOUPS 2234906 WITH SCORE 2242553.745
AT ITER 1755 NEW BEST:: SOT 12033102 SOS 7646435 HAS SOPS 6375038 HAS SOUS 2326682 HAS SOUPS 2232372 WITH SCORE 2240018.435
AT ITER 1757 NEW BEST:: SOT 12031825 SOS 7638504 HAS SOPS 6369745 HAS SOUS 2326580 HAS SOUPS 2232270 WITH SCORE 2239908.504
AT ITER 1765 NEW BEST:: SOT 12031585 SOS 7634872 HAS SOPS 6370200 HAS SOUS 2325061 HAS SOUPS 2231334 WITH SCORE 2238968.872
AT ITER 1781 NEW BEST:: SOT 12030961 SOS 7634222 HAS SOPS 6369355 HAS SOUS 2323670 HAS SOUPS 2229943 WITH SCORE 2237577.222
AT ITER 1804 NEW BEST:: SOT 12029643 SOS 7635557 HAS SOPS 6370831 HAS SOUS 2322423 HAS SOUPS 2228696 WITH SCORE 2236331.557
AT ITER 1806 NEW BEST:: SOT 12036236 SOS 7647500 HAS SOPS 6379666 HAS SOUS 2319484 HAS SOUPS 2225757 WITH SCORE 2233404.5
AT ITER 1814 NEW BEST:: SOT 12036191 SOS 7647925 HAS SOPS 6381417 HAS SOUS 2319413 HAS SOUPS 2225686 WITH SCORE 2233333.925
AT ITER 1823 NEW BEST:: SOT 12033813 SOS 7644711 HAS SOPS 6378958 HAS SOUS 2312757 HAS SOUPS 2219095 WITH SCORE 2226739.711
AT ITER 1828 NEW BEST:: SOT 12031607 SOS 7637808 HAS SOPS 6372240 HAS SOUS 2311062 HAS SOUPS 2217400 WITH SCORE 2225037.808
AT ITER 1836 NEW BEST:: SOT 12031666 SOS 7637573 HAS SOPS 6369784 HAS SOUS 2308407 HAS SOUPS 2214745 WITH SCORE 2222382.573
AT ITER 1849 NEW BEST:: SOT 12031457 SOS 7637046 HAS SOPS 6369294 HAS SOUS 2306586 HAS SOUPS 2212924 WITH SCORE 2220561.046
AT ITER 1872 NEW BEST:: SOT 12031297 SOS 7636997 HAS SOPS 6369294 HAS SOUS 2305655 HAS SOUPS 2212003 WITH SCORE 2219639.997
AT ITER 1883 NEW BEST:: SOT 12032848 SOS 7639732 HAS SOPS 6372248 HAS SOUS 2305450 HAS SOUPS 2211798 WITH SCORE 2219437.732
AT ITER 1905 NEW BEST:: SOT 12030115 SOS 7633644 HAS SOPS 6367435 HAS SOUS 2304722 HAS SOUPS 2211135 WITH SCORE 2218768.644
AT ITER 1918 NEW BEST:: SOT 12030508 SOS 7635324 HAS SOPS 6369390 HAS SOUS 2304486 HAS SOUPS 2210899 WITH SCORE 2218534.324
AT ITER 1926 NEW BEST:: SOT 12030457 SOS 7635273 HAS SOPS 6369341 HAS SOUS 2304335 HAS SOUPS 2210749 WITH SCORE 2218384.273
AT ITER 1947 NEW BEST:: SOT 12020591 SOS 7625360 HAS SOPS 6358711 HAS SOUS 2291489 HAS SOUPS 2197816 WITH SCORE 2205441.36
AT ITER 1949 NEW BEST:: SOT 12019330 SOS 7625379 HAS SOPS 6357565 HAS SOUS 2287829 HAS SOUPS 2194156 WITH SCORE 2201781.379
AT ITER 1954 NEW BEST:: SOT 12019123 SOS 7624840 HAS SOPS 6357184 HAS SOUS 2287526 HAS SOUPS 2193853 WITH SCORE 2201477.84
AT ITER 1956 NEW BEST:: SOT 12017195 SOS 7621624 HAS SOPS 6353984 HAS SOUS 2284614 HAS SOUPS 2190973 WITH SCORE 2198594.624
AT ITER 1983 NEW BEST:: SOT 12017911 SOS 7621731 HAS SOPS 6352811 HAS SOUS 2284132 HAS SOUPS 2190491 WITH SCORE 2198112.731
AT ITER 1987 NEW BEST:: SOT 12017897 SOS 7621597 HAS SOPS 6352495 HAS SOUS 2284130 HAS SOUPS 2190489 WITH SCORE 2198110.597
AT ITER 1989 NEW BEST:: SOT 12017801 SOS 7621396 HAS SOPS 6352049 HAS SOUS 2283599 HAS SOUPS 2189958 WITH SCORE 2197579.396
AT ITER 1991 NEW BEST:: SOT 12017428 SOS 7619966 HAS SOPS 6350290 HAS SOUS 2281320 HAS SOUPS 2187679 WITH SCORE 2195298.966
AT ITER 2000 NEW BEST:: SOT 12016174 SOS 7619220 HAS SOPS 6350477 HAS SOUS 2278505 HAS SOUPS 2184910 WITH SCORE 2192529.22
AT ITER 2016 NEW BEST:: SOT 12016227 SOS 7619273 HAS SOPS 6350530 HAS SOUS 2278386 HAS SOUPS 2184791 WITH SCORE 2192410.273
AT ITER 2027 NEW BEST:: SOT 12016225 SOS 7619271 HAS SOPS 6350528 HAS SOUS 2278288 HAS SOUPS 2184693 WITH SCORE 2192312.271
AT ITER 2036 NEW BEST:: SOT 12016371 SOS 7629961 HAS SOPS 6355803 HAS SOUS 2272877 HAS SOUPS 2179147 WITH SCORE 2186776.961
AT ITER 2037 NEW BEST:: SOT 12014110 SOS 7627086 HAS SOPS 6352002 HAS SOUS 2267388 HAS SOUPS 2173701 WITH SCORE 2181328.086
AT ITER 2060 NEW BEST:: SOT 12010562 SOS 7621806 HAS SOPS 6346329 HAS SOUS 2256452 HAS SOUPS 2163282 WITH SCORE 2170903.806
AT ITER 2063 NEW BEST:: SOT 12011026 SOS 7623646 HAS SOPS 6349895 HAS SOUS 2255900 HAS SOUPS 2162730 WITH SCORE 2170353.646
AT ITER 2072 NEW BEST:: SOT 12013991 SOS 7631811 HAS SOPS 6356434 HAS SOUS 2255385 HAS SOUPS 2162215 WITH SCORE 2169846.811
AT ITER 2073 NEW BEST:: SOT 12012850 SOS 7629863 HAS SOPS 6353309 HAS SOUS 2248234 HAS SOUPS 2155258 WITH SCORE 2162887.863
AT ITER 2074 NEW BEST:: SOT 12012393 SOS 7629558 HAS SOPS 6352156 HAS SOUS 2247142 HAS SOUPS 2154146 WITH SCORE 2161775.558
AT ITER 2091 NEW BEST:: SOT 12012186 SOS 7628023 HAS SOPS 6350921 HAS SOUS 2246860 HAS SOUPS 2153864 WITH SCORE 2161492.023
AT ITER 2104 NEW BEST:: SOT 12010876 SOS 7627432 HAS SOPS 6349396 HAS SOUS 2241590 HAS SOUPS 2148527 WITH SCORE 2156154.432
AT ITER 2112 NEW BEST:: SOT 12008428 SOS 7622956 HAS SOPS 6345363 HAS SOUS 2237215 HAS SOUPS 2144152 WITH SCORE 2151774.956
AT ITER 2120 NEW BEST:: SOT 12008308 SOS 7622710 HAS SOPS 6345140 HAS SOUS 2237021 HAS SOUPS 2143960 WITH SCORE 2151582.71
AT ITER 2128 NEW BEST:: SOT 12007314 SOS 7621105 HAS SOPS 6343435 HAS SOUS 2234824 HAS SOUPS 2141788 WITH SCORE 2149409.105
AT ITER 2146 NEW BEST:: SOT 12007117 SOS 7620896 HAS SOPS 6343082 HAS SOUS 2234381 HAS SOUPS 2141345 WITH SCORE 2148965.896
AT ITER 2181 NEW BEST:: SOT 12006233 SOS 7619121 HAS SOPS 6340407 HAS SOUS 2233976 HAS SOUPS 2140994 WITH SCORE 2148613.121
AT ITER 2184 NEW BEST:: SOT 12003069 SOS 7614871 HAS SOPS 6337488 HAS SOUS 2229301 HAS SOUPS 2136319 WITH SCORE 2143933.871
AT ITER 2194 NEW BEST:: SOT 12001666 SOS 7613109 HAS SOPS 6335218 HAS SOUS 2225823 HAS SOUPS 2132851 WITH SCORE 2140464.109
AT ITER 2200 NEW BEST:: SOT 12001565 SOS 7613055 HAS SOPS 6334940 HAS SOUS 2225773 HAS SOUPS 2132801 WITH SCORE 2140414.055
AT ITER 2210 NEW BEST:: SOT 12000427 SOS 7610165 HAS SOPS 6332186 HAS SOUS 2223250 HAS SOUPS 2130278 WITH SCORE 2137888.165
AT ITER 2211 NEW BEST:: SOT 11999636 SOS 7609333 HAS SOPS 6331037 HAS SOUS 2220809 HAS SOUPS 2127837 WITH SCORE 2135446.333
AT ITER 2218 NEW BEST:: SOT 11999552 SOS 7609207 HAS SOPS 6330911 HAS SOUS 2220713 HAS SOUPS 2127741 WITH SCORE 2135350.207
AT ITER 2223 NEW BEST:: SOT 11999308 SOS 7608225 HAS SOPS 6330298 HAS SOUS 2220337 HAS SOUPS 2127365 WITH SCORE 2134973.225
AT ITER 2237 NEW BEST:: SOT 11999163 SOS 7608185 HAS SOPS 6329943 HAS SOUS 2220198 HAS SOUPS 2127205 WITH SCORE 2134813.185
AT ITER 2241 NEW BEST:: SOT 11999065 SOS 7609002 HAS SOPS 6330068 HAS SOUS 2219242 HAS SOUPS 2126249 WITH SCORE 2133858.002
AT ITER 2243 NEW BEST:: SOT 11999024 SOS 7608962 HAS SOPS 6330027 HAS SOUS 2219157 HAS SOUPS 2126163 WITH SCORE 2133771.962
AT ITER 2259 NEW BEST:: SOT 11998592 SOS 7608548 HAS SOPS 6329487 HAS SOUS 2218122 HAS SOUPS 2125146 WITH SCORE 2132754.548
AT ITER 2282 NEW BEST:: SOT 11996924 SOS 7601423 HAS SOPS 6324255 HAS SOUS 2217029 HAS SOUPS 2124322 WITH SCORE 2131923.423
AT ITER 2292 NEW BEST:: SOT 11995415 SOS 7599914 HAS SOPS 6321594 HAS SOUS 2211656 HAS SOUPS 2118709 WITH SCORE 2126308.914
AT ITER 2309 NEW BEST:: SOT 11998707 SOS 7603515 HAS SOPS 6325874 HAS SOUS 2209301 HAS SOUPS 2116922 WITH SCORE 2124525.515
AT ITER 2312 NEW BEST:: SOT 11998513 SOS 7603338 HAS SOPS 6325672 HAS SOUS 2208854 HAS SOUPS 2116475 WITH SCORE 2124078.338
AT ITER 2322 NEW BEST:: SOT 11998235 SOS 7603172 HAS SOPS 6326010 HAS SOUS 2207210 HAS SOUPS 2114909 WITH SCORE 2122512.172
AT ITER 2327 NEW BEST:: SOT 11995416 SOS 7600040 HAS SOPS 6321747 HAS SOUS 2199334 HAS SOUPS 2107070 WITH SCORE 2114670.04
AT ITER 2329 NEW BEST:: SOT 11993954 SOS 7598551 HAS SOPS 6319977 HAS SOUS 2196576 HAS SOUPS 2104353 WITH SCORE 2111951.551
AT ITER 2330 NEW BEST:: SOT 11992675 SOS 7596001 HAS SOPS 6316405 HAS SOUS 2196092 HAS SOUPS 2103869 WITH SCORE 2111465.001
AT ITER 2339 NEW BEST:: SOT 11992691 SOS 7595513 HAS SOPS 6315753 HAS SOUS 2193213 HAS SOUPS 2100990 WITH SCORE 2108585.513
AT ITER 2353 NEW BEST:: SOT 11992563 SOS 7596042 HAS SOPS 6315815 HAS SOUS 2188717 HAS SOUPS 2096543 WITH SCORE 2104139.042
AT ITER 2365 NEW BEST:: SOT 11990870 SOS 7594349 HAS SOPS 6314026 HAS SOUS 2187070 HAS SOUPS 2094890 WITH SCORE 2102484.349
AT ITER 2367 NEW BEST:: SOT 11988388 SOS 7590169 HAS SOPS 6309793 HAS SOUS 2185668 HAS SOUPS 2093488 WITH SCORE 2101078.169
AT ITER 2378 NEW BEST:: SOT 11987635 SOS 7591707 HAS SOPS 6309236 HAS SOUS 2179590 HAS SOUPS 2087363 WITH SCORE 2094954.707
AT ITER 2381 NEW BEST:: SOT 11987787 SOS 7592335 HAS SOPS 6309614 HAS SOUS 2179470 HAS SOUPS 2087243 WITH SCORE 2094835.335
AT ITER 2384 NEW BEST:: SOT 11986093 SOS 7589883 HAS SOPS 6306769 HAS SOUS 2176149 HAS SOUPS 2083973 WITH SCORE 2091562.883
AT ITER 2394 NEW BEST:: SOT 11982734 SOS 7583562 HAS SOPS 6301050 HAS SOUS 2171527 HAS SOUPS 2079376 WITH SCORE 2086959.562
AT ITER 2402 NEW BEST:: SOT 11982642 SOS 7583249 HAS SOPS 6300878 HAS SOUS 2171264 HAS SOUPS 2079117 WITH SCORE 2086700.249
AT ITER 2425 NEW BEST:: SOT 11982552 SOS 7583191 HAS SOPS 6300829 HAS SOUS 2171140 HAS SOUPS 2078997 WITH SCORE 2086580.191
AT ITER 2426 NEW BEST:: SOT 11987284 SOS 7587849 HAS SOPS 6304355 HAS SOUS 2167829 HAS SOUPS 2076052 WITH SCORE 2083639.849
AT ITER 2427 NEW BEST:: SOT 11980987 SOS 7576309 HAS SOPS 6295337 HAS SOUS 2159263 HAS SOUPS 2067569 WITH SCORE 2075145.309
AT ITER 2453 NEW BEST:: SOT 11983071 SOS 7581781 HAS SOPS 6303249 HAS SOUS 2157847 HAS SOUPS 2066153 WITH SCORE 2073734.781
AT ITER 2464 NEW BEST:: SOT 11982796 SOS 7581506 HAS SOPS 6302638 HAS SOUS 2156376 HAS SOUPS 2064682 WITH SCORE 2072263.506
AT ITER 2468 NEW BEST:: SOT 11982485 SOS 7581216 HAS SOPS 6302033 HAS SOUS 2155715 HAS SOUPS 2064013 WITH SCORE 2071594.216
AT ITER 2469 NEW BEST:: SOT 11978578 SOS 7576371 HAS SOPS 6297084 HAS SOUS 2147286 HAS SOUPS 2055673 WITH SCORE 2063249.371
AT ITER 2507 NEW BEST:: SOT 11978235 SOS 7575898 HAS SOPS 6296511 HAS SOUS 2146793 HAS SOUPS 2055170 WITH SCORE 2062745.898
AT ITER 2518 NEW BEST:: SOT 11976335 SOS 7573313 HAS SOPS 6292025 HAS SOUS 2139280 HAS SOUPS 2047657 WITH SCORE 2055230.313
AT ITER 2534 NEW BEST:: SOT 11976219 SOS 7573197 HAS SOPS 6291781 HAS SOUS 2138584 HAS SOUPS 2046961 WITH SCORE 2054534.197
AT ITER 2552 NEW BEST:: SOT 11977164 SOS 7576373 HAS SOPS 6293602 HAS SOUS 2138572 HAS SOUPS 2046949 WITH SCORE 2054525.373
AT ITER 2554 NEW BEST:: SOT 11977164 SOS 7575817 HAS SOPS 6291291 HAS SOUS 2137147 HAS SOUPS 2045495 WITH SCORE 2053070.817
AT ITER 2566 NEW BEST:: SOT 11980868 SOS 7583196 HAS SOPS 6294778 HAS SOUS 2134202 HAS SOUPS 2042524 WITH SCORE 2050107.196
AT ITER 2568 NEW BEST:: SOT 11980001 SOS 7582052 HAS SOPS 6293561 HAS SOUS 2133214 HAS SOUPS 2041527 WITH SCORE 2049109.052
AT ITER 2569 NEW BEST:: SOT 11979855 SOS 7578344 HAS SOPS 6289696 HAS SOUS 2133080 HAS SOUPS 2041393 WITH SCORE 2048971.344
AT ITER 2573 NEW BEST:: SOT 11981056 SOS 7585482 HAS SOPS 6294877 HAS SOUS 2130059 HAS SOUPS 2038312 WITH SCORE 2045897.482
AT ITER 2593 NEW BEST:: SOT 11981211 SOS 7585634 HAS SOPS 6295606 HAS SOUS 2129187 HAS SOUPS 2037885 WITH SCORE 2045470.634
AT ITER 2604 NEW BEST:: SOT 11981131 SOS 7584915 HAS SOPS 6295010 HAS SOUS 2129004 HAS SOUPS 2037702 WITH SCORE 2045286.915
AT ITER 2610 NEW BEST:: SOT 11980948 SOS 7584215 HAS SOPS 6294386 HAS SOUS 2128312 HAS SOUPS 2037010 WITH SCORE 2044594.215
AT ITER 2616 NEW BEST:: SOT 11980962 SOS 7583405 HAS SOPS 6293172 HAS SOUS 2126757 HAS SOUPS 2035511 WITH SCORE 2043094.405
AT ITER 2627 NEW BEST:: SOT 11979856 SOS 7582021 HAS SOPS 6291242 HAS SOUS 2125905 HAS SOUPS 2034644 WITH SCORE 2042226.021
AT ITER 2631 NEW BEST:: SOT 11980537 SOS 7585740 HAS SOPS 6292875 HAS SOUS 2123256 HAS SOUPS 2031995 WITH SCORE 2039580.74
AT ITER 2639 NEW BEST:: SOT 11975968 SOS 7581171 HAS SOPS 6288306 HAS SOUS 2117239 HAS SOUPS 2025978 WITH SCORE 2033559.171
AT ITER 2640 NEW BEST:: SOT 11975663 SOS 7580914 HAS SOPS 6288431 HAS SOUS 2117061 HAS SOUPS 2025800 WITH SCORE 2033380.914
AT ITER 2666 NEW BEST:: SOT 11975455 SOS 7580331 HAS SOPS 6287998 HAS SOUS 2116842 HAS SOUPS 2025581 WITH SCORE 2033161.331
AT ITER 2686 NEW BEST:: SOT 11975545 SOS 7580361 HAS SOPS 6287941 HAS SOUS 2116602 HAS SOUPS 2025341 WITH SCORE 2032921.361
AT ITER 2694 NEW BEST:: SOT 11973369 SOS 7576411 HAS SOPS 6283581 HAS SOUS 2112128 HAS SOUPS 2021361 WITH SCORE 2028937.411
AT ITER 2700 NEW BEST:: SOT 11974654 SOS 7577151 HAS SOPS 6283898 HAS SOUS 2111912 HAS SOUPS 2021145 WITH SCORE 2028722.151
AT ITER 2708 NEW BEST:: SOT 11973729 SOS 7575875 HAS SOPS 6283096 HAS SOUS 2109026 HAS SOUPS 2018259 WITH SCORE 2025834.875
AT ITER 2714 NEW BEST:: SOT 11973705 SOS 7575797 HAS SOPS 6283098 HAS SOUS 2109016 HAS SOUPS 2018251 WITH SCORE 2025826.797
AT ITER 2715 NEW BEST:: SOT 11973227 SOS 7576375 HAS SOPS 6284669 HAS SOUS 2107850 HAS SOUPS 2017085 WITH SCORE 2024661.375
AT ITER 2718 NEW BEST:: SOT 11973250 SOS 7576446 HAS SOPS 6284765 HAS SOUS 2107825 HAS SOUPS 2017060 WITH SCORE 2024636.446
AT ITER 2726 NEW BEST:: SOT 11975942 SOS 7579138 HAS SOPS 6287457 HAS SOUS 2101875 HAS SOUPS 2011110 WITH SCORE 2018689.138
AT ITER 2735 NEW BEST:: SOT 11974664 SOS 7575266 HAS SOPS 6285405 HAS SOUS 2100038 HAS SOUPS 2009295 WITH SCORE 2016870.266
AT ITER 2737 NEW BEST:: SOT 11975854 SOS 7578416 HAS SOPS 6288537 HAS SOUS 2100015 HAS SOUPS 2009272 WITH SCORE 2016850.416
AT ITER 2776 NEW BEST:: SOT 11978048 SOS 7583617 HAS SOPS 6291592 HAS SOUS 2096103 HAS SOUPS 2005224 WITH SCORE 2012807.617
AT ITER 2780 NEW BEST:: SOT 11977824 SOS 7583393 HAS SOPS 6291368 HAS SOUS 2095991 HAS SOUPS 2005112 WITH SCORE 2012695.393
AT ITER 2804 NEW BEST:: SOT 11976557 SOS 7582225 HAS SOPS 6290234 HAS SOUS 2093502 HAS SOUPS 2002623 WITH SCORE 2010205.225
AT ITER 2806 NEW BEST:: SOT 11976606 SOS 7585605 HAS SOPS 6292506 HAS SOUS 2092102 HAS SOUPS 2001223 WITH SCORE 2008808.605
AT ITER 2822 NEW BEST:: SOT 11972065 SOS 7581053 HAS SOPS 6287719 HAS SOUS 2091814 HAS SOUPS 2000796 WITH SCORE 2008377.053
AT ITER 2824 NEW BEST:: SOT 11975107 SOS 7584758 HAS SOPS 6293004 HAS SOUS 2090199 HAS SOUPS 2000360 WITH SCORE 2007944.758
AT ITER 2828 NEW BEST:: SOT 11973975 SOS 7580284 HAS SOPS 6286758 HAS SOUS 2089711 HAS SOUPS 1999872 WITH SCORE 2007452.284
AT ITER 2839 NEW BEST:: SOT 11974168 SOS 7580538 HAS SOPS 6287431 HAS SOUS 2089385 HAS SOUPS 1999546 WITH SCORE 2007126.538
AT ITER 2842 NEW BEST:: SOT 11971967 SOS 7578973 HAS SOPS 6283927 HAS SOUS 2083134 HAS SOUPS 1993241 WITH SCORE 2000819.973
AT ITER 2848 NEW BEST:: SOT 11972162 SOS 7580456 HAS SOPS 6283498 HAS SOUS 2081112 HAS SOUPS 1991219 WITH SCORE 1998799.456
AT ITER 2867 NEW BEST:: SOT 11971500 SOS 7574122 HAS SOPS 6280702 HAS SOUS 2079026 HAS SOUPS 1989133 WITH SCORE 1996707.122
AT ITER 2871 NEW BEST:: SOT 11969999 SOS 7570491 HAS SOPS 6279279 HAS SOUS 2078253 HAS SOUPS 1988360 WITH SCORE 1995930.491
AT ITER 2880 NEW BEST:: SOT 11970293 SOS 7575492 HAS SOPS 6280424 HAS SOUS 2076131 HAS SOUPS 1986238 WITH SCORE 1993813.492
AT ITER 2885 NEW BEST:: SOT 11970454 SOS 7575677 HAS SOPS 6280621 HAS SOUS 2076084 HAS SOUPS 1986191 WITH SCORE 1993766.677
AT ITER 2919 NEW BEST:: SOT 11968194 SOS 7572586 HAS SOPS 6276453 HAS SOUS 2069750 HAS SOUPS 1980007 WITH SCORE 1987579.586
AT ITER 2936 NEW BEST:: SOT 11967630 SOS 7572524 HAS SOPS 6276313 HAS SOUS 2067903 HAS SOUPS 1978160 WITH SCORE 1985732.524
AT ITER 2943 NEW BEST:: SOT 11967311 SOS 7572961 HAS SOPS 6276327 HAS SOUS 2065509 HAS SOUPS 1975766 WITH SCORE 1983338.961
AT ITER 2950 NEW BEST:: SOT 11969645 SOS 7575295 HAS SOPS 6277893 HAS SOUS 2064235 HAS SOUPS 1974492 WITH SCORE 1982067.295
AT ITER 2956 NEW BEST:: SOT 11974140 SOS 7583157 HAS SOPS 6286605 HAS SOUS 2061402 HAS SOUPS 1971780 WITH SCORE 1979363.157
AT ITER 2962 NEW BEST:: SOT 11975557 SOS 7584431 HAS SOPS 6288097 HAS SOUS 2061111 HAS SOUPS 1971489 WITH SCORE 1979073.431
AT ITER 2965 NEW BEST:: SOT 11975625 SOS 7584483 HAS SOPS 6288153 HAS SOUS 2061063 HAS SOUPS 1971441 WITH SCORE 1979025.483
AT ITER 2980 NEW BEST:: SOT 11972371 SOS 7579191 HAS SOPS 6283880 HAS SOUS 2057243 HAS SOUPS 1967652 WITH SCORE 1975231.191
AT ITER 2991 NEW BEST:: SOT 11971912 SOS 7578494 HAS SOPS 6283281 HAS SOUS 2057020 HAS SOUPS 1967429 WITH SCORE 1975007.494
AT ITER 2994 NEW BEST:: SOT 11972299 SOS 7578881 HAS SOPS 6283524 HAS SOUS 2056667 HAS SOUPS 1967076 WITH SCORE 1974654.881
AT ITER 3019 NEW BEST:: SOT 11966991 SOS 7574123 HAS SOPS 6276508 HAS SOUS 2051520 HAS SOUPS 1961901 WITH SCORE 1969475.123
AT ITER 3039 NEW BEST:: SOT 11969574 SOS 7578350 HAS SOPS 6280318 HAS SOUS 2051287 HAS SOUPS 1961668 WITH SCORE 1969246.35
AT ITER 3062 NEW BEST:: SOT 11970362 SOS 7579444 HAS SOPS 6281253 HAS SOUS 2050608 HAS SOUPS 1961261 WITH SCORE 1968840.444
AT ITER 3074 NEW BEST:: SOT 11972467 SOS 7584999 HAS SOPS 6284692 HAS SOUS 2049575 HAS SOUPS 1960228 WITH SCORE 1967812.999
AT ITER 3082 NEW BEST:: SOT 11971489 SOS 7584021 HAS SOPS 6283714 HAS SOUS 2048533 HAS SOUPS 1959186 WITH SCORE 1966770.021
AT ITER 3083 NEW BEST:: SOT 11970023 SOS 7582035 HAS SOPS 6281844 HAS SOUS 2046858 HAS SOUPS 1957511 WITH SCORE 1965093.035
AT ITER 3098 NEW BEST:: SOT 11969247 SOS 7581192 HAS SOPS 6281605 HAS SOUS 2046044 HAS SOUPS 1956697 WITH SCORE 1964278.192
AT ITER 3130 NEW BEST:: SOT 11969381 SOS 7581326 HAS SOPS 6281739 HAS SOUS 2046038 HAS SOUPS 1956691 WITH SCORE 1964272.326
AT ITER 3153 NEW BEST:: SOT 11969373 SOS 7581283 HAS SOPS 6281884 HAS SOUS 2045970 HAS SOUPS 1956623 WITH SCORE 1964204.283
AT ITER 3160 NEW BEST:: SOT 11969425 SOS 7581290 HAS SOPS 6281855 HAS SOUS 2045807 HAS SOUPS 1956464 WITH SCORE 1964045.29
AT ITER 3164 NEW BEST:: SOT 11967156 SOS 7578459 HAS SOPS 6277921 HAS SOUS 2040908 HAS SOUPS 1951536 WITH SCORE 1959114.459
AT ITER 3172 NEW BEST:: SOT 11967391 SOS 7577634 HAS SOPS 6279884 HAS SOUS 2040600 HAS SOUPS 1951228 WITH SCORE 1958805.634
AT ITER 3180 NEW BEST:: SOT 11969003 SOS 7577724 HAS SOPS 6278985 HAS SOUS 2038440 HAS SOUPS 1949129 WITH SCORE 1956706.724
AT ITER 3185 NEW BEST:: SOT 11969003 SOS 7577247 HAS SOPS 6278985 HAS SOUS 2038357 HAS SOUPS 1949046 WITH SCORE 1956623.247
AT ITER 3196 NEW BEST:: SOT 11968317 SOS 7576118 HAS SOPS 6277735 HAS SOUS 2036146 HAS SOUPS 1946855 WITH SCORE 1954431.118
AT ITER 3202 NEW BEST:: SOT 11967678 SOS 7575993 HAS SOPS 6276402 HAS SOUS 2034631 HAS SOUPS 1944871 WITH SCORE 1952446.993
AT ITER 3206 NEW BEST:: SOT 11967936 SOS 7576918 HAS SOPS 6277025 HAS SOUS 2034264 HAS SOUPS 1944504 WITH SCORE 1952080.918
AT ITER 3228 NEW BEST:: SOT 11965881 SOS 7573963 HAS SOPS 6273900 HAS SOUS 2030053 HAS SOUPS 1940293 WITH SCORE 1947866.963
AT ITER 3229 NEW BEST:: SOT 11966846 SOS 7575632 HAS SOPS 6274331 HAS SOUS 2029137 HAS SOUPS 1939065 WITH SCORE 1946640.632
AT ITER 3241 NEW BEST:: SOT 11966797 SOS 7575525 HAS SOPS 6274172 HAS SOUS 2028830 HAS SOUPS 1938758 WITH SCORE 1946333.525
AT ITER 3243 NEW BEST:: SOT 11964084 SOS 7572400 HAS SOPS 6273353 HAS SOUS 2027602 HAS SOUPS 1937605 WITH SCORE 1945177.4
AT ITER 3287 NEW BEST:: SOT 11963296 SOS 7571665 HAS SOPS 6272263 HAS SOUS 2026136 HAS SOUPS 1936096 WITH SCORE 1943667.665
AT ITER 3291 NEW BEST:: SOT 11961466 SOS 7565394 HAS SOPS 6265966 HAS SOUS 2024436 HAS SOUPS 1934442 WITH SCORE 1942007.394
AT ITER 3293 NEW BEST:: SOT 11961287 SOS 7565215 HAS SOPS 6265579 HAS SOUS 2023633 HAS SOUPS 1933639 WITH SCORE 1941204.215
AT ITER 3296 NEW BEST:: SOT 11959381 SOS 7561855 HAS SOPS 6262076 HAS SOUS 2022676 HAS SOUPS 1932621 WITH SCORE 1940182.855
AT ITER 3312 NEW BEST:: SOT 11956453 SOS 7555275 HAS SOPS 6255480 HAS SOUS 2020264 HAS SOUPS 1930209 WITH SCORE 1937764.275
AT ITER 3327 NEW BEST:: SOT 11959952 SOS 7570700 HAS SOPS 6269123 HAS SOUS 2019899 HAS SOUPS 1929844 WITH SCORE 1937414.7
AT ITER 3337 NEW BEST:: SOT 11954324 SOS 7563780 HAS SOPS 6261631 HAS SOUS 2015464 HAS SOUPS 1925482 WITH SCORE 1933045.78
AT ITER 3339 NEW BEST:: SOT 11952563 SOS 7562019 HAS SOPS 6259774 HAS SOUS 2013703 HAS SOUPS 1923625 WITH SCORE 1931187.019
AT ITER 3340 NEW BEST:: SOT 11953427 SOS 7563216 HAS SOPS 6261554 HAS SOUS 2013442 HAS SOUPS 1923364 WITH SCORE 1930927.216
AT ITER 3342 NEW BEST:: SOT 11951171 SOS 7560450 HAS SOPS 6259641 HAS SOUS 2009828 HAS SOUPS 1919750 WITH SCORE 1927310.45
AT ITER 3353 NEW BEST:: SOT 11951098 SOS 7560789 HAS SOPS 6259425 HAS SOUS 2007563 HAS SOUPS 1917751 WITH SCORE 1925311.789
AT ITER 3361 NEW BEST:: SOT 11951906 SOS 7564905 HAS SOPS 6261505 HAS SOUS 2005806 HAS SOUPS 1915994 WITH SCORE 1923558.905
AT ITER 3377 NEW BEST:: SOT 11951830 SOS 7564857 HAS SOPS 6261451 HAS SOUS 2005610 HAS SOUPS 1915798 WITH SCORE 1923362.857
AT ITER 3387 NEW BEST:: SOT 11952508 SOS 7566849 HAS SOPS 6264030 HAS SOUS 2005280 HAS SOUPS 1915468 WITH SCORE 1923034.849
AT ITER 3411 NEW BEST:: SOT 11950236 SOS 7564653 HAS SOPS 6261226 HAS SOUS 2001127 HAS SOUPS 1911315 WITH SCORE 1918879.653
AT ITER 3415 NEW BEST:: SOT 11950391 SOS 7565100 HAS SOPS 6261439 HAS SOUS 2000268 HAS SOUPS 1910456 WITH SCORE 1918021.1
AT ITER 3429 NEW BEST:: SOT 11950399 SOS 7569682 HAS SOPS 6268243 HAS SOUS 1997373 HAS SOUPS 1907561 WITH SCORE 1915130.682
AT ITER 3459 NEW BEST:: SOT 11948119 SOS 7567402 HAS SOPS 6265963 HAS SOUS 1994153 HAS SOUPS 1904341 WITH SCORE 1911908.402
AT ITER 3463 NEW BEST:: SOT 11947734 SOS 7567029 HAS SOPS 6265410 HAS SOUS 1993426 HAS SOUPS 1903608 WITH SCORE 1911175.029
AT ITER 3492 NEW BEST:: SOT 11948787 SOS 7568054 HAS SOPS 6265971 HAS SOUS 1992331 HAS SOUPS 1902513 WITH SCORE 1910081.054
AT ITER 3541 NEW BEST:: SOT 11949886 SOS 7573533 HAS SOPS 6270991 HAS SOUS 1987301 HAS SOUPS 1897483 WITH SCORE 1905056.533
AT ITER 3552 NEW BEST:: SOT 11948202 SOS 7571948 HAS SOPS 6266646 HAS SOUS 1985476 HAS SOUPS 1895658 WITH SCORE 1903229.948
AT ITER 3561 NEW BEST:: SOT 11948216 SOS 7571962 HAS SOPS 6266660 HAS SOUS 1985394 HAS SOUPS 1895576 WITH SCORE 1903147.962
AT ITER 3586 NEW BEST:: SOT 11947886 SOS 7569516 HAS SOPS 6264365 HAS SOUS 1983875 HAS SOUPS 1894057 WITH SCORE 1901626.516
AT ITER 3601 NEW BEST:: SOT 11943918 SOS 7566515 HAS SOPS 6257887 HAS SOUS 1976191 HAS SOUPS 1886074 WITH SCORE 1893640.515
AT ITER 3602 NEW BEST:: SOT 11943303 SOS 7570151 HAS SOPS 6262054 HAS SOUS 1973484 HAS SOUPS 1883321 WITH SCORE 1890891.151
AT ITER 3635 NEW BEST:: SOT 11943369 SOS 7570261 HAS SOPS 6262316 HAS SOUS 1973322 HAS SOUPS 1883119 WITH SCORE 1890689.261
AT ITER 3672 NEW BEST:: SOT 11941693 SOS 7567850 HAS SOPS 6259926 HAS SOUS 1970270 HAS SOUPS 1880083 WITH SCORE 1887650.85
AT ITER 3677 NEW BEST:: SOT 11941206 SOS 7559992 HAS SOPS 6259597 HAS SOUS 1966886 HAS SOUPS 1876699 WITH SCORE 1884258.992
AT ITER 3689 NEW BEST:: SOT 11941078 SOS 7559864 HAS SOPS 6259469 HAS SOUS 1966879 HAS SOUPS 1876692 WITH SCORE 1884251.864
AT ITER 3714 NEW BEST:: SOT 11939268 SOS 7557574 HAS SOPS 6257163 HAS SOUS 1964481 HAS SOUPS 1874316 WITH SCORE 1881873.574
AT ITER 3735 NEW BEST:: SOT 11935451 SOS 7554365 HAS SOPS 6251941 HAS SOUS 1957516 HAS SOUPS 1867379 WITH SCORE 1874933.365
AT ITER 3736 NEW BEST:: SOT 11936374 SOS 7562119 HAS SOPS 6254422 HAS SOUS 1952786 HAS SOUPS 1862649 WITH SCORE 1870211.119
AT ITER 3741 NEW BEST:: SOT 11937477 SOS 7567025 HAS SOPS 6256052 HAS SOUS 1946165 HAS SOUPS 1856028 WITH SCORE 1863595.025
AT ITER 3754 NEW BEST:: SOT 11936875 SOS 7566535 HAS SOPS 6255999 HAS SOUS 1945160 HAS SOUPS 1855023 WITH SCORE 1862589.535
AT ITER 3760 NEW BEST:: SOT 11934954 SOS 7565969 HAS SOPS 6255240 HAS SOUS 1943781 HAS SOUPS 1853644 WITH SCORE 1861209.969
AT ITER 3762 NEW BEST:: SOT 11934628 SOS 7565293 HAS SOPS 6254471 HAS SOUS 1943101 HAS SOUPS 1852964 WITH SCORE 1860529.293
AT ITER 3783 NEW BEST:: SOT 11933772 SOS 7564089 HAS SOPS 6253187 HAS SOUS 1942259 HAS SOUPS 1852146 WITH SCORE 1859710.089
AT ITER 3804 NEW BEST:: SOT 11933508 SOS 7563956 HAS SOPS 6253385 HAS SOUS 1941384 HAS SOUPS 1851271 WITH SCORE 1858834.956
AT ITER 3813 NEW BEST:: SOT 11932152 SOS 7562600 HAS SOPS 6251853 HAS SOUS 1940352 HAS SOUPS 1850239 WITH SCORE 1857801.6
AT ITER 3817 NEW BEST:: SOT 11932186 SOS 7562939 HAS SOPS 6252069 HAS SOUS 1940243 HAS SOUPS 1850130 WITH SCORE 1857692.939
AT ITER 3830 NEW BEST:: SOT 11931729 SOS 7562739 HAS SOPS 6251501 HAS SOUS 1939086 HAS SOUPS 1848973 WITH SCORE 1856535.739
AT ITER 3848 NEW BEST:: SOT 11933259 SOS 7564821 HAS SOPS 6255715 HAS SOUS 1937212 HAS SOUPS 1847191 WITH SCORE 1854755.821
AT ITER 3850 NEW BEST:: SOT 11933264 SOS 7564753 HAS SOPS 6255712 HAS SOUS 1937200 HAS SOUPS 1847179 WITH SCORE 1854743.753
AT ITER 3854 NEW BEST:: SOT 11932523 SOS 7563814 HAS SOPS 6254764 HAS SOUS 1936279 HAS SOUPS 1846258 WITH SCORE 1853821.814
AT ITER 3865 NEW BEST:: SOT 11931786 SOS 7562890 HAS SOPS 6253532 HAS SOUS 1935377 HAS SOUPS 1845345 WITH SCORE 1852907.89
AT ITER 3868 NEW BEST:: SOT 11932633 SOS 7563798 HAS SOPS 6254744 HAS SOUS 1932892 HAS SOUPS 1842860 WITH SCORE 1850423.798
AT ITER 3872 NEW BEST:: SOT 11931346 SOS 7563131 HAS SOPS 6254936 HAS SOUS 1928018 HAS SOUPS 1838021 WITH SCORE 1845584.131
AT ITER 3916 NEW BEST:: SOT 11934968 SOS 7571679 HAS SOPS 6260032 HAS SOUS 1925985 HAS SOUPS 1835955 WITH SCORE 1843526.679
AT ITER 3928 NEW BEST:: SOT 11934941 SOS 7571615 HAS SOPS 6259940 HAS SOUS 1925873 HAS SOUPS 1835843 WITH SCORE 1843414.615
AT ITER 3973 NEW BEST:: SOT 11935147 SOS 7572061 HAS SOPS 6260508 HAS SOUS 1925625 HAS SOUPS 1835595 WITH SCORE 1843167.061
AT ITER 3975 NEW BEST:: SOT 11936231 SOS 7574316 HAS SOPS 6262567 HAS SOUS 1925184 HAS SOUPS 1835154 WITH SCORE 1842728.316
AT ITER 3981 NEW BEST:: SOT 11934969 SOS 7570067 HAS SOPS 6259782 HAS SOUS 1924521 HAS SOUPS 1834491 WITH SCORE 1842061.067
AT ITER 3982 NEW BEST:: SOT 11935375 SOS 7569638 HAS SOPS 6259424 HAS SOUS 1924325 HAS SOUPS 1834331 WITH SCORE 1841900.638
AT ITER 3984 NEW BEST:: SOT 11931181 SOS 7561363 HAS SOPS 6252463 HAS SOUS 1916434 HAS SOUPS 1826478 WITH SCORE 1834039.363
AT ITER 4020 NEW BEST:: SOT 11930610 SOS 7556341 HAS SOPS 6250308 HAS SOUS 1914090 HAS SOUPS 1824210 WITH SCORE 1831766.341
AT ITER 4025 NEW BEST:: SOT 11929808 SOS 7555539 HAS SOPS 6249506 HAS SOUS 1913704 HAS SOUPS 1823824 WITH SCORE 1831379.539
AT ITER 4037 NEW BEST:: SOT 11926833 SOS 7546780 HAS SOPS 6243491 HAS SOUS 1911882 HAS SOUPS 1822086 WITH SCORE 1829632.78
AT ITER 4038 NEW BEST:: SOT 11924863 SOS 7542958 HAS SOPS 6240827 HAS SOUS 1910210 HAS SOUPS 1820414 WITH SCORE 1827956.958
AT ITER 4048 NEW BEST:: SOT 11923722 SOS 7540558 HAS SOPS 6239617 HAS SOUS 1910135 HAS SOUPS 1820339 WITH SCORE 1827879.558
AT ITER 4049 NEW BEST:: SOT 11924042 SOS 7540878 HAS SOPS 6240033 HAS SOUS 1909847 HAS SOUPS 1820051 WITH SCORE 1827591.878
AT ITER 4060 NEW BEST:: SOT 11921447 SOS 7539562 HAS SOPS 6237543 HAS SOUS 1907060 HAS SOUPS 1817342 WITH SCORE 1824881.562
AT ITER 4065 NEW BEST:: SOT 11919937 SOS 7536480 HAS SOPS 6234125 HAS SOUS 1904457 HAS SOUPS 1814739 WITH SCORE 1822275.48
AT ITER 4075 NEW BEST:: SOT 11924014 SOS 7538525 HAS SOPS 6236620 HAS SOUS 1903162 HAS SOUPS 1813444 WITH SCORE 1820982.525
AT ITER 4085 NEW BEST:: SOT 11923901 SOS 7537971 HAS SOPS 6236248 HAS SOUS 1902608 HAS SOUPS 1812911 WITH SCORE 1820448.971
AT ITER 4098 NEW BEST:: SOT 11923791 SOS 7538062 HAS SOPS 6236220 HAS SOUS 1900843 HAS SOUPS 1811146 WITH SCORE 1818684.062
AT ITER 4108 NEW BEST:: SOT 11924701 SOS 7539042 HAS SOPS 6237780 HAS SOUS 1899067 HAS SOUPS 1809665 WITH SCORE 1817204.042
AT ITER 4120 NEW BEST:: SOT 11924665 SOS 7539006 HAS SOPS 6237744 HAS SOUS 1898983 HAS SOUPS 1809581 WITH SCORE 1817120.006
AT ITER 4121 NEW BEST:: SOT 11924128 SOS 7538414 HAS SOPS 6236947 HAS SOUS 1898352 HAS SOUPS 1808850 WITH SCORE 1816388.414
AT ITER 4138 NEW BEST:: SOT 11924016 SOS 7538290 HAS SOPS 6236271 HAS SOUS 1897420 HAS SOUPS 1807918 WITH SCORE 1815456.29
AT ITER 4147 NEW BEST:: SOT 11919326 SOS 7535866 HAS SOPS 6233298 HAS SOUS 1895409 HAS SOUPS 1805800 WITH SCORE 1813335.866
AT ITER 4150 NEW BEST:: SOT 11920376 SOS 7537709 HAS SOPS 6235938 HAS SOUS 1895086 HAS SOUPS 1805370 WITH SCORE 1812907.709
AT ITER 4181 NEW BEST:: SOT 11919999 SOS 7537309 HAS SOPS 6234891 HAS SOUS 1894168 HAS SOUPS 1804440 WITH SCORE 1811977.309
AT ITER 4182 NEW BEST:: SOT 11917997 SOS 7535307 HAS SOPS 6232889 HAS SOUS 1891550 HAS SOUPS 1801822 WITH SCORE 1809357.307
AT ITER 4210 NEW BEST:: SOT 11917604 SOS 7534416 HAS SOPS 6231524 HAS SOUS 1891521 HAS SOUPS 1801763 WITH SCORE 1809297.416
AT ITER 4220 NEW BEST:: SOT 11917377 SOS 7533829 HAS SOPS 6231002 HAS SOUS 1890779 HAS SOUPS 1801021 WITH SCORE 1808554.829
AT ITER 4228 NEW BEST:: SOT 11917949 SOS 7534269 HAS SOPS 6230474 HAS SOUS 1888543 HAS SOUPS 1798785 WITH SCORE 1806319.269
AT ITER 4229 NEW BEST:: SOT 11917372 SOS 7533272 HAS SOPS 6229818 HAS SOUS 1888264 HAS SOUPS 1798506 WITH SCORE 1806039.272
AT ITER 4298 NEW BEST:: SOT 11916558 SOS 7532177 HAS SOPS 6228583 HAS SOUS 1885899 HAS SOUPS 1796141 WITH SCORE 1803673.177
AT ITER 4300 NEW BEST:: SOT 11916751 SOS 7533175 HAS SOPS 6228162 HAS SOUS 1884799 HAS SOUPS 1794998 WITH SCORE 1802531.175
AT ITER 4301 NEW BEST:: SOT 11914137 SOS 7530561 HAS SOPS 6224988 HAS SOUS 1879077 HAS SOUPS 1789276 WITH SCORE 1796806.561
AT ITER 4310 NEW BEST:: SOT 11913035 SOS 7527753 HAS SOPS 6221660 HAS SOUS 1879042 HAS SOUPS 1789241 WITH SCORE 1796768.753
AT ITER 4326 NEW BEST:: SOT 11907442 SOS 7519019 HAS SOPS 6212556 HAS SOUS 1871712 HAS SOUPS 1781937 WITH SCORE 1789456.019
AT ITER 4327 NEW BEST:: SOT 11914858 SOS 7526167 HAS SOPS 6219182 HAS SOUS 1871278 HAS SOUPS 1781503 WITH SCORE 1789029.167
AT ITER 4337 NEW BEST:: SOT 11912441 SOS 7523713 HAS SOPS 6216233 HAS SOUS 1867297 HAS SOUPS 1777415 WITH SCORE 1784938.713
AT ITER 4339 NEW BEST:: SOT 11909900 SOS 7524270 HAS SOPS 6216929 HAS SOUS 1866333 HAS SOUPS 1776374 WITH SCORE 1783898.27
AT ITER 4348 NEW BEST:: SOT 11908895 SOS 7522045 HAS SOPS 6215056 HAS SOUS 1866004 HAS SOUPS 1776067 WITH SCORE 1783589.045
AT ITER 4359 NEW BEST:: SOT 11908976 SOS 7522388 HAS SOPS 6215834 HAS SOUS 1865883 HAS SOUPS 1775946 WITH SCORE 1783468.388
AT ITER 4361 NEW BEST:: SOT 11908714 SOS 7521598 HAS SOPS 6214521 HAS SOUS 1863978 HAS SOUPS 1774041 WITH SCORE 1781562.598
AT ITER 4363 NEW BEST:: SOT 11908846 SOS 7521860 HAS SOPS 6214704 HAS SOUS 1863486 HAS SOUPS 1773549 WITH SCORE 1781070.86
AT ITER 4411 NEW BEST:: SOT 11908902 SOS 7521916 HAS SOPS 6214776 HAS SOUS 1863438 HAS SOUPS 1773501 WITH SCORE 1781022.916
AT ITER 4432 NEW BEST:: SOT 11908778 SOS 7521394 HAS SOPS 6214378 HAS SOUS 1862743 HAS SOUPS 1772806 WITH SCORE 1780327.394
AT ITER 4435 NEW BEST:: SOT 11907799 SOS 7519876 HAS SOPS 6212688 HAS SOUS 1858767 HAS SOUPS 1768830 WITH SCORE 1776349.876
AT ITER 4468 NEW BEST:: SOT 11910186 SOS 7524088 HAS SOPS 6216052 HAS SOUS 1856595 HAS SOUPS 1766601 WITH SCORE 1774125.088
AT ITER 4473 NEW BEST:: SOT 11909756 SOS 7523771 HAS SOPS 6214979 HAS SOUS 1856346 HAS SOUPS 1766277 WITH SCORE 1773800.771
AT ITER 4475 NEW BEST:: SOT 11908904 SOS 7522999 HAS SOPS 6214063 HAS SOUS 1855190 HAS SOUPS 1765105 WITH SCORE 1772627.999
AT ITER 4486 NEW BEST:: SOT 11908858 SOS 7522728 HAS SOPS 6214577 HAS SOUS 1854540 HAS SOUPS 1764455 WITH SCORE 1771977.728
AT ITER 4492 NEW BEST:: SOT 11908768 SOS 7523857 HAS SOPS 6215498 HAS SOUS 1852139 HAS SOUPS 1762026 WITH SCORE 1769549.857
AT ITER 4523 NEW BEST:: SOT 11908488 SOS 7522879 HAS SOPS 6214575 HAS SOUS 1851840 HAS SOUPS 1761727 WITH SCORE 1769249.879
AT ITER 4526 NEW BEST:: SOT 11912579 SOS 7528464 HAS SOPS 6219861 HAS SOUS 1851318 HAS SOUPS 1761141 WITH SCORE 1768669.464
AT ITER 4542 NEW BEST:: SOT 11912628 SOS 7531512 HAS SOPS 6222146 HAS SOUS 1846065 HAS SOUPS 1755828 WITH SCORE 1763359.512
AT ITER 4549 NEW BEST:: SOT 11911240 SOS 7527831 HAS SOPS 6219266 HAS SOUS 1844322 HAS SOUPS 1754085 WITH SCORE 1761612.831
AT ITER 4557 NEW BEST:: SOT 11912610 SOS 7531215 HAS SOPS 6224496 HAS SOUS 1843862 HAS SOUPS 1753625 WITH SCORE 1761156.215
AT ITER 4661 NEW BEST:: SOT 11912029 SOS 7530634 HAS SOPS 6223831 HAS SOUS 1842973 HAS SOUPS 1752736 WITH SCORE 1760266.634
AT ITER 4662 NEW BEST:: SOT 11909564 SOS 7527300 HAS SOPS 6220773 HAS SOUS 1839215 HAS SOUPS 1749001 WITH SCORE 1756528.3
AT ITER 4663 NEW BEST:: SOT 11909010 SOS 7526047 HAS SOPS 6219979 HAS SOUS 1837903 HAS SOUPS 1747689 WITH SCORE 1755215.047
AT ITER 4664 NEW BEST:: SOT 11905058 SOS 7522095 HAS SOPS 6216015 HAS SOUS 1833587 HAS SOUPS 1743457 WITH SCORE 1750979.095
AT ITER 4665 NEW BEST:: SOT 11905089 SOS 7521994 HAS SOPS 6216174 HAS SOUS 1832775 HAS SOUPS 1743074 WITH SCORE 1750595.994
AT ITER 4674 NEW BEST:: SOT 11899648 SOS 7515403 HAS SOPS 6208045 HAS SOUS 1823214 HAS SOUPS 1733513 WITH SCORE 1741028.403
AT ITER 4689 NEW BEST:: SOT 11899925 SOS 7515096 HAS SOPS 6208343 HAS SOUS 1821095 HAS SOUPS 1732002 WITH SCORE 1739517.096
AT ITER 4698 NEW BEST:: SOT 11899490 SOS 7513841 HAS SOPS 6207397 HAS SOUS 1818554 HAS SOUPS 1729461 WITH SCORE 1736974.841
AT ITER 4717 NEW BEST:: SOT 11898209 SOS 7507558 HAS SOPS 6205726 HAS SOUS 1812721 HAS SOUPS 1723744 WITH SCORE 1731251.558
AT ITER 4730 NEW BEST:: SOT 11898100 SOS 7506710 HAS SOPS 6204747 HAS SOUS 1812289 HAS SOUPS 1723312 WITH SCORE 1730818.71
AT ITER 4741 NEW BEST:: SOT 11897839 SOS 7506409 HAS SOPS 6205362 HAS SOUS 1812150 HAS SOUPS 1723182 WITH SCORE 1730688.409
AT ITER 4750 NEW BEST:: SOT 11894515 SOS 7497653 HAS SOPS 6200170 HAS SOUS 1811326 HAS SOUPS 1722460 WITH SCORE 1729957.653
AT ITER 4760 NEW BEST:: SOT 11894252 SOS 7497595 HAS SOPS 6200159 HAS SOUS 1810870 HAS SOUPS 1722004 WITH SCORE 1729501.595
AT ITER 4765 NEW BEST:: SOT 11893276 SOS 7496641 HAS SOPS 6199183 HAS SOUS 1809916 HAS SOUPS 1721028 WITH SCORE 1728524.641
AT ITER 4779 NEW BEST:: SOT 11892940 SOS 7495738 HAS SOPS 6198358 HAS SOUS 1809598 HAS SOUPS 1720720 WITH SCORE 1728215.738
AT ITER 4795 NEW BEST:: SOT 11889264 SOS 7488133 HAS SOPS 6191998 HAS SOUS 1806215 HAS SOUPS 1717337 WITH SCORE 1724825.133
AT ITER 4796 NEW BEST:: SOT 11890063 SOS 7489139 HAS SOPS 6193336 HAS SOUS 1805944 HAS SOUPS 1717066 WITH SCORE 1724555.139
AT ITER 4817 NEW BEST:: SOT 11890076 SOS 7487674 HAS SOPS 6192786 HAS SOUS 1805183 HAS SOUPS 1716305 WITH SCORE 1723792.674
AT ITER 4833 NEW BEST:: SOT 11890608 SOS 7489464 HAS SOPS 6193649 HAS SOUS 1804794 HAS SOUPS 1715916 WITH SCORE 1723405.464
AT ITER 4841 NEW BEST:: SOT 11890410 SOS 7490102 HAS SOPS 6194091 HAS SOUS 1803904 HAS SOUPS 1715026 WITH SCORE 1722516.102
AT ITER 4845 NEW BEST:: SOT 11890160 SOS 7489750 HAS SOPS 6193699 HAS SOUS 1803516 HAS SOUPS 1714640 WITH SCORE 1722129.75
AT ITER 4847 NEW BEST:: SOT 11890656 SOS 7490093 HAS SOPS 6192711 HAS SOUS 1801740 HAS SOUPS 1712864 WITH SCORE 1720354.093
AT ITER 4883 NEW BEST:: SOT 11889248 SOS 7488685 HAS SOPS 6191303 HAS SOUS 1800044 HAS SOUPS 1711168 WITH SCORE 1718656.685
AT ITER 4886 NEW BEST:: SOT 11891598 SOS 7492826 HAS SOPS 6195153 HAS SOUS 1799088 HAS SOUPS 1710099 WITH SCORE 1717591.826
AT ITER 4889 NEW BEST:: SOT 11889573 SOS 7491095 HAS SOPS 6194167 HAS SOUS 1796930 HAS SOUPS 1707941 WITH SCORE 1715432.095
AT ITER 4921 NEW BEST:: SOT 11888510 SOS 7491203 HAS SOPS 6192377 HAS SOUS 1793308 HAS SOUPS 1704285 WITH SCORE 1711776.203
AT ITER 4923 NEW BEST:: SOT 11890644 SOS 7494696 HAS SOPS 6194223 HAS SOUS 1788646 HAS SOUPS 1699623 WITH SCORE 1707117.696
AT ITER 4927 NEW BEST:: SOT 11890566 SOS 7494618 HAS SOPS 6194145 HAS SOUS 1788568 HAS SOUPS 1699545 WITH SCORE 1707039.618
AT ITER 4967 NEW BEST:: SOT 11890878 SOS 7494930 HAS SOPS 6194281 HAS SOUS 1787848 HAS SOUPS 1698825 WITH SCORE 1706319.93
AT ITER 4982 NEW BEST:: SOT 11892506 SOS 7495841 HAS SOPS 6193414 HAS SOUS 1786965 HAS SOUPS 1697942 WITH SCORE 1705437.841
AT ITER 5026 NEW BEST:: SOT 11892566 SOS 7495308 HAS SOPS 6195410 HAS SOUS 1781853 HAS SOUPS 1692830 WITH SCORE 1700325.308
AT ITER 5032 NEW BEST:: SOT 11892402 SOS 7494036 HAS SOPS 6194345 HAS SOUS 1781665 HAS SOUPS 1692642 WITH SCORE 1700136.036
AT ITER 5034 NEW BEST:: SOT 11892405 SOS 7492680 HAS SOPS 6193783 HAS SOUS 1781617 HAS SOUPS 1692594 WITH SCORE 1700086.68
AT ITER 5040 NEW BEST:: SOT 11893753 SOS 7494772 HAS SOPS 6195131 HAS SOUS 1781529 HAS SOUPS 1692475 WITH SCORE 1699969.772
AT ITER 5041 NEW BEST:: SOT 11892774 SOS 7492892 HAS SOPS 6194139 HAS SOUS 1781183 HAS SOUPS 1692129 WITH SCORE 1699621.892
AT ITER 5062 NEW BEST:: SOT 11893212 SOS 7492898 HAS SOPS 6193889 HAS SOUS 1780321 HAS SOUPS 1691267 WITH SCORE 1698759.898
AT ITER 5069 NEW BEST:: SOT 11893195 SOS 7492552 HAS SOPS 6193668 HAS SOUS 1780229 HAS SOUPS 1691175 WITH SCORE 1698667.552
AT ITER 5073 NEW BEST:: SOT 11892363 SOS 7491720 HAS SOPS 6192836 HAS SOUS 1779789 HAS SOUPS 1690735 WITH SCORE 1698226.72
AT ITER 5086 NEW BEST:: SOT 11892297 SOS 7491977 HAS SOPS 6192384 HAS SOUS 1779006 HAS SOUPS 1689952 WITH SCORE 1697443.977
AT ITER 5117 NEW BEST:: SOT 11874073 SOS 7470469 HAS SOPS 6171900 HAS SOUS 1764684 HAS SOUPS 1675630 WITH SCORE 1683100.469
AT ITER 5182 NEW BEST:: SOT 11874081 SOS 7470477 HAS SOPS 6171908 HAS SOUS 1764652 HAS SOUPS 1675598 WITH SCORE 1683068.477
AT ITER 5191 NEW BEST:: SOT 11876865 SOS 7475095 HAS SOPS 6178123 HAS SOUS 1762390 HAS SOUPS 1673336 WITH SCORE 1680811.095
AT ITER 5196 NEW BEST:: SOT 11876916 SOS 7473886 HAS SOPS 6177246 HAS SOUS 1760830 HAS SOUPS 1671811 WITH SCORE 1679284.886
AT ITER 5199 NEW BEST:: SOT 11876892 SOS 7472232 HAS SOPS 6178062 HAS SOUS 1760225 HAS SOUPS 1671206 WITH SCORE 1678678.232
AT ITER 5204 NEW BEST:: SOT 11877010 SOS 7471984 HAS SOPS 6177454 HAS SOUS 1758815 HAS SOUPS 1669796 WITH SCORE 1677267.984
AT ITER 5251 NEW BEST:: SOT 11876014 SOS 7470948 HAS SOPS 6176118 HAS SOUS 1757280 HAS SOUPS 1668121 WITH SCORE 1675591.948
AT ITER 5254 NEW BEST:: SOT 11877343 SOS 7472532 HAS SOPS 6177432 HAS SOUS 1752330 HAS SOUPS 1663306 WITH SCORE 1670778.532
AT ITER 5306 NEW BEST:: SOT 11877343 SOS 7472572 HAS SOPS 6177501 HAS SOUS 1752322 HAS SOUPS 1663298 WITH SCORE 1670770.572
AT ITER 5320 NEW BEST:: SOT 11877421 SOS 7472667 HAS SOPS 6177303 HAS SOUS 1751608 HAS SOUPS 1662584 WITH SCORE 1670056.667
AT ITER 5322 NEW BEST:: SOT 11875918 SOS 7471164 HAS SOPS 6175096 HAS SOUS 1748581 HAS SOUPS 1659557 WITH SCORE 1667028.164
AT ITER 5327 NEW BEST:: SOT 11869930 SOS 7466119 HAS SOPS 6164356 HAS SOUS 1735114 HAS SOUPS 1645100 WITH SCORE 1652566.119
AT ITER 5335 NEW BEST:: SOT 11868319 SOS 7462736 HAS SOPS 6160152 HAS SOUS 1733042 HAS SOUPS 1643028 WITH SCORE 1650490.736
AT ITER 5340 NEW BEST:: SOT 11868231 SOS 7462252 HAS SOPS 6160052 HAS SOUS 1732198 HAS SOUPS 1642536 WITH SCORE 1649998.252
AT ITER 5344 NEW BEST:: SOT 11868011 SOS 7462179 HAS SOPS 6160294 HAS SOUS 1728545 HAS SOUPS 1638883 WITH SCORE 1646345.179
AT ITER 5349 NEW BEST:: SOT 11867874 SOS 7458784 HAS SOPS 6157282 HAS SOUS 1728123 HAS SOUPS 1638461 WITH SCORE 1645919.784
AT ITER 5351 NEW BEST:: SOT 11869390 SOS 7460116 HAS SOPS 6157454 HAS SOUS 1726289 HAS SOUPS 1636673 WITH SCORE 1644133.116
AT ITER 5366 NEW BEST:: SOT 11870664 SOS 7461367 HAS SOPS 6159653 HAS SOUS 1722473 HAS SOUPS 1633455 WITH SCORE 1640916.367
AT ITER 5372 NEW BEST:: SOT 11870245 SOS 7460316 HAS SOPS 6159018 HAS SOUS 1721673 HAS SOUPS 1632668 WITH SCORE 1640128.316
AT ITER 5385 NEW BEST:: SOT 11873916 SOS 7465509 HAS SOPS 6164771 HAS SOUS 1721120 HAS SOUPS 1632115 WITH SCORE 1639580.509
AT ITER 5401 NEW BEST:: SOT 11874452 SOS 7467856 HAS SOPS 6166035 HAS SOUS 1719589 HAS SOUPS 1630584 WITH SCORE 1638051.856
AT ITER 5407 NEW BEST:: SOT 11874404 SOS 7467810 HAS SOPS 6165945 HAS SOUS 1719493 HAS SOUPS 1630486 WITH SCORE 1637953.81
AT ITER 5455 NEW BEST:: SOT 11873120 SOS 7459168 HAS SOPS 6163439 HAS SOUS 1716023 HAS SOUPS 1627168 WITH SCORE 1634627.168
AT ITER 5495 NEW BEST:: SOT 11871619 SOS 7458829 HAS SOPS 6167252 HAS SOUS 1707748 HAS SOUPS 1618893 WITH SCORE 1626351.829
AT ITER 5501 NEW BEST:: SOT 11871307 SOS 7458591 HAS SOPS 6166949 HAS SOUS 1706570 HAS SOUPS 1617723 WITH SCORE 1625181.591
AT ITER 5511 NEW BEST:: SOT 11871125 SOS 7458425 HAS SOPS 6166703 HAS SOUS 1706338 HAS SOUPS 1617491 WITH SCORE 1624949.425
AT ITER 5513 NEW BEST:: SOT 11867051 SOS 7453629 HAS SOPS 6165403 HAS SOUS 1704392 HAS SOUPS 1615660 WITH SCORE 1623113.629
AT ITER 5516 NEW BEST:: SOT 11866500 SOS 7450001 HAS SOPS 6160501 HAS SOUS 1704173 HAS SOUPS 1615441 WITH SCORE 1622891.001
AT ITER 5534 NEW BEST:: SOT 11867157 SOS 7451096 HAS SOPS 6160534 HAS SOUS 1702438 HAS SOUPS 1613603 WITH SCORE 1621054.096
AT ITER 5551 NEW BEST:: SOT 11867001 SOS 7450940 HAS SOPS 6160330 HAS SOUS 1702126 HAS SOUPS 1613291 WITH SCORE 1620741.94
AT ITER 5558 NEW BEST:: SOT 11864287 SOS 7445314 HAS SOPS 6154752 HAS SOUS 1696540 HAS SOUPS 1607749 WITH SCORE 1615194.314
AT ITER 5562 NEW BEST:: SOT 11867839 SOS 7452163 HAS SOPS 6161323 HAS SOUS 1695948 HAS SOUPS 1607027 WITH SCORE 1614479.163
AT ITER 5600 NEW BEST:: SOT 11866768 SOS 7451092 HAS SOPS 6160124 HAS SOUS 1694185 HAS SOUPS 1605264 WITH SCORE 1612715.092
AT ITER 5615 NEW BEST:: SOT 11863353 SOS 7446561 HAS SOPS 6155136 HAS SOUS 1686902 HAS SOUPS 1597949 WITH SCORE 1605395.561
AT ITER 5619 NEW BEST:: SOT 11863261 SOS 7446424 HAS SOPS 6154978 HAS SOUS 1686648 HAS SOUPS 1597695 WITH SCORE 1605141.424
AT ITER 5626 NEW BEST:: SOT 11864592 SOS 7448114 HAS SOPS 6158533 HAS SOUS 1685571 HAS SOUPS 1596618 WITH SCORE 1604066.114
AT ITER 5632 NEW BEST:: SOT 11863276 SOS 7445931 HAS SOPS 6156182 HAS SOUS 1682664 HAS SOUPS 1593738 WITH SCORE 1601183.931
AT ITER 5639 NEW BEST:: SOT 11863254 SOS 7445909 HAS SOPS 6156080 HAS SOUS 1682542 HAS SOUPS 1593616 WITH SCORE 1601061.909
AT ITER 5641 NEW BEST:: SOT 11867307 SOS 7449962 HAS SOPS 6159221 HAS SOUS 1681283 HAS SOUPS 1592357 WITH SCORE 1599806.962
AT ITER 5649 NEW BEST:: SOT 11867195 SOS 7449824 HAS SOPS 6158627 HAS SOUS 1681014 HAS SOUPS 1591887 WITH SCORE 1599336.824
AT ITER 5650 NEW BEST:: SOT 11866321 SOS 7448729 HAS SOPS 6157311 HAS SOUS 1679538 HAS SOUPS 1590411 WITH SCORE 1597859.729
AT ITER 5652 NEW BEST:: SOT 11865700 SOS 7448012 HAS SOPS 6156882 HAS SOUS 1678965 HAS SOUPS 1589838 WITH SCORE 1597286.012
AT ITER 5663 NEW BEST:: SOT 11865220 SOS 7448022 HAS SOPS 6156902 HAS SOUS 1677575 HAS SOUPS 1588448 WITH SCORE 1595896.022
AT ITER 5668 NEW BEST:: SOT 11865481 SOS 7445523 HAS SOPS 6152547 HAS SOUS 1675724 HAS SOUPS 1586597 WITH SCORE 1594042.523
AT ITER 5672 NEW BEST:: SOT 11866348 SOS 7443998 HAS SOPS 6152376 HAS SOUS 1675511 HAS SOUPS 1586384 WITH SCORE 1593827.998
AT ITER 5688 NEW BEST:: SOT 11866281 SOS 7443913 HAS SOPS 6152234 HAS SOUS 1675457 HAS SOUPS 1586330 WITH SCORE 1593773.913
AT ITER 5692 NEW BEST:: SOT 11866609 SOS 7444032 HAS SOPS 6151709 HAS SOUS 1674278 HAS SOUPS 1585151 WITH SCORE 1592595.032
AT ITER 5696 NEW BEST:: SOT 11865351 SOS 7442886 HAS SOPS 6149921 HAS SOUS 1671859 HAS SOUPS 1582719 WITH SCORE 1590161.886
AT ITER 5697 NEW BEST:: SOT 11865064 SOS 7442599 HAS SOPS 6149634 HAS SOUS 1670436 HAS SOUPS 1581296 WITH SCORE 1588738.599
AT ITER 5711 NEW BEST:: SOT 11864245 SOS 7441780 HAS SOPS 6148639 HAS SOUS 1669757 HAS SOUPS 1580617 WITH SCORE 1588058.78
AT ITER 5728 NEW BEST:: SOT 11863813 SOS 7440526 HAS SOPS 6148006 HAS SOUS 1669442 HAS SOUPS 1580392 WITH SCORE 1587832.526
AT ITER 5732 NEW BEST:: SOT 11863186 SOS 7439940 HAS SOPS 6147411 HAS SOUS 1668601 HAS SOUPS 1579542 WITH SCORE 1586981.94
AT ITER 5736 NEW BEST:: SOT 11863129 SOS 7439935 HAS SOPS 6147360 HAS SOUS 1668321 HAS SOUPS 1579262 WITH SCORE 1586701.935
AT ITER 5743 NEW BEST:: SOT 11862523 SOS 7440390 HAS SOPS 6148041 HAS SOUS 1668054 HAS SOUPS 1578995 WITH SCORE 1586435.39
AT ITER 5744 NEW BEST:: SOT 11862284 SOS 7440199 HAS SOPS 6147938 HAS SOUS 1667971 HAS SOUPS 1578912 WITH SCORE 1586352.199
AT ITER 5747 NEW BEST:: SOT 11862175 SOS 7440077 HAS SOPS 6147770 HAS SOUS 1667717 HAS SOUPS 1578658 WITH SCORE 1586098.077
AT ITER 5749 NEW BEST:: SOT 11865798 SOS 7451685 HAS SOPS 6156238 HAS SOUS 1663161 HAS SOUPS 1573980 WITH SCORE 1581431.685
AT ITER 5760 NEW BEST:: SOT 11866041 SOS 7453234 HAS SOPS 6157074 HAS SOUS 1662852 HAS SOUPS 1573671 WITH SCORE 1581124.234
AT ITER 5799 NEW BEST:: SOT 11865581 SOS 7450120 HAS SOPS 6154672 HAS SOUS 1661890 HAS SOUPS 1572722 WITH SCORE 1580172.12
AT ITER 5815 NEW BEST:: SOT 11865361 SOS 7447085 HAS SOPS 6151958 HAS SOUS 1658020 HAS SOUPS 1569251 WITH SCORE 1576698.085
AT ITER 5821 NEW BEST:: SOT 11868637 SOS 7450361 HAS SOPS 6154338 HAS SOUS 1656324 HAS SOUPS 1567555 WITH SCORE 1575005.361
AT ITER 5848 NEW BEST:: SOT 11875568 SOS 7454013 HAS SOPS 6154951 HAS SOUS 1653933 HAS SOUPS 1565290 WITH SCORE 1572744.013
AT ITER 5863 NEW BEST:: SOT 11875519 SOS 7454062 HAS SOPS 6154895 HAS SOUS 1653688 HAS SOUPS 1565045 WITH SCORE 1572499.062
AT ITER 5869 NEW BEST:: SOT 11874742 SOS 7452976 HAS SOPS 6152997 HAS SOUS 1648824 HAS SOUPS 1560153 WITH SCORE 1567605.976
AT ITER 5885 NEW BEST:: SOT 11874528 SOS 7452780 HAS SOPS 6152096 HAS SOUS 1648738 HAS SOUPS 1560066 WITH SCORE 1567518.78
AT ITER 5886 NEW BEST:: SOT 11870129 SOS 7440693 HAS SOPS 6152720 HAS SOUS 1646844 HAS SOUPS 1558221 WITH SCORE 1565661.693
AT ITER 5889 NEW BEST:: SOT 11869807 SOS 7439138 HAS SOPS 6146628 HAS SOUS 1645434 HAS SOUPS 1556811 WITH SCORE 1564250.138
AT ITER 5913 NEW BEST:: SOT 11869111 SOS 7437203 HAS SOPS 6145655 HAS SOUS 1643659 HAS SOUPS 1555069 WITH SCORE 1562506.203
AT ITER 5921 NEW BEST:: SOT 11871203 SOS 7446560 HAS SOPS 6158018 HAS SOUS 1643437 HAS SOUPS 1554847 WITH SCORE 1562293.56
AT ITER 5922 NEW BEST:: SOT 11871076 SOS 7445114 HAS SOPS 6156899 HAS SOUS 1643103 HAS SOUPS 1554513 WITH SCORE 1561958.114
AT ITER 5937 NEW BEST:: SOT 11872571 SOS 7442662 HAS SOPS 6157119 HAS SOUS 1641869 HAS SOUPS 1553279 WITH SCORE 1560721.662
AT ITER 5938 NEW BEST:: SOT 11872831 SOS 7444420 HAS SOPS 6156621 HAS SOUS 1641737 HAS SOUPS 1553147 WITH SCORE 1560591.42
AT ITER 5965 NEW BEST:: SOT 11875553 SOS 7448332 HAS SOPS 6162718 HAS SOUS 1640846 HAS SOUPS 1552395 WITH SCORE 1559843.332
AT ITER 5968 NEW BEST:: SOT 11870457 SOS 7442373 HAS SOPS 6159916 HAS SOUS 1637947 HAS SOUPS 1549616 WITH SCORE 1557058.373
AT ITER 5988 NEW BEST:: SOT 11869693 SOS 7441587 HAS SOPS 6159392 HAS SOUS 1636361 HAS SOUPS 1547948 WITH SCORE 1555389.587
AT ITER 6004 NEW BEST:: SOT 11865276 SOS 7434405 HAS SOPS 6153790 HAS SOUS 1633686 HAS SOUPS 1545273 WITH SCORE 1552707.405
AT ITER 6014 NEW BEST:: SOT 11863060 SOS 7431170 HAS SOPS 6150555 HAS SOUS 1631174 HAS SOUPS 1542761 WITH SCORE 1550192.17
AT ITER 6017 NEW BEST:: SOT 11864253 SOS 7432520 HAS SOPS 6152106 HAS SOUS 1630597 HAS SOUPS 1542238 WITH SCORE 1549670.52
AT ITER 6042 NEW BEST:: SOT 11864012 SOS 7432136 HAS SOPS 6151670 HAS SOUS 1630047 HAS SOUPS 1541687 WITH SCORE 1549119.136
AT ITER 6048 NEW BEST:: SOT 11863199 SOS 7430823 HAS SOPS 6150069 HAS SOUS 1628830 HAS SOUPS 1540470 WITH SCORE 1547900.823
AT ITER 6057 NEW BEST:: SOT 11858457 SOS 7430480 HAS SOPS 6148494 HAS SOUS 1625615 HAS SOUPS 1537255 WITH SCORE 1544685.48
AT ITER 6067 NEW BEST:: SOT 11857927 SOS 7430899 HAS SOPS 6148038 HAS SOUS 1623927 HAS SOUPS 1535548 WITH SCORE 1542978.899
AT ITER 6068 NEW BEST:: SOT 11857068 SOS 7430029 HAS SOPS 6147000 HAS SOUS 1621484 HAS SOUPS 1533105 WITH SCORE 1540535.029
AT ITER 6099 NEW BEST:: SOT 11856332 SOS 7429105 HAS SOPS 6145331 HAS SOUS 1621055 HAS SOUPS 1532636 WITH SCORE 1540065.105
AT ITER 6123 NEW BEST:: SOT 11854926 SOS 7428303 HAS SOPS 6144349 HAS SOUS 1620415 HAS SOUPS 1531981 WITH SCORE 1539409.303
AT ITER 6138 NEW BEST:: SOT 11855030 SOS 7428450 HAS SOPS 6143856 HAS SOUS 1620069 HAS SOUPS 1531650 WITH SCORE 1539078.45
AT ITER 6142 NEW BEST:: SOT 11854416 SOS 7426958 HAS SOPS 6139361 HAS SOUS 1617988 HAS SOUPS 1529569 WITH SCORE 1536995.958
AT ITER 6161 NEW BEST:: SOT 11850158 SOS 7423015 HAS SOPS 6133495 HAS SOUS 1613053 HAS SOUPS 1524634 WITH SCORE 1532057.015
AT ITER 6162 NEW BEST:: SOT 11850156 SOS 7422249 HAS SOPS 6132197 HAS SOUS 1613017 HAS SOUPS 1524598 WITH SCORE 1532020.249
AT ITER 6209 NEW BEST:: SOT 11851759 SOS 7424162 HAS SOPS 6135153 HAS SOUS 1608406 HAS SOUPS 1520118 WITH SCORE 1527542.162
AT ITER 6210 NEW BEST:: SOT 11851480 SOS 7423883 HAS SOPS 6134234 HAS SOUS 1606345 HAS SOUPS 1518041 WITH SCORE 1525464.883
AT ITER 6219 NEW BEST:: SOT 11850415 SOS 7422833 HAS SOPS 6133148 HAS SOUS 1605836 HAS SOUPS 1517404 WITH SCORE 1524826.833
AT ITER 6235 NEW BEST:: SOT 11849041 SOS 7425990 HAS SOPS 6134753 HAS SOUS 1605202 HAS SOUPS 1516690 WITH SCORE 1524115.99
AT ITER 6253 NEW BEST:: SOT 11852636 SOS 7430012 HAS SOPS 6139918 HAS SOUS 1604674 HAS SOUPS 1516192 WITH SCORE 1523622.012
AT ITER 6256 NEW BEST:: SOT 11852699 SOS 7430628 HAS SOPS 6138865 HAS SOUS 1604059 HAS SOUPS 1515577 WITH SCORE 1523007.628
AT ITER 6259 NEW BEST:: SOT 11852648 SOS 7430556 HAS SOPS 6138793 HAS SOUS 1603984 HAS SOUPS 1515502 WITH SCORE 1522932.556
AT ITER 6261 NEW BEST:: SOT 11849719 SOS 7424317 HAS SOPS 6133273 HAS SOUS 1601355 HAS SOUPS 1512873 WITH SCORE 1520297.317
AT ITER 6268 NEW BEST:: SOT 11849467 SOS 7423905 HAS SOPS 6132876 HAS SOUS 1601048 HAS SOUPS 1512576 WITH SCORE 1519999.905
AT ITER 6292 NEW BEST:: SOT 11848748 SOS 7420737 HAS SOPS 6129692 HAS SOUS 1599424 HAS SOUPS 1510781 WITH SCORE 1518201.737
AT ITER 6299 NEW BEST:: SOT 11849507 SOS 7424323 HAS SOPS 6131630 HAS SOUS 1598266 HAS SOUPS 1509623 WITH SCORE 1517047.323
AT ITER 6318 NEW BEST:: SOT 11849564 SOS 7425954 HAS SOPS 6134020 HAS SOUS 1597897 HAS SOUPS 1509254 WITH SCORE 1516679.954
AT ITER 6333 NEW BEST:: SOT 11845687 SOS 7422005 HAS SOPS 6130058 HAS SOUS 1594389 HAS SOUPS 1505746 WITH SCORE 1513168.005
AT ITER 6389 NEW BEST:: SOT 11848834 SOS 7426102 HAS SOPS 6135395 HAS SOUS 1591077 HAS SOUPS 1502553 WITH SCORE 1509979.102
AT ITER 6390 NEW BEST:: SOT 11848445 SOS 7424912 HAS SOPS 6134447 HAS SOUS 1590666 HAS SOUPS 1502142 WITH SCORE 1509566.912
AT ITER 6397 NEW BEST:: SOT 11848374 SOS 7424801 HAS SOPS 6134346 HAS SOUS 1590505 HAS SOUPS 1501991 WITH SCORE 1509415.801
AT ITER 6423 NEW BEST:: SOT 11847522 SOS 7423913 HAS SOPS 6133098 HAS SOUS 1588789 HAS SOUPS 1500275 WITH SCORE 1507698.913
AT ITER 6454 NEW BEST:: SOT 11847682 SOS 7426442 HAS SOPS 6132968 HAS SOUS 1588424 HAS SOUPS 1499910 WITH SCORE 1507336.442
AT ITER 6466 NEW BEST:: SOT 11847621 SOS 7426380 HAS SOPS 6132890 HAS SOUS 1588299 HAS SOUPS 1499785 WITH SCORE 1507211.38
AT ITER 6474 NEW BEST:: SOT 11847717 SOS 7425830 HAS SOPS 6131139 HAS SOUS 1587594 HAS SOUPS 1499080 WITH SCORE 1506505.83
AT ITER 6481 NEW BEST:: SOT 11847494 SOS 7425553 HAS SOPS 6130475 HAS SOUS 1586579 HAS SOUPS 1498065 WITH SCORE 1505490.553
AT ITER 6487 NEW BEST:: SOT 11847678 SOS 7428362 HAS SOPS 6132270 HAS SOUS 1585255 HAS SOUPS 1496741 WITH SCORE 1504169.362
AT ITER 6497 NEW BEST:: SOT 11847601 SOS 7428257 HAS SOPS 6132199 HAS SOUS 1585158 HAS SOUPS 1496644 WITH SCORE 1504072.257
AT ITER 6502 NEW BEST:: SOT 11842480 SOS 7423136 HAS SOPS 6126574 HAS SOUS 1579360 HAS SOUPS 1490755 WITH SCORE 1498178.136
AT ITER 6507 NEW BEST:: SOT 11841040 SOS 7421722 HAS SOPS 6124627 HAS SOUS 1576855 HAS SOUPS 1488315 WITH SCORE 1495736.722
AT ITER 6538 NEW BEST:: SOT 11839084 SOS 7419734 HAS SOPS 6122882 HAS SOUS 1573223 HAS SOUPS 1484615 WITH SCORE 1492034.734
AT ITER 6553 NEW BEST:: SOT 11838885 SOS 7419452 HAS SOPS 6122413 HAS SOUS 1573072 HAS SOUPS 1484459 WITH SCORE 1491878.452
AT ITER 6575 NEW BEST:: SOT 11837361 SOS 7417928 HAS SOPS 6120633 HAS SOUS 1571624 HAS SOUPS 1483011 WITH SCORE 1490428.928
AT ITER 6627 NEW BEST:: SOT 11837360 SOS 7417937 HAS SOPS 6120632 HAS SOUS 1571416 HAS SOUPS 1482794 WITH SCORE 1490211.937
AT ITER 6635 NEW BEST:: SOT 11836644 SOS 7419752 HAS SOPS 6121813 HAS SOUS 1570944 HAS SOUPS 1482282 WITH SCORE 1489701.752
AT ITER 6665 NEW BEST:: SOT 11836476 SOS 7419671 HAS SOPS 6121561 HAS SOUS 1570248 HAS SOUPS 1481593 WITH SCORE 1489012.671
AT ITER 6674 NEW BEST:: SOT 11841686 SOS 7426189 HAS SOPS 6127582 HAS SOUS 1568290 HAS SOUPS 1479643 WITH SCORE 1487069.189
AT ITER 6693 NEW BEST:: SOT 11841386 SOS 7424365 HAS SOPS 6122787 HAS SOUS 1567735 HAS SOUPS 1479088 WITH SCORE 1486512.365
AT ITER 6737 NEW BEST:: SOT 11839546 SOS 7420878 HAS SOPS 6120101 HAS SOUS 1565622 HAS SOUPS 1476997 WITH SCORE 1484417.878
AT ITER 6774 NEW BEST:: SOT 11839503 SOS 7420841 HAS SOPS 6120029 HAS SOUS 1565512 HAS SOUPS 1476886 WITH SCORE 1484306.841
AT ITER 6799 NEW BEST:: SOT 11839302 SOS 7420541 HAS SOPS 6119720 HAS SOUS 1565067 HAS SOUPS 1476441 WITH SCORE 1483861.541
AT ITER 6866 NEW BEST:: SOT 11841423 SOS 7423617 HAS SOPS 6123722 HAS SOUS 1563151 HAS SOUPS 1474525 WITH SCORE 1481948.617
AT ITER 6903 NEW BEST:: SOT 11841350 SOS 7423546 HAS SOPS 6123628 HAS SOUS 1563019 HAS SOUPS 1474392 WITH SCORE 1481815.546
AT ITER 6910 NEW BEST:: SOT 11839100 SOS 7417012 HAS SOPS 6117702 HAS SOUS 1560209 HAS SOUPS 1471634 WITH SCORE 1479051.012
AT ITER 6919 NEW BEST:: SOT 11836604 SOS 7414516 HAS SOPS 6114406 HAS SOUS 1556343 HAS SOUPS 1467768 WITH SCORE 1475182.516
AT ITER 6921 NEW BEST:: SOT 11834756 SOS 7408846 HAS SOPS 6108976 HAS SOUS 1554627 HAS SOUPS 1466052 WITH SCORE 1473460.846
AT ITER 6927 NEW BEST:: SOT 11834764 SOS 7408766 HAS SOPS 6108984 HAS SOUS 1554595 HAS SOUPS 1466020 WITH SCORE 1473428.766
AT ITER 7001 NEW BEST:: SOT 11834856 SOS 7408898 HAS SOPS 6109116 HAS SOUS 1554495 HAS SOUPS 1465920 WITH SCORE 1473328.898
AT ITER 7011 NEW BEST:: SOT 11834629 SOS 7407971 HAS SOPS 6107993 HAS SOUS 1554235 HAS SOUPS 1465660 WITH SCORE 1473067.971
AT ITER 7027 NEW BEST:: SOT 11834660 SOS 7406567 HAS SOPS 6106840 HAS SOUS 1553670 HAS SOUPS 1465136 WITH SCORE 1472542.567
AT ITER 7037 NEW BEST:: SOT 11834736 SOS 7405634 HAS SOPS 6105870 HAS SOUS 1553590 HAS SOUPS 1465056 WITH SCORE 1472461.634
AT ITER 7038 NEW BEST:: SOT 11836327 SOS 7407704 HAS SOPS 6105688 HAS SOUS 1549159 HAS SOUPS 1460625 WITH SCORE 1468032.704
AT ITER 7089 NEW BEST:: SOT 11836407 SOS 7407919 HAS SOPS 6105830 HAS SOUS 1548684 HAS SOUPS 1460203 WITH SCORE 1467610.919
AT ITER 7092 NEW BEST:: SOT 11833524 SOS 7402348 HAS SOPS 6099571 HAS SOUS 1541413 HAS SOUPS 1452932 WITH SCORE 1460334.348
AT ITER 7113 NEW BEST:: SOT 11833657 SOS 7401507 HAS SOPS 6099957 HAS SOUS 1541025 HAS SOUPS 1452544 WITH SCORE 1459945.507
AT ITER 7155 NEW BEST:: SOT 11833675 SOS 7401512 HAS SOPS 6099502 HAS SOUS 1540981 HAS SOUPS 1452360 WITH SCORE 1459761.512
AT ITER 7232 NEW BEST:: SOT 11833431 SOS 7401245 HAS SOPS 6099587 HAS SOUS 1540634 HAS SOUPS 1452013 WITH SCORE 1459414.245
AT ITER 7267 NEW BEST:: SOT 11833295 SOS 7401109 HAS SOPS 6099451 HAS SOUS 1540362 HAS SOUPS 1451741 WITH SCORE 1459142.109
AT ITER 7280 NEW BEST:: SOT 11832855 SOS 7400669 HAS SOPS 6098899 HAS SOUS 1539706 HAS SOUPS 1451085 WITH SCORE 1458485.669
AT ITER 7340 NEW BEST:: SOT 11831452 SOS 7393192 HAS SOPS 6092140 HAS SOUS 1539526 HAS SOUPS 1450905 WITH SCORE 1458298.192
AT ITER 7357 NEW BEST:: SOT 11832888 SOS 7395817 HAS SOPS 6095260 HAS SOUS 1538619 HAS SOUPS 1449998 WITH SCORE 1457393.817
AT ITER 7372 NEW BEST:: SOT 11832708 SOS 7395358 HAS SOPS 6094669 HAS SOUS 1538409 HAS SOUPS 1449788 WITH SCORE 1457183.358
AT ITER 7373 NEW BEST:: SOT 11832691 SOS 7395642 HAS SOPS 6095326 HAS SOUS 1538267 HAS SOUPS 1449646 WITH SCORE 1457041.642
AT ITER 7385 NEW BEST:: SOT 11831364 SOS 7393251 HAS SOPS 6091325 HAS SOUS 1534354 HAS SOUPS 1445644 WITH SCORE 1453037.251
AT ITER 7396 NEW BEST:: SOT 11829202 SOS 7390519 HAS SOPS 6088913 HAS SOUS 1532792 HAS SOUPS 1444082 WITH SCORE 1451472.519
AT ITER 7414 NEW BEST:: SOT 11829323 SOS 7391027 HAS SOPS 6089831 HAS SOUS 1532345 HAS SOUPS 1443635 WITH SCORE 1451026.027
AT ITER 7428 NEW BEST:: SOT 11829166 SOS 7390585 HAS SOPS 6089483 HAS SOUS 1532031 HAS SOUPS 1443321 WITH SCORE 1450711.585
AT ITER 7429 NEW BEST:: SOT 11829014 SOS 7390433 HAS SOPS 6089235 HAS SOUS 1531727 HAS SOUPS 1443017 WITH SCORE 1450407.433
AT ITER 7432 NEW BEST:: SOT 11828882 SOS 7391026 HAS SOPS 6089015 HAS SOUS 1531497 HAS SOUPS 1442787 WITH SCORE 1450178.026
AT ITER 7447 NEW BEST:: SOT 11827521 SOS 7389971 HAS SOPS 6087248 HAS SOUS 1527980 HAS SOUPS 1439246 WITH SCORE 1446635.971
AT ITER 7452 NEW BEST:: SOT 11827526 SOS 7389605 HAS SOPS 6087057 HAS SOUS 1527919 HAS SOUPS 1439185 WITH SCORE 1446574.605
AT ITER 7468 NEW BEST:: SOT 11827751 SOS 7388871 HAS SOPS 6087231 HAS SOUS 1527533 HAS SOUPS 1438799 WITH SCORE 1446187.871
AT ITER 7521 NEW BEST:: SOT 11826096 SOS 7387315 HAS SOPS 6085675 HAS SOUS 1524371 HAS SOUPS 1435741 WITH SCORE 1443128.315
AT ITER 7537 NEW BEST:: SOT 11827422 SOS 7389665 HAS SOPS 6084907 HAS SOUS 1520427 HAS SOUPS 1431797 WITH SCORE 1439186.665
AT ITER 7556 NEW BEST:: SOT 11826237 SOS 7394056 HAS SOPS 6088928 HAS SOUS 1519983 HAS SOUPS 1431254 WITH SCORE 1438648.056
AT ITER 7557 NEW BEST:: SOT 11826829 SOS 7394502 HAS SOPS 6089159 HAS SOUS 1519681 HAS SOUPS 1430952 WITH SCORE 1438346.502
AT ITER 7574 NEW BEST:: SOT 11825162 SOS 7393071 HAS SOPS 6086877 HAS SOUS 1518117 HAS SOUPS 1429244 WITH SCORE 1436637.071
AT ITER 7578 NEW BEST:: SOT 11825122 SOS 7393029 HAS SOPS 6086713 HAS SOUS 1517851 HAS SOUPS 1428978 WITH SCORE 1436371.029
AT ITER 7586 NEW BEST:: SOT 11827054 SOS 7396761 HAS SOPS 6091676 HAS SOUS 1508393 HAS SOUPS 1419799 WITH SCORE 1427195.761
AT ITER 7589 NEW BEST:: SOT 11824840 SOS 7392230 HAS SOPS 6088070 HAS SOUS 1506744 HAS SOUPS 1418143 WITH SCORE 1425535.23
AT ITER 7615 NEW BEST:: SOT 11824840 SOS 7390952 HAS SOPS 6085082 HAS SOUS 1504514 HAS SOUPS 1415913 WITH SCORE 1423303.952
AT ITER 7649 NEW BEST:: SOT 11823726 SOS 7389454 HAS SOPS 6083776 HAS SOUS 1502920 HAS SOUPS 1414335 WITH SCORE 1421724.454
AT ITER 7663 NEW BEST:: SOT 11823092 SOS 7386591 HAS SOPS 6080037 HAS SOUS 1502787 HAS SOUPS 1414202 WITH SCORE 1421588.591
AT ITER 7685 NEW BEST:: SOT 11823113 SOS 7386833 HAS SOPS 6081311 HAS SOUS 1502029 HAS SOUPS 1413457 WITH SCORE 1420843.833
AT ITER 7745 NEW BEST:: SOT 11823571 SOS 7388424 HAS SOPS 6082412 HAS SOUS 1501710 HAS SOUPS 1413138 WITH SCORE 1420526.424
AT ITER 7754 NEW BEST:: SOT 11823020 SOS 7387819 HAS SOPS 6081411 HAS SOUS 1501373 HAS SOUPS 1412801 WITH SCORE 1420188.819
AT ITER 7807 NEW BEST:: SOT 11824195 SOS 7388716 HAS SOPS 6082153 HAS SOUS 1498492 HAS SOUPS 1409890 WITH SCORE 1417278.716
AT ITER 7851 NEW BEST:: SOT 11822977 SOS 7385558 HAS SOPS 6079412 HAS SOUS 1498320 HAS SOUPS 1409718 WITH SCORE 1417103.558
AT ITER 7861 NEW BEST:: SOT 11822771 SOS 7385648 HAS SOPS 6079340 HAS SOUS 1498227 HAS SOUPS 1409625 WITH SCORE 1417010.648
AT ITER 7873 NEW BEST:: SOT 11822775 SOS 7385386 HAS SOPS 6079481 HAS SOUS 1498199 HAS SOUPS 1409597 WITH SCORE 1416982.386
AT ITER 7875 NEW BEST:: SOT 11822491 SOS 7385102 HAS SOPS 6079085 HAS SOUS 1497703 HAS SOUPS 1409101 WITH SCORE 1416486.102
AT ITER 7888 NEW BEST:: SOT 11822837 SOS 7382394 HAS SOPS 6079286 HAS SOUS 1495141 HAS SOUPS 1406660 WITH SCORE 1414042.394
AT ITER 7899 NEW BEST:: SOT 11823348 SOS 7383366 HAS SOPS 6081018 HAS SOUS 1494161 HAS SOUPS 1405680 WITH SCORE 1413063.366
AT ITER 7906 NEW BEST:: SOT 11823121 SOS 7383137 HAS SOPS 6082562 HAS SOUS 1493487 HAS SOUPS 1405198 WITH SCORE 1412581.137
AT ITER 7928 NEW BEST:: SOT 11823121 SOS 7383094 HAS SOPS 6082559 HAS SOUS 1493472 HAS SOUPS 1405183 WITH SCORE 1412566.094
AT ITER 7966 NEW BEST:: SOT 11822961 SOS 7382934 HAS SOPS 6082335 HAS SOUS 1493024 HAS SOUPS 1404735 WITH SCORE 1412117.934
AT ITER 7977 NEW BEST:: SOT 11821536 SOS 7381764 HAS SOPS 6079676 HAS SOUS 1491183 HAS SOUPS 1402894 WITH SCORE 1410275.764
AT ITER 7993 NEW BEST:: SOT 11820943 SOS 7380614 HAS SOPS 6078704 HAS SOUS 1488905 HAS SOUPS 1400640 WITH SCORE 1408020.614
AT ITER 8041 NEW BEST:: SOT 11815248 SOS 7367677 HAS SOPS 6067319 HAS SOUS 1488213 HAS SOUPS 1399932 WITH SCORE 1407299.677
AT ITER 8076 NEW BEST:: SOT 11814626 SOS 7367119 HAS SOPS 6066273 HAS SOUS 1487133 HAS SOUPS 1398822 WITH SCORE 1406189.119
AT ITER 8084 NEW BEST:: SOT 11813906 SOS 7366425 HAS SOPS 6065371 HAS SOUS 1485477 HAS SOUPS 1397166 WITH SCORE 1404532.425
AT ITER 8106 NEW BEST:: SOT 11814072 SOS 7366242 HAS SOPS 6065537 HAS SOUS 1485455 HAS SOUPS 1397144 WITH SCORE 1404510.242
AT ITER 8110 NEW BEST:: SOT 11810527 SOS 7355563 HAS SOPS 6059603 HAS SOUS 1483678 HAS SOUPS 1395946 WITH SCORE 1403301.563
AT ITER 8142 NEW BEST:: SOT 11811193 SOS 7357324 HAS SOPS 6060139 HAS SOUS 1482481 HAS SOUPS 1394724 WITH SCORE 1402081.324
AT ITER 8151 NEW BEST:: SOT 11805589 SOS 7343905 HAS SOPS 6047866 HAS SOUS 1480890 HAS SOUPS 1393133 WITH SCORE 1400476.905
AT ITER 8170 NEW BEST:: SOT 11809531 SOS 7360218 HAS SOPS 6061263 HAS SOUS 1476713 HAS SOUPS 1388786 WITH SCORE 1396146.218
AT ITER 8172 NEW BEST:: SOT 11809529 SOS 7360052 HAS SOPS 6061113 HAS SOUS 1476707 HAS SOUPS 1388780 WITH SCORE 1396140.052
AT ITER 8181 NEW BEST:: SOT 11808919 SOS 7359478 HAS SOPS 6060846 HAS SOUS 1473443 HAS SOUPS 1385545 WITH SCORE 1392904.478
AT ITER 8186 NEW BEST:: SOT 11809198 SOS 7358728 HAS SOPS 6058195 HAS SOUS 1472047 HAS SOUPS 1384149 WITH SCORE 1391507.728
AT ITER 8187 NEW BEST:: SOT 11809402 SOS 7358932 HAS SOPS 6058371 HAS SOUS 1471943 HAS SOUPS 1384045 WITH SCORE 1391403.932
AT ITER 8210 NEW BEST:: SOT 11805144 SOS 7352861 HAS SOPS 6052007 HAS SOUS 1466012 HAS SOUPS 1378114 WITH SCORE 1385466.861
AT ITER 8212 NEW BEST:: SOT 11804774 SOS 7351725 HAS SOPS 6050758 HAS SOUS 1465040 HAS SOUPS 1377150 WITH SCORE 1384501.725
AT ITER 8225 NEW BEST:: SOT 11803738 SOS 7348558 HAS SOPS 6048051 HAS SOUS 1463903 HAS SOUPS 1376111 WITH SCORE 1383459.558
AT ITER 8252 NEW BEST:: SOT 11804179 SOS 7351660 HAS SOPS 6050645 HAS SOUS 1463511 HAS SOUPS 1375719 WITH SCORE 1383070.66
AT ITER 8276 NEW BEST:: SOT 11804173 SOS 7348012 HAS SOPS 6047970 HAS SOUS 1460696 HAS SOUPS 1372904 WITH SCORE 1380252.012
AT ITER 8282 NEW BEST:: SOT 11804177 SOS 7347826 HAS SOPS 6047625 HAS SOUS 1460437 HAS SOUPS 1372661 WITH SCORE 1380008.826
AT ITER 8329 NEW BEST:: SOT 11804063 SOS 7347811 HAS SOPS 6047450 HAS SOUS 1460113 HAS SOUPS 1372305 WITH SCORE 1379652.811
AT ITER 8339 NEW BEST:: SOT 11800315 SOS 7344885 HAS SOPS 6042116 HAS SOUS 1455839 HAS SOUPS 1367977 WITH SCORE 1375321.885
AT ITER 8357 NEW BEST:: SOT 11799419 SOS 7342824 HAS SOPS 6039570 HAS SOUS 1454063 HAS SOUPS 1366201 WITH SCORE 1373543.824
AT ITER 8386 NEW BEST:: SOT 11799898 SOS 7345096 HAS SOPS 6040150 HAS SOUS 1451291 HAS SOUPS 1363429 WITH SCORE 1370774.096
AT ITER 8388 NEW BEST:: SOT 11799331 SOS 7341592 HAS SOPS 6037498 HAS SOUS 1449959 HAS SOUPS 1362097 WITH SCORE 1369438.592
AT ITER 8400 NEW BEST:: SOT 11797935 SOS 7341606 HAS SOPS 6037911 HAS SOUS 1449190 HAS SOUPS 1361246 WITH SCORE 1368587.606
AT ITER 8406 NEW BEST:: SOT 11797707 SOS 7340801 HAS SOPS 6037458 HAS SOUS 1448271 HAS SOUPS 1360327 WITH SCORE 1367667.801
AT ITER 8413 NEW BEST:: SOT 11802028 SOS 7349173 HAS SOPS 6040985 HAS SOUS 1445385 HAS SOUPS 1357378 WITH SCORE 1364727.173
AT ITER 8425 NEW BEST:: SOT 11800808 SOS 7347953 HAS SOPS 6039573 HAS SOUS 1444165 HAS SOUPS 1355966 WITH SCORE 1363313.953
AT ITER 8435 NEW BEST:: SOT 11800110 SOS 7347959 HAS SOPS 6039051 HAS SOUS 1442829 HAS SOUPS 1354608 WITH SCORE 1361955.959
AT ITER 8455 NEW BEST:: SOT 11799420 SOS 7346995 HAS SOPS 6037829 HAS SOUS 1440863 HAS SOUPS 1352732 WITH SCORE 1360078.995
AT ITER 8457 NEW BEST:: SOT 11796983 SOS 7344096 HAS SOPS 6035235 HAS SOUS 1438502 HAS SOUPS 1350501 WITH SCORE 1357845.096
AT ITER 8464 NEW BEST:: SOT 11796670 SOS 7343768 HAS SOPS 6034907 HAS SOUS 1437825 HAS SOUPS 1349824 WITH SCORE 1357167.768
AT ITER 8499 NEW BEST:: SOT 11796446 SOS 7343544 HAS SOPS 6034683 HAS SOUS 1437825 HAS SOUPS 1349824 WITH SCORE 1357167.544
AT ITER 8560 NEW BEST:: SOT 11796436 SOS 7342976 HAS SOPS 6034313 HAS SOUS 1437457 HAS SOUPS 1349456 WITH SCORE 1356798.976
AT ITER 8561 NEW BEST:: SOT 11796306 SOS 7342807 HAS SOPS 6034154 HAS SOUS 1437444 HAS SOUPS 1349453 WITH SCORE 1356795.807
AT ITER 8569 NEW BEST:: SOT 11795939 SOS 7343079 HAS SOPS 6033523 HAS SOUS 1437277 HAS SOUPS 1349286 WITH SCORE 1356629.079
AT ITER 8572 NEW BEST:: SOT 11795923 SOS 7343239 HAS SOPS 6033859 HAS SOUS 1437105 HAS SOUPS 1349114 WITH SCORE 1356457.239
AT ITER 8651 NEW BEST:: SOT 11794900 SOS 7342457 HAS SOPS 6031861 HAS SOUS 1432402 HAS SOUPS 1344411 WITH SCORE 1351753.457
AT ITER 8658 NEW BEST:: SOT 11793349 SOS 7341709 HAS SOPS 6030952 HAS SOUS 1432199 HAS SOUPS 1344172 WITH SCORE 1351513.709
AT ITER 8661 NEW BEST:: SOT 11793942 SOS 7342335 HAS SOPS 6030250 HAS SOUS 1431273 HAS SOUPS 1343246 WITH SCORE 1350588.335
AT ITER 8668 NEW BEST:: SOT 11790818 SOS 7338485 HAS SOPS 6026768 HAS SOUS 1428658 HAS SOUPS 1340847 WITH SCORE 1348185.485
AT ITER 8680 NEW BEST:: SOT 11791384 SOS 7336821 HAS SOPS 6025970 HAS SOUS 1427020 HAS SOUPS 1339209 WITH SCORE 1346545.821
AT ITER 8687 NEW BEST:: SOT 11791250 SOS 7336545 HAS SOPS 6025903 HAS SOUS 1426500 HAS SOUPS 1338689 WITH SCORE 1346025.545
AT ITER 8692 NEW BEST:: SOT 11791695 SOS 7336508 HAS SOPS 6026024 HAS SOUS 1426451 HAS SOUPS 1338640 WITH SCORE 1345976.508
AT ITER 8721 NEW BEST:: SOT 11792235 SOS 7335666 HAS SOPS 6026563 HAS SOUS 1426290 HAS SOUPS 1338504 WITH SCORE 1345839.666
AT ITER 8730 NEW BEST:: SOT 11792137 SOS 7335562 HAS SOPS 6026459 HAS SOUS 1426186 HAS SOUPS 1338400 WITH SCORE 1345735.562
AT ITER 8735 NEW BEST:: SOT 11793945 SOS 7337695 HAS SOPS 6028192 HAS SOUS 1425268 HAS SOUPS 1337416 WITH SCORE 1344753.695
AT ITER 8754 NEW BEST:: SOT 11792791 SOS 7333922 HAS SOPS 6024645 HAS SOUS 1424854 HAS SOUPS 1337002 WITH SCORE 1344335.922
AT ITER 8776 NEW BEST:: SOT 11790584 SOS 7331119 HAS SOPS 6022274 HAS SOUS 1421244 HAS SOUPS 1333441 WITH SCORE 1340772.119
AT ITER 8792 NEW BEST:: SOT 11790907 SOS 7331567 HAS SOPS 6022968 HAS SOUS 1420522 HAS SOUPS 1332816 WITH SCORE 1340147.567
AT ITER 8801 NEW BEST:: SOT 11791129 SOS 7333404 HAS SOPS 6023097 HAS SOUS 1415399 HAS SOUPS 1327693 WITH SCORE 1335026.404
AT ITER 8814 NEW BEST:: SOT 11791169 SOS 7333356 HAS SOPS 6023037 HAS SOUS 1414827 HAS SOUPS 1327121 WITH SCORE 1334454.356
AT ITER 8832 NEW BEST:: SOT 11790512 SOS 7328069 HAS SOPS 6014925 HAS SOUS 1412892 HAS SOUPS 1325186 WITH SCORE 1332514.069
AT ITER 8851 NEW BEST:: SOT 11790868 SOS 7326328 HAS SOPS 6014329 HAS SOUS 1412731 HAS SOUPS 1325086 WITH SCORE 1332412.328
AT ITER 8877 NEW BEST:: SOT 11789485 SOS 7324687 HAS SOPS 6012736 HAS SOUS 1410742 HAS SOUPS 1323097 WITH SCORE 1330421.687
AT ITER 8886 NEW BEST:: SOT 11790266 SOS 7324074 HAS SOPS 6012690 HAS SOUS 1409347 HAS SOUPS 1321788 WITH SCORE 1329112.074
AT ITER 8927 NEW BEST:: SOT 11786904 SOS 7319345 HAS SOPS 6008059 HAS SOUS 1407495 HAS SOUPS 1319936 WITH SCORE 1327255.345
AT ITER 8939 NEW BEST:: SOT 11786512 SOS 7319162 HAS SOPS 6008239 HAS SOUS 1404526 HAS SOUPS 1316896 WITH SCORE 1324215.162
AT ITER 8947 NEW BEST:: SOT 11784862 SOS 7316744 HAS SOPS 6006717 HAS SOUS 1403084 HAS SOUPS 1315726 WITH SCORE 1323042.744
AT ITER 8981 NEW BEST:: SOT 11784680 SOS 7315791 HAS SOPS 6005733 HAS SOUS 1402960 HAS SOUPS 1315602 WITH SCORE 1322917.791
AT ITER 8982 NEW BEST:: SOT 11784216 SOS 7315327 HAS SOPS 6005221 HAS SOUS 1402832 HAS SOUPS 1315474 WITH SCORE 1322789.327
AT ITER 8986 NEW BEST:: SOT 11785582 SOS 7317642 HAS SOPS 6007509 HAS SOUS 1401747 HAS SOUPS 1314419 WITH SCORE 1321736.642
AT ITER 8989 NEW BEST:: SOT 11779868 SOS 7302145 HAS SOPS 5998102 HAS SOUS 1397172 HAS SOUPS 1309995 WITH SCORE 1317297.145
AT ITER 9000 NEW BEST:: SOT 11779500 SOS 7301777 HAS SOPS 5997638 HAS SOUS 1396628 HAS SOUPS 1309451 WITH SCORE 1316752.777
AT ITER 9030 NEW BEST:: SOT 11778894 SOS 7296810 HAS SOPS 5994620 HAS SOUS 1391956 HAS SOUPS 1304779 WITH SCORE 1312075.81
AT ITER 9095 NEW BEST:: SOT 11778933 SOS 7297151 HAS SOPS 5994577 HAS SOUS 1391732 HAS SOUPS 1304539 WITH SCORE 1311836.151
AT ITER 9108 NEW BEST:: SOT 11779493 SOS 7297711 HAS SOPS 5994961 HAS SOUS 1391696 HAS SOUPS 1304503 WITH SCORE 1311800.711
AT ITER 9127 NEW BEST:: SOT 11778479 SOS 7297115 HAS SOPS 5995357 HAS SOUS 1391176 HAS SOUPS 1303983 WITH SCORE 1311280.115
AT ITER 9129 NEW BEST:: SOT 11775405 SOS 7293749 HAS SOPS 5991912 HAS SOUS 1390075 HAS SOUPS 1302803 WITH SCORE 1310096.749
AT ITER 9155 NEW BEST:: SOT 11775106 SOS 7293311 HAS SOPS 5991408 HAS SOUS 1389405 HAS SOUPS 1302138 WITH SCORE 1309431.311
AT ITER 9174 NEW BEST:: SOT 11775062 SOS 7293227 HAS SOPS 5991284 HAS SOUS 1389293 HAS SOUPS 1302026 WITH SCORE 1309319.227
AT ITER 9199 NEW BEST:: SOT 11774264 SOS 7291756 HAS SOPS 5989760 HAS SOUS 1388216 HAS SOUPS 1300949 WITH SCORE 1308240.756
AT ITER 9214 NEW BEST:: SOT 11776030 SOS 7296845 HAS SOPS 5995184 HAS SOUS 1387220 HAS SOUPS 1299953 WITH SCORE 1307249.845
AT ITER 9239 NEW BEST:: SOT 11775762 SOS 7292427 HAS SOPS 5993239 HAS SOUS 1385760 HAS SOUPS 1298493 WITH SCORE 1305785.427
AT ITER 9269 NEW BEST:: SOT 11774430 SOS 7291620 HAS SOPS 5992184 HAS SOUS 1379573 HAS SOUPS 1292306 WITH SCORE 1299597.62
AT ITER 9271 NEW BEST:: SOT 11774092 SOS 7290009 HAS SOPS 5990965 HAS SOUS 1379282 HAS SOUPS 1292015 WITH SCORE 1299305.009
AT ITER 9308 NEW BEST:: SOT 11773408 SOS 7289325 HAS SOPS 5990281 HAS SOUS 1378710 HAS SOUPS 1291443 WITH SCORE 1298732.325
AT ITER 9357 NEW BEST:: SOT 11773665 SOS 7289554 HAS SOPS 5990510 HAS SOUS 1378665 HAS SOUPS 1291398 WITH SCORE 1298687.554
AT ITER 9397 NEW BEST:: SOT 11771810 SOS 7285770 HAS SOPS 5989936 HAS SOUS 1378033 HAS SOUPS 1290766 WITH SCORE 1298051.77
AT ITER 9417 NEW BEST:: SOT 11771798 SOS 7285665 HAS SOPS 5989847 HAS SOUS 1377976 HAS SOUPS 1290709 WITH SCORE 1297994.665
AT ITER 9438 NEW BEST:: SOT 11771716 SOS 7285417 HAS SOPS 5989688 HAS SOUS 1377719 HAS SOUPS 1290452 WITH SCORE 1297737.417
AT ITER 9444 NEW BEST:: SOT 11771194 SOS 7284911 HAS SOPS 5988812 HAS SOUS 1375872 HAS SOUPS 1288587 WITH SCORE 1295871.911
AT ITER 9450 NEW BEST:: SOT 11770772 SOS 7284258 HAS SOPS 5988251 HAS SOUS 1374844 HAS SOUPS 1287570 WITH SCORE 1294854.258
AT ITER 9452 NEW BEST:: SOT 11770646 SOS 7284385 HAS SOPS 5988123 HAS SOUS 1374655 HAS SOUPS 1287381 WITH SCORE 1294665.385
AT ITER 9500 NEW BEST:: SOT 11770392 SOS 7284901 HAS SOPS 5988068 HAS SOUS 1374186 HAS SOUPS 1286892 WITH SCORE 1294176.901
AT ITER 9576 NEW BEST:: SOT 11770024 SOS 7283855 HAS SOPS 5987172 HAS SOUS 1373866 HAS SOUPS 1286572 WITH SCORE 1293855.855
AT ITER 9628 NEW BEST:: SOT 11770671 SOS 7284503 HAS SOPS 5987427 HAS SOUS 1373651 HAS SOUPS 1286268 WITH SCORE 1293552.503
AT ITER 9670 NEW BEST:: SOT 11770634 SOS 7283760 HAS SOPS 5986825 HAS SOUS 1373586 HAS SOUPS 1286203 WITH SCORE 1293486.76
AT ITER 9682 NEW BEST:: SOT 11768480 SOS 7280024 HAS SOPS 5983129 HAS SOUS 1373064 HAS SOUPS 1285654 WITH SCORE 1292934.024
AT ITER 9685 NEW BEST:: SOT 11768431 SOS 7280188 HAS SOPS 5982135 HAS SOUS 1369908 HAS SOUPS 1282467 WITH SCORE 1289747.188
AT ITER 9704 NEW BEST:: SOT 11766946 SOS 7283518 HAS SOPS 5986625 HAS SOUS 1369751 HAS SOUPS 1282310 WITH SCORE 1289593.518
AT ITER 9721 NEW BEST:: SOT 11766370 SOS 7281859 HAS SOPS 5985432 HAS SOUS 1368965 HAS SOUPS 1281524 WITH SCORE 1288805.859
AT ITER 9725 NEW BEST:: SOT 11759597 SOS 7278447 HAS SOPS 5982829 HAS SOUS 1365231 HAS SOUPS 1277690 WITH SCORE 1284968.447
AT ITER 9741 NEW BEST:: SOT 11759235 SOS 7277942 HAS SOPS 5982100 HAS SOUS 1364481 HAS SOUPS 1276932 WITH SCORE 1284209.942
AT ITER 9743 NEW BEST:: SOT 11759159 SOS 7277786 HAS SOPS 5981930 HAS SOUS 1364195 HAS SOUPS 1276648 WITH SCORE 1283925.786
AT ITER 9752 NEW BEST:: SOT 11759292 SOS 7278159 HAS SOPS 5982291 HAS SOUS 1364140 HAS SOUPS 1276593 WITH SCORE 1283871.159
AT ITER 9760 NEW BEST:: SOT 11758918 SOS 7277462 HAS SOPS 5981780 HAS SOUS 1363980 HAS SOUPS 1276433 WITH SCORE 1283710.462
AT ITER 9771 NEW BEST:: SOT 11758989 SOS 7278331 HAS SOPS 5982446 HAS SOUS 1363589 HAS SOUPS 1276033 WITH SCORE 1283311.331
AT ITER 9832 NEW BEST:: SOT 11758647 SOS 7274473 HAS SOPS 5980194 HAS SOUS 1362047 HAS SOUPS 1274491 WITH SCORE 1281765.473
AT ITER 9954 NEW BEST:: SOT 11759203 SOS 7275031 HAS SOPS 5980640 HAS SOUS 1361607 HAS SOUPS 1274051 WITH SCORE 1281326.031
AT ITER 9960 NEW BEST:: SOT 11760467 SOS 7280067 HAS SOPS 5983041 HAS SOUS 1360940 HAS SOUPS 1273384 WITH SCORE 1280664.067
AT ITER 9969 NEW BEST:: SOT 11759943 SOS 7279495 HAS SOPS 5982357 HAS SOUS 1360050 HAS SOUPS 1272500 WITH SCORE 1279779.495
AT ITER 9982 NEW BEST:: SOT 11758740 SOS 7278292 HAS SOPS 5981154 HAS SOUS 1358315 HAS SOUPS 1270765 WITH SCORE 1278043.292
AT ITER 9988 NEW BEST:: SOT 11758404 SOS 7277956 HAS SOPS 5980706 HAS SOUS 1357835 HAS SOUPS 1270237 WITH SCORE 1277514.956

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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