About the Execution of Smart for PhilosophersDyn-PT-20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
353.632 | 3600000.00 | 3599873.00 | 386.10 | [undef] | Time out reached |
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.r291-tall-167873942800336.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 PhilosophersDyn-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800336
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 52M
-rw-r--r-- 1 mcc users 118K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 462K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0M Feb 26 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 9.6M Feb 26 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 66K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 189K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.6M Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 335K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0M Feb 26 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15M Feb 26 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M 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 1678786860997
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=PhilosophersDyn-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 20
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: 540 places, 17220 transitions, 140780 arcs.
AT ITER 0 NEW BEST:: SOT 6542288 SOS 6067337 HAS SOPS 5884877 HAS SOUS 3462369 HAS SOUPS 3452858 WITH SCORE 3458925.337
AT ITER 4 NEW BEST:: SOT 6546225 SOS 6054928 HAS SOPS 5879021 HAS SOUS 3423172 HAS SOUPS 3413872 WITH SCORE 3419926.928
AT ITER 5 NEW BEST:: SOT 6545880 SOS 6054583 HAS SOPS 5878656 HAS SOUS 3422827 HAS SOUPS 3413507 WITH SCORE 3419561.583
AT ITER 42 NEW BEST:: SOT 6545916 SOS 6054619 HAS SOPS 5878692 HAS SOUS 3422797 HAS SOUPS 3413477 WITH SCORE 3419531.619
AT ITER 54 NEW BEST:: SOT 6549772 SOS 6046021 HAS SOPS 5871412 HAS SOUS 3357115 HAS SOUPS 3347372 WITH SCORE 3353418.021
AT ITER 70 NEW BEST:: SOT 6607577 SOS 6041572 HAS SOPS 5792264 HAS SOUS 3384438 HAS SOUPS 3329943 WITH SCORE 3335984.572
AT ITER 72 NEW BEST:: SOT 6605500 SOS 6039484 HAS SOPS 5790165 HAS SOUS 3380357 HAS SOUPS 3325851 WITH SCORE 3331890.484
AT ITER 73 NEW BEST:: SOT 6605696 SOS 6025374 HAS SOPS 5781214 HAS SOUS 3342977 HAS SOUPS 3290652 WITH SCORE 3296677.374
AT ITER 74 NEW BEST:: SOT 6606190 SOS 6005470 HAS SOPS 5772986 HAS SOUS 3322770 HAS SOUPS 3271938 WITH SCORE 3277943.47
AT ITER 80 NEW BEST:: SOT 6606163 SOS 5990131 HAS SOPS 5764599 HAS SOUS 3305891 HAS SOUPS 3256217 WITH SCORE 3262207.131
AT ITER 87 NEW BEST:: SOT 6599493 SOS 5983461 HAS SOPS 5757929 HAS SOUS 3304180 HAS SOUPS 3254506 WITH SCORE 3260489.461
AT ITER 103 NEW BEST:: SOT 6599476 SOS 5983445 HAS SOPS 5757914 HAS SOUS 3304103 HAS SOUPS 3254446 WITH SCORE 3260429.445
AT ITER 107 NEW BEST:: SOT 6599440 SOS 5969079 HAS SOPS 5747741 HAS SOUS 3263348 HAS SOUPS 3215719 WITH SCORE 3221688.079
AT ITER 112 NEW BEST:: SOT 6637137 SOS 5987462 HAS SOPS 5771675 HAS SOUS 3231566 HAS SOUPS 3185802 WITH SCORE 3191789.462
AT ITER 115 NEW BEST:: SOT 6637098 SOS 5987423 HAS SOPS 5771636 HAS SOUS 3231525 HAS SOUPS 3185761 WITH SCORE 3191748.423
AT ITER 121 NEW BEST:: SOT 6630230 SOS 5980753 HAS SOPS 5764882 HAS SOUS 3223883 HAS SOUPS 3178041 WITH SCORE 3184021.753
AT ITER 135 NEW BEST:: SOT 6651770 SOS 5983881 HAS SOPS 5772246 HAS SOUS 3159144 HAS SOUPS 3114489 WITH SCORE 3120472.881
AT ITER 138 NEW BEST:: SOT 6650820 SOS 5983000 HAS SOPS 5771434 HAS SOUS 3158700 HAS SOUPS 3114114 WITH SCORE 3120097.0
AT ITER 146 NEW BEST:: SOT 6671856 SOS 5977766 HAS SOPS 5782130 HAS SOUS 3153867 HAS SOUPS 3110880 WITH SCORE 3116857.766
AT ITER 150 NEW BEST:: SOT 6678271 SOS 5962942 HAS SOPS 5775815 HAS SOUS 3081063 HAS SOUPS 3039849 WITH SCORE 3045811.942
AT ITER 151 NEW BEST:: SOT 6677693 SOS 5962364 HAS SOPS 5775237 HAS SOUS 3080178 HAS SOUPS 3038964 WITH SCORE 3044926.364
AT ITER 170 NEW BEST:: SOT 6677585 SOS 5962256 HAS SOPS 5775129 HAS SOUS 3080040 HAS SOUPS 3038826 WITH SCORE 3044788.256
AT ITER 197 NEW BEST:: SOT 6673609 SOS 5958178 HAS SOPS 5771153 HAS SOUS 3075919 HAS SOUPS 3034759 WITH SCORE 3040717.178
AT ITER 199 NEW BEST:: SOT 6680907 SOS 5964270 HAS SOPS 5778145 HAS SOUS 3074690 HAS SOUPS 3033912 WITH SCORE 3039876.27
AT ITER 204 NEW BEST:: SOT 6680644 SOS 5963531 HAS SOPS 5777669 HAS SOUS 3073223 HAS SOUPS 3032448 WITH SCORE 3038411.531
AT ITER 208 NEW BEST:: SOT 6645811 SOS 5931799 HAS SOPS 5760880 HAS SOUS 3059943 HAS SOUPS 3030550 WITH SCORE 3036481.799
AT ITER 220 NEW BEST:: SOT 6644969 SOS 5930867 HAS SOPS 5759868 HAS SOUS 3059468 HAS SOUPS 3030075 WITH SCORE 3036005.867
AT ITER 227 NEW BEST:: SOT 6639567 SOS 5927821 HAS SOPS 5758093 HAS SOUS 3056682 HAS SOUPS 3027402 WITH SCORE 3033329.821
AT ITER 230 NEW BEST:: SOT 6639245 SOS 5927499 HAS SOPS 5757771 HAS SOUS 3055932 HAS SOUPS 3026652 WITH SCORE 3032579.499
AT ITER 248 NEW BEST:: SOT 6636533 SOS 5924787 HAS SOPS 5755059 HAS SOUS 3052812 HAS SOUPS 3023532 WITH SCORE 3029456.787
AT ITER 250 NEW BEST:: SOT 6636321 SOS 5924575 HAS SOPS 5754847 HAS SOUS 3052532 HAS SOUPS 3023252 WITH SCORE 3029176.575
AT ITER 251 NEW BEST:: SOT 6636321 SOS 5924557 HAS SOPS 5754847 HAS SOUS 3052519 HAS SOUPS 3023248 WITH SCORE 3029172.557
AT ITER 260 NEW BEST:: SOT 6636241 SOS 5910286 HAS SOPS 5749956 HAS SOUS 3048992 HAS SOUPS 3020008 WITH SCORE 3025918.286
AT ITER 291 NEW BEST:: SOT 6636241 SOS 5904566 HAS SOPS 5741438 HAS SOUS 3048190 HAS SOUPS 3019202 WITH SCORE 3025106.566
AT ITER 312 NEW BEST:: SOT 6638012 SOS 5902520 HAS SOPS 5740833 HAS SOUS 3014161 HAS SOUPS 2986307 WITH SCORE 2992209.52
AT ITER 316 NEW BEST:: SOT 6638524 SOS 5881384 HAS SOPS 5730654 HAS SOUS 2973804 HAS SOUPS 2947436 WITH SCORE 2953317.384
AT ITER 320 NEW BEST:: SOT 6638515 SOS 5871024 HAS SOPS 5715903 HAS SOUS 2973784 HAS SOUPS 2947379 WITH SCORE 2953250.024
AT ITER 337 NEW BEST:: SOT 6637180 SOS 5869680 HAS SOPS 5714550 HAS SOUS 2972140 HAS SOUPS 2945735 WITH SCORE 2951604.68
AT ITER 340 NEW BEST:: SOT 6642158 SOS 5874046 HAS SOPS 5718680 HAS SOUS 2966233 HAS SOUPS 2939646 WITH SCORE 2945520.046
AT ITER 341 NEW BEST:: SOT 6642140 SOS 5874028 HAS SOPS 5718653 HAS SOUS 2966215 HAS SOUPS 2939619 WITH SCORE 2945493.028
AT ITER 347 NEW BEST:: SOT 6638204 SOS 5869977 HAS SOPS 5714755 HAS SOUS 2962638 HAS SOUPS 2936176 WITH SCORE 2942045.977
AT ITER 351 NEW BEST:: SOT 6635068 SOS 5866841 HAS SOPS 5711619 HAS SOUS 2957918 HAS SOUPS 2931456 WITH SCORE 2937322.841
AT ITER 352 NEW BEST:: SOT 6634655 SOS 5866428 HAS SOPS 5711186 HAS SOUS 2957505 HAS SOUPS 2931023 WITH SCORE 2936889.428
AT ITER 358 NEW BEST:: SOT 6662636 SOS 5871093 HAS SOPS 5727180 HAS SOUS 2942898 HAS SOUPS 2917339 WITH SCORE 2923210.093
AT ITER 363 NEW BEST:: SOT 6662320 SOS 5870759 HAS SOPS 5726864 HAS SOUS 2942776 HAS SOUPS 2917235 WITH SCORE 2923105.759
AT ITER 379 NEW BEST:: SOT 6660983 SOS 5869350 HAS SOPS 5725527 HAS SOUS 2942604 HAS SOUPS 2917135 WITH SCORE 2923004.35
AT ITER 384 NEW BEST:: SOT 6661154 SOS 5842956 HAS SOPS 5715913 HAS SOUS 2924078 HAS SOUPS 2899423 WITH SCORE 2905265.956
AT ITER 390 NEW BEST:: SOT 6653358 SOS 5835349 HAS SOPS 5708537 HAS SOUS 2917312 HAS SOUPS 2892867 WITH SCORE 2898702.349
AT ITER 402 NEW BEST:: SOT 6634786 SOS 5820748 HAS SOPS 5694046 HAS SOUS 2907767 HAS SOUPS 2883261 WITH SCORE 2889081.748
AT ITER 410 NEW BEST:: SOT 6624499 SOS 5811512 HAS SOPS 5684659 HAS SOUS 2901222 HAS SOUPS 2876688 WITH SCORE 2882499.512
AT ITER 411 NEW BEST:: SOT 6623477 SOS 5810476 HAS SOPS 5683637 HAS SOUS 2900214 HAS SOUPS 2875694 WITH SCORE 2881504.476
AT ITER 434 NEW BEST:: SOT 6623422 SOS 5810397 HAS SOPS 5683582 HAS SOUS 2900089 HAS SOUPS 2875581 WITH SCORE 2881391.397
AT ITER 449 NEW BEST:: SOT 6597913 SOS 5785070 HAS SOPS 5658288 HAS SOUS 2874205 HAS SOUPS 2849697 WITH SCORE 2855482.07
AT ITER 454 NEW BEST:: SOT 6597747 SOS 5784904 HAS SOPS 5658122 HAS SOUS 2874028 HAS SOUPS 2849520 WITH SCORE 2855304.904
AT ITER 480 NEW BEST:: SOT 6590383 SOS 5777621 HAS SOPS 5650912 HAS SOUS 2865134 HAS SOUPS 2840699 WITH SCORE 2846476.621
AT ITER 510 NEW BEST:: SOT 6589727 SOS 5776965 HAS SOPS 5650256 HAS SOUS 2864980 HAS SOUPS 2840545 WITH SCORE 2846321.965
AT ITER 518 NEW BEST:: SOT 6589527 SOS 5776581 HAS SOPS 5649603 HAS SOUS 2864793 HAS SOUPS 2840258 WITH SCORE 2846034.581
AT ITER 528 NEW BEST:: SOT 6585261 SOS 5772261 HAS SOPS 5645337 HAS SOUS 2860307 HAS SOUPS 2835826 WITH SCORE 2841598.261
AT ITER 539 NEW BEST:: SOT 6579400 SOS 5766356 HAS SOPS 5639396 HAS SOUS 2852900 HAS SOUPS 2828403 WITH SCORE 2834169.356
AT ITER 541 NEW BEST:: SOT 6577970 SOS 5764674 HAS SOPS 5637840 HAS SOUS 2851728 HAS SOUPS 2827356 WITH SCORE 2833120.674
AT ITER 553 NEW BEST:: SOT 6577990 SOS 5746020 HAS SOPS 5630856 HAS SOUS 2844761 HAS SOUPS 2820571 WITH SCORE 2826317.02
AT ITER 556 NEW BEST:: SOT 6577805 SOS 5745835 HAS SOPS 5630671 HAS SOUS 2844576 HAS SOUPS 2820386 WITH SCORE 2826131.835
AT ITER 563 NEW BEST:: SOT 6621074 SOS 5780669 HAS SOPS 5667948 HAS SOUS 2842479 HAS SOUPS 2817982 WITH SCORE 2823762.669
AT ITER 576 NEW BEST:: SOT 6621074 SOS 5780437 HAS SOPS 5667720 HAS SOUS 2842473 HAS SOUPS 2817978 WITH SCORE 2823758.437
AT ITER 583 NEW BEST:: SOT 6621135 SOS 5761994 HAS SOPS 5659483 HAS SOUS 2833727 HAS SOUPS 2809329 WITH SCORE 2815090.994
AT ITER 589 NEW BEST:: SOT 6601762 SOS 5743859 HAS SOPS 5641896 HAS SOUS 2825324 HAS SOUPS 2801135 WITH SCORE 2806878.859
AT ITER 603 NEW BEST:: SOT 6601552 SOS 5743645 HAS SOPS 5641740 HAS SOUS 2824773 HAS SOUPS 2800613 WITH SCORE 2806356.645
AT ITER 615 NEW BEST:: SOT 6620606 SOS 5759979 HAS SOPS 5658012 HAS SOUS 2815959 HAS SOUPS 2791246 WITH SCORE 2797005.979
AT ITER 626 NEW BEST:: SOT 6618812 SOS 5758116 HAS SOPS 5656080 HAS SOUS 2814140 HAS SOUPS 2789358 WITH SCORE 2795116.116
AT ITER 631 NEW BEST:: SOT 6618761 SOS 5758060 HAS SOPS 5656029 HAS SOUS 2814036 HAS SOUPS 2789259 WITH SCORE 2795017.06
AT ITER 633 NEW BEST:: SOT 6614199 SOS 5753294 HAS SOPS 5651321 HAS SOUS 2812023 HAS SOUPS 2787430 WITH SCORE 2793183.294
AT ITER 650 NEW BEST:: SOT 6613775 SOS 5752632 HAS SOPS 5650897 HAS SOUS 2810501 HAS SOUPS 2786146 WITH SCORE 2791898.632
AT ITER 658 NEW BEST:: SOT 6613828 SOS 5752659 HAS SOPS 5650950 HAS SOUS 2810004 HAS SOUPS 2785649 WITH SCORE 2791401.659
AT ITER 672 NEW BEST:: SOT 6613790 SOS 5752611 HAS SOPS 5650912 HAS SOUS 2809906 HAS SOUPS 2785558 WITH SCORE 2791310.611
AT ITER 673 NEW BEST:: SOT 6608614 SOS 5748330 HAS SOPS 5646544 HAS SOUS 2801703 HAS SOUPS 2777202 WITH SCORE 2782950.33
AT ITER 681 NEW BEST:: SOT 6606126 SOS 5745137 HAS SOPS 5643945 HAS SOUS 2794575 HAS SOUPS 2769736 WITH SCORE 2775481.137
AT ITER 703 NEW BEST:: SOT 6605741 SOS 5744740 HAS SOPS 5643536 HAS SOUS 2794378 HAS SOUPS 2769527 WITH SCORE 2775271.74
AT ITER 707 NEW BEST:: SOT 6593874 SOS 5732977 HAS SOPS 5632069 HAS SOUS 2783108 HAS SOUPS 2758533 WITH SCORE 2764265.977
AT ITER 711 NEW BEST:: SOT 6588286 SOS 5727312 HAS SOPS 5626671 HAS SOUS 2782645 HAS SOUPS 2758287 WITH SCORE 2764014.312
AT ITER 716 NEW BEST:: SOT 6587207 SOS 5726077 HAS SOPS 5625592 HAS SOUS 2782154 HAS SOUPS 2757874 WITH SCORE 2763600.077
AT ITER 727 NEW BEST:: SOT 6587111 SOS 5725975 HAS SOPS 5625496 HAS SOUS 2781964 HAS SOUPS 2757690 WITH SCORE 2763415.975
AT ITER 728 NEW BEST:: SOT 6587111 SOS 5719625 HAS SOPS 5617979 HAS SOUS 2781380 HAS SOUPS 2757106 WITH SCORE 2762825.625
AT ITER 729 NEW BEST:: SOT 6585155 SOS 5717620 HAS SOPS 5615991 HAS SOUS 2777144 HAS SOUPS 2752887 WITH SCORE 2758604.62
AT ITER 739 NEW BEST:: SOT 6584777 SOS 5717242 HAS SOPS 5615613 HAS SOUS 2776668 HAS SOUPS 2752411 WITH SCORE 2758128.242
AT ITER 747 NEW BEST:: SOT 6584311 SOS 5716735 HAS SOPS 5615131 HAS SOUS 2776031 HAS SOUPS 2751807 WITH SCORE 2757523.735
AT ITER 754 NEW BEST:: SOT 6584284 SOS 5716705 HAS SOPS 5615104 HAS SOUS 2775947 HAS SOUPS 2751729 WITH SCORE 2757445.705
AT ITER 757 NEW BEST:: SOT 6584298 SOS 5716793 HAS SOPS 5614929 HAS SOUS 2773883 HAS SOUPS 2749732 WITH SCORE 2755448.793
AT ITER 758 NEW BEST:: SOT 6580717 SOS 5713167 HAS SOPS 5611348 HAS SOUS 2769801 HAS SOUPS 2745808 WITH SCORE 2751521.167
AT ITER 767 NEW BEST:: SOT 6580717 SOS 5713167 HAS SOPS 5611348 HAS SOUS 2769796 HAS SOUPS 2745803 WITH SCORE 2751516.167
AT ITER 786 NEW BEST:: SOT 6579180 SOS 5711651 HAS SOPS 5609811 HAS SOUS 2769642 HAS SOUPS 2745628 WITH SCORE 2751339.651
AT ITER 808 NEW BEST:: SOT 6578836 SOS 5711307 HAS SOPS 5609467 HAS SOUS 2769233 HAS SOUPS 2745219 WITH SCORE 2750930.307
AT ITER 839 NEW BEST:: SOT 6578798 SOS 5711274 HAS SOPS 5609429 HAS SOUS 2769070 HAS SOUPS 2745183 WITH SCORE 2750894.274
AT ITER 859 NEW BEST:: SOT 6576770 SOS 5709092 HAS SOPS 5607401 HAS SOUS 2768741 HAS SOUPS 2744886 WITH SCORE 2750595.092
AT ITER 866 NEW BEST:: SOT 6576626 SOS 5708948 HAS SOPS 5607257 HAS SOUS 2768717 HAS SOUPS 2744862 WITH SCORE 2750570.948
AT ITER 875 NEW BEST:: SOT 6576626 SOS 5721424 HAS SOPS 5622404 HAS SOUS 2768010 HAS SOUPS 2744197 WITH SCORE 2749918.424
AT ITER 887 NEW BEST:: SOT 6583043 SOS 5723331 HAS SOPS 5625837 HAS SOUS 2737037 HAS SOUPS 2713288 WITH SCORE 2719011.331
AT ITER 896 NEW BEST:: SOT 6584065 SOS 5696850 HAS SOPS 5618358 HAS SOUS 2731693 HAS SOUPS 2708223 WITH SCORE 2713919.85
AT ITER 897 NEW BEST:: SOT 6584366 SOS 5696219 HAS SOPS 5618209 HAS SOUS 2726985 HAS SOUPS 2703522 WITH SCORE 2709218.219
AT ITER 898 NEW BEST:: SOT 6593408 SOS 5704841 HAS SOPS 5626111 HAS SOUS 2721421 HAS SOUPS 2697295 WITH SCORE 2702999.841
AT ITER 911 NEW BEST:: SOT 6593398 SOS 5704831 HAS SOPS 5626101 HAS SOUS 2721358 HAS SOUPS 2697232 WITH SCORE 2702936.831
AT ITER 912 NEW BEST:: SOT 6560976 SOS 5673575 HAS SOPS 5596075 HAS SOUS 2711566 HAS SOUPS 2688715 WITH SCORE 2694388.575
AT ITER 915 NEW BEST:: SOT 6560635 SOS 5675245 HAS SOPS 5599084 HAS SOUS 2703807 HAS SOUPS 2680849 WITH SCORE 2686524.245
AT ITER 925 NEW BEST:: SOT 6564849 SOS 5679054 HAS SOPS 5602374 HAS SOUS 2694812 HAS SOUPS 2671379 WITH SCORE 2677058.054
AT ITER 935 NEW BEST:: SOT 6563930 SOS 5678061 HAS SOPS 5601455 HAS SOUS 2692995 HAS SOUPS 2669636 WITH SCORE 2675314.061
AT ITER 946 NEW BEST:: SOT 6563945 SOS 5678061 HAS SOPS 5601500 HAS SOUS 2692522 HAS SOUPS 2669162 WITH SCORE 2674840.061
AT ITER 965 NEW BEST:: SOT 6563967 SOS 5678083 HAS SOPS 5601522 HAS SOUS 2692451 HAS SOUPS 2669091 WITH SCORE 2674769.083
AT ITER 967 NEW BEST:: SOT 6563245 SOS 5678369 HAS SOPS 5601808 HAS SOUS 2691823 HAS SOUPS 2668463 WITH SCORE 2674141.369
AT ITER 969 NEW BEST:: SOT 6556536 SOS 5672041 HAS SOPS 5595690 HAS SOUS 2684676 HAS SOUPS 2661316 WITH SCORE 2666988.041
AT ITER 987 NEW BEST:: SOT 6554208 SOS 5669406 HAS SOPS 5593360 HAS SOUS 2682338 HAS SOUPS 2659184 WITH SCORE 2664853.406
AT ITER 999 NEW BEST:: SOT 6553552 SOS 5668625 HAS SOPS 5592704 HAS SOUS 2681429 HAS SOUPS 2658484 WITH SCORE 2664152.625
AT ITER 1002 NEW BEST:: SOT 6542858 SOS 5658230 HAS SOPS 5582828 HAS SOUS 2676028 HAS SOUPS 2653582 WITH SCORE 2659240.23
AT ITER 1031 NEW BEST:: SOT 6537167 SOS 5652539 HAS SOPS 5577137 HAS SOUS 2669263 HAS SOUPS 2646817 WITH SCORE 2652469.539
AT ITER 1043 NEW BEST:: SOT 6531213 SOS 5646328 HAS SOPS 5571163 HAS SOUS 2665109 HAS SOUPS 2642867 WITH SCORE 2648513.328
AT ITER 1050 NEW BEST:: SOT 6531138 SOS 5646256 HAS SOPS 5571094 HAS SOUS 2665025 HAS SOUPS 2642790 WITH SCORE 2648436.256
AT ITER 1057 NEW BEST:: SOT 6531752 SOS 5645181 HAS SOPS 5570916 HAS SOUS 2662996 HAS SOUPS 2640545 WITH SCORE 2646190.181
AT ITER 1065 NEW BEST:: SOT 6529893 SOS 5646819 HAS SOPS 5569064 HAS SOUS 2659626 HAS SOUPS 2637108 WITH SCORE 2642754.819
AT ITER 1071 NEW BEST:: SOT 6529862 SOS 5646808 HAS SOPS 5569033 HAS SOUS 2659376 HAS SOUPS 2636837 WITH SCORE 2642483.808
AT ITER 1080 NEW BEST:: SOT 6529680 SOS 5646626 HAS SOPS 5568851 HAS SOUS 2659184 HAS SOUPS 2636645 WITH SCORE 2642291.626
AT ITER 1082 NEW BEST:: SOT 6529290 SOS 5646236 HAS SOPS 5568461 HAS SOUS 2658578 HAS SOUPS 2636039 WITH SCORE 2641685.236
AT ITER 1087 NEW BEST:: SOT 6532809 SOS 5649493 HAS SOPS 5571796 HAS SOUS 2656962 HAS SOUPS 2634370 WITH SCORE 2640019.493
AT ITER 1095 NEW BEST:: SOT 6532795 SOS 5649479 HAS SOPS 5571782 HAS SOUS 2656752 HAS SOUPS 2634160 WITH SCORE 2639809.479
AT ITER 1113 NEW BEST:: SOT 6532335 SOS 5649019 HAS SOPS 5571322 HAS SOUS 2656347 HAS SOUPS 2633755 WITH SCORE 2639404.019
AT ITER 1115 NEW BEST:: SOT 6532147 SOS 5648834 HAS SOPS 5571140 HAS SOUS 2656032 HAS SOUPS 2633443 WITH SCORE 2639091.834
AT ITER 1116 NEW BEST:: SOT 6531695 SOS 5648382 HAS SOPS 5570688 HAS SOUS 2654990 HAS SOUPS 2632401 WITH SCORE 2638049.382
AT ITER 1121 NEW BEST:: SOT 6532093 SOS 5648474 HAS SOPS 5570924 HAS SOUS 2654963 HAS SOUPS 2632365 WITH SCORE 2638013.474
AT ITER 1150 NEW BEST:: SOT 6537975 SOS 5651197 HAS SOPS 5574167 HAS SOUS 2622105 HAS SOUPS 2599262 WITH SCORE 2604913.197
AT ITER 1162 NEW BEST:: SOT 6537975 SOS 5651053 HAS SOPS 5574023 HAS SOUS 2622089 HAS SOUPS 2599246 WITH SCORE 2604897.053
AT ITER 1163 NEW BEST:: SOT 6537912 SOS 5650990 HAS SOPS 5574010 HAS SOUS 2621419 HAS SOUPS 2598626 WITH SCORE 2604276.99
AT ITER 1165 NEW BEST:: SOT 6537912 SOS 5651415 HAS SOPS 5574494 HAS SOUS 2621128 HAS SOUPS 2598335 WITH SCORE 2603986.415
AT ITER 1189 NEW BEST:: SOT 6538315 SOS 5651450 HAS SOPS 5574699 HAS SOUS 2619844 HAS SOUPS 2597046 WITH SCORE 2602697.45
AT ITER 1191 NEW BEST:: SOT 6538111 SOS 5651234 HAS SOPS 5574495 HAS SOUS 2619823 HAS SOUPS 2597037 WITH SCORE 2602688.234
AT ITER 1198 NEW BEST:: SOT 6538049 SOS 5651172 HAS SOPS 5574433 HAS SOUS 2619650 HAS SOUPS 2596864 WITH SCORE 2602515.172
AT ITER 1201 NEW BEST:: SOT 6537897 SOS 5650712 HAS SOPS 5573973 HAS SOUS 2619038 HAS SOUPS 2596252 WITH SCORE 2601902.712
AT ITER 1207 NEW BEST:: SOT 6536454 SOS 5649079 HAS SOPS 5572530 HAS SOUS 2616880 HAS SOUPS 2594255 WITH SCORE 2599904.079
AT ITER 1227 NEW BEST:: SOT 6536424 SOS 5649041 HAS SOPS 5572500 HAS SOUS 2616870 HAS SOUPS 2594245 WITH SCORE 2599894.041
AT ITER 1240 NEW BEST:: SOT 6535580 SOS 5648176 HAS SOPS 5571656 HAS SOUS 2614865 HAS SOUPS 2592261 WITH SCORE 2597909.176
AT ITER 1242 NEW BEST:: SOT 6535543 SOS 5647985 HAS SOPS 5571465 HAS SOUS 2614553 HAS SOUPS 2591949 WITH SCORE 2597596.985
AT ITER 1243 NEW BEST:: SOT 6535530 SOS 5647972 HAS SOPS 5571452 HAS SOUS 2614540 HAS SOUPS 2591936 WITH SCORE 2597583.972
AT ITER 1251 NEW BEST:: SOT 6534079 SOS 5646449 HAS SOPS 5570001 HAS SOUS 2613040 HAS SOUPS 2590480 WITH SCORE 2596126.449
AT ITER 1264 NEW BEST:: SOT 6534059 SOS 5646429 HAS SOPS 5569981 HAS SOUS 2612953 HAS SOUPS 2590393 WITH SCORE 2596039.429
AT ITER 1271 NEW BEST:: SOT 6530492 SOS 5642854 HAS SOPS 5566398 HAS SOUS 2606507 HAS SOUPS 2583947 WITH SCORE 2589589.854
AT ITER 1273 NEW BEST:: SOT 6530488 SOS 5642850 HAS SOPS 5566394 HAS SOUS 2606505 HAS SOUPS 2583945 WITH SCORE 2589587.85
AT ITER 1303 NEW BEST:: SOT 6529786 SOS 5642148 HAS SOPS 5565692 HAS SOUS 2605299 HAS SOUPS 2582739 WITH SCORE 2588381.148
AT ITER 1313 NEW BEST:: SOT 6529773 SOS 5642125 HAS SOPS 5565679 HAS SOUS 2605153 HAS SOUPS 2582603 WITH SCORE 2588245.125
AT ITER 1318 NEW BEST:: SOT 6529573 SOS 5641925 HAS SOPS 5565469 HAS SOUS 2604953 HAS SOUPS 2582393 WITH SCORE 2588034.925
AT ITER 1328 NEW BEST:: SOT 6529571 SOS 5639843 HAS SOPS 5563849 HAS SOUS 2604782 HAS SOUPS 2582257 WITH SCORE 2587896.843
AT ITER 1350 NEW BEST:: SOT 6528849 SOS 5640090 HAS SOPS 5564133 HAS SOUS 2604193 HAS SOUPS 2581668 WITH SCORE 2587308.09
AT ITER 1351 NEW BEST:: SOT 6522836 SOS 5633971 HAS SOPS 5558120 HAS SOUS 2597386 HAS SOUPS 2574967 WITH SCORE 2580600.971
AT ITER 1356 NEW BEST:: SOT 6522429 SOS 5633564 HAS SOPS 5557693 HAS SOUS 2596979 HAS SOUPS 2574540 WITH SCORE 2580173.564
AT ITER 1358 NEW BEST:: SOT 6522534 SOS 5633711 HAS SOPS 5557798 HAS SOUS 2596574 HAS SOUPS 2574114 WITH SCORE 2579747.711
AT ITER 1359 NEW BEST:: SOT 6522462 SOS 5633608 HAS SOPS 5557692 HAS SOUS 2596431 HAS SOUPS 2573971 WITH SCORE 2579604.608
AT ITER 1370 NEW BEST:: SOT 6522218 SOS 5633364 HAS SOPS 5557448 HAS SOUS 2596101 HAS SOUPS 2573641 WITH SCORE 2579274.364
AT ITER 1399 NEW BEST:: SOT 6529494 SOS 5643022 HAS SOPS 5566338 HAS SOUS 2592498 HAS SOUPS 2569660 WITH SCORE 2575303.022
AT ITER 1403 NEW BEST:: SOT 6525369 SOS 5638897 HAS SOPS 5562193 HAS SOUS 2588466 HAS SOUPS 2565608 WITH SCORE 2571246.897
AT ITER 1426 NEW BEST:: SOT 6515247 SOS 5628775 HAS SOPS 5552071 HAS SOUS 2574587 HAS SOUPS 2551729 WITH SCORE 2557357.775
AT ITER 1429 NEW BEST:: SOT 6515247 SOS 5628829 HAS SOPS 5552125 HAS SOUS 2574553 HAS SOUPS 2551695 WITH SCORE 2557323.829
AT ITER 1448 NEW BEST:: SOT 6515200 SOS 5628843 HAS SOPS 5552200 HAS SOUS 2574446 HAS SOUPS 2551588 WITH SCORE 2557216.843
AT ITER 1452 NEW BEST:: SOT 6514920 SOS 5628571 HAS SOPS 5551920 HAS SOUS 2573429 HAS SOUPS 2550563 WITH SCORE 2556191.571
AT ITER 1461 NEW BEST:: SOT 6536395 SOS 5649166 HAS SOPS 5570835 HAS SOUS 2563235 HAS SOUPS 2538689 WITH SCORE 2544338.166
AT ITER 1474 NEW BEST:: SOT 6535985 SOS 5648756 HAS SOPS 5570447 HAS SOUS 2562832 HAS SOUPS 2538308 WITH SCORE 2543956.756
AT ITER 1497 NEW BEST:: SOT 6531662 SOS 5644556 HAS SOPS 5566624 HAS SOUS 2558594 HAS SOUPS 2534447 WITH SCORE 2540091.556
AT ITER 1499 NEW BEST:: SOT 6531610 SOS 5644504 HAS SOPS 5566572 HAS SOUS 2558516 HAS SOUPS 2534369 WITH SCORE 2540013.504
AT ITER 1511 NEW BEST:: SOT 6531102 SOS 5644428 HAS SOPS 5566280 HAS SOUS 2558506 HAS SOUPS 2534359 WITH SCORE 2540003.428
AT ITER 1514 NEW BEST:: SOT 6531102 SOS 5644434 HAS SOPS 5566274 HAS SOUS 2558488 HAS SOUPS 2534341 WITH SCORE 2539985.434
AT ITER 1533 NEW BEST:: SOT 6531102 SOS 5621474 HAS SOPS 5559574 HAS SOUS 2557199 HAS SOUPS 2533110 WITH SCORE 2538731.474
AT ITER 1543 NEW BEST:: SOT 6529247 SOS 5619552 HAS SOPS 5557719 HAS SOUS 2555494 HAS SOUPS 2531472 WITH SCORE 2537091.552
AT ITER 1544 NEW BEST:: SOT 6529461 SOS 5619979 HAS SOPS 5558017 HAS SOUS 2553312 HAS SOUPS 2529161 WITH SCORE 2534780.979
AT ITER 1548 NEW BEST:: SOT 6524196 SOS 5614714 HAS SOPS 5552752 HAS SOUS 2544214 HAS SOUPS 2520063 WITH SCORE 2525677.714
AT ITER 1570 NEW BEST:: SOT 6523524 SOS 5613942 HAS SOPS 5552080 HAS SOUS 2542684 HAS SOUPS 2518602 WITH SCORE 2524215.942
AT ITER 1581 NEW BEST:: SOT 6523072 SOS 5613490 HAS SOPS 5551628 HAS SOUS 2542245 HAS SOUPS 2518163 WITH SCORE 2523776.49
AT ITER 1617 NEW BEST:: SOT 6381514 SOS 5472994 HAS SOPS 5413089 HAS SOUS 2407865 HAS SOUPS 2385740 WITH SCORE 2391212.994
AT ITER 1621 NEW BEST:: SOT 6381140 SOS 5472619 HAS SOPS 5412713 HAS SOUS 2407599 HAS SOUPS 2385474 WITH SCORE 2390946.619
AT ITER 1623 NEW BEST:: SOT 6380421 SOS 5471958 HAS SOPS 5411994 HAS SOUS 2404336 HAS SOUPS 2382153 WITH SCORE 2387624.958
AT ITER 1627 NEW BEST:: SOT 6380411 SOS 5471948 HAS SOPS 5411984 HAS SOUS 2404068 HAS SOUPS 2381885 WITH SCORE 2387356.948
AT ITER 1634 NEW BEST:: SOT 6380326 SOS 5471863 HAS SOPS 5411899 HAS SOUS 2403810 HAS SOUPS 2381627 WITH SCORE 2387098.863
AT ITER 1635 NEW BEST:: SOT 6380545 SOS 5471696 HAS SOPS 5411748 HAS SOUS 2403560 HAS SOUPS 2381344 WITH SCORE 2386815.696
AT ITER 1655 NEW BEST:: SOT 6379828 SOS 5470061 HAS SOPS 5410183 HAS SOUS 2402770 HAS SOUPS 2380624 WITH SCORE 2386094.061
AT ITER 1667 NEW BEST:: SOT 6376716 SOS 5466890 HAS SOPS 5407071 HAS SOUS 2399080 HAS SOUPS 2376993 WITH SCORE 2382459.89
AT ITER 1681 NEW BEST:: SOT 6376720 SOS 5466894 HAS SOPS 5407075 HAS SOUS 2399024 HAS SOUPS 2376937 WITH SCORE 2382403.894
AT ITER 1695 NEW BEST:: SOT 6376720 SOS 5467042 HAS SOPS 5407227 HAS SOUS 2399012 HAS SOUPS 2376925 WITH SCORE 2382392.042
AT ITER 1705 NEW BEST:: SOT 6376405 SOS 5467882 HAS SOPS 5408120 HAS SOUS 2398382 HAS SOUPS 2376295 WITH SCORE 2381762.882
AT ITER 1706 NEW BEST:: SOT 6376173 SOS 5469128 HAS SOPS 5409366 HAS SOUS 2398249 HAS SOUPS 2376162 WITH SCORE 2381631.128
AT ITER 1711 NEW BEST:: SOT 6376161 SOS 5469116 HAS SOPS 5409354 HAS SOUS 2398225 HAS SOUPS 2376138 WITH SCORE 2381607.116
AT ITER 1713 NEW BEST:: SOT 6375974 SOS 5468929 HAS SOPS 5409167 HAS SOUS 2397767 HAS SOUPS 2375680 WITH SCORE 2381148.929
AT ITER 1721 NEW BEST:: SOT 6375821 SOS 5468776 HAS SOPS 5409014 HAS SOUS 2397570 HAS SOUPS 2375483 WITH SCORE 2380951.776
AT ITER 1728 NEW BEST:: SOT 6374428 SOS 5467190 HAS SOPS 5407632 HAS SOUS 2396914 HAS SOUPS 2374982 WITH SCORE 2380449.19
AT ITER 1732 NEW BEST:: SOT 6374356 SOS 5467118 HAS SOPS 5407560 HAS SOUS 2396846 HAS SOUPS 2374914 WITH SCORE 2380381.118
AT ITER 1759 NEW BEST:: SOT 6374212 SOS 5466970 HAS SOPS 5407416 HAS SOUS 2396697 HAS SOUPS 2374769 WITH SCORE 2380235.97
AT ITER 1779 NEW BEST:: SOT 6374167 SOS 5466529 HAS SOPS 5406975 HAS SOUS 2396615 HAS SOUPS 2374687 WITH SCORE 2380153.529
AT ITER 1788 NEW BEST:: SOT 6373700 SOS 5466477 HAS SOPS 5406724 HAS SOUS 2396307 HAS SOUPS 2374418 WITH SCORE 2379884.477
AT ITER 1841 NEW BEST:: SOT 6368529 SOS 5461446 HAS SOPS 5401973 HAS SOUS 2395114 HAS SOUPS 2373505 WITH SCORE 2378966.446
AT ITER 1876 NEW BEST:: SOT 6366646 SOS 5459605 HAS SOPS 5400174 HAS SOUS 2394715 HAS SOUPS 2373106 WITH SCORE 2378565.605
AT ITER 1884 NEW BEST:: SOT 6365824 SOS 5459867 HAS SOPS 5400436 HAS SOUS 2393504 HAS SOUPS 2371895 WITH SCORE 2377354.867
AT ITER 1900 NEW BEST:: SOT 6364993 SOS 5459012 HAS SOPS 5399645 HAS SOUS 2390037 HAS SOUPS 2368550 WITH SCORE 2374009.012
AT ITER 1936 NEW BEST:: SOT 6365061 SOS 5459067 HAS SOPS 5399713 HAS SOUS 2389871 HAS SOUPS 2368397 WITH SCORE 2373856.067
AT ITER 1954 NEW BEST:: SOT 6364907 SOS 5458913 HAS SOPS 5399559 HAS SOUS 2389681 HAS SOUPS 2368207 WITH SCORE 2373665.913
AT ITER 1966 NEW BEST:: SOT 6364670 SOS 5458353 HAS SOPS 5399050 HAS SOUS 2389123 HAS SOUPS 2367666 WITH SCORE 2373124.353
AT ITER 1985 NEW BEST:: SOT 6364670 SOS 5449840 HAS SOPS 5389975 HAS SOUS 2388509 HAS SOUPS 2367052 WITH SCORE 2372501.84
AT ITER 2006 NEW BEST:: SOT 6360502 SOS 5445557 HAS SOPS 5385807 HAS SOUS 2382555 HAS SOUPS 2361284 WITH SCORE 2366729.557
AT ITER 2022 NEW BEST:: SOT 6360404 SOS 5445458 HAS SOPS 5385707 HAS SOUS 2382354 HAS SOUPS 2361083 WITH SCORE 2366528.458
AT ITER 2033 NEW BEST:: SOT 6359441 SOS 5444533 HAS SOPS 5384744 HAS SOUS 2378968 HAS SOUPS 2357659 WITH SCORE 2363103.533
AT ITER 2045 NEW BEST:: SOT 6359432 SOS 5444584 HAS SOPS 5384855 HAS SOUS 2378792 HAS SOUPS 2357496 WITH SCORE 2362940.584
AT ITER 2047 NEW BEST:: SOT 6357226 SOS 5442378 HAS SOPS 5382649 HAS SOUS 2376612 HAS SOUPS 2355316 WITH SCORE 2360758.378
AT ITER 2074 NEW BEST:: SOT 6357226 SOS 5442378 HAS SOPS 5382649 HAS SOUS 2376604 HAS SOUPS 2355308 WITH SCORE 2360750.378
AT ITER 2078 NEW BEST:: SOT 6353189 SOS 5438253 HAS SOPS 5378602 HAS SOUS 2372922 HAS SOUPS 2351709 WITH SCORE 2357147.253
AT ITER 2083 NEW BEST:: SOT 6353189 SOS 5438265 HAS SOPS 5378594 HAS SOUS 2372910 HAS SOUPS 2351697 WITH SCORE 2357135.265
AT ITER 2093 NEW BEST:: SOT 6353168 SOS 5438900 HAS SOPS 5379877 HAS SOUS 2372502 HAS SOUPS 2351276 WITH SCORE 2356714.9
AT ITER 2095 NEW BEST:: SOT 6365053 SOS 5450211 HAS SOPS 5390130 HAS SOUS 2361969 HAS SOUPS 2339712 WITH SCORE 2345162.211
AT ITER 2118 NEW BEST:: SOT 6365037 SOS 5450195 HAS SOPS 5390114 HAS SOUS 2361905 HAS SOUPS 2339648 WITH SCORE 2345098.195
AT ITER 2123 NEW BEST:: SOT 6361384 SOS 5449402 HAS SOPS 5389884 HAS SOUS 2359923 HAS SOUPS 2338229 WITH SCORE 2343678.402
AT ITER 2125 NEW BEST:: SOT 6360338 SOS 5448356 HAS SOPS 5388838 HAS SOUS 2358463 HAS SOUPS 2336769 WITH SCORE 2342217.356
AT ITER 2131 NEW BEST:: SOT 6360155 SOS 5448165 HAS SOPS 5388655 HAS SOUS 2358375 HAS SOUPS 2336689 WITH SCORE 2342137.165
AT ITER 2132 NEW BEST:: SOT 6354687 SOS 5442627 HAS SOPS 5383187 HAS SOUS 2352505 HAS SOUPS 2330889 WITH SCORE 2336331.627
AT ITER 2148 NEW BEST:: SOT 6353561 SOS 5442451 HAS SOPS 5383051 HAS SOUS 2351008 HAS SOUPS 2329392 WITH SCORE 2334834.451
AT ITER 2160 NEW BEST:: SOT 6353198 SOS 5442088 HAS SOPS 5382688 HAS SOUS 2350645 HAS SOUPS 2329029 WITH SCORE 2334471.088
AT ITER 2162 NEW BEST:: SOT 6353052 SOS 5441926 HAS SOPS 5382542 HAS SOUS 2350628 HAS SOUPS 2329028 WITH SCORE 2334469.926
AT ITER 2168 NEW BEST:: SOT 6352584 SOS 5441458 HAS SOPS 5382074 HAS SOUS 2349846 HAS SOUPS 2328246 WITH SCORE 2333687.458
AT ITER 2172 NEW BEST:: SOT 6352444 SOS 5441318 HAS SOPS 5381934 HAS SOUS 2349638 HAS SOUPS 2328038 WITH SCORE 2333479.318
AT ITER 2225 NEW BEST:: SOT 6352219 SOS 5441229 HAS SOPS 5381853 HAS SOUS 2349429 HAS SOUPS 2327829 WITH SCORE 2333270.229
AT ITER 2226 NEW BEST:: SOT 6350139 SOS 5439149 HAS SOPS 5379773 HAS SOUS 2347021 HAS SOUPS 2325421 WITH SCORE 2330860.149
AT ITER 2232 NEW BEST:: SOT 6349771 SOS 5438774 HAS SOPS 5379391 HAS SOUS 2346918 HAS SOUPS 2325318 WITH SCORE 2330756.774
AT ITER 2247 NEW BEST:: SOT 6349759 SOS 5419389 HAS SOPS 5358063 HAS SOUS 2346875 HAS SOUPS 2325231 WITH SCORE 2330650.389
AT ITER 2277 NEW BEST:: SOT 6350112 SOS 5419734 HAS SOPS 5358400 HAS SOUS 2345505 HAS SOUPS 2323861 WITH SCORE 2329280.734
AT ITER 2285 NEW BEST:: SOT 6349957 SOS 5419579 HAS SOPS 5358245 HAS SOUS 2345402 HAS SOUPS 2323758 WITH SCORE 2329177.579
AT ITER 2307 NEW BEST:: SOT 6349859 SOS 5420446 HAS SOPS 5359517 HAS SOUS 2344714 HAS SOUPS 2322941 WITH SCORE 2328361.446
AT ITER 2314 NEW BEST:: SOT 6348538 SOS 5418989 HAS SOPS 5358196 HAS SOUS 2343480 HAS SOUPS 2321806 WITH SCORE 2327224.989
AT ITER 2330 NEW BEST:: SOT 6348876 SOS 5419375 HAS SOPS 5358630 HAS SOUS 2342113 HAS SOUPS 2320439 WITH SCORE 2325858.375
AT ITER 2342 NEW BEST:: SOT 6342943 SOS 5412875 HAS SOPS 5352217 HAS SOUS 2334112 HAS SOUPS 2312554 WITH SCORE 2317966.875
AT ITER 2352 NEW BEST:: SOT 6341014 SOS 5411002 HAS SOPS 5350421 HAS SOUS 2332565 HAS SOUPS 2311077 WITH SCORE 2316488.002
AT ITER 2386 NEW BEST:: SOT 6339372 SOS 5412996 HAS SOPS 5353774 HAS SOUS 2331125 HAS SOUPS 2310930 WITH SCORE 2316342.996
AT ITER 2397 NEW BEST:: SOT 6338992 SOS 5412537 HAS SOPS 5353408 HAS SOUS 2330992 HAS SOUPS 2310890 WITH SCORE 2316302.537
AT ITER 2404 NEW BEST:: SOT 6339484 SOS 5413029 HAS SOPS 5353900 HAS SOUS 2330826 HAS SOUPS 2310724 WITH SCORE 2316137.029
AT ITER 2408 NEW BEST:: SOT 6337779 SOS 5411240 HAS SOPS 5352195 HAS SOUS 2326521 HAS SOUPS 2306503 WITH SCORE 2311914.24
AT ITER 2443 NEW BEST:: SOT 6337740 SOS 5411210 HAS SOPS 5352116 HAS SOUS 2326168 HAS SOUPS 2306119 WITH SCORE 2311530.21
AT ITER 2476 NEW BEST:: SOT 6337687 SOS 5411157 HAS SOPS 5352063 HAS SOUS 2326073 HAS SOUPS 2306024 WITH SCORE 2311435.157
AT ITER 2486 NEW BEST:: SOT 6337728 SOS 5412311 HAS SOPS 5352374 HAS SOUS 2325958 HAS SOUPS 2305910 WITH SCORE 2311322.311
AT ITER 2498 NEW BEST:: SOT 6337751 SOS 5411463 HAS SOPS 5351621 HAS SOUS 2325882 HAS SOUPS 2305834 WITH SCORE 2311245.463
AT ITER 2512 NEW BEST:: SOT 6338860 SOS 5407589 HAS SOPS 5351329 HAS SOUS 2323402 HAS SOUPS 2303200 WITH SCORE 2308607.589
AT ITER 2515 NEW BEST:: SOT 6338875 SOS 5407628 HAS SOPS 5351368 HAS SOUS 2323361 HAS SOUPS 2303159 WITH SCORE 2308566.628
AT ITER 2527 NEW BEST:: SOT 6337963 SOS 5406716 HAS SOPS 5350456 HAS SOUS 2321711 HAS SOUPS 2301509 WITH SCORE 2306915.716
AT ITER 2559 NEW BEST:: SOT 6337511 SOS 5406230 HAS SOPS 5350004 HAS SOUS 2321079 HAS SOUPS 2300911 WITH SCORE 2306317.23
AT ITER 2564 NEW BEST:: SOT 6337580 SOS 5407558 HAS SOPS 5351515 HAS SOUS 2321003 HAS SOUPS 2300819 WITH SCORE 2306226.558
AT ITER 2592 NEW BEST:: SOT 6338462 SOS 5408519 HAS SOPS 5352397 HAS SOUS 2320909 HAS SOUPS 2300646 WITH SCORE 2306054.519
AT ITER 2610 NEW BEST:: SOT 6337597 SOS 5407654 HAS SOPS 5351660 HAS SOUS 2320482 HAS SOUPS 2300312 WITH SCORE 2305719.654
AT ITER 2614 NEW BEST:: SOT 6337597 SOS 5407421 HAS SOPS 5351446 HAS SOUS 2320443 HAS SOUPS 2300273 WITH SCORE 2305680.421
AT ITER 2637 NEW BEST:: SOT 6337597 SOS 5407204 HAS SOPS 5351188 HAS SOUS 2320173 HAS SOUPS 2300003 WITH SCORE 2305410.204
AT ITER 2639 NEW BEST:: SOT 6337597 SOS 5405256 HAS SOPS 5349240 HAS SOUS 2319697 HAS SOUPS 2299551 WITH SCORE 2304956.256
AT ITER 2660 NEW BEST:: SOT 6336869 SOS 5404528 HAS SOPS 5348512 HAS SOUS 2318644 HAS SOUPS 2298498 WITH SCORE 2303902.528
AT ITER 2695 NEW BEST:: SOT 6332719 SOS 5400247 HAS SOPS 5344362 HAS SOUS 2317943 HAS SOUPS 2297928 WITH SCORE 2303328.247
AT ITER 2724 NEW BEST:: SOT 6332636 SOS 5400294 HAS SOPS 5344409 HAS SOUS 2317147 HAS SOUPS 2297090 WITH SCORE 2302490.294
AT ITER 2784 NEW BEST:: SOT 6332495 SOS 5400153 HAS SOPS 5344268 HAS SOUS 2316909 HAS SOUPS 2296852 WITH SCORE 2302252.153
AT ITER 2792 NEW BEST:: SOT 6330732 SOS 5398292 HAS SOPS 5342509 HAS SOUS 2316037 HAS SOUPS 2296089 WITH SCORE 2301487.292
AT ITER 2793 NEW BEST:: SOT 6310588 SOS 5381566 HAS SOPS 5326638 HAS SOUS 2305036 HAS SOUPS 2285846 WITH SCORE 2291227.566
AT ITER 2821 NEW BEST:: SOT 6310317 SOS 5381292 HAS SOPS 5326361 HAS SOUS 2304623 HAS SOUPS 2285433 WITH SCORE 2290814.292
AT ITER 2834 NEW BEST:: SOT 6310361 SOS 5381347 HAS SOPS 5326405 HAS SOUS 2304431 HAS SOUPS 2285230 WITH SCORE 2290611.347
AT ITER 2837 NEW BEST:: SOT 6310346 SOS 5381332 HAS SOPS 5326390 HAS SOUS 2304391 HAS SOUPS 2285190 WITH SCORE 2290571.332
AT ITER 2841 NEW BEST:: SOT 6310106 SOS 5381092 HAS SOPS 5326150 HAS SOUS 2304151 HAS SOUPS 2284950 WITH SCORE 2290331.092
AT ITER 2844 NEW BEST:: SOT 6308227 SOS 5379206 HAS SOPS 5324501 HAS SOUS 2302796 HAS SOUPS 2283760 WITH SCORE 2289139.206
AT ITER 2850 NEW BEST:: SOT 6304920 SOS 5375821 HAS SOPS 5321194 HAS SOUS 2298979 HAS SOUPS 2280021 WITH SCORE 2285396.821
AT ITER 2855 NEW BEST:: SOT 6305561 SOS 5376502 HAS SOPS 5321836 HAS SOUS 2298759 HAS SOUPS 2279801 WITH SCORE 2285177.502
AT ITER 2861 NEW BEST:: SOT 6305207 SOS 5376148 HAS SOPS 5321482 HAS SOUS 2298405 HAS SOUPS 2279447 WITH SCORE 2284823.148
AT ITER 2863 NEW BEST:: SOT 6305168 SOS 5376109 HAS SOPS 5321443 HAS SOUS 2298350 HAS SOUPS 2279392 WITH SCORE 2284768.109
AT ITER 2894 NEW BEST:: SOT 6305162 SOS 5376103 HAS SOPS 5321437 HAS SOUS 2298350 HAS SOUPS 2279392 WITH SCORE 2284768.103
AT ITER 2902 NEW BEST:: SOT 6302132 SOS 5490814 HAS SOPS 5448408 HAS SOUS 2293314 HAS SOUPS 2276788 WITH SCORE 2282278.814
AT ITER 2915 NEW BEST:: SOT 6300803 SOS 5489485 HAS SOPS 5447079 HAS SOUS 2292180 HAS SOUPS 2275654 WITH SCORE 2281143.485
AT ITER 2919 NEW BEST:: SOT 6300803 SOS 5489385 HAS SOPS 5446979 HAS SOUS 2292175 HAS SOUPS 2275649 WITH SCORE 2281138.385
AT ITER 2945 NEW BEST:: SOT 6300733 SOS 5489315 HAS SOPS 5446909 HAS SOUS 2292019 HAS SOUPS 2275493 WITH SCORE 2280982.315
AT ITER 2959 NEW BEST:: SOT 6297797 SOS 5486511 HAS SOPS 5443973 HAS SOUS 2290205 HAS SOUPS 2273547 WITH SCORE 2279033.511
AT ITER 2964 NEW BEST:: SOT 6297788 SOS 5486502 HAS SOPS 5443964 HAS SOUS 2290179 HAS SOUPS 2273521 WITH SCORE 2279007.502
AT ITER 2967 NEW BEST:: SOT 6297788 SOS 5473980 HAS SOPS 5430498 HAS SOUS 2289384 HAS SOUPS 2272706 WITH SCORE 2278179.98
AT ITER 2999 NEW BEST:: SOT 6297732 SOS 5473924 HAS SOPS 5430442 HAS SOUS 2289346 HAS SOUPS 2272668 WITH SCORE 2278141.924
AT ITER 3017 NEW BEST:: SOT 6298238 SOS 5474305 HAS SOPS 5430628 HAS SOUS 2285351 HAS SOUPS 2268478 WITH SCORE 2273952.305
AT ITER 3032 NEW BEST:: SOT 6298240 SOS 5475773 HAS SOPS 5432164 HAS SOUS 2285263 HAS SOUPS 2268394 WITH SCORE 2273869.773
AT ITER 3034 NEW BEST:: SOT 6298412 SOS 5454836 HAS SOPS 5429692 HAS SOUS 2284428 HAS SOUPS 2267515 WITH SCORE 2272969.836
AT ITER 3056 NEW BEST:: SOT 6298258 SOS 5454682 HAS SOPS 5429538 HAS SOUS 2284213 HAS SOUPS 2267300 WITH SCORE 2272754.682
AT ITER 3110 NEW BEST:: SOT 6298255 SOS 5454679 HAS SOPS 5429535 HAS SOUS 2284210 HAS SOUPS 2267297 WITH SCORE 2272751.679
AT ITER 3111 NEW BEST:: SOT 6276097 SOS 5433340 HAS SOPS 5409009 HAS SOUS 2279638 HAS SOUPS 2263538 WITH SCORE 2268971.34
AT ITER 3112 NEW BEST:: SOT 6275686 SOS 5432851 HAS SOPS 5408598 HAS SOUS 2278031 HAS SOUPS 2261894 WITH SCORE 2267326.851
AT ITER 3119 NEW BEST:: SOT 6275670 SOS 5432835 HAS SOPS 5408582 HAS SOUS 2278014 HAS SOUPS 2261877 WITH SCORE 2267309.835
AT ITER 3131 NEW BEST:: SOT 6275670 SOS 5432350 HAS SOPS 5408107 HAS SOUS 2277999 HAS SOUPS 2261867 WITH SCORE 2267299.35
AT ITER 3138 NEW BEST:: SOT 6274336 SOS 5431438 HAS SOPS 5407419 HAS SOUS 2277432 HAS SOUPS 2261524 WITH SCORE 2266955.438
AT ITER 3143 NEW BEST:: SOT 6277627 SOS 5434420 HAS SOPS 5410697 HAS SOUS 2272875 HAS SOUPS 2257261 WITH SCORE 2262695.42
AT ITER 3149 NEW BEST:: SOT 6270238 SOS 5426857 HAS SOPS 5403308 HAS SOUS 2269658 HAS SOUPS 2254264 WITH SCORE 2259690.857
AT ITER 3153 NEW BEST:: SOT 6291712 SOS 5447493 HAS SOPS 5422773 HAS SOUS 2269543 HAS SOUPS 2252978 WITH SCORE 2258425.493
AT ITER 3157 NEW BEST:: SOT 6291684 SOS 5447465 HAS SOPS 5422745 HAS SOUS 2269521 HAS SOUPS 2252956 WITH SCORE 2258403.465
AT ITER 3171 NEW BEST:: SOT 6290078 SOS 5445727 HAS SOPS 5421139 HAS SOUS 2266947 HAS SOUPS 2250514 WITH SCORE 2255959.727
AT ITER 3178 NEW BEST:: SOT 6290354 SOS 5446003 HAS SOPS 5421415 HAS SOUS 2266862 HAS SOUPS 2250429 WITH SCORE 2255875.003
AT ITER 3211 NEW BEST:: SOT 6287960 SOS 5443481 HAS SOPS 5419021 HAS SOUS 2265173 HAS SOUPS 2248868 WITH SCORE 2254311.481
AT ITER 3246 NEW BEST:: SOT 6287795 SOS 5443316 HAS SOPS 5418856 HAS SOUS 2264439 HAS SOUPS 2248134 WITH SCORE 2253577.316
AT ITER 3270 NEW BEST:: SOT 6287795 SOS 5443314 HAS SOPS 5418854 HAS SOUS 2264437 HAS SOUPS 2248132 WITH SCORE 2253575.314
AT ITER 3282 NEW BEST:: SOT 6287729 SOS 5443248 HAS SOPS 5418788 HAS SOUS 2264374 HAS SOUPS 2248069 WITH SCORE 2253512.248
AT ITER 3319 NEW BEST:: SOT 6282174 SOS 5437507 HAS SOPS 5413233 HAS SOUS 2257101 HAS SOUPS 2240982 WITH SCORE 2246419.507
AT ITER 3332 NEW BEST:: SOT 6282690 SOS 5437837 HAS SOPS 5413488 HAS SOUS 2256299 HAS SOUPS 2240112 WITH SCORE 2245549.837
AT ITER 3346 NEW BEST:: SOT 6282661 SOS 5441193 HAS SOPS 5417057 HAS SOUS 2255542 HAS SOUPS 2239384 WITH SCORE 2244825.193
AT ITER 3347 NEW BEST:: SOT 6282615 SOS 5441065 HAS SOPS 5417023 HAS SOUS 2255452 HAS SOUPS 2239342 WITH SCORE 2244783.065
AT ITER 3349 NEW BEST:: SOT 6280447 SOS 5439349 HAS SOPS 5415354 HAS SOUS 2252969 HAS SOUPS 2236899 WITH SCORE 2242338.349
AT ITER 3389 NEW BEST:: SOT 6290861 SOS 5449202 HAS SOPS 5424748 HAS SOUS 2252793 HAS SOUPS 2236264 WITH SCORE 2241713.202
AT ITER 3398 NEW BEST:: SOT 6290830 SOS 5449221 HAS SOPS 5424717 HAS SOUS 2252661 HAS SOUPS 2236082 WITH SCORE 2241531.221
AT ITER 3402 NEW BEST:: SOT 6290792 SOS 5449183 HAS SOPS 5424679 HAS SOUS 2252586 HAS SOUPS 2236007 WITH SCORE 2241456.183
AT ITER 3433 NEW BEST:: SOT 6289489 SOS 5447880 HAS SOPS 5423376 HAS SOUS 2250804 HAS SOUPS 2234225 WITH SCORE 2239672.88
AT ITER 3441 NEW BEST:: SOT 6289483 SOS 5447874 HAS SOPS 5423370 HAS SOUS 2250791 HAS SOUPS 2234212 WITH SCORE 2239659.874
AT ITER 3442 NEW BEST:: SOT 6287512 SOS 5445811 HAS SOPS 5421399 HAS SOUS 2247494 HAS SOUPS 2230961 WITH SCORE 2236406.811
AT ITER 3447 NEW BEST:: SOT 6286745 SOS 5445033 HAS SOPS 5420632 HAS SOUS 2246735 HAS SOUPS 2230213 WITH SCORE 2235658.033
AT ITER 3454 NEW BEST:: SOT 6286162 SOS 5444450 HAS SOPS 5420049 HAS SOUS 2246152 HAS SOUPS 2229630 WITH SCORE 2235074.45
AT ITER 3468 NEW BEST:: SOT 6286170 SOS 5444458 HAS SOPS 5420057 HAS SOUS 2246071 HAS SOUPS 2229549 WITH SCORE 2234993.458
AT ITER 3490 NEW BEST:: SOT 6286170 SOS 5441256 HAS SOPS 5416773 HAS SOUS 2245994 HAS SOUPS 2229467 WITH SCORE 2234908.256
AT ITER 3497 NEW BEST:: SOT 6281265 SOS 5436466 HAS SOPS 5412157 HAS SOUS 2242867 HAS SOUPS 2226514 WITH SCORE 2231950.466
AT ITER 3516 NEW BEST:: SOT 6281197 SOS 5436398 HAS SOPS 5412089 HAS SOUS 2242601 HAS SOUPS 2226248 WITH SCORE 2231684.398
AT ITER 3534 NEW BEST:: SOT 6281126 SOS 5436593 HAS SOPS 5412306 HAS SOUS 2241514 HAS SOUPS 2225183 WITH SCORE 2230619.593
AT ITER 3539 NEW BEST:: SOT 6281094 SOS 5436561 HAS SOPS 5412274 HAS SOUS 2240992 HAS SOUPS 2224661 WITH SCORE 2230097.561
AT ITER 3544 NEW BEST:: SOT 6281050 SOS 5436517 HAS SOPS 5412230 HAS SOUS 2240107 HAS SOUPS 2223776 WITH SCORE 2229212.517
AT ITER 3578 NEW BEST:: SOT 6280938 SOS 5436456 HAS SOPS 5412118 HAS SOUS 2237622 HAS SOUPS 2221240 WITH SCORE 2226676.456
AT ITER 3583 NEW BEST:: SOT 6276710 SOS 5432582 HAS SOPS 5408244 HAS SOUS 2233832 HAS SOUPS 2217450 WITH SCORE 2222882.582
AT ITER 3591 NEW BEST:: SOT 6276544 SOS 5432416 HAS SOPS 5408078 HAS SOUS 2233762 HAS SOUPS 2217380 WITH SCORE 2222812.416
AT ITER 3593 NEW BEST:: SOT 6276465 SOS 5432337 HAS SOPS 5407999 HAS SOUS 2233689 HAS SOUPS 2217307 WITH SCORE 2222739.337
AT ITER 3596 NEW BEST:: SOT 6274447 SOS 5430257 HAS SOPS 5405981 HAS SOUS 2231522 HAS SOUPS 2215202 WITH SCORE 2220632.257
AT ITER 3598 NEW BEST:: SOT 6271765 SOS 5427493 HAS SOPS 5403299 HAS SOUS 2228147 HAS SOUPS 2211909 WITH SCORE 2217336.493
AT ITER 3610 NEW BEST:: SOT 6271688 SOS 5427133 HAS SOPS 5402954 HAS SOUS 2226175 HAS SOUPS 2209937 WITH SCORE 2215364.133
AT ITER 3615 NEW BEST:: SOT 6271518 SOS 5426960 HAS SOPS 5402784 HAS SOUS 2225986 HAS SOUPS 2209751 WITH SCORE 2215177.96
AT ITER 3630 NEW BEST:: SOT 6271442 SOS 5426884 HAS SOPS 5402708 HAS SOUS 2225916 HAS SOUPS 2209681 WITH SCORE 2215107.884
AT ITER 3652 NEW BEST:: SOT 6270636 SOS 5426078 HAS SOPS 5401902 HAS SOUS 2225010 HAS SOUPS 2208775 WITH SCORE 2214201.078
AT ITER 3662 NEW BEST:: SOT 6270444 SOS 5425880 HAS SOPS 5401710 HAS SOUS 2224802 HAS SOUPS 2208573 WITH SCORE 2213998.88
AT ITER 3669 NEW BEST:: SOT 6270440 SOS 5425876 HAS SOPS 5401706 HAS SOUS 2224798 HAS SOUPS 2208569 WITH SCORE 2213994.876
AT ITER 3670 NEW BEST:: SOT 6270285 SOS 5425714 HAS SOPS 5401551 HAS SOUS 2224531 HAS SOUPS 2208309 WITH SCORE 2213734.714
AT ITER 3706 NEW BEST:: SOT 6270051 SOS 5425480 HAS SOPS 5401317 HAS SOUS 2224120 HAS SOUPS 2207898 WITH SCORE 2213323.48
AT ITER 3715 NEW BEST:: SOT 6269641 SOS 5425070 HAS SOPS 5400907 HAS SOUS 2223633 HAS SOUPS 2207411 WITH SCORE 2212836.07
AT ITER 3724 NEW BEST:: SOT 6269186 SOS 5424615 HAS SOPS 5400452 HAS SOUS 2221888 HAS SOUPS 2205666 WITH SCORE 2211090.615
AT ITER 3736 NEW BEST:: SOT 6268409 SOS 5423838 HAS SOPS 5399675 HAS SOUS 2221111 HAS SOUPS 2204889 WITH SCORE 2210312.838
AT ITER 3753 NEW BEST:: SOT 6268416 SOS 5423845 HAS SOPS 5399682 HAS SOUS 2220865 HAS SOUPS 2204643 WITH SCORE 2210066.845
AT ITER 3757 NEW BEST:: SOT 6267737 SOS 5423151 HAS SOPS 5399003 HAS SOUS 2219630 HAS SOUPS 2203423 WITH SCORE 2208846.151
AT ITER 3758 NEW BEST:: SOT 6267457 SOS 5422871 HAS SOPS 5398723 HAS SOUS 2219270 HAS SOUPS 2203063 WITH SCORE 2208485.871
AT ITER 3760 NEW BEST:: SOT 6268551 SOS 5413136 HAS SOPS 5388720 HAS SOUS 2219034 HAS SOUPS 2202827 WITH SCORE 2208240.136
AT ITER 3766 NEW BEST:: SOT 6268271 SOS 5412856 HAS SOPS 5388440 HAS SOUS 2218460 HAS SOUPS 2202253 WITH SCORE 2207665.856
AT ITER 3782 NEW BEST:: SOT 6268035 SOS 5412608 HAS SOPS 5388204 HAS SOUS 2218043 HAS SOUPS 2201848 WITH SCORE 2207260.608
AT ITER 3805 NEW BEST:: SOT 6267743 SOS 5412301 HAS SOPS 5387912 HAS SOUS 2217915 HAS SOUPS 2201735 WITH SCORE 2207147.301
AT ITER 3825 NEW BEST:: SOT 6267973 SOS 5412531 HAS SOPS 5388142 HAS SOUS 2217708 HAS SOUPS 2201528 WITH SCORE 2206940.531
AT ITER 3850 NEW BEST:: SOT 6266511 SOS 5410973 HAS SOPS 5386680 HAS SOUS 2216147 HAS SOUPS 2200063 WITH SCORE 2205473.973
AT ITER 3872 NEW BEST:: SOT 6264926 SOS 5409376 HAS SOPS 5385095 HAS SOUS 2212651 HAS SOUPS 2196579 WITH SCORE 2201988.376
AT ITER 3875 NEW BEST:: SOT 6264912 SOS 5409362 HAS SOPS 5385081 HAS SOUS 2212623 HAS SOUPS 2196551 WITH SCORE 2201960.362
AT ITER 3966 NEW BEST:: SOT 6264773 SOS 5409223 HAS SOPS 5384942 HAS SOUS 2212210 HAS SOUPS 2196138 WITH SCORE 2201547.223
AT ITER 3982 NEW BEST:: SOT 6264772 SOS 5409222 HAS SOPS 5384941 HAS SOUS 2212168 HAS SOUPS 2196096 WITH SCORE 2201505.222
AT ITER 3992 NEW BEST:: SOT 6259846 SOS 5405019 HAS SOPS 5380951 HAS SOUS 2210105 HAS SOUPS 2194246 WITH SCORE 2199651.019
AT ITER 4000 NEW BEST:: SOT 6278998 SOS 5423753 HAS SOPS 5398760 HAS SOUS 2209431 HAS SOUPS 2192647 WITH SCORE 2198070.753
AT ITER 4001 NEW BEST:: SOT 6278637 SOS 5423392 HAS SOPS 5398399 HAS SOUS 2208629 HAS SOUPS 2191845 WITH SCORE 2197268.392
AT ITER 4007 NEW BEST:: SOT 6278641 SOS 5423397 HAS SOPS 5398403 HAS SOUS 2208629 HAS SOUPS 2191844 WITH SCORE 2197267.397
AT ITER 4019 NEW BEST:: SOT 6278641 SOS 5423397 HAS SOPS 5398403 HAS SOUS 2208609 HAS SOUPS 2191824 WITH SCORE 2197247.397
AT ITER 4025 NEW BEST:: SOT 6278641 SOS 5422285 HAS SOPS 5397339 HAS SOUS 2208497 HAS SOUPS 2191724 WITH SCORE 2197146.285
AT ITER 4082 NEW BEST:: SOT 6276433 SOS 5418933 HAS SOPS 5393691 HAS SOUS 2207104 HAS SOUPS 2190157 WITH SCORE 2195575.933
AT ITER 4085 NEW BEST:: SOT 6276421 SOS 5418918 HAS SOPS 5393679 HAS SOUS 2207098 HAS SOUPS 2190154 WITH SCORE 2195572.918
AT ITER 4090 NEW BEST:: SOT 6276070 SOS 5418571 HAS SOPS 5393328 HAS SOUS 2206476 HAS SOUPS 2189528 WITH SCORE 2194946.571
AT ITER 4092 NEW BEST:: SOT 6275405 SOS 5417887 HAS SOPS 5392663 HAS SOUS 2204713 HAS SOUPS 2187784 WITH SCORE 2193201.887
AT ITER 4095 NEW BEST:: SOT 6273937 SOS 5416364 HAS SOPS 5391195 HAS SOUS 2202686 HAS SOUPS 2185812 WITH SCORE 2191228.364
AT ITER 4100 NEW BEST:: SOT 6274099 SOS 5416536 HAS SOPS 5391357 HAS SOUS 2202493 HAS SOUPS 2185609 WITH SCORE 2191025.536
AT ITER 4111 NEW BEST:: SOT 6274029 SOS 5416398 HAS SOPS 5391219 HAS SOUS 2202126 HAS SOUPS 2185242 WITH SCORE 2190658.398
AT ITER 4123 NEW BEST:: SOT 6274232 SOS 5416605 HAS SOPS 5391422 HAS SOUS 2202083 HAS SOUPS 2185195 WITH SCORE 2190611.605
AT ITER 4149 NEW BEST:: SOT 6273481 SOS 5415854 HAS SOPS 5390671 HAS SOUS 2200166 HAS SOUPS 2183278 WITH SCORE 2188693.854
AT ITER 4152 NEW BEST:: SOT 6273476 SOS 5415850 HAS SOPS 5390666 HAS SOUS 2200143 HAS SOUPS 2183254 WITH SCORE 2188669.85
AT ITER 4192 NEW BEST:: SOT 6271693 SOS 5414057 HAS SOPS 5388883 HAS SOUS 2198257 HAS SOUPS 2181378 WITH SCORE 2186792.057
AT ITER 4200 NEW BEST:: SOT 6268625 SOS 5411296 HAS SOPS 5386301 HAS SOUS 2196628 HAS SOUPS 2179928 WITH SCORE 2185339.296
AT ITER 4206 NEW BEST:: SOT 6268312 SOS 5410983 HAS SOPS 5385988 HAS SOUS 2196034 HAS SOUPS 2179334 WITH SCORE 2184744.983
AT ITER 4224 NEW BEST:: SOT 6268306 SOS 5410977 HAS SOPS 5385982 HAS SOUS 2196020 HAS SOUPS 2179320 WITH SCORE 2184730.977
AT ITER 4235 NEW BEST:: SOT 6268165 SOS 5410833 HAS SOPS 5385841 HAS SOUS 2195819 HAS SOUPS 2179122 WITH SCORE 2184532.833
AT ITER 4268 NEW BEST:: SOT 6267109 SOS 5409777 HAS SOPS 5384785 HAS SOUS 2194386 HAS SOUPS 2177689 WITH SCORE 2183098.777
AT ITER 4277 NEW BEST:: SOT 6267075 SOS 5409742 HAS SOPS 5384751 HAS SOUS 2194345 HAS SOUPS 2177649 WITH SCORE 2183058.742
AT ITER 4281 NEW BEST:: SOT 6267031 SOS 5409702 HAS SOPS 5384707 HAS SOUS 2194243 HAS SOUPS 2177543 WITH SCORE 2182952.702
AT ITER 4324 NEW BEST:: SOT 6266974 SOS 5409645 HAS SOPS 5384650 HAS SOUS 2194186 HAS SOUPS 2177486 WITH SCORE 2182895.645
AT ITER 4347 NEW BEST:: SOT 6266679 SOS 5409336 HAS SOPS 5384355 HAS SOUS 2193811 HAS SOUPS 2177125 WITH SCORE 2182534.336
AT ITER 4369 NEW BEST:: SOT 6264391 SOS 5407246 HAS SOPS 5382373 HAS SOUS 2192540 HAS SOUPS 2175962 WITH SCORE 2181369.246
AT ITER 4370 NEW BEST:: SOT 6264127 SOS 5406995 HAS SOPS 5382109 HAS SOUS 2191817 HAS SOUPS 2175226 WITH SCORE 2180632.995
AT ITER 4377 NEW BEST:: SOT 6264133 SOS 5407001 HAS SOPS 5382115 HAS SOUS 2191760 HAS SOUPS 2175169 WITH SCORE 2180576.001
AT ITER 4395 NEW BEST:: SOT 6264406 SOS 5407316 HAS SOPS 5382388 HAS SOUS 2191693 HAS SOUPS 2175060 WITH SCORE 2180467.316
AT ITER 4396 NEW BEST:: SOT 6263508 SOS 5406418 HAS SOPS 5381490 HAS SOUS 2190275 HAS SOUPS 2173642 WITH SCORE 2179048.418
AT ITER 4474 NEW BEST:: SOT 6263508 SOS 5406418 HAS SOPS 5381490 HAS SOUS 2190269 HAS SOUPS 2173636 WITH SCORE 2179042.418
AT ITER 4481 NEW BEST:: SOT 6262564 SOS 5405474 HAS SOPS 5380546 HAS SOUS 2188506 HAS SOUPS 2171873 WITH SCORE 2177278.474
AT ITER 4485 NEW BEST:: SOT 6262234 SOS 5405144 HAS SOPS 5380216 HAS SOUS 2188021 HAS SOUPS 2171388 WITH SCORE 2176793.144
AT ITER 4543 NEW BEST:: SOT 6262120 SOS 5405030 HAS SOPS 5380102 HAS SOUS 2187954 HAS SOUPS 2171321 WITH SCORE 2176726.03
AT ITER 4545 NEW BEST:: SOT 6262020 SOS 5404930 HAS SOPS 5380002 HAS SOUS 2187668 HAS SOUPS 2171035 WITH SCORE 2176439.93
AT ITER 4547 NEW BEST:: SOT 6262020 SOS 5398857 HAS SOPS 5373873 HAS SOUS 2187216 HAS SOUPS 2170583 WITH SCORE 2175981.857
AT ITER 4553 NEW BEST:: SOT 6262026 SOS 5398863 HAS SOPS 5373879 HAS SOUS 2187194 HAS SOUPS 2170561 WITH SCORE 2175959.863
AT ITER 4564 NEW BEST:: SOT 6261969 SOS 5398806 HAS SOPS 5373822 HAS SOUS 2187137 HAS SOUPS 2170504 WITH SCORE 2175902.806
AT ITER 4596 NEW BEST:: SOT 6261969 SOS 5398770 HAS SOPS 5373784 HAS SOUS 2187135 HAS SOUPS 2170502 WITH SCORE 2175900.77
AT ITER 4599 NEW BEST:: SOT 6260577 SOS 5397365 HAS SOPS 5372392 HAS SOUS 2184629 HAS SOUPS 2168009 WITH SCORE 2173406.365
AT ITER 4624 NEW BEST:: SOT 6260467 SOS 5397265 HAS SOPS 5372282 HAS SOUS 2184025 HAS SOUPS 2167395 WITH SCORE 2172792.265
AT ITER 4646 NEW BEST:: SOT 6259794 SOS 5396592 HAS SOPS 5371609 HAS SOUS 2182875 HAS SOUPS 2166245 WITH SCORE 2171641.592
AT ITER 4655 NEW BEST:: SOT 6259794 SOS 5393311 HAS SOPS 5368279 HAS SOUS 2182846 HAS SOUPS 2166208 WITH SCORE 2171601.311
AT ITER 4665 NEW BEST:: SOT 6259776 SOS 5393293 HAS SOPS 5368261 HAS SOUS 2182746 HAS SOUPS 2166108 WITH SCORE 2171501.293
AT ITER 4686 NEW BEST:: SOT 6258352 SOS 5391869 HAS SOPS 5366837 HAS SOUS 2181406 HAS SOUPS 2164768 WITH SCORE 2170159.869
AT ITER 4697 NEW BEST:: SOT 6256130 SOS 5389599 HAS SOPS 5364615 HAS SOUS 2177530 HAS SOUPS 2160940 WITH SCORE 2166329.599
AT ITER 4699 NEW BEST:: SOT 6256129 SOS 5389598 HAS SOPS 5364614 HAS SOUS 2177529 HAS SOUPS 2160939 WITH SCORE 2166328.598
AT ITER 4709 NEW BEST:: SOT 6255909 SOS 5389378 HAS SOPS 5364394 HAS SOUS 2177309 HAS SOUPS 2160719 WITH SCORE 2166108.378
AT ITER 4727 NEW BEST:: SOT 6256061 SOS 5389528 HAS SOPS 5364546 HAS SOUS 2176703 HAS SOUPS 2160115 WITH SCORE 2165504.528
AT ITER 4757 NEW BEST:: SOT 6255529 SOS 5387374 HAS SOPS 5362498 HAS SOUS 2176239 HAS SOUPS 2159712 WITH SCORE 2165099.374
AT ITER 4758 NEW BEST:: SOT 6255525 SOS 5387370 HAS SOPS 5362494 HAS SOUS 2176215 HAS SOUPS 2159688 WITH SCORE 2165075.37
AT ITER 4761 NEW BEST:: SOT 6254531 SOS 5386411 HAS SOPS 5361585 HAS SOUS 2175947 HAS SOUPS 2159470 WITH SCORE 2164856.411
AT ITER 4763 NEW BEST:: SOT 6254529 SOS 5386409 HAS SOPS 5361583 HAS SOUS 2175942 HAS SOUPS 2159465 WITH SCORE 2164851.409
AT ITER 4771 NEW BEST:: SOT 6253505 SOS 5385431 HAS SOPS 5360559 HAS SOUS 2175691 HAS SOUPS 2159168 WITH SCORE 2164553.431
AT ITER 4786 NEW BEST:: SOT 6253233 SOS 5385159 HAS SOPS 5360287 HAS SOUS 2175271 HAS SOUPS 2158748 WITH SCORE 2164133.159
AT ITER 4794 NEW BEST:: SOT 6253117 SOS 5385040 HAS SOPS 5360171 HAS SOUS 2175157 HAS SOUPS 2158637 WITH SCORE 2164022.04
AT ITER 4814 NEW BEST:: SOT 6249094 SOS 5381193 HAS SOPS 5356522 HAS SOUS 2173284 HAS SOUPS 2156962 WITH SCORE 2162343.193
AT ITER 4822 NEW BEST:: SOT 6248937 SOS 5381036 HAS SOPS 5356365 HAS SOUS 2172972 HAS SOUPS 2156650 WITH SCORE 2162031.036
AT ITER 4862 NEW BEST:: SOT 6246974 SOS 5378994 HAS SOPS 5354402 HAS SOUS 2171644 HAS SOUPS 2155401 WITH SCORE 2160779.994
AT ITER 4865 NEW BEST:: SOT 6245961 SOS 5377958 HAS SOPS 5353389 HAS SOUS 2170197 HAS SOUPS 2153977 WITH SCORE 2159354.958
AT ITER 4920 NEW BEST:: SOT 6244936 SOS 5376898 HAS SOPS 5352364 HAS SOUS 2168789 HAS SOUPS 2152604 WITH SCORE 2157980.898
AT ITER 4987 NEW BEST:: SOT 6244660 SOS 5376608 HAS SOPS 5352088 HAS SOUS 2168551 HAS SOUPS 2152380 WITH SCORE 2157756.608
AT ITER 5018 NEW BEST:: SOT 6244401 SOS 5376477 HAS SOPS 5351999 HAS SOUS 2168501 HAS SOUPS 2152372 WITH SCORE 2157748.477
AT ITER 5029 NEW BEST:: SOT 6244375 SOS 5376451 HAS SOPS 5351973 HAS SOUS 2168389 HAS SOUPS 2152260 WITH SCORE 2157636.451
AT ITER 5030 NEW BEST:: SOT 6244397 SOS 5376473 HAS SOPS 5351995 HAS SOUS 2168274 HAS SOUPS 2152145 WITH SCORE 2157521.473
AT ITER 5043 NEW BEST:: SOT 6244703 SOS 5376810 HAS SOPS 5352301 HAS SOUS 2167967 HAS SOUPS 2151807 WITH SCORE 2157183.81
AT ITER 5064 NEW BEST:: SOT 6244665 SOS 5376772 HAS SOPS 5352263 HAS SOUS 2167844 HAS SOUPS 2151684 WITH SCORE 2157060.772
AT ITER 5114 NEW BEST:: SOT 6244653 SOS 5376760 HAS SOPS 5352251 HAS SOUS 2167524 HAS SOUPS 2151364 WITH SCORE 2156740.76
AT ITER 5120 NEW BEST:: SOT 6244883 SOS 5376990 HAS SOPS 5352481 HAS SOUS 2167330 HAS SOUPS 2151170 WITH SCORE 2156546.99
AT ITER 5176 NEW BEST:: SOT 6242272 SOS 5378605 HAS SOPS 5354149 HAS SOUS 2166519 HAS SOUPS 2150435 WITH SCORE 2155813.605
AT ITER 5196 NEW BEST:: SOT 6242290 SOS 5378628 HAS SOPS 5354167 HAS SOUS 2166521 HAS SOUPS 2150432 WITH SCORE 2155810.628
AT ITER 5225 NEW BEST:: SOT 6241968 SOS 5378363 HAS SOPS 5353845 HAS SOUS 2164890 HAS SOUPS 2148744 WITH SCORE 2154122.363
AT ITER 5276 NEW BEST:: SOT 6241313 SOS 5377682 HAS SOPS 5353190 HAS SOUS 2164007 HAS SOUPS 2147887 WITH SCORE 2153264.682
AT ITER 5296 NEW BEST:: SOT 6239460 SOS 5375787 HAS SOPS 5351337 HAS SOUS 2162825 HAS SOUPS 2146747 WITH SCORE 2152122.787
AT ITER 5299 NEW BEST:: SOT 6239448 SOS 5375775 HAS SOPS 5351325 HAS SOUS 2162789 HAS SOUPS 2146711 WITH SCORE 2152086.775
AT ITER 5309 NEW BEST:: SOT 6239572 SOS 5375899 HAS SOPS 5351449 HAS SOUS 2162730 HAS SOUPS 2146652 WITH SCORE 2152027.899
AT ITER 5326 NEW BEST:: SOT 6239572 SOS 5375899 HAS SOPS 5351449 HAS SOUS 2162598 HAS SOUPS 2146520 WITH SCORE 2151895.899
AT ITER 5328 NEW BEST:: SOT 6235941 SOS 5372123 HAS SOPS 5347818 HAS SOUS 2158985 HAS SOUPS 2143052 WITH SCORE 2148424.123
AT ITER 5341 NEW BEST:: SOT 6235964 SOS 5372153 HAS SOPS 5347841 HAS SOUS 2158861 HAS SOUPS 2142921 WITH SCORE 2148293.153
AT ITER 5343 NEW BEST:: SOT 6235964 SOS 5372211 HAS SOPS 5348017 HAS SOUS 2158687 HAS SOUPS 2142760 WITH SCORE 2148132.211
AT ITER 5351 NEW BEST:: SOT 6235760 SOS 5372007 HAS SOPS 5347813 HAS SOUS 2158483 HAS SOUPS 2142556 WITH SCORE 2147928.007
AT ITER 5365 NEW BEST:: SOT 6231976 SOS 5368223 HAS SOPS 5344029 HAS SOUS 2156373 HAS SOUPS 2140446 WITH SCORE 2145814.223
AT ITER 5396 NEW BEST:: SOT 6231817 SOS 5368047 HAS SOPS 5343870 HAS SOUS 2156307 HAS SOUPS 2140397 WITH SCORE 2145765.047
AT ITER 5407 NEW BEST:: SOT 6231739 SOS 5367996 HAS SOPS 5343792 HAS SOUS 2156260 HAS SOUPS 2140323 WITH SCORE 2145690.996
AT ITER 5409 NEW BEST:: SOT 6231594 SOS 5367908 HAS SOPS 5343647 HAS SOUS 2155849 HAS SOUPS 2139855 WITH SCORE 2145222.908
AT ITER 5428 NEW BEST:: SOT 6230304 SOS 5366618 HAS SOPS 5342357 HAS SOUS 2153525 HAS SOUPS 2137531 WITH SCORE 2142897.618
AT ITER 5442 NEW BEST:: SOT 6229529 SOS 5365843 HAS SOPS 5341582 HAS SOUS 2152327 HAS SOUPS 2136333 WITH SCORE 2141698.843
AT ITER 5457 NEW BEST:: SOT 6229436 SOS 5366036 HAS SOPS 5341775 HAS SOUS 2152178 HAS SOUPS 2136184 WITH SCORE 2141550.036
AT ITER 5465 NEW BEST:: SOT 6229267 SOS 5365867 HAS SOPS 5341606 HAS SOUS 2152025 HAS SOUPS 2136031 WITH SCORE 2141396.867
AT ITER 5468 NEW BEST:: SOT 6229072 SOS 5365672 HAS SOPS 5341411 HAS SOUS 2152013 HAS SOUPS 2136019 WITH SCORE 2141384.672
AT ITER 5476 NEW BEST:: SOT 6229037 SOS 5365637 HAS SOPS 5341376 HAS SOUS 2151996 HAS SOUPS 2136002 WITH SCORE 2141367.637
AT ITER 5481 NEW BEST:: SOT 6229002 SOS 5365602 HAS SOPS 5341341 HAS SOUS 2151881 HAS SOUPS 2135887 WITH SCORE 2141252.602
AT ITER 5518 NEW BEST:: SOT 6225775 SOS 5362375 HAS SOPS 5338114 HAS SOUS 2146678 HAS SOUPS 2130684 WITH SCORE 2136046.375
AT ITER 5526 NEW BEST:: SOT 6225763 SOS 5362373 HAS SOPS 5338102 HAS SOUS 2146604 HAS SOUPS 2130600 WITH SCORE 2135962.373
AT ITER 5546 NEW BEST:: SOT 6225763 SOS 5362373 HAS SOPS 5338102 HAS SOUS 2146587 HAS SOUPS 2130583 WITH SCORE 2135945.373
AT ITER 5583 NEW BEST:: SOT 6221680 SOS 5358318 HAS SOPS 5334131 HAS SOUS 2142763 HAS SOUPS 2126843 WITH SCORE 2132201.318
AT ITER 5630 NEW BEST:: SOT 6221660 SOS 5358298 HAS SOPS 5334111 HAS SOUS 2142731 HAS SOUPS 2126811 WITH SCORE 2132169.298
AT ITER 5704 NEW BEST:: SOT 6221672 SOS 5358313 HAS SOPS 5334123 HAS SOUS 2142722 HAS SOUPS 2126799 WITH SCORE 2132157.313
AT ITER 5712 NEW BEST:: SOT 6220741 SOS 5357371 HAS SOPS 5333192 HAS SOUS 2141571 HAS SOUPS 2125659 WITH SCORE 2131016.371
AT ITER 5729 NEW BEST:: SOT 6220680 SOS 5357310 HAS SOPS 5333131 HAS SOUS 2141506 HAS SOUPS 2125594 WITH SCORE 2130951.31
AT ITER 5737 NEW BEST:: SOT 6220231 SOS 5356861 HAS SOPS 5332682 HAS SOUS 2140632 HAS SOUPS 2124720 WITH SCORE 2130076.861
AT ITER 5793 NEW BEST:: SOT 6220231 SOS 5356861 HAS SOPS 5332682 HAS SOUS 2140629 HAS SOUPS 2124717 WITH SCORE 2130073.861
AT ITER 5806 NEW BEST:: SOT 6220160 SOS 5356790 HAS SOPS 5332611 HAS SOUS 2140432 HAS SOUPS 2124520 WITH SCORE 2129876.79
AT ITER 5825 NEW BEST:: SOT 6219922 SOS 5356548 HAS SOPS 5332373 HAS SOUS 2140157 HAS SOUPS 2124249 WITH SCORE 2129605.548
AT ITER 5850 NEW BEST:: SOT 6219311 SOS 5355844 HAS SOPS 5331762 HAS SOUS 2140011 HAS SOUPS 2124196 WITH SCORE 2129551.844
AT ITER 5861 NEW BEST:: SOT 6218924 SOS 5355457 HAS SOPS 5331375 HAS SOUS 2139624 HAS SOUPS 2123809 WITH SCORE 2129164.457
AT ITER 5863 NEW BEST:: SOT 6218090 SOS 5354594 HAS SOPS 5330541 HAS SOUS 2138173 HAS SOUPS 2122387 WITH SCORE 2127741.594
AT ITER 5875 NEW BEST:: SOT 6217844 SOS 5354348 HAS SOPS 5330295 HAS SOUS 2138151 HAS SOUPS 2122365 WITH SCORE 2127719.348
AT ITER 5878 NEW BEST:: SOT 6217679 SOS 5354162 HAS SOPS 5330130 HAS SOUS 2138103 HAS SOUPS 2122338 WITH SCORE 2127692.162
AT ITER 5886 NEW BEST:: SOT 6217679 SOS 5353694 HAS SOPS 5329699 HAS SOUS 2137409 HAS SOUPS 2121669 WITH SCORE 2127022.694
AT ITER 5900 NEW BEST:: SOT 6218079 SOS 5353718 HAS SOPS 5329623 HAS SOUS 2137040 HAS SOUPS 2121200 WITH SCORE 2126553.718
AT ITER 5902 NEW BEST:: SOT 6218019 SOS 5353658 HAS SOPS 5329563 HAS SOUS 2136979 HAS SOUPS 2121139 WITH SCORE 2126492.658
AT ITER 5907 NEW BEST:: SOT 6217808 SOS 5353447 HAS SOPS 5329352 HAS SOUS 2136576 HAS SOUPS 2120736 WITH SCORE 2126089.447
AT ITER 5918 NEW BEST:: SOT 6217952 SOS 5353609 HAS SOPS 5329496 HAS SOUS 2136524 HAS SOUPS 2120666 WITH SCORE 2126019.609
AT ITER 5981 NEW BEST:: SOT 6217496 SOS 5353153 HAS SOPS 5329040 HAS SOUS 2135867 HAS SOUPS 2120009 WITH SCORE 2125362.153
AT ITER 5984 NEW BEST:: SOT 6217826 SOS 5353483 HAS SOPS 5329370 HAS SOUS 2135845 HAS SOUPS 2119987 WITH SCORE 2125340.483
AT ITER 5990 NEW BEST:: SOT 6214998 SOS 5350620 HAS SOPS 5326542 HAS SOUS 2132570 HAS SOUPS 2116747 WITH SCORE 2122097.62
AT ITER 5991 NEW BEST:: SOT 6214998 SOS 5350989 HAS SOPS 5326911 HAS SOUS 2132559 HAS SOUPS 2116736 WITH SCORE 2122086.989
AT ITER 6011 NEW BEST:: SOT 6214869 SOS 5350868 HAS SOPS 5326782 HAS SOUS 2131992 HAS SOUPS 2116161 WITH SCORE 2121511.868
AT ITER 6025 NEW BEST:: SOT 6214863 SOS 5350862 HAS SOPS 5326776 HAS SOUS 2131974 HAS SOUPS 2116143 WITH SCORE 2121493.862
AT ITER 6092 NEW BEST:: SOT 6214851 SOS 5350850 HAS SOPS 5326764 HAS SOUS 2131881 HAS SOUPS 2116050 WITH SCORE 2121400.85
AT ITER 6104 NEW BEST:: SOT 6214860 SOS 5350870 HAS SOPS 5326773 HAS SOUS 2131884 HAS SOUPS 2116042 WITH SCORE 2121392.87
AT ITER 6117 NEW BEST:: SOT 6214860 SOS 5344102 HAS SOPS 5322381 HAS SOUS 2131734 HAS SOUPS 2115899 WITH SCORE 2121243.102
AT ITER 6126 NEW BEST:: SOT 6214734 SOS 5343976 HAS SOPS 5322255 HAS SOUS 2131636 HAS SOUPS 2115801 WITH SCORE 2121144.976
AT ITER 6131 NEW BEST:: SOT 6210485 SOS 5339826 HAS SOPS 5318246 HAS SOUS 2128936 HAS SOUPS 2113242 WITH SCORE 2118581.826
AT ITER 6138 NEW BEST:: SOT 6210435 SOS 5339779 HAS SOPS 5318196 HAS SOUS 2128695 HAS SOUPS 2112998 WITH SCORE 2118337.779
AT ITER 6144 NEW BEST:: SOT 6210427 SOS 5339771 HAS SOPS 5318188 HAS SOUS 2128687 HAS SOUPS 2112990 WITH SCORE 2118329.771
AT ITER 6204 NEW BEST:: SOT 6210529 SOS 5341069 HAS SOPS 5319418 HAS SOUS 2128604 HAS SOUPS 2112907 WITH SCORE 2118248.069
AT ITER 6208 NEW BEST:: SOT 6210529 SOS 5341031 HAS SOPS 5319380 HAS SOUS 2128213 HAS SOUPS 2112516 WITH SCORE 2117857.031
AT ITER 6281 NEW BEST:: SOT 6210701 SOS 5341821 HAS SOPS 5320136 HAS SOUS 2127921 HAS SOUPS 2112224 WITH SCORE 2117565.821
AT ITER 6282 NEW BEST:: SOT 6210701 SOS 5340897 HAS SOPS 5319504 HAS SOUS 2127900 HAS SOUPS 2112203 WITH SCORE 2117543.897
AT ITER 6288 NEW BEST:: SOT 6210701 SOS 5340869 HAS SOPS 5319480 HAS SOUS 2127732 HAS SOUPS 2112039 WITH SCORE 2117379.869
AT ITER 6293 NEW BEST:: SOT 6210702 SOS 5340870 HAS SOPS 5319481 HAS SOUS 2127690 HAS SOUPS 2111997 WITH SCORE 2117337.87
AT ITER 6307 NEW BEST:: SOT 6209817 SOS 5339965 HAS SOPS 5318596 HAS SOUS 2126400 HAS SOUPS 2110727 WITH SCORE 2116066.965
AT ITER 6322 NEW BEST:: SOT 6209524 SOS 5339712 HAS SOPS 5318367 HAS SOUS 2126199 HAS SOUPS 2110550 WITH SCORE 2115889.712
AT ITER 6350 NEW BEST:: SOT 6209544 SOS 5339758 HAS SOPS 5318387 HAS SOUS 2126149 HAS SOUPS 2110474 WITH SCORE 2115813.758
AT ITER 6378 NEW BEST:: SOT 6209383 SOS 5339569 HAS SOPS 5318226 HAS SOUS 2125959 HAS SOUPS 2110312 WITH SCORE 2115651.569
AT ITER 6393 NEW BEST:: SOT 6209383 SOS 5339006 HAS SOPS 5317698 HAS SOUS 2125950 HAS SOUPS 2110303 WITH SCORE 2115642.006
AT ITER 6396 NEW BEST:: SOT 6207876 SOS 5337520 HAS SOPS 5316191 HAS SOUS 2125835 HAS SOUPS 2110167 WITH SCORE 2115504.52
AT ITER 6404 NEW BEST:: SOT 6206763 SOS 5336353 HAS SOPS 5315078 HAS SOUS 2125212 HAS SOUPS 2109598 WITH SCORE 2114934.353
AT ITER 6421 NEW BEST:: SOT 6206723 SOS 5336273 HAS SOPS 5315038 HAS SOUS 2124932 HAS SOUPS 2109358 WITH SCORE 2114694.273
AT ITER 6434 NEW BEST:: SOT 6206663 SOS 5336213 HAS SOPS 5314978 HAS SOUS 2124872 HAS SOUPS 2109298 WITH SCORE 2114634.213
AT ITER 6438 NEW BEST:: SOT 6208851 SOS 5338297 HAS SOPS 5316894 HAS SOUS 2121106 HAS SOUPS 2105364 WITH SCORE 2110702.297
AT ITER 6450 NEW BEST:: SOT 6207267 SOS 5336696 HAS SOPS 5315310 HAS SOUS 2119599 HAS SOUPS 2103874 WITH SCORE 2109210.696
AT ITER 6471 NEW BEST:: SOT 6206697 SOS 5336126 HAS SOPS 5314740 HAS SOUS 2118474 HAS SOUPS 2102749 WITH SCORE 2108085.126
AT ITER 6533 NEW BEST:: SOT 6206697 SOS 5336006 HAS SOPS 5314614 HAS SOUS 2118466 HAS SOUPS 2102741 WITH SCORE 2108077.006
AT ITER 6537 NEW BEST:: SOT 6205592 SOS 5335247 HAS SOPS 5313931 HAS SOUS 2118205 HAS SOUPS 2102545 WITH SCORE 2107880.247
AT ITER 6542 NEW BEST:: SOT 6205583 SOS 5335238 HAS SOPS 5313922 HAS SOUS 2117714 HAS SOUPS 2102054 WITH SCORE 2107389.238
AT ITER 6566 NEW BEST:: SOT 6204558 SOS 5334213 HAS SOPS 5312897 HAS SOUS 2115865 HAS SOUPS 2100205 WITH SCORE 2105539.213
AT ITER 6572 NEW BEST:: SOT 6204297 SOS 5333952 HAS SOPS 5312636 HAS SOUS 2115604 HAS SOUPS 2099944 WITH SCORE 2105277.952
AT ITER 6589 NEW BEST:: SOT 6202822 SOS 5333044 HAS SOPS 5311926 HAS SOUS 2115397 HAS SOUPS 2099935 WITH SCORE 2105268.044
AT ITER 6595 NEW BEST:: SOT 6202395 SOS 5331922 HAS SOPS 5310899 HAS SOUS 2114723 HAS SOUPS 2099329 WITH SCORE 2104660.922
AT ITER 6599 NEW BEST:: SOT 6202375 SOS 5331902 HAS SOPS 5310879 HAS SOUS 2114703 HAS SOUPS 2099309 WITH SCORE 2104640.902
AT ITER 6614 NEW BEST:: SOT 6202103 SOS 5331630 HAS SOPS 5310607 HAS SOUS 2114303 HAS SOUPS 2098909 WITH SCORE 2104240.63
AT ITER 6619 NEW BEST:: SOT 6201902 SOS 5331429 HAS SOPS 5310406 HAS SOUS 2114102 HAS SOUPS 2098708 WITH SCORE 2104039.429
AT ITER 6632 NEW BEST:: SOT 6200216 SOS 5329699 HAS SOPS 5308720 HAS SOUS 2111466 HAS SOUPS 2096116 WITH SCORE 2101445.699
AT ITER 6653 NEW BEST:: SOT 6200222 SOS 5326395 HAS SOPS 5305240 HAS SOUS 2111437 HAS SOUPS 2096081 WITH SCORE 2101407.395
AT ITER 6660 NEW BEST:: SOT 6199540 SOS 5325713 HAS SOPS 5304558 HAS SOUS 2110738 HAS SOUPS 2095382 WITH SCORE 2100707.713
AT ITER 6668 NEW BEST:: SOT 6199516 SOS 5325689 HAS SOPS 5304534 HAS SOUS 2110690 HAS SOUPS 2095334 WITH SCORE 2100659.689
AT ITER 6693 NEW BEST:: SOT 6199459 SOS 5325632 HAS SOPS 5304477 HAS SOUS 2110593 HAS SOUPS 2095237 WITH SCORE 2100562.632
AT ITER 6703 NEW BEST:: SOT 6199376 SOS 5323969 HAS SOPS 5302882 HAS SOUS 2110543 HAS SOUPS 2095187 WITH SCORE 2100510.969
AT ITER 6704 NEW BEST:: SOT 6199316 SOS 5323909 HAS SOPS 5302822 HAS SOUS 2110432 HAS SOUPS 2095076 WITH SCORE 2100399.909
AT ITER 6706 NEW BEST:: SOT 6198977 SOS 5323577 HAS SOPS 5302483 HAS SOUS 2109182 HAS SOUPS 2093819 WITH SCORE 2099142.577
AT ITER 6724 NEW BEST:: SOT 6195364 SOS 5318721 HAS SOPS 5297627 HAS SOUS 2105500 HAS SOUPS 2090137 WITH SCORE 2095455.721
AT ITER 6768 NEW BEST:: SOT 6191250 SOS 5316876 HAS SOPS 5298060 HAS SOUS 2101244 HAS SOUPS 2088123 WITH SCORE 2093439.876
AT ITER 6786 NEW BEST:: SOT 6191357 SOS 5317013 HAS SOPS 5298167 HAS SOUS 2101080 HAS SOUPS 2087929 WITH SCORE 2093246.013
AT ITER 6793 NEW BEST:: SOT 6191357 SOS 5305388 HAS SOPS 5286179 HAS SOUS 2100954 HAS SOUPS 2087783 WITH SCORE 2093088.388
AT ITER 6817 NEW BEST:: SOT 6191357 SOS 5299296 HAS SOPS 5279819 HAS SOUS 2100622 HAS SOUPS 2087451 WITH SCORE 2092750.296
AT ITER 6833 NEW BEST:: SOT 6191093 SOS 5299032 HAS SOPS 5279555 HAS SOUS 2100358 HAS SOUPS 2087187 WITH SCORE 2092486.032
AT ITER 6844 NEW BEST:: SOT 6190726 SOS 5298665 HAS SOPS 5279188 HAS SOUS 2099665 HAS SOUPS 2086494 WITH SCORE 2091792.665
AT ITER 6853 NEW BEST:: SOT 6188952 SOS 5292502 HAS SOPS 5272857 HAS SOUS 2095711 HAS SOUPS 2082372 WITH SCORE 2087664.502
AT ITER 6881 NEW BEST:: SOT 6188570 SOS 5292105 HAS SOPS 5272475 HAS SOUS 2094424 HAS SOUPS 2081100 WITH SCORE 2086392.105
AT ITER 6882 NEW BEST:: SOT 6188444 SOS 5291979 HAS SOPS 5272349 HAS SOUS 2094298 HAS SOUPS 2080974 WITH SCORE 2086265.979
AT ITER 6883 NEW BEST:: SOT 6187162 SOS 5290697 HAS SOPS 5271067 HAS SOUS 2092791 HAS SOUPS 2079467 WITH SCORE 2084757.697
AT ITER 6896 NEW BEST:: SOT 6187150 SOS 5290685 HAS SOPS 5271055 HAS SOUS 2092779 HAS SOUPS 2079455 WITH SCORE 2084745.685
AT ITER 6922 NEW BEST:: SOT 6186358 SOS 5289893 HAS SOPS 5270263 HAS SOUS 2091995 HAS SOUPS 2078671 WITH SCORE 2083960.893
AT ITER 6940 NEW BEST:: SOT 6186072 SOS 5289607 HAS SOPS 5269977 HAS SOUS 2091621 HAS SOUPS 2078297 WITH SCORE 2083586.607
AT ITER 6946 NEW BEST:: SOT 6186072 SOS 5308843 HAS SOPS 5283935 HAS SOUS 2091343 HAS SOUPS 2078044 WITH SCORE 2083352.843
AT ITER 6960 NEW BEST:: SOT 6186003 SOS 5308774 HAS SOPS 5283866 HAS SOUS 2091274 HAS SOUPS 2077975 WITH SCORE 2083283.774
AT ITER 6963 NEW BEST:: SOT 6186041 SOS 5308790 HAS SOPS 5283904 HAS SOUS 2091233 HAS SOUPS 2077956 WITH SCORE 2083264.79
AT ITER 6979 NEW BEST:: SOT 6186063 SOS 5308844 HAS SOPS 5283926 HAS SOUS 2091127 HAS SOUPS 2077818 WITH SCORE 2083126.844
AT ITER 6987 NEW BEST:: SOT 6185511 SOS 5308243 HAS SOPS 5283374 HAS SOUS 2090936 HAS SOUPS 2077676 WITH SCORE 2082984.243
AT ITER 7024 NEW BEST:: SOT 6185511 SOS 5307329 HAS SOPS 5282512 HAS SOUS 2090892 HAS SOUPS 2077632 WITH SCORE 2082939.329
AT ITER 7123 NEW BEST:: SOT 6185507 SOS 5307326 HAS SOPS 5282508 HAS SOUS 2090880 HAS SOUPS 2077619 WITH SCORE 2082926.326
AT ITER 7132 NEW BEST:: SOT 6185444 SOS 5307263 HAS SOPS 5282445 HAS SOUS 2090736 HAS SOUPS 2077475 WITH SCORE 2082782.263
AT ITER 7135 NEW BEST:: SOT 6184767 SOS 5306580 HAS SOPS 5281768 HAS SOUS 2089493 HAS SOUPS 2076238 WITH SCORE 2081544.58
AT ITER 7194 NEW BEST:: SOT 6184777 SOS 5306590 HAS SOPS 5281778 HAS SOUS 2089412 HAS SOUPS 2076157 WITH SCORE 2081463.59
AT ITER 7221 NEW BEST:: SOT 6184751 SOS 5306564 HAS SOPS 5281752 HAS SOUS 2089378 HAS SOUPS 2076123 WITH SCORE 2081429.564
AT ITER 7242 NEW BEST:: SOT 6183971 SOS 5305784 HAS SOPS 5280972 HAS SOUS 2088050 HAS SOUPS 2074795 WITH SCORE 2080100.784
AT ITER 7286 NEW BEST:: SOT 6183915 SOS 5305726 HAS SOPS 5280916 HAS SOUS 2087956 HAS SOUPS 2074703 WITH SCORE 2080008.726
AT ITER 7310 NEW BEST:: SOT 6183805 SOS 5306498 HAS SOPS 5281672 HAS SOUS 2087782 HAS SOUPS 2074529 WITH SCORE 2079835.498
AT ITER 7314 NEW BEST:: SOT 6183805 SOS 5310213 HAS SOPS 5285496 HAS SOUS 2087738 HAS SOUPS 2074492 WITH SCORE 2079802.213
AT ITER 7338 NEW BEST:: SOT 6183744 SOS 5310171 HAS SOPS 5285435 HAS SOUS 2087394 HAS SOUPS 2074129 WITH SCORE 2079439.171
AT ITER 7346 NEW BEST:: SOT 6183744 SOS 5310171 HAS SOPS 5285435 HAS SOUS 2087355 HAS SOUPS 2074090 WITH SCORE 2079400.171
AT ITER 7371 NEW BEST:: SOT 6182644 SOS 5309043 HAS SOPS 5284335 HAS SOUS 2085602 HAS SOUPS 2072365 WITH SCORE 2077674.043
AT ITER 7373 NEW BEST:: SOT 6183003 SOS 5309390 HAS SOPS 5284662 HAS SOUS 2085344 HAS SOUPS 2072087 WITH SCORE 2077396.39
AT ITER 7380 NEW BEST:: SOT 6182765 SOS 5309152 HAS SOPS 5284424 HAS SOUS 2084581 HAS SOUPS 2071324 WITH SCORE 2076633.152
AT ITER 7394 NEW BEST:: SOT 6182411 SOS 5308784 HAS SOPS 5284070 HAS SOUS 2083424 HAS SOUPS 2070181 WITH SCORE 2075489.784
AT ITER 7405 NEW BEST:: SOT 6182454 SOS 5308834 HAS SOPS 5284113 HAS SOUS 2083386 HAS SOUPS 2070136 WITH SCORE 2075444.834
AT ITER 7417 NEW BEST:: SOT 6182382 SOS 5308762 HAS SOPS 5284041 HAS SOUS 2083296 HAS SOUPS 2070046 WITH SCORE 2075354.762
AT ITER 7421 NEW BEST:: SOT 6181193 SOS 5307573 HAS SOPS 5282852 HAS SOUS 2082134 HAS SOUPS 2068884 WITH SCORE 2074191.573
AT ITER 7425 NEW BEST:: SOT 6181082 SOS 5307468 HAS SOPS 5282741 HAS SOUS 2081876 HAS SOUPS 2068620 WITH SCORE 2073927.468
AT ITER 7449 NEW BEST:: SOT 6181096 SOS 5307497 HAS SOPS 5282755 HAS SOUS 2081442 HAS SOUPS 2068171 WITH SCORE 2073478.497
AT ITER 7451 NEW BEST:: SOT 6181054 SOS 5307455 HAS SOPS 5282713 HAS SOUS 2081257 HAS SOUPS 2067986 WITH SCORE 2073293.455
AT ITER 7455 NEW BEST:: SOT 6181054 SOS 5307461 HAS SOPS 5282713 HAS SOUS 2081237 HAS SOUPS 2067960 WITH SCORE 2073267.461
AT ITER 7465 NEW BEST:: SOT 6181062 SOS 5307469 HAS SOPS 5282721 HAS SOUS 2081209 HAS SOUPS 2067932 WITH SCORE 2073239.469
AT ITER 7469 NEW BEST:: SOT 6180236 SOS 5306560 HAS SOPS 5281895 HAS SOUS 2081118 HAS SOUPS 2067924 WITH SCORE 2073230.56
AT ITER 7475 NEW BEST:: SOT 6179957 SOS 5306277 HAS SOPS 5281616 HAS SOUS 2080610 HAS SOUPS 2067420 WITH SCORE 2072726.277
AT ITER 7479 NEW BEST:: SOT 6179935 SOS 5303324 HAS SOPS 5277757 HAS SOUS 2080159 HAS SOUPS 2066032 WITH SCORE 2071335.324
AT ITER 7516 NEW BEST:: SOT 6179474 SOS 5302818 HAS SOPS 5277296 HAS SOUS 2079048 HAS SOUPS 2064966 WITH SCORE 2070268.818
AT ITER 7524 NEW BEST:: SOT 6179255 SOS 5302599 HAS SOPS 5277077 HAS SOUS 2078798 HAS SOUPS 2064716 WITH SCORE 2070018.599
AT ITER 7529 NEW BEST:: SOT 6175551 SOS 5298720 HAS SOPS 5273373 HAS SOUS 2077377 HAS SOUPS 2063470 WITH SCORE 2068768.72
AT ITER 7548 NEW BEST:: SOT 6172880 SOS 5296154 HAS SOPS 5270957 HAS SOUS 2076961 HAS SOUPS 2063204 WITH SCORE 2068500.154
AT ITER 7556 NEW BEST:: SOT 6172842 SOS 5296396 HAS SOPS 5271047 HAS SOUS 2076968 HAS SOUPS 2063173 WITH SCORE 2068469.396
AT ITER 7568 NEW BEST:: SOT 6172792 SOS 5296346 HAS SOPS 5270997 HAS SOUS 2076839 HAS SOUPS 2063044 WITH SCORE 2068340.346
AT ITER 7594 NEW BEST:: SOT 6172749 SOS 5296303 HAS SOPS 5270954 HAS SOUS 2076796 HAS SOUPS 2063001 WITH SCORE 2068297.303
AT ITER 7604 NEW BEST:: SOT 6172619 SOS 5296170 HAS SOPS 5270824 HAS SOUS 2076624 HAS SOUPS 2062832 WITH SCORE 2068128.17
AT ITER 7633 NEW BEST:: SOT 6172619 SOS 5295952 HAS SOPS 5270620 HAS SOUS 2076495 HAS SOUPS 2062703 WITH SCORE 2067998.952
AT ITER 7636 NEW BEST:: SOT 6172659 SOS 5296026 HAS SOPS 5270694 HAS SOUS 2076357 HAS SOUPS 2062565 WITH SCORE 2067861.026
AT ITER 7645 NEW BEST:: SOT 6171949 SOS 5295400 HAS SOPS 5269984 HAS SOUS 2074474 HAS SOUPS 2060598 WITH SCORE 2065893.4
AT ITER 7715 NEW BEST:: SOT 6171814 SOS 5295265 HAS SOPS 5269849 HAS SOUS 2074386 HAS SOUPS 2060510 WITH SCORE 2065805.265
AT ITER 7721 NEW BEST:: SOT 6171563 SOS 5295014 HAS SOPS 5269598 HAS SOUS 2073802 HAS SOUPS 2059926 WITH SCORE 2065221.014
AT ITER 7736 NEW BEST:: SOT 6171501 SOS 5294936 HAS SOPS 5269536 HAS SOUS 2073737 HAS SOUPS 2059877 WITH SCORE 2065171.936
AT ITER 7738 NEW BEST:: SOT 6169992 SOS 5293382 HAS SOPS 5268027 HAS SOUS 2072107 HAS SOUPS 2058292 WITH SCORE 2063585.382
AT ITER 7767 NEW BEST:: SOT 6169792 SOS 5293182 HAS SOPS 5267827 HAS SOUS 2071765 HAS SOUPS 2057950 WITH SCORE 2063243.182
AT ITER 7785 NEW BEST:: SOT 6169484 SOS 5292874 HAS SOPS 5267519 HAS SOUS 2071613 HAS SOUPS 2057798 WITH SCORE 2063090.874
AT ITER 7802 NEW BEST:: SOT 6168715 SOS 5292210 HAS SOPS 5266750 HAS SOUS 2070497 HAS SOUPS 2056577 WITH SCORE 2061869.21
AT ITER 7806 NEW BEST:: SOT 6167850 SOS 5291316 HAS SOPS 5265885 HAS SOUS 2069904 HAS SOUPS 2056013 WITH SCORE 2061304.316
AT ITER 7893 NEW BEST:: SOT 6167134 SOS 5290600 HAS SOPS 5265169 HAS SOUS 2068836 HAS SOUPS 2054945 WITH SCORE 2060235.6
AT ITER 7955 NEW BEST:: SOT 6167135 SOS 5290601 HAS SOPS 5265170 HAS SOUS 2068835 HAS SOUPS 2054944 WITH SCORE 2060234.601
AT ITER 8011 NEW BEST:: SOT 6167164 SOS 5290630 HAS SOPS 5265199 HAS SOUS 2068833 HAS SOUPS 2054942 WITH SCORE 2060232.63
AT ITER 8012 NEW BEST:: SOT 6166459 SOS 5289920 HAS SOPS 5264494 HAS SOUS 2068014 HAS SOUPS 2054128 WITH SCORE 2059417.92
AT ITER 8013 NEW BEST:: SOT 6166467 SOS 5289928 HAS SOPS 5264502 HAS SOUS 2067752 HAS SOUPS 2053866 WITH SCORE 2059155.928
AT ITER 8081 NEW BEST:: SOT 6166071 SOS 5289532 HAS SOPS 5264106 HAS SOUS 2067356 HAS SOUPS 2053470 WITH SCORE 2058759.532
AT ITER 8092 NEW BEST:: SOT 6165949 SOS 5289420 HAS SOPS 5263984 HAS SOUS 2067103 HAS SOUPS 2053207 WITH SCORE 2058496.42
AT ITER 8099 NEW BEST:: SOT 6165949 SOS 5290317 HAS SOPS 5264946 HAS SOUS 2067084 HAS SOUPS 2053188 WITH SCORE 2058478.317
AT ITER 8101 NEW BEST:: SOT 6165108 SOS 5289463 HAS SOPS 5264105 HAS SOUS 2066420 HAS SOUPS 2052537 WITH SCORE 2057826.463
AT ITER 8122 NEW BEST:: SOT 6165081 SOS 5289463 HAS SOPS 5264078 HAS SOUS 2066098 HAS SOUPS 2052188 WITH SCORE 2057477.463
AT ITER 8139 NEW BEST:: SOT 6165240 SOS 5289640 HAS SOPS 5264237 HAS SOUS 2066021 HAS SOUPS 2052093 WITH SCORE 2057382.64
AT ITER 8173 NEW BEST:: SOT 6165231 SOS 5289631 HAS SOPS 5264228 HAS SOUS 2066009 HAS SOUPS 2052081 WITH SCORE 2057370.631
AT ITER 8176 NEW BEST:: SOT 6165231 SOS 5307521 HAS SOPS 5283071 HAS SOUS 2065757 HAS SOUPS 2051870 WITH SCORE 2057177.521
AT ITER 8186 NEW BEST:: SOT 6164712 SOS 5308826 HAS SOPS 5284376 HAS SOUS 2065276 HAS SOUPS 2051389 WITH SCORE 2056697.826
AT ITER 8196 NEW BEST:: SOT 6164712 SOS 5308184 HAS SOPS 5283778 HAS SOUS 2065148 HAS SOUPS 2051261 WITH SCORE 2056569.184
AT ITER 8239 NEW BEST:: SOT 6164402 SOS 5307866 HAS SOPS 5283468 HAS SOUS 2064760 HAS SOUPS 2050881 WITH SCORE 2056188.866
AT ITER 8257 NEW BEST:: SOT 6162938 SOS 5306338 HAS SOPS 5282004 HAS SOUS 2064388 HAS SOUPS 2050573 WITH SCORE 2055879.338
AT ITER 8272 NEW BEST:: SOT 6162996 SOS 5306396 HAS SOPS 5282062 HAS SOUS 2064267 HAS SOUPS 2050452 WITH SCORE 2055758.396
AT ITER 8304 NEW BEST:: SOT 6162996 SOS 5304083 HAS SOPS 5279728 HAS SOUS 2064192 HAS SOUPS 2050374 WITH SCORE 2055678.083
AT ITER 8318 NEW BEST:: SOT 6161912 SOS 5302974 HAS SOPS 5278644 HAS SOUS 2062730 HAS SOUPS 2048937 WITH SCORE 2054239.974
AT ITER 8402 NEW BEST:: SOT 6157801 SOS 5298720 HAS SOPS 5274533 HAS SOUS 2060978 HAS SOUPS 2047328 WITH SCORE 2052626.72
AT ITER 8429 NEW BEST:: SOT 6155092 SOS 5295967 HAS SOPS 5271824 HAS SOUS 2058920 HAS SOUPS 2045314 WITH SCORE 2050609.967
AT ITER 8463 NEW BEST:: SOT 6154995 SOS 5295870 HAS SOPS 5271727 HAS SOUS 2058845 HAS SOUPS 2045239 WITH SCORE 2050534.87
AT ITER 8473 NEW BEST:: SOT 6154875 SOS 5295750 HAS SOPS 5271607 HAS SOUS 2058646 HAS SOUPS 2045040 WITH SCORE 2050335.75
AT ITER 8489 NEW BEST:: SOT 6154825 SOS 5295700 HAS SOPS 5271557 HAS SOUS 2058631 HAS SOUPS 2045025 WITH SCORE 2050320.7
AT ITER 8505 NEW BEST:: SOT 6154739 SOS 5295585 HAS SOPS 5271471 HAS SOUS 2058564 HAS SOUPS 2044987 WITH SCORE 2050282.585
AT ITER 8559 NEW BEST:: SOT 6154752 SOS 5295598 HAS SOPS 5271484 HAS SOUS 2058512 HAS SOUPS 2044935 WITH SCORE 2050230.598
AT ITER 8588 NEW BEST:: SOT 6154143 SOS 5295074 HAS SOPS 5270994 HAS SOUS 2058221 HAS SOUPS 2044678 WITH SCORE 2049973.074
AT ITER 8608 NEW BEST:: SOT 6153960 SOS 5294891 HAS SOPS 5270811 HAS SOUS 2058038 HAS SOUPS 2044495 WITH SCORE 2049789.891
AT ITER 8610 NEW BEST:: SOT 6153908 SOS 5294839 HAS SOPS 5270759 HAS SOUS 2057799 HAS SOUPS 2044256 WITH SCORE 2049550.839
AT ITER 8626 NEW BEST:: SOT 6153881 SOS 5294747 HAS SOPS 5270732 HAS SOUS 2057725 HAS SOUPS 2044247 WITH SCORE 2049541.747
AT ITER 8634 NEW BEST:: SOT 6153883 SOS 5294749 HAS SOPS 5270734 HAS SOUS 2057701 HAS SOUPS 2044223 WITH SCORE 2049517.749
AT ITER 8676 NEW BEST:: SOT 6153679 SOS 5294377 HAS SOPS 5270362 HAS SOUS 2057110 HAS SOUPS 2043632 WITH SCORE 2048926.377
AT ITER 8704 NEW BEST:: SOT 6153566 SOS 5294223 HAS SOPS 5270249 HAS SOUS 2056927 HAS SOUPS 2043490 WITH SCORE 2048784.223
AT ITER 8710 NEW BEST:: SOT 6153444 SOS 5294101 HAS SOPS 5270127 HAS SOUS 2056655 HAS SOUPS 2043218 WITH SCORE 2048512.101
AT ITER 8729 NEW BEST:: SOT 6153159 SOS 5293808 HAS SOPS 5269842 HAS SOUS 2056308 HAS SOUPS 2042879 WITH SCORE 2048172.808
AT ITER 8734 NEW BEST:: SOT 6153165 SOS 5293762 HAS SOPS 5269848 HAS SOUS 2056162 HAS SOUPS 2042785 WITH SCORE 2048078.762
AT ITER 8740 NEW BEST:: SOT 6152362 SOS 5292927 HAS SOPS 5269045 HAS SOUS 2055463 HAS SOUPS 2042118 WITH SCORE 2047410.927
AT ITER 8756 NEW BEST:: SOT 6152362 SOS 5289917 HAS SOPS 5265891 HAS SOUS 2055201 HAS SOUPS 2041856 WITH SCORE 2047145.917
AT ITER 8768 NEW BEST:: SOT 6151830 SOS 5289385 HAS SOPS 5265359 HAS SOUS 2054624 HAS SOUPS 2041279 WITH SCORE 2046568.385
AT ITER 8785 NEW BEST:: SOT 6151213 SOS 5288761 HAS SOPS 5264742 HAS SOUS 2053819 HAS SOUPS 2040481 WITH SCORE 2045769.761
AT ITER 8823 NEW BEST:: SOT 6151037 SOS 5288602 HAS SOPS 5264566 HAS SOUS 2053482 HAS SOUPS 2040127 WITH SCORE 2045415.602
AT ITER 8839 NEW BEST:: SOT 6148808 SOS 5286419 HAS SOPS 5262337 HAS SOUS 2052337 HAS SOUPS 2038936 WITH SCORE 2044222.419
AT ITER 8892 NEW BEST:: SOT 6149020 SOS 5286642 HAS SOPS 5262549 HAS SOUS 2052148 HAS SOUPS 2038736 WITH SCORE 2044022.642
AT ITER 8898 NEW BEST:: SOT 6148971 SOS 5286593 HAS SOPS 5262500 HAS SOUS 2052099 HAS SOUPS 2038687 WITH SCORE 2043973.593
AT ITER 8906 NEW BEST:: SOT 6148953 SOS 5286575 HAS SOPS 5262482 HAS SOUS 2052098 HAS SOUPS 2038686 WITH SCORE 2043972.575
AT ITER 8907 NEW BEST:: SOT 6149014 SOS 5286636 HAS SOPS 5262543 HAS SOUS 2051993 HAS SOUPS 2038581 WITH SCORE 2043867.636
AT ITER 8954 NEW BEST:: SOT 6148553 SOS 5286175 HAS SOPS 5262082 HAS SOUS 2051058 HAS SOUPS 2037646 WITH SCORE 2042932.175
AT ITER 8976 NEW BEST:: SOT 6147579 SOS 5285381 HAS SOPS 5261108 HAS SOUS 2050738 HAS SOUPS 2037146 WITH SCORE 2042431.381
AT ITER 8983 NEW BEST:: SOT 6147285 SOS 5285087 HAS SOPS 5260814 HAS SOUS 2049765 HAS SOUPS 2036173 WITH SCORE 2041458.087
AT ITER 9073 NEW BEST:: SOT 6147201 SOS 5285012 HAS SOPS 5260747 HAS SOUS 2049677 HAS SOUPS 2036093 WITH SCORE 2041378.012
AT ITER 9086 NEW BEST:: SOT 6146623 SOS 5284407 HAS SOPS 5260169 HAS SOUS 2049204 HAS SOUPS 2035647 WITH SCORE 2040931.407
AT ITER 9103 NEW BEST:: SOT 6146517 SOS 5284299 HAS SOPS 5260063 HAS SOUS 2049051 HAS SOUPS 2035496 WITH SCORE 2040780.299
AT ITER 9104 NEW BEST:: SOT 6146517 SOS 5285227 HAS SOPS 5260965 HAS SOUS 2048999 HAS SOUPS 2035444 WITH SCORE 2040729.227
AT ITER 9113 NEW BEST:: SOT 6146417 SOS 5285127 HAS SOPS 5260865 HAS SOUS 2048899 HAS SOUPS 2035344 WITH SCORE 2040629.127
AT ITER 9125 NEW BEST:: SOT 6146276 SOS 5284986 HAS SOPS 5260724 HAS SOUS 2048583 HAS SOUPS 2035028 WITH SCORE 2040312.986
AT ITER 9153 NEW BEST:: SOT 6146300 SOS 5285010 HAS SOPS 5260748 HAS SOUS 2048472 HAS SOUPS 2034917 WITH SCORE 2040202.01
AT ITER 9178 NEW BEST:: SOT 6144988 SOS 5283676 HAS SOPS 5259436 HAS SOUS 2046922 HAS SOUPS 2033389 WITH SCORE 2038672.676
AT ITER 9182 NEW BEST:: SOT 6144906 SOS 5283592 HAS SOPS 5259354 HAS SOUS 2046849 HAS SOUPS 2033318 WITH SCORE 2038601.592
AT ITER 9191 NEW BEST:: SOT 6144906 SOS 5283496 HAS SOPS 5259158 HAS SOUS 2046846 HAS SOUPS 2033315 WITH SCORE 2038598.496
AT ITER 9215 NEW BEST:: SOT 6143931 SOS 5282475 HAS SOPS 5258183 HAS SOUS 2046409 HAS SOUPS 2032924 WITH SCORE 2038206.475
AT ITER 9220 NEW BEST:: SOT 6143845 SOS 5282389 HAS SOPS 5258097 HAS SOUS 2046193 HAS SOUPS 2032708 WITH SCORE 2037990.389
AT ITER 9233 NEW BEST:: SOT 6143845 SOS 5282389 HAS SOPS 5258097 HAS SOUS 2046027 HAS SOUPS 2032542 WITH SCORE 2037824.389
AT ITER 9238 NEW BEST:: SOT 6143920 SOS 5282464 HAS SOPS 5258172 HAS SOUS 2045826 HAS SOUPS 2032341 WITH SCORE 2037623.464
AT ITER 9284 NEW BEST:: SOT 6143260 SOS 5281804 HAS SOPS 5257512 HAS SOUS 2044458 HAS SOUPS 2030973 WITH SCORE 2036254.804
AT ITER 9289 NEW BEST:: SOT 6138816 SOS 5277360 HAS SOPS 5253068 HAS SOUS 2036598 HAS SOUPS 2023113 WITH SCORE 2028390.36
AT ITER 9319 NEW BEST:: SOT 6138836 SOS 5277380 HAS SOPS 5253088 HAS SOUS 2036385 HAS SOUPS 2022900 WITH SCORE 2028177.38
AT ITER 9341 NEW BEST:: SOT 6138965 SOS 5277526 HAS SOPS 5253217 HAS SOUS 2036270 HAS SOUPS 2022768 WITH SCORE 2028045.526
AT ITER 9374 NEW BEST:: SOT 6138991 SOS 5277552 HAS SOPS 5253243 HAS SOUS 2036108 HAS SOUPS 2022606 WITH SCORE 2027883.552
AT ITER 9387 NEW BEST:: SOT 6151435 SOS 5287387 HAS SOPS 5263585 HAS SOUS 2032777 HAS SOUPS 2019655 WITH SCORE 2024942.387
AT ITER 9399 NEW BEST:: SOT 6151382 SOS 5287329 HAS SOPS 5263532 HAS SOUS 2032772 HAS SOUPS 2019655 WITH SCORE 2024942.329
AT ITER 9400 NEW BEST:: SOT 6151276 SOS 5287275 HAS SOPS 5263478 HAS SOUS 2032652 HAS SOUPS 2019535 WITH SCORE 2024822.275
AT ITER 9406 NEW BEST:: SOT 6151288 SOS 5287287 HAS SOPS 5263490 HAS SOUS 2032546 HAS SOUPS 2019429 WITH SCORE 2024716.287
AT ITER 9408 NEW BEST:: SOT 6151310 SOS 5287264 HAS SOPS 5263512 HAS SOUS 2032501 HAS SOUPS 2019429 WITH SCORE 2024716.264
AT ITER 9411 NEW BEST:: SOT 6151646 SOS 5287548 HAS SOPS 5263729 HAS SOUS 2032512 HAS SOUPS 2019373 WITH SCORE 2024660.548
AT ITER 9446 NEW BEST:: SOT 6151577 SOS 5287479 HAS SOPS 5263660 HAS SOUS 2032352 HAS SOUPS 2019213 WITH SCORE 2024500.479
AT ITER 9449 NEW BEST:: SOT 6151577 SOS 5287119 HAS SOPS 5263300 HAS SOUS 2032334 HAS SOUPS 2019195 WITH SCORE 2024482.119
AT ITER 9450 NEW BEST:: SOT 6151495 SOS 5287037 HAS SOPS 5263218 HAS SOUS 2032041 HAS SOUPS 2018902 WITH SCORE 2024189.037
AT ITER 9471 NEW BEST:: SOT 6150657 SOS 5286199 HAS SOPS 5262380 HAS SOUS 2031237 HAS SOUPS 2018098 WITH SCORE 2023384.199
AT ITER 9475 NEW BEST:: SOT 6150560 SOS 5286102 HAS SOPS 5262283 HAS SOUS 2031158 HAS SOUPS 2018019 WITH SCORE 2023305.102
AT ITER 9486 NEW BEST:: SOT 6146346 SOS 5286351 HAS SOPS 5262956 HAS SOUS 2027954 HAS SOUPS 2015239 WITH SCORE 2020525.351
AT ITER 9489 NEW BEST:: SOT 6146199 SOS 5286196 HAS SOPS 5262809 HAS SOUS 2027803 HAS SOUPS 2015096 WITH SCORE 2020382.196
AT ITER 9499 NEW BEST:: SOT 6146199 SOS 5286260 HAS SOPS 5262867 HAS SOUS 2027748 HAS SOUPS 2015041 WITH SCORE 2020327.26
AT ITER 9506 NEW BEST:: SOT 6145732 SOS 5285781 HAS SOPS 5262400 HAS SOUS 2027319 HAS SOUPS 2014624 WITH SCORE 2019909.781
AT ITER 9550 NEW BEST:: SOT 6145715 SOS 5285761 HAS SOPS 5262383 HAS SOUS 2027260 HAS SOUPS 2014568 WITH SCORE 2019853.761
AT ITER 9554 NEW BEST:: SOT 6145145 SOS 5285191 HAS SOPS 5261813 HAS SOUS 2026284 HAS SOUPS 2013592 WITH SCORE 2018877.191
AT ITER 9593 NEW BEST:: SOT 6145140 SOS 5285186 HAS SOPS 5261808 HAS SOUS 2026274 HAS SOUPS 2013582 WITH SCORE 2018867.186
AT ITER 9595 NEW BEST:: SOT 6144669 SOS 5284702 HAS SOPS 5261337 HAS SOUS 2025749 HAS SOUPS 2013070 WITH SCORE 2018354.702
AT ITER 9616 NEW BEST:: SOT 6144107 SOS 5284124 HAS SOPS 5260775 HAS SOUS 2024849 HAS SOUPS 2012186 WITH SCORE 2017470.124
AT ITER 9636 NEW BEST:: SOT 6144140 SOS 5284157 HAS SOPS 5260808 HAS SOUS 2024782 HAS SOUPS 2012119 WITH SCORE 2017403.157
AT ITER 9664 NEW BEST:: SOT 6144374 SOS 5284425 HAS SOPS 5261042 HAS SOUS 2024472 HAS SOUPS 2011775 WITH SCORE 2017059.425
AT ITER 9681 NEW BEST:: SOT 6144332 SOS 5284383 HAS SOPS 5261000 HAS SOUS 2024223 HAS SOUPS 2011526 WITH SCORE 2016810.383
AT ITER 9716 NEW BEST:: SOT 6144375 SOS 5284429 HAS SOPS 5261043 HAS SOUS 2024078 HAS SOUPS 2011378 WITH SCORE 2016662.429
AT ITER 9722 NEW BEST:: SOT 6144375 SOS 5304664 HAS SOPS 5282017 HAS SOUS 2023972 HAS SOUPS 2011309 WITH SCORE 2016613.664
AT ITER 9726 NEW BEST:: SOT 6144278 SOS 5304567 HAS SOPS 5281920 HAS SOUS 2023527 HAS SOUPS 2010864 WITH SCORE 2016168.567
AT ITER 9788 NEW BEST:: SOT 6144238 SOS 5304526 HAS SOPS 5281880 HAS SOUS 2023460 HAS SOUPS 2010798 WITH SCORE 2016102.526
AT ITER 9792 NEW BEST:: SOT 6143581 SOS 5303841 HAS SOPS 5281223 HAS SOUS 2022661 HAS SOUPS 2010027 WITH SCORE 2015330.841
AT ITER 9840 NEW BEST:: SOT 6143554 SOS 5303812 HAS SOPS 5281196 HAS SOUS 2022584 HAS SOUPS 2009952 WITH SCORE 2015255.812
AT ITER 9897 NEW BEST:: SOT 6142274 SOS 5302532 HAS SOPS 5279916 HAS SOUS 2021318 HAS SOUPS 2008686 WITH SCORE 2013988.532
AT ITER 9926 NEW BEST:: SOT 6142274 SOS 5302530 HAS SOPS 5279914 HAS SOUS 2021242 HAS SOUPS 2008610 WITH SCORE 2013912.53
AT ITER 9940 NEW BEST:: SOT 6141515 SOS 5301709 HAS SOPS 5279155 HAS SOUS 2019242 HAS SOUPS 2006672 WITH SCORE 2011973.709
AT ITER 9948 NEW BEST:: SOT 6141515 SOS 5302133 HAS SOPS 5279703 HAS SOUS 2019132 HAS SOUPS 2006562 WITH SCORE 2011864.133
AT ITER 9949 NEW BEST:: SOT 6140705 SOS 5301307 HAS SOPS 5278893 HAS SOUS 2018024 HAS SOUPS 2005470 WITH SCORE 2010771.307
AT ITER 9984 NEW BEST:: SOT 6137998 SOS 5302850 HAS SOPS 5280614 HAS SOUS 2017386 HAS SOUPS 2005010 WITH SCORE 2010312.85
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15930836 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16079528 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="PhilosophersDyn-PT-20"
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 PhilosophersDyn-PT-20, 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 r291-tall-167873942800336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 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 '
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 ;