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.r323-tall-167889194200064.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 smart
Input is RERS17pb113-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194200064
=====================================================================

--------------------
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 1679476990451

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-8
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 17 NEW BEST:: SOT 12195838 SOS 7746369 HAS SOPS 6414119 HAS SOUS 3041889 HAS SOUPS 2941399 WITH SCORE 2949145.369
AT ITER 18 NEW BEST:: SOT 12195817 SOS 7746373 HAS SOPS 6414072 HAS SOUS 3041884 HAS SOUPS 2941394 WITH SCORE 2949140.373
AT ITER 25 NEW BEST:: SOT 12199784 SOS 7744428 HAS SOPS 6415714 HAS SOUS 3035005 HAS SOUPS 2934623 WITH SCORE 2942367.428
AT ITER 39 NEW BEST:: SOT 12200346 SOS 7745436 HAS SOPS 6414794 HAS SOUS 3034012 HAS SOUPS 2933630 WITH SCORE 2941375.436
AT ITER 42 NEW BEST:: SOT 12200174 SOS 7745296 HAS SOPS 6414714 HAS SOUS 3033724 HAS SOUPS 2933342 WITH SCORE 2941087.296
AT ITER 43 NEW BEST:: SOT 12200081 SOS 7745215 HAS SOPS 6414035 HAS SOUS 3032514 HAS SOUPS 2932132 WITH SCORE 2939877.215
AT ITER 46 NEW BEST:: SOT 12202033 SOS 7751811 HAS SOPS 6428482 HAS SOUS 3031186 HAS SOUPS 2931303 WITH SCORE 2939054.811
AT ITER 54 NEW BEST:: SOT 12199292 SOS 7741106 HAS SOPS 6424318 HAS SOUS 3029841 HAS SOUPS 2929958 WITH SCORE 2937699.106
AT ITER 57 NEW BEST:: SOT 12197979 SOS 7737307 HAS SOPS 6420695 HAS SOUS 3028544 HAS SOUPS 2928773 WITH SCORE 2936510.307
AT ITER 65 NEW BEST:: SOT 12198099 SOS 7738093 HAS SOPS 6421019 HAS SOUS 3028172 HAS SOUPS 2928401 WITH SCORE 2936139.093
AT ITER 72 NEW BEST:: SOT 12197623 SOS 7743111 HAS SOPS 6425175 HAS SOUS 3009407 HAS SOUPS 2909448 WITH SCORE 2917191.111
AT ITER 77 NEW BEST:: SOT 12197574 SOS 7742727 HAS SOPS 6423808 HAS SOUS 3007467 HAS SOUPS 2907508 WITH SCORE 2915250.727
AT ITER 84 NEW BEST:: SOT 12195903 SOS 7738755 HAS SOPS 6421996 HAS SOUS 3005038 HAS SOUPS 2905079 WITH SCORE 2912817.755
AT ITER 99 NEW BEST:: SOT 12184165 SOS 7726970 HAS SOPS 6409506 HAS SOUS 2992799 HAS SOUPS 2892585 WITH SCORE 2900311.97
AT ITER 110 NEW BEST:: SOT 12186723 SOS 7732436 HAS SOPS 6417533 HAS SOUS 2992363 HAS SOUPS 2892239 WITH SCORE 2899971.436
AT ITER 114 NEW BEST:: SOT 12185849 SOS 7731527 HAS SOPS 6416099 HAS SOUS 2989389 HAS SOUPS 2889265 WITH SCORE 2896996.527
AT ITER 118 NEW BEST:: SOT 12185657 SOS 7731687 HAS SOPS 6416239 HAS SOUS 2988925 HAS SOUPS 2888801 WITH SCORE 2896532.687
AT ITER 128 NEW BEST:: SOT 12187322 SOS 7736920 HAS SOPS 6418669 HAS SOUS 2985787 HAS SOUPS 2885663 WITH SCORE 2893399.92
AT ITER 135 NEW BEST:: SOT 12217385 SOS 7763637 HAS SOPS 6441255 HAS SOUS 2974657 HAS SOUPS 2872630 WITH SCORE 2880393.637
AT ITER 140 NEW BEST:: SOT 12215993 SOS 7761142 HAS SOPS 6437792 HAS SOUS 2971849 HAS SOUPS 2869822 WITH SCORE 2877583.142
AT ITER 145 NEW BEST:: SOT 12221114 SOS 7768641 HAS SOPS 6445445 HAS SOUS 2966886 HAS SOUPS 2864919 WITH SCORE 2872687.641
AT ITER 147 NEW BEST:: SOT 12219359 SOS 7765665 HAS SOPS 6440276 HAS SOUS 2962210 HAS SOUPS 2860243 WITH SCORE 2868008.665
AT ITER 185 NEW BEST:: SOT 12219039 SOS 7764774 HAS SOPS 6441336 HAS SOUS 2960050 HAS SOUPS 2859095 WITH SCORE 2866859.774
AT ITER 200 NEW BEST:: SOT 12191916 SOS 7725367 HAS SOPS 6409416 HAS SOUS 2924746 HAS SOUPS 2823861 WITH SCORE 2831586.367
AT ITER 201 NEW BEST:: SOT 12190650 SOS 7723409 HAS SOPS 6408374 HAS SOUS 2922181 HAS SOUPS 2821469 WITH SCORE 2829192.409
AT ITER 214 NEW BEST:: SOT 12187305 SOS 7720939 HAS SOPS 6404805 HAS SOUS 2918873 HAS SOUPS 2817886 WITH SCORE 2825606.939
AT ITER 225 NEW BEST:: SOT 12182519 SOS 7715248 HAS SOPS 6398236 HAS SOUS 2913008 HAS SOUPS 2811923 WITH SCORE 2819638.248
AT ITER 227 NEW BEST:: SOT 12181948 SOS 7717247 HAS SOPS 6398388 HAS SOUS 2908992 HAS SOUPS 2807907 WITH SCORE 2815624.247
AT ITER 247 NEW BEST:: SOT 12178605 SOS 7712606 HAS SOPS 6393694 HAS SOUS 2897442 HAS SOUPS 2797547 WITH SCORE 2805259.606
AT ITER 253 NEW BEST:: SOT 12172538 SOS 7706072 HAS SOPS 6385160 HAS SOUS 2888796 HAS SOUPS 2787960 WITH SCORE 2795666.072
AT ITER 255 NEW BEST:: SOT 12172457 SOS 7705834 HAS SOPS 6384582 HAS SOUS 2888157 HAS SOUPS 2787321 WITH SCORE 2795026.834
AT ITER 263 NEW BEST:: SOT 12173453 SOS 7708640 HAS SOPS 6388115 HAS SOUS 2887261 HAS SOUPS 2786425 WITH SCORE 2794133.64
AT ITER 264 NEW BEST:: SOT 12174171 SOS 7714146 HAS SOPS 6400265 HAS SOUS 2886894 HAS SOUPS 2786058 WITH SCORE 2793772.146
AT ITER 280 NEW BEST:: SOT 12175283 SOS 7720383 HAS SOPS 6405647 HAS SOUS 2886780 HAS SOUPS 2785944 WITH SCORE 2793664.383
AT ITER 289 NEW BEST:: SOT 12176252 SOS 7723396 HAS SOPS 6406639 HAS SOUS 2886374 HAS SOUPS 2785538 WITH SCORE 2793261.396
AT ITER 296 NEW BEST:: SOT 12176480 SOS 7723615 HAS SOPS 6406480 HAS SOUS 2886274 HAS SOUPS 2785438 WITH SCORE 2793161.615
AT ITER 297 NEW BEST:: SOT 12176190 SOS 7720827 HAS SOPS 6404729 HAS SOUS 2885984 HAS SOUPS 2785200 WITH SCORE 2792920.827
AT ITER 298 NEW BEST:: SOT 12176412 SOS 7723045 HAS SOPS 6406818 HAS SOUS 2884251 HAS SOUPS 2783445 WITH SCORE 2791168.045
AT ITER 301 NEW BEST:: SOT 12178865 SOS 7728102 HAS SOPS 6410494 HAS SOUS 2883847 HAS SOUPS 2783041 WITH SCORE 2790769.102
AT ITER 303 NEW BEST:: SOT 12178932 SOS 7728052 HAS SOPS 6410581 HAS SOUS 2883846 HAS SOUPS 2783040 WITH SCORE 2790768.052
AT ITER 320 NEW BEST:: SOT 12177189 SOS 7721864 HAS SOPS 6409514 HAS SOUS 2879642 HAS SOUPS 2778836 WITH SCORE 2786557.864
AT ITER 321 NEW BEST:: SOT 12170508 SOS 7712399 HAS SOPS 6406080 HAS SOUS 2868652 HAS SOUPS 2768034 WITH SCORE 2775746.399
AT ITER 346 NEW BEST:: SOT 12172410 SOS 7721672 HAS SOPS 6410619 HAS SOUS 2863976 HAS SOUPS 2763312 WITH SCORE 2771033.672
AT ITER 350 NEW BEST:: SOT 12172332 SOS 7721594 HAS SOPS 6410541 HAS SOUS 2863738 HAS SOUPS 2763074 WITH SCORE 2770795.594
AT ITER 356 NEW BEST:: SOT 12170522 SOS 7717902 HAS SOPS 6407173 HAS SOUS 2860814 HAS SOUPS 2760192 WITH SCORE 2767909.902
AT ITER 366 NEW BEST:: SOT 12172511 SOS 7728338 HAS SOPS 6415392 HAS SOUS 2856270 HAS SOUPS 2755718 WITH SCORE 2763446.338
AT ITER 369 NEW BEST:: SOT 12169399 SOS 7724404 HAS SOPS 6413307 HAS SOUS 2853819 HAS SOUPS 2753267 WITH SCORE 2760991.404
AT ITER 370 NEW BEST:: SOT 12171474 SOS 7734333 HAS SOPS 6422375 HAS SOUS 2849963 HAS SOUPS 2749411 WITH SCORE 2757145.333
AT ITER 384 NEW BEST:: SOT 12185217 SOS 7777845 HAS SOPS 6459372 HAS SOUS 2846847 HAS SOUPS 2746295 WITH SCORE 2754072.845
AT ITER 397 NEW BEST:: SOT 12188202 SOS 7791500 HAS SOPS 6470728 HAS SOUS 2842406 HAS SOUPS 2741854 WITH SCORE 2749645.5
AT ITER 404 NEW BEST:: SOT 12179221 SOS 7773410 HAS SOPS 6455551 HAS SOUS 2823102 HAS SOUPS 2722670 WITH SCORE 2730443.41
AT ITER 412 NEW BEST:: SOT 12186583 SOS 7796472 HAS SOPS 6474375 HAS SOUS 2821714 HAS SOUPS 2721282 WITH SCORE 2729078.472
AT ITER 432 NEW BEST:: SOT 12182100 SOS 7786982 HAS SOPS 6466977 HAS SOUS 2817181 HAS SOUPS 2716749 WITH SCORE 2724535.982
AT ITER 455 NEW BEST:: SOT 12181636 SOS 7787824 HAS SOPS 6467198 HAS SOUS 2815421 HAS SOUPS 2714989 WITH SCORE 2722776.824
AT ITER 461 NEW BEST:: SOT 12182233 SOS 7788859 HAS SOPS 6470318 HAS SOUS 2814272 HAS SOUPS 2713840 WITH SCORE 2721628.859
AT ITER 464 NEW BEST:: SOT 12182259 SOS 7788828 HAS SOPS 6470284 HAS SOUS 2813982 HAS SOUPS 2713583 WITH SCORE 2721371.828
AT ITER 475 NEW BEST:: SOT 12182589 SOS 7789799 HAS SOPS 6470651 HAS SOUS 2813697 HAS SOUPS 2713298 WITH SCORE 2721087.799
AT ITER 476 NEW BEST:: SOT 12181757 SOS 7788311 HAS SOPS 6469214 HAS SOUS 2812549 HAS SOUPS 2712181 WITH SCORE 2719969.311
AT ITER 490 NEW BEST:: SOT 12179896 SOS 7786346 HAS SOPS 6467351 HAS SOUS 2808768 HAS SOUPS 2708404 WITH SCORE 2716190.346
AT ITER 494 NEW BEST:: SOT 12177642 SOS 7781766 HAS SOPS 6462899 HAS SOUS 2802104 HAS SOUPS 2701846 WITH SCORE 2709627.766
AT ITER 499 NEW BEST:: SOT 12156165 SOS 7756191 HAS SOPS 6442923 HAS SOUS 2781956 HAS SOUPS 2682815 WITH SCORE 2690571.191
AT ITER 521 NEW BEST:: SOT 12155743 SOS 7756987 HAS SOPS 6442504 HAS SOUS 2779166 HAS SOUPS 2680025 WITH SCORE 2687781.987
AT ITER 528 NEW BEST:: SOT 12156923 SOS 7758944 HAS SOPS 6445170 HAS SOUS 2778912 HAS SOUPS 2679771 WITH SCORE 2687529.944
AT ITER 531 NEW BEST:: SOT 12155855 SOS 7757876 HAS SOPS 6443734 HAS SOUS 2776084 HAS SOUPS 2676943 WITH SCORE 2684700.876
AT ITER 537 NEW BEST:: SOT 12154746 SOS 7753672 HAS SOPS 6439833 HAS SOUS 2772840 HAS SOUPS 2673699 WITH SCORE 2681452.672
AT ITER 540 NEW BEST:: SOT 12159263 SOS 7764740 HAS SOPS 6460482 HAS SOUS 2760736 HAS SOUPS 2661888 WITH SCORE 2669652.74
AT ITER 554 NEW BEST:: SOT 12159641 SOS 7765798 HAS SOPS 6462626 HAS SOUS 2760271 HAS SOUPS 2661383 WITH SCORE 2669148.798
AT ITER 558 NEW BEST:: SOT 12160945 SOS 7769650 HAS SOPS 6464257 HAS SOUS 2759553 HAS SOUPS 2660665 WITH SCORE 2668434.65
AT ITER 566 NEW BEST:: SOT 12160879 SOS 7768718 HAS SOPS 6462799 HAS SOUS 2752935 HAS SOUPS 2654204 WITH SCORE 2661972.718
AT ITER 575 NEW BEST:: SOT 12160814 SOS 7770337 HAS SOPS 6464936 HAS SOUS 2751834 HAS SOUPS 2653103 WITH SCORE 2660873.337
AT ITER 583 NEW BEST:: SOT 12166886 SOS 7782836 HAS SOPS 6478898 HAS SOUS 2750310 HAS SOUPS 2651579 WITH SCORE 2659361.836
AT ITER 593 NEW BEST:: SOT 12167423 SOS 7781864 HAS SOPS 6478308 HAS SOUS 2744350 HAS SOUPS 2645694 WITH SCORE 2653475.864
AT ITER 603 NEW BEST:: SOT 12166400 SOS 7778545 HAS SOPS 6477914 HAS SOUS 2743838 HAS SOUPS 2645233 WITH SCORE 2653011.545
AT ITER 615 NEW BEST:: SOT 12166890 SOS 7780254 HAS SOPS 6480309 HAS SOUS 2743750 HAS SOUPS 2645145 WITH SCORE 2652925.254
AT ITER 626 NEW BEST:: SOT 12167249 SOS 7780613 HAS SOPS 6480460 HAS SOUS 2743101 HAS SOUPS 2644496 WITH SCORE 2652276.613
AT ITER 644 NEW BEST:: SOT 12161054 SOS 7774418 HAS SOPS 6473689 HAS SOUS 2733878 HAS SOUPS 2635257 WITH SCORE 2643031.418
AT ITER 648 NEW BEST:: SOT 12160984 SOS 7774348 HAS SOPS 6473619 HAS SOUS 2733584 HAS SOUPS 2634963 WITH SCORE 2642737.348
AT ITER 660 NEW BEST:: SOT 12159750 SOS 7769553 HAS SOPS 6471419 HAS SOUS 2726165 HAS SOUPS 2627647 WITH SCORE 2635416.553
AT ITER 666 NEW BEST:: SOT 12157589 SOS 7766615 HAS SOPS 6468037 HAS SOUS 2723329 HAS SOUPS 2624791 WITH SCORE 2632557.615
AT ITER 667 NEW BEST:: SOT 12156281 SOS 7765229 HAS SOPS 6466111 HAS SOUS 2720611 HAS SOUPS 2622073 WITH SCORE 2629838.229
AT ITER 698 NEW BEST:: SOT 12151474 SOS 7760402 HAS SOPS 6461277 HAS SOUS 2715955 HAS SOUPS 2617410 WITH SCORE 2625170.402
AT ITER 701 NEW BEST:: SOT 12150915 SOS 7763179 HAS SOPS 6461652 HAS SOUS 2715007 HAS SOUPS 2615859 WITH SCORE 2623622.179
AT ITER 704 NEW BEST:: SOT 12149978 SOS 7762238 HAS SOPS 6460676 HAS SOUS 2714488 HAS SOUPS 2615305 WITH SCORE 2623067.238
AT ITER 716 NEW BEST:: SOT 12147513 SOS 7751599 HAS SOPS 6453031 HAS SOUS 2714290 HAS SOUPS 2615208 WITH SCORE 2622959.599
AT ITER 725 NEW BEST:: SOT 12146929 SOS 7751043 HAS SOPS 6453183 HAS SOUS 2710036 HAS SOUPS 2611512 WITH SCORE 2619263.043
AT ITER 738 NEW BEST:: SOT 12146365 SOS 7750479 HAS SOPS 6452427 HAS SOUS 2709120 HAS SOUPS 2610484 WITH SCORE 2618234.479
AT ITER 744 NEW BEST:: SOT 12147744 SOS 7752374 HAS SOPS 6453410 HAS SOUS 2707568 HAS SOUPS 2608981 WITH SCORE 2616733.374
AT ITER 759 NEW BEST:: SOT 12146137 SOS 7748912 HAS SOPS 6452681 HAS SOUS 2705248 HAS SOUPS 2606721 WITH SCORE 2614469.912
AT ITER 787 NEW BEST:: SOT 12145847 SOS 7748568 HAS SOPS 6452322 HAS SOUS 2704637 HAS SOUPS 2606113 WITH SCORE 2613861.568
AT ITER 791 NEW BEST:: SOT 12141752 SOS 7738491 HAS SOPS 6452528 HAS SOUS 2695677 HAS SOUPS 2597662 WITH SCORE 2605400.491
AT ITER 803 NEW BEST:: SOT 12143658 SOS 7735514 HAS SOPS 6452575 HAS SOUS 2691053 HAS SOUPS 2593183 WITH SCORE 2600918.514
AT ITER 804 NEW BEST:: SOT 12143619 SOS 7735475 HAS SOPS 6452536 HAS SOUS 2690966 HAS SOUPS 2593096 WITH SCORE 2600831.475
AT ITER 807 NEW BEST:: SOT 12144567 SOS 7740167 HAS SOPS 6457475 HAS SOUS 2690593 HAS SOUPS 2592723 WITH SCORE 2600463.167
AT ITER 813 NEW BEST:: SOT 12145992 SOS 7744002 HAS SOPS 6461191 HAS SOUS 2688146 HAS SOUPS 2590276 WITH SCORE 2598020.002
AT ITER 822 NEW BEST:: SOT 12146859 SOS 7747630 HAS SOPS 6465443 HAS SOUS 2687898 HAS SOUPS 2590028 WITH SCORE 2597775.63
AT ITER 829 NEW BEST:: SOT 12141675 SOS 7741480 HAS SOPS 6460259 HAS SOUS 2682648 HAS SOUPS 2584844 WITH SCORE 2592585.48
AT ITER 830 NEW BEST:: SOT 12141785 SOS 7742054 HAS SOPS 6460495 HAS SOUS 2682562 HAS SOUPS 2584758 WITH SCORE 2592500.054
AT ITER 837 NEW BEST:: SOT 12142543 SOS 7744302 HAS SOPS 6465392 HAS SOUS 2675995 HAS SOUPS 2578191 WITH SCORE 2585935.302
AT ITER 839 NEW BEST:: SOT 12141096 SOS 7740833 HAS SOPS 6462051 HAS SOUS 2675727 HAS SOUPS 2577923 WITH SCORE 2585663.833
AT ITER 845 NEW BEST:: SOT 12139798 SOS 7739509 HAS SOPS 6460559 HAS SOUS 2672784 HAS SOUPS 2574980 WITH SCORE 2582719.509
AT ITER 849 NEW BEST:: SOT 12139795 SOS 7739520 HAS SOPS 6460562 HAS SOUS 2672737 HAS SOUPS 2574933 WITH SCORE 2582672.52
AT ITER 852 NEW BEST:: SOT 12139827 SOS 7739563 HAS SOPS 6460403 HAS SOUS 2672695 HAS SOUPS 2574891 WITH SCORE 2582630.563
AT ITER 858 NEW BEST:: SOT 12139475 SOS 7739160 HAS SOPS 6459796 HAS SOUS 2671955 HAS SOUPS 2574080 WITH SCORE 2581819.16
AT ITER 864 NEW BEST:: SOT 12139166 SOS 7740440 HAS SOPS 6460080 HAS SOUS 2671261 HAS SOUPS 2573386 WITH SCORE 2581126.44
AT ITER 867 NEW BEST:: SOT 12139100 SOS 7740774 HAS SOPS 6460118 HAS SOUS 2670891 HAS SOUPS 2573016 WITH SCORE 2580756.774
AT ITER 868 NEW BEST:: SOT 12138165 SOS 7739267 HAS SOPS 6457560 HAS SOUS 2668220 HAS SOUPS 2570345 WITH SCORE 2578084.267
AT ITER 873 NEW BEST:: SOT 12135880 SOS 7738655 HAS SOPS 6456146 HAS SOUS 2667340 HAS SOUPS 2569465 WITH SCORE 2577203.655
AT ITER 884 NEW BEST:: SOT 12139894 SOS 7742758 HAS SOPS 6460620 HAS SOUS 2665386 HAS SOUPS 2567678 WITH SCORE 2575420.758
AT ITER 889 NEW BEST:: SOT 12139981 SOS 7743095 HAS SOPS 6461691 HAS SOUS 2665223 HAS SOUPS 2567515 WITH SCORE 2575258.095
AT ITER 919 NEW BEST:: SOT 12142742 SOS 7745806 HAS SOPS 6463652 HAS SOUS 2664684 HAS SOUPS 2566916 WITH SCORE 2574661.806
AT ITER 925 NEW BEST:: SOT 12142538 SOS 7745323 HAS SOPS 6463172 HAS SOUS 2664500 HAS SOUPS 2566735 WITH SCORE 2574480.323
AT ITER 937 NEW BEST:: SOT 12142951 SOS 7746316 HAS SOPS 6467705 HAS SOUS 2662849 HAS SOUPS 2565226 WITH SCORE 2572972.316
AT ITER 947 NEW BEST:: SOT 12145433 SOS 7748763 HAS SOPS 6469627 HAS SOUS 2662762 HAS SOUPS 2565124 WITH SCORE 2572872.763
AT ITER 951 NEW BEST:: SOT 12145167 SOS 7748497 HAS SOPS 6469361 HAS SOUS 2662336 HAS SOUPS 2564698 WITH SCORE 2572446.497
AT ITER 952 NEW BEST:: SOT 12142550 SOS 7745698 HAS SOPS 6466653 HAS SOUS 2659175 HAS SOUPS 2561537 WITH SCORE 2569282.698
AT ITER 955 NEW BEST:: SOT 12141948 SOS 7745092 HAS SOPS 6466157 HAS SOUS 2657836 HAS SOUPS 2560181 WITH SCORE 2567926.092
AT ITER 960 NEW BEST:: SOT 12133521 SOS 7736744 HAS SOPS 6457730 HAS SOUS 2649488 HAS SOUPS 2551754 WITH SCORE 2559490.744
AT ITER 963 NEW BEST:: SOT 12128845 SOS 7732068 HAS SOPS 6454222 HAS SOUS 2646732 HAS SOUPS 2550166 WITH SCORE 2557898.068
AT ITER 964 NEW BEST:: SOT 12128921 SOS 7731832 HAS SOPS 6454417 HAS SOUS 2646530 HAS SOUPS 2549964 WITH SCORE 2557695.832
AT ITER 971 NEW BEST:: SOT 12128603 SOS 7731499 HAS SOPS 6453859 HAS SOUS 2646009 HAS SOUPS 2549398 WITH SCORE 2557129.499
AT ITER 978 NEW BEST:: SOT 12128169 SOS 7731028 HAS SOPS 6452833 HAS SOUS 2643303 HAS SOUPS 2546692 WITH SCORE 2554423.028
AT ITER 986 NEW BEST:: SOT 12127773 SOS 7731438 HAS SOPS 6453421 HAS SOUS 2640240 HAS SOUPS 2543629 WITH SCORE 2551360.438
AT ITER 997 NEW BEST:: SOT 12128299 SOS 7736131 HAS SOPS 6454833 HAS SOUS 2634041 HAS SOUPS 2537430 WITH SCORE 2545166.131
AT ITER 1000 NEW BEST:: SOT 12122405 SOS 7724584 HAS SOPS 6448297 HAS SOUS 2618169 HAS SOUPS 2521902 WITH SCORE 2529626.584
AT ITER 1005 NEW BEST:: SOT 12122235 SOS 7723747 HAS SOPS 6447114 HAS SOUS 2617826 HAS SOUPS 2521559 WITH SCORE 2529282.747
AT ITER 1007 NEW BEST:: SOT 12123506 SOS 7727645 HAS SOPS 6451969 HAS SOUS 2616092 HAS SOUPS 2519825 WITH SCORE 2527552.645
AT ITER 1017 NEW BEST:: SOT 12123455 SOS 7721327 HAS SOPS 6451843 HAS SOUS 2603513 HAS SOUPS 2507034 WITH SCORE 2514755.327
AT ITER 1035 NEW BEST:: SOT 12118566 SOS 7715091 HAS SOPS 6446034 HAS SOUS 2593443 HAS SOUPS 2497017 WITH SCORE 2504732.091
AT ITER 1041 NEW BEST:: SOT 12123958 SOS 7726627 HAS SOPS 6459395 HAS SOUS 2590239 HAS SOUPS 2493944 WITH SCORE 2501670.627
AT ITER 1046 NEW BEST:: SOT 12123576 SOS 7726564 HAS SOPS 6459558 HAS SOUS 2588982 HAS SOUPS 2492687 WITH SCORE 2500413.564
AT ITER 1066 NEW BEST:: SOT 12125328 SOS 7729888 HAS SOPS 6463721 HAS SOUS 2588412 HAS SOUPS 2492053 WITH SCORE 2499782.888
AT ITER 1069 NEW BEST:: SOT 12112133 SOS 7713550 HAS SOPS 6454116 HAS SOUS 2573991 HAS SOUPS 2477911 WITH SCORE 2485624.55
AT ITER 1090 NEW BEST:: SOT 12111661 SOS 7713244 HAS SOPS 6452892 HAS SOUS 2573614 HAS SOUPS 2477534 WITH SCORE 2485247.244
AT ITER 1105 NEW BEST:: SOT 12111643 SOS 7713214 HAS SOPS 6452808 HAS SOUS 2573561 HAS SOUPS 2477480 WITH SCORE 2485193.214
AT ITER 1108 NEW BEST:: SOT 12111259 SOS 7712615 HAS SOPS 6453098 HAS SOUS 2573049 HAS SOUPS 2476968 WITH SCORE 2484680.615
AT ITER 1112 NEW BEST:: SOT 12115614 SOS 7731733 HAS SOPS 6473344 HAS SOUS 2568212 HAS SOUPS 2472285 WITH SCORE 2480016.733
AT ITER 1125 NEW BEST:: SOT 12114731 SOS 7731043 HAS SOPS 6472689 HAS SOUS 2565787 HAS SOUPS 2469936 WITH SCORE 2477667.043
AT ITER 1151 NEW BEST:: SOT 12113886 SOS 7730805 HAS SOPS 6470791 HAS SOUS 2564360 HAS SOUPS 2468450 WITH SCORE 2476180.805
AT ITER 1153 NEW BEST:: SOT 12110202 SOS 7724870 HAS SOPS 6466345 HAS SOUS 2557716 HAS SOUPS 2461907 WITH SCORE 2469631.87
AT ITER 1159 NEW BEST:: SOT 12108781 SOS 7722598 HAS SOPS 6464342 HAS SOUS 2555074 HAS SOUPS 2459265 WITH SCORE 2466987.598
AT ITER 1175 NEW BEST:: SOT 12122427 SOS 7744945 HAS SOPS 6478893 HAS SOUS 2554081 HAS SOUPS 2458203 WITH SCORE 2465947.945
AT ITER 1186 NEW BEST:: SOT 12128899 SOS 7754795 HAS SOPS 6489170 HAS SOUS 2553745 HAS SOUPS 2458009 WITH SCORE 2465763.795
AT ITER 1201 NEW BEST:: SOT 12129860 SOS 7756095 HAS SOPS 6490991 HAS SOUS 2553126 HAS SOUPS 2457390 WITH SCORE 2465146.095
AT ITER 1232 NEW BEST:: SOT 12123224 SOS 7748367 HAS SOPS 6484915 HAS SOUS 2534088 HAS SOUPS 2438946 WITH SCORE 2446694.367
AT ITER 1241 NEW BEST:: SOT 12122295 SOS 7747217 HAS SOPS 6483544 HAS SOUS 2531935 HAS SOUPS 2436810 WITH SCORE 2444557.217
AT ITER 1248 NEW BEST:: SOT 12121475 SOS 7746476 HAS SOPS 6482372 HAS SOUS 2529802 HAS SOUPS 2434663 WITH SCORE 2442409.476
AT ITER 1250 NEW BEST:: SOT 12159490 SOS 7779176 HAS SOPS 6512455 HAS SOUS 2528910 HAS SOUPS 2433447 WITH SCORE 2441226.176
AT ITER 1259 NEW BEST:: SOT 12158787 SOS 7778439 HAS SOPS 6510766 HAS SOUS 2526851 HAS SOUPS 2431388 WITH SCORE 2439166.439
AT ITER 1268 NEW BEST:: SOT 12159000 SOS 7782881 HAS SOPS 6515722 HAS SOUS 2526698 HAS SOUPS 2431235 WITH SCORE 2439017.881
AT ITER 1274 NEW BEST:: SOT 12158562 SOS 7782479 HAS SOPS 6515326 HAS SOUS 2525738 HAS SOUPS 2430269 WITH SCORE 2438051.479
AT ITER 1277 NEW BEST:: SOT 12148322 SOS 7768552 HAS SOPS 6503336 HAS SOUS 2506182 HAS SOUPS 2411001 WITH SCORE 2418769.552
AT ITER 1279 NEW BEST:: SOT 12142484 SOS 7764770 HAS SOPS 6501988 HAS SOUS 2503663 HAS SOUPS 2408482 WITH SCORE 2416246.77
AT ITER 1285 NEW BEST:: SOT 12132231 SOS 7754642 HAS SOPS 6491735 HAS SOUS 2493670 HAS SOUPS 2398365 WITH SCORE 2406119.642
AT ITER 1292 NEW BEST:: SOT 12132181 SOS 7753776 HAS SOPS 6490674 HAS SOUS 2493606 HAS SOUPS 2398301 WITH SCORE 2406054.776
AT ITER 1293 NEW BEST:: SOT 12129977 SOS 7750269 HAS SOPS 6486914 HAS SOUS 2488745 HAS SOUPS 2393440 WITH SCORE 2401190.269
AT ITER 1302 NEW BEST:: SOT 12129242 SOS 7749540 HAS SOPS 6486182 HAS SOUS 2480509 HAS SOUPS 2385201 WITH SCORE 2392950.54
AT ITER 1309 NEW BEST:: SOT 12114869 SOS 7735587 HAS SOPS 6467363 HAS SOUS 2451496 HAS SOUPS 2356188 WITH SCORE 2363923.587
AT ITER 1310 NEW BEST:: SOT 12114870 SOS 7736224 HAS SOPS 6467526 HAS SOUS 2451164 HAS SOUPS 2355843 WITH SCORE 2363579.224
AT ITER 1316 NEW BEST:: SOT 12113992 SOS 7734514 HAS SOPS 6464219 HAS SOUS 2447779 HAS SOUPS 2352458 WITH SCORE 2360192.514
AT ITER 1323 NEW BEST:: SOT 12115033 SOS 7735540 HAS SOPS 6464594 HAS SOUS 2447294 HAS SOUPS 2351973 WITH SCORE 2359708.54
AT ITER 1332 NEW BEST:: SOT 12118761 SOS 7747408 HAS SOPS 6476308 HAS SOUS 2446309 HAS SOUPS 2350988 WITH SCORE 2358735.408
AT ITER 1336 NEW BEST:: SOT 12120657 SOS 7748056 HAS SOPS 6480932 HAS SOUS 2444905 HAS SOUPS 2349776 WITH SCORE 2357524.056
AT ITER 1339 NEW BEST:: SOT 12120594 SOS 7747993 HAS SOPS 6480869 HAS SOUS 2444698 HAS SOUPS 2349569 WITH SCORE 2357316.993
AT ITER 1344 NEW BEST:: SOT 12116724 SOS 7741232 HAS SOPS 6474310 HAS SOUS 2442013 HAS SOUPS 2346884 WITH SCORE 2354625.232
AT ITER 1347 NEW BEST:: SOT 12121255 SOS 7725661 HAS SOPS 6455387 HAS SOUS 2431848 HAS SOUPS 2336927 WITH SCORE 2344652.661
AT ITER 1349 NEW BEST:: SOT 12120507 SOS 7724913 HAS SOPS 6454175 HAS SOUS 2429052 HAS SOUPS 2334131 WITH SCORE 2341855.913
AT ITER 1350 NEW BEST:: SOT 12119667 SOS 7724349 HAS SOPS 6452913 HAS SOUS 2425721 HAS SOUPS 2330800 WITH SCORE 2338524.349
AT ITER 1367 NEW BEST:: SOT 12119916 SOS 7725896 HAS SOPS 6454035 HAS SOUS 2425403 HAS SOUPS 2330482 WITH SCORE 2338207.896
AT ITER 1373 NEW BEST:: SOT 12119726 SOS 7725634 HAS SOPS 6453659 HAS SOUS 2425032 HAS SOUPS 2330106 WITH SCORE 2337831.634
AT ITER 1376 NEW BEST:: SOT 12120864 SOS 7731344 HAS SOPS 6458544 HAS SOUS 2420751 HAS SOUPS 2325825 WITH SCORE 2333556.344
AT ITER 1389 NEW BEST:: SOT 12118074 SOS 7726754 HAS SOPS 6456107 HAS SOUS 2419803 HAS SOUPS 2324877 WITH SCORE 2332603.754
AT ITER 1393 NEW BEST:: SOT 12115273 SOS 7730343 HAS SOPS 6454808 HAS SOUS 2414426 HAS SOUPS 2319396 WITH SCORE 2327126.343
AT ITER 1402 NEW BEST:: SOT 12115273 SOS 7730343 HAS SOPS 6454808 HAS SOUS 2414410 HAS SOUPS 2319380 WITH SCORE 2327110.343
AT ITER 1407 NEW BEST:: SOT 12114938 SOS 7729982 HAS SOPS 6454288 HAS SOUS 2413772 HAS SOUPS 2318742 WITH SCORE 2326471.982
AT ITER 1413 NEW BEST:: SOT 12108225 SOS 7722979 HAS SOPS 6445043 HAS SOUS 2400276 HAS SOUPS 2305198 WITH SCORE 2312920.979
AT ITER 1422 NEW BEST:: SOT 12107010 SOS 7721764 HAS SOPS 6443268 HAS SOUS 2396673 HAS SOUPS 2301595 WITH SCORE 2309316.764
AT ITER 1423 NEW BEST:: SOT 12106410 SOS 7721011 HAS SOPS 6442365 HAS SOUS 2394550 HAS SOUPS 2299664 WITH SCORE 2307385.011
AT ITER 1429 NEW BEST:: SOT 12104686 SOS 7712012 HAS SOPS 6435472 HAS SOUS 2391795 HAS SOUPS 2296909 WITH SCORE 2304621.012
AT ITER 1441 NEW BEST:: SOT 12099193 SOS 7703440 HAS SOPS 6421594 HAS SOUS 2386142 HAS SOUPS 2291256 WITH SCORE 2298959.44
AT ITER 1446 NEW BEST:: SOT 12099414 SOS 7703670 HAS SOPS 6421584 HAS SOUS 2385312 HAS SOUPS 2290530 WITH SCORE 2298233.67
AT ITER 1457 NEW BEST:: SOT 12095382 SOS 7693137 HAS SOPS 6410314 HAS SOUS 2374851 HAS SOUPS 2280069 WITH SCORE 2287762.137
AT ITER 1460 NEW BEST:: SOT 12095685 SOS 7692322 HAS SOPS 6409310 HAS SOUS 2374627 HAS SOUPS 2279845 WITH SCORE 2287537.322
AT ITER 1470 NEW BEST:: SOT 12095489 SOS 7692122 HAS SOPS 6409002 HAS SOUS 2374427 HAS SOUPS 2279521 WITH SCORE 2287213.122
AT ITER 1478 NEW BEST:: SOT 12095875 SOS 7693486 HAS SOPS 6412016 HAS SOUS 2373732 HAS SOUPS 2278826 WITH SCORE 2286519.486
AT ITER 1486 NEW BEST:: SOT 12095988 SOS 7693597 HAS SOPS 6411669 HAS SOUS 2373319 HAS SOUPS 2278413 WITH SCORE 2286106.597
AT ITER 1502 NEW BEST:: SOT 12094588 SOS 7692636 HAS SOPS 6409629 HAS SOUS 2364915 HAS SOUPS 2270024 WITH SCORE 2277716.636
AT ITER 1503 NEW BEST:: SOT 12094560 SOS 7692608 HAS SOPS 6409601 HAS SOUS 2364823 HAS SOUPS 2269932 WITH SCORE 2277624.608
AT ITER 1505 NEW BEST:: SOT 12094828 SOS 7690482 HAS SOPS 6408064 HAS SOUS 2359643 HAS SOUPS 2264806 WITH SCORE 2272496.482
AT ITER 1507 NEW BEST:: SOT 12094546 SOS 7689902 HAS SOPS 6407864 HAS SOUS 2357391 HAS SOUPS 2262554 WITH SCORE 2270243.902
AT ITER 1522 NEW BEST:: SOT 12093599 SOS 7689277 HAS SOPS 6407098 HAS SOUS 2354790 HAS SOUPS 2259928 WITH SCORE 2267617.277
AT ITER 1547 NEW BEST:: SOT 12089140 SOS 7684410 HAS SOPS 6404563 HAS SOUS 2350320 HAS SOUPS 2255517 WITH SCORE 2263201.41
AT ITER 1615 NEW BEST:: SOT 12107811 SOS 7702465 HAS SOPS 6417084 HAS SOUS 2349573 HAS SOUPS 2254669 WITH SCORE 2262371.465
AT ITER 1616 NEW BEST:: SOT 12104848 SOS 7696783 HAS SOPS 6413602 HAS SOUS 2344189 HAS SOUPS 2249398 WITH SCORE 2257094.783
AT ITER 1619 NEW BEST:: SOT 12104815 SOS 7696496 HAS SOPS 6416358 HAS SOUS 2344068 HAS SOUPS 2249277 WITH SCORE 2256973.496
AT ITER 1625 NEW BEST:: SOT 12098497 SOS 7691141 HAS SOPS 6408090 HAS SOUS 2331626 HAS SOUPS 2236900 WITH SCORE 2244591.141
AT ITER 1626 NEW BEST:: SOT 12097736 SOS 7689973 HAS SOPS 6406750 HAS SOUS 2331054 HAS SOUPS 2236328 WITH SCORE 2244017.973
AT ITER 1638 NEW BEST:: SOT 12094807 SOS 7676635 HAS SOPS 6396834 HAS SOUS 2328401 HAS SOUPS 2234718 WITH SCORE 2242394.635
AT ITER 1639 NEW BEST:: SOT 12090901 SOS 7677502 HAS SOPS 6393909 HAS SOUS 2322970 HAS SOUPS 2228228 WITH SCORE 2235905.502
AT ITER 1657 NEW BEST:: SOT 12091041 SOS 7678057 HAS SOPS 6394169 HAS SOUS 2322366 HAS SOUPS 2227624 WITH SCORE 2235302.057
AT ITER 1659 NEW BEST:: SOT 12091098 SOS 7678153 HAS SOPS 6394322 HAS SOUS 2322315 HAS SOUPS 2227573 WITH SCORE 2235251.153
AT ITER 1676 NEW BEST:: SOT 12090915 SOS 7678928 HAS SOPS 6397116 HAS SOUS 2317167 HAS SOUPS 2222425 WITH SCORE 2230103.928
AT ITER 1697 NEW BEST:: SOT 12090285 SOS 7678317 HAS SOPS 6396005 HAS SOUS 2317044 HAS SOUPS 2222334 WITH SCORE 2230012.317
AT ITER 1706 NEW BEST:: SOT 12089547 SOS 7680013 HAS SOPS 6399110 HAS SOUS 2312279 HAS SOUPS 2217573 WITH SCORE 2225253.013
AT ITER 1711 NEW BEST:: SOT 12086893 SOS 7677061 HAS SOPS 6395983 HAS SOUS 2306127 HAS SOUPS 2211421 WITH SCORE 2219098.061
AT ITER 1715 NEW BEST:: SOT 12084652 SOS 7673468 HAS SOPS 6391132 HAS SOUS 2294609 HAS SOUPS 2200342 WITH SCORE 2208015.468
AT ITER 1722 NEW BEST:: SOT 12086469 SOS 7684104 HAS SOPS 6397524 HAS SOUS 2294795 HAS SOUPS 2200258 WITH SCORE 2207942.104
AT ITER 1760 NEW BEST:: SOT 12088346 SOS 7692295 HAS SOPS 6405019 HAS SOUS 2285848 HAS SOUPS 2191311 WITH SCORE 2199003.295
AT ITER 1764 NEW BEST:: SOT 12087694 SOS 7691303 HAS SOPS 6403568 HAS SOUS 2284786 HAS SOUPS 2190249 WITH SCORE 2197940.303
AT ITER 1772 NEW BEST:: SOT 12097143 SOS 7718521 HAS SOPS 6430613 HAS SOUS 2278756 HAS SOUPS 2184219 WITH SCORE 2191937.521
AT ITER 1800 NEW BEST:: SOT 12096782 SOS 7717855 HAS SOPS 6429977 HAS SOUS 2278085 HAS SOUPS 2183548 WITH SCORE 2191265.855
AT ITER 1831 NEW BEST:: SOT 12097411 SOS 7717133 HAS SOPS 6429872 HAS SOUS 2274632 HAS SOUPS 2180120 WITH SCORE 2187837.133
AT ITER 1832 NEW BEST:: SOT 12096621 SOS 7715802 HAS SOPS 6428752 HAS SOUS 2273571 HAS SOUPS 2179066 WITH SCORE 2186781.802
AT ITER 1848 NEW BEST:: SOT 12096599 SOS 7715978 HAS SOPS 6428925 HAS SOUS 2273456 HAS SOUPS 2178972 WITH SCORE 2186687.978
AT ITER 1869 NEW BEST:: SOT 12094480 SOS 7713912 HAS SOPS 6426093 HAS SOUS 2269682 HAS SOUPS 2175261 WITH SCORE 2182974.912
AT ITER 1872 NEW BEST:: SOT 12093984 SOS 7713548 HAS SOPS 6425512 HAS SOUS 2269235 HAS SOUPS 2174798 WITH SCORE 2182511.548
AT ITER 1876 NEW BEST:: SOT 12093962 SOS 7713350 HAS SOPS 6425213 HAS SOUS 2268993 HAS SOUPS 2174556 WITH SCORE 2182269.35
AT ITER 1878 NEW BEST:: SOT 12092815 SOS 7713470 HAS SOPS 6425177 HAS SOUS 2264997 HAS SOUPS 2170560 WITH SCORE 2178273.47
AT ITER 1903 NEW BEST:: SOT 12092597 SOS 7713201 HAS SOPS 6424886 HAS SOUS 2264795 HAS SOUPS 2170358 WITH SCORE 2178071.201
AT ITER 1911 NEW BEST:: SOT 12093225 SOS 7715711 HAS SOPS 6427272 HAS SOUS 2264043 HAS SOUPS 2169606 WITH SCORE 2177321.711
AT ITER 1947 NEW BEST:: SOT 12086250 SOS 7703690 HAS SOPS 6414591 HAS SOUS 2250153 HAS SOUPS 2155716 WITH SCORE 2163419.69
AT ITER 1960 NEW BEST:: SOT 12085863 SOS 7704791 HAS SOPS 6417290 HAS SOUS 2246135 HAS SOUPS 2151804 WITH SCORE 2159508.791
AT ITER 1966 NEW BEST:: SOT 12085801 SOS 7704572 HAS SOPS 6416959 HAS SOUS 2245849 HAS SOUPS 2151518 WITH SCORE 2159222.572
AT ITER 1967 NEW BEST:: SOT 12085613 SOS 7704372 HAS SOPS 6416627 HAS SOUS 2245499 HAS SOUPS 2151168 WITH SCORE 2158872.372
AT ITER 1973 NEW BEST:: SOT 12085197 SOS 7704180 HAS SOPS 6416158 HAS SOUS 2244871 HAS SOUPS 2150515 WITH SCORE 2158219.18
AT ITER 1975 NEW BEST:: SOT 12086868 SOS 7709864 HAS SOPS 6420062 HAS SOUS 2244633 HAS SOUPS 2150277 WITH SCORE 2157986.864
AT ITER 1994 NEW BEST:: SOT 12086214 SOS 7706257 HAS SOPS 6416539 HAS SOUS 2241482 HAS SOUPS 2147126 WITH SCORE 2154832.257
AT ITER 1998 NEW BEST:: SOT 12082588 SOS 7699890 HAS SOPS 6409051 HAS SOUS 2238832 HAS SOUPS 2144365 WITH SCORE 2152064.89
AT ITER 2001 NEW BEST:: SOT 12080877 SOS 7698179 HAS SOPS 6406684 HAS SOUS 2235821 HAS SOUPS 2141354 WITH SCORE 2149052.179
AT ITER 2004 NEW BEST:: SOT 12081575 SOS 7699049 HAS SOPS 6409243 HAS SOUS 2234771 HAS SOUPS 2140243 WITH SCORE 2147942.049
AT ITER 2011 NEW BEST:: SOT 12082470 SOS 7702554 HAS SOPS 6412235 HAS SOUS 2233410 HAS SOUPS 2138882 WITH SCORE 2146584.554
AT ITER 2035 NEW BEST:: SOT 12078881 SOS 7690168 HAS SOPS 6401552 HAS SOUS 2228675 HAS SOUPS 2134147 WITH SCORE 2141837.168
AT ITER 2042 NEW BEST:: SOT 12077937 SOS 7687040 HAS SOPS 6399518 HAS SOUS 2227310 HAS SOUPS 2132814 WITH SCORE 2140501.04
AT ITER 2047 NEW BEST:: SOT 12077447 SOS 7686059 HAS SOPS 6400448 HAS SOUS 2227163 HAS SOUPS 2132667 WITH SCORE 2140353.059
AT ITER 2053 NEW BEST:: SOT 12076887 SOS 7685261 HAS SOPS 6399654 HAS SOUS 2226448 HAS SOUPS 2131952 WITH SCORE 2139637.261
AT ITER 2055 NEW BEST:: SOT 12074613 SOS 7682683 HAS SOPS 6396038 HAS SOUS 2222396 HAS SOUPS 2127864 WITH SCORE 2135546.683
AT ITER 2062 NEW BEST:: SOT 12072511 SOS 7680925 HAS SOPS 6394368 HAS SOUS 2218049 HAS SOUPS 2123679 WITH SCORE 2131359.925
AT ITER 2068 NEW BEST:: SOT 12078411 SOS 7687658 HAS SOPS 6409189 HAS SOUS 2212238 HAS SOUPS 2118351 WITH SCORE 2126038.658
AT ITER 2076 NEW BEST:: SOT 12077941 SOS 7687185 HAS SOPS 6408683 HAS SOUS 2211744 HAS SOUPS 2117842 WITH SCORE 2125529.185
AT ITER 2096 NEW BEST:: SOT 12077860 SOS 7687104 HAS SOPS 6408314 HAS SOUS 2210235 HAS SOUPS 2116333 WITH SCORE 2124020.104
AT ITER 2101 NEW BEST:: SOT 12077880 SOS 7687206 HAS SOPS 6408212 HAS SOUS 2209988 HAS SOUPS 2116086 WITH SCORE 2123773.206
AT ITER 2113 NEW BEST:: SOT 12078415 SOS 7686474 HAS SOPS 6405875 HAS SOUS 2209657 HAS SOUPS 2115755 WITH SCORE 2123441.474
AT ITER 2117 NEW BEST:: SOT 12075915 SOS 7684039 HAS SOPS 6402367 HAS SOUS 2204244 HAS SOUPS 2110402 WITH SCORE 2118086.039
AT ITER 2126 NEW BEST:: SOT 12074797 SOS 7682525 HAS SOPS 6400451 HAS SOUS 2202365 HAS SOUPS 2108523 WITH SCORE 2116205.525
AT ITER 2130 NEW BEST:: SOT 12076477 SOS 7685157 HAS SOPS 6399422 HAS SOUS 2200278 HAS SOUPS 2106436 WITH SCORE 2114121.157
AT ITER 2136 NEW BEST:: SOT 12101279 SOS 7706312 HAS SOPS 6419338 HAS SOUS 2197902 HAS SOUPS 2104159 WITH SCORE 2111865.312
AT ITER 2143 NEW BEST:: SOT 12101093 SOS 7706191 HAS SOPS 6419279 HAS SOUS 2197201 HAS SOUPS 2103458 WITH SCORE 2111164.191
AT ITER 2148 NEW BEST:: SOT 12100928 SOS 7705971 HAS SOPS 6419121 HAS SOUS 2196983 HAS SOUPS 2103240 WITH SCORE 2110945.971
AT ITER 2179 NEW BEST:: SOT 12111108 SOS 7705359 HAS SOPS 6418509 HAS SOUS 2191803 HAS SOUPS 2098060 WITH SCORE 2105765.359
AT ITER 2180 NEW BEST:: SOT 12107694 SOS 7701129 HAS SOPS 6413276 HAS SOUS 2187006 HAS SOUPS 2093263 WITH SCORE 2100964.129
AT ITER 2223 NEW BEST:: SOT 12107644 SOS 7698412 HAS SOPS 6410470 HAS SOUS 2184447 HAS SOUPS 2090704 WITH SCORE 2098402.412
AT ITER 2234 NEW BEST:: SOT 12104822 SOS 7692381 HAS SOPS 6406492 HAS SOUS 2172272 HAS SOUPS 2079345 WITH SCORE 2087037.381
AT ITER 2235 NEW BEST:: SOT 12104327 SOS 7691873 HAS SOPS 6405858 HAS SOUS 2171315 HAS SOUPS 2078388 WITH SCORE 2086079.873
AT ITER 2239 NEW BEST:: SOT 12092152 SOS 7669302 HAS SOPS 6387621 HAS SOUS 2149040 HAS SOUPS 2056691 WITH SCORE 2064360.302
AT ITER 2244 NEW BEST:: SOT 12092147 SOS 7670739 HAS SOPS 6388090 HAS SOUS 2147761 HAS SOUPS 2055412 WITH SCORE 2063082.739
AT ITER 2269 NEW BEST:: SOT 12091756 SOS 7669505 HAS SOPS 6385971 HAS SOUS 2146918 HAS SOUPS 2054569 WITH SCORE 2062238.505
AT ITER 2281 NEW BEST:: SOT 12092097 SOS 7672240 HAS SOPS 6386908 HAS SOUS 2141753 HAS SOUPS 2049404 WITH SCORE 2057076.24
AT ITER 2283 NEW BEST:: SOT 12091114 SOS 7670195 HAS SOPS 6384524 HAS SOUS 2139367 HAS SOUPS 2047112 WITH SCORE 2054782.195
AT ITER 2287 NEW BEST:: SOT 12087767 SOS 7666225 HAS SOPS 6380244 HAS SOUS 2131142 HAS SOUPS 2039110 WITH SCORE 2046776.225
AT ITER 2298 NEW BEST:: SOT 12087015 SOS 7666002 HAS SOPS 6380737 HAS SOUS 2130839 HAS SOUPS 2038900 WITH SCORE 2046566.002
AT ITER 2325 NEW BEST:: SOT 12072311 SOS 7656174 HAS SOPS 6369719 HAS SOUS 2120998 HAS SOUPS 2028857 WITH SCORE 2036513.174
AT ITER 2340 NEW BEST:: SOT 12072571 SOS 7657116 HAS SOPS 6370654 HAS SOUS 2117173 HAS SOUPS 2024986 WITH SCORE 2032643.116
AT ITER 2350 NEW BEST:: SOT 12072265 SOS 7655885 HAS SOPS 6368438 HAS SOUS 2117111 HAS SOUPS 2024924 WITH SCORE 2032579.885
AT ITER 2369 NEW BEST:: SOT 12067211 SOS 7651393 HAS SOPS 6363968 HAS SOUS 2105958 HAS SOUPS 2013764 WITH SCORE 2021415.393
AT ITER 2378 NEW BEST:: SOT 12067409 SOS 7651849 HAS SOPS 6364905 HAS SOUS 2104614 HAS SOUPS 2012420 WITH SCORE 2020071.849
AT ITER 2385 NEW BEST:: SOT 12067331 SOS 7651752 HAS SOPS 6364808 HAS SOUS 2104503 HAS SOUPS 2012309 WITH SCORE 2019960.752
AT ITER 2395 NEW BEST:: SOT 12067219 SOS 7651640 HAS SOPS 6364696 HAS SOUS 2104375 HAS SOUPS 2012181 WITH SCORE 2019832.64
AT ITER 2409 NEW BEST:: SOT 12066861 SOS 7649818 HAS SOPS 6362856 HAS SOUS 2103300 HAS SOUPS 2011106 WITH SCORE 2018755.818
AT ITER 2412 NEW BEST:: SOT 12070200 SOS 7662887 HAS SOPS 6373689 HAS SOUS 2095208 HAS SOUPS 2003014 WITH SCORE 2010676.887
AT ITER 2419 NEW BEST:: SOT 12070186 SOS 7663190 HAS SOPS 6373348 HAS SOUS 2094589 HAS SOUPS 2002395 WITH SCORE 2010058.19
AT ITER 2425 NEW BEST:: SOT 12069078 SOS 7660319 HAS SOPS 6373602 HAS SOUS 2094103 HAS SOUPS 2002057 WITH SCORE 2009717.319
AT ITER 2431 NEW BEST:: SOT 12066894 SOS 7658012 HAS SOPS 6370480 HAS SOUS 2088931 HAS SOUPS 1996942 WITH SCORE 2004600.012
AT ITER 2436 NEW BEST:: SOT 12069288 SOS 7663641 HAS SOPS 6375970 HAS SOUS 2087874 HAS SOUPS 1995924 WITH SCORE 2003587.641
AT ITER 2444 NEW BEST:: SOT 12069222 SOS 7663392 HAS SOPS 6375747 HAS SOUS 2087844 HAS SOUPS 1995894 WITH SCORE 2003557.392
AT ITER 2447 NEW BEST:: SOT 12069166 SOS 7660878 HAS SOPS 6373628 HAS SOUS 2078973 HAS SOUPS 1987007 WITH SCORE 1994667.878
AT ITER 2458 NEW BEST:: SOT 12069162 SOS 7660909 HAS SOPS 6373596 HAS SOUS 2078969 HAS SOUPS 1987003 WITH SCORE 1994663.909
AT ITER 2493 NEW BEST:: SOT 12068544 SOS 7660302 HAS SOPS 6372761 HAS SOUS 2077053 HAS SOUPS 1985087 WITH SCORE 1992747.302
AT ITER 2508 NEW BEST:: SOT 12067676 SOS 7659243 HAS SOPS 6371700 HAS SOUS 2075431 HAS SOUPS 1983480 WITH SCORE 1991139.243
AT ITER 2509 NEW BEST:: SOT 12067630 SOS 7659425 HAS SOPS 6371226 HAS SOUS 2075093 HAS SOUPS 1983142 WITH SCORE 1990801.425
AT ITER 2516 NEW BEST:: SOT 12068362 SOS 7661901 HAS SOPS 6373390 HAS SOUS 2074664 HAS SOUPS 1982713 WITH SCORE 1990374.901
AT ITER 2519 NEW BEST:: SOT 12066725 SOS 7662569 HAS SOPS 6372997 HAS SOUS 2072335 HAS SOUPS 1980284 WITH SCORE 1987946.569
AT ITER 2522 NEW BEST:: SOT 12066604 SOS 7662420 HAS SOPS 6372872 HAS SOUS 2072214 HAS SOUPS 1980163 WITH SCORE 1987825.42
AT ITER 2525 NEW BEST:: SOT 12066604 SOS 7662226 HAS SOPS 6372711 HAS SOUS 2072192 HAS SOUPS 1980141 WITH SCORE 1987803.226
AT ITER 2536 NEW BEST:: SOT 12066263 SOS 7659823 HAS SOPS 6372335 HAS SOUS 2069970 HAS SOUPS 1977919 WITH SCORE 1985578.823
AT ITER 2547 NEW BEST:: SOT 12064243 SOS 7657062 HAS SOPS 6369441 HAS SOUS 2065594 HAS SOUPS 1973562 WITH SCORE 1981219.062
AT ITER 2556 NEW BEST:: SOT 12064970 SOS 7656155 HAS SOPS 6367191 HAS SOUS 2065183 HAS SOUPS 1973151 WITH SCORE 1980807.155
AT ITER 2559 NEW BEST:: SOT 12066481 SOS 7656773 HAS SOPS 6367887 HAS SOUS 2064454 HAS SOUPS 1972497 WITH SCORE 1980153.773
AT ITER 2566 NEW BEST:: SOT 12066406 SOS 7656698 HAS SOPS 6367818 HAS SOUS 2064289 HAS SOUPS 1972334 WITH SCORE 1979990.698
AT ITER 2576 NEW BEST:: SOT 12065486 SOS 7653925 HAS SOPS 6364384 HAS SOUS 2061873 HAS SOUPS 1969918 WITH SCORE 1977571.925
AT ITER 2587 NEW BEST:: SOT 12065168 SOS 7653612 HAS SOPS 6364050 HAS SOUS 2061607 HAS SOUPS 1969647 WITH SCORE 1977300.612
AT ITER 2597 NEW BEST:: SOT 12063729 SOS 7648775 HAS SOPS 6361147 HAS SOUS 2053740 HAS SOUPS 1961926 WITH SCORE 1969574.775
AT ITER 2622 NEW BEST:: SOT 12062885 SOS 7647718 HAS SOPS 6359112 HAS SOUS 2051493 HAS SOUPS 1959679 WITH SCORE 1967326.718
AT ITER 2654 NEW BEST:: SOT 12062109 SOS 7646069 HAS SOPS 6356134 HAS SOUS 2051206 HAS SOUPS 1959363 WITH SCORE 1967009.069
AT ITER 2655 NEW BEST:: SOT 12062061 SOS 7646146 HAS SOPS 6356410 HAS SOUS 2051140 HAS SOUPS 1959306 WITH SCORE 1966952.146
AT ITER 2659 NEW BEST:: SOT 12061966 SOS 7645789 HAS SOPS 6355835 HAS SOUS 2050785 HAS SOUPS 1958951 WITH SCORE 1966596.789
AT ITER 2687 NEW BEST:: SOT 12061623 SOS 7645315 HAS SOPS 6354954 HAS SOUS 2048942 HAS SOUPS 1957108 WITH SCORE 1964753.315
AT ITER 2702 NEW BEST:: SOT 12060611 SOS 7644291 HAS SOPS 6353558 HAS SOUS 2047254 HAS SOUPS 1955420 WITH SCORE 1963064.291
AT ITER 2720 NEW BEST:: SOT 12060391 SOS 7644056 HAS SOPS 6353338 HAS SOUS 2046864 HAS SOUPS 1955035 WITH SCORE 1962679.056
AT ITER 2735 NEW BEST:: SOT 12059924 SOS 7640598 HAS SOPS 6349917 HAS SOUS 2043420 HAS SOUPS 1951649 WITH SCORE 1959289.598
AT ITER 2739 NEW BEST:: SOT 12059937 SOS 7639893 HAS SOPS 6350034 HAS SOUS 2039479 HAS SOUPS 1947814 WITH SCORE 1955453.893
AT ITER 2742 NEW BEST:: SOT 12059805 SOS 7639580 HAS SOPS 6349886 HAS SOUS 2038571 HAS SOUPS 1947082 WITH SCORE 1954721.58
AT ITER 2744 NEW BEST:: SOT 12060235 SOS 7640622 HAS SOPS 6350367 HAS SOUS 2037396 HAS SOUPS 1945876 WITH SCORE 1953516.622
AT ITER 2746 NEW BEST:: SOT 12059938 SOS 7640346 HAS SOPS 6348910 HAS SOUS 2036636 HAS SOUPS 1945064 WITH SCORE 1952704.346
AT ITER 2757 NEW BEST:: SOT 12065760 SOS 7646922 HAS SOPS 6357592 HAS SOUS 2036445 HAS SOUPS 1944873 WITH SCORE 1952519.922
AT ITER 2760 NEW BEST:: SOT 12065784 SOS 7646823 HAS SOPS 6357281 HAS SOUS 2036328 HAS SOUPS 1944756 WITH SCORE 1952402.823
AT ITER 2819 NEW BEST:: SOT 12065852 SOS 7647673 HAS SOPS 6357820 HAS SOUS 2036147 HAS SOUPS 1944575 WITH SCORE 1952222.673
AT ITER 2822 NEW BEST:: SOT 12065909 SOS 7647802 HAS SOPS 6358126 HAS SOUS 2035816 HAS SOUPS 1944244 WITH SCORE 1951891.802
AT ITER 2825 NEW BEST:: SOT 12064479 SOS 7643755 HAS SOPS 6355579 HAS SOUS 2026755 HAS SOUPS 1935282 WITH SCORE 1942925.755
AT ITER 2858 NEW BEST:: SOT 12064343 SOS 7643669 HAS SOPS 6355282 HAS SOUS 2026071 HAS SOUPS 1934600 WITH SCORE 1942243.669
AT ITER 2874 NEW BEST:: SOT 12065084 SOS 7644410 HAS SOPS 6355655 HAS SOUS 2026348 HAS SOUPS 1934557 WITH SCORE 1942201.41
AT ITER 2876 NEW BEST:: SOT 12064834 SOS 7644440 HAS SOPS 6355167 HAS SOUS 2024237 HAS SOUPS 1932423 WITH SCORE 1940067.44
AT ITER 2877 NEW BEST:: SOT 12058786 SOS 7638765 HAS SOPS 6349432 HAS SOUS 2019030 HAS SOUPS 1927218 WITH SCORE 1934856.765
AT ITER 2917 NEW BEST:: SOT 12058343 SOS 7642681 HAS SOPS 6351372 HAS SOUS 2019321 HAS SOUPS 1927128 WITH SCORE 1934770.681
AT ITER 2919 NEW BEST:: SOT 12059083 SOS 7644728 HAS SOPS 6352504 HAS SOUS 2019116 HAS SOUPS 1926899 WITH SCORE 1934543.728
AT ITER 2958 NEW BEST:: SOT 12058913 SOS 7643129 HAS SOPS 6350768 HAS SOUS 2017234 HAS SOUPS 1925017 WITH SCORE 1932660.129
AT ITER 2962 NEW BEST:: SOT 12060061 SOS 7648365 HAS SOPS 6352435 HAS SOUS 2013755 HAS SOUPS 1921431 WITH SCORE 1929079.365
AT ITER 2964 NEW BEST:: SOT 12058125 SOS 7645372 HAS SOPS 6350007 HAS SOUS 2011471 HAS SOUPS 1919147 WITH SCORE 1926792.372
AT ITER 2994 NEW BEST:: SOT 12060517 SOS 7651463 HAS SOPS 6356940 HAS SOUS 2010622 HAS SOUPS 1918298 WITH SCORE 1925949.463
AT ITER 3004 NEW BEST:: SOT 12062216 SOS 7656071 HAS SOPS 6361912 HAS SOUS 2010474 HAS SOUPS 1918150 WITH SCORE 1925806.071
AT ITER 3020 NEW BEST:: SOT 12059762 SOS 7653536 HAS SOPS 6357038 HAS SOUS 2007719 HAS SOUPS 1915341 WITH SCORE 1922994.536
AT ITER 3022 NEW BEST:: SOT 12054518 SOS 7640710 HAS SOPS 6347335 HAS SOUS 2002179 HAS SOUPS 1909801 WITH SCORE 1917441.71
AT ITER 3027 NEW BEST:: SOT 12054424 SOS 7640616 HAS SOPS 6347209 HAS SOUS 2001989 HAS SOUPS 1909611 WITH SCORE 1917251.616
AT ITER 3034 NEW BEST:: SOT 12048215 SOS 7634407 HAS SOPS 6340904 HAS SOUS 1994268 HAS SOUPS 1901890 WITH SCORE 1909524.407
AT ITER 3035 NEW BEST:: SOT 12049764 SOS 7642249 HAS SOPS 6349939 HAS SOUS 1992752 HAS SOUPS 1900454 WITH SCORE 1908096.249
AT ITER 3046 NEW BEST:: SOT 12052026 SOS 7648021 HAS SOPS 6354425 HAS SOUS 1980385 HAS SOUPS 1888087 WITH SCORE 1895735.021
AT ITER 3056 NEW BEST:: SOT 12052868 SOS 7648863 HAS SOPS 6355267 HAS SOUS 1980107 HAS SOUPS 1887809 WITH SCORE 1895457.863
AT ITER 3057 NEW BEST:: SOT 12053456 SOS 7650891 HAS SOPS 6356182 HAS SOUS 1978306 HAS SOUPS 1886008 WITH SCORE 1893658.891
AT ITER 3086 NEW BEST:: SOT 12053439 SOS 7650873 HAS SOPS 6356171 HAS SOUS 1978286 HAS SOUPS 1885988 WITH SCORE 1893638.873
AT ITER 3099 NEW BEST:: SOT 12053146 SOS 7650589 HAS SOPS 6355782 HAS SOUS 1977714 HAS SOUPS 1885413 WITH SCORE 1893063.589
AT ITER 3106 NEW BEST:: SOT 12052937 SOS 7653900 HAS SOPS 6359496 HAS SOUS 1976542 HAS SOUPS 1884324 WITH SCORE 1891977.9
AT ITER 3112 NEW BEST:: SOT 12051757 SOS 7651565 HAS SOPS 6357635 HAS SOUS 1975610 HAS SOUPS 1883392 WITH SCORE 1891043.565
AT ITER 3117 NEW BEST:: SOT 12050923 SOS 7647935 HAS SOPS 6354432 HAS SOUS 1970043 HAS SOUPS 1877907 WITH SCORE 1885554.935
AT ITER 3118 NEW BEST:: SOT 12051332 SOS 7648668 HAS SOPS 6355123 HAS SOUS 1970023 HAS SOUPS 1877887 WITH SCORE 1885535.668
AT ITER 3127 NEW BEST:: SOT 12051321 SOS 7648618 HAS SOPS 6355061 HAS SOUS 1969990 HAS SOUPS 1877854 WITH SCORE 1885502.618
AT ITER 3157 NEW BEST:: SOT 12049660 SOS 7647914 HAS SOPS 6354639 HAS SOUS 1969112 HAS SOUPS 1876976 WITH SCORE 1884623.914
AT ITER 3160 NEW BEST:: SOT 12055316 SOS 7654005 HAS SOPS 6359017 HAS SOUS 1967212 HAS SOUPS 1875086 WITH SCORE 1882740.005
AT ITER 3163 NEW BEST:: SOT 12055866 SOS 7651364 HAS SOPS 6356259 HAS SOUS 1965241 HAS SOUPS 1873115 WITH SCORE 1880766.364
AT ITER 3167 NEW BEST:: SOT 12055794 SOS 7651292 HAS SOPS 6356187 HAS SOUS 1965097 HAS SOUPS 1872971 WITH SCORE 1880622.292
AT ITER 3205 NEW BEST:: SOT 12054448 SOS 7649952 HAS SOPS 6354353 HAS SOUS 1962498 HAS SOUPS 1870372 WITH SCORE 1878021.952
AT ITER 3221 NEW BEST:: SOT 12054846 SOS 7649464 HAS SOPS 6356095 HAS SOUS 1962356 HAS SOUPS 1870230 WITH SCORE 1877879.464
AT ITER 3224 NEW BEST:: SOT 12055845 SOS 7647072 HAS SOPS 6356291 HAS SOUS 1960864 HAS SOUPS 1868738 WITH SCORE 1876385.072
AT ITER 3230 NEW BEST:: SOT 12054437 SOS 7645664 HAS SOPS 6354563 HAS SOUS 1958944 HAS SOUPS 1866818 WITH SCORE 1874463.664
AT ITER 3231 NEW BEST:: SOT 12054414 SOS 7645641 HAS SOPS 6354492 HAS SOUS 1958905 HAS SOUPS 1866779 WITH SCORE 1874424.641
AT ITER 3245 NEW BEST:: SOT 12051776 SOS 7642201 HAS SOPS 6350917 HAS SOUS 1956493 HAS SOUPS 1864344 WITH SCORE 1871986.201
AT ITER 3260 NEW BEST:: SOT 12051736 SOS 7642398 HAS SOPS 6351147 HAS SOUS 1956204 HAS SOUPS 1864055 WITH SCORE 1871697.398
AT ITER 3270 NEW BEST:: SOT 12050845 SOS 7641039 HAS SOPS 6352926 HAS SOUS 1954476 HAS SOUPS 1862358 WITH SCORE 1869999.039
AT ITER 3280 NEW BEST:: SOT 12052090 SOS 7643610 HAS SOPS 6354814 HAS SOUS 1953584 HAS SOUPS 1861466 WITH SCORE 1869109.61
AT ITER 3292 NEW BEST:: SOT 12051813 SOS 7642906 HAS SOPS 6354001 HAS SOUS 1952360 HAS SOUPS 1860242 WITH SCORE 1867884.906
AT ITER 3299 NEW BEST:: SOT 12047989 SOS 7638176 HAS SOPS 6347744 HAS SOUS 1947823 HAS SOUPS 1855678 WITH SCORE 1863316.176
AT ITER 3323 NEW BEST:: SOT 12044927 SOS 7631904 HAS SOPS 6342499 HAS SOUS 1943483 HAS SOUPS 1851372 WITH SCORE 1859003.904
AT ITER 3327 NEW BEST:: SOT 12042973 SOS 7630338 HAS SOPS 6338658 HAS SOUS 1941924 HAS SOUPS 1849689 WITH SCORE 1857319.338
AT ITER 3334 NEW BEST:: SOT 12042657 SOS 7630111 HAS SOPS 6338414 HAS SOUS 1941679 HAS SOUPS 1849435 WITH SCORE 1857065.111
AT ITER 3339 NEW BEST:: SOT 12040582 SOS 7627407 HAS SOPS 6334205 HAS SOUS 1935601 HAS SOUPS 1843357 WITH SCORE 1850984.407
AT ITER 3362 NEW BEST:: SOT 12038352 SOS 7624553 HAS SOPS 6331532 HAS SOUS 1933774 HAS SOUPS 1841575 WITH SCORE 1849199.553
AT ITER 3365 NEW BEST:: SOT 12037748 SOS 7623760 HAS SOPS 6331792 HAS SOUS 1933110 HAS SOUPS 1841322 WITH SCORE 1848945.76
AT ITER 3378 NEW BEST:: SOT 12034846 SOS 7617144 HAS SOPS 6327162 HAS SOUS 1924095 HAS SOUPS 1832708 WITH SCORE 1840325.144
AT ITER 3391 NEW BEST:: SOT 12027014 SOS 7608423 HAS SOPS 6318218 HAS SOUS 1917398 HAS SOUPS 1826011 WITH SCORE 1833619.423
AT ITER 3406 NEW BEST:: SOT 12027152 SOS 7611791 HAS SOPS 6319631 HAS SOUS 1917138 HAS SOUPS 1825751 WITH SCORE 1833362.791
AT ITER 3408 NEW BEST:: SOT 12026997 SOS 7611636 HAS SOPS 6319460 HAS SOUS 1917023 HAS SOUPS 1825636 WITH SCORE 1833247.636
AT ITER 3414 NEW BEST:: SOT 12026998 SOS 7612568 HAS SOPS 6320234 HAS SOUS 1917007 HAS SOUPS 1825620 WITH SCORE 1833232.568
AT ITER 3422 NEW BEST:: SOT 12027535 SOS 7612511 HAS SOPS 6320943 HAS SOUS 1909368 HAS SOUPS 1818082 WITH SCORE 1825694.511
AT ITER 3430 NEW BEST:: SOT 12027208 SOS 7612834 HAS SOPS 6320948 HAS SOUS 1908026 HAS SOUPS 1816740 WITH SCORE 1824352.834
AT ITER 3437 NEW BEST:: SOT 12027779 SOS 7613625 HAS SOPS 6321880 HAS SOUS 1907627 HAS SOUPS 1816333 WITH SCORE 1823946.625
AT ITER 3444 NEW BEST:: SOT 12020863 SOS 7607553 HAS SOPS 6315930 HAS SOUS 1903317 HAS SOUPS 1812066 WITH SCORE 1819673.553
AT ITER 3449 NEW BEST:: SOT 12022092 SOS 7610273 HAS SOPS 6318710 HAS SOUS 1901451 HAS SOUPS 1810288 WITH SCORE 1817898.273
AT ITER 3453 NEW BEST:: SOT 12022323 SOS 7612300 HAS SOPS 6321553 HAS SOUS 1900018 HAS SOUPS 1808855 WITH SCORE 1816467.3
AT ITER 3460 NEW BEST:: SOT 12016814 SOS 7607239 HAS SOPS 6315619 HAS SOUS 1897467 HAS SOUPS 1806352 WITH SCORE 1813959.239
AT ITER 3502 NEW BEST:: SOT 12016230 SOS 7606655 HAS SOPS 6315035 HAS SOUS 1895863 HAS SOUPS 1804748 WITH SCORE 1812354.655
AT ITER 3503 NEW BEST:: SOT 12016644 SOS 7611057 HAS SOPS 6318056 HAS SOUS 1893259 HAS SOUPS 1802091 WITH SCORE 1809702.057
AT ITER 3533 NEW BEST:: SOT 12015732 SOS 7609368 HAS SOPS 6315876 HAS SOUS 1892581 HAS SOUPS 1801403 WITH SCORE 1809012.368
AT ITER 3535 NEW BEST:: SOT 12018326 SOS 7616742 HAS SOPS 6328878 HAS SOUS 1890274 HAS SOUPS 1799236 WITH SCORE 1806852.742
AT ITER 3555 NEW BEST:: SOT 12015784 SOS 7611741 HAS SOPS 6324644 HAS SOUS 1888020 HAS SOUPS 1796982 WITH SCORE 1804593.741
AT ITER 3567 NEW BEST:: SOT 12016396 SOS 7615232 HAS SOPS 6327287 HAS SOUS 1887818 HAS SOUPS 1796728 WITH SCORE 1804343.232
AT ITER 3573 NEW BEST:: SOT 12015771 SOS 7614791 HAS SOPS 6326548 HAS SOUS 1885109 HAS SOUPS 1794040 WITH SCORE 1801654.791
AT ITER 3586 NEW BEST:: SOT 12014365 SOS 7613176 HAS SOPS 6324267 HAS SOUS 1882279 HAS SOUPS 1791210 WITH SCORE 1798823.176
AT ITER 3589 NEW BEST:: SOT 12013300 SOS 7613308 HAS SOPS 6323268 HAS SOUS 1876751 HAS SOUPS 1785682 WITH SCORE 1793295.308
AT ITER 3595 NEW BEST:: SOT 12011178 SOS 7610512 HAS SOPS 6319431 HAS SOUS 1874244 HAS SOUPS 1783175 WITH SCORE 1790785.512
AT ITER 3602 NEW BEST:: SOT 12010572 SOS 7608676 HAS SOPS 6317672 HAS SOUS 1873579 HAS SOUPS 1782530 WITH SCORE 1790138.676
AT ITER 3606 NEW BEST:: SOT 12008869 SOS 7608194 HAS SOPS 6314483 HAS SOUS 1869474 HAS SOUPS 1778425 WITH SCORE 1786033.194
AT ITER 3609 NEW BEST:: SOT 12007966 SOS 7608199 HAS SOPS 6314665 HAS SOUS 1867925 HAS SOUPS 1776876 WITH SCORE 1784484.199
AT ITER 3615 NEW BEST:: SOT 12011023 SOS 7612521 HAS SOPS 6317250 HAS SOUS 1867646 HAS SOUPS 1776597 WITH SCORE 1784209.521
AT ITER 3626 NEW BEST:: SOT 12023355 SOS 7624078 HAS SOPS 6323439 HAS SOUS 1864766 HAS SOUPS 1773451 WITH SCORE 1781075.078
AT ITER 3648 NEW BEST:: SOT 12019422 SOS 7615921 HAS SOPS 6315887 HAS SOUS 1858624 HAS SOUPS 1767413 WITH SCORE 1775028.921
AT ITER 3650 NEW BEST:: SOT 12016272 SOS 7612240 HAS SOPS 6311322 HAS SOUS 1853049 HAS SOUPS 1761892 WITH SCORE 1769504.24
AT ITER 3656 NEW BEST:: SOT 12016030 SOS 7613421 HAS SOPS 6312222 HAS SOUS 1852582 HAS SOUPS 1761425 WITH SCORE 1769038.421
AT ITER 3660 NEW BEST:: SOT 12012971 SOS 7610477 HAS SOPS 6308832 HAS SOUS 1840385 HAS SOUPS 1749228 WITH SCORE 1756838.477
AT ITER 3708 NEW BEST:: SOT 12007810 SOS 7606907 HAS SOPS 6301096 HAS SOUS 1829564 HAS SOUPS 1738251 WITH SCORE 1745857.907
AT ITER 3710 NEW BEST:: SOT 12004479 SOS 7602744 HAS SOPS 6295362 HAS SOUS 1824056 HAS SOUPS 1732677 WITH SCORE 1740279.744
AT ITER 3715 NEW BEST:: SOT 12000732 SOS 7594799 HAS SOPS 6288652 HAS SOUS 1819669 HAS SOUPS 1728325 WITH SCORE 1735919.799
AT ITER 3723 NEW BEST:: SOT 12000642 SOS 7593189 HAS SOPS 6288048 HAS SOUS 1818727 HAS SOUPS 1727422 WITH SCORE 1735015.189
AT ITER 3731 NEW BEST:: SOT 12000611 SOS 7593151 HAS SOPS 6287997 HAS SOUS 1818656 HAS SOUPS 1727352 WITH SCORE 1734945.151
AT ITER 3748 NEW BEST:: SOT 11999776 SOS 7591587 HAS SOPS 6286432 HAS SOUS 1817675 HAS SOUPS 1726380 WITH SCORE 1733971.587
AT ITER 3751 NEW BEST:: SOT 11994024 SOS 7585835 HAS SOPS 6280680 HAS SOUS 1811631 HAS SOUPS 1720336 WITH SCORE 1727921.835
AT ITER 3752 NEW BEST:: SOT 11992373 SOS 7583288 HAS SOPS 6276054 HAS SOUS 1809670 HAS SOUPS 1718467 WITH SCORE 1726050.288
AT ITER 3756 NEW BEST:: SOT 11985769 SOS 7568920 HAS SOPS 6262485 HAS SOUS 1808758 HAS SOUPS 1717555 WITH SCORE 1725123.92
AT ITER 3786 NEW BEST:: SOT 11989377 SOS 7576114 HAS SOPS 6270288 HAS SOUS 1808545 HAS SOUPS 1717368 WITH SCORE 1724944.114
AT ITER 3837 NEW BEST:: SOT 11990395 SOS 7576144 HAS SOPS 6269348 HAS SOUS 1804343 HAS SOUPS 1713135 WITH SCORE 1720711.144
AT ITER 3843 NEW BEST:: SOT 11990327 SOS 7576054 HAS SOPS 6269093 HAS SOUS 1804113 HAS SOUPS 1712905 WITH SCORE 1720481.054
AT ITER 3850 NEW BEST:: SOT 11993479 SOS 7579096 HAS SOPS 6271869 HAS SOUS 1804155 HAS SOUPS 1712747 WITH SCORE 1720326.096
AT ITER 3852 NEW BEST:: SOT 11993745 SOS 7583014 HAS SOPS 6275646 HAS SOUS 1801774 HAS SOUPS 1710366 WITH SCORE 1717949.014
AT ITER 3854 NEW BEST:: SOT 11991166 SOS 7580435 HAS SOPS 6272475 HAS SOUS 1800939 HAS SOUPS 1709531 WITH SCORE 1717111.435
AT ITER 3859 NEW BEST:: SOT 11991480 SOS 7579904 HAS SOPS 6272159 HAS SOUS 1800578 HAS SOUPS 1709170 WITH SCORE 1716749.904
AT ITER 3866 NEW BEST:: SOT 11991857 SOS 7580313 HAS SOPS 6271843 HAS SOUS 1800518 HAS SOUPS 1709095 WITH SCORE 1716675.313
AT ITER 3869 NEW BEST:: SOT 11992941 SOS 7584222 HAS SOPS 6275078 HAS SOUS 1800485 HAS SOUPS 1709062 WITH SCORE 1716646.222
AT ITER 3874 NEW BEST:: SOT 11993880 SOS 7588543 HAS SOPS 6280024 HAS SOUS 1798389 HAS SOUPS 1707789 WITH SCORE 1715377.543
AT ITER 3888 NEW BEST:: SOT 11994048 SOS 7587558 HAS SOPS 6279311 HAS SOUS 1797870 HAS SOUPS 1707270 WITH SCORE 1714857.558
AT ITER 3920 NEW BEST:: SOT 11984283 SOS 7577767 HAS SOPS 6270328 HAS SOUS 1788101 HAS SOUPS 1698107 WITH SCORE 1705684.767
AT ITER 3938 NEW BEST:: SOT 11984076 SOS 7577834 HAS SOPS 6269683 HAS SOUS 1787631 HAS SOUPS 1697612 WITH SCORE 1705189.834
AT ITER 3949 NEW BEST:: SOT 11979544 SOS 7569946 HAS SOPS 6264100 HAS SOUS 1782758 HAS SOUPS 1692739 WITH SCORE 1700308.946
AT ITER 3950 NEW BEST:: SOT 11983418 SOS 7565833 HAS SOPS 6260535 HAS SOUS 1777218 HAS SOUPS 1689455 WITH SCORE 1697020.833
AT ITER 3957 NEW BEST:: SOT 11983267 SOS 7565541 HAS SOPS 6260790 HAS SOUS 1774702 HAS SOUPS 1687118 WITH SCORE 1694683.541
AT ITER 3959 NEW BEST:: SOT 11983263 SOS 7565537 HAS SOPS 6260786 HAS SOUS 1774686 HAS SOUPS 1687102 WITH SCORE 1694667.537
AT ITER 3962 NEW BEST:: SOT 11983291 SOS 7565812 HAS SOPS 6260708 HAS SOUS 1774404 HAS SOUPS 1686813 WITH SCORE 1694378.812
AT ITER 3979 NEW BEST:: SOT 11982621 SOS 7565781 HAS SOPS 6259946 HAS SOUS 1771096 HAS SOUPS 1683485 WITH SCORE 1691050.781
AT ITER 3984 NEW BEST:: SOT 11981677 SOS 7564309 HAS SOPS 6258261 HAS SOUS 1769871 HAS SOUPS 1682250 WITH SCORE 1689814.309
AT ITER 3996 NEW BEST:: SOT 11981585 SOS 7564029 HAS SOPS 6257829 HAS SOUS 1769699 HAS SOUPS 1682078 WITH SCORE 1689642.029
AT ITER 3998 NEW BEST:: SOT 11979620 SOS 7561009 HAS SOPS 6254280 HAS SOUS 1767041 HAS SOUPS 1679420 WITH SCORE 1686981.009
AT ITER 4015 NEW BEST:: SOT 11978489 SOS 7560154 HAS SOPS 6253349 HAS SOUS 1766559 HAS SOUPS 1678938 WITH SCORE 1686498.154
AT ITER 4018 NEW BEST:: SOT 11974823 SOS 7556436 HAS SOPS 6248471 HAS SOUS 1758854 HAS SOUPS 1671191 WITH SCORE 1678747.436
AT ITER 4029 NEW BEST:: SOT 11978879 SOS 7563345 HAS SOPS 6255058 HAS SOUS 1758719 HAS SOUPS 1671042 WITH SCORE 1678605.345
AT ITER 4034 NEW BEST:: SOT 11974866 SOS 7557524 HAS SOPS 6250102 HAS SOUS 1749076 HAS SOUPS 1661664 WITH SCORE 1669221.524
AT ITER 4046 NEW BEST:: SOT 11974622 SOS 7557944 HAS SOPS 6248957 HAS SOUS 1747059 HAS SOUPS 1659647 WITH SCORE 1667204.944
AT ITER 4057 NEW BEST:: SOT 11969400 SOS 7552722 HAS SOPS 6243847 HAS SOUS 1744349 HAS SOUPS 1657049 WITH SCORE 1664601.722
AT ITER 4078 NEW BEST:: SOT 11969624 SOS 7552715 HAS SOPS 6243868 HAS SOUS 1744305 HAS SOUPS 1657014 WITH SCORE 1664566.715
AT ITER 4090 NEW BEST:: SOT 11968640 SOS 7547070 HAS SOPS 6238650 HAS SOUS 1743467 HAS SOUPS 1656176 WITH SCORE 1663723.07
AT ITER 4104 NEW BEST:: SOT 11968098 SOS 7546924 HAS SOPS 6238306 HAS SOUS 1742695 HAS SOUPS 1655418 WITH SCORE 1662964.924
AT ITER 4106 NEW BEST:: SOT 11967978 SOS 7546462 HAS SOPS 6237836 HAS SOUS 1742588 HAS SOUPS 1655311 WITH SCORE 1662857.462
AT ITER 4123 NEW BEST:: SOT 11968397 SOS 7546121 HAS SOPS 6237001 HAS SOUS 1741399 HAS SOUPS 1654141 WITH SCORE 1661687.121
AT ITER 4132 NEW BEST:: SOT 11968114 SOS 7545552 HAS SOPS 6235715 HAS SOUS 1740073 HAS SOUPS 1652815 WITH SCORE 1660360.552
AT ITER 4139 NEW BEST:: SOT 11967330 SOS 7544768 HAS SOPS 6234803 HAS SOUS 1738681 HAS SOUPS 1651423 WITH SCORE 1658967.768
AT ITER 4148 NEW BEST:: SOT 11966482 SOS 7545005 HAS SOPS 6235309 HAS SOUS 1735363 HAS SOUPS 1648105 WITH SCORE 1655650.005
AT ITER 4152 NEW BEST:: SOT 11971573 SOS 7549767 HAS SOPS 6242873 HAS SOUS 1734922 HAS SOUPS 1648100 WITH SCORE 1655649.767
AT ITER 4153 NEW BEST:: SOT 11968175 SOS 7537161 HAS SOPS 6233710 HAS SOUS 1724931 HAS SOUPS 1638952 WITH SCORE 1646489.161
AT ITER 4169 NEW BEST:: SOT 11969888 SOS 7539359 HAS SOPS 6236102 HAS SOUS 1724671 HAS SOUPS 1638630 WITH SCORE 1646169.359
AT ITER 4178 NEW BEST:: SOT 11970125 SOS 7539659 HAS SOPS 6236462 HAS SOUS 1724609 HAS SOUPS 1638568 WITH SCORE 1646107.659
AT ITER 4190 NEW BEST:: SOT 11966081 SOS 7531111 HAS SOPS 6228535 HAS SOUS 1722848 HAS SOUPS 1636807 WITH SCORE 1644338.111
AT ITER 4216 NEW BEST:: SOT 11963413 SOS 7524145 HAS SOPS 6221828 HAS SOUS 1714775 HAS SOUPS 1628866 WITH SCORE 1636390.145
AT ITER 4220 NEW BEST:: SOT 11962640 SOS 7521674 HAS SOPS 6219870 HAS SOUS 1714292 HAS SOUPS 1628407 WITH SCORE 1635928.674
AT ITER 4228 NEW BEST:: SOT 11961936 SOS 7521023 HAS SOPS 6219382 HAS SOUS 1712635 HAS SOUPS 1626750 WITH SCORE 1634271.023
AT ITER 4254 NEW BEST:: SOT 11961468 SOS 7521042 HAS SOPS 6218959 HAS SOUS 1711379 HAS SOUPS 1625494 WITH SCORE 1633015.042
AT ITER 4266 NEW BEST:: SOT 11961731 SOS 7520890 HAS SOPS 6218871 HAS SOUS 1710715 HAS SOUPS 1624830 WITH SCORE 1632350.89
AT ITER 4280 NEW BEST:: SOT 11961747 SOS 7520736 HAS SOPS 6218829 HAS SOUS 1710706 HAS SOUPS 1624821 WITH SCORE 1632341.736
AT ITER 4282 NEW BEST:: SOT 11961509 SOS 7521069 HAS SOPS 6219511 HAS SOUS 1710299 HAS SOUPS 1624444 WITH SCORE 1631965.069
AT ITER 4300 NEW BEST:: SOT 11954257 SOS 7512586 HAS SOPS 6208968 HAS SOUS 1696433 HAS SOUPS 1610438 WITH SCORE 1617950.586
AT ITER 4318 NEW BEST:: SOT 11954988 SOS 7513993 HAS SOPS 6210249 HAS SOUS 1696348 HAS SOUPS 1610311 WITH SCORE 1617824.993
AT ITER 4326 NEW BEST:: SOT 11954756 SOS 7512626 HAS SOPS 6208187 HAS SOUS 1695853 HAS SOUPS 1609816 WITH SCORE 1617328.626
AT ITER 4331 NEW BEST:: SOT 11953633 SOS 7510981 HAS SOPS 6206750 HAS SOUS 1694488 HAS SOUPS 1608451 WITH SCORE 1615961.981
AT ITER 4335 NEW BEST:: SOT 11953097 SOS 7509834 HAS SOPS 6205414 HAS SOUS 1694436 HAS SOUPS 1608399 WITH SCORE 1615908.834
AT ITER 4347 NEW BEST:: SOT 11954700 SOS 7512627 HAS SOPS 6208528 HAS SOUS 1693133 HAS SOUPS 1607096 WITH SCORE 1614608.627
AT ITER 4370 NEW BEST:: SOT 11952079 SOS 7509313 HAS SOPS 6205214 HAS SOUS 1690587 HAS SOUPS 1604550 WITH SCORE 1612059.313
AT ITER 4394 NEW BEST:: SOT 11952047 SOS 7509281 HAS SOPS 6205166 HAS SOUS 1690491 HAS SOUPS 1604454 WITH SCORE 1611963.281
AT ITER 4418 NEW BEST:: SOT 11951550 SOS 7507933 HAS SOPS 6203330 HAS SOUS 1688975 HAS SOUPS 1602938 WITH SCORE 1610445.933
AT ITER 4423 NEW BEST:: SOT 11951285 SOS 7510262 HAS SOPS 6204834 HAS SOUS 1688263 HAS SOUPS 1602226 WITH SCORE 1609736.262
AT ITER 4430 NEW BEST:: SOT 11950161 SOS 7508074 HAS SOPS 6202500 HAS SOUS 1686187 HAS SOUPS 1600162 WITH SCORE 1607670.074
AT ITER 4435 NEW BEST:: SOT 11946667 SOS 7503338 HAS SOPS 6197866 HAS SOUS 1684298 HAS SOUPS 1598273 WITH SCORE 1605776.338
AT ITER 4437 NEW BEST:: SOT 11944755 SOS 7500951 HAS SOPS 6199625 HAS SOUS 1683055 HAS SOUPS 1597822 WITH SCORE 1605322.951
AT ITER 4438 NEW BEST:: SOT 11942926 SOS 7497469 HAS SOPS 6196851 HAS SOUS 1680805 HAS SOUPS 1595610 WITH SCORE 1603107.469
AT ITER 4455 NEW BEST:: SOT 11942941 SOS 7497450 HAS SOPS 6196864 HAS SOUS 1680755 HAS SOUPS 1595562 WITH SCORE 1603059.45
AT ITER 4465 NEW BEST:: SOT 11943343 SOS 7501156 HAS SOPS 6205621 HAS SOUS 1679768 HAS SOUPS 1594729 WITH SCORE 1602230.156
AT ITER 4507 NEW BEST:: SOT 11943328 SOS 7499403 HAS SOPS 6206109 HAS SOUS 1679228 HAS SOUPS 1594189 WITH SCORE 1601688.403
AT ITER 4514 NEW BEST:: SOT 11941047 SOS 7499189 HAS SOPS 6204455 HAS SOUS 1674926 HAS SOUPS 1589844 WITH SCORE 1597343.189
AT ITER 4529 NEW BEST:: SOT 11941099 SOS 7499719 HAS SOPS 6204613 HAS SOUS 1674352 HAS SOUPS 1589270 WITH SCORE 1596769.719
AT ITER 4538 NEW BEST:: SOT 11940250 SOS 7498876 HAS SOPS 6203772 HAS SOUS 1671485 HAS SOUPS 1586403 WITH SCORE 1593901.876
AT ITER 4572 NEW BEST:: SOT 11939358 SOS 7497452 HAS SOPS 6201934 HAS SOUS 1669744 HAS SOUPS 1584662 WITH SCORE 1592159.452
AT ITER 4600 NEW BEST:: SOT 11938958 SOS 7496622 HAS SOPS 6201642 HAS SOUS 1666084 HAS SOUPS 1581992 WITH SCORE 1589488.622
AT ITER 4607 NEW BEST:: SOT 11941141 SOS 7499896 HAS SOPS 6203019 HAS SOUS 1663656 HAS SOUPS 1579615 WITH SCORE 1587114.896
AT ITER 4651 NEW BEST:: SOT 11940230 SOS 7498515 HAS SOPS 6201553 HAS SOUS 1661595 HAS SOUPS 1577684 WITH SCORE 1585182.515
AT ITER 4654 NEW BEST:: SOT 11935100 SOS 7490532 HAS SOPS 6194008 HAS SOUS 1656675 HAS SOUPS 1572722 WITH SCORE 1580212.532
AT ITER 4666 NEW BEST:: SOT 11934798 SOS 7490258 HAS SOPS 6193680 HAS SOUS 1656228 HAS SOUPS 1572275 WITH SCORE 1579765.258
AT ITER 4715 NEW BEST:: SOT 11935434 SOS 7471102 HAS SOPS 6174524 HAS SOUS 1656098 HAS SOUPS 1572145 WITH SCORE 1579616.102
AT ITER 4723 NEW BEST:: SOT 11936843 SOS 7474244 HAS SOPS 6178052 HAS SOUS 1654935 HAS SOUPS 1570982 WITH SCORE 1578456.244
AT ITER 4774 NEW BEST:: SOT 11937505 SOS 7476120 HAS SOPS 6178775 HAS SOUS 1654672 HAS SOUPS 1570696 WITH SCORE 1578172.12
AT ITER 4777 NEW BEST:: SOT 11937477 SOS 7476086 HAS SOPS 6178720 HAS SOUS 1654555 HAS SOUPS 1570579 WITH SCORE 1578055.086
AT ITER 4793 NEW BEST:: SOT 11937497 SOS 7476172 HAS SOPS 6178928 HAS SOUS 1654545 HAS SOUPS 1570569 WITH SCORE 1578045.172
AT ITER 4798 NEW BEST:: SOT 11939262 SOS 7475436 HAS SOPS 6179639 HAS SOUS 1653797 HAS SOUPS 1569821 WITH SCORE 1577296.436
AT ITER 4812 NEW BEST:: SOT 11939173 SOS 7477434 HAS SOPS 6183544 HAS SOUS 1652318 HAS SOUPS 1568342 WITH SCORE 1575819.434
AT ITER 4815 NEW BEST:: SOT 11938460 SOS 7477224 HAS SOPS 6185630 HAS SOUS 1650351 HAS SOUPS 1566375 WITH SCORE 1573852.224
AT ITER 4832 NEW BEST:: SOT 11938683 SOS 7476540 HAS SOPS 6185185 HAS SOUS 1647659 HAS SOUPS 1563552 WITH SCORE 1571028.54
AT ITER 4835 NEW BEST:: SOT 11937842 SOS 7473430 HAS SOPS 6182266 HAS SOUS 1646516 HAS SOUPS 1562409 WITH SCORE 1569882.43
AT ITER 4871 NEW BEST:: SOT 11936719 SOS 7461880 HAS SOPS 6177688 HAS SOUS 1642691 HAS SOUPS 1558778 WITH SCORE 1566239.88
AT ITER 4900 NEW BEST:: SOT 11936684 SOS 7461872 HAS SOPS 6177488 HAS SOUS 1642200 HAS SOUPS 1558287 WITH SCORE 1565748.872
AT ITER 4930 NEW BEST:: SOT 11936452 SOS 7463069 HAS SOPS 6178055 HAS SOUS 1641904 HAS SOUPS 1557973 WITH SCORE 1565436.069
AT ITER 4945 NEW BEST:: SOT 11936452 SOS 7463067 HAS SOPS 6178053 HAS SOUS 1641877 HAS SOUPS 1557946 WITH SCORE 1565409.067
AT ITER 4952 NEW BEST:: SOT 11935519 SOS 7462115 HAS SOPS 6177293 HAS SOUS 1641608 HAS SOUPS 1557789 WITH SCORE 1565251.115
AT ITER 4955 NEW BEST:: SOT 11931323 SOS 7457905 HAS SOPS 6172363 HAS SOUS 1634092 HAS SOUPS 1550273 WITH SCORE 1557730.905
AT ITER 4957 NEW BEST:: SOT 11938576 SOS 7472451 HAS SOPS 6186352 HAS SOUS 1633123 HAS SOUPS 1549440 WITH SCORE 1556912.451
AT ITER 4968 NEW BEST:: SOT 11937830 SOS 7472297 HAS SOPS 6185689 HAS SOUS 1632447 HAS SOUPS 1548255 WITH SCORE 1555727.297
AT ITER 4975 NEW BEST:: SOT 11936214 SOS 7469325 HAS SOPS 6183026 HAS SOUS 1629184 HAS SOUPS 1544992 WITH SCORE 1552461.325
AT ITER 4981 NEW BEST:: SOT 11935986 SOS 7469025 HAS SOPS 6182710 HAS SOUS 1629020 HAS SOUPS 1544826 WITH SCORE 1552295.025
AT ITER 4999 NEW BEST:: SOT 11935894 SOS 7468836 HAS SOPS 6182898 HAS SOUS 1628294 HAS SOUPS 1544100 WITH SCORE 1551568.836
AT ITER 5001 NEW BEST:: SOT 11934533 SOS 7468309 HAS SOPS 6182443 HAS SOUS 1627838 HAS SOUPS 1543644 WITH SCORE 1551112.309
AT ITER 5023 NEW BEST:: SOT 11934533 SOS 7468963 HAS SOPS 6183881 HAS SOUS 1627086 HAS SOUPS 1542941 WITH SCORE 1550409.963
AT ITER 5026 NEW BEST:: SOT 11934527 SOS 7468272 HAS SOPS 6183953 HAS SOUS 1626685 HAS SOUPS 1542540 WITH SCORE 1550008.272
AT ITER 5051 NEW BEST:: SOT 11934039 SOS 7467354 HAS SOPS 6182609 HAS SOUS 1625699 HAS SOUPS 1541554 WITH SCORE 1549021.354
AT ITER 5063 NEW BEST:: SOT 11932168 SOS 7465354 HAS SOPS 6180537 HAS SOUS 1622639 HAS SOUPS 1538494 WITH SCORE 1545959.354
AT ITER 5093 NEW BEST:: SOT 11929781 SOS 7463205 HAS SOPS 6177961 HAS SOUS 1621711 HAS SOUPS 1537566 WITH SCORE 1545029.205
AT ITER 5096 NEW BEST:: SOT 11929741 SOS 7463081 HAS SOPS 6177927 HAS SOUS 1621674 HAS SOUPS 1537532 WITH SCORE 1544995.081
AT ITER 5127 NEW BEST:: SOT 11929184 SOS 7461778 HAS SOPS 6177105 HAS SOUS 1620450 HAS SOUPS 1536479 WITH SCORE 1543940.778
AT ITER 5140 NEW BEST:: SOT 11928752 SOS 7461346 HAS SOPS 6176545 HAS SOUS 1619514 HAS SOUPS 1535543 WITH SCORE 1543004.346
AT ITER 5160 NEW BEST:: SOT 11930921 SOS 7463111 HAS SOPS 6176461 HAS SOUS 1616643 HAS SOUPS 1531757 WITH SCORE 1539220.111
AT ITER 5175 NEW BEST:: SOT 11930292 SOS 7462510 HAS SOPS 6175608 HAS SOUS 1615538 HAS SOUPS 1530652 WITH SCORE 1538114.51
AT ITER 5176 NEW BEST:: SOT 11929919 SOS 7462345 HAS SOPS 6175263 HAS SOUS 1615125 HAS SOUPS 1530233 WITH SCORE 1537695.345
AT ITER 5184 NEW BEST:: SOT 11932920 SOS 7470206 HAS SOPS 6180383 HAS SOUS 1614391 HAS SOUPS 1529499 WITH SCORE 1536969.206
AT ITER 5187 NEW BEST:: SOT 11932744 SOS 7469890 HAS SOPS 6180115 HAS SOUS 1614295 HAS SOUPS 1529427 WITH SCORE 1536896.89
AT ITER 5191 NEW BEST:: SOT 11932495 SOS 7471803 HAS SOPS 6182310 HAS SOUS 1612718 HAS SOUPS 1527850 WITH SCORE 1535321.803
AT ITER 5203 NEW BEST:: SOT 11932545 SOS 7472849 HAS SOPS 6182538 HAS SOUS 1612171 HAS SOUPS 1527154 WITH SCORE 1534626.849
AT ITER 5225 NEW BEST:: SOT 11932603 SOS 7472913 HAS SOPS 6182596 HAS SOUS 1611873 HAS SOUPS 1526982 WITH SCORE 1534454.913
AT ITER 5227 NEW BEST:: SOT 11932275 SOS 7472781 HAS SOPS 6182424 HAS SOUS 1611785 HAS SOUPS 1526914 WITH SCORE 1534386.781
AT ITER 5231 NEW BEST:: SOT 11932245 SOS 7472748 HAS SOPS 6182391 HAS SOUS 1611716 HAS SOUPS 1526845 WITH SCORE 1534317.748
AT ITER 5240 NEW BEST:: SOT 11932114 SOS 7472441 HAS SOPS 6182108 HAS SOUS 1611531 HAS SOUPS 1526662 WITH SCORE 1534134.441
AT ITER 5241 NEW BEST:: SOT 11932103 SOS 7470646 HAS SOPS 6180219 HAS SOUS 1611297 HAS SOUPS 1526428 WITH SCORE 1533898.646
AT ITER 5244 NEW BEST:: SOT 11932217 SOS 7470360 HAS SOPS 6180315 HAS SOUS 1611235 HAS SOUPS 1526366 WITH SCORE 1533836.36
AT ITER 5263 NEW BEST:: SOT 11932230 SOS 7470225 HAS SOPS 6180513 HAS SOUS 1611235 HAS SOUPS 1526366 WITH SCORE 1533836.225
AT ITER 5279 NEW BEST:: SOT 11922106 SOS 7466296 HAS SOPS 6178387 HAS SOUS 1609893 HAS SOUPS 1525024 WITH SCORE 1532490.296
AT ITER 5327 NEW BEST:: SOT 11921216 SOS 7465274 HAS SOPS 6177486 HAS SOUS 1609106 HAS SOUPS 1524237 WITH SCORE 1531702.274
AT ITER 5335 NEW BEST:: SOT 11920040 SOS 7464082 HAS SOPS 6176582 HAS SOUS 1608394 HAS SOUPS 1523813 WITH SCORE 1531277.082
AT ITER 5338 NEW BEST:: SOT 11920753 SOS 7462721 HAS SOPS 6177860 HAS SOUS 1608278 HAS SOUPS 1523697 WITH SCORE 1531159.721
AT ITER 5348 NEW BEST:: SOT 11920545 SOS 7462513 HAS SOPS 6177604 HAS SOUS 1608014 HAS SOUPS 1523409 WITH SCORE 1530871.513
AT ITER 5356 NEW BEST:: SOT 11920487 SOS 7462604 HAS SOPS 6177838 HAS SOUS 1607892 HAS SOUPS 1523287 WITH SCORE 1530749.604
AT ITER 5372 NEW BEST:: SOT 11918646 SOS 7460232 HAS SOPS 6175133 HAS SOUS 1605325 HAS SOUPS 1520720 WITH SCORE 1528180.232
AT ITER 5378 NEW BEST:: SOT 11918609 SOS 7460125 HAS SOPS 6174184 HAS SOUS 1598546 HAS SOUPS 1514011 WITH SCORE 1521471.125
AT ITER 5382 NEW BEST:: SOT 11918527 SOS 7460045 HAS SOPS 6174048 HAS SOUS 1598424 HAS SOUPS 1513889 WITH SCORE 1521349.045
AT ITER 5393 NEW BEST:: SOT 11917996 SOS 7461128 HAS SOPS 6173320 HAS SOUS 1595900 HAS SOUPS 1511365 WITH SCORE 1518826.128
AT ITER 5395 NEW BEST:: SOT 11917001 SOS 7456947 HAS SOPS 6168275 HAS SOUS 1592548 HAS SOUPS 1508013 WITH SCORE 1515469.947
AT ITER 5407 NEW BEST:: SOT 11916895 SOS 7456894 HAS SOPS 6168100 HAS SOUS 1592140 HAS SOUPS 1507605 WITH SCORE 1515061.894
AT ITER 5418 NEW BEST:: SOT 11916827 SOS 7456791 HAS SOPS 6167968 HAS SOUS 1592026 HAS SOUPS 1507491 WITH SCORE 1514947.791
AT ITER 5430 NEW BEST:: SOT 11918886 SOS 7459408 HAS SOPS 6169853 HAS SOUS 1589004 HAS SOUPS 1504563 WITH SCORE 1512022.408
AT ITER 5440 NEW BEST:: SOT 11918863 SOS 7458446 HAS SOPS 6169249 HAS SOUS 1588618 HAS SOUPS 1504177 WITH SCORE 1511635.446
AT ITER 5442 NEW BEST:: SOT 11918834 SOS 7457320 HAS SOPS 6168542 HAS SOUS 1588409 HAS SOUPS 1504004 WITH SCORE 1511461.32
AT ITER 5480 NEW BEST:: SOT 11917088 SOS 7455301 HAS SOPS 6166100 HAS SOUS 1583867 HAS SOUPS 1499492 WITH SCORE 1506947.301
AT ITER 5503 NEW BEST:: SOT 11914368 SOS 7451057 HAS SOPS 6161207 HAS SOUS 1579628 HAS SOUPS 1495270 WITH SCORE 1502721.057
AT ITER 5521 NEW BEST:: SOT 11914347 SOS 7451076 HAS SOPS 6161218 HAS SOUS 1579623 HAS SOUPS 1495264 WITH SCORE 1502715.076
AT ITER 5535 NEW BEST:: SOT 11914707 SOS 7453998 HAS SOPS 6165591 HAS SOUS 1578451 HAS SOUPS 1494092 WITH SCORE 1501545.998
AT ITER 5549 NEW BEST:: SOT 11911752 SOS 7450915 HAS SOPS 6162304 HAS SOUS 1575684 HAS SOUPS 1491332 WITH SCORE 1498782.915
AT ITER 5551 NEW BEST:: SOT 11911752 SOS 7451029 HAS SOPS 6162448 HAS SOUS 1575674 HAS SOUPS 1491322 WITH SCORE 1498773.029
AT ITER 5553 NEW BEST:: SOT 11911733 SOS 7451010 HAS SOPS 6162429 HAS SOUS 1575639 HAS SOUPS 1491287 WITH SCORE 1498738.01
AT ITER 5559 NEW BEST:: SOT 11909251 SOS 7446600 HAS SOPS 6157455 HAS SOUS 1574869 HAS SOUPS 1490517 WITH SCORE 1497963.6
AT ITER 5562 NEW BEST:: SOT 11909165 SOS 7446510 HAS SOPS 6157335 HAS SOUS 1574774 HAS SOUPS 1490400 WITH SCORE 1497846.51
AT ITER 5569 NEW BEST:: SOT 11908531 SOS 7445204 HAS SOPS 6156975 HAS SOUS 1573968 HAS SOUPS 1489637 WITH SCORE 1497082.204
AT ITER 5598 NEW BEST:: SOT 11908496 SOS 7441819 HAS SOPS 6155288 HAS SOUS 1573421 HAS SOUPS 1489090 WITH SCORE 1496531.819
AT ITER 5601 NEW BEST:: SOT 11908849 SOS 7443467 HAS SOPS 6156185 HAS SOUS 1571280 HAS SOUPS 1486949 WITH SCORE 1494392.467
AT ITER 5605 NEW BEST:: SOT 11908761 SOS 7443379 HAS SOPS 6156097 HAS SOUS 1571192 HAS SOUPS 1486861 WITH SCORE 1494304.379
AT ITER 5614 NEW BEST:: SOT 11908778 SOS 7443561 HAS SOPS 6156177 HAS SOUS 1571129 HAS SOUPS 1486798 WITH SCORE 1494241.561
AT ITER 5626 NEW BEST:: SOT 11908431 SOS 7443214 HAS SOPS 6155654 HAS SOUS 1570446 HAS SOUPS 1486115 WITH SCORE 1493558.214
AT ITER 5665 NEW BEST:: SOT 11908486 SOS 7443512 HAS SOPS 6155978 HAS SOUS 1570209 HAS SOUPS 1485878 WITH SCORE 1493321.512
AT ITER 5703 NEW BEST:: SOT 11908510 SOS 7443546 HAS SOPS 6156002 HAS SOUS 1570043 HAS SOUPS 1485766 WITH SCORE 1493209.546
AT ITER 5710 NEW BEST:: SOT 11913165 SOS 7452114 HAS SOPS 6159766 HAS SOUS 1569781 HAS SOUPS 1485420 WITH SCORE 1492872.114
AT ITER 5719 NEW BEST:: SOT 11911840 SOS 7450700 HAS SOPS 6157643 HAS SOUS 1567653 HAS SOUPS 1483292 WITH SCORE 1490742.7
AT ITER 5722 NEW BEST:: SOT 11911595 SOS 7448881 HAS SOPS 6155186 HAS SOUS 1567216 HAS SOUPS 1482855 WITH SCORE 1490303.881
AT ITER 5806 NEW BEST:: SOT 11911586 SOS 7448872 HAS SOPS 6155161 HAS SOUS 1567191 HAS SOUPS 1482830 WITH SCORE 1490278.872
AT ITER 5819 NEW BEST:: SOT 11912326 SOS 7452001 HAS SOPS 6158186 HAS SOUS 1566204 HAS SOUPS 1481843 WITH SCORE 1489295.001
AT ITER 5838 NEW BEST:: SOT 11912084 SOS 7451122 HAS SOPS 6157171 HAS SOUS 1565694 HAS SOUPS 1481333 WITH SCORE 1488784.122
AT ITER 5962 NEW BEST:: SOT 11913031 SOS 7452244 HAS SOPS 6158307 HAS SOUS 1564767 HAS SOUPS 1480365 WITH SCORE 1487817.244
AT ITER 5968 NEW BEST:: SOT 11910404 SOS 7448223 HAS SOPS 6154304 HAS SOUS 1560559 HAS SOUPS 1476157 WITH SCORE 1483605.223
AT ITER 5984 NEW BEST:: SOT 11912548 SOS 7454977 HAS SOPS 6159093 HAS SOUS 1560225 HAS SOUPS 1475509 WITH SCORE 1482963.977
AT ITER 5987 NEW BEST:: SOT 11912513 SOS 7454932 HAS SOPS 6159020 HAS SOUS 1560197 HAS SOUPS 1475482 WITH SCORE 1482936.932
AT ITER 6019 NEW BEST:: SOT 11912767 SOS 7456244 HAS SOPS 6160207 HAS SOUS 1559617 HAS SOUPS 1474902 WITH SCORE 1482358.244
AT ITER 6026 NEW BEST:: SOT 11909389 SOS 7451277 HAS SOPS 6154248 HAS SOUS 1550572 HAS SOUPS 1465872 WITH SCORE 1473323.277
AT ITER 6031 NEW BEST:: SOT 11909800 SOS 7451263 HAS SOPS 6154260 HAS SOUS 1548506 HAS SOUPS 1463763 WITH SCORE 1471214.263
AT ITER 6032 NEW BEST:: SOT 11909967 SOS 7451488 HAS SOPS 6153855 HAS SOUS 1548244 HAS SOUPS 1463520 WITH SCORE 1470971.488
AT ITER 6055 NEW BEST:: SOT 11910579 SOS 7453994 HAS SOPS 6154283 HAS SOUS 1542361 HAS SOUPS 1457637 WITH SCORE 1465090.994
AT ITER 6081 NEW BEST:: SOT 11908395 SOS 7450887 HAS SOPS 6150178 HAS SOUS 1541390 HAS SOUPS 1456753 WITH SCORE 1464203.887
AT ITER 6102 NEW BEST:: SOT 11906749 SOS 7446980 HAS SOPS 6147095 HAS SOUS 1537968 HAS SOUPS 1453382 WITH SCORE 1460828.98
AT ITER 6152 NEW BEST:: SOT 11906623 SOS 7446544 HAS SOPS 6146513 HAS SOUS 1537723 HAS SOUPS 1453133 WITH SCORE 1460579.544
AT ITER 6210 NEW BEST:: SOT 11906711 SOS 7446643 HAS SOPS 6146436 HAS SOUS 1537635 HAS SOUPS 1453045 WITH SCORE 1460491.643
AT ITER 6225 NEW BEST:: SOT 11906295 SOS 7446206 HAS SOPS 6145659 HAS SOUS 1536759 HAS SOUPS 1452027 WITH SCORE 1459473.206
AT ITER 6276 NEW BEST:: SOT 11905773 SOS 7448644 HAS SOPS 6146864 HAS SOUS 1535297 HAS SOUPS 1450533 WITH SCORE 1457981.644
AT ITER 6313 NEW BEST:: SOT 11905734 SOS 7448279 HAS SOPS 6146426 HAS SOUS 1535184 HAS SOUPS 1450420 WITH SCORE 1457868.279
AT ITER 6402 NEW BEST:: SOT 11905280 SOS 7448500 HAS SOPS 6145252 HAS SOUS 1534900 HAS SOUPS 1449679 WITH SCORE 1457127.5
AT ITER 6449 NEW BEST:: SOT 11903377 SOS 7441027 HAS SOPS 6141045 HAS SOUS 1532820 HAS SOUPS 1447757 WITH SCORE 1455198.027
AT ITER 6461 NEW BEST:: SOT 11902601 SOS 7440245 HAS SOPS 6140263 HAS SOUS 1532034 HAS SOUPS 1446971 WITH SCORE 1454411.245
AT ITER 6465 NEW BEST:: SOT 11902835 SOS 7440490 HAS SOPS 6140140 HAS SOUS 1530420 HAS SOUPS 1445357 WITH SCORE 1452797.49
AT ITER 6475 NEW BEST:: SOT 11902793 SOS 7440425 HAS SOPS 6140063 HAS SOUS 1530321 HAS SOUPS 1445259 WITH SCORE 1452699.425
AT ITER 6476 NEW BEST:: SOT 11902041 SOS 7439447 HAS SOPS 6138637 HAS SOUS 1527721 HAS SOUPS 1442674 WITH SCORE 1450113.447
AT ITER 6498 NEW BEST:: SOT 11902156 SOS 7438691 HAS SOPS 6137339 HAS SOUS 1526878 HAS SOUPS 1441831 WITH SCORE 1449269.691
AT ITER 6517 NEW BEST:: SOT 11901580 SOS 7437946 HAS SOPS 6137040 HAS SOUS 1526753 HAS SOUPS 1441728 WITH SCORE 1449165.946
AT ITER 6533 NEW BEST:: SOT 11901226 SOS 7437258 HAS SOPS 6136631 HAS SOUS 1525700 HAS SOUPS 1440834 WITH SCORE 1448271.258
AT ITER 6548 NEW BEST:: SOT 11900590 SOS 7436622 HAS SOPS 6135995 HAS SOUS 1525064 HAS SOUPS 1440198 WITH SCORE 1447634.622
AT ITER 6565 NEW BEST:: SOT 11899870 SOS 7431632 HAS SOPS 6129717 HAS SOUS 1524860 HAS SOUPS 1439994 WITH SCORE 1447425.632
AT ITER 6585 NEW BEST:: SOT 11899736 SOS 7431470 HAS SOPS 6129580 HAS SOUS 1524518 HAS SOUPS 1439652 WITH SCORE 1447083.47
AT ITER 6595 NEW BEST:: SOT 11898854 SOS 7429411 HAS SOPS 6127073 HAS SOUS 1524271 HAS SOUPS 1439405 WITH SCORE 1446834.411
AT ITER 6612 NEW BEST:: SOT 11897903 SOS 7428354 HAS SOPS 6125411 HAS SOUS 1522398 HAS SOUPS 1437532 WITH SCORE 1444960.354
AT ITER 6659 NEW BEST:: SOT 11897959 SOS 7428901 HAS SOPS 6125858 HAS SOUS 1522114 HAS SOUPS 1437248 WITH SCORE 1444676.901
AT ITER 6661 NEW BEST:: SOT 11897778 SOS 7428765 HAS SOPS 6125494 HAS SOUS 1521843 HAS SOUPS 1436974 WITH SCORE 1444402.765
AT ITER 6669 NEW BEST:: SOT 11897083 SOS 7428035 HAS SOPS 6124403 HAS SOUS 1520259 HAS SOUPS 1435390 WITH SCORE 1442818.035
AT ITER 6697 NEW BEST:: SOT 11896810 SOS 7427022 HAS SOPS 6123310 HAS SOUS 1519836 HAS SOUPS 1434967 WITH SCORE 1442394.022
AT ITER 6723 NEW BEST:: SOT 11896254 SOS 7426466 HAS SOPS 6122354 HAS SOUS 1518080 HAS SOUPS 1433211 WITH SCORE 1440637.466
AT ITER 6753 NEW BEST:: SOT 11895580 SOS 7426077 HAS SOPS 6121936 HAS SOUS 1517470 HAS SOUPS 1432624 WITH SCORE 1440050.077
AT ITER 6756 NEW BEST:: SOT 11895580 SOS 7426082 HAS SOPS 6121892 HAS SOUS 1517469 HAS SOUPS 1432623 WITH SCORE 1440049.082
AT ITER 6776 NEW BEST:: SOT 11895619 SOS 7426322 HAS SOPS 6122266 HAS SOUS 1516740 HAS SOUPS 1431876 WITH SCORE 1439302.322
AT ITER 6806 NEW BEST:: SOT 11893352 SOS 7423978 HAS SOPS 6118402 HAS SOUS 1511425 HAS SOUPS 1426561 WITH SCORE 1433984.978
AT ITER 6842 NEW BEST:: SOT 11893093 SOS 7423692 HAS SOPS 6118044 HAS SOUS 1510728 HAS SOUPS 1425864 WITH SCORE 1433287.692
AT ITER 6845 NEW BEST:: SOT 11891799 SOS 7422333 HAS SOPS 6116358 HAS SOUS 1507646 HAS SOUPS 1422782 WITH SCORE 1430204.333
AT ITER 6879 NEW BEST:: SOT 11891860 SOS 7422426 HAS SOPS 6115637 HAS SOUS 1503597 HAS SOUPS 1418462 WITH SCORE 1425884.426
AT ITER 6933 NEW BEST:: SOT 11891644 SOS 7422428 HAS SOPS 6115207 HAS SOUS 1503387 HAS SOUPS 1418236 WITH SCORE 1425658.428
AT ITER 6934 NEW BEST:: SOT 11891435 SOS 7421995 HAS SOPS 6114830 HAS SOUS 1503131 HAS SOUPS 1417980 WITH SCORE 1425401.995
AT ITER 6957 NEW BEST:: SOT 11896696 SOS 7423531 HAS SOPS 6117633 HAS SOUS 1501026 HAS SOUPS 1416067 WITH SCORE 1423490.531
AT ITER 6965 NEW BEST:: SOT 11896747 SOS 7424170 HAS SOPS 6118104 HAS SOUS 1500876 HAS SOUPS 1415917 WITH SCORE 1423341.17
AT ITER 6996 NEW BEST:: SOT 11895832 SOS 7417291 HAS SOPS 6113249 HAS SOUS 1498282 HAS SOUPS 1413434 WITH SCORE 1420851.291
AT ITER 6999 NEW BEST:: SOT 11894285 SOS 7414674 HAS SOPS 6110716 HAS SOUS 1496933 HAS SOUPS 1412085 WITH SCORE 1419499.674
AT ITER 7024 NEW BEST:: SOT 11894302 SOS 7412245 HAS SOPS 6108394 HAS SOUS 1496821 HAS SOUPS 1411973 WITH SCORE 1419385.245
AT ITER 7051 NEW BEST:: SOT 11893249 SOS 7409389 HAS SOPS 6107166 HAS SOUS 1496175 HAS SOUPS 1411367 WITH SCORE 1418776.389
AT ITER 7125 NEW BEST:: SOT 11893009 SOS 7409344 HAS SOPS 6106881 HAS SOUS 1495695 HAS SOUPS 1410887 WITH SCORE 1418296.344
AT ITER 7129 NEW BEST:: SOT 11892985 SOS 7410036 HAS SOPS 6107396 HAS SOUS 1495396 HAS SOUPS 1410588 WITH SCORE 1417998.036
AT ITER 7135 NEW BEST:: SOT 11894188 SOS 7411147 HAS SOPS 6110261 HAS SOUS 1494564 HAS SOUPS 1409830 WITH SCORE 1417241.147
AT ITER 7140 NEW BEST:: SOT 11894037 SOS 7409365 HAS SOPS 6108283 HAS SOUS 1493931 HAS SOUPS 1409197 WITH SCORE 1416606.365
AT ITER 7171 NEW BEST:: SOT 11893458 SOS 7409707 HAS SOPS 6107746 HAS SOUS 1491659 HAS SOUPS 1406925 WITH SCORE 1414334.707
AT ITER 7172 NEW BEST:: SOT 11895238 SOS 7413299 HAS SOPS 6111472 HAS SOUS 1490311 HAS SOUPS 1405577 WITH SCORE 1412990.299
AT ITER 7189 NEW BEST:: SOT 11894777 SOS 7411093 HAS SOPS 6108834 HAS SOUS 1488022 HAS SOUPS 1403614 WITH SCORE 1411025.093
AT ITER 7197 NEW BEST:: SOT 11895093 SOS 7411409 HAS SOPS 6109150 HAS SOUS 1487886 HAS SOUPS 1403478 WITH SCORE 1410889.409
AT ITER 7243 NEW BEST:: SOT 11895093 SOS 7411409 HAS SOPS 6109150 HAS SOUS 1487774 HAS SOUPS 1403366 WITH SCORE 1410777.409
AT ITER 7270 NEW BEST:: SOT 11894833 SOS 7411076 HAS SOPS 6108339 HAS SOUS 1487470 HAS SOUPS 1403062 WITH SCORE 1410473.076
AT ITER 7301 NEW BEST:: SOT 11890861 SOS 7407104 HAS SOPS 6104511 HAS SOUS 1486054 HAS SOUPS 1401790 WITH SCORE 1409197.104
AT ITER 7313 NEW BEST:: SOT 11890861 SOS 7407136 HAS SOPS 6104543 HAS SOUS 1486052 HAS SOUPS 1401788 WITH SCORE 1409195.136
AT ITER 7329 NEW BEST:: SOT 11888557 SOS 7401094 HAS SOPS 6100191 HAS SOUS 1483422 HAS SOUPS 1399349 WITH SCORE 1406750.094
AT ITER 7340 NEW BEST:: SOT 11888387 SOS 7401269 HAS SOPS 6100313 HAS SOUS 1482938 HAS SOUPS 1398865 WITH SCORE 1406266.269
AT ITER 7342 NEW BEST:: SOT 11888347 SOS 7401229 HAS SOPS 6100273 HAS SOUS 1482898 HAS SOUPS 1398825 WITH SCORE 1406226.229
AT ITER 7359 NEW BEST:: SOT 11888351 SOS 7401128 HAS SOPS 6100194 HAS SOUS 1482872 HAS SOUPS 1398799 WITH SCORE 1406200.128
AT ITER 7362 NEW BEST:: SOT 11888225 SOS 7400498 HAS SOPS 6099544 HAS SOUS 1482602 HAS SOUPS 1398529 WITH SCORE 1405929.498
AT ITER 7366 NEW BEST:: SOT 11888246 SOS 7400533 HAS SOPS 6099873 HAS SOUS 1482595 HAS SOUPS 1398522 WITH SCORE 1405922.533
AT ITER 7384 NEW BEST:: SOT 11887766 SOS 7400101 HAS SOPS 6099201 HAS SOUS 1481595 HAS SOUPS 1397522 WITH SCORE 1404922.101
AT ITER 7391 NEW BEST:: SOT 11887873 SOS 7400244 HAS SOPS 6099167 HAS SOUS 1480288 HAS SOUPS 1396244 WITH SCORE 1403644.244
AT ITER 7393 NEW BEST:: SOT 11883467 SOS 7395838 HAS SOPS 6094809 HAS SOUS 1478926 HAS SOUPS 1395038 WITH SCORE 1402433.838
AT ITER 7405 NEW BEST:: SOT 11883281 SOS 7395614 HAS SOPS 6094532 HAS SOUS 1478274 HAS SOUPS 1394392 WITH SCORE 1401787.614
AT ITER 7418 NEW BEST:: SOT 11883275 SOS 7395634 HAS SOPS 6094566 HAS SOUS 1478238 HAS SOUPS 1394357 WITH SCORE 1401752.634
AT ITER 7424 NEW BEST:: SOT 11883106 SOS 7395107 HAS SOPS 6094203 HAS SOUS 1478087 HAS SOUPS 1394217 WITH SCORE 1401612.107
AT ITER 7428 NEW BEST:: SOT 11883709 SOS 7397779 HAS SOPS 6096690 HAS SOUS 1476413 HAS SOUPS 1392562 WITH SCORE 1399959.779
AT ITER 7457 NEW BEST:: SOT 11884477 SOS 7400521 HAS SOPS 6098993 HAS SOUS 1476541 HAS SOUPS 1392541 WITH SCORE 1399941.521
AT ITER 7485 NEW BEST:: SOT 11883879 SOS 7399368 HAS SOPS 6098020 HAS SOUS 1475776 HAS SOUPS 1391848 WITH SCORE 1399247.368
AT ITER 7488 NEW BEST:: SOT 11881661 SOS 7397352 HAS SOPS 6096346 HAS SOUS 1473354 HAS SOUPS 1389465 WITH SCORE 1396862.352
AT ITER 7564 NEW BEST:: SOT 11882907 SOS 7399660 HAS SOPS 6098451 HAS SOUS 1472977 HAS SOUPS 1389061 WITH SCORE 1396460.66
AT ITER 7634 NEW BEST:: SOT 11882639 SOS 7399059 HAS SOPS 6097886 HAS SOUS 1472214 HAS SOUPS 1388298 WITH SCORE 1395697.059
AT ITER 7677 NEW BEST:: SOT 11882566 SOS 7399043 HAS SOPS 6097825 HAS SOUS 1471949 HAS SOUPS 1388033 WITH SCORE 1395432.043
AT ITER 7738 NEW BEST:: SOT 11881282 SOS 7397550 HAS SOPS 6095911 HAS SOUS 1469215 HAS SOUPS 1385299 WITH SCORE 1392696.55
AT ITER 7764 NEW BEST:: SOT 11880702 SOS 7396741 HAS SOPS 6095102 HAS SOUS 1468217 HAS SOUPS 1384301 WITH SCORE 1391697.741
AT ITER 7782 NEW BEST:: SOT 11879982 SOS 7396155 HAS SOPS 6094085 HAS SOUS 1466403 HAS SOUPS 1382475 WITH SCORE 1389871.155
AT ITER 7785 NEW BEST:: SOT 11880145 SOS 7397232 HAS SOPS 6095046 HAS SOUS 1466306 HAS SOUPS 1382378 WITH SCORE 1389775.232
AT ITER 7804 NEW BEST:: SOT 11880181 SOS 7397292 HAS SOPS 6094978 HAS SOUS 1466198 HAS SOUPS 1382270 WITH SCORE 1389667.292
AT ITER 7805 NEW BEST:: SOT 11880098 SOS 7397383 HAS SOPS 6094964 HAS SOUS 1465764 HAS SOUPS 1381804 WITH SCORE 1389201.383
AT ITER 7860 NEW BEST:: SOT 11879685 SOS 7396586 HAS SOPS 6093083 HAS SOUS 1462919 HAS SOUPS 1378923 WITH SCORE 1386319.586
AT ITER 7883 NEW BEST:: SOT 11880284 SOS 7397360 HAS SOPS 6094064 HAS SOUS 1462607 HAS SOUPS 1378638 WITH SCORE 1386035.36
AT ITER 7885 NEW BEST:: SOT 11878283 SOS 7395178 HAS SOPS 6091330 HAS SOUS 1459050 HAS SOUPS 1375081 WITH SCORE 1382476.178
AT ITER 7896 NEW BEST:: SOT 11878267 SOS 7395162 HAS SOPS 6091314 HAS SOUS 1459018 HAS SOUPS 1375049 WITH SCORE 1382444.162
AT ITER 7945 NEW BEST:: SOT 11878289 SOS 7395154 HAS SOPS 6091686 HAS SOUS 1458950 HAS SOUPS 1374981 WITH SCORE 1382376.154
AT ITER 7946 NEW BEST:: SOT 11876721 SOS 7393074 HAS SOPS 6088065 HAS SOUS 1456654 HAS SOUPS 1372685 WITH SCORE 1380078.074
AT ITER 7965 NEW BEST:: SOT 11877161 SOS 7394552 HAS SOPS 6091770 HAS SOUS 1456496 HAS SOUPS 1372527 WITH SCORE 1379921.552
AT ITER 7981 NEW BEST:: SOT 11876567 SOS 7393695 HAS SOPS 6090571 HAS SOUS 1455634 HAS SOUPS 1371665 WITH SCORE 1379058.695
AT ITER 8070 NEW BEST:: SOT 11876679 SOS 7393807 HAS SOPS 6090619 HAS SOUS 1455490 HAS SOUPS 1371521 WITH SCORE 1378914.807
AT ITER 8103 NEW BEST:: SOT 11875246 SOS 7391992 HAS SOPS 6089055 HAS SOUS 1454903 HAS SOUPS 1370934 WITH SCORE 1378325.992
AT ITER 8127 NEW BEST:: SOT 11875423 SOS 7392207 HAS SOPS 6089580 HAS SOUS 1454662 HAS SOUPS 1370693 WITH SCORE 1378085.207
AT ITER 8131 NEW BEST:: SOT 11875442 SOS 7392096 HAS SOPS 6089517 HAS SOUS 1454633 HAS SOUPS 1370664 WITH SCORE 1378056.096
AT ITER 8134 NEW BEST:: SOT 11873764 SOS 7387903 HAS SOPS 6085920 HAS SOUS 1454127 HAS SOUPS 1370158 WITH SCORE 1377545.903
AT ITER 8156 NEW BEST:: SOT 11873745 SOS 7387884 HAS SOPS 6085901 HAS SOUS 1454094 HAS SOUPS 1370125 WITH SCORE 1377512.884
AT ITER 8248 NEW BEST:: SOT 11874032 SOS 7386917 HAS SOPS 6085516 HAS SOUS 1454024 HAS SOUPS 1370055 WITH SCORE 1377441.917
AT ITER 8272 NEW BEST:: SOT 11873733 SOS 7386584 HAS SOPS 6085123 HAS SOUS 1453759 HAS SOUPS 1369730 WITH SCORE 1377116.584
AT ITER 8283 NEW BEST:: SOT 11874983 SOS 7387723 HAS SOPS 6089515 HAS SOUS 1452877 HAS SOUPS 1368958 WITH SCORE 1376345.723
AT ITER 8287 NEW BEST:: SOT 11874363 SOS 7387266 HAS SOPS 6088738 HAS SOUS 1451904 HAS SOUPS 1367985 WITH SCORE 1375372.266
AT ITER 8292 NEW BEST:: SOT 11875755 SOS 7394438 HAS SOPS 6096758 HAS SOUS 1451269 HAS SOUPS 1367403 WITH SCORE 1374797.438
AT ITER 8294 NEW BEST:: SOT 11875473 SOS 7393921 HAS SOPS 6096206 HAS SOUS 1450166 HAS SOUPS 1366315 WITH SCORE 1373708.921
AT ITER 8354 NEW BEST:: SOT 11875400 SOS 7394088 HAS SOPS 6096421 HAS SOUS 1449985 HAS SOUPS 1366134 WITH SCORE 1373528.088
AT ITER 8370 NEW BEST:: SOT 11878343 SOS 7396700 HAS SOPS 6098994 HAS SOUS 1449885 HAS SOUPS 1366028 WITH SCORE 1373424.7
AT ITER 8383 NEW BEST:: SOT 11878255 SOS 7396713 HAS SOPS 6098921 HAS SOUS 1449800 HAS SOUPS 1365943 WITH SCORE 1373339.713
AT ITER 8397 NEW BEST:: SOT 11875571 SOS 7394704 HAS SOPS 6097110 HAS SOUS 1448574 HAS SOUPS 1364717 WITH SCORE 1372111.704
AT ITER 8402 NEW BEST:: SOT 11875267 SOS 7394400 HAS SOPS 6096806 HAS SOUS 1448334 HAS SOUPS 1364477 WITH SCORE 1371871.4
AT ITER 8419 NEW BEST:: SOT 11877937 SOS 7402059 HAS SOPS 6106772 HAS SOUS 1445680 HAS SOUPS 1361894 WITH SCORE 1369296.059
AT ITER 8425 NEW BEST:: SOT 11880856 SOS 7406125 HAS SOPS 6110812 HAS SOUS 1445658 HAS SOUPS 1361851 WITH SCORE 1369257.125
AT ITER 8441 NEW BEST:: SOT 11881163 SOS 7406637 HAS SOPS 6111307 HAS SOUS 1443214 HAS SOUPS 1359478 WITH SCORE 1366884.637
AT ITER 8444 NEW BEST:: SOT 11880646 SOS 7406115 HAS SOPS 6110785 HAS SOUS 1443069 HAS SOUPS 1359333 WITH SCORE 1366739.115
AT ITER 8475 NEW BEST:: SOT 11880551 SOS 7406816 HAS SOPS 6111691 HAS SOUS 1443033 HAS SOUPS 1359297 WITH SCORE 1366703.816
AT ITER 8514 NEW BEST:: SOT 11880475 SOS 7406923 HAS SOPS 6111733 HAS SOUS 1442827 HAS SOUPS 1359091 WITH SCORE 1366497.923
AT ITER 8518 NEW BEST:: SOT 11880479 SOS 7407132 HAS SOPS 6112097 HAS SOUS 1442816 HAS SOUPS 1359080 WITH SCORE 1366487.132
AT ITER 8542 NEW BEST:: SOT 11880024 SOS 7406687 HAS SOPS 6111336 HAS SOUS 1441867 HAS SOUPS 1358131 WITH SCORE 1365537.687
AT ITER 8564 NEW BEST:: SOT 11878511 SOS 7404529 HAS SOPS 6108867 HAS SOUS 1440991 HAS SOUPS 1357255 WITH SCORE 1364659.529
AT ITER 8600 NEW BEST:: SOT 11877887 SOS 7403905 HAS SOPS 6108243 HAS SOUS 1440255 HAS SOUPS 1356519 WITH SCORE 1363922.905
AT ITER 8627 NEW BEST:: SOT 11877875 SOS 7403819 HAS SOPS 6108149 HAS SOUS 1440219 HAS SOUPS 1356483 WITH SCORE 1363886.819
AT ITER 8647 NEW BEST:: SOT 11877779 SOS 7403723 HAS SOPS 6108005 HAS SOUS 1439931 HAS SOUPS 1356195 WITH SCORE 1363598.723
AT ITER 8663 NEW BEST:: SOT 11877032 SOS 7402976 HAS SOPS 6107066 HAS SOUS 1439012 HAS SOUPS 1355276 WITH SCORE 1362678.976
AT ITER 8682 NEW BEST:: SOT 11879976 SOS 7410620 HAS SOPS 6114712 HAS SOUS 1437464 HAS SOUPS 1353730 WITH SCORE 1361140.62
AT ITER 8690 NEW BEST:: SOT 11879388 SOS 7409700 HAS SOPS 6113953 HAS SOUS 1436617 HAS SOUPS 1352860 WITH SCORE 1360269.7
AT ITER 8703 NEW BEST:: SOT 11877834 SOS 7409819 HAS SOPS 6112009 HAS SOUS 1433843 HAS SOUPS 1350040 WITH SCORE 1357449.819
AT ITER 8854 NEW BEST:: SOT 11887171 SOS 7422135 HAS SOPS 6123803 HAS SOUS 1432367 HAS SOUPS 1348564 WITH SCORE 1355986.135
AT ITER 8875 NEW BEST:: SOT 11886936 SOS 7421888 HAS SOPS 6123556 HAS SOUS 1432184 HAS SOUPS 1348381 WITH SCORE 1355802.888
AT ITER 8876 NEW BEST:: SOT 11886495 SOS 7420360 HAS SOPS 6122612 HAS SOUS 1432014 HAS SOUPS 1348211 WITH SCORE 1355631.36
AT ITER 8938 NEW BEST:: SOT 11884104 SOS 7417969 HAS SOPS 6120205 HAS SOUS 1428915 HAS SOUPS 1345112 WITH SCORE 1352529.969
AT ITER 8955 NEW BEST:: SOT 11884055 SOS 7417684 HAS SOPS 6119613 HAS SOUS 1428590 HAS SOUPS 1344787 WITH SCORE 1352204.684
AT ITER 8956 NEW BEST:: SOT 11883532 SOS 7417143 HAS SOPS 6118671 HAS SOUS 1428322 HAS SOUPS 1344519 WITH SCORE 1351936.143
AT ITER 8960 NEW BEST:: SOT 11883271 SOS 7416885 HAS SOPS 6118458 HAS SOUS 1428073 HAS SOUPS 1344267 WITH SCORE 1351683.885
AT ITER 8966 NEW BEST:: SOT 11883433 SOS 7416660 HAS SOPS 6118219 HAS SOUS 1427598 HAS SOUPS 1343792 WITH SCORE 1351208.66
AT ITER 8975 NEW BEST:: SOT 11883194 SOS 7415527 HAS SOPS 6115891 HAS SOUS 1425939 HAS SOUPS 1342133 WITH SCORE 1349548.527
AT ITER 9018 NEW BEST:: SOT 11883017 SOS 7415328 HAS SOPS 6115684 HAS SOUS 1425508 HAS SOUPS 1341702 WITH SCORE 1349117.328
AT ITER 9038 NEW BEST:: SOT 11882807 SOS 7415136 HAS SOPS 6115234 HAS SOUS 1424904 HAS SOUPS 1341098 WITH SCORE 1348513.136
AT ITER 9075 NEW BEST:: SOT 11882338 SOS 7414975 HAS SOPS 6115037 HAS SOUS 1424616 HAS SOUPS 1340810 WITH SCORE 1348224.975
AT ITER 9096 NEW BEST:: SOT 11882270 SOS 7414875 HAS SOPS 6114936 HAS SOUS 1424427 HAS SOUPS 1340623 WITH SCORE 1348037.875
AT ITER 9167 NEW BEST:: SOT 11882413 SOS 7415020 HAS SOPS 6112994 HAS SOUS 1423607 HAS SOUPS 1339723 WITH SCORE 1347138.02
AT ITER 9169 NEW BEST:: SOT 11881610 SOS 7414661 HAS SOPS 6112024 HAS SOUS 1423194 HAS SOUPS 1339279 WITH SCORE 1346693.661
AT ITER 9181 NEW BEST:: SOT 11880900 SOS 7411733 HAS SOPS 6109118 HAS SOUS 1417413 HAS SOUPS 1333498 WITH SCORE 1340909.733
AT ITER 9255 NEW BEST:: SOT 11880444 SOS 7412220 HAS SOPS 6109040 HAS SOUS 1414415 HAS SOUPS 1330500 WITH SCORE 1337912.22
AT ITER 9282 NEW BEST:: SOT 11881274 SOS 7412980 HAS SOPS 6109800 HAS SOUS 1414408 HAS SOUPS 1330493 WITH SCORE 1337905.98
AT ITER 9289 NEW BEST:: SOT 11881222 SOS 7412963 HAS SOPS 6109724 HAS SOUS 1414273 HAS SOUPS 1330358 WITH SCORE 1337770.963
AT ITER 9403 NEW BEST:: SOT 11881749 SOS 7413561 HAS SOPS 6110296 HAS SOUS 1413608 HAS SOUPS 1329711 WITH SCORE 1337124.561
AT ITER 9417 NEW BEST:: SOT 11879827 SOS 7410411 HAS SOPS 6109198 HAS SOUS 1411373 HAS SOUPS 1327792 WITH SCORE 1335202.411
AT ITER 9429 NEW BEST:: SOT 11879829 SOS 7410470 HAS SOPS 6109302 HAS SOUS 1411328 HAS SOUPS 1327747 WITH SCORE 1335157.47
AT ITER 9450 NEW BEST:: SOT 11871443 SOS 7402387 HAS SOPS 6100706 HAS SOUS 1407094 HAS SOUPS 1323461 WITH SCORE 1330863.387
AT ITER 9453 NEW BEST:: SOT 11871407 SOS 7402350 HAS SOPS 6100653 HAS SOUS 1406978 HAS SOUPS 1323345 WITH SCORE 1330747.35
AT ITER 9470 NEW BEST:: SOT 11871324 SOS 7402313 HAS SOPS 6100501 HAS SOUS 1405312 HAS SOUPS 1321860 WITH SCORE 1329262.313
AT ITER 9484 NEW BEST:: SOT 11871207 SOS 7400860 HAS SOPS 6099698 HAS SOUS 1405082 HAS SOUPS 1321665 WITH SCORE 1329065.86
AT ITER 9532 NEW BEST:: SOT 11871017 SOS 7400640 HAS SOPS 6099426 HAS SOUS 1404794 HAS SOUPS 1321375 WITH SCORE 1328775.64
AT ITER 9537 NEW BEST:: SOT 11866795 SOS 7395963 HAS SOPS 6093114 HAS SOUS 1395028 HAS SOUPS 1311609 WITH SCORE 1319004.963
AT ITER 9551 NEW BEST:: SOT 11866171 SOS 7394453 HAS SOPS 6093408 HAS SOUS 1394363 HAS SOUPS 1310944 WITH SCORE 1318338.453
AT ITER 9609 NEW BEST:: SOT 11865949 SOS 7392744 HAS SOPS 6091395 HAS SOUS 1394026 HAS SOUPS 1310607 WITH SCORE 1317999.744
AT ITER 9630 NEW BEST:: SOT 11865174 SOS 7390770 HAS SOPS 6089255 HAS SOUS 1392606 HAS SOUPS 1309187 WITH SCORE 1316577.77
AT ITER 9650 NEW BEST:: SOT 11865720 SOS 7392961 HAS SOPS 6091251 HAS SOUS 1392045 HAS SOUPS 1308626 WITH SCORE 1316018.961
AT ITER 9669 NEW BEST:: SOT 11865352 SOS 7392584 HAS SOPS 6090874 HAS SOUS 1391710 HAS SOUPS 1308291 WITH SCORE 1315683.584
AT ITER 9671 NEW BEST:: SOT 11864792 SOS 7393371 HAS SOPS 6091233 HAS SOUS 1390357 HAS SOUPS 1306938 WITH SCORE 1314331.371
AT ITER 9703 NEW BEST:: SOT 11864632 SOS 7392425 HAS SOPS 6090620 HAS SOUS 1389783 HAS SOUPS 1306424 WITH SCORE 1313816.425
AT ITER 9714 NEW BEST:: SOT 11863592 SOS 7391385 HAS SOPS 6089340 HAS SOUS 1388343 HAS SOUPS 1304984 WITH SCORE 1312375.385
AT ITER 9722 NEW BEST:: SOT 11863220 SOS 7390793 HAS SOPS 6089175 HAS SOUS 1387060 HAS SOUPS 1303686 WITH SCORE 1311076.793
AT ITER 9731 NEW BEST:: SOT 11861815 SOS 7389235 HAS SOPS 6088267 HAS SOUS 1385688 HAS SOUPS 1302314 WITH SCORE 1309703.235
AT ITER 9737 NEW BEST:: SOT 11862029 SOS 7389449 HAS SOPS 6088369 HAS SOUS 1385686 HAS SOUPS 1302312 WITH SCORE 1309701.449
AT ITER 9784 NEW BEST:: SOT 11861636 SOS 7389944 HAS SOPS 6087967 HAS SOUS 1385310 HAS SOUPS 1301936 WITH SCORE 1309325.944
AT ITER 9786 NEW BEST:: SOT 11860438 SOS 7388442 HAS SOPS 6085965 HAS SOUS 1383725 HAS SOUPS 1300368 WITH SCORE 1307756.442
AT ITER 9788 NEW BEST:: SOT 11860188 SOS 7385178 HAS SOPS 6081788 HAS SOUS 1381931 HAS SOUPS 1298574 WITH SCORE 1305959.178
AT ITER 9807 NEW BEST:: SOT 11874374 SOS 7403009 HAS SOPS 6101441 HAS SOUS 1378697 HAS SOUPS 1297240 WITH SCORE 1304643.009
AT ITER 9822 NEW BEST:: SOT 11874323 SOS 7402414 HAS SOPS 6100855 HAS SOUS 1377828 HAS SOUPS 1296371 WITH SCORE 1303773.414
AT ITER 9870 NEW BEST:: SOT 11874232 SOS 7400611 HAS SOPS 6100311 HAS SOUS 1376316 HAS SOUPS 1294859 WITH SCORE 1302259.611
AT ITER 9884 NEW BEST:: SOT 11873870 SOS 7400454 HAS SOPS 6099827 HAS SOUS 1375509 HAS SOUPS 1294052 WITH SCORE 1301452.454
AT ITER 9892 NEW BEST:: SOT 11874225 SOS 7401880 HAS SOPS 6100750 HAS SOUS 1374877 HAS SOUPS 1293416 WITH SCORE 1300817.88
AT ITER 9897 NEW BEST:: SOT 11872112 SOS 7399919 HAS SOPS 6098965 HAS SOUS 1372786 HAS SOUPS 1291365 WITH SCORE 1298764.919
AT ITER 9919 NEW BEST:: SOT 11872879 SOS 7398232 HAS SOPS 6098129 HAS SOUS 1372477 HAS SOUPS 1291280 WITH SCORE 1298678.232
AT ITER 9921 NEW BEST:: SOT 11872435 SOS 7397788 HAS SOPS 6097929 HAS SOUS 1371357 HAS SOUPS 1290448 WITH SCORE 1297845.788
AT ITER 9932 NEW BEST:: SOT 11872333 SOS 7397672 HAS SOPS 6097809 HAS SOUS 1371273 HAS SOUPS 1290364 WITH SCORE 1297761.672
AT ITER 9946 NEW BEST:: SOT 11870628 SOS 7394205 HAS SOPS 6095209 HAS SOUS 1365240 HAS SOUPS 1284331 WITH SCORE 1291725.205
AT ITER 9949 NEW BEST:: SOT 11870628 SOS 7394504 HAS SOPS 6095134 HAS SOUS 1364745 HAS SOUPS 1283829 WITH SCORE 1291223.504
AT ITER 9964 NEW BEST:: SOT 11870457 SOS 7393849 HAS SOPS 6094872 HAS SOUS 1364499 HAS SOUPS 1283618 WITH SCORE 1291011.849
AT ITER 9971 NEW BEST:: SOT 11870366 SOS 7393549 HAS SOPS 6094447 HAS SOUS 1364235 HAS SOUPS 1283354 WITH SCORE 1290747.549
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15300952 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16118652 kB

BK_TIME_CONFINEMENT_REACHED

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

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="smart"
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 smart"
echo " Input is RERS17pb113-PT-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194200064"
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 ;