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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:34 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 1589693440520

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 9
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 5 NEW BEST:: SOT 12196576 SOS 7751227 HAS SOPS 6420263 HAS SOUS 3040717 HAS SOUPS 2940227 WITH SCORE 2947978.227
AT ITER 8 NEW BEST:: SOT 12197618 SOS 7753623 HAS SOPS 6422190 HAS SOUS 3032233 HAS SOUPS 2931687 WITH SCORE 2939440.623
AT ITER 16 NEW BEST:: SOT 12197609 SOS 7753684 HAS SOPS 6422280 HAS SOUS 3032219 HAS SOUPS 2931673 WITH SCORE 2939426.684
AT ITER 19 NEW BEST:: SOT 12197456 SOS 7752394 HAS SOPS 6422267 HAS SOUS 3031756 HAS SOUPS 2931210 WITH SCORE 2938962.394
AT ITER 21 NEW BEST:: SOT 12195843 SOS 7748888 HAS SOPS 6420715 HAS SOUS 3030147 HAS SOUPS 2929601 WITH SCORE 2937349.888
AT ITER 25 NEW BEST:: SOT 12195405 SOS 7751990 HAS SOPS 6427107 HAS SOUS 3025972 HAS SOUPS 2925843 WITH SCORE 2933594.99
AT ITER 55 NEW BEST:: SOT 12194031 SOS 7749849 HAS SOPS 6425286 HAS SOUS 3019729 HAS SOUPS 2919646 WITH SCORE 2927395.849
AT ITER 56 NEW BEST:: SOT 12194433 SOS 7749172 HAS SOPS 6425044 HAS SOUS 3019646 HAS SOUPS 2919563 WITH SCORE 2927312.172
AT ITER 61 NEW BEST:: SOT 12193561 SOS 7748300 HAS SOPS 6424172 HAS SOUS 3018774 HAS SOUPS 2918691 WITH SCORE 2926439.3
AT ITER 63 NEW BEST:: SOT 12197373 SOS 7759937 HAS SOPS 6435570 HAS SOUS 3018175 HAS SOUPS 2918092 WITH SCORE 2925851.937
AT ITER 64 NEW BEST:: SOT 12197411 SOS 7761228 HAS SOPS 6435568 HAS SOUS 3015858 HAS SOUPS 2915773 WITH SCORE 2923534.228
AT ITER 80 NEW BEST:: SOT 12193268 SOS 7757269 HAS SOPS 6431512 HAS SOUS 3012314 HAS SOUPS 2912155 WITH SCORE 2919912.269
AT ITER 83 NEW BEST:: SOT 12192550 SOS 7756535 HAS SOPS 6430268 HAS SOUS 3010647 HAS SOUPS 2910188 WITH SCORE 2917944.535
AT ITER 86 NEW BEST:: SOT 12178223 SOS 7739849 HAS SOPS 6411829 HAS SOUS 2982616 HAS SOUPS 2882510 WITH SCORE 2890249.849
AT ITER 88 NEW BEST:: SOT 12168411 SOS 7728715 HAS SOPS 6400663 HAS SOUS 2970834 HAS SOUPS 2870728 WITH SCORE 2878456.715
AT ITER 92 NEW BEST:: SOT 12169902 SOS 7730173 HAS SOPS 6406075 HAS SOUS 2970798 HAS SOUPS 2870692 WITH SCORE 2878422.173
AT ITER 97 NEW BEST:: SOT 12170186 SOS 7728569 HAS SOPS 6411485 HAS SOUS 2965409 HAS SOUPS 2865973 WITH SCORE 2873701.569
AT ITER 99 NEW BEST:: SOT 12164295 SOS 7722623 HAS SOPS 6405498 HAS SOUS 2959443 HAS SOUPS 2859993 WITH SCORE 2867715.623
AT ITER 101 NEW BEST:: SOT 12169888 SOS 7737050 HAS SOPS 6418466 HAS SOUS 2958338 HAS SOUPS 2858864 WITH SCORE 2866601.05
AT ITER 107 NEW BEST:: SOT 12172183 SOS 7743931 HAS SOPS 6426236 HAS SOUS 2956992 HAS SOUPS 2857518 WITH SCORE 2865261.931
AT ITER 122 NEW BEST:: SOT 12171077 SOS 7740775 HAS SOPS 6424425 HAS SOUS 2956647 HAS SOUPS 2857173 WITH SCORE 2864913.775
AT ITER 130 NEW BEST:: SOT 12171028 SOS 7740834 HAS SOPS 6426342 HAS SOUS 2955418 HAS SOUPS 2855944 WITH SCORE 2863684.834
AT ITER 132 NEW BEST:: SOT 12165383 SOS 7730745 HAS SOPS 6417836 HAS SOUS 2944721 HAS SOUPS 2845247 WITH SCORE 2852977.745
AT ITER 135 NEW BEST:: SOT 12168127 SOS 7742054 HAS SOPS 6427817 HAS SOUS 2942266 HAS SOUPS 2842792 WITH SCORE 2850534.054
AT ITER 142 NEW BEST:: SOT 12165884 SOS 7739091 HAS SOPS 6426010 HAS SOUS 2939236 HAS SOUPS 2839810 WITH SCORE 2847549.091
AT ITER 176 NEW BEST:: SOT 12162702 SOS 7735909 HAS SOPS 6422828 HAS SOUS 2935918 HAS SOUPS 2836492 WITH SCORE 2844227.909
AT ITER 184 NEW BEST:: SOT 12163094 SOS 7740527 HAS SOPS 6435801 HAS SOUS 2933535 HAS SOUPS 2834109 WITH SCORE 2841849.527
AT ITER 185 NEW BEST:: SOT 12161371 SOS 7739514 HAS SOPS 6437301 HAS SOUS 2927474 HAS SOUPS 2828048 WITH SCORE 2835787.514
AT ITER 202 NEW BEST:: SOT 12163184 SOS 7739914 HAS SOPS 6437687 HAS SOUS 2925969 HAS SOUPS 2827328 WITH SCORE 2835067.914
AT ITER 216 NEW BEST:: SOT 12164546 SOS 7742200 HAS SOPS 6440490 HAS SOUS 2925464 HAS SOUPS 2826919 WITH SCORE 2834661.2
AT ITER 219 NEW BEST:: SOT 12201790 SOS 7766518 HAS SOPS 6464371 HAS SOUS 2921155 HAS SOUPS 2821553 WITH SCORE 2829319.518
AT ITER 227 NEW BEST:: SOT 12205209 SOS 7777587 HAS SOPS 6472463 HAS SOUS 2920093 HAS SOUPS 2820491 WITH SCORE 2828268.587
AT ITER 234 NEW BEST:: SOT 12205181 SOS 7777853 HAS SOPS 6472689 HAS SOUS 2919978 HAS SOUPS 2820372 WITH SCORE 2828149.853
AT ITER 242 NEW BEST:: SOT 12202693 SOS 7775365 HAS SOPS 6470201 HAS SOUS 2917346 HAS SOUPS 2817740 WITH SCORE 2825515.365
AT ITER 244 NEW BEST:: SOT 12202147 SOS 7774804 HAS SOPS 6469325 HAS SOUS 2915789 HAS SOUPS 2816183 WITH SCORE 2823957.804
AT ITER 265 NEW BEST:: SOT 12202762 SOS 7776033 HAS SOPS 6472505 HAS SOUS 2915529 HAS SOUPS 2815860 WITH SCORE 2823636.033
AT ITER 267 NEW BEST:: SOT 12197868 SOS 7771114 HAS SOPS 6467567 HAS SOUS 2910582 HAS SOUPS 2810894 WITH SCORE 2818665.114
AT ITER 293 NEW BEST:: SOT 12197864 SOS 7771106 HAS SOPS 6467559 HAS SOUS 2910574 HAS SOUPS 2810886 WITH SCORE 2818657.106
AT ITER 300 NEW BEST:: SOT 12197513 SOS 7772765 HAS SOPS 6467081 HAS SOUS 2904672 HAS SOUPS 2804984 WITH SCORE 2812756.765
AT ITER 301 NEW BEST:: SOT 12196603 SOS 7771832 HAS SOPS 6465623 HAS SOUS 2901968 HAS SOUPS 2802190 WITH SCORE 2809961.832
AT ITER 314 NEW BEST:: SOT 12196580 SOS 7771797 HAS SOPS 6465600 HAS SOUS 2901906 HAS SOUPS 2802128 WITH SCORE 2809899.797
AT ITER 316 NEW BEST:: SOT 12198628 SOS 7773713 HAS SOPS 6465840 HAS SOUS 2899402 HAS SOUPS 2799891 WITH SCORE 2807664.713
AT ITER 321 NEW BEST:: SOT 12186944 SOS 7761552 HAS SOPS 6453814 HAS SOUS 2886394 HAS SOUPS 2786970 WITH SCORE 2794731.552
AT ITER 322 NEW BEST:: SOT 12186620 SOS 7762225 HAS SOPS 6456110 HAS SOUS 2883779 HAS SOUPS 2784355 WITH SCORE 2792117.225
AT ITER 327 NEW BEST:: SOT 12176622 SOS 7754631 HAS SOPS 6440676 HAS SOUS 2862147 HAS SOUPS 2762536 WITH SCORE 2770290.631
AT ITER 330 NEW BEST:: SOT 12176599 SOS 7754526 HAS SOPS 6440614 HAS SOUS 2862145 HAS SOUPS 2762534 WITH SCORE 2770288.526
AT ITER 339 NEW BEST:: SOT 12187122 SOS 7778941 HAS SOPS 6453344 HAS SOUS 2845652 HAS SOUPS 2745978 WITH SCORE 2753756.941
AT ITER 350 NEW BEST:: SOT 12186417 SOS 7779324 HAS SOPS 6456165 HAS SOUS 2837117 HAS SOUPS 2738519 WITH SCORE 2746298.324
AT ITER 358 NEW BEST:: SOT 12179624 SOS 7769270 HAS SOPS 6447949 HAS SOUS 2820970 HAS SOUPS 2722527 WITH SCORE 2730296.27
AT ITER 363 NEW BEST:: SOT 12173571 SOS 7762894 HAS SOPS 6444973 HAS SOUS 2820740 HAS SOUPS 2722438 WITH SCORE 2730200.894
AT ITER 368 NEW BEST:: SOT 12167781 SOS 7751998 HAS SOPS 6437523 HAS SOUS 2810513 HAS SOUPS 2713715 WITH SCORE 2721466.998
AT ITER 371 NEW BEST:: SOT 12167781 SOS 7751990 HAS SOPS 6437515 HAS SOUS 2810491 HAS SOUPS 2713693 WITH SCORE 2721444.99
AT ITER 372 NEW BEST:: SOT 12165556 SOS 7749873 HAS SOPS 6434735 HAS SOUS 2808778 HAS SOUPS 2711721 WITH SCORE 2719470.873
AT ITER 399 NEW BEST:: SOT 12163003 SOS 7747628 HAS SOPS 6433091 HAS SOUS 2803175 HAS SOUPS 2706224 WITH SCORE 2713971.628
AT ITER 403 NEW BEST:: SOT 12162830 SOS 7747479 HAS SOPS 6432993 HAS SOUS 2802357 HAS SOUPS 2705457 WITH SCORE 2713204.479
AT ITER 407 NEW BEST:: SOT 12160385 SOS 7740126 HAS SOPS 6426934 HAS SOUS 2801477 HAS SOUPS 2704577 WITH SCORE 2712317.126
AT ITER 408 NEW BEST:: SOT 12160137 SOS 7739190 HAS SOPS 6426792 HAS SOUS 2801117 HAS SOUPS 2704237 WITH SCORE 2711976.19
AT ITER 422 NEW BEST:: SOT 12158848 SOS 7737945 HAS SOPS 6424887 HAS SOUS 2800194 HAS SOUPS 2703013 WITH SCORE 2710750.945
AT ITER 453 NEW BEST:: SOT 12158039 SOS 7737666 HAS SOPS 6423244 HAS SOUS 2796510 HAS SOUPS 2699329 WITH SCORE 2707066.666
AT ITER 456 NEW BEST:: SOT 12155607 SOS 7733533 HAS SOPS 6420091 HAS SOUS 2794399 HAS SOUPS 2697218 WITH SCORE 2704951.533
AT ITER 465 NEW BEST:: SOT 12154926 SOS 7730702 HAS SOPS 6414762 HAS SOUS 2794285 HAS SOUPS 2697104 WITH SCORE 2704834.702
AT ITER 474 NEW BEST:: SOT 12153511 SOS 7728055 HAS SOPS 6413587 HAS SOUS 2790321 HAS SOUPS 2693140 WITH SCORE 2700868.055
AT ITER 477 NEW BEST:: SOT 12154033 SOS 7728685 HAS SOPS 6413925 HAS SOUS 2790153 HAS SOUPS 2693014 WITH SCORE 2700742.685
AT ITER 478 NEW BEST:: SOT 12149071 SOS 7720190 HAS SOPS 6412647 HAS SOUS 2788768 HAS SOUPS 2691762 WITH SCORE 2699482.19
AT ITER 479 NEW BEST:: SOT 12142813 SOS 7713987 HAS SOPS 6405868 HAS SOUS 2781702 HAS SOUPS 2684696 WITH SCORE 2692409.987
AT ITER 483 NEW BEST:: SOT 12138139 SOS 7709313 HAS SOPS 6401194 HAS SOUS 2777812 HAS SOUPS 2680806 WITH SCORE 2688515.313
AT ITER 495 NEW BEST:: SOT 12140769 SOS 7714372 HAS SOPS 6408801 HAS SOUS 2775498 HAS SOUPS 2679308 WITH SCORE 2687022.372
AT ITER 500 NEW BEST:: SOT 12140606 SOS 7714446 HAS SOPS 6409322 HAS SOUS 2772592 HAS SOUPS 2676160 WITH SCORE 2683874.446
AT ITER 533 NEW BEST:: SOT 12140897 SOS 7716635 HAS SOPS 6411850 HAS SOUS 2772066 HAS SOUPS 2675634 WITH SCORE 2683350.635
AT ITER 535 NEW BEST:: SOT 12141964 SOS 7723261 HAS SOPS 6418618 HAS SOUS 2761349 HAS SOUPS 2665080 WITH SCORE 2672803.261
AT ITER 539 NEW BEST:: SOT 12141825 SOS 7722702 HAS SOPS 6418139 HAS SOUS 2761214 HAS SOUPS 2664945 WITH SCORE 2672667.702
AT ITER 541 NEW BEST:: SOT 12146535 SOS 7729579 HAS SOPS 6425418 HAS SOUS 2757241 HAS SOUPS 2660972 WITH SCORE 2668701.579
AT ITER 562 NEW BEST:: SOT 12146534 SOS 7729550 HAS SOPS 6425387 HAS SOUS 2757238 HAS SOUPS 2660969 WITH SCORE 2668698.55
AT ITER 580 NEW BEST:: SOT 12145969 SOS 7729489 HAS SOPS 6424139 HAS SOUS 2753881 HAS SOUPS 2657562 WITH SCORE 2665291.489
AT ITER 590 NEW BEST:: SOT 12129353 SOS 7712825 HAS SOPS 6406147 HAS SOUS 2733073 HAS SOUPS 2636562 WITH SCORE 2644274.825
AT ITER 592 NEW BEST:: SOT 12128213 SOS 7711893 HAS SOPS 6404911 HAS SOUS 2730114 HAS SOUPS 2633587 WITH SCORE 2641298.893
AT ITER 596 NEW BEST:: SOT 12127909 SOS 7712355 HAS SOPS 6406902 HAS SOUS 2729960 HAS SOUPS 2633433 WITH SCORE 2641145.355
AT ITER 600 NEW BEST:: SOT 12126606 SOS 7710009 HAS SOPS 6402732 HAS SOUS 2726044 HAS SOUPS 2629567 WITH SCORE 2637277.009
AT ITER 606 NEW BEST:: SOT 12122817 SOS 7704827 HAS SOPS 6397195 HAS SOUS 2717502 HAS SOUPS 2621114 WITH SCORE 2628818.827
AT ITER 612 NEW BEST:: SOT 12123323 SOS 7705978 HAS SOPS 6396523 HAS SOUS 2717217 HAS SOUPS 2620829 WITH SCORE 2628534.978
AT ITER 626 NEW BEST:: SOT 12123272 SOS 7707144 HAS SOPS 6400388 HAS SOUS 2716449 HAS SOUPS 2620061 WITH SCORE 2627768.144
AT ITER 632 NEW BEST:: SOT 12123177 SOS 7707135 HAS SOPS 6400324 HAS SOUS 2716378 HAS SOUPS 2619985 WITH SCORE 2627692.135
AT ITER 638 NEW BEST:: SOT 12124835 SOS 7708795 HAS SOPS 6401562 HAS SOUS 2716576 HAS SOUPS 2619761 WITH SCORE 2627469.795
AT ITER 642 NEW BEST:: SOT 12124376 SOS 7709330 HAS SOPS 6401707 HAS SOUS 2713969 HAS SOUPS 2617154 WITH SCORE 2624863.33
AT ITER 643 NEW BEST:: SOT 12123870 SOS 7706561 HAS SOPS 6400164 HAS SOUS 2713339 HAS SOUPS 2616524 WITH SCORE 2624230.561
AT ITER 647 NEW BEST:: SOT 12121806 SOS 7703921 HAS SOPS 6397497 HAS SOUS 2707793 HAS SOUPS 2610994 WITH SCORE 2618697.921
AT ITER 664 NEW BEST:: SOT 12123897 SOS 7706108 HAS SOPS 6399560 HAS SOUS 2707030 HAS SOUPS 2610632 WITH SCORE 2618338.108
AT ITER 667 NEW BEST:: SOT 12123880 SOS 7706091 HAS SOPS 6399579 HAS SOUS 2707011 HAS SOUPS 2610613 WITH SCORE 2618319.091
AT ITER 677 NEW BEST:: SOT 12122063 SOS 7702812 HAS SOPS 6396090 HAS SOUS 2704640 HAS SOUPS 2608274 WITH SCORE 2615976.812
AT ITER 678 NEW BEST:: SOT 12123125 SOS 7694267 HAS SOPS 6399381 HAS SOUS 2699629 HAS SOUPS 2603451 WITH SCORE 2611145.267
AT ITER 698 NEW BEST:: SOT 12123322 SOS 7694574 HAS SOPS 6399861 HAS SOUS 2698798 HAS SOUPS 2602620 WITH SCORE 2610314.574
AT ITER 701 NEW BEST:: SOT 12122583 SOS 7693387 HAS SOPS 6398096 HAS SOUS 2696878 HAS SOUPS 2600700 WITH SCORE 2608393.387
AT ITER 711 NEW BEST:: SOT 12121425 SOS 7691997 HAS SOPS 6396362 HAS SOUS 2694584 HAS SOUPS 2598414 WITH SCORE 2606105.997
AT ITER 714 NEW BEST:: SOT 12122492 SOS 7674361 HAS SOPS 6386421 HAS SOUS 2693019 HAS SOUPS 2596974 WITH SCORE 2604648.361
AT ITER 720 NEW BEST:: SOT 12124000 SOS 7675555 HAS SOPS 6387880 HAS SOUS 2691096 HAS SOUPS 2595105 WITH SCORE 2602780.555
AT ITER 727 NEW BEST:: SOT 12122759 SOS 7674602 HAS SOPS 6387318 HAS SOUS 2689999 HAS SOUPS 2594008 WITH SCORE 2601682.602
AT ITER 734 NEW BEST:: SOT 12123120 SOS 7676655 HAS SOPS 6389224 HAS SOUS 2689130 HAS SOUPS 2593154 WITH SCORE 2600830.655
AT ITER 741 NEW BEST:: SOT 12122125 SOS 7675038 HAS SOPS 6385668 HAS SOUS 2680727 HAS SOUPS 2584875 WITH SCORE 2592550.038
AT ITER 761 NEW BEST:: SOT 12109640 SOS 7637293 HAS SOPS 6355242 HAS SOUS 2673573 HAS SOUPS 2578481 WITH SCORE 2586118.293
AT ITER 766 NEW BEST:: SOT 12110136 SOS 7636890 HAS SOPS 6354940 HAS SOUS 2673100 HAS SOUPS 2578008 WITH SCORE 2585644.89
AT ITER 786 NEW BEST:: SOT 12109805 SOS 7636692 HAS SOPS 6354747 HAS SOUS 2671844 HAS SOUPS 2576752 WITH SCORE 2584388.692
AT ITER 788 NEW BEST:: SOT 12106035 SOS 7635121 HAS SOPS 6348492 HAS SOUS 2658660 HAS SOUPS 2563568 WITH SCORE 2571203.121
AT ITER 791 NEW BEST:: SOT 12105098 SOS 7633650 HAS SOPS 6347084 HAS SOUS 2657673 HAS SOUPS 2562590 WITH SCORE 2570223.65
AT ITER 792 NEW BEST:: SOT 12103322 SOS 7634560 HAS SOPS 6348027 HAS SOUS 2655406 HAS SOUPS 2560323 WITH SCORE 2567957.56
AT ITER 796 NEW BEST:: SOT 12103679 SOS 7635403 HAS SOPS 6348691 HAS SOUS 2655259 HAS SOUPS 2560176 WITH SCORE 2567811.403
AT ITER 809 NEW BEST:: SOT 12103902 SOS 7635396 HAS SOPS 6349303 HAS SOUS 2653651 HAS SOUPS 2559492 WITH SCORE 2567127.396
AT ITER 831 NEW BEST:: SOT 12105973 SOS 7641596 HAS SOPS 6353433 HAS SOUS 2652582 HAS SOUPS 2558423 WITH SCORE 2566064.596
AT ITER 833 NEW BEST:: SOT 12107545 SOS 7649106 HAS SOPS 6360987 HAS SOUS 2650484 HAS SOUPS 2556325 WITH SCORE 2563974.106
AT ITER 834 NEW BEST:: SOT 12106617 SOS 7648178 HAS SOPS 6359483 HAS SOUS 2647428 HAS SOUPS 2553269 WITH SCORE 2560917.178
AT ITER 837 NEW BEST:: SOT 12107232 SOS 7650517 HAS SOPS 6361422 HAS SOUS 2647188 HAS SOUPS 2553029 WITH SCORE 2560679.517
AT ITER 853 NEW BEST:: SOT 12107269 SOS 7651110 HAS SOPS 6361378 HAS SOUS 2646021 HAS SOUPS 2551862 WITH SCORE 2559513.11
AT ITER 861 NEW BEST:: SOT 12106121 SOS 7650303 HAS SOPS 6361317 HAS SOUS 2644113 HAS SOUPS 2549981 WITH SCORE 2557631.303
AT ITER 874 NEW BEST:: SOT 12105275 SOS 7649270 HAS SOPS 6358729 HAS SOUS 2639947 HAS SOUPS 2545809 WITH SCORE 2553458.27
AT ITER 876 NEW BEST:: SOT 12099763 SOS 7643741 HAS SOPS 6352224 HAS SOUS 2630115 HAS SOUPS 2535945 WITH SCORE 2543588.741
AT ITER 895 NEW BEST:: SOT 12100164 SOS 7644273 HAS SOPS 6352326 HAS SOUS 2629346 HAS SOUPS 2535176 WITH SCORE 2542820.273
AT ITER 897 NEW BEST:: SOT 12100348 SOS 7644457 HAS SOPS 6352238 HAS SOUS 2627438 HAS SOUPS 2533268 WITH SCORE 2540912.457
AT ITER 907 NEW BEST:: SOT 12107178 SOS 7646004 HAS SOPS 6353511 HAS SOUS 2624434 HAS SOUPS 2530473 WITH SCORE 2538119.004
AT ITER 917 NEW BEST:: SOT 12107006 SOS 7645883 HAS SOPS 6353169 HAS SOUS 2623850 HAS SOUPS 2529929 WITH SCORE 2537574.883
AT ITER 921 NEW BEST:: SOT 12102981 SOS 7641608 HAS SOPS 6347285 HAS SOUS 2614478 HAS SOUPS 2520557 WITH SCORE 2528198.608
AT ITER 924 NEW BEST:: SOT 12100188 SOS 7630778 HAS SOPS 6339541 HAS SOUS 2611396 HAS SOUPS 2517661 WITH SCORE 2525291.778
AT ITER 934 NEW BEST:: SOT 12099861 SOS 7630474 HAS SOPS 6339446 HAS SOUS 2610772 HAS SOUPS 2517037 WITH SCORE 2524667.474
AT ITER 941 NEW BEST:: SOT 12097656 SOS 7628137 HAS SOPS 6337269 HAS SOUS 2609717 HAS SOUPS 2515982 WITH SCORE 2523610.137
AT ITER 960 NEW BEST:: SOT 12097278 SOS 7627505 HAS SOPS 6336713 HAS SOUS 2608879 HAS SOUPS 2515168 WITH SCORE 2522795.505
AT ITER 962 NEW BEST:: SOT 12098501 SOS 7632562 HAS SOPS 6338229 HAS SOUS 2607253 HAS SOUPS 2513542 WITH SCORE 2521174.562
AT ITER 978 NEW BEST:: SOT 12112587 SOS 7640668 HAS SOPS 6357790 HAS SOUS 2603568 HAS SOUPS 2510249 WITH SCORE 2517889.668
AT ITER 982 NEW BEST:: SOT 12112870 SOS 7642390 HAS SOPS 6359579 HAS SOUS 2603516 HAS SOUPS 2510197 WITH SCORE 2517839.39
AT ITER 991 NEW BEST:: SOT 12102389 SOS 7631506 HAS SOPS 6348674 HAS SOUS 2591118 HAS SOUPS 2497851 WITH SCORE 2505482.506
AT ITER 993 NEW BEST:: SOT 12098389 SOS 7622477 HAS SOPS 6339998 HAS SOUS 2587067 HAS SOUPS 2493800 WITH SCORE 2501422.477
AT ITER 999 NEW BEST:: SOT 12099469 SOS 7625699 HAS SOPS 6338039 HAS SOUS 2582876 HAS SOUPS 2489609 WITH SCORE 2497234.699
AT ITER 1006 NEW BEST:: SOT 12097393 SOS 7624677 HAS SOPS 6336674 HAS SOUS 2583936 HAS SOUPS 2487928 WITH SCORE 2495552.677
AT ITER 1008 NEW BEST:: SOT 12096487 SOS 7623815 HAS SOPS 6334945 HAS SOUS 2581936 HAS SOUPS 2485899 WITH SCORE 2493522.815
AT ITER 1015 NEW BEST:: SOT 12101653 SOS 7638927 HAS SOPS 6348669 HAS SOUS 2571555 HAS SOUPS 2475518 WITH SCORE 2483156.927
AT ITER 1020 NEW BEST:: SOT 12100567 SOS 7637494 HAS SOPS 6346704 HAS SOUS 2568638 HAS SOUPS 2472601 WITH SCORE 2480238.494
AT ITER 1029 NEW BEST:: SOT 12093101 SOS 7625563 HAS SOPS 6340497 HAS SOUS 2551959 HAS SOUPS 2456127 WITH SCORE 2463752.563
AT ITER 1047 NEW BEST:: SOT 12093029 SOS 7625489 HAS SOPS 6340391 HAS SOUS 2551759 HAS SOUPS 2455927 WITH SCORE 2463552.489
AT ITER 1050 NEW BEST:: SOT 12092524 SOS 7626028 HAS SOPS 6342297 HAS SOUS 2549809 HAS SOUPS 2453977 WITH SCORE 2461603.028
AT ITER 1057 NEW BEST:: SOT 12087982 SOS 7619867 HAS SOPS 6336295 HAS SOUS 2540572 HAS SOUPS 2444779 WITH SCORE 2452398.867
AT ITER 1068 NEW BEST:: SOT 12087772 SOS 7622246 HAS SOPS 6337909 HAS SOUS 2536873 HAS SOUPS 2441080 WITH SCORE 2448702.246
AT ITER 1089 NEW BEST:: SOT 12084788 SOS 7616374 HAS SOPS 6332096 HAS SOUS 2531778 HAS SOUPS 2435985 WITH SCORE 2443601.374
AT ITER 1091 NEW BEST:: SOT 12087578 SOS 7621833 HAS SOPS 6336665 HAS SOUS 2530641 HAS SOUPS 2434848 WITH SCORE 2442469.833
AT ITER 1093 NEW BEST:: SOT 12087481 SOS 7621793 HAS SOPS 6336390 HAS SOUS 2530193 HAS SOUPS 2434400 WITH SCORE 2442021.793
AT ITER 1108 NEW BEST:: SOT 12083778 SOS 7613761 HAS SOPS 6332031 HAS SOUS 2527899 HAS SOUPS 2432249 WITH SCORE 2439862.761
AT ITER 1117 NEW BEST:: SOT 12082757 SOS 7612656 HAS SOPS 6331427 HAS SOUS 2527162 HAS SOUPS 2431512 WITH SCORE 2439124.656
AT ITER 1123 NEW BEST:: SOT 12079883 SOS 7604161 HAS SOPS 6326396 HAS SOUS 2526942 HAS SOUPS 2431294 WITH SCORE 2438898.161
AT ITER 1127 NEW BEST:: SOT 12078127 SOS 7596548 HAS SOPS 6320319 HAS SOUS 2525126 HAS SOUPS 2429534 WITH SCORE 2437130.548
AT ITER 1138 NEW BEST:: SOT 12075675 SOS 7593971 HAS SOPS 6317804 HAS SOUS 2520085 HAS SOUPS 2424517 WITH SCORE 2432110.971
AT ITER 1144 NEW BEST:: SOT 12075623 SOS 7594219 HAS SOPS 6317836 HAS SOUS 2519493 HAS SOUPS 2423913 WITH SCORE 2431507.219
AT ITER 1159 NEW BEST:: SOT 12083831 SOS 7608129 HAS SOPS 6332116 HAS SOUS 2517136 HAS SOUPS 2421782 WITH SCORE 2429390.129
AT ITER 1178 NEW BEST:: SOT 12081797 SOS 7605044 HAS SOPS 6330902 HAS SOUS 2516771 HAS SOUPS 2421417 WITH SCORE 2429022.044
AT ITER 1184 NEW BEST:: SOT 12081035 SOS 7604592 HAS SOPS 6330888 HAS SOUS 2515651 HAS SOUPS 2420297 WITH SCORE 2427901.592
AT ITER 1209 NEW BEST:: SOT 12085365 SOS 7609073 HAS SOPS 6334238 HAS SOUS 2514684 HAS SOUPS 2419355 WITH SCORE 2426964.073
AT ITER 1214 NEW BEST:: SOT 12084032 SOS 7617146 HAS SOPS 6343823 HAS SOUS 2510644 HAS SOUPS 2415315 WITH SCORE 2422932.146
AT ITER 1219 NEW BEST:: SOT 12083127 SOS 7617606 HAS SOPS 6342723 HAS SOUS 2504512 HAS SOUPS 2409183 WITH SCORE 2416800.606
AT ITER 1225 NEW BEST:: SOT 12083423 SOS 7619059 HAS SOPS 6343151 HAS SOUS 2504022 HAS SOUPS 2408676 WITH SCORE 2416295.059
AT ITER 1234 NEW BEST:: SOT 12084074 SOS 7620073 HAS SOPS 6344226 HAS SOUS 2501920 HAS SOUPS 2406574 WITH SCORE 2414194.073
AT ITER 1236 NEW BEST:: SOT 12082654 SOS 7613811 HAS SOPS 6339934 HAS SOUS 2500557 HAS SOUPS 2405417 WITH SCORE 2413030.811
AT ITER 1239 NEW BEST:: SOT 12080561 SOS 7608718 HAS SOPS 6335295 HAS SOUS 2496829 HAS SOUPS 2401689 WITH SCORE 2409297.718
AT ITER 1245 NEW BEST:: SOT 12079947 SOS 7608154 HAS SOPS 6333695 HAS SOUS 2493403 HAS SOUPS 2398441 WITH SCORE 2406049.154
AT ITER 1248 NEW BEST:: SOT 12080302 SOS 7609166 HAS SOPS 6334855 HAS SOUS 2492793 HAS SOUPS 2397784 WITH SCORE 2405393.166
AT ITER 1251 NEW BEST:: SOT 12080597 SOS 7614532 HAS SOPS 6340226 HAS SOUS 2489077 HAS SOUPS 2394068 WITH SCORE 2401682.532
AT ITER 1265 NEW BEST:: SOT 12079945 SOS 7613880 HAS SOPS 6339574 HAS SOUS 2488989 HAS SOUPS 2393980 WITH SCORE 2401593.88
AT ITER 1273 NEW BEST:: SOT 12079764 SOS 7612685 HAS SOPS 6339782 HAS SOUS 2488345 HAS SOUPS 2393336 WITH SCORE 2400948.685
AT ITER 1286 NEW BEST:: SOT 12076665 SOS 7605615 HAS SOPS 6336576 HAS SOUS 2486302 HAS SOUPS 2391293 WITH SCORE 2398898.615
AT ITER 1288 NEW BEST:: SOT 12074126 SOS 7600477 HAS SOPS 6332838 HAS SOUS 2479107 HAS SOUPS 2384098 WITH SCORE 2391698.477
AT ITER 1290 NEW BEST:: SOT 12071389 SOS 7595858 HAS SOPS 6326543 HAS SOUS 2476021 HAS SOUPS 2381012 WITH SCORE 2388607.858
AT ITER 1291 NEW BEST:: SOT 12070341 SOS 7595015 HAS SOPS 6325750 HAS SOUS 2474267 HAS SOUPS 2379288 WITH SCORE 2386883.015
AT ITER 1296 NEW BEST:: SOT 12070649 SOS 7596057 HAS SOPS 6330409 HAS SOUS 2472652 HAS SOUPS 2377673 WITH SCORE 2385269.057
AT ITER 1297 NEW BEST:: SOT 12069240 SOS 7593597 HAS SOPS 6327213 HAS SOUS 2472571 HAS SOUPS 2377592 WITH SCORE 2385185.597
AT ITER 1299 NEW BEST:: SOT 12068943 SOS 7593230 HAS SOPS 6326712 HAS SOUS 2471907 HAS SOUPS 2376928 WITH SCORE 2384521.23
AT ITER 1302 NEW BEST:: SOT 12069334 SOS 7593617 HAS SOPS 6326748 HAS SOUS 2471469 HAS SOUPS 2376523 WITH SCORE 2384116.617
AT ITER 1309 NEW BEST:: SOT 12067738 SOS 7590827 HAS SOPS 6325773 HAS SOUS 2470482 HAS SOUPS 2376353 WITH SCORE 2383943.827
AT ITER 1320 NEW BEST:: SOT 12069049 SOS 7592756 HAS SOPS 6328258 HAS SOUS 2469488 HAS SOUPS 2375823 WITH SCORE 2383415.756
AT ITER 1333 NEW BEST:: SOT 12071861 SOS 7599478 HAS SOPS 6332310 HAS SOUS 2468275 HAS SOUPS 2374610 WITH SCORE 2382209.478
AT ITER 1338 NEW BEST:: SOT 12071872 SOS 7599553 HAS SOPS 6331177 HAS SOUS 2465083 HAS SOUPS 2371418 WITH SCORE 2379017.553
AT ITER 1350 NEW BEST:: SOT 12072773 SOS 7600820 HAS SOPS 6332251 HAS SOUS 2464174 HAS SOUPS 2370456 WITH SCORE 2378056.82
AT ITER 1360 NEW BEST:: SOT 12070501 SOS 7602505 HAS SOPS 6333524 HAS SOUS 2459664 HAS SOUPS 2365946 WITH SCORE 2373548.505
AT ITER 1363 NEW BEST:: SOT 12066256 SOS 7597272 HAS SOPS 6327611 HAS SOUS 2449907 HAS SOUPS 2356264 WITH SCORE 2363861.272
AT ITER 1366 NEW BEST:: SOT 12064194 SOS 7594494 HAS SOPS 6325629 HAS SOUS 2442953 HAS SOUPS 2349286 WITH SCORE 2356880.494
AT ITER 1367 NEW BEST:: SOT 12064377 SOS 7595608 HAS SOPS 6327323 HAS SOUS 2441691 HAS SOUPS 2347936 WITH SCORE 2355531.608
AT ITER 1368 NEW BEST:: SOT 12061478 SOS 7590754 HAS SOPS 6322359 HAS SOUS 2436687 HAS SOUPS 2342994 WITH SCORE 2350584.754
AT ITER 1372 NEW BEST:: SOT 12064334 SOS 7595833 HAS SOPS 6330675 HAS SOUS 2435318 HAS SOUPS 2341606 WITH SCORE 2349201.833
AT ITER 1376 NEW BEST:: SOT 12061197 SOS 7592991 HAS SOPS 6326489 HAS SOUS 2430509 HAS SOUPS 2336686 WITH SCORE 2344278.991
AT ITER 1404 NEW BEST:: SOT 12061132 SOS 7592636 HAS SOPS 6325875 HAS SOUS 2428140 HAS SOUPS 2334317 WITH SCORE 2341909.636
AT ITER 1419 NEW BEST:: SOT 12057425 SOS 7588196 HAS SOPS 6321634 HAS SOUS 2423514 HAS SOUPS 2329797 WITH SCORE 2337385.196
AT ITER 1439 NEW BEST:: SOT 12060585 SOS 7591124 HAS SOPS 6323520 HAS SOUS 2420736 HAS SOUPS 2326766 WITH SCORE 2334357.124
AT ITER 1441 NEW BEST:: SOT 12050547 SOS 7581457 HAS SOPS 6314653 HAS SOUS 2410369 HAS SOUPS 2316399 WITH SCORE 2323980.457
AT ITER 1445 NEW BEST:: SOT 12041600 SOS 7566659 HAS SOPS 6297434 HAS SOUS 2395417 HAS SOUPS 2301949 WITH SCORE 2309515.659
AT ITER 1464 NEW BEST:: SOT 12041990 SOS 7567646 HAS SOPS 6297900 HAS SOUS 2395330 HAS SOUPS 2301862 WITH SCORE 2309429.646
AT ITER 1466 NEW BEST:: SOT 12042350 SOS 7568016 HAS SOPS 6298158 HAS SOUS 2395082 HAS SOUPS 2301614 WITH SCORE 2309182.016
AT ITER 1467 NEW BEST:: SOT 12042316 SOS 7567982 HAS SOPS 6298124 HAS SOUS 2394912 HAS SOUPS 2301444 WITH SCORE 2309011.982
AT ITER 1477 NEW BEST:: SOT 12039781 SOS 7569730 HAS SOPS 6297009 HAS SOUS 2379102 HAS SOUPS 2285802 WITH SCORE 2293371.73
AT ITER 1479 NEW BEST:: SOT 12032714 SOS 7548613 HAS SOPS 6283872 HAS SOUS 2375904 HAS SOUPS 2282822 WITH SCORE 2290370.613
AT ITER 1481 NEW BEST:: SOT 12031503 SOS 7547283 HAS SOPS 6281272 HAS SOUS 2373384 HAS SOUPS 2280250 WITH SCORE 2287797.283
AT ITER 1487 NEW BEST:: SOT 12035380 SOS 7562732 HAS SOPS 6295549 HAS SOUS 2371831 HAS SOUPS 2278697 WITH SCORE 2286259.732
AT ITER 1497 NEW BEST:: SOT 12034779 SOS 7560628 HAS SOPS 6292587 HAS SOUS 2370347 HAS SOUPS 2277213 WITH SCORE 2284773.628
AT ITER 1501 NEW BEST:: SOT 12033461 SOS 7556487 HAS SOPS 6290533 HAS SOUS 2370282 HAS SOUPS 2277148 WITH SCORE 2284704.487
AT ITER 1518 NEW BEST:: SOT 12032650 SOS 7554910 HAS SOPS 6289312 HAS SOUS 2369343 HAS SOUPS 2276228 WITH SCORE 2283782.91
AT ITER 1522 NEW BEST:: SOT 12027336 SOS 7541663 HAS SOPS 6280482 HAS SOUS 2363893 HAS SOUPS 2270894 WITH SCORE 2278435.663
AT ITER 1532 NEW BEST:: SOT 12022856 SOS 7538777 HAS SOPS 6277848 HAS SOUS 2357333 HAS SOUPS 2264334 WITH SCORE 2271872.777
AT ITER 1548 NEW BEST:: SOT 12022853 SOS 7538732 HAS SOPS 6277784 HAS SOUS 2357325 HAS SOUPS 2264326 WITH SCORE 2271864.732
AT ITER 1550 NEW BEST:: SOT 12017555 SOS 7527710 HAS SOPS 6270523 HAS SOUS 2354337 HAS SOUPS 2261755 WITH SCORE 2269282.71
AT ITER 1553 NEW BEST:: SOT 12011926 SOS 7520916 HAS SOPS 6261392 HAS SOUS 2340082 HAS SOUPS 2247553 WITH SCORE 2255073.916
AT ITER 1563 NEW BEST:: SOT 12010227 SOS 7515725 HAS SOPS 6258467 HAS SOUS 2337995 HAS SOUPS 2245466 WITH SCORE 2252981.725
AT ITER 1565 NEW BEST:: SOT 12010959 SOS 7514484 HAS SOPS 6257516 HAS SOUS 2333323 HAS SOUPS 2241287 WITH SCORE 2248801.484
AT ITER 1566 NEW BEST:: SOT 12010115 SOS 7513934 HAS SOPS 6256910 HAS SOUS 2331438 HAS SOUPS 2239385 WITH SCORE 2246898.934
AT ITER 1581 NEW BEST:: SOT 12004377 SOS 7508220 HAS SOPS 6251588 HAS SOUS 2323788 HAS SOUPS 2232127 WITH SCORE 2239635.22
AT ITER 1582 NEW BEST:: SOT 12003311 SOS 7506762 HAS SOPS 6248539 HAS SOUS 2318316 HAS SOUPS 2226655 WITH SCORE 2234161.762
AT ITER 1587 NEW BEST:: SOT 11998553 SOS 7502306 HAS SOPS 6242756 HAS SOUS 2310623 HAS SOUPS 2218867 WITH SCORE 2226369.306
AT ITER 1606 NEW BEST:: SOT 12003094 SOS 7511597 HAS SOPS 6247985 HAS SOUS 2310135 HAS SOUPS 2218325 WITH SCORE 2225836.597
AT ITER 1622 NEW BEST:: SOT 12002761 SOS 7514850 HAS SOPS 6249752 HAS SOUS 2303670 HAS SOUPS 2211860 WITH SCORE 2219374.85
AT ITER 1624 NEW BEST:: SOT 12002628 SOS 7514474 HAS SOPS 6249274 HAS SOUS 2303366 HAS SOUPS 2211553 WITH SCORE 2219067.474
AT ITER 1626 NEW BEST:: SOT 12002673 SOS 7515206 HAS SOPS 6249491 HAS SOUS 2302756 HAS SOUPS 2210943 WITH SCORE 2218458.206
AT ITER 1632 NEW BEST:: SOT 12001689 SOS 7515609 HAS SOPS 6246824 HAS SOUS 2297306 HAS SOUPS 2205511 WITH SCORE 2213026.609
AT ITER 1639 NEW BEST:: SOT 12009432 SOS 7523283 HAS SOPS 6254502 HAS SOUS 2293053 HAS SOUPS 2201262 WITH SCORE 2208785.283
AT ITER 1645 NEW BEST:: SOT 12009910 SOS 7525595 HAS SOPS 6254674 HAS SOUS 2291625 HAS SOUPS 2199834 WITH SCORE 2207359.595
AT ITER 1647 NEW BEST:: SOT 12009908 SOS 7525422 HAS SOPS 6254525 HAS SOUS 2291557 HAS SOUPS 2199766 WITH SCORE 2207291.422
AT ITER 1678 NEW BEST:: SOT 12009172 SOS 7524473 HAS SOPS 6253402 HAS SOUS 2289792 HAS SOUPS 2198016 WITH SCORE 2205540.473
AT ITER 1684 NEW BEST:: SOT 12001250 SOS 7513550 HAS SOPS 6243364 HAS SOUS 2277737 HAS SOUPS 2185961 WITH SCORE 2193474.55
AT ITER 1721 NEW BEST:: SOT 12001250 SOS 7513451 HAS SOPS 6243265 HAS SOUS 2277638 HAS SOUPS 2185862 WITH SCORE 2193375.451
AT ITER 1736 NEW BEST:: SOT 12000153 SOS 7513689 HAS SOPS 6241702 HAS SOUS 2275371 HAS SOUPS 2183480 WITH SCORE 2190993.689
AT ITER 1737 NEW BEST:: SOT 12000619 SOS 7516237 HAS SOPS 6241759 HAS SOUS 2269373 HAS SOUPS 2177266 WITH SCORE 2184782.237
AT ITER 1754 NEW BEST:: SOT 11999916 SOS 7515796 HAS SOPS 6242415 HAS SOUS 2269290 HAS SOUPS 2177183 WITH SCORE 2184698.796
AT ITER 1766 NEW BEST:: SOT 11995048 SOS 7509362 HAS SOPS 6236436 HAS SOUS 2261211 HAS SOUPS 2169104 WITH SCORE 2176613.362
AT ITER 1770 NEW BEST:: SOT 11989935 SOS 7504251 HAS SOPS 6231323 HAS SOUS 2254626 HAS SOUPS 2162517 WITH SCORE 2170021.251
AT ITER 1776 NEW BEST:: SOT 11989173 SOS 7497583 HAS SOPS 6227824 HAS SOUS 2249997 HAS SOUPS 2157888 WITH SCORE 2165385.583
AT ITER 1777 NEW BEST:: SOT 11988377 SOS 7496799 HAS SOPS 6226676 HAS SOUS 2248597 HAS SOUPS 2156465 WITH SCORE 2163961.799
AT ITER 1781 NEW BEST:: SOT 11988624 SOS 7496380 HAS SOPS 6226824 HAS SOUS 2248524 HAS SOUPS 2156392 WITH SCORE 2163888.38
AT ITER 1787 NEW BEST:: SOT 11984611 SOS 7488204 HAS SOPS 6219650 HAS SOUS 2246813 HAS SOUPS 2154693 WITH SCORE 2162181.204
AT ITER 1807 NEW BEST:: SOT 11982787 SOS 7484608 HAS SOPS 6217976 HAS SOUS 2244787 HAS SOUPS 2152707 WITH SCORE 2160191.608
AT ITER 1820 NEW BEST:: SOT 11982917 SOS 7485235 HAS SOPS 6218501 HAS SOUS 2244330 HAS SOUPS 2152250 WITH SCORE 2159735.235
AT ITER 1828 NEW BEST:: SOT 11992053 SOS 7498030 HAS SOPS 6232359 HAS SOUS 2240335 HAS SOUPS 2148255 WITH SCORE 2155753.03
AT ITER 1833 NEW BEST:: SOT 11991350 SOS 7493607 HAS SOPS 6227681 HAS SOUS 2238548 HAS SOUPS 2146552 WITH SCORE 2154045.607
AT ITER 1837 NEW BEST:: SOT 11988296 SOS 7489725 HAS SOPS 6222920 HAS SOUS 2233520 HAS SOUPS 2141598 WITH SCORE 2149087.725
AT ITER 1839 NEW BEST:: SOT 11991430 SOS 7492928 HAS SOPS 6225850 HAS SOUS 2232714 HAS SOUPS 2141099 WITH SCORE 2148591.928
AT ITER 1843 NEW BEST:: SOT 11990708 SOS 7492211 HAS SOPS 6224717 HAS SOUS 2230744 HAS SOUPS 2139129 WITH SCORE 2146621.211
AT ITER 1859 NEW BEST:: SOT 11987109 SOS 7485216 HAS SOPS 6217649 HAS SOUS 2227087 HAS SOUPS 2135446 WITH SCORE 2142931.216
AT ITER 1875 NEW BEST:: SOT 11986448 SOS 7483484 HAS SOPS 6215568 HAS SOUS 2227072 HAS SOUPS 2135431 WITH SCORE 2142914.484
AT ITER 1881 NEW BEST:: SOT 11985969 SOS 7482222 HAS SOPS 6214452 HAS SOUS 2226781 HAS SOUPS 2135140 WITH SCORE 2142622.222
AT ITER 1900 NEW BEST:: SOT 11985604 SOS 7482421 HAS SOPS 6214933 HAS SOUS 2225759 HAS SOUPS 2134118 WITH SCORE 2141600.421
AT ITER 1906 NEW BEST:: SOT 11985060 SOS 7480456 HAS SOPS 6213970 HAS SOUS 2225603 HAS SOUPS 2133987 WITH SCORE 2141467.456
AT ITER 1923 NEW BEST:: SOT 11991607 SOS 7487776 HAS SOPS 6222744 HAS SOUS 2223606 HAS SOUPS 2132173 WITH SCORE 2139660.776
AT ITER 1932 NEW BEST:: SOT 11991594 SOS 7486389 HAS SOPS 6222028 HAS SOUS 2223422 HAS SOUPS 2131994 WITH SCORE 2139480.389
AT ITER 1952 NEW BEST:: SOT 11989894 SOS 7485135 HAS SOPS 6221472 HAS SOUS 2222331 HAS SOUPS 2130997 WITH SCORE 2138482.135
AT ITER 1958 NEW BEST:: SOT 11989531 SOS 7484673 HAS SOPS 6221019 HAS SOUS 2221059 HAS SOUPS 2129739 WITH SCORE 2137223.673
AT ITER 1977 NEW BEST:: SOT 11990034 SOS 7485405 HAS SOPS 6222036 HAS SOUS 2219827 HAS SOUPS 2128559 WITH SCORE 2136044.405
AT ITER 1979 NEW BEST:: SOT 11993527 SOS 7489839 HAS SOPS 6224570 HAS SOUS 2217429 HAS SOUPS 2126161 WITH SCORE 2133650.839
AT ITER 1991 NEW BEST:: SOT 11993370 SOS 7489273 HAS SOPS 6225126 HAS SOUS 2216870 HAS SOUPS 2125602 WITH SCORE 2133091.273
AT ITER 2014 NEW BEST:: SOT 11993533 SOS 7489705 HAS SOPS 6225558 HAS SOUS 2216707 HAS SOUPS 2125439 WITH SCORE 2132928.705
AT ITER 2028 NEW BEST:: SOT 11993145 SOS 7488904 HAS SOPS 6224901 HAS SOUS 2215728 HAS SOUPS 2124473 WITH SCORE 2131961.904
AT ITER 2038 NEW BEST:: SOT 11993065 SOS 7488844 HAS SOPS 6224795 HAS SOUS 2215516 HAS SOUPS 2124263 WITH SCORE 2131751.844
AT ITER 2044 NEW BEST:: SOT 11992909 SOS 7488688 HAS SOPS 6224495 HAS SOUS 2214664 HAS SOUPS 2123411 WITH SCORE 2130899.688
AT ITER 2046 NEW BEST:: SOT 11990604 SOS 7483975 HAS SOPS 6220202 HAS SOUS 2213267 HAS SOUPS 2122014 WITH SCORE 2129497.975
AT ITER 2052 NEW BEST:: SOT 11990312 SOS 7483149 HAS SOPS 6219578 HAS SOUS 2212534 HAS SOUPS 2121286 WITH SCORE 2128769.149
AT ITER 2064 NEW BEST:: SOT 11990296 SOS 7483133 HAS SOPS 6219546 HAS SOUS 2212334 HAS SOUPS 2121086 WITH SCORE 2128569.133
AT ITER 2067 NEW BEST:: SOT 11990413 SOS 7483967 HAS SOPS 6219787 HAS SOUS 2211693 HAS SOUPS 2120445 WITH SCORE 2127928.967
AT ITER 2081 NEW BEST:: SOT 11992098 SOS 7483638 HAS SOPS 6220755 HAS SOUS 2208592 HAS SOUPS 2117312 WITH SCORE 2124795.638
AT ITER 2091 NEW BEST:: SOT 11992103 SOS 7483060 HAS SOPS 6221188 HAS SOUS 2208502 HAS SOUPS 2117222 WITH SCORE 2124705.06
AT ITER 2103 NEW BEST:: SOT 11989109 SOS 7481507 HAS SOPS 6217080 HAS SOUS 2205539 HAS SOUPS 2114259 WITH SCORE 2121740.507
AT ITER 2105 NEW BEST:: SOT 11989110 SOS 7477755 HAS SOPS 6213002 HAS SOUS 2203468 HAS SOUPS 2112188 WITH SCORE 2119665.755
AT ITER 2111 NEW BEST:: SOT 11992044 SOS 7483755 HAS SOPS 6218833 HAS SOUS 2202840 HAS SOUPS 2111617 WITH SCORE 2119100.755
AT ITER 2116 NEW BEST:: SOT 11992476 SOS 7485000 HAS SOPS 6219503 HAS SOUS 2202109 HAS SOUPS 2110886 WITH SCORE 2118371.0
AT ITER 2130 NEW BEST:: SOT 11993079 SOS 7491834 HAS SOPS 6227322 HAS SOUS 2201176 HAS SOUPS 2109953 WITH SCORE 2117444.834
AT ITER 2144 NEW BEST:: SOT 11992640 SOS 7491410 HAS SOPS 6226275 HAS SOUS 2199506 HAS SOUPS 2108283 WITH SCORE 2115774.41
AT ITER 2168 NEW BEST:: SOT 11991987 SOS 7490617 HAS SOPS 6225070 HAS SOUS 2199028 HAS SOUPS 2107805 WITH SCORE 2115295.617
AT ITER 2180 NEW BEST:: SOT 11991766 SOS 7489747 HAS SOPS 6224006 HAS SOUS 2198722 HAS SOUPS 2107499 WITH SCORE 2114988.747
AT ITER 2181 NEW BEST:: SOT 11990771 SOS 7488940 HAS SOPS 6223117 HAS SOUS 2196615 HAS SOUPS 2105392 WITH SCORE 2112880.94
AT ITER 2182 NEW BEST:: SOT 11988965 SOS 7486818 HAS SOPS 6220964 HAS SOUS 2193401 HAS SOUPS 2102224 WITH SCORE 2109710.818
AT ITER 2192 NEW BEST:: SOT 11988917 SOS 7486785 HAS SOPS 6220595 HAS SOUS 2192029 HAS SOUPS 2100852 WITH SCORE 2108338.785
AT ITER 2200 NEW BEST:: SOT 11992595 SOS 7491422 HAS SOPS 6226495 HAS SOUS 2190830 HAS SOUPS 2100306 WITH SCORE 2107797.422
AT ITER 2207 NEW BEST:: SOT 11986597 SOS 7473920 HAS SOPS 6207794 HAS SOUS 2181966 HAS SOUPS 2091366 WITH SCORE 2098839.92
AT ITER 2208 NEW BEST:: SOT 11985647 SOS 7474414 HAS SOPS 6207492 HAS SOUS 2172289 HAS SOUPS 2081654 WITH SCORE 2089128.414
AT ITER 2229 NEW BEST:: SOT 11977967 SOS 7466350 HAS SOPS 6198720 HAS SOUS 2165992 HAS SOUPS 2075215 WITH SCORE 2082681.35
AT ITER 2230 NEW BEST:: SOT 11979427 SOS 7468008 HAS SOPS 6199954 HAS SOUS 2164132 HAS SOUPS 2073420 WITH SCORE 2080888.008
AT ITER 2231 NEW BEST:: SOT 11987683 SOS 7480420 HAS SOPS 6211307 HAS SOUS 2156976 HAS SOUPS 2066344 WITH SCORE 2073824.42
AT ITER 2236 NEW BEST:: SOT 11989158 SOS 7482047 HAS SOPS 6212920 HAS SOUS 2156563 HAS SOUPS 2065948 WITH SCORE 2073430.047
AT ITER 2260 NEW BEST:: SOT 11988557 SOS 7482324 HAS SOPS 6215613 HAS SOUS 2144700 HAS SOUPS 2054145 WITH SCORE 2061627.324
AT ITER 2265 NEW BEST:: SOT 11988634 SOS 7479041 HAS SOPS 6213466 HAS SOUS 2143944 HAS SOUPS 2053456 WITH SCORE 2060935.041
AT ITER 2267 NEW BEST:: SOT 11986191 SOS 7469650 HAS SOPS 6207457 HAS SOUS 2142202 HAS SOUPS 2051714 WITH SCORE 2059183.65
AT ITER 2281 NEW BEST:: SOT 11987361 SOS 7472184 HAS SOPS 6208962 HAS SOUS 2141368 HAS SOUPS 2050880 WITH SCORE 2058352.184
AT ITER 2288 NEW BEST:: SOT 11983200 SOS 7468066 HAS SOPS 6201989 HAS SOUS 2136844 HAS SOUPS 2046231 WITH SCORE 2053699.066
AT ITER 2294 NEW BEST:: SOT 11983638 SOS 7468329 HAS SOPS 6202867 HAS SOUS 2133729 HAS SOUPS 2043189 WITH SCORE 2050657.329
AT ITER 2309 NEW BEST:: SOT 11977508 SOS 7446477 HAS SOPS 6193711 HAS SOUS 2125044 HAS SOUPS 2034712 WITH SCORE 2042158.477
AT ITER 2314 NEW BEST:: SOT 11977921 SOS 7448346 HAS SOPS 6197194 HAS SOUS 2124242 HAS SOUPS 2033910 WITH SCORE 2041358.346
AT ITER 2328 NEW BEST:: SOT 11976734 SOS 7447124 HAS SOPS 6194887 HAS SOUS 2118811 HAS SOUPS 2028479 WITH SCORE 2035926.124
AT ITER 2356 NEW BEST:: SOT 11976842 SOS 7447232 HAS SOPS 6194963 HAS SOUS 2118619 HAS SOUPS 2028287 WITH SCORE 2035734.232
AT ITER 2372 NEW BEST:: SOT 11978454 SOS 7450894 HAS SOPS 6197100 HAS SOUS 2117048 HAS SOUPS 2026716 WITH SCORE 2034166.894
AT ITER 2374 NEW BEST:: SOT 11978238 SOS 7450678 HAS SOPS 6196852 HAS SOUS 2116784 HAS SOUPS 2026452 WITH SCORE 2033902.678
AT ITER 2378 NEW BEST:: SOT 11975735 SOS 7443671 HAS SOPS 6184275 HAS SOUS 2103920 HAS SOUPS 2013628 WITH SCORE 2021071.671
AT ITER 2380 NEW BEST:: SOT 11975203 SOS 7443427 HAS SOPS 6183602 HAS SOUS 2102565 HAS SOUPS 2012245 WITH SCORE 2019688.427
AT ITER 2385 NEW BEST:: SOT 11973361 SOS 7439904 HAS SOPS 6184738 HAS SOUS 2098316 HAS SOUPS 2007996 WITH SCORE 2015435.904
AT ITER 2408 NEW BEST:: SOT 11974328 SOS 7441342 HAS SOPS 6188492 HAS SOUS 2097956 HAS SOUPS 2007621 WITH SCORE 2015062.342
AT ITER 2424 NEW BEST:: SOT 11971149 SOS 7438048 HAS SOPS 6184741 HAS SOUS 2092645 HAS SOUPS 2002265 WITH SCORE 2009703.048
AT ITER 2433 NEW BEST:: SOT 11969770 SOS 7434283 HAS SOPS 6180175 HAS SOUS 2089721 HAS SOUPS 1999253 WITH SCORE 2006687.283
AT ITER 2460 NEW BEST:: SOT 11966187 SOS 7431989 HAS SOPS 6174382 HAS SOUS 2076387 HAS SOUPS 1985828 WITH SCORE 1993259.989
AT ITER 2464 NEW BEST:: SOT 11966236 SOS 7432038 HAS SOPS 6174431 HAS SOUS 2076328 HAS SOUPS 1985769 WITH SCORE 1993201.038
AT ITER 2480 NEW BEST:: SOT 11968030 SOS 7440093 HAS SOPS 6183099 HAS SOUS 2072928 HAS SOUPS 1982414 WITH SCORE 1989854.093
AT ITER 2482 NEW BEST:: SOT 11971135 SOS 7444498 HAS SOPS 6187263 HAS SOUS 2066861 HAS SOUPS 1976442 WITH SCORE 1983886.498
AT ITER 2502 NEW BEST:: SOT 11971064 SOS 7444427 HAS SOPS 6187155 HAS SOUS 2066755 HAS SOUPS 1976336 WITH SCORE 1983780.427
AT ITER 2503 NEW BEST:: SOT 11971215 SOS 7444543 HAS SOPS 6187180 HAS SOUS 2066502 HAS SOUPS 1976060 WITH SCORE 1983504.543
AT ITER 2505 NEW BEST:: SOT 11971536 SOS 7446019 HAS SOPS 6187816 HAS SOUS 2065878 HAS SOUPS 1975421 WITH SCORE 1982867.019
AT ITER 2515 NEW BEST:: SOT 11968116 SOS 7444661 HAS SOPS 6181838 HAS SOUS 2053370 HAS SOUPS 1962846 WITH SCORE 1970290.661
AT ITER 2538 NEW BEST:: SOT 11968142 SOS 7444508 HAS SOPS 6181662 HAS SOUS 2052522 HAS SOUPS 1962177 WITH SCORE 1969621.508
AT ITER 2570 NEW BEST:: SOT 11968194 SOS 7445477 HAS SOPS 6181406 HAS SOUS 2052069 HAS SOUPS 1961724 WITH SCORE 1969169.477
AT ITER 2581 NEW BEST:: SOT 11968093 SOS 7446354 HAS SOPS 6182132 HAS SOUS 2051315 HAS SOUPS 1960970 WITH SCORE 1968416.354
AT ITER 2586 NEW BEST:: SOT 11969801 SOS 7451850 HAS SOPS 6188244 HAS SOUS 2050779 HAS SOUPS 1960434 WITH SCORE 1967885.85
AT ITER 2606 NEW BEST:: SOT 11969345 SOS 7451604 HAS SOPS 6187614 HAS SOUS 2049211 HAS SOUPS 1958878 WITH SCORE 1966329.604
AT ITER 2623 NEW BEST:: SOT 11971182 SOS 7456131 HAS SOPS 6192865 HAS SOUS 2047326 HAS SOUPS 1957064 WITH SCORE 1964520.131
AT ITER 2624 NEW BEST:: SOT 11973094 SOS 7458119 HAS SOPS 6195429 HAS SOUS 2043981 HAS SOUPS 1953719 WITH SCORE 1961177.119
AT ITER 2655 NEW BEST:: SOT 11970216 SOS 7453995 HAS SOPS 6191772 HAS SOUS 2040510 HAS SOUPS 1950256 WITH SCORE 1957709.995
AT ITER 2673 NEW BEST:: SOT 11970831 SOS 7455011 HAS SOPS 6192791 HAS SOUS 2039569 HAS SOUPS 1949315 WITH SCORE 1956770.011
AT ITER 2700 NEW BEST:: SOT 11970129 SOS 7454311 HAS SOPS 6192091 HAS SOUS 2039423 HAS SOUPS 1949169 WITH SCORE 1956623.311
AT ITER 2702 NEW BEST:: SOT 11967233 SOS 7451415 HAS SOPS 6189195 HAS SOUS 2036159 HAS SOUPS 1945905 WITH SCORE 1953356.415
AT ITER 2714 NEW BEST:: SOT 11966480 SOS 7450942 HAS SOPS 6189038 HAS SOUS 2034093 HAS SOUPS 1943809 WITH SCORE 1951259.942
AT ITER 2731 NEW BEST:: SOT 11965596 SOS 7450067 HAS SOPS 6187603 HAS SOUS 2031169 HAS SOUPS 1940885 WITH SCORE 1948335.067
AT ITER 2741 NEW BEST:: SOT 11964648 SOS 7448653 HAS SOPS 6186138 HAS SOUS 2029455 HAS SOUPS 1939184 WITH SCORE 1946632.653
AT ITER 2754 NEW BEST:: SOT 11959618 SOS 7443618 HAS SOPS 6181695 HAS SOUS 2026385 HAS SOUPS 1936706 WITH SCORE 1944149.618
AT ITER 2763 NEW BEST:: SOT 11956902 SOS 7439020 HAS SOPS 6177119 HAS SOUS 2023719 HAS SOUPS 1934121 WITH SCORE 1941560.02
AT ITER 2767 NEW BEST:: SOT 11951078 SOS 7431176 HAS SOPS 6169520 HAS SOUS 2017669 HAS SOUPS 1928122 WITH SCORE 1935553.176
AT ITER 2787 NEW BEST:: SOT 11950949 SOS 7430963 HAS SOPS 6168466 HAS SOUS 2017573 HAS SOUPS 1928026 WITH SCORE 1935456.963
AT ITER 2805 NEW BEST:: SOT 11951709 SOS 7431731 HAS SOPS 6168990 HAS SOUS 2017408 HAS SOUPS 1927861 WITH SCORE 1935292.731
AT ITER 2844 NEW BEST:: SOT 11951417 SOS 7431347 HAS SOPS 6168698 HAS SOUS 2016968 HAS SOUPS 1927421 WITH SCORE 1934852.347
AT ITER 2852 NEW BEST:: SOT 11951113 SOS 7432618 HAS SOPS 6170691 HAS SOUS 2014664 HAS SOUPS 1925156 WITH SCORE 1932588.618
AT ITER 2856 NEW BEST:: SOT 11950768 SOS 7432146 HAS SOPS 6170198 HAS SOUS 2014269 HAS SOUPS 1924752 WITH SCORE 1932184.146
AT ITER 2859 NEW BEST:: SOT 11950071 SOS 7431242 HAS SOPS 6169074 HAS SOUS 2013575 HAS SOUPS 1924058 WITH SCORE 1931489.242
AT ITER 2872 NEW BEST:: SOT 11959534 SOS 7445310 HAS SOPS 6181413 HAS SOUS 2004855 HAS SOUPS 1916492 WITH SCORE 1923937.31
AT ITER 2898 NEW BEST:: SOT 11958807 SOS 7445024 HAS SOPS 6180679 HAS SOUS 2002118 HAS SOUPS 1913755 WITH SCORE 1921200.024
AT ITER 2911 NEW BEST:: SOT 11959605 SOS 7445651 HAS SOPS 6181202 HAS SOUS 1999786 HAS SOUPS 1911423 WITH SCORE 1918868.651
AT ITER 2921 NEW BEST:: SOT 11960180 SOS 7447240 HAS SOPS 6182165 HAS SOUS 1999005 HAS SOUPS 1910624 WITH SCORE 1918071.24
AT ITER 2929 NEW BEST:: SOT 11958486 SOS 7444513 HAS SOPS 6179992 HAS SOUS 1996586 HAS SOUPS 1908219 WITH SCORE 1915663.513
AT ITER 2931 NEW BEST:: SOT 11958550 SOS 7444287 HAS SOPS 6178919 HAS SOUS 1995382 HAS SOUPS 1907015 WITH SCORE 1914459.287
AT ITER 2935 NEW BEST:: SOT 11957841 SOS 7442623 HAS SOPS 6177279 HAS SOUS 1994411 HAS SOUPS 1906047 WITH SCORE 1913489.623
AT ITER 2961 NEW BEST:: SOT 11955982 SOS 7439309 HAS SOPS 6173986 HAS SOUS 1991056 HAS SOUPS 1902721 WITH SCORE 1910160.309
AT ITER 2972 NEW BEST:: SOT 11954338 SOS 7440315 HAS SOPS 6174502 HAS SOUS 1987651 HAS SOUPS 1899316 WITH SCORE 1906756.315
AT ITER 2981 NEW BEST:: SOT 11954350 SOS 7442787 HAS SOPS 6175761 HAS SOUS 1985702 HAS SOUPS 1897367 WITH SCORE 1904809.787
AT ITER 2987 NEW BEST:: SOT 11952875 SOS 7439046 HAS SOPS 6173273 HAS SOUS 1982526 HAS SOUPS 1894227 WITH SCORE 1901666.046
AT ITER 2990 NEW BEST:: SOT 11948598 SOS 7434141 HAS SOPS 6167306 HAS SOUS 1974133 HAS SOUPS 1885789 WITH SCORE 1893223.141
AT ITER 2993 NEW BEST:: SOT 11949105 SOS 7434083 HAS SOPS 6168292 HAS SOUS 1969862 HAS SOUPS 1881580 WITH SCORE 1889014.083
AT ITER 2994 NEW BEST:: SOT 11949368 SOS 7433739 HAS SOPS 6168176 HAS SOUS 1969530 HAS SOUPS 1881379 WITH SCORE 1888812.739
AT ITER 2996 NEW BEST:: SOT 11949634 SOS 7434088 HAS SOPS 6168442 HAS SOUS 1969353 HAS SOUPS 1881202 WITH SCORE 1888636.088
AT ITER 3005 NEW BEST:: SOT 11950467 SOS 7436333 HAS SOPS 6168700 HAS SOUS 1966499 HAS SOUPS 1878348 WITH SCORE 1885784.333
AT ITER 3021 NEW BEST:: SOT 11945829 SOS 7431113 HAS SOPS 6162949 HAS SOUS 1958404 HAS SOUPS 1870290 WITH SCORE 1877721.113
AT ITER 3022 NEW BEST:: SOT 11960194 SOS 7449816 HAS SOPS 6183054 HAS SOUS 1952654 HAS SOUPS 1864571 WITH SCORE 1872020.816
AT ITER 3029 NEW BEST:: SOT 11960189 SOS 7449446 HAS SOPS 6182684 HAS SOUS 1952594 HAS SOUPS 1864511 WITH SCORE 1871960.446
AT ITER 3042 NEW BEST:: SOT 11960176 SOS 7449433 HAS SOPS 6182671 HAS SOUS 1952565 HAS SOUPS 1864482 WITH SCORE 1871931.433
AT ITER 3043 NEW BEST:: SOT 11960080 SOS 7449131 HAS SOPS 6182361 HAS SOUS 1952402 HAS SOUPS 1864319 WITH SCORE 1871768.131
AT ITER 3045 NEW BEST:: SOT 11958709 SOS 7447361 HAS SOPS 6180555 HAS SOUS 1950140 HAS SOUPS 1862069 WITH SCORE 1869516.361
AT ITER 3049 NEW BEST:: SOT 11955761 SOS 7441883 HAS SOPS 6175798 HAS SOUS 1946555 HAS SOUPS 1858484 WITH SCORE 1865925.883
AT ITER 3051 NEW BEST:: SOT 11955766 SOS 7441936 HAS SOPS 6175932 HAS SOUS 1946552 HAS SOUPS 1858481 WITH SCORE 1865922.936
AT ITER 3060 NEW BEST:: SOT 11952269 SOS 7433219 HAS SOPS 6166236 HAS SOUS 1940264 HAS SOUPS 1852146 WITH SCORE 1859579.219
AT ITER 3064 NEW BEST:: SOT 11948693 SOS 7424631 HAS SOPS 6159024 HAS SOUS 1940055 HAS SOUPS 1851987 WITH SCORE 1859411.631
AT ITER 3076 NEW BEST:: SOT 11948850 SOS 7424532 HAS SOPS 6158821 HAS SOUS 1939846 HAS SOUPS 1851778 WITH SCORE 1859202.532
AT ITER 3079 NEW BEST:: SOT 11952453 SOS 7432513 HAS SOPS 6160205 HAS SOUS 1937188 HAS SOUPS 1849120 WITH SCORE 1856552.513
AT ITER 3086 NEW BEST:: SOT 11952239 SOS 7433629 HAS SOPS 6161542 HAS SOUS 1936872 HAS SOUPS 1848804 WITH SCORE 1856237.629
AT ITER 3111 NEW BEST:: SOT 11952059 SOS 7433449 HAS SOPS 6161330 HAS SOUS 1936712 HAS SOUPS 1848612 WITH SCORE 1856045.449
AT ITER 3112 NEW BEST:: SOT 11952263 SOS 7433645 HAS SOPS 6161622 HAS SOUS 1936474 HAS SOUPS 1848374 WITH SCORE 1855807.645
AT ITER 3119 NEW BEST:: SOT 11952582 SOS 7434985 HAS SOPS 6163635 HAS SOUS 1933722 HAS SOUPS 1845622 WITH SCORE 1853056.985
AT ITER 3137 NEW BEST:: SOT 11951949 SOS 7437137 HAS SOPS 6166120 HAS SOUS 1931264 HAS SOUPS 1843224 WITH SCORE 1850661.137
AT ITER 3156 NEW BEST:: SOT 11951376 SOS 7435814 HAS SOPS 6164644 HAS SOUS 1929033 HAS SOUPS 1841021 WITH SCORE 1848456.814
AT ITER 3157 NEW BEST:: SOT 11952207 SOS 7436623 HAS SOPS 6165475 HAS SOUS 1928526 HAS SOUPS 1840530 WITH SCORE 1847966.623
AT ITER 3168 NEW BEST:: SOT 11952311 SOS 7436747 HAS SOPS 6167768 HAS SOUS 1928518 HAS SOUPS 1840522 WITH SCORE 1847958.747
AT ITER 3192 NEW BEST:: SOT 11952159 SOS 7433422 HAS SOPS 6167744 HAS SOUS 1928284 HAS SOUPS 1840288 WITH SCORE 1847721.422
AT ITER 3194 NEW BEST:: SOT 11954458 SOS 7437819 HAS SOPS 6174759 HAS SOUS 1927886 HAS SOUPS 1839890 WITH SCORE 1847327.819
AT ITER 3214 NEW BEST:: SOT 11955756 SOS 7440544 HAS SOPS 6177798 HAS SOUS 1927087 HAS SOUPS 1839091 WITH SCORE 1846531.544
AT ITER 3258 NEW BEST:: SOT 11962515 SOS 7452082 HAS SOPS 6184836 HAS SOUS 1923127 HAS SOUPS 1835131 WITH SCORE 1842583.082
AT ITER 3269 NEW BEST:: SOT 11961494 SOS 7451942 HAS SOPS 6183118 HAS SOUS 1916501 HAS SOUPS 1829019 WITH SCORE 1836470.942
AT ITER 3283 NEW BEST:: SOT 11968075 SOS 7462953 HAS SOPS 6192277 HAS SOUS 1916437 HAS SOUPS 1828955 WITH SCORE 1836417.953
AT ITER 3294 NEW BEST:: SOT 11966539 SOS 7461415 HAS SOPS 6190499 HAS SOUS 1914181 HAS SOUPS 1826699 WITH SCORE 1834160.415
AT ITER 3301 NEW BEST:: SOT 11966352 SOS 7461422 HAS SOPS 6190470 HAS SOUS 1913638 HAS SOUPS 1826147 WITH SCORE 1833608.422
AT ITER 3307 NEW BEST:: SOT 11966236 SOS 7460902 HAS SOPS 6189914 HAS SOUS 1913546 HAS SOUPS 1826055 WITH SCORE 1833515.902
AT ITER 3338 NEW BEST:: SOT 11968177 SOS 7464182 HAS SOPS 6192286 HAS SOUS 1912630 HAS SOUPS 1825029 WITH SCORE 1832493.182
AT ITER 3357 NEW BEST:: SOT 11971284 SOS 7476926 HAS SOPS 6201250 HAS SOUS 1912610 HAS SOUPS 1824996 WITH SCORE 1832472.926
AT ITER 3370 NEW BEST:: SOT 11972566 SOS 7478549 HAS SOPS 6202115 HAS SOUS 1912250 HAS SOUPS 1824636 WITH SCORE 1832114.549
AT ITER 3373 NEW BEST:: SOT 11972744 SOS 7478883 HAS SOPS 6202241 HAS SOUS 1912016 HAS SOUPS 1824389 WITH SCORE 1831867.883
AT ITER 3379 NEW BEST:: SOT 11972744 SOS 7478537 HAS SOPS 6202480 HAS SOUS 1911900 HAS SOUPS 1824295 WITH SCORE 1831773.537
AT ITER 3386 NEW BEST:: SOT 11971193 SOS 7476316 HAS SOPS 6199866 HAS SOUS 1908653 HAS SOUPS 1821048 WITH SCORE 1828524.316
AT ITER 3401 NEW BEST:: SOT 11967741 SOS 7474143 HAS SOPS 6197566 HAS SOUS 1907688 HAS SOUPS 1820019 WITH SCORE 1827493.143
AT ITER 3403 NEW BEST:: SOT 11966237 SOS 7471084 HAS SOPS 6194209 HAS SOUS 1903486 HAS SOUPS 1815817 WITH SCORE 1823288.084
AT ITER 3434 NEW BEST:: SOT 11966498 SOS 7471895 HAS SOPS 6195059 HAS SOUS 1903249 HAS SOUPS 1815632 WITH SCORE 1823103.895
AT ITER 3463 NEW BEST:: SOT 11963665 SOS 7467290 HAS SOPS 6191132 HAS SOUS 1899580 HAS SOUPS 1811963 WITH SCORE 1819430.29
AT ITER 3465 NEW BEST:: SOT 11961179 SOS 7464804 HAS SOPS 6189046 HAS SOUS 1898262 HAS SOUPS 1811165 WITH SCORE 1818629.804
AT ITER 3486 NEW BEST:: SOT 11961578 SOS 7467990 HAS SOPS 6190340 HAS SOUS 1898143 HAS SOUPS 1811046 WITH SCORE 1818513.99
AT ITER 3488 NEW BEST:: SOT 11960783 SOS 7466877 HAS SOPS 6189393 HAS SOUS 1896522 HAS SOUPS 1809465 WITH SCORE 1816931.877
AT ITER 3489 NEW BEST:: SOT 11964907 SOS 7472196 HAS SOPS 6193845 HAS SOUS 1882298 HAS SOUPS 1795417 WITH SCORE 1802889.196
AT ITER 3524 NEW BEST:: SOT 11963171 SOS 7468750 HAS SOPS 6191103 HAS SOUS 1880536 HAS SOUPS 1793755 WITH SCORE 1801223.75
AT ITER 3525 NEW BEST:: SOT 11956869 SOS 7456768 HAS SOPS 6183099 HAS SOUS 1879259 HAS SOUPS 1792552 WITH SCORE 1800008.768
AT ITER 3536 NEW BEST:: SOT 11956713 SOS 7457029 HAS SOPS 6182943 HAS SOUS 1878170 HAS SOUPS 1791448 WITH SCORE 1798905.029
AT ITER 3539 NEW BEST:: SOT 11957103 SOS 7457413 HAS SOPS 6182294 HAS SOUS 1876948 HAS SOUPS 1790187 WITH SCORE 1797644.413
AT ITER 3557 NEW BEST:: SOT 11957040 SOS 7457330 HAS SOPS 6182340 HAS SOUS 1876097 HAS SOUPS 1789336 WITH SCORE 1796793.33
AT ITER 3564 NEW BEST:: SOT 11957022 SOS 7457196 HAS SOPS 6182245 HAS SOUS 1875811 HAS SOUPS 1789056 WITH SCORE 1796513.196
AT ITER 3571 NEW BEST:: SOT 11956914 SOS 7456985 HAS SOPS 6182647 HAS SOUS 1875665 HAS SOUPS 1788910 WITH SCORE 1796366.985
AT ITER 3572 NEW BEST:: SOT 11956306 SOS 7457430 HAS SOPS 6182978 HAS SOUS 1873121 HAS SOUPS 1786366 WITH SCORE 1793823.43
AT ITER 3574 NEW BEST:: SOT 11955105 SOS 7456685 HAS SOPS 6183433 HAS SOUS 1870417 HAS SOUPS 1783662 WITH SCORE 1791118.685
AT ITER 3587 NEW BEST:: SOT 11953267 SOS 7455071 HAS SOPS 6181820 HAS SOUS 1864563 HAS SOUPS 1777903 WITH SCORE 1785358.071
AT ITER 3610 NEW BEST:: SOT 11953262 SOS 7455066 HAS SOPS 6181815 HAS SOUS 1864560 HAS SOUPS 1777900 WITH SCORE 1785355.066
AT ITER 3617 NEW BEST:: SOT 11953795 SOS 7453606 HAS SOPS 6181292 HAS SOUS 1863264 HAS SOUPS 1776604 WITH SCORE 1784057.606
AT ITER 3624 NEW BEST:: SOT 11954426 SOS 7453860 HAS SOPS 6182469 HAS SOUS 1862484 HAS SOUPS 1775824 WITH SCORE 1783277.86
AT ITER 3636 NEW BEST:: SOT 11952563 SOS 7450734 HAS SOPS 6179161 HAS SOUS 1858089 HAS SOUPS 1771429 WITH SCORE 1778879.734
AT ITER 3653 NEW BEST:: SOT 11951628 SOS 7449799 HAS SOPS 6178274 HAS SOUS 1858066 HAS SOUPS 1771406 WITH SCORE 1778855.799
AT ITER 3654 NEW BEST:: SOT 11951824 SOS 7454853 HAS SOPS 6179414 HAS SOUS 1855936 HAS SOUPS 1769276 WITH SCORE 1776730.853
AT ITER 3657 NEW BEST:: SOT 11947387 SOS 7443953 HAS SOPS 6169858 HAS SOUS 1851661 HAS SOUPS 1765016 WITH SCORE 1772459.953
AT ITER 3681 NEW BEST:: SOT 11947938 SOS 7444760 HAS SOPS 6171501 HAS SOUS 1850561 HAS SOUPS 1763954 WITH SCORE 1771398.76
AT ITER 3724 NEW BEST:: SOT 11948346 SOS 7443870 HAS SOPS 6173609 HAS SOUS 1849852 HAS SOUPS 1763246 WITH SCORE 1770689.87
AT ITER 3741 NEW BEST:: SOT 11945215 SOS 7440739 HAS SOPS 6170238 HAS SOUS 1846625 HAS SOUPS 1760019 WITH SCORE 1767459.739
AT ITER 3783 NEW BEST:: SOT 11947961 SOS 7442658 HAS SOPS 6174061 HAS SOUS 1840954 HAS SOUPS 1754472 WITH SCORE 1761914.658
AT ITER 3788 NEW BEST:: SOT 11949062 SOS 7448106 HAS SOPS 6177682 HAS SOUS 1840228 HAS SOUPS 1753746 WITH SCORE 1761194.106
AT ITER 3790 NEW BEST:: SOT 11951524 SOS 7451075 HAS SOPS 6180445 HAS SOUS 1836373 HAS SOUPS 1750808 WITH SCORE 1758259.075
AT ITER 3793 NEW BEST:: SOT 11952127 SOS 7452492 HAS SOPS 6181275 HAS SOUS 1835407 HAS SOUPS 1749842 WITH SCORE 1757294.492
AT ITER 3807 NEW BEST:: SOT 11951487 SOS 7451849 HAS SOPS 6180632 HAS SOUS 1834575 HAS SOUPS 1749010 WITH SCORE 1756461.849
AT ITER 3830 NEW BEST:: SOT 11950524 SOS 7450886 HAS SOPS 6179669 HAS SOUS 1834012 HAS SOUPS 1748447 WITH SCORE 1755897.886
AT ITER 3837 NEW BEST:: SOT 11950816 SOS 7450833 HAS SOPS 6179568 HAS SOUS 1833552 HAS SOUPS 1748019 WITH SCORE 1755469.833
AT ITER 3848 NEW BEST:: SOT 11950275 SOS 7450336 HAS SOPS 6178901 HAS SOUS 1832571 HAS SOUPS 1747029 WITH SCORE 1754479.336
AT ITER 3861 NEW BEST:: SOT 11951293 SOS 7453420 HAS SOPS 6180626 HAS SOUS 1832468 HAS SOUPS 1746926 WITH SCORE 1754379.42
AT ITER 3913 NEW BEST:: SOT 11951296 SOS 7453423 HAS SOPS 6180629 HAS SOUS 1832443 HAS SOUPS 1746901 WITH SCORE 1754354.423
AT ITER 3955 NEW BEST:: SOT 11949812 SOS 7451939 HAS SOPS 6179145 HAS SOUS 1830959 HAS SOUPS 1745417 WITH SCORE 1752868.939
AT ITER 3959 NEW BEST:: SOT 11948746 SOS 7447793 HAS SOPS 6174907 HAS SOUS 1830785 HAS SOUPS 1745243 WITH SCORE 1752690.793
AT ITER 3973 NEW BEST:: SOT 11948469 SOS 7447490 HAS SOPS 6174506 HAS SOUS 1830268 HAS SOUPS 1744726 WITH SCORE 1752173.49
AT ITER 3979 NEW BEST:: SOT 11937549 SOS 7433446 HAS SOPS 6159866 HAS SOUS 1811010 HAS SOUPS 1725537 WITH SCORE 1732970.446
AT ITER 3991 NEW BEST:: SOT 11937375 SOS 7432712 HAS SOPS 6159074 HAS SOUS 1810590 HAS SOUPS 1725117 WITH SCORE 1732549.712
AT ITER 3998 NEW BEST:: SOT 11938897 SOS 7435323 HAS SOPS 6161435 HAS SOUS 1809896 HAS SOUPS 1724423 WITH SCORE 1731858.323
AT ITER 4012 NEW BEST:: SOT 11938633 SOS 7435059 HAS SOPS 6161107 HAS SOUS 1809512 HAS SOUPS 1724039 WITH SCORE 1731474.059
AT ITER 4021 NEW BEST:: SOT 11938277 SOS 7433023 HAS SOPS 6159229 HAS SOUS 1808396 HAS SOUPS 1722923 WITH SCORE 1730356.023
AT ITER 4030 NEW BEST:: SOT 11937973 SOS 7432719 HAS SOPS 6158797 HAS SOUS 1807740 HAS SOUPS 1722267 WITH SCORE 1729699.719
AT ITER 4051 NEW BEST:: SOT 11934898 SOS 7429609 HAS SOPS 6154675 HAS SOUS 1800924 HAS SOUPS 1715403 WITH SCORE 1722832.609
AT ITER 4053 NEW BEST:: SOT 11935114 SOS 7429955 HAS SOPS 6154783 HAS SOUS 1800705 HAS SOUPS 1715184 WITH SCORE 1722613.955
AT ITER 4054 NEW BEST:: SOT 11933847 SOS 7429002 HAS SOPS 6153078 HAS SOUS 1798239 HAS SOUPS 1712718 WITH SCORE 1720147.002
AT ITER 4064 NEW BEST:: SOT 11933846 SOS 7428975 HAS SOPS 6153061 HAS SOUS 1798220 HAS SOUPS 1712700 WITH SCORE 1720128.975
AT ITER 4094 NEW BEST:: SOT 11933673 SOS 7429001 HAS SOPS 6152601 HAS SOUS 1798113 HAS SOUPS 1712577 WITH SCORE 1720006.001
AT ITER 4112 NEW BEST:: SOT 11933513 SOS 7428841 HAS SOPS 6152185 HAS SOUS 1796965 HAS SOUPS 1711429 WITH SCORE 1718857.841
AT ITER 4130 NEW BEST:: SOT 11937453 SOS 7438322 HAS SOPS 6160780 HAS SOUS 1796620 HAS SOUPS 1711084 WITH SCORE 1718522.322
AT ITER 4141 NEW BEST:: SOT 11935537 SOS 7436406 HAS SOPS 6158640 HAS SOUS 1794012 HAS SOUPS 1708476 WITH SCORE 1715912.406
AT ITER 4145 NEW BEST:: SOT 11932628 SOS 7428352 HAS SOPS 6150991 HAS SOUS 1792814 HAS SOUPS 1707197 WITH SCORE 1714625.352
AT ITER 4176 NEW BEST:: SOT 11932569 SOS 7428284 HAS SOPS 6150914 HAS SOUS 1792764 HAS SOUPS 1707138 WITH SCORE 1714566.284
AT ITER 4183 NEW BEST:: SOT 11927901 SOS 7419210 HAS SOPS 6143024 HAS SOUS 1787897 HAS SOUPS 1702612 WITH SCORE 1710031.21
AT ITER 4190 NEW BEST:: SOT 11928118 SOS 7419496 HAS SOPS 6142500 HAS SOUS 1785330 HAS SOUPS 1700045 WITH SCORE 1707464.496
AT ITER 4212 NEW BEST:: SOT 11927327 SOS 7417891 HAS SOPS 6141258 HAS SOUS 1784506 HAS SOUPS 1699232 WITH SCORE 1706649.891
AT ITER 4220 NEW BEST:: SOT 11923842 SOS 7413154 HAS SOPS 6139617 HAS SOUS 1781535 HAS SOUPS 1696760 WITH SCORE 1704173.154
AT ITER 4224 NEW BEST:: SOT 11923777 SOS 7413055 HAS SOPS 6139550 HAS SOUS 1781497 HAS SOUPS 1696722 WITH SCORE 1704135.055
AT ITER 4228 NEW BEST:: SOT 11922775 SOS 7412053 HAS SOPS 6137988 HAS SOUS 1778099 HAS SOUPS 1693324 WITH SCORE 1700736.053
AT ITER 4237 NEW BEST:: SOT 11922546 SOS 7413464 HAS SOPS 6138551 HAS SOUS 1777506 HAS SOUPS 1692731 WITH SCORE 1700144.464
AT ITER 4245 NEW BEST:: SOT 11922006 SOS 7411994 HAS SOPS 6136217 HAS SOUS 1775483 HAS SOUPS 1690708 WITH SCORE 1698119.994
AT ITER 4271 NEW BEST:: SOT 11916807 SOS 7398322 HAS SOPS 6128235 HAS SOUS 1769693 HAS SOUPS 1685039 WITH SCORE 1692437.322
AT ITER 4297 NEW BEST:: SOT 11916113 SOS 7397638 HAS SOPS 6127313 HAS SOUS 1769139 HAS SOUPS 1684417 WITH SCORE 1691814.638
AT ITER 4298 NEW BEST:: SOT 11915565 SOS 7397090 HAS SOPS 6126765 HAS SOUS 1767023 HAS SOUPS 1682301 WITH SCORE 1689698.09
AT ITER 4300 NEW BEST:: SOT 11915528 SOS 7396768 HAS SOPS 6126757 HAS SOUS 1766892 HAS SOUPS 1682170 WITH SCORE 1689566.768
AT ITER 4319 NEW BEST:: SOT 11915528 SOS 7398745 HAS SOPS 6127574 HAS SOUS 1765780 HAS SOUPS 1681058 WITH SCORE 1688456.745
AT ITER 4324 NEW BEST:: SOT 11917359 SOS 7400889 HAS SOPS 6128964 HAS SOUS 1762875 HAS SOUPS 1678264 WITH SCORE 1685664.889
AT ITER 4337 NEW BEST:: SOT 11916645 SOS 7400081 HAS SOPS 6128080 HAS SOUS 1761400 HAS SOUPS 1676796 WITH SCORE 1684196.081
AT ITER 4343 NEW BEST:: SOT 11914862 SOS 7399258 HAS SOPS 6126377 HAS SOUS 1757952 HAS SOUPS 1673264 WITH SCORE 1680663.258
AT ITER 4372 NEW BEST:: SOT 11916059 SOS 7404154 HAS SOPS 6129610 HAS SOUS 1757820 HAS SOUPS 1673096 WITH SCORE 1680500.154
AT ITER 4374 NEW BEST:: SOT 11913233 SOS 7400987 HAS SOPS 6124932 HAS SOUS 1753828 HAS SOUPS 1668885 WITH SCORE 1676285.987
AT ITER 4380 NEW BEST:: SOT 11913123 SOS 7400871 HAS SOPS 6124822 HAS SOUS 1753808 HAS SOUPS 1668884 WITH SCORE 1676284.871
AT ITER 4397 NEW BEST:: SOT 11910617 SOS 7395772 HAS SOPS 6120298 HAS SOUS 1751235 HAS SOUPS 1666330 WITH SCORE 1673725.772
AT ITER 4418 NEW BEST:: SOT 11905882 SOS 7384419 HAS SOPS 6111306 HAS SOUS 1749705 HAS SOUPS 1664800 WITH SCORE 1672184.419
AT ITER 4458 NEW BEST:: SOT 11902216 SOS 7381450 HAS SOPS 6107336 HAS SOUS 1745215 HAS SOUPS 1660257 WITH SCORE 1667638.45
AT ITER 4507 NEW BEST:: SOT 11901301 SOS 7383016 HAS SOPS 6108526 HAS SOUS 1744213 HAS SOUPS 1659208 WITH SCORE 1666591.016
AT ITER 4509 NEW BEST:: SOT 11899597 SOS 7381266 HAS SOPS 6106150 HAS SOUS 1742428 HAS SOUPS 1657368 WITH SCORE 1664749.266
AT ITER 4516 NEW BEST:: SOT 11899480 SOS 7378566 HAS SOPS 6104383 HAS SOUS 1742137 HAS SOUPS 1657077 WITH SCORE 1664455.566
AT ITER 4540 NEW BEST:: SOT 11898966 SOS 7378088 HAS SOPS 6105261 HAS SOUS 1741132 HAS SOUPS 1656321 WITH SCORE 1663699.088
AT ITER 4590 NEW BEST:: SOT 11898654 SOS 7377776 HAS SOPS 6104789 HAS SOUS 1740284 HAS SOUPS 1655473 WITH SCORE 1662850.776
AT ITER 4607 NEW BEST:: SOT 11898263 SOS 7377411 HAS SOPS 6103840 HAS SOUS 1738650 HAS SOUPS 1653814 WITH SCORE 1661191.411
AT ITER 4609 NEW BEST:: SOT 11900631 SOS 7379779 HAS SOPS 6106208 HAS SOUS 1738458 HAS SOUPS 1653622 WITH SCORE 1661001.779
AT ITER 4618 NEW BEST:: SOT 11900146 SOS 7379273 HAS SOPS 6105597 HAS SOUS 1737231 HAS SOUPS 1652395 WITH SCORE 1659774.273
AT ITER 4637 NEW BEST:: SOT 11890989 SOS 7370795 HAS SOPS 6100004 HAS SOUS 1729926 HAS SOUPS 1645090 WITH SCORE 1652460.795
AT ITER 4658 NEW BEST:: SOT 11890479 SOS 7369830 HAS SOPS 6098590 HAS SOUS 1728582 HAS SOUPS 1643746 WITH SCORE 1651115.83
AT ITER 4668 NEW BEST:: SOT 11896265 SOS 7379628 HAS SOPS 6105673 HAS SOUS 1725107 HAS SOUPS 1640384 WITH SCORE 1647763.628
AT ITER 4686 NEW BEST:: SOT 11895152 SOS 7380307 HAS SOPS 6105440 HAS SOUS 1724075 HAS SOUPS 1639238 WITH SCORE 1646618.307
AT ITER 4746 NEW BEST:: SOT 11904551 SOS 7395455 HAS SOPS 6120357 HAS SOUS 1721884 HAS SOUPS 1637051 WITH SCORE 1644446.455
AT ITER 4747 NEW BEST:: SOT 11903436 SOS 7393742 HAS SOPS 6119256 HAS SOUS 1719396 HAS SOUPS 1634563 WITH SCORE 1641956.742
AT ITER 4750 NEW BEST:: SOT 11907613 SOS 7404612 HAS SOPS 6128233 HAS SOUS 1717051 HAS SOUPS 1632301 WITH SCORE 1639705.612
AT ITER 4777 NEW BEST:: SOT 11909428 SOS 7405937 HAS SOPS 6127093 HAS SOUS 1716173 HAS SOUPS 1631423 WITH SCORE 1638828.937
AT ITER 4791 NEW BEST:: SOT 11908498 SOS 7404209 HAS SOPS 6126798 HAS SOUS 1714314 HAS SOUPS 1629621 WITH SCORE 1637025.209
AT ITER 4793 NEW BEST:: SOT 11900129 SOS 7387031 HAS SOPS 6109767 HAS SOUS 1708876 HAS SOUPS 1624284 WITH SCORE 1631671.031
AT ITER 4808 NEW BEST:: SOT 11900086 SOS 7387324 HAS SOPS 6111543 HAS SOUS 1708651 HAS SOUPS 1624059 WITH SCORE 1631446.324
AT ITER 4871 NEW BEST:: SOT 11899404 SOS 7386442 HAS SOPS 6110293 HAS SOUS 1705369 HAS SOUPS 1620801 WITH SCORE 1628187.442
AT ITER 4872 NEW BEST:: SOT 11898976 SOS 7381563 HAS SOPS 6106462 HAS SOUS 1704942 HAS SOUPS 1620374 WITH SCORE 1627755.563
AT ITER 4877 NEW BEST:: SOT 11901372 SOS 7383947 HAS SOPS 6108078 HAS SOUS 1704662 HAS SOUPS 1620094 WITH SCORE 1627477.947
AT ITER 4904 NEW BEST:: SOT 11901357 SOS 7383883 HAS SOPS 6108634 HAS SOUS 1704320 HAS SOUPS 1619752 WITH SCORE 1627135.883
AT ITER 4917 NEW BEST:: SOT 11902160 SOS 7385082 HAS SOPS 6109097 HAS SOUS 1703905 HAS SOUPS 1619337 WITH SCORE 1626722.082
AT ITER 4950 NEW BEST:: SOT 11902016 SOS 7384434 HAS SOPS 6108418 HAS SOUS 1703505 HAS SOUPS 1618937 WITH SCORE 1626321.434
AT ITER 4965 NEW BEST:: SOT 11903793 SOS 7386249 HAS SOPS 6110410 HAS SOUS 1703399 HAS SOUPS 1618864 WITH SCORE 1626250.249
AT ITER 4985 NEW BEST:: SOT 11907220 SOS 7391228 HAS SOPS 6113528 HAS SOUS 1700783 HAS SOUPS 1616175 WITH SCORE 1623566.228
AT ITER 4986 NEW BEST:: SOT 11907116 SOS 7389828 HAS SOPS 6112794 HAS SOUS 1700749 HAS SOUPS 1616141 WITH SCORE 1623530.828
AT ITER 4997 NEW BEST:: SOT 11906053 SOS 7385349 HAS SOPS 6108812 HAS SOUS 1700458 HAS SOUPS 1615863 WITH SCORE 1623248.349
AT ITER 5005 NEW BEST:: SOT 11905738 SOS 7384031 HAS SOPS 6108158 HAS SOUS 1698805 HAS SOUPS 1614591 WITH SCORE 1621975.031
AT ITER 5006 NEW BEST:: SOT 11905773 SOS 7384062 HAS SOPS 6108157 HAS SOUS 1698694 HAS SOUPS 1614480 WITH SCORE 1621864.062
AT ITER 5018 NEW BEST:: SOT 11905906 SOS 7384197 HAS SOPS 6108403 HAS SOUS 1698657 HAS SOUPS 1614443 WITH SCORE 1621827.197
AT ITER 5029 NEW BEST:: SOT 11905699 SOS 7383852 HAS SOPS 6108008 HAS SOUS 1698216 HAS SOUPS 1614004 WITH SCORE 1621387.852
AT ITER 5100 NEW BEST:: SOT 11907399 SOS 7386243 HAS SOPS 6109562 HAS SOUS 1697279 HAS SOUPS 1613142 WITH SCORE 1620528.243
AT ITER 5103 NEW BEST:: SOT 11907396 SOS 7386239 HAS SOPS 6109527 HAS SOUS 1697277 HAS SOUPS 1613140 WITH SCORE 1620526.239
AT ITER 5110 NEW BEST:: SOT 11907452 SOS 7387233 HAS SOPS 6110235 HAS SOUS 1697275 HAS SOUPS 1613138 WITH SCORE 1620525.233
AT ITER 5115 NEW BEST:: SOT 11908225 SOS 7388409 HAS SOPS 6111093 HAS SOUS 1697134 HAS SOUPS 1612984 WITH SCORE 1620372.409
AT ITER 5147 NEW BEST:: SOT 11908386 SOS 7388570 HAS SOPS 6110918 HAS SOUS 1695639 HAS SOUPS 1611489 WITH SCORE 1618877.57
AT ITER 5168 NEW BEST:: SOT 11908386 SOS 7391070 HAS SOPS 6113746 HAS SOUS 1694369 HAS SOUPS 1610301 WITH SCORE 1617692.07
AT ITER 5178 NEW BEST:: SOT 11908323 SOS 7391007 HAS SOPS 6113827 HAS SOUS 1694170 HAS SOUPS 1610198 WITH SCORE 1617589.007
AT ITER 5224 NEW BEST:: SOT 11909720 SOS 7395550 HAS SOPS 6117304 HAS SOUS 1694049 HAS SOUPS 1610077 WITH SCORE 1617472.55
AT ITER 5248 NEW BEST:: SOT 11909877 SOS 7396172 HAS SOPS 6118552 HAS SOUS 1693544 HAS SOUPS 1609572 WITH SCORE 1616968.172
AT ITER 5288 NEW BEST:: SOT 11906171 SOS 7392390 HAS SOPS 6114370 HAS SOUS 1689189 HAS SOUPS 1605217 WITH SCORE 1612609.39
AT ITER 5292 NEW BEST:: SOT 11902487 SOS 7386968 HAS SOPS 6109452 HAS SOUS 1685713 HAS SOUPS 1601741 WITH SCORE 1609127.968
AT ITER 5327 NEW BEST:: SOT 11905293 SOS 7386848 HAS SOPS 6110818 HAS SOUS 1684738 HAS SOUPS 1600766 WITH SCORE 1608152.848
AT ITER 5328 NEW BEST:: SOT 11904435 SOS 7383360 HAS SOPS 6108316 HAS SOUS 1683343 HAS SOUPS 1599581 WITH SCORE 1606964.36
AT ITER 5393 NEW BEST:: SOT 11904339 SOS 7383264 HAS SOPS 6108220 HAS SOUS 1683311 HAS SOUPS 1599549 WITH SCORE 1606932.264
AT ITER 5394 NEW BEST:: SOT 11903691 SOS 7382630 HAS SOPS 6107286 HAS SOUS 1681983 HAS SOUPS 1598215 WITH SCORE 1605597.63
AT ITER 5407 NEW BEST:: SOT 11903157 SOS 7382096 HAS SOPS 6106752 HAS SOUS 1681913 HAS SOUPS 1598145 WITH SCORE 1605527.096
AT ITER 5416 NEW BEST:: SOT 11898308 SOS 7376017 HAS SOPS 6101258 HAS SOUS 1677051 HAS SOUPS 1593283 WITH SCORE 1600659.017
AT ITER 5420 NEW BEST:: SOT 11897919 SOS 7375635 HAS SOPS 6100799 HAS SOUS 1676414 HAS SOUPS 1592646 WITH SCORE 1600021.635
AT ITER 5430 NEW BEST:: SOT 11893793 SOS 7364230 HAS SOPS 6089898 HAS SOUS 1673585 HAS SOUPS 1589817 WITH SCORE 1597181.23
AT ITER 5445 NEW BEST:: SOT 11893374 SOS 7363798 HAS SOPS 6089726 HAS SOUS 1672759 HAS SOUPS 1589039 WITH SCORE 1596402.798
AT ITER 5461 NEW BEST:: SOT 11894734 SOS 7370232 HAS SOPS 6094119 HAS SOUS 1672751 HAS SOUPS 1589031 WITH SCORE 1596401.232
AT ITER 5480 NEW BEST:: SOT 11894682 SOS 7368449 HAS SOPS 6092373 HAS SOUS 1672210 HAS SOUPS 1588490 WITH SCORE 1595858.449
AT ITER 5504 NEW BEST:: SOT 11900095 SOS 7378807 HAS SOPS 6100308 HAS SOUS 1671577 HAS SOUPS 1587857 WITH SCORE 1595235.807
AT ITER 5507 NEW BEST:: SOT 11900156 SOS 7376617 HAS SOPS 6098549 HAS SOUS 1671470 HAS SOUPS 1587765 WITH SCORE 1595141.617
AT ITER 5511 NEW BEST:: SOT 11900134 SOS 7379011 HAS SOPS 6099299 HAS SOUS 1670071 HAS SOUPS 1586323 WITH SCORE 1593702.011
AT ITER 5521 NEW BEST:: SOT 11900134 SOS 7378941 HAS SOPS 6099296 HAS SOUS 1670066 HAS SOUPS 1586318 WITH SCORE 1593696.941
AT ITER 5527 NEW BEST:: SOT 11894477 SOS 7370826 HAS SOPS 6090382 HAS SOUS 1660595 HAS SOUPS 1576847 WITH SCORE 1584217.826
AT ITER 5547 NEW BEST:: SOT 11894891 SOS 7370260 HAS SOPS 6089759 HAS SOUS 1659617 HAS SOUPS 1575942 WITH SCORE 1583312.26
AT ITER 5604 NEW BEST:: SOT 11894268 SOS 7369568 HAS SOPS 6089419 HAS SOUS 1659534 HAS SOUPS 1575859 WITH SCORE 1583228.568
AT ITER 5611 NEW BEST:: SOT 11892588 SOS 7367888 HAS SOPS 6087515 HAS SOUS 1656958 HAS SOUPS 1573283 WITH SCORE 1580650.888
AT ITER 5613 NEW BEST:: SOT 11892650 SOS 7368221 HAS SOPS 6087928 HAS SOUS 1656941 HAS SOUPS 1573266 WITH SCORE 1580634.221
AT ITER 5648 NEW BEST:: SOT 11892773 SOS 7367740 HAS SOPS 6087991 HAS SOUS 1656887 HAS SOUPS 1573212 WITH SCORE 1580579.74
AT ITER 5654 NEW BEST:: SOT 11892108 SOS 7367075 HAS SOPS 6087310 HAS SOUS 1656110 HAS SOUPS 1572419 WITH SCORE 1579786.075
AT ITER 5664 NEW BEST:: SOT 11891898 SOS 7367001 HAS SOPS 6087579 HAS SOUS 1655439 HAS SOUPS 1571748 WITH SCORE 1579115.001
AT ITER 5676 NEW BEST:: SOT 11891731 SOS 7367565 HAS SOPS 6089190 HAS SOUS 1655277 HAS SOUPS 1571586 WITH SCORE 1578953.565
AT ITER 5765 NEW BEST:: SOT 11891115 SOS 7368544 HAS SOPS 6089562 HAS SOUS 1653414 HAS SOUPS 1569680 WITH SCORE 1577048.544
AT ITER 5767 NEW BEST:: SOT 11890310 SOS 7369622 HAS SOPS 6090031 HAS SOUS 1651838 HAS SOUPS 1568104 WITH SCORE 1575473.622
AT ITER 5775 NEW BEST:: SOT 11890328 SOS 7369644 HAS SOPS 6090030 HAS SOUS 1651794 HAS SOUPS 1568060 WITH SCORE 1575429.644
AT ITER 5777 NEW BEST:: SOT 11890300 SOS 7369616 HAS SOPS 6089986 HAS SOUS 1651710 HAS SOUPS 1567976 WITH SCORE 1575345.616
AT ITER 5781 NEW BEST:: SOT 11889385 SOS 7369315 HAS SOPS 6088367 HAS SOUS 1649732 HAS SOUPS 1565998 WITH SCORE 1573367.315
AT ITER 5816 NEW BEST:: SOT 11890786 SOS 7372977 HAS SOPS 6090706 HAS SOUS 1648555 HAS SOUPS 1564821 WITH SCORE 1572193.977
AT ITER 5840 NEW BEST:: SOT 11890786 SOS 7373202 HAS SOPS 6090986 HAS SOUS 1645917 HAS SOUPS 1562216 WITH SCORE 1569589.202
AT ITER 5855 NEW BEST:: SOT 11891654 SOS 7366321 HAS SOPS 6083153 HAS SOUS 1645563 HAS SOUPS 1561743 WITH SCORE 1569109.321
AT ITER 5887 NEW BEST:: SOT 11890981 SOS 7365146 HAS SOPS 6081021 HAS SOUS 1638598 HAS SOUPS 1554778 WITH SCORE 1562143.146
AT ITER 5890 NEW BEST:: SOT 11890965 SOS 7364849 HAS SOPS 6079816 HAS SOUS 1637363 HAS SOUPS 1553514 WITH SCORE 1560878.849
AT ITER 5907 NEW BEST:: SOT 11891163 SOS 7366329 HAS SOPS 6080885 HAS SOUS 1636995 HAS SOUPS 1553137 WITH SCORE 1560503.329
AT ITER 5922 NEW BEST:: SOT 11890828 SOS 7365950 HAS SOPS 6080348 HAS SOUS 1636727 HAS SOUPS 1552816 WITH SCORE 1560181.95
AT ITER 5925 NEW BEST:: SOT 11887091 SOS 7363373 HAS SOPS 6078501 HAS SOUS 1635224 HAS SOUPS 1551278 WITH SCORE 1558641.373
AT ITER 5926 NEW BEST:: SOT 11889454 SOS 7360216 HAS SOPS 6076403 HAS SOUS 1634862 HAS SOUPS 1550916 WITH SCORE 1558276.216
AT ITER 5930 NEW BEST:: SOT 11886556 SOS 7354505 HAS SOPS 6072413 HAS SOUS 1634229 HAS SOUPS 1550283 WITH SCORE 1557637.505
AT ITER 5937 NEW BEST:: SOT 11886866 SOS 7356836 HAS SOPS 6073036 HAS SOUS 1632499 HAS SOUPS 1548526 WITH SCORE 1555882.836
AT ITER 5942 NEW BEST:: SOT 11883855 SOS 7353246 HAS SOPS 6069204 HAS SOUS 1628858 HAS SOUPS 1544536 WITH SCORE 1551889.246
AT ITER 5945 NEW BEST:: SOT 11872680 SOS 7338284 HAS SOPS 6050264 HAS SOUS 1621626 HAS SOUPS 1537133 WITH SCORE 1544471.284
AT ITER 5956 NEW BEST:: SOT 11870201 SOS 7328923 HAS SOPS 6042369 HAS SOUS 1621068 HAS SOUPS 1536575 WITH SCORE 1543903.923
AT ITER 5978 NEW BEST:: SOT 11870001 SOS 7328710 HAS SOPS 6042180 HAS SOUS 1620795 HAS SOUPS 1536304 WITH SCORE 1543632.71
AT ITER 5989 NEW BEST:: SOT 11870060 SOS 7330786 HAS SOPS 6045301 HAS SOUS 1619609 HAS SOUPS 1535118 WITH SCORE 1542448.786
AT ITER 6009 NEW BEST:: SOT 11870008 SOS 7330746 HAS SOPS 6045249 HAS SOUS 1619561 HAS SOUPS 1535066 WITH SCORE 1542396.746
AT ITER 6011 NEW BEST:: SOT 11868791 SOS 7329057 HAS SOPS 6045781 HAS SOUS 1618872 HAS SOUPS 1534814 WITH SCORE 1542143.057
AT ITER 6026 NEW BEST:: SOT 11861314 SOS 7314082 HAS SOPS 6030221 HAS SOUS 1610023 HAS SOUPS 1525965 WITH SCORE 1533279.082
AT ITER 6072 NEW BEST:: SOT 11856179 SOS 7307970 HAS SOPS 6025532 HAS SOUS 1609686 HAS SOUPS 1525604 WITH SCORE 1532911.97
AT ITER 6081 NEW BEST:: SOT 11856331 SOS 7309286 HAS SOPS 6026897 HAS SOUS 1609177 HAS SOUPS 1525095 WITH SCORE 1532404.286
AT ITER 6126 NEW BEST:: SOT 11854401 SOS 7307356 HAS SOPS 6025047 HAS SOUS 1607663 HAS SOUPS 1523581 WITH SCORE 1530888.356
AT ITER 6154 NEW BEST:: SOT 11855043 SOS 7307659 HAS SOPS 6025248 HAS SOUS 1603507 HAS SOUPS 1519480 WITH SCORE 1526787.659
AT ITER 6218 NEW BEST:: SOT 11855031 SOS 7307671 HAS SOPS 6025284 HAS SOUS 1603469 HAS SOUPS 1519442 WITH SCORE 1526749.671
AT ITER 6225 NEW BEST:: SOT 11852181 SOS 7289459 HAS SOPS 6016176 HAS SOUS 1602642 HAS SOUPS 1518872 WITH SCORE 1526161.459
AT ITER 6288 NEW BEST:: SOT 11851751 SOS 7288938 HAS SOPS 6015171 HAS SOUS 1601412 HAS SOUPS 1517642 WITH SCORE 1524930.938
AT ITER 6298 NEW BEST:: SOT 11851770 SOS 7288989 HAS SOPS 6015208 HAS SOUS 1601315 HAS SOUPS 1517545 WITH SCORE 1524833.989
AT ITER 6319 NEW BEST:: SOT 11850637 SOS 7287722 HAS SOPS 6013598 HAS SOUS 1600339 HAS SOUPS 1516569 WITH SCORE 1523856.722
AT ITER 6345 NEW BEST:: SOT 11851017 SOS 7288102 HAS SOPS 6013962 HAS SOUS 1600331 HAS SOUPS 1516561 WITH SCORE 1523849.102
AT ITER 6370 NEW BEST:: SOT 11850541 SOS 7287626 HAS SOPS 6013246 HAS SOUS 1598599 HAS SOUPS 1514829 WITH SCORE 1522116.626
AT ITER 6399 NEW BEST:: SOT 11849262 SOS 7287225 HAS SOPS 6011778 HAS SOUS 1594695 HAS SOUPS 1510925 WITH SCORE 1518212.225
AT ITER 6418 NEW BEST:: SOT 11849116 SOS 7295694 HAS SOPS 6019256 HAS SOUS 1588383 HAS SOUPS 1504613 WITH SCORE 1511908.694
AT ITER 6419 NEW BEST:: SOT 11848954 SOS 7295532 HAS SOPS 6019046 HAS SOUS 1588053 HAS SOUPS 1504283 WITH SCORE 1511578.532
AT ITER 6428 NEW BEST:: SOT 11848973 SOS 7295393 HAS SOPS 6018874 HAS SOUS 1588035 HAS SOUPS 1504265 WITH SCORE 1511560.393
AT ITER 6435 NEW BEST:: SOT 11847778 SOS 7293998 HAS SOPS 6017383 HAS SOUS 1586846 HAS SOUPS 1503038 WITH SCORE 1510331.998
AT ITER 6451 NEW BEST:: SOT 11848051 SOS 7293647 HAS SOPS 6017224 HAS SOUS 1586383 HAS SOUPS 1502587 WITH SCORE 1509880.647
AT ITER 6479 NEW BEST:: SOT 11848228 SOS 7293873 HAS SOPS 6017440 HAS SOUS 1585239 HAS SOUPS 1501505 WITH SCORE 1508798.873
AT ITER 6484 NEW BEST:: SOT 11845066 SOS 7286533 HAS SOPS 6009946 HAS SOUS 1582364 HAS SOUPS 1498630 WITH SCORE 1505916.533
AT ITER 6491 NEW BEST:: SOT 11851141 SOS 7290079 HAS SOPS 6019061 HAS SOUS 1582041 HAS SOUPS 1498307 WITH SCORE 1505597.079
AT ITER 6504 NEW BEST:: SOT 11851147 SOS 7290153 HAS SOPS 6019070 HAS SOUS 1581823 HAS SOUPS 1498091 WITH SCORE 1505381.153
AT ITER 6518 NEW BEST:: SOT 11849478 SOS 7288484 HAS SOPS 6017401 HAS SOUS 1581210 HAS SOUPS 1497478 WITH SCORE 1504766.484
AT ITER 6529 NEW BEST:: SOT 11849032 SOS 7288038 HAS SOPS 6016731 HAS SOUS 1580204 HAS SOUPS 1496472 WITH SCORE 1503760.038
AT ITER 6537 NEW BEST:: SOT 11849358 SOS 7289374 HAS SOPS 6016713 HAS SOUS 1577546 HAS SOUPS 1493814 WITH SCORE 1501103.374
AT ITER 6544 NEW BEST:: SOT 11847403 SOS 7285339 HAS SOPS 6013617 HAS SOUS 1575262 HAS SOUPS 1491795 WITH SCORE 1499080.339
AT ITER 6600 NEW BEST:: SOT 11847379 SOS 7285313 HAS SOPS 6013543 HAS SOUS 1575219 HAS SOUPS 1491752 WITH SCORE 1499037.313
AT ITER 6609 NEW BEST:: SOT 11847992 SOS 7286103 HAS SOPS 6013870 HAS SOUS 1574679 HAS SOUPS 1491212 WITH SCORE 1498498.103
AT ITER 6648 NEW BEST:: SOT 11842723 SOS 7278211 HAS SOPS 6005400 HAS SOUS 1570057 HAS SOUPS 1486590 WITH SCORE 1493868.211
AT ITER 6693 NEW BEST:: SOT 11842293 SOS 7274903 HAS SOPS 6000198 HAS SOUS 1568469 HAS SOUPS 1485002 WITH SCORE 1492276.903
AT ITER 6705 NEW BEST:: SOT 11829898 SOS 7259803 HAS SOPS 5981529 HAS SOUS 1560921 HAS SOUPS 1477112 WITH SCORE 1484371.803
AT ITER 6718 NEW BEST:: SOT 11829862 SOS 7259847 HAS SOPS 5981461 HAS SOUS 1560865 HAS SOUPS 1477052 WITH SCORE 1484311.847
AT ITER 6735 NEW BEST:: SOT 11826180 SOS 7251316 HAS SOPS 5976292 HAS SOUS 1558309 HAS SOUPS 1474681 WITH SCORE 1481932.316
AT ITER 6739 NEW BEST:: SOT 11826209 SOS 7249616 HAS SOPS 5975722 HAS SOUS 1558138 HAS SOUPS 1474510 WITH SCORE 1481759.616
AT ITER 6747 NEW BEST:: SOT 11825848 SOS 7251058 HAS SOPS 5976642 HAS SOUS 1557259 HAS SOUPS 1473631 WITH SCORE 1480882.058
AT ITER 6781 NEW BEST:: SOT 11825465 SOS 7250278 HAS SOPS 5976386 HAS SOUS 1556523 HAS SOUPS 1472895 WITH SCORE 1480145.278
AT ITER 6783 NEW BEST:: SOT 11825455 SOS 7251480 HAS SOPS 5976632 HAS SOUS 1555965 HAS SOUPS 1472258 WITH SCORE 1479509.48
AT ITER 6798 NEW BEST:: SOT 11825206 SOS 7251074 HAS SOPS 5975896 HAS SOUS 1554427 HAS SOUPS 1470720 WITH SCORE 1477971.074
AT ITER 6806 NEW BEST:: SOT 11823676 SOS 7249486 HAS SOPS 5973411 HAS SOUS 1552205 HAS SOUPS 1468498 WITH SCORE 1475747.486
AT ITER 6826 NEW BEST:: SOT 11822820 SOS 7249162 HAS SOPS 5973390 HAS SOUS 1551085 HAS SOUPS 1467378 WITH SCORE 1474627.162
AT ITER 6831 NEW BEST:: SOT 11822763 SOS 7248423 HAS SOPS 5972178 HAS SOUS 1550979 HAS SOUPS 1467272 WITH SCORE 1474520.423
AT ITER 6854 NEW BEST:: SOT 11822678 SOS 7248234 HAS SOPS 5972241 HAS SOUS 1550604 HAS SOUPS 1466897 WITH SCORE 1474145.234
AT ITER 6870 NEW BEST:: SOT 11822783 SOS 7248705 HAS SOPS 5972741 HAS SOUS 1548968 HAS SOUPS 1465261 WITH SCORE 1472509.705
AT ITER 6877 NEW BEST:: SOT 11824018 SOS 7251902 HAS SOPS 5975868 HAS SOUS 1548175 HAS SOUPS 1464468 WITH SCORE 1471719.902
AT ITER 6885 NEW BEST:: SOT 11823790 SOS 7250682 HAS SOPS 5974687 HAS SOUS 1548021 HAS SOUPS 1464314 WITH SCORE 1471564.682
AT ITER 6897 NEW BEST:: SOT 11822753 SOS 7249750 HAS SOPS 5973361 HAS SOUS 1546046 HAS SOUPS 1462356 WITH SCORE 1469605.75
AT ITER 6904 NEW BEST:: SOT 11822716 SOS 7248245 HAS SOPS 5971925 HAS SOUS 1545162 HAS SOUPS 1461472 WITH SCORE 1468720.245
AT ITER 6921 NEW BEST:: SOT 11820164 SOS 7243879 HAS SOPS 5968558 HAS SOUS 1543673 HAS SOUPS 1459983 WITH SCORE 1467226.879
AT ITER 6943 NEW BEST:: SOT 11819719 SOS 7243434 HAS SOPS 5968033 HAS SOUS 1543228 HAS SOUPS 1459538 WITH SCORE 1466781.434
AT ITER 6971 NEW BEST:: SOT 11819706 SOS 7242366 HAS SOPS 5967656 HAS SOUS 1543086 HAS SOUPS 1459396 WITH SCORE 1466638.366
AT ITER 6972 NEW BEST:: SOT 11817624 SOS 7239423 HAS SOPS 5963978 HAS SOUS 1538606 HAS SOUPS 1454916 WITH SCORE 1462155.423
AT ITER 7008 NEW BEST:: SOT 11815758 SOS 7238364 HAS SOPS 5966920 HAS SOUS 1536375 HAS SOUPS 1452685 WITH SCORE 1459923.364
AT ITER 7010 NEW BEST:: SOT 11817258 SOS 7242524 HAS SOPS 5970383 HAS SOUS 1535192 HAS SOUPS 1451502 WITH SCORE 1458744.524
AT ITER 7026 NEW BEST:: SOT 11815626 SOS 7240892 HAS SOPS 5968751 HAS SOUS 1533556 HAS SOUPS 1449866 WITH SCORE 1457106.892
AT ITER 7045 NEW BEST:: SOT 11814258 SOS 7234553 HAS SOPS 5964383 HAS SOUS 1533436 HAS SOUPS 1449746 WITH SCORE 1456980.553
AT ITER 7047 NEW BEST:: SOT 11812758 SOS 7231951 HAS SOPS 5960288 HAS SOUS 1528970 HAS SOUPS 1445280 WITH SCORE 1452511.951
AT ITER 7054 NEW BEST:: SOT 11812780 SOS 7231890 HAS SOPS 5960310 HAS SOUS 1528955 HAS SOUPS 1445265 WITH SCORE 1452496.89
AT ITER 7082 NEW BEST:: SOT 11811819 SOS 7228865 HAS SOPS 5957224 HAS SOUS 1526688 HAS SOUPS 1443030 WITH SCORE 1450258.865
AT ITER 7094 NEW BEST:: SOT 11811907 SOS 7228834 HAS SOPS 5957248 HAS SOUS 1526279 HAS SOUPS 1442637 WITH SCORE 1449865.834
AT ITER 7095 NEW BEST:: SOT 11811383 SOS 7228627 HAS SOPS 5956384 HAS SOUS 1524140 HAS SOUPS 1440498 WITH SCORE 1447726.627
AT ITER 7096 NEW BEST:: SOT 11811483 SOS 7227813 HAS SOPS 5956814 HAS SOUS 1523505 HAS SOUPS 1439863 WITH SCORE 1447090.813
AT ITER 7110 NEW BEST:: SOT 11811462 SOS 7227800 HAS SOPS 5956773 HAS SOUS 1523489 HAS SOUPS 1439847 WITH SCORE 1447074.8
AT ITER 7141 NEW BEST:: SOT 11811242 SOS 7227417 HAS SOPS 5956372 HAS SOUS 1523033 HAS SOUPS 1439401 WITH SCORE 1446628.417
AT ITER 7210 NEW BEST:: SOT 11810332 SOS 7226430 HAS SOPS 5955049 HAS SOUS 1521433 HAS SOUPS 1437753 WITH SCORE 1444979.43
AT ITER 7217 NEW BEST:: SOT 11810829 SOS 7226927 HAS SOPS 5955546 HAS SOUS 1521306 HAS SOUPS 1437626 WITH SCORE 1444852.927
AT ITER 7232 NEW BEST:: SOT 11807819 SOS 7219881 HAS SOPS 5950142 HAS SOUS 1519346 HAS SOUPS 1435666 WITH SCORE 1442885.881
AT ITER 7244 NEW BEST:: SOT 11807826 SOS 7219729 HAS SOPS 5949702 HAS SOUS 1519134 HAS SOUPS 1435454 WITH SCORE 1442673.729
AT ITER 7251 NEW BEST:: SOT 11807670 SOS 7219447 HAS SOPS 5949371 HAS SOUS 1518763 HAS SOUPS 1435083 WITH SCORE 1442302.447
AT ITER 7252 NEW BEST:: SOT 11808597 SOS 7219825 HAS SOPS 5949686 HAS SOUS 1517483 HAS SOUPS 1433829 WITH SCORE 1441048.825
AT ITER 7272 NEW BEST:: SOT 11808945 SOS 7220173 HAS SOPS 5950018 HAS SOUS 1517451 HAS SOUPS 1433781 WITH SCORE 1441001.173
AT ITER 7283 NEW BEST:: SOT 11808886 SOS 7219950 HAS SOPS 5951288 HAS SOUS 1514970 HAS SOUPS 1431362 WITH SCORE 1438581.95
AT ITER 7306 NEW BEST:: SOT 11809141 SOS 7220271 HAS SOPS 5951463 HAS SOUS 1514854 HAS SOUPS 1431246 WITH SCORE 1438466.271
AT ITER 7343 NEW BEST:: SOT 11809041 SOS 7220010 HAS SOPS 5951160 HAS SOUS 1514475 HAS SOUPS 1430867 WITH SCORE 1438087.01
AT ITER 7369 NEW BEST:: SOT 11808868 SOS 7219895 HAS SOPS 5950827 HAS SOUS 1513919 HAS SOUPS 1430311 WITH SCORE 1437530.895
AT ITER 7371 NEW BEST:: SOT 11808265 SOS 7219228 HAS SOPS 5950267 HAS SOUS 1513311 HAS SOUPS 1429721 WITH SCORE 1436940.228
AT ITER 7379 NEW BEST:: SOT 11807234 SOS 7218269 HAS SOPS 5948756 HAS SOUS 1511253 HAS SOUPS 1427639 WITH SCORE 1434857.269
AT ITER 7407 NEW BEST:: SOT 11807752 SOS 7220049 HAS SOPS 5950382 HAS SOUS 1509931 HAS SOUPS 1426317 WITH SCORE 1433537.049
AT ITER 7408 NEW BEST:: SOT 11807574 SOS 7219917 HAS SOPS 5950204 HAS SOUS 1509217 HAS SOUPS 1425595 WITH SCORE 1432814.917
AT ITER 7437 NEW BEST:: SOT 11805711 SOS 7218102 HAS SOPS 5948762 HAS SOUS 1506934 HAS SOUPS 1423348 WITH SCORE 1430566.102
AT ITER 7441 NEW BEST:: SOT 11805365 SOS 7217882 HAS SOPS 5947943 HAS SOUS 1506171 HAS SOUPS 1422585 WITH SCORE 1429802.882
AT ITER 7448 NEW BEST:: SOT 11803370 SOS 7214772 HAS SOPS 5944833 HAS SOUS 1503492 HAS SOUPS 1419906 WITH SCORE 1427120.772
AT ITER 7456 NEW BEST:: SOT 11802165 SOS 7213380 HAS SOPS 5942288 HAS SOUS 1501701 HAS SOUPS 1418069 WITH SCORE 1425282.38
AT ITER 7489 NEW BEST:: SOT 11802191 SOS 7213815 HAS SOPS 5942044 HAS SOUS 1501552 HAS SOUPS 1417920 WITH SCORE 1425133.815
AT ITER 7497 NEW BEST:: SOT 11801846 SOS 7213365 HAS SOPS 5941250 HAS SOUS 1501456 HAS SOUPS 1417811 WITH SCORE 1425024.365
AT ITER 7498 NEW BEST:: SOT 11800315 SOS 7209930 HAS SOPS 5939124 HAS SOUS 1501128 HAS SOUPS 1417523 WITH SCORE 1424732.93
AT ITER 7499 NEW BEST:: SOT 11797615 SOS 7207385 HAS SOPS 5938044 HAS SOUS 1497949 HAS SOUPS 1414344 WITH SCORE 1421551.385
AT ITER 7530 NEW BEST:: SOT 11796335 SOS 7206028 HAS SOPS 5936291 HAS SOUS 1495811 HAS SOUPS 1412201 WITH SCORE 1419407.028
AT ITER 7567 NEW BEST:: SOT 11796780 SOS 7206654 HAS SOPS 5936627 HAS SOUS 1495187 HAS SOUPS 1411577 WITH SCORE 1418783.654
AT ITER 7571 NEW BEST:: SOT 11796636 SOS 7206228 HAS SOPS 5935127 HAS SOUS 1494351 HAS SOUPS 1410741 WITH SCORE 1417947.228
AT ITER 7574 NEW BEST:: SOT 11797641 SOS 7204901 HAS SOPS 5934096 HAS SOUS 1494268 HAS SOUPS 1410723 WITH SCORE 1417927.901
AT ITER 7599 NEW BEST:: SOT 11797419 SOS 7204671 HAS SOPS 5933777 HAS SOUS 1494105 HAS SOUPS 1410494 WITH SCORE 1417698.671
AT ITER 7634 NEW BEST:: SOT 11796940 SOS 7203155 HAS SOPS 5932028 HAS SOUS 1492705 HAS SOUPS 1409094 WITH SCORE 1416297.155
AT ITER 7654 NEW BEST:: SOT 11796824 SOS 7203041 HAS SOPS 5931848 HAS SOUS 1492429 HAS SOUPS 1408816 WITH SCORE 1416019.041
AT ITER 7657 NEW BEST:: SOT 11796801 SOS 7203019 HAS SOPS 5931369 HAS SOUS 1492417 HAS SOUPS 1408804 WITH SCORE 1416007.019
AT ITER 7660 NEW BEST:: SOT 11797206 SOS 7198876 HAS SOPS 5927319 HAS SOUS 1490405 HAS SOUPS 1406792 WITH SCORE 1413990.876
AT ITER 7694 NEW BEST:: SOT 11797369 SOS 7198927 HAS SOPS 5927490 HAS SOUS 1489512 HAS SOUPS 1406155 WITH SCORE 1413353.927
AT ITER 7701 NEW BEST:: SOT 11796940 SOS 7199060 HAS SOPS 5927779 HAS SOUS 1489110 HAS SOUPS 1405753 WITH SCORE 1412952.06
AT ITER 7751 NEW BEST:: SOT 11796387 SOS 7198618 HAS SOPS 5926944 HAS SOUS 1487612 HAS SOUPS 1404255 WITH SCORE 1411453.618
AT ITER 7801 NEW BEST:: SOT 11793675 SOS 7194230 HAS SOPS 5922285 HAS SOUS 1484650 HAS SOUPS 1401269 WITH SCORE 1408463.23
AT ITER 7822 NEW BEST:: SOT 11789508 SOS 7190063 HAS SOPS 5917974 HAS SOUS 1478475 HAS SOUPS 1395094 WITH SCORE 1402284.063
AT ITER 7828 NEW BEST:: SOT 11789514 SOS 7190069 HAS SOPS 5917980 HAS SOUS 1478461 HAS SOUPS 1395080 WITH SCORE 1402270.069
AT ITER 7835 NEW BEST:: SOT 11788047 SOS 7188817 HAS SOPS 5916173 HAS SOUS 1477369 HAS SOUPS 1393988 WITH SCORE 1401176.817
AT ITER 7846 NEW BEST:: SOT 11787791 SOS 7188597 HAS SOPS 5915517 HAS SOUS 1476706 HAS SOUPS 1392889 WITH SCORE 1400077.597
AT ITER 7871 NEW BEST:: SOT 11787784 SOS 7188542 HAS SOPS 5915462 HAS SOUS 1476582 HAS SOUPS 1392765 WITH SCORE 1399953.542
AT ITER 7878 NEW BEST:: SOT 11793189 SOS 7192969 HAS SOPS 5919995 HAS SOUS 1474574 HAS SOUPS 1390855 WITH SCORE 1398047.969
AT ITER 7890 NEW BEST:: SOT 11793123 SOS 7192911 HAS SOPS 5919941 HAS SOUS 1474293 HAS SOUPS 1390574 WITH SCORE 1397766.911
AT ITER 7898 NEW BEST:: SOT 11793075 SOS 7192863 HAS SOPS 5919893 HAS SOUS 1474229 HAS SOUPS 1390510 WITH SCORE 1397702.863
AT ITER 7919 NEW BEST:: SOT 11791109 SOS 7190897 HAS SOPS 5917703 HAS SOUS 1471143 HAS SOUPS 1387424 WITH SCORE 1394614.897
AT ITER 7925 NEW BEST:: SOT 11790701 SOS 7190401 HAS SOPS 5917189 HAS SOUS 1470145 HAS SOUPS 1386432 WITH SCORE 1393622.401
AT ITER 7938 NEW BEST:: SOT 11790674 SOS 7190436 HAS SOPS 5917745 HAS SOUS 1470082 HAS SOUPS 1386369 WITH SCORE 1393559.436
AT ITER 7949 NEW BEST:: SOT 11791186 SOS 7190581 HAS SOPS 5918043 HAS SOUS 1469783 HAS SOUPS 1386119 WITH SCORE 1393309.581
AT ITER 7969 NEW BEST:: SOT 11790975 SOS 7190376 HAS SOPS 5917736 HAS SOUS 1469398 HAS SOUPS 1385728 WITH SCORE 1392918.376
AT ITER 7983 NEW BEST:: SOT 11791247 SOS 7190648 HAS SOPS 5917960 HAS SOUS 1469110 HAS SOUPS 1385440 WITH SCORE 1392630.648
AT ITER 8027 NEW BEST:: SOT 11792510 SOS 7197366 HAS SOPS 5925766 HAS SOUS 1469043 HAS SOUPS 1385373 WITH SCORE 1392570.366
AT ITER 8028 NEW BEST:: SOT 11786529 SOS 7191895 HAS SOPS 5919850 HAS SOUS 1461088 HAS SOUPS 1377375 WITH SCORE 1384566.895
AT ITER 8030 NEW BEST:: SOT 11786506 SOS 7191818 HAS SOPS 5919751 HAS SOUS 1461087 HAS SOUPS 1377374 WITH SCORE 1384565.818
AT ITER 8091 NEW BEST:: SOT 11786506 SOS 7191746 HAS SOPS 5919702 HAS SOUS 1461075 HAS SOUPS 1377362 WITH SCORE 1384553.746
AT ITER 8094 NEW BEST:: SOT 11786480 SOS 7191651 HAS SOPS 5919590 HAS SOUS 1460992 HAS SOUPS 1377279 WITH SCORE 1384470.651
AT ITER 8123 NEW BEST:: SOT 11788555 SOS 7193720 HAS SOPS 5920411 HAS SOUS 1457588 HAS SOUPS 1373731 WITH SCORE 1380924.72
AT ITER 8154 NEW BEST:: SOT 11788864 SOS 7194605 HAS SOPS 5921296 HAS SOUS 1456763 HAS SOUPS 1372906 WITH SCORE 1380100.605
AT ITER 8179 NEW BEST:: SOT 11788172 SOS 7193205 HAS SOPS 5919980 HAS SOUS 1456030 HAS SOUPS 1372173 WITH SCORE 1379366.205
AT ITER 8214 NEW BEST:: SOT 11787642 SOS 7192675 HAS SOPS 5919450 HAS SOUS 1455332 HAS SOUPS 1371475 WITH SCORE 1378667.675
AT ITER 8226 NEW BEST:: SOT 11779043 SOS 7179177 HAS SOPS 5907986 HAS SOUS 1449153 HAS SOUPS 1365296 WITH SCORE 1372475.177
AT ITER 8253 NEW BEST:: SOT 11779013 SOS 7179073 HAS SOPS 5907903 HAS SOUS 1449140 HAS SOUPS 1365291 WITH SCORE 1372470.073
AT ITER 8256 NEW BEST:: SOT 11779045 SOS 7179064 HAS SOPS 5908008 HAS SOUS 1449121 HAS SOUPS 1365272 WITH SCORE 1372451.064
AT ITER 8271 NEW BEST:: SOT 11775959 SOS 7175572 HAS SOPS 5902486 HAS SOUS 1446414 HAS SOUPS 1362565 WITH SCORE 1369740.572
AT ITER 8290 NEW BEST:: SOT 11773302 SOS 7173022 HAS SOPS 5898037 HAS SOUS 1440593 HAS SOUPS 1356702 WITH SCORE 1363875.022
AT ITER 8297 NEW BEST:: SOT 11773534 SOS 7173433 HAS SOPS 5898036 HAS SOUS 1440577 HAS SOUPS 1356686 WITH SCORE 1363859.433
AT ITER 8306 NEW BEST:: SOT 11773494 SOS 7173425 HAS SOPS 5897954 HAS SOUS 1440483 HAS SOUPS 1356592 WITH SCORE 1363765.425
AT ITER 8353 NEW BEST:: SOT 11775042 SOS 7176603 HAS SOPS 5899534 HAS SOUS 1439344 HAS SOUPS 1355357 WITH SCORE 1362533.603
AT ITER 8391 NEW BEST:: SOT 11775144 SOS 7177292 HAS SOPS 5900106 HAS SOUS 1439231 HAS SOUPS 1355231 WITH SCORE 1362408.292
AT ITER 8440 NEW BEST:: SOT 11775102 SOS 7177390 HAS SOPS 5900076 HAS SOUS 1439293 HAS SOUPS 1355197 WITH SCORE 1362374.39
AT ITER 8447 NEW BEST:: SOT 11773817 SOS 7176264 HAS SOPS 5898892 HAS SOUS 1437738 HAS SOUPS 1353642 WITH SCORE 1360818.264
AT ITER 8457 NEW BEST:: SOT 11773711 SOS 7176158 HAS SOPS 5898786 HAS SOUS 1437616 HAS SOUPS 1353520 WITH SCORE 1360696.158
AT ITER 8489 NEW BEST:: SOT 11770957 SOS 7167686 HAS SOPS 5890658 HAS SOUS 1434934 HAS SOUPS 1350881 WITH SCORE 1358048.686
AT ITER 8492 NEW BEST:: SOT 11771263 SOS 7166978 HAS SOPS 5890976 HAS SOUS 1434854 HAS SOUPS 1350801 WITH SCORE 1357967.978
AT ITER 8570 NEW BEST:: SOT 11771117 SOS 7166147 HAS SOPS 5889507 HAS SOUS 1433675 HAS SOUPS 1349622 WITH SCORE 1356788.147
AT ITER 8617 NEW BEST:: SOT 11769745 SOS 7162415 HAS SOPS 5886175 HAS SOUS 1429484 HAS SOUPS 1345481 WITH SCORE 1352643.415
AT ITER 8626 NEW BEST:: SOT 11767192 SOS 7160213 HAS SOPS 5885290 HAS SOUS 1428933 HAS SOUPS 1344885 WITH SCORE 1352045.213
AT ITER 8658 NEW BEST:: SOT 11768736 SOS 7162493 HAS SOPS 5889018 HAS SOUS 1427852 HAS SOUPS 1343842 WITH SCORE 1351004.493
AT ITER 8665 NEW BEST:: SOT 11770515 SOS 7167126 HAS SOPS 5892822 HAS SOUS 1427498 HAS SOUPS 1343488 WITH SCORE 1350655.126
AT ITER 8670 NEW BEST:: SOT 11770572 SOS 7167183 HAS SOPS 5892895 HAS SOUS 1427455 HAS SOUPS 1343445 WITH SCORE 1350612.183
AT ITER 8682 NEW BEST:: SOT 11770432 SOS 7167043 HAS SOPS 5892755 HAS SOUS 1426995 HAS SOUPS 1342985 WITH SCORE 1350152.043
AT ITER 8696 NEW BEST:: SOT 11770518 SOS 7168890 HAS SOPS 5895020 HAS SOUS 1426546 HAS SOUPS 1342536 WITH SCORE 1349704.89
AT ITER 8735 NEW BEST:: SOT 11770139 SOS 7168499 HAS SOPS 5894138 HAS SOUS 1422354 HAS SOUPS 1338380 WITH SCORE 1345548.499
AT ITER 8743 NEW BEST:: SOT 11769971 SOS 7168314 HAS SOPS 5893987 HAS SOUS 1422051 HAS SOUPS 1338059 WITH SCORE 1345227.314
AT ITER 8765 NEW BEST:: SOT 11770414 SOS 7168685 HAS SOPS 5894384 HAS SOUS 1421846 HAS SOUPS 1337871 WITH SCORE 1345039.685
AT ITER 8777 NEW BEST:: SOT 11770979 SOS 7166922 HAS SOPS 5892607 HAS SOUS 1421190 HAS SOUPS 1337201 WITH SCORE 1344367.922
AT ITER 8778 NEW BEST:: SOT 11771337 SOS 7167688 HAS SOPS 5892785 HAS SOUS 1418149 HAS SOUPS 1334115 WITH SCORE 1341282.688
AT ITER 8791 NEW BEST:: SOT 11770908 SOS 7167259 HAS SOPS 5892356 HAS SOUS 1417816 HAS SOUPS 1333782 WITH SCORE 1340949.259
AT ITER 8816 NEW BEST:: SOT 11770916 SOS 7167430 HAS SOPS 5892473 HAS SOUS 1417799 HAS SOUPS 1333765 WITH SCORE 1340932.43
AT ITER 8858 NEW BEST:: SOT 11767304 SOS 7159196 HAS SOPS 5884662 HAS SOUS 1415825 HAS SOUPS 1331844 WITH SCORE 1339003.196
AT ITER 8866 NEW BEST:: SOT 11767048 SOS 7158940 HAS SOPS 5884342 HAS SOUS 1415473 HAS SOUPS 1331492 WITH SCORE 1338650.94
AT ITER 8876 NEW BEST:: SOT 11766480 SOS 7155826 HAS SOPS 5881207 HAS SOUS 1414398 HAS SOUPS 1330417 WITH SCORE 1337572.826
AT ITER 8889 NEW BEST:: SOT 11766326 SOS 7155681 HAS SOPS 5881085 HAS SOUS 1414340 HAS SOUPS 1330350 WITH SCORE 1337505.681
AT ITER 8916 NEW BEST:: SOT 11764873 SOS 7153680 HAS SOPS 5878556 HAS SOUS 1411379 HAS SOUPS 1327389 WITH SCORE 1334542.68
AT ITER 8918 NEW BEST:: SOT 11764596 SOS 7152477 HAS SOPS 5877232 HAS SOUS 1410602 HAS SOUPS 1326612 WITH SCORE 1333764.477
AT ITER 8926 NEW BEST:: SOT 11764754 SOS 7152635 HAS SOPS 5876822 HAS SOUS 1409568 HAS SOUPS 1325578 WITH SCORE 1332730.635
AT ITER 8952 NEW BEST:: SOT 11766203 SOS 7157425 HAS SOPS 5877402 HAS SOUS 1406988 HAS SOUPS 1322998 WITH SCORE 1330155.425
AT ITER 8958 NEW BEST:: SOT 11765428 SOS 7156639 HAS SOPS 5876508 HAS SOUS 1405961 HAS SOUPS 1321975 WITH SCORE 1329131.639
AT ITER 8989 NEW BEST:: SOT 11764133 SOS 7154063 HAS SOPS 5874622 HAS SOUS 1405677 HAS SOUPS 1321709 WITH SCORE 1328863.063
AT ITER 8993 NEW BEST:: SOT 11764026 SOS 7153949 HAS SOPS 5874498 HAS SOUS 1405426 HAS SOUPS 1321459 WITH SCORE 1328612.949
AT ITER 8994 NEW BEST:: SOT 11763709 SOS 7153523 HAS SOPS 5874029 HAS SOUS 1405148 HAS SOUPS 1321181 WITH SCORE 1328334.523
AT ITER 9019 NEW BEST:: SOT 11762357 SOS 7149361 HAS SOPS 5870516 HAS SOUS 1403376 HAS SOUPS 1319409 WITH SCORE 1326558.361
AT ITER 9022 NEW BEST:: SOT 11762031 SOS 7149035 HAS SOPS 5870130 HAS SOUS 1403318 HAS SOUPS 1319299 WITH SCORE 1326448.035
AT ITER 9081 NEW BEST:: SOT 11761215 SOS 7148219 HAS SOPS 5869026 HAS SOUS 1402854 HAS SOUPS 1318835 WITH SCORE 1325983.219
AT ITER 9084 NEW BEST:: SOT 11761545 SOS 7147902 HAS SOPS 5867959 HAS SOUS 1402691 HAS SOUPS 1318672 WITH SCORE 1325819.902
AT ITER 9093 NEW BEST:: SOT 11764689 SOS 7152465 HAS SOPS 5872191 HAS SOUS 1399459 HAS SOUPS 1315392 WITH SCORE 1322544.465
AT ITER 9119 NEW BEST:: SOT 11764674 SOS 7152449 HAS SOPS 5872160 HAS SOUS 1399419 HAS SOUPS 1315337 WITH SCORE 1322489.449
AT ITER 9132 NEW BEST:: SOT 11764485 SOS 7151941 HAS SOPS 5871692 HAS SOUS 1398828 HAS SOUPS 1314763 WITH SCORE 1321914.941
AT ITER 9139 NEW BEST:: SOT 11764415 SOS 7151805 HAS SOPS 5871692 HAS SOUS 1398534 HAS SOUPS 1314469 WITH SCORE 1321620.805
AT ITER 9168 NEW BEST:: SOT 11764247 SOS 7150477 HAS SOPS 5869822 HAS SOUS 1397924 HAS SOUPS 1313859 WITH SCORE 1321009.477
AT ITER 9178 NEW BEST:: SOT 11763989 SOS 7150231 HAS SOPS 5869452 HAS SOUS 1397830 HAS SOUPS 1313705 WITH SCORE 1320855.231
AT ITER 9192 NEW BEST:: SOT 11764488 SOS 7151542 HAS SOPS 5869575 HAS SOUS 1397742 HAS SOUPS 1313617 WITH SCORE 1320768.542
AT ITER 9229 NEW BEST:: SOT 11764196 SOS 7150887 HAS SOPS 5869274 HAS SOUS 1396880 HAS SOUPS 1312781 WITH SCORE 1319931.887
AT ITER 9290 NEW BEST:: SOT 11763818 SOS 7150509 HAS SOPS 5868896 HAS SOUS 1396614 HAS SOUPS 1312515 WITH SCORE 1319665.509
AT ITER 9324 NEW BEST:: SOT 11763918 SOS 7151005 HAS SOPS 5868984 HAS SOUS 1395534 HAS SOUPS 1311435 WITH SCORE 1318586.005
AT ITER 9359 NEW BEST:: SOT 11763413 SOS 7149202 HAS SOPS 5867482 HAS SOUS 1393101 HAS SOUPS 1309121 WITH SCORE 1316270.202
AT ITER 9397 NEW BEST:: SOT 11762100 SOS 7147899 HAS SOPS 5867021 HAS SOUS 1392919 HAS SOUPS 1308939 WITH SCORE 1316086.899
AT ITER 9401 NEW BEST:: SOT 11762104 SOS 7147520 HAS SOPS 5866546 HAS SOUS 1392866 HAS SOUPS 1308886 WITH SCORE 1316033.52
AT ITER 9418 NEW BEST:: SOT 11762236 SOS 7147814 HAS SOPS 5866591 HAS SOUS 1392704 HAS SOUPS 1308724 WITH SCORE 1315871.814
AT ITER 9420 NEW BEST:: SOT 11760438 SOS 7144397 HAS SOPS 5863766 HAS SOUS 1390559 HAS SOUPS 1306625 WITH SCORE 1313769.397
AT ITER 9424 NEW BEST:: SOT 11759060 SOS 7143019 HAS SOPS 5862228 HAS SOUS 1389117 HAS SOUPS 1305183 WITH SCORE 1312326.019
AT ITER 9430 NEW BEST:: SOT 11758100 SOS 7140014 HAS SOPS 5859599 HAS SOUS 1388461 HAS SOUPS 1304547 WITH SCORE 1311687.014
AT ITER 9441 NEW BEST:: SOT 11760388 SOS 7142527 HAS SOPS 5861766 HAS SOUS 1386214 HAS SOUPS 1302411 WITH SCORE 1309553.527
AT ITER 9453 NEW BEST:: SOT 11761164 SOS 7143303 HAS SOPS 5861998 HAS SOUS 1384670 HAS SOUPS 1300851 WITH SCORE 1307994.303
AT ITER 9544 NEW BEST:: SOT 11760756 SOS 7142890 HAS SOPS 5861713 HAS SOUS 1384078 HAS SOUPS 1300355 WITH SCORE 1307497.89
AT ITER 9547 NEW BEST:: SOT 11760532 SOS 7142666 HAS SOPS 5861489 HAS SOUS 1384078 HAS SOUPS 1300355 WITH SCORE 1307497.666
AT ITER 9557 NEW BEST:: SOT 11760189 SOS 7143289 HAS SOPS 5861452 HAS SOUS 1384014 HAS SOUPS 1300276 WITH SCORE 1307419.289
AT ITER 9562 NEW BEST:: SOT 11759632 SOS 7143163 HAS SOPS 5860904 HAS SOUS 1384018 HAS SOUPS 1300250 WITH SCORE 1307393.163
AT ITER 9565 NEW BEST:: SOT 11759632 SOS 7143167 HAS SOPS 5860908 HAS SOUS 1384014 HAS SOUPS 1300246 WITH SCORE 1307389.167
AT ITER 9611 NEW BEST:: SOT 11759464 SOS 7142999 HAS SOPS 5860580 HAS SOUS 1383446 HAS SOUPS 1299678 WITH SCORE 1306820.999
AT ITER 9619 NEW BEST:: SOT 11759186 SOS 7142679 HAS SOPS 5860184 HAS SOUS 1382867 HAS SOUPS 1299099 WITH SCORE 1306241.679
AT ITER 9626 NEW BEST:: SOT 11759471 SOS 7142764 HAS SOPS 5860268 HAS SOUS 1382516 HAS SOUPS 1298752 WITH SCORE 1305894.764
AT ITER 9627 NEW BEST:: SOT 11759199 SOS 7142209 HAS SOPS 5859481 HAS SOUS 1380871 HAS SOUPS 1296984 WITH SCORE 1304126.209
AT ITER 9632 NEW BEST:: SOT 11758223 SOS 7141270 HAS SOPS 5858233 HAS SOUS 1380038 HAS SOUPS 1295922 WITH SCORE 1303063.27
AT ITER 9656 NEW BEST:: SOT 11759508 SOS 7139193 HAS SOPS 5858079 HAS SOUS 1378466 HAS SOUPS 1294350 WITH SCORE 1301489.193
AT ITER 9681 NEW BEST:: SOT 11743910 SOS 7111206 HAS SOPS 5836224 HAS SOUS 1368596 HAS SOUPS 1284608 WITH SCORE 1291719.206
AT ITER 9703 NEW BEST:: SOT 11743590 SOS 7111024 HAS SOPS 5836042 HAS SOUS 1368308 HAS SOUPS 1284320 WITH SCORE 1291431.024
AT ITER 9730 NEW BEST:: SOT 11742237 SOS 7112958 HAS SOPS 5832132 HAS SOUS 1365279 HAS SOUPS 1281106 WITH SCORE 1288218.958
AT ITER 9740 NEW BEST:: SOT 11742045 SOS 7112766 HAS SOPS 5831892 HAS SOUS 1364991 HAS SOUPS 1280818 WITH SCORE 1287930.766
AT ITER 9758 NEW BEST:: SOT 11742640 SOS 7116963 HAS SOPS 5835152 HAS SOUS 1364412 HAS SOUPS 1280212 WITH SCORE 1287328.963
AT ITER 9783 NEW BEST:: SOT 11740870 SOS 7114593 HAS SOPS 5832038 HAS SOUS 1361194 HAS SOUPS 1276994 WITH SCORE 1284108.593
AT ITER 9806 NEW BEST:: SOT 11741143 SOS 7115470 HAS SOPS 5832336 HAS SOUS 1360550 HAS SOUPS 1276376 WITH SCORE 1283491.47
AT ITER 9815 NEW BEST:: SOT 11740524 SOS 7114647 HAS SOPS 5831279 HAS SOUS 1358680 HAS SOUPS 1274506 WITH SCORE 1281620.647
AT ITER 9870 NEW BEST:: SOT 11740364 SOS 7114487 HAS SOPS 5830863 HAS SOUS 1357992 HAS SOUPS 1273818 WITH SCORE 1280932.487
AT ITER 9885 NEW BEST:: SOT 11736235 SOS 7104097 HAS SOPS 5823667 HAS SOUS 1355617 HAS SOUPS 1271689 WITH SCORE 1278793.097
AT ITER 9902 NEW BEST:: SOT 11735371 SOS 7103167 HAS SOPS 5822591 HAS SOUS 1353696 HAS SOUPS 1269775 WITH SCORE 1276878.167
AT ITER 9911 NEW BEST:: SOT 11733421 SOS 7096984 HAS SOPS 5818681 HAS SOUS 1353343 HAS SOUPS 1269422 WITH SCORE 1276518.984
AT ITER 9945 NEW BEST:: SOT 11732556 SOS 7097273 HAS SOPS 5817808 HAS SOUS 1352977 HAS SOUPS 1269037 WITH SCORE 1276134.273
AT ITER 9957 NEW BEST:: SOT 11731389 SOS 7096011 HAS SOPS 5815288 HAS SOUS 1352390 HAS SOUPS 1268473 WITH SCORE 1275569.011

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

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