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-167814394800424.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-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 13K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:47 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 1.5M 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 1678306429200

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-5b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5b
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: 1525 places, 3132 transitions, 24760 arcs.
AT ITER 0 NEW BEST:: SOT 3276105 SOS 964973 HAS SOPS 964973 HAS SOUS 489639 HAS SOUPS 489639 WITH SCORE 490603.973
AT ITER 8 NEW BEST:: SOT 3275984 SOS 964731 HAS SOPS 964731 HAS SOUS 489397 HAS SOUPS 489397 WITH SCORE 490361.731
AT ITER 11 NEW BEST:: SOT 3275803 SOS 964550 HAS SOPS 964550 HAS SOUS 466112 HAS SOUPS 466112 WITH SCORE 467076.55
AT ITER 13 NEW BEST:: SOT 3275623 SOS 964478 HAS SOPS 964478 HAS SOUS 465968 HAS SOUPS 465968 WITH SCORE 466932.478
AT ITER 25 NEW BEST:: SOT 3275310 SOS 964628 HAS SOPS 964628 HAS SOUS 465655 HAS SOUPS 465655 WITH SCORE 466619.628
AT ITER 43 NEW BEST:: SOT 3275335 SOS 965618 HAS SOPS 965618 HAS SOUS 465648 HAS SOUPS 465648 WITH SCORE 466613.618
AT ITER 47 NEW BEST:: SOT 3275205 SOS 965546 HAS SOPS 965546 HAS SOUS 465518 HAS SOUPS 465518 WITH SCORE 466483.546
AT ITER 50 NEW BEST:: SOT 3274943 SOS 965022 HAS SOPS 965022 HAS SOUS 464994 HAS SOUPS 464994 WITH SCORE 465959.022
AT ITER 51 NEW BEST:: SOT 3274904 SOS 964983 HAS SOPS 964983 HAS SOUS 464992 HAS SOUPS 464992 WITH SCORE 465956.983
AT ITER 69 NEW BEST:: SOT 3274760 SOS 965397 HAS SOPS 965397 HAS SOUS 464542 HAS SOUPS 464542 WITH SCORE 465507.397
AT ITER 85 NEW BEST:: SOT 3274330 SOS 977632 HAS SOPS 977632 HAS SOUS 464112 HAS SOUPS 464112 WITH SCORE 465089.632
AT ITER 88 NEW BEST:: SOT 3274329 SOS 977630 HAS SOPS 977630 HAS SOUS 464110 HAS SOUPS 464110 WITH SCORE 465087.63
AT ITER 97 NEW BEST:: SOT 3274019 SOS 977388 HAS SOPS 977388 HAS SOUS 463800 HAS SOUPS 463800 WITH SCORE 464777.388
AT ITER 111 NEW BEST:: SOT 3274019 SOS 977388 HAS SOPS 977388 HAS SOUS 463799 HAS SOUPS 463799 WITH SCORE 464776.388
AT ITER 116 NEW BEST:: SOT 3273979 SOS 977348 HAS SOPS 977348 HAS SOUS 463799 HAS SOUPS 463799 WITH SCORE 464776.348
AT ITER 121 NEW BEST:: SOT 3273979 SOS 977348 HAS SOPS 977348 HAS SOUS 463717 HAS SOUPS 463717 WITH SCORE 464694.348
AT ITER 133 NEW BEST:: SOT 3273979 SOS 977347 HAS SOPS 977347 HAS SOUS 463716 HAS SOUPS 463716 WITH SCORE 464693.347
AT ITER 140 NEW BEST:: SOT 3273979 SOS 977310 HAS SOPS 977310 HAS SOUS 463695 HAS SOUPS 463695 WITH SCORE 464672.31
AT ITER 142 NEW BEST:: SOT 3274112 SOS 1006476 HAS SOPS 1006476 HAS SOUS 463459 HAS SOUPS 463459 WITH SCORE 464465.476
AT ITER 146 NEW BEST:: SOT 3274106 SOS 1006464 HAS SOPS 1006464 HAS SOUS 463447 HAS SOUPS 463447 WITH SCORE 464453.464
AT ITER 159 NEW BEST:: SOT 3273839 SOS 1006019 HAS SOPS 1006019 HAS SOUS 463178 HAS SOUPS 463178 WITH SCORE 464184.019
AT ITER 161 NEW BEST:: SOT 3273761 SOS 1005863 HAS SOPS 1005863 HAS SOUS 463022 HAS SOUPS 463022 WITH SCORE 464027.863
AT ITER 181 NEW BEST:: SOT 3273760 SOS 1005861 HAS SOPS 1005861 HAS SOUS 463020 HAS SOUPS 463020 WITH SCORE 464025.861
AT ITER 184 NEW BEST:: SOT 3273760 SOS 1005906 HAS SOPS 1005906 HAS SOUS 462996 HAS SOUPS 462996 WITH SCORE 464001.906
AT ITER 208 NEW BEST:: SOT 3273704 SOS 1006018 HAS SOPS 1006018 HAS SOUS 462940 HAS SOUPS 462940 WITH SCORE 463946.018
AT ITER 209 NEW BEST:: SOT 3273280 SOS 1006562 HAS SOPS 1006562 HAS SOUS 462812 HAS SOUPS 462812 WITH SCORE 463818.562
AT ITER 223 NEW BEST:: SOT 3273219 SOS 1006440 HAS SOPS 1006440 HAS SOUS 462690 HAS SOUPS 462690 WITH SCORE 463696.44
AT ITER 226 NEW BEST:: SOT 3273209 SOS 1006430 HAS SOPS 1006430 HAS SOUS 462680 HAS SOUPS 462680 WITH SCORE 463686.43
AT ITER 240 NEW BEST:: SOT 3272993 SOS 1006457 HAS SOPS 1006457 HAS SOUS 462337 HAS SOUPS 462337 WITH SCORE 463343.457
AT ITER 241 NEW BEST:: SOT 3272921 SOS 1006259 HAS SOPS 1006259 HAS SOUS 462265 HAS SOUPS 462265 WITH SCORE 463271.259
AT ITER 247 NEW BEST:: SOT 3272740 SOS 1006259 HAS SOPS 1006259 HAS SOUS 462084 HAS SOUPS 462084 WITH SCORE 463090.259
AT ITER 251 NEW BEST:: SOT 3272601 SOS 1006257 HAS SOPS 1006257 HAS SOUS 462011 HAS SOUPS 462011 WITH SCORE 463017.257
AT ITER 252 NEW BEST:: SOT 3272601 SOS 1006257 HAS SOPS 1006257 HAS SOUS 462010 HAS SOUPS 462010 WITH SCORE 463016.257
AT ITER 269 NEW BEST:: SOT 3271765 SOS 1005233 HAS SOPS 1005233 HAS SOUS 460958 HAS SOUPS 460958 WITH SCORE 461963.233
AT ITER 270 NEW BEST:: SOT 3270097 SOS 1014291 HAS SOPS 1014291 HAS SOUS 459763 HAS SOUPS 459763 WITH SCORE 460777.291
AT ITER 272 NEW BEST:: SOT 3270048 SOS 1014255 HAS SOPS 1014255 HAS SOUS 459715 HAS SOUPS 459715 WITH SCORE 460729.255
AT ITER 282 NEW BEST:: SOT 3270035 SOS 1014229 HAS SOPS 1014229 HAS SOUS 459689 HAS SOUPS 459689 WITH SCORE 460703.229
AT ITER 293 NEW BEST:: SOT 3269758 SOS 1013952 HAS SOPS 1013952 HAS SOUS 459412 HAS SOUPS 459412 WITH SCORE 460425.952
AT ITER 295 NEW BEST:: SOT 3269571 SOS 1014151 HAS SOPS 1014151 HAS SOUS 459183 HAS SOUPS 459183 WITH SCORE 460197.151
AT ITER 312 NEW BEST:: SOT 3269516 SOS 1014237 HAS SOPS 1014237 HAS SOUS 458984 HAS SOUPS 458984 WITH SCORE 459998.237
AT ITER 333 NEW BEST:: SOT 3269371 SOS 1014092 HAS SOPS 1014092 HAS SOUS 458960 HAS SOUPS 458960 WITH SCORE 459974.092
AT ITER 337 NEW BEST:: SOT 3269229 SOS 1014174 HAS SOPS 1014174 HAS SOUS 458898 HAS SOUPS 458898 WITH SCORE 459912.174
AT ITER 343 NEW BEST:: SOT 3268966 SOS 1014230 HAS SOPS 1014230 HAS SOUS 458594 HAS SOUPS 458594 WITH SCORE 459608.23
AT ITER 372 NEW BEST:: SOT 3268863 SOS 1014024 HAS SOPS 1014024 HAS SOUS 458491 HAS SOUPS 458491 WITH SCORE 459505.024
AT ITER 385 NEW BEST:: SOT 3267551 SOS 1023066 HAS SOPS 1023066 HAS SOUS 458222 HAS SOUPS 458222 WITH SCORE 459245.066
AT ITER 392 NEW BEST:: SOT 3267551 SOS 1022999 HAS SOPS 1022999 HAS SOUS 458222 HAS SOUPS 458222 WITH SCORE 459244.999
AT ITER 408 NEW BEST:: SOT 3267551 SOS 1022898 HAS SOPS 1022898 HAS SOUS 458222 HAS SOUPS 458222 WITH SCORE 459244.898
AT ITER 435 NEW BEST:: SOT 3267551 SOS 1022795 HAS SOPS 1022795 HAS SOUS 458119 HAS SOUPS 458119 WITH SCORE 459141.795
AT ITER 444 NEW BEST:: SOT 3267497 SOS 1022741 HAS SOPS 1022741 HAS SOUS 458050 HAS SOUPS 458050 WITH SCORE 459072.741
AT ITER 455 NEW BEST:: SOT 3267395 SOS 1022741 HAS SOPS 1022741 HAS SOUS 458040 HAS SOUPS 458040 WITH SCORE 459062.741
AT ITER 466 NEW BEST:: SOT 3267356 SOS 1022663 HAS SOPS 1022663 HAS SOUS 457962 HAS SOUPS 457962 WITH SCORE 458984.663
AT ITER 471 NEW BEST:: SOT 3267356 SOS 1022795 HAS SOPS 1022795 HAS SOUS 457944 HAS SOUPS 457944 WITH SCORE 458966.795
AT ITER 499 NEW BEST:: SOT 3264686 SOS 1028095 HAS SOPS 1028095 HAS SOUS 455534 HAS SOUPS 455534 WITH SCORE 456562.095
AT ITER 502 NEW BEST:: SOT 3264679 SOS 1028053 HAS SOPS 1028053 HAS SOUS 455534 HAS SOUPS 455534 WITH SCORE 456562.053
AT ITER 514 NEW BEST:: SOT 3264679 SOS 1027812 HAS SOPS 1027812 HAS SOUS 455211 HAS SOUPS 455211 WITH SCORE 456238.812
AT ITER 518 NEW BEST:: SOT 3264568 SOS 1027582 HAS SOPS 1027582 HAS SOUS 454988 HAS SOUPS 454988 WITH SCORE 456015.582
AT ITER 521 NEW BEST:: SOT 3264524 SOS 1027582 HAS SOPS 1027582 HAS SOUS 454944 HAS SOUPS 454944 WITH SCORE 455971.582
AT ITER 530 NEW BEST:: SOT 3264236 SOS 1027202 HAS SOPS 1027202 HAS SOUS 454564 HAS SOUPS 454564 WITH SCORE 455591.202
AT ITER 540 NEW BEST:: SOT 3264206 SOS 1027142 HAS SOPS 1027142 HAS SOUS 454534 HAS SOUPS 454534 WITH SCORE 455561.142
AT ITER 541 NEW BEST:: SOT 3264206 SOS 1027266 HAS SOPS 1027266 HAS SOUS 454221 HAS SOUPS 454221 WITH SCORE 455248.266
AT ITER 544 NEW BEST:: SOT 3264201 SOS 1027077 HAS SOPS 1027077 HAS SOUS 454035 HAS SOUPS 454035 WITH SCORE 455062.077
AT ITER 545 NEW BEST:: SOT 3264062 SOS 1026760 HAS SOPS 1026760 HAS SOUS 453813 HAS SOUPS 453813 WITH SCORE 454839.76
AT ITER 564 NEW BEST:: SOT 3263855 SOS 1028214 HAS SOPS 1028214 HAS SOUS 453648 HAS SOUPS 453648 WITH SCORE 454676.214
AT ITER 577 NEW BEST:: SOT 3263641 SOS 1027786 HAS SOPS 1027786 HAS SOUS 453220 HAS SOUPS 453220 WITH SCORE 454247.786
AT ITER 588 NEW BEST:: SOT 3263641 SOS 1027786 HAS SOPS 1027786 HAS SOUS 453190 HAS SOUPS 453190 WITH SCORE 454217.786
AT ITER 600 NEW BEST:: SOT 3263628 SOS 1027773 HAS SOPS 1027773 HAS SOUS 453189 HAS SOUPS 453189 WITH SCORE 454216.773
AT ITER 611 NEW BEST:: SOT 3263628 SOS 1027760 HAS SOPS 1027760 HAS SOUS 453127 HAS SOUPS 453127 WITH SCORE 454154.76
AT ITER 614 NEW BEST:: SOT 3263628 SOS 1026971 HAS SOPS 1026971 HAS SOUS 453127 HAS SOUPS 453127 WITH SCORE 454153.971
AT ITER 617 NEW BEST:: SOT 3263577 SOS 1026782 HAS SOPS 1026782 HAS SOUS 453076 HAS SOUPS 453076 WITH SCORE 454102.782
AT ITER 622 NEW BEST:: SOT 3263577 SOS 1026534 HAS SOPS 1026534 HAS SOUS 453019 HAS SOUPS 453019 WITH SCORE 454045.534
AT ITER 641 NEW BEST:: SOT 3263577 SOS 1026865 HAS SOPS 1026865 HAS SOUS 452963 HAS SOUPS 452963 WITH SCORE 453989.865
AT ITER 663 NEW BEST:: SOT 3263577 SOS 1026923 HAS SOPS 1026923 HAS SOUS 452915 HAS SOUPS 452915 WITH SCORE 453941.923
AT ITER 664 NEW BEST:: SOT 3263627 SOS 1026973 HAS SOPS 1026973 HAS SOUS 452893 HAS SOUPS 452893 WITH SCORE 453919.973
AT ITER 668 NEW BEST:: SOT 3263626 SOS 1026969 HAS SOPS 1026969 HAS SOUS 452889 HAS SOUPS 452889 WITH SCORE 453915.969
AT ITER 673 NEW BEST:: SOT 3263619 SOS 1028848 HAS SOPS 1028848 HAS SOUS 452860 HAS SOUPS 452860 WITH SCORE 453888.848
AT ITER 686 NEW BEST:: SOT 3263619 SOS 1029071 HAS SOPS 1029071 HAS SOUS 452637 HAS SOUPS 452637 WITH SCORE 453666.071
AT ITER 696 NEW BEST:: SOT 3263442 SOS 1205692 HAS SOPS 1205692 HAS SOUS 452279 HAS SOUPS 452279 WITH SCORE 453484.692
AT ITER 705 NEW BEST:: SOT 3263414 SOS 1205582 HAS SOPS 1205582 HAS SOUS 452251 HAS SOUPS 452251 WITH SCORE 453456.582
AT ITER 719 NEW BEST:: SOT 3263302 SOS 1205470 HAS SOPS 1205470 HAS SOUS 452134 HAS SOUPS 452134 WITH SCORE 453339.47
AT ITER 720 NEW BEST:: SOT 3263266 SOS 1205398 HAS SOPS 1205398 HAS SOUS 452098 HAS SOUPS 452098 WITH SCORE 453303.398
AT ITER 735 NEW BEST:: SOT 3263394 SOS 1204630 HAS SOPS 1204630 HAS SOUS 452021 HAS SOUPS 452021 WITH SCORE 453225.63
AT ITER 750 NEW BEST:: SOT 3263081 SOS 1204317 HAS SOPS 1204317 HAS SOUS 423781 HAS SOUPS 423781 WITH SCORE 424985.317
AT ITER 763 NEW BEST:: SOT 3263077 SOS 1204316 HAS SOPS 1204316 HAS SOUS 423780 HAS SOUPS 423780 WITH SCORE 424984.316
AT ITER 785 NEW BEST:: SOT 3263197 SOS 1204343 HAS SOPS 1204343 HAS SOUS 423687 HAS SOUPS 423687 WITH SCORE 424891.343
AT ITER 787 NEW BEST:: SOT 3263354 SOS 1204186 HAS SOPS 1204186 HAS SOUS 423687 HAS SOUPS 423687 WITH SCORE 424891.186
AT ITER 793 NEW BEST:: SOT 3263354 SOS 1204186 HAS SOPS 1204186 HAS SOUS 423643 HAS SOUPS 423643 WITH SCORE 424847.186
AT ITER 801 NEW BEST:: SOT 3263298 SOS 1204074 HAS SOPS 1204074 HAS SOUS 423531 HAS SOUPS 423531 WITH SCORE 424735.074
AT ITER 816 NEW BEST:: SOT 3263210 SOS 1203898 HAS SOPS 1203898 HAS SOUS 423379 HAS SOUPS 423379 WITH SCORE 424582.898
AT ITER 823 NEW BEST:: SOT 3263168 SOS 1203814 HAS SOPS 1203814 HAS SOUS 423295 HAS SOUPS 423295 WITH SCORE 424498.814
AT ITER 837 NEW BEST:: SOT 3263050 SOS 1203578 HAS SOPS 1203578 HAS SOUS 423059 HAS SOUPS 423059 WITH SCORE 424262.578
AT ITER 840 NEW BEST:: SOT 3263032 SOS 1203560 HAS SOPS 1203560 HAS SOUS 423058 HAS SOUPS 423058 WITH SCORE 424261.56
AT ITER 875 NEW BEST:: SOT 3263092 SOS 1203680 HAS SOPS 1203680 HAS SOUS 422983 HAS SOUPS 422983 WITH SCORE 424186.68
AT ITER 878 NEW BEST:: SOT 3262934 SOS 1203364 HAS SOPS 1203364 HAS SOUS 422798 HAS SOUPS 422798 WITH SCORE 424001.364
AT ITER 927 NEW BEST:: SOT 3262795 SOS 1203086 HAS SOPS 1203086 HAS SOUS 422520 HAS SOUPS 422520 WITH SCORE 423723.086
AT ITER 937 NEW BEST:: SOT 3262143 SOS 1203006 HAS SOPS 1203006 HAS SOUS 422025 HAS SOUPS 422025 WITH SCORE 423228.006
AT ITER 940 NEW BEST:: SOT 3262369 SOS 1203458 HAS SOPS 1203458 HAS SOUS 421842 HAS SOUPS 421842 WITH SCORE 423045.458
AT ITER 946 NEW BEST:: SOT 3262709 SOS 1202778 HAS SOPS 1202778 HAS SOUS 421842 HAS SOUPS 421842 WITH SCORE 423044.778
AT ITER 952 NEW BEST:: SOT 3262660 SOS 1202680 HAS SOPS 1202680 HAS SOUS 421744 HAS SOUPS 421744 WITH SCORE 422946.68
AT ITER 976 NEW BEST:: SOT 3262654 SOS 1202668 HAS SOPS 1202668 HAS SOUS 421731 HAS SOUPS 421731 WITH SCORE 422933.668
AT ITER 977 NEW BEST:: SOT 3262654 SOS 1202668 HAS SOPS 1202668 HAS SOUS 421725 HAS SOUPS 421725 WITH SCORE 422927.668
AT ITER 989 NEW BEST:: SOT 3262545 SOS 1202559 HAS SOPS 1202559 HAS SOUS 421656 HAS SOUPS 421656 WITH SCORE 422858.559
AT ITER 994 NEW BEST:: SOT 3262516 SOS 1202437 HAS SOPS 1202437 HAS SOUS 421534 HAS SOUPS 421534 WITH SCORE 422736.437
AT ITER 1006 NEW BEST:: SOT 3262274 SOS 1202316 HAS SOPS 1202316 HAS SOUS 421292 HAS SOUPS 421292 WITH SCORE 422494.316
AT ITER 1009 NEW BEST:: SOT 3262262 SOS 1202292 HAS SOPS 1202292 HAS SOUS 421190 HAS SOUPS 421190 WITH SCORE 422392.292
AT ITER 1027 NEW BEST:: SOT 3262022 SOS 1202112 HAS SOPS 1202112 HAS SOUS 420950 HAS SOUPS 420950 WITH SCORE 422152.112
AT ITER 1039 NEW BEST:: SOT 3261897 SOS 1201862 HAS SOPS 1201862 HAS SOUS 420700 HAS SOUPS 420700 WITH SCORE 421901.862
AT ITER 1054 NEW BEST:: SOT 3261811 SOS 1201819 HAS SOPS 1201819 HAS SOUS 420399 HAS SOUPS 420399 WITH SCORE 421600.819
AT ITER 1063 NEW BEST:: SOT 3261648 SOS 1201493 HAS SOPS 1201493 HAS SOUS 420399 HAS SOUPS 420399 WITH SCORE 421600.493
AT ITER 1097 NEW BEST:: SOT 3261591 SOS 1201379 HAS SOPS 1201379 HAS SOUS 420285 HAS SOUPS 420285 WITH SCORE 421486.379
AT ITER 1107 NEW BEST:: SOT 3261554 SOS 1201749 HAS SOPS 1201749 HAS SOUS 420248 HAS SOUPS 420248 WITH SCORE 421449.749
AT ITER 1127 NEW BEST:: SOT 3261552 SOS 1201849 HAS SOPS 1201849 HAS SOUS 420246 HAS SOUPS 420246 WITH SCORE 421447.849
AT ITER 1128 NEW BEST:: SOT 3261506 SOS 1202285 HAS SOPS 1202285 HAS SOUS 417534 HAS SOUPS 417534 WITH SCORE 418736.285
AT ITER 1155 NEW BEST:: SOT 3261442 SOS 1202157 HAS SOPS 1202157 HAS SOUS 417470 HAS SOUPS 417470 WITH SCORE 418672.157
AT ITER 1156 NEW BEST:: SOT 3261439 SOS 1202151 HAS SOPS 1202151 HAS SOUS 417466 HAS SOUPS 417466 WITH SCORE 418668.151
AT ITER 1158 NEW BEST:: SOT 3261230 SOS 1201733 HAS SOPS 1201733 HAS SOUS 417082 HAS SOUPS 417082 WITH SCORE 418283.733
AT ITER 1163 NEW BEST:: SOT 3261135 SOS 1201638 HAS SOPS 1201638 HAS SOUS 416987 HAS SOUPS 416987 WITH SCORE 418188.638
AT ITER 1170 NEW BEST:: SOT 3288274 SOS 1228358 HAS SOPS 1228358 HAS SOUS 415125 HAS SOUPS 415125 WITH SCORE 416353.358
AT ITER 1189 NEW BEST:: SOT 3288198 SOS 1228206 HAS SOPS 1228206 HAS SOUS 415011 HAS SOUPS 415011 WITH SCORE 416239.206
AT ITER 1198 NEW BEST:: SOT 3288153 SOS 1228085 HAS SOPS 1228085 HAS SOUS 414949 HAS SOUPS 414949 WITH SCORE 416177.085
AT ITER 1201 NEW BEST:: SOT 3288153 SOS 1228077 HAS SOPS 1228077 HAS SOUS 414949 HAS SOUPS 414949 WITH SCORE 416177.077
AT ITER 1203 NEW BEST:: SOT 3288099 SOS 1228159 HAS SOPS 1228159 HAS SOUS 414825 HAS SOUPS 414825 WITH SCORE 416053.159
AT ITER 1214 NEW BEST:: SOT 3288003 SOS 1228159 HAS SOPS 1228159 HAS SOUS 414633 HAS SOUPS 414633 WITH SCORE 415861.159
AT ITER 1221 NEW BEST:: SOT 3287934 SOS 1228058 HAS SOPS 1228058 HAS SOUS 414569 HAS SOUPS 414569 WITH SCORE 415797.058
AT ITER 1231 NEW BEST:: SOT 3286566 SOS 1236513 HAS SOPS 1236513 HAS SOUS 414184 HAS SOUPS 414184 WITH SCORE 415420.513
AT ITER 1255 NEW BEST:: SOT 3286540 SOS 1236461 HAS SOPS 1236461 HAS SOUS 414132 HAS SOUPS 414132 WITH SCORE 415368.461
AT ITER 1271 NEW BEST:: SOT 3286484 SOS 1236419 HAS SOPS 1236419 HAS SOUS 414090 HAS SOUPS 414090 WITH SCORE 415326.419
AT ITER 1274 NEW BEST:: SOT 3286335 SOS 1236270 HAS SOPS 1236270 HAS SOUS 413792 HAS SOUPS 413792 WITH SCORE 415028.27
AT ITER 1280 NEW BEST:: SOT 3286241 SOS 1236149 HAS SOPS 1236149 HAS SOUS 413671 HAS SOUPS 413671 WITH SCORE 414907.149
AT ITER 1283 NEW BEST:: SOT 3286240 SOS 1236147 HAS SOPS 1236147 HAS SOUS 413669 HAS SOUPS 413669 WITH SCORE 414905.147
AT ITER 1284 NEW BEST:: SOT 3285858 SOS 1235956 HAS SOPS 1235956 HAS SOUS 413287 HAS SOUPS 413287 WITH SCORE 414522.956
AT ITER 1307 NEW BEST:: SOT 3285843 SOS 1235926 HAS SOPS 1235926 HAS SOUS 413272 HAS SOUPS 413272 WITH SCORE 414507.926
AT ITER 1308 NEW BEST:: SOT 3285751 SOS 1235834 HAS SOPS 1235834 HAS SOUS 413180 HAS SOUPS 413180 WITH SCORE 414415.834
AT ITER 1327 NEW BEST:: SOT 3285747 SOS 1235830 HAS SOPS 1235830 HAS SOUS 413176 HAS SOUPS 413176 WITH SCORE 414411.83
AT ITER 1330 NEW BEST:: SOT 3285643 SOS 1235206 HAS SOPS 1235206 HAS SOUS 413072 HAS SOUPS 413072 WITH SCORE 414307.206
AT ITER 1333 NEW BEST:: SOT 3285594 SOS 1235210 HAS SOPS 1235210 HAS SOUS 412879 HAS SOUPS 412879 WITH SCORE 414114.21
AT ITER 1334 NEW BEST:: SOT 3285432 SOS 1235468 HAS SOPS 1235468 HAS SOUS 412769 HAS SOUPS 412769 WITH SCORE 414004.468
AT ITER 1337 NEW BEST:: SOT 3285396 SOS 1235396 HAS SOPS 1235396 HAS SOUS 412697 HAS SOUPS 412697 WITH SCORE 413932.396
AT ITER 1338 NEW BEST:: SOT 3285396 SOS 1235221 HAS SOPS 1235221 HAS SOUS 412697 HAS SOUPS 412697 WITH SCORE 413932.221
AT ITER 1347 NEW BEST:: SOT 3285396 SOS 1235221 HAS SOPS 1235221 HAS SOUS 412656 HAS SOUPS 412656 WITH SCORE 413891.221
AT ITER 1349 NEW BEST:: SOT 3285343 SOS 1235029 HAS SOPS 1235029 HAS SOUS 412464 HAS SOUPS 412464 WITH SCORE 413699.029
AT ITER 1355 NEW BEST:: SOT 3285302 SOS 1235415 HAS SOPS 1235415 HAS SOUS 412423 HAS SOUPS 412423 WITH SCORE 413658.415
AT ITER 1389 NEW BEST:: SOT 3285272 SOS 1235385 HAS SOPS 1235385 HAS SOUS 412393 HAS SOUPS 412393 WITH SCORE 413628.385
AT ITER 1407 NEW BEST:: SOT 3285272 SOS 1235333 HAS SOPS 1235333 HAS SOUS 412306 HAS SOUPS 412306 WITH SCORE 413541.333
AT ITER 1409 NEW BEST:: SOT 3285182 SOS 1235289 HAS SOPS 1235289 HAS SOUS 412099 HAS SOUPS 412099 WITH SCORE 413334.289
AT ITER 1435 NEW BEST:: SOT 3285071 SOS 1235067 HAS SOPS 1235067 HAS SOUS 411877 HAS SOUPS 411877 WITH SCORE 413112.067
AT ITER 1437 NEW BEST:: SOT 3284996 SOS 1235017 HAS SOPS 1235017 HAS SOUS 411802 HAS SOUPS 411802 WITH SCORE 413037.017
AT ITER 1446 NEW BEST:: SOT 3284996 SOS 1234741 HAS SOPS 1234741 HAS SOUS 411795 HAS SOUPS 411795 WITH SCORE 413029.741
AT ITER 1458 NEW BEST:: SOT 3284928 SOS 1235489 HAS SOPS 1235489 HAS SOUS 411727 HAS SOUPS 411727 WITH SCORE 412962.489
AT ITER 1462 NEW BEST:: SOT 3284907 SOS 1235468 HAS SOPS 1235468 HAS SOUS 411727 HAS SOUPS 411727 WITH SCORE 412962.468
AT ITER 1477 NEW BEST:: SOT 3284709 SOS 1235298 HAS SOPS 1235298 HAS SOUS 411302 HAS SOUPS 411302 WITH SCORE 412537.298
AT ITER 1496 NEW BEST:: SOT 3284728 SOS 1235336 HAS SOPS 1235336 HAS SOUS 411244 HAS SOUPS 411244 WITH SCORE 412479.336
AT ITER 1514 NEW BEST:: SOT 3284611 SOS 1234868 HAS SOPS 1234868 HAS SOUS 411127 HAS SOUPS 411127 WITH SCORE 412361.868
AT ITER 1523 NEW BEST:: SOT 3284611 SOS 1234868 HAS SOPS 1234868 HAS SOUS 411088 HAS SOUPS 411088 WITH SCORE 412322.868
AT ITER 1541 NEW BEST:: SOT 3284611 SOS 1234868 HAS SOPS 1234868 HAS SOUS 411057 HAS SOUPS 411057 WITH SCORE 412291.868
AT ITER 1583 NEW BEST:: SOT 3284611 SOS 1234843 HAS SOPS 1234843 HAS SOUS 411012 HAS SOUPS 411012 WITH SCORE 412246.843
AT ITER 1618 NEW BEST:: SOT 3284610 SOS 1234841 HAS SOPS 1234841 HAS SOUS 411010 HAS SOUPS 411010 WITH SCORE 412244.841
AT ITER 1622 NEW BEST:: SOT 3284295 SOS 1235596 HAS SOPS 1235596 HAS SOUS 410688 HAS SOUPS 410688 WITH SCORE 411923.596
AT ITER 1639 NEW BEST:: SOT 3284129 SOS 1235719 HAS SOPS 1235719 HAS SOUS 410265 HAS SOUPS 410265 WITH SCORE 411500.719
AT ITER 1641 NEW BEST:: SOT 3284089 SOS 1235726 HAS SOPS 1235726 HAS SOUS 410225 HAS SOUPS 410225 WITH SCORE 411460.726
AT ITER 1650 NEW BEST:: SOT 3284089 SOS 1235726 HAS SOPS 1235726 HAS SOUS 410172 HAS SOUPS 410172 WITH SCORE 411407.726
AT ITER 1669 NEW BEST:: SOT 3283735 SOS 1235498 HAS SOPS 1235498 HAS SOUS 409887 HAS SOUPS 409887 WITH SCORE 411122.498
AT ITER 1677 NEW BEST:: SOT 3283698 SOS 1235540 HAS SOPS 1235540 HAS SOUS 409832 HAS SOUPS 409832 WITH SCORE 411067.54
AT ITER 1681 NEW BEST:: SOT 3283698 SOS 1235540 HAS SOPS 1235540 HAS SOUS 409521 HAS SOUPS 409521 WITH SCORE 410756.54
AT ITER 1684 NEW BEST:: SOT 3283698 SOS 1235514 HAS SOPS 1235514 HAS SOUS 409498 HAS SOUPS 409498 WITH SCORE 410733.514
AT ITER 1701 NEW BEST:: SOT 3283698 SOS 1235514 HAS SOPS 1235514 HAS SOUS 409472 HAS SOUPS 409472 WITH SCORE 410707.514
AT ITER 1704 NEW BEST:: SOT 3283446 SOS 1235236 HAS SOPS 1235236 HAS SOUS 409272 HAS SOUPS 409272 WITH SCORE 410507.236
AT ITER 1711 NEW BEST:: SOT 3283436 SOS 1235246 HAS SOPS 1235246 HAS SOUS 409257 HAS SOUPS 409257 WITH SCORE 410492.246
AT ITER 1738 NEW BEST:: SOT 3283328 SOS 1235138 HAS SOPS 1235138 HAS SOUS 409149 HAS SOUPS 409149 WITH SCORE 410384.138
AT ITER 1741 NEW BEST:: SOT 3283208 SOS 1236453 HAS SOPS 1236453 HAS SOUS 409029 HAS SOUPS 409029 WITH SCORE 410265.453
AT ITER 1743 NEW BEST:: SOT 3283158 SOS 1236173 HAS SOPS 1236173 HAS SOUS 408959 HAS SOUPS 408959 WITH SCORE 410195.173
AT ITER 1750 NEW BEST:: SOT 3282158 SOS 1235373 HAS SOPS 1235373 HAS SOUS 408159 HAS SOUPS 408159 WITH SCORE 409394.373
AT ITER 1760 NEW BEST:: SOT 3282058 SOS 1235411 HAS SOPS 1235411 HAS SOUS 408070 HAS SOUPS 408070 WITH SCORE 409305.411
AT ITER 1770 NEW BEST:: SOT 3282058 SOS 1235801 HAS SOPS 1235801 HAS SOUS 397204 HAS SOUPS 397204 WITH SCORE 398439.801
AT ITER 1777 NEW BEST:: SOT 3282058 SOS 1235545 HAS SOPS 1235545 HAS SOUS 396884 HAS SOUPS 396884 WITH SCORE 398119.545
AT ITER 1780 NEW BEST:: SOT 3281949 SOS 1235486 HAS SOPS 1235486 HAS SOUS 396616 HAS SOUPS 396616 WITH SCORE 397851.486
AT ITER 1782 NEW BEST:: SOT 3281949 SOS 1235429 HAS SOPS 1235429 HAS SOUS 396560 HAS SOUPS 396560 WITH SCORE 397795.429
AT ITER 1783 NEW BEST:: SOT 3281945 SOS 1235421 HAS SOPS 1235421 HAS SOUS 396552 HAS SOUPS 396552 WITH SCORE 397787.421
AT ITER 1815 NEW BEST:: SOT 3281761 SOS 1235053 HAS SOPS 1235053 HAS SOUS 396550 HAS SOUPS 396550 WITH SCORE 397785.053
AT ITER 1821 NEW BEST:: SOT 3281610 SOS 1234751 HAS SOPS 1234751 HAS SOUS 396217 HAS SOUPS 396217 WITH SCORE 397451.751
AT ITER 1835 NEW BEST:: SOT 3281610 SOS 1234472 HAS SOPS 1234472 HAS SOUS 395879 HAS SOUPS 395879 WITH SCORE 397113.472
AT ITER 1868 NEW BEST:: SOT 3281594 SOS 1234456 HAS SOPS 1234456 HAS SOUS 395879 HAS SOUPS 395879 WITH SCORE 397113.456
AT ITER 1870 NEW BEST:: SOT 3281423 SOS 1235219 HAS SOPS 1235219 HAS SOUS 395775 HAS SOUPS 395775 WITH SCORE 397010.219
AT ITER 1894 NEW BEST:: SOT 3281408 SOS 1234908 HAS SOPS 1234908 HAS SOUS 395464 HAS SOUPS 395464 WITH SCORE 396698.908
AT ITER 1915 NEW BEST:: SOT 3281392 SOS 1234876 HAS SOPS 1234876 HAS SOUS 395432 HAS SOUPS 395432 WITH SCORE 396666.876
AT ITER 1930 NEW BEST:: SOT 3281392 SOS 1234876 HAS SOPS 1234876 HAS SOUS 395431 HAS SOUPS 395431 WITH SCORE 396665.876
AT ITER 1933 NEW BEST:: SOT 3280752 SOS 1241481 HAS SOPS 1241481 HAS SOUS 395421 HAS SOUPS 395421 WITH SCORE 396662.481
AT ITER 1934 NEW BEST:: SOT 3280743 SOS 1241454 HAS SOPS 1241454 HAS SOUS 395403 HAS SOUPS 395403 WITH SCORE 396644.454
AT ITER 1935 NEW BEST:: SOT 3280381 SOS 1241092 HAS SOPS 1241092 HAS SOUS 395041 HAS SOUPS 395041 WITH SCORE 396282.092
AT ITER 1936 NEW BEST:: SOT 3280420 SOS 1241170 HAS SOPS 1241170 HAS SOUS 394754 HAS SOUPS 394754 WITH SCORE 395995.17
AT ITER 1942 NEW BEST:: SOT 3280259 SOS 1240790 HAS SOPS 1240790 HAS SOUS 394644 HAS SOUPS 394644 WITH SCORE 395884.79
AT ITER 1947 NEW BEST:: SOT 3280292 SOS 1234630 HAS SOPS 1234630 HAS SOUS 394597 HAS SOUPS 394597 WITH SCORE 395831.63
AT ITER 1948 NEW BEST:: SOT 3280228 SOS 1234533 HAS SOPS 1234533 HAS SOUS 391027 HAS SOUPS 391027 WITH SCORE 392261.533
AT ITER 1968 NEW BEST:: SOT 3279869 SOS 1234773 HAS SOPS 1234773 HAS SOUS 390793 HAS SOUPS 390793 WITH SCORE 392027.773
AT ITER 1975 NEW BEST:: SOT 3279869 SOS 1234773 HAS SOPS 1234773 HAS SOUS 390759 HAS SOUPS 390759 WITH SCORE 391993.773
AT ITER 1979 NEW BEST:: SOT 3279869 SOS 1234889 HAS SOPS 1234889 HAS SOUS 390669 HAS SOUPS 390669 WITH SCORE 391903.889
AT ITER 1987 NEW BEST:: SOT 3279865 SOS 1234885 HAS SOPS 1234885 HAS SOUS 390665 HAS SOUPS 390665 WITH SCORE 391899.885
AT ITER 1988 NEW BEST:: SOT 3279865 SOS 1235049 HAS SOPS 1235049 HAS SOUS 390647 HAS SOUPS 390647 WITH SCORE 391882.049
AT ITER 1991 NEW BEST:: SOT 3279729 SOS 1234777 HAS SOPS 1234777 HAS SOUS 390375 HAS SOUPS 390375 WITH SCORE 391609.777
AT ITER 2029 NEW BEST:: SOT 3279640 SOS 1234754 HAS SOPS 1234754 HAS SOUS 390352 HAS SOUPS 390352 WITH SCORE 391586.754
AT ITER 2030 NEW BEST:: SOT 3279640 SOS 1234598 HAS SOPS 1234598 HAS SOUS 390352 HAS SOUPS 390352 WITH SCORE 391586.598
AT ITER 2034 NEW BEST:: SOT 3279640 SOS 1233325 HAS SOPS 1233325 HAS SOUS 390352 HAS SOUPS 390352 WITH SCORE 391585.325
AT ITER 2043 NEW BEST:: SOT 3279319 SOS 1233603 HAS SOPS 1233603 HAS SOUS 390261 HAS SOUPS 390261 WITH SCORE 391494.603
AT ITER 2079 NEW BEST:: SOT 3279319 SOS 1233523 HAS SOPS 1233523 HAS SOUS 390261 HAS SOUPS 390261 WITH SCORE 391494.523
AT ITER 2103 NEW BEST:: SOT 3279203 SOS 1233612 HAS SOPS 1233612 HAS SOUS 390243 HAS SOUPS 390243 WITH SCORE 391476.612
AT ITER 2106 NEW BEST:: SOT 3279199 SOS 1233495 HAS SOPS 1233495 HAS SOUS 390126 HAS SOUPS 390126 WITH SCORE 391359.495
AT ITER 2118 NEW BEST:: SOT 3279111 SOS 1233319 HAS SOPS 1233319 HAS SOUS 390038 HAS SOUPS 390038 WITH SCORE 391271.319
AT ITER 2133 NEW BEST:: SOT 3279111 SOS 1233361 HAS SOPS 1233361 HAS SOUS 390035 HAS SOUPS 390035 WITH SCORE 391268.361
AT ITER 2142 NEW BEST:: SOT 3278927 SOS 1233041 HAS SOPS 1233041 HAS SOUS 389780 HAS SOUPS 389780 WITH SCORE 391013.041
AT ITER 2144 NEW BEST:: SOT 3278927 SOS 1233041 HAS SOPS 1233041 HAS SOUS 389675 HAS SOUPS 389675 WITH SCORE 390908.041
AT ITER 2151 NEW BEST:: SOT 3278882 SOS 1232951 HAS SOPS 1232951 HAS SOUS 389585 HAS SOUPS 389585 WITH SCORE 390817.951
AT ITER 2155 NEW BEST:: SOT 3278729 SOS 1232900 HAS SOPS 1232900 HAS SOUS 389483 HAS SOUPS 389483 WITH SCORE 390715.9
AT ITER 2162 NEW BEST:: SOT 3278729 SOS 1232884 HAS SOPS 1232884 HAS SOUS 389481 HAS SOUPS 389481 WITH SCORE 390713.884
AT ITER 2164 NEW BEST:: SOT 3278729 SOS 1232884 HAS SOPS 1232884 HAS SOUS 389476 HAS SOUPS 389476 WITH SCORE 390708.884
AT ITER 2170 NEW BEST:: SOT 3278407 SOS 1232562 HAS SOPS 1232562 HAS SOUS 389315 HAS SOUPS 389315 WITH SCORE 390547.562
AT ITER 2189 NEW BEST:: SOT 3278435 SOS 1232450 HAS SOPS 1232450 HAS SOUS 389044 HAS SOUPS 389044 WITH SCORE 390276.45
AT ITER 2197 NEW BEST:: SOT 3278435 SOS 1232450 HAS SOPS 1232450 HAS SOUS 389041 HAS SOUPS 389041 WITH SCORE 390273.45
AT ITER 2200 NEW BEST:: SOT 3278434 SOS 1232448 HAS SOPS 1232448 HAS SOUS 389039 HAS SOUPS 389039 WITH SCORE 390271.448
AT ITER 2202 NEW BEST:: SOT 3278384 SOS 1232216 HAS SOPS 1232216 HAS SOUS 388806 HAS SOUPS 388806 WITH SCORE 390038.216
AT ITER 2205 NEW BEST:: SOT 3278257 SOS 1234542 HAS SOPS 1234542 HAS SOUS 388253 HAS SOUPS 388253 WITH SCORE 389487.542
AT ITER 2212 NEW BEST:: SOT 3278247 SOS 1235509 HAS SOPS 1235509 HAS SOUS 387960 HAS SOUPS 387960 WITH SCORE 389195.509
AT ITER 2214 NEW BEST:: SOT 3277898 SOS 1235225 HAS SOPS 1235225 HAS SOUS 387665 HAS SOUPS 387665 WITH SCORE 388900.225
AT ITER 2222 NEW BEST:: SOT 3277923 SOS 1236689 HAS SOPS 1236689 HAS SOUS 387513 HAS SOUPS 387513 WITH SCORE 388749.689
AT ITER 2262 NEW BEST:: SOT 3277783 SOS 1236409 HAS SOPS 1236409 HAS SOUS 387373 HAS SOUPS 387373 WITH SCORE 388609.409
AT ITER 2281 NEW BEST:: SOT 3277783 SOS 1236409 HAS SOPS 1236409 HAS SOUS 387371 HAS SOUPS 387371 WITH SCORE 388607.409
AT ITER 2291 NEW BEST:: SOT 3277783 SOS 1236409 HAS SOPS 1236409 HAS SOUS 387254 HAS SOUPS 387254 WITH SCORE 388490.409
AT ITER 2304 NEW BEST:: SOT 3277783 SOS 1236384 HAS SOPS 1236384 HAS SOUS 387227 HAS SOUPS 387227 WITH SCORE 388463.384
AT ITER 2337 NEW BEST:: SOT 3277768 SOS 1236369 HAS SOPS 1236369 HAS SOUS 387197 HAS SOUPS 387197 WITH SCORE 388433.369
AT ITER 2347 NEW BEST:: SOT 3277768 SOS 1236369 HAS SOPS 1236369 HAS SOUS 387196 HAS SOUPS 387196 WITH SCORE 388432.369
AT ITER 2369 NEW BEST:: SOT 3277520 SOS 1236248 HAS SOPS 1236248 HAS SOUS 386950 HAS SOUPS 386950 WITH SCORE 388186.248
AT ITER 2381 NEW BEST:: SOT 3277511 SOS 1236230 HAS SOPS 1236230 HAS SOUS 386932 HAS SOUPS 386932 WITH SCORE 388168.23
AT ITER 2431 NEW BEST:: SOT 3277314 SOS 1235856 HAS SOPS 1235856 HAS SOUS 386833 HAS SOUPS 386833 WITH SCORE 388068.856
AT ITER 2447 NEW BEST:: SOT 3277303 SOS 1235834 HAS SOPS 1235834 HAS SOUS 386820 HAS SOUPS 386820 WITH SCORE 388055.834
AT ITER 2451 NEW BEST:: SOT 3277383 SOS 1235784 HAS SOPS 1235784 HAS SOUS 386795 HAS SOUPS 386795 WITH SCORE 388030.784
AT ITER 2455 NEW BEST:: SOT 3277377 SOS 1235766 HAS SOPS 1235766 HAS SOUS 386789 HAS SOUPS 386789 WITH SCORE 388024.766
AT ITER 2459 NEW BEST:: SOT 3276725 SOS 1240105 HAS SOPS 1240105 HAS SOUS 386514 HAS SOUPS 386514 WITH SCORE 387754.105
AT ITER 2462 NEW BEST:: SOT 3276622 SOS 1240114 HAS SOPS 1240114 HAS SOUS 386334 HAS SOUPS 386334 WITH SCORE 387574.114
AT ITER 2492 NEW BEST:: SOT 3276695 SOS 1239216 HAS SOPS 1239216 HAS SOUS 386105 HAS SOUPS 386105 WITH SCORE 387344.216
AT ITER 2495 NEW BEST:: SOT 3276200 SOS 1240536 HAS SOPS 1240536 HAS SOUS 385995 HAS SOUPS 385995 WITH SCORE 387235.536
AT ITER 2506 NEW BEST:: SOT 3276158 SOS 1240494 HAS SOPS 1240494 HAS SOUS 385995 HAS SOUPS 385995 WITH SCORE 387235.494
AT ITER 2509 NEW BEST:: SOT 3276151 SOS 1240487 HAS SOPS 1240487 HAS SOUS 385988 HAS SOUPS 385988 WITH SCORE 387228.487
AT ITER 2515 NEW BEST:: SOT 3276129 SOS 1240443 HAS SOPS 1240443 HAS SOUS 385944 HAS SOUPS 385944 WITH SCORE 387184.443
AT ITER 2530 NEW BEST:: SOT 3276177 SOS 1282306 HAS SOPS 1282306 HAS SOUS 385864 HAS SOUPS 385864 WITH SCORE 387146.306
AT ITER 2535 NEW BEST:: SOT 3276177 SOS 1282306 HAS SOPS 1282306 HAS SOUS 385863 HAS SOUPS 385863 WITH SCORE 387145.306
AT ITER 2537 NEW BEST:: SOT 3276177 SOS 1282306 HAS SOPS 1282306 HAS SOUS 385809 HAS SOUPS 385809 WITH SCORE 387091.306
AT ITER 2598 NEW BEST:: SOT 3276059 SOS 1282133 HAS SOPS 1282133 HAS SOUS 385690 HAS SOUPS 385690 WITH SCORE 386972.133
AT ITER 2604 NEW BEST:: SOT 3275915 SOS 1282250 HAS SOPS 1282250 HAS SOUS 385588 HAS SOUPS 385588 WITH SCORE 386870.25
AT ITER 2609 NEW BEST:: SOT 3275819 SOS 1281986 HAS SOPS 1281986 HAS SOUS 385396 HAS SOUPS 385396 WITH SCORE 386677.986
AT ITER 2612 NEW BEST:: SOT 3275787 SOS 1281922 HAS SOPS 1281922 HAS SOUS 385287 HAS SOUPS 385287 WITH SCORE 386568.922
AT ITER 2616 NEW BEST:: SOT 3275540 SOS 1281814 HAS SOPS 1281814 HAS SOUS 385040 HAS SOUPS 385040 WITH SCORE 386321.814
AT ITER 2628 NEW BEST:: SOT 3275524 SOS 1281846 HAS SOPS 1281846 HAS SOUS 385024 HAS SOUPS 385024 WITH SCORE 386305.846
AT ITER 2633 NEW BEST:: SOT 3275524 SOS 1281121 HAS SOPS 1281121 HAS SOUS 384861 HAS SOUPS 384861 WITH SCORE 386142.121
AT ITER 2647 NEW BEST:: SOT 3275400 SOS 1280873 HAS SOPS 1280873 HAS SOUS 384828 HAS SOUPS 384828 WITH SCORE 386108.873
AT ITER 2656 NEW BEST:: SOT 3275146 SOS 1280365 HAS SOPS 1280365 HAS SOUS 384320 HAS SOUPS 384320 WITH SCORE 385600.365
AT ITER 2725 NEW BEST:: SOT 3275176 SOS 1280671 HAS SOPS 1280671 HAS SOUS 384133 HAS SOUPS 384133 WITH SCORE 385413.671
AT ITER 2734 NEW BEST:: SOT 3275244 SOS 1280515 HAS SOPS 1280515 HAS SOUS 383977 HAS SOUPS 383977 WITH SCORE 385257.515
AT ITER 2735 NEW BEST:: SOT 3275244 SOS 1280515 HAS SOPS 1280515 HAS SOUS 383777 HAS SOUPS 383777 WITH SCORE 385057.515
AT ITER 2739 NEW BEST:: SOT 3275236 SOS 1280507 HAS SOPS 1280507 HAS SOUS 383777 HAS SOUPS 383777 WITH SCORE 385057.507
AT ITER 2743 NEW BEST:: SOT 3275204 SOS 1280507 HAS SOPS 1280507 HAS SOUS 383776 HAS SOUPS 383776 WITH SCORE 385056.507
AT ITER 2747 NEW BEST:: SOT 3275118 SOS 1280588 HAS SOPS 1280588 HAS SOUS 383677 HAS SOUPS 383677 WITH SCORE 384957.588
AT ITER 2759 NEW BEST:: SOT 3274565 SOS 1279720 HAS SOPS 1279720 HAS SOUS 382809 HAS SOUPS 382809 WITH SCORE 384088.72
AT ITER 2768 NEW BEST:: SOT 3274489 SOS 1279659 HAS SOPS 1279659 HAS SOUS 382706 HAS SOUPS 382706 WITH SCORE 383985.659
AT ITER 2778 NEW BEST:: SOT 3274374 SOS 1279143 HAS SOPS 1279143 HAS SOUS 382643 HAS SOUPS 382643 WITH SCORE 383922.143
AT ITER 2782 NEW BEST:: SOT 3274297 SOS 1278989 HAS SOPS 1278989 HAS SOUS 382507 HAS SOUPS 382507 WITH SCORE 383785.989
AT ITER 2783 NEW BEST:: SOT 3273943 SOS 1278863 HAS SOPS 1278863 HAS SOUS 382186 HAS SOUPS 382186 WITH SCORE 383464.863
AT ITER 2788 NEW BEST:: SOT 3273943 SOS 1278863 HAS SOPS 1278863 HAS SOUS 382174 HAS SOUPS 382174 WITH SCORE 383452.863
AT ITER 2796 NEW BEST:: SOT 3273933 SOS 1278853 HAS SOPS 1278853 HAS SOUS 382174 HAS SOUPS 382174 WITH SCORE 383452.853
AT ITER 2804 NEW BEST:: SOT 3273933 SOS 1278853 HAS SOPS 1278853 HAS SOUS 382063 HAS SOUPS 382063 WITH SCORE 383341.853
AT ITER 2819 NEW BEST:: SOT 3273917 SOS 1279059 HAS SOPS 1279059 HAS SOUS 381555 HAS SOUPS 381555 WITH SCORE 382834.059
AT ITER 2833 NEW BEST:: SOT 3273917 SOS 1278995 HAS SOPS 1278995 HAS SOUS 381496 HAS SOUPS 381496 WITH SCORE 382774.995
AT ITER 2835 NEW BEST:: SOT 3273917 SOS 1278888 HAS SOPS 1278888 HAS SOUS 381389 HAS SOUPS 381389 WITH SCORE 382667.888
AT ITER 2840 NEW BEST:: SOT 3273924 SOS 1278696 HAS SOPS 1278696 HAS SOUS 381293 HAS SOUPS 381293 WITH SCORE 382571.696
AT ITER 2846 NEW BEST:: SOT 3273908 SOS 1278712 HAS SOPS 1278712 HAS SOUS 381277 HAS SOUPS 381277 WITH SCORE 382555.712
AT ITER 2866 NEW BEST:: SOT 3273819 SOS 1278924 HAS SOPS 1278924 HAS SOUS 381266 HAS SOUPS 381266 WITH SCORE 382544.924
AT ITER 2908 NEW BEST:: SOT 3273712 SOS 1278796 HAS SOPS 1278796 HAS SOUS 381134 HAS SOUPS 381134 WITH SCORE 382412.796
AT ITER 2926 NEW BEST:: SOT 3273558 SOS 1278612 HAS SOPS 1278612 HAS SOUS 380950 HAS SOUPS 380950 WITH SCORE 382228.612
AT ITER 2927 NEW BEST:: SOT 3273531 SOS 1278585 HAS SOPS 1278585 HAS SOUS 380923 HAS SOUPS 380923 WITH SCORE 382201.585
AT ITER 2929 NEW BEST:: SOT 3273473 SOS 1278237 HAS SOPS 1278237 HAS SOUS 380865 HAS SOUPS 380865 WITH SCORE 382143.237
AT ITER 2947 NEW BEST:: SOT 3273054 SOS 1279808 HAS SOPS 1279808 HAS SOUS 380676 HAS SOUPS 380676 WITH SCORE 381955.808
AT ITER 2952 NEW BEST:: SOT 3272933 SOS 1279842 HAS SOPS 1279842 HAS SOUS 380526 HAS SOUPS 380526 WITH SCORE 381805.842
AT ITER 2996 NEW BEST:: SOT 3272933 SOS 1279680 HAS SOPS 1279680 HAS SOUS 380443 HAS SOUPS 380443 WITH SCORE 381722.68
AT ITER 3017 NEW BEST:: SOT 3272342 SOS 1280307 HAS SOPS 1280307 HAS SOUS 380254 HAS SOUPS 380254 WITH SCORE 381534.307
AT ITER 3020 NEW BEST:: SOT 3272435 SOS 1280493 HAS SOPS 1280493 HAS SOUS 380111 HAS SOUPS 380111 WITH SCORE 381391.493
AT ITER 3030 NEW BEST:: SOT 3272338 SOS 1280299 HAS SOPS 1280299 HAS SOUS 379994 HAS SOUPS 379994 WITH SCORE 381274.299
AT ITER 3035 NEW BEST:: SOT 3272149 SOS 1280447 HAS SOPS 1280447 HAS SOUS 379937 HAS SOUPS 379937 WITH SCORE 381217.447
AT ITER 3036 NEW BEST:: SOT 3272149 SOS 1280447 HAS SOPS 1280447 HAS SOUS 379806 HAS SOUPS 379806 WITH SCORE 381086.447
AT ITER 3045 NEW BEST:: SOT 3272110 SOS 1280392 HAS SOPS 1280392 HAS SOUS 379439 HAS SOUPS 379439 WITH SCORE 380719.392
AT ITER 3054 NEW BEST:: SOT 3272168 SOS 1281448 HAS SOPS 1281448 HAS SOUS 379409 HAS SOUPS 379409 WITH SCORE 380690.448
AT ITER 3055 NEW BEST:: SOT 3272168 SOS 1281329 HAS SOPS 1281329 HAS SOUS 379409 HAS SOUPS 379409 WITH SCORE 380690.329
AT ITER 3073 NEW BEST:: SOT 3272145 SOS 1281283 HAS SOPS 1281283 HAS SOUS 379409 HAS SOUPS 379409 WITH SCORE 380690.283
AT ITER 3121 NEW BEST:: SOT 3272169 SOS 1281331 HAS SOPS 1281331 HAS SOUS 379272 HAS SOUPS 379272 WITH SCORE 380553.331
AT ITER 3125 NEW BEST:: SOT 3272169 SOS 1281331 HAS SOPS 1281331 HAS SOUS 379164 HAS SOUPS 379164 WITH SCORE 380445.331
AT ITER 3155 NEW BEST:: SOT 3271991 SOS 1281202 HAS SOPS 1281202 HAS SOUS 378982 HAS SOUPS 378982 WITH SCORE 380263.202
AT ITER 3161 NEW BEST:: SOT 3271734 SOS 1277642 HAS SOPS 1277642 HAS SOUS 378853 HAS SOUPS 378853 WITH SCORE 380130.642
AT ITER 3165 NEW BEST:: SOT 3271353 SOS 1276880 HAS SOPS 1276880 HAS SOUS 378091 HAS SOUPS 378091 WITH SCORE 379367.88
AT ITER 3178 NEW BEST:: SOT 3271129 SOS 1276657 HAS SOPS 1276657 HAS SOUS 377867 HAS SOUPS 377867 WITH SCORE 379143.657
AT ITER 3182 NEW BEST:: SOT 3270973 SOS 1276609 HAS SOPS 1276609 HAS SOUS 377818 HAS SOUPS 377818 WITH SCORE 379094.609
AT ITER 3191 NEW BEST:: SOT 3271346 SOS 1276982 HAS SOPS 1276982 HAS SOUS 377781 HAS SOUPS 377781 WITH SCORE 379057.982
AT ITER 3196 NEW BEST:: SOT 3271304 SOS 1277650 HAS SOPS 1277650 HAS SOUS 377737 HAS SOUPS 377737 WITH SCORE 379014.65
AT ITER 3204 NEW BEST:: SOT 3271294 SOS 1277640 HAS SOPS 1277640 HAS SOUS 377711 HAS SOUPS 377711 WITH SCORE 378988.64
AT ITER 3207 NEW BEST:: SOT 3271319 SOS 1277553 HAS SOPS 1277553 HAS SOUS 377702 HAS SOUPS 377702 WITH SCORE 378979.553
AT ITER 3210 NEW BEST:: SOT 3271316 SOS 1277549 HAS SOPS 1277549 HAS SOUS 377698 HAS SOUPS 377698 WITH SCORE 378975.549
AT ITER 3212 NEW BEST:: SOT 3271316 SOS 1277500 HAS SOPS 1277500 HAS SOUS 377649 HAS SOUPS 377649 WITH SCORE 378926.5
AT ITER 3221 NEW BEST:: SOT 3271292 SOS 1277458 HAS SOPS 1277458 HAS SOUS 377589 HAS SOUPS 377589 WITH SCORE 378866.458
AT ITER 3232 NEW BEST:: SOT 3271104 SOS 1277082 HAS SOPS 1277082 HAS SOUS 377448 HAS SOUPS 377448 WITH SCORE 378725.082
AT ITER 3236 NEW BEST:: SOT 3270966 SOS 1276806 HAS SOPS 1276806 HAS SOUS 377436 HAS SOUPS 377436 WITH SCORE 378712.806
AT ITER 3258 NEW BEST:: SOT 3270994 SOS 1276729 HAS SOPS 1276729 HAS SOUS 377359 HAS SOUPS 377359 WITH SCORE 378635.729
AT ITER 3295 NEW BEST:: SOT 3270994 SOS 1276769 HAS SOPS 1276769 HAS SOUS 377351 HAS SOUPS 377351 WITH SCORE 378627.769
AT ITER 3299 NEW BEST:: SOT 3270950 SOS 1278247 HAS SOPS 1278247 HAS SOUS 377307 HAS SOUPS 377307 WITH SCORE 378585.247
AT ITER 3311 NEW BEST:: SOT 3270950 SOS 1278230 HAS SOPS 1278230 HAS SOUS 377285 HAS SOUPS 377285 WITH SCORE 378563.23
AT ITER 3323 NEW BEST:: SOT 3270885 SOS 1278250 HAS SOPS 1278250 HAS SOUS 377220 HAS SOUPS 377220 WITH SCORE 378498.25
AT ITER 3329 NEW BEST:: SOT 3270791 SOS 1278250 HAS SOPS 1278250 HAS SOUS 377126 HAS SOUPS 377126 WITH SCORE 378404.25
AT ITER 3333 NEW BEST:: SOT 3270914 SOS 1278227 HAS SOPS 1278227 HAS SOUS 377111 HAS SOUPS 377111 WITH SCORE 378389.227
AT ITER 3354 NEW BEST:: SOT 3270555 SOS 1277919 HAS SOPS 1277919 HAS SOUS 377085 HAS SOUPS 377085 WITH SCORE 378362.919
AT ITER 3365 NEW BEST:: SOT 3270086 SOS 1277683 HAS SOPS 1277683 HAS SOUS 376817 HAS SOUPS 376817 WITH SCORE 378094.683
AT ITER 3383 NEW BEST:: SOT 3270002 SOS 1277642 HAS SOPS 1277642 HAS SOUS 376649 HAS SOUPS 376649 WITH SCORE 377926.642
AT ITER 3391 NEW BEST:: SOT 3269939 SOS 1277516 HAS SOPS 1277516 HAS SOUS 376523 HAS SOUPS 376523 WITH SCORE 377800.516
AT ITER 3405 NEW BEST:: SOT 3270001 SOS 1277640 HAS SOPS 1277640 HAS SOUS 376168 HAS SOUPS 376168 WITH SCORE 377445.64
AT ITER 3406 NEW BEST:: SOT 3269973 SOS 1277610 HAS SOPS 1277610 HAS SOUS 376138 HAS SOUPS 376138 WITH SCORE 377415.61
AT ITER 3412 NEW BEST:: SOT 3268486 SOS 1292495 HAS SOPS 1292495 HAS SOUS 375042 HAS SOUPS 375042 WITH SCORE 376334.495
AT ITER 3418 NEW BEST:: SOT 3268308 SOS 1293205 HAS SOPS 1293205 HAS SOUS 374946 HAS SOUPS 374946 WITH SCORE 376239.205
AT ITER 3442 NEW BEST:: SOT 3268119 SOS 1293016 HAS SOPS 1293016 HAS SOUS 374757 HAS SOUPS 374757 WITH SCORE 376050.016
AT ITER 3466 NEW BEST:: SOT 3267859 SOS 1292817 HAS SOPS 1292817 HAS SOUS 374469 HAS SOUPS 374469 WITH SCORE 375761.817
AT ITER 3468 NEW BEST:: SOT 3267803 SOS 1292761 HAS SOPS 1292761 HAS SOUS 374413 HAS SOUPS 374413 WITH SCORE 375705.761
AT ITER 3481 NEW BEST:: SOT 3267778 SOS 1291829 HAS SOPS 1291829 HAS SOUS 374363 HAS SOUPS 374363 WITH SCORE 375654.829
AT ITER 3483 NEW BEST:: SOT 3267671 SOS 1291617 HAS SOPS 1291617 HAS SOUS 374149 HAS SOUPS 374149 WITH SCORE 375440.617
AT ITER 3488 NEW BEST:: SOT 3267609 SOS 1291493 HAS SOPS 1291493 HAS SOUS 373948 HAS SOUPS 373948 WITH SCORE 375239.493
AT ITER 3496 NEW BEST:: SOT 3267538 SOS 1291351 HAS SOPS 1291351 HAS SOUS 373806 HAS SOUPS 373806 WITH SCORE 375097.351
AT ITER 3503 NEW BEST:: SOT 3267538 SOS 1292462 HAS SOPS 1292462 HAS SOUS 373663 HAS SOUPS 373663 WITH SCORE 374955.462
AT ITER 3520 NEW BEST:: SOT 3267538 SOS 1292412 HAS SOPS 1292412 HAS SOUS 373653 HAS SOUPS 373653 WITH SCORE 374945.412
AT ITER 3528 NEW BEST:: SOT 3267533 SOS 1292402 HAS SOPS 1292402 HAS SOUS 373643 HAS SOUPS 373643 WITH SCORE 374935.402
AT ITER 3539 NEW BEST:: SOT 3267629 SOS 1293739 HAS SOPS 1293739 HAS SOUS 373606 HAS SOUPS 373606 WITH SCORE 374899.739
AT ITER 3569 NEW BEST:: SOT 3267557 SOS 1293110 HAS SOPS 1293110 HAS SOUS 373537 HAS SOUPS 373537 WITH SCORE 374830.11
AT ITER 3589 NEW BEST:: SOT 3267677 SOS 1293160 HAS SOPS 1293160 HAS SOUS 373258 HAS SOUPS 373258 WITH SCORE 374551.16
AT ITER 3598 NEW BEST:: SOT 3267553 SOS 1290992 HAS SOPS 1290992 HAS SOUS 373022 HAS SOUPS 373022 WITH SCORE 374312.992
AT ITER 3604 NEW BEST:: SOT 3267495 SOS 1291230 HAS SOPS 1291230 HAS SOUS 372906 HAS SOUPS 372906 WITH SCORE 374197.23
AT ITER 3614 NEW BEST:: SOT 3267464 SOS 1291168 HAS SOPS 1291168 HAS SOUS 372875 HAS SOUPS 372875 WITH SCORE 374166.168
AT ITER 3617 NEW BEST:: SOT 3267359 SOS 1286593 HAS SOPS 1286593 HAS SOUS 372863 HAS SOUPS 372863 WITH SCORE 374149.593
AT ITER 3633 NEW BEST:: SOT 3267376 SOS 1286864 HAS SOPS 1286864 HAS SOUS 372822 HAS SOUPS 372822 WITH SCORE 374108.864
AT ITER 3636 NEW BEST:: SOT 3267349 SOS 1286802 HAS SOPS 1286802 HAS SOUS 372817 HAS SOUPS 372817 WITH SCORE 374103.802
AT ITER 3645 NEW BEST:: SOT 3267297 SOS 1286698 HAS SOPS 1286698 HAS SOUS 372763 HAS SOUPS 372763 WITH SCORE 374049.698
AT ITER 3692 NEW BEST:: SOT 3267283 SOS 1286628 HAS SOPS 1286628 HAS SOUS 372721 HAS SOUPS 372721 WITH SCORE 374007.628
AT ITER 3705 NEW BEST:: SOT 3266945 SOS 1286290 HAS SOPS 1286290 HAS SOUS 372455 HAS SOUPS 372455 WITH SCORE 373741.29
AT ITER 3713 NEW BEST:: SOT 3266903 SOS 1286008 HAS SOPS 1286008 HAS SOUS 372371 HAS SOUPS 372371 WITH SCORE 373657.008
AT ITER 3734 NEW BEST:: SOT 3266903 SOS 1285886 HAS SOPS 1285886 HAS SOUS 372371 HAS SOUPS 372371 WITH SCORE 373656.886
AT ITER 3740 NEW BEST:: SOT 3266889 SOS 1285852 HAS SOPS 1285852 HAS SOUS 372337 HAS SOUPS 372337 WITH SCORE 373622.852
AT ITER 3745 NEW BEST:: SOT 3266848 SOS 1285811 HAS SOPS 1285811 HAS SOUS 372255 HAS SOUPS 372255 WITH SCORE 373540.811
AT ITER 3772 NEW BEST:: SOT 3266784 SOS 1285683 HAS SOPS 1285683 HAS SOUS 371956 HAS SOUPS 371956 WITH SCORE 373241.683
AT ITER 3798 NEW BEST:: SOT 3266700 SOS 1547187 HAS SOPS 1547187 HAS SOUS 371572 HAS SOUPS 371572 WITH SCORE 373119.187
AT ITER 3828 NEW BEST:: SOT 3266425 SOS 1546968 HAS SOPS 1546968 HAS SOUS 371353 HAS SOUPS 371353 WITH SCORE 372899.968
AT ITER 3845 NEW BEST:: SOT 3266382 SOS 1545433 HAS SOPS 1545433 HAS SOUS 371267 HAS SOUPS 371267 WITH SCORE 372812.433
AT ITER 3853 NEW BEST:: SOT 3266382 SOS 1545257 HAS SOPS 1545257 HAS SOUS 371267 HAS SOUPS 371267 WITH SCORE 372812.257
AT ITER 3855 NEW BEST:: SOT 3266316 SOS 1545257 HAS SOPS 1545257 HAS SOUS 371266 HAS SOUPS 371266 WITH SCORE 372811.257
AT ITER 3860 NEW BEST:: SOT 3266252 SOS 1545225 HAS SOPS 1545225 HAS SOUS 371170 HAS SOUPS 371170 WITH SCORE 372715.225
AT ITER 3866 NEW BEST:: SOT 3266232 SOS 1545185 HAS SOPS 1545185 HAS SOUS 371170 HAS SOUPS 371170 WITH SCORE 372715.185
AT ITER 3889 NEW BEST:: SOT 3266214 SOS 1545149 HAS SOPS 1545149 HAS SOUS 371134 HAS SOUPS 371134 WITH SCORE 372679.149
AT ITER 3890 NEW BEST:: SOT 3266100 SOS 1545206 HAS SOPS 1545206 HAS SOUS 371077 HAS SOUPS 371077 WITH SCORE 372622.206
AT ITER 3895 NEW BEST:: SOT 3266162 SOS 1545306 HAS SOPS 1545306 HAS SOUS 370966 HAS SOUPS 370966 WITH SCORE 372511.306
AT ITER 3914 NEW BEST:: SOT 3266162 SOS 1545306 HAS SOPS 1545306 HAS SOUS 370964 HAS SOUPS 370964 WITH SCORE 372509.306
AT ITER 3934 NEW BEST:: SOT 3266228 SOS 1545281 HAS SOPS 1545281 HAS SOUS 370939 HAS SOUPS 370939 WITH SCORE 372484.281
AT ITER 3936 NEW BEST:: SOT 3266202 SOS 1545229 HAS SOPS 1545229 HAS SOUS 370887 HAS SOUPS 370887 WITH SCORE 372432.229
AT ITER 3949 NEW BEST:: SOT 3266075 SOS 1544975 HAS SOPS 1544975 HAS SOUS 370794 HAS SOUPS 370794 WITH SCORE 372338.975
AT ITER 3962 NEW BEST:: SOT 3266115 SOS 1544599 HAS SOPS 1544599 HAS SOUS 370779 HAS SOUPS 370779 WITH SCORE 372323.599
AT ITER 3982 NEW BEST:: SOT 3266058 SOS 1544485 HAS SOPS 1544485 HAS SOUS 370665 HAS SOUPS 370665 WITH SCORE 372209.485
AT ITER 3991 NEW BEST:: SOT 3265956 SOS 1544561 HAS SOPS 1544561 HAS SOUS 370651 HAS SOUPS 370651 WITH SCORE 372195.561
AT ITER 4030 NEW BEST:: SOT 3265865 SOS 1543830 HAS SOPS 1543830 HAS SOUS 370558 HAS SOUPS 370558 WITH SCORE 372101.83
AT ITER 4041 NEW BEST:: SOT 3265738 SOS 1543576 HAS SOPS 1543576 HAS SOUS 370440 HAS SOUPS 370440 WITH SCORE 371983.576
AT ITER 4054 NEW BEST:: SOT 3265738 SOS 1543576 HAS SOPS 1543576 HAS SOUS 370344 HAS SOUPS 370344 WITH SCORE 371887.576
AT ITER 4062 NEW BEST:: SOT 3265535 SOS 1543170 HAS SOPS 1543170 HAS SOUS 369938 HAS SOUPS 369938 WITH SCORE 371481.17
AT ITER 4067 NEW BEST:: SOT 3265491 SOS 1543126 HAS SOPS 1543126 HAS SOUS 369906 HAS SOUPS 369906 WITH SCORE 371449.126
AT ITER 4068 NEW BEST:: SOT 3265490 SOS 1543124 HAS SOPS 1543124 HAS SOUS 369904 HAS SOUPS 369904 WITH SCORE 371447.124
AT ITER 4073 NEW BEST:: SOT 3265490 SOS 1543124 HAS SOPS 1543124 HAS SOUS 369793 HAS SOUPS 369793 WITH SCORE 371336.124
AT ITER 4079 NEW BEST:: SOT 3265464 SOS 1542864 HAS SOPS 1542864 HAS SOUS 369718 HAS SOUPS 369718 WITH SCORE 371260.864
AT ITER 4084 NEW BEST:: SOT 3265316 SOS 1542716 HAS SOPS 1542716 HAS SOUS 369718 HAS SOUPS 369718 WITH SCORE 371260.716
AT ITER 4093 NEW BEST:: SOT 3265273 SOS 1542714 HAS SOPS 1542714 HAS SOUS 369714 HAS SOUPS 369714 WITH SCORE 371256.714
AT ITER 4095 NEW BEST:: SOT 3264499 SOS 1547675 HAS SOPS 1547675 HAS SOUS 369277 HAS SOUPS 369277 WITH SCORE 370824.675
AT ITER 4105 NEW BEST:: SOT 3264499 SOS 1547612 HAS SOPS 1547612 HAS SOUS 369214 HAS SOUPS 369214 WITH SCORE 370761.612
AT ITER 4111 NEW BEST:: SOT 3264421 SOS 1547581 HAS SOPS 1547581 HAS SOUS 369136 HAS SOUPS 369136 WITH SCORE 370683.581
AT ITER 4112 NEW BEST:: SOT 3264563 SOS 1547497 HAS SOPS 1547497 HAS SOUS 368910 HAS SOUPS 368910 WITH SCORE 370457.497
AT ITER 4115 NEW BEST:: SOT 3264491 SOS 1547425 HAS SOPS 1547425 HAS SOUS 368910 HAS SOUPS 368910 WITH SCORE 370457.425
AT ITER 4124 NEW BEST:: SOT 3264575 SOS 1547763 HAS SOPS 1547763 HAS SOUS 368908 HAS SOUPS 368908 WITH SCORE 370455.763
AT ITER 4139 NEW BEST:: SOT 3264612 SOS 1547987 HAS SOPS 1547987 HAS SOUS 368495 HAS SOUPS 368495 WITH SCORE 370042.987
AT ITER 4146 NEW BEST:: SOT 3264883 SOS 1547919 HAS SOPS 1547919 HAS SOUS 368407 HAS SOUPS 368407 WITH SCORE 369954.919
AT ITER 4159 NEW BEST:: SOT 3264778 SOS 1547910 HAS SOPS 1547910 HAS SOUS 368309 HAS SOUPS 368309 WITH SCORE 369856.91
AT ITER 4201 NEW BEST:: SOT 3264778 SOS 1547950 HAS SOPS 1547950 HAS SOUS 368307 HAS SOUPS 368307 WITH SCORE 369854.95
AT ITER 4220 NEW BEST:: SOT 3264707 SOS 1547808 HAS SOPS 1547808 HAS SOUS 368047 HAS SOUPS 368047 WITH SCORE 369594.808
AT ITER 4250 NEW BEST:: SOT 3264637 SOS 1547668 HAS SOPS 1547668 HAS SOUS 367833 HAS SOUPS 367833 WITH SCORE 369380.668
AT ITER 4265 NEW BEST:: SOT 3264637 SOS 1547668 HAS SOPS 1547668 HAS SOUS 367754 HAS SOUPS 367754 WITH SCORE 369301.668
AT ITER 4267 NEW BEST:: SOT 3264620 SOS 1547634 HAS SOPS 1547634 HAS SOUS 367678 HAS SOUPS 367678 WITH SCORE 369225.634
AT ITER 4278 NEW BEST:: SOT 3264289 SOS 1546972 HAS SOPS 1546972 HAS SOUS 367237 HAS SOUPS 367237 WITH SCORE 368783.972
AT ITER 4282 NEW BEST:: SOT 3264250 SOS 1546894 HAS SOPS 1546894 HAS SOUS 367198 HAS SOUPS 367198 WITH SCORE 368744.894
AT ITER 4285 NEW BEST:: SOT 3264194 SOS 1546782 HAS SOPS 1546782 HAS SOUS 367145 HAS SOUPS 367145 WITH SCORE 368691.782
AT ITER 4300 NEW BEST:: SOT 3264193 SOS 1546780 HAS SOPS 1546780 HAS SOUS 367143 HAS SOUPS 367143 WITH SCORE 368689.78
AT ITER 4301 NEW BEST:: SOT 3264279 SOS 1546694 HAS SOPS 1546694 HAS SOUS 367143 HAS SOUPS 367143 WITH SCORE 368689.694
AT ITER 4320 NEW BEST:: SOT 3264192 SOS 1546605 HAS SOPS 1546605 HAS SOUS 367056 HAS SOUPS 367056 WITH SCORE 368602.605
AT ITER 4324 NEW BEST:: SOT 3264159 SOS 1546563 HAS SOPS 1546563 HAS SOUS 367026 HAS SOUPS 367026 WITH SCORE 368572.563
AT ITER 4327 NEW BEST:: SOT 3264255 SOS 1546755 HAS SOPS 1546755 HAS SOUS 367018 HAS SOUPS 367018 WITH SCORE 368564.755
AT ITER 4337 NEW BEST:: SOT 3264235 SOS 1546715 HAS SOPS 1546715 HAS SOUS 366978 HAS SOUPS 366978 WITH SCORE 368524.715
AT ITER 4363 NEW BEST:: SOT 3264196 SOS 1546637 HAS SOPS 1546637 HAS SOUS 366939 HAS SOUPS 366939 WITH SCORE 368485.637
AT ITER 4370 NEW BEST:: SOT 3264088 SOS 1546421 HAS SOPS 1546421 HAS SOUS 366734 HAS SOUPS 366734 WITH SCORE 368280.421
AT ITER 4382 NEW BEST:: SOT 3264039 SOS 1546470 HAS SOPS 1546470 HAS SOUS 366685 HAS SOUPS 366685 WITH SCORE 368231.47
AT ITER 4403 NEW BEST:: SOT 3264036 SOS 1546464 HAS SOPS 1546464 HAS SOUS 366682 HAS SOUPS 366682 WITH SCORE 368228.464
AT ITER 4408 NEW BEST:: SOT 3263311 SOS 1546136 HAS SOPS 1546136 HAS SOUS 366144 HAS SOUPS 366144 WITH SCORE 367690.136
AT ITER 4417 NEW BEST:: SOT 3263342 SOS 1546198 HAS SOPS 1546198 HAS SOUS 366011 HAS SOUPS 366011 WITH SCORE 367557.198
AT ITER 4440 NEW BEST:: SOT 3263292 SOS 1546048 HAS SOPS 1546048 HAS SOUS 365911 HAS SOUPS 365911 WITH SCORE 367457.048
AT ITER 4471 NEW BEST:: SOT 3263292 SOS 1545907 HAS SOPS 1545907 HAS SOUS 365911 HAS SOUPS 365911 WITH SCORE 367456.907
AT ITER 4525 NEW BEST:: SOT 3263229 SOS 1545991 HAS SOPS 1545991 HAS SOUS 365890 HAS SOUPS 365890 WITH SCORE 367435.991
AT ITER 4530 NEW BEST:: SOT 3263099 SOS 1545861 HAS SOPS 1545861 HAS SOUS 365825 HAS SOUPS 365825 WITH SCORE 367370.861
AT ITER 4534 NEW BEST:: SOT 3263099 SOS 1545861 HAS SOPS 1545861 HAS SOUS 365811 HAS SOUPS 365811 WITH SCORE 367356.861
AT ITER 4538 NEW BEST:: SOT 3263013 SOS 1432136 HAS SOPS 1432136 HAS SOUS 365639 HAS SOUPS 365639 WITH SCORE 367071.136
AT ITER 4588 NEW BEST:: SOT 3262922 SOS 1431954 HAS SOPS 1431954 HAS SOUS 365457 HAS SOUPS 365457 WITH SCORE 366888.954
AT ITER 4606 NEW BEST:: SOT 3262765 SOS 1431640 HAS SOPS 1431640 HAS SOUS 365143 HAS SOUPS 365143 WITH SCORE 366574.64
AT ITER 4613 NEW BEST:: SOT 3262779 SOS 1431705 HAS SOPS 1431705 HAS SOUS 365134 HAS SOUPS 365134 WITH SCORE 366565.705
AT ITER 4615 NEW BEST:: SOT 3262628 SOS 1431638 HAS SOPS 1431638 HAS SOUS 364983 HAS SOUPS 364983 WITH SCORE 366414.638
AT ITER 4651 NEW BEST:: SOT 3262586 SOS 1439279 HAS SOPS 1439279 HAS SOUS 364485 HAS SOUPS 364485 WITH SCORE 365924.279
AT ITER 4676 NEW BEST:: SOT 3262935 SOS 1439416 HAS SOPS 1439416 HAS SOUS 364295 HAS SOUPS 364295 WITH SCORE 365734.416
AT ITER 4694 NEW BEST:: SOT 3262790 SOS 1439531 HAS SOPS 1439531 HAS SOUS 364275 HAS SOUPS 364275 WITH SCORE 365714.531
AT ITER 4698 NEW BEST:: SOT 3262781 SOS 1439531 HAS SOPS 1439531 HAS SOUS 364257 HAS SOUPS 364257 WITH SCORE 365696.531
AT ITER 4706 NEW BEST:: SOT 3262800 SOS 1439428 HAS SOPS 1439428 HAS SOUS 364233 HAS SOUPS 364233 WITH SCORE 365672.428
AT ITER 4711 NEW BEST:: SOT 3262800 SOS 1439130 HAS SOPS 1439130 HAS SOUS 364084 HAS SOUPS 364084 WITH SCORE 365523.13
AT ITER 4729 NEW BEST:: SOT 3262733 SOS 1438900 HAS SOPS 1438900 HAS SOUS 364046 HAS SOUPS 364046 WITH SCORE 365484.9
AT ITER 4741 NEW BEST:: SOT 3262676 SOS 1438791 HAS SOPS 1438791 HAS SOUS 363937 HAS SOUPS 363937 WITH SCORE 365375.791
AT ITER 4761 NEW BEST:: SOT 3262781 SOS 1438838 HAS SOPS 1438838 HAS SOUS 363821 HAS SOUPS 363821 WITH SCORE 365259.838
AT ITER 4793 NEW BEST:: SOT 3262778 SOS 1438832 HAS SOPS 1438832 HAS SOUS 363818 HAS SOUPS 363818 WITH SCORE 365256.832
AT ITER 4802 NEW BEST:: SOT 3262759 SOS 1438830 HAS SOPS 1438830 HAS SOUS 363816 HAS SOUPS 363816 WITH SCORE 365254.83
AT ITER 4820 NEW BEST:: SOT 3262708 SOS 1440127 HAS SOPS 1440127 HAS SOUS 363788 HAS SOUPS 363788 WITH SCORE 365228.127
AT ITER 4828 NEW BEST:: SOT 3262794 SOS 1439955 HAS SOPS 1439955 HAS SOUS 363637 HAS SOUPS 363637 WITH SCORE 365076.955
AT ITER 4852 NEW BEST:: SOT 3262726 SOS 1439846 HAS SOPS 1439846 HAS SOUS 363510 HAS SOUPS 363510 WITH SCORE 364949.846
AT ITER 4859 NEW BEST:: SOT 3262723 SOS 1439840 HAS SOPS 1439840 HAS SOUS 363504 HAS SOUPS 363504 WITH SCORE 364943.84
AT ITER 4860 NEW BEST:: SOT 3262683 SOS 1439760 HAS SOPS 1439760 HAS SOUS 363464 HAS SOUPS 363464 WITH SCORE 364903.76
AT ITER 4897 NEW BEST:: SOT 3235408 SOS 1412855 HAS SOPS 1412855 HAS SOUS 350557 HAS SOUPS 350557 WITH SCORE 351969.855
AT ITER 4914 NEW BEST:: SOT 3235408 SOS 1413027 HAS SOPS 1413027 HAS SOUS 350522 HAS SOUPS 350522 WITH SCORE 351935.027
AT ITER 4928 NEW BEST:: SOT 3235031 SOS 1412753 HAS SOPS 1412753 HAS SOUS 350277 HAS SOUPS 350277 WITH SCORE 351689.753
AT ITER 4939 NEW BEST:: SOT 3234983 SOS 1412657 HAS SOPS 1412657 HAS SOUS 350133 HAS SOUPS 350133 WITH SCORE 351545.657
AT ITER 4967 NEW BEST:: SOT 3234624 SOS 1412495 HAS SOPS 1412495 HAS SOUS 350050 HAS SOUPS 350050 WITH SCORE 351462.495
AT ITER 4977 NEW BEST:: SOT 3234683 SOS 1412613 HAS SOPS 1412613 HAS SOUS 350001 HAS SOUPS 350001 WITH SCORE 351413.613
AT ITER 4980 NEW BEST:: SOT 3234657 SOS 1412561 HAS SOPS 1412561 HAS SOUS 349975 HAS SOUPS 349975 WITH SCORE 351387.561
AT ITER 4985 NEW BEST:: SOT 3234657 SOS 1412518 HAS SOPS 1412518 HAS SOUS 349932 HAS SOUPS 349932 WITH SCORE 351344.518
AT ITER 4989 NEW BEST:: SOT 3234375 SOS 1412128 HAS SOPS 1412128 HAS SOUS 349648 HAS SOUPS 349648 WITH SCORE 351060.128
AT ITER 4998 NEW BEST:: SOT 3234536 SOS 1412264 HAS SOPS 1412264 HAS SOUS 349598 HAS SOUPS 349598 WITH SCORE 351010.264
AT ITER 5011 NEW BEST:: SOT 3234785 SOS 1412350 HAS SOPS 1412350 HAS SOUS 349444 HAS SOUPS 349444 WITH SCORE 350856.35
AT ITER 5032 NEW BEST:: SOT 3234553 SOS 1411886 HAS SOPS 1411886 HAS SOUS 349338 HAS SOUPS 349338 WITH SCORE 350749.886
AT ITER 5033 NEW BEST:: SOT 3234553 SOS 1411886 HAS SOPS 1411886 HAS SOUS 349296 HAS SOUPS 349296 WITH SCORE 350707.886
AT ITER 5034 NEW BEST:: SOT 3234512 SOS 1412044 HAS SOPS 1412044 HAS SOUS 349195 HAS SOUPS 349195 WITH SCORE 350607.044
AT ITER 5040 NEW BEST:: SOT 3234489 SOS 1410386 HAS SOPS 1410386 HAS SOUS 349030 HAS SOUPS 349030 WITH SCORE 350440.386
AT ITER 5055 NEW BEST:: SOT 3232889 SOS 1414436 HAS SOPS 1414436 HAS SOUS 348599 HAS SOUPS 348599 WITH SCORE 350013.436
AT ITER 5058 NEW BEST:: SOT 3232982 SOS 1413665 HAS SOPS 1413665 HAS SOUS 348466 HAS SOUPS 348466 WITH SCORE 349879.665
AT ITER 5063 NEW BEST:: SOT 3232868 SOS 1413551 HAS SOPS 1413551 HAS SOUS 348352 HAS SOUPS 348352 WITH SCORE 349765.551
AT ITER 5074 NEW BEST:: SOT 3232868 SOS 1413465 HAS SOPS 1413465 HAS SOUS 348266 HAS SOUPS 348266 WITH SCORE 349679.465
AT ITER 5092 NEW BEST:: SOT 3232830 SOS 1413351 HAS SOPS 1413351 HAS SOUS 348152 HAS SOUPS 348152 WITH SCORE 349565.351
AT ITER 5099 NEW BEST:: SOT 3232813 SOS 1413317 HAS SOPS 1413317 HAS SOUS 348138 HAS SOUPS 348138 WITH SCORE 349551.317
AT ITER 5114 NEW BEST:: SOT 3232768 SOS 1414793 HAS SOPS 1414793 HAS SOUS 348093 HAS SOUPS 348093 WITH SCORE 349507.793
AT ITER 5117 NEW BEST:: SOT 3232768 SOS 1414793 HAS SOPS 1414793 HAS SOUS 348083 HAS SOUPS 348083 WITH SCORE 349497.793
AT ITER 5127 NEW BEST:: SOT 3232768 SOS 1414625 HAS SOPS 1414625 HAS SOUS 348083 HAS SOUPS 348083 WITH SCORE 349497.625
AT ITER 5130 NEW BEST:: SOT 3232951 SOS 1414442 HAS SOPS 1414442 HAS SOUS 348083 HAS SOUPS 348083 WITH SCORE 349497.442
AT ITER 5139 NEW BEST:: SOT 3232837 SOS 1414303 HAS SOPS 1414303 HAS SOUS 347880 HAS SOUPS 347880 WITH SCORE 349294.303
AT ITER 5151 NEW BEST:: SOT 3232747 SOS 1414303 HAS SOPS 1414303 HAS SOUS 347835 HAS SOUPS 347835 WITH SCORE 349249.303
AT ITER 5162 NEW BEST:: SOT 3232747 SOS 1414302 HAS SOPS 1414302 HAS SOUS 347835 HAS SOUPS 347835 WITH SCORE 349249.302
AT ITER 5195 NEW BEST:: SOT 3232747 SOS 1414295 HAS SOPS 1414295 HAS SOUS 347828 HAS SOUPS 347828 WITH SCORE 349242.295
AT ITER 5217 NEW BEST:: SOT 3232694 SOS 1414242 HAS SOPS 1414242 HAS SOUS 347562 HAS SOUPS 347562 WITH SCORE 348976.242
AT ITER 5225 NEW BEST:: SOT 3232604 SOS 1414152 HAS SOPS 1414152 HAS SOUS 347464 HAS SOUPS 347464 WITH SCORE 348878.152
AT ITER 5272 NEW BEST:: SOT 3232508 SOS 1414056 HAS SOPS 1414056 HAS SOUS 347320 HAS SOUPS 347320 WITH SCORE 348734.056
AT ITER 5275 NEW BEST:: SOT 3232475 SOS 1413990 HAS SOPS 1413990 HAS SOUS 347257 HAS SOUPS 347257 WITH SCORE 348670.99
AT ITER 5304 NEW BEST:: SOT 3232475 SOS 1414319 HAS SOPS 1414319 HAS SOUS 347210 HAS SOUPS 347210 WITH SCORE 348624.319
AT ITER 5327 NEW BEST:: SOT 3232457 SOS 1414283 HAS SOPS 1414283 HAS SOUS 347174 HAS SOUPS 347174 WITH SCORE 348588.283
AT ITER 5328 NEW BEST:: SOT 3232625 SOS 1414451 HAS SOPS 1414451 HAS SOUS 347048 HAS SOUPS 347048 WITH SCORE 348462.451
AT ITER 5342 NEW BEST:: SOT 3232515 SOS 1414231 HAS SOPS 1414231 HAS SOUS 346938 HAS SOUPS 346938 WITH SCORE 348352.231
AT ITER 5356 NEW BEST:: SOT 3233005 SOS 1415371 HAS SOPS 1415371 HAS SOUS 346697 HAS SOUPS 346697 WITH SCORE 348112.371
AT ITER 5367 NEW BEST:: SOT 3232998 SOS 1415357 HAS SOPS 1415357 HAS SOUS 346683 HAS SOUPS 346683 WITH SCORE 348098.357
AT ITER 5375 NEW BEST:: SOT 3233029 SOS 1415419 HAS SOPS 1415419 HAS SOUS 346650 HAS SOUPS 346650 WITH SCORE 348065.419
AT ITER 5385 NEW BEST:: SOT 3233025 SOS 1415411 HAS SOPS 1415411 HAS SOUS 346642 HAS SOUPS 346642 WITH SCORE 348057.411
AT ITER 5389 NEW BEST:: SOT 3232819 SOS 1415117 HAS SOPS 1415117 HAS SOUS 346348 HAS SOUPS 346348 WITH SCORE 347763.117
AT ITER 5398 NEW BEST:: SOT 3232754 SOS 1415221 HAS SOPS 1415221 HAS SOUS 346218 HAS SOUPS 346218 WITH SCORE 347633.221
AT ITER 5418 NEW BEST:: SOT 3232453 SOS 1414920 HAS SOPS 1414920 HAS SOUS 345823 HAS SOUPS 345823 WITH SCORE 347237.92
AT ITER 5441 NEW BEST:: SOT 3232784 SOS 1415235 HAS SOPS 1415235 HAS SOUS 345691 HAS SOUPS 345691 WITH SCORE 347106.235
AT ITER 5450 NEW BEST:: SOT 3232740 SOS 1415433 HAS SOPS 1415433 HAS SOUS 345647 HAS SOUPS 345647 WITH SCORE 347062.433
AT ITER 5458 NEW BEST:: SOT 3232719 SOS 1415391 HAS SOPS 1415391 HAS SOUS 345626 HAS SOUPS 345626 WITH SCORE 347041.391
AT ITER 5470 NEW BEST:: SOT 3232719 SOS 1415244 HAS SOPS 1415244 HAS SOUS 345332 HAS SOUPS 345332 WITH SCORE 346747.244
AT ITER 5475 NEW BEST:: SOT 3232077 SOS 1415265 HAS SOPS 1415265 HAS SOUS 345194 HAS SOUPS 345194 WITH SCORE 346609.265
AT ITER 5494 NEW BEST:: SOT 3232140 SOS 1415591 HAS SOPS 1415591 HAS SOUS 345120 HAS SOUPS 345120 WITH SCORE 346535.591
AT ITER 5516 NEW BEST:: SOT 3232107 SOS 1415492 HAS SOPS 1415492 HAS SOUS 345087 HAS SOUPS 345087 WITH SCORE 346502.492
AT ITER 5523 NEW BEST:: SOT 3232107 SOS 1415467 HAS SOPS 1415467 HAS SOUS 345037 HAS SOUPS 345037 WITH SCORE 346452.467
AT ITER 5530 NEW BEST:: SOT 3232106 SOS 1415389 HAS SOPS 1415389 HAS SOUS 344998 HAS SOUPS 344998 WITH SCORE 346413.389
AT ITER 5537 NEW BEST:: SOT 3232210 SOS 1415493 HAS SOPS 1415493 HAS SOUS 344980 HAS SOUPS 344980 WITH SCORE 346395.493
AT ITER 5543 NEW BEST:: SOT 3232014 SOS 1416325 HAS SOPS 1416325 HAS SOUS 344879 HAS SOUPS 344879 WITH SCORE 346295.325
AT ITER 5584 NEW BEST:: SOT 3231763 SOS 1416276 HAS SOPS 1416276 HAS SOUS 344679 HAS SOUPS 344679 WITH SCORE 346095.276
AT ITER 5615 NEW BEST:: SOT 3231763 SOS 1416374 HAS SOPS 1416374 HAS SOUS 344287 HAS SOUPS 344287 WITH SCORE 345703.374
AT ITER 5621 NEW BEST:: SOT 3231763 SOS 1416374 HAS SOPS 1416374 HAS SOUS 344257 HAS SOUPS 344257 WITH SCORE 345673.374
AT ITER 5633 NEW BEST:: SOT 3231763 SOS 1416374 HAS SOPS 1416374 HAS SOUS 344230 HAS SOUPS 344230 WITH SCORE 345646.374
AT ITER 5657 NEW BEST:: SOT 3231747 SOS 1416342 HAS SOPS 1416342 HAS SOUS 344198 HAS SOUPS 344198 WITH SCORE 345614.342
AT ITER 5677 NEW BEST:: SOT 3231747 SOS 1416342 HAS SOPS 1416342 HAS SOUS 344161 HAS SOUPS 344161 WITH SCORE 345577.342
AT ITER 5693 NEW BEST:: SOT 3231742 SOS 1416332 HAS SOPS 1416332 HAS SOUS 344154 HAS SOUPS 344154 WITH SCORE 345570.332
AT ITER 5697 NEW BEST:: SOT 3231711 SOS 1416270 HAS SOPS 1416270 HAS SOUS 344092 HAS SOUPS 344092 WITH SCORE 345508.27
AT ITER 5706 NEW BEST:: SOT 3231639 SOS 1416126 HAS SOPS 1416126 HAS SOUS 343948 HAS SOUPS 343948 WITH SCORE 345364.126
AT ITER 5729 NEW BEST:: SOT 3231444 SOS 1417088 HAS SOPS 1417088 HAS SOUS 343857 HAS SOUPS 343857 WITH SCORE 345274.088
AT ITER 5736 NEW BEST:: SOT 3231426 SOS 1417064 HAS SOPS 1417064 HAS SOUS 343839 HAS SOUPS 343839 WITH SCORE 345256.064
AT ITER 5760 NEW BEST:: SOT 3231291 SOS 1417148 HAS SOPS 1417148 HAS SOUS 343789 HAS SOUPS 343789 WITH SCORE 345206.148
AT ITER 5767 NEW BEST:: SOT 3231265 SOS 1417096 HAS SOPS 1417096 HAS SOUS 343737 HAS SOUPS 343737 WITH SCORE 345154.096
AT ITER 5780 NEW BEST:: SOT 3231220 SOS 1416588 HAS SOPS 1416588 HAS SOUS 343647 HAS SOUPS 343647 WITH SCORE 345063.588
AT ITER 5792 NEW BEST:: SOT 3231294 SOS 1416514 HAS SOPS 1416514 HAS SOUS 343647 HAS SOUPS 343647 WITH SCORE 345063.514
AT ITER 5794 NEW BEST:: SOT 3231234 SOS 1416394 HAS SOPS 1416394 HAS SOUS 343307 HAS SOUPS 343307 WITH SCORE 344723.394
AT ITER 5795 NEW BEST:: SOT 3231154 SOS 1416393 HAS SOPS 1416393 HAS SOUS 343253 HAS SOUPS 343253 WITH SCORE 344669.393
AT ITER 5822 NEW BEST:: SOT 3231102 SOS 1416289 HAS SOPS 1416289 HAS SOUS 343201 HAS SOUPS 343201 WITH SCORE 344617.289
AT ITER 5825 NEW BEST:: SOT 3231101 SOS 1416287 HAS SOPS 1416287 HAS SOUS 343199 HAS SOUPS 343199 WITH SCORE 344615.287
AT ITER 5829 NEW BEST:: SOT 3231137 SOS 1416359 HAS SOPS 1416359 HAS SOUS 343169 HAS SOUPS 343169 WITH SCORE 344585.359
AT ITER 5836 NEW BEST:: SOT 3230705 SOS 1416008 HAS SOPS 1416008 HAS SOUS 342872 HAS SOUPS 342872 WITH SCORE 344288.008
AT ITER 5844 NEW BEST:: SOT 3230652 SOS 1416250 HAS SOPS 1416250 HAS SOUS 342853 HAS SOUPS 342853 WITH SCORE 344269.25
AT ITER 5862 NEW BEST:: SOT 3230481 SOS 1416004 HAS SOPS 1416004 HAS SOUS 342504 HAS SOUPS 342504 WITH SCORE 343920.004
AT ITER 5878 NEW BEST:: SOT 3230469 SOS 1415992 HAS SOPS 1415992 HAS SOUS 342491 HAS SOUPS 342491 WITH SCORE 343906.992
AT ITER 5892 NEW BEST:: SOT 3230369 SOS 1415892 HAS SOPS 1415892 HAS SOUS 342391 HAS SOUPS 342391 WITH SCORE 343806.892
AT ITER 5917 NEW BEST:: SOT 3230307 SOS 1415830 HAS SOPS 1415830 HAS SOUS 342329 HAS SOUPS 342329 WITH SCORE 343744.83
AT ITER 5934 NEW BEST:: SOT 3229900 SOS 1414737 HAS SOPS 1414737 HAS SOUS 341053 HAS SOUPS 341053 WITH SCORE 342467.737
AT ITER 5941 NEW BEST:: SOT 3229887 SOS 1414724 HAS SOPS 1414724 HAS SOUS 341027 HAS SOUPS 341027 WITH SCORE 342441.724
AT ITER 5947 NEW BEST:: SOT 3229887 SOS 1415006 HAS SOPS 1415006 HAS SOUS 336098 HAS SOUPS 336098 WITH SCORE 337513.006
AT ITER 5961 NEW BEST:: SOT 3229887 SOS 1414965 HAS SOPS 1414965 HAS SOUS 336057 HAS SOUPS 336057 WITH SCORE 337471.965
AT ITER 5965 NEW BEST:: SOT 3229957 SOS 1414737 HAS SOPS 1414737 HAS SOUS 335963 HAS SOUPS 335963 WITH SCORE 337377.737
AT ITER 5999 NEW BEST:: SOT 3229939 SOS 1414701 HAS SOPS 1414701 HAS SOUS 335945 HAS SOUPS 335945 WITH SCORE 337359.701
AT ITER 6003 NEW BEST:: SOT 3229939 SOS 1414595 HAS SOPS 1414595 HAS SOUS 335845 HAS SOUPS 335845 WITH SCORE 337259.595
AT ITER 6023 NEW BEST:: SOT 3229938 SOS 1414593 HAS SOPS 1414593 HAS SOUS 335843 HAS SOUPS 335843 WITH SCORE 337257.593
AT ITER 6027 NEW BEST:: SOT 3229933 SOS 1414583 HAS SOPS 1414583 HAS SOUS 335838 HAS SOUPS 335838 WITH SCORE 337252.583
AT ITER 6028 NEW BEST:: SOT 3229769 SOS 1414735 HAS SOPS 1414735 HAS SOUS 335754 HAS SOUPS 335754 WITH SCORE 337168.735
AT ITER 6064 NEW BEST:: SOT 3229768 SOS 1414733 HAS SOPS 1414733 HAS SOUS 335752 HAS SOUPS 335752 WITH SCORE 337166.733
AT ITER 6085 NEW BEST:: SOT 3229300 SOS 1414443 HAS SOPS 1414443 HAS SOUS 335284 HAS SOUPS 335284 WITH SCORE 336698.443
AT ITER 6097 NEW BEST:: SOT 3229300 SOS 1414376 HAS SOPS 1414376 HAS SOUS 335217 HAS SOUPS 335217 WITH SCORE 336631.376
AT ITER 6108 NEW BEST:: SOT 3229164 SOS 1414104 HAS SOPS 1414104 HAS SOUS 335081 HAS SOUPS 335081 WITH SCORE 336495.104
AT ITER 6131 NEW BEST:: SOT 3229164 SOS 1414101 HAS SOPS 1414101 HAS SOUS 334822 HAS SOUPS 334822 WITH SCORE 336236.101
AT ITER 6132 NEW BEST:: SOT 3229135 SOS 1414014 HAS SOPS 1414014 HAS SOUS 334793 HAS SOUPS 334793 WITH SCORE 336207.014
AT ITER 6138 NEW BEST:: SOT 3229135 SOS 1414014 HAS SOPS 1414014 HAS SOUS 334784 HAS SOUPS 334784 WITH SCORE 336198.014
AT ITER 6145 NEW BEST:: SOT 3229135 SOS 1413974 HAS SOPS 1413974 HAS SOUS 334744 HAS SOUPS 334744 WITH SCORE 336157.974
AT ITER 6165 NEW BEST:: SOT 3229109 SOS 1414066 HAS SOPS 1414066 HAS SOUS 334692 HAS SOUPS 334692 WITH SCORE 336106.066
AT ITER 6171 NEW BEST:: SOT 3229048 SOS 1414005 HAS SOPS 1414005 HAS SOUS 334473 HAS SOUPS 334473 WITH SCORE 335887.005
AT ITER 6200 NEW BEST:: SOT 3228992 SOS 1413992 HAS SOPS 1413992 HAS SOUS 334460 HAS SOUPS 334460 WITH SCORE 335873.992
AT ITER 6201 NEW BEST:: SOT 3228814 SOS 1414770 HAS SOPS 1414770 HAS SOUS 334282 HAS SOUPS 334282 WITH SCORE 335696.77
AT ITER 6203 NEW BEST:: SOT 3228794 SOS 1414730 HAS SOPS 1414730 HAS SOUS 334242 HAS SOUPS 334242 WITH SCORE 335656.73
AT ITER 6206 NEW BEST:: SOT 3228765 SOS 1414672 HAS SOPS 1414672 HAS SOUS 334184 HAS SOUPS 334184 WITH SCORE 335598.672
AT ITER 6207 NEW BEST:: SOT 3228544 SOS 1414522 HAS SOPS 1414522 HAS SOUS 333940 HAS SOUPS 333940 WITH SCORE 335354.522
AT ITER 6214 NEW BEST:: SOT 3228541 SOS 1414516 HAS SOPS 1414516 HAS SOUS 333934 HAS SOUPS 333934 WITH SCORE 335348.516
AT ITER 6230 NEW BEST:: SOT 3228511 SOS 1414486 HAS SOPS 1414486 HAS SOUS 333904 HAS SOUPS 333904 WITH SCORE 335318.486
AT ITER 6266 NEW BEST:: SOT 3228511 SOS 1414419 HAS SOPS 1414419 HAS SOUS 333837 HAS SOUPS 333837 WITH SCORE 335251.419
AT ITER 6268 NEW BEST:: SOT 3228511 SOS 1414419 HAS SOPS 1414419 HAS SOUS 333810 HAS SOUPS 333810 WITH SCORE 335224.419
AT ITER 6279 NEW BEST:: SOT 3228457 SOS 1414365 HAS SOPS 1414365 HAS SOUS 333729 HAS SOUPS 333729 WITH SCORE 335143.365
AT ITER 6283 NEW BEST:: SOT 3228349 SOS 1414303 HAS SOPS 1414303 HAS SOUS 333513 HAS SOUPS 333513 WITH SCORE 334927.303
AT ITER 6286 NEW BEST:: SOT 3228349 SOS 1414297 HAS SOPS 1414297 HAS SOUS 333513 HAS SOUPS 333513 WITH SCORE 334927.297
AT ITER 6308 NEW BEST:: SOT 3228355 SOS 1414782 HAS SOPS 1414782 HAS SOUS 333462 HAS SOUPS 333462 WITH SCORE 334876.782
AT ITER 6314 NEW BEST:: SOT 3228355 SOS 1414680 HAS SOPS 1414680 HAS SOUS 333428 HAS SOUPS 333428 WITH SCORE 334842.68
AT ITER 6317 NEW BEST:: SOT 3228601 SOS 1414892 HAS SOPS 1414892 HAS SOUS 333392 HAS SOUPS 333392 WITH SCORE 334806.892
AT ITER 6361 NEW BEST:: SOT 3228572 SOS 1414921 HAS SOPS 1414921 HAS SOUS 333363 HAS SOUPS 333363 WITH SCORE 334777.921
AT ITER 6379 NEW BEST:: SOT 3228300 SOS 1414690 HAS SOPS 1414690 HAS SOUS 333340 HAS SOUPS 333340 WITH SCORE 334754.69
AT ITER 6413 NEW BEST:: SOT 3228280 SOS 1414570 HAS SOPS 1414570 HAS SOUS 333300 HAS SOUPS 333300 WITH SCORE 334714.57
AT ITER 6437 NEW BEST:: SOT 3228963 SOS 1411547 HAS SOPS 1411547 HAS SOUS 332555 HAS SOUPS 332555 WITH SCORE 333966.547
AT ITER 6438 NEW BEST:: SOT 3228797 SOS 1411414 HAS SOPS 1411414 HAS SOUS 332478 HAS SOUPS 332478 WITH SCORE 333889.414
AT ITER 6446 NEW BEST:: SOT 3228730 SOS 1411688 HAS SOPS 1411688 HAS SOUS 332471 HAS SOUPS 332471 WITH SCORE 333882.688
AT ITER 6471 NEW BEST:: SOT 3228653 SOS 1411534 HAS SOPS 1411534 HAS SOUS 332317 HAS SOUPS 332317 WITH SCORE 333728.534
AT ITER 6496 NEW BEST:: SOT 3228207 SOS 1410828 HAS SOPS 1410828 HAS SOUS 331713 HAS SOUPS 331713 WITH SCORE 333123.828
AT ITER 6499 NEW BEST:: SOT 3228206 SOS 1410826 HAS SOPS 1410826 HAS SOUS 331711 HAS SOUPS 331711 WITH SCORE 333121.826
AT ITER 6512 NEW BEST:: SOT 3228072 SOS 1410558 HAS SOPS 1410558 HAS SOUS 331565 HAS SOUPS 331565 WITH SCORE 332975.558
AT ITER 6518 NEW BEST:: SOT 3228059 SOS 1410532 HAS SOPS 1410532 HAS SOUS 331539 HAS SOUPS 331539 WITH SCORE 332949.532
AT ITER 6525 NEW BEST:: SOT 3227998 SOS 1409251 HAS SOPS 1409251 HAS SOUS 331417 HAS SOUPS 331417 WITH SCORE 332826.251
AT ITER 6539 NEW BEST:: SOT 3228182 SOS 1409619 HAS SOPS 1409619 HAS SOUS 331333 HAS SOUPS 331333 WITH SCORE 332742.619
AT ITER 6579 NEW BEST:: SOT 3228165 SOS 1409585 HAS SOPS 1409585 HAS SOUS 331299 HAS SOUPS 331299 WITH SCORE 332708.585
AT ITER 6588 NEW BEST:: SOT 3228164 SOS 1409583 HAS SOPS 1409583 HAS SOUS 331297 HAS SOUPS 331297 WITH SCORE 332706.583
AT ITER 6589 NEW BEST:: SOT 3227872 SOS 1410679 HAS SOPS 1410679 HAS SOUS 331160 HAS SOUPS 331160 WITH SCORE 332570.679
AT ITER 6625 NEW BEST:: SOT 3227798 SOS 1410679 HAS SOPS 1410679 HAS SOUS 331086 HAS SOUPS 331086 WITH SCORE 332496.679
AT ITER 6665 NEW BEST:: SOT 3228063 SOS 1410921 HAS SOPS 1410921 HAS SOUS 331063 HAS SOUPS 331063 WITH SCORE 332473.921
AT ITER 6673 NEW BEST:: SOT 3227848 SOS 1410706 HAS SOPS 1410706 HAS SOUS 330774 HAS SOUPS 330774 WITH SCORE 332184.706
AT ITER 6685 NEW BEST:: SOT 3227865 SOS 1410978 HAS SOPS 1410978 HAS SOUS 330713 HAS SOUPS 330713 WITH SCORE 332123.978
AT ITER 6735 NEW BEST:: SOT 3227865 SOS 1410978 HAS SOPS 1410978 HAS SOUS 330592 HAS SOUPS 330592 WITH SCORE 332002.978
AT ITER 6740 NEW BEST:: SOT 3227909 SOS 1410845 HAS SOPS 1410845 HAS SOUS 330407 HAS SOUPS 330407 WITH SCORE 331817.845
AT ITER 6747 NEW BEST:: SOT 3227909 SOS 1410807 HAS SOPS 1410807 HAS SOUS 330369 HAS SOUPS 330369 WITH SCORE 331779.807
AT ITER 6759 NEW BEST:: SOT 3227909 SOS 1410802 HAS SOPS 1410802 HAS SOUS 330369 HAS SOUPS 330369 WITH SCORE 331779.802
AT ITER 6776 NEW BEST:: SOT 3227823 SOS 1410630 HAS SOPS 1410630 HAS SOUS 330172 HAS SOUPS 330172 WITH SCORE 331582.63
AT ITER 6780 NEW BEST:: SOT 3227786 SOS 1410556 HAS SOPS 1410556 HAS SOUS 330083 HAS SOUPS 330083 WITH SCORE 331493.556
AT ITER 6796 NEW BEST:: SOT 3227770 SOS 1410524 HAS SOPS 1410524 HAS SOUS 330051 HAS SOUPS 330051 WITH SCORE 331461.524
AT ITER 6804 NEW BEST:: SOT 3227770 SOS 1410524 HAS SOPS 1410524 HAS SOUS 329985 HAS SOUPS 329985 WITH SCORE 331395.524
AT ITER 6812 NEW BEST:: SOT 3227770 SOS 1410126 HAS SOPS 1410126 HAS SOUS 329786 HAS SOUPS 329786 WITH SCORE 331196.126
AT ITER 6813 NEW BEST:: SOT 3227630 SOS 1410056 HAS SOPS 1410056 HAS SOUS 329646 HAS SOUPS 329646 WITH SCORE 331056.056
AT ITER 6819 NEW BEST:: SOT 3227607 SOS 1410033 HAS SOPS 1410033 HAS SOUS 329623 HAS SOUPS 329623 WITH SCORE 331033.033
AT ITER 6875 NEW BEST:: SOT 3227607 SOS 1410263 HAS SOPS 1410263 HAS SOUS 329577 HAS SOUPS 329577 WITH SCORE 330987.263
AT ITER 6910 NEW BEST:: SOT 3227572 SOS 1410193 HAS SOPS 1410193 HAS SOUS 329498 HAS SOUPS 329498 WITH SCORE 330908.193
AT ITER 6919 NEW BEST:: SOT 3227573 SOS 1410255 HAS SOPS 1410255 HAS SOUS 329260 HAS SOUPS 329260 WITH SCORE 330670.255
AT ITER 6996 NEW BEST:: SOT 3227478 SOS 1410715 HAS SOPS 1410715 HAS SOUS 329165 HAS SOUPS 329165 WITH SCORE 330575.715
AT ITER 6997 NEW BEST:: SOT 3227277 SOS 1410514 HAS SOPS 1410514 HAS SOUS 329165 HAS SOUPS 329165 WITH SCORE 330575.514
AT ITER 7003 NEW BEST:: SOT 3227223 SOS 1410835 HAS SOPS 1410835 HAS SOUS 329111 HAS SOUPS 329111 WITH SCORE 330521.835
AT ITER 7032 NEW BEST:: SOT 3227109 SOS 1410577 HAS SOPS 1410577 HAS SOUS 328959 HAS SOUPS 328959 WITH SCORE 330369.577
AT ITER 7047 NEW BEST:: SOT 3227133 SOS 1410625 HAS SOPS 1410625 HAS SOUS 328667 HAS SOUPS 328667 WITH SCORE 330077.625
AT ITER 7069 NEW BEST:: SOT 3227133 SOS 1410625 HAS SOPS 1410625 HAS SOUS 328647 HAS SOUPS 328647 WITH SCORE 330057.625
AT ITER 7117 NEW BEST:: SOT 3227129 SOS 1410617 HAS SOPS 1410617 HAS SOUS 328643 HAS SOUPS 328643 WITH SCORE 330053.617
AT ITER 7125 NEW BEST:: SOT 3227104 SOS 1410591 HAS SOPS 1410591 HAS SOUS 328617 HAS SOUPS 328617 WITH SCORE 330027.591
AT ITER 7183 NEW BEST:: SOT 3227039 SOS 1410461 HAS SOPS 1410461 HAS SOUS 328552 HAS SOUPS 328552 WITH SCORE 329962.461
AT ITER 7191 NEW BEST:: SOT 3227104 SOS 1410524 HAS SOPS 1410524 HAS SOUS 328491 HAS SOUPS 328491 WITH SCORE 329901.524
AT ITER 7199 NEW BEST:: SOT 3227104 SOS 1410366 HAS SOPS 1410366 HAS SOUS 328491 HAS SOUPS 328491 WITH SCORE 329901.366
AT ITER 7207 NEW BEST:: SOT 3226973 SOS 1410104 HAS SOPS 1410104 HAS SOUS 328360 HAS SOUPS 328360 WITH SCORE 329770.104
AT ITER 7209 NEW BEST:: SOT 3226894 SOS 1409870 HAS SOPS 1409870 HAS SOUS 328203 HAS SOUPS 328203 WITH SCORE 329612.87
AT ITER 7222 NEW BEST:: SOT 3226399 SOS 1412488 HAS SOPS 1412488 HAS SOUS 327557 HAS SOUPS 327557 WITH SCORE 328969.488
AT ITER 7223 NEW BEST:: SOT 3226374 SOS 1412458 HAS SOPS 1412458 HAS SOUS 327527 HAS SOUPS 327527 WITH SCORE 328939.458
AT ITER 7226 NEW BEST:: SOT 3226522 SOS 1412506 HAS SOPS 1412506 HAS SOUS 327327 HAS SOUPS 327327 WITH SCORE 328739.506
AT ITER 7241 NEW BEST:: SOT 3226511 SOS 1412502 HAS SOPS 1412502 HAS SOUS 327261 HAS SOUPS 327261 WITH SCORE 328673.502
AT ITER 7245 NEW BEST:: SOT 3226511 SOS 1412424 HAS SOPS 1412424 HAS SOUS 327235 HAS SOUPS 327235 WITH SCORE 328647.424
AT ITER 7280 NEW BEST:: SOT 3226368 SOS 1412261 HAS SOPS 1412261 HAS SOUS 327132 HAS SOUPS 327132 WITH SCORE 328544.261
AT ITER 7317 NEW BEST:: SOT 3226307 SOS 1412162 HAS SOPS 1412162 HAS SOUS 327071 HAS SOUPS 327071 WITH SCORE 328483.162
AT ITER 7374 NEW BEST:: SOT 3226307 SOS 1412162 HAS SOPS 1412162 HAS SOUS 327064 HAS SOUPS 327064 WITH SCORE 328476.162
AT ITER 7406 NEW BEST:: SOT 3226287 SOS 1410659 HAS SOPS 1410659 HAS SOUS 326967 HAS SOUPS 326967 WITH SCORE 328377.659
AT ITER 7422 NEW BEST:: SOT 3225539 SOS 1412988 HAS SOPS 1412988 HAS SOUS 326902 HAS SOUPS 326902 WITH SCORE 328314.988
AT ITER 7429 NEW BEST:: SOT 3225537 SOS 1412982 HAS SOPS 1412982 HAS SOUS 326698 HAS SOUPS 326698 WITH SCORE 328110.982
AT ITER 7432 NEW BEST:: SOT 3225481 SOS 1412981 HAS SOPS 1412981 HAS SOUS 326642 HAS SOUPS 326642 WITH SCORE 328054.981
AT ITER 7434 NEW BEST:: SOT 3225472 SOS 1412972 HAS SOPS 1412972 HAS SOUS 326633 HAS SOUPS 326633 WITH SCORE 328045.972
AT ITER 7452 NEW BEST:: SOT 3225472 SOS 1412898 HAS SOPS 1412898 HAS SOUS 326559 HAS SOUPS 326559 WITH SCORE 327971.898
AT ITER 7453 NEW BEST:: SOT 3225472 SOS 1412898 HAS SOPS 1412898 HAS SOUS 326555 HAS SOUPS 326555 WITH SCORE 327967.898
AT ITER 7475 NEW BEST:: SOT 3225208 SOS 1412370 HAS SOPS 1412370 HAS SOUS 326291 HAS SOUPS 326291 WITH SCORE 327703.37
AT ITER 7502 NEW BEST:: SOT 3225001 SOS 1412320 HAS SOPS 1412320 HAS SOUS 326150 HAS SOUPS 326150 WITH SCORE 327562.32
AT ITER 7533 NEW BEST:: SOT 3224905 SOS 1412224 HAS SOPS 1412224 HAS SOUS 326054 HAS SOUPS 326054 WITH SCORE 327466.224
AT ITER 7547 NEW BEST:: SOT 3225210 SOS 1411919 HAS SOPS 1411919 HAS SOUS 326054 HAS SOUPS 326054 WITH SCORE 327465.919
AT ITER 7578 NEW BEST:: SOT 3225119 SOS 1411831 HAS SOPS 1411831 HAS SOUS 325966 HAS SOUPS 325966 WITH SCORE 327377.831
AT ITER 7605 NEW BEST:: SOT 3225044 SOS 1411681 HAS SOPS 1411681 HAS SOUS 325849 HAS SOUPS 325849 WITH SCORE 327260.681
AT ITER 7643 NEW BEST:: SOT 3225049 SOS 1412317 HAS SOPS 1412317 HAS SOUS 325756 HAS SOUPS 325756 WITH SCORE 327168.317
AT ITER 7653 NEW BEST:: SOT 3225052 SOS 1412320 HAS SOPS 1412320 HAS SOUS 325731 HAS SOUPS 325731 WITH SCORE 327143.32
AT ITER 7662 NEW BEST:: SOT 3224896 SOS 1412494 HAS SOPS 1412494 HAS SOUS 325641 HAS SOUPS 325641 WITH SCORE 327053.494
AT ITER 7665 NEW BEST:: SOT 3224896 SOS 1412494 HAS SOPS 1412494 HAS SOUS 325520 HAS SOUPS 325520 WITH SCORE 326932.494
AT ITER 7684 NEW BEST:: SOT 3224852 SOS 1412271 HAS SOPS 1412271 HAS SOUS 325411 HAS SOUPS 325411 WITH SCORE 326823.271
AT ITER 7696 NEW BEST:: SOT 3224852 SOS 1412252 HAS SOPS 1412252 HAS SOUS 325411 HAS SOUPS 325411 WITH SCORE 326823.252
AT ITER 7726 NEW BEST:: SOT 3224852 SOS 1412225 HAS SOPS 1412225 HAS SOUS 325384 HAS SOUPS 325384 WITH SCORE 326796.225
AT ITER 7731 NEW BEST:: SOT 3224760 SOS 1412133 HAS SOPS 1412133 HAS SOUS 325305 HAS SOUPS 325305 WITH SCORE 326717.133
AT ITER 7753 NEW BEST:: SOT 3224760 SOS 1412133 HAS SOPS 1412133 HAS SOUS 325194 HAS SOUPS 325194 WITH SCORE 326606.133
AT ITER 7775 NEW BEST:: SOT 3224758 SOS 1412129 HAS SOPS 1412129 HAS SOUS 325189 HAS SOUPS 325189 WITH SCORE 326601.129
AT ITER 7789 NEW BEST:: SOT 3224709 SOS 1412031 HAS SOPS 1412031 HAS SOUS 325091 HAS SOUPS 325091 WITH SCORE 326503.031
AT ITER 7804 NEW BEST:: SOT 3224709 SOS 1412031 HAS SOPS 1412031 HAS SOUS 325072 HAS SOUPS 325072 WITH SCORE 326484.031
AT ITER 7813 NEW BEST:: SOT 3224691 SOS 1412485 HAS SOPS 1412485 HAS SOUS 325054 HAS SOUPS 325054 WITH SCORE 326466.485
AT ITER 7824 NEW BEST:: SOT 3224691 SOS 1412585 HAS SOPS 1412585 HAS SOUS 325027 HAS SOUPS 325027 WITH SCORE 326439.585
AT ITER 7828 NEW BEST:: SOT 3224691 SOS 1412585 HAS SOPS 1412585 HAS SOUS 325016 HAS SOUPS 325016 WITH SCORE 326428.585
AT ITER 7830 NEW BEST:: SOT 3224645 SOS 1412493 HAS SOPS 1412493 HAS SOUS 324924 HAS SOUPS 324924 WITH SCORE 326336.493
AT ITER 7844 NEW BEST:: SOT 3224617 SOS 1412771 HAS SOPS 1412771 HAS SOUS 324890 HAS SOUPS 324890 WITH SCORE 326302.771
AT ITER 7881 NEW BEST:: SOT 3224724 SOS 1412664 HAS SOPS 1412664 HAS SOUS 324890 HAS SOUPS 324890 WITH SCORE 326302.664
AT ITER 7892 NEW BEST:: SOT 3224724 SOS 1412664 HAS SOPS 1412664 HAS SOUS 324887 HAS SOUPS 324887 WITH SCORE 326299.664
AT ITER 7894 NEW BEST:: SOT 3224846 SOS 1412467 HAS SOPS 1412467 HAS SOUS 324845 HAS SOUPS 324845 WITH SCORE 326257.467
AT ITER 7938 NEW BEST:: SOT 3224858 SOS 1412491 HAS SOPS 1412491 HAS SOUS 324840 HAS SOUPS 324840 WITH SCORE 326252.491
AT ITER 7952 NEW BEST:: SOT 3224845 SOS 1412465 HAS SOPS 1412465 HAS SOUS 324814 HAS SOUPS 324814 WITH SCORE 326226.465
AT ITER 7972 NEW BEST:: SOT 3224850 SOS 1412380 HAS SOPS 1412380 HAS SOUS 324784 HAS SOUPS 324784 WITH SCORE 326196.38
AT ITER 7974 NEW BEST:: SOT 3224748 SOS 1412935 HAS SOPS 1412935 HAS SOUS 324569 HAS SOUPS 324569 WITH SCORE 325981.935
AT ITER 8001 NEW BEST:: SOT 3224735 SOS 1412909 HAS SOPS 1412909 HAS SOUS 324461 HAS SOUPS 324461 WITH SCORE 325873.909
AT ITER 8006 NEW BEST:: SOT 3224693 SOS 1413229 HAS SOPS 1413229 HAS SOUS 324419 HAS SOUPS 324419 WITH SCORE 325832.229
AT ITER 8023 NEW BEST:: SOT 3224693 SOS 1412933 HAS SOPS 1412933 HAS SOUS 324150 HAS SOUPS 324150 WITH SCORE 325562.933
AT ITER 8025 NEW BEST:: SOT 3224599 SOS 1412825 HAS SOPS 1412825 HAS SOUS 324042 HAS SOUPS 324042 WITH SCORE 325454.825
AT ITER 8028 NEW BEST:: SOT 3224387 SOS 1412401 HAS SOPS 1412401 HAS SOUS 323724 HAS SOUPS 323724 WITH SCORE 325136.401
AT ITER 8036 NEW BEST:: SOT 3224384 SOS 1412402 HAS SOPS 1412402 HAS SOUS 323719 HAS SOUPS 323719 WITH SCORE 325131.402
AT ITER 8103 NEW BEST:: SOT 3224348 SOS 1412330 HAS SOPS 1412330 HAS SOUS 323577 HAS SOUPS 323577 WITH SCORE 324989.33
AT ITER 8132 NEW BEST:: SOT 3224204 SOS 1415786 HAS SOPS 1415786 HAS SOUS 323404 HAS SOUPS 323404 WITH SCORE 324819.786
AT ITER 8134 NEW BEST:: SOT 3224295 SOS 1415921 HAS SOPS 1415921 HAS SOUS 323382 HAS SOUPS 323382 WITH SCORE 324797.921
AT ITER 8175 NEW BEST:: SOT 3224230 SOS 1415792 HAS SOPS 1415792 HAS SOUS 323309 HAS SOUPS 323309 WITH SCORE 324724.792
AT ITER 8197 NEW BEST:: SOT 3224304 SOS 1415689 HAS SOPS 1415689 HAS SOUS 323150 HAS SOUPS 323150 WITH SCORE 324565.689
AT ITER 8204 NEW BEST:: SOT 3224289 SOS 1415659 HAS SOPS 1415659 HAS SOUS 323120 HAS SOUPS 323120 WITH SCORE 324535.659
AT ITER 8206 NEW BEST:: SOT 3224289 SOS 1415673 HAS SOPS 1415673 HAS SOUS 323106 HAS SOUPS 323106 WITH SCORE 324521.673
AT ITER 8209 NEW BEST:: SOT 3224197 SOS 1415581 HAS SOPS 1415581 HAS SOUS 323014 HAS SOUPS 323014 WITH SCORE 324429.581
AT ITER 8213 NEW BEST:: SOT 3224197 SOS 1415505 HAS SOPS 1415505 HAS SOUS 322387 HAS SOUPS 322387 WITH SCORE 323802.505
AT ITER 8219 NEW BEST:: SOT 3224196 SOS 1415503 HAS SOPS 1415503 HAS SOUS 322385 HAS SOUPS 322385 WITH SCORE 323800.503
AT ITER 8225 NEW BEST:: SOT 3224060 SOS 1415095 HAS SOPS 1415095 HAS SOUS 322249 HAS SOUPS 322249 WITH SCORE 323664.095
AT ITER 8235 NEW BEST:: SOT 3223963 SOS 1414707 HAS SOPS 1414707 HAS SOUS 322055 HAS SOUPS 322055 WITH SCORE 323469.707
AT ITER 8244 NEW BEST:: SOT 3223959 SOS 1414703 HAS SOPS 1414703 HAS SOUS 322047 HAS SOUPS 322047 WITH SCORE 323461.703
AT ITER 8284 NEW BEST:: SOT 3223882 SOS 1414549 HAS SOPS 1414549 HAS SOUS 321904 HAS SOUPS 321904 WITH SCORE 323318.549
AT ITER 8294 NEW BEST:: SOT 3223822 SOS 1414429 HAS SOPS 1414429 HAS SOUS 321766 HAS SOUPS 321766 WITH SCORE 323180.429
AT ITER 8307 NEW BEST:: SOT 3223820 SOS 1414425 HAS SOPS 1414425 HAS SOUS 321762 HAS SOUPS 321762 WITH SCORE 323176.425
AT ITER 8308 NEW BEST:: SOT 3223820 SOS 1413555 HAS SOPS 1413555 HAS SOUS 321762 HAS SOUPS 321762 WITH SCORE 323175.555
AT ITER 8311 NEW BEST:: SOT 3223724 SOS 1413481 HAS SOPS 1413481 HAS SOUS 321607 HAS SOUPS 321607 WITH SCORE 323020.481
AT ITER 8317 NEW BEST:: SOT 3223724 SOS 1413327 HAS SOPS 1413327 HAS SOUS 321453 HAS SOUPS 321453 WITH SCORE 322866.327
AT ITER 8318 NEW BEST:: SOT 3223724 SOS 1413327 HAS SOPS 1413327 HAS SOUS 321418 HAS SOUPS 321418 WITH SCORE 322831.327
AT ITER 8333 NEW BEST:: SOT 3223683 SOS 1413253 HAS SOPS 1413253 HAS SOUS 321377 HAS SOUPS 321377 WITH SCORE 322790.253
AT ITER 8390 NEW BEST:: SOT 3223676 SOS 1413246 HAS SOPS 1413246 HAS SOUS 321375 HAS SOUPS 321375 WITH SCORE 322788.246
AT ITER 8402 NEW BEST:: SOT 3223676 SOS 1408774 HAS SOPS 1408774 HAS SOUS 321289 HAS SOUPS 321289 WITH SCORE 322697.774
AT ITER 8405 NEW BEST:: SOT 3223648 SOS 1408718 HAS SOPS 1408718 HAS SOUS 321095 HAS SOUPS 321095 WITH SCORE 322503.718
AT ITER 8416 NEW BEST:: SOT 3223569 SOS 1408560 HAS SOPS 1408560 HAS SOUS 321053 HAS SOUPS 321053 WITH SCORE 322461.56
AT ITER 8457 NEW BEST:: SOT 3223455 SOS 1408560 HAS SOPS 1408560 HAS SOUS 320939 HAS SOUPS 320939 WITH SCORE 322347.56
AT ITER 8495 NEW BEST:: SOT 3223389 SOS 1408428 HAS SOPS 1408428 HAS SOUS 320713 HAS SOUPS 320713 WITH SCORE 322121.428
AT ITER 8498 NEW BEST:: SOT 3223408 SOS 1408444 HAS SOPS 1408444 HAS SOUS 320707 HAS SOUPS 320707 WITH SCORE 322115.444
AT ITER 8503 NEW BEST:: SOT 3223408 SOS 1408444 HAS SOPS 1408444 HAS SOUS 320619 HAS SOUPS 320619 WITH SCORE 322027.444
AT ITER 8555 NEW BEST:: SOT 3223383 SOS 1408325 HAS SOPS 1408325 HAS SOUS 320486 HAS SOUPS 320486 WITH SCORE 321894.325
AT ITER 8558 NEW BEST:: SOT 3223371 SOS 1408301 HAS SOPS 1408301 HAS SOUS 320462 HAS SOUPS 320462 WITH SCORE 321870.301
AT ITER 8561 NEW BEST:: SOT 3223763 SOS 1408301 HAS SOPS 1408301 HAS SOUS 320386 HAS SOUPS 320386 WITH SCORE 321794.301
AT ITER 8581 NEW BEST:: SOT 3223763 SOS 1408232 HAS SOPS 1408232 HAS SOUS 320317 HAS SOUPS 320317 WITH SCORE 321725.232
AT ITER 8587 NEW BEST:: SOT 3223903 SOS 1408092 HAS SOPS 1408092 HAS SOUS 320317 HAS SOUPS 320317 WITH SCORE 321725.092
AT ITER 8606 NEW BEST:: SOT 3223901 SOS 1408088 HAS SOPS 1408088 HAS SOUS 320313 HAS SOUPS 320313 WITH SCORE 321721.088
AT ITER 8610 NEW BEST:: SOT 3223845 SOS 1407596 HAS SOPS 1407596 HAS SOUS 320201 HAS SOUPS 320201 WITH SCORE 321608.596
AT ITER 8642 NEW BEST:: SOT 3223692 SOS 1407069 HAS SOPS 1407069 HAS SOUS 320130 HAS SOUPS 320130 WITH SCORE 321537.069
AT ITER 8660 NEW BEST:: SOT 3223623 SOS 1407000 HAS SOPS 1407000 HAS SOUS 319992 HAS SOUPS 319992 WITH SCORE 321399.0
AT ITER 8693 NEW BEST:: SOT 3223948 SOS 1408764 HAS SOPS 1408764 HAS SOUS 319905 HAS SOUPS 319905 WITH SCORE 321313.764
AT ITER 8696 NEW BEST:: SOT 3223948 SOS 1408250 HAS SOPS 1408250 HAS SOUS 319740 HAS SOUPS 319740 WITH SCORE 321148.25
AT ITER 8718 NEW BEST:: SOT 3223974 SOS 1408276 HAS SOPS 1408276 HAS SOUS 319707 HAS SOUPS 319707 WITH SCORE 321115.276
AT ITER 8724 NEW BEST:: SOT 3223987 SOS 1408302 HAS SOPS 1408302 HAS SOUS 319706 HAS SOUPS 319706 WITH SCORE 321114.302
AT ITER 8741 NEW BEST:: SOT 3223987 SOS 1408164 HAS SOPS 1408164 HAS SOUS 319430 HAS SOUPS 319430 WITH SCORE 320838.164
AT ITER 8759 NEW BEST:: SOT 3223987 SOS 1407354 HAS SOPS 1407354 HAS SOUS 319415 HAS SOUPS 319415 WITH SCORE 320822.354
AT ITER 8797 NEW BEST:: SOT 3223987 SOS 1401468 HAS SOPS 1401468 HAS SOUS 319401 HAS SOUPS 319401 WITH SCORE 320802.468
AT ITER 8803 NEW BEST:: SOT 3223946 SOS 1401756 HAS SOPS 1401756 HAS SOUS 319393 HAS SOUPS 319393 WITH SCORE 320794.756
AT ITER 8807 NEW BEST:: SOT 3223873 SOS 1401754 HAS SOPS 1401754 HAS SOUS 319383 HAS SOUPS 319383 WITH SCORE 320784.754
AT ITER 8832 NEW BEST:: SOT 3223695 SOS 1401839 HAS SOPS 1401839 HAS SOUS 319183 HAS SOUPS 319183 WITH SCORE 320584.839
AT ITER 8859 NEW BEST:: SOT 3222205 SOS 1406134 HAS SOPS 1406134 HAS SOUS 319059 HAS SOUPS 319059 WITH SCORE 320465.134
AT ITER 8860 NEW BEST:: SOT 3222190 SOS 1406104 HAS SOPS 1406104 HAS SOUS 319044 HAS SOUPS 319044 WITH SCORE 320450.104
AT ITER 8865 NEW BEST:: SOT 3222467 SOS 1406319 HAS SOPS 1406319 HAS SOUS 318791 HAS SOUPS 318791 WITH SCORE 320197.319
AT ITER 8894 NEW BEST:: SOT 3222387 SOS 1406109 HAS SOPS 1406109 HAS SOUS 318716 HAS SOUPS 318716 WITH SCORE 320122.109
AT ITER 8901 NEW BEST:: SOT 3222287 SOS 1405986 HAS SOPS 1405986 HAS SOUS 318593 HAS SOUPS 318593 WITH SCORE 319998.986
AT ITER 8931 NEW BEST:: SOT 3222325 SOS 1406062 HAS SOPS 1406062 HAS SOUS 318442 HAS SOUPS 318442 WITH SCORE 319848.062
AT ITER 8951 NEW BEST:: SOT 3222325 SOS 1406058 HAS SOPS 1406058 HAS SOUS 318438 HAS SOUPS 318438 WITH SCORE 319844.058
AT ITER 8954 NEW BEST:: SOT 3222325 SOS 1406058 HAS SOPS 1406058 HAS SOUS 318336 HAS SOUPS 318336 WITH SCORE 319742.058
AT ITER 8957 NEW BEST:: SOT 3222247 SOS 1405980 HAS SOPS 1405980 HAS SOUS 318277 HAS SOUPS 318277 WITH SCORE 319682.98
AT ITER 8960 NEW BEST:: SOT 3222247 SOS 1405980 HAS SOPS 1405980 HAS SOUS 318246 HAS SOUPS 318246 WITH SCORE 319651.98
AT ITER 8964 NEW BEST:: SOT 3222245 SOS 1405321 HAS SOPS 1405321 HAS SOUS 318245 HAS SOUPS 318245 WITH SCORE 319650.321
AT ITER 8972 NEW BEST:: SOT 3222259 SOS 1405694 HAS SOPS 1405694 HAS SOUS 318244 HAS SOUPS 318244 WITH SCORE 319649.694
AT ITER 8979 NEW BEST:: SOT 3222255 SOS 1405540 HAS SOPS 1405540 HAS SOUS 318163 HAS SOUPS 318163 WITH SCORE 319568.54
AT ITER 8994 NEW BEST:: SOT 3222248 SOS 1405526 HAS SOPS 1405526 HAS SOUS 318149 HAS SOUPS 318149 WITH SCORE 319554.526
AT ITER 9037 NEW BEST:: SOT 3221752 SOS 1405341 HAS SOPS 1405341 HAS SOUS 317605 HAS SOUPS 317605 WITH SCORE 319010.341
AT ITER 9049 NEW BEST:: SOT 3221742 SOS 1405421 HAS SOPS 1405421 HAS SOUS 317595 HAS SOUPS 317595 WITH SCORE 319000.421
AT ITER 9059 NEW BEST:: SOT 3221716 SOS 1405382 HAS SOPS 1405382 HAS SOUS 317569 HAS SOUPS 317569 WITH SCORE 318974.382
AT ITER 9061 NEW BEST:: SOT 3221711 SOS 1405372 HAS SOPS 1405372 HAS SOUS 317562 HAS SOUPS 317562 WITH SCORE 318967.372
AT ITER 9086 NEW BEST:: SOT 3221591 SOS 1405252 HAS SOPS 1405252 HAS SOUS 317562 HAS SOUPS 317562 WITH SCORE 318967.252
AT ITER 9087 NEW BEST:: SOT 3221696 SOS 1405462 HAS SOPS 1405462 HAS SOUS 317459 HAS SOUPS 317459 WITH SCORE 318864.462
AT ITER 9112 NEW BEST:: SOT 3221684 SOS 1405438 HAS SOPS 1405438 HAS SOUS 317435 HAS SOUPS 317435 WITH SCORE 318840.438
AT ITER 9127 NEW BEST:: SOT 3221684 SOS 1405418 HAS SOPS 1405418 HAS SOUS 317415 HAS SOUPS 317415 WITH SCORE 318820.418
AT ITER 9129 NEW BEST:: SOT 3221591 SOS 1405418 HAS SOPS 1405418 HAS SOUS 317322 HAS SOUPS 317322 WITH SCORE 318727.418
AT ITER 9143 NEW BEST:: SOT 3221658 SOS 1405411 HAS SOPS 1405411 HAS SOUS 317315 HAS SOUPS 317315 WITH SCORE 318720.411
AT ITER 9148 NEW BEST:: SOT 3221599 SOS 1405293 HAS SOPS 1405293 HAS SOUS 317197 HAS SOUPS 317197 WITH SCORE 318602.293
AT ITER 9162 NEW BEST:: SOT 3221471 SOS 1405165 HAS SOPS 1405165 HAS SOUS 317037 HAS SOUPS 317037 WITH SCORE 318442.165
AT ITER 9165 NEW BEST:: SOT 3221444 SOS 1404949 HAS SOPS 1404949 HAS SOUS 316983 HAS SOUPS 316983 WITH SCORE 318387.949
AT ITER 9203 NEW BEST:: SOT 3221435 SOS 1404940 HAS SOPS 1404940 HAS SOUS 316965 HAS SOUPS 316965 WITH SCORE 318369.94
AT ITER 9235 NEW BEST:: SOT 3221336 SOS 1404795 HAS SOPS 1404795 HAS SOUS 316794 HAS SOUPS 316794 WITH SCORE 318198.795
AT ITER 9244 NEW BEST:: SOT 3221292 SOS 1404707 HAS SOPS 1404707 HAS SOUS 316706 HAS SOUPS 316706 WITH SCORE 318110.707
AT ITER 9251 NEW BEST:: SOT 3221257 SOS 1404754 HAS SOPS 1404754 HAS SOUS 316671 HAS SOUPS 316671 WITH SCORE 318075.754
AT ITER 9283 NEW BEST:: SOT 3221202 SOS 1404644 HAS SOPS 1404644 HAS SOUS 316580 HAS SOUPS 316580 WITH SCORE 317984.644
AT ITER 9285 NEW BEST:: SOT 3221223 SOS 1404623 HAS SOPS 1404623 HAS SOUS 316580 HAS SOUPS 316580 WITH SCORE 317984.623
AT ITER 9300 NEW BEST:: SOT 3221223 SOS 1404561 HAS SOPS 1404561 HAS SOUS 316518 HAS SOUPS 316518 WITH SCORE 317922.561
AT ITER 9314 NEW BEST:: SOT 3221244 SOS 1404450 HAS SOPS 1404450 HAS SOUS 316443 HAS SOUPS 316443 WITH SCORE 317847.45
AT ITER 9319 NEW BEST:: SOT 3221250 SOS 1404462 HAS SOPS 1404462 HAS SOUS 316395 HAS SOUPS 316395 WITH SCORE 317799.462
AT ITER 9342 NEW BEST:: SOT 3221181 SOS 1404424 HAS SOPS 1404424 HAS SOUS 316357 HAS SOUPS 316357 WITH SCORE 317761.424
AT ITER 9350 NEW BEST:: SOT 3221089 SOS 1404353 HAS SOPS 1404353 HAS SOUS 316265 HAS SOUPS 316265 WITH SCORE 317669.353
AT ITER 9351 NEW BEST:: SOT 3221029 SOS 1458428 HAS SOPS 1458428 HAS SOUS 316135 HAS SOUPS 316135 WITH SCORE 317593.428
AT ITER 9360 NEW BEST:: SOT 3222115 SOS 1454657 HAS SOPS 1454657 HAS SOUS 316137 HAS SOUPS 316137 WITH SCORE 317591.657
AT ITER 9374 NEW BEST:: SOT 3222115 SOS 1454580 HAS SOPS 1454580 HAS SOUS 316060 HAS SOUPS 316060 WITH SCORE 317514.58
AT ITER 9391 NEW BEST:: SOT 3222084 SOS 1454549 HAS SOPS 1454549 HAS SOUS 316029 HAS SOUPS 316029 WITH SCORE 317483.549
AT ITER 9415 NEW BEST:: SOT 3221903 SOS 1454613 HAS SOPS 1454613 HAS SOUS 315848 HAS SOUPS 315848 WITH SCORE 317302.613
AT ITER 9424 NEW BEST:: SOT 3221859 SOS 1454605 HAS SOPS 1454605 HAS SOUS 315804 HAS SOUPS 315804 WITH SCORE 317258.605
AT ITER 9426 NEW BEST:: SOT 3221859 SOS 1454605 HAS SOPS 1454605 HAS SOUS 315803 HAS SOUPS 315803 WITH SCORE 317257.605
AT ITER 9466 NEW BEST:: SOT 3221859 SOS 1454517 HAS SOPS 1454517 HAS SOUS 315715 HAS SOUPS 315715 WITH SCORE 317169.517
AT ITER 9477 NEW BEST:: SOT 3221827 SOS 1454501 HAS SOPS 1454501 HAS SOUS 315642 HAS SOUPS 315642 WITH SCORE 317096.501
AT ITER 9497 NEW BEST:: SOT 3221715 SOS 1454445 HAS SOPS 1454445 HAS SOUS 315530 HAS SOUPS 315530 WITH SCORE 316984.445
AT ITER 9527 NEW BEST:: SOT 3221694 SOS 1454247 HAS SOPS 1454247 HAS SOUS 315470 HAS SOUPS 315470 WITH SCORE 316924.247
AT ITER 9556 NEW BEST:: SOT 3221794 SOS 1454247 HAS SOPS 1454247 HAS SOUS 315370 HAS SOUPS 315370 WITH SCORE 316824.247
AT ITER 9567 NEW BEST:: SOT 3221812 SOS 1454283 HAS SOPS 1454283 HAS SOUS 315244 HAS SOUPS 315244 WITH SCORE 316698.283
AT ITER 9578 NEW BEST:: SOT 3221753 SOS 1454165 HAS SOPS 1454165 HAS SOUS 315135 HAS SOUPS 315135 WITH SCORE 316589.165
AT ITER 9579 NEW BEST:: SOT 3221610 SOS 1453879 HAS SOPS 1453879 HAS SOUS 314981 HAS SOUPS 314981 WITH SCORE 316434.879
AT ITER 9597 NEW BEST:: SOT 3221604 SOS 1453593 HAS SOPS 1453593 HAS SOUS 314975 HAS SOUPS 314975 WITH SCORE 316428.593
AT ITER 9600 NEW BEST:: SOT 3221604 SOS 1453573 HAS SOPS 1453573 HAS SOUS 314970 HAS SOUPS 314970 WITH SCORE 316423.573
AT ITER 9632 NEW BEST:: SOT 3221236 SOS 1471262 HAS SOPS 1471262 HAS SOUS 314952 HAS SOUPS 314952 WITH SCORE 316423.262
AT ITER 9645 NEW BEST:: SOT 3221236 SOS 1471232 HAS SOPS 1471232 HAS SOUS 314922 HAS SOUPS 314922 WITH SCORE 316393.232
AT ITER 9646 NEW BEST:: SOT 3221339 SOS 1471244 HAS SOPS 1471244 HAS SOUS 314831 HAS SOUPS 314831 WITH SCORE 316302.244
AT ITER 9651 NEW BEST:: SOT 3221298 SOS 1471248 HAS SOPS 1471248 HAS SOUS 314792 HAS SOUPS 314792 WITH SCORE 316263.248
AT ITER 9655 NEW BEST:: SOT 3221277 SOS 1471206 HAS SOPS 1471206 HAS SOUS 314750 HAS SOUPS 314750 WITH SCORE 316221.206
AT ITER 9668 NEW BEST:: SOT 3221259 SOS 1471106 HAS SOPS 1471106 HAS SOUS 314714 HAS SOUPS 314714 WITH SCORE 316185.106
AT ITER 9677 NEW BEST:: SOT 3221259 SOS 1471276 HAS SOPS 1471276 HAS SOUS 314680 HAS SOUPS 314680 WITH SCORE 316151.276
AT ITER 9688 NEW BEST:: SOT 3221259 SOS 1471276 HAS SOPS 1471276 HAS SOUS 314659 HAS SOUPS 314659 WITH SCORE 316130.276
AT ITER 9701 NEW BEST:: SOT 3221235 SOS 1471228 HAS SOPS 1471228 HAS SOUS 314658 HAS SOUPS 314658 WITH SCORE 316129.228
AT ITER 9704 NEW BEST:: SOT 3221204 SOS 1471166 HAS SOPS 1471166 HAS SOUS 314596 HAS SOUPS 314596 WITH SCORE 316067.166
AT ITER 9718 NEW BEST:: SOT 3221204 SOS 1471154 HAS SOPS 1471154 HAS SOUS 314584 HAS SOUPS 314584 WITH SCORE 316055.154
AT ITER 9731 NEW BEST:: SOT 3221143 SOS 1471122 HAS SOPS 1471122 HAS SOUS 314550 HAS SOUPS 314550 WITH SCORE 316021.122
AT ITER 9732 NEW BEST:: SOT 3221143 SOS 1471122 HAS SOPS 1471122 HAS SOUS 314362 HAS SOUPS 314362 WITH SCORE 315833.122
AT ITER 9738 NEW BEST:: SOT 3221093 SOS 1471022 HAS SOPS 1471022 HAS SOUS 314262 HAS SOUPS 314262 WITH SCORE 315733.022
AT ITER 9756 NEW BEST:: SOT 3221049 SOS 1470934 HAS SOPS 1470934 HAS SOUS 314210 HAS SOUPS 314210 WITH SCORE 315680.934
AT ITER 9761 NEW BEST:: SOT 3221080 SOS 1470996 HAS SOPS 1470996 HAS SOUS 314201 HAS SOUPS 314201 WITH SCORE 315671.996
AT ITER 9772 NEW BEST:: SOT 3221075 SOS 1470986 HAS SOPS 1470986 HAS SOUS 314193 HAS SOUPS 314193 WITH SCORE 315663.986
AT ITER 9778 NEW BEST:: SOT 3221075 SOS 1470986 HAS SOPS 1470986 HAS SOUS 314135 HAS SOUPS 314135 WITH SCORE 315605.986
AT ITER 9783 NEW BEST:: SOT 3221054 SOS 1470944 HAS SOPS 1470944 HAS SOUS 314114 HAS SOUPS 314114 WITH SCORE 315584.944
AT ITER 9823 NEW BEST:: SOT 3221054 SOS 1471127 HAS SOPS 1471127 HAS SOUS 313931 HAS SOUPS 313931 WITH SCORE 315402.127
AT ITER 9851 NEW BEST:: SOT 3221054 SOS 1471203 HAS SOPS 1471203 HAS SOUS 313930 HAS SOUPS 313930 WITH SCORE 315401.203
AT ITER 9868 NEW BEST:: SOT 3221069 SOS 1471280 HAS SOPS 1471280 HAS SOUS 313913 HAS SOUPS 313913 WITH SCORE 315384.28
AT ITER 9893 NEW BEST:: SOT 3221069 SOS 1470103 HAS SOPS 1470103 HAS SOUS 313595 HAS SOUPS 313595 WITH SCORE 315065.103
AT ITER 9944 NEW BEST:: SOT 3221069 SOS 1470086 HAS SOPS 1470086 HAS SOUS 313578 HAS SOUPS 313578 WITH SCORE 315048.086
AT ITER 9961 NEW BEST:: SOT 3219155 SOS 1468166 HAS SOPS 1468166 HAS SOUS 313450 HAS SOUPS 313450 WITH SCORE 314918.166
AT ITER 9965 NEW BEST:: SOT 3219074 SOS 1468004 HAS SOPS 1468004 HAS SOUS 313288 HAS SOUPS 313288 WITH SCORE 314756.004
AT ITER 9968 NEW BEST:: SOT 3219020 SOS 1466968 HAS SOPS 1466968 HAS SOUS 313211 HAS SOUPS 313211 WITH SCORE 314677.968
AT ITER 9973 NEW BEST:: SOT 3219020 SOS 1466968 HAS SOPS 1466968 HAS SOUS 313206 HAS SOUPS 313206 WITH SCORE 314672.968
AT ITER 9998 NEW BEST:: SOT 3218522 SOS 1471396 HAS SOPS 1471396 HAS SOUS 312992 HAS SOUPS 312992 WITH SCORE 314463.396
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11206816 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151052 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-5b"
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-5b, 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-167814394800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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