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.r515-tall-167987242200280.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 EisenbergMcGuire-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 15K Mar 23 15:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Mar 23 15:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 26 22:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679883181753

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=EisenbergMcGuire-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 10
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: 1090 places, 5200 transitions, 25400 arcs.
AT ITER 0 NEW BEST:: SOT 4467507 SOS 2103481 HAS SOPS 1323185 HAS SOUS 703195 HAS SOUPS 686831 WITH SCORE 688934.481
AT ITER 4 NEW BEST:: SOT 4467207 SOS 2102881 HAS SOPS 1322585 HAS SOUS 703058 HAS SOUPS 686694 WITH SCORE 688796.881
AT ITER 10 NEW BEST:: SOT 4467207 SOS 2102293 HAS SOPS 1321997 HAS SOUS 702921 HAS SOUPS 686557 WITH SCORE 688659.293
AT ITER 15 NEW BEST:: SOT 4467218 SOS 2104479 HAS SOPS 1324140 HAS SOUS 702767 HAS SOUPS 686429 WITH SCORE 688533.479
AT ITER 21 NEW BEST:: SOT 4466632 SOS 2103475 HAS SOPS 1322934 HAS SOUS 701821 HAS SOUPS 685483 WITH SCORE 687586.475
AT ITER 24 NEW BEST:: SOT 4466424 SOS 2103344 HAS SOPS 1323025 HAS SOUS 701767 HAS SOUPS 685429 WITH SCORE 687532.344
AT ITER 25 NEW BEST:: SOT 4466170 SOS 2104735 HAS SOPS 1325710 HAS SOUS 701651 HAS SOUPS 685313 WITH SCORE 687417.735
AT ITER 26 NEW BEST:: SOT 4465991 SOS 2104556 HAS SOPS 1321056 HAS SOUS 696997 HAS SOUPS 680659 WITH SCORE 682763.556
AT ITER 27 NEW BEST:: SOT 4465388 SOS 2107391 HAS SOPS 1325176 HAS SOUS 696257 HAS SOUPS 679919 WITH SCORE 682026.391
AT ITER 29 NEW BEST:: SOT 4465360 SOS 2102954 HAS SOPS 1320739 HAS SOUS 696048 HAS SOUPS 679710 WITH SCORE 681812.954
AT ITER 33 NEW BEST:: SOT 4465514 SOS 2103027 HAS SOPS 1320812 HAS SOUS 695630 HAS SOUPS 679292 WITH SCORE 681395.027
AT ITER 39 NEW BEST:: SOT 4465365 SOS 2098400 HAS SOPS 1316185 HAS SOUS 695323 HAS SOUPS 678985 WITH SCORE 681083.4
AT ITER 42 NEW BEST:: SOT 4465365 SOS 2098151 HAS SOPS 1315936 HAS SOUS 695323 HAS SOUPS 678985 WITH SCORE 681083.151
AT ITER 43 NEW BEST:: SOT 4465365 SOS 2097713 HAS SOPS 1315498 HAS SOUS 695323 HAS SOUPS 678985 WITH SCORE 681082.713
AT ITER 53 NEW BEST:: SOT 4465365 SOS 2097671 HAS SOPS 1315456 HAS SOUS 695323 HAS SOUPS 678985 WITH SCORE 681082.671
AT ITER 61 NEW BEST:: SOT 4397853 SOS 2045987 HAS SOPS 1278850 HAS SOUS 634180 HAS SOUPS 617842 WITH SCORE 619887.987
AT ITER 64 NEW BEST:: SOT 4397747 SOS 2042135 HAS SOPS 1274998 HAS SOUS 633831 HAS SOUPS 617493 WITH SCORE 619535.135
AT ITER 70 NEW BEST:: SOT 4397589 SOS 2040634 HAS SOPS 1272914 HAS SOUS 633040 HAS SOUPS 616618 WITH SCORE 618658.634
AT ITER 74 NEW BEST:: SOT 4397589 SOS 2040288 HAS SOPS 1272568 HAS SOUS 633040 HAS SOUPS 616618 WITH SCORE 618658.288
AT ITER 75 NEW BEST:: SOT 4397444 SOS 2038806 HAS SOPS 1271086 HAS SOUS 632750 HAS SOUPS 616328 WITH SCORE 618366.806
AT ITER 80 NEW BEST:: SOT 4397185 SOS 2037788 HAS SOPS 1270068 HAS SOUS 632113 HAS SOUPS 615691 WITH SCORE 617728.788
AT ITER 88 NEW BEST:: SOT 4397185 SOS 2037291 HAS SOPS 1269571 HAS SOUS 632113 HAS SOUPS 615691 WITH SCORE 617728.291
AT ITER 89 NEW BEST:: SOT 4392166 SOS 2035908 HAS SOPS 1267777 HAS SOUS 627655 HAS SOUPS 611032 WITH SCORE 613067.908
AT ITER 92 NEW BEST:: SOT 4392000 SOS 2035078 HAS SOPS 1266947 HAS SOUS 627186 HAS SOUPS 610563 WITH SCORE 612598.078
AT ITER 93 NEW BEST:: SOT 4391548 SOS 2034406 HAS SOPS 1266473 HAS SOUS 626477 HAS SOUPS 609854 WITH SCORE 611888.406
AT ITER 99 NEW BEST:: SOT 4391411 SOS 2034132 HAS SOPS 1266199 HAS SOUS 626203 HAS SOUPS 609580 WITH SCORE 611614.132
AT ITER 101 NEW BEST:: SOT 4391120 SOS 2032896 HAS SOPS 1264963 HAS SOUS 625612 HAS SOUPS 608989 WITH SCORE 611021.896
AT ITER 102 NEW BEST:: SOT 4391120 SOS 2031776 HAS SOPS 1263843 HAS SOUS 625612 HAS SOUPS 608989 WITH SCORE 611020.776
AT ITER 105 NEW BEST:: SOT 4391120 SOS 2031328 HAS SOPS 1263395 HAS SOUS 625612 HAS SOUPS 608989 WITH SCORE 611020.328
AT ITER 107 NEW BEST:: SOT 4391120 SOS 2028844 HAS SOPS 1260911 HAS SOUS 625612 HAS SOUPS 608989 WITH SCORE 611017.844
AT ITER 113 NEW BEST:: SOT 4391120 SOS 2026315 HAS SOPS 1258382 HAS SOUS 625612 HAS SOUPS 608989 WITH SCORE 611015.315
AT ITER 120 NEW BEST:: SOT 4394766 SOS 2029985 HAS SOPS 1253923 HAS SOUS 620035 HAS SOUPS 603396 WITH SCORE 605425.985
AT ITER 127 NEW BEST:: SOT 4394432 SOS 2029177 HAS SOPS 1252887 HAS SOUS 619360 HAS SOUPS 602721 WITH SCORE 604750.177
AT ITER 133 NEW BEST:: SOT 4394000 SOS 2028608 HAS SOPS 1252573 HAS SOUS 618952 HAS SOUPS 602313 WITH SCORE 604341.608
AT ITER 134 NEW BEST:: SOT 4395588 SOS 2009599 HAS SOPS 1254404 HAS SOUS 616700 HAS SOUPS 600313 WITH SCORE 602322.599
AT ITER 138 NEW BEST:: SOT 4395049 SOS 2010272 HAS SOPS 1255041 HAS SOUS 616548 HAS SOUPS 600161 WITH SCORE 602171.272
AT ITER 139 NEW BEST:: SOT 4394956 SOS 2009342 HAS SOPS 1254111 HAS SOUS 616362 HAS SOUPS 599975 WITH SCORE 601984.342
AT ITER 142 NEW BEST:: SOT 4394795 SOS 2008989 HAS SOPS 1253758 HAS SOUS 616054 HAS SOUPS 599667 WITH SCORE 601675.989
AT ITER 145 NEW BEST:: SOT 4394715 SOS 2008749 HAS SOPS 1253518 HAS SOUS 615894 HAS SOUPS 599507 WITH SCORE 601515.749
AT ITER 146 NEW BEST:: SOT 4394525 SOS 2008548 HAS SOPS 1253099 HAS SOUS 615197 HAS SOUPS 598810 WITH SCORE 600818.548
AT ITER 148 NEW BEST:: SOT 4393339 SOS 2007593 HAS SOPS 1251835 HAS SOUS 614054 HAS SOUPS 597517 WITH SCORE 599524.593
AT ITER 160 NEW BEST:: SOT 4393285 SOS 2007539 HAS SOPS 1251619 HAS SOUS 613876 HAS SOUPS 597301 WITH SCORE 599308.539
AT ITER 164 NEW BEST:: SOT 4393112 SOS 2007355 HAS SOPS 1251217 HAS SOUS 613198 HAS SOUPS 596623 WITH SCORE 598630.355
AT ITER 167 NEW BEST:: SOT 4392330 SOS 2007008 HAS SOPS 1250870 HAS SOUS 612976 HAS SOUPS 596401 WITH SCORE 598408.008
AT ITER 170 NEW BEST:: SOT 4392330 SOS 2006786 HAS SOPS 1250648 HAS SOUS 612976 HAS SOUPS 596401 WITH SCORE 598407.786
AT ITER 173 NEW BEST:: SOT 4387391 SOS 2006773 HAS SOPS 1290839 HAS SOUS 613144 HAS SOUPS 596394 WITH SCORE 598400.773
AT ITER 179 NEW BEST:: SOT 4387313 SOS 2003017 HAS SOPS 1287083 HAS SOUS 612988 HAS SOUPS 596238 WITH SCORE 598241.017
AT ITER 184 NEW BEST:: SOT 4387180 SOS 2002751 HAS SOPS 1286817 HAS SOUS 612589 HAS SOUPS 595839 WITH SCORE 597841.751
AT ITER 185 NEW BEST:: SOT 4385148 SOS 2002795 HAS SOPS 1287776 HAS SOUS 612036 HAS SOUPS 595286 WITH SCORE 597288.795
AT ITER 188 NEW BEST:: SOT 4384769 SOS 2002724 HAS SOPS 1287968 HAS SOUS 611715 HAS SOUPS 594965 WITH SCORE 596967.724
AT ITER 189 NEW BEST:: SOT 4384446 SOS 2002601 HAS SOPS 1288100 HAS SOUS 611300 HAS SOUPS 594550 WITH SCORE 596552.601
AT ITER 191 NEW BEST:: SOT 4384446 SOS 2002590 HAS SOPS 1288089 HAS SOUS 611300 HAS SOUPS 594550 WITH SCORE 596552.59
AT ITER 197 NEW BEST:: SOT 4384446 SOS 2002451 HAS SOPS 1287950 HAS SOUS 611300 HAS SOUPS 594550 WITH SCORE 596552.451
AT ITER 198 NEW BEST:: SOT 4377162 SOS 2084489 HAS SOPS 1280344 HAS SOUS 607001 HAS SOUPS 589239 WITH SCORE 591323.489
AT ITER 206 NEW BEST:: SOT 4377064 SOS 2084293 HAS SOPS 1280148 HAS SOUS 606805 HAS SOUPS 589043 WITH SCORE 591127.293
AT ITER 208 NEW BEST:: SOT 4376782 SOS 2082883 HAS SOPS 1278738 HAS SOUS 606104 HAS SOUPS 588342 WITH SCORE 590424.883
AT ITER 212 NEW BEST:: SOT 4376756 SOS 2082857 HAS SOPS 1278712 HAS SOUS 606078 HAS SOUPS 588316 WITH SCORE 590398.857
AT ITER 225 NEW BEST:: SOT 4376756 SOS 2082105 HAS SOPS 1277960 HAS SOUS 606078 HAS SOUPS 588316 WITH SCORE 590398.105
AT ITER 226 NEW BEST:: SOT 4376498 SOS 2081064 HAS SOPS 1276919 HAS SOUS 605553 HAS SOUPS 587791 WITH SCORE 589872.064
AT ITER 228 NEW BEST:: SOT 4376399 SOS 2080965 HAS SOPS 1276715 HAS SOUS 605430 HAS SOUPS 587668 WITH SCORE 589748.965
AT ITER 229 NEW BEST:: SOT 4376394 SOS 2080527 HAS SOPS 1276277 HAS SOUS 605420 HAS SOUPS 587658 WITH SCORE 589738.527
AT ITER 235 NEW BEST:: SOT 4376200 SOS 2080236 HAS SOPS 1276083 HAS SOUS 604956 HAS SOUPS 587194 WITH SCORE 589274.236
AT ITER 249 NEW BEST:: SOT 4376011 SOS 2080095 HAS SOPS 1276140 HAS SOUS 604916 HAS SOUPS 587154 WITH SCORE 589234.095
AT ITER 253 NEW BEST:: SOT 4376011 SOS 2079579 HAS SOPS 1275624 HAS SOUS 604916 HAS SOUPS 587154 WITH SCORE 589233.579
AT ITER 258 NEW BEST:: SOT 4376085 SOS 2079406 HAS SOPS 1275032 HAS SOUS 604809 HAS SOUPS 586842 WITH SCORE 588921.406
AT ITER 263 NEW BEST:: SOT 4375715 SOS 2078025 HAS SOPS 1273471 HAS SOUS 603866 HAS SOUPS 585899 WITH SCORE 587977.025
AT ITER 271 NEW BEST:: SOT 4375641 SOS 2077729 HAS SOPS 1273175 HAS SOUS 603644 HAS SOUPS 585677 WITH SCORE 587754.729
AT ITER 275 NEW BEST:: SOT 4375641 SOS 2077600 HAS SOPS 1273046 HAS SOUS 603644 HAS SOUPS 585677 WITH SCORE 587754.6
AT ITER 279 NEW BEST:: SOT 4375343 SOS 2077004 HAS SOPS 1272450 HAS SOUS 603507 HAS SOUPS 585540 WITH SCORE 587617.004
AT ITER 281 NEW BEST:: SOT 4371634 SOS 2073354 HAS SOPS 1270561 HAS SOUS 602741 HAS SOUPS 584784 WITH SCORE 586857.354
AT ITER 284 NEW BEST:: SOT 4371158 SOS 2072836 HAS SOPS 1269930 HAS SOUS 602110 HAS SOUPS 584153 WITH SCORE 586225.836
AT ITER 295 NEW BEST:: SOT 4371137 SOS 2072794 HAS SOPS 1269888 HAS SOUS 602047 HAS SOUPS 584090 WITH SCORE 586162.794
AT ITER 298 NEW BEST:: SOT 4371055 SOS 2070364 HAS SOPS 1267458 HAS SOUS 601997 HAS SOUPS 584040 WITH SCORE 586110.364
AT ITER 310 NEW BEST:: SOT 4371055 SOS 2070016 HAS SOPS 1267110 HAS SOUS 601997 HAS SOUPS 584040 WITH SCORE 586110.016
AT ITER 311 NEW BEST:: SOT 4369905 SOS 2071986 HAS SOPS 1266063 HAS SOUS 601557 HAS SOUPS 583510 WITH SCORE 585581.986
AT ITER 312 NEW BEST:: SOT 4369888 SOS 2066538 HAS SOPS 1266125 HAS SOUS 600337 HAS SOUPS 582369 WITH SCORE 584435.538
AT ITER 316 NEW BEST:: SOT 4369888 SOS 2066530 HAS SOPS 1266117 HAS SOUS 600337 HAS SOUPS 582369 WITH SCORE 584435.53
AT ITER 320 NEW BEST:: SOT 4369684 SOS 2066401 HAS SOPS 1266195 HAS SOUS 600252 HAS SOUPS 582284 WITH SCORE 584350.401
AT ITER 321 NEW BEST:: SOT 4368831 SOS 2064943 HAS SOPS 1264529 HAS SOUS 599037 HAS SOUPS 580854 WITH SCORE 582918.943
AT ITER 327 NEW BEST:: SOT 4368540 SOS 2063839 HAS SOPS 1263425 HAS SOUS 598979 HAS SOUPS 580796 WITH SCORE 582859.839
AT ITER 331 NEW BEST:: SOT 4368540 SOS 2063689 HAS SOPS 1263275 HAS SOUS 598979 HAS SOUPS 580796 WITH SCORE 582859.689
AT ITER 332 NEW BEST:: SOT 4368538 SOS 2063687 HAS SOPS 1263271 HAS SOUS 598975 HAS SOUPS 580792 WITH SCORE 582855.687
AT ITER 333 NEW BEST:: SOT 4357770 SOS 2058551 HAS SOPS 1311862 HAS SOUS 594285 HAS SOUPS 576102 WITH SCORE 578160.551
AT ITER 334 NEW BEST:: SOT 4357630 SOS 2058039 HAS SOPS 1311811 HAS SOUS 594065 HAS SOUPS 576057 WITH SCORE 578115.039
AT ITER 335 NEW BEST:: SOT 4356635 SOS 2057317 HAS SOPS 1310782 HAS SOUS 593311 HAS SOUPS 575154 WITH SCORE 577211.317
AT ITER 337 NEW BEST:: SOT 4356635 SOS 2057107 HAS SOPS 1310572 HAS SOUS 593311 HAS SOUPS 575154 WITH SCORE 577211.107
AT ITER 346 NEW BEST:: SOT 4356533 SOS 2056115 HAS SOPS 1303868 HAS SOUS 587407 HAS SOUPS 569250 WITH SCORE 571306.115
AT ITER 364 NEW BEST:: SOT 4356437 SOS 2055827 HAS SOPS 1303580 HAS SOUS 587215 HAS SOUPS 569058 WITH SCORE 571113.827
AT ITER 367 NEW BEST:: SOT 4356252 SOS 2057731 HAS SOPS 1305484 HAS SOUS 586845 HAS SOUPS 568688 WITH SCORE 570745.731
AT ITER 372 NEW BEST:: SOT 4355624 SOS 2056946 HAS SOPS 1304778 HAS SOUS 585903 HAS SOUPS 567746 WITH SCORE 569802.946
AT ITER 377 NEW BEST:: SOT 4359072 SOS 2047557 HAS SOPS 1308601 HAS SOUS 584816 HAS SOUPS 566868 WITH SCORE 568915.557
AT ITER 381 NEW BEST:: SOT 4358695 SOS 2047138 HAS SOPS 1307847 HAS SOUS 584062 HAS SOUPS 566114 WITH SCORE 568161.138
AT ITER 390 NEW BEST:: SOT 4358342 SOS 2046223 HAS SOPS 1307317 HAS SOUS 583732 HAS SOUPS 565784 WITH SCORE 567830.223
AT ITER 391 NEW BEST:: SOT 4358051 SOS 2044516 HAS SOPS 1305223 HAS SOUS 583200 HAS SOUPS 565252 WITH SCORE 567296.516
AT ITER 395 NEW BEST:: SOT 4358051 SOS 2044479 HAS SOPS 1305186 HAS SOUS 583200 HAS SOUPS 565252 WITH SCORE 567296.479
AT ITER 401 NEW BEST:: SOT 4358051 SOS 2044560 HAS SOPS 1305267 HAS SOUS 583178 HAS SOUPS 565230 WITH SCORE 567274.56
AT ITER 402 NEW BEST:: SOT 4357524 SOS 2044285 HAS SOPS 1304778 HAS SOUS 582754 HAS SOUPS 564702 WITH SCORE 566746.285
AT ITER 406 NEW BEST:: SOT 4357442 SOS 2044700 HAS SOPS 1305193 HAS SOUS 582672 HAS SOUPS 564620 WITH SCORE 566664.7
AT ITER 411 NEW BEST:: SOT 4357442 SOS 2044462 HAS SOPS 1304955 HAS SOUS 582672 HAS SOUPS 564620 WITH SCORE 566664.462
AT ITER 413 NEW BEST:: SOT 4357316 SOS 2044336 HAS SOPS 1304689 HAS SOUS 582601 HAS SOUPS 564480 WITH SCORE 566524.336
AT ITER 414 NEW BEST:: SOT 4357201 SOS 2045141 HAS SOPS 1305494 HAS SOUS 582371 HAS SOUPS 564250 WITH SCORE 566295.141
AT ITER 422 NEW BEST:: SOT 4357151 SOS 2045041 HAS SOPS 1305394 HAS SOUS 582296 HAS SOUPS 564175 WITH SCORE 566220.041
AT ITER 426 NEW BEST:: SOT 4357028 SOS 2044769 HAS SOPS 1305122 HAS SOUS 582273 HAS SOUPS 564152 WITH SCORE 566196.769
AT ITER 430 NEW BEST:: SOT 4356925 SOS 2044469 HAS SOPS 1304822 HAS SOUS 582096 HAS SOUPS 563975 WITH SCORE 566019.469
AT ITER 437 NEW BEST:: SOT 4356835 SOS 2044109 HAS SOPS 1304462 HAS SOUS 581912 HAS SOUPS 563791 WITH SCORE 565835.109
AT ITER 440 NEW BEST:: SOT 4356835 SOS 2044109 HAS SOPS 1304462 HAS SOUS 581791 HAS SOUPS 563670 WITH SCORE 565714.109
AT ITER 445 NEW BEST:: SOT 4356790 SOS 2043788 HAS SOPS 1304141 HAS SOUS 581620 HAS SOUPS 563499 WITH SCORE 565542.788
AT ITER 446 NEW BEST:: SOT 4339009 SOS 2193551 HAS SOPS 1297174 HAS SOUS 582550 HAS SOUPS 563075 WITH SCORE 565268.551
AT ITER 449 NEW BEST:: SOT 4338741 SOS 2196058 HAS SOPS 1300676 HAS SOUS 582523 HAS SOUPS 563048 WITH SCORE 565244.058
AT ITER 451 NEW BEST:: SOT 4338741 SOS 2195964 HAS SOPS 1300582 HAS SOUS 582523 HAS SOUPS 563048 WITH SCORE 565243.964
AT ITER 459 NEW BEST:: SOT 4338741 SOS 2195726 HAS SOPS 1300344 HAS SOUS 582523 HAS SOUPS 563048 WITH SCORE 565243.726
AT ITER 462 NEW BEST:: SOT 4338741 SOS 2195835 HAS SOPS 1300453 HAS SOUS 582515 HAS SOUPS 563040 WITH SCORE 565235.835
AT ITER 464 NEW BEST:: SOT 4338741 SOS 2193072 HAS SOPS 1297690 HAS SOUS 582515 HAS SOUPS 563040 WITH SCORE 565233.072
AT ITER 465 NEW BEST:: SOT 4338741 SOS 2191870 HAS SOPS 1296488 HAS SOUS 582336 HAS SOUPS 562861 WITH SCORE 565052.87
AT ITER 468 NEW BEST:: SOT 4338694 SOS 2191939 HAS SOPS 1296557 HAS SOUS 582242 HAS SOUPS 562767 WITH SCORE 564958.939
AT ITER 481 NEW BEST:: SOT 4338709 SOS 2192102 HAS SOPS 1295390 HAS SOUS 582246 HAS SOUPS 562664 WITH SCORE 564856.102
AT ITER 484 NEW BEST:: SOT 4336057 SOS 2190127 HAS SOPS 1293467 HAS SOUS 581629 HAS SOUPS 561995 WITH SCORE 564185.127
AT ITER 488 NEW BEST:: SOT 4336057 SOS 2189873 HAS SOPS 1293213 HAS SOUS 581629 HAS SOUPS 561995 WITH SCORE 564184.873
AT ITER 490 NEW BEST:: SOT 4335896 SOS 2189362 HAS SOPS 1292826 HAS SOUS 581307 HAS SOUPS 561673 WITH SCORE 563862.362
AT ITER 501 NEW BEST:: SOT 4335755 SOS 2187800 HAS SOPS 1291264 HAS SOUS 581025 HAS SOUPS 561391 WITH SCORE 563578.8
AT ITER 502 NEW BEST:: SOT 4335654 SOS 2188074 HAS SOPS 1291538 HAS SOUS 580823 HAS SOUPS 561189 WITH SCORE 563377.074
AT ITER 504 NEW BEST:: SOT 4335395 SOS 2187345 HAS SOPS 1285592 HAS SOUS 575299 HAS SOUPS 555665 WITH SCORE 557852.345
AT ITER 507 NEW BEST:: SOT 4335386 SOS 2187336 HAS SOPS 1285583 HAS SOUS 575290 HAS SOUPS 555656 WITH SCORE 557843.336
AT ITER 508 NEW BEST:: SOT 4335386 SOS 2187246 HAS SOPS 1285493 HAS SOUS 575245 HAS SOUPS 555611 WITH SCORE 557798.246
AT ITER 511 NEW BEST:: SOT 4335386 SOS 2170172 HAS SOPS 1285699 HAS SOUS 574980 HAS SOUPS 555611 WITH SCORE 557781.172
AT ITER 515 NEW BEST:: SOT 4335394 SOS 2170180 HAS SOPS 1285671 HAS SOUS 574968 HAS SOUPS 555583 WITH SCORE 557753.18
AT ITER 517 NEW BEST:: SOT 4335103 SOS 2169193 HAS SOPS 1284684 HAS SOUS 574457 HAS SOUPS 555072 WITH SCORE 557241.193
AT ITER 522 NEW BEST:: SOT 4335079 SOS 2169121 HAS SOPS 1284612 HAS SOUS 574409 HAS SOUPS 555024 WITH SCORE 557193.121
AT ITER 524 NEW BEST:: SOT 4311946 SOS 2323143 HAS SOPS 1270014 HAS SOUS 555021 HAS SOUPS 534500 WITH SCORE 536823.143
AT ITER 525 NEW BEST:: SOT 4312041 SOS 2322986 HAS SOPS 1269646 HAS SOUS 554955 HAS SOUPS 534434 WITH SCORE 536756.986
AT ITER 533 NEW BEST:: SOT 4311868 SOS 2322712 HAS SOPS 1269281 HAS SOUS 554590 HAS SOUPS 534069 WITH SCORE 536391.712
AT ITER 535 NEW BEST:: SOT 4311761 SOS 2322177 HAS SOPS 1268746 HAS SOUS 554269 HAS SOUPS 533748 WITH SCORE 536070.177
AT ITER 536 NEW BEST:: SOT 4311076 SOS 2321383 HAS SOPS 1268061 HAS SOUS 554255 HAS SOUPS 533691 WITH SCORE 536012.383
AT ITER 537 NEW BEST:: SOT 4307059 SOS 2317366 HAS SOPS 1283016 HAS SOUS 552657 HAS SOUPS 532011 WITH SCORE 534328.366
AT ITER 539 NEW BEST:: SOT 4307018 SOS 2317243 HAS SOPS 1282893 HAS SOUS 552534 HAS SOUPS 531888 WITH SCORE 534205.243
AT ITER 541 NEW BEST:: SOT 4307162 SOS 2317242 HAS SOPS 1283045 HAS SOUS 552457 HAS SOUPS 531845 WITH SCORE 534162.242
AT ITER 566 NEW BEST:: SOT 4307344 SOS 2317287 HAS SOPS 1282861 HAS SOUS 552373 HAS SOUPS 531761 WITH SCORE 534078.287
AT ITER 577 NEW BEST:: SOT 4307238 SOS 2317403 HAS SOPS 1282977 HAS SOUS 552267 HAS SOUPS 531655 WITH SCORE 533972.403
AT ITER 578 NEW BEST:: SOT 4307238 SOS 2317396 HAS SOPS 1282970 HAS SOUS 552267 HAS SOUPS 531655 WITH SCORE 533972.396
AT ITER 580 NEW BEST:: SOT 4306955 SOS 2315819 HAS SOPS 1281393 HAS SOUS 552046 HAS SOUPS 531434 WITH SCORE 533749.819
AT ITER 582 NEW BEST:: SOT 4306815 SOS 2310386 HAS SOPS 1275960 HAS SOUS 551906 HAS SOUPS 531294 WITH SCORE 533604.386
AT ITER 585 NEW BEST:: SOT 4306620 SOS 2309606 HAS SOPS 1275180 HAS SOUS 551711 HAS SOUPS 531099 WITH SCORE 533408.606
AT ITER 596 NEW BEST:: SOT 4306393 SOS 2311200 HAS SOPS 1276774 HAS SOUS 551342 HAS SOUPS 530730 WITH SCORE 533041.2
AT ITER 598 NEW BEST:: SOT 4306393 SOS 2311065 HAS SOPS 1276639 HAS SOUS 551342 HAS SOUPS 530730 WITH SCORE 533041.065
AT ITER 599 NEW BEST:: SOT 4306380 SOS 2311039 HAS SOPS 1276613 HAS SOUS 551316 HAS SOUPS 530704 WITH SCORE 533015.039
AT ITER 601 NEW BEST:: SOT 4306255 SOS 2310377 HAS SOPS 1275951 HAS SOUS 550922 HAS SOUPS 530310 WITH SCORE 532620.377
AT ITER 604 NEW BEST:: SOT 4306255 SOS 2310265 HAS SOPS 1275839 HAS SOUS 550922 HAS SOUPS 530310 WITH SCORE 532620.265
AT ITER 610 NEW BEST:: SOT 4306236 SOS 2310491 HAS SOPS 1276065 HAS SOUS 550903 HAS SOUPS 530291 WITH SCORE 532601.491
AT ITER 618 NEW BEST:: SOT 4306230 SOS 2310339 HAS SOPS 1276053 HAS SOUS 550891 HAS SOUPS 530279 WITH SCORE 532589.339
AT ITER 619 NEW BEST:: SOT 4306230 SOS 2309961 HAS SOPS 1275675 HAS SOUS 550891 HAS SOUPS 530279 WITH SCORE 532588.961
AT ITER 621 NEW BEST:: SOT 4305891 SOS 2308272 HAS SOPS 1273986 HAS SOUS 550552 HAS SOUPS 529940 WITH SCORE 532248.272
AT ITER 624 NEW BEST:: SOT 4305693 SOS 2307942 HAS SOPS 1273656 HAS SOUS 550222 HAS SOUPS 529610 WITH SCORE 531917.942
AT ITER 626 NEW BEST:: SOT 4305693 SOS 2307576 HAS SOPS 1273290 HAS SOUS 550222 HAS SOUPS 529610 WITH SCORE 531917.576
AT ITER 627 NEW BEST:: SOT 4305693 SOS 2307737 HAS SOPS 1273451 HAS SOUS 550143 HAS SOUPS 529531 WITH SCORE 531838.737
AT ITER 633 NEW BEST:: SOT 4305597 SOS 2307545 HAS SOPS 1273259 HAS SOUS 549951 HAS SOUPS 529339 WITH SCORE 531646.545
AT ITER 636 NEW BEST:: SOT 4305538 SOS 2307368 HAS SOPS 1273200 HAS SOUS 549892 HAS SOUPS 529280 WITH SCORE 531587.368
AT ITER 651 NEW BEST:: SOT 4305418 SOS 2307128 HAS SOPS 1272960 HAS SOUS 549652 HAS SOUPS 529040 WITH SCORE 531347.128
AT ITER 653 NEW BEST:: SOT 4305174 SOS 2306152 HAS SOPS 1271984 HAS SOUS 549408 HAS SOUPS 528796 WITH SCORE 531102.152
AT ITER 654 NEW BEST:: SOT 4303221 SOS 2304072 HAS SOPS 1270364 HAS SOUS 547780 HAS SOUPS 527176 WITH SCORE 529480.072
AT ITER 670 NEW BEST:: SOT 4303208 SOS 2304020 HAS SOPS 1270312 HAS SOUS 547754 HAS SOUPS 527150 WITH SCORE 529454.02
AT ITER 683 NEW BEST:: SOT 4302934 SOS 2302650 HAS SOPS 1268942 HAS SOUS 547480 HAS SOUPS 526876 WITH SCORE 529178.65
AT ITER 685 NEW BEST:: SOT 4302786 SOS 2300618 HAS SOPS 1266910 HAS SOUS 547184 HAS SOUPS 526580 WITH SCORE 528880.618
AT ITER 687 NEW BEST:: SOT 4298469 SOS 2296560 HAS SOPS 1262591 HAS SOUS 545812 HAS SOUPS 524894 WITH SCORE 527190.56
AT ITER 688 NEW BEST:: SOT 4298232 SOS 2296335 HAS SOPS 1262366 HAS SOUS 545682 HAS SOUPS 524764 WITH SCORE 527060.335
AT ITER 695 NEW BEST:: SOT 4298210 SOS 2296269 HAS SOPS 1262300 HAS SOUS 545638 HAS SOUPS 524720 WITH SCORE 527016.269
AT ITER 704 NEW BEST:: SOT 4297919 SOS 2295466 HAS SOPS 1261497 HAS SOUS 545570 HAS SOUPS 524652 WITH SCORE 526947.466
AT ITER 705 NEW BEST:: SOT 4297947 SOS 2293969 HAS SOPS 1260257 HAS SOUS 545425 HAS SOUPS 524447 WITH SCORE 526740.969
AT ITER 706 NEW BEST:: SOT 4297908 SOS 2293813 HAS SOPS 1260101 HAS SOUS 545308 HAS SOUPS 524330 WITH SCORE 526623.813
AT ITER 707 NEW BEST:: SOT 4297893 SOS 2293663 HAS SOPS 1259951 HAS SOUS 545278 HAS SOUPS 524300 WITH SCORE 526593.663
AT ITER 730 NEW BEST:: SOT 4297902 SOS 2293731 HAS SOPS 1259969 HAS SOUS 544815 HAS SOUPS 523837 WITH SCORE 526130.731
AT ITER 742 NEW BEST:: SOT 4297916 SOS 2293713 HAS SOPS 1259933 HAS SOUS 544779 HAS SOUPS 523801 WITH SCORE 526094.713
AT ITER 756 NEW BEST:: SOT 4297737 SOS 2294204 HAS SOPS 1260581 HAS SOUS 544688 HAS SOUPS 523710 WITH SCORE 526004.204
AT ITER 758 NEW BEST:: SOT 4297647 SOS 2291264 HAS SOPS 1257641 HAS SOUS 544412 HAS SOUPS 523434 WITH SCORE 525725.264
AT ITER 760 NEW BEST:: SOT 4297567 SOS 2287918 HAS SOPS 1254295 HAS SOUS 544252 HAS SOUPS 523274 WITH SCORE 525561.918
AT ITER 765 NEW BEST:: SOT 4297647 SOS 2287273 HAS SOPS 1253650 HAS SOUS 544047 HAS SOUPS 523069 WITH SCORE 525356.273
AT ITER 770 NEW BEST:: SOT 4297647 SOS 2286868 HAS SOPS 1253245 HAS SOUS 544047 HAS SOUPS 523069 WITH SCORE 525355.868
AT ITER 771 NEW BEST:: SOT 4297262 SOS 2286277 HAS SOPS 1252860 HAS SOUS 543662 HAS SOUPS 522684 WITH SCORE 524970.277
AT ITER 773 NEW BEST:: SOT 4297262 SOS 2286238 HAS SOPS 1252821 HAS SOUS 543623 HAS SOUPS 522645 WITH SCORE 524931.238
AT ITER 776 NEW BEST:: SOT 4297191 SOS 2286104 HAS SOPS 1252679 HAS SOUS 543386 HAS SOUPS 522503 WITH SCORE 524789.104
AT ITER 780 NEW BEST:: SOT 4297104 SOS 2285034 HAS SOPS 1251609 HAS SOUS 543075 HAS SOUPS 522192 WITH SCORE 524477.034
AT ITER 784 NEW BEST:: SOT 4297104 SOS 2285080 HAS SOPS 1251609 HAS SOUS 542707 HAS SOUPS 521824 WITH SCORE 524109.08
AT ITER 786 NEW BEST:: SOT 4297066 SOS 2285304 HAS SOPS 1251663 HAS SOUS 542673 HAS SOUPS 521790 WITH SCORE 524075.304
AT ITER 792 NEW BEST:: SOT 4297034 SOS 2285240 HAS SOPS 1251599 HAS SOUS 542609 HAS SOUPS 521726 WITH SCORE 524011.24
AT ITER 796 NEW BEST:: SOT 4296918 SOS 2284530 HAS SOPS 1250889 HAS SOUS 542303 HAS SOUPS 521420 WITH SCORE 523704.53
AT ITER 799 NEW BEST:: SOT 4296774 SOS 2284530 HAS SOPS 1250889 HAS SOUS 542015 HAS SOUPS 521132 WITH SCORE 523416.53
AT ITER 806 NEW BEST:: SOT 4296910 SOS 2284666 HAS SOPS 1251025 HAS SOUS 541990 HAS SOUPS 521107 WITH SCORE 523391.666
AT ITER 811 NEW BEST:: SOT 4296900 SOS 2285486 HAS SOPS 1251845 HAS SOUS 541970 HAS SOUPS 521087 WITH SCORE 523372.486
AT ITER 837 NEW BEST:: SOT 4296900 SOS 2285234 HAS SOPS 1251593 HAS SOUS 541970 HAS SOUPS 521087 WITH SCORE 523372.234
AT ITER 838 NEW BEST:: SOT 4296900 SOS 2285227 HAS SOPS 1251586 HAS SOUS 541970 HAS SOUPS 521087 WITH SCORE 523372.227
AT ITER 842 NEW BEST:: SOT 4296900 SOS 2285011 HAS SOPS 1251370 HAS SOUS 541970 HAS SOUPS 521087 WITH SCORE 523372.011
AT ITER 846 NEW BEST:: SOT 4296669 SOS 2284924 HAS SOPS 1252431 HAS SOUS 541896 HAS SOUPS 521013 WITH SCORE 523297.924
AT ITER 854 NEW BEST:: SOT 4296669 SOS 2284618 HAS SOPS 1252125 HAS SOUS 541880 HAS SOUPS 520997 WITH SCORE 523281.618
AT ITER 860 NEW BEST:: SOT 4296669 SOS 2284263 HAS SOPS 1251770 HAS SOUS 541880 HAS SOUPS 520997 WITH SCORE 523281.263
AT ITER 867 NEW BEST:: SOT 4296635 SOS 2284027 HAS SOPS 1251448 HAS SOUS 541558 HAS SOUPS 520675 WITH SCORE 522959.027
AT ITER 875 NEW BEST:: SOT 4296290 SOS 2283499 HAS SOPS 1250920 HAS SOUS 540868 HAS SOUPS 519985 WITH SCORE 522268.499
AT ITER 878 NEW BEST:: SOT 4297137 SOS 2284346 HAS SOPS 1248770 HAS SOUS 535160 HAS SOUPS 514277 WITH SCORE 516561.346
AT ITER 881 NEW BEST:: SOT 4295874 SOS 2287099 HAS SOPS 1247576 HAS SOUS 535025 HAS SOUPS 514039 WITH SCORE 516326.099
AT ITER 882 NEW BEST:: SOT 4290824 SOS 2281714 HAS SOPS 1237086 HAS SOUS 531360 HAS SOUPS 510374 WITH SCORE 512655.714
AT ITER 887 NEW BEST:: SOT 4291295 SOS 2282273 HAS SOPS 1238028 HAS SOUS 531127 HAS SOUPS 510141 WITH SCORE 512423.273
AT ITER 893 NEW BEST:: SOT 4290927 SOS 2282155 HAS SOPS 1239651 HAS SOUS 531015 HAS SOUPS 510029 WITH SCORE 512311.155
AT ITER 898 NEW BEST:: SOT 4290913 SOS 2281988 HAS SOPS 1239623 HAS SOUS 530987 HAS SOUPS 510001 WITH SCORE 512282.988
AT ITER 899 NEW BEST:: SOT 4290913 SOS 2180057 HAS SOPS 1231149 HAS SOUS 528840 HAS SOUPS 508410 WITH SCORE 510590.057
AT ITER 901 NEW BEST:: SOT 4290868 SOS 2179970 HAS SOPS 1231062 HAS SOUS 528753 HAS SOUPS 508323 WITH SCORE 510502.97
AT ITER 916 NEW BEST:: SOT 4290868 SOS 2179756 HAS SOPS 1230848 HAS SOUS 528753 HAS SOUPS 508323 WITH SCORE 510502.756
AT ITER 917 NEW BEST:: SOT 4288803 SOS 2177546 HAS SOPS 1229353 HAS SOUS 527258 HAS SOUPS 506900 WITH SCORE 509077.546
AT ITER 924 NEW BEST:: SOT 4288788 SOS 2177486 HAS SOPS 1229293 HAS SOUS 527213 HAS SOUPS 506855 WITH SCORE 509032.486
AT ITER 926 NEW BEST:: SOT 4288788 SOS 2177406 HAS SOPS 1229213 HAS SOUS 527213 HAS SOUPS 506855 WITH SCORE 509032.406
AT ITER 928 NEW BEST:: SOT 4288072 SOS 2175792 HAS SOPS 1227132 HAS SOUS 525659 HAS SOUPS 505253 WITH SCORE 507428.792
AT ITER 937 NEW BEST:: SOT 4287862 SOS 2175582 HAS SOPS 1226376 HAS SOUS 525113 HAS SOUPS 504707 WITH SCORE 506882.582
AT ITER 946 NEW BEST:: SOT 4287862 SOS 2175234 HAS SOPS 1226028 HAS SOUS 525083 HAS SOUPS 504677 WITH SCORE 506852.234
AT ITER 950 NEW BEST:: SOT 4287159 SOS 2164712 HAS SOPS 1225019 HAS SOUS 524533 HAS SOUPS 504166 WITH SCORE 506330.712
AT ITER 953 NEW BEST:: SOT 4287159 SOS 2164590 HAS SOPS 1224897 HAS SOUS 524533 HAS SOUPS 504166 WITH SCORE 506330.59
AT ITER 954 NEW BEST:: SOT 4287159 SOS 2164449 HAS SOPS 1224756 HAS SOUS 524486 HAS SOUPS 504119 WITH SCORE 506283.449
AT ITER 960 NEW BEST:: SOT 4287135 SOS 2164008 HAS SOPS 1224315 HAS SOUS 524438 HAS SOUPS 504071 WITH SCORE 506235.008
AT ITER 961 NEW BEST:: SOT 4286915 SOS 2163840 HAS SOPS 1224147 HAS SOUS 523989 HAS SOUPS 503622 WITH SCORE 505785.84
AT ITER 963 NEW BEST:: SOT 4287007 SOS 2161459 HAS SOPS 1221766 HAS SOUS 523975 HAS SOUPS 503608 WITH SCORE 505769.459
AT ITER 965 NEW BEST:: SOT 4287007 SOS 2160793 HAS SOPS 1221100 HAS SOUS 523838 HAS SOUPS 503471 WITH SCORE 505631.793
AT ITER 970 NEW BEST:: SOT 4286651 SOS 2160151 HAS SOPS 1220458 HAS SOUS 523712 HAS SOUPS 503345 WITH SCORE 505505.151
AT ITER 983 NEW BEST:: SOT 4286418 SOS 2159812 HAS SOPS 1219835 HAS SOUS 523329 HAS SOUPS 502708 WITH SCORE 504867.812
AT ITER 1010 NEW BEST:: SOT 4286374 SOS 2157890 HAS SOPS 1219791 HAS SOUS 522230 HAS SOUPS 501787 WITH SCORE 503944.89
AT ITER 1022 NEW BEST:: SOT 4286238 SOS 2156530 HAS SOPS 1218431 HAS SOUS 521958 HAS SOUPS 501515 WITH SCORE 503671.53
AT ITER 1027 NEW BEST:: SOT 4285874 SOS 2155792 HAS SOPS 1217219 HAS SOUS 521247 HAS SOUPS 500804 WITH SCORE 502959.792
AT ITER 1034 NEW BEST:: SOT 4285811 SOS 2155666 HAS SOPS 1217093 HAS SOUS 521121 HAS SOUPS 500678 WITH SCORE 502833.666
AT ITER 1035 NEW BEST:: SOT 4285807 SOS 2155662 HAS SOPS 1217093 HAS SOUS 521117 HAS SOUPS 500674 WITH SCORE 502829.662
AT ITER 1053 NEW BEST:: SOT 4285807 SOS 2155818 HAS SOPS 1217249 HAS SOUS 521020 HAS SOUPS 500577 WITH SCORE 502732.818
AT ITER 1058 NEW BEST:: SOT 4285740 SOS 2155533 HAS SOPS 1216964 HAS SOUS 520953 HAS SOUPS 500510 WITH SCORE 502665.533
AT ITER 1063 NEW BEST:: SOT 4285481 SOS 2154742 HAS SOPS 1216173 HAS SOUS 520468 HAS SOUPS 500025 WITH SCORE 502179.742
AT ITER 1068 NEW BEST:: SOT 4285243 SOS 2154314 HAS SOPS 1215745 HAS SOUS 520372 HAS SOUPS 499929 WITH SCORE 502083.314
AT ITER 1089 NEW BEST:: SOT 4285243 SOS 2153272 HAS SOPS 1214703 HAS SOUS 520372 HAS SOUPS 499929 WITH SCORE 502082.272
AT ITER 1092 NEW BEST:: SOT 4285166 SOS 2153195 HAS SOPS 1214626 HAS SOUS 520218 HAS SOUPS 499775 WITH SCORE 501928.195
AT ITER 1093 NEW BEST:: SOT 4283946 SOS 2151278 HAS SOPS 1212480 HAS SOUS 519163 HAS SOUPS 498720 WITH SCORE 500871.278
AT ITER 1096 NEW BEST:: SOT 4283887 SOS 2151160 HAS SOPS 1212362 HAS SOUS 519163 HAS SOUPS 498720 WITH SCORE 500871.16
AT ITER 1100 NEW BEST:: SOT 4281313 SOS 2148586 HAS SOPS 1212033 HAS SOUS 518888 HAS SOUPS 498478 WITH SCORE 500626.586
AT ITER 1102 NEW BEST:: SOT 4281269 SOS 2148568 HAS SOPS 1212015 HAS SOUS 518800 HAS SOUPS 498390 WITH SCORE 500538.568
AT ITER 1134 NEW BEST:: SOT 4281273 SOS 2148478 HAS SOPS 1211972 HAS SOUS 518757 HAS SOUPS 498347 WITH SCORE 500495.478
AT ITER 1135 NEW BEST:: SOT 4281094 SOS 2147301 HAS SOPS 1210795 HAS SOUS 518682 HAS SOUPS 498272 WITH SCORE 500419.301
AT ITER 1142 NEW BEST:: SOT 4281053 SOS 2146614 HAS SOPS 1210108 HAS SOUS 518383 HAS SOUPS 497973 WITH SCORE 500119.614
AT ITER 1164 NEW BEST:: SOT 4280032 SOS 2147324 HAS SOPS 1211727 HAS SOUS 518085 HAS SOUPS 497675 WITH SCORE 499822.324
AT ITER 1172 NEW BEST:: SOT 4280029 SOS 2147345 HAS SOPS 1211748 HAS SOUS 518079 HAS SOUPS 497669 WITH SCORE 499816.345
AT ITER 1173 NEW BEST:: SOT 4279970 SOS 2147168 HAS SOPS 1211571 HAS SOUS 517961 HAS SOUPS 497551 WITH SCORE 499698.168
AT ITER 1178 NEW BEST:: SOT 4278989 SOS 2145556 HAS SOPS 1209939 HAS SOUS 516369 HAS SOUPS 495959 WITH SCORE 498104.556
AT ITER 1182 NEW BEST:: SOT 4278882 SOS 2145415 HAS SOPS 1209798 HAS SOUS 516262 HAS SOUPS 495852 WITH SCORE 497997.415
AT ITER 1183 NEW BEST:: SOT 4278347 SOS 2144880 HAS SOPS 1209360 HAS SOUS 516184 HAS SOUPS 495774 WITH SCORE 497918.88
AT ITER 1189 NEW BEST:: SOT 4278284 SOS 2143393 HAS SOPS 1207873 HAS SOUS 516058 HAS SOUPS 495648 WITH SCORE 497791.393
AT ITER 1199 NEW BEST:: SOT 4278284 SOS 2143386 HAS SOPS 1207873 HAS SOUS 516058 HAS SOUPS 495648 WITH SCORE 497791.386
AT ITER 1208 NEW BEST:: SOT 4278415 SOS 2143317 HAS SOPS 1207531 HAS SOUS 515879 HAS SOUPS 495469 WITH SCORE 497612.317
AT ITER 1214 NEW BEST:: SOT 4278355 SOS 2142968 HAS SOPS 1207168 HAS SOUS 515787 HAS SOUPS 495377 WITH SCORE 497519.968
AT ITER 1219 NEW BEST:: SOT 4278271 SOS 2142737 HAS SOPS 1205929 HAS SOUS 515621 HAS SOUPS 495209 WITH SCORE 497351.737
AT ITER 1220 NEW BEST:: SOT 4277910 SOS 2142043 HAS SOPS 1205235 HAS SOUS 515240 HAS SOUPS 494828 WITH SCORE 496970.043
AT ITER 1224 NEW BEST:: SOT 4277644 SOS 2141687 HAS SOPS 1204879 HAS SOUS 515240 HAS SOUPS 494828 WITH SCORE 496969.687
AT ITER 1226 NEW BEST:: SOT 4277634 SOS 2141405 HAS SOPS 1204597 HAS SOUS 515220 HAS SOUPS 494808 WITH SCORE 496949.405
AT ITER 1230 NEW BEST:: SOT 4277529 SOS 2141155 HAS SOPS 1204347 HAS SOUS 515010 HAS SOUPS 494598 WITH SCORE 496739.155
AT ITER 1238 NEW BEST:: SOT 4277536 SOS 2141299 HAS SOPS 1204215 HAS SOUS 514898 HAS SOUPS 494466 WITH SCORE 496607.299
AT ITER 1240 NEW BEST:: SOT 4277464 SOS 2140749 HAS SOPS 1203665 HAS SOUS 514694 HAS SOUPS 494262 WITH SCORE 496402.749
AT ITER 1242 NEW BEST:: SOT 4277196 SOS 2143931 HAS SOPS 1207042 HAS SOUS 514423 HAS SOUPS 494107 WITH SCORE 496250.931
AT ITER 1245 NEW BEST:: SOT 4277133 SOS 2143717 HAS SOPS 1206828 HAS SOUS 514297 HAS SOUPS 493981 WITH SCORE 496124.717
AT ITER 1257 NEW BEST:: SOT 4276985 SOS 2142045 HAS SOPS 1205156 HAS SOUS 514001 HAS SOUPS 493685 WITH SCORE 495827.045
AT ITER 1261 NEW BEST:: SOT 4276827 SOS 2140962 HAS SOPS 1203622 HAS SOUS 513550 HAS SOUPS 493202 WITH SCORE 495342.962
AT ITER 1263 NEW BEST:: SOT 4276729 SOS 2140766 HAS SOPS 1203426 HAS SOUS 513256 HAS SOUPS 492908 WITH SCORE 495048.766
AT ITER 1265 NEW BEST:: SOT 4276726 SOS 2140771 HAS SOPS 1203428 HAS SOUS 513241 HAS SOUPS 492893 WITH SCORE 495033.771
AT ITER 1269 NEW BEST:: SOT 4276666 SOS 2140171 HAS SOPS 1202828 HAS SOUS 513121 HAS SOUPS 492773 WITH SCORE 494913.171
AT ITER 1270 NEW BEST:: SOT 4276666 SOS 2139879 HAS SOPS 1202536 HAS SOUS 513121 HAS SOUPS 492773 WITH SCORE 494912.879
AT ITER 1271 NEW BEST:: SOT 4276510 SOS 2139730 HAS SOPS 1202387 HAS SOUS 512672 HAS SOUPS 492324 WITH SCORE 494463.73
AT ITER 1272 NEW BEST:: SOT 4276494 SOS 2139554 HAS SOPS 1202211 HAS SOUS 512656 HAS SOUPS 492308 WITH SCORE 494447.554
AT ITER 1273 NEW BEST:: SOT 4276427 SOS 2139420 HAS SOPS 1202077 HAS SOUS 512522 HAS SOUPS 492174 WITH SCORE 494313.42
AT ITER 1274 NEW BEST:: SOT 4276414 SOS 2139355 HAS SOPS 1202012 HAS SOUS 512483 HAS SOUPS 492135 WITH SCORE 494274.355
AT ITER 1276 NEW BEST:: SOT 4276324 SOS 2139279 HAS SOPS 1201936 HAS SOUS 512303 HAS SOUPS 491955 WITH SCORE 494094.279
AT ITER 1282 NEW BEST:: SOT 4276317 SOS 2139186 HAS SOPS 1201843 HAS SOUS 512289 HAS SOUPS 491941 WITH SCORE 494080.186
AT ITER 1286 NEW BEST:: SOT 4276032 SOS 2138588 HAS SOPS 1200842 HAS SOUS 511321 HAS SOUPS 490973 WITH SCORE 493111.588
AT ITER 1287 NEW BEST:: SOT 4275953 SOS 2138509 HAS SOPS 1200052 HAS SOUS 511321 HAS SOUPS 490894 WITH SCORE 493032.509
AT ITER 1310 NEW BEST:: SOT 4275849 SOS 2138667 HAS SOPS 1200210 HAS SOUS 511113 HAS SOUPS 490686 WITH SCORE 492824.667
AT ITER 1328 NEW BEST:: SOT 4275917 SOS 2139040 HAS SOPS 1200583 HAS SOUS 511053 HAS SOUPS 490626 WITH SCORE 492765.04
AT ITER 1331 NEW BEST:: SOT 4275891 SOS 2138780 HAS SOPS 1200323 HAS SOUS 511001 HAS SOUPS 490574 WITH SCORE 492712.78
AT ITER 1336 NEW BEST:: SOT 4275853 SOS 2137775 HAS SOPS 1198706 HAS SOUS 510687 HAS SOUPS 490253 WITH SCORE 492390.775
AT ITER 1338 NEW BEST:: SOT 4275853 SOS 2137039 HAS SOPS 1197970 HAS SOUS 510687 HAS SOUPS 490253 WITH SCORE 492390.039
AT ITER 1343 NEW BEST:: SOT 4275853 SOS 2136913 HAS SOPS 1197844 HAS SOUS 510687 HAS SOUPS 490253 WITH SCORE 492389.913
AT ITER 1347 NEW BEST:: SOT 4276012 SOS 2137231 HAS SOPS 1198162 HAS SOUS 510555 HAS SOUPS 490121 WITH SCORE 492258.231
AT ITER 1374 NEW BEST:: SOT 4275638 SOS 2136833 HAS SOPS 1197764 HAS SOUS 510335 HAS SOUPS 489901 WITH SCORE 492037.833
AT ITER 1376 NEW BEST:: SOT 4275541 SOS 2126452 HAS SOPS 1197859 HAS SOUS 510044 HAS SOUPS 489707 WITH SCORE 491833.452
AT ITER 1377 NEW BEST:: SOT 4275444 SOS 2126355 HAS SOPS 1197568 HAS SOUS 509785 HAS SOUPS 489416 WITH SCORE 491542.355
AT ITER 1379 NEW BEST:: SOT 4275386 SOS 2100080 HAS SOPS 1198757 HAS SOUS 508190 HAS SOUPS 488491 WITH SCORE 490591.08
AT ITER 1388 NEW BEST:: SOT 4275386 SOS 2099962 HAS SOPS 1198639 HAS SOUS 508190 HAS SOUPS 488491 WITH SCORE 490590.962
AT ITER 1391 NEW BEST:: SOT 4275386 SOS 2099904 HAS SOPS 1198581 HAS SOUS 508190 HAS SOUPS 488491 WITH SCORE 490590.904
AT ITER 1404 NEW BEST:: SOT 4275339 SOS 2099578 HAS SOPS 1198255 HAS SOUS 508002 HAS SOUPS 488303 WITH SCORE 490402.578
AT ITER 1411 NEW BEST:: SOT 4275271 SOS 2099510 HAS SOPS 1198119 HAS SOUS 507970 HAS SOUPS 488271 WITH SCORE 490370.51
AT ITER 1413 NEW BEST:: SOT 4276861 SOS 2101100 HAS SOPS 1198899 HAS SOUS 508184 HAS SOUPS 487683 WITH SCORE 489784.1
AT ITER 1424 NEW BEST:: SOT 4276861 SOS 2100808 HAS SOPS 1198607 HAS SOUS 508184 HAS SOUPS 487683 WITH SCORE 489783.808
AT ITER 1429 NEW BEST:: SOT 4276851 SOS 2100798 HAS SOPS 1198595 HAS SOUS 508168 HAS SOUPS 487667 WITH SCORE 489767.798
AT ITER 1435 NEW BEST:: SOT 4272760 SOS 2096895 HAS SOPS 1198474 HAS SOUS 507841 HAS SOUPS 487345 WITH SCORE 489441.895
AT ITER 1441 NEW BEST:: SOT 4272760 SOS 2096722 HAS SOPS 1198474 HAS SOUS 507841 HAS SOUPS 487345 WITH SCORE 489441.722
AT ITER 1442 NEW BEST:: SOT 4272760 SOS 2096682 HAS SOPS 1198434 HAS SOUS 507841 HAS SOUPS 487345 WITH SCORE 489441.682
AT ITER 1444 NEW BEST:: SOT 4272760 SOS 2096160 HAS SOPS 1197912 HAS SOUS 507755 HAS SOUPS 487259 WITH SCORE 489355.16
AT ITER 1451 NEW BEST:: SOT 4272760 SOS 2095740 HAS SOPS 1197492 HAS SOUS 507755 HAS SOUPS 487259 WITH SCORE 489354.74
AT ITER 1457 NEW BEST:: SOT 4272745 SOS 2095725 HAS SOPS 1197462 HAS SOUS 507725 HAS SOUPS 487229 WITH SCORE 489324.725
AT ITER 1459 NEW BEST:: SOT 4272578 SOS 2096662 HAS SOPS 1199999 HAS SOUS 507533 HAS SOUPS 487037 WITH SCORE 489133.662
AT ITER 1460 NEW BEST:: SOT 4272475 SOS 2096456 HAS SOPS 1199793 HAS SOUS 507430 HAS SOUPS 486934 WITH SCORE 489030.456
AT ITER 1474 NEW BEST:: SOT 4272546 SOS 2097078 HAS SOPS 1200415 HAS SOUS 507412 HAS SOUPS 486916 WITH SCORE 489013.078
AT ITER 1479 NEW BEST:: SOT 4272546 SOS 2095026 HAS SOPS 1198363 HAS SOUS 507412 HAS SOUPS 486916 WITH SCORE 489011.026
AT ITER 1484 NEW BEST:: SOT 4272546 SOS 2094589 HAS SOPS 1197788 HAS SOUS 507274 HAS SOUPS 486778 WITH SCORE 488872.589
AT ITER 1487 NEW BEST:: SOT 4272546 SOS 2094489 HAS SOPS 1197688 HAS SOUS 507274 HAS SOUPS 486778 WITH SCORE 488872.489
AT ITER 1492 NEW BEST:: SOT 4272532 SOS 2094461 HAS SOPS 1197660 HAS SOUS 507260 HAS SOUPS 486764 WITH SCORE 488858.461
AT ITER 1502 NEW BEST:: SOT 4272546 SOS 2094475 HAS SOPS 1197613 HAS SOUS 506714 HAS SOUPS 486218 WITH SCORE 488312.475
AT ITER 1513 NEW BEST:: SOT 4272564 SOS 2094580 HAS SOPS 1197475 HAS SOUS 506584 HAS SOUPS 486080 WITH SCORE 488174.58
AT ITER 1517 NEW BEST:: SOT 4272564 SOS 2094133 HAS SOPS 1197028 HAS SOUS 506584 HAS SOUPS 486080 WITH SCORE 488174.133
AT ITER 1519 NEW BEST:: SOT 4272551 SOS 2094092 HAS SOPS 1197002 HAS SOUS 506310 HAS SOUPS 485806 WITH SCORE 487900.092
AT ITER 1526 NEW BEST:: SOT 4272471 SOS 2092308 HAS SOPS 1195218 HAS SOUS 506150 HAS SOUPS 485646 WITH SCORE 487738.308
AT ITER 1532 NEW BEST:: SOT 4272298 SOS 2091616 HAS SOPS 1194526 HAS SOUS 505977 HAS SOUPS 485473 WITH SCORE 487564.616
AT ITER 1542 NEW BEST:: SOT 4272277 SOS 2091406 HAS SOPS 1194316 HAS SOUS 505935 HAS SOUPS 485431 WITH SCORE 487522.406
AT ITER 1551 NEW BEST:: SOT 4272277 SOS 2091276 HAS SOPS 1194186 HAS SOUS 505805 HAS SOUPS 485301 WITH SCORE 487392.276
AT ITER 1556 NEW BEST:: SOT 4272076 SOS 2091136 HAS SOPS 1194252 HAS SOUS 505740 HAS SOUPS 485236 WITH SCORE 487327.136
AT ITER 1562 NEW BEST:: SOT 4271339 SOS 2090399 HAS SOPS 1193540 HAS SOUS 505512 HAS SOUPS 484979 WITH SCORE 487069.399
AT ITER 1577 NEW BEST:: SOT 4271257 SOS 2090317 HAS SOPS 1193458 HAS SOUS 505348 HAS SOUPS 484815 WITH SCORE 486905.317
AT ITER 1579 NEW BEST:: SOT 4270957 SOS 2090088 HAS SOPS 1193229 HAS SOUS 505331 HAS SOUPS 484798 WITH SCORE 486888.088
AT ITER 1592 NEW BEST:: SOT 4270929 SOS 2090288 HAS SOPS 1193429 HAS SOUS 505275 HAS SOUPS 484742 WITH SCORE 486832.288
AT ITER 1600 NEW BEST:: SOT 4277621 SOS 2097481 HAS SOPS 1194377 HAS SOUS 503409 HAS SOUPS 482876 WITH SCORE 484973.481
AT ITER 1603 NEW BEST:: SOT 4277574 SOS 2097434 HAS SOPS 1194283 HAS SOUS 503402 HAS SOUPS 482869 WITH SCORE 484966.434
AT ITER 1622 NEW BEST:: SOT 4277544 SOS 2093226 HAS SOPS 1190075 HAS SOUS 503274 HAS SOUPS 482741 WITH SCORE 484834.226
AT ITER 1623 NEW BEST:: SOT 4277544 SOS 2093264 HAS SOPS 1190113 HAS SOUS 503167 HAS SOUPS 482634 WITH SCORE 484727.264
AT ITER 1637 NEW BEST:: SOT 4277544 SOS 2091328 HAS SOPS 1188177 HAS SOUS 503167 HAS SOUPS 482634 WITH SCORE 484725.328
AT ITER 1638 NEW BEST:: SOT 4277517 SOS 2091230 HAS SOPS 1188079 HAS SOUS 503113 HAS SOUPS 482580 WITH SCORE 484671.23
AT ITER 1664 NEW BEST:: SOT 4277517 SOS 2091230 HAS SOPS 1188079 HAS SOUS 503088 HAS SOUPS 482555 WITH SCORE 484646.23
AT ITER 1665 NEW BEST:: SOT 4277448 SOS 2091905 HAS SOPS 1188935 HAS SOUS 503031 HAS SOUPS 482498 WITH SCORE 484589.905
AT ITER 1668 NEW BEST:: SOT 4277448 SOS 2091886 HAS SOPS 1188916 HAS SOUS 503012 HAS SOUPS 482479 WITH SCORE 484570.886
AT ITER 1679 NEW BEST:: SOT 4277354 SOS 2091698 HAS SOPS 1188728 HAS SOUS 502824 HAS SOUPS 482291 WITH SCORE 484382.698
AT ITER 1680 NEW BEST:: SOT 4277327 SOS 2091428 HAS SOPS 1188458 HAS SOUS 502770 HAS SOUPS 482237 WITH SCORE 484328.428
AT ITER 1684 NEW BEST:: SOT 4276720 SOS 2090386 HAS SOPS 1186912 HAS SOUS 501585 HAS SOUPS 481052 WITH SCORE 483142.386
AT ITER 1686 NEW BEST:: SOT 4276720 SOS 2090164 HAS SOPS 1186690 HAS SOUS 501464 HAS SOUPS 480931 WITH SCORE 483021.164
AT ITER 1691 NEW BEST:: SOT 4276366 SOS 2089712 HAS SOPS 1186716 HAS SOUS 501486 HAS SOUPS 480920 WITH SCORE 483009.712
AT ITER 1692 NEW BEST:: SOT 4276366 SOS 2089627 HAS SOPS 1186631 HAS SOUS 501401 HAS SOUPS 480835 WITH SCORE 482924.627
AT ITER 1705 NEW BEST:: SOT 4276305 SOS 2088895 HAS SOPS 1185899 HAS SOUS 501279 HAS SOUPS 480713 WITH SCORE 482801.895
AT ITER 1706 NEW BEST:: SOT 4276061 SOS 2089565 HAS SOPS 1186569 HAS SOUS 500791 HAS SOUPS 480225 WITH SCORE 482314.565
AT ITER 1721 NEW BEST:: SOT 4275764 SOS 2089145 HAS SOPS 1186149 HAS SOUS 500299 HAS SOUPS 479733 WITH SCORE 481822.145
AT ITER 1723 NEW BEST:: SOT 4275764 SOS 2089057 HAS SOPS 1186061 HAS SOUS 500299 HAS SOUPS 479733 WITH SCORE 481822.057
AT ITER 1726 NEW BEST:: SOT 4275732 SOS 2088868 HAS SOPS 1185872 HAS SOUS 500202 HAS SOUPS 479636 WITH SCORE 481724.868
AT ITER 1732 NEW BEST:: SOT 4275775 SOS 2086913 HAS SOPS 1183917 HAS SOUS 500135 HAS SOUPS 479569 WITH SCORE 481655.913
AT ITER 1734 NEW BEST:: SOT 4275775 SOS 2086856 HAS SOPS 1183860 HAS SOUS 500135 HAS SOUPS 479569 WITH SCORE 481655.856
AT ITER 1738 NEW BEST:: SOT 4275706 SOS 2085340 HAS SOPS 1182344 HAS SOUS 499997 HAS SOUPS 479431 WITH SCORE 481516.34
AT ITER 1739 NEW BEST:: SOT 4275643 SOS 2085277 HAS SOPS 1182281 HAS SOUS 499871 HAS SOUPS 479305 WITH SCORE 481390.277
AT ITER 1742 NEW BEST:: SOT 4275583 SOS 2085297 HAS SOPS 1182015 HAS SOUS 499606 HAS SOUPS 479040 WITH SCORE 481125.297
AT ITER 1753 NEW BEST:: SOT 4276102 SOS 2085816 HAS SOPS 1182430 HAS SOUS 499382 HAS SOUPS 478816 WITH SCORE 480901.816
AT ITER 1755 NEW BEST:: SOT 4276099 SOS 2085813 HAS SOPS 1182427 HAS SOUS 499376 HAS SOUPS 478810 WITH SCORE 480895.813
AT ITER 1758 NEW BEST:: SOT 4276099 SOS 2084723 HAS SOPS 1181337 HAS SOUS 499026 HAS SOUPS 478460 WITH SCORE 480544.723
AT ITER 1762 NEW BEST:: SOT 4273894 SOS 2082518 HAS SOPS 1180172 HAS SOUS 497839 HAS SOUPS 477279 WITH SCORE 479361.518
AT ITER 1768 NEW BEST:: SOT 4273593 SOS 2080883 HAS SOPS 1178537 HAS SOUS 497682 HAS SOUPS 477122 WITH SCORE 479202.883
AT ITER 1778 NEW BEST:: SOT 4273593 SOS 2080868 HAS SOPS 1178522 HAS SOUS 497682 HAS SOUPS 477122 WITH SCORE 479202.868
AT ITER 1783 NEW BEST:: SOT 4273464 SOS 2080399 HAS SOPS 1177998 HAS SOUS 497477 HAS SOUPS 476917 WITH SCORE 478997.399
AT ITER 1802 NEW BEST:: SOT 4273483 SOS 2079837 HAS SOPS 1177436 HAS SOUS 497442 HAS SOUPS 476882 WITH SCORE 478961.837
AT ITER 1818 NEW BEST:: SOT 4273483 SOS 2079277 HAS SOPS 1176876 HAS SOUS 497442 HAS SOUPS 476882 WITH SCORE 478961.277
AT ITER 1824 NEW BEST:: SOT 4273483 SOS 2079207 HAS SOPS 1176806 HAS SOUS 497442 HAS SOUPS 476882 WITH SCORE 478961.207
AT ITER 1835 NEW BEST:: SOT 4273285 SOS 2079009 HAS SOPS 1176388 HAS SOUS 497258 HAS SOUPS 476661 WITH SCORE 478740.009
AT ITER 1840 NEW BEST:: SOT 4273285 SOS 2079002 HAS SOPS 1176381 HAS SOUS 497258 HAS SOUPS 476661 WITH SCORE 478740.002
AT ITER 1847 NEW BEST:: SOT 4273421 SOS 2079138 HAS SOPS 1176517 HAS SOUS 497000 HAS SOUPS 476403 WITH SCORE 478482.138
AT ITER 1855 NEW BEST:: SOT 4273421 SOS 2078536 HAS SOPS 1175915 HAS SOUS 497000 HAS SOUPS 476403 WITH SCORE 478481.536
AT ITER 1859 NEW BEST:: SOT 4273465 SOS 2078381 HAS SOPS 1175850 HAS SOUS 496935 HAS SOUPS 476338 WITH SCORE 478416.381
AT ITER 1869 NEW BEST:: SOT 4273449 SOS 2078272 HAS SOPS 1175690 HAS SOUS 496884 HAS SOUPS 476287 WITH SCORE 478365.272
AT ITER 1882 NEW BEST:: SOT 4271807 SOS 2076630 HAS SOPS 1173985 HAS SOUS 496913 HAS SOUPS 476253 WITH SCORE 478329.63
AT ITER 1886 NEW BEST:: SOT 4271697 SOS 2076538 HAS SOPS 1173765 HAS SOUS 496698 HAS SOUPS 476038 WITH SCORE 478114.538
AT ITER 1891 NEW BEST:: SOT 4271492 SOS 2076130 HAS SOPS 1173357 HAS SOUS 496288 HAS SOUPS 475628 WITH SCORE 477704.13
AT ITER 1897 NEW BEST:: SOT 4271480 SOS 2075919 HAS SOPS 1171463 HAS SOUS 496264 HAS SOUPS 475417 WITH SCORE 477492.919
AT ITER 1898 NEW BEST:: SOT 4271428 SOS 2075418 HAS SOPS 1170962 HAS SOUS 496160 HAS SOUPS 475313 WITH SCORE 477388.418
AT ITER 1900 NEW BEST:: SOT 4271396 SOS 2075386 HAS SOPS 1170930 HAS SOUS 496128 HAS SOUPS 475281 WITH SCORE 477356.386
AT ITER 1903 NEW BEST:: SOT 4271394 SOS 2075366 HAS SOPS 1170910 HAS SOUS 496124 HAS SOUPS 475277 WITH SCORE 477352.366
AT ITER 1907 NEW BEST:: SOT 4271358 SOS 2075294 HAS SOPS 1170838 HAS SOUS 496054 HAS SOUPS 475207 WITH SCORE 477282.294
AT ITER 1912 NEW BEST:: SOT 4271224 SOS 2075344 HAS SOPS 1170704 HAS SOUS 495933 HAS SOUPS 475086 WITH SCORE 477161.344
AT ITER 1913 NEW BEST:: SOT 4270717 SOS 2075812 HAS SOPS 1172181 HAS SOUS 495555 HAS SOUPS 474708 WITH SCORE 476783.812
AT ITER 1914 NEW BEST:: SOT 4270606 SOS 2076013 HAS SOPS 1172382 HAS SOUS 495333 HAS SOUPS 474486 WITH SCORE 476562.013
AT ITER 1915 NEW BEST:: SOT 4270595 SOS 2075980 HAS SOPS 1172349 HAS SOUS 495322 HAS SOUPS 474475 WITH SCORE 476550.98
AT ITER 1932 NEW BEST:: SOT 4270556 SOS 2075795 HAS SOPS 1172164 HAS SOUS 495244 HAS SOUPS 474397 WITH SCORE 476472.795
AT ITER 1949 NEW BEST:: SOT 4270536 SOS 2075783 HAS SOPS 1172152 HAS SOUS 495232 HAS SOUPS 474385 WITH SCORE 476460.783
AT ITER 1973 NEW BEST:: SOT 4270147 SOS 2075061 HAS SOPS 1171430 HAS SOUS 495232 HAS SOUPS 474385 WITH SCORE 476460.061
AT ITER 1979 NEW BEST:: SOT 4269830 SOS 2074818 HAS SOPS 1171417 HAS SOUS 495219 HAS SOUPS 474372 WITH SCORE 476446.818
AT ITER 2005 NEW BEST:: SOT 4269791 SOS 2074766 HAS SOPS 1171339 HAS SOUS 495154 HAS SOUPS 474307 WITH SCORE 476381.766
AT ITER 2016 NEW BEST:: SOT 4269680 SOS 2074544 HAS SOPS 1171117 HAS SOUS 495154 HAS SOUPS 474307 WITH SCORE 476381.544
AT ITER 2027 NEW BEST:: SOT 4269095 SOS 2074343 HAS SOPS 1171075 HAS SOUS 494457 HAS SOUPS 473610 WITH SCORE 475684.343
AT ITER 2033 NEW BEST:: SOT 4269079 SOS 2074279 HAS SOPS 1171011 HAS SOUS 494441 HAS SOUPS 473594 WITH SCORE 475668.279
AT ITER 2034 NEW BEST:: SOT 4269028 SOS 2073430 HAS SOPS 1170162 HAS SOUS 494339 HAS SOUPS 473492 WITH SCORE 475565.43
AT ITER 2036 NEW BEST:: SOT 4269028 SOS 2072994 HAS SOPS 1169621 HAS SOUS 494252 HAS SOUPS 473405 WITH SCORE 475477.994
AT ITER 2042 NEW BEST:: SOT 4269028 SOS 2073073 HAS SOPS 1169700 HAS SOUS 494178 HAS SOUPS 473331 WITH SCORE 475404.073
AT ITER 2046 NEW BEST:: SOT 4268964 SOS 2072945 HAS SOPS 1169572 HAS SOUS 494082 HAS SOUPS 473235 WITH SCORE 475307.945
AT ITER 2062 NEW BEST:: SOT 4268825 SOS 2072378 HAS SOPS 1169005 HAS SOUS 493827 HAS SOUPS 472980 WITH SCORE 475052.378
AT ITER 2065 NEW BEST:: SOT 4268677 SOS 2071745 HAS SOPS 1168372 HAS SOUS 493679 HAS SOUPS 472832 WITH SCORE 474903.745
AT ITER 2067 NEW BEST:: SOT 4268532 SOS 2070929 HAS SOPS 1167556 HAS SOUS 493195 HAS SOUPS 472348 WITH SCORE 474418.929
AT ITER 2070 NEW BEST:: SOT 4268532 SOS 2070918 HAS SOPS 1167545 HAS SOUS 493195 HAS SOUPS 472348 WITH SCORE 474418.918
AT ITER 2072 NEW BEST:: SOT 4267360 SOS 2068909 HAS SOPS 1168769 HAS SOUS 491549 HAS SOUPS 470702 WITH SCORE 472770.909
AT ITER 2080 NEW BEST:: SOT 4265830 SOS 2067218 HAS SOPS 1168599 HAS SOUS 490768 HAS SOUPS 470612 WITH SCORE 472679.218
AT ITER 2093 NEW BEST:: SOT 4265776 SOS 2067056 HAS SOPS 1168437 HAS SOUS 490714 HAS SOUPS 470558 WITH SCORE 472625.056
AT ITER 2104 NEW BEST:: SOT 4265766 SOS 2067041 HAS SOPS 1168422 HAS SOUS 490699 HAS SOUPS 470543 WITH SCORE 472610.041
AT ITER 2108 NEW BEST:: SOT 4265528 SOS 2066429 HAS SOPS 1167331 HAS SOUS 489994 HAS SOUPS 469671 WITH SCORE 471737.429
AT ITER 2130 NEW BEST:: SOT 4264462 SOS 2065741 HAS SOPS 1166643 HAS SOUS 489249 HAS SOUPS 468926 WITH SCORE 470991.741
AT ITER 2150 NEW BEST:: SOT 4264383 SOS 2065426 HAS SOPS 1166328 HAS SOUS 489170 HAS SOUPS 468847 WITH SCORE 470912.426
AT ITER 2166 NEW BEST:: SOT 4264720 SOS 2065763 HAS SOPS 1166512 HAS SOUS 488776 HAS SOUPS 468453 WITH SCORE 470518.763
AT ITER 2180 NEW BEST:: SOT 4264720 SOS 2065631 HAS SOPS 1166380 HAS SOUS 488710 HAS SOUPS 468387 WITH SCORE 470452.631
AT ITER 2181 NEW BEST:: SOT 4264712 SOS 2065619 HAS SOPS 1166360 HAS SOUS 488690 HAS SOUPS 468367 WITH SCORE 470432.619
AT ITER 2182 NEW BEST:: SOT 4264674 SOS 2065429 HAS SOPS 1166170 HAS SOUS 488652 HAS SOUPS 468329 WITH SCORE 470394.429
AT ITER 2184 NEW BEST:: SOT 4264550 SOS 2065305 HAS SOPS 1166046 HAS SOUS 488634 HAS SOUPS 468311 WITH SCORE 470376.305
AT ITER 2190 NEW BEST:: SOT 4264337 SOS 2064758 HAS SOPS 1165499 HAS SOUS 488076 HAS SOUPS 467753 WITH SCORE 469817.758
AT ITER 2197 NEW BEST:: SOT 4264305 SOS 2064662 HAS SOPS 1165403 HAS SOUS 488012 HAS SOUPS 467689 WITH SCORE 469753.662
AT ITER 2208 NEW BEST:: SOT 4263625 SOS 2063745 HAS SOPS 1164554 HAS SOUS 487163 HAS SOUPS 466840 WITH SCORE 468903.745
AT ITER 2213 NEW BEST:: SOT 4263615 SOS 2063580 HAS SOPS 1164389 HAS SOUS 487143 HAS SOUPS 466820 WITH SCORE 468883.58
AT ITER 2229 NEW BEST:: SOT 4263209 SOS 2063392 HAS SOPS 1165537 HAS SOUS 486955 HAS SOUPS 466771 WITH SCORE 468834.392
AT ITER 2230 NEW BEST:: SOT 4263430 SOS 2063555 HAS SOPS 1165979 HAS SOUS 486651 HAS SOUPS 466467 WITH SCORE 468530.555
AT ITER 2235 NEW BEST:: SOT 4263383 SOS 2063508 HAS SOPS 1165932 HAS SOUS 486604 HAS SOUPS 466420 WITH SCORE 468483.508
AT ITER 2257 NEW BEST:: SOT 4261681 SOS 2061806 HAS SOPS 1165030 HAS SOUS 485539 HAS SOUPS 465518 WITH SCORE 467579.806
AT ITER 2262 NEW BEST:: SOT 4261594 SOS 2061690 HAS SOPS 1164856 HAS SOUS 485415 HAS SOUPS 465344 WITH SCORE 467405.69
AT ITER 2264 NEW BEST:: SOT 4261581 SOS 2061672 HAS SOPS 1164830 HAS SOUS 485389 HAS SOUPS 465318 WITH SCORE 467379.672
AT ITER 2265 NEW BEST:: SOT 4261533 SOS 2060907 HAS SOPS 1164065 HAS SOUS 485293 HAS SOUPS 465222 WITH SCORE 467282.907
AT ITER 2270 NEW BEST:: SOT 4261677 SOS 2060300 HAS SOPS 1163458 HAS SOUS 485286 HAS SOUPS 465215 WITH SCORE 467275.3
AT ITER 2275 NEW BEST:: SOT 4261754 SOS 2060377 HAS SOPS 1163435 HAS SOUS 485263 HAS SOUPS 465192 WITH SCORE 467252.377
AT ITER 2277 NEW BEST:: SOT 4261751 SOS 2060406 HAS SOPS 1163429 HAS SOUS 485001 HAS SOUPS 464930 WITH SCORE 466990.406
AT ITER 2278 NEW BEST:: SOT 4261751 SOS 2059926 HAS SOPS 1162949 HAS SOUS 485001 HAS SOUPS 464930 WITH SCORE 466989.926
AT ITER 2282 NEW BEST:: SOT 4261472 SOS 2059347 HAS SOPS 1162370 HAS SOUS 484637 HAS SOUPS 464566 WITH SCORE 466625.347
AT ITER 2292 NEW BEST:: SOT 4261205 SOS 2059147 HAS SOPS 1162376 HAS SOUS 484414 HAS SOUPS 464343 WITH SCORE 466402.147
AT ITER 2320 NEW BEST:: SOT 4260278 SOS 2058213 HAS SOPS 1161442 HAS SOUS 483480 HAS SOUPS 463409 WITH SCORE 465467.213
AT ITER 2338 NEW BEST:: SOT 4260278 SOS 2058163 HAS SOPS 1161392 HAS SOUS 483480 HAS SOUPS 463409 WITH SCORE 465467.163
AT ITER 2344 NEW BEST:: SOT 4260251 SOS 2058082 HAS SOPS 1161311 HAS SOUS 483453 HAS SOUPS 463382 WITH SCORE 465440.082
AT ITER 2345 NEW BEST:: SOT 4259328 SOS 2057414 HAS SOPS 1160855 HAS SOUS 482013 HAS SOUPS 461942 WITH SCORE 463999.414
AT ITER 2346 NEW BEST:: SOT 4259319 SOS 2057276 HAS SOPS 1160717 HAS SOUS 481995 HAS SOUPS 461924 WITH SCORE 463981.276
AT ITER 2359 NEW BEST:: SOT 4259206 SOS 2057057 HAS SOPS 1160498 HAS SOUS 481981 HAS SOUPS 461910 WITH SCORE 463967.057
AT ITER 2361 NEW BEST:: SOT 4258888 SOS 2056515 HAS SOPS 1160407 HAS SOUS 481839 HAS SOUPS 461768 WITH SCORE 463824.515
AT ITER 2368 NEW BEST:: SOT 4258868 SOS 2056485 HAS SOPS 1160387 HAS SOUS 481819 HAS SOUPS 461748 WITH SCORE 463804.485
AT ITER 2369 NEW BEST:: SOT 4258721 SOS 2056213 HAS SOPS 1160093 HAS SOUS 481547 HAS SOUPS 461454 WITH SCORE 463510.213
AT ITER 2370 NEW BEST:: SOT 4258902 SOS 2052448 HAS SOPS 1156328 HAS SOUS 481531 HAS SOUPS 461438 WITH SCORE 463490.448
AT ITER 2380 NEW BEST:: SOT 4258937 SOS 2049745 HAS SOPS 1153625 HAS SOUS 481513 HAS SOUPS 461420 WITH SCORE 463469.745
AT ITER 2384 NEW BEST:: SOT 4258755 SOS 2049707 HAS SOPS 1153261 HAS SOUS 481598 HAS SOUPS 461056 WITH SCORE 463105.707
AT ITER 2390 NEW BEST:: SOT 4258475 SOS 2049450 HAS SOPS 1153251 HAS SOUS 481514 HAS SOUPS 460997 WITH SCORE 463046.45
AT ITER 2397 NEW BEST:: SOT 4258457 SOS 2049414 HAS SOPS 1153215 HAS SOUS 481478 HAS SOUPS 460961 WITH SCORE 463010.414
AT ITER 2401 NEW BEST:: SOT 4258387 SOS 2049484 HAS SOPS 1153285 HAS SOUS 481338 HAS SOUPS 460821 WITH SCORE 462870.484
AT ITER 2408 NEW BEST:: SOT 4258140 SOS 2049076 HAS SOPS 1152877 HAS SOUS 481268 HAS SOUPS 460751 WITH SCORE 462800.076
AT ITER 2409 NEW BEST:: SOT 4258175 SOS 2049111 HAS SOPS 1152867 HAS SOUS 481165 HAS SOUPS 460648 WITH SCORE 462697.111
AT ITER 2416 NEW BEST:: SOT 4258175 SOS 2048946 HAS SOPS 1152702 HAS SOUS 481147 HAS SOUPS 460630 WITH SCORE 462678.946
AT ITER 2461 NEW BEST:: SOT 4258130 SOS 2048901 HAS SOPS 1152697 HAS SOUS 481142 HAS SOUPS 460625 WITH SCORE 462673.901
AT ITER 2467 NEW BEST:: SOT 4257765 SOS 2048515 HAS SOPS 1152311 HAS SOUS 481081 HAS SOUPS 460564 WITH SCORE 462612.515
AT ITER 2476 NEW BEST:: SOT 4257433 SOS 2048476 HAS SOPS 1152428 HAS SOUS 480900 HAS SOUPS 460383 WITH SCORE 462431.476
AT ITER 2486 NEW BEST:: SOT 4257373 SOS 2048416 HAS SOPS 1152362 HAS SOUS 480888 HAS SOUPS 460371 WITH SCORE 462419.416
AT ITER 2488 NEW BEST:: SOT 4257394 SOS 2048437 HAS SOPS 1152376 HAS SOUS 480846 HAS SOUPS 460329 WITH SCORE 462377.437
AT ITER 2490 NEW BEST:: SOT 4257240 SOS 2048333 HAS SOPS 1152272 HAS SOUS 480620 HAS SOUPS 460103 WITH SCORE 462151.333
AT ITER 2510 NEW BEST:: SOT 4257168 SOS 2048213 HAS SOPS 1152128 HAS SOUS 480476 HAS SOUPS 459959 WITH SCORE 462007.213
AT ITER 2523 NEW BEST:: SOT 4257168 SOS 2048343 HAS SOPS 1150503 HAS SOUS 478851 HAS SOUPS 458334 WITH SCORE 460382.343
AT ITER 2526 NEW BEST:: SOT 4257112 SOS 2048175 HAS SOPS 1150335 HAS SOUS 478739 HAS SOUPS 458222 WITH SCORE 460270.175
AT ITER 2533 NEW BEST:: SOT 4257736 SOS 2048955 HAS SOPS 1147605 HAS SOUS 475925 HAS SOUPS 455408 WITH SCORE 457456.955
AT ITER 2561 NEW BEST:: SOT 4257729 SOS 2048948 HAS SOPS 1147598 HAS SOUS 475918 HAS SOUPS 455401 WITH SCORE 457449.948
AT ITER 2606 NEW BEST:: SOT 4257661 SOS 2048742 HAS SOPS 1147392 HAS SOUS 475782 HAS SOUPS 455265 WITH SCORE 457313.742
AT ITER 2609 NEW BEST:: SOT 4257660 SOS 2049045 HAS SOPS 1147327 HAS SOUS 476193 HAS SOUPS 455145 WITH SCORE 457194.045
AT ITER 2617 NEW BEST:: SOT 4257600 SOS 2048907 HAS SOPS 1147189 HAS SOUS 475937 HAS SOUPS 454889 WITH SCORE 456937.907
AT ITER 2618 NEW BEST:: SOT 4257600 SOS 2048938 HAS SOPS 1147158 HAS SOUS 475906 HAS SOUPS 454858 WITH SCORE 456906.938
AT ITER 2619 NEW BEST:: SOT 4257586 SOS 2048924 HAS SOPS 1147144 HAS SOUS 475892 HAS SOUPS 454844 WITH SCORE 456892.924
AT ITER 2624 NEW BEST:: SOT 4257586 SOS 2048394 HAS SOPS 1146614 HAS SOUS 475892 HAS SOUPS 454844 WITH SCORE 456892.394
AT ITER 2626 NEW BEST:: SOT 4257586 SOS 2048290 HAS SOPS 1146510 HAS SOUS 475840 HAS SOUPS 454792 WITH SCORE 456840.29
AT ITER 2630 NEW BEST:: SOT 4257467 SOS 2048066 HAS SOPS 1146061 HAS SOUS 475450 HAS SOUPS 454395 WITH SCORE 456443.066
AT ITER 2639 NEW BEST:: SOT 4257312 SOS 2047911 HAS SOPS 1145906 HAS SOUS 475413 HAS SOUPS 454358 WITH SCORE 456405.911
AT ITER 2648 NEW BEST:: SOT 4257312 SOS 2047757 HAS SOPS 1145752 HAS SOUS 475407 HAS SOUPS 454352 WITH SCORE 456399.757
AT ITER 2650 NEW BEST:: SOT 4257262 SOS 2045074 HAS SOPS 1143069 HAS SOUS 475307 HAS SOUPS 454252 WITH SCORE 456297.074
AT ITER 2655 NEW BEST:: SOT 4257197 SOS 2044944 HAS SOPS 1142939 HAS SOUS 475176 HAS SOUPS 454121 WITH SCORE 456165.944
AT ITER 2656 NEW BEST:: SOT 4257116 SOS 2044855 HAS SOPS 1142850 HAS SOUS 475095 HAS SOUPS 454040 WITH SCORE 456084.855
AT ITER 2665 NEW BEST:: SOT 4254781 SOS 2054983 HAS SOPS 1140198 HAS SOUS 474489 HAS SOUPS 453231 WITH SCORE 455285.983
AT ITER 2670 NEW BEST:: SOT 4254780 SOS 2054982 HAS SOPS 1140196 HAS SOUS 474417 HAS SOUPS 453159 WITH SCORE 455213.982
AT ITER 2682 NEW BEST:: SOT 4254430 SOS 2054204 HAS SOPS 1140098 HAS SOUS 474306 HAS SOUPS 453048 WITH SCORE 455102.204
AT ITER 2686 NEW BEST:: SOT 4254428 SOS 2054202 HAS SOPS 1140090 HAS SOUS 474298 HAS SOUPS 453040 WITH SCORE 455094.202
AT ITER 2688 NEW BEST:: SOT 4254423 SOS 2054142 HAS SOPS 1140030 HAS SOUS 474288 HAS SOUPS 453030 WITH SCORE 455084.142
AT ITER 2704 NEW BEST:: SOT 4254336 SOS 2052011 HAS SOPS 1137899 HAS SOUS 474114 HAS SOUPS 452856 WITH SCORE 454908.011
AT ITER 2708 NEW BEST:: SOT 4254196 SOS 2051857 HAS SOPS 1137745 HAS SOUS 474072 HAS SOUPS 452814 WITH SCORE 454865.857
AT ITER 2712 NEW BEST:: SOT 4254172 SOS 2051809 HAS SOPS 1137697 HAS SOUS 474024 HAS SOUPS 452766 WITH SCORE 454817.809
AT ITER 2726 NEW BEST:: SOT 4253465 SOS 2050479 HAS SOPS 1136367 HAS SOUS 473116 HAS SOUPS 451858 WITH SCORE 453908.479
AT ITER 2742 NEW BEST:: SOT 4253178 SOS 2049976 HAS SOPS 1135864 HAS SOUS 472837 HAS SOUPS 451579 WITH SCORE 453628.976
AT ITER 2748 NEW BEST:: SOT 4253178 SOS 2049801 HAS SOPS 1135689 HAS SOUS 472837 HAS SOUPS 451579 WITH SCORE 453628.801
AT ITER 2749 NEW BEST:: SOT 4253178 SOS 2049653 HAS SOPS 1135541 HAS SOUS 472837 HAS SOUPS 451579 WITH SCORE 453628.653
AT ITER 2764 NEW BEST:: SOT 4253660 SOS 2050225 HAS SOPS 1136505 HAS SOUS 472725 HAS SOUPS 451467 WITH SCORE 453517.225
AT ITER 2771 NEW BEST:: SOT 4253658 SOS 2050155 HAS SOPS 1136435 HAS SOUS 472721 HAS SOUPS 451463 WITH SCORE 453513.155
AT ITER 2776 NEW BEST:: SOT 4250380 SOS 2071744 HAS SOPS 1133698 HAS SOUS 472306 HAS SOUPS 450767 WITH SCORE 452838.744
AT ITER 2779 NEW BEST:: SOT 4249637 SOS 2074789 HAS SOPS 1137900 HAS SOUS 472160 HAS SOUPS 450621 WITH SCORE 452695.789
AT ITER 2788 NEW BEST:: SOT 4249690 SOS 2073785 HAS SOPS 1136896 HAS SOUS 472160 HAS SOUPS 450621 WITH SCORE 452694.785
AT ITER 2810 NEW BEST:: SOT 4249690 SOS 2073121 HAS SOPS 1136232 HAS SOUS 472160 HAS SOUPS 450621 WITH SCORE 452694.121
AT ITER 2814 NEW BEST:: SOT 4251346 SOS 2074777 HAS SOPS 1137888 HAS SOUS 472088 HAS SOUPS 450549 WITH SCORE 452623.777
AT ITER 2825 NEW BEST:: SOT 4251341 SOS 2074772 HAS SOPS 1137893 HAS SOUS 472083 HAS SOUPS 450544 WITH SCORE 452618.772
AT ITER 2827 NEW BEST:: SOT 4251296 SOS 2074682 HAS SOPS 1137803 HAS SOUS 472050 HAS SOUPS 450511 WITH SCORE 452585.682
AT ITER 2832 NEW BEST:: SOT 4249470 SOS 2083386 HAS SOPS 1135936 HAS SOUS 471761 HAS SOUPS 450020 WITH SCORE 452103.386
AT ITER 2837 NEW BEST:: SOT 4249237 SOS 2083221 HAS SOPS 1135771 HAS SOUS 471302 HAS SOUPS 449561 WITH SCORE 451644.221
AT ITER 2840 NEW BEST:: SOT 4249237 SOS 2083238 HAS SOPS 1135788 HAS SOUS 471289 HAS SOUPS 449548 WITH SCORE 451631.238
AT ITER 2843 NEW BEST:: SOT 4249094 SOS 2083818 HAS SOPS 1136706 HAS SOUS 471199 HAS SOUPS 449458 WITH SCORE 451541.818
AT ITER 2862 NEW BEST:: SOT 4249088 SOS 2083844 HAS SOPS 1136718 HAS SOUS 471193 HAS SOUPS 449452 WITH SCORE 451535.844
AT ITER 2881 NEW BEST:: SOT 4249000 SOS 2083624 HAS SOPS 1136498 HAS SOUS 470910 HAS SOUPS 449169 WITH SCORE 451252.624
AT ITER 2882 NEW BEST:: SOT 4249068 SOS 2082950 HAS SOPS 1135824 HAS SOUS 470884 HAS SOUPS 449143 WITH SCORE 451225.95
AT ITER 2911 NEW BEST:: SOT 4249010 SOS 2082834 HAS SOPS 1135708 HAS SOUS 470725 HAS SOUPS 448984 WITH SCORE 451066.834
AT ITER 2918 NEW BEST:: SOT 4248846 SOS 2083434 HAS SOPS 1136308 HAS SOUS 470503 HAS SOUPS 448762 WITH SCORE 450845.434
AT ITER 2927 NEW BEST:: SOT 4248846 SOS 2083317 HAS SOPS 1136152 HAS SOUS 470425 HAS SOUPS 448684 WITH SCORE 450767.317
AT ITER 2938 NEW BEST:: SOT 4248846 SOS 2083309 HAS SOPS 1136144 HAS SOUS 470425 HAS SOUPS 448684 WITH SCORE 450767.309
AT ITER 2966 NEW BEST:: SOT 4248882 SOS 2083345 HAS SOPS 1136320 HAS SOUS 470391 HAS SOUPS 448650 WITH SCORE 450733.345
AT ITER 2969 NEW BEST:: SOT 4248832 SOS 2082845 HAS SOPS 1135820 HAS SOUS 470291 HAS SOUPS 448550 WITH SCORE 450632.845
AT ITER 2976 NEW BEST:: SOT 4247945 SOS 2085483 HAS SOPS 1134924 HAS SOUS 470072 HAS SOUPS 448237 WITH SCORE 450322.483
AT ITER 2984 NEW BEST:: SOT 4247898 SOS 2084693 HAS SOPS 1134134 HAS SOUS 469978 HAS SOUPS 448143 WITH SCORE 450227.693
AT ITER 2987 NEW BEST:: SOT 4247853 SOS 2084648 HAS SOPS 1134089 HAS SOUS 469933 HAS SOUPS 448098 WITH SCORE 450182.648
AT ITER 2991 NEW BEST:: SOT 4247853 SOS 2084315 HAS SOPS 1133756 HAS SOUS 469933 HAS SOUPS 448098 WITH SCORE 450182.315
AT ITER 2995 NEW BEST:: SOT 4247850 SOS 2084312 HAS SOPS 1133750 HAS SOUS 469930 HAS SOUPS 448095 WITH SCORE 450179.312
AT ITER 3002 NEW BEST:: SOT 4247844 SOS 2084300 HAS SOPS 1133738 HAS SOUS 469918 HAS SOUPS 448083 WITH SCORE 450167.3
AT ITER 3003 NEW BEST:: SOT 4247844 SOS 2083607 HAS SOPS 1133045 HAS SOUS 469800 HAS SOUPS 447965 WITH SCORE 450048.607
AT ITER 3004 NEW BEST:: SOT 4245846 SOS 2081644 HAS SOPS 1131784 HAS SOUS 469259 HAS SOUPS 447424 WITH SCORE 449505.644
AT ITER 3009 NEW BEST:: SOT 4245784 SOS 2081746 HAS SOPS 1131886 HAS SOUS 469135 HAS SOUPS 447300 WITH SCORE 449381.746
AT ITER 3010 NEW BEST:: SOT 4244204 SOS 2080166 HAS SOPS 1130245 HAS SOUS 469108 HAS SOUPS 447273 WITH SCORE 449353.166
AT ITER 3017 NEW BEST:: SOT 4244204 SOS 2080086 HAS SOPS 1130165 HAS SOUS 469108 HAS SOUPS 447273 WITH SCORE 449353.086
AT ITER 3023 NEW BEST:: SOT 4244031 SOS 2079960 HAS SOPS 1130039 HAS SOUS 468762 HAS SOUPS 446927 WITH SCORE 449006.96
AT ITER 3027 NEW BEST:: SOT 4244031 SOS 2079861 HAS SOPS 1129940 HAS SOUS 468762 HAS SOUPS 446927 WITH SCORE 449006.861
AT ITER 3032 NEW BEST:: SOT 4244031 SOS 2079848 HAS SOPS 1129927 HAS SOUS 468762 HAS SOUPS 446927 WITH SCORE 449006.848
AT ITER 3056 NEW BEST:: SOT 4244027 SOS 2079754 HAS SOPS 1129817 HAS SOUS 468652 HAS SOUPS 446817 WITH SCORE 448896.754
AT ITER 3073 NEW BEST:: SOT 4243254 SOS 2082234 HAS SOPS 1132321 HAS SOUS 468066 HAS SOUPS 446231 WITH SCORE 448313.234
AT ITER 3076 NEW BEST:: SOT 4240384 SOS 2094769 HAS SOPS 1129545 HAS SOUS 467368 HAS SOUPS 445301 WITH SCORE 447395.769
AT ITER 3082 NEW BEST:: SOT 4240345 SOS 2094574 HAS SOPS 1129350 HAS SOUS 467290 HAS SOUPS 445223 WITH SCORE 447317.574
AT ITER 3117 NEW BEST:: SOT 4240324 SOS 2090948 HAS SOPS 1124415 HAS SOUS 467139 HAS SOUPS 445072 WITH SCORE 447162.948
AT ITER 3127 NEW BEST:: SOT 4240315 SOS 2090948 HAS SOPS 1124415 HAS SOUS 467130 HAS SOUPS 445063 WITH SCORE 447153.948
AT ITER 3128 NEW BEST:: SOT 4240315 SOS 2089644 HAS SOPS 1123111 HAS SOUS 466091 HAS SOUPS 444024 WITH SCORE 446113.644
AT ITER 3129 NEW BEST:: SOT 4237515 SOS 2086562 HAS SOPS 1122587 HAS SOUS 465567 HAS SOUPS 443500 WITH SCORE 445586.562
AT ITER 3135 NEW BEST:: SOT 4237532 SOS 2086437 HAS SOPS 1122462 HAS SOUS 465513 HAS SOUPS 443446 WITH SCORE 445532.437
AT ITER 3137 NEW BEST:: SOT 4237446 SOS 2086284 HAS SOPS 1122309 HAS SOUS 465341 HAS SOUPS 443274 WITH SCORE 445360.284
AT ITER 3144 NEW BEST:: SOT 4239871 SOS 2088709 HAS SOPS 1124831 HAS SOUS 465337 HAS SOUPS 443270 WITH SCORE 445358.709
AT ITER 3150 NEW BEST:: SOT 4239627 SOS 2087932 HAS SOPS 1124054 HAS SOUS 465093 HAS SOUPS 443026 WITH SCORE 445113.932
AT ITER 3153 NEW BEST:: SOT 4239627 SOS 2087858 HAS SOPS 1123980 HAS SOUS 465093 HAS SOUPS 443026 WITH SCORE 445113.858
AT ITER 3163 NEW BEST:: SOT 4239627 SOS 2087946 HAS SOPS 1124068 HAS SOUS 464791 HAS SOUPS 442724 WITH SCORE 444811.946
AT ITER 3170 NEW BEST:: SOT 4239415 SOS 2087734 HAS SOPS 1123856 HAS SOUS 464619 HAS SOUPS 442552 WITH SCORE 444639.734
AT ITER 3174 NEW BEST:: SOT 4239415 SOS 2087728 HAS SOPS 1123844 HAS SOUS 464613 HAS SOUPS 442546 WITH SCORE 444633.728
AT ITER 3182 NEW BEST:: SOT 4237129 SOS 2085495 HAS SOPS 1121841 HAS SOUS 464386 HAS SOUPS 442319 WITH SCORE 444404.495
AT ITER 3197 NEW BEST:: SOT 4236925 SOS 2084679 HAS SOPS 1121025 HAS SOUS 463774 HAS SOUPS 441707 WITH SCORE 443791.679
AT ITER 3201 NEW BEST:: SOT 4236441 SOS 2084164 HAS SOPS 1120708 HAS SOUS 463442 HAS SOUPS 441375 WITH SCORE 443459.164
AT ITER 3205 NEW BEST:: SOT 4235961 SOS 2083636 HAS SOPS 1120228 HAS SOUS 463346 HAS SOUPS 441279 WITH SCORE 443362.636
AT ITER 3207 NEW BEST:: SOT 4235957 SOS 2083551 HAS SOPS 1120143 HAS SOUS 463342 HAS SOUPS 441275 WITH SCORE 443358.551
AT ITER 3218 NEW BEST:: SOT 4235769 SOS 2083175 HAS SOPS 1118827 HAS SOUS 462940 HAS SOUPS 440805 WITH SCORE 442888.175
AT ITER 3223 NEW BEST:: SOT 4235769 SOS 2083167 HAS SOPS 1118819 HAS SOUS 462940 HAS SOUPS 440805 WITH SCORE 442888.167
AT ITER 3229 NEW BEST:: SOT 4232898 SOS 2108319 HAS SOPS 1116452 HAS SOUS 463049 HAS SOUPS 440606 WITH SCORE 442714.319
AT ITER 3262 NEW BEST:: SOT 4233982 SOS 2109093 HAS SOPS 1117380 HAS SOUS 462853 HAS SOUPS 440410 WITH SCORE 442519.093
AT ITER 3270 NEW BEST:: SOT 4234071 SOS 2109182 HAS SOPS 1117325 HAS SOUS 462798 HAS SOUPS 440355 WITH SCORE 442464.182
AT ITER 3279 NEW BEST:: SOT 4234005 SOS 2109116 HAS SOPS 1117259 HAS SOUS 462666 HAS SOUPS 440223 WITH SCORE 442332.116
AT ITER 3288 NEW BEST:: SOT 4233971 SOS 2108742 HAS SOPS 1116885 HAS SOUS 462598 HAS SOUPS 440155 WITH SCORE 442263.742
AT ITER 3309 NEW BEST:: SOT 4233832 SOS 2109080 HAS SOPS 1117223 HAS SOUS 462320 HAS SOUPS 439877 WITH SCORE 441986.08
AT ITER 3318 NEW BEST:: SOT 4233774 SOS 2109022 HAS SOPS 1117165 HAS SOUS 462262 HAS SOUPS 439819 WITH SCORE 441928.022
AT ITER 3323 NEW BEST:: SOT 4233774 SOS 2109000 HAS SOPS 1117143 HAS SOUS 462262 HAS SOUPS 439819 WITH SCORE 441928.0
AT ITER 3325 NEW BEST:: SOT 4233750 SOS 2108952 HAS SOPS 1117095 HAS SOUS 462278 HAS SOUPS 439771 WITH SCORE 441879.952
AT ITER 3330 NEW BEST:: SOT 4233723 SOS 2108437 HAS SOPS 1116635 HAS SOUS 462007 HAS SOUPS 439500 WITH SCORE 441608.437
AT ITER 3339 NEW BEST:: SOT 4233699 SOS 2108389 HAS SOPS 1116587 HAS SOUS 461983 HAS SOUPS 439476 WITH SCORE 441584.389
AT ITER 3360 NEW BEST:: SOT 4231072 SOS 2105877 HAS SOPS 1114670 HAS SOUS 461858 HAS SOUPS 439256 WITH SCORE 441361.877
AT ITER 3370 NEW BEST:: SOT 4231061 SOS 2105855 HAS SOPS 1114687 HAS SOUS 461836 HAS SOUPS 439234 WITH SCORE 441339.855
AT ITER 3397 NEW BEST:: SOT 4230962 SOS 2105948 HAS SOPS 1114780 HAS SOUS 461731 HAS SOUPS 439129 WITH SCORE 441234.948
AT ITER 3398 NEW BEST:: SOT 4230936 SOS 2105557 HAS SOPS 1114389 HAS SOUS 461566 HAS SOUPS 438964 WITH SCORE 441069.557
AT ITER 3400 NEW BEST:: SOT 4230782 SOS 2105609 HAS SOPS 1114495 HAS SOUS 461498 HAS SOUPS 438896 WITH SCORE 441001.609
AT ITER 3411 NEW BEST:: SOT 4230607 SOS 2105259 HAS SOPS 1114145 HAS SOUS 461155 HAS SOUPS 438553 WITH SCORE 440658.259
AT ITER 3417 NEW BEST:: SOT 4230624 SOS 2105012 HAS SOPS 1114184 HAS SOUS 461098 HAS SOUPS 438518 WITH SCORE 440623.012
AT ITER 3432 NEW BEST:: SOT 4230624 SOS 2104324 HAS SOPS 1113496 HAS SOUS 461098 HAS SOUPS 438518 WITH SCORE 440622.324
AT ITER 3439 NEW BEST:: SOT 4229925 SOS 2103884 HAS SOPS 1116248 HAS SOUS 460794 HAS SOUPS 438214 WITH SCORE 440317.884
AT ITER 3442 NEW BEST:: SOT 4232962 SOS 2106748 HAS SOPS 1118713 HAS SOUS 459873 HAS SOUPS 437293 WITH SCORE 439399.748
AT ITER 3446 NEW BEST:: SOT 4232910 SOS 2106696 HAS SOPS 1118661 HAS SOUS 459821 HAS SOUPS 437241 WITH SCORE 439347.696
AT ITER 3449 NEW BEST:: SOT 4232825 SOS 2106500 HAS SOPS 1116862 HAS SOUS 459731 HAS SOUPS 436970 WITH SCORE 439076.5
AT ITER 3450 NEW BEST:: SOT 4232331 SOS 2106006 HAS SOPS 1116368 HAS SOUS 459327 HAS SOUPS 436566 WITH SCORE 438672.006
AT ITER 3451 NEW BEST:: SOT 4230844 SOS 2104461 HAS SOPS 1114823 HAS SOUS 459309 HAS SOUPS 436548 WITH SCORE 438652.461
AT ITER 3458 NEW BEST:: SOT 4230835 SOS 2104425 HAS SOPS 1114787 HAS SOUS 459291 HAS SOUPS 436530 WITH SCORE 438634.425
AT ITER 3462 NEW BEST:: SOT 4230792 SOS 2104382 HAS SOPS 1114717 HAS SOUS 459230 HAS SOUPS 436469 WITH SCORE 438573.382
AT ITER 3465 NEW BEST:: SOT 4230420 SOS 2104513 HAS SOPS 1115247 HAS SOUS 458889 HAS SOUPS 436128 WITH SCORE 438232.513
AT ITER 3481 NEW BEST:: SOT 4230377 SOS 2104184 HAS SOPS 1114918 HAS SOUS 458884 HAS SOUPS 436123 WITH SCORE 438227.184
AT ITER 3484 NEW BEST:: SOT 4230325 SOS 2103560 HAS SOPS 1114294 HAS SOUS 458780 HAS SOUPS 436019 WITH SCORE 438122.56
AT ITER 3487 NEW BEST:: SOT 4230077 SOS 2103908 HAS SOPS 1114642 HAS SOUS 458598 HAS SOUPS 435837 WITH SCORE 437940.908
AT ITER 3490 NEW BEST:: SOT 4230049 SOS 2103935 HAS SOPS 1114669 HAS SOUS 458542 HAS SOUPS 435781 WITH SCORE 437884.935
AT ITER 3491 NEW BEST:: SOT 4230049 SOS 2103422 HAS SOPS 1114156 HAS SOUS 458409 HAS SOUPS 435648 WITH SCORE 437751.422
AT ITER 3510 NEW BEST:: SOT 4230049 SOS 2103422 HAS SOPS 1113798 HAS SOUS 458051 HAS SOUPS 435290 WITH SCORE 437393.422
AT ITER 3511 NEW BEST:: SOT 4230032 SOS 2103446 HAS SOPS 1113160 HAS SOUS 457503 HAS SOUPS 434742 WITH SCORE 436845.446
AT ITER 3515 NEW BEST:: SOT 4230023 SOS 2102932 HAS SOPS 1112646 HAS SOUS 457160 HAS SOUPS 434399 WITH SCORE 436501.932
AT ITER 3523 NEW BEST:: SOT 4230023 SOS 2102513 HAS SOPS 1112345 HAS SOUS 457160 HAS SOUPS 434399 WITH SCORE 436501.513
AT ITER 3538 NEW BEST:: SOT 4230023 SOS 2102465 HAS SOPS 1112297 HAS SOUS 457160 HAS SOUPS 434399 WITH SCORE 436501.465
AT ITER 3541 NEW BEST:: SOT 4230386 SOS 2102828 HAS SOPS 1112605 HAS SOUS 457143 HAS SOUPS 434382 WITH SCORE 436484.828
AT ITER 3543 NEW BEST:: SOT 4230391 SOS 2102834 HAS SOPS 1112615 HAS SOUS 457139 HAS SOUPS 434379 WITH SCORE 436481.834
AT ITER 3549 NEW BEST:: SOT 4230367 SOS 2102764 HAS SOPS 1112545 HAS SOUS 457093 HAS SOUPS 434333 WITH SCORE 436435.764
AT ITER 3556 NEW BEST:: SOT 4230351 SOS 2102748 HAS SOPS 1112529 HAS SOUS 457061 HAS SOUPS 434301 WITH SCORE 436403.748
AT ITER 3572 NEW BEST:: SOT 4230351 SOS 2102121 HAS SOPS 1111902 HAS SOUS 457061 HAS SOUPS 434301 WITH SCORE 436403.121
AT ITER 3577 NEW BEST:: SOT 4230341 SOS 2102111 HAS SOPS 1111892 HAS SOUS 457051 HAS SOUPS 434291 WITH SCORE 436393.111
AT ITER 3589 NEW BEST:: SOT 4230195 SOS 2101926 HAS SOPS 1111707 HAS SOUS 456909 HAS SOUPS 434149 WITH SCORE 436250.926
AT ITER 3596 NEW BEST:: SOT 4230195 SOS 2102111 HAS SOPS 1111892 HAS SOUS 456881 HAS SOUPS 434121 WITH SCORE 436223.111
AT ITER 3605 NEW BEST:: SOT 4230189 SOS 2102031 HAS SOPS 1111812 HAS SOUS 456869 HAS SOUPS 434109 WITH SCORE 436211.031
AT ITER 3616 NEW BEST:: SOT 4230156 SOS 2101983 HAS SOPS 1111746 HAS SOUS 456956 HAS SOUPS 434043 WITH SCORE 436144.983
AT ITER 3619 NEW BEST:: SOT 4230149 SOS 2101976 HAS SOPS 1111732 HAS SOUS 456942 HAS SOUPS 434029 WITH SCORE 436130.976
AT ITER 3639 NEW BEST:: SOT 4230098 SOS 2100848 HAS SOPS 1110604 HAS SOUS 456840 HAS SOUPS 433927 WITH SCORE 436027.848
AT ITER 3645 NEW BEST:: SOT 4230066 SOS 2100816 HAS SOPS 1110412 HAS SOUS 456808 HAS SOUPS 433895 WITH SCORE 435995.816
AT ITER 3651 NEW BEST:: SOT 4229951 SOS 2100652 HAS SOPS 1110383 HAS SOUS 456779 HAS SOUPS 433866 WITH SCORE 435966.652
AT ITER 3658 NEW BEST:: SOT 4229604 SOS 2100512 HAS SOPS 1110268 HAS SOUS 456604 HAS SOUPS 433691 WITH SCORE 435791.512
AT ITER 3662 NEW BEST:: SOT 4229448 SOS 2099936 HAS SOPS 1109556 HAS SOUS 455886 HAS SOUPS 432973 WITH SCORE 435072.936
AT ITER 3686 NEW BEST:: SOT 4229436 SOS 2099912 HAS SOPS 1109532 HAS SOUS 455862 HAS SOUPS 432949 WITH SCORE 435048.912
AT ITER 3688 NEW BEST:: SOT 4229360 SOS 2100274 HAS SOPS 1110119 HAS SOUS 455816 HAS SOUPS 432903 WITH SCORE 435003.274
AT ITER 3715 NEW BEST:: SOT 4229341 SOS 2100213 HAS SOPS 1110039 HAS SOUS 455778 HAS SOUPS 432865 WITH SCORE 434965.213
AT ITER 3718 NEW BEST:: SOT 4229293 SOS 2099736 HAS SOPS 1109562 HAS SOUS 455682 HAS SOUPS 432769 WITH SCORE 434868.736
AT ITER 3723 NEW BEST:: SOT 4229202 SOS 2099992 HAS SOPS 1109818 HAS SOUS 455635 HAS SOUPS 432722 WITH SCORE 434821.992
AT ITER 3724 NEW BEST:: SOT 4229140 SOS 2099900 HAS SOPS 1109726 HAS SOUS 455573 HAS SOUPS 432660 WITH SCORE 434759.9
AT ITER 3726 NEW BEST:: SOT 4229132 SOS 2099892 HAS SOPS 1109682 HAS SOUS 455550 HAS SOUPS 432616 WITH SCORE 434715.892
AT ITER 3728 NEW BEST:: SOT 4229200 SOS 2100033 HAS SOPS 1109818 HAS SOUS 455234 HAS SOUPS 432300 WITH SCORE 434400.033
AT ITER 3730 NEW BEST:: SOT 4229195 SOS 2100023 HAS SOPS 1109808 HAS SOUS 455229 HAS SOUPS 432295 WITH SCORE 434395.023
AT ITER 3751 NEW BEST:: SOT 4229203 SOS 2100281 HAS SOPS 1109945 HAS SOUS 455124 HAS SOUPS 432190 WITH SCORE 434290.281
AT ITER 3757 NEW BEST:: SOT 4229203 SOS 2100105 HAS SOPS 1109769 HAS SOUS 455124 HAS SOUPS 432190 WITH SCORE 434290.105
AT ITER 3758 NEW BEST:: SOT 4229001 SOS 2100812 HAS SOPS 1110476 HAS SOUS 454821 HAS SOUPS 431887 WITH SCORE 433987.812
AT ITER 3763 NEW BEST:: SOT 4228848 SOS 2100775 HAS SOPS 1110541 HAS SOUS 454575 HAS SOUPS 431641 WITH SCORE 433741.775
AT ITER 3764 NEW BEST:: SOT 4229663 SOS 2101590 HAS SOPS 1111171 HAS SOUS 454518 HAS SOUPS 431584 WITH SCORE 433685.59
AT ITER 3769 NEW BEST:: SOT 4229372 SOS 2101772 HAS SOPS 1111353 HAS SOUS 454447 HAS SOUPS 431513 WITH SCORE 433614.772
AT ITER 3776 NEW BEST:: SOT 4229297 SOS 2098886 HAS SOPS 1108359 HAS SOUS 454403 HAS SOUPS 431469 WITH SCORE 433567.886
AT ITER 3784 NEW BEST:: SOT 4229250 SOS 2098894 HAS SOPS 1108367 HAS SOUS 454309 HAS SOUPS 431375 WITH SCORE 433473.894
AT ITER 3793 NEW BEST:: SOT 4229250 SOS 2098864 HAS SOPS 1108337 HAS SOUS 454294 HAS SOUPS 431360 WITH SCORE 433458.864
AT ITER 3801 NEW BEST:: SOT 4229228 SOS 2099834 HAS SOPS 1109307 HAS SOUS 454272 HAS SOUPS 431338 WITH SCORE 433437.834
AT ITER 3806 NEW BEST:: SOT 4229212 SOS 2099831 HAS SOPS 1109304 HAS SOUS 454269 HAS SOUPS 431335 WITH SCORE 433434.831
AT ITER 3815 NEW BEST:: SOT 4229184 SOS 2099789 HAS SOPS 1109262 HAS SOUS 454227 HAS SOUPS 431293 WITH SCORE 433392.789
AT ITER 3831 NEW BEST:: SOT 4228808 SOS 2099042 HAS SOPS 1108515 HAS SOUS 453741 HAS SOUPS 430807 WITH SCORE 432906.042
AT ITER 3844 NEW BEST:: SOT 4228641 SOS 2096566 HAS SOPS 1105799 HAS SOUS 453149 HAS SOUPS 430215 WITH SCORE 432311.566
AT ITER 3855 NEW BEST:: SOT 4228658 SOS 2096017 HAS SOPS 1105250 HAS SOUS 453130 HAS SOUPS 430196 WITH SCORE 432292.017
AT ITER 3867 NEW BEST:: SOT 4229278 SOS 2096646 HAS SOPS 1105830 HAS SOUS 453030 HAS SOUPS 430096 WITH SCORE 432192.646
AT ITER 3870 NEW BEST:: SOT 4229278 SOS 2096620 HAS SOPS 1105804 HAS SOUS 453030 HAS SOUPS 430096 WITH SCORE 432192.62
AT ITER 3873 NEW BEST:: SOT 4229440 SOS 2096273 HAS SOPS 1105421 HAS SOUS 453011 HAS SOUPS 430077 WITH SCORE 432173.273
AT ITER 3881 NEW BEST:: SOT 4229367 SOS 2096208 HAS SOPS 1105371 HAS SOUS 452960 HAS SOUPS 430026 WITH SCORE 432122.208
AT ITER 3937 NEW BEST:: SOT 4229335 SOS 2096580 HAS SOPS 1105743 HAS SOUS 452896 HAS SOUPS 429962 WITH SCORE 432058.58
AT ITER 3949 NEW BEST:: SOT 4229329 SOS 2096580 HAS SOPS 1105743 HAS SOUS 452884 HAS SOUPS 429950 WITH SCORE 432046.58
AT ITER 3954 NEW BEST:: SOT 4229003 SOS 2096339 HAS SOPS 1105536 HAS SOUS 452559 HAS SOUPS 429625 WITH SCORE 431721.339
AT ITER 3955 NEW BEST:: SOT 4228080 SOS 2095552 HAS SOPS 1105001 HAS SOUS 451807 HAS SOUPS 428873 WITH SCORE 430968.552
AT ITER 3961 NEW BEST:: SOT 4228040 SOS 2095792 HAS SOPS 1105241 HAS SOUS 451727 HAS SOUPS 428793 WITH SCORE 430888.792
AT ITER 3963 NEW BEST:: SOT 4227991 SOS 2095756 HAS SOPS 1105198 HAS SOUS 451684 HAS SOUPS 428750 WITH SCORE 430845.756
AT ITER 3969 NEW BEST:: SOT 4227989 SOS 2095746 HAS SOPS 1105188 HAS SOUS 451680 HAS SOUPS 428746 WITH SCORE 430841.746
AT ITER 3991 NEW BEST:: SOT 4227983 SOS 2095686 HAS SOPS 1105128 HAS SOUS 451668 HAS SOUPS 428734 WITH SCORE 430829.686
AT ITER 4001 NEW BEST:: SOT 4227888 SOS 2095306 HAS SOPS 1104748 HAS SOUS 451573 HAS SOUPS 428639 WITH SCORE 430734.306
AT ITER 4030 NEW BEST:: SOT 4228105 SOS 2096887 HAS SOPS 1107301 HAS SOUS 451425 HAS SOUPS 428491 WITH SCORE 430587.887
AT ITER 4056 NEW BEST:: SOT 4228269 SOS 2096904 HAS SOPS 1107629 HAS SOUS 451032 HAS SOUPS 428098 WITH SCORE 430194.904
AT ITER 4071 NEW BEST:: SOT 4227655 SOS 2096093 HAS SOPS 1106598 HAS SOUS 450374 HAS SOUPS 427253 WITH SCORE 429349.093
AT ITER 4074 NEW BEST:: SOT 4227875 SOS 2096301 HAS SOPS 1106806 HAS SOUS 450292 HAS SOUPS 427171 WITH SCORE 429267.301
AT ITER 4088 NEW BEST:: SOT 4227729 SOS 2096058 HAS SOPS 1106611 HAS SOUS 450194 HAS SOUPS 427073 WITH SCORE 429169.058
AT ITER 4097 NEW BEST:: SOT 4227763 SOS 2096196 HAS SOPS 1106749 HAS SOUS 450157 HAS SOUPS 427036 WITH SCORE 429132.196
AT ITER 4108 NEW BEST:: SOT 4227750 SOS 2096300 HAS SOPS 1106853 HAS SOUS 450131 HAS SOUPS 427010 WITH SCORE 429106.3
AT ITER 4120 NEW BEST:: SOT 4227703 SOS 2096267 HAS SOPS 1106820 HAS SOUS 450037 HAS SOUPS 426916 WITH SCORE 429012.267
AT ITER 4137 NEW BEST:: SOT 4227871 SOS 2096927 HAS SOPS 1106910 HAS SOUS 449881 HAS SOUPS 426760 WITH SCORE 428856.927
AT ITER 4142 NEW BEST:: SOT 4227871 SOS 2096888 HAS SOPS 1106910 HAS SOUS 449881 HAS SOUPS 426760 WITH SCORE 428856.888
AT ITER 4144 NEW BEST:: SOT 4225613 SOS 2095153 HAS SOPS 1105294 HAS SOUS 449840 HAS SOUPS 426719 WITH SCORE 428814.153
AT ITER 4157 NEW BEST:: SOT 4225604 SOS 2095147 HAS SOPS 1105255 HAS SOUS 449798 HAS SOUPS 426677 WITH SCORE 428772.147
AT ITER 4168 NEW BEST:: SOT 4224929 SOS 2094472 HAS SOPS 1104555 HAS SOUS 449798 HAS SOUPS 426652 WITH SCORE 428746.472
AT ITER 4186 NEW BEST:: SOT 4224779 SOS 2094381 HAS SOPS 1104472 HAS SOUS 449730 HAS SOUPS 426569 WITH SCORE 428663.381
AT ITER 4204 NEW BEST:: SOT 4224779 SOS 2094139 HAS SOPS 1104230 HAS SOUS 449730 HAS SOUPS 426569 WITH SCORE 428663.139
AT ITER 4209 NEW BEST:: SOT 4224779 SOS 2093961 HAS SOPS 1104052 HAS SOUS 449730 HAS SOUPS 426569 WITH SCORE 428662.961
AT ITER 4221 NEW BEST:: SOT 4224644 SOS 2093603 HAS SOPS 1103694 HAS SOUS 449650 HAS SOUPS 426489 WITH SCORE 428582.603
AT ITER 4246 NEW BEST:: SOT 4223987 SOS 2092946 HAS SOPS 1102307 HAS SOUS 449903 HAS SOUPS 426028 WITH SCORE 428120.946
AT ITER 4255 NEW BEST:: SOT 4223987 SOS 2092055 HAS SOPS 1101416 HAS SOUS 449903 HAS SOUPS 426028 WITH SCORE 428120.055
AT ITER 4267 NEW BEST:: SOT 4223965 SOS 2092000 HAS SOPS 1101350 HAS SOUS 449848 HAS SOUPS 425973 WITH SCORE 428065.0
AT ITER 4270 NEW BEST:: SOT 4223905 SOS 2091880 HAS SOPS 1101230 HAS SOUS 449624 HAS SOUPS 425749 WITH SCORE 427840.88
AT ITER 4271 NEW BEST:: SOT 4223884 SOS 2092213 HAS SOPS 1101563 HAS SOUS 449436 HAS SOUPS 425561 WITH SCORE 427653.213
AT ITER 4281 NEW BEST:: SOT 4223848 SOS 2092104 HAS SOPS 1101454 HAS SOUS 449406 HAS SOUPS 425531 WITH SCORE 427623.104
AT ITER 4284 NEW BEST:: SOT 4223489 SOS 2090859 HAS SOPS 1100189 HAS SOUS 448725 HAS SOUPS 424850 WITH SCORE 426940.859
AT ITER 4290 NEW BEST:: SOT 4223489 SOS 2090710 HAS SOPS 1100040 HAS SOUS 448576 HAS SOUPS 424701 WITH SCORE 426791.71
AT ITER 4295 NEW BEST:: SOT 4223471 SOS 2090692 HAS SOPS 1099968 HAS SOUS 448533 HAS SOUPS 424629 WITH SCORE 426719.692
AT ITER 4300 NEW BEST:: SOT 4223512 SOS 2090878 HAS SOPS 1100107 HAS SOUS 448527 HAS SOUPS 424623 WITH SCORE 426713.878
AT ITER 4303 NEW BEST:: SOT 4223428 SOS 2090493 HAS SOPS 1099733 HAS SOUS 448262 HAS SOUPS 424358 WITH SCORE 426448.493
AT ITER 4304 NEW BEST:: SOT 4223214 SOS 2090561 HAS SOPS 1100447 HAS SOUS 447933 HAS SOUPS 424029 WITH SCORE 426119.561
AT ITER 4307 NEW BEST:: SOT 4223191 SOS 2090236 HAS SOPS 1100122 HAS SOUS 447887 HAS SOUPS 423983 WITH SCORE 426073.236
AT ITER 4314 NEW BEST:: SOT 4223087 SOS 2090024 HAS SOPS 1099910 HAS SOUS 447679 HAS SOUPS 423775 WITH SCORE 425865.024
AT ITER 4315 NEW BEST:: SOT 4222961 SOS 2090411 HAS SOPS 1099992 HAS SOUS 447673 HAS SOUPS 423769 WITH SCORE 425859.411
AT ITER 4339 NEW BEST:: SOT 4222961 SOS 2090175 HAS SOPS 1099756 HAS SOUS 447614 HAS SOUPS 423710 WITH SCORE 425800.175
AT ITER 4340 NEW BEST:: SOT 4222873 SOS 2089511 HAS SOPS 1099092 HAS SOUS 447446 HAS SOUPS 423542 WITH SCORE 425631.511
AT ITER 4342 NEW BEST:: SOT 4224035 SOS 2090446 HAS SOPS 1100056 HAS SOUS 447419 HAS SOUPS 423515 WITH SCORE 425605.446
AT ITER 4343 NEW BEST:: SOT 4224035 SOS 2090374 HAS SOPS 1099984 HAS SOUS 447419 HAS SOUPS 423515 WITH SCORE 425605.374
AT ITER 4377 NEW BEST:: SOT 4223861 SOS 2090336 HAS SOPS 1099946 HAS SOUS 447094 HAS SOUPS 423190 WITH SCORE 425280.336
AT ITER 4394 NEW BEST:: SOT 4223838 SOS 2090060 HAS SOPS 1099670 HAS SOUS 447048 HAS SOUPS 423144 WITH SCORE 425234.06
AT ITER 4409 NEW BEST:: SOT 4223688 SOS 2090020 HAS SOPS 1099630 HAS SOUS 446903 HAS SOUPS 422999 WITH SCORE 425089.02
AT ITER 4412 NEW BEST:: SOT 4223688 SOS 2089397 HAS SOPS 1099007 HAS SOUS 446626 HAS SOUPS 422722 WITH SCORE 424811.397
AT ITER 4413 NEW BEST:: SOT 4223668 SOS 2089317 HAS SOPS 1098927 HAS SOUS 446606 HAS SOUPS 422702 WITH SCORE 424791.317
AT ITER 4441 NEW BEST:: SOT 4223668 SOS 2089402 HAS SOPS 1099012 HAS SOUS 446553 HAS SOUPS 422649 WITH SCORE 424738.402
AT ITER 4442 NEW BEST:: SOT 4223668 SOS 2089234 HAS SOPS 1098844 HAS SOUS 446553 HAS SOUPS 422649 WITH SCORE 424738.234
AT ITER 4456 NEW BEST:: SOT 4223668 SOS 2089353 HAS SOPS 1098724 HAS SOUS 446493 HAS SOUPS 422589 WITH SCORE 424678.353
AT ITER 4473 NEW BEST:: SOT 4223658 SOS 2089243 HAS SOPS 1098704 HAS SOUS 446383 HAS SOUPS 422569 WITH SCORE 424658.243
AT ITER 4474 NEW BEST:: SOT 4223831 SOS 2090228 HAS SOPS 1099035 HAS SOUS 446230 HAS SOUPS 422416 WITH SCORE 424506.228
AT ITER 4480 NEW BEST:: SOT 4223796 SOS 2090193 HAS SOPS 1099000 HAS SOUS 446195 HAS SOUPS 422381 WITH SCORE 424471.193
AT ITER 4482 NEW BEST:: SOT 4223753 SOS 2090536 HAS SOPS 1099343 HAS SOUS 446116 HAS SOUPS 422302 WITH SCORE 424392.536
AT ITER 4483 NEW BEST:: SOT 4223830 SOS 2090591 HAS SOPS 1099398 HAS SOUS 446072 HAS SOUPS 422258 WITH SCORE 424348.591
AT ITER 4498 NEW BEST:: SOT 4223779 SOS 2090394 HAS SOPS 1099358 HAS SOUS 446032 HAS SOUPS 422218 WITH SCORE 424308.394
AT ITER 4502 NEW BEST:: SOT 4223770 SOS 2090232 HAS SOPS 1099196 HAS SOUS 446014 HAS SOUPS 422200 WITH SCORE 424290.232
AT ITER 4503 NEW BEST:: SOT 4223770 SOS 2090214 HAS SOPS 1099178 HAS SOUS 446014 HAS SOUPS 422200 WITH SCORE 424290.214
AT ITER 4506 NEW BEST:: SOT 4223646 SOS 2090028 HAS SOPS 1098992 HAS SOUS 445890 HAS SOUPS 422076 WITH SCORE 424166.028
AT ITER 4536 NEW BEST:: SOT 4223452 SOS 2088494 HAS SOPS 1097458 HAS SOUS 445563 HAS SOUPS 421749 WITH SCORE 423837.494
AT ITER 4537 NEW BEST:: SOT 4222738 SOS 2087780 HAS SOPS 1082569 HAS SOUS 445753 HAS SOUPS 420978 WITH SCORE 423065.78
AT ITER 4538 NEW BEST:: SOT 4222722 SOS 2087812 HAS SOPS 1082601 HAS SOUS 445730 HAS SOUPS 420955 WITH SCORE 423042.812
AT ITER 4542 NEW BEST:: SOT 4222722 SOS 2087530 HAS SOPS 1082319 HAS SOUS 445730 HAS SOUPS 420955 WITH SCORE 423042.53
AT ITER 4548 NEW BEST:: SOT 4222695 SOS 2087476 HAS SOPS 1082265 HAS SOUS 445703 HAS SOUPS 420928 WITH SCORE 423015.476
AT ITER 4578 NEW BEST:: SOT 4222518 SOS 2087122 HAS SOPS 1080141 HAS SOUS 445349 HAS SOUPS 420574 WITH SCORE 422661.122
AT ITER 4585 NEW BEST:: SOT 4222514 SOS 2087021 HAS SOPS 1079961 HAS SOUS 445254 HAS SOUPS 420479 WITH SCORE 422566.021
AT ITER 4617 NEW BEST:: SOT 4222580 SOS 2087087 HAS SOPS 1079994 HAS SOUS 445240 HAS SOUPS 420441 WITH SCORE 422528.087
AT ITER 4620 NEW BEST:: SOT 4222401 SOS 2086908 HAS SOPS 1079815 HAS SOUS 445061 HAS SOUPS 420262 WITH SCORE 422348.908
AT ITER 4634 NEW BEST:: SOT 4222397 SOS 2086477 HAS SOPS 1079384 HAS SOUS 445010 HAS SOUPS 420211 WITH SCORE 422297.477
AT ITER 4635 NEW BEST:: SOT 4222431 SOS 2086511 HAS SOPS 1078956 HAS SOUS 444582 HAS SOUPS 419783 WITH SCORE 421869.511
AT ITER 4656 NEW BEST:: SOT 4222572 SOS 2086443 HAS SOPS 1078657 HAS SOUS 444343 HAS SOUPS 419544 WITH SCORE 421630.443
AT ITER 4683 NEW BEST:: SOT 4222438 SOS 2085188 HAS SOPS 1077221 HAS SOUS 444076 HAS SOUPS 419277 WITH SCORE 421362.188
AT ITER 4694 NEW BEST:: SOT 4222303 SOS 2085068 HAS SOPS 1077101 HAS SOUS 443806 HAS SOUPS 419007 WITH SCORE 421092.068
AT ITER 4716 NEW BEST:: SOT 4221870 SOS 2084618 HAS SOPS 1080395 HAS SOUS 443788 HAS SOUPS 418989 WITH SCORE 421073.618
AT ITER 4748 NEW BEST:: SOT 4221197 SOS 2088364 HAS SOPS 1079671 HAS SOUS 443614 HAS SOUPS 418764 WITH SCORE 420852.364
AT ITER 4772 NEW BEST:: SOT 4221126 SOS 2088064 HAS SOPS 1079426 HAS SOUS 443562 HAS SOUPS 418712 WITH SCORE 420800.064
AT ITER 4776 NEW BEST:: SOT 4218737 SOS 2085247 HAS SOPS 1076845 HAS SOUS 443037 HAS SOUPS 418187 WITH SCORE 420272.247
AT ITER 4795 NEW BEST:: SOT 4218468 SOS 2089977 HAS SOPS 1081575 HAS SOUS 442817 HAS SOUPS 417967 WITH SCORE 420056.977
AT ITER 4814 NEW BEST:: SOT 4218468 SOS 2089940 HAS SOPS 1081538 HAS SOUS 442817 HAS SOUPS 417967 WITH SCORE 420056.94
AT ITER 4824 NEW BEST:: SOT 4218178 SOS 2089650 HAS SOPS 1080958 HAS SOUS 442489 HAS SOUPS 417639 WITH SCORE 419728.65
AT ITER 4830 NEW BEST:: SOT 4218178 SOS 2089629 HAS SOPS 1080823 HAS SOUS 442375 HAS SOUPS 417525 WITH SCORE 419614.629
AT ITER 4833 NEW BEST:: SOT 4218169 SOS 2089051 HAS SOPS 1080245 HAS SOUS 442357 HAS SOUPS 417507 WITH SCORE 419596.051
AT ITER 4834 NEW BEST:: SOT 4218145 SOS 2089003 HAS SOPS 1080197 HAS SOUS 442309 HAS SOUPS 417459 WITH SCORE 419548.003
AT ITER 4843 NEW BEST:: SOT 4218096 SOS 2088954 HAS SOPS 1079707 HAS SOUS 442260 HAS SOUPS 417410 WITH SCORE 419498.954
AT ITER 4851 NEW BEST:: SOT 4218536 SOS 2089449 HAS SOPS 1079652 HAS SOUS 442205 HAS SOUPS 417355 WITH SCORE 419444.449
AT ITER 4852 NEW BEST:: SOT 4218612 SOS 2089495 HAS SOPS 1079596 HAS SOUS 442237 HAS SOUPS 417299 WITH SCORE 419388.495
AT ITER 4859 NEW BEST:: SOT 4216943 SOS 2087537 HAS SOPS 1077352 HAS SOUS 442197 HAS SOUPS 417259 WITH SCORE 419346.537
AT ITER 4876 NEW BEST:: SOT 4216943 SOS 2087218 HAS SOPS 1077039 HAS SOUS 442197 HAS SOUPS 417259 WITH SCORE 419346.218
AT ITER 4880 NEW BEST:: SOT 4217362 SOS 2087759 HAS SOPS 1077877 HAS SOUS 442189 HAS SOUPS 417251 WITH SCORE 419338.759
AT ITER 4914 NEW BEST:: SOT 4216323 SOS 2086624 HAS SOPS 1076743 HAS SOUS 441884 HAS SOUPS 416946 WITH SCORE 419032.624
AT ITER 4943 NEW BEST:: SOT 4216364 SOS 2086290 HAS SOPS 1076372 HAS SOUS 441872 HAS SOUPS 416934 WITH SCORE 419020.29
AT ITER 4950 NEW BEST:: SOT 4216364 SOS 2086164 HAS SOPS 1076246 HAS SOUS 441872 HAS SOUPS 416934 WITH SCORE 419020.164
AT ITER 4959 NEW BEST:: SOT 4216326 SOS 2086644 HAS SOPS 1076726 HAS SOUS 441842 HAS SOUPS 416904 WITH SCORE 418990.644
AT ITER 4964 NEW BEST:: SOT 4216129 SOS 2086289 HAS SOPS 1076591 HAS SOUS 441707 HAS SOUPS 416769 WITH SCORE 418855.289
AT ITER 4965 NEW BEST:: SOT 4216129 SOS 2086283 HAS SOPS 1076585 HAS SOUS 441701 HAS SOUPS 416763 WITH SCORE 418849.283
AT ITER 4970 NEW BEST:: SOT 4216129 SOS 2086283 HAS SOPS 1076585 HAS SOUS 441697 HAS SOUPS 416759 WITH SCORE 418845.283
AT ITER 4973 NEW BEST:: SOT 4216129 SOS 2086155 HAS SOPS 1076457 HAS SOUS 441697 HAS SOUPS 416759 WITH SCORE 418845.155
AT ITER 4982 NEW BEST:: SOT 4216118 SOS 2086144 HAS SOPS 1076446 HAS SOUS 441686 HAS SOUPS 416748 WITH SCORE 418834.144
AT ITER 5001 NEW BEST:: SOT 4216062 SOS 2086592 HAS SOPS 1076894 HAS SOUS 441574 HAS SOUPS 416636 WITH SCORE 418722.592
AT ITER 5009 NEW BEST:: SOT 4215691 SOS 2086221 HAS SOPS 1076511 HAS SOUS 441191 HAS SOUPS 416253 WITH SCORE 418339.221
AT ITER 5020 NEW BEST:: SOT 4215586 SOS 2086345 HAS SOPS 1076673 HAS SOUS 441105 HAS SOUPS 416167 WITH SCORE 418253.345
AT ITER 5025 NEW BEST:: SOT 4215476 SOS 2086125 HAS SOPS 1076563 HAS SOUS 440983 HAS SOUPS 416045 WITH SCORE 418131.125
AT ITER 5033 NEW BEST:: SOT 4215353 SOS 2085972 HAS SOPS 1076440 HAS SOUS 440860 HAS SOUPS 415922 WITH SCORE 418007.972
AT ITER 5035 NEW BEST:: SOT 4215353 SOS 2083610 HAS SOPS 1074078 HAS SOUS 440858 HAS SOUPS 415920 WITH SCORE 418003.61
AT ITER 5038 NEW BEST:: SOT 4215351 SOS 2083608 HAS SOPS 1074076 HAS SOUS 440854 HAS SOUPS 415916 WITH SCORE 417999.608
AT ITER 5058 NEW BEST:: SOT 4215327 SOS 2083800 HAS SOPS 1074268 HAS SOUS 440806 HAS SOUPS 415868 WITH SCORE 417951.8
AT ITER 5071 NEW BEST:: SOT 4214797 SOS 2083270 HAS SOPS 1077629 HAS SOUS 440687 HAS SOUPS 415749 WITH SCORE 417832.27
AT ITER 5107 NEW BEST:: SOT 4214619 SOS 2083092 HAS SOPS 1077273 HAS SOUS 440680 HAS SOUPS 415742 WITH SCORE 417825.092
AT ITER 5113 NEW BEST:: SOT 4214583 SOS 2083093 HAS SOPS 1077322 HAS SOUS 440656 HAS SOUPS 415718 WITH SCORE 417801.093
AT ITER 5121 NEW BEST:: SOT 4214324 SOS 2082778 HAS SOPS 1076779 HAS SOUS 440253 HAS SOUPS 415175 WITH SCORE 417257.778
AT ITER 5131 NEW BEST:: SOT 4214324 SOS 2082762 HAS SOPS 1076763 HAS SOUS 440245 HAS SOUPS 415167 WITH SCORE 417249.762
AT ITER 5132 NEW BEST:: SOT 4214192 SOS 2082630 HAS SOPS 1076499 HAS SOUS 440113 HAS SOUPS 414903 WITH SCORE 416985.63
AT ITER 5134 NEW BEST:: SOT 4209469 SOS 2082891 HAS SOPS 1071911 HAS SOUS 440295 HAS SOUPS 414347 WITH SCORE 416429.891
AT ITER 5155 NEW BEST:: SOT 4209469 SOS 2082857 HAS SOPS 1071911 HAS SOUS 440295 HAS SOUPS 414347 WITH SCORE 416429.857
AT ITER 5167 NEW BEST:: SOT 4209390 SOS 2083177 HAS SOPS 1072231 HAS SOUS 440159 HAS SOUPS 414211 WITH SCORE 416294.177
AT ITER 5181 NEW BEST:: SOT 4209476 SOS 2083154 HAS SOPS 1072208 HAS SOUS 440142 HAS SOUPS 414194 WITH SCORE 416277.154
AT ITER 5189 NEW BEST:: SOT 4209508 SOS 2083122 HAS SOPS 1072120 HAS SOUS 440104 HAS SOUPS 414156 WITH SCORE 416239.122
AT ITER 5200 NEW BEST:: SOT 4209482 SOS 2083096 HAS SOPS 1072108 HAS SOUS 440008 HAS SOUPS 414144 WITH SCORE 416227.096
AT ITER 5204 NEW BEST:: SOT 4209282 SOS 2082551 HAS SOPS 1071563 HAS SOUS 439863 HAS SOUPS 413999 WITH SCORE 416081.551
AT ITER 5206 NEW BEST:: SOT 4209055 SOS 2082211 HAS SOPS 1071211 HAS SOUS 439591 HAS SOUPS 413727 WITH SCORE 415809.211
AT ITER 5207 NEW BEST:: SOT 4209047 SOS 2082203 HAS SOPS 1071203 HAS SOUS 439575 HAS SOUPS 413711 WITH SCORE 415793.203
AT ITER 5223 NEW BEST:: SOT 4209046 SOS 2082117 HAS SOPS 1071117 HAS SOUS 439573 HAS SOUPS 413709 WITH SCORE 415791.117
AT ITER 5229 NEW BEST:: SOT 4208935 SOS 2081332 HAS SOPS 1070332 HAS SOUS 439320 HAS SOUPS 413456 WITH SCORE 415537.332
AT ITER 5235 NEW BEST:: SOT 4205514 SOS 2077776 HAS SOPS 1066776 HAS SOUS 439209 HAS SOUPS 413345 WITH SCORE 415422.776
AT ITER 5243 NEW BEST:: SOT 4205507 SOS 2077794 HAS SOPS 1066762 HAS SOUS 439195 HAS SOUPS 413331 WITH SCORE 415408.794
AT ITER 5257 NEW BEST:: SOT 4205455 SOS 2077016 HAS SOPS 1065984 HAS SOUS 439091 HAS SOUPS 413227 WITH SCORE 415304.016
AT ITER 5287 NEW BEST:: SOT 4205451 SOS 2077004 HAS SOPS 1065972 HAS SOUS 439087 HAS SOUPS 413223 WITH SCORE 415300.004
AT ITER 5313 NEW BEST:: SOT 4205451 SOS 2069437 HAS SOPS 1065421 HAS SOUS 439021 HAS SOUPS 413176 WITH SCORE 415245.437
AT ITER 5319 NEW BEST:: SOT 4205439 SOS 2069100 HAS SOPS 1065141 HAS SOUS 438997 HAS SOUPS 413152 WITH SCORE 415221.1
AT ITER 5329 NEW BEST:: SOT 4205336 SOS 2070372 HAS SOPS 1066843 HAS SOUS 438898 HAS SOUPS 413053 WITH SCORE 415123.372
AT ITER 5348 NEW BEST:: SOT 4205305 SOS 2070341 HAS SOPS 1066781 HAS SOUS 438867 HAS SOUPS 413022 WITH SCORE 415092.341
AT ITER 5349 NEW BEST:: SOT 4205338 SOS 2070481 HAS SOPS 1066921 HAS SOUS 438776 HAS SOUPS 412931 WITH SCORE 415001.481
AT ITER 5359 NEW BEST:: SOT 4205326 SOS 2069729 HAS SOPS 1066019 HAS SOUS 438602 HAS SOUPS 412757 WITH SCORE 414826.729
AT ITER 5389 NEW BEST:: SOT 4205370 SOS 2069850 HAS SOPS 1066268 HAS SOUS 438549 HAS SOUPS 412704 WITH SCORE 414773.85
AT ITER 5396 NEW BEST:: SOT 4205255 SOS 2069472 HAS SOPS 1065890 HAS SOUS 438319 HAS SOUPS 412474 WITH SCORE 414543.472
AT ITER 5398 NEW BEST:: SOT 4205012 SOS 2069229 HAS SOPS 1065651 HAS SOUS 438101 HAS SOUPS 412235 WITH SCORE 414304.229
AT ITER 5404 NEW BEST:: SOT 4204858 SOS 2069233 HAS SOPS 1065805 HAS SOUS 438097 HAS SOUPS 412231 WITH SCORE 414300.233
AT ITER 5414 NEW BEST:: SOT 4204345 SOS 2068720 HAS SOPS 1064722 HAS SOUS 437598 HAS SOUPS 411661 WITH SCORE 413729.72
AT ITER 5426 NEW BEST:: SOT 4204151 SOS 2068332 HAS SOPS 1064334 HAS SOUS 437210 HAS SOUPS 411273 WITH SCORE 413341.332
AT ITER 5428 NEW BEST:: SOT 4204150 SOS 2068331 HAS SOPS 1064333 HAS SOUS 437209 HAS SOUPS 411272 WITH SCORE 413340.331
AT ITER 5439 NEW BEST:: SOT 4204349 SOS 2068638 HAS SOPS 1064632 HAS SOUS 436756 HAS SOUPS 410819 WITH SCORE 412887.638
AT ITER 5447 NEW BEST:: SOT 4204335 SOS 2068624 HAS SOPS 1064618 HAS SOUS 436742 HAS SOUPS 410805 WITH SCORE 412873.624
AT ITER 5451 NEW BEST:: SOT 4204325 SOS 2068609 HAS SOPS 1064608 HAS SOUS 436732 HAS SOUPS 410795 WITH SCORE 412863.609
AT ITER 5471 NEW BEST:: SOT 4204283 SOS 2068567 HAS SOPS 1064608 HAS SOUS 436732 HAS SOUPS 410795 WITH SCORE 412863.567
AT ITER 5485 NEW BEST:: SOT 4204229 SOS 2068486 HAS SOPS 1064284 HAS SOUS 436672 HAS SOUPS 410714 WITH SCORE 412782.486
AT ITER 5504 NEW BEST:: SOT 4204223 SOS 2069256 HAS SOPS 1064885 HAS SOUS 436341 HAS SOUPS 410383 WITH SCORE 412452.256
AT ITER 5507 NEW BEST:: SOT 4204052 SOS 2069047 HAS SOPS 1064866 HAS SOUS 436341 HAS SOUPS 410383 WITH SCORE 412452.047
AT ITER 5515 NEW BEST:: SOT 4204260 SOS 2069229 HAS SOPS 1064632 HAS SOUS 436133 HAS SOUPS 410175 WITH SCORE 412244.229
AT ITER 5524 NEW BEST:: SOT 4204228 SOS 2069845 HAS SOPS 1065248 HAS SOUS 436069 HAS SOUPS 410111 WITH SCORE 412180.845
AT ITER 5528 NEW BEST:: SOT 4204187 SOS 2069806 HAS SOPS 1065209 HAS SOUS 436028 HAS SOUPS 410070 WITH SCORE 412139.806
AT ITER 5529 NEW BEST:: SOT 4204187 SOS 2069806 HAS SOPS 1065175 HAS SOUS 435994 HAS SOUPS 410036 WITH SCORE 412105.806
AT ITER 5531 NEW BEST:: SOT 4204186 SOS 2068796 HAS SOPS 1064165 HAS SOUS 435992 HAS SOUPS 410034 WITH SCORE 412102.796
AT ITER 5536 NEW BEST:: SOT 4204016 SOS 2068609 HAS SOPS 1063995 HAS SOUS 435958 HAS SOUPS 410000 WITH SCORE 412068.609
AT ITER 5539 NEW BEST:: SOT 4204001 SOS 2068609 HAS SOPS 1063995 HAS SOUS 435928 HAS SOUPS 409970 WITH SCORE 412038.609
AT ITER 5549 NEW BEST:: SOT 4203904 SOS 2067238 HAS SOPS 1062624 HAS SOUS 435640 HAS SOUPS 409682 WITH SCORE 411749.238
AT ITER 5554 NEW BEST:: SOT 4202904 SOS 2066238 HAS SOPS 1062384 HAS SOUS 435400 HAS SOUPS 409442 WITH SCORE 411508.238
AT ITER 5563 NEW BEST:: SOT 4202847 SOS 2066238 HAS SOPS 1062384 HAS SOUS 435286 HAS SOUPS 409328 WITH SCORE 411394.238
AT ITER 5609 NEW BEST:: SOT 4203288 SOS 2066782 HAS SOPS 1063418 HAS SOUS 435253 HAS SOUPS 409295 WITH SCORE 411361.782
AT ITER 5614 NEW BEST:: SOT 4203288 SOS 2066667 HAS SOPS 1063303 HAS SOUS 435226 HAS SOUPS 409268 WITH SCORE 411334.667
AT ITER 5654 NEW BEST:: SOT 4203245 SOS 2066719 HAS SOPS 1063355 HAS SOUS 435195 HAS SOUPS 409237 WITH SCORE 411303.719
AT ITER 5657 NEW BEST:: SOT 4203209 SOS 2067959 HAS SOPS 1064595 HAS SOUS 435161 HAS SOUPS 409203 WITH SCORE 411270.959
AT ITER 5674 NEW BEST:: SOT 4203160 SOS 2067725 HAS SOPS 1064361 HAS SOUS 435112 HAS SOUPS 409154 WITH SCORE 411221.725
AT ITER 5678 NEW BEST:: SOT 4203160 SOS 2067653 HAS SOPS 1064289 HAS SOUS 435112 HAS SOUPS 409154 WITH SCORE 411221.653
AT ITER 5681 NEW BEST:: SOT 4203182 SOS 2067594 HAS SOPS 1064333 HAS SOUS 435048 HAS SOUPS 409090 WITH SCORE 411157.594
AT ITER 5684 NEW BEST:: SOT 4203208 SOS 2067671 HAS SOPS 1063801 HAS SOUS 434894 HAS SOUPS 408558 WITH SCORE 410625.671
AT ITER 5698 NEW BEST:: SOT 4203213 SOS 2067676 HAS SOPS 1063811 HAS SOUS 434869 HAS SOUPS 408533 WITH SCORE 410600.676
AT ITER 5704 NEW BEST:: SOT 4203344 SOS 2067942 HAS SOPS 1063690 HAS SOUS 434737 HAS SOUPS 408401 WITH SCORE 410468.942
AT ITER 5726 NEW BEST:: SOT 4203291 SOS 2068063 HAS SOPS 1063383 HAS SOUS 434663 HAS SOUPS 408327 WITH SCORE 410395.063
AT ITER 5734 NEW BEST:: SOT 4203302 SOS 2066219 HAS SOPS 1061354 HAS SOUS 434628 HAS SOUPS 408292 WITH SCORE 410358.219
AT ITER 5735 NEW BEST:: SOT 4203196 SOS 2066007 HAS SOPS 1061142 HAS SOUS 434469 HAS SOUPS 408133 WITH SCORE 410199.007
AT ITER 5736 NEW BEST:: SOT 4203518 SOS 2066329 HAS SOPS 1061418 HAS SOUS 434377 HAS SOUPS 408041 WITH SCORE 410107.329
AT ITER 5742 NEW BEST:: SOT 4203513 SOS 2066325 HAS SOPS 1061411 HAS SOUS 434370 HAS SOUPS 408034 WITH SCORE 410100.325
AT ITER 5749 NEW BEST:: SOT 4203477 SOS 2066289 HAS SOPS 1061375 HAS SOUS 434334 HAS SOUPS 407998 WITH SCORE 410064.289
AT ITER 5759 NEW BEST:: SOT 4203398 SOS 2066337 HAS SOPS 1061423 HAS SOUS 434176 HAS SOUPS 407840 WITH SCORE 409906.337
AT ITER 5765 NEW BEST:: SOT 4203398 SOS 2066329 HAS SOPS 1061415 HAS SOUS 434176 HAS SOUPS 407840 WITH SCORE 409906.329
AT ITER 5771 NEW BEST:: SOT 4203120 SOS 2066289 HAS SOPS 1061375 HAS SOUS 434047 HAS SOUPS 407711 WITH SCORE 409777.289
AT ITER 5779 NEW BEST:: SOT 4203116 SOS 2066285 HAS SOPS 1061367 HAS SOUS 434039 HAS SOUPS 407703 WITH SCORE 409769.285
AT ITER 5798 NEW BEST:: SOT 4203012 SOS 2065691 HAS SOPS 1060766 HAS SOUS 433996 HAS SOUPS 407660 WITH SCORE 409725.691
AT ITER 5823 NEW BEST:: SOT 4203009 SOS 2065365 HAS SOPS 1060440 HAS SOUS 433990 HAS SOUPS 407654 WITH SCORE 409719.365
AT ITER 5825 NEW BEST:: SOT 4202630 SOS 2065381 HAS SOPS 1060470 HAS SOUS 433939 HAS SOUPS 407603 WITH SCORE 409668.381
AT ITER 5841 NEW BEST:: SOT 4202517 SOS 2065303 HAS SOPS 1060392 HAS SOUS 433787 HAS SOUPS 407451 WITH SCORE 409516.303
AT ITER 5842 NEW BEST:: SOT 4203637 SOS 2066743 HAS SOPS 1060200 HAS SOUS 433408 HAS SOUPS 407072 WITH SCORE 409138.743
AT ITER 5854 NEW BEST:: SOT 4203567 SOS 2063942 HAS SOPS 1060099 HAS SOUS 433226 HAS SOUPS 406890 WITH SCORE 408953.942
AT ITER 5864 NEW BEST:: SOT 4209283 SOS 2069589 HAS SOPS 1065820 HAS SOUS 432945 HAS SOUPS 406609 WITH SCORE 408678.589
AT ITER 5867 NEW BEST:: SOT 4209245 SOS 2068763 HAS SOPS 1064882 HAS SOUS 432747 HAS SOUPS 406411 WITH SCORE 408479.763
AT ITER 5880 NEW BEST:: SOT 4209211 SOS 2068645 HAS SOPS 1064937 HAS SOUS 432644 HAS SOUPS 406308 WITH SCORE 408376.645
AT ITER 5895 NEW BEST:: SOT 4209171 SOS 2068605 HAS SOPS 1064857 HAS SOUS 432574 HAS SOUPS 406238 WITH SCORE 408306.605
AT ITER 5923 NEW BEST:: SOT 4209195 SOS 2068805 HAS SOPS 1063537 HAS SOUS 432470 HAS SOUPS 406134 WITH SCORE 408202.805
AT ITER 5931 NEW BEST:: SOT 4209032 SOS 2069107 HAS SOPS 1063987 HAS SOUS 432409 HAS SOUPS 406073 WITH SCORE 408142.107
AT ITER 5953 NEW BEST:: SOT 4211936 SOS 2072143 HAS SOPS 1067023 HAS SOUS 432145 HAS SOUPS 405809 WITH SCORE 407881.143
AT ITER 5960 NEW BEST:: SOT 4211852 SOS 2071805 HAS SOPS 1066601 HAS SOUS 431977 HAS SOUPS 405641 WITH SCORE 407712.805
AT ITER 5967 NEW BEST:: SOT 4211703 SOS 2071373 HAS SOPS 1066303 HAS SOUS 431813 HAS SOUPS 405477 WITH SCORE 407548.373
AT ITER 5974 NEW BEST:: SOT 4211664 SOS 2071334 HAS SOPS 1066277 HAS SOUS 431813 HAS SOUPS 405477 WITH SCORE 407548.334
AT ITER 5987 NEW BEST:: SOT 4211649 SOS 2071398 HAS SOPS 1066341 HAS SOUS 431755 HAS SOUPS 405419 WITH SCORE 407490.398
AT ITER 5990 NEW BEST:: SOT 4211649 SOS 2071240 HAS SOPS 1066183 HAS SOUS 431713 HAS SOUPS 405377 WITH SCORE 407448.24
AT ITER 5999 NEW BEST:: SOT 4211623 SOS 2071201 HAS SOPS 1066144 HAS SOUS 431674 HAS SOUPS 405338 WITH SCORE 407409.201
AT ITER 6005 NEW BEST:: SOT 4211506 SOS 2071084 HAS SOPS 1065988 HAS SOUS 431557 HAS SOUPS 405221 WITH SCORE 407292.084
AT ITER 6011 NEW BEST:: SOT 4211489 SOS 2072445 HAS SOPS 1067216 HAS SOUS 431441 HAS SOUPS 405105 WITH SCORE 407177.445
AT ITER 6015 NEW BEST:: SOT 4211208 SOS 2072077 HAS SOPS 1061610 HAS SOUS 426080 HAS SOUPS 399744 WITH SCORE 401816.077
AT ITER 6063 NEW BEST:: SOT 4211197 SOS 2071994 HAS SOPS 1061466 HAS SOUS 425997 HAS SOUPS 399661 WITH SCORE 401732.994
AT ITER 6077 NEW BEST:: SOT 4211143 SOS 2071916 HAS SOPS 1061358 HAS SOUS 425884 HAS SOUPS 399548 WITH SCORE 401619.916
AT ITER 6089 NEW BEST:: SOT 4211092 SOS 2071916 HAS SOPS 1061358 HAS SOUS 425782 HAS SOUPS 399446 WITH SCORE 401517.916
AT ITER 6099 NEW BEST:: SOT 4210756 SOS 2070854 HAS SOPS 1060296 HAS SOUS 425205 HAS SOUPS 398869 WITH SCORE 400939.854
AT ITER 6118 NEW BEST:: SOT 4210603 SOS 2070600 HAS SOPS 1059909 HAS SOUS 424818 HAS SOUPS 398482 WITH SCORE 400552.6
AT ITER 6119 NEW BEST:: SOT 4210439 SOS 2070436 HAS SOPS 1059745 HAS SOUS 424654 HAS SOUPS 398318 WITH SCORE 400388.436
AT ITER 6130 NEW BEST:: SOT 4210455 SOS 2070468 HAS SOPS 1059777 HAS SOUS 424643 HAS SOUPS 398307 WITH SCORE 400377.468
AT ITER 6141 NEW BEST:: SOT 4210363 SOS 2071124 HAS SOPS 1060433 HAS SOUS 424580 HAS SOUPS 398244 WITH SCORE 400315.124
AT ITER 6153 NEW BEST:: SOT 4210363 SOS 2071121 HAS SOPS 1060430 HAS SOUS 424580 HAS SOUPS 398244 WITH SCORE 400315.121
AT ITER 6157 NEW BEST:: SOT 4210280 SOS 2070872 HAS SOPS 1060181 HAS SOUS 424497 HAS SOUPS 398161 WITH SCORE 400231.872
AT ITER 6166 NEW BEST:: SOT 4210180 SOS 2070568 HAS SOPS 1059877 HAS SOUS 424460 HAS SOUPS 398124 WITH SCORE 400194.568
AT ITER 6172 NEW BEST:: SOT 4210186 SOS 2070572 HAS SOPS 1059449 HAS SOUS 424472 HAS SOUPS 398092 WITH SCORE 400162.572
AT ITER 6175 NEW BEST:: SOT 4210186 SOS 2070280 HAS SOPS 1059157 HAS SOUS 424437 HAS SOUPS 398057 WITH SCORE 400127.28
AT ITER 6191 NEW BEST:: SOT 4210073 SOS 2070612 HAS SOPS 1059253 HAS SOUS 424230 HAS SOUPS 397850 WITH SCORE 399920.612
AT ITER 6198 NEW BEST:: SOT 4209819 SOS 2070231 HAS SOPS 1058999 HAS SOUS 423976 HAS SOUPS 397596 WITH SCORE 399666.231
AT ITER 6202 NEW BEST:: SOT 4210054 SOS 2070594 HAS SOPS 1058771 HAS SOUS 423822 HAS SOUPS 397436 WITH SCORE 399506.594
AT ITER 6204 NEW BEST:: SOT 4209896 SOS 2070373 HAS SOPS 1058550 HAS SOUS 423749 HAS SOUPS 397363 WITH SCORE 399433.373
AT ITER 6205 NEW BEST:: SOT 4212296 SOS 2072773 HAS SOPS 1061046 HAS SOUS 423653 HAS SOUPS 397267 WITH SCORE 399339.773
AT ITER 6206 NEW BEST:: SOT 4211891 SOS 2072323 HAS SOPS 1060641 HAS SOUS 423608 HAS SOUPS 397222 WITH SCORE 399294.323
AT ITER 6220 NEW BEST:: SOT 4211826 SOS 2072378 HAS SOPS 1060696 HAS SOUS 423543 HAS SOUPS 397157 WITH SCORE 399229.378
AT ITER 6228 NEW BEST:: SOT 4211780 SOS 2072257 HAS SOPS 1060575 HAS SOUS 423451 HAS SOUPS 397065 WITH SCORE 399137.257
AT ITER 6230 NEW BEST:: SOT 4212404 SOS 2072881 HAS SOPS 1061199 HAS SOUS 423436 HAS SOUPS 397050 WITH SCORE 399122.881
AT ITER 6259 NEW BEST:: SOT 4210335 SOS 2079828 HAS SOPS 1059088 HAS SOUS 422619 HAS SOUPS 396122 WITH SCORE 398201.828
AT ITER 6272 NEW BEST:: SOT 4210500 SOS 2080109 HAS SOPS 1058638 HAS SOUS 422415 HAS SOUPS 395814 WITH SCORE 397894.109
AT ITER 6274 NEW BEST:: SOT 4210230 SOS 2079612 HAS SOPS 1058141 HAS SOUS 422027 HAS SOUPS 395426 WITH SCORE 397505.612
AT ITER 6277 NEW BEST:: SOT 4210199 SOS 2079240 HAS SOPS 1057769 HAS SOUS 421996 HAS SOUPS 395395 WITH SCORE 397474.24
AT ITER 6290 NEW BEST:: SOT 4210186 SOS 2079227 HAS SOPS 1057743 HAS SOUS 421866 HAS SOUPS 395265 WITH SCORE 397344.227
AT ITER 6301 NEW BEST:: SOT 4210169 SOS 2079210 HAS SOPS 1057726 HAS SOUS 421849 HAS SOUPS 395248 WITH SCORE 397327.21
AT ITER 6312 NEW BEST:: SOT 4210106 SOS 2079037 HAS SOPS 1057481 HAS SOUS 421604 HAS SOUPS 395003 WITH SCORE 397082.037
AT ITER 6344 NEW BEST:: SOT 4210106 SOS 2078685 HAS SOPS 1057129 HAS SOUS 421536 HAS SOUPS 394935 WITH SCORE 397013.685
AT ITER 6359 NEW BEST:: SOT 4210159 SOS 2077715 HAS SOPS 1057152 HAS SOUS 420998 HAS SOUPS 394503 WITH SCORE 396580.715
AT ITER 6402 NEW BEST:: SOT 4210159 SOS 2077715 HAS SOPS 1057152 HAS SOUS 420950 HAS SOUPS 394455 WITH SCORE 396532.715
AT ITER 6404 NEW BEST:: SOT 4213943 SOS 2081567 HAS SOPS 1058241 HAS SOUS 420406 HAS SOUPS 393911 WITH SCORE 395992.567
AT ITER 6406 NEW BEST:: SOT 4211714 SOS 2082292 HAS SOPS 1056294 HAS SOUS 420494 HAS SOUPS 393453 WITH SCORE 395535.292
AT ITER 6410 NEW BEST:: SOT 4211124 SOS 2081147 HAS SOPS 1055149 HAS SOUS 419617 HAS SOUPS 392576 WITH SCORE 394657.147
AT ITER 6418 NEW BEST:: SOT 4211081 SOS 2080994 HAS SOPS 1054784 HAS SOUS 419593 HAS SOUPS 392552 WITH SCORE 394632.994
AT ITER 6427 NEW BEST:: SOT 4211044 SOS 2080920 HAS SOPS 1054716 HAS SOUS 419562 HAS SOUPS 392521 WITH SCORE 394601.92
AT ITER 6428 NEW BEST:: SOT 4211044 SOS 2080796 HAS SOPS 1054592 HAS SOUS 419562 HAS SOUPS 392521 WITH SCORE 394601.796
AT ITER 6437 NEW BEST:: SOT 4211289 SOS 2081134 HAS SOPS 1054930 HAS SOUS 419414 HAS SOUPS 392373 WITH SCORE 394454.134
AT ITER 6444 NEW BEST:: SOT 4211276 SOS 2081196 HAS SOPS 1054992 HAS SOUS 419388 HAS SOUPS 392347 WITH SCORE 394428.196
AT ITER 6452 NEW BEST:: SOT 4211286 SOS 2081176 HAS SOPS 1054982 HAS SOUS 419378 HAS SOUPS 392337 WITH SCORE 394418.176
AT ITER 6464 NEW BEST:: SOT 4211051 SOS 2080288 HAS SOPS 1053433 HAS SOUS 419231 HAS SOUPS 392190 WITH SCORE 394270.288
AT ITER 6473 NEW BEST:: SOT 4211045 SOS 2080276 HAS SOPS 1053421 HAS SOUS 419225 HAS SOUPS 392184 WITH SCORE 394264.276
AT ITER 6499 NEW BEST:: SOT 4210873 SOS 2079908 HAS SOPS 1053053 HAS SOUS 419023 HAS SOUPS 391982 WITH SCORE 394061.908
AT ITER 6505 NEW BEST:: SOT 4210873 SOS 2079785 HAS SOPS 1052930 HAS SOUS 418949 HAS SOUPS 391908 WITH SCORE 393987.785
AT ITER 6508 NEW BEST:: SOT 4210899 SOS 2079787 HAS SOPS 1051020 HAS SOUS 419063 HAS SOUPS 391900 WITH SCORE 393979.787
AT ITER 6519 NEW BEST:: SOT 4210907 SOS 2079771 HAS SOPS 1051036 HAS SOUS 418908 HAS SOUPS 391745 WITH SCORE 393824.771
AT ITER 6527 NEW BEST:: SOT 4210919 SOS 2079501 HAS SOPS 1051054 HAS SOUS 418902 HAS SOUPS 391742 WITH SCORE 393821.501
AT ITER 6534 NEW BEST:: SOT 4210919 SOS 2079430 HAS SOPS 1050983 HAS SOUS 418831 HAS SOUPS 391671 WITH SCORE 393750.43
AT ITER 6539 NEW BEST:: SOT 4210714 SOS 2079110 HAS SOPS 1050517 HAS SOUS 418601 HAS SOUPS 391441 WITH SCORE 393520.11
AT ITER 6545 NEW BEST:: SOT 4210694 SOS 2080115 HAS SOPS 1051522 HAS SOUS 418561 HAS SOUPS 391401 WITH SCORE 393481.115
AT ITER 6555 NEW BEST:: SOT 4210694 SOS 2079606 HAS SOPS 1051013 HAS SOUS 418378 HAS SOUPS 391218 WITH SCORE 393297.606
AT ITER 6578 NEW BEST:: SOT 4210219 SOS 2079131 HAS SOPS 1050500 HAS SOUS 418359 HAS SOUPS 391199 WITH SCORE 393278.131
AT ITER 6608 NEW BEST:: SOT 4210313 SOS 2079241 HAS SOPS 1050610 HAS SOUS 418256 HAS SOUPS 391096 WITH SCORE 393175.241
AT ITER 6626 NEW BEST:: SOT 4210289 SOS 2079229 HAS SOPS 1050562 HAS SOUS 418208 HAS SOUPS 391048 WITH SCORE 393127.229
AT ITER 6653 NEW BEST:: SOT 4209992 SOS 2078932 HAS SOPS 1049968 HAS SOUS 417911 HAS SOUPS 390751 WITH SCORE 392829.932
AT ITER 6680 NEW BEST:: SOT 4209992 SOS 2078396 HAS SOPS 1049432 HAS SOUS 417911 HAS SOUPS 390751 WITH SCORE 392829.396
AT ITER 6688 NEW BEST:: SOT 4209992 SOS 2078011 HAS SOPS 1049047 HAS SOUS 417911 HAS SOUPS 390751 WITH SCORE 392829.011
AT ITER 6703 NEW BEST:: SOT 4209940 SOS 2077921 HAS SOPS 1049019 HAS SOUS 417883 HAS SOUPS 390723 WITH SCORE 392800.921
AT ITER 6704 NEW BEST:: SOT 4209867 SOS 2077775 HAS SOPS 1048800 HAS SOUS 417664 HAS SOUPS 390504 WITH SCORE 392581.775
AT ITER 6710 NEW BEST:: SOT 4209826 SOS 2077734 HAS SOPS 1048743 HAS SOUS 417607 HAS SOUPS 390447 WITH SCORE 392524.734
AT ITER 6712 NEW BEST:: SOT 4209805 SOS 2077902 HAS SOPS 1048911 HAS SOUS 417586 HAS SOUPS 390426 WITH SCORE 392503.902
AT ITER 6715 NEW BEST:: SOT 4209900 SOS 2078089 HAS SOPS 1048907 HAS SOUS 418010 HAS SOUPS 390422 WITH SCORE 392500.089
AT ITER 6719 NEW BEST:: SOT 4209896 SOS 2077009 HAS SOPS 1047827 HAS SOUS 418002 HAS SOUPS 390414 WITH SCORE 392491.009
AT ITER 6735 NEW BEST:: SOT 4209853 SOS 2076980 HAS SOPS 1047798 HAS SOUS 417961 HAS SOUPS 390373 WITH SCORE 392449.98
AT ITER 6739 NEW BEST:: SOT 4209848 SOS 2076979 HAS SOPS 1047797 HAS SOUS 417956 HAS SOUPS 390368 WITH SCORE 392444.979
AT ITER 6742 NEW BEST:: SOT 4209848 SOS 2076877 HAS SOPS 1047695 HAS SOUS 417956 HAS SOUPS 390368 WITH SCORE 392444.877
AT ITER 6744 NEW BEST:: SOT 4209802 SOS 2075513 HAS SOPS 1046331 HAS SOUS 417864 HAS SOUPS 390276 WITH SCORE 392351.513
AT ITER 6745 NEW BEST:: SOT 4209802 SOS 2075368 HAS SOPS 1046182 HAS SOUS 417860 HAS SOUPS 390272 WITH SCORE 392347.368
AT ITER 6752 NEW BEST:: SOT 4209801 SOS 2075367 HAS SOPS 1046179 HAS SOUS 417857 HAS SOUPS 390269 WITH SCORE 392344.367
AT ITER 6753 NEW BEST:: SOT 4208739 SOS 2083706 HAS SOPS 1045222 HAS SOUS 417656 HAS SOUPS 389963 WITH SCORE 392046.706
AT ITER 6765 NEW BEST:: SOT 4208664 SOS 2083606 HAS SOPS 1045133 HAS SOUS 417567 HAS SOUPS 389874 WITH SCORE 391957.606
AT ITER 6766 NEW BEST:: SOT 4208659 SOS 2083599 HAS SOPS 1045126 HAS SOUS 417557 HAS SOUPS 389864 WITH SCORE 391947.599
AT ITER 6803 NEW BEST:: SOT 4208659 SOS 2083598 HAS SOPS 1045125 HAS SOUS 417557 HAS SOUPS 389864 WITH SCORE 391947.598
AT ITER 6834 NEW BEST:: SOT 4207696 SOS 2082635 HAS SOPS 1044162 HAS SOUS 417553 HAS SOUPS 389860 WITH SCORE 391942.635
AT ITER 6850 NEW BEST:: SOT 4207696 SOS 2082523 HAS SOPS 1044050 HAS SOUS 417553 HAS SOUPS 389860 WITH SCORE 391942.523
AT ITER 6855 NEW BEST:: SOT 4207633 SOS 2082508 HAS SOPS 1031507 HAS SOUS 416290 HAS SOUPS 388597 WITH SCORE 390679.508
AT ITER 6871 NEW BEST:: SOT 4207512 SOS 2082311 HAS SOPS 1031310 HAS SOUS 416093 HAS SOUPS 388400 WITH SCORE 390482.311
AT ITER 6907 NEW BEST:: SOT 4207506 SOS 2082305 HAS SOPS 1031304 HAS SOUS 416087 HAS SOUPS 388394 WITH SCORE 390476.305
AT ITER 6914 NEW BEST:: SOT 4207424 SOS 2082207 HAS SOPS 1031206 HAS SOUS 415989 HAS SOUPS 388296 WITH SCORE 390378.207
AT ITER 6919 NEW BEST:: SOT 4207481 SOS 2082317 HAS SOPS 1031435 HAS SOUS 415916 HAS SOUPS 388223 WITH SCORE 390305.317
AT ITER 6943 NEW BEST:: SOT 4207265 SOS 2082101 HAS SOPS 1031003 HAS SOUS 415736 HAS SOUPS 388043 WITH SCORE 390125.101
AT ITER 6948 NEW BEST:: SOT 4207261 SOS 2082093 HAS SOPS 1030995 HAS SOUS 415732 HAS SOUPS 388039 WITH SCORE 390121.093
AT ITER 7003 NEW BEST:: SOT 4207781 SOS 2082613 HAS SOPS 1031515 HAS SOUS 415712 HAS SOUPS 388019 WITH SCORE 390101.613
AT ITER 7016 NEW BEST:: SOT 4207811 SOS 2082583 HAS SOPS 1031485 HAS SOUS 415712 HAS SOUPS 388019 WITH SCORE 390101.583
AT ITER 7026 NEW BEST:: SOT 4207934 SOS 2082706 HAS SOPS 1008610 HAS SOUS 413752 HAS SOUPS 386059 WITH SCORE 388141.706
AT ITER 7027 NEW BEST:: SOT 4207845 SOS 2082788 HAS SOPS 1008699 HAS SOUS 413670 HAS SOUPS 385977 WITH SCORE 388059.788
AT ITER 7054 NEW BEST:: SOT 4207829 SOS 2082726 HAS SOPS 1008637 HAS SOUS 413638 HAS SOUPS 385945 WITH SCORE 388027.726
AT ITER 7058 NEW BEST:: SOT 4207782 SOS 2083244 HAS SOPS 1009155 HAS SOUS 413612 HAS SOUPS 385919 WITH SCORE 388002.244
AT ITER 7061 NEW BEST:: SOT 4207746 SOS 2083186 HAS SOPS 1009097 HAS SOUS 413562 HAS SOUPS 385869 WITH SCORE 387952.186
AT ITER 7091 NEW BEST:: SOT 4207746 SOS 2083228 HAS SOPS 1009139 HAS SOUS 413454 HAS SOUPS 385761 WITH SCORE 387844.228
AT ITER 7096 NEW BEST:: SOT 4207704 SOS 2083341 HAS SOPS 1009252 HAS SOUS 413443 HAS SOUPS 385750 WITH SCORE 387833.341
AT ITER 7104 NEW BEST:: SOT 4207701 SOS 2083305 HAS SOPS 1009216 HAS SOUS 413399 HAS SOUPS 385706 WITH SCORE 387789.305
AT ITER 7108 NEW BEST:: SOT 4207785 SOS 2083302 HAS SOPS 1009182 HAS SOUS 413365 HAS SOUPS 385672 WITH SCORE 387755.302
AT ITER 7112 NEW BEST:: SOT 4207785 SOS 2083242 HAS SOPS 1009122 HAS SOUS 413365 HAS SOUPS 385672 WITH SCORE 387755.242
AT ITER 7115 NEW BEST:: SOT 4207610 SOS 2082846 HAS SOPS 1008551 HAS SOUS 412794 HAS SOUPS 385101 WITH SCORE 387183.846
AT ITER 7128 NEW BEST:: SOT 4207625 SOS 2084384 HAS SOPS 1010089 HAS SOUS 412687 HAS SOUPS 384994 WITH SCORE 387078.384
AT ITER 7131 NEW BEST:: SOT 4207625 SOS 2084270 HAS SOPS 1010083 HAS SOUS 412639 HAS SOUPS 384958 WITH SCORE 387042.27
AT ITER 7149 NEW BEST:: SOT 4207588 SOS 2084233 HAS SOPS 1010083 HAS SOUS 412602 HAS SOUPS 384921 WITH SCORE 387005.233
AT ITER 7191 NEW BEST:: SOT 4207277 SOS 2085162 HAS SOPS 1011108 HAS SOUS 412343 HAS SOUPS 384662 WITH SCORE 386747.162
AT ITER 7192 NEW BEST:: SOT 4207305 SOS 2085446 HAS SOPS 1011360 HAS SOUS 412301 HAS SOUPS 384620 WITH SCORE 386705.446
AT ITER 7211 NEW BEST:: SOT 4207246 SOS 2085977 HAS SOPS 1011891 HAS SOUS 412242 HAS SOUPS 384561 WITH SCORE 386646.977
AT ITER 7213 NEW BEST:: SOT 4207197 SOS 2087013 HAS SOPS 1012927 HAS SOUS 412183 HAS SOUPS 384502 WITH SCORE 386589.013
AT ITER 7231 NEW BEST:: SOT 4207118 SOS 2085487 HAS SOPS 1011401 HAS SOUS 412025 HAS SOUPS 384344 WITH SCORE 386429.487
AT ITER 7246 NEW BEST:: SOT 4207110 SOS 2085887 HAS SOPS 1011801 HAS SOUS 412009 HAS SOUPS 384328 WITH SCORE 386413.887
AT ITER 7270 NEW BEST:: SOT 4207110 SOS 2085655 HAS SOPS 1011569 HAS SOUS 411932 HAS SOUPS 384251 WITH SCORE 386336.655
AT ITER 7277 NEW BEST:: SOT 4207064 SOS 2085744 HAS SOPS 1011660 HAS SOUS 411874 HAS SOUPS 384193 WITH SCORE 386278.744
AT ITER 7286 NEW BEST:: SOT 4207072 SOS 2085756 HAS SOPS 1011612 HAS SOUS 411836 HAS SOUPS 384145 WITH SCORE 386230.756
AT ITER 7296 NEW BEST:: SOT 4206964 SOS 2085756 HAS SOPS 1011612 HAS SOUS 411728 HAS SOUPS 384037 WITH SCORE 386122.756
AT ITER 7307 NEW BEST:: SOT 4206970 SOS 2086210 HAS SOPS 1011497 HAS SOUS 411496 HAS SOUPS 383795 WITH SCORE 385881.21
AT ITER 7340 NEW BEST:: SOT 4206932 SOS 2086150 HAS SOPS 1011443 HAS SOUS 411464 HAS SOUPS 383763 WITH SCORE 385849.15
AT ITER 7341 NEW BEST:: SOT 4206875 SOS 2085979 HAS SOPS 1011443 HAS SOUS 411464 HAS SOUPS 383763 WITH SCORE 385848.979
AT ITER 7382 NEW BEST:: SOT 4206855 SOS 2084865 HAS SOPS 1010329 HAS SOUS 411424 HAS SOUPS 383723 WITH SCORE 385807.865
AT ITER 7384 NEW BEST:: SOT 4206855 SOS 2084817 HAS SOPS 1010281 HAS SOUS 411424 HAS SOUPS 383723 WITH SCORE 385807.817
AT ITER 7404 NEW BEST:: SOT 4206677 SOS 2084402 HAS SOPS 1009805 HAS SOUS 411174 HAS SOUPS 383473 WITH SCORE 385557.402
AT ITER 7406 NEW BEST:: SOT 4206669 SOS 2084386 HAS SOPS 1009789 HAS SOUS 411139 HAS SOUPS 383438 WITH SCORE 385522.386
AT ITER 7407 NEW BEST:: SOT 4206633 SOS 2084314 HAS SOPS 1009480 HAS SOUS 411020 HAS SOUPS 383129 WITH SCORE 385213.314
AT ITER 7424 NEW BEST:: SOT 4206565 SOS 2084246 HAS SOPS 1009344 HAS SOUS 410868 HAS SOUPS 382977 WITH SCORE 385061.246
AT ITER 7435 NEW BEST:: SOT 4206548 SOS 2084348 HAS SOPS 1009446 HAS SOUS 410851 HAS SOUPS 382960 WITH SCORE 385044.348
AT ITER 7438 NEW BEST:: SOT 4206493 SOS 2084288 HAS SOPS 1009386 HAS SOUS 410841 HAS SOUPS 382950 WITH SCORE 385034.288
AT ITER 7447 NEW BEST:: SOT 4206481 SOS 2084264 HAS SOPS 1009358 HAS SOUS 410817 HAS SOUPS 382926 WITH SCORE 385010.264
AT ITER 7461 NEW BEST:: SOT 4206389 SOS 2083958 HAS SOPS 1009052 HAS SOUS 410733 HAS SOUPS 382842 WITH SCORE 384925.958
AT ITER 7465 NEW BEST:: SOT 4206389 SOS 2084210 HAS SOPS 1009144 HAS SOUS 410745 HAS SOUPS 382774 WITH SCORE 384858.21
AT ITER 7471 NEW BEST:: SOT 4206402 SOS 2084299 HAS SOPS 1009233 HAS SOUS 410674 HAS SOUPS 382703 WITH SCORE 384787.299
AT ITER 7489 NEW BEST:: SOT 4206348 SOS 2084231 HAS SOPS 1009165 HAS SOUS 410566 HAS SOUPS 382595 WITH SCORE 384679.231
AT ITER 7538 NEW BEST:: SOT 4206308 SOS 2084058 HAS SOPS 1009053 HAS SOUS 410550 HAS SOUPS 382579 WITH SCORE 384663.058
AT ITER 7541 NEW BEST:: SOT 4206175 SOS 2083942 HAS SOPS 1008937 HAS SOUS 410357 HAS SOUPS 382386 WITH SCORE 384469.942
AT ITER 7556 NEW BEST:: SOT 4206175 SOS 2083868 HAS SOPS 1008863 HAS SOUS 410320 HAS SOUPS 382349 WITH SCORE 384432.868
AT ITER 7590 NEW BEST:: SOT 4206175 SOS 2083854 HAS SOPS 1008849 HAS SOUS 410320 HAS SOUPS 382349 WITH SCORE 384432.854
AT ITER 7591 NEW BEST:: SOT 4206083 SOS 2083724 HAS SOPS 1008719 HAS SOUS 410244 HAS SOUPS 382273 WITH SCORE 384356.724
AT ITER 7597 NEW BEST:: SOT 4206083 SOS 2083724 HAS SOPS 1008719 HAS SOUS 410209 HAS SOUPS 382238 WITH SCORE 384321.724
AT ITER 7628 NEW BEST:: SOT 4206264 SOS 2083924 HAS SOPS 1008891 HAS SOUS 410191 HAS SOUPS 382220 WITH SCORE 384303.924
AT ITER 7657 NEW BEST:: SOT 4206382 SOS 2084084 HAS SOPS 1009197 HAS SOUS 410036 HAS SOUPS 382065 WITH SCORE 384149.084
AT ITER 7660 NEW BEST:: SOT 4206350 SOS 2084266 HAS SOPS 1009379 HAS SOUS 409972 HAS SOUPS 382001 WITH SCORE 384085.266
AT ITER 7671 NEW BEST:: SOT 4206346 SOS 2084262 HAS SOPS 1009371 HAS SOUS 409968 HAS SOUPS 381997 WITH SCORE 384081.262
AT ITER 7682 NEW BEST:: SOT 4205748 SOS 2092462 HAS SOPS 1008677 HAS SOUS 409969 HAS SOUPS 381902 WITH SCORE 383994.462
AT ITER 7703 NEW BEST:: SOT 4203548 SOS 2090046 HAS SOPS 1008561 HAS SOUS 409685 HAS SOUPS 381786 WITH SCORE 383876.046
AT ITER 7704 NEW BEST:: SOT 4203428 SOS 2089926 HAS SOPS 1008213 HAS SOUS 409337 HAS SOUPS 381438 WITH SCORE 383527.926
AT ITER 7708 NEW BEST:: SOT 4203409 SOS 2089888 HAS SOPS 1008175 HAS SOUS 409299 HAS SOUPS 381400 WITH SCORE 383489.888
AT ITER 7736 NEW BEST:: SOT 4203408 SOS 2089817 HAS SOPS 1008127 HAS SOUS 409297 HAS SOUPS 381398 WITH SCORE 383487.817
AT ITER 7748 NEW BEST:: SOT 4203408 SOS 2089144 HAS SOPS 1007454 HAS SOUS 409238 HAS SOUPS 381339 WITH SCORE 383428.144
AT ITER 7755 NEW BEST:: SOT 4203407 SOS 2089222 HAS SOPS 1007532 HAS SOUS 409236 HAS SOUPS 381337 WITH SCORE 383426.222
AT ITER 7770 NEW BEST:: SOT 4203411 SOS 2089029 HAS SOPS 1007339 HAS SOUS 409043 HAS SOUPS 381144 WITH SCORE 383233.029
AT ITER 7774 NEW BEST:: SOT 4203411 SOS 2088652 HAS SOPS 1006962 HAS SOUS 408950 HAS SOUPS 381051 WITH SCORE 383139.652
AT ITER 7800 NEW BEST:: SOT 4203411 SOS 2088642 HAS SOPS 1006952 HAS SOUS 408940 HAS SOUPS 381041 WITH SCORE 383129.642
AT ITER 7813 NEW BEST:: SOT 4203411 SOS 2088554 HAS SOPS 1006864 HAS SOUS 408936 HAS SOUPS 381037 WITH SCORE 383125.554
AT ITER 7823 NEW BEST:: SOT 4203411 SOS 2088537 HAS SOPS 1006847 HAS SOUS 408919 HAS SOUPS 381020 WITH SCORE 383108.537
AT ITER 7826 NEW BEST:: SOT 4203684 SOS 2088117 HAS SOPS 1006112 HAS SOUS 408896 HAS SOUPS 380997 WITH SCORE 383085.117
AT ITER 7842 NEW BEST:: SOT 4203559 SOS 2087603 HAS SOPS 1005862 HAS SOUS 408821 HAS SOUPS 380922 WITH SCORE 383009.603
AT ITER 7844 NEW BEST:: SOT 4203276 SOS 2087181 HAS SOPS 1005440 HAS SOUS 408537 HAS SOUPS 380638 WITH SCORE 382725.181
AT ITER 7849 NEW BEST:: SOT 4203350 SOS 2087255 HAS SOPS 1005514 HAS SOUS 408531 HAS SOUPS 380632 WITH SCORE 382719.255
AT ITER 7855 NEW BEST:: SOT 4203340 SOS 2087345 HAS SOPS 1005604 HAS SOUS 408511 HAS SOUPS 380612 WITH SCORE 382699.345
AT ITER 7869 NEW BEST:: SOT 4198253 SOS 2082050 HAS SOPS 1000163 HAS SOUS 408230 HAS SOUPS 380323 WITH SCORE 382405.05
AT ITER 7882 NEW BEST:: SOT 4198107 SOS 2081117 HAS SOPS 999109 HAS SOUS 407798 HAS SOUPS 379891 WITH SCORE 381972.117
AT ITER 7889 NEW BEST:: SOT 4197955 SOS 2080912 HAS SOPS 996231 HAS SOUS 405019 HAS SOUPS 377112 WITH SCORE 379192.912
AT ITER 7933 NEW BEST:: SOT 4197656 SOS 2080328 HAS SOPS 995647 HAS SOUS 404991 HAS SOUPS 377084 WITH SCORE 379164.328
AT ITER 7956 NEW BEST:: SOT 4197648 SOS 2080492 HAS SOPS 995811 HAS SOUS 404975 HAS SOUPS 377068 WITH SCORE 379148.492
AT ITER 7987 NEW BEST:: SOT 4197607 SOS 2081506 HAS SOPS 996825 HAS SOUS 404962 HAS SOUPS 377055 WITH SCORE 379136.506
AT ITER 7989 NEW BEST:: SOT 4196635 SOS 2080498 HAS SOPS 995817 HAS SOUS 404954 HAS SOUPS 377019 WITH SCORE 379099.498
AT ITER 8007 NEW BEST:: SOT 4196635 SOS 2080449 HAS SOPS 995768 HAS SOUS 404937 HAS SOUPS 377002 WITH SCORE 379082.449
AT ITER 8023 NEW BEST:: SOT 4196599 SOS 2080313 HAS SOPS 995632 HAS SOUS 404905 HAS SOUPS 376970 WITH SCORE 379050.313
AT ITER 8026 NEW BEST:: SOT 4196471 SOS 2080185 HAS SOPS 995312 HAS SOUS 404585 HAS SOUPS 376650 WITH SCORE 378730.185
AT ITER 8034 NEW BEST:: SOT 4196764 SOS 2080478 HAS SOPS 995110 HAS SOUS 404378 HAS SOUPS 376443 WITH SCORE 378523.478
AT ITER 8055 NEW BEST:: SOT 4196722 SOS 2080483 HAS SOPS 995120 HAS SOUS 404341 HAS SOUPS 376406 WITH SCORE 378486.483
AT ITER 8057 NEW BEST:: SOT 4196707 SOS 2050121 HAS SOPS 992687 HAS SOUS 404013 HAS SOUPS 376156 WITH SCORE 378206.121
AT ITER 8072 NEW BEST:: SOT 4196476 SOS 2049765 HAS SOPS 992687 HAS SOUS 403967 HAS SOUPS 376110 WITH SCORE 378159.765
AT ITER 8079 NEW BEST:: SOT 4196392 SOS 2049568 HAS SOPS 992490 HAS SOUS 403904 HAS SOUPS 376047 WITH SCORE 378096.568
AT ITER 8086 NEW BEST:: SOT 4196462 SOS 2049658 HAS SOPS 992098 HAS SOUS 403934 HAS SOUPS 375655 WITH SCORE 377704.658
AT ITER 8097 NEW BEST:: SOT 4195678 SOS 2048874 HAS SOPS 991270 HAS SOUS 403816 HAS SOUPS 375537 WITH SCORE 377585.874
AT ITER 8125 NEW BEST:: SOT 4196628 SOS 2049824 HAS SOPS 991232 HAS SOUS 403778 HAS SOUPS 375499 WITH SCORE 377548.824
AT ITER 8130 NEW BEST:: SOT 4196700 SOS 2049896 HAS SOPS 991239 HAS SOUS 403751 HAS SOUPS 375472 WITH SCORE 377521.896
AT ITER 8173 NEW BEST:: SOT 4196695 SOS 2050020 HAS SOPS 991363 HAS SOUS 403741 HAS SOUPS 375462 WITH SCORE 377512.02
AT ITER 8188 NEW BEST:: SOT 4196608 SOS 2049856 HAS SOPS 991199 HAS SOUS 403644 HAS SOUPS 375365 WITH SCORE 377414.856
AT ITER 8193 NEW BEST:: SOT 4196537 SOS 2049660 HAS SOPS 991003 HAS SOUS 403502 HAS SOUPS 375223 WITH SCORE 377272.66
AT ITER 8215 NEW BEST:: SOT 4196547 SOS 2049685 HAS SOPS 990973 HAS SOUS 403487 HAS SOUPS 375193 WITH SCORE 377242.685
AT ITER 8234 NEW BEST:: SOT 4196535 SOS 2049447 HAS SOPS 990622 HAS SOUS 403249 HAS SOUPS 374955 WITH SCORE 377004.447
AT ITER 8268 NEW BEST:: SOT 4196407 SOS 2049158 HAS SOPS 990333 HAS SOUS 403162 HAS SOUPS 374868 WITH SCORE 376917.158
AT ITER 8290 NEW BEST:: SOT 4196407 SOS 2049006 HAS SOPS 990181 HAS SOUS 403129 HAS SOUPS 374835 WITH SCORE 376884.006
AT ITER 8292 NEW BEST:: SOT 4196333 SOS 2048676 HAS SOPS 989851 HAS SOUS 403072 HAS SOUPS 374778 WITH SCORE 376826.676
AT ITER 8299 NEW BEST:: SOT 4196333 SOS 2048638 HAS SOPS 989813 HAS SOUS 403072 HAS SOUPS 374778 WITH SCORE 376826.638
AT ITER 8309 NEW BEST:: SOT 4196100 SOS 2048359 HAS SOPS 989564 HAS SOUS 402823 HAS SOUPS 374529 WITH SCORE 376577.359
AT ITER 8373 NEW BEST:: SOT 4196100 SOS 2048282 HAS SOPS 989487 HAS SOUS 402746 HAS SOUPS 374452 WITH SCORE 376500.282
AT ITER 8394 NEW BEST:: SOT 4195908 SOS 2048061 HAS SOPS 989266 HAS SOUS 402578 HAS SOUPS 374284 WITH SCORE 376332.061
AT ITER 8402 NEW BEST:: SOT 4195893 SOS 2048113 HAS SOPS 989236 HAS SOUS 402507 HAS SOUPS 374213 WITH SCORE 376261.113
AT ITER 8408 NEW BEST:: SOT 4198540 SOS 2050648 HAS SOPS 991771 HAS SOUS 402130 HAS SOUPS 373836 WITH SCORE 375886.648
AT ITER 8424 NEW BEST:: SOT 4198504 SOS 2050612 HAS SOPS 991663 HAS SOUS 402022 HAS SOUPS 373728 WITH SCORE 375778.612
AT ITER 8439 NEW BEST:: SOT 4198469 SOS 2051167 HAS SOPS 992218 HAS SOUS 401972 HAS SOUPS 373678 WITH SCORE 375729.167
AT ITER 8468 NEW BEST:: SOT 4198459 SOS 2051157 HAS SOPS 992208 HAS SOUS 401962 HAS SOUPS 373668 WITH SCORE 375719.157
AT ITER 8490 NEW BEST:: SOT 4198295 SOS 2051069 HAS SOPS 994076 HAS SOUS 401798 HAS SOUPS 373504 WITH SCORE 375555.069
AT ITER 8494 NEW BEST:: SOT 4198288 SOS 2051062 HAS SOPS 993981 HAS SOUS 401715 HAS SOUPS 373421 WITH SCORE 375472.062
AT ITER 8503 NEW BEST:: SOT 4198015 SOS 2050398 HAS SOPS 993317 HAS SOUS 401310 HAS SOUPS 373016 WITH SCORE 375066.398
AT ITER 8543 NEW BEST:: SOT 4198015 SOS 2049924 HAS SOPS 992277 HAS SOUS 400889 HAS SOUPS 372595 WITH SCORE 374644.924
AT ITER 8545 NEW BEST:: SOT 4197960 SOS 2049374 HAS SOPS 991727 HAS SOUS 400779 HAS SOUPS 372485 WITH SCORE 374534.374
AT ITER 8547 NEW BEST:: SOT 4197919 SOS 2049264 HAS SOPS 991645 HAS SOUS 400766 HAS SOUPS 372472 WITH SCORE 374521.264
AT ITER 8570 NEW BEST:: SOT 4197816 SOS 2049146 HAS SOPS 990881 HAS SOUS 400678 HAS SOUPS 372384 WITH SCORE 374433.146
AT ITER 8573 NEW BEST:: SOT 4197820 SOS 2049142 HAS SOPS 990877 HAS SOUS 400678 HAS SOUPS 372384 WITH SCORE 374433.142
AT ITER 8574 NEW BEST:: SOT 4197682 SOS 2048645 HAS SOPS 990234 HAS SOUS 400402 HAS SOUPS 372108 WITH SCORE 374156.645
AT ITER 8578 NEW BEST:: SOT 4197514 SOS 2048559 HAS SOPS 990153 HAS SOUS 400321 HAS SOUPS 372027 WITH SCORE 374075.559
AT ITER 8586 NEW BEST:: SOT 4197494 SOS 2048539 HAS SOPS 990113 HAS SOUS 400301 HAS SOUPS 372007 WITH SCORE 374055.539
AT ITER 8589 NEW BEST:: SOT 4193286 SOS 2044331 HAS SOPS 985731 HAS SOUS 400301 HAS SOUPS 372007 WITH SCORE 374051.331
AT ITER 8608 NEW BEST:: SOT 4193276 SOS 2044311 HAS SOPS 985711 HAS SOUS 400281 HAS SOUPS 371987 WITH SCORE 374031.311
AT ITER 8614 NEW BEST:: SOT 4193275 SOS 2044310 HAS SOPS 985709 HAS SOUS 400278 HAS SOUPS 371984 WITH SCORE 374028.31
AT ITER 8623 NEW BEST:: SOT 4193287 SOS 2044340 HAS SOPS 985697 HAS SOUS 400266 HAS SOUPS 371972 WITH SCORE 374016.34
AT ITER 8633 NEW BEST:: SOT 4193217 SOS 2044270 HAS SOPS 985627 HAS SOUS 400216 HAS SOUPS 371922 WITH SCORE 373966.27
AT ITER 8652 NEW BEST:: SOT 4193288 SOS 2045947 HAS SOPS 987304 HAS SOUS 400212 HAS SOUPS 371918 WITH SCORE 373963.947
AT ITER 8669 NEW BEST:: SOT 4192713 SOS 2045137 HAS SOPS 985913 HAS SOUS 398860 HAS SOUPS 370527 WITH SCORE 372572.137
AT ITER 8680 NEW BEST:: SOT 4192687 SOS 2044877 HAS SOPS 985653 HAS SOUS 398834 HAS SOUPS 370501 WITH SCORE 372545.877
AT ITER 8685 NEW BEST:: SOT 4192663 SOS 2044853 HAS SOPS 985605 HAS SOUS 398810 HAS SOUPS 370477 WITH SCORE 372521.853
AT ITER 8697 NEW BEST:: SOT 4192576 SOS 2044766 HAS SOPS 985518 HAS SOUS 398797 HAS SOUPS 370464 WITH SCORE 372508.766
AT ITER 8698 NEW BEST:: SOT 4192573 SOS 2044760 HAS SOPS 985512 HAS SOUS 398794 HAS SOUPS 370461 WITH SCORE 372505.76
AT ITER 8721 NEW BEST:: SOT 4192483 SOS 2044670 HAS SOPS 985332 HAS SOUS 398704 HAS SOUPS 370371 WITH SCORE 372415.67
AT ITER 8734 NEW BEST:: SOT 4190958 SOS 2043087 HAS SOPS 983749 HAS SOUS 398667 HAS SOUPS 370334 WITH SCORE 372377.087
AT ITER 8737 NEW BEST:: SOT 4190958 SOS 2043033 HAS SOPS 983723 HAS SOUS 398667 HAS SOUPS 370334 WITH SCORE 372377.033
AT ITER 8756 NEW BEST:: SOT 4190958 SOS 2043011 HAS SOPS 983701 HAS SOUS 398654 HAS SOUPS 370321 WITH SCORE 372364.011
AT ITER 8757 NEW BEST:: SOT 4190472 SOS 2042485 HAS SOPS 983175 HAS SOUS 398593 HAS SOUPS 370233 WITH SCORE 372275.485
AT ITER 8760 NEW BEST:: SOT 4189973 SOS 2044353 HAS SOPS 982558 HAS SOUS 398212 HAS SOUPS 369616 WITH SCORE 371660.353
AT ITER 8769 NEW BEST:: SOT 4189971 SOS 2044345 HAS SOPS 982550 HAS SOUS 398210 HAS SOUPS 369614 WITH SCORE 371658.345
AT ITER 8840 NEW BEST:: SOT 4189463 SOS 2044641 HAS SOPS 983596 HAS SOUS 397949 HAS SOUPS 369353 WITH SCORE 371397.641
AT ITER 8845 NEW BEST:: SOT 4188229 SOS 2043312 HAS SOPS 982267 HAS SOUS 397502 HAS SOUPS 368906 WITH SCORE 370949.312
AT ITER 8877 NEW BEST:: SOT 4188022 SOS 2042997 HAS SOPS 981952 HAS SOUS 397294 HAS SOUPS 368698 WITH SCORE 370740.997
AT ITER 8893 NEW BEST:: SOT 4188022 SOS 2042981 HAS SOPS 981936 HAS SOUS 397294 HAS SOUPS 368698 WITH SCORE 370740.981
AT ITER 8921 NEW BEST:: SOT 4187407 SOS 2042547 HAS SOPS 981648 HAS SOUS 397199 HAS SOUPS 368603 WITH SCORE 370645.547
AT ITER 8925 NEW BEST:: SOT 4187271 SOS 2042245 HAS SOPS 981363 HAS SOUS 396917 HAS SOUPS 368321 WITH SCORE 370363.245
AT ITER 8954 NEW BEST:: SOT 4187271 SOS 2042165 HAS SOPS 981283 HAS SOUS 396917 HAS SOUPS 368321 WITH SCORE 370363.165
AT ITER 8957 NEW BEST:: SOT 4187058 SOS 2042425 HAS SOPS 981776 HAS SOUS 396724 HAS SOUPS 368128 WITH SCORE 370170.425
AT ITER 8960 NEW BEST:: SOT 4187010 SOS 2042353 HAS SOPS 981728 HAS SOUS 396676 HAS SOUPS 368080 WITH SCORE 370122.353
AT ITER 8962 NEW BEST:: SOT 4186739 SOS 2042163 HAS SOPS 981107 HAS SOUS 396028 HAS SOUPS 367432 WITH SCORE 369474.163
AT ITER 8980 NEW BEST:: SOT 4186726 SOS 2042137 HAS SOPS 981081 HAS SOUS 396002 HAS SOUPS 367406 WITH SCORE 369448.137
AT ITER 8992 NEW BEST:: SOT 4186697 SOS 2042051 HAS SOPS 980971 HAS SOUS 395512 HAS SOUPS 366916 WITH SCORE 368958.051
AT ITER 8997 NEW BEST:: SOT 4186697 SOS 2042027 HAS SOPS 980947 HAS SOUS 395496 HAS SOUPS 366900 WITH SCORE 368942.027
AT ITER 9022 NEW BEST:: SOT 4186694 SOS 2042309 HAS SOPS 980941 HAS SOUS 395490 HAS SOUPS 366894 WITH SCORE 368936.309
AT ITER 9053 NEW BEST:: SOT 4186694 SOS 2042309 HAS SOPS 980941 HAS SOUS 395482 HAS SOUPS 366886 WITH SCORE 368928.309
AT ITER 9073 NEW BEST:: SOT 4186665 SOS 2042193 HAS SOPS 980854 HAS SOUS 395453 HAS SOUPS 366857 WITH SCORE 368899.193
AT ITER 9080 NEW BEST:: SOT 4186604 SOS 2041909 HAS SOPS 980570 HAS SOUS 395392 HAS SOUPS 366796 WITH SCORE 368837.909
AT ITER 9085 NEW BEST:: SOT 4186522 SOS 2041704 HAS SOPS 980365 HAS SOUS 395269 HAS SOUPS 366673 WITH SCORE 368714.704
AT ITER 9088 NEW BEST:: SOT 4186507 SOS 2041569 HAS SOPS 980230 HAS SOUS 395239 HAS SOUPS 366643 WITH SCORE 368684.569
AT ITER 9104 NEW BEST:: SOT 4186369 SOS 2041543 HAS SOPS 980204 HAS SOUS 395239 HAS SOUPS 366643 WITH SCORE 368684.543
AT ITER 9112 NEW BEST:: SOT 4186270 SOS 2041419 HAS SOPS 980080 HAS SOUS 395140 HAS SOUPS 366544 WITH SCORE 368585.419
AT ITER 9119 NEW BEST:: SOT 4186250 SOS 2041389 HAS SOPS 980050 HAS SOUS 395120 HAS SOUPS 366524 WITH SCORE 368565.389
AT ITER 9136 NEW BEST:: SOT 4186250 SOS 2041640 HAS SOPS 979915 HAS SOUS 394757 HAS SOUPS 366161 WITH SCORE 368202.64
AT ITER 9183 NEW BEST:: SOT 4186218 SOS 2042016 HAS SOPS 980291 HAS SOUS 394725 HAS SOUPS 366129 WITH SCORE 368171.016
AT ITER 9184 NEW BEST:: SOT 4186218 SOS 2041852 HAS SOPS 978917 HAS SOUS 394604 HAS SOUPS 366008 WITH SCORE 368049.852
AT ITER 9185 NEW BEST:: SOT 4185783 SOS 2041417 HAS SOPS 977548 HAS SOUS 393301 HAS SOUPS 364639 WITH SCORE 366680.417
AT ITER 9200 NEW BEST:: SOT 4185776 SOS 2041410 HAS SOPS 977541 HAS SOUS 393294 HAS SOUPS 364632 WITH SCORE 366673.41
AT ITER 9231 NEW BEST:: SOT 4185770 SOS 2041381 HAS SOPS 977506 HAS SOUS 393259 HAS SOUPS 364597 WITH SCORE 366638.381
AT ITER 9236 NEW BEST:: SOT 4185770 SOS 2041283 HAS SOPS 977408 HAS SOUS 393210 HAS SOUPS 364548 WITH SCORE 366589.283
AT ITER 9245 NEW BEST:: SOT 4185738 SOS 2041219 HAS SOPS 977344 HAS SOUS 393146 HAS SOUPS 364484 WITH SCORE 366525.219
AT ITER 9261 NEW BEST:: SOT 4185728 SOS 2041186 HAS SOPS 977311 HAS SOUS 393126 HAS SOUPS 364464 WITH SCORE 366505.186
AT ITER 9276 NEW BEST:: SOT 4185696 SOS 2041122 HAS SOPS 977279 HAS SOUS 393094 HAS SOUPS 364432 WITH SCORE 366473.122
AT ITER 9301 NEW BEST:: SOT 4185696 SOS 2041122 HAS SOPS 977279 HAS SOUS 393058 HAS SOUPS 364396 WITH SCORE 366437.122
AT ITER 9304 NEW BEST:: SOT 4185007 SOS 2040391 HAS SOPS 976425 HAS SOUS 393004 HAS SOUPS 364342 WITH SCORE 366382.391
AT ITER 9335 NEW BEST:: SOT 4185170 SOS 2040900 HAS SOPS 976751 HAS SOUS 393023 HAS SOUPS 364326 WITH SCORE 366366.9
AT ITER 9339 NEW BEST:: SOT 4184470 SOS 2040172 HAS SOPS 976023 HAS SOUS 393023 HAS SOUPS 364326 WITH SCORE 366366.172
AT ITER 9342 NEW BEST:: SOT 4184416 SOS 2040106 HAS SOPS 975957 HAS SOUS 392957 HAS SOUPS 364260 WITH SCORE 366300.106
AT ITER 9371 NEW BEST:: SOT 4179679 SOS 2035383 HAS SOPS 971700 HAS SOUS 391989 HAS SOUPS 363239 WITH SCORE 365274.383
AT ITER 9407 NEW BEST:: SOT 4180067 SOS 2035757 HAS SOPS 971363 HAS SOUS 391157 HAS SOUPS 362407 WITH SCORE 364442.757
AT ITER 9421 NEW BEST:: SOT 4180067 SOS 2035055 HAS SOPS 970661 HAS SOUS 391157 HAS SOUPS 362407 WITH SCORE 364442.055
AT ITER 9425 NEW BEST:: SOT 4180061 SOS 2035043 HAS SOPS 970649 HAS SOUS 391145 HAS SOUPS 362395 WITH SCORE 364430.043
AT ITER 9428 NEW BEST:: SOT 4180131 SOS 2035119 HAS SOPS 970599 HAS SOUS 391102 HAS SOUPS 362352 WITH SCORE 364387.119
AT ITER 9436 NEW BEST:: SOT 4180120 SOS 2035048 HAS SOPS 970528 HAS SOUS 391031 HAS SOUPS 362281 WITH SCORE 364316.048
AT ITER 9442 NEW BEST:: SOT 4180052 SOS 2034980 HAS SOPS 970460 HAS SOUS 390963 HAS SOUPS 362213 WITH SCORE 364247.98
AT ITER 9448 NEW BEST:: SOT 4180043 SOS 2034971 HAS SOPS 970451 HAS SOUS 390954 HAS SOUPS 362204 WITH SCORE 364238.971
AT ITER 9458 NEW BEST:: SOT 4180048 SOS 2036238 HAS SOPS 971718 HAS SOUS 390889 HAS SOUPS 362139 WITH SCORE 364175.238
AT ITER 9478 NEW BEST:: SOT 4180017 SOS 2036126 HAS SOPS 971606 HAS SOUS 390827 HAS SOUPS 362077 WITH SCORE 364113.126
AT ITER 9479 NEW BEST:: SOT 4180008 SOS 2036033 HAS SOPS 971513 HAS SOUS 390810 HAS SOUPS 362060 WITH SCORE 364096.033
AT ITER 9488 NEW BEST:: SOT 4179990 SOS 2036048 HAS SOPS 971528 HAS SOUS 390774 HAS SOUPS 362024 WITH SCORE 364060.048
AT ITER 9495 NEW BEST:: SOT 4179856 SOS 2035556 HAS SOPS 971093 HAS SOUS 390618 HAS SOUPS 361868 WITH SCORE 363903.556
AT ITER 9501 NEW BEST:: SOT 4179731 SOS 2035456 HAS SOPS 971043 HAS SOUS 390518 HAS SOUPS 361768 WITH SCORE 363803.456
AT ITER 9513 NEW BEST:: SOT 4179728 SOS 2035450 HAS SOPS 971037 HAS SOUS 390512 HAS SOUPS 361762 WITH SCORE 363797.45
AT ITER 9569 NEW BEST:: SOT 4179585 SOS 2035222 HAS SOPS 970867 HAS SOUS 390342 HAS SOUPS 361592 WITH SCORE 363627.222
AT ITER 9575 NEW BEST:: SOT 4179606 SOS 2035280 HAS SOPS 970925 HAS SOUS 390321 HAS SOUPS 361571 WITH SCORE 363606.28
AT ITER 9588 NEW BEST:: SOT 4179606 SOS 2035280 HAS SOPS 970925 HAS SOUS 390308 HAS SOUPS 361558 WITH SCORE 363593.28
AT ITER 9619 NEW BEST:: SOT 4179656 SOS 2034979 HAS SOPS 970760 HAS SOUS 390245 HAS SOUPS 361495 WITH SCORE 363529.979
AT ITER 9631 NEW BEST:: SOT 4179665 SOS 2034981 HAS SOPS 970762 HAS SOUS 390227 HAS SOUPS 361477 WITH SCORE 363511.981
AT ITER 9633 NEW BEST:: SOT 4179625 SOS 2034461 HAS SOPS 970242 HAS SOUS 390187 HAS SOUPS 361437 WITH SCORE 363471.461
AT ITER 9640 NEW BEST:: SOT 4179590 SOS 2034391 HAS SOPS 970172 HAS SOUS 390117 HAS SOUPS 361367 WITH SCORE 363401.391
AT ITER 9651 NEW BEST:: SOT 4179491 SOS 2034193 HAS SOPS 969974 HAS SOUS 390117 HAS SOUPS 361367 WITH SCORE 363401.193
AT ITER 9704 NEW BEST:: SOT 4179497 SOS 2034194 HAS SOPS 969975 HAS SOUS 390080 HAS SOUPS 361330 WITH SCORE 363364.194
AT ITER 9715 NEW BEST:: SOT 4179658 SOS 2034355 HAS SOPS 969929 HAS SOUS 390034 HAS SOUPS 361284 WITH SCORE 363318.355
AT ITER 9719 NEW BEST:: SOT 4179716 SOS 2033112 HAS SOPS 968686 HAS SOUS 390018 HAS SOUPS 361268 WITH SCORE 363301.112
AT ITER 9725 NEW BEST:: SOT 4179658 SOS 2033082 HAS SOPS 968656 HAS SOUS 390003 HAS SOUPS 361253 WITH SCORE 363286.082
AT ITER 9734 NEW BEST:: SOT 4179290 SOS 2035327 HAS SOPS 970901 HAS SOUS 389803 HAS SOUPS 361053 WITH SCORE 363088.327
AT ITER 9753 NEW BEST:: SOT 4179213 SOS 2036020 HAS SOPS 971594 HAS SOUS 389726 HAS SOUPS 360976 WITH SCORE 363012.02
AT ITER 9756 NEW BEST:: SOT 4179171 SOS 2035908 HAS SOPS 971473 HAS SOUS 389642 HAS SOUPS 360892 WITH SCORE 362927.908
AT ITER 9785 NEW BEST:: SOT 4178744 SOS 2035639 HAS SOPS 971204 HAS SOUS 389414 HAS SOUPS 360664 WITH SCORE 362699.639
AT ITER 9807 NEW BEST:: SOT 4178874 SOS 2035769 HAS SOPS 971302 HAS SOUS 389394 HAS SOUPS 360644 WITH SCORE 362679.769
AT ITER 9816 NEW BEST:: SOT 4178758 SOS 2035537 HAS SOPS 971070 HAS SOUS 389273 HAS SOUPS 360523 WITH SCORE 362558.537
AT ITER 9819 NEW BEST:: SOT 4178733 SOS 2035487 HAS SOPS 971020 HAS SOUS 389223 HAS SOUPS 360473 WITH SCORE 362508.487
AT ITER 9833 NEW BEST:: SOT 4178748 SOS 2035352 HAS SOPS 970885 HAS SOUS 389223 HAS SOUPS 360473 WITH SCORE 362508.352
AT ITER 9857 NEW BEST:: SOT 4178819 SOS 2035524 HAS SOPS 970795 HAS SOUS 389133 HAS SOUPS 360383 WITH SCORE 362418.524
AT ITER 9886 NEW BEST:: SOT 4178805 SOS 2035384 HAS SOPS 970655 HAS SOUS 389119 HAS SOUPS 360369 WITH SCORE 362404.384
AT ITER 9904 NEW BEST:: SOT 4178805 SOS 2035338 HAS SOPS 970609 HAS SOUS 389116 HAS SOUPS 360366 WITH SCORE 362401.338
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11238344 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16144972 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="EisenbergMcGuire-PT-10"
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 EisenbergMcGuire-PT-10, 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 r515-tall-167987242200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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