About the Execution of Smart for SemanticWebServices-PT-S256P06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3822.915 | 3600000.00 | 3599869.00 | 229.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r355-smll-167891803500424.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SemanticWebServices-PT-S256P06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803500424
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 6.8K Feb 26 10:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 10:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 10:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679940647293
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 439 places, 14102 transitions, 130267 arcs.
AT ITER 0 NEW BEST:: SOT 5951467 SOS 5293412 HAS SOPS 4706855 HAS SOUS 2765006 HAS SOUPS 2714358 WITH SCORE 2719651.412
AT ITER 3 NEW BEST:: SOT 5951467 SOS 5293332 HAS SOPS 4706571 HAS SOUS 2764042 HAS SOUPS 2713394 WITH SCORE 2718687.332
AT ITER 4 NEW BEST:: SOT 5951467 SOS 5293332 HAS SOPS 4706571 HAS SOUS 2763920 HAS SOUPS 2713272 WITH SCORE 2718565.332
AT ITER 5 NEW BEST:: SOT 5951467 SOS 5293280 HAS SOPS 4706965 HAS SOUS 2763828 HAS SOUPS 2711904 WITH SCORE 2717197.28
AT ITER 6 NEW BEST:: SOT 5951467 SOS 5289856 HAS SOPS 4702579 HAS SOUS 2760633 HAS SOUPS 2708685 WITH SCORE 2713974.856
AT ITER 8 NEW BEST:: SOT 5951467 SOS 5290912 HAS SOPS 4699775 HAS SOUS 2750005 HAS SOUPS 2697865 WITH SCORE 2703155.912
AT ITER 9 NEW BEST:: SOT 5951467 SOS 5291940 HAS SOPS 4700981 HAS SOUS 2748952 HAS SOUPS 2696923 WITH SCORE 2702214.94
AT ITER 11 NEW BEST:: SOT 5951467 SOS 5292200 HAS SOPS 4700071 HAS SOUS 2749082 HAS SOUPS 2695948 WITH SCORE 2701240.2
AT ITER 14 NEW BEST:: SOT 5951467 SOS 5291760 HAS SOPS 4701037 HAS SOUS 2683643 HAS SOUPS 2631863 WITH SCORE 2637154.76
AT ITER 17 NEW BEST:: SOT 5952207 SOS 5297528 HAS SOPS 4704199 HAS SOUS 2682300 HAS SOUPS 2630619 WITH SCORE 2635916.528
AT ITER 18 NEW BEST:: SOT 5952207 SOS 5297440 HAS SOPS 4700843 HAS SOUS 2681646 HAS SOUPS 2629807 WITH SCORE 2635104.44
AT ITER 21 NEW BEST:: SOT 5952207 SOS 5297803 HAS SOPS 4689590 HAS SOUS 2681995 HAS SOUPS 2621090 WITH SCORE 2626387.803
AT ITER 25 NEW BEST:: SOT 5952207 SOS 5297721 HAS SOPS 4689508 HAS SOUS 2681971 HAS SOUPS 2621066 WITH SCORE 2626363.721
AT ITER 26 NEW BEST:: SOT 3402039 SOS 2828790 HAS SOPS 2379758 HAS SOUS 837039 HAS SOUPS 815685 WITH SCORE 818513.79
AT ITER 27 NEW BEST:: SOT 3408827 SOS 2836094 HAS SOPS 2386438 HAS SOUS 829848 HAS SOUPS 808305 WITH SCORE 811141.094
AT ITER 29 NEW BEST:: SOT 3408827 SOS 2837304 HAS SOPS 2387246 HAS SOUS 826622 HAS SOUPS 804912 WITH SCORE 807749.304
AT ITER 31 NEW BEST:: SOT 3408853 SOS 2837330 HAS SOPS 2387272 HAS SOUS 826604 HAS SOUPS 804894 WITH SCORE 807731.33
AT ITER 34 NEW BEST:: SOT 3398841 SOS 2827318 HAS SOPS 2377260 HAS SOUS 817724 HAS SOUPS 796014 WITH SCORE 798841.318
AT ITER 35 NEW BEST:: SOT 3398741 SOS 2827218 HAS SOPS 2377160 HAS SOUS 817674 HAS SOUPS 795964 WITH SCORE 798791.218
AT ITER 37 NEW BEST:: SOT 3398741 SOS 2832070 HAS SOPS 2378084 HAS SOUS 817621 HAS SOUPS 795861 WITH SCORE 798693.07
AT ITER 38 NEW BEST:: SOT 3397529 SOS 2830858 HAS SOPS 2376872 HAS SOUS 816043 HAS SOUPS 794283 WITH SCORE 797113.858
AT ITER 40 NEW BEST:: SOT 3397353 SOS 2830682 HAS SOPS 2376696 HAS SOUS 815555 HAS SOUPS 793795 WITH SCORE 796625.682
AT ITER 49 NEW BEST:: SOT 3397353 SOS 2830522 HAS SOPS 2377816 HAS SOUS 815618 HAS SOUPS 793709 WITH SCORE 796539.522
AT ITER 50 NEW BEST:: SOT 3397353 SOS 2829889 HAS SOPS 2377791 HAS SOUS 815581 HAS SOUPS 793693 WITH SCORE 796522.889
AT ITER 51 NEW BEST:: SOT 3397353 SOS 2827021 HAS SOPS 2368919 HAS SOUS 816946 HAS SOUPS 793104 WITH SCORE 795931.021
AT ITER 52 NEW BEST:: SOT 3400273 SOS 2829947 HAS SOPS 2371773 HAS SOUS 812147 HAS SOUPS 788301 WITH SCORE 791130.947
AT ITER 53 NEW BEST:: SOT 3400897 SOS 2830571 HAS SOPS 2372397 HAS SOUS 811422 HAS SOUPS 787576 WITH SCORE 790406.571
AT ITER 55 NEW BEST:: SOT 3400939 SOS 2830613 HAS SOPS 2372439 HAS SOUS 811412 HAS SOUPS 787566 WITH SCORE 790396.613
AT ITER 56 NEW BEST:: SOT 3400939 SOS 2828957 HAS SOPS 2372439 HAS SOUS 811468 HAS SOUPS 787566 WITH SCORE 790394.957
AT ITER 73 NEW BEST:: SOT 3400783 SOS 2828775 HAS SOPS 2372289 HAS SOUS 810796 HAS SOUPS 786893 WITH SCORE 789721.775
AT ITER 78 NEW BEST:: SOT 3400149 SOS 2828157 HAS SOPS 2365703 HAS SOUS 810249 HAS SOUPS 784926 WITH SCORE 787754.157
AT ITER 81 NEW BEST:: SOT 3478045 SOS 2904211 HAS SOPS 2437997 HAS SOUS 786742 HAS SOUPS 762015 WITH SCORE 764919.211
AT ITER 95 NEW BEST:: SOT 3478263 SOS 2904429 HAS SOPS 2438215 HAS SOUS 784620 HAS SOUPS 759893 WITH SCORE 762797.429
AT ITER 99 NEW BEST:: SOT 3462231 SOS 2888397 HAS SOPS 2422183 HAS SOUS 769916 HAS SOUPS 745189 WITH SCORE 748077.397
AT ITER 100 NEW BEST:: SOT 3444171 SOS 2870337 HAS SOPS 2404123 HAS SOUS 737542 HAS SOUPS 712815 WITH SCORE 715685.337
AT ITER 101 NEW BEST:: SOT 3444171 SOS 2869035 HAS SOPS 2403733 HAS SOUS 737538 HAS SOUPS 712815 WITH SCORE 715684.035
AT ITER 118 NEW BEST:: SOT 3445177 SOS 2870041 HAS SOPS 2404739 HAS SOUS 737312 HAS SOUPS 712589 WITH SCORE 715459.041
AT ITER 120 NEW BEST:: SOT 3445127 SOS 2870855 HAS SOPS 2404929 HAS SOUS 737299 HAS SOUPS 712543 WITH SCORE 715413.855
AT ITER 148 NEW BEST:: SOT 3445127 SOS 2868883 HAS SOPS 2405403 HAS SOUS 736957 HAS SOUPS 712205 WITH SCORE 715073.883
AT ITER 152 NEW BEST:: SOT 3445127 SOS 2869813 HAS SOPS 2395883 HAS SOUS 737865 HAS SOUPS 711436 WITH SCORE 714305.813
AT ITER 153 NEW BEST:: SOT 3446663 SOS 2870029 HAS SOPS 2386249 HAS SOUS 725629 HAS SOUPS 699371 WITH SCORE 702241.029
AT ITER 161 NEW BEST:: SOT 3446263 SOS 2869629 HAS SOPS 2385849 HAS SOUS 725359 HAS SOUPS 699101 WITH SCORE 701970.629
AT ITER 172 NEW BEST:: SOT 3445209 SOS 2868455 HAS SOPS 2383625 HAS SOUS 722579 HAS SOUPS 696276 WITH SCORE 699144.455
AT ITER 180 NEW BEST:: SOT 3447957 SOS 2876937 HAS SOPS 2317299 HAS SOUS 723319 HAS SOUPS 692494 WITH SCORE 695370.937
AT ITER 181 NEW BEST:: SOT 3447951 SOS 2876931 HAS SOPS 2317293 HAS SOUS 723238 HAS SOUPS 692413 WITH SCORE 695289.931
AT ITER 186 NEW BEST:: SOT 3448091 SOS 2879265 HAS SOPS 2317705 HAS SOUS 720812 HAS SOUPS 690732 WITH SCORE 693611.265
AT ITER 191 NEW BEST:: SOT 3448091 SOS 2879451 HAS SOPS 2317694 HAS SOUS 720650 HAS SOUPS 690616 WITH SCORE 693495.451
AT ITER 192 NEW BEST:: SOT 3447029 SOS 2878389 HAS SOPS 2316632 HAS SOUS 720121 HAS SOUPS 690087 WITH SCORE 692965.389
AT ITER 199 NEW BEST:: SOT 3447021 SOS 2878437 HAS SOPS 2316440 HAS SOUS 720119 HAS SOUPS 690081 WITH SCORE 692959.437
AT ITER 204 NEW BEST:: SOT 3447011 SOS 2878427 HAS SOPS 2316430 HAS SOUS 720103 HAS SOUPS 690065 WITH SCORE 692943.427
AT ITER 208 NEW BEST:: SOT 3446711 SOS 2878127 HAS SOPS 2316130 HAS SOUS 713783 HAS SOUPS 683745 WITH SCORE 686623.127
AT ITER 220 NEW BEST:: SOT 3446711 SOS 2878127 HAS SOPS 2316130 HAS SOUS 713780 HAS SOUPS 683742 WITH SCORE 686620.127
AT ITER 223 NEW BEST:: SOT 3446711 SOS 2878159 HAS SOPS 2316162 HAS SOUS 713740 HAS SOUPS 683702 WITH SCORE 686580.159
AT ITER 239 NEW BEST:: SOT 3446425 SOS 2877873 HAS SOPS 2315876 HAS SOUS 713618 HAS SOUPS 683580 WITH SCORE 686457.873
AT ITER 241 NEW BEST:: SOT 3446425 SOS 2881899 HAS SOPS 2308954 HAS SOUS 710212 HAS SOUPS 680035 WITH SCORE 682916.899
AT ITER 246 NEW BEST:: SOT 3390981 SOS 2826455 HAS SOPS 2253510 HAS SOUS 685974 HAS SOUPS 655797 WITH SCORE 658623.455
AT ITER 249 NEW BEST:: SOT 3401245 SOS 2836799 HAS SOPS 2265610 HAS SOUS 680690 HAS SOUPS 650513 WITH SCORE 653349.799
AT ITER 257 NEW BEST:: SOT 3401621 SOS 2837175 HAS SOPS 2265986 HAS SOUS 680438 HAS SOUPS 650261 WITH SCORE 653098.175
AT ITER 260 NEW BEST:: SOT 3401621 SOS 2837349 HAS SOPS 2268184 HAS SOUS 679466 HAS SOUPS 649429 WITH SCORE 652266.349
AT ITER 261 NEW BEST:: SOT 3401621 SOS 2851203 HAS SOPS 2273185 HAS SOUS 679154 HAS SOUPS 649242 WITH SCORE 652093.203
AT ITER 264 NEW BEST:: SOT 3401589 SOS 2851171 HAS SOPS 2273153 HAS SOUS 679144 HAS SOUPS 649232 WITH SCORE 652083.171
AT ITER 265 NEW BEST:: SOT 3401589 SOS 2851171 HAS SOPS 2273153 HAS SOUS 679134 HAS SOUPS 649222 WITH SCORE 652073.171
AT ITER 267 NEW BEST:: SOT 3401589 SOS 2851171 HAS SOPS 2274353 HAS SOUS 678180 HAS SOUPS 648012 WITH SCORE 650863.171
AT ITER 281 NEW BEST:: SOT 3409593 SOS 2859175 HAS SOPS 2282357 HAS SOUS 675176 HAS SOUPS 645008 WITH SCORE 647867.175
AT ITER 300 NEW BEST:: SOT 3482185 SOS 2936658 HAS SOPS 2357813 HAS SOUS 657997 HAS SOUPS 628330 WITH SCORE 631266.658
AT ITER 301 NEW BEST:: SOT 3482185 SOS 2936662 HAS SOPS 2357781 HAS SOUS 658001 HAS SOUPS 628328 WITH SCORE 631264.662
AT ITER 302 NEW BEST:: SOT 3458095 SOS 2912572 HAS SOPS 2333691 HAS SOUS 657961 HAS SOUPS 628288 WITH SCORE 631200.572
AT ITER 306 NEW BEST:: SOT 3458311 SOS 2912788 HAS SOPS 2333907 HAS SOUS 656906 HAS SOUPS 627233 WITH SCORE 630145.788
AT ITER 316 NEW BEST:: SOT 3458311 SOS 2912452 HAS SOPS 2335279 HAS SOUS 655034 HAS SOUPS 625224 WITH SCORE 628136.452
AT ITER 320 NEW BEST:: SOT 3461787 SOS 2915928 HAS SOPS 2338755 HAS SOUS 652746 HAS SOUPS 622936 WITH SCORE 625851.928
AT ITER 326 NEW BEST:: SOT 3465903 SOS 2920044 HAS SOPS 2342871 HAS SOUS 652425 HAS SOUPS 622615 WITH SCORE 625535.044
AT ITER 328 NEW BEST:: SOT 3465681 SOS 2919822 HAS SOPS 2342649 HAS SOUS 652270 HAS SOUPS 622460 WITH SCORE 625379.822
AT ITER 346 NEW BEST:: SOT 3465097 SOS 2919684 HAS SOPS 2343031 HAS SOUS 651138 HAS SOUPS 621328 WITH SCORE 624247.684
AT ITER 347 NEW BEST:: SOT 3465311 SOS 2919898 HAS SOPS 2343245 HAS SOUS 650987 HAS SOUPS 621177 WITH SCORE 624096.898
AT ITER 357 NEW BEST:: SOT 3465311 SOS 2920486 HAS SOPS 2343245 HAS SOUS 648737 HAS SOUPS 618814 WITH SCORE 621734.486
AT ITER 361 NEW BEST:: SOT 3465413 SOS 2920588 HAS SOPS 2343347 HAS SOUS 648734 HAS SOUPS 618811 WITH SCORE 621731.588
AT ITER 365 NEW BEST:: SOT 3445973 SOS 2901148 HAS SOPS 2323907 HAS SOUS 645402 HAS SOUPS 615479 WITH SCORE 618380.148
AT ITER 369 NEW BEST:: SOT 3444915 SOS 2900090 HAS SOPS 2322849 HAS SOUS 644546 HAS SOUPS 614623 WITH SCORE 617523.09
AT ITER 378 NEW BEST:: SOT 3444891 SOS 2898609 HAS SOPS 2321368 HAS SOUS 644185 HAS SOUPS 614262 WITH SCORE 617160.609
AT ITER 390 NEW BEST:: SOT 3445397 SOS 2899017 HAS SOPS 2324918 HAS SOUS 643777 HAS SOUPS 614089 WITH SCORE 616988.017
AT ITER 393 NEW BEST:: SOT 3447103 SOS 2900723 HAS SOPS 2326624 HAS SOUS 643541 HAS SOUPS 613853 WITH SCORE 616753.723
AT ITER 399 NEW BEST:: SOT 3447103 SOS 2898291 HAS SOPS 2320496 HAS SOUS 641783 HAS SOUPS 612193 WITH SCORE 615091.291
AT ITER 400 NEW BEST:: SOT 3445571 SOS 2887657 HAS SOPS 2317640 HAS SOUS 641283 HAS SOUPS 611819 WITH SCORE 614706.657
AT ITER 404 NEW BEST:: SOT 3445571 SOS 2888283 HAS SOPS 2324114 HAS SOUS 641210 HAS SOUPS 611790 WITH SCORE 614678.283
AT ITER 410 NEW BEST:: SOT 3445571 SOS 2887153 HAS SOPS 2322192 HAS SOUS 640730 HAS SOUPS 611274 WITH SCORE 614161.153
AT ITER 414 NEW BEST:: SOT 3445561 SOS 2887143 HAS SOPS 2322182 HAS SOUS 640710 HAS SOUPS 611254 WITH SCORE 614141.143
AT ITER 434 NEW BEST:: SOT 3447265 SOS 2882959 HAS SOPS 2317846 HAS SOUS 634876 HAS SOUPS 605618 WITH SCORE 608500.959
AT ITER 450 NEW BEST:: SOT 3446777 SOS 2882471 HAS SOPS 2317358 HAS SOUS 634749 HAS SOUPS 605491 WITH SCORE 608373.471
AT ITER 462 NEW BEST:: SOT 3446777 SOS 2882523 HAS SOPS 2315760 HAS SOUS 632973 HAS SOUPS 603574 WITH SCORE 606456.523
AT ITER 466 NEW BEST:: SOT 3447171 SOS 2879159 HAS SOPS 2318554 HAS SOUS 630866 HAS SOUPS 601760 WITH SCORE 604639.159
AT ITER 485 NEW BEST:: SOT 3447171 SOS 2883087 HAS SOPS 2313962 HAS SOUS 628014 HAS SOUPS 598504 WITH SCORE 601387.087
AT ITER 490 NEW BEST:: SOT 3452041 SOS 2887957 HAS SOPS 2318832 HAS SOUS 624268 HAS SOUPS 594758 WITH SCORE 597645.957
AT ITER 495 NEW BEST:: SOT 3452041 SOS 2887117 HAS SOPS 2318248 HAS SOUS 623100 HAS SOUPS 593740 WITH SCORE 596627.117
AT ITER 498 NEW BEST:: SOT 3451265 SOS 2886341 HAS SOPS 2317472 HAS SOUS 621974 HAS SOUPS 592614 WITH SCORE 595500.341
AT ITER 500 NEW BEST:: SOT 3456875 SOS 2888771 HAS SOPS 2276386 HAS SOUS 624760 HAS SOUPS 592211 WITH SCORE 595099.771
AT ITER 505 NEW BEST:: SOT 3456875 SOS 2888407 HAS SOPS 2277454 HAS SOUS 621676 HAS SOUPS 589844 WITH SCORE 592732.407
AT ITER 506 NEW BEST:: SOT 3456875 SOS 2888383 HAS SOPS 2277286 HAS SOUS 621617 HAS SOUPS 589839 WITH SCORE 592727.383
AT ITER 507 NEW BEST:: SOT 3456651 SOS 2888159 HAS SOPS 2277062 HAS SOUS 621477 HAS SOUPS 589699 WITH SCORE 592587.159
AT ITER 511 NEW BEST:: SOT 3456335 SOS 2887843 HAS SOPS 2276746 HAS SOUS 621006 HAS SOUPS 589228 WITH SCORE 592115.843
AT ITER 523 NEW BEST:: SOT 3456335 SOS 2887765 HAS SOPS 2276746 HAS SOUS 620973 HAS SOUPS 589204 WITH SCORE 592091.765
AT ITER 524 NEW BEST:: SOT 3470521 SOS 2902441 HAS SOPS 2288622 HAS SOUS 616575 HAS SOUPS 585228 WITH SCORE 588130.441
AT ITER 526 NEW BEST:: SOT 3470521 SOS 2902773 HAS SOPS 2277986 HAS SOUS 616691 HAS SOUPS 584900 WITH SCORE 587802.773
AT ITER 539 NEW BEST:: SOT 3472397 SOS 2902975 HAS SOPS 2279042 HAS SOUS 613841 HAS SOUPS 583358 WITH SCORE 586260.975
AT ITER 547 NEW BEST:: SOT 3484701 SOS 2915279 HAS SOPS 2291346 HAS SOUS 612955 HAS SOUPS 582472 WITH SCORE 585387.279
AT ITER 555 NEW BEST:: SOT 3484675 SOS 2915253 HAS SOPS 2291320 HAS SOUS 612851 HAS SOUPS 582368 WITH SCORE 585283.253
AT ITER 576 NEW BEST:: SOT 3485739 SOS 2916317 HAS SOPS 2292384 HAS SOUS 611560 HAS SOUPS 581077 WITH SCORE 583993.317
AT ITER 577 NEW BEST:: SOT 3476163 SOS 2906741 HAS SOPS 2282808 HAS SOUS 610804 HAS SOUPS 580321 WITH SCORE 583227.741
AT ITER 579 NEW BEST:: SOT 3476157 SOS 2906735 HAS SOPS 2282802 HAS SOUS 610790 HAS SOUPS 580307 WITH SCORE 583213.735
AT ITER 580 NEW BEST:: SOT 3476221 SOS 2906799 HAS SOPS 2282866 HAS SOUS 610728 HAS SOUPS 580245 WITH SCORE 583151.799
AT ITER 582 NEW BEST:: SOT 3476509 SOS 2907087 HAS SOPS 2283154 HAS SOUS 610435 HAS SOUPS 579952 WITH SCORE 582859.087
AT ITER 589 NEW BEST:: SOT 3476179 SOS 2906757 HAS SOPS 2282824 HAS SOUS 610119 HAS SOUPS 579636 WITH SCORE 582542.757
AT ITER 591 NEW BEST:: SOT 3476179 SOS 2904421 HAS SOPS 2288332 HAS SOUS 609066 HAS SOUPS 578950 WITH SCORE 581854.421
AT ITER 600 NEW BEST:: SOT 3476071 SOS 2904313 HAS SOPS 2288224 HAS SOUS 609051 HAS SOUPS 578935 WITH SCORE 581839.313
AT ITER 601 NEW BEST:: SOT 3473997 SOS 2902239 HAS SOPS 2286150 HAS SOUS 607072 HAS SOUPS 576956 WITH SCORE 579858.239
AT ITER 614 NEW BEST:: SOT 3473997 SOS 2895999 HAS SOPS 2290624 HAS SOUS 605800 HAS SOUPS 576679 WITH SCORE 579574.999
AT ITER 622 NEW BEST:: SOT 3496093 SOS 2921718 HAS SOPS 2312352 HAS SOUS 590695 HAS SOUPS 562248 WITH SCORE 565169.718
AT ITER 624 NEW BEST:: SOT 3489589 SOS 2915214 HAS SOPS 2305848 HAS SOUS 584927 HAS SOUPS 556480 WITH SCORE 559395.214
AT ITER 661 NEW BEST:: SOT 3488717 SOS 2914342 HAS SOPS 2304976 HAS SOUS 584556 HAS SOUPS 556109 WITH SCORE 559023.342
AT ITER 674 NEW BEST:: SOT 3429563 SOS 2915132 HAS SOPS 2443708 HAS SOUS 544070 HAS SOUPS 528571 WITH SCORE 531486.132
AT ITER 688 NEW BEST:: SOT 3429563 SOS 2916282 HAS SOPS 2445720 HAS SOUS 544049 HAS SOUPS 528561 WITH SCORE 531477.282
AT ITER 690 NEW BEST:: SOT 3430559 SOS 2917278 HAS SOPS 2446716 HAS SOUS 542967 HAS SOUPS 527479 WITH SCORE 530396.278
AT ITER 699 NEW BEST:: SOT 3429547 SOS 2916266 HAS SOPS 2445704 HAS SOUS 541955 HAS SOUPS 526467 WITH SCORE 529383.266
AT ITER 700 NEW BEST:: SOT 3431583 SOS 2918820 HAS SOPS 2439488 HAS SOUS 542974 HAS SOUPS 526112 WITH SCORE 529030.82
AT ITER 704 NEW BEST:: SOT 3431037 SOS 2918246 HAS SOPS 2438712 HAS SOUS 542242 HAS SOUPS 525193 WITH SCORE 528111.246
AT ITER 705 NEW BEST:: SOT 3425181 SOS 2912390 HAS SOPS 2432856 HAS SOUS 541938 HAS SOUPS 524889 WITH SCORE 527801.39
AT ITER 706 NEW BEST:: SOT 3425341 SOS 2911714 HAS SOPS 2431576 HAS SOUS 538977 HAS SOUPS 522118 WITH SCORE 525029.714
AT ITER 739 NEW BEST:: SOT 3425341 SOS 2916372 HAS SOPS 2426442 HAS SOUS 539397 HAS SOUPS 521820 WITH SCORE 524736.372
AT ITER 741 NEW BEST:: SOT 3424157 SOS 2915188 HAS SOPS 2425258 HAS SOUS 538735 HAS SOUPS 521158 WITH SCORE 524073.188
AT ITER 751 NEW BEST:: SOT 3424157 SOS 2916824 HAS SOPS 2420906 HAS SOUS 534082 HAS SOUPS 516959 WITH SCORE 519875.824
AT ITER 758 NEW BEST:: SOT 3425209 SOS 2925176 HAS SOPS 2420876 HAS SOUS 532623 HAS SOUPS 516118 WITH SCORE 519043.176
AT ITER 759 NEW BEST:: SOT 3426979 SOS 2926946 HAS SOPS 2422646 HAS SOUS 530783 HAS SOUPS 514278 WITH SCORE 517204.946
AT ITER 760 NEW BEST:: SOT 3426605 SOS 2926572 HAS SOPS 2422272 HAS SOUS 530741 HAS SOUPS 514236 WITH SCORE 517162.572
AT ITER 764 NEW BEST:: SOT 3425365 SOS 2925332 HAS SOPS 2421032 HAS SOUS 526649 HAS SOUPS 510144 WITH SCORE 513069.332
AT ITER 768 NEW BEST:: SOT 3427337 SOS 2927304 HAS SOPS 2423004 HAS SOUS 526486 HAS SOUPS 509981 WITH SCORE 512908.304
AT ITER 770 NEW BEST:: SOT 3421337 SOS 2921304 HAS SOPS 2417004 HAS SOUS 523486 HAS SOUPS 506981 WITH SCORE 509902.304
AT ITER 771 NEW BEST:: SOT 3421337 SOS 2922232 HAS SOPS 2416984 HAS SOUS 523504 HAS SOUPS 506971 WITH SCORE 509893.232
AT ITER 783 NEW BEST:: SOT 3421985 SOS 2922880 HAS SOPS 2417632 HAS SOUS 522413 HAS SOUPS 505880 WITH SCORE 508802.88
AT ITER 795 NEW BEST:: SOT 3423893 SOS 2924788 HAS SOPS 2419540 HAS SOUS 521991 HAS SOUPS 505458 WITH SCORE 508382.788
AT ITER 796 NEW BEST:: SOT 3423755 SOS 2926254 HAS SOPS 2417062 HAS SOUS 521262 HAS SOUPS 504701 WITH SCORE 507627.254
AT ITER 805 NEW BEST:: SOT 3423743 SOS 2926432 HAS SOPS 2416826 HAS SOUS 520801 HAS SOUPS 504480 WITH SCORE 507406.432
AT ITER 811 NEW BEST:: SOT 3421415 SOS 2924104 HAS SOPS 2414498 HAS SOUS 520479 HAS SOUPS 504158 WITH SCORE 507082.104
AT ITER 812 NEW BEST:: SOT 3410099 SOS 2912788 HAS SOPS 2403182 HAS SOUS 513563 HAS SOUPS 497242 WITH SCORE 500154.788
AT ITER 822 NEW BEST:: SOT 3408801 SOS 2911490 HAS SOPS 2401884 HAS SOUS 511296 HAS SOUPS 494975 WITH SCORE 497886.49
AT ITER 827 NEW BEST:: SOT 3408801 SOS 2904506 HAS SOPS 2401764 HAS SOUS 510091 HAS SOUPS 494082 WITH SCORE 496986.506
AT ITER 837 NEW BEST:: SOT 3409183 SOS 2904888 HAS SOPS 2402146 HAS SOUS 510057 HAS SOUPS 494048 WITH SCORE 496952.888
AT ITER 838 NEW BEST:: SOT 3408715 SOS 2904420 HAS SOPS 2401678 HAS SOUS 509957 HAS SOUPS 493948 WITH SCORE 496852.42
AT ITER 842 NEW BEST:: SOT 3409575 SOS 2905280 HAS SOPS 2402538 HAS SOUS 508534 HAS SOUPS 492525 WITH SCORE 495430.28
AT ITER 845 NEW BEST:: SOT 3409603 SOS 2901198 HAS SOPS 2373310 HAS SOUS 508064 HAS SOUPS 491899 WITH SCORE 494800.198
AT ITER 846 NEW BEST:: SOT 3409603 SOS 2901644 HAS SOPS 2373120 HAS SOUS 507758 HAS SOUPS 491590 WITH SCORE 494491.644
AT ITER 849 NEW BEST:: SOT 3414587 SOS 2911504 HAS SOPS 2364230 HAS SOUS 500813 HAS SOUPS 485005 WITH SCORE 487916.504
AT ITER 864 NEW BEST:: SOT 3414753 SOS 2909838 HAS SOPS 2356332 HAS SOUS 498062 HAS SOUPS 482536 WITH SCORE 485445.838
AT ITER 866 NEW BEST:: SOT 3416361 SOS 2911446 HAS SOPS 2357940 HAS SOUS 498022 HAS SOUPS 482496 WITH SCORE 485407.446
AT ITER 868 NEW BEST:: SOT 3416319 SOS 2911404 HAS SOPS 2357898 HAS SOUS 497979 HAS SOUPS 482453 WITH SCORE 485364.404
AT ITER 869 NEW BEST:: SOT 3414127 SOS 2909212 HAS SOPS 2355706 HAS SOUS 497949 HAS SOUPS 482423 WITH SCORE 485332.212
AT ITER 872 NEW BEST:: SOT 3414127 SOS 2917080 HAS SOPS 2347834 HAS SOUS 494428 HAS SOUPS 479249 WITH SCORE 482166.08
AT ITER 873 NEW BEST:: SOT 3413495 SOS 2916448 HAS SOPS 2347202 HAS SOUS 493716 HAS SOUPS 478537 WITH SCORE 481453.448
AT ITER 877 NEW BEST:: SOT 3410703 SOS 2913750 HAS SOPS 2342934 HAS SOUS 492112 HAS SOUPS 476964 WITH SCORE 479877.75
AT ITER 881 NEW BEST:: SOT 3410763 SOS 2913810 HAS SOPS 2342994 HAS SOUS 491866 HAS SOUPS 476718 WITH SCORE 479631.81
AT ITER 892 NEW BEST:: SOT 3410763 SOS 2914610 HAS SOPS 2333994 HAS SOUS 491113 HAS SOUPS 475963 WITH SCORE 478877.61
AT ITER 911 NEW BEST:: SOT 3410763 SOS 2916016 HAS SOPS 2334144 HAS SOUS 491149 HAS SOUPS 475948 WITH SCORE 478864.016
AT ITER 914 NEW BEST:: SOT 3410659 SOS 2911038 HAS SOPS 2348218 HAS SOUS 491193 HAS SOUPS 475941 WITH SCORE 478852.038
AT ITER 915 NEW BEST:: SOT 3409811 SOS 2910190 HAS SOPS 2347370 HAS SOUS 489943 HAS SOUPS 474691 WITH SCORE 477601.19
AT ITER 916 NEW BEST:: SOT 3409811 SOS 2910922 HAS SOPS 2339446 HAS SOUS 489612 HAS SOUPS 474284 WITH SCORE 477194.922
AT ITER 937 NEW BEST:: SOT 3409811 SOS 2910766 HAS SOPS 2339342 HAS SOUS 489518 HAS SOUPS 474154 WITH SCORE 477064.766
AT ITER 949 NEW BEST:: SOT 3410051 SOS 2911336 HAS SOPS 2339456 HAS SOUS 488565 HAS SOUPS 473327 WITH SCORE 476238.336
AT ITER 960 NEW BEST:: SOT 3410107 SOS 2894142 HAS SOPS 2351280 HAS SOUS 486560 HAS SOUPS 472162 WITH SCORE 475056.142
AT ITER 966 NEW BEST:: SOT 3408987 SOS 2899696 HAS SOPS 2353610 HAS SOUS 486154 HAS SOUPS 471962 WITH SCORE 474861.696
AT ITER 981 NEW BEST:: SOT 3408987 SOS 2899696 HAS SOPS 2353610 HAS SOUS 486150 HAS SOUPS 471958 WITH SCORE 474857.696
AT ITER 985 NEW BEST:: SOT 3409029 SOS 2899738 HAS SOPS 2353652 HAS SOUS 485886 HAS SOUPS 471694 WITH SCORE 474593.738
AT ITER 994 NEW BEST:: SOT 3414491 SOS 2904030 HAS SOPS 2356928 HAS SOUS 485225 HAS SOUPS 470943 WITH SCORE 473847.03
AT ITER 1015 NEW BEST:: SOT 3414445 SOS 2903984 HAS SOPS 2356882 HAS SOUS 485189 HAS SOUPS 470907 WITH SCORE 473810.984
AT ITER 1019 NEW BEST:: SOT 3414705 SOS 2904724 HAS SOPS 2357232 HAS SOUS 484858 HAS SOUPS 470591 WITH SCORE 473495.724
AT ITER 1022 NEW BEST:: SOT 3413261 SOS 2903280 HAS SOPS 2355788 HAS SOUS 484756 HAS SOUPS 470489 WITH SCORE 473392.28
AT ITER 1032 NEW BEST:: SOT 3413261 SOS 2899396 HAS SOPS 2379716 HAS SOUS 483066 HAS SOUPS 469952 WITH SCORE 472851.396
AT ITER 1038 NEW BEST:: SOT 3413261 SOS 2892026 HAS SOPS 2379890 HAS SOUS 482933 HAS SOUPS 469942 WITH SCORE 472834.026
AT ITER 1056 NEW BEST:: SOT 3415297 SOS 2894062 HAS SOPS 2381926 HAS SOUS 481489 HAS SOUPS 468498 WITH SCORE 471392.062
AT ITER 1066 NEW BEST:: SOT 3413885 SOS 2892650 HAS SOPS 2380514 HAS SOUS 480352 HAS SOUPS 467361 WITH SCORE 470253.65
AT ITER 1084 NEW BEST:: SOT 3414341 SOS 2893106 HAS SOPS 2380970 HAS SOUS 479274 HAS SOUPS 466349 WITH SCORE 469242.106
AT ITER 1085 NEW BEST:: SOT 3440317 SOS 2919230 HAS SOPS 2406652 HAS SOUS 474692 HAS SOUPS 461935 WITH SCORE 464854.23
AT ITER 1087 NEW BEST:: SOT 3441277 SOS 2920190 HAS SOPS 2407612 HAS SOUS 474424 HAS SOUPS 461667 WITH SCORE 464587.19
AT ITER 1088 NEW BEST:: SOT 3441475 SOS 2920388 HAS SOPS 2407810 HAS SOUS 474026 HAS SOUPS 461269 WITH SCORE 464189.388
AT ITER 1094 NEW BEST:: SOT 3440367 SOS 2919280 HAS SOPS 2406702 HAS SOUS 473045 HAS SOUPS 460288 WITH SCORE 463207.28
AT ITER 1109 NEW BEST:: SOT 3441705 SOS 2921142 HAS SOPS 2408988 HAS SOUS 472360 HAS SOUPS 459966 WITH SCORE 462887.142
AT ITER 1116 NEW BEST:: SOT 3441705 SOS 2910988 HAS SOPS 2399442 HAS SOUS 472277 HAS SOUPS 459872 WITH SCORE 462782.988
AT ITER 1117 NEW BEST:: SOT 3441699 SOS 2910982 HAS SOPS 2399436 HAS SOUS 472274 HAS SOUPS 459869 WITH SCORE 462779.982
AT ITER 1118 NEW BEST:: SOT 3441675 SOS 2910958 HAS SOPS 2399412 HAS SOUS 472256 HAS SOUPS 459851 WITH SCORE 462761.958
AT ITER 1119 NEW BEST:: SOT 3442159 SOS 2911442 HAS SOPS 2399896 HAS SOUS 471930 HAS SOUPS 459525 WITH SCORE 462436.442
AT ITER 1123 NEW BEST:: SOT 3442559 SOS 2911842 HAS SOPS 2400296 HAS SOUS 471683 HAS SOUPS 459278 WITH SCORE 462189.842
AT ITER 1132 NEW BEST:: SOT 3444671 SOS 2913954 HAS SOPS 2402408 HAS SOUS 470034 HAS SOUPS 457629 WITH SCORE 460542.954
AT ITER 1134 NEW BEST:: SOT 3444671 SOS 2914110 HAS SOPS 2402364 HAS SOUS 470042 HAS SOUPS 457627 WITH SCORE 460541.11
AT ITER 1167 NEW BEST:: SOT 3444593 SOS 2914032 HAS SOPS 2402286 HAS SOUS 469680 HAS SOUPS 457265 WITH SCORE 460179.032
AT ITER 1179 NEW BEST:: SOT 3445077 SOS 2914516 HAS SOPS 2402770 HAS SOUS 469467 HAS SOUPS 457052 WITH SCORE 459966.516
AT ITER 1194 NEW BEST:: SOT 3444989 SOS 2914428 HAS SOPS 2402682 HAS SOUS 469419 HAS SOUPS 457004 WITH SCORE 459918.428
AT ITER 1195 NEW BEST:: SOT 3444989 SOS 2910604 HAS SOPS 2398930 HAS SOUS 469406 HAS SOUPS 456994 WITH SCORE 459904.604
AT ITER 1199 NEW BEST:: SOT 3444989 SOS 2908066 HAS SOPS 2399440 HAS SOUS 469406 HAS SOUPS 456925 WITH SCORE 459833.066
AT ITER 1206 NEW BEST:: SOT 3444989 SOS 2913198 HAS SOPS 2403500 HAS SOUS 469198 HAS SOUPS 456914 WITH SCORE 459827.198
AT ITER 1209 NEW BEST:: SOT 3445661 SOS 2913870 HAS SOPS 2404172 HAS SOUS 468917 HAS SOUPS 456633 WITH SCORE 459546.87
AT ITER 1217 NEW BEST:: SOT 3445671 SOS 2913883 HAS SOPS 2404185 HAS SOUS 468915 HAS SOUPS 456631 WITH SCORE 459544.883
AT ITER 1220 NEW BEST:: SOT 3445607 SOS 2913819 HAS SOPS 2404121 HAS SOUS 468883 HAS SOUPS 456599 WITH SCORE 459512.819
AT ITER 1252 NEW BEST:: SOT 3445607 SOS 2913847 HAS SOPS 2400393 HAS SOUS 468467 HAS SOUPS 456143 WITH SCORE 459056.847
AT ITER 1259 NEW BEST:: SOT 3445391 SOS 2913631 HAS SOPS 2400177 HAS SOUS 468107 HAS SOUPS 455783 WITH SCORE 458696.631
AT ITER 1264 NEW BEST:: SOT 3448033 SOS 2916273 HAS SOPS 2402819 HAS SOUS 467393 HAS SOUPS 455069 WITH SCORE 457985.273
AT ITER 1273 NEW BEST:: SOT 3448127 SOS 2916367 HAS SOPS 2402913 HAS SOUS 467202 HAS SOUPS 454878 WITH SCORE 457794.367
AT ITER 1283 NEW BEST:: SOT 3449947 SOS 2918187 HAS SOPS 2404733 HAS SOUS 466813 HAS SOUPS 454489 WITH SCORE 457407.187
AT ITER 1285 NEW BEST:: SOT 3448731 SOS 2916971 HAS SOPS 2403517 HAS SOUS 466445 HAS SOUPS 454121 WITH SCORE 457037.971
AT ITER 1292 NEW BEST:: SOT 3446871 SOS 2915111 HAS SOPS 2401657 HAS SOUS 463390 HAS SOUPS 451066 WITH SCORE 453981.111
AT ITER 1303 NEW BEST:: SOT 3448087 SOS 2916327 HAS SOPS 2402873 HAS SOUS 462906 HAS SOUPS 450582 WITH SCORE 453498.327
AT ITER 1307 NEW BEST:: SOT 3447509 SOS 2915749 HAS SOPS 2402295 HAS SOUS 462838 HAS SOUPS 450514 WITH SCORE 453429.749
AT ITER 1309 NEW BEST:: SOT 3447509 SOS 2913221 HAS SOPS 2401935 HAS SOUS 462594 HAS SOUPS 450357 WITH SCORE 453270.221
AT ITER 1318 NEW BEST:: SOT 3448537 SOS 2910291 HAS SOPS 2405483 HAS SOUS 462138 HAS SOUPS 450277 WITH SCORE 453187.291
AT ITER 1335 NEW BEST:: SOT 3448537 SOS 2904055 HAS SOPS 2404401 HAS SOUS 461753 HAS SOUPS 450027 WITH SCORE 452931.055
AT ITER 1340 NEW BEST:: SOT 3448437 SOS 2902615 HAS SOPS 2402363 HAS SOUS 461670 HAS SOUPS 449944 WITH SCORE 452846.615
AT ITER 1344 NEW BEST:: SOT 3447067 SOS 2901503 HAS SOPS 2401537 HAS SOUS 461577 HAS SOUPS 449851 WITH SCORE 452752.503
AT ITER 1354 NEW BEST:: SOT 3447067 SOS 2901453 HAS SOPS 2401237 HAS SOUS 461477 HAS SOUPS 449781 WITH SCORE 452682.453
AT ITER 1355 NEW BEST:: SOT 3449381 SOS 2903767 HAS SOPS 2403551 HAS SOUS 460536 HAS SOUPS 448840 WITH SCORE 451743.767
AT ITER 1358 NEW BEST:: SOT 3432699 SOS 2887085 HAS SOPS 2386869 HAS SOUS 456610 HAS SOUPS 444914 WITH SCORE 447801.085
AT ITER 1362 NEW BEST:: SOT 3432699 SOS 2889531 HAS SOPS 2385065 HAS SOUS 456556 HAS SOUPS 444634 WITH SCORE 447523.531
AT ITER 1374 NEW BEST:: SOT 3432867 SOS 2887291 HAS SOPS 2385969 HAS SOUS 456078 HAS SOUPS 444184 WITH SCORE 447071.291
AT ITER 1407 NEW BEST:: SOT 3432699 SOS 2887123 HAS SOPS 2385801 HAS SOUS 455997 HAS SOUPS 444103 WITH SCORE 446990.123
AT ITER 1413 NEW BEST:: SOT 3432429 SOS 2886853 HAS SOPS 2385531 HAS SOUS 455333 HAS SOUPS 443439 WITH SCORE 446325.853
AT ITER 1416 NEW BEST:: SOT 3432049 SOS 2887829 HAS SOPS 2386629 HAS SOUS 455192 HAS SOUPS 443359 WITH SCORE 446246.829
AT ITER 1425 NEW BEST:: SOT 3433947 SOS 2889727 HAS SOPS 2388527 HAS SOUS 454295 HAS SOUPS 442462 WITH SCORE 445351.727
AT ITER 1428 NEW BEST:: SOT 3433779 SOS 2889863 HAS SOPS 2388183 HAS SOUS 453609 HAS SOUPS 441764 WITH SCORE 444653.863
AT ITER 1438 NEW BEST:: SOT 3433773 SOS 2889857 HAS SOPS 2388177 HAS SOUS 453602 HAS SOUPS 441757 WITH SCORE 444646.857
AT ITER 1442 NEW BEST:: SOT 3434103 SOS 2890187 HAS SOPS 2388507 HAS SOUS 452857 HAS SOUPS 441012 WITH SCORE 443902.187
AT ITER 1457 NEW BEST:: SOT 3437539 SOS 2893161 HAS SOPS 2390975 HAS SOUS 451400 HAS SOUPS 439533 WITH SCORE 442426.161
AT ITER 1472 NEW BEST:: SOT 3437525 SOS 2893147 HAS SOPS 2390961 HAS SOUS 451391 HAS SOUPS 439524 WITH SCORE 442417.147
AT ITER 1477 NEW BEST:: SOT 3435619 SOS 2891241 HAS SOPS 2389055 HAS SOUS 451284 HAS SOUPS 439417 WITH SCORE 442308.241
AT ITER 1485 NEW BEST:: SOT 3437349 SOS 2892971 HAS SOPS 2390785 HAS SOUS 450399 HAS SOUPS 438532 WITH SCORE 441424.971
AT ITER 1489 NEW BEST:: SOT 3439019 SOS 2894641 HAS SOPS 2392455 HAS SOUS 450203 HAS SOUPS 438336 WITH SCORE 441230.641
AT ITER 1499 NEW BEST:: SOT 3438667 SOS 2894289 HAS SOPS 2392103 HAS SOUS 450076 HAS SOUPS 438209 WITH SCORE 441103.289
AT ITER 1501 NEW BEST:: SOT 3448745 SOS 2904367 HAS SOPS 2402181 HAS SOUS 447533 HAS SOUPS 435666 WITH SCORE 438570.367
AT ITER 1510 NEW BEST:: SOT 3448847 SOS 2905577 HAS SOPS 2402835 HAS SOUS 446861 HAS SOUPS 435407 WITH SCORE 438312.577
AT ITER 1511 NEW BEST:: SOT 3448847 SOS 2913019 HAS SOPS 2403205 HAS SOUS 446898 HAS SOUPS 435377 WITH SCORE 438290.019
AT ITER 1515 NEW BEST:: SOT 3448727 SOS 2899605 HAS SOPS 2398319 HAS SOUS 447193 HAS SOUPS 435307 WITH SCORE 438206.605
AT ITER 1516 NEW BEST:: SOT 3449561 SOS 2900439 HAS SOPS 2399153 HAS SOUS 447133 HAS SOUPS 435247 WITH SCORE 438147.439
AT ITER 1524 NEW BEST:: SOT 3452701 SOS 2903579 HAS SOPS 2402293 HAS SOUS 444789 HAS SOUPS 432903 WITH SCORE 435806.579
AT ITER 1543 NEW BEST:: SOT 3449010 SOS 2899888 HAS SOPS 2398602 HAS SOUS 444400 HAS SOUPS 432514 WITH SCORE 435413.888
AT ITER 1544 NEW BEST:: SOT 3449010 SOS 2898250 HAS SOPS 2388848 HAS SOUS 443896 HAS SOUPS 431907 WITH SCORE 434805.25
AT ITER 1550 NEW BEST:: SOT 3449042 SOS 2900264 HAS SOPS 2389020 HAS SOUS 441423 HAS SOUPS 429803 WITH SCORE 432703.264
AT ITER 1566 NEW BEST:: SOT 3448302 SOS 2897660 HAS SOPS 2387512 HAS SOUS 441371 HAS SOUPS 429679 WITH SCORE 432576.66
AT ITER 1589 NEW BEST:: SOT 3447990 SOS 2897472 HAS SOPS 2387168 HAS SOUS 440822 HAS SOUPS 429148 WITH SCORE 432045.472
AT ITER 1596 NEW BEST:: SOT 3448014 SOS 2897496 HAS SOPS 2387192 HAS SOUS 440750 HAS SOUPS 429076 WITH SCORE 431973.496
AT ITER 1618 NEW BEST:: SOT 3448852 SOS 2898334 HAS SOPS 2388030 HAS SOUS 440288 HAS SOUPS 428614 WITH SCORE 431512.334
AT ITER 1621 NEW BEST:: SOT 3443630 SOS 2893112 HAS SOPS 2382808 HAS SOUS 438192 HAS SOUPS 426518 WITH SCORE 429411.112
AT ITER 1624 NEW BEST:: SOT 3443624 SOS 2893106 HAS SOPS 2382802 HAS SOUS 438065 HAS SOUPS 426391 WITH SCORE 429284.106
AT ITER 1641 NEW BEST:: SOT 3443618 SOS 2893100 HAS SOPS 2382796 HAS SOUS 437846 HAS SOUPS 426172 WITH SCORE 429065.1
AT ITER 1643 NEW BEST:: SOT 3471046 SOS 2920528 HAS SOPS 2410224 HAS SOUS 435080 HAS SOUPS 423406 WITH SCORE 426326.528
AT ITER 1653 NEW BEST:: SOT 3438132 SOS 2887614 HAS SOPS 2377310 HAS SOUS 430260 HAS SOUPS 418586 WITH SCORE 421473.614
AT ITER 1654 NEW BEST:: SOT 3437796 SOS 2879364 HAS SOPS 2383002 HAS SOUS 429596 HAS SOUPS 418513 WITH SCORE 421392.364
AT ITER 1657 NEW BEST:: SOT 3437796 SOS 2876193 HAS SOPS 2378218 HAS SOUS 428435 HAS SOUPS 417389 WITH SCORE 420265.193
AT ITER 1660 NEW BEST:: SOT 3437852 SOS 2876249 HAS SOPS 2378274 HAS SOUS 428413 HAS SOUPS 417367 WITH SCORE 420243.249
AT ITER 1661 NEW BEST:: SOT 3433244 SOS 2871641 HAS SOPS 2373666 HAS SOUS 428067 HAS SOUPS 417021 WITH SCORE 419892.641
AT ITER 1662 NEW BEST:: SOT 3432776 SOS 2871173 HAS SOPS 2373198 HAS SOUS 427599 HAS SOUPS 416553 WITH SCORE 419424.173
AT ITER 1666 NEW BEST:: SOT 3443506 SOS 2882577 HAS SOPS 2385506 HAS SOUS 424290 HAS SOUPS 413316 WITH SCORE 416198.577
AT ITER 1675 NEW BEST:: SOT 3443896 SOS 2882967 HAS SOPS 2385896 HAS SOUS 424283 HAS SOUPS 413309 WITH SCORE 416191.967
AT ITER 1684 NEW BEST:: SOT 3443896 SOS 2882123 HAS SOPS 2385796 HAS SOUS 424257 HAS SOUPS 413287 WITH SCORE 416169.123
AT ITER 1690 NEW BEST:: SOT 3443896 SOS 2884107 HAS SOPS 2385796 HAS SOUS 424242 HAS SOUPS 413271 WITH SCORE 416155.107
AT ITER 1701 NEW BEST:: SOT 3443608 SOS 2882789 HAS SOPS 2385964 HAS SOUS 424284 HAS SOUPS 413205 WITH SCORE 416087.789
AT ITER 1711 NEW BEST:: SOT 3443174 SOS 2882355 HAS SOPS 2385530 HAS SOUS 424207 HAS SOUPS 413128 WITH SCORE 416010.355
AT ITER 1718 NEW BEST:: SOT 3443266 SOS 2882447 HAS SOPS 2385622 HAS SOUS 424167 HAS SOUPS 413088 WITH SCORE 415970.447
AT ITER 1726 NEW BEST:: SOT 3441132 SOS 2880313 HAS SOPS 2383488 HAS SOUS 424017 HAS SOUPS 412938 WITH SCORE 415818.313
AT ITER 1738 NEW BEST:: SOT 3440486 SOS 2879667 HAS SOPS 2382842 HAS SOUS 424017 HAS SOUPS 412938 WITH SCORE 415817.667
AT ITER 1741 NEW BEST:: SOT 3440544 SOS 2879822 HAS SOPS 2383149 HAS SOUS 423796 HAS SOUPS 412793 WITH SCORE 415672.822
AT ITER 1745 NEW BEST:: SOT 3440796 SOS 2879932 HAS SOPS 2383015 HAS SOUS 423619 HAS SOUPS 412608 WITH SCORE 415487.932
AT ITER 1746 NEW BEST:: SOT 3448256 SOS 2887392 HAS SOPS 2390475 HAS SOUS 423473 HAS SOUPS 412462 WITH SCORE 415349.392
AT ITER 1753 NEW BEST:: SOT 3448256 SOS 2890232 HAS SOPS 2391035 HAS SOUS 423468 HAS SOUPS 412457 WITH SCORE 415347.232
AT ITER 1755 NEW BEST:: SOT 3449162 SOS 2891138 HAS SOPS 2391941 HAS SOUS 422782 HAS SOUPS 411771 WITH SCORE 414662.138
AT ITER 1761 NEW BEST:: SOT 3450506 SOS 2897714 HAS SOPS 2382181 HAS SOUS 418542 HAS SOUPS 407923 WITH SCORE 410820.714
AT ITER 1773 NEW BEST:: SOT 3451506 SOS 2897630 HAS SOPS 2382849 HAS SOUS 418357 HAS SOUPS 407832 WITH SCORE 410729.63
AT ITER 1775 NEW BEST:: SOT 3452236 SOS 2898360 HAS SOPS 2383579 HAS SOUS 417562 HAS SOUPS 407037 WITH SCORE 409935.36
AT ITER 1795 NEW BEST:: SOT 3452656 SOS 2898780 HAS SOPS 2383999 HAS SOUS 417311 HAS SOUPS 406786 WITH SCORE 409684.78
AT ITER 1815 NEW BEST:: SOT 3452124 SOS 2898248 HAS SOPS 2383467 HAS SOUS 417287 HAS SOUPS 406762 WITH SCORE 409660.248
AT ITER 1819 NEW BEST:: SOT 3452144 SOS 2898028 HAS SOPS 2384207 HAS SOUS 417293 HAS SOUPS 406719 WITH SCORE 409617.028
AT ITER 1820 NEW BEST:: SOT 3450819 SOS 2896703 HAS SOPS 2382882 HAS SOUS 416683 HAS SOUPS 406109 WITH SCORE 409005.703
AT ITER 1840 NEW BEST:: SOT 3450919 SOS 2895469 HAS SOPS 2381526 HAS SOUS 416733 HAS SOUPS 406098 WITH SCORE 408993.469
AT ITER 1848 NEW BEST:: SOT 3449190 SOS 2887548 HAS SOPS 2375341 HAS SOUS 413515 HAS SOUPS 402953 WITH SCORE 405840.548
AT ITER 1856 NEW BEST:: SOT 3449278 SOS 2894676 HAS SOPS 2379269 HAS SOUS 413516 HAS SOUPS 402941 WITH SCORE 405835.676
AT ITER 1869 NEW BEST:: SOT 3452616 SOS 2898212 HAS SOPS 2376437 HAS SOUS 411624 HAS SOUPS 401018 WITH SCORE 403916.212
AT ITER 1872 NEW BEST:: SOT 3452616 SOS 2898348 HAS SOPS 2377037 HAS SOUS 411614 HAS SOUPS 401006 WITH SCORE 403904.348
AT ITER 1877 NEW BEST:: SOT 3456016 SOS 2901748 HAS SOPS 2380437 HAS SOUS 410624 HAS SOUPS 400016 WITH SCORE 402917.748
AT ITER 1882 NEW BEST:: SOT 3456698 SOS 2900628 HAS SOPS 2379659 HAS SOUS 410495 HAS SOUPS 399943 WITH SCORE 402843.628
AT ITER 1883 NEW BEST:: SOT 3456182 SOS 2900112 HAS SOPS 2379143 HAS SOUS 406832 HAS SOUPS 396280 WITH SCORE 399180.112
AT ITER 1885 NEW BEST:: SOT 3462186 SOS 2906116 HAS SOPS 2385147 HAS SOUS 405705 HAS SOUPS 395153 WITH SCORE 398059.116
AT ITER 1889 NEW BEST:: SOT 3463206 SOS 2907136 HAS SOPS 2386167 HAS SOUS 405437 HAS SOUPS 394885 WITH SCORE 397792.136
AT ITER 1891 NEW BEST:: SOT 3448322 SOS 2892252 HAS SOPS 2371283 HAS SOUS 405033 HAS SOUPS 394481 WITH SCORE 397373.252
AT ITER 1905 NEW BEST:: SOT 3448322 SOS 2891852 HAS SOPS 2371203 HAS SOUS 404998 HAS SOUPS 394456 WITH SCORE 397347.852
AT ITER 1906 NEW BEST:: SOT 3448134 SOS 2892432 HAS SOPS 2369931 HAS SOUS 403267 HAS SOUPS 392769 WITH SCORE 395661.432
AT ITER 1912 NEW BEST:: SOT 3448114 SOS 2892412 HAS SOPS 2369911 HAS SOUS 403228 HAS SOUPS 392730 WITH SCORE 395622.412
AT ITER 1915 NEW BEST:: SOT 3446760 SOS 2891058 HAS SOPS 2368557 HAS SOUS 402275 HAS SOUPS 391777 WITH SCORE 394668.058
AT ITER 1937 NEW BEST:: SOT 3447250 SOS 2891548 HAS SOPS 2369047 HAS SOUS 401841 HAS SOUPS 391343 WITH SCORE 394234.548
AT ITER 1940 NEW BEST:: SOT 3447250 SOS 2900436 HAS SOPS 2370015 HAS SOUS 401683 HAS SOUPS 391161 WITH SCORE 394061.436
AT ITER 1949 NEW BEST:: SOT 3447284 SOS 2900470 HAS SOPS 2370049 HAS SOUS 400940 HAS SOUPS 390418 WITH SCORE 393318.47
AT ITER 1955 NEW BEST:: SOT 3447284 SOS 2891766 HAS SOPS 2368833 HAS SOUS 400895 HAS SOUPS 390415 WITH SCORE 393306.766
AT ITER 1959 NEW BEST:: SOT 3445488 SOS 2889970 HAS SOPS 2367037 HAS SOUS 400504 HAS SOUPS 390024 WITH SCORE 392913.97
AT ITER 1962 NEW BEST:: SOT 3444080 SOS 2888562 HAS SOPS 2365629 HAS SOUS 400317 HAS SOUPS 389837 WITH SCORE 392725.562
AT ITER 1966 NEW BEST:: SOT 3443940 SOS 2888422 HAS SOPS 2365489 HAS SOUS 400241 HAS SOUPS 389761 WITH SCORE 392649.422
AT ITER 1968 NEW BEST:: SOT 3444146 SOS 2884280 HAS SOPS 2342995 HAS SOUS 400045 HAS SOUPS 389554 WITH SCORE 392438.28
AT ITER 1982 NEW BEST:: SOT 3444314 SOS 2884448 HAS SOPS 2343163 HAS SOUS 400034 HAS SOUPS 389543 WITH SCORE 392427.448
AT ITER 1991 NEW BEST:: SOT 3444314 SOS 2883112 HAS SOPS 2342943 HAS SOUS 399981 HAS SOUPS 389512 WITH SCORE 392395.112
AT ITER 2023 NEW BEST:: SOT 3430922 SOS 2869720 HAS SOPS 2329551 HAS SOUS 394147 HAS SOUPS 383678 WITH SCORE 386547.72
AT ITER 2032 NEW BEST:: SOT 3430558 SOS 2869208 HAS SOPS 2329085 HAS SOUS 393942 HAS SOUPS 383401 WITH SCORE 386270.208
AT ITER 2043 NEW BEST:: SOT 3429632 SOS 2868282 HAS SOPS 2328159 HAS SOUS 393328 HAS SOUPS 382787 WITH SCORE 385655.282
AT ITER 2050 NEW BEST:: SOT 3414360 SOS 2853010 HAS SOPS 2312887 HAS SOUS 378984 HAS SOUPS 368443 WITH SCORE 371296.01
AT ITER 2054 NEW BEST:: SOT 3413470 SOS 2852120 HAS SOPS 2311997 HAS SOUS 378574 HAS SOUPS 368033 WITH SCORE 370885.12
AT ITER 2066 NEW BEST:: SOT 3413182 SOS 2851832 HAS SOPS 2311709 HAS SOUS 378572 HAS SOUPS 368031 WITH SCORE 370882.832
AT ITER 2069 NEW BEST:: SOT 3413110 SOS 2851760 HAS SOPS 2311637 HAS SOUS 378487 HAS SOUPS 367946 WITH SCORE 370797.76
AT ITER 2091 NEW BEST:: SOT 3413110 SOS 2833898 HAS SOPS 2297989 HAS SOUS 378392 HAS SOUPS 367804 WITH SCORE 370637.898
AT ITER 2121 NEW BEST:: SOT 3413339 SOS 2834463 HAS SOPS 2296346 HAS SOUS 377950 HAS SOUPS 367362 WITH SCORE 370196.463
AT ITER 2122 NEW BEST:: SOT 3416828 SOS 2837952 HAS SOPS 2299835 HAS SOUS 376408 HAS SOUPS 365820 WITH SCORE 368657.952
AT ITER 2126 NEW BEST:: SOT 3413908 SOS 2835032 HAS SOPS 2296915 HAS SOUS 372191 HAS SOUPS 361603 WITH SCORE 364438.032
AT ITER 2132 NEW BEST:: SOT 3412844 SOS 2833984 HAS SOPS 2295979 HAS SOUS 370309 HAS SOUPS 359763 WITH SCORE 362596.984
AT ITER 2141 NEW BEST:: SOT 3412732 SOS 2833872 HAS SOPS 2295867 HAS SOUS 370197 HAS SOUPS 359651 WITH SCORE 362484.872
AT ITER 2147 NEW BEST:: SOT 3412372 SOS 2833512 HAS SOPS 2295507 HAS SOUS 370133 HAS SOUPS 359587 WITH SCORE 362420.512
AT ITER 2154 NEW BEST:: SOT 3412368 SOS 2833508 HAS SOPS 2295503 HAS SOUS 370129 HAS SOUPS 359583 WITH SCORE 362416.508
AT ITER 2184 NEW BEST:: SOT 3412428 SOS 2833568 HAS SOPS 2295563 HAS SOUS 369854 HAS SOUPS 359308 WITH SCORE 362141.568
AT ITER 2206 NEW BEST:: SOT 3415340 SOS 2836480 HAS SOPS 2298475 HAS SOUS 368652 HAS SOUPS 358106 WITH SCORE 360942.48
AT ITER 2225 NEW BEST:: SOT 3415340 SOS 2824232 HAS SOPS 2278467 HAS SOUS 369004 HAS SOUPS 358072 WITH SCORE 360896.232
AT ITER 2230 NEW BEST:: SOT 3415244 SOS 2821148 HAS SOPS 2271839 HAS SOUS 368954 HAS SOUPS 357955 WITH SCORE 360776.148
AT ITER 2234 NEW BEST:: SOT 3421326 SOS 2827230 HAS SOPS 2277921 HAS SOUS 368502 HAS SOUPS 357503 WITH SCORE 360330.23
AT ITER 2235 NEW BEST:: SOT 3421948 SOS 2820536 HAS SOPS 2286947 HAS SOUS 367227 HAS SOUPS 356845 WITH SCORE 359665.536
AT ITER 2236 NEW BEST:: SOT 3404260 SOS 2802848 HAS SOPS 2269259 HAS SOUS 363730 HAS SOUPS 353348 WITH SCORE 356150.848
AT ITER 2238 NEW BEST:: SOT 3401156 SOS 2804130 HAS SOPS 2292255 HAS SOUS 362559 HAS SOUPS 352544 WITH SCORE 355348.13
AT ITER 2239 NEW BEST:: SOT 3402348 SOS 2805322 HAS SOPS 2293447 HAS SOUS 362547 HAS SOUPS 352532 WITH SCORE 355337.322
AT ITER 2261 NEW BEST:: SOT 3404926 SOS 2807900 HAS SOPS 2296025 HAS SOUS 362493 HAS SOUPS 352478 WITH SCORE 355285.9
AT ITER 2280 NEW BEST:: SOT 3404866 SOS 2807840 HAS SOPS 2295965 HAS SOUS 362445 HAS SOUPS 352430 WITH SCORE 355237.84
AT ITER 2284 NEW BEST:: SOT 3409048 SOS 2812022 HAS SOPS 2300147 HAS SOUS 362359 HAS SOUPS 352344 WITH SCORE 355156.022
AT ITER 2292 NEW BEST:: SOT 3407078 SOS 2812240 HAS SOPS 2289199 HAS SOUS 360318 HAS SOUPS 350075 WITH SCORE 352887.24
AT ITER 2312 NEW BEST:: SOT 3406308 SOS 2811470 HAS SOPS 2288429 HAS SOUS 359315 HAS SOUPS 349072 WITH SCORE 351883.47
AT ITER 2321 NEW BEST:: SOT 3406272 SOS 2811434 HAS SOPS 2288393 HAS SOUS 359299 HAS SOUPS 349056 WITH SCORE 351867.434
AT ITER 2331 NEW BEST:: SOT 3406272 SOS 2812622 HAS SOPS 2288525 HAS SOUS 359212 HAS SOUPS 349034 WITH SCORE 351846.622
AT ITER 2336 NEW BEST:: SOT 3404780 SOS 2811130 HAS SOPS 2287033 HAS SOUS 358821 HAS SOUPS 348643 WITH SCORE 351454.13
AT ITER 2360 NEW BEST:: SOT 3404892 SOS 2811242 HAS SOPS 2287145 HAS SOUS 358779 HAS SOUPS 348601 WITH SCORE 351412.242
AT ITER 2374 NEW BEST:: SOT 3405964 SOS 2804279 HAS SOPS 2274609 HAS SOUS 358418 HAS SOUPS 347912 WITH SCORE 350716.279
AT ITER 2382 NEW BEST:: SOT 3405668 SOS 2804444 HAS SOPS 2274976 HAS SOUS 358097 HAS SOUPS 347692 WITH SCORE 350496.444
AT ITER 2388 NEW BEST:: SOT 3405214 SOS 2803336 HAS SOPS 2275116 HAS SOUS 357462 HAS SOUPS 347083 WITH SCORE 349886.336
AT ITER 2389 NEW BEST:: SOT 3403246 SOS 2801368 HAS SOPS 2273148 HAS SOUS 357462 HAS SOUPS 347083 WITH SCORE 349884.368
AT ITER 2400 NEW BEST:: SOT 3403246 SOS 2797720 HAS SOPS 2272716 HAS SOUS 357438 HAS SOUPS 347083 WITH SCORE 349880.72
AT ITER 2402 NEW BEST:: SOT 3403246 SOS 2799298 HAS SOPS 2272328 HAS SOUS 357451 HAS SOUPS 347050 WITH SCORE 349849.298
AT ITER 2403 NEW BEST:: SOT 3403189 SOS 2799241 HAS SOPS 2272271 HAS SOUS 357451 HAS SOUPS 347050 WITH SCORE 349849.241
AT ITER 2408 NEW BEST:: SOT 3403457 SOS 2799509 HAS SOPS 2272539 HAS SOUS 356819 HAS SOUPS 346418 WITH SCORE 349217.509
AT ITER 2422 NEW BEST:: SOT 3403317 SOS 2799369 HAS SOPS 2272399 HAS SOUS 356746 HAS SOUPS 346345 WITH SCORE 349144.369
AT ITER 2430 NEW BEST:: SOT 3400941 SOS 2796993 HAS SOPS 2270023 HAS SOUS 356299 HAS SOUPS 345898 WITH SCORE 348694.993
AT ITER 2442 NEW BEST:: SOT 3400949 SOS 2797001 HAS SOPS 2270031 HAS SOUS 356172 HAS SOUPS 345771 WITH SCORE 348568.001
AT ITER 2445 NEW BEST:: SOT 3395133 SOS 2791185 HAS SOPS 2264215 HAS SOUS 354856 HAS SOUPS 344455 WITH SCORE 347246.185
AT ITER 2469 NEW BEST:: SOT 3395081 SOS 2791133 HAS SOPS 2264163 HAS SOUS 354812 HAS SOUPS 344411 WITH SCORE 347202.133
AT ITER 2473 NEW BEST:: SOT 3394825 SOS 2790877 HAS SOPS 2263907 HAS SOUS 354684 HAS SOUPS 344283 WITH SCORE 347073.877
AT ITER 2474 NEW BEST:: SOT 3395591 SOS 2791643 HAS SOPS 2264673 HAS SOUS 354072 HAS SOUPS 343671 WITH SCORE 346462.643
AT ITER 2479 NEW BEST:: SOT 3391463 SOS 2787515 HAS SOPS 2260545 HAS SOUS 354028 HAS SOUPS 343627 WITH SCORE 346414.515
AT ITER 2490 NEW BEST:: SOT 3392167 SOS 2788219 HAS SOPS 2261249 HAS SOUS 353994 HAS SOUPS 343593 WITH SCORE 346381.219
AT ITER 2521 NEW BEST:: SOT 3392049 SOS 2788101 HAS SOPS 2261131 HAS SOUS 353721 HAS SOUPS 343320 WITH SCORE 346108.101
AT ITER 2536 NEW BEST:: SOT 3392053 SOS 2788703 HAS SOPS 2245853 HAS SOUS 353476 HAS SOUPS 342639 WITH SCORE 345427.703
AT ITER 2553 NEW BEST:: SOT 3392053 SOS 2786105 HAS SOPS 2245935 HAS SOUS 353567 HAS SOUPS 342639 WITH SCORE 345425.105
AT ITER 2558 NEW BEST:: SOT 3390921 SOS 2781689 HAS SOPS 2244907 HAS SOUS 353312 HAS SOUPS 342505 WITH SCORE 345286.689
AT ITER 2562 NEW BEST:: SOT 3390919 SOS 2781668 HAS SOPS 2244886 HAS SOUS 353294 HAS SOUPS 342487 WITH SCORE 345268.668
AT ITER 2563 NEW BEST:: SOT 3388851 SOS 2779114 HAS SOPS 2217340 HAS SOUS 347654 HAS SOUPS 336816 WITH SCORE 339595.114
AT ITER 2566 NEW BEST:: SOT 3402875 SOS 2793138 HAS SOPS 2231364 HAS SOUS 344928 HAS SOUPS 334090 WITH SCORE 336883.138
AT ITER 2574 NEW BEST:: SOT 3403033 SOS 2794184 HAS SOPS 2235214 HAS SOUS 344560 HAS SOUPS 333866 WITH SCORE 336660.184
AT ITER 2583 NEW BEST:: SOT 3402513 SOS 2793664 HAS SOPS 2235462 HAS SOUS 343070 HAS SOUPS 332526 WITH SCORE 335319.664
AT ITER 2594 NEW BEST:: SOT 3401729 SOS 2792880 HAS SOPS 2234678 HAS SOUS 343013 HAS SOUPS 332469 WITH SCORE 335261.88
AT ITER 2606 NEW BEST:: SOT 3401269 SOS 2792420 HAS SOPS 2234218 HAS SOUS 341963 HAS SOUPS 331419 WITH SCORE 334211.42
AT ITER 2609 NEW BEST:: SOT 3398133 SOS 2789284 HAS SOPS 2231082 HAS SOUS 341264 HAS SOUPS 330720 WITH SCORE 333509.284
AT ITER 2615 NEW BEST:: SOT 3398123 SOS 2789274 HAS SOPS 2231072 HAS SOUS 341254 HAS SOUPS 330710 WITH SCORE 333499.274
AT ITER 2616 NEW BEST:: SOT 3409263 SOS 2800414 HAS SOPS 2242212 HAS SOUS 339843 HAS SOUPS 329299 WITH SCORE 332099.414
AT ITER 2629 NEW BEST:: SOT 3414227 SOS 2805378 HAS SOPS 2247176 HAS SOUS 338943 HAS SOUPS 328399 WITH SCORE 331204.378
AT ITER 2630 NEW BEST:: SOT 3414227 SOS 2812366 HAS SOPS 2251408 HAS SOUS 338897 HAS SOUPS 328334 WITH SCORE 331146.366
AT ITER 2636 NEW BEST:: SOT 3412698 SOS 2810837 HAS SOPS 2249879 HAS SOUS 338415 HAS SOUPS 327852 WITH SCORE 330662.837
AT ITER 2652 NEW BEST:: SOT 3417818 SOS 2815957 HAS SOPS 2254999 HAS SOUS 337855 HAS SOUPS 327292 WITH SCORE 330107.957
AT ITER 2681 NEW BEST:: SOT 3417164 SOS 2815303 HAS SOPS 2254345 HAS SOUS 337771 HAS SOUPS 327208 WITH SCORE 330023.303
AT ITER 2682 NEW BEST:: SOT 3417164 SOS 2819567 HAS SOPS 2253901 HAS SOUS 337744 HAS SOUPS 327109 WITH SCORE 329928.567
AT ITER 2692 NEW BEST:: SOT 3417140 SOS 2828019 HAS SOPS 2277321 HAS SOUS 337183 HAS SOUPS 326650 WITH SCORE 329478.019
AT ITER 2703 NEW BEST:: SOT 3402834 SOS 2812783 HAS SOPS 2264133 HAS SOUS 336333 HAS SOUPS 325800 WITH SCORE 328612.783
AT ITER 2716 NEW BEST:: SOT 3402834 SOS 2821741 HAS SOPS 2262775 HAS SOUS 335301 HAS SOUPS 325427 WITH SCORE 328248.741
AT ITER 2721 NEW BEST:: SOT 3402946 SOS 2821853 HAS SOPS 2262887 HAS SOUS 335141 HAS SOUPS 325267 WITH SCORE 328088.853
AT ITER 2737 NEW BEST:: SOT 3402762 SOS 2821669 HAS SOPS 2262703 HAS SOUS 334913 HAS SOUPS 325039 WITH SCORE 327860.669
AT ITER 2749 NEW BEST:: SOT 3402762 SOS 2820133 HAS SOPS 2262575 HAS SOUS 334881 HAS SOUPS 325023 WITH SCORE 327843.133
AT ITER 2761 NEW BEST:: SOT 3402754 SOS 2820125 HAS SOPS 2262567 HAS SOUS 334881 HAS SOUPS 325023 WITH SCORE 327843.125
AT ITER 2781 NEW BEST:: SOT 3402828 SOS 2820199 HAS SOPS 2262641 HAS SOUS 334796 HAS SOUPS 324938 WITH SCORE 327758.199
AT ITER 2797 NEW BEST:: SOT 3402168 SOS 2822447 HAS SOPS 2258245 HAS SOUS 334989 HAS SOUPS 324720 WITH SCORE 327542.447
AT ITER 2798 NEW BEST:: SOT 3402168 SOS 2831399 HAS SOPS 2258077 HAS SOUS 334976 HAS SOUPS 324706 WITH SCORE 327537.399
AT ITER 2802 NEW BEST:: SOT 3403928 SOS 2832795 HAS SOPS 2274001 HAS SOUS 330843 HAS SOUPS 320990 WITH SCORE 323822.795
AT ITER 2807 NEW BEST:: SOT 3403928 SOS 2831691 HAS SOPS 2274177 HAS SOUS 330820 HAS SOUPS 320979 WITH SCORE 323810.691
AT ITER 2833 NEW BEST:: SOT 3403928 SOS 2833619 HAS SOPS 2274249 HAS SOUS 330528 HAS SOUPS 320712 WITH SCORE 323545.619
AT ITER 2835 NEW BEST:: SOT 3403928 SOS 2830987 HAS SOPS 2245753 HAS SOUS 330558 HAS SOUPS 320558 WITH SCORE 323388.987
AT ITER 2841 NEW BEST:: SOT 3403928 SOS 2830987 HAS SOPS 2245753 HAS SOUS 330552 HAS SOUPS 320552 WITH SCORE 323382.987
AT ITER 2848 NEW BEST:: SOT 3403928 SOS 2829803 HAS SOPS 2245865 HAS SOUS 330564 HAS SOUPS 320552 WITH SCORE 323381.803
AT ITER 2850 NEW BEST:: SOT 3403920 SOS 2829795 HAS SOPS 2245857 HAS SOUS 330134 HAS SOUPS 320122 WITH SCORE 322951.795
AT ITER 2856 NEW BEST:: SOT 3406980 SOS 2832855 HAS SOPS 2248917 HAS SOUS 329762 HAS SOUPS 319750 WITH SCORE 322582.855
AT ITER 2866 NEW BEST:: SOT 3406888 SOS 2831069 HAS SOPS 2242683 HAS SOUS 329438 HAS SOUPS 319463 WITH SCORE 322294.069
AT ITER 2879 NEW BEST:: SOT 3406888 SOS 2831869 HAS SOPS 2243867 HAS SOUS 329312 HAS SOUPS 319397 WITH SCORE 322228.869
AT ITER 2884 NEW BEST:: SOT 3406892 SOS 2831873 HAS SOPS 2243871 HAS SOUS 329298 HAS SOUPS 319383 WITH SCORE 322214.873
AT ITER 2896 NEW BEST:: SOT 3406864 SOS 2831845 HAS SOPS 2243843 HAS SOUS 329270 HAS SOUPS 319355 WITH SCORE 322186.845
AT ITER 2938 NEW BEST:: SOT 3406856 SOS 2831837 HAS SOPS 2243835 HAS SOUS 329268 HAS SOUPS 319353 WITH SCORE 322184.837
AT ITER 2956 NEW BEST:: SOT 3401350 SOS 2826331 HAS SOPS 2238329 HAS SOUS 328481 HAS SOUPS 318566 WITH SCORE 321392.331
AT ITER 2966 NEW BEST:: SOT 3401350 SOS 2825637 HAS SOPS 2238191 HAS SOUS 328422 HAS SOUPS 318492 WITH SCORE 321317.637
AT ITER 2989 NEW BEST:: SOT 3390694 SOS 2815522 HAS SOPS 2228175 HAS SOUS 322851 HAS SOUPS 312872 WITH SCORE 315687.522
AT ITER 2997 NEW BEST:: SOT 3390694 SOS 2815522 HAS SOPS 2228175 HAS SOUS 322839 HAS SOUPS 312860 WITH SCORE 315675.522
AT ITER 3018 NEW BEST:: SOT 3391018 SOS 2814037 HAS SOPS 2226893 HAS SOUS 322337 HAS SOUPS 312353 WITH SCORE 315167.037
AT ITER 3021 NEW BEST:: SOT 3391662 SOS 2814681 HAS SOPS 2227537 HAS SOUS 322255 HAS SOUPS 312271 WITH SCORE 315085.681
AT ITER 3040 NEW BEST:: SOT 3391138 SOS 2814157 HAS SOPS 2227013 HAS SOUS 321955 HAS SOUPS 311971 WITH SCORE 314785.157
AT ITER 3068 NEW BEST:: SOT 3391770 SOS 2814781 HAS SOPS 2227673 HAS SOUS 321247 HAS SOUPS 311361 WITH SCORE 314175.781
AT ITER 3069 NEW BEST:: SOT 3391650 SOS 2814661 HAS SOPS 2227553 HAS SOUS 321067 HAS SOUPS 311181 WITH SCORE 313995.661
AT ITER 3075 NEW BEST:: SOT 3391692 SOS 2814703 HAS SOPS 2227595 HAS SOUS 321064 HAS SOUPS 311178 WITH SCORE 313992.703
AT ITER 3088 NEW BEST:: SOT 3391062 SOS 2814073 HAS SOPS 2226965 HAS SOUS 320448 HAS SOUPS 310562 WITH SCORE 313376.073
AT ITER 3090 NEW BEST:: SOT 3390863 SOS 2813874 HAS SOPS 2226766 HAS SOUS 320012 HAS SOUPS 310126 WITH SCORE 312939.874
AT ITER 3118 NEW BEST:: SOT 3390881 SOS 2813892 HAS SOPS 2226784 HAS SOUS 319681 HAS SOUPS 309795 WITH SCORE 312608.892
AT ITER 3119 NEW BEST:: SOT 3388945 SOS 2811956 HAS SOPS 2224848 HAS SOUS 319214 HAS SOUPS 309328 WITH SCORE 312139.956
AT ITER 3122 NEW BEST:: SOT 3389047 SOS 2812058 HAS SOPS 2224950 HAS SOUS 319163 HAS SOUPS 309277 WITH SCORE 312089.058
AT ITER 3127 NEW BEST:: SOT 3388973 SOS 2805798 HAS SOPS 2226130 HAS SOUS 319094 HAS SOUPS 309261 WITH SCORE 312066.798
AT ITER 3129 NEW BEST:: SOT 3388973 SOS 2799816 HAS SOPS 2223853 HAS SOUS 319071 HAS SOUPS 309149 WITH SCORE 311948.816
AT ITER 3145 NEW BEST:: SOT 3388973 SOS 2799272 HAS SOPS 2223813 HAS SOUS 319043 HAS SOUPS 309145 WITH SCORE 311944.272
AT ITER 3147 NEW BEST:: SOT 3393421 SOS 2803720 HAS SOPS 2228261 HAS SOUS 318787 HAS SOUPS 308889 WITH SCORE 311692.72
AT ITER 3200 NEW BEST:: SOT 3393145 SOS 2803444 HAS SOPS 2227985 HAS SOUS 318459 HAS SOUPS 308561 WITH SCORE 311364.444
AT ITER 3203 NEW BEST:: SOT 3394659 SOS 2804958 HAS SOPS 2229499 HAS SOUS 318098 HAS SOUPS 308200 WITH SCORE 311004.958
AT ITER 3208 NEW BEST:: SOT 3394659 SOS 2803246 HAS SOPS 2229451 HAS SOUS 318098 HAS SOUPS 308198 WITH SCORE 311001.246
AT ITER 3212 NEW BEST:: SOT 3395719 SOS 2804306 HAS SOPS 2230511 HAS SOUS 317435 HAS SOUPS 307535 WITH SCORE 310339.306
AT ITER 3219 NEW BEST:: SOT 3395835 SOS 2804422 HAS SOPS 2230627 HAS SOUS 317043 HAS SOUPS 307143 WITH SCORE 309947.422
AT ITER 3222 NEW BEST:: SOT 3395835 SOS 2804422 HAS SOPS 2230627 HAS SOUS 317038 HAS SOUPS 307138 WITH SCORE 309942.422
AT ITER 3223 NEW BEST:: SOT 3395835 SOS 2803118 HAS SOPS 2225419 HAS SOUS 316963 HAS SOUPS 307132 WITH SCORE 309935.118
AT ITER 3243 NEW BEST:: SOT 3396327 SOS 2803610 HAS SOPS 2225911 HAS SOUS 316949 HAS SOUPS 307118 WITH SCORE 309921.61
AT ITER 3245 NEW BEST:: SOT 3396363 SOS 2803646 HAS SOPS 2225947 HAS SOUS 316946 HAS SOUPS 307115 WITH SCORE 309918.646
AT ITER 3271 NEW BEST:: SOT 3396363 SOS 2807692 HAS SOPS 2230001 HAS SOUS 316931 HAS SOUPS 307100 WITH SCORE 309907.692
AT ITER 3274 NEW BEST:: SOT 3396319 SOS 2807648 HAS SOPS 2229957 HAS SOUS 316931 HAS SOUPS 307100 WITH SCORE 309907.648
AT ITER 3279 NEW BEST:: SOT 3396367 SOS 2808886 HAS SOPS 2230005 HAS SOUS 317086 HAS SOUPS 307088 WITH SCORE 309896.886
AT ITER 3309 NEW BEST:: SOT 3396353 SOS 2808872 HAS SOPS 2229991 HAS SOUS 317086 HAS SOUPS 307088 WITH SCORE 309896.872
AT ITER 3313 NEW BEST:: SOT 3396015 SOS 2808534 HAS SOPS 2229653 HAS SOUS 315712 HAS SOUPS 305714 WITH SCORE 308522.534
AT ITER 3314 NEW BEST:: SOT 3394473 SOS 2806992 HAS SOPS 2228111 HAS SOUS 310870 HAS SOUPS 300872 WITH SCORE 303678.992
AT ITER 3332 NEW BEST:: SOT 3399209 SOS 2811728 HAS SOPS 2232847 HAS SOUS 310854 HAS SOUPS 300856 WITH SCORE 303667.728
AT ITER 3336 NEW BEST:: SOT 3398767 SOS 2811286 HAS SOPS 2232405 HAS SOUS 310850 HAS SOUPS 300852 WITH SCORE 303663.286
AT ITER 3356 NEW BEST:: SOT 3399109 SOS 2811628 HAS SOPS 2232747 HAS SOUS 310501 HAS SOUPS 300503 WITH SCORE 303314.628
AT ITER 3370 NEW BEST:: SOT 3399025 SOS 2811544 HAS SOPS 2232663 HAS SOUS 310181 HAS SOUPS 300183 WITH SCORE 302994.544
AT ITER 3371 NEW BEST:: SOT 3398167 SOS 2810686 HAS SOPS 2231805 HAS SOUS 309267 HAS SOUPS 299269 WITH SCORE 302079.686
AT ITER 3376 NEW BEST:: SOT 3398335 SOS 2810854 HAS SOPS 2231973 HAS SOUS 309261 HAS SOUPS 299263 WITH SCORE 302073.854
AT ITER 3381 NEW BEST:: SOT 3399423 SOS 2811942 HAS SOPS 2233061 HAS SOUS 308523 HAS SOUPS 298525 WITH SCORE 301336.942
AT ITER 3392 NEW BEST:: SOT 3399099 SOS 2811706 HAS SOPS 2232989 HAS SOUS 308407 HAS SOUPS 298396 WITH SCORE 301207.706
AT ITER 3393 NEW BEST:: SOT 3399099 SOS 2808525 HAS SOPS 2230064 HAS SOUS 308317 HAS SOUPS 298314 WITH SCORE 301122.525
AT ITER 3456 NEW BEST:: SOT 3399099 SOS 2808525 HAS SOPS 2230064 HAS SOUS 308203 HAS SOUPS 298200 WITH SCORE 301008.525
AT ITER 3470 NEW BEST:: SOT 3398071 SOS 2807497 HAS SOPS 2229036 HAS SOUS 308115 HAS SOUPS 298112 WITH SCORE 300919.497
AT ITER 3489 NEW BEST:: SOT 3396335 SOS 2805761 HAS SOPS 2227300 HAS SOUS 306606 HAS SOUPS 296603 WITH SCORE 299408.761
AT ITER 3495 NEW BEST:: SOT 3396335 SOS 2804005 HAS SOPS 2227164 HAS SOUS 306620 HAS SOUPS 296586 WITH SCORE 299390.005
AT ITER 3500 NEW BEST:: SOT 3395219 SOS 2802889 HAS SOPS 2226048 HAS SOUS 306153 HAS SOUPS 296119 WITH SCORE 298921.889
AT ITER 3506 NEW BEST:: SOT 3395199 SOS 2802869 HAS SOPS 2226028 HAS SOUS 306143 HAS SOUPS 296109 WITH SCORE 298911.869
AT ITER 3527 NEW BEST:: SOT 3399357 SOS 2807027 HAS SOPS 2230186 HAS SOUS 305997 HAS SOUPS 295963 WITH SCORE 298770.027
AT ITER 3538 NEW BEST:: SOT 3398717 SOS 2806387 HAS SOPS 2229546 HAS SOUS 305629 HAS SOUPS 295595 WITH SCORE 298401.387
AT ITER 3541 NEW BEST:: SOT 3398805 SOS 2806475 HAS SOPS 2229634 HAS SOUS 305079 HAS SOUPS 295045 WITH SCORE 297851.475
AT ITER 3553 NEW BEST:: SOT 3398761 SOS 2806431 HAS SOPS 2229590 HAS SOUS 304476 HAS SOUPS 294442 WITH SCORE 297248.431
AT ITER 3560 NEW BEST:: SOT 3394223 SOS 2802047 HAS SOPS 2224700 HAS SOUS 304358 HAS SOUPS 294253 WITH SCORE 297055.047
AT ITER 3569 NEW BEST:: SOT 3399177 SOS 2807001 HAS SOPS 2229654 HAS SOUS 302135 HAS SOUPS 292030 WITH SCORE 294837.001
AT ITER 3584 NEW BEST:: SOT 3397777 SOS 2805601 HAS SOPS 2228254 HAS SOUS 301489 HAS SOUPS 291384 WITH SCORE 294189.601
AT ITER 3594 NEW BEST:: SOT 3397777 SOS 2805601 HAS SOPS 2228254 HAS SOUS 301411 HAS SOUPS 291306 WITH SCORE 294111.601
AT ITER 3595 NEW BEST:: SOT 3397777 SOS 2803053 HAS SOPS 2228896 HAS SOUS 301145 HAS SOUPS 291166 WITH SCORE 293969.053
AT ITER 3597 NEW BEST:: SOT 3398973 SOS 2804249 HAS SOPS 2230092 HAS SOUS 301135 HAS SOUPS 291156 WITH SCORE 293960.249
AT ITER 3626 NEW BEST:: SOT 3400269 SOS 2805545 HAS SOPS 2231388 HAS SOUS 300983 HAS SOUPS 291004 WITH SCORE 293809.545
AT ITER 3636 NEW BEST:: SOT 3400269 SOS 2806155 HAS SOPS 2231368 HAS SOUS 300996 HAS SOUPS 290998 WITH SCORE 293804.155
AT ITER 3648 NEW BEST:: SOT 3400369 SOS 2806255 HAS SOPS 2231468 HAS SOUS 300478 HAS SOUPS 290480 WITH SCORE 293286.255
AT ITER 3668 NEW BEST:: SOT 3400369 SOS 2806509 HAS SOPS 2231435 HAS SOUS 300412 HAS SOUPS 290351 WITH SCORE 293157.509
AT ITER 3682 NEW BEST:: SOT 3391859 SOS 2797999 HAS SOPS 2222925 HAS SOUS 299184 HAS SOUPS 289123 WITH SCORE 291920.999
AT ITER 3696 NEW BEST:: SOT 3393909 SOS 2797855 HAS SOPS 2224841 HAS SOUS 298297 HAS SOUPS 288069 WITH SCORE 290866.855
AT ITER 3700 NEW BEST:: SOT 3396235 SOS 2800181 HAS SOPS 2227167 HAS SOUS 297001 HAS SOUPS 286773 WITH SCORE 289573.181
AT ITER 3706 NEW BEST:: SOT 3395353 SOS 2799299 HAS SOPS 2226285 HAS SOUS 296959 HAS SOUPS 286731 WITH SCORE 289530.299
AT ITER 3744 NEW BEST:: SOT 3395353 SOS 2798875 HAS SOPS 2225541 HAS SOUS 296727 HAS SOUPS 286539 WITH SCORE 289337.875
AT ITER 3754 NEW BEST:: SOT 3395353 SOS 2798247 HAS SOPS 2224225 HAS SOUS 296182 HAS SOUPS 286043 WITH SCORE 288841.247
AT ITER 3755 NEW BEST:: SOT 3393077 SOS 2795971 HAS SOPS 2221949 HAS SOUS 295751 HAS SOUPS 285612 WITH SCORE 288407.971
AT ITER 3770 NEW BEST:: SOT 3393727 SOS 2787998 HAS SOPS 2222170 HAS SOUS 295101 HAS SOUPS 285151 WITH SCORE 287938.998
AT ITER 3790 NEW BEST:: SOT 3393727 SOS 2787998 HAS SOPS 2222170 HAS SOUS 295083 HAS SOUPS 285133 WITH SCORE 287920.998
AT ITER 3798 NEW BEST:: SOT 3393759 SOS 2784576 HAS SOPS 2261514 HAS SOUS 293922 HAS SOUPS 285111 WITH SCORE 287895.576
AT ITER 3799 NEW BEST:: SOT 3393763 SOS 2784580 HAS SOPS 2261518 HAS SOUS 293906 HAS SOUPS 285095 WITH SCORE 287879.58
AT ITER 3823 NEW BEST:: SOT 3393783 SOS 2784600 HAS SOPS 2261538 HAS SOUS 293836 HAS SOUPS 285025 WITH SCORE 287809.6
AT ITER 3827 NEW BEST:: SOT 3393783 SOS 2784600 HAS SOPS 2261538 HAS SOUS 293828 HAS SOUPS 285017 WITH SCORE 287801.6
AT ITER 3840 NEW BEST:: SOT 3392607 SOS 2784224 HAS SOPS 2260362 HAS SOUS 293648 HAS SOUPS 284857 WITH SCORE 287641.224
AT ITER 3857 NEW BEST:: SOT 3391527 SOS 2783144 HAS SOPS 2259282 HAS SOUS 292464 HAS SOUPS 283673 WITH SCORE 286456.144
AT ITER 3862 NEW BEST:: SOT 3394121 SOS 2785738 HAS SOPS 2261876 HAS SOUS 292328 HAS SOUPS 283537 WITH SCORE 286322.738
AT ITER 3863 NEW BEST:: SOT 3395445 SOS 2786874 HAS SOPS 2263200 HAS SOUS 292078 HAS SOUPS 283500 WITH SCORE 286286.874
AT ITER 3921 NEW BEST:: SOT 3394855 SOS 2787466 HAS SOPS 2271514 HAS SOUS 288141 HAS SOUPS 279865 WITH SCORE 282652.466
AT ITER 3922 NEW BEST:: SOT 3394963 SOS 2785844 HAS SOPS 2269904 HAS SOUS 284176 HAS SOUPS 276496 WITH SCORE 279281.844
AT ITER 3945 NEW BEST:: SOT 3395323 SOS 2786204 HAS SOPS 2270264 HAS SOUS 284133 HAS SOUPS 276453 WITH SCORE 279239.204
AT ITER 3964 NEW BEST:: SOT 3397213 SOS 2788094 HAS SOPS 2272154 HAS SOUS 283917 HAS SOUPS 276237 WITH SCORE 279025.094
AT ITER 3992 NEW BEST:: SOT 3397105 SOS 2787986 HAS SOPS 2272046 HAS SOUS 283821 HAS SOUPS 276141 WITH SCORE 278928.986
AT ITER 3996 NEW BEST:: SOT 3397177 SOS 2788058 HAS SOPS 2272118 HAS SOUS 283757 HAS SOUPS 276077 WITH SCORE 278865.058
AT ITER 4014 NEW BEST:: SOT 3396103 SOS 2786984 HAS SOPS 2271044 HAS SOUS 283325 HAS SOUPS 275645 WITH SCORE 278431.984
AT ITER 4036 NEW BEST:: SOT 3396443 SOS 2787324 HAS SOPS 2271384 HAS SOUS 283278 HAS SOUPS 275598 WITH SCORE 278385.324
AT ITER 4037 NEW BEST:: SOT 3397131 SOS 2787906 HAS SOPS 2271992 HAS SOUS 282706 HAS SOUPS 274970 WITH SCORE 277757.906
AT ITER 4042 NEW BEST:: SOT 3397169 SOS 2787944 HAS SOPS 2272030 HAS SOUS 282204 HAS SOUPS 274468 WITH SCORE 277255.944
AT ITER 4067 NEW BEST:: SOT 3398033 SOS 2789110 HAS SOPS 2272186 HAS SOUS 281426 HAS SOUPS 273837 WITH SCORE 276626.11
AT ITER 4086 NEW BEST:: SOT 3398033 SOS 2788136 HAS SOPS 2271962 HAS SOUS 281353 HAS SOUPS 273792 WITH SCORE 276580.136
AT ITER 4087 NEW BEST:: SOT 3399139 SOS 2789242 HAS SOPS 2273068 HAS SOUS 280694 HAS SOUPS 273133 WITH SCORE 275922.242
AT ITER 4090 NEW BEST:: SOT 3399147 SOS 2789250 HAS SOPS 2273076 HAS SOUS 280654 HAS SOUPS 273093 WITH SCORE 275882.25
AT ITER 4092 NEW BEST:: SOT 3399147 SOS 2787216 HAS SOPS 2271924 HAS SOUS 280645 HAS SOUPS 273087 WITH SCORE 275874.216
AT ITER 4095 NEW BEST:: SOT 3397911 SOS 2783716 HAS SOPS 2265328 HAS SOUS 278825 HAS SOUPS 271258 WITH SCORE 274041.716
AT ITER 4097 NEW BEST:: SOT 3397927 SOS 2783822 HAS SOPS 2264134 HAS SOUS 278817 HAS SOUPS 271235 WITH SCORE 274018.822
AT ITER 4111 NEW BEST:: SOT 3398263 SOS 2784158 HAS SOPS 2264470 HAS SOUS 278772 HAS SOUPS 271190 WITH SCORE 273974.158
AT ITER 4160 NEW BEST:: SOT 3398303 SOS 2788992 HAS SOPS 2263238 HAS SOUS 278714 HAS SOUPS 271116 WITH SCORE 273904.992
AT ITER 4161 NEW BEST:: SOT 3398141 SOS 2788830 HAS SOPS 2263076 HAS SOUS 277353 HAS SOUPS 269755 WITH SCORE 272543.83
AT ITER 4203 NEW BEST:: SOT 3396221 SOS 2786910 HAS SOPS 2261156 HAS SOUS 277289 HAS SOUPS 269691 WITH SCORE 272477.91
AT ITER 4222 NEW BEST:: SOT 3394931 SOS 2786275 HAS SOPS 2259469 HAS SOUS 276775 HAS SOUPS 269110 WITH SCORE 271896.275
AT ITER 4227 NEW BEST:: SOT 3394931 SOS 2786191 HAS SOPS 2259441 HAS SOUS 276747 HAS SOUPS 269110 WITH SCORE 271896.191
AT ITER 4228 NEW BEST:: SOT 3395355 SOS 2786615 HAS SOPS 2259865 HAS SOUS 275774 HAS SOUPS 268137 WITH SCORE 270923.615
AT ITER 4238 NEW BEST:: SOT 3395355 SOS 2784899 HAS SOPS 2256093 HAS SOUS 275768 HAS SOUPS 268124 WITH SCORE 270908.899
AT ITER 4252 NEW BEST:: SOT 3394165 SOS 2783709 HAS SOPS 2254903 HAS SOUS 275260 HAS SOUPS 267616 WITH SCORE 270399.709
AT ITER 4303 NEW BEST:: SOT 3394167 SOS 2783711 HAS SOPS 2254905 HAS SOUS 275241 HAS SOUPS 267597 WITH SCORE 270380.711
AT ITER 4356 NEW BEST:: SOT 3394167 SOS 2785146 HAS SOPS 2257655 HAS SOUS 274964 HAS SOUPS 267386 WITH SCORE 270171.146
AT ITER 4365 NEW BEST:: SOT 3395535 SOS 2786514 HAS SOPS 2259023 HAS SOUS 274503 HAS SOUPS 266925 WITH SCORE 269711.514
AT ITER 4384 NEW BEST:: SOT 3395507 SOS 2786486 HAS SOPS 2258995 HAS SOUS 274321 HAS SOUPS 266743 WITH SCORE 269529.486
AT ITER 4399 NEW BEST:: SOT 3395507 SOS 2785590 HAS SOPS 2257843 HAS SOUS 274353 HAS SOUPS 266711 WITH SCORE 269496.59
AT ITER 4404 NEW BEST:: SOT 3395507 SOS 2785380 HAS SOPS 2257975 HAS SOUS 274326 HAS SOUPS 266696 WITH SCORE 269481.38
AT ITER 4446 NEW BEST:: SOT 3395835 SOS 2785708 HAS SOPS 2258303 HAS SOUS 273962 HAS SOUPS 266332 WITH SCORE 269117.708
AT ITER 4448 NEW BEST:: SOT 3395769 SOS 2785642 HAS SOPS 2258237 HAS SOUS 273887 HAS SOUPS 266257 WITH SCORE 269042.642
AT ITER 4461 NEW BEST:: SOT 3395769 SOS 2785642 HAS SOPS 2258237 HAS SOUS 273793 HAS SOUPS 266163 WITH SCORE 268948.642
AT ITER 4493 NEW BEST:: SOT 3395769 SOS 2786728 HAS SOPS 2258751 HAS SOUS 273812 HAS SOUPS 266155 WITH SCORE 268941.728
AT ITER 4525 NEW BEST:: SOT 3395769 SOS 2786728 HAS SOPS 2258751 HAS SOUS 273657 HAS SOUPS 266000 WITH SCORE 268786.728
AT ITER 4526 NEW BEST:: SOT 3395769 SOS 2786440 HAS SOPS 2260479 HAS SOUS 273649 HAS SOUPS 265992 WITH SCORE 268778.44
AT ITER 4528 NEW BEST:: SOT 3395769 SOS 2787820 HAS SOPS 2261235 HAS SOUS 273643 HAS SOUPS 265983 WITH SCORE 268770.82
AT ITER 4538 NEW BEST:: SOT 3395763 SOS 2787814 HAS SOPS 2261229 HAS SOUS 273568 HAS SOUPS 265908 WITH SCORE 268695.814
AT ITER 4539 NEW BEST:: SOT 3395763 SOS 2789087 HAS SOPS 2261354 HAS SOUS 273513 HAS SOUPS 265784 WITH SCORE 268573.087
AT ITER 4553 NEW BEST:: SOT 3395759 SOS 2789083 HAS SOPS 2261350 HAS SOUS 273505 HAS SOUPS 265776 WITH SCORE 268565.083
AT ITER 4588 NEW BEST:: SOT 3395791 SOS 2789115 HAS SOPS 2261382 HAS SOUS 273473 HAS SOUPS 265744 WITH SCORE 268533.115
AT ITER 4593 NEW BEST:: SOT 3395207 SOS 2788531 HAS SOPS 2260798 HAS SOUS 273425 HAS SOUPS 265696 WITH SCORE 268484.531
AT ITER 4602 NEW BEST:: SOT 3395207 SOS 2788531 HAS SOPS 2260798 HAS SOUS 273415 HAS SOUPS 265686 WITH SCORE 268474.531
AT ITER 4607 NEW BEST:: SOT 3395207 SOS 2800045 HAS SOPS 2273624 HAS SOUS 273466 HAS SOUPS 265661 WITH SCORE 268461.045
AT ITER 4619 NEW BEST:: SOT 3395207 SOS 2800045 HAS SOPS 2273624 HAS SOUS 273454 HAS SOUPS 265649 WITH SCORE 268449.045
AT ITER 4623 NEW BEST:: SOT 3395207 SOS 2796181 HAS SOPS 2270920 HAS SOUS 273449 HAS SOUPS 265647 WITH SCORE 268443.181
AT ITER 4627 NEW BEST:: SOT 3395167 SOS 2796141 HAS SOPS 2270880 HAS SOUS 272940 HAS SOUPS 265138 WITH SCORE 267934.141
AT ITER 4628 NEW BEST:: SOT 3395167 SOS 2796237 HAS SOPS 2270608 HAS SOUS 272940 HAS SOUPS 265078 WITH SCORE 267874.237
AT ITER 4638 NEW BEST:: SOT 3395229 SOS 2796299 HAS SOPS 2270670 HAS SOUS 272330 HAS SOUPS 264468 WITH SCORE 267264.299
AT ITER 4650 NEW BEST:: SOT 3395649 SOS 2796799 HAS SOPS 2271410 HAS SOUS 272270 HAS SOUPS 264408 WITH SCORE 267204.799
AT ITER 4655 NEW BEST:: SOT 3395645 SOS 2796795 HAS SOPS 2271406 HAS SOUS 272262 HAS SOUPS 264400 WITH SCORE 267196.795
AT ITER 4659 NEW BEST:: SOT 3395633 SOS 2796783 HAS SOPS 2271394 HAS SOUS 272208 HAS SOUPS 264346 WITH SCORE 267142.783
AT ITER 4722 NEW BEST:: SOT 3394799 SOS 2795949 HAS SOPS 2270560 HAS SOUS 272080 HAS SOUPS 264218 WITH SCORE 267013.949
AT ITER 4728 NEW BEST:: SOT 3390495 SOS 2791645 HAS SOPS 2266256 HAS SOUS 271434 HAS SOUPS 263572 WITH SCORE 266363.645
AT ITER 4741 NEW BEST:: SOT 3390481 SOS 2791631 HAS SOPS 2266242 HAS SOUS 271427 HAS SOUPS 263565 WITH SCORE 266356.631
AT ITER 4758 NEW BEST:: SOT 3390461 SOS 2791059 HAS SOPS 2266220 HAS SOUS 271282 HAS SOUPS 263430 WITH SCORE 266221.059
AT ITER 4760 NEW BEST:: SOT 3390461 SOS 2786544 HAS SOPS 2251488 HAS SOUS 271382 HAS SOUPS 263352 WITH SCORE 266138.544
AT ITER 4797 NEW BEST:: SOT 3389397 SOS 2785480 HAS SOPS 2250424 HAS SOUS 270769 HAS SOUPS 262739 WITH SCORE 265524.48
AT ITER 4803 NEW BEST:: SOT 3388295 SOS 2784378 HAS SOPS 2249322 HAS SOUS 269073 HAS SOUPS 261043 WITH SCORE 263827.378
AT ITER 4858 NEW BEST:: SOT 3388975 SOS 2785058 HAS SOPS 2250002 HAS SOUS 268693 HAS SOUPS 260663 WITH SCORE 263448.058
AT ITER 4867 NEW BEST:: SOT 3390211 SOS 2786294 HAS SOPS 2251238 HAS SOUS 268297 HAS SOUPS 260267 WITH SCORE 263053.294
AT ITER 4880 NEW BEST:: SOT 3390211 SOS 2784676 HAS SOPS 2230100 HAS SOUS 268224 HAS SOUPS 260037 WITH SCORE 262821.676
AT ITER 4893 NEW BEST:: SOT 3390211 SOS 2784789 HAS SOPS 2228956 HAS SOUS 268142 HAS SOUPS 260016 WITH SCORE 262800.789
AT ITER 4919 NEW BEST:: SOT 3394137 SOS 2788715 HAS SOPS 2232882 HAS SOUS 267894 HAS SOUPS 259768 WITH SCORE 262556.715
AT ITER 4934 NEW BEST:: SOT 3394137 SOS 2788595 HAS SOPS 2233394 HAS SOUS 267892 HAS SOUPS 259767 WITH SCORE 262555.595
AT ITER 4945 NEW BEST:: SOT 3394261 SOS 2788719 HAS SOPS 2233518 HAS SOUS 267540 HAS SOUPS 259415 WITH SCORE 262203.719
AT ITER 4973 NEW BEST:: SOT 3392775 SOS 2787233 HAS SOPS 2232032 HAS SOUS 267497 HAS SOUPS 259372 WITH SCORE 262159.233
AT ITER 4975 NEW BEST:: SOT 3392689 SOS 2785793 HAS SOPS 2231468 HAS SOUS 266092 HAS SOUPS 258033 WITH SCORE 260818.793
AT ITER 4978 NEW BEST:: SOT 3392657 SOS 2785761 HAS SOPS 2231436 HAS SOUS 266062 HAS SOUPS 258003 WITH SCORE 260788.761
AT ITER 4986 NEW BEST:: SOT 3392631 SOS 2785735 HAS SOPS 2231410 HAS SOUS 265955 HAS SOUPS 257896 WITH SCORE 260681.735
AT ITER 4987 NEW BEST:: SOT 3392633 SOS 2785737 HAS SOPS 2231412 HAS SOUS 265954 HAS SOUPS 257895 WITH SCORE 260680.737
AT ITER 5004 NEW BEST:: SOT 3392645 SOS 2785749 HAS SOPS 2231424 HAS SOUS 265945 HAS SOUPS 257886 WITH SCORE 260671.749
AT ITER 5019 NEW BEST:: SOT 3392673 SOS 2785777 HAS SOPS 2231452 HAS SOUS 265746 HAS SOUPS 257687 WITH SCORE 260472.777
AT ITER 5024 NEW BEST:: SOT 3393103 SOS 2786207 HAS SOPS 2231882 HAS SOUS 265465 HAS SOUPS 257406 WITH SCORE 260192.207
AT ITER 5029 NEW BEST:: SOT 3393531 SOS 2786635 HAS SOPS 2232310 HAS SOUS 265283 HAS SOUPS 257224 WITH SCORE 260010.635
AT ITER 5040 NEW BEST:: SOT 3393243 SOS 2786347 HAS SOPS 2232022 HAS SOUS 265159 HAS SOUPS 257100 WITH SCORE 259886.347
AT ITER 5048 NEW BEST:: SOT 3393243 SOS 2787679 HAS SOPS 2233174 HAS SOUS 265141 HAS SOUPS 257082 WITH SCORE 259869.679
AT ITER 5053 NEW BEST:: SOT 3393225 SOS 2787661 HAS SOPS 2233156 HAS SOUS 265115 HAS SOUPS 257056 WITH SCORE 259843.661
AT ITER 5076 NEW BEST:: SOT 3393175 SOS 2787611 HAS SOPS 2233106 HAS SOUS 265090 HAS SOUPS 257031 WITH SCORE 259818.611
AT ITER 5107 NEW BEST:: SOT 3394035 SOS 2788471 HAS SOPS 2233966 HAS SOUS 264732 HAS SOUPS 256673 WITH SCORE 259461.471
AT ITER 5118 NEW BEST:: SOT 3394137 SOS 2788573 HAS SOPS 2234068 HAS SOUS 264720 HAS SOUPS 256661 WITH SCORE 259449.573
AT ITER 5125 NEW BEST:: SOT 3394123 SOS 2788559 HAS SOPS 2234054 HAS SOUS 264633 HAS SOUPS 256574 WITH SCORE 259362.559
AT ITER 5135 NEW BEST:: SOT 3393823 SOS 2788259 HAS SOPS 2233754 HAS SOUS 264633 HAS SOUPS 256574 WITH SCORE 259362.259
AT ITER 5143 NEW BEST:: SOT 3393815 SOS 2788251 HAS SOPS 2233746 HAS SOUS 264625 HAS SOUPS 256566 WITH SCORE 259354.251
AT ITER 5156 NEW BEST:: SOT 3396675 SOS 2791111 HAS SOPS 2236606 HAS SOUS 263051 HAS SOUPS 254992 WITH SCORE 257783.111
AT ITER 5157 NEW BEST:: SOT 3396675 SOS 2763559 HAS SOPS 2228046 HAS SOUS 262976 HAS SOUPS 254930 WITH SCORE 257693.559
AT ITER 5223 NEW BEST:: SOT 3396793 SOS 2763677 HAS SOPS 2228164 HAS SOUS 262826 HAS SOUPS 254780 WITH SCORE 257543.677
AT ITER 5285 NEW BEST:: SOT 3396757 SOS 2763641 HAS SOPS 2228128 HAS SOUS 262783 HAS SOUPS 254737 WITH SCORE 257500.641
AT ITER 5299 NEW BEST:: SOT 3396833 SOS 2763717 HAS SOPS 2228204 HAS SOUS 262641 HAS SOUPS 254595 WITH SCORE 257358.717
AT ITER 5301 NEW BEST:: SOT 3396929 SOS 2763813 HAS SOPS 2228300 HAS SOUS 262585 HAS SOUPS 254539 WITH SCORE 257302.813
AT ITER 5305 NEW BEST:: SOT 3399079 SOS 2768243 HAS SOPS 2230042 HAS SOUS 262474 HAS SOUPS 254492 WITH SCORE 257260.243
AT ITER 5324 NEW BEST:: SOT 3398583 SOS 2767383 HAS SOPS 2230738 HAS SOUS 261728 HAS SOUPS 253945 WITH SCORE 256712.383
AT ITER 5325 NEW BEST:: SOT 3400243 SOS 2769043 HAS SOPS 2232398 HAS SOUS 259967 HAS SOUPS 252184 WITH SCORE 254953.043
AT ITER 5330 NEW BEST:: SOT 3400243 SOS 2769079 HAS SOPS 2229986 HAS SOUS 259859 HAS SOUPS 252101 WITH SCORE 254870.079
AT ITER 5344 NEW BEST:: SOT 3400479 SOS 2769315 HAS SOPS 2230222 HAS SOUS 259549 HAS SOUPS 251791 WITH SCORE 254560.315
AT ITER 5351 NEW BEST:: SOT 3400375 SOS 2769211 HAS SOPS 2230118 HAS SOUS 259448 HAS SOUPS 251690 WITH SCORE 254459.211
AT ITER 5361 NEW BEST:: SOT 3400397 SOS 2769233 HAS SOPS 2230140 HAS SOUS 258871 HAS SOUPS 251113 WITH SCORE 253882.233
AT ITER 5397 NEW BEST:: SOT 3401443 SOS 2770279 HAS SOPS 2231186 HAS SOUS 258795 HAS SOUPS 251037 WITH SCORE 253807.279
AT ITER 5417 NEW BEST:: SOT 3401443 SOS 2773323 HAS SOPS 2234678 HAS SOUS 258698 HAS SOUPS 251021 WITH SCORE 253794.323
AT ITER 5425 NEW BEST:: SOT 3401919 SOS 2773799 HAS SOPS 2235154 HAS SOUS 258644 HAS SOUPS 250967 WITH SCORE 253740.799
AT ITER 5430 NEW BEST:: SOT 3404483 SOS 2776363 HAS SOPS 2237718 HAS SOUS 258205 HAS SOUPS 250528 WITH SCORE 253304.363
AT ITER 5433 NEW BEST:: SOT 3404163 SOS 2776043 HAS SOPS 2237398 HAS SOUS 257953 HAS SOUPS 250276 WITH SCORE 253052.043
AT ITER 5451 NEW BEST:: SOT 3404161 SOS 2776041 HAS SOPS 2237396 HAS SOUS 257910 HAS SOUPS 250233 WITH SCORE 253009.041
AT ITER 5462 NEW BEST:: SOT 3403833 SOS 2775713 HAS SOPS 2237068 HAS SOUS 257828 HAS SOUPS 250151 WITH SCORE 252926.713
AT ITER 5481 NEW BEST:: SOT 3403737 SOS 2775617 HAS SOPS 2236972 HAS SOUS 257812 HAS SOUPS 250135 WITH SCORE 252910.617
AT ITER 5491 NEW BEST:: SOT 3403737 SOS 2775617 HAS SOPS 2236972 HAS SOUS 257789 HAS SOUPS 250112 WITH SCORE 252887.617
AT ITER 5494 NEW BEST:: SOT 3409893 SOS 2781773 HAS SOPS 2243128 HAS SOUS 254997 HAS SOUPS 247320 WITH SCORE 250101.773
AT ITER 5495 NEW BEST:: SOT 3410193 SOS 2782073 HAS SOPS 2243428 HAS SOUS 254932 HAS SOUPS 247255 WITH SCORE 250037.073
AT ITER 5498 NEW BEST:: SOT 3409751 SOS 2781631 HAS SOPS 2242986 HAS SOUS 254795 HAS SOUPS 247118 WITH SCORE 249899.631
AT ITER 5499 NEW BEST:: SOT 3409751 SOS 2781599 HAS SOPS 2242986 HAS SOUS 254793 HAS SOUPS 247118 WITH SCORE 249899.599
AT ITER 5515 NEW BEST:: SOT 3409747 SOS 2781595 HAS SOPS 2242982 HAS SOUS 254752 HAS SOUPS 247077 WITH SCORE 249858.595
AT ITER 5542 NEW BEST:: SOT 3409423 SOS 2781271 HAS SOPS 2242658 HAS SOUS 254735 HAS SOUPS 247060 WITH SCORE 249841.271
AT ITER 5568 NEW BEST:: SOT 3409623 SOS 2781247 HAS SOPS 2245546 HAS SOUS 254701 HAS SOUPS 246998 WITH SCORE 249779.247
AT ITER 5583 NEW BEST:: SOT 3409623 SOS 2777788 HAS SOPS 2245159 HAS SOUS 254634 HAS SOUPS 246931 WITH SCORE 249708.788
AT ITER 5646 NEW BEST:: SOT 3410547 SOS 2778712 HAS SOPS 2246083 HAS SOUS 254248 HAS SOUPS 246545 WITH SCORE 249323.712
AT ITER 5651 NEW BEST:: SOT 3410563 SOS 2778728 HAS SOPS 2246099 HAS SOUS 254092 HAS SOUPS 246389 WITH SCORE 249167.728
AT ITER 5678 NEW BEST:: SOT 3412975 SOS 2781140 HAS SOPS 2248511 HAS SOUS 253290 HAS SOUPS 245587 WITH SCORE 248368.14
AT ITER 5679 NEW BEST:: SOT 3413239 SOS 2781404 HAS SOPS 2248775 HAS SOUS 252290 HAS SOUPS 244587 WITH SCORE 247368.404
AT ITER 5685 NEW BEST:: SOT 3413239 SOS 2781404 HAS SOPS 2248775 HAS SOUS 252282 HAS SOUPS 244579 WITH SCORE 247360.404
AT ITER 5686 NEW BEST:: SOT 3412185 SOS 2785188 HAS SOPS 2250703 HAS SOUS 251881 HAS SOUPS 244193 WITH SCORE 246978.188
AT ITER 5689 NEW BEST:: SOT 3412205 SOS 2785208 HAS SOPS 2250723 HAS SOUS 251877 HAS SOUPS 244189 WITH SCORE 246974.208
AT ITER 5692 NEW BEST:: SOT 3412032 SOS 2785035 HAS SOPS 2250550 HAS SOUS 251021 HAS SOUPS 243333 WITH SCORE 246118.035
AT ITER 5705 NEW BEST:: SOT 3412032 SOS 2784731 HAS SOPS 2251614 HAS SOUS 250940 HAS SOUPS 243328 WITH SCORE 246112.731
AT ITER 5719 NEW BEST:: SOT 3412848 SOS 2785547 HAS SOPS 2252430 HAS SOUS 250934 HAS SOUPS 243322 WITH SCORE 246107.547
AT ITER 5721 NEW BEST:: SOT 3415956 SOS 2788655 HAS SOPS 2255538 HAS SOUS 250194 HAS SOUPS 242582 WITH SCORE 245370.655
AT ITER 5743 NEW BEST:: SOT 3416056 SOS 2788497 HAS SOPS 2255364 HAS SOUS 249914 HAS SOUPS 242294 WITH SCORE 245082.497
AT ITER 5755 NEW BEST:: SOT 3422258 SOS 2794699 HAS SOPS 2261566 HAS SOUS 248892 HAS SOUPS 241272 WITH SCORE 244066.699
AT ITER 5763 NEW BEST:: SOT 3422712 SOS 2795131 HAS SOPS 2262244 HAS SOUS 248827 HAS SOUPS 241218 WITH SCORE 244013.131
AT ITER 5795 NEW BEST:: SOT 3422904 SOS 2796207 HAS SOPS 2253392 HAS SOUS 248870 HAS SOUPS 241187 WITH SCORE 243983.207
AT ITER 5797 NEW BEST:: SOT 3422856 SOS 2796159 HAS SOPS 2253344 HAS SOUS 248822 HAS SOUPS 241139 WITH SCORE 243935.159
AT ITER 5808 NEW BEST:: SOT 3422686 SOS 2795989 HAS SOPS 2253174 HAS SOUS 248449 HAS SOUPS 240766 WITH SCORE 243561.989
AT ITER 5812 NEW BEST:: SOT 3425390 SOS 2798693 HAS SOPS 2255878 HAS SOUS 247681 HAS SOUPS 239998 WITH SCORE 242796.693
AT ITER 5826 NEW BEST:: SOT 3425390 SOS 2797515 HAS SOPS 2255764 HAS SOUS 247700 HAS SOUPS 239998 WITH SCORE 242795.515
AT ITER 5832 NEW BEST:: SOT 3425206 SOS 2797331 HAS SOPS 2255580 HAS SOUS 247640 HAS SOUPS 239938 WITH SCORE 242735.331
AT ITER 5866 NEW BEST:: SOT 3424995 SOS 2797120 HAS SOPS 2255369 HAS SOUS 247445 HAS SOUPS 239743 WITH SCORE 242540.12
AT ITER 5894 NEW BEST:: SOT 3424995 SOS 2797060 HAS SOPS 2255399 HAS SOUS 247430 HAS SOUPS 239738 WITH SCORE 242535.06
AT ITER 5946 NEW BEST:: SOT 3425011 SOS 2796580 HAS SOPS 2253639 HAS SOUS 247378 HAS SOUPS 239726 WITH SCORE 242522.58
AT ITER 5955 NEW BEST:: SOT 3424910 SOS 2796104 HAS SOPS 2253163 HAS SOUS 247323 HAS SOUPS 239671 WITH SCORE 242467.104
AT ITER 5980 NEW BEST:: SOT 3424318 SOS 2795512 HAS SOPS 2252571 HAS SOUS 247115 HAS SOUPS 239463 WITH SCORE 242258.512
AT ITER 5995 NEW BEST:: SOT 3424302 SOS 2795496 HAS SOPS 2252555 HAS SOUS 247115 HAS SOUPS 239463 WITH SCORE 242258.496
AT ITER 6029 NEW BEST:: SOT 3424287 SOS 2795478 HAS SOPS 2252537 HAS SOUS 247100 HAS SOUPS 239448 WITH SCORE 242243.478
AT ITER 6034 NEW BEST:: SOT 3424475 SOS 2795666 HAS SOPS 2252725 HAS SOUS 246342 HAS SOUPS 238690 WITH SCORE 241485.666
AT ITER 6057 NEW BEST:: SOT 3424475 SOS 2795250 HAS SOPS 2252725 HAS SOUS 246190 HAS SOUPS 238571 WITH SCORE 241366.25
AT ITER 6097 NEW BEST:: SOT 3424475 SOS 2792086 HAS SOPS 2253481 HAS SOUS 246178 HAS SOUPS 238565 WITH SCORE 241357.086
AT ITER 6100 NEW BEST:: SOT 3424345 SOS 2791956 HAS SOPS 2253351 HAS SOUS 246161 HAS SOUPS 238548 WITH SCORE 241339.956
AT ITER 6147 NEW BEST:: SOT 3424521 SOS 2792132 HAS SOPS 2253527 HAS SOUS 246125 HAS SOUPS 238512 WITH SCORE 241304.132
AT ITER 6179 NEW BEST:: SOT 3424555 SOS 2792166 HAS SOPS 2253561 HAS SOUS 246017 HAS SOUPS 238404 WITH SCORE 241196.166
AT ITER 6196 NEW BEST:: SOT 3424379 SOS 2791990 HAS SOPS 2253385 HAS SOUS 245865 HAS SOUPS 238252 WITH SCORE 241043.99
AT ITER 6208 NEW BEST:: SOT 3424313 SOS 2791924 HAS SOPS 2253319 HAS SOUS 245843 HAS SOUPS 238230 WITH SCORE 241021.924
AT ITER 6212 NEW BEST:: SOT 3418283 SOS 2785894 HAS SOPS 2247289 HAS SOUS 244655 HAS SOUPS 237042 WITH SCORE 239827.894
AT ITER 6224 NEW BEST:: SOT 3418102 SOS 2785713 HAS SOPS 2247108 HAS SOUS 244627 HAS SOUPS 237014 WITH SCORE 239799.713
AT ITER 6245 NEW BEST:: SOT 3417928 SOS 2785539 HAS SOPS 2246934 HAS SOUS 243912 HAS SOUPS 236299 WITH SCORE 239084.539
AT ITER 6253 NEW BEST:: SOT 3416628 SOS 2784239 HAS SOPS 2245634 HAS SOUS 243894 HAS SOUPS 236281 WITH SCORE 239065.239
AT ITER 6273 NEW BEST:: SOT 3416650 SOS 2784195 HAS SOPS 2245766 HAS SOUS 243473 HAS SOUPS 235860 WITH SCORE 238644.195
AT ITER 6274 NEW BEST:: SOT 3416022 SOS 2783567 HAS SOPS 2245138 HAS SOUS 243374 HAS SOUPS 235761 WITH SCORE 238544.567
AT ITER 6276 NEW BEST:: SOT 3415635 SOS 2783180 HAS SOPS 2244751 HAS SOUS 243028 HAS SOUPS 235415 WITH SCORE 238198.18
AT ITER 6312 NEW BEST:: SOT 3415475 SOS 2783020 HAS SOPS 2244591 HAS SOUS 242816 HAS SOUPS 235203 WITH SCORE 237986.02
AT ITER 6314 NEW BEST:: SOT 3415485 SOS 2777472 HAS SOPS 2243321 HAS SOUS 242821 HAS SOUPS 235208 WITH SCORE 237985.472
AT ITER 6342 NEW BEST:: SOT 3415469 SOS 2779304 HAS SOPS 2247393 HAS SOUS 242757 HAS SOUPS 235172 WITH SCORE 237951.304
AT ITER 6355 NEW BEST:: SOT 3415213 SOS 2779048 HAS SOPS 2247137 HAS SOUS 242396 HAS SOUPS 234811 WITH SCORE 237590.048
AT ITER 6403 NEW BEST:: SOT 3415213 SOS 2778088 HAS SOPS 2247041 HAS SOUS 242384 HAS SOUPS 234799 WITH SCORE 237577.088
AT ITER 6406 NEW BEST:: SOT 3415209 SOS 2778084 HAS SOPS 2247037 HAS SOUS 242382 HAS SOUPS 234797 WITH SCORE 237575.084
AT ITER 6422 NEW BEST:: SOT 3415235 SOS 2778110 HAS SOPS 2247063 HAS SOUS 242346 HAS SOUPS 234761 WITH SCORE 237539.11
AT ITER 6446 NEW BEST:: SOT 3415235 SOS 2776798 HAS SOPS 2234823 HAS SOUS 242346 HAS SOUPS 234761 WITH SCORE 237537.798
AT ITER 6461 NEW BEST:: SOT 3416739 SOS 2778302 HAS SOPS 2236327 HAS SOUS 242252 HAS SOUPS 234667 WITH SCORE 237445.302
AT ITER 6479 NEW BEST:: SOT 3416739 SOS 2782158 HAS SOPS 2241703 HAS SOUS 241925 HAS SOUPS 234460 WITH SCORE 237242.158
AT ITER 6487 NEW BEST:: SOT 3417149 SOS 2782568 HAS SOPS 2242113 HAS SOUS 241285 HAS SOUPS 233820 WITH SCORE 236602.568
AT ITER 6494 NEW BEST:: SOT 3416797 SOS 2782216 HAS SOPS 2241761 HAS SOUS 241189 HAS SOUPS 233724 WITH SCORE 236506.216
AT ITER 6519 NEW BEST:: SOT 3416461 SOS 2781880 HAS SOPS 2241425 HAS SOUS 240997 HAS SOUPS 233532 WITH SCORE 236313.88
AT ITER 6522 NEW BEST:: SOT 3416459 SOS 2781878 HAS SOPS 2241423 HAS SOUS 240985 HAS SOUPS 233520 WITH SCORE 236301.878
AT ITER 6536 NEW BEST:: SOT 3416607 SOS 2782026 HAS SOPS 2241571 HAS SOUS 240598 HAS SOUPS 233133 WITH SCORE 235915.026
AT ITER 6538 NEW BEST:: SOT 3416403 SOS 2771002 HAS SOPS 2243247 HAS SOUS 240085 HAS SOUPS 232966 WITH SCORE 235737.002
AT ITER 6620 NEW BEST:: SOT 3416393 SOS 2772358 HAS SOPS 2244603 HAS SOUS 239810 HAS SOUPS 232691 WITH SCORE 235463.358
AT ITER 6623 NEW BEST:: SOT 3417641 SOS 2773606 HAS SOPS 2245851 HAS SOUS 239221 HAS SOUPS 232102 WITH SCORE 234875.606
AT ITER 6661 NEW BEST:: SOT 3417641 SOS 2767368 HAS SOPS 2241781 HAS SOUS 239178 HAS SOUPS 232081 WITH SCORE 234848.368
AT ITER 6666 NEW BEST:: SOT 3417436 SOS 2767186 HAS SOPS 2241599 HAS SOUS 239106 HAS SOUPS 232009 WITH SCORE 234776.186
AT ITER 6685 NEW BEST:: SOT 3417464 SOS 2767214 HAS SOPS 2241627 HAS SOUS 239074 HAS SOUPS 231977 WITH SCORE 234744.214
AT ITER 6711 NEW BEST:: SOT 3417856 SOS 2767606 HAS SOPS 2242019 HAS SOUS 239060 HAS SOUPS 231963 WITH SCORE 234730.606
AT ITER 6726 NEW BEST:: SOT 3417856 SOS 2767966 HAS SOPS 2241995 HAS SOUS 239056 HAS SOUPS 231959 WITH SCORE 234726.966
AT ITER 6744 NEW BEST:: SOT 3415894 SOS 2766004 HAS SOPS 2240033 HAS SOUS 238075 HAS SOUPS 230978 WITH SCORE 233744.004
AT ITER 6754 NEW BEST:: SOT 3415964 SOS 2766074 HAS SOPS 2240103 HAS SOUS 238050 HAS SOUPS 230953 WITH SCORE 233719.074
AT ITER 6792 NEW BEST:: SOT 3415964 SOS 2763706 HAS SOPS 2245538 HAS SOUS 238007 HAS SOUPS 230891 WITH SCORE 233654.706
AT ITER 6813 NEW BEST:: SOT 3417264 SOS 2767018 HAS SOPS 2251326 HAS SOUS 237726 HAS SOUPS 230775 WITH SCORE 233542.018
AT ITER 6857 NEW BEST:: SOT 3417368 SOS 2770454 HAS SOPS 2252586 HAS SOUS 237624 HAS SOUPS 230673 WITH SCORE 233443.454
AT ITER 6892 NEW BEST:: SOT 3417260 SOS 2770346 HAS SOPS 2252478 HAS SOUS 237286 HAS SOUPS 230335 WITH SCORE 233105.346
AT ITER 6894 NEW BEST:: SOT 3417260 SOS 2739706 HAS SOPS 2227566 HAS SOUS 237040 HAS SOUPS 230207 WITH SCORE 232946.706
AT ITER 6924 NEW BEST:: SOT 3417996 SOS 2740442 HAS SOPS 2228302 HAS SOUS 236942 HAS SOUPS 230109 WITH SCORE 232849.442
AT ITER 6944 NEW BEST:: SOT 3417904 SOS 2738614 HAS SOPS 2223178 HAS SOUS 236861 HAS SOUPS 230108 WITH SCORE 232846.614
AT ITER 6990 NEW BEST:: SOT 3417754 SOS 2738464 HAS SOPS 2223028 HAS SOUS 236782 HAS SOUPS 230029 WITH SCORE 232767.464
AT ITER 7010 NEW BEST:: SOT 3417682 SOS 2738392 HAS SOPS 2222956 HAS SOUS 236656 HAS SOUPS 229903 WITH SCORE 232641.392
AT ITER 7056 NEW BEST:: SOT 3417686 SOS 2738396 HAS SOPS 2222960 HAS SOUS 236582 HAS SOUPS 229829 WITH SCORE 232567.396
AT ITER 7091 NEW BEST:: SOT 3417686 SOS 2729694 HAS SOPS 2217010 HAS SOUS 236555 HAS SOUPS 229808 WITH SCORE 232537.694
AT ITER 7107 NEW BEST:: SOT 3418923 SOS 2730931 HAS SOPS 2218247 HAS SOUS 236259 HAS SOUPS 229512 WITH SCORE 232242.931
AT ITER 7120 NEW BEST:: SOT 3418883 SOS 2730891 HAS SOPS 2218207 HAS SOUS 236199 HAS SOUPS 229452 WITH SCORE 232182.891
AT ITER 7152 NEW BEST:: SOT 3418165 SOS 2730173 HAS SOPS 2217489 HAS SOUS 236012 HAS SOUPS 229265 WITH SCORE 231995.173
AT ITER 7170 NEW BEST:: SOT 3418189 SOS 2729333 HAS SOPS 2217583 HAS SOUS 236074 HAS SOUPS 229242 WITH SCORE 231971.333
AT ITER 7173 NEW BEST:: SOT 3418083 SOS 2729227 HAS SOPS 2217477 HAS SOUS 236016 HAS SOUPS 229184 WITH SCORE 231913.227
AT ITER 7182 NEW BEST:: SOT 3418083 SOS 2728967 HAS SOPS 2217451 HAS SOUS 236003 HAS SOUPS 229171 WITH SCORE 231899.967
AT ITER 7189 NEW BEST:: SOT 3418094 SOS 2728977 HAS SOPS 2217461 HAS SOUS 236002 HAS SOUPS 229170 WITH SCORE 231898.977
AT ITER 7203 NEW BEST:: SOT 3417170 SOS 2728053 HAS SOPS 2216537 HAS SOUS 235566 HAS SOUPS 228734 WITH SCORE 231462.053
AT ITER 7208 NEW BEST:: SOT 3417170 SOS 2729041 HAS SOPS 2216409 HAS SOUS 235609 HAS SOUPS 228725 WITH SCORE 231454.041
AT ITER 7250 NEW BEST:: SOT 3417170 SOS 2730025 HAS SOPS 2216405 HAS SOUS 235607 HAS SOUPS 228723 WITH SCORE 231453.025
AT ITER 7328 NEW BEST:: SOT 3417160 SOS 2730015 HAS SOPS 2216395 HAS SOUS 235576 HAS SOUPS 228692 WITH SCORE 231422.015
AT ITER 7382 NEW BEST:: SOT 3416736 SOS 2729591 HAS SOPS 2215971 HAS SOUS 235528 HAS SOUPS 228644 WITH SCORE 231373.591
AT ITER 7431 NEW BEST:: SOT 3416736 SOS 2723995 HAS SOPS 2216352 HAS SOUS 235283 HAS SOUPS 228490 WITH SCORE 231213.995
AT ITER 7432 NEW BEST:: SOT 3417084 SOS 2724343 HAS SOPS 2216700 HAS SOUS 235057 HAS SOUPS 228264 WITH SCORE 230988.343
AT ITER 7481 NEW BEST:: SOT 3417216 SOS 2724475 HAS SOPS 2216832 HAS SOUS 234923 HAS SOUPS 228130 WITH SCORE 230854.475
AT ITER 7582 NEW BEST:: SOT 3417216 SOS 2720411 HAS SOPS 2216864 HAS SOUS 234931 HAS SOUPS 228134 WITH SCORE 230854.411
AT ITER 7599 NEW BEST:: SOT 3415699 SOS 2749310 HAS SOPS 2337070 HAS SOUS 232642 HAS SOUPS 227748 WITH SCORE 230497.31
AT ITER 7608 NEW BEST:: SOT 3415341 SOS 2748952 HAS SOPS 2336712 HAS SOUS 232594 HAS SOUPS 227700 WITH SCORE 230448.952
AT ITER 7616 NEW BEST:: SOT 3415323 SOS 2748948 HAS SOPS 2336708 HAS SOUS 232590 HAS SOUPS 227696 WITH SCORE 230444.948
AT ITER 7621 NEW BEST:: SOT 3415320 SOS 2744875 HAS SOPS 2344471 HAS SOUS 232469 HAS SOUPS 227568 WITH SCORE 230312.875
AT ITER 7710 NEW BEST:: SOT 3415180 SOS 2744735 HAS SOPS 2344331 HAS SOUS 232399 HAS SOUPS 227498 WITH SCORE 230242.735
AT ITER 7722 NEW BEST:: SOT 3414948 SOS 2744503 HAS SOPS 2344099 HAS SOUS 231967 HAS SOUPS 227066 WITH SCORE 229810.503
AT ITER 7740 NEW BEST:: SOT 3414940 SOS 2742237 HAS SOPS 2341769 HAS SOUS 231950 HAS SOUPS 227030 WITH SCORE 229772.237
AT ITER 7753 NEW BEST:: SOT 3414992 SOS 2742289 HAS SOPS 2341821 HAS SOUS 231800 HAS SOUPS 226880 WITH SCORE 229622.289
AT ITER 7762 NEW BEST:: SOT 3415238 SOS 2742535 HAS SOPS 2342067 HAS SOUS 230928 HAS SOUPS 226008 WITH SCORE 228750.535
AT ITER 7794 NEW BEST:: SOT 3415966 SOS 2743263 HAS SOPS 2342795 HAS SOUS 230644 HAS SOUPS 225724 WITH SCORE 228467.263
AT ITER 7803 NEW BEST:: SOT 3415750 SOS 2743047 HAS SOPS 2342579 HAS SOUS 230222 HAS SOUPS 225302 WITH SCORE 228045.047
AT ITER 7825 NEW BEST:: SOT 3415716 SOS 2743013 HAS SOPS 2342545 HAS SOUS 230132 HAS SOUPS 225212 WITH SCORE 227955.013
AT ITER 7867 NEW BEST:: SOT 3415716 SOS 2743089 HAS SOPS 2342547 HAS SOUS 230128 HAS SOUPS 225205 WITH SCORE 227948.089
AT ITER 7875 NEW BEST:: SOT 3415576 SOS 2742949 HAS SOPS 2342407 HAS SOUS 230011 HAS SOUPS 225088 WITH SCORE 227830.949
AT ITER 7933 NEW BEST:: SOT 3415576 SOS 2753885 HAS SOPS 2343155 HAS SOUS 229914 HAS SOUPS 225062 WITH SCORE 227815.885
AT ITER 7942 NEW BEST:: SOT 3415452 SOS 2756199 HAS SOPS 2348973 HAS SOUS 229828 HAS SOUPS 224951 WITH SCORE 227707.199
AT ITER 8000 NEW BEST:: SOT 3415518 SOS 2756265 HAS SOPS 2349039 HAS SOUS 229682 HAS SOUPS 224805 WITH SCORE 227561.265
AT ITER 8024 NEW BEST:: SOT 3415518 SOS 2756185 HAS SOPS 2349021 HAS SOUS 229665 HAS SOUPS 224805 WITH SCORE 227561.185
AT ITER 8054 NEW BEST:: SOT 3415518 SOS 2756695 HAS SOPS 2348987 HAS SOUS 229665 HAS SOUPS 224771 WITH SCORE 227527.695
AT ITER 8066 NEW BEST:: SOT 3415510 SOS 2756687 HAS SOPS 2348979 HAS SOUS 229657 HAS SOUPS 224763 WITH SCORE 227519.687
AT ITER 8106 NEW BEST:: SOT 3415474 SOS 2756651 HAS SOPS 2348943 HAS SOUS 229623 HAS SOUPS 224729 WITH SCORE 227485.651
AT ITER 8147 NEW BEST:: SOT 3415438 SOS 2756615 HAS SOPS 2348907 HAS SOUS 229465 HAS SOUPS 224571 WITH SCORE 227327.615
AT ITER 8160 NEW BEST:: SOT 3414970 SOS 2756147 HAS SOPS 2348439 HAS SOUS 229171 HAS SOUPS 224277 WITH SCORE 227033.147
AT ITER 8165 NEW BEST:: SOT 3414870 SOS 2756047 HAS SOPS 2348339 HAS SOUS 229095 HAS SOUPS 224201 WITH SCORE 226957.047
AT ITER 8173 NEW BEST:: SOT 3414814 SOS 2755991 HAS SOPS 2348283 HAS SOUS 229002 HAS SOUPS 224108 WITH SCORE 226863.991
AT ITER 8191 NEW BEST:: SOT 3414814 SOS 2749651 HAS SOPS 2340325 HAS SOUS 229015 HAS SOUPS 224073 WITH SCORE 226822.651
AT ITER 8198 NEW BEST:: SOT 3414808 SOS 2749645 HAS SOPS 2340319 HAS SOUS 229008 HAS SOUPS 224066 WITH SCORE 226815.645
AT ITER 8234 NEW BEST:: SOT 3414200 SOS 2749037 HAS SOPS 2339711 HAS SOUS 228776 HAS SOUPS 223834 WITH SCORE 226583.037
AT ITER 8269 NEW BEST:: SOT 3414200 SOS 2746925 HAS SOPS 2340777 HAS SOUS 228307 HAS SOUPS 223465 WITH SCORE 226211.925
AT ITER 8287 NEW BEST:: SOT 3414098 SOS 2746823 HAS SOPS 2340675 HAS SOUS 228205 HAS SOUPS 223363 WITH SCORE 226109.823
AT ITER 8288 NEW BEST:: SOT 3414098 SOS 2750519 HAS SOPS 2340647 HAS SOUS 228198 HAS SOUPS 223349 WITH SCORE 226099.519
AT ITER 8290 NEW BEST:: SOT 3414314 SOS 2750735 HAS SOPS 2340863 HAS SOUS 228132 HAS SOUPS 223283 WITH SCORE 226033.735
AT ITER 8329 NEW BEST:: SOT 3414202 SOS 2750623 HAS SOPS 2340751 HAS SOUS 228036 HAS SOUPS 223187 WITH SCORE 225937.623
AT ITER 8366 NEW BEST:: SOT 3415352 SOS 2751773 HAS SOPS 2341901 HAS SOUS 227918 HAS SOUPS 223069 WITH SCORE 225820.773
AT ITER 8379 NEW BEST:: SOT 3415352 SOS 2751929 HAS SOPS 2341897 HAS SOUS 227916 HAS SOUPS 223067 WITH SCORE 225818.929
AT ITER 8401 NEW BEST:: SOT 3415352 SOS 2751929 HAS SOPS 2341897 HAS SOUS 227911 HAS SOUPS 223062 WITH SCORE 225813.929
AT ITER 8413 NEW BEST:: SOT 3415360 SOS 2765597 HAS SOPS 2341989 HAS SOUS 227894 HAS SOUPS 223003 WITH SCORE 225768.597
AT ITER 8423 NEW BEST:: SOT 3415360 SOS 2771629 HAS SOPS 2339509 HAS SOUS 227894 HAS SOUPS 222991 WITH SCORE 225762.629
AT ITER 8463 NEW BEST:: SOT 3415216 SOS 2771485 HAS SOPS 2339365 HAS SOUS 227878 HAS SOUPS 222975 WITH SCORE 225746.485
AT ITER 8500 NEW BEST:: SOT 3415212 SOS 2771481 HAS SOPS 2339361 HAS SOUS 227872 HAS SOUPS 222969 WITH SCORE 225740.481
AT ITER 8533 NEW BEST:: SOT 3415228 SOS 2769717 HAS SOPS 2341185 HAS SOUS 227670 HAS SOUPS 222671 WITH SCORE 225440.717
AT ITER 8534 NEW BEST:: SOT 3415228 SOS 2769557 HAS SOPS 2341021 HAS SOUS 227672 HAS SOUPS 222671 WITH SCORE 225440.557
AT ITER 8547 NEW BEST:: SOT 3415228 SOS 2768413 HAS SOPS 2339629 HAS SOUS 227749 HAS SOUPS 222644 WITH SCORE 225412.413
AT ITER 8565 NEW BEST:: SOT 3414564 SOS 2767749 HAS SOPS 2338965 HAS SOUS 227094 HAS SOUPS 221989 WITH SCORE 224756.749
AT ITER 8573 NEW BEST:: SOT 3414558 SOS 2767743 HAS SOPS 2338959 HAS SOUS 227094 HAS SOUPS 221989 WITH SCORE 224756.743
AT ITER 8644 NEW BEST:: SOT 3413578 SOS 2766763 HAS SOPS 2337979 HAS SOUS 226831 HAS SOUPS 221726 WITH SCORE 224492.763
AT ITER 8646 NEW BEST:: SOT 3416722 SOS 2769907 HAS SOPS 2341123 HAS SOUS 226579 HAS SOUPS 221474 WITH SCORE 224243.907
AT ITER 8668 NEW BEST:: SOT 3420130 SOS 2773315 HAS SOPS 2344531 HAS SOUS 225717 HAS SOUPS 220612 WITH SCORE 223385.315
AT ITER 8720 NEW BEST:: SOT 3420130 SOS 2779867 HAS SOPS 2343211 HAS SOUS 225753 HAS SOUPS 220594 WITH SCORE 223373.867
AT ITER 8721 NEW BEST:: SOT 3420130 SOS 2768507 HAS SOPS 2336899 HAS SOUS 225518 HAS SOUPS 220467 WITH SCORE 223235.507
AT ITER 8733 NEW BEST:: SOT 3419624 SOS 2768001 HAS SOPS 2336393 HAS SOUS 225420 HAS SOUPS 220369 WITH SCORE 223137.001
AT ITER 8735 NEW BEST:: SOT 3418016 SOS 2766263 HAS SOPS 2334655 HAS SOUS 224612 HAS SOUPS 219561 WITH SCORE 222327.263
AT ITER 8778 NEW BEST:: SOT 3417352 SOS 2768555 HAS SOPS 2337171 HAS SOUS 223972 HAS SOUPS 219022 WITH SCORE 221790.555
AT ITER 8779 NEW BEST:: SOT 3417392 SOS 2768595 HAS SOPS 2337211 HAS SOUS 223954 HAS SOUPS 219004 WITH SCORE 221772.595
AT ITER 8833 NEW BEST:: SOT 3416552 SOS 2767755 HAS SOPS 2336371 HAS SOUS 223401 HAS SOUPS 218451 WITH SCORE 221218.755
AT ITER 8879 NEW BEST:: SOT 3418322 SOS 2769525 HAS SOPS 2338141 HAS SOUS 222785 HAS SOUPS 217835 WITH SCORE 220604.525
AT ITER 8892 NEW BEST:: SOT 3418330 SOS 2769533 HAS SOPS 2338149 HAS SOUS 222770 HAS SOUPS 217820 WITH SCORE 220589.533
AT ITER 8991 NEW BEST:: SOT 3420256 SOS 2771459 HAS SOPS 2340075 HAS SOUS 221768 HAS SOUPS 216818 WITH SCORE 219589.459
AT ITER 9029 NEW BEST:: SOT 3420256 SOS 2771555 HAS SOPS 2339011 HAS SOUS 221745 HAS SOUPS 216764 WITH SCORE 219535.555
AT ITER 9033 NEW BEST:: SOT 3420256 SOS 2767523 HAS SOPS 2334915 HAS SOUS 221719 HAS SOUPS 216754 WITH SCORE 219521.523
AT ITER 9087 NEW BEST:: SOT 3420312 SOS 2767579 HAS SOPS 2334971 HAS SOUS 221635 HAS SOUPS 216670 WITH SCORE 219437.579
AT ITER 9122 NEW BEST:: SOT 3420056 SOS 2767323 HAS SOPS 2334715 HAS SOUS 221635 HAS SOUPS 216670 WITH SCORE 219437.323
AT ITER 9161 NEW BEST:: SOT 3420086 SOS 2767353 HAS SOPS 2334745 HAS SOUS 221623 HAS SOUPS 216658 WITH SCORE 219425.353
AT ITER 9193 NEW BEST:: SOT 3420086 SOS 2768891 HAS SOPS 2335547 HAS SOUS 221616 HAS SOUPS 216651 WITH SCORE 219419.891
AT ITER 9200 NEW BEST:: SOT 3420108 SOS 2766645 HAS SOPS 2343591 HAS SOUS 221654 HAS SOUPS 216624 WITH SCORE 219390.645
AT ITER 9236 NEW BEST:: SOT 3420604 SOS 2767141 HAS SOPS 2344087 HAS SOUS 221492 HAS SOUPS 216462 WITH SCORE 219229.141
AT ITER 9243 NEW BEST:: SOT 3421064 SOS 2767601 HAS SOPS 2344547 HAS SOUS 221400 HAS SOUPS 216370 WITH SCORE 219137.601
AT ITER 9283 NEW BEST:: SOT 3421110 SOS 2767799 HAS SOPS 2344481 HAS SOUS 221402 HAS SOUPS 216350 WITH SCORE 219117.799
AT ITER 9291 NEW BEST:: SOT 3421092 SOS 2767781 HAS SOPS 2344463 HAS SOUS 221366 HAS SOUPS 216314 WITH SCORE 219081.781
AT ITER 9316 NEW BEST:: SOT 3420608 SOS 2767297 HAS SOPS 2343979 HAS SOUS 221142 HAS SOUPS 216090 WITH SCORE 218857.297
AT ITER 9345 NEW BEST:: SOT 3420608 SOS 2764125 HAS SOPS 2340251 HAS SOUS 220941 HAS SOUPS 215908 WITH SCORE 218672.125
AT ITER 9353 NEW BEST:: SOT 3420826 SOS 2764343 HAS SOPS 2340469 HAS SOUS 220873 HAS SOUPS 215840 WITH SCORE 218604.343
AT ITER 9368 NEW BEST:: SOT 3420892 SOS 2760493 HAS SOPS 2335329 HAS SOUS 220839 HAS SOUPS 215842 WITH SCORE 218602.493
AT ITER 9371 NEW BEST:: SOT 3420904 SOS 2760505 HAS SOPS 2335341 HAS SOUS 220815 HAS SOUPS 215818 WITH SCORE 218578.505
AT ITER 9382 NEW BEST:: SOT 3419524 SOS 2759125 HAS SOPS 2333961 HAS SOUS 220746 HAS SOUPS 215749 WITH SCORE 218508.125
AT ITER 9449 NEW BEST:: SOT 3419524 SOS 2759333 HAS SOPS 2333597 HAS SOUS 220772 HAS SOUPS 215736 WITH SCORE 218495.333
AT ITER 9468 NEW BEST:: SOT 3419765 SOS 2759574 HAS SOPS 2333838 HAS SOUS 220614 HAS SOUPS 215578 WITH SCORE 218337.574
AT ITER 9474 NEW BEST:: SOT 3419753 SOS 2759564 HAS SOPS 2333828 HAS SOUS 220612 HAS SOUPS 215576 WITH SCORE 218335.564
AT ITER 9485 NEW BEST:: SOT 3419753 SOS 2757676 HAS SOPS 2333828 HAS SOUS 220628 HAS SOUPS 215576 WITH SCORE 218333.676
AT ITER 9502 NEW BEST:: SOT 3419809 SOS 2757732 HAS SOPS 2333884 HAS SOUS 220516 HAS SOUPS 215464 WITH SCORE 218221.732
AT ITER 9515 NEW BEST:: SOT 3420579 SOS 2758502 HAS SOPS 2334654 HAS SOUS 220341 HAS SOUPS 215289 WITH SCORE 218047.502
AT ITER 9534 NEW BEST:: SOT 3421015 SOS 2758938 HAS SOPS 2335090 HAS SOUS 220202 HAS SOUPS 215150 WITH SCORE 217908.938
AT ITER 9547 NEW BEST:: SOT 3420999 SOS 2758922 HAS SOPS 2335074 HAS SOUS 220198 HAS SOUPS 215146 WITH SCORE 217904.922
AT ITER 9597 NEW BEST:: SOT 3420653 SOS 2757094 HAS SOPS 2335294 HAS SOUS 220009 HAS SOUPS 214957 WITH SCORE 217714.094
AT ITER 9625 NEW BEST:: SOT 3420653 SOS 2757094 HAS SOPS 2335294 HAS SOUS 219994 HAS SOUPS 214942 WITH SCORE 217699.094
AT ITER 9637 NEW BEST:: SOT 3420661 SOS 2757102 HAS SOPS 2335302 HAS SOUS 219984 HAS SOUPS 214932 WITH SCORE 217689.102
AT ITER 9733 NEW BEST:: SOT 3426677 SOS 2763118 HAS SOPS 2341318 HAS SOUS 219813 HAS SOUPS 214761 WITH SCORE 217524.118
AT ITER 9766 NEW BEST:: SOT 3424343 SOS 2760558 HAS SOPS 2338754 HAS SOUS 219775 HAS SOUPS 214622 WITH SCORE 217382.558
AT ITER 9776 NEW BEST:: SOT 3423865 SOS 2754374 HAS SOPS 2336090 HAS SOUS 219763 HAS SOUPS 214610 WITH SCORE 217364.374
AT ITER 9789 NEW BEST:: SOT 3423864 SOS 2754373 HAS SOPS 2336089 HAS SOUS 219716 HAS SOUPS 214563 WITH SCORE 217317.373
AT ITER 9793 NEW BEST:: SOT 3423856 SOS 2754365 HAS SOPS 2336081 HAS SOUS 219712 HAS SOUPS 214559 WITH SCORE 217313.365
AT ITER 9838 NEW BEST:: SOT 3423066 SOS 2753575 HAS SOPS 2335291 HAS SOUS 219631 HAS SOUPS 214478 WITH SCORE 217231.575
AT ITER 9845 NEW BEST:: SOT 3426090 SOS 2756599 HAS SOPS 2338315 HAS SOUS 219606 HAS SOUPS 214453 WITH SCORE 217209.599
AT ITER 9915 NEW BEST:: SOT 3425794 SOS 2756303 HAS SOPS 2338019 HAS SOUS 219066 HAS SOUPS 213913 WITH SCORE 216669.303
AT ITER 9924 NEW BEST:: SOT 3425770 SOS 2754567 HAS SOPS 2338427 HAS SOUS 218788 HAS SOUPS 213653 WITH SCORE 216407.567
AT ITER 9925 NEW BEST:: SOT 3425728 SOS 2754525 HAS SOPS 2338385 HAS SOUS 218788 HAS SOUPS 213653 WITH SCORE 216407.525
AT ITER 9927 NEW BEST:: SOT 3425726 SOS 2754523 HAS SOPS 2338383 HAS SOUS 218777 HAS SOUPS 213642 WITH SCORE 216396.523
AT ITER 9933 NEW BEST:: SOT 3425271 SOS 2754068 HAS SOPS 2337928 HAS SOUS 218513 HAS SOUPS 213378 WITH SCORE 216132.068
AT ITER 9939 NEW BEST:: SOT 3425141 SOS 2753902 HAS SOPS 2336770 HAS SOUS 218468 HAS SOUPS 213327 WITH SCORE 216080.902
AT ITER 9954 NEW BEST:: SOT 3425141 SOS 2756214 HAS SOPS 2336674 HAS SOUS 218463 HAS SOUPS 213308 WITH SCORE 216064.214
AT ITER 9961 NEW BEST:: SOT 3425141 SOS 2757318 HAS SOPS 2336338 HAS SOUS 218457 HAS SOUPS 213302 WITH SCORE 216059.318
AT ITER 9997 NEW BEST:: SOT 3425333 SOS 2757510 HAS SOPS 2336530 HAS SOUS 218354 HAS SOUPS 213199 WITH SCORE 215956.51
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12345376 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16124316 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SemanticWebServices-PT-S256P06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is SemanticWebServices-PT-S256P06, 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 r355-smll-167891803500424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P06.tgz
mv SemanticWebServices-PT-S256P06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;