fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r067-smll-167814394900440
Last Updated
May 14, 2023

About the Execution of Smart for CloudDeployment-PT-6b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
349.604 3600000.00 3599750.00 300.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r067-smll-167814394900440.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 CloudDeployment-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394900440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.2M
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.8M Mar 5 18:22 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 1678310078204

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=CloudDeployment-PT-6b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6b
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: 1888 places, 6804 transitions, 91831 arcs.
AT ITER 0 NEW BEST:: SOT 9619899 SOS 3182724 HAS SOPS 3182724 HAS SOUS 1204894 HAS SOUPS 1204894 WITH SCORE 1208076.724
AT ITER 3 NEW BEST:: SOT 9619882 SOS 3182690 HAS SOPS 3182690 HAS SOUS 1204877 HAS SOUPS 1204877 WITH SCORE 1208059.69
AT ITER 4 NEW BEST:: SOT 9619839 SOS 3182829 HAS SOPS 3182829 HAS SOUS 1204833 HAS SOUPS 1204833 WITH SCORE 1208015.829
AT ITER 10 NEW BEST:: SOT 9619839 SOS 3183392 HAS SOPS 3183392 HAS SOUS 1204761 HAS SOUPS 1204761 WITH SCORE 1207944.392
AT ITER 15 NEW BEST:: SOT 9619451 SOS 3183342 HAS SOPS 3183342 HAS SOUS 1204418 HAS SOUPS 1204418 WITH SCORE 1207601.342
AT ITER 23 NEW BEST:: SOT 9619450 SOS 3183316 HAS SOPS 3183316 HAS SOUS 1204392 HAS SOUPS 1204392 WITH SCORE 1207575.316
AT ITER 73 NEW BEST:: SOT 9619445 SOS 3183306 HAS SOPS 3183306 HAS SOUS 1204387 HAS SOUPS 1204387 WITH SCORE 1207570.306
AT ITER 85 NEW BEST:: SOT 9619105 SOS 3181458 HAS SOPS 3181458 HAS SOUS 1203876 HAS SOUPS 1203876 WITH SCORE 1207057.458
AT ITER 91 NEW BEST:: SOT 9619072 SOS 3181788 HAS SOPS 3181788 HAS SOUS 1203843 HAS SOUPS 1203843 WITH SCORE 1207024.788
AT ITER 103 NEW BEST:: SOT 9618268 SOS 3180541 HAS SOPS 3180541 HAS SOUS 1202935 HAS SOUPS 1202935 WITH SCORE 1206115.541
AT ITER 110 NEW BEST:: SOT 9617764 SOS 3180037 HAS SOPS 3180037 HAS SOUS 947455 HAS SOUPS 947455 WITH SCORE 950635.037
AT ITER 111 NEW BEST:: SOT 9617605 SOS 3179928 HAS SOPS 3179928 HAS SOUS 947026 HAS SOUPS 947026 WITH SCORE 950205.928
AT ITER 114 NEW BEST:: SOT 9617474 SOS 3204999 HAS SOPS 3204999 HAS SOUS 946755 HAS SOUPS 946755 WITH SCORE 949959.999
AT ITER 126 NEW BEST:: SOT 9617428 SOS 3205666 HAS SOPS 3205666 HAS SOUS 946709 HAS SOUPS 946709 WITH SCORE 949914.666
AT ITER 132 NEW BEST:: SOT 9617195 SOS 3205200 HAS SOPS 3205200 HAS SOUS 946485 HAS SOUPS 946485 WITH SCORE 949690.2
AT ITER 140 NEW BEST:: SOT 9617233 SOS 3205478 HAS SOPS 3205478 HAS SOUS 946459 HAS SOUPS 946459 WITH SCORE 949664.478
AT ITER 148 NEW BEST:: SOT 9615579 SOS 3206610 HAS SOPS 3206610 HAS SOUS 945753 HAS SOUPS 945753 WITH SCORE 948959.61
AT ITER 156 NEW BEST:: SOT 9615162 SOS 3206400 HAS SOPS 3206400 HAS SOUS 945335 HAS SOUPS 945335 WITH SCORE 948541.4
AT ITER 162 NEW BEST:: SOT 9614809 SOS 3205864 HAS SOPS 3205864 HAS SOUS 944475 HAS SOUPS 944475 WITH SCORE 947680.864
AT ITER 175 NEW BEST:: SOT 9614724 SOS 3205808 HAS SOPS 3205808 HAS SOUS 944390 HAS SOUPS 944390 WITH SCORE 947595.808
AT ITER 182 NEW BEST:: SOT 9614526 SOS 3205709 HAS SOPS 3205709 HAS SOUS 944093 HAS SOUPS 944093 WITH SCORE 947298.709
AT ITER 194 NEW BEST:: SOT 9614360 SOS 3205377 HAS SOPS 3205377 HAS SOUS 943761 HAS SOUPS 943761 WITH SCORE 946966.377
AT ITER 205 NEW BEST:: SOT 9614240 SOS 3205377 HAS SOPS 3205377 HAS SOUS 943752 HAS SOUPS 943752 WITH SCORE 946957.377
AT ITER 213 NEW BEST:: SOT 9613761 SOS 3204915 HAS SOPS 3204915 HAS SOUS 943418 HAS SOUPS 943418 WITH SCORE 946622.915
AT ITER 218 NEW BEST:: SOT 9613691 SOS 3204775 HAS SOPS 3204775 HAS SOUS 943278 HAS SOUPS 943278 WITH SCORE 946482.775
AT ITER 243 NEW BEST:: SOT 9613691 SOS 3204798 HAS SOPS 3204798 HAS SOUS 943277 HAS SOUPS 943277 WITH SCORE 946481.798
AT ITER 252 NEW BEST:: SOT 9613691 SOS 3204782 HAS SOPS 3204782 HAS SOUS 943261 HAS SOUPS 943261 WITH SCORE 946465.782
AT ITER 287 NEW BEST:: SOT 9613596 SOS 3204717 HAS SOPS 3204717 HAS SOUS 943196 HAS SOUPS 943196 WITH SCORE 946400.717
AT ITER 292 NEW BEST:: SOT 9612587 SOS 3204001 HAS SOPS 3204001 HAS SOUS 942226 HAS SOUPS 942226 WITH SCORE 945430.001
AT ITER 298 NEW BEST:: SOT 9611684 SOS 3204580 HAS SOPS 3204580 HAS SOUS 942088 HAS SOUPS 942088 WITH SCORE 945292.58
AT ITER 312 NEW BEST:: SOT 9610679 SOS 3204565 HAS SOPS 3204565 HAS SOUS 941788 HAS SOUPS 941788 WITH SCORE 944992.565
AT ITER 324 NEW BEST:: SOT 9610575 SOS 3204600 HAS SOPS 3204600 HAS SOUS 941649 HAS SOUPS 941649 WITH SCORE 944853.6
AT ITER 340 NEW BEST:: SOT 9610525 SOS 3204400 HAS SOPS 3204400 HAS SOUS 941599 HAS SOUPS 941599 WITH SCORE 944803.4
AT ITER 346 NEW BEST:: SOT 9610525 SOS 3204663 HAS SOPS 3204663 HAS SOUS 941504 HAS SOUPS 941504 WITH SCORE 944708.663
AT ITER 353 NEW BEST:: SOT 9610469 SOS 3204551 HAS SOPS 3204551 HAS SOUS 941392 HAS SOUPS 941392 WITH SCORE 944596.551
AT ITER 369 NEW BEST:: SOT 9609940 SOS 3204022 HAS SOPS 3204022 HAS SOUS 798864 HAS SOUPS 798864 WITH SCORE 802068.022
AT ITER 375 NEW BEST:: SOT 9609848 SOS 3203838 HAS SOPS 3203838 HAS SOUS 798680 HAS SOUPS 798680 WITH SCORE 801883.838
AT ITER 378 NEW BEST:: SOT 9609776 SOS 3203766 HAS SOPS 3203766 HAS SOUS 798608 HAS SOUPS 798608 WITH SCORE 801811.766
AT ITER 400 NEW BEST:: SOT 9609252 SOS 3223450 HAS SOPS 3223450 HAS SOUS 798083 HAS SOUPS 798083 WITH SCORE 801306.45
AT ITER 407 NEW BEST:: SOT 9609192 SOS 3223390 HAS SOPS 3223390 HAS SOUS 798083 HAS SOUPS 798083 WITH SCORE 801306.39
AT ITER 414 NEW BEST:: SOT 9609128 SOS 3224083 HAS SOPS 3224083 HAS SOUS 798044 HAS SOUPS 798044 WITH SCORE 801268.083
AT ITER 430 NEW BEST:: SOT 9609094 SOS 3224049 HAS SOPS 3224049 HAS SOUS 798043 HAS SOUPS 798043 WITH SCORE 801267.049
AT ITER 436 NEW BEST:: SOT 9608994 SOS 3224125 HAS SOPS 3224125 HAS SOUS 797856 HAS SOUPS 797856 WITH SCORE 801080.125
AT ITER 440 NEW BEST:: SOT 9608994 SOS 3224125 HAS SOPS 3224125 HAS SOUS 797855 HAS SOUPS 797855 WITH SCORE 801079.125
AT ITER 446 NEW BEST:: SOT 9608994 SOS 3224124 HAS SOPS 3224124 HAS SOUS 797854 HAS SOUPS 797854 WITH SCORE 801078.124
AT ITER 448 NEW BEST:: SOT 9608994 SOS 3224067 HAS SOPS 3224067 HAS SOUS 797797 HAS SOUPS 797797 WITH SCORE 801021.067
AT ITER 456 NEW BEST:: SOT 9608775 SOS 3223848 HAS SOPS 3223848 HAS SOUS 797578 HAS SOUPS 797578 WITH SCORE 800801.848
AT ITER 461 NEW BEST:: SOT 9608758 SOS 3222658 HAS SOPS 3222658 HAS SOUS 797272 HAS SOUPS 797272 WITH SCORE 800494.658
AT ITER 474 NEW BEST:: SOT 9608662 SOS 3222829 HAS SOPS 3222829 HAS SOUS 796932 HAS SOUPS 796932 WITH SCORE 800154.829
AT ITER 488 NEW BEST:: SOT 9608554 SOS 3223197 HAS SOPS 3223197 HAS SOUS 796678 HAS SOUPS 796678 WITH SCORE 799901.197
AT ITER 495 NEW BEST:: SOT 9608554 SOS 3223493 HAS SOPS 3223493 HAS SOUS 796630 HAS SOUPS 796630 WITH SCORE 799853.493
AT ITER 507 NEW BEST:: SOT 9608391 SOS 3223809 HAS SOPS 3223809 HAS SOUS 796467 HAS SOUPS 796467 WITH SCORE 799690.809
AT ITER 511 NEW BEST:: SOT 9601666 SOS 3221569 HAS SOPS 3221569 HAS SOUS 790154 HAS SOUPS 790154 WITH SCORE 793375.569
AT ITER 516 NEW BEST:: SOT 9601666 SOS 3222694 HAS SOPS 3222694 HAS SOUS 790088 HAS SOUPS 790088 WITH SCORE 793310.694
AT ITER 526 NEW BEST:: SOT 9601654 SOS 3222670 HAS SOPS 3222670 HAS SOUS 790070 HAS SOUPS 790070 WITH SCORE 793292.67
AT ITER 530 NEW BEST:: SOT 9601327 SOS 3223900 HAS SOPS 3223900 HAS SOUS 789959 HAS SOUPS 789959 WITH SCORE 793182.9
AT ITER 548 NEW BEST:: SOT 9601263 SOS 3223808 HAS SOPS 3223808 HAS SOUS 781005 HAS SOUPS 781005 WITH SCORE 784228.808
AT ITER 553 NEW BEST:: SOT 9601190 SOS 3223481 HAS SOPS 3223481 HAS SOUS 780859 HAS SOUPS 780859 WITH SCORE 784082.481
AT ITER 561 NEW BEST:: SOT 9601119 SOS 3223339 HAS SOPS 3223339 HAS SOUS 780717 HAS SOUPS 780717 WITH SCORE 783940.339
AT ITER 562 NEW BEST:: SOT 9601278 SOS 3223302 HAS SOPS 3223302 HAS SOUS 780559 HAS SOUPS 780559 WITH SCORE 783782.302
AT ITER 568 NEW BEST:: SOT 9601499 SOS 3223081 HAS SOPS 3223081 HAS SOUS 780559 HAS SOUPS 780559 WITH SCORE 783782.081
AT ITER 578 NEW BEST:: SOT 9601499 SOS 3223212 HAS SOPS 3223212 HAS SOUS 780492 HAS SOUPS 780492 WITH SCORE 783715.212
AT ITER 589 NEW BEST:: SOT 9601308 SOS 3223244 HAS SOPS 3223244 HAS SOUS 780234 HAS SOUPS 780234 WITH SCORE 783457.244
AT ITER 599 NEW BEST:: SOT 9601307 SOS 3223289 HAS SOPS 3223289 HAS SOUS 722202 HAS SOUPS 722202 WITH SCORE 725425.289
AT ITER 630 NEW BEST:: SOT 9600729 SOS 3222855 HAS SOPS 3222855 HAS SOUS 721662 HAS SOUPS 721662 WITH SCORE 724884.855
AT ITER 644 NEW BEST:: SOT 9600572 SOS 3224403 HAS SOPS 3224403 HAS SOUS 721481 HAS SOUPS 721481 WITH SCORE 724705.403
AT ITER 649 NEW BEST:: SOT 9600779 SOS 3224609 HAS SOPS 3224609 HAS SOUS 721480 HAS SOUPS 721480 WITH SCORE 724704.609
AT ITER 658 NEW BEST:: SOT 9600269 SOS 3543347 HAS SOPS 3543347 HAS SOUS 720494 HAS SOUPS 720494 WITH SCORE 724037.347
AT ITER 669 NEW BEST:: SOT 9600002 SOS 3544067 HAS SOPS 3544067 HAS SOUS 720227 HAS SOUPS 720227 WITH SCORE 723771.067
AT ITER 672 NEW BEST:: SOT 9600179 SOS 3544012 HAS SOPS 3544012 HAS SOUS 720200 HAS SOUPS 720200 WITH SCORE 723744.012
AT ITER 693 NEW BEST:: SOT 9600083 SOS 3543964 HAS SOPS 3543964 HAS SOUS 720128 HAS SOUPS 720128 WITH SCORE 723671.964
AT ITER 694 NEW BEST:: SOT 9599503 SOS 3544288 HAS SOPS 3544288 HAS SOUS 720112 HAS SOUPS 720112 WITH SCORE 723656.288
AT ITER 701 NEW BEST:: SOT 9599503 SOS 3546557 HAS SOPS 3546557 HAS SOUS 720108 HAS SOUPS 720108 WITH SCORE 723654.557
AT ITER 733 NEW BEST:: SOT 9599262 SOS 3546075 HAS SOPS 3546075 HAS SOUS 719626 HAS SOUPS 719626 WITH SCORE 723172.075
AT ITER 769 NEW BEST:: SOT 9599253 SOS 3546057 HAS SOPS 3546057 HAS SOUS 719608 HAS SOUPS 719608 WITH SCORE 723154.057
AT ITER 782 NEW BEST:: SOT 9599220 SOS 3545991 HAS SOPS 3545991 HAS SOUS 719603 HAS SOUPS 719603 WITH SCORE 723148.991
AT ITER 783 NEW BEST:: SOT 9599220 SOS 3545991 HAS SOPS 3545991 HAS SOUS 719587 HAS SOUPS 719587 WITH SCORE 723132.991
AT ITER 788 NEW BEST:: SOT 9599320 SOS 3546174 HAS SOPS 3546174 HAS SOUS 719312 HAS SOUPS 719312 WITH SCORE 722858.174
AT ITER 794 NEW BEST:: SOT 9598873 SOS 3545227 HAS SOPS 3545227 HAS SOUS 718460 HAS SOUPS 718460 WITH SCORE 722005.227
AT ITER 803 NEW BEST:: SOT 9598815 SOS 3545111 HAS SOPS 3545111 HAS SOUS 718344 HAS SOUPS 718344 WITH SCORE 721889.111
AT ITER 806 NEW BEST:: SOT 9598602 SOS 3544685 HAS SOPS 3544685 HAS SOUS 717918 HAS SOUPS 717918 WITH SCORE 721462.685
AT ITER 823 NEW BEST:: SOT 9598602 SOS 3544908 HAS SOPS 3544908 HAS SOUS 717904 HAS SOUPS 717904 WITH SCORE 721448.908
AT ITER 824 NEW BEST:: SOT 9598041 SOS 3549383 HAS SOPS 3549383 HAS SOUS 717711 HAS SOUPS 717711 WITH SCORE 721260.383
AT ITER 832 NEW BEST:: SOT 9597998 SOS 3549759 HAS SOPS 3549759 HAS SOUS 717709 HAS SOUPS 717709 WITH SCORE 721258.759
AT ITER 855 NEW BEST:: SOT 9597890 SOS 3549759 HAS SOPS 3549759 HAS SOUS 717493 HAS SOUPS 717493 WITH SCORE 721042.759
AT ITER 868 NEW BEST:: SOT 9597890 SOS 3549703 HAS SOPS 3549703 HAS SOUS 717437 HAS SOUPS 717437 WITH SCORE 720986.703
AT ITER 881 NEW BEST:: SOT 9597890 SOS 3549379 HAS SOPS 3549379 HAS SOUS 717113 HAS SOUPS 717113 WITH SCORE 720662.379
AT ITER 886 NEW BEST:: SOT 9597879 SOS 3549442 HAS SOPS 3549442 HAS SOUS 717102 HAS SOUPS 717102 WITH SCORE 720651.442
AT ITER 900 NEW BEST:: SOT 9597879 SOS 3549386 HAS SOPS 3549386 HAS SOUS 716925 HAS SOUPS 716925 WITH SCORE 720474.386
AT ITER 914 NEW BEST:: SOT 9597626 SOS 3549888 HAS SOPS 3549888 HAS SOUS 716594 HAS SOUPS 716594 WITH SCORE 720143.888
AT ITER 926 NEW BEST:: SOT 9597479 SOS 3552469 HAS SOPS 3552469 HAS SOUS 716249 HAS SOUPS 716249 WITH SCORE 719801.469
AT ITER 931 NEW BEST:: SOT 9597178 SOS 3552353 HAS SOPS 3552353 HAS SOUS 716249 HAS SOUPS 716249 WITH SCORE 719801.353
AT ITER 933 NEW BEST:: SOT 9597393 SOS 3552138 HAS SOPS 3552138 HAS SOUS 716249 HAS SOUPS 716249 WITH SCORE 719801.138
AT ITER 934 NEW BEST:: SOT 9597339 SOS 3552030 HAS SOPS 3552030 HAS SOUS 716195 HAS SOUPS 716195 WITH SCORE 719747.03
AT ITER 953 NEW BEST:: SOT 9597078 SOS 3554439 HAS SOPS 3554439 HAS SOUS 716133 HAS SOUPS 716133 WITH SCORE 719687.439
AT ITER 954 NEW BEST:: SOT 9597078 SOS 3554439 HAS SOPS 3554439 HAS SOUS 716132 HAS SOUPS 716132 WITH SCORE 719686.439
AT ITER 961 NEW BEST:: SOT 9596490 SOS 3553986 HAS SOPS 3553986 HAS SOUS 715720 HAS SOUPS 715720 WITH SCORE 719273.986
AT ITER 963 NEW BEST:: SOT 9596476 SOS 3553958 HAS SOPS 3553958 HAS SOUS 715692 HAS SOUPS 715692 WITH SCORE 719245.958
AT ITER 968 NEW BEST:: SOT 9596204 SOS 3553722 HAS SOPS 3553722 HAS SOUS 715179 HAS SOUPS 715179 WITH SCORE 718732.722
AT ITER 999 NEW BEST:: SOT 9596204 SOS 3553666 HAS SOPS 3553666 HAS SOUS 715123 HAS SOUPS 715123 WITH SCORE 718676.666
AT ITER 1001 NEW BEST:: SOT 9596167 SOS 3553592 HAS SOPS 3553592 HAS SOUS 715049 HAS SOUPS 715049 WITH SCORE 718602.592
AT ITER 1003 NEW BEST:: SOT 9595677 SOS 3553161 HAS SOPS 3553161 HAS SOUS 690554 HAS SOUPS 690554 WITH SCORE 694107.161
AT ITER 1005 NEW BEST:: SOT 9595468 SOS 3552743 HAS SOPS 3552743 HAS SOUS 690136 HAS SOUPS 690136 WITH SCORE 693688.743
AT ITER 1006 NEW BEST:: SOT 9595461 SOS 3552729 HAS SOPS 3552729 HAS SOUS 690111 HAS SOUPS 690111 WITH SCORE 693663.729
AT ITER 1021 NEW BEST:: SOT 9595843 SOS 3553493 HAS SOPS 3553493 HAS SOUS 689989 HAS SOUPS 689989 WITH SCORE 693542.493
AT ITER 1036 NEW BEST:: SOT 9595842 SOS 3553491 HAS SOPS 3553491 HAS SOUS 689987 HAS SOUPS 689987 WITH SCORE 693540.491
AT ITER 1038 NEW BEST:: SOT 9595684 SOS 3553333 HAS SOPS 3553333 HAS SOUS 689829 HAS SOUPS 689829 WITH SCORE 693382.333
AT ITER 1072 NEW BEST:: SOT 9595393 SOS 3554002 HAS SOPS 3554002 HAS SOUS 689630 HAS SOUPS 689630 WITH SCORE 693184.002
AT ITER 1080 NEW BEST:: SOT 9595703 SOS 3553978 HAS SOPS 3553978 HAS SOUS 689606 HAS SOUPS 689606 WITH SCORE 693159.978
AT ITER 1091 NEW BEST:: SOT 9595502 SOS 3553777 HAS SOPS 3553777 HAS SOUS 689057 HAS SOUPS 689057 WITH SCORE 692610.777
AT ITER 1094 NEW BEST:: SOT 9595573 SOS 3553421 HAS SOPS 3553421 HAS SOUS 689033 HAS SOUPS 689033 WITH SCORE 692586.421
AT ITER 1101 NEW BEST:: SOT 9595437 SOS 3553149 HAS SOPS 3553149 HAS SOUS 688761 HAS SOUPS 688761 WITH SCORE 692314.149
AT ITER 1116 NEW BEST:: SOT 9595260 SOS 3552795 HAS SOPS 3552795 HAS SOUS 688739 HAS SOUPS 688739 WITH SCORE 692291.795
AT ITER 1135 NEW BEST:: SOT 9595173 SOS 3552621 HAS SOPS 3552621 HAS SOUS 688565 HAS SOUPS 688565 WITH SCORE 692117.621
AT ITER 1148 NEW BEST:: SOT 9595265 SOS 3552805 HAS SOPS 3552805 HAS SOUS 688514 HAS SOUPS 688514 WITH SCORE 692066.805
AT ITER 1158 NEW BEST:: SOT 9595265 SOS 3552592 HAS SOPS 3552592 HAS SOUS 688509 HAS SOUPS 688509 WITH SCORE 692061.592
AT ITER 1175 NEW BEST:: SOT 9595219 SOS 3552644 HAS SOPS 3552644 HAS SOUS 688483 HAS SOUPS 688483 WITH SCORE 692035.644
AT ITER 1176 NEW BEST:: SOT 9595272 SOS 3585882 HAS SOPS 3585882 HAS SOUS 688422 HAS SOUPS 688422 WITH SCORE 692007.882
AT ITER 1198 NEW BEST:: SOT 9595272 SOS 3585825 HAS SOPS 3585825 HAS SOUS 688086 HAS SOUPS 688086 WITH SCORE 691671.825
AT ITER 1200 NEW BEST:: SOT 9595273 SOS 3585987 HAS SOPS 3585987 HAS SOUS 687975 HAS SOUPS 687975 WITH SCORE 691560.987
AT ITER 1215 NEW BEST:: SOT 9595273 SOS 3585887 HAS SOPS 3585887 HAS SOUS 687975 HAS SOUPS 687975 WITH SCORE 691560.887
AT ITER 1230 NEW BEST:: SOT 9595404 SOS 3586149 HAS SOPS 3586149 HAS SOUS 687879 HAS SOUPS 687879 WITH SCORE 691465.149
AT ITER 1236 NEW BEST:: SOT 9594716 SOS 3585906 HAS SOPS 3585906 HAS SOUS 687171 HAS SOUPS 687171 WITH SCORE 690756.906
AT ITER 1248 NEW BEST:: SOT 9594688 SOS 3585850 HAS SOPS 3585850 HAS SOUS 687072 HAS SOUPS 687072 WITH SCORE 690657.85
AT ITER 1254 NEW BEST:: SOT 9594608 SOS 3585690 HAS SOPS 3585690 HAS SOUS 686192 HAS SOUPS 686192 WITH SCORE 689777.69
AT ITER 1273 NEW BEST:: SOT 9595236 SOS 3585843 HAS SOPS 3585843 HAS SOUS 686031 HAS SOUPS 686031 WITH SCORE 689616.843
AT ITER 1278 NEW BEST:: SOT 9594988 SOS 3585595 HAS SOPS 3585595 HAS SOUS 685783 HAS SOUPS 685783 WITH SCORE 689368.595
AT ITER 1297 NEW BEST:: SOT 9595024 SOS 3586447 HAS SOPS 3586447 HAS SOUS 685771 HAS SOUPS 685771 WITH SCORE 689357.447
AT ITER 1311 NEW BEST:: SOT 9594799 SOS 3585997 HAS SOPS 3585997 HAS SOUS 685616 HAS SOUPS 685616 WITH SCORE 689201.997
AT ITER 1313 NEW BEST:: SOT 9594596 SOS 3585801 HAS SOPS 3585801 HAS SOUS 685420 HAS SOUPS 685420 WITH SCORE 689005.801
AT ITER 1314 NEW BEST:: SOT 9594621 SOS 3586096 HAS SOPS 3586096 HAS SOUS 685321 HAS SOUPS 685321 WITH SCORE 688907.096
AT ITER 1319 NEW BEST:: SOT 9594707 SOS 3586268 HAS SOPS 3586268 HAS SOUS 685149 HAS SOUPS 685149 WITH SCORE 688735.268
AT ITER 1323 NEW BEST:: SOT 9594525 SOS 3585802 HAS SOPS 3585802 HAS SOUS 685069 HAS SOUPS 685069 WITH SCORE 688654.802
AT ITER 1326 NEW BEST:: SOT 9593480 SOS 3585074 HAS SOPS 3585074 HAS SOUS 684599 HAS SOUPS 684599 WITH SCORE 688184.074
AT ITER 1339 NEW BEST:: SOT 9593549 SOS 3585035 HAS SOPS 3585035 HAS SOUS 684536 HAS SOUPS 684536 WITH SCORE 688121.035
AT ITER 1352 NEW BEST:: SOT 9593439 SOS 3584925 HAS SOPS 3584925 HAS SOUS 684536 HAS SOUPS 684536 WITH SCORE 688120.925
AT ITER 1356 NEW BEST:: SOT 9593439 SOS 3584877 HAS SOPS 3584877 HAS SOUS 684488 HAS SOUPS 684488 WITH SCORE 688072.877
AT ITER 1390 NEW BEST:: SOT 9593439 SOS 3584877 HAS SOPS 3584877 HAS SOUS 684468 HAS SOUPS 684468 WITH SCORE 688052.877
AT ITER 1396 NEW BEST:: SOT 9593611 SOS 3585221 HAS SOPS 3585221 HAS SOUS 684424 HAS SOUPS 684424 WITH SCORE 688009.221
AT ITER 1399 NEW BEST:: SOT 9593611 SOS 3585221 HAS SOPS 3585221 HAS SOUS 684412 HAS SOUPS 684412 WITH SCORE 687997.221
AT ITER 1409 NEW BEST:: SOT 9593611 SOS 3594293 HAS SOPS 3594293 HAS SOUS 684306 HAS SOUPS 684306 WITH SCORE 687900.293
AT ITER 1420 NEW BEST:: SOT 9593454 SOS 3593979 HAS SOPS 3593979 HAS SOUS 684176 HAS SOUPS 684176 WITH SCORE 687769.979
AT ITER 1439 NEW BEST:: SOT 9593454 SOS 3593979 HAS SOPS 3593979 HAS SOUS 684175 HAS SOUPS 684175 WITH SCORE 687768.979
AT ITER 1440 NEW BEST:: SOT 9593229 SOS 3593904 HAS SOPS 3593904 HAS SOUS 684025 HAS SOUPS 684025 WITH SCORE 687618.904
AT ITER 1477 NEW BEST:: SOT 9592997 SOS 3593411 HAS SOPS 3593411 HAS SOUS 683583 HAS SOUPS 683583 WITH SCORE 687176.411
AT ITER 1488 NEW BEST:: SOT 9592997 SOS 3593744 HAS SOPS 3593744 HAS SOUS 683494 HAS SOUPS 683494 WITH SCORE 687087.744
AT ITER 1502 NEW BEST:: SOT 9592977 SOS 3593471 HAS SOPS 3593471 HAS SOUS 683160 HAS SOUPS 683160 WITH SCORE 686753.471
AT ITER 1503 NEW BEST:: SOT 9592876 SOS 3594295 HAS SOPS 3594295 HAS SOUS 682945 HAS SOUPS 682945 WITH SCORE 686539.295
AT ITER 1526 NEW BEST:: SOT 9592904 SOS 3594351 HAS SOPS 3594351 HAS SOUS 682796 HAS SOUPS 682796 WITH SCORE 686390.351
AT ITER 1548 NEW BEST:: SOT 9592865 SOS 3594087 HAS SOPS 3594087 HAS SOUS 682718 HAS SOUPS 682718 WITH SCORE 686312.087
AT ITER 1598 NEW BEST:: SOT 9592473 SOS 3593695 HAS SOPS 3593695 HAS SOUS 668118 HAS SOUPS 668118 WITH SCORE 671711.695
AT ITER 1599 NEW BEST:: SOT 9592520 SOS 3593689 HAS SOPS 3593689 HAS SOUS 668112 HAS SOUPS 668112 WITH SCORE 671705.689
AT ITER 1635 NEW BEST:: SOT 9589549 SOS 3591815 HAS SOPS 3591815 HAS SOUS 665268 HAS SOUPS 665268 WITH SCORE 668859.815
AT ITER 1636 NEW BEST:: SOT 9589384 SOS 3591755 HAS SOPS 3591755 HAS SOUS 665215 HAS SOUPS 665215 WITH SCORE 668806.755
AT ITER 1640 NEW BEST:: SOT 9589243 SOS 3591834 HAS SOPS 3591834 HAS SOUS 665129 HAS SOUPS 665129 WITH SCORE 668720.834
AT ITER 1654 NEW BEST:: SOT 9589243 SOS 3591900 HAS SOPS 3591900 HAS SOUS 665105 HAS SOUPS 665105 WITH SCORE 668696.9
AT ITER 1658 NEW BEST:: SOT 9589096 SOS 3591606 HAS SOPS 3591606 HAS SOUS 664811 HAS SOUPS 664811 WITH SCORE 668402.606
AT ITER 1664 NEW BEST:: SOT 9588888 SOS 3591190 HAS SOPS 3591190 HAS SOUS 664360 HAS SOUPS 664360 WITH SCORE 667951.19
AT ITER 1672 NEW BEST:: SOT 9588383 SOS 3590685 HAS SOPS 3590685 HAS SOUS 663855 HAS SOUPS 663855 WITH SCORE 667445.685
AT ITER 1680 NEW BEST:: SOT 9588394 SOS 3590597 HAS SOPS 3590597 HAS SOUS 663844 HAS SOUPS 663844 WITH SCORE 667434.597
AT ITER 1683 NEW BEST:: SOT 9588394 SOS 3590607 HAS SOPS 3590607 HAS SOUS 663693 HAS SOUPS 663693 WITH SCORE 667283.607
AT ITER 1692 NEW BEST:: SOT 9588530 SOS 3590161 HAS SOPS 3590161 HAS SOUS 663558 HAS SOUPS 663558 WITH SCORE 667148.161
AT ITER 1695 NEW BEST:: SOT 9588529 SOS 3590159 HAS SOPS 3590159 HAS SOUS 663556 HAS SOUPS 663556 WITH SCORE 667146.159
AT ITER 1696 NEW BEST:: SOT 9588529 SOS 3590362 HAS SOPS 3590362 HAS SOUS 663552 HAS SOUPS 663552 WITH SCORE 667142.362
AT ITER 1700 NEW BEST:: SOT 9588518 SOS 3590362 HAS SOPS 3590362 HAS SOUS 663541 HAS SOUPS 663541 WITH SCORE 667131.362
AT ITER 1725 NEW BEST:: SOT 9588418 SOS 3590562 HAS SOPS 3590562 HAS SOUS 663441 HAS SOUPS 663441 WITH SCORE 667031.562
AT ITER 1732 NEW BEST:: SOT 9588375 SOS 3590476 HAS SOPS 3590476 HAS SOUS 663355 HAS SOUPS 663355 WITH SCORE 666945.476
AT ITER 1738 NEW BEST:: SOT 9588359 SOS 3590397 HAS SOPS 3590397 HAS SOUS 663246 HAS SOUPS 663246 WITH SCORE 666836.397
AT ITER 1744 NEW BEST:: SOT 9588210 SOS 3590248 HAS SOPS 3590248 HAS SOUS 663245 HAS SOUPS 663245 WITH SCORE 666835.248
AT ITER 1771 NEW BEST:: SOT 9588210 SOS 3590337 HAS SOPS 3590337 HAS SOUS 663106 HAS SOUPS 663106 WITH SCORE 666696.337
AT ITER 1794 NEW BEST:: SOT 9588336 SOS 3590373 HAS SOPS 3590373 HAS SOUS 663029 HAS SOUPS 663029 WITH SCORE 666619.373
AT ITER 1802 NEW BEST:: SOT 9588336 SOS 3590420 HAS SOPS 3590420 HAS SOUS 662994 HAS SOUPS 662994 WITH SCORE 666584.42
AT ITER 1814 NEW BEST:: SOT 9588324 SOS 3590396 HAS SOPS 3590396 HAS SOUS 662976 HAS SOUPS 662976 WITH SCORE 666566.396
AT ITER 1817 NEW BEST:: SOT 9588109 SOS 3590078 HAS SOPS 3590078 HAS SOUS 662970 HAS SOUPS 662970 WITH SCORE 666560.078
AT ITER 1867 NEW BEST:: SOT 9587644 SOS 3589613 HAS SOPS 3589613 HAS SOUS 662505 HAS SOUPS 662505 WITH SCORE 666094.613
AT ITER 1870 NEW BEST:: SOT 9587644 SOS 3589613 HAS SOPS 3589613 HAS SOUS 662346 HAS SOUPS 662346 WITH SCORE 665935.613
AT ITER 1880 NEW BEST:: SOT 9587644 SOS 3589606 HAS SOPS 3589606 HAS SOUS 662327 HAS SOUPS 662327 WITH SCORE 665916.606
AT ITER 1883 NEW BEST:: SOT 9587644 SOS 3589561 HAS SOPS 3589561 HAS SOUS 662327 HAS SOUPS 662327 WITH SCORE 665916.561
AT ITER 1924 NEW BEST:: SOT 9587355 SOS 3588983 HAS SOPS 3588983 HAS SOUS 661915 HAS SOUPS 661915 WITH SCORE 665503.983
AT ITER 1946 NEW BEST:: SOT 9587235 SOS 3588743 HAS SOPS 3588743 HAS SOUS 661675 HAS SOUPS 661675 WITH SCORE 665263.743
AT ITER 1969 NEW BEST:: SOT 9587246 SOS 3588765 HAS SOPS 3588765 HAS SOUS 661349 HAS SOUPS 661349 WITH SCORE 664937.765
AT ITER 1971 NEW BEST:: SOT 9587252 SOS 3588920 HAS SOPS 3588920 HAS SOUS 660908 HAS SOUPS 660908 WITH SCORE 664496.92
AT ITER 1973 NEW BEST:: SOT 9587022 SOS 3588460 HAS SOPS 3588460 HAS SOUS 660448 HAS SOUPS 660448 WITH SCORE 664036.46
AT ITER 1995 NEW BEST:: SOT 9587022 SOS 3588414 HAS SOPS 3588414 HAS SOUS 660425 HAS SOUPS 660425 WITH SCORE 664013.414
AT ITER 2018 NEW BEST:: SOT 9587033 SOS 3588436 HAS SOPS 3588436 HAS SOUS 660281 HAS SOUPS 660281 WITH SCORE 663869.436
AT ITER 2027 NEW BEST:: SOT 9586979 SOS 3588427 HAS SOPS 3588427 HAS SOUS 660227 HAS SOUPS 660227 WITH SCORE 663815.427
AT ITER 2030 NEW BEST:: SOT 9586860 SOS 3588441 HAS SOPS 3588441 HAS SOUS 659856 HAS SOUPS 659856 WITH SCORE 663444.441
AT ITER 2077 NEW BEST:: SOT 9586866 SOS 3588435 HAS SOPS 3588435 HAS SOUS 659850 HAS SOUPS 659850 WITH SCORE 663438.435
AT ITER 2085 NEW BEST:: SOT 9586796 SOS 3588295 HAS SOPS 3588295 HAS SOUS 659710 HAS SOUPS 659710 WITH SCORE 663298.295
AT ITER 2095 NEW BEST:: SOT 9586796 SOS 3588295 HAS SOPS 3588295 HAS SOUS 659709 HAS SOUPS 659709 WITH SCORE 663297.295
AT ITER 2100 NEW BEST:: SOT 9586619 SOS 3588549 HAS SOPS 3588549 HAS SOUS 659607 HAS SOUPS 659607 WITH SCORE 663195.549
AT ITER 2109 NEW BEST:: SOT 9586752 SOS 3588681 HAS SOPS 3588681 HAS SOUS 659605 HAS SOUPS 659605 WITH SCORE 663193.681
AT ITER 2110 NEW BEST:: SOT 9586698 SOS 3588573 HAS SOPS 3588573 HAS SOUS 659497 HAS SOUPS 659497 WITH SCORE 663085.573
AT ITER 2112 NEW BEST:: SOT 9586892 SOS 3655793 HAS SOPS 3655793 HAS SOUS 659305 HAS SOUPS 659305 WITH SCORE 662960.793
AT ITER 2135 NEW BEST:: SOT 9586425 SOS 3655326 HAS SOPS 3655326 HAS SOUS 658709 HAS SOUPS 658709 WITH SCORE 662364.326
AT ITER 2146 NEW BEST:: SOT 9586276 SOS 3655240 HAS SOPS 3655240 HAS SOUS 658454 HAS SOUPS 658454 WITH SCORE 662109.24
AT ITER 2147 NEW BEST:: SOT 9583558 SOS 3656206 HAS SOPS 3656206 HAS SOUS 655972 HAS SOUPS 655972 WITH SCORE 659628.206
AT ITER 2152 NEW BEST:: SOT 9583463 SOS 3656016 HAS SOPS 3656016 HAS SOUS 655782 HAS SOUPS 655782 WITH SCORE 659438.016
AT ITER 2180 NEW BEST:: SOT 9583445 SOS 3656070 HAS SOPS 3656070 HAS SOUS 655740 HAS SOUPS 655740 WITH SCORE 659396.07
AT ITER 2206 NEW BEST:: SOT 9583384 SOS 3655948 HAS SOPS 3655948 HAS SOUS 655716 HAS SOUPS 655716 WITH SCORE 659371.948
AT ITER 2207 NEW BEST:: SOT 9583379 SOS 3655943 HAS SOPS 3655943 HAS SOUS 655711 HAS SOUPS 655711 WITH SCORE 659366.943
AT ITER 2220 NEW BEST:: SOT 9583314 SOS 3655878 HAS SOPS 3655878 HAS SOUS 655646 HAS SOUPS 655646 WITH SCORE 659301.878
AT ITER 2224 NEW BEST:: SOT 9583193 SOS 3655636 HAS SOPS 3655636 HAS SOUS 655501 HAS SOUPS 655501 WITH SCORE 659156.636
AT ITER 2229 NEW BEST:: SOT 9583193 SOS 3655636 HAS SOPS 3655636 HAS SOUS 655416 HAS SOUPS 655416 WITH SCORE 659071.636
AT ITER 2235 NEW BEST:: SOT 9583044 SOS 3655636 HAS SOPS 3655636 HAS SOUS 652883 HAS SOUPS 652883 WITH SCORE 656538.636
AT ITER 2236 NEW BEST:: SOT 9579207 SOS 3651799 HAS SOPS 3651799 HAS SOUS 649045 HAS SOUPS 649045 WITH SCORE 652696.799
AT ITER 2244 NEW BEST:: SOT 9579207 SOS 3651766 HAS SOPS 3651766 HAS SOUS 649000 HAS SOUPS 649000 WITH SCORE 652651.766
AT ITER 2245 NEW BEST:: SOT 9579135 SOS 3651622 HAS SOPS 3651622 HAS SOUS 648928 HAS SOUPS 648928 WITH SCORE 652579.622
AT ITER 2263 NEW BEST:: SOT 9579134 SOS 3651620 HAS SOPS 3651620 HAS SOUS 648926 HAS SOUPS 648926 WITH SCORE 652577.62
AT ITER 2268 NEW BEST:: SOT 9578043 SOS 3661498 HAS SOPS 3661498 HAS SOUS 647747 HAS SOUPS 647747 WITH SCORE 651408.498
AT ITER 2276 NEW BEST:: SOT 9578043 SOS 3661498 HAS SOPS 3661498 HAS SOUS 647595 HAS SOUPS 647595 WITH SCORE 651256.498
AT ITER 2281 NEW BEST:: SOT 9577713 SOS 3661801 HAS SOPS 3661801 HAS SOUS 647544 HAS SOUPS 647544 WITH SCORE 651205.801
AT ITER 2291 NEW BEST:: SOT 9577738 SOS 3662101 HAS SOPS 3662101 HAS SOUS 647447 HAS SOUPS 647447 WITH SCORE 651109.101
AT ITER 2295 NEW BEST:: SOT 9577409 SOS 3662343 HAS SOPS 3662343 HAS SOUS 646788 HAS SOUPS 646788 WITH SCORE 650450.343
AT ITER 2301 NEW BEST:: SOT 9577399 SOS 3662323 HAS SOPS 3662323 HAS SOUS 646778 HAS SOUPS 646778 WITH SCORE 650440.323
AT ITER 2303 NEW BEST:: SOT 9577064 SOS 3662397 HAS SOPS 3662397 HAS SOUS 646519 HAS SOUPS 646519 WITH SCORE 650181.397
AT ITER 2310 NEW BEST:: SOT 9577064 SOS 3662397 HAS SOPS 3662397 HAS SOUS 646518 HAS SOUPS 646518 WITH SCORE 650180.397
AT ITER 2334 NEW BEST:: SOT 9577064 SOS 3661779 HAS SOPS 3661779 HAS SOUS 646312 HAS SOUPS 646312 WITH SCORE 649973.779
AT ITER 2349 NEW BEST:: SOT 9575575 SOS 3661342 HAS SOPS 3661342 HAS SOUS 644944 HAS SOUPS 644944 WITH SCORE 648605.342
AT ITER 2372 NEW BEST:: SOT 9575575 SOS 3661249 HAS SOPS 3661249 HAS SOUS 644944 HAS SOUPS 644944 WITH SCORE 648605.249
AT ITER 2373 NEW BEST:: SOT 9575545 SOS 3661812 HAS SOPS 3661812 HAS SOUS 644914 HAS SOUPS 644914 WITH SCORE 648575.812
AT ITER 2430 NEW BEST:: SOT 9575545 SOS 3661812 HAS SOPS 3661812 HAS SOUS 644758 HAS SOUPS 644758 WITH SCORE 648419.812
AT ITER 2438 NEW BEST:: SOT 9575417 SOS 3662443 HAS SOPS 3662443 HAS SOUS 644740 HAS SOUPS 644740 WITH SCORE 648402.443
AT ITER 2473 NEW BEST:: SOT 9575596 SOS 3662408 HAS SOPS 3662408 HAS SOUS 644640 HAS SOUPS 644640 WITH SCORE 648302.408
AT ITER 2475 NEW BEST:: SOT 9575594 SOS 3662402 HAS SOPS 3662402 HAS SOUS 644638 HAS SOUPS 644638 WITH SCORE 648300.402
AT ITER 2481 NEW BEST:: SOT 9575594 SOS 3662402 HAS SOPS 3662402 HAS SOUS 644637 HAS SOUPS 644637 WITH SCORE 648299.402
AT ITER 2531 NEW BEST:: SOT 9575594 SOS 3662190 HAS SOPS 3662190 HAS SOUS 644570 HAS SOUPS 644570 WITH SCORE 648232.19
AT ITER 2536 NEW BEST:: SOT 9575594 SOS 3411570 HAS SOPS 3411570 HAS SOUS 644656 HAS SOUPS 644656 WITH SCORE 648067.57
AT ITER 2546 NEW BEST:: SOT 9575558 SOS 3411498 HAS SOPS 3411498 HAS SOUS 644584 HAS SOUPS 644584 WITH SCORE 647995.498
AT ITER 2555 NEW BEST:: SOT 9575524 SOS 3411527 HAS SOPS 3411527 HAS SOUS 644566 HAS SOUPS 644566 WITH SCORE 647977.527
AT ITER 2586 NEW BEST:: SOT 9575524 SOS 3411401 HAS SOPS 3411401 HAS SOUS 644371 HAS SOUPS 644371 WITH SCORE 647782.401
AT ITER 2612 NEW BEST:: SOT 9575518 SOS 3411395 HAS SOPS 3411395 HAS SOUS 644365 HAS SOUPS 644365 WITH SCORE 647776.395
AT ITER 2639 NEW BEST:: SOT 9575593 SOS 3410940 HAS SOPS 3410940 HAS SOUS 643675 HAS SOUPS 643675 WITH SCORE 647085.94
AT ITER 2650 NEW BEST:: SOT 9575573 SOS 3410455 HAS SOPS 3410455 HAS SOUS 643648 HAS SOUPS 643648 WITH SCORE 647058.455
AT ITER 2652 NEW BEST:: SOT 9575354 SOS 3410236 HAS SOPS 3410236 HAS SOUS 643459 HAS SOUPS 643459 WITH SCORE 646869.236
AT ITER 2658 NEW BEST:: SOT 9575348 SOS 3410224 HAS SOPS 3410224 HAS SOUS 643453 HAS SOUPS 643453 WITH SCORE 646863.224
AT ITER 2668 NEW BEST:: SOT 9574757 SOS 3409633 HAS SOPS 3409633 HAS SOUS 642665 HAS SOUPS 642665 WITH SCORE 646074.633
AT ITER 2677 NEW BEST:: SOT 9574562 SOS 3409597 HAS SOPS 3409597 HAS SOUS 642549 HAS SOUPS 642549 WITH SCORE 645958.597
AT ITER 2681 NEW BEST:: SOT 9573717 SOS 3409094 HAS SOPS 3409094 HAS SOUS 642076 HAS SOUPS 642076 WITH SCORE 645485.094
AT ITER 2684 NEW BEST:: SOT 9573769 SOS 3409146 HAS SOPS 3409146 HAS SOUS 641958 HAS SOUPS 641958 WITH SCORE 645367.146
AT ITER 2686 NEW BEST:: SOT 9573528 SOS 3408466 HAS SOPS 3408466 HAS SOUS 641958 HAS SOUPS 641958 WITH SCORE 645366.466
AT ITER 2690 NEW BEST:: SOT 9573476 SOS 3408362 HAS SOPS 3408362 HAS SOUS 641854 HAS SOUPS 641854 WITH SCORE 645262.362
AT ITER 2696 NEW BEST:: SOT 9573476 SOS 3408028 HAS SOPS 3408028 HAS SOUS 641835 HAS SOUPS 641835 WITH SCORE 645243.028
AT ITER 2700 NEW BEST:: SOT 9573638 SOS 3409417 HAS SOPS 3409417 HAS SOUS 641684 HAS SOUPS 641684 WITH SCORE 645093.417
AT ITER 2704 NEW BEST:: SOT 9573638 SOS 3409805 HAS SOPS 3409805 HAS SOUS 641658 HAS SOUPS 641658 WITH SCORE 645067.805
AT ITER 2751 NEW BEST:: SOT 9573604 SOS 3409737 HAS SOPS 3409737 HAS SOUS 641562 HAS SOUPS 641562 WITH SCORE 644971.737
AT ITER 2752 NEW BEST:: SOT 9573540 SOS 3410183 HAS SOPS 3410183 HAS SOUS 641496 HAS SOUPS 641496 WITH SCORE 644906.183
AT ITER 2756 NEW BEST:: SOT 9573540 SOS 3410183 HAS SOPS 3410183 HAS SOUS 641324 HAS SOUPS 641324 WITH SCORE 644734.183
AT ITER 2761 NEW BEST:: SOT 9573368 SOS 3410183 HAS SOPS 3410183 HAS SOUS 641066 HAS SOUPS 641066 WITH SCORE 644476.183
AT ITER 2768 NEW BEST:: SOT 9573211 SOS 3410292 HAS SOPS 3410292 HAS SOUS 641034 HAS SOUPS 641034 WITH SCORE 644444.292
AT ITER 2784 NEW BEST:: SOT 9572964 SOS 3409952 HAS SOPS 3409952 HAS SOUS 640791 HAS SOUPS 640791 WITH SCORE 644200.952
AT ITER 2813 NEW BEST:: SOT 9572962 SOS 3409948 HAS SOPS 3409948 HAS SOUS 640787 HAS SOUPS 640787 WITH SCORE 644196.948
AT ITER 2862 NEW BEST:: SOT 9572962 SOS 3410048 HAS SOPS 3410048 HAS SOUS 640737 HAS SOUPS 640737 WITH SCORE 644147.048
AT ITER 2881 NEW BEST:: SOT 9572944 SOS 3409986 HAS SOPS 3409986 HAS SOUS 640675 HAS SOUPS 640675 WITH SCORE 644084.986
AT ITER 2884 NEW BEST:: SOT 9572850 SOS 3410018 HAS SOPS 3410018 HAS SOUS 640644 HAS SOUPS 640644 WITH SCORE 644054.018
AT ITER 2892 NEW BEST:: SOT 9572764 SOS 3410430 HAS SOPS 3410430 HAS SOUS 640443 HAS SOUPS 640443 WITH SCORE 643853.43
AT ITER 2893 NEW BEST:: SOT 9572266 SOS 3409932 HAS SOPS 3409932 HAS SOUS 639945 HAS SOUPS 639945 WITH SCORE 643354.932
AT ITER 2894 NEW BEST:: SOT 9572006 SOS 3410038 HAS SOPS 3410038 HAS SOUS 639800 HAS SOUPS 639800 WITH SCORE 643210.038
AT ITER 2899 NEW BEST:: SOT 9572006 SOS 3415269 HAS SOPS 3415269 HAS SOUS 639793 HAS SOUPS 639793 WITH SCORE 643208.269
AT ITER 2901 NEW BEST:: SOT 9572005 SOS 3415267 HAS SOPS 3415267 HAS SOUS 639791 HAS SOUPS 639791 WITH SCORE 643206.267
AT ITER 2914 NEW BEST:: SOT 9572043 SOS 3414814 HAS SOPS 3414814 HAS SOUS 639481 HAS SOUPS 639481 WITH SCORE 642895.814
AT ITER 2921 NEW BEST:: SOT 9571137 SOS 3422418 HAS SOPS 3422418 HAS SOUS 639287 HAS SOUPS 639287 WITH SCORE 642709.418
AT ITER 2936 NEW BEST:: SOT 9571111 SOS 3422392 HAS SOPS 3422392 HAS SOUS 639260 HAS SOUPS 639260 WITH SCORE 642682.392
AT ITER 2941 NEW BEST:: SOT 9571070 SOS 3422634 HAS SOPS 3422634 HAS SOUS 639178 HAS SOUPS 639178 WITH SCORE 642600.634
AT ITER 2942 NEW BEST:: SOT 9570885 SOS 3423032 HAS SOPS 3423032 HAS SOUS 638993 HAS SOUPS 638993 WITH SCORE 642416.032
AT ITER 2955 NEW BEST:: SOT 9570658 SOS 3390243 HAS SOPS 3390243 HAS SOUS 638803 HAS SOUPS 638803 WITH SCORE 642193.243
AT ITER 2966 NEW BEST:: SOT 9560632 SOS 3379937 HAS SOPS 3379937 HAS SOUS 635825 HAS SOUPS 635825 WITH SCORE 639204.937
AT ITER 2974 NEW BEST:: SOT 9560631 SOS 3379936 HAS SOPS 3379936 HAS SOUS 635824 HAS SOUPS 635824 WITH SCORE 639203.936
AT ITER 2987 NEW BEST:: SOT 9560631 SOS 3379876 HAS SOPS 3379876 HAS SOUS 635824 HAS SOUPS 635824 WITH SCORE 639203.876
AT ITER 2999 NEW BEST:: SOT 9560538 SOS 3379876 HAS SOPS 3379876 HAS SOUS 635823 HAS SOUPS 635823 WITH SCORE 639202.876
AT ITER 3010 NEW BEST:: SOT 9560538 SOS 3379876 HAS SOPS 3379876 HAS SOUS 635391 HAS SOUPS 635391 WITH SCORE 638770.876
AT ITER 3027 NEW BEST:: SOT 9560538 SOS 3379761 HAS SOPS 3379761 HAS SOUS 635390 HAS SOUPS 635390 WITH SCORE 638769.761
AT ITER 3028 NEW BEST:: SOT 9560460 SOS 3379605 HAS SOPS 3379605 HAS SOUS 635261 HAS SOUPS 635261 WITH SCORE 638640.605
AT ITER 3030 NEW BEST:: SOT 9560422 SOS 3379510 HAS SOPS 3379510 HAS SOUS 635204 HAS SOUPS 635204 WITH SCORE 638583.51
AT ITER 3036 NEW BEST:: SOT 9560427 SOS 3379515 HAS SOPS 3379515 HAS SOUS 635178 HAS SOUPS 635178 WITH SCORE 638557.515
AT ITER 3049 NEW BEST:: SOT 9560427 SOS 3379476 HAS SOPS 3379476 HAS SOUS 635139 HAS SOUPS 635139 WITH SCORE 638518.476
AT ITER 3050 NEW BEST:: SOT 9560427 SOS 3379469 HAS SOPS 3379469 HAS SOUS 635139 HAS SOUPS 635139 WITH SCORE 638518.469
AT ITER 3067 NEW BEST:: SOT 9560427 SOS 3379433 HAS SOPS 3379433 HAS SOUS 635139 HAS SOUPS 635139 WITH SCORE 638518.433
AT ITER 3086 NEW BEST:: SOT 9560422 SOS 3379586 HAS SOPS 3379586 HAS SOUS 635042 HAS SOUPS 635042 WITH SCORE 638421.586
AT ITER 3092 NEW BEST:: SOT 9560441 SOS 3379624 HAS SOPS 3379624 HAS SOUS 635008 HAS SOUPS 635008 WITH SCORE 638387.624
AT ITER 3110 NEW BEST:: SOT 9560002 SOS 3379690 HAS SOPS 3379690 HAS SOUS 634626 HAS SOUPS 634626 WITH SCORE 638005.69
AT ITER 3127 NEW BEST:: SOT 9559894 SOS 3379582 HAS SOPS 3379582 HAS SOUS 634410 HAS SOUPS 634410 WITH SCORE 637789.582
AT ITER 3131 NEW BEST:: SOT 9559894 SOS 3379664 HAS SOPS 3379664 HAS SOUS 634407 HAS SOUPS 634407 WITH SCORE 637786.664
AT ITER 3133 NEW BEST:: SOT 9559894 SOS 3379664 HAS SOPS 3379664 HAS SOUS 634164 HAS SOUPS 634164 WITH SCORE 637543.664
AT ITER 3143 NEW BEST:: SOT 9559894 SOS 3379641 HAS SOPS 3379641 HAS SOUS 634141 HAS SOUPS 634141 WITH SCORE 637520.641
AT ITER 3150 NEW BEST:: SOT 9559894 SOS 3379596 HAS SOPS 3379596 HAS SOUS 634141 HAS SOUPS 634141 WITH SCORE 637520.596
AT ITER 3157 NEW BEST:: SOT 9560068 SOS 3379754 HAS SOPS 3379754 HAS SOUS 634116 HAS SOUPS 634116 WITH SCORE 637495.754
AT ITER 3161 NEW BEST:: SOT 9559956 SOS 3379821 HAS SOPS 3379821 HAS SOUS 624195 HAS SOUPS 624195 WITH SCORE 627574.821
AT ITER 3163 NEW BEST:: SOT 9559536 SOS 3380727 HAS SOPS 3380727 HAS SOUS 624159 HAS SOUPS 624159 WITH SCORE 627539.727
AT ITER 3165 NEW BEST:: SOT 9559506 SOS 3380667 HAS SOPS 3380667 HAS SOUS 624099 HAS SOUPS 624099 WITH SCORE 627479.667
AT ITER 3181 NEW BEST:: SOT 9559506 SOS 3380363 HAS SOPS 3380363 HAS SOUS 623816 HAS SOUPS 623816 WITH SCORE 627196.363
AT ITER 3220 NEW BEST:: SOT 9559500 SOS 3380352 HAS SOPS 3380352 HAS SOUS 623805 HAS SOUPS 623805 WITH SCORE 627185.352
AT ITER 3229 NEW BEST:: SOT 9559250 SOS 3379852 HAS SOPS 3379852 HAS SOUS 623660 HAS SOUPS 623660 WITH SCORE 627039.852
AT ITER 3230 NEW BEST:: SOT 9559250 SOS 3379781 HAS SOPS 3379781 HAS SOUS 623613 HAS SOUPS 623613 WITH SCORE 626992.781
AT ITER 3244 NEW BEST:: SOT 9559117 SOS 3379515 HAS SOPS 3379515 HAS SOUS 623347 HAS SOUPS 623347 WITH SCORE 626726.515
AT ITER 3262 NEW BEST:: SOT 9558786 SOS 3378853 HAS SOPS 3378853 HAS SOUS 622960 HAS SOUPS 622960 WITH SCORE 626338.853
AT ITER 3265 NEW BEST:: SOT 9558624 SOS 3378851 HAS SOPS 3378851 HAS SOUS 622934 HAS SOUPS 622934 WITH SCORE 626312.851
AT ITER 3271 NEW BEST:: SOT 9558624 SOS 3378782 HAS SOPS 3378782 HAS SOUS 622865 HAS SOUPS 622865 WITH SCORE 626243.782
AT ITER 3279 NEW BEST:: SOT 9558624 SOS 3378895 HAS SOPS 3378895 HAS SOUS 622816 HAS SOUPS 622816 WITH SCORE 626194.895
AT ITER 3312 NEW BEST:: SOT 9558624 SOS 3378895 HAS SOPS 3378895 HAS SOUS 622757 HAS SOUPS 622757 WITH SCORE 626135.895
AT ITER 3317 NEW BEST:: SOT 9558323 SOS 3378675 HAS SOPS 3378675 HAS SOUS 622506 HAS SOUPS 622506 WITH SCORE 625884.675
AT ITER 3323 NEW BEST:: SOT 9558261 SOS 3378551 HAS SOPS 3378551 HAS SOUS 622382 HAS SOUPS 622382 WITH SCORE 625760.551
AT ITER 3331 NEW BEST:: SOT 9558243 SOS 3378533 HAS SOPS 3378533 HAS SOUS 622364 HAS SOUPS 622364 WITH SCORE 625742.533
AT ITER 3335 NEW BEST:: SOT 9558215 SOS 3378519 HAS SOPS 3378519 HAS SOUS 622364 HAS SOUPS 622364 WITH SCORE 625742.519
AT ITER 3342 NEW BEST:: SOT 9558215 SOS 3378519 HAS SOPS 3378519 HAS SOUS 622352 HAS SOUPS 622352 WITH SCORE 625730.519
AT ITER 3359 NEW BEST:: SOT 9557509 SOS 3392628 HAS SOPS 3392628 HAS SOUS 621939 HAS SOUPS 621939 WITH SCORE 625331.628
AT ITER 3369 NEW BEST:: SOT 9557459 SOS 3392528 HAS SOPS 3392528 HAS SOUS 621888 HAS SOUPS 621888 WITH SCORE 625280.528
AT ITER 3377 NEW BEST:: SOT 9557436 SOS 3392482 HAS SOPS 3392482 HAS SOUS 621842 HAS SOUPS 621842 WITH SCORE 625234.482
AT ITER 3382 NEW BEST:: SOT 9557298 SOS 3393664 HAS SOPS 3393664 HAS SOUS 621756 HAS SOUPS 621756 WITH SCORE 625149.664
AT ITER 3408 NEW BEST:: SOT 9557426 SOS 3394234 HAS SOPS 3394234 HAS SOUS 621698 HAS SOUPS 621698 WITH SCORE 625092.234
AT ITER 3456 NEW BEST:: SOT 9557298 SOS 3394106 HAS SOPS 3394106 HAS SOUS 621570 HAS SOUPS 621570 WITH SCORE 624964.106
AT ITER 3469 NEW BEST:: SOT 9557139 SOS 3393562 HAS SOPS 3393562 HAS SOUS 621106 HAS SOUPS 621106 WITH SCORE 624499.562
AT ITER 3483 NEW BEST:: SOT 9557139 SOS 3393448 HAS SOPS 3393448 HAS SOUS 620992 HAS SOUPS 620992 WITH SCORE 624385.448
AT ITER 3488 NEW BEST:: SOT 9557027 SOS 3393448 HAS SOPS 3393448 HAS SOUS 620936 HAS SOUPS 620936 WITH SCORE 624329.448
AT ITER 3491 NEW BEST:: SOT 9556741 SOS 3393448 HAS SOPS 3393448 HAS SOUS 618164 HAS SOUPS 618164 WITH SCORE 621557.448
AT ITER 3499 NEW BEST:: SOT 9556715 SOS 3393808 HAS SOPS 3393808 HAS SOUS 617617 HAS SOUPS 617617 WITH SCORE 621010.808
AT ITER 3504 NEW BEST:: SOT 9556719 SOS 3393816 HAS SOPS 3393816 HAS SOUS 617389 HAS SOUPS 617389 WITH SCORE 620782.816
AT ITER 3510 NEW BEST:: SOT 9556782 SOS 3393942 HAS SOPS 3393942 HAS SOUS 617263 HAS SOUPS 617263 WITH SCORE 620656.942
AT ITER 3520 NEW BEST:: SOT 9556720 SOS 3393644 HAS SOPS 3393644 HAS SOUS 616965 HAS SOUPS 616965 WITH SCORE 620358.644
AT ITER 3524 NEW BEST:: SOT 9556720 SOS 3393457 HAS SOPS 3393457 HAS SOUS 616894 HAS SOUPS 616894 WITH SCORE 620287.457
AT ITER 3549 NEW BEST:: SOT 9556608 SOS 3393233 HAS SOPS 3393233 HAS SOUS 616728 HAS SOUPS 616728 WITH SCORE 620121.233
AT ITER 3575 NEW BEST:: SOT 9556578 SOS 3393173 HAS SOPS 3393173 HAS SOUS 616565 HAS SOUPS 616565 WITH SCORE 619958.173
AT ITER 3576 NEW BEST:: SOT 9556514 SOS 3393074 HAS SOPS 3393074 HAS SOUS 616539 HAS SOUPS 616539 WITH SCORE 619932.074
AT ITER 3583 NEW BEST:: SOT 9556514 SOS 3393074 HAS SOPS 3393074 HAS SOUS 616527 HAS SOUPS 616527 WITH SCORE 619920.074
AT ITER 3605 NEW BEST:: SOT 9556453 SOS 3392891 HAS SOPS 3392891 HAS SOUS 616405 HAS SOUPS 616405 WITH SCORE 619797.891
AT ITER 3607 NEW BEST:: SOT 9556453 SOS 3392876 HAS SOPS 3392876 HAS SOUS 616390 HAS SOUPS 616390 WITH SCORE 619782.876
AT ITER 3610 NEW BEST:: SOT 9556240 SOS 3391904 HAS SOPS 3391904 HAS SOUS 616343 HAS SOUPS 616343 WITH SCORE 619734.904
AT ITER 3611 NEW BEST:: SOT 9556334 SOS 3392280 HAS SOPS 3392280 HAS SOUS 616326 HAS SOUPS 616326 WITH SCORE 619718.28
AT ITER 3627 NEW BEST:: SOT 9556190 SOS 3391992 HAS SOPS 3391992 HAS SOUS 616182 HAS SOUPS 616182 WITH SCORE 619573.992
AT ITER 3635 NEW BEST:: SOT 9556190 SOS 3391974 HAS SOPS 3391974 HAS SOUS 616144 HAS SOUPS 616144 WITH SCORE 619535.974
AT ITER 3646 NEW BEST:: SOT 9556169 SOS 3391974 HAS SOPS 3391974 HAS SOUS 616122 HAS SOUPS 616122 WITH SCORE 619513.974
AT ITER 3647 NEW BEST:: SOT 9555981 SOS 3391598 HAS SOPS 3391598 HAS SOUS 615924 HAS SOUPS 615924 WITH SCORE 619315.598
AT ITER 3660 NEW BEST:: SOT 9555823 SOS 3391610 HAS SOPS 3391610 HAS SOUS 615772 HAS SOUPS 615772 WITH SCORE 619163.61
AT ITER 3670 NEW BEST:: SOT 9555793 SOS 3391550 HAS SOPS 3391550 HAS SOUS 615522 HAS SOUPS 615522 WITH SCORE 618913.55
AT ITER 3690 NEW BEST:: SOT 9555733 SOS 3391370 HAS SOPS 3391370 HAS SOUS 615462 HAS SOUPS 615462 WITH SCORE 618853.37
AT ITER 3702 NEW BEST:: SOT 9555743 SOS 3391390 HAS SOPS 3391390 HAS SOUS 615453 HAS SOUPS 615453 WITH SCORE 618844.39
AT ITER 3703 NEW BEST:: SOT 9555945 SOS 3391634 HAS SOPS 3391634 HAS SOUS 615383 HAS SOUPS 615383 WITH SCORE 618774.634
AT ITER 3707 NEW BEST:: SOT 9555848 SOS 3391538 HAS SOPS 3391538 HAS SOUS 615287 HAS SOUPS 615287 WITH SCORE 618678.538
AT ITER 3722 NEW BEST:: SOT 9556094 SOS 3391707 HAS SOPS 3391707 HAS SOUS 615256 HAS SOUPS 615256 WITH SCORE 618647.707
AT ITER 3759 NEW BEST:: SOT 9555466 SOS 3392355 HAS SOPS 3392355 HAS SOUS 615034 HAS SOUPS 615034 WITH SCORE 618426.355
AT ITER 3761 NEW BEST:: SOT 9555260 SOS 3391969 HAS SOPS 3391969 HAS SOUS 614732 HAS SOUPS 614732 WITH SCORE 618123.969
AT ITER 3770 NEW BEST:: SOT 9555260 SOS 3391969 HAS SOPS 3391969 HAS SOUS 614557 HAS SOUPS 614557 WITH SCORE 617948.969
AT ITER 3772 NEW BEST:: SOT 9555141 SOS 3391612 HAS SOPS 3391612 HAS SOUS 614319 HAS SOUPS 614319 WITH SCORE 617710.612
AT ITER 3788 NEW BEST:: SOT 9555125 SOS 3391580 HAS SOPS 3391580 HAS SOUS 614287 HAS SOUPS 614287 WITH SCORE 617678.58
AT ITER 3789 NEW BEST:: SOT 9554966 SOS 3391421 HAS SOPS 3391421 HAS SOUS 614285 HAS SOUPS 614285 WITH SCORE 617676.421
AT ITER 3807 NEW BEST:: SOT 9554966 SOS 3391392 HAS SOPS 3391392 HAS SOUS 614245 HAS SOUPS 614245 WITH SCORE 617636.392
AT ITER 3824 NEW BEST:: SOT 9554966 SOS 3391392 HAS SOPS 3391392 HAS SOUS 614132 HAS SOUPS 614132 WITH SCORE 617523.392
AT ITER 3839 NEW BEST:: SOT 9554889 SOS 3391238 HAS SOPS 3391238 HAS SOUS 614055 HAS SOUPS 614055 WITH SCORE 617446.238
AT ITER 3863 NEW BEST:: SOT 9554870 SOS 3391656 HAS SOPS 3391656 HAS SOUS 614017 HAS SOUPS 614017 WITH SCORE 617408.656
AT ITER 3874 NEW BEST:: SOT 9554642 SOS 3391428 HAS SOPS 3391428 HAS SOUS 613789 HAS SOUPS 613789 WITH SCORE 617180.428
AT ITER 3878 NEW BEST:: SOT 9554642 SOS 3391427 HAS SOPS 3391427 HAS SOUS 613788 HAS SOUPS 613788 WITH SCORE 617179.427
AT ITER 3882 NEW BEST:: SOT 9554642 SOS 3391369 HAS SOPS 3391369 HAS SOUS 613730 HAS SOUPS 613730 WITH SCORE 617121.369
AT ITER 3885 NEW BEST:: SOT 9554571 SOS 3391227 HAS SOPS 3391227 HAS SOUS 613588 HAS SOUPS 613588 WITH SCORE 616979.227
AT ITER 3887 NEW BEST:: SOT 9554449 SOS 3390760 HAS SOPS 3390760 HAS SOUS 613288 HAS SOUPS 613288 WITH SCORE 616678.76
AT ITER 3894 NEW BEST:: SOT 9554577 SOS 3390935 HAS SOPS 3390935 HAS SOUS 613174 HAS SOUPS 613174 WITH SCORE 616564.935
AT ITER 3941 NEW BEST:: SOT 9554577 SOS 3390935 HAS SOPS 3390935 HAS SOUS 613088 HAS SOUPS 613088 WITH SCORE 616478.935
AT ITER 3943 NEW BEST:: SOT 9554577 SOS 3391079 HAS SOPS 3391079 HAS SOUS 613062 HAS SOUPS 613062 WITH SCORE 616453.079
AT ITER 3954 NEW BEST:: SOT 9554461 SOS 3391058 HAS SOPS 3391058 HAS SOUS 612982 HAS SOUPS 612982 WITH SCORE 616373.058
AT ITER 3962 NEW BEST:: SOT 9554147 SOS 3394351 HAS SOPS 3394351 HAS SOUS 612804 HAS SOUPS 612804 WITH SCORE 616198.351
AT ITER 3967 NEW BEST:: SOT 9554053 SOS 3394090 HAS SOPS 3394090 HAS SOUS 612543 HAS SOUPS 612543 WITH SCORE 615937.09
AT ITER 3982 NEW BEST:: SOT 9554248 SOS 3394480 HAS SOPS 3394480 HAS SOUS 612328 HAS SOUPS 612328 WITH SCORE 615722.48
AT ITER 3995 NEW BEST:: SOT 9554240 SOS 3394464 HAS SOPS 3394464 HAS SOUS 612165 HAS SOUPS 612165 WITH SCORE 615559.464
AT ITER 4013 NEW BEST:: SOT 9554240 SOS 3394383 HAS SOPS 3394383 HAS SOUS 612084 HAS SOUPS 612084 WITH SCORE 615478.383
AT ITER 4014 NEW BEST:: SOT 9554186 SOS 3394275 HAS SOPS 3394275 HAS SOUS 611976 HAS SOUPS 611976 WITH SCORE 615370.275
AT ITER 4015 NEW BEST:: SOT 9554130 SOS 3394163 HAS SOPS 3394163 HAS SOUS 611920 HAS SOUPS 611920 WITH SCORE 615314.163
AT ITER 4018 NEW BEST:: SOT 9553848 SOS 3394139 HAS SOPS 3394139 HAS SOUS 611746 HAS SOUPS 611746 WITH SCORE 615140.139
AT ITER 4023 NEW BEST:: SOT 9553738 SOS 3393919 HAS SOPS 3393919 HAS SOUS 611597 HAS SOUPS 611597 WITH SCORE 614990.919
AT ITER 4025 NEW BEST:: SOT 9553668 SOS 3393817 HAS SOPS 3393817 HAS SOUS 611495 HAS SOUPS 611495 WITH SCORE 614888.817
AT ITER 4026 NEW BEST:: SOT 9553439 SOS 3393794 HAS SOPS 3393794 HAS SOUS 611281 HAS SOUPS 611281 WITH SCORE 614674.794
AT ITER 4032 NEW BEST:: SOT 9553393 SOS 3393360 HAS SOPS 3393360 HAS SOUS 611235 HAS SOUPS 611235 WITH SCORE 614628.36
AT ITER 4041 NEW BEST:: SOT 9553350 SOS 3393274 HAS SOPS 3393274 HAS SOUS 611192 HAS SOUPS 611192 WITH SCORE 614585.274
AT ITER 4052 NEW BEST:: SOT 9553179 SOS 3393046 HAS SOPS 3393046 HAS SOUS 610964 HAS SOUPS 610964 WITH SCORE 614357.046
AT ITER 4058 NEW BEST:: SOT 9553123 SOS 3392951 HAS SOPS 3392951 HAS SOUS 610869 HAS SOUPS 610869 WITH SCORE 614261.951
AT ITER 4077 NEW BEST:: SOT 9552285 SOS 3392635 HAS SOPS 3392635 HAS SOUS 610465 HAS SOUPS 610465 WITH SCORE 613857.635
AT ITER 4082 NEW BEST:: SOT 9552265 SOS 3392437 HAS SOPS 3392437 HAS SOUS 610445 HAS SOUPS 610445 WITH SCORE 613837.437
AT ITER 4091 NEW BEST:: SOT 9552130 SOS 3392413 HAS SOPS 3392413 HAS SOUS 610351 HAS SOUPS 610351 WITH SCORE 613743.413
AT ITER 4097 NEW BEST:: SOT 9552130 SOS 3392413 HAS SOPS 3392413 HAS SOUS 610282 HAS SOUPS 610282 WITH SCORE 613674.413
AT ITER 4098 NEW BEST:: SOT 9551903 SOS 3391959 HAS SOPS 3391959 HAS SOUS 610135 HAS SOUPS 610135 WITH SCORE 613526.959
AT ITER 4119 NEW BEST:: SOT 9551840 SOS 3391833 HAS SOPS 3391833 HAS SOUS 610072 HAS SOUPS 610072 WITH SCORE 613463.833
AT ITER 4123 NEW BEST:: SOT 9551714 SOS 3391581 HAS SOPS 3391581 HAS SOUS 609820 HAS SOUPS 609820 WITH SCORE 613211.581
AT ITER 4177 NEW BEST:: SOT 9551687 SOS 3391567 HAS SOPS 3391567 HAS SOUS 609793 HAS SOUPS 609793 WITH SCORE 613184.567
AT ITER 4180 NEW BEST:: SOT 9551513 SOS 3391219 HAS SOPS 3391219 HAS SOUS 609682 HAS SOUPS 609682 WITH SCORE 613073.219
AT ITER 4191 NEW BEST:: SOT 9551126 SOS 3391195 HAS SOPS 3391195 HAS SOUS 609295 HAS SOUPS 609295 WITH SCORE 612686.195
AT ITER 4193 NEW BEST:: SOT 9551102 SOS 3391147 HAS SOPS 3391147 HAS SOUS 609247 HAS SOUPS 609247 WITH SCORE 612638.147
AT ITER 4205 NEW BEST:: SOT 9551101 SOS 3391145 HAS SOPS 3391145 HAS SOUS 609245 HAS SOUPS 609245 WITH SCORE 612636.145
AT ITER 4226 NEW BEST:: SOT 9550965 SOS 3390873 HAS SOPS 3390873 HAS SOUS 608973 HAS SOUPS 608973 WITH SCORE 612363.873
AT ITER 4237 NEW BEST:: SOT 9551269 SOS 3391177 HAS SOPS 3391177 HAS SOUS 608955 HAS SOUPS 608955 WITH SCORE 612346.177
AT ITER 4243 NEW BEST:: SOT 9551098 SOS 3390697 HAS SOPS 3390697 HAS SOUS 608714 HAS SOUPS 608714 WITH SCORE 612104.697
AT ITER 4262 NEW BEST:: SOT 9551033 SOS 3390567 HAS SOPS 3390567 HAS SOUS 608584 HAS SOUPS 608584 WITH SCORE 611974.567
AT ITER 4264 NEW BEST:: SOT 9550933 SOS 3390565 HAS SOPS 3390565 HAS SOUS 608582 HAS SOUPS 608582 WITH SCORE 611972.565
AT ITER 4272 NEW BEST:: SOT 9550767 SOS 3390233 HAS SOPS 3390233 HAS SOUS 608447 HAS SOUPS 608447 WITH SCORE 611837.233
AT ITER 4274 NEW BEST:: SOT 9550721 SOS 3390187 HAS SOPS 3390187 HAS SOUS 608447 HAS SOUPS 608447 WITH SCORE 611837.187
AT ITER 4286 NEW BEST:: SOT 9550723 SOS 3390191 HAS SOPS 3390191 HAS SOUS 608388 HAS SOUPS 608388 WITH SCORE 611778.191
AT ITER 4324 NEW BEST:: SOT 9550723 SOS 3390186 HAS SOPS 3390186 HAS SOUS 608274 HAS SOUPS 608274 WITH SCORE 611664.186
AT ITER 4341 NEW BEST:: SOT 9550723 SOS 3389841 HAS SOPS 3389841 HAS SOUS 608064 HAS SOUPS 608064 WITH SCORE 611453.841
AT ITER 4362 NEW BEST:: SOT 9550723 SOS 3389742 HAS SOPS 3389742 HAS SOUS 608064 HAS SOUPS 608064 WITH SCORE 611453.742
AT ITER 4363 NEW BEST:: SOT 9550723 SOS 3389550 HAS SOPS 3389550 HAS SOUS 608064 HAS SOUPS 608064 WITH SCORE 611453.55
AT ITER 4391 NEW BEST:: SOT 9550595 SOS 3389161 HAS SOPS 3389161 HAS SOUS 607808 HAS SOUPS 607808 WITH SCORE 611197.161
AT ITER 4397 NEW BEST:: SOT 9550123 SOS 3390625 HAS SOPS 3390625 HAS SOUS 607637 HAS SOUPS 607637 WITH SCORE 611027.625
AT ITER 4403 NEW BEST:: SOT 9550122 SOS 3390623 HAS SOPS 3390623 HAS SOUS 607635 HAS SOUPS 607635 WITH SCORE 611025.623
AT ITER 4416 NEW BEST:: SOT 9550179 SOS 3390737 HAS SOPS 3390737 HAS SOUS 607529 HAS SOUPS 607529 WITH SCORE 610919.737
AT ITER 4429 NEW BEST:: SOT 9550454 SOS 3390737 HAS SOPS 3390737 HAS SOUS 607527 HAS SOUPS 607527 WITH SCORE 610917.737
AT ITER 4438 NEW BEST:: SOT 9550397 SOS 3273944 HAS SOPS 3273944 HAS SOUS 607413 HAS SOUPS 607413 WITH SCORE 610686.944
AT ITER 4440 NEW BEST:: SOT 9548368 SOS 3304647 HAS SOPS 3304647 HAS SOUS 607092 HAS SOUPS 607092 WITH SCORE 610396.647
AT ITER 4458 NEW BEST:: SOT 9548317 SOS 3304545 HAS SOPS 3304545 HAS SOUS 606990 HAS SOUPS 606990 WITH SCORE 610294.545
AT ITER 4463 NEW BEST:: SOT 9548277 SOS 3304465 HAS SOPS 3304465 HAS SOUS 606910 HAS SOUPS 606910 WITH SCORE 610214.465
AT ITER 4475 NEW BEST:: SOT 9547980 SOS 3304098 HAS SOPS 3304098 HAS SOUS 606543 HAS SOUPS 606543 WITH SCORE 609847.098
AT ITER 4513 NEW BEST:: SOT 9546504 SOS 3304028 HAS SOPS 3304028 HAS SOUS 605198 HAS SOUPS 605198 WITH SCORE 608502.028
AT ITER 4531 NEW BEST:: SOT 9546504 SOS 3304028 HAS SOPS 3304028 HAS SOUS 605197 HAS SOUPS 605197 WITH SCORE 608501.028
AT ITER 4546 NEW BEST:: SOT 9547172 SOS 3304427 HAS SOPS 3304427 HAS SOUS 605144 HAS SOUPS 605144 WITH SCORE 608448.427
AT ITER 4566 NEW BEST:: SOT 9547283 SOS 3304649 HAS SOPS 3304649 HAS SOUS 605100 HAS SOUPS 605100 WITH SCORE 608404.649
AT ITER 4573 NEW BEST:: SOT 9547258 SOS 3304599 HAS SOPS 3304599 HAS SOUS 605050 HAS SOUPS 605050 WITH SCORE 608354.599
AT ITER 4579 NEW BEST:: SOT 9547259 SOS 3304596 HAS SOPS 3304596 HAS SOUS 605047 HAS SOUPS 605047 WITH SCORE 608351.596
AT ITER 4583 NEW BEST:: SOT 9547259 SOS 3304380 HAS SOPS 3304380 HAS SOUS 604961 HAS SOUPS 604961 WITH SCORE 608265.38
AT ITER 4585 NEW BEST:: SOT 9547259 SOS 3304380 HAS SOPS 3304380 HAS SOUS 604898 HAS SOUPS 604898 WITH SCORE 608202.38
AT ITER 4610 NEW BEST:: SOT 9547259 SOS 3304438 HAS SOPS 3304438 HAS SOUS 604840 HAS SOUPS 604840 WITH SCORE 608144.438
AT ITER 4621 NEW BEST:: SOT 9547100 SOS 3304660 HAS SOPS 3304660 HAS SOUS 603294 HAS SOUPS 603294 WITH SCORE 606598.66
AT ITER 4623 NEW BEST:: SOT 9547099 SOS 3304658 HAS SOPS 3304658 HAS SOUS 603292 HAS SOUPS 603292 WITH SCORE 606596.658
AT ITER 4714 NEW BEST:: SOT 9546858 SOS 3304427 HAS SOPS 3304427 HAS SOUS 603204 HAS SOUPS 603204 WITH SCORE 606508.427
AT ITER 4750 NEW BEST:: SOT 9546858 SOS 3304349 HAS SOPS 3304349 HAS SOUS 603204 HAS SOUPS 603204 WITH SCORE 606508.349
AT ITER 4752 NEW BEST:: SOT 9546670 SOS 3304040 HAS SOPS 3304040 HAS SOUS 602963 HAS SOUPS 602963 WITH SCORE 606267.04
AT ITER 4770 NEW BEST:: SOT 9546669 SOS 3304038 HAS SOPS 3304038 HAS SOUS 602961 HAS SOUPS 602961 WITH SCORE 606265.038
AT ITER 4778 NEW BEST:: SOT 9546066 SOS 3303870 HAS SOPS 3303870 HAS SOUS 602806 HAS SOUPS 602806 WITH SCORE 606109.87
AT ITER 4783 NEW BEST:: SOT 9546042 SOS 3303846 HAS SOPS 3303846 HAS SOUS 602782 HAS SOUPS 602782 WITH SCORE 606085.846
AT ITER 4793 NEW BEST:: SOT 9546128 SOS 3303760 HAS SOPS 3303760 HAS SOUS 602782 HAS SOUPS 602782 WITH SCORE 606085.76
AT ITER 4837 NEW BEST:: SOT 9546131 SOS 3303735 HAS SOPS 3303735 HAS SOUS 602757 HAS SOUPS 602757 WITH SCORE 606060.735
AT ITER 4842 NEW BEST:: SOT 9545955 SOS 3303629 HAS SOPS 3303629 HAS SOUS 602622 HAS SOUPS 602622 WITH SCORE 605925.629
AT ITER 4847 NEW BEST:: SOT 9545955 SOS 3303615 HAS SOPS 3303615 HAS SOUS 602622 HAS SOUPS 602622 WITH SCORE 605925.615
AT ITER 4853 NEW BEST:: SOT 9545941 SOS 3303601 HAS SOPS 3303601 HAS SOUS 602536 HAS SOUPS 602536 WITH SCORE 605839.601
AT ITER 4890 NEW BEST:: SOT 9545913 SOS 3303545 HAS SOPS 3303545 HAS SOUS 602480 HAS SOUPS 602480 WITH SCORE 605783.545
AT ITER 4914 NEW BEST:: SOT 9545862 SOS 3303443 HAS SOPS 3303443 HAS SOUS 602378 HAS SOUPS 602378 WITH SCORE 605681.443
AT ITER 4916 NEW BEST:: SOT 9545985 SOS 3303582 HAS SOPS 3303582 HAS SOUS 602367 HAS SOUPS 602367 WITH SCORE 605670.582
AT ITER 4942 NEW BEST:: SOT 9546012 SOS 3303636 HAS SOPS 3303636 HAS SOUS 602339 HAS SOUPS 602339 WITH SCORE 605642.636
AT ITER 4950 NEW BEST:: SOT 9545970 SOS 3303888 HAS SOPS 3303888 HAS SOUS 602318 HAS SOUPS 602318 WITH SCORE 605621.888
AT ITER 4960 NEW BEST:: SOT 9545947 SOS 3303844 HAS SOPS 3303844 HAS SOUS 602295 HAS SOUPS 602295 WITH SCORE 605598.844
AT ITER 4961 NEW BEST:: SOT 9545947 SOS 3303914 HAS SOPS 3303914 HAS SOUS 602291 HAS SOUPS 602291 WITH SCORE 605594.914
AT ITER 4963 NEW BEST:: SOT 9545946 SOS 3303902 HAS SOPS 3303902 HAS SOUS 602281 HAS SOUPS 602281 WITH SCORE 605584.902
AT ITER 4967 NEW BEST:: SOT 9545817 SOS 3303644 HAS SOPS 3303644 HAS SOUS 602211 HAS SOUPS 602211 WITH SCORE 605514.644
AT ITER 4970 NEW BEST:: SOT 9545726 SOS 3303462 HAS SOPS 3303462 HAS SOUS 601913 HAS SOUPS 601913 WITH SCORE 605216.462
AT ITER 4974 NEW BEST:: SOT 9545726 SOS 3303462 HAS SOPS 3303462 HAS SOUS 601745 HAS SOUPS 601745 WITH SCORE 605048.462
AT ITER 4984 NEW BEST:: SOT 9545762 SOS 3303275 HAS SOPS 3303275 HAS SOUS 601635 HAS SOUPS 601635 WITH SCORE 604938.275
AT ITER 4986 NEW BEST:: SOT 9545590 SOS 3303591 HAS SOPS 3303591 HAS SOUS 601481 HAS SOUPS 601481 WITH SCORE 604784.591
AT ITER 4987 NEW BEST:: SOT 9545567 SOS 3303568 HAS SOPS 3303568 HAS SOUS 601453 HAS SOUPS 601453 WITH SCORE 604756.568
AT ITER 5010 NEW BEST:: SOT 9545571 SOS 3303553 HAS SOPS 3303553 HAS SOUS 601438 HAS SOUPS 601438 WITH SCORE 604741.553
AT ITER 5018 NEW BEST:: SOT 9545347 SOS 3303577 HAS SOPS 3303577 HAS SOUS 601221 HAS SOUPS 601221 WITH SCORE 604524.577
AT ITER 5044 NEW BEST:: SOT 9545265 SOS 3303495 HAS SOPS 3303495 HAS SOUS 601186 HAS SOUPS 601186 WITH SCORE 604489.495
AT ITER 5055 NEW BEST:: SOT 9545253 SOS 3303471 HAS SOPS 3303471 HAS SOUS 601173 HAS SOUPS 601173 WITH SCORE 604476.471
AT ITER 5070 NEW BEST:: SOT 9544999 SOS 3302941 HAS SOPS 3302941 HAS SOUS 600643 HAS SOUPS 600643 WITH SCORE 603945.941
AT ITER 5078 NEW BEST:: SOT 9545023 SOS 3302782 HAS SOPS 3302782 HAS SOUS 600003 HAS SOUPS 600003 WITH SCORE 603305.782
AT ITER 5083 NEW BEST:: SOT 9544984 SOS 3302704 HAS SOPS 3302704 HAS SOUS 599964 HAS SOUPS 599964 WITH SCORE 603266.704
AT ITER 5101 NEW BEST:: SOT 9544919 SOS 3302574 HAS SOPS 3302574 HAS SOUS 599784 HAS SOUPS 599784 WITH SCORE 603086.574
AT ITER 5112 NEW BEST:: SOT 9544881 SOS 3302612 HAS SOPS 3302612 HAS SOUS 599746 HAS SOUPS 599746 WITH SCORE 603048.612
AT ITER 5143 NEW BEST:: SOT 9544795 SOS 3302407 HAS SOPS 3302407 HAS SOUS 599541 HAS SOUPS 599541 WITH SCORE 602843.407
AT ITER 5146 NEW BEST:: SOT 9544850 SOS 3302517 HAS SOPS 3302517 HAS SOUS 599513 HAS SOUPS 599513 WITH SCORE 602815.517
AT ITER 5149 NEW BEST:: SOT 9544837 SOS 3302491 HAS SOPS 3302491 HAS SOUS 599500 HAS SOUPS 599500 WITH SCORE 602802.491
AT ITER 5156 NEW BEST:: SOT 9544779 SOS 3302375 HAS SOPS 3302375 HAS SOUS 599370 HAS SOUPS 599370 WITH SCORE 602672.375
AT ITER 5160 NEW BEST:: SOT 9544779 SOS 3302375 HAS SOPS 3302375 HAS SOUS 599302 HAS SOUPS 599302 WITH SCORE 602604.375
AT ITER 5187 NEW BEST:: SOT 9544779 SOS 3302375 HAS SOPS 3302375 HAS SOUS 599299 HAS SOUPS 599299 WITH SCORE 602601.375
AT ITER 5188 NEW BEST:: SOT 9544671 SOS 3302285 HAS SOPS 3302285 HAS SOUS 599209 HAS SOUPS 599209 WITH SCORE 602511.285
AT ITER 5194 NEW BEST:: SOT 9544642 SOS 3302227 HAS SOPS 3302227 HAS SOUS 599180 HAS SOUPS 599180 WITH SCORE 602482.227
AT ITER 5214 NEW BEST:: SOT 9544490 SOS 3301923 HAS SOPS 3301923 HAS SOUS 598952 HAS SOUPS 598952 WITH SCORE 602253.923
AT ITER 5226 NEW BEST:: SOT 9544490 SOS 3301923 HAS SOPS 3301923 HAS SOUS 598582 HAS SOUPS 598582 WITH SCORE 601883.923
AT ITER 5228 NEW BEST:: SOT 9544417 SOS 3301883 HAS SOPS 3301883 HAS SOUS 598509 HAS SOUPS 598509 WITH SCORE 601810.883
AT ITER 5244 NEW BEST:: SOT 9544470 SOS 3301989 HAS SOPS 3301989 HAS SOUS 598419 HAS SOUPS 598419 WITH SCORE 601720.989
AT ITER 5250 NEW BEST:: SOT 9544470 SOS 3301989 HAS SOPS 3301989 HAS SOUS 598350 HAS SOUPS 598350 WITH SCORE 601651.989
AT ITER 5268 NEW BEST:: SOT 9544470 SOS 3301989 HAS SOPS 3301989 HAS SOUS 598254 HAS SOUPS 598254 WITH SCORE 601555.989
AT ITER 5274 NEW BEST:: SOT 9544179 SOS 3301616 HAS SOPS 3301616 HAS SOUS 598118 HAS SOUPS 598118 WITH SCORE 601419.616
AT ITER 5276 NEW BEST:: SOT 9544179 SOS 3301616 HAS SOPS 3301616 HAS SOUS 598043 HAS SOUPS 598043 WITH SCORE 601344.616
AT ITER 5286 NEW BEST:: SOT 9544265 SOS 3301788 HAS SOPS 3301788 HAS SOUS 597994 HAS SOUPS 597994 WITH SCORE 601295.788
AT ITER 5289 NEW BEST:: SOT 9544108 SOS 3302062 HAS SOPS 3302062 HAS SOUS 597974 HAS SOUPS 597974 WITH SCORE 601276.062
AT ITER 5291 NEW BEST:: SOT 9544108 SOS 3302062 HAS SOPS 3302062 HAS SOUS 597854 HAS SOUPS 597854 WITH SCORE 601156.062
AT ITER 5300 NEW BEST:: SOT 9544059 SOS 3302132 HAS SOPS 3302132 HAS SOUS 597678 HAS SOUPS 597678 WITH SCORE 600980.132
AT ITER 5335 NEW BEST:: SOT 9544059 SOS 3302053 HAS SOPS 3302053 HAS SOUS 597599 HAS SOUPS 597599 WITH SCORE 600901.053
AT ITER 5352 NEW BEST:: SOT 9543910 SOS 3301802 HAS SOPS 3301802 HAS SOUS 597348 HAS SOUPS 597348 WITH SCORE 600649.802
AT ITER 5353 NEW BEST:: SOT 9543961 SOS 3302241 HAS SOPS 3302241 HAS SOUS 597281 HAS SOUPS 597281 WITH SCORE 600583.241
AT ITER 5368 NEW BEST:: SOT 9543566 SOS 3302049 HAS SOPS 3302049 HAS SOUS 596813 HAS SOUPS 596813 WITH SCORE 600115.049
AT ITER 5387 NEW BEST:: SOT 9543566 SOS 3302049 HAS SOPS 3302049 HAS SOUS 596762 HAS SOUPS 596762 WITH SCORE 600064.049
AT ITER 5388 NEW BEST:: SOT 9543566 SOS 3302197 HAS SOPS 3302197 HAS SOUS 596570 HAS SOUPS 596570 WITH SCORE 599872.197
AT ITER 5390 NEW BEST:: SOT 9543566 SOS 3301849 HAS SOPS 3301849 HAS SOUS 596533 HAS SOUPS 596533 WITH SCORE 599834.849
AT ITER 5391 NEW BEST:: SOT 9543184 SOS 3301189 HAS SOPS 3301189 HAS SOUS 596348 HAS SOUPS 596348 WITH SCORE 599649.189
AT ITER 5415 NEW BEST:: SOT 9543047 SOS 3301287 HAS SOPS 3301287 HAS SOUS 596263 HAS SOUPS 596263 WITH SCORE 599564.287
AT ITER 5423 NEW BEST:: SOT 9543099 SOS 3301203 HAS SOPS 3301203 HAS SOUS 596179 HAS SOUPS 596179 WITH SCORE 599480.203
AT ITER 5433 NEW BEST:: SOT 9542703 SOS 3304351 HAS SOPS 3304351 HAS SOUS 596015 HAS SOUPS 596015 WITH SCORE 599319.351
AT ITER 5437 NEW BEST:: SOT 9542637 SOS 3307009 HAS SOPS 3307009 HAS SOUS 595957 HAS SOUPS 595957 WITH SCORE 599264.009
AT ITER 5443 NEW BEST:: SOT 9542829 SOS 3307393 HAS SOPS 3307393 HAS SOUS 595902 HAS SOUPS 595902 WITH SCORE 599209.393
AT ITER 5455 NEW BEST:: SOT 9542716 SOS 3307552 HAS SOPS 3307552 HAS SOUS 595866 HAS SOUPS 595866 WITH SCORE 599173.552
AT ITER 5457 NEW BEST:: SOT 9542833 SOS 3307623 HAS SOPS 3307623 HAS SOUS 595790 HAS SOUPS 595790 WITH SCORE 599097.623
AT ITER 5459 NEW BEST:: SOT 9542833 SOS 3306957 HAS SOPS 3306957 HAS SOUS 595790 HAS SOUPS 595790 WITH SCORE 599096.957
AT ITER 5486 NEW BEST:: SOT 9542833 SOS 3307007 HAS SOPS 3307007 HAS SOUS 595595 HAS SOUPS 595595 WITH SCORE 598902.007
AT ITER 5490 NEW BEST:: SOT 9542833 SOS 3306884 HAS SOPS 3306884 HAS SOUS 595595 HAS SOUPS 595595 WITH SCORE 598901.884
AT ITER 5496 NEW BEST:: SOT 9542833 SOS 3306884 HAS SOPS 3306884 HAS SOUS 595551 HAS SOUPS 595551 WITH SCORE 598857.884
AT ITER 5501 NEW BEST:: SOT 9542608 SOS 3307106 HAS SOPS 3307106 HAS SOUS 595549 HAS SOUPS 595549 WITH SCORE 598856.106
AT ITER 5520 NEW BEST:: SOT 9542456 SOS 3306668 HAS SOPS 3306668 HAS SOUS 595401 HAS SOUPS 595401 WITH SCORE 598707.668
AT ITER 5530 NEW BEST:: SOT 9542338 SOS 3306570 HAS SOPS 3306570 HAS SOUS 595283 HAS SOUPS 595283 WITH SCORE 598589.57
AT ITER 5534 NEW BEST:: SOT 9542337 SOS 3306568 HAS SOPS 3306568 HAS SOUS 595281 HAS SOUPS 595281 WITH SCORE 598587.568
AT ITER 5541 NEW BEST:: SOT 9542285 SOS 3306404 HAS SOPS 3306404 HAS SOUS 594903 HAS SOUPS 594903 WITH SCORE 598209.404
AT ITER 5546 NEW BEST:: SOT 9542278 SOS 3306397 HAS SOPS 3306397 HAS SOUS 594903 HAS SOUPS 594903 WITH SCORE 598209.397
AT ITER 5554 NEW BEST:: SOT 9542232 SOS 3306305 HAS SOPS 3306305 HAS SOUS 581371 HAS SOUPS 581371 WITH SCORE 584677.305
AT ITER 5566 NEW BEST:: SOT 9542232 SOS 3305883 HAS SOPS 3305883 HAS SOUS 581371 HAS SOUPS 581371 WITH SCORE 584676.883
AT ITER 5569 NEW BEST:: SOT 9541968 SOS 3305965 HAS SOPS 3305965 HAS SOUS 581161 HAS SOUPS 581161 WITH SCORE 584466.965
AT ITER 5577 NEW BEST:: SOT 9541968 SOS 3305965 HAS SOPS 3305965 HAS SOUS 581094 HAS SOUPS 581094 WITH SCORE 584399.965
AT ITER 5585 NEW BEST:: SOT 9541852 SOS 3305733 HAS SOPS 3305733 HAS SOUS 580445 HAS SOUPS 580445 WITH SCORE 583750.733
AT ITER 5590 NEW BEST:: SOT 9541852 SOS 3305508 HAS SOPS 3305508 HAS SOUS 580445 HAS SOUPS 580445 WITH SCORE 583750.508
AT ITER 5606 NEW BEST:: SOT 9541862 SOS 3305528 HAS SOPS 3305528 HAS SOUS 580409 HAS SOUPS 580409 WITH SCORE 583714.528
AT ITER 5611 NEW BEST:: SOT 9541709 SOS 3307049 HAS SOPS 3307049 HAS SOUS 580343 HAS SOUPS 580343 WITH SCORE 583650.049
AT ITER 5613 NEW BEST:: SOT 9541728 SOS 3307101 HAS SOPS 3307101 HAS SOUS 580257 HAS SOUPS 580257 WITH SCORE 583564.101
AT ITER 5620 NEW BEST:: SOT 9541718 SOS 3307603 HAS SOPS 3307603 HAS SOUS 580237 HAS SOUPS 580237 WITH SCORE 583544.603
AT ITER 5652 NEW BEST:: SOT 9541707 SOS 3307581 HAS SOPS 3307581 HAS SOUS 580226 HAS SOUPS 580226 WITH SCORE 583533.581
AT ITER 5676 NEW BEST:: SOT 9541707 SOS 3307581 HAS SOPS 3307581 HAS SOUS 580133 HAS SOUPS 580133 WITH SCORE 583440.581
AT ITER 5713 NEW BEST:: SOT 9541542 SOS 3307288 HAS SOPS 3307288 HAS SOUS 579927 HAS SOUPS 579927 WITH SCORE 583234.288
AT ITER 5716 NEW BEST:: SOT 9541876 SOS 3307658 HAS SOPS 3307658 HAS SOUS 579922 HAS SOUPS 579922 WITH SCORE 583229.658
AT ITER 5720 NEW BEST:: SOT 9541690 SOS 3307286 HAS SOPS 3307286 HAS SOUS 579735 HAS SOUPS 579735 WITH SCORE 583042.286
AT ITER 5730 NEW BEST:: SOT 9541690 SOS 3307286 HAS SOPS 3307286 HAS SOUS 579723 HAS SOUPS 579723 WITH SCORE 583030.286
AT ITER 5744 NEW BEST:: SOT 9541538 SOS 3306982 HAS SOPS 3306982 HAS SOUS 579570 HAS SOUPS 579570 WITH SCORE 582876.982
AT ITER 5774 NEW BEST:: SOT 9541032 SOS 3306638 HAS SOPS 3306638 HAS SOUS 579064 HAS SOUPS 579064 WITH SCORE 582370.638
AT ITER 5784 NEW BEST:: SOT 9540387 SOS 3340272 HAS SOPS 3340272 HAS SOUS 579004 HAS SOUPS 579004 WITH SCORE 582344.272
AT ITER 5803 NEW BEST:: SOT 9540316 SOS 3340130 HAS SOPS 3340130 HAS SOUS 578862 HAS SOUPS 578862 WITH SCORE 582202.13
AT ITER 5831 NEW BEST:: SOT 9540316 SOS 3340130 HAS SOPS 3340130 HAS SOUS 578849 HAS SOUPS 578849 WITH SCORE 582189.13
AT ITER 5841 NEW BEST:: SOT 9540278 SOS 3340054 HAS SOPS 3340054 HAS SOUS 578809 HAS SOUPS 578809 WITH SCORE 582149.054
AT ITER 5848 NEW BEST:: SOT 9538992 SOS 3340716 HAS SOPS 3340716 HAS SOUS 577708 HAS SOUPS 577708 WITH SCORE 581048.716
AT ITER 5850 NEW BEST:: SOT 9538892 SOS 3338852 HAS SOPS 3338852 HAS SOUS 577460 HAS SOUPS 577460 WITH SCORE 580798.852
AT ITER 5884 NEW BEST:: SOT 9539021 SOS 3338978 HAS SOPS 3338978 HAS SOUS 577370 HAS SOUPS 577370 WITH SCORE 580708.978
AT ITER 5900 NEW BEST:: SOT 9539021 SOS 3338978 HAS SOPS 3338978 HAS SOUS 577343 HAS SOUPS 577343 WITH SCORE 580681.978
AT ITER 5901 NEW BEST:: SOT 9539061 SOS 3339058 HAS SOPS 3339058 HAS SOUS 577341 HAS SOUPS 577341 WITH SCORE 580680.058
AT ITER 5918 NEW BEST:: SOT 9538911 SOS 3338975 HAS SOPS 3338975 HAS SOUS 577258 HAS SOUPS 577258 WITH SCORE 580596.975
AT ITER 5928 NEW BEST:: SOT 9538741 SOS 3339033 HAS SOPS 3339033 HAS SOUS 577098 HAS SOUPS 577098 WITH SCORE 580437.033
AT ITER 5943 NEW BEST:: SOT 9538621 SOS 3338566 HAS SOPS 3338566 HAS SOUS 576626 HAS SOUPS 576626 WITH SCORE 579964.566
AT ITER 5960 NEW BEST:: SOT 9538620 SOS 3338564 HAS SOPS 3338564 HAS SOUS 576624 HAS SOUPS 576624 WITH SCORE 579962.564
AT ITER 5962 NEW BEST:: SOT 9538280 SOS 3338487 HAS SOPS 3338487 HAS SOUS 576346 HAS SOUPS 576346 WITH SCORE 579684.487
AT ITER 5966 NEW BEST:: SOT 9538160 SOS 3338247 HAS SOPS 3338247 HAS SOUS 576125 HAS SOUPS 576125 WITH SCORE 579463.247
AT ITER 5981 NEW BEST:: SOT 9538160 SOS 3337964 HAS SOPS 3337964 HAS SOUS 576125 HAS SOUPS 576125 WITH SCORE 579462.964
AT ITER 5987 NEW BEST:: SOT 9538148 SOS 3337919 HAS SOPS 3337919 HAS SOUS 576113 HAS SOUPS 576113 WITH SCORE 579450.919
AT ITER 6069 NEW BEST:: SOT 9538099 SOS 3337821 HAS SOPS 3337821 HAS SOUS 576015 HAS SOUPS 576015 WITH SCORE 579352.821
AT ITER 6074 NEW BEST:: SOT 9538584 SOS 3338791 HAS SOPS 3338791 HAS SOUS 575930 HAS SOUPS 575930 WITH SCORE 579268.791
AT ITER 6092 NEW BEST:: SOT 9538584 SOS 3338773 HAS SOPS 3338773 HAS SOUS 575912 HAS SOUPS 575912 WITH SCORE 579250.773
AT ITER 6106 NEW BEST:: SOT 9538584 SOS 3338773 HAS SOPS 3338773 HAS SOUS 575828 HAS SOUPS 575828 WITH SCORE 579166.773
AT ITER 6117 NEW BEST:: SOT 9538515 SOS 3338911 HAS SOPS 3338911 HAS SOUS 575759 HAS SOUPS 575759 WITH SCORE 579097.911
AT ITER 6118 NEW BEST:: SOT 9538515 SOS 3338717 HAS SOPS 3338717 HAS SOUS 575565 HAS SOUPS 575565 WITH SCORE 578903.717
AT ITER 6121 NEW BEST:: SOT 9538588 SOS 3338644 HAS SOPS 3338644 HAS SOUS 575565 HAS SOUPS 575565 WITH SCORE 578903.644
AT ITER 6127 NEW BEST:: SOT 9538537 SOS 3338542 HAS SOPS 3338542 HAS SOUS 575475 HAS SOUPS 575475 WITH SCORE 578813.542
AT ITER 6144 NEW BEST:: SOT 9538140 SOS 3342561 HAS SOPS 3342561 HAS SOUS 575056 HAS SOUPS 575056 WITH SCORE 578398.561
AT ITER 6158 NEW BEST:: SOT 9538140 SOS 3342433 HAS SOPS 3342433 HAS SOUS 575056 HAS SOUPS 575056 WITH SCORE 578398.433
AT ITER 6168 NEW BEST:: SOT 9538078 SOS 3342557 HAS SOPS 3342557 HAS SOUS 574994 HAS SOUPS 574994 WITH SCORE 578336.557
AT ITER 6188 NEW BEST:: SOT 9538400 SOS 3343201 HAS SOPS 3343201 HAS SOUS 574939 HAS SOUPS 574939 WITH SCORE 578282.201
AT ITER 6214 NEW BEST:: SOT 9538496 SOS 3342957 HAS SOPS 3342957 HAS SOUS 574695 HAS SOUPS 574695 WITH SCORE 578037.957
AT ITER 6244 NEW BEST:: SOT 9538517 SOS 3343270 HAS SOPS 3343270 HAS SOUS 574637 HAS SOUPS 574637 WITH SCORE 577980.27
AT ITER 6276 NEW BEST:: SOT 9538025 SOS 3343786 HAS SOPS 3343786 HAS SOUS 574263 HAS SOUPS 574263 WITH SCORE 577606.786
AT ITER 6280 NEW BEST:: SOT 9537911 SOS 3343558 HAS SOPS 3343558 HAS SOUS 574035 HAS SOUPS 574035 WITH SCORE 577378.558
AT ITER 6293 NEW BEST:: SOT 9537911 SOS 3343357 HAS SOPS 3343357 HAS SOUS 573834 HAS SOUPS 573834 WITH SCORE 577177.357
AT ITER 6319 NEW BEST:: SOT 9537911 SOS 3343356 HAS SOPS 3343356 HAS SOUS 573832 HAS SOUPS 573832 WITH SCORE 577175.356
AT ITER 6335 NEW BEST:: SOT 9537801 SOS 3343136 HAS SOPS 3343136 HAS SOUS 573612 HAS SOUPS 573612 WITH SCORE 576955.136
AT ITER 6337 NEW BEST:: SOT 9537798 SOS 3343130 HAS SOPS 3343130 HAS SOUS 573606 HAS SOUPS 573606 WITH SCORE 576949.13
AT ITER 6345 NEW BEST:: SOT 9537672 SOS 3342878 HAS SOPS 3342878 HAS SOUS 573567 HAS SOUPS 573567 WITH SCORE 576909.878
AT ITER 6363 NEW BEST:: SOT 9537826 SOS 3342990 HAS SOPS 3342990 HAS SOUS 573483 HAS SOUPS 573483 WITH SCORE 576825.99
AT ITER 6364 NEW BEST:: SOT 9537826 SOS 3342977 HAS SOPS 3342977 HAS SOUS 573483 HAS SOUPS 573483 WITH SCORE 576825.977
AT ITER 6408 NEW BEST:: SOT 9537731 SOS 3342882 HAS SOPS 3342882 HAS SOUS 573388 HAS SOUPS 573388 WITH SCORE 576730.882
AT ITER 6432 NEW BEST:: SOT 9537766 SOS 3342931 HAS SOPS 3342931 HAS SOUS 573384 HAS SOUPS 573384 WITH SCORE 576726.931
AT ITER 6467 NEW BEST:: SOT 9537711 SOS 3342821 HAS SOPS 3342821 HAS SOUS 573329 HAS SOUPS 573329 WITH SCORE 576671.821
AT ITER 6490 NEW BEST:: SOT 9537710 SOS 3342819 HAS SOPS 3342819 HAS SOUS 573327 HAS SOUPS 573327 WITH SCORE 576669.819
AT ITER 6496 NEW BEST:: SOT 9537744 SOS 3343322 HAS SOPS 3343322 HAS SOUS 573259 HAS SOUPS 573259 WITH SCORE 576602.322
AT ITER 6511 NEW BEST:: SOT 9537677 SOS 3344014 HAS SOPS 3344014 HAS SOUS 573098 HAS SOUPS 573098 WITH SCORE 576442.014
AT ITER 6520 NEW BEST:: SOT 9537677 SOS 3344260 HAS SOPS 3344260 HAS SOUS 573011 HAS SOUPS 573011 WITH SCORE 576355.26
AT ITER 6552 NEW BEST:: SOT 9537181 SOS 3343610 HAS SOPS 3343610 HAS SOUS 572611 HAS SOUPS 572611 WITH SCORE 575954.61
AT ITER 6582 NEW BEST:: SOT 9537135 SOS 3343518 HAS SOPS 3343518 HAS SOUS 572519 HAS SOUPS 572519 WITH SCORE 575862.518
AT ITER 6587 NEW BEST:: SOT 9537067 SOS 3343382 HAS SOPS 3343382 HAS SOUS 572383 HAS SOUPS 572383 WITH SCORE 575726.382
AT ITER 6601 NEW BEST:: SOT 9537325 SOS 3343613 HAS SOPS 3343613 HAS SOUS 572359 HAS SOUPS 572359 WITH SCORE 575702.613
AT ITER 6608 NEW BEST:: SOT 9537229 SOS 3343563 HAS SOPS 3343563 HAS SOUS 572215 HAS SOUPS 572215 WITH SCORE 575558.563
AT ITER 6649 NEW BEST:: SOT 9537118 SOS 3343557 HAS SOPS 3343557 HAS SOUS 571899 HAS SOUPS 571899 WITH SCORE 575242.557
AT ITER 6654 NEW BEST:: SOT 9537044 SOS 3343631 HAS SOPS 3343631 HAS SOUS 571825 HAS SOUPS 571825 WITH SCORE 575168.631
AT ITER 6656 NEW BEST:: SOT 9537044 SOS 3343579 HAS SOPS 3343579 HAS SOUS 571721 HAS SOUPS 571721 WITH SCORE 575064.579
AT ITER 6692 NEW BEST:: SOT 9537138 SOS 3343767 HAS SOPS 3343767 HAS SOUS 571432 HAS SOUPS 571432 WITH SCORE 574775.767
AT ITER 6697 NEW BEST:: SOT 9536981 SOS 3343453 HAS SOPS 3343453 HAS SOUS 571249 HAS SOUPS 571249 WITH SCORE 574592.453
AT ITER 6698 NEW BEST:: SOT 9536978 SOS 3343213 HAS SOPS 3343213 HAS SOUS 571246 HAS SOUPS 571246 WITH SCORE 574589.213
AT ITER 6745 NEW BEST:: SOT 9537208 SOS 3343199 HAS SOPS 3343199 HAS SOUS 571245 HAS SOUPS 571245 WITH SCORE 574588.199
AT ITER 6780 NEW BEST:: SOT 9537305 SOS 3343393 HAS SOPS 3343393 HAS SOUS 571017 HAS SOUPS 571017 WITH SCORE 574360.393
AT ITER 6782 NEW BEST:: SOT 9536916 SOS 3344799 HAS SOPS 3344799 HAS SOUS 570992 HAS SOUPS 570992 WITH SCORE 574336.799
AT ITER 6847 NEW BEST:: SOT 9536892 SOS 3344751 HAS SOPS 3344751 HAS SOUS 570944 HAS SOUPS 570944 WITH SCORE 574288.751
AT ITER 6854 NEW BEST:: SOT 9536851 SOS 3344597 HAS SOPS 3344597 HAS SOUS 570790 HAS SOUPS 570790 WITH SCORE 574134.597
AT ITER 6857 NEW BEST:: SOT 9536852 SOS 3344458 HAS SOPS 3344458 HAS SOUS 570744 HAS SOUPS 570744 WITH SCORE 574088.458
AT ITER 6858 NEW BEST:: SOT 9536620 SOS 3344357 HAS SOPS 3344357 HAS SOUS 570512 HAS SOUPS 570512 WITH SCORE 573856.357
AT ITER 6876 NEW BEST:: SOT 9536601 SOS 3344371 HAS SOPS 3344371 HAS SOUS 570474 HAS SOUPS 570474 WITH SCORE 573818.371
AT ITER 6880 NEW BEST:: SOT 9536601 SOS 3344341 HAS SOPS 3344341 HAS SOUS 570444 HAS SOUPS 570444 WITH SCORE 573788.341
AT ITER 6901 NEW BEST:: SOT 9536601 SOS 3344341 HAS SOPS 3344341 HAS SOUS 570432 HAS SOUPS 570432 WITH SCORE 573776.341
AT ITER 6904 NEW BEST:: SOT 9536387 SOS 3346695 HAS SOPS 3346695 HAS SOUS 570218 HAS SOUPS 570218 WITH SCORE 573564.695
AT ITER 6933 NEW BEST:: SOT 9536329 SOS 3346579 HAS SOPS 3346579 HAS SOUS 570164 HAS SOUPS 570164 WITH SCORE 573510.579
AT ITER 6940 NEW BEST:: SOT 9536314 SOS 3346549 HAS SOPS 3346549 HAS SOUS 570134 HAS SOUPS 570134 WITH SCORE 573480.549
AT ITER 6952 NEW BEST:: SOT 9536360 SOS 3346641 HAS SOPS 3346641 HAS SOUS 569862 HAS SOUPS 569862 WITH SCORE 573208.641
AT ITER 6966 NEW BEST:: SOT 9535921 SOS 3347131 HAS SOPS 3347131 HAS SOUS 569594 HAS SOUPS 569594 WITH SCORE 572941.131
AT ITER 6988 NEW BEST:: SOT 9535860 SOS 3347009 HAS SOPS 3347009 HAS SOUS 569472 HAS SOUPS 569472 WITH SCORE 572819.009
AT ITER 6989 NEW BEST:: SOT 9535851 SOS 3346991 HAS SOPS 3346991 HAS SOUS 569454 HAS SOUPS 569454 WITH SCORE 572800.991
AT ITER 6992 NEW BEST:: SOT 9535620 SOS 3347453 HAS SOPS 3347453 HAS SOUS 569223 HAS SOUPS 569223 WITH SCORE 572570.453
AT ITER 6993 NEW BEST:: SOT 9535237 SOS 3347306 HAS SOPS 3347306 HAS SOUS 569066 HAS SOUPS 569066 WITH SCORE 572413.306
AT ITER 7002 NEW BEST:: SOT 9535233 SOS 3347433 HAS SOPS 3347433 HAS SOUS 568935 HAS SOUPS 568935 WITH SCORE 572282.433
AT ITER 7024 NEW BEST:: SOT 9535098 SOS 3347298 HAS SOPS 3347298 HAS SOUS 568598 HAS SOUPS 568598 WITH SCORE 571945.298
AT ITER 7026 NEW BEST:: SOT 9535051 SOS 3347204 HAS SOPS 3347204 HAS SOUS 568518 HAS SOUPS 568518 WITH SCORE 571865.204
AT ITER 7038 NEW BEST:: SOT 9534891 SOS 3346884 HAS SOPS 3346884 HAS SOUS 568190 HAS SOUPS 568190 WITH SCORE 571536.884
AT ITER 7039 NEW BEST:: SOT 9534749 SOS 3346751 HAS SOPS 3346751 HAS SOUS 567901 HAS SOUPS 567901 WITH SCORE 571247.751
AT ITER 7062 NEW BEST:: SOT 9534776 SOS 3346481 HAS SOPS 3346481 HAS SOUS 567631 HAS SOUPS 567631 WITH SCORE 570977.481
AT ITER 7063 NEW BEST:: SOT 9534811 SOS 3346941 HAS SOPS 3346941 HAS SOUS 567623 HAS SOUPS 567623 WITH SCORE 570969.941
AT ITER 7108 NEW BEST:: SOT 9534811 SOS 3347169 HAS SOPS 3347169 HAS SOUS 567585 HAS SOUPS 567585 WITH SCORE 570932.169
AT ITER 7112 NEW BEST:: SOT 9534811 SOS 3347166 HAS SOPS 3347166 HAS SOUS 567579 HAS SOUPS 567579 WITH SCORE 570926.166
AT ITER 7125 NEW BEST:: SOT 9534743 SOS 3347030 HAS SOPS 3347030 HAS SOUS 567443 HAS SOUPS 567443 WITH SCORE 570790.03
AT ITER 7136 NEW BEST:: SOT 9534049 SOS 3345822 HAS SOPS 3345822 HAS SOUS 566621 HAS SOUPS 566621 WITH SCORE 569966.822
AT ITER 7152 NEW BEST:: SOT 9534000 SOS 3345724 HAS SOPS 3345724 HAS SOUS 566621 HAS SOUPS 566621 WITH SCORE 569966.724
AT ITER 7164 NEW BEST:: SOT 9534000 SOS 3345724 HAS SOPS 3345724 HAS SOUS 566606 HAS SOUPS 566606 WITH SCORE 569951.724
AT ITER 7175 NEW BEST:: SOT 9533995 SOS 3345714 HAS SOPS 3345714 HAS SOUS 566447 HAS SOUPS 566447 WITH SCORE 569792.714
AT ITER 7195 NEW BEST:: SOT 9533819 SOS 3345468 HAS SOPS 3345468 HAS SOUS 566307 HAS SOUPS 566307 WITH SCORE 569652.468
AT ITER 7196 NEW BEST:: SOT 9533753 SOS 3345402 HAS SOPS 3345402 HAS SOUS 566241 HAS SOUPS 566241 WITH SCORE 569586.402
AT ITER 7201 NEW BEST:: SOT 9533745 SOS 3345386 HAS SOPS 3345386 HAS SOUS 566225 HAS SOUPS 566225 WITH SCORE 569570.386
AT ITER 7207 NEW BEST:: SOT 9531799 SOS 3343562 HAS SOPS 3343562 HAS SOUS 564974 HAS SOUPS 564974 WITH SCORE 568317.562
AT ITER 7211 NEW BEST:: SOT 9531789 SOS 3343504 HAS SOPS 3343504 HAS SOUS 564954 HAS SOUPS 564954 WITH SCORE 568297.504
AT ITER 7213 NEW BEST:: SOT 9531788 SOS 3343502 HAS SOPS 3343502 HAS SOUS 564952 HAS SOUPS 564952 WITH SCORE 568295.502
AT ITER 7215 NEW BEST:: SOT 9531748 SOS 3343422 HAS SOPS 3343422 HAS SOUS 564872 HAS SOUPS 564872 WITH SCORE 568215.422
AT ITER 7218 NEW BEST:: SOT 9531652 SOS 3343010 HAS SOPS 3343010 HAS SOUS 564680 HAS SOUPS 564680 WITH SCORE 568023.01
AT ITER 7262 NEW BEST:: SOT 9531652 SOS 3342698 HAS SOPS 3342698 HAS SOUS 564680 HAS SOUPS 564680 WITH SCORE 568022.698
AT ITER 7299 NEW BEST:: SOT 9531622 SOS 3342668 HAS SOPS 3342668 HAS SOUS 564640 HAS SOUPS 564640 WITH SCORE 567982.668
AT ITER 7300 NEW BEST:: SOT 9531608 SOS 3342488 HAS SOPS 3342488 HAS SOUS 564594 HAS SOUPS 564594 WITH SCORE 567936.488
AT ITER 7316 NEW BEST:: SOT 9531280 SOS 3341770 HAS SOPS 3341770 HAS SOUS 563937 HAS SOUPS 563937 WITH SCORE 567278.77
AT ITER 7335 NEW BEST:: SOT 9531332 SOS 3341874 HAS SOPS 3341874 HAS SOUS 563868 HAS SOUPS 563868 WITH SCORE 567209.874
AT ITER 7348 NEW BEST:: SOT 9531214 SOS 3341240 HAS SOPS 3341240 HAS SOUS 563761 HAS SOUPS 563761 WITH SCORE 567102.24
AT ITER 7373 NEW BEST:: SOT 9531189 SOS 3341190 HAS SOPS 3341190 HAS SOUS 563711 HAS SOUPS 563711 WITH SCORE 567052.19
AT ITER 7409 NEW BEST:: SOT 9531129 SOS 3341967 HAS SOPS 3341967 HAS SOUS 563588 HAS SOUPS 563588 WITH SCORE 566929.967
AT ITER 7416 NEW BEST:: SOT 9531129 SOS 3341930 HAS SOPS 3341930 HAS SOUS 563588 HAS SOUPS 563588 WITH SCORE 566929.93
AT ITER 7425 NEW BEST:: SOT 9531129 SOS 3341930 HAS SOPS 3341930 HAS SOUS 563587 HAS SOUPS 563587 WITH SCORE 566928.93
AT ITER 7437 NEW BEST:: SOT 9530204 SOS 3341033 HAS SOPS 3341033 HAS SOUS 563030 HAS SOUPS 563030 WITH SCORE 566371.033
AT ITER 7452 NEW BEST:: SOT 9530195 SOS 3341015 HAS SOPS 3341015 HAS SOUS 563012 HAS SOUPS 563012 WITH SCORE 566353.015
AT ITER 7455 NEW BEST:: SOT 9530204 SOS 3341033 HAS SOPS 3341033 HAS SOUS 563007 HAS SOUPS 563007 WITH SCORE 566348.033
AT ITER 7463 NEW BEST:: SOT 9530166 SOS 3341249 HAS SOPS 3341249 HAS SOUS 562762 HAS SOUPS 562762 WITH SCORE 566103.249
AT ITER 7492 NEW BEST:: SOT 9529944 SOS 3340730 HAS SOPS 3340730 HAS SOUS 562614 HAS SOUPS 562614 WITH SCORE 565954.73
AT ITER 7500 NEW BEST:: SOT 9529924 SOS 3340670 HAS SOPS 3340670 HAS SOUS 562594 HAS SOUPS 562594 WITH SCORE 565934.67
AT ITER 7528 NEW BEST:: SOT 9529851 SOS 3341692 HAS SOPS 3341692 HAS SOUS 562521 HAS SOUPS 562521 WITH SCORE 565862.692
AT ITER 7533 NEW BEST:: SOT 9529778 SOS 3341546 HAS SOPS 3341546 HAS SOUS 562372 HAS SOUPS 562372 WITH SCORE 565713.546
AT ITER 7556 NEW BEST:: SOT 9529778 SOS 3341572 HAS SOPS 3341572 HAS SOUS 562348 HAS SOUPS 562348 WITH SCORE 565689.572
AT ITER 7559 NEW BEST:: SOT 9528895 SOS 3342638 HAS SOPS 3342638 HAS SOUS 561984 HAS SOUPS 561984 WITH SCORE 565326.638
AT ITER 7649 NEW BEST:: SOT 9528875 SOS 3342798 HAS SOPS 3342798 HAS SOUS 561958 HAS SOUPS 561958 WITH SCORE 565300.798
AT ITER 7661 NEW BEST:: SOT 9528843 SOS 3342734 HAS SOPS 3342734 HAS SOUS 561893 HAS SOUPS 561893 WITH SCORE 565235.734
AT ITER 7678 NEW BEST:: SOT 9528656 SOS 3342642 HAS SOPS 3342642 HAS SOUS 561613 HAS SOUPS 561613 WITH SCORE 564955.642
AT ITER 7682 NEW BEST:: SOT 9528656 SOS 3342640 HAS SOPS 3342640 HAS SOUS 561611 HAS SOUPS 561611 WITH SCORE 564953.64
AT ITER 7686 NEW BEST:: SOT 9528528 SOS 3342497 HAS SOPS 3342497 HAS SOUS 561468 HAS SOUPS 561468 WITH SCORE 564810.497
AT ITER 7714 NEW BEST:: SOT 9528526 SOS 3342493 HAS SOPS 3342493 HAS SOUS 561464 HAS SOUPS 561464 WITH SCORE 564806.493
AT ITER 7716 NEW BEST:: SOT 9528638 SOS 3342751 HAS SOPS 3342751 HAS SOUS 561442 HAS SOUPS 561442 WITH SCORE 564784.751
AT ITER 7722 NEW BEST:: SOT 9528455 SOS 3342459 HAS SOPS 3342459 HAS SOUS 561222 HAS SOUPS 561222 WITH SCORE 564564.459
AT ITER 7725 NEW BEST:: SOT 9528653 SOS 3342580 HAS SOPS 3342580 HAS SOUS 561205 HAS SOUPS 561205 WITH SCORE 564547.58
AT ITER 7733 NEW BEST:: SOT 9528582 SOS 3342608 HAS SOPS 3342608 HAS SOUS 561199 HAS SOUPS 561199 WITH SCORE 564541.608
AT ITER 7740 NEW BEST:: SOT 9528501 SOS 3342446 HAS SOPS 3342446 HAS SOUS 561141 HAS SOUPS 561141 WITH SCORE 564483.446
AT ITER 7741 NEW BEST:: SOT 9528489 SOS 3342422 HAS SOPS 3342422 HAS SOUS 561033 HAS SOUPS 561033 WITH SCORE 564375.422
AT ITER 7748 NEW BEST:: SOT 9528223 SOS 3342165 HAS SOPS 3342165 HAS SOUS 561012 HAS SOUPS 561012 WITH SCORE 564354.165
AT ITER 7815 NEW BEST:: SOT 9527704 SOS 3341884 HAS SOPS 3341884 HAS SOUS 560897 HAS SOUPS 560897 WITH SCORE 564238.884
AT ITER 7829 NEW BEST:: SOT 9527704 SOS 3341884 HAS SOPS 3341884 HAS SOUS 560875 HAS SOUPS 560875 WITH SCORE 564216.884
AT ITER 7855 NEW BEST:: SOT 9527610 SOS 3342001 HAS SOPS 3342001 HAS SOUS 560687 HAS SOUPS 560687 WITH SCORE 564029.001
AT ITER 7868 NEW BEST:: SOT 9527503 SOS 3341787 HAS SOPS 3341787 HAS SOUS 560495 HAS SOUPS 560495 WITH SCORE 563836.787
AT ITER 7890 NEW BEST:: SOT 9527681 SOS 3342761 HAS SOPS 3342761 HAS SOUS 560380 HAS SOUPS 560380 WITH SCORE 563722.761
AT ITER 7914 NEW BEST:: SOT 9527673 SOS 3342875 HAS SOPS 3342875 HAS SOUS 560369 HAS SOUPS 560369 WITH SCORE 563711.875
AT ITER 7923 NEW BEST:: SOT 9527673 SOS 3342875 HAS SOPS 3342875 HAS SOUS 560364 HAS SOUPS 560364 WITH SCORE 563706.875
AT ITER 7940 NEW BEST:: SOT 9527697 SOS 3342923 HAS SOPS 3342923 HAS SOUS 560353 HAS SOUPS 560353 WITH SCORE 563695.923
AT ITER 7966 NEW BEST:: SOT 9527660 SOS 3342849 HAS SOPS 3342849 HAS SOUS 560316 HAS SOUPS 560316 WITH SCORE 563658.849
AT ITER 7968 NEW BEST:: SOT 9527659 SOS 3342847 HAS SOPS 3342847 HAS SOUS 560314 HAS SOUPS 560314 WITH SCORE 563656.847
AT ITER 7970 NEW BEST:: SOT 9527639 SOS 3342797 HAS SOPS 3342797 HAS SOUS 560284 HAS SOUPS 560284 WITH SCORE 563626.797
AT ITER 7985 NEW BEST:: SOT 9527719 SOS 3705096 HAS SOPS 3705096 HAS SOUS 559823 HAS SOUPS 559823 WITH SCORE 563528.096
AT ITER 7987 NEW BEST:: SOT 9527545 SOS 3704957 HAS SOPS 3704957 HAS SOUS 559650 HAS SOUPS 559650 WITH SCORE 563354.957
AT ITER 7988 NEW BEST:: SOT 9527471 SOS 3704883 HAS SOPS 3704883 HAS SOUS 559576 HAS SOUPS 559576 WITH SCORE 563280.883
AT ITER 8010 NEW BEST:: SOT 9527442 SOS 3704825 HAS SOPS 3704825 HAS SOUS 559576 HAS SOUPS 559576 WITH SCORE 563280.825
AT ITER 8025 NEW BEST:: SOT 9527423 SOS 3704806 HAS SOPS 3704806 HAS SOUS 559560 HAS SOUPS 559560 WITH SCORE 563264.806
AT ITER 8045 NEW BEST:: SOT 9527401 SOS 3704762 HAS SOPS 3704762 HAS SOUS 559509 HAS SOUPS 559509 WITH SCORE 563213.762
AT ITER 8082 NEW BEST:: SOT 9527161 SOS 3704522 HAS SOPS 3704522 HAS SOUS 559269 HAS SOUPS 559269 WITH SCORE 562973.522
AT ITER 8102 NEW BEST:: SOT 9527161 SOS 3704522 HAS SOPS 3704522 HAS SOUS 559252 HAS SOUPS 559252 WITH SCORE 562956.522
AT ITER 8145 NEW BEST:: SOT 9527161 SOS 3704429 HAS SOPS 3704429 HAS SOUS 559159 HAS SOUPS 559159 WITH SCORE 562863.429
AT ITER 8164 NEW BEST:: SOT 9527142 SOS 3703999 HAS SOPS 3703999 HAS SOUS 559140 HAS SOUPS 559140 WITH SCORE 562843.999
AT ITER 8207 NEW BEST:: SOT 9527142 SOS 3704047 HAS SOPS 3704047 HAS SOUS 558874 HAS SOUPS 558874 WITH SCORE 562578.047
AT ITER 8232 NEW BEST:: SOT 9527142 SOS 3704031 HAS SOPS 3704031 HAS SOUS 558874 HAS SOUPS 558874 WITH SCORE 562578.031
AT ITER 8249 NEW BEST:: SOT 9527132 SOS 3704011 HAS SOPS 3704011 HAS SOUS 558854 HAS SOUPS 558854 WITH SCORE 562558.011
AT ITER 8251 NEW BEST:: SOT 9527132 SOS 3704011 HAS SOPS 3704011 HAS SOUS 558845 HAS SOUPS 558845 WITH SCORE 562549.011
AT ITER 8258 NEW BEST:: SOT 9527132 SOS 3703571 HAS SOPS 3703571 HAS SOUS 558735 HAS SOUPS 558735 WITH SCORE 562438.571
AT ITER 8262 NEW BEST:: SOT 9526662 SOS 3703652 HAS SOPS 3703652 HAS SOUS 558413 HAS SOUPS 558413 WITH SCORE 562116.652
AT ITER 8279 NEW BEST:: SOT 9526655 SOS 3703638 HAS SOPS 3703638 HAS SOUS 558405 HAS SOUPS 558405 WITH SCORE 562108.638
AT ITER 8283 NEW BEST:: SOT 9526730 SOS 3703528 HAS SOPS 3703528 HAS SOUS 558396 HAS SOUPS 558396 WITH SCORE 562099.528
AT ITER 8302 NEW BEST:: SOT 9526610 SOS 3703408 HAS SOPS 3703408 HAS SOUS 558276 HAS SOUPS 558276 WITH SCORE 561979.408
AT ITER 8306 NEW BEST:: SOT 9526610 SOS 3703408 HAS SOPS 3703408 HAS SOUS 558172 HAS SOUPS 558172 WITH SCORE 561875.408
AT ITER 8320 NEW BEST:: SOT 9526554 SOS 3703296 HAS SOPS 3703296 HAS SOUS 558147 HAS SOUPS 558147 WITH SCORE 561850.296
AT ITER 8322 NEW BEST:: SOT 9526532 SOS 3703590 HAS SOPS 3703590 HAS SOUS 557940 HAS SOUPS 557940 WITH SCORE 561643.59
AT ITER 8339 NEW BEST:: SOT 9526316 SOS 3702889 HAS SOPS 3702889 HAS SOUS 557702 HAS SOUPS 557702 WITH SCORE 561404.889
AT ITER 8352 NEW BEST:: SOT 9526023 SOS 3702556 HAS SOPS 3702556 HAS SOUS 557646 HAS SOUPS 557646 WITH SCORE 561348.556
AT ITER 8359 NEW BEST:: SOT 9525492 SOS 3701939 HAS SOPS 3701939 HAS SOUS 556781 HAS SOUPS 556781 WITH SCORE 560482.939
AT ITER 8368 NEW BEST:: SOT 9525492 SOS 3702050 HAS SOPS 3702050 HAS SOUS 556550 HAS SOUPS 556550 WITH SCORE 560252.05
AT ITER 8371 NEW BEST:: SOT 9525481 SOS 3702089 HAS SOPS 3702089 HAS SOUS 556539 HAS SOUPS 556539 WITH SCORE 560241.089
AT ITER 8414 NEW BEST:: SOT 9525454 SOS 3701858 HAS SOPS 3701858 HAS SOUS 556512 HAS SOUPS 556512 WITH SCORE 560213.858
AT ITER 8430 NEW BEST:: SOT 9525372 SOS 3701694 HAS SOPS 3701694 HAS SOUS 556348 HAS SOUPS 556348 WITH SCORE 560049.694
AT ITER 8444 NEW BEST:: SOT 9525334 SOS 3701618 HAS SOPS 3701618 HAS SOUS 556289 HAS SOUPS 556289 WITH SCORE 559990.618
AT ITER 8461 NEW BEST:: SOT 9525334 SOS 3701604 HAS SOPS 3701604 HAS SOUS 556284 HAS SOUPS 556284 WITH SCORE 559985.604
AT ITER 8476 NEW BEST:: SOT 9525188 SOS 3701312 HAS SOPS 3701312 HAS SOUS 556207 HAS SOUPS 556207 WITH SCORE 559908.312
AT ITER 8484 NEW BEST:: SOT 9525188 SOS 3701212 HAS SOPS 3701212 HAS SOUS 556207 HAS SOUPS 556207 WITH SCORE 559908.212
AT ITER 8488 NEW BEST:: SOT 9525188 SOS 3701254 HAS SOPS 3701254 HAS SOUS 556185 HAS SOUPS 556185 WITH SCORE 559886.254
AT ITER 8496 NEW BEST:: SOT 9525188 SOS 3701195 HAS SOPS 3701195 HAS SOUS 556126 HAS SOUPS 556126 WITH SCORE 559827.195
AT ITER 8510 NEW BEST:: SOT 9524980 SOS 3701787 HAS SOPS 3701787 HAS SOUS 555709 HAS SOUPS 555709 WITH SCORE 559410.787
AT ITER 8524 NEW BEST:: SOT 9524970 SOS 3701777 HAS SOPS 3701777 HAS SOUS 555709 HAS SOUPS 555709 WITH SCORE 559410.777
AT ITER 8556 NEW BEST:: SOT 9524863 SOS 3701563 HAS SOPS 3701563 HAS SOUS 555541 HAS SOUPS 555541 WITH SCORE 559242.563
AT ITER 8569 NEW BEST:: SOT 9524825 SOS 3701487 HAS SOPS 3701487 HAS SOUS 555520 HAS SOUPS 555520 WITH SCORE 559221.487
AT ITER 8625 NEW BEST:: SOT 9525182 SOS 3701634 HAS SOPS 3701634 HAS SOUS 555248 HAS SOUPS 555248 WITH SCORE 558949.634
AT ITER 8633 NEW BEST:: SOT 9525137 SOS 3701544 HAS SOPS 3701544 HAS SOUS 555158 HAS SOUPS 555158 WITH SCORE 558859.544
AT ITER 8663 NEW BEST:: SOT 9525127 SOS 3701524 HAS SOPS 3701524 HAS SOUS 555138 HAS SOUPS 555138 WITH SCORE 558839.524
AT ITER 8671 NEW BEST:: SOT 9525100 SOS 3701470 HAS SOPS 3701470 HAS SOUS 555084 HAS SOUPS 555084 WITH SCORE 558785.47
AT ITER 8715 NEW BEST:: SOT 9525156 SOS 3701582 HAS SOPS 3701582 HAS SOUS 555073 HAS SOUPS 555073 WITH SCORE 558774.582
AT ITER 8725 NEW BEST:: SOT 9525164 SOS 3700810 HAS SOPS 3700810 HAS SOUS 555061 HAS SOUPS 555061 WITH SCORE 558761.81
AT ITER 8727 NEW BEST:: SOT 9525110 SOS 3700756 HAS SOPS 3700756 HAS SOUS 555036 HAS SOUPS 555036 WITH SCORE 558736.756
AT ITER 8742 NEW BEST:: SOT 9525077 SOS 3700865 HAS SOPS 3700865 HAS SOUS 555003 HAS SOUPS 555003 WITH SCORE 558703.865
AT ITER 8749 NEW BEST:: SOT 9525071 SOS 3700853 HAS SOPS 3700853 HAS SOUS 554997 HAS SOUPS 554997 WITH SCORE 558697.853
AT ITER 8750 NEW BEST:: SOT 9524837 SOS 3700810 HAS SOPS 3700810 HAS SOUS 554868 HAS SOUPS 554868 WITH SCORE 558568.81
AT ITER 8759 NEW BEST:: SOT 9524626 SOS 3700694 HAS SOPS 3700694 HAS SOUS 554599 HAS SOUPS 554599 WITH SCORE 558299.694
AT ITER 8766 NEW BEST:: SOT 9524523 SOS 3700488 HAS SOPS 3700488 HAS SOUS 554393 HAS SOUPS 554393 WITH SCORE 558093.488
AT ITER 8770 NEW BEST:: SOT 9524532 SOS 3700677 HAS SOPS 3700677 HAS SOUS 554373 HAS SOUPS 554373 WITH SCORE 558073.677
AT ITER 8789 NEW BEST:: SOT 9523992 SOS 3715337 HAS SOPS 3715337 HAS SOUS 553987 HAS SOUPS 553987 WITH SCORE 557702.337
AT ITER 8796 NEW BEST:: SOT 9523987 SOS 3715356 HAS SOPS 3715356 HAS SOUS 553881 HAS SOUPS 553881 WITH SCORE 557596.356
AT ITER 8852 NEW BEST:: SOT 9523745 SOS 3718051 HAS SOPS 3718051 HAS SOUS 553643 HAS SOUPS 553643 WITH SCORE 557361.051
AT ITER 8859 NEW BEST:: SOT 9522885 SOS 3722903 HAS SOPS 3722903 HAS SOUS 553168 HAS SOUPS 553168 WITH SCORE 556890.903
AT ITER 8868 NEW BEST:: SOT 9522743 SOS 3722535 HAS SOPS 3722535 HAS SOUS 552953 HAS SOUPS 552953 WITH SCORE 556675.535
AT ITER 8891 NEW BEST:: SOT 9522737 SOS 3722523 HAS SOPS 3722523 HAS SOUS 552941 HAS SOUPS 552941 WITH SCORE 556663.523
AT ITER 8892 NEW BEST:: SOT 9522737 SOS 3722059 HAS SOPS 3722059 HAS SOUS 552941 HAS SOUPS 552941 WITH SCORE 556663.059
AT ITER 8895 NEW BEST:: SOT 9522682 SOS 3721972 HAS SOPS 3721972 HAS SOUS 552837 HAS SOUPS 552837 WITH SCORE 556558.972
AT ITER 8913 NEW BEST:: SOT 9522639 SOS 3721886 HAS SOPS 3721886 HAS SOUS 552748 HAS SOUPS 552748 WITH SCORE 556469.886
AT ITER 8939 NEW BEST:: SOT 9522586 SOS 3721833 HAS SOPS 3721833 HAS SOUS 552748 HAS SOUPS 552748 WITH SCORE 556469.833
AT ITER 8964 NEW BEST:: SOT 9522586 SOS 3721517 HAS SOPS 3721517 HAS SOUS 552620 HAS SOUPS 552620 WITH SCORE 556341.517
AT ITER 8967 NEW BEST:: SOT 9522657 SOS 3721446 HAS SOPS 3721446 HAS SOUS 552620 HAS SOUPS 552620 WITH SCORE 556341.446
AT ITER 8977 NEW BEST:: SOT 9522657 SOS 3721446 HAS SOPS 3721446 HAS SOUS 552619 HAS SOUPS 552619 WITH SCORE 556340.446
AT ITER 8996 NEW BEST:: SOT 9522657 SOS 3721446 HAS SOPS 3721446 HAS SOUS 552559 HAS SOUPS 552559 WITH SCORE 556280.446
AT ITER 9015 NEW BEST:: SOT 9522657 SOS 3721446 HAS SOPS 3721446 HAS SOUS 552426 HAS SOUPS 552426 WITH SCORE 556147.446
AT ITER 9016 NEW BEST:: SOT 9522537 SOS 3721206 HAS SOPS 3721206 HAS SOUS 552186 HAS SOUPS 552186 WITH SCORE 555907.206
AT ITER 9051 NEW BEST:: SOT 9521171 SOS 3719990 HAS SOPS 3719990 HAS SOUS 551425 HAS SOUPS 551425 WITH SCORE 555144.99
AT ITER 9058 NEW BEST:: SOT 9521120 SOS 3719888 HAS SOPS 3719888 HAS SOUS 551115 HAS SOUPS 551115 WITH SCORE 554834.888
AT ITER 9062 NEW BEST:: SOT 9521113 SOS 3719874 HAS SOPS 3719874 HAS SOUS 551101 HAS SOUPS 551101 WITH SCORE 554820.874
AT ITER 9070 NEW BEST:: SOT 9521113 SOS 3719874 HAS SOPS 3719874 HAS SOUS 551007 HAS SOUPS 551007 WITH SCORE 554726.874
AT ITER 9092 NEW BEST:: SOT 9520870 SOS 3719679 HAS SOPS 3719679 HAS SOUS 550812 HAS SOUPS 550812 WITH SCORE 554531.679
AT ITER 9106 NEW BEST:: SOT 9520775 SOS 3719564 HAS SOPS 3719564 HAS SOUS 550677 HAS SOUPS 550677 WITH SCORE 554396.564
AT ITER 9185 NEW BEST:: SOT 9520386 SOS 3719421 HAS SOPS 3719421 HAS SOUS 550575 HAS SOUPS 550575 WITH SCORE 554294.421
AT ITER 9193 NEW BEST:: SOT 9520574 SOS 3719797 HAS SOPS 3719797 HAS SOUS 550553 HAS SOUPS 550553 WITH SCORE 554272.797
AT ITER 9199 NEW BEST:: SOT 9520337 SOS 3719323 HAS SOPS 3719323 HAS SOUS 550002 HAS SOUPS 550002 WITH SCORE 553721.323
AT ITER 9214 NEW BEST:: SOT 9520360 SOS 3719218 HAS SOPS 3719218 HAS SOUS 549979 HAS SOUPS 549979 WITH SCORE 553698.218
AT ITER 9225 NEW BEST:: SOT 9520122 SOS 3719156 HAS SOPS 3719156 HAS SOUS 549810 HAS SOUPS 549810 WITH SCORE 553529.156
AT ITER 9227 NEW BEST:: SOT 9519992 SOS 3718814 HAS SOPS 3718814 HAS SOUS 549769 HAS SOUPS 549769 WITH SCORE 553487.814
AT ITER 9238 NEW BEST:: SOT 9519602 SOS 3719199 HAS SOPS 3719199 HAS SOUS 549655 HAS SOUPS 549655 WITH SCORE 553374.199
AT ITER 9244 NEW BEST:: SOT 9519571 SOS 3719168 HAS SOPS 3719168 HAS SOUS 549624 HAS SOUPS 549624 WITH SCORE 553343.168
AT ITER 9248 NEW BEST:: SOT 9519426 SOS 3718878 HAS SOPS 3718878 HAS SOUS 549491 HAS SOUPS 549491 WITH SCORE 553209.878
AT ITER 9295 NEW BEST:: SOT 9519370 SOS 3718766 HAS SOPS 3718766 HAS SOUS 549379 HAS SOUPS 549379 WITH SCORE 553097.766
AT ITER 9316 NEW BEST:: SOT 9519523 SOS 3718636 HAS SOPS 3718636 HAS SOUS 549355 HAS SOUPS 549355 WITH SCORE 553073.636
AT ITER 9325 NEW BEST:: SOT 9519190 SOS 3718303 HAS SOPS 3718303 HAS SOUS 549354 HAS SOUPS 549354 WITH SCORE 553072.303
AT ITER 9351 NEW BEST:: SOT 9519178 SOS 3718291 HAS SOPS 3718291 HAS SOUS 549342 HAS SOUPS 549342 WITH SCORE 553060.291
AT ITER 9376 NEW BEST:: SOT 9518961 SOS 3718084 HAS SOPS 3718084 HAS SOUS 549271 HAS SOUPS 549271 WITH SCORE 552989.084
AT ITER 9379 NEW BEST:: SOT 9518945 SOS 3718052 HAS SOPS 3718052 HAS SOUS 549224 HAS SOUPS 549224 WITH SCORE 552942.052
AT ITER 9386 NEW BEST:: SOT 9518716 SOS 3720432 HAS SOPS 3720432 HAS SOUS 549124 HAS SOUPS 549124 WITH SCORE 552844.432
AT ITER 9387 NEW BEST:: SOT 9518641 SOS 3720287 HAS SOPS 3720287 HAS SOUS 549010 HAS SOUPS 549010 WITH SCORE 552730.287
AT ITER 9388 NEW BEST:: SOT 9518409 SOS 3719823 HAS SOPS 3719823 HAS SOUS 548778 HAS SOUPS 548778 WITH SCORE 552497.823
AT ITER 9399 NEW BEST:: SOT 9518271 SOS 3719547 HAS SOPS 3719547 HAS SOUS 548502 HAS SOUPS 548502 WITH SCORE 552221.547
AT ITER 9422 NEW BEST:: SOT 9518258 SOS 3719521 HAS SOPS 3719521 HAS SOUS 548491 HAS SOUPS 548491 WITH SCORE 552210.521
AT ITER 9423 NEW BEST:: SOT 9518141 SOS 3719287 HAS SOPS 3719287 HAS SOUS 548019 HAS SOUPS 548019 WITH SCORE 551738.287
AT ITER 9440 NEW BEST:: SOT 9518189 SOS 3719383 HAS SOPS 3719383 HAS SOUS 547977 HAS SOUPS 547977 WITH SCORE 551696.383
AT ITER 9451 NEW BEST:: SOT 9518197 SOS 3733353 HAS SOPS 3733353 HAS SOUS 547911 HAS SOUPS 547911 WITH SCORE 551644.353
AT ITER 9457 NEW BEST:: SOT 9518178 SOS 3733372 HAS SOPS 3733372 HAS SOUS 547852 HAS SOUPS 547852 WITH SCORE 551585.372
AT ITER 9464 NEW BEST:: SOT 9518310 SOS 3733278 HAS SOPS 3733278 HAS SOUS 547819 HAS SOUPS 547819 WITH SCORE 551552.278
AT ITER 9476 NEW BEST:: SOT 9518277 SOS 3733212 HAS SOPS 3733212 HAS SOUS 547753 HAS SOUPS 547753 WITH SCORE 551486.212
AT ITER 9562 NEW BEST:: SOT 9518167 SOS 3733212 HAS SOPS 3733212 HAS SOUS 546873 HAS SOUPS 546873 WITH SCORE 550606.212
AT ITER 9570 NEW BEST:: SOT 9518255 SOS 3733388 HAS SOPS 3733388 HAS SOUS 546838 HAS SOUPS 546838 WITH SCORE 550571.388
AT ITER 9598 NEW BEST:: SOT 9518200 SOS 3733278 HAS SOPS 3733278 HAS SOUS 546728 HAS SOUPS 546728 WITH SCORE 550461.278
AT ITER 9626 NEW BEST:: SOT 9518166 SOS 3733210 HAS SOPS 3733210 HAS SOUS 546660 HAS SOUPS 546660 WITH SCORE 550393.21
AT ITER 9639 NEW BEST:: SOT 9518132 SOS 3733229 HAS SOPS 3733229 HAS SOUS 546608 HAS SOUPS 546608 WITH SCORE 550341.229
AT ITER 9672 NEW BEST:: SOT 9518054 SOS 3732994 HAS SOPS 3732994 HAS SOUS 546452 HAS SOUPS 546452 WITH SCORE 550184.994
AT ITER 9712 NEW BEST:: SOT 9518125 SOS 3732781 HAS SOPS 3732781 HAS SOUS 546452 HAS SOUPS 546452 WITH SCORE 550184.781
AT ITER 9719 NEW BEST:: SOT 9518123 SOS 3732779 HAS SOPS 3732779 HAS SOUS 546450 HAS SOUPS 546450 WITH SCORE 550182.779
AT ITER 9736 NEW BEST:: SOT 9518127 SOS 3732787 HAS SOPS 3732787 HAS SOUS 546276 HAS SOUPS 546276 WITH SCORE 550008.787
AT ITER 9750 NEW BEST:: SOT 9518124 SOS 3732778 HAS SOPS 3732778 HAS SOUS 546270 HAS SOUPS 546270 WITH SCORE 550002.778
AT ITER 9774 NEW BEST:: SOT 9518195 SOS 3732667 HAS SOPS 3732667 HAS SOUS 546202 HAS SOUPS 546202 WITH SCORE 549934.667
AT ITER 9777 NEW BEST:: SOT 9517907 SOS 3732263 HAS SOPS 3732263 HAS SOUS 545970 HAS SOUPS 545970 WITH SCORE 549702.263
AT ITER 9784 NEW BEST:: SOT 9517850 SOS 3732149 HAS SOPS 3732149 HAS SOUS 545897 HAS SOUPS 545897 WITH SCORE 549629.149
AT ITER 9791 NEW BEST:: SOT 9517850 SOS 3731940 HAS SOPS 3731940 HAS SOUS 545576 HAS SOUPS 545576 WITH SCORE 549307.94
AT ITER 9801 NEW BEST:: SOT 9517761 SOS 3731992 HAS SOPS 3731992 HAS SOUS 545533 HAS SOUPS 545533 WITH SCORE 549264.992
AT ITER 9809 NEW BEST:: SOT 9517747 SOS 3731980 HAS SOPS 3731980 HAS SOUS 545489 HAS SOUPS 545489 WITH SCORE 549220.98
AT ITER 9810 NEW BEST:: SOT 9517747 SOS 3731980 HAS SOPS 3731980 HAS SOUS 545485 HAS SOUPS 545485 WITH SCORE 549216.98
AT ITER 9820 NEW BEST:: SOT 9517693 SOS 3731926 HAS SOPS 3731926 HAS SOUS 545440 HAS SOUPS 545440 WITH SCORE 549171.926
AT ITER 9847 NEW BEST:: SOT 9517671 SOS 3731882 HAS SOPS 3731882 HAS SOUS 545418 HAS SOUPS 545418 WITH SCORE 549149.882
AT ITER 9875 NEW BEST:: SOT 9517597 SOS 3731734 HAS SOPS 3731734 HAS SOUS 545270 HAS SOUPS 545270 WITH SCORE 549001.734
AT ITER 9877 NEW BEST:: SOT 9517144 SOS 3731419 HAS SOPS 3731419 HAS SOUS 544938 HAS SOUPS 544938 WITH SCORE 548669.419
AT ITER 9913 NEW BEST:: SOT 9517144 SOS 3731419 HAS SOPS 3731419 HAS SOUS 544901 HAS SOUPS 544901 WITH SCORE 548632.419
AT ITER 9942 NEW BEST:: SOT 9517154 SOS 3731487 HAS SOPS 3731487 HAS SOUS 544835 HAS SOUPS 544835 WITH SCORE 548566.487
AT ITER 9968 NEW BEST:: SOT 9517285 SOS 3731356 HAS SOPS 3731356 HAS SOUS 544835 HAS SOUPS 544835 WITH SCORE 548566.356
AT ITER 9980 NEW BEST:: SOT 9517277 SOS 3731350 HAS SOPS 3731350 HAS SOUS 544829 HAS SOUPS 544829 WITH SCORE 548560.35
AT ITER 9993 NEW BEST:: SOT 9517185 SOS 3731534 HAS SOPS 3731534 HAS SOUS 544737 HAS SOUPS 544737 WITH SCORE 548468.534
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 16032964 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16141964 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="CloudDeployment-PT-6b"
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 CloudDeployment-PT-6b, 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 r067-smll-167814394900440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b 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 ;