Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354500256.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PhilosophersDyn-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354500256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 36M
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 832K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.9M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 40K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.7M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 19M Apr 27 15:14 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 1589642467301

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 6542749 SOS 6067798 HAS SOPS 5885338 HAS SOUS 3460751 HAS SOUPS 3451240 WITH SCORE 3457307.798
AT ITER 7 NEW BEST:: SOT 6563083 SOS 6073310 HAS SOPS 5892637 HAS SOUS 3402716 HAS SOUPS 3392079 WITH SCORE 3398152.31
AT ITER 8 NEW BEST:: SOT 6536908 SOS 6048090 HAS SOPS 5868677 HAS SOUS 3382354 HAS SOUPS 3371747 WITH SCORE 3377795.09
AT ITER 10 NEW BEST:: SOT 6530003 SOS 6041185 HAS SOPS 5861772 HAS SOUS 3374819 HAS SOUPS 3364212 WITH SCORE 3370253.185
AT ITER 15 NEW BEST:: SOT 6558820 SOS 6052381 HAS SOPS 5879062 HAS SOUS 3355563 HAS SOUPS 3344301 WITH SCORE 3350353.381
AT ITER 27 NEW BEST:: SOT 6488307 SOS 5982156 HAS SOPS 5810180 HAS SOUS 3284814 HAS SOUPS 3274865 WITH SCORE 3280847.156
AT ITER 37 NEW BEST:: SOT 6487944 SOS 5981793 HAS SOPS 5809817 HAS SOUS 3284451 HAS SOUPS 3274502 WITH SCORE 3280483.793
AT ITER 48 NEW BEST:: SOT 6475385 SOS 5969234 HAS SOPS 5797258 HAS SOUS 3270008 HAS SOUPS 3260059 WITH SCORE 3266028.234
AT ITER 53 NEW BEST:: SOT 6472444 SOS 5966237 HAS SOPS 5794317 HAS SOUS 3265334 HAS SOUPS 3255441 WITH SCORE 3261407.237
AT ITER 97 NEW BEST:: SOT 6498832 SOS 5971248 HAS SOPS 5809997 HAS SOUS 3255465 HAS SOUPS 3245292 WITH SCORE 3251263.248
AT ITER 118 NEW BEST:: SOT 6489093 SOS 5959978 HAS SOPS 5798650 HAS SOUS 3244466 HAS SOUPS 3234151 WITH SCORE 3240110.978
AT ITER 121 NEW BEST:: SOT 6391586 SOS 5863529 HAS SOPS 5702226 HAS SOUS 3145475 HAS SOUPS 3135160 WITH SCORE 3141023.529
AT ITER 122 NEW BEST:: SOT 6391582 SOS 5863525 HAS SOPS 5702222 HAS SOUS 3145471 HAS SOUPS 3135156 WITH SCORE 3141019.525
AT ITER 138 NEW BEST:: SOT 6391562 SOS 5863505 HAS SOPS 5702202 HAS SOUS 3145451 HAS SOUPS 3135136 WITH SCORE 3140999.505
AT ITER 144 NEW BEST:: SOT 6391344 SOS 5851162 HAS SOPS 5692871 HAS SOUS 3123382 HAS SOUPS 3113414 WITH SCORE 3119265.162
AT ITER 146 NEW BEST:: SOT 6391344 SOS 5842817 HAS SOPS 5678098 HAS SOUS 3120913 HAS SOUPS 3110807 WITH SCORE 3116649.817
AT ITER 172 NEW BEST:: SOT 6389906 SOS 5841379 HAS SOPS 5676660 HAS SOUS 3118509 HAS SOUPS 3108403 WITH SCORE 3114244.379
AT ITER 201 NEW BEST:: SOT 6386195 SOS 5837668 HAS SOPS 5672949 HAS SOUS 3114348 HAS SOUPS 3104242 WITH SCORE 3110079.668
AT ITER 223 NEW BEST:: SOT 6376980 SOS 5828453 HAS SOPS 5663734 HAS SOUS 3105238 HAS SOUPS 3095132 WITH SCORE 3100960.453
AT ITER 229 NEW BEST:: SOT 6377500 SOS 5813323 HAS SOPS 5653722 HAS SOUS 3052598 HAS SOUPS 3042224 WITH SCORE 3048037.323
AT ITER 239 NEW BEST:: SOT 6373349 SOS 5809187 HAS SOPS 5649571 HAS SOUS 3045951 HAS SOUPS 3035562 WITH SCORE 3041371.187
AT ITER 251 NEW BEST:: SOT 6373237 SOS 5809075 HAS SOPS 5649459 HAS SOUS 3045887 HAS SOUPS 3035498 WITH SCORE 3041307.075
AT ITER 258 NEW BEST:: SOT 6373245 SOS 5809380 HAS SOPS 5652430 HAS SOUS 3045614 HAS SOUPS 3035231 WITH SCORE 3041040.38
AT ITER 259 NEW BEST:: SOT 6373245 SOS 5809615 HAS SOPS 5657173 HAS SOUS 3045549 HAS SOUPS 3035224 WITH SCORE 3041033.615
AT ITER 264 NEW BEST:: SOT 6378381 SOS 5792913 HAS SOPS 5652012 HAS SOUS 3021902 HAS SOUPS 3011752 WITH SCORE 3017544.913
AT ITER 294 NEW BEST:: SOT 6378244 SOS 5792751 HAS SOPS 5651875 HAS SOUS 3021475 HAS SOUPS 3011350 WITH SCORE 3017142.751
AT ITER 298 NEW BEST:: SOT 6377816 SOS 5792269 HAS SOPS 5651447 HAS SOUS 3021045 HAS SOUPS 3010974 WITH SCORE 3016766.269
AT ITER 299 NEW BEST:: SOT 6377876 SOS 5792336 HAS SOPS 5651361 HAS SOUS 3019406 HAS SOUPS 3009364 WITH SCORE 3015156.336
AT ITER 300 NEW BEST:: SOT 6377876 SOS 5791756 HAS SOPS 5663816 HAS SOUS 3018691 HAS SOUPS 3008972 WITH SCORE 3014763.756
AT ITER 320 NEW BEST:: SOT 6442561 SOS 5840325 HAS SOPS 5712463 HAS SOUS 2999242 HAS SOUPS 2985794 WITH SCORE 2991634.325
AT ITER 333 NEW BEST:: SOT 6442171 SOS 5839935 HAS SOPS 5712073 HAS SOUS 2999210 HAS SOUPS 2985762 WITH SCORE 2991601.935
AT ITER 344 NEW BEST:: SOT 6440040 SOS 5837613 HAS SOPS 5709942 HAS SOUS 2998031 HAS SOUPS 2984774 WITH SCORE 2990611.613
AT ITER 348 NEW BEST:: SOT 6438099 SOS 5835672 HAS SOPS 5708001 HAS SOUS 2995274 HAS SOUPS 2982017 WITH SCORE 2987852.672
AT ITER 359 NEW BEST:: SOT 6436539 SOS 5834078 HAS SOPS 5706441 HAS SOUS 2993618 HAS SOUPS 2980395 WITH SCORE 2986229.078
AT ITER 361 NEW BEST:: SOT 6436303 SOS 5833842 HAS SOPS 5706205 HAS SOUS 2993297 HAS SOUPS 2980074 WITH SCORE 2985907.842
AT ITER 366 NEW BEST:: SOT 6436303 SOS 5833842 HAS SOPS 5706205 HAS SOUS 2993194 HAS SOUPS 2979971 WITH SCORE 2985804.842
AT ITER 375 NEW BEST:: SOT 6436360 SOS 5816833 HAS SOPS 5696826 HAS SOUS 2968229 HAS SOUPS 2955203 WITH SCORE 2961019.833
AT ITER 385 NEW BEST:: SOT 6434465 SOS 5814938 HAS SOPS 5694931 HAS SOUS 2965616 HAS SOUPS 2952590 WITH SCORE 2958404.938
AT ITER 391 NEW BEST:: SOT 6463865 SOS 5823628 HAS SOPS 5714282 HAS SOUS 2962278 HAS SOUPS 2948326 WITH SCORE 2954149.628
AT ITER 394 NEW BEST:: SOT 6463927 SOS 5823690 HAS SOPS 5714344 HAS SOUS 2962181 HAS SOUPS 2948229 WITH SCORE 2954052.69
AT ITER 412 NEW BEST:: SOT 6463864 SOS 5772563 HAS SOPS 5635233 HAS SOUS 2967282 HAS SOUPS 2947620 WITH SCORE 2953392.563
AT ITER 420 NEW BEST:: SOT 6463520 SOS 5772219 HAS SOPS 5634889 HAS SOUS 2966938 HAS SOUPS 2947276 WITH SCORE 2953048.219
AT ITER 438 NEW BEST:: SOT 6464609 SOS 5758193 HAS SOPS 5625072 HAS SOUS 2922596 HAS SOUPS 2903043 WITH SCORE 2908801.193
AT ITER 442 NEW BEST:: SOT 6464625 SOS 5761508 HAS SOPS 5628292 HAS SOUS 2922226 HAS SOUPS 2902593 WITH SCORE 2908354.508
AT ITER 447 NEW BEST:: SOT 6464691 SOS 5739983 HAS SOPS 5622010 HAS SOUS 2916116 HAS SOUPS 2896842 WITH SCORE 2902581.983
AT ITER 452 NEW BEST:: SOT 6463739 SOS 5739031 HAS SOPS 5621058 HAS SOUS 2914458 HAS SOUPS 2895184 WITH SCORE 2900923.031
AT ITER 454 NEW BEST:: SOT 6462119 SOS 5737411 HAS SOPS 5619438 HAS SOUS 2911644 HAS SOUPS 2892370 WITH SCORE 2898107.411
AT ITER 458 NEW BEST:: SOT 6462053 SOS 5730389 HAS SOPS 5612596 HAS SOUS 2909764 HAS SOUPS 2890602 WITH SCORE 2896332.389
AT ITER 505 NEW BEST:: SOT 6462186 SOS 5730844 HAS SOPS 5612877 HAS SOUS 2909303 HAS SOUPS 2890237 WITH SCORE 2895967.844
AT ITER 508 NEW BEST:: SOT 6461864 SOS 5730522 HAS SOPS 5612555 HAS SOUS 2908981 HAS SOUPS 2889915 WITH SCORE 2895645.522
AT ITER 513 NEW BEST:: SOT 6460298 SOS 5728957 HAS SOPS 5610989 HAS SOUS 2907332 HAS SOUPS 2888265 WITH SCORE 2893993.957
AT ITER 516 NEW BEST:: SOT 6458358 SOS 5726839 HAS SOPS 5609109 HAS SOUS 2906552 HAS SOUPS 2887693 WITH SCORE 2893419.839
AT ITER 521 NEW BEST:: SOT 6457980 SOS 5726461 HAS SOPS 5608731 HAS SOUS 2906174 HAS SOUPS 2887315 WITH SCORE 2893041.461
AT ITER 522 NEW BEST:: SOT 6457980 SOS 5725483 HAS SOPS 5608268 HAS SOUS 2905754 HAS SOUPS 2886985 WITH SCORE 2892710.483
AT ITER 523 NEW BEST:: SOT 6451836 SOS 5719108 HAS SOPS 5602124 HAS SOUS 2901007 HAS SOUPS 2882469 WITH SCORE 2888188.108
AT ITER 525 NEW BEST:: SOT 6447847 SOS 5714955 HAS SOPS 5598135 HAS SOUS 2898643 HAS SOUPS 2880269 WITH SCORE 2885983.955
AT ITER 530 NEW BEST:: SOT 6442056 SOS 5708964 HAS SOPS 5592344 HAS SOUS 2892807 HAS SOUPS 2874633 WITH SCORE 2880341.964
AT ITER 544 NEW BEST:: SOT 6440686 SOS 5707594 HAS SOPS 5590974 HAS SOUS 2890169 HAS SOUPS 2871995 WITH SCORE 2877702.594
AT ITER 558 NEW BEST:: SOT 6439709 SOS 5706666 HAS SOPS 5590061 HAS SOUS 2888772 HAS SOUPS 2870598 WITH SCORE 2876304.666
AT ITER 566 NEW BEST:: SOT 6439460 SOS 5706417 HAS SOPS 5589812 HAS SOUS 2888511 HAS SOUPS 2870337 WITH SCORE 2876043.417
AT ITER 577 NEW BEST:: SOT 6426989 SOS 5694668 HAS SOPS 5578501 HAS SOUS 2882565 HAS SOUPS 2864829 WITH SCORE 2870523.668
AT ITER 593 NEW BEST:: SOT 6423454 SOS 5687042 HAS SOPS 5571042 HAS SOUS 2874004 HAS SOUPS 2856608 WITH SCORE 2862295.042
AT ITER 595 NEW BEST:: SOT 6429917 SOS 5693201 HAS SOPS 5576665 HAS SOUS 2867283 HAS SOUPS 2849351 WITH SCORE 2855044.201
AT ITER 599 NEW BEST:: SOT 6505893 SOS 5748477 HAS SOPS 5637530 HAS SOUS 2865437 HAS SOUPS 2844578 WITH SCORE 2850326.477
AT ITER 607 NEW BEST:: SOT 6505886 SOS 5748466 HAS SOPS 5637523 HAS SOUS 2865362 HAS SOUPS 2844507 WITH SCORE 2850255.466
AT ITER 609 NEW BEST:: SOT 6507195 SOS 5749756 HAS SOPS 5638832 HAS SOUS 2865214 HAS SOUPS 2844378 WITH SCORE 2850127.756
AT ITER 628 NEW BEST:: SOT 6504819 SOS 5747333 HAS SOPS 5636456 HAS SOUS 2859380 HAS SOUPS 2838591 WITH SCORE 2844338.333
AT ITER 630 NEW BEST:: SOT 6504854 SOS 5747677 HAS SOPS 5636089 HAS SOUS 2859312 HAS SOUPS 2838546 WITH SCORE 2844293.677
AT ITER 635 NEW BEST:: SOT 6504185 SOS 5747008 HAS SOPS 5635420 HAS SOUS 2858940 HAS SOUPS 2838174 WITH SCORE 2843921.008
AT ITER 645 NEW BEST:: SOT 6502943 SOS 5745766 HAS SOPS 5634178 HAS SOUS 2858301 HAS SOUPS 2837535 WITH SCORE 2843280.766
AT ITER 674 NEW BEST:: SOT 6502949 SOS 5745811 HAS SOPS 5634184 HAS SOUS 2857993 HAS SOUPS 2837188 WITH SCORE 2842933.811
AT ITER 683 NEW BEST:: SOT 6503019 SOS 5737616 HAS SOPS 5632756 HAS SOUS 2854225 HAS SOUPS 2833610 WITH SCORE 2839347.616
AT ITER 686 NEW BEST:: SOT 6502887 SOS 5736856 HAS SOPS 5632032 HAS SOUS 2851233 HAS SOUPS 2830758 WITH SCORE 2836494.856
AT ITER 690 NEW BEST:: SOT 6502357 SOS 5736276 HAS SOPS 5631502 HAS SOUS 2850838 HAS SOUPS 2830413 WITH SCORE 2836149.276
AT ITER 696 NEW BEST:: SOT 6500012 SOS 5733891 HAS SOPS 5629157 HAS SOUS 2847973 HAS SOUPS 2827588 WITH SCORE 2833321.891
AT ITER 698 NEW BEST:: SOT 6496032 SOS 5729707 HAS SOPS 5625177 HAS SOUS 2843463 HAS SOUPS 2823282 WITH SCORE 2829011.707
AT ITER 712 NEW BEST:: SOT 6494907 SOS 5728431 HAS SOPS 5624052 HAS SOUS 2843161 HAS SOUPS 2823131 WITH SCORE 2828859.431
AT ITER 720 NEW BEST:: SOT 6496209 SOS 5727586 HAS SOPS 5623122 HAS SOUS 2820964 HAS SOUPS 2800485 WITH SCORE 2806212.586
AT ITER 723 NEW BEST:: SOT 6494981 SOS 5726307 HAS SOPS 5621894 HAS SOUS 2820782 HAS SOUPS 2800354 WITH SCORE 2806080.307
AT ITER 740 NEW BEST:: SOT 6494981 SOS 5726177 HAS SOPS 5621754 HAS SOUS 2820736 HAS SOUPS 2800308 WITH SCORE 2806034.177
AT ITER 742 NEW BEST:: SOT 6493900 SOS 5725096 HAS SOPS 5620673 HAS SOUS 2819666 HAS SOUPS 2799238 WITH SCORE 2804963.096
AT ITER 744 NEW BEST:: SOT 6493900 SOS 5725156 HAS SOPS 5620769 HAS SOUS 2819572 HAS SOUPS 2799144 WITH SCORE 2804869.156
AT ITER 756 NEW BEST:: SOT 6492836 SOS 5724044 HAS SOPS 5619705 HAS SOUS 2819295 HAS SOUPS 2798915 WITH SCORE 2804639.044
AT ITER 757 NEW BEST:: SOT 6495664 SOS 5727049 HAS SOPS 5622533 HAS SOUS 2817014 HAS SOUPS 2796457 WITH SCORE 2802184.049
AT ITER 765 NEW BEST:: SOT 6495759 SOS 5724221 HAS SOPS 5621057 HAS SOUS 2808009 HAS SOUPS 2787809 WITH SCORE 2793533.221
AT ITER 781 NEW BEST:: SOT 6495615 SOS 5724012 HAS SOPS 5620913 HAS SOUS 2807239 HAS SOUPS 2787103 WITH SCORE 2792827.012
AT ITER 800 NEW BEST:: SOT 6496780 SOS 5723659 HAS SOPS 5621154 HAS SOUS 2803901 HAS SOUPS 2783898 WITH SCORE 2789621.659
AT ITER 802 NEW BEST:: SOT 6496780 SOS 5732669 HAS SOPS 5633434 HAS SOUS 2803226 HAS SOUPS 2783253 WITH SCORE 2788985.669
AT ITER 808 NEW BEST:: SOT 6496356 SOS 5732245 HAS SOPS 5633010 HAS SOUS 2802802 HAS SOUPS 2782829 WITH SCORE 2788561.245
AT ITER 810 NEW BEST:: SOT 6493231 SOS 5728419 HAS SOPS 5629495 HAS SOUS 2794010 HAS SOUPS 2774230 WITH SCORE 2779958.419
AT ITER 817 NEW BEST:: SOT 6493183 SOS 5728371 HAS SOPS 5629447 HAS SOUS 2793954 HAS SOUPS 2774174 WITH SCORE 2779902.371
AT ITER 818 NEW BEST:: SOT 6493123 SOS 5728311 HAS SOPS 5629387 HAS SOUS 2793894 HAS SOUPS 2774114 WITH SCORE 2779842.311
AT ITER 820 NEW BEST:: SOT 6492892 SOS 5728106 HAS SOPS 5629196 HAS SOUS 2793786 HAS SOUPS 2774020 WITH SCORE 2779748.106
AT ITER 822 NEW BEST:: SOT 6493011 SOS 5724570 HAS SOPS 5626432 HAS SOUS 2758335 HAS SOUPS 2738328 WITH SCORE 2744052.57
AT ITER 826 NEW BEST:: SOT 6493588 SOS 5725119 HAS SOPS 5626981 HAS SOUS 2753603 HAS SOUPS 2733596 WITH SCORE 2739321.119
AT ITER 827 NEW BEST:: SOT 6493363 SOS 5724859 HAS SOPS 5626756 HAS SOUS 2753394 HAS SOUPS 2733422 WITH SCORE 2739146.859
AT ITER 837 NEW BEST:: SOT 6493439 SOS 5709759 HAS SOPS 5625381 HAS SOUS 2742709 HAS SOUPS 2723185 WITH SCORE 2728894.759
AT ITER 846 NEW BEST:: SOT 6486365 SOS 5702513 HAS SOPS 5618307 HAS SOUS 2737411 HAS SOUPS 2718059 WITH SCORE 2723761.513
AT ITER 870 NEW BEST:: SOT 6484987 SOS 5701135 HAS SOPS 5616929 HAS SOUS 2736099 HAS SOUPS 2716747 WITH SCORE 2722448.135
AT ITER 873 NEW BEST:: SOT 6484987 SOS 5701135 HAS SOPS 5616929 HAS SOUS 2735958 HAS SOUPS 2716606 WITH SCORE 2722307.135
AT ITER 876 NEW BEST:: SOT 6484996 SOS 5701147 HAS SOPS 5616938 HAS SOUS 2735943 HAS SOUPS 2716588 WITH SCORE 2722289.147
AT ITER 882 NEW BEST:: SOT 6484884 SOS 5701208 HAS SOPS 5616998 HAS SOUS 2734097 HAS SOUPS 2714742 WITH SCORE 2720443.208
AT ITER 886 NEW BEST:: SOT 6484899 SOS 5701223 HAS SOPS 5616981 HAS SOUS 2734051 HAS SOUPS 2714680 WITH SCORE 2720381.223
AT ITER 890 NEW BEST:: SOT 6484429 SOS 5700759 HAS SOPS 5616511 HAS SOUS 2733706 HAS SOUPS 2714329 WITH SCORE 2720029.759
AT ITER 894 NEW BEST:: SOT 6484518 SOS 5700825 HAS SOPS 5616600 HAS SOUS 2733345 HAS SOUPS 2713991 WITH SCORE 2719691.825
AT ITER 957 NEW BEST:: SOT 6483935 SOS 5700232 HAS SOPS 5616017 HAS SOUS 2732787 HAS SOUPS 2713443 WITH SCORE 2719143.232
AT ITER 958 NEW BEST:: SOT 6481657 SOS 5697570 HAS SOPS 5613567 HAS SOUS 2732471 HAS SOUPS 2713346 WITH SCORE 2719043.57
AT ITER 960 NEW BEST:: SOT 6482284 SOS 5698811 HAS SOPS 5614720 HAS SOUS 2730483 HAS SOUPS 2711249 WITH SCORE 2716947.811
AT ITER 967 NEW BEST:: SOT 6475505 SOS 5692056 HAS SOPS 5607941 HAS SOUS 2721344 HAS SOUPS 2702086 WITH SCORE 2707778.056
AT ITER 972 NEW BEST:: SOT 6475047 SOS 5691598 HAS SOPS 5607483 HAS SOUS 2721156 HAS SOUPS 2701898 WITH SCORE 2707589.598
AT ITER 974 NEW BEST:: SOT 6474905 SOS 5691446 HAS SOPS 5607341 HAS SOUS 2720865 HAS SOUPS 2701617 WITH SCORE 2707308.446
AT ITER 988 NEW BEST:: SOT 6474009 SOS 5690550 HAS SOPS 5606445 HAS SOUS 2719550 HAS SOUPS 2700302 WITH SCORE 2705992.55
AT ITER 1001 NEW BEST:: SOT 6478912 SOS 5692965 HAS SOPS 5608449 HAS SOUS 2693389 HAS SOUPS 2673346 WITH SCORE 2679038.965
AT ITER 1015 NEW BEST:: SOT 6501291 SOS 5714081 HAS SOPS 5627548 HAS SOUS 2670311 HAS SOUPS 2648251 WITH SCORE 2653965.081
AT ITER 1028 NEW BEST:: SOT 6501176 SOS 5713938 HAS SOPS 5627433 HAS SOUS 2669997 HAS SOUPS 2647965 WITH SCORE 2653678.938
AT ITER 1029 NEW BEST:: SOT 6501022 SOS 5713784 HAS SOPS 5627319 HAS SOUS 2669161 HAS SOUPS 2647169 WITH SCORE 2652882.784
AT ITER 1045 NEW BEST:: SOT 6501029 SOS 5713757 HAS SOPS 5627326 HAS SOUS 2668658 HAS SOUPS 2646700 WITH SCORE 2652413.757
AT ITER 1060 NEW BEST:: SOT 6501958 SOS 5714686 HAS SOPS 5628255 HAS SOUS 2668557 HAS SOUPS 2646599 WITH SCORE 2652313.686
AT ITER 1064 NEW BEST:: SOT 6500363 SOS 5713091 HAS SOPS 5626660 HAS SOUS 2666908 HAS SOUPS 2644950 WITH SCORE 2650663.091
AT ITER 1065 NEW BEST:: SOT 6500355 SOS 5713079 HAS SOPS 5626652 HAS SOUS 2666832 HAS SOUPS 2644878 WITH SCORE 2650591.079
AT ITER 1071 NEW BEST:: SOT 6502349 SOS 5714000 HAS SOPS 5626966 HAS SOUS 2654562 HAS SOUPS 2632001 WITH SCORE 2637715.0
AT ITER 1072 NEW BEST:: SOT 6502349 SOS 5713968 HAS SOPS 5626934 HAS SOUS 2654560 HAS SOUPS 2631999 WITH SCORE 2637712.968
AT ITER 1080 NEW BEST:: SOT 6502097 SOS 5713716 HAS SOPS 5626682 HAS SOUS 2654308 HAS SOUPS 2631747 WITH SCORE 2637460.716
AT ITER 1081 NEW BEST:: SOT 6502097 SOS 5713730 HAS SOPS 5626682 HAS SOUS 2654294 HAS SOUPS 2631733 WITH SCORE 2637446.73
AT ITER 1096 NEW BEST:: SOT 6500002 SOS 5711635 HAS SOPS 5624587 HAS SOUS 2652139 HAS SOUPS 2629578 WITH SCORE 2635289.635
AT ITER 1100 NEW BEST:: SOT 6493649 SOS 5706645 HAS SOPS 5619694 HAS SOUS 2651698 HAS SOUPS 2629345 WITH SCORE 2635051.645
AT ITER 1106 NEW BEST:: SOT 6493231 SOS 5706180 HAS SOPS 5619336 HAS SOUS 2651144 HAS SOUPS 2628877 WITH SCORE 2634583.18
AT ITER 1122 NEW BEST:: SOT 6492356 SOS 5705277 HAS SOPS 5618461 HAS SOUS 2645841 HAS SOUPS 2623602 WITH SCORE 2629307.277
AT ITER 1123 NEW BEST:: SOT 6492355 SOS 5705276 HAS SOPS 5618460 HAS SOUS 2645836 HAS SOUPS 2623597 WITH SCORE 2629302.276
AT ITER 1127 NEW BEST:: SOT 6481007 SOS 5694006 HAS SOPS 5607532 HAS SOUS 2634703 HAS SOUPS 2612806 WITH SCORE 2618500.006
AT ITER 1138 NEW BEST:: SOT 6480142 SOS 5693141 HAS SOPS 5606667 HAS SOUS 2633466 HAS SOUPS 2611569 WITH SCORE 2617262.141
AT ITER 1149 NEW BEST:: SOT 6454976 SOS 5671091 HAS SOPS 5584942 HAS SOUS 2623174 HAS SOUPS 2602258 WITH SCORE 2607929.091
AT ITER 1150 NEW BEST:: SOT 6454976 SOS 5657344 HAS SOPS 5568053 HAS SOUS 2622004 HAS SOUPS 2601086 WITH SCORE 2606743.344
AT ITER 1156 NEW BEST:: SOT 6453038 SOS 5655406 HAS SOPS 5566115 HAS SOUS 2619009 HAS SOUPS 2598091 WITH SCORE 2603746.406
AT ITER 1183 NEW BEST:: SOT 6453022 SOS 5655390 HAS SOPS 5566099 HAS SOUS 2618974 HAS SOUPS 2598056 WITH SCORE 2603711.39
AT ITER 1199 NEW BEST:: SOT 6452753 SOS 5655121 HAS SOPS 5565830 HAS SOUS 2618414 HAS SOUPS 2597496 WITH SCORE 2603151.121
AT ITER 1204 NEW BEST:: SOT 6452105 SOS 5654473 HAS SOPS 5565182 HAS SOUS 2617752 HAS SOUPS 2596834 WITH SCORE 2602488.473
AT ITER 1205 NEW BEST:: SOT 6451784 SOS 5654152 HAS SOPS 5564861 HAS SOUS 2617347 HAS SOUPS 2596429 WITH SCORE 2602083.152
AT ITER 1208 NEW BEST:: SOT 6450088 SOS 5652456 HAS SOPS 5563165 HAS SOUS 2615565 HAS SOUPS 2594647 WITH SCORE 2600299.456
AT ITER 1211 NEW BEST:: SOT 6449594 SOS 5651962 HAS SOPS 5562671 HAS SOUS 2614338 HAS SOUPS 2593420 WITH SCORE 2599071.962
AT ITER 1218 NEW BEST:: SOT 6449557 SOS 5651612 HAS SOPS 5562304 HAS SOUS 2614057 HAS SOUPS 2593107 WITH SCORE 2598758.612
AT ITER 1231 NEW BEST:: SOT 6449275 SOS 5651330 HAS SOPS 5562022 HAS SOUS 2613602 HAS SOUPS 2592652 WITH SCORE 2598303.33
AT ITER 1232 NEW BEST:: SOT 6447868 SOS 5649891 HAS SOPS 5560615 HAS SOUS 2611496 HAS SOUPS 2590578 WITH SCORE 2596227.891
AT ITER 1233 NEW BEST:: SOT 6447868 SOS 5649846 HAS SOPS 5560567 HAS SOUS 2611487 HAS SOUPS 2590569 WITH SCORE 2596218.846
AT ITER 1243 NEW BEST:: SOT 6447868 SOS 5652447 HAS SOPS 5561100 HAS SOUS 2611446 HAS SOUPS 2590535 WITH SCORE 2596187.447
AT ITER 1244 NEW BEST:: SOT 6451072 SOS 5632149 HAS SOPS 5556474 HAS SOUS 2603635 HAS SOUPS 2582450 WITH SCORE 2588082.149
AT ITER 1247 NEW BEST:: SOT 6450385 SOS 5631267 HAS SOPS 5555787 HAS SOUS 2601260 HAS SOUPS 2580248 WITH SCORE 2585879.267
AT ITER 1249 NEW BEST:: SOT 6449025 SOS 5629907 HAS SOPS 5554427 HAS SOUS 2599592 HAS SOUPS 2578580 WITH SCORE 2584209.907
AT ITER 1255 NEW BEST:: SOT 6448342 SOS 5628459 HAS SOPS 5553596 HAS SOUS 2597285 HAS SOUPS 2576382 WITH SCORE 2582010.459
AT ITER 1262 NEW BEST:: SOT 6447464 SOS 5627567 HAS SOPS 5552718 HAS SOUS 2596204 HAS SOUPS 2575315 WITH SCORE 2580942.567
AT ITER 1275 NEW BEST:: SOT 6446747 SOS 5626811 HAS SOPS 5552001 HAS SOUS 2595527 HAS SOUPS 2574677 WITH SCORE 2580303.811
AT ITER 1299 NEW BEST:: SOT 6446741 SOS 5626805 HAS SOPS 5551995 HAS SOUS 2595393 HAS SOUPS 2574543 WITH SCORE 2580169.805
AT ITER 1303 NEW BEST:: SOT 6445973 SOS 5626010 HAS SOPS 5551227 HAS SOUS 2593954 HAS SOUPS 2573131 WITH SCORE 2578757.01
AT ITER 1324 NEW BEST:: SOT 6444627 SOS 5624576 HAS SOPS 5549881 HAS SOUS 2591050 HAS SOUPS 2570315 WITH SCORE 2575939.576
AT ITER 1325 NEW BEST:: SOT 6444000 SOS 5623886 HAS SOPS 5549254 HAS SOUS 2590717 HAS SOUPS 2570045 WITH SCORE 2575668.886
AT ITER 1332 NEW BEST:: SOT 6447801 SOS 5625648 HAS SOPS 5551614 HAS SOUS 2589688 HAS SOUPS 2568801 WITH SCORE 2574426.648
AT ITER 1340 NEW BEST:: SOT 6447541 SOS 5625388 HAS SOPS 5551354 HAS SOUS 2589428 HAS SOUPS 2568541 WITH SCORE 2574166.388
AT ITER 1351 NEW BEST:: SOT 6447547 SOS 5625364 HAS SOPS 5551330 HAS SOUS 2589396 HAS SOUPS 2568509 WITH SCORE 2574134.364
AT ITER 1354 NEW BEST:: SOT 6446084 SOS 5623812 HAS SOPS 5549867 HAS SOUS 2586766 HAS SOUPS 2565968 WITH SCORE 2571591.812
AT ITER 1356 NEW BEST:: SOT 6443883 SOS 5621451 HAS SOPS 5547726 HAS SOUS 2583299 HAS SOUPS 2562685 WITH SCORE 2568306.451
AT ITER 1357 NEW BEST:: SOT 6442418 SOS 5620038 HAS SOPS 5546261 HAS SOUS 2581645 HAS SOUPS 2560979 WITH SCORE 2566599.038
AT ITER 1363 NEW BEST:: SOT 6441204 SOS 5618783 HAS SOPS 5545047 HAS SOUS 2580388 HAS SOUPS 2559763 WITH SCORE 2565381.783
AT ITER 1364 NEW BEST:: SOT 6441643 SOS 5619469 HAS SOPS 5545696 HAS SOUS 2579694 HAS SOUPS 2559025 WITH SCORE 2564644.469
AT ITER 1382 NEW BEST:: SOT 6441810 SOS 5619636 HAS SOPS 5545863 HAS SOUS 2579669 HAS SOUPS 2559000 WITH SCORE 2564619.636
AT ITER 1401 NEW BEST:: SOT 6441059 SOS 5618863 HAS SOPS 5545172 HAS SOUS 2577908 HAS SOUPS 2557306 WITH SCORE 2562924.863
AT ITER 1407 NEW BEST:: SOT 6440278 SOS 5617783 HAS SOPS 5544091 HAS SOUS 2575889 HAS SOUPS 2555288 WITH SCORE 2560905.783
AT ITER 1408 NEW BEST:: SOT 6440276 SOS 5617781 HAS SOPS 5544089 HAS SOUS 2575880 HAS SOUPS 2555279 WITH SCORE 2560896.781
AT ITER 1420 NEW BEST:: SOT 6439499 SOS 5617004 HAS SOPS 5543312 HAS SOUS 2575544 HAS SOUPS 2554943 WITH SCORE 2560560.004
AT ITER 1429 NEW BEST:: SOT 6439499 SOS 5617004 HAS SOPS 5543312 HAS SOUS 2575526 HAS SOUPS 2554925 WITH SCORE 2560542.004
AT ITER 1444 NEW BEST:: SOT 6448093 SOS 5614402 HAS SOPS 5551690 HAS SOUS 2559869 HAS SOUPS 2538332 WITH SCORE 2543946.402
AT ITER 1459 NEW BEST:: SOT 6448045 SOS 5614341 HAS SOPS 5551642 HAS SOUS 2559174 HAS SOUPS 2537650 WITH SCORE 2543264.341
AT ITER 1466 NEW BEST:: SOT 6450115 SOS 5616236 HAS SOPS 5553292 HAS SOUS 2555995 HAS SOUPS 2534226 WITH SCORE 2539842.236
AT ITER 1477 NEW BEST:: SOT 6449721 SOS 5615885 HAS SOPS 5552984 HAS SOUS 2555738 HAS SOUPS 2533969 WITH SCORE 2539584.885
AT ITER 1492 NEW BEST:: SOT 6449699 SOS 5615863 HAS SOPS 5552962 HAS SOUS 2555716 HAS SOUPS 2533947 WITH SCORE 2539562.863
AT ITER 1500 NEW BEST:: SOT 6449578 SOS 5615742 HAS SOPS 5552841 HAS SOUS 2555403 HAS SOUPS 2533634 WITH SCORE 2539249.742
AT ITER 1506 NEW BEST:: SOT 6449581 SOS 5615774 HAS SOPS 5552844 HAS SOUS 2555242 HAS SOUPS 2533455 WITH SCORE 2539070.774
AT ITER 1513 NEW BEST:: SOT 6449581 SOS 5615872 HAS SOPS 5552956 HAS SOUS 2554920 HAS SOUPS 2533140 WITH SCORE 2538755.872
AT ITER 1522 NEW BEST:: SOT 6444427 SOS 5610718 HAS SOPS 5547802 HAS SOUS 2547124 HAS SOUPS 2525344 WITH SCORE 2530954.718
AT ITER 1536 NEW BEST:: SOT 6443519 SOS 5609810 HAS SOPS 5546894 HAS SOUS 2545735 HAS SOUPS 2523955 WITH SCORE 2529564.81
AT ITER 1543 NEW BEST:: SOT 6443522 SOS 5609816 HAS SOPS 5546897 HAS SOUS 2545594 HAS SOUPS 2523811 WITH SCORE 2529420.816
AT ITER 1544 NEW BEST:: SOT 6443249 SOS 5609543 HAS SOPS 5546624 HAS SOUS 2544194 HAS SOUPS 2522411 WITH SCORE 2528020.543
AT ITER 1547 NEW BEST:: SOT 6442038 SOS 5608277 HAS SOPS 5545413 HAS SOUS 2543598 HAS SOUPS 2521870 WITH SCORE 2527478.277
AT ITER 1553 NEW BEST:: SOT 6441148 SOS 5607225 HAS SOPS 5544313 HAS SOUS 2539683 HAS SOUPS 2517907 WITH SCORE 2523514.225
AT ITER 1554 NEW BEST:: SOT 6440517 SOS 5606580 HAS SOPS 5543682 HAS SOUS 2538687 HAS SOUPS 2516925 WITH SCORE 2522531.58
AT ITER 1556 NEW BEST:: SOT 6440269 SOS 5606333 HAS SOPS 5543434 HAS SOUS 2537930 HAS SOUPS 2516167 WITH SCORE 2521773.333
AT ITER 1561 NEW BEST:: SOT 6436110 SOS 5604503 HAS SOPS 5541008 HAS SOUS 2537063 HAS SOUPS 2515795 WITH SCORE 2521399.503
AT ITER 1582 NEW BEST:: SOT 6435880 SOS 5604273 HAS SOPS 5540778 HAS SOUS 2536833 HAS SOUPS 2515565 WITH SCORE 2521169.273
AT ITER 1583 NEW BEST:: SOT 6435880 SOS 5601160 HAS SOPS 5537276 HAS SOUS 2536613 HAS SOUPS 2515345 WITH SCORE 2520946.16
AT ITER 1591 NEW BEST:: SOT 6434170 SOS 5599450 HAS SOPS 5535566 HAS SOUS 2533014 HAS SOUPS 2511746 WITH SCORE 2517345.45
AT ITER 1601 NEW BEST:: SOT 6434076 SOS 5599356 HAS SOPS 5535472 HAS SOUS 2532418 HAS SOUPS 2511150 WITH SCORE 2516749.356
AT ITER 1606 NEW BEST:: SOT 6440673 SOS 5605464 HAS SOPS 5540789 HAS SOUS 2521619 HAS SOUPS 2499560 WITH SCORE 2505165.464
AT ITER 1626 NEW BEST:: SOT 6440648 SOS 5605439 HAS SOPS 5540764 HAS SOUS 2521301 HAS SOUPS 2499242 WITH SCORE 2504847.439
AT ITER 1630 NEW BEST:: SOT 6439879 SOS 5604651 HAS SOPS 5539995 HAS SOUS 2519282 HAS SOUPS 2497242 WITH SCORE 2502846.651
AT ITER 1648 NEW BEST:: SOT 6439661 SOS 5604450 HAS SOPS 5539811 HAS SOUS 2519227 HAS SOUPS 2497187 WITH SCORE 2502791.45
AT ITER 1650 NEW BEST:: SOT 6439908 SOS 5604707 HAS SOPS 5540058 HAS SOUS 2519015 HAS SOUPS 2496965 WITH SCORE 2502569.707
AT ITER 1652 NEW BEST:: SOT 6439844 SOS 5604641 HAS SOPS 5539994 HAS SOUS 2518909 HAS SOUPS 2496861 WITH SCORE 2502465.641
AT ITER 1666 NEW BEST:: SOT 6439685 SOS 5604904 HAS SOPS 5540257 HAS SOUS 2517756 HAS SOUPS 2495708 WITH SCORE 2501312.904
AT ITER 1680 NEW BEST:: SOT 6438839 SOS 5604058 HAS SOPS 5539411 HAS SOUS 2516439 HAS SOUPS 2494391 WITH SCORE 2499995.058
AT ITER 1716 NEW BEST:: SOT 6438640 SOS 5603859 HAS SOPS 5539212 HAS SOUS 2516266 HAS SOUPS 2494218 WITH SCORE 2499821.859
AT ITER 1729 NEW BEST:: SOT 6438209 SOS 5603450 HAS SOPS 5538841 HAS SOUS 2514709 HAS SOUPS 2492661 WITH SCORE 2498264.45
AT ITER 1740 NEW BEST:: SOT 6438177 SOS 5603418 HAS SOPS 5538809 HAS SOUS 2514680 HAS SOUPS 2492632 WITH SCORE 2498235.418
AT ITER 1772 NEW BEST:: SOT 6437743 SOS 5602984 HAS SOPS 5538375 HAS SOUS 2513893 HAS SOUPS 2491845 WITH SCORE 2497447.984
AT ITER 1774 NEW BEST:: SOT 6437727 SOS 5600305 HAS SOPS 5535686 HAS SOUS 2513817 HAS SOUPS 2491769 WITH SCORE 2497369.305
AT ITER 1780 NEW BEST:: SOT 6436389 SOS 5598912 HAS SOPS 5534348 HAS SOUS 2512584 HAS SOUPS 2490591 WITH SCORE 2496189.912
AT ITER 1788 NEW BEST:: SOT 6435894 SOS 5598424 HAS SOPS 5533853 HAS SOUS 2511178 HAS SOUPS 2489178 WITH SCORE 2494776.424
AT ITER 1790 NEW BEST:: SOT 6433688 SOS 5596083 HAS SOPS 5531647 HAS SOUS 2510494 HAS SOUPS 2488629 WITH SCORE 2494225.083
AT ITER 1792 NEW BEST:: SOT 6434999 SOS 5595152 HAS SOPS 5531665 HAS SOUS 2507143 HAS SOUPS 2485058 WITH SCORE 2490653.152
AT ITER 1807 NEW BEST:: SOT 6441673 SOS 5601452 HAS SOPS 5537419 HAS SOUS 2507240 HAS SOUPS 2484609 WITH SCORE 2490210.452
AT ITER 1831 NEW BEST:: SOT 6441405 SOS 5601184 HAS SOPS 5537151 HAS SOUS 2506794 HAS SOUPS 2484163 WITH SCORE 2489764.184
AT ITER 1832 NEW BEST:: SOT 6469778 SOS 5629096 HAS SOPS 5563164 HAS SOUS 2507315 HAS SOUPS 2482785 WITH SCORE 2488414.096
AT ITER 1840 NEW BEST:: SOT 6469013 SOS 5628311 HAS SOPS 5562343 HAS SOUS 2506282 HAS SOUPS 2481744 WITH SCORE 2487372.311
AT ITER 1852 NEW BEST:: SOT 6468716 SOS 5628014 HAS SOPS 5562046 HAS SOUS 2505988 HAS SOUPS 2481450 WITH SCORE 2487078.014
AT ITER 1865 NEW BEST:: SOT 6469202 SOS 5674724 HAS SOPS 5614633 HAS SOUS 2503940 HAS SOUPS 2479896 WITH SCORE 2485570.724
AT ITER 1869 NEW BEST:: SOT 6469000 SOS 5674522 HAS SOPS 5614431 HAS SOUS 2503822 HAS SOUPS 2479778 WITH SCORE 2485452.522
AT ITER 1881 NEW BEST:: SOT 6467228 SOS 5672598 HAS SOPS 5612659 HAS SOUS 2503155 HAS SOUPS 2479263 WITH SCORE 2484935.598
AT ITER 1883 NEW BEST:: SOT 6463852 SOS 5669871 HAS SOPS 5610243 HAS SOUS 2502219 HAS SOUPS 2478638 WITH SCORE 2484307.871
AT ITER 1895 NEW BEST:: SOT 6430015 SOS 5636440 HAS SOPS 5577897 HAS SOUS 2472988 HAS SOUPS 2450492 WITH SCORE 2456128.44
AT ITER 1900 NEW BEST:: SOT 6430008 SOS 5636433 HAS SOPS 5577890 HAS SOUS 2472947 HAS SOUPS 2450451 WITH SCORE 2456087.433
AT ITER 1902 NEW BEST:: SOT 6429871 SOS 5636306 HAS SOPS 5577753 HAS SOUS 2472434 HAS SOUPS 2449928 WITH SCORE 2455564.306
AT ITER 1903 NEW BEST:: SOT 6445066 SOS 5650646 HAS SOPS 5590827 HAS SOUS 2468223 HAS SOUPS 2444451 WITH SCORE 2450101.646
AT ITER 1925 NEW BEST:: SOT 6444607 SOS 5650101 HAS SOPS 5590368 HAS SOUS 2467526 HAS SOUPS 2443840 WITH SCORE 2449490.101
AT ITER 1947 NEW BEST:: SOT 6444476 SOS 5649970 HAS SOPS 5590237 HAS SOUS 2467378 HAS SOUPS 2443692 WITH SCORE 2449341.97
AT ITER 1961 NEW BEST:: SOT 6444361 SOS 5649183 HAS SOPS 5589450 HAS SOUS 2466974 HAS SOUPS 2443288 WITH SCORE 2448937.183
AT ITER 1979 NEW BEST:: SOT 6444267 SOS 5649089 HAS SOPS 5589356 HAS SOUS 2466866 HAS SOUPS 2443180 WITH SCORE 2448829.089
AT ITER 1987 NEW BEST:: SOT 6444372 SOS 5649205 HAS SOPS 5589461 HAS SOUS 2466796 HAS SOUPS 2443099 WITH SCORE 2448748.205
AT ITER 1989 NEW BEST:: SOT 6444944 SOS 5649799 HAS SOPS 5590033 HAS SOUS 2466710 HAS SOUPS 2442991 WITH SCORE 2448640.799
AT ITER 2044 NEW BEST:: SOT 6441776 SOS 5646524 HAS SOPS 5586865 HAS SOUS 2465449 HAS SOUPS 2441837 WITH SCORE 2447483.524
AT ITER 2045 NEW BEST:: SOT 6440509 SOS 5645221 HAS SOPS 5585598 HAS SOUS 2463818 HAS SOUPS 2440242 WITH SCORE 2445887.221
AT ITER 2049 NEW BEST:: SOT 6440562 SOS 5645337 HAS SOPS 5585651 HAS SOUS 2462002 HAS SOUPS 2438363 WITH SCORE 2444008.337
AT ITER 2062 NEW BEST:: SOT 6440125 SOS 5644829 HAS SOPS 5585214 HAS SOUS 2460982 HAS SOUPS 2437414 WITH SCORE 2443058.829
AT ITER 2073 NEW BEST:: SOT 6438465 SOS 5643113 HAS SOPS 5583554 HAS SOUS 2458935 HAS SOUPS 2435423 WITH SCORE 2441066.113
AT ITER 2074 NEW BEST:: SOT 6438213 SOS 5642861 HAS SOPS 5583302 HAS SOUS 2458634 HAS SOUPS 2435122 WITH SCORE 2440764.861
AT ITER 2075 NEW BEST:: SOT 6438234 SOS 5639099 HAS SOPS 5595656 HAS SOUS 2456963 HAS SOUPS 2433514 WITH SCORE 2439153.099
AT ITER 2076 NEW BEST:: SOT 6434831 SOS 5635583 HAS SOPS 5592253 HAS SOUS 2456203 HAS SOUPS 2432867 WITH SCORE 2438502.583
AT ITER 2080 NEW BEST:: SOT 6434442 SOS 5635184 HAS SOPS 5591864 HAS SOUS 2455686 HAS SOUPS 2432360 WITH SCORE 2437995.184
AT ITER 2082 NEW BEST:: SOT 6434442 SOS 5634793 HAS SOPS 5591476 HAS SOUS 2455624 HAS SOUPS 2432298 WITH SCORE 2437932.793
AT ITER 2102 NEW BEST:: SOT 6434442 SOS 5634124 HAS SOPS 5590830 HAS SOUS 2455265 HAS SOUPS 2431955 WITH SCORE 2437589.124
AT ITER 2108 NEW BEST:: SOT 6434442 SOS 5633651 HAS SOPS 5605425 HAS SOUS 2453559 HAS SOUPS 2430382 WITH SCORE 2436015.651
AT ITER 2132 NEW BEST:: SOT 6433665 SOS 5632874 HAS SOPS 5604648 HAS SOUS 2452905 HAS SOUPS 2429728 WITH SCORE 2435360.874
AT ITER 2134 NEW BEST:: SOT 6433537 SOS 5632746 HAS SOPS 5604520 HAS SOUS 2452734 HAS SOUPS 2429557 WITH SCORE 2435189.746
AT ITER 2135 NEW BEST:: SOT 6446127 SOS 5644332 HAS SOPS 5615170 HAS SOUS 2449020 HAS SOUPS 2424907 WITH SCORE 2430551.332
AT ITER 2141 NEW BEST:: SOT 6446143 SOS 5644350 HAS SOPS 5615186 HAS SOUS 2449003 HAS SOUPS 2424888 WITH SCORE 2430532.35
AT ITER 2152 NEW BEST:: SOT 6445864 SOS 5644154 HAS SOPS 5614907 HAS SOUS 2445869 HAS SOUPS 2421671 WITH SCORE 2427315.154
AT ITER 2158 NEW BEST:: SOT 6446441 SOS 5644782 HAS SOPS 5615484 HAS SOUS 2445507 HAS SOUPS 2421258 WITH SCORE 2426902.782
AT ITER 2161 NEW BEST:: SOT 6446398 SOS 5644735 HAS SOPS 5615441 HAS SOUS 2445461 HAS SOUPS 2421216 WITH SCORE 2426860.735
AT ITER 2178 NEW BEST:: SOT 6446533 SOS 5644891 HAS SOPS 5615576 HAS SOUS 2445229 HAS SOUPS 2420963 WITH SCORE 2426607.891
AT ITER 2192 NEW BEST:: SOT 6446381 SOS 5644739 HAS SOPS 5615424 HAS SOUS 2444839 HAS SOUPS 2420573 WITH SCORE 2426217.739
AT ITER 2193 NEW BEST:: SOT 6444484 SOS 5642797 HAS SOPS 5613527 HAS SOUS 2442345 HAS SOUPS 2418124 WITH SCORE 2423766.797
AT ITER 2206 NEW BEST:: SOT 6441183 SOS 5639495 HAS SOPS 5610226 HAS SOUS 2437885 HAS SOUPS 2413665 WITH SCORE 2419304.495
AT ITER 2232 NEW BEST:: SOT 6441183 SOS 5640397 HAS SOPS 5611086 HAS SOUS 2437748 HAS SOUPS 2413528 WITH SCORE 2419168.397
AT ITER 2234 NEW BEST:: SOT 6439612 SOS 5637475 HAS SOPS 5608301 HAS SOUS 2436590 HAS SOUPS 2412456 WITH SCORE 2418093.475
AT ITER 2239 NEW BEST:: SOT 6439311 SOS 5638054 HAS SOPS 5608912 HAS SOUS 2436321 HAS SOUPS 2412187 WITH SCORE 2417825.054
AT ITER 2244 NEW BEST:: SOT 6436861 SOS 5635521 HAS SOPS 5606462 HAS SOUS 2433855 HAS SOUPS 2409804 WITH SCORE 2415439.521
AT ITER 2258 NEW BEST:: SOT 6436435 SOS 5635095 HAS SOPS 5606036 HAS SOUS 2433429 HAS SOUPS 2409378 WITH SCORE 2415013.095
AT ITER 2269 NEW BEST:: SOT 6426315 SOS 5625136 HAS SOPS 5596616 HAS SOUS 2429671 HAS SOUPS 2406159 WITH SCORE 2411784.136
AT ITER 2275 NEW BEST:: SOT 6426493 SOS 5625314 HAS SOPS 5596794 HAS SOUS 2429657 HAS SOUPS 2406145 WITH SCORE 2411770.314
AT ITER 2279 NEW BEST:: SOT 6424139 SOS 5622917 HAS SOPS 5594440 HAS SOUS 2424926 HAS SOUPS 2401457 WITH SCORE 2407079.917
AT ITER 2305 NEW BEST:: SOT 6424051 SOS 5622829 HAS SOPS 5594352 HAS SOUS 2424683 HAS SOUPS 2401214 WITH SCORE 2406836.829
AT ITER 2307 NEW BEST:: SOT 6423705 SOS 5622483 HAS SOPS 5594006 HAS SOUS 2424293 HAS SOUPS 2400824 WITH SCORE 2406446.483
AT ITER 2308 NEW BEST:: SOT 6408172 SOS 5607545 HAS SOPS 5579633 HAS SOUS 2410070 HAS SOUPS 2387166 WITH SCORE 2392773.545
AT ITER 2311 NEW BEST:: SOT 6406943 SOS 5606260 HAS SOPS 5578404 HAS SOUS 2408528 HAS SOUPS 2385680 WITH SCORE 2391286.26
AT ITER 2319 NEW BEST:: SOT 6407673 SOS 5607046 HAS SOPS 5579134 HAS SOUS 2408525 HAS SOUPS 2385621 WITH SCORE 2391228.046
AT ITER 2352 NEW BEST:: SOT 6407699 SOS 5607112 HAS SOPS 5579160 HAS SOUS 2408110 HAS SOUPS 2385166 WITH SCORE 2390773.112
AT ITER 2354 NEW BEST:: SOT 6411785 SOS 5609445 HAS SOPS 5580789 HAS SOUS 2405866 HAS SOUPS 2382219 WITH SCORE 2387828.445
AT ITER 2370 NEW BEST:: SOT 6411736 SOS 5608295 HAS SOPS 5579558 HAS SOUS 2403549 HAS SOUPS 2379801 WITH SCORE 2385409.295
AT ITER 2373 NEW BEST:: SOT 6411459 SOS 5608018 HAS SOPS 5579281 HAS SOUS 2403184 HAS SOUPS 2379436 WITH SCORE 2385044.018
AT ITER 2376 NEW BEST:: SOT 6410727 SOS 5607257 HAS SOPS 5578549 HAS SOUS 2401695 HAS SOUPS 2377976 WITH SCORE 2383583.257
AT ITER 2378 NEW BEST:: SOT 6410448 SOS 5606978 HAS SOPS 5578270 HAS SOUS 2400908 HAS SOUPS 2377189 WITH SCORE 2382795.978
AT ITER 2382 NEW BEST:: SOT 6408208 SOS 5604798 HAS SOPS 5576170 HAS SOUS 2398964 HAS SOUPS 2375325 WITH SCORE 2380929.798
AT ITER 2395 NEW BEST:: SOT 6408038 SOS 5604628 HAS SOPS 5576000 HAS SOUS 2398759 HAS SOUPS 2375120 WITH SCORE 2380724.628
AT ITER 2401 NEW BEST:: SOT 6407032 SOS 5603622 HAS SOPS 5574994 HAS SOUS 2397937 HAS SOUPS 2374298 WITH SCORE 2379901.622
AT ITER 2422 NEW BEST:: SOT 6406980 SOS 5603585 HAS SOPS 5574962 HAS SOUS 2397882 HAS SOUPS 2374248 WITH SCORE 2379851.585
AT ITER 2436 NEW BEST:: SOT 6406104 SOS 5602644 HAS SOPS 5574086 HAS SOUS 2397732 HAS SOUPS 2374163 WITH SCORE 2379765.644
AT ITER 2444 NEW BEST:: SOT 6401171 SOS 5597711 HAS SOPS 5569153 HAS SOUS 2392853 HAS SOUPS 2369284 WITH SCORE 2374881.711
AT ITER 2475 NEW BEST:: SOT 6400998 SOS 5597264 HAS SOPS 5568732 HAS SOUS 2392786 HAS SOUPS 2369217 WITH SCORE 2374814.264
AT ITER 2479 NEW BEST:: SOT 6400978 SOS 5597244 HAS SOPS 5568712 HAS SOUS 2392766 HAS SOUPS 2369197 WITH SCORE 2374794.244
AT ITER 2486 NEW BEST:: SOT 6400984 SOS 5597251 HAS SOPS 5568718 HAS SOUS 2392653 HAS SOUPS 2369083 WITH SCORE 2374680.251
AT ITER 2490 NEW BEST:: SOT 6400875 SOS 5597142 HAS SOPS 5568609 HAS SOUS 2391691 HAS SOUPS 2368121 WITH SCORE 2373718.142
AT ITER 2511 NEW BEST:: SOT 6400783 SOS 5597050 HAS SOPS 5568517 HAS SOUS 2391396 HAS SOUPS 2367826 WITH SCORE 2373423.05
AT ITER 2517 NEW BEST:: SOT 6399850 SOS 5596064 HAS SOPS 5567584 HAS SOUS 2390159 HAS SOUPS 2366642 WITH SCORE 2372238.064
AT ITER 2528 NEW BEST:: SOT 6399660 SOS 5595874 HAS SOPS 5567394 HAS SOUS 2389969 HAS SOUPS 2366452 WITH SCORE 2372047.874
AT ITER 2538 NEW BEST:: SOT 6399710 SOS 5595928 HAS SOPS 5567444 HAS SOUS 2389959 HAS SOUPS 2366438 WITH SCORE 2372033.928
AT ITER 2554 NEW BEST:: SOT 6399756 SOS 5595974 HAS SOPS 5567490 HAS SOUS 2389958 HAS SOUPS 2366437 WITH SCORE 2372032.974
AT ITER 2556 NEW BEST:: SOT 6399756 SOS 5595974 HAS SOPS 5567490 HAS SOUS 2389949 HAS SOUPS 2366428 WITH SCORE 2372023.974
AT ITER 2559 NEW BEST:: SOT 6395872 SOS 5592700 HAS SOPS 5564526 HAS SOUS 2388429 HAS SOUPS 2365218 WITH SCORE 2370810.7
AT ITER 2566 NEW BEST:: SOT 6393434 SOS 5590190 HAS SOPS 5562088 HAS SOUS 2386629 HAS SOUPS 2363490 WITH SCORE 2369080.19
AT ITER 2577 NEW BEST:: SOT 6393388 SOS 5590144 HAS SOPS 5562042 HAS SOUS 2386477 HAS SOUPS 2363338 WITH SCORE 2368928.144
AT ITER 2582 NEW BEST:: SOT 6393260 SOS 5590025 HAS SOPS 5561914 HAS SOUS 2385893 HAS SOUPS 2362745 WITH SCORE 2368335.025
AT ITER 2586 NEW BEST:: SOT 6393092 SOS 5589857 HAS SOPS 5561746 HAS SOUS 2385619 HAS SOUPS 2362471 WITH SCORE 2368060.857
AT ITER 2600 NEW BEST:: SOT 6393088 SOS 5589874 HAS SOPS 5561742 HAS SOUS 2384842 HAS SOUPS 2361673 WITH SCORE 2367262.874
AT ITER 2602 NEW BEST:: SOT 6392864 SOS 5589543 HAS SOPS 5561411 HAS SOUS 2384177 HAS SOUPS 2361008 WITH SCORE 2366597.543
AT ITER 2628 NEW BEST:: SOT 6392246 SOS 5588911 HAS SOPS 5560793 HAS SOUS 2383803 HAS SOUPS 2360648 WITH SCORE 2366236.911
AT ITER 2645 NEW BEST:: SOT 6392223 SOS 5588888 HAS SOPS 5560770 HAS SOUS 2383775 HAS SOUPS 2360620 WITH SCORE 2366208.888
AT ITER 2669 NEW BEST:: SOT 6392143 SOS 5588808 HAS SOPS 5560690 HAS SOUS 2383677 HAS SOUPS 2360522 WITH SCORE 2366110.808
AT ITER 2680 NEW BEST:: SOT 6390082 SOS 5586747 HAS SOPS 5558629 HAS SOUS 2380179 HAS SOUPS 2357024 WITH SCORE 2362610.747
AT ITER 2682 NEW BEST:: SOT 6389277 SOS 5585906 HAS SOPS 5557824 HAS SOUS 2379179 HAS SOUPS 2356060 WITH SCORE 2361645.906
AT ITER 2683 NEW BEST:: SOT 6389306 SOS 5585935 HAS SOPS 5557853 HAS SOUS 2378859 HAS SOUPS 2355740 WITH SCORE 2361325.935
AT ITER 2685 NEW BEST:: SOT 6389306 SOS 5586792 HAS SOPS 5558667 HAS SOUS 2378849 HAS SOUPS 2355730 WITH SCORE 2361316.792
AT ITER 2689 NEW BEST:: SOT 6389303 SOS 5586789 HAS SOPS 5558664 HAS SOUS 2378815 HAS SOUPS 2355696 WITH SCORE 2361282.789
AT ITER 2694 NEW BEST:: SOT 6389093 SOS 5586570 HAS SOPS 5558454 HAS SOUS 2378396 HAS SOUPS 2355286 WITH SCORE 2360872.57
AT ITER 2704 NEW BEST:: SOT 6389103 SOS 5586580 HAS SOPS 5558464 HAS SOUS 2378363 HAS SOUPS 2355253 WITH SCORE 2360839.58
AT ITER 2712 NEW BEST:: SOT 6388857 SOS 5586344 HAS SOPS 5558218 HAS SOUS 2378284 HAS SOUPS 2355164 WITH SCORE 2360750.344
AT ITER 2731 NEW BEST:: SOT 6388546 SOS 5586028 HAS SOPS 5557907 HAS SOUS 2377883 HAS SOUPS 2354768 WITH SCORE 2360354.028
AT ITER 2749 NEW BEST:: SOT 6387186 SOS 5585269 HAS SOPS 5557307 HAS SOUS 2376656 HAS SOUPS 2353700 WITH SCORE 2359285.269
AT ITER 2754 NEW BEST:: SOT 6386972 SOS 5585049 HAS SOPS 5557093 HAS SOUS 2376571 HAS SOUPS 2353621 WITH SCORE 2359206.049
AT ITER 2760 NEW BEST:: SOT 6390810 SOS 5588825 HAS SOPS 5561174 HAS SOUS 2376223 HAS SOUPS 2353578 WITH SCORE 2359166.825
AT ITER 2764 NEW BEST:: SOT 6389006 SOS 5587021 HAS SOPS 5559370 HAS SOUS 2374528 HAS SOUPS 2351883 WITH SCORE 2357470.021
AT ITER 2784 NEW BEST:: SOT 6388576 SOS 5586591 HAS SOPS 5558940 HAS SOUS 2373599 HAS SOUPS 2350954 WITH SCORE 2356540.591
AT ITER 2785 NEW BEST:: SOT 6388576 SOS 5585883 HAS SOPS 5558234 HAS SOUS 2373528 HAS SOUPS 2350883 WITH SCORE 2356468.883
AT ITER 2811 NEW BEST:: SOT 6388579 SOS 5585886 HAS SOPS 5558237 HAS SOUS 2373430 HAS SOUPS 2350785 WITH SCORE 2356370.886
AT ITER 2812 NEW BEST:: SOT 6388024 SOS 5585349 HAS SOPS 5557722 HAS SOUS 2372954 HAS SOUPS 2350331 WITH SCORE 2355916.349
AT ITER 2828 NEW BEST:: SOT 6386199 SOS 5583480 HAS SOPS 5555897 HAS SOUS 2370261 HAS SOUPS 2347682 WITH SCORE 2353265.48
AT ITER 2854 NEW BEST:: SOT 6385877 SOS 5583156 HAS SOPS 5555575 HAS SOUS 2369465 HAS SOUPS 2346888 WITH SCORE 2352471.156
AT ITER 2861 NEW BEST:: SOT 6385703 SOS 5582976 HAS SOPS 5555401 HAS SOUS 2369351 HAS SOUPS 2346780 WITH SCORE 2352362.976
AT ITER 2888 NEW BEST:: SOT 6385703 SOS 5582976 HAS SOPS 5555401 HAS SOUS 2369282 HAS SOUPS 2346711 WITH SCORE 2352293.976
AT ITER 2927 NEW BEST:: SOT 6385686 SOS 5582959 HAS SOPS 5555384 HAS SOUS 2369246 HAS SOUPS 2346675 WITH SCORE 2352257.959
AT ITER 2930 NEW BEST:: SOT 6385526 SOS 5582799 HAS SOPS 5555224 HAS SOUS 2369086 HAS SOUPS 2346515 WITH SCORE 2352097.799
AT ITER 2937 NEW BEST:: SOT 6385489 SOS 5582762 HAS SOPS 5555187 HAS SOUS 2369022 HAS SOUPS 2346451 WITH SCORE 2352033.762
AT ITER 2957 NEW BEST:: SOT 6385357 SOS 5582630 HAS SOPS 5555055 HAS SOUS 2368809 HAS SOUPS 2346238 WITH SCORE 2351820.63
AT ITER 2977 NEW BEST:: SOT 6384918 SOS 5582191 HAS SOPS 5554616 HAS SOUS 2367657 HAS SOUPS 2345086 WITH SCORE 2350668.191
AT ITER 2983 NEW BEST:: SOT 6359925 SOS 5557591 HAS SOPS 5530682 HAS SOUS 2351363 HAS SOUPS 2329458 WITH SCORE 2335015.591
AT ITER 2992 NEW BEST:: SOT 6359925 SOS 5557591 HAS SOPS 5530682 HAS SOUS 2351302 HAS SOUPS 2329397 WITH SCORE 2334954.591
AT ITER 2998 NEW BEST:: SOT 6358259 SOS 5555903 HAS SOPS 5529016 HAS SOUS 2349562 HAS SOUPS 2327679 WITH SCORE 2333234.903
AT ITER 3003 NEW BEST:: SOT 6358090 SOS 5555741 HAS SOPS 5528847 HAS SOUS 2348985 HAS SOUPS 2327095 WITH SCORE 2332650.741
AT ITER 3026 NEW BEST:: SOT 6353774 SOS 5551223 HAS SOPS 5524531 HAS SOUS 2347689 HAS SOUPS 2326001 WITH SCORE 2331552.223
AT ITER 3027 NEW BEST:: SOT 6353682 SOS 5551127 HAS SOPS 5524439 HAS SOUS 2347526 HAS SOUPS 2325842 WITH SCORE 2331393.127
AT ITER 3040 NEW BEST:: SOT 6353682 SOS 5548228 HAS SOPS 5521497 HAS SOUS 2347514 HAS SOUPS 2325829 WITH SCORE 2331377.228
AT ITER 3070 NEW BEST:: SOT 6353682 SOS 5548228 HAS SOPS 5521497 HAS SOUS 2347508 HAS SOUPS 2325823 WITH SCORE 2331371.228
AT ITER 3074 NEW BEST:: SOT 6353575 SOS 5548114 HAS SOPS 5521390 HAS SOUS 2347348 HAS SOUPS 2325670 WITH SCORE 2331218.114
AT ITER 3076 NEW BEST:: SOT 6353631 SOS 5548211 HAS SOPS 5521446 HAS SOUS 2346142 HAS SOUPS 2324423 WITH SCORE 2329971.211
AT ITER 3082 NEW BEST:: SOT 6352898 SOS 5547478 HAS SOPS 5520713 HAS SOUS 2344449 HAS SOUPS 2322730 WITH SCORE 2328277.478
AT ITER 3084 NEW BEST:: SOT 6353069 SOS 5547649 HAS SOPS 5520884 HAS SOUS 2344446 HAS SOUPS 2322727 WITH SCORE 2328274.649
AT ITER 3092 NEW BEST:: SOT 6353038 SOS 5547618 HAS SOPS 5520853 HAS SOUS 2344314 HAS SOUPS 2322595 WITH SCORE 2328142.618
AT ITER 3095 NEW BEST:: SOT 6352583 SOS 5547163 HAS SOPS 5520398 HAS SOUS 2342893 HAS SOUPS 2321174 WITH SCORE 2326721.163
AT ITER 3113 NEW BEST:: SOT 6352359 SOS 5546939 HAS SOPS 5520174 HAS SOUS 2342335 HAS SOUPS 2320616 WITH SCORE 2326162.939
AT ITER 3148 NEW BEST:: SOT 6351388 SOS 5545968 HAS SOPS 5519203 HAS SOUS 2340917 HAS SOUPS 2319198 WITH SCORE 2324743.968
AT ITER 3157 NEW BEST:: SOT 6351308 SOS 5545888 HAS SOPS 5519123 HAS SOUS 2340837 HAS SOUPS 2319118 WITH SCORE 2324663.888
AT ITER 3183 NEW BEST:: SOT 6351308 SOS 5545523 HAS SOPS 5518753 HAS SOUS 2340822 HAS SOUPS 2319103 WITH SCORE 2324648.523
AT ITER 3187 NEW BEST:: SOT 6351918 SOS 5546186 HAS SOPS 5519363 HAS SOUS 2340428 HAS SOUPS 2318656 WITH SCORE 2324202.186
AT ITER 3202 NEW BEST:: SOT 6351121 SOS 5546126 HAS SOPS 5519303 HAS SOUS 2339198 HAS SOUPS 2317426 WITH SCORE 2322972.126
AT ITER 3209 NEW BEST:: SOT 6351357 SOS 5546514 HAS SOPS 5519539 HAS SOUS 2336327 HAS SOUPS 2314403 WITH SCORE 2319949.514
AT ITER 3225 NEW BEST:: SOT 6351449 SOS 5546570 HAS SOPS 5519601 HAS SOUS 2335397 HAS SOUPS 2313443 WITH SCORE 2318989.57
AT ITER 3226 NEW BEST:: SOT 6351051 SOS 5546172 HAS SOPS 5519203 HAS SOUS 2334999 HAS SOUPS 2313045 WITH SCORE 2318591.172
AT ITER 3229 NEW BEST:: SOT 6351042 SOS 5546163 HAS SOPS 5519194 HAS SOUS 2334990 HAS SOUPS 2313036 WITH SCORE 2318582.163
AT ITER 3233 NEW BEST:: SOT 6350848 SOS 5546034 HAS SOPS 5519000 HAS SOUS 2331875 HAS SOUPS 2309856 WITH SCORE 2315402.034
AT ITER 3237 NEW BEST:: SOT 6350573 SOS 5545759 HAS SOPS 5518725 HAS SOUS 2330351 HAS SOUPS 2308332 WITH SCORE 2313877.759
AT ITER 3255 NEW BEST:: SOT 6350582 SOS 5545783 HAS SOPS 5518734 HAS SOUS 2330055 HAS SOUPS 2308021 WITH SCORE 2313566.783
AT ITER 3266 NEW BEST:: SOT 6350235 SOS 5545436 HAS SOPS 5518387 HAS SOUS 2329689 HAS SOUPS 2307655 WITH SCORE 2313200.436
AT ITER 3276 NEW BEST:: SOT 6350037 SOS 5545238 HAS SOPS 5518189 HAS SOUS 2329442 HAS SOUPS 2307408 WITH SCORE 2312953.238
AT ITER 3310 NEW BEST:: SOT 6349927 SOS 5545140 HAS SOPS 5518079 HAS SOUS 2328592 HAS SOUPS 2306546 WITH SCORE 2312091.14
AT ITER 3326 NEW BEST:: SOT 6349938 SOS 5545151 HAS SOPS 5518090 HAS SOUS 2327851 HAS SOUPS 2305805 WITH SCORE 2311350.151
AT ITER 3341 NEW BEST:: SOT 6349645 SOS 5544858 HAS SOPS 5517797 HAS SOUS 2327293 HAS SOUPS 2305247 WITH SCORE 2310791.858
AT ITER 3354 NEW BEST:: SOT 6349506 SOS 5544719 HAS SOPS 5517658 HAS SOUS 2326271 HAS SOUPS 2304225 WITH SCORE 2309769.719
AT ITER 3361 NEW BEST:: SOT 6349481 SOS 5544694 HAS SOPS 5517633 HAS SOUS 2325992 HAS SOUPS 2303946 WITH SCORE 2309490.694
AT ITER 3370 NEW BEST:: SOT 6349061 SOS 5544248 HAS SOPS 5517213 HAS SOUS 2325724 HAS SOUPS 2303704 WITH SCORE 2309248.248
AT ITER 3383 NEW BEST:: SOT 6348843 SOS 5544019 HAS SOPS 5516995 HAS SOUS 2325455 HAS SOUPS 2303446 WITH SCORE 2308990.019
AT ITER 3390 NEW BEST:: SOT 6347338 SOS 5542477 HAS SOPS 5515490 HAS SOUS 2323133 HAS SOUPS 2301161 WITH SCORE 2306703.477
AT ITER 3414 NEW BEST:: SOT 6347355 SOS 5542494 HAS SOPS 5515507 HAS SOUS 2322646 HAS SOUPS 2300674 WITH SCORE 2306216.494
AT ITER 3432 NEW BEST:: SOT 6346595 SOS 5541670 HAS SOPS 5514747 HAS SOUS 2321119 HAS SOUPS 2299211 WITH SCORE 2304752.67
AT ITER 3446 NEW BEST:: SOT 6346557 SOS 5541632 HAS SOPS 5514709 HAS SOUS 2321081 HAS SOUPS 2299173 WITH SCORE 2304714.632
AT ITER 3485 NEW BEST:: SOT 6346318 SOS 5541382 HAS SOPS 5514470 HAS SOUS 2320759 HAS SOUPS 2298862 WITH SCORE 2304403.382
AT ITER 3495 NEW BEST:: SOT 6345962 SOS 5541016 HAS SOPS 5514114 HAS SOUS 2320558 HAS SOUPS 2298671 WITH SCORE 2304212.016
AT ITER 3505 NEW BEST:: SOT 6344892 SOS 5539946 HAS SOPS 5513044 HAS SOUS 2319345 HAS SOUPS 2297458 WITH SCORE 2302997.946
AT ITER 3507 NEW BEST:: SOT 6344470 SOS 5539540 HAS SOPS 5512622 HAS SOUS 2317304 HAS SOUPS 2295401 WITH SCORE 2300940.54
AT ITER 3525 NEW BEST:: SOT 6344128 SOS 5539222 HAS SOPS 5512280 HAS SOUS 2315349 HAS SOUPS 2293422 WITH SCORE 2298961.222
AT ITER 3540 NEW BEST:: SOT 6344128 SOS 5533906 HAS SOPS 5506789 HAS SOUS 2315285 HAS SOUPS 2293351 WITH SCORE 2298884.906
AT ITER 3541 NEW BEST:: SOT 6344092 SOS 5533870 HAS SOPS 5506753 HAS SOUS 2315230 HAS SOUPS 2293296 WITH SCORE 2298829.87
AT ITER 3567 NEW BEST:: SOT 6341408 SOS 5531117 HAS SOPS 5504069 HAS SOUS 2310028 HAS SOUPS 2288163 WITH SCORE 2293694.117
AT ITER 3604 NEW BEST:: SOT 6341782 SOS 5533742 HAS SOPS 5506673 HAS SOUS 2309812 HAS SOUPS 2287947 WITH SCORE 2293480.742
AT ITER 3606 NEW BEST:: SOT 6341697 SOS 5533657 HAS SOPS 5506588 HAS SOUS 2309658 HAS SOUPS 2287793 WITH SCORE 2293326.657
AT ITER 3628 NEW BEST:: SOT 6341686 SOS 5533646 HAS SOPS 5506577 HAS SOUS 2309647 HAS SOUPS 2287782 WITH SCORE 2293315.646
AT ITER 3633 NEW BEST:: SOT 6341345 SOS 5533305 HAS SOPS 5506229 HAS SOUS 2309317 HAS SOUPS 2287445 WITH SCORE 2292978.305
AT ITER 3644 NEW BEST:: SOT 6339725 SOS 5531757 HAS SOPS 5504777 HAS SOUS 2308994 HAS SOUPS 2287218 WITH SCORE 2292749.757
AT ITER 3670 NEW BEST:: SOT 6338089 SOS 5530122 HAS SOPS 5503141 HAS SOUS 2305947 HAS SOUPS 2284170 WITH SCORE 2289700.122
AT ITER 3686 NEW BEST:: SOT 6338173 SOS 5530206 HAS SOPS 5503225 HAS SOUS 2305933 HAS SOUPS 2284156 WITH SCORE 2289686.206
AT ITER 3693 NEW BEST:: SOT 6337543 SOS 5529576 HAS SOPS 5502595 HAS SOUS 2304564 HAS SOUPS 2282787 WITH SCORE 2288316.576
AT ITER 3698 NEW BEST:: SOT 6337511 SOS 5529544 HAS SOPS 5502563 HAS SOUS 2304512 HAS SOUPS 2282735 WITH SCORE 2288264.544
AT ITER 3701 NEW BEST:: SOT 6325586 SOS 5518129 HAS SOPS 5491658 HAS SOUS 2292069 HAS SOUPS 2270802 WITH SCORE 2276320.129
AT ITER 3718 NEW BEST:: SOT 6324550 SOS 5517093 HAS SOPS 5490622 HAS SOUS 2290469 HAS SOUPS 2269202 WITH SCORE 2274719.093
AT ITER 3736 NEW BEST:: SOT 6324909 SOS 5517461 HAS SOPS 5490981 HAS SOUS 2289168 HAS SOUPS 2267892 WITH SCORE 2273409.461
AT ITER 3756 NEW BEST:: SOT 6324903 SOS 5517455 HAS SOPS 5490975 HAS SOUS 2289155 HAS SOUPS 2267879 WITH SCORE 2273396.455
AT ITER 3757 NEW BEST:: SOT 6324730 SOS 5517282 HAS SOPS 5490802 HAS SOUS 2288828 HAS SOUPS 2267552 WITH SCORE 2273069.282
AT ITER 3766 NEW BEST:: SOT 6323396 SOS 5515912 HAS SOPS 5489468 HAS SOUS 2286554 HAS SOUPS 2265314 WITH SCORE 2270829.912
AT ITER 3767 NEW BEST:: SOT 6323368 SOS 5515884 HAS SOPS 5489440 HAS SOUS 2286513 HAS SOUPS 2265273 WITH SCORE 2270788.884
AT ITER 3779 NEW BEST:: SOT 6323196 SOS 5515700 HAS SOPS 5489268 HAS SOUS 2286163 HAS SOUPS 2264935 WITH SCORE 2270450.7
AT ITER 3788 NEW BEST:: SOT 6322913 SOS 5515417 HAS SOPS 5488985 HAS SOUS 2285944 HAS SOUPS 2264716 WITH SCORE 2270231.417
AT ITER 3807 NEW BEST:: SOT 6322835 SOS 5515339 HAS SOPS 5488907 HAS SOUS 2285866 HAS SOUPS 2264638 WITH SCORE 2270153.339
AT ITER 3815 NEW BEST:: SOT 6321043 SOS 5513524 HAS SOPS 5487115 HAS SOUS 2282404 HAS SOUPS 2261199 WITH SCORE 2266712.524
AT ITER 3821 NEW BEST:: SOT 6320201 SOS 5512631 HAS SOPS 5486273 HAS SOUS 2281634 HAS SOUPS 2260480 WITH SCORE 2265992.631
AT ITER 3827 NEW BEST:: SOT 6319861 SOS 5512971 HAS SOPS 5486613 HAS SOUS 2281282 HAS SOUPS 2260128 WITH SCORE 2265640.971
AT ITER 3839 NEW BEST:: SOT 6319861 SOS 5519536 HAS SOPS 5493735 HAS SOUS 2280551 HAS SOUPS 2259437 WITH SCORE 2264956.536
AT ITER 3873 NEW BEST:: SOT 6319864 SOS 5519539 HAS SOPS 5493738 HAS SOUS 2280542 HAS SOUPS 2259428 WITH SCORE 2264947.539
AT ITER 3877 NEW BEST:: SOT 6319952 SOS 5519641 HAS SOPS 5493826 HAS SOUS 2280391 HAS SOUPS 2259263 WITH SCORE 2264782.641
AT ITER 3882 NEW BEST:: SOT 6319107 SOS 5518864 HAS SOPS 5492981 HAS SOUS 2278892 HAS SOUPS 2257696 WITH SCORE 2263214.864
AT ITER 3883 NEW BEST:: SOT 6319071 SOS 5518828 HAS SOPS 5492945 HAS SOUS 2278761 HAS SOUPS 2257565 WITH SCORE 2263083.828
AT ITER 3900 NEW BEST:: SOT 6319131 SOS 5518888 HAS SOPS 5493005 HAS SOUS 2278550 HAS SOUPS 2257354 WITH SCORE 2262872.888
AT ITER 3919 NEW BEST:: SOT 6315836 SOS 5515524 HAS SOPS 5489710 HAS SOUS 2274456 HAS SOUPS 2253329 WITH SCORE 2258844.524
AT ITER 3922 NEW BEST:: SOT 6314847 SOS 5514559 HAS SOPS 5488801 HAS SOUS 2274235 HAS SOUPS 2253164 WITH SCORE 2258678.559
AT ITER 3923 NEW BEST:: SOT 6313826 SOS 5513538 HAS SOPS 5487780 HAS SOUS 2271755 HAS SOUPS 2250684 WITH SCORE 2256197.538
AT ITER 3926 NEW BEST:: SOT 6312548 SOS 5512234 HAS SOPS 5486502 HAS SOUS 2270899 HAS SOUPS 2249854 WITH SCORE 2255366.234
AT ITER 3950 NEW BEST:: SOT 6312375 SOS 5512061 HAS SOPS 5486329 HAS SOUS 2270675 HAS SOUPS 2249630 WITH SCORE 2255142.061
AT ITER 3960 NEW BEST:: SOT 6311506 SOS 5511717 HAS SOPS 5485940 HAS SOUS 2270245 HAS SOUPS 2249200 WITH SCORE 2254711.717
AT ITER 3963 NEW BEST:: SOT 6311141 SOS 5511337 HAS SOPS 5485575 HAS SOUS 2269430 HAS SOUPS 2248400 WITH SCORE 2253911.337
AT ITER 3998 NEW BEST:: SOT 6310848 SOS 5511042 HAS SOPS 5485293 HAS SOUS 2269114 HAS SOUPS 2248084 WITH SCORE 2253595.042
AT ITER 4051 NEW BEST:: SOT 6310844 SOS 5511038 HAS SOPS 5485289 HAS SOUS 2269110 HAS SOUPS 2248080 WITH SCORE 2253591.038
AT ITER 4086 NEW BEST:: SOT 6306207 SOS 5506271 HAS SOPS 5480652 HAS SOUS 2268190 HAS SOUPS 2247290 WITH SCORE 2252796.271
AT ITER 4089 NEW BEST:: SOT 6306207 SOS 5506430 HAS SOPS 5480826 HAS SOUS 2268059 HAS SOUPS 2247159 WITH SCORE 2252665.43
AT ITER 4123 NEW BEST:: SOT 6306207 SOS 5504149 HAS SOPS 5478469 HAS SOUS 2267978 HAS SOUPS 2247078 WITH SCORE 2252582.149
AT ITER 4134 NEW BEST:: SOT 6306433 SOS 5504375 HAS SOPS 5478695 HAS SOUS 2267400 HAS SOUPS 2246500 WITH SCORE 2252004.375
AT ITER 4154 NEW BEST:: SOT 6306417 SOS 5504359 HAS SOPS 5478679 HAS SOUS 2267324 HAS SOUPS 2246424 WITH SCORE 2251928.359
AT ITER 4166 NEW BEST:: SOT 6306641 SOS 5504583 HAS SOPS 5478903 HAS SOUS 2267037 HAS SOUPS 2246137 WITH SCORE 2251641.583
AT ITER 4169 NEW BEST:: SOT 6303182 SOS 5501124 HAS SOPS 5475444 HAS SOUS 2262898 HAS SOUPS 2241998 WITH SCORE 2247499.124
AT ITER 4185 NEW BEST:: SOT 6303334 SOS 5501276 HAS SOPS 5475596 HAS SOUS 2262511 HAS SOUPS 2241611 WITH SCORE 2247112.276
AT ITER 4211 NEW BEST:: SOT 6303281 SOS 5501223 HAS SOPS 5475543 HAS SOUS 2262458 HAS SOUPS 2241558 WITH SCORE 2247059.223
AT ITER 4228 NEW BEST:: SOT 6303035 SOS 5500979 HAS SOPS 5475297 HAS SOUS 2262358 HAS SOUPS 2241456 WITH SCORE 2246956.979
AT ITER 4249 NEW BEST:: SOT 6303045 SOS 5500913 HAS SOPS 5475231 HAS SOUS 2262323 HAS SOUPS 2241421 WITH SCORE 2246921.913
AT ITER 4265 NEW BEST:: SOT 6302779 SOS 5500647 HAS SOPS 5474965 HAS SOUS 2261703 HAS SOUPS 2240801 WITH SCORE 2246301.647
AT ITER 4267 NEW BEST:: SOT 6302671 SOS 5500539 HAS SOPS 5474857 HAS SOUS 2261461 HAS SOUPS 2240559 WITH SCORE 2246059.539
AT ITER 4278 NEW BEST:: SOT 6302423 SOS 5500291 HAS SOPS 5474609 HAS SOUS 2260757 HAS SOUPS 2239855 WITH SCORE 2245355.291
AT ITER 4281 NEW BEST:: SOT 6302443 SOS 5500321 HAS SOPS 5474629 HAS SOUS 2260760 HAS SOUPS 2239848 WITH SCORE 2245348.321
AT ITER 4288 NEW BEST:: SOT 6302292 SOS 5500170 HAS SOPS 5474478 HAS SOUS 2260396 HAS SOUPS 2239484 WITH SCORE 2244984.17
AT ITER 4293 NEW BEST:: SOT 6302226 SOS 5500104 HAS SOPS 5474412 HAS SOUS 2260288 HAS SOUPS 2239376 WITH SCORE 2244876.104
AT ITER 4297 NEW BEST:: SOT 6300929 SOS 5498696 HAS SOPS 5473115 HAS SOUS 2259002 HAS SOUPS 2238201 WITH SCORE 2243699.696
AT ITER 4312 NEW BEST:: SOT 6299605 SOS 5497435 HAS SOPS 5471938 HAS SOUS 2258823 HAS SOUPS 2238106 WITH SCORE 2243603.435
AT ITER 4320 NEW BEST:: SOT 6299381 SOS 5497211 HAS SOPS 5471714 HAS SOUS 2258599 HAS SOUPS 2237882 WITH SCORE 2243379.211
AT ITER 4322 NEW BEST:: SOT 6299085 SOS 5496915 HAS SOPS 5471418 HAS SOUS 2257930 HAS SOUPS 2237213 WITH SCORE 2242709.915
AT ITER 4331 NEW BEST:: SOT 6298989 SOS 5496819 HAS SOPS 5471322 HAS SOUS 2257681 HAS SOUPS 2236964 WITH SCORE 2242460.819
AT ITER 4346 NEW BEST:: SOT 6298947 SOS 5496777 HAS SOPS 5471280 HAS SOUS 2257618 HAS SOUPS 2236901 WITH SCORE 2242397.777
AT ITER 4357 NEW BEST:: SOT 6298947 SOS 5496623 HAS SOPS 5471126 HAS SOUS 2257618 HAS SOUPS 2236901 WITH SCORE 2242397.623
AT ITER 4365 NEW BEST:: SOT 6296845 SOS 5494521 HAS SOPS 5469024 HAS SOUS 2251654 HAS SOUPS 2230937 WITH SCORE 2236431.521
AT ITER 4388 NEW BEST:: SOT 6296851 SOS 5494542 HAS SOPS 5469030 HAS SOUS 2251484 HAS SOUPS 2230752 WITH SCORE 2236246.542
AT ITER 4424 NEW BEST:: SOT 6296570 SOS 5494261 HAS SOPS 5468749 HAS SOUS 2251330 HAS SOUPS 2230598 WITH SCORE 2236092.261
AT ITER 4450 NEW BEST:: SOT 6296583 SOS 5494274 HAS SOPS 5468762 HAS SOUS 2250999 HAS SOUPS 2230267 WITH SCORE 2235761.274
AT ITER 4459 NEW BEST:: SOT 6295889 SOS 5493574 HAS SOPS 5468068 HAS SOUS 2250635 HAS SOUPS 2229909 WITH SCORE 2235402.574
AT ITER 4468 NEW BEST:: SOT 6295795 SOS 5493470 HAS SOPS 5467974 HAS SOUS 2250595 HAS SOUPS 2229879 WITH SCORE 2235372.47
AT ITER 4478 NEW BEST:: SOT 6295816 SOS 5493491 HAS SOPS 5467995 HAS SOUS 2250576 HAS SOUPS 2229860 WITH SCORE 2235353.491
AT ITER 4489 NEW BEST:: SOT 6295794 SOS 5493469 HAS SOPS 5467973 HAS SOUS 2250545 HAS SOUPS 2229829 WITH SCORE 2235322.469
AT ITER 4500 NEW BEST:: SOT 6292812 SOS 5490487 HAS SOPS 5464991 HAS SOUS 2247563 HAS SOUPS 2226847 WITH SCORE 2232337.487
AT ITER 4536 NEW BEST:: SOT 6292752 SOS 5490427 HAS SOPS 5464931 HAS SOUS 2247503 HAS SOUPS 2226787 WITH SCORE 2232277.427
AT ITER 4544 NEW BEST:: SOT 6292456 SOS 5490131 HAS SOPS 5464635 HAS SOUS 2247053 HAS SOUPS 2226337 WITH SCORE 2231827.131
AT ITER 4545 NEW BEST:: SOT 6292546 SOS 5490221 HAS SOPS 5464725 HAS SOUS 2246835 HAS SOUPS 2226119 WITH SCORE 2231609.221
AT ITER 4549 NEW BEST:: SOT 6292805 SOS 5490545 HAS SOPS 5464984 HAS SOUS 2245793 HAS SOUPS 2225012 WITH SCORE 2230502.545
AT ITER 4568 NEW BEST:: SOT 6292440 SOS 5490168 HAS SOPS 5464619 HAS SOUS 2245196 HAS SOUPS 2224427 WITH SCORE 2229917.168
AT ITER 4575 NEW BEST:: SOT 6291991 SOS 5489719 HAS SOPS 5464170 HAS SOUS 2244160 HAS SOUPS 2223391 WITH SCORE 2228880.719
AT ITER 4588 NEW BEST:: SOT 6289631 SOS 5487359 HAS SOPS 5461810 HAS SOUS 2241782 HAS SOUPS 2221013 WITH SCORE 2226500.359
AT ITER 4607 NEW BEST:: SOT 6289621 SOS 5487635 HAS SOPS 5462076 HAS SOUS 2241724 HAS SOUPS 2220955 WITH SCORE 2226442.635
AT ITER 4618 NEW BEST:: SOT 6292660 SOS 5490801 HAS SOPS 5465115 HAS SOUS 2240474 HAS SOUPS 2219578 WITH SCORE 2225068.801
AT ITER 4647 NEW BEST:: SOT 6290028 SOS 5488169 HAS SOPS 5462483 HAS SOUS 2238013 HAS SOUPS 2217117 WITH SCORE 2222605.169
AT ITER 4652 NEW BEST:: SOT 6289821 SOS 5487948 HAS SOPS 5462276 HAS SOUS 2237943 HAS SOUPS 2217061 WITH SCORE 2222548.948
AT ITER 4690 NEW BEST:: SOT 6289770 SOS 5487897 HAS SOPS 5462225 HAS SOUS 2237914 HAS SOUPS 2217032 WITH SCORE 2222519.897
AT ITER 4704 NEW BEST:: SOT 6289613 SOS 5487740 HAS SOPS 5462068 HAS SOUS 2237757 HAS SOUPS 2216875 WITH SCORE 2222362.74
AT ITER 4736 NEW BEST:: SOT 6289585 SOS 5487712 HAS SOPS 5462040 HAS SOUS 2237748 HAS SOUPS 2216866 WITH SCORE 2222353.712
AT ITER 4763 NEW BEST:: SOT 6289387 SOS 5487514 HAS SOPS 5461842 HAS SOUS 2237218 HAS SOUPS 2216336 WITH SCORE 2221823.514
AT ITER 4765 NEW BEST:: SOT 6289142 SOS 5487269 HAS SOPS 5461597 HAS SOUS 2236772 HAS SOUPS 2215890 WITH SCORE 2221377.269
AT ITER 4774 NEW BEST:: SOT 6289048 SOS 5487175 HAS SOPS 5461503 HAS SOUS 2236545 HAS SOUPS 2215663 WITH SCORE 2221150.175
AT ITER 4781 NEW BEST:: SOT 6288945 SOS 5488150 HAS SOPS 5462480 HAS SOUS 2236187 HAS SOUPS 2215305 WITH SCORE 2220793.15
AT ITER 4792 NEW BEST:: SOT 6287369 SOS 5486488 HAS SOPS 5460904 HAS SOUS 2235590 HAS SOUPS 2214794 WITH SCORE 2220280.488
AT ITER 4819 NEW BEST:: SOT 6284990 SOS 5484046 HAS SOPS 5458525 HAS SOUS 2235241 HAS SOUPS 2214508 WITH SCORE 2219992.046
AT ITER 4822 NEW BEST:: SOT 6285045 SOS 5484112 HAS SOPS 5458580 HAS SOUS 2235220 HAS SOUPS 2214476 WITH SCORE 2219960.112
AT ITER 4826 NEW BEST:: SOT 6284837 SOS 5483916 HAS SOPS 5458384 HAS SOUS 2235166 HAS SOUPS 2214422 WITH SCORE 2219905.916
AT ITER 4849 NEW BEST:: SOT 6284272 SOS 5483337 HAS SOPS 5457819 HAS SOUS 2234364 HAS SOUPS 2213634 WITH SCORE 2219117.337
AT ITER 4855 NEW BEST:: SOT 6284266 SOS 5483331 HAS SOPS 5457813 HAS SOUS 2234228 HAS SOUPS 2213498 WITH SCORE 2218981.331
AT ITER 4874 NEW BEST:: SOT 6284012 SOS 5483077 HAS SOPS 5457559 HAS SOUS 2233852 HAS SOUPS 2213122 WITH SCORE 2218605.077
AT ITER 4885 NEW BEST:: SOT 6283766 SOS 5482831 HAS SOPS 5457313 HAS SOUS 2233606 HAS SOUPS 2212876 WITH SCORE 2218358.831
AT ITER 4886 NEW BEST:: SOT 6283766 SOS 5480473 HAS SOPS 5454859 HAS SOUS 2233539 HAS SOUPS 2212809 WITH SCORE 2218289.473
AT ITER 4888 NEW BEST:: SOT 6283754 SOS 5480461 HAS SOPS 5454847 HAS SOUS 2233527 HAS SOUPS 2212797 WITH SCORE 2218277.461
AT ITER 4891 NEW BEST:: SOT 6283618 SOS 5480325 HAS SOPS 5454711 HAS SOUS 2233391 HAS SOUPS 2212661 WITH SCORE 2218141.325
AT ITER 4897 NEW BEST:: SOT 6282903 SOS 5479610 HAS SOPS 5453996 HAS SOUS 2232762 HAS SOUPS 2212032 WITH SCORE 2217511.61
AT ITER 4903 NEW BEST:: SOT 6282869 SOS 5479576 HAS SOPS 5453962 HAS SOUS 2232749 HAS SOUPS 2212019 WITH SCORE 2217498.576
AT ITER 4909 NEW BEST:: SOT 6282731 SOS 5479438 HAS SOPS 5453824 HAS SOUS 2232434 HAS SOUPS 2211704 WITH SCORE 2217183.438
AT ITER 4919 NEW BEST:: SOT 6282587 SOS 5479266 HAS SOPS 5453680 HAS SOUS 2232338 HAS SOUPS 2211657 WITH SCORE 2217136.266
AT ITER 4931 NEW BEST:: SOT 6282565 SOS 5479244 HAS SOPS 5453658 HAS SOUS 2232309 HAS SOUPS 2211628 WITH SCORE 2217107.244
AT ITER 4948 NEW BEST:: SOT 6282359 SOS 5479038 HAS SOPS 5453452 HAS SOUS 2231807 HAS SOUPS 2211126 WITH SCORE 2216605.038
AT ITER 4962 NEW BEST:: SOT 6282380 SOS 5479059 HAS SOPS 5453473 HAS SOUS 2230946 HAS SOUPS 2210265 WITH SCORE 2215744.059
AT ITER 4968 NEW BEST:: SOT 6282358 SOS 5479037 HAS SOPS 5453451 HAS SOUS 2230625 HAS SOUPS 2209944 WITH SCORE 2215423.037
AT ITER 4970 NEW BEST:: SOT 6281948 SOS 5478609 HAS SOPS 5453041 HAS SOUS 2230215 HAS SOUPS 2209552 WITH SCORE 2215030.609
AT ITER 4983 NEW BEST:: SOT 6280965 SOS 5477601 HAS SOPS 5452058 HAS SOUS 2229688 HAS SOUPS 2209050 WITH SCORE 2214527.601
AT ITER 4994 NEW BEST:: SOT 6280731 SOS 5477344 HAS SOPS 5451824 HAS SOUS 2229581 HAS SOUPS 2208966 WITH SCORE 2214443.344
AT ITER 5040 NEW BEST:: SOT 6281119 SOS 5477811 HAS SOPS 5452212 HAS SOUS 2226823 HAS SOUPS 2206129 WITH SCORE 2211606.811
AT ITER 5044 NEW BEST:: SOT 6281165 SOS 5477857 HAS SOPS 5452258 HAS SOUS 2226777 HAS SOUPS 2206083 WITH SCORE 2211560.857
AT ITER 5052 NEW BEST:: SOT 6285956 SOS 5482438 HAS SOPS 5457049 HAS SOUS 2224182 HAS SOUPS 2203698 WITH SCORE 2209180.438
AT ITER 5055 NEW BEST:: SOT 6285924 SOS 5482406 HAS SOPS 5457017 HAS SOUS 2224167 HAS SOUPS 2203683 WITH SCORE 2209165.406
AT ITER 5083 NEW BEST:: SOT 6284508 SOS 5480990 HAS SOPS 5455601 HAS SOUS 2222771 HAS SOUPS 2202287 WITH SCORE 2207767.99
AT ITER 5088 NEW BEST:: SOT 6284680 SOS 5481186 HAS SOPS 5455773 HAS SOUS 2221975 HAS SOUPS 2201467 WITH SCORE 2206948.186
AT ITER 5092 NEW BEST:: SOT 6284519 SOS 5481025 HAS SOPS 5455612 HAS SOUS 2221672 HAS SOUPS 2201164 WITH SCORE 2206645.025
AT ITER 5115 NEW BEST:: SOT 6284519 SOS 5508268 HAS SOPS 5481228 HAS SOUS 2221265 HAS SOUPS 2200804 WITH SCORE 2206312.268
AT ITER 5119 NEW BEST:: SOT 6284451 SOS 5508200 HAS SOPS 5481160 HAS SOUS 2221000 HAS SOUPS 2200539 WITH SCORE 2206047.2
AT ITER 5134 NEW BEST:: SOT 6284304 SOS 5508029 HAS SOPS 5481013 HAS SOUS 2220409 HAS SOUPS 2199972 WITH SCORE 2205480.029
AT ITER 5146 NEW BEST:: SOT 6284083 SOS 5507808 HAS SOPS 5480792 HAS SOUS 2220188 HAS SOUPS 2199751 WITH SCORE 2205258.808
AT ITER 5153 NEW BEST:: SOT 6283865 SOS 5507609 HAS SOPS 5480574 HAS SOUS 2219181 HAS SOUPS 2198725 WITH SCORE 2204232.609
AT ITER 5155 NEW BEST:: SOT 6283493 SOS 5507160 HAS SOPS 5480125 HAS SOUS 2218387 HAS SOUPS 2197931 WITH SCORE 2203438.16
AT ITER 5164 NEW BEST:: SOT 6283481 SOS 5507148 HAS SOPS 5480113 HAS SOUS 2218289 HAS SOUPS 2197833 WITH SCORE 2203340.148
AT ITER 5216 NEW BEST:: SOT 6283218 SOS 5506878 HAS SOPS 5479850 HAS SOUS 2218078 HAS SOUPS 2197629 WITH SCORE 2203135.878
AT ITER 5222 NEW BEST:: SOT 6282846 SOS 5506506 HAS SOPS 5479478 HAS SOUS 2217222 HAS SOUPS 2196773 WITH SCORE 2202279.506
AT ITER 5223 NEW BEST:: SOT 6282401 SOS 5506061 HAS SOPS 5479033 HAS SOUS 2216340 HAS SOUPS 2195891 WITH SCORE 2201397.061
AT ITER 5243 NEW BEST:: SOT 6280452 SOS 5504041 HAS SOPS 5477084 HAS SOUS 2216019 HAS SOUPS 2195641 WITH SCORE 2201145.041
AT ITER 5256 NEW BEST:: SOT 6280058 SOS 5503661 HAS SOPS 5476730 HAS SOUS 2215977 HAS SOUPS 2195625 WITH SCORE 2201128.661
AT ITER 5281 NEW BEST:: SOT 6282349 SOS 5505826 HAS SOPS 5478727 HAS SOUS 2215599 HAS SOUPS 2195079 WITH SCORE 2200584.826
AT ITER 5339 NEW BEST:: SOT 6282415 SOS 5505892 HAS SOPS 5478793 HAS SOUS 2215471 HAS SOUPS 2194951 WITH SCORE 2200456.892
AT ITER 5340 NEW BEST:: SOT 6282340 SOS 5505837 HAS SOPS 5478718 HAS SOUS 2214531 HAS SOUPS 2193991 WITH SCORE 2199496.837
AT ITER 5374 NEW BEST:: SOT 6282340 SOS 5505837 HAS SOPS 5478718 HAS SOUS 2214499 HAS SOUPS 2193959 WITH SCORE 2199464.837
AT ITER 5398 NEW BEST:: SOT 6280415 SOS 5503912 HAS SOPS 5476793 HAS SOUS 2210781 HAS SOUPS 2190241 WITH SCORE 2195744.912
AT ITER 5399 NEW BEST:: SOT 6278807 SOS 5502989 HAS SOPS 5475873 HAS SOUS 2208801 HAS SOUPS 2188261 WITH SCORE 2193763.989
AT ITER 5411 NEW BEST:: SOT 6278807 SOS 5503067 HAS SOPS 5475941 HAS SOUS 2208783 HAS SOUPS 2188243 WITH SCORE 2193746.067
AT ITER 5412 NEW BEST:: SOT 6277988 SOS 5502201 HAS SOPS 5475122 HAS SOUS 2207737 HAS SOUPS 2187244 WITH SCORE 2192746.201
AT ITER 5431 NEW BEST:: SOT 6277396 SOS 5501795 HAS SOPS 5474790 HAS SOUS 2207293 HAS SOUPS 2186874 WITH SCORE 2192375.795
AT ITER 5469 NEW BEST:: SOT 6277192 SOS 5501591 HAS SOPS 5474586 HAS SOUS 2206268 HAS SOUPS 2185849 WITH SCORE 2191350.591
AT ITER 5473 NEW BEST:: SOT 6280633 SOS 5505071 HAS SOPS 5478127 HAS SOUS 2203540 HAS SOUPS 2183141 WITH SCORE 2188646.071
AT ITER 5477 NEW BEST:: SOT 6280609 SOS 5506132 HAS SOPS 5479145 HAS SOUS 2203437 HAS SOUPS 2183038 WITH SCORE 2188544.132
AT ITER 5497 NEW BEST:: SOT 6280609 SOS 5505364 HAS SOPS 5478369 HAS SOUS 2203435 HAS SOUPS 2183035 WITH SCORE 2188540.364
AT ITER 5513 NEW BEST:: SOT 6279719 SOS 5504468 HAS SOPS 5477479 HAS SOUS 2203363 HAS SOUPS 2182969 WITH SCORE 2188473.468
AT ITER 5535 NEW BEST:: SOT 6279559 SOS 5504308 HAS SOPS 5477319 HAS SOUS 2203203 HAS SOUPS 2182809 WITH SCORE 2188313.308
AT ITER 5558 NEW BEST:: SOT 6279542 SOS 5504280 HAS SOPS 5477290 HAS SOUS 2202981 HAS SOUPS 2182590 WITH SCORE 2188094.28
AT ITER 5574 NEW BEST:: SOT 6279174 SOS 5503912 HAS SOPS 5476922 HAS SOUS 2202246 HAS SOUPS 2181855 WITH SCORE 2187358.912
AT ITER 5577 NEW BEST:: SOT 6279180 SOS 5503920 HAS SOPS 5476928 HAS SOUS 2202246 HAS SOUPS 2181853 WITH SCORE 2187356.92
AT ITER 5581 NEW BEST:: SOT 6279209 SOS 5503958 HAS SOPS 5476957 HAS SOUS 2201970 HAS SOUPS 2181568 WITH SCORE 2187071.958
AT ITER 5608 NEW BEST:: SOT 6279209 SOS 5503276 HAS SOPS 5476375 HAS SOUS 2201324 HAS SOUPS 2180951 WITH SCORE 2186454.276
AT ITER 5625 NEW BEST:: SOT 6278984 SOS 5503046 HAS SOPS 5476150 HAS SOUS 2201009 HAS SOUPS 2180641 WITH SCORE 2186144.046
AT ITER 5640 NEW BEST:: SOT 6278746 SOS 5502808 HAS SOPS 5475912 HAS SOUS 2200277 HAS SOUPS 2179909 WITH SCORE 2185411.808
AT ITER 5651 NEW BEST:: SOT 6278317 SOS 5502379 HAS SOPS 5475483 HAS SOUS 2199428 HAS SOUPS 2179060 WITH SCORE 2184562.379
AT ITER 5694 NEW BEST:: SOT 6277641 SOS 5501703 HAS SOPS 5474807 HAS SOUS 2197843 HAS SOUPS 2177475 WITH SCORE 2182976.703
AT ITER 5698 NEW BEST:: SOT 6277488 SOS 5501551 HAS SOPS 5474654 HAS SOUS 2197517 HAS SOUPS 2177148 WITH SCORE 2182649.551
AT ITER 5776 NEW BEST:: SOT 6277522 SOS 5501585 HAS SOPS 5474688 HAS SOUS 2197510 HAS SOUPS 2177141 WITH SCORE 2182642.585
AT ITER 5792 NEW BEST:: SOT 6277383 SOS 5502231 HAS SOPS 5475329 HAS SOUS 2197244 HAS SOUPS 2176875 WITH SCORE 2182377.231
AT ITER 5794 NEW BEST:: SOT 6277219 SOS 5502079 HAS SOPS 5475165 HAS SOUS 2196326 HAS SOUPS 2175945 WITH SCORE 2181447.079
AT ITER 5795 NEW BEST:: SOT 6276369 SOS 5501357 HAS SOPS 5474525 HAS SOUS 2196001 HAS SOUPS 2175702 WITH SCORE 2181203.357
AT ITER 5799 NEW BEST:: SOT 6275875 SOS 5500856 HAS SOPS 5474031 HAS SOUS 2195349 HAS SOUPS 2175057 WITH SCORE 2180557.856
AT ITER 5812 NEW BEST:: SOT 6275336 SOS 5500285 HAS SOPS 5473492 HAS SOUS 2195264 HAS SOUPS 2175004 WITH SCORE 2180504.285
AT ITER 5885 NEW BEST:: SOT 6275278 SOS 5500227 HAS SOPS 5473434 HAS SOUS 2195065 HAS SOUPS 2174805 WITH SCORE 2180305.227
AT ITER 5935 NEW BEST:: SOT 6275254 SOS 5500203 HAS SOPS 5473410 HAS SOUS 2195013 HAS SOUPS 2174753 WITH SCORE 2180253.203
AT ITER 5973 NEW BEST:: SOT 6275172 SOS 5500119 HAS SOPS 5473328 HAS SOUS 2194881 HAS SOUPS 2174623 WITH SCORE 2180123.119
AT ITER 5975 NEW BEST:: SOT 6274986 SOS 5499933 HAS SOPS 5473142 HAS SOUS 2194609 HAS SOUPS 2174351 WITH SCORE 2179850.933
AT ITER 5995 NEW BEST:: SOT 6274117 SOS 5499170 HAS SOPS 5472453 HAS SOUS 2194203 HAS SOUPS 2174019 WITH SCORE 2179518.17
AT ITER 6039 NEW BEST:: SOT 6274111 SOS 5499164 HAS SOPS 5472447 HAS SOUS 2194184 HAS SOUPS 2174000 WITH SCORE 2179499.164
AT ITER 6042 NEW BEST:: SOT 6271471 SOS 5496447 HAS SOPS 5469807 HAS SOUS 2193174 HAS SOUPS 2173067 WITH SCORE 2178563.447
AT ITER 6093 NEW BEST:: SOT 6271447 SOS 5496423 HAS SOPS 5469783 HAS SOUS 2193114 HAS SOUPS 2173007 WITH SCORE 2178503.423
AT ITER 6100 NEW BEST:: SOT 6271017 SOS 5495950 HAS SOPS 5469353 HAS SOUS 2192507 HAS SOUPS 2172443 WITH SCORE 2177938.95
AT ITER 6112 NEW BEST:: SOT 6270932 SOS 5495865 HAS SOPS 5469268 HAS SOUS 2192454 HAS SOUPS 2172390 WITH SCORE 2177885.865
AT ITER 6113 NEW BEST:: SOT 6270102 SOS 5495035 HAS SOPS 5468438 HAS SOUS 2191098 HAS SOUPS 2171034 WITH SCORE 2176529.035
AT ITER 6126 NEW BEST:: SOT 6270201 SOS 5495151 HAS SOPS 5468537 HAS SOUS 2190883 HAS SOUPS 2170802 WITH SCORE 2176297.151
AT ITER 6142 NEW BEST:: SOT 6270201 SOS 5495151 HAS SOPS 5468537 HAS SOUS 2190811 HAS SOUPS 2170730 WITH SCORE 2176225.151
AT ITER 6164 NEW BEST:: SOT 6270207 SOS 5495826 HAS SOPS 5469247 HAS SOUS 2190770 HAS SOUPS 2170689 WITH SCORE 2176184.826
AT ITER 6175 NEW BEST:: SOT 6271232 SOS 5496929 HAS SOPS 5470272 HAS SOUS 2190694 HAS SOUPS 2170535 WITH SCORE 2176031.929
AT ITER 6176 NEW BEST:: SOT 6271232 SOS 5495571 HAS SOPS 5470272 HAS SOUS 2190685 HAS SOUPS 2170530 WITH SCORE 2176025.571
AT ITER 6177 NEW BEST:: SOT 6271189 SOS 5495528 HAS SOPS 5470229 HAS SOUS 2190651 HAS SOUPS 2170496 WITH SCORE 2175991.528
AT ITER 6186 NEW BEST:: SOT 6270927 SOS 5495266 HAS SOPS 5469967 HAS SOUS 2189900 HAS SOUPS 2169745 WITH SCORE 2175240.266
AT ITER 6193 NEW BEST:: SOT 6270865 SOS 5495204 HAS SOPS 5469905 HAS SOUS 2189760 HAS SOUPS 2169605 WITH SCORE 2175100.204
AT ITER 6199 NEW BEST:: SOT 6270865 SOS 5495204 HAS SOPS 5469905 HAS SOUS 2189754 HAS SOUPS 2169599 WITH SCORE 2175094.204
AT ITER 6206 NEW BEST:: SOT 6270697 SOS 5495036 HAS SOPS 5469737 HAS SOUS 2189611 HAS SOUPS 2169456 WITH SCORE 2174951.036
AT ITER 6219 NEW BEST:: SOT 6269360 SOS 5493699 HAS SOPS 5468400 HAS SOUS 2188620 HAS SOUPS 2168465 WITH SCORE 2173958.699
AT ITER 6234 NEW BEST:: SOT 6269222 SOS 5493578 HAS SOPS 5468262 HAS SOUS 2188141 HAS SOUPS 2167969 WITH SCORE 2173462.578
AT ITER 6236 NEW BEST:: SOT 6267584 SOS 5491891 HAS SOPS 5466624 HAS SOUS 2185846 HAS SOUPS 2165723 WITH SCORE 2171214.891
AT ITER 6246 NEW BEST:: SOT 6267580 SOS 5491887 HAS SOPS 5466620 HAS SOUS 2185842 HAS SOUPS 2165719 WITH SCORE 2171210.887
AT ITER 6258 NEW BEST:: SOT 6265848 SOS 5490113 HAS SOPS 5464888 HAS SOUS 2185783 HAS SOUPS 2165702 WITH SCORE 2171192.113
AT ITER 6266 NEW BEST:: SOT 6265848 SOS 5490113 HAS SOPS 5464888 HAS SOUS 2185663 HAS SOUPS 2165582 WITH SCORE 2171072.113
AT ITER 6311 NEW BEST:: SOT 6265768 SOS 5490013 HAS SOPS 5464808 HAS SOUS 2185345 HAS SOUPS 2165284 WITH SCORE 2170774.013
AT ITER 6357 NEW BEST:: SOT 6266238 SOS 5490493 HAS SOPS 5465278 HAS SOUS 2184842 HAS SOUPS 2164771 WITH SCORE 2170261.493
AT ITER 6365 NEW BEST:: SOT 6265925 SOS 5490181 HAS SOPS 5464965 HAS SOUS 2184575 HAS SOUPS 2164503 WITH SCORE 2169993.181
AT ITER 6369 NEW BEST:: SOT 6265415 SOS 5489685 HAS SOPS 5464455 HAS SOUS 2182941 HAS SOUPS 2162855 WITH SCORE 2168344.685
AT ITER 6377 NEW BEST:: SOT 6265415 SOS 5489993 HAS SOPS 5464763 HAS SOUS 2182926 HAS SOUPS 2162840 WITH SCORE 2168329.993
AT ITER 6382 NEW BEST:: SOT 6261218 SOS 5485742 HAS SOPS 5460566 HAS SOUS 2178123 HAS SOUPS 2158091 WITH SCORE 2163576.742
AT ITER 6446 NEW BEST:: SOT 6259033 SOS 5483525 HAS SOPS 5458381 HAS SOUS 2175758 HAS SOUPS 2155758 WITH SCORE 2161241.525
AT ITER 6454 NEW BEST:: SOT 6258940 SOS 5483432 HAS SOPS 5458288 HAS SOUS 2175756 HAS SOUPS 2155756 WITH SCORE 2161239.432
AT ITER 6479 NEW BEST:: SOT 6259284 SOS 5483793 HAS SOPS 5458632 HAS SOUS 2175559 HAS SOUPS 2155542 WITH SCORE 2161025.793
AT ITER 6480 NEW BEST:: SOT 6258775 SOS 5483230 HAS SOPS 5458123 HAS SOUS 2175083 HAS SOUPS 2155120 WITH SCORE 2160603.23
AT ITER 6497 NEW BEST:: SOT 6258769 SOS 5483224 HAS SOPS 5458117 HAS SOUS 2175074 HAS SOUPS 2155111 WITH SCORE 2160594.224
AT ITER 6525 NEW BEST:: SOT 6258665 SOS 5483120 HAS SOPS 5458013 HAS SOUS 2174924 HAS SOUPS 2154961 WITH SCORE 2160444.12
AT ITER 6529 NEW BEST:: SOT 6258641 SOS 5483096 HAS SOPS 5457989 HAS SOUS 2174768 HAS SOUPS 2154805 WITH SCORE 2160288.096
AT ITER 6530 NEW BEST:: SOT 6257461 SOS 5481882 HAS SOPS 5456809 HAS SOUS 2172515 HAS SOUPS 2152586 WITH SCORE 2158067.882
AT ITER 6549 NEW BEST:: SOT 6257461 SOS 5478886 HAS SOPS 5453709 HAS SOUS 2172411 HAS SOUPS 2152482 WITH SCORE 2157960.886
AT ITER 6559 NEW BEST:: SOT 6257333 SOS 5478758 HAS SOPS 5453581 HAS SOUS 2172375 HAS SOUPS 2152446 WITH SCORE 2157924.758
AT ITER 6560 NEW BEST:: SOT 6257345 SOS 5478770 HAS SOPS 5453593 HAS SOUS 2172296 HAS SOUPS 2152367 WITH SCORE 2157845.77
AT ITER 6566 NEW BEST:: SOT 6257048 SOS 5477921 HAS SOPS 5452780 HAS SOUS 2171813 HAS SOUPS 2151884 WITH SCORE 2157361.921
AT ITER 6576 NEW BEST:: SOT 6256583 SOS 5477508 HAS SOPS 5452395 HAS SOUS 2171563 HAS SOUPS 2151662 WITH SCORE 2157139.508
AT ITER 6588 NEW BEST:: SOT 6256583 SOS 5477632 HAS SOPS 5452521 HAS SOUS 2171558 HAS SOUPS 2151657 WITH SCORE 2157134.632
AT ITER 6635 NEW BEST:: SOT 6245908 SOS 5467607 HAS SOPS 5443146 HAS SOUS 2169187 HAS SOUPS 2149936 WITH SCORE 2155403.607
AT ITER 6641 NEW BEST:: SOT 6245466 SOS 5467118 HAS SOPS 5442704 HAS SOUS 2168651 HAS SOUPS 2149447 WITH SCORE 2154914.118
AT ITER 6647 NEW BEST:: SOT 6245466 SOS 5463408 HAS SOPS 5438882 HAS SOUS 2168497 HAS SOUPS 2149293 WITH SCORE 2154756.408
AT ITER 6657 NEW BEST:: SOT 6244868 SOS 5462810 HAS SOPS 5438284 HAS SOUS 2166947 HAS SOUPS 2147743 WITH SCORE 2153205.81
AT ITER 6696 NEW BEST:: SOT 6243965 SOS 5461907 HAS SOPS 5437381 HAS SOUS 2164138 HAS SOUPS 2144934 WITH SCORE 2150395.907
AT ITER 6721 NEW BEST:: SOT 6243921 SOS 5461862 HAS SOPS 5437337 HAS SOUS 2164063 HAS SOUPS 2144860 WITH SCORE 2150321.862
AT ITER 6725 NEW BEST:: SOT 6243920 SOS 5461605 HAS SOPS 5437096 HAS SOUS 2164048 HAS SOUPS 2144845 WITH SCORE 2150306.605
AT ITER 6732 NEW BEST:: SOT 6243779 SOS 5461461 HAS SOPS 5436955 HAS SOUS 2163934 HAS SOUPS 2144734 WITH SCORE 2150195.461
AT ITER 6743 NEW BEST:: SOT 6243783 SOS 5461465 HAS SOPS 5436959 HAS SOUS 2163731 HAS SOUPS 2144531 WITH SCORE 2149992.465
AT ITER 6749 NEW BEST:: SOT 6243267 SOS 5460949 HAS SOPS 5436443 HAS SOUS 2162807 HAS SOUPS 2143607 WITH SCORE 2149067.949
AT ITER 6755 NEW BEST:: SOT 6242893 SOS 5460575 HAS SOPS 5436069 HAS SOUS 2162147 HAS SOUPS 2142947 WITH SCORE 2148407.575
AT ITER 6772 NEW BEST:: SOT 6241198 SOS 5458821 HAS SOPS 5434374 HAS SOUS 2161239 HAS SOUPS 2142098 WITH SCORE 2147556.821
AT ITER 6800 NEW BEST:: SOT 6241152 SOS 5458775 HAS SOPS 5434328 HAS SOUS 2161193 HAS SOUPS 2142052 WITH SCORE 2147510.775
AT ITER 6815 NEW BEST:: SOT 6241152 SOS 5458712 HAS SOPS 5434265 HAS SOUS 2161187 HAS SOUPS 2142046 WITH SCORE 2147504.712
AT ITER 6845 NEW BEST:: SOT 6240048 SOS 5457541 HAS SOPS 5433161 HAS SOUS 2160632 HAS SOUPS 2141558 WITH SCORE 2147015.541
AT ITER 6856 NEW BEST:: SOT 6238873 SOS 5456305 HAS SOPS 5431986 HAS SOUS 2159322 HAS SOUPS 2140309 WITH SCORE 2145765.305
AT ITER 6891 NEW BEST:: SOT 6238688 SOS 5456120 HAS SOPS 5431801 HAS SOUS 2158821 HAS SOUPS 2139808 WITH SCORE 2145264.12
AT ITER 6894 NEW BEST:: SOT 6238614 SOS 5456046 HAS SOPS 5431727 HAS SOUS 2158616 HAS SOUPS 2139603 WITH SCORE 2145059.046
AT ITER 6896 NEW BEST:: SOT 6237871 SOS 5456458 HAS SOPS 5432139 HAS SOUS 2157857 HAS SOUPS 2138844 WITH SCORE 2144300.458
AT ITER 6898 NEW BEST:: SOT 6237775 SOS 5456379 HAS SOPS 5432043 HAS SOUS 2157087 HAS SOUPS 2138057 WITH SCORE 2143513.379
AT ITER 6926 NEW BEST:: SOT 6237541 SOS 5456145 HAS SOPS 5431809 HAS SOUS 2156864 HAS SOUPS 2137834 WITH SCORE 2143290.145
AT ITER 6974 NEW BEST:: SOT 6237589 SOS 5456193 HAS SOPS 5431857 HAS SOUS 2156852 HAS SOUPS 2137822 WITH SCORE 2143278.193
AT ITER 6992 NEW BEST:: SOT 6237601 SOS 5456205 HAS SOPS 5431869 HAS SOUS 2156802 HAS SOUPS 2137772 WITH SCORE 2143228.205
AT ITER 7003 NEW BEST:: SOT 6237502 SOS 5456106 HAS SOPS 5431770 HAS SOUS 2156682 HAS SOUPS 2137652 WITH SCORE 2143108.106
AT ITER 7053 NEW BEST:: SOT 6237288 SOS 5455848 HAS SOPS 5431556 HAS SOUS 2155021 HAS SOUPS 2136035 WITH SCORE 2141490.848
AT ITER 7069 NEW BEST:: SOT 6237238 SOS 5455798 HAS SOPS 5431506 HAS SOUS 2154905 HAS SOUPS 2135919 WITH SCORE 2141374.798
AT ITER 7084 NEW BEST:: SOT 6237134 SOS 5455694 HAS SOPS 5431402 HAS SOUS 2154749 HAS SOUPS 2135763 WITH SCORE 2141218.694
AT ITER 7090 NEW BEST:: SOT 6236221 SOS 5453338 HAS SOPS 5429139 HAS SOUS 2153148 HAS SOUPS 2134168 WITH SCORE 2139621.338
AT ITER 7102 NEW BEST:: SOT 6235268 SOS 5452340 HAS SOPS 5428186 HAS SOUS 2152636 HAS SOUPS 2133701 WITH SCORE 2139153.34
AT ITER 7111 NEW BEST:: SOT 6234914 SOS 5451977 HAS SOPS 5427832 HAS SOUS 2152144 HAS SOUPS 2133218 WITH SCORE 2138669.977
AT ITER 7125 NEW BEST:: SOT 6229862 SOS 5447120 HAS SOPS 5423263 HAS SOUS 2151401 HAS SOUPS 2132763 WITH SCORE 2138210.12
AT ITER 7135 NEW BEST:: SOT 6229820 SOS 5447078 HAS SOPS 5423221 HAS SOUS 2151160 HAS SOUPS 2132522 WITH SCORE 2137969.078
AT ITER 7140 NEW BEST:: SOT 6229806 SOS 5447061 HAS SOPS 5423207 HAS SOUS 2151087 HAS SOUPS 2132452 WITH SCORE 2137899.061
AT ITER 7152 NEW BEST:: SOT 6229262 SOS 5446517 HAS SOPS 5422663 HAS SOUS 2150205 HAS SOUPS 2131570 WITH SCORE 2137016.517
AT ITER 7156 NEW BEST:: SOT 6229217 SOS 5446472 HAS SOPS 5422618 HAS SOUS 2150161 HAS SOUPS 2131526 WITH SCORE 2136972.472
AT ITER 7162 NEW BEST:: SOT 6227866 SOS 5445094 HAS SOPS 5421267 HAS SOUS 2147871 HAS SOUPS 2129263 WITH SCORE 2134708.094
AT ITER 7196 NEW BEST:: SOT 6227560 SOS 5444788 HAS SOPS 5420961 HAS SOUS 2147180 HAS SOUPS 2128572 WITH SCORE 2134016.788
AT ITER 7203 NEW BEST:: SOT 6226098 SOS 5443266 HAS SOPS 5419499 HAS SOUS 2145428 HAS SOUPS 2126880 WITH SCORE 2132323.266
AT ITER 7204 NEW BEST:: SOT 6225966 SOS 5443134 HAS SOPS 5419367 HAS SOUS 2145233 HAS SOUPS 2126685 WITH SCORE 2132128.134
AT ITER 7240 NEW BEST:: SOT 6225743 SOS 5442911 HAS SOPS 5419144 HAS SOUS 2144615 HAS SOUPS 2126067 WITH SCORE 2131509.911
AT ITER 7252 NEW BEST:: SOT 6225697 SOS 5442865 HAS SOPS 5419098 HAS SOUS 2144569 HAS SOUPS 2126021 WITH SCORE 2131463.865
AT ITER 7287 NEW BEST:: SOT 6225697 SOS 5448826 HAS SOPS 5425252 HAS SOUS 2143702 HAS SOUPS 2125183 WITH SCORE 2130631.826
AT ITER 7289 NEW BEST:: SOT 6225621 SOS 5448750 HAS SOPS 5425176 HAS SOUS 2143624 HAS SOUPS 2125105 WITH SCORE 2130553.75
AT ITER 7290 NEW BEST:: SOT 6225355 SOS 5448461 HAS SOPS 5424910 HAS SOUS 2143463 HAS SOUPS 2124953 WITH SCORE 2130401.461
AT ITER 7292 NEW BEST:: SOT 6225154 SOS 5448260 HAS SOPS 5424709 HAS SOUS 2143115 HAS SOUPS 2124605 WITH SCORE 2130053.26
AT ITER 7297 NEW BEST:: SOT 6225135 SOS 5448241 HAS SOPS 5424690 HAS SOUS 2142897 HAS SOUPS 2124387 WITH SCORE 2129835.241
AT ITER 7362 NEW BEST:: SOT 6225038 SOS 5448144 HAS SOPS 5424593 HAS SOUS 2142690 HAS SOUPS 2124180 WITH SCORE 2129628.144
AT ITER 7378 NEW BEST:: SOT 6224775 SOS 5447881 HAS SOPS 5424330 HAS SOUS 2142269 HAS SOUPS 2123759 WITH SCORE 2129206.881
AT ITER 7387 NEW BEST:: SOT 6222666 SOS 5445686 HAS SOPS 5422221 HAS SOUS 2140212 HAS SOUPS 2121788 WITH SCORE 2127233.686
AT ITER 7389 NEW BEST:: SOT 6222419 SOS 5445505 HAS SOPS 5421974 HAS SOUS 2137207 HAS SOUPS 2118717 WITH SCORE 2124162.505
AT ITER 7395 NEW BEST:: SOT 6219576 SOS 5447427 HAS SOPS 5424039 HAS SOUS 2136642 HAS SOUPS 2118295 WITH SCORE 2123742.427
AT ITER 7414 NEW BEST:: SOT 6219402 SOS 5447253 HAS SOPS 5423865 HAS SOUS 2136301 HAS SOUPS 2117954 WITH SCORE 2123401.253
AT ITER 7418 NEW BEST:: SOT 6219518 SOS 5447369 HAS SOPS 5424034 HAS SOUS 2134408 HAS SOUPS 2116114 WITH SCORE 2121561.369
AT ITER 7432 NEW BEST:: SOT 6218843 SOS 5446670 HAS SOPS 5423359 HAS SOUS 2133647 HAS SOUPS 2115377 WITH SCORE 2120823.67
AT ITER 7500 NEW BEST:: SOT 6218523 SOS 5446350 HAS SOPS 5423039 HAS SOUS 2132975 HAS SOUPS 2114705 WITH SCORE 2120151.35
AT ITER 7507 NEW BEST:: SOT 6218332 SOS 5446159 HAS SOPS 5422848 HAS SOUS 2132706 HAS SOUPS 2114436 WITH SCORE 2119882.159
AT ITER 7549 NEW BEST:: SOT 6218162 SOS 5445989 HAS SOPS 5422678 HAS SOUS 2132466 HAS SOUPS 2114196 WITH SCORE 2119641.989
AT ITER 7558 NEW BEST:: SOT 6217929 SOS 5445756 HAS SOPS 5422445 HAS SOUS 2131882 HAS SOUPS 2113612 WITH SCORE 2119057.756
AT ITER 7608 NEW BEST:: SOT 6216670 SOS 5444452 HAS SOPS 5421186 HAS SOUS 2129297 HAS SOUPS 2111072 WITH SCORE 2116516.452
AT ITER 7621 NEW BEST:: SOT 6215941 SOS 5443688 HAS SOPS 5420457 HAS SOUS 2128766 HAS SOUPS 2110576 WITH SCORE 2116019.688
AT ITER 7635 NEW BEST:: SOT 6215944 SOS 5443691 HAS SOPS 5420460 HAS SOUS 2128623 HAS SOUPS 2110433 WITH SCORE 2115876.691
AT ITER 7644 NEW BEST:: SOT 6213601 SOS 5442961 HAS SOPS 5422193 HAS SOUS 2126052 HAS SOUPS 2110265 WITH SCORE 2115707.961
AT ITER 7648 NEW BEST:: SOT 6212770 SOS 5442130 HAS SOPS 5421362 HAS SOUS 2125144 HAS SOUPS 2109357 WITH SCORE 2114799.13
AT ITER 7659 NEW BEST:: SOT 6212767 SOS 5442127 HAS SOPS 5421359 HAS SOUS 2124927 HAS SOUPS 2109140 WITH SCORE 2114582.127
AT ITER 7662 NEW BEST:: SOT 6213057 SOS 5442476 HAS SOPS 5421649 HAS SOUS 2124113 HAS SOUPS 2108267 WITH SCORE 2113709.476
AT ITER 7664 NEW BEST:: SOT 6212255 SOS 5441660 HAS SOPS 5420847 HAS SOUS 2122682 HAS SOUPS 2106850 WITH SCORE 2112291.66
AT ITER 7674 NEW BEST:: SOT 6211807 SOS 5441206 HAS SOPS 5420399 HAS SOUS 2122152 HAS SOUPS 2106326 WITH SCORE 2111767.206
AT ITER 7711 NEW BEST:: SOT 6211779 SOS 5441164 HAS SOPS 5420371 HAS SOUS 2122124 HAS SOUPS 2106312 WITH SCORE 2111753.164
AT ITER 7721 NEW BEST:: SOT 6211834 SOS 5441219 HAS SOPS 5420426 HAS SOUS 2122111 HAS SOUPS 2106299 WITH SCORE 2111740.219
AT ITER 7736 NEW BEST:: SOT 6211815 SOS 5441203 HAS SOPS 5420407 HAS SOUS 2121951 HAS SOUPS 2106136 WITH SCORE 2111577.203
AT ITER 7749 NEW BEST:: SOT 6211807 SOS 5441195 HAS SOPS 5420399 HAS SOUS 2121777 HAS SOUPS 2105962 WITH SCORE 2111403.195
AT ITER 7764 NEW BEST:: SOT 6211054 SOS 5440429 HAS SOPS 5419646 HAS SOUS 2121275 HAS SOUPS 2105473 WITH SCORE 2110913.429
AT ITER 7787 NEW BEST:: SOT 6210454 SOS 5439897 HAS SOPS 5419046 HAS SOUS 2120971 HAS SOUPS 2105101 WITH SCORE 2110540.897
AT ITER 7829 NEW BEST:: SOT 6210454 SOS 5439897 HAS SOPS 5419046 HAS SOUS 2120957 HAS SOUPS 2105087 WITH SCORE 2110526.897
AT ITER 7836 NEW BEST:: SOT 6210442 SOS 5439885 HAS SOPS 5419034 HAS SOUS 2120933 HAS SOUPS 2105063 WITH SCORE 2110502.885
AT ITER 7850 NEW BEST:: SOT 6209523 SOS 5438956 HAS SOPS 5418115 HAS SOUS 2119551 HAS SOUPS 2103691 WITH SCORE 2109129.956
AT ITER 7861 NEW BEST:: SOT 6206549 SOS 5435982 HAS SOPS 5415141 HAS SOUS 2114036 HAS SOUPS 2098176 WITH SCORE 2103611.982
AT ITER 7881 NEW BEST:: SOT 6205397 SOS 5434800 HAS SOPS 5413989 HAS SOUS 2113018 HAS SOUPS 2097188 WITH SCORE 2102622.8
AT ITER 7890 NEW BEST:: SOT 6205437 SOS 5434840 HAS SOPS 5414029 HAS SOUS 2112989 HAS SOUPS 2097159 WITH SCORE 2102593.84
AT ITER 7898 NEW BEST:: SOT 6202958 SOS 5432330 HAS SOPS 5411550 HAS SOUS 2110616 HAS SOUPS 2094817 WITH SCORE 2100249.33
AT ITER 7910 NEW BEST:: SOT 6202121 SOS 5431465 HAS SOPS 5410713 HAS SOUS 2109786 HAS SOUPS 2094015 WITH SCORE 2099446.465
AT ITER 7912 NEW BEST:: SOT 6202110 SOS 5431454 HAS SOPS 5410702 HAS SOUS 2109730 HAS SOUPS 2093959 WITH SCORE 2099390.454
AT ITER 7929 NEW BEST:: SOT 6201844 SOS 5431180 HAS SOPS 5410436 HAS SOUS 2109190 HAS SOUPS 2093427 WITH SCORE 2098858.18
AT ITER 7930 NEW BEST:: SOT 6201847 SOS 5431184 HAS SOPS 5410439 HAS SOUS 2109180 HAS SOUPS 2093416 WITH SCORE 2098847.184
AT ITER 7939 NEW BEST:: SOT 6201773 SOS 5431110 HAS SOPS 5410365 HAS SOUS 2109038 HAS SOUPS 2093274 WITH SCORE 2098705.11
AT ITER 7956 NEW BEST:: SOT 6201118 SOS 5430455 HAS SOPS 5409710 HAS SOUS 2107066 HAS SOUPS 2091302 WITH SCORE 2096732.455
AT ITER 7992 NEW BEST:: SOT 6201131 SOS 5429608 HAS SOPS 5408861 HAS SOUS 2106948 HAS SOUPS 2091144 WITH SCORE 2096573.608
AT ITER 8058 NEW BEST:: SOT 6201131 SOS 5429608 HAS SOPS 5408861 HAS SOUS 2106308 HAS SOUPS 2090504 WITH SCORE 2095933.608
AT ITER 8061 NEW BEST:: SOT 6201119 SOS 5429596 HAS SOPS 5408849 HAS SOUS 2106276 HAS SOUPS 2090472 WITH SCORE 2095901.596
AT ITER 8076 NEW BEST:: SOT 6199669 SOS 5428076 HAS SOPS 5407399 HAS SOUS 2105897 HAS SOUPS 2090163 WITH SCORE 2095591.076
AT ITER 8098 NEW BEST:: SOT 6199474 SOS 5427886 HAS SOPS 5407204 HAS SOUS 2105827 HAS SOUPS 2090088 WITH SCORE 2095515.886
AT ITER 8120 NEW BEST:: SOT 6199464 SOS 5427876 HAS SOPS 5407194 HAS SOUS 2105815 HAS SOUPS 2090076 WITH SCORE 2095503.876
AT ITER 8130 NEW BEST:: SOT 6200060 SOS 5428513 HAS SOPS 5407790 HAS SOUS 2104569 HAS SOUPS 2088789 WITH SCORE 2094217.513
AT ITER 8176 NEW BEST:: SOT 6200038 SOS 5428727 HAS SOPS 5408004 HAS SOUS 2104567 HAS SOUPS 2088787 WITH SCORE 2094215.727
AT ITER 8206 NEW BEST:: SOT 6199779 SOS 5428620 HAS SOPS 5407841 HAS SOUS 2102939 HAS SOUPS 2087159 WITH SCORE 2092587.62
AT ITER 8217 NEW BEST:: SOT 6199579 SOS 5428420 HAS SOPS 5407641 HAS SOUS 2102395 HAS SOUPS 2086615 WITH SCORE 2092043.42
AT ITER 8223 NEW BEST:: SOT 6199415 SOS 5428236 HAS SOPS 5407477 HAS SOUS 2102082 HAS SOUPS 2086322 WITH SCORE 2091750.236
AT ITER 8237 NEW BEST:: SOT 6199394 SOS 5428215 HAS SOPS 5407456 HAS SOUS 2101997 HAS SOUPS 2086237 WITH SCORE 2091665.215
AT ITER 8252 NEW BEST:: SOT 6199326 SOS 5428147 HAS SOPS 5407388 HAS SOUS 2101890 HAS SOUPS 2086130 WITH SCORE 2091558.147
AT ITER 8270 NEW BEST:: SOT 6201098 SOS 5430039 HAS SOPS 5409160 HAS SOUS 2101290 HAS SOUPS 2085410 WITH SCORE 2090840.039
AT ITER 8272 NEW BEST:: SOT 6200784 SOS 5429725 HAS SOPS 5408846 HAS SOUS 2100672 HAS SOUPS 2084792 WITH SCORE 2090221.725
AT ITER 8274 NEW BEST:: SOT 6198805 SOS 5427622 HAS SOPS 5406867 HAS SOUS 2098998 HAS SOUPS 2083242 WITH SCORE 2088669.622
AT ITER 8350 NEW BEST:: SOT 6199681 SOS 5428548 HAS SOPS 5407743 HAS SOUS 2098856 HAS SOUPS 2083050 WITH SCORE 2088478.548
AT ITER 8374 NEW BEST:: SOT 6198935 SOS 5427788 HAS SOPS 5406997 HAS SOUS 2097704 HAS SOUPS 2081912 WITH SCORE 2087339.788
AT ITER 8433 NEW BEST:: SOT 6198538 SOS 5427427 HAS SOPS 5406690 HAS SOUS 2097193 HAS SOUPS 2081455 WITH SCORE 2086882.427
AT ITER 8437 NEW BEST:: SOT 6198512 SOS 5427401 HAS SOPS 5406664 HAS SOUS 2097115 HAS SOUPS 2081377 WITH SCORE 2086804.401
AT ITER 8441 NEW BEST:: SOT 6196828 SOS 5425732 HAS SOPS 5404980 HAS SOUS 2095614 HAS SOUPS 2079861 WITH SCORE 2085286.732
AT ITER 8489 NEW BEST:: SOT 6193224 SOS 5422534 HAS SOPS 5401988 HAS SOUS 2093573 HAS SOUPS 2078026 WITH SCORE 2083448.534
AT ITER 8531 NEW BEST:: SOT 6192168 SOS 5421453 HAS SOPS 5400932 HAS SOUS 2092300 HAS SOUPS 2076778 WITH SCORE 2082199.453
AT ITER 8569 NEW BEST:: SOT 6192126 SOS 5421411 HAS SOPS 5400890 HAS SOUS 2092251 HAS SOUPS 2076729 WITH SCORE 2082150.411
AT ITER 8571 NEW BEST:: SOT 6191998 SOS 5421283 HAS SOPS 5400762 HAS SOUS 2092164 HAS SOUPS 2076642 WITH SCORE 2082063.283
AT ITER 8584 NEW BEST:: SOT 6192007 SOS 5421295 HAS SOPS 5400771 HAS SOUS 2092153 HAS SOUPS 2076628 WITH SCORE 2082049.295
AT ITER 8593 NEW BEST:: SOT 6191531 SOS 5420819 HAS SOPS 5400295 HAS SOUS 2091537 HAS SOUPS 2076012 WITH SCORE 2081432.819
AT ITER 8617 NEW BEST:: SOT 6191531 SOS 5430484 HAS SOPS 5410082 HAS SOUS 2091511 HAS SOUPS 2075999 WITH SCORE 2081429.484
AT ITER 8635 NEW BEST:: SOT 6191539 SOS 5430527 HAS SOPS 5410090 HAS SOUS 2091401 HAS SOUPS 2075854 WITH SCORE 2081284.527
AT ITER 8661 NEW BEST:: SOT 6191539 SOS 5430527 HAS SOPS 5410090 HAS SOUS 2091365 HAS SOUPS 2075818 WITH SCORE 2081248.527
AT ITER 8671 NEW BEST:: SOT 6191324 SOS 5430307 HAS SOPS 5409875 HAS SOUS 2091086 HAS SOUPS 2075544 WITH SCORE 2080974.307
AT ITER 8709 NEW BEST:: SOT 6190143 SOS 5429126 HAS SOPS 5408694 HAS SOUS 2088717 HAS SOUPS 2073175 WITH SCORE 2078604.126
AT ITER 8712 NEW BEST:: SOT 6188983 SOS 5427966 HAS SOPS 5407534 HAS SOUS 2087557 HAS SOUPS 2072015 WITH SCORE 2077442.966
AT ITER 8726 NEW BEST:: SOT 6189017 SOS 5428000 HAS SOPS 5407568 HAS SOUS 2087516 HAS SOUPS 2071974 WITH SCORE 2077402.0
AT ITER 8740 NEW BEST:: SOT 6188865 SOS 5427848 HAS SOPS 5407416 HAS SOUS 2087364 HAS SOUPS 2071822 WITH SCORE 2077249.848
AT ITER 8809 NEW BEST:: SOT 6188211 SOS 5427194 HAS SOPS 5406762 HAS SOUS 2086519 HAS SOUPS 2070977 WITH SCORE 2076404.194
AT ITER 8822 NEW BEST:: SOT 6188259 SOS 5427245 HAS SOPS 5406810 HAS SOUS 2086469 HAS SOUPS 2070924 WITH SCORE 2076351.245
AT ITER 8868 NEW BEST:: SOT 6188259 SOS 5427282 HAS SOPS 5406847 HAS SOUS 2086468 HAS SOUPS 2070923 WITH SCORE 2076350.282
AT ITER 8870 NEW BEST:: SOT 6188102 SOS 5427119 HAS SOPS 5406690 HAS SOUS 2085868 HAS SOUPS 2070343 WITH SCORE 2075770.119
AT ITER 8884 NEW BEST:: SOT 6188100 SOS 5427117 HAS SOPS 5406688 HAS SOUS 2085861 HAS SOUPS 2070336 WITH SCORE 2075763.117
AT ITER 8899 NEW BEST:: SOT 6188157 SOS 5427256 HAS SOPS 5406745 HAS SOUS 2085567 HAS SOUPS 2069960 WITH SCORE 2075387.256
AT ITER 8954 NEW BEST:: SOT 6188157 SOS 5427366 HAS SOPS 5406855 HAS SOUS 2085563 HAS SOUPS 2069956 WITH SCORE 2075383.366
AT ITER 8973 NEW BEST:: SOT 6187719 SOS 5427670 HAS SOPS 5407291 HAS SOUS 2085314 HAS SOUPS 2069707 WITH SCORE 2075134.67
AT ITER 8980 NEW BEST:: SOT 6186081 SOS 5426451 HAS SOPS 5406175 HAS SOUS 2083769 HAS SOUPS 2068265 WITH SCORE 2073691.451
AT ITER 8987 NEW BEST:: SOT 6185458 SOS 5425823 HAS SOPS 5405552 HAS SOUS 2082382 HAS SOUPS 2066883 WITH SCORE 2072308.823
AT ITER 9019 NEW BEST:: SOT 6185459 SOS 5425830 HAS SOPS 5405553 HAS SOUS 2082381 HAS SOUPS 2066876 WITH SCORE 2072301.83
AT ITER 9034 NEW BEST:: SOT 6185439 SOS 5425820 HAS SOPS 5405533 HAS SOUS 2082333 HAS SOUPS 2066818 WITH SCORE 2072243.82
AT ITER 9038 NEW BEST:: SOT 6181688 SOS 5421943 HAS SOPS 5401782 HAS SOUS 2080628 HAS SOUPS 2065239 WITH SCORE 2070660.943
AT ITER 9040 NEW BEST:: SOT 6181704 SOS 5421959 HAS SOPS 5401798 HAS SOUS 2080148 HAS SOUPS 2064759 WITH SCORE 2070180.959
AT ITER 9061 NEW BEST:: SOT 6181116 SOS 5421371 HAS SOPS 5401210 HAS SOUS 2079303 HAS SOUPS 2063914 WITH SCORE 2069335.371
AT ITER 9129 NEW BEST:: SOT 6181067 SOS 5422331 HAS SOPS 5402221 HAS SOUS 2079057 HAS SOUPS 2063714 WITH SCORE 2069136.331
AT ITER 9139 NEW BEST:: SOT 6180551 SOS 5421815 HAS SOPS 5401705 HAS SOUS 2078618 HAS SOUPS 2063275 WITH SCORE 2068696.815
AT ITER 9160 NEW BEST:: SOT 6180525 SOS 5421789 HAS SOPS 5401679 HAS SOUS 2078604 HAS SOUPS 2063261 WITH SCORE 2068682.789
AT ITER 9165 NEW BEST:: SOT 6180525 SOS 5421788 HAS SOPS 5401678 HAS SOUS 2078603 HAS SOUPS 2063260 WITH SCORE 2068681.788
AT ITER 9185 NEW BEST:: SOT 6180165 SOS 5421390 HAS SOPS 5401318 HAS SOUS 2077925 HAS SOUPS 2062620 WITH SCORE 2068041.39
AT ITER 9197 NEW BEST:: SOT 6180143 SOS 5421372 HAS SOPS 5401296 HAS SOUS 2077789 HAS SOUPS 2062480 WITH SCORE 2067901.372
AT ITER 9262 NEW BEST:: SOT 6178569 SOS 5419776 HAS SOPS 5399722 HAS SOUS 2075983 HAS SOUPS 2060696 WITH SCORE 2066115.776
AT ITER 9297 NEW BEST:: SOT 6178291 SOS 5419498 HAS SOPS 5399444 HAS SOUS 2075594 HAS SOUPS 2060307 WITH SCORE 2065726.498
AT ITER 9307 NEW BEST:: SOT 6178160 SOS 5419367 HAS SOPS 5399313 HAS SOUS 2075512 HAS SOUPS 2060225 WITH SCORE 2065644.367
AT ITER 9326 NEW BEST:: SOT 6178079 SOS 5419335 HAS SOPS 5399286 HAS SOUS 2075500 HAS SOUPS 2060218 WITH SCORE 2065637.335
AT ITER 9349 NEW BEST:: SOT 6178860 SOS 5420096 HAS SOPS 5400047 HAS SOUS 2069532 HAS SOUPS 2054250 WITH SCORE 2059670.096
AT ITER 9442 NEW BEST:: SOT 6178853 SOS 5420089 HAS SOPS 5400040 HAS SOUS 2069521 HAS SOUPS 2054239 WITH SCORE 2059659.089
AT ITER 9475 NEW BEST:: SOT 6178853 SOS 5420089 HAS SOPS 5400040 HAS SOUS 2069516 HAS SOUPS 2054234 WITH SCORE 2059654.089
AT ITER 9481 NEW BEST:: SOT 6178432 SOS 5419662 HAS SOPS 5399619 HAS SOUS 2069012 HAS SOUPS 2053736 WITH SCORE 2059155.662
AT ITER 9513 NEW BEST:: SOT 6178428 SOS 5419658 HAS SOPS 5399615 HAS SOUS 2069006 HAS SOUPS 2053730 WITH SCORE 2059149.658
AT ITER 9516 NEW BEST:: SOT 6177964 SOS 5419194 HAS SOPS 5399151 HAS SOUS 2068273 HAS SOUPS 2052997 WITH SCORE 2058416.194
AT ITER 9525 NEW BEST:: SOT 6177934 SOS 5419164 HAS SOPS 5399121 HAS SOUS 2068205 HAS SOUPS 2052929 WITH SCORE 2058348.164
AT ITER 9595 NEW BEST:: SOT 6165368 SOS 5406893 HAS SOPS 5387527 HAS SOUS 2065939 HAS SOUPS 2051340 WITH SCORE 2056746.893
AT ITER 9628 NEW BEST:: SOT 6165082 SOS 5406607 HAS SOPS 5387241 HAS SOUS 2065643 HAS SOUPS 2051044 WITH SCORE 2056450.607
AT ITER 9649 NEW BEST:: SOT 6165062 SOS 5406587 HAS SOPS 5387221 HAS SOUS 2065623 HAS SOUPS 2051024 WITH SCORE 2056430.587
AT ITER 9657 NEW BEST:: SOT 6164880 SOS 5406427 HAS SOPS 5387039 HAS SOUS 2064662 HAS SOUPS 2050041 WITH SCORE 2055447.427
AT ITER 9712 NEW BEST:: SOT 6163658 SOS 5405186 HAS SOPS 5385817 HAS SOUS 2063602 HAS SOUPS 2049000 WITH SCORE 2054405.186
AT ITER 9734 NEW BEST:: SOT 6163741 SOS 5405268 HAS SOPS 5385900 HAS SOUS 2063442 HAS SOUPS 2048841 WITH SCORE 2054246.268
AT ITER 9745 NEW BEST:: SOT 6163737 SOS 5405264 HAS SOPS 5385896 HAS SOUS 2063418 HAS SOUPS 2048817 WITH SCORE 2054222.264
AT ITER 9778 NEW BEST:: SOT 6163727 SOS 5405254 HAS SOPS 5385886 HAS SOUS 2063387 HAS SOUPS 2048786 WITH SCORE 2054191.254
AT ITER 9779 NEW BEST:: SOT 6163717 SOS 5405252 HAS SOPS 5385876 HAS SOUS 2063357 HAS SOUPS 2048748 WITH SCORE 2054153.252
AT ITER 9839 NEW BEST:: SOT 6163622 SOS 5405157 HAS SOPS 5385781 HAS SOUS 2063260 HAS SOUPS 2048651 WITH SCORE 2054056.157
AT ITER 9881 NEW BEST:: SOT 6163584 SOS 5405119 HAS SOPS 5385743 HAS SOUS 2063152 HAS SOUPS 2048543 WITH SCORE 2053948.119
AT ITER 9890 NEW BEST:: SOT 6161071 SOS 5402676 HAS SOPS 5383428 HAS SOUS 2061957 HAS SOUPS 2047476 WITH SCORE 2052878.676
AT ITER 9894 NEW BEST:: SOT 6160843 SOS 5402410 HAS SOPS 5383200 HAS SOUS 2061884 HAS SOUPS 2047441 WITH SCORE 2052843.41
AT ITER 9940 NEW BEST:: SOT 6160089 SOS 5401656 HAS SOPS 5382446 HAS SOUS 2060970 HAS SOUPS 2046527 WITH SCORE 2051928.656
AT ITER 9966 NEW BEST:: SOT 6159206 SOS 5400907 HAS SOPS 5381833 HAS SOUS 2059927 HAS SOUPS 2045620 WITH SCORE 2051020.907
AT ITER 9985 NEW BEST:: SOT 6158286 SOS 5399974 HAS SOPS 5380913 HAS SOUS 2058949 HAS SOUPS 2044655 WITH SCORE 2050054.974
AT ITER 9995 NEW BEST:: SOT 6157257 SOS 5398923 HAS SOPS 5379884 HAS SOUS 2057755 HAS SOUPS 2043483 WITH SCORE 2048881.923

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r123-tajo-158961354500256"
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 '' 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 ;