Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 11K Feb 25 20:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 20:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 20:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 20:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 20:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 20:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 20:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 20:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679198481692

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S04D1C1A04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 8 NEW BEST:: SOT 4268207 SOS 2703394 HAS SOPS 2703394 HAS SOUS 817201 HAS SOUPS 817201 WITH SCORE 819904.394
AT ITER 9 NEW BEST:: SOT 4264925 SOS 2696826 HAS SOPS 2696826 HAS SOUS 816569 HAS SOUPS 816569 WITH SCORE 819265.826
AT ITER 12 NEW BEST:: SOT 4264679 SOS 2696211 HAS SOPS 2696211 HAS SOUS 816569 HAS SOUPS 816569 WITH SCORE 819265.211
AT ITER 14 NEW BEST:: SOT 4262763 SOS 2691419 HAS SOPS 2691419 HAS SOUS 816567 HAS SOUPS 816567 WITH SCORE 819258.419
AT ITER 19 NEW BEST:: SOT 4261721 SOS 2688812 HAS SOPS 2688812 HAS SOUS 816565 HAS SOUPS 816565 WITH SCORE 819253.812
AT ITER 21 NEW BEST:: SOT 4260271 SOS 2685187 HAS SOPS 2685187 HAS SOUS 816565 HAS SOUPS 816565 WITH SCORE 819250.187
AT ITER 28 NEW BEST:: SOT 4258781 SOS 2681461 HAS SOPS 2681461 HAS SOUS 816564 HAS SOUPS 816564 WITH SCORE 819245.461
AT ITER 35 NEW BEST:: SOT 4257445 SOS 2678120 HAS SOPS 2678120 HAS SOUS 816563 HAS SOUPS 816563 WITH SCORE 819241.12
AT ITER 43 NEW BEST:: SOT 4256815 SOS 2676545 HAS SOPS 2676545 HAS SOUS 816563 HAS SOUPS 816563 WITH SCORE 819239.545
AT ITER 57 NEW BEST:: SOT 4255393 SOS 2672987 HAS SOPS 2672987 HAS SOUS 816558 HAS SOUPS 816558 WITH SCORE 819230.987
AT ITER 67 NEW BEST:: SOT 4254147 SOS 2669872 HAS SOPS 2669872 HAS SOUS 816558 HAS SOUPS 816558 WITH SCORE 819227.872
AT ITER 69 NEW BEST:: SOT 4250935 SOS 2663445 HAS SOPS 2663445 HAS SOUS 816214 HAS SOUPS 816214 WITH SCORE 818877.445
AT ITER 72 NEW BEST:: SOT 4249633 SOS 2660187 HAS SOPS 2660187 HAS SOUS 816209 HAS SOUPS 816209 WITH SCORE 818869.187
AT ITER 77 NEW BEST:: SOT 4248471 SOS 2657281 HAS SOPS 2657281 HAS SOUS 816208 HAS SOUPS 816208 WITH SCORE 818865.281
AT ITER 83 NEW BEST:: SOT 4246441 SOS 2651250 HAS SOPS 2651250 HAS SOUS 815252 HAS SOUPS 815252 WITH SCORE 817903.25
AT ITER 89 NEW BEST:: SOT 4244707 SOS 2646914 HAS SOPS 2646914 HAS SOUS 815251 HAS SOUPS 815251 WITH SCORE 817897.914
AT ITER 94 NEW BEST:: SOT 4243073 SOS 2642826 HAS SOPS 2642826 HAS SOUS 815246 HAS SOUPS 815246 WITH SCORE 817888.826
AT ITER 96 NEW BEST:: SOT 4241677 SOS 2639333 HAS SOPS 2639333 HAS SOUS 815241 HAS SOUPS 815241 WITH SCORE 817880.333
AT ITER 104 NEW BEST:: SOT 4240069 SOS 2635310 HAS SOPS 2635310 HAS SOUS 815236 HAS SOUPS 815236 WITH SCORE 817871.31
AT ITER 107 NEW BEST:: SOT 4238479 SOS 2631333 HAS SOPS 2631333 HAS SOUS 815234 HAS SOUPS 815234 WITH SCORE 817865.333
AT ITER 110 NEW BEST:: SOT 4237123 SOS 2627940 HAS SOPS 2627940 HAS SOUS 815229 HAS SOUPS 815229 WITH SCORE 817856.94
AT ITER 118 NEW BEST:: SOT 4235159 SOS 2623030 HAS SOPS 2623030 HAS SOUS 815229 HAS SOUPS 815229 WITH SCORE 817852.03
AT ITER 119 NEW BEST:: SOT 4235159 SOS 2623029 HAS SOPS 2623029 HAS SOUS 815228 HAS SOUPS 815228 WITH SCORE 817851.029
AT ITER 128 NEW BEST:: SOT 4234493 SOS 2621362 HAS SOPS 2621362 HAS SOUS 815226 HAS SOUPS 815226 WITH SCORE 817847.362
AT ITER 129 NEW BEST:: SOT 4231353 SOS 2615076 HAS SOPS 2615076 HAS SOUS 814688 HAS SOUPS 814688 WITH SCORE 817303.076
AT ITER 134 NEW BEST:: SOT 4230327 SOS 2612508 HAS SOPS 2612508 HAS SOUS 814683 HAS SOUPS 814683 WITH SCORE 817295.508
AT ITER 144 NEW BEST:: SOT 4228271 SOS 2607365 HAS SOPS 2607365 HAS SOUS 814678 HAS SOUPS 814678 WITH SCORE 817285.365
AT ITER 154 NEW BEST:: SOT 4226745 SOS 2603549 HAS SOPS 2603549 HAS SOUS 814677 HAS SOUPS 814677 WITH SCORE 817280.549
AT ITER 163 NEW BEST:: SOT 4224743 SOS 2598544 HAS SOPS 2598544 HAS SOUS 814677 HAS SOUPS 814677 WITH SCORE 817275.544
AT ITER 181 NEW BEST:: SOT 4224147 SOS 2597052 HAS SOPS 2597052 HAS SOUS 814675 HAS SOUPS 814675 WITH SCORE 817272.052
AT ITER 191 NEW BEST:: SOT 4222901 SOS 2593937 HAS SOPS 2593937 HAS SOUS 814675 HAS SOUPS 814675 WITH SCORE 817268.937
AT ITER 194 NEW BEST:: SOT 4221915 SOS 2591472 HAS SOPS 2591472 HAS SOUS 814675 HAS SOUPS 814675 WITH SCORE 817266.472
AT ITER 196 NEW BEST:: SOT 4220649 SOS 2588306 HAS SOPS 2588306 HAS SOUS 814674 HAS SOUPS 814674 WITH SCORE 817262.306
AT ITER 232 NEW BEST:: SOT 4219657 SOS 2585825 HAS SOPS 2585825 HAS SOUS 814673 HAS SOUPS 814673 WITH SCORE 817258.825
AT ITER 234 NEW BEST:: SOT 4218085 SOS 2581893 HAS SOPS 2581893 HAS SOUS 814671 HAS SOUPS 814671 WITH SCORE 817252.893
AT ITER 236 NEW BEST:: SOT 4217155 SOS 2579566 HAS SOPS 2579566 HAS SOUS 814669 HAS SOUPS 814669 WITH SCORE 817248.566
AT ITER 248 NEW BEST:: SOT 4215712 SOS 2575527 HAS SOPS 2575527 HAS SOUS 814608 HAS SOUPS 814608 WITH SCORE 817183.527
AT ITER 257 NEW BEST:: SOT 4213916 SOS 2571035 HAS SOPS 2571035 HAS SOUS 814606 HAS SOUPS 814606 WITH SCORE 817177.035
AT ITER 259 NEW BEST:: SOT 4213084 SOS 2568830 HAS SOPS 2568830 HAS SOUS 814481 HAS SOUPS 814481 WITH SCORE 817049.83
AT ITER 280 NEW BEST:: SOT 4212918 SOS 2568413 HAS SOPS 2568413 HAS SOUS 814479 HAS SOUPS 814479 WITH SCORE 817047.413
AT ITER 288 NEW BEST:: SOT 4211084 SOS 2563826 HAS SOPS 2563826 HAS SOUS 814477 HAS SOUPS 814477 WITH SCORE 817040.826
AT ITER 297 NEW BEST:: SOT 4209219 SOS 2558436 HAS SOPS 2558436 HAS SOUS 814060 HAS SOUPS 814060 WITH SCORE 816618.436
AT ITER 312 NEW BEST:: SOT 4209048 SOS 2558092 HAS SOPS 2558092 HAS SOUS 814001 HAS SOUPS 814001 WITH SCORE 816559.092
AT ITER 313 NEW BEST:: SOT 4206600 SOS 2553190 HAS SOPS 2553190 HAS SOUS 813656 HAS SOUPS 813656 WITH SCORE 816209.19
AT ITER 320 NEW BEST:: SOT 4205078 SOS 2549384 HAS SOPS 2549384 HAS SOUS 813655 HAS SOUPS 813655 WITH SCORE 816204.384
AT ITER 345 NEW BEST:: SOT 4204568 SOS 2548109 HAS SOPS 2548109 HAS SOUS 813655 HAS SOUPS 813655 WITH SCORE 816203.109
AT ITER 348 NEW BEST:: SOT 4203900 SOS 2546438 HAS SOPS 2546438 HAS SOUS 813654 HAS SOUPS 813654 WITH SCORE 816200.438
AT ITER 356 NEW BEST:: SOT 4202490 SOS 2542910 HAS SOPS 2542910 HAS SOUS 813649 HAS SOUPS 813649 WITH SCORE 816191.91
AT ITER 358 NEW BEST:: SOT 4201302 SOS 2538423 HAS SOPS 2538423 HAS SOUS 813572 HAS SOUPS 813572 WITH SCORE 816110.423
AT ITER 363 NEW BEST:: SOT 4200602 SOS 2536390 HAS SOPS 2536390 HAS SOUS 813354 HAS SOUPS 813354 WITH SCORE 815890.39
AT ITER 366 NEW BEST:: SOT 4199824 SOS 2534444 HAS SOPS 2534444 HAS SOUS 813353 HAS SOUPS 813353 WITH SCORE 815887.444
AT ITER 375 NEW BEST:: SOT 4199823 SOS 2534041 HAS SOPS 2534041 HAS SOUS 812948 HAS SOUPS 812948 WITH SCORE 815482.041
AT ITER 378 NEW BEST:: SOT 4199823 SOS 2534040 HAS SOPS 2534040 HAS SOUS 812947 HAS SOUPS 812947 WITH SCORE 815481.04
AT ITER 382 NEW BEST:: SOT 4199357 SOS 2532873 HAS SOPS 2532873 HAS SOUS 812945 HAS SOUPS 812945 WITH SCORE 815477.873
AT ITER 398 NEW BEST:: SOT 4198923 SOS 2531785 HAS SOPS 2531785 HAS SOUS 812940 HAS SOUPS 812940 WITH SCORE 815471.785
AT ITER 403 NEW BEST:: SOT 4198923 SOS 2531783 HAS SOPS 2531783 HAS SOUS 812938 HAS SOUPS 812938 WITH SCORE 815469.783
AT ITER 407 NEW BEST:: SOT 4198269 SOS 2530148 HAS SOPS 2530148 HAS SOUS 812938 HAS SOUPS 812938 WITH SCORE 815468.148
AT ITER 410 NEW BEST:: SOT 4196713 SOS 2526256 HAS SOPS 2526256 HAS SOUS 812936 HAS SOUPS 812936 WITH SCORE 815462.256
AT ITER 416 NEW BEST:: SOT 4195673 SOS 2523653 HAS SOPS 2523653 HAS SOUS 812931 HAS SOUPS 812931 WITH SCORE 815454.653
AT ITER 434 NEW BEST:: SOT 4194949 SOS 2521525 HAS SOPS 2521525 HAS SOUS 812611 HAS SOUPS 812611 WITH SCORE 815132.525
AT ITER 435 NEW BEST:: SOT 4193007 SOS 2516669 HAS SOPS 2516669 HAS SOUS 812610 HAS SOUPS 812610 WITH SCORE 815126.669
AT ITER 436 NEW BEST:: SOT 4190827 SOS 2510600 HAS SOPS 2510600 HAS SOUS 812309 HAS SOUPS 812309 WITH SCORE 814819.6
AT ITER 449 NEW BEST:: SOT 4190705 SOS 2510295 HAS SOPS 2510295 HAS SOUS 812309 HAS SOUPS 812309 WITH SCORE 814819.295
AT ITER 453 NEW BEST:: SOT 4190705 SOS 2510292 HAS SOPS 2510292 HAS SOUS 812304 HAS SOUPS 812304 WITH SCORE 814814.292
AT ITER 474 NEW BEST:: SOT 4189555 SOS 2507415 HAS SOPS 2507415 HAS SOUS 812302 HAS SOUPS 812302 WITH SCORE 814809.415
AT ITER 485 NEW BEST:: SOT 4186394 SOS 2501087 HAS SOPS 2501087 HAS SOUS 812091 HAS SOUPS 812091 WITH SCORE 814592.087
AT ITER 497 NEW BEST:: SOT 4184794 SOS 2497084 HAS SOPS 2497084 HAS SOUS 812086 HAS SOUPS 812086 WITH SCORE 814583.084
AT ITER 500 NEW BEST:: SOT 4183544 SOS 2493493 HAS SOPS 2493493 HAS SOUS 811616 HAS SOUPS 811616 WITH SCORE 814109.493
AT ITER 501 NEW BEST:: SOT 4183300 SOS 2492883 HAS SOPS 2492883 HAS SOUS 811616 HAS SOUPS 811616 WITH SCORE 814108.883
AT ITER 512 NEW BEST:: SOT 4182496 SOS 2491272 HAS SOPS 2491272 HAS SOUS 811519 HAS SOUPS 811519 WITH SCORE 814010.272
AT ITER 530 NEW BEST:: SOT 4181520 SOS 2488832 HAS SOPS 2488832 HAS SOUS 811519 HAS SOUPS 811519 WITH SCORE 814007.832
AT ITER 531 NEW BEST:: SOT 4180604 SOS 2486540 HAS SOPS 2486540 HAS SOUS 811517 HAS SOUPS 811517 WITH SCORE 814003.54
AT ITER 541 NEW BEST:: SOT 4180330 SOS 2485718 HAS SOPS 2485718 HAS SOUS 811378 HAS SOUPS 811378 WITH SCORE 813863.718
AT ITER 544 NEW BEST:: SOT 4178566 SOS 2481306 HAS SOPS 2481306 HAS SOUS 811376 HAS SOUPS 811376 WITH SCORE 813857.306
AT ITER 546 NEW BEST:: SOT 4175340 SOS 2473704 HAS SOPS 2473704 HAS SOUS 809734 HAS SOUPS 809734 WITH SCORE 812207.704
AT ITER 551 NEW BEST:: SOT 4174298 SOS 2471098 HAS SOPS 2471098 HAS SOUS 809733 HAS SOUPS 809733 WITH SCORE 812204.098
AT ITER 559 NEW BEST:: SOT 4173372 SOS 2468536 HAS SOPS 2468536 HAS SOUS 809666 HAS SOUPS 809666 WITH SCORE 812134.536
AT ITER 561 NEW BEST:: SOT 4173198 SOS 2468187 HAS SOPS 2468187 HAS SOUS 809607 HAS SOUPS 809607 WITH SCORE 812075.187
AT ITER 566 NEW BEST:: SOT 4170413 SOS 2462010 HAS SOPS 2462010 HAS SOUS 809479 HAS SOUPS 809479 WITH SCORE 811941.01
AT ITER 572 NEW BEST:: SOT 4169364 SOS 2458713 HAS SOPS 2458713 HAS SOUS 809365 HAS SOUPS 809365 WITH SCORE 811823.713
AT ITER 574 NEW BEST:: SOT 4168491 SOS 2456965 HAS SOPS 2456965 HAS SOUS 809312 HAS SOUPS 809312 WITH SCORE 811768.965
AT ITER 586 NEW BEST:: SOT 4167703 SOS 2454993 HAS SOPS 2454993 HAS SOUS 809310 HAS SOUPS 809310 WITH SCORE 811764.993
AT ITER 592 NEW BEST:: SOT 4166193 SOS 2451215 HAS SOPS 2451215 HAS SOUS 809305 HAS SOUPS 809305 WITH SCORE 811756.215
AT ITER 597 NEW BEST:: SOT 4164741 SOS 2447582 HAS SOPS 2447582 HAS SOUS 809300 HAS SOUPS 809300 WITH SCORE 811747.582
AT ITER 598 NEW BEST:: SOT 4163299 SOS 2443459 HAS SOPS 2443459 HAS SOUS 809052 HAS SOUPS 809052 WITH SCORE 811495.459
AT ITER 607 NEW BEST:: SOT 4163269 SOS 2443384 HAS SOPS 2443384 HAS SOUS 809052 HAS SOUPS 809052 WITH SCORE 811495.384
AT ITER 617 NEW BEST:: SOT 4163085 SOS 2442832 HAS SOPS 2442832 HAS SOUS 808960 HAS SOUPS 808960 WITH SCORE 811402.832
AT ITER 622 NEW BEST:: SOT 4161738 SOS 2440138 HAS SOPS 2440138 HAS SOUS 808511 HAS SOUPS 808511 WITH SCORE 810951.138
AT ITER 628 NEW BEST:: SOT 4159726 SOS 2435107 HAS SOPS 2435107 HAS SOUS 808510 HAS SOUPS 808510 WITH SCORE 810945.107
AT ITER 636 NEW BEST:: SOT 4159244 SOS 2433902 HAS SOPS 2433902 HAS SOUS 808510 HAS SOUPS 808510 WITH SCORE 810943.902
AT ITER 640 NEW BEST:: SOT 4157992 SOS 2430770 HAS SOPS 2430770 HAS SOUS 808508 HAS SOUPS 808508 WITH SCORE 810938.77
AT ITER 641 NEW BEST:: SOT 4157973 SOS 2430732 HAS SOPS 2430732 HAS SOUS 808489 HAS SOUPS 808489 WITH SCORE 810919.732
AT ITER 663 NEW BEST:: SOT 4156617 SOS 2427340 HAS SOPS 2427340 HAS SOUS 808487 HAS SOUPS 808487 WITH SCORE 810914.34
AT ITER 669 NEW BEST:: SOT 4154389 SOS 2420744 HAS SOPS 2420744 HAS SOUS 807461 HAS SOUPS 807461 WITH SCORE 809881.744
AT ITER 677 NEW BEST:: SOT 4154031 SOS 2419849 HAS SOPS 2419849 HAS SOUS 807461 HAS SOUPS 807461 WITH SCORE 809880.849
AT ITER 679 NEW BEST:: SOT 4150969 SOS 2413662 HAS SOPS 2413662 HAS SOUS 807277 HAS SOUPS 807277 WITH SCORE 809690.662
AT ITER 684 NEW BEST:: SOT 4150969 SOS 2413661 HAS SOPS 2413661 HAS SOUS 807276 HAS SOUPS 807276 WITH SCORE 809689.661
AT ITER 686 NEW BEST:: SOT 4149161 SOS 2408280 HAS SOPS 2408280 HAS SOUS 806670 HAS SOUPS 806670 WITH SCORE 809078.28
AT ITER 694 NEW BEST:: SOT 4147661 SOS 2403986 HAS SOPS 2403986 HAS SOUS 806126 HAS SOUPS 806126 WITH SCORE 808529.986
AT ITER 709 NEW BEST:: SOT 4145803 SOS 2398494 HAS SOPS 2398494 HAS SOUS 805556 HAS SOUPS 805556 WITH SCORE 807954.494
AT ITER 715 NEW BEST:: SOT 4145803 SOS 2398492 HAS SOPS 2398492 HAS SOUS 805554 HAS SOUPS 805554 WITH SCORE 807952.492
AT ITER 722 NEW BEST:: SOT 4144881 SOS 2395569 HAS SOPS 2395569 HAS SOUS 805315 HAS SOUPS 805315 WITH SCORE 807710.569
AT ITER 725 NEW BEST:: SOT 4143619 SOS 2391964 HAS SOPS 2391964 HAS SOUS 805130 HAS SOUPS 805130 WITH SCORE 807521.964
AT ITER 733 NEW BEST:: SOT 4142367 SOS 2388444 HAS SOPS 2388444 HAS SOUS 804874 HAS SOUPS 804874 WITH SCORE 807262.444
AT ITER 735 NEW BEST:: SOT 4140875 SOS 2384713 HAS SOPS 2384713 HAS SOUS 804873 HAS SOUPS 804873 WITH SCORE 807257.713
AT ITER 738 NEW BEST:: SOT 4139849 SOS 2382145 HAS SOPS 2382145 HAS SOUS 804868 HAS SOUPS 804868 WITH SCORE 807250.145
AT ITER 745 NEW BEST:: SOT 4139723 SOS 2381727 HAS SOPS 2381727 HAS SOUS 804825 HAS SOUPS 804825 WITH SCORE 807206.727
AT ITER 760 NEW BEST:: SOT 4138558 SOS 2378249 HAS SOPS 2378249 HAS SOUS 804402 HAS SOUPS 804402 WITH SCORE 806780.249
AT ITER 800 NEW BEST:: SOT 4137758 SOS 2376248 HAS SOPS 2376248 HAS SOUS 804401 HAS SOUPS 804401 WITH SCORE 806777.248
AT ITER 820 NEW BEST:: SOT 4136696 SOS 2373219 HAS SOPS 2373219 HAS SOUS 804093 HAS SOUPS 804093 WITH SCORE 806466.219
AT ITER 821 NEW BEST:: SOT 4135361 SOS 2369342 HAS SOPS 2369342 HAS SOUS 803682 HAS SOUPS 803682 WITH SCORE 806051.342
AT ITER 828 NEW BEST:: SOT 4135328 SOS 2369276 HAS SOPS 2369276 HAS SOUS 803682 HAS SOUPS 803682 WITH SCORE 806051.276
AT ITER 834 NEW BEST:: SOT 4134700 SOS 2367706 HAS SOPS 2367706 HAS SOUS 803682 HAS SOUPS 803682 WITH SCORE 806049.706
AT ITER 836 NEW BEST:: SOT 4133836 SOS 2365544 HAS SOPS 2365544 HAS SOUS 803680 HAS SOUPS 803680 WITH SCORE 806045.544
AT ITER 853 NEW BEST:: SOT 4132618 SOS 2362496 HAS SOPS 2362496 HAS SOUS 803675 HAS SOUPS 803675 WITH SCORE 806037.496
AT ITER 872 NEW BEST:: SOT 4131352 SOS 2359330 HAS SOPS 2359330 HAS SOUS 803674 HAS SOUPS 803674 WITH SCORE 806033.33
AT ITER 875 NEW BEST:: SOT 4130098 SOS 2356194 HAS SOPS 2356194 HAS SOUS 803673 HAS SOUPS 803673 WITH SCORE 806029.194
AT ITER 878 NEW BEST:: SOT 4128260 SOS 2351598 HAS SOPS 2351598 HAS SOUS 803672 HAS SOUPS 803672 WITH SCORE 806023.598
AT ITER 899 NEW BEST:: SOT 4127664 SOS 2349810 HAS SOPS 2349810 HAS SOUS 803372 HAS SOUPS 803372 WITH SCORE 805721.81
AT ITER 905 NEW BEST:: SOT 4125994 SOS 2344847 HAS SOPS 2344847 HAS SOUS 802836 HAS SOUPS 802836 WITH SCORE 805180.847
AT ITER 908 NEW BEST:: SOT 4123802 SOS 2339367 HAS SOPS 2339367 HAS SOUS 802836 HAS SOUPS 802836 WITH SCORE 805175.367
AT ITER 912 NEW BEST:: SOT 4123246 SOS 2337745 HAS SOPS 2337745 HAS SOUS 802604 HAS SOUPS 802604 WITH SCORE 804941.745
AT ITER 914 NEW BEST:: SOT 4123420 SOS 2338267 HAS SOPS 2338267 HAS SOUS 802430 HAS SOUPS 802430 WITH SCORE 804768.267
AT ITER 925 NEW BEST:: SOT 4122112 SOS 2334430 HAS SOPS 2334430 HAS SOUS 802193 HAS SOUPS 802193 WITH SCORE 804527.43
AT ITER 935 NEW BEST:: SOT 4122041 SOS 2334287 HAS SOPS 2334287 HAS SOUS 802193 HAS SOUPS 802193 WITH SCORE 804527.287
AT ITER 937 NEW BEST:: SOT 4120689 SOS 2330907 HAS SOPS 2330907 HAS SOUS 802193 HAS SOUPS 802193 WITH SCORE 804523.907
AT ITER 939 NEW BEST:: SOT 4120463 SOS 2330342 HAS SOPS 2330342 HAS SOUS 802193 HAS SOUPS 802193 WITH SCORE 804523.342
AT ITER 945 NEW BEST:: SOT 4119811 SOS 2328598 HAS SOPS 2328598 HAS SOUS 802079 HAS SOUPS 802079 WITH SCORE 804407.598
AT ITER 950 NEW BEST:: SOT 4118265 SOS 2324730 HAS SOPS 2324730 HAS SOUS 802074 HAS SOUPS 802074 WITH SCORE 804398.73
AT ITER 952 NEW BEST:: SOT 4117631 SOS 2323060 HAS SOPS 2323060 HAS SOUS 801989 HAS SOUPS 801989 WITH SCORE 804312.06
AT ITER 975 NEW BEST:: SOT 4116219 SOS 2319527 HAS SOPS 2319527 HAS SOUS 801984 HAS SOUPS 801984 WITH SCORE 804303.527
AT ITER 979 NEW BEST:: SOT 4116219 SOS 2319527 HAS SOPS 2319527 HAS SOUS 801980 HAS SOUPS 801980 WITH SCORE 804299.527
AT ITER 997 NEW BEST:: SOT 4115845 SOS 2318405 HAS SOPS 2318405 HAS SOUS 801791 HAS SOUPS 801791 WITH SCORE 804109.405
AT ITER 1004 NEW BEST:: SOT 4115639 SOS 2317787 HAS SOPS 2317787 HAS SOUS 801688 HAS SOUPS 801688 WITH SCORE 804005.787
AT ITER 1017 NEW BEST:: SOT 4114055 SOS 2313825 HAS SOPS 2313825 HAS SOUS 801686 HAS SOUPS 801686 WITH SCORE 803999.825
AT ITER 1054 NEW BEST:: SOT 4113429 SOS 2311947 HAS SOPS 2311947 HAS SOUS 801373 HAS SOUPS 801373 WITH SCORE 803684.947
AT ITER 1058 NEW BEST:: SOT 4111472 SOS 2306162 HAS SOPS 2306162 HAS SOUS 800806 HAS SOUPS 800806 WITH SCORE 803112.162
AT ITER 1059 NEW BEST:: SOT 4111386 SOS 2305904 HAS SOPS 2305904 HAS SOUS 800763 HAS SOUPS 800763 WITH SCORE 803068.904
AT ITER 1060 NEW BEST:: SOT 4111149 SOS 2305430 HAS SOPS 2305430 HAS SOUS 800684 HAS SOUPS 800684 WITH SCORE 802989.43
AT ITER 1061 NEW BEST:: SOT 4110202 SOS 2302026 HAS SOPS 2302026 HAS SOUS 800625 HAS SOUPS 800625 WITH SCORE 802927.026
AT ITER 1065 NEW BEST:: SOT 4108403 SOS 2296429 HAS SOPS 2296429 HAS SOUS 800147 HAS SOUPS 800147 WITH SCORE 802443.429
AT ITER 1082 NEW BEST:: SOT 4107094 SOS 2292011 HAS SOPS 2292011 HAS SOUS 799852 HAS SOUPS 799852 WITH SCORE 802144.011
AT ITER 1102 NEW BEST:: SOT 4107094 SOS 2292011 HAS SOPS 2292011 HAS SOUS 799846 HAS SOUPS 799846 WITH SCORE 802138.011
AT ITER 1119 NEW BEST:: SOT 4105034 SOS 2286858 HAS SOPS 2286858 HAS SOUS 799841 HAS SOUPS 799841 WITH SCORE 802127.858
AT ITER 1121 NEW BEST:: SOT 4105034 SOS 2286843 HAS SOPS 2286843 HAS SOUS 799826 HAS SOUPS 799826 WITH SCORE 802112.843
AT ITER 1132 NEW BEST:: SOT 4104082 SOS 2284461 HAS SOPS 2284461 HAS SOUS 799824 HAS SOUPS 799824 WITH SCORE 802108.461
AT ITER 1141 NEW BEST:: SOT 4103116 SOS 2282043 HAS SOPS 2282043 HAS SOUS 799819 HAS SOUPS 799819 WITH SCORE 802101.043
AT ITER 1156 NEW BEST:: SOT 4100836 SOS 2275034 HAS SOPS 2275034 HAS SOUS 799423 HAS SOUPS 799423 WITH SCORE 801698.034
AT ITER 1160 NEW BEST:: SOT 4100836 SOS 2275033 HAS SOPS 2275033 HAS SOUS 799422 HAS SOUPS 799422 WITH SCORE 801697.033
AT ITER 1167 NEW BEST:: SOT 4099026 SOS 2270508 HAS SOPS 2270508 HAS SOUS 799422 HAS SOUPS 799422 WITH SCORE 801692.508
AT ITER 1175 NEW BEST:: SOT 4098858 SOS 2270087 HAS SOPS 2270087 HAS SOUS 799421 HAS SOUPS 799421 WITH SCORE 801691.087
AT ITER 1184 NEW BEST:: SOT 4098053 SOS 2267812 HAS SOPS 2267812 HAS SOUS 799310 HAS SOUPS 799310 WITH SCORE 801577.812
AT ITER 1186 NEW BEST:: SOT 4096743 SOS 2264535 HAS SOPS 2264535 HAS SOUS 799308 HAS SOUPS 799308 WITH SCORE 801572.535
AT ITER 1189 NEW BEST:: SOT 4096528 SOS 2264104 HAS SOPS 2264104 HAS SOUS 799254 HAS SOUPS 799254 WITH SCORE 801518.104
AT ITER 1195 NEW BEST:: SOT 4096014 SOS 2262562 HAS SOPS 2262562 HAS SOUS 798997 HAS SOUPS 798997 WITH SCORE 801259.562
AT ITER 1198 NEW BEST:: SOT 4094960 SOS 2259926 HAS SOPS 2259926 HAS SOUS 798996 HAS SOUPS 798996 WITH SCORE 801255.926
AT ITER 1227 NEW BEST:: SOT 4093831 SOS 2256485 HAS SOPS 2256485 HAS SOUS 798475 HAS SOUPS 798475 WITH SCORE 800731.485
AT ITER 1241 NEW BEST:: SOT 4093297 SOS 2255150 HAS SOPS 2255150 HAS SOUS 798475 HAS SOUPS 798475 WITH SCORE 800730.15
AT ITER 1252 NEW BEST:: SOT 4091634 SOS 2251564 HAS SOPS 2251564 HAS SOUS 798094 HAS SOUPS 798094 WITH SCORE 800345.564
AT ITER 1258 NEW BEST:: SOT 4090183 SOS 2247257 HAS SOPS 2247257 HAS SOUS 797569 HAS SOUPS 797569 WITH SCORE 799816.257
AT ITER 1273 NEW BEST:: SOT 4089547 SOS 2245276 HAS SOPS 2245276 HAS SOUS 797538 HAS SOUPS 797538 WITH SCORE 799783.276
AT ITER 1291 NEW BEST:: SOT 4089289 SOS 2244628 HAS SOPS 2244628 HAS SOUS 797533 HAS SOUPS 797533 WITH SCORE 799777.628
AT ITER 1298 NEW BEST:: SOT 4089091 SOS 2244166 HAS SOPS 2244166 HAS SOUS 797401 HAS SOUPS 797401 WITH SCORE 799645.166
AT ITER 1299 NEW BEST:: SOT 4088325 SOS 2242248 HAS SOPS 2242248 HAS SOUS 797396 HAS SOUPS 797396 WITH SCORE 799638.248
AT ITER 1303 NEW BEST:: SOT 4088217 SOS 2241653 HAS SOPS 2241653 HAS SOUS 796925 HAS SOUPS 796925 WITH SCORE 799166.653
AT ITER 1324 NEW BEST:: SOT 4087323 SOS 2239417 HAS SOPS 2239417 HAS SOUS 796924 HAS SOUPS 796924 WITH SCORE 799163.417
AT ITER 1339 NEW BEST:: SOT 4085369 SOS 2234529 HAS SOPS 2234529 HAS SOUS 796919 HAS SOUPS 796919 WITH SCORE 799153.529
AT ITER 1345 NEW BEST:: SOT 4085319 SOS 2234379 HAS SOPS 2234379 HAS SOUS 796894 HAS SOUPS 796894 WITH SCORE 799128.379
AT ITER 1348 NEW BEST:: SOT 4085081 SOS 2233665 HAS SOPS 2233665 HAS SOUS 796773 HAS SOUPS 796773 WITH SCORE 799006.665
AT ITER 1349 NEW BEST:: SOT 4085081 SOS 2233663 HAS SOPS 2233663 HAS SOUS 796771 HAS SOUPS 796771 WITH SCORE 799004.663
AT ITER 1350 NEW BEST:: SOT 4085290 SOS 2234332 HAS SOPS 2234332 HAS SOUS 796604 HAS SOUPS 796604 WITH SCORE 798838.332
AT ITER 1361 NEW BEST:: SOT 4083520 SOS 2229160 HAS SOPS 2229160 HAS SOUS 795855 HAS SOUPS 795855 WITH SCORE 798084.16
AT ITER 1364 NEW BEST:: SOT 4083321 SOS 2228759 HAS SOPS 2228759 HAS SOUS 795817 HAS SOUPS 795817 WITH SCORE 798045.759
AT ITER 1376 NEW BEST:: SOT 4083321 SOS 2228216 HAS SOPS 2228216 HAS SOUS 795274 HAS SOUPS 795274 WITH SCORE 797502.216
AT ITER 1382 NEW BEST:: SOT 4082231 SOS 2224946 HAS SOPS 2224946 HAS SOUS 794729 HAS SOUPS 794729 WITH SCORE 796953.946
AT ITER 1386 NEW BEST:: SOT 4081874 SOS 2224113 HAS SOPS 2224113 HAS SOUS 794491 HAS SOUPS 794491 WITH SCORE 796715.113
AT ITER 1392 NEW BEST:: SOT 4081188 SOS 2221683 HAS SOPS 2221683 HAS SOUS 794334 HAS SOUPS 794334 WITH SCORE 796555.683
AT ITER 1395 NEW BEST:: SOT 4080015 SOS 2218080 HAS SOPS 2218080 HAS SOUS 794271 HAS SOUPS 794271 WITH SCORE 796489.08
AT ITER 1397 NEW BEST:: SOT 4080015 SOS 2217851 HAS SOPS 2217851 HAS SOUS 794042 HAS SOUPS 794042 WITH SCORE 796259.851
AT ITER 1408 NEW BEST:: SOT 4079397 SOS 2216067 HAS SOPS 2216067 HAS SOUS 793995 HAS SOUPS 793995 WITH SCORE 796211.067
AT ITER 1416 NEW BEST:: SOT 4080993 SOS 2220157 HAS SOPS 2220157 HAS SOUS 793795 HAS SOUPS 793795 WITH SCORE 796015.157
AT ITER 1439 NEW BEST:: SOT 4080551 SOS 2219052 HAS SOPS 2219052 HAS SOUS 793795 HAS SOUPS 793795 WITH SCORE 796014.052
AT ITER 1485 NEW BEST:: SOT 4079939 SOS 2217520 HAS SOPS 2217520 HAS SOUS 793793 HAS SOUPS 793793 WITH SCORE 796010.52
AT ITER 1486 NEW BEST:: SOT 4078072 SOS 2213556 HAS SOPS 2213556 HAS SOUS 793383 HAS SOUPS 793383 WITH SCORE 795596.556
AT ITER 1503 NEW BEST:: SOT 4078072 SOS 2213555 HAS SOPS 2213555 HAS SOUS 793376 HAS SOUPS 793376 WITH SCORE 795589.555
AT ITER 1513 NEW BEST:: SOT 4077510 SOS 2212148 HAS SOPS 2212148 HAS SOUS 793374 HAS SOUPS 793374 WITH SCORE 795586.148
AT ITER 1529 NEW BEST:: SOT 4074199 SOS 2205521 HAS SOPS 2205521 HAS SOUS 792516 HAS SOUPS 792516 WITH SCORE 794721.521
AT ITER 1533 NEW BEST:: SOT 4074467 SOS 2206057 HAS SOPS 2206057 HAS SOUS 792382 HAS SOUPS 792382 WITH SCORE 794588.057
AT ITER 1540 NEW BEST:: SOT 4074467 SOS 2206056 HAS SOPS 2206056 HAS SOUS 792381 HAS SOUPS 792381 WITH SCORE 794587.056
AT ITER 1546 NEW BEST:: SOT 4073787 SOS 2204057 HAS SOPS 2204057 HAS SOUS 792078 HAS SOUPS 792078 WITH SCORE 794282.057
AT ITER 1547 NEW BEST:: SOT 4072417 SOS 2200049 HAS SOPS 2200049 HAS SOUS 791706 HAS SOUPS 791706 WITH SCORE 793906.049
AT ITER 1548 NEW BEST:: SOT 4072557 SOS 2200469 HAS SOPS 2200469 HAS SOUS 791566 HAS SOUPS 791566 WITH SCORE 793766.469
AT ITER 1549 NEW BEST:: SOT 4071395 SOS 2197561 HAS SOPS 2197561 HAS SOUS 791561 HAS SOUPS 791561 WITH SCORE 793758.561
AT ITER 1551 NEW BEST:: SOT 4071395 SOS 2197558 HAS SOPS 2197558 HAS SOUS 791556 HAS SOUPS 791556 WITH SCORE 793753.558
AT ITER 1561 NEW BEST:: SOT 4068336 SOS 2190373 HAS SOPS 2190373 HAS SOUS 790346 HAS SOUPS 790346 WITH SCORE 792536.373
AT ITER 1562 NEW BEST:: SOT 4067860 SOS 2189420 HAS SOPS 2189420 HAS SOUS 789869 HAS SOUPS 789869 WITH SCORE 792058.42
AT ITER 1568 NEW BEST:: SOT 4067734 SOS 2189105 HAS SOPS 2189105 HAS SOUS 789869 HAS SOUPS 789869 WITH SCORE 792058.105
AT ITER 1575 NEW BEST:: SOT 4066948 SOS 2187140 HAS SOPS 2187140 HAS SOUS 789869 HAS SOUPS 789869 WITH SCORE 792056.14
AT ITER 1576 NEW BEST:: SOT 4066948 SOS 2186861 HAS SOPS 2186861 HAS SOUS 789590 HAS SOUPS 789590 WITH SCORE 791776.861
AT ITER 1579 NEW BEST:: SOT 4066890 SOS 2186745 HAS SOPS 2186745 HAS SOUS 789532 HAS SOUPS 789532 WITH SCORE 791718.745
AT ITER 1611 NEW BEST:: SOT 4066890 SOS 2186744 HAS SOPS 2186744 HAS SOUS 789531 HAS SOUPS 789531 WITH SCORE 791717.744
AT ITER 1617 NEW BEST:: SOT 4065752 SOS 2183330 HAS SOPS 2183330 HAS SOUS 788960 HAS SOUPS 788960 WITH SCORE 791143.33
AT ITER 1619 NEW BEST:: SOT 4064511 SOS 2179648 HAS SOPS 2179648 HAS SOUS 788530 HAS SOUPS 788530 WITH SCORE 790709.648
AT ITER 1620 NEW BEST:: SOT 4064478 SOS 2179549 HAS SOPS 2179549 HAS SOUS 788464 HAS SOUPS 788464 WITH SCORE 790643.549
AT ITER 1637 NEW BEST:: SOT 4062394 SOS 2173913 HAS SOPS 2173913 HAS SOUS 788341 HAS SOUPS 788341 WITH SCORE 790514.913
AT ITER 1640 NEW BEST:: SOT 4061662 SOS 2171717 HAS SOPS 2171717 HAS SOUS 787975 HAS SOUPS 787975 WITH SCORE 790146.717
AT ITER 1647 NEW BEST:: SOT 4061484 SOS 2171210 HAS SOPS 2171210 HAS SOUS 787644 HAS SOUPS 787644 WITH SCORE 789815.21
AT ITER 1657 NEW BEST:: SOT 4061337 SOS 2170916 HAS SOPS 2170916 HAS SOUS 787595 HAS SOUPS 787595 WITH SCORE 789765.916
AT ITER 1676 NEW BEST:: SOT 4061140 SOS 2170232 HAS SOPS 2170232 HAS SOUS 787543 HAS SOUPS 787543 WITH SCORE 789713.232
AT ITER 1690 NEW BEST:: SOT 4061217 SOS 2170463 HAS SOPS 2170463 HAS SOUS 787466 HAS SOUPS 787466 WITH SCORE 789636.463
AT ITER 1698 NEW BEST:: SOT 4059561 SOS 2166323 HAS SOPS 2166323 HAS SOUS 787466 HAS SOUPS 787466 WITH SCORE 789632.323
AT ITER 1706 NEW BEST:: SOT 4059561 SOS 2166187 HAS SOPS 2166187 HAS SOUS 787330 HAS SOUPS 787330 WITH SCORE 789496.187
AT ITER 1718 NEW BEST:: SOT 4058160 SOS 2161842 HAS SOPS 2161842 HAS SOUS 786748 HAS SOUPS 786748 WITH SCORE 788909.842
AT ITER 1728 NEW BEST:: SOT 4058160 SOS 2161778 HAS SOPS 2161778 HAS SOUS 786682 HAS SOUPS 786682 WITH SCORE 788843.778
AT ITER 1733 NEW BEST:: SOT 4058160 SOS 2161777 HAS SOPS 2161777 HAS SOUS 786681 HAS SOUPS 786681 WITH SCORE 788842.777
AT ITER 1744 NEW BEST:: SOT 4057516 SOS 2160165 HAS SOPS 2160165 HAS SOUS 786679 HAS SOUPS 786679 WITH SCORE 788839.165
AT ITER 1763 NEW BEST:: SOT 4057958 SOS 2161295 HAS SOPS 2161295 HAS SOUS 786629 HAS SOUPS 786629 WITH SCORE 788790.295
AT ITER 1779 NEW BEST:: SOT 4057098 SOS 2158788 HAS SOPS 2158788 HAS SOUS 786575 HAS SOUPS 786575 WITH SCORE 788733.788
AT ITER 1797 NEW BEST:: SOT 4056920 SOS 2158432 HAS SOPS 2158432 HAS SOUS 786397 HAS SOUPS 786397 WITH SCORE 788555.432
AT ITER 1799 NEW BEST:: SOT 4056728 SOS 2157856 HAS SOPS 2157856 HAS SOUS 786301 HAS SOUPS 786301 WITH SCORE 788458.856
AT ITER 1807 NEW BEST:: SOT 4056727 SOS 2157325 HAS SOPS 2157325 HAS SOUS 785768 HAS SOUPS 785768 WITH SCORE 787925.325
AT ITER 1808 NEW BEST:: SOT 4055101 SOS 2152537 HAS SOPS 2152537 HAS SOUS 785045 HAS SOUPS 785045 WITH SCORE 787197.537
AT ITER 1827 NEW BEST:: SOT 4055479 SOS 2153514 HAS SOPS 2153514 HAS SOUS 785011 HAS SOUPS 785011 WITH SCORE 787164.514
AT ITER 1843 NEW BEST:: SOT 4055479 SOS 2152861 HAS SOPS 2152861 HAS SOUS 784546 HAS SOUPS 784546 WITH SCORE 786698.861
AT ITER 1846 NEW BEST:: SOT 4054643 SOS 2151189 HAS SOPS 2151189 HAS SOUS 784495 HAS SOUPS 784495 WITH SCORE 786646.189
AT ITER 1852 NEW BEST:: SOT 4054643 SOS 2151188 HAS SOPS 2151188 HAS SOUS 784494 HAS SOUPS 784494 WITH SCORE 786645.188
AT ITER 1853 NEW BEST:: SOT 4054527 SOS 2150840 HAS SOPS 2150840 HAS SOUS 784434 HAS SOUPS 784434 WITH SCORE 786584.84
AT ITER 1875 NEW BEST:: SOT 4053125 SOS 2147333 HAS SOPS 2147333 HAS SOUS 784432 HAS SOUPS 784432 WITH SCORE 786579.333
AT ITER 1885 NEW BEST:: SOT 4053125 SOS 2147331 HAS SOPS 2147331 HAS SOUS 784430 HAS SOUPS 784430 WITH SCORE 786577.331
AT ITER 1889 NEW BEST:: SOT 4053031 SOS 2147003 HAS SOPS 2147003 HAS SOUS 784416 HAS SOUPS 784416 WITH SCORE 786563.003
AT ITER 1891 NEW BEST:: SOT 4051749 SOS 2143795 HAS SOPS 2143795 HAS SOUS 784411 HAS SOUPS 784411 WITH SCORE 786554.795
AT ITER 1903 NEW BEST:: SOT 4050781 SOS 2141110 HAS SOPS 2141110 HAS SOUS 784248 HAS SOUPS 784248 WITH SCORE 786389.11
AT ITER 1908 NEW BEST:: SOT 4050345 SOS 2139875 HAS SOPS 2139875 HAS SOUS 784101 HAS SOUPS 784101 WITH SCORE 786240.875
AT ITER 1912 NEW BEST:: SOT 4049429 SOS 2137583 HAS SOPS 2137583 HAS SOUS 784099 HAS SOUPS 784099 WITH SCORE 786236.583
AT ITER 1916 NEW BEST:: SOT 4046251 SOS 2131223 HAS SOPS 2131223 HAS SOUS 783479 HAS SOUPS 783479 WITH SCORE 785610.223
AT ITER 1917 NEW BEST:: SOT 4046589 SOS 2131051 HAS SOPS 2131051 HAS SOUS 783393 HAS SOUPS 783393 WITH SCORE 785524.051
AT ITER 1935 NEW BEST:: SOT 4046033 SOS 2129383 HAS SOPS 2129383 HAS SOUS 783109 HAS SOUPS 783109 WITH SCORE 785238.383
AT ITER 1952 NEW BEST:: SOT 4045499 SOS 2128046 HAS SOPS 2128046 HAS SOUS 783107 HAS SOUPS 783107 WITH SCORE 785235.046
AT ITER 1960 NEW BEST:: SOT 4045461 SOS 2127970 HAS SOPS 2127970 HAS SOUS 783107 HAS SOUPS 783107 WITH SCORE 785234.97
AT ITER 1972 NEW BEST:: SOT 4045461 SOS 2127467 HAS SOPS 2127467 HAS SOUS 782752 HAS SOUPS 782752 WITH SCORE 784879.467
AT ITER 1976 NEW BEST:: SOT 4044221 SOS 2123793 HAS SOPS 2123793 HAS SOUS 782178 HAS SOUPS 782178 WITH SCORE 784301.793
AT ITER 1991 NEW BEST:: SOT 4043229 SOS 2121312 HAS SOPS 2121312 HAS SOUS 782177 HAS SOUPS 782177 WITH SCORE 784298.312
AT ITER 1998 NEW BEST:: SOT 4042991 SOS 2120598 HAS SOPS 2120598 HAS SOUS 782056 HAS SOUPS 782056 WITH SCORE 784176.598
AT ITER 2001 NEW BEST:: SOT 4041125 SOS 2115138 HAS SOPS 2115138 HAS SOUS 781261 HAS SOUPS 781261 WITH SCORE 783376.138
AT ITER 2004 NEW BEST:: SOT 4040811 SOS 2114352 HAS SOPS 2114352 HAS SOUS 781260 HAS SOUPS 781260 WITH SCORE 783374.352
AT ITER 2034 NEW BEST:: SOT 4039269 SOS 2110196 HAS SOPS 2110196 HAS SOUS 781223 HAS SOUPS 781223 WITH SCORE 783333.196
AT ITER 2035 NEW BEST:: SOT 4039083 SOS 2109728 HAS SOPS 2109728 HAS SOUS 781218 HAS SOUPS 781218 WITH SCORE 783327.728
AT ITER 2050 NEW BEST:: SOT 4037553 SOS 2105899 HAS SOPS 2105899 HAS SOUS 781220 HAS SOUPS 781220 WITH SCORE 783325.899
AT ITER 2056 NEW BEST:: SOT 4036223 SOS 2102151 HAS SOPS 2102151 HAS SOUS 781070 HAS SOUPS 781070 WITH SCORE 783172.151
AT ITER 2058 NEW BEST:: SOT 4035325 SOS 2099457 HAS SOPS 2099457 HAS SOUS 780621 HAS SOUPS 780621 WITH SCORE 782720.457
AT ITER 2072 NEW BEST:: SOT 4034866 SOS 2097901 HAS SOPS 2097901 HAS SOUS 780481 HAS SOUPS 780481 WITH SCORE 782578.901
AT ITER 2073 NEW BEST:: SOT 4034814 SOS 2097771 HAS SOPS 2097771 HAS SOUS 780481 HAS SOUPS 780481 WITH SCORE 782578.771
AT ITER 2083 NEW BEST:: SOT 4034010 SOS 2095758 HAS SOPS 2095758 HAS SOUS 780476 HAS SOUPS 780476 WITH SCORE 782571.758
AT ITER 2108 NEW BEST:: SOT 4033462 SOS 2094662 HAS SOPS 2094662 HAS SOUS 780360 HAS SOUPS 780360 WITH SCORE 782454.662
AT ITER 2131 NEW BEST:: SOT 4032782 SOS 2092959 HAS SOPS 2092959 HAS SOUS 780355 HAS SOUPS 780355 WITH SCORE 782447.959
AT ITER 2148 NEW BEST:: SOT 4032452 SOS 2092134 HAS SOPS 2092134 HAS SOUS 780355 HAS SOUPS 780355 WITH SCORE 782447.134
AT ITER 2162 NEW BEST:: SOT 4031562 SOS 2089908 HAS SOPS 2089908 HAS SOUS 780354 HAS SOUPS 780354 WITH SCORE 782443.908
AT ITER 2173 NEW BEST:: SOT 4031516 SOS 2089791 HAS SOPS 2089791 HAS SOUS 780352 HAS SOUPS 780352 WITH SCORE 782441.791
AT ITER 2187 NEW BEST:: SOT 4031468 SOS 2088025 HAS SOPS 2088025 HAS SOUS 779958 HAS SOUPS 779958 WITH SCORE 782046.025
AT ITER 2190 NEW BEST:: SOT 4031454 SOS 2087997 HAS SOPS 2087997 HAS SOUS 779942 HAS SOUPS 779942 WITH SCORE 782029.997
AT ITER 2195 NEW BEST:: SOT 4030514 SOS 2085177 HAS SOPS 2085177 HAS SOUS 779472 HAS SOUPS 779472 WITH SCORE 781557.177
AT ITER 2210 NEW BEST:: SOT 4030238 SOS 2084901 HAS SOPS 2084901 HAS SOUS 779472 HAS SOUPS 779472 WITH SCORE 781556.901
AT ITER 2240 NEW BEST:: SOT 4029258 SOS 2082234 HAS SOPS 2082234 HAS SOUS 779432 HAS SOUPS 779432 WITH SCORE 781514.234
AT ITER 2258 NEW BEST:: SOT 4028424 SOS 2079934 HAS SOPS 2079934 HAS SOUS 779215 HAS SOUPS 779215 WITH SCORE 781294.934
AT ITER 2297 NEW BEST:: SOT 4028424 SOS 2079770 HAS SOPS 2079770 HAS SOUS 778781 HAS SOUPS 778781 WITH SCORE 780860.77
AT ITER 2316 NEW BEST:: SOT 4028563 SOS 2079352 HAS SOPS 2079352 HAS SOUS 778430 HAS SOUPS 778430 WITH SCORE 780509.352
AT ITER 2324 NEW BEST:: SOT 4028139 SOS 2078291 HAS SOPS 2078291 HAS SOUS 778429 HAS SOUPS 778429 WITH SCORE 780507.291
AT ITER 2329 NEW BEST:: SOT 4026789 SOS 2074241 HAS SOPS 2074241 HAS SOUS 777754 HAS SOUPS 777754 WITH SCORE 779828.241
AT ITER 2338 NEW BEST:: SOT 4026789 SOS 2074177 HAS SOPS 2074177 HAS SOUS 777684 HAS SOUPS 777684 WITH SCORE 779758.177
AT ITER 2364 NEW BEST:: SOT 4026331 SOS 2072803 HAS SOPS 2072803 HAS SOUS 777453 HAS SOUPS 777453 WITH SCORE 779525.803
AT ITER 2365 NEW BEST:: SOT 4025611 SOS 2071000 HAS SOPS 2071000 HAS SOUS 777448 HAS SOUPS 777448 WITH SCORE 779519.0
AT ITER 2373 NEW BEST:: SOT 4024031 SOS 2066076 HAS SOPS 2066076 HAS SOUS 776748 HAS SOUPS 776748 WITH SCORE 778814.076
AT ITER 2378 NEW BEST:: SOT 4023307 SOS 2064266 HAS SOPS 2064266 HAS SOUS 776748 HAS SOUPS 776748 WITH SCORE 778812.266
AT ITER 2387 NEW BEST:: SOT 4022409 SOS 2061623 HAS SOPS 2061623 HAS SOUS 776723 HAS SOUPS 776723 WITH SCORE 778784.623
AT ITER 2388 NEW BEST:: SOT 4022255 SOS 2061315 HAS SOPS 2061315 HAS SOUS 776569 HAS SOUPS 776569 WITH SCORE 778630.315
AT ITER 2390 NEW BEST:: SOT 4022255 SOS 2061176 HAS SOPS 2061176 HAS SOUS 776430 HAS SOUPS 776430 WITH SCORE 778491.176
AT ITER 2413 NEW BEST:: SOT 4022253 SOS 2061104 HAS SOPS 2061104 HAS SOUS 776358 HAS SOUPS 776358 WITH SCORE 778419.104
AT ITER 2419 NEW BEST:: SOT 4020931 SOS 2057138 HAS SOPS 2057138 HAS SOUS 775015 HAS SOUPS 775015 WITH SCORE 777072.138
AT ITER 2423 NEW BEST:: SOT 4019473 SOS 2052764 HAS SOPS 2052764 HAS SOUS 774284 HAS SOUPS 774284 WITH SCORE 776336.764
AT ITER 2427 NEW BEST:: SOT 4018939 SOS 2051427 HAS SOPS 2051427 HAS SOUS 774282 HAS SOUPS 774282 WITH SCORE 776333.427
AT ITER 2431 NEW BEST:: SOT 4018461 SOS 2050232 HAS SOPS 2050232 HAS SOUS 774282 HAS SOUPS 774282 WITH SCORE 776332.232
AT ITER 2440 NEW BEST:: SOT 4018374 SOS 2050057 HAS SOPS 2050057 HAS SOUS 774194 HAS SOUPS 774194 WITH SCORE 776244.057
AT ITER 2451 NEW BEST:: SOT 4018374 SOS 2050057 HAS SOPS 2050057 HAS SOUS 774192 HAS SOUPS 774192 WITH SCORE 776242.057
AT ITER 2457 NEW BEST:: SOT 4018374 SOS 2049799 HAS SOPS 2049799 HAS SOUS 773934 HAS SOUPS 773934 WITH SCORE 775983.799
AT ITER 2482 NEW BEST:: SOT 4017846 SOS 2048740 HAS SOPS 2048740 HAS SOUS 773753 HAS SOUPS 773753 WITH SCORE 775801.74
AT ITER 2487 NEW BEST:: SOT 4016893 SOS 2045766 HAS SOPS 2045766 HAS SOUS 773649 HAS SOUPS 773649 WITH SCORE 775694.766
AT ITER 2491 NEW BEST:: SOT 4015403 SOS 2041414 HAS SOPS 2041414 HAS SOUS 773018 HAS SOUPS 773018 WITH SCORE 775059.414
AT ITER 2514 NEW BEST:: SOT 4014413 SOS 2038182 HAS SOPS 2038182 HAS SOUS 772714 HAS SOUPS 772714 WITH SCORE 774752.182
AT ITER 2524 NEW BEST:: SOT 4014409 SOS 2038101 HAS SOPS 2038101 HAS SOUS 772637 HAS SOUPS 772637 WITH SCORE 774675.101
AT ITER 2544 NEW BEST:: SOT 4013970 SOS 2037546 HAS SOPS 2037546 HAS SOUS 772521 HAS SOUPS 772521 WITH SCORE 774558.546
AT ITER 2545 NEW BEST:: SOT 4013368 SOS 2035740 HAS SOPS 2035740 HAS SOUS 772220 HAS SOUPS 772220 WITH SCORE 774255.74
AT ITER 2550 NEW BEST:: SOT 4013012 SOS 2035384 HAS SOPS 2035384 HAS SOUS 771400 HAS SOUPS 771400 WITH SCORE 773435.384
AT ITER 2555 NEW BEST:: SOT 4012419 SOS 2033426 HAS SOPS 2033426 HAS SOUS 771205 HAS SOUPS 771205 WITH SCORE 773238.426
AT ITER 2561 NEW BEST:: SOT 4012419 SOS 2033257 HAS SOPS 2033257 HAS SOUS 771036 HAS SOUPS 771036 WITH SCORE 773069.257
AT ITER 2562 NEW BEST:: SOT 4012415 SOS 2033245 HAS SOPS 2033245 HAS SOUS 771034 HAS SOUPS 771034 WITH SCORE 773067.245
AT ITER 2580 NEW BEST:: SOT 4010435 SOS 2027320 HAS SOPS 2027320 HAS SOUS 770059 HAS SOUPS 770059 WITH SCORE 772086.32
AT ITER 2596 NEW BEST:: SOT 4010399 SOS 2027245 HAS SOPS 2027245 HAS SOUS 770042 HAS SOUPS 770042 WITH SCORE 772069.245
AT ITER 2600 NEW BEST:: SOT 4010387 SOS 2027197 HAS SOPS 2027197 HAS SOUS 770030 HAS SOUPS 770030 WITH SCORE 772057.197
AT ITER 2633 NEW BEST:: SOT 4009347 SOS 2024217 HAS SOPS 2024217 HAS SOUS 769650 HAS SOUPS 769650 WITH SCORE 771674.217
AT ITER 2641 NEW BEST:: SOT 4009347 SOS 2023523 HAS SOPS 2023523 HAS SOUS 768954 HAS SOUPS 768954 WITH SCORE 770977.523
AT ITER 2646 NEW BEST:: SOT 4008509 SOS 2020416 HAS SOPS 2020416 HAS SOUS 768885 HAS SOUPS 768885 WITH SCORE 770905.416
AT ITER 2657 NEW BEST:: SOT 4007691 SOS 2017962 HAS SOPS 2017962 HAS SOUS 768476 HAS SOUPS 768476 WITH SCORE 770493.962
AT ITER 2665 NEW BEST:: SOT 4006285 SOS 2013744 HAS SOPS 2013744 HAS SOUS 767773 HAS SOUPS 767773 WITH SCORE 769786.744
AT ITER 2670 NEW BEST:: SOT 4006179 SOS 2013426 HAS SOPS 2013426 HAS SOUS 767720 HAS SOUPS 767720 WITH SCORE 769733.426
AT ITER 2671 NEW BEST:: SOT 4005878 SOS 2011854 HAS SOPS 2011854 HAS SOUS 767246 HAS SOUPS 767246 WITH SCORE 769257.854
AT ITER 2675 NEW BEST:: SOT 4005532 SOS 2010564 HAS SOPS 2010564 HAS SOUS 767211 HAS SOUPS 767211 WITH SCORE 769221.564
AT ITER 2684 NEW BEST:: SOT 4003957 SOS 2005993 HAS SOPS 2005993 HAS SOUS 766573 HAS SOUPS 766573 WITH SCORE 768578.993
AT ITER 2692 NEW BEST:: SOT 4003943 SOS 2005951 HAS SOPS 2005951 HAS SOUS 766566 HAS SOUPS 766566 WITH SCORE 768571.951
AT ITER 2695 NEW BEST:: SOT 4003469 SOS 2004606 HAS SOPS 2004606 HAS SOUS 766487 HAS SOUPS 766487 WITH SCORE 768491.606
AT ITER 2706 NEW BEST:: SOT 4002883 SOS 2002876 HAS SOPS 2002876 HAS SOUS 766222 HAS SOUPS 766222 WITH SCORE 768224.876
AT ITER 2707 NEW BEST:: SOT 4002883 SOS 2002871 HAS SOPS 2002871 HAS SOUS 766217 HAS SOUPS 766217 WITH SCORE 768219.871
AT ITER 2710 NEW BEST:: SOT 4002448 SOS 2001856 HAS SOPS 2001856 HAS SOUS 765925 HAS SOUPS 765925 WITH SCORE 767926.856
AT ITER 2712 NEW BEST:: SOT 4002503 SOS 2002021 HAS SOPS 2002021 HAS SOUS 765870 HAS SOUPS 765870 WITH SCORE 767872.021
AT ITER 2741 NEW BEST:: SOT 4002043 SOS 2001099 HAS SOPS 2001099 HAS SOUS 765816 HAS SOUPS 765816 WITH SCORE 767817.099
AT ITER 2751 NEW BEST:: SOT 4001871 SOS 2000583 HAS SOPS 2000583 HAS SOUS 765730 HAS SOUPS 765730 WITH SCORE 767730.583
AT ITER 2761 NEW BEST:: SOT 4001654 SOS 1999897 HAS SOPS 1999897 HAS SOUS 765637 HAS SOUPS 765637 WITH SCORE 767636.897
AT ITER 2789 NEW BEST:: SOT 4001608 SOS 1999851 HAS SOPS 1999851 HAS SOUS 765591 HAS SOUPS 765591 WITH SCORE 767590.851
AT ITER 2794 NEW BEST:: SOT 4001558 SOS 1999751 HAS SOPS 1999751 HAS SOUS 765541 HAS SOUPS 765541 WITH SCORE 767540.751
AT ITER 2798 NEW BEST:: SOT 4001181 SOS 1998259 HAS SOPS 1998259 HAS SOUS 765533 HAS SOUPS 765533 WITH SCORE 767531.259
AT ITER 2800 NEW BEST:: SOT 4000153 SOS 1995175 HAS SOPS 1995175 HAS SOUS 765015 HAS SOUPS 765015 WITH SCORE 767010.175
AT ITER 2802 NEW BEST:: SOT 3999386 SOS 1992822 HAS SOPS 1992822 HAS SOUS 764853 HAS SOUPS 764853 WITH SCORE 766845.822
AT ITER 2842 NEW BEST:: SOT 3999386 SOS 1992770 HAS SOPS 1992770 HAS SOUS 764801 HAS SOUPS 764801 WITH SCORE 766793.77
AT ITER 2855 NEW BEST:: SOT 3999473 SOS 1992850 HAS SOPS 1992850 HAS SOUS 764794 HAS SOUPS 764794 WITH SCORE 766786.85
AT ITER 2866 NEW BEST:: SOT 3999473 SOS 1992694 HAS SOPS 1992694 HAS SOUS 764638 HAS SOUPS 764638 WITH SCORE 766630.694
AT ITER 2869 NEW BEST:: SOT 3999336 SOS 1992508 HAS SOPS 1992508 HAS SOUS 764627 HAS SOUPS 764627 WITH SCORE 766619.508
AT ITER 2870 NEW BEST:: SOT 3999336 SOS 1992545 HAS SOPS 1992545 HAS SOUS 764590 HAS SOUPS 764590 WITH SCORE 766582.545
AT ITER 2873 NEW BEST:: SOT 3997548 SOS 1988754 HAS SOPS 1988754 HAS SOUS 764279 HAS SOUPS 764279 WITH SCORE 766267.754
AT ITER 2877 NEW BEST:: SOT 3997156 SOS 1987578 HAS SOPS 1987578 HAS SOUS 764083 HAS SOUPS 764083 WITH SCORE 766070.578
AT ITER 2885 NEW BEST:: SOT 3997195 SOS 1987723 HAS SOPS 1987723 HAS SOUS 764072 HAS SOUPS 764072 WITH SCORE 766059.723
AT ITER 2902 NEW BEST:: SOT 3997195 SOS 1987723 HAS SOPS 1987723 HAS SOUS 764066 HAS SOUPS 764066 WITH SCORE 766053.723
AT ITER 2919 NEW BEST:: SOT 3996745 SOS 1986361 HAS SOPS 1986361 HAS SOUS 763847 HAS SOUPS 763847 WITH SCORE 765833.361
AT ITER 2921 NEW BEST:: SOT 3996583 SOS 1985713 HAS SOPS 1985713 HAS SOUS 763361 HAS SOUPS 763361 WITH SCORE 765346.713
AT ITER 2925 NEW BEST:: SOT 3996503 SOS 1985516 HAS SOPS 1985516 HAS SOUS 763244 HAS SOUPS 763244 WITH SCORE 765229.516
AT ITER 2932 NEW BEST:: SOT 3995529 SOS 1983079 HAS SOPS 1983079 HAS SOUS 763242 HAS SOUPS 763242 WITH SCORE 765225.079
AT ITER 2948 NEW BEST:: SOT 3995425 SOS 1982819 HAS SOPS 1982819 HAS SOUS 763242 HAS SOUPS 763242 WITH SCORE 765224.819
AT ITER 2949 NEW BEST:: SOT 3995005 SOS 1981768 HAS SOPS 1981768 HAS SOUS 763241 HAS SOUPS 763241 WITH SCORE 765222.768
AT ITER 2966 NEW BEST:: SOT 3994399 SOS 1980250 HAS SOPS 1980250 HAS SOUS 763236 HAS SOUPS 763236 WITH SCORE 765216.25
AT ITER 2972 NEW BEST:: SOT 3993273 SOS 1977433 HAS SOPS 1977433 HAS SOUS 763234 HAS SOUPS 763234 WITH SCORE 765211.433
AT ITER 2991 NEW BEST:: SOT 3993243 SOS 1977341 HAS SOPS 1977341 HAS SOUS 763220 HAS SOUPS 763220 WITH SCORE 765197.341
AT ITER 3015 NEW BEST:: SOT 3993412 SOS 1978081 HAS SOPS 1978081 HAS SOUS 762873 HAS SOUPS 762873 WITH SCORE 764851.081
AT ITER 3017 NEW BEST:: SOT 3992750 SOS 1976423 HAS SOPS 1976423 HAS SOUS 762868 HAS SOUPS 762868 WITH SCORE 764844.423
AT ITER 3022 NEW BEST:: SOT 3992574 SOS 1976071 HAS SOPS 1976071 HAS SOUS 762692 HAS SOUPS 762692 WITH SCORE 764668.071
AT ITER 3033 NEW BEST:: SOT 3991424 SOS 1972621 HAS SOPS 1972621 HAS SOUS 762115 HAS SOUPS 762115 WITH SCORE 764087.621
AT ITER 3089 NEW BEST:: SOT 3990516 SOS 1970049 HAS SOPS 1970049 HAS SOUS 761811 HAS SOUPS 761811 WITH SCORE 763781.049
AT ITER 3096 NEW BEST:: SOT 3990301 SOS 1969619 HAS SOPS 1969619 HAS SOUS 761596 HAS SOUPS 761596 WITH SCORE 763565.619
AT ITER 3111 NEW BEST:: SOT 3990137 SOS 1969171 HAS SOPS 1969171 HAS SOUS 761553 HAS SOUPS 761553 WITH SCORE 763522.171
AT ITER 3122 NEW BEST:: SOT 3990711 SOS 1970712 HAS SOPS 1970712 HAS SOUS 761341 HAS SOUPS 761341 WITH SCORE 763311.712
AT ITER 3134 NEW BEST:: SOT 3990585 SOS 1970396 HAS SOPS 1970396 HAS SOUS 761340 HAS SOUPS 761340 WITH SCORE 763310.396
AT ITER 3136 NEW BEST:: SOT 3990034 SOS 1968564 HAS SOPS 1968564 HAS SOUS 761164 HAS SOUPS 761164 WITH SCORE 763132.564
AT ITER 3166 NEW BEST:: SOT 3989920 SOS 1968279 HAS SOPS 1968279 HAS SOUS 761164 HAS SOUPS 761164 WITH SCORE 763132.279
AT ITER 3180 NEW BEST:: SOT 3989052 SOS 1966109 HAS SOPS 1966109 HAS SOUS 761164 HAS SOUPS 761164 WITH SCORE 763130.109
AT ITER 3190 NEW BEST:: SOT 3988532 SOS 1964549 HAS SOPS 1964549 HAS SOUS 760900 HAS SOUPS 760900 WITH SCORE 762864.549
AT ITER 3191 NEW BEST:: SOT 3985998 SOS 1959478 HAS SOPS 1959478 HAS SOUS 760612 HAS SOUPS 760612 WITH SCORE 762571.478
AT ITER 3192 NEW BEST:: SOT 3985839 SOS 1959160 HAS SOPS 1959160 HAS SOUS 760453 HAS SOUPS 760453 WITH SCORE 762412.16
AT ITER 3196 NEW BEST:: SOT 3985839 SOS 1959157 HAS SOPS 1959157 HAS SOUS 760448 HAS SOUPS 760448 WITH SCORE 762407.157
AT ITER 3200 NEW BEST:: SOT 3985839 SOS 1959157 HAS SOPS 1959157 HAS SOUS 760444 HAS SOUPS 760444 WITH SCORE 762403.157
AT ITER 3212 NEW BEST:: SOT 3985839 SOS 1958474 HAS SOPS 1958474 HAS SOUS 759999 HAS SOUPS 759999 WITH SCORE 761957.474
AT ITER 3232 NEW BEST:: SOT 3985710 SOS 1958216 HAS SOPS 1958216 HAS SOUS 759870 HAS SOUPS 759870 WITH SCORE 761828.216
AT ITER 3242 NEW BEST:: SOT 3985776 SOS 1958390 HAS SOPS 1958390 HAS SOUS 759852 HAS SOUPS 759852 WITH SCORE 761810.39
AT ITER 3252 NEW BEST:: SOT 3985152 SOS 1956284 HAS SOPS 1956284 HAS SOUS 759704 HAS SOUPS 759704 WITH SCORE 761660.284
AT ITER 3279 NEW BEST:: SOT 3985417 SOS 1957367 HAS SOPS 1957367 HAS SOUS 759599 HAS SOUPS 759599 WITH SCORE 761556.367
AT ITER 3281 NEW BEST:: SOT 3984585 SOS 1955284 HAS SOPS 1955284 HAS SOUS 759594 HAS SOUPS 759594 WITH SCORE 761549.284
AT ITER 3302 NEW BEST:: SOT 3984585 SOS 1955284 HAS SOPS 1955284 HAS SOUS 759590 HAS SOUPS 759590 WITH SCORE 761545.284
AT ITER 3308 NEW BEST:: SOT 3984585 SOS 1955284 HAS SOPS 1955284 HAS SOUS 759584 HAS SOUPS 759584 WITH SCORE 761539.284
AT ITER 3311 NEW BEST:: SOT 3982286 SOS 1948447 HAS SOPS 1948447 HAS SOUS 758861 HAS SOUPS 758861 WITH SCORE 760809.447
AT ITER 3314 NEW BEST:: SOT 3980679 SOS 1943495 HAS SOPS 1943495 HAS SOUS 758121 HAS SOUPS 758121 WITH SCORE 760064.495
AT ITER 3336 NEW BEST:: SOT 3980679 SOS 1943495 HAS SOPS 1943495 HAS SOUS 758115 HAS SOUPS 758115 WITH SCORE 760058.495
AT ITER 3337 NEW BEST:: SOT 3980643 SOS 1943387 HAS SOPS 1943387 HAS SOUS 758097 HAS SOUPS 758097 WITH SCORE 760040.387
AT ITER 3341 NEW BEST:: SOT 3980639 SOS 1943352 HAS SOPS 1943352 HAS SOUS 758064 HAS SOUPS 758064 WITH SCORE 760007.352
AT ITER 3350 NEW BEST:: SOT 3980333 SOS 1942740 HAS SOPS 1942740 HAS SOUS 757758 HAS SOUPS 757758 WITH SCORE 759700.74
AT ITER 3383 NEW BEST:: SOT 3978406 SOS 1937021 HAS SOPS 1937021 HAS SOUS 757209 HAS SOUPS 757209 WITH SCORE 759146.021
AT ITER 3389 NEW BEST:: SOT 3978339 SOS 1935989 HAS SOPS 1935989 HAS SOUS 756787 HAS SOUPS 756787 WITH SCORE 758722.989
AT ITER 3393 NEW BEST:: SOT 3977877 SOS 1934452 HAS SOPS 1934452 HAS SOUS 756678 HAS SOUPS 756678 WITH SCORE 758612.452
AT ITER 3394 NEW BEST:: SOT 3977349 SOS 1933396 HAS SOPS 1933396 HAS SOUS 756502 HAS SOUPS 756502 WITH SCORE 758435.396
AT ITER 3403 NEW BEST:: SOT 3976569 SOS 1931058 HAS SOPS 1931058 HAS SOUS 756377 HAS SOUPS 756377 WITH SCORE 758308.058
AT ITER 3408 NEW BEST:: SOT 3975145 SOS 1926717 HAS SOPS 1926717 HAS SOUS 755923 HAS SOUPS 755923 WITH SCORE 757849.717
AT ITER 3412 NEW BEST:: SOT 3975145 SOS 1926560 HAS SOPS 1926560 HAS SOUS 755764 HAS SOUPS 755764 WITH SCORE 757690.56
AT ITER 3420 NEW BEST:: SOT 3974956 SOS 1926182 HAS SOPS 1926182 HAS SOUS 755575 HAS SOUPS 755575 WITH SCORE 757501.182
AT ITER 3421 NEW BEST:: SOT 3974904 SOS 1926078 HAS SOPS 1926078 HAS SOUS 755523 HAS SOUPS 755523 WITH SCORE 757449.078
AT ITER 3423 NEW BEST:: SOT 3974904 SOS 1926049 HAS SOPS 1926049 HAS SOUS 755492 HAS SOUPS 755492 WITH SCORE 757418.049
AT ITER 3431 NEW BEST:: SOT 3974091 SOS 1923046 HAS SOPS 1923046 HAS SOUS 755366 HAS SOUPS 755366 WITH SCORE 757289.046
AT ITER 3436 NEW BEST:: SOT 3973945 SOS 1922462 HAS SOPS 1922462 HAS SOUS 755074 HAS SOUPS 755074 WITH SCORE 756996.462
AT ITER 3442 NEW BEST:: SOT 3973899 SOS 1922370 HAS SOPS 1922370 HAS SOUS 755018 HAS SOUPS 755018 WITH SCORE 756940.37
AT ITER 3443 NEW BEST:: SOT 3973349 SOS 1921288 HAS SOPS 1921288 HAS SOUS 754528 HAS SOUPS 754528 WITH SCORE 756449.288
AT ITER 3460 NEW BEST:: SOT 3972672 SOS 1919505 HAS SOPS 1919505 HAS SOUS 754514 HAS SOUPS 754514 WITH SCORE 756433.505
AT ITER 3465 NEW BEST:: SOT 3972660 SOS 1919469 HAS SOPS 1919469 HAS SOUS 754513 HAS SOUPS 754513 WITH SCORE 756432.469
AT ITER 3469 NEW BEST:: SOT 3972660 SOS 1919468 HAS SOPS 1919468 HAS SOUS 754506 HAS SOUPS 754506 WITH SCORE 756425.468
AT ITER 3472 NEW BEST:: SOT 3972388 SOS 1918652 HAS SOPS 1918652 HAS SOUS 754370 HAS SOUPS 754370 WITH SCORE 756288.652
AT ITER 3482 NEW BEST:: SOT 3972518 SOS 1918766 HAS SOPS 1918766 HAS SOUS 754354 HAS SOUPS 754354 WITH SCORE 756272.766
AT ITER 3485 NEW BEST:: SOT 3972698 SOS 1918817 HAS SOPS 1918817 HAS SOUS 754331 HAS SOUPS 754331 WITH SCORE 756249.817
AT ITER 3486 NEW BEST:: SOT 3972630 SOS 1918681 HAS SOPS 1918681 HAS SOUS 754263 HAS SOUPS 754263 WITH SCORE 756181.681
AT ITER 3494 NEW BEST:: SOT 3972128 SOS 1917425 HAS SOPS 1917425 HAS SOUS 754262 HAS SOUPS 754262 WITH SCORE 756179.425
AT ITER 3499 NEW BEST:: SOT 3971136 SOS 1914449 HAS SOPS 1914449 HAS SOUS 753304 HAS SOUPS 753304 WITH SCORE 755218.449
AT ITER 3514 NEW BEST:: SOT 3970910 SOS 1913798 HAS SOPS 1913798 HAS SOUS 753218 HAS SOUPS 753218 WITH SCORE 755131.798
AT ITER 3517 NEW BEST:: SOT 3970686 SOS 1913126 HAS SOPS 1913126 HAS SOUS 753106 HAS SOUPS 753106 WITH SCORE 755019.126
AT ITER 3524 NEW BEST:: SOT 3970112 SOS 1911071 HAS SOPS 1911071 HAS SOUS 752990 HAS SOUPS 752990 WITH SCORE 754901.071
AT ITER 3528 NEW BEST:: SOT 3969116 SOS 1907957 HAS SOPS 1907957 HAS SOUS 751307 HAS SOUPS 751307 WITH SCORE 753214.957
AT ITER 3534 NEW BEST:: SOT 3968624 SOS 1906727 HAS SOPS 1906727 HAS SOUS 751307 HAS SOUPS 751307 WITH SCORE 753213.727
AT ITER 3538 NEW BEST:: SOT 3967604 SOS 1903714 HAS SOPS 1903714 HAS SOUS 751056 HAS SOUPS 751056 WITH SCORE 752959.714
AT ITER 3558 NEW BEST:: SOT 3967324 SOS 1903154 HAS SOPS 1903154 HAS SOUS 750774 HAS SOUPS 750774 WITH SCORE 752677.154
AT ITER 3562 NEW BEST:: SOT 3967190 SOS 1902750 HAS SOPS 1902750 HAS SOUS 750714 HAS SOUPS 750714 WITH SCORE 752616.75
AT ITER 3590 NEW BEST:: SOT 3967066 SOS 1902304 HAS SOPS 1902304 HAS SOUS 750706 HAS SOUPS 750706 WITH SCORE 752608.304
AT ITER 3595 NEW BEST:: SOT 3965693 SOS 1898003 HAS SOPS 1898003 HAS SOUS 750163 HAS SOUPS 750163 WITH SCORE 752061.003
AT ITER 3613 NEW BEST:: SOT 3965397 SOS 1897261 HAS SOPS 1897261 HAS SOUS 750161 HAS SOUPS 750161 WITH SCORE 752058.261
AT ITER 3626 NEW BEST:: SOT 3964193 SOS 1893514 HAS SOPS 1893514 HAS SOUS 749952 HAS SOUPS 749952 WITH SCORE 751845.514
AT ITER 3634 NEW BEST:: SOT 3962769 SOS 1889344 HAS SOPS 1889344 HAS SOUS 749531 HAS SOUPS 749531 WITH SCORE 751420.344
AT ITER 3637 NEW BEST:: SOT 3962189 SOS 1887893 HAS SOPS 1887893 HAS SOUS 749530 HAS SOUPS 749530 WITH SCORE 751417.893
AT ITER 3647 NEW BEST:: SOT 3962037 SOS 1887589 HAS SOPS 1887589 HAS SOUS 749378 HAS SOUPS 749378 WITH SCORE 751265.589
AT ITER 3648 NEW BEST:: SOT 3961956 SOS 1887497 HAS SOPS 1887497 HAS SOUS 748965 HAS SOUPS 748965 WITH SCORE 750852.497
AT ITER 3667 NEW BEST:: SOT 3960256 SOS 1882401 HAS SOPS 1882401 HAS SOUS 748453 HAS SOUPS 748453 WITH SCORE 750335.401
AT ITER 3672 NEW BEST:: SOT 3960397 SOS 1882527 HAS SOPS 1882527 HAS SOUS 748438 HAS SOUPS 748438 WITH SCORE 750320.527
AT ITER 3689 NEW BEST:: SOT 3959541 SOS 1880387 HAS SOPS 1880387 HAS SOUS 748438 HAS SOUPS 748438 WITH SCORE 750318.387
AT ITER 3696 NEW BEST:: SOT 3959497 SOS 1880299 HAS SOPS 1880299 HAS SOUS 748438 HAS SOUPS 748438 WITH SCORE 750318.299
AT ITER 3708 NEW BEST:: SOT 3957893 SOS 1875547 HAS SOPS 1875547 HAS SOUS 748418 HAS SOUPS 748418 WITH SCORE 750293.547
AT ITER 3717 NEW BEST:: SOT 3957893 SOS 1875424 HAS SOPS 1875424 HAS SOUS 748003 HAS SOUPS 748003 WITH SCORE 749878.424
AT ITER 3745 NEW BEST:: SOT 3957412 SOS 1874462 HAS SOPS 1874462 HAS SOUS 747522 HAS SOUPS 747522 WITH SCORE 749396.462
AT ITER 3746 NEW BEST:: SOT 3956908 SOS 1872950 HAS SOPS 1872950 HAS SOUS 747270 HAS SOUPS 747270 WITH SCORE 749142.95
AT ITER 3753 NEW BEST:: SOT 3956708 SOS 1872350 HAS SOPS 1872350 HAS SOUS 747168 HAS SOUPS 747168 WITH SCORE 749040.35
AT ITER 3756 NEW BEST:: SOT 3956180 SOS 1871030 HAS SOPS 1871030 HAS SOUS 747168 HAS SOUPS 747168 WITH SCORE 749039.03
AT ITER 3762 NEW BEST:: SOT 3956021 SOS 1870659 HAS SOPS 1870659 HAS SOUS 747062 HAS SOUPS 747062 WITH SCORE 748932.659
AT ITER 3774 NEW BEST:: SOT 3955791 SOS 1869364 HAS SOPS 1869364 HAS SOUS 746589 HAS SOUPS 746589 WITH SCORE 748458.364
AT ITER 3778 NEW BEST:: SOT 3955791 SOS 1869214 HAS SOPS 1869214 HAS SOUS 746493 HAS SOUPS 746493 WITH SCORE 748362.214
AT ITER 3787 NEW BEST:: SOT 3955898 SOS 1868768 HAS SOPS 1868768 HAS SOUS 746270 HAS SOUPS 746270 WITH SCORE 748138.768
AT ITER 3795 NEW BEST:: SOT 3955755 SOS 1868481 HAS SOPS 1868481 HAS SOUS 746248 HAS SOUPS 746248 WITH SCORE 748116.481
AT ITER 3800 NEW BEST:: SOT 3955026 SOS 1867022 HAS SOPS 1867022 HAS SOUS 746004 HAS SOUPS 746004 WITH SCORE 747871.022
AT ITER 3819 NEW BEST:: SOT 3955026 SOS 1866835 HAS SOPS 1866835 HAS SOUS 745825 HAS SOUPS 745825 WITH SCORE 747691.835
AT ITER 3828 NEW BEST:: SOT 3953259 SOS 1862522 HAS SOPS 1862522 HAS SOUS 745641 HAS SOUPS 745641 WITH SCORE 747503.522
AT ITER 3830 NEW BEST:: SOT 3952521 SOS 1860675 HAS SOPS 1860675 HAS SOUS 745639 HAS SOUPS 745639 WITH SCORE 747499.675
AT ITER 3843 NEW BEST:: SOT 3951720 SOS 1859033 HAS SOPS 1859033 HAS SOUS 745409 HAS SOUPS 745409 WITH SCORE 747268.033
AT ITER 3846 NEW BEST:: SOT 3951047 SOS 1857151 HAS SOPS 1857151 HAS SOUS 745334 HAS SOUPS 745334 WITH SCORE 747191.151
AT ITER 3856 NEW BEST:: SOT 3950003 SOS 1854118 HAS SOPS 1854118 HAS SOUS 744909 HAS SOUPS 744909 WITH SCORE 746763.118
AT ITER 3861 NEW BEST:: SOT 3949900 SOS 1852760 HAS SOPS 1852760 HAS SOUS 744837 HAS SOUPS 744837 WITH SCORE 746689.76
AT ITER 3865 NEW BEST:: SOT 3948728 SOS 1848231 HAS SOPS 1848231 HAS SOUS 744795 HAS SOUPS 744795 WITH SCORE 746643.231
AT ITER 3866 NEW BEST:: SOT 3948584 SOS 1847033 HAS SOPS 1847033 HAS SOUS 744401 HAS SOUPS 744401 WITH SCORE 746248.033
AT ITER 3873 NEW BEST:: SOT 3948118 SOS 1845411 HAS SOPS 1845411 HAS SOUS 744280 HAS SOUPS 744280 WITH SCORE 746125.411
AT ITER 3879 NEW BEST:: SOT 3947456 SOS 1843425 HAS SOPS 1843425 HAS SOUS 743949 HAS SOUPS 743949 WITH SCORE 745792.425
AT ITER 3888 NEW BEST:: SOT 3947318 SOS 1843080 HAS SOPS 1843080 HAS SOUS 743949 HAS SOUPS 743949 WITH SCORE 745792.08
AT ITER 3895 NEW BEST:: SOT 3946556 SOS 1840305 HAS SOPS 1840305 HAS SOUS 742789 HAS SOUPS 742789 WITH SCORE 744629.305
AT ITER 3898 NEW BEST:: SOT 3946436 SOS 1839892 HAS SOPS 1839892 HAS SOUS 742402 HAS SOUPS 742402 WITH SCORE 744241.892
AT ITER 3906 NEW BEST:: SOT 3945170 SOS 1836321 HAS SOPS 1836321 HAS SOUS 742276 HAS SOUPS 742276 WITH SCORE 744112.321
AT ITER 3923 NEW BEST:: SOT 3943134 SOS 1831086 HAS SOPS 1831086 HAS SOUS 741820 HAS SOUPS 741820 WITH SCORE 743651.086
AT ITER 3927 NEW BEST:: SOT 3942571 SOS 1829418 HAS SOPS 1829418 HAS SOUS 741591 HAS SOUPS 741591 WITH SCORE 743420.418
AT ITER 3936 NEW BEST:: SOT 3941461 SOS 1826088 HAS SOPS 1826088 HAS SOUS 741036 HAS SOUPS 741036 WITH SCORE 742862.088
AT ITER 3937 NEW BEST:: SOT 3941589 SOS 1826420 HAS SOPS 1826420 HAS SOUS 741012 HAS SOUPS 741012 WITH SCORE 742838.42
AT ITER 3942 NEW BEST:: SOT 3941417 SOS 1826355 HAS SOPS 1826355 HAS SOUS 740977 HAS SOUPS 740977 WITH SCORE 742803.355
AT ITER 3949 NEW BEST:: SOT 3941417 SOS 1826150 HAS SOPS 1826150 HAS SOUS 740772 HAS SOUPS 740772 WITH SCORE 742598.15
AT ITER 3951 NEW BEST:: SOT 3941417 SOS 1826150 HAS SOPS 1826150 HAS SOUS 740770 HAS SOUPS 740770 WITH SCORE 742596.15
AT ITER 3956 NEW BEST:: SOT 3941396 SOS 1826108 HAS SOPS 1826108 HAS SOUS 740749 HAS SOUPS 740749 WITH SCORE 742575.108
AT ITER 3957 NEW BEST:: SOT 3941350 SOS 1826016 HAS SOPS 1826016 HAS SOUS 740703 HAS SOUPS 740703 WITH SCORE 742529.016
AT ITER 3971 NEW BEST:: SOT 3941224 SOS 1825764 HAS SOPS 1825764 HAS SOUS 740703 HAS SOUPS 740703 WITH SCORE 742528.764
AT ITER 3977 NEW BEST:: SOT 3941171 SOS 1825658 HAS SOPS 1825658 HAS SOUS 740650 HAS SOUPS 740650 WITH SCORE 742475.658
AT ITER 3989 NEW BEST:: SOT 3938324 SOS 1818478 HAS SOPS 1818478 HAS SOUS 739414 HAS SOUPS 739414 WITH SCORE 741232.478
AT ITER 4009 NEW BEST:: SOT 3938386 SOS 1818422 HAS SOPS 1818422 HAS SOUS 739296 HAS SOUPS 739296 WITH SCORE 741114.422
AT ITER 4012 NEW BEST:: SOT 3936441 SOS 1812470 HAS SOPS 1812470 HAS SOUS 737830 HAS SOUPS 737830 WITH SCORE 739642.47
AT ITER 4032 NEW BEST:: SOT 3934937 SOS 1808115 HAS SOPS 1808115 HAS SOUS 737562 HAS SOUPS 737562 WITH SCORE 739370.115
AT ITER 4051 NEW BEST:: SOT 3934695 SOS 1807631 HAS SOPS 1807631 HAS SOUS 737320 HAS SOUPS 737320 WITH SCORE 739127.631
AT ITER 4069 NEW BEST:: SOT 3934357 SOS 1806786 HAS SOPS 1806786 HAS SOUS 737151 HAS SOUPS 737151 WITH SCORE 738957.786
AT ITER 4073 NEW BEST:: SOT 3934057 SOS 1806034 HAS SOPS 1806034 HAS SOUS 737149 HAS SOUPS 737149 WITH SCORE 738955.034
AT ITER 4075 NEW BEST:: SOT 3933737 SOS 1805394 HAS SOPS 1805394 HAS SOUS 736749 HAS SOUPS 736749 WITH SCORE 738554.394
AT ITER 4077 NEW BEST:: SOT 3933117 SOS 1803843 HAS SOPS 1803843 HAS SOUS 736748 HAS SOUPS 736748 WITH SCORE 738551.843
AT ITER 4080 NEW BEST:: SOT 3932991 SOS 1803526 HAS SOPS 1803526 HAS SOUS 736746 HAS SOUPS 736746 WITH SCORE 738549.526
AT ITER 4104 NEW BEST:: SOT 3932991 SOS 1803625 HAS SOPS 1803625 HAS SOUS 736263 HAS SOUPS 736263 WITH SCORE 738066.625
AT ITER 4108 NEW BEST:: SOT 3932591 SOS 1802425 HAS SOPS 1802425 HAS SOUS 736063 HAS SOUPS 736063 WITH SCORE 737865.425
AT ITER 4134 NEW BEST:: SOT 3932548 SOS 1802339 HAS SOPS 1802339 HAS SOUS 736063 HAS SOUPS 736063 WITH SCORE 737865.339
AT ITER 4147 NEW BEST:: SOT 3930848 SOS 1797262 HAS SOPS 1797262 HAS SOUS 735490 HAS SOUPS 735490 WITH SCORE 737287.262
AT ITER 4157 NEW BEST:: SOT 3930522 SOS 1796284 HAS SOPS 1796284 HAS SOUS 735327 HAS SOUPS 735327 WITH SCORE 737123.284
AT ITER 4161 NEW BEST:: SOT 3930365 SOS 1795833 HAS SOPS 1795833 HAS SOUS 735270 HAS SOUPS 735270 WITH SCORE 737065.833
AT ITER 4188 NEW BEST:: SOT 3929903 SOS 1794447 HAS SOPS 1794447 HAS SOUS 734577 HAS SOUPS 734577 WITH SCORE 736371.447
AT ITER 4197 NEW BEST:: SOT 3929258 SOS 1792343 HAS SOPS 1792343 HAS SOUS 734337 HAS SOUPS 734337 WITH SCORE 736129.343
AT ITER 4200 NEW BEST:: SOT 3928981 SOS 1791970 HAS SOPS 1791970 HAS SOUS 734323 HAS SOUPS 734323 WITH SCORE 736114.97
AT ITER 4223 NEW BEST:: SOT 3928981 SOS 1791893 HAS SOPS 1791893 HAS SOUS 734242 HAS SOUPS 734242 WITH SCORE 736033.893
AT ITER 4225 NEW BEST:: SOT 3928967 SOS 1791851 HAS SOPS 1791851 HAS SOUS 734235 HAS SOUPS 734235 WITH SCORE 736026.851
AT ITER 4229 NEW BEST:: SOT 3928452 SOS 1790821 HAS SOPS 1790821 HAS SOUS 734235 HAS SOUPS 734235 WITH SCORE 736025.821
AT ITER 4248 NEW BEST:: SOT 3928478 SOS 1790873 HAS SOPS 1790873 HAS SOUS 734002 HAS SOUPS 734002 WITH SCORE 735792.873
AT ITER 4258 NEW BEST:: SOT 3926742 SOS 1787400 HAS SOPS 1787400 HAS SOUS 733927 HAS SOUPS 733927 WITH SCORE 735714.4
AT ITER 4262 NEW BEST:: SOT 3926600 SOS 1787116 HAS SOPS 1787116 HAS SOUS 733785 HAS SOUPS 733785 WITH SCORE 735572.116
AT ITER 4264 NEW BEST:: SOT 3926600 SOS 1787147 HAS SOPS 1787147 HAS SOUS 733566 HAS SOUPS 733566 WITH SCORE 735353.147
AT ITER 4279 NEW BEST:: SOT 3926701 SOS 1787405 HAS SOPS 1787405 HAS SOUS 733175 HAS SOUPS 733175 WITH SCORE 734962.405
AT ITER 4308 NEW BEST:: SOT 3925206 SOS 1783252 HAS SOPS 1783252 HAS SOUS 732971 HAS SOUPS 732971 WITH SCORE 734754.252
AT ITER 4314 NEW BEST:: SOT 3924414 SOS 1780394 HAS SOPS 1780394 HAS SOUS 732885 HAS SOUPS 732885 WITH SCORE 734665.394
AT ITER 4322 NEW BEST:: SOT 3924414 SOS 1780255 HAS SOPS 1780255 HAS SOUS 732742 HAS SOUPS 732742 WITH SCORE 734522.255
AT ITER 4324 NEW BEST:: SOT 3922738 SOS 1775354 HAS SOPS 1775354 HAS SOUS 732031 HAS SOUPS 732031 WITH SCORE 733806.354
AT ITER 4355 NEW BEST:: SOT 3922386 SOS 1774568 HAS SOPS 1774568 HAS SOUS 731895 HAS SOUPS 731895 WITH SCORE 733669.568
AT ITER 4367 NEW BEST:: SOT 3921636 SOS 1772318 HAS SOPS 1772318 HAS SOUS 731520 HAS SOUPS 731520 WITH SCORE 733292.318
AT ITER 4384 NEW BEST:: SOT 3920764 SOS 1769791 HAS SOPS 1769791 HAS SOUS 731335 HAS SOUPS 731335 WITH SCORE 733104.791
AT ITER 4388 NEW BEST:: SOT 3919776 SOS 1767320 HAS SOPS 1767320 HAS SOUS 731334 HAS SOUPS 731334 WITH SCORE 733101.32
AT ITER 4397 NEW BEST:: SOT 3918053 SOS 1762311 HAS SOPS 1762311 HAS SOUS 730413 HAS SOUPS 730413 WITH SCORE 732175.311
AT ITER 4414 NEW BEST:: SOT 3918734 SOS 1764194 HAS SOPS 1764194 HAS SOUS 730277 HAS SOUPS 730277 WITH SCORE 732041.194
AT ITER 4433 NEW BEST:: SOT 3918734 SOS 1764182 HAS SOPS 1764182 HAS SOUS 730265 HAS SOUPS 730265 WITH SCORE 732029.182
AT ITER 4434 NEW BEST:: SOT 3918268 SOS 1762410 HAS SOPS 1762410 HAS SOUS 730219 HAS SOUPS 730219 WITH SCORE 731981.41
AT ITER 4452 NEW BEST:: SOT 3917431 SOS 1759967 HAS SOPS 1759967 HAS SOUS 729941 HAS SOUPS 729941 WITH SCORE 731700.967
AT ITER 4468 NEW BEST:: SOT 3916882 SOS 1758686 HAS SOPS 1758686 HAS SOUS 729421 HAS SOUPS 729421 WITH SCORE 731179.686
AT ITER 4483 NEW BEST:: SOT 3916978 SOS 1758783 HAS SOPS 1758783 HAS SOUS 729419 HAS SOUPS 729419 WITH SCORE 731177.783
AT ITER 4486 NEW BEST:: SOT 3916403 SOS 1757073 HAS SOPS 1757073 HAS SOUS 729364 HAS SOUPS 729364 WITH SCORE 731121.073
AT ITER 4494 NEW BEST:: SOT 3915887 SOS 1755525 HAS SOPS 1755525 HAS SOUS 729106 HAS SOUPS 729106 WITH SCORE 730861.525
AT ITER 4498 NEW BEST:: SOT 3915887 SOS 1755394 HAS SOPS 1755394 HAS SOUS 728975 HAS SOUPS 728975 WITH SCORE 730730.394
AT ITER 4521 NEW BEST:: SOT 3915843 SOS 1755306 HAS SOPS 1755306 HAS SOUS 728920 HAS SOUPS 728920 WITH SCORE 730675.306
AT ITER 4530 NEW BEST:: SOT 3915241 SOS 1753020 HAS SOPS 1753020 HAS SOUS 728207 HAS SOUPS 728207 WITH SCORE 729960.02
AT ITER 4535 NEW BEST:: SOT 3915241 SOS 1752998 HAS SOPS 1752998 HAS SOUS 728139 HAS SOUPS 728139 WITH SCORE 729891.998
AT ITER 4542 NEW BEST:: SOT 3915241 SOS 1752893 HAS SOPS 1752893 HAS SOUS 727820 HAS SOUPS 727820 WITH SCORE 729572.893
AT ITER 4551 NEW BEST:: SOT 3915250 SOS 1752920 HAS SOPS 1752920 HAS SOUS 727811 HAS SOUPS 727811 WITH SCORE 729563.92
AT ITER 4553 NEW BEST:: SOT 3914045 SOS 1749931 HAS SOPS 1749931 HAS SOUS 727635 HAS SOUPS 727635 WITH SCORE 729384.931
AT ITER 4559 NEW BEST:: SOT 3913661 SOS 1748779 HAS SOPS 1748779 HAS SOUS 727437 HAS SOUPS 727437 WITH SCORE 729185.779
AT ITER 4591 NEW BEST:: SOT 3913661 SOS 1748487 HAS SOPS 1748487 HAS SOUS 727141 HAS SOUPS 727141 WITH SCORE 728889.487
AT ITER 4593 NEW BEST:: SOT 3913661 SOS 1748487 HAS SOPS 1748487 HAS SOUS 727139 HAS SOUPS 727139 WITH SCORE 728887.487
AT ITER 4598 NEW BEST:: SOT 3913266 SOS 1747480 HAS SOPS 1747480 HAS SOUS 726585 HAS SOUPS 726585 WITH SCORE 728332.48
AT ITER 4612 NEW BEST:: SOT 3913266 SOS 1747395 HAS SOPS 1747395 HAS SOUS 726500 HAS SOUPS 726500 WITH SCORE 728247.395
AT ITER 4619 NEW BEST:: SOT 3913110 SOS 1746771 HAS SOPS 1746771 HAS SOUS 726500 HAS SOUPS 726500 WITH SCORE 728246.771
AT ITER 4623 NEW BEST:: SOT 3912788 SOS 1745846 HAS SOPS 1745846 HAS SOUS 726410 HAS SOUPS 726410 WITH SCORE 728155.846
AT ITER 4635 NEW BEST:: SOT 3912788 SOS 1745934 HAS SOPS 1745934 HAS SOUS 726020 HAS SOUPS 726020 WITH SCORE 727765.934
AT ITER 4648 NEW BEST:: SOT 3912151 SOS 1743505 HAS SOPS 1743505 HAS SOUS 725755 HAS SOUPS 725755 WITH SCORE 727498.505
AT ITER 4663 NEW BEST:: SOT 3911455 SOS 1741765 HAS SOPS 1741765 HAS SOUS 725755 HAS SOUPS 725755 WITH SCORE 727496.765
AT ITER 4670 NEW BEST:: SOT 3911455 SOS 1741762 HAS SOPS 1741762 HAS SOUS 725750 HAS SOUPS 725750 WITH SCORE 727491.762
AT ITER 4682 NEW BEST:: SOT 3910777 SOS 1739646 HAS SOPS 1739646 HAS SOUS 725352 HAS SOUPS 725352 WITH SCORE 727091.646
AT ITER 4690 NEW BEST:: SOT 3910777 SOS 1739529 HAS SOPS 1739529 HAS SOUS 725241 HAS SOUPS 725241 WITH SCORE 726980.529
AT ITER 4704 NEW BEST:: SOT 3910171 SOS 1737711 HAS SOPS 1737711 HAS SOUS 724432 HAS SOUPS 724432 WITH SCORE 726169.711
AT ITER 4717 NEW BEST:: SOT 3910171 SOS 1737566 HAS SOPS 1737566 HAS SOUS 724301 HAS SOUPS 724301 WITH SCORE 726038.566
AT ITER 4722 NEW BEST:: SOT 3909789 SOS 1736473 HAS SOPS 1736473 HAS SOUS 724163 HAS SOUPS 724163 WITH SCORE 725899.473
AT ITER 4733 NEW BEST:: SOT 3906570 SOS 1728318 HAS SOPS 1728318 HAS SOUS 722189 HAS SOUPS 722189 WITH SCORE 723917.318
AT ITER 4738 NEW BEST:: SOT 3905448 SOS 1725001 HAS SOPS 1725001 HAS SOUS 721797 HAS SOUPS 721797 WITH SCORE 723522.001
AT ITER 4747 NEW BEST:: SOT 3904990 SOS 1723569 HAS SOPS 1723569 HAS SOUS 721705 HAS SOUPS 721705 WITH SCORE 723428.569
AT ITER 4759 NEW BEST:: SOT 3904900 SOS 1723342 HAS SOPS 1723342 HAS SOUS 721703 HAS SOUPS 721703 WITH SCORE 723426.342
AT ITER 4770 NEW BEST:: SOT 3904842 SOS 1723244 HAS SOPS 1723244 HAS SOUS 721501 HAS SOUPS 721501 WITH SCORE 723224.244
AT ITER 4802 NEW BEST:: SOT 3905095 SOS 1723951 HAS SOPS 1723951 HAS SOUS 721352 HAS SOUPS 721352 WITH SCORE 723075.951
AT ITER 4850 NEW BEST:: SOT 3904314 SOS 1721297 HAS SOPS 1721297 HAS SOUS 720612 HAS SOUPS 720612 WITH SCORE 722333.297
AT ITER 4852 NEW BEST:: SOT 3903476 SOS 1718783 HAS SOPS 1718783 HAS SOUS 719591 HAS SOUPS 719591 WITH SCORE 721309.783
AT ITER 4853 NEW BEST:: SOT 3903186 SOS 1717913 HAS SOPS 1717913 HAS SOUS 719446 HAS SOUPS 719446 WITH SCORE 721163.913
AT ITER 4855 NEW BEST:: SOT 3903106 SOS 1717753 HAS SOPS 1717753 HAS SOUS 719366 HAS SOUPS 719366 WITH SCORE 721083.753
AT ITER 4875 NEW BEST:: SOT 3901919 SOS 1714263 HAS SOPS 1714263 HAS SOUS 719121 HAS SOUPS 719121 WITH SCORE 720835.263
AT ITER 4877 NEW BEST:: SOT 3900494 SOS 1710128 HAS SOPS 1710128 HAS SOUS 717833 HAS SOUPS 717833 WITH SCORE 719543.128
AT ITER 4878 NEW BEST:: SOT 3900338 SOS 1709895 HAS SOPS 1709895 HAS SOUS 717832 HAS SOUPS 717832 WITH SCORE 719541.895
AT ITER 4881 NEW BEST:: SOT 3899902 SOS 1708965 HAS SOPS 1708965 HAS SOUS 717802 HAS SOUPS 717802 WITH SCORE 719510.965
AT ITER 4894 NEW BEST:: SOT 3899498 SOS 1707487 HAS SOPS 1707487 HAS SOUS 717733 HAS SOUPS 717733 WITH SCORE 719440.487
AT ITER 4903 NEW BEST:: SOT 3899498 SOS 1707426 HAS SOPS 1707426 HAS SOUS 716720 HAS SOUPS 716720 WITH SCORE 718427.426
AT ITER 4923 NEW BEST:: SOT 3898840 SOS 1706110 HAS SOPS 1706110 HAS SOUS 716720 HAS SOUPS 716720 WITH SCORE 718426.11
AT ITER 4935 NEW BEST:: SOT 3898782 SOS 1705936 HAS SOPS 1705936 HAS SOUS 716691 HAS SOUPS 716691 WITH SCORE 718396.936
AT ITER 4936 NEW BEST:: SOT 3898782 SOS 1705936 HAS SOPS 1705936 HAS SOUS 716689 HAS SOUPS 716689 WITH SCORE 718394.936
AT ITER 4948 NEW BEST:: SOT 3897456 SOS 1702115 HAS SOPS 1702115 HAS SOUS 716417 HAS SOUPS 716417 WITH SCORE 718119.115
AT ITER 4990 NEW BEST:: SOT 3897070 SOS 1700994 HAS SOPS 1700994 HAS SOUS 716261 HAS SOUPS 716261 WITH SCORE 717961.994
AT ITER 4997 NEW BEST:: SOT 3896230 SOS 1699978 HAS SOPS 1699978 HAS SOUS 714520 HAS SOUPS 714520 WITH SCORE 716219.978
AT ITER 5008 NEW BEST:: SOT 3896120 SOS 1699868 HAS SOPS 1699868 HAS SOUS 714406 HAS SOUPS 714406 WITH SCORE 716105.868
AT ITER 5015 NEW BEST:: SOT 3896022 SOS 1699623 HAS SOPS 1699623 HAS SOUS 714406 HAS SOUPS 714406 WITH SCORE 716105.623
AT ITER 5018 NEW BEST:: SOT 3895923 SOS 1699425 HAS SOPS 1699425 HAS SOUS 714401 HAS SOUPS 714401 WITH SCORE 716100.425
AT ITER 5053 NEW BEST:: SOT 3895710 SOS 1698500 HAS SOPS 1698500 HAS SOUS 714345 HAS SOUPS 714345 WITH SCORE 716043.5
AT ITER 5059 NEW BEST:: SOT 3895692 SOS 1698464 HAS SOPS 1698464 HAS SOUS 714345 HAS SOUPS 714345 WITH SCORE 716043.464
AT ITER 5070 NEW BEST:: SOT 3896045 SOS 1699477 HAS SOPS 1699477 HAS SOUS 714321 HAS SOUPS 714321 WITH SCORE 716020.477
AT ITER 5078 NEW BEST:: SOT 3895821 SOS 1699029 HAS SOPS 1699029 HAS SOUS 714097 HAS SOUPS 714097 WITH SCORE 715796.029
AT ITER 5083 NEW BEST:: SOT 3895243 SOS 1697362 HAS SOPS 1697362 HAS SOUS 713859 HAS SOUPS 713859 WITH SCORE 715556.362
AT ITER 5089 NEW BEST:: SOT 3894687 SOS 1695969 HAS SOPS 1695969 HAS SOUS 713856 HAS SOUPS 713856 WITH SCORE 715551.969
AT ITER 5099 NEW BEST:: SOT 3894623 SOS 1695777 HAS SOPS 1695777 HAS SOUS 713760 HAS SOUPS 713760 WITH SCORE 715455.777
AT ITER 5118 NEW BEST:: SOT 3894034 SOS 1694577 HAS SOPS 1694577 HAS SOUS 713575 HAS SOUPS 713575 WITH SCORE 715269.577
AT ITER 5119 NEW BEST:: SOT 3893826 SOS 1694181 HAS SOPS 1694181 HAS SOUS 713405 HAS SOUPS 713405 WITH SCORE 715099.181
AT ITER 5120 NEW BEST:: SOT 3893779 SOS 1693435 HAS SOPS 1693435 HAS SOUS 713292 HAS SOUPS 713292 WITH SCORE 714985.435
AT ITER 5125 NEW BEST:: SOT 3894011 SOS 1693310 HAS SOPS 1693310 HAS SOUS 713288 HAS SOUPS 713288 WITH SCORE 714981.31
AT ITER 5131 NEW BEST:: SOT 3893483 SOS 1691726 HAS SOPS 1691726 HAS SOUS 713022 HAS SOUPS 713022 WITH SCORE 714713.726
AT ITER 5159 NEW BEST:: SOT 3892743 SOS 1689875 HAS SOPS 1689875 HAS SOUS 713021 HAS SOUPS 713021 WITH SCORE 714710.875
AT ITER 5166 NEW BEST:: SOT 3892743 SOS 1689873 HAS SOPS 1689873 HAS SOUS 713015 HAS SOUPS 713015 WITH SCORE 714704.873
AT ITER 5172 NEW BEST:: SOT 3892530 SOS 1689659 HAS SOPS 1689659 HAS SOUS 713014 HAS SOUPS 713014 WITH SCORE 714703.659
AT ITER 5174 NEW BEST:: SOT 3892216 SOS 1688748 HAS SOPS 1688748 HAS SOUS 712888 HAS SOUPS 712888 WITH SCORE 714576.748
AT ITER 5212 NEW BEST:: SOT 3891679 SOS 1687000 HAS SOPS 1687000 HAS SOUS 712549 HAS SOUPS 712549 WITH SCORE 714236.0
AT ITER 5220 NEW BEST:: SOT 3891522 SOS 1686372 HAS SOPS 1686372 HAS SOUS 712549 HAS SOUPS 712549 WITH SCORE 714235.372
AT ITER 5224 NEW BEST:: SOT 3891348 SOS 1685893 HAS SOPS 1685893 HAS SOUS 712505 HAS SOUPS 712505 WITH SCORE 714190.893
AT ITER 5226 NEW BEST:: SOT 3889775 SOS 1681507 HAS SOPS 1681507 HAS SOUS 712383 HAS SOUPS 712383 WITH SCORE 714064.507
AT ITER 5227 NEW BEST:: SOT 3889580 SOS 1680629 HAS SOPS 1680629 HAS SOUS 712280 HAS SOUPS 712280 WITH SCORE 713960.629
AT ITER 5229 NEW BEST:: SOT 3889729 SOS 1680944 HAS SOPS 1680944 HAS SOUS 712071 HAS SOUPS 712071 WITH SCORE 713751.944
AT ITER 5233 NEW BEST:: SOT 3889634 SOS 1680744 HAS SOPS 1680744 HAS SOUS 711966 HAS SOUPS 711966 WITH SCORE 713646.744
AT ITER 5244 NEW BEST:: SOT 3889764 SOS 1681215 HAS SOPS 1681215 HAS SOUS 711764 HAS SOUPS 711764 WITH SCORE 713445.215
AT ITER 5254 NEW BEST:: SOT 3889764 SOS 1681215 HAS SOPS 1681215 HAS SOUS 711762 HAS SOUPS 711762 WITH SCORE 713443.215
AT ITER 5255 NEW BEST:: SOT 3889509 SOS 1680705 HAS SOPS 1680705 HAS SOUS 711507 HAS SOUPS 711507 WITH SCORE 713187.705
AT ITER 5268 NEW BEST:: SOT 3887346 SOS 1674348 HAS SOPS 1674348 HAS SOUS 710895 HAS SOUPS 710895 WITH SCORE 712569.348
AT ITER 5273 NEW BEST:: SOT 3887547 SOS 1674951 HAS SOPS 1674951 HAS SOUS 710694 HAS SOUPS 710694 WITH SCORE 712368.951
AT ITER 5275 NEW BEST:: SOT 3887244 SOS 1674191 HAS SOPS 1674191 HAS SOUS 710572 HAS SOUPS 710572 WITH SCORE 712246.191
AT ITER 5279 NEW BEST:: SOT 3887213 SOS 1673947 HAS SOPS 1673947 HAS SOUS 710369 HAS SOUPS 710369 WITH SCORE 712042.947
AT ITER 5282 NEW BEST:: SOT 3884872 SOS 1667438 HAS SOPS 1667438 HAS SOUS 707234 HAS SOUPS 707234 WITH SCORE 708901.438
AT ITER 5294 NEW BEST:: SOT 3884735 SOS 1667012 HAS SOPS 1667012 HAS SOUS 707158 HAS SOUPS 707158 WITH SCORE 708825.012
AT ITER 5302 NEW BEST:: SOT 3884735 SOS 1667012 HAS SOPS 1667012 HAS SOUS 707156 HAS SOUPS 707156 WITH SCORE 708823.012
AT ITER 5315 NEW BEST:: SOT 3884603 SOS 1666645 HAS SOPS 1666645 HAS SOUS 707119 HAS SOUPS 707119 WITH SCORE 708785.645
AT ITER 5317 NEW BEST:: SOT 3884493 SOS 1666425 HAS SOPS 1666425 HAS SOUS 706983 HAS SOUPS 706983 WITH SCORE 708649.425
AT ITER 5341 NEW BEST:: SOT 3884492 SOS 1666423 HAS SOPS 1666423 HAS SOUS 706982 HAS SOUPS 706982 WITH SCORE 708648.423
AT ITER 5351 NEW BEST:: SOT 3883612 SOS 1665268 HAS SOPS 1665268 HAS SOUS 706923 HAS SOUPS 706923 WITH SCORE 708588.268
AT ITER 5358 NEW BEST:: SOT 3882752 SOS 1663031 HAS SOPS 1663031 HAS SOUS 706836 HAS SOUPS 706836 WITH SCORE 708499.031
AT ITER 5376 NEW BEST:: SOT 3882752 SOS 1662961 HAS SOPS 1662961 HAS SOUS 706766 HAS SOUPS 706766 WITH SCORE 708428.961
AT ITER 5385 NEW BEST:: SOT 3881868 SOS 1660313 HAS SOPS 1660313 HAS SOUS 706603 HAS SOUPS 706603 WITH SCORE 708263.313
AT ITER 5398 NEW BEST:: SOT 3881798 SOS 1660173 HAS SOPS 1660173 HAS SOUS 706533 HAS SOUPS 706533 WITH SCORE 708193.173
AT ITER 5411 NEW BEST:: SOT 3881798 SOS 1660130 HAS SOPS 1660130 HAS SOUS 706490 HAS SOUPS 706490 WITH SCORE 708150.13
AT ITER 5422 NEW BEST:: SOT 3880430 SOS 1656065 HAS SOPS 1656065 HAS SOUS 706136 HAS SOUPS 706136 WITH SCORE 707792.065
AT ITER 5423 NEW BEST:: SOT 3880174 SOS 1655425 HAS SOPS 1655425 HAS SOUS 706136 HAS SOUPS 706136 WITH SCORE 707791.425
AT ITER 5431 NEW BEST:: SOT 3880166 SOS 1655393 HAS SOPS 1655393 HAS SOUS 706136 HAS SOUPS 706136 WITH SCORE 707791.393
AT ITER 5438 NEW BEST:: SOT 3880057 SOS 1654851 HAS SOPS 1654851 HAS SOUS 706068 HAS SOUPS 706068 WITH SCORE 707722.851
AT ITER 5439 NEW BEST:: SOT 3880505 SOS 1656080 HAS SOPS 1656080 HAS SOUS 705850 HAS SOUPS 705850 WITH SCORE 707506.08
AT ITER 5483 NEW BEST:: SOT 3880331 SOS 1655558 HAS SOPS 1655558 HAS SOUS 705755 HAS SOUPS 705755 WITH SCORE 707410.558
AT ITER 5485 NEW BEST:: SOT 3880138 SOS 1655169 HAS SOPS 1655169 HAS SOUS 705557 HAS SOUPS 705557 WITH SCORE 707212.169
AT ITER 5487 NEW BEST:: SOT 3880138 SOS 1655169 HAS SOPS 1655169 HAS SOUS 705471 HAS SOUPS 705471 WITH SCORE 707126.169
AT ITER 5489 NEW BEST:: SOT 3879952 SOS 1654797 HAS SOPS 1654797 HAS SOUS 705470 HAS SOUPS 705470 WITH SCORE 707124.797
AT ITER 5490 NEW BEST:: SOT 3879593 SOS 1654079 HAS SOPS 1654079 HAS SOUS 705244 HAS SOUPS 705244 WITH SCORE 706898.079
AT ITER 5530 NEW BEST:: SOT 3879593 SOS 1654079 HAS SOPS 1654079 HAS SOUS 705238 HAS SOUPS 705238 WITH SCORE 706892.079
AT ITER 5541 NEW BEST:: SOT 3877457 SOS 1648048 HAS SOPS 1648048 HAS SOUS 704711 HAS SOUPS 704711 WITH SCORE 706359.048
AT ITER 5550 NEW BEST:: SOT 3876986 SOS 1646651 HAS SOPS 1646651 HAS SOUS 704598 HAS SOUPS 704598 WITH SCORE 706244.651
AT ITER 5559 NEW BEST:: SOT 3876962 SOS 1646600 HAS SOPS 1646600 HAS SOUS 704585 HAS SOUPS 704585 WITH SCORE 706231.6
AT ITER 5566 NEW BEST:: SOT 3876374 SOS 1643731 HAS SOPS 1643731 HAS SOUS 704441 HAS SOUPS 704441 WITH SCORE 706084.731
AT ITER 5588 NEW BEST:: SOT 3875970 SOS 1643242 HAS SOPS 1643242 HAS SOUS 704376 HAS SOUPS 704376 WITH SCORE 706019.242
AT ITER 5603 NEW BEST:: SOT 3875280 SOS 1641172 HAS SOPS 1641172 HAS SOUS 704029 HAS SOUPS 704029 WITH SCORE 705670.172
AT ITER 5609 NEW BEST:: SOT 3875270 SOS 1641152 HAS SOPS 1641152 HAS SOUS 704018 HAS SOUPS 704018 WITH SCORE 705659.152
AT ITER 5637 NEW BEST:: SOT 3875176 SOS 1640916 HAS SOPS 1640916 HAS SOUS 704017 HAS SOUPS 704017 WITH SCORE 705657.916
AT ITER 5642 NEW BEST:: SOT 3874498 SOS 1638882 HAS SOPS 1638882 HAS SOUS 703678 HAS SOUPS 703678 WITH SCORE 705316.882
AT ITER 5643 NEW BEST:: SOT 3874188 SOS 1638030 HAS SOPS 1638030 HAS SOUS 703451 HAS SOUPS 703451 WITH SCORE 705089.03
AT ITER 5668 NEW BEST:: SOT 3874152 SOS 1637886 HAS SOPS 1637886 HAS SOUS 703451 HAS SOUPS 703451 WITH SCORE 705088.886
AT ITER 5671 NEW BEST:: SOT 3873402 SOS 1636011 HAS SOPS 1636011 HAS SOUS 703451 HAS SOUPS 703451 WITH SCORE 705087.011
AT ITER 5688 NEW BEST:: SOT 3873304 SOS 1635815 HAS SOPS 1635815 HAS SOUS 703353 HAS SOUPS 703353 WITH SCORE 704988.815
AT ITER 5694 NEW BEST:: SOT 3873270 SOS 1635713 HAS SOPS 1635713 HAS SOUS 703302 HAS SOUPS 703302 WITH SCORE 704937.713
AT ITER 5709 NEW BEST:: SOT 3873228 SOS 1635629 HAS SOPS 1635629 HAS SOUS 703302 HAS SOUPS 703302 WITH SCORE 704937.629
AT ITER 5719 NEW BEST:: SOT 3873228 SOS 1635735 HAS SOPS 1635735 HAS SOUS 702580 HAS SOUPS 702580 WITH SCORE 704215.735
AT ITER 5721 NEW BEST:: SOT 3873222 SOS 1635720 HAS SOPS 1635720 HAS SOUS 702580 HAS SOUPS 702580 WITH SCORE 704215.72
AT ITER 5727 NEW BEST:: SOT 3872348 SOS 1633098 HAS SOPS 1633098 HAS SOUS 702141 HAS SOUPS 702141 WITH SCORE 703774.098
AT ITER 5730 NEW BEST:: SOT 3871850 SOS 1631787 HAS SOPS 1631787 HAS SOUS 702075 HAS SOUPS 702075 WITH SCORE 703706.787
AT ITER 5736 NEW BEST:: SOT 3870808 SOS 1628373 HAS SOPS 1628373 HAS SOUS 701584 HAS SOUPS 701584 WITH SCORE 703212.373
AT ITER 5759 NEW BEST:: SOT 3870769 SOS 1628248 HAS SOPS 1628248 HAS SOUS 701457 HAS SOUPS 701457 WITH SCORE 703085.248
AT ITER 5784 NEW BEST:: SOT 3870769 SOS 1628180 HAS SOPS 1628180 HAS SOUS 701457 HAS SOUPS 701457 WITH SCORE 703085.18
AT ITER 5801 NEW BEST:: SOT 3870731 SOS 1628104 HAS SOPS 1628104 HAS SOUS 701419 HAS SOUPS 701419 WITH SCORE 703047.104
AT ITER 5809 NEW BEST:: SOT 3870006 SOS 1625630 HAS SOPS 1625630 HAS SOUS 701204 HAS SOUPS 701204 WITH SCORE 702829.63
AT ITER 5847 NEW BEST:: SOT 3869954 SOS 1625578 HAS SOPS 1625578 HAS SOUS 701148 HAS SOUPS 701148 WITH SCORE 702773.578
AT ITER 5855 NEW BEST:: SOT 3869982 SOS 1625942 HAS SOPS 1625942 HAS SOUS 700888 HAS SOUPS 700888 WITH SCORE 702513.942
AT ITER 5860 NEW BEST:: SOT 3870106 SOS 1626314 HAS SOPS 1626314 HAS SOUS 700764 HAS SOUPS 700764 WITH SCORE 702390.314
AT ITER 5886 NEW BEST:: SOT 3870106 SOS 1626314 HAS SOPS 1626314 HAS SOUS 700760 HAS SOUPS 700760 WITH SCORE 702386.314
AT ITER 5894 NEW BEST:: SOT 3870050 SOS 1626146 HAS SOPS 1626146 HAS SOUS 700732 HAS SOUPS 700732 WITH SCORE 702358.146
AT ITER 5904 NEW BEST:: SOT 3870034 SOS 1626098 HAS SOPS 1626098 HAS SOUS 700700 HAS SOUPS 700700 WITH SCORE 702326.098
AT ITER 5916 NEW BEST:: SOT 3869730 SOS 1625186 HAS SOPS 1625186 HAS SOUS 700548 HAS SOUPS 700548 WITH SCORE 702173.186
AT ITER 5920 NEW BEST:: SOT 3869730 SOS 1625111 HAS SOPS 1625111 HAS SOUS 700471 HAS SOUPS 700471 WITH SCORE 702096.111
AT ITER 5932 NEW BEST:: SOT 3869342 SOS 1623947 HAS SOPS 1623947 HAS SOUS 700277 HAS SOUPS 700277 WITH SCORE 701900.947
AT ITER 5946 NEW BEST:: SOT 3869324 SOS 1623909 HAS SOPS 1623909 HAS SOUS 700269 HAS SOUPS 700269 WITH SCORE 701892.909
AT ITER 5953 NEW BEST:: SOT 3869194 SOS 1622201 HAS SOPS 1622201 HAS SOUS 700108 HAS SOUPS 700108 WITH SCORE 701730.201
AT ITER 5959 NEW BEST:: SOT 3869267 SOS 1622174 HAS SOPS 1622174 HAS SOUS 699993 HAS SOUPS 699993 WITH SCORE 701615.174
AT ITER 5973 NEW BEST:: SOT 3869267 SOS 1622154 HAS SOPS 1622154 HAS SOUS 699973 HAS SOUPS 699973 WITH SCORE 701595.154
AT ITER 6003 NEW BEST:: SOT 3869267 SOS 1622126 HAS SOPS 1622126 HAS SOUS 699945 HAS SOUPS 699945 WITH SCORE 701567.126
AT ITER 6018 NEW BEST:: SOT 3869122 SOS 1621836 HAS SOPS 1621836 HAS SOUS 699800 HAS SOUPS 699800 WITH SCORE 701421.836
AT ITER 6021 NEW BEST:: SOT 3868393 SOS 1619885 HAS SOPS 1619885 HAS SOUS 699609 HAS SOUPS 699609 WITH SCORE 701228.885
AT ITER 6040 NEW BEST:: SOT 3868234 SOS 1619252 HAS SOPS 1619252 HAS SOUS 699606 HAS SOUPS 699606 WITH SCORE 701225.252
AT ITER 6056 NEW BEST:: SOT 3866035 SOS 1614725 HAS SOPS 1614725 HAS SOUS 699448 HAS SOUPS 699448 WITH SCORE 701062.725
AT ITER 6064 NEW BEST:: SOT 3866023 SOS 1614695 HAS SOPS 1614695 HAS SOUS 699448 HAS SOUPS 699448 WITH SCORE 701062.695
AT ITER 6084 NEW BEST:: SOT 3865737 SOS 1613964 HAS SOPS 1613964 HAS SOUS 699432 HAS SOUPS 699432 WITH SCORE 701045.964
AT ITER 6085 NEW BEST:: SOT 3864927 SOS 1611534 HAS SOPS 1611534 HAS SOUS 699027 HAS SOUPS 699027 WITH SCORE 700638.534
AT ITER 6099 NEW BEST:: SOT 3864438 SOS 1610701 HAS SOPS 1610701 HAS SOUS 697936 HAS SOUPS 697936 WITH SCORE 699546.701
AT ITER 6109 NEW BEST:: SOT 3863861 SOS 1608781 HAS SOPS 1608781 HAS SOUS 697080 HAS SOUPS 697080 WITH SCORE 698688.781
AT ITER 6121 NEW BEST:: SOT 3863649 SOS 1608249 HAS SOPS 1608249 HAS SOUS 697078 HAS SOUPS 697078 WITH SCORE 698686.249
AT ITER 6133 NEW BEST:: SOT 3863223 SOS 1607183 HAS SOPS 1607183 HAS SOUS 697077 HAS SOUPS 697077 WITH SCORE 698684.183
AT ITER 6142 NEW BEST:: SOT 3863359 SOS 1607591 HAS SOPS 1607591 HAS SOUS 696941 HAS SOUPS 696941 WITH SCORE 698548.591
AT ITER 6145 NEW BEST:: SOT 3863359 SOS 1607591 HAS SOPS 1607591 HAS SOUS 696899 HAS SOUPS 696899 WITH SCORE 698506.591
AT ITER 6170 NEW BEST:: SOT 3863301 SOS 1607060 HAS SOPS 1607060 HAS SOUS 696626 HAS SOUPS 696626 WITH SCORE 698233.06
AT ITER 6184 NEW BEST:: SOT 3863301 SOS 1607060 HAS SOPS 1607060 HAS SOUS 696624 HAS SOUPS 696624 WITH SCORE 698231.06
AT ITER 6186 NEW BEST:: SOT 3862100 SOS 1604280 HAS SOPS 1604280 HAS SOUS 696367 HAS SOUPS 696367 WITH SCORE 697971.28
AT ITER 6187 NEW BEST:: SOT 3861784 SOS 1603320 HAS SOPS 1603320 HAS SOUS 695875 HAS SOUPS 695875 WITH SCORE 697478.32
AT ITER 6189 NEW BEST:: SOT 3861628 SOS 1602921 HAS SOPS 1602921 HAS SOUS 695800 HAS SOUPS 695800 WITH SCORE 697402.921
AT ITER 6190 NEW BEST:: SOT 3861303 SOS 1601855 HAS SOPS 1601855 HAS SOUS 695651 HAS SOUPS 695651 WITH SCORE 697252.855
AT ITER 6193 NEW BEST:: SOT 3861391 SOS 1602119 HAS SOPS 1602119 HAS SOUS 695563 HAS SOUPS 695563 WITH SCORE 697165.119
AT ITER 6201 NEW BEST:: SOT 3860773 SOS 1600209 HAS SOPS 1600209 HAS SOUS 694689 HAS SOUPS 694689 WITH SCORE 696289.209
AT ITER 6235 NEW BEST:: SOT 3859856 SOS 1597676 HAS SOPS 1597676 HAS SOUS 694622 HAS SOUPS 694622 WITH SCORE 696219.676
AT ITER 6239 NEW BEST:: SOT 3860977 SOS 1601080 HAS SOPS 1601080 HAS SOUS 694279 HAS SOUPS 694279 WITH SCORE 695880.08
AT ITER 6265 NEW BEST:: SOT 3860763 SOS 1600545 HAS SOPS 1600545 HAS SOUS 694279 HAS SOUPS 694279 WITH SCORE 695879.545
AT ITER 6277 NEW BEST:: SOT 3859771 SOS 1598065 HAS SOPS 1598065 HAS SOUS 694279 HAS SOUPS 694279 WITH SCORE 695877.065
AT ITER 6281 NEW BEST:: SOT 3859782 SOS 1597817 HAS SOPS 1597817 HAS SOUS 693616 HAS SOUPS 693616 WITH SCORE 695213.817
AT ITER 6317 NEW BEST:: SOT 3857967 SOS 1594095 HAS SOPS 1594095 HAS SOUS 693155 HAS SOUPS 693155 WITH SCORE 694749.095
AT ITER 6318 NEW BEST:: SOT 3857916 SOS 1593993 HAS SOPS 1593993 HAS SOUS 693104 HAS SOUPS 693104 WITH SCORE 694697.993
AT ITER 6322 NEW BEST:: SOT 3857916 SOS 1593847 HAS SOPS 1593847 HAS SOUS 692958 HAS SOUPS 692958 WITH SCORE 694551.847
AT ITER 6343 NEW BEST:: SOT 3857916 SOS 1593830 HAS SOPS 1593830 HAS SOUS 692941 HAS SOUPS 692941 WITH SCORE 694534.83
AT ITER 6348 NEW BEST:: SOT 3857420 SOS 1592838 HAS SOPS 1592838 HAS SOUS 692441 HAS SOUPS 692441 WITH SCORE 694033.838
AT ITER 6365 NEW BEST:: SOT 3856585 SOS 1590337 HAS SOPS 1590337 HAS SOUS 692371 HAS SOUPS 692371 WITH SCORE 693961.337
AT ITER 6373 NEW BEST:: SOT 3856286 SOS 1589739 HAS SOPS 1589739 HAS SOUS 692072 HAS SOUPS 692072 WITH SCORE 693661.739
AT ITER 6374 NEW BEST:: SOT 3855972 SOS 1588825 HAS SOPS 1588825 HAS SOUS 691943 HAS SOUPS 691943 WITH SCORE 693531.825
AT ITER 6375 NEW BEST:: SOT 3855979 SOS 1588800 HAS SOPS 1588800 HAS SOUS 691904 HAS SOUPS 691904 WITH SCORE 693492.8
AT ITER 6393 NEW BEST:: SOT 3856306 SOS 1589772 HAS SOPS 1589772 HAS SOUS 691886 HAS SOUPS 691886 WITH SCORE 693475.772
AT ITER 6404 NEW BEST:: SOT 3855606 SOS 1587709 HAS SOPS 1587709 HAS SOUS 691693 HAS SOUPS 691693 WITH SCORE 693280.709
AT ITER 6410 NEW BEST:: SOT 3855314 SOS 1586807 HAS SOPS 1586807 HAS SOUS 691565 HAS SOUPS 691565 WITH SCORE 693151.807
AT ITER 6413 NEW BEST:: SOT 3855194 SOS 1586447 HAS SOPS 1586447 HAS SOUS 691385 HAS SOUPS 691385 WITH SCORE 692971.447
AT ITER 6415 NEW BEST:: SOT 3854710 SOS 1585479 HAS SOPS 1585479 HAS SOUS 690908 HAS SOUPS 690908 WITH SCORE 692493.479
AT ITER 6417 NEW BEST:: SOT 3854710 SOS 1585259 HAS SOPS 1585259 HAS SOUS 690688 HAS SOUPS 690688 WITH SCORE 692273.259
AT ITER 6427 NEW BEST:: SOT 3854668 SOS 1585175 HAS SOPS 1585175 HAS SOUS 690687 HAS SOUPS 690687 WITH SCORE 692272.175
AT ITER 6432 NEW BEST:: SOT 3854668 SOS 1585171 HAS SOPS 1585171 HAS SOUS 690683 HAS SOUPS 690683 WITH SCORE 692268.171
AT ITER 6455 NEW BEST:: SOT 3854238 SOS 1583956 HAS SOPS 1583956 HAS SOUS 690543 HAS SOUPS 690543 WITH SCORE 692126.956
AT ITER 6457 NEW BEST:: SOT 3854093 SOS 1583518 HAS SOPS 1583518 HAS SOUS 690538 HAS SOUPS 690538 WITH SCORE 692121.518
AT ITER 6464 NEW BEST:: SOT 3854093 SOS 1583484 HAS SOPS 1583484 HAS SOUS 690182 HAS SOUPS 690182 WITH SCORE 691765.484
AT ITER 6483 NEW BEST:: SOT 3853752 SOS 1582799 HAS SOPS 1582799 HAS SOUS 690089 HAS SOUPS 690089 WITH SCORE 691671.799
AT ITER 6492 NEW BEST:: SOT 3853471 SOS 1582258 HAS SOPS 1582258 HAS SOUS 689603 HAS SOUPS 689603 WITH SCORE 691185.258
AT ITER 6495 NEW BEST:: SOT 3853320 SOS 1582256 HAS SOPS 1582256 HAS SOUS 689601 HAS SOUPS 689601 WITH SCORE 691183.256
AT ITER 6508 NEW BEST:: SOT 3853745 SOS 1583499 HAS SOPS 1583499 HAS SOUS 689499 HAS SOUPS 689499 WITH SCORE 691082.499
AT ITER 6509 NEW BEST:: SOT 3853781 SOS 1583571 HAS SOPS 1583571 HAS SOUS 689484 HAS SOUPS 689484 WITH SCORE 691067.571
AT ITER 6519 NEW BEST:: SOT 3853367 SOS 1582364 HAS SOPS 1582364 HAS SOUS 689312 HAS SOUPS 689312 WITH SCORE 690894.364
AT ITER 6524 NEW BEST:: SOT 3853367 SOS 1582364 HAS SOPS 1582364 HAS SOUS 688714 HAS SOUPS 688714 WITH SCORE 690296.364
AT ITER 6532 NEW BEST:: SOT 3853349 SOS 1582310 HAS SOPS 1582310 HAS SOUS 688705 HAS SOUPS 688705 WITH SCORE 690287.31
AT ITER 6544 NEW BEST:: SOT 3852091 SOS 1579165 HAS SOPS 1579165 HAS SOUS 688705 HAS SOUPS 688705 WITH SCORE 690284.165
AT ITER 6549 NEW BEST:: SOT 3849918 SOS 1573609 HAS SOPS 1573609 HAS SOUS 688186 HAS SOUPS 688186 WITH SCORE 689759.609
AT ITER 6555 NEW BEST:: SOT 3849621 SOS 1572508 HAS SOPS 1572508 HAS SOUS 687960 HAS SOUPS 687960 WITH SCORE 689532.508
AT ITER 6567 NEW BEST:: SOT 3849169 SOS 1571152 HAS SOPS 1571152 HAS SOUS 687730 HAS SOUPS 687730 WITH SCORE 689301.152
AT ITER 6574 NEW BEST:: SOT 3848089 SOS 1568991 HAS SOPS 1568991 HAS SOUS 687501 HAS SOUPS 687501 WITH SCORE 689069.991
AT ITER 6577 NEW BEST:: SOT 3847455 SOS 1567239 HAS SOPS 1567239 HAS SOUS 687334 HAS SOUPS 687334 WITH SCORE 688901.239
AT ITER 6593 NEW BEST:: SOT 3846951 SOS 1565952 HAS SOPS 1565952 HAS SOUS 686654 HAS SOUPS 686654 WITH SCORE 688219.952
AT ITER 6616 NEW BEST:: SOT 3845255 SOS 1560622 HAS SOPS 1560622 HAS SOUS 685060 HAS SOUPS 685060 WITH SCORE 686620.622
AT ITER 6621 NEW BEST:: SOT 3845250 SOS 1560612 HAS SOPS 1560612 HAS SOUS 685050 HAS SOUPS 685050 WITH SCORE 686610.612
AT ITER 6635 NEW BEST:: SOT 3845318 SOS 1560816 HAS SOPS 1560816 HAS SOUS 684982 HAS SOUPS 684982 WITH SCORE 686542.816
AT ITER 6636 NEW BEST:: SOT 3845318 SOS 1560816 HAS SOPS 1560816 HAS SOUS 684762 HAS SOUPS 684762 WITH SCORE 686322.816
AT ITER 6641 NEW BEST:: SOT 3844753 SOS 1560251 HAS SOPS 1560251 HAS SOUS 684197 HAS SOUPS 684197 WITH SCORE 685757.251
AT ITER 6644 NEW BEST:: SOT 3842815 SOS 1554837 HAS SOPS 1554837 HAS SOUS 683724 HAS SOUPS 683724 WITH SCORE 685278.837
AT ITER 6653 NEW BEST:: SOT 3842815 SOS 1554719 HAS SOPS 1554719 HAS SOUS 683724 HAS SOUPS 683724 WITH SCORE 685278.719
AT ITER 6662 NEW BEST:: SOT 3841773 SOS 1551454 HAS SOPS 1551454 HAS SOUS 683660 HAS SOUPS 683660 WITH SCORE 685211.454
AT ITER 6679 NEW BEST:: SOT 3841646 SOS 1551200 HAS SOPS 1551200 HAS SOUS 683660 HAS SOUPS 683660 WITH SCORE 685211.2
AT ITER 6681 NEW BEST:: SOT 3841675 SOS 1551298 HAS SOPS 1551298 HAS SOUS 683649 HAS SOUPS 683649 WITH SCORE 685200.298
AT ITER 6684 NEW BEST:: SOT 3840017 SOS 1547830 HAS SOPS 1547830 HAS SOUS 683167 HAS SOUPS 683167 WITH SCORE 684714.83
AT ITER 6690 NEW BEST:: SOT 3839769 SOS 1547042 HAS SOPS 1547042 HAS SOUS 683065 HAS SOUPS 683065 WITH SCORE 684612.042
AT ITER 6696 NEW BEST:: SOT 3839546 SOS 1546596 HAS SOPS 1546596 HAS SOUS 683014 HAS SOUPS 683014 WITH SCORE 684560.596
AT ITER 6697 NEW BEST:: SOT 3839100 SOS 1544812 HAS SOPS 1544812 HAS SOUS 683014 HAS SOUPS 683014 WITH SCORE 684558.812
AT ITER 6702 NEW BEST:: SOT 3838130 SOS 1541907 HAS SOPS 1541907 HAS SOUS 682800 HAS SOUPS 682800 WITH SCORE 684341.907
AT ITER 6719 NEW BEST:: SOT 3837851 SOS 1540663 HAS SOPS 1540663 HAS SOUS 682457 HAS SOUPS 682457 WITH SCORE 683997.663
AT ITER 6733 NEW BEST:: SOT 3837497 SOS 1539955 HAS SOPS 1539955 HAS SOUS 682291 HAS SOUPS 682291 WITH SCORE 683830.955
AT ITER 6737 NEW BEST:: SOT 3836596 SOS 1537223 HAS SOPS 1537223 HAS SOUS 681093 HAS SOUPS 681093 WITH SCORE 682630.223
AT ITER 6745 NEW BEST:: SOT 3836280 SOS 1536914 HAS SOPS 1536914 HAS SOUS 680694 HAS SOUPS 680694 WITH SCORE 682230.914
AT ITER 6746 NEW BEST:: SOT 3835650 SOS 1535654 HAS SOPS 1535654 HAS SOUS 680064 HAS SOUPS 680064 WITH SCORE 681599.654
AT ITER 6769 NEW BEST:: SOT 3835408 SOS 1534686 HAS SOPS 1534686 HAS SOUS 679822 HAS SOUPS 679822 WITH SCORE 681356.686
AT ITER 6781 NEW BEST:: SOT 3834684 SOS 1532873 HAS SOPS 1532873 HAS SOUS 679817 HAS SOUPS 679817 WITH SCORE 681349.873
AT ITER 6803 NEW BEST:: SOT 3834684 SOS 1532914 HAS SOPS 1532914 HAS SOUS 679771 HAS SOUPS 679771 WITH SCORE 681303.914
AT ITER 6804 NEW BEST:: SOT 3834024 SOS 1531013 HAS SOPS 1531013 HAS SOUS 679520 HAS SOUPS 679520 WITH SCORE 681051.013
AT ITER 6813 NEW BEST:: SOT 3833484 SOS 1530473 HAS SOPS 1530473 HAS SOUS 678138 HAS SOUPS 678138 WITH SCORE 679668.473
AT ITER 6819 NEW BEST:: SOT 3833208 SOS 1529523 HAS SOPS 1529523 HAS SOUS 678061 HAS SOUPS 678061 WITH SCORE 679590.523
AT ITER 6830 NEW BEST:: SOT 3830353 SOS 1523672 HAS SOPS 1523672 HAS SOUS 677200 HAS SOUPS 677200 WITH SCORE 678723.672
AT ITER 6834 NEW BEST:: SOT 3829805 SOS 1522301 HAS SOPS 1522301 HAS SOUS 677199 HAS SOUPS 677199 WITH SCORE 678721.301
AT ITER 6840 NEW BEST:: SOT 3829415 SOS 1520989 HAS SOPS 1520989 HAS SOUS 677073 HAS SOUPS 677073 WITH SCORE 678593.989
AT ITER 6864 NEW BEST:: SOT 3829187 SOS 1520418 HAS SOPS 1520418 HAS SOUS 677072 HAS SOUPS 677072 WITH SCORE 678592.418
AT ITER 6878 NEW BEST:: SOT 3828955 SOS 1519722 HAS SOPS 1519722 HAS SOUS 676724 HAS SOUPS 676724 WITH SCORE 678243.722
AT ITER 6880 NEW BEST:: SOT 3827575 SOS 1516917 HAS SOPS 1516917 HAS SOUS 676724 HAS SOUPS 676724 WITH SCORE 678240.917
AT ITER 6919 NEW BEST:: SOT 3827401 SOS 1516569 HAS SOPS 1516569 HAS SOUS 676519 HAS SOUPS 676519 WITH SCORE 678035.569
AT ITER 6945 NEW BEST:: SOT 3827228 SOS 1516223 HAS SOPS 1516223 HAS SOUS 676346 HAS SOUPS 676346 WITH SCORE 677862.223
AT ITER 6951 NEW BEST:: SOT 3827192 SOS 1516187 HAS SOPS 1516187 HAS SOUS 676346 HAS SOUPS 676346 WITH SCORE 677862.187
AT ITER 7005 NEW BEST:: SOT 3827192 SOS 1516159 HAS SOPS 1516159 HAS SOUS 676318 HAS SOUPS 676318 WITH SCORE 677834.159
AT ITER 7023 NEW BEST:: SOT 3827176 SOS 1516127 HAS SOPS 1516127 HAS SOUS 676316 HAS SOUPS 676316 WITH SCORE 677832.127
AT ITER 7031 NEW BEST:: SOT 3827081 SOS 1515937 HAS SOPS 1515937 HAS SOUS 676221 HAS SOUPS 676221 WITH SCORE 677736.937
AT ITER 7035 NEW BEST:: SOT 3827061 SOS 1515917 HAS SOPS 1515917 HAS SOUS 676201 HAS SOUPS 676201 WITH SCORE 677716.917
AT ITER 7036 NEW BEST:: SOT 3826799 SOS 1515393 HAS SOPS 1515393 HAS SOUS 675875 HAS SOUPS 675875 WITH SCORE 677390.393
AT ITER 7045 NEW BEST:: SOT 3826759 SOS 1515313 HAS SOPS 1515313 HAS SOUS 675835 HAS SOUPS 675835 WITH SCORE 677350.313
AT ITER 7059 NEW BEST:: SOT 3826629 SOS 1515053 HAS SOPS 1515053 HAS SOUS 675365 HAS SOUPS 675365 WITH SCORE 676880.053
AT ITER 7062 NEW BEST:: SOT 3825499 SOS 1512226 HAS SOPS 1512226 HAS SOUS 675363 HAS SOUPS 675363 WITH SCORE 676875.226
AT ITER 7065 NEW BEST:: SOT 3825499 SOS 1512226 HAS SOPS 1512226 HAS SOUS 675127 HAS SOUPS 675127 WITH SCORE 676639.226
AT ITER 7072 NEW BEST:: SOT 3825436 SOS 1512037 HAS SOPS 1512037 HAS SOUS 675064 HAS SOUPS 675064 WITH SCORE 676576.037
AT ITER 7078 NEW BEST:: SOT 3825288 SOS 1511556 HAS SOPS 1511556 HAS SOUS 674725 HAS SOUPS 674725 WITH SCORE 676236.556
AT ITER 7079 NEW BEST:: SOT 3825747 SOS 1512833 HAS SOPS 1512833 HAS SOUS 674592 HAS SOUPS 674592 WITH SCORE 676104.833
AT ITER 7087 NEW BEST:: SOT 3825042 SOS 1511067 HAS SOPS 1511067 HAS SOUS 674593 HAS SOUPS 674593 WITH SCORE 676104.067
AT ITER 7096 NEW BEST:: SOT 3825042 SOS 1511062 HAS SOPS 1511062 HAS SOUS 674588 HAS SOUPS 674588 WITH SCORE 676099.062
AT ITER 7097 NEW BEST:: SOT 3824886 SOS 1510906 HAS SOPS 1510906 HAS SOUS 674432 HAS SOUPS 674432 WITH SCORE 675942.906
AT ITER 7112 NEW BEST:: SOT 3824886 SOS 1510906 HAS SOPS 1510906 HAS SOUS 673738 HAS SOUPS 673738 WITH SCORE 675248.906
AT ITER 7115 NEW BEST:: SOT 3824750 SOS 1510518 HAS SOPS 1510518 HAS SOUS 673690 HAS SOUPS 673690 WITH SCORE 675200.518
AT ITER 7133 NEW BEST:: SOT 3822726 SOS 1504081 HAS SOPS 1504081 HAS SOUS 672522 HAS SOUPS 672522 WITH SCORE 674026.081
AT ITER 7139 NEW BEST:: SOT 3822726 SOS 1504034 HAS SOPS 1504034 HAS SOUS 672475 HAS SOUPS 672475 WITH SCORE 673979.034
AT ITER 7142 NEW BEST:: SOT 3822867 SOS 1503818 HAS SOPS 1503818 HAS SOUS 672370 HAS SOUPS 672370 WITH SCORE 673873.818
AT ITER 7160 NEW BEST:: SOT 3822823 SOS 1503729 HAS SOPS 1503729 HAS SOUS 672325 HAS SOUPS 672325 WITH SCORE 673828.729
AT ITER 7178 NEW BEST:: SOT 3821810 SOS 1500903 HAS SOPS 1500903 HAS SOUS 672272 HAS SOUPS 672272 WITH SCORE 673772.903
AT ITER 7181 NEW BEST:: SOT 3821700 SOS 1500573 HAS SOPS 1500573 HAS SOUS 672217 HAS SOUPS 672217 WITH SCORE 673717.573
AT ITER 7199 NEW BEST:: SOT 3820396 SOS 1497222 HAS SOPS 1497222 HAS SOUS 672126 HAS SOUPS 672126 WITH SCORE 673623.222
AT ITER 7200 NEW BEST:: SOT 3820949 SOS 1498086 HAS SOPS 1498086 HAS SOUS 672111 HAS SOUPS 672111 WITH SCORE 673609.086
AT ITER 7215 NEW BEST:: SOT 3821567 SOS 1500654 HAS SOPS 1500654 HAS SOUS 671905 HAS SOUPS 671905 WITH SCORE 673405.654
AT ITER 7222 NEW BEST:: SOT 3821381 SOS 1500096 HAS SOPS 1500096 HAS SOUS 671812 HAS SOUPS 671812 WITH SCORE 673312.096
AT ITER 7242 NEW BEST:: SOT 3821135 SOS 1499358 HAS SOPS 1499358 HAS SOUS 671689 HAS SOUPS 671689 WITH SCORE 673188.358
AT ITER 7263 NEW BEST:: SOT 3820203 SOS 1495979 HAS SOPS 1495979 HAS SOUS 671608 HAS SOUPS 671608 WITH SCORE 673103.979
AT ITER 7265 NEW BEST:: SOT 3820203 SOS 1495920 HAS SOPS 1495920 HAS SOUS 671585 HAS SOUPS 671585 WITH SCORE 673080.92
AT ITER 7272 NEW BEST:: SOT 3820009 SOS 1495532 HAS SOPS 1495532 HAS SOUS 671391 HAS SOUPS 671391 WITH SCORE 672886.532
AT ITER 7273 NEW BEST:: SOT 3819789 SOS 1495092 HAS SOPS 1495092 HAS SOUS 671233 HAS SOUPS 671233 WITH SCORE 672728.092
AT ITER 7278 NEW BEST:: SOT 3819686 SOS 1494886 HAS SOPS 1494886 HAS SOUS 671130 HAS SOUPS 671130 WITH SCORE 672624.886
AT ITER 7282 NEW BEST:: SOT 3819784 SOS 1495212 HAS SOPS 1495212 HAS SOUS 671064 HAS SOUPS 671064 WITH SCORE 672559.212
AT ITER 7313 NEW BEST:: SOT 3819396 SOS 1494436 HAS SOPS 1494436 HAS SOUS 670579 HAS SOUPS 670579 WITH SCORE 672073.436
AT ITER 7316 NEW BEST:: SOT 3817239 SOS 1489387 HAS SOPS 1489387 HAS SOUS 670104 HAS SOUPS 670104 WITH SCORE 671593.387
AT ITER 7324 NEW BEST:: SOT 3817333 SOS 1489575 HAS SOPS 1489575 HAS SOUS 670053 HAS SOUPS 670053 WITH SCORE 671542.575
AT ITER 7332 NEW BEST:: SOT 3817191 SOS 1489505 HAS SOPS 1489505 HAS SOUS 669769 HAS SOUPS 669769 WITH SCORE 671258.505
AT ITER 7357 NEW BEST:: SOT 3817191 SOS 1489442 HAS SOPS 1489442 HAS SOUS 669706 HAS SOUPS 669706 WITH SCORE 671195.442
AT ITER 7378 NEW BEST:: SOT 3817191 SOS 1489373 HAS SOPS 1489373 HAS SOUS 669567 HAS SOUPS 669567 WITH SCORE 671056.373
AT ITER 7380 NEW BEST:: SOT 3816285 SOS 1486858 HAS SOPS 1486858 HAS SOUS 669315 HAS SOUPS 669315 WITH SCORE 670801.858
AT ITER 7386 NEW BEST:: SOT 3816214 SOS 1486620 HAS SOPS 1486620 HAS SOUS 669292 HAS SOUPS 669292 WITH SCORE 670778.62
AT ITER 7451 NEW BEST:: SOT 3816200 SOS 1486564 HAS SOPS 1486564 HAS SOUS 669278 HAS SOUPS 669278 WITH SCORE 670764.564
AT ITER 7454 NEW BEST:: SOT 3815630 SOS 1484912 HAS SOPS 1484912 HAS SOUS 669258 HAS SOUPS 669258 WITH SCORE 670742.912
AT ITER 7498 NEW BEST:: SOT 3815594 SOS 1484804 HAS SOPS 1484804 HAS SOUS 669114 HAS SOUPS 669114 WITH SCORE 670598.804
AT ITER 7503 NEW BEST:: SOT 3815117 SOS 1484327 HAS SOPS 1484327 HAS SOUS 668999 HAS SOUPS 668999 WITH SCORE 670483.327
AT ITER 7506 NEW BEST:: SOT 3815007 SOS 1483845 HAS SOPS 1483845 HAS SOUS 668909 HAS SOUPS 668909 WITH SCORE 670392.845
AT ITER 7508 NEW BEST:: SOT 3814535 SOS 1482351 HAS SOPS 1482351 HAS SOUS 668153 HAS SOUPS 668153 WITH SCORE 669635.351
AT ITER 7525 NEW BEST:: SOT 3814429 SOS 1481649 HAS SOPS 1481649 HAS SOUS 667802 HAS SOUPS 667802 WITH SCORE 669283.649
AT ITER 7545 NEW BEST:: SOT 3814087 SOS 1480623 HAS SOPS 1480623 HAS SOUS 667289 HAS SOUPS 667289 WITH SCORE 668769.623
AT ITER 7550 NEW BEST:: SOT 3813743 SOS 1479658 HAS SOPS 1479658 HAS SOUS 667184 HAS SOUPS 667184 WITH SCORE 668663.658
AT ITER 7560 NEW BEST:: SOT 3813794 SOS 1479811 HAS SOPS 1479811 HAS SOUS 667133 HAS SOUPS 667133 WITH SCORE 668612.811
AT ITER 7565 NEW BEST:: SOT 3813781 SOS 1480065 HAS SOPS 1480065 HAS SOUS 666978 HAS SOUPS 666978 WITH SCORE 668458.065
AT ITER 7572 NEW BEST:: SOT 3811715 SOS 1474898 HAS SOPS 1474898 HAS SOUS 666976 HAS SOUPS 666976 WITH SCORE 668450.898
AT ITER 7580 NEW BEST:: SOT 3811660 SOS 1474788 HAS SOPS 1474788 HAS SOUS 666935 HAS SOUPS 666935 WITH SCORE 668409.788
AT ITER 7631 NEW BEST:: SOT 3812249 SOS 1476560 HAS SOPS 1476560 HAS SOUS 666668 HAS SOUPS 666668 WITH SCORE 668144.56
AT ITER 7659 NEW BEST:: SOT 3811657 SOS 1475079 HAS SOPS 1475079 HAS SOUS 666667 HAS SOUPS 666667 WITH SCORE 668142.079
AT ITER 7666 NEW BEST:: SOT 3811657 SOS 1475079 HAS SOPS 1475079 HAS SOUS 666663 HAS SOUPS 666663 WITH SCORE 668138.079
AT ITER 7677 NEW BEST:: SOT 3811505 SOS 1474561 HAS SOPS 1474561 HAS SOUS 666554 HAS SOUPS 666554 WITH SCORE 668028.561
AT ITER 7700 NEW BEST:: SOT 3811505 SOS 1474590 HAS SOPS 1474590 HAS SOUS 666543 HAS SOUPS 666543 WITH SCORE 668017.59
AT ITER 7713 NEW BEST:: SOT 3810263 SOS 1470900 HAS SOPS 1470900 HAS SOUS 666390 HAS SOUPS 666390 WITH SCORE 667860.9
AT ITER 7744 NEW BEST:: SOT 3810055 SOS 1470276 HAS SOPS 1470276 HAS SOUS 666286 HAS SOUPS 666286 WITH SCORE 667756.276
AT ITER 7747 NEW BEST:: SOT 3810842 SOS 1472579 HAS SOPS 1472579 HAS SOUS 665918 HAS SOUPS 665918 WITH SCORE 667390.579
AT ITER 7770 NEW BEST:: SOT 3811129 SOS 1473654 HAS SOPS 1473654 HAS SOUS 665405 HAS SOUPS 665405 WITH SCORE 666878.654
AT ITER 7774 NEW BEST:: SOT 3810779 SOS 1471900 HAS SOPS 1471900 HAS SOUS 665113 HAS SOUPS 665113 WITH SCORE 666584.9
AT ITER 7783 NEW BEST:: SOT 3810779 SOS 1471831 HAS SOPS 1471831 HAS SOUS 665044 HAS SOUPS 665044 WITH SCORE 666515.831
AT ITER 7786 NEW BEST:: SOT 3811152 SOS 1473221 HAS SOPS 1473221 HAS SOUS 664931 HAS SOUPS 664931 WITH SCORE 666404.221
AT ITER 7795 NEW BEST:: SOT 3811145 SOS 1473207 HAS SOPS 1473207 HAS SOUS 664924 HAS SOUPS 664924 WITH SCORE 666397.207
AT ITER 7807 NEW BEST:: SOT 3811181 SOS 1473315 HAS SOPS 1473315 HAS SOUS 664888 HAS SOUPS 664888 WITH SCORE 666361.315
AT ITER 7854 NEW BEST:: SOT 3810611 SOS 1471605 HAS SOPS 1471605 HAS SOUS 664483 HAS SOUPS 664483 WITH SCORE 665954.605
AT ITER 7868 NEW BEST:: SOT 3810199 SOS 1470135 HAS SOPS 1470135 HAS SOUS 664394 HAS SOUPS 664394 WITH SCORE 665864.135
AT ITER 7872 NEW BEST:: SOT 3810134 SOS 1470005 HAS SOPS 1470005 HAS SOUS 664329 HAS SOUPS 664329 WITH SCORE 665799.005
AT ITER 7885 NEW BEST:: SOT 3808467 SOS 1465059 HAS SOPS 1465059 HAS SOUS 663788 HAS SOUPS 663788 WITH SCORE 665253.059
AT ITER 7899 NEW BEST:: SOT 3808730 SOS 1466481 HAS SOPS 1466481 HAS SOUS 663603 HAS SOUPS 663603 WITH SCORE 665069.481
AT ITER 7910 NEW BEST:: SOT 3808329 SOS 1465216 HAS SOPS 1465216 HAS SOUS 663463 HAS SOUPS 663463 WITH SCORE 664928.216
AT ITER 7914 NEW BEST:: SOT 3807349 SOS 1461830 HAS SOPS 1461830 HAS SOUS 663196 HAS SOUPS 663196 WITH SCORE 664657.83
AT ITER 7915 NEW BEST:: SOT 3807301 SOS 1461710 HAS SOPS 1461710 HAS SOUS 663196 HAS SOUPS 663196 WITH SCORE 664657.71
AT ITER 7916 NEW BEST:: SOT 3807150 SOS 1461559 HAS SOPS 1461559 HAS SOUS 663081 HAS SOUPS 663081 WITH SCORE 664542.559
AT ITER 7942 NEW BEST:: SOT 3806879 SOS 1460930 HAS SOPS 1460930 HAS SOUS 663080 HAS SOUPS 663080 WITH SCORE 664540.93
AT ITER 7954 NEW BEST:: SOT 3805751 SOS 1457927 HAS SOPS 1457927 HAS SOUS 662897 HAS SOUPS 662897 WITH SCORE 664354.927
AT ITER 7967 NEW BEST:: SOT 3805777 SOS 1457663 HAS SOPS 1457663 HAS SOUS 662889 HAS SOUPS 662889 WITH SCORE 664346.663
AT ITER 7971 NEW BEST:: SOT 3804976 SOS 1455232 HAS SOPS 1455232 HAS SOUS 662600 HAS SOUPS 662600 WITH SCORE 664055.232
AT ITER 7978 NEW BEST:: SOT 3804976 SOS 1455214 HAS SOPS 1455214 HAS SOUS 662582 HAS SOUPS 662582 WITH SCORE 664037.214
AT ITER 7989 NEW BEST:: SOT 3804969 SOS 1455215 HAS SOPS 1455215 HAS SOUS 662545 HAS SOUPS 662545 WITH SCORE 664000.215
AT ITER 8009 NEW BEST:: SOT 3804620 SOS 1454485 HAS SOPS 1454485 HAS SOUS 661383 HAS SOUPS 661383 WITH SCORE 662837.485
AT ITER 8011 NEW BEST:: SOT 3804396 SOS 1453629 HAS SOPS 1453629 HAS SOUS 661359 HAS SOUPS 661359 WITH SCORE 662812.629
AT ITER 8026 NEW BEST:: SOT 3804210 SOS 1452957 HAS SOPS 1452957 HAS SOUS 661323 HAS SOUPS 661323 WITH SCORE 662775.957
AT ITER 8029 NEW BEST:: SOT 3804163 SOS 1452791 HAS SOPS 1452791 HAS SOUS 661312 HAS SOUPS 661312 WITH SCORE 662764.791
AT ITER 8031 NEW BEST:: SOT 3804023 SOS 1452371 HAS SOPS 1452371 HAS SOUS 661242 HAS SOUPS 661242 WITH SCORE 662694.371
AT ITER 8040 NEW BEST:: SOT 3803743 SOS 1451601 HAS SOPS 1451601 HAS SOUS 660430 HAS SOUPS 660430 WITH SCORE 661881.601
AT ITER 8059 NEW BEST:: SOT 3803737 SOS 1451589 HAS SOPS 1451589 HAS SOUS 660353 HAS SOUPS 660353 WITH SCORE 661804.589
AT ITER 8068 NEW BEST:: SOT 3803039 SOS 1449678 HAS SOPS 1449678 HAS SOUS 660185 HAS SOUPS 660185 WITH SCORE 661634.678
AT ITER 8082 NEW BEST:: SOT 3802710 SOS 1449349 HAS SOPS 1449349 HAS SOUS 659854 HAS SOUPS 659854 WITH SCORE 661303.349
AT ITER 8092 NEW BEST:: SOT 3802748 SOS 1449401 HAS SOPS 1449401 HAS SOUS 659738 HAS SOUPS 659738 WITH SCORE 661187.401
AT ITER 8098 NEW BEST:: SOT 3802540 SOS 1449158 HAS SOPS 1449158 HAS SOUS 659703 HAS SOUPS 659703 WITH SCORE 661152.158
AT ITER 8109 NEW BEST:: SOT 3802135 SOS 1447926 HAS SOPS 1447926 HAS SOUS 659334 HAS SOUPS 659334 WITH SCORE 660781.926
AT ITER 8111 NEW BEST:: SOT 3802257 SOS 1448274 HAS SOPS 1448274 HAS SOUS 659264 HAS SOUPS 659264 WITH SCORE 660712.274
AT ITER 8115 NEW BEST:: SOT 3802223 SOS 1448138 HAS SOPS 1448138 HAS SOUS 659264 HAS SOUPS 659264 WITH SCORE 660712.138
AT ITER 8120 NEW BEST:: SOT 3802183 SOS 1448108 HAS SOPS 1448108 HAS SOUS 659216 HAS SOUPS 659216 WITH SCORE 660664.108
AT ITER 8132 NEW BEST:: SOT 3802446 SOS 1448408 HAS SOPS 1448408 HAS SOUS 659176 HAS SOUPS 659176 WITH SCORE 660624.408
AT ITER 8146 NEW BEST:: SOT 3802446 SOS 1447930 HAS SOPS 1447930 HAS SOUS 659151 HAS SOUPS 659151 WITH SCORE 660598.93
AT ITER 8151 NEW BEST:: SOT 3802150 SOS 1447139 HAS SOPS 1447139 HAS SOUS 659133 HAS SOUPS 659133 WITH SCORE 660580.139
AT ITER 8159 NEW BEST:: SOT 3802108 SOS 1447034 HAS SOPS 1447034 HAS SOUS 659133 HAS SOUPS 659133 WITH SCORE 660580.034
AT ITER 8182 NEW BEST:: SOT 3800596 SOS 1442695 HAS SOPS 1442695 HAS SOUS 658817 HAS SOUPS 658817 WITH SCORE 660259.695
AT ITER 8185 NEW BEST:: SOT 3799829 SOS 1440312 HAS SOPS 1440312 HAS SOUS 658473 HAS SOUPS 658473 WITH SCORE 659913.312
AT ITER 8188 NEW BEST:: SOT 3799793 SOS 1440225 HAS SOPS 1440225 HAS SOUS 658422 HAS SOUPS 658422 WITH SCORE 659862.225
AT ITER 8194 NEW BEST:: SOT 3799359 SOS 1439140 HAS SOPS 1439140 HAS SOUS 658422 HAS SOUPS 658422 WITH SCORE 659861.14
AT ITER 8211 NEW BEST:: SOT 3799326 SOS 1439074 HAS SOPS 1439074 HAS SOUS 658389 HAS SOUPS 658389 WITH SCORE 659828.074
AT ITER 8221 NEW BEST:: SOT 3798745 SOS 1436944 HAS SOPS 1436944 HAS SOUS 657710 HAS SOUPS 657710 WITH SCORE 659146.944
AT ITER 8242 NEW BEST:: SOT 3798661 SOS 1436876 HAS SOPS 1436876 HAS SOUS 657642 HAS SOUPS 657642 WITH SCORE 659078.876
AT ITER 8255 NEW BEST:: SOT 3798583 SOS 1436720 HAS SOPS 1436720 HAS SOUS 657564 HAS SOUPS 657564 WITH SCORE 659000.72
AT ITER 8261 NEW BEST:: SOT 3798611 SOS 1436871 HAS SOPS 1436871 HAS SOUS 657551 HAS SOUPS 657551 WITH SCORE 658987.871
AT ITER 8267 NEW BEST:: SOT 3798421 SOS 1436316 HAS SOPS 1436316 HAS SOUS 657469 HAS SOUPS 657469 WITH SCORE 658905.316
AT ITER 8284 NEW BEST:: SOT 3797949 SOS 1435608 HAS SOPS 1435608 HAS SOUS 656879 HAS SOUPS 656879 WITH SCORE 658314.608
AT ITER 8285 NEW BEST:: SOT 3797839 SOS 1435333 HAS SOPS 1435333 HAS SOUS 656879 HAS SOUPS 656879 WITH SCORE 658314.333
AT ITER 8297 NEW BEST:: SOT 3797978 SOS 1435835 HAS SOPS 1435835 HAS SOUS 656607 HAS SOUPS 656607 WITH SCORE 658042.835
AT ITER 8320 NEW BEST:: SOT 3797238 SOS 1433615 HAS SOPS 1433615 HAS SOUS 656237 HAS SOUPS 656237 WITH SCORE 657670.615
AT ITER 8361 NEW BEST:: SOT 3797223 SOS 1433569 HAS SOPS 1433569 HAS SOUS 656230 HAS SOUPS 656230 WITH SCORE 657663.569
AT ITER 8380 NEW BEST:: SOT 3796513 SOS 1431363 HAS SOPS 1431363 HAS SOUS 656143 HAS SOUPS 656143 WITH SCORE 657574.363
AT ITER 8397 NEW BEST:: SOT 3796397 SOS 1431007 HAS SOPS 1431007 HAS SOUS 656089 HAS SOUPS 656089 WITH SCORE 657520.007
AT ITER 8399 NEW BEST:: SOT 3796397 SOS 1431007 HAS SOPS 1431007 HAS SOUS 656005 HAS SOUPS 656005 WITH SCORE 657436.007
AT ITER 8400 NEW BEST:: SOT 3796283 SOS 1430776 HAS SOPS 1430776 HAS SOUS 655982 HAS SOUPS 655982 WITH SCORE 657412.776
AT ITER 8416 NEW BEST:: SOT 3796271 SOS 1430740 HAS SOPS 1430740 HAS SOUS 655964 HAS SOUPS 655964 WITH SCORE 657394.74
AT ITER 8420 NEW BEST:: SOT 3796232 SOS 1430662 HAS SOPS 1430662 HAS SOUS 655962 HAS SOUPS 655962 WITH SCORE 657392.662
AT ITER 8463 NEW BEST:: SOT 3796232 SOS 1430314 HAS SOPS 1430314 HAS SOUS 655614 HAS SOUPS 655614 WITH SCORE 657044.314
AT ITER 8479 NEW BEST:: SOT 3796207 SOS 1430264 HAS SOPS 1430264 HAS SOUS 655589 HAS SOUPS 655589 WITH SCORE 657019.264
AT ITER 8486 NEW BEST:: SOT 3795884 SOS 1429617 HAS SOPS 1429617 HAS SOUS 655567 HAS SOUPS 655567 WITH SCORE 656996.617
AT ITER 8493 NEW BEST:: SOT 3795356 SOS 1428385 HAS SOPS 1428385 HAS SOUS 654863 HAS SOUPS 654863 WITH SCORE 656291.385
AT ITER 8498 NEW BEST:: SOT 3795208 SOS 1427941 HAS SOPS 1427941 HAS SOUS 654641 HAS SOUPS 654641 WITH SCORE 656068.941
AT ITER 8515 NEW BEST:: SOT 3795061 SOS 1427677 HAS SOPS 1427677 HAS SOUS 654588 HAS SOUPS 654588 WITH SCORE 656015.677
AT ITER 8531 NEW BEST:: SOT 3794720 SOS 1426835 HAS SOPS 1426835 HAS SOUS 654016 HAS SOUPS 654016 WITH SCORE 655442.835
AT ITER 8532 NEW BEST:: SOT 3794609 SOS 1426613 HAS SOPS 1426613 HAS SOUS 654016 HAS SOUPS 654016 WITH SCORE 655442.613
AT ITER 8533 NEW BEST:: SOT 3794573 SOS 1426495 HAS SOPS 1426495 HAS SOUS 654003 HAS SOUPS 654003 WITH SCORE 655429.495
AT ITER 8536 NEW BEST:: SOT 3793787 SOS 1424678 HAS SOPS 1424678 HAS SOUS 653494 HAS SOUPS 653494 WITH SCORE 654918.678
AT ITER 8546 NEW BEST:: SOT 3793703 SOS 1424510 HAS SOPS 1424510 HAS SOUS 653410 HAS SOUPS 653410 WITH SCORE 654834.51
AT ITER 8547 NEW BEST:: SOT 3793703 SOS 1424510 HAS SOPS 1424510 HAS SOUS 653348 HAS SOUPS 653348 WITH SCORE 654772.51
AT ITER 8560 NEW BEST:: SOT 3793627 SOS 1424252 HAS SOPS 1424252 HAS SOUS 653325 HAS SOUPS 653325 WITH SCORE 654749.252
AT ITER 8570 NEW BEST:: SOT 3793129 SOS 1422758 HAS SOPS 1422758 HAS SOUS 652578 HAS SOUPS 652578 WITH SCORE 654000.758
AT ITER 8578 NEW BEST:: SOT 3791729 SOS 1419872 HAS SOPS 1419872 HAS SOUS 652538 HAS SOUPS 652538 WITH SCORE 653957.872
AT ITER 8581 NEW BEST:: SOT 3790606 SOS 1416689 HAS SOPS 1416689 HAS SOUS 652311 HAS SOUPS 652311 WITH SCORE 653727.689
AT ITER 8583 NEW BEST:: SOT 3790129 SOS 1415062 HAS SOPS 1415062 HAS SOUS 652213 HAS SOUPS 652213 WITH SCORE 653628.062
AT ITER 8601 NEW BEST:: SOT 3789321 SOS 1413313 HAS SOPS 1413313 HAS SOUS 651882 HAS SOUPS 651882 WITH SCORE 653295.313
AT ITER 8640 NEW BEST:: SOT 3789318 SOS 1413310 HAS SOPS 1413310 HAS SOUS 651872 HAS SOUPS 651872 WITH SCORE 653285.31
AT ITER 8646 NEW BEST:: SOT 3789177 SOS 1413028 HAS SOPS 1413028 HAS SOUS 651731 HAS SOUPS 651731 WITH SCORE 653144.028
AT ITER 8653 NEW BEST:: SOT 3787907 SOS 1409418 HAS SOPS 1409418 HAS SOUS 651296 HAS SOUPS 651296 WITH SCORE 652705.418
AT ITER 8699 NEW BEST:: SOT 3787893 SOS 1409382 HAS SOPS 1409382 HAS SOUS 651295 HAS SOUPS 651295 WITH SCORE 652704.382
AT ITER 8700 NEW BEST:: SOT 3787879 SOS 1409354 HAS SOPS 1409354 HAS SOUS 651295 HAS SOUPS 651295 WITH SCORE 652704.354
AT ITER 8707 NEW BEST:: SOT 3787485 SOS 1408103 HAS SOPS 1408103 HAS SOUS 651278 HAS SOUPS 651278 WITH SCORE 652686.103
AT ITER 8725 NEW BEST:: SOT 3786481 SOS 1404383 HAS SOPS 1404383 HAS SOUS 651075 HAS SOUPS 651075 WITH SCORE 652479.383
AT ITER 8746 NEW BEST:: SOT 3787200 SOS 1406666 HAS SOPS 1406666 HAS SOUS 650563 HAS SOUPS 650563 WITH SCORE 651969.666
AT ITER 8759 NEW BEST:: SOT 3787194 SOS 1406651 HAS SOPS 1406651 HAS SOUS 650563 HAS SOUPS 650563 WITH SCORE 651969.651
AT ITER 8760 NEW BEST:: SOT 3787484 SOS 1407009 HAS SOPS 1407009 HAS SOUS 650542 HAS SOUPS 650542 WITH SCORE 651949.009
AT ITER 8768 NEW BEST:: SOT 3787242 SOS 1406767 HAS SOPS 1406767 HAS SOUS 650216 HAS SOUPS 650216 WITH SCORE 651622.767
AT ITER 8783 NEW BEST:: SOT 3786725 SOS 1405179 HAS SOPS 1405179 HAS SOUS 649976 HAS SOUPS 649976 WITH SCORE 651381.179
AT ITER 8798 NEW BEST:: SOT 3786153 SOS 1404035 HAS SOPS 1404035 HAS SOUS 649976 HAS SOUPS 649976 WITH SCORE 651380.035
AT ITER 8801 NEW BEST:: SOT 3786098 SOS 1403925 HAS SOPS 1403925 HAS SOUS 649976 HAS SOUPS 649976 WITH SCORE 651379.925
AT ITER 8805 NEW BEST:: SOT 3785622 SOS 1402605 HAS SOPS 1402605 HAS SOUS 649846 HAS SOUPS 649846 WITH SCORE 651248.605
AT ITER 8808 NEW BEST:: SOT 3785498 SOS 1402233 HAS SOPS 1402233 HAS SOUS 649845 HAS SOUPS 649845 WITH SCORE 651247.233
AT ITER 8815 NEW BEST:: SOT 3784986 SOS 1400697 HAS SOPS 1400697 HAS SOUS 649587 HAS SOUPS 649587 WITH SCORE 650987.697
AT ITER 8823 NEW BEST:: SOT 3784597 SOS 1399373 HAS SOPS 1399373 HAS SOUS 649538 HAS SOUPS 649538 WITH SCORE 650937.373
AT ITER 8824 NEW BEST:: SOT 3783557 SOS 1396185 HAS SOPS 1396185 HAS SOUS 649157 HAS SOUPS 649157 WITH SCORE 650553.185
AT ITER 8827 NEW BEST:: SOT 3781571 SOS 1392210 HAS SOPS 1392210 HAS SOUS 648615 HAS SOUPS 648615 WITH SCORE 650007.21
AT ITER 8830 NEW BEST:: SOT 3781531 SOS 1392110 HAS SOPS 1392110 HAS SOUS 648615 HAS SOUPS 648615 WITH SCORE 650007.11
AT ITER 8850 NEW BEST:: SOT 3781497 SOS 1392058 HAS SOPS 1392058 HAS SOUS 648558 HAS SOUPS 648558 WITH SCORE 649950.058
AT ITER 8855 NEW BEST:: SOT 3781455 SOS 1391932 HAS SOPS 1391932 HAS SOUS 648533 HAS SOUPS 648533 WITH SCORE 649924.932
AT ITER 8862 NEW BEST:: SOT 3781203 SOS 1391176 HAS SOPS 1391176 HAS SOUS 648407 HAS SOUPS 648407 WITH SCORE 649798.176
AT ITER 8876 NEW BEST:: SOT 3780479 SOS 1389722 HAS SOPS 1389722 HAS SOUS 648401 HAS SOUPS 648401 WITH SCORE 649790.722
AT ITER 8889 NEW BEST:: SOT 3780491 SOS 1389758 HAS SOPS 1389758 HAS SOUS 648389 HAS SOUPS 648389 WITH SCORE 649778.758
AT ITER 8898 NEW BEST:: SOT 3780179 SOS 1389134 HAS SOPS 1389134 HAS SOUS 648213 HAS SOUPS 648213 WITH SCORE 649602.134
AT ITER 8911 NEW BEST:: SOT 3780167 SOS 1389098 HAS SOPS 1389098 HAS SOUS 648207 HAS SOUPS 648207 WITH SCORE 649596.098
AT ITER 8923 NEW BEST:: SOT 3780079 SOS 1388922 HAS SOPS 1388922 HAS SOUS 648128 HAS SOUPS 648128 WITH SCORE 649516.922
AT ITER 8926 NEW BEST:: SOT 3779687 SOS 1388317 HAS SOPS 1388317 HAS SOUS 647915 HAS SOUPS 647915 WITH SCORE 649303.317
AT ITER 8952 NEW BEST:: SOT 3778753 SOS 1385515 HAS SOPS 1385515 HAS SOUS 647448 HAS SOUPS 647448 WITH SCORE 648833.515
AT ITER 8960 NEW BEST:: SOT 3778811 SOS 1385689 HAS SOPS 1385689 HAS SOUS 647390 HAS SOUPS 647390 WITH SCORE 648775.689
AT ITER 8966 NEW BEST:: SOT 3778811 SOS 1385672 HAS SOPS 1385672 HAS SOUS 647373 HAS SOUPS 647373 WITH SCORE 648758.672
AT ITER 8991 NEW BEST:: SOT 3779193 SOS 1386869 HAS SOPS 1386869 HAS SOUS 647261 HAS SOUPS 647261 WITH SCORE 648647.869
AT ITER 9010 NEW BEST:: SOT 3779165 SOS 1386799 HAS SOPS 1386799 HAS SOUS 647261 HAS SOUPS 647261 WITH SCORE 648647.799
AT ITER 9012 NEW BEST:: SOT 3778291 SOS 1384614 HAS SOPS 1384614 HAS SOUS 647261 HAS SOUPS 647261 WITH SCORE 648645.614
AT ITER 9021 NEW BEST:: SOT 3777958 SOS 1383948 HAS SOPS 1383948 HAS SOUS 646928 HAS SOUPS 646928 WITH SCORE 648311.948
AT ITER 9025 NEW BEST:: SOT 3777644 SOS 1383006 HAS SOPS 1383006 HAS SOUS 646457 HAS SOUPS 646457 WITH SCORE 647840.006
AT ITER 9038 NEW BEST:: SOT 3776536 SOS 1379682 HAS SOPS 1379682 HAS SOUS 645901 HAS SOUPS 645901 WITH SCORE 647280.682
AT ITER 9056 NEW BEST:: SOT 3776476 SOS 1379502 HAS SOPS 1379502 HAS SOUS 645817 HAS SOUPS 645817 WITH SCORE 647196.502
AT ITER 9058 NEW BEST:: SOT 3776142 SOS 1378476 HAS SOPS 1378476 HAS SOUS 645780 HAS SOUPS 645780 WITH SCORE 647158.476
AT ITER 9064 NEW BEST:: SOT 3775985 SOS 1377848 HAS SOPS 1377848 HAS SOUS 645780 HAS SOUPS 645780 WITH SCORE 647157.848
AT ITER 9085 NEW BEST:: SOT 3775985 SOS 1377806 HAS SOPS 1377806 HAS SOUS 645738 HAS SOUPS 645738 WITH SCORE 647115.806
AT ITER 9097 NEW BEST:: SOT 3774277 SOS 1373619 HAS SOPS 1373619 HAS SOUS 644954 HAS SOUPS 644954 WITH SCORE 646327.619
AT ITER 9105 NEW BEST:: SOT 3774277 SOS 1373618 HAS SOPS 1373618 HAS SOUS 644953 HAS SOUPS 644953 WITH SCORE 646326.618
AT ITER 9130 NEW BEST:: SOT 3774083 SOS 1373097 HAS SOPS 1373097 HAS SOUS 644917 HAS SOUPS 644917 WITH SCORE 646290.097
AT ITER 9134 NEW BEST:: SOT 3773881 SOS 1372693 HAS SOPS 1372693 HAS SOUS 644715 HAS SOUPS 644715 WITH SCORE 646087.693
AT ITER 9138 NEW BEST:: SOT 3773808 SOS 1372547 HAS SOPS 1372547 HAS SOUS 644642 HAS SOUPS 644642 WITH SCORE 646014.547
AT ITER 9160 NEW BEST:: SOT 3773508 SOS 1371886 HAS SOPS 1371886 HAS SOUS 644552 HAS SOUPS 644552 WITH SCORE 645923.886
AT ITER 9163 NEW BEST:: SOT 3773417 SOS 1371522 HAS SOPS 1371522 HAS SOUS 644457 HAS SOUPS 644457 WITH SCORE 645828.522
AT ITER 9166 NEW BEST:: SOT 3773417 SOS 1371484 HAS SOPS 1371484 HAS SOUS 644419 HAS SOUPS 644419 WITH SCORE 645790.484
AT ITER 9167 NEW BEST:: SOT 3773189 SOS 1371025 HAS SOPS 1371025 HAS SOUS 644415 HAS SOUPS 644415 WITH SCORE 645786.025
AT ITER 9168 NEW BEST:: SOT 3773615 SOS 1372240 HAS SOPS 1372240 HAS SOUS 644279 HAS SOUPS 644279 WITH SCORE 645651.24
AT ITER 9179 NEW BEST:: SOT 3773135 SOS 1370482 HAS SOPS 1370482 HAS SOUS 643843 HAS SOUPS 643843 WITH SCORE 645213.482
AT ITER 9184 NEW BEST:: SOT 3772797 SOS 1370128 HAS SOPS 1370128 HAS SOUS 643827 HAS SOUPS 643827 WITH SCORE 645197.128
AT ITER 9190 NEW BEST:: SOT 3772539 SOS 1369526 HAS SOPS 1369526 HAS SOUS 643483 HAS SOUPS 643483 WITH SCORE 644852.526
AT ITER 9192 NEW BEST:: SOT 3772441 SOS 1369280 HAS SOPS 1369280 HAS SOUS 643482 HAS SOUPS 643482 WITH SCORE 644851.28
AT ITER 9201 NEW BEST:: SOT 3772602 SOS 1369552 HAS SOPS 1369552 HAS SOUS 643391 HAS SOUPS 643391 WITH SCORE 644760.552
AT ITER 9204 NEW BEST:: SOT 3771957 SOS 1367105 HAS SOPS 1367105 HAS SOUS 642782 HAS SOUPS 642782 WITH SCORE 644149.105
AT ITER 9214 NEW BEST:: SOT 3771957 SOS 1367105 HAS SOPS 1367105 HAS SOUS 642778 HAS SOUPS 642778 WITH SCORE 644145.105
AT ITER 9223 NEW BEST:: SOT 3771479 SOS 1365671 HAS SOPS 1365671 HAS SOUS 642487 HAS SOUPS 642487 WITH SCORE 643852.671
AT ITER 9279 NEW BEST:: SOT 3771498 SOS 1365709 HAS SOPS 1365709 HAS SOUS 642468 HAS SOUPS 642468 WITH SCORE 643833.709
AT ITER 9290 NEW BEST:: SOT 3771482 SOS 1365669 HAS SOPS 1365669 HAS SOUS 642468 HAS SOUPS 642468 WITH SCORE 643833.669
AT ITER 9301 NEW BEST:: SOT 3771432 SOS 1365519 HAS SOPS 1365519 HAS SOUS 642441 HAS SOUPS 642441 WITH SCORE 643806.519
AT ITER 9308 NEW BEST:: SOT 3770756 SOS 1363654 HAS SOPS 1363654 HAS SOUS 642059 HAS SOUPS 642059 WITH SCORE 643422.654
AT ITER 9321 NEW BEST:: SOT 3770552 SOS 1363042 HAS SOPS 1363042 HAS SOUS 641767 HAS SOUPS 641767 WITH SCORE 643130.042
AT ITER 9322 NEW BEST:: SOT 3770437 SOS 1362612 HAS SOPS 1362612 HAS SOUS 641552 HAS SOUPS 641552 WITH SCORE 642914.612
AT ITER 9324 NEW BEST:: SOT 3770471 SOS 1362714 HAS SOPS 1362714 HAS SOUS 641518 HAS SOUPS 641518 WITH SCORE 642880.714
AT ITER 9325 NEW BEST:: SOT 3770419 SOS 1362604 HAS SOPS 1362604 HAS SOUS 641486 HAS SOUPS 641486 WITH SCORE 642848.604
AT ITER 9343 NEW BEST:: SOT 3770558 SOS 1362600 HAS SOPS 1362600 HAS SOUS 641399 HAS SOUPS 641399 WITH SCORE 642761.6
AT ITER 9362 NEW BEST:: SOT 3769313 SOS 1359405 HAS SOPS 1359405 HAS SOUS 640647 HAS SOUPS 640647 WITH SCORE 642006.405
AT ITER 9364 NEW BEST:: SOT 3769185 SOS 1358991 HAS SOPS 1358991 HAS SOUS 640598 HAS SOUPS 640598 WITH SCORE 641956.991
AT ITER 9369 NEW BEST:: SOT 3769185 SOS 1358921 HAS SOPS 1358921 HAS SOUS 640524 HAS SOUPS 640524 WITH SCORE 641882.921
AT ITER 9374 NEW BEST:: SOT 3769185 SOS 1358665 HAS SOPS 1358665 HAS SOUS 640266 HAS SOUPS 640266 WITH SCORE 641624.665
AT ITER 9389 NEW BEST:: SOT 3769171 SOS 1358613 HAS SOPS 1358613 HAS SOUS 640264 HAS SOUPS 640264 WITH SCORE 641622.613
AT ITER 9422 NEW BEST:: SOT 3768881 SOS 1357738 HAS SOPS 1357738 HAS SOUS 640264 HAS SOUPS 640264 WITH SCORE 641621.738
AT ITER 9428 NEW BEST:: SOT 3768936 SOS 1357669 HAS SOPS 1357669 HAS SOUS 639928 HAS SOUPS 639928 WITH SCORE 641285.669
AT ITER 9450 NEW BEST:: SOT 3768936 SOS 1357233 HAS SOPS 1357233 HAS SOUS 639708 HAS SOUPS 639708 WITH SCORE 641065.233
AT ITER 9457 NEW BEST:: SOT 3768564 SOS 1356303 HAS SOPS 1356303 HAS SOUS 639708 HAS SOUPS 639708 WITH SCORE 641064.303
AT ITER 9481 NEW BEST:: SOT 3768237 SOS 1355649 HAS SOPS 1355649 HAS SOUS 638695 HAS SOUPS 638695 WITH SCORE 640050.649
AT ITER 9482 NEW BEST:: SOT 3767548 SOS 1355700 HAS SOPS 1355700 HAS SOUS 637400 HAS SOUPS 637400 WITH SCORE 638755.7
AT ITER 9483 NEW BEST:: SOT 3766014 SOS 1352351 HAS SOPS 1352351 HAS SOUS 637337 HAS SOUPS 637337 WITH SCORE 638689.351
AT ITER 9485 NEW BEST:: SOT 3766011 SOS 1352345 HAS SOPS 1352345 HAS SOUS 637337 HAS SOUPS 637337 WITH SCORE 638689.345
AT ITER 9505 NEW BEST:: SOT 3765657 SOS 1351634 HAS SOPS 1351634 HAS SOUS 636978 HAS SOUPS 636978 WITH SCORE 638329.634
AT ITER 9518 NEW BEST:: SOT 3765631 SOS 1351582 HAS SOPS 1351582 HAS SOUS 636952 HAS SOUPS 636952 WITH SCORE 638303.582
AT ITER 9529 NEW BEST:: SOT 3765194 SOS 1350708 HAS SOPS 1350708 HAS SOUS 636952 HAS SOUPS 636952 WITH SCORE 638302.708
AT ITER 9532 NEW BEST:: SOT 3764629 SOS 1349886 HAS SOPS 1349886 HAS SOUS 636739 HAS SOUPS 636739 WITH SCORE 638088.886
AT ITER 9541 NEW BEST:: SOT 3764380 SOS 1349388 HAS SOPS 1349388 HAS SOUS 636258 HAS SOUPS 636258 WITH SCORE 637607.388
AT ITER 9544 NEW BEST:: SOT 3763323 SOS 1346252 HAS SOPS 1346252 HAS SOUS 635863 HAS SOUPS 635863 WITH SCORE 637209.252
AT ITER 9560 NEW BEST:: SOT 3763106 SOS 1346035 HAS SOPS 1346035 HAS SOUS 635644 HAS SOUPS 635644 WITH SCORE 636990.035
AT ITER 9568 NEW BEST:: SOT 3763060 SOS 1345920 HAS SOPS 1345920 HAS SOUS 635644 HAS SOUPS 635644 WITH SCORE 636989.92
AT ITER 9569 NEW BEST:: SOT 3763046 SOS 1345878 HAS SOPS 1345878 HAS SOUS 635631 HAS SOUPS 635631 WITH SCORE 636976.878
AT ITER 9590 NEW BEST:: SOT 3763045 SOS 1345865 HAS SOPS 1345865 HAS SOUS 635619 HAS SOUPS 635619 WITH SCORE 636964.865
AT ITER 9641 NEW BEST:: SOT 3763038 SOS 1345858 HAS SOPS 1345858 HAS SOUS 635619 HAS SOUPS 635619 WITH SCORE 636964.858
AT ITER 9644 NEW BEST:: SOT 3763036 SOS 1345853 HAS SOPS 1345853 HAS SOUS 635615 HAS SOUPS 635615 WITH SCORE 636960.853
AT ITER 9664 NEW BEST:: SOT 3762814 SOS 1345409 HAS SOPS 1345409 HAS SOUS 635393 HAS SOUPS 635393 WITH SCORE 636738.409
AT ITER 9676 NEW BEST:: SOT 3760632 SOS 1340299 HAS SOPS 1340299 HAS SOUS 635107 HAS SOUPS 635107 WITH SCORE 636447.299
AT ITER 9718 NEW BEST:: SOT 3760786 SOS 1340383 HAS SOPS 1340383 HAS SOUS 635037 HAS SOUPS 635037 WITH SCORE 636377.383
AT ITER 9725 NEW BEST:: SOT 3760338 SOS 1339001 HAS SOPS 1339001 HAS SOUS 634832 HAS SOUPS 634832 WITH SCORE 636171.001
AT ITER 9727 NEW BEST:: SOT 3759942 SOS 1338011 HAS SOPS 1338011 HAS SOUS 634832 HAS SOUPS 634832 WITH SCORE 636170.011
AT ITER 9728 NEW BEST:: SOT 3759918 SOS 1337975 HAS SOPS 1337975 HAS SOUS 634808 HAS SOUPS 634808 WITH SCORE 636145.975
AT ITER 9733 NEW BEST:: SOT 3759936 SOS 1337948 HAS SOPS 1337948 HAS SOUS 634763 HAS SOUPS 634763 WITH SCORE 636100.948
AT ITER 9749 NEW BEST:: SOT 3759211 SOS 1336094 HAS SOPS 1336094 HAS SOUS 634749 HAS SOUPS 634749 WITH SCORE 636085.094
AT ITER 9753 NEW BEST:: SOT 3759446 SOS 1336726 HAS SOPS 1336726 HAS SOUS 634717 HAS SOUPS 634717 WITH SCORE 636053.726
AT ITER 9783 NEW BEST:: SOT 3759234 SOS 1336193 HAS SOPS 1336193 HAS SOUS 634714 HAS SOUPS 634714 WITH SCORE 636050.193
AT ITER 9788 NEW BEST:: SOT 3758808 SOS 1335340 HAS SOPS 1335340 HAS SOUS 634571 HAS SOUPS 634571 WITH SCORE 635906.34
AT ITER 9815 NEW BEST:: SOT 3758536 SOS 1334377 HAS SOPS 1334377 HAS SOUS 634507 HAS SOUPS 634507 WITH SCORE 635841.377
AT ITER 9831 NEW BEST:: SOT 3758286 SOS 1333301 HAS SOPS 1333301 HAS SOUS 634165 HAS SOUPS 634165 WITH SCORE 635498.301
AT ITER 9832 NEW BEST:: SOT 3758242 SOS 1333191 HAS SOPS 1333191 HAS SOUS 634165 HAS SOUPS 634165 WITH SCORE 635498.191
AT ITER 9844 NEW BEST:: SOT 3757918 SOS 1332295 HAS SOPS 1332295 HAS SOUS 634077 HAS SOUPS 634077 WITH SCORE 635409.295
AT ITER 9851 NEW BEST:: SOT 3757208 SOS 1330211 HAS SOPS 1330211 HAS SOUS 633849 HAS SOUPS 633849 WITH SCORE 635179.211
AT ITER 9853 NEW BEST:: SOT 3757098 SOS 1329881 HAS SOPS 1329881 HAS SOUS 633794 HAS SOUPS 633794 WITH SCORE 635123.881
AT ITER 9860 NEW BEST:: SOT 3757098 SOS 1329881 HAS SOPS 1329881 HAS SOUS 633790 HAS SOUPS 633790 WITH SCORE 635119.881
AT ITER 9869 NEW BEST:: SOT 3757093 SOS 1329731 HAS SOPS 1329731 HAS SOUS 633651 HAS SOUPS 633651 WITH SCORE 634980.731
AT ITER 9871 NEW BEST:: SOT 3757093 SOS 1329731 HAS SOPS 1329731 HAS SOUS 633419 HAS SOUPS 633419 WITH SCORE 634748.731
AT ITER 9878 NEW BEST:: SOT 3758345 SOS 1332896 HAS SOPS 1332896 HAS SOUS 633412 HAS SOUPS 633412 WITH SCORE 634744.896
AT ITER 9884 NEW BEST:: SOT 3758001 SOS 1331839 HAS SOPS 1331839 HAS SOUS 632950 HAS SOUPS 632950 WITH SCORE 634281.839
AT ITER 9914 NEW BEST:: SOT 3756610 SOS 1328321 HAS SOPS 1328321 HAS SOUS 632040 HAS SOUPS 632040 WITH SCORE 633368.321
AT ITER 9934 NEW BEST:: SOT 3755945 SOS 1326290 HAS SOPS 1326290 HAS SOUS 631508 HAS SOUPS 631508 WITH SCORE 632834.29
AT ITER 9954 NEW BEST:: SOT 3755796 SOS 1325992 HAS SOPS 1325992 HAS SOUS 631359 HAS SOUPS 631359 WITH SCORE 632684.992
AT ITER 9964 NEW BEST:: SOT 3755573 SOS 1324880 HAS SOPS 1324880 HAS SOUS 631197 HAS SOUPS 631197 WITH SCORE 632521.88
AT ITER 9973 NEW BEST:: SOT 3755220 SOS 1323606 HAS SOPS 1323606 HAS SOUS 631112 HAS SOUPS 631112 WITH SCORE 632435.606
AT ITER 9974 NEW BEST:: SOT 3755060 SOS 1323206 HAS SOPS 1323206 HAS SOUS 631112 HAS SOUPS 631112 WITH SCORE 632435.206
AT ITER 9982 NEW BEST:: SOT 3755056 SOS 1323197 HAS SOPS 1323197 HAS SOUS 631107 HAS SOUPS 631107 WITH SCORE 632430.197
AT ITER 9986 NEW BEST:: SOT 3754141 SOS 1320378 HAS SOPS 1320378 HAS SOUS 630754 HAS SOUPS 630754 WITH SCORE 632074.378
AT ITER 9996 NEW BEST:: SOT 3754034 SOS 1320164 HAS SOPS 1320164 HAS SOUS 630627 HAS SOUPS 630627 WITH SCORE 631947.164
AT ITER 9997 NEW BEST:: SOT 3753911 SOS 1319915 HAS SOPS 1319915 HAS SOUS 630581 HAS SOUPS 630581 WITH SCORE 631900.915
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5794112 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152728 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r483-tall-167912696901312"
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 ;