Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900544.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 4.1K May 14 05:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 05:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 2.2M May 12 20:42 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 1590473948533

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A04
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2047 places, 3069 transitions, 7161 arcs.
AT ITER 0 NEW BEST:: SOT 4268333 SOS 2703647 HAS SOPS 2703647 HAS SOUS 817244 HAS SOUPS 817244 WITH SCORE 819947.647
AT ITER 6 NEW BEST:: SOT 4267643 SOS 2701920 HAS SOPS 2701920 HAS SOUS 817242 HAS SOUPS 817242 WITH SCORE 819943.92
AT ITER 11 NEW BEST:: SOT 4267045 SOS 2700425 HAS SOPS 2700425 HAS SOUS 817242 HAS SOUPS 817242 WITH SCORE 819942.425
AT ITER 19 NEW BEST:: SOT 4266369 SOS 2698735 HAS SOPS 2698735 HAS SOUS 817242 HAS SOUPS 817242 WITH SCORE 819940.735
AT ITER 31 NEW BEST:: SOT 4265691 SOS 2697039 HAS SOPS 2697039 HAS SOUS 817241 HAS SOUPS 817241 WITH SCORE 819938.039
AT ITER 47 NEW BEST:: SOT 4263841 SOS 2692411 HAS SOPS 2692411 HAS SOUS 817236 HAS SOUPS 817236 WITH SCORE 819928.411
AT ITER 49 NEW BEST:: SOT 4263437 SOS 2691399 HAS SOPS 2691399 HAS SOUS 817234 HAS SOUPS 817234 WITH SCORE 819925.399
AT ITER 58 NEW BEST:: SOT 4262941 SOS 2690157 HAS SOPS 2690157 HAS SOUS 817232 HAS SOUPS 817232 WITH SCORE 819922.157
AT ITER 60 NEW BEST:: SOT 4261883 SOS 2687509 HAS SOPS 2687509 HAS SOUS 817227 HAS SOUPS 817227 WITH SCORE 819914.509
AT ITER 62 NEW BEST:: SOT 4261379 SOS 2686247 HAS SOPS 2686247 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 819911.247
AT ITER 65 NEW BEST:: SOT 4260657 SOS 2684442 HAS SOPS 2684442 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 819909.442
AT ITER 66 NEW BEST:: SOT 4259745 SOS 2682161 HAS SOPS 2682161 HAS SOUS 817224 HAS SOUPS 817224 WITH SCORE 819906.161
AT ITER 69 NEW BEST:: SOT 4258753 SOS 2679435 HAS SOPS 2679435 HAS SOUS 817103 HAS SOUPS 817103 WITH SCORE 819782.435
AT ITER 71 NEW BEST:: SOT 4257671 SOS 2676729 HAS SOPS 2676729 HAS SOUS 817102 HAS SOUPS 817102 WITH SCORE 819778.729
AT ITER 72 NEW BEST:: SOT 4256637 SOS 2674144 HAS SOPS 2674144 HAS SOUS 817102 HAS SOUPS 817102 WITH SCORE 819776.144
AT ITER 90 NEW BEST:: SOT 4253660 SOS 2668185 HAS SOPS 2668185 HAS SOUS 816879 HAS SOUPS 816879 WITH SCORE 819547.185
AT ITER 94 NEW BEST:: SOT 4253110 SOS 2666809 HAS SOPS 2666809 HAS SOUS 816878 HAS SOUPS 816878 WITH SCORE 819544.809
AT ITER 96 NEW BEST:: SOT 4252264 SOS 2664692 HAS SOPS 2664692 HAS SOUS 816876 HAS SOUPS 816876 WITH SCORE 819540.692
AT ITER 98 NEW BEST:: SOT 4251742 SOS 2663387 HAS SOPS 2663387 HAS SOUS 816876 HAS SOUPS 816876 WITH SCORE 819539.387
AT ITER 101 NEW BEST:: SOT 4251088 SOS 2661425 HAS SOPS 2661425 HAS SOUS 816547 HAS SOUPS 816547 WITH SCORE 819208.425
AT ITER 109 NEW BEST:: SOT 4251088 SOS 2661425 HAS SOPS 2661425 HAS SOUS 816545 HAS SOUPS 816545 WITH SCORE 819206.425
AT ITER 112 NEW BEST:: SOT 4250096 SOS 2658944 HAS SOPS 2658944 HAS SOUS 816544 HAS SOUPS 816544 WITH SCORE 819202.944
AT ITER 127 NEW BEST:: SOT 4248464 SOS 2654861 HAS SOPS 2654861 HAS SOUS 816539 HAS SOUPS 816539 WITH SCORE 819193.861
AT ITER 129 NEW BEST:: SOT 4247252 SOS 2651828 HAS SOPS 2651828 HAS SOUS 816534 HAS SOUPS 816534 WITH SCORE 819185.828
AT ITER 130 NEW BEST:: SOT 4247207 SOS 2651735 HAS SOPS 2651735 HAS SOUS 816514 HAS SOUPS 816514 WITH SCORE 819165.735
AT ITER 134 NEW BEST:: SOT 4245099 SOS 2646464 HAS SOPS 2646464 HAS SOUS 816513 HAS SOUPS 816513 WITH SCORE 819159.464
AT ITER 138 NEW BEST:: SOT 4244322 SOS 2644830 HAS SOPS 2644830 HAS SOUS 816313 HAS SOUPS 816313 WITH SCORE 818957.83
AT ITER 141 NEW BEST:: SOT 4243032 SOS 2641604 HAS SOPS 2641604 HAS SOUS 816312 HAS SOUPS 816312 WITH SCORE 818953.604
AT ITER 152 NEW BEST:: SOT 4242426 SOS 2640086 HAS SOPS 2640086 HAS SOUS 816307 HAS SOUPS 816307 WITH SCORE 818947.086
AT ITER 153 NEW BEST:: SOT 4242054 SOS 2639155 HAS SOPS 2639155 HAS SOUS 816306 HAS SOUPS 816306 WITH SCORE 818945.155
AT ITER 157 NEW BEST:: SOT 4241698 SOS 2638263 HAS SOPS 2638263 HAS SOUS 816304 HAS SOUPS 816304 WITH SCORE 818942.263
AT ITER 160 NEW BEST:: SOT 4241254 SOS 2637373 HAS SOPS 2637373 HAS SOUS 816154 HAS SOUPS 816154 WITH SCORE 818791.373
AT ITER 163 NEW BEST:: SOT 4239372 SOS 2631744 HAS SOPS 2631744 HAS SOUS 815228 HAS SOUPS 815228 WITH SCORE 817859.744
AT ITER 169 NEW BEST:: SOT 4238556 SOS 2629703 HAS SOPS 2629703 HAS SOUS 815227 HAS SOUPS 815227 WITH SCORE 817856.703
AT ITER 178 NEW BEST:: SOT 4238048 SOS 2628431 HAS SOPS 2628431 HAS SOUS 815225 HAS SOUPS 815225 WITH SCORE 817853.431
AT ITER 185 NEW BEST:: SOT 4238190 SOS 2628215 HAS SOPS 2628215 HAS SOUS 815035 HAS SOUPS 815035 WITH SCORE 817663.215
AT ITER 195 NEW BEST:: SOT 4237388 SOS 2626209 HAS SOPS 2626209 HAS SOUS 815034 HAS SOUPS 815034 WITH SCORE 817660.209
AT ITER 200 NEW BEST:: SOT 4236704 SOS 2624498 HAS SOPS 2624498 HAS SOUS 815033 HAS SOUPS 815033 WITH SCORE 817657.498
AT ITER 201 NEW BEST:: SOT 4236500 SOS 2623987 HAS SOPS 2623987 HAS SOUS 815032 HAS SOUPS 815032 WITH SCORE 817655.987
AT ITER 204 NEW BEST:: SOT 4236060 SOS 2622887 HAS SOPS 2622887 HAS SOUS 815032 HAS SOUPS 815032 WITH SCORE 817654.887
AT ITER 206 NEW BEST:: SOT 4234722 SOS 2618971 HAS SOPS 2618971 HAS SOUS 814617 HAS SOUPS 814617 WITH SCORE 817235.971
AT ITER 207 NEW BEST:: SOT 4233176 SOS 2615106 HAS SOPS 2615106 HAS SOUS 814617 HAS SOUPS 814617 WITH SCORE 817232.106
AT ITER 220 NEW BEST:: SOT 4232314 SOS 2612950 HAS SOPS 2612950 HAS SOUS 814616 HAS SOUPS 814616 WITH SCORE 817228.95
AT ITER 226 NEW BEST:: SOT 4231226 SOS 2610230 HAS SOPS 2610230 HAS SOUS 814616 HAS SOUPS 814616 WITH SCORE 817226.23
AT ITER 230 NEW BEST:: SOT 4230466 SOS 2608329 HAS SOPS 2608329 HAS SOUS 814615 HAS SOUPS 814615 WITH SCORE 817223.329
AT ITER 247 NEW BEST:: SOT 4229400 SOS 2605663 HAS SOPS 2605663 HAS SOUS 814614 HAS SOUPS 814614 WITH SCORE 817219.663
AT ITER 256 NEW BEST:: SOT 4228881 SOS 2604012 HAS SOPS 2604012 HAS SOUS 814570 HAS SOUPS 814570 WITH SCORE 817174.012
AT ITER 261 NEW BEST:: SOT 4227711 SOS 2600589 HAS SOPS 2600589 HAS SOUS 814072 HAS SOUPS 814072 WITH SCORE 816672.589
AT ITER 265 NEW BEST:: SOT 4227055 SOS 2598949 HAS SOPS 2598949 HAS SOUS 814072 HAS SOUPS 814072 WITH SCORE 816670.949
AT ITER 266 NEW BEST:: SOT 4226479 SOS 2597508 HAS SOPS 2597508 HAS SOUS 814071 HAS SOUPS 814071 WITH SCORE 816668.508
AT ITER 278 NEW BEST:: SOT 4226281 SOS 2597013 HAS SOPS 2597013 HAS SOUS 814071 HAS SOUPS 814071 WITH SCORE 816668.013
AT ITER 279 NEW BEST:: SOT 4225469 SOS 2594602 HAS SOPS 2594602 HAS SOUS 813690 HAS SOUPS 813690 WITH SCORE 816284.602
AT ITER 282 NEW BEST:: SOT 4223595 SOS 2588980 HAS SOPS 2588980 HAS SOUS 812751 HAS SOUPS 812751 WITH SCORE 815339.98
AT ITER 292 NEW BEST:: SOT 4223419 SOS 2588452 HAS SOPS 2588452 HAS SOUS 812663 HAS SOUPS 812663 WITH SCORE 815251.452
AT ITER 293 NEW BEST:: SOT 4222541 SOS 2586254 HAS SOPS 2586254 HAS SOUS 812658 HAS SOUPS 812658 WITH SCORE 815244.254
AT ITER 298 NEW BEST:: SOT 4219449 SOS 2580066 HAS SOPS 2580066 HAS SOUS 812235 HAS SOUPS 812235 WITH SCORE 814815.066
AT ITER 300 NEW BEST:: SOT 4216410 SOS 2573809 HAS SOPS 2573809 HAS SOUS 811679 HAS SOUPS 811679 WITH SCORE 814252.809
AT ITER 304 NEW BEST:: SOT 4214604 SOS 2569294 HAS SOPS 2569294 HAS SOUS 811679 HAS SOUPS 811679 WITH SCORE 814248.294
AT ITER 309 NEW BEST:: SOT 4213588 SOS 2566753 HAS SOPS 2566753 HAS SOUS 811678 HAS SOUPS 811678 WITH SCORE 814244.753
AT ITER 323 NEW BEST:: SOT 4212552 SOS 2564160 HAS SOPS 2564160 HAS SOUS 811673 HAS SOUPS 811673 WITH SCORE 814237.16
AT ITER 335 NEW BEST:: SOT 4212040 SOS 2562879 HAS SOPS 2562879 HAS SOUS 811672 HAS SOUPS 811672 WITH SCORE 814234.879
AT ITER 340 NEW BEST:: SOT 4212040 SOS 2562617 HAS SOPS 2562617 HAS SOUS 811556 HAS SOUPS 811556 WITH SCORE 814118.617
AT ITER 342 NEW BEST:: SOT 4210956 SOS 2559904 HAS SOPS 2559904 HAS SOUS 811551 HAS SOUPS 811551 WITH SCORE 814110.904
AT ITER 347 NEW BEST:: SOT 4208241 SOS 2554471 HAS SOPS 2554471 HAS SOUS 811217 HAS SOUPS 811217 WITH SCORE 813771.471
AT ITER 348 NEW BEST:: SOT 4207371 SOS 2551965 HAS SOPS 2551965 HAS SOUS 810884 HAS SOUPS 810884 WITH SCORE 813435.965
AT ITER 350 NEW BEST:: SOT 4206219 SOS 2549084 HAS SOPS 2549084 HAS SOUS 810883 HAS SOUPS 810883 WITH SCORE 813432.084
AT ITER 362 NEW BEST:: SOT 4205281 SOS 2546520 HAS SOPS 2546520 HAS SOUS 810755 HAS SOUPS 810755 WITH SCORE 813301.52
AT ITER 369 NEW BEST:: SOT 4204705 SOS 2545366 HAS SOPS 2545366 HAS SOUS 810561 HAS SOUPS 810561 WITH SCORE 813106.366
AT ITER 370 NEW BEST:: SOT 4202689 SOS 2540324 HAS SOPS 2540324 HAS SOUS 810559 HAS SOUPS 810559 WITH SCORE 813099.324
AT ITER 371 NEW BEST:: SOT 4201855 SOS 2538239 HAS SOPS 2538239 HAS SOUS 810559 HAS SOUPS 810559 WITH SCORE 813097.239
AT ITER 410 NEW BEST:: SOT 4200467 SOS 2534768 HAS SOPS 2534768 HAS SOUS 810558 HAS SOUPS 810558 WITH SCORE 813092.768
AT ITER 418 NEW BEST:: SOT 4198511 SOS 2529878 HAS SOPS 2529878 HAS SOUS 810558 HAS SOUPS 810558 WITH SCORE 813087.878
AT ITER 443 NEW BEST:: SOT 4198353 SOS 2529483 HAS SOPS 2529483 HAS SOUS 810558 HAS SOUPS 810558 WITH SCORE 813087.483
AT ITER 446 NEW BEST:: SOT 4197837 SOS 2528450 HAS SOPS 2528450 HAS SOUS 810385 HAS SOUPS 810385 WITH SCORE 812913.45
AT ITER 450 NEW BEST:: SOT 4195733 SOS 2522183 HAS SOPS 2522183 HAS SOUS 809378 HAS SOUPS 809378 WITH SCORE 811900.183
AT ITER 452 NEW BEST:: SOT 4193783 SOS 2517307 HAS SOPS 2517307 HAS SOUS 809377 HAS SOUPS 809377 WITH SCORE 811894.307
AT ITER 461 NEW BEST:: SOT 4191029 SOS 2510718 HAS SOPS 2510718 HAS SOUS 808038 HAS SOUPS 808038 WITH SCORE 810548.718
AT ITER 467 NEW BEST:: SOT 4189817 SOS 2507687 HAS SOPS 2507687 HAS SOUS 808037 HAS SOUPS 808037 WITH SCORE 810544.687
AT ITER 481 NEW BEST:: SOT 4189133 SOS 2505640 HAS SOPS 2505640 HAS SOUS 807698 HAS SOUPS 807698 WITH SCORE 810203.64
AT ITER 493 NEW BEST:: SOT 4187253 SOS 2500937 HAS SOPS 2500937 HAS SOUS 807693 HAS SOUPS 807693 WITH SCORE 810193.937
AT ITER 514 NEW BEST:: SOT 4186759 SOS 2499455 HAS SOPS 2499455 HAS SOUS 807446 HAS SOUPS 807446 WITH SCORE 809945.455
AT ITER 522 NEW BEST:: SOT 4185441 SOS 2496157 HAS SOPS 2496157 HAS SOUS 807441 HAS SOUPS 807441 WITH SCORE 809937.157
AT ITER 538 NEW BEST:: SOT 4182281 SOS 2489833 HAS SOPS 2489833 HAS SOUS 806692 HAS SOUPS 806692 WITH SCORE 809181.833
AT ITER 545 NEW BEST:: SOT 4181389 SOS 2487602 HAS SOPS 2487602 HAS SOUS 806691 HAS SOUPS 806691 WITH SCORE 809178.602
AT ITER 547 NEW BEST:: SOT 4181389 SOS 2487600 HAS SOPS 2487600 HAS SOUS 806689 HAS SOUPS 806689 WITH SCORE 809176.6
AT ITER 562 NEW BEST:: SOT 4180975 SOS 2486358 HAS SOPS 2486358 HAS SOUS 806482 HAS SOUPS 806482 WITH SCORE 808968.358
AT ITER 564 NEW BEST:: SOT 4180915 SOS 2486237 HAS SOPS 2486237 HAS SOUS 806461 HAS SOUPS 806461 WITH SCORE 808947.237
AT ITER 567 NEW BEST:: SOT 4178584 SOS 2481501 HAS SOPS 2481501 HAS SOUS 806309 HAS SOUPS 806309 WITH SCORE 808790.501
AT ITER 584 NEW BEST:: SOT 4177597 SOS 2478478 HAS SOPS 2478478 HAS SOUS 805919 HAS SOUPS 805919 WITH SCORE 808397.478
AT ITER 589 NEW BEST:: SOT 4176415 SOS 2475522 HAS SOPS 2475522 HAS SOUS 805918 HAS SOUPS 805918 WITH SCORE 808393.522
AT ITER 601 NEW BEST:: SOT 4174667 SOS 2471151 HAS SOPS 2471151 HAS SOUS 805917 HAS SOUPS 805917 WITH SCORE 808388.151
AT ITER 605 NEW BEST:: SOT 4173795 SOS 2468482 HAS SOPS 2468482 HAS SOUS 805794 HAS SOUPS 805794 WITH SCORE 808262.482
AT ITER 617 NEW BEST:: SOT 4173003 SOS 2466500 HAS SOPS 2466500 HAS SOUS 805792 HAS SOUPS 805792 WITH SCORE 808258.5
AT ITER 618 NEW BEST:: SOT 4173059 SOS 2466668 HAS SOPS 2466668 HAS SOUS 805736 HAS SOUPS 805736 WITH SCORE 808202.668
AT ITER 623 NEW BEST:: SOT 4172773 SOS 2465950 HAS SOPS 2465950 HAS SOUS 805731 HAS SOUPS 805731 WITH SCORE 808196.95
AT ITER 625 NEW BEST:: SOT 4172197 SOS 2464509 HAS SOPS 2464509 HAS SOUS 805730 HAS SOUPS 805730 WITH SCORE 808194.509
AT ITER 630 NEW BEST:: SOT 4169037 SOS 2458184 HAS SOPS 2458184 HAS SOUS 805102 HAS SOUPS 805102 WITH SCORE 807560.184
AT ITER 643 NEW BEST:: SOT 4169037 SOS 2458183 HAS SOPS 2458183 HAS SOUS 805095 HAS SOUPS 805095 WITH SCORE 807553.183
AT ITER 644 NEW BEST:: SOT 4167571 SOS 2454515 HAS SOPS 2454515 HAS SOUS 805090 HAS SOUPS 805090 WITH SCORE 807544.515
AT ITER 652 NEW BEST:: SOT 4166305 SOS 2450743 HAS SOPS 2450743 HAS SOUS 804483 HAS SOUPS 804483 WITH SCORE 806933.743
AT ITER 657 NEW BEST:: SOT 4166305 SOS 2450741 HAS SOPS 2450741 HAS SOUS 804481 HAS SOUPS 804481 WITH SCORE 806931.741
AT ITER 662 NEW BEST:: SOT 4164633 SOS 2445725 HAS SOPS 2445725 HAS SOUS 803643 HAS SOUPS 803643 WITH SCORE 806088.725
AT ITER 663 NEW BEST:: SOT 4164447 SOS 2445257 HAS SOPS 2445257 HAS SOUS 803638 HAS SOUPS 803638 WITH SCORE 806083.257
AT ITER 670 NEW BEST:: SOT 4163933 SOS 2443972 HAS SOPS 2443972 HAS SOUS 803638 HAS SOUPS 803638 WITH SCORE 806081.972
AT ITER 675 NEW BEST:: SOT 4162761 SOS 2440456 HAS SOPS 2440456 HAS SOUS 803052 HAS SOUPS 803052 WITH SCORE 805492.456
AT ITER 677 NEW BEST:: SOT 4162419 SOS 2439600 HAS SOPS 2439600 HAS SOUS 803051 HAS SOUPS 803051 WITH SCORE 805490.6
AT ITER 698 NEW BEST:: SOT 4162149 SOS 2439057 HAS SOPS 2439057 HAS SOUS 802956 HAS SOUPS 802956 WITH SCORE 805395.057
AT ITER 705 NEW BEST:: SOT 4161357 SOS 2436895 HAS SOPS 2436895 HAS SOUS 802774 HAS SOUPS 802774 WITH SCORE 805210.895
AT ITER 735 NEW BEST:: SOT 4160573 SOS 2434933 HAS SOPS 2434933 HAS SOUS 802772 HAS SOUPS 802772 WITH SCORE 805206.933
AT ITER 747 NEW BEST:: SOT 4159691 SOS 2432727 HAS SOPS 2432727 HAS SOUS 802771 HAS SOUPS 802771 WITH SCORE 805203.727
AT ITER 749 NEW BEST:: SOT 4158534 SOS 2429538 HAS SOPS 2429538 HAS SOUS 802470 HAS SOUPS 802470 WITH SCORE 804899.538
AT ITER 769 NEW BEST:: SOT 4157326 SOS 2426515 HAS SOPS 2426515 HAS SOUS 802465 HAS SOUPS 802465 WITH SCORE 804891.515
AT ITER 783 NEW BEST:: SOT 4157134 SOS 2425655 HAS SOPS 2425655 HAS SOUS 802240 HAS SOUPS 802240 WITH SCORE 804665.655
AT ITER 785 NEW BEST:: SOT 4155892 SOS 2422547 HAS SOPS 2422547 HAS SOUS 802235 HAS SOUPS 802235 WITH SCORE 804657.547
AT ITER 788 NEW BEST:: SOT 4154450 SOS 2418940 HAS SOPS 2418940 HAS SOUS 802233 HAS SOUPS 802233 WITH SCORE 804651.94
AT ITER 805 NEW BEST:: SOT 4153178 SOS 2415411 HAS SOPS 2415411 HAS SOUS 802109 HAS SOUPS 802109 WITH SCORE 804524.411
AT ITER 825 NEW BEST:: SOT 4152868 SOS 2414633 HAS SOPS 2414633 HAS SOUS 802104 HAS SOUPS 802104 WITH SCORE 804518.633
AT ITER 834 NEW BEST:: SOT 4150960 SOS 2409863 HAS SOPS 2409863 HAS SOUS 802104 HAS SOUPS 802104 WITH SCORE 804513.863
AT ITER 835 NEW BEST:: SOT 4151016 SOS 2410036 HAS SOPS 2410036 HAS SOUS 802053 HAS SOUPS 802053 WITH SCORE 804463.036
AT ITER 844 NEW BEST:: SOT 4150396 SOS 2408484 HAS SOPS 2408484 HAS SOUS 802051 HAS SOUPS 802051 WITH SCORE 804459.484
AT ITER 854 NEW BEST:: SOT 4147158 SOS 2401738 HAS SOPS 2401738 HAS SOUS 801162 HAS SOUPS 801162 WITH SCORE 803563.738
AT ITER 870 NEW BEST:: SOT 4147158 SOS 2401480 HAS SOPS 2401480 HAS SOUS 800916 HAS SOUPS 800916 WITH SCORE 803317.48
AT ITER 880 NEW BEST:: SOT 4146096 SOS 2398580 HAS SOPS 2398580 HAS SOUS 800769 HAS SOUPS 800769 WITH SCORE 803167.58
AT ITER 892 NEW BEST:: SOT 4144976 SOS 2395373 HAS SOPS 2395373 HAS SOUS 800356 HAS SOUPS 800356 WITH SCORE 802751.373
AT ITER 901 NEW BEST:: SOT 4144872 SOS 2395110 HAS SOPS 2395110 HAS SOUS 800351 HAS SOUPS 800351 WITH SCORE 802746.11
AT ITER 912 NEW BEST:: SOT 4144212 SOS 2393788 HAS SOPS 2393788 HAS SOUS 800129 HAS SOUPS 800129 WITH SCORE 802522.788
AT ITER 926 NEW BEST:: SOT 4143018 SOS 2390800 HAS SOPS 2390800 HAS SOUS 800124 HAS SOUPS 800124 WITH SCORE 802514.8
AT ITER 932 NEW BEST:: SOT 4141852 SOS 2387304 HAS SOPS 2387304 HAS SOUS 799651 HAS SOUPS 799651 WITH SCORE 802038.304
AT ITER 940 NEW BEST:: SOT 4141396 SOS 2386064 HAS SOPS 2386064 HAS SOUS 799551 HAS SOUPS 799551 WITH SCORE 801937.064
AT ITER 946 NEW BEST:: SOT 4140972 SOS 2385003 HAS SOPS 2385003 HAS SOUS 799550 HAS SOUPS 799550 WITH SCORE 801935.003
AT ITER 960 NEW BEST:: SOT 4139977 SOS 2381877 HAS SOPS 2381877 HAS SOUS 799399 HAS SOUPS 799399 WITH SCORE 801780.877
AT ITER 964 NEW BEST:: SOT 4139327 SOS 2380251 HAS SOPS 2380251 HAS SOUS 799398 HAS SOUPS 799398 WITH SCORE 801778.251
AT ITER 969 NEW BEST:: SOT 4139157 SOS 2379826 HAS SOPS 2379826 HAS SOUS 799398 HAS SOUPS 799398 WITH SCORE 801777.826
AT ITER 988 NEW BEST:: SOT 4139157 SOS 2379825 HAS SOPS 2379825 HAS SOUS 799397 HAS SOUPS 799397 WITH SCORE 801776.825
AT ITER 991 NEW BEST:: SOT 4138323 SOS 2377438 HAS SOPS 2377438 HAS SOUS 799093 HAS SOUPS 799093 WITH SCORE 801470.438
AT ITER 992 NEW BEST:: SOT 4138069 SOS 2376676 HAS SOPS 2376676 HAS SOUS 798964 HAS SOUPS 798964 WITH SCORE 801340.676
AT ITER 998 NEW BEST:: SOT 4138069 SOS 2376676 HAS SOPS 2376676 HAS SOUS 798960 HAS SOUPS 798960 WITH SCORE 801336.676
AT ITER 1003 NEW BEST:: SOT 4136593 SOS 2371692 HAS SOPS 2371692 HAS SOUS 798775 HAS SOUPS 798775 WITH SCORE 801146.692
AT ITER 1008 NEW BEST:: SOT 4135717 SOS 2369500 HAS SOPS 2369500 HAS SOUS 798773 HAS SOUPS 798773 WITH SCORE 801142.5
AT ITER 1014 NEW BEST:: SOT 4135717 SOS 2368742 HAS SOPS 2368742 HAS SOUS 798123 HAS SOUPS 798123 WITH SCORE 800491.742
AT ITER 1028 NEW BEST:: SOT 4134376 SOS 2365007 HAS SOPS 2365007 HAS SOUS 797988 HAS SOUPS 797988 WITH SCORE 800353.007
AT ITER 1058 NEW BEST:: SOT 4133332 SOS 2361990 HAS SOPS 2361990 HAS SOUS 797581 HAS SOUPS 797581 WITH SCORE 799942.99
AT ITER 1059 NEW BEST:: SOT 4133332 SOS 2361938 HAS SOPS 2361938 HAS SOUS 797581 HAS SOUPS 797581 WITH SCORE 799942.938
AT ITER 1060 NEW BEST:: SOT 4132276 SOS 2359295 HAS SOPS 2359295 HAS SOUS 797576 HAS SOUPS 797576 WITH SCORE 799935.295
AT ITER 1067 NEW BEST:: SOT 4131938 SOS 2357943 HAS SOPS 2357943 HAS SOUS 797572 HAS SOUPS 797572 WITH SCORE 799929.943
AT ITER 1076 NEW BEST:: SOT 4131534 SOS 2356731 HAS SOPS 2356731 HAS SOUS 797106 HAS SOUPS 797106 WITH SCORE 799462.731
AT ITER 1082 NEW BEST:: SOT 4129077 SOS 2350645 HAS SOPS 2350645 HAS SOUS 796450 HAS SOUPS 796450 WITH SCORE 798800.645
AT ITER 1100 NEW BEST:: SOT 4127883 SOS 2347176 HAS SOPS 2347176 HAS SOUS 796110 HAS SOUPS 796110 WITH SCORE 798457.176
AT ITER 1105 NEW BEST:: SOT 4127845 SOS 2347050 HAS SOPS 2347050 HAS SOUS 796022 HAS SOUPS 796022 WITH SCORE 798369.05
AT ITER 1126 NEW BEST:: SOT 4126445 SOS 2343549 HAS SOPS 2343549 HAS SOUS 796021 HAS SOUPS 796021 WITH SCORE 798364.549
AT ITER 1140 NEW BEST:: SOT 4125535 SOS 2341272 HAS SOPS 2341272 HAS SOUS 796019 HAS SOUPS 796019 WITH SCORE 798360.272
AT ITER 1144 NEW BEST:: SOT 4125030 SOS 2339454 HAS SOPS 2339454 HAS SOUS 795918 HAS SOUPS 795918 WITH SCORE 798257.454
AT ITER 1150 NEW BEST:: SOT 4123536 SOS 2335126 HAS SOPS 2335126 HAS SOUS 795484 HAS SOUPS 795484 WITH SCORE 797819.126
AT ITER 1153 NEW BEST:: SOT 4122746 SOS 2333150 HAS SOPS 2333150 HAS SOUS 795483 HAS SOUPS 795483 WITH SCORE 797816.15
AT ITER 1161 NEW BEST:: SOT 4122590 SOS 2332758 HAS SOPS 2332758 HAS SOUS 795481 HAS SOUPS 795481 WITH SCORE 797813.758
AT ITER 1181 NEW BEST:: SOT 4121752 SOS 2330661 HAS SOPS 2330661 HAS SOUS 795479 HAS SOUPS 795479 WITH SCORE 797809.661
AT ITER 1184 NEW BEST:: SOT 4121743 SOS 2330640 HAS SOPS 2330640 HAS SOUS 795473 HAS SOUPS 795473 WITH SCORE 797803.64
AT ITER 1200 NEW BEST:: SOT 4121677 SOS 2330442 HAS SOPS 2330442 HAS SOUS 795440 HAS SOUPS 795440 WITH SCORE 797770.442
AT ITER 1203 NEW BEST:: SOT 4120833 SOS 2327916 HAS SOPS 2327916 HAS SOUS 795022 HAS SOUPS 795022 WITH SCORE 797349.916
AT ITER 1204 NEW BEST:: SOT 4119879 SOS 2324809 HAS SOPS 2324809 HAS SOUS 794792 HAS SOUPS 794792 WITH SCORE 797116.809
AT ITER 1207 NEW BEST:: SOT 4119599 SOS 2324108 HAS SOPS 2324108 HAS SOUS 794791 HAS SOUPS 794791 WITH SCORE 797115.108
AT ITER 1228 NEW BEST:: SOT 4117477 SOS 2318363 HAS SOPS 2318363 HAS SOUS 794777 HAS SOUPS 794777 WITH SCORE 797095.363
AT ITER 1231 NEW BEST:: SOT 4115511 SOS 2312992 HAS SOPS 2312992 HAS SOUS 794317 HAS SOUPS 794317 WITH SCORE 796629.992
AT ITER 1237 NEW BEST:: SOT 4114185 SOS 2309254 HAS SOPS 2309254 HAS SOUS 794191 HAS SOUPS 794191 WITH SCORE 796500.254
AT ITER 1239 NEW BEST:: SOT 4113349 SOS 2306762 HAS SOPS 2306762 HAS SOUS 793789 HAS SOUPS 793789 WITH SCORE 796095.762
AT ITER 1246 NEW BEST:: SOT 4111611 SOS 2302416 HAS SOPS 2302416 HAS SOUS 793788 HAS SOUPS 793788 WITH SCORE 796090.416
AT ITER 1263 NEW BEST:: SOT 4111698 SOS 2302699 HAS SOPS 2302699 HAS SOUS 793679 HAS SOUPS 793679 WITH SCORE 795981.699
AT ITER 1274 NEW BEST:: SOT 4111356 SOS 2301841 HAS SOPS 2301841 HAS SOUS 793674 HAS SOUPS 793674 WITH SCORE 795975.841
AT ITER 1280 NEW BEST:: SOT 4110792 SOS 2301081 HAS SOPS 2301081 HAS SOUS 793418 HAS SOUPS 793418 WITH SCORE 795719.081
AT ITER 1283 NEW BEST:: SOT 4107500 SOS 2293095 HAS SOPS 2293095 HAS SOUS 791436 HAS SOUPS 791436 WITH SCORE 793729.095
AT ITER 1309 NEW BEST:: SOT 4105710 SOS 2287810 HAS SOPS 2287810 HAS SOUS 791163 HAS SOUPS 791163 WITH SCORE 793450.81
AT ITER 1313 NEW BEST:: SOT 4104914 SOS 2285395 HAS SOPS 2285395 HAS SOUS 791106 HAS SOUPS 791106 WITH SCORE 793391.395
AT ITER 1318 NEW BEST:: SOT 4104354 SOS 2283873 HAS SOPS 2283873 HAS SOUS 791047 HAS SOUPS 791047 WITH SCORE 793330.873
AT ITER 1322 NEW BEST:: SOT 4102890 SOS 2280045 HAS SOPS 2280045 HAS SOUS 790879 HAS SOUPS 790879 WITH SCORE 793159.045
AT ITER 1329 NEW BEST:: SOT 4102154 SOS 2278101 HAS SOPS 2278101 HAS SOUS 790773 HAS SOUPS 790773 WITH SCORE 793051.101
AT ITER 1339 NEW BEST:: SOT 4102030 SOS 2277791 HAS SOPS 2277791 HAS SOUS 790773 HAS SOUPS 790773 WITH SCORE 793050.791
AT ITER 1345 NEW BEST:: SOT 4101292 SOS 2275581 HAS SOPS 2275581 HAS SOUS 790408 HAS SOUPS 790408 WITH SCORE 792683.581
AT ITER 1359 NEW BEST:: SOT 4100068 SOS 2272144 HAS SOPS 2272144 HAS SOUS 790128 HAS SOUPS 790128 WITH SCORE 792400.144
AT ITER 1398 NEW BEST:: SOT 4098864 SOS 2268772 HAS SOPS 2268772 HAS SOUS 790083 HAS SOUPS 790083 WITH SCORE 792351.772
AT ITER 1406 NEW BEST:: SOT 4097526 SOS 2265426 HAS SOPS 2265426 HAS SOUS 790082 HAS SOUPS 790082 WITH SCORE 792347.426
AT ITER 1409 NEW BEST:: SOT 4095950 SOS 2260883 HAS SOPS 2260883 HAS SOUS 789479 HAS SOUPS 789479 WITH SCORE 791739.883
AT ITER 1411 NEW BEST:: SOT 4094556 SOS 2257396 HAS SOPS 2257396 HAS SOUS 789477 HAS SOUPS 789477 WITH SCORE 791734.396
AT ITER 1415 NEW BEST:: SOT 4093858 SOS 2255648 HAS SOPS 2255648 HAS SOUS 789472 HAS SOUPS 789472 WITH SCORE 791727.648
AT ITER 1430 NEW BEST:: SOT 4092833 SOS 2252532 HAS SOPS 2252532 HAS SOUS 788980 HAS SOUPS 788980 WITH SCORE 791232.532
AT ITER 1434 NEW BEST:: SOT 4091149 SOS 2248319 HAS SOPS 2248319 HAS SOUS 788975 HAS SOUPS 788975 WITH SCORE 791223.319
AT ITER 1439 NEW BEST:: SOT 4089803 SOS 2244422 HAS SOPS 2244422 HAS SOUS 788669 HAS SOUPS 788669 WITH SCORE 790913.422
AT ITER 1442 NEW BEST:: SOT 4087927 SOS 2239315 HAS SOPS 2239315 HAS SOUS 788252 HAS SOUPS 788252 WITH SCORE 790491.315
AT ITER 1448 NEW BEST:: SOT 4087339 SOS 2237551 HAS SOPS 2237551 HAS SOUS 787958 HAS SOUPS 787958 WITH SCORE 790195.551
AT ITER 1464 NEW BEST:: SOT 4087084 SOS 2237041 HAS SOPS 2237041 HAS SOUS 787703 HAS SOUPS 787703 WITH SCORE 789940.041
AT ITER 1465 NEW BEST:: SOT 4086724 SOS 2236140 HAS SOPS 2236140 HAS SOUS 787702 HAS SOUPS 787702 WITH SCORE 789938.14
AT ITER 1493 NEW BEST:: SOT 4085342 SOS 2231994 HAS SOPS 2231994 HAS SOUS 787009 HAS SOUPS 787009 WITH SCORE 789240.994
AT ITER 1498 NEW BEST:: SOT 4084934 SOS 2231176 HAS SOPS 2231176 HAS SOUS 786871 HAS SOUPS 786871 WITH SCORE 789102.176
AT ITER 1509 NEW BEST:: SOT 4084676 SOS 2230529 HAS SOPS 2230529 HAS SOUS 786869 HAS SOUPS 786869 WITH SCORE 789099.529
AT ITER 1510 NEW BEST:: SOT 4084215 SOS 2229607 HAS SOPS 2229607 HAS SOUS 786724 HAS SOUPS 786724 WITH SCORE 788953.607
AT ITER 1513 NEW BEST:: SOT 4083581 SOS 2227705 HAS SOPS 2227705 HAS SOUS 786405 HAS SOUPS 786405 WITH SCORE 788632.705
AT ITER 1524 NEW BEST:: SOT 4083271 SOS 2226775 HAS SOPS 2226775 HAS SOUS 786250 HAS SOUPS 786250 WITH SCORE 788476.775
AT ITER 1533 NEW BEST:: SOT 4083271 SOS 2226775 HAS SOPS 2226775 HAS SOUS 786246 HAS SOUPS 786246 WITH SCORE 788472.775
AT ITER 1535 NEW BEST:: SOT 4083073 SOS 2226277 HAS SOPS 2226277 HAS SOUS 786241 HAS SOUPS 786241 WITH SCORE 788467.277
AT ITER 1536 NEW BEST:: SOT 4082663 SOS 2225251 HAS SOPS 2225251 HAS SOUS 786240 HAS SOUPS 786240 WITH SCORE 788465.251
AT ITER 1542 NEW BEST:: SOT 4081591 SOS 2222115 HAS SOPS 2222115 HAS SOUS 786069 HAS SOUPS 786069 WITH SCORE 788291.115
AT ITER 1546 NEW BEST:: SOT 4080007 SOS 2217363 HAS SOPS 2217363 HAS SOUS 785277 HAS SOUPS 785277 WITH SCORE 787494.363
AT ITER 1553 NEW BEST:: SOT 4079321 SOS 2215305 HAS SOPS 2215305 HAS SOUS 784932 HAS SOUPS 784932 WITH SCORE 787147.305
AT ITER 1561 NEW BEST:: SOT 4078701 SOS 2213445 HAS SOPS 2213445 HAS SOUS 784622 HAS SOUPS 784622 WITH SCORE 786835.445
AT ITER 1562 NEW BEST:: SOT 4077157 SOS 2209583 HAS SOPS 2209583 HAS SOUS 784620 HAS SOUPS 784620 WITH SCORE 786829.583
AT ITER 1577 NEW BEST:: SOT 4077206 SOS 2209730 HAS SOPS 2209730 HAS SOUS 784571 HAS SOUPS 784571 WITH SCORE 786780.73
AT ITER 1583 NEW BEST:: SOT 4077145 SOS 2209608 HAS SOPS 2209608 HAS SOUS 784510 HAS SOUPS 784510 WITH SCORE 786719.608
AT ITER 1584 NEW BEST:: SOT 4077118 SOS 2209442 HAS SOPS 2209442 HAS SOUS 784369 HAS SOUPS 784369 WITH SCORE 786578.442
AT ITER 1586 NEW BEST:: SOT 4076012 SOS 2206201 HAS SOPS 2206201 HAS SOUS 784133 HAS SOUPS 784133 WITH SCORE 786339.201
AT ITER 1596 NEW BEST:: SOT 4074550 SOS 2202546 HAS SOPS 2202546 HAS SOUS 784133 HAS SOUPS 784133 WITH SCORE 786335.546
AT ITER 1601 NEW BEST:: SOT 4074535 SOS 2202516 HAS SOPS 2202516 HAS SOUS 784118 HAS SOUPS 784118 WITH SCORE 786320.516
AT ITER 1602 NEW BEST:: SOT 4072921 SOS 2198479 HAS SOPS 2198479 HAS SOUS 784116 HAS SOUPS 784116 WITH SCORE 786314.479
AT ITER 1605 NEW BEST:: SOT 4072712 SOS 2198061 HAS SOPS 2198061 HAS SOUS 783907 HAS SOUPS 783907 WITH SCORE 786105.061
AT ITER 1608 NEW BEST:: SOT 4072682 SOS 2198001 HAS SOPS 2198001 HAS SOUS 783877 HAS SOUPS 783877 WITH SCORE 786075.001
AT ITER 1627 NEW BEST:: SOT 4071068 SOS 2193966 HAS SOPS 2193966 HAS SOUS 783877 HAS SOUPS 783877 WITH SCORE 786070.966
AT ITER 1629 NEW BEST:: SOT 4070336 SOS 2191936 HAS SOPS 2191936 HAS SOUS 783677 HAS SOUPS 783677 WITH SCORE 785868.936
AT ITER 1644 NEW BEST:: SOT 4069967 SOS 2190997 HAS SOPS 2190997 HAS SOUS 783664 HAS SOUPS 783664 WITH SCORE 785854.997
AT ITER 1676 NEW BEST:: SOT 4069177 SOS 2188627 HAS SOPS 2188627 HAS SOUS 783267 HAS SOUPS 783267 WITH SCORE 785455.627
AT ITER 1678 NEW BEST:: SOT 4068583 SOS 2187436 HAS SOPS 2187436 HAS SOUS 783064 HAS SOUPS 783064 WITH SCORE 785251.436
AT ITER 1680 NEW BEST:: SOT 4067745 SOS 2185340 HAS SOPS 2185340 HAS SOUS 783063 HAS SOUPS 783063 WITH SCORE 785248.34
AT ITER 1687 NEW BEST:: SOT 4067745 SOS 2185339 HAS SOPS 2185339 HAS SOUS 783056 HAS SOUPS 783056 WITH SCORE 785241.339
AT ITER 1695 NEW BEST:: SOT 4066941 SOS 2183329 HAS SOPS 2183329 HAS SOUS 783056 HAS SOUPS 783056 WITH SCORE 785239.329
AT ITER 1702 NEW BEST:: SOT 4066743 SOS 2182735 HAS SOPS 2182735 HAS SOUS 782957 HAS SOUPS 782957 WITH SCORE 785139.735
AT ITER 1720 NEW BEST:: SOT 4066357 SOS 2181769 HAS SOPS 2181769 HAS SOUS 782956 HAS SOUPS 782956 WITH SCORE 785137.769
AT ITER 1732 NEW BEST:: SOT 4063621 SOS 2176291 HAS SOPS 2176291 HAS SOUS 782459 HAS SOUPS 782459 WITH SCORE 784635.291
AT ITER 1735 NEW BEST:: SOT 4060760 SOS 2170166 HAS SOPS 2170166 HAS SOUS 781858 HAS SOUPS 781858 WITH SCORE 784028.166
AT ITER 1752 NEW BEST:: SOT 4060612 SOS 2169793 HAS SOPS 2169793 HAS SOUS 781853 HAS SOUPS 781853 WITH SCORE 784022.793
AT ITER 1765 NEW BEST:: SOT 4059950 SOS 2168136 HAS SOPS 2168136 HAS SOUS 781851 HAS SOUPS 781851 WITH SCORE 784019.136
AT ITER 1770 NEW BEST:: SOT 4059503 SOS 2167241 HAS SOPS 2167241 HAS SOUS 781701 HAS SOUPS 781701 WITH SCORE 783868.241
AT ITER 1775 NEW BEST:: SOT 4059407 SOS 2167049 HAS SOPS 2167049 HAS SOUS 781605 HAS SOUPS 781605 WITH SCORE 783772.049
AT ITER 1783 NEW BEST:: SOT 4059201 SOS 2166534 HAS SOPS 2166534 HAS SOUS 781605 HAS SOUPS 781605 WITH SCORE 783771.534
AT ITER 1787 NEW BEST:: SOT 4057649 SOS 2161927 HAS SOPS 2161927 HAS SOUS 781083 HAS SOUPS 781083 WITH SCORE 783244.927
AT ITER 1799 NEW BEST:: SOT 4057269 SOS 2160976 HAS SOPS 2160976 HAS SOUS 781082 HAS SOUPS 781082 WITH SCORE 783242.976
AT ITER 1806 NEW BEST:: SOT 4056427 SOS 2158455 HAS SOPS 2158455 HAS SOUS 780666 HAS SOUPS 780666 WITH SCORE 782824.455
AT ITER 1807 NEW BEST:: SOT 4056422 SOS 2158448 HAS SOPS 2158448 HAS SOUS 780666 HAS SOUPS 780666 WITH SCORE 782824.448
AT ITER 1815 NEW BEST:: SOT 4056422 SOS 2158448 HAS SOPS 2158448 HAS SOUS 780664 HAS SOUPS 780664 WITH SCORE 782822.448
AT ITER 1838 NEW BEST:: SOT 4055336 SOS 2155733 HAS SOPS 2155733 HAS SOUS 780664 HAS SOUPS 780664 WITH SCORE 782819.733
AT ITER 1839 NEW BEST:: SOT 4054514 SOS 2153267 HAS SOPS 2153267 HAS SOUS 779653 HAS SOUPS 779653 WITH SCORE 781806.267
AT ITER 1840 NEW BEST:: SOT 4053930 SOS 2151807 HAS SOPS 2151807 HAS SOUS 779653 HAS SOUPS 779653 WITH SCORE 781804.807
AT ITER 1848 NEW BEST:: SOT 4053170 SOS 2148875 HAS SOPS 2148875 HAS SOUS 779007 HAS SOUPS 779007 WITH SCORE 781155.875
AT ITER 1866 NEW BEST:: SOT 4053078 SOS 2148691 HAS SOPS 2148691 HAS SOUS 778915 HAS SOUPS 778915 WITH SCORE 781063.691
AT ITER 1869 NEW BEST:: SOT 4050646 SOS 2143823 HAS SOPS 2143823 HAS SOUS 778750 HAS SOUPS 778750 WITH SCORE 780893.823
AT ITER 1875 NEW BEST:: SOT 4049662 SOS 2140871 HAS SOPS 2140871 HAS SOUS 778256 HAS SOUPS 778256 WITH SCORE 780396.871
AT ITER 1878 NEW BEST:: SOT 4046426 SOS 2134308 HAS SOPS 2134308 HAS SOUS 777592 HAS SOUPS 777592 WITH SCORE 779726.308
AT ITER 1882 NEW BEST:: SOT 4043913 SOS 2129277 HAS SOPS 2129277 HAS SOUS 777355 HAS SOUPS 777355 WITH SCORE 779484.277
AT ITER 1896 NEW BEST:: SOT 4043739 SOS 2128841 HAS SOPS 2128841 HAS SOUS 777354 HAS SOUPS 777354 WITH SCORE 779482.841
AT ITER 1907 NEW BEST:: SOT 4044092 SOS 2128170 HAS SOPS 2128170 HAS SOUS 776739 HAS SOUPS 776739 WITH SCORE 778867.17
AT ITER 1908 NEW BEST:: SOT 4042824 SOS 2123898 HAS SOPS 2123898 HAS SOUS 776581 HAS SOUPS 776581 WITH SCORE 778704.898
AT ITER 1913 NEW BEST:: SOT 4042824 SOS 2123864 HAS SOPS 2123864 HAS SOUS 775249 HAS SOUPS 775249 WITH SCORE 777372.864
AT ITER 1939 NEW BEST:: SOT 4042136 SOS 2121800 HAS SOPS 2121800 HAS SOUS 774905 HAS SOUPS 774905 WITH SCORE 777026.8
AT ITER 1942 NEW BEST:: SOT 4039486 SOS 2115284 HAS SOPS 2115284 HAS SOUS 774062 HAS SOUPS 774062 WITH SCORE 776177.284
AT ITER 1958 NEW BEST:: SOT 4038910 SOS 2113843 HAS SOPS 2113843 HAS SOUS 774061 HAS SOUPS 774061 WITH SCORE 776174.843
AT ITER 1978 NEW BEST:: SOT 4038910 SOS 2113843 HAS SOPS 2113843 HAS SOUS 774015 HAS SOUPS 774015 WITH SCORE 776128.843
AT ITER 1979 NEW BEST:: SOT 4039265 SOS 2114882 HAS SOPS 2114882 HAS SOUS 773712 HAS SOUPS 773712 WITH SCORE 775826.882
AT ITER 1986 NEW BEST:: SOT 4038674 SOS 2113055 HAS SOPS 2113055 HAS SOUS 773484 HAS SOUPS 773484 WITH SCORE 775597.055
AT ITER 1992 NEW BEST:: SOT 4038672 SOS 2113049 HAS SOPS 2113049 HAS SOUS 773481 HAS SOUPS 773481 WITH SCORE 775594.049
AT ITER 2000 NEW BEST:: SOT 4037856 SOS 2109765 HAS SOPS 2109765 HAS SOUS 772799 HAS SOUPS 772799 WITH SCORE 774908.765
AT ITER 2019 NEW BEST:: SOT 4036902 SOS 2107856 HAS SOPS 2107856 HAS SOUS 772480 HAS SOUPS 772480 WITH SCORE 774587.856
AT ITER 2043 NEW BEST:: SOT 4036902 SOS 2107856 HAS SOPS 2107856 HAS SOUS 772476 HAS SOUPS 772476 WITH SCORE 774583.856
AT ITER 2046 NEW BEST:: SOT 4034442 SOS 2102741 HAS SOPS 2102741 HAS SOUS 772383 HAS SOUPS 772383 WITH SCORE 774485.741
AT ITER 2049 NEW BEST:: SOT 4034092 SOS 2101784 HAS SOPS 2101784 HAS SOUS 772124 HAS SOUPS 772124 WITH SCORE 774225.784
AT ITER 2060 NEW BEST:: SOT 4033062 SOS 2099207 HAS SOPS 2099207 HAS SOUS 772122 HAS SOUPS 772122 WITH SCORE 774221.207
AT ITER 2062 NEW BEST:: SOT 4032455 SOS 2096854 HAS SOPS 2096854 HAS SOUS 771804 HAS SOUPS 771804 WITH SCORE 773900.854
AT ITER 2068 NEW BEST:: SOT 4030746 SOS 2092175 HAS SOPS 2092175 HAS SOUS 771338 HAS SOUPS 771338 WITH SCORE 773430.175
AT ITER 2072 NEW BEST:: SOT 4030714 SOS 2092111 HAS SOPS 2092111 HAS SOUS 771306 HAS SOUPS 771306 WITH SCORE 773398.111
AT ITER 2097 NEW BEST:: SOT 4029940 SOS 2089627 HAS SOPS 2089627 HAS SOUS 771000 HAS SOUPS 771000 WITH SCORE 773089.627
AT ITER 2101 NEW BEST:: SOT 4029940 SOS 2089461 HAS SOPS 2089461 HAS SOUS 770832 HAS SOUPS 770832 WITH SCORE 772921.461
AT ITER 2111 NEW BEST:: SOT 4029471 SOS 2088056 HAS SOPS 2088056 HAS SOUS 770668 HAS SOUPS 770668 WITH SCORE 772756.056
AT ITER 2113 NEW BEST:: SOT 4029513 SOS 2088182 HAS SOPS 2088182 HAS SOUS 770626 HAS SOUPS 770626 WITH SCORE 772714.182
AT ITER 2120 NEW BEST:: SOT 4029429 SOS 2088013 HAS SOPS 2088013 HAS SOUS 770609 HAS SOUPS 770609 WITH SCORE 772697.013
AT ITER 2121 NEW BEST:: SOT 4029429 SOS 2087821 HAS SOPS 2087821 HAS SOUS 770417 HAS SOUPS 770417 WITH SCORE 772504.821
AT ITER 2123 NEW BEST:: SOT 4028971 SOS 2086497 HAS SOPS 2086497 HAS SOUS 770238 HAS SOUPS 770238 WITH SCORE 772324.497
AT ITER 2149 NEW BEST:: SOT 4028587 SOS 2085537 HAS SOPS 2085537 HAS SOUS 770238 HAS SOUPS 770238 WITH SCORE 772323.537
AT ITER 2174 NEW BEST:: SOT 4027421 SOS 2082483 HAS SOPS 2082483 HAS SOUS 770099 HAS SOUPS 770099 WITH SCORE 772181.483
AT ITER 2180 NEW BEST:: SOT 4025359 SOS 2077328 HAS SOPS 2077328 HAS SOUS 770099 HAS SOUPS 770099 WITH SCORE 772176.328
AT ITER 2190 NEW BEST:: SOT 4025609 SOS 2077318 HAS SOPS 2077318 HAS SOUS 769833 HAS SOUPS 769833 WITH SCORE 771910.318
AT ITER 2221 NEW BEST:: SOT 4025492 SOS 2077084 HAS SOPS 2077084 HAS SOUS 769794 HAS SOUPS 769794 WITH SCORE 771871.084
AT ITER 2244 NEW BEST:: SOT 4023952 SOS 2072383 HAS SOPS 2072383 HAS SOUS 769675 HAS SOUPS 769675 WITH SCORE 771747.383
AT ITER 2250 NEW BEST:: SOT 4022416 SOS 2067902 HAS SOPS 2067902 HAS SOUS 769195 HAS SOUPS 769195 WITH SCORE 771262.902
AT ITER 2255 NEW BEST:: SOT 4022929 SOS 2068053 HAS SOPS 2068053 HAS SOUS 768858 HAS SOUPS 768858 WITH SCORE 770926.053
AT ITER 2261 NEW BEST:: SOT 4022381 SOS 2066957 HAS SOPS 2066957 HAS SOUS 768310 HAS SOUPS 768310 WITH SCORE 770376.957
AT ITER 2276 NEW BEST:: SOT 4021051 SOS 2063629 HAS SOPS 2063629 HAS SOUS 768307 HAS SOUPS 768307 WITH SCORE 770370.629
AT ITER 2282 NEW BEST:: SOT 4021035 SOS 2063581 HAS SOPS 2063581 HAS SOUS 768299 HAS SOUPS 768299 WITH SCORE 770362.581
AT ITER 2309 NEW BEST:: SOT 4021035 SOS 2063580 HAS SOPS 2063580 HAS SOUS 768298 HAS SOUPS 768298 WITH SCORE 770361.58
AT ITER 2329 NEW BEST:: SOT 4021019 SOS 2063540 HAS SOPS 2063540 HAS SOUS 768298 HAS SOUPS 768298 WITH SCORE 770361.54
AT ITER 2346 NEW BEST:: SOT 4018026 SOS 2056306 HAS SOPS 2056306 HAS SOUS 766417 HAS SOUPS 766417 WITH SCORE 768473.306
AT ITER 2347 NEW BEST:: SOT 4017779 SOS 2055812 HAS SOPS 2055812 HAS SOUS 766168 HAS SOUPS 766168 WITH SCORE 768223.812
AT ITER 2353 NEW BEST:: SOT 4015899 SOS 2050068 HAS SOPS 2050068 HAS SOUS 764137 HAS SOUPS 764137 WITH SCORE 766187.068
AT ITER 2354 NEW BEST:: SOT 4014981 SOS 2047353 HAS SOPS 2047353 HAS SOUS 763851 HAS SOUPS 763851 WITH SCORE 765898.353
AT ITER 2356 NEW BEST:: SOT 4014804 SOS 2047173 HAS SOPS 2047173 HAS SOUS 763846 HAS SOUPS 763846 WITH SCORE 765893.173
AT ITER 2359 NEW BEST:: SOT 4014360 SOS 2046137 HAS SOPS 2046137 HAS SOUS 763550 HAS SOUPS 763550 WITH SCORE 765596.137
AT ITER 2362 NEW BEST:: SOT 4014360 SOS 2046135 HAS SOPS 2046135 HAS SOUS 763548 HAS SOUPS 763548 WITH SCORE 765594.135
AT ITER 2373 NEW BEST:: SOT 4013992 SOS 2045213 HAS SOPS 2045213 HAS SOUS 763546 HAS SOUPS 763546 WITH SCORE 765591.213
AT ITER 2388 NEW BEST:: SOT 4013719 SOS 2044665 HAS SOPS 2044665 HAS SOUS 763453 HAS SOUPS 763453 WITH SCORE 765497.665
AT ITER 2390 NEW BEST:: SOT 4013481 SOS 2044242 HAS SOPS 2044242 HAS SOUS 762533 HAS SOUPS 762533 WITH SCORE 764577.242
AT ITER 2408 NEW BEST:: SOT 4012231 SOS 2040796 HAS SOPS 2040796 HAS SOUS 762419 HAS SOUPS 762419 WITH SCORE 764459.796
AT ITER 2430 NEW BEST:: SOT 4012145 SOS 2040452 HAS SOPS 2040452 HAS SOUS 762417 HAS SOUPS 762417 WITH SCORE 764457.452
AT ITER 2437 NEW BEST:: SOT 4010077 SOS 2034377 HAS SOPS 2034377 HAS SOUS 761512 HAS SOUPS 761512 WITH SCORE 763546.377
AT ITER 2442 NEW BEST:: SOT 4008177 SOS 2029626 HAS SOPS 2029626 HAS SOUS 761511 HAS SOUPS 761511 WITH SCORE 763540.626
AT ITER 2459 NEW BEST:: SOT 4007211 SOS 2026728 HAS SOPS 2026728 HAS SOUS 761024 HAS SOUPS 761024 WITH SCORE 763050.728
AT ITER 2461 NEW BEST:: SOT 4007115 SOS 2026437 HAS SOPS 2026437 HAS SOUS 760923 HAS SOUPS 760923 WITH SCORE 762949.437
AT ITER 2468 NEW BEST:: SOT 4006455 SOS 2024786 HAS SOPS 2024786 HAS SOUS 760922 HAS SOUPS 760922 WITH SCORE 762946.786
AT ITER 2469 NEW BEST:: SOT 4006133 SOS 2023948 HAS SOPS 2023948 HAS SOUS 760917 HAS SOUPS 760917 WITH SCORE 762940.948
AT ITER 2488 NEW BEST:: SOT 4006133 SOS 2023948 HAS SOPS 2023948 HAS SOUS 760915 HAS SOUPS 760915 WITH SCORE 762938.948
AT ITER 2500 NEW BEST:: SOT 4005599 SOS 2022224 HAS SOPS 2022224 HAS SOUS 760709 HAS SOUPS 760709 WITH SCORE 762731.224
AT ITER 2505 NEW BEST:: SOT 4004805 SOS 2020254 HAS SOPS 2020254 HAS SOUS 760241 HAS SOUPS 760241 WITH SCORE 762261.254
AT ITER 2510 NEW BEST:: SOT 4003719 SOS 2017446 HAS SOPS 2017446 HAS SOUS 760056 HAS SOUPS 760056 WITH SCORE 762073.446
AT ITER 2531 NEW BEST:: SOT 4002361 SOS 2013523 HAS SOPS 2013523 HAS SOUS 759528 HAS SOUPS 759528 WITH SCORE 761541.523
AT ITER 2532 NEW BEST:: SOT 4002707 SOS 2013598 HAS SOPS 2013598 HAS SOUS 759305 HAS SOUPS 759305 WITH SCORE 761318.598
AT ITER 2534 NEW BEST:: SOT 4001605 SOS 2010311 HAS SOPS 2010311 HAS SOUS 758773 HAS SOUPS 758773 WITH SCORE 760783.311
AT ITER 2543 NEW BEST:: SOT 4001881 SOS 2011401 HAS SOPS 2011401 HAS SOUS 758720 HAS SOUPS 758720 WITH SCORE 760731.401
AT ITER 2548 NEW BEST:: SOT 4000595 SOS 2007167 HAS SOPS 2007167 HAS SOUS 757035 HAS SOUPS 757035 WITH SCORE 759042.167
AT ITER 2574 NEW BEST:: SOT 4000595 SOS 2007101 HAS SOPS 2007101 HAS SOUS 756969 HAS SOUPS 756969 WITH SCORE 758976.101
AT ITER 2584 NEW BEST:: SOT 4000472 SOS 2006689 HAS SOPS 2006689 HAS SOUS 756929 HAS SOUPS 756929 WITH SCORE 758935.689
AT ITER 2589 NEW BEST:: SOT 4000472 SOS 2006611 HAS SOPS 2006611 HAS SOUS 756851 HAS SOUPS 756851 WITH SCORE 758857.611
AT ITER 2595 NEW BEST:: SOT 4000320 SOS 2006229 HAS SOPS 2006229 HAS SOUS 756849 HAS SOUPS 756849 WITH SCORE 758855.229
AT ITER 2603 NEW BEST:: SOT 4000320 SOS 2005685 HAS SOPS 2005685 HAS SOUS 756305 HAS SOUPS 756305 WITH SCORE 758310.685
AT ITER 2608 NEW BEST:: SOT 3999081 SOS 2002331 HAS SOPS 2002331 HAS SOUS 756288 HAS SOUPS 756288 WITH SCORE 758290.331
AT ITER 2611 NEW BEST:: SOT 3997599 SOS 1997877 HAS SOPS 1997877 HAS SOUS 755701 HAS SOUPS 755701 WITH SCORE 757698.877
AT ITER 2627 NEW BEST:: SOT 3996999 SOS 1996677 HAS SOPS 1996677 HAS SOUS 755367 HAS SOUPS 755367 WITH SCORE 757363.677
AT ITER 2634 NEW BEST:: SOT 3996989 SOS 1996650 HAS SOPS 1996650 HAS SOUS 755365 HAS SOUPS 755365 WITH SCORE 757361.65
AT ITER 2648 NEW BEST:: SOT 3996863 SOS 1996335 HAS SOPS 1996335 HAS SOUS 755365 HAS SOUPS 755365 WITH SCORE 757361.335
AT ITER 2693 NEW BEST:: SOT 3995464 SOS 1991423 HAS SOPS 1991423 HAS SOUS 755273 HAS SOUPS 755273 WITH SCORE 757264.423
AT ITER 2702 NEW BEST:: SOT 3994319 SOS 1988146 HAS SOPS 1988146 HAS SOUS 755109 HAS SOUPS 755109 WITH SCORE 757097.146
AT ITER 2709 NEW BEST:: SOT 3992698 SOS 1983625 HAS SOPS 1983625 HAS SOUS 754834 HAS SOUPS 754834 WITH SCORE 756817.625
AT ITER 2735 NEW BEST:: SOT 3991932 SOS 1981708 HAS SOPS 1981708 HAS SOUS 754832 HAS SOUPS 754832 WITH SCORE 756813.708
AT ITER 2740 NEW BEST:: SOT 3990086 SOS 1976943 HAS SOPS 1976943 HAS SOUS 754655 HAS SOUPS 754655 WITH SCORE 756631.943
AT ITER 2741 NEW BEST:: SOT 3989801 SOS 1976372 HAS SOPS 1976372 HAS SOUS 754599 HAS SOUPS 754599 WITH SCORE 756575.372
AT ITER 2761 NEW BEST:: SOT 3989705 SOS 1976180 HAS SOPS 1976180 HAS SOUS 754479 HAS SOUPS 754479 WITH SCORE 756455.18
AT ITER 2769 NEW BEST:: SOT 3989215 SOS 1974794 HAS SOPS 1974794 HAS SOUS 754426 HAS SOUPS 754426 WITH SCORE 756400.794
AT ITER 2773 NEW BEST:: SOT 3989125 SOS 1974524 HAS SOPS 1974524 HAS SOUS 754381 HAS SOUPS 754381 WITH SCORE 756355.524
AT ITER 2791 NEW BEST:: SOT 3989042 SOS 1973136 HAS SOPS 1973136 HAS SOUS 754252 HAS SOUPS 754252 WITH SCORE 756225.136
AT ITER 2825 NEW BEST:: SOT 3988982 SOS 1973015 HAS SOPS 1973015 HAS SOUS 754191 HAS SOUPS 754191 WITH SCORE 756164.015
AT ITER 2830 NEW BEST:: SOT 3987048 SOS 1968178 HAS SOPS 1968178 HAS SOUS 754189 HAS SOUPS 754189 WITH SCORE 756157.178
AT ITER 2836 NEW BEST:: SOT 3986650 SOS 1966868 HAS SOPS 1966868 HAS SOUS 754048 HAS SOUPS 754048 WITH SCORE 756014.868
AT ITER 2859 NEW BEST:: SOT 3986443 SOS 1966308 HAS SOPS 1966308 HAS SOUS 753835 HAS SOUPS 753835 WITH SCORE 755801.308
AT ITER 2862 NEW BEST:: SOT 3986437 SOS 1966290 HAS SOPS 1966290 HAS SOUS 753826 HAS SOUPS 753826 WITH SCORE 755792.29
AT ITER 2864 NEW BEST:: SOT 3985726 SOS 1964866 HAS SOPS 1964866 HAS SOUS 753587 HAS SOUPS 753587 WITH SCORE 755551.866
AT ITER 2870 NEW BEST:: SOT 3985724 SOS 1964864 HAS SOPS 1964864 HAS SOUS 753581 HAS SOUPS 753581 WITH SCORE 755545.864
AT ITER 2900 NEW BEST:: SOT 3985392 SOS 1964532 HAS SOPS 1964532 HAS SOUS 753249 HAS SOUPS 753249 WITH SCORE 755213.532
AT ITER 2919 NEW BEST:: SOT 3984922 SOS 1963122 HAS SOPS 1963122 HAS SOUS 753014 HAS SOUPS 753014 WITH SCORE 754977.122
AT ITER 2922 NEW BEST:: SOT 3984106 SOS 1961060 HAS SOPS 1961060 HAS SOUS 752992 HAS SOUPS 752992 WITH SCORE 754953.06
AT ITER 2928 NEW BEST:: SOT 3984665 SOS 1962578 HAS SOPS 1962578 HAS SOUS 752959 HAS SOUPS 752959 WITH SCORE 754921.578
AT ITER 2933 NEW BEST:: SOT 3983482 SOS 1960212 HAS SOPS 1960212 HAS SOUS 752497 HAS SOUPS 752497 WITH SCORE 754457.212
AT ITER 2938 NEW BEST:: SOT 3982908 SOS 1958712 HAS SOPS 1958712 HAS SOUS 752432 HAS SOUPS 752432 WITH SCORE 754390.712
AT ITER 3006 NEW BEST:: SOT 3981781 SOS 1955002 HAS SOPS 1955002 HAS SOUS 752294 HAS SOUPS 752294 WITH SCORE 754249.002
AT ITER 3011 NEW BEST:: SOT 3981651 SOS 1954872 HAS SOPS 1954872 HAS SOUS 752162 HAS SOUPS 752162 WITH SCORE 754116.872
AT ITER 3039 NEW BEST:: SOT 3980717 SOS 1952070 HAS SOPS 1952070 HAS SOUS 751045 HAS SOUPS 751045 WITH SCORE 752997.07
AT ITER 3058 NEW BEST:: SOT 3978954 SOS 1948482 HAS SOPS 1948482 HAS SOUS 750497 HAS SOUPS 750497 WITH SCORE 752445.482
AT ITER 3076 NEW BEST:: SOT 3978846 SOS 1948211 HAS SOPS 1948211 HAS SOUS 750497 HAS SOUPS 750497 WITH SCORE 752445.211
AT ITER 3080 NEW BEST:: SOT 3977226 SOS 1943821 HAS SOPS 1943821 HAS SOUS 750450 HAS SOUPS 750450 WITH SCORE 752393.821
AT ITER 3082 NEW BEST:: SOT 3976276 SOS 1941445 HAS SOPS 1941445 HAS SOUS 750449 HAS SOUPS 750449 WITH SCORE 752390.445
AT ITER 3095 NEW BEST:: SOT 3975106 SOS 1937935 HAS SOPS 1937935 HAS SOUS 749864 HAS SOUPS 749864 WITH SCORE 751801.935
AT ITER 3116 NEW BEST:: SOT 3974856 SOS 1937435 HAS SOPS 1937435 HAS SOUS 749614 HAS SOUPS 749614 WITH SCORE 751551.435
AT ITER 3126 NEW BEST:: SOT 3974947 SOS 1937708 HAS SOPS 1937708 HAS SOUS 749523 HAS SOUPS 749523 WITH SCORE 751460.708
AT ITER 3143 NEW BEST:: SOT 3974947 SOS 1937708 HAS SOPS 1937708 HAS SOUS 749519 HAS SOUPS 749519 WITH SCORE 751456.708
AT ITER 3151 NEW BEST:: SOT 3973783 SOS 1934216 HAS SOPS 1934216 HAS SOUS 748937 HAS SOUPS 748937 WITH SCORE 750871.216
AT ITER 3162 NEW BEST:: SOT 3972531 SOS 1930715 HAS SOPS 1930715 HAS SOUS 748869 HAS SOUPS 748869 WITH SCORE 750799.715
AT ITER 3173 NEW BEST:: SOT 3972149 SOS 1929951 HAS SOPS 1929951 HAS SOUS 748741 HAS SOUPS 748741 WITH SCORE 750670.951
AT ITER 3181 NEW BEST:: SOT 3971311 SOS 1927856 HAS SOPS 1927856 HAS SOUS 748741 HAS SOUPS 748741 WITH SCORE 750668.856
AT ITER 3190 NEW BEST:: SOT 3970615 SOS 1925562 HAS SOPS 1925562 HAS SOUS 748496 HAS SOUPS 748496 WITH SCORE 750421.562
AT ITER 3204 NEW BEST:: SOT 3970521 SOS 1925325 HAS SOPS 1925325 HAS SOUS 748494 HAS SOUPS 748494 WITH SCORE 750419.325
AT ITER 3233 NEW BEST:: SOT 3970503 SOS 1925288 HAS SOPS 1925288 HAS SOUS 748487 HAS SOUPS 748487 WITH SCORE 750412.288
AT ITER 3239 NEW BEST:: SOT 3970311 SOS 1924805 HAS SOPS 1924805 HAS SOUS 748482 HAS SOUPS 748482 WITH SCORE 750406.805
AT ITER 3240 NEW BEST:: SOT 3969657 SOS 1922843 HAS SOPS 1922843 HAS SOUS 748155 HAS SOUPS 748155 WITH SCORE 750077.843
AT ITER 3254 NEW BEST:: SOT 3969657 SOS 1922840 HAS SOPS 1922840 HAS SOUS 748150 HAS SOUPS 748150 WITH SCORE 750072.84
AT ITER 3259 NEW BEST:: SOT 3968203 SOS 1918620 HAS SOPS 1918620 HAS SOUS 747565 HAS SOUPS 747565 WITH SCORE 749483.62
AT ITER 3272 NEW BEST:: SOT 3966842 SOS 1915437 HAS SOPS 1915437 HAS SOUS 746665 HAS SOUPS 746665 WITH SCORE 748580.437
AT ITER 3276 NEW BEST:: SOT 3965503 SOS 1911282 HAS SOPS 1911282 HAS SOUS 746059 HAS SOUPS 746059 WITH SCORE 747970.282
AT ITER 3281 NEW BEST:: SOT 3964546 SOS 1908404 HAS SOPS 1908404 HAS SOUS 745867 HAS SOUPS 745867 WITH SCORE 747775.404
AT ITER 3282 NEW BEST:: SOT 3964205 SOS 1907092 HAS SOPS 1907092 HAS SOUS 745841 HAS SOUPS 745841 WITH SCORE 747748.092
AT ITER 3299 NEW BEST:: SOT 3964346 SOS 1907515 HAS SOPS 1907515 HAS SOUS 745700 HAS SOUPS 745700 WITH SCORE 747607.515
AT ITER 3323 NEW BEST:: SOT 3963795 SOS 1905922 HAS SOPS 1905922 HAS SOUS 745687 HAS SOUPS 745687 WITH SCORE 747592.922
AT ITER 3324 NEW BEST:: SOT 3963627 SOS 1905579 HAS SOPS 1905579 HAS SOUS 744994 HAS SOUPS 744994 WITH SCORE 746899.579
AT ITER 3328 NEW BEST:: SOT 3962833 SOS 1903147 HAS SOPS 1903147 HAS SOUS 744859 HAS SOUPS 744859 WITH SCORE 746762.147
AT ITER 3331 NEW BEST:: SOT 3961428 SOS 1899164 HAS SOPS 1899164 HAS SOUS 744609 HAS SOUPS 744609 WITH SCORE 746508.164
AT ITER 3340 NEW BEST:: SOT 3961088 SOS 1897344 HAS SOPS 1897344 HAS SOUS 744420 HAS SOUPS 744420 WITH SCORE 746317.344
AT ITER 3353 NEW BEST:: SOT 3961088 SOS 1897159 HAS SOPS 1897159 HAS SOUS 744235 HAS SOUPS 744235 WITH SCORE 746132.159
AT ITER 3354 NEW BEST:: SOT 3960088 SOS 1894659 HAS SOPS 1894659 HAS SOUS 744235 HAS SOUPS 744235 WITH SCORE 746129.659
AT ITER 3373 NEW BEST:: SOT 3959436 SOS 1892625 HAS SOPS 1892625 HAS SOUS 744173 HAS SOUPS 744173 WITH SCORE 746065.625
AT ITER 3379 NEW BEST:: SOT 3959181 SOS 1892115 HAS SOPS 1892115 HAS SOUS 743923 HAS SOUPS 743923 WITH SCORE 745815.115
AT ITER 3385 NEW BEST:: SOT 3958839 SOS 1891260 HAS SOPS 1891260 HAS SOUS 743923 HAS SOUPS 743923 WITH SCORE 745814.26
AT ITER 3386 NEW BEST:: SOT 3958633 SOS 1890590 HAS SOPS 1890590 HAS SOUS 743846 HAS SOUPS 743846 WITH SCORE 745736.59
AT ITER 3388 NEW BEST:: SOT 3957857 SOS 1888262 HAS SOPS 1888262 HAS SOUS 743458 HAS SOUPS 743458 WITH SCORE 745346.262
AT ITER 3390 NEW BEST:: SOT 3957459 SOS 1887068 HAS SOPS 1887068 HAS SOUS 743259 HAS SOUPS 743259 WITH SCORE 745146.068
AT ITER 3405 NEW BEST:: SOT 3957459 SOS 1887066 HAS SOPS 1887066 HAS SOUS 743257 HAS SOUPS 743257 WITH SCORE 745144.066
AT ITER 3408 NEW BEST:: SOT 3957397 SOS 1886732 HAS SOPS 1886732 HAS SOUS 742985 HAS SOUPS 742985 WITH SCORE 744871.732
AT ITER 3425 NEW BEST:: SOT 3957177 SOS 1886072 HAS SOPS 1886072 HAS SOUS 742875 HAS SOUPS 742875 WITH SCORE 744761.072
AT ITER 3441 NEW BEST:: SOT 3955717 SOS 1882422 HAS SOPS 1882422 HAS SOUS 742875 HAS SOUPS 742875 WITH SCORE 744757.422
AT ITER 3444 NEW BEST:: SOT 3954268 SOS 1879519 HAS SOPS 1879519 HAS SOUS 742801 HAS SOUPS 742801 WITH SCORE 744680.519
AT ITER 3450 NEW BEST:: SOT 3954260 SOS 1879495 HAS SOPS 1879495 HAS SOUS 742797 HAS SOUPS 742797 WITH SCORE 744676.495
AT ITER 3460 NEW BEST:: SOT 3953272 SOS 1876403 HAS SOPS 1876403 HAS SOUS 742365 HAS SOUPS 742365 WITH SCORE 744241.403
AT ITER 3462 NEW BEST:: SOT 3953026 SOS 1875788 HAS SOPS 1875788 HAS SOUS 742365 HAS SOUPS 742365 WITH SCORE 744240.788
AT ITER 3482 NEW BEST:: SOT 3950326 SOS 1869898 HAS SOPS 1869898 HAS SOUS 741919 HAS SOUPS 741919 WITH SCORE 743788.898
AT ITER 3490 NEW BEST:: SOT 3950114 SOS 1869262 HAS SOPS 1869262 HAS SOUS 741813 HAS SOUPS 741813 WITH SCORE 743682.262
AT ITER 3496 NEW BEST:: SOT 3948528 SOS 1865206 HAS SOPS 1865206 HAS SOUS 741722 HAS SOUPS 741722 WITH SCORE 743587.206
AT ITER 3506 NEW BEST:: SOT 3947902 SOS 1863607 HAS SOPS 1863607 HAS SOUS 741573 HAS SOUPS 741573 WITH SCORE 743436.607
AT ITER 3512 NEW BEST:: SOT 3947668 SOS 1863201 HAS SOPS 1863201 HAS SOUS 741374 HAS SOUPS 741374 WITH SCORE 743237.201
AT ITER 3522 NEW BEST:: SOT 3947192 SOS 1862249 HAS SOPS 1862249 HAS SOUS 741339 HAS SOUPS 741339 WITH SCORE 743201.249
AT ITER 3533 NEW BEST:: SOT 3946901 SOS 1861358 HAS SOPS 1861358 HAS SOUS 741338 HAS SOUPS 741338 WITH SCORE 743199.358
AT ITER 3552 NEW BEST:: SOT 3946619 SOS 1860512 HAS SOPS 1860512 HAS SOUS 740915 HAS SOUPS 740915 WITH SCORE 742775.512
AT ITER 3564 NEW BEST:: SOT 3945721 SOS 1857936 HAS SOPS 1857936 HAS SOUS 740584 HAS SOUPS 740584 WITH SCORE 742441.936
AT ITER 3574 NEW BEST:: SOT 3945189 SOS 1856073 HAS SOPS 1856073 HAS SOUS 740295 HAS SOUPS 740295 WITH SCORE 742151.073
AT ITER 3593 NEW BEST:: SOT 3944629 SOS 1853384 HAS SOPS 1853384 HAS SOUS 740052 HAS SOUPS 740052 WITH SCORE 741905.384
AT ITER 3598 NEW BEST:: SOT 3944629 SOS 1853247 HAS SOPS 1853247 HAS SOUS 739915 HAS SOUPS 739915 WITH SCORE 741768.247
AT ITER 3614 NEW BEST:: SOT 3943420 SOS 1850172 HAS SOPS 1850172 HAS SOUS 739552 HAS SOUPS 739552 WITH SCORE 741402.172
AT ITER 3620 NEW BEST:: SOT 3941910 SOS 1846395 HAS SOPS 1846395 HAS SOUS 739550 HAS SOUPS 739550 WITH SCORE 741396.395
AT ITER 3628 NEW BEST:: SOT 3941910 SOS 1846351 HAS SOPS 1846351 HAS SOUS 739506 HAS SOUPS 739506 WITH SCORE 741352.351
AT ITER 3632 NEW BEST:: SOT 3940794 SOS 1843126 HAS SOPS 1843126 HAS SOUS 739087 HAS SOUPS 739087 WITH SCORE 740930.126
AT ITER 3633 NEW BEST:: SOT 3938937 SOS 1838003 HAS SOPS 1838003 HAS SOUS 738917 HAS SOUPS 738917 WITH SCORE 740755.003
AT ITER 3665 NEW BEST:: SOT 3938204 SOS 1835594 HAS SOPS 1835594 HAS SOUS 738633 HAS SOUPS 738633 WITH SCORE 740468.594
AT ITER 3673 NEW BEST:: SOT 3937151 SOS 1832736 HAS SOPS 1832736 HAS SOUS 738517 HAS SOUPS 738517 WITH SCORE 740349.736
AT ITER 3677 NEW BEST:: SOT 3936216 SOS 1829186 HAS SOPS 1829186 HAS SOUS 738488 HAS SOUPS 738488 WITH SCORE 740317.186
AT ITER 3692 NEW BEST:: SOT 3936216 SOS 1829044 HAS SOPS 1829044 HAS SOUS 738346 HAS SOUPS 738346 WITH SCORE 740175.044
AT ITER 3693 NEW BEST:: SOT 3935830 SOS 1828076 HAS SOPS 1828076 HAS SOUS 738341 HAS SOUPS 738341 WITH SCORE 740169.076
AT ITER 3715 NEW BEST:: SOT 3935308 SOS 1826080 HAS SOPS 1826080 HAS SOUS 738057 HAS SOUPS 738057 WITH SCORE 739883.08
AT ITER 3722 NEW BEST:: SOT 3934093 SOS 1822546 HAS SOPS 1822546 HAS SOUS 737856 HAS SOUPS 737856 WITH SCORE 739678.546
AT ITER 3737 NEW BEST:: SOT 3934093 SOS 1822513 HAS SOPS 1822513 HAS SOUS 737761 HAS SOUPS 737761 WITH SCORE 739583.513
AT ITER 3742 NEW BEST:: SOT 3933741 SOS 1821457 HAS SOPS 1821457 HAS SOUS 737583 HAS SOUPS 737583 WITH SCORE 739404.457
AT ITER 3743 NEW BEST:: SOT 3933659 SOS 1821249 HAS SOPS 1821249 HAS SOUS 737578 HAS SOUPS 737578 WITH SCORE 739399.249
AT ITER 3746 NEW BEST:: SOT 3934019 SOS 1822216 HAS SOPS 1822216 HAS SOUS 737501 HAS SOUPS 737501 WITH SCORE 739323.216
AT ITER 3764 NEW BEST:: SOT 3933862 SOS 1822059 HAS SOPS 1822059 HAS SOUS 737346 HAS SOUPS 737346 WITH SCORE 739168.059
AT ITER 3784 NEW BEST:: SOT 3933226 SOS 1820463 HAS SOPS 1820463 HAS SOUS 737336 HAS SOUPS 737336 WITH SCORE 739156.463
AT ITER 3791 NEW BEST:: SOT 3932227 SOS 1817659 HAS SOPS 1817659 HAS SOUS 737262 HAS SOUPS 737262 WITH SCORE 739079.659
AT ITER 3801 NEW BEST:: SOT 3931563 SOS 1815667 HAS SOPS 1815667 HAS SOUS 736930 HAS SOUPS 736930 WITH SCORE 738745.667
AT ITER 3807 NEW BEST:: SOT 3930391 SOS 1811957 HAS SOPS 1811957 HAS SOUS 735439 HAS SOUPS 735439 WITH SCORE 737250.957
AT ITER 3841 NEW BEST:: SOT 3930385 SOS 1811943 HAS SOPS 1811943 HAS SOUS 735435 HAS SOUPS 735435 WITH SCORE 737246.943
AT ITER 3848 NEW BEST:: SOT 3929573 SOS 1809465 HAS SOPS 1809465 HAS SOUS 734945 HAS SOUPS 734945 WITH SCORE 736754.465
AT ITER 3849 NEW BEST:: SOT 3929085 SOS 1808237 HAS SOPS 1808237 HAS SOUS 734937 HAS SOUPS 734937 WITH SCORE 736745.237
AT ITER 3851 NEW BEST:: SOT 3928443 SOS 1806632 HAS SOPS 1806632 HAS SOUS 734937 HAS SOUPS 734937 WITH SCORE 736743.632
AT ITER 3870 NEW BEST:: SOT 3928193 SOS 1805882 HAS SOPS 1805882 HAS SOUS 734812 HAS SOUPS 734812 WITH SCORE 736617.882
AT ITER 3874 NEW BEST:: SOT 3927515 SOS 1804186 HAS SOPS 1804186 HAS SOUS 734811 HAS SOUPS 734811 WITH SCORE 736615.186
AT ITER 3876 NEW BEST:: SOT 3926749 SOS 1801515 HAS SOPS 1801515 HAS SOUS 734608 HAS SOUPS 734608 WITH SCORE 736409.515
AT ITER 3902 NEW BEST:: SOT 3926749 SOS 1801326 HAS SOPS 1801326 HAS SOUS 734607 HAS SOUPS 734607 WITH SCORE 736408.326
AT ITER 3937 NEW BEST:: SOT 3926784 SOS 1801089 HAS SOPS 1801089 HAS SOUS 734335 HAS SOUPS 734335 WITH SCORE 736136.089
AT ITER 3939 NEW BEST:: SOT 3926642 SOS 1800805 HAS SOPS 1800805 HAS SOUS 734193 HAS SOUPS 734193 WITH SCORE 735993.805
AT ITER 3941 NEW BEST:: SOT 3926298 SOS 1799945 HAS SOPS 1799945 HAS SOUS 734193 HAS SOUPS 734193 WITH SCORE 735992.945
AT ITER 3944 NEW BEST:: SOT 3925952 SOS 1799255 HAS SOPS 1799255 HAS SOUS 733954 HAS SOUPS 733954 WITH SCORE 735753.255
AT ITER 3956 NEW BEST:: SOT 3925836 SOS 1799023 HAS SOPS 1799023 HAS SOUS 733840 HAS SOUPS 733840 WITH SCORE 735639.023
AT ITER 3970 NEW BEST:: SOT 3925749 SOS 1798847 HAS SOPS 1798847 HAS SOUS 733809 HAS SOUPS 733809 WITH SCORE 735607.847
AT ITER 3979 NEW BEST:: SOT 3925279 SOS 1797464 HAS SOPS 1797464 HAS SOUS 733619 HAS SOUPS 733619 WITH SCORE 735416.464
AT ITER 3995 NEW BEST:: SOT 3925279 SOS 1797322 HAS SOPS 1797322 HAS SOUS 733477 HAS SOUPS 733477 WITH SCORE 735274.322
AT ITER 3996 NEW BEST:: SOT 3924661 SOS 1795775 HAS SOPS 1795775 HAS SOUS 733475 HAS SOUPS 733475 WITH SCORE 735270.775
AT ITER 4001 NEW BEST:: SOT 3923641 SOS 1792772 HAS SOPS 1792772 HAS SOUS 733209 HAS SOUPS 733209 WITH SCORE 735001.772
AT ITER 4002 NEW BEST:: SOT 3923867 SOS 1793436 HAS SOPS 1793436 HAS SOUS 733011 HAS SOUPS 733011 WITH SCORE 734804.436
AT ITER 4013 NEW BEST:: SOT 3922727 SOS 1790016 HAS SOPS 1790016 HAS SOUS 732439 HAS SOUPS 732439 WITH SCORE 734229.016
AT ITER 4026 NEW BEST:: SOT 3923044 SOS 1790907 HAS SOPS 1790907 HAS SOUS 732335 HAS SOUPS 732335 WITH SCORE 734125.907
AT ITER 4041 NEW BEST:: SOT 3922719 SOS 1789999 HAS SOPS 1789999 HAS SOUS 732334 HAS SOUPS 732334 WITH SCORE 734123.999
AT ITER 4048 NEW BEST:: SOT 3922663 SOS 1789859 HAS SOPS 1789859 HAS SOUS 732334 HAS SOUPS 732334 WITH SCORE 734123.859
AT ITER 4053 NEW BEST:: SOT 3922258 SOS 1789041 HAS SOPS 1789041 HAS SOUS 732308 HAS SOUPS 732308 WITH SCORE 734097.041
AT ITER 4075 NEW BEST:: SOT 3922394 SOS 1788515 HAS SOPS 1788515 HAS SOUS 732108 HAS SOUPS 732108 WITH SCORE 733896.515
AT ITER 4085 NEW BEST:: SOT 3921029 SOS 1784412 HAS SOPS 1784412 HAS SOUS 731631 HAS SOUPS 731631 WITH SCORE 733415.412
AT ITER 4091 NEW BEST:: SOT 3920988 SOS 1784452 HAS SOPS 1784452 HAS SOUS 731478 HAS SOUPS 731478 WITH SCORE 733262.452
AT ITER 4098 NEW BEST:: SOT 3920970 SOS 1784398 HAS SOPS 1784398 HAS SOUS 731469 HAS SOUPS 731469 WITH SCORE 733253.398
AT ITER 4116 NEW BEST:: SOT 3920970 SOS 1784214 HAS SOPS 1784214 HAS SOUS 731285 HAS SOUPS 731285 WITH SCORE 733069.214
AT ITER 4120 NEW BEST:: SOT 3920970 SOS 1784214 HAS SOPS 1784214 HAS SOUS 731281 HAS SOUPS 731281 WITH SCORE 733065.214
AT ITER 4124 NEW BEST:: SOT 3920516 SOS 1783076 HAS SOPS 1783076 HAS SOUS 731276 HAS SOUPS 731276 WITH SCORE 733059.076
AT ITER 4135 NEW BEST:: SOT 3920060 SOS 1781708 HAS SOPS 1781708 HAS SOUS 731048 HAS SOUPS 731048 WITH SCORE 732829.708
AT ITER 4138 NEW BEST:: SOT 3919130 SOS 1779095 HAS SOPS 1779095 HAS SOUS 730967 HAS SOUPS 730967 WITH SCORE 732746.095
AT ITER 4154 NEW BEST:: SOT 3918611 SOS 1777481 HAS SOPS 1777481 HAS SOUS 730736 HAS SOUPS 730736 WITH SCORE 732513.481
AT ITER 4160 NEW BEST:: SOT 3918537 SOS 1777331 HAS SOPS 1777331 HAS SOUS 730722 HAS SOUPS 730722 WITH SCORE 732499.331
AT ITER 4173 NEW BEST:: SOT 3918503 SOS 1777263 HAS SOPS 1777263 HAS SOUS 730722 HAS SOUPS 730722 WITH SCORE 732499.263
AT ITER 4199 NEW BEST:: SOT 3917080 SOS 1772843 HAS SOPS 1772843 HAS SOUS 729742 HAS SOUPS 729742 WITH SCORE 731514.843
AT ITER 4262 NEW BEST:: SOT 3916387 SOS 1770573 HAS SOPS 1770573 HAS SOUS 729491 HAS SOUPS 729491 WITH SCORE 731261.573
AT ITER 4280 NEW BEST:: SOT 3915511 SOS 1768383 HAS SOPS 1768383 HAS SOUS 729491 HAS SOUPS 729491 WITH SCORE 731259.383
AT ITER 4296 NEW BEST:: SOT 3915455 SOS 1768092 HAS SOPS 1768092 HAS SOUS 729256 HAS SOUPS 729256 WITH SCORE 731024.092
AT ITER 4302 NEW BEST:: SOT 3915429 SOS 1768027 HAS SOPS 1768027 HAS SOUS 729241 HAS SOUPS 729241 WITH SCORE 731009.027
AT ITER 4314 NEW BEST:: SOT 3915425 SOS 1768018 HAS SOPS 1768018 HAS SOUS 729236 HAS SOUPS 729236 WITH SCORE 731004.018
AT ITER 4323 NEW BEST:: SOT 3915003 SOS 1766582 HAS SOPS 1766582 HAS SOUS 728518 HAS SOUPS 728518 WITH SCORE 730284.582
AT ITER 4335 NEW BEST:: SOT 3914343 SOS 1764659 HAS SOPS 1764659 HAS SOUS 728245 HAS SOUPS 728245 WITH SCORE 730009.659
AT ITER 4341 NEW BEST:: SOT 3914127 SOS 1764227 HAS SOPS 1764227 HAS SOUS 728029 HAS SOUPS 728029 WITH SCORE 729793.227
AT ITER 4349 NEW BEST:: SOT 3914127 SOS 1764176 HAS SOPS 1764176 HAS SOUS 727974 HAS SOUPS 727974 WITH SCORE 729738.176
AT ITER 4352 NEW BEST:: SOT 3914127 SOS 1764224 HAS SOPS 1764224 HAS SOUS 727910 HAS SOUPS 727910 WITH SCORE 729674.224
AT ITER 4355 NEW BEST:: SOT 3912942 SOS 1761854 HAS SOPS 1761854 HAS SOUS 727238 HAS SOUPS 727238 WITH SCORE 728999.854
AT ITER 4388 NEW BEST:: SOT 3910766 SOS 1755833 HAS SOPS 1755833 HAS SOUS 726972 HAS SOUPS 726972 WITH SCORE 728727.833
AT ITER 4389 NEW BEST:: SOT 3910289 SOS 1754879 HAS SOPS 1754879 HAS SOUS 726579 HAS SOUPS 726579 WITH SCORE 728333.879
AT ITER 4392 NEW BEST:: SOT 3909204 SOS 1751914 HAS SOPS 1751914 HAS SOUS 726512 HAS SOUPS 726512 WITH SCORE 728263.914
AT ITER 4395 NEW BEST:: SOT 3908296 SOS 1748972 HAS SOPS 1748972 HAS SOUS 726220 HAS SOUPS 726220 WITH SCORE 727968.972
AT ITER 4401 NEW BEST:: SOT 3907816 SOS 1747533 HAS SOPS 1747533 HAS SOUS 725981 HAS SOUPS 725981 WITH SCORE 727728.533
AT ITER 4416 NEW BEST:: SOT 3907682 SOS 1746997 HAS SOPS 1746997 HAS SOUS 725981 HAS SOUPS 725981 WITH SCORE 727727.997
AT ITER 4423 NEW BEST:: SOT 3907615 SOS 1746729 HAS SOPS 1746729 HAS SOUS 725914 HAS SOUPS 725914 WITH SCORE 727660.729
AT ITER 4431 NEW BEST:: SOT 3907027 SOS 1744965 HAS SOPS 1744965 HAS SOUS 725032 HAS SOUPS 725032 WITH SCORE 726776.965
AT ITER 4438 NEW BEST:: SOT 3906615 SOS 1743545 HAS SOPS 1743545 HAS SOUS 724798 HAS SOUPS 724798 WITH SCORE 726541.545
AT ITER 4445 NEW BEST:: SOT 3905523 SOS 1741358 HAS SOPS 1741358 HAS SOUS 724431 HAS SOUPS 724431 WITH SCORE 726172.358
AT ITER 4447 NEW BEST:: SOT 3904833 SOS 1738382 HAS SOPS 1738382 HAS SOUS 724375 HAS SOUPS 724375 WITH SCORE 726113.382
AT ITER 4495 NEW BEST:: SOT 3904820 SOS 1738285 HAS SOPS 1738285 HAS SOUS 724289 HAS SOUPS 724289 WITH SCORE 726027.285
AT ITER 4499 NEW BEST:: SOT 3904496 SOS 1738305 HAS SOPS 1738305 HAS SOUS 723587 HAS SOUPS 723587 WITH SCORE 725325.305
AT ITER 4509 NEW BEST:: SOT 3903532 SOS 1735511 HAS SOPS 1735511 HAS SOUS 723535 HAS SOUPS 723535 WITH SCORE 725270.511
AT ITER 4513 NEW BEST:: SOT 3903532 SOS 1735330 HAS SOPS 1735330 HAS SOUS 723150 HAS SOUPS 723150 WITH SCORE 724885.33
AT ITER 4517 NEW BEST:: SOT 3902523 SOS 1734321 HAS SOPS 1734321 HAS SOUS 722139 HAS SOUPS 722139 WITH SCORE 723873.321
AT ITER 4524 NEW BEST:: SOT 3902671 SOS 1734620 HAS SOPS 1734620 HAS SOUS 722001 HAS SOUPS 722001 WITH SCORE 723735.62
AT ITER 4526 NEW BEST:: SOT 3902221 SOS 1733492 HAS SOPS 1733492 HAS SOUS 721996 HAS SOUPS 721996 WITH SCORE 723729.492
AT ITER 4553 NEW BEST:: SOT 3901447 SOS 1731686 HAS SOPS 1731686 HAS SOUS 721480 HAS SOUPS 721480 WITH SCORE 723211.686
AT ITER 4556 NEW BEST:: SOT 3900593 SOS 1729978 HAS SOPS 1729978 HAS SOUS 721480 HAS SOUPS 721480 WITH SCORE 723209.978
AT ITER 4570 NEW BEST:: SOT 3900567 SOS 1729706 HAS SOPS 1729706 HAS SOUS 721234 HAS SOUPS 721234 WITH SCORE 722963.706
AT ITER 4572 NEW BEST:: SOT 3900130 SOS 1728197 HAS SOPS 1728197 HAS SOUS 721179 HAS SOUPS 721179 WITH SCORE 722907.197
AT ITER 4585 NEW BEST:: SOT 3900224 SOS 1728479 HAS SOPS 1728479 HAS SOUS 721085 HAS SOUPS 721085 WITH SCORE 722813.479
AT ITER 4586 NEW BEST:: SOT 3900052 SOS 1727963 HAS SOPS 1727963 HAS SOUS 720999 HAS SOUPS 720999 WITH SCORE 722726.963
AT ITER 4587 NEW BEST:: SOT 3900052 SOS 1727963 HAS SOPS 1727963 HAS SOUS 720997 HAS SOUPS 720997 WITH SCORE 722724.963
AT ITER 4593 NEW BEST:: SOT 3900037 SOS 1727933 HAS SOPS 1727933 HAS SOUS 720997 HAS SOUPS 720997 WITH SCORE 722724.933
AT ITER 4608 NEW BEST:: SOT 3900062 SOS 1728008 HAS SOPS 1728008 HAS SOUS 720972 HAS SOUPS 720972 WITH SCORE 722700.008
AT ITER 4609 NEW BEST:: SOT 3899177 SOS 1725943 HAS SOPS 1725943 HAS SOUS 720382 HAS SOUPS 720382 WITH SCORE 722107.943
AT ITER 4628 NEW BEST:: SOT 3899153 SOS 1725851 HAS SOPS 1725851 HAS SOUS 720380 HAS SOUPS 720380 WITH SCORE 722105.851
AT ITER 4629 NEW BEST:: SOT 3897263 SOS 1721125 HAS SOPS 1721125 HAS SOUS 720379 HAS SOUPS 720379 WITH SCORE 722100.125
AT ITER 4632 NEW BEST:: SOT 3897245 SOS 1721053 HAS SOPS 1721053 HAS SOUS 720379 HAS SOUPS 720379 WITH SCORE 722100.053
AT ITER 4637 NEW BEST:: SOT 3897182 SOS 1720927 HAS SOPS 1720927 HAS SOUS 720316 HAS SOUPS 720316 WITH SCORE 722036.927
AT ITER 4650 NEW BEST:: SOT 3897202 SOS 1720933 HAS SOPS 1720933 HAS SOUS 720302 HAS SOUPS 720302 WITH SCORE 722022.933
AT ITER 4666 NEW BEST:: SOT 3897202 SOS 1720879 HAS SOPS 1720879 HAS SOUS 720248 HAS SOUPS 720248 WITH SCORE 721968.879
AT ITER 4684 NEW BEST:: SOT 3896786 SOS 1720047 HAS SOPS 1720047 HAS SOUS 719856 HAS SOUPS 719856 WITH SCORE 721576.047
AT ITER 4713 NEW BEST:: SOT 3896683 SOS 1719480 HAS SOPS 1719480 HAS SOUS 719683 HAS SOUPS 719683 WITH SCORE 721402.48
AT ITER 4719 NEW BEST:: SOT 3896681 SOS 1719476 HAS SOPS 1719476 HAS SOUS 719681 HAS SOUPS 719681 WITH SCORE 721400.476
AT ITER 4723 NEW BEST:: SOT 3896681 SOS 1719376 HAS SOPS 1719376 HAS SOUS 719577 HAS SOUPS 719577 WITH SCORE 721296.376
AT ITER 4725 NEW BEST:: SOT 3895613 SOS 1717240 HAS SOPS 1717240 HAS SOUS 718542 HAS SOUPS 718542 WITH SCORE 720259.24
AT ITER 4756 NEW BEST:: SOT 3895635 SOS 1717153 HAS SOPS 1717153 HAS SOUS 718433 HAS SOUPS 718433 WITH SCORE 720150.153
AT ITER 4760 NEW BEST:: SOT 3895635 SOS 1717152 HAS SOPS 1717152 HAS SOUS 718426 HAS SOUPS 718426 WITH SCORE 720143.152
AT ITER 4761 NEW BEST:: SOT 3895289 SOS 1716172 HAS SOPS 1716172 HAS SOUS 718121 HAS SOUPS 718121 WITH SCORE 719837.172
AT ITER 4774 NEW BEST:: SOT 3895079 SOS 1715647 HAS SOPS 1715647 HAS SOUS 718121 HAS SOUPS 718121 WITH SCORE 719836.647
AT ITER 4784 NEW BEST:: SOT 3895079 SOS 1715646 HAS SOPS 1715646 HAS SOUS 718120 HAS SOUPS 718120 WITH SCORE 719835.646
AT ITER 4792 NEW BEST:: SOT 3895141 SOS 1715428 HAS SOPS 1715428 HAS SOUS 718026 HAS SOUPS 718026 WITH SCORE 719741.428
AT ITER 4796 NEW BEST:: SOT 3894676 SOS 1714845 HAS SOPS 1714845 HAS SOUS 717921 HAS SOUPS 717921 WITH SCORE 719635.845
AT ITER 4805 NEW BEST:: SOT 3893498 SOS 1711897 HAS SOPS 1711897 HAS SOUS 717916 HAS SOUPS 717916 WITH SCORE 719627.897
AT ITER 4806 NEW BEST:: SOT 3893135 SOS 1710667 HAS SOPS 1710667 HAS SOUS 717805 HAS SOUPS 717805 WITH SCORE 719515.667
AT ITER 4809 NEW BEST:: SOT 3892994 SOS 1710382 HAS SOPS 1710382 HAS SOUS 717753 HAS SOUPS 717753 WITH SCORE 719463.382
AT ITER 4811 NEW BEST:: SOT 3892132 SOS 1707943 HAS SOPS 1707943 HAS SOUS 717469 HAS SOUPS 717469 WITH SCORE 719176.943
AT ITER 4817 NEW BEST:: SOT 3892056 SOS 1707715 HAS SOPS 1707715 HAS SOUS 717431 HAS SOUPS 717431 WITH SCORE 719138.715
AT ITER 4832 NEW BEST:: SOT 3891701 SOS 1706067 HAS SOPS 1706067 HAS SOUS 716732 HAS SOUPS 716732 WITH SCORE 718438.067
AT ITER 4847 NEW BEST:: SOT 3891157 SOS 1704979 HAS SOPS 1704979 HAS SOUS 716188 HAS SOUPS 716188 WITH SCORE 717892.979
AT ITER 4868 NEW BEST:: SOT 3891529 SOS 1704405 HAS SOPS 1704405 HAS SOUS 715974 HAS SOUPS 715974 WITH SCORE 717678.405
AT ITER 4869 NEW BEST:: SOT 3891529 SOS 1704320 HAS SOPS 1704320 HAS SOUS 715885 HAS SOUPS 715885 WITH SCORE 717589.32
AT ITER 4887 NEW BEST:: SOT 3890068 SOS 1700299 HAS SOPS 1700299 HAS SOUS 715734 HAS SOUPS 715734 WITH SCORE 717434.299
AT ITER 4889 NEW BEST:: SOT 3889208 SOS 1697605 HAS SOPS 1697605 HAS SOUS 715280 HAS SOUPS 715280 WITH SCORE 716977.605
AT ITER 4894 NEW BEST:: SOT 3889120 SOS 1697341 HAS SOPS 1697341 HAS SOUS 715236 HAS SOUPS 715236 WITH SCORE 716933.341
AT ITER 4906 NEW BEST:: SOT 3887522 SOS 1692490 HAS SOPS 1692490 HAS SOUS 714629 HAS SOUPS 714629 WITH SCORE 716321.49
AT ITER 4915 NEW BEST:: SOT 3886406 SOS 1689284 HAS SOPS 1689284 HAS SOUS 714363 HAS SOUPS 714363 WITH SCORE 716052.284
AT ITER 4921 NEW BEST:: SOT 3886086 SOS 1688644 HAS SOPS 1688644 HAS SOUS 714043 HAS SOUPS 714043 WITH SCORE 715731.644
AT ITER 4922 NEW BEST:: SOT 3886086 SOS 1688644 HAS SOPS 1688644 HAS SOUS 714037 HAS SOUPS 714037 WITH SCORE 715725.644
AT ITER 4935 NEW BEST:: SOT 3885664 SOS 1687797 HAS SOPS 1687797 HAS SOUS 713610 HAS SOUPS 713610 WITH SCORE 715297.797
AT ITER 4945 NEW BEST:: SOT 3884190 SOS 1684846 HAS SOPS 1684846 HAS SOUS 713569 HAS SOUPS 713569 WITH SCORE 715253.846
AT ITER 4950 NEW BEST:: SOT 3884096 SOS 1684560 HAS SOPS 1684560 HAS SOUS 713524 HAS SOUPS 713524 WITH SCORE 715208.56
AT ITER 4951 NEW BEST:: SOT 3882819 SOS 1681446 HAS SOPS 1681446 HAS SOUS 712895 HAS SOUPS 712895 WITH SCORE 714576.446
AT ITER 4954 NEW BEST:: SOT 3881927 SOS 1678893 HAS SOPS 1678893 HAS SOUS 712794 HAS SOUPS 712794 WITH SCORE 714472.893
AT ITER 4959 NEW BEST:: SOT 3881698 SOS 1678879 HAS SOPS 1678879 HAS SOUS 712776 HAS SOUPS 712776 WITH SCORE 714454.879
AT ITER 4973 NEW BEST:: SOT 3881410 SOS 1678157 HAS SOPS 1678157 HAS SOUS 712774 HAS SOUPS 712774 WITH SCORE 714452.157
AT ITER 4987 NEW BEST:: SOT 3881404 SOS 1678139 HAS SOPS 1678139 HAS SOUS 712767 HAS SOUPS 712767 WITH SCORE 714445.139
AT ITER 4996 NEW BEST:: SOT 3881660 SOS 1679827 HAS SOPS 1679827 HAS SOUS 712737 HAS SOUPS 712737 WITH SCORE 714416.827
AT ITER 5023 NEW BEST:: SOT 3881329 SOS 1678328 HAS SOPS 1678328 HAS SOUS 712722 HAS SOUPS 712722 WITH SCORE 714400.328
AT ITER 5027 NEW BEST:: SOT 3881329 SOS 1678326 HAS SOPS 1678326 HAS SOUS 712721 HAS SOUPS 712721 WITH SCORE 714399.326
AT ITER 5029 NEW BEST:: SOT 3880568 SOS 1676636 HAS SOPS 1676636 HAS SOUS 712039 HAS SOUPS 712039 WITH SCORE 713715.636
AT ITER 5034 NEW BEST:: SOT 3880524 SOS 1676327 HAS SOPS 1676327 HAS SOUS 711774 HAS SOUPS 711774 WITH SCORE 713450.327
AT ITER 5037 NEW BEST:: SOT 3880396 SOS 1676007 HAS SOPS 1676007 HAS SOUS 711774 HAS SOUPS 711774 WITH SCORE 713450.007
AT ITER 5045 NEW BEST:: SOT 3880189 SOS 1675593 HAS SOPS 1675593 HAS SOUS 711567 HAS SOUPS 711567 WITH SCORE 713242.593
AT ITER 5049 NEW BEST:: SOT 3880582 SOS 1675519 HAS SOPS 1675519 HAS SOUS 711554 HAS SOUPS 711554 WITH SCORE 713229.519
AT ITER 5093 NEW BEST:: SOT 3880049 SOS 1673922 HAS SOPS 1673922 HAS SOUS 711285 HAS SOUPS 711285 WITH SCORE 712958.922
AT ITER 5096 NEW BEST:: SOT 3879869 SOS 1674003 HAS SOPS 1674003 HAS SOUS 711165 HAS SOUPS 711165 WITH SCORE 712839.003
AT ITER 5103 NEW BEST:: SOT 3879874 SOS 1674013 HAS SOPS 1674013 HAS SOUS 711155 HAS SOUPS 711155 WITH SCORE 712829.013
AT ITER 5123 NEW BEST:: SOT 3879834 SOS 1673933 HAS SOPS 1673933 HAS SOUS 711115 HAS SOUPS 711115 WITH SCORE 712788.933
AT ITER 5125 NEW BEST:: SOT 3879068 SOS 1672401 HAS SOPS 1672401 HAS SOUS 710159 HAS SOUPS 710159 WITH SCORE 711831.401
AT ITER 5132 NEW BEST:: SOT 3877536 SOS 1667660 HAS SOPS 1667660 HAS SOUS 709575 HAS SOUPS 709575 WITH SCORE 711242.66
AT ITER 5160 NEW BEST:: SOT 3877920 SOS 1668717 HAS SOPS 1668717 HAS SOUS 709552 HAS SOUPS 709552 WITH SCORE 711220.717
AT ITER 5170 NEW BEST:: SOT 3877920 SOS 1668504 HAS SOPS 1668504 HAS SOUS 709335 HAS SOUPS 709335 WITH SCORE 711003.504
AT ITER 5176 NEW BEST:: SOT 3877849 SOS 1668362 HAS SOPS 1668362 HAS SOUS 709259 HAS SOUPS 709259 WITH SCORE 710927.362
AT ITER 5187 NEW BEST:: SOT 3877361 SOS 1667142 HAS SOPS 1667142 HAS SOUS 709259 HAS SOUPS 709259 WITH SCORE 710926.142
AT ITER 5216 NEW BEST:: SOT 3876762 SOS 1667262 HAS SOPS 1667262 HAS SOUS 709187 HAS SOUPS 709187 WITH SCORE 710854.262
AT ITER 5230 NEW BEST:: SOT 3875654 SOS 1662562 HAS SOPS 1662562 HAS SOUS 708905 HAS SOUPS 708905 WITH SCORE 710567.562
AT ITER 5245 NEW BEST:: SOT 3875403 SOS 1661779 HAS SOPS 1661779 HAS SOUS 708889 HAS SOUPS 708889 WITH SCORE 710550.779
AT ITER 5252 NEW BEST:: SOT 3875384 SOS 1661741 HAS SOPS 1661741 HAS SOUS 708870 HAS SOUPS 708870 WITH SCORE 710531.741
AT ITER 5262 NEW BEST:: SOT 3874930 SOS 1660831 HAS SOPS 1660831 HAS SOUS 708786 HAS SOUPS 708786 WITH SCORE 710446.831
AT ITER 5273 NEW BEST:: SOT 3874955 SOS 1660712 HAS SOPS 1660712 HAS SOUS 708638 HAS SOUPS 708638 WITH SCORE 710298.712
AT ITER 5282 NEW BEST:: SOT 3873791 SOS 1657220 HAS SOPS 1657220 HAS SOUS 708056 HAS SOUPS 708056 WITH SCORE 709713.22
AT ITER 5297 NEW BEST:: SOT 3872931 SOS 1654797 HAS SOPS 1654797 HAS SOUS 707781 HAS SOUPS 707781 WITH SCORE 709435.797
AT ITER 5301 NEW BEST:: SOT 3872931 SOS 1654797 HAS SOPS 1654797 HAS SOUS 707779 HAS SOUPS 707779 WITH SCORE 709433.797
AT ITER 5306 NEW BEST:: SOT 3872179 SOS 1652914 HAS SOPS 1652914 HAS SOUS 707774 HAS SOUPS 707774 WITH SCORE 709426.914
AT ITER 5311 NEW BEST:: SOT 3870598 SOS 1649720 HAS SOPS 1649720 HAS SOUS 707573 HAS SOUPS 707573 WITH SCORE 709222.72
AT ITER 5315 NEW BEST:: SOT 3870564 SOS 1649618 HAS SOPS 1649618 HAS SOUS 707522 HAS SOUPS 707522 WITH SCORE 709171.618
AT ITER 5316 NEW BEST:: SOT 3870450 SOS 1649072 HAS SOPS 1649072 HAS SOUS 707522 HAS SOUPS 707522 WITH SCORE 709171.072
AT ITER 5322 NEW BEST:: SOT 3869428 SOS 1646201 HAS SOPS 1646201 HAS SOUS 707206 HAS SOUPS 707206 WITH SCORE 708852.201
AT ITER 5327 NEW BEST:: SOT 3869428 SOS 1646201 HAS SOPS 1646201 HAS SOUS 706772 HAS SOUPS 706772 WITH SCORE 708418.201
AT ITER 5330 NEW BEST:: SOT 3868798 SOS 1644561 HAS SOPS 1644561 HAS SOUS 706707 HAS SOUPS 706707 WITH SCORE 708351.561
AT ITER 5348 NEW BEST:: SOT 3867362 SOS 1640449 HAS SOPS 1640449 HAS SOUS 706473 HAS SOUPS 706473 WITH SCORE 708113.449
AT ITER 5353 NEW BEST:: SOT 3867362 SOS 1640449 HAS SOPS 1640449 HAS SOUS 706451 HAS SOUPS 706451 WITH SCORE 708091.449
AT ITER 5355 NEW BEST:: SOT 3867065 SOS 1639809 HAS SOPS 1639809 HAS SOUS 706236 HAS SOUPS 706236 WITH SCORE 707875.809
AT ITER 5357 NEW BEST:: SOT 3866633 SOS 1638729 HAS SOPS 1638729 HAS SOUS 706236 HAS SOUPS 706236 WITH SCORE 707874.729
AT ITER 5360 NEW BEST:: SOT 3866654 SOS 1638708 HAS SOPS 1638708 HAS SOUS 706225 HAS SOUPS 706225 WITH SCORE 707863.708
AT ITER 5372 NEW BEST:: SOT 3866638 SOS 1638676 HAS SOPS 1638676 HAS SOUS 706209 HAS SOUPS 706209 WITH SCORE 707847.676
AT ITER 5379 NEW BEST:: SOT 3866574 SOS 1638322 HAS SOPS 1638322 HAS SOUS 705919 HAS SOUPS 705919 WITH SCORE 707557.322
AT ITER 5380 NEW BEST:: SOT 3865740 SOS 1635820 HAS SOPS 1635820 HAS SOUS 705500 HAS SOUPS 705500 WITH SCORE 707135.82
AT ITER 5387 NEW BEST:: SOT 3865681 SOS 1635761 HAS SOPS 1635761 HAS SOUS 705077 HAS SOUPS 705077 WITH SCORE 706712.761
AT ITER 5394 NEW BEST:: SOT 3864913 SOS 1633841 HAS SOPS 1633841 HAS SOUS 705077 HAS SOUPS 705077 WITH SCORE 706710.841
AT ITER 5401 NEW BEST:: SOT 3864887 SOS 1633786 HAS SOPS 1633786 HAS SOUS 705046 HAS SOUPS 705046 WITH SCORE 706679.786
AT ITER 5411 NEW BEST:: SOT 3864290 SOS 1632592 HAS SOPS 1632592 HAS SOUS 704302 HAS SOUPS 704302 WITH SCORE 705934.592
AT ITER 5428 NEW BEST:: SOT 3864254 SOS 1632448 HAS SOPS 1632448 HAS SOUS 704302 HAS SOUPS 704302 WITH SCORE 705934.448
AT ITER 5441 NEW BEST:: SOT 3864254 SOS 1632448 HAS SOPS 1632448 HAS SOUS 704298 HAS SOUPS 704298 WITH SCORE 705930.448
AT ITER 5450 NEW BEST:: SOT 3864254 SOS 1632448 HAS SOPS 1632448 HAS SOUS 704296 HAS SOUPS 704296 WITH SCORE 705928.448
AT ITER 5455 NEW BEST:: SOT 3864501 SOS 1632355 HAS SOPS 1632355 HAS SOUS 703702 HAS SOUPS 703702 WITH SCORE 705334.355
AT ITER 5464 NEW BEST:: SOT 3864501 SOS 1632370 HAS SOPS 1632370 HAS SOUS 703687 HAS SOUPS 703687 WITH SCORE 705319.37
AT ITER 5469 NEW BEST:: SOT 3864315 SOS 1631998 HAS SOPS 1631998 HAS SOUS 703456 HAS SOUPS 703456 WITH SCORE 705087.998
AT ITER 5479 NEW BEST:: SOT 3864150 SOS 1631668 HAS SOPS 1631668 HAS SOUS 703126 HAS SOUPS 703126 WITH SCORE 704757.668
AT ITER 5500 NEW BEST:: SOT 3863980 SOS 1631158 HAS SOPS 1631158 HAS SOUS 702871 HAS SOUPS 702871 WITH SCORE 704502.158
AT ITER 5502 NEW BEST:: SOT 3863532 SOS 1630037 HAS SOPS 1630037 HAS SOUS 702870 HAS SOUPS 702870 WITH SCORE 704500.037
AT ITER 5526 NEW BEST:: SOT 3863467 SOS 1629861 HAS SOPS 1629861 HAS SOUS 702759 HAS SOUPS 702759 WITH SCORE 704388.861
AT ITER 5532 NEW BEST:: SOT 3863477 SOS 1630212 HAS SOPS 1630212 HAS SOUS 702407 HAS SOUPS 702407 WITH SCORE 704037.212
AT ITER 5536 NEW BEST:: SOT 3862285 SOS 1626728 HAS SOPS 1626728 HAS SOUS 702119 HAS SOUPS 702119 WITH SCORE 703745.728
AT ITER 5538 NEW BEST:: SOT 3861141 SOS 1623296 HAS SOPS 1623296 HAS SOUS 701545 HAS SOUPS 701545 WITH SCORE 703168.296
AT ITER 5550 NEW BEST:: SOT 3861603 SOS 1624602 HAS SOPS 1624602 HAS SOUS 701411 HAS SOUPS 701411 WITH SCORE 703035.602
AT ITER 5551 NEW BEST:: SOT 3861351 SOS 1623854 HAS SOPS 1623854 HAS SOUS 701293 HAS SOUPS 701293 WITH SCORE 702916.854
AT ITER 5563 NEW BEST:: SOT 3861400 SOS 1624001 HAS SOPS 1624001 HAS SOUS 701244 HAS SOUPS 701244 WITH SCORE 702868.001
AT ITER 5566 NEW BEST:: SOT 3860422 SOS 1621176 HAS SOPS 1621176 HAS SOUS 700442 HAS SOUPS 700442 WITH SCORE 702063.176
AT ITER 5585 NEW BEST:: SOT 3860133 SOS 1620598 HAS SOPS 1620598 HAS SOUS 700153 HAS SOUPS 700153 WITH SCORE 701773.598
AT ITER 5586 NEW BEST:: SOT 3859461 SOS 1618918 HAS SOPS 1618918 HAS SOUS 700153 HAS SOUPS 700153 WITH SCORE 701771.918
AT ITER 5600 NEW BEST:: SOT 3859213 SOS 1618174 HAS SOPS 1618174 HAS SOUS 700029 HAS SOUPS 700029 WITH SCORE 701647.174
AT ITER 5615 NEW BEST:: SOT 3858937 SOS 1617346 HAS SOPS 1617346 HAS SOUS 699891 HAS SOUPS 699891 WITH SCORE 701508.346
AT ITER 5620 NEW BEST:: SOT 3858806 SOS 1616941 HAS SOPS 1616941 HAS SOUS 699333 HAS SOUPS 699333 WITH SCORE 700949.941
AT ITER 5640 NEW BEST:: SOT 3858838 SOS 1616967 HAS SOPS 1616967 HAS SOUS 698905 HAS SOUPS 698905 WITH SCORE 700521.967
AT ITER 5651 NEW BEST:: SOT 3858649 SOS 1616587 HAS SOPS 1616587 HAS SOUS 698714 HAS SOUPS 698714 WITH SCORE 700330.587
AT ITER 5675 NEW BEST:: SOT 3858463 SOS 1616122 HAS SOPS 1616122 HAS SOUS 698714 HAS SOUPS 698714 WITH SCORE 700330.122
AT ITER 5695 NEW BEST:: SOT 3858187 SOS 1615432 HAS SOPS 1615432 HAS SOUS 698714 HAS SOUPS 698714 WITH SCORE 700329.432
AT ITER 5698 NEW BEST:: SOT 3856557 SOS 1610413 HAS SOPS 1610413 HAS SOUS 697983 HAS SOUPS 697983 WITH SCORE 699593.413
AT ITER 5703 NEW BEST:: SOT 3856359 SOS 1610016 HAS SOPS 1610016 HAS SOUS 697916 HAS SOUPS 697916 WITH SCORE 699526.016
AT ITER 5706 NEW BEST:: SOT 3855917 SOS 1609710 HAS SOPS 1609710 HAS SOUS 697690 HAS SOUPS 697690 WITH SCORE 699299.71
AT ITER 5713 NEW BEST:: SOT 3855515 SOS 1608504 HAS SOPS 1608504 HAS SOUS 697489 HAS SOUPS 697489 WITH SCORE 699097.504
AT ITER 5727 NEW BEST:: SOT 3854740 SOS 1606342 HAS SOPS 1606342 HAS SOUS 697382 HAS SOUPS 697382 WITH SCORE 698988.342
AT ITER 5736 NEW BEST:: SOT 3854585 SOS 1605951 HAS SOPS 1605951 HAS SOUS 697227 HAS SOUPS 697227 WITH SCORE 698832.951
AT ITER 5750 NEW BEST:: SOT 3854585 SOS 1605951 HAS SOPS 1605951 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 698830.951
AT ITER 5759 NEW BEST:: SOT 3854492 SOS 1605494 HAS SOPS 1605494 HAS SOUS 696199 HAS SOUPS 696199 WITH SCORE 697804.494
AT ITER 5765 NEW BEST:: SOT 3854174 SOS 1604855 HAS SOPS 1604855 HAS SOUS 696182 HAS SOUPS 696182 WITH SCORE 697786.855
AT ITER 5776 NEW BEST:: SOT 3853514 SOS 1603534 HAS SOPS 1603534 HAS SOUS 695997 HAS SOUPS 695997 WITH SCORE 697600.534
AT ITER 5787 NEW BEST:: SOT 3853514 SOS 1603288 HAS SOPS 1603288 HAS SOUS 695751 HAS SOUPS 695751 WITH SCORE 697354.288
AT ITER 5794 NEW BEST:: SOT 3853477 SOS 1603214 HAS SOPS 1603214 HAS SOUS 695714 HAS SOUPS 695714 WITH SCORE 697317.214
AT ITER 5805 NEW BEST:: SOT 3852801 SOS 1600836 HAS SOPS 1600836 HAS SOUS 695524 HAS SOUPS 695524 WITH SCORE 697124.836
AT ITER 5806 NEW BEST:: SOT 3852741 SOS 1600716 HAS SOPS 1600716 HAS SOUS 695464 HAS SOUPS 695464 WITH SCORE 697064.716
AT ITER 5814 NEW BEST:: SOT 3851893 SOS 1598724 HAS SOPS 1598724 HAS SOUS 694350 HAS SOUPS 694350 WITH SCORE 695948.724
AT ITER 5836 NEW BEST:: SOT 3851787 SOS 1598512 HAS SOPS 1598512 HAS SOUS 694244 HAS SOUPS 694244 WITH SCORE 695842.512
AT ITER 5841 NEW BEST:: SOT 3851779 SOS 1598496 HAS SOPS 1598496 HAS SOUS 694228 HAS SOUPS 694228 WITH SCORE 695826.496
AT ITER 5866 NEW BEST:: SOT 3851588 SOS 1598114 HAS SOPS 1598114 HAS SOUS 694037 HAS SOUPS 694037 WITH SCORE 695635.114
AT ITER 5876 NEW BEST:: SOT 3850236 SOS 1594196 HAS SOPS 1594196 HAS SOUS 693499 HAS SOUPS 693499 WITH SCORE 695093.196
AT ITER 5897 NEW BEST:: SOT 3850151 SOS 1594013 HAS SOPS 1594013 HAS SOUS 693397 HAS SOUPS 693397 WITH SCORE 694991.013
AT ITER 5912 NEW BEST:: SOT 3849476 SOS 1591791 HAS SOPS 1591791 HAS SOUS 693158 HAS SOUPS 693158 WITH SCORE 694749.791
AT ITER 5913 NEW BEST:: SOT 3849164 SOS 1590859 HAS SOPS 1590859 HAS SOUS 692997 HAS SOUPS 692997 WITH SCORE 694587.859
AT ITER 5919 NEW BEST:: SOT 3849222 SOS 1591201 HAS SOPS 1591201 HAS SOUS 692790 HAS SOUPS 692790 WITH SCORE 694381.201
AT ITER 5938 NEW BEST:: SOT 3849150 SOS 1591018 HAS SOPS 1591018 HAS SOUS 692785 HAS SOUPS 692785 WITH SCORE 694376.018
AT ITER 5964 NEW BEST:: SOT 3849179 SOS 1591076 HAS SOPS 1591076 HAS SOUS 692780 HAS SOUPS 692780 WITH SCORE 694371.076
AT ITER 5968 NEW BEST:: SOT 3848969 SOS 1590809 HAS SOPS 1590809 HAS SOUS 692264 HAS SOUPS 692264 WITH SCORE 693854.809
AT ITER 5971 NEW BEST:: SOT 3848767 SOS 1590405 HAS SOPS 1590405 HAS SOUS 692062 HAS SOUPS 692062 WITH SCORE 693652.405
AT ITER 5983 NEW BEST:: SOT 3848495 SOS 1589589 HAS SOPS 1589589 HAS SOUS 691926 HAS SOUPS 691926 WITH SCORE 693515.589
AT ITER 5998 NEW BEST:: SOT 3848760 SOS 1590450 HAS SOPS 1590450 HAS SOUS 691853 HAS SOUPS 691853 WITH SCORE 693443.45
AT ITER 6011 NEW BEST:: SOT 3848218 SOS 1589087 HAS SOPS 1589087 HAS SOUS 691843 HAS SOUPS 691843 WITH SCORE 693432.087
AT ITER 6046 NEW BEST:: SOT 3847146 SOS 1585959 HAS SOPS 1585959 HAS SOUS 691714 HAS SOUPS 691714 WITH SCORE 693299.959
AT ITER 6060 NEW BEST:: SOT 3847120 SOS 1585537 HAS SOPS 1585537 HAS SOUS 691581 HAS SOUPS 691581 WITH SCORE 693166.537
AT ITER 6061 NEW BEST:: SOT 3846882 SOS 1584942 HAS SOPS 1584942 HAS SOUS 691462 HAS SOUPS 691462 WITH SCORE 693046.942
AT ITER 6062 NEW BEST:: SOT 3846607 SOS 1584045 HAS SOPS 1584045 HAS SOUS 691413 HAS SOUPS 691413 WITH SCORE 692997.045
AT ITER 6083 NEW BEST:: SOT 3846367 SOS 1583325 HAS SOPS 1583325 HAS SOUS 691293 HAS SOUPS 691293 WITH SCORE 692876.325
AT ITER 6085 NEW BEST:: SOT 3844692 SOS 1578302 HAS SOPS 1578302 HAS SOUS 690453 HAS SOUPS 690453 WITH SCORE 692031.302
AT ITER 6102 NEW BEST:: SOT 3844388 SOS 1577242 HAS SOPS 1577242 HAS SOUS 690375 HAS SOUPS 690375 WITH SCORE 691952.242
AT ITER 6158 NEW BEST:: SOT 3844284 SOS 1577209 HAS SOPS 1577209 HAS SOUS 689921 HAS SOUPS 689921 WITH SCORE 691498.209
AT ITER 6160 NEW BEST:: SOT 3843929 SOS 1576367 HAS SOPS 1576367 HAS SOUS 689601 HAS SOUPS 689601 WITH SCORE 691177.367
AT ITER 6179 NEW BEST:: SOT 3843700 SOS 1575909 HAS SOPS 1575909 HAS SOUS 689355 HAS SOUPS 689355 WITH SCORE 690930.909
AT ITER 6183 NEW BEST:: SOT 3843700 SOS 1575909 HAS SOPS 1575909 HAS SOUS 689349 HAS SOUPS 689349 WITH SCORE 690924.909
AT ITER 6194 NEW BEST:: SOT 3843032 SOS 1573905 HAS SOPS 1573905 HAS SOUS 688347 HAS SOUPS 688347 WITH SCORE 689920.905
AT ITER 6201 NEW BEST:: SOT 3843032 SOS 1573905 HAS SOPS 1573905 HAS SOUS 688345 HAS SOUPS 688345 WITH SCORE 689918.905
AT ITER 6214 NEW BEST:: SOT 3842615 SOS 1572926 HAS SOPS 1572926 HAS SOUS 688073 HAS SOUPS 688073 WITH SCORE 689645.926
AT ITER 6224 NEW BEST:: SOT 3842586 SOS 1572812 HAS SOPS 1572812 HAS SOUS 688072 HAS SOUPS 688072 WITH SCORE 689644.812
AT ITER 6244 NEW BEST:: SOT 3842549 SOS 1571336 HAS SOPS 1571336 HAS SOUS 688021 HAS SOUPS 688021 WITH SCORE 689592.336
AT ITER 6259 NEW BEST:: SOT 3842025 SOS 1569388 HAS SOPS 1569388 HAS SOUS 687945 HAS SOUPS 687945 WITH SCORE 689514.388
AT ITER 6261 NEW BEST:: SOT 3841369 SOS 1568076 HAS SOPS 1568076 HAS SOUS 687818 HAS SOUPS 687818 WITH SCORE 689386.076
AT ITER 6273 NEW BEST:: SOT 3840654 SOS 1565876 HAS SOPS 1565876 HAS SOUS 687728 HAS SOUPS 687728 WITH SCORE 689293.876
AT ITER 6291 NEW BEST:: SOT 3840654 SOS 1565829 HAS SOPS 1565829 HAS SOUS 687681 HAS SOUPS 687681 WITH SCORE 689246.829
AT ITER 6324 NEW BEST:: SOT 3839581 SOS 1562643 HAS SOPS 1562643 HAS SOUS 687416 HAS SOUPS 687416 WITH SCORE 688978.643
AT ITER 6328 NEW BEST:: SOT 3838634 SOS 1559777 HAS SOPS 1559777 HAS SOUS 686930 HAS SOUPS 686930 WITH SCORE 688489.777
AT ITER 6347 NEW BEST:: SOT 3838630 SOS 1559766 HAS SOPS 1559766 HAS SOUS 686929 HAS SOUPS 686929 WITH SCORE 688488.766
AT ITER 6378 NEW BEST:: SOT 3839214 SOS 1560934 HAS SOPS 1560934 HAS SOUS 686921 HAS SOUPS 686921 WITH SCORE 688481.934
AT ITER 6380 NEW BEST:: SOT 3839396 SOS 1561480 HAS SOPS 1561480 HAS SOUS 686739 HAS SOUPS 686739 WITH SCORE 688300.48
AT ITER 6388 NEW BEST:: SOT 3839076 SOS 1560680 HAS SOPS 1560680 HAS SOUS 686259 HAS SOUPS 686259 WITH SCORE 687819.68
AT ITER 6408 NEW BEST:: SOT 3838726 SOS 1559489 HAS SOPS 1559489 HAS SOUS 686163 HAS SOUPS 686163 WITH SCORE 687722.489
AT ITER 6451 NEW BEST:: SOT 3836507 SOS 1553756 HAS SOPS 1553756 HAS SOUS 683899 HAS SOUPS 683899 WITH SCORE 685452.756
AT ITER 6456 NEW BEST:: SOT 3836195 SOS 1552974 HAS SOPS 1552974 HAS SOUS 683897 HAS SOUPS 683897 WITH SCORE 685449.974
AT ITER 6478 NEW BEST:: SOT 3834451 SOS 1547488 HAS SOPS 1547488 HAS SOUS 682703 HAS SOUPS 682703 WITH SCORE 684250.488
AT ITER 6483 NEW BEST:: SOT 3834061 SOS 1546278 HAS SOPS 1546278 HAS SOUS 682528 HAS SOUPS 682528 WITH SCORE 684074.278
AT ITER 6484 NEW BEST:: SOT 3833993 SOS 1546730 HAS SOPS 1546730 HAS SOUS 682286 HAS SOUPS 682286 WITH SCORE 683832.73
AT ITER 6528 NEW BEST:: SOT 3832132 SOS 1541635 HAS SOPS 1541635 HAS SOUS 682223 HAS SOUPS 682223 WITH SCORE 683764.635
AT ITER 6536 NEW BEST:: SOT 3832132 SOS 1541635 HAS SOPS 1541635 HAS SOUS 682219 HAS SOUPS 682219 WITH SCORE 683760.635
AT ITER 6561 NEW BEST:: SOT 3831914 SOS 1541199 HAS SOPS 1541199 HAS SOUS 682001 HAS SOUPS 682001 WITH SCORE 683542.199
AT ITER 6564 NEW BEST:: SOT 3830963 SOS 1538667 HAS SOPS 1538667 HAS SOUS 680959 HAS SOUPS 680959 WITH SCORE 682497.667
AT ITER 6582 NEW BEST:: SOT 3830586 SOS 1537594 HAS SOPS 1537594 HAS SOUS 680932 HAS SOUPS 680932 WITH SCORE 682469.594
AT ITER 6583 NEW BEST:: SOT 3830393 SOS 1537401 HAS SOPS 1537401 HAS SOUS 680737 HAS SOUPS 680737 WITH SCORE 682274.401
AT ITER 6584 NEW BEST:: SOT 3829881 SOS 1536118 HAS SOPS 1536118 HAS SOUS 680732 HAS SOUPS 680732 WITH SCORE 682268.118
AT ITER 6597 NEW BEST:: SOT 3828909 SOS 1532990 HAS SOPS 1532990 HAS SOUS 680667 HAS SOUPS 680667 WITH SCORE 682199.99
AT ITER 6602 NEW BEST:: SOT 3828909 SOS 1532971 HAS SOPS 1532971 HAS SOUS 680648 HAS SOUPS 680648 WITH SCORE 682180.971
AT ITER 6607 NEW BEST:: SOT 3826789 SOS 1527296 HAS SOPS 1527296 HAS SOUS 680271 HAS SOUPS 680271 WITH SCORE 681798.296
AT ITER 6621 NEW BEST:: SOT 3826589 SOS 1526896 HAS SOPS 1526896 HAS SOUS 680018 HAS SOUPS 680018 WITH SCORE 681544.896
AT ITER 6627 NEW BEST:: SOT 3826245 SOS 1526208 HAS SOPS 1526208 HAS SOUS 679674 HAS SOUPS 679674 WITH SCORE 681200.208
AT ITER 6629 NEW BEST:: SOT 3825871 SOS 1525026 HAS SOPS 1525026 HAS SOUS 679517 HAS SOUPS 679517 WITH SCORE 681042.026
AT ITER 6688 NEW BEST:: SOT 3825651 SOS 1524474 HAS SOPS 1524474 HAS SOUS 679515 HAS SOUPS 679515 WITH SCORE 681039.474
AT ITER 6693 NEW BEST:: SOT 3824064 SOS 1521261 HAS SOPS 1521261 HAS SOUS 679348 HAS SOUPS 679348 WITH SCORE 680869.261
AT ITER 6695 NEW BEST:: SOT 3823646 SOS 1520215 HAS SOPS 1520215 HAS SOUS 679347 HAS SOUPS 679347 WITH SCORE 680867.215
AT ITER 6698 NEW BEST:: SOT 3823533 SOS 1519989 HAS SOPS 1519989 HAS SOUS 679234 HAS SOUPS 679234 WITH SCORE 680753.989
AT ITER 6712 NEW BEST:: SOT 3823123 SOS 1518759 HAS SOPS 1518759 HAS SOUS 679029 HAS SOUPS 679029 WITH SCORE 680547.759
AT ITER 6728 NEW BEST:: SOT 3822719 SOS 1517293 HAS SOPS 1517293 HAS SOUS 678358 HAS SOUPS 678358 WITH SCORE 679875.293
AT ITER 6774 NEW BEST:: SOT 3822754 SOS 1517398 HAS SOPS 1517398 HAS SOUS 678323 HAS SOUPS 678323 WITH SCORE 679840.398
AT ITER 6786 NEW BEST:: SOT 3822680 SOS 1517176 HAS SOPS 1517176 HAS SOUS 678286 HAS SOUPS 678286 WITH SCORE 679803.176
AT ITER 6791 NEW BEST:: SOT 3822680 SOS 1517176 HAS SOPS 1517176 HAS SOUS 678158 HAS SOUPS 678158 WITH SCORE 679675.176
AT ITER 6800 NEW BEST:: SOT 3822562 SOS 1516770 HAS SOPS 1516770 HAS SOUS 678125 HAS SOUPS 678125 WITH SCORE 679641.77
AT ITER 6806 NEW BEST:: SOT 3822562 SOS 1516716 HAS SOPS 1516716 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 679587.716
AT ITER 6807 NEW BEST:: SOT 3822180 SOS 1515428 HAS SOPS 1515428 HAS SOUS 677886 HAS SOUPS 677886 WITH SCORE 679401.428
AT ITER 6824 NEW BEST:: SOT 3822165 SOS 1515468 HAS SOPS 1515468 HAS SOUS 677786 HAS SOUPS 677786 WITH SCORE 679301.468
AT ITER 6826 NEW BEST:: SOT 3821035 SOS 1511954 HAS SOPS 1511954 HAS SOUS 677273 HAS SOUPS 677273 WITH SCORE 678784.954
AT ITER 6831 NEW BEST:: SOT 3819854 SOS 1509527 HAS SOPS 1509527 HAS SOUS 676975 HAS SOUPS 676975 WITH SCORE 678484.527
AT ITER 6848 NEW BEST:: SOT 3819782 SOS 1509311 HAS SOPS 1509311 HAS SOUS 676939 HAS SOUPS 676939 WITH SCORE 678448.311
AT ITER 6864 NEW BEST:: SOT 3819598 SOS 1508759 HAS SOPS 1508759 HAS SOUS 676847 HAS SOUPS 676847 WITH SCORE 678355.759
AT ITER 6889 NEW BEST:: SOT 3818610 SOS 1505795 HAS SOPS 1505795 HAS SOUS 676353 HAS SOUPS 676353 WITH SCORE 677858.795
AT ITER 6913 NEW BEST:: SOT 3818694 SOS 1506047 HAS SOPS 1506047 HAS SOUS 676269 HAS SOUPS 676269 WITH SCORE 677775.047
AT ITER 6941 NEW BEST:: SOT 3818682 SOS 1506023 HAS SOPS 1506023 HAS SOUS 676257 HAS SOUPS 676257 WITH SCORE 677763.023
AT ITER 6951 NEW BEST:: SOT 3816696 SOS 1499669 HAS SOPS 1499669 HAS SOUS 675687 HAS SOUPS 675687 WITH SCORE 677186.669
AT ITER 6954 NEW BEST:: SOT 3816680 SOS 1499628 HAS SOPS 1499628 HAS SOUS 675686 HAS SOUPS 675686 WITH SCORE 677185.628
AT ITER 6970 NEW BEST:: SOT 3816089 SOS 1497641 HAS SOPS 1497641 HAS SOUS 675523 HAS SOUPS 675523 WITH SCORE 677020.641
AT ITER 6975 NEW BEST:: SOT 3816043 SOS 1497526 HAS SOPS 1497526 HAS SOUS 675523 HAS SOUPS 675523 WITH SCORE 677020.526
AT ITER 6976 NEW BEST:: SOT 3816043 SOS 1497526 HAS SOPS 1497526 HAS SOUS 675035 HAS SOUPS 675035 WITH SCORE 676532.526
AT ITER 7008 NEW BEST:: SOT 3814672 SOS 1494784 HAS SOPS 1494784 HAS SOUS 674732 HAS SOUPS 674732 WITH SCORE 676226.784
AT ITER 7013 NEW BEST:: SOT 3814687 SOS 1494829 HAS SOPS 1494829 HAS SOUS 674717 HAS SOUPS 674717 WITH SCORE 676211.829
AT ITER 7018 NEW BEST:: SOT 3813787 SOS 1491513 HAS SOPS 1491513 HAS SOUS 673943 HAS SOUPS 673943 WITH SCORE 675434.513
AT ITER 7061 NEW BEST:: SOT 3812003 SOS 1487942 HAS SOPS 1487942 HAS SOUS 673934 HAS SOUPS 673934 WITH SCORE 675421.942
AT ITER 7070 NEW BEST:: SOT 3810451 SOS 1483286 HAS SOPS 1483286 HAS SOUS 673158 HAS SOUPS 673158 WITH SCORE 674641.286
AT ITER 7086 NEW BEST:: SOT 3810175 SOS 1482396 HAS SOPS 1482396 HAS SOUS 673069 HAS SOUPS 673069 WITH SCORE 674551.396
AT ITER 7093 NEW BEST:: SOT 3809951 SOS 1481724 HAS SOPS 1481724 HAS SOUS 672955 HAS SOUPS 672955 WITH SCORE 674436.724
AT ITER 7102 NEW BEST:: SOT 3809669 SOS 1481160 HAS SOPS 1481160 HAS SOUS 672604 HAS SOUPS 672604 WITH SCORE 674085.16
AT ITER 7153 NEW BEST:: SOT 3809165 SOS 1479648 HAS SOPS 1479648 HAS SOUS 672274 HAS SOUPS 672274 WITH SCORE 673753.648
AT ITER 7157 NEW BEST:: SOT 3808786 SOS 1477360 HAS SOPS 1477360 HAS SOUS 672270 HAS SOUPS 672270 WITH SCORE 673747.36
AT ITER 7176 NEW BEST:: SOT 3807868 SOS 1474551 HAS SOPS 1474551 HAS SOUS 671941 HAS SOUPS 671941 WITH SCORE 673415.551
AT ITER 7181 NEW BEST:: SOT 3808399 SOS 1475631 HAS SOPS 1475631 HAS SOUS 671923 HAS SOUPS 671923 WITH SCORE 673398.631
AT ITER 7192 NEW BEST:: SOT 3808399 SOS 1475630 HAS SOPS 1475630 HAS SOUS 671922 HAS SOUPS 671922 WITH SCORE 673397.63
AT ITER 7204 NEW BEST:: SOT 3808305 SOS 1475442 HAS SOPS 1475442 HAS SOUS 671766 HAS SOUPS 671766 WITH SCORE 673241.442
AT ITER 7212 NEW BEST:: SOT 3808143 SOS 1475037 HAS SOPS 1475037 HAS SOUS 671683 HAS SOUPS 671683 WITH SCORE 673158.037
AT ITER 7216 NEW BEST:: SOT 3808068 SOS 1474885 HAS SOPS 1474885 HAS SOUS 671656 HAS SOUPS 671656 WITH SCORE 673130.885
AT ITER 7221 NEW BEST:: SOT 3808068 SOS 1474885 HAS SOPS 1474885 HAS SOUS 671652 HAS SOUPS 671652 WITH SCORE 673126.885
AT ITER 7222 NEW BEST:: SOT 3807392 SOS 1472985 HAS SOPS 1472985 HAS SOUS 671378 HAS SOUPS 671378 WITH SCORE 672850.985
AT ITER 7239 NEW BEST:: SOT 3807331 SOS 1473169 HAS SOPS 1473169 HAS SOUS 671138 HAS SOUPS 671138 WITH SCORE 672611.169
AT ITER 7250 NEW BEST:: SOT 3806656 SOS 1471050 HAS SOPS 1471050 HAS SOUS 671137 HAS SOUPS 671137 WITH SCORE 672608.05
AT ITER 7255 NEW BEST:: SOT 3805446 SOS 1467517 HAS SOPS 1467517 HAS SOUS 670625 HAS SOUPS 670625 WITH SCORE 672092.517
AT ITER 7260 NEW BEST:: SOT 3805495 SOS 1467615 HAS SOPS 1467615 HAS SOUS 670382 HAS SOUPS 670382 WITH SCORE 671849.615
AT ITER 7262 NEW BEST:: SOT 3805437 SOS 1467311 HAS SOPS 1467311 HAS SOUS 670317 HAS SOUPS 670317 WITH SCORE 671784.311
AT ITER 7268 NEW BEST:: SOT 3805414 SOS 1467265 HAS SOPS 1467265 HAS SOUS 670068 HAS SOUPS 670068 WITH SCORE 671535.265
AT ITER 7280 NEW BEST:: SOT 3805414 SOS 1467117 HAS SOPS 1467117 HAS SOUS 669780 HAS SOUPS 669780 WITH SCORE 671247.117
AT ITER 7287 NEW BEST:: SOT 3805414 SOS 1467170 HAS SOPS 1467170 HAS SOUS 669767 HAS SOUPS 669767 WITH SCORE 671234.17
AT ITER 7313 NEW BEST:: SOT 3805381 SOS 1467037 HAS SOPS 1467037 HAS SOUS 669679 HAS SOUPS 669679 WITH SCORE 671146.037
AT ITER 7315 NEW BEST:: SOT 3804858 SOS 1465665 HAS SOPS 1465665 HAS SOUS 669482 HAS SOUPS 669482 WITH SCORE 670947.665
AT ITER 7333 NEW BEST:: SOT 3803676 SOS 1463298 HAS SOPS 1463298 HAS SOUS 669411 HAS SOUPS 669411 WITH SCORE 670874.298
AT ITER 7341 NEW BEST:: SOT 3803803 SOS 1463535 HAS SOPS 1463535 HAS SOUS 668819 HAS SOUPS 668819 WITH SCORE 670282.535
AT ITER 7348 NEW BEST:: SOT 3803725 SOS 1463338 HAS SOPS 1463338 HAS SOUS 668817 HAS SOUPS 668817 WITH SCORE 670280.338
AT ITER 7403 NEW BEST:: SOT 3803739 SOS 1463389 HAS SOPS 1463389 HAS SOUS 668812 HAS SOUPS 668812 WITH SCORE 670275.389
AT ITER 7418 NEW BEST:: SOT 3803624 SOS 1463044 HAS SOPS 1463044 HAS SOUS 668812 HAS SOUPS 668812 WITH SCORE 670275.044
AT ITER 7420 NEW BEST:: SOT 3803483 SOS 1462715 HAS SOPS 1462715 HAS SOUS 668718 HAS SOUPS 668718 WITH SCORE 670180.715
AT ITER 7424 NEW BEST:: SOT 3802265 SOS 1459686 HAS SOPS 1459686 HAS SOUS 666999 HAS SOUPS 666999 WITH SCORE 668458.686
AT ITER 7429 NEW BEST:: SOT 3801426 SOS 1457687 HAS SOPS 1457687 HAS SOUS 666772 HAS SOUPS 666772 WITH SCORE 668229.687
AT ITER 7435 NEW BEST:: SOT 3801328 SOS 1457589 HAS SOPS 1457589 HAS SOUS 666674 HAS SOUPS 666674 WITH SCORE 668131.589
AT ITER 7440 NEW BEST:: SOT 3801484 SOS 1458009 HAS SOPS 1458009 HAS SOUS 666614 HAS SOUPS 666614 WITH SCORE 668072.009
AT ITER 7456 NEW BEST:: SOT 3801429 SOS 1457997 HAS SOPS 1457997 HAS SOUS 666492 HAS SOUPS 666492 WITH SCORE 667949.997
AT ITER 7476 NEW BEST:: SOT 3800610 SOS 1456086 HAS SOPS 1456086 HAS SOUS 665946 HAS SOUPS 665946 WITH SCORE 667402.086
AT ITER 7496 NEW BEST:: SOT 3800418 SOS 1455702 HAS SOPS 1455702 HAS SOUS 665754 HAS SOUPS 665754 WITH SCORE 667209.702
AT ITER 7503 NEW BEST:: SOT 3800068 SOS 1455002 HAS SOPS 1455002 HAS SOUS 665754 HAS SOUPS 665754 WITH SCORE 667209.002
AT ITER 7525 NEW BEST:: SOT 3800336 SOS 1455538 HAS SOPS 1455538 HAS SOUS 665473 HAS SOUPS 665473 WITH SCORE 666928.538
AT ITER 7535 NEW BEST:: SOT 3799494 SOS 1453012 HAS SOPS 1453012 HAS SOUS 665052 HAS SOUPS 665052 WITH SCORE 666505.012
AT ITER 7545 NEW BEST:: SOT 3799511 SOS 1452639 HAS SOPS 1452639 HAS SOUS 664371 HAS SOUPS 664371 WITH SCORE 665823.639
AT ITER 7555 NEW BEST:: SOT 3799238 SOS 1452093 HAS SOPS 1452093 HAS SOUS 664371 HAS SOUPS 664371 WITH SCORE 665823.093
AT ITER 7562 NEW BEST:: SOT 3798922 SOS 1451147 HAS SOPS 1451147 HAS SOUS 664259 HAS SOUPS 664259 WITH SCORE 665710.147
AT ITER 7566 NEW BEST:: SOT 3798848 SOS 1450999 HAS SOPS 1450999 HAS SOUS 664155 HAS SOUPS 664155 WITH SCORE 665605.999
AT ITER 7577 NEW BEST:: SOT 3798596 SOS 1450038 HAS SOPS 1450038 HAS SOUS 664110 HAS SOUPS 664110 WITH SCORE 665560.038
AT ITER 7592 NEW BEST:: SOT 3798762 SOS 1450715 HAS SOPS 1450715 HAS SOUS 663730 HAS SOUPS 663730 WITH SCORE 665180.715
AT ITER 7593 NEW BEST:: SOT 3798762 SOS 1450120 HAS SOPS 1450120 HAS SOUS 663135 HAS SOUPS 663135 WITH SCORE 664585.12
AT ITER 7597 NEW BEST:: SOT 3798744 SOS 1450084 HAS SOPS 1450084 HAS SOUS 663117 HAS SOUPS 663117 WITH SCORE 664567.084
AT ITER 7605 NEW BEST:: SOT 3798062 SOS 1447989 HAS SOPS 1447989 HAS SOUS 662804 HAS SOUPS 662804 WITH SCORE 664251.989
AT ITER 7610 NEW BEST:: SOT 3797609 SOS 1447083 HAS SOPS 1447083 HAS SOUS 662351 HAS SOUPS 662351 WITH SCORE 663798.083
AT ITER 7635 NEW BEST:: SOT 3797609 SOS 1447085 HAS SOPS 1447085 HAS SOUS 662350 HAS SOUPS 662350 WITH SCORE 663797.085
AT ITER 7640 NEW BEST:: SOT 3797609 SOS 1447084 HAS SOPS 1447084 HAS SOUS 662327 HAS SOUPS 662327 WITH SCORE 663774.084
AT ITER 7652 NEW BEST:: SOT 3797609 SOS 1447068 HAS SOPS 1447068 HAS SOUS 662311 HAS SOUPS 662311 WITH SCORE 663758.068
AT ITER 7669 NEW BEST:: SOT 3797438 SOS 1446726 HAS SOPS 1446726 HAS SOUS 662100 HAS SOUPS 662100 WITH SCORE 663546.726
AT ITER 7677 NEW BEST:: SOT 3797274 SOS 1446234 HAS SOPS 1446234 HAS SOUS 662018 HAS SOUPS 662018 WITH SCORE 663464.234
AT ITER 7682 NEW BEST:: SOT 3797005 SOS 1445696 HAS SOPS 1445696 HAS SOUS 661749 HAS SOUPS 661749 WITH SCORE 663194.696
AT ITER 7692 NEW BEST:: SOT 3797005 SOS 1445643 HAS SOPS 1445643 HAS SOUS 661696 HAS SOUPS 661696 WITH SCORE 663141.643
AT ITER 7694 NEW BEST:: SOT 3796657 SOS 1443987 HAS SOPS 1443987 HAS SOUS 660992 HAS SOUPS 660992 WITH SCORE 662435.987
AT ITER 7706 NEW BEST:: SOT 3796657 SOS 1443929 HAS SOPS 1443929 HAS SOUS 660934 HAS SOUPS 660934 WITH SCORE 662377.929
AT ITER 7713 NEW BEST:: SOT 3796205 SOS 1442524 HAS SOPS 1442524 HAS SOUS 660896 HAS SOUPS 660896 WITH SCORE 662338.524
AT ITER 7717 NEW BEST:: SOT 3796205 SOS 1442475 HAS SOPS 1442475 HAS SOUS 660845 HAS SOUPS 660845 WITH SCORE 662287.475
AT ITER 7722 NEW BEST:: SOT 3794930 SOS 1438675 HAS SOPS 1438675 HAS SOUS 660669 HAS SOUPS 660669 WITH SCORE 662107.675
AT ITER 7726 NEW BEST:: SOT 3794930 SOS 1438675 HAS SOPS 1438675 HAS SOUS 660665 HAS SOUPS 660665 WITH SCORE 662103.675
AT ITER 7730 NEW BEST:: SOT 3794807 SOS 1438429 HAS SOPS 1438429 HAS SOUS 660542 HAS SOUPS 660542 WITH SCORE 661980.429
AT ITER 7732 NEW BEST:: SOT 3794807 SOS 1438429 HAS SOPS 1438429 HAS SOUS 660536 HAS SOUPS 660536 WITH SCORE 661974.429
AT ITER 7736 NEW BEST:: SOT 3794799 SOS 1438413 HAS SOPS 1438413 HAS SOUS 660203 HAS SOUPS 660203 WITH SCORE 661641.413
AT ITER 7778 NEW BEST:: SOT 3794914 SOS 1438498 HAS SOPS 1438498 HAS SOUS 660091 HAS SOUPS 660091 WITH SCORE 661529.498
AT ITER 7797 NEW BEST:: SOT 3795519 SOS 1439708 HAS SOPS 1439708 HAS SOUS 660072 HAS SOUPS 660072 WITH SCORE 661511.708
AT ITER 7802 NEW BEST:: SOT 3795553 SOS 1439810 HAS SOPS 1439810 HAS SOUS 660038 HAS SOUPS 660038 WITH SCORE 661477.81
AT ITER 7814 NEW BEST:: SOT 3795363 SOS 1439333 HAS SOPS 1439333 HAS SOUS 660036 HAS SOUPS 660036 WITH SCORE 661475.333
AT ITER 7830 NEW BEST:: SOT 3794950 SOS 1438047 HAS SOPS 1438047 HAS SOUS 659910 HAS SOUPS 659910 WITH SCORE 661348.047
AT ITER 7832 NEW BEST:: SOT 3793841 SOS 1434833 HAS SOPS 1434833 HAS SOUS 659734 HAS SOUPS 659734 WITH SCORE 661168.833
AT ITER 7844 NEW BEST:: SOT 3793532 SOS 1434239 HAS SOPS 1434239 HAS SOUS 659594 HAS SOUPS 659594 WITH SCORE 661028.239
AT ITER 7873 NEW BEST:: SOT 3793569 SOS 1434250 HAS SOPS 1434250 HAS SOUS 659565 HAS SOUPS 659565 WITH SCORE 660999.25
AT ITER 7878 NEW BEST:: SOT 3793523 SOS 1434112 HAS SOPS 1434112 HAS SOUS 659542 HAS SOUPS 659542 WITH SCORE 660976.112
AT ITER 7895 NEW BEST:: SOT 3793587 SOS 1434192 HAS SOPS 1434192 HAS SOUS 659491 HAS SOUPS 659491 WITH SCORE 660925.192
AT ITER 7900 NEW BEST:: SOT 3793573 SOS 1434164 HAS SOPS 1434164 HAS SOUS 659489 HAS SOUPS 659489 WITH SCORE 660923.164
AT ITER 7912 NEW BEST:: SOT 3793139 SOS 1432854 HAS SOPS 1432854 HAS SOUS 659276 HAS SOUPS 659276 WITH SCORE 660708.854
AT ITER 7929 NEW BEST:: SOT 3792398 SOS 1430626 HAS SOPS 1430626 HAS SOUS 658908 HAS SOUPS 658908 WITH SCORE 660338.626
AT ITER 7947 NEW BEST:: SOT 3791175 SOS 1428180 HAS SOPS 1428180 HAS SOUS 658908 HAS SOUPS 658908 WITH SCORE 660336.18
AT ITER 7958 NEW BEST:: SOT 3790623 SOS 1426304 HAS SOPS 1426304 HAS SOUS 657970 HAS SOUPS 657970 WITH SCORE 659396.304
AT ITER 7978 NEW BEST:: SOT 3790431 SOS 1425728 HAS SOPS 1425728 HAS SOUS 657874 HAS SOUPS 657874 WITH SCORE 659299.728
AT ITER 7986 NEW BEST:: SOT 3790431 SOS 1425586 HAS SOPS 1425586 HAS SOUS 657732 HAS SOUPS 657732 WITH SCORE 659157.586
AT ITER 7993 NEW BEST:: SOT 3790065 SOS 1424852 HAS SOPS 1424852 HAS SOUS 657364 HAS SOUPS 657364 WITH SCORE 658788.852
AT ITER 7995 NEW BEST:: SOT 3790022 SOS 1424690 HAS SOPS 1424690 HAS SOUS 657359 HAS SOUPS 657359 WITH SCORE 658783.69
AT ITER 8012 NEW BEST:: SOT 3790089 SOS 1424960 HAS SOPS 1424960 HAS SOUS 657358 HAS SOUPS 657358 WITH SCORE 658782.96
AT ITER 8028 NEW BEST:: SOT 3790089 SOS 1424946 HAS SOPS 1424946 HAS SOUS 657344 HAS SOUPS 657344 WITH SCORE 658768.946
AT ITER 8043 NEW BEST:: SOT 3790010 SOS 1424721 HAS SOPS 1424721 HAS SOUS 656892 HAS SOUPS 656892 WITH SCORE 658316.721
AT ITER 8054 NEW BEST:: SOT 3789374 SOS 1422779 HAS SOPS 1422779 HAS SOUS 656591 HAS SOUPS 656591 WITH SCORE 658013.779
AT ITER 8060 NEW BEST:: SOT 3788227 SOS 1419184 HAS SOPS 1419184 HAS SOUS 656226 HAS SOUPS 656226 WITH SCORE 657645.184
AT ITER 8079 NEW BEST:: SOT 3786684 SOS 1414599 HAS SOPS 1414599 HAS SOUS 655047 HAS SOUPS 655047 WITH SCORE 656461.599
AT ITER 8089 NEW BEST:: SOT 3786442 SOS 1414357 HAS SOPS 1414357 HAS SOUS 655046 HAS SOUPS 655046 WITH SCORE 656460.357
AT ITER 8101 NEW BEST:: SOT 3785031 SOS 1411535 HAS SOPS 1411535 HAS SOUS 653486 HAS SOUPS 653486 WITH SCORE 654897.535
AT ITER 8111 NEW BEST:: SOT 3784976 SOS 1411425 HAS SOPS 1411425 HAS SOUS 653431 HAS SOUPS 653431 WITH SCORE 654842.425
AT ITER 8118 NEW BEST:: SOT 3784836 SOS 1411005 HAS SOPS 1411005 HAS SOUS 653361 HAS SOUPS 653361 WITH SCORE 654772.005
AT ITER 8126 NEW BEST:: SOT 3784718 SOS 1410769 HAS SOPS 1410769 HAS SOUS 653243 HAS SOUPS 653243 WITH SCORE 654653.769
AT ITER 8143 NEW BEST:: SOT 3785188 SOS 1412394 HAS SOPS 1412394 HAS SOUS 652997 HAS SOUPS 652997 WITH SCORE 654409.394
AT ITER 8145 NEW BEST:: SOT 3785356 SOS 1413027 HAS SOPS 1413027 HAS SOUS 652982 HAS SOUPS 652982 WITH SCORE 654395.027
AT ITER 8155 NEW BEST:: SOT 3785325 SOS 1412934 HAS SOPS 1412934 HAS SOUS 652982 HAS SOUPS 652982 WITH SCORE 654394.934
AT ITER 8187 NEW BEST:: SOT 3785325 SOS 1412934 HAS SOPS 1412934 HAS SOUS 652912 HAS SOUPS 652912 WITH SCORE 654324.934
AT ITER 8200 NEW BEST:: SOT 3784265 SOS 1409760 HAS SOPS 1409760 HAS SOUS 652048 HAS SOUPS 652048 WITH SCORE 653457.76
AT ITER 8203 NEW BEST:: SOT 3784153 SOS 1409477 HAS SOPS 1409477 HAS SOUS 652045 HAS SOUPS 652045 WITH SCORE 653454.477
AT ITER 8224 NEW BEST:: SOT 3783715 SOS 1408972 HAS SOPS 1408972 HAS SOUS 651976 HAS SOUPS 651976 WITH SCORE 653384.972
AT ITER 8225 NEW BEST:: SOT 3783559 SOS 1408504 HAS SOPS 1408504 HAS SOUS 651742 HAS SOUPS 651742 WITH SCORE 653150.504
AT ITER 8228 NEW BEST:: SOT 3783627 SOS 1408759 HAS SOPS 1408759 HAS SOUS 651725 HAS SOUPS 651725 WITH SCORE 653133.759
AT ITER 8235 NEW BEST:: SOT 3782029 SOS 1404761 HAS SOPS 1404761 HAS SOUS 651720 HAS SOUPS 651720 WITH SCORE 653124.761
AT ITER 8313 NEW BEST:: SOT 3782011 SOS 1404842 HAS SOPS 1404842 HAS SOUS 651363 HAS SOUPS 651363 WITH SCORE 652767.842
AT ITER 8324 NEW BEST:: SOT 3781831 SOS 1404392 HAS SOPS 1404392 HAS SOUS 651363 HAS SOUPS 651363 WITH SCORE 652767.392
AT ITER 8332 NEW BEST:: SOT 3781362 SOS 1403010 HAS SOPS 1403010 HAS SOUS 651188 HAS SOUPS 651188 WITH SCORE 652591.01
AT ITER 8337 NEW BEST:: SOT 3781254 SOS 1402758 HAS SOPS 1402758 HAS SOUS 651044 HAS SOUPS 651044 WITH SCORE 652446.758
AT ITER 8338 NEW BEST:: SOT 3781218 SOS 1402686 HAS SOPS 1402686 HAS SOUS 651008 HAS SOUPS 651008 WITH SCORE 652410.686
AT ITER 8345 NEW BEST:: SOT 3780696 SOS 1401120 HAS SOPS 1401120 HAS SOUS 650547 HAS SOUPS 650547 WITH SCORE 651948.12
AT ITER 8351 NEW BEST:: SOT 3780663 SOS 1401043 HAS SOPS 1401043 HAS SOUS 650525 HAS SOUPS 650525 WITH SCORE 651926.043
AT ITER 8352 NEW BEST:: SOT 3780663 SOS 1400859 HAS SOPS 1400859 HAS SOUS 650341 HAS SOUPS 650341 WITH SCORE 651741.859
AT ITER 8361 NEW BEST:: SOT 3780256 SOS 1399808 HAS SOPS 1399808 HAS SOUS 649925 HAS SOUPS 649925 WITH SCORE 651324.808
AT ITER 8363 NEW BEST:: SOT 3780213 SOS 1399722 HAS SOPS 1399722 HAS SOUS 649882 HAS SOUPS 649882 WITH SCORE 651281.722
AT ITER 8382 NEW BEST:: SOT 3779769 SOS 1398390 HAS SOPS 1398390 HAS SOUS 649660 HAS SOUPS 649660 WITH SCORE 651058.39
AT ITER 8403 NEW BEST:: SOT 3779740 SOS 1398303 HAS SOPS 1398303 HAS SOUS 649602 HAS SOUPS 649602 WITH SCORE 651000.303
AT ITER 8440 NEW BEST:: SOT 3779740 SOS 1397639 HAS SOPS 1397639 HAS SOUS 648946 HAS SOUPS 648946 WITH SCORE 650343.639
AT ITER 8458 NEW BEST:: SOT 3779424 SOS 1396227 HAS SOPS 1396227 HAS SOUS 648263 HAS SOUPS 648263 WITH SCORE 649659.227
AT ITER 8460 NEW BEST:: SOT 3779246 SOS 1395693 HAS SOPS 1395693 HAS SOUS 648174 HAS SOUPS 648174 WITH SCORE 649569.693
AT ITER 8462 NEW BEST:: SOT 3778403 SOS 1393290 HAS SOPS 1393290 HAS SOUS 647595 HAS SOUPS 647595 WITH SCORE 648988.29
AT ITER 8473 NEW BEST:: SOT 3778554 SOS 1393918 HAS SOPS 1393918 HAS SOUS 647583 HAS SOUPS 647583 WITH SCORE 648976.918
AT ITER 8485 NEW BEST:: SOT 3778242 SOS 1393215 HAS SOPS 1393215 HAS SOUS 647343 HAS SOUPS 647343 WITH SCORE 648736.215
AT ITER 8498 NEW BEST:: SOT 3777772 SOS 1391838 HAS SOPS 1391838 HAS SOUS 647141 HAS SOUPS 647141 WITH SCORE 648532.838
AT ITER 8517 NEW BEST:: SOT 3777647 SOS 1391518 HAS SOPS 1391518 HAS SOUS 646886 HAS SOUPS 646886 WITH SCORE 648277.518
AT ITER 8519 NEW BEST:: SOT 3776489 SOS 1388577 HAS SOPS 1388577 HAS SOUS 646840 HAS SOUPS 646840 WITH SCORE 648228.577
AT ITER 8551 NEW BEST:: SOT 3776452 SOS 1387863 HAS SOPS 1387863 HAS SOUS 646783 HAS SOUPS 646783 WITH SCORE 648170.863
AT ITER 8563 NEW BEST:: SOT 3776925 SOS 1389327 HAS SOPS 1389327 HAS SOUS 646703 HAS SOUPS 646703 WITH SCORE 648092.327
AT ITER 8609 NEW BEST:: SOT 3775938 SOS 1386619 HAS SOPS 1386619 HAS SOUS 646187 HAS SOUPS 646187 WITH SCORE 647573.619
AT ITER 8628 NEW BEST:: SOT 3775242 SOS 1384879 HAS SOPS 1384879 HAS SOUS 646187 HAS SOUPS 646187 WITH SCORE 647571.879
AT ITER 8636 NEW BEST:: SOT 3775076 SOS 1384692 HAS SOPS 1384692 HAS SOUS 645142 HAS SOUPS 645142 WITH SCORE 646526.692
AT ITER 8651 NEW BEST:: SOT 3775076 SOS 1384692 HAS SOPS 1384692 HAS SOUS 645126 HAS SOUPS 645126 WITH SCORE 646510.692
AT ITER 8676 NEW BEST:: SOT 3774911 SOS 1384360 HAS SOPS 1384360 HAS SOUS 645069 HAS SOUPS 645069 WITH SCORE 646453.36
AT ITER 8686 NEW BEST:: SOT 3774892 SOS 1384322 HAS SOPS 1384322 HAS SOUS 645069 HAS SOUPS 645069 WITH SCORE 646453.322
AT ITER 8699 NEW BEST:: SOT 3774112 SOS 1384372 HAS SOPS 1384372 HAS SOUS 645002 HAS SOUPS 645002 WITH SCORE 646386.372
AT ITER 8727 NEW BEST:: SOT 3774112 SOS 1384370 HAS SOPS 1384370 HAS SOUS 645000 HAS SOUPS 645000 WITH SCORE 646384.37
AT ITER 8740 NEW BEST:: SOT 3774112 SOS 1384370 HAS SOPS 1384370 HAS SOUS 644848 HAS SOUPS 644848 WITH SCORE 646232.37
AT ITER 8746 NEW BEST:: SOT 3773214 SOS 1381652 HAS SOPS 1381652 HAS SOUS 643749 HAS SOUPS 643749 WITH SCORE 645130.652
AT ITER 8782 NEW BEST:: SOT 3772784 SOS 1380362 HAS SOPS 1380362 HAS SOUS 643104 HAS SOUPS 643104 WITH SCORE 644484.362
AT ITER 8789 NEW BEST:: SOT 3771486 SOS 1377117 HAS SOPS 1377117 HAS SOUS 643104 HAS SOUPS 643104 WITH SCORE 644481.117
AT ITER 8791 NEW BEST:: SOT 3770792 SOS 1375052 HAS SOPS 1375052 HAS SOUS 642774 HAS SOUPS 642774 WITH SCORE 644149.052
AT ITER 8801 NEW BEST:: SOT 3770664 SOS 1374732 HAS SOPS 1374732 HAS SOUS 642774 HAS SOUPS 642774 WITH SCORE 644148.732
AT ITER 8802 NEW BEST:: SOT 3770707 SOS 1374242 HAS SOPS 1374242 HAS SOUS 642717 HAS SOUPS 642717 WITH SCORE 644091.242
AT ITER 8824 NEW BEST:: SOT 3770509 SOS 1373747 HAS SOPS 1373747 HAS SOUS 642618 HAS SOUPS 642618 WITH SCORE 643991.747
AT ITER 8827 NEW BEST:: SOT 3770092 SOS 1372913 HAS SOPS 1372913 HAS SOUS 642201 HAS SOUPS 642201 WITH SCORE 643573.913
AT ITER 8834 NEW BEST:: SOT 3769423 SOS 1370613 HAS SOPS 1370613 HAS SOUS 642011 HAS SOUPS 642011 WITH SCORE 643381.613
AT ITER 8852 NEW BEST:: SOT 3769281 SOS 1370636 HAS SOPS 1370636 HAS SOUS 641786 HAS SOUPS 641786 WITH SCORE 643156.636
AT ITER 8859 NEW BEST:: SOT 3769194 SOS 1369288 HAS SOPS 1369288 HAS SOUS 641473 HAS SOUPS 641473 WITH SCORE 642842.288
AT ITER 8889 NEW BEST:: SOT 3769194 SOS 1369000 HAS SOPS 1369000 HAS SOUS 641183 HAS SOUPS 641183 WITH SCORE 642552.0
AT ITER 8890 NEW BEST:: SOT 3768305 SOS 1366430 HAS SOPS 1366430 HAS SOUS 640688 HAS SOUPS 640688 WITH SCORE 642054.43
AT ITER 8917 NEW BEST:: SOT 3768093 SOS 1366006 HAS SOPS 1366006 HAS SOUS 640688 HAS SOUPS 640688 WITH SCORE 642054.006
AT ITER 8932 NEW BEST:: SOT 3767772 SOS 1364958 HAS SOPS 1364958 HAS SOUS 640294 HAS SOUPS 640294 WITH SCORE 641658.958
AT ITER 8959 NEW BEST:: SOT 3766305 SOS 1362024 HAS SOPS 1362024 HAS SOUS 640105 HAS SOUPS 640105 WITH SCORE 641467.024
AT ITER 8970 NEW BEST:: SOT 3766140 SOS 1361694 HAS SOPS 1361694 HAS SOUS 640081 HAS SOUPS 640081 WITH SCORE 641442.694
AT ITER 8977 NEW BEST:: SOT 3766044 SOS 1361459 HAS SOPS 1361459 HAS SOUS 640038 HAS SOUPS 640038 WITH SCORE 641399.459
AT ITER 9001 NEW BEST:: SOT 3765999 SOS 1361369 HAS SOPS 1361369 HAS SOUS 639917 HAS SOUPS 639917 WITH SCORE 641278.369
AT ITER 9012 NEW BEST:: SOT 3765458 SOS 1359806 HAS SOPS 1359806 HAS SOUS 639867 HAS SOUPS 639867 WITH SCORE 641226.806
AT ITER 9046 NEW BEST:: SOT 3764541 SOS 1357092 HAS SOPS 1357092 HAS SOUS 639630 HAS SOUPS 639630 WITH SCORE 640987.092
AT ITER 9064 NEW BEST:: SOT 3763712 SOS 1354625 HAS SOPS 1354625 HAS SOUS 639128 HAS SOUPS 639128 WITH SCORE 640482.625
AT ITER 9070 NEW BEST:: SOT 3763600 SOS 1354401 HAS SOPS 1354401 HAS SOUS 639128 HAS SOUPS 639128 WITH SCORE 640482.401
AT ITER 9076 NEW BEST:: SOT 3763496 SOS 1354089 HAS SOPS 1354089 HAS SOUS 639076 HAS SOUPS 639076 WITH SCORE 640430.089
AT ITER 9083 NEW BEST:: SOT 3763496 SOS 1354059 HAS SOPS 1354059 HAS SOUS 639076 HAS SOUPS 639076 WITH SCORE 640430.059
AT ITER 9116 NEW BEST:: SOT 3763162 SOS 1353057 HAS SOPS 1353057 HAS SOUS 638909 HAS SOUPS 638909 WITH SCORE 640262.057
AT ITER 9147 NEW BEST:: SOT 3763084 SOS 1352862 HAS SOPS 1352862 HAS SOUS 638870 HAS SOUPS 638870 WITH SCORE 640222.862
AT ITER 9154 NEW BEST:: SOT 3763082 SOS 1352856 HAS SOPS 1352856 HAS SOUS 638869 HAS SOUPS 638869 WITH SCORE 640221.856
AT ITER 9155 NEW BEST:: SOT 3762955 SOS 1352602 HAS SOPS 1352602 HAS SOUS 638742 HAS SOUPS 638742 WITH SCORE 640094.602
AT ITER 9161 NEW BEST:: SOT 3762955 SOS 1352587 HAS SOPS 1352587 HAS SOUS 638735 HAS SOUPS 638735 WITH SCORE 640087.587
AT ITER 9162 NEW BEST:: SOT 3762957 SOS 1352699 HAS SOPS 1352699 HAS SOUS 638683 HAS SOUPS 638683 WITH SCORE 640035.699
AT ITER 9164 NEW BEST:: SOT 3762609 SOS 1352003 HAS SOPS 1352003 HAS SOUS 638335 HAS SOUPS 638335 WITH SCORE 639687.003
AT ITER 9169 NEW BEST:: SOT 3762613 SOS 1351647 HAS SOPS 1351647 HAS SOUS 638313 HAS SOUPS 638313 WITH SCORE 639664.647
AT ITER 9222 NEW BEST:: SOT 3762613 SOS 1351647 HAS SOPS 1351647 HAS SOUS 638311 HAS SOUPS 638311 WITH SCORE 639662.647
AT ITER 9225 NEW BEST:: SOT 3762613 SOS 1351647 HAS SOPS 1351647 HAS SOUS 638305 HAS SOUPS 638305 WITH SCORE 639656.647
AT ITER 9252 NEW BEST:: SOT 3762613 SOS 1351647 HAS SOPS 1351647 HAS SOUS 638265 HAS SOUPS 638265 WITH SCORE 639616.647
AT ITER 9267 NEW BEST:: SOT 3762955 SOS 1352548 HAS SOPS 1352548 HAS SOUS 638173 HAS SOUPS 638173 WITH SCORE 639525.548
AT ITER 9268 NEW BEST:: SOT 3761737 SOS 1349706 HAS SOPS 1349706 HAS SOUS 637355 HAS SOUPS 637355 WITH SCORE 638704.706
AT ITER 9281 NEW BEST:: SOT 3761737 SOS 1349705 HAS SOPS 1349705 HAS SOUS 637352 HAS SOUPS 637352 WITH SCORE 638701.705
AT ITER 9284 NEW BEST:: SOT 3760801 SOS 1346833 HAS SOPS 1346833 HAS SOUS 637098 HAS SOUPS 637098 WITH SCORE 638444.833
AT ITER 9308 NEW BEST:: SOT 3760637 SOS 1346505 HAS SOPS 1346505 HAS SOUS 636522 HAS SOUPS 636522 WITH SCORE 637868.505
AT ITER 9309 NEW BEST:: SOT 3760511 SOS 1346127 HAS SOPS 1346127 HAS SOUS 636459 HAS SOUPS 636459 WITH SCORE 637805.127
AT ITER 9321 NEW BEST:: SOT 3760463 SOS 1345983 HAS SOPS 1345983 HAS SOUS 636457 HAS SOUPS 636457 WITH SCORE 637802.983
AT ITER 9325 NEW BEST:: SOT 3760267 SOS 1344067 HAS SOPS 1344067 HAS SOUS 636179 HAS SOUPS 636179 WITH SCORE 637523.067
AT ITER 9337 NEW BEST:: SOT 3759789 SOS 1342556 HAS SOPS 1342556 HAS SOUS 635977 HAS SOUPS 635977 WITH SCORE 637319.556
AT ITER 9345 NEW BEST:: SOT 3759730 SOS 1342438 HAS SOPS 1342438 HAS SOUS 635927 HAS SOUPS 635927 WITH SCORE 637269.438
AT ITER 9350 NEW BEST:: SOT 3759286 SOS 1341328 HAS SOPS 1341328 HAS SOUS 635927 HAS SOUPS 635927 WITH SCORE 637268.328
AT ITER 9356 NEW BEST:: SOT 3759006 SOS 1340627 HAS SOPS 1340627 HAS SOUS 635926 HAS SOUPS 635926 WITH SCORE 637266.627
AT ITER 9366 NEW BEST:: SOT 3759004 SOS 1340625 HAS SOPS 1340625 HAS SOUS 635920 HAS SOUPS 635920 WITH SCORE 637260.625
AT ITER 9382 NEW BEST:: SOT 3759083 SOS 1340433 HAS SOPS 1340433 HAS SOUS 635781 HAS SOUPS 635781 WITH SCORE 637121.433
AT ITER 9413 NEW BEST:: SOT 3758856 SOS 1339736 HAS SOPS 1339736 HAS SOUS 635767 HAS SOUPS 635767 WITH SCORE 637106.736
AT ITER 9415 NEW BEST:: SOT 3758498 SOS 1338841 HAS SOPS 1338841 HAS SOUS 635767 HAS SOUPS 635767 WITH SCORE 637105.841
AT ITER 9422 NEW BEST:: SOT 3758498 SOS 1338840 HAS SOPS 1338840 HAS SOUS 635766 HAS SOUPS 635766 WITH SCORE 637104.84
AT ITER 9510 NEW BEST:: SOT 3758501 SOS 1338828 HAS SOPS 1338828 HAS SOUS 635749 HAS SOUPS 635749 WITH SCORE 637087.828
AT ITER 9524 NEW BEST:: SOT 3758407 SOS 1338592 HAS SOPS 1338592 HAS SOUS 635748 HAS SOUPS 635748 WITH SCORE 637086.592
AT ITER 9544 NEW BEST:: SOT 3758321 SOS 1338506 HAS SOPS 1338506 HAS SOUS 635662 HAS SOUPS 635662 WITH SCORE 637000.506
AT ITER 9554 NEW BEST:: SOT 3758121 SOS 1338486 HAS SOPS 1338486 HAS SOUS 635212 HAS SOUPS 635212 WITH SCORE 636550.486
AT ITER 9559 NEW BEST:: SOT 3757990 SOS 1338223 HAS SOPS 1338223 HAS SOUS 635080 HAS SOUPS 635080 WITH SCORE 636418.223
AT ITER 9619 NEW BEST:: SOT 3757675 SOS 1338179 HAS SOPS 1338179 HAS SOUS 634938 HAS SOUPS 634938 WITH SCORE 636276.179
AT ITER 9637 NEW BEST:: SOT 3756808 SOS 1337486 HAS SOPS 1337486 HAS SOUS 633893 HAS SOUPS 633893 WITH SCORE 635230.486
AT ITER 9653 NEW BEST:: SOT 3756645 SOS 1337088 HAS SOPS 1337088 HAS SOUS 633708 HAS SOUPS 633708 WITH SCORE 635045.088
AT ITER 9661 NEW BEST:: SOT 3756383 SOS 1336302 HAS SOPS 1336302 HAS SOUS 633577 HAS SOUPS 633577 WITH SCORE 634913.302
AT ITER 9666 NEW BEST:: SOT 3755864 SOS 1334858 HAS SOPS 1334858 HAS SOUS 633525 HAS SOUPS 633525 WITH SCORE 634859.858
AT ITER 9667 NEW BEST:: SOT 3755459 SOS 1334031 HAS SOPS 1334031 HAS SOUS 633373 HAS SOUPS 633373 WITH SCORE 634707.031
AT ITER 9679 NEW BEST:: SOT 3755369 SOS 1333812 HAS SOPS 1333812 HAS SOUS 633277 HAS SOUPS 633277 WITH SCORE 634610.812
AT ITER 9683 NEW BEST:: SOT 3755314 SOS 1333702 HAS SOPS 1333702 HAS SOUS 633102 HAS SOUPS 633102 WITH SCORE 634435.702
AT ITER 9686 NEW BEST:: SOT 3753931 SOS 1329774 HAS SOPS 1329774 HAS SOUS 631555 HAS SOUPS 631555 WITH SCORE 632884.774
AT ITER 9701 NEW BEST:: SOT 3753946 SOS 1329944 HAS SOPS 1329944 HAS SOUS 631500 HAS SOUPS 631500 WITH SCORE 632829.944
AT ITER 9706 NEW BEST:: SOT 3753652 SOS 1329356 HAS SOPS 1329356 HAS SOUS 631134 HAS SOUPS 631134 WITH SCORE 632463.356
AT ITER 9714 NEW BEST:: SOT 3753622 SOS 1329278 HAS SOPS 1329278 HAS SOUS 631129 HAS SOUPS 631129 WITH SCORE 632458.278
AT ITER 9753 NEW BEST:: SOT 3753823 SOS 1330298 HAS SOPS 1330298 HAS SOUS 631021 HAS SOUPS 631021 WITH SCORE 632351.298
AT ITER 9759 NEW BEST:: SOT 3753725 SOS 1329906 HAS SOPS 1329906 HAS SOUS 630974 HAS SOUPS 630974 WITH SCORE 632303.906
AT ITER 9780 NEW BEST:: SOT 3753405 SOS 1329293 HAS SOPS 1329293 HAS SOUS 630681 HAS SOUPS 630681 WITH SCORE 632010.293
AT ITER 9792 NEW BEST:: SOT 3753390 SOS 1329263 HAS SOPS 1329263 HAS SOUS 630666 HAS SOUPS 630666 WITH SCORE 631995.263
AT ITER 9810 NEW BEST:: SOT 3753326 SOS 1328757 HAS SOPS 1328757 HAS SOUS 630575 HAS SOUPS 630575 WITH SCORE 631903.757
AT ITER 9811 NEW BEST:: SOT 3753238 SOS 1328455 HAS SOPS 1328455 HAS SOUS 630556 HAS SOUPS 630556 WITH SCORE 631884.455
AT ITER 9817 NEW BEST:: SOT 3752976 SOS 1327407 HAS SOPS 1327407 HAS SOUS 629770 HAS SOUPS 629770 WITH SCORE 631097.407
AT ITER 9822 NEW BEST:: SOT 3752256 SOS 1326762 HAS SOPS 1326762 HAS SOUS 629396 HAS SOUPS 629396 WITH SCORE 630722.762
AT ITER 9858 NEW BEST:: SOT 3752256 SOS 1326522 HAS SOPS 1326522 HAS SOUS 629276 HAS SOUPS 629276 WITH SCORE 630602.522
AT ITER 9861 NEW BEST:: SOT 3752293 SOS 1326596 HAS SOPS 1326596 HAS SOUS 629198 HAS SOUPS 629198 WITH SCORE 630524.596
AT ITER 9863 NEW BEST:: SOT 3752293 SOS 1326426 HAS SOPS 1326426 HAS SOUS 628740 HAS SOUPS 628740 WITH SCORE 630066.426
AT ITER 9870 NEW BEST:: SOT 3751947 SOS 1325727 HAS SOPS 1325727 HAS SOUS 628657 HAS SOUPS 628657 WITH SCORE 629982.727
AT ITER 9885 NEW BEST:: SOT 3751473 SOS 1324779 HAS SOPS 1324779 HAS SOUS 628195 HAS SOUPS 628195 WITH SCORE 629519.779
AT ITER 9886 NEW BEST:: SOT 3751473 SOS 1325130 HAS SOPS 1325130 HAS SOUS 627844 HAS SOUPS 627844 WITH SCORE 629169.13
AT ITER 9906 NEW BEST:: SOT 3751473 SOS 1325130 HAS SOPS 1325130 HAS SOUS 627776 HAS SOUPS 627776 WITH SCORE 629101.13
AT ITER 9920 NEW BEST:: SOT 3750831 SOS 1323824 HAS SOPS 1323824 HAS SOUS 626935 HAS SOUPS 626935 WITH SCORE 628258.824
AT ITER 9922 NEW BEST:: SOT 3750813 SOS 1323788 HAS SOPS 1323788 HAS SOUS 626917 HAS SOUPS 626917 WITH SCORE 628240.788
AT ITER 9936 NEW BEST:: SOT 3750744 SOS 1323650 HAS SOPS 1323650 HAS SOUS 626848 HAS SOUPS 626848 WITH SCORE 628171.65
AT ITER 9940 NEW BEST:: SOT 3750708 SOS 1323541 HAS SOPS 1323541 HAS SOUS 626811 HAS SOUPS 626811 WITH SCORE 628134.541
AT ITER 9943 NEW BEST:: SOT 3750126 SOS 1321795 HAS SOPS 1321795 HAS SOUS 626704 HAS SOUPS 626704 WITH SCORE 628025.795
AT ITER 9964 NEW BEST:: SOT 3750047 SOS 1321479 HAS SOPS 1321479 HAS SOUS 626704 HAS SOUPS 626704 WITH SCORE 628025.479
AT ITER 9965 NEW BEST:: SOT 3750047 SOS 1321458 HAS SOPS 1321458 HAS SOUS 626704 HAS SOUPS 626704 WITH SCORE 628025.458
AT ITER 9966 NEW BEST:: SOT 3750023 SOS 1321410 HAS SOPS 1321410 HAS SOUS 626674 HAS SOUPS 626674 WITH SCORE 627995.41
AT ITER 9968 NEW BEST:: SOT 3749973 SOS 1321310 HAS SOPS 1321310 HAS SOUS 626624 HAS SOUPS 626624 WITH SCORE 627945.31
AT ITER 9985 NEW BEST:: SOT 3749130 SOS 1318289 HAS SOPS 1318289 HAS SOUS 626256 HAS SOUPS 626256 WITH SCORE 627574.289

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S04D1C1A04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S04D1C1A04, 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 r224-oct2-159033538900544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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