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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:31 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 1589671480340

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

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 3 NEW BEST:: SOT 12207279 SOS 7761916 HAS SOPS 6432796 HAS SOUS 3043566 HAS SOUPS 2943194 WITH SCORE 2950955.916
AT ITER 5 NEW BEST:: SOT 12198867 SOS 7748243 HAS SOPS 6417749 HAS SOUS 3034749 HAS SOUPS 2934377 WITH SCORE 2942125.243
AT ITER 7 NEW BEST:: SOT 12200259 SOS 7755937 HAS SOPS 6425348 HAS SOUS 3032190 HAS SOUPS 2931981 WITH SCORE 2939736.937
AT ITER 8 NEW BEST:: SOT 12199721 SOS 7754613 HAS SOPS 6424048 HAS SOUS 3031072 HAS SOUPS 2930863 WITH SCORE 2938617.613
AT ITER 9 NEW BEST:: SOT 12199516 SOS 7756219 HAS SOPS 6426276 HAS SOUS 3021641 HAS SOUPS 2921432 WITH SCORE 2929188.219
AT ITER 11 NEW BEST:: SOT 12199226 SOS 7755804 HAS SOPS 6425500 HAS SOUS 3020766 HAS SOUPS 2920559 WITH SCORE 2928314.804
AT ITER 12 NEW BEST:: SOT 12199554 SOS 7756232 HAS SOPS 6426027 HAS SOUS 3020054 HAS SOUPS 2919847 WITH SCORE 2927603.232
AT ITER 15 NEW BEST:: SOT 12198779 SOS 7755936 HAS SOPS 6424963 HAS SOUS 3017949 HAS SOUPS 2917742 WITH SCORE 2925497.936
AT ITER 17 NEW BEST:: SOT 12196254 SOS 7755860 HAS SOPS 6423782 HAS SOUS 3017198 HAS SOUPS 2916903 WITH SCORE 2924658.86
AT ITER 23 NEW BEST:: SOT 12192661 SOS 7748592 HAS SOPS 6416859 HAS SOUS 3011908 HAS SOUPS 2911707 WITH SCORE 2919455.592
AT ITER 34 NEW BEST:: SOT 12189703 SOS 7745249 HAS SOPS 6413992 HAS SOUS 3005774 HAS SOUPS 2905582 WITH SCORE 2913327.249
AT ITER 40 NEW BEST:: SOT 12189155 SOS 7745827 HAS SOPS 6416114 HAS SOUS 3004599 HAS SOUPS 2904440 WITH SCORE 2912185.827
AT ITER 44 NEW BEST:: SOT 12186979 SOS 7741610 HAS SOPS 6415189 HAS SOUS 2999419 HAS SOUPS 2899336 WITH SCORE 2907077.61
AT ITER 49 NEW BEST:: SOT 12186669 SOS 7740878 HAS SOPS 6414578 HAS SOUS 2999109 HAS SOUPS 2899026 WITH SCORE 2906766.878
AT ITER 54 NEW BEST:: SOT 12190613 SOS 7758227 HAS SOPS 6432972 HAS SOUS 2995855 HAS SOUPS 2895772 WITH SCORE 2903530.227
AT ITER 78 NEW BEST:: SOT 12192487 SOS 7763138 HAS SOPS 6435663 HAS SOUS 2994089 HAS SOUPS 2894006 WITH SCORE 2901769.138
AT ITER 86 NEW BEST:: SOT 12192192 SOS 7762564 HAS SOPS 6435122 HAS SOUS 2993833 HAS SOUPS 2893750 WITH SCORE 2901512.564
AT ITER 90 NEW BEST:: SOT 12167643 SOS 7736257 HAS SOPS 6409442 HAS SOUS 2952090 HAS SOUPS 2852185 WITH SCORE 2859921.257
AT ITER 101 NEW BEST:: SOT 12164744 SOS 7730968 HAS SOPS 6404713 HAS SOUS 2947946 HAS SOUPS 2848041 WITH SCORE 2855771.968
AT ITER 112 NEW BEST:: SOT 12145192 SOS 7711350 HAS SOPS 6385095 HAS SOUS 2916968 HAS SOUPS 2817063 WITH SCORE 2824774.35
AT ITER 115 NEW BEST:: SOT 12144635 SOS 7710876 HAS SOPS 6384912 HAS SOUS 2915352 HAS SOUPS 2815421 WITH SCORE 2823131.876
AT ITER 120 NEW BEST:: SOT 12144657 SOS 7711232 HAS SOPS 6385040 HAS SOUS 2915076 HAS SOUPS 2815145 WITH SCORE 2822856.232
AT ITER 123 NEW BEST:: SOT 12146968 SOS 7718645 HAS SOPS 6387728 HAS SOUS 2913040 HAS SOUPS 2813109 WITH SCORE 2820827.645
AT ITER 126 NEW BEST:: SOT 12148549 SOS 7721386 HAS SOPS 6390139 HAS SOUS 2912593 HAS SOUPS 2812720 WITH SCORE 2820441.386
AT ITER 131 NEW BEST:: SOT 12146326 SOS 7719710 HAS SOPS 6388754 HAS SOUS 2905283 HAS SOUPS 2805335 WITH SCORE 2813054.71
AT ITER 141 NEW BEST:: SOT 12149473 SOS 7722900 HAS SOPS 6392989 HAS SOUS 2903581 HAS SOUPS 2803661 WITH SCORE 2811383.9
AT ITER 153 NEW BEST:: SOT 12148833 SOS 7722221 HAS SOPS 6392292 HAS SOUS 2900659 HAS SOUPS 2800772 WITH SCORE 2808494.221
AT ITER 157 NEW BEST:: SOT 12148834 SOS 7722955 HAS SOPS 6393132 HAS SOUS 2900647 HAS SOUPS 2800760 WITH SCORE 2808482.955
AT ITER 159 NEW BEST:: SOT 12148708 SOS 7722830 HAS SOPS 6393074 HAS SOUS 2900313 HAS SOUPS 2800426 WITH SCORE 2808148.83
AT ITER 160 NEW BEST:: SOT 12149667 SOS 7723986 HAS SOPS 6397278 HAS SOUS 2898676 HAS SOUPS 2798858 WITH SCORE 2806581.986
AT ITER 178 NEW BEST:: SOT 12147630 SOS 7721054 HAS SOPS 6394348 HAS SOUS 2894636 HAS SOUPS 2794841 WITH SCORE 2802562.054
AT ITER 184 NEW BEST:: SOT 12148470 SOS 7722831 HAS SOPS 6395477 HAS SOUS 2894333 HAS SOUPS 2794538 WITH SCORE 2802260.831
AT ITER 185 NEW BEST:: SOT 12148418 SOS 7722249 HAS SOPS 6394802 HAS SOUS 2894100 HAS SOUPS 2794305 WITH SCORE 2802027.249
AT ITER 197 NEW BEST:: SOT 12148143 SOS 7722029 HAS SOPS 6394555 HAS SOUS 2893374 HAS SOUPS 2793590 WITH SCORE 2801312.029
AT ITER 204 NEW BEST:: SOT 12152475 SOS 7727707 HAS SOPS 6396189 HAS SOUS 2891230 HAS SOUPS 2791446 WITH SCORE 2799173.707
AT ITER 211 NEW BEST:: SOT 12152449 SOS 7727681 HAS SOPS 6396163 HAS SOUS 2890960 HAS SOUPS 2791176 WITH SCORE 2798903.681
AT ITER 212 NEW BEST:: SOT 12152505 SOS 7727448 HAS SOPS 6397374 HAS SOUS 2890444 HAS SOUPS 2790660 WITH SCORE 2798387.448
AT ITER 213 NEW BEST:: SOT 12152879 SOS 7727978 HAS SOPS 6398099 HAS SOUS 2890441 HAS SOUPS 2790657 WITH SCORE 2798384.978
AT ITER 228 NEW BEST:: SOT 12151971 SOS 7725907 HAS SOPS 6397219 HAS SOUS 2888660 HAS SOUPS 2789111 WITH SCORE 2796836.907
AT ITER 254 NEW BEST:: SOT 12151815 SOS 7723885 HAS SOPS 6395782 HAS SOUS 2888339 HAS SOUPS 2788790 WITH SCORE 2796513.885
AT ITER 275 NEW BEST:: SOT 12150602 SOS 7718417 HAS SOPS 6390646 HAS SOUS 2886901 HAS SOUPS 2787352 WITH SCORE 2795070.417
AT ITER 295 NEW BEST:: SOT 12145990 SOS 7713805 HAS SOPS 6386034 HAS SOUS 2882129 HAS SOUPS 2782580 WITH SCORE 2790293.805
AT ITER 312 NEW BEST:: SOT 12141764 SOS 7709544 HAS SOPS 6381248 HAS SOUS 2880286 HAS SOUPS 2780242 WITH SCORE 2787951.544
AT ITER 318 NEW BEST:: SOT 12141919 SOS 7710243 HAS SOPS 6381431 HAS SOUS 2880018 HAS SOUPS 2779940 WITH SCORE 2787650.243
AT ITER 321 NEW BEST:: SOT 12141937 SOS 7710363 HAS SOPS 6381540 HAS SOUS 2880014 HAS SOUPS 2779936 WITH SCORE 2787646.363
AT ITER 330 NEW BEST:: SOT 12142523 SOS 7714872 HAS SOPS 6386108 HAS SOUS 2878797 HAS SOUPS 2778719 WITH SCORE 2786433.872
AT ITER 340 NEW BEST:: SOT 12142618 SOS 7714171 HAS SOPS 6385848 HAS SOUS 2878298 HAS SOUPS 2778220 WITH SCORE 2785934.171
AT ITER 341 NEW BEST:: SOT 12144207 SOS 7718665 HAS SOPS 6392790 HAS SOUS 2874646 HAS SOUPS 2774568 WITH SCORE 2782286.665
AT ITER 361 NEW BEST:: SOT 12139637 SOS 7705789 HAS SOPS 6388380 HAS SOUS 2865171 HAS SOUPS 2765093 WITH SCORE 2772798.789
AT ITER 364 NEW BEST:: SOT 12139776 SOS 7705195 HAS SOPS 6390279 HAS SOUS 2864992 HAS SOUPS 2764865 WITH SCORE 2772570.195
AT ITER 365 NEW BEST:: SOT 12139802 SOS 7705388 HAS SOPS 6390498 HAS SOUS 2864959 HAS SOUPS 2764835 WITH SCORE 2772540.388
AT ITER 367 NEW BEST:: SOT 12139711 SOS 7705257 HAS SOPS 6390355 HAS SOUS 2864861 HAS SOUPS 2764724 WITH SCORE 2772429.257
AT ITER 380 NEW BEST:: SOT 12139611 SOS 7702697 HAS SOPS 6388247 HAS SOUS 2864583 HAS SOUPS 2764446 WITH SCORE 2772148.697
AT ITER 387 NEW BEST:: SOT 12137032 SOS 7700118 HAS SOPS 6385668 HAS SOUS 2862004 HAS SOUPS 2761867 WITH SCORE 2769567.118
AT ITER 393 NEW BEST:: SOT 12136505 SOS 7699411 HAS SOPS 6385204 HAS SOUS 2861791 HAS SOUPS 2761654 WITH SCORE 2769353.411
AT ITER 409 NEW BEST:: SOT 12099500 SOS 7651086 HAS SOPS 6339504 HAS SOUS 2808813 HAS SOUPS 2708734 WITH SCORE 2716385.086
AT ITER 412 NEW BEST:: SOT 12098857 SOS 7653476 HAS SOPS 6341437 HAS SOUS 2799981 HAS SOUPS 2699902 WITH SCORE 2707555.476
AT ITER 432 NEW BEST:: SOT 12101473 SOS 7656716 HAS SOPS 6346228 HAS SOUS 2796903 HAS SOUPS 2697328 WITH SCORE 2704984.716
AT ITER 440 NEW BEST:: SOT 12101459 SOS 7656919 HAS SOPS 6346313 HAS SOUS 2795625 HAS SOUPS 2696050 WITH SCORE 2703706.919
AT ITER 441 NEW BEST:: SOT 12100272 SOS 7661682 HAS SOPS 6343940 HAS SOUS 2794057 HAS SOUPS 2694403 WITH SCORE 2702064.682
AT ITER 444 NEW BEST:: SOT 12100302 SOS 7661882 HAS SOPS 6344211 HAS SOUS 2794021 HAS SOUPS 2694367 WITH SCORE 2702028.882
AT ITER 456 NEW BEST:: SOT 12101752 SOS 7663328 HAS SOPS 6344712 HAS SOUS 2793356 HAS SOUPS 2693702 WITH SCORE 2701365.328
AT ITER 457 NEW BEST:: SOT 12104121 SOS 7668323 HAS SOPS 6348138 HAS SOUS 2791076 HAS SOUPS 2691422 WITH SCORE 2699090.323
AT ITER 458 NEW BEST:: SOT 12102522 SOS 7668013 HAS SOPS 6351105 HAS SOUS 2778337 HAS SOUPS 2679402 WITH SCORE 2687070.013
AT ITER 481 NEW BEST:: SOT 12104348 SOS 7670832 HAS SOPS 6354503 HAS SOUS 2777772 HAS SOUPS 2678837 WITH SCORE 2686507.832
AT ITER 502 NEW BEST:: SOT 12104323 SOS 7670813 HAS SOPS 6354438 HAS SOUS 2777752 HAS SOUPS 2678790 WITH SCORE 2686460.813
AT ITER 505 NEW BEST:: SOT 12103593 SOS 7670900 HAS SOPS 6353666 HAS SOUS 2775151 HAS SOUPS 2676189 WITH SCORE 2683859.9
AT ITER 518 NEW BEST:: SOT 12098728 SOS 7664337 HAS SOPS 6346711 HAS SOUS 2770200 HAS SOUPS 2671181 WITH SCORE 2678845.337
AT ITER 525 NEW BEST:: SOT 12098671 SOS 7663223 HAS SOPS 6345566 HAS SOUS 2769896 HAS SOUPS 2670877 WITH SCORE 2678540.223
AT ITER 527 NEW BEST:: SOT 12095886 SOS 7659737 HAS SOPS 6341641 HAS SOUS 2763833 HAS SOUPS 2664868 WITH SCORE 2672527.737
AT ITER 535 NEW BEST:: SOT 12095801 SOS 7660623 HAS SOPS 6342230 HAS SOUS 2762611 HAS SOUPS 2663646 WITH SCORE 2671306.623
AT ITER 552 NEW BEST:: SOT 12093684 SOS 7659280 HAS SOPS 6338383 HAS SOUS 2758112 HAS SOUPS 2659185 WITH SCORE 2666844.28
AT ITER 553 NEW BEST:: SOT 12093167 SOS 7658482 HAS SOPS 6337571 HAS SOUS 2756660 HAS SOUPS 2657733 WITH SCORE 2665391.482
AT ITER 556 NEW BEST:: SOT 12092518 SOS 7657833 HAS SOPS 6336522 HAS SOUS 2754811 HAS SOUPS 2655884 WITH SCORE 2663541.833
AT ITER 565 NEW BEST:: SOT 12088373 SOS 7652365 HAS SOPS 6332848 HAS SOUS 2748694 HAS SOUPS 2649767 WITH SCORE 2657419.365
AT ITER 567 NEW BEST:: SOT 12088549 SOS 7652860 HAS SOPS 6332697 HAS SOUS 2748195 HAS SOUPS 2649268 WITH SCORE 2656920.86
AT ITER 575 NEW BEST:: SOT 12090196 SOS 7655085 HAS SOPS 6333120 HAS SOUS 2746641 HAS SOUPS 2647861 WITH SCORE 2655516.085
AT ITER 580 NEW BEST:: SOT 12087768 SOS 7652560 HAS SOPS 6327488 HAS SOUS 2742499 HAS SOUPS 2643657 WITH SCORE 2651309.56
AT ITER 588 NEW BEST:: SOT 12088907 SOS 7653385 HAS SOPS 6329089 HAS SOUS 2740072 HAS SOUPS 2641315 WITH SCORE 2648968.385
AT ITER 592 NEW BEST:: SOT 12086414 SOS 7647927 HAS SOPS 6323840 HAS SOUS 2737241 HAS SOUPS 2638484 WITH SCORE 2646131.927
AT ITER 610 NEW BEST:: SOT 12082301 SOS 7641357 HAS SOPS 6319061 HAS SOUS 2724731 HAS SOUPS 2626314 WITH SCORE 2633955.357
AT ITER 613 NEW BEST:: SOT 12082848 SOS 7641184 HAS SOPS 6319493 HAS SOUS 2724694 HAS SOUPS 2626277 WITH SCORE 2633918.184
AT ITER 615 NEW BEST:: SOT 12081988 SOS 7640324 HAS SOPS 6318137 HAS SOUS 2722022 HAS SOUPS 2623605 WITH SCORE 2631245.324
AT ITER 616 NEW BEST:: SOT 12080982 SOS 7639144 HAS SOPS 6316778 HAS SOUS 2719846 HAS SOUPS 2621429 WITH SCORE 2629068.144
AT ITER 618 NEW BEST:: SOT 12080978 SOS 7639076 HAS SOPS 6316693 HAS SOUS 2719844 HAS SOUPS 2621427 WITH SCORE 2629066.076
AT ITER 630 NEW BEST:: SOT 12078579 SOS 7635449 HAS SOPS 6310375 HAS SOUS 2715318 HAS SOUPS 2616901 WITH SCORE 2624536.449
AT ITER 636 NEW BEST:: SOT 12079393 SOS 7645918 HAS SOPS 6316687 HAS SOUS 2704460 HAS SOUPS 2606060 WITH SCORE 2613705.918
AT ITER 638 NEW BEST:: SOT 12079315 SOS 7647035 HAS SOPS 6317353 HAS SOUS 2702650 HAS SOUPS 2604267 WITH SCORE 2611914.035
AT ITER 643 NEW BEST:: SOT 12078863 SOS 7646814 HAS SOPS 6316879 HAS SOUS 2702142 HAS SOUPS 2603669 WITH SCORE 2611315.814
AT ITER 655 NEW BEST:: SOT 12071591 SOS 7637696 HAS SOPS 6307688 HAS SOUS 2687508 HAS SOUPS 2589093 WITH SCORE 2596730.696
AT ITER 656 NEW BEST:: SOT 12072749 SOS 7630472 HAS SOPS 6300618 HAS SOUS 2685041 HAS SOUPS 2586626 WITH SCORE 2594256.472
AT ITER 661 NEW BEST:: SOT 12056515 SOS 7610252 HAS SOPS 6280994 HAS SOUS 2661470 HAS SOUPS 2563312 WITH SCORE 2570922.252
AT ITER 669 NEW BEST:: SOT 12056014 SOS 7609618 HAS SOPS 6277810 HAS SOUS 2657548 HAS SOUPS 2559390 WITH SCORE 2566999.618
AT ITER 681 NEW BEST:: SOT 12056647 SOS 7613211 HAS SOPS 6286417 HAS SOUS 2650729 HAS SOUPS 2552753 WITH SCORE 2560366.211
AT ITER 686 NEW BEST:: SOT 12055648 SOS 7608517 HAS SOPS 6283452 HAS SOUS 2650579 HAS SOUPS 2552603 WITH SCORE 2560211.517
AT ITER 697 NEW BEST:: SOT 12056240 SOS 7610613 HAS SOPS 6285202 HAS SOUS 2649754 HAS SOUPS 2551778 WITH SCORE 2559388.613
AT ITER 703 NEW BEST:: SOT 12054400 SOS 7608773 HAS SOPS 6283362 HAS SOUS 2647978 HAS SOUPS 2550002 WITH SCORE 2557610.773
AT ITER 706 NEW BEST:: SOT 12053891 SOS 7615332 HAS SOPS 6291627 HAS SOUS 2646449 HAS SOUPS 2548473 WITH SCORE 2556088.332
AT ITER 714 NEW BEST:: SOT 12054746 SOS 7614768 HAS SOPS 6290246 HAS SOUS 2637686 HAS SOUPS 2539816 WITH SCORE 2547430.768
AT ITER 728 NEW BEST:: SOT 12053577 SOS 7613732 HAS SOPS 6291863 HAS SOUS 2631721 HAS SOUPS 2533940 WITH SCORE 2541553.732
AT ITER 729 NEW BEST:: SOT 12050089 SOS 7611653 HAS SOPS 6289521 HAS SOUS 2626185 HAS SOUPS 2528529 WITH SCORE 2536140.653
AT ITER 731 NEW BEST:: SOT 12057286 SOS 7634503 HAS SOPS 6312545 HAS SOUS 2623769 HAS SOUPS 2526223 WITH SCORE 2533857.503
AT ITER 739 NEW BEST:: SOT 12057177 SOS 7637396 HAS SOPS 6315783 HAS SOUS 2623209 HAS SOUPS 2525663 WITH SCORE 2533300.396
AT ITER 743 NEW BEST:: SOT 12056164 SOS 7636672 HAS SOPS 6314974 HAS SOUS 2619107 HAS SOUPS 2521569 WITH SCORE 2529205.672
AT ITER 759 NEW BEST:: SOT 12065668 SOS 7657921 HAS SOPS 6337525 HAS SOUS 2618714 HAS SOUPS 2521176 WITH SCORE 2528833.921
AT ITER 763 NEW BEST:: SOT 12063548 SOS 7655801 HAS SOPS 6335405 HAS SOUS 2616594 HAS SOUPS 2519056 WITH SCORE 2526711.801
AT ITER 772 NEW BEST:: SOT 12063299 SOS 7656936 HAS SOPS 6336108 HAS SOUS 2613874 HAS SOUPS 2516364 WITH SCORE 2524020.936
AT ITER 781 NEW BEST:: SOT 12063297 SOS 7656444 HAS SOPS 6335750 HAS SOUS 2613842 HAS SOUPS 2516332 WITH SCORE 2523988.444
AT ITER 792 NEW BEST:: SOT 12060239 SOS 7653411 HAS SOPS 6331892 HAS SOUS 2611014 HAS SOUPS 2512687 WITH SCORE 2520340.411
AT ITER 794 NEW BEST:: SOT 12056393 SOS 7648669 HAS SOPS 6325287 HAS SOUS 2601751 HAS SOUPS 2503424 WITH SCORE 2511072.669
AT ITER 803 NEW BEST:: SOT 12066214 SOS 7688600 HAS SOPS 6368203 HAS SOUS 2587895 HAS SOUPS 2489811 WITH SCORE 2497499.6
AT ITER 808 NEW BEST:: SOT 12066283 SOS 7688209 HAS SOPS 6369989 HAS SOUS 2587774 HAS SOUPS 2489690 WITH SCORE 2497378.209
AT ITER 814 NEW BEST:: SOT 12068224 SOS 7690924 HAS SOPS 6372630 HAS SOUS 2584365 HAS SOUPS 2486281 WITH SCORE 2493971.924
AT ITER 836 NEW BEST:: SOT 12069126 SOS 7693115 HAS SOPS 6372403 HAS SOUS 2583927 HAS SOUPS 2485843 WITH SCORE 2493536.115
AT ITER 845 NEW BEST:: SOT 12068285 SOS 7692492 HAS SOPS 6371702 HAS SOUS 2581303 HAS SOUPS 2483219 WITH SCORE 2490911.492
AT ITER 850 NEW BEST:: SOT 12066859 SOS 7688132 HAS SOPS 6368692 HAS SOUS 2580015 HAS SOUPS 2481931 WITH SCORE 2489619.132
AT ITER 851 NEW BEST:: SOT 12067106 SOS 7688358 HAS SOPS 6368939 HAS SOUS 2579430 HAS SOUPS 2481359 WITH SCORE 2489047.358
AT ITER 853 NEW BEST:: SOT 12067094 SOS 7688346 HAS SOPS 6368927 HAS SOUS 2579250 HAS SOUPS 2481179 WITH SCORE 2488867.346
AT ITER 855 NEW BEST:: SOT 12065179 SOS 7687935 HAS SOPS 6368668 HAS SOUS 2572262 HAS SOUPS 2474191 WITH SCORE 2481878.935
AT ITER 868 NEW BEST:: SOT 12063733 SOS 7687014 HAS SOPS 6365130 HAS SOUS 2567498 HAS SOUPS 2469427 WITH SCORE 2477114.014
AT ITER 875 NEW BEST:: SOT 12063458 SOS 7686739 HAS SOPS 6364695 HAS SOUS 2566535 HAS SOUPS 2468464 WITH SCORE 2476150.739
AT ITER 883 NEW BEST:: SOT 12062752 SOS 7686352 HAS SOPS 6363458 HAS SOUS 2566649 HAS SOUPS 2467639 WITH SCORE 2475325.352
AT ITER 891 NEW BEST:: SOT 12062350 SOS 7685389 HAS SOPS 6362022 HAS SOUS 2565968 HAS SOUPS 2466958 WITH SCORE 2474643.389
AT ITER 913 NEW BEST:: SOT 12059606 SOS 7684473 HAS SOPS 6359073 HAS SOUS 2558850 HAS SOUPS 2459883 WITH SCORE 2467567.473
AT ITER 935 NEW BEST:: SOT 12057706 SOS 7682138 HAS SOPS 6359977 HAS SOUS 2551859 HAS SOUPS 2452892 WITH SCORE 2460574.138
AT ITER 936 NEW BEST:: SOT 12060513 SOS 7684358 HAS SOPS 6363330 HAS SOUS 2546899 HAS SOUPS 2449114 WITH SCORE 2456798.358
AT ITER 987 NEW BEST:: SOT 12063183 SOS 7693447 HAS SOPS 6372863 HAS SOUS 2544421 HAS SOUPS 2446479 WITH SCORE 2454172.447
AT ITER 997 NEW BEST:: SOT 12063141 SOS 7692941 HAS SOPS 6372229 HAS SOUS 2544376 HAS SOUPS 2446434 WITH SCORE 2454126.941
AT ITER 998 NEW BEST:: SOT 12055504 SOS 7673117 HAS SOPS 6359981 HAS SOUS 2540988 HAS SOUPS 2444122 WITH SCORE 2451795.117
AT ITER 1001 NEW BEST:: SOT 12052917 SOS 7670533 HAS SOPS 6355021 HAS SOUS 2536578 HAS SOUPS 2439712 WITH SCORE 2447382.533
AT ITER 1021 NEW BEST:: SOT 12052316 SOS 7669783 HAS SOPS 6354371 HAS SOUS 2535297 HAS SOUPS 2438445 WITH SCORE 2446114.783
AT ITER 1023 NEW BEST:: SOT 12049581 SOS 7667035 HAS SOPS 6351215 HAS SOUS 2534135 HAS SOUPS 2437219 WITH SCORE 2444886.035
AT ITER 1029 NEW BEST:: SOT 12048690 SOS 7665385 HAS SOPS 6350789 HAS SOUS 2532682 HAS SOUPS 2435766 WITH SCORE 2443431.385
AT ITER 1036 NEW BEST:: SOT 12046519 SOS 7659289 HAS SOPS 6348614 HAS SOUS 2530534 HAS SOUPS 2433618 WITH SCORE 2441277.289
AT ITER 1051 NEW BEST:: SOT 12045857 SOS 7658080 HAS SOPS 6347785 HAS SOUS 2529099 HAS SOUPS 2432183 WITH SCORE 2439841.08
AT ITER 1053 NEW BEST:: SOT 12045817 SOS 7658040 HAS SOPS 6347745 HAS SOUS 2528891 HAS SOUPS 2431975 WITH SCORE 2439633.04
AT ITER 1067 NEW BEST:: SOT 12039768 SOS 7649095 HAS SOPS 6338433 HAS SOUS 2514283 HAS SOUPS 2417484 WITH SCORE 2425133.095
AT ITER 1077 NEW BEST:: SOT 12039752 SOS 7649503 HAS SOPS 6338679 HAS SOUS 2513908 HAS SOUPS 2417109 WITH SCORE 2424758.503
AT ITER 1081 NEW BEST:: SOT 12038789 SOS 7646800 HAS SOPS 6337034 HAS SOUS 2513239 HAS SOUPS 2416464 WITH SCORE 2424110.8
AT ITER 1086 NEW BEST:: SOT 12038076 SOS 7645121 HAS SOPS 6334814 HAS SOUS 2512906 HAS SOUPS 2416131 WITH SCORE 2423776.121
AT ITER 1114 NEW BEST:: SOT 12039010 SOS 7656900 HAS SOPS 6347268 HAS SOUS 2512336 HAS SOUPS 2415561 WITH SCORE 2423217.9
AT ITER 1117 NEW BEST:: SOT 12039489 SOS 7657810 HAS SOPS 6348296 HAS SOUS 2512105 HAS SOUPS 2415311 WITH SCORE 2422968.81
AT ITER 1135 NEW BEST:: SOT 12031841 SOS 7649480 HAS SOPS 6339666 HAS SOUS 2504035 HAS SOUPS 2407125 WITH SCORE 2414774.48
AT ITER 1153 NEW BEST:: SOT 12032028 SOS 7648402 HAS SOPS 6341286 HAS SOUS 2495139 HAS SOUPS 2400322 WITH SCORE 2407970.402
AT ITER 1154 NEW BEST:: SOT 12032680 SOS 7649067 HAS SOPS 6342210 HAS SOUS 2494858 HAS SOUPS 2400041 WITH SCORE 2407690.067
AT ITER 1158 NEW BEST:: SOT 12032883 SOS 7649814 HAS SOPS 6341331 HAS SOUS 2494841 HAS SOUPS 2400024 WITH SCORE 2407673.814
AT ITER 1160 NEW BEST:: SOT 12032075 SOS 7648287 HAS SOPS 6338960 HAS SOUS 2493714 HAS SOUPS 2398974 WITH SCORE 2406622.287
AT ITER 1164 NEW BEST:: SOT 12032469 SOS 7651533 HAS SOPS 6342861 HAS SOUS 2489951 HAS SOUPS 2395211 WITH SCORE 2402862.533
AT ITER 1171 NEW BEST:: SOT 12029836 SOS 7648901 HAS SOPS 6340228 HAS SOUS 2487319 HAS SOUPS 2392578 WITH SCORE 2400226.901
AT ITER 1172 NEW BEST:: SOT 12027782 SOS 7646847 HAS SOPS 6338174 HAS SOUS 2485053 HAS SOUPS 2390312 WITH SCORE 2397958.847
AT ITER 1173 NEW BEST:: SOT 12027865 SOS 7648046 HAS SOPS 6336652 HAS SOUS 2481030 HAS SOUPS 2386289 WITH SCORE 2393937.046
AT ITER 1188 NEW BEST:: SOT 12027762 SOS 7646475 HAS SOPS 6335403 HAS SOUS 2480902 HAS SOUPS 2386161 WITH SCORE 2393807.475
AT ITER 1200 NEW BEST:: SOT 12027712 SOS 7646402 HAS SOPS 6335362 HAS SOUS 2480826 HAS SOUPS 2386085 WITH SCORE 2393731.402
AT ITER 1210 NEW BEST:: SOT 12027731 SOS 7645676 HAS SOPS 6334115 HAS SOUS 2480797 HAS SOUPS 2386056 WITH SCORE 2393701.676
AT ITER 1229 NEW BEST:: SOT 12026107 SOS 7641140 HAS SOPS 6330755 HAS SOUS 2478346 HAS SOUPS 2383639 WITH SCORE 2391280.14
AT ITER 1232 NEW BEST:: SOT 12021028 SOS 7634772 HAS SOPS 6324390 HAS SOUS 2471850 HAS SOUPS 2377143 WITH SCORE 2384777.772
AT ITER 1233 NEW BEST:: SOT 12019687 SOS 7632302 HAS SOPS 6321099 HAS SOUS 2469267 HAS SOUPS 2374459 WITH SCORE 2382091.302
AT ITER 1256 NEW BEST:: SOT 12021569 SOS 7634210 HAS SOPS 6323007 HAS SOUS 2469101 HAS SOUPS 2374293 WITH SCORE 2381927.21
AT ITER 1270 NEW BEST:: SOT 12020815 SOS 7632261 HAS SOPS 6322565 HAS SOUS 2467150 HAS SOUPS 2372401 WITH SCORE 2380033.261
AT ITER 1275 NEW BEST:: SOT 12015155 SOS 7626241 HAS SOPS 6314490 HAS SOUS 2457848 HAS SOUPS 2363099 WITH SCORE 2370725.241
AT ITER 1282 NEW BEST:: SOT 12014367 SOS 7625482 HAS SOPS 6313267 HAS SOUS 2455668 HAS SOUPS 2360919 WITH SCORE 2368544.482
AT ITER 1285 NEW BEST:: SOT 12013146 SOS 7622681 HAS SOPS 6311357 HAS SOUS 2454635 HAS SOUPS 2359986 WITH SCORE 2367608.681
AT ITER 1294 NEW BEST:: SOT 12011189 SOS 7617627 HAS SOPS 6306768 HAS SOUS 2452055 HAS SOUPS 2357406 WITH SCORE 2365023.627
AT ITER 1309 NEW BEST:: SOT 12011297 SOS 7615613 HAS SOPS 6305219 HAS SOUS 2450938 HAS SOUPS 2356320 WITH SCORE 2363935.613
AT ITER 1310 NEW BEST:: SOT 12017951 SOS 7632795 HAS SOPS 6321093 HAS SOUS 2445896 HAS SOUPS 2351218 WITH SCORE 2358850.795
AT ITER 1317 NEW BEST:: SOT 12017996 SOS 7632840 HAS SOPS 6321042 HAS SOUS 2445317 HAS SOUPS 2350639 WITH SCORE 2358271.84
AT ITER 1336 NEW BEST:: SOT 12013539 SOS 7628424 HAS SOPS 6315723 HAS SOUS 2438578 HAS SOUPS 2343850 WITH SCORE 2351478.424
AT ITER 1343 NEW BEST:: SOT 12013283 SOS 7628304 HAS SOPS 6315574 HAS SOUS 2437693 HAS SOUPS 2342938 WITH SCORE 2350566.304
AT ITER 1346 NEW BEST:: SOT 12007629 SOS 7622626 HAS SOPS 6309366 HAS SOUS 2428629 HAS SOUPS 2333856 WITH SCORE 2341478.626
AT ITER 1347 NEW BEST:: SOT 12007700 SOS 7622047 HAS SOPS 6307933 HAS SOUS 2428092 HAS SOUPS 2333319 WITH SCORE 2340941.047
AT ITER 1360 NEW BEST:: SOT 12009079 SOS 7623241 HAS SOPS 6308561 HAS SOUS 2426893 HAS SOUPS 2332099 WITH SCORE 2339722.241
AT ITER 1366 NEW BEST:: SOT 12008199 SOS 7619951 HAS SOPS 6305855 HAS SOUS 2426442 HAS SOUPS 2331648 WITH SCORE 2339267.951
AT ITER 1377 NEW BEST:: SOT 12010808 SOS 7622560 HAS SOPS 6307888 HAS SOUS 2426435 HAS SOUPS 2331641 WITH SCORE 2339263.56
AT ITER 1378 NEW BEST:: SOT 12010707 SOS 7621775 HAS SOPS 6306920 HAS SOUS 2425920 HAS SOUPS 2331126 WITH SCORE 2338747.775
AT ITER 1398 NEW BEST:: SOT 12005957 SOS 7615603 HAS SOPS 6301232 HAS SOUS 2421770 HAS SOUPS 2326976 WITH SCORE 2334591.603
AT ITER 1406 NEW BEST:: SOT 12005959 SOS 7616135 HAS SOPS 6301167 HAS SOUS 2421656 HAS SOUPS 2326862 WITH SCORE 2334478.135
AT ITER 1409 NEW BEST:: SOT 12004208 SOS 7614345 HAS SOPS 6298134 HAS SOUS 2419566 HAS SOUPS 2323849 WITH SCORE 2331463.345
AT ITER 1477 NEW BEST:: SOT 12001683 SOS 7609572 HAS SOPS 6295601 HAS SOUS 2418229 HAS SOUPS 2322602 WITH SCORE 2330211.572
AT ITER 1485 NEW BEST:: SOT 12001264 SOS 7611473 HAS SOPS 6296950 HAS SOUS 2417390 HAS SOUPS 2321725 WITH SCORE 2329336.473
AT ITER 1501 NEW BEST:: SOT 12002821 SOS 7615771 HAS SOPS 6299855 HAS SOUS 2417325 HAS SOUPS 2321660 WITH SCORE 2329275.771
AT ITER 1506 NEW BEST:: SOT 12004436 SOS 7620176 HAS SOPS 6303671 HAS SOUS 2415831 HAS SOUPS 2320166 WITH SCORE 2327786.176
AT ITER 1517 NEW BEST:: SOT 12002717 SOS 7619883 HAS SOPS 6300045 HAS SOUS 2405960 HAS SOUPS 2310357 WITH SCORE 2317976.883
AT ITER 1523 NEW BEST:: SOT 12002667 SOS 7619893 HAS SOPS 6299985 HAS SOUS 2405698 HAS SOUPS 2310095 WITH SCORE 2317714.893
AT ITER 1524 NEW BEST:: SOT 12002424 SOS 7620084 HAS SOPS 6300129 HAS SOUS 2404621 HAS SOUPS 2309018 WITH SCORE 2316638.084
AT ITER 1538 NEW BEST:: SOT 12005884 SOS 7634126 HAS SOPS 6314537 HAS SOUS 2403664 HAS SOUPS 2308061 WITH SCORE 2315695.126
AT ITER 1540 NEW BEST:: SOT 12005972 SOS 7634667 HAS SOPS 6313940 HAS SOUS 2401820 HAS SOUPS 2306217 WITH SCORE 2313851.667
AT ITER 1545 NEW BEST:: SOT 12002216 SOS 7630911 HAS SOPS 6309928 HAS SOUS 2396408 HAS SOUPS 2300805 WITH SCORE 2308435.911
AT ITER 1548 NEW BEST:: SOT 11991728 SOS 7612770 HAS SOPS 6295650 HAS SOUS 2391737 HAS SOUPS 2296134 WITH SCORE 2303746.77
AT ITER 1556 NEW BEST:: SOT 11991564 SOS 7612589 HAS SOPS 6295441 HAS SOUS 2391470 HAS SOUPS 2295869 WITH SCORE 2303481.589
AT ITER 1562 NEW BEST:: SOT 11991836 SOS 7612759 HAS SOPS 6294838 HAS SOUS 2391127 HAS SOUPS 2295526 WITH SCORE 2303138.759
AT ITER 1577 NEW BEST:: SOT 11991745 SOS 7612642 HAS SOPS 6294689 HAS SOUS 2391046 HAS SOUPS 2295405 WITH SCORE 2303017.642
AT ITER 1578 NEW BEST:: SOT 11991687 SOS 7612856 HAS SOPS 6295171 HAS SOUS 2390741 HAS SOUPS 2295100 WITH SCORE 2302712.856
AT ITER 1587 NEW BEST:: SOT 11991929 SOS 7611508 HAS SOPS 6294860 HAS SOUS 2389341 HAS SOUPS 2293627 WITH SCORE 2301238.508
AT ITER 1596 NEW BEST:: SOT 11991915 SOS 7610540 HAS SOPS 6294054 HAS SOUS 2387936 HAS SOUPS 2292486 WITH SCORE 2300096.54
AT ITER 1601 NEW BEST:: SOT 11990050 SOS 7607992 HAS SOPS 6291155 HAS SOUS 2385574 HAS SOUPS 2290084 WITH SCORE 2297691.992
AT ITER 1604 NEW BEST:: SOT 11992244 SOS 7618158 HAS SOPS 6296480 HAS SOUS 2383789 HAS SOUPS 2288299 WITH SCORE 2295917.158
AT ITER 1608 NEW BEST:: SOT 11992115 SOS 7617513 HAS SOPS 6295810 HAS SOUS 2383366 HAS SOUPS 2287876 WITH SCORE 2295493.513
AT ITER 1611 NEW BEST:: SOT 11991482 SOS 7614520 HAS SOPS 6293214 HAS SOUS 2381486 HAS SOUPS 2285996 WITH SCORE 2293610.52
AT ITER 1619 NEW BEST:: SOT 11999390 SOS 7622692 HAS SOPS 6303605 HAS SOUS 2381393 HAS SOUPS 2285930 WITH SCORE 2293552.692
AT ITER 1623 NEW BEST:: SOT 11991907 SOS 7611012 HAS SOPS 6294195 HAS SOUS 2364517 HAS SOUPS 2269227 WITH SCORE 2276838.012
AT ITER 1677 NEW BEST:: SOT 11992608 SOS 7612239 HAS SOPS 6300218 HAS SOUS 2364367 HAS SOUPS 2269077 WITH SCORE 2276689.239
AT ITER 1694 NEW BEST:: SOT 11990902 SOS 7609426 HAS SOPS 6297949 HAS SOUS 2361092 HAS SOUPS 2265866 WITH SCORE 2273475.426
AT ITER 1697 NEW BEST:: SOT 11992086 SOS 7615187 HAS SOPS 6304142 HAS SOUS 2360822 HAS SOUPS 2265596 WITH SCORE 2273211.187
AT ITER 1698 NEW BEST:: SOT 11995779 SOS 7620347 HAS SOPS 6308951 HAS SOUS 2356281 HAS SOUPS 2260716 WITH SCORE 2268336.347
AT ITER 1701 NEW BEST:: SOT 11996537 SOS 7621472 HAS SOPS 6311053 HAS SOUS 2354094 HAS SOUPS 2258574 WITH SCORE 2266195.472
AT ITER 1717 NEW BEST:: SOT 11996630 SOS 7620913 HAS SOPS 6310348 HAS SOUS 2354041 HAS SOUPS 2258521 WITH SCORE 2266141.913
AT ITER 1725 NEW BEST:: SOT 11993292 SOS 7611002 HAS SOPS 6305288 HAS SOUS 2352308 HAS SOUPS 2257563 WITH SCORE 2265174.002
AT ITER 1728 NEW BEST:: SOT 11992848 SOS 7610544 HAS SOPS 6304606 HAS SOUS 2351346 HAS SOUPS 2256601 WITH SCORE 2264211.544
AT ITER 1729 NEW BEST:: SOT 11990767 SOS 7601716 HAS SOPS 6300196 HAS SOUS 2346550 HAS SOUPS 2252730 WITH SCORE 2260331.716
AT ITER 1740 NEW BEST:: SOT 11982008 SOS 7593821 HAS SOPS 6294529 HAS SOUS 2337734 HAS SOUPS 2244062 WITH SCORE 2251655.821
AT ITER 1755 NEW BEST:: SOT 11979399 SOS 7591191 HAS SOPS 6290950 HAS SOUS 2334178 HAS SOUPS 2240474 WITH SCORE 2248065.191
AT ITER 1761 NEW BEST:: SOT 11984606 SOS 7599419 HAS SOPS 6297880 HAS SOUS 2334021 HAS SOUPS 2240317 WITH SCORE 2247916.419
AT ITER 1784 NEW BEST:: SOT 12012486 SOS 7620579 HAS SOPS 6315819 HAS SOUS 2331200 HAS SOUPS 2237738 WITH SCORE 2245358.579
AT ITER 1791 NEW BEST:: SOT 12012711 SOS 7621424 HAS SOPS 6316527 HAS SOUS 2331112 HAS SOUPS 2237650 WITH SCORE 2245271.424
AT ITER 1793 NEW BEST:: SOT 12011242 SOS 7619955 HAS SOPS 6314898 HAS SOUS 2329355 HAS SOUPS 2235797 WITH SCORE 2243416.955
AT ITER 1798 NEW BEST:: SOT 12011605 SOS 7620183 HAS SOPS 6316530 HAS SOUS 2329283 HAS SOUPS 2235725 WITH SCORE 2243345.183
AT ITER 1802 NEW BEST:: SOT 12010234 SOS 7618600 HAS SOPS 6315388 HAS SOUS 2325976 HAS SOUPS 2232418 WITH SCORE 2240036.6
AT ITER 1806 NEW BEST:: SOT 12008109 SOS 7616263 HAS SOPS 6312022 HAS SOUS 2321704 HAS SOUPS 2228146 WITH SCORE 2235762.263
AT ITER 1811 NEW BEST:: SOT 12007561 SOS 7615715 HAS SOPS 6311170 HAS SOUS 2320852 HAS SOUPS 2227294 WITH SCORE 2234909.715
AT ITER 1817 NEW BEST:: SOT 12006855 SOS 7615796 HAS SOPS 6310917 HAS SOUS 2314357 HAS SOUPS 2220713 WITH SCORE 2228328.796
AT ITER 1829 NEW BEST:: SOT 12006198 SOS 7615513 HAS SOPS 6310089 HAS SOUS 2311218 HAS SOUPS 2217625 WITH SCORE 2225240.513
AT ITER 1855 NEW BEST:: SOT 12010994 SOS 7629646 HAS SOPS 6317927 HAS SOUS 2308792 HAS SOUPS 2215199 WITH SCORE 2222828.646
AT ITER 1865 NEW BEST:: SOT 12010739 SOS 7629565 HAS SOPS 6317659 HAS SOUS 2307676 HAS SOUPS 2214083 WITH SCORE 2221712.565
AT ITER 1880 NEW BEST:: SOT 12006408 SOS 7625634 HAS SOPS 6315799 HAS SOUS 2300650 HAS SOUPS 2207057 WITH SCORE 2214682.634
AT ITER 1882 NEW BEST:: SOT 12005291 SOS 7624034 HAS SOPS 6313486 HAS SOUS 2297066 HAS SOUPS 2203485 WITH SCORE 2211109.034
AT ITER 1900 NEW BEST:: SOT 12004889 SOS 7624111 HAS SOPS 6312745 HAS SOUS 2295177 HAS SOUPS 2201596 WITH SCORE 2209220.111
AT ITER 1903 NEW BEST:: SOT 12003930 SOS 7623055 HAS SOPS 6311529 HAS SOUS 2293355 HAS SOUPS 2199774 WITH SCORE 2207397.055
AT ITER 1912 NEW BEST:: SOT 12002600 SOS 7620559 HAS SOPS 6309192 HAS SOUS 2290446 HAS SOUPS 2196880 WITH SCORE 2204500.559
AT ITER 1919 NEW BEST:: SOT 12001563 SOS 7618978 HAS SOPS 6307619 HAS SOUS 2289607 HAS SOUPS 2196056 WITH SCORE 2203674.978
AT ITER 1925 NEW BEST:: SOT 12001384 SOS 7618755 HAS SOPS 6307503 HAS SOUS 2289493 HAS SOUPS 2195942 WITH SCORE 2203560.755
AT ITER 1935 NEW BEST:: SOT 12001376 SOS 7618862 HAS SOPS 6307313 HAS SOUS 2288994 HAS SOUPS 2195435 WITH SCORE 2203053.862
AT ITER 1938 NEW BEST:: SOT 11999808 SOS 7617138 HAS SOPS 6305973 HAS SOUS 2285970 HAS SOUPS 2193211 WITH SCORE 2200828.138
AT ITER 1950 NEW BEST:: SOT 11999816 SOS 7617115 HAS SOPS 6306070 HAS SOUS 2285722 HAS SOUPS 2192963 WITH SCORE 2200580.115
AT ITER 1968 NEW BEST:: SOT 12009883 SOS 7642316 HAS SOPS 6336356 HAS SOUS 2269257 HAS SOUPS 2176560 WITH SCORE 2184202.316
AT ITER 1970 NEW BEST:: SOT 12007963 SOS 7640450 HAS SOPS 6333963 HAS SOUS 2269158 HAS SOUPS 2176441 WITH SCORE 2184081.45
AT ITER 1977 NEW BEST:: SOT 12007811 SOS 7640298 HAS SOPS 6333779 HAS SOUS 2268848 HAS SOUPS 2176131 WITH SCORE 2183771.298
AT ITER 1987 NEW BEST:: SOT 12006423 SOS 7641698 HAS SOPS 6331484 HAS SOUS 2261845 HAS SOUPS 2169128 WITH SCORE 2176769.698
AT ITER 1998 NEW BEST:: SOT 11999036 SOS 7629997 HAS SOPS 6325451 HAS SOUS 2257874 HAS SOUPS 2165306 WITH SCORE 2172935.997
AT ITER 2009 NEW BEST:: SOT 11996728 SOS 7633430 HAS SOPS 6324881 HAS SOUS 2239283 HAS SOUPS 2146715 WITH SCORE 2154348.43
AT ITER 2012 NEW BEST:: SOT 11991983 SOS 7628685 HAS SOPS 6320136 HAS SOUS 2233942 HAS SOUPS 2141374 WITH SCORE 2149002.685
AT ITER 2013 NEW BEST:: SOT 12003082 SOS 7654537 HAS SOPS 6345840 HAS SOUS 2226798 HAS SOUPS 2134230 WITH SCORE 2141884.537
AT ITER 2018 NEW BEST:: SOT 12002952 SOS 7655027 HAS SOPS 6346344 HAS SOUS 2226410 HAS SOUPS 2133842 WITH SCORE 2141497.027
AT ITER 2023 NEW BEST:: SOT 11997397 SOS 7646639 HAS SOPS 6339353 HAS SOUS 2216916 HAS SOUPS 2124466 WITH SCORE 2132112.639
AT ITER 2026 NEW BEST:: SOT 11987666 SOS 7634690 HAS SOPS 6329075 HAS SOUS 2206070 HAS SOUPS 2113769 WITH SCORE 2121403.69
AT ITER 2030 NEW BEST:: SOT 11987191 SOS 7633710 HAS SOPS 6328113 HAS SOUS 2205429 HAS SOUPS 2113128 WITH SCORE 2120761.71
AT ITER 2036 NEW BEST:: SOT 11985188 SOS 7632767 HAS SOPS 6325978 HAS SOUS 2198408 HAS SOUPS 2106371 WITH SCORE 2114003.767
AT ITER 2056 NEW BEST:: SOT 11984772 SOS 7632351 HAS SOPS 6324970 HAS SOUS 2195428 HAS SOUPS 2103391 WITH SCORE 2111023.351
AT ITER 2057 NEW BEST:: SOT 11984676 SOS 7632255 HAS SOPS 6324874 HAS SOUS 2195368 HAS SOUPS 2103331 WITH SCORE 2110963.255
AT ITER 2060 NEW BEST:: SOT 11983615 SOS 7630629 HAS SOPS 6322974 HAS SOUS 2190658 HAS SOUPS 2098639 WITH SCORE 2106269.629
AT ITER 2063 NEW BEST:: SOT 11978142 SOS 7619936 HAS SOPS 6317071 HAS SOUS 2174717 HAS SOUPS 2085906 WITH SCORE 2093525.936
AT ITER 2064 NEW BEST:: SOT 11977101 SOS 7618151 HAS SOPS 6315198 HAS SOUS 2173956 HAS SOUPS 2085145 WITH SCORE 2092763.151
AT ITER 2069 NEW BEST:: SOT 11975660 SOS 7613655 HAS SOPS 6310882 HAS SOUS 2171468 HAS SOUPS 2082657 WITH SCORE 2090270.655
AT ITER 2076 NEW BEST:: SOT 11971071 SOS 7600716 HAS SOPS 6301876 HAS SOUS 2169255 HAS SOUPS 2081076 WITH SCORE 2088676.716
AT ITER 2090 NEW BEST:: SOT 11972466 SOS 7604073 HAS SOPS 6304375 HAS SOUS 2168527 HAS SOUPS 2080444 WITH SCORE 2088048.073
AT ITER 2104 NEW BEST:: SOT 11966481 SOS 7598088 HAS SOPS 6298342 HAS SOUS 2163002 HAS SOUPS 2074919 WITH SCORE 2082517.088
AT ITER 2116 NEW BEST:: SOT 11966935 SOS 7599620 HAS SOPS 6299801 HAS SOUS 2162948 HAS SOUPS 2074802 WITH SCORE 2082401.62
AT ITER 2118 NEW BEST:: SOT 11965905 SOS 7598677 HAS SOPS 6300327 HAS SOUS 2157903 HAS SOUPS 2069821 WITH SCORE 2077419.677
AT ITER 2134 NEW BEST:: SOT 11965906 SOS 7598717 HAS SOPS 6300381 HAS SOUS 2157897 HAS SOUPS 2069815 WITH SCORE 2077413.717
AT ITER 2138 NEW BEST:: SOT 11965490 SOS 7598301 HAS SOPS 6299757 HAS SOUS 2156805 HAS SOUPS 2068723 WITH SCORE 2076321.301
AT ITER 2154 NEW BEST:: SOT 11968766 SOS 7601577 HAS SOPS 6302121 HAS SOUS 2156173 HAS SOUPS 2068091 WITH SCORE 2075692.577
AT ITER 2160 NEW BEST:: SOT 11967373 SOS 7598359 HAS SOPS 6299607 HAS SOUS 2155973 HAS SOUPS 2067924 WITH SCORE 2075522.359
AT ITER 2162 NEW BEST:: SOT 11967498 SOS 7598616 HAS SOPS 6300078 HAS SOUS 2155854 HAS SOUPS 2067805 WITH SCORE 2075403.616
AT ITER 2166 NEW BEST:: SOT 11965652 SOS 7596770 HAS SOPS 6298344 HAS SOUS 2154648 HAS SOUPS 2066599 WITH SCORE 2074195.77
AT ITER 2167 NEW BEST:: SOT 11965084 SOS 7596202 HAS SOPS 6297424 HAS SOUS 2152864 HAS SOUPS 2064815 WITH SCORE 2072411.202
AT ITER 2181 NEW BEST:: SOT 11964295 SOS 7594167 HAS SOPS 6295548 HAS SOUS 2151070 HAS SOUPS 2063629 WITH SCORE 2071223.167
AT ITER 2198 NEW BEST:: SOT 11957843 SOS 7587715 HAS SOPS 6288744 HAS SOUS 2143486 HAS SOUPS 2056045 WITH SCORE 2063632.715
AT ITER 2252 NEW BEST:: SOT 11937360 SOS 7541448 HAS SOPS 6247613 HAS SOUS 2122831 HAS SOUPS 2035413 WITH SCORE 2042954.448
AT ITER 2255 NEW BEST:: SOT 11937240 SOS 7541328 HAS SOPS 6247493 HAS SOUS 2122711 HAS SOUPS 2035293 WITH SCORE 2042834.328
AT ITER 2273 NEW BEST:: SOT 11937476 SOS 7542308 HAS SOPS 6251737 HAS SOUS 2122169 HAS SOUPS 2034751 WITH SCORE 2042293.308
AT ITER 2304 NEW BEST:: SOT 11929896 SOS 7531671 HAS SOPS 6242427 HAS SOUS 2106433 HAS SOUPS 2019121 WITH SCORE 2026652.671
AT ITER 2306 NEW BEST:: SOT 11929721 SOS 7531540 HAS SOPS 6242156 HAS SOUS 2105598 HAS SOUPS 2018286 WITH SCORE 2025817.54
AT ITER 2340 NEW BEST:: SOT 11928371 SOS 7530159 HAS SOPS 6240775 HAS SOUS 2103588 HAS SOUPS 2016276 WITH SCORE 2023806.159
AT ITER 2345 NEW BEST:: SOT 11928727 SOS 7527011 HAS SOPS 6242209 HAS SOUS 2100883 HAS SOUPS 2013571 WITH SCORE 2021098.011
AT ITER 2365 NEW BEST:: SOT 11928193 SOS 7525884 HAS SOPS 6239554 HAS SOUS 2099235 HAS SOUPS 2010813 WITH SCORE 2018338.884
AT ITER 2384 NEW BEST:: SOT 11929732 SOS 7533682 HAS SOPS 6244666 HAS SOUS 2093837 HAS SOUPS 2005415 WITH SCORE 2012948.682
AT ITER 2385 NEW BEST:: SOT 11930321 SOS 7532543 HAS SOPS 6242877 HAS SOUS 2093435 HAS SOUPS 2005013 WITH SCORE 2012545.543
AT ITER 2394 NEW BEST:: SOT 11929848 SOS 7532428 HAS SOPS 6241409 HAS SOUS 2093407 HAS SOUPS 2004985 WITH SCORE 2012517.428
AT ITER 2395 NEW BEST:: SOT 11929592 SOS 7531938 HAS SOPS 6241174 HAS SOUS 2092805 HAS SOUPS 2004415 WITH SCORE 2011946.938
AT ITER 2415 NEW BEST:: SOT 11929977 SOS 7533166 HAS SOPS 6241710 HAS SOUS 2087246 HAS SOUPS 1998852 WITH SCORE 2006385.166
AT ITER 2423 NEW BEST:: SOT 11937124 SOS 7549405 HAS SOPS 6255667 HAS SOUS 2085181 HAS SOUPS 1996787 WITH SCORE 2004336.405
AT ITER 2427 NEW BEST:: SOT 11937097 SOS 7546204 HAS SOPS 6250629 HAS SOUS 2084691 HAS SOUPS 1996297 WITH SCORE 2003843.204
AT ITER 2444 NEW BEST:: SOT 11938933 SOS 7551057 HAS SOPS 6255748 HAS SOUS 2081282 HAS SOUPS 1993002 WITH SCORE 2000553.057
AT ITER 2449 NEW BEST:: SOT 11936633 SOS 7548763 HAS SOPS 6253499 HAS SOUS 2079300 HAS SOUPS 1991018 WITH SCORE 1998566.763
AT ITER 2458 NEW BEST:: SOT 11936651 SOS 7548781 HAS SOPS 6253517 HAS SOUS 2079286 HAS SOUPS 1991004 WITH SCORE 1998552.781
AT ITER 2460 NEW BEST:: SOT 11937097 SOS 7550800 HAS SOPS 6255943 HAS SOUS 2074634 HAS SOUPS 1986261 WITH SCORE 1993811.8
AT ITER 2465 NEW BEST:: SOT 11932926 SOS 7544074 HAS SOPS 6245322 HAS SOUS 2068746 HAS SOUPS 1980373 WITH SCORE 1987917.074
AT ITER 2473 NEW BEST:: SOT 11926615 SOS 7533267 HAS SOPS 6234520 HAS SOUS 2058113 HAS SOUPS 1969835 WITH SCORE 1977368.267
AT ITER 2474 NEW BEST:: SOT 11926579 SOS 7533231 HAS SOPS 6234484 HAS SOUS 2057941 HAS SOUPS 1969663 WITH SCORE 1977196.231
AT ITER 2475 NEW BEST:: SOT 11926941 SOS 7534695 HAS SOPS 6235880 HAS SOUS 2056985 HAS SOUPS 1968707 WITH SCORE 1976241.695
AT ITER 2493 NEW BEST:: SOT 11923436 SOS 7525471 HAS SOPS 6226775 HAS SOUS 2054323 HAS SOUPS 1966045 WITH SCORE 1973570.471
AT ITER 2495 NEW BEST:: SOT 11930651 SOS 7542392 HAS SOPS 6244196 HAS SOUS 2047308 HAS SOUPS 1959189 WITH SCORE 1966731.392
AT ITER 2560 NEW BEST:: SOT 11929350 SOS 7540216 HAS SOPS 6240730 HAS SOUS 2039661 HAS SOUPS 1951542 WITH SCORE 1959082.216
AT ITER 2569 NEW BEST:: SOT 11929246 SOS 7538617 HAS SOPS 6238728 HAS SOUS 2039324 HAS SOUPS 1951205 WITH SCORE 1958743.617
AT ITER 2570 NEW BEST:: SOT 11930399 SOS 7540029 HAS SOPS 6239403 HAS SOUS 2032914 HAS SOUPS 1944748 WITH SCORE 1952288.029
AT ITER 2580 NEW BEST:: SOT 11929731 SOS 7539425 HAS SOPS 6238735 HAS SOUS 2032780 HAS SOUPS 1944614 WITH SCORE 1952153.425
AT ITER 2590 NEW BEST:: SOT 11925201 SOS 7531744 HAS SOPS 6232073 HAS SOUS 2030324 HAS SOUPS 1942158 WITH SCORE 1949689.744
AT ITER 2593 NEW BEST:: SOT 11926827 SOS 7535219 HAS SOPS 6239227 HAS SOUS 2024252 HAS SOUPS 1936086 WITH SCORE 1943621.219
AT ITER 2626 NEW BEST:: SOT 11926013 SOS 7542336 HAS SOPS 6241972 HAS SOUS 2020947 HAS SOUPS 1932651 WITH SCORE 1940193.336
AT ITER 2639 NEW BEST:: SOT 11931907 SOS 7563262 HAS SOPS 6258035 HAS SOUS 2020188 HAS SOUPS 1931676 WITH SCORE 1939239.262
AT ITER 2643 NEW BEST:: SOT 11932087 SOS 7563764 HAS SOPS 6260304 HAS SOUS 2016113 HAS SOUPS 1927833 WITH SCORE 1935396.764
AT ITER 2656 NEW BEST:: SOT 11932352 SOS 7563932 HAS SOPS 6259655 HAS SOUS 2016088 HAS SOUPS 1927808 WITH SCORE 1935371.932
AT ITER 2660 NEW BEST:: SOT 11930097 SOS 7560782 HAS SOPS 6255692 HAS SOUS 2012319 HAS SOUPS 1924011 WITH SCORE 1931571.782
AT ITER 2674 NEW BEST:: SOT 11926605 SOS 7557639 HAS SOPS 6251925 HAS SOUS 2007498 HAS SOUPS 1919193 WITH SCORE 1926750.639
AT ITER 2689 NEW BEST:: SOT 11927073 SOS 7558107 HAS SOPS 6251817 HAS SOUS 2006194 HAS SOUPS 1917729 WITH SCORE 1925287.107
AT ITER 2698 NEW BEST:: SOT 11926204 SOS 7557238 HAS SOPS 6250772 HAS SOUS 2005461 HAS SOUPS 1916996 WITH SCORE 1924553.238
AT ITER 2715 NEW BEST:: SOT 11927091 SOS 7559196 HAS SOPS 6252592 HAS SOUS 2003737 HAS SOUPS 1915272 WITH SCORE 1922831.196
AT ITER 2722 NEW BEST:: SOT 11926894 SOS 7558939 HAS SOPS 6252346 HAS SOUS 2002764 HAS SOUPS 1914310 WITH SCORE 1921868.939
AT ITER 2749 NEW BEST:: SOT 11926852 SOS 7558699 HAS SOPS 6251965 HAS SOUS 2002575 HAS SOUPS 1914121 WITH SCORE 1921679.699
AT ITER 2783 NEW BEST:: SOT 11928154 SOS 7562923 HAS SOPS 6256683 HAS SOUS 2000616 HAS SOUPS 1912162 WITH SCORE 1919724.923
AT ITER 2793 NEW BEST:: SOT 11927848 SOS 7563126 HAS SOPS 6253640 HAS SOUS 1994195 HAS SOUPS 1905701 WITH SCORE 1913264.126
AT ITER 2799 NEW BEST:: SOT 11928009 SOS 7563417 HAS SOPS 6255222 HAS SOUS 1993088 HAS SOUPS 1904655 WITH SCORE 1912218.417
AT ITER 2812 NEW BEST:: SOT 11925977 SOS 7562446 HAS SOPS 6253807 HAS SOUS 1986780 HAS SOUPS 1898347 WITH SCORE 1905909.446
AT ITER 2819 NEW BEST:: SOT 11925843 SOS 7562286 HAS SOPS 6253673 HAS SOUS 1986622 HAS SOUPS 1898215 WITH SCORE 1905777.286
AT ITER 2820 NEW BEST:: SOT 11923332 SOS 7555516 HAS SOPS 6250883 HAS SOUS 1985928 HAS SOUPS 1897546 WITH SCORE 1905101.516
AT ITER 2848 NEW BEST:: SOT 11923248 SOS 7555530 HAS SOPS 6250854 HAS SOUS 1985740 HAS SOUPS 1897358 WITH SCORE 1904913.53
AT ITER 2852 NEW BEST:: SOT 11924192 SOS 7558843 HAS SOPS 6252912 HAS SOUS 1984144 HAS SOUPS 1895762 WITH SCORE 1903320.843
AT ITER 2884 NEW BEST:: SOT 11923439 SOS 7558145 HAS SOPS 6252118 HAS SOUS 1982991 HAS SOUPS 1894641 WITH SCORE 1902199.145
AT ITER 2886 NEW BEST:: SOT 11923946 SOS 7559025 HAS SOPS 6253176 HAS SOUS 1982755 HAS SOUPS 1894405 WITH SCORE 1901964.025
AT ITER 2891 NEW BEST:: SOT 11923662 SOS 7558123 HAS SOPS 6252742 HAS SOUS 1982421 HAS SOUPS 1894071 WITH SCORE 1901629.123
AT ITER 2899 NEW BEST:: SOT 11922810 SOS 7557271 HAS SOPS 6251522 HAS SOUS 1980157 HAS SOUPS 1891807 WITH SCORE 1899364.271
AT ITER 2909 NEW BEST:: SOT 11922337 SOS 7556798 HAS SOPS 6251049 HAS SOUS 1979684 HAS SOUPS 1891334 WITH SCORE 1898890.798
AT ITER 2918 NEW BEST:: SOT 11922746 SOS 7557275 HAS SOPS 6251550 HAS SOUS 1979488 HAS SOUPS 1891159 WITH SCORE 1898716.275
AT ITER 2922 NEW BEST:: SOT 11922750 SOS 7557293 HAS SOPS 6251584 HAS SOUS 1979468 HAS SOUPS 1891147 WITH SCORE 1898704.293
AT ITER 2927 NEW BEST:: SOT 11922682 SOS 7557608 HAS SOPS 6251597 HAS SOUS 1979356 HAS SOUPS 1891035 WITH SCORE 1898592.608
AT ITER 2939 NEW BEST:: SOT 11922035 SOS 7556293 HAS SOPS 6250394 HAS SOUS 1978381 HAS SOUPS 1890066 WITH SCORE 1897622.293
AT ITER 2956 NEW BEST:: SOT 11921571 SOS 7555829 HAS SOPS 6249978 HAS SOUS 1978309 HAS SOUPS 1889994 WITH SCORE 1897549.829
AT ITER 2969 NEW BEST:: SOT 11917246 SOS 7554531 HAS SOPS 6246030 HAS SOUS 1967926 HAS SOUPS 1879432 WITH SCORE 1886986.531
AT ITER 2995 NEW BEST:: SOT 11912106 SOS 7549391 HAS SOPS 6240938 HAS SOUS 1966866 HAS SOUPS 1878372 WITH SCORE 1885921.391
AT ITER 3004 NEW BEST:: SOT 11907499 SOS 7544495 HAS SOPS 6237558 HAS SOUS 1959900 HAS SOUPS 1871488 WITH SCORE 1879032.495
AT ITER 3016 NEW BEST:: SOT 11908098 SOS 7545180 HAS SOPS 6238160 HAS SOUS 1956636 HAS SOUPS 1868224 WITH SCORE 1875769.18
AT ITER 3020 NEW BEST:: SOT 11907871 SOS 7544898 HAS SOPS 6237436 HAS SOUS 1955820 HAS SOUPS 1867408 WITH SCORE 1874952.898
AT ITER 3030 NEW BEST:: SOT 11907152 SOS 7542766 HAS SOPS 6236065 HAS SOUS 1955770 HAS SOUPS 1867358 WITH SCORE 1874900.766
AT ITER 3037 NEW BEST:: SOT 11906942 SOS 7542333 HAS SOPS 6235101 HAS SOUS 1952453 HAS SOUPS 1864041 WITH SCORE 1871583.333
AT ITER 3069 NEW BEST:: SOT 11914641 SOS 7551698 HAS SOPS 6243874 HAS SOUS 1943547 HAS SOUPS 1855113 WITH SCORE 1862664.698
AT ITER 3083 NEW BEST:: SOT 11914609 SOS 7551666 HAS SOPS 6243842 HAS SOUS 1943483 HAS SOUPS 1855049 WITH SCORE 1862600.666
AT ITER 3086 NEW BEST:: SOT 11914573 SOS 7551300 HAS SOPS 6243340 HAS SOUS 1943462 HAS SOUPS 1855028 WITH SCORE 1862579.3
AT ITER 3105 NEW BEST:: SOT 11913564 SOS 7549875 HAS SOPS 6242011 HAS SOUS 1941634 HAS SOUPS 1853278 WITH SCORE 1860827.875
AT ITER 3110 NEW BEST:: SOT 11909825 SOS 7550134 HAS SOPS 6245335 HAS SOUS 1937985 HAS SOUPS 1849722 WITH SCORE 1857272.134
AT ITER 3139 NEW BEST:: SOT 11909434 SOS 7548896 HAS SOPS 6243626 HAS SOUS 1937267 HAS SOUPS 1849004 WITH SCORE 1856552.896
AT ITER 3149 NEW BEST:: SOT 11909041 SOS 7549518 HAS SOPS 6243321 HAS SOUS 1936834 HAS SOUPS 1848571 WITH SCORE 1856120.518
AT ITER 3171 NEW BEST:: SOT 11908733 SOS 7549210 HAS SOPS 6242677 HAS SOUS 1934618 HAS SOUPS 1846355 WITH SCORE 1853904.21
AT ITER 3207 NEW BEST:: SOT 11908477 SOS 7549445 HAS SOPS 6240913 HAS SOUS 1931844 HAS SOUPS 1843469 WITH SCORE 1851018.445
AT ITER 3216 NEW BEST:: SOT 11908303 SOS 7548783 HAS SOPS 6240170 HAS SOUS 1931531 HAS SOUPS 1843156 WITH SCORE 1850704.783
AT ITER 3230 NEW BEST:: SOT 11908348 SOS 7548810 HAS SOPS 6240215 HAS SOUS 1931495 HAS SOUPS 1843131 WITH SCORE 1850679.81
AT ITER 3233 NEW BEST:: SOT 11907719 SOS 7548181 HAS SOPS 6238706 HAS SOUS 1930866 HAS SOUPS 1842502 WITH SCORE 1850050.181
AT ITER 3237 NEW BEST:: SOT 11907715 SOS 7548274 HAS SOPS 6238804 HAS SOUS 1930860 HAS SOUPS 1842496 WITH SCORE 1850044.274
AT ITER 3243 NEW BEST:: SOT 11907287 SOS 7547716 HAS SOPS 6238262 HAS SOUS 1930035 HAS SOUPS 1841671 WITH SCORE 1849218.716
AT ITER 3267 NEW BEST:: SOT 11905252 SOS 7545308 HAS SOPS 6237217 HAS SOUS 1927986 HAS SOUPS 1839758 WITH SCORE 1847303.308
AT ITER 3277 NEW BEST:: SOT 11903353 SOS 7543072 HAS SOPS 6234632 HAS SOUS 1928002 HAS SOUPS 1839470 WITH SCORE 1847013.072
AT ITER 3305 NEW BEST:: SOT 11903551 SOS 7545588 HAS SOPS 6236856 HAS SOUS 1926010 HAS SOUPS 1837478 WITH SCORE 1845023.588
AT ITER 3310 NEW BEST:: SOT 11901819 SOS 7543964 HAS SOPS 6235124 HAS SOUS 1924958 HAS SOUPS 1836426 WITH SCORE 1843969.964
AT ITER 3329 NEW BEST:: SOT 11897042 SOS 7526329 HAS SOPS 6213861 HAS SOUS 1922946 HAS SOUPS 1834414 WITH SCORE 1841940.329
AT ITER 3335 NEW BEST:: SOT 11897077 SOS 7524001 HAS SOPS 6211964 HAS SOUS 1922486 HAS SOUPS 1833954 WITH SCORE 1841478.001
AT ITER 3368 NEW BEST:: SOT 11897927 SOS 7530587 HAS SOPS 6219952 HAS SOUS 1922099 HAS SOUPS 1833567 WITH SCORE 1841097.587
AT ITER 3373 NEW BEST:: SOT 11897846 SOS 7530512 HAS SOPS 6219760 HAS SOUS 1921661 HAS SOUPS 1833129 WITH SCORE 1840659.512
AT ITER 3392 NEW BEST:: SOT 11897593 SOS 7530235 HAS SOPS 6219395 HAS SOUS 1921824 HAS SOUPS 1833075 WITH SCORE 1840605.235
AT ITER 3402 NEW BEST:: SOT 11897743 SOS 7530572 HAS SOPS 6219817 HAS SOUS 1921823 HAS SOUPS 1833074 WITH SCORE 1840604.572
AT ITER 3403 NEW BEST:: SOT 11900172 SOS 7524475 HAS SOPS 6207700 HAS SOUS 1918916 HAS SOUPS 1830041 WITH SCORE 1837565.475
AT ITER 3404 NEW BEST:: SOT 11900046 SOS 7524162 HAS SOPS 6207387 HAS SOUS 1918723 HAS SOUPS 1829848 WITH SCORE 1837372.162
AT ITER 3428 NEW BEST:: SOT 11894757 SOS 7516191 HAS SOPS 6198759 HAS SOUS 1908381 HAS SOUPS 1819627 WITH SCORE 1827143.191
AT ITER 3461 NEW BEST:: SOT 11894747 SOS 7516207 HAS SOPS 6198805 HAS SOUS 1908274 HAS SOUPS 1819554 WITH SCORE 1827070.207
AT ITER 3464 NEW BEST:: SOT 11894891 SOS 7516767 HAS SOPS 6198925 HAS SOUS 1907427 HAS SOUPS 1818707 WITH SCORE 1826223.767
AT ITER 3465 NEW BEST:: SOT 11895039 SOS 7516906 HAS SOPS 6199076 HAS SOUS 1906587 HAS SOUPS 1817879 WITH SCORE 1825395.906
AT ITER 3478 NEW BEST:: SOT 11895090 SOS 7516937 HAS SOPS 6199217 HAS SOUS 1906278 HAS SOUPS 1817574 WITH SCORE 1825090.937
AT ITER 3489 NEW BEST:: SOT 11893129 SOS 7517138 HAS SOPS 6198261 HAS SOUS 1905665 HAS SOUPS 1816448 WITH SCORE 1823965.138
AT ITER 3512 NEW BEST:: SOT 11892307 SOS 7516282 HAS SOPS 6196907 HAS SOUS 1904151 HAS SOUPS 1814924 WITH SCORE 1822440.282
AT ITER 3526 NEW BEST:: SOT 11890249 SOS 7511852 HAS SOPS 6192439 HAS SOUS 1902079 HAS SOUPS 1812828 WITH SCORE 1820339.852
AT ITER 3534 NEW BEST:: SOT 11889577 SOS 7511180 HAS SOPS 6191383 HAS SOUS 1899871 HAS SOUPS 1810620 WITH SCORE 1818131.18
AT ITER 3535 NEW BEST:: SOT 11889467 SOS 7511467 HAS SOPS 6191651 HAS SOUS 1898563 HAS SOUPS 1809329 WITH SCORE 1816840.467
AT ITER 3539 NEW BEST:: SOT 11886430 SOS 7488376 HAS SOPS 6168563 HAS SOUS 1897769 HAS SOUPS 1808535 WITH SCORE 1816023.376
AT ITER 3550 NEW BEST:: SOT 11881304 SOS 7478972 HAS SOPS 6163422 HAS SOUS 1887988 HAS SOUPS 1798875 WITH SCORE 1806353.972
AT ITER 3558 NEW BEST:: SOT 11881148 SOS 7478816 HAS SOPS 6163218 HAS SOUS 1887676 HAS SOUPS 1798563 WITH SCORE 1806041.816
AT ITER 3584 NEW BEST:: SOT 11881004 SOS 7478490 HAS SOPS 6164505 HAS SOUS 1887238 HAS SOUPS 1798125 WITH SCORE 1805603.49
AT ITER 3589 NEW BEST:: SOT 11881086 SOS 7478413 HAS SOPS 6165111 HAS SOUS 1886442 HAS SOUPS 1797434 WITH SCORE 1804912.413
AT ITER 3593 NEW BEST:: SOT 11881023 SOS 7478282 HAS SOPS 6164976 HAS SOUS 1886407 HAS SOUPS 1797401 WITH SCORE 1804879.282
AT ITER 3631 NEW BEST:: SOT 11881581 SOS 7479147 HAS SOPS 6165818 HAS SOUS 1882558 HAS SOUPS 1793552 WITH SCORE 1801031.147
AT ITER 3660 NEW BEST:: SOT 11875896 SOS 7473484 HAS SOPS 6159328 HAS SOUS 1876541 HAS SOUPS 1787524 WITH SCORE 1794997.484
AT ITER 3662 NEW BEST:: SOT 11875282 SOS 7472591 HAS SOPS 6158622 HAS SOUS 1875033 HAS SOUPS 1786016 WITH SCORE 1793488.591
AT ITER 3678 NEW BEST:: SOT 11871768 SOS 7469241 HAS SOPS 6154884 HAS SOUS 1869750 HAS SOUPS 1780921 WITH SCORE 1788390.241
AT ITER 3688 NEW BEST:: SOT 11871756 SOS 7468950 HAS SOPS 6154590 HAS SOUS 1869234 HAS SOUPS 1780405 WITH SCORE 1787873.95
AT ITER 3690 NEW BEST:: SOT 11871756 SOS 7468915 HAS SOPS 6154467 HAS SOUS 1869048 HAS SOUPS 1780219 WITH SCORE 1787687.915
AT ITER 3701 NEW BEST:: SOT 11871648 SOS 7469314 HAS SOPS 6154357 HAS SOUS 1868608 HAS SOUPS 1779779 WITH SCORE 1787248.314
AT ITER 3702 NEW BEST:: SOT 11870718 SOS 7466828 HAS SOPS 6152369 HAS SOUS 1867696 HAS SOUPS 1778883 WITH SCORE 1786349.828
AT ITER 3778 NEW BEST:: SOT 11871466 SOS 7467576 HAS SOPS 6152477 HAS SOUS 1866312 HAS SOUPS 1777499 WITH SCORE 1784966.576
AT ITER 3788 NEW BEST:: SOT 11871310 SOS 7467420 HAS SOPS 6152273 HAS SOUS 1866000 HAS SOUPS 1777187 WITH SCORE 1784654.42
AT ITER 3797 NEW BEST:: SOT 11871010 SOS 7466943 HAS SOPS 6151719 HAS SOUS 1865361 HAS SOUPS 1776558 WITH SCORE 1784024.943
AT ITER 3841 NEW BEST:: SOT 11868904 SOS 7463614 HAS SOPS 6148870 HAS SOUS 1863214 HAS SOUPS 1774610 WITH SCORE 1782073.614
AT ITER 3880 NEW BEST:: SOT 11868141 SOS 7461354 HAS SOPS 6146762 HAS SOUS 1862206 HAS SOUPS 1773654 WITH SCORE 1781115.354
AT ITER 3891 NEW BEST:: SOT 11862615 SOS 7441490 HAS SOPS 6129040 HAS SOUS 1853663 HAS SOUPS 1765263 WITH SCORE 1772704.49
AT ITER 3900 NEW BEST:: SOT 11870025 SOS 7447850 HAS SOPS 6134215 HAS SOUS 1853241 HAS SOUPS 1764842 WITH SCORE 1772289.85
AT ITER 3903 NEW BEST:: SOT 11870685 SOS 7451652 HAS SOPS 6136951 HAS SOUS 1851658 HAS SOUPS 1763286 WITH SCORE 1770737.652
AT ITER 3911 NEW BEST:: SOT 11869630 SOS 7450088 HAS SOPS 6135626 HAS SOUS 1847757 HAS SOUPS 1759385 WITH SCORE 1766835.088
AT ITER 3922 NEW BEST:: SOT 11869117 SOS 7449868 HAS SOPS 6135521 HAS SOUS 1847288 HAS SOUPS 1758916 WITH SCORE 1766365.868
AT ITER 3951 NEW BEST:: SOT 11869907 SOS 7451287 HAS SOPS 6136342 HAS SOUS 1846664 HAS SOUPS 1758292 WITH SCORE 1765743.287
AT ITER 3952 NEW BEST:: SOT 11869652 SOS 7451978 HAS SOPS 6136175 HAS SOUS 1845169 HAS SOUPS 1756764 WITH SCORE 1764215.978
AT ITER 3956 NEW BEST:: SOT 11869967 SOS 7451421 HAS SOPS 6136601 HAS SOUS 1844788 HAS SOUPS 1756383 WITH SCORE 1763834.421
AT ITER 3958 NEW BEST:: SOT 11870153 SOS 7451860 HAS SOPS 6137675 HAS SOUS 1844639 HAS SOUPS 1756234 WITH SCORE 1763685.86
AT ITER 3971 NEW BEST:: SOT 11870217 SOS 7451924 HAS SOPS 6137739 HAS SOUS 1844607 HAS SOUPS 1756202 WITH SCORE 1763653.924
AT ITER 3974 NEW BEST:: SOT 11869482 SOS 7450444 HAS SOPS 6136435 HAS SOUS 1843473 HAS SOUPS 1755104 WITH SCORE 1762554.444
AT ITER 3976 NEW BEST:: SOT 11869226 SOS 7450434 HAS SOPS 6136518 HAS SOUS 1842654 HAS SOUPS 1754357 WITH SCORE 1761807.434
AT ITER 3982 NEW BEST:: SOT 11867837 SOS 7450494 HAS SOPS 6135674 HAS SOUS 1838775 HAS SOUPS 1750478 WITH SCORE 1757928.494
AT ITER 3987 NEW BEST:: SOT 11868549 SOS 7453346 HAS SOPS 6138403 HAS SOUS 1838658 HAS SOUPS 1750361 WITH SCORE 1757814.346
AT ITER 3991 NEW BEST:: SOT 11867755 SOS 7452374 HAS SOPS 6136826 HAS SOUS 1836349 HAS SOUPS 1747968 WITH SCORE 1755420.374
AT ITER 3992 NEW BEST:: SOT 11867542 SOS 7453176 HAS SOPS 6136124 HAS SOUS 1836290 HAS SOUPS 1747909 WITH SCORE 1755362.176
AT ITER 3997 NEW BEST:: SOT 11870890 SOS 7468453 HAS SOPS 6145575 HAS SOUS 1827810 HAS SOUPS 1739429 WITH SCORE 1746897.453
AT ITER 4002 NEW BEST:: SOT 11872390 SOS 7474816 HAS SOPS 6149880 HAS SOUS 1827977 HAS SOUPS 1739316 WITH SCORE 1746790.816
AT ITER 4018 NEW BEST:: SOT 11872542 SOS 7474883 HAS SOPS 6151235 HAS SOUS 1827909 HAS SOUPS 1739248 WITH SCORE 1746722.883
AT ITER 4021 NEW BEST:: SOT 11872029 SOS 7474472 HAS SOPS 6150055 HAS SOUS 1826402 HAS SOUPS 1737741 WITH SCORE 1745215.472
AT ITER 4033 NEW BEST:: SOT 11870726 SOS 7474427 HAS SOPS 6147199 HAS SOUS 1821744 HAS SOUPS 1733083 WITH SCORE 1740557.427
AT ITER 4047 NEW BEST:: SOT 11869960 SOS 7473657 HAS SOPS 6146249 HAS SOUS 1820618 HAS SOUPS 1731957 WITH SCORE 1739430.657
AT ITER 4052 NEW BEST:: SOT 11869274 SOS 7471586 HAS SOPS 6144436 HAS SOUS 1819846 HAS SOUPS 1731190 WITH SCORE 1738661.586
AT ITER 4065 NEW BEST:: SOT 11865725 SOS 7465428 HAS SOPS 6138975 HAS SOUS 1817450 HAS SOUPS 1728794 WITH SCORE 1736259.428
AT ITER 4136 NEW BEST:: SOT 11865636 SOS 7465242 HAS SOPS 6138400 HAS SOUS 1817157 HAS SOUPS 1728501 WITH SCORE 1735966.242
AT ITER 4147 NEW BEST:: SOT 11865083 SOS 7465575 HAS SOPS 6138712 HAS SOUS 1816236 HAS SOUPS 1727580 WITH SCORE 1735045.575
AT ITER 4162 NEW BEST:: SOT 11865060 SOS 7465331 HAS SOPS 6138291 HAS SOUS 1816179 HAS SOUPS 1727523 WITH SCORE 1734988.331
AT ITER 4163 NEW BEST:: SOT 11864940 SOS 7465208 HAS SOPS 6138345 HAS SOUS 1815978 HAS SOUPS 1727322 WITH SCORE 1734787.208
AT ITER 4171 NEW BEST:: SOT 11865423 SOS 7466740 HAS SOPS 6139399 HAS SOUS 1814980 HAS SOUPS 1726324 WITH SCORE 1733790.74
AT ITER 4172 NEW BEST:: SOT 11864520 SOS 7464623 HAS SOPS 6135999 HAS SOUS 1812267 HAS SOUPS 1723587 WITH SCORE 1731051.623
AT ITER 4208 NEW BEST:: SOT 11874780 SOS 7482276 HAS SOPS 6149384 HAS SOUS 1812022 HAS SOUPS 1723439 WITH SCORE 1730921.276
AT ITER 4214 NEW BEST:: SOT 11874245 SOS 7481587 HAS SOPS 6148035 HAS SOUS 1810695 HAS SOUPS 1722112 WITH SCORE 1729593.587
AT ITER 4216 NEW BEST:: SOT 11873754 SOS 7480071 HAS SOPS 6146652 HAS SOUS 1809711 HAS SOUPS 1721128 WITH SCORE 1728608.071
AT ITER 4229 NEW BEST:: SOT 11873653 SOS 7479890 HAS SOPS 6146363 HAS SOUS 1809360 HAS SOUPS 1720771 WITH SCORE 1728250.89
AT ITER 4249 NEW BEST:: SOT 11874575 SOS 7482346 HAS SOPS 6147707 HAS SOUS 1804738 HAS SOUPS 1716096 WITH SCORE 1723578.346
AT ITER 4251 NEW BEST:: SOT 11871571 SOS 7475549 HAS SOPS 6140752 HAS SOUS 1796824 HAS SOUPS 1708182 WITH SCORE 1715657.549
AT ITER 4262 NEW BEST:: SOT 11871539 SOS 7476735 HAS SOPS 6140890 HAS SOUS 1796585 HAS SOUPS 1707943 WITH SCORE 1715419.735
AT ITER 4264 NEW BEST:: SOT 11870335 SOS 7474456 HAS SOPS 6138477 HAS SOUS 1794733 HAS SOUPS 1706109 WITH SCORE 1713583.456
AT ITER 4268 NEW BEST:: SOT 11874832 SOS 7479558 HAS SOPS 6147037 HAS SOUS 1793877 HAS SOUPS 1705253 WITH SCORE 1712732.558
AT ITER 4274 NEW BEST:: SOT 11875249 SOS 7477966 HAS SOPS 6145369 HAS SOUS 1793009 HAS SOUPS 1704385 WITH SCORE 1711862.966
AT ITER 4278 NEW BEST:: SOT 11874673 SOS 7477166 HAS SOPS 6145705 HAS SOUS 1791875 HAS SOUPS 1703251 WITH SCORE 1710728.166
AT ITER 4308 NEW BEST:: SOT 11874630 SOS 7477037 HAS SOPS 6145600 HAS SOUS 1791806 HAS SOUPS 1703182 WITH SCORE 1710659.037
AT ITER 4311 NEW BEST:: SOT 11864011 SOS 7460438 HAS SOPS 6128916 HAS SOUS 1783546 HAS SOUPS 1694843 WITH SCORE 1702303.438
AT ITER 4336 NEW BEST:: SOT 11862894 SOS 7459320 HAS SOPS 6127546 HAS SOUS 1782281 HAS SOUPS 1693626 WITH SCORE 1701085.32
AT ITER 4348 NEW BEST:: SOT 11862897 SOS 7459328 HAS SOPS 6127560 HAS SOUS 1782220 HAS SOUPS 1693565 WITH SCORE 1701024.328
AT ITER 4355 NEW BEST:: SOT 11862802 SOS 7458860 HAS SOPS 6127311 HAS SOUS 1782119 HAS SOUPS 1693464 WITH SCORE 1700922.86
AT ITER 4361 NEW BEST:: SOT 11864778 SOS 7466368 HAS SOPS 6138247 HAS SOUS 1782108 HAS SOUPS 1693453 WITH SCORE 1700919.368
AT ITER 4363 NEW BEST:: SOT 11864365 SOS 7468785 HAS SOPS 6141557 HAS SOUS 1782043 HAS SOUPS 1693388 WITH SCORE 1700856.785
AT ITER 4387 NEW BEST:: SOT 11864389 SOS 7468846 HAS SOPS 6141658 HAS SOUS 1781939 HAS SOUPS 1693292 WITH SCORE 1700760.846
AT ITER 4420 NEW BEST:: SOT 11864587 SOS 7467832 HAS SOPS 6140846 HAS SOUS 1781784 HAS SOUPS 1693137 WITH SCORE 1700604.832
AT ITER 4427 NEW BEST:: SOT 11851572 SOS 7443677 HAS SOPS 6133708 HAS SOUS 1775086 HAS SOUPS 1686738 WITH SCORE 1694181.677
AT ITER 4438 NEW BEST:: SOT 11851489 SOS 7443245 HAS SOPS 6133732 HAS SOUS 1774934 HAS SOUPS 1686586 WITH SCORE 1694029.245
AT ITER 4440 NEW BEST:: SOT 11851293 SOS 7443049 HAS SOPS 6133472 HAS SOUS 1774550 HAS SOUPS 1686202 WITH SCORE 1693645.049
AT ITER 4470 NEW BEST:: SOT 11850608 SOS 7442147 HAS SOPS 6131553 HAS SOUS 1773514 HAS SOUPS 1685166 WITH SCORE 1692608.147
AT ITER 4493 NEW BEST:: SOT 11849895 SOS 7439538 HAS SOPS 6129636 HAS SOUS 1771115 HAS SOUPS 1682767 WITH SCORE 1690206.538
AT ITER 4506 NEW BEST:: SOT 11849879 SOS 7439784 HAS SOPS 6130120 HAS SOUS 1770777 HAS SOUPS 1682429 WITH SCORE 1689868.784
AT ITER 4534 NEW BEST:: SOT 11849488 SOS 7439310 HAS SOPS 6130194 HAS SOUS 1769937 HAS SOUPS 1681589 WITH SCORE 1689028.31
AT ITER 4561 NEW BEST:: SOT 11848170 SOS 7431721 HAS SOPS 6134554 HAS SOUS 1768514 HAS SOUPS 1680363 WITH SCORE 1687794.721
AT ITER 4584 NEW BEST:: SOT 11847672 SOS 7430703 HAS SOPS 6133635 HAS SOUS 1767942 HAS SOUPS 1679791 WITH SCORE 1687221.703
AT ITER 4599 NEW BEST:: SOT 11846787 SOS 7429748 HAS SOPS 6131905 HAS SOUS 1766452 HAS SOUPS 1678301 WITH SCORE 1685730.748
AT ITER 4609 NEW BEST:: SOT 11845840 SOS 7424557 HAS SOPS 6128068 HAS SOUS 1763489 HAS SOUPS 1675412 WITH SCORE 1682836.557
AT ITER 4621 NEW BEST:: SOT 11845636 SOS 7424353 HAS SOPS 6127768 HAS SOUS 1762857 HAS SOUPS 1674780 WITH SCORE 1682204.353
AT ITER 4627 NEW BEST:: SOT 11845604 SOS 7424325 HAS SOPS 6127880 HAS SOUS 1762853 HAS SOUPS 1674776 WITH SCORE 1682200.325
AT ITER 4645 NEW BEST:: SOT 11845377 SOS 7424138 HAS SOPS 6127027 HAS SOUS 1761928 HAS SOUPS 1673592 WITH SCORE 1681016.138
AT ITER 4659 NEW BEST:: SOT 11841381 SOS 7421289 HAS SOPS 6124658 HAS SOUS 1760970 HAS SOUPS 1672634 WITH SCORE 1680055.289
AT ITER 4683 NEW BEST:: SOT 11832265 SOS 7401296 HAS SOPS 6113927 HAS SOUS 1758946 HAS SOUPS 1670825 WITH SCORE 1678226.296
AT ITER 4698 NEW BEST:: SOT 11833367 SOS 7402637 HAS SOPS 6113052 HAS SOUS 1758670 HAS SOUPS 1670549 WITH SCORE 1677951.637
AT ITER 4742 NEW BEST:: SOT 11832900 SOS 7402354 HAS SOPS 6112394 HAS SOUS 1757367 HAS SOUPS 1669246 WITH SCORE 1676648.354
AT ITER 4755 NEW BEST:: SOT 11831782 SOS 7401944 HAS SOPS 6111375 HAS SOUS 1754481 HAS SOUPS 1666360 WITH SCORE 1673761.944
AT ITER 4781 NEW BEST:: SOT 11831262 SOS 7401410 HAS SOPS 6110839 HAS SOUS 1753303 HAS SOUPS 1665182 WITH SCORE 1672583.41
AT ITER 4782 NEW BEST:: SOT 11832672 SOS 7402757 HAS SOPS 6111136 HAS SOUS 1751490 HAS SOUPS 1663369 WITH SCORE 1670771.757
AT ITER 4807 NEW BEST:: SOT 11832692 SOS 7402837 HAS SOPS 6111396 HAS SOUS 1751447 HAS SOUPS 1663326 WITH SCORE 1670728.837
AT ITER 4832 NEW BEST:: SOT 11832686 SOS 7402655 HAS SOPS 6111197 HAS SOUS 1751402 HAS SOUPS 1663281 WITH SCORE 1670683.655
AT ITER 4879 NEW BEST:: SOT 11837605 SOS 7407912 HAS SOPS 6114789 HAS SOUS 1750910 HAS SOUPS 1661920 WITH SCORE 1669327.912
AT ITER 4891 NEW BEST:: SOT 11834411 SOS 7405758 HAS SOPS 6107879 HAS SOUS 1746058 HAS SOUPS 1656994 WITH SCORE 1664399.758
AT ITER 4894 NEW BEST:: SOT 11833361 SOS 7403031 HAS SOPS 6104786 HAS SOUS 1745226 HAS SOUPS 1655796 WITH SCORE 1663199.031
AT ITER 4900 NEW BEST:: SOT 11831435 SOS 7401105 HAS SOPS 6102252 HAS SOUS 1743252 HAS SOUPS 1653518 WITH SCORE 1660919.105
AT ITER 4901 NEW BEST:: SOT 11830286 SOS 7399902 HAS SOPS 6100548 HAS SOUS 1742896 HAS SOUPS 1653162 WITH SCORE 1660561.902
AT ITER 4906 NEW BEST:: SOT 11829914 SOS 7399530 HAS SOPS 6100128 HAS SOUS 1742368 HAS SOUPS 1652634 WITH SCORE 1660033.53
AT ITER 4910 NEW BEST:: SOT 11829914 SOS 7399847 HAS SOPS 6100662 HAS SOUS 1740017 HAS SOUPS 1650283 WITH SCORE 1657682.847
AT ITER 4954 NEW BEST:: SOT 11822125 SOS 7386024 HAS SOPS 6087145 HAS SOUS 1730971 HAS SOUPS 1641313 WITH SCORE 1648699.024
AT ITER 4955 NEW BEST:: SOT 11818732 SOS 7383958 HAS SOPS 6079637 HAS SOUS 1726599 HAS SOUPS 1636941 WITH SCORE 1644324.958
AT ITER 4969 NEW BEST:: SOT 11818125 SOS 7383336 HAS SOPS 6078919 HAS SOUS 1725622 HAS SOUPS 1635964 WITH SCORE 1643347.336
AT ITER 4971 NEW BEST:: SOT 11818125 SOS 7383354 HAS SOPS 6078937 HAS SOUS 1725496 HAS SOUPS 1635838 WITH SCORE 1643221.354
AT ITER 4991 NEW BEST:: SOT 11817929 SOS 7383196 HAS SOPS 6079313 HAS SOUS 1724442 HAS SOUPS 1634946 WITH SCORE 1642329.196
AT ITER 4999 NEW BEST:: SOT 11817945 SOS 7386127 HAS SOPS 6081300 HAS SOUS 1723289 HAS SOUPS 1633793 WITH SCORE 1641179.127
AT ITER 5001 NEW BEST:: SOT 11817109 SOS 7384055 HAS SOPS 6079252 HAS SOUS 1722103 HAS SOUPS 1632607 WITH SCORE 1639991.055
AT ITER 5033 NEW BEST:: SOT 11817113 SOS 7383911 HAS SOPS 6079177 HAS SOUS 1722065 HAS SOUPS 1632569 WITH SCORE 1639952.911
AT ITER 5066 NEW BEST:: SOT 11817272 SOS 7384319 HAS SOPS 6080311 HAS SOUS 1720865 HAS SOUPS 1631372 WITH SCORE 1638756.319
AT ITER 5070 NEW BEST:: SOT 11817005 SOS 7383843 HAS SOPS 6079499 HAS SOUS 1720507 HAS SOUPS 1631002 WITH SCORE 1638385.843
AT ITER 5087 NEW BEST:: SOT 11816693 SOS 7383516 HAS SOPS 6079211 HAS SOUS 1720262 HAS SOUPS 1630707 WITH SCORE 1638090.516
AT ITER 5091 NEW BEST:: SOT 11816754 SOS 7383572 HAS SOPS 6079331 HAS SOUS 1719518 HAS SOUPS 1629995 WITH SCORE 1637378.572
AT ITER 5093 NEW BEST:: SOT 11819005 SOS 7387559 HAS SOPS 6083037 HAS SOUS 1719420 HAS SOUPS 1629897 WITH SCORE 1637284.559
AT ITER 5098 NEW BEST:: SOT 11818693 SOS 7387247 HAS SOPS 6082725 HAS SOUS 1719108 HAS SOUPS 1629585 WITH SCORE 1636972.247
AT ITER 5099 NEW BEST:: SOT 11818412 SOS 7387152 HAS SOPS 6081817 HAS SOUS 1708252 HAS SOUPS 1618609 WITH SCORE 1625996.152
AT ITER 5104 NEW BEST:: SOT 11813398 SOS 7377019 HAS SOPS 6073765 HAS SOUS 1701954 HAS SOUPS 1612516 WITH SCORE 1619893.019
AT ITER 5121 NEW BEST:: SOT 11815847 SOS 7381782 HAS SOPS 6076440 HAS SOUS 1701603 HAS SOUPS 1612165 WITH SCORE 1619546.782
AT ITER 5124 NEW BEST:: SOT 11815646 SOS 7376705 HAS SOPS 6072765 HAS SOUS 1698592 HAS SOUPS 1609154 WITH SCORE 1616530.705
AT ITER 5135 NEW BEST:: SOT 11818288 SOS 7377141 HAS SOPS 6078388 HAS SOUS 1694055 HAS SOUPS 1605833 WITH SCORE 1613210.141
AT ITER 5138 NEW BEST:: SOT 11818106 SOS 7377540 HAS SOPS 6079892 HAS SOUS 1693933 HAS SOUPS 1605711 WITH SCORE 1613088.54
AT ITER 5153 NEW BEST:: SOT 11813175 SOS 7349061 HAS SOPS 6044708 HAS SOUS 1687229 HAS SOUPS 1598675 WITH SCORE 1606024.061
AT ITER 5162 NEW BEST:: SOT 11812397 SOS 7348269 HAS SOPS 6043723 HAS SOUS 1687046 HAS SOUPS 1598457 WITH SCORE 1605805.269
AT ITER 5166 NEW BEST:: SOT 11812157 SOS 7348029 HAS SOPS 6043403 HAS SOUS 1686566 HAS SOUPS 1597977 WITH SCORE 1605325.029
AT ITER 5182 NEW BEST:: SOT 11812604 SOS 7349702 HAS SOPS 6045380 HAS SOUS 1686328 HAS SOUPS 1597777 WITH SCORE 1605126.702
AT ITER 5203 NEW BEST:: SOT 11811391 SOS 7348542 HAS SOPS 6040372 HAS SOUS 1683191 HAS SOUPS 1594640 WITH SCORE 1601988.542
AT ITER 5216 NEW BEST:: SOT 11810995 SOS 7348037 HAS SOPS 6039655 HAS SOUS 1682283 HAS SOUPS 1593723 WITH SCORE 1601071.037
AT ITER 5218 NEW BEST:: SOT 11810378 SOS 7347420 HAS SOPS 6039038 HAS SOUS 1681666 HAS SOUPS 1593106 WITH SCORE 1600453.42
AT ITER 5235 NEW BEST:: SOT 11813696 SOS 7352800 HAS SOPS 6042923 HAS SOUS 1679378 HAS SOUPS 1590818 WITH SCORE 1598170.8
AT ITER 5236 NEW BEST:: SOT 11812758 SOS 7351760 HAS SOPS 6041798 HAS SOUS 1676715 HAS SOUPS 1588155 WITH SCORE 1595506.76
AT ITER 5242 NEW BEST:: SOT 11803166 SOS 7327212 HAS SOPS 6024070 HAS SOUS 1675397 HAS SOUPS 1587056 WITH SCORE 1594383.212
AT ITER 5254 NEW BEST:: SOT 11802332 SOS 7325226 HAS SOPS 6021905 HAS SOUS 1674595 HAS SOUPS 1586242 WITH SCORE 1593567.226
AT ITER 5294 NEW BEST:: SOT 11802835 SOS 7325561 HAS SOPS 6022655 HAS SOUS 1673721 HAS SOUPS 1585341 WITH SCORE 1592666.561
AT ITER 5329 NEW BEST:: SOT 11803002 SOS 7325202 HAS SOPS 6021253 HAS SOUS 1673402 HAS SOUPS 1585022 WITH SCORE 1592347.202
AT ITER 5334 NEW BEST:: SOT 11802841 SOS 7326097 HAS SOPS 6022596 HAS SOUS 1672253 HAS SOUPS 1583873 WITH SCORE 1591199.097
AT ITER 5367 NEW BEST:: SOT 11802751 SOS 7326017 HAS SOPS 6022472 HAS SOUS 1672113 HAS SOUPS 1583729 WITH SCORE 1591055.017
AT ITER 5379 NEW BEST:: SOT 11802837 SOS 7325880 HAS SOPS 6021980 HAS SOUS 1671236 HAS SOUPS 1582852 WITH SCORE 1590177.88
AT ITER 5381 NEW BEST:: SOT 11802497 SOS 7324399 HAS SOPS 6021202 HAS SOUS 1670431 HAS SOUPS 1582047 WITH SCORE 1589371.399
AT ITER 5383 NEW BEST:: SOT 11802330 SOS 7323625 HAS SOPS 6020602 HAS SOUS 1670345 HAS SOUPS 1581961 WITH SCORE 1589284.625
AT ITER 5387 NEW BEST:: SOT 11801025 SOS 7322335 HAS SOPS 6020099 HAS SOUS 1668762 HAS SOUPS 1580378 WITH SCORE 1587700.335
AT ITER 5419 NEW BEST:: SOT 11800911 SOS 7322430 HAS SOPS 6020245 HAS SOUS 1668682 HAS SOUPS 1580298 WITH SCORE 1587620.43
AT ITER 5428 NEW BEST:: SOT 11799590 SOS 7320221 HAS SOPS 6018095 HAS SOUS 1666025 HAS SOUPS 1577641 WITH SCORE 1584961.221
AT ITER 5443 NEW BEST:: SOT 11799544 SOS 7320201 HAS SOPS 6018039 HAS SOUS 1665849 HAS SOUPS 1577465 WITH SCORE 1584785.201
AT ITER 5504 NEW BEST:: SOT 11796649 SOS 7316505 HAS SOPS 6014916 HAS SOUS 1662394 HAS SOUPS 1574010 WITH SCORE 1581326.505
AT ITER 5528 NEW BEST:: SOT 11797629 SOS 7320150 HAS SOPS 6021228 HAS SOUS 1660230 HAS SOUPS 1571712 WITH SCORE 1579032.15
AT ITER 5546 NEW BEST:: SOT 11795014 SOS 7317408 HAS SOPS 6018178 HAS SOUS 1659301 HAS SOUPS 1570753 WITH SCORE 1578070.408
AT ITER 5548 NEW BEST:: SOT 11794217 SOS 7317535 HAS SOPS 6017760 HAS SOUS 1658052 HAS SOUPS 1569489 WITH SCORE 1576806.535
AT ITER 5575 NEW BEST:: SOT 11794214 SOS 7316890 HAS SOPS 6017334 HAS SOUS 1658050 HAS SOUPS 1569487 WITH SCORE 1576803.89
AT ITER 5582 NEW BEST:: SOT 11793929 SOS 7316629 HAS SOPS 6016465 HAS SOUS 1658405 HAS SOUPS 1569234 WITH SCORE 1576550.629
AT ITER 5587 NEW BEST:: SOT 11793084 SOS 7318321 HAS SOPS 6018886 HAS SOUS 1657917 HAS SOUPS 1568746 WITH SCORE 1576064.321
AT ITER 5596 NEW BEST:: SOT 11789240 SOS 7314469 HAS SOPS 6014654 HAS SOUS 1654337 HAS SOUPS 1565170 WITH SCORE 1572484.469
AT ITER 5627 NEW BEST:: SOT 11785607 SOS 7309071 HAS SOPS 6005883 HAS SOUS 1645498 HAS SOUPS 1556331 WITH SCORE 1563640.071
AT ITER 5644 NEW BEST:: SOT 11785602 SOS 7309056 HAS SOPS 6005861 HAS SOUS 1645489 HAS SOUPS 1556321 WITH SCORE 1563630.056
AT ITER 5665 NEW BEST:: SOT 11785584 SOS 7308876 HAS SOPS 6005645 HAS SOUS 1645393 HAS SOUPS 1556225 WITH SCORE 1563533.876
AT ITER 5680 NEW BEST:: SOT 11786227 SOS 7307594 HAS SOPS 6007039 HAS SOUS 1644868 HAS SOUPS 1555700 WITH SCORE 1563007.594
AT ITER 5696 NEW BEST:: SOT 11784663 SOS 7305548 HAS SOPS 6004366 HAS SOUS 1641280 HAS SOUPS 1552126 WITH SCORE 1559431.548
AT ITER 5700 NEW BEST:: SOT 11785228 SOS 7304361 HAS SOPS 6003709 HAS SOUS 1639657 HAS SOUPS 1550503 WITH SCORE 1557807.361
AT ITER 5721 NEW BEST:: SOT 11785039 SOS 7300642 HAS SOPS 6001014 HAS SOUS 1639216 HAS SOUPS 1550062 WITH SCORE 1557362.642
AT ITER 5757 NEW BEST:: SOT 11784971 SOS 7300227 HAS SOPS 6000873 HAS SOUS 1638789 HAS SOUPS 1549635 WITH SCORE 1556935.227
AT ITER 5783 NEW BEST:: SOT 11784221 SOS 7299617 HAS SOPS 5999535 HAS SOUS 1634409 HAS SOUPS 1545255 WITH SCORE 1552554.617
AT ITER 5875 NEW BEST:: SOT 11781968 SOS 7295959 HAS SOPS 5995402 HAS SOUS 1631006 HAS SOUPS 1541871 WITH SCORE 1549166.959
AT ITER 5882 NEW BEST:: SOT 11781035 SOS 7294337 HAS SOPS 5993257 HAS SOUS 1629909 HAS SOUPS 1540774 WITH SCORE 1548068.337
AT ITER 5885 NEW BEST:: SOT 11780963 SOS 7293887 HAS SOPS 5992954 HAS SOUS 1629648 HAS SOUPS 1540520 WITH SCORE 1547813.887
AT ITER 5902 NEW BEST:: SOT 11780810 SOS 7293208 HAS SOPS 5991798 HAS SOUS 1629313 HAS SOUPS 1540185 WITH SCORE 1547478.208
AT ITER 5915 NEW BEST:: SOT 11781572 SOS 7293752 HAS SOPS 5992083 HAS SOUS 1627666 HAS SOUPS 1538590 WITH SCORE 1545883.752
AT ITER 5925 NEW BEST:: SOT 11781152 SOS 7296307 HAS SOPS 5995128 HAS SOUS 1627636 HAS SOUPS 1538560 WITH SCORE 1545856.307
AT ITER 5942 NEW BEST:: SOT 11778556 SOS 7293812 HAS SOPS 5991681 HAS SOUS 1623266 HAS SOUPS 1534165 WITH SCORE 1541458.812
AT ITER 5947 NEW BEST:: SOT 11778068 SOS 7292816 HAS SOPS 5990991 HAS SOUS 1623178 HAS SOUPS 1534077 WITH SCORE 1541369.816
AT ITER 5950 NEW BEST:: SOT 11777754 SOS 7293807 HAS SOPS 5991253 HAS SOUS 1620045 HAS SOUPS 1530944 WITH SCORE 1538237.807
AT ITER 5956 NEW BEST:: SOT 11777365 SOS 7290630 HAS SOPS 5988708 HAS SOUS 1619968 HAS SOUPS 1530891 WITH SCORE 1538181.63
AT ITER 5974 NEW BEST:: SOT 11777945 SOS 7291170 HAS SOPS 5989672 HAS SOUS 1619162 HAS SOUPS 1530469 WITH SCORE 1537760.17
AT ITER 5984 NEW BEST:: SOT 11778039 SOS 7292614 HAS SOPS 5990668 HAS SOUS 1618398 HAS SOUPS 1529705 WITH SCORE 1536997.614
AT ITER 6007 NEW BEST:: SOT 11777198 SOS 7290344 HAS SOPS 5989264 HAS SOUS 1618375 HAS SOUPS 1529702 WITH SCORE 1536992.344
AT ITER 6011 NEW BEST:: SOT 11776442 SOS 7289660 HAS SOPS 5988000 HAS SOUS 1618472 HAS SOUPS 1529636 WITH SCORE 1536925.66
AT ITER 6030 NEW BEST:: SOT 11775854 SOS 7288981 HAS SOPS 5987439 HAS SOUS 1616208 HAS SOUPS 1527419 WITH SCORE 1534707.981
AT ITER 6066 NEW BEST:: SOT 11775677 SOS 7288850 HAS SOPS 5987267 HAS SOUS 1615751 HAS SOUPS 1526962 WITH SCORE 1534250.85
AT ITER 6090 NEW BEST:: SOT 11775555 SOS 7288692 HAS SOPS 5987035 HAS SOUS 1615449 HAS SOUPS 1526660 WITH SCORE 1533948.692
AT ITER 6119 NEW BEST:: SOT 11775571 SOS 7288931 HAS SOPS 5987281 HAS SOUS 1615353 HAS SOUPS 1526564 WITH SCORE 1533852.931
AT ITER 6151 NEW BEST:: SOT 11774352 SOS 7287867 HAS SOPS 5984795 HAS SOUS 1610656 HAS SOUPS 1521855 WITH SCORE 1529142.867
AT ITER 6156 NEW BEST:: SOT 11773662 SOS 7288247 HAS SOPS 5984885 HAS SOUS 1606704 HAS SOUPS 1517903 WITH SCORE 1525191.247
AT ITER 6174 NEW BEST:: SOT 11774306 SOS 7289451 HAS SOPS 5985513 HAS SOUS 1606683 HAS SOUPS 1517846 WITH SCORE 1525135.451
AT ITER 6183 NEW BEST:: SOT 11773926 SOS 7291441 HAS SOPS 5986796 HAS SOUS 1606462 HAS SOUPS 1517526 WITH SCORE 1524817.441
AT ITER 6209 NEW BEST:: SOT 11770019 SOS 7287365 HAS SOPS 5981729 HAS SOUS 1596048 HAS SOUPS 1507124 WITH SCORE 1514411.365
AT ITER 6221 NEW BEST:: SOT 11769968 SOS 7287184 HAS SOPS 5981580 HAS SOUS 1596023 HAS SOUPS 1507099 WITH SCORE 1514386.184
AT ITER 6268 NEW BEST:: SOT 11769777 SOS 7286855 HAS SOPS 5981295 HAS SOUS 1595716 HAS SOUPS 1506799 WITH SCORE 1514085.855
AT ITER 6274 NEW BEST:: SOT 11767124 SOS 7273735 HAS SOPS 5981762 HAS SOUS 1583817 HAS SOUPS 1495100 WITH SCORE 1502373.735
AT ITER 6277 NEW BEST:: SOT 11765604 SOS 7272215 HAS SOPS 5980194 HAS SOUS 1582257 HAS SOUPS 1493540 WITH SCORE 1500812.215
AT ITER 6278 NEW BEST:: SOT 11764108 SOS 7270566 HAS SOPS 5978132 HAS SOUS 1579341 HAS SOUPS 1490603 WITH SCORE 1497873.566
AT ITER 6288 NEW BEST:: SOT 11764010 SOS 7270841 HAS SOPS 5978264 HAS SOUS 1579245 HAS SOUPS 1490507 WITH SCORE 1497777.841
AT ITER 6314 NEW BEST:: SOT 11763850 SOS 7272567 HAS SOPS 5981486 HAS SOUS 1578420 HAS SOUPS 1489807 WITH SCORE 1497079.567
AT ITER 6317 NEW BEST:: SOT 11761417 SOS 7266290 HAS SOPS 5975159 HAS SOUS 1578422 HAS SOUPS 1489711 WITH SCORE 1496977.29
AT ITER 6318 NEW BEST:: SOT 11759081 SOS 7263520 HAS SOPS 5972315 HAS SOUS 1575141 HAS SOUPS 1486430 WITH SCORE 1493693.52
AT ITER 6343 NEW BEST:: SOT 11756656 SOS 7258880 HAS SOPS 5967844 HAS SOUS 1571640 HAS SOUPS 1482940 WITH SCORE 1490198.88
AT ITER 6345 NEW BEST:: SOT 11756573 SOS 7258067 HAS SOPS 5967047 HAS SOUS 1571419 HAS SOUPS 1482719 WITH SCORE 1489977.067
AT ITER 6351 NEW BEST:: SOT 11756272 SOS 7258908 HAS SOPS 5967712 HAS SOUS 1570487 HAS SOUPS 1481787 WITH SCORE 1489045.908
AT ITER 6381 NEW BEST:: SOT 11756243 SOS 7258515 HAS SOPS 5967437 HAS SOUS 1570331 HAS SOUPS 1481631 WITH SCORE 1488889.515
AT ITER 6391 NEW BEST:: SOT 11755761 SOS 7257993 HAS SOPS 5966767 HAS SOUS 1569669 HAS SOUPS 1480969 WITH SCORE 1488226.993
AT ITER 6393 NEW BEST:: SOT 11755329 SOS 7257503 HAS SOPS 5965687 HAS SOUS 1568725 HAS SOUPS 1480025 WITH SCORE 1487282.503
AT ITER 6423 NEW BEST:: SOT 11755115 SOS 7257305 HAS SOPS 5965434 HAS SOUS 1568473 HAS SOUPS 1479767 WITH SCORE 1487024.305
AT ITER 6435 NEW BEST:: SOT 11754831 SOS 7256596 HAS SOPS 5964734 HAS SOUS 1567680 HAS SOUPS 1478974 WITH SCORE 1486230.596
AT ITER 6459 NEW BEST:: SOT 11755013 SOS 7256764 HAS SOPS 5964902 HAS SOUS 1567582 HAS SOUPS 1478876 WITH SCORE 1486132.764
AT ITER 6484 NEW BEST:: SOT 11749341 SOS 7251154 HAS SOPS 5959860 HAS SOUS 1565870 HAS SOUPS 1477164 WITH SCORE 1484415.154
AT ITER 6498 NEW BEST:: SOT 11749332 SOS 7251179 HAS SOPS 5959882 HAS SOUS 1565841 HAS SOUPS 1477135 WITH SCORE 1484386.179
AT ITER 6640 NEW BEST:: SOT 11748939 SOS 7248628 HAS SOPS 5957752 HAS SOUS 1565359 HAS SOUPS 1476653 WITH SCORE 1483901.628
AT ITER 6660 NEW BEST:: SOT 11748815 SOS 7246657 HAS SOPS 5954440 HAS SOUS 1564742 HAS SOUPS 1476036 WITH SCORE 1483282.657
AT ITER 6662 NEW BEST:: SOT 11750057 SOS 7248555 HAS SOPS 5955088 HAS SOUS 1563288 HAS SOUPS 1474508 WITH SCORE 1481756.555
AT ITER 6664 NEW BEST:: SOT 11749932 SOS 7248360 HAS SOPS 5954927 HAS SOUS 1563157 HAS SOUPS 1474379 WITH SCORE 1481627.36
AT ITER 6667 NEW BEST:: SOT 11748534 SOS 7245989 HAS SOPS 5952556 HAS SOUS 1561204 HAS SOUPS 1472443 WITH SCORE 1479688.989
AT ITER 6679 NEW BEST:: SOT 11746386 SOS 7243958 HAS SOPS 5948481 HAS SOUS 1551676 HAS SOUPS 1462837 WITH SCORE 1470080.958
AT ITER 6686 NEW BEST:: SOT 11745420 SOS 7241018 HAS SOPS 5945547 HAS SOUS 1550932 HAS SOUPS 1462093 WITH SCORE 1469334.018
AT ITER 6689 NEW BEST:: SOT 11745577 SOS 7241179 HAS SOPS 5945692 HAS SOUS 1550757 HAS SOUPS 1461918 WITH SCORE 1469159.179
AT ITER 6707 NEW BEST:: SOT 11745081 SOS 7240653 HAS SOPS 5944944 HAS SOUS 1549757 HAS SOUPS 1460918 WITH SCORE 1468158.653
AT ITER 6712 NEW BEST:: SOT 11743932 SOS 7239896 HAS SOPS 5941767 HAS SOUS 1547756 HAS SOUPS 1458917 WITH SCORE 1466156.896
AT ITER 6714 NEW BEST:: SOT 11744060 SOS 7241590 HAS SOPS 5943785 HAS SOUS 1546398 HAS SOUPS 1457915 WITH SCORE 1465156.59
AT ITER 6715 NEW BEST:: SOT 11743912 SOS 7241298 HAS SOPS 5943481 HAS SOUS 1545938 HAS SOUPS 1457455 WITH SCORE 1464696.298
AT ITER 6716 NEW BEST:: SOT 11747711 SOS 7233597 HAS SOPS 5937170 HAS SOUS 1542136 HAS SOUPS 1453825 WITH SCORE 1461058.597
AT ITER 6718 NEW BEST:: SOT 11747994 SOS 7232366 HAS SOPS 5936324 HAS SOUS 1542018 HAS SOUPS 1453707 WITH SCORE 1460939.366
AT ITER 6731 NEW BEST:: SOT 11748308 SOS 7233556 HAS SOPS 5938545 HAS SOUS 1540521 HAS SOUPS 1452210 WITH SCORE 1459443.556
AT ITER 6740 NEW BEST:: SOT 11748308 SOS 7233571 HAS SOPS 5938465 HAS SOUS 1540231 HAS SOUPS 1451920 WITH SCORE 1459153.571
AT ITER 6741 NEW BEST:: SOT 11748339 SOS 7232849 HAS SOPS 5939158 HAS SOUS 1539163 HAS SOUPS 1450852 WITH SCORE 1458084.849
AT ITER 6747 NEW BEST:: SOT 11748339 SOS 7232839 HAS SOPS 5939178 HAS SOUS 1539161 HAS SOUPS 1450850 WITH SCORE 1458082.839
AT ITER 6783 NEW BEST:: SOT 11745690 SOS 7219449 HAS SOPS 5927687 HAS SOUS 1537418 HAS SOUPS 1449107 WITH SCORE 1456326.449
AT ITER 6794 NEW BEST:: SOT 11746462 SOS 7220221 HAS SOPS 5928251 HAS SOUS 1536114 HAS SOUPS 1447803 WITH SCORE 1455023.221
AT ITER 6806 NEW BEST:: SOT 11746265 SOS 7220135 HAS SOPS 5927910 HAS SOUS 1535491 HAS SOUPS 1447180 WITH SCORE 1454400.135
AT ITER 6807 NEW BEST:: SOT 11746247 SOS 7220080 HAS SOPS 5927855 HAS SOUS 1534320 HAS SOUPS 1446009 WITH SCORE 1453229.08
AT ITER 6823 NEW BEST:: SOT 11746293 SOS 7220261 HAS SOPS 5928361 HAS SOUS 1534050 HAS SOUPS 1445739 WITH SCORE 1452959.261
AT ITER 6835 NEW BEST:: SOT 11748143 SOS 7224227 HAS SOPS 5932409 HAS SOUS 1533467 HAS SOUPS 1445156 WITH SCORE 1452380.227
AT ITER 6837 NEW BEST:: SOT 11746956 SOS 7221114 HAS SOPS 5929602 HAS SOUS 1532519 HAS SOUPS 1444226 WITH SCORE 1451447.114
AT ITER 6838 NEW BEST:: SOT 11746976 SOS 7222165 HAS SOPS 5930644 HAS SOUS 1531826 HAS SOUPS 1443533 WITH SCORE 1450755.165
AT ITER 6849 NEW BEST:: SOT 11747102 SOS 7222236 HAS SOPS 5931588 HAS SOUS 1531600 HAS SOUPS 1443307 WITH SCORE 1450529.236
AT ITER 6863 NEW BEST:: SOT 11746886 SOS 7222020 HAS SOPS 5931340 HAS SOUS 1531320 HAS SOUPS 1442995 WITH SCORE 1450217.02
AT ITER 6865 NEW BEST:: SOT 11746674 SOS 7221861 HAS SOPS 5931019 HAS SOUS 1530850 HAS SOUPS 1442519 WITH SCORE 1449740.861
AT ITER 6896 NEW BEST:: SOT 11746026 SOS 7222011 HAS SOPS 5930598 HAS SOUS 1527768 HAS SOUPS 1439402 WITH SCORE 1446624.011
AT ITER 6944 NEW BEST:: SOT 11750158 SOS 7240061 HAS SOPS 5946199 HAS SOUS 1524017 HAS SOUPS 1435651 WITH SCORE 1442891.061
AT ITER 6945 NEW BEST:: SOT 11751148 SOS 7246014 HAS SOPS 5951195 HAS SOUS 1521865 HAS SOUPS 1433499 WITH SCORE 1440745.014
AT ITER 6952 NEW BEST:: SOT 11751529 SOS 7246374 HAS SOPS 5951623 HAS SOUS 1521754 HAS SOUPS 1433396 WITH SCORE 1440642.374
AT ITER 6959 NEW BEST:: SOT 11751507 SOS 7246544 HAS SOPS 5952097 HAS SOUS 1521412 HAS SOUPS 1433054 WITH SCORE 1440300.544
AT ITER 6960 NEW BEST:: SOT 11752407 SOS 7247444 HAS SOPS 5952341 HAS SOUS 1519956 HAS SOUPS 1431598 WITH SCORE 1438845.444
AT ITER 6977 NEW BEST:: SOT 11752285 SOS 7247207 HAS SOPS 5951768 HAS SOUS 1519823 HAS SOUPS 1431465 WITH SCORE 1438712.207
AT ITER 7007 NEW BEST:: SOT 11754142 SOS 7256704 HAS SOPS 5961336 HAS SOUS 1519540 HAS SOUPS 1431182 WITH SCORE 1438438.704
AT ITER 7014 NEW BEST:: SOT 11754118 SOS 7256680 HAS SOPS 5961312 HAS SOUS 1519516 HAS SOUPS 1431158 WITH SCORE 1438414.68
AT ITER 7031 NEW BEST:: SOT 11753547 SOS 7256054 HAS SOPS 5960606 HAS SOUS 1518954 HAS SOUPS 1430596 WITH SCORE 1437852.054
AT ITER 7074 NEW BEST:: SOT 11751452 SOS 7249654 HAS SOPS 5955004 HAS SOUS 1514377 HAS SOUPS 1426162 WITH SCORE 1433411.654
AT ITER 7096 NEW BEST:: SOT 11751203 SOS 7249457 HAS SOPS 5954750 HAS SOUS 1514232 HAS SOUPS 1425966 WITH SCORE 1433215.457
AT ITER 7146 NEW BEST:: SOT 11751637 SOS 7249617 HAS SOPS 5955758 HAS SOUS 1514013 HAS SOUPS 1425747 WITH SCORE 1432996.617
AT ITER 7157 NEW BEST:: SOT 11751151 SOS 7247799 HAS SOPS 5953780 HAS SOUS 1513616 HAS SOUPS 1425350 WITH SCORE 1432597.799
AT ITER 7176 NEW BEST:: SOT 11750251 SOS 7246849 HAS SOPS 5952426 HAS SOUS 1511842 HAS SOUPS 1423576 WITH SCORE 1430822.849
AT ITER 7200 NEW BEST:: SOT 11748751 SOS 7245237 HAS SOPS 5950622 HAS SOUS 1509902 HAS SOUPS 1421636 WITH SCORE 1428881.237
AT ITER 7207 NEW BEST:: SOT 11748349 SOS 7244616 HAS SOPS 5949948 HAS SOUS 1509025 HAS SOUPS 1420771 WITH SCORE 1428015.616
AT ITER 7249 NEW BEST:: SOT 11745620 SOS 7240265 HAS SOPS 5945668 HAS SOUS 1505817 HAS SOUPS 1417741 WITH SCORE 1424981.265
AT ITER 7349 NEW BEST:: SOT 11745200 SOS 7234749 HAS SOPS 5942237 HAS SOUS 1503737 HAS SOUPS 1416311 WITH SCORE 1423545.749
AT ITER 7355 NEW BEST:: SOT 11745235 SOS 7234902 HAS SOPS 5942119 HAS SOUS 1503717 HAS SOUPS 1416291 WITH SCORE 1423525.902
AT ITER 7358 NEW BEST:: SOT 11745475 SOS 7233960 HAS SOPS 5941969 HAS SOUS 1502312 HAS SOUPS 1414918 WITH SCORE 1422151.96
AT ITER 7367 NEW BEST:: SOT 11745125 SOS 7228108 HAS SOPS 5940813 HAS SOUS 1501101 HAS SOUPS 1413707 WITH SCORE 1420935.108
AT ITER 7377 NEW BEST:: SOT 11745270 SOS 7227678 HAS SOPS 5942786 HAS SOUS 1500976 HAS SOUPS 1413582 WITH SCORE 1420809.678
AT ITER 7388 NEW BEST:: SOT 11745370 SOS 7227818 HAS SOPS 5942331 HAS SOUS 1500393 HAS SOUPS 1412984 WITH SCORE 1420211.818
AT ITER 7401 NEW BEST:: SOT 11745059 SOS 7228109 HAS SOPS 5942471 HAS SOUS 1499538 HAS SOUPS 1412129 WITH SCORE 1419357.109
AT ITER 7402 NEW BEST:: SOT 11744883 SOS 7220738 HAS SOPS 5932839 HAS SOUS 1499358 HAS SOUPS 1411949 WITH SCORE 1419169.738
AT ITER 7406 NEW BEST:: SOT 11745081 SOS 7220936 HAS SOPS 5932957 HAS SOUS 1498892 HAS SOUPS 1411483 WITH SCORE 1418703.936
AT ITER 7410 NEW BEST:: SOT 11744659 SOS 7220514 HAS SOPS 5932535 HAS SOUS 1498710 HAS SOUPS 1411301 WITH SCORE 1418521.514
AT ITER 7426 NEW BEST:: SOT 11743943 SOS 7219764 HAS SOPS 5932034 HAS SOUS 1497941 HAS SOUPS 1410587 WITH SCORE 1417806.764
AT ITER 7430 NEW BEST:: SOT 11742853 SOS 7218674 HAS SOPS 5930960 HAS SOUS 1497639 HAS SOUPS 1410285 WITH SCORE 1417503.674
AT ITER 7433 NEW BEST:: SOT 11742657 SOS 7218479 HAS SOPS 5930927 HAS SOUS 1497566 HAS SOUPS 1410201 WITH SCORE 1417419.479
AT ITER 7442 NEW BEST:: SOT 11742638 SOS 7221813 HAS SOPS 5931239 HAS SOUS 1495773 HAS SOUPS 1408408 WITH SCORE 1415629.813
AT ITER 7493 NEW BEST:: SOT 11746351 SOS 7229070 HAS SOPS 5941069 HAS SOUS 1494713 HAS SOUPS 1407424 WITH SCORE 1414653.07
AT ITER 7500 NEW BEST:: SOT 11746337 SOS 7229172 HAS SOPS 5941173 HAS SOUS 1494703 HAS SOUPS 1407414 WITH SCORE 1414643.172
AT ITER 7507 NEW BEST:: SOT 11744323 SOS 7226533 HAS SOPS 5939907 HAS SOUS 1492770 HAS SOUPS 1405616 WITH SCORE 1412842.533
AT ITER 7520 NEW BEST:: SOT 11743803 SOS 7226597 HAS SOPS 5939557 HAS SOUS 1492664 HAS SOUPS 1405510 WITH SCORE 1412736.597
AT ITER 7534 NEW BEST:: SOT 11743665 SOS 7222995 HAS SOPS 5934919 HAS SOUS 1491051 HAS SOUPS 1403897 WITH SCORE 1411119.995
AT ITER 7568 NEW BEST:: SOT 11742348 SOS 7220498 HAS SOPS 5931482 HAS SOUS 1489560 HAS SOUPS 1402397 WITH SCORE 1409617.498
AT ITER 7601 NEW BEST:: SOT 11741573 SOS 7220639 HAS SOPS 5931113 HAS SOUS 1489106 HAS SOUPS 1401913 WITH SCORE 1409133.639
AT ITER 7613 NEW BEST:: SOT 11741438 SOS 7220488 HAS SOPS 5930886 HAS SOUS 1488863 HAS SOUPS 1401670 WITH SCORE 1408890.488
AT ITER 7620 NEW BEST:: SOT 11741545 SOS 7220605 HAS SOPS 5931057 HAS SOUS 1488324 HAS SOUPS 1401313 WITH SCORE 1408533.605
AT ITER 7657 NEW BEST:: SOT 11741764 SOS 7221244 HAS SOPS 5931025 HAS SOUS 1488105 HAS SOUPS 1401094 WITH SCORE 1408315.244
AT ITER 7660 NEW BEST:: SOT 11741682 SOS 7221249 HAS SOPS 5930985 HAS SOUS 1487846 HAS SOUPS 1400838 WITH SCORE 1408059.249
AT ITER 7679 NEW BEST:: SOT 11740865 SOS 7221219 HAS SOPS 5931043 HAS SOUS 1487698 HAS SOUPS 1400723 WITH SCORE 1407944.219
AT ITER 7736 NEW BEST:: SOT 11740473 SOS 7220277 HAS SOPS 5930592 HAS SOUS 1487323 HAS SOUPS 1400359 WITH SCORE 1407579.277
AT ITER 7746 NEW BEST:: SOT 11740035 SOS 7219347 HAS SOPS 5929728 HAS SOUS 1486792 HAS SOUPS 1399828 WITH SCORE 1407047.347
AT ITER 7760 NEW BEST:: SOT 11739180 SOS 7218461 HAS SOPS 5928602 HAS SOUS 1484948 HAS SOUPS 1397984 WITH SCORE 1405202.461
AT ITER 7771 NEW BEST:: SOT 11737898 SOS 7217159 HAS SOPS 5928324 HAS SOUS 1484178 HAS SOUPS 1397982 WITH SCORE 1405199.159
AT ITER 7823 NEW BEST:: SOT 11737178 SOS 7216543 HAS SOPS 5927508 HAS SOUS 1483925 HAS SOUPS 1397769 WITH SCORE 1404985.543
AT ITER 7886 NEW BEST:: SOT 11737406 SOS 7216876 HAS SOPS 5927580 HAS SOUS 1483710 HAS SOUPS 1397544 WITH SCORE 1404760.876
AT ITER 7888 NEW BEST:: SOT 11737535 SOS 7216299 HAS SOPS 5927104 HAS SOUS 1481921 HAS SOUPS 1395755 WITH SCORE 1402971.299
AT ITER 7909 NEW BEST:: SOT 11737252 SOS 7214127 HAS SOPS 5924879 HAS SOUS 1481270 HAS SOUPS 1395104 WITH SCORE 1402318.127
AT ITER 7926 NEW BEST:: SOT 11737223 SOS 7214301 HAS SOPS 5924613 HAS SOUS 1480861 HAS SOUPS 1394823 WITH SCORE 1402037.301
AT ITER 7927 NEW BEST:: SOT 11732301 SOS 7207647 HAS SOPS 5917458 HAS SOUS 1476232 HAS SOUPS 1390176 WITH SCORE 1397383.647
AT ITER 7929 NEW BEST:: SOT 11731121 SOS 7206037 HAS SOPS 5915917 HAS SOUS 1473510 HAS SOUPS 1387510 WITH SCORE 1394716.037
AT ITER 7933 NEW BEST:: SOT 11731036 SOS 7205697 HAS SOPS 5915595 HAS SOUS 1473159 HAS SOUPS 1387159 WITH SCORE 1394364.697
AT ITER 7935 NEW BEST:: SOT 11730904 SOS 7205460 HAS SOPS 5915268 HAS SOUS 1473054 HAS SOUPS 1387054 WITH SCORE 1394259.46
AT ITER 7942 NEW BEST:: SOT 11730880 SOS 7205517 HAS SOPS 5915298 HAS SOUS 1471914 HAS SOUPS 1385923 WITH SCORE 1393128.517
AT ITER 7944 NEW BEST:: SOT 11730313 SOS 7203366 HAS SOPS 5913858 HAS SOUS 1465933 HAS SOUPS 1379987 WITH SCORE 1387190.366
AT ITER 7961 NEW BEST:: SOT 11730289 SOS 7203342 HAS SOPS 5913850 HAS SOUS 1465813 HAS SOUPS 1379867 WITH SCORE 1387070.342
AT ITER 8070 NEW BEST:: SOT 11731126 SOS 7206071 HAS SOPS 5916390 HAS SOUS 1463573 HAS SOUPS 1377579 WITH SCORE 1384785.071
AT ITER 8079 NEW BEST:: SOT 11731090 SOS 7206035 HAS SOPS 5916322 HAS SOUS 1463081 HAS SOUPS 1377087 WITH SCORE 1384293.035
AT ITER 8081 NEW BEST:: SOT 11731533 SOS 7207061 HAS SOPS 5917037 HAS SOUS 1462885 HAS SOUPS 1376891 WITH SCORE 1384098.061
AT ITER 8100 NEW BEST:: SOT 11732352 SOS 7209096 HAS SOPS 5919100 HAS SOUS 1462488 HAS SOUPS 1376524 WITH SCORE 1383733.096
AT ITER 8112 NEW BEST:: SOT 11730649 SOS 7207393 HAS SOPS 5917301 HAS SOUS 1461877 HAS SOUPS 1375865 WITH SCORE 1383072.393
AT ITER 8134 NEW BEST:: SOT 11730712 SOS 7207311 HAS SOPS 5917491 HAS SOUS 1461810 HAS SOUPS 1375798 WITH SCORE 1383005.311
AT ITER 8149 NEW BEST:: SOT 11731405 SOS 7209958 HAS SOPS 5918010 HAS SOUS 1460108 HAS SOUPS 1374031 WITH SCORE 1381240.958
AT ITER 8160 NEW BEST:: SOT 11731429 SOS 7209441 HAS SOPS 5917588 HAS SOUS 1460033 HAS SOUPS 1373956 WITH SCORE 1381165.441
AT ITER 8168 NEW BEST:: SOT 11731277 SOS 7209289 HAS SOPS 5917308 HAS SOUS 1459377 HAS SOUPS 1373236 WITH SCORE 1380445.289
AT ITER 8183 NEW BEST:: SOT 11731253 SOS 7209185 HAS SOPS 5917236 HAS SOUS 1459311 HAS SOUPS 1373170 WITH SCORE 1380379.185
AT ITER 8185 NEW BEST:: SOT 11730276 SOS 7208390 HAS SOPS 5915328 HAS SOUS 1458320 HAS SOUPS 1372159 WITH SCORE 1379367.39
AT ITER 8189 NEW BEST:: SOT 11729509 SOS 7201974 HAS SOPS 5908212 HAS SOUS 1453337 HAS SOUPS 1367185 WITH SCORE 1374386.974
AT ITER 8213 NEW BEST:: SOT 11729859 SOS 7203073 HAS SOPS 5909937 HAS SOUS 1449976 HAS SOUPS 1363824 WITH SCORE 1371027.073
AT ITER 8254 NEW BEST:: SOT 11729928 SOS 7203909 HAS SOPS 5910497 HAS SOUS 1449943 HAS SOUPS 1363791 WITH SCORE 1370994.909
AT ITER 8263 NEW BEST:: SOT 11729895 SOS 7203876 HAS SOPS 5910464 HAS SOUS 1449878 HAS SOUPS 1363726 WITH SCORE 1370929.876
AT ITER 8288 NEW BEST:: SOT 11729597 SOS 7203623 HAS SOPS 5910404 HAS SOUS 1447850 HAS SOUPS 1361698 WITH SCORE 1368901.623
AT ITER 8314 NEW BEST:: SOT 11730020 SOS 7203224 HAS SOPS 5908969 HAS SOUS 1445255 HAS SOUPS 1359186 WITH SCORE 1366389.224
AT ITER 8339 NEW BEST:: SOT 11730212 SOS 7203397 HAS SOPS 5908925 HAS SOUS 1445092 HAS SOUPS 1359023 WITH SCORE 1366226.397
AT ITER 8400 NEW BEST:: SOT 11730072 SOS 7202667 HAS SOPS 5907887 HAS SOUS 1444655 HAS SOUPS 1358586 WITH SCORE 1365788.667
AT ITER 8437 NEW BEST:: SOT 11729064 SOS 7201575 HAS SOPS 5906795 HAS SOUS 1444319 HAS SOUPS 1358250 WITH SCORE 1365451.575
AT ITER 8450 NEW BEST:: SOT 11728319 SOS 7202135 HAS SOPS 5907170 HAS SOUS 1443916 HAS SOUPS 1357804 WITH SCORE 1365006.135
AT ITER 8477 NEW BEST:: SOT 11727909 SOS 7200445 HAS SOPS 5904403 HAS SOUS 1438549 HAS SOUPS 1352437 WITH SCORE 1359637.445
AT ITER 8487 NEW BEST:: SOT 11728162 SOS 7199823 HAS SOPS 5904458 HAS SOUS 1438297 HAS SOUPS 1352206 WITH SCORE 1359405.823
AT ITER 8540 NEW BEST:: SOT 11728143 SOS 7198970 HAS SOPS 5904237 HAS SOUS 1438084 HAS SOUPS 1351993 WITH SCORE 1359191.97
AT ITER 8549 NEW BEST:: SOT 11728151 SOS 7198763 HAS SOPS 5904015 HAS SOUS 1438077 HAS SOUPS 1351986 WITH SCORE 1359184.763
AT ITER 8565 NEW BEST:: SOT 11728053 SOS 7196495 HAS SOPS 5902995 HAS SOUS 1436554 HAS SOUPS 1350463 WITH SCORE 1357659.495
AT ITER 8589 NEW BEST:: SOT 11729397 SOS 7198439 HAS SOPS 5904363 HAS SOUS 1436520 HAS SOUPS 1350393 WITH SCORE 1357591.439
AT ITER 8640 NEW BEST:: SOT 11729525 SOS 7198690 HAS SOPS 5904531 HAS SOUS 1436425 HAS SOUPS 1350298 WITH SCORE 1357496.69
AT ITER 8643 NEW BEST:: SOT 11728884 SOS 7198049 HAS SOPS 5903890 HAS SOUS 1435296 HAS SOUPS 1349169 WITH SCORE 1356367.049
AT ITER 8648 NEW BEST:: SOT 11728206 SOS 7196631 HAS SOPS 5902628 HAS SOUS 1434755 HAS SOUPS 1348645 WITH SCORE 1355841.631
AT ITER 8662 NEW BEST:: SOT 11728785 SOS 7198886 HAS SOPS 5904731 HAS SOUS 1434638 HAS SOUPS 1348548 WITH SCORE 1355746.886
AT ITER 8674 NEW BEST:: SOT 11727669 SOS 7197671 HAS SOPS 5903479 HAS SOUS 1431565 HAS SOUPS 1345475 WITH SCORE 1352672.671
AT ITER 8684 NEW BEST:: SOT 11727839 SOS 7197712 HAS SOPS 5903810 HAS SOUS 1430769 HAS SOUPS 1344694 WITH SCORE 1351891.712
AT ITER 8691 NEW BEST:: SOT 11727597 SOS 7196896 HAS SOPS 5903162 HAS SOUS 1430354 HAS SOUPS 1344279 WITH SCORE 1351475.896
AT ITER 8704 NEW BEST:: SOT 11727335 SOS 7195809 HAS SOPS 5902459 HAS SOUS 1430336 HAS SOUPS 1344268 WITH SCORE 1351463.809
AT ITER 8724 NEW BEST:: SOT 11727073 SOS 7195544 HAS SOPS 5902146 HAS SOUS 1429790 HAS SOUPS 1343722 WITH SCORE 1350917.544
AT ITER 8729 NEW BEST:: SOT 11727089 SOS 7195803 HAS SOPS 5902249 HAS SOUS 1429419 HAS SOUPS 1343351 WITH SCORE 1350546.803
AT ITER 8747 NEW BEST:: SOT 11725528 SOS 7191621 HAS SOPS 5899072 HAS SOUS 1426888 HAS SOUPS 1341146 WITH SCORE 1348337.621
AT ITER 8751 NEW BEST:: SOT 11725492 SOS 7191587 HAS SOPS 5899045 HAS SOUS 1426880 HAS SOUPS 1341138 WITH SCORE 1348329.587
AT ITER 8781 NEW BEST:: SOT 11725548 SOS 7191627 HAS SOPS 5899077 HAS SOUS 1426834 HAS SOUPS 1341092 WITH SCORE 1348283.627
AT ITER 8801 NEW BEST:: SOT 11725601 SOS 7191348 HAS SOPS 5898976 HAS SOUS 1426755 HAS SOUPS 1341013 WITH SCORE 1348204.348
AT ITER 8824 NEW BEST:: SOT 11725973 SOS 7191892 HAS SOPS 5899317 HAS SOUS 1426353 HAS SOUPS 1340610 WITH SCORE 1347801.892
AT ITER 8829 NEW BEST:: SOT 11724596 SOS 7189087 HAS SOPS 5897400 HAS SOUS 1424724 HAS SOUPS 1338981 WITH SCORE 1346170.087
AT ITER 8840 NEW BEST:: SOT 11719953 SOS 7181719 HAS SOPS 5891437 HAS SOUS 1423909 HAS SOUPS 1338166 WITH SCORE 1345347.719
AT ITER 8883 NEW BEST:: SOT 11719848 SOS 7181587 HAS SOPS 5891218 HAS SOUS 1423793 HAS SOUPS 1338053 WITH SCORE 1345234.587
AT ITER 8913 NEW BEST:: SOT 11718358 SOS 7180737 HAS SOPS 5889336 HAS SOUS 1422530 HAS SOUPS 1336790 WITH SCORE 1343970.737
AT ITER 8916 NEW BEST:: SOT 11719042 SOS 7181957 HAS SOPS 5890409 HAS SOUS 1421450 HAS SOUPS 1335710 WITH SCORE 1342891.957
AT ITER 8994 NEW BEST:: SOT 11719106 SOS 7182096 HAS SOPS 5890603 HAS SOUS 1421343 HAS SOUPS 1335609 WITH SCORE 1342791.096
AT ITER 9039 NEW BEST:: SOT 11719100 SOS 7182092 HAS SOPS 5890598 HAS SOUS 1421330 HAS SOUPS 1335596 WITH SCORE 1342778.092
AT ITER 9044 NEW BEST:: SOT 11720721 SOS 7186801 HAS SOPS 5896123 HAS SOUS 1421257 HAS SOUPS 1335574 WITH SCORE 1342760.801
AT ITER 9129 NEW BEST:: SOT 11722565 SOS 7186480 HAS SOPS 5896032 HAS SOUS 1416704 HAS SOUPS 1331091 WITH SCORE 1338277.48
AT ITER 9159 NEW BEST:: SOT 11722154 SOS 7187145 HAS SOPS 5894185 HAS SOUS 1415161 HAS SOUPS 1329444 WITH SCORE 1336631.145
AT ITER 9190 NEW BEST:: SOT 11721928 SOS 7186834 HAS SOPS 5894007 HAS SOUS 1413941 HAS SOUPS 1328356 WITH SCORE 1335542.834
AT ITER 9198 NEW BEST:: SOT 11722354 SOS 7187671 HAS SOPS 5894626 HAS SOUS 1413508 HAS SOUPS 1327923 WITH SCORE 1335110.671
AT ITER 9221 NEW BEST:: SOT 11721290 SOS 7186607 HAS SOPS 5893578 HAS SOUS 1413208 HAS SOUPS 1327623 WITH SCORE 1334809.607
AT ITER 9231 NEW BEST:: SOT 11721222 SOS 7188570 HAS SOPS 5894545 HAS SOUS 1407172 HAS SOUPS 1321587 WITH SCORE 1328775.57
AT ITER 9235 NEW BEST:: SOT 11722074 SOS 7191157 HAS SOPS 5893247 HAS SOUS 1400298 HAS SOUPS 1314654 WITH SCORE 1321845.157
AT ITER 9268 NEW BEST:: SOT 11721839 SOS 7190820 HAS SOPS 5892910 HAS SOUS 1399820 HAS SOUPS 1314176 WITH SCORE 1321366.82
AT ITER 9285 NEW BEST:: SOT 11721987 SOS 7191448 HAS SOPS 5893258 HAS SOUS 1399576 HAS SOUPS 1313874 WITH SCORE 1321065.448
AT ITER 9288 NEW BEST:: SOT 11722708 SOS 7192958 HAS SOPS 5894411 HAS SOUS 1399067 HAS SOUPS 1313365 WITH SCORE 1320557.958
AT ITER 9293 NEW BEST:: SOT 11722125 SOS 7193145 HAS SOPS 5894207 HAS SOUS 1397834 HAS SOUPS 1312120 WITH SCORE 1319313.145
AT ITER 9345 NEW BEST:: SOT 11722089 SOS 7193273 HAS SOPS 5894401 HAS SOUS 1397823 HAS SOUPS 1312109 WITH SCORE 1319302.273
AT ITER 9414 NEW BEST:: SOT 11721960 SOS 7193150 HAS SOPS 5894173 HAS SOUS 1397592 HAS SOUPS 1311875 WITH SCORE 1319068.15
AT ITER 9428 NEW BEST:: SOT 11721928 SOS 7193102 HAS SOPS 5894125 HAS SOUS 1397556 HAS SOUPS 1311839 WITH SCORE 1319032.102
AT ITER 9434 NEW BEST:: SOT 11722387 SOS 7197503 HAS SOPS 5898212 HAS SOUS 1395509 HAS SOUPS 1309792 WITH SCORE 1316989.503
AT ITER 9440 NEW BEST:: SOT 11722166 SOS 7197383 HAS SOPS 5898164 HAS SOUS 1394744 HAS SOUPS 1309027 WITH SCORE 1316224.383
AT ITER 9456 NEW BEST:: SOT 11721402 SOS 7197752 HAS SOPS 5898249 HAS SOUS 1391893 HAS SOUPS 1306176 WITH SCORE 1313373.752
AT ITER 9474 NEW BEST:: SOT 11721386 SOS 7197736 HAS SOPS 5898233 HAS SOUS 1391893 HAS SOUPS 1306176 WITH SCORE 1313373.736
AT ITER 9507 NEW BEST:: SOT 11724982 SOS 7201379 HAS SOPS 5900100 HAS SOUS 1387733 HAS SOUPS 1302016 WITH SCORE 1309217.379
AT ITER 9588 NEW BEST:: SOT 11724753 SOS 7200962 HAS SOPS 5899185 HAS SOUS 1386076 HAS SOUPS 1300375 WITH SCORE 1307575.962
AT ITER 9627 NEW BEST:: SOT 11723742 SOS 7198591 HAS SOPS 5895733 HAS SOUS 1382693 HAS SOUPS 1296992 WITH SCORE 1304190.591
AT ITER 9672 NEW BEST:: SOT 11722291 SOS 7197061 HAS SOPS 5893209 HAS SOUS 1381786 HAS SOUPS 1296031 WITH SCORE 1303228.061
AT ITER 9702 NEW BEST:: SOT 11721819 SOS 7196589 HAS SOPS 5892561 HAS SOUS 1380842 HAS SOUPS 1295087 WITH SCORE 1302283.589
AT ITER 9746 NEW BEST:: SOT 11722763 SOS 7198259 HAS SOPS 5894450 HAS SOUS 1380113 HAS SOUPS 1294358 WITH SCORE 1301556.259
AT ITER 9751 NEW BEST:: SOT 11722228 SOS 7197771 HAS SOPS 5893752 HAS SOUS 1378433 HAS SOUPS 1292668 WITH SCORE 1299865.771
AT ITER 9760 NEW BEST:: SOT 11722187 SOS 7198661 HAS SOPS 5894068 HAS SOUS 1374039 HAS SOUPS 1288353 WITH SCORE 1295551.661
AT ITER 9764 NEW BEST:: SOT 11718301 SOS 7193553 HAS SOPS 5889821 HAS SOUS 1369388 HAS SOUPS 1283702 WITH SCORE 1290895.553
AT ITER 9774 NEW BEST:: SOT 11718141 SOS 7193544 HAS SOPS 5889542 HAS SOUS 1366966 HAS SOUPS 1281258 WITH SCORE 1288451.544
AT ITER 9779 NEW BEST:: SOT 11716371 SOS 7190644 HAS SOPS 5886095 HAS SOUS 1364134 HAS SOUPS 1278442 WITH SCORE 1285632.644
AT ITER 9806 NEW BEST:: SOT 11716140 SOS 7190434 HAS SOPS 5885843 HAS SOUS 1363742 HAS SOUPS 1278050 WITH SCORE 1285240.434
AT ITER 9818 NEW BEST:: SOT 11715668 SOS 7189946 HAS SOPS 5885163 HAS SOUS 1363286 HAS SOUPS 1277594 WITH SCORE 1284783.946
AT ITER 9911 NEW BEST:: SOT 11715110 SOS 7189624 HAS SOPS 5884953 HAS SOUS 1362102 HAS SOUPS 1276446 WITH SCORE 1283635.624
AT ITER 9931 NEW BEST:: SOT 11714385 SOS 7188842 HAS SOPS 5884652 HAS SOUS 1356117 HAS SOUPS 1270722 WITH SCORE 1277910.842
AT ITER 9934 NEW BEST:: SOT 11714487 SOS 7189636 HAS SOPS 5885205 HAS SOUS 1355742 HAS SOUPS 1270339 WITH SCORE 1277528.636
AT ITER 9938 NEW BEST:: SOT 11712699 SOS 7187927 HAS SOPS 5881429 HAS SOUS 1352032 HAS SOUPS 1266629 WITH SCORE 1273816.927
AT ITER 9941 NEW BEST:: SOT 11711353 SOS 7185182 HAS SOPS 5878663 HAS SOUS 1350243 HAS SOUPS 1264823 WITH SCORE 1272008.182
AT ITER 9942 NEW BEST:: SOT 11712653 SOS 7186656 HAS SOPS 5876761 HAS SOUS 1350177 HAS SOUPS 1264757 WITH SCORE 1271943.656
AT ITER 9972 NEW BEST:: SOT 11712653 SOS 7186938 HAS SOPS 5878531 HAS SOUS 1346135 HAS SOUPS 1260903 WITH SCORE 1268089.938
AT ITER 9998 NEW BEST:: SOT 11710181 SOS 7186721 HAS SOPS 5875830 HAS SOUS 1341811 HAS SOUPS 1256276 WITH SCORE 1263462.721

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-5"
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-5, 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-158961502300040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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