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.r523-tall-167987247800280.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 smartxred
Input is EisenbergMcGuire-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-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 3.1M Mar 31 16:48 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 1680818608718

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 22:03:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 22:03:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 22:03:31] [INFO ] Load time of PNML (sax parser for PT used): 222 ms
[2023-04-06 22:03:31] [INFO ] Transformed 1090 places.
[2023-04-06 22:03:31] [INFO ] Transformed 5200 transitions.
[2023-04-06 22:03:31] [INFO ] Found NUPN structural information;
[2023-04-06 22:03:31] [INFO ] Parsed PT model containing 1090 places and 5200 transitions and 25400 arcs in 341 ms.
[2023-04-06 22:03:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1090 places, 5200 transitions and 25400 arcs took 57 ms.
Total runtime 435 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1090 places, 5200 transitions, 25400 arcs.
AT ITER 0 NEW BEST:: SOT 4405061 SOS 2420696 HAS SOPS 1250391 HAS SOUS 618221 HAS SOUPS 603888 WITH SCORE 606308.696
AT ITER 5 NEW BEST:: SOT 4405076 SOS 2420962 HAS SOPS 1250421 HAS SOUS 617945 HAS SOUPS 603612 WITH SCORE 606032.962
AT ITER 9 NEW BEST:: SOT 4404458 SOS 2419767 HAS SOPS 1249105 HAS SOUS 616839 HAS SOUPS 602506 WITH SCORE 604925.767
AT ITER 12 NEW BEST:: SOT 4404189 SOS 2421897 HAS SOPS 1251150 HAS SOUS 616320 HAS SOUPS 601987 WITH SCORE 604408.897
AT ITER 17 NEW BEST:: SOT 4404189 SOS 2421772 HAS SOPS 1251025 HAS SOUS 616320 HAS SOUPS 601987 WITH SCORE 604408.772
AT ITER 18 NEW BEST:: SOT 4403890 SOS 2421066 HAS SOPS 1250124 HAS SOUS 615715 HAS SOUPS 601382 WITH SCORE 603803.066
AT ITER 19 NEW BEST:: SOT 4403890 SOS 2420851 HAS SOPS 1249909 HAS SOUS 615715 HAS SOUPS 601382 WITH SCORE 603802.851
AT ITER 26 NEW BEST:: SOT 4403817 SOS 2421111 HAS SOPS 1250184 HAS SOUS 615650 HAS SOUPS 601317 WITH SCORE 603738.111
AT ITER 30 NEW BEST:: SOT 4403817 SOS 2420910 HAS SOPS 1249983 HAS SOUS 615650 HAS SOUPS 601317 WITH SCORE 603737.91
AT ITER 39 NEW BEST:: SOT 4403817 SOS 2420679 HAS SOPS 1249752 HAS SOUS 615650 HAS SOUPS 601317 WITH SCORE 603737.679
AT ITER 41 NEW BEST:: SOT 4403593 SOS 2417771 HAS SOPS 1247336 HAS SOUS 615448 HAS SOUPS 601115 WITH SCORE 603532.771
AT ITER 44 NEW BEST:: SOT 4403513 SOS 2417353 HAS SOPS 1246665 HAS SOUS 615146 HAS SOUPS 600813 WITH SCORE 603230.353
AT ITER 45 NEW BEST:: SOT 4403205 SOS 2417003 HAS SOPS 1246447 HAS SOUS 614928 HAS SOUPS 600595 WITH SCORE 603012.003
AT ITER 50 NEW BEST:: SOT 4402801 SOS 2416441 HAS SOPS 1245910 HAS SOUS 614308 HAS SOUPS 599975 WITH SCORE 602391.441
AT ITER 53 NEW BEST:: SOT 4402373 SOS 2413445 HAS SOPS 1243342 HAS SOUS 613880 HAS SOUPS 599547 WITH SCORE 601960.445
AT ITER 55 NEW BEST:: SOT 4402194 SOS 2412550 HAS SOPS 1242447 HAS SOUS 613522 HAS SOUPS 599189 WITH SCORE 601601.55
AT ITER 56 NEW BEST:: SOT 4402136 SOS 2415286 HAS SOPS 1245112 HAS SOUS 613424 HAS SOUPS 599091 WITH SCORE 601506.286
AT ITER 62 NEW BEST:: SOT 4401661 SOS 2414476 HAS SOPS 1244281 HAS SOUS 612653 HAS SOUPS 598320 WITH SCORE 600734.476
AT ITER 70 NEW BEST:: SOT 4401427 SOS 2411668 HAS SOPS 1241941 HAS SOUS 612419 HAS SOUPS 598086 WITH SCORE 600497.668
AT ITER 75 NEW BEST:: SOT 4401209 SOS 2411658 HAS SOPS 1241623 HAS SOUS 612206 HAS SOUPS 597873 WITH SCORE 600284.658
AT ITER 79 NEW BEST:: SOT 4401009 SOS 2414000 HAS SOPS 1243335 HAS SOUS 612078 HAS SOUPS 597591 WITH SCORE 600005.0
AT ITER 86 NEW BEST:: SOT 4400791 SOS 2411384 HAS SOPS 1241155 HAS SOUS 611860 HAS SOUPS 597373 WITH SCORE 599784.384
AT ITER 92 NEW BEST:: SOT 4391134 SOS 2401760 HAS SOPS 1231498 HAS SOUS 602236 HAS SOUPS 587716 WITH SCORE 590117.76
AT ITER 94 NEW BEST:: SOT 4391134 SOS 2401940 HAS SOPS 1231318 HAS SOUS 602056 HAS SOUPS 587536 WITH SCORE 589937.94
AT ITER 104 NEW BEST:: SOT 4390781 SOS 2401549 HAS SOPS 1231108 HAS SOUS 601846 HAS SOUPS 587326 WITH SCORE 589727.549
AT ITER 105 NEW BEST:: SOT 4390681 SOS 2399788 HAS SOPS 1229700 HAS SOUS 601797 HAS SOUPS 587277 WITH SCORE 589676.788
AT ITER 110 NEW BEST:: SOT 4390500 SOS 2398861 HAS SOPS 1228773 HAS SOUS 601435 HAS SOUPS 586915 WITH SCORE 589313.861
AT ITER 111 NEW BEST:: SOT 4390282 SOS 2397444 HAS SOPS 1227465 HAS SOUS 601108 HAS SOUPS 586588 WITH SCORE 588985.444
AT ITER 112 NEW BEST:: SOT 4389731 SOS 2392099 HAS SOPS 1222310 HAS SOUS 600159 HAS SOUPS 585639 WITH SCORE 588031.099
AT ITER 114 NEW BEST:: SOT 4389428 SOS 2391555 HAS SOPS 1221638 HAS SOUS 599705 HAS SOUPS 585185 WITH SCORE 587576.555
AT ITER 116 NEW BEST:: SOT 4389428 SOS 2391458 HAS SOPS 1221541 HAS SOUS 599705 HAS SOUPS 585185 WITH SCORE 587576.458
AT ITER 118 NEW BEST:: SOT 4389392 SOS 2391350 HAS SOPS 1221433 HAS SOUS 599669 HAS SOUPS 585149 WITH SCORE 587540.35
AT ITER 120 NEW BEST:: SOT 4389277 SOS 2389970 HAS SOPS 1220053 HAS SOUS 599324 HAS SOUPS 584804 WITH SCORE 587193.97
AT ITER 122 NEW BEST:: SOT 4388576 SOS 2390204 HAS SOPS 1220407 HAS SOUS 598679 HAS SOUPS 584279 WITH SCORE 586669.204
AT ITER 128 NEW BEST:: SOT 4388444 SOS 2388620 HAS SOPS 1219087 HAS SOUS 598547 HAS SOUPS 584147 WITH SCORE 586535.62
AT ITER 132 NEW BEST:: SOT 4388606 SOS 2388453 HAS SOPS 1218257 HAS SOUS 598393 HAS SOUPS 583993 WITH SCORE 586381.453
AT ITER 133 NEW BEST:: SOT 4388464 SOS 2387530 HAS SOPS 1217405 HAS SOUS 598180 HAS SOUPS 583780 WITH SCORE 586167.53
AT ITER 137 NEW BEST:: SOT 4388464 SOS 2387389 HAS SOPS 1217264 HAS SOUS 598180 HAS SOUPS 583780 WITH SCORE 586167.389
AT ITER 138 NEW BEST:: SOT 4388464 SOS 2387414 HAS SOPS 1217239 HAS SOUS 598155 HAS SOUPS 583755 WITH SCORE 586142.414
AT ITER 139 NEW BEST:: SOT 4388095 SOS 2387027 HAS SOPS 1216870 HAS SOUS 597786 HAS SOUPS 583386 WITH SCORE 585773.027
AT ITER 140 NEW BEST:: SOT 4386722 SOS 2389320 HAS SOPS 1218960 HAS SOUS 596324 HAS SOUPS 581924 WITH SCORE 584313.32
AT ITER 141 NEW BEST:: SOT 4386654 SOS 2388864 HAS SOPS 1218504 HAS SOUS 596188 HAS SOUPS 581788 WITH SCORE 584176.864
AT ITER 144 NEW BEST:: SOT 4386760 SOS 2388668 HAS SOPS 1217605 HAS SOUS 595919 HAS SOUPS 581519 WITH SCORE 583907.668
AT ITER 146 NEW BEST:: SOT 4386532 SOS 2387994 HAS SOPS 1215932 HAS SOUS 594986 HAS SOUPS 580586 WITH SCORE 582973.994
AT ITER 147 NEW BEST:: SOT 4386107 SOS 2387521 HAS SOPS 1215507 HAS SOUS 594786 HAS SOUPS 580396 WITH SCORE 582783.521
AT ITER 151 NEW BEST:: SOT 4386032 SOS 2387221 HAS SOPS 1215207 HAS SOUS 594561 HAS SOUPS 580171 WITH SCORE 582558.221
AT ITER 155 NEW BEST:: SOT 4385935 SOS 2387124 HAS SOPS 1214715 HAS SOUS 594218 HAS SOUPS 579828 WITH SCORE 582215.124
AT ITER 160 NEW BEST:: SOT 4385624 SOS 2386538 HAS SOPS 1213854 HAS SOUS 593574 HAS SOUPS 579184 WITH SCORE 581570.538
AT ITER 169 NEW BEST:: SOT 4385729 SOS 2386643 HAS SOPS 1213959 HAS SOUS 593517 HAS SOUPS 579127 WITH SCORE 581513.643
AT ITER 177 NEW BEST:: SOT 4385729 SOS 2386756 HAS SOPS 1213846 HAS SOUS 593404 HAS SOUPS 579014 WITH SCORE 581400.756
AT ITER 185 NEW BEST:: SOT 4385569 SOS 2386116 HAS SOPS 1213206 HAS SOUS 593084 HAS SOUPS 578694 WITH SCORE 581080.116
AT ITER 191 NEW BEST:: SOT 4385388 SOS 2386065 HAS SOPS 1213345 HAS SOUS 593084 HAS SOUPS 578694 WITH SCORE 581080.065
AT ITER 192 NEW BEST:: SOT 4385388 SOS 2386186 HAS SOPS 1213224 HAS SOUS 592963 HAS SOUPS 578573 WITH SCORE 580959.186
AT ITER 193 NEW BEST:: SOT 4383693 SOS 2384658 HAS SOPS 1211529 HAS SOUS 592881 HAS SOUPS 578444 WITH SCORE 580828.658
AT ITER 197 NEW BEST:: SOT 4383633 SOS 2384753 HAS SOPS 1211627 HAS SOUS 592767 HAS SOUPS 578330 WITH SCORE 580714.753
AT ITER 198 NEW BEST:: SOT 4383281 SOS 2387460 HAS SOPS 1214163 HAS SOUS 592325 HAS SOUPS 577888 WITH SCORE 580275.46
AT ITER 200 NEW BEST:: SOT 4382814 SOS 2387129 HAS SOPS 1213563 HAS SOUS 591582 HAS SOUPS 577145 WITH SCORE 579532.129
AT ITER 210 NEW BEST:: SOT 4382950 SOS 2387258 HAS SOPS 1213077 HAS SOUS 591471 HAS SOUPS 577034 WITH SCORE 579421.258
AT ITER 218 NEW BEST:: SOT 4382710 SOS 2387076 HAS SOPS 1213225 HAS SOUS 591313 HAS SOUPS 576876 WITH SCORE 579263.076
AT ITER 221 NEW BEST:: SOT 4380408 SOS 2384870 HAS SOPS 1210824 HAS SOUS 591432 HAS SOUPS 576800 WITH SCORE 579184.87
AT ITER 222 NEW BEST:: SOT 4380638 SOS 2384862 HAS SOPS 1210153 HAS SOUS 591407 HAS SOUPS 576775 WITH SCORE 579159.862
AT ITER 230 NEW BEST:: SOT 4380656 SOS 2384500 HAS SOPS 1208751 HAS SOUS 590662 HAS SOUPS 576030 WITH SCORE 578414.5
AT ITER 236 NEW BEST:: SOT 4380450 SOS 2384011 HAS SOPS 1208262 HAS SOUS 590612 HAS SOUPS 575980 WITH SCORE 578364.011
AT ITER 243 NEW BEST:: SOT 4380367 SOS 2383770 HAS SOPS 1207938 HAS SOUS 590255 HAS SOUPS 575629 WITH SCORE 578012.77
AT ITER 252 NEW BEST:: SOT 4380367 SOS 2383687 HAS SOPS 1207855 HAS SOUS 590255 HAS SOUPS 575629 WITH SCORE 578012.687
AT ITER 255 NEW BEST:: SOT 4380367 SOS 2383617 HAS SOPS 1207855 HAS SOUS 590255 HAS SOUPS 575629 WITH SCORE 578012.617
AT ITER 258 NEW BEST:: SOT 4380047 SOS 2383299 HAS SOPS 1207537 HAS SOUS 589975 HAS SOUPS 575349 WITH SCORE 577732.299
AT ITER 263 NEW BEST:: SOT 4379919 SOS 2383171 HAS SOPS 1207281 HAS SOUS 589719 HAS SOUPS 575093 WITH SCORE 577476.171
AT ITER 264 NEW BEST:: SOT 4379877 SOS 2383129 HAS SOPS 1207197 HAS SOUS 589635 HAS SOUPS 575009 WITH SCORE 577392.129
AT ITER 266 NEW BEST:: SOT 4378480 SOS 2385326 HAS SOPS 1209174 HAS SOUS 588137 HAS SOUPS 573511 WITH SCORE 575896.326
AT ITER 267 NEW BEST:: SOT 4377414 SOS 2388644 HAS SOPS 1212392 HAS SOUS 587673 HAS SOUPS 573047 WITH SCORE 575435.644
AT ITER 270 NEW BEST:: SOT 4377347 SOS 2388575 HAS SOPS 1212323 HAS SOUS 587539 HAS SOUPS 572913 WITH SCORE 575301.575
AT ITER 274 NEW BEST:: SOT 4377198 SOS 2386687 HAS SOPS 1210753 HAS SOUS 587400 HAS SOUPS 572774 WITH SCORE 575160.687
AT ITER 275 NEW BEST:: SOT 4377113 SOS 2386517 HAS SOPS 1210583 HAS SOUS 587315 HAS SOUPS 572689 WITH SCORE 575075.517
AT ITER 283 NEW BEST:: SOT 4377139 SOS 2386522 HAS SOPS 1210567 HAS SOUS 587320 HAS SOUPS 572673 WITH SCORE 575059.522
AT ITER 292 NEW BEST:: SOT 4377139 SOS 2386316 HAS SOPS 1210361 HAS SOUS 587320 HAS SOUPS 572673 WITH SCORE 575059.316
AT ITER 293 NEW BEST:: SOT 4377247 SOS 2383705 HAS SOPS 1207750 HAS SOUS 587265 HAS SOUPS 572618 WITH SCORE 575001.705
AT ITER 294 NEW BEST:: SOT 4377126 SOS 2383303 HAS SOPS 1207348 HAS SOUS 587023 HAS SOUPS 572376 WITH SCORE 574759.303
AT ITER 296 NEW BEST:: SOT 4376972 SOS 2380975 HAS SOPS 1205020 HAS SOUS 586715 HAS SOUPS 572068 WITH SCORE 574448.975
AT ITER 300 NEW BEST:: SOT 4376703 SOS 2380736 HAS SOPS 1205119 HAS SOUS 586538 HAS SOUPS 571891 WITH SCORE 574271.736
AT ITER 318 NEW BEST:: SOT 4375963 SOS 2380722 HAS SOPS 1205226 HAS SOUS 585967 HAS SOUPS 571441 WITH SCORE 573821.722
AT ITER 319 NEW BEST:: SOT 4356054 SOS 2361241 HAS SOPS 1185268 HAS SOUS 566035 HAS SOUPS 551420 WITH SCORE 553781.241
AT ITER 320 NEW BEST:: SOT 4355373 SOS 2359961 HAS SOPS 1183870 HAS SOUS 564818 HAS SOUPS 550203 WITH SCORE 552562.961
AT ITER 333 NEW BEST:: SOT 4355015 SOS 2357063 HAS SOPS 1180994 HAS SOUS 564372 HAS SOUPS 549757 WITH SCORE 552114.063
AT ITER 334 NEW BEST:: SOT 4354749 SOS 2356823 HAS SOPS 1181040 HAS SOUS 564232 HAS SOUPS 549617 WITH SCORE 551973.823
AT ITER 343 NEW BEST:: SOT 4354634 SOS 2359858 HAS SOPS 1183944 HAS SOUS 564013 HAS SOUPS 549398 WITH SCORE 551757.858
AT ITER 348 NEW BEST:: SOT 4354481 SOS 2356802 HAS SOPS 1181138 HAS SOUS 563707 HAS SOUPS 549092 WITH SCORE 551448.802
AT ITER 365 NEW BEST:: SOT 4354193 SOS 2356301 HAS SOPS 1180582 HAS SOUS 563313 HAS SOUPS 548698 WITH SCORE 551054.301
AT ITER 370 NEW BEST:: SOT 4353726 SOS 2355276 HAS SOPS 1179485 HAS SOUS 562439 HAS SOUPS 547824 WITH SCORE 550179.276
AT ITER 378 NEW BEST:: SOT 4353276 SOS 2356646 HAS SOPS 1180623 HAS SOUS 562266 HAS SOUPS 547539 WITH SCORE 549895.646
AT ITER 384 NEW BEST:: SOT 4352975 SOS 2356619 HAS SOPS 1180344 HAS SOUS 561672 HAS SOUPS 546945 WITH SCORE 549301.619
AT ITER 394 NEW BEST:: SOT 4352740 SOS 2353679 HAS SOPS 1177898 HAS SOUS 561449 HAS SOUPS 546722 WITH SCORE 549075.679
AT ITER 395 NEW BEST:: SOT 4351897 SOS 2363574 HAS SOPS 1177046 HAS SOUS 561422 HAS SOUPS 546572 WITH SCORE 548935.574
AT ITER 397 NEW BEST:: SOT 4351584 SOS 2362514 HAS SOPS 1174318 HAS SOUS 561082 HAS SOUPS 545982 WITH SCORE 548344.514
AT ITER 398 NEW BEST:: SOT 4351371 SOS 2362217 HAS SOPS 1174092 HAS SOUS 560856 HAS SOUPS 545756 WITH SCORE 548118.217
AT ITER 413 NEW BEST:: SOT 4350940 SOS 2361544 HAS SOPS 1173272 HAS SOUS 559969 HAS SOUPS 544869 WITH SCORE 547230.544
AT ITER 422 NEW BEST:: SOT 4350642 SOS 2360925 HAS SOPS 1172550 HAS SOUS 559488 HAS SOUPS 544388 WITH SCORE 546748.925
AT ITER 430 NEW BEST:: SOT 4350483 SOS 2360336 HAS SOPS 1171857 HAS SOUS 559149 HAS SOUPS 544049 WITH SCORE 546409.336
AT ITER 431 NEW BEST:: SOT 4350483 SOS 2360336 HAS SOPS 1171763 HAS SOUS 559102 HAS SOUPS 544002 WITH SCORE 546362.336
AT ITER 432 NEW BEST:: SOT 4350483 SOS 2360084 HAS SOPS 1171511 HAS SOUS 559102 HAS SOUPS 544002 WITH SCORE 546362.084
AT ITER 438 NEW BEST:: SOT 4350483 SOS 2360084 HAS SOPS 1171309 HAS SOUS 559001 HAS SOUPS 543901 WITH SCORE 546261.084
AT ITER 442 NEW BEST:: SOT 4349713 SOS 2359594 HAS SOPS 1170980 HAS SOUS 558473 HAS SOUPS 543414 WITH SCORE 545773.594
AT ITER 443 NEW BEST:: SOT 4348577 SOS 2358559 HAS SOPS 1169856 HAS SOUS 557235 HAS SOUPS 542282 WITH SCORE 544640.559
AT ITER 446 NEW BEST:: SOT 4347445 SOS 2358517 HAS SOPS 1169198 HAS SOUS 555963 HAS SOUPS 540907 WITH SCORE 543265.517
AT ITER 452 NEW BEST:: SOT 4347212 SOS 2357910 HAS SOPS 1168591 HAS SOUS 555588 HAS SOUPS 540532 WITH SCORE 542889.91
AT ITER 453 NEW BEST:: SOT 4347081 SOS 2357779 HAS SOPS 1168329 HAS SOUS 555326 HAS SOUPS 540270 WITH SCORE 542627.779
AT ITER 454 NEW BEST:: SOT 4347077 SOS 2357775 HAS SOPS 1168325 HAS SOUS 555318 HAS SOUPS 540262 WITH SCORE 542619.775
AT ITER 463 NEW BEST:: SOT 4346676 SOS 2357223 HAS SOPS 1167792 HAS SOUS 554697 HAS SOUPS 539641 WITH SCORE 541998.223
AT ITER 466 NEW BEST:: SOT 4346676 SOS 2357324 HAS SOPS 1167691 HAS SOUS 554596 HAS SOUPS 539540 WITH SCORE 541897.324
AT ITER 470 NEW BEST:: SOT 4346695 SOS 2357331 HAS SOPS 1167651 HAS SOUS 554547 HAS SOUPS 539491 WITH SCORE 541848.331
AT ITER 480 NEW BEST:: SOT 4346471 SOS 2357190 HAS SOPS 1167510 HAS SOUS 554399 HAS SOUPS 539343 WITH SCORE 541700.19
AT ITER 482 NEW BEST:: SOT 4346292 SOS 2356648 HAS SOPS 1166968 HAS SOUS 554231 HAS SOUPS 539175 WITH SCORE 541531.648
AT ITER 501 NEW BEST:: SOT 4346139 SOS 2354682 HAS SOPS 1165334 HAS SOUS 554091 HAS SOUPS 539035 WITH SCORE 541389.682
AT ITER 502 NEW BEST:: SOT 4346050 SOS 2354727 HAS SOPS 1165124 HAS SOUS 553908 HAS SOUPS 538852 WITH SCORE 541206.727
AT ITER 505 NEW BEST:: SOT 4346181 SOS 2351319 HAS SOPS 1161716 HAS SOUS 553803 HAS SOUPS 538747 WITH SCORE 541098.319
AT ITER 508 NEW BEST:: SOT 4346122 SOS 2351220 HAS SOPS 1161598 HAS SOUS 553685 HAS SOUPS 538629 WITH SCORE 540980.22
AT ITER 509 NEW BEST:: SOT 4345720 SOS 2350354 HAS SOPS 1160736 HAS SOUS 552889 HAS SOUPS 537833 WITH SCORE 540183.354
AT ITER 520 NEW BEST:: SOT 4345728 SOS 2350362 HAS SOPS 1160242 HAS SOUS 552650 HAS SOUPS 537594 WITH SCORE 539944.362
AT ITER 522 NEW BEST:: SOT 4345728 SOS 2349911 HAS SOPS 1159791 HAS SOUS 552650 HAS SOUPS 537594 WITH SCORE 539943.911
AT ITER 528 NEW BEST:: SOT 4345175 SOS 2353135 HAS SOPS 1163597 HAS SOUS 551512 HAS SOUPS 536706 WITH SCORE 539059.135
AT ITER 529 NEW BEST:: SOT 4344988 SOS 2352387 HAS SOPS 1162849 HAS SOUS 551138 HAS SOUPS 536332 WITH SCORE 538684.387
AT ITER 530 NEW BEST:: SOT 4344834 SOS 2350379 HAS SOPS 1161181 HAS SOUS 551000 HAS SOUPS 536194 WITH SCORE 538544.379
AT ITER 531 NEW BEST:: SOT 4344831 SOS 2350370 HAS SOPS 1161168 HAS SOUS 550990 HAS SOUPS 536184 WITH SCORE 538534.37
AT ITER 538 NEW BEST:: SOT 4344706 SOS 2349004 HAS SOPS 1159926 HAS SOUS 550864 HAS SOUPS 536058 WITH SCORE 538407.004
AT ITER 540 NEW BEST:: SOT 4344650 SOS 2348942 HAS SOPS 1159950 HAS SOUS 550825 HAS SOUPS 536019 WITH SCORE 538367.942
AT ITER 543 NEW BEST:: SOT 4344713 SOS 2349005 HAS SOPS 1160013 HAS SOUS 550781 HAS SOUPS 535975 WITH SCORE 538324.005
AT ITER 548 NEW BEST:: SOT 4344595 SOS 2348533 HAS SOPS 1159541 HAS SOUS 550465 HAS SOUPS 535659 WITH SCORE 538007.533
AT ITER 551 NEW BEST:: SOT 4344502 SOS 2347973 HAS SOPS 1158981 HAS SOUS 550269 HAS SOUPS 535463 WITH SCORE 537810.973
AT ITER 556 NEW BEST:: SOT 4344350 SOS 2346985 HAS SOPS 1158069 HAS SOUS 550117 HAS SOUPS 535311 WITH SCORE 537657.985
AT ITER 558 NEW BEST:: SOT 4344252 SOS 2349889 HAS SOPS 1160798 HAS SOUS 549965 HAS SOUPS 535159 WITH SCORE 537508.889
AT ITER 564 NEW BEST:: SOT 4344063 SOS 2349887 HAS SOPS 1160986 HAS SOUS 549949 HAS SOUPS 535143 WITH SCORE 537492.887
AT ITER 565 NEW BEST:: SOT 4343963 SOS 2349559 HAS SOPS 1160658 HAS SOUS 549749 HAS SOUPS 534943 WITH SCORE 537292.559
AT ITER 567 NEW BEST:: SOT 4343857 SOS 2349191 HAS SOPS 1159585 HAS SOUS 549158 HAS SOUPS 534352 WITH SCORE 536701.191
AT ITER 572 NEW BEST:: SOT 4343823 SOS 2349089 HAS SOPS 1159483 HAS SOUS 549090 HAS SOUPS 534284 WITH SCORE 536633.089
AT ITER 575 NEW BEST:: SOT 4343744 SOS 2348852 HAS SOPS 1159246 HAS SOUS 548932 HAS SOUPS 534126 WITH SCORE 536474.852
AT ITER 583 NEW BEST:: SOT 4343633 SOS 2347520 HAS SOPS 1158247 HAS SOUS 548932 HAS SOUPS 534126 WITH SCORE 536473.52
AT ITER 584 NEW BEST:: SOT 4343794 SOS 2347681 HAS SOPS 1158408 HAS SOUS 548878 HAS SOUPS 534072 WITH SCORE 536419.681
AT ITER 597 NEW BEST:: SOT 4343733 SOS 2347742 HAS SOPS 1158469 HAS SOUS 548756 HAS SOUPS 533950 WITH SCORE 536297.742
AT ITER 603 NEW BEST:: SOT 4343717 SOS 2347678 HAS SOPS 1158405 HAS SOUS 548724 HAS SOUPS 533918 WITH SCORE 536265.678
AT ITER 606 NEW BEST:: SOT 4343725 SOS 2347976 HAS SOPS 1157539 HAS SOUS 548571 HAS SOUPS 533173 WITH SCORE 535520.976
AT ITER 611 NEW BEST:: SOT 4343725 SOS 2347942 HAS SOPS 1157539 HAS SOUS 548459 HAS SOUPS 533173 WITH SCORE 535520.942
AT ITER 620 NEW BEST:: SOT 4343725 SOS 2347941 HAS SOPS 1157539 HAS SOUS 548459 HAS SOUPS 533173 WITH SCORE 535520.941
AT ITER 623 NEW BEST:: SOT 4343725 SOS 2347885 HAS SOPS 1157483 HAS SOUS 548459 HAS SOUPS 533173 WITH SCORE 535520.885
AT ITER 624 NEW BEST:: SOT 4343706 SOS 2347638 HAS SOPS 1157293 HAS SOUS 548459 HAS SOUPS 533173 WITH SCORE 535520.638
AT ITER 631 NEW BEST:: SOT 4343616 SOS 2342859 HAS SOPS 1157644 HAS SOUS 548333 HAS SOUPS 533092 WITH SCORE 535434.859
AT ITER 635 NEW BEST:: SOT 4343616 SOS 2342759 HAS SOPS 1157544 HAS SOUS 548333 HAS SOUPS 533092 WITH SCORE 535434.759
AT ITER 636 NEW BEST:: SOT 4343088 SOS 2342143 HAS SOPS 1156136 HAS SOUS 548869 HAS SOUPS 532862 WITH SCORE 535204.143
AT ITER 643 NEW BEST:: SOT 4343015 SOS 2341851 HAS SOPS 1155844 HAS SOUS 548723 HAS SOUPS 532716 WITH SCORE 535057.851
AT ITER 649 NEW BEST:: SOT 4342994 SOS 2341837 HAS SOPS 1155802 HAS SOUS 548681 HAS SOUPS 532674 WITH SCORE 535015.837
AT ITER 650 NEW BEST:: SOT 4342994 SOS 2341745 HAS SOPS 1155802 HAS SOUS 548681 HAS SOUPS 532674 WITH SCORE 535015.745
AT ITER 655 NEW BEST:: SOT 4341373 SOS 2341004 HAS SOPS 1154107 HAS SOUS 546687 HAS SOUPS 530425 WITH SCORE 532766.004
AT ITER 659 NEW BEST:: SOT 4321314 SOS 2530334 HAS SOPS 1147592 HAS SOUS 530154 HAS SOUPS 513228 WITH SCORE 515758.334
AT ITER 662 NEW BEST:: SOT 4297875 SOS 2521677 HAS SOPS 1124573 HAS SOUS 508127 HAS SOUPS 490179 WITH SCORE 492700.677
AT ITER 663 NEW BEST:: SOT 4297875 SOS 2521605 HAS SOPS 1124501 HAS SOUS 508127 HAS SOUPS 490179 WITH SCORE 492700.605
AT ITER 673 NEW BEST:: SOT 4297742 SOS 2523839 HAS SOPS 1126521 HAS SOUS 507830 HAS SOUPS 489882 WITH SCORE 492405.839
AT ITER 678 NEW BEST:: SOT 4297686 SOS 2524499 HAS SOPS 1127169 HAS SOUS 507774 HAS SOUPS 489826 WITH SCORE 492350.499
AT ITER 684 NEW BEST:: SOT 4296949 SOS 2523468 HAS SOPS 1126283 HAS SOUS 506888 HAS SOUPS 488940 WITH SCORE 491463.468
AT ITER 685 NEW BEST:: SOT 4296859 SOS 2524278 HAS SOPS 1127003 HAS SOUS 506798 HAS SOUPS 488850 WITH SCORE 491374.278
AT ITER 698 NEW BEST:: SOT 4296663 SOS 2524234 HAS SOPS 1127101 HAS SOUS 506707 HAS SOUPS 488759 WITH SCORE 491283.234
AT ITER 699 NEW BEST:: SOT 4296663 SOS 2524043 HAS SOPS 1126910 HAS SOUS 506707 HAS SOUPS 488759 WITH SCORE 491283.043
AT ITER 708 NEW BEST:: SOT 4296415 SOS 2526300 HAS SOPS 1129167 HAS SOUS 506305 HAS SOUPS 488357 WITH SCORE 490883.3
AT ITER 710 NEW BEST:: SOT 4296283 SOS 2526279 HAS SOPS 1129342 HAS SOUS 506293 HAS SOUPS 488345 WITH SCORE 490871.279
AT ITER 711 NEW BEST:: SOT 4296160 SOS 2526016 HAS SOPS 1129079 HAS SOUS 506199 HAS SOUPS 488251 WITH SCORE 490777.016
AT ITER 715 NEW BEST:: SOT 4296043 SOS 2526018 HAS SOPS 1128845 HAS SOUS 505791 HAS SOUPS 487843 WITH SCORE 490369.018
AT ITER 721 NEW BEST:: SOT 4295841 SOS 2524544 HAS SOPS 1127371 HAS SOUS 505375 HAS SOUPS 487427 WITH SCORE 489951.544
AT ITER 725 NEW BEST:: SOT 4295841 SOS 2524457 HAS SOPS 1127284 HAS SOUS 505375 HAS SOUPS 487427 WITH SCORE 489951.457
AT ITER 728 NEW BEST:: SOT 4295788 SOS 2524404 HAS SOPS 1127258 HAS SOUS 505322 HAS SOUPS 487401 WITH SCORE 489925.404
AT ITER 738 NEW BEST:: SOT 4295515 SOS 2523962 HAS SOPS 1126816 HAS SOUS 505093 HAS SOUPS 487172 WITH SCORE 489695.962
AT ITER 759 NEW BEST:: SOT 4295225 SOS 2523672 HAS SOPS 1126236 HAS SOUS 504265 HAS SOUPS 486592 WITH SCORE 489115.672
AT ITER 763 NEW BEST:: SOT 4295141 SOS 2522145 HAS SOPS 1124709 HAS SOUS 504097 HAS SOUPS 486424 WITH SCORE 488946.145
AT ITER 764 NEW BEST:: SOT 4294917 SOS 2520689 HAS SOPS 1123365 HAS SOUS 503761 HAS SOUPS 486088 WITH SCORE 488608.689
AT ITER 765 NEW BEST:: SOT 4294765 SOS 2519949 HAS SOPS 1122625 HAS SOUS 503457 HAS SOUPS 485784 WITH SCORE 488303.949
AT ITER 767 NEW BEST:: SOT 4294765 SOS 2519649 HAS SOPS 1122325 HAS SOUS 503457 HAS SOUPS 485784 WITH SCORE 488303.649
AT ITER 769 NEW BEST:: SOT 4294630 SOS 2518974 HAS SOPS 1121695 HAS SOUS 503277 HAS SOUPS 485604 WITH SCORE 488122.974
AT ITER 777 NEW BEST:: SOT 4294496 SOS 2520994 HAS SOPS 1123647 HAS SOUS 503143 HAS SOUPS 485470 WITH SCORE 487990.994
AT ITER 785 NEW BEST:: SOT 4294479 SOS 2520630 HAS SOPS 1123349 HAS SOUS 503142 HAS SOUPS 485469 WITH SCORE 487989.63
AT ITER 799 NEW BEST:: SOT 4294181 SOS 2516120 HAS SOPS 1119083 HAS SOUS 502852 HAS SOUPS 485179 WITH SCORE 487695.12
AT ITER 804 NEW BEST:: SOT 4293645 SOS 2515415 HAS SOPS 1118396 HAS SOUS 501993 HAS SOUPS 484320 WITH SCORE 486835.415
AT ITER 810 NEW BEST:: SOT 4292734 SOS 2514857 HAS SOPS 1117959 HAS SOUS 501143 HAS SOUPS 483591 WITH SCORE 486105.857
AT ITER 820 NEW BEST:: SOT 4292636 SOS 2512216 HAS SOPS 1115374 HAS SOUS 500947 HAS SOUPS 483395 WITH SCORE 485907.216
AT ITER 821 NEW BEST:: SOT 4292636 SOS 2512216 HAS SOPS 1115374 HAS SOUS 500842 HAS SOUPS 483290 WITH SCORE 485802.216
AT ITER 828 NEW BEST:: SOT 4292344 SOS 2510172 HAS SOPS 1113622 HAS SOUS 500550 HAS SOUPS 482998 WITH SCORE 485508.172
AT ITER 829 NEW BEST:: SOT 4292268 SOS 2510012 HAS SOPS 1113462 HAS SOUS 500398 HAS SOUPS 482846 WITH SCORE 485356.012
AT ITER 833 NEW BEST:: SOT 4292124 SOS 2509796 HAS SOPS 1113174 HAS SOUS 500110 HAS SOUPS 482558 WITH SCORE 485067.796
AT ITER 836 NEW BEST:: SOT 4292119 SOS 2509751 HAS SOPS 1113129 HAS SOUS 500100 HAS SOUPS 482548 WITH SCORE 485057.751
AT ITER 847 NEW BEST:: SOT 4291273 SOS 2517388 HAS SOPS 1112444 HAS SOUS 500110 HAS SOUPS 482464 WITH SCORE 484981.388
AT ITER 849 NEW BEST:: SOT 4291453 SOS 2517568 HAS SOPS 1112264 HAS SOUS 499930 HAS SOUPS 482284 WITH SCORE 484801.568
AT ITER 865 NEW BEST:: SOT 4291510 SOS 2517682 HAS SOPS 1112230 HAS SOUS 499896 HAS SOUPS 482250 WITH SCORE 484767.682
AT ITER 866 NEW BEST:: SOT 4291573 SOS 2517589 HAS SOPS 1111706 HAS SOUS 499739 HAS SOUPS 482093 WITH SCORE 484610.589
AT ITER 886 NEW BEST:: SOT 4291513 SOS 2517529 HAS SOPS 1111586 HAS SOUS 499619 HAS SOUPS 481973 WITH SCORE 484490.529
AT ITER 888 NEW BEST:: SOT 4291435 SOS 2516673 HAS SOPS 1110730 HAS SOUS 499533 HAS SOUPS 481887 WITH SCORE 484403.673
AT ITER 893 NEW BEST:: SOT 4291379 SOS 2517475 HAS SOPS 1111518 HAS SOUS 499477 HAS SOUPS 481831 WITH SCORE 484348.475
AT ITER 894 NEW BEST:: SOT 4291089 SOS 2516905 HAS SOPS 1110898 HAS SOUS 499067 HAS SOUPS 481421 WITH SCORE 483937.905
AT ITER 895 NEW BEST:: SOT 4291088 SOS 2516903 HAS SOPS 1110896 HAS SOUS 499066 HAS SOUPS 481420 WITH SCORE 483936.903
AT ITER 896 NEW BEST:: SOT 4290964 SOS 2517900 HAS SOPS 1111888 HAS SOUS 498942 HAS SOUPS 481296 WITH SCORE 483813.9
AT ITER 903 NEW BEST:: SOT 4290865 SOS 2517702 HAS SOPS 1111690 HAS SOUS 498832 HAS SOUPS 481186 WITH SCORE 483703.702
AT ITER 906 NEW BEST:: SOT 4290746 SOS 2516776 HAS SOPS 1110569 HAS SOUS 498423 HAS SOUPS 480777 WITH SCORE 483293.776
AT ITER 910 NEW BEST:: SOT 4290746 SOS 2516941 HAS SOPS 1110239 HAS SOUS 498093 HAS SOUPS 480447 WITH SCORE 482963.941
AT ITER 916 NEW BEST:: SOT 4290384 SOS 2516560 HAS SOPS 1109884 HAS SOUS 497738 HAS SOUPS 480092 WITH SCORE 482608.56
AT ITER 921 NEW BEST:: SOT 4290384 SOS 2516387 HAS SOPS 1109711 HAS SOUS 497738 HAS SOUPS 480092 WITH SCORE 482608.387
AT ITER 922 NEW BEST:: SOT 4290336 SOS 2516339 HAS SOPS 1109615 HAS SOUS 497642 HAS SOUPS 479996 WITH SCORE 482512.339
AT ITER 953 NEW BEST:: SOT 4290336 SOS 2516115 HAS SOPS 1109391 HAS SOUS 497642 HAS SOUPS 479996 WITH SCORE 482512.115
AT ITER 955 NEW BEST:: SOT 4290203 SOS 2515803 HAS SOPS 1109039 HAS SOUS 497336 HAS SOUPS 479690 WITH SCORE 482205.803
AT ITER 958 NEW BEST:: SOT 4290203 SOS 2515731 HAS SOPS 1108967 HAS SOUS 497264 HAS SOUPS 479618 WITH SCORE 482133.731
AT ITER 969 NEW BEST:: SOT 4289361 SOS 2514742 HAS SOPS 1107283 HAS SOUS 496875 HAS SOUPS 479229 WITH SCORE 481743.742
AT ITER 973 NEW BEST:: SOT 4289845 SOS 2514750 HAS SOPS 1106546 HAS SOUS 496826 HAS SOUPS 479180 WITH SCORE 481694.75
AT ITER 979 NEW BEST:: SOT 4289855 SOS 2514733 HAS SOPS 1106529 HAS SOUS 496784 HAS SOUPS 479138 WITH SCORE 481652.733
AT ITER 987 NEW BEST:: SOT 4289702 SOS 2514058 HAS SOPS 1106376 HAS SOUS 496640 HAS SOUPS 478994 WITH SCORE 481508.058
AT ITER 1005 NEW BEST:: SOT 4289743 SOS 2514626 HAS SOPS 1106836 HAS SOUS 496614 HAS SOUPS 478968 WITH SCORE 481482.626
AT ITER 1011 NEW BEST:: SOT 4289677 SOS 2514560 HAS SOPS 1106714 HAS SOUS 496613 HAS SOUPS 478967 WITH SCORE 481481.56
AT ITER 1012 NEW BEST:: SOT 4289635 SOS 2514560 HAS SOPS 1106714 HAS SOUS 496529 HAS SOUPS 478883 WITH SCORE 481397.56
AT ITER 1035 NEW BEST:: SOT 4289635 SOS 2514780 HAS SOPS 1106604 HAS SOUS 496309 HAS SOUPS 478663 WITH SCORE 481177.78
AT ITER 1039 NEW BEST:: SOT 4289433 SOS 2516410 HAS SOPS 1108234 HAS SOUS 496107 HAS SOUPS 478461 WITH SCORE 480977.41
AT ITER 1043 NEW BEST:: SOT 4289704 SOS 2516910 HAS SOPS 1108515 HAS SOUS 495996 HAS SOUPS 478350 WITH SCORE 480866.91
AT ITER 1047 NEW BEST:: SOT 4289676 SOS 2516854 HAS SOPS 1108403 HAS SOUS 495912 HAS SOUPS 478266 WITH SCORE 480782.854
AT ITER 1053 NEW BEST:: SOT 4289676 SOS 2516854 HAS SOPS 1107697 HAS SOUS 495754 HAS SOUPS 477730 WITH SCORE 480246.854
AT ITER 1077 NEW BEST:: SOT 4288997 SOS 2515887 HAS SOPS 1106383 HAS SOUS 494588 HAS SOUPS 476564 WITH SCORE 479079.887
AT ITER 1081 NEW BEST:: SOT 4288971 SOS 2515575 HAS SOPS 1106071 HAS SOUS 494536 HAS SOUPS 476512 WITH SCORE 479027.575
AT ITER 1093 NEW BEST:: SOT 4288893 SOS 2515419 HAS SOPS 1105915 HAS SOUS 494380 HAS SOUPS 476356 WITH SCORE 478871.419
AT ITER 1095 NEW BEST:: SOT 4288508 SOS 2512318 HAS SOPS 1102814 HAS SOUS 493869 HAS SOUPS 475845 WITH SCORE 478357.318
AT ITER 1101 NEW BEST:: SOT 4288420 SOS 2512230 HAS SOPS 1102798 HAS SOUS 493773 HAS SOUPS 475749 WITH SCORE 478261.23
AT ITER 1103 NEW BEST:: SOT 4288135 SOS 2511724 HAS SOPS 1102163 HAS SOUS 493341 HAS SOUPS 475317 WITH SCORE 477828.724
AT ITER 1105 NEW BEST:: SOT 4288096 SOS 2511391 HAS SOPS 1101830 HAS SOUS 493254 HAS SOUPS 475230 WITH SCORE 477741.391
AT ITER 1114 NEW BEST:: SOT 4287910 SOS 2507674 HAS SOPS 1098253 HAS SOUS 492984 HAS SOUPS 474960 WITH SCORE 477467.674
AT ITER 1118 NEW BEST:: SOT 4287864 SOS 2507628 HAS SOPS 1098230 HAS SOUS 492961 HAS SOUPS 474937 WITH SCORE 477444.628
AT ITER 1123 NEW BEST:: SOT 4287876 SOS 2507520 HAS SOPS 1098014 HAS SOUS 492865 HAS SOUPS 474841 WITH SCORE 477348.52
AT ITER 1125 NEW BEST:: SOT 4287876 SOS 2507432 HAS SOPS 1097926 HAS SOUS 492857 HAS SOUPS 474833 WITH SCORE 477340.432
AT ITER 1127 NEW BEST:: SOT 4287845 SOS 2506750 HAS SOPS 1098143 HAS SOUS 492764 HAS SOUPS 474802 WITH SCORE 477308.75
AT ITER 1129 NEW BEST:: SOT 4287845 SOS 2506810 HAS SOPS 1098203 HAS SOUS 492756 HAS SOUPS 474794 WITH SCORE 477300.81
AT ITER 1135 NEW BEST:: SOT 4287692 SOS 2506136 HAS SOPS 1097472 HAS SOUS 492467 HAS SOUPS 474505 WITH SCORE 477011.136
AT ITER 1142 NEW BEST:: SOT 4287926 SOS 2502724 HAS SOPS 1092638 HAS SOUS 492483 HAS SOUPS 474340 WITH SCORE 476842.724
AT ITER 1147 NEW BEST:: SOT 4287792 SOS 2502054 HAS SOPS 1091968 HAS SOUS 492215 HAS SOUPS 474072 WITH SCORE 476574.054
AT ITER 1148 NEW BEST:: SOT 4287627 SOS 2501538 HAS SOPS 1091452 HAS SOUS 491885 HAS SOUPS 473742 WITH SCORE 476243.538
AT ITER 1156 NEW BEST:: SOT 4287391 SOS 2500004 HAS SOPS 1089918 HAS SOUS 491531 HAS SOUPS 473388 WITH SCORE 475888.004
AT ITER 1158 NEW BEST:: SOT 4287123 SOS 2499833 HAS SOPS 1090139 HAS SOUS 491514 HAS SOUPS 473371 WITH SCORE 475870.833
AT ITER 1163 NEW BEST:: SOT 4286970 SOS 2499345 HAS SOPS 1089651 HAS SOUS 491075 HAS SOUPS 472932 WITH SCORE 475431.345
AT ITER 1167 NEW BEST:: SOT 4286546 SOS 2499008 HAS SOPS 1089493 HAS SOUS 490964 HAS SOUPS 472821 WITH SCORE 475320.008
AT ITER 1187 NEW BEST:: SOT 4286490 SOS 2498644 HAS SOPS 1089157 HAS SOUS 490880 HAS SOUPS 472737 WITH SCORE 475235.644
AT ITER 1189 NEW BEST:: SOT 4286229 SOS 2497162 HAS SOPS 1087855 HAS SOUS 490310 HAS SOUPS 472167 WITH SCORE 474664.162
AT ITER 1194 NEW BEST:: SOT 4286096 SOS 2496962 HAS SOPS 1087072 HAS SOUS 489707 HAS SOUPS 471564 WITH SCORE 474060.962
AT ITER 1201 NEW BEST:: SOT 4286068 SOS 2496858 HAS SOPS 1086968 HAS SOUS 489651 HAS SOUPS 471508 WITH SCORE 474004.858
AT ITER 1205 NEW BEST:: SOT 4285651 SOS 2496411 HAS SOPS 1086519 HAS SOUS 489202 HAS SOUPS 471059 WITH SCORE 473555.411
AT ITER 1207 NEW BEST:: SOT 4285542 SOS 2496425 HAS SOPS 1086770 HAS SOUS 489116 HAS SOUPS 470973 WITH SCORE 473469.425
AT ITER 1209 NEW BEST:: SOT 4285542 SOS 2496425 HAS SOPS 1086560 HAS SOUS 489011 HAS SOUPS 470868 WITH SCORE 473364.425
AT ITER 1230 NEW BEST:: SOT 4285528 SOS 2496411 HAS SOPS 1086560 HAS SOUS 489011 HAS SOUPS 470868 WITH SCORE 473364.411
AT ITER 1233 NEW BEST:: SOT 4285459 SOS 2494480 HAS SOPS 1084629 HAS SOUS 488873 HAS SOUPS 470730 WITH SCORE 473224.48
AT ITER 1235 NEW BEST:: SOT 4285101 SOS 2491780 HAS SOPS 1081929 HAS SOUS 488405 HAS SOUPS 470262 WITH SCORE 472753.78
AT ITER 1242 NEW BEST:: SOT 4283012 SOS 2489616 HAS SOPS 1080352 HAS SOUS 486816 HAS SOUPS 468685 WITH SCORE 471174.616
AT ITER 1243 NEW BEST:: SOT 4283012 SOS 2489001 HAS SOPS 1079737 HAS SOUS 486816 HAS SOUPS 468685 WITH SCORE 471174.001
AT ITER 1250 NEW BEST:: SOT 4283012 SOS 2488883 HAS SOPS 1079619 HAS SOUS 486757 HAS SOUPS 468626 WITH SCORE 471114.883
AT ITER 1256 NEW BEST:: SOT 4282566 SOS 2488218 HAS SOPS 1079217 HAS SOUS 486600 HAS SOUPS 468224 WITH SCORE 470712.218
AT ITER 1264 NEW BEST:: SOT 4282319 SOS 2488126 HAS SOPS 1078723 HAS SOUS 485951 HAS SOUPS 467575 WITH SCORE 470063.126
AT ITER 1265 NEW BEST:: SOT 4281788 SOS 2487537 HAS SOPS 1077661 HAS SOUS 485884 HAS SOUPS 467508 WITH SCORE 469995.537
AT ITER 1276 NEW BEST:: SOT 4281769 SOS 2487518 HAS SOPS 1077461 HAS SOUS 485765 HAS SOUPS 467389 WITH SCORE 469876.518
AT ITER 1288 NEW BEST:: SOT 4281769 SOS 2487518 HAS SOPS 1077379 HAS SOUS 485724 HAS SOUPS 467348 WITH SCORE 469835.518
AT ITER 1294 NEW BEST:: SOT 4281996 SOS 2487906 HAS SOPS 1077033 HAS SOUS 485416 HAS SOUPS 467002 WITH SCORE 469489.906
AT ITER 1308 NEW BEST:: SOT 4281646 SOS 2487777 HAS SOPS 1077007 HAS SOUS 484897 HAS SOUPS 466483 WITH SCORE 468970.777
AT ITER 1311 NEW BEST:: SOT 4281613 SOS 2487700 HAS SOPS 1076554 HAS SOUS 484597 HAS SOUPS 466183 WITH SCORE 468670.7
AT ITER 1314 NEW BEST:: SOT 4281590 SOS 2489805 HAS SOPS 1078593 HAS SOUS 484579 HAS SOUPS 466165 WITH SCORE 468654.805
AT ITER 1317 NEW BEST:: SOT 4281590 SOS 2489805 HAS SOPS 1078584 HAS SOUS 484570 HAS SOUPS 466156 WITH SCORE 468645.805
AT ITER 1324 NEW BEST:: SOT 4281497 SOS 2489712 HAS SOPS 1078491 HAS SOUS 484570 HAS SOUPS 466156 WITH SCORE 468645.712
AT ITER 1327 NEW BEST:: SOT 4281301 SOS 2491496 HAS SOPS 1080275 HAS SOUS 484399 HAS SOUPS 465985 WITH SCORE 468476.496
AT ITER 1328 NEW BEST:: SOT 4281301 SOS 2491480 HAS SOPS 1080259 HAS SOUS 484399 HAS SOUPS 465985 WITH SCORE 468476.48
AT ITER 1330 NEW BEST:: SOT 4281260 SOS 2491439 HAS SOPS 1080177 HAS SOUS 484317 HAS SOUPS 465903 WITH SCORE 468394.439
AT ITER 1331 NEW BEST:: SOT 4281098 SOS 2491117 HAS SOPS 1079993 HAS SOUS 484143 HAS SOUPS 465729 WITH SCORE 468220.117
AT ITER 1348 NEW BEST:: SOT 4281013 SOS 2490843 HAS SOPS 1079632 HAS SOUS 483954 HAS SOUPS 465540 WITH SCORE 468030.843
AT ITER 1358 NEW BEST:: SOT 4280990 SOS 2490728 HAS SOPS 1079517 HAS SOUS 483904 HAS SOUPS 465490 WITH SCORE 467980.728
AT ITER 1365 NEW BEST:: SOT 4280950 SOS 2490715 HAS SOPS 1079184 HAS SOUS 483684 HAS SOUPS 465270 WITH SCORE 467760.715
AT ITER 1368 NEW BEST:: SOT 4280594 SOS 2490165 HAS SOPS 1078634 HAS SOUS 483158 HAS SOUPS 464744 WITH SCORE 467234.165
AT ITER 1369 NEW BEST:: SOT 4280275 SOS 2489943 HAS SOPS 1078584 HAS SOUS 482969 HAS SOUPS 464555 WITH SCORE 467044.943
AT ITER 1372 NEW BEST:: SOT 4280057 SOS 2489777 HAS SOPS 1078612 HAS SOUS 482759 HAS SOUPS 464345 WITH SCORE 466834.777
AT ITER 1375 NEW BEST:: SOT 4279769 SOS 2489342 HAS SOPS 1077688 HAS SOUS 481983 HAS SOUPS 463569 WITH SCORE 466058.342
AT ITER 1384 NEW BEST:: SOT 4279757 SOS 2489330 HAS SOPS 1077672 HAS SOUS 481971 HAS SOUPS 463553 WITH SCORE 466042.33
AT ITER 1389 NEW BEST:: SOT 4279688 SOS 2488712 HAS SOPS 1077054 HAS SOUS 481854 HAS SOUPS 463436 WITH SCORE 465924.712
AT ITER 1409 NEW BEST:: SOT 4279618 SOS 2488789 HAS SOPS 1077156 HAS SOUS 481831 HAS SOUPS 463413 WITH SCORE 465901.789
AT ITER 1416 NEW BEST:: SOT 4279591 SOS 2488885 HAS SOPS 1077252 HAS SOUS 481801 HAS SOUPS 463383 WITH SCORE 465871.885
AT ITER 1417 NEW BEST:: SOT 4279540 SOS 2488385 HAS SOPS 1076752 HAS SOUS 481699 HAS SOUPS 463281 WITH SCORE 465769.385
AT ITER 1425 NEW BEST:: SOT 4279472 SOS 2487943 HAS SOPS 1076310 HAS SOUS 481563 HAS SOUPS 463145 WITH SCORE 465632.943
AT ITER 1427 NEW BEST:: SOT 4279399 SOS 2488002 HAS SOPS 1075878 HAS SOUS 481459 HAS SOUPS 462647 WITH SCORE 465135.002
AT ITER 1437 NEW BEST:: SOT 4278678 SOS 2487281 HAS SOPS 1074347 HAS SOUS 480811 HAS SOUPS 461845 WITH SCORE 464332.281
AT ITER 1446 NEW BEST:: SOT 4278223 SOS 2486826 HAS SOPS 1073869 HAS SOUS 480403 HAS SOUPS 461367 WITH SCORE 463853.826
AT ITER 1450 NEW BEST:: SOT 4278166 SOS 2487902 HAS SOPS 1074843 HAS SOUS 480269 HAS SOUPS 461233 WITH SCORE 463720.902
AT ITER 1456 NEW BEST:: SOT 4278166 SOS 2487902 HAS SOPS 1074717 HAS SOUS 480206 HAS SOUPS 461170 WITH SCORE 463657.902
AT ITER 1464 NEW BEST:: SOT 4278166 SOS 2487686 HAS SOPS 1074501 HAS SOUS 480134 HAS SOUPS 461098 WITH SCORE 463585.686
AT ITER 1466 NEW BEST:: SOT 4278072 SOS 2484330 HAS SOPS 1071343 HAS SOUS 479946 HAS SOUPS 460910 WITH SCORE 463394.33
AT ITER 1474 NEW BEST:: SOT 4278180 SOS 2484798 HAS SOPS 1071551 HAS SOUS 479760 HAS SOUPS 460724 WITH SCORE 463208.798
AT ITER 1478 NEW BEST:: SOT 4278131 SOS 2484761 HAS SOPS 1071575 HAS SOUS 479723 HAS SOUPS 460687 WITH SCORE 463171.761
AT ITER 1479 NEW BEST:: SOT 4277977 SOS 2481773 HAS SOPS 1068587 HAS SOUS 479415 HAS SOUPS 460379 WITH SCORE 462860.773
AT ITER 1481 NEW BEST:: SOT 4277823 SOS 2479405 HAS SOPS 1066631 HAS SOUS 479313 HAS SOUPS 460277 WITH SCORE 462756.405
AT ITER 1491 NEW BEST:: SOT 4277748 SOS 2479330 HAS SOPS 1066481 HAS SOUS 479163 HAS SOUPS 460127 WITH SCORE 462606.33
AT ITER 1495 NEW BEST:: SOT 4277560 SOS 2479142 HAS SOPS 1066105 HAS SOUS 478787 HAS SOUPS 459751 WITH SCORE 462230.142
AT ITER 1509 NEW BEST:: SOT 4277560 SOS 2479142 HAS SOPS 1065713 HAS SOUS 478591 HAS SOUPS 459555 WITH SCORE 462034.142
AT ITER 1512 NEW BEST:: SOT 4277205 SOS 2482935 HAS SOPS 1065377 HAS SOUS 478486 HAS SOUPS 459404 WITH SCORE 461886.935
AT ITER 1515 NEW BEST:: SOT 4277105 SOS 2482835 HAS SOPS 1065377 HAS SOUS 478486 HAS SOUPS 459404 WITH SCORE 461886.835
AT ITER 1520 NEW BEST:: SOT 4277100 SOS 2482803 HAS SOPS 1065345 HAS SOUS 478476 HAS SOUPS 459394 WITH SCORE 461876.803
AT ITER 1527 NEW BEST:: SOT 4277136 SOS 2483002 HAS SOPS 1064768 HAS SOUS 478467 HAS SOUPS 458937 WITH SCORE 461420.002
AT ITER 1529 NEW BEST:: SOT 4277026 SOS 2482395 HAS SOPS 1064204 HAS SOUS 478333 HAS SOUPS 458803 WITH SCORE 461285.395
AT ITER 1535 NEW BEST:: SOT 4277008 SOS 2482509 HAS SOPS 1064318 HAS SOUS 478297 HAS SOUPS 458767 WITH SCORE 461249.509
AT ITER 1537 NEW BEST:: SOT 4276998 SOS 2482479 HAS SOPS 1064308 HAS SOUS 478297 HAS SOUPS 458767 WITH SCORE 461249.479
AT ITER 1542 NEW BEST:: SOT 4275288 SOS 2480764 HAS SOPS 1062377 HAS SOUS 476614 HAS SOUPS 457081 WITH SCORE 459561.764
AT ITER 1547 NEW BEST:: SOT 4273772 SOS 2479069 HAS SOPS 1059273 HAS SOUS 476544 HAS SOUPS 457011 WITH SCORE 459490.069
AT ITER 1558 NEW BEST:: SOT 4273772 SOS 2479069 HAS SOPS 1059273 HAS SOUS 476543 HAS SOUPS 457010 WITH SCORE 459489.069
AT ITER 1562 NEW BEST:: SOT 4271577 SOS 2476840 HAS SOPS 1056738 HAS SOUS 476300 HAS SOUPS 456767 WITH SCORE 459243.84
AT ITER 1564 NEW BEST:: SOT 4271484 SOS 2476747 HAS SOPS 1056645 HAS SOUS 476121 HAS SOUPS 456588 WITH SCORE 459064.747
AT ITER 1586 NEW BEST:: SOT 4271434 SOS 2476863 HAS SOPS 1056761 HAS SOUS 476021 HAS SOUPS 456488 WITH SCORE 458964.863
AT ITER 1597 NEW BEST:: SOT 4271549 SOS 2476804 HAS SOPS 1056551 HAS SOUS 475985 HAS SOUPS 456452 WITH SCORE 458928.804
AT ITER 1604 NEW BEST:: SOT 4271549 SOS 2476754 HAS SOPS 1056501 HAS SOUS 475985 HAS SOUPS 456452 WITH SCORE 458928.754
AT ITER 1616 NEW BEST:: SOT 4271431 SOS 2475833 HAS SOPS 1055844 HAS SOUS 475784 HAS SOUPS 456251 WITH SCORE 458726.833
AT ITER 1623 NEW BEST:: SOT 4271412 SOS 2475624 HAS SOPS 1055635 HAS SOUS 475746 HAS SOUPS 456213 WITH SCORE 458688.624
AT ITER 1630 NEW BEST:: SOT 4271412 SOS 2475614 HAS SOPS 1055625 HAS SOUS 475746 HAS SOUPS 456213 WITH SCORE 458688.614
AT ITER 1640 NEW BEST:: SOT 4271395 SOS 2475566 HAS SOPS 1055529 HAS SOUS 475680 HAS SOUPS 456147 WITH SCORE 458622.566
AT ITER 1657 NEW BEST:: SOT 4271368 SOS 2475662 HAS SOPS 1055475 HAS SOUS 475503 HAS SOUPS 455970 WITH SCORE 458445.662
AT ITER 1670 NEW BEST:: SOT 4271292 SOS 2475609 HAS SOPS 1055242 HAS SOUS 475270 HAS SOUPS 455737 WITH SCORE 458212.609
AT ITER 1671 NEW BEST:: SOT 4271287 SOS 2475608 HAS SOPS 1055240 HAS SOUS 475264 HAS SOUPS 455731 WITH SCORE 458206.608
AT ITER 1673 NEW BEST:: SOT 4271265 SOS 2475643 HAS SOPS 1055275 HAS SOUS 475220 HAS SOUPS 455687 WITH SCORE 458162.643
AT ITER 1676 NEW BEST:: SOT 4271029 SOS 2474109 HAS SOPS 1053977 HAS SOUS 474984 HAS SOUPS 455451 WITH SCORE 457925.109
AT ITER 1678 NEW BEST:: SOT 4270657 SOS 2474648 HAS SOPS 1054517 HAS SOUS 474828 HAS SOUPS 455295 WITH SCORE 457769.648
AT ITER 1680 NEW BEST:: SOT 4270657 SOS 2474582 HAS SOPS 1054451 HAS SOUS 474828 HAS SOUPS 455295 WITH SCORE 457769.582
AT ITER 1682 NEW BEST:: SOT 4270363 SOS 2474312 HAS SOPS 1054265 HAS SOUS 474417 HAS SOUPS 454884 WITH SCORE 457358.312
AT ITER 1684 NEW BEST:: SOT 4268165 SOS 2471870 HAS SOPS 1052067 HAS SOUS 474415 HAS SOUPS 454882 WITH SCORE 457353.87
AT ITER 1687 NEW BEST:: SOT 4268122 SOS 2471440 HAS SOPS 1051637 HAS SOUS 474329 HAS SOUPS 454796 WITH SCORE 457267.44
AT ITER 1699 NEW BEST:: SOT 4267886 SOS 2466425 HAS SOPS 1046622 HAS SOUS 473857 HAS SOUPS 454324 WITH SCORE 456790.425
AT ITER 1701 NEW BEST:: SOT 4267868 SOS 2466335 HAS SOPS 1046538 HAS SOUS 473833 HAS SOUPS 454300 WITH SCORE 456766.335
AT ITER 1704 NEW BEST:: SOT 4267555 SOS 2466022 HAS SOPS 1045865 HAS SOUS 473520 HAS SOUPS 453951 WITH SCORE 456417.022
AT ITER 1718 NEW BEST:: SOT 4267547 SOS 2465998 HAS SOPS 1045865 HAS SOUS 473520 HAS SOUPS 453951 WITH SCORE 456416.998
AT ITER 1723 NEW BEST:: SOT 4267547 SOS 2465988 HAS SOPS 1045855 HAS SOUS 473520 HAS SOUPS 453951 WITH SCORE 456416.988
AT ITER 1730 NEW BEST:: SOT 4265684 SOS 2463907 HAS SOPS 1042067 HAS SOUS 473439 HAS SOUPS 453674 WITH SCORE 456137.907
AT ITER 1741 NEW BEST:: SOT 4265596 SOS 2463819 HAS SOPS 1042069 HAS SOUS 473352 HAS SOUPS 453587 WITH SCORE 456050.819
AT ITER 1745 NEW BEST:: SOT 4265643 SOS 2463913 HAS SOPS 1041841 HAS SOUS 473124 HAS SOUPS 453359 WITH SCORE 455822.913
AT ITER 1752 NEW BEST:: SOT 4265556 SOS 2463652 HAS SOPS 1041580 HAS SOUS 472863 HAS SOUPS 453098 WITH SCORE 455561.652
AT ITER 1765 NEW BEST:: SOT 4265421 SOS 2466349 HAS SOPS 1044100 HAS SOUS 472635 HAS SOUPS 452870 WITH SCORE 455336.349
AT ITER 1774 NEW BEST:: SOT 4265361 SOS 2465749 HAS SOPS 1043500 HAS SOUS 472575 HAS SOUPS 452810 WITH SCORE 455275.749
AT ITER 1785 NEW BEST:: SOT 4264952 SOS 2467245 HAS SOPS 1044462 HAS SOUS 472042 HAS SOUPS 452397 WITH SCORE 454864.245
AT ITER 1793 NEW BEST:: SOT 4264934 SOS 2467135 HAS SOPS 1044352 HAS SOUS 471969 HAS SOUPS 452324 WITH SCORE 454791.135
AT ITER 1816 NEW BEST:: SOT 4264892 SOS 2467093 HAS SOPS 1044268 HAS SOUS 471885 HAS SOUPS 452240 WITH SCORE 454707.093
AT ITER 1833 NEW BEST:: SOT 4264892 SOS 2466791 HAS SOPS 1043966 HAS SOUS 471866 HAS SOUPS 452221 WITH SCORE 454687.791
AT ITER 1840 NEW BEST:: SOT 4264171 SOS 2466522 HAS SOPS 1045940 HAS SOUS 471021 HAS SOUPS 451138 WITH SCORE 453604.522
AT ITER 1849 NEW BEST:: SOT 4263534 SOS 2467518 HAS SOPS 1046282 HAS SOUS 470181 HAS SOUPS 450418 WITH SCORE 452885.518
AT ITER 1850 NEW BEST:: SOT 4263528 SOS 2467482 HAS SOPS 1046252 HAS SOUS 470172 HAS SOUPS 450409 WITH SCORE 452876.482
AT ITER 1856 NEW BEST:: SOT 4263458 SOS 2467418 HAS SOPS 1046366 HAS SOUS 470141 HAS SOUPS 450378 WITH SCORE 452845.418
AT ITER 1858 NEW BEST:: SOT 4263380 SOS 2467182 HAS SOPS 1046130 HAS SOUS 470104 HAS SOUPS 450341 WITH SCORE 452808.182
AT ITER 1860 NEW BEST:: SOT 4263380 SOS 2467145 HAS SOPS 1046093 HAS SOUS 470104 HAS SOUPS 450341 WITH SCORE 452808.145
AT ITER 1883 NEW BEST:: SOT 4263380 SOS 2467126 HAS SOPS 1046093 HAS SOUS 470104 HAS SOUPS 450341 WITH SCORE 452808.126
AT ITER 1884 NEW BEST:: SOT 4263378 SOS 2467239 HAS SOPS 1046021 HAS SOUS 469795 HAS SOUPS 450032 WITH SCORE 452499.239
AT ITER 1889 NEW BEST:: SOT 4263369 SOS 2467230 HAS SOPS 1046003 HAS SOUS 469783 HAS SOUPS 450014 WITH SCORE 452481.23
AT ITER 1890 NEW BEST:: SOT 4263357 SOS 2467230 HAS SOPS 1045967 HAS SOUS 469747 HAS SOUPS 449978 WITH SCORE 452445.23
AT ITER 1898 NEW BEST:: SOT 4263357 SOS 2467333 HAS SOPS 1045864 HAS SOUS 469644 HAS SOUPS 449875 WITH SCORE 452342.333
AT ITER 1908 NEW BEST:: SOT 4263357 SOS 2467281 HAS SOPS 1045760 HAS SOUS 469592 HAS SOUPS 449823 WITH SCORE 452290.281
AT ITER 1920 NEW BEST:: SOT 4263357 SOS 2467257 HAS SOPS 1045736 HAS SOUS 469592 HAS SOUPS 449823 WITH SCORE 452290.257
AT ITER 1966 NEW BEST:: SOT 4262990 SOS 2466890 HAS SOPS 1044959 HAS SOUS 469621 HAS SOUPS 449811 WITH SCORE 452277.89
AT ITER 1970 NEW BEST:: SOT 4262828 SOS 2466546 HAS SOPS 1044615 HAS SOUS 469277 HAS SOUPS 449467 WITH SCORE 451933.546
AT ITER 1971 NEW BEST:: SOT 4262533 SOS 2465729 HAS SOPS 1043813 HAS SOUS 468784 HAS SOUPS 448974 WITH SCORE 451439.729
AT ITER 1988 NEW BEST:: SOT 4262516 SOS 2465712 HAS SOPS 1043813 HAS SOUS 468767 HAS SOUPS 448957 WITH SCORE 451422.712
AT ITER 2001 NEW BEST:: SOT 4262402 SOS 2465576 HAS SOPS 1043699 HAS SOUS 468633 HAS SOUPS 448823 WITH SCORE 451288.576
AT ITER 2007 NEW BEST:: SOT 4262369 SOS 2465576 HAS SOPS 1043699 HAS SOUS 468600 HAS SOUPS 448790 WITH SCORE 451255.576
AT ITER 2010 NEW BEST:: SOT 4262421 SOS 2465628 HAS SOPS 1043811 HAS SOUS 468572 HAS SOUPS 448768 WITH SCORE 451233.628
AT ITER 2011 NEW BEST:: SOT 4261897 SOS 2465503 HAS SOPS 1046030 HAS SOUS 468464 HAS SOUPS 448660 WITH SCORE 451125.503
AT ITER 2012 NEW BEST:: SOT 4261906 SOS 2465521 HAS SOPS 1046001 HAS SOUS 468435 HAS SOUPS 448631 WITH SCORE 451096.521
AT ITER 2020 NEW BEST:: SOT 4261906 SOS 2465488 HAS SOPS 1045968 HAS SOUS 468435 HAS SOUPS 448631 WITH SCORE 451096.488
AT ITER 2022 NEW BEST:: SOT 4261863 SOS 2465506 HAS SOPS 1045882 HAS SOUS 468205 HAS SOUPS 448401 WITH SCORE 450866.506
AT ITER 2029 NEW BEST:: SOT 4261848 SOS 2465491 HAS SOPS 1045867 HAS SOUS 468190 HAS SOUPS 448386 WITH SCORE 450851.491
AT ITER 2030 NEW BEST:: SOT 4261787 SOS 2465072 HAS SOPS 1045481 HAS SOUS 468101 HAS SOUPS 448297 WITH SCORE 450762.072
AT ITER 2032 NEW BEST:: SOT 4261690 SOS 2464878 HAS SOPS 1045481 HAS SOUS 468101 HAS SOUPS 448297 WITH SCORE 450761.878
AT ITER 2036 NEW BEST:: SOT 4261683 SOS 2464886 HAS SOPS 1045424 HAS SOUS 467995 HAS SOUPS 448191 WITH SCORE 450655.886
AT ITER 2039 NEW BEST:: SOT 4261602 SOS 2464738 HAS SOPS 1044342 HAS SOUS 467526 HAS SOUPS 447272 WITH SCORE 449736.738
AT ITER 2048 NEW BEST:: SOT 4261159 SOS 2464039 HAS SOPS 1043558 HAS SOUS 467230 HAS SOUPS 446976 WITH SCORE 449440.039
AT ITER 2049 NEW BEST:: SOT 4260959 SOS 2463841 HAS SOPS 1043358 HAS SOUS 467032 HAS SOUPS 446776 WITH SCORE 449239.841
AT ITER 2050 NEW BEST:: SOT 4260605 SOS 2463488 HAS SOPS 1042802 HAS SOUS 466391 HAS SOUPS 446135 WITH SCORE 448598.488
AT ITER 2061 NEW BEST:: SOT 4260626 SOS 2463377 HAS SOPS 1042556 HAS SOUS 466198 HAS SOUPS 445942 WITH SCORE 448405.377
AT ITER 2063 NEW BEST:: SOT 4260404 SOS 2463316 HAS SOPS 1042728 HAS SOUS 466070 HAS SOUPS 445814 WITH SCORE 448277.316
AT ITER 2070 NEW BEST:: SOT 4260273 SOS 2461884 HAS SOPS 1041426 HAS SOUS 465938 HAS SOUPS 445682 WITH SCORE 448143.884
AT ITER 2078 NEW BEST:: SOT 4260273 SOS 2462018 HAS SOPS 1041292 HAS SOUS 465804 HAS SOUPS 445548 WITH SCORE 448010.018
AT ITER 2087 NEW BEST:: SOT 4260273 SOS 2462018 HAS SOPS 1041253 HAS SOUS 465765 HAS SOUPS 445509 WITH SCORE 447971.018
AT ITER 2095 NEW BEST:: SOT 4260262 SOS 2461873 HAS SOPS 1041108 HAS SOUS 465754 HAS SOUPS 445498 WITH SCORE 447959.873
AT ITER 2107 NEW BEST:: SOT 4259848 SOS 2461531 HAS SOPS 1041092 HAS SOUS 465685 HAS SOUPS 445429 WITH SCORE 447890.531
AT ITER 2117 NEW BEST:: SOT 4259833 SOS 2461516 HAS SOPS 1041077 HAS SOUS 465670 HAS SOUPS 445414 WITH SCORE 447875.516
AT ITER 2122 NEW BEST:: SOT 4259833 SOS 2461488 HAS SOPS 1041049 HAS SOUS 465670 HAS SOUPS 445414 WITH SCORE 447875.488
AT ITER 2138 NEW BEST:: SOT 4259744 SOS 2461457 HAS SOPS 1041018 HAS SOUS 465492 HAS SOUPS 445236 WITH SCORE 447697.457
AT ITER 2143 NEW BEST:: SOT 4259807 SOS 2461284 HAS SOPS 1040727 HAS SOUS 465431 HAS SOUPS 445175 WITH SCORE 447636.284
AT ITER 2157 NEW BEST:: SOT 4259807 SOS 2460715 HAS SOPS 1040197 HAS SOUS 465431 HAS SOUPS 445175 WITH SCORE 447635.715
AT ITER 2162 NEW BEST:: SOT 4259491 SOS 2459793 HAS SOPS 1039275 HAS SOUS 464957 HAS SOUPS 444701 WITH SCORE 447160.793
AT ITER 2171 NEW BEST:: SOT 4259491 SOS 2459793 HAS SOPS 1039275 HAS SOUS 464900 HAS SOUPS 444644 WITH SCORE 447103.793
AT ITER 2172 NEW BEST:: SOT 4259309 SOS 2458610 HAS SOPS 1038092 HAS SOUS 464627 HAS SOUPS 444371 WITH SCORE 446829.61
AT ITER 2173 NEW BEST:: SOT 4259018 SOS 2458231 HAS SOPS 1037920 HAS SOUS 464338 HAS SOUPS 444082 WITH SCORE 446540.231
AT ITER 2175 NEW BEST:: SOT 4259011 SOS 2458205 HAS SOPS 1037894 HAS SOUS 464324 HAS SOUPS 444068 WITH SCORE 446526.205
AT ITER 2180 NEW BEST:: SOT 4258600 SOS 2457643 HAS SOPS 1037513 HAS SOUS 463851 HAS SOUPS 443595 WITH SCORE 446052.643
AT ITER 2181 NEW BEST:: SOT 4258429 SOS 2460333 HAS SOPS 1040203 HAS SOUS 463692 HAS SOUPS 443436 WITH SCORE 445896.333
AT ITER 2189 NEW BEST:: SOT 4258409 SOS 2460457 HAS SOPS 1040327 HAS SOUS 463652 HAS SOUPS 443396 WITH SCORE 445856.457
AT ITER 2196 NEW BEST:: SOT 4258409 SOS 2460380 HAS SOPS 1040250 HAS SOUS 463652 HAS SOUPS 443396 WITH SCORE 445856.38
AT ITER 2200 NEW BEST:: SOT 4258344 SOS 2460224 HAS SOPS 1040094 HAS SOUS 463522 HAS SOUPS 443266 WITH SCORE 445726.224
AT ITER 2210 NEW BEST:: SOT 4258175 SOS 2459958 HAS SOPS 1039828 HAS SOUS 463353 HAS SOUPS 443097 WITH SCORE 445556.958
AT ITER 2218 NEW BEST:: SOT 4258098 SOS 2458957 HAS SOPS 1038904 HAS SOUS 463276 HAS SOUPS 443020 WITH SCORE 445478.957
AT ITER 2223 NEW BEST:: SOT 4257902 SOS 2458734 HAS SOPS 1038916 HAS SOUS 463120 HAS SOUPS 442864 WITH SCORE 445322.734
AT ITER 2229 NEW BEST:: SOT 4257719 SOS 2456178 HAS SOPS 1036360 HAS SOUS 462754 HAS SOUPS 442498 WITH SCORE 444954.178
AT ITER 2230 NEW BEST:: SOT 4257703 SOS 2456146 HAS SOPS 1036328 HAS SOUS 462722 HAS SOUPS 442466 WITH SCORE 444922.146
AT ITER 2239 NEW BEST:: SOT 4257698 SOS 2457170 HAS SOPS 1037070 HAS SOUS 462524 HAS SOUPS 442268 WITH SCORE 444725.17
AT ITER 2248 NEW BEST:: SOT 4255513 SOS 2454928 HAS SOPS 1034885 HAS SOUS 462473 HAS SOUPS 442217 WITH SCORE 444671.928
AT ITER 2253 NEW BEST:: SOT 4255513 SOS 2454917 HAS SOPS 1034874 HAS SOUS 462473 HAS SOUPS 442217 WITH SCORE 444671.917
AT ITER 2258 NEW BEST:: SOT 4255513 SOS 2454910 HAS SOPS 1034867 HAS SOUS 462473 HAS SOUPS 442217 WITH SCORE 444671.91
AT ITER 2264 NEW BEST:: SOT 4255473 SOS 2454148 HAS SOPS 1034245 HAS SOUS 462392 HAS SOUPS 442136 WITH SCORE 444590.148
AT ITER 2267 NEW BEST:: SOT 4255466 SOS 2454181 HAS SOPS 1034231 HAS SOUS 462425 HAS SOUPS 442122 WITH SCORE 444576.181
AT ITER 2271 NEW BEST:: SOT 4255345 SOS 2454243 HAS SOPS 1033989 HAS SOUS 462136 HAS SOUPS 441887 WITH SCORE 444341.243
AT ITER 2274 NEW BEST:: SOT 4255199 SOS 2454097 HAS SOPS 1033781 HAS SOUS 461844 HAS SOUPS 441595 WITH SCORE 444049.097
AT ITER 2278 NEW BEST:: SOT 4254659 SOS 2453657 HAS SOPS 1033320 HAS SOUS 461255 HAS SOUPS 441126 WITH SCORE 443579.657
AT ITER 2283 NEW BEST:: SOT 4254640 SOS 2453413 HAS SOPS 1033082 HAS SOUS 461242 HAS SOUPS 441113 WITH SCORE 443566.413
AT ITER 2287 NEW BEST:: SOT 4254619 SOS 2450197 HAS SOPS 1029866 HAS SOUS 461200 HAS SOUPS 441071 WITH SCORE 443521.197
AT ITER 2288 NEW BEST:: SOT 4254497 SOS 2450321 HAS SOPS 1029804 HAS SOUS 460889 HAS SOUPS 440760 WITH SCORE 443210.321
AT ITER 2293 NEW BEST:: SOT 4254607 SOS 2450603 HAS SOPS 1030086 HAS SOUS 460820 HAS SOUPS 440691 WITH SCORE 443141.603
AT ITER 2294 NEW BEST:: SOT 4254602 SOS 2450598 HAS SOPS 1030081 HAS SOUS 460805 HAS SOUPS 440676 WITH SCORE 443126.598
AT ITER 2298 NEW BEST:: SOT 4254408 SOS 2452508 HAS SOPS 1029887 HAS SOUS 460823 HAS SOUPS 440671 WITH SCORE 443123.508
AT ITER 2301 NEW BEST:: SOT 4254422 SOS 2452125 HAS SOPS 1029504 HAS SOUS 460566 HAS SOUPS 440414 WITH SCORE 442866.125
AT ITER 2331 NEW BEST:: SOT 4254369 SOS 2451824 HAS SOPS 1029203 HAS SOUS 460405 HAS SOUPS 440253 WITH SCORE 442704.824
AT ITER 2334 NEW BEST:: SOT 4254195 SOS 2451888 HAS SOPS 1029029 HAS SOUS 460231 HAS SOUPS 440079 WITH SCORE 442530.888
AT ITER 2342 NEW BEST:: SOT 4254084 SOS 2451751 HAS SOPS 1028716 HAS SOUS 459918 HAS SOUPS 439766 WITH SCORE 442217.751
AT ITER 2346 NEW BEST:: SOT 4254057 SOS 2451740 HAS SOPS 1028689 HAS SOUS 459891 HAS SOUPS 439739 WITH SCORE 442190.74
AT ITER 2376 NEW BEST:: SOT 4253928 SOS 2451224 HAS SOPS 1028173 HAS SOUS 459633 HAS SOUPS 439481 WITH SCORE 441932.224
AT ITER 2380 NEW BEST:: SOT 4253785 SOS 2448085 HAS SOPS 1025430 HAS SOUS 459620 HAS SOUPS 439468 WITH SCORE 441916.085
AT ITER 2407 NEW BEST:: SOT 4253785 SOS 2448026 HAS SOPS 1025371 HAS SOUS 459502 HAS SOUPS 439350 WITH SCORE 441798.026
AT ITER 2410 NEW BEST:: SOT 4253643 SOS 2441174 HAS SOPS 1025903 HAS SOUS 459180 HAS SOUPS 439099 WITH SCORE 441540.174
AT ITER 2418 NEW BEST:: SOT 4253629 SOS 2441023 HAS SOPS 1025752 HAS SOUS 459152 HAS SOUPS 439071 WITH SCORE 441512.023
AT ITER 2420 NEW BEST:: SOT 4253617 SOS 2440816 HAS SOPS 1025545 HAS SOUS 459119 HAS SOUPS 439038 WITH SCORE 441478.816
AT ITER 2425 NEW BEST:: SOT 4253593 SOS 2440825 HAS SOPS 1025554 HAS SOUS 459071 HAS SOUPS 438990 WITH SCORE 441430.825
AT ITER 2427 NEW BEST:: SOT 4253510 SOS 2441293 HAS SOPS 1026538 HAS SOUS 459015 HAS SOUPS 438934 WITH SCORE 441375.293
AT ITER 2437 NEW BEST:: SOT 4253441 SOS 2434800 HAS SOPS 1020045 HAS SOUS 458742 HAS SOUPS 438661 WITH SCORE 441095.8
AT ITER 2442 NEW BEST:: SOT 4253266 SOS 2434625 HAS SOPS 1007981 HAS SOUS 459266 HAS SOUPS 438436 WITH SCORE 440870.625
AT ITER 2449 NEW BEST:: SOT 4253362 SOS 2434721 HAS SOPS 1008077 HAS SOUS 459151 HAS SOUPS 438321 WITH SCORE 440755.721
AT ITER 2453 NEW BEST:: SOT 4253161 SOS 2433505 HAS SOPS 1007057 HAS SOUS 458852 HAS SOUPS 438022 WITH SCORE 440455.505
AT ITER 2454 NEW BEST:: SOT 4252643 SOS 2432734 HAS SOPS 1006701 HAS SOUS 458466 HAS SOUPS 437636 WITH SCORE 440068.734
AT ITER 2459 NEW BEST:: SOT 4252549 SOS 2432713 HAS SOPS 1006680 HAS SOUS 458246 HAS SOUPS 437416 WITH SCORE 439848.713
AT ITER 2461 NEW BEST:: SOT 4250405 SOS 2430334 HAS SOPS 1004536 HAS SOUS 458217 HAS SOUPS 437387 WITH SCORE 439817.334
AT ITER 2466 NEW BEST:: SOT 4250401 SOS 2430326 HAS SOPS 1004532 HAS SOUS 458213 HAS SOUPS 437383 WITH SCORE 439813.326
AT ITER 2482 NEW BEST:: SOT 4250342 SOS 2430267 HAS SOPS 1004414 HAS SOUS 458095 HAS SOUPS 437265 WITH SCORE 439695.267
AT ITER 2502 NEW BEST:: SOT 4250243 SOS 2430069 HAS SOPS 1004216 HAS SOUS 457670 HAS SOUPS 436840 WITH SCORE 439270.069
AT ITER 2515 NEW BEST:: SOT 4250238 SOS 2430108 HAS SOPS 1004137 HAS SOUS 457591 HAS SOUPS 436761 WITH SCORE 439191.108
AT ITER 2517 NEW BEST:: SOT 4250124 SOS 2429994 HAS SOPS 1003966 HAS SOUS 457420 HAS SOUPS 436590 WITH SCORE 439019.994
AT ITER 2522 NEW BEST:: SOT 4250105 SOS 2429956 HAS SOPS 1003964 HAS SOUS 457418 HAS SOUPS 436588 WITH SCORE 439017.956
AT ITER 2524 NEW BEST:: SOT 4249585 SOS 2429716 HAS SOPS 1004016 HAS SOUS 457048 HAS SOUPS 436218 WITH SCORE 438647.716
AT ITER 2537 NEW BEST:: SOT 4249414 SOS 2429545 HAS SOPS 1004016 HAS SOUS 457048 HAS SOUPS 436218 WITH SCORE 438647.545
AT ITER 2540 NEW BEST:: SOT 4249354 SOS 2429530 HAS SOPS 1003661 HAS SOUS 456758 HAS SOUPS 435928 WITH SCORE 438357.53
AT ITER 2541 NEW BEST:: SOT 4249149 SOS 2427150 HAS SOPS 1001675 HAS SOUS 456742 HAS SOUPS 435912 WITH SCORE 438339.15
AT ITER 2551 NEW BEST:: SOT 4249116 SOS 2426861 HAS SOPS 1001386 HAS SOUS 456676 HAS SOUPS 435846 WITH SCORE 438272.861
AT ITER 2562 NEW BEST:: SOT 4249433 SOS 2427305 HAS SOPS 1001074 HAS SOUS 456779 HAS SOUPS 435627 WITH SCORE 438054.305
AT ITER 2564 NEW BEST:: SOT 4249406 SOS 2427251 HAS SOPS 1001020 HAS SOUS 456725 HAS SOUPS 435573 WITH SCORE 438000.251
AT ITER 2571 NEW BEST:: SOT 4249196 SOS 2425886 HAS SOPS 999655 HAS SOUS 456305 HAS SOUPS 435153 WITH SCORE 437578.886
AT ITER 2573 NEW BEST:: SOT 4249196 SOS 2424962 HAS SOPS 998899 HAS SOUS 456305 HAS SOUPS 435153 WITH SCORE 437577.962
AT ITER 2583 NEW BEST:: SOT 4249142 SOS 2424923 HAS SOPS 998929 HAS SOUS 456266 HAS SOUPS 435114 WITH SCORE 437538.923
AT ITER 2588 NEW BEST:: SOT 4249049 SOS 2426077 HAS SOPS 999799 HAS SOUS 455948 HAS SOUPS 434796 WITH SCORE 437222.077
AT ITER 2594 NEW BEST:: SOT 4248652 SOS 2425734 HAS SOPS 999210 HAS SOUS 455261 HAS SOUPS 434109 WITH SCORE 436534.734
AT ITER 2601 NEW BEST:: SOT 4248652 SOS 2425734 HAS SOPS 999210 HAS SOUS 455234 HAS SOUPS 434082 WITH SCORE 436507.734
AT ITER 2634 NEW BEST:: SOT 4248592 SOS 2425614 HAS SOPS 999090 HAS SOUS 455174 HAS SOUPS 434022 WITH SCORE 436447.614
AT ITER 2636 NEW BEST:: SOT 4248590 SOS 2425612 HAS SOPS 999086 HAS SOUS 455170 HAS SOUPS 434018 WITH SCORE 436443.612
AT ITER 2638 NEW BEST:: SOT 4246868 SOS 2424156 HAS SOPS 999020 HAS SOUS 454808 HAS SOUPS 433656 WITH SCORE 436080.156
AT ITER 2647 NEW BEST:: SOT 4246921 SOS 2424209 HAS SOPS 999042 HAS SOUS 454776 HAS SOUPS 433624 WITH SCORE 436048.209
AT ITER 2659 NEW BEST:: SOT 4247064 SOS 2424496 HAS SOPS 998889 HAS SOUS 454694 HAS SOUPS 433542 WITH SCORE 435966.496
AT ITER 2682 NEW BEST:: SOT 4247052 SOS 2424352 HAS SOPS 998745 HAS SOUS 454682 HAS SOUPS 433530 WITH SCORE 435954.352
AT ITER 2697 NEW BEST:: SOT 4245664 SOS 2424056 HAS SOPS 998406 HAS SOUS 453538 HAS SOUPS 432386 WITH SCORE 434810.056
AT ITER 2700 NEW BEST:: SOT 4245216 SOS 2421979 HAS SOPS 996329 HAS SOUS 452716 HAS SOUPS 431564 WITH SCORE 433985.979
AT ITER 2703 NEW BEST:: SOT 4245195 SOS 2421958 HAS SOPS 996308 HAS SOUS 452695 HAS SOUPS 431543 WITH SCORE 433964.958
AT ITER 2718 NEW BEST:: SOT 4245195 SOS 2421698 HAS SOPS 996048 HAS SOUS 452695 HAS SOUPS 431543 WITH SCORE 433964.698
AT ITER 2722 NEW BEST:: SOT 4245218 SOS 2421230 HAS SOPS 995504 HAS SOUS 452665 HAS SOUPS 431513 WITH SCORE 433934.23
AT ITER 2724 NEW BEST:: SOT 4244574 SOS 2267293 HAS SOPS 984080 HAS SOUS 451569 HAS SOUPS 431117 WITH SCORE 433384.293
AT ITER 2735 NEW BEST:: SOT 4244521 SOS 2267249 HAS SOPS 984036 HAS SOUS 451392 HAS SOUPS 430940 WITH SCORE 433207.249
AT ITER 2741 NEW BEST:: SOT 4244472 SOS 2267204 HAS SOPS 983938 HAS SOUS 451290 HAS SOUPS 430838 WITH SCORE 433105.204
AT ITER 2746 NEW BEST:: SOT 4244412 SOS 2267024 HAS SOPS 983758 HAS SOUS 451170 HAS SOUPS 430718 WITH SCORE 432985.024
AT ITER 2747 NEW BEST:: SOT 4244445 SOS 2269764 HAS SOPS 985888 HAS SOUS 450978 HAS SOUPS 430526 WITH SCORE 432795.764
AT ITER 2748 NEW BEST:: SOT 4244271 SOS 2269532 HAS SOPS 985598 HAS SOUS 450688 HAS SOUPS 430236 WITH SCORE 432505.532
AT ITER 2755 NEW BEST:: SOT 4244234 SOS 2269458 HAS SOPS 985524 HAS SOUS 450646 HAS SOUPS 430194 WITH SCORE 432463.458
AT ITER 2758 NEW BEST:: SOT 4243980 SOS 2267640 HAS SOPS 983968 HAS SOUS 450392 HAS SOUPS 429940 WITH SCORE 432207.64
AT ITER 2793 NEW BEST:: SOT 4243775 SOS 2267289 HAS SOPS 983667 HAS SOUS 450091 HAS SOUPS 429639 WITH SCORE 431906.289
AT ITER 2806 NEW BEST:: SOT 4243766 SOS 2267148 HAS SOPS 983553 HAS SOUS 450085 HAS SOUPS 429633 WITH SCORE 431900.148
AT ITER 2807 NEW BEST:: SOT 4243729 SOS 2267074 HAS SOPS 983479 HAS SOUS 450011 HAS SOUPS 429559 WITH SCORE 431826.074
AT ITER 2827 NEW BEST:: SOT 4243681 SOS 2267026 HAS SOPS 983431 HAS SOUS 450011 HAS SOUPS 429559 WITH SCORE 431826.026
AT ITER 2847 NEW BEST:: SOT 4243681 SOS 2267656 HAS SOPS 983935 HAS SOUS 449948 HAS SOUPS 429496 WITH SCORE 431763.656
AT ITER 2860 NEW BEST:: SOT 4243376 SOS 2269577 HAS SOPS 986701 HAS SOUS 449365 HAS SOUPS 429094 WITH SCORE 431363.577
AT ITER 2868 NEW BEST:: SOT 4243347 SOS 2269243 HAS SOPS 986367 HAS SOUS 449307 HAS SOUPS 429036 WITH SCORE 431305.243
AT ITER 2870 NEW BEST:: SOT 4243091 SOS 2267583 HAS SOPS 984831 HAS SOUS 449051 HAS SOUPS 428780 WITH SCORE 431047.583
AT ITER 2883 NEW BEST:: SOT 4243091 SOS 2267597 HAS SOPS 984817 HAS SOUS 449037 HAS SOUPS 428766 WITH SCORE 431033.597
AT ITER 2884 NEW BEST:: SOT 4242911 SOS 2267618 HAS SOPS 984736 HAS SOUS 448857 HAS SOUPS 428586 WITH SCORE 430853.618
AT ITER 2891 NEW BEST:: SOT 4242899 SOS 2267224 HAS SOPS 984342 HAS SOUS 448833 HAS SOUPS 428562 WITH SCORE 430829.224
AT ITER 2910 NEW BEST:: SOT 4242388 SOS 2266446 HAS SOPS 983320 HAS SOUS 447811 HAS SOUPS 427540 WITH SCORE 429806.446
AT ITER 2926 NEW BEST:: SOT 4242372 SOS 2266387 HAS SOPS 983261 HAS SOUS 447779 HAS SOUPS 427508 WITH SCORE 429774.387
AT ITER 2931 NEW BEST:: SOT 4242341 SOS 2266325 HAS SOPS 983199 HAS SOUS 447748 HAS SOUPS 427477 WITH SCORE 429743.325
AT ITER 2938 NEW BEST:: SOT 4242250 SOS 2264790 HAS SOPS 981761 HAS SOUS 447597 HAS SOUPS 427326 WITH SCORE 429590.79
AT ITER 2953 NEW BEST:: SOT 4242290 SOS 2264830 HAS SOPS 981712 HAS SOUS 447548 HAS SOUPS 427277 WITH SCORE 429541.83
AT ITER 2954 NEW BEST:: SOT 4242285 SOS 2264904 HAS SOPS 981786 HAS SOUS 447538 HAS SOUPS 427267 WITH SCORE 429531.904
AT ITER 2958 NEW BEST:: SOT 4242240 SOS 2264372 HAS SOPS 981722 HAS SOUS 447502 HAS SOUPS 427231 WITH SCORE 429495.372
AT ITER 2988 NEW BEST:: SOT 4242199 SOS 2264372 HAS SOPS 981599 HAS SOUS 447379 HAS SOUPS 427108 WITH SCORE 429372.372
AT ITER 3002 NEW BEST:: SOT 4242199 SOS 2264372 HAS SOPS 981596 HAS SOUS 447376 HAS SOUPS 427105 WITH SCORE 429369.372
AT ITER 3009 NEW BEST:: SOT 4241905 SOS 2259745 HAS SOPS 977370 HAS SOUS 446989 HAS SOUPS 426718 WITH SCORE 428977.745
AT ITER 3020 NEW BEST:: SOT 4242062 SOS 2260219 HAS SOPS 977684 HAS SOUS 446986 HAS SOUPS 426715 WITH SCORE 428975.219
AT ITER 3022 NEW BEST:: SOT 4241928 SOS 2259980 HAS SOPS 977416 HAS SOUS 446852 HAS SOUPS 426581 WITH SCORE 428840.98
AT ITER 3024 NEW BEST:: SOT 4241922 SOS 2259930 HAS SOPS 977404 HAS SOUS 446840 HAS SOUPS 426569 WITH SCORE 428828.93
AT ITER 3033 NEW BEST:: SOT 4241675 SOS 2258094 HAS SOPS 975783 HAS SOUS 446507 HAS SOUPS 426236 WITH SCORE 428494.094
AT ITER 3038 NEW BEST:: SOT 4241613 SOS 2258010 HAS SOPS 975730 HAS SOUS 446490 HAS SOUPS 426219 WITH SCORE 428477.01
AT ITER 3042 NEW BEST:: SOT 4241652 SOS 2258668 HAS SOPS 976272 HAS SOUS 446452 HAS SOUPS 426181 WITH SCORE 428439.668
AT ITER 3045 NEW BEST:: SOT 4241532 SOS 2258637 HAS SOPS 976241 HAS SOUS 446421 HAS SOUPS 426150 WITH SCORE 428408.637
AT ITER 3065 NEW BEST:: SOT 4241498 SOS 2258499 HAS SOPS 976103 HAS SOUS 446353 HAS SOUPS 426082 WITH SCORE 428340.499
AT ITER 3070 NEW BEST:: SOT 4241235 SOS 2258442 HAS SOPS 976115 HAS SOUS 446159 HAS SOUPS 425888 WITH SCORE 428146.442
AT ITER 3074 NEW BEST:: SOT 4241189 SOS 2258350 HAS SOPS 976023 HAS SOUS 446113 HAS SOUPS 425842 WITH SCORE 428100.35
AT ITER 3080 NEW BEST:: SOT 4240851 SOS 2260301 HAS SOPS 974788 HAS SOUS 445920 HAS SOUPS 425214 WITH SCORE 427474.301
AT ITER 3081 NEW BEST:: SOT 4240694 SOS 2260144 HAS SOPS 972372 HAS SOUS 445773 HAS SOUPS 425062 WITH SCORE 427322.144
AT ITER 3083 NEW BEST:: SOT 4240682 SOS 2260420 HAS SOPS 972588 HAS SOUS 445719 HAS SOUPS 425008 WITH SCORE 427268.42
AT ITER 3094 NEW BEST:: SOT 4240649 SOS 2260024 HAS SOPS 972258 HAS SOUS 445686 HAS SOUPS 424975 WITH SCORE 427235.024
AT ITER 3098 NEW BEST:: SOT 4240595 SOS 2259376 HAS SOPS 971718 HAS SOUS 445686 HAS SOUPS 424975 WITH SCORE 427234.376
AT ITER 3113 NEW BEST:: SOT 4240530 SOS 2259370 HAS SOPS 971650 HAS SOUS 445559 HAS SOUPS 424848 WITH SCORE 427107.37
AT ITER 3119 NEW BEST:: SOT 4240527 SOS 2259367 HAS SOPS 971647 HAS SOUS 445532 HAS SOUPS 424821 WITH SCORE 427080.367
AT ITER 3130 NEW BEST:: SOT 4240502 SOS 2259393 HAS SOPS 971648 HAS SOUS 445482 HAS SOUPS 424771 WITH SCORE 427030.393
AT ITER 3144 NEW BEST:: SOT 4240461 SOS 2259359 HAS SOPS 971582 HAS SOUS 445416 HAS SOUPS 424705 WITH SCORE 426964.359
AT ITER 3166 NEW BEST:: SOT 4240461 SOS 2259307 HAS SOPS 971530 HAS SOUS 445364 HAS SOUPS 424653 WITH SCORE 426912.307
AT ITER 3179 NEW BEST:: SOT 4240496 SOS 2256917 HAS SOPS 971758 HAS SOUS 445309 HAS SOUPS 424620 WITH SCORE 426876.917
AT ITER 3199 NEW BEST:: SOT 4240676 SOS 2260555 HAS SOPS 975854 HAS SOUS 445119 HAS SOUPS 424430 WITH SCORE 426690.555
AT ITER 3205 NEW BEST:: SOT 4240446 SOS 2260215 HAS SOPS 975624 HAS SOUS 444889 HAS SOUPS 424200 WITH SCORE 426460.215
AT ITER 3217 NEW BEST:: SOT 4240414 SOS 2259977 HAS SOPS 975602 HAS SOUS 444867 HAS SOUPS 424178 WITH SCORE 426437.977
AT ITER 3234 NEW BEST:: SOT 4240413 SOS 2259975 HAS SOPS 975600 HAS SOUS 444867 HAS SOUPS 424178 WITH SCORE 426437.975
AT ITER 3236 NEW BEST:: SOT 4240376 SOS 2259901 HAS SOPS 975600 HAS SOUS 444867 HAS SOUPS 424178 WITH SCORE 426437.901
AT ITER 3247 NEW BEST:: SOT 4240376 SOS 2259868 HAS SOPS 975567 HAS SOUS 444867 HAS SOUPS 424178 WITH SCORE 426437.868
AT ITER 3254 NEW BEST:: SOT 4240131 SOS 2259898 HAS SOPS 975366 HAS SOUS 444691 HAS SOUPS 424002 WITH SCORE 426261.898
AT ITER 3255 NEW BEST:: SOT 4240131 SOS 2260425 HAS SOPS 975843 HAS SOUS 444638 HAS SOUPS 423949 WITH SCORE 426209.425
AT ITER 3278 NEW BEST:: SOT 4240131 SOS 2260186 HAS SOPS 975604 HAS SOUS 444534 HAS SOUPS 423845 WITH SCORE 426105.186
AT ITER 3280 NEW BEST:: SOT 4240131 SOS 2259898 HAS SOPS 975316 HAS SOUS 444534 HAS SOUPS 423845 WITH SCORE 426104.898
AT ITER 3288 NEW BEST:: SOT 4240267 SOS 2260034 HAS SOPS 975452 HAS SOUS 444224 HAS SOUPS 423535 WITH SCORE 425795.034
AT ITER 3289 NEW BEST:: SOT 4240044 SOS 2259742 HAS SOPS 975295 HAS SOUS 443969 HAS SOUPS 423280 WITH SCORE 425539.742
AT ITER 3294 NEW BEST:: SOT 4239876 SOS 2259574 HAS SOPS 975071 HAS SOUS 443760 HAS SOUPS 423056 WITH SCORE 425315.574
AT ITER 3296 NEW BEST:: SOT 4239678 SOS 2259404 HAS SOPS 974991 HAS SOUS 443504 HAS SOUPS 422800 WITH SCORE 425059.404
AT ITER 3305 NEW BEST:: SOT 4239678 SOS 2254432 HAS SOPS 975327 HAS SOUS 443359 HAS SOUPS 422697 WITH SCORE 424951.432
AT ITER 3308 NEW BEST:: SOT 4239568 SOS 2254322 HAS SOPS 975107 HAS SOUS 443139 HAS SOUPS 422477 WITH SCORE 424731.322
AT ITER 3310 NEW BEST:: SOT 4238462 SOS 2268254 HAS SOPS 974150 HAS SOUS 443128 HAS SOUPS 422308 WITH SCORE 424576.254
AT ITER 3311 NEW BEST:: SOT 4238437 SOS 2267284 HAS SOPS 973180 HAS SOUS 443011 HAS SOUPS 422191 WITH SCORE 424458.284
AT ITER 3319 NEW BEST:: SOT 4238342 SOS 2265132 HAS SOPS 971028 HAS SOUS 442481 HAS SOUPS 421661 WITH SCORE 423926.132
AT ITER 3327 NEW BEST:: SOT 4238322 SOS 2265092 HAS SOPS 970988 HAS SOUS 442441 HAS SOUPS 421621 WITH SCORE 423886.092
AT ITER 3328 NEW BEST:: SOT 4238252 SOS 2264911 HAS SOPS 970737 HAS SOUS 442190 HAS SOUPS 421370 WITH SCORE 423634.911
AT ITER 3337 NEW BEST:: SOT 4238283 SOS 2264942 HAS SOPS 970725 HAS SOUS 442178 HAS SOUPS 421358 WITH SCORE 423622.942
AT ITER 3342 NEW BEST:: SOT 4238307 SOS 2263490 HAS SOPS 970749 HAS SOUS 442142 HAS SOUPS 421334 WITH SCORE 423597.49
AT ITER 3347 NEW BEST:: SOT 4238307 SOS 2262221 HAS SOPS 969480 HAS SOUS 442142 HAS SOUPS 421334 WITH SCORE 423596.221
AT ITER 3355 NEW BEST:: SOT 4238251 SOS 2262881 HAS SOPS 970140 HAS SOUS 442088 HAS SOUPS 421280 WITH SCORE 423542.881
AT ITER 3364 NEW BEST:: SOT 4237378 SOS 2262232 HAS SOPS 969611 HAS SOUS 441448 HAS SOUPS 420760 WITH SCORE 423022.232
AT ITER 3370 NEW BEST:: SOT 4237394 SOS 2262248 HAS SOPS 969627 HAS SOUS 441410 HAS SOUPS 420722 WITH SCORE 422984.248
AT ITER 3371 NEW BEST:: SOT 4236958 SOS 2264728 HAS SOPS 968831 HAS SOUS 441294 HAS SOUPS 420570 WITH SCORE 422834.728
AT ITER 3403 NEW BEST:: SOT 4236945 SOS 2264616 HAS SOPS 968607 HAS SOUS 441070 HAS SOUPS 420346 WITH SCORE 422610.616
AT ITER 3418 NEW BEST:: SOT 4236738 SOS 2264146 HAS SOPS 968137 HAS SOUS 440782 HAS SOUPS 420058 WITH SCORE 422322.146
AT ITER 3434 NEW BEST:: SOT 4236320 SOS 2267134 HAS SOPS 967692 HAS SOUS 440674 HAS SOUPS 419912 WITH SCORE 422179.134
AT ITER 3436 NEW BEST:: SOT 4236213 SOS 2266844 HAS SOPS 967402 HAS SOUS 440437 HAS SOUPS 419675 WITH SCORE 421941.844
AT ITER 3439 NEW BEST:: SOT 4236060 SOS 2266691 HAS SOPS 967096 HAS SOUS 440284 HAS SOUPS 419522 WITH SCORE 421788.691
AT ITER 3460 NEW BEST:: SOT 4235871 SOS 2266502 HAS SOPS 964146 HAS SOUS 440104 HAS SOUPS 419342 WITH SCORE 421608.502
AT ITER 3466 NEW BEST:: SOT 4235867 SOS 2266474 HAS SOPS 964118 HAS SOUS 440076 HAS SOUPS 419314 WITH SCORE 421580.474
AT ITER 3476 NEW BEST:: SOT 4235867 SOS 2266444 HAS SOPS 964088 HAS SOUS 440076 HAS SOUPS 419314 WITH SCORE 421580.444
AT ITER 3489 NEW BEST:: SOT 4235616 SOS 2264484 HAS SOPS 962128 HAS SOUS 439736 HAS SOUPS 418974 WITH SCORE 421238.484
AT ITER 3498 NEW BEST:: SOT 4235616 SOS 2264484 HAS SOPS 962128 HAS SOUS 439713 HAS SOUPS 418951 WITH SCORE 421215.484
AT ITER 3516 NEW BEST:: SOT 4235424 SOS 2264321 HAS SOPS 961793 HAS SOUS 439349 HAS SOUPS 418587 WITH SCORE 420851.321
AT ITER 3524 NEW BEST:: SOT 4235276 SOS 2262806 HAS SOPS 960453 HAS SOUS 439169 HAS SOUPS 418407 WITH SCORE 420669.806
AT ITER 3538 NEW BEST:: SOT 4235256 SOS 2262744 HAS SOPS 960413 HAS SOUS 439129 HAS SOUPS 418367 WITH SCORE 420629.744
AT ITER 3539 NEW BEST:: SOT 4235075 SOS 2262485 HAS SOPS 960154 HAS SOUS 438870 HAS SOUPS 418108 WITH SCORE 420370.485
AT ITER 3561 NEW BEST:: SOT 4234856 SOS 2262407 HAS SOPS 960076 HAS SOUS 438822 HAS SOUPS 418060 WITH SCORE 420322.407
AT ITER 3568 NEW BEST:: SOT 4234828 SOS 2262428 HAS SOPS 959992 HAS SOUS 438769 HAS SOUPS 418007 WITH SCORE 420269.428
AT ITER 3572 NEW BEST:: SOT 4234828 SOS 2262288 HAS SOPS 959852 HAS SOUS 438723 HAS SOUPS 417961 WITH SCORE 420223.288
AT ITER 3573 NEW BEST:: SOT 4234639 SOS 2262347 HAS SOPS 959860 HAS SOUS 438621 HAS SOUPS 417859 WITH SCORE 420121.347
AT ITER 3579 NEW BEST:: SOT 4234639 SOS 2262325 HAS SOPS 959838 HAS SOUS 438621 HAS SOUPS 417859 WITH SCORE 420121.325
AT ITER 3581 NEW BEST:: SOT 4234547 SOS 2258554 HAS SOPS 956067 HAS SOUS 438536 HAS SOUPS 417774 WITH SCORE 420032.554
AT ITER 3587 NEW BEST:: SOT 4233096 SOS 2257103 HAS SOPS 954449 HAS SOUS 438421 HAS SOUPS 417659 WITH SCORE 419916.103
AT ITER 3597 NEW BEST:: SOT 4232787 SOS 2256786 HAS SOPS 954341 HAS SOUS 438535 HAS SOUPS 417539 WITH SCORE 419795.786
AT ITER 3623 NEW BEST:: SOT 4233339 SOS 2257338 HAS SOPS 954755 HAS SOUS 438466 HAS SOUPS 417332 WITH SCORE 419589.338
AT ITER 3649 NEW BEST:: SOT 4233327 SOS 2257326 HAS SOPS 954707 HAS SOUS 438430 HAS SOUPS 417296 WITH SCORE 419553.326
AT ITER 3655 NEW BEST:: SOT 4233411 SOS 2257302 HAS SOPS 954256 HAS SOUS 438224 HAS SOUPS 416845 WITH SCORE 419102.302
AT ITER 3661 NEW BEST:: SOT 4233022 SOS 2258889 HAS SOPS 955628 HAS SOUS 437661 HAS SOUPS 416282 WITH SCORE 418540.889
AT ITER 3676 NEW BEST:: SOT 4233358 SOS 2259561 HAS SOPS 955626 HAS SOUS 437659 HAS SOUPS 416280 WITH SCORE 418539.561
AT ITER 3697 NEW BEST:: SOT 4232842 SOS 2255554 HAS SOPS 951634 HAS SOUS 436923 HAS SOUPS 415544 WITH SCORE 417799.554
AT ITER 3726 NEW BEST:: SOT 4232842 SOS 2255719 HAS SOPS 951769 HAS SOUS 436908 HAS SOUPS 415529 WITH SCORE 417784.719
AT ITER 3737 NEW BEST:: SOT 4232811 SOS 2255337 HAS SOPS 951419 HAS SOUS 436877 HAS SOUPS 415498 WITH SCORE 417753.337
AT ITER 3746 NEW BEST:: SOT 4232819 SOS 2255327 HAS SOPS 951409 HAS SOUS 436867 HAS SOUPS 415488 WITH SCORE 417743.327
AT ITER 3767 NEW BEST:: SOT 4232662 SOS 2255170 HAS SOPS 951309 HAS SOUS 436767 HAS SOUPS 415388 WITH SCORE 417643.17
AT ITER 3775 NEW BEST:: SOT 4231989 SOS 2254176 HAS SOPS 950315 HAS SOUS 435799 HAS SOUPS 414420 WITH SCORE 416674.176
AT ITER 3780 NEW BEST:: SOT 4231989 SOS 2254117 HAS SOPS 950256 HAS SOUS 435799 HAS SOUPS 414420 WITH SCORE 416674.117
AT ITER 3788 NEW BEST:: SOT 4231882 SOS 2254238 HAS SOPS 949952 HAS SOUS 435267 HAS SOUPS 413888 WITH SCORE 416142.238
AT ITER 3836 NEW BEST:: SOT 4231864 SOS 2257372 HAS SOPS 952135 HAS SOUS 434979 HAS SOUPS 413600 WITH SCORE 415857.372
AT ITER 3860 NEW BEST:: SOT 4231972 SOS 2257769 HAS SOPS 952249 HAS SOUS 434950 HAS SOUPS 413571 WITH SCORE 415828.769
AT ITER 3866 NEW BEST:: SOT 4231897 SOS 2257450 HAS SOPS 951930 HAS SOUS 434800 HAS SOUPS 413421 WITH SCORE 415678.45
AT ITER 3889 NEW BEST:: SOT 4231890 SOS 2257436 HAS SOPS 951916 HAS SOUS 434786 HAS SOUPS 413407 WITH SCORE 415664.436
AT ITER 3914 NEW BEST:: SOT 4231880 SOS 2257386 HAS SOPS 951866 HAS SOUS 434766 HAS SOUPS 413387 WITH SCORE 415644.386
AT ITER 3915 NEW BEST:: SOT 4231760 SOS 2258004 HAS SOPS 952406 HAS SOUS 434568 HAS SOUPS 413189 WITH SCORE 415447.004
AT ITER 3931 NEW BEST:: SOT 4231684 SOS 2257222 HAS SOPS 951624 HAS SOUS 434486 HAS SOUPS 413107 WITH SCORE 415364.222
AT ITER 3932 NEW BEST:: SOT 4231489 SOS 2256996 HAS SOPS 951196 HAS SOUS 434096 HAS SOUPS 412717 WITH SCORE 414973.996
AT ITER 3934 NEW BEST:: SOT 4231850 SOS 2257566 HAS SOPS 951015 HAS SOUS 433962 HAS SOUPS 412583 WITH SCORE 414840.566
AT ITER 3935 NEW BEST:: SOT 4231790 SOS 2257566 HAS SOPS 951015 HAS SOUS 433842 HAS SOUPS 412463 WITH SCORE 414720.566
AT ITER 3943 NEW BEST:: SOT 4231878 SOS 2255640 HAS SOPS 949231 HAS SOUS 433843 HAS SOUPS 412464 WITH SCORE 414719.64
AT ITER 3950 NEW BEST:: SOT 4231783 SOS 2255605 HAS SOPS 949272 HAS SOUS 433729 HAS SOUPS 412350 WITH SCORE 414605.605
AT ITER 3966 NEW BEST:: SOT 4231754 SOS 2255177 HAS SOPS 948918 HAS SOUS 433708 HAS SOUPS 412329 WITH SCORE 414584.177
AT ITER 4002 NEW BEST:: SOT 4231669 SOS 2255007 HAS SOPS 948748 HAS SOUS 433623 HAS SOUPS 412244 WITH SCORE 414499.007
AT ITER 4016 NEW BEST:: SOT 4231711 SOS 2255211 HAS SOPS 948712 HAS SOUS 433467 HAS SOUPS 412088 WITH SCORE 414343.211
AT ITER 4031 NEW BEST:: SOT 4231711 SOS 2255156 HAS SOPS 948662 HAS SOUS 433467 HAS SOUPS 412088 WITH SCORE 414343.156
AT ITER 4033 NEW BEST:: SOT 4231704 SOS 2254332 HAS SOPS 947919 HAS SOUS 433379 HAS SOUPS 412000 WITH SCORE 414254.332
AT ITER 4037 NEW BEST:: SOT 4229847 SOS 2251975 HAS SOPS 944999 HAS SOUS 431804 HAS SOUPS 410425 WITH SCORE 412676.975
AT ITER 4060 NEW BEST:: SOT 4229847 SOS 2252030 HAS SOPS 945039 HAS SOUS 431799 HAS SOUPS 410420 WITH SCORE 412672.03
AT ITER 4065 NEW BEST:: SOT 4229747 SOS 2251930 HAS SOPS 944839 HAS SOUS 431760 HAS SOUPS 410381 WITH SCORE 412632.93
AT ITER 4069 NEW BEST:: SOT 4229647 SOS 2251830 HAS SOPS 944639 HAS SOUS 431660 HAS SOUPS 410281 WITH SCORE 412532.83
AT ITER 4070 NEW BEST:: SOT 4229647 SOS 2251948 HAS SOPS 944757 HAS SOUS 431424 HAS SOUPS 410045 WITH SCORE 412296.948
AT ITER 4094 NEW BEST:: SOT 4229562 SOS 2251718 HAS SOPS 944527 HAS SOUS 431194 HAS SOUPS 409815 WITH SCORE 412066.718
AT ITER 4124 NEW BEST:: SOT 4229705 SOS 2250826 HAS SOPS 943635 HAS SOUS 431051 HAS SOUPS 409672 WITH SCORE 411922.826
AT ITER 4127 NEW BEST:: SOT 4229696 SOS 2250592 HAS SOPS 943401 HAS SOUS 431048 HAS SOUPS 409669 WITH SCORE 411919.592
AT ITER 4134 NEW BEST:: SOT 4229451 SOS 2250055 HAS SOPS 942480 HAS SOUS 430264 HAS SOUPS 408885 WITH SCORE 411135.055
AT ITER 4177 NEW BEST:: SOT 4229480 SOS 2250065 HAS SOPS 942183 HAS SOUS 429967 HAS SOUPS 408588 WITH SCORE 410838.065
AT ITER 4182 NEW BEST:: SOT 4229501 SOS 2252220 HAS SOPS 943777 HAS SOUS 429621 HAS SOUPS 408242 WITH SCORE 410494.22
AT ITER 4190 NEW BEST:: SOT 4229449 SOS 2252244 HAS SOPS 943749 HAS SOUS 429593 HAS SOUPS 408214 WITH SCORE 410466.244
AT ITER 4204 NEW BEST:: SOT 4229449 SOS 2252244 HAS SOPS 943641 HAS SOUS 429485 HAS SOUPS 408106 WITH SCORE 410358.244
AT ITER 4213 NEW BEST:: SOT 4229326 SOS 2252150 HAS SOPS 943615 HAS SOUS 429459 HAS SOUPS 408080 WITH SCORE 410332.15
AT ITER 4237 NEW BEST:: SOT 4229789 SOS 2253286 HAS SOPS 943433 HAS SOUS 429429 HAS SOUPS 408050 WITH SCORE 410303.286
AT ITER 4242 NEW BEST:: SOT 4229735 SOS 2252778 HAS SOPS 942941 HAS SOUS 429273 HAS SOUPS 407894 WITH SCORE 410146.778
AT ITER 4272 NEW BEST:: SOT 4229659 SOS 2252284 HAS SOPS 942447 HAS SOUS 429159 HAS SOUPS 407780 WITH SCORE 410032.284
AT ITER 4273 NEW BEST:: SOT 4227983 SOS 2249630 HAS SOPS 938208 HAS SOUS 429036 HAS SOUPS 407657 WITH SCORE 409906.63
AT ITER 4283 NEW BEST:: SOT 4227918 SOS 2248915 HAS SOPS 937493 HAS SOUS 428906 HAS SOUPS 407527 WITH SCORE 409775.915
AT ITER 4306 NEW BEST:: SOT 4227711 SOS 2248708 HAS SOPS 937079 HAS SOUS 428492 HAS SOUPS 407113 WITH SCORE 409361.708
AT ITER 4307 NEW BEST:: SOT 4227297 SOS 2245981 HAS SOPS 934352 HAS SOUS 427826 HAS SOUPS 406447 WITH SCORE 408692.981
AT ITER 4323 NEW BEST:: SOT 4227458 SOS 2246317 HAS SOPS 934324 HAS SOUS 427798 HAS SOUPS 406419 WITH SCORE 408665.317
AT ITER 4349 NEW BEST:: SOT 4227482 SOS 2246369 HAS SOPS 934348 HAS SOUS 427709 HAS SOUPS 406330 WITH SCORE 408576.369
AT ITER 4352 NEW BEST:: SOT 4227229 SOS 2246171 HAS SOPS 934150 HAS SOUS 427363 HAS SOUPS 405984 WITH SCORE 408230.171
AT ITER 4379 NEW BEST:: SOT 4227229 SOS 2246235 HAS SOPS 934214 HAS SOUS 427353 HAS SOUPS 405974 WITH SCORE 408220.235
AT ITER 4383 NEW BEST:: SOT 4227229 SOS 2246197 HAS SOPS 934214 HAS SOUS 427353 HAS SOUPS 405974 WITH SCORE 408220.197
AT ITER 4390 NEW BEST:: SOT 4227175 SOS 2246143 HAS SOPS 934106 HAS SOUS 427245 HAS SOUPS 405866 WITH SCORE 408112.143
AT ITER 4401 NEW BEST:: SOT 4227175 SOS 2246109 HAS SOPS 934072 HAS SOUS 427245 HAS SOUPS 405866 WITH SCORE 408112.109
AT ITER 4409 NEW BEST:: SOT 4227175 SOS 2246109 HAS SOPS 934072 HAS SOUS 427178 HAS SOUPS 405799 WITH SCORE 408045.109
AT ITER 4437 NEW BEST:: SOT 4227175 SOS 2245671 HAS SOPS 933634 HAS SOUS 427178 HAS SOUPS 405799 WITH SCORE 408044.671
AT ITER 4449 NEW BEST:: SOT 4227148 SOS 2245068 HAS SOPS 933031 HAS SOUS 427124 HAS SOUPS 405745 WITH SCORE 407990.068
AT ITER 4452 NEW BEST:: SOT 4227038 SOS 2244976 HAS SOPS 932863 HAS SOUS 426938 HAS SOUPS 405559 WITH SCORE 407803.976
AT ITER 4462 NEW BEST:: SOT 4226942 SOS 2244792 HAS SOPS 932679 HAS SOUS 426778 HAS SOUPS 405399 WITH SCORE 407643.792
AT ITER 4464 NEW BEST:: SOT 4226928 SOS 2244778 HAS SOPS 932651 HAS SOUS 426750 HAS SOUPS 405371 WITH SCORE 407615.778
AT ITER 4469 NEW BEST:: SOT 4226750 SOS 2242956 HAS SOPS 930827 HAS SOUS 426115 HAS SOUPS 404736 WITH SCORE 406978.956
AT ITER 4470 NEW BEST:: SOT 4226673 SOS 2242790 HAS SOPS 930569 HAS SOUS 425857 HAS SOUPS 404478 WITH SCORE 406720.79
AT ITER 4478 NEW BEST:: SOT 4226658 SOS 2242634 HAS SOPS 930249 HAS SOUS 425708 HAS SOUPS 404329 WITH SCORE 406571.634
AT ITER 4491 NEW BEST:: SOT 4226643 SOS 2242614 HAS SOPS 930234 HAS SOUS 425693 HAS SOUPS 404314 WITH SCORE 406556.614
AT ITER 4504 NEW BEST:: SOT 4226607 SOS 2242268 HAS SOPS 929888 HAS SOUS 425657 HAS SOUPS 404278 WITH SCORE 406520.268
AT ITER 4515 NEW BEST:: SOT 4225099 SOS 2240716 HAS SOPS 928380 HAS SOUS 425576 HAS SOUPS 404197 WITH SCORE 406437.716
AT ITER 4554 NEW BEST:: SOT 4225097 SOS 2240708 HAS SOPS 928372 HAS SOUS 425572 HAS SOUPS 404193 WITH SCORE 406433.708
AT ITER 4569 NEW BEST:: SOT 4225097 SOS 2240708 HAS SOPS 928372 HAS SOUS 425563 HAS SOUPS 404184 WITH SCORE 406424.708
AT ITER 4616 NEW BEST:: SOT 4224262 SOS 2248681 HAS SOPS 927660 HAS SOUS 425642 HAS SOUPS 404169 WITH SCORE 406417.681
AT ITER 4656 NEW BEST:: SOT 4224076 SOS 2248142 HAS SOPS 927121 HAS SOUS 425386 HAS SOUPS 403913 WITH SCORE 406161.142
AT ITER 4657 NEW BEST:: SOT 4224076 SOS 2248141 HAS SOPS 927050 HAS SOUS 425316 HAS SOUPS 403843 WITH SCORE 406091.141
AT ITER 4682 NEW BEST:: SOT 4223955 SOS 2247973 HAS SOPS 926956 HAS SOUS 425222 HAS SOUPS 403749 WITH SCORE 405996.973
AT ITER 4707 NEW BEST:: SOT 4223878 SOS 2247646 HAS SOPS 926602 HAS SOUS 424859 HAS SOUPS 403386 WITH SCORE 405633.646
AT ITER 4708 NEW BEST:: SOT 4223839 SOS 2243603 HAS SOPS 922884 HAS SOUS 424781 HAS SOUPS 403308 WITH SCORE 405551.603
AT ITER 4719 NEW BEST:: SOT 4223816 SOS 2243580 HAS SOPS 922856 HAS SOUS 424758 HAS SOUPS 403280 WITH SCORE 405523.58
AT ITER 4731 NEW BEST:: SOT 4223688 SOS 2244721 HAS SOPS 923870 HAS SOUS 424503 HAS SOUPS 403025 WITH SCORE 405269.721
AT ITER 4733 NEW BEST:: SOT 4223672 SOS 2244656 HAS SOPS 923268 HAS SOUS 424381 HAS SOUPS 402903 WITH SCORE 405147.656
AT ITER 4741 NEW BEST:: SOT 4222035 SOS 2243004 HAS SOPS 921696 HAS SOUS 422938 HAS SOUPS 401481 WITH SCORE 403724.004
AT ITER 4786 NEW BEST:: SOT 4222147 SOS 2241612 HAS SOPS 920304 HAS SOUS 422870 HAS SOUPS 401413 WITH SCORE 403654.612
AT ITER 4787 NEW BEST:: SOT 4221923 SOS 2241396 HAS SOPS 920088 HAS SOUS 422654 HAS SOUPS 401197 WITH SCORE 403438.396
AT ITER 4790 NEW BEST:: SOT 4221923 SOS 2241396 HAS SOPS 920088 HAS SOUS 422635 HAS SOUPS 401178 WITH SCORE 403419.396
AT ITER 4794 NEW BEST:: SOT 4221869 SOS 2241342 HAS SOPS 920034 HAS SOUS 422581 HAS SOUPS 401124 WITH SCORE 403365.342
AT ITER 4821 NEW BEST:: SOT 4221882 SOS 2241408 HAS SOPS 920053 HAS SOUS 422567 HAS SOUPS 401110 WITH SCORE 403351.408
AT ITER 4843 NEW BEST:: SOT 4221882 SOS 2241149 HAS SOPS 919491 HAS SOUS 422264 HAS SOUPS 400807 WITH SCORE 403048.149
AT ITER 4847 NEW BEST:: SOT 4221859 SOS 2241028 HAS SOPS 919370 HAS SOUS 422218 HAS SOUPS 400761 WITH SCORE 403002.028
AT ITER 4878 NEW BEST:: SOT 4221724 SOS 2240893 HAS SOPS 919100 HAS SOUS 422055 HAS SOUPS 400598 WITH SCORE 402838.893
AT ITER 4894 NEW BEST:: SOT 4221678 SOS 2240939 HAS SOPS 919146 HAS SOUS 422009 HAS SOUPS 400552 WITH SCORE 402792.939
AT ITER 4895 NEW BEST:: SOT 4221678 SOS 2240784 HAS SOPS 918991 HAS SOUS 421956 HAS SOUPS 400499 WITH SCORE 402739.784
AT ITER 4914 NEW BEST:: SOT 4221586 SOS 2240646 HAS SOPS 918853 HAS SOUS 421864 HAS SOUPS 400407 WITH SCORE 402647.646
AT ITER 4923 NEW BEST:: SOT 4221573 SOS 2240594 HAS SOPS 918801 HAS SOUS 421838 HAS SOUPS 400381 WITH SCORE 402621.594
AT ITER 4942 NEW BEST:: SOT 4221570 SOS 2240723 HAS SOPS 918930 HAS SOUS 421797 HAS SOUPS 400340 WITH SCORE 402580.723
AT ITER 4945 NEW BEST:: SOT 4221570 SOS 2240652 HAS SOPS 918859 HAS SOUS 421797 HAS SOUPS 400340 WITH SCORE 402580.652
AT ITER 4948 NEW BEST:: SOT 4221317 SOS 2240258 HAS SOPS 918494 HAS SOUS 421432 HAS SOUPS 399975 WITH SCORE 402215.258
AT ITER 4951 NEW BEST:: SOT 4221267 SOS 2240152 HAS SOPS 918383 HAS SOUS 421317 HAS SOUPS 399860 WITH SCORE 402100.152
AT ITER 4960 NEW BEST:: SOT 4221020 SOS 2242933 HAS SOPS 918138 HAS SOUS 421270 HAS SOUPS 399779 WITH SCORE 402021.933
AT ITER 4979 NEW BEST:: SOT 4220844 SOS 2241015 HAS SOPS 916618 HAS SOUS 421200 HAS SOUPS 399709 WITH SCORE 401950.015
AT ITER 4983 NEW BEST:: SOT 4220762 SOS 2240952 HAS SOPS 916555 HAS SOUS 421168 HAS SOUPS 399677 WITH SCORE 401917.952
AT ITER 4996 NEW BEST:: SOT 4220695 SOS 2240885 HAS SOPS 916275 HAS SOUS 420888 HAS SOUPS 399397 WITH SCORE 401637.885
AT ITER 5005 NEW BEST:: SOT 4220689 SOS 2240879 HAS SOPS 916275 HAS SOUS 420888 HAS SOUPS 399397 WITH SCORE 401637.879
AT ITER 5009 NEW BEST:: SOT 4220672 SOS 2240862 HAS SOPS 916241 HAS SOUS 420855 HAS SOUPS 399364 WITH SCORE 401604.862
AT ITER 5022 NEW BEST:: SOT 4220643 SOS 2240862 HAS SOPS 916183 HAS SOUS 420797 HAS SOUPS 399306 WITH SCORE 401546.862
AT ITER 5025 NEW BEST:: SOT 4220480 SOS 2240699 HAS SOPS 915857 HAS SOUS 420634 HAS SOUPS 399143 WITH SCORE 401383.699
AT ITER 5039 NEW BEST:: SOT 4220480 SOS 2240682 HAS SOPS 915840 HAS SOUS 420634 HAS SOUPS 399143 WITH SCORE 401383.682
AT ITER 5041 NEW BEST:: SOT 4220516 SOS 2241008 HAS SOPS 916028 HAS SOUS 420532 HAS SOUPS 399041 WITH SCORE 401282.008
AT ITER 5042 NEW BEST:: SOT 4220491 SOS 2240910 HAS SOPS 915930 HAS SOUS 420482 HAS SOUPS 398991 WITH SCORE 401231.91
AT ITER 5047 NEW BEST:: SOT 4220038 SOS 2241271 HAS SOPS 915918 HAS SOUS 420064 HAS SOUPS 398573 WITH SCORE 400814.271
AT ITER 5078 NEW BEST:: SOT 4220037 SOS 2241235 HAS SOPS 915882 HAS SOUS 420062 HAS SOUPS 398571 WITH SCORE 400812.235
AT ITER 5081 NEW BEST:: SOT 4220874 SOS 2242072 HAS SOPS 916719 HAS SOUS 419513 HAS SOUPS 398022 WITH SCORE 400264.072
AT ITER 5085 NEW BEST:: SOT 4220469 SOS 2241290 HAS SOPS 915773 HAS SOUS 418701 HAS SOUPS 397210 WITH SCORE 399451.29
AT ITER 5087 NEW BEST:: SOT 4220469 SOS 2241284 HAS SOPS 915767 HAS SOUS 418698 HAS SOUPS 397207 WITH SCORE 399448.284
AT ITER 5106 NEW BEST:: SOT 4220424 SOS 2241239 HAS SOPS 915587 HAS SOUS 418653 HAS SOUPS 397162 WITH SCORE 399403.239
AT ITER 5152 NEW BEST:: SOT 4220424 SOS 2241239 HAS SOPS 915556 HAS SOUS 418622 HAS SOUPS 397131 WITH SCORE 399372.239
AT ITER 5157 NEW BEST:: SOT 4220367 SOS 2241182 HAS SOPS 915442 HAS SOUS 418508 HAS SOUPS 397017 WITH SCORE 399258.182
AT ITER 5167 NEW BEST:: SOT 4220322 SOS 2241092 HAS SOPS 915352 HAS SOUS 418418 HAS SOUPS 396927 WITH SCORE 399168.092
AT ITER 5194 NEW BEST:: SOT 4220320 SOS 2241106 HAS SOPS 915366 HAS SOUS 418414 HAS SOUPS 396923 WITH SCORE 399164.106
AT ITER 5195 NEW BEST:: SOT 4220320 SOS 2240679 HAS SOPS 915086 HAS SOUS 418414 HAS SOUPS 396923 WITH SCORE 399163.679
AT ITER 5200 NEW BEST:: SOT 4219973 SOS 2240112 HAS SOPS 914966 HAS SOUS 418227 HAS SOUPS 396736 WITH SCORE 398976.112
AT ITER 5225 NEW BEST:: SOT 4219975 SOS 2240047 HAS SOPS 914901 HAS SOUS 418058 HAS SOUPS 396567 WITH SCORE 398807.047
AT ITER 5254 NEW BEST:: SOT 4219835 SOS 2240047 HAS SOPS 914761 HAS SOUS 417778 HAS SOUPS 396287 WITH SCORE 398527.047
AT ITER 5274 NEW BEST:: SOT 4219780 SOS 2238732 HAS SOPS 913446 HAS SOUS 417659 HAS SOUPS 396168 WITH SCORE 398406.732
AT ITER 5286 NEW BEST:: SOT 4219780 SOS 2238732 HAS SOPS 913392 HAS SOUS 417605 HAS SOUPS 396114 WITH SCORE 398352.732
AT ITER 5287 NEW BEST:: SOT 4219713 SOS 2238795 HAS SOPS 913465 HAS SOUS 417556 HAS SOUPS 396065 WITH SCORE 398303.795
AT ITER 5288 NEW BEST:: SOT 4219705 SOS 2238787 HAS SOPS 913449 HAS SOUS 417548 HAS SOUPS 396057 WITH SCORE 398295.787
AT ITER 5292 NEW BEST:: SOT 4219479 SOS 2238647 HAS SOPS 913189 HAS SOUS 417287 HAS SOUPS 395796 WITH SCORE 398034.647
AT ITER 5293 NEW BEST:: SOT 4219780 SOS 2238948 HAS SOPS 913361 HAS SOUS 417102 HAS SOUPS 395581 WITH SCORE 397819.948
AT ITER 5295 NEW BEST:: SOT 4219780 SOS 2239420 HAS SOPS 913737 HAS SOUS 417026 HAS SOUPS 395505 WITH SCORE 397744.42
AT ITER 5307 NEW BEST:: SOT 4219718 SOS 2238243 HAS SOPS 912560 HAS SOUS 416902 HAS SOUPS 395381 WITH SCORE 397619.243
AT ITER 5314 NEW BEST:: SOT 4219717 SOS 2238265 HAS SOPS 912582 HAS SOUS 416900 HAS SOUPS 395379 WITH SCORE 397617.265
AT ITER 5321 NEW BEST:: SOT 4219717 SOS 2238435 HAS SOPS 912667 HAS SOUS 416815 HAS SOUPS 395294 WITH SCORE 397532.435
AT ITER 5375 NEW BEST:: SOT 4219320 SOS 2237923 HAS SOPS 911868 HAS SOUS 416131 HAS SOUPS 394610 WITH SCORE 396847.923
AT ITER 5377 NEW BEST:: SOT 4219480 SOS 2238445 HAS SOPS 911986 HAS SOUS 416047 HAS SOUPS 394526 WITH SCORE 396764.445
AT ITER 5379 NEW BEST:: SOT 4219522 SOS 2238508 HAS SOPS 912049 HAS SOUS 415984 HAS SOUPS 394463 WITH SCORE 396701.508
AT ITER 5382 NEW BEST:: SOT 4219489 SOS 2238444 HAS SOPS 911985 HAS SOUS 415975 HAS SOUPS 394454 WITH SCORE 396692.444
AT ITER 5395 NEW BEST:: SOT 4219289 SOS 2236444 HAS SOPS 910305 HAS SOUS 415895 HAS SOUPS 394374 WITH SCORE 396610.444
AT ITER 5403 NEW BEST:: SOT 4219285 SOS 2236440 HAS SOPS 910299 HAS SOUS 415889 HAS SOUPS 394368 WITH SCORE 396604.44
AT ITER 5405 NEW BEST:: SOT 4218699 SOS 2235488 HAS SOPS 910121 HAS SOUS 415621 HAS SOUPS 394190 WITH SCORE 396425.488
AT ITER 5406 NEW BEST:: SOT 4218583 SOS 2235256 HAS SOPS 909889 HAS SOUS 415505 HAS SOUPS 394074 WITH SCORE 396309.256
AT ITER 5408 NEW BEST:: SOT 4218553 SOS 2235226 HAS SOPS 909829 HAS SOUS 415445 HAS SOUPS 394014 WITH SCORE 396249.226
AT ITER 5411 NEW BEST:: SOT 4218667 SOS 2232054 HAS SOPS 906657 HAS SOUS 415333 HAS SOUPS 393902 WITH SCORE 396134.054
AT ITER 5435 NEW BEST:: SOT 4218560 SOS 2231736 HAS SOPS 906280 HAS SOUS 415105 HAS SOUPS 393674 WITH SCORE 395905.736
AT ITER 5458 NEW BEST:: SOT 4218561 SOS 2231586 HAS SOPS 906074 HAS SOUS 414899 HAS SOUPS 393468 WITH SCORE 395699.586
AT ITER 5463 NEW BEST:: SOT 4218613 SOS 2231520 HAS SOPS 905547 HAS SOUS 414483 HAS SOUPS 393052 WITH SCORE 395283.52
AT ITER 5490 NEW BEST:: SOT 4218613 SOS 2231489 HAS SOPS 905516 HAS SOUS 414483 HAS SOUPS 393052 WITH SCORE 395283.489
AT ITER 5496 NEW BEST:: SOT 4218613 SOS 2230659 HAS SOPS 904686 HAS SOUS 414483 HAS SOUPS 393052 WITH SCORE 395282.659
AT ITER 5504 NEW BEST:: SOT 4218502 SOS 2231482 HAS SOPS 905509 HAS SOUS 414451 HAS SOUPS 393020 WITH SCORE 395251.482
AT ITER 5521 NEW BEST:: SOT 4218479 SOS 2231463 HAS SOPS 905490 HAS SOUS 414405 HAS SOUPS 392974 WITH SCORE 395205.463
AT ITER 5534 NEW BEST:: SOT 4218462 SOS 2231446 HAS SOPS 905456 HAS SOUS 414388 HAS SOUPS 392957 WITH SCORE 395188.446
AT ITER 5563 NEW BEST:: SOT 4218293 SOS 2233348 HAS SOPS 905258 HAS SOUS 414287 HAS SOUPS 392836 WITH SCORE 395069.348
AT ITER 5589 NEW BEST:: SOT 4218293 SOS 2233346 HAS SOPS 905256 HAS SOUS 414287 HAS SOUPS 392836 WITH SCORE 395069.346
AT ITER 5591 NEW BEST:: SOT 4218284 SOS 2235559 HAS SOPS 907469 HAS SOUS 414173 HAS SOUPS 392722 WITH SCORE 394957.559
AT ITER 5598 NEW BEST:: SOT 4218235 SOS 2235510 HAS SOPS 905962 HAS SOUS 414115 HAS SOUPS 392664 WITH SCORE 394899.51
AT ITER 5601 NEW BEST:: SOT 4218121 SOS 2233902 HAS SOPS 904630 HAS SOUS 414088 HAS SOUPS 392637 WITH SCORE 394870.902
AT ITER 5610 NEW BEST:: SOT 4218096 SOS 2233877 HAS SOPS 904580 HAS SOUS 414033 HAS SOUPS 392582 WITH SCORE 394815.877
AT ITER 5611 NEW BEST:: SOT 4218047 SOS 2233779 HAS SOPS 904482 HAS SOUS 413935 HAS SOUPS 392484 WITH SCORE 394717.779
AT ITER 5615 NEW BEST:: SOT 4217948 SOS 2234031 HAS SOPS 904752 HAS SOUS 413836 HAS SOUPS 392385 WITH SCORE 394619.031
AT ITER 5619 NEW BEST:: SOT 4217948 SOS 2234021 HAS SOPS 904742 HAS SOUS 413835 HAS SOUPS 392384 WITH SCORE 394618.021
AT ITER 5636 NEW BEST:: SOT 4217962 SOS 2234091 HAS SOPS 904784 HAS SOUS 413821 HAS SOUPS 392370 WITH SCORE 394604.091
AT ITER 5637 NEW BEST:: SOT 4217962 SOS 2234091 HAS SOPS 904720 HAS SOUS 413757 HAS SOUPS 392306 WITH SCORE 394540.091
AT ITER 5666 NEW BEST:: SOT 4217218 SOS 2233347 HAS SOPS 895916 HAS SOUS 413044 HAS SOUPS 391562 WITH SCORE 393795.347
AT ITER 5695 NEW BEST:: SOT 4217125 SOS 2233254 HAS SOPS 895730 HAS SOUS 412858 HAS SOUPS 391376 WITH SCORE 393609.254
AT ITER 5703 NEW BEST:: SOT 4217184 SOS 2233372 HAS SOPS 895848 HAS SOUS 412842 HAS SOUPS 391360 WITH SCORE 393593.372
AT ITER 5705 NEW BEST:: SOT 4215312 SOS 2231333 HAS SOPS 893642 HAS SOUS 412306 HAS SOUPS 390824 WITH SCORE 393055.333
AT ITER 5728 NEW BEST:: SOT 4215290 SOS 2231289 HAS SOPS 893598 HAS SOUS 412284 HAS SOUPS 390802 WITH SCORE 393033.289
AT ITER 5729 NEW BEST:: SOT 4215262 SOS 2231233 HAS SOPS 893570 HAS SOUS 412256 HAS SOUPS 390774 WITH SCORE 393005.233
AT ITER 5738 NEW BEST:: SOT 4215402 SOS 2231371 HAS SOPS 893566 HAS SOUS 412252 HAS SOUPS 390770 WITH SCORE 393001.371
AT ITER 5759 NEW BEST:: SOT 4215366 SOS 2231122 HAS SOPS 893317 HAS SOUS 412180 HAS SOUPS 390698 WITH SCORE 392929.122
AT ITER 5761 NEW BEST:: SOT 4215391 SOS 2232595 HAS SOPS 894516 HAS SOUS 412121 HAS SOUPS 390639 WITH SCORE 392871.595
AT ITER 5763 NEW BEST:: SOT 4218101 SOS 2234474 HAS SOPS 897411 HAS SOUS 412065 HAS SOUPS 390600 WITH SCORE 392834.474
AT ITER 5765 NEW BEST:: SOT 4217998 SOS 2236663 HAS SOPS 899392 HAS SOUS 411816 HAS SOUPS 390351 WITH SCORE 392587.663
AT ITER 5766 NEW BEST:: SOT 4217958 SOS 2236623 HAS SOPS 899354 HAS SOUS 411736 HAS SOUPS 390271 WITH SCORE 392507.623
AT ITER 5777 NEW BEST:: SOT 4217973 SOS 2236588 HAS SOPS 899284 HAS SOUS 411716 HAS SOUPS 390251 WITH SCORE 392487.588
AT ITER 5792 NEW BEST:: SOT 4217937 SOS 2236552 HAS SOPS 899248 HAS SOUS 411680 HAS SOUPS 390215 WITH SCORE 392451.552
AT ITER 5801 NEW BEST:: SOT 4217772 SOS 2235061 HAS SOPS 897886 HAS SOUS 411562 HAS SOUPS 390097 WITH SCORE 392332.061
AT ITER 5815 NEW BEST:: SOT 4217772 SOS 2235982 HAS SOPS 898595 HAS SOUS 411402 HAS SOUPS 389937 WITH SCORE 392172.982
AT ITER 5835 NEW BEST:: SOT 4217769 SOS 2235976 HAS SOPS 898589 HAS SOUS 411396 HAS SOUPS 389931 WITH SCORE 392166.976
AT ITER 5840 NEW BEST:: SOT 4217764 SOS 2235900 HAS SOPS 898513 HAS SOUS 411384 HAS SOUPS 389919 WITH SCORE 392154.9
AT ITER 5844 NEW BEST:: SOT 4217724 SOS 2235640 HAS SOPS 898273 HAS SOUS 411324 HAS SOUPS 389859 WITH SCORE 392094.64
AT ITER 5851 NEW BEST:: SOT 4217625 SOS 2235486 HAS SOPS 898174 HAS SOUS 411324 HAS SOUPS 389859 WITH SCORE 392094.486
AT ITER 5859 NEW BEST:: SOT 4217016 SOS 2240784 HAS SOPS 897498 HAS SOUS 411176 HAS SOUPS 389653 WITH SCORE 391893.784
AT ITER 5868 NEW BEST:: SOT 4216993 SOS 2240738 HAS SOPS 897452 HAS SOUS 411130 HAS SOUPS 389607 WITH SCORE 391847.738
AT ITER 5870 NEW BEST:: SOT 4216993 SOS 2240709 HAS SOPS 897423 HAS SOUS 411130 HAS SOUPS 389607 WITH SCORE 391847.709
AT ITER 5872 NEW BEST:: SOT 4216506 SOS 2240373 HAS SOPS 897228 HAS SOUS 410509 HAS SOUPS 388986 WITH SCORE 391226.373
AT ITER 5875 NEW BEST:: SOT 4216499 SOS 2240407 HAS SOPS 897118 HAS SOUS 410399 HAS SOUPS 388876 WITH SCORE 391116.407
AT ITER 5879 NEW BEST:: SOT 4214153 SOS 2238061 HAS SOPS 894678 HAS SOUS 410402 HAS SOUPS 388654 WITH SCORE 390892.061
AT ITER 5881 NEW BEST:: SOT 4214040 SOS 2240068 HAS SOPS 894540 HAS SOUS 410357 HAS SOUPS 388589 WITH SCORE 390829.068
AT ITER 5921 NEW BEST:: SOT 4214112 SOS 2240140 HAS SOPS 894692 HAS SOUS 410322 HAS SOUPS 388562 WITH SCORE 390802.14
AT ITER 5922 NEW BEST:: SOT 4214107 SOS 2239885 HAS SOPS 894437 HAS SOUS 410312 HAS SOUPS 388552 WITH SCORE 390791.885
AT ITER 5927 NEW BEST:: SOT 4213625 SOS 2239304 HAS SOPS 893455 HAS SOUS 410505 HAS SOUPS 388501 WITH SCORE 390740.304
AT ITER 5936 NEW BEST:: SOT 4213603 SOS 2239370 HAS SOPS 893521 HAS SOUS 410483 HAS SOUPS 388479 WITH SCORE 390718.37
AT ITER 5950 NEW BEST:: SOT 4212081 SOS 2237845 HAS SOPS 891790 HAS SOUS 410467 HAS SOUPS 388463 WITH SCORE 390700.845
AT ITER 5958 NEW BEST:: SOT 4212079 SOS 2237865 HAS SOPS 891810 HAS SOUS 410427 HAS SOUPS 388423 WITH SCORE 390660.865
AT ITER 5980 NEW BEST:: SOT 4212060 SOS 2237916 HAS SOPS 891639 HAS SOUS 410298 HAS SOUPS 388294 WITH SCORE 390531.916
AT ITER 5981 NEW BEST:: SOT 4212071 SOS 2237949 HAS SOPS 891617 HAS SOUS 410276 HAS SOUPS 388272 WITH SCORE 390509.949
AT ITER 5988 NEW BEST:: SOT 4212071 SOS 2237913 HAS SOPS 891581 HAS SOUS 410276 HAS SOUPS 388272 WITH SCORE 390509.913
AT ITER 5993 NEW BEST:: SOT 4212003 SOS 2237845 HAS SOPS 891649 HAS SOUS 410276 HAS SOUPS 388272 WITH SCORE 390509.845
AT ITER 5997 NEW BEST:: SOT 4211855 SOS 2237371 HAS SOPS 891175 HAS SOUS 410128 HAS SOUPS 388124 WITH SCORE 390361.371
AT ITER 6002 NEW BEST:: SOT 4211855 SOS 2237091 HAS SOPS 890895 HAS SOUS 410100 HAS SOUPS 388096 WITH SCORE 390333.091
AT ITER 6021 NEW BEST:: SOT 4211553 SOS 2236789 HAS SOPS 890243 HAS SOUS 409763 HAS SOUPS 387759 WITH SCORE 389995.789
AT ITER 6065 NEW BEST:: SOT 4211481 SOS 2236853 HAS SOPS 890099 HAS SOUS 409619 HAS SOUPS 387615 WITH SCORE 389851.853
AT ITER 6120 NEW BEST:: SOT 4211235 SOS 2235958 HAS SOPS 889611 HAS SOUS 409536 HAS SOUPS 387532 WITH SCORE 389767.958
AT ITER 6149 NEW BEST:: SOT 4211196 SOS 2236086 HAS SOPS 889739 HAS SOUS 409458 HAS SOUPS 387454 WITH SCORE 389690.086
AT ITER 6154 NEW BEST:: SOT 4211211 SOS 2235863 HAS SOPS 889516 HAS SOUS 409450 HAS SOUPS 387446 WITH SCORE 389681.863
AT ITER 6156 NEW BEST:: SOT 4211209 SOS 2235859 HAS SOPS 889514 HAS SOUS 409448 HAS SOUPS 387444 WITH SCORE 389679.859
AT ITER 6159 NEW BEST:: SOT 4211206 SOS 2235910 HAS SOPS 889386 HAS SOUS 409320 HAS SOUPS 387316 WITH SCORE 389551.91
AT ITER 6162 NEW BEST:: SOT 4211183 SOS 2237789 HAS SOPS 891090 HAS SOUS 409297 HAS SOUPS 387293 WITH SCORE 389530.789
AT ITER 6165 NEW BEST:: SOT 4211258 SOS 2234934 HAS SOPS 888235 HAS SOUS 409229 HAS SOUPS 387225 WITH SCORE 389459.934
AT ITER 6179 NEW BEST:: SOT 4211258 SOS 2234684 HAS SOPS 887985 HAS SOUS 409221 HAS SOUPS 387217 WITH SCORE 389451.684
AT ITER 6238 NEW BEST:: SOT 4211338 SOS 2231097 HAS SOPS 888061 HAS SOUS 409173 HAS SOUPS 387202 WITH SCORE 389433.097
AT ITER 6241 NEW BEST:: SOT 4211392 SOS 2232446 HAS SOPS 889258 HAS SOUS 409160 HAS SOUPS 387189 WITH SCORE 389421.446
AT ITER 6250 NEW BEST:: SOT 4211446 SOS 2232500 HAS SOPS 889061 HAS SOUS 408995 HAS SOUPS 386992 WITH SCORE 389224.5
AT ITER 6284 NEW BEST:: SOT 4211446 SOS 2232472 HAS SOPS 889033 HAS SOUS 408995 HAS SOUPS 386992 WITH SCORE 389224.472
AT ITER 6288 NEW BEST:: SOT 4211402 SOS 2232384 HAS SOPS 888945 HAS SOUS 408848 HAS SOUPS 386845 WITH SCORE 389077.384
AT ITER 6303 NEW BEST:: SOT 4211385 SOS 2232233 HAS SOPS 888911 HAS SOUS 408814 HAS SOUPS 386811 WITH SCORE 389043.233
AT ITER 6328 NEW BEST:: SOT 4211351 SOS 2232199 HAS SOPS 888979 HAS SOUS 408746 HAS SOUPS 386743 WITH SCORE 388975.199
AT ITER 6334 NEW BEST:: SOT 4211351 SOS 2232191 HAS SOPS 888972 HAS SOUS 408744 HAS SOUPS 386741 WITH SCORE 388973.191
AT ITER 6418 NEW BEST:: SOT 4211197 SOS 2230343 HAS SOPS 887124 HAS SOUS 408436 HAS SOUPS 386433 WITH SCORE 388663.343
AT ITER 6421 NEW BEST:: SOT 4211192 SOS 2230095 HAS SOPS 886871 HAS SOUS 408372 HAS SOUPS 386369 WITH SCORE 388599.095
AT ITER 6430 NEW BEST:: SOT 4211192 SOS 2230093 HAS SOPS 886869 HAS SOUS 408372 HAS SOUPS 386369 WITH SCORE 388599.093
AT ITER 6439 NEW BEST:: SOT 4211124 SOS 2229989 HAS SOPS 886765 HAS SOUS 408236 HAS SOUPS 386233 WITH SCORE 388462.989
AT ITER 6465 NEW BEST:: SOT 4211104 SOS 2229769 HAS SOPS 886545 HAS SOUS 408196 HAS SOUPS 386193 WITH SCORE 388422.769
AT ITER 6477 NEW BEST:: SOT 4211169 SOS 2229899 HAS SOPS 886523 HAS SOUS 408174 HAS SOUPS 386171 WITH SCORE 388400.899
AT ITER 6478 NEW BEST:: SOT 4211445 SOS 2230873 HAS SOPS 887029 HAS SOUS 408168 HAS SOUPS 386165 WITH SCORE 388395.873
AT ITER 6514 NEW BEST:: SOT 4211430 SOS 2231971 HAS SOPS 888127 HAS SOUS 408140 HAS SOUPS 386137 WITH SCORE 388368.971
AT ITER 6515 NEW BEST:: SOT 4211402 SOS 2231955 HAS SOPS 887911 HAS SOUS 407924 HAS SOUPS 385921 WITH SCORE 388152.955
AT ITER 6520 NEW BEST:: SOT 4211398 SOS 2231951 HAS SOPS 887903 HAS SOUS 407904 HAS SOUPS 385887 WITH SCORE 388118.951
AT ITER 6532 NEW BEST:: SOT 4211374 SOS 2231903 HAS SOPS 887855 HAS SOUS 407880 HAS SOUPS 385863 WITH SCORE 388094.903
AT ITER 6546 NEW BEST:: SOT 4211374 SOS 2231903 HAS SOPS 887645 HAS SOUS 407670 HAS SOUPS 385653 WITH SCORE 387884.903
AT ITER 6553 NEW BEST:: SOT 4211340 SOS 2231903 HAS SOPS 887611 HAS SOUS 407602 HAS SOUPS 385585 WITH SCORE 387816.903
AT ITER 6583 NEW BEST:: SOT 4211280 SOS 2231929 HAS SOPS 887637 HAS SOUS 407549 HAS SOUPS 385532 WITH SCORE 387763.929
AT ITER 6612 NEW BEST:: SOT 4211178 SOS 2231827 HAS SOPS 887433 HAS SOUS 407447 HAS SOUPS 385328 WITH SCORE 387559.827
AT ITER 6615 NEW BEST:: SOT 4211188 SOS 2231837 HAS SOPS 887415 HAS SOUS 407429 HAS SOUPS 385310 WITH SCORE 387541.837
AT ITER 6632 NEW BEST:: SOT 4210755 SOS 2240626 HAS SOPS 887019 HAS SOUS 407410 HAS SOUPS 385215 WITH SCORE 387455.626
AT ITER 6643 NEW BEST:: SOT 4210604 SOS 2238485 HAS SOPS 885017 HAS SOUS 407203 HAS SOUPS 385008 WITH SCORE 387246.485
AT ITER 6664 NEW BEST:: SOT 4210702 SOS 2238606 HAS SOPS 885111 HAS SOUS 407172 HAS SOUPS 384977 WITH SCORE 387215.606
AT ITER 6665 NEW BEST:: SOT 4210710 SOS 2238614 HAS SOPS 885127 HAS SOUS 407171 HAS SOUPS 384976 WITH SCORE 387214.614
AT ITER 6710 NEW BEST:: SOT 4210710 SOS 2238735 HAS SOPS 885215 HAS SOUS 407160 HAS SOUPS 384965 WITH SCORE 387203.735
AT ITER 6723 NEW BEST:: SOT 4210607 SOS 2238449 HAS SOPS 884739 HAS SOUS 406773 HAS SOUPS 384578 WITH SCORE 386816.449
AT ITER 6724 NEW BEST:: SOT 4210005 SOS 2238137 HAS SOPS 884218 HAS SOUS 406756 HAS SOUPS 384514 WITH SCORE 386752.137
AT ITER 6730 NEW BEST:: SOT 4209890 SOS 2236897 HAS SOPS 883180 HAS SOUS 406657 HAS SOUPS 384415 WITH SCORE 386651.897
AT ITER 6745 NEW BEST:: SOT 4209887 SOS 2236894 HAS SOPS 883177 HAS SOUS 406654 HAS SOUPS 384412 WITH SCORE 386648.894
AT ITER 6757 NEW BEST:: SOT 4209863 SOS 2236870 HAS SOPS 883117 HAS SOUS 406594 HAS SOUPS 384352 WITH SCORE 386588.87
AT ITER 6760 NEW BEST:: SOT 4209863 SOS 2236646 HAS SOPS 882893 HAS SOUS 406573 HAS SOUPS 384331 WITH SCORE 386567.646
AT ITER 6764 NEW BEST:: SOT 4209864 SOS 2236642 HAS SOPS 882877 HAS SOUS 406561 HAS SOUPS 384319 WITH SCORE 386555.642
AT ITER 6778 NEW BEST:: SOT 4209975 SOS 2237893 HAS SOPS 883897 HAS SOUS 406555 HAS SOUPS 384313 WITH SCORE 386550.893
AT ITER 6791 NEW BEST:: SOT 4209975 SOS 2236793 HAS SOPS 882797 HAS SOUS 406555 HAS SOUPS 384313 WITH SCORE 386549.793
AT ITER 6792 NEW BEST:: SOT 4210023 SOS 2237033 HAS SOPS 883037 HAS SOUS 406483 HAS SOUPS 384241 WITH SCORE 386478.033
AT ITER 6797 NEW BEST:: SOT 4207852 SOS 2234614 HAS SOPS 878438 HAS SOUS 406453 HAS SOUPS 384178 WITH SCORE 386412.614
AT ITER 6818 NEW BEST:: SOT 4207836 SOS 2234598 HAS SOPS 878374 HAS SOUS 406389 HAS SOUPS 384114 WITH SCORE 386348.598
AT ITER 6820 NEW BEST:: SOT 4207836 SOS 2234224 HAS SOPS 878034 HAS SOUS 406389 HAS SOUPS 384114 WITH SCORE 386348.224
AT ITER 6849 NEW BEST:: SOT 4207685 SOS 2233800 HAS SOPS 877732 HAS SOUS 406087 HAS SOUPS 383812 WITH SCORE 386045.8
AT ITER 6851 NEW BEST:: SOT 4207645 SOS 2233739 HAS SOPS 877673 HAS SOUS 406049 HAS SOUPS 383774 WITH SCORE 386007.739
AT ITER 6854 NEW BEST:: SOT 4207645 SOS 2233728 HAS SOPS 877658 HAS SOUS 406045 HAS SOUPS 383770 WITH SCORE 386003.728
AT ITER 6877 NEW BEST:: SOT 4207639 SOS 2233722 HAS SOPS 877646 HAS SOUS 406000 HAS SOUPS 383725 WITH SCORE 385958.722
AT ITER 6897 NEW BEST:: SOT 4207592 SOS 2235648 HAS SOPS 879392 HAS SOUS 405922 HAS SOUPS 383647 WITH SCORE 385882.648
AT ITER 6916 NEW BEST:: SOT 4207613 SOS 2235572 HAS SOPS 879198 HAS SOUS 405846 HAS SOUPS 383571 WITH SCORE 385806.572
AT ITER 6968 NEW BEST:: SOT 4207613 SOS 2235574 HAS SOPS 879198 HAS SOUS 405845 HAS SOUPS 383570 WITH SCORE 385805.574
AT ITER 6974 NEW BEST:: SOT 4207609 SOS 2235616 HAS SOPS 879190 HAS SOUS 405837 HAS SOUPS 383562 WITH SCORE 385797.616
AT ITER 7010 NEW BEST:: SOT 4207581 SOS 2235574 HAS SOPS 879176 HAS SOUS 405809 HAS SOUPS 383534 WITH SCORE 385769.574
AT ITER 7051 NEW BEST:: SOT 4207427 SOS 2235342 HAS SOPS 878868 HAS SOUS 405543 HAS SOUPS 383226 WITH SCORE 385461.342
AT ITER 7052 NEW BEST:: SOT 4207408 SOS 2235235 HAS SOPS 878761 HAS SOUS 405505 HAS SOUPS 383188 WITH SCORE 385423.235
AT ITER 7079 NEW BEST:: SOT 4207438 SOS 2235184 HAS SOPS 878821 HAS SOUS 405477 HAS SOUPS 383160 WITH SCORE 385395.184
AT ITER 7081 NEW BEST:: SOT 4207438 SOS 2229168 HAS SOPS 872805 HAS SOUS 405069 HAS SOUPS 382752 WITH SCORE 384981.168
AT ITER 7097 NEW BEST:: SOT 4207305 SOS 2229035 HAS SOPS 872672 HAS SOUS 404959 HAS SOUPS 382642 WITH SCORE 384871.035
AT ITER 7107 NEW BEST:: SOT 4206938 SOS 2228668 HAS SOPS 872062 HAS SOUS 404440 HAS SOUPS 382123 WITH SCORE 384351.668
AT ITER 7120 NEW BEST:: SOT 4206848 SOS 2229664 HAS SOPS 873058 HAS SOUS 404346 HAS SOUPS 382029 WITH SCORE 384258.664
AT ITER 7126 NEW BEST:: SOT 4207141 SOS 2230055 HAS SOPS 872999 HAS SOUS 404345 HAS SOUPS 382028 WITH SCORE 384258.055
AT ITER 7127 NEW BEST:: SOT 4207119 SOS 2230055 HAS SOPS 872977 HAS SOUS 404313 HAS SOUPS 381996 WITH SCORE 384226.055
AT ITER 7130 NEW BEST:: SOT 4207106 SOS 2230029 HAS SOPS 872951 HAS SOUS 404287 HAS SOUPS 381970 WITH SCORE 384200.029
AT ITER 7164 NEW BEST:: SOT 4207129 SOS 2230113 HAS SOPS 872936 HAS SOUS 404272 HAS SOUPS 381955 WITH SCORE 384185.113
AT ITER 7173 NEW BEST:: SOT 4207125 SOS 2230207 HAS SOPS 873030 HAS SOUS 404264 HAS SOUPS 381947 WITH SCORE 384177.207
AT ITER 7176 NEW BEST:: SOT 4207598 SOS 2232253 HAS SOPS 874469 HAS SOUS 404178 HAS SOUPS 381861 WITH SCORE 384093.253
AT ITER 7197 NEW BEST:: SOT 4207583 SOS 2232294 HAS SOPS 874439 HAS SOUS 404148 HAS SOUPS 381831 WITH SCORE 384063.294
AT ITER 7200 NEW BEST:: SOT 4207702 SOS 2231946 HAS SOPS 872804 HAS SOUS 403965 HAS SOUPS 381477 WITH SCORE 383708.946
AT ITER 7208 NEW BEST:: SOT 4207101 SOS 2231343 HAS SOPS 871898 HAS SOUS 403061 HAS SOUPS 380573 WITH SCORE 382804.343
AT ITER 7253 NEW BEST:: SOT 4207197 SOS 2231069 HAS SOPS 871422 HAS SOUS 402832 HAS SOUPS 380344 WITH SCORE 382575.069
AT ITER 7266 NEW BEST:: SOT 4207077 SOS 2230829 HAS SOPS 871304 HAS SOUS 402714 HAS SOUPS 380226 WITH SCORE 382456.829
AT ITER 7285 NEW BEST:: SOT 4207040 SOS 2230718 HAS SOPS 871193 HAS SOUS 402640 HAS SOUPS 380152 WITH SCORE 382382.718
AT ITER 7288 NEW BEST:: SOT 4206973 SOS 2230503 HAS SOPS 871126 HAS SOUS 402573 HAS SOUPS 380085 WITH SCORE 382315.503
AT ITER 7290 NEW BEST:: SOT 4206657 SOS 2230281 HAS SOPS 870820 HAS SOUS 402163 HAS SOUPS 379675 WITH SCORE 381905.281
AT ITER 7327 NEW BEST:: SOT 4206705 SOS 2230329 HAS SOPS 870916 HAS SOUS 402111 HAS SOUPS 379623 WITH SCORE 381853.329
AT ITER 7332 NEW BEST:: SOT 4206662 SOS 2230359 HAS SOPS 870830 HAS SOUS 402025 HAS SOUPS 379537 WITH SCORE 381767.359
AT ITER 7339 NEW BEST:: SOT 4206657 SOS 2230349 HAS SOPS 870820 HAS SOUS 402015 HAS SOUPS 379527 WITH SCORE 381757.349
AT ITER 7350 NEW BEST:: SOT 4206127 SOS 2237438 HAS SOPS 870369 HAS SOUS 402082 HAS SOUPS 379515 WITH SCORE 381752.438
AT ITER 7357 NEW BEST:: SOT 4205831 SOS 2241227 HAS SOPS 869600 HAS SOUS 402049 HAS SOUPS 379439 WITH SCORE 381680.227
AT ITER 7367 NEW BEST:: SOT 4205831 SOS 2241208 HAS SOPS 869581 HAS SOUS 402049 HAS SOUPS 379439 WITH SCORE 381680.208
AT ITER 7372 NEW BEST:: SOT 4205834 SOS 2241108 HAS SOPS 869481 HAS SOUS 401984 HAS SOUPS 379374 WITH SCORE 381615.108
AT ITER 7374 NEW BEST:: SOT 4205716 SOS 2240791 HAS SOPS 869164 HAS SOUS 401748 HAS SOUPS 379138 WITH SCORE 381378.791
AT ITER 7383 NEW BEST:: SOT 4205736 SOS 2240816 HAS SOPS 869184 HAS SOUS 401728 HAS SOUPS 379118 WITH SCORE 381358.816
AT ITER 7397 NEW BEST:: SOT 4205621 SOS 2240679 HAS SOPS 868954 HAS SOUS 401520 HAS SOUPS 378910 WITH SCORE 381150.679
AT ITER 7398 NEW BEST:: SOT 4205548 SOS 2238787 HAS SOPS 867062 HAS SOUS 401253 HAS SOUPS 378643 WITH SCORE 380881.787
AT ITER 7414 NEW BEST:: SOT 4205319 SOS 2242986 HAS SOPS 866794 HAS SOUS 401024 HAS SOUPS 378375 WITH SCORE 380617.986
AT ITER 7429 NEW BEST:: SOT 4205319 SOS 2243021 HAS SOPS 866759 HAS SOUS 400989 HAS SOUPS 378340 WITH SCORE 380583.021
AT ITER 7445 NEW BEST:: SOT 4205313 SOS 2242836 HAS SOPS 866574 HAS SOUS 400977 HAS SOUPS 378328 WITH SCORE 380570.836
AT ITER 7456 NEW BEST:: SOT 4205310 SOS 2242780 HAS SOPS 866518 HAS SOUS 400971 HAS SOUPS 378322 WITH SCORE 380564.78
AT ITER 7515 NEW BEST:: SOT 4203302 SOS 2240876 HAS SOPS 863867 HAS SOUS 400842 HAS SOUPS 378193 WITH SCORE 380433.876
AT ITER 7527 NEW BEST:: SOT 4203210 SOS 2240692 HAS SOPS 863683 HAS SOUS 400750 HAS SOUPS 378101 WITH SCORE 380341.692
AT ITER 7528 NEW BEST:: SOT 4203231 SOS 2238034 HAS SOPS 861025 HAS SOUS 400547 HAS SOUPS 377898 WITH SCORE 380136.034
AT ITER 7534 NEW BEST:: SOT 4201685 SOS 2236495 HAS SOPS 859472 HAS SOUS 400524 HAS SOUPS 377875 WITH SCORE 380111.495
AT ITER 7576 NEW BEST:: SOT 4201661 SOS 2236423 HAS SOPS 859400 HAS SOUS 400476 HAS SOUPS 377827 WITH SCORE 380063.423
AT ITER 7579 NEW BEST:: SOT 4201665 SOS 2236559 HAS SOPS 859276 HAS SOUS 400352 HAS SOUPS 377703 WITH SCORE 379939.559
AT ITER 7582 NEW BEST:: SOT 4201593 SOS 2236529 HAS SOPS 859310 HAS SOUS 400314 HAS SOUPS 377665 WITH SCORE 379901.529
AT ITER 7591 NEW BEST:: SOT 4201593 SOS 2235904 HAS SOPS 858541 HAS SOUS 400262 HAS SOUPS 377613 WITH SCORE 379848.904
AT ITER 7608 NEW BEST:: SOT 4201590 SOS 2235898 HAS SOPS 858538 HAS SOUS 400262 HAS SOUPS 377613 WITH SCORE 379848.898
AT ITER 7628 NEW BEST:: SOT 4201588 SOS 2235896 HAS SOPS 858534 HAS SOUS 400260 HAS SOUPS 377611 WITH SCORE 379846.896
AT ITER 7632 NEW BEST:: SOT 4201505 SOS 2234990 HAS SOPS 857776 HAS SOUS 400186 HAS SOUPS 377537 WITH SCORE 379771.99
AT ITER 7637 NEW BEST:: SOT 4201505 SOS 2234990 HAS SOPS 857740 HAS SOUS 400150 HAS SOUPS 377501 WITH SCORE 379735.99
AT ITER 7640 NEW BEST:: SOT 4200792 SOS 2243000 HAS SOPS 857098 HAS SOUS 400199 HAS SOUPS 377466 WITH SCORE 379709.0
AT ITER 7650 NEW BEST:: SOT 4200777 SOS 2243255 HAS SOPS 857353 HAS SOUS 400184 HAS SOUPS 377451 WITH SCORE 379694.255
AT ITER 7655 NEW BEST:: SOT 4200844 SOS 2243180 HAS SOPS 857069 HAS SOUS 400087 HAS SOUPS 377354 WITH SCORE 379597.18
AT ITER 7660 NEW BEST:: SOT 4200844 SOS 2243910 HAS SOPS 857653 HAS SOUS 400014 HAS SOUPS 377281 WITH SCORE 379524.91
AT ITER 7676 NEW BEST:: SOT 4200830 SOS 2243882 HAS SOPS 857625 HAS SOUS 400000 HAS SOUPS 377267 WITH SCORE 379510.882
AT ITER 7681 NEW BEST:: SOT 4200433 SOS 2243543 HAS SOPS 857312 HAS SOUS 399631 HAS SOUPS 376898 WITH SCORE 379141.543
AT ITER 7716 NEW BEST:: SOT 4200417 SOS 2243527 HAS SOPS 857296 HAS SOUS 399615 HAS SOUPS 376882 WITH SCORE 379125.527
AT ITER 7717 NEW BEST:: SOT 4200415 SOS 2243525 HAS SOPS 857300 HAS SOUS 399615 HAS SOUPS 376882 WITH SCORE 379125.525
AT ITER 7721 NEW BEST:: SOT 4200178 SOS 2243051 HAS SOPS 857063 HAS SOUS 399615 HAS SOUPS 376882 WITH SCORE 379125.051
AT ITER 7735 NEW BEST:: SOT 4199919 SOS 2239546 HAS SOPS 853468 HAS SOUS 399312 HAS SOUPS 376579 WITH SCORE 378818.546
AT ITER 7737 NEW BEST:: SOT 4199907 SOS 2239534 HAS SOPS 853444 HAS SOUS 398964 HAS SOUPS 376231 WITH SCORE 378470.534
AT ITER 7739 NEW BEST:: SOT 4199879 SOS 2239492 HAS SOPS 853430 HAS SOUS 398950 HAS SOUPS 376217 WITH SCORE 378456.492
AT ITER 7748 NEW BEST:: SOT 4199866 SOS 2239427 HAS SOPS 853365 HAS SOUS 398924 HAS SOUPS 376191 WITH SCORE 378430.427
AT ITER 7756 NEW BEST:: SOT 4199833 SOS 2239394 HAS SOPS 853299 HAS SOUS 398858 HAS SOUPS 376125 WITH SCORE 378364.394
AT ITER 7762 NEW BEST:: SOT 4199807 SOS 2239342 HAS SOPS 853234 HAS SOUS 398806 HAS SOUPS 376073 WITH SCORE 378312.342
AT ITER 7770 NEW BEST:: SOT 4199758 SOS 2239244 HAS SOPS 853136 HAS SOUS 398757 HAS SOUPS 376024 WITH SCORE 378263.244
AT ITER 7777 NEW BEST:: SOT 4199426 SOS 2235419 HAS SOPS 849311 HAS SOUS 398425 HAS SOUPS 375692 WITH SCORE 377927.419
AT ITER 7788 NEW BEST:: SOT 4199254 SOS 2235206 HAS SOPS 849052 HAS SOUS 398207 HAS SOUPS 375474 WITH SCORE 377709.206
AT ITER 7810 NEW BEST:: SOT 4199212 SOS 2235118 HAS SOPS 848876 HAS SOUS 398077 HAS SOUPS 375344 WITH SCORE 377579.118
AT ITER 7814 NEW BEST:: SOT 4199347 SOS 2232257 HAS SOPS 848983 HAS SOUS 398011 HAS SOUPS 375306 WITH SCORE 377538.257
AT ITER 7817 NEW BEST:: SOT 4199261 SOS 2232225 HAS SOPS 848629 HAS SOUS 397678 HAS SOUPS 374973 WITH SCORE 377205.225
AT ITER 7837 NEW BEST:: SOT 4198909 SOS 2231873 HAS SOPS 848245 HAS SOUS 397614 HAS SOUPS 374909 WITH SCORE 377140.873
AT ITER 7845 NEW BEST:: SOT 4198933 SOS 2231337 HAS SOPS 847709 HAS SOUS 397597 HAS SOUPS 374892 WITH SCORE 377123.337
AT ITER 7851 NEW BEST:: SOT 4198908 SOS 2231312 HAS SOPS 847684 HAS SOUS 397572 HAS SOUPS 374867 WITH SCORE 377098.312
AT ITER 7852 NEW BEST:: SOT 4198889 SOS 2231458 HAS SOPS 847783 HAS SOUS 397534 HAS SOUPS 374829 WITH SCORE 377060.458
AT ITER 7905 NEW BEST:: SOT 4198889 SOS 2231433 HAS SOPS 847783 HAS SOUS 397534 HAS SOUPS 374829 WITH SCORE 377060.433
AT ITER 7912 NEW BEST:: SOT 4198856 SOS 2231319 HAS SOPS 847669 HAS SOUS 397421 HAS SOUPS 374716 WITH SCORE 376947.319
AT ITER 7941 NEW BEST:: SOT 4198856 SOS 2231259 HAS SOPS 847549 HAS SOUS 397361 HAS SOUPS 374656 WITH SCORE 376887.259
AT ITER 7943 NEW BEST:: SOT 4198844 SOS 2231257 HAS SOPS 847549 HAS SOUS 397349 HAS SOUPS 374644 WITH SCORE 376875.257
AT ITER 7954 NEW BEST:: SOT 4198832 SOS 2231245 HAS SOPS 847537 HAS SOUS 397337 HAS SOUPS 374632 WITH SCORE 376863.245
AT ITER 7958 NEW BEST:: SOT 4198796 SOS 2231213 HAS SOPS 847509 HAS SOUS 397309 HAS SOUPS 374604 WITH SCORE 376835.213
AT ITER 7959 NEW BEST:: SOT 4198787 SOS 2231081 HAS SOPS 847377 HAS SOUS 397291 HAS SOUPS 374586 WITH SCORE 376817.081
AT ITER 7962 NEW BEST:: SOT 4199682 SOS 2231976 HAS SOPS 847359 HAS SOUS 396619 HAS SOUPS 373914 WITH SCORE 376145.976
AT ITER 7969 NEW BEST:: SOT 4199439 SOS 2231876 HAS SOPS 846873 HAS SOUS 396133 HAS SOUPS 373428 WITH SCORE 375659.876
AT ITER 7970 NEW BEST:: SOT 4199466 SOS 2232366 HAS SOPS 847277 HAS SOUS 396087 HAS SOUPS 373382 WITH SCORE 375614.366
AT ITER 8019 NEW BEST:: SOT 4199231 SOS 2240180 HAS SOPS 846994 HAS SOUS 396139 HAS SOUPS 373362 WITH SCORE 375602.18
AT ITER 8022 NEW BEST:: SOT 4199210 SOS 2240075 HAS SOPS 846889 HAS SOUS 396097 HAS SOUPS 373320 WITH SCORE 375560.075
AT ITER 8031 NEW BEST:: SOT 4199181 SOS 2240046 HAS SOPS 846889 HAS SOUS 396068 HAS SOUPS 373320 WITH SCORE 375560.046
AT ITER 8040 NEW BEST:: SOT 4199181 SOS 2240040 HAS SOPS 846883 HAS SOUS 396068 HAS SOUPS 373320 WITH SCORE 375560.04
AT ITER 8048 NEW BEST:: SOT 4199067 SOS 2239812 HAS SOPS 846883 HAS SOUS 396068 HAS SOUPS 373320 WITH SCORE 375559.812
AT ITER 8079 NEW BEST:: SOT 4199067 SOS 2238087 HAS SOPS 845229 HAS SOUS 396068 HAS SOUPS 373320 WITH SCORE 375558.087
AT ITER 8084 NEW BEST:: SOT 4199067 SOS 2237968 HAS SOPS 844913 HAS SOUS 395871 HAS SOUPS 373123 WITH SCORE 375360.968
AT ITER 8091 NEW BEST:: SOT 4198494 SOS 2237391 HAS SOPS 837451 HAS SOUS 395263 HAS SOUPS 372515 WITH SCORE 374752.391
AT ITER 8106 NEW BEST:: SOT 4198614 SOS 2241005 HAS SOPS 840518 HAS SOUS 395105 HAS SOUPS 372357 WITH SCORE 374598.005
AT ITER 8114 NEW BEST:: SOT 4198593 SOS 2240721 HAS SOPS 840234 HAS SOUS 395063 HAS SOUPS 372315 WITH SCORE 374555.721
AT ITER 8120 NEW BEST:: SOT 4198541 SOS 2240513 HAS SOPS 840026 HAS SOUS 395011 HAS SOUPS 372263 WITH SCORE 374503.513
AT ITER 8142 NEW BEST:: SOT 4198541 SOS 2240513 HAS SOPS 840026 HAS SOUS 394927 HAS SOUPS 372179 WITH SCORE 374419.513
AT ITER 8152 NEW BEST:: SOT 4198519 SOS 2240495 HAS SOPS 840008 HAS SOUS 394887 HAS SOUPS 372139 WITH SCORE 374379.495
AT ITER 8156 NEW BEST:: SOT 4199791 SOS 2241871 HAS SOPS 841748 HAS SOUS 394832 HAS SOUPS 372084 WITH SCORE 374325.871
AT ITER 8193 NEW BEST:: SOT 4199741 SOS 2241321 HAS SOPS 841198 HAS SOUS 394782 HAS SOUPS 372034 WITH SCORE 374275.321
AT ITER 8204 NEW BEST:: SOT 4199676 SOS 2241264 HAS SOPS 841189 HAS SOUS 394761 HAS SOUPS 372013 WITH SCORE 374254.264
AT ITER 8211 NEW BEST:: SOT 4199669 SOS 2241285 HAS SOPS 841210 HAS SOUS 394754 HAS SOUPS 372006 WITH SCORE 374247.285
AT ITER 8217 NEW BEST:: SOT 4199608 SOS 2241261 HAS SOPS 841214 HAS SOUS 394604 HAS SOUPS 371856 WITH SCORE 374097.261
AT ITER 8235 NEW BEST:: SOT 4199410 SOS 2241158 HAS SOPS 840818 HAS SOUS 394487 HAS SOUPS 371446 WITH SCORE 373687.158
AT ITER 8303 NEW BEST:: SOT 4199406 SOS 2241134 HAS SOPS 840798 HAS SOUS 394481 HAS SOUPS 371440 WITH SCORE 373681.134
AT ITER 8311 NEW BEST:: SOT 4199403 SOS 2241131 HAS SOPS 840792 HAS SOUS 394459 HAS SOUPS 371434 WITH SCORE 373675.131
AT ITER 8339 NEW BEST:: SOT 4199143 SOS 2236620 HAS SOPS 837007 HAS SOUS 394257 HAS SOUPS 371232 WITH SCORE 373468.62
AT ITER 8352 NEW BEST:: SOT 4196905 SOS 2233792 HAS SOPS 832472 HAS SOUS 393899 HAS SOUPS 370675 WITH SCORE 372908.792
AT ITER 8360 NEW BEST:: SOT 4197067 SOS 2233954 HAS SOPS 832643 HAS SOUS 393857 HAS SOUPS 370633 WITH SCORE 372866.954
AT ITER 8367 NEW BEST:: SOT 4196885 SOS 2233764 HAS SOPS 832271 HAS SOUS 393675 HAS SOUPS 370451 WITH SCORE 372684.764
AT ITER 8388 NEW BEST:: SOT 4196938 SOS 2233686 HAS SOPS 832193 HAS SOUS 393544 HAS SOUPS 370320 WITH SCORE 372553.686
AT ITER 8398 NEW BEST:: SOT 4196938 SOS 2233692 HAS SOPS 832181 HAS SOUS 393532 HAS SOUPS 370308 WITH SCORE 372541.692
AT ITER 8403 NEW BEST:: SOT 4196932 SOS 2233686 HAS SOPS 832169 HAS SOUS 393520 HAS SOUPS 370296 WITH SCORE 372529.686
AT ITER 8423 NEW BEST:: SOT 4196956 SOS 2234734 HAS SOPS 834195 HAS SOUS 393326 HAS SOUPS 370273 WITH SCORE 372507.734
AT ITER 8429 NEW BEST:: SOT 4196966 SOS 2234629 HAS SOPS 834090 HAS SOUS 393321 HAS SOUPS 370268 WITH SCORE 372502.629
AT ITER 8438 NEW BEST:: SOT 4196867 SOS 2234528 HAS SOPS 834086 HAS SOUS 393317 HAS SOUPS 370264 WITH SCORE 372498.528
AT ITER 8445 NEW BEST:: SOT 4197119 SOS 2234497 HAS SOPS 833471 HAS SOUS 393296 HAS SOUPS 370243 WITH SCORE 372477.497
AT ITER 8447 NEW BEST:: SOT 4197119 SOS 2234489 HAS SOPS 833463 HAS SOUS 393288 HAS SOUPS 370235 WITH SCORE 372469.489
AT ITER 8453 NEW BEST:: SOT 4196439 SOS 2233809 HAS SOPS 832783 HAS SOUS 393220 HAS SOUPS 370167 WITH SCORE 372400.809
AT ITER 8544 NEW BEST:: SOT 4196361 SOS 2234081 HAS SOPS 833055 HAS SOUS 393098 HAS SOUPS 370045 WITH SCORE 372279.081
AT ITER 8562 NEW BEST:: SOT 4196310 SOS 2233979 HAS SOPS 832953 HAS SOUS 393047 HAS SOUPS 369994 WITH SCORE 372227.979
AT ITER 8573 NEW BEST:: SOT 4196310 SOS 2234199 HAS SOPS 833129 HAS SOUS 393003 HAS SOUPS 369950 WITH SCORE 372184.199
AT ITER 8622 NEW BEST:: SOT 4196278 SOS 2234487 HAS SOPS 833321 HAS SOUS 392907 HAS SOUPS 369854 WITH SCORE 372088.487
AT ITER 8625 NEW BEST:: SOT 4194226 SOS 2231619 HAS SOPS 828892 HAS SOUS 392992 HAS SOUPS 369759 WITH SCORE 371990.619
AT ITER 8634 NEW BEST:: SOT 4194232 SOS 2231644 HAS SOPS 828875 HAS SOUS 392919 HAS SOUPS 369686 WITH SCORE 371917.644
AT ITER 8646 NEW BEST:: SOT 4194303 SOS 2231860 HAS SOPS 829033 HAS SOUS 392903 HAS SOUPS 369670 WITH SCORE 371901.86
AT ITER 8648 NEW BEST:: SOT 4194127 SOS 2231684 HAS SOPS 828821 HAS SOUS 392727 HAS SOUPS 369458 WITH SCORE 371689.684
AT ITER 8680 NEW BEST:: SOT 4194127 SOS 2231684 HAS SOPS 828821 HAS SOUS 392725 HAS SOUPS 369456 WITH SCORE 371687.684
AT ITER 8687 NEW BEST:: SOT 4194119 SOS 2231676 HAS SOPS 828805 HAS SOUS 392726 HAS SOUPS 369456 WITH SCORE 371687.676
AT ITER 8741 NEW BEST:: SOT 4194084 SOS 2231647 HAS SOPS 828841 HAS SOUS 392709 HAS SOUPS 369439 WITH SCORE 371670.647
AT ITER 8761 NEW BEST:: SOT 4194079 SOS 2231642 HAS SOPS 828831 HAS SOUS 392699 HAS SOUPS 369429 WITH SCORE 371660.642
AT ITER 8775 NEW BEST:: SOT 4194073 SOS 2231690 HAS SOPS 828879 HAS SOUS 392687 HAS SOUPS 369417 WITH SCORE 371648.69
AT ITER 8785 NEW BEST:: SOT 4194582 SOS 2232344 HAS SOPS 829897 HAS SOUS 392629 HAS SOUPS 369359 WITH SCORE 371591.344
AT ITER 8787 NEW BEST:: SOT 4194597 SOS 2232428 HAS SOPS 829840 HAS SOUS 392572 HAS SOUPS 369302 WITH SCORE 371534.428
AT ITER 8794 NEW BEST:: SOT 4194597 SOS 2232708 HAS SOPS 830064 HAS SOUS 392544 HAS SOUPS 369274 WITH SCORE 371506.708
AT ITER 8812 NEW BEST:: SOT 4194745 SOS 2232931 HAS SOPS 829813 HAS SOUS 392355 HAS SOUPS 369085 WITH SCORE 371317.931
AT ITER 8823 NEW BEST:: SOT 4194782 SOS 2232108 HAS SOPS 828990 HAS SOUS 392306 HAS SOUPS 369036 WITH SCORE 371268.108
AT ITER 8836 NEW BEST:: SOT 4194763 SOS 2232108 HAS SOPS 828990 HAS SOUS 392287 HAS SOUPS 369017 WITH SCORE 371249.108
AT ITER 8847 NEW BEST:: SOT 4194763 SOS 2232108 HAS SOPS 828990 HAS SOUS 392270 HAS SOUPS 369000 WITH SCORE 371232.108
AT ITER 8855 NEW BEST:: SOT 4192899 SOS 2229447 HAS SOPS 826643 HAS SOUS 391448 HAS SOUPS 368059 WITH SCORE 370288.447
AT ITER 8871 NEW BEST:: SOT 4192824 SOS 2228227 HAS SOPS 825637 HAS SOUS 391405 HAS SOUPS 368016 WITH SCORE 370244.227
AT ITER 8878 NEW BEST:: SOT 4191950 SOS 2229122 HAS SOPS 825287 HAS SOUS 391510 HAS SOUPS 367896 WITH SCORE 370125.122
AT ITER 8881 NEW BEST:: SOT 4191716 SOS 2228760 HAS SOPS 824819 HAS SOUS 391170 HAS SOUPS 367556 WITH SCORE 369784.76
AT ITER 8882 NEW BEST:: SOT 4191706 SOS 2228675 HAS SOPS 824734 HAS SOUS 391150 HAS SOUPS 367536 WITH SCORE 369764.675
AT ITER 8886 NEW BEST:: SOT 4192318 SOS 2220075 HAS SOPS 825438 HAS SOUS 391032 HAS SOUPS 367518 WITH SCORE 369738.075
AT ITER 8916 NEW BEST:: SOT 4192318 SOS 2220043 HAS SOPS 825406 HAS SOUS 391028 HAS SOUPS 367514 WITH SCORE 369734.043
AT ITER 8918 NEW BEST:: SOT 4192030 SOS 2219743 HAS SOPS 824968 HAS SOUS 390590 HAS SOUPS 367076 WITH SCORE 369295.743
AT ITER 8929 NEW BEST:: SOT 4191989 SOS 2219669 HAS SOPS 824886 HAS SOUS 390508 HAS SOUPS 366994 WITH SCORE 369213.669
AT ITER 8950 NEW BEST:: SOT 4191889 SOS 2219491 HAS SOPS 824708 HAS SOUS 390386 HAS SOUPS 366872 WITH SCORE 369091.491
AT ITER 8965 NEW BEST:: SOT 4191866 SOS 2219468 HAS SOPS 824685 HAS SOUS 390363 HAS SOUPS 366849 WITH SCORE 369068.468
AT ITER 8991 NEW BEST:: SOT 4191680 SOS 2219194 HAS SOPS 824313 HAS SOUS 390079 HAS SOUPS 366565 WITH SCORE 368784.194
AT ITER 8992 NEW BEST:: SOT 4191680 SOS 2218534 HAS SOPS 823713 HAS SOUS 390079 HAS SOUPS 366565 WITH SCORE 368783.534
AT ITER 9001 NEW BEST:: SOT 4191568 SOS 2218366 HAS SOPS 823467 HAS SOUS 389916 HAS SOUPS 366402 WITH SCORE 368620.366
AT ITER 9018 NEW BEST:: SOT 4191198 SOS 2218902 HAS SOPS 823079 HAS SOUS 389999 HAS SOUPS 366366 WITH SCORE 368584.902
AT ITER 9031 NEW BEST:: SOT 4191197 SOS 2218901 HAS SOPS 823077 HAS SOUS 389998 HAS SOUPS 366364 WITH SCORE 368582.901
AT ITER 9047 NEW BEST:: SOT 4191114 SOS 2217712 HAS SOPS 821981 HAS SOUS 389925 HAS SOUPS 366291 WITH SCORE 368508.712
AT ITER 9050 NEW BEST:: SOT 4191006 SOS 2216460 HAS SOPS 820933 HAS SOUS 389917 HAS SOUPS 366283 WITH SCORE 368499.46
AT ITER 9053 NEW BEST:: SOT 4190972 SOS 2216392 HAS SOPS 820865 HAS SOUS 389849 HAS SOUPS 366215 WITH SCORE 368431.392
AT ITER 9065 NEW BEST:: SOT 4190958 SOS 2216518 HAS SOPS 820949 HAS SOUS 389807 HAS SOUPS 366173 WITH SCORE 368389.518
AT ITER 9090 NEW BEST:: SOT 4190942 SOS 2216494 HAS SOPS 820933 HAS SOUS 389791 HAS SOUPS 366157 WITH SCORE 368373.494
AT ITER 9115 NEW BEST:: SOT 4190942 SOS 2216718 HAS SOPS 821157 HAS SOUS 389763 HAS SOUPS 366129 WITH SCORE 368345.718
AT ITER 9118 NEW BEST:: SOT 4190855 SOS 2215941 HAS SOPS 820447 HAS SOUS 389723 HAS SOUPS 366089 WITH SCORE 368304.941
AT ITER 9120 NEW BEST:: SOT 4190855 SOS 2215891 HAS SOPS 820397 HAS SOUS 389723 HAS SOUPS 366089 WITH SCORE 368304.891
AT ITER 9150 NEW BEST:: SOT 4190840 SOS 2215861 HAS SOPS 820397 HAS SOUS 389723 HAS SOUPS 366089 WITH SCORE 368304.861
AT ITER 9183 NEW BEST:: SOT 4190832 SOS 2215751 HAS SOPS 820287 HAS SOUS 389707 HAS SOUPS 366073 WITH SCORE 368288.751
AT ITER 9232 NEW BEST:: SOT 4190858 SOS 2215749 HAS SOPS 820285 HAS SOUS 389705 HAS SOUPS 366071 WITH SCORE 368286.749
AT ITER 9244 NEW BEST:: SOT 4190837 SOS 2215728 HAS SOPS 820243 HAS SOUS 389684 HAS SOUPS 366029 WITH SCORE 368244.728
AT ITER 9253 NEW BEST:: SOT 4190541 SOS 2215432 HAS SOPS 820185 HAS SOUS 389607 HAS SOUPS 365952 WITH SCORE 368167.432
AT ITER 9263 NEW BEST:: SOT 4190534 SOS 2215418 HAS SOPS 820171 HAS SOUS 389593 HAS SOUPS 365938 WITH SCORE 368153.418
AT ITER 9275 NEW BEST:: SOT 4188252 SOS 2213136 HAS SOPS 818066 HAS SOUS 389554 HAS SOUPS 365899 WITH SCORE 368112.136
AT ITER 9278 NEW BEST:: SOT 4187936 SOS 2212718 HAS SOPS 817648 HAS SOUS 389271 HAS SOUPS 365616 WITH SCORE 367828.718
AT ITER 9284 NEW BEST:: SOT 4187736 SOS 2212432 HAS SOPS 817504 HAS SOUS 389127 HAS SOUPS 365472 WITH SCORE 367684.432
AT ITER 9300 NEW BEST:: SOT 4187823 SOS 2212699 HAS SOPS 817585 HAS SOUS 389115 HAS SOUPS 365460 WITH SCORE 367672.699
AT ITER 9303 NEW BEST:: SOT 4187759 SOS 2212635 HAS SOPS 817457 HAS SOUS 389051 HAS SOUPS 365348 WITH SCORE 367560.635
AT ITER 9338 NEW BEST:: SOT 4187882 SOS 2212775 HAS SOPS 817385 HAS SOUS 388979 HAS SOUPS 365276 WITH SCORE 367488.775
AT ITER 9370 NEW BEST:: SOT 4187877 SOS 2212760 HAS SOPS 817317 HAS SOUS 388969 HAS SOUPS 365266 WITH SCORE 367478.76
AT ITER 9424 NEW BEST:: SOT 4187796 SOS 2212598 HAS SOPS 817155 HAS SOUS 388888 HAS SOUPS 365185 WITH SCORE 367397.598
AT ITER 9444 NEW BEST:: SOT 4187914 SOS 2212586 HAS SOPS 816903 HAS SOUS 388762 HAS SOUPS 365059 WITH SCORE 367271.586
AT ITER 9452 NEW BEST:: SOT 4187906 SOS 2212552 HAS SOPS 816869 HAS SOUS 388746 HAS SOUPS 365043 WITH SCORE 367255.552
AT ITER 9462 NEW BEST:: SOT 4187698 SOS 2210710 HAS SOPS 815357 HAS SOUS 388604 HAS SOUPS 364901 WITH SCORE 367111.71
AT ITER 9477 NEW BEST:: SOT 4187604 SOS 2209522 HAS SOPS 814177 HAS SOUS 388416 HAS SOUPS 364713 WITH SCORE 366922.522
AT ITER 9495 NEW BEST:: SOT 4187603 SOS 2209521 HAS SOPS 814175 HAS SOUS 388414 HAS SOUPS 364711 WITH SCORE 366920.521
AT ITER 9505 NEW BEST:: SOT 4186316 SOS 2208091 HAS SOPS 813031 HAS SOUS 388414 HAS SOUPS 364711 WITH SCORE 366919.091
AT ITER 9507 NEW BEST:: SOT 4186343 SOS 2208088 HAS SOPS 813028 HAS SOUS 388411 HAS SOUPS 364708 WITH SCORE 366916.088
AT ITER 9508 NEW BEST:: SOT 4184786 SOS 2206374 HAS SOPS 811314 HAS SOUS 388110 HAS SOUPS 364407 WITH SCORE 366613.374
AT ITER 9515 NEW BEST:: SOT 4184205 SOS 2206029 HAS SOPS 812528 HAS SOUS 387732 HAS SOUPS 364062 WITH SCORE 366268.029
AT ITER 9540 NEW BEST:: SOT 4184100 SOS 2204279 HAS SOPS 810778 HAS SOUS 387501 HAS SOUPS 363831 WITH SCORE 366035.279
AT ITER 9545 NEW BEST:: SOT 4183765 SOS 2204024 HAS SOPS 810742 HAS SOUS 387425 HAS SOUPS 363755 WITH SCORE 365959.024
AT ITER 9584 NEW BEST:: SOT 4183742 SOS 2203978 HAS SOPS 810696 HAS SOUS 387379 HAS SOUPS 363709 WITH SCORE 365912.978
AT ITER 9593 NEW BEST:: SOT 4183778 SOS 2204014 HAS SOPS 810520 HAS SOUS 387203 HAS SOUPS 363533 WITH SCORE 365737.014
AT ITER 9601 NEW BEST:: SOT 4183756 SOS 2203992 HAS SOPS 810490 HAS SOUS 387167 HAS SOUPS 363503 WITH SCORE 365706.992
AT ITER 9604 NEW BEST:: SOT 4183780 SOS 2203927 HAS SOPS 810360 HAS SOUS 387126 HAS SOUPS 363462 WITH SCORE 365665.927
AT ITER 9606 NEW BEST:: SOT 4183760 SOS 2204661 HAS SOPS 811094 HAS SOUS 387086 HAS SOUPS 363422 WITH SCORE 365626.661
AT ITER 9611 NEW BEST:: SOT 4183753 SOS 2204654 HAS SOPS 811073 HAS SOUS 387065 HAS SOUPS 363401 WITH SCORE 365605.654
AT ITER 9630 NEW BEST:: SOT 4183643 SOS 2204489 HAS SOPS 810963 HAS SOUS 386955 HAS SOUPS 363291 WITH SCORE 365495.489
AT ITER 9636 NEW BEST:: SOT 4183556 SOS 2204525 HAS SOPS 810999 HAS SOUS 386888 HAS SOUPS 363224 WITH SCORE 365428.525
AT ITER 9664 NEW BEST:: SOT 4183394 SOS 2203514 HAS SOPS 810094 HAS SOUS 386730 HAS SOUPS 363066 WITH SCORE 365269.514
AT ITER 9678 NEW BEST:: SOT 4183313 SOS 2203294 HAS SOPS 809874 HAS SOUS 386568 HAS SOUPS 362904 WITH SCORE 365107.294
AT ITER 9714 NEW BEST:: SOT 4183309 SOS 2203529 HAS SOPS 810109 HAS SOUS 386560 HAS SOUPS 362896 WITH SCORE 365099.529
AT ITER 9718 NEW BEST:: SOT 4182510 SOS 2203450 HAS SOPS 809533 HAS SOUS 386669 HAS SOUPS 362848 WITH SCORE 365051.45
AT ITER 9729 NEW BEST:: SOT 4181279 SOS 2202802 HAS SOPS 808238 HAS SOUS 386168 HAS SOUPS 362119 WITH SCORE 364321.802
AT ITER 9742 NEW BEST:: SOT 4181281 SOS 2202804 HAS SOPS 808192 HAS SOUS 386122 HAS SOUPS 362073 WITH SCORE 364275.804
AT ITER 9745 NEW BEST:: SOT 4181258 SOS 2202083 HAS SOPS 807471 HAS SOUS 386076 HAS SOUPS 362027 WITH SCORE 364229.083
AT ITER 9748 NEW BEST:: SOT 4181116 SOS 2201771 HAS SOPS 807115 HAS SOUS 385890 HAS SOUPS 361841 WITH SCORE 364042.771
AT ITER 9751 NEW BEST:: SOT 4181018 SOS 2201599 HAS SOPS 806919 HAS SOUS 385694 HAS SOUPS 361645 WITH SCORE 363846.599
AT ITER 9754 NEW BEST:: SOT 4181013 SOS 2201707 HAS SOPS 806912 HAS SOUS 385688 HAS SOUPS 361638 WITH SCORE 363839.707
AT ITER 9766 NEW BEST:: SOT 4180905 SOS 2201599 HAS SOPS 806804 HAS SOUS 385580 HAS SOUPS 361530 WITH SCORE 363731.599
AT ITER 9767 NEW BEST:: SOT 4180723 SOS 2201369 HAS SOPS 806622 HAS SOUS 385398 HAS SOUPS 361348 WITH SCORE 363549.369
AT ITER 9772 NEW BEST:: SOT 4180708 SOS 2201769 HAS SOPS 807022 HAS SOUS 385383 HAS SOUPS 361333 WITH SCORE 363534.769
AT ITER 9785 NEW BEST:: SOT 4180712 SOS 2201777 HAS SOPS 806872 HAS SOUS 385341 HAS SOUPS 361291 WITH SCORE 363492.777
AT ITER 9793 NEW BEST:: SOT 4180667 SOS 2201737 HAS SOPS 806557 HAS SOUS 385296 HAS SOUPS 361246 WITH SCORE 363447.737
AT ITER 9805 NEW BEST:: SOT 4180646 SOS 2201695 HAS SOPS 806515 HAS SOUS 385254 HAS SOUPS 361204 WITH SCORE 363405.695
AT ITER 9840 NEW BEST:: SOT 4180258 SOS 2201307 HAS SOPS 806397 HAS SOUS 385108 HAS SOUPS 361058 WITH SCORE 363259.307
AT ITER 9842 NEW BEST:: SOT 4178775 SOS 2199445 HAS SOPS 804583 HAS SOUS 384865 HAS SOUPS 360815 WITH SCORE 363014.445
AT ITER 9843 NEW BEST:: SOT 4178861 SOS 2199617 HAS SOPS 804529 HAS SOUS 384811 HAS SOUPS 360761 WITH SCORE 362960.617
AT ITER 9854 NEW BEST:: SOT 4178853 SOS 2199521 HAS SOPS 804449 HAS SOUS 384811 HAS SOUPS 360761 WITH SCORE 362960.521
AT ITER 9879 NEW BEST:: SOT 4178689 SOS 2199357 HAS SOPS 804121 HAS SOUS 384483 HAS SOUPS 360433 WITH SCORE 362632.357
AT ITER 9883 NEW BEST:: SOT 4178678 SOS 2199340 HAS SOPS 804116 HAS SOUS 384478 HAS SOUPS 360428 WITH SCORE 362627.34
AT ITER 9928 NEW BEST:: SOT 4178634 SOS 2199296 HAS SOPS 804068 HAS SOUS 384470 HAS SOUPS 360420 WITH SCORE 362619.296
AT ITER 9932 NEW BEST:: SOT 4178621 SOS 2199292 HAS SOPS 804064 HAS SOUS 384444 HAS SOUPS 360394 WITH SCORE 362593.292
AT ITER 9980 NEW BEST:: SOT 4178610 SOS 2199182 HAS SOPS 803955 HAS SOUS 384436 HAS SOUPS 360386 WITH SCORE 362585.182
AT ITER 9989 NEW BEST:: SOT 4176822 SOS 2196770 HAS SOPS 800075 HAS SOUS 384134 HAS SOUPS 360084 WITH SCORE 362280.77
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11709780 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16122764 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r523-tall-167987247800280"
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 ;