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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 20:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 20:32 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 1589682460236

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 7
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 12 NEW BEST:: SOT 12196897 SOS 7747530 HAS SOPS 6415920 HAS SOUS 3044077 HAS SOUPS 2943587 WITH SCORE 2951334.53
AT ITER 15 NEW BEST:: SOT 12198085 SOS 7752446 HAS SOPS 6421489 HAS SOUS 3043065 HAS SOUPS 2942575 WITH SCORE 2950327.446
AT ITER 24 NEW BEST:: SOT 12198490 SOS 7754069 HAS SOPS 6423043 HAS SOUS 3042772 HAS SOUPS 2942282 WITH SCORE 2950036.069
AT ITER 25 NEW BEST:: SOT 12198376 SOS 7751931 HAS SOPS 6421569 HAS SOUS 3042651 HAS SOUPS 2942161 WITH SCORE 2949912.931
AT ITER 31 NEW BEST:: SOT 12174095 SOS 7727237 HAS SOPS 6395172 HAS SOUS 2993993 HAS SOUPS 2893534 WITH SCORE 2901261.237
AT ITER 42 NEW BEST:: SOT 12145902 SOS 7695073 HAS SOPS 6363177 HAS SOUS 2941692 HAS SOUPS 2841289 WITH SCORE 2848984.073
AT ITER 44 NEW BEST:: SOT 12145045 SOS 7694411 HAS SOPS 6362797 HAS SOUS 2939164 HAS SOUPS 2838761 WITH SCORE 2846455.411
AT ITER 55 NEW BEST:: SOT 12144817 SOS 7695763 HAS SOPS 6363615 HAS SOUS 2936296 HAS SOUPS 2835893 WITH SCORE 2843588.763
AT ITER 58 NEW BEST:: SOT 12144946 SOS 7694583 HAS SOPS 6362912 HAS SOUS 2936192 HAS SOUPS 2835789 WITH SCORE 2843483.583
AT ITER 65 NEW BEST:: SOT 12144725 SOS 7694697 HAS SOPS 6362974 HAS SOUS 2935526 HAS SOUPS 2835112 WITH SCORE 2842806.697
AT ITER 77 NEW BEST:: SOT 12144489 SOS 7694401 HAS SOPS 6362630 HAS SOUS 2935090 HAS SOUPS 2834692 WITH SCORE 2842386.401
AT ITER 108 NEW BEST:: SOT 12139384 SOS 7676470 HAS SOPS 6350272 HAS SOUS 2933082 HAS SOUPS 2832793 WITH SCORE 2840469.47
AT ITER 121 NEW BEST:: SOT 12159825 SOS 7712610 HAS SOPS 6391853 HAS SOUS 2931039 HAS SOUPS 2830968 WITH SCORE 2838680.61
AT ITER 141 NEW BEST:: SOT 12155204 SOS 7712843 HAS SOPS 6385839 HAS SOUS 2922446 HAS SOUPS 2821886 WITH SCORE 2829598.843
AT ITER 142 NEW BEST:: SOT 12157627 SOS 7721161 HAS SOPS 6404337 HAS SOUS 2919752 HAS SOUPS 2819192 WITH SCORE 2826913.161
AT ITER 148 NEW BEST:: SOT 12153382 SOS 7716805 HAS SOPS 6398300 HAS SOUS 2912372 HAS SOUPS 2810467 WITH SCORE 2818183.805
AT ITER 150 NEW BEST:: SOT 12164734 SOS 7735148 HAS SOPS 6419085 HAS SOUS 2909427 HAS SOUPS 2807961 WITH SCORE 2815696.148
AT ITER 158 NEW BEST:: SOT 12164215 SOS 7734793 HAS SOPS 6418190 HAS SOUS 2908606 HAS SOUPS 2806989 WITH SCORE 2814723.793
AT ITER 182 NEW BEST:: SOT 12163294 SOS 7733169 HAS SOPS 6416648 HAS SOUS 2906820 HAS SOUPS 2805221 WITH SCORE 2812954.169
AT ITER 189 NEW BEST:: SOT 12161768 SOS 7731643 HAS SOPS 6415122 HAS SOUS 2905294 HAS SOUPS 2803695 WITH SCORE 2811426.643
AT ITER 190 NEW BEST:: SOT 12160767 SOS 7730359 HAS SOPS 6413381 HAS SOUS 2901234 HAS SOUPS 2799798 WITH SCORE 2807528.359
AT ITER 192 NEW BEST:: SOT 12157558 SOS 7727210 HAS SOPS 6410223 HAS SOUS 2896660 HAS SOUPS 2795195 WITH SCORE 2802922.21
AT ITER 198 NEW BEST:: SOT 12156831 SOS 7731431 HAS SOPS 6414554 HAS SOUS 2892860 HAS SOUPS 2791490 WITH SCORE 2799221.431
AT ITER 209 NEW BEST:: SOT 12156031 SOS 7730305 HAS SOPS 6412604 HAS SOUS 2887951 HAS SOUPS 2786581 WITH SCORE 2794311.305
AT ITER 228 NEW BEST:: SOT 12155946 SOS 7730314 HAS SOPS 6413155 HAS SOUS 2887403 HAS SOUPS 2786033 WITH SCORE 2793763.314
AT ITER 236 NEW BEST:: SOT 12155664 SOS 7729950 HAS SOPS 6412910 HAS SOUS 2886790 HAS SOUPS 2785440 WITH SCORE 2793169.95
AT ITER 252 NEW BEST:: SOT 12155660 SOS 7729914 HAS SOPS 6412857 HAS SOUS 2886787 HAS SOUPS 2785437 WITH SCORE 2793166.914
AT ITER 266 NEW BEST:: SOT 12163491 SOS 7743176 HAS SOPS 6425234 HAS SOUS 2886677 HAS SOUPS 2785327 WITH SCORE 2793070.176
AT ITER 267 NEW BEST:: SOT 12163197 SOS 7743520 HAS SOPS 6425227 HAS SOUS 2885681 HAS SOUPS 2784331 WITH SCORE 2792074.52
AT ITER 273 NEW BEST:: SOT 12163142 SOS 7743465 HAS SOPS 6425172 HAS SOUS 2885450 HAS SOUPS 2784100 WITH SCORE 2791843.465
AT ITER 276 NEW BEST:: SOT 12162626 SOS 7744155 HAS SOPS 6426006 HAS SOUS 2883795 HAS SOUPS 2782445 WITH SCORE 2790189.155
AT ITER 287 NEW BEST:: SOT 12164617 SOS 7755226 HAS SOPS 6435200 HAS SOUS 2879043 HAS SOUPS 2777693 WITH SCORE 2785448.226
AT ITER 290 NEW BEST:: SOT 12169739 SOS 7769879 HAS SOPS 6450863 HAS SOUS 2878764 HAS SOUPS 2777487 WITH SCORE 2785256.879
AT ITER 303 NEW BEST:: SOT 12171508 SOS 7771979 HAS SOPS 6453572 HAS SOUS 2875746 HAS SOUPS 2774827 WITH SCORE 2782598.979
AT ITER 306 NEW BEST:: SOT 12170322 SOS 7770803 HAS SOPS 6452386 HAS SOUS 2874570 HAS SOUPS 2773641 WITH SCORE 2781411.803
AT ITER 307 NEW BEST:: SOT 12174740 SOS 7778097 HAS SOPS 6460188 HAS SOUS 2872326 HAS SOUPS 2771394 WITH SCORE 2779172.097
AT ITER 308 NEW BEST:: SOT 12174734 SOS 7778853 HAS SOPS 6461043 HAS SOUS 2872293 HAS SOUPS 2771361 WITH SCORE 2779139.853
AT ITER 315 NEW BEST:: SOT 12171812 SOS 7772758 HAS SOPS 6461226 HAS SOUS 2872188 HAS SOUPS 2771256 WITH SCORE 2779028.758
AT ITER 340 NEW BEST:: SOT 12171738 SOS 7772693 HAS SOPS 6461143 HAS SOUS 2872016 HAS SOUPS 2771083 WITH SCORE 2778855.693
AT ITER 341 NEW BEST:: SOT 12173585 SOS 7777963 HAS SOPS 6465123 HAS SOUS 2871043 HAS SOUPS 2770110 WITH SCORE 2777887.963
AT ITER 344 NEW BEST:: SOT 12167603 SOS 7771972 HAS SOPS 6459141 HAS SOUS 2866587 HAS SOUPS 2765888 WITH SCORE 2773659.972
AT ITER 360 NEW BEST:: SOT 12138599 SOS 7738146 HAS SOPS 6427492 HAS SOUS 2822119 HAS SOUPS 2721621 WITH SCORE 2729359.146
AT ITER 365 NEW BEST:: SOT 12139334 SOS 7741493 HAS SOPS 6431589 HAS SOUS 2821614 HAS SOUPS 2721116 WITH SCORE 2728857.493
AT ITER 369 NEW BEST:: SOT 12138869 SOS 7740533 HAS SOPS 6430853 HAS SOUS 2820828 HAS SOUPS 2720338 WITH SCORE 2728078.533
AT ITER 378 NEW BEST:: SOT 12139126 SOS 7741482 HAS SOPS 6431087 HAS SOUS 2819137 HAS SOUPS 2718614 WITH SCORE 2726355.482
AT ITER 392 NEW BEST:: SOT 12139034 SOS 7741418 HAS SOPS 6430917 HAS SOUS 2818909 HAS SOUPS 2718386 WITH SCORE 2726127.418
AT ITER 398 NEW BEST:: SOT 12139892 SOS 7748155 HAS SOPS 6436543 HAS SOUS 2818343 HAS SOUPS 2717820 WITH SCORE 2725568.155
AT ITER 408 NEW BEST:: SOT 12140541 SOS 7749263 HAS SOPS 6440759 HAS SOUS 2810208 HAS SOUPS 2709685 WITH SCORE 2717434.263
AT ITER 457 NEW BEST:: SOT 12140615 SOS 7749865 HAS SOPS 6441032 HAS SOUS 2809151 HAS SOUPS 2708639 WITH SCORE 2716388.865
AT ITER 462 NEW BEST:: SOT 12140317 SOS 7748026 HAS SOPS 6439015 HAS SOUS 2808615 HAS SOUPS 2708103 WITH SCORE 2715851.026
AT ITER 493 NEW BEST:: SOT 12141607 SOS 7754515 HAS SOPS 6445914 HAS SOUS 2803171 HAS SOUPS 2702777 WITH SCORE 2710531.515
AT ITER 501 NEW BEST:: SOT 12135450 SOS 7745469 HAS SOPS 6437688 HAS SOUS 2782304 HAS SOUPS 2682380 WITH SCORE 2690125.469
AT ITER 502 NEW BEST:: SOT 12127321 SOS 7729078 HAS SOPS 6422615 HAS SOUS 2773765 HAS SOUPS 2673841 WITH SCORE 2681570.078
AT ITER 506 NEW BEST:: SOT 12126956 SOS 7728865 HAS SOPS 6422443 HAS SOUS 2773407 HAS SOUPS 2673503 WITH SCORE 2681231.865
AT ITER 520 NEW BEST:: SOT 12124781 SOS 7724296 HAS SOPS 6418763 HAS SOUS 2771995 HAS SOUPS 2672091 WITH SCORE 2679815.296
AT ITER 521 NEW BEST:: SOT 12124501 SOS 7724164 HAS SOPS 6418766 HAS SOUS 2770455 HAS SOUPS 2670585 WITH SCORE 2678309.164
AT ITER 522 NEW BEST:: SOT 12124443 SOS 7724157 HAS SOPS 6417728 HAS SOUS 2768831 HAS SOUPS 2668961 WITH SCORE 2676685.157
AT ITER 546 NEW BEST:: SOT 12124345 SOS 7723745 HAS SOPS 6417221 HAS SOUS 2768577 HAS SOUPS 2668707 WITH SCORE 2676430.745
AT ITER 548 NEW BEST:: SOT 12133073 SOS 7732467 HAS SOPS 6425943 HAS SOUS 2768285 HAS SOUPS 2668415 WITH SCORE 2676147.467
AT ITER 550 NEW BEST:: SOT 12131783 SOS 7730634 HAS SOPS 6425983 HAS SOUS 2760727 HAS SOUPS 2660965 WITH SCORE 2668695.634
AT ITER 560 NEW BEST:: SOT 12125942 SOS 7724756 HAS SOPS 6420105 HAS SOUS 2752908 HAS SOUPS 2653146 WITH SCORE 2660870.756
AT ITER 567 NEW BEST:: SOT 12143719 SOS 7736404 HAS SOPS 6445108 HAS SOUS 2745536 HAS SOUPS 2646670 WITH SCORE 2654406.404
AT ITER 568 NEW BEST:: SOT 12147248 SOS 7743326 HAS SOPS 6456030 HAS SOUS 2742335 HAS SOUPS 2643469 WITH SCORE 2651212.326
AT ITER 577 NEW BEST:: SOT 12143293 SOS 7738681 HAS SOPS 6452505 HAS SOUS 2737823 HAS SOUPS 2639383 WITH SCORE 2647121.681
AT ITER 592 NEW BEST:: SOT 12142767 SOS 7738265 HAS SOPS 6451458 HAS SOUS 2736310 HAS SOUPS 2637903 WITH SCORE 2645641.265
AT ITER 611 NEW BEST:: SOT 12142990 SOS 7738802 HAS SOPS 6452186 HAS SOUS 2736295 HAS SOUPS 2637888 WITH SCORE 2645626.802
AT ITER 619 NEW BEST:: SOT 12142786 SOS 7738112 HAS SOPS 6451775 HAS SOUS 2736224 HAS SOUPS 2637825 WITH SCORE 2645563.112
AT ITER 620 NEW BEST:: SOT 12155660 SOS 7760090 HAS SOPS 6472362 HAS SOUS 2732053 HAS SOUPS 2633709 WITH SCORE 2641469.09
AT ITER 625 NEW BEST:: SOT 12155500 SOS 7759930 HAS SOPS 6472154 HAS SOUS 2731881 HAS SOUPS 2633501 WITH SCORE 2641260.93
AT ITER 633 NEW BEST:: SOT 12155497 SOS 7759877 HAS SOPS 6472061 HAS SOUS 2731852 HAS SOUPS 2633472 WITH SCORE 2641231.877
AT ITER 641 NEW BEST:: SOT 12155483 SOS 7760135 HAS SOPS 6472183 HAS SOUS 2731500 HAS SOUPS 2633120 WITH SCORE 2640880.135
AT ITER 646 NEW BEST:: SOT 12165083 SOS 7786977 HAS SOPS 6494663 HAS SOUS 2730214 HAS SOUPS 2631834 WITH SCORE 2639620.977
AT ITER 647 NEW BEST:: SOT 12165237 SOS 7787257 HAS SOPS 6494976 HAS SOUS 2728597 HAS SOUPS 2630265 WITH SCORE 2638052.257
AT ITER 662 NEW BEST:: SOT 12166413 SOS 7790231 HAS SOPS 6498168 HAS SOUS 2728277 HAS SOUPS 2629930 WITH SCORE 2637720.231
AT ITER 665 NEW BEST:: SOT 12164020 SOS 7787011 HAS SOPS 6495145 HAS SOUS 2723332 HAS SOUPS 2625037 WITH SCORE 2632824.011
AT ITER 675 NEW BEST:: SOT 12164818 SOS 7791878 HAS SOPS 6500534 HAS SOUS 2721773 HAS SOUPS 2623478 WITH SCORE 2631269.878
AT ITER 677 NEW BEST:: SOT 12176246 SOS 7808519 HAS SOPS 6517059 HAS SOUS 2720890 HAS SOUPS 2622533 WITH SCORE 2630341.519
AT ITER 679 NEW BEST:: SOT 12175771 SOS 7807783 HAS SOPS 6515259 HAS SOUS 2720609 HAS SOUPS 2622252 WITH SCORE 2630059.783
AT ITER 699 NEW BEST:: SOT 12175497 SOS 7807181 HAS SOPS 6514583 HAS SOUS 2720543 HAS SOUPS 2622186 WITH SCORE 2629993.181
AT ITER 702 NEW BEST:: SOT 12173886 SOS 7805221 HAS SOPS 6512120 HAS SOUS 2720812 HAS SOUPS 2622034 WITH SCORE 2629839.221
AT ITER 705 NEW BEST:: SOT 12173905 SOS 7805914 HAS SOPS 6513839 HAS SOUS 2720787 HAS SOUPS 2622009 WITH SCORE 2629814.914
AT ITER 708 NEW BEST:: SOT 12170271 SOS 7802332 HAS SOPS 6508149 HAS SOUS 2711680 HAS SOUPS 2612966 WITH SCORE 2620768.332
AT ITER 733 NEW BEST:: SOT 12163783 SOS 7793125 HAS SOPS 6499552 HAS SOUS 2701289 HAS SOUPS 2602930 WITH SCORE 2610723.125
AT ITER 735 NEW BEST:: SOT 12163743 SOS 7792513 HAS SOPS 6499108 HAS SOUS 2701180 HAS SOUPS 2602821 WITH SCORE 2610613.513
AT ITER 738 NEW BEST:: SOT 12157827 SOS 7775994 HAS SOPS 6484231 HAS SOUS 2696947 HAS SOUPS 2598588 WITH SCORE 2606363.994
AT ITER 743 NEW BEST:: SOT 12159018 SOS 7782016 HAS SOPS 6490734 HAS SOUS 2695061 HAS SOUPS 2596702 WITH SCORE 2604484.016
AT ITER 744 NEW BEST:: SOT 12157539 SOS 7779110 HAS SOPS 6487180 HAS SOUS 2691654 HAS SOUPS 2593332 WITH SCORE 2601111.11
AT ITER 754 NEW BEST:: SOT 12165507 SOS 7794675 HAS SOPS 6506595 HAS SOUS 2690274 HAS SOUPS 2591958 WITH SCORE 2599752.675
AT ITER 777 NEW BEST:: SOT 12165406 SOS 7794300 HAS SOPS 6504264 HAS SOUS 2674779 HAS SOUPS 2576166 WITH SCORE 2583960.3
AT ITER 784 NEW BEST:: SOT 12166006 SOS 7795104 HAS SOPS 6504858 HAS SOUS 2674772 HAS SOUPS 2576159 WITH SCORE 2583954.104
AT ITER 791 NEW BEST:: SOT 12163143 SOS 7790966 HAS SOPS 6499954 HAS SOUS 2670377 HAS SOUPS 2571557 WITH SCORE 2579347.966
AT ITER 801 NEW BEST:: SOT 12163816 SOS 7791699 HAS SOPS 6500717 HAS SOUS 2670309 HAS SOUPS 2571519 WITH SCORE 2579310.699
AT ITER 804 NEW BEST:: SOT 12162537 SOS 7789532 HAS SOPS 6498520 HAS SOUS 2668528 HAS SOUPS 2569738 WITH SCORE 2577527.532
AT ITER 807 NEW BEST:: SOT 12167538 SOS 7800703 HAS SOPS 6514409 HAS SOUS 2665524 HAS SOUPS 2566905 WITH SCORE 2574705.703
AT ITER 809 NEW BEST:: SOT 12167886 SOS 7801032 HAS SOPS 6514453 HAS SOUS 2664104 HAS SOUPS 2565485 WITH SCORE 2573286.032
AT ITER 812 NEW BEST:: SOT 12168203 SOS 7805044 HAS SOPS 6519071 HAS SOUS 2662138 HAS SOUPS 2563519 WITH SCORE 2571324.044
AT ITER 822 NEW BEST:: SOT 12160325 SOS 7795027 HAS SOPS 6511050 HAS SOUS 2657623 HAS SOUPS 2559175 WITH SCORE 2566970.027
AT ITER 824 NEW BEST:: SOT 12157363 SOS 7791903 HAS SOPS 6507441 HAS SOUS 2654957 HAS SOUPS 2556509 WITH SCORE 2564300.903
AT ITER 831 NEW BEST:: SOT 12156968 SOS 7791508 HAS SOPS 6506830 HAS SOUS 2654082 HAS SOUPS 2555634 WITH SCORE 2563425.508
AT ITER 834 NEW BEST:: SOT 12153582 SOS 7787675 HAS SOPS 6504439 HAS SOUS 2650723 HAS SOUPS 2552275 WITH SCORE 2560062.675
AT ITER 869 NEW BEST:: SOT 12154094 SOS 7789279 HAS SOPS 6506139 HAS SOUS 2650020 HAS SOUPS 2551622 WITH SCORE 2559411.279
AT ITER 874 NEW BEST:: SOT 12153398 SOS 7788446 HAS SOPS 6505030 HAS SOUS 2648929 HAS SOUPS 2550531 WITH SCORE 2558319.446
AT ITER 888 NEW BEST:: SOT 12151030 SOS 7786078 HAS SOPS 6502662 HAS SOUS 2646561 HAS SOUPS 2548163 WITH SCORE 2555949.078
AT ITER 889 NEW BEST:: SOT 12146339 SOS 7783210 HAS SOPS 6504538 HAS SOUS 2645274 HAS SOUPS 2547004 WITH SCORE 2554787.21
AT ITER 890 NEW BEST:: SOT 12146093 SOS 7782647 HAS SOPS 6503137 HAS SOUS 2642741 HAS SOUPS 2544293 WITH SCORE 2552075.647
AT ITER 892 NEW BEST:: SOT 12146009 SOS 7782491 HAS SOPS 6502825 HAS SOUS 2642621 HAS SOUPS 2544173 WITH SCORE 2551955.491
AT ITER 896 NEW BEST:: SOT 12146001 SOS 7780721 HAS SOPS 6503805 HAS SOUS 2642150 HAS SOUPS 2543702 WITH SCORE 2551482.721
AT ITER 927 NEW BEST:: SOT 12145256 SOS 7779223 HAS SOPS 6501317 HAS SOUS 2640843 HAS SOUPS 2542353 WITH SCORE 2550132.223
AT ITER 931 NEW BEST:: SOT 12144702 SOS 7778646 HAS SOPS 6500395 HAS SOUS 2638997 HAS SOUPS 2540507 WITH SCORE 2548285.646
AT ITER 943 NEW BEST:: SOT 12144698 SOS 7778642 HAS SOPS 6500391 HAS SOUS 2638817 HAS SOUPS 2540327 WITH SCORE 2548105.642
AT ITER 948 NEW BEST:: SOT 12145015 SOS 7780270 HAS SOPS 6502085 HAS SOUS 2638681 HAS SOUPS 2540191 WITH SCORE 2547971.27
AT ITER 957 NEW BEST:: SOT 12141126 SOS 7772536 HAS SOPS 6494135 HAS SOUS 2629741 HAS SOUPS 2531256 WITH SCORE 2539028.536
AT ITER 964 NEW BEST:: SOT 12141178 SOS 7771249 HAS SOPS 6492685 HAS SOUS 2629556 HAS SOUPS 2531071 WITH SCORE 2538842.249
AT ITER 983 NEW BEST:: SOT 12138464 SOS 7768910 HAS SOPS 6491473 HAS SOUS 2629104 HAS SOUPS 2530619 WITH SCORE 2538387.91
AT ITER 1003 NEW BEST:: SOT 12124339 SOS 7755041 HAS SOPS 6473853 HAS SOUS 2605913 HAS SOUPS 2505630 WITH SCORE 2513385.041
AT ITER 1012 NEW BEST:: SOT 12123715 SOS 7754405 HAS SOPS 6473037 HAS SOUS 2604617 HAS SOUPS 2504334 WITH SCORE 2512088.405
AT ITER 1018 NEW BEST:: SOT 12126233 SOS 7760203 HAS SOPS 6481660 HAS SOUS 2603420 HAS SOUPS 2503237 WITH SCORE 2510997.203
AT ITER 1025 NEW BEST:: SOT 12119405 SOS 7753338 HAS SOPS 6474240 HAS SOUS 2595692 HAS SOUPS 2495509 WITH SCORE 2503262.338
AT ITER 1026 NEW BEST:: SOT 12120237 SOS 7759686 HAS SOPS 6468844 HAS SOUS 2581898 HAS SOUPS 2481625 WITH SCORE 2489384.686
AT ITER 1039 NEW BEST:: SOT 12119923 SOS 7759376 HAS SOPS 6468242 HAS SOUS 2580900 HAS SOUPS 2480655 WITH SCORE 2488414.376
AT ITER 1049 NEW BEST:: SOT 12132483 SOS 7775139 HAS SOPS 6488069 HAS SOUS 2579298 HAS SOUPS 2479328 WITH SCORE 2487103.139
AT ITER 1050 NEW BEST:: SOT 12136501 SOS 7780273 HAS SOPS 6492445 HAS SOUS 2578276 HAS SOUPS 2478452 WITH SCORE 2486232.273
AT ITER 1051 NEW BEST:: SOT 12134834 SOS 7775218 HAS SOPS 6488212 HAS SOUS 2577203 HAS SOUPS 2477379 WITH SCORE 2485154.218
AT ITER 1057 NEW BEST:: SOT 12134942 SOS 7777964 HAS SOPS 6491151 HAS SOUS 2575285 HAS SOUPS 2475461 WITH SCORE 2483238.964
AT ITER 1065 NEW BEST:: SOT 12134467 SOS 7777708 HAS SOPS 6490421 HAS SOUS 2573775 HAS SOUPS 2473952 WITH SCORE 2481729.708
AT ITER 1068 NEW BEST:: SOT 12133596 SOS 7775158 HAS SOPS 6488051 HAS SOUS 2572574 HAS SOUPS 2472764 WITH SCORE 2480539.158
AT ITER 1078 NEW BEST:: SOT 12134601 SOS 7778110 HAS SOPS 6490420 HAS SOUS 2572359 HAS SOUPS 2472549 WITH SCORE 2480327.11
AT ITER 1081 NEW BEST:: SOT 12136925 SOS 7785525 HAS SOPS 6498170 HAS SOUS 2563260 HAS SOUPS 2463450 WITH SCORE 2471235.525
AT ITER 1098 NEW BEST:: SOT 12136644 SOS 7785939 HAS SOPS 6497557 HAS SOUS 2561801 HAS SOUPS 2461865 WITH SCORE 2469650.939
AT ITER 1124 NEW BEST:: SOT 12136189 SOS 7783409 HAS SOPS 6495030 HAS SOUS 2558904 HAS SOUPS 2458971 WITH SCORE 2466754.409
AT ITER 1127 NEW BEST:: SOT 12136211 SOS 7783063 HAS SOPS 6496598 HAS SOUS 2558224 HAS SOUPS 2458487 WITH SCORE 2466270.063
AT ITER 1133 NEW BEST:: SOT 12134372 SOS 7781004 HAS SOPS 6494118 HAS SOUS 2553961 HAS SOUPS 2454224 WITH SCORE 2462005.004
AT ITER 1137 NEW BEST:: SOT 12134797 SOS 7775628 HAS SOPS 6490361 HAS SOUS 2552530 HAS SOUPS 2452870 WITH SCORE 2460645.628
AT ITER 1143 NEW BEST:: SOT 12134773 SOS 7775604 HAS SOPS 6490337 HAS SOUS 2552138 HAS SOUPS 2452478 WITH SCORE 2460253.604
AT ITER 1154 NEW BEST:: SOT 12133955 SOS 7775296 HAS SOPS 6489945 HAS SOUS 2551475 HAS SOUPS 2451815 WITH SCORE 2459590.296
AT ITER 1162 NEW BEST:: SOT 12133505 SOS 7774600 HAS SOPS 6485822 HAS SOUS 2549922 HAS SOUPS 2450262 WITH SCORE 2458036.6
AT ITER 1176 NEW BEST:: SOT 12135480 SOS 7778507 HAS SOPS 6488027 HAS SOUS 2547107 HAS SOUPS 2447447 WITH SCORE 2455225.507
AT ITER 1180 NEW BEST:: SOT 12135529 SOS 7780936 HAS SOPS 6489087 HAS SOUS 2544684 HAS SOUPS 2445087 WITH SCORE 2452867.936
AT ITER 1181 NEW BEST:: SOT 12133731 SOS 7779928 HAS SOPS 6486696 HAS SOUS 2538770 HAS SOUPS 2439173 WITH SCORE 2446952.928
AT ITER 1186 NEW BEST:: SOT 12131824 SOS 7777857 HAS SOPS 6483669 HAS SOUS 2534348 HAS SOUPS 2434781 WITH SCORE 2442558.857
AT ITER 1187 NEW BEST:: SOT 12131445 SOS 7778532 HAS SOPS 6483751 HAS SOUS 2534263 HAS SOUPS 2434644 WITH SCORE 2442422.532
AT ITER 1194 NEW BEST:: SOT 12124326 SOS 7771397 HAS SOPS 6476040 HAS SOUS 2525936 HAS SOUPS 2426317 WITH SCORE 2434088.397
AT ITER 1197 NEW BEST:: SOT 12124986 SOS 7775574 HAS SOPS 6478871 HAS SOUS 2520222 HAS SOUPS 2420603 WITH SCORE 2428378.574
AT ITER 1206 NEW BEST:: SOT 12130300 SOS 7784683 HAS SOPS 6491363 HAS SOUS 2519693 HAS SOUPS 2420513 WITH SCORE 2428297.683
AT ITER 1229 NEW BEST:: SOT 12130275 SOS 7784621 HAS SOPS 6491288 HAS SOUS 2519619 HAS SOUPS 2420441 WITH SCORE 2428225.621
AT ITER 1230 NEW BEST:: SOT 12130033 SOS 7784590 HAS SOPS 6490841 HAS SOUS 2518500 HAS SOUPS 2419322 WITH SCORE 2427106.59
AT ITER 1239 NEW BEST:: SOT 12134181 SOS 7790990 HAS SOPS 6505056 HAS SOUS 2517342 HAS SOUPS 2418310 WITH SCORE 2426100.99
AT ITER 1245 NEW BEST:: SOT 12132644 SOS 7789280 HAS SOPS 6502100 HAS SOUS 2516952 HAS SOUPS 2417960 WITH SCORE 2425749.28
AT ITER 1253 NEW BEST:: SOT 12132703 SOS 7789311 HAS SOPS 6503645 HAS SOUS 2516919 HAS SOUPS 2417927 WITH SCORE 2425716.311
AT ITER 1258 NEW BEST:: SOT 12132118 SOS 7788966 HAS SOPS 6502848 HAS SOUS 2514042 HAS SOUPS 2415011 WITH SCORE 2422799.966
AT ITER 1260 NEW BEST:: SOT 12133496 SOS 7789893 HAS SOPS 6503105 HAS SOUS 2512081 HAS SOUPS 2413050 WITH SCORE 2420839.893
AT ITER 1289 NEW BEST:: SOT 12124528 SOS 7774601 HAS SOPS 6488046 HAS SOUS 2499676 HAS SOUPS 2400749 WITH SCORE 2408523.601
AT ITER 1304 NEW BEST:: SOT 12127754 SOS 7786048 HAS SOPS 6497817 HAS SOUS 2497436 HAS SOUPS 2398574 WITH SCORE 2406360.048
AT ITER 1306 NEW BEST:: SOT 12128421 SOS 7787178 HAS SOPS 6498894 HAS SOUS 2494900 HAS SOUPS 2396038 WITH SCORE 2403825.178
AT ITER 1336 NEW BEST:: SOT 12126819 SOS 7785529 HAS SOPS 6496690 HAS SOUS 2493902 HAS SOUPS 2394814 WITH SCORE 2402599.529
AT ITER 1342 NEW BEST:: SOT 12125935 SOS 7783951 HAS SOPS 6495427 HAS SOUS 2493231 HAS SOUPS 2394156 WITH SCORE 2401939.951
AT ITER 1347 NEW BEST:: SOT 12125555 SOS 7782481 HAS SOPS 6494692 HAS SOUS 2492207 HAS SOUPS 2393348 WITH SCORE 2401130.481
AT ITER 1348 NEW BEST:: SOT 12125690 SOS 7782838 HAS SOPS 6495191 HAS SOUS 2492032 HAS SOUPS 2393173 WITH SCORE 2400955.838
AT ITER 1366 NEW BEST:: SOT 12122935 SOS 7779632 HAS SOPS 6491733 HAS SOUS 2483747 HAS SOUPS 2384988 WITH SCORE 2392767.632
AT ITER 1377 NEW BEST:: SOT 12120991 SOS 7775359 HAS SOPS 6487867 HAS SOUS 2478985 HAS SOUPS 2380241 WITH SCORE 2388016.359
AT ITER 1402 NEW BEST:: SOT 12120973 SOS 7775633 HAS SOPS 6488388 HAS SOUS 2478707 HAS SOUPS 2380028 WITH SCORE 2387803.633
AT ITER 1407 NEW BEST:: SOT 12121032 SOS 7780609 HAS SOPS 6497830 HAS SOUS 2478290 HAS SOUPS 2379987 WITH SCORE 2387767.609
AT ITER 1410 NEW BEST:: SOT 12114066 SOS 7766147 HAS SOPS 6492327 HAS SOUS 2473664 HAS SOUPS 2375526 WITH SCORE 2383292.147
AT ITER 1426 NEW BEST:: SOT 12108451 SOS 7760532 HAS SOPS 6485976 HAS SOUS 2465105 HAS SOUPS 2366967 WITH SCORE 2374727.532
AT ITER 1438 NEW BEST:: SOT 12106070 SOS 7758143 HAS SOPS 6483444 HAS SOUS 2458087 HAS SOUPS 2359958 WITH SCORE 2367716.143
AT ITER 1463 NEW BEST:: SOT 12106040 SOS 7756222 HAS SOPS 6480972 HAS SOUS 2457397 HAS SOUPS 2359268 WITH SCORE 2367024.222
AT ITER 1466 NEW BEST:: SOT 12109014 SOS 7761624 HAS SOPS 6486858 HAS SOUS 2451684 HAS SOUPS 2353868 WITH SCORE 2361629.624
AT ITER 1468 NEW BEST:: SOT 12108960 SOS 7761584 HAS SOPS 6486806 HAS SOUS 2451608 HAS SOUPS 2353792 WITH SCORE 2361553.584
AT ITER 1475 NEW BEST:: SOT 12112285 SOS 7765661 HAS SOPS 6488710 HAS SOUS 2449486 HAS SOUPS 2351670 WITH SCORE 2359435.661
AT ITER 1489 NEW BEST:: SOT 12111870 SOS 7766087 HAS SOPS 6490971 HAS SOUS 2447482 HAS SOUPS 2350711 WITH SCORE 2358477.087
AT ITER 1509 NEW BEST:: SOT 12110870 SOS 7765087 HAS SOPS 6489411 HAS SOUS 2444234 HAS SOUPS 2347463 WITH SCORE 2355228.087
AT ITER 1511 NEW BEST:: SOT 12110721 SOS 7764835 HAS SOPS 6489143 HAS SOUS 2443973 HAS SOUPS 2347186 WITH SCORE 2354950.835
AT ITER 1513 NEW BEST:: SOT 12112996 SOS 7766553 HAS SOPS 6491190 HAS SOUS 2441384 HAS SOUPS 2344689 WITH SCORE 2352455.553
AT ITER 1522 NEW BEST:: SOT 12113870 SOS 7770541 HAS SOPS 6494399 HAS SOUS 2441217 HAS SOUPS 2344522 WITH SCORE 2352292.541
AT ITER 1523 NEW BEST:: SOT 12113845 SOS 7770415 HAS SOPS 6493347 HAS SOUS 2439249 HAS SOUPS 2342554 WITH SCORE 2350324.415
AT ITER 1531 NEW BEST:: SOT 12117116 SOS 7778363 HAS SOPS 6494814 HAS SOUS 2436834 HAS SOUPS 2340139 WITH SCORE 2347917.363
AT ITER 1536 NEW BEST:: SOT 12122263 SOS 7787576 HAS SOPS 6499935 HAS SOUS 2433199 HAS SOUPS 2336504 WITH SCORE 2344291.576
AT ITER 1541 NEW BEST:: SOT 12119079 SOS 7780635 HAS SOPS 6494817 HAS SOUS 2429651 HAS SOUPS 2333052 WITH SCORE 2340832.635
AT ITER 1546 NEW BEST:: SOT 12122392 SOS 7783400 HAS SOPS 6498193 HAS SOUS 2428460 HAS SOUPS 2331990 WITH SCORE 2339773.4
AT ITER 1562 NEW BEST:: SOT 12122322 SOS 7784528 HAS SOPS 6500859 HAS SOUS 2428046 HAS SOUPS 2331576 WITH SCORE 2339360.528
AT ITER 1576 NEW BEST:: SOT 12121402 SOS 7783608 HAS SOPS 6499427 HAS SOUS 2425182 HAS SOUPS 2328712 WITH SCORE 2336495.608
AT ITER 1578 NEW BEST:: SOT 12122856 SOS 7784286 HAS SOPS 6498273 HAS SOUS 2420175 HAS SOUPS 2323768 WITH SCORE 2331552.286
AT ITER 1612 NEW BEST:: SOT 12122856 SOS 7784450 HAS SOPS 6498561 HAS SOUS 2420167 HAS SOUPS 2323760 WITH SCORE 2331544.45
AT ITER 1628 NEW BEST:: SOT 12121515 SOS 7783690 HAS SOPS 6497867 HAS SOUS 2419587 HAS SOUPS 2323180 WITH SCORE 2330963.69
AT ITER 1635 NEW BEST:: SOT 12110372 SOS 7766331 HAS SOPS 6481900 HAS SOUS 2401315 HAS SOUPS 2306501 WITH SCORE 2314267.331
AT ITER 1638 NEW BEST:: SOT 12112524 SOS 7769718 HAS SOPS 6484936 HAS SOUS 2400953 HAS SOUPS 2306139 WITH SCORE 2313908.718
AT ITER 1657 NEW BEST:: SOT 12105614 SOS 7769437 HAS SOPS 6494115 HAS SOUS 2394479 HAS SOUPS 2300065 WITH SCORE 2307834.437
AT ITER 1661 NEW BEST:: SOT 12106820 SOS 7773314 HAS SOPS 6497767 HAS SOUS 2394138 HAS SOUPS 2299724 WITH SCORE 2307497.314
AT ITER 1687 NEW BEST:: SOT 12106787 SOS 7773365 HAS SOPS 6496950 HAS SOUS 2392502 HAS SOUPS 2298060 WITH SCORE 2305833.365
AT ITER 1702 NEW BEST:: SOT 12111771 SOS 7786173 HAS SOPS 6514309 HAS SOUS 2389718 HAS SOUPS 2295276 WITH SCORE 2303062.173
AT ITER 1704 NEW BEST:: SOT 12109782 SOS 7783212 HAS SOPS 6514716 HAS SOUS 2384486 HAS SOUPS 2290044 WITH SCORE 2297827.212
AT ITER 1706 NEW BEST:: SOT 12102866 SOS 7762208 HAS SOPS 6490493 HAS SOUS 2378201 HAS SOUPS 2283517 WITH SCORE 2291279.208
AT ITER 1716 NEW BEST:: SOT 12104033 SOS 7763889 HAS SOPS 6490681 HAS SOUS 2377693 HAS SOUPS 2283021 WITH SCORE 2290784.889
AT ITER 1717 NEW BEST:: SOT 12103912 SOS 7763986 HAS SOPS 6492906 HAS SOUS 2375155 HAS SOUPS 2280494 WITH SCORE 2288257.986
AT ITER 1731 NEW BEST:: SOT 12102803 SOS 7762055 HAS SOPS 6490440 HAS SOUS 2369835 HAS SOUPS 2275215 WITH SCORE 2282977.055
AT ITER 1740 NEW BEST:: SOT 12104014 SOS 7769498 HAS SOPS 6498026 HAS SOUS 2369301 HAS SOUPS 2274681 WITH SCORE 2282450.498
AT ITER 1754 NEW BEST:: SOT 12103468 SOS 7773136 HAS SOPS 6502613 HAS SOUS 2366042 HAS SOUPS 2271422 WITH SCORE 2279195.136
AT ITER 1761 NEW BEST:: SOT 12102682 SOS 7772349 HAS SOPS 6501090 HAS SOUS 2364903 HAS SOUPS 2270089 WITH SCORE 2277861.349
AT ITER 1770 NEW BEST:: SOT 12102400 SOS 7771970 HAS SOPS 6500967 HAS SOUS 2364270 HAS SOUPS 2269472 WITH SCORE 2277243.97
AT ITER 1775 NEW BEST:: SOT 12100910 SOS 7768877 HAS SOPS 6497982 HAS SOUS 2361521 HAS SOUPS 2266723 WITH SCORE 2274491.877
AT ITER 1786 NEW BEST:: SOT 12099220 SOS 7770633 HAS SOPS 6498176 HAS SOUS 2352675 HAS SOUPS 2257991 WITH SCORE 2265761.633
AT ITER 1789 NEW BEST:: SOT 12096932 SOS 7768339 HAS SOPS 6496234 HAS SOUS 2350459 HAS SOUPS 2256511 WITH SCORE 2264279.339
AT ITER 1811 NEW BEST:: SOT 12096872 SOS 7767980 HAS SOPS 6495695 HAS SOUS 2350293 HAS SOUPS 2256345 WITH SCORE 2264112.98
AT ITER 1816 NEW BEST:: SOT 12096846 SOS 7768149 HAS SOPS 6495608 HAS SOUS 2349960 HAS SOUPS 2256012 WITH SCORE 2263780.149
AT ITER 1817 NEW BEST:: SOT 12093970 SOS 7764741 HAS SOPS 6492614 HAS SOUS 2346447 HAS SOUPS 2252581 WITH SCORE 2260345.741
AT ITER 1850 NEW BEST:: SOT 12108554 SOS 7775766 HAS SOPS 6501215 HAS SOUS 2338456 HAS SOUPS 2243972 WITH SCORE 2251747.766
AT ITER 1858 NEW BEST:: SOT 12113244 SOS 7785923 HAS SOPS 6508983 HAS SOUS 2336527 HAS SOUPS 2242043 WITH SCORE 2249828.923
AT ITER 1868 NEW BEST:: SOT 12113324 SOS 7786150 HAS SOPS 6508981 HAS SOUS 2336270 HAS SOUPS 2241786 WITH SCORE 2249572.15
AT ITER 1885 NEW BEST:: SOT 12117571 SOS 7804820 HAS SOPS 6526151 HAS SOUS 2332471 HAS SOUPS 2237987 WITH SCORE 2245791.82
AT ITER 1886 NEW BEST:: SOT 12115620 SOS 7802560 HAS SOPS 6522351 HAS SOUS 2327440 HAS SOUPS 2232956 WITH SCORE 2240758.56
AT ITER 1889 NEW BEST:: SOT 12113859 SOS 7801005 HAS SOPS 6520254 HAS SOUS 2325839 HAS SOUPS 2231149 WITH SCORE 2238950.005
AT ITER 1900 NEW BEST:: SOT 12115994 SOS 7803140 HAS SOPS 6521829 HAS SOUS 2325542 HAS SOUPS 2230852 WITH SCORE 2238655.14
AT ITER 1901 NEW BEST:: SOT 12115101 SOS 7802181 HAS SOPS 6520293 HAS SOUS 2324341 HAS SOUPS 2229651 WITH SCORE 2237453.181
AT ITER 1905 NEW BEST:: SOT 12112464 SOS 7801178 HAS SOPS 6518849 HAS SOUS 2322425 HAS SOUPS 2227686 WITH SCORE 2235487.178
AT ITER 1912 NEW BEST:: SOT 12112494 SOS 7801892 HAS SOPS 6519221 HAS SOUS 2321784 HAS SOUPS 2227045 WITH SCORE 2234846.892
AT ITER 1913 NEW BEST:: SOT 12111385 SOS 7800840 HAS SOPS 6517212 HAS SOUS 2312964 HAS SOUPS 2219283 WITH SCORE 2227083.84
AT ITER 1943 NEW BEST:: SOT 12111622 SOS 7801244 HAS SOPS 6517497 HAS SOUS 2310694 HAS SOUPS 2217271 WITH SCORE 2225072.244
AT ITER 1949 NEW BEST:: SOT 12111731 SOS 7801907 HAS SOPS 6517983 HAS SOUS 2310449 HAS SOUPS 2217026 WITH SCORE 2224827.907
AT ITER 1956 NEW BEST:: SOT 12114739 SOS 7810581 HAS SOPS 6529804 HAS SOUS 2306305 HAS SOUPS 2212882 WITH SCORE 2220692.581
AT ITER 1968 NEW BEST:: SOT 12114493 SOS 7809901 HAS SOPS 6529271 HAS SOUS 2305947 HAS SOUPS 2212524 WITH SCORE 2220333.901
AT ITER 1998 NEW BEST:: SOT 12119954 SOS 7813974 HAS SOPS 6536440 HAS SOUS 2298328 HAS SOUPS 2205113 WITH SCORE 2212926.974
AT ITER 2013 NEW BEST:: SOT 12119340 SOS 7813439 HAS SOPS 6535469 HAS SOUS 2297518 HAS SOUPS 2204147 WITH SCORE 2211960.439
AT ITER 2019 NEW BEST:: SOT 12119366 SOS 7813465 HAS SOPS 6535447 HAS SOUS 2297152 HAS SOUPS 2203781 WITH SCORE 2211594.465
AT ITER 2021 NEW BEST:: SOT 12109276 SOS 7802410 HAS SOPS 6527378 HAS SOUS 2292883 HAS SOUPS 2200199 WITH SCORE 2208001.41
AT ITER 2052 NEW BEST:: SOT 12105882 SOS 7798817 HAS SOPS 6523832 HAS SOUS 2289103 HAS SOUPS 2196638 WITH SCORE 2204436.817
AT ITER 2058 NEW BEST:: SOT 12085199 SOS 7781089 HAS SOPS 6504524 HAS SOUS 2278176 HAS SOUPS 2186266 WITH SCORE 2194047.089
AT ITER 2073 NEW BEST:: SOT 12084461 SOS 7777800 HAS SOPS 6501865 HAS SOUS 2277985 HAS SOUPS 2186077 WITH SCORE 2193854.8
AT ITER 2076 NEW BEST:: SOT 12081482 SOS 7769328 HAS SOPS 6496361 HAS SOUS 2277315 HAS SOUPS 2185427 WITH SCORE 2193196.328
AT ITER 2078 NEW BEST:: SOT 12078168 SOS 7763649 HAS SOPS 6493427 HAS SOUS 2275756 HAS SOUPS 2183868 WITH SCORE 2191631.649
AT ITER 2080 NEW BEST:: SOT 12076625 SOS 7762401 HAS SOPS 6492124 HAS SOUS 2274003 HAS SOUPS 2182115 WITH SCORE 2189877.401
AT ITER 2092 NEW BEST:: SOT 12074403 SOS 7759953 HAS SOPS 6488528 HAS SOUS 2270177 HAS SOUPS 2178261 WITH SCORE 2186020.953
AT ITER 2094 NEW BEST:: SOT 12074223 SOS 7759773 HAS SOPS 6488284 HAS SOUS 2269789 HAS SOUPS 2177873 WITH SCORE 2185632.773
AT ITER 2107 NEW BEST:: SOT 12072592 SOS 7759153 HAS SOPS 6485628 HAS SOUS 2265740 HAS SOUPS 2174124 WITH SCORE 2181883.153
AT ITER 2118 NEW BEST:: SOT 12075700 SOS 7765280 HAS SOPS 6492743 HAS SOUS 2262280 HAS SOUPS 2170664 WITH SCORE 2178429.28
AT ITER 2125 NEW BEST:: SOT 12075613 SOS 7765185 HAS SOPS 6492507 HAS SOUS 2261961 HAS SOUPS 2170345 WITH SCORE 2178110.185
AT ITER 2127 NEW BEST:: SOT 12075115 SOS 7764614 HAS SOPS 6492592 HAS SOUS 2261874 HAS SOUPS 2170258 WITH SCORE 2178022.614
AT ITER 2129 NEW BEST:: SOT 12076430 SOS 7765995 HAS SOPS 6493832 HAS SOUS 2261118 HAS SOUPS 2169499 WITH SCORE 2177264.995
AT ITER 2130 NEW BEST:: SOT 12075876 SOS 7764989 HAS SOPS 6492218 HAS SOUS 2261337 HAS SOUPS 2169090 WITH SCORE 2176854.989
AT ITER 2147 NEW BEST:: SOT 12073059 SOS 7760821 HAS SOPS 6487382 HAS SOUS 2257420 HAS SOUPS 2165145 WITH SCORE 2172905.821
AT ITER 2158 NEW BEST:: SOT 12070487 SOS 7756700 HAS SOPS 6483183 HAS SOUS 2252851 HAS SOUPS 2160630 WITH SCORE 2168386.7
AT ITER 2170 NEW BEST:: SOT 12070171 SOS 7755830 HAS SOPS 6482734 HAS SOUS 2252767 HAS SOUPS 2160554 WITH SCORE 2168309.83
AT ITER 2180 NEW BEST:: SOT 12069845 SOS 7755307 HAS SOPS 6482136 HAS SOUS 2251614 HAS SOUPS 2159401 WITH SCORE 2167156.307
AT ITER 2181 NEW BEST:: SOT 12069421 SOS 7754542 HAS SOPS 6481461 HAS SOUS 2250928 HAS SOUPS 2158724 WITH SCORE 2166478.542
AT ITER 2187 NEW BEST:: SOT 12069433 SOS 7753624 HAS SOPS 6481041 HAS SOUS 2250862 HAS SOUPS 2158658 WITH SCORE 2166411.624
AT ITER 2200 NEW BEST:: SOT 12064383 SOS 7748869 HAS SOPS 6474514 HAS SOUS 2235537 HAS SOUPS 2143333 WITH SCORE 2151081.869
AT ITER 2226 NEW BEST:: SOT 12052663 SOS 7733575 HAS SOPS 6460119 HAS SOUS 2217262 HAS SOUPS 2125650 WITH SCORE 2133383.575
AT ITER 2230 NEW BEST:: SOT 12052548 SOS 7733541 HAS SOPS 6459758 HAS SOUS 2216829 HAS SOUPS 2125214 WITH SCORE 2132947.541
AT ITER 2233 NEW BEST:: SOT 12050496 SOS 7723354 HAS SOPS 6451816 HAS SOUS 2215067 HAS SOUPS 2123452 WITH SCORE 2131175.354
AT ITER 2247 NEW BEST:: SOT 12051665 SOS 7723904 HAS SOPS 6452171 HAS SOUS 2214209 HAS SOUPS 2122594 WITH SCORE 2130317.904
AT ITER 2263 NEW BEST:: SOT 12051079 SOS 7721804 HAS SOPS 6445523 HAS SOUS 2212884 HAS SOUPS 2121206 WITH SCORE 2128927.804
AT ITER 2265 NEW BEST:: SOT 12050847 SOS 7723529 HAS SOPS 6444633 HAS SOUS 2212269 HAS SOUPS 2120591 WITH SCORE 2128314.529
AT ITER 2280 NEW BEST:: SOT 12051659 SOS 7724030 HAS SOPS 6445041 HAS SOUS 2212070 HAS SOUPS 2120416 WITH SCORE 2128140.03
AT ITER 2297 NEW BEST:: SOT 12051635 SOS 7724006 HAS SOPS 6445017 HAS SOUS 2212067 HAS SOUPS 2120413 WITH SCORE 2128137.006
AT ITER 2301 NEW BEST:: SOT 12048183 SOS 7720334 HAS SOPS 6441419 HAS SOUS 2209137 HAS SOUPS 2117530 WITH SCORE 2125250.334
AT ITER 2314 NEW BEST:: SOT 12047920 SOS 7719823 HAS SOPS 6442045 HAS SOUS 2208984 HAS SOUPS 2117377 WITH SCORE 2125096.823
AT ITER 2320 NEW BEST:: SOT 12046028 SOS 7723484 HAS SOPS 6449345 HAS SOUS 2205052 HAS SOUPS 2113604 WITH SCORE 2121327.484
AT ITER 2324 NEW BEST:: SOT 12043413 SOS 7721021 HAS SOPS 6446886 HAS SOUS 2203643 HAS SOUPS 2112228 WITH SCORE 2119949.021
AT ITER 2326 NEW BEST:: SOT 12043163 SOS 7720463 HAS SOPS 6446347 HAS SOUS 2203278 HAS SOUPS 2111866 WITH SCORE 2119586.463
AT ITER 2336 NEW BEST:: SOT 12040659 SOS 7715825 HAS SOPS 6438931 HAS SOUS 2195988 HAS SOUPS 2104423 WITH SCORE 2112138.825
AT ITER 2338 NEW BEST:: SOT 12040503 SOS 7715851 HAS SOPS 6438710 HAS SOUS 2195884 HAS SOUPS 2104319 WITH SCORE 2112034.851
AT ITER 2356 NEW BEST:: SOT 12041965 SOS 7718231 HAS SOPS 6440698 HAS SOUS 2195798 HAS SOUPS 2104233 WITH SCORE 2111951.231
AT ITER 2359 NEW BEST:: SOT 12041250 SOS 7717502 HAS SOPS 6439745 HAS SOUS 2194223 HAS SOUPS 2102658 WITH SCORE 2110375.502
AT ITER 2373 NEW BEST:: SOT 12040145 SOS 7715829 HAS SOPS 6437786 HAS SOUS 2192270 HAS SOUPS 2100717 WITH SCORE 2108432.829
AT ITER 2379 NEW BEST:: SOT 12038323 SOS 7712334 HAS SOPS 6432157 HAS SOUS 2192124 HAS SOUPS 2100571 WITH SCORE 2108283.334
AT ITER 2388 NEW BEST:: SOT 12038264 SOS 7712414 HAS SOPS 6432137 HAS SOUS 2191686 HAS SOUPS 2100133 WITH SCORE 2107845.414
AT ITER 2391 NEW BEST:: SOT 12028790 SOS 7679391 HAS SOPS 6403111 HAS SOUS 2188581 HAS SOUPS 2097113 WITH SCORE 2104792.391
AT ITER 2414 NEW BEST:: SOT 12031491 SOS 7690358 HAS SOPS 6408616 HAS SOUS 2186169 HAS SOUPS 2094701 WITH SCORE 2102391.358
AT ITER 2434 NEW BEST:: SOT 12032595 SOS 7692583 HAS SOPS 6409735 HAS SOUS 2179819 HAS SOUPS 2088452 WITH SCORE 2096144.583
AT ITER 2448 NEW BEST:: SOT 12028339 SOS 7679296 HAS SOPS 6399512 HAS SOUS 2173341 HAS SOUPS 2081974 WITH SCORE 2089653.296
AT ITER 2454 NEW BEST:: SOT 12027244 SOS 7684614 HAS SOPS 6401837 HAS SOUS 2167428 HAS SOUPS 2076061 WITH SCORE 2083745.614
AT ITER 2455 NEW BEST:: SOT 12031986 SOS 7689486 HAS SOPS 6405762 HAS SOUS 2166342 HAS SOUPS 2075054 WITH SCORE 2082743.486
AT ITER 2476 NEW BEST:: SOT 12032204 SOS 7690745 HAS SOPS 6405576 HAS SOUS 2165787 HAS SOUPS 2074482 WITH SCORE 2082172.745
AT ITER 2506 NEW BEST:: SOT 12031972 SOS 7685942 HAS SOPS 6404758 HAS SOUS 2161485 HAS SOUPS 2070491 WITH SCORE 2078176.942
AT ITER 2530 NEW BEST:: SOT 12031906 SOS 7686696 HAS SOPS 6406124 HAS SOUS 2160939 HAS SOUPS 2069945 WITH SCORE 2077631.696
AT ITER 2539 NEW BEST:: SOT 12034938 SOS 7690931 HAS SOPS 6408588 HAS SOUS 2158683 HAS SOUPS 2067612 WITH SCORE 2075302.931
AT ITER 2540 NEW BEST:: SOT 12034763 SOS 7690948 HAS SOPS 6406148 HAS SOUS 2157309 HAS SOUPS 2066185 WITH SCORE 2073875.948
AT ITER 2548 NEW BEST:: SOT 12031983 SOS 7688927 HAS SOPS 6404861 HAS SOUS 2153599 HAS SOUPS 2062475 WITH SCORE 2070163.927
AT ITER 2552 NEW BEST:: SOT 12032315 SOS 7690552 HAS SOPS 6406738 HAS SOUS 2153489 HAS SOUPS 2062365 WITH SCORE 2070055.552
AT ITER 2556 NEW BEST:: SOT 12030259 SOS 7688003 HAS SOPS 6403271 HAS SOUS 2149401 HAS SOUPS 2058277 WITH SCORE 2065965.003
AT ITER 2573 NEW BEST:: SOT 12031098 SOS 7688825 HAS SOPS 6408058 HAS SOUS 2146328 HAS SOUPS 2055295 WITH SCORE 2062983.825
AT ITER 2607 NEW BEST:: SOT 12028065 SOS 7689793 HAS SOPS 6406099 HAS SOUS 2135161 HAS SOUPS 2042676 WITH SCORE 2050365.793
AT ITER 2621 NEW BEST:: SOT 12027424 SOS 7690584 HAS SOPS 6404654 HAS SOUS 2134105 HAS SOUPS 2041531 WITH SCORE 2049221.584
AT ITER 2625 NEW BEST:: SOT 12027244 SOS 7686936 HAS SOPS 6401572 HAS SOUS 2133070 HAS SOUPS 2040549 WITH SCORE 2048235.936
AT ITER 2631 NEW BEST:: SOT 12023222 SOS 7681477 HAS SOPS 6394848 HAS SOUS 2125647 HAS SOUPS 2033200 WITH SCORE 2040881.477
AT ITER 2632 NEW BEST:: SOT 12022146 SOS 7681332 HAS SOPS 6392437 HAS SOUS 2115726 HAS SOUPS 2023279 WITH SCORE 2030960.332
AT ITER 2650 NEW BEST:: SOT 12023430 SOS 7683646 HAS SOPS 6394769 HAS SOUS 2114086 HAS SOUPS 2021657 WITH SCORE 2029340.646
AT ITER 2652 NEW BEST:: SOT 12028859 SOS 7689352 HAS SOPS 6401662 HAS SOUS 2113465 HAS SOUPS 2021482 WITH SCORE 2029171.352
AT ITER 2654 NEW BEST:: SOT 12028851 SOS 7689338 HAS SOPS 6401622 HAS SOUS 2113340 HAS SOUPS 2021357 WITH SCORE 2029046.338
AT ITER 2656 NEW BEST:: SOT 12028735 SOS 7688848 HAS SOPS 6402608 HAS SOUS 2109279 HAS SOUPS 2017415 WITH SCORE 2025103.848
AT ITER 2659 NEW BEST:: SOT 12028092 SOS 7688347 HAS SOPS 6401777 HAS SOUS 2107669 HAS SOUPS 2015794 WITH SCORE 2023482.347
AT ITER 2662 NEW BEST:: SOT 12028129 SOS 7687458 HAS SOPS 6401319 HAS SOUS 2106577 HAS SOUPS 2014702 WITH SCORE 2022389.458
AT ITER 2674 NEW BEST:: SOT 12033340 SOS 7693877 HAS SOPS 6406765 HAS SOUS 2106180 HAS SOUPS 2014258 WITH SCORE 2021951.877
AT ITER 2690 NEW BEST:: SOT 12025222 SOS 7677322 HAS SOPS 6390135 HAS SOUS 2098494 HAS SOUPS 2006572 WITH SCORE 2014249.322
AT ITER 2693 NEW BEST:: SOT 12024085 SOS 7672982 HAS SOPS 6387428 HAS SOUS 2097151 HAS SOUPS 2005274 WITH SCORE 2012946.982
AT ITER 2700 NEW BEST:: SOT 12025511 SOS 7674589 HAS SOPS 6387830 HAS SOUS 2086861 HAS SOUPS 1995001 WITH SCORE 2002675.589
AT ITER 2725 NEW BEST:: SOT 12022141 SOS 7671233 HAS SOPS 6384058 HAS SOUS 2082637 HAS SOUPS 1990777 WITH SCORE 1998448.233
AT ITER 2745 NEW BEST:: SOT 12022356 SOS 7671448 HAS SOPS 6382801 HAS SOUS 2082692 HAS SOUPS 1989520 WITH SCORE 1997191.448
AT ITER 2751 NEW BEST:: SOT 12016742 SOS 7662325 HAS SOPS 6373809 HAS SOUS 2072644 HAS SOUPS 1979539 WITH SCORE 1987201.325
AT ITER 2760 NEW BEST:: SOT 12017330 SOS 7662913 HAS SOPS 6374517 HAS SOUS 2072424 HAS SOUPS 1979423 WITH SCORE 1987085.913
AT ITER 2765 NEW BEST:: SOT 12014797 SOS 7658223 HAS SOPS 6370664 HAS SOUS 2068049 HAS SOUPS 1975048 WITH SCORE 1982706.223
AT ITER 2779 NEW BEST:: SOT 12019503 SOS 7676236 HAS SOPS 6379031 HAS SOUS 2067711 HAS SOUPS 1974710 WITH SCORE 1982386.236
AT ITER 2799 NEW BEST:: SOT 12019543 SOS 7676507 HAS SOPS 6379085 HAS SOUS 2067807 HAS SOUPS 1974645 WITH SCORE 1982321.507
AT ITER 2809 NEW BEST:: SOT 12018626 SOS 7674559 HAS SOPS 6380598 HAS SOUS 2061969 HAS SOUPS 1968807 WITH SCORE 1976481.559
AT ITER 2812 NEW BEST:: SOT 12018115 SOS 7675537 HAS SOPS 6380747 HAS SOUS 2059879 HAS SOUPS 1966717 WITH SCORE 1974392.537
AT ITER 2824 NEW BEST:: SOT 12017055 SOS 7675639 HAS SOPS 6381405 HAS SOUS 2054944 HAS SOUPS 1961782 WITH SCORE 1969457.639
AT ITER 2835 NEW BEST:: SOT 12017092 SOS 7675333 HAS SOPS 6381309 HAS SOUS 2054927 HAS SOUPS 1961765 WITH SCORE 1969440.333
AT ITER 2837 NEW BEST:: SOT 12017019 SOS 7674475 HAS SOPS 6381102 HAS SOUS 2054530 HAS SOUPS 1961368 WITH SCORE 1969042.475
AT ITER 2843 NEW BEST:: SOT 12017019 SOS 7674571 HAS SOPS 6379991 HAS SOUS 2054498 HAS SOUPS 1961336 WITH SCORE 1969010.571
AT ITER 2849 NEW BEST:: SOT 12015313 SOS 7668464 HAS SOPS 6374106 HAS SOUS 2054223 HAS SOUPS 1961061 WITH SCORE 1968729.464
AT ITER 2879 NEW BEST:: SOT 12014904 SOS 7668102 HAS SOPS 6374183 HAS SOUS 2053262 HAS SOUPS 1960100 WITH SCORE 1967768.102
AT ITER 2904 NEW BEST:: SOT 12009545 SOS 7655300 HAS SOPS 6366686 HAS SOUS 2048773 HAS SOUPS 1955611 WITH SCORE 1963266.3
AT ITER 2905 NEW BEST:: SOT 12001189 SOS 7642152 HAS SOPS 6356094 HAS SOUS 2039856 HAS SOUPS 1946800 WITH SCORE 1954442.152
AT ITER 2917 NEW BEST:: SOT 12000861 SOS 7641607 HAS SOPS 6355311 HAS SOUS 2039087 HAS SOUPS 1946031 WITH SCORE 1953672.607
AT ITER 2921 NEW BEST:: SOT 12000718 SOS 7641336 HAS SOPS 6355217 HAS SOUS 2038952 HAS SOUPS 1945904 WITH SCORE 1953545.336
AT ITER 2935 NEW BEST:: SOT 12003503 SOS 7645523 HAS SOPS 6360361 HAS SOUS 2036120 HAS SOUPS 1943072 WITH SCORE 1950717.523
AT ITER 2938 NEW BEST:: SOT 12003503 SOS 7645512 HAS SOPS 6360350 HAS SOUS 2036076 HAS SOUPS 1943028 WITH SCORE 1950673.512
AT ITER 2944 NEW BEST:: SOT 12000811 SOS 7642820 HAS SOPS 6357658 HAS SOUS 2033040 HAS SOUPS 1939992 WITH SCORE 1947634.82
AT ITER 2961 NEW BEST:: SOT 11989083 SOS 7626350 HAS SOPS 6341161 HAS SOUS 2022422 HAS SOUPS 1929347 WITH SCORE 1936973.35
AT ITER 2968 NEW BEST:: SOT 11995588 SOS 7637335 HAS SOPS 6351623 HAS SOUS 2014748 HAS SOUPS 1921852 WITH SCORE 1929489.335
AT ITER 2997 NEW BEST:: SOT 11995404 SOS 7637151 HAS SOPS 6351375 HAS SOUS 2014436 HAS SOUPS 1921540 WITH SCORE 1929177.151
AT ITER 2999 NEW BEST:: SOT 11995784 SOS 7642868 HAS SOPS 6354660 HAS SOUS 2008072 HAS SOUPS 1915176 WITH SCORE 1922818.868
AT ITER 3021 NEW BEST:: SOT 11995146 SOS 7641825 HAS SOPS 6353955 HAS SOUS 2006894 HAS SOUPS 1913998 WITH SCORE 1921639.825
AT ITER 3033 NEW BEST:: SOT 11989000 SOS 7625881 HAS SOPS 6340803 HAS SOUS 2001698 HAS SOUPS 1909290 WITH SCORE 1916915.881
AT ITER 3041 NEW BEST:: SOT 11989307 SOS 7627448 HAS SOPS 6341656 HAS SOUS 2001591 HAS SOUPS 1909183 WITH SCORE 1916810.448
AT ITER 3066 NEW BEST:: SOT 11989014 SOS 7627129 HAS SOPS 6341234 HAS SOUS 2000381 HAS SOUPS 1907973 WITH SCORE 1915600.129
AT ITER 3072 NEW BEST:: SOT 11983978 SOS 7619324 HAS SOPS 6336185 HAS SOUS 1997260 HAS SOUPS 1904833 WITH SCORE 1912452.324
AT ITER 3104 NEW BEST:: SOT 11983200 SOS 7618546 HAS SOPS 6335407 HAS SOUS 1996482 HAS SOUPS 1904055 WITH SCORE 1911673.546
AT ITER 3110 NEW BEST:: SOT 11983334 SOS 7619240 HAS SOPS 6335749 HAS SOUS 1995930 HAS SOUPS 1903503 WITH SCORE 1911122.24
AT ITER 3112 NEW BEST:: SOT 11983010 SOS 7618658 HAS SOPS 6335194 HAS SOUS 1994388 HAS SOUPS 1901973 WITH SCORE 1909591.658
AT ITER 3136 NEW BEST:: SOT 11983646 SOS 7618773 HAS SOPS 6335673 HAS SOUS 1994283 HAS SOUPS 1901930 WITH SCORE 1909548.773
AT ITER 3166 NEW BEST:: SOT 11981888 SOS 7611944 HAS SOPS 6328271 HAS SOUS 1992286 HAS SOUPS 1899933 WITH SCORE 1907544.944
AT ITER 3167 NEW BEST:: SOT 11981901 SOS 7612077 HAS SOPS 6328269 HAS SOUS 1992036 HAS SOUPS 1899674 WITH SCORE 1907286.077
AT ITER 3170 NEW BEST:: SOT 11981915 SOS 7611925 HAS SOPS 6328235 HAS SOUS 1992000 HAS SOUPS 1899638 WITH SCORE 1907249.925
AT ITER 3174 NEW BEST:: SOT 11980785 SOS 7610400 HAS SOPS 6326494 HAS SOUS 1990240 HAS SOUPS 1897878 WITH SCORE 1905488.4
AT ITER 3185 NEW BEST:: SOT 11981120 SOS 7610462 HAS SOPS 6326556 HAS SOUS 1989277 HAS SOUPS 1896915 WITH SCORE 1904525.462
AT ITER 3203 NEW BEST:: SOT 11977030 SOS 7598773 HAS SOPS 6315468 HAS SOUS 1988374 HAS SOUPS 1895983 WITH SCORE 1903581.773
AT ITER 3211 NEW BEST:: SOT 11974177 SOS 7593803 HAS SOPS 6310996 HAS SOUS 1986654 HAS SOUPS 1894222 WITH SCORE 1901815.803
AT ITER 3215 NEW BEST:: SOT 11973126 SOS 7593053 HAS SOPS 6309806 HAS SOUS 1983202 HAS SOUPS 1890750 WITH SCORE 1898343.053
AT ITER 3226 NEW BEST:: SOT 11973732 SOS 7590644 HAS SOPS 6309643 HAS SOUS 1982784 HAS SOUPS 1890376 WITH SCORE 1897966.644
AT ITER 3228 NEW BEST:: SOT 11973701 SOS 7590398 HAS SOPS 6309504 HAS SOUS 1982733 HAS SOUPS 1890325 WITH SCORE 1897915.398
AT ITER 3248 NEW BEST:: SOT 11973652 SOS 7590346 HAS SOPS 6309455 HAS SOUS 1982699 HAS SOUPS 1890292 WITH SCORE 1897882.346
AT ITER 3263 NEW BEST:: SOT 11971738 SOS 7582082 HAS SOPS 6305317 HAS SOUS 1982624 HAS SOUPS 1890232 WITH SCORE 1897814.082
AT ITER 3265 NEW BEST:: SOT 11969974 SOS 7580299 HAS SOPS 6303134 HAS SOUS 1979712 HAS SOUPS 1887320 WITH SCORE 1894900.299
AT ITER 3281 NEW BEST:: SOT 11971800 SOS 7586280 HAS SOPS 6306677 HAS SOUS 1979231 HAS SOUPS 1886839 WITH SCORE 1894425.28
AT ITER 3294 NEW BEST:: SOT 11972056 SOS 7586062 HAS SOPS 6306602 HAS SOUS 1978853 HAS SOUPS 1886490 WITH SCORE 1894076.062
AT ITER 3300 NEW BEST:: SOT 11968540 SOS 7578678 HAS SOPS 6300337 HAS SOUS 1976378 HAS SOUPS 1884015 WITH SCORE 1891593.678
AT ITER 3325 NEW BEST:: SOT 11961095 SOS 7561873 HAS SOPS 6287426 HAS SOUS 1968907 HAS SOUPS 1876675 WITH SCORE 1884236.873
AT ITER 3328 NEW BEST:: SOT 11961528 SOS 7562105 HAS SOPS 6286573 HAS SOUS 1967138 HAS SOUPS 1874906 WITH SCORE 1882468.105
AT ITER 3354 NEW BEST:: SOT 11961528 SOS 7561775 HAS SOPS 6286303 HAS SOUS 1967124 HAS SOUPS 1874892 WITH SCORE 1882453.775
AT ITER 3360 NEW BEST:: SOT 11960394 SOS 7554649 HAS SOPS 6278068 HAS SOUS 1965659 HAS SOUPS 1873427 WITH SCORE 1880981.649
AT ITER 3362 NEW BEST:: SOT 11960000 SOS 7554255 HAS SOPS 6277450 HAS SOUS 1964321 HAS SOUPS 1872089 WITH SCORE 1879643.255
AT ITER 3364 NEW BEST:: SOT 11964801 SOS 7564116 HAS SOPS 6287413 HAS SOUS 1957158 HAS SOUPS 1865085 WITH SCORE 1872649.116
AT ITER 3370 NEW BEST:: SOT 11961790 SOS 7559274 HAS SOPS 6282243 HAS SOUS 1953667 HAS SOUPS 1861569 WITH SCORE 1869128.274
AT ITER 3374 NEW BEST:: SOT 11961571 SOS 7559090 HAS SOPS 6282119 HAS SOUS 1953658 HAS SOUPS 1861555 WITH SCORE 1869114.09
AT ITER 3376 NEW BEST:: SOT 11962393 SOS 7561710 HAS SOPS 6284281 HAS SOUS 1953372 HAS SOUPS 1861269 WITH SCORE 1868830.71
AT ITER 3380 NEW BEST:: SOT 11962393 SOS 7561710 HAS SOPS 6284217 HAS SOUS 1953360 HAS SOUPS 1861205 WITH SCORE 1868766.71
AT ITER 3384 NEW BEST:: SOT 11970284 SOS 7578341 HAS SOPS 6301840 HAS SOUS 1951130 HAS SOUPS 1859104 WITH SCORE 1866682.341
AT ITER 3394 NEW BEST:: SOT 11970268 SOS 7577764 HAS SOPS 6303581 HAS SOUS 1950661 HAS SOUPS 1858635 WITH SCORE 1866212.764
AT ITER 3407 NEW BEST:: SOT 11968944 SOS 7571102 HAS SOPS 6298408 HAS SOUS 1943925 HAS SOUPS 1851899 WITH SCORE 1859470.102
AT ITER 3410 NEW BEST:: SOT 11968870 SOS 7569047 HAS SOPS 6295438 HAS SOUS 1944474 HAS SOUPS 1851405 WITH SCORE 1858974.047
AT ITER 3412 NEW BEST:: SOT 11968569 SOS 7568800 HAS SOPS 6295047 HAS SOUS 1944155 HAS SOUPS 1851014 WITH SCORE 1858582.8
AT ITER 3418 NEW BEST:: SOT 11968424 SOS 7568630 HAS SOPS 6294677 HAS SOUS 1943754 HAS SOUPS 1850604 WITH SCORE 1858172.63
AT ITER 3433 NEW BEST:: SOT 11968340 SOS 7568792 HAS SOPS 6294801 HAS SOUS 1942762 HAS SOUPS 1849612 WITH SCORE 1857180.792
AT ITER 3443 NEW BEST:: SOT 11968011 SOS 7572126 HAS SOPS 6296060 HAS SOUS 1936152 HAS SOUPS 1843002 WITH SCORE 1850574.126
AT ITER 3444 NEW BEST:: SOT 11967166 SOS 7570951 HAS SOPS 6294885 HAS SOUS 1935477 HAS SOUPS 1842327 WITH SCORE 1849897.951
AT ITER 3445 NEW BEST:: SOT 11969982 SOS 7576472 HAS SOPS 6301110 HAS SOUS 1929180 HAS SOUPS 1836136 WITH SCORE 1843712.472
AT ITER 3458 NEW BEST:: SOT 11971132 SOS 7582632 HAS SOPS 6306341 HAS SOUS 1927530 HAS SOUPS 1834486 WITH SCORE 1842068.632
AT ITER 3459 NEW BEST:: SOT 11971165 SOS 7582635 HAS SOPS 6306365 HAS SOUS 1927451 HAS SOUPS 1834428 WITH SCORE 1842010.635
AT ITER 3466 NEW BEST:: SOT 11971481 SOS 7583031 HAS SOPS 6307826 HAS SOUS 1927339 HAS SOUPS 1834350 WITH SCORE 1841933.031
AT ITER 3477 NEW BEST:: SOT 11971097 SOS 7582952 HAS SOPS 6307399 HAS SOUS 1925041 HAS SOUPS 1832052 WITH SCORE 1839634.952
AT ITER 3481 NEW BEST:: SOT 11969624 SOS 7581479 HAS SOPS 6305750 HAS SOUS 1922864 HAS SOUPS 1829699 WITH SCORE 1837280.479
AT ITER 3508 NEW BEST:: SOT 11967224 SOS 7578459 HAS SOPS 6302444 HAS SOUS 1918176 HAS SOUPS 1825040 WITH SCORE 1832618.459
AT ITER 3524 NEW BEST:: SOT 11964172 SOS 7573185 HAS SOPS 6298631 HAS SOUS 1911444 HAS SOUPS 1818400 WITH SCORE 1825973.185
AT ITER 3547 NEW BEST:: SOT 11964227 SOS 7573259 HAS SOPS 6298480 HAS SOUS 1910670 HAS SOUPS 1817599 WITH SCORE 1825172.259
AT ITER 3555 NEW BEST:: SOT 11964271 SOS 7572829 HAS SOPS 6298241 HAS SOUS 1910610 HAS SOUPS 1817539 WITH SCORE 1825111.829
AT ITER 3559 NEW BEST:: SOT 11963310 SOS 7571779 HAS SOPS 6297908 HAS SOUS 1909465 HAS SOUPS 1816417 WITH SCORE 1823988.779
AT ITER 3605 NEW BEST:: SOT 11963316 SOS 7571785 HAS SOPS 6297914 HAS SOUS 1909463 HAS SOUPS 1816415 WITH SCORE 1823986.785
AT ITER 3606 NEW BEST:: SOT 11962669 SOS 7571176 HAS SOPS 6297397 HAS SOUS 1907890 HAS SOUPS 1815126 WITH SCORE 1822697.176
AT ITER 3610 NEW BEST:: SOT 11963088 SOS 7573728 HAS SOPS 6299794 HAS SOUS 1907535 HAS SOUPS 1814771 WITH SCORE 1822344.728
AT ITER 3612 NEW BEST:: SOT 11961479 SOS 7576955 HAS SOPS 6301591 HAS SOUS 1904989 HAS SOUPS 1812225 WITH SCORE 1819801.955
AT ITER 3624 NEW BEST:: SOT 11961463 SOS 7576826 HAS SOPS 6302806 HAS SOUS 1903599 HAS SOUPS 1810835 WITH SCORE 1818411.826
AT ITER 3635 NEW BEST:: SOT 11960990 SOS 7575386 HAS SOPS 6301570 HAS SOUS 1902807 HAS SOUPS 1810082 WITH SCORE 1817657.386
AT ITER 3644 NEW BEST:: SOT 11961413 SOS 7575456 HAS SOPS 6301319 HAS SOUS 1902053 HAS SOUPS 1809328 WITH SCORE 1816903.456
AT ITER 3662 NEW BEST:: SOT 11962130 SOS 7582017 HAS SOPS 6306423 HAS SOUS 1899508 HAS SOUPS 1806783 WITH SCORE 1814365.017
AT ITER 3672 NEW BEST:: SOT 11961447 SOS 7580777 HAS SOPS 6306090 HAS SOUS 1897089 HAS SOUPS 1804420 WITH SCORE 1812000.777
AT ITER 3673 NEW BEST:: SOT 11961342 SOS 7579941 HAS SOPS 6305985 HAS SOUS 1896493 HAS SOUPS 1803824 WITH SCORE 1811403.941
AT ITER 3679 NEW BEST:: SOT 11958052 SOS 7575169 HAS SOPS 6303730 HAS SOUS 1894647 HAS SOUPS 1802062 WITH SCORE 1809637.169
AT ITER 3695 NEW BEST:: SOT 11944027 SOS 7560892 HAS SOPS 6289314 HAS SOUS 1886423 HAS SOUPS 1793758 WITH SCORE 1801318.892
AT ITER 3701 NEW BEST:: SOT 11942779 SOS 7560442 HAS SOPS 6288003 HAS SOUS 1883965 HAS SOUPS 1791279 WITH SCORE 1798839.442
AT ITER 3738 NEW BEST:: SOT 11941805 SOS 7559215 HAS SOPS 6286787 HAS SOUS 1884332 HAS SOUPS 1791022 WITH SCORE 1798581.215
AT ITER 3752 NEW BEST:: SOT 11941868 SOS 7559247 HAS SOPS 6286685 HAS SOUS 1884109 HAS SOUPS 1790799 WITH SCORE 1798358.247
AT ITER 3777 NEW BEST:: SOT 11942026 SOS 7559546 HAS SOPS 6286659 HAS SOUS 1882718 HAS SOUPS 1789444 WITH SCORE 1797003.546
AT ITER 3786 NEW BEST:: SOT 11941815 SOS 7550472 HAS SOPS 6284239 HAS SOUS 1873668 HAS SOUPS 1780394 WITH SCORE 1787944.472
AT ITER 3809 NEW BEST:: SOT 11937916 SOS 7544605 HAS SOPS 6278652 HAS SOUS 1869301 HAS SOUPS 1776285 WITH SCORE 1783829.605
AT ITER 3831 NEW BEST:: SOT 11939082 SOS 7547915 HAS SOPS 6282789 HAS SOUS 1868960 HAS SOUPS 1775944 WITH SCORE 1783491.915
AT ITER 3840 NEW BEST:: SOT 11943537 SOS 7547279 HAS SOPS 6280456 HAS SOUS 1868023 HAS SOUPS 1775007 WITH SCORE 1782554.279
AT ITER 3898 NEW BEST:: SOT 11939143 SOS 7530404 HAS SOPS 6268409 HAS SOUS 1866560 HAS SOUPS 1773723 WITH SCORE 1781253.404
AT ITER 3900 NEW BEST:: SOT 11938702 SOS 7529514 HAS SOPS 6267583 HAS SOUS 1866423 HAS SOUPS 1773586 WITH SCORE 1781115.514
AT ITER 3904 NEW BEST:: SOT 11940563 SOS 7530905 HAS SOPS 6273900 HAS SOUS 1864817 HAS SOUPS 1771980 WITH SCORE 1779510.905
AT ITER 3918 NEW BEST:: SOT 11941427 SOS 7531820 HAS SOPS 6274703 HAS SOUS 1864767 HAS SOUPS 1771930 WITH SCORE 1779461.82
AT ITER 3935 NEW BEST:: SOT 11939844 SOS 7530891 HAS SOPS 6273044 HAS SOUS 1863206 HAS SOUPS 1770369 WITH SCORE 1777899.891
AT ITER 3936 NEW BEST:: SOT 11938785 SOS 7528710 HAS SOPS 6271375 HAS SOUS 1862613 HAS SOUPS 1769776 WITH SCORE 1777304.71
AT ITER 3937 NEW BEST:: SOT 11941496 SOS 7531382 HAS SOPS 6273279 HAS SOUS 1861712 HAS SOUPS 1768875 WITH SCORE 1776406.382
AT ITER 3939 NEW BEST:: SOT 11941253 SOS 7529412 HAS SOPS 6271409 HAS SOUS 1860971 HAS SOUPS 1768168 WITH SCORE 1775697.412
AT ITER 3941 NEW BEST:: SOT 11944259 SOS 7532373 HAS SOPS 6274994 HAS SOUS 1858460 HAS SOUPS 1765657 WITH SCORE 1773189.373
AT ITER 3953 NEW BEST:: SOT 11942372 SOS 7530905 HAS SOPS 6273645 HAS SOUS 1855142 HAS SOUPS 1762339 WITH SCORE 1769869.905
AT ITER 3954 NEW BEST:: SOT 11941522 SOS 7529883 HAS SOPS 6272227 HAS SOUS 1853144 HAS SOUPS 1760341 WITH SCORE 1767870.883
AT ITER 3992 NEW BEST:: SOT 11942020 SOS 7529827 HAS SOPS 6272006 HAS SOUS 1852394 HAS SOUPS 1759591 WITH SCORE 1767120.827
AT ITER 3996 NEW BEST:: SOT 11941942 SOS 7529785 HAS SOPS 6271936 HAS SOUS 1852326 HAS SOUPS 1759523 WITH SCORE 1767052.785
AT ITER 4003 NEW BEST:: SOT 11940760 SOS 7527117 HAS SOPS 6266936 HAS SOUS 1851929 HAS SOUPS 1759126 WITH SCORE 1766653.117
AT ITER 4032 NEW BEST:: SOT 11940977 SOS 7527524 HAS SOPS 6267164 HAS SOUS 1851917 HAS SOUPS 1759114 WITH SCORE 1766641.524
AT ITER 4040 NEW BEST:: SOT 11940977 SOS 7527501 HAS SOPS 6267353 HAS SOUS 1851904 HAS SOUPS 1759101 WITH SCORE 1766628.501
AT ITER 4048 NEW BEST:: SOT 11940828 SOS 7525212 HAS SOPS 6265597 HAS SOUS 1851481 HAS SOUPS 1758678 WITH SCORE 1766203.212
AT ITER 4057 NEW BEST:: SOT 11941013 SOS 7525411 HAS SOPS 6265810 HAS SOUS 1851323 HAS SOUPS 1758520 WITH SCORE 1766045.411
AT ITER 4090 NEW BEST:: SOT 11939524 SOS 7520309 HAS SOPS 6262316 HAS SOUS 1848758 HAS SOUPS 1756156 WITH SCORE 1763676.309
AT ITER 4115 NEW BEST:: SOT 11938448 SOS 7518855 HAS SOPS 6260576 HAS SOUS 1846956 HAS SOUPS 1754354 WITH SCORE 1761872.855
AT ITER 4117 NEW BEST:: SOT 11935318 SOS 7514692 HAS SOPS 6256892 HAS SOUS 1844855 HAS SOUPS 1752253 WITH SCORE 1759767.692
AT ITER 4134 NEW BEST:: SOT 11934627 SOS 7511964 HAS SOPS 6254363 HAS SOUS 1844461 HAS SOUPS 1751859 WITH SCORE 1759370.964
AT ITER 4156 NEW BEST:: SOT 11934592 SOS 7511854 HAS SOPS 6254173 HAS SOUS 1844166 HAS SOUPS 1751564 WITH SCORE 1759075.854
AT ITER 4159 NEW BEST:: SOT 11930569 SOS 7507659 HAS SOPS 6246967 HAS SOUS 1835127 HAS SOUPS 1742060 WITH SCORE 1749567.659
AT ITER 4160 NEW BEST:: SOT 11929920 SOS 7509162 HAS SOPS 6249063 HAS SOUS 1831895 HAS SOUPS 1738828 WITH SCORE 1746337.162
AT ITER 4206 NEW BEST:: SOT 11929858 SOS 7508975 HAS SOPS 6249148 HAS SOUS 1831609 HAS SOUPS 1738542 WITH SCORE 1746050.975
AT ITER 4207 NEW BEST:: SOT 11927955 SOS 7506712 HAS SOPS 6246885 HAS SOUS 1829777 HAS SOUPS 1736710 WITH SCORE 1744216.712
AT ITER 4223 NEW BEST:: SOT 11927955 SOS 7506564 HAS SOPS 6245989 HAS SOUS 1829761 HAS SOUPS 1736694 WITH SCORE 1744200.564
AT ITER 4239 NEW BEST:: SOT 11928019 SOS 7508120 HAS SOPS 6246380 HAS SOUS 1825271 HAS SOUPS 1732204 WITH SCORE 1739712.12
AT ITER 4244 NEW BEST:: SOT 11927090 SOS 7507470 HAS SOPS 6245063 HAS SOUS 1821856 HAS SOUPS 1728789 WITH SCORE 1736296.47
AT ITER 4246 NEW BEST:: SOT 11923081 SOS 7499191 HAS SOPS 6239053 HAS SOUS 1817695 HAS SOUPS 1724673 WITH SCORE 1732172.191
AT ITER 4255 NEW BEST:: SOT 11922812 SOS 7498953 HAS SOPS 6239117 HAS SOUS 1817264 HAS SOUPS 1724256 WITH SCORE 1731754.953
AT ITER 4258 NEW BEST:: SOT 11922238 SOS 7500721 HAS SOPS 6240554 HAS SOUS 1813546 HAS SOUPS 1720538 WITH SCORE 1728038.721
AT ITER 4263 NEW BEST:: SOT 11922450 SOS 7500933 HAS SOPS 6240766 HAS SOUS 1813450 HAS SOUPS 1720442 WITH SCORE 1727942.933
AT ITER 4288 NEW BEST:: SOT 11921713 SOS 7499347 HAS SOPS 6239480 HAS SOUS 1810662 HAS SOUPS 1717704 WITH SCORE 1725203.347
AT ITER 4317 NEW BEST:: SOT 11921654 SOS 7498359 HAS SOPS 6238767 HAS SOUS 1810572 HAS SOUPS 1717614 WITH SCORE 1725112.359
AT ITER 4325 NEW BEST:: SOT 11918064 SOS 7495139 HAS SOPS 6235118 HAS SOUS 1810533 HAS SOUPS 1717483 WITH SCORE 1724978.139
AT ITER 4326 NEW BEST:: SOT 11916897 SOS 7493627 HAS SOPS 6231240 HAS SOUS 1808946 HAS SOUPS 1715896 WITH SCORE 1723389.627
AT ITER 4336 NEW BEST:: SOT 11916414 SOS 7493008 HAS SOPS 6230211 HAS SOUS 1806887 HAS SOUPS 1713837 WITH SCORE 1721330.008
AT ITER 4340 NEW BEST:: SOT 11916142 SOS 7492594 HAS SOPS 6229797 HAS SOUS 1806469 HAS SOUPS 1713419 WITH SCORE 1720911.594
AT ITER 4382 NEW BEST:: SOT 11919251 SOS 7497327 HAS SOPS 6235483 HAS SOUS 1805177 HAS SOUPS 1712140 WITH SCORE 1719637.327
AT ITER 4402 NEW BEST:: SOT 11918521 SOS 7496620 HAS SOPS 6232796 HAS SOUS 1804015 HAS SOUPS 1710928 WITH SCORE 1718424.62
AT ITER 4442 NEW BEST:: SOT 11918457 SOS 7496556 HAS SOPS 6232700 HAS SOUS 1803823 HAS SOUPS 1710736 WITH SCORE 1718232.556
AT ITER 4447 NEW BEST:: SOT 11919373 SOS 7497911 HAS SOPS 6234026 HAS SOUS 1801934 HAS SOUPS 1708847 WITH SCORE 1716344.911
AT ITER 4462 NEW BEST:: SOT 11916738 SOS 7496025 HAS SOPS 6232863 HAS SOUS 1800366 HAS SOUPS 1707279 WITH SCORE 1714775.025
AT ITER 4484 NEW BEST:: SOT 11917536 SOS 7497443 HAS SOPS 6236267 HAS SOUS 1799744 HAS SOUPS 1706657 WITH SCORE 1714154.443
AT ITER 4487 NEW BEST:: SOT 11917025 SOS 7495202 HAS SOPS 6234109 HAS SOUS 1799739 HAS SOUPS 1706652 WITH SCORE 1714147.202
AT ITER 4491 NEW BEST:: SOT 11916063 SOS 7492956 HAS SOPS 6231723 HAS SOUS 1798371 HAS SOUPS 1705284 WITH SCORE 1712776.956
AT ITER 4494 NEW BEST:: SOT 11916154 SOS 7493069 HAS SOPS 6231794 HAS SOUS 1798320 HAS SOUPS 1705233 WITH SCORE 1712726.069
AT ITER 4497 NEW BEST:: SOT 11916246 SOS 7493943 HAS SOPS 6232076 HAS SOUS 1797478 HAS SOUPS 1704391 WITH SCORE 1711884.943
AT ITER 4502 NEW BEST:: SOT 11915878 SOS 7493692 HAS SOPS 6231670 HAS SOUS 1796912 HAS SOUPS 1703769 WITH SCORE 1711262.692
AT ITER 4520 NEW BEST:: SOT 11913007 SOS 7490746 HAS SOPS 6226047 HAS SOUS 1790847 HAS SOUPS 1697652 WITH SCORE 1705142.746
AT ITER 4531 NEW BEST:: SOT 11915527 SOS 7495566 HAS SOPS 6231260 HAS SOUS 1790146 HAS SOUPS 1697018 WITH SCORE 1704513.566
AT ITER 4538 NEW BEST:: SOT 11915484 SOS 7495539 HAS SOPS 6231369 HAS SOUS 1789971 HAS SOUPS 1696979 WITH SCORE 1704474.539
AT ITER 4539 NEW BEST:: SOT 11915035 SOS 7499719 HAS SOPS 6231725 HAS SOUS 1785072 HAS SOUPS 1692080 WITH SCORE 1699579.719
AT ITER 4544 NEW BEST:: SOT 11914337 SOS 7500025 HAS SOPS 6222945 HAS SOUS 1774747 HAS SOUPS 1681562 WITH SCORE 1689062.025
AT ITER 4552 NEW BEST:: SOT 11913669 SOS 7499333 HAS SOPS 6222265 HAS SOUS 1773271 HAS SOUPS 1680098 WITH SCORE 1687597.333
AT ITER 4560 NEW BEST:: SOT 11919477 SOS 7517687 HAS SOPS 6239682 HAS SOUS 1772505 HAS SOUPS 1679332 WITH SCORE 1686849.687
AT ITER 4615 NEW BEST:: SOT 11917011 SOS 7515105 HAS SOPS 6237288 HAS SOUS 1771110 HAS SOUPS 1678050 WITH SCORE 1685565.105
AT ITER 4645 NEW BEST:: SOT 11916714 SOS 7514454 HAS SOPS 6236730 HAS SOUS 1770162 HAS SOUPS 1676493 WITH SCORE 1684007.454
AT ITER 4663 NEW BEST:: SOT 11916712 SOS 7514354 HAS SOPS 6236859 HAS SOUS 1770114 HAS SOUPS 1676445 WITH SCORE 1683959.354
AT ITER 4669 NEW BEST:: SOT 11916198 SOS 7510921 HAS SOPS 6234451 HAS SOUS 1767919 HAS SOUPS 1674250 WITH SCORE 1681760.921
AT ITER 4673 NEW BEST:: SOT 11912623 SOS 7507315 HAS SOPS 6230469 HAS SOUS 1765153 HAS SOUPS 1671492 WITH SCORE 1678999.315
AT ITER 4682 NEW BEST:: SOT 11910833 SOS 7504623 HAS SOPS 6227860 HAS SOUS 1763714 HAS SOUPS 1670053 WITH SCORE 1677557.623
AT ITER 4696 NEW BEST:: SOT 11911042 SOS 7505340 HAS SOPS 6228284 HAS SOUS 1763628 HAS SOUPS 1669967 WITH SCORE 1677472.34
AT ITER 4717 NEW BEST:: SOT 11909738 SOS 7502812 HAS SOPS 6226302 HAS SOUS 1762255 HAS SOUPS 1668609 WITH SCORE 1676111.812
AT ITER 4718 NEW BEST:: SOT 11909465 SOS 7502379 HAS SOPS 6226072 HAS SOUS 1761911 HAS SOUPS 1668265 WITH SCORE 1675767.379
AT ITER 4768 NEW BEST:: SOT 11907097 SOS 7500015 HAS SOPS 6223293 HAS SOUS 1752931 HAS SOUPS 1659211 WITH SCORE 1666711.015
AT ITER 4795 NEW BEST:: SOT 11907568 SOS 7500635 HAS SOPS 6223945 HAS SOUS 1752655 HAS SOUPS 1658935 WITH SCORE 1666435.635
AT ITER 4796 NEW BEST:: SOT 11906484 SOS 7500503 HAS SOPS 6222694 HAS SOUS 1750915 HAS SOUPS 1657119 WITH SCORE 1664619.503
AT ITER 4804 NEW BEST:: SOT 11904670 SOS 7497097 HAS SOPS 6220018 HAS SOUS 1748691 HAS SOUPS 1654926 WITH SCORE 1662423.097
AT ITER 4827 NEW BEST:: SOT 11905011 SOS 7498869 HAS SOPS 6222606 HAS SOUS 1748614 HAS SOUPS 1654849 WITH SCORE 1662347.869
AT ITER 4850 NEW BEST:: SOT 11904701 SOS 7498692 HAS SOPS 6222419 HAS SOUS 1748054 HAS SOUPS 1654289 WITH SCORE 1661787.692
AT ITER 4858 NEW BEST:: SOT 11901563 SOS 7495470 HAS SOPS 6218901 HAS SOUS 1743957 HAS SOUPS 1650216 WITH SCORE 1657711.47
AT ITER 4867 NEW BEST:: SOT 11901150 SOS 7494973 HAS SOPS 6218270 HAS SOUS 1743840 HAS SOUPS 1650088 WITH SCORE 1657582.973
AT ITER 4885 NEW BEST:: SOT 11901755 SOS 7498264 HAS SOPS 6219654 HAS SOUS 1742124 HAS SOUPS 1648372 WITH SCORE 1655870.264
AT ITER 4888 NEW BEST:: SOT 11901803 SOS 7498513 HAS SOPS 6220083 HAS SOUS 1742123 HAS SOUPS 1648371 WITH SCORE 1655869.513
AT ITER 4911 NEW BEST:: SOT 11901549 SOS 7498277 HAS SOPS 6219602 HAS SOUS 1742096 HAS SOUPS 1648085 WITH SCORE 1655583.277
AT ITER 4913 NEW BEST:: SOT 11900194 SOS 7496480 HAS SOPS 6216160 HAS SOUS 1737805 HAS SOUPS 1643835 WITH SCORE 1651331.48
AT ITER 4973 NEW BEST:: SOT 11900125 SOS 7496440 HAS SOPS 6215888 HAS SOUS 1737691 HAS SOUPS 1643721 WITH SCORE 1651217.44
AT ITER 4981 NEW BEST:: SOT 11899435 SOS 7496355 HAS SOPS 6214971 HAS SOUS 1733018 HAS SOUPS 1639048 WITH SCORE 1646544.355
AT ITER 5006 NEW BEST:: SOT 11899028 SOS 7496524 HAS SOPS 6215000 HAS SOUS 1732173 HAS SOUPS 1638203 WITH SCORE 1645699.524
AT ITER 5026 NEW BEST:: SOT 11898970 SOS 7496920 HAS SOPS 6215186 HAS SOUS 1730761 HAS SOUPS 1636821 WITH SCORE 1644317.92
AT ITER 5039 NEW BEST:: SOT 11898680 SOS 7498512 HAS SOPS 6215706 HAS SOUS 1728448 HAS SOUPS 1634508 WITH SCORE 1642006.512
AT ITER 5053 NEW BEST:: SOT 11899209 SOS 7502266 HAS SOPS 6217314 HAS SOUS 1727519 HAS SOUPS 1633579 WITH SCORE 1641081.266
AT ITER 5063 NEW BEST:: SOT 11894466 SOS 7496002 HAS SOPS 6211374 HAS SOUS 1727537 HAS SOUPS 1633512 WITH SCORE 1641008.002
AT ITER 5074 NEW BEST:: SOT 11893422 SOS 7495048 HAS SOPS 6210420 HAS SOUS 1725845 HAS SOUPS 1631823 WITH SCORE 1639318.048
AT ITER 5080 NEW BEST:: SOT 11894368 SOS 7499766 HAS SOPS 6216130 HAS SOUS 1721418 HAS SOUPS 1627396 WITH SCORE 1634895.766
AT ITER 5093 NEW BEST:: SOT 11894812 SOS 7499462 HAS SOPS 6217181 HAS SOUS 1721081 HAS SOUPS 1627059 WITH SCORE 1634558.462
AT ITER 5115 NEW BEST:: SOT 11896443 SOS 7504915 HAS SOPS 6221677 HAS SOUS 1719770 HAS SOUPS 1625748 WITH SCORE 1633252.915
AT ITER 5117 NEW BEST:: SOT 11897727 SOS 7505889 HAS SOPS 6223193 HAS SOUS 1718085 HAS SOUPS 1624508 WITH SCORE 1632013.889
AT ITER 5143 NEW BEST:: SOT 11894723 SOS 7503037 HAS SOPS 6222232 HAS SOUS 1717528 HAS SOUPS 1623888 WITH SCORE 1631391.037
AT ITER 5152 NEW BEST:: SOT 11892016 SOS 7497944 HAS SOPS 6217103 HAS SOUS 1714819 HAS SOUPS 1621151 WITH SCORE 1628648.944
AT ITER 5154 NEW BEST:: SOT 11892002 SOS 7497909 HAS SOPS 6217015 HAS SOUS 1714747 HAS SOUPS 1621079 WITH SCORE 1628576.909
AT ITER 5161 NEW BEST:: SOT 11890453 SOS 7496413 HAS SOPS 6214089 HAS SOUS 1714598 HAS SOUPS 1620930 WITH SCORE 1628426.413
AT ITER 5180 NEW BEST:: SOT 11890583 SOS 7499282 HAS SOPS 6216343 HAS SOUS 1712819 HAS SOUPS 1619151 WITH SCORE 1626650.282
AT ITER 5220 NEW BEST:: SOT 11889420 SOS 7496367 HAS SOPS 6214103 HAS SOUS 1710075 HAS SOUPS 1617145 WITH SCORE 1624641.367
AT ITER 5230 NEW BEST:: SOT 11888993 SOS 7495992 HAS SOPS 6213416 HAS SOUS 1708670 HAS SOUPS 1615716 WITH SCORE 1623211.992
AT ITER 5236 NEW BEST:: SOT 11887205 SOS 7492790 HAS SOPS 6211310 HAS SOUS 1708032 HAS SOUPS 1615078 WITH SCORE 1622570.79
AT ITER 5238 NEW BEST:: SOT 11890128 SOS 7504311 HAS SOPS 6220275 HAS SOUS 1707854 HAS SOUPS 1614697 WITH SCORE 1622201.311
AT ITER 5248 NEW BEST:: SOT 11886128 SOS 7501668 HAS SOPS 6219040 HAS SOUS 1702252 HAS SOUPS 1609095 WITH SCORE 1616596.668
AT ITER 5254 NEW BEST:: SOT 11886035 SOS 7501592 HAS SOPS 6218772 HAS SOUS 1701482 HAS SOUPS 1608325 WITH SCORE 1615826.592
AT ITER 5257 NEW BEST:: SOT 11886154 SOS 7502366 HAS SOPS 6219795 HAS SOUS 1699922 HAS SOUPS 1606765 WITH SCORE 1614267.366
AT ITER 5262 NEW BEST:: SOT 11885658 SOS 7501877 HAS SOPS 6219299 HAS SOUS 1699257 HAS SOUPS 1606093 WITH SCORE 1613594.877
AT ITER 5279 NEW BEST:: SOT 11884628 SOS 7500851 HAS SOPS 6217766 HAS SOUS 1697129 HAS SOUPS 1603965 WITH SCORE 1611465.851
AT ITER 5307 NEW BEST:: SOT 11883848 SOS 7500083 HAS SOPS 6216856 HAS SOUS 1695575 HAS SOUPS 1602403 WITH SCORE 1609903.083
AT ITER 5335 NEW BEST:: SOT 11883663 SOS 7499800 HAS SOPS 6216488 HAS SOUS 1695208 HAS SOUPS 1602036 WITH SCORE 1609535.8
AT ITER 5345 NEW BEST:: SOT 11882624 SOS 7498337 HAS SOPS 6215032 HAS SOUS 1693223 HAS SOUPS 1600430 WITH SCORE 1607928.337
AT ITER 5362 NEW BEST:: SOT 11882234 SOS 7497937 HAS SOPS 6214392 HAS SOUS 1691633 HAS SOUPS 1598980 WITH SCORE 1606477.937
AT ITER 5366 NEW BEST:: SOT 11882209 SOS 7497771 HAS SOPS 6214267 HAS SOUS 1691599 HAS SOUPS 1598946 WITH SCORE 1606443.771
AT ITER 5414 NEW BEST:: SOT 11881732 SOS 7496907 HAS SOPS 6213357 HAS SOUS 1690518 HAS SOUPS 1597937 WITH SCORE 1605433.907
AT ITER 5418 NEW BEST:: SOT 11876584 SOS 7491591 HAS SOPS 6208209 HAS SOUS 1686022 HAS SOUPS 1593446 WITH SCORE 1600937.591
AT ITER 5428 NEW BEST:: SOT 11875717 SOS 7489742 HAS SOPS 6206160 HAS SOUS 1685304 HAS SOUPS 1592711 WITH SCORE 1600200.742
AT ITER 5429 NEW BEST:: SOT 11874873 SOS 7488770 HAS SOPS 6204973 HAS SOUS 1684184 HAS SOUPS 1591537 WITH SCORE 1599025.77
AT ITER 5435 NEW BEST:: SOT 11874321 SOS 7488218 HAS SOPS 6204149 HAS SOUS 1684304 HAS SOUPS 1591401 WITH SCORE 1598889.218
AT ITER 5459 NEW BEST:: SOT 11872694 SOS 7480380 HAS SOPS 6195648 HAS SOUS 1683939 HAS SOUPS 1590945 WITH SCORE 1598425.38
AT ITER 5495 NEW BEST:: SOT 11872645 SOS 7480088 HAS SOPS 6195426 HAS SOUS 1683822 HAS SOUPS 1590828 WITH SCORE 1598308.088
AT ITER 5497 NEW BEST:: SOT 11876971 SOS 7493785 HAS SOPS 6206441 HAS SOUS 1677295 HAS SOUPS 1584301 WITH SCORE 1591794.785
AT ITER 5514 NEW BEST:: SOT 11878375 SOS 7493958 HAS SOPS 6206075 HAS SOUS 1673094 HAS SOUPS 1580184 WITH SCORE 1587677.958
AT ITER 5555 NEW BEST:: SOT 11878254 SOS 7493917 HAS SOPS 6205511 HAS SOUS 1673010 HAS SOUPS 1580083 WITH SCORE 1587576.917
AT ITER 5562 NEW BEST:: SOT 11878807 SOS 7495140 HAS SOPS 6208213 HAS SOUS 1672141 HAS SOUPS 1579262 WITH SCORE 1586757.14
AT ITER 5579 NEW BEST:: SOT 11878685 SOS 7494972 HAS SOPS 6208497 HAS SOUS 1671087 HAS SOUPS 1578660 WITH SCORE 1586154.972
AT ITER 5594 NEW BEST:: SOT 11878691 SOS 7494934 HAS SOPS 6208476 HAS SOUS 1671072 HAS SOUPS 1578645 WITH SCORE 1586139.934
AT ITER 5605 NEW BEST:: SOT 11878561 SOS 7494840 HAS SOPS 6208388 HAS SOUS 1670969 HAS SOUPS 1578542 WITH SCORE 1586036.84
AT ITER 5613 NEW BEST:: SOT 11876309 SOS 7490786 HAS SOPS 6204762 HAS SOUS 1670586 HAS SOUPS 1578098 WITH SCORE 1585588.786
AT ITER 5619 NEW BEST:: SOT 11875174 SOS 7490064 HAS SOPS 6203388 HAS SOUS 1666924 HAS SOUPS 1574436 WITH SCORE 1581926.064
AT ITER 5644 NEW BEST:: SOT 11870279 SOS 7476056 HAS SOPS 6197665 HAS SOUS 1665417 HAS SOUPS 1574156 WITH SCORE 1581632.056
AT ITER 5648 NEW BEST:: SOT 11871715 SOS 7481142 HAS SOPS 6202896 HAS SOUS 1665082 HAS SOUPS 1573821 WITH SCORE 1581302.142
AT ITER 5649 NEW BEST:: SOT 11867621 SOS 7472888 HAS SOPS 6195032 HAS SOUS 1662409 HAS SOUPS 1571106 WITH SCORE 1578578.888
AT ITER 5674 NEW BEST:: SOT 11864341 SOS 7456016 HAS SOPS 6178372 HAS SOUS 1661257 HAS SOUPS 1569954 WITH SCORE 1577410.016
AT ITER 5691 NEW BEST:: SOT 11864269 SOS 7455964 HAS SOPS 6178310 HAS SOUS 1661137 HAS SOUPS 1569824 WITH SCORE 1577279.964
AT ITER 5709 NEW BEST:: SOT 11864455 SOS 7455977 HAS SOPS 6177225 HAS SOUS 1660706 HAS SOUPS 1569367 WITH SCORE 1576822.977
AT ITER 5711 NEW BEST:: SOT 11863940 SOS 7454684 HAS SOPS 6177470 HAS SOUS 1660385 HAS SOUPS 1569046 WITH SCORE 1576500.684
AT ITER 5720 NEW BEST:: SOT 11863316 SOS 7454090 HAS SOPS 6175949 HAS SOUS 1659823 HAS SOUPS 1568445 WITH SCORE 1575899.09
AT ITER 5721 NEW BEST:: SOT 11863187 SOS 7454183 HAS SOPS 6178312 HAS SOUS 1659499 HAS SOUPS 1568194 WITH SCORE 1575648.183
AT ITER 5722 NEW BEST:: SOT 11863488 SOS 7454254 HAS SOPS 6178630 HAS SOUS 1659202 HAS SOUPS 1568144 WITH SCORE 1575598.254
AT ITER 5760 NEW BEST:: SOT 11862623 SOS 7453362 HAS SOPS 6176671 HAS SOUS 1657737 HAS SOUPS 1566679 WITH SCORE 1574132.362
AT ITER 5767 NEW BEST:: SOT 11864267 SOS 7452990 HAS SOPS 6172747 HAS SOUS 1656418 HAS SOUPS 1565266 WITH SCORE 1572718.99
AT ITER 5784 NEW BEST:: SOT 11862974 SOS 7443389 HAS SOPS 6165872 HAS SOUS 1652785 HAS SOUPS 1561633 WITH SCORE 1569076.389
AT ITER 5797 NEW BEST:: SOT 11862374 SOS 7443299 HAS SOPS 6165852 HAS SOUS 1647716 HAS SOUPS 1556564 WITH SCORE 1564007.299
AT ITER 5809 NEW BEST:: SOT 11865171 SOS 7446486 HAS SOPS 6168326 HAS SOUS 1646524 HAS SOUPS 1555289 WITH SCORE 1562735.486
AT ITER 5821 NEW BEST:: SOT 11864658 SOS 7444751 HAS SOPS 6166417 HAS SOUS 1644898 HAS SOUPS 1553663 WITH SCORE 1561107.751
AT ITER 5824 NEW BEST:: SOT 11864878 SOS 7444088 HAS SOPS 6166239 HAS SOUS 1643458 HAS SOUPS 1552223 WITH SCORE 1559667.088
AT ITER 5861 NEW BEST:: SOT 11866687 SOS 7446020 HAS SOPS 6171093 HAS SOUS 1641942 HAS SOUPS 1550738 WITH SCORE 1558184.02
AT ITER 5868 NEW BEST:: SOT 11867646 SOS 7447099 HAS SOPS 6171902 HAS SOUS 1641022 HAS SOUPS 1549753 WITH SCORE 1557200.099
AT ITER 5911 NEW BEST:: SOT 11866363 SOS 7445732 HAS SOPS 6169591 HAS SOUS 1629666 HAS SOUPS 1538534 WITH SCORE 1545979.732
AT ITER 5925 NEW BEST:: SOT 11866696 SOS 7446038 HAS SOPS 6169506 HAS SOUS 1629107 HAS SOUPS 1537975 WITH SCORE 1545421.038
AT ITER 5930 NEW BEST:: SOT 11867412 SOS 7446781 HAS SOPS 6169817 HAS SOUS 1628850 HAS SOUPS 1537718 WITH SCORE 1545164.781
AT ITER 5942 NEW BEST:: SOT 11867289 SOS 7446652 HAS SOPS 6169694 HAS SOUS 1628598 HAS SOUPS 1537466 WITH SCORE 1544912.652
AT ITER 5972 NEW BEST:: SOT 11867233 SOS 7446596 HAS SOPS 6169638 HAS SOUS 1628582 HAS SOUPS 1537450 WITH SCORE 1544896.596
AT ITER 5982 NEW BEST:: SOT 11866668 SOS 7445367 HAS SOPS 6169100 HAS SOUS 1627813 HAS SOUPS 1536713 WITH SCORE 1544158.367
AT ITER 5983 NEW BEST:: SOT 11866022 SOS 7444838 HAS SOPS 6168434 HAS SOUS 1626677 HAS SOUPS 1535577 WITH SCORE 1543021.838
AT ITER 5992 NEW BEST:: SOT 11866053 SOS 7444428 HAS SOPS 6168308 HAS SOUS 1626551 HAS SOUPS 1535451 WITH SCORE 1542895.428
AT ITER 6072 NEW BEST:: SOT 11865970 SOS 7444406 HAS SOPS 6168196 HAS SOUS 1626461 HAS SOUPS 1535361 WITH SCORE 1542805.406
AT ITER 6075 NEW BEST:: SOT 11866012 SOS 7444434 HAS SOPS 6168238 HAS SOUS 1626347 HAS SOUPS 1535261 WITH SCORE 1542705.434
AT ITER 6076 NEW BEST:: SOT 11869901 SOS 7459334 HAS SOPS 6174698 HAS SOUS 1625824 HAS SOUPS 1533630 WITH SCORE 1541089.334
AT ITER 6084 NEW BEST:: SOT 11869487 SOS 7457631 HAS SOPS 6173011 HAS SOUS 1625068 HAS SOUPS 1532874 WITH SCORE 1540331.631
AT ITER 6089 NEW BEST:: SOT 11869281 SOS 7457417 HAS SOPS 6172701 HAS SOUS 1624580 HAS SOUPS 1532386 WITH SCORE 1539843.417
AT ITER 6091 NEW BEST:: SOT 11869070 SOS 7461387 HAS SOPS 6174783 HAS SOUS 1621750 HAS SOUPS 1529269 WITH SCORE 1536730.387
AT ITER 6120 NEW BEST:: SOT 11868830 SOS 7461152 HAS SOPS 6174583 HAS SOUS 1621202 HAS SOUPS 1528721 WITH SCORE 1536182.152
AT ITER 6129 NEW BEST:: SOT 11868842 SOS 7461074 HAS SOPS 6174514 HAS SOUS 1620676 HAS SOUPS 1528268 WITH SCORE 1535729.074
AT ITER 6136 NEW BEST:: SOT 11868036 SOS 7465587 HAS SOPS 6177489 HAS SOUS 1619215 HAS SOUPS 1526807 WITH SCORE 1534272.587
AT ITER 6149 NEW BEST:: SOT 11871811 SOS 7468991 HAS SOPS 6182492 HAS SOUS 1618382 HAS SOUPS 1526117 WITH SCORE 1533585.991
AT ITER 6179 NEW BEST:: SOT 11872093 SOS 7470929 HAS SOPS 6184131 HAS SOUS 1618249 HAS SOUPS 1525984 WITH SCORE 1533454.929
AT ITER 6196 NEW BEST:: SOT 11872056 SOS 7468250 HAS SOPS 6180345 HAS SOUS 1616907 HAS SOUPS 1524642 WITH SCORE 1532110.25
AT ITER 6211 NEW BEST:: SOT 11871040 SOS 7469747 HAS SOPS 6179653 HAS SOUS 1614709 HAS SOUPS 1522444 WITH SCORE 1529913.747
AT ITER 6213 NEW BEST:: SOT 11868959 SOS 7459996 HAS SOPS 6169701 HAS SOUS 1614088 HAS SOUPS 1521823 WITH SCORE 1529282.996
AT ITER 6214 NEW BEST:: SOT 11867091 SOS 7457770 HAS SOPS 6168771 HAS SOUS 1613394 HAS SOUPS 1521129 WITH SCORE 1528586.77
AT ITER 6232 NEW BEST:: SOT 11865278 SOS 7455957 HAS SOPS 6166446 HAS SOUS 1612253 HAS SOUPS 1519476 WITH SCORE 1526931.957
AT ITER 6242 NEW BEST:: SOT 11865256 SOS 7456073 HAS SOPS 6166269 HAS SOUS 1612155 HAS SOUPS 1519378 WITH SCORE 1526834.073
AT ITER 6291 NEW BEST:: SOT 11860733 SOS 7451484 HAS SOPS 6161538 HAS SOUS 1606277 HAS SOUPS 1513540 WITH SCORE 1520991.484
AT ITER 6323 NEW BEST:: SOT 11858727 SOS 7446018 HAS SOPS 6158816 HAS SOUS 1604765 HAS SOUPS 1512090 WITH SCORE 1519536.018
AT ITER 6329 NEW BEST:: SOT 11858687 SOS 7445982 HAS SOPS 6158828 HAS SOUS 1604589 HAS SOUPS 1511914 WITH SCORE 1519359.982
AT ITER 6349 NEW BEST:: SOT 11858985 SOS 7440973 HAS SOPS 6155107 HAS SOUS 1603113 HAS SOUPS 1510493 WITH SCORE 1517933.973
AT ITER 6353 NEW BEST:: SOT 11860943 SOS 7444848 HAS SOPS 6160132 HAS SOUS 1603036 HAS SOUPS 1510416 WITH SCORE 1517860.848
AT ITER 6371 NEW BEST:: SOT 11860250 SOS 7441541 HAS SOPS 6156549 HAS SOUS 1602251 HAS SOUPS 1509631 WITH SCORE 1517072.541
AT ITER 6395 NEW BEST:: SOT 11858177 SOS 7438543 HAS SOPS 6155709 HAS SOUS 1599898 HAS SOUPS 1507382 WITH SCORE 1514820.543
AT ITER 6419 NEW BEST:: SOT 11855637 SOS 7433100 HAS SOPS 6152589 HAS SOUS 1598947 HAS SOUPS 1506470 WITH SCORE 1513903.1
AT ITER 6440 NEW BEST:: SOT 11854110 SOS 7431040 HAS SOPS 6149536 HAS SOUS 1595056 HAS SOUPS 1502579 WITH SCORE 1510010.04
AT ITER 6447 NEW BEST:: SOT 11853829 SOS 7430260 HAS SOPS 6148456 HAS SOUS 1594130 HAS SOUPS 1501653 WITH SCORE 1509083.26
AT ITER 6457 NEW BEST:: SOT 11851301 SOS 7424817 HAS SOPS 6144120 HAS SOUS 1592564 HAS SOUPS 1500135 WITH SCORE 1507559.817
AT ITER 6487 NEW BEST:: SOT 11851748 SOS 7426697 HAS SOPS 6146905 HAS SOUS 1592436 HAS SOUPS 1500007 WITH SCORE 1507433.697
AT ITER 6498 NEW BEST:: SOT 11844126 SOS 7415791 HAS SOPS 6133437 HAS SOUS 1589796 HAS SOUPS 1497367 WITH SCORE 1504782.791
AT ITER 6523 NEW BEST:: SOT 11845673 SOS 7420016 HAS SOPS 6137992 HAS SOUS 1589361 HAS SOUPS 1496932 WITH SCORE 1504352.016
AT ITER 6552 NEW BEST:: SOT 11845409 SOS 7419794 HAS SOPS 6137854 HAS SOUS 1589160 HAS SOUPS 1496731 WITH SCORE 1504150.794
AT ITER 6578 NEW BEST:: SOT 11845296 SOS 7419662 HAS SOPS 6137741 HAS SOUS 1589041 HAS SOUPS 1496613 WITH SCORE 1504032.662
AT ITER 6592 NEW BEST:: SOT 11845296 SOS 7422802 HAS SOPS 6141357 HAS SOUS 1586314 HAS SOUPS 1493945 WITH SCORE 1501367.802
AT ITER 6603 NEW BEST:: SOT 11847619 SOS 7425024 HAS SOPS 6144008 HAS SOUS 1584473 HAS SOUPS 1492104 WITH SCORE 1499529.024
AT ITER 6637 NEW BEST:: SOT 11849737 SOS 7427108 HAS SOPS 6148150 HAS SOUS 1583371 HAS SOUPS 1491002 WITH SCORE 1498429.108
AT ITER 6674 NEW BEST:: SOT 11847161 SOS 7423321 HAS SOPS 6143798 HAS SOUS 1582901 HAS SOUPS 1490532 WITH SCORE 1497955.321
AT ITER 6706 NEW BEST:: SOT 11846874 SOS 7421540 HAS SOPS 6142895 HAS SOUS 1581573 HAS SOUPS 1489204 WITH SCORE 1496625.54
AT ITER 6710 NEW BEST:: SOT 11846698 SOS 7421361 HAS SOPS 6142702 HAS SOUS 1581243 HAS SOUPS 1488880 WITH SCORE 1496301.361
AT ITER 6731 NEW BEST:: SOT 11845396 SOS 7420048 HAS SOPS 6141389 HAS SOUS 1579930 HAS SOUPS 1487567 WITH SCORE 1494987.048
AT ITER 6738 NEW BEST:: SOT 11844061 SOS 7418335 HAS SOPS 6139171 HAS SOUS 1577087 HAS SOUPS 1484724 WITH SCORE 1492142.335
AT ITER 6753 NEW BEST:: SOT 11843439 SOS 7418650 HAS SOPS 6139705 HAS SOUS 1575344 HAS SOUPS 1482981 WITH SCORE 1490399.65
AT ITER 6767 NEW BEST:: SOT 11841504 SOS 7414093 HAS SOPS 6136287 HAS SOUS 1571977 HAS SOUPS 1479643 WITH SCORE 1487057.093
AT ITER 6778 NEW BEST:: SOT 11841369 SOS 7413846 HAS SOPS 6135941 HAS SOUS 1571596 HAS SOUPS 1479262 WITH SCORE 1486675.846
AT ITER 6783 NEW BEST:: SOT 11841383 SOS 7412703 HAS SOPS 6135694 HAS SOUS 1571549 HAS SOUPS 1479243 WITH SCORE 1486655.703
AT ITER 6854 NEW BEST:: SOT 11841345 SOS 7412699 HAS SOPS 6135479 HAS SOUS 1571266 HAS SOUPS 1478960 WITH SCORE 1486372.699
AT ITER 6885 NEW BEST:: SOT 11841798 SOS 7403481 HAS SOPS 6125731 HAS SOUS 1570157 HAS SOUPS 1477851 WITH SCORE 1485254.481
AT ITER 6894 NEW BEST:: SOT 11841696 SOS 7403009 HAS SOPS 6123350 HAS SOUS 1567990 HAS SOUPS 1475684 WITH SCORE 1483087.009
AT ITER 6935 NEW BEST:: SOT 11844604 SOS 7403138 HAS SOPS 6121842 HAS SOUS 1564560 HAS SOUPS 1472100 WITH SCORE 1479503.138
AT ITER 6971 NEW BEST:: SOT 11838620 SOS 7391044 HAS SOPS 6111746 HAS SOUS 1561490 HAS SOUPS 1469104 WITH SCORE 1476495.044
AT ITER 6992 NEW BEST:: SOT 11839157 SOS 7390057 HAS SOPS 6110160 HAS SOUS 1558510 HAS SOUPS 1467100 WITH SCORE 1474490.057
AT ITER 7002 NEW BEST:: SOT 11837380 SOS 7387974 HAS SOPS 6107351 HAS SOUS 1555093 HAS SOUPS 1463725 WITH SCORE 1471112.974
AT ITER 7005 NEW BEST:: SOT 11837355 SOS 7387949 HAS SOPS 6107182 HAS SOUS 1554620 HAS SOUPS 1463252 WITH SCORE 1470639.949
AT ITER 7014 NEW BEST:: SOT 11837035 SOS 7390826 HAS SOPS 6109931 HAS SOUS 1554023 HAS SOUPS 1462619 WITH SCORE 1470009.826
AT ITER 7051 NEW BEST:: SOT 11837121 SOS 7391464 HAS SOPS 6109697 HAS SOUS 1553785 HAS SOUPS 1462381 WITH SCORE 1469772.464
AT ITER 7062 NEW BEST:: SOT 11836929 SOS 7391084 HAS SOPS 6109208 HAS SOUS 1553525 HAS SOUPS 1462121 WITH SCORE 1469512.084
AT ITER 7102 NEW BEST:: SOT 11835872 SOS 7389834 HAS SOPS 6107658 HAS SOUS 1552939 HAS SOUPS 1461572 WITH SCORE 1468961.834
AT ITER 7119 NEW BEST:: SOT 11837014 SOS 7391586 HAS SOPS 6108710 HAS SOUS 1552292 HAS SOUPS 1460925 WITH SCORE 1468316.586
AT ITER 7153 NEW BEST:: SOT 11836902 SOS 7391702 HAS SOPS 6108537 HAS SOUS 1551756 HAS SOUPS 1460382 WITH SCORE 1467773.702
AT ITER 7156 NEW BEST:: SOT 11834346 SOS 7389327 HAS SOPS 6106683 HAS SOUS 1549110 HAS SOUPS 1457736 WITH SCORE 1465125.327
AT ITER 7167 NEW BEST:: SOT 11834328 SOS 7389271 HAS SOPS 6106625 HAS SOUS 1549074 HAS SOUPS 1457700 WITH SCORE 1465089.271
AT ITER 7174 NEW BEST:: SOT 11833827 SOS 7388197 HAS SOPS 6104973 HAS SOUS 1546998 HAS SOUPS 1455624 WITH SCORE 1463012.197
AT ITER 7176 NEW BEST:: SOT 11833011 SOS 7384873 HAS SOPS 6101841 HAS SOUS 1545729 HAS SOUPS 1454379 WITH SCORE 1461763.873
AT ITER 7225 NEW BEST:: SOT 11832695 SOS 7383957 HAS SOPS 6101229 HAS SOUS 1545597 HAS SOUPS 1454255 WITH SCORE 1461638.957
AT ITER 7290 NEW BEST:: SOT 11832258 SOS 7383882 HAS SOPS 6100814 HAS SOUS 1544202 HAS SOUPS 1452860 WITH SCORE 1460243.882
AT ITER 7294 NEW BEST:: SOT 11832321 SOS 7383965 HAS SOPS 6100923 HAS SOUS 1544199 HAS SOUPS 1452859 WITH SCORE 1460242.965
AT ITER 7316 NEW BEST:: SOT 11831400 SOS 7383213 HAS SOPS 6101156 HAS SOUS 1544067 HAS SOUPS 1452768 WITH SCORE 1460151.213
AT ITER 7342 NEW BEST:: SOT 11831080 SOS 7382893 HAS SOPS 6100756 HAS SOUS 1543587 HAS SOUPS 1452288 WITH SCORE 1459670.893
AT ITER 7357 NEW BEST:: SOT 11830771 SOS 7382693 HAS SOPS 6101031 HAS SOUS 1542792 HAS SOUPS 1451493 WITH SCORE 1458875.693
AT ITER 7358 NEW BEST:: SOT 11834914 SOS 7395610 HAS SOPS 6111867 HAS SOUS 1536563 HAS SOUPS 1445264 WITH SCORE 1452659.61
AT ITER 7366 NEW BEST:: SOT 11833911 SOS 7394822 HAS SOPS 6110209 HAS SOUS 1535372 HAS SOUPS 1444073 WITH SCORE 1451467.822
AT ITER 7368 NEW BEST:: SOT 11827210 SOS 7389221 HAS SOPS 6102340 HAS SOUS 1529462 HAS SOUPS 1438033 WITH SCORE 1445422.221
AT ITER 7375 NEW BEST:: SOT 11824684 SOS 7386699 HAS SOPS 6099921 HAS SOUS 1525414 HAS SOUPS 1434024 WITH SCORE 1441410.699
AT ITER 7389 NEW BEST:: SOT 11824616 SOS 7386618 HAS SOPS 6099765 HAS SOUS 1525206 HAS SOUPS 1433816 WITH SCORE 1441202.618
AT ITER 7409 NEW BEST:: SOT 11826692 SOS 7388975 HAS SOPS 6101688 HAS SOUS 1524762 HAS SOUPS 1433398 WITH SCORE 1440786.975
AT ITER 7419 NEW BEST:: SOT 11826379 SOS 7397074 HAS SOPS 6106523 HAS SOUS 1522183 HAS SOUPS 1430819 WITH SCORE 1438216.074
AT ITER 7421 NEW BEST:: SOT 11822422 SOS 7386630 HAS SOPS 6096094 HAS SOUS 1517412 HAS SOUPS 1426048 WITH SCORE 1433434.63
AT ITER 7435 NEW BEST:: SOT 11822387 SOS 7385368 HAS SOPS 6094352 HAS SOUS 1517306 HAS SOUPS 1425942 WITH SCORE 1433327.368
AT ITER 7470 NEW BEST:: SOT 11822056 SOS 7384915 HAS SOPS 6093444 HAS SOUS 1516859 HAS SOUPS 1425495 WITH SCORE 1432879.915
AT ITER 7484 NEW BEST:: SOT 11817840 SOS 7380453 HAS SOPS 6089561 HAS SOUS 1516439 HAS SOUPS 1425075 WITH SCORE 1432455.453
AT ITER 7520 NEW BEST:: SOT 11818081 SOS 7381116 HAS SOPS 6090463 HAS SOUS 1515991 HAS SOUPS 1424627 WITH SCORE 1432008.116
AT ITER 7532 NEW BEST:: SOT 11816685 SOS 7379568 HAS SOPS 6085756 HAS SOUS 1511864 HAS SOUPS 1420601 WITH SCORE 1427980.568
AT ITER 7568 NEW BEST:: SOT 11816675 SOS 7379800 HAS SOPS 6085093 HAS SOUS 1510398 HAS SOUPS 1419163 WITH SCORE 1426542.8
AT ITER 7598 NEW BEST:: SOT 11811971 SOS 7375398 HAS SOPS 6080745 HAS SOUS 1504572 HAS SOUPS 1413267 WITH SCORE 1420642.398
AT ITER 7665 NEW BEST:: SOT 11811513 SOS 7374921 HAS SOPS 6080119 HAS SOUS 1503666 HAS SOUPS 1412341 WITH SCORE 1419715.921
AT ITER 7681 NEW BEST:: SOT 11811163 SOS 7374341 HAS SOPS 6080251 HAS SOUS 1502462 HAS SOUPS 1411107 WITH SCORE 1418481.341
AT ITER 7703 NEW BEST:: SOT 11810813 SOS 7373929 HAS SOPS 6079363 HAS SOUS 1500634 HAS SOUPS 1409279 WITH SCORE 1416652.929
AT ITER 7709 NEW BEST:: SOT 11811152 SOS 7375160 HAS SOPS 6080576 HAS SOUS 1498373 HAS SOUPS 1407018 WITH SCORE 1414393.16
AT ITER 7733 NEW BEST:: SOT 11811311 SOS 7378834 HAS SOPS 6082117 HAS SOUS 1496087 HAS SOUPS 1404669 WITH SCORE 1412047.834
AT ITER 7801 NEW BEST:: SOT 11811140 SOS 7379038 HAS SOPS 6081772 HAS SOUS 1496039 HAS SOUPS 1404609 WITH SCORE 1411988.038
AT ITER 7807 NEW BEST:: SOT 11811042 SOS 7378910 HAS SOPS 6081546 HAS SOUS 1495843 HAS SOUPS 1404413 WITH SCORE 1411791.91
AT ITER 7890 NEW BEST:: SOT 11811043 SOS 7378979 HAS SOPS 6081551 HAS SOUS 1495838 HAS SOUPS 1404408 WITH SCORE 1411786.979
AT ITER 7914 NEW BEST:: SOT 11810032 SOS 7378034 HAS SOPS 6080062 HAS SOUS 1493541 HAS SOUPS 1402111 WITH SCORE 1409489.034
AT ITER 7927 NEW BEST:: SOT 11810274 SOS 7378247 HAS SOPS 6080322 HAS SOUS 1493507 HAS SOUPS 1402096 WITH SCORE 1409474.247
AT ITER 7934 NEW BEST:: SOT 11810263 SOS 7378167 HAS SOPS 6080237 HAS SOUS 1493493 HAS SOUPS 1402082 WITH SCORE 1409460.167
AT ITER 7968 NEW BEST:: SOT 11809018 SOS 7378231 HAS SOPS 6077804 HAS SOUS 1493484 HAS SOUPS 1401998 WITH SCORE 1409376.231
AT ITER 7991 NEW BEST:: SOT 11807299 SOS 7380064 HAS SOPS 6078933 HAS SOUS 1492504 HAS SOUPS 1401018 WITH SCORE 1408398.064
AT ITER 7992 NEW BEST:: SOT 11807772 SOS 7378741 HAS SOPS 6079083 HAS SOUS 1491315 HAS SOUPS 1399889 WITH SCORE 1407267.741
AT ITER 8004 NEW BEST:: SOT 11807853 SOS 7378954 HAS SOPS 6079442 HAS SOUS 1491272 HAS SOUPS 1399846 WITH SCORE 1407224.954
AT ITER 8007 NEW BEST:: SOT 11805450 SOS 7372391 HAS SOPS 6073581 HAS SOUS 1490045 HAS SOUPS 1398619 WITH SCORE 1405991.391
AT ITER 8012 NEW BEST:: SOT 11803589 SOS 7370458 HAS SOPS 6070767 HAS SOUS 1487178 HAS SOUPS 1395752 WITH SCORE 1403122.458
AT ITER 8046 NEW BEST:: SOT 11803622 SOS 7370487 HAS SOPS 6071508 HAS SOUS 1487163 HAS SOUPS 1395737 WITH SCORE 1403107.487
AT ITER 8051 NEW BEST:: SOT 11803365 SOS 7370150 HAS SOPS 6071271 HAS SOUS 1487098 HAS SOUPS 1395672 WITH SCORE 1403042.15
AT ITER 8079 NEW BEST:: SOT 11803280 SOS 7370107 HAS SOPS 6071212 HAS SOUS 1486985 HAS SOUPS 1395558 WITH SCORE 1402928.107
AT ITER 8084 NEW BEST:: SOT 11804236 SOS 7370783 HAS SOPS 6072008 HAS SOUS 1485281 HAS SOUPS 1393825 WITH SCORE 1401195.783
AT ITER 8098 NEW BEST:: SOT 11801837 SOS 7368325 HAS SOPS 6068967 HAS SOUS 1481435 HAS SOUPS 1389957 WITH SCORE 1397325.325
AT ITER 8103 NEW BEST:: SOT 11800681 SOS 7367217 HAS SOPS 6067113 HAS SOUS 1479153 HAS SOUPS 1387675 WITH SCORE 1395042.217
AT ITER 8123 NEW BEST:: SOT 11800274 SOS 7366655 HAS SOPS 6066824 HAS SOUS 1478889 HAS SOUPS 1387400 WITH SCORE 1394766.655
AT ITER 8170 NEW BEST:: SOT 11800342 SOS 7366561 HAS SOPS 6066610 HAS SOUS 1478617 HAS SOUPS 1387128 WITH SCORE 1394494.561
AT ITER 8171 NEW BEST:: SOT 11800306 SOS 7366441 HAS SOPS 6066542 HAS SOUS 1478221 HAS SOUPS 1386796 WITH SCORE 1394162.441
AT ITER 8181 NEW BEST:: SOT 11800691 SOS 7366713 HAS SOPS 6066860 HAS SOUS 1477107 HAS SOUPS 1385687 WITH SCORE 1393053.713
AT ITER 8205 NEW BEST:: SOT 11800150 SOS 7365015 HAS SOPS 6063977 HAS SOUS 1476849 HAS SOUPS 1385429 WITH SCORE 1392794.015
AT ITER 8219 NEW BEST:: SOT 11800537 SOS 7365380 HAS SOPS 6064364 HAS SOUS 1476596 HAS SOUPS 1385176 WITH SCORE 1392541.38
AT ITER 8230 NEW BEST:: SOT 11800667 SOS 7365440 HAS SOPS 6064781 HAS SOUS 1476042 HAS SOUPS 1384622 WITH SCORE 1391987.44
AT ITER 8243 NEW BEST:: SOT 11799068 SOS 7361066 HAS SOPS 6059492 HAS SOUS 1474258 HAS SOUPS 1382807 WITH SCORE 1390168.066
AT ITER 8269 NEW BEST:: SOT 11795745 SOS 7353741 HAS SOPS 6056173 HAS SOUS 1472022 HAS SOUPS 1381591 WITH SCORE 1388944.741
AT ITER 8280 NEW BEST:: SOT 11795738 SOS 7353790 HAS SOPS 6056242 HAS SOUS 1471935 HAS SOUPS 1381505 WITH SCORE 1388858.79
AT ITER 8282 NEW BEST:: SOT 11786621 SOS 7327884 HAS SOPS 6031300 HAS SOUS 1470158 HAS SOUPS 1379728 WITH SCORE 1387055.884
AT ITER 8362 NEW BEST:: SOT 11786287 SOS 7327246 HAS SOPS 6030311 HAS SOUS 1468400 HAS SOUPS 1377970 WITH SCORE 1385297.246
AT ITER 8382 NEW BEST:: SOT 11786390 SOS 7327232 HAS SOPS 6030228 HAS SOUS 1467788 HAS SOUPS 1377429 WITH SCORE 1384756.232
AT ITER 8384 NEW BEST:: SOT 11785319 SOS 7317595 HAS SOPS 6018169 HAS SOUS 1466111 HAS SOUPS 1375624 WITH SCORE 1382941.595
AT ITER 8392 NEW BEST:: SOT 11786179 SOS 7316029 HAS SOPS 6015054 HAS SOUS 1465514 HAS SOUPS 1375027 WITH SCORE 1382343.029
AT ITER 8435 NEW BEST:: SOT 11785600 SOS 7315450 HAS SOPS 6014439 HAS SOUS 1464295 HAS SOUPS 1373800 WITH SCORE 1381115.45
AT ITER 8482 NEW BEST:: SOT 11784439 SOS 7315291 HAS SOPS 6014018 HAS SOUS 1463760 HAS SOUPS 1373242 WITH SCORE 1380557.291
AT ITER 8487 NEW BEST:: SOT 11788045 SOS 7316087 HAS SOPS 6014562 HAS SOUS 1459436 HAS SOUPS 1369318 WITH SCORE 1376634.087
AT ITER 8529 NEW BEST:: SOT 11786483 SOS 7314547 HAS SOPS 6013230 HAS SOUS 1459118 HAS SOUPS 1369000 WITH SCORE 1376314.547
AT ITER 8534 NEW BEST:: SOT 11786404 SOS 7314411 HAS SOPS 6013070 HAS SOUS 1458659 HAS SOUPS 1368581 WITH SCORE 1375895.411
AT ITER 8543 NEW BEST:: SOT 11786296 SOS 7314303 HAS SOPS 6012962 HAS SOUS 1458551 HAS SOUPS 1368473 WITH SCORE 1375787.303
AT ITER 8570 NEW BEST:: SOT 11785304 SOS 7313307 HAS SOPS 6010834 HAS SOUS 1454619 HAS SOUPS 1364519 WITH SCORE 1371832.307
AT ITER 8574 NEW BEST:: SOT 11782378 SOS 7310225 HAS SOPS 6007237 HAS SOUS 1450885 HAS SOUPS 1360835 WITH SCORE 1368145.225
AT ITER 8610 NEW BEST:: SOT 11781876 SOS 7309250 HAS SOPS 6005925 HAS SOUS 1449680 HAS SOUPS 1359630 WITH SCORE 1366939.25
AT ITER 8616 NEW BEST:: SOT 11781844 SOS 7309237 HAS SOPS 6005872 HAS SOUS 1449589 HAS SOUPS 1359538 WITH SCORE 1366847.237
AT ITER 8704 NEW BEST:: SOT 11781472 SOS 7308665 HAS SOPS 6005239 HAS SOUS 1449251 HAS SOUPS 1359200 WITH SCORE 1366508.665
AT ITER 8756 NEW BEST:: SOT 11781202 SOS 7311251 HAS SOPS 6005586 HAS SOUS 1448552 HAS SOUPS 1358501 WITH SCORE 1365812.251
AT ITER 8782 NEW BEST:: SOT 11782118 SOS 7312119 HAS SOPS 6005984 HAS SOUS 1448376 HAS SOUPS 1358325 WITH SCORE 1365637.119
AT ITER 8801 NEW BEST:: SOT 11780777 SOS 7309526 HAS SOPS 6003439 HAS SOUS 1442983 HAS SOUPS 1352982 WITH SCORE 1360291.526
AT ITER 8807 NEW BEST:: SOT 11781382 SOS 7310165 HAS SOPS 6004061 HAS SOUS 1442996 HAS SOUPS 1352978 WITH SCORE 1360288.165
AT ITER 8811 NEW BEST:: SOT 11780933 SOS 7309709 HAS SOPS 6002664 HAS SOUS 1436641 HAS SOUPS 1346509 WITH SCORE 1353818.709
AT ITER 8849 NEW BEST:: SOT 11780882 SOS 7309754 HAS SOPS 6002709 HAS SOUS 1436598 HAS SOUPS 1346466 WITH SCORE 1353775.754
AT ITER 8867 NEW BEST:: SOT 11780942 SOS 7310198 HAS SOPS 6002997 HAS SOUS 1436350 HAS SOUPS 1346218 WITH SCORE 1353528.198
AT ITER 8869 NEW BEST:: SOT 11779143 SOS 7308399 HAS SOPS 6001102 HAS SOUS 1434279 HAS SOUPS 1344147 WITH SCORE 1351455.399
AT ITER 8912 NEW BEST:: SOT 11779597 SOS 7308854 HAS SOPS 6001557 HAS SOUS 1434257 HAS SOUPS 1344125 WITH SCORE 1351433.854
AT ITER 8927 NEW BEST:: SOT 11776462 SOS 7304150 HAS SOPS 5996905 HAS SOUS 1428987 HAS SOUPS 1338881 WITH SCORE 1346185.15
AT ITER 9092 NEW BEST:: SOT 11776196 SOS 7305006 HAS SOPS 5997387 HAS SOUS 1428308 HAS SOUPS 1338202 WITH SCORE 1345507.006
AT ITER 9109 NEW BEST:: SOT 11775200 SOS 7303343 HAS SOPS 5995579 HAS SOUS 1426967 HAS SOUPS 1336861 WITH SCORE 1344164.343
AT ITER 9113 NEW BEST:: SOT 11774681 SOS 7301949 HAS SOPS 5992469 HAS SOUS 1426820 HAS SOUPS 1336714 WITH SCORE 1344015.949
AT ITER 9127 NEW BEST:: SOT 11774563 SOS 7303228 HAS SOPS 5993775 HAS SOUS 1426714 HAS SOUPS 1336608 WITH SCORE 1343911.228
AT ITER 9138 NEW BEST:: SOT 11774409 SOS 7303106 HAS SOPS 5993647 HAS SOUS 1426546 HAS SOUPS 1336438 WITH SCORE 1343741.106
AT ITER 9139 NEW BEST:: SOT 11766688 SOS 7295040 HAS SOPS 5983474 HAS SOUS 1408312 HAS SOUPS 1318095 WITH SCORE 1325390.04
AT ITER 9146 NEW BEST:: SOT 11766444 SOS 7296011 HAS SOPS 5983146 HAS SOUS 1408260 HAS SOUPS 1318043 WITH SCORE 1325339.011
AT ITER 9149 NEW BEST:: SOT 11766118 SOS 7295150 HAS SOPS 5982300 HAS SOUS 1407847 HAS SOUPS 1317630 WITH SCORE 1324925.15
AT ITER 9153 NEW BEST:: SOT 11765946 SOS 7295202 HAS SOPS 5982483 HAS SOUS 1407054 HAS SOUPS 1316837 WITH SCORE 1324132.202
AT ITER 9194 NEW BEST:: SOT 11765552 SOS 7294808 HAS SOPS 5981993 HAS SOUS 1406452 HAS SOUPS 1316139 WITH SCORE 1323433.808
AT ITER 9247 NEW BEST:: SOT 11763138 SOS 7291328 HAS SOPS 5980399 HAS SOUS 1404195 HAS SOUPS 1313882 WITH SCORE 1321173.328
AT ITER 9252 NEW BEST:: SOT 11762564 SOS 7290767 HAS SOPS 5979601 HAS SOUS 1402943 HAS SOUPS 1312630 WITH SCORE 1319920.767
AT ITER 9273 NEW BEST:: SOT 11763308 SOS 7290406 HAS SOPS 5980648 HAS SOUS 1402843 HAS SOUPS 1312567 WITH SCORE 1319857.406
AT ITER 9311 NEW BEST:: SOT 11760256 SOS 7287303 HAS SOPS 5977513 HAS SOUS 1400317 HAS SOUPS 1310041 WITH SCORE 1317328.303
AT ITER 9317 NEW BEST:: SOT 11759728 SOS 7286513 HAS SOPS 5976199 HAS SOUS 1399183 HAS SOUPS 1308907 WITH SCORE 1316193.513
AT ITER 9318 NEW BEST:: SOT 11759667 SOS 7286426 HAS SOPS 5976141 HAS SOUS 1399148 HAS SOUPS 1308872 WITH SCORE 1316158.426
AT ITER 9319 NEW BEST:: SOT 11760730 SOS 7287657 HAS SOPS 5977330 HAS SOUS 1399034 HAS SOUPS 1308822 WITH SCORE 1316109.657
AT ITER 9339 NEW BEST:: SOT 11755827 SOS 7282650 HAS SOPS 5971996 HAS SOUS 1393035 HAS SOUPS 1302714 WITH SCORE 1309996.65
AT ITER 9383 NEW BEST:: SOT 11753812 SOS 7279996 HAS SOPS 5970255 HAS SOUS 1391747 HAS SOUPS 1301426 WITH SCORE 1308705.996
AT ITER 9410 NEW BEST:: SOT 11753611 SOS 7280169 HAS SOPS 5970146 HAS SOUS 1391460 HAS SOUPS 1301129 WITH SCORE 1308409.169
AT ITER 9425 NEW BEST:: SOT 11753399 SOS 7279892 HAS SOPS 5969709 HAS SOUS 1390949 HAS SOUPS 1300618 WITH SCORE 1307897.892
AT ITER 9445 NEW BEST:: SOT 11753319 SOS 7279844 HAS SOPS 5969505 HAS SOUS 1390505 HAS SOUPS 1300174 WITH SCORE 1307453.844
AT ITER 9446 NEW BEST:: SOT 11751897 SOS 7279021 HAS SOPS 5967580 HAS SOUS 1387452 HAS SOUPS 1297121 WITH SCORE 1304400.021
AT ITER 9485 NEW BEST:: SOT 11751878 SOS 7277518 HAS SOPS 5966052 HAS SOUS 1386667 HAS SOUPS 1296336 WITH SCORE 1303613.518
AT ITER 9493 NEW BEST:: SOT 11750325 SOS 7273482 HAS SOPS 5962220 HAS SOUS 1384213 HAS SOUPS 1293925 WITH SCORE 1301198.482
AT ITER 9494 NEW BEST:: SOT 11750313 SOS 7273471 HAS SOPS 5962207 HAS SOUS 1384192 HAS SOUPS 1293904 WITH SCORE 1301177.471
AT ITER 9501 NEW BEST:: SOT 11750153 SOS 7272556 HAS SOPS 5961454 HAS SOUS 1384074 HAS SOUPS 1293786 WITH SCORE 1301058.556
AT ITER 9510 NEW BEST:: SOT 11749480 SOS 7270652 HAS SOPS 5960004 HAS SOUS 1380922 HAS SOUPS 1290833 WITH SCORE 1298103.652
AT ITER 9526 NEW BEST:: SOT 11751455 SOS 7275581 HAS SOPS 5962525 HAS SOUS 1381243 HAS SOUPS 1290781 WITH SCORE 1298056.581
AT ITER 9534 NEW BEST:: SOT 11753292 SOS 7279044 HAS SOPS 5965509 HAS SOUS 1380634 HAS SOUPS 1290172 WITH SCORE 1297451.044
AT ITER 9536 NEW BEST:: SOT 11752220 SOS 7277213 HAS SOPS 5963569 HAS SOUS 1379458 HAS SOUPS 1288996 WITH SCORE 1296273.213
AT ITER 9542 NEW BEST:: SOT 11751930 SOS 7277610 HAS SOPS 5962623 HAS SOUS 1379312 HAS SOUPS 1288828 WITH SCORE 1296105.61
AT ITER 9593 NEW BEST:: SOT 11754403 SOS 7279451 HAS SOPS 5964409 HAS SOUS 1378508 HAS SOUPS 1288136 WITH SCORE 1295415.451
AT ITER 9604 NEW BEST:: SOT 11753626 SOS 7279731 HAS SOPS 5965089 HAS SOUS 1378437 HAS SOUPS 1287998 WITH SCORE 1295277.731
AT ITER 9612 NEW BEST:: SOT 11754126 SOS 7280231 HAS SOPS 5965477 HAS SOUS 1378425 HAS SOUPS 1287986 WITH SCORE 1295266.231
AT ITER 9624 NEW BEST:: SOT 11753512 SOS 7278634 HAS SOPS 5964218 HAS SOUS 1378295 HAS SOUPS 1287856 WITH SCORE 1295134.634
AT ITER 9625 NEW BEST:: SOT 11753166 SOS 7278200 HAS SOPS 5963461 HAS SOUS 1375581 HAS SOUPS 1285187 WITH SCORE 1292465.2
AT ITER 9638 NEW BEST:: SOT 11753812 SOS 7278309 HAS SOPS 5962238 HAS SOUS 1371154 HAS SOUPS 1280760 WITH SCORE 1288038.309
AT ITER 9650 NEW BEST:: SOT 11753708 SOS 7278174 HAS SOPS 5961975 HAS SOUS 1371081 HAS SOUPS 1280683 WITH SCORE 1287961.174
AT ITER 9688 NEW BEST:: SOT 11754991 SOS 7279673 HAS SOPS 5964034 HAS SOUS 1370450 HAS SOUPS 1280672 WITH SCORE 1287951.673
AT ITER 9708 NEW BEST:: SOT 11753986 SOS 7278599 HAS SOPS 5962294 HAS SOUS 1366238 HAS SOUPS 1276460 WITH SCORE 1283738.599
AT ITER 9723 NEW BEST:: SOT 11753927 SOS 7278433 HAS SOPS 5962119 HAS SOUS 1366227 HAS SOUPS 1276449 WITH SCORE 1283727.433
AT ITER 9727 NEW BEST:: SOT 11751731 SOS 7276237 HAS SOPS 5960275 HAS SOUS 1366071 HAS SOUPS 1276389 WITH SCORE 1283665.237
AT ITER 9739 NEW BEST:: SOT 11749954 SOS 7270087 HAS SOPS 5955804 HAS SOUS 1364802 HAS SOUPS 1275618 WITH SCORE 1282888.087
AT ITER 9751 NEW BEST:: SOT 11749870 SOS 7269886 HAS SOPS 5955546 HAS SOUS 1364721 HAS SOUPS 1275534 WITH SCORE 1282803.886
AT ITER 9772 NEW BEST:: SOT 11748761 SOS 7265361 HAS SOPS 5951546 HAS SOUS 1362882 HAS SOUPS 1273695 WITH SCORE 1280960.361
AT ITER 9774 NEW BEST:: SOT 11748751 SOS 7265328 HAS SOPS 5951473 HAS SOUS 1362823 HAS SOUPS 1273636 WITH SCORE 1280901.328
AT ITER 9863 NEW BEST:: SOT 11748490 SOS 7264920 HAS SOPS 5951260 HAS SOUS 1362694 HAS SOUPS 1273510 WITH SCORE 1280774.92
AT ITER 9903 NEW BEST:: SOT 11745140 SOS 7261495 HAS SOPS 5949003 HAS SOUS 1358912 HAS SOUPS 1270944 WITH SCORE 1278205.495
AT ITER 9916 NEW BEST:: SOT 11745141 SOS 7261388 HAS SOPS 5948887 HAS SOUS 1358883 HAS SOUPS 1270912 WITH SCORE 1278173.388
AT ITER 9919 NEW BEST:: SOT 11745058 SOS 7261250 HAS SOPS 5948636 HAS SOUS 1358492 HAS SOUPS 1270527 WITH SCORE 1277788.25
AT ITER 9948 NEW BEST:: SOT 11741592 SOS 7236943 HAS SOPS 5920089 HAS SOUS 1358592 HAS SOUPS 1270457 WITH SCORE 1277693.943
AT ITER 9949 NEW BEST:: SOT 11742573 SOS 7238103 HAS SOPS 5920878 HAS SOUS 1358303 HAS SOUPS 1270168 WITH SCORE 1277406.103
AT ITER 9951 NEW BEST:: SOT 11741467 SOS 7236902 HAS SOPS 5920040 HAS SOUS 1357260 HAS SOUPS 1269144 WITH SCORE 1276380.902
AT ITER 9961 NEW BEST:: SOT 11742431 SOS 7237923 HAS SOPS 5921143 HAS SOUS 1356287 HAS SOUPS 1268150 WITH SCORE 1275387.923

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-7"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-7, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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