Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204000064.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb113-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 5.8K Feb 26 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 192K Feb 26 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 18:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679052592460

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-8
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 11:29:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 11:29:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 11:29:55] [INFO ] Load time of PNML (sax parser for PT used): 761 ms
[2023-03-17 11:29:55] [INFO ] Transformed 639 places.
[2023-03-17 11:29:55] [INFO ] Transformed 31353 transitions.
[2023-03-17 11:29:55] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 961 ms.
[2023-03-17 11:29:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 138 ms.
Total runtime 1146 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12195877 SOS 7742246 HAS SOPS 6414665 HAS SOUS 3046246 HAS SOUPS 2945965 WITH SCORE 2953707.246
AT ITER 10 NEW BEST:: SOT 12196150 SOS 7742313 HAS SOPS 6414812 HAS SOUS 3046152 HAS SOUPS 2945896 WITH SCORE 2953638.313
AT ITER 20 NEW BEST:: SOT 12197155 SOS 7747693 HAS SOPS 6413973 HAS SOUS 3041456 HAS SOUPS 2940878 WITH SCORE 2948625.693
AT ITER 33 NEW BEST:: SOT 12188584 SOS 7738506 HAS SOPS 6405049 HAS SOUS 3024244 HAS SOUPS 2923732 WITH SCORE 2931470.506
AT ITER 35 NEW BEST:: SOT 12186587 SOS 7730725 HAS SOPS 6403107 HAS SOUS 3021512 HAS SOUPS 2921318 WITH SCORE 2929048.725
AT ITER 38 NEW BEST:: SOT 12186802 SOS 7730810 HAS SOPS 6406471 HAS SOUS 3013405 HAS SOUPS 2914067 WITH SCORE 2921797.81
AT ITER 43 NEW BEST:: SOT 12186665 SOS 7730365 HAS SOPS 6406096 HAS SOUS 3013212 HAS SOUPS 2913881 WITH SCORE 2921611.365
AT ITER 44 NEW BEST:: SOT 12186557 SOS 7730506 HAS SOPS 6406229 HAS SOUS 3012919 HAS SOUPS 2913588 WITH SCORE 2921318.506
AT ITER 46 NEW BEST:: SOT 12191905 SOS 7741804 HAS SOPS 6423542 HAS SOUS 3012773 HAS SOUPS 2913442 WITH SCORE 2921183.804
AT ITER 47 NEW BEST:: SOT 12191194 SOS 7740655 HAS SOPS 6422919 HAS SOUS 3011625 HAS SOUPS 2912309 WITH SCORE 2920049.655
AT ITER 54 NEW BEST:: SOT 12190473 SOS 7740419 HAS SOPS 6423858 HAS SOUS 3011262 HAS SOUPS 2911946 WITH SCORE 2919686.419
AT ITER 70 NEW BEST:: SOT 12139647 SOS 7658633 HAS SOPS 6345741 HAS SOUS 2950955 HAS SOUPS 2851718 WITH SCORE 2859376.633
AT ITER 83 NEW BEST:: SOT 12141864 SOS 7665616 HAS SOPS 6350172 HAS SOUS 2947474 HAS SOUPS 2848237 WITH SCORE 2855902.616
AT ITER 84 NEW BEST:: SOT 12150168 SOS 7689308 HAS SOPS 6380134 HAS SOUS 2940642 HAS SOUPS 2841405 WITH SCORE 2849094.308
AT ITER 85 NEW BEST:: SOT 12144458 SOS 7683281 HAS SOPS 6378292 HAS SOUS 2936612 HAS SOUPS 2837440 WITH SCORE 2845123.281
AT ITER 91 NEW BEST:: SOT 12144970 SOS 7684856 HAS SOPS 6379348 HAS SOUS 2936121 HAS SOUPS 2836995 WITH SCORE 2844679.856
AT ITER 94 NEW BEST:: SOT 12143976 SOS 7683049 HAS SOPS 6375744 HAS SOUS 2932930 HAS SOUPS 2833786 WITH SCORE 2841469.049
AT ITER 129 NEW BEST:: SOT 12143914 SOS 7683908 HAS SOPS 6376111 HAS SOUS 2929372 HAS SOUPS 2830228 WITH SCORE 2837911.908
AT ITER 172 NEW BEST:: SOT 12143149 SOS 7681695 HAS SOPS 6374225 HAS SOUS 2917944 HAS SOUPS 2819519 WITH SCORE 2827200.695
AT ITER 187 NEW BEST:: SOT 12141675 SOS 7679996 HAS SOPS 6371079 HAS SOUS 2917328 HAS SOUPS 2818903 WITH SCORE 2826582.996
AT ITER 198 NEW BEST:: SOT 12141177 SOS 7679235 HAS SOPS 6370366 HAS SOUS 2915393 HAS SOUPS 2817369 WITH SCORE 2825048.235
AT ITER 203 NEW BEST:: SOT 12147022 SOS 7683755 HAS SOPS 6378895 HAS SOUS 2912877 HAS SOUPS 2813495 WITH SCORE 2821178.755
AT ITER 207 NEW BEST:: SOT 12140576 SOS 7676751 HAS SOPS 6370014 HAS SOUS 2903904 HAS SOUPS 2804168 WITH SCORE 2811844.751
AT ITER 209 NEW BEST:: SOT 12140505 SOS 7676664 HAS SOPS 6369927 HAS SOUS 2903589 HAS SOUPS 2803853 WITH SCORE 2811529.664
AT ITER 212 NEW BEST:: SOT 12104222 SOS 7639803 HAS SOPS 6332889 HAS SOUS 2861012 HAS SOUPS 2761188 WITH SCORE 2768827.803
AT ITER 215 NEW BEST:: SOT 12103533 SOS 7639701 HAS SOPS 6333243 HAS SOUS 2858006 HAS SOUPS 2758217 WITH SCORE 2765856.701
AT ITER 222 NEW BEST:: SOT 12103526 SOS 7639898 HAS SOPS 6333482 HAS SOUS 2857939 HAS SOUPS 2758150 WITH SCORE 2765789.898
AT ITER 226 NEW BEST:: SOT 12103391 SOS 7640861 HAS SOPS 6335866 HAS SOUS 2856164 HAS SOUPS 2756375 WITH SCORE 2764015.861
AT ITER 228 NEW BEST:: SOT 12102699 SOS 7642250 HAS SOPS 6335948 HAS SOUS 2852004 HAS SOUPS 2752215 WITH SCORE 2759857.25
AT ITER 231 NEW BEST:: SOT 12102365 SOS 7641946 HAS SOPS 6335276 HAS SOUS 2850892 HAS SOUPS 2751122 WITH SCORE 2758763.946
AT ITER 236 NEW BEST:: SOT 12105028 SOS 7656985 HAS SOPS 6345903 HAS SOUS 2836106 HAS SOUPS 2736336 WITH SCORE 2743992.985
AT ITER 246 NEW BEST:: SOT 12103545 SOS 7651848 HAS SOPS 6344563 HAS SOUS 2835657 HAS SOUPS 2735887 WITH SCORE 2743538.848
AT ITER 255 NEW BEST:: SOT 12102469 SOS 7650787 HAS SOPS 6342878 HAS SOUS 2833657 HAS SOUPS 2733439 WITH SCORE 2741089.787
AT ITER 258 NEW BEST:: SOT 12099941 SOS 7648259 HAS SOPS 6340302 HAS SOUS 2831081 HAS SOUPS 2730815 WITH SCORE 2738463.259
AT ITER 268 NEW BEST:: SOT 12090916 SOS 7629820 HAS SOPS 6333408 HAS SOUS 2818668 HAS SOUPS 2718576 WITH SCORE 2726205.82
AT ITER 277 NEW BEST:: SOT 12090926 SOS 7628280 HAS SOPS 6331779 HAS SOUS 2818635 HAS SOUPS 2718543 WITH SCORE 2726171.28
AT ITER 278 NEW BEST:: SOT 12090610 SOS 7628228 HAS SOPS 6330999 HAS SOUS 2818864 HAS SOUPS 2718483 WITH SCORE 2726111.228
AT ITER 289 NEW BEST:: SOT 12090296 SOS 7629844 HAS SOPS 6331425 HAS SOUS 2816848 HAS SOUPS 2716416 WITH SCORE 2724045.844
AT ITER 292 NEW BEST:: SOT 12085768 SOS 7625100 HAS SOPS 6327048 HAS SOUS 2802651 HAS SOUPS 2702484 WITH SCORE 2710109.1
AT ITER 295 NEW BEST:: SOT 12085769 SOS 7624663 HAS SOPS 6327631 HAS SOUS 2802624 HAS SOUPS 2702457 WITH SCORE 2710081.663
AT ITER 300 NEW BEST:: SOT 12085629 SOS 7625453 HAS SOPS 6328368 HAS SOUS 2801742 HAS SOUPS 2701575 WITH SCORE 2709200.453
AT ITER 304 NEW BEST:: SOT 12086382 SOS 7626643 HAS SOPS 6328807 HAS SOUS 2801505 HAS SOUPS 2700727 WITH SCORE 2708353.643
AT ITER 312 NEW BEST:: SOT 12085429 SOS 7630221 HAS SOPS 6335342 HAS SOUS 2795720 HAS SOUPS 2694949 WITH SCORE 2702579.221
AT ITER 320 NEW BEST:: SOT 12077336 SOS 7619413 HAS SOPS 6324542 HAS SOUS 2785926 HAS SOUPS 2685103 WITH SCORE 2692722.413
AT ITER 325 NEW BEST:: SOT 12078509 SOS 7621480 HAS SOPS 6326282 HAS SOUS 2785545 HAS SOUPS 2684722 WITH SCORE 2692343.48
AT ITER 326 NEW BEST:: SOT 12076688 SOS 7618493 HAS SOPS 6324893 HAS SOUS 2783165 HAS SOUPS 2682385 WITH SCORE 2690003.493
AT ITER 333 NEW BEST:: SOT 12076637 SOS 7618430 HAS SOPS 6324830 HAS SOUS 2782933 HAS SOUPS 2682153 WITH SCORE 2689771.43
AT ITER 335 NEW BEST:: SOT 12078141 SOS 7619687 HAS SOPS 6325428 HAS SOUS 2782282 HAS SOUPS 2681874 WITH SCORE 2689493.687
AT ITER 342 NEW BEST:: SOT 12076666 SOS 7617145 HAS SOPS 6333299 HAS SOUS 2776629 HAS SOUPS 2676793 WITH SCORE 2684410.145
AT ITER 350 NEW BEST:: SOT 12075398 SOS 7613571 HAS SOPS 6330460 HAS SOUS 2775663 HAS SOUPS 2675852 WITH SCORE 2683465.571
AT ITER 358 NEW BEST:: SOT 12075365 SOS 7613370 HAS SOPS 6330253 HAS SOUS 2775645 HAS SOUPS 2675834 WITH SCORE 2683447.37
AT ITER 372 NEW BEST:: SOT 12073358 SOS 7604623 HAS SOPS 6323560 HAS SOUS 2772071 HAS SOUPS 2672260 WITH SCORE 2679864.623
AT ITER 383 NEW BEST:: SOT 12072501 SOS 7597764 HAS SOPS 6322822 HAS SOUS 2770081 HAS SOUPS 2670397 WITH SCORE 2677994.764
AT ITER 389 NEW BEST:: SOT 12074417 SOS 7600072 HAS SOPS 6323931 HAS SOUS 2769175 HAS SOUPS 2669491 WITH SCORE 2677091.072
AT ITER 393 NEW BEST:: SOT 12078217 SOS 7612851 HAS SOPS 6336651 HAS SOUS 2758291 HAS SOUPS 2658529 WITH SCORE 2666141.851
AT ITER 401 NEW BEST:: SOT 12078193 SOS 7613195 HAS SOPS 6336562 HAS SOUS 2758550 HAS SOUPS 2658377 WITH SCORE 2665990.195
AT ITER 417 NEW BEST:: SOT 12069321 SOS 7604301 HAS SOPS 6326916 HAS SOUS 2746138 HAS SOUPS 2645965 WITH SCORE 2653569.301
AT ITER 419 NEW BEST:: SOT 12073411 SOS 7618871 HAS SOPS 6339485 HAS SOUS 2739077 HAS SOUPS 2638904 WITH SCORE 2646522.871
AT ITER 423 NEW BEST:: SOT 12075146 SOS 7624032 HAS SOPS 6340462 HAS SOUS 2736022 HAS SOUPS 2635849 WITH SCORE 2643473.032
AT ITER 438 NEW BEST:: SOT 12063789 SOS 7612743 HAS SOPS 6329663 HAS SOUS 2713323 HAS SOUPS 2613264 WITH SCORE 2620876.743
AT ITER 444 NEW BEST:: SOT 12063080 SOS 7611935 HAS SOPS 6328599 HAS SOUS 2712210 HAS SOUPS 2612151 WITH SCORE 2619762.935
AT ITER 458 NEW BEST:: SOT 12063086 SOS 7611949 HAS SOPS 6328613 HAS SOUS 2712168 HAS SOUPS 2612109 WITH SCORE 2619720.949
AT ITER 462 NEW BEST:: SOT 12063078 SOS 7611931 HAS SOPS 6328595 HAS SOUS 2712024 HAS SOUPS 2611965 WITH SCORE 2619576.931
AT ITER 479 NEW BEST:: SOT 12062218 SOS 7611075 HAS SOPS 6328396 HAS SOUS 2710552 HAS SOUPS 2610563 WITH SCORE 2618174.075
AT ITER 481 NEW BEST:: SOT 12060437 SOS 7609078 HAS SOPS 6326545 HAS SOUS 2709122 HAS SOUPS 2609133 WITH SCORE 2616742.078
AT ITER 494 NEW BEST:: SOT 12061850 SOS 7610838 HAS SOPS 6331786 HAS SOUS 2706602 HAS SOUPS 2607784 WITH SCORE 2615394.838
AT ITER 512 NEW BEST:: SOT 12061115 SOS 7614548 HAS SOPS 6335511 HAS SOUS 2702641 HAS SOUPS 2603919 WITH SCORE 2611533.548
AT ITER 542 NEW BEST:: SOT 12059984 SOS 7609217 HAS SOPS 6333101 HAS SOUS 2697904 HAS SOUPS 2599357 WITH SCORE 2606966.217
AT ITER 543 NEW BEST:: SOT 12060183 SOS 7609851 HAS SOPS 6334490 HAS SOUS 2697309 HAS SOUPS 2598762 WITH SCORE 2606371.851
AT ITER 546 NEW BEST:: SOT 12059696 SOS 7609130 HAS SOPS 6333223 HAS SOUS 2696042 HAS SOUPS 2597508 WITH SCORE 2605117.13
AT ITER 559 NEW BEST:: SOT 12061522 SOS 7616821 HAS SOPS 6338064 HAS SOUS 2695534 HAS SOUPS 2597000 WITH SCORE 2604616.821
AT ITER 583 NEW BEST:: SOT 12062664 SOS 7619742 HAS SOPS 6339609 HAS SOUS 2695035 HAS SOUPS 2596495 WITH SCORE 2604114.742
AT ITER 587 NEW BEST:: SOT 12038630 SOS 7590044 HAS SOPS 6309143 HAS SOUS 2667495 HAS SOUPS 2568959 WITH SCORE 2576549.044
AT ITER 597 NEW BEST:: SOT 12016282 SOS 7560955 HAS SOPS 6282510 HAS SOUS 2635064 HAS SOUPS 2537238 WITH SCORE 2544798.955
AT ITER 599 NEW BEST:: SOT 12013238 SOS 7556411 HAS SOPS 6278358 HAS SOUS 2628483 HAS SOUPS 2530657 WITH SCORE 2538213.411
AT ITER 606 NEW BEST:: SOT 12009146 SOS 7551622 HAS SOPS 6272794 HAS SOUS 2623820 HAS SOUPS 2525883 WITH SCORE 2533434.622
AT ITER 622 NEW BEST:: SOT 12010540 SOS 7554207 HAS SOPS 6277422 HAS SOUS 2620286 HAS SOUPS 2522349 WITH SCORE 2529903.207
AT ITER 623 NEW BEST:: SOT 12010111 SOS 7554168 HAS SOPS 6276810 HAS SOUS 2618963 HAS SOUPS 2521014 WITH SCORE 2528568.168
AT ITER 639 NEW BEST:: SOT 12010815 SOS 7554930 HAS SOPS 6276405 HAS SOUS 2617227 HAS SOUPS 2519998 WITH SCORE 2527552.93
AT ITER 659 NEW BEST:: SOT 12006774 SOS 7548298 HAS SOPS 6269671 HAS SOUS 2610585 HAS SOUPS 2513356 WITH SCORE 2520904.298
AT ITER 665 NEW BEST:: SOT 12006387 SOS 7547926 HAS SOPS 6269059 HAS SOUS 2609450 HAS SOUPS 2512221 WITH SCORE 2519768.926
AT ITER 675 NEW BEST:: SOT 12006244 SOS 7545990 HAS SOPS 6266682 HAS SOUS 2609268 HAS SOUPS 2512039 WITH SCORE 2519584.99
AT ITER 681 NEW BEST:: SOT 12004866 SOS 7543221 HAS SOPS 6266290 HAS SOUS 2606623 HAS SOUPS 2509402 WITH SCORE 2516945.221
AT ITER 684 NEW BEST:: SOT 12003415 SOS 7541200 HAS SOPS 6264426 HAS SOUS 2604746 HAS SOUPS 2507611 WITH SCORE 2515152.2
AT ITER 689 NEW BEST:: SOT 12000862 SOS 7539002 HAS SOPS 6261592 HAS SOUS 2598392 HAS SOUPS 2501317 WITH SCORE 2508856.002
AT ITER 693 NEW BEST:: SOT 11990051 SOS 7524350 HAS SOPS 6245825 HAS SOUS 2571576 HAS SOUPS 2474622 WITH SCORE 2482146.35
AT ITER 694 NEW BEST:: SOT 11989983 SOS 7524228 HAS SOPS 6245637 HAS SOUS 2571455 HAS SOUPS 2474501 WITH SCORE 2482025.228
AT ITER 711 NEW BEST:: SOT 11991843 SOS 7522106 HAS SOPS 6243963 HAS SOUS 2567758 HAS SOUPS 2470804 WITH SCORE 2478326.106
AT ITER 725 NEW BEST:: SOT 11990120 SOS 7520616 HAS SOPS 6240546 HAS SOUS 2561957 HAS SOUPS 2464955 WITH SCORE 2472475.616
AT ITER 730 NEW BEST:: SOT 11989362 SOS 7519876 HAS SOPS 6239914 HAS SOUS 2561229 HAS SOUPS 2464245 WITH SCORE 2471764.876
AT ITER 735 NEW BEST:: SOT 11997410 SOS 7544000 HAS SOPS 6268051 HAS SOUS 2559317 HAS SOUPS 2462333 WITH SCORE 2469877.0
AT ITER 751 NEW BEST:: SOT 11993015 SOS 7540373 HAS SOPS 6263832 HAS SOUS 2553727 HAS SOUPS 2456743 WITH SCORE 2464283.373
AT ITER 754 NEW BEST:: SOT 11992993 SOS 7540351 HAS SOPS 6263810 HAS SOUS 2553661 HAS SOUPS 2456677 WITH SCORE 2464217.351
AT ITER 797 NEW BEST:: SOT 11993638 SOS 7546787 HAS SOPS 6268650 HAS SOUS 2550745 HAS SOUPS 2453761 WITH SCORE 2461307.787
AT ITER 802 NEW BEST:: SOT 11993646 SOS 7547799 HAS SOPS 6269647 HAS SOUS 2550713 HAS SOUPS 2453729 WITH SCORE 2461276.799
AT ITER 809 NEW BEST:: SOT 11992169 SOS 7547446 HAS SOPS 6269295 HAS SOUS 2546993 HAS SOUPS 2450010 WITH SCORE 2457557.446
AT ITER 813 NEW BEST:: SOT 11991110 SOS 7545842 HAS SOPS 6267545 HAS SOUS 2544844 HAS SOUPS 2447873 WITH SCORE 2455418.842
AT ITER 823 NEW BEST:: SOT 11992618 SOS 7550487 HAS SOPS 6269666 HAS SOUS 2543829 HAS SOUPS 2446858 WITH SCORE 2454408.487
AT ITER 833 NEW BEST:: SOT 11992540 SOS 7550223 HAS SOPS 6268972 HAS SOUS 2542529 HAS SOUPS 2445558 WITH SCORE 2453108.223
AT ITER 841 NEW BEST:: SOT 11992317 SOS 7549773 HAS SOPS 6268438 HAS SOUS 2542093 HAS SOUPS 2445127 WITH SCORE 2452676.773
AT ITER 854 NEW BEST:: SOT 11992448 SOS 7554941 HAS SOPS 6273405 HAS SOUS 2541115 HAS SOUPS 2444149 WITH SCORE 2451703.941
AT ITER 868 NEW BEST:: SOT 11991165 SOS 7553658 HAS SOPS 6272122 HAS SOUS 2540072 HAS SOUPS 2443106 WITH SCORE 2450659.658
AT ITER 872 NEW BEST:: SOT 11994106 SOS 7555996 HAS SOPS 6278070 HAS SOUS 2539386 HAS SOUPS 2442420 WITH SCORE 2449975.996
AT ITER 873 NEW BEST:: SOT 11991946 SOS 7552709 HAS SOPS 6274717 HAS SOUS 2534716 HAS SOUPS 2437784 WITH SCORE 2445336.709
AT ITER 887 NEW BEST:: SOT 11985772 SOS 7542854 HAS SOPS 6265389 HAS SOUS 2526134 HAS SOUPS 2429202 WITH SCORE 2436744.854
AT ITER 889 NEW BEST:: SOT 11985871 SOS 7543489 HAS SOPS 6265220 HAS SOUS 2524807 HAS SOUPS 2427875 WITH SCORE 2435418.489
AT ITER 904 NEW BEST:: SOT 11985872 SOS 7543329 HAS SOPS 6265268 HAS SOUS 2524807 HAS SOUPS 2427875 WITH SCORE 2435418.329
AT ITER 905 NEW BEST:: SOT 11988498 SOS 7550570 HAS SOPS 6271500 HAS SOUS 2520642 HAS SOUPS 2423710 WITH SCORE 2431260.57
AT ITER 908 NEW BEST:: SOT 11985322 SOS 7563932 HAS SOPS 6279936 HAS SOUS 2519705 HAS SOUPS 2422773 WITH SCORE 2430336.932
AT ITER 911 NEW BEST:: SOT 11984985 SOS 7563443 HAS SOPS 6279605 HAS SOUS 2519152 HAS SOUPS 2422220 WITH SCORE 2429783.443
AT ITER 916 NEW BEST:: SOT 11984503 SOS 7562815 HAS SOPS 6279295 HAS SOUS 2518238 HAS SOUPS 2421323 WITH SCORE 2428885.815
AT ITER 918 NEW BEST:: SOT 11982628 SOS 7561345 HAS SOPS 6276849 HAS SOUS 2506452 HAS SOUPS 2409563 WITH SCORE 2417124.345
AT ITER 922 NEW BEST:: SOT 11982396 SOS 7561193 HAS SOPS 6276385 HAS SOUS 2505772 HAS SOUPS 2408875 WITH SCORE 2416436.193
AT ITER 923 NEW BEST:: SOT 11993238 SOS 7590177 HAS SOPS 6316761 HAS SOUS 2504506 HAS SOUPS 2407609 WITH SCORE 2415199.177
AT ITER 928 NEW BEST:: SOT 11998452 SOS 7604737 HAS SOPS 6332297 HAS SOUS 2503458 HAS SOUPS 2406768 WITH SCORE 2414372.737
AT ITER 929 NEW BEST:: SOT 11997630 SOS 7606471 HAS SOPS 6333933 HAS SOUS 2497943 HAS SOUPS 2401210 WITH SCORE 2408816.471
AT ITER 955 NEW BEST:: SOT 11996859 SOS 7599153 HAS SOPS 6329885 HAS SOUS 2496633 HAS SOUPS 2399900 WITH SCORE 2407499.153
AT ITER 987 NEW BEST:: SOT 11995567 SOS 7597861 HAS SOPS 6328817 HAS SOUS 2496125 HAS SOUPS 2399616 WITH SCORE 2407213.861
AT ITER 994 NEW BEST:: SOT 11998033 SOS 7605742 HAS SOPS 6338238 HAS SOUS 2494884 HAS SOUPS 2398375 WITH SCORE 2405980.742
AT ITER 1010 NEW BEST:: SOT 11993054 SOS 7613269 HAS SOPS 6344898 HAS SOUS 2474691 HAS SOUPS 2378188 WITH SCORE 2385801.269
AT ITER 1012 NEW BEST:: SOT 11994213 SOS 7615172 HAS SOPS 6352453 HAS SOUS 2474023 HAS SOUPS 2377520 WITH SCORE 2385135.172
AT ITER 1024 NEW BEST:: SOT 11996177 SOS 7616233 HAS SOPS 6353627 HAS SOUS 2472407 HAS SOUPS 2376114 WITH SCORE 2383730.233
AT ITER 1028 NEW BEST:: SOT 12000822 SOS 7627836 HAS SOPS 6371764 HAS SOUS 2472105 HAS SOUPS 2375812 WITH SCORE 2383439.836
AT ITER 1038 NEW BEST:: SOT 12000780 SOS 7627764 HAS SOPS 6371755 HAS SOUS 2472072 HAS SOUPS 2375779 WITH SCORE 2383406.764
AT ITER 1041 NEW BEST:: SOT 11997380 SOS 7624360 HAS SOPS 6368355 HAS SOUS 2468340 HAS SOUPS 2372051 WITH SCORE 2379675.36
AT ITER 1051 NEW BEST:: SOT 11996706 SOS 7623668 HAS SOPS 6367073 HAS SOUS 2467496 HAS SOUPS 2370769 WITH SCORE 2378392.668
AT ITER 1080 NEW BEST:: SOT 12002488 SOS 7633360 HAS SOPS 6379477 HAS SOUS 2465930 HAS SOUPS 2369203 WITH SCORE 2376836.36
AT ITER 1081 NEW BEST:: SOT 12001948 SOS 7630090 HAS SOPS 6376718 HAS SOUS 2463347 HAS SOUPS 2366620 WITH SCORE 2374250.09
AT ITER 1083 NEW BEST:: SOT 12002697 SOS 7632641 HAS SOPS 6376914 HAS SOUS 2458296 HAS SOUPS 2361569 WITH SCORE 2369201.641
AT ITER 1097 NEW BEST:: SOT 12001920 SOS 7631644 HAS SOPS 6375577 HAS SOUS 2456992 HAS SOUPS 2360287 WITH SCORE 2367918.644
AT ITER 1101 NEW BEST:: SOT 12003237 SOS 7634071 HAS SOPS 6378223 HAS SOUS 2456860 HAS SOUPS 2360155 WITH SCORE 2367789.071
AT ITER 1121 NEW BEST:: SOT 11999132 SOS 7624039 HAS SOPS 6372024 HAS SOUS 2455026 HAS SOUPS 2358569 WITH SCORE 2366193.039
AT ITER 1122 NEW BEST:: SOT 12001635 SOS 7635375 HAS SOPS 6379759 HAS SOUS 2454946 HAS SOUPS 2358416 WITH SCORE 2366051.375
AT ITER 1126 NEW BEST:: SOT 11995723 SOS 7623321 HAS SOPS 6371114 HAS SOUS 2450917 HAS SOUPS 2354644 WITH SCORE 2362267.321
AT ITER 1135 NEW BEST:: SOT 11981503 SOS 7601416 HAS SOPS 6350531 HAS SOUS 2433168 HAS SOUPS 2336895 WITH SCORE 2344496.416
AT ITER 1136 NEW BEST:: SOT 11981149 SOS 7600936 HAS SOPS 6349871 HAS SOUS 2432745 HAS SOUPS 2336427 WITH SCORE 2344027.936
AT ITER 1139 NEW BEST:: SOT 11981149 SOS 7600640 HAS SOPS 6350159 HAS SOUS 2432172 HAS SOUPS 2335854 WITH SCORE 2343454.64
AT ITER 1161 NEW BEST:: SOT 11981080 SOS 7600606 HAS SOPS 6350060 HAS SOUS 2432123 HAS SOUPS 2335805 WITH SCORE 2343405.606
AT ITER 1162 NEW BEST:: SOT 11980748 SOS 7600274 HAS SOPS 6349600 HAS SOUS 2431527 HAS SOUPS 2335209 WITH SCORE 2342809.274
AT ITER 1183 NEW BEST:: SOT 11980731 SOS 7600233 HAS SOPS 6349775 HAS SOUS 2431055 HAS SOUPS 2334737 WITH SCORE 2342337.233
AT ITER 1185 NEW BEST:: SOT 11980453 SOS 7599979 HAS SOPS 6349329 HAS SOUS 2431197 HAS SOUPS 2334687 WITH SCORE 2342286.979
AT ITER 1200 NEW BEST:: SOT 11980532 SOS 7600146 HAS SOPS 6349400 HAS SOUS 2431060 HAS SOUPS 2334550 WITH SCORE 2342150.146
AT ITER 1228 NEW BEST:: SOT 11979630 SOS 7599348 HAS SOPS 6349785 HAS SOUS 2427668 HAS SOUPS 2331158 WITH SCORE 2338757.348
AT ITER 1230 NEW BEST:: SOT 11979720 SOS 7599438 HAS SOPS 6350019 HAS SOUS 2427614 HAS SOUPS 2331104 WITH SCORE 2338703.438
AT ITER 1264 NEW BEST:: SOT 11979668 SOS 7599386 HAS SOPS 6349967 HAS SOUS 2427406 HAS SOUPS 2330896 WITH SCORE 2338495.386
AT ITER 1268 NEW BEST:: SOT 11979213 SOS 7597150 HAS SOPS 6346826 HAS SOUS 2426250 HAS SOUPS 2329740 WITH SCORE 2337337.15
AT ITER 1271 NEW BEST:: SOT 11979964 SOS 7598974 HAS SOPS 6348296 HAS SOUS 2424212 HAS SOUPS 2327743 WITH SCORE 2335341.974
AT ITER 1278 NEW BEST:: SOT 11978116 SOS 7594306 HAS SOPS 6345475 HAS SOUS 2422730 HAS SOUPS 2326261 WITH SCORE 2333855.306
AT ITER 1280 NEW BEST:: SOT 11976319 SOS 7588928 HAS SOPS 6343449 HAS SOUS 2414458 HAS SOUPS 2319602 WITH SCORE 2327190.928
AT ITER 1304 NEW BEST:: SOT 11976189 SOS 7588387 HAS SOPS 6342990 HAS SOUS 2414401 HAS SOUPS 2319545 WITH SCORE 2327133.387
AT ITER 1308 NEW BEST:: SOT 11971598 SOS 7583796 HAS SOPS 6338031 HAS SOUS 2407738 HAS SOUPS 2312882 WITH SCORE 2320465.796
AT ITER 1311 NEW BEST:: SOT 11968508 SOS 7577801 HAS SOPS 6333491 HAS SOUS 2405104 HAS SOUPS 2310279 WITH SCORE 2317856.801
AT ITER 1317 NEW BEST:: SOT 11967983 SOS 7577276 HAS SOPS 6332966 HAS SOUS 2404603 HAS SOUPS 2309778 WITH SCORE 2317355.276
AT ITER 1321 NEW BEST:: SOT 11967672 SOS 7576965 HAS SOPS 6332207 HAS SOUS 2402352 HAS SOUPS 2307527 WITH SCORE 2315103.965
AT ITER 1326 NEW BEST:: SOT 11968339 SOS 7580036 HAS SOPS 6334187 HAS SOUS 2401748 HAS SOUPS 2306800 WITH SCORE 2314380.036
AT ITER 1336 NEW BEST:: SOT 11967867 SOS 7579564 HAS SOPS 6333555 HAS SOUS 2400804 HAS SOUPS 2305856 WITH SCORE 2313435.564
AT ITER 1338 NEW BEST:: SOT 11967812 SOS 7579518 HAS SOPS 6333777 HAS SOUS 2400602 HAS SOUPS 2305654 WITH SCORE 2313233.518
AT ITER 1339 NEW BEST:: SOT 11965591 SOS 7575137 HAS SOPS 6331751 HAS SOUS 2397232 HAS SOUPS 2302284 WITH SCORE 2309859.137
AT ITER 1351 NEW BEST:: SOT 11970088 SOS 7582081 HAS SOPS 6340122 HAS SOUS 2391214 HAS SOUPS 2296819 WITH SCORE 2304401.081
AT ITER 1363 NEW BEST:: SOT 11969610 SOS 7581507 HAS SOPS 6339134 HAS SOUS 2390142 HAS SOUPS 2295747 WITH SCORE 2303328.507
AT ITER 1371 NEW BEST:: SOT 11972247 SOS 7584715 HAS SOPS 6344636 HAS SOUS 2383914 HAS SOUPS 2289666 WITH SCORE 2297250.715
AT ITER 1410 NEW BEST:: SOT 11971954 SOS 7584412 HAS SOPS 6344189 HAS SOUS 2383175 HAS SOUPS 2288927 WITH SCORE 2296511.412
AT ITER 1419 NEW BEST:: SOT 11974585 SOS 7587673 HAS SOPS 6352033 HAS SOUS 2382730 HAS SOUPS 2288482 WITH SCORE 2296069.673
AT ITER 1424 NEW BEST:: SOT 11975600 SOS 7591157 HAS SOPS 6355029 HAS SOUS 2382524 HAS SOUPS 2288276 WITH SCORE 2295867.157
AT ITER 1425 NEW BEST:: SOT 11975337 SOS 7591283 HAS SOPS 6354706 HAS SOUS 2381239 HAS SOUPS 2286991 WITH SCORE 2294582.283
AT ITER 1426 NEW BEST:: SOT 11976581 SOS 7592833 HAS SOPS 6355237 HAS SOUS 2377139 HAS SOUPS 2282990 WITH SCORE 2290582.833
AT ITER 1429 NEW BEST:: SOT 11977778 SOS 7594927 HAS SOPS 6354330 HAS SOUS 2376856 HAS SOUPS 2282707 WITH SCORE 2290301.927
AT ITER 1440 NEW BEST:: SOT 11977571 SOS 7594720 HAS SOPS 6353739 HAS SOUS 2374773 HAS SOUPS 2280624 WITH SCORE 2288218.72
AT ITER 1441 NEW BEST:: SOT 11973870 SOS 7585378 HAS SOPS 6345226 HAS SOUS 2370424 HAS SOUPS 2276310 WITH SCORE 2283895.378
AT ITER 1443 NEW BEST:: SOT 11970513 SOS 7581488 HAS SOPS 6341538 HAS SOUS 2366005 HAS SOUPS 2271922 WITH SCORE 2279503.488
AT ITER 1446 NEW BEST:: SOT 11969800 SOS 7579361 HAS SOPS 6341684 HAS SOUS 2363458 HAS SOUPS 2269375 WITH SCORE 2276954.361
AT ITER 1456 NEW BEST:: SOT 11966899 SOS 7576604 HAS SOPS 6336623 HAS SOUS 2356618 HAS SOUPS 2262507 WITH SCORE 2270083.604
AT ITER 1460 NEW BEST:: SOT 11966893 SOS 7576483 HAS SOPS 6336445 HAS SOUS 2356603 HAS SOUPS 2262492 WITH SCORE 2270068.483
AT ITER 1488 NEW BEST:: SOT 11966119 SOS 7574749 HAS SOPS 6334711 HAS SOUS 2354872 HAS SOUPS 2260761 WITH SCORE 2268335.749
AT ITER 1492 NEW BEST:: SOT 11969541 SOS 7576623 HAS SOPS 6335938 HAS SOUS 2354682 HAS SOUPS 2260571 WITH SCORE 2268147.623
AT ITER 1497 NEW BEST:: SOT 11967313 SOS 7573821 HAS SOPS 6331508 HAS SOUS 2351017 HAS SOUPS 2256814 WITH SCORE 2264387.821
AT ITER 1506 NEW BEST:: SOT 11967619 SOS 7572931 HAS SOPS 6329249 HAS SOUS 2349830 HAS SOUPS 2255627 WITH SCORE 2263199.931
AT ITER 1519 NEW BEST:: SOT 11963076 SOS 7568388 HAS SOPS 6324034 HAS SOUS 2344247 HAS SOUPS 2249932 WITH SCORE 2257500.388
AT ITER 1522 NEW BEST:: SOT 11963288 SOS 7570363 HAS SOPS 6325313 HAS SOUS 2340689 HAS SOUPS 2246440 WITH SCORE 2254010.363
AT ITER 1526 NEW BEST:: SOT 11961038 SOS 7566065 HAS SOPS 6320893 HAS SOUS 2339501 HAS SOUPS 2245252 WITH SCORE 2252818.065
AT ITER 1536 NEW BEST:: SOT 11960659 SOS 7565377 HAS SOPS 6321034 HAS SOUS 2337405 HAS SOUPS 2243685 WITH SCORE 2251250.377
AT ITER 1539 NEW BEST:: SOT 11961107 SOS 7565825 HAS SOPS 6321482 HAS SOUS 2337149 HAS SOUPS 2243429 WITH SCORE 2250994.825
AT ITER 1542 NEW BEST:: SOT 11960785 SOS 7565499 HAS SOPS 6321136 HAS SOUS 2336455 HAS SOUPS 2242733 WITH SCORE 2250298.499
AT ITER 1546 NEW BEST:: SOT 11960670 SOS 7565381 HAS SOPS 6320925 HAS SOUS 2336313 HAS SOUPS 2242522 WITH SCORE 2250087.381
AT ITER 1557 NEW BEST:: SOT 11964598 SOS 7573337 HAS SOPS 6325067 HAS SOUS 2336355 HAS SOUPS 2242316 WITH SCORE 2249889.337
AT ITER 1559 NEW BEST:: SOT 11964963 SOS 7574147 HAS SOPS 6325485 HAS SOUS 2335617 HAS SOUPS 2241578 WITH SCORE 2249152.147
AT ITER 1562 NEW BEST:: SOT 11964248 SOS 7573432 HAS SOPS 6324482 HAS SOUS 2334042 HAS SOUPS 2240003 WITH SCORE 2247576.432
AT ITER 1570 NEW BEST:: SOT 11962394 SOS 7570754 HAS SOPS 6322539 HAS SOUS 2333602 HAS SOUPS 2239606 WITH SCORE 2247176.754
AT ITER 1580 NEW BEST:: SOT 11953726 SOS 7541670 HAS SOPS 6291656 HAS SOUS 2328050 HAS SOUPS 2234101 WITH SCORE 2241642.67
AT ITER 1585 NEW BEST:: SOT 11950674 SOS 7533470 HAS SOPS 6282140 HAS SOUS 2321710 HAS SOUPS 2227761 WITH SCORE 2235294.47
AT ITER 1600 NEW BEST:: SOT 11950505 SOS 7532002 HAS SOPS 6281609 HAS SOUS 2318388 HAS SOUPS 2225241 WITH SCORE 2232773.002
AT ITER 1607 NEW BEST:: SOT 11946179 SOS 7525957 HAS SOPS 6279266 HAS SOUS 2309868 HAS SOUPS 2216721 WITH SCORE 2224246.957
AT ITER 1611 NEW BEST:: SOT 11950798 SOS 7537405 HAS SOPS 6296780 HAS SOUS 2309361 HAS SOUPS 2216380 WITH SCORE 2223917.405
AT ITER 1624 NEW BEST:: SOT 11945699 SOS 7527350 HAS SOPS 6288448 HAS SOUS 2307505 HAS SOUPS 2214524 WITH SCORE 2222051.35
AT ITER 1631 NEW BEST:: SOT 11944569 SOS 7526294 HAS SOPS 6287011 HAS SOUS 2304416 HAS SOUPS 2211430 WITH SCORE 2218956.294
AT ITER 1652 NEW BEST:: SOT 11944509 SOS 7526366 HAS SOPS 6287059 HAS SOUS 2304128 HAS SOUPS 2211142 WITH SCORE 2218668.366
AT ITER 1656 NEW BEST:: SOT 11943755 SOS 7524990 HAS SOPS 6285850 HAS SOUS 2303978 HAS SOUPS 2210992 WITH SCORE 2218516.99
AT ITER 1659 NEW BEST:: SOT 11943828 SOS 7522219 HAS SOPS 6283697 HAS SOUS 2303079 HAS SOUPS 2210154 WITH SCORE 2217676.219
AT ITER 1662 NEW BEST:: SOT 11948056 SOS 7523345 HAS SOPS 6289075 HAS SOUS 2301697 HAS SOUPS 2208935 WITH SCORE 2216458.345
AT ITER 1674 NEW BEST:: SOT 11946449 SOS 7520998 HAS SOPS 6286891 HAS SOUS 2300527 HAS SOUPS 2207765 WITH SCORE 2215285.998
AT ITER 1679 NEW BEST:: SOT 11946500 SOS 7521478 HAS SOPS 6287575 HAS SOUS 2300317 HAS SOUPS 2207555 WITH SCORE 2215076.478
AT ITER 1680 NEW BEST:: SOT 11983739 SOS 7521806 HAS SOPS 6302760 HAS SOUS 2290482 HAS SOUPS 2198251 WITH SCORE 2205772.806
AT ITER 1753 NEW BEST:: SOT 11983739 SOS 7527174 HAS SOPS 6310953 HAS SOUS 2290223 HAS SOUPS 2197992 WITH SCORE 2205519.174
AT ITER 1761 NEW BEST:: SOT 11983789 SOS 7527073 HAS SOPS 6309858 HAS SOUS 2289137 HAS SOUPS 2196853 WITH SCORE 2204380.073
AT ITER 1766 NEW BEST:: SOT 11983779 SOS 7527063 HAS SOPS 6309848 HAS SOUS 2289051 HAS SOUPS 2196767 WITH SCORE 2204294.063
AT ITER 1772 NEW BEST:: SOT 11983648 SOS 7526454 HAS SOPS 6309028 HAS SOUS 2288987 HAS SOUPS 2196703 WITH SCORE 2204229.454
AT ITER 1779 NEW BEST:: SOT 11983663 SOS 7526367 HAS SOPS 6308926 HAS SOUS 2288966 HAS SOUPS 2196682 WITH SCORE 2204208.367
AT ITER 1816 NEW BEST:: SOT 11980964 SOS 7514016 HAS SOPS 6295346 HAS SOUS 2282961 HAS SOUPS 2190677 WITH SCORE 2198191.016
AT ITER 1818 NEW BEST:: SOT 11980368 SOS 7513420 HAS SOPS 6294414 HAS SOUS 2281273 HAS SOUPS 2188989 WITH SCORE 2196502.42
AT ITER 1820 NEW BEST:: SOT 11969116 SOS 7495316 HAS SOPS 6281182 HAS SOUS 2264813 HAS SOUPS 2172712 WITH SCORE 2180207.316
AT ITER 1824 NEW BEST:: SOT 11968556 SOS 7494617 HAS SOPS 6280330 HAS SOUS 2263694 HAS SOUPS 2171572 WITH SCORE 2179066.617
AT ITER 1828 NEW BEST:: SOT 11966575 SOS 7492250 HAS SOPS 6277459 HAS SOUS 2257998 HAS SOUPS 2165450 WITH SCORE 2172942.25
AT ITER 1834 NEW BEST:: SOT 11965559 SOS 7492908 HAS SOPS 6278539 HAS SOUS 2257719 HAS SOUPS 2165125 WITH SCORE 2172617.908
AT ITER 1844 NEW BEST:: SOT 11965105 SOS 7492382 HAS SOPS 6277977 HAS SOUS 2255867 HAS SOUPS 2163273 WITH SCORE 2170765.382
AT ITER 1849 NEW BEST:: SOT 11963221 SOS 7489476 HAS SOPS 6275141 HAS SOUS 2250422 HAS SOUPS 2157862 WITH SCORE 2165351.476
AT ITER 1856 NEW BEST:: SOT 11960741 SOS 7486980 HAS SOPS 6272405 HAS SOUS 2249734 HAS SOUPS 2156990 WITH SCORE 2164476.98
AT ITER 1866 NEW BEST:: SOT 11960739 SOS 7487720 HAS SOPS 6273288 HAS SOUS 2249505 HAS SOUPS 2156761 WITH SCORE 2164248.72
AT ITER 1878 NEW BEST:: SOT 11960566 SOS 7487502 HAS SOPS 6272712 HAS SOUS 2247956 HAS SOUPS 2154993 WITH SCORE 2162480.502
AT ITER 1879 NEW BEST:: SOT 11960621 SOS 7487902 HAS SOPS 6273148 HAS SOUS 2247849 HAS SOUPS 2154886 WITH SCORE 2162373.902
AT ITER 1884 NEW BEST:: SOT 11961088 SOS 7488287 HAS SOPS 6274182 HAS SOUS 2246495 HAS SOUPS 2153735 WITH SCORE 2161223.287
AT ITER 1888 NEW BEST:: SOT 11960189 SOS 7487120 HAS SOPS 6272451 HAS SOUS 2244111 HAS SOUPS 2151351 WITH SCORE 2158838.12
AT ITER 1892 NEW BEST:: SOT 11953474 SOS 7480510 HAS SOPS 6262844 HAS SOUS 2242813 HAS SOUPS 2147976 WITH SCORE 2155456.51
AT ITER 1905 NEW BEST:: SOT 11952444 SOS 7478910 HAS SOPS 6260891 HAS SOUS 2241741 HAS SOUPS 2146886 WITH SCORE 2154364.91
AT ITER 1916 NEW BEST:: SOT 11947986 SOS 7468530 HAS SOPS 6252484 HAS SOUS 2235302 HAS SOUPS 2140545 WITH SCORE 2148013.53
AT ITER 1921 NEW BEST:: SOT 11944424 SOS 7465654 HAS SOPS 6248199 HAS SOUS 2231046 HAS SOUPS 2136123 WITH SCORE 2143588.654
AT ITER 1999 NEW BEST:: SOT 11943984 SOS 7464918 HAS SOPS 6247607 HAS SOUS 2229814 HAS SOUPS 2134947 WITH SCORE 2142411.918
AT ITER 2018 NEW BEST:: SOT 11942923 SOS 7463755 HAS SOPS 6245993 HAS SOUS 2227447 HAS SOUPS 2132580 WITH SCORE 2140043.755
AT ITER 2022 NEW BEST:: SOT 11942887 SOS 7463719 HAS SOPS 6245957 HAS SOUS 2227267 HAS SOUPS 2132400 WITH SCORE 2139863.719
AT ITER 2023 NEW BEST:: SOT 11942222 SOS 7462564 HAS SOPS 6244583 HAS SOUS 2225173 HAS SOUPS 2130325 WITH SCORE 2137787.564
AT ITER 2025 NEW BEST:: SOT 11937253 SOS 7452332 HAS SOPS 6237241 HAS SOUS 2215954 HAS SOUPS 2121220 WITH SCORE 2128672.332
AT ITER 2033 NEW BEST:: SOT 11937152 SOS 7452089 HAS SOPS 6236946 HAS SOUS 2215882 HAS SOUPS 2121117 WITH SCORE 2128569.089
AT ITER 2048 NEW BEST:: SOT 11931228 SOS 7441507 HAS SOPS 6227665 HAS SOUS 2209857 HAS SOUPS 2115110 WITH SCORE 2122551.507
AT ITER 2052 NEW BEST:: SOT 11930932 SOS 7439791 HAS SOPS 6226047 HAS SOUS 2208521 HAS SOUPS 2113806 WITH SCORE 2121245.791
AT ITER 2055 NEW BEST:: SOT 11930039 SOS 7434826 HAS SOPS 6222396 HAS SOUS 2208054 HAS SOUPS 2113386 WITH SCORE 2120820.826
AT ITER 2059 NEW BEST:: SOT 11935250 SOS 7445650 HAS SOPS 6229864 HAS SOUS 2205781 HAS SOUPS 2111113 WITH SCORE 2118558.65
AT ITER 2063 NEW BEST:: SOT 11935183 SOS 7445571 HAS SOPS 6229775 HAS SOUS 2205612 HAS SOUPS 2110945 WITH SCORE 2118390.571
AT ITER 2075 NEW BEST:: SOT 11922554 SOS 7432997 HAS SOPS 6216250 HAS SOUS 2189146 HAS SOUPS 2094424 WITH SCORE 2101856.997
AT ITER 2080 NEW BEST:: SOT 11917142 SOS 7422533 HAS SOPS 6203172 HAS SOUS 2179580 HAS SOUPS 2084858 WITH SCORE 2092280.533
AT ITER 2090 NEW BEST:: SOT 11916726 SOS 7422117 HAS SOPS 6202756 HAS SOUS 2179324 HAS SOUPS 2084602 WITH SCORE 2092024.117
AT ITER 2096 NEW BEST:: SOT 11916172 SOS 7421554 HAS SOPS 6200965 HAS SOUS 2176011 HAS SOUPS 2081289 WITH SCORE 2088710.554
AT ITER 2111 NEW BEST:: SOT 11915653 SOS 7421035 HAS SOPS 6202142 HAS SOUS 2173408 HAS SOUPS 2080286 WITH SCORE 2087707.035
AT ITER 2115 NEW BEST:: SOT 11915597 SOS 7420960 HAS SOPS 6202086 HAS SOUS 2173029 HAS SOUPS 2079926 WITH SCORE 2087346.96
AT ITER 2120 NEW BEST:: SOT 11923723 SOS 7435209 HAS SOPS 6217452 HAS SOUS 2167884 HAS SOUPS 2074980 WITH SCORE 2082415.209
AT ITER 2136 NEW BEST:: SOT 11923312 SOS 7434789 HAS SOPS 6216721 HAS SOUS 2167391 HAS SOUPS 2074487 WITH SCORE 2081921.789
AT ITER 2169 NEW BEST:: SOT 11921030 SOS 7433378 HAS SOPS 6214512 HAS SOUS 2166662 HAS SOUPS 2072557 WITH SCORE 2079990.378
AT ITER 2170 NEW BEST:: SOT 11920204 SOS 7432116 HAS SOPS 6213343 HAS SOUS 2165831 HAS SOUPS 2071726 WITH SCORE 2079158.116
AT ITER 2175 NEW BEST:: SOT 11919604 SOS 7427417 HAS SOPS 6207546 HAS SOUS 2165342 HAS SOUPS 2071237 WITH SCORE 2078664.417
AT ITER 2183 NEW BEST:: SOT 11918664 SOS 7425448 HAS SOPS 6204327 HAS SOUS 2162422 HAS SOUPS 2068317 WITH SCORE 2075742.448
AT ITER 2187 NEW BEST:: SOT 11918710 SOS 7425626 HAS SOPS 6204427 HAS SOUS 2162342 HAS SOUPS 2068237 WITH SCORE 2075662.626
AT ITER 2203 NEW BEST:: SOT 11921954 SOS 7431439 HAS SOPS 6211064 HAS SOUS 2161363 HAS SOUPS 2067379 WITH SCORE 2074810.439
AT ITER 2217 NEW BEST:: SOT 11921582 SOS 7431067 HAS SOPS 6210516 HAS SOUS 2160403 HAS SOUPS 2066419 WITH SCORE 2073850.067
AT ITER 2233 NEW BEST:: SOT 11923148 SOS 7435999 HAS SOPS 6213402 HAS SOUS 2158648 HAS SOUPS 2064602 WITH SCORE 2072037.999
AT ITER 2236 NEW BEST:: SOT 11922304 SOS 7434291 HAS SOPS 6212034 HAS SOUS 2158583 HAS SOUPS 2064537 WITH SCORE 2071971.291
AT ITER 2241 NEW BEST:: SOT 11917631 SOS 7423661 HAS SOPS 6203017 HAS SOUS 2155846 HAS SOUPS 2061970 WITH SCORE 2069393.661
AT ITER 2245 NEW BEST:: SOT 11916077 SOS 7422472 HAS SOPS 6201755 HAS SOUS 2150312 HAS SOUPS 2056436 WITH SCORE 2063858.472
AT ITER 2246 NEW BEST:: SOT 11915735 SOS 7421752 HAS SOPS 6201410 HAS SOUS 2148595 HAS SOUPS 2054896 WITH SCORE 2062317.752
AT ITER 2265 NEW BEST:: SOT 11915143 SOS 7421160 HAS SOPS 6200418 HAS SOUS 2146371 HAS SOUPS 2052672 WITH SCORE 2060093.16
AT ITER 2272 NEW BEST:: SOT 11917261 SOS 7423316 HAS SOPS 6204389 HAS SOUS 2144843 HAS SOUPS 2052122 WITH SCORE 2059545.316
AT ITER 2274 NEW BEST:: SOT 11917565 SOS 7423984 HAS SOPS 6205705 HAS SOUS 2144007 HAS SOUPS 2051314 WITH SCORE 2058737.984
AT ITER 2279 NEW BEST:: SOT 11917473 SOS 7423550 HAS SOPS 6205002 HAS SOUS 2143713 HAS SOUPS 2051020 WITH SCORE 2058443.55
AT ITER 2282 NEW BEST:: SOT 11919563 SOS 7425136 HAS SOPS 6203101 HAS SOUS 2136495 HAS SOUPS 2042937 WITH SCORE 2050362.136
AT ITER 2294 NEW BEST:: SOT 11916245 SOS 7422378 HAS SOPS 6199931 HAS SOUS 2132354 HAS SOUPS 2038739 WITH SCORE 2046161.378
AT ITER 2295 NEW BEST:: SOT 11915563 SOS 7421808 HAS SOPS 6200925 HAS SOUS 2129501 HAS SOUPS 2035886 WITH SCORE 2043307.808
AT ITER 2297 NEW BEST:: SOT 11915523 SOS 7421768 HAS SOPS 6200821 HAS SOUS 2128893 HAS SOUPS 2035278 WITH SCORE 2042699.768
AT ITER 2308 NEW BEST:: SOT 11913867 SOS 7418053 HAS SOPS 6196930 HAS SOUS 2127028 HAS SOUPS 2033397 WITH SCORE 2040815.053
AT ITER 2311 NEW BEST:: SOT 11914204 SOS 7418390 HAS SOPS 6196931 HAS SOUS 2125773 HAS SOUPS 2032142 WITH SCORE 2039560.39
AT ITER 2336 NEW BEST:: SOT 11914061 SOS 7418144 HAS SOPS 6196674 HAS SOUS 2125779 HAS SOUPS 2032136 WITH SCORE 2039554.144
AT ITER 2339 NEW BEST:: SOT 11914577 SOS 7425004 HAS SOPS 6208588 HAS SOUS 2124699 HAS SOUPS 2031056 WITH SCORE 2038481.004
AT ITER 2369 NEW BEST:: SOT 11914790 SOS 7425063 HAS SOPS 6209007 HAS SOUS 2124322 HAS SOUPS 2030837 WITH SCORE 2038262.063
AT ITER 2397 NEW BEST:: SOT 11911373 SOS 7421160 HAS SOPS 6206709 HAS SOUS 2124317 HAS SOUPS 2030720 WITH SCORE 2038141.16
AT ITER 2416 NEW BEST:: SOT 11911101 SOS 7420302 HAS SOPS 6205876 HAS SOUS 2123358 HAS SOUPS 2029761 WITH SCORE 2037181.302
AT ITER 2418 NEW BEST:: SOT 11910901 SOS 7420102 HAS SOPS 6205676 HAS SOUS 2123358 HAS SOUPS 2029761 WITH SCORE 2037181.102
AT ITER 2421 NEW BEST:: SOT 11908943 SOS 7417212 HAS SOPS 6201565 HAS SOUS 2117406 HAS SOUPS 2023859 WITH SCORE 2031276.212
AT ITER 2426 NEW BEST:: SOT 11910203 SOS 7418351 HAS SOPS 6202968 HAS SOUS 2116831 HAS SOUPS 2023327 WITH SCORE 2030745.351
AT ITER 2430 NEW BEST:: SOT 11910208 SOS 7417480 HAS SOPS 6201902 HAS SOUS 2115830 HAS SOUPS 2022326 WITH SCORE 2029743.48
AT ITER 2431 NEW BEST:: SOT 11910277 SOS 7417320 HAS SOPS 6200993 HAS SOUS 2115711 HAS SOUPS 2022144 WITH SCORE 2029561.32
AT ITER 2433 NEW BEST:: SOT 11910364 SOS 7417549 HAS SOPS 6200890 HAS SOUS 2115501 HAS SOUPS 2021912 WITH SCORE 2029329.549
AT ITER 2441 NEW BEST:: SOT 11909212 SOS 7410906 HAS SOPS 6195334 HAS SOUS 2112474 HAS SOUPS 2018885 WITH SCORE 2026295.906
AT ITER 2450 NEW BEST:: SOT 11909861 SOS 7411663 HAS SOPS 6196339 HAS SOUS 2112028 HAS SOUPS 2018458 WITH SCORE 2025869.663
AT ITER 2467 NEW BEST:: SOT 11909558 SOS 7411326 HAS SOPS 6195919 HAS SOUS 2111588 HAS SOUPS 2018018 WITH SCORE 2025429.326
AT ITER 2498 NEW BEST:: SOT 11908510 SOS 7410278 HAS SOPS 6194871 HAS SOUS 2110360 HAS SOUPS 2016790 WITH SCORE 2024200.278
AT ITER 2502 NEW BEST:: SOT 11908544 SOS 7410181 HAS SOPS 6194481 HAS SOUS 2109828 HAS SOUPS 2016281 WITH SCORE 2023691.181
AT ITER 2505 NEW BEST:: SOT 11908155 SOS 7409232 HAS SOPS 6193741 HAS SOUS 2108616 HAS SOUPS 2015094 WITH SCORE 2022503.232
AT ITER 2509 NEW BEST:: SOT 11908043 SOS 7408978 HAS SOPS 6193542 HAS SOUS 2108586 HAS SOUPS 2015064 WITH SCORE 2022472.978
AT ITER 2517 NEW BEST:: SOT 11908321 SOS 7409472 HAS SOPS 6194707 HAS SOUS 2108546 HAS SOUPS 2015024 WITH SCORE 2022433.472
AT ITER 2564 NEW BEST:: SOT 11902578 SOS 7397657 HAS SOPS 6184284 HAS SOUS 2102264 HAS SOUPS 2009394 WITH SCORE 2016791.657
AT ITER 2568 NEW BEST:: SOT 11900520 SOS 7395063 HAS SOPS 6180975 HAS SOUS 2097237 HAS SOUPS 2004392 WITH SCORE 2011787.063
AT ITER 2597 NEW BEST:: SOT 11896369 SOS 7390166 HAS SOPS 6174560 HAS SOUS 2092088 HAS SOUPS 1999001 WITH SCORE 2006391.166
AT ITER 2607 NEW BEST:: SOT 11895540 SOS 7386941 HAS SOPS 6171486 HAS SOUS 2092065 HAS SOUPS 1998978 WITH SCORE 2006364.941
AT ITER 2610 NEW BEST:: SOT 11894577 SOS 7384717 HAS SOPS 6169114 HAS SOUS 2090781 HAS SOUPS 1997796 WITH SCORE 2005180.717
AT ITER 2616 NEW BEST:: SOT 11896666 SOS 7388617 HAS SOPS 6176593 HAS SOUS 2090581 HAS SOUPS 1997596 WITH SCORE 2004984.617
AT ITER 2623 NEW BEST:: SOT 11893649 SOS 7384831 HAS SOPS 6172569 HAS SOUS 2085873 HAS SOUPS 1992888 WITH SCORE 2000272.831
AT ITER 2628 NEW BEST:: SOT 11893062 SOS 7383516 HAS SOPS 6171337 HAS SOUS 2085454 HAS SOUPS 1992469 WITH SCORE 1999852.516
AT ITER 2633 NEW BEST:: SOT 11893068 SOS 7383052 HAS SOPS 6170106 HAS SOUS 2085046 HAS SOUPS 1992061 WITH SCORE 1999444.052
AT ITER 2640 NEW BEST:: SOT 11892009 SOS 7382615 HAS SOPS 6168675 HAS SOUS 2082916 HAS SOUPS 1989931 WITH SCORE 1997313.615
AT ITER 2644 NEW BEST:: SOT 11891279 SOS 7381100 HAS SOPS 6167627 HAS SOUS 2079015 HAS SOUPS 1986030 WITH SCORE 1993411.1
AT ITER 2649 NEW BEST:: SOT 11891308 SOS 7381033 HAS SOPS 6167616 HAS SOUS 2078953 HAS SOUPS 1985968 WITH SCORE 1993349.033
AT ITER 2667 NEW BEST:: SOT 11891223 SOS 7380883 HAS SOPS 6167551 HAS SOUS 2078523 HAS SOUPS 1985543 WITH SCORE 1992923.883
AT ITER 2688 NEW BEST:: SOT 11891202 SOS 7380454 HAS SOPS 6167182 HAS SOUS 2078505 HAS SOUPS 1985525 WITH SCORE 1992905.454
AT ITER 2723 NEW BEST:: SOT 11891010 SOS 7380246 HAS SOPS 6166870 HAS SOUS 2078073 HAS SOUPS 1985097 WITH SCORE 1992477.246
AT ITER 2731 NEW BEST:: SOT 11889432 SOS 7379027 HAS SOPS 6164067 HAS SOUS 2073935 HAS SOUPS 1980722 WITH SCORE 1988101.027
AT ITER 2738 NEW BEST:: SOT 11887240 SOS 7369193 HAS SOPS 6160418 HAS SOUS 2071891 HAS SOUPS 1978829 WITH SCORE 1986198.193
AT ITER 2763 NEW BEST:: SOT 11885992 SOS 7364792 HAS SOPS 6157194 HAS SOUS 2071050 HAS SOUPS 1977988 WITH SCORE 1985352.792
AT ITER 2767 NEW BEST:: SOT 11887497 SOS 7360097 HAS SOPS 6155697 HAS SOUS 2068423 HAS SOUPS 1975525 WITH SCORE 1982885.097
AT ITER 2784 NEW BEST:: SOT 11888245 SOS 7361482 HAS SOPS 6157713 HAS SOUS 2065819 HAS SOUPS 1972921 WITH SCORE 1980282.482
AT ITER 2790 NEW BEST:: SOT 11879454 SOS 7349977 HAS SOPS 6146377 HAS SOUS 2050985 HAS SOUPS 1958146 WITH SCORE 1965495.977
AT ITER 2795 NEW BEST:: SOT 11871345 SOS 7327755 HAS SOPS 6133686 HAS SOUS 2046488 HAS SOUPS 1954060 WITH SCORE 1961387.755
AT ITER 2798 NEW BEST:: SOT 11871495 SOS 7328004 HAS SOPS 6133878 HAS SOUS 2046191 HAS SOUPS 1953804 WITH SCORE 1961132.004
AT ITER 2804 NEW BEST:: SOT 11870604 SOS 7327157 HAS SOPS 6132812 HAS SOUS 2045280 HAS SOUPS 1952881 WITH SCORE 1960208.157
AT ITER 2810 NEW BEST:: SOT 11869700 SOS 7326283 HAS SOPS 6131167 HAS SOUS 2044731 HAS SOUPS 1952304 WITH SCORE 1959630.283
AT ITER 2821 NEW BEST:: SOT 11868212 SOS 7324714 HAS SOPS 6130133 HAS SOUS 2043947 HAS SOUPS 1951264 WITH SCORE 1958588.714
AT ITER 2824 NEW BEST:: SOT 11867054 SOS 7321033 HAS SOPS 6126863 HAS SOUS 2043885 HAS SOUPS 1951202 WITH SCORE 1958523.033
AT ITER 2825 NEW BEST:: SOT 11867437 SOS 7323039 HAS SOPS 6128245 HAS SOUS 2041210 HAS SOUPS 1948527 WITH SCORE 1955850.039
AT ITER 2831 NEW BEST:: SOT 11867258 SOS 7323329 HAS SOPS 6128017 HAS SOUS 2040015 HAS SOUPS 1947351 WITH SCORE 1954674.329
AT ITER 2838 NEW BEST:: SOT 11867181 SOS 7322983 HAS SOPS 6127566 HAS SOUS 2039747 HAS SOUPS 1947083 WITH SCORE 1954405.983
AT ITER 2849 NEW BEST:: SOT 11868905 SOS 7324707 HAS SOPS 6128650 HAS SOUS 2039239 HAS SOUPS 1946543 WITH SCORE 1953867.707
AT ITER 2864 NEW BEST:: SOT 11867415 SOS 7322883 HAS SOPS 6127611 HAS SOUS 2036555 HAS SOUPS 1943859 WITH SCORE 1951181.883
AT ITER 2867 NEW BEST:: SOT 11865119 SOS 7323950 HAS SOPS 6125691 HAS SOUS 2033319 HAS SOUPS 1940623 WITH SCORE 1947946.95
AT ITER 2875 NEW BEST:: SOT 11865093 SOS 7324750 HAS SOPS 6126462 HAS SOUS 2032749 HAS SOUPS 1940053 WITH SCORE 1947377.75
AT ITER 2898 NEW BEST:: SOT 11865924 SOS 7326977 HAS SOPS 6127816 HAS SOUS 2030586 HAS SOUPS 1937890 WITH SCORE 1945216.977
AT ITER 2899 NEW BEST:: SOT 11866409 SOS 7328539 HAS SOPS 6129104 HAS SOUS 2030533 HAS SOUPS 1937837 WITH SCORE 1945165.539
AT ITER 2908 NEW BEST:: SOT 11866615 SOS 7328387 HAS SOPS 6128984 HAS SOUS 2030410 HAS SOUPS 1937725 WITH SCORE 1945053.387
AT ITER 2919 NEW BEST:: SOT 11866795 SOS 7331927 HAS SOPS 6131763 HAS SOUS 2029531 HAS SOUPS 1936846 WITH SCORE 1944177.927
AT ITER 2928 NEW BEST:: SOT 11866441 SOS 7330020 HAS SOPS 6128496 HAS SOUS 2028223 HAS SOUPS 1935538 WITH SCORE 1942868.02
AT ITER 2943 NEW BEST:: SOT 11865748 SOS 7329596 HAS SOPS 6127549 HAS SOUS 2027277 HAS SOUPS 1934592 WITH SCORE 1941921.596
AT ITER 2944 NEW BEST:: SOT 11865490 SOS 7329338 HAS SOPS 6127387 HAS SOUS 2027019 HAS SOUPS 1934430 WITH SCORE 1941759.338
AT ITER 2950 NEW BEST:: SOT 11864420 SOS 7324935 HAS SOPS 6125748 HAS SOUS 2016337 HAS SOUPS 1925455 WITH SCORE 1932779.935
AT ITER 2968 NEW BEST:: SOT 11864544 SOS 7328521 HAS SOPS 6133661 HAS SOUS 2014829 HAS SOUPS 1923947 WITH SCORE 1931275.521
AT ITER 2972 NEW BEST:: SOT 11864500 SOS 7328371 HAS SOPS 6133510 HAS SOUS 2014717 HAS SOUPS 1923835 WITH SCORE 1931163.371
AT ITER 2987 NEW BEST:: SOT 11864246 SOS 7328005 HAS SOPS 6132566 HAS SOUS 2013216 HAS SOUPS 1922334 WITH SCORE 1929662.005
AT ITER 2992 NEW BEST:: SOT 11864276 SOS 7328188 HAS SOPS 6132770 HAS SOUS 2013180 HAS SOUPS 1922298 WITH SCORE 1929626.188
AT ITER 2997 NEW BEST:: SOT 11868097 SOS 7335264 HAS SOPS 6142702 HAS SOUS 2010168 HAS SOUPS 1919441 WITH SCORE 1926776.264
AT ITER 3023 NEW BEST:: SOT 11864012 SOS 7328550 HAS SOPS 6133551 HAS SOUS 2009701 HAS SOUPS 1918972 WITH SCORE 1926300.55
AT ITER 3029 NEW BEST:: SOT 11863434 SOS 7328098 HAS SOPS 6132152 HAS SOUS 2008772 HAS SOUPS 1918043 WITH SCORE 1925371.098
AT ITER 3031 NEW BEST:: SOT 11863151 SOS 7327816 HAS SOPS 6132008 HAS SOUS 2006454 HAS SOUPS 1915783 WITH SCORE 1923110.816
AT ITER 3032 NEW BEST:: SOT 11863331 SOS 7328637 HAS SOPS 6132318 HAS SOUS 2006053 HAS SOUPS 1915382 WITH SCORE 1922710.637
AT ITER 3053 NEW BEST:: SOT 11863156 SOS 7328657 HAS SOPS 6132312 HAS SOUS 2005098 HAS SOUPS 1914414 WITH SCORE 1921742.657
AT ITER 3071 NEW BEST:: SOT 11862668 SOS 7328169 HAS SOPS 6131568 HAS SOUS 2003514 HAS SOUPS 1912830 WITH SCORE 1920158.169
AT ITER 3077 NEW BEST:: SOT 11862234 SOS 7327739 HAS SOPS 6131010 HAS SOUS 2003044 HAS SOUPS 1912360 WITH SCORE 1919687.739
AT ITER 3092 NEW BEST:: SOT 11861664 SOS 7325560 HAS SOPS 6128577 HAS SOUS 2001754 HAS SOUPS 1911070 WITH SCORE 1918395.56
AT ITER 3114 NEW BEST:: SOT 11861081 SOS 7320139 HAS SOPS 6122860 HAS SOUS 2000823 HAS SOUPS 1910139 WITH SCORE 1917459.139
AT ITER 3119 NEW BEST:: SOT 11859124 SOS 7318067 HAS SOPS 6121943 HAS SOUS 1993622 HAS SOUPS 1903241 WITH SCORE 1910559.067
AT ITER 3124 NEW BEST:: SOT 11858904 SOS 7317344 HAS SOPS 6121432 HAS SOUS 1993181 HAS SOUPS 1902806 WITH SCORE 1910123.344
AT ITER 3138 NEW BEST:: SOT 11858806 SOS 7317179 HAS SOPS 6121319 HAS SOUS 1992928 HAS SOUPS 1902556 WITH SCORE 1909873.179
AT ITER 3140 NEW BEST:: SOT 11855311 SOS 7312050 HAS SOPS 6115437 HAS SOUS 1989806 HAS SOUPS 1899363 WITH SCORE 1906675.05
AT ITER 3158 NEW BEST:: SOT 11855295 SOS 7312026 HAS SOPS 6115409 HAS SOUS 1989779 HAS SOUPS 1899336 WITH SCORE 1906648.026
AT ITER 3165 NEW BEST:: SOT 11855227 SOS 7310731 HAS SOPS 6112963 HAS SOUS 1989738 HAS SOUPS 1899295 WITH SCORE 1906605.731
AT ITER 3188 NEW BEST:: SOT 11854121 SOS 7310089 HAS SOPS 6111276 HAS SOUS 1985942 HAS SOUPS 1895499 WITH SCORE 1902809.089
AT ITER 3197 NEW BEST:: SOT 11852126 SOS 7307678 HAS SOPS 6109026 HAS SOUS 1983464 HAS SOUPS 1893044 WITH SCORE 1900351.678
AT ITER 3217 NEW BEST:: SOT 11852202 SOS 7307754 HAS SOPS 6109038 HAS SOUS 1982976 HAS SOUPS 1892556 WITH SCORE 1899863.754
AT ITER 3280 NEW BEST:: SOT 11850971 SOS 7306607 HAS SOPS 6107635 HAS SOUS 1982841 HAS SOUPS 1892421 WITH SCORE 1899727.607
AT ITER 3286 NEW BEST:: SOT 11852248 SOS 7308536 HAS SOPS 6108114 HAS SOUS 1982739 HAS SOUPS 1892319 WITH SCORE 1899627.536
AT ITER 3287 NEW BEST:: SOT 11851637 SOS 7308105 HAS SOPS 6107899 HAS SOUS 1975823 HAS SOUPS 1885474 WITH SCORE 1892782.105
AT ITER 3292 NEW BEST:: SOT 11847716 SOS 7303485 HAS SOPS 6101335 HAS SOUS 1966853 HAS SOUPS 1876553 WITH SCORE 1883856.485
AT ITER 3296 NEW BEST:: SOT 11846671 SOS 7304016 HAS SOPS 6099189 HAS SOUS 1964672 HAS SOUPS 1874372 WITH SCORE 1881676.016
AT ITER 3326 NEW BEST:: SOT 11846205 SOS 7303713 HAS SOPS 6099093 HAS SOUS 1964510 HAS SOUPS 1874210 WITH SCORE 1881513.713
AT ITER 3328 NEW BEST:: SOT 11845467 SOS 7301405 HAS SOPS 6096623 HAS SOUS 1963197 HAS SOUPS 1872897 WITH SCORE 1880198.405
AT ITER 3335 NEW BEST:: SOT 11846000 SOS 7297239 HAS SOPS 6093122 HAS SOUS 1962269 HAS SOUPS 1871969 WITH SCORE 1879266.239
AT ITER 3341 NEW BEST:: SOT 11845806 SOS 7298063 HAS SOPS 6094876 HAS SOUS 1960087 HAS SOUPS 1869787 WITH SCORE 1877085.063
AT ITER 3355 NEW BEST:: SOT 11845000 SOS 7301949 HAS SOPS 6099737 HAS SOUS 1952559 HAS SOUPS 1862353 WITH SCORE 1869654.949
AT ITER 3376 NEW BEST:: SOT 11844948 SOS 7300827 HAS SOPS 6098448 HAS SOUS 1952203 HAS SOUPS 1861997 WITH SCORE 1869297.827
AT ITER 3398 NEW BEST:: SOT 11844971 SOS 7300736 HAS SOPS 6098387 HAS SOUS 1952192 HAS SOUPS 1861987 WITH SCORE 1869287.736
AT ITER 3400 NEW BEST:: SOT 11843783 SOS 7300385 HAS SOPS 6096738 HAS SOUS 1943783 HAS SOUPS 1853481 WITH SCORE 1860781.385
AT ITER 3401 NEW BEST:: SOT 11839407 SOS 7296009 HAS SOPS 6092858 HAS SOUS 1940859 HAS SOUPS 1851053 WITH SCORE 1858349.009
AT ITER 3410 NEW BEST:: SOT 11839211 SOS 7296208 HAS SOPS 6092821 HAS SOUS 1939643 HAS SOUPS 1849749 WITH SCORE 1857045.208
AT ITER 3444 NEW BEST:: SOT 11838735 SOS 7295732 HAS SOPS 6092345 HAS SOUS 1939551 HAS SOUPS 1849657 WITH SCORE 1856952.732
AT ITER 3466 NEW BEST:: SOT 11842326 SOS 7299014 HAS SOPS 6096647 HAS SOUS 1936775 HAS SOUPS 1846883 WITH SCORE 1854182.014
AT ITER 3474 NEW BEST:: SOT 11843780 SOS 7299910 HAS SOPS 6096301 HAS SOUS 1936489 HAS SOUPS 1846597 WITH SCORE 1853896.91
AT ITER 3479 NEW BEST:: SOT 11843710 SOS 7299870 HAS SOPS 6096006 HAS SOUS 1936164 HAS SOUPS 1846260 WITH SCORE 1853559.87
AT ITER 3485 NEW BEST:: SOT 11841141 SOS 7297301 HAS SOPS 6093437 HAS SOUS 1932979 HAS SOUPS 1843075 WITH SCORE 1850372.301
AT ITER 3520 NEW BEST:: SOT 11842695 SOS 7302240 HAS SOPS 6097451 HAS SOUS 1932508 HAS SOUPS 1842604 WITH SCORE 1849906.24
AT ITER 3544 NEW BEST:: SOT 11836958 SOS 7293896 HAS SOPS 6087479 HAS SOUS 1922962 HAS SOUPS 1833058 WITH SCORE 1840351.896
AT ITER 3566 NEW BEST:: SOT 11837391 SOS 7294329 HAS SOPS 6087784 HAS SOUS 1922947 HAS SOUPS 1832915 WITH SCORE 1840209.329
AT ITER 3567 NEW BEST:: SOT 11837500 SOS 7294513 HAS SOPS 6087816 HAS SOUS 1922926 HAS SOUPS 1832864 WITH SCORE 1840158.513
AT ITER 3578 NEW BEST:: SOT 11837482 SOS 7294448 HAS SOPS 6087726 HAS SOUS 1922907 HAS SOUPS 1832844 WITH SCORE 1840138.448
AT ITER 3606 NEW BEST:: SOT 11837442 SOS 7294884 HAS SOPS 6087612 HAS SOUS 1922632 HAS SOUPS 1832569 WITH SCORE 1839863.884
AT ITER 3610 NEW BEST:: SOT 11836704 SOS 7294170 HAS SOPS 6086874 HAS SOUS 1921908 HAS SOUPS 1831831 WITH SCORE 1839125.17
AT ITER 3629 NEW BEST:: SOT 11836006 SOS 7293602 HAS SOPS 6085762 HAS SOUS 1921728 HAS SOUPS 1831387 WITH SCORE 1838680.602
AT ITER 3662 NEW BEST:: SOT 11836943 SOS 7293963 HAS SOPS 6086078 HAS SOUS 1920723 HAS SOUPS 1830382 WITH SCORE 1837675.963
AT ITER 3677 NEW BEST:: SOT 11835668 SOS 7292919 HAS SOPS 6085056 HAS SOUS 1916909 HAS SOUPS 1826542 WITH SCORE 1833834.919
AT ITER 3681 NEW BEST:: SOT 11837808 SOS 7296640 HAS SOPS 6091415 HAS SOUS 1915955 HAS SOUPS 1825588 WITH SCORE 1832884.64
AT ITER 3682 NEW BEST:: SOT 11834667 SOS 7294035 HAS SOPS 6086849 HAS SOUS 1907288 HAS SOUPS 1816921 WITH SCORE 1824215.035
AT ITER 3683 NEW BEST:: SOT 11834309 SOS 7293591 HAS SOPS 6086196 HAS SOUS 1906586 HAS SOUPS 1816189 WITH SCORE 1823482.591
AT ITER 3709 NEW BEST:: SOT 11839876 SOS 7295989 HAS SOPS 6090907 HAS SOUS 1904365 HAS SOUPS 1814094 WITH SCORE 1821389.989
AT ITER 3720 NEW BEST:: SOT 11839456 SOS 7295569 HAS SOPS 6090487 HAS SOUS 1904113 HAS SOUPS 1813842 WITH SCORE 1821137.569
AT ITER 3759 NEW BEST:: SOT 11840883 SOS 7297493 HAS SOPS 6094245 HAS SOUS 1903265 HAS SOUPS 1812829 WITH SCORE 1820126.493
AT ITER 3766 NEW BEST:: SOT 11840844 SOS 7296290 HAS SOPS 6093228 HAS SOUS 1903230 HAS SOUPS 1812794 WITH SCORE 1820090.29
AT ITER 3782 NEW BEST:: SOT 11842009 SOS 7297408 HAS SOPS 6093657 HAS SOUS 1903248 HAS SOUPS 1812147 WITH SCORE 1819444.408
AT ITER 3785 NEW BEST:: SOT 11842068 SOS 7295562 HAS SOPS 6091850 HAS SOUS 1903104 HAS SOUPS 1812003 WITH SCORE 1819298.562
AT ITER 3787 NEW BEST:: SOT 11842020 SOS 7295514 HAS SOPS 6091786 HAS SOUS 1903004 HAS SOUPS 1811903 WITH SCORE 1819198.514
AT ITER 3811 NEW BEST:: SOT 11844015 SOS 7301267 HAS SOPS 6100100 HAS SOUS 1902673 HAS SOUPS 1811660 WITH SCORE 1818961.267
AT ITER 3813 NEW BEST:: SOT 11844164 SOS 7301577 HAS SOPS 6100055 HAS SOUS 1902371 HAS SOUPS 1811358 WITH SCORE 1818659.577
AT ITER 3818 NEW BEST:: SOT 11843956 SOS 7301018 HAS SOPS 6098844 HAS SOUS 1902246 HAS SOUPS 1811194 WITH SCORE 1818495.018
AT ITER 3829 NEW BEST:: SOT 11842933 SOS 7299183 HAS SOPS 6097439 HAS SOUS 1901553 HAS SOUPS 1810501 WITH SCORE 1817800.183
AT ITER 3830 NEW BEST:: SOT 11840127 SOS 7293132 HAS SOPS 6088261 HAS SOUS 1900884 HAS SOUPS 1809720 WITH SCORE 1817013.132
AT ITER 3839 NEW BEST:: SOT 11842018 SOS 7295964 HAS SOPS 6091268 HAS SOUS 1900397 HAS SOUPS 1809272 WITH SCORE 1816567.964
AT ITER 3851 NEW BEST:: SOT 11841967 SOS 7295941 HAS SOPS 6091160 HAS SOUS 1900038 HAS SOUPS 1808913 WITH SCORE 1816208.941
AT ITER 3886 NEW BEST:: SOT 11842265 SOS 7296860 HAS SOPS 6092120 HAS SOUS 1900034 HAS SOUPS 1808909 WITH SCORE 1816205.86
AT ITER 3888 NEW BEST:: SOT 11842245 SOS 7296505 HAS SOPS 6091476 HAS SOUS 1898255 HAS SOUPS 1807169 WITH SCORE 1814465.505
AT ITER 3912 NEW BEST:: SOT 11842663 SOS 7294904 HAS SOPS 6089145 HAS SOUS 1898188 HAS SOUPS 1807102 WITH SCORE 1814396.904
AT ITER 3925 NEW BEST:: SOT 11842803 SOS 7295106 HAS SOPS 6089646 HAS SOUS 1897776 HAS SOUPS 1806700 WITH SCORE 1813995.106
AT ITER 3941 NEW BEST:: SOT 11840700 SOS 7292092 HAS SOPS 6086169 HAS SOUS 1886014 HAS SOUPS 1795806 WITH SCORE 1803098.092
AT ITER 3946 NEW BEST:: SOT 11840478 SOS 7284453 HAS SOPS 6079737 HAS SOUS 1885068 HAS SOUPS 1794955 WITH SCORE 1802239.453
AT ITER 3966 NEW BEST:: SOT 11848266 SOS 7299322 HAS SOPS 6097402 HAS SOUS 1879634 HAS SOUPS 1789521 WITH SCORE 1796820.322
AT ITER 4017 NEW BEST:: SOT 11851714 SOS 7300641 HAS SOPS 6093803 HAS SOUS 1874549 HAS SOUPS 1784436 WITH SCORE 1791736.641
AT ITER 4027 NEW BEST:: SOT 11850352 SOS 7299863 HAS SOPS 6092153 HAS SOUS 1873317 HAS SOUPS 1783151 WITH SCORE 1790450.863
AT ITER 4038 NEW BEST:: SOT 11848794 SOS 7298364 HAS SOPS 6091011 HAS SOUS 1871176 HAS SOUPS 1781711 WITH SCORE 1789009.364
AT ITER 4055 NEW BEST:: SOT 11848893 SOS 7298494 HAS SOPS 6090638 HAS SOUS 1869359 HAS SOUPS 1779894 WITH SCORE 1787192.494
AT ITER 4064 NEW BEST:: SOT 11846534 SOS 7296135 HAS SOPS 6088279 HAS SOUS 1866776 HAS SOUPS 1777311 WITH SCORE 1784607.135
AT ITER 4069 NEW BEST:: SOT 11844295 SOS 7289565 HAS SOPS 6078456 HAS SOUS 1865458 HAS SOUPS 1775993 WITH SCORE 1783282.565
AT ITER 4071 NEW BEST:: SOT 11847324 SOS 7291854 HAS SOPS 6082957 HAS SOUS 1858688 HAS SOUPS 1769232 WITH SCORE 1776523.854
AT ITER 4093 NEW BEST:: SOT 11847023 SOS 7291375 HAS SOPS 6082715 HAS SOUS 1858619 HAS SOUPS 1769163 WITH SCORE 1776454.375
AT ITER 4109 NEW BEST:: SOT 11848672 SOS 7293249 HAS SOPS 6084293 HAS SOUS 1856121 HAS SOUPS 1767113 WITH SCORE 1774406.249
AT ITER 4116 NEW BEST:: SOT 11847969 SOS 7293732 HAS SOPS 6082053 HAS SOUS 1853004 HAS SOUPS 1763940 WITH SCORE 1771233.732
AT ITER 4136 NEW BEST:: SOT 11847465 SOS 7292776 HAS SOPS 6079640 HAS SOUS 1849042 HAS SOUPS 1759978 WITH SCORE 1767270.776
AT ITER 4138 NEW BEST:: SOT 11846965 SOS 7293287 HAS SOPS 6080080 HAS SOUS 1848971 HAS SOUPS 1759907 WITH SCORE 1767200.287
AT ITER 4147 NEW BEST:: SOT 11846725 SOS 7292951 HAS SOPS 6079712 HAS SOUS 1848505 HAS SOUPS 1759443 WITH SCORE 1766735.951
AT ITER 4152 NEW BEST:: SOT 11846005 SOS 7292668 HAS SOPS 6078583 HAS SOUS 1848930 HAS SOUPS 1759346 WITH SCORE 1766638.668
AT ITER 4174 NEW BEST:: SOT 11847204 SOS 7294573 HAS SOPS 6079705 HAS SOUS 1846880 HAS SOUPS 1757344 WITH SCORE 1764638.573
AT ITER 4188 NEW BEST:: SOT 11847057 SOS 7292639 HAS SOPS 6079845 HAS SOUS 1846704 HAS SOUPS 1757168 WITH SCORE 1764460.639
AT ITER 4189 NEW BEST:: SOT 11846768 SOS 7292176 HAS SOPS 6079276 HAS SOUS 1846265 HAS SOUPS 1756738 WITH SCORE 1764030.176
AT ITER 4193 NEW BEST:: SOT 11846761 SOS 7290888 HAS SOPS 6078639 HAS SOUS 1845079 HAS SOUPS 1755962 WITH SCORE 1763252.888
AT ITER 4197 NEW BEST:: SOT 11846624 SOS 7290641 HAS SOPS 6078199 HAS SOUS 1844076 HAS SOUPS 1754959 WITH SCORE 1762249.641
AT ITER 4214 NEW BEST:: SOT 11843143 SOS 7285371 HAS SOPS 6072044 HAS SOUS 1837723 HAS SOUPS 1748635 WITH SCORE 1755920.371
AT ITER 4229 NEW BEST:: SOT 11843685 SOS 7286247 HAS SOPS 6072872 HAS SOUS 1837481 HAS SOUPS 1748393 WITH SCORE 1755679.247
AT ITER 4238 NEW BEST:: SOT 11843696 SOS 7286256 HAS SOPS 6072867 HAS SOUS 1837475 HAS SOUPS 1748381 WITH SCORE 1755667.256
AT ITER 4248 NEW BEST:: SOT 11842934 SOS 7286495 HAS SOPS 6074138 HAS SOUS 1836822 HAS SOUPS 1747728 WITH SCORE 1755014.495
AT ITER 4264 NEW BEST:: SOT 11850462 SOS 7307716 HAS SOPS 6095877 HAS SOUS 1829603 HAS SOUPS 1740702 WITH SCORE 1748009.716
AT ITER 4293 NEW BEST:: SOT 11850435 SOS 7307668 HAS SOPS 6095763 HAS SOUS 1829522 HAS SOUPS 1740621 WITH SCORE 1747928.668
AT ITER 4326 NEW BEST:: SOT 11849285 SOS 7310094 HAS SOPS 6095774 HAS SOUS 1826931 HAS SOUPS 1738030 WITH SCORE 1745340.094
AT ITER 4349 NEW BEST:: SOT 11848420 SOS 7309794 HAS SOPS 6095679 HAS SOUS 1826708 HAS SOUPS 1737807 WITH SCORE 1745116.794
AT ITER 4362 NEW BEST:: SOT 11852022 SOS 7313095 HAS SOPS 6101586 HAS SOUS 1822715 HAS SOUPS 1733814 WITH SCORE 1741127.095
AT ITER 4364 NEW BEST:: SOT 11852002 SOS 7313083 HAS SOPS 6101546 HAS SOUS 1822699 HAS SOUPS 1733798 WITH SCORE 1741111.083
AT ITER 4372 NEW BEST:: SOT 11850036 SOS 7303661 HAS SOPS 6089298 HAS SOUS 1816109 HAS SOUPS 1727208 WITH SCORE 1734511.661
AT ITER 4374 NEW BEST:: SOT 11849956 SOS 7303691 HAS SOPS 6088977 HAS SOUS 1815690 HAS SOUPS 1726789 WITH SCORE 1734092.691
AT ITER 4379 NEW BEST:: SOT 11849412 SOS 7303147 HAS SOPS 6088257 HAS SOUS 1814602 HAS SOUPS 1725701 WITH SCORE 1733004.147
AT ITER 4384 NEW BEST:: SOT 11846074 SOS 7298651 HAS SOPS 6083176 HAS SOUS 1811876 HAS SOUPS 1722899 WITH SCORE 1730197.651
AT ITER 4436 NEW BEST:: SOT 11844027 SOS 7296604 HAS SOPS 6081129 HAS SOUS 1809773 HAS SOUPS 1720796 WITH SCORE 1728092.604
AT ITER 4452 NEW BEST:: SOT 11842736 SOS 7294825 HAS SOPS 6079672 HAS SOUS 1809021 HAS SOUPS 1720044 WITH SCORE 1727338.825
AT ITER 4530 NEW BEST:: SOT 11842289 SOS 7295431 HAS SOPS 6080311 HAS SOUS 1808222 HAS SOUPS 1719245 WITH SCORE 1726540.431
AT ITER 4533 NEW BEST:: SOT 11843724 SOS 7295566 HAS SOPS 6078780 HAS SOUS 1807910 HAS SOUPS 1718933 WITH SCORE 1726228.566
AT ITER 4555 NEW BEST:: SOT 11840170 SOS 7294824 HAS SOPS 6076975 HAS SOUS 1803925 HAS SOUPS 1714873 WITH SCORE 1722167.824
AT ITER 4578 NEW BEST:: SOT 11841470 SOS 7301613 HAS SOPS 6081069 HAS SOUS 1795971 HAS SOUPS 1706919 WITH SCORE 1714220.613
AT ITER 4581 NEW BEST:: SOT 11841423 SOS 7301575 HAS SOPS 6081025 HAS SOUS 1795935 HAS SOUPS 1706883 WITH SCORE 1714184.575
AT ITER 4583 NEW BEST:: SOT 11839015 SOS 7296951 HAS SOPS 6079488 HAS SOUS 1795316 HAS SOUPS 1706264 WITH SCORE 1713560.951
AT ITER 4596 NEW BEST:: SOT 11835297 SOS 7288558 HAS SOPS 6074031 HAS SOUS 1786457 HAS SOUPS 1697591 WITH SCORE 1704879.558
AT ITER 4598 NEW BEST:: SOT 11834831 SOS 7290455 HAS SOPS 6074676 HAS SOUS 1785367 HAS SOUPS 1696501 WITH SCORE 1703791.455
AT ITER 4602 NEW BEST:: SOT 11834471 SOS 7290095 HAS SOPS 6074188 HAS SOUS 1784759 HAS SOUPS 1695893 WITH SCORE 1703183.095
AT ITER 4613 NEW BEST:: SOT 11834252 SOS 7289889 HAS SOPS 6074012 HAS SOUS 1784397 HAS SOUPS 1695541 WITH SCORE 1702830.889
AT ITER 4650 NEW BEST:: SOT 11833405 SOS 7287063 HAS SOPS 6070931 HAS SOUS 1781322 HAS SOUPS 1692466 WITH SCORE 1699753.063
AT ITER 4662 NEW BEST:: SOT 11833422 SOS 7286930 HAS SOPS 6070849 HAS SOUS 1781237 HAS SOUPS 1692381 WITH SCORE 1699667.93
AT ITER 4699 NEW BEST:: SOT 11832290 SOS 7285026 HAS SOPS 6069200 HAS SOUS 1779635 HAS SOUPS 1690779 WITH SCORE 1698064.026
AT ITER 4749 NEW BEST:: SOT 11827650 SOS 7276005 HAS SOPS 6062316 HAS SOUS 1774840 HAS SOUPS 1686078 WITH SCORE 1693354.005
AT ITER 4765 NEW BEST:: SOT 11827765 SOS 7275869 HAS SOPS 6062084 HAS SOUS 1774606 HAS SOUPS 1685844 WITH SCORE 1693119.869
AT ITER 4767 NEW BEST:: SOT 11827610 SOS 7275764 HAS SOPS 6061814 HAS SOUS 1774476 HAS SOUPS 1685649 WITH SCORE 1692924.764
AT ITER 4768 NEW BEST:: SOT 11822743 SOS 7260823 HAS SOPS 6053710 HAS SOUS 1770924 HAS SOUPS 1682967 WITH SCORE 1690227.823
AT ITER 4790 NEW BEST:: SOT 11821284 SOS 7259487 HAS SOPS 6053146 HAS SOUS 1769592 HAS SOUPS 1681635 WITH SCORE 1688894.487
AT ITER 4793 NEW BEST:: SOT 11820946 SOS 7259121 HAS SOPS 6052816 HAS SOUS 1768744 HAS SOUPS 1680787 WITH SCORE 1688046.121
AT ITER 4800 NEW BEST:: SOT 11820404 SOS 7258917 HAS SOPS 6052317 HAS SOUS 1767492 HAS SOUPS 1679535 WITH SCORE 1686793.917
AT ITER 4806 NEW BEST:: SOT 11823834 SOS 7256296 HAS SOPS 6051900 HAS SOUS 1766783 HAS SOUPS 1679038 WITH SCORE 1686294.296
AT ITER 4822 NEW BEST:: SOT 11823543 SOS 7255066 HAS SOPS 6050312 HAS SOUS 1766714 HAS SOUPS 1678969 WITH SCORE 1686224.066
AT ITER 4832 NEW BEST:: SOT 11823992 SOS 7255405 HAS SOPS 6050441 HAS SOUS 1766179 HAS SOUPS 1678558 WITH SCORE 1685813.405
AT ITER 4864 NEW BEST:: SOT 11820475 SOS 7252641 HAS SOPS 6045988 HAS SOUS 1755138 HAS SOUPS 1667517 WITH SCORE 1674769.641
AT ITER 4870 NEW BEST:: SOT 11820435 SOS 7252804 HAS SOPS 6046825 HAS SOUS 1753694 HAS SOUPS 1666073 WITH SCORE 1673325.804
AT ITER 4872 NEW BEST:: SOT 11819136 SOS 7251152 HAS SOPS 6047244 HAS SOUS 1753340 HAS SOUPS 1665719 WITH SCORE 1672970.152
AT ITER 4892 NEW BEST:: SOT 11816965 SOS 7248997 HAS SOPS 6045601 HAS SOUS 1751985 HAS SOUPS 1664876 WITH SCORE 1672124.997
AT ITER 4936 NEW BEST:: SOT 11817199 SOS 7249201 HAS SOPS 6045396 HAS SOUS 1751182 HAS SOUPS 1664073 WITH SCORE 1671322.201
AT ITER 4944 NEW BEST:: SOT 11822181 SOS 7258498 HAS SOPS 6055418 HAS SOUS 1745577 HAS SOUPS 1658860 WITH SCORE 1666118.498
AT ITER 4965 NEW BEST:: SOT 11821947 SOS 7258240 HAS SOPS 6055536 HAS SOUS 1744767 HAS SOUPS 1658050 WITH SCORE 1665308.24
AT ITER 4967 NEW BEST:: SOT 11821969 SOS 7258192 HAS SOPS 6055456 HAS SOUS 1744571 HAS SOUPS 1657854 WITH SCORE 1665112.192
AT ITER 4974 NEW BEST:: SOT 11817984 SOS 7246859 HAS SOPS 6043994 HAS SOUS 1744492 HAS SOUPS 1657775 WITH SCORE 1665021.859
AT ITER 4983 NEW BEST:: SOT 11817120 SOS 7245995 HAS SOPS 6042970 HAS SOUS 1743564 HAS SOUPS 1656767 WITH SCORE 1664012.995
AT ITER 4996 NEW BEST:: SOT 11815516 SOS 7239844 HAS SOPS 6038103 HAS SOUS 1742262 HAS SOUPS 1655749 WITH SCORE 1662988.844
AT ITER 5006 NEW BEST:: SOT 11815011 SOS 7239383 HAS SOPS 6037937 HAS SOUS 1742230 HAS SOUPS 1655717 WITH SCORE 1662956.383
AT ITER 5007 NEW BEST:: SOT 11815002 SOS 7239404 HAS SOPS 6037892 HAS SOUS 1742179 HAS SOUPS 1655663 WITH SCORE 1662902.404
AT ITER 5044 NEW BEST:: SOT 11814637 SOS 7239578 HAS SOPS 6037519 HAS SOUS 1738528 HAS SOUPS 1652012 WITH SCORE 1659251.578
AT ITER 5066 NEW BEST:: SOT 11814764 SOS 7228631 HAS SOPS 6026909 HAS SOUS 1736574 HAS SOUPS 1650125 WITH SCORE 1657353.631
AT ITER 5085 NEW BEST:: SOT 11815759 SOS 7222379 HAS SOPS 6028590 HAS SOUS 1731164 HAS SOUPS 1644953 WITH SCORE 1652175.379
AT ITER 5099 NEW BEST:: SOT 11808235 SOS 7208892 HAS SOPS 6012623 HAS SOUS 1730612 HAS SOUPS 1644310 WITH SCORE 1651518.892
AT ITER 5101 NEW BEST:: SOT 11808423 SOS 7208404 HAS SOPS 6009771 HAS SOUS 1726866 HAS SOUPS 1640564 WITH SCORE 1647772.404
AT ITER 5108 NEW BEST:: SOT 11808706 SOS 7211330 HAS SOPS 6012308 HAS SOUS 1726397 HAS SOUPS 1640095 WITH SCORE 1647306.33
AT ITER 5118 NEW BEST:: SOT 11807703 SOS 7210069 HAS SOPS 6010913 HAS SOUS 1722694 HAS SOUPS 1636427 WITH SCORE 1643637.069
AT ITER 5125 NEW BEST:: SOT 11807191 SOS 7209557 HAS SOPS 6010401 HAS SOUS 1722182 HAS SOUPS 1635915 WITH SCORE 1643124.557
AT ITER 5126 NEW BEST:: SOT 11806480 SOS 7207680 HAS SOPS 6008010 HAS SOUS 1720953 HAS SOUPS 1634665 WITH SCORE 1641872.68
AT ITER 5127 NEW BEST:: SOT 11803180 SOS 7204894 HAS SOPS 6001994 HAS SOUS 1713435 HAS SOUPS 1627086 WITH SCORE 1634290.894
AT ITER 5133 NEW BEST:: SOT 11802902 SOS 7204736 HAS SOPS 6001888 HAS SOUS 1712821 HAS SOUPS 1626452 WITH SCORE 1633656.736
AT ITER 5141 NEW BEST:: SOT 11800813 SOS 7198857 HAS SOPS 5994809 HAS SOUS 1711443 HAS SOUPS 1625074 WITH SCORE 1632272.857
AT ITER 5153 NEW BEST:: SOT 11800424 SOS 7198372 HAS SOPS 5994612 HAS SOUS 1711188 HAS SOUPS 1624927 WITH SCORE 1632125.372
AT ITER 5171 NEW BEST:: SOT 11800194 SOS 7198713 HAS SOPS 5996996 HAS SOUS 1711156 HAS SOUPS 1624895 WITH SCORE 1632093.713
AT ITER 5172 NEW BEST:: SOT 11800170 SOS 7201921 HAS SOPS 6001410 HAS SOUS 1710901 HAS SOUPS 1624640 WITH SCORE 1631841.921
AT ITER 5173 NEW BEST:: SOT 11800770 SOS 7202769 HAS SOPS 6000392 HAS SOUS 1710767 HAS SOUPS 1624506 WITH SCORE 1631708.769
AT ITER 5191 NEW BEST:: SOT 11800630 SOS 7202803 HAS SOPS 6000076 HAS SOUS 1710116 HAS SOUPS 1623855 WITH SCORE 1631057.803
AT ITER 5194 NEW BEST:: SOT 11799743 SOS 7202912 HAS SOPS 5999567 HAS SOUS 1706676 HAS SOUPS 1620415 WITH SCORE 1627617.912
AT ITER 5236 NEW BEST:: SOT 11798720 SOS 7198302 HAS SOPS 5994086 HAS SOUS 1705058 HAS SOUPS 1618797 WITH SCORE 1625995.302
AT ITER 5252 NEW BEST:: SOT 11798726 SOS 7198369 HAS SOPS 5994171 HAS SOUS 1705050 HAS SOUPS 1618789 WITH SCORE 1625987.369
AT ITER 5263 NEW BEST:: SOT 11798418 SOS 7198051 HAS SOPS 5993863 HAS SOUS 1704561 HAS SOUPS 1618300 WITH SCORE 1625498.051
AT ITER 5265 NEW BEST:: SOT 11799221 SOS 7200728 HAS SOPS 5995342 HAS SOUS 1704178 HAS SOUPS 1617917 WITH SCORE 1625117.728
AT ITER 5275 NEW BEST:: SOT 11798550 SOS 7198519 HAS SOPS 5994120 HAS SOUS 1703458 HAS SOUPS 1617217 WITH SCORE 1624415.519
AT ITER 5279 NEW BEST:: SOT 11798001 SOS 7197773 HAS SOPS 5993149 HAS SOUS 1703219 HAS SOUPS 1616994 WITH SCORE 1624191.773
AT ITER 5319 NEW BEST:: SOT 11797684 SOS 7197478 HAS SOPS 5993769 HAS SOUS 1702940 HAS SOUPS 1616740 WITH SCORE 1623937.478
AT ITER 5324 NEW BEST:: SOT 11790649 SOS 7190415 HAS SOPS 5987123 HAS SOUS 1697303 HAS SOUPS 1611206 WITH SCORE 1618396.415
AT ITER 5328 NEW BEST:: SOT 11790590 SOS 7190319 HAS SOPS 5986913 HAS SOUS 1697192 HAS SOUPS 1611095 WITH SCORE 1618285.319
AT ITER 5382 NEW BEST:: SOT 11790733 SOS 7190895 HAS SOPS 5987293 HAS SOUS 1696993 HAS SOUPS 1610896 WITH SCORE 1618086.895
AT ITER 5385 NEW BEST:: SOT 11791829 SOS 7196772 HAS SOPS 5985988 HAS SOUS 1694836 HAS SOUPS 1608668 WITH SCORE 1615864.772
AT ITER 5393 NEW BEST:: SOT 11790092 SOS 7195098 HAS SOPS 5984135 HAS SOUS 1690461 HAS SOUPS 1604317 WITH SCORE 1611512.098
AT ITER 5396 NEW BEST:: SOT 11789511 SOS 7195300 HAS SOPS 5983603 HAS SOUS 1690007 HAS SOUPS 1603837 WITH SCORE 1611032.3
AT ITER 5443 NEW BEST:: SOT 11785606 SOS 7191175 HAS SOPS 5976798 HAS SOUS 1685044 HAS SOUPS 1598504 WITH SCORE 1605695.175
AT ITER 5452 NEW BEST:: SOT 11780821 SOS 7186130 HAS SOPS 5969249 HAS SOUS 1665472 HAS SOUPS 1578896 WITH SCORE 1586082.13
AT ITER 5469 NEW BEST:: SOT 11778973 SOS 7181647 HAS SOPS 5964801 HAS SOUS 1665287 HAS SOUPS 1578711 WITH SCORE 1585892.647
AT ITER 5478 NEW BEST:: SOT 11778971 SOS 7181226 HAS SOPS 5964411 HAS SOUS 1664754 HAS SOUPS 1578198 WITH SCORE 1585379.226
AT ITER 5494 NEW BEST:: SOT 11778315 SOS 7182486 HAS SOPS 5964102 HAS SOUS 1663382 HAS SOUPS 1576826 WITH SCORE 1584008.486
AT ITER 5496 NEW BEST:: SOT 11778899 SOS 7183070 HAS SOPS 5964494 HAS SOUS 1663366 HAS SOUPS 1576698 WITH SCORE 1583881.07
AT ITER 5552 NEW BEST:: SOT 11778555 SOS 7183333 HAS SOPS 5963973 HAS SOUS 1661955 HAS SOUPS 1575287 WITH SCORE 1582470.333
AT ITER 5585 NEW BEST:: SOT 11778935 SOS 7184055 HAS SOPS 5964163 HAS SOUS 1661385 HAS SOUPS 1574736 WITH SCORE 1581920.055
AT ITER 5598 NEW BEST:: SOT 11775087 SOS 7179465 HAS SOPS 5958755 HAS SOUS 1659023 HAS SOUPS 1572312 WITH SCORE 1579491.465
AT ITER 5615 NEW BEST:: SOT 11775040 SOS 7179017 HAS SOPS 5958188 HAS SOUS 1657883 HAS SOUPS 1571196 WITH SCORE 1578375.017
AT ITER 5623 NEW BEST:: SOT 11775044 SOS 7178918 HAS SOPS 5958268 HAS SOUS 1657858 HAS SOUPS 1571171 WITH SCORE 1578349.918
AT ITER 5663 NEW BEST:: SOT 11775281 SOS 7179155 HAS SOPS 5958281 HAS SOUS 1657003 HAS SOUPS 1570316 WITH SCORE 1577495.155
AT ITER 5667 NEW BEST:: SOT 11775153 SOS 7179262 HAS SOPS 5958456 HAS SOUS 1656848 HAS SOUPS 1570165 WITH SCORE 1577344.262
AT ITER 5675 NEW BEST:: SOT 11778944 SOS 7190268 HAS SOPS 5966345 HAS SOUS 1645913 HAS SOUPS 1559271 WITH SCORE 1566461.268
AT ITER 5678 NEW BEST:: SOT 11778484 SOS 7189551 HAS SOPS 5965615 HAS SOUS 1645431 HAS SOUPS 1558778 WITH SCORE 1565967.551
AT ITER 5706 NEW BEST:: SOT 11778519 SOS 7190222 HAS SOPS 5966335 HAS SOUS 1645070 HAS SOUPS 1558417 WITH SCORE 1565607.222
AT ITER 5726 NEW BEST:: SOT 11778598 SOS 7192213 HAS SOPS 5968269 HAS SOUS 1645029 HAS SOUPS 1558376 WITH SCORE 1565568.213
AT ITER 5728 NEW BEST:: SOT 11778552 SOS 7192169 HAS SOPS 5968193 HAS SOUS 1644936 HAS SOUPS 1558283 WITH SCORE 1565475.169
AT ITER 5733 NEW BEST:: SOT 11778390 SOS 7191998 HAS SOPS 5967893 HAS SOUS 1644501 HAS SOUPS 1557848 WITH SCORE 1565039.998
AT ITER 5752 NEW BEST:: SOT 11777840 SOS 7191523 HAS SOPS 5966801 HAS SOUS 1643574 HAS SOUPS 1556877 WITH SCORE 1564068.523
AT ITER 5780 NEW BEST:: SOT 11777584 SOS 7190928 HAS SOPS 5966248 HAS SOUS 1643255 HAS SOUPS 1556558 WITH SCORE 1563748.928
AT ITER 5785 NEW BEST:: SOT 11776075 SOS 7189155 HAS SOPS 5963875 HAS SOUS 1639293 HAS SOUPS 1552596 WITH SCORE 1559785.155
AT ITER 5808 NEW BEST:: SOT 11775721 SOS 7188803 HAS SOPS 5963489 HAS SOUS 1638813 HAS SOUPS 1552114 WITH SCORE 1559302.803
AT ITER 5818 NEW BEST:: SOT 11775089 SOS 7188171 HAS SOPS 5962617 HAS SOUS 1636821 HAS SOUPS 1550122 WITH SCORE 1557310.171
AT ITER 5830 NEW BEST:: SOT 11775798 SOS 7188756 HAS SOPS 5962338 HAS SOUS 1634719 HAS SOUPS 1548119 WITH SCORE 1555307.756
AT ITER 5833 NEW BEST:: SOT 11773454 SOS 7191361 HAS SOPS 5963008 HAS SOUS 1628198 HAS SOUPS 1541598 WITH SCORE 1548789.361
AT ITER 5834 NEW BEST:: SOT 11773462 SOS 7190972 HAS SOPS 5962660 HAS SOUS 1627924 HAS SOUPS 1541324 WITH SCORE 1548514.972
AT ITER 5839 NEW BEST:: SOT 11773350 SOS 7190706 HAS SOPS 5962218 HAS SOUS 1627678 HAS SOUPS 1541078 WITH SCORE 1548268.706
AT ITER 5850 NEW BEST:: SOT 11772966 SOS 7189229 HAS SOPS 5961682 HAS SOUS 1627213 HAS SOUPS 1540687 WITH SCORE 1547876.229
AT ITER 5857 NEW BEST:: SOT 11772866 SOS 7189275 HAS SOPS 5960960 HAS SOUS 1627035 HAS SOUPS 1540509 WITH SCORE 1547698.275
AT ITER 5862 NEW BEST:: SOT 11770766 SOS 7186983 HAS SOPS 5959627 HAS SOUS 1620554 HAS SOUPS 1534580 WITH SCORE 1541766.983
AT ITER 5895 NEW BEST:: SOT 11770730 SOS 7186924 HAS SOPS 5959529 HAS SOUS 1620474 HAS SOUPS 1534500 WITH SCORE 1541686.924
AT ITER 5912 NEW BEST:: SOT 11770272 SOS 7186295 HAS SOPS 5958256 HAS SOUS 1619797 HAS SOUPS 1533801 WITH SCORE 1540987.295
AT ITER 5920 NEW BEST:: SOT 11769598 SOS 7185621 HAS SOPS 5957406 HAS SOUS 1618843 HAS SOUPS 1532847 WITH SCORE 1540032.621
AT ITER 5924 NEW BEST:: SOT 11770148 SOS 7186879 HAS SOPS 5959063 HAS SOUS 1618535 HAS SOUPS 1532557 WITH SCORE 1539743.879
AT ITER 5931 NEW BEST:: SOT 11770517 SOS 7189871 HAS SOPS 5962494 HAS SOUS 1617821 HAS SOUPS 1531843 WITH SCORE 1539032.871
AT ITER 5940 NEW BEST:: SOT 11770405 SOS 7189727 HAS SOPS 5962350 HAS SOUS 1617789 HAS SOUPS 1531811 WITH SCORE 1539000.727
AT ITER 5961 NEW BEST:: SOT 11770761 SOS 7191686 HAS SOPS 5963376 HAS SOUS 1617776 HAS SOUPS 1531796 WITH SCORE 1538987.686
AT ITER 5964 NEW BEST:: SOT 11773605 SOS 7189758 HAS SOPS 5966901 HAS SOUS 1614084 HAS SOUPS 1528104 WITH SCORE 1535293.758
AT ITER 5976 NEW BEST:: SOT 11773840 SOS 7190223 HAS SOPS 5967882 HAS SOUS 1611410 HAS SOUPS 1525477 WITH SCORE 1532667.223
AT ITER 5988 NEW BEST:: SOT 11773152 SOS 7189541 HAS SOPS 5966125 HAS SOUS 1609947 HAS SOUPS 1524014 WITH SCORE 1531203.541
AT ITER 5989 NEW BEST:: SOT 11773158 SOS 7189489 HAS SOPS 5966072 HAS SOUS 1609947 HAS SOUPS 1524014 WITH SCORE 1531203.489
AT ITER 5993 NEW BEST:: SOT 11771008 SOS 7187215 HAS SOPS 5963414 HAS SOUS 1606529 HAS SOUPS 1520596 WITH SCORE 1527783.215
AT ITER 6019 NEW BEST:: SOT 11770434 SOS 7185979 HAS SOPS 5961263 HAS SOUS 1603210 HAS SOUPS 1517277 WITH SCORE 1524462.979
AT ITER 6041 NEW BEST:: SOT 11770819 SOS 7188390 HAS SOPS 5962856 HAS SOUS 1602171 HAS SOUPS 1516238 WITH SCORE 1523426.39
AT ITER 6047 NEW BEST:: SOT 11771053 SOS 7189183 HAS SOPS 5963439 HAS SOUS 1602006 HAS SOUPS 1516028 WITH SCORE 1523217.183
AT ITER 6107 NEW BEST:: SOT 11771819 SOS 7189437 HAS SOPS 5965077 HAS SOUS 1601369 HAS SOUPS 1515337 WITH SCORE 1522526.437
AT ITER 6142 NEW BEST:: SOT 11771263 SOS 7187290 HAS SOPS 5964448 HAS SOUS 1599842 HAS SOUPS 1513810 WITH SCORE 1520997.29
AT ITER 6198 NEW BEST:: SOT 11771183 SOS 7187210 HAS SOPS 5964336 HAS SOUS 1599682 HAS SOUPS 1513650 WITH SCORE 1520837.21
AT ITER 6261 NEW BEST:: SOT 11771279 SOS 7187727 HAS SOPS 5964373 HAS SOUS 1599117 HAS SOUPS 1513101 WITH SCORE 1520288.727
AT ITER 6266 NEW BEST:: SOT 11770139 SOS 7186587 HAS SOPS 5963217 HAS SOUS 1598917 HAS SOUPS 1512901 WITH SCORE 1520087.587
AT ITER 6278 NEW BEST:: SOT 11770899 SOS 7189331 HAS SOPS 5965432 HAS SOUS 1598860 HAS SOUPS 1512844 WITH SCORE 1520033.331
AT ITER 6294 NEW BEST:: SOT 11771406 SOS 7189876 HAS SOPS 5966285 HAS SOUS 1598619 HAS SOUPS 1512579 WITH SCORE 1519768.876
AT ITER 6298 NEW BEST:: SOT 11771184 SOS 7189297 HAS SOPS 5965203 HAS SOUS 1597268 HAS SOUPS 1511228 WITH SCORE 1518417.297
AT ITER 6323 NEW BEST:: SOT 11771172 SOS 7189288 HAS SOPS 5965186 HAS SOUS 1597246 HAS SOUPS 1511206 WITH SCORE 1518395.288
AT ITER 6342 NEW BEST:: SOT 11771347 SOS 7189467 HAS SOPS 5964298 HAS SOUS 1597330 HAS SOUPS 1510922 WITH SCORE 1518111.467
AT ITER 6346 NEW BEST:: SOT 11769028 SOS 7186150 HAS SOPS 5960572 HAS SOUS 1595091 HAS SOUPS 1508650 WITH SCORE 1515836.15
AT ITER 6353 NEW BEST:: SOT 11769048 SOS 7187751 HAS SOPS 5961053 HAS SOUS 1592252 HAS SOUPS 1505748 WITH SCORE 1512935.751
AT ITER 6354 NEW BEST:: SOT 11769048 SOS 7189207 HAS SOPS 5961613 HAS SOUS 1591860 HAS SOUPS 1505356 WITH SCORE 1512545.207
AT ITER 6369 NEW BEST:: SOT 11768722 SOS 7188725 HAS SOPS 5961100 HAS SOUS 1590643 HAS SOUPS 1504167 WITH SCORE 1511355.725
AT ITER 6380 NEW BEST:: SOT 11768506 SOS 7188529 HAS SOPS 5960519 HAS SOUS 1589513 HAS SOUPS 1503028 WITH SCORE 1510216.529
AT ITER 6432 NEW BEST:: SOT 11768499 SOS 7188531 HAS SOPS 5960521 HAS SOUS 1589452 HAS SOUPS 1502967 WITH SCORE 1510155.531
AT ITER 6434 NEW BEST:: SOT 11768486 SOS 7188524 HAS SOPS 5960496 HAS SOUS 1589417 HAS SOUPS 1502932 WITH SCORE 1510120.524
AT ITER 6450 NEW BEST:: SOT 11764099 SOS 7179504 HAS SOPS 5953551 HAS SOUS 1587286 HAS SOUPS 1500816 WITH SCORE 1507995.504
AT ITER 6475 NEW BEST:: SOT 11763556 SOS 7174778 HAS SOPS 5949546 HAS SOUS 1586015 HAS SOUPS 1499545 WITH SCORE 1506719.778
AT ITER 6484 NEW BEST:: SOT 11762912 SOS 7174134 HAS SOPS 5948534 HAS SOUS 1583767 HAS SOUPS 1497297 WITH SCORE 1504471.134
AT ITER 6513 NEW BEST:: SOT 11761856 SOS 7178203 HAS SOPS 5950043 HAS SOUS 1578389 HAS SOUPS 1491919 WITH SCORE 1499097.203
AT ITER 6530 NEW BEST:: SOT 11761688 SOS 7178095 HAS SOPS 5949911 HAS SOUS 1577809 HAS SOUPS 1491339 WITH SCORE 1498517.095
AT ITER 6543 NEW BEST:: SOT 11764249 SOS 7179985 HAS SOPS 5952808 HAS SOUS 1576973 HAS SOUPS 1491234 WITH SCORE 1498413.985
AT ITER 6601 NEW BEST:: SOT 11762383 SOS 7178187 HAS SOPS 5948807 HAS SOUS 1570770 HAS SOUPS 1485031 WITH SCORE 1492209.187
AT ITER 6607 NEW BEST:: SOT 11762722 SOS 7179007 HAS SOPS 5949364 HAS SOUS 1570708 HAS SOUPS 1484969 WITH SCORE 1492148.007
AT ITER 6619 NEW BEST:: SOT 11762661 SOS 7178986 HAS SOPS 5949508 HAS SOUS 1570630 HAS SOUPS 1484896 WITH SCORE 1492074.986
AT ITER 6662 NEW BEST:: SOT 11765775 SOS 7186641 HAS SOPS 5957695 HAS SOUS 1570442 HAS SOUPS 1484767 WITH SCORE 1491953.641
AT ITER 6687 NEW BEST:: SOT 11764854 SOS 7183554 HAS SOPS 5955840 HAS SOUS 1569991 HAS SOUPS 1484344 WITH SCORE 1491527.554
AT ITER 6765 NEW BEST:: SOT 11764895 SOS 7179530 HAS SOPS 5954341 HAS SOUS 1569655 HAS SOUPS 1484008 WITH SCORE 1491187.53
AT ITER 6785 NEW BEST:: SOT 11764893 SOS 7179510 HAS SOPS 5954311 HAS SOUS 1569643 HAS SOUPS 1483994 WITH SCORE 1491173.51
AT ITER 6797 NEW BEST:: SOT 11763315 SOS 7176649 HAS SOPS 5951553 HAS SOUS 1568539 HAS SOUPS 1482873 WITH SCORE 1490049.649
AT ITER 6802 NEW BEST:: SOT 11762647 SOS 7170953 HAS SOPS 5947230 HAS SOUS 1567731 HAS SOUPS 1482065 WITH SCORE 1489235.953
AT ITER 6808 NEW BEST:: SOT 11762653 SOS 7170897 HAS SOPS 5947174 HAS SOUS 1567687 HAS SOUPS 1482021 WITH SCORE 1489191.897
AT ITER 6813 NEW BEST:: SOT 11762510 SOS 7170757 HAS SOPS 5947019 HAS SOUS 1567539 HAS SOUPS 1481873 WITH SCORE 1489043.757
AT ITER 6814 NEW BEST:: SOT 11759069 SOS 7164391 HAS SOPS 5940070 HAS SOUS 1564628 HAS SOUPS 1478936 WITH SCORE 1486100.391
AT ITER 6826 NEW BEST:: SOT 11757358 SOS 7161315 HAS SOPS 5936841 HAS SOUS 1563227 HAS SOUPS 1477524 WITH SCORE 1484685.315
AT ITER 6835 NEW BEST:: SOT 11757417 SOS 7161241 HAS SOPS 5937419 HAS SOUS 1563182 HAS SOUPS 1477479 WITH SCORE 1484640.241
AT ITER 6854 NEW BEST:: SOT 11757907 SOS 7161874 HAS SOPS 5938090 HAS SOUS 1562980 HAS SOUPS 1477277 WITH SCORE 1484438.874
AT ITER 6871 NEW BEST:: SOT 11752895 SOS 7156786 HAS SOPS 5935547 HAS SOUS 1560315 HAS SOUPS 1474612 WITH SCORE 1481768.786
AT ITER 6886 NEW BEST:: SOT 11752496 SOS 7156544 HAS SOPS 5935552 HAS SOUS 1557974 HAS SOUPS 1472303 WITH SCORE 1479459.544
AT ITER 6939 NEW BEST:: SOT 11751023 SOS 7155112 HAS SOPS 5934479 HAS SOUS 1556341 HAS SOUPS 1470829 WITH SCORE 1477984.112
AT ITER 6946 NEW BEST:: SOT 11751003 SOS 7154895 HAS SOPS 5934312 HAS SOUS 1556308 HAS SOUPS 1470796 WITH SCORE 1477950.895
AT ITER 6960 NEW BEST:: SOT 11750043 SOS 7153121 HAS SOPS 5930018 HAS SOUS 1552622 HAS SOUPS 1467110 WITH SCORE 1474263.121
AT ITER 6964 NEW BEST:: SOT 11749830 SOS 7152978 HAS SOPS 5929699 HAS SOUS 1552287 HAS SOUPS 1466775 WITH SCORE 1473927.978
AT ITER 6966 NEW BEST:: SOT 11750540 SOS 7155333 HAS SOPS 5930578 HAS SOUS 1548571 HAS SOUPS 1463059 WITH SCORE 1470214.333
AT ITER 6976 NEW BEST:: SOT 11752857 SOS 7159036 HAS SOPS 5933554 HAS SOUS 1547944 HAS SOUPS 1462432 WITH SCORE 1469591.036
AT ITER 7021 NEW BEST:: SOT 11751612 SOS 7156750 HAS SOPS 5931963 HAS SOUS 1546938 HAS SOUPS 1461462 WITH SCORE 1468618.75
AT ITER 7058 NEW BEST:: SOT 11751000 SOS 7156138 HAS SOPS 5931031 HAS SOUS 1545066 HAS SOUPS 1459590 WITH SCORE 1466746.138
AT ITER 7059 NEW BEST:: SOT 11750530 SOS 7155421 HAS SOPS 5930474 HAS SOUS 1544184 HAS SOUPS 1458768 WITH SCORE 1465923.421
AT ITER 7070 NEW BEST:: SOT 11746891 SOS 7148474 HAS SOPS 5924553 HAS SOUS 1540039 HAS SOUPS 1454623 WITH SCORE 1461771.474
AT ITER 7107 NEW BEST:: SOT 11751466 SOS 7158161 HAS SOPS 5932572 HAS SOUS 1539808 HAS SOUPS 1454392 WITH SCORE 1461550.161
AT ITER 7133 NEW BEST:: SOT 11753306 SOS 7162681 HAS SOPS 5935144 HAS SOUS 1538684 HAS SOUPS 1453358 WITH SCORE 1460520.681
AT ITER 7174 NEW BEST:: SOT 11753071 SOS 7162244 HAS SOPS 5934716 HAS SOUS 1537735 HAS SOUPS 1452709 WITH SCORE 1459871.244
AT ITER 7185 NEW BEST:: SOT 11752459 SOS 7161632 HAS SOPS 5933832 HAS SOUS 1536103 HAS SOUPS 1451077 WITH SCORE 1458238.632
AT ITER 7255 NEW BEST:: SOT 11748584 SOS 7151323 HAS SOPS 5925465 HAS SOUS 1530682 HAS SOUPS 1445892 WITH SCORE 1453043.323
AT ITER 7256 NEW BEST:: SOT 11748172 SOS 7151011 HAS SOPS 5924963 HAS SOUS 1530604 HAS SOUPS 1445632 WITH SCORE 1452783.011
AT ITER 7298 NEW BEST:: SOT 11742406 SOS 7143744 HAS SOPS 5914844 HAS SOUS 1525616 HAS SOUPS 1440561 WITH SCORE 1447704.744
AT ITER 7311 NEW BEST:: SOT 11742333 SOS 7144382 HAS SOPS 5915414 HAS SOUS 1525600 HAS SOUPS 1440539 WITH SCORE 1447683.382
AT ITER 7330 NEW BEST:: SOT 11741087 SOS 7143139 HAS SOPS 5912682 HAS SOUS 1522876 HAS SOUPS 1437630 WITH SCORE 1444773.139
AT ITER 7333 NEW BEST:: SOT 11739310 SOS 7140176 HAS SOPS 5909766 HAS SOUS 1518847 HAS SOUPS 1433619 WITH SCORE 1440759.176
AT ITER 7361 NEW BEST:: SOT 11739010 SOS 7139770 HAS SOPS 5909191 HAS SOUS 1518247 HAS SOUPS 1433000 WITH SCORE 1440139.77
AT ITER 7364 NEW BEST:: SOT 11736547 SOS 7137307 HAS SOPS 5906728 HAS SOUS 1515568 HAS SOUPS 1430321 WITH SCORE 1437458.307
AT ITER 7376 NEW BEST:: SOT 11736442 SOS 7137202 HAS SOPS 5906623 HAS SOUS 1515351 HAS SOUPS 1430104 WITH SCORE 1437241.202
AT ITER 7388 NEW BEST:: SOT 11736394 SOS 7137141 HAS SOPS 5906535 HAS SOUS 1515127 HAS SOUPS 1429880 WITH SCORE 1437017.141
AT ITER 7408 NEW BEST:: SOT 11736280 SOS 7136927 HAS SOPS 5906335 HAS SOUS 1514997 HAS SOUPS 1429750 WITH SCORE 1436886.927
AT ITER 7414 NEW BEST:: SOT 11735620 SOS 7135775 HAS SOPS 5905183 HAS SOUS 1514130 HAS SOUPS 1428883 WITH SCORE 1436018.775
AT ITER 7420 NEW BEST:: SOT 11734664 SOS 7134300 HAS SOPS 5902944 HAS SOUS 1512997 HAS SOUPS 1427421 WITH SCORE 1434555.3
AT ITER 7452 NEW BEST:: SOT 11735760 SOS 7139825 HAS SOPS 5906981 HAS SOUS 1512904 HAS SOUPS 1427262 WITH SCORE 1434401.825
AT ITER 7453 NEW BEST:: SOT 11735364 SOS 7139654 HAS SOPS 5906290 HAS SOUS 1511692 HAS SOUPS 1426050 WITH SCORE 1433189.654
AT ITER 7469 NEW BEST:: SOT 11735021 SOS 7139615 HAS SOPS 5906279 HAS SOUS 1511099 HAS SOUPS 1425457 WITH SCORE 1432596.615
AT ITER 7471 NEW BEST:: SOT 11736693 SOS 7141287 HAS SOPS 5907087 HAS SOUS 1508831 HAS SOUPS 1423189 WITH SCORE 1430330.287
AT ITER 7482 NEW BEST:: SOT 11735806 SOS 7139336 HAS SOPS 5904886 HAS SOUS 1506108 HAS SOUPS 1420466 WITH SCORE 1427605.336
AT ITER 7504 NEW BEST:: SOT 11734347 SOS 7131144 HAS SOPS 5895293 HAS SOUS 1504494 HAS SOUPS 1418852 WITH SCORE 1425983.144
AT ITER 7546 NEW BEST:: SOT 11736970 SOS 7135450 HAS SOPS 5900141 HAS SOUS 1503771 HAS SOUPS 1418129 WITH SCORE 1425264.45
AT ITER 7556 NEW BEST:: SOT 11736786 SOS 7135266 HAS SOPS 5899781 HAS SOUS 1503287 HAS SOUPS 1417645 WITH SCORE 1424780.266
AT ITER 7564 NEW BEST:: SOT 11737254 SOS 7136272 HAS SOPS 5900299 HAS SOUS 1502689 HAS SOUPS 1417047 WITH SCORE 1424183.272
AT ITER 7572 NEW BEST:: SOT 11737075 SOS 7136027 HAS SOPS 5899971 HAS SOUS 1502258 HAS SOUPS 1416620 WITH SCORE 1423756.027
AT ITER 7586 NEW BEST:: SOT 11737387 SOS 7137517 HAS SOPS 5900516 HAS SOUS 1501613 HAS SOUPS 1415942 WITH SCORE 1423079.517
AT ITER 7592 NEW BEST:: SOT 11737291 SOS 7137421 HAS SOPS 5900388 HAS SOUS 1501453 HAS SOUPS 1415766 WITH SCORE 1422903.421
AT ITER 7632 NEW BEST:: SOT 11734847 SOS 7135060 HAS SOPS 5898027 HAS SOUS 1495910 HAS SOUPS 1410223 WITH SCORE 1417358.06
AT ITER 7658 NEW BEST:: SOT 11735657 SOS 7134697 HAS SOPS 5898754 HAS SOUS 1495058 HAS SOUPS 1409406 WITH SCORE 1416540.697
AT ITER 7682 NEW BEST:: SOT 11735687 SOS 7136037 HAS SOPS 5899539 HAS SOUS 1494430 HAS SOUPS 1408754 WITH SCORE 1415890.037
AT ITER 7713 NEW BEST:: SOT 11737498 SOS 7139450 HAS SOPS 5902332 HAS SOUS 1492971 HAS SOUPS 1407295 WITH SCORE 1414434.45
AT ITER 7726 NEW BEST:: SOT 11737477 SOS 7139399 HAS SOPS 5902240 HAS SOUS 1492856 HAS SOUPS 1407181 WITH SCORE 1414320.399
AT ITER 7736 NEW BEST:: SOT 11737169 SOS 7139541 HAS SOPS 5902208 HAS SOUS 1490756 HAS SOUPS 1405141 WITH SCORE 1412280.541
AT ITER 7742 NEW BEST:: SOT 11736937 SOS 7139310 HAS SOPS 5902263 HAS SOUS 1487818 HAS SOUPS 1402489 WITH SCORE 1409628.31
AT ITER 7765 NEW BEST:: SOT 11736515 SOS 7138695 HAS SOPS 5901653 HAS SOUS 1487609 HAS SOUPS 1402284 WITH SCORE 1409422.695
AT ITER 7780 NEW BEST:: SOT 11736824 SOS 7139019 HAS SOPS 5902105 HAS SOUS 1487473 HAS SOUPS 1402148 WITH SCORE 1409287.019
AT ITER 7785 NEW BEST:: SOT 11736640 SOS 7138769 HAS SOPS 5901795 HAS SOUS 1487163 HAS SOUPS 1401838 WITH SCORE 1408976.769
AT ITER 7829 NEW BEST:: SOT 11736412 SOS 7138541 HAS SOPS 5901519 HAS SOUS 1486899 HAS SOUPS 1401574 WITH SCORE 1408712.541
AT ITER 7859 NEW BEST:: SOT 11736232 SOS 7136939 HAS SOPS 5899525 HAS SOUS 1485495 HAS SOUPS 1400170 WITH SCORE 1407306.939
AT ITER 7861 NEW BEST:: SOT 11736074 SOS 7137206 HAS SOPS 5899627 HAS SOUS 1485363 HAS SOUPS 1400037 WITH SCORE 1407174.206
AT ITER 7879 NEW BEST:: SOT 11735306 SOS 7137464 HAS SOPS 5897441 HAS SOUS 1483557 HAS SOUPS 1398192 WITH SCORE 1405329.464
AT ITER 7891 NEW BEST:: SOT 11734774 SOS 7136932 HAS SOPS 5896621 HAS SOUS 1481845 HAS SOUPS 1396480 WITH SCORE 1403616.932
AT ITER 7927 NEW BEST:: SOT 11739972 SOS 7147354 HAS SOPS 5902068 HAS SOUS 1476319 HAS SOUPS 1390954 WITH SCORE 1398101.354
AT ITER 7928 NEW BEST:: SOT 11740141 SOS 7147601 HAS SOPS 5901859 HAS SOUS 1475888 HAS SOUPS 1390523 WITH SCORE 1397670.601
AT ITER 7948 NEW BEST:: SOT 11740135 SOS 7147519 HAS SOPS 5901790 HAS SOUS 1475856 HAS SOUPS 1390491 WITH SCORE 1397638.519
AT ITER 7996 NEW BEST:: SOT 11738355 SOS 7142721 HAS SOPS 5898248 HAS SOUS 1474595 HAS SOUPS 1389362 WITH SCORE 1396504.721
AT ITER 8008 NEW BEST:: SOT 11737513 SOS 7141164 HAS SOPS 5897370 HAS SOUS 1473061 HAS SOUPS 1387828 WITH SCORE 1394969.164
AT ITER 8017 NEW BEST:: SOT 11736610 SOS 7140426 HAS SOPS 5895796 HAS SOUS 1470791 HAS SOUPS 1384934 WITH SCORE 1392074.426
AT ITER 8028 NEW BEST:: SOT 11733814 SOS 7137630 HAS SOPS 5892584 HAS SOUS 1466099 HAS SOUPS 1380242 WITH SCORE 1387379.63
AT ITER 8034 NEW BEST:: SOT 11733838 SOS 7137680 HAS SOPS 5892616 HAS SOUS 1466093 HAS SOUPS 1380236 WITH SCORE 1387373.68
AT ITER 8036 NEW BEST:: SOT 11731990 SOS 7133294 HAS SOPS 5887995 HAS SOUS 1464618 HAS SOUPS 1378761 WITH SCORE 1385894.294
AT ITER 8050 NEW BEST:: SOT 11731168 SOS 7132464 HAS SOPS 5886331 HAS SOUS 1463390 HAS SOUPS 1377511 WITH SCORE 1384643.464
AT ITER 8075 NEW BEST:: SOT 11730395 SOS 7131278 HAS SOPS 5884991 HAS SOUS 1463027 HAS SOUPS 1377135 WITH SCORE 1384266.278
AT ITER 8092 NEW BEST:: SOT 11736925 SOS 7137605 HAS SOPS 5890361 HAS SOUS 1461935 HAS SOUPS 1376176 WITH SCORE 1383313.605
AT ITER 8110 NEW BEST:: SOT 11735626 SOS 7134855 HAS SOPS 5888018 HAS SOUS 1457775 HAS SOUPS 1372068 WITH SCORE 1379202.855
AT ITER 8157 NEW BEST:: SOT 11735598 SOS 7134775 HAS SOPS 5887917 HAS SOUS 1457770 HAS SOUPS 1372062 WITH SCORE 1379196.775
AT ITER 8183 NEW BEST:: SOT 11735619 SOS 7134768 HAS SOPS 5887938 HAS SOUS 1457717 HAS SOUPS 1372011 WITH SCORE 1379145.768
AT ITER 8191 NEW BEST:: SOT 11735683 SOS 7134572 HAS SOPS 5887906 HAS SOUS 1457591 HAS SOUPS 1371885 WITH SCORE 1379019.572
AT ITER 8230 NEW BEST:: SOT 11735551 SOS 7134411 HAS SOPS 5888413 HAS SOUS 1456625 HAS SOUPS 1370950 WITH SCORE 1378084.411
AT ITER 8291 NEW BEST:: SOT 11735879 SOS 7132890 HAS SOPS 5887555 HAS SOUS 1455812 HAS SOUPS 1370137 WITH SCORE 1377269.89
AT ITER 8325 NEW BEST:: SOT 11735313 SOS 7132326 HAS SOPS 5886989 HAS SOUS 1454288 HAS SOUPS 1368611 WITH SCORE 1375743.326
AT ITER 8335 NEW BEST:: SOT 11734201 SOS 7130753 HAS SOPS 5885482 HAS SOUS 1453848 HAS SOUPS 1368171 WITH SCORE 1375301.753
AT ITER 8345 NEW BEST:: SOT 11733935 SOS 7130338 HAS SOPS 5884481 HAS SOUS 1453003 HAS SOUPS 1367326 WITH SCORE 1374456.338
AT ITER 8348 NEW BEST:: SOT 11733838 SOS 7129763 HAS SOPS 5885044 HAS SOUS 1452834 HAS SOUPS 1367157 WITH SCORE 1374286.763
AT ITER 8349 NEW BEST:: SOT 11732984 SOS 7128415 HAS SOPS 5883682 HAS SOUS 1452351 HAS SOUPS 1366674 WITH SCORE 1373802.415
AT ITER 8372 NEW BEST:: SOT 11732696 SOS 7128127 HAS SOPS 5883394 HAS SOUS 1452351 HAS SOUPS 1366674 WITH SCORE 1373802.127
AT ITER 8378 NEW BEST:: SOT 11732519 SOS 7127400 HAS SOPS 5882837 HAS SOUS 1452284 HAS SOUPS 1366607 WITH SCORE 1373734.4
AT ITER 8394 NEW BEST:: SOT 11731191 SOS 7122883 HAS SOPS 5880155 HAS SOUS 1451771 HAS SOUPS 1366094 WITH SCORE 1373216.883
AT ITER 8404 NEW BEST:: SOT 11730845 SOS 7122721 HAS SOPS 5880061 HAS SOUS 1450673 HAS SOUPS 1364996 WITH SCORE 1372118.721
AT ITER 8444 NEW BEST:: SOT 11730788 SOS 7122596 HAS SOPS 5879856 HAS SOUS 1450525 HAS SOUPS 1364846 WITH SCORE 1371968.596
AT ITER 8472 NEW BEST:: SOT 11736304 SOS 7141988 HAS SOPS 5897304 HAS SOUS 1447405 HAS SOUPS 1361726 WITH SCORE 1368867.988
AT ITER 8477 NEW BEST:: SOT 11736554 SOS 7143094 HAS SOPS 5897844 HAS SOUS 1445578 HAS SOUPS 1359899 WITH SCORE 1367042.094
AT ITER 8496 NEW BEST:: SOT 11735939 SOS 7142806 HAS SOPS 5896766 HAS SOUS 1445067 HAS SOUPS 1359388 WITH SCORE 1366530.806
AT ITER 8526 NEW BEST:: SOT 11735927 SOS 7142794 HAS SOPS 5896754 HAS SOUS 1445067 HAS SOUPS 1359388 WITH SCORE 1366530.794
AT ITER 8544 NEW BEST:: SOT 11735467 SOS 7142270 HAS SOPS 5896422 HAS SOUS 1444639 HAS SOUPS 1359008 WITH SCORE 1366150.27
AT ITER 8592 NEW BEST:: SOT 11734953 SOS 7139812 HAS SOPS 5894326 HAS SOUS 1444531 HAS SOUPS 1358900 WITH SCORE 1366039.812
AT ITER 8605 NEW BEST:: SOT 11734890 SOS 7139486 HAS SOPS 5893961 HAS SOUS 1444395 HAS SOUPS 1358764 WITH SCORE 1365903.486
AT ITER 8632 NEW BEST:: SOT 11733533 SOS 7139261 HAS SOPS 5893288 HAS SOUS 1443207 HAS SOUPS 1357550 WITH SCORE 1364689.261
AT ITER 8652 NEW BEST:: SOT 11733678 SOS 7140327 HAS SOPS 5895366 HAS SOUS 1443198 HAS SOUPS 1357541 WITH SCORE 1364681.327
AT ITER 8713 NEW BEST:: SOT 11734439 SOS 7140073 HAS SOPS 5895654 HAS SOUS 1442318 HAS SOUPS 1356702 WITH SCORE 1363842.073
AT ITER 8729 NEW BEST:: SOT 11734692 SOS 7141961 HAS SOPS 5896881 HAS SOUS 1442238 HAS SOUPS 1356622 WITH SCORE 1363763.961
AT ITER 8745 NEW BEST:: SOT 11732685 SOS 7139426 HAS SOPS 5894440 HAS SOUS 1439345 HAS SOUPS 1353729 WITH SCORE 1360868.426
AT ITER 8768 NEW BEST:: SOT 11733358 SOS 7140158 HAS SOPS 5895072 HAS SOUS 1437810 HAS SOUPS 1352194 WITH SCORE 1359334.158
AT ITER 8785 NEW BEST:: SOT 11733513 SOS 7140173 HAS SOPS 5895357 HAS SOUS 1436899 HAS SOUPS 1351317 WITH SCORE 1358457.173
AT ITER 8809 NEW BEST:: SOT 11733937 SOS 7140486 HAS SOPS 5895258 HAS SOUS 1436781 HAS SOUPS 1351199 WITH SCORE 1358339.486
AT ITER 8811 NEW BEST:: SOT 11733299 SOS 7142818 HAS SOPS 5896032 HAS SOUS 1436147 HAS SOUPS 1350565 WITH SCORE 1357707.818
AT ITER 8820 NEW BEST:: SOT 11729574 SOS 7139539 HAS SOPS 5890245 HAS SOUS 1424166 HAS SOUPS 1338584 WITH SCORE 1345723.539
AT ITER 8828 NEW BEST:: SOT 11725578 SOS 7120577 HAS SOPS 5873119 HAS SOUS 1421096 HAS SOUPS 1335501 WITH SCORE 1342621.577
AT ITER 8839 NEW BEST:: SOT 11725559 SOS 7120241 HAS SOPS 5871928 HAS SOUS 1420725 HAS SOUPS 1335130 WITH SCORE 1342250.241
AT ITER 8844 NEW BEST:: SOT 11725080 SOS 7119285 HAS SOPS 5870492 HAS SOUS 1419710 HAS SOUPS 1334115 WITH SCORE 1341234.285
AT ITER 8888 NEW BEST:: SOT 11724017 SOS 7117880 HAS SOPS 5869706 HAS SOUS 1419630 HAS SOUPS 1334105 WITH SCORE 1341222.88
AT ITER 8961 NEW BEST:: SOT 11724060 SOS 7117532 HAS SOPS 5869517 HAS SOUS 1419609 HAS SOUPS 1334084 WITH SCORE 1341201.532
AT ITER 8988 NEW BEST:: SOT 11726577 SOS 7120553 HAS SOPS 5874560 HAS SOUS 1418997 HAS SOUPS 1333547 WITH SCORE 1340667.553
AT ITER 9030 NEW BEST:: SOT 11725198 SOS 7119640 HAS SOPS 5870865 HAS SOUS 1413960 HAS SOUPS 1328471 WITH SCORE 1335590.64
AT ITER 9034 NEW BEST:: SOT 11724997 SOS 7118755 HAS SOPS 5870349 HAS SOUS 1413942 HAS SOUPS 1328462 WITH SCORE 1335580.755
AT ITER 9115 NEW BEST:: SOT 11724956 SOS 7118419 HAS SOPS 5869734 HAS SOUS 1413607 HAS SOUPS 1328127 WITH SCORE 1335245.419
AT ITER 9156 NEW BEST:: SOT 11721177 SOS 7111356 HAS SOPS 5862613 HAS SOUS 1412279 HAS SOUPS 1326748 WITH SCORE 1333859.356
AT ITER 9159 NEW BEST:: SOT 11719439 SOS 7107138 HAS SOPS 5858241 HAS SOUS 1410455 HAS SOUPS 1324924 WITH SCORE 1332031.138
AT ITER 9176 NEW BEST:: SOT 11718975 SOS 7106815 HAS SOPS 5857879 HAS SOUS 1409437 HAS SOUPS 1323906 WITH SCORE 1331012.815
AT ITER 9206 NEW BEST:: SOT 11718979 SOS 7106837 HAS SOPS 5857847 HAS SOUS 1409281 HAS SOUPS 1323752 WITH SCORE 1330858.837
AT ITER 9217 NEW BEST:: SOT 11717874 SOS 7106508 HAS SOPS 5856744 HAS SOUS 1407900 HAS SOUPS 1322340 WITH SCORE 1329446.508
AT ITER 9224 NEW BEST:: SOT 11718218 SOS 7106271 HAS SOPS 5856452 HAS SOUS 1405744 HAS SOUPS 1320233 WITH SCORE 1327339.271
AT ITER 9241 NEW BEST:: SOT 11719507 SOS 7108700 HAS SOPS 5858736 HAS SOUS 1405573 HAS SOUPS 1320058 WITH SCORE 1327166.7
AT ITER 9339 NEW BEST:: SOT 11719417 SOS 7109134 HAS SOPS 5858965 HAS SOUS 1405549 HAS SOUPS 1320034 WITH SCORE 1327143.134
AT ITER 9347 NEW BEST:: SOT 11719208 SOS 7108908 HAS SOPS 5858661 HAS SOUS 1405264 HAS SOUPS 1319746 WITH SCORE 1326854.908
AT ITER 9354 NEW BEST:: SOT 11719124 SOS 7108778 HAS SOPS 5858647 HAS SOUS 1405214 HAS SOUPS 1319696 WITH SCORE 1326804.778
AT ITER 9366 NEW BEST:: SOT 11717674 SOS 7107779 HAS SOPS 5856853 HAS SOUS 1401672 HAS SOUPS 1316126 WITH SCORE 1323233.779
AT ITER 9369 NEW BEST:: SOT 11718740 SOS 7113230 HAS SOPS 5859463 HAS SOUS 1399134 HAS SOUPS 1313131 WITH SCORE 1320244.23
AT ITER 9429 NEW BEST:: SOT 11719474 SOS 7114491 HAS SOPS 5860732 HAS SOUS 1399035 HAS SOUPS 1313041 WITH SCORE 1320155.491
AT ITER 9457 NEW BEST:: SOT 11719366 SOS 7114511 HAS SOPS 5860848 HAS SOUS 1398911 HAS SOUPS 1312917 WITH SCORE 1320031.511
AT ITER 9474 NEW BEST:: SOT 11719716 SOS 7115160 HAS SOPS 5861294 HAS SOUS 1398392 HAS SOUPS 1312398 WITH SCORE 1319513.16
AT ITER 9537 NEW BEST:: SOT 11719672 SOS 7114375 HAS SOPS 5860755 HAS SOUS 1398049 HAS SOUPS 1312055 WITH SCORE 1319169.375
AT ITER 9601 NEW BEST:: SOT 11716466 SOS 7107152 HAS SOPS 5854513 HAS SOUS 1397194 HAS SOUPS 1311287 WITH SCORE 1318394.152
AT ITER 9607 NEW BEST:: SOT 11715889 SOS 7107947 HAS SOPS 5855215 HAS SOUS 1395438 HAS SOUPS 1309540 WITH SCORE 1316647.947
AT ITER 9641 NEW BEST:: SOT 11715776 SOS 7107834 HAS SOPS 5855102 HAS SOUS 1395193 HAS SOUPS 1309295 WITH SCORE 1316402.834
AT ITER 9642 NEW BEST:: SOT 11715672 SOS 7106783 HAS SOPS 5853832 HAS SOUS 1394686 HAS SOUPS 1308788 WITH SCORE 1315894.783
AT ITER 9661 NEW BEST:: SOT 11715506 SOS 7107097 HAS SOPS 5853890 HAS SOUS 1393836 HAS SOUPS 1307938 WITH SCORE 1315045.097
AT ITER 9664 NEW BEST:: SOT 11715456 SOS 7107047 HAS SOPS 5853840 HAS SOUS 1393237 HAS SOUPS 1307339 WITH SCORE 1314446.047
AT ITER 9689 NEW BEST:: SOT 11713443 SOS 7101023 HAS SOPS 5848901 HAS SOUS 1392630 HAS SOUPS 1306732 WITH SCORE 1313833.023
AT ITER 9698 NEW BEST:: SOT 11713267 SOS 7101474 HAS SOPS 5848521 HAS SOUS 1391149 HAS SOUPS 1305251 WITH SCORE 1312352.474
AT ITER 9699 NEW BEST:: SOT 11713211 SOS 7098869 HAS SOPS 5846118 HAS SOUS 1391108 HAS SOUPS 1305210 WITH SCORE 1312308.869
AT ITER 9718 NEW BEST:: SOT 11712622 SOS 7098280 HAS SOPS 5845369 HAS SOUS 1390119 HAS SOUPS 1304141 WITH SCORE 1311239.28
AT ITER 9727 NEW BEST:: SOT 11711870 SOS 7097528 HAS SOPS 5844265 HAS SOUS 1389399 HAS SOUPS 1303421 WITH SCORE 1310518.528
AT ITER 9745 NEW BEST:: SOT 11710656 SOS 7101165 HAS SOPS 5848686 HAS SOUS 1388746 HAS SOUPS 1302768 WITH SCORE 1309869.165
AT ITER 9753 NEW BEST:: SOT 11707275 SOS 7093986 HAS SOPS 5843046 HAS SOUS 1384224 HAS SOUPS 1298254 WITH SCORE 1305347.986
AT ITER 9770 NEW BEST:: SOT 11707451 SOS 7094617 HAS SOPS 5843915 HAS SOUS 1383995 HAS SOUPS 1297992 WITH SCORE 1305086.617
AT ITER 9820 NEW BEST:: SOT 11706852 SOS 7094054 HAS SOPS 5843060 HAS SOUS 1382742 HAS SOUPS 1296739 WITH SCORE 1303833.054
AT ITER 9933 NEW BEST:: SOT 11706968 SOS 7095277 HAS SOPS 5843126 HAS SOUS 1382602 HAS SOUPS 1296599 WITH SCORE 1303694.277
AT ITER 9962 NEW BEST:: SOT 11706047 SOS 7091765 HAS SOPS 5839448 HAS SOUS 1382479 HAS SOUPS 1296476 WITH SCORE 1303567.765
AT ITER 9972 NEW BEST:: SOT 11706052 SOS 7091630 HAS SOPS 5839368 HAS SOUS 1382434 HAS SOUPS 1296431 WITH SCORE 1303522.63
AT ITER 9988 NEW BEST:: SOT 11706345 SOS 7090768 HAS SOPS 5840576 HAS SOUS 1381383 HAS SOUPS 1295380 WITH SCORE 1302470.768
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14501416 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16072256 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb113-PT-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204000064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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