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.r299-tall-167873953000456.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 PolyORBLF-COL-S06J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953000456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 13:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 26 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 14:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679491138701

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=PolyORBLF-COL-S06J04T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 13:19:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 13:19:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 13:19:00] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 13:19:00] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 13:19:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 552 ms
[2023-03-22 13:19:00] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 632 PT places and 10560.0 transition bindings in 158 ms.
[2023-03-22 13:19:01] [INFO ] Unfolded HLPN to a Petri net with 632 places and 10500 transitions 88770 arcs in 174 ms.
[2023-03-22 13:19:01] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 13:19:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 632 places, 10500 transitions and 88770 arcs took 135 ms.
Total runtime 1111 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J04T06
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: 632 places, 10500 transitions, 88770 arcs.
AT ITER 0 NEW BEST:: SOT 3685453 SOS 3246414 HAS SOPS 3235432 HAS SOUS 561893 HAS SOUPS 560655 WITH SCORE 563901.414
AT ITER 4 NEW BEST:: SOT 3685237 SOS 3246198 HAS SOPS 3235344 HAS SOUS 561808 HAS SOUPS 560570 WITH SCORE 563816.198
AT ITER 14 NEW BEST:: SOT 3684567 SOS 3245467 HAS SOPS 3234613 HAS SOUS 561138 HAS SOUPS 559900 WITH SCORE 563145.467
AT ITER 16 NEW BEST:: SOT 3447052 SOS 3008222 HAS SOPS 2997368 HAS SOUS 500758 HAS SOUPS 499520 WITH SCORE 502528.222
AT ITER 20 NEW BEST:: SOT 3447031 SOS 3008201 HAS SOPS 2997326 HAS SOUS 500734 HAS SOUPS 499478 WITH SCORE 502486.201
AT ITER 21 NEW BEST:: SOT 3446656 SOS 3007826 HAS SOPS 2996951 HAS SOUS 500299 HAS SOUPS 499043 WITH SCORE 502050.826
AT ITER 25 NEW BEST:: SOT 3446567 SOS 3007895 HAS SOPS 2997016 HAS SOUS 500187 HAS SOUPS 498931 WITH SCORE 501938.895
AT ITER 28 NEW BEST:: SOT 3446432 SOS 3007760 HAS SOPS 2996944 HAS SOUS 500114 HAS SOUPS 498858 WITH SCORE 501865.76
AT ITER 50 NEW BEST:: SOT 3446344 SOS 3007672 HAS SOPS 2996856 HAS SOUS 499871 HAS SOUPS 498615 WITH SCORE 501622.672
AT ITER 53 NEW BEST:: SOT 3445776 SOS 3007163 HAS SOPS 2996347 HAS SOUS 499424 HAS SOUPS 498168 WITH SCORE 501175.163
AT ITER 68 NEW BEST:: SOT 3445776 SOS 3007137 HAS SOPS 2996321 HAS SOUS 499398 HAS SOUPS 498142 WITH SCORE 501149.137
AT ITER 72 NEW BEST:: SOT 3445462 SOS 3006964 HAS SOPS 2996287 HAS SOUS 499128 HAS SOUPS 497872 WITH SCORE 500878.964
AT ITER 79 NEW BEST:: SOT 3445159 SOS 3006834 HAS SOPS 2996315 HAS SOUS 498764 HAS SOUPS 497508 WITH SCORE 500514.834
AT ITER 85 NEW BEST:: SOT 3445072 SOS 3006875 HAS SOPS 2996352 HAS SOUS 498495 HAS SOUPS 497239 WITH SCORE 500245.875
AT ITER 86 NEW BEST:: SOT 3445036 SOS 3007740 HAS SOPS 2997213 HAS SOUS 498453 HAS SOUPS 497197 WITH SCORE 500204.74
AT ITER 89 NEW BEST:: SOT 3444826 SOS 3007530 HAS SOPS 2997003 HAS SOUS 498213 HAS SOUPS 496957 WITH SCORE 499964.53
AT ITER 91 NEW BEST:: SOT 3444826 SOS 3007782 HAS SOPS 2997255 HAS SOUS 497912 HAS SOUPS 496656 WITH SCORE 499663.782
AT ITER 96 NEW BEST:: SOT 3444528 SOS 3007727 HAS SOPS 2997331 HAS SOUS 497749 HAS SOUPS 496493 WITH SCORE 499500.727
AT ITER 99 NEW BEST:: SOT 3443934 SOS 3007034 HAS SOPS 2996638 HAS SOUS 497056 HAS SOUPS 495800 WITH SCORE 498807.034
AT ITER 103 NEW BEST:: SOT 3443926 SOS 3007026 HAS SOPS 2996630 HAS SOUS 497044 HAS SOUPS 495788 WITH SCORE 498795.026
AT ITER 107 NEW BEST:: SOT 3443926 SOS 3007026 HAS SOPS 2996630 HAS SOUS 497042 HAS SOUPS 495786 WITH SCORE 498793.026
AT ITER 109 NEW BEST:: SOT 3443845 SOS 3006945 HAS SOPS 2996549 HAS SOUS 496718 HAS SOUPS 495462 WITH SCORE 498468.945
AT ITER 112 NEW BEST:: SOT 3443821 SOS 3005814 HAS SOPS 2995418 HAS SOUS 496695 HAS SOUPS 495439 WITH SCORE 498444.814
AT ITER 116 NEW BEST:: SOT 3443749 SOS 3005742 HAS SOPS 2995346 HAS SOUS 496623 HAS SOUPS 495367 WITH SCORE 498372.742
AT ITER 130 NEW BEST:: SOT 3443667 SOS 3005910 HAS SOPS 2995483 HAS SOUS 496461 HAS SOUPS 495205 WITH SCORE 498210.91
AT ITER 132 NEW BEST:: SOT 3443403 SOS 3005640 HAS SOPS 2995213 HAS SOUS 496375 HAS SOUPS 495119 WITH SCORE 498124.64
AT ITER 139 NEW BEST:: SOT 3443403 SOS 3005630 HAS SOPS 2995203 HAS SOUS 496375 HAS SOUPS 495119 WITH SCORE 498124.63
AT ITER 156 NEW BEST:: SOT 3443342 SOS 3005569 HAS SOPS 2995203 HAS SOUS 496351 HAS SOUPS 495113 WITH SCORE 498118.569
AT ITER 157 NEW BEST:: SOT 3443551 SOS 3005745 HAS SOPS 2995379 HAS SOUS 496159 HAS SOUPS 494921 WITH SCORE 497926.745
AT ITER 183 NEW BEST:: SOT 3443545 SOS 3006026 HAS SOPS 2995660 HAS SOUS 496029 HAS SOUPS 494791 WITH SCORE 497797.026
AT ITER 198 NEW BEST:: SOT 3443545 SOS 3006014 HAS SOPS 2995553 HAS SOUS 496012 HAS SOUPS 494774 WITH SCORE 497780.014
AT ITER 201 NEW BEST:: SOT 3443545 SOS 3006043 HAS SOPS 2995582 HAS SOUS 495953 HAS SOUPS 494715 WITH SCORE 497721.043
AT ITER 204 NEW BEST:: SOT 3444166 SOS 3006746 HAS SOPS 2996285 HAS SOUS 495891 HAS SOUPS 494653 WITH SCORE 497659.746
AT ITER 205 NEW BEST:: SOT 3443986 SOS 3006566 HAS SOPS 2996195 HAS SOUS 495621 HAS SOUPS 494383 WITH SCORE 497389.566
AT ITER 211 NEW BEST:: SOT 3443983 SOS 3006563 HAS SOPS 2996192 HAS SOUS 495621 HAS SOUPS 494383 WITH SCORE 497389.563
AT ITER 212 NEW BEST:: SOT 3443983 SOS 3006558 HAS SOPS 2996187 HAS SOUS 495616 HAS SOUPS 494378 WITH SCORE 497384.558
AT ITER 215 NEW BEST:: SOT 3443891 SOS 3006466 HAS SOPS 2996187 HAS SOUS 495615 HAS SOUPS 494377 WITH SCORE 497383.466
AT ITER 216 NEW BEST:: SOT 3443934 SOS 3009889 HAS SOPS 2996136 HAS SOUS 495629 HAS SOUPS 494312 WITH SCORE 497321.889
AT ITER 219 NEW BEST:: SOT 3443934 SOS 3009838 HAS SOPS 2996085 HAS SOUS 495629 HAS SOUPS 494312 WITH SCORE 497321.838
AT ITER 221 NEW BEST:: SOT 3443644 SOS 3009620 HAS SOPS 2996036 HAS SOUS 495616 HAS SOUPS 494299 WITH SCORE 497308.62
AT ITER 224 NEW BEST:: SOT 3443506 SOS 3009482 HAS SOPS 2995898 HAS SOUS 495340 HAS SOUPS 494023 WITH SCORE 497032.482
AT ITER 239 NEW BEST:: SOT 3443248 SOS 3009248 HAS SOPS 2995899 HAS SOUS 495097 HAS SOUPS 493780 WITH SCORE 496789.248
AT ITER 241 NEW BEST:: SOT 3443036 SOS 3009228 HAS SOPS 2995796 HAS SOUS 494889 HAS SOUPS 493572 WITH SCORE 496581.228
AT ITER 246 NEW BEST:: SOT 3443036 SOS 3009183 HAS SOPS 2995751 HAS SOUS 494844 HAS SOUPS 493527 WITH SCORE 496536.183
AT ITER 253 NEW BEST:: SOT 3442806 SOS 3009165 HAS SOPS 2995799 HAS SOUS 494598 HAS SOUPS 493281 WITH SCORE 496290.165
AT ITER 271 NEW BEST:: SOT 3442791 SOS 3009150 HAS SOPS 2995799 HAS SOUS 494553 HAS SOUPS 493236 WITH SCORE 496245.15
AT ITER 273 NEW BEST:: SOT 3442589 SOS 3009194 HAS SOPS 2996074 HAS SOUS 494389 HAS SOUPS 493079 WITH SCORE 496088.194
AT ITER 302 NEW BEST:: SOT 3442476 SOS 3008968 HAS SOPS 2995961 HAS SOUS 494279 HAS SOUPS 492969 WITH SCORE 495977.968
AT ITER 310 NEW BEST:: SOT 3442356 SOS 3008756 HAS SOPS 2995676 HAS SOUS 493807 HAS SOUPS 492497 WITH SCORE 495505.756
AT ITER 311 NEW BEST:: SOT 3442320 SOS 3008720 HAS SOPS 2995604 HAS SOUS 493738 HAS SOUPS 492425 WITH SCORE 495433.72
AT ITER 313 NEW BEST:: SOT 3442197 SOS 3008536 HAS SOPS 2995543 HAS SOUS 493719 HAS SOUPS 492406 WITH SCORE 495414.536
AT ITER 320 NEW BEST:: SOT 3441985 SOS 3008510 HAS SOPS 2995444 HAS SOUS 493531 HAS SOUPS 492218 WITH SCORE 495226.51
AT ITER 323 NEW BEST:: SOT 3441977 SOS 3009080 HAS SOPS 2995979 HAS SOUS 493453 HAS SOUPS 492140 WITH SCORE 495149.08
AT ITER 326 NEW BEST:: SOT 3441818 SOS 3008850 HAS SOPS 2995907 HAS SOUS 493386 HAS SOUPS 492073 WITH SCORE 495081.85
AT ITER 334 NEW BEST:: SOT 3441384 SOS 3008427 HAS SOPS 2995484 HAS SOUS 493039 HAS SOUPS 491726 WITH SCORE 494734.427
AT ITER 352 NEW BEST:: SOT 3441384 SOS 3008322 HAS SOPS 2995379 HAS SOUS 493022 HAS SOUPS 491709 WITH SCORE 494717.322
AT ITER 361 NEW BEST:: SOT 3441348 SOS 3008286 HAS SOPS 2995307 HAS SOUS 492959 HAS SOUPS 491637 WITH SCORE 494645.286
AT ITER 365 NEW BEST:: SOT 3441284 SOS 3008222 HAS SOPS 2995243 HAS SOUS 492959 HAS SOUPS 491637 WITH SCORE 494645.222
AT ITER 381 NEW BEST:: SOT 3441153 SOS 3008085 HAS SOPS 2995165 HAS SOUS 492885 HAS SOUPS 491563 WITH SCORE 494571.085
AT ITER 383 NEW BEST:: SOT 3441076 SOS 3007999 HAS SOPS 2995156 HAS SOUS 492808 HAS SOUPS 491486 WITH SCORE 494493.999
AT ITER 384 NEW BEST:: SOT 3440829 SOS 3007848 HAS SOPS 2995241 HAS SOUS 492731 HAS SOUPS 491409 WITH SCORE 494416.848
AT ITER 388 NEW BEST:: SOT 3440729 SOS 3007748 HAS SOPS 2995141 HAS SOUS 492499 HAS SOUPS 491177 WITH SCORE 494184.748
AT ITER 390 NEW BEST:: SOT 3440663 SOS 3007682 HAS SOPS 2995042 HAS SOUS 492395 HAS SOUPS 491066 WITH SCORE 494073.682
AT ITER 392 NEW BEST:: SOT 3440588 SOS 3007763 HAS SOPS 2995123 HAS SOUS 492393 HAS SOUPS 491064 WITH SCORE 494071.763
AT ITER 397 NEW BEST:: SOT 3440474 SOS 3007649 HAS SOPS 2995009 HAS SOUS 492165 HAS SOUPS 490836 WITH SCORE 493843.649
AT ITER 413 NEW BEST:: SOT 3440466 SOS 3007617 HAS SOPS 2994977 HAS SOUS 492141 HAS SOUPS 490812 WITH SCORE 493819.617
AT ITER 418 NEW BEST:: SOT 3440349 SOS 3007500 HAS SOPS 2994860 HAS SOUS 492006 HAS SOUPS 490677 WITH SCORE 493684.5
AT ITER 420 NEW BEST:: SOT 3440308 SOS 3007354 HAS SOPS 2994714 HAS SOUS 491978 HAS SOUPS 490649 WITH SCORE 493656.354
AT ITER 421 NEW BEST:: SOT 3440249 SOS 3007295 HAS SOPS 2994596 HAS SOUS 491860 HAS SOUPS 490531 WITH SCORE 493538.295
AT ITER 429 NEW BEST:: SOT 3440249 SOS 3007295 HAS SOPS 2994596 HAS SOUS 491851 HAS SOUPS 490522 WITH SCORE 493529.295
AT ITER 432 NEW BEST:: SOT 3440309 SOS 3007281 HAS SOPS 2993532 HAS SOUS 492059 HAS SOUPS 490508 WITH SCORE 493515.281
AT ITER 437 NEW BEST:: SOT 3440122 SOS 3007110 HAS SOPS 2993361 HAS SOUS 491878 HAS SOUPS 490327 WITH SCORE 493334.11
AT ITER 446 NEW BEST:: SOT 3396188 SOS 2963571 HAS SOPS 2949822 HAS SOUS 471735 HAS SOUPS 470184 WITH SCORE 473147.571
AT ITER 454 NEW BEST:: SOT 3396140 SOS 2963532 HAS SOPS 2949774 HAS SOUS 471639 HAS SOUPS 470088 WITH SCORE 473051.532
AT ITER 459 NEW BEST:: SOT 3396138 SOS 2963530 HAS SOPS 2949772 HAS SOUS 471637 HAS SOUPS 470086 WITH SCORE 473049.53
AT ITER 464 NEW BEST:: SOT 3396514 SOS 2963957 HAS SOPS 2950199 HAS SOUS 471527 HAS SOUPS 469976 WITH SCORE 472939.957
AT ITER 467 NEW BEST:: SOT 3396308 SOS 2963933 HAS SOPS 2950102 HAS SOUS 471351 HAS SOUPS 469800 WITH SCORE 472763.933
AT ITER 471 NEW BEST:: SOT 3396308 SOS 2965741 HAS SOPS 2951837 HAS SOUS 471240 HAS SOUPS 469689 WITH SCORE 472654.741
AT ITER 485 NEW BEST:: SOT 3394529 SOS 2979037 HAS SOPS 2967063 HAS SOUS 470010 HAS SOUPS 468620 WITH SCORE 471599.037
AT ITER 489 NEW BEST:: SOT 3394522 SOS 2979030 HAS SOPS 2967056 HAS SOUS 469997 HAS SOUPS 468607 WITH SCORE 471586.03
AT ITER 496 NEW BEST:: SOT 3394202 SOS 2978726 HAS SOPS 2966752 HAS SOUS 469752 HAS SOUPS 468362 WITH SCORE 471340.726
AT ITER 500 NEW BEST:: SOT 3394202 SOS 2978584 HAS SOPS 2966610 HAS SOUS 469752 HAS SOUPS 468362 WITH SCORE 471340.584
AT ITER 507 NEW BEST:: SOT 3394024 SOS 2978312 HAS SOPS 2966338 HAS SOUS 469431 HAS SOUPS 468041 WITH SCORE 471019.312
AT ITER 516 NEW BEST:: SOT 3393974 SOS 2978262 HAS SOPS 2966288 HAS SOUS 469332 HAS SOUPS 467942 WITH SCORE 470920.262
AT ITER 519 NEW BEST:: SOT 3393974 SOS 2978238 HAS SOPS 2966264 HAS SOUS 469223 HAS SOUPS 467833 WITH SCORE 470811.238
AT ITER 524 NEW BEST:: SOT 3393806 SOS 2978431 HAS SOPS 2966457 HAS SOUS 469105 HAS SOUPS 467715 WITH SCORE 470693.431
AT ITER 528 NEW BEST:: SOT 3393623 SOS 2978248 HAS SOPS 2966274 HAS SOUS 468889 HAS SOUPS 467499 WITH SCORE 470477.248
AT ITER 541 NEW BEST:: SOT 3393302 SOS 2978192 HAS SOPS 2966248 HAS SOUS 468588 HAS SOUPS 467198 WITH SCORE 470176.192
AT ITER 552 NEW BEST:: SOT 3393302 SOS 2978390 HAS SOPS 2966446 HAS SOUS 468472 HAS SOUPS 467082 WITH SCORE 470060.39
AT ITER 556 NEW BEST:: SOT 3393270 SOS 2978388 HAS SOPS 2966444 HAS SOUS 468408 HAS SOUPS 467018 WITH SCORE 469996.388
AT ITER 558 NEW BEST:: SOT 3393224 SOS 2978279 HAS SOPS 2966189 HAS SOUS 468136 HAS SOUPS 466746 WITH SCORE 469724.279
AT ITER 568 NEW BEST:: SOT 3393136 SOS 2978191 HAS SOPS 2966101 HAS SOUS 468048 HAS SOUPS 466658 WITH SCORE 469636.191
AT ITER 579 NEW BEST:: SOT 3393136 SOS 2978284 HAS SOPS 2966194 HAS SOUS 468045 HAS SOUPS 466655 WITH SCORE 469633.284
AT ITER 582 NEW BEST:: SOT 3393131 SOS 2978289 HAS SOPS 2966199 HAS SOUS 468040 HAS SOUPS 466650 WITH SCORE 469628.289
AT ITER 583 NEW BEST:: SOT 3392927 SOS 2978085 HAS SOPS 2965995 HAS SOUS 467836 HAS SOUPS 466446 WITH SCORE 469424.085
AT ITER 585 NEW BEST:: SOT 3392927 SOS 2978133 HAS SOPS 2966043 HAS SOUS 465328 HAS SOUPS 463938 WITH SCORE 466916.133
AT ITER 601 NEW BEST:: SOT 3392927 SOS 2978133 HAS SOPS 2966043 HAS SOUS 465250 HAS SOUPS 463860 WITH SCORE 466838.133
AT ITER 602 NEW BEST:: SOT 3384266 SOS 2970221 HAS SOPS 2958131 HAS SOUS 456845 HAS SOUPS 455455 WITH SCORE 458425.221
AT ITER 603 NEW BEST:: SOT 3384183 SOS 2970138 HAS SOPS 2958048 HAS SOUS 456766 HAS SOUPS 455376 WITH SCORE 458346.138
AT ITER 605 NEW BEST:: SOT 3384081 SOS 2970036 HAS SOPS 2957946 HAS SOUS 456258 HAS SOUPS 454868 WITH SCORE 457838.036
AT ITER 612 NEW BEST:: SOT 3384066 SOS 2970009 HAS SOPS 2957919 HAS SOUS 456233 HAS SOUPS 454843 WITH SCORE 457813.009
AT ITER 618 NEW BEST:: SOT 3383788 SOS 2969802 HAS SOPS 2957956 HAS SOUS 456032 HAS SOUPS 454642 WITH SCORE 457611.802
AT ITER 624 NEW BEST:: SOT 3383470 SOS 2969484 HAS SOPS 2957638 HAS SOUS 455555 HAS SOUPS 454165 WITH SCORE 457134.484
AT ITER 628 NEW BEST:: SOT 3383455 SOS 2969469 HAS SOPS 2957623 HAS SOUS 455530 HAS SOUPS 454140 WITH SCORE 457109.469
AT ITER 630 NEW BEST:: SOT 3383394 SOS 2969408 HAS SOPS 2957562 HAS SOUS 455408 HAS SOUPS 454018 WITH SCORE 456987.408
AT ITER 637 NEW BEST:: SOT 3383281 SOS 2969370 HAS SOPS 2957641 HAS SOUS 455408 HAS SOUPS 454018 WITH SCORE 456987.37
AT ITER 647 NEW BEST:: SOT 3383252 SOS 2969342 HAS SOPS 2957613 HAS SOUS 455380 HAS SOUPS 453990 WITH SCORE 456959.342
AT ITER 651 NEW BEST:: SOT 3382970 SOS 2968882 HAS SOPS 2957153 HAS SOUS 454953 HAS SOUPS 453563 WITH SCORE 456531.882
AT ITER 668 NEW BEST:: SOT 3382963 SOS 2968875 HAS SOPS 2957146 HAS SOUS 454932 HAS SOUPS 453542 WITH SCORE 456510.875
AT ITER 670 NEW BEST:: SOT 3382704 SOS 2968616 HAS SOPS 2956887 HAS SOUS 454380 HAS SOUPS 452990 WITH SCORE 455958.616
AT ITER 671 NEW BEST:: SOT 3382600 SOS 2968475 HAS SOPS 2956826 HAS SOUS 454341 HAS SOUPS 452951 WITH SCORE 455919.475
AT ITER 674 NEW BEST:: SOT 3382478 SOS 2968353 HAS SOPS 2956826 HAS SOUS 453990 HAS SOUPS 452600 WITH SCORE 455568.353
AT ITER 675 NEW BEST:: SOT 3382491 SOS 2968366 HAS SOPS 2956839 HAS SOUS 453925 HAS SOUPS 452535 WITH SCORE 455503.366
AT ITER 677 NEW BEST:: SOT 3382488 SOS 2968363 HAS SOPS 2956836 HAS SOUS 453922 HAS SOUPS 452532 WITH SCORE 455500.363
AT ITER 678 NEW BEST:: SOT 3382371 SOS 2968246 HAS SOPS 2956719 HAS SOUS 453811 HAS SOUPS 452421 WITH SCORE 455389.246
AT ITER 679 NEW BEST:: SOT 3382435 SOS 2968310 HAS SOPS 2956783 HAS SOUS 453494 HAS SOUPS 452104 WITH SCORE 455072.31
AT ITER 685 NEW BEST:: SOT 3382183 SOS 2968058 HAS SOPS 2956285 HAS SOUS 453213 HAS SOUPS 451601 WITH SCORE 454569.058
AT ITER 697 NEW BEST:: SOT 3382183 SOS 2968952 HAS SOPS 2957179 HAS SOUS 453084 HAS SOUPS 451472 WITH SCORE 454440.952
AT ITER 701 NEW BEST:: SOT 3382349 SOS 2969043 HAS SOPS 2957062 HAS SOUS 452975 HAS SOUPS 451363 WITH SCORE 454332.043
AT ITER 702 NEW BEST:: SOT 3382317 SOS 2969106 HAS SOPS 2957125 HAS SOUS 452927 HAS SOUPS 451315 WITH SCORE 454284.106
AT ITER 708 NEW BEST:: SOT 3382334 SOS 2969123 HAS SOPS 2957088 HAS SOUS 452921 HAS SOUPS 451278 WITH SCORE 454247.123
AT ITER 731 NEW BEST:: SOT 3382331 SOS 2969120 HAS SOPS 2957085 HAS SOUS 452912 HAS SOUPS 451269 WITH SCORE 454238.12
AT ITER 737 NEW BEST:: SOT 3382327 SOS 2969116 HAS SOPS 2957081 HAS SOUS 452904 HAS SOUPS 451261 WITH SCORE 454230.116
AT ITER 740 NEW BEST:: SOT 3382257 SOS 2969256 HAS SOPS 2957221 HAS SOUS 452764 HAS SOUPS 451121 WITH SCORE 454090.256
AT ITER 744 NEW BEST:: SOT 3382019 SOS 2969044 HAS SOPS 2957009 HAS SOUS 452679 HAS SOUPS 451036 WITH SCORE 454005.044
AT ITER 746 NEW BEST:: SOT 3381996 SOS 2969044 HAS SOPS 2957009 HAS SOUS 452615 HAS SOUPS 450972 WITH SCORE 453941.044
AT ITER 759 NEW BEST:: SOT 3382023 SOS 2969071 HAS SOPS 2957036 HAS SOUS 452599 HAS SOUPS 450956 WITH SCORE 453925.071
AT ITER 764 NEW BEST:: SOT 3381869 SOS 2969448 HAS SOPS 2957413 HAS SOUS 452194 HAS SOUPS 450551 WITH SCORE 453520.448
AT ITER 766 NEW BEST:: SOT 3381439 SOS 2969007 HAS SOPS 2956972 HAS SOUS 451764 HAS SOUPS 450121 WITH SCORE 453090.007
AT ITER 773 NEW BEST:: SOT 3381427 SOS 2968944 HAS SOPS 2956909 HAS SOUS 451752 HAS SOUPS 450109 WITH SCORE 453077.944
AT ITER 778 NEW BEST:: SOT 3381321 SOS 2969229 HAS SOPS 2957427 HAS SOUS 451740 HAS SOUPS 450097 WITH SCORE 453066.229
AT ITER 780 NEW BEST:: SOT 3381287 SOS 2969212 HAS SOPS 2957410 HAS SOUS 451723 HAS SOUPS 450080 WITH SCORE 453049.212
AT ITER 797 NEW BEST:: SOT 3381340 SOS 2969265 HAS SOPS 2957463 HAS SOUS 451686 HAS SOUPS 450043 WITH SCORE 453012.265
AT ITER 814 NEW BEST:: SOT 3381340 SOS 2969265 HAS SOPS 2957463 HAS SOUS 451674 HAS SOUPS 450031 WITH SCORE 453000.265
AT ITER 815 NEW BEST:: SOT 3381248 SOS 2969223 HAS SOPS 2957421 HAS SOUS 451590 HAS SOUPS 449947 WITH SCORE 452916.223
AT ITER 827 NEW BEST:: SOT 3381248 SOS 2969131 HAS SOPS 2957329 HAS SOUS 451449 HAS SOUPS 449806 WITH SCORE 452775.131
AT ITER 830 NEW BEST:: SOT 1584067 SOS 1172717 HAS SOPS 1160915 HAS SOUS 277622 HAS SOUPS 275979 WITH SCORE 277151.717
AT ITER 834 NEW BEST:: SOT 1584067 SOS 1172717 HAS SOPS 1160952 HAS SOUS 277548 HAS SOUPS 275905 WITH SCORE 277077.717
AT ITER 835 NEW BEST:: SOT 1583988 SOS 1172529 HAS SOPS 1160764 HAS SOUS 277167 HAS SOUPS 275524 WITH SCORE 276696.529
AT ITER 839 NEW BEST:: SOT 1583690 SOS 1173092 HAS SOPS 1161327 HAS SOUS 276830 HAS SOUPS 275187 WITH SCORE 276360.092
AT ITER 857 NEW BEST:: SOT 1583560 SOS 1173231 HAS SOPS 1161466 HAS SOUS 276724 HAS SOUPS 275081 WITH SCORE 276254.231
AT ITER 859 NEW BEST:: SOT 1583314 SOS 1173026 HAS SOPS 1161261 HAS SOUS 276437 HAS SOUPS 274794 WITH SCORE 275967.026
AT ITER 880 NEW BEST:: SOT 1583138 SOS 1172874 HAS SOPS 1161109 HAS SOUS 276409 HAS SOUPS 274766 WITH SCORE 275938.874
AT ITER 892 NEW BEST:: SOT 1583081 SOS 1172817 HAS SOPS 1161109 HAS SOUS 276352 HAS SOUPS 274709 WITH SCORE 275881.817
AT ITER 907 NEW BEST:: SOT 1583069 SOS 1172805 HAS SOPS 1161097 HAS SOUS 276328 HAS SOUPS 274685 WITH SCORE 275857.805
AT ITER 917 NEW BEST:: SOT 1583069 SOS 1172805 HAS SOPS 1161097 HAS SOUS 276325 HAS SOUPS 274682 WITH SCORE 275854.805
AT ITER 925 NEW BEST:: SOT 1583092 SOS 1173804 HAS SOPS 1162096 HAS SOUS 276241 HAS SOUPS 274598 WITH SCORE 275771.804
AT ITER 927 NEW BEST:: SOT 1582982 SOS 1173694 HAS SOPS 1161986 HAS SOUS 276108 HAS SOUPS 274465 WITH SCORE 275638.694
AT ITER 930 NEW BEST:: SOT 1582744 SOS 1183519 HAS SOPS 1172267 HAS SOUS 276017 HAS SOUPS 274450 WITH SCORE 275633.519
AT ITER 942 NEW BEST:: SOT 1582709 SOS 1183484 HAS SOPS 1172232 HAS SOUS 275980 HAS SOUPS 274413 WITH SCORE 275596.484
AT ITER 964 NEW BEST:: SOT 1582709 SOS 1183484 HAS SOPS 1172232 HAS SOUS 275978 HAS SOUPS 274411 WITH SCORE 275594.484
AT ITER 965 NEW BEST:: SOT 1582515 SOS 1183290 HAS SOPS 1172038 HAS SOUS 275665 HAS SOUPS 274098 WITH SCORE 275281.29
AT ITER 967 NEW BEST:: SOT 1582414 SOS 1183189 HAS SOPS 1171960 HAS SOUS 275509 HAS SOUPS 273942 WITH SCORE 275125.189
AT ITER 988 NEW BEST:: SOT 1582408 SOS 1185273 HAS SOPS 1174044 HAS SOUS 275480 HAS SOUPS 273913 WITH SCORE 275098.273
AT ITER 993 NEW BEST:: SOT 1582083 SOS 1184475 HAS SOPS 1173246 HAS SOUS 275084 HAS SOUPS 273517 WITH SCORE 274701.475
AT ITER 1004 NEW BEST:: SOT 1582055 SOS 1184447 HAS SOPS 1173218 HAS SOUS 275056 HAS SOUPS 273489 WITH SCORE 274673.447
AT ITER 1009 NEW BEST:: SOT 1582055 SOS 1184161 HAS SOPS 1172932 HAS SOUS 275056 HAS SOUPS 273489 WITH SCORE 274673.161
AT ITER 1020 NEW BEST:: SOT 1581678 SOS 1183834 HAS SOPS 1172605 HAS SOUS 274998 HAS SOUPS 273431 WITH SCORE 274614.834
AT ITER 1021 NEW BEST:: SOT 1581517 SOS 1183745 HAS SOPS 1172516 HAS SOUS 274775 HAS SOUPS 273208 WITH SCORE 274391.745
AT ITER 1035 NEW BEST:: SOT 1581387 SOS 1183615 HAS SOPS 1172387 HAS SOUS 274567 HAS SOUPS 273000 WITH SCORE 274183.615
AT ITER 1036 NEW BEST:: SOT 1581542 SOS 1183832 HAS SOPS 1172711 HAS SOUS 274554 HAS SOUPS 272987 WITH SCORE 274170.832
AT ITER 1048 NEW BEST:: SOT 1581368 SOS 1183713 HAS SOPS 1172592 HAS SOUS 274367 HAS SOUPS 272800 WITH SCORE 273983.713
AT ITER 1061 NEW BEST:: SOT 1581301 SOS 1183455 HAS SOPS 1172334 HAS SOUS 274366 HAS SOUPS 272799 WITH SCORE 273982.455
AT ITER 1075 NEW BEST:: SOT 1581414 SOS 1183403 HAS SOPS 1172282 HAS SOUS 274189 HAS SOUPS 272622 WITH SCORE 273805.403
AT ITER 1100 NEW BEST:: SOT 1544241 SOS 1146446 HAS SOPS 1135325 HAS SOUS 264518 HAS SOUPS 262951 WITH SCORE 264097.446
AT ITER 1110 NEW BEST:: SOT 1544241 SOS 1146446 HAS SOPS 1135325 HAS SOUS 264374 HAS SOUPS 262807 WITH SCORE 263953.446
AT ITER 1122 NEW BEST:: SOT 1544206 SOS 1146294 HAS SOPS 1135173 HAS SOUS 264335 HAS SOUPS 262768 WITH SCORE 263914.294
AT ITER 1124 NEW BEST:: SOT 1544206 SOS 1146294 HAS SOPS 1135173 HAS SOUS 264332 HAS SOUPS 262765 WITH SCORE 263911.294
AT ITER 1147 NEW BEST:: SOT 1500206 SOS 1102369 HAS SOPS 1091248 HAS SOUS 260017 HAS SOUPS 258450 WITH SCORE 259552.369
AT ITER 1150 NEW BEST:: SOT 1500200 SOS 1102363 HAS SOPS 1091231 HAS SOUS 260009 HAS SOUPS 258438 WITH SCORE 259540.363
AT ITER 1153 NEW BEST:: SOT 1500164 SOS 1102327 HAS SOPS 1091195 HAS SOUS 259823 HAS SOUPS 258252 WITH SCORE 259354.327
AT ITER 1155 NEW BEST:: SOT 1500156 SOS 1102319 HAS SOPS 1091187 HAS SOUS 259807 HAS SOUPS 258236 WITH SCORE 259338.319
AT ITER 1159 NEW BEST:: SOT 1500100 SOS 1102258 HAS SOPS 1091142 HAS SOUS 259788 HAS SOUPS 258217 WITH SCORE 259319.258
AT ITER 1160 NEW BEST:: SOT 1500063 SOS 1102174 HAS SOPS 1091058 HAS SOUS 259530 HAS SOUPS 257959 WITH SCORE 259061.174
AT ITER 1169 NEW BEST:: SOT 1500063 SOS 1102174 HAS SOPS 1091058 HAS SOUS 259529 HAS SOUPS 257958 WITH SCORE 259060.174
AT ITER 1171 NEW BEST:: SOT 1500063 SOS 1101911 HAS SOPS 1090795 HAS SOUS 259516 HAS SOUPS 257945 WITH SCORE 259046.911
AT ITER 1188 NEW BEST:: SOT 1500091 SOS 1101939 HAS SOPS 1090823 HAS SOUS 259455 HAS SOUPS 257884 WITH SCORE 258985.939
AT ITER 1212 NEW BEST:: SOT 1500038 SOS 1101409 HAS SOPS 1090293 HAS SOUS 259402 HAS SOUPS 257831 WITH SCORE 258932.409
AT ITER 1216 NEW BEST:: SOT 1287668 SOS 889194 HAS SOPS 878078 HAS SOUS 237952 HAS SOUPS 236381 WITH SCORE 237270.194
AT ITER 1219 NEW BEST:: SOT 1286037 SOS 887854 HAS SOPS 876738 HAS SOUS 236402 HAS SOUPS 234831 WITH SCORE 235718.854
AT ITER 1221 NEW BEST:: SOT 1285757 SOS 887614 HAS SOPS 876498 HAS SOUS 234264 HAS SOUPS 232693 WITH SCORE 233580.614
AT ITER 1224 NEW BEST:: SOT 1285627 SOS 887822 HAS SOPS 876706 HAS SOUS 234004 HAS SOUPS 232433 WITH SCORE 233320.822
AT ITER 1239 NEW BEST:: SOT 1285585 SOS 887400 HAS SOPS 876440 HAS SOUS 233983 HAS SOUPS 232412 WITH SCORE 233299.4
AT ITER 1249 NEW BEST:: SOT 1285555 SOS 887370 HAS SOPS 876410 HAS SOUS 233983 HAS SOUPS 232412 WITH SCORE 233299.37
AT ITER 1254 NEW BEST:: SOT 1285371 SOS 887140 HAS SOPS 876180 HAS SOUS 233626 HAS SOUPS 232055 WITH SCORE 232942.14
AT ITER 1257 NEW BEST:: SOT 1285140 SOS 887263 HAS SOPS 876303 HAS SOUS 233392 HAS SOUPS 231821 WITH SCORE 232708.263
AT ITER 1262 NEW BEST:: SOT 1284940 SOS 886850 HAS SOPS 875890 HAS SOUS 233258 HAS SOUPS 231687 WITH SCORE 232573.85
AT ITER 1270 NEW BEST:: SOT 1284799 SOS 886325 HAS SOPS 875365 HAS SOUS 233081 HAS SOUPS 231510 WITH SCORE 232396.325
AT ITER 1278 NEW BEST:: SOT 1284799 SOS 886325 HAS SOPS 875369 HAS SOUS 233077 HAS SOUPS 231506 WITH SCORE 232392.325
AT ITER 1280 NEW BEST:: SOT 1284725 SOS 886251 HAS SOPS 875295 HAS SOUS 232654 HAS SOUPS 231083 WITH SCORE 231969.251
AT ITER 1281 NEW BEST:: SOT 1284550 SOS 885979 HAS SOPS 875191 HAS SOUS 232477 HAS SOUPS 230934 WITH SCORE 231819.979
AT ITER 1284 NEW BEST:: SOT 1284550 SOS 885979 HAS SOPS 875191 HAS SOUS 232473 HAS SOUPS 230930 WITH SCORE 231815.979
AT ITER 1292 NEW BEST:: SOT 1284582 SOS 886011 HAS SOPS 875187 HAS SOUS 232441 HAS SOUPS 230896 WITH SCORE 231782.011
AT ITER 1293 NEW BEST:: SOT 1302886 SOS 904660 HAS SOPS 893836 HAS SOUS 230808 HAS SOUPS 229263 WITH SCORE 230167.66
AT ITER 1337 NEW BEST:: SOT 1302716 SOS 907299 HAS SOPS 893563 HAS SOUS 230764 HAS SOUPS 229120 WITH SCORE 230027.299
AT ITER 1345 NEW BEST:: SOT 1302606 SOS 907189 HAS SOPS 893453 HAS SOUS 230698 HAS SOUPS 229054 WITH SCORE 229961.189
AT ITER 1348 NEW BEST:: SOT 1302583 SOS 907142 HAS SOPS 893406 HAS SOUS 230669 HAS SOUPS 229025 WITH SCORE 229932.142
AT ITER 1355 NEW BEST:: SOT 1302327 SOS 907085 HAS SOPS 894489 HAS SOUS 230043 HAS SOUPS 228843 WITH SCORE 229750.085
AT ITER 1380 NEW BEST:: SOT 1302416 SOS 907516 HAS SOPS 894920 HAS SOUS 229988 HAS SOUPS 228788 WITH SCORE 229695.516
AT ITER 1382 NEW BEST:: SOT 1302228 SOS 907328 HAS SOPS 894732 HAS SOUS 229860 HAS SOUPS 228660 WITH SCORE 229567.328
AT ITER 1384 NEW BEST:: SOT 1302091 SOS 907191 HAS SOPS 894716 HAS SOUS 229797 HAS SOUPS 228597 WITH SCORE 229504.191
AT ITER 1402 NEW BEST:: SOT 1301963 SOS 907158 HAS SOPS 894683 HAS SOUS 229609 HAS SOUPS 228409 WITH SCORE 229316.158
AT ITER 1426 NEW BEST:: SOT 1301966 SOS 907161 HAS SOPS 894681 HAS SOUS 229610 HAS SOUPS 228407 WITH SCORE 229314.161
AT ITER 1429 NEW BEST:: SOT 1294209 SOS 899928 HAS SOPS 887448 HAS SOUS 221613 HAS SOUPS 220410 WITH SCORE 221309.928
AT ITER 1435 NEW BEST:: SOT 1294087 SOS 899440 HAS SOPS 886960 HAS SOUS 221491 HAS SOUPS 220288 WITH SCORE 221187.44
AT ITER 1444 NEW BEST:: SOT 1293787 SOS 899364 HAS SOPS 887125 HAS SOUS 221323 HAS SOUPS 220120 WITH SCORE 221019.364
AT ITER 1449 NEW BEST:: SOT 1293819 SOS 899396 HAS SOPS 887157 HAS SOUS 221316 HAS SOUPS 220113 WITH SCORE 221012.396
AT ITER 1452 NEW BEST:: SOT 1292752 SOS 897795 HAS SOPS 885556 HAS SOUS 220336 HAS SOUPS 219133 WITH SCORE 220030.795
AT ITER 1459 NEW BEST:: SOT 1292750 SOS 897793 HAS SOPS 885554 HAS SOUS 220334 HAS SOUPS 219131 WITH SCORE 220028.793
AT ITER 1467 NEW BEST:: SOT 1292688 SOS 897731 HAS SOPS 885673 HAS SOUS 219872 HAS SOUPS 218669 WITH SCORE 219566.731
AT ITER 1484 NEW BEST:: SOT 1292688 SOS 897731 HAS SOPS 885673 HAS SOUS 219866 HAS SOUPS 218663 WITH SCORE 219560.731
AT ITER 1490 NEW BEST:: SOT 1292696 SOS 897739 HAS SOPS 885681 HAS SOUS 219657 HAS SOUPS 218454 WITH SCORE 219351.739
AT ITER 1511 NEW BEST:: SOT 1292643 SOS 897686 HAS SOPS 885628 HAS SOUS 219580 HAS SOUPS 218377 WITH SCORE 219274.686
AT ITER 1514 NEW BEST:: SOT 1292738 SOS 897781 HAS SOPS 885723 HAS SOUS 219473 HAS SOUPS 218270 WITH SCORE 219167.781
AT ITER 1517 NEW BEST:: SOT 1292573 SOS 897652 HAS SOPS 885716 HAS SOUS 219445 HAS SOUPS 218242 WITH SCORE 219139.652
AT ITER 1520 NEW BEST:: SOT 1292680 SOS 897731 HAS SOPS 885795 HAS SOUS 219357 HAS SOUPS 218154 WITH SCORE 219051.731
AT ITER 1535 NEW BEST:: SOT 1292642 SOS 897618 HAS SOPS 885682 HAS SOUS 219244 HAS SOUPS 218041 WITH SCORE 218938.618
AT ITER 1537 NEW BEST:: SOT 1292573 SOS 897590 HAS SOPS 885654 HAS SOUS 219096 HAS SOUPS 217893 WITH SCORE 218790.59
AT ITER 1542 NEW BEST:: SOT 1292573 SOS 897590 HAS SOPS 885654 HAS SOUS 219094 HAS SOUPS 217891 WITH SCORE 218788.59
AT ITER 1552 NEW BEST:: SOT 1292829 SOS 897846 HAS SOPS 885910 HAS SOUS 218978 HAS SOUPS 217775 WITH SCORE 218672.846
AT ITER 1572 NEW BEST:: SOT 1292806 SOS 897846 HAS SOPS 885910 HAS SOUS 218873 HAS SOUPS 217670 WITH SCORE 218567.846
AT ITER 1583 NEW BEST:: SOT 1292750 SOS 897790 HAS SOPS 885854 HAS SOUS 218632 HAS SOUPS 217429 WITH SCORE 218326.79
AT ITER 1586 NEW BEST:: SOT 1292550 SOS 897678 HAS SOPS 885742 HAS SOUS 218601 HAS SOUPS 217398 WITH SCORE 218295.678
AT ITER 1588 NEW BEST:: SOT 1292467 SOS 897595 HAS SOPS 885659 HAS SOUS 218386 HAS SOUPS 217183 WITH SCORE 218080.595
AT ITER 1620 NEW BEST:: SOT 1292467 SOS 897595 HAS SOPS 885659 HAS SOUS 218345 HAS SOUPS 217142 WITH SCORE 218039.595
AT ITER 1623 NEW BEST:: SOT 1292487 SOS 897699 HAS SOPS 885763 HAS SOUS 217656 HAS SOUPS 216453 WITH SCORE 217350.699
AT ITER 1651 NEW BEST:: SOT 1292487 SOS 891012 HAS SOPS 879064 HAS SOUS 217661 HAS SOUPS 216456 WITH SCORE 217347.012
AT ITER 1655 NEW BEST:: SOT 1292427 SOS 890952 HAS SOPS 879004 HAS SOUS 217589 HAS SOUPS 216384 WITH SCORE 217274.952
AT ITER 1657 NEW BEST:: SOT 1292172 SOS 890633 HAS SOPS 878685 HAS SOUS 217165 HAS SOUPS 215960 WITH SCORE 216850.633
AT ITER 1661 NEW BEST:: SOT 1292126 SOS 890587 HAS SOPS 878639 HAS SOUS 217114 HAS SOUPS 215909 WITH SCORE 216799.587
AT ITER 1663 NEW BEST:: SOT 1292126 SOS 890587 HAS SOPS 878639 HAS SOUS 217021 HAS SOUPS 215816 WITH SCORE 216706.587
AT ITER 1675 NEW BEST:: SOT 1292090 SOS 890551 HAS SOPS 878639 HAS SOUS 216913 HAS SOUPS 215708 WITH SCORE 216598.551
AT ITER 1682 NEW BEST:: SOT 1292018 SOS 890308 HAS SOPS 878396 HAS SOUS 216878 HAS SOUPS 215673 WITH SCORE 216563.308
AT ITER 1686 NEW BEST:: SOT 1291933 SOS 890223 HAS SOPS 878311 HAS SOUS 216769 HAS SOUPS 215564 WITH SCORE 216454.223
AT ITER 1705 NEW BEST:: SOT 1291769 SOS 887852 HAS SOPS 875940 HAS SOUS 216710 HAS SOUPS 215505 WITH SCORE 216392.852
AT ITER 1708 NEW BEST:: SOT 1291659 SOS 887764 HAS SOPS 875852 HAS SOUS 216622 HAS SOUPS 215417 WITH SCORE 216304.764
AT ITER 1709 NEW BEST:: SOT 1291441 SOS 887650 HAS SOPS 875738 HAS SOUS 216484 HAS SOUPS 215279 WITH SCORE 216166.65
AT ITER 1711 NEW BEST:: SOT 1291423 SOS 887614 HAS SOPS 875702 HAS SOUS 216448 HAS SOUPS 215243 WITH SCORE 216130.614
AT ITER 1719 NEW BEST:: SOT 1291182 SOS 887373 HAS SOPS 875461 HAS SOUS 216315 HAS SOUPS 215110 WITH SCORE 215997.373
AT ITER 1723 NEW BEST:: SOT 1291359 SOS 890370 HAS SOPS 878458 HAS SOUS 215977 HAS SOUPS 214772 WITH SCORE 215662.37
AT ITER 1728 NEW BEST:: SOT 1291432 SOS 890808 HAS SOPS 878750 HAS SOUS 215904 HAS SOUPS 214699 WITH SCORE 215589.808
AT ITER 1729 NEW BEST:: SOT 1291426 SOS 890802 HAS SOPS 878744 HAS SOUS 215896 HAS SOUPS 214691 WITH SCORE 215581.802
AT ITER 1733 NEW BEST:: SOT 1291426 SOS 890818 HAS SOPS 878760 HAS SOUS 215872 HAS SOUPS 214667 WITH SCORE 215557.818
AT ITER 1754 NEW BEST:: SOT 1291329 SOS 890741 HAS SOPS 878683 HAS SOUS 215756 HAS SOUPS 214551 WITH SCORE 215441.741
AT ITER 1755 NEW BEST:: SOT 1291297 SOS 890709 HAS SOPS 878483 HAS SOUS 215555 HAS SOUPS 214350 WITH SCORE 215240.709
AT ITER 1769 NEW BEST:: SOT 1287633 SOS 892453 HAS SOPS 880794 HAS SOUS 212758 HAS SOUPS 211212 WITH SCORE 212104.453
AT ITER 1770 NEW BEST:: SOT 1287247 SOS 892067 HAS SOPS 880378 HAS SOUS 212342 HAS SOUPS 210796 WITH SCORE 211688.067
AT ITER 1786 NEW BEST:: SOT 1287172 SOS 891992 HAS SOPS 880303 HAS SOUS 212083 HAS SOUPS 210537 WITH SCORE 211428.992
AT ITER 1803 NEW BEST:: SOT 1287161 SOS 891981 HAS SOPS 880292 HAS SOUS 212083 HAS SOUPS 210537 WITH SCORE 211428.981
AT ITER 1813 NEW BEST:: SOT 1286825 SOS 890985 HAS SOPS 879296 HAS SOUS 211821 HAS SOUPS 210275 WITH SCORE 211165.985
AT ITER 1824 NEW BEST:: SOT 1286764 SOS 890264 HAS SOPS 878575 HAS SOUS 211708 HAS SOUPS 210162 WITH SCORE 211052.264
AT ITER 1833 NEW BEST:: SOT 1286733 SOS 890233 HAS SOPS 878523 HAS SOUS 211664 HAS SOUPS 210100 WITH SCORE 210990.233
AT ITER 1843 NEW BEST:: SOT 1286592 SOS 890056 HAS SOPS 878346 HAS SOUS 211408 HAS SOUPS 209844 WITH SCORE 210734.056
AT ITER 1846 NEW BEST:: SOT 1286568 SOS 889912 HAS SOPS 878202 HAS SOUS 211384 HAS SOUPS 209820 WITH SCORE 210709.912
AT ITER 1859 NEW BEST:: SOT 1286534 SOS 889787 HAS SOPS 878075 HAS SOUS 211335 HAS SOUPS 209771 WITH SCORE 210660.787
AT ITER 1877 NEW BEST:: SOT 1286488 SOS 889741 HAS SOPS 878029 HAS SOUS 211319 HAS SOUPS 209755 WITH SCORE 210644.741
AT ITER 1882 NEW BEST:: SOT 1286472 SOS 889498 HAS SOPS 877786 HAS SOUS 211298 HAS SOUPS 209734 WITH SCORE 210623.498
AT ITER 1883 NEW BEST:: SOT 1286424 SOS 889450 HAS SOPS 877738 HAS SOUS 211154 HAS SOUPS 209590 WITH SCORE 210479.45
AT ITER 1884 NEW BEST:: SOT 1286392 SOS 889433 HAS SOPS 877721 HAS SOUS 211063 HAS SOUPS 209499 WITH SCORE 210388.433
AT ITER 1887 NEW BEST:: SOT 1285639 SOS 888679 HAS SOPS 876967 HAS SOUS 209918 HAS SOUPS 208354 WITH SCORE 209242.679
AT ITER 1910 NEW BEST:: SOT 1285639 SOS 888647 HAS SOPS 876935 HAS SOUS 209918 HAS SOUPS 208354 WITH SCORE 209242.647
AT ITER 1920 NEW BEST:: SOT 1285608 SOS 888628 HAS SOPS 876910 HAS SOUS 209839 HAS SOUPS 208275 WITH SCORE 209163.628
AT ITER 1933 NEW BEST:: SOT 1285348 SOS 887610 HAS SOPS 876063 HAS SOUS 209638 HAS SOUPS 208074 WITH SCORE 208961.61
AT ITER 1941 NEW BEST:: SOT 1285318 SOS 887574 HAS SOPS 876027 HAS SOUS 209602 HAS SOUPS 208038 WITH SCORE 208925.574
AT ITER 1947 NEW BEST:: SOT 1285291 SOS 887541 HAS SOPS 875994 HAS SOUS 209569 HAS SOUPS 208005 WITH SCORE 208892.541
AT ITER 1950 NEW BEST:: SOT 1285291 SOS 887541 HAS SOPS 875930 HAS SOUS 209441 HAS SOUPS 207877 WITH SCORE 208764.541
AT ITER 1952 NEW BEST:: SOT 1285293 SOS 887580 HAS SOPS 875969 HAS SOUS 209434 HAS SOUPS 207870 WITH SCORE 208757.58
AT ITER 1953 NEW BEST:: SOT 1285177 SOS 887348 HAS SOPS 875737 HAS SOUS 209434 HAS SOUPS 207870 WITH SCORE 208757.348
AT ITER 1960 NEW BEST:: SOT 1285177 SOS 887465 HAS SOPS 875854 HAS SOUS 209252 HAS SOUPS 207688 WITH SCORE 208575.465
AT ITER 1965 NEW BEST:: SOT 1285155 SOS 887297 HAS SOPS 875686 HAS SOUS 209216 HAS SOUPS 207652 WITH SCORE 208539.297
AT ITER 1966 NEW BEST:: SOT 1285055 SOS 884953 HAS SOPS 875576 HAS SOUS 209016 HAS SOUPS 207530 WITH SCORE 208414.953
AT ITER 1969 NEW BEST:: SOT 1285045 SOS 884943 HAS SOPS 875566 HAS SOUS 209006 HAS SOUPS 207520 WITH SCORE 208404.943
AT ITER 1980 NEW BEST:: SOT 1285026 SOS 884905 HAS SOPS 875547 HAS SOUS 209006 HAS SOUPS 207520 WITH SCORE 208404.905
AT ITER 1991 NEW BEST:: SOT 1284992 SOS 884871 HAS SOPS 875489 HAS SOUS 208938 HAS SOUPS 207452 WITH SCORE 208336.871
AT ITER 1997 NEW BEST:: SOT 1284956 SOS 884864 HAS SOPS 875171 HAS SOUS 208866 HAS SOUPS 207380 WITH SCORE 208264.864
AT ITER 1999 NEW BEST:: SOT 1284981 SOS 884889 HAS SOPS 875196 HAS SOUS 208817 HAS SOUPS 207331 WITH SCORE 208215.889
AT ITER 2003 NEW BEST:: SOT 1285027 SOS 884935 HAS SOPS 875328 HAS SOUS 208549 HAS SOUPS 207063 WITH SCORE 207947.935
AT ITER 2013 NEW BEST:: SOT 1285027 SOS 885048 HAS SOPS 875441 HAS SOUS 208371 HAS SOUPS 206885 WITH SCORE 207770.048
AT ITER 2015 NEW BEST:: SOT 1284992 SOS 884964 HAS SOPS 875357 HAS SOUS 208293 HAS SOUPS 206807 WITH SCORE 207691.964
AT ITER 2022 NEW BEST:: SOT 1284974 SOS 884960 HAS SOPS 875353 HAS SOUS 208289 HAS SOUPS 206803 WITH SCORE 207687.96
AT ITER 2024 NEW BEST:: SOT 1284862 SOS 884894 HAS SOPS 875187 HAS SOUS 208013 HAS SOUPS 206527 WITH SCORE 207411.894
AT ITER 2030 NEW BEST:: SOT 1284858 SOS 884892 HAS SOPS 875185 HAS SOUS 208009 HAS SOUPS 206523 WITH SCORE 207407.892
AT ITER 2033 NEW BEST:: SOT 1285001 SOS 884967 HAS SOPS 875297 HAS SOUS 207790 HAS SOUPS 206304 WITH SCORE 207188.967
AT ITER 2049 NEW BEST:: SOT 1284965 SOS 884703 HAS SOPS 875033 HAS SOUS 207718 HAS SOUPS 206232 WITH SCORE 207116.703
AT ITER 2054 NEW BEST:: SOT 1284960 SOS 884698 HAS SOPS 875116 HAS SOUS 207700 HAS SOUPS 206214 WITH SCORE 207098.698
AT ITER 2057 NEW BEST:: SOT 1284960 SOS 884670 HAS SOPS 875116 HAS SOUS 207700 HAS SOUPS 206214 WITH SCORE 207098.67
AT ITER 2064 NEW BEST:: SOT 1285064 SOS 884774 HAS SOPS 875236 HAS SOUS 207695 HAS SOUPS 206209 WITH SCORE 207093.774
AT ITER 2072 NEW BEST:: SOT 1285036 SOS 884746 HAS SOPS 875081 HAS SOUS 207674 HAS SOUPS 206101 WITH SCORE 206985.746
AT ITER 2096 NEW BEST:: SOT 1285117 SOS 884936 HAS SOPS 875271 HAS SOUS 207103 HAS SOUPS 205530 WITH SCORE 206414.936
AT ITER 2106 NEW BEST:: SOT 1285023 SOS 885192 HAS SOPS 875527 HAS SOUS 206915 HAS SOUPS 205342 WITH SCORE 206227.192
AT ITER 2119 NEW BEST:: SOT 1284785 SOS 884938 HAS SOPS 875273 HAS SOUS 206661 HAS SOUPS 205088 WITH SCORE 205972.938
AT ITER 2122 NEW BEST:: SOT 1284897 SOS 885050 HAS SOPS 875385 HAS SOUS 206562 HAS SOUPS 204989 WITH SCORE 205874.05
AT ITER 2141 NEW BEST:: SOT 1285006 SOS 884785 HAS SOPS 874957 HAS SOUS 206172 HAS SOUPS 204599 WITH SCORE 205483.785
AT ITER 2177 NEW BEST:: SOT 1284982 SOS 884785 HAS SOPS 874957 HAS SOUS 206124 HAS SOUPS 204551 WITH SCORE 205435.785
AT ITER 2188 NEW BEST:: SOT 1284925 SOS 884950 HAS SOPS 875091 HAS SOUS 205964 HAS SOUPS 204391 WITH SCORE 205275.95
AT ITER 2189 NEW BEST:: SOT 1284905 SOS 884930 HAS SOPS 875111 HAS SOUS 205964 HAS SOUPS 204391 WITH SCORE 205275.93
AT ITER 2193 NEW BEST:: SOT 1284836 SOS 884861 HAS SOPS 875042 HAS SOUS 205872 HAS SOUPS 204299 WITH SCORE 205183.861
AT ITER 2203 NEW BEST:: SOT 1284025 SOS 883814 HAS SOPS 873986 HAS SOUS 204623 HAS SOUPS 203050 WITH SCORE 203933.814
AT ITER 2206 NEW BEST:: SOT 1284093 SOS 883922 HAS SOPS 874094 HAS SOUS 204558 HAS SOUPS 202985 WITH SCORE 203868.922
AT ITER 2218 NEW BEST:: SOT 1284001 SOS 884292 HAS SOPS 874586 HAS SOUS 204496 HAS SOUPS 202923 WITH SCORE 203807.292
AT ITER 2224 NEW BEST:: SOT 1283960 SOS 884251 HAS SOPS 874571 HAS SOUS 204490 HAS SOUPS 202917 WITH SCORE 203801.251
AT ITER 2258 NEW BEST:: SOT 1283657 SOS 883948 HAS SOPS 874268 HAS SOUS 203985 HAS SOUPS 202412 WITH SCORE 203295.948
AT ITER 2264 NEW BEST:: SOT 1283581 SOS 884790 HAS SOPS 875110 HAS SOUS 203603 HAS SOUPS 202030 WITH SCORE 202914.79
AT ITER 2267 NEW BEST:: SOT 1283344 SOS 884553 HAS SOPS 874873 HAS SOUS 203201 HAS SOUPS 201628 WITH SCORE 202512.553
AT ITER 2268 NEW BEST:: SOT 1283300 SOS 884509 HAS SOPS 874894 HAS SOUS 203092 HAS SOUPS 201519 WITH SCORE 202403.509
AT ITER 2273 NEW BEST:: SOT 1283252 SOS 884445 HAS SOPS 874830 HAS SOUS 203007 HAS SOUPS 201434 WITH SCORE 202318.445
AT ITER 2305 NEW BEST:: SOT 1283202 SOS 884405 HAS SOPS 874790 HAS SOUS 202967 HAS SOUPS 201394 WITH SCORE 202278.405
AT ITER 2314 NEW BEST:: SOT 1282973 SOS 884176 HAS SOPS 874561 HAS SOUS 202833 HAS SOUPS 201260 WITH SCORE 202144.176
AT ITER 2327 NEW BEST:: SOT 1282893 SOS 884016 HAS SOPS 874401 HAS SOUS 202713 HAS SOUPS 201140 WITH SCORE 202024.016
AT ITER 2328 NEW BEST:: SOT 1282877 SOS 884000 HAS SOPS 874371 HAS SOUS 202683 HAS SOUPS 201110 WITH SCORE 201994.0
AT ITER 2333 NEW BEST:: SOT 1282732 SOS 883881 HAS SOPS 874252 HAS SOUS 202543 HAS SOUPS 200970 WITH SCORE 201853.881
AT ITER 2347 NEW BEST:: SOT 1282672 SOS 883835 HAS SOPS 874206 HAS SOUS 202515 HAS SOUPS 200942 WITH SCORE 201825.835
AT ITER 2357 NEW BEST:: SOT 1282646 SOS 883835 HAS SOPS 874206 HAS SOUS 202465 HAS SOUPS 200892 WITH SCORE 201775.835
AT ITER 2372 NEW BEST:: SOT 1282628 SOS 883811 HAS SOPS 874182 HAS SOUS 202453 HAS SOUPS 200880 WITH SCORE 201763.811
AT ITER 2373 NEW BEST:: SOT 1282650 SOS 883455 HAS SOPS 873555 HAS SOUS 202167 HAS SOUPS 200594 WITH SCORE 201477.455
AT ITER 2375 NEW BEST:: SOT 1282674 SOS 883562 HAS SOPS 873638 HAS SOUS 202108 HAS SOUPS 200535 WITH SCORE 201418.562
AT ITER 2389 NEW BEST:: SOT 1282686 SOS 883516 HAS SOPS 873592 HAS SOUS 202016 HAS SOUPS 200443 WITH SCORE 201326.516
AT ITER 2397 NEW BEST:: SOT 1282666 SOS 883496 HAS SOPS 873572 HAS SOUS 201910 HAS SOUPS 200337 WITH SCORE 201220.496
AT ITER 2401 NEW BEST:: SOT 1282666 SOS 883496 HAS SOPS 873572 HAS SOUS 201893 HAS SOUPS 200320 WITH SCORE 201203.496
AT ITER 2402 NEW BEST:: SOT 1282796 SOS 882848 HAS SOPS 872942 HAS SOUS 201875 HAS SOUPS 200302 WITH SCORE 201184.848
AT ITER 2406 NEW BEST:: SOT 1282782 SOS 882834 HAS SOPS 872928 HAS SOUS 201809 HAS SOUPS 200236 WITH SCORE 201118.834
AT ITER 2420 NEW BEST:: SOT 1282749 SOS 882682 HAS SOPS 872776 HAS SOUS 201743 HAS SOUPS 200170 WITH SCORE 201052.682
AT ITER 2423 NEW BEST:: SOT 1282734 SOS 882595 HAS SOPS 872689 HAS SOUS 201704 HAS SOUPS 200131 WITH SCORE 201013.595
AT ITER 2429 NEW BEST:: SOT 1282622 SOS 882483 HAS SOPS 872577 HAS SOUS 201536 HAS SOUPS 199963 WITH SCORE 200845.483
AT ITER 2438 NEW BEST:: SOT 1282622 SOS 877539 HAS SOPS 868640 HAS SOUS 201282 HAS SOUPS 199813 WITH SCORE 200690.539
AT ITER 2450 NEW BEST:: SOT 1282621 SOS 877395 HAS SOPS 868496 HAS SOUS 201281 HAS SOUPS 199812 WITH SCORE 200689.395
AT ITER 2457 NEW BEST:: SOT 1282586 SOS 877360 HAS SOPS 868461 HAS SOUS 201246 HAS SOUPS 199777 WITH SCORE 200654.36
AT ITER 2461 NEW BEST:: SOT 1282396 SOS 877170 HAS SOPS 868271 HAS SOUS 201123 HAS SOUPS 199654 WITH SCORE 200531.17
AT ITER 2462 NEW BEST:: SOT 1282396 SOS 877422 HAS SOPS 868523 HAS SOUS 201097 HAS SOUPS 199628 WITH SCORE 200505.422
AT ITER 2471 NEW BEST:: SOT 1282390 SOS 877290 HAS SOPS 868391 HAS SOUS 201085 HAS SOUPS 199616 WITH SCORE 200493.29
AT ITER 2482 NEW BEST:: SOT 1282667 SOS 877649 HAS SOPS 868750 HAS SOUS 201034 HAS SOUPS 199565 WITH SCORE 200442.649
AT ITER 2494 NEW BEST:: SOT 1282649 SOS 877631 HAS SOPS 868732 HAS SOUS 200998 HAS SOUPS 199529 WITH SCORE 200406.631
AT ITER 2509 NEW BEST:: SOT 1282679 SOS 877593 HAS SOPS 868694 HAS SOUS 200969 HAS SOUPS 199500 WITH SCORE 200377.593
AT ITER 2528 NEW BEST:: SOT 1282679 SOS 877503 HAS SOPS 868604 HAS SOUS 200969 HAS SOUPS 199500 WITH SCORE 200377.503
AT ITER 2547 NEW BEST:: SOT 1282641 SOS 877465 HAS SOPS 868595 HAS SOUS 200656 HAS SOUPS 199187 WITH SCORE 200064.465
AT ITER 2557 NEW BEST:: SOT 1282611 SOS 877435 HAS SOPS 868535 HAS SOUS 200566 HAS SOUPS 199097 WITH SCORE 199974.435
AT ITER 2567 NEW BEST:: SOT 1282568 SOS 877281 HAS SOPS 868381 HAS SOUS 200517 HAS SOUPS 199048 WITH SCORE 199925.281
AT ITER 2579 NEW BEST:: SOT 1282569 SOS 877413 HAS SOPS 868495 HAS SOUS 200367 HAS SOUPS 198898 WITH SCORE 199775.413
AT ITER 2583 NEW BEST:: SOT 1285129 SOS 880016 HAS SOPS 871098 HAS SOUS 198506 HAS SOUPS 197037 WITH SCORE 197917.016
AT ITER 2586 NEW BEST:: SOT 1285127 SOS 880014 HAS SOPS 871096 HAS SOUS 198502 HAS SOUPS 197033 WITH SCORE 197913.014
AT ITER 2587 NEW BEST:: SOT 1285086 SOS 881075 HAS SOPS 871581 HAS SOUS 198448 HAS SOUPS 196883 WITH SCORE 197764.075
AT ITER 2597 NEW BEST:: SOT 1284962 SOS 880265 HAS SOPS 870771 HAS SOUS 198200 HAS SOUPS 196635 WITH SCORE 197515.265
AT ITER 2601 NEW BEST:: SOT 1284836 SOS 880154 HAS SOPS 870660 HAS SOUS 198188 HAS SOUPS 196623 WITH SCORE 197503.154
AT ITER 2605 NEW BEST:: SOT 1284783 SOS 880101 HAS SOPS 870607 HAS SOUS 198135 HAS SOUPS 196570 WITH SCORE 197450.101
AT ITER 2628 NEW BEST:: SOT 1284727 SOS 880045 HAS SOPS 870551 HAS SOUS 197855 HAS SOUPS 196290 WITH SCORE 197170.045
AT ITER 2629 NEW BEST:: SOT 1284664 SOS 879982 HAS SOPS 870488 HAS SOUS 197792 HAS SOUPS 196227 WITH SCORE 197106.982
AT ITER 2632 NEW BEST:: SOT 1284664 SOS 879982 HAS SOPS 870488 HAS SOUS 197790 HAS SOUPS 196225 WITH SCORE 197104.982
AT ITER 2635 NEW BEST:: SOT 1284658 SOS 879976 HAS SOPS 870482 HAS SOUS 197784 HAS SOUPS 196219 WITH SCORE 197098.976
AT ITER 2667 NEW BEST:: SOT 1284665 SOS 880022 HAS SOPS 870520 HAS SOUS 197772 HAS SOUPS 196207 WITH SCORE 197087.022
AT ITER 2677 NEW BEST:: SOT 1284597 SOS 879954 HAS SOPS 870456 HAS SOUS 197696 HAS SOUPS 196131 WITH SCORE 197010.954
AT ITER 2683 NEW BEST:: SOT 1284567 SOS 879894 HAS SOPS 870396 HAS SOUS 197576 HAS SOUPS 196011 WITH SCORE 196890.894
AT ITER 2690 NEW BEST:: SOT 1284338 SOS 879665 HAS SOPS 870167 HAS SOUS 197347 HAS SOUPS 195782 WITH SCORE 196661.665
AT ITER 2693 NEW BEST:: SOT 1284338 SOS 879206 HAS SOPS 869708 HAS SOUS 197347 HAS SOUPS 195782 WITH SCORE 196661.206
AT ITER 2695 NEW BEST:: SOT 1283937 SOS 878805 HAS SOPS 869307 HAS SOUS 196681 HAS SOUPS 195116 WITH SCORE 195994.805
AT ITER 2708 NEW BEST:: SOT 1283863 SOS 878582 HAS SOPS 869045 HAS SOUS 196500 HAS SOUPS 194935 WITH SCORE 195813.582
AT ITER 2719 NEW BEST:: SOT 1283833 SOS 878835 HAS SOPS 869298 HAS SOUS 196488 HAS SOUPS 194923 WITH SCORE 195801.835
AT ITER 2724 NEW BEST:: SOT 1283847 SOS 879337 HAS SOPS 869747 HAS SOUS 196481 HAS SOUPS 194916 WITH SCORE 195795.337
AT ITER 2730 NEW BEST:: SOT 1283847 SOS 879039 HAS SOPS 869449 HAS SOUS 196481 HAS SOUPS 194916 WITH SCORE 195795.039
AT ITER 2751 NEW BEST:: SOT 1285798 SOS 881041 HAS SOPS 871451 HAS SOUS 195330 HAS SOUPS 193765 WITH SCORE 194646.041
AT ITER 2799 NEW BEST:: SOT 1285703 SOS 880813 HAS SOPS 871223 HAS SOUS 195176 HAS SOUPS 193611 WITH SCORE 194491.813
AT ITER 2807 NEW BEST:: SOT 1285642 SOS 880836 HAS SOPS 871148 HAS SOUS 195157 HAS SOUPS 193578 WITH SCORE 194458.836
AT ITER 2842 NEW BEST:: SOT 1285622 SOS 880806 HAS SOPS 871138 HAS SOUS 195157 HAS SOUPS 193578 WITH SCORE 194458.806
AT ITER 2858 NEW BEST:: SOT 1285417 SOS 880678 HAS SOPS 871010 HAS SOUS 195047 HAS SOUPS 193468 WITH SCORE 194348.678
AT ITER 2861 NEW BEST:: SOT 1285407 SOS 880668 HAS SOPS 871000 HAS SOUS 195047 HAS SOUPS 193468 WITH SCORE 194348.668
AT ITER 2866 NEW BEST:: SOT 1285278 SOS 880539 HAS SOPS 870871 HAS SOUS 194851 HAS SOUPS 193272 WITH SCORE 194152.539
AT ITER 2870 NEW BEST:: SOT 1285193 SOS 880454 HAS SOPS 870786 HAS SOUS 194678 HAS SOUPS 193099 WITH SCORE 193979.454
AT ITER 2879 NEW BEST:: SOT 1285193 SOS 880450 HAS SOPS 870782 HAS SOUS 194678 HAS SOUPS 193099 WITH SCORE 193979.45
AT ITER 2883 NEW BEST:: SOT 1285211 SOS 880455 HAS SOPS 870787 HAS SOUS 194639 HAS SOUPS 193060 WITH SCORE 193940.455
AT ITER 2884 NEW BEST:: SOT 1285123 SOS 880367 HAS SOPS 870699 HAS SOUS 194546 HAS SOUPS 192967 WITH SCORE 193847.367
AT ITER 2900 NEW BEST:: SOT 1285112 SOS 880356 HAS SOPS 870688 HAS SOUS 194520 HAS SOUPS 192941 WITH SCORE 193821.356
AT ITER 2924 NEW BEST:: SOT 1285132 SOS 880376 HAS SOPS 870692 HAS SOUS 194514 HAS SOUPS 192935 WITH SCORE 193815.376
AT ITER 2930 NEW BEST:: SOT 1285065 SOS 880309 HAS SOPS 870625 HAS SOUS 194465 HAS SOUPS 192886 WITH SCORE 193766.309
AT ITER 2932 NEW BEST:: SOT 1285058 SOS 880302 HAS SOPS 870618 HAS SOUS 194431 HAS SOUPS 192852 WITH SCORE 193732.302
AT ITER 2952 NEW BEST:: SOT 1285095 SOS 880458 HAS SOPS 870774 HAS SOUS 194410 HAS SOUPS 192831 WITH SCORE 193711.458
AT ITER 2962 NEW BEST:: SOT 1285050 SOS 880413 HAS SOPS 870729 HAS SOUS 194214 HAS SOUPS 192635 WITH SCORE 193515.413
AT ITER 2972 NEW BEST:: SOT 1285048 SOS 880411 HAS SOPS 870727 HAS SOUS 194210 HAS SOUPS 192631 WITH SCORE 193511.411
AT ITER 2973 NEW BEST:: SOT 1285038 SOS 880401 HAS SOPS 870717 HAS SOUS 194200 HAS SOUPS 192621 WITH SCORE 193501.401
AT ITER 2978 NEW BEST:: SOT 1284894 SOS 879918 HAS SOPS 870234 HAS SOUS 193912 HAS SOUPS 192333 WITH SCORE 193212.918
AT ITER 2984 NEW BEST:: SOT 1284866 SOS 879862 HAS SOPS 870178 HAS SOUS 193867 HAS SOUPS 192288 WITH SCORE 193167.862
AT ITER 2986 NEW BEST:: SOT 1284623 SOS 879619 HAS SOPS 869978 HAS SOUS 193583 HAS SOUPS 192004 WITH SCORE 192883.619
AT ITER 3003 NEW BEST:: SOT 1284407 SOS 879403 HAS SOPS 869762 HAS SOUS 193424 HAS SOUPS 191845 WITH SCORE 192724.403
AT ITER 3028 NEW BEST:: SOT 1284372 SOS 879758 HAS SOPS 870117 HAS SOUS 193331 HAS SOUPS 191752 WITH SCORE 192631.758
AT ITER 3041 NEW BEST:: SOT 1284128 SOS 877743 HAS SOPS 868102 HAS SOUS 193172 HAS SOUPS 191593 WITH SCORE 192470.743
AT ITER 3047 NEW BEST:: SOT 1284126 SOS 877741 HAS SOPS 868100 HAS SOUS 193170 HAS SOUPS 191591 WITH SCORE 192468.741
AT ITER 3090 NEW BEST:: SOT 1284059 SOS 877716 HAS SOPS 868075 HAS SOUS 193145 HAS SOUPS 191566 WITH SCORE 192443.716
AT ITER 3097 NEW BEST:: SOT 1283928 SOS 877585 HAS SOPS 867978 HAS SOUS 193048 HAS SOUPS 191469 WITH SCORE 192346.585
AT ITER 3100 NEW BEST:: SOT 1283746 SOS 877307 HAS SOPS 867735 HAS SOUS 192989 HAS SOUPS 191410 WITH SCORE 192287.307
AT ITER 3105 NEW BEST:: SOT 1283734 SOS 877123 HAS SOPS 867551 HAS SOUS 192977 HAS SOUPS 191398 WITH SCORE 192275.123
AT ITER 3127 NEW BEST:: SOT 1283626 SOS 877015 HAS SOPS 867443 HAS SOUS 192943 HAS SOUPS 191364 WITH SCORE 192241.015
AT ITER 3160 NEW BEST:: SOT 1283626 SOS 877031 HAS SOPS 867459 HAS SOUS 192939 HAS SOUPS 191360 WITH SCORE 192237.031
AT ITER 3174 NEW BEST:: SOT 1283600 SOS 877005 HAS SOPS 867457 HAS SOUS 192923 HAS SOUPS 191344 WITH SCORE 192221.005
AT ITER 3180 NEW BEST:: SOT 1283718 SOS 879257 HAS SOPS 869709 HAS SOUS 192769 HAS SOUPS 191190 WITH SCORE 192069.257
AT ITER 3186 NEW BEST:: SOT 1283708 SOS 879076 HAS SOPS 869528 HAS SOUS 192733 HAS SOUPS 191154 WITH SCORE 192033.076
AT ITER 3197 NEW BEST:: SOT 1283619 SOS 879073 HAS SOPS 869525 HAS SOUS 192687 HAS SOUPS 191108 WITH SCORE 191987.073
AT ITER 3207 NEW BEST:: SOT 1283528 SOS 878982 HAS SOPS 869434 HAS SOUS 192504 HAS SOUPS 190925 WITH SCORE 191803.982
AT ITER 3237 NEW BEST:: SOT 1283528 SOS 878736 HAS SOPS 869188 HAS SOUS 192427 HAS SOUPS 190848 WITH SCORE 191726.736
AT ITER 3240 NEW BEST:: SOT 1283526 SOS 878734 HAS SOPS 869186 HAS SOUS 192423 HAS SOUPS 190844 WITH SCORE 191722.734
AT ITER 3246 NEW BEST:: SOT 1282877 SOS 878482 HAS SOPS 868934 HAS SOUS 192050 HAS SOUPS 190471 WITH SCORE 191349.482
AT ITER 3266 NEW BEST:: SOT 1282671 SOS 877033 HAS SOPS 868061 HAS SOUS 191705 HAS SOUPS 190222 WITH SCORE 191099.033
AT ITER 3272 NEW BEST:: SOT 1282584 SOS 877320 HAS SOPS 868348 HAS SOUS 191492 HAS SOUPS 190009 WITH SCORE 190886.32
AT ITER 3276 NEW BEST:: SOT 1282584 SOS 877652 HAS SOPS 868680 HAS SOUS 191487 HAS SOUPS 190004 WITH SCORE 190881.652
AT ITER 3297 NEW BEST:: SOT 1282700 SOS 877639 HAS SOPS 868644 HAS SOUS 191344 HAS SOUPS 189861 WITH SCORE 190738.639
AT ITER 3304 NEW BEST:: SOT 1282392 SOS 875690 HAS SOPS 866695 HAS SOUS 190996 HAS SOUPS 189513 WITH SCORE 190388.69
AT ITER 3311 NEW BEST:: SOT 1282243 SOS 875585 HAS SOPS 866590 HAS SOUS 190803 HAS SOUPS 189320 WITH SCORE 190195.585
AT ITER 3314 NEW BEST:: SOT 1282243 SOS 875582 HAS SOPS 866587 HAS SOUS 190800 HAS SOUPS 189317 WITH SCORE 190192.582
AT ITER 3327 NEW BEST:: SOT 1282217 SOS 875371 HAS SOPS 866376 HAS SOUS 190748 HAS SOUPS 189265 WITH SCORE 190140.371
AT ITER 3349 NEW BEST:: SOT 1282266 SOS 875395 HAS SOPS 866400 HAS SOUS 190694 HAS SOUPS 189211 WITH SCORE 190086.395
AT ITER 3380 NEW BEST:: SOT 1283419 SOS 876975 HAS SOPS 867980 HAS SOUS 189955 HAS SOUPS 188472 WITH SCORE 189348.975
AT ITER 3386 NEW BEST:: SOT 1283247 SOS 876803 HAS SOPS 867808 HAS SOUS 189758 HAS SOUPS 188275 WITH SCORE 189151.803
AT ITER 3389 NEW BEST:: SOT 1283231 SOS 876787 HAS SOPS 867792 HAS SOUS 189726 HAS SOUPS 188243 WITH SCORE 189119.787
AT ITER 3399 NEW BEST:: SOT 1283220 SOS 876776 HAS SOPS 867781 HAS SOUS 189690 HAS SOUPS 188207 WITH SCORE 189083.776
AT ITER 3404 NEW BEST:: SOT 1283411 SOS 877025 HAS SOPS 868030 HAS SOUS 189642 HAS SOUPS 188159 WITH SCORE 189036.025
AT ITER 3408 NEW BEST:: SOT 1283295 SOS 877021 HAS SOPS 868026 HAS SOUS 189590 HAS SOUPS 188107 WITH SCORE 188984.021
AT ITER 3421 NEW BEST:: SOT 1283310 SOS 877036 HAS SOPS 868011 HAS SOUS 189560 HAS SOUPS 188077 WITH SCORE 188954.036
AT ITER 3433 NEW BEST:: SOT 1282892 SOS 876200 HAS SOPS 867177 HAS SOUS 189509 HAS SOUPS 188026 WITH SCORE 188902.2
AT ITER 3444 NEW BEST:: SOT 1282892 SOS 876193 HAS SOPS 867170 HAS SOUS 189481 HAS SOUPS 187998 WITH SCORE 188874.193
AT ITER 3449 NEW BEST:: SOT 1282855 SOS 875825 HAS SOPS 865981 HAS SOUS 189388 HAS SOUPS 187905 WITH SCORE 188780.825
AT ITER 3461 NEW BEST:: SOT 1249074 SOS 844410 HAS SOPS 834566 HAS SOUS 187575 HAS SOUPS 186092 WITH SCORE 186936.41
AT ITER 3467 NEW BEST:: SOT 1248987 SOS 844323 HAS SOPS 834479 HAS SOUS 187322 HAS SOUPS 185839 WITH SCORE 186683.323
AT ITER 3477 NEW BEST:: SOT 1248987 SOS 844218 HAS SOPS 834374 HAS SOUS 187322 HAS SOUPS 185839 WITH SCORE 186683.218
AT ITER 3491 NEW BEST:: SOT 1248881 SOS 844112 HAS SOPS 834358 HAS SOUS 187300 HAS SOUPS 185817 WITH SCORE 186661.112
AT ITER 3513 NEW BEST:: SOT 1248889 SOS 844120 HAS SOPS 834366 HAS SOUS 187276 HAS SOUPS 185793 WITH SCORE 186637.12
AT ITER 3516 NEW BEST:: SOT 1248813 SOS 844044 HAS SOPS 834141 HAS SOUS 187051 HAS SOUPS 185568 WITH SCORE 186412.044
AT ITER 3529 NEW BEST:: SOT 1248475 SOS 843447 HAS SOPS 833640 HAS SOUS 187051 HAS SOUPS 185568 WITH SCORE 186411.447
AT ITER 3538 NEW BEST:: SOT 1248530 SOS 843460 HAS SOPS 833566 HAS SOUS 187050 HAS SOUPS 185567 WITH SCORE 186410.46
AT ITER 3553 NEW BEST:: SOT 1248530 SOS 843451 HAS SOPS 833557 HAS SOUS 187050 HAS SOUPS 185567 WITH SCORE 186410.451
AT ITER 3558 NEW BEST:: SOT 1248479 SOS 843152 HAS SOPS 833258 HAS SOUS 186737 HAS SOUPS 185254 WITH SCORE 186097.152
AT ITER 3568 NEW BEST:: SOT 1248458 SOS 843017 HAS SOPS 833123 HAS SOUS 186695 HAS SOUPS 185212 WITH SCORE 186055.017
AT ITER 3578 NEW BEST:: SOT 1248330 SOS 842902 HAS SOPS 833008 HAS SOUS 186666 HAS SOUPS 185183 WITH SCORE 186025.902
AT ITER 3614 NEW BEST:: SOT 1248322 SOS 842894 HAS SOPS 833000 HAS SOUS 186650 HAS SOUPS 185167 WITH SCORE 186009.894
AT ITER 3641 NEW BEST:: SOT 1248300 SOS 842862 HAS SOPS 832968 HAS SOUS 186618 HAS SOUPS 185135 WITH SCORE 185977.862
AT ITER 3642 NEW BEST:: SOT 1248253 SOS 842815 HAS SOPS 832959 HAS SOUS 186533 HAS SOUPS 185050 WITH SCORE 185892.815
AT ITER 3643 NEW BEST:: SOT 1248053 SOS 839160 HAS SOPS 829461 HAS SOUS 186364 HAS SOUPS 184881 WITH SCORE 185720.16
AT ITER 3663 NEW BEST:: SOT 1248712 SOS 839791 HAS SOPS 830092 HAS SOUS 186286 HAS SOUPS 184803 WITH SCORE 185642.791
AT ITER 3666 NEW BEST:: SOT 1248678 SOS 839655 HAS SOPS 829956 HAS SOUS 186225 HAS SOUPS 184742 WITH SCORE 185581.655
AT ITER 3678 NEW BEST:: SOT 1248607 SOS 839584 HAS SOPS 829885 HAS SOUS 186023 HAS SOUPS 184540 WITH SCORE 185379.584
AT ITER 3686 NEW BEST:: SOT 1248578 SOS 839494 HAS SOPS 829795 HAS SOUS 186003 HAS SOUPS 184520 WITH SCORE 185359.494
AT ITER 3688 NEW BEST:: SOT 1248562 SOS 839478 HAS SOPS 829779 HAS SOUS 186003 HAS SOUPS 184520 WITH SCORE 185359.478
AT ITER 3699 NEW BEST:: SOT 1248395 SOS 838969 HAS SOPS 829292 HAS SOUS 185897 HAS SOUPS 184414 WITH SCORE 185252.969
AT ITER 3707 NEW BEST:: SOT 1248421 SOS 838960 HAS SOPS 829221 HAS SOUS 185896 HAS SOUPS 184413 WITH SCORE 185251.96
AT ITER 3716 NEW BEST:: SOT 1248398 SOS 838248 HAS SOPS 828509 HAS SOUS 185849 HAS SOUPS 184366 WITH SCORE 185204.248
AT ITER 3738 NEW BEST:: SOT 1248313 SOS 838129 HAS SOPS 828390 HAS SOUS 185734 HAS SOUPS 184251 WITH SCORE 185089.129
AT ITER 3747 NEW BEST:: SOT 1248313 SOS 838085 HAS SOPS 828346 HAS SOUS 185734 HAS SOUPS 184251 WITH SCORE 185089.085
AT ITER 3755 NEW BEST:: SOT 1248292 SOS 838064 HAS SOPS 828346 HAS SOUS 185692 HAS SOUPS 184209 WITH SCORE 185047.064
AT ITER 3763 NEW BEST:: SOT 1248292 SOS 838064 HAS SOPS 828346 HAS SOUS 185683 HAS SOUPS 184200 WITH SCORE 185038.064
AT ITER 3766 NEW BEST:: SOT 1248271 SOS 838013 HAS SOPS 828316 HAS SOUS 185683 HAS SOUPS 184200 WITH SCORE 185038.013
AT ITER 3768 NEW BEST:: SOT 1248242 SOS 837955 HAS SOPS 828258 HAS SOUS 185625 HAS SOUPS 184142 WITH SCORE 184979.955
AT ITER 3769 NEW BEST:: SOT 1248542 SOS 839696 HAS SOPS 829997 HAS SOUS 185589 HAS SOUPS 184106 WITH SCORE 184945.696
AT ITER 3770 NEW BEST:: SOT 1248506 SOS 839700 HAS SOPS 830001 HAS SOUS 185517 HAS SOUPS 184034 WITH SCORE 184873.7
AT ITER 3778 NEW BEST:: SOT 1248518 SOS 839712 HAS SOPS 830001 HAS SOUS 185505 HAS SOUPS 184022 WITH SCORE 184861.712
AT ITER 3779 NEW BEST:: SOT 1248525 SOS 839719 HAS SOPS 830008 HAS SOUS 185498 HAS SOUPS 184015 WITH SCORE 184854.719
AT ITER 3795 NEW BEST:: SOT 1248513 SOS 839719 HAS SOPS 830008 HAS SOUS 185474 HAS SOUPS 183991 WITH SCORE 184830.719
AT ITER 3799 NEW BEST:: SOT 1248513 SOS 839862 HAS SOPS 830151 HAS SOUS 185444 HAS SOUPS 183961 WITH SCORE 184800.862
AT ITER 3810 NEW BEST:: SOT 1248453 SOS 839802 HAS SOPS 830091 HAS SOUS 185406 HAS SOUPS 183923 WITH SCORE 184762.802
AT ITER 3833 NEW BEST:: SOT 1248453 SOS 839555 HAS SOPS 829844 HAS SOUS 185362 HAS SOUPS 183879 WITH SCORE 184718.555
AT ITER 3836 NEW BEST:: SOT 1248431 SOS 839635 HAS SOPS 829924 HAS SOUS 185290 HAS SOUPS 183807 WITH SCORE 184646.635
AT ITER 3841 NEW BEST:: SOT 1248486 SOS 839690 HAS SOPS 829979 HAS SOUS 185228 HAS SOUPS 183745 WITH SCORE 184584.69
AT ITER 3847 NEW BEST:: SOT 1248480 SOS 839678 HAS SOPS 829967 HAS SOUS 185216 HAS SOUPS 183733 WITH SCORE 184572.678
AT ITER 3856 NEW BEST:: SOT 1248468 SOS 839666 HAS SOPS 829955 HAS SOUS 185204 HAS SOUPS 183721 WITH SCORE 184560.666
AT ITER 3858 NEW BEST:: SOT 1248567 SOS 839037 HAS SOPS 829326 HAS SOUS 185196 HAS SOUPS 183713 WITH SCORE 184552.037
AT ITER 3878 NEW BEST:: SOT 1248567 SOS 839025 HAS SOPS 829314 HAS SOUS 185196 HAS SOUPS 183713 WITH SCORE 184552.025
AT ITER 3887 NEW BEST:: SOT 1248536 SOS 838994 HAS SOPS 829372 HAS SOUS 185159 HAS SOUPS 183676 WITH SCORE 184514.994
AT ITER 3903 NEW BEST:: SOT 1248423 SOS 837679 HAS SOPS 828057 HAS SOUS 185082 HAS SOUPS 183599 WITH SCORE 184436.679
AT ITER 3911 NEW BEST:: SOT 1248418 SOS 837674 HAS SOPS 828052 HAS SOUS 185072 HAS SOUPS 183589 WITH SCORE 184426.674
AT ITER 3916 NEW BEST:: SOT 1248418 SOS 837670 HAS SOPS 828048 HAS SOUS 185072 HAS SOUPS 183589 WITH SCORE 184426.67
AT ITER 3935 NEW BEST:: SOT 1248505 SOS 837757 HAS SOPS 828135 HAS SOUS 185039 HAS SOUPS 183556 WITH SCORE 184393.757
AT ITER 3945 NEW BEST:: SOT 1248525 SOS 837817 HAS SOPS 828195 HAS SOUS 184997 HAS SOUPS 183514 WITH SCORE 184351.817
AT ITER 3948 NEW BEST:: SOT 1248531 SOS 837823 HAS SOPS 828201 HAS SOUS 184993 HAS SOUPS 183510 WITH SCORE 184347.823
AT ITER 3954 NEW BEST:: SOT 1248503 SOS 837711 HAS SOPS 828089 HAS SOUS 184965 HAS SOUPS 183482 WITH SCORE 184319.711
AT ITER 3972 NEW BEST:: SOT 1248492 SOS 837700 HAS SOPS 828078 HAS SOUS 184962 HAS SOUPS 183479 WITH SCORE 184316.7
AT ITER 3989 NEW BEST:: SOT 1248407 SOS 837317 HAS SOPS 827695 HAS SOUS 184886 HAS SOUPS 183403 WITH SCORE 184240.317
AT ITER 4058 NEW BEST:: SOT 1248407 SOS 837316 HAS SOPS 827694 HAS SOUS 184885 HAS SOUPS 183402 WITH SCORE 184239.316
AT ITER 4073 NEW BEST:: SOT 1248389 SOS 837319 HAS SOPS 827697 HAS SOUS 184862 HAS SOUPS 183379 WITH SCORE 184216.319
AT ITER 4077 NEW BEST:: SOT 1248383 SOS 837335 HAS SOPS 827713 HAS SOUS 184850 HAS SOUPS 183367 WITH SCORE 184204.335
AT ITER 4085 NEW BEST:: SOT 1248853 SOS 838439 HAS SOPS 828817 HAS SOUS 184833 HAS SOUPS 183350 WITH SCORE 184188.439
AT ITER 4090 NEW BEST:: SOT 1249095 SOS 838631 HAS SOPS 827125 HAS SOUS 185075 HAS SOUPS 183178 WITH SCORE 184016.631
AT ITER 4101 NEW BEST:: SOT 1248943 SOS 838479 HAS SOPS 827045 HAS SOUS 184950 HAS SOUPS 183053 WITH SCORE 183891.479
AT ITER 4104 NEW BEST:: SOT 1263391 SOS 853053 HAS SOPS 841619 HAS SOUS 184906 HAS SOUPS 183009 WITH SCORE 183862.053
AT ITER 4118 NEW BEST:: SOT 1263412 SOS 853117 HAS SOPS 841683 HAS SOUS 184904 HAS SOUPS 183007 WITH SCORE 183860.117
AT ITER 4122 NEW BEST:: SOT 1263484 SOS 853189 HAS SOPS 841755 HAS SOUS 184864 HAS SOUPS 182967 WITH SCORE 183820.189
AT ITER 4131 NEW BEST:: SOT 1263484 SOS 853201 HAS SOPS 841767 HAS SOUS 184852 HAS SOUPS 182955 WITH SCORE 183808.201
AT ITER 4135 NEW BEST:: SOT 1263444 SOS 853057 HAS SOPS 841623 HAS SOUS 184772 HAS SOUPS 182875 WITH SCORE 183728.057
AT ITER 4156 NEW BEST:: SOT 1263449 SOS 853062 HAS SOPS 841628 HAS SOUS 184762 HAS SOUPS 182865 WITH SCORE 183718.062
AT ITER 4177 NEW BEST:: SOT 1263412 SOS 852988 HAS SOPS 841554 HAS SOUS 184688 HAS SOUPS 182791 WITH SCORE 183643.988
AT ITER 4183 NEW BEST:: SOT 1263400 SOS 852976 HAS SOPS 841542 HAS SOUS 184640 HAS SOUPS 182743 WITH SCORE 183595.976
AT ITER 4262 NEW BEST:: SOT 1263397 SOS 852964 HAS SOPS 841530 HAS SOUS 184631 HAS SOUPS 182734 WITH SCORE 183586.964
AT ITER 4271 NEW BEST:: SOT 1263357 SOS 853748 HAS SOPS 842314 HAS SOUS 184390 HAS SOUPS 182493 WITH SCORE 183346.748
AT ITER 4310 NEW BEST:: SOT 1263231 SOS 853622 HAS SOPS 842199 HAS SOUS 184262 HAS SOUPS 182365 WITH SCORE 183218.622
AT ITER 4324 NEW BEST:: SOT 1263522 SOS 854467 HAS SOPS 843044 HAS SOUS 184177 HAS SOUPS 182280 WITH SCORE 183134.467
AT ITER 4356 NEW BEST:: SOT 1263364 SOS 854300 HAS SOPS 842900 HAS SOUS 184049 HAS SOUPS 182152 WITH SCORE 183006.3
AT ITER 4363 NEW BEST:: SOT 1263353 SOS 854289 HAS SOPS 842889 HAS SOUS 184028 HAS SOUPS 182131 WITH SCORE 182985.289
AT ITER 4369 NEW BEST:: SOT 1261687 SOS 852583 HAS SOPS 841183 HAS SOUS 183975 HAS SOUPS 182078 WITH SCORE 182930.583
AT ITER 4382 NEW BEST:: SOT 1261618 SOS 852476 HAS SOPS 841076 HAS SOUS 183849 HAS SOUPS 181952 WITH SCORE 182804.476
AT ITER 4393 NEW BEST:: SOT 1261624 SOS 852536 HAS SOPS 841113 HAS SOUS 183803 HAS SOUPS 181906 WITH SCORE 182758.536
AT ITER 4427 NEW BEST:: SOT 1261508 SOS 852490 HAS SOPS 841067 HAS SOUS 183652 HAS SOUPS 181755 WITH SCORE 182607.49
AT ITER 4428 NEW BEST:: SOT 1261508 SOS 852490 HAS SOPS 841067 HAS SOUS 183592 HAS SOUPS 181695 WITH SCORE 182547.49
AT ITER 4450 NEW BEST:: SOT 1261485 SOS 852467 HAS SOPS 841044 HAS SOUS 183586 HAS SOUPS 181689 WITH SCORE 182541.467
AT ITER 4454 NEW BEST:: SOT 1261479 SOS 852461 HAS SOPS 841046 HAS SOUS 183581 HAS SOUPS 181684 WITH SCORE 182536.461
AT ITER 4456 NEW BEST:: SOT 1261380 SOS 852362 HAS SOPS 840947 HAS SOUS 183374 HAS SOUPS 181477 WITH SCORE 182329.362
AT ITER 4483 NEW BEST:: SOT 1261410 SOS 852392 HAS SOPS 840977 HAS SOUS 183274 HAS SOUPS 181377 WITH SCORE 182229.392
AT ITER 4487 NEW BEST:: SOT 1261452 SOS 852486 HAS SOPS 841071 HAS SOUS 183264 HAS SOUPS 181367 WITH SCORE 182219.486
AT ITER 4543 NEW BEST:: SOT 1261422 SOS 850796 HAS SOPS 839381 HAS SOUS 183223 HAS SOUPS 181326 WITH SCORE 182176.796
AT ITER 4553 NEW BEST:: SOT 1261418 SOS 850792 HAS SOPS 839377 HAS SOUS 183217 HAS SOUPS 181320 WITH SCORE 182170.792
AT ITER 4567 NEW BEST:: SOT 1261439 SOS 850795 HAS SOPS 839380 HAS SOUS 183205 HAS SOUPS 181308 WITH SCORE 182158.795
AT ITER 4573 NEW BEST:: SOT 1261427 SOS 850783 HAS SOPS 839368 HAS SOUS 183183 HAS SOUPS 181286 WITH SCORE 182136.783
AT ITER 4591 NEW BEST:: SOT 1261308 SOS 850133 HAS SOPS 838813 HAS SOUS 183141 HAS SOUPS 181244 WITH SCORE 182094.133
AT ITER 4592 NEW BEST:: SOT 1260268 SOS 849146 HAS SOPS 837826 HAS SOUS 182484 HAS SOUPS 180587 WITH SCORE 181436.146
AT ITER 4614 NEW BEST:: SOT 1260211 SOS 849122 HAS SOPS 837766 HAS SOUS 182424 HAS SOUPS 180527 WITH SCORE 181376.122
AT ITER 4656 NEW BEST:: SOT 1260198 SOS 849718 HAS SOPS 838362 HAS SOUS 182398 HAS SOUPS 180501 WITH SCORE 181350.718
AT ITER 4666 NEW BEST:: SOT 1260205 SOS 849725 HAS SOPS 838369 HAS SOUS 182351 HAS SOUPS 180454 WITH SCORE 181303.725
AT ITER 4732 NEW BEST:: SOT 1260135 SOS 849655 HAS SOPS 838265 HAS SOUS 182347 HAS SOUPS 180450 WITH SCORE 181299.655
AT ITER 4749 NEW BEST:: SOT 1260112 SOS 849520 HAS SOPS 838108 HAS SOUS 182304 HAS SOUPS 180407 WITH SCORE 181256.52
AT ITER 4781 NEW BEST:: SOT 1260314 SOS 849759 HAS SOPS 838347 HAS SOUS 182260 HAS SOUPS 180363 WITH SCORE 181212.759
AT ITER 4796 NEW BEST:: SOT 1262358 SOS 851758 HAS SOPS 840346 HAS SOUS 181947 HAS SOUPS 180050 WITH SCORE 180901.758
AT ITER 4797 NEW BEST:: SOT 1262218 SOS 851618 HAS SOPS 840206 HAS SOUS 181807 HAS SOUPS 179910 WITH SCORE 180761.618
AT ITER 4810 NEW BEST:: SOT 1262210 SOS 851597 HAS SOPS 840209 HAS SOUS 181786 HAS SOUPS 179889 WITH SCORE 180740.597
AT ITER 4822 NEW BEST:: SOT 1262256 SOS 851582 HAS SOPS 840194 HAS SOUS 181725 HAS SOUPS 179828 WITH SCORE 180679.582
AT ITER 4845 NEW BEST:: SOT 1262223 SOS 851549 HAS SOPS 840172 HAS SOUS 181681 HAS SOUPS 179784 WITH SCORE 180635.549
AT ITER 4865 NEW BEST:: SOT 1262090 SOS 851332 HAS SOPS 839955 HAS SOUS 181592 HAS SOUPS 179695 WITH SCORE 180546.332
AT ITER 4870 NEW BEST:: SOT 1262009 SOS 851153 HAS SOPS 839776 HAS SOUS 181502 HAS SOUPS 179605 WITH SCORE 180456.153
AT ITER 4902 NEW BEST:: SOT 1261914 SOS 846762 HAS SOPS 835385 HAS SOUS 181101 HAS SOUPS 179204 WITH SCORE 180050.762
AT ITER 4928 NEW BEST:: SOT 1261882 SOS 846718 HAS SOPS 835341 HAS SOUS 181045 HAS SOUPS 179148 WITH SCORE 179994.718
AT ITER 4929 NEW BEST:: SOT 1261960 SOS 847110 HAS SOPS 835625 HAS SOUS 180987 HAS SOUPS 179090 WITH SCORE 179937.11
AT ITER 4944 NEW BEST:: SOT 1261960 SOS 847110 HAS SOPS 835599 HAS SOUS 180935 HAS SOUPS 179038 WITH SCORE 179885.11
AT ITER 4947 NEW BEST:: SOT 1261912 SOS 846935 HAS SOPS 835407 HAS SOUS 180870 HAS SOUPS 178973 WITH SCORE 179819.935
AT ITER 4964 NEW BEST:: SOT 1261858 SOS 846611 HAS SOPS 835083 HAS SOUS 180816 HAS SOUPS 178919 WITH SCORE 179765.611
AT ITER 4968 NEW BEST:: SOT 1261858 SOS 846611 HAS SOPS 835083 HAS SOUS 180796 HAS SOUPS 178899 WITH SCORE 179745.611
AT ITER 4973 NEW BEST:: SOT 1261891 SOS 846644 HAS SOPS 835116 HAS SOUS 180689 HAS SOUPS 178792 WITH SCORE 179638.644
AT ITER 4995 NEW BEST:: SOT 1261891 SOS 846644 HAS SOPS 835095 HAS SOUS 180632 HAS SOUPS 178735 WITH SCORE 179581.644
AT ITER 5031 NEW BEST:: SOT 1259279 SOS 842966 HAS SOPS 831417 HAS SOUS 180444 HAS SOUPS 178547 WITH SCORE 179389.966
AT ITER 5041 NEW BEST:: SOT 1259311 SOS 843164 HAS SOPS 831615 HAS SOUS 180428 HAS SOUPS 178531 WITH SCORE 179374.164
AT ITER 5053 NEW BEST:: SOT 1259315 SOS 843168 HAS SOPS 831593 HAS SOUS 180384 HAS SOUPS 178487 WITH SCORE 179330.168
AT ITER 5058 NEW BEST:: SOT 1259265 SOS 843118 HAS SOPS 831543 HAS SOUS 180284 HAS SOUPS 178387 WITH SCORE 179230.118
AT ITER 5067 NEW BEST:: SOT 1259176 SOS 843029 HAS SOPS 831454 HAS SOUS 180229 HAS SOUPS 178332 WITH SCORE 179175.029
AT ITER 5079 NEW BEST:: SOT 1259094 SOS 842918 HAS SOPS 831343 HAS SOUS 180128 HAS SOUPS 178231 WITH SCORE 179073.918
AT ITER 5081 NEW BEST:: SOT 1258792 SOS 842616 HAS SOPS 831041 HAS SOUS 179839 HAS SOUPS 177942 WITH SCORE 178784.616
AT ITER 5085 NEW BEST:: SOT 1258792 SOS 842642 HAS SOPS 831067 HAS SOUS 179813 HAS SOUPS 177916 WITH SCORE 178758.642
AT ITER 5089 NEW BEST:: SOT 1258777 SOS 842627 HAS SOPS 831052 HAS SOUS 179778 HAS SOUPS 177881 WITH SCORE 178723.627
AT ITER 5104 NEW BEST:: SOT 1258695 SOS 842586 HAS SOPS 831011 HAS SOUS 179737 HAS SOUPS 177840 WITH SCORE 178682.586
AT ITER 5106 NEW BEST:: SOT 1258730 SOS 842585 HAS SOPS 831010 HAS SOUS 179724 HAS SOUPS 177827 WITH SCORE 178669.585
AT ITER 5156 NEW BEST:: SOT 1258707 SOS 842562 HAS SOPS 830975 HAS SOUS 179646 HAS SOUPS 177749 WITH SCORE 178591.562
AT ITER 5168 NEW BEST:: SOT 1258821 SOS 842624 HAS SOPS 831037 HAS SOUS 179558 HAS SOUPS 177661 WITH SCORE 178503.624
AT ITER 5175 NEW BEST:: SOT 1258881 SOS 841795 HAS SOPS 830208 HAS SOUS 179225 HAS SOUPS 177328 WITH SCORE 178169.795
AT ITER 5192 NEW BEST:: SOT 1258876 SOS 841982 HAS SOPS 830197 HAS SOUS 179220 HAS SOUPS 177317 WITH SCORE 178158.982
AT ITER 5210 NEW BEST:: SOT 1258859 SOS 841978 HAS SOPS 830169 HAS SOUS 179190 HAS SOUPS 177287 WITH SCORE 178128.978
AT ITER 5234 NEW BEST:: SOT 1258845 SOS 841964 HAS SOPS 830155 HAS SOUS 179162 HAS SOUPS 177259 WITH SCORE 178100.964
AT ITER 5265 NEW BEST:: SOT 1258836 SOS 841955 HAS SOPS 830146 HAS SOUS 179144 HAS SOUPS 177241 WITH SCORE 178082.955
AT ITER 5302 NEW BEST:: SOT 1258836 SOS 841946 HAS SOPS 830137 HAS SOUS 178631 HAS SOUPS 176728 WITH SCORE 177569.946
AT ITER 5308 NEW BEST:: SOT 1258824 SOS 841934 HAS SOPS 830125 HAS SOUS 178610 HAS SOUPS 176707 WITH SCORE 177548.934
AT ITER 5330 NEW BEST:: SOT 1258838 SOS 842008 HAS SOPS 830199 HAS SOUS 178579 HAS SOUPS 176676 WITH SCORE 177518.008
AT ITER 5331 NEW BEST:: SOT 1258751 SOS 841834 HAS SOPS 830025 HAS SOUS 178405 HAS SOUPS 176502 WITH SCORE 177343.834
AT ITER 5353 NEW BEST:: SOT 1258591 SOS 841681 HAS SOPS 829872 HAS SOUS 178171 HAS SOUPS 176268 WITH SCORE 177109.681
AT ITER 5357 NEW BEST:: SOT 1258591 SOS 841681 HAS SOPS 829872 HAS SOUS 178065 HAS SOUPS 176162 WITH SCORE 177003.681
AT ITER 5377 NEW BEST:: SOT 1258687 SOS 841716 HAS SOPS 829907 HAS SOUS 178006 HAS SOUPS 176103 WITH SCORE 176944.716
AT ITER 5382 NEW BEST:: SOT 1258703 SOS 841732 HAS SOPS 829923 HAS SOUS 177982 HAS SOUPS 176079 WITH SCORE 176920.732
AT ITER 5401 NEW BEST:: SOT 1258610 SOS 842144 HAS SOPS 830335 HAS SOUS 177942 HAS SOUPS 176039 WITH SCORE 176881.144
AT ITER 5443 NEW BEST:: SOT 1258546 SOS 842080 HAS SOPS 830271 HAS SOUS 177936 HAS SOUPS 176033 WITH SCORE 176875.08
AT ITER 5445 NEW BEST:: SOT 1258516 SOS 842050 HAS SOPS 830241 HAS SOUS 177932 HAS SOUPS 176029 WITH SCORE 176871.05
AT ITER 5452 NEW BEST:: SOT 1258457 SOS 841991 HAS SOPS 830204 HAS SOUS 177801 HAS SOUPS 175898 WITH SCORE 176739.991
AT ITER 5454 NEW BEST:: SOT 1258322 SOS 841855 HAS SOPS 830068 HAS SOUS 177665 HAS SOUPS 175762 WITH SCORE 176603.855
AT ITER 5457 NEW BEST:: SOT 1258274 SOS 841823 HAS SOPS 830036 HAS SOUS 177633 HAS SOUPS 175730 WITH SCORE 176571.823
AT ITER 5470 NEW BEST:: SOT 1258247 SOS 841803 HAS SOPS 830016 HAS SOUS 177607 HAS SOUPS 175704 WITH SCORE 176545.803
AT ITER 5488 NEW BEST:: SOT 1258185 SOS 841741 HAS SOPS 829954 HAS SOUS 177483 HAS SOUPS 175580 WITH SCORE 176421.741
AT ITER 5501 NEW BEST:: SOT 1258185 SOS 841423 HAS SOPS 829636 HAS SOUS 177483 HAS SOUPS 175580 WITH SCORE 176421.423
AT ITER 5502 NEW BEST:: SOT 1258154 SOS 841392 HAS SOPS 829605 HAS SOUS 177421 HAS SOUPS 175518 WITH SCORE 176359.392
AT ITER 5505 NEW BEST:: SOT 1258154 SOS 841392 HAS SOPS 829605 HAS SOUS 177207 HAS SOUPS 175304 WITH SCORE 176145.392
AT ITER 5525 NEW BEST:: SOT 1258115 SOS 839964 HAS SOPS 829481 HAS SOUS 177068 HAS SOUPS 175204 WITH SCORE 176043.964
AT ITER 5548 NEW BEST:: SOT 1258218 SOS 840169 HAS SOPS 829601 HAS SOUS 177048 HAS SOUPS 175184 WITH SCORE 176024.169
AT ITER 5560 NEW BEST:: SOT 1258116 SOS 840067 HAS SOPS 829499 HAS SOUS 176895 HAS SOUPS 175031 WITH SCORE 175871.067
AT ITER 5587 NEW BEST:: SOT 1258092 SOS 840043 HAS SOPS 829475 HAS SOUS 176847 HAS SOUPS 174983 WITH SCORE 175823.043
AT ITER 5605 NEW BEST:: SOT 1258046 SOS 839997 HAS SOPS 829429 HAS SOUS 176755 HAS SOUPS 174891 WITH SCORE 175730.997
AT ITER 5632 NEW BEST:: SOT 1258003 SOS 839888 HAS SOPS 829320 HAS SOUS 176646 HAS SOUPS 174782 WITH SCORE 175621.888
AT ITER 5638 NEW BEST:: SOT 1257789 SOS 839439 HAS SOPS 828871 HAS SOUS 176463 HAS SOUPS 174599 WITH SCORE 175438.439
AT ITER 5663 NEW BEST:: SOT 1257753 SOS 839403 HAS SOPS 828835 HAS SOUS 176427 HAS SOUPS 174563 WITH SCORE 175402.403
AT ITER 5712 NEW BEST:: SOT 1257668 SOS 839335 HAS SOPS 828767 HAS SOUS 176325 HAS SOUPS 174461 WITH SCORE 175300.335
AT ITER 5724 NEW BEST:: SOT 1257668 SOS 839335 HAS SOPS 828767 HAS SOUS 176321 HAS SOUPS 174457 WITH SCORE 175296.335
AT ITER 5757 NEW BEST:: SOT 1257637 SOS 839304 HAS SOPS 828736 HAS SOUS 176321 HAS SOUPS 174457 WITH SCORE 175296.304
AT ITER 5758 NEW BEST:: SOT 1257647 SOS 839365 HAS SOPS 828797 HAS SOUS 176318 HAS SOUPS 174454 WITH SCORE 175293.365
AT ITER 5770 NEW BEST:: SOT 1257591 SOS 839141 HAS SOPS 828573 HAS SOUS 176318 HAS SOUPS 174454 WITH SCORE 175293.141
AT ITER 5782 NEW BEST:: SOT 1257562 SOS 839100 HAS SOPS 828532 HAS SOUS 176298 HAS SOUPS 174434 WITH SCORE 175273.1
AT ITER 5783 NEW BEST:: SOT 1257415 SOS 839006 HAS SOPS 828438 HAS SOUS 176204 HAS SOUPS 174340 WITH SCORE 175179.006
AT ITER 5823 NEW BEST:: SOT 1257289 SOS 838880 HAS SOPS 828312 HAS SOUS 175952 HAS SOUPS 174088 WITH SCORE 174926.88
AT ITER 5827 NEW BEST:: SOT 1257222 SOS 838813 HAS SOPS 828245 HAS SOUS 175766 HAS SOUPS 173902 WITH SCORE 174740.813
AT ITER 5841 NEW BEST:: SOT 1257101 SOS 838692 HAS SOPS 828124 HAS SOUS 175666 HAS SOUPS 173802 WITH SCORE 174640.692
AT ITER 5859 NEW BEST:: SOT 1257094 SOS 838736 HAS SOPS 828168 HAS SOUS 175652 HAS SOUPS 173788 WITH SCORE 174626.736
AT ITER 5878 NEW BEST:: SOT 1256593 SOS 838673 HAS SOPS 828024 HAS SOUS 175658 HAS SOUPS 173713 WITH SCORE 174551.673
AT ITER 5879 NEW BEST:: SOT 1256588 SOS 838668 HAS SOPS 828019 HAS SOUS 175636 HAS SOUPS 173691 WITH SCORE 174529.668
AT ITER 5897 NEW BEST:: SOT 1256572 SOS 838652 HAS SOPS 828019 HAS SOUS 175604 HAS SOUPS 173675 WITH SCORE 174513.652
AT ITER 5914 NEW BEST:: SOT 1256586 SOS 838659 HAS SOPS 828026 HAS SOUS 175569 HAS SOUPS 173640 WITH SCORE 174478.659
AT ITER 5934 NEW BEST:: SOT 1256544 SOS 838617 HAS SOPS 827984 HAS SOUS 175461 HAS SOUPS 173532 WITH SCORE 174370.617
AT ITER 5953 NEW BEST:: SOT 1256671 SOS 838701 HAS SOPS 828068 HAS SOUS 175451 HAS SOUPS 173522 WITH SCORE 174360.701
AT ITER 5955 NEW BEST:: SOT 1256629 SOS 838659 HAS SOPS 828026 HAS SOUS 175375 HAS SOUPS 173446 WITH SCORE 174284.659
AT ITER 5960 NEW BEST:: SOT 1255899 SOS 837942 HAS SOPS 827309 HAS SOUS 175245 HAS SOUPS 173316 WITH SCORE 174153.942
AT ITER 5985 NEW BEST:: SOT 1255899 SOS 837858 HAS SOPS 827225 HAS SOUS 175245 HAS SOUPS 173316 WITH SCORE 174153.858
AT ITER 5997 NEW BEST:: SOT 1255891 SOS 837817 HAS SOPS 827184 HAS SOUS 175229 HAS SOUPS 173300 WITH SCORE 174137.817
AT ITER 6037 NEW BEST:: SOT 1255829 SOS 837569 HAS SOPS 826998 HAS SOUS 175214 HAS SOUPS 173295 WITH SCORE 174132.569
AT ITER 6055 NEW BEST:: SOT 1255843 SOS 837539 HAS SOPS 826941 HAS SOUS 175140 HAS SOUPS 173221 WITH SCORE 174058.539
AT ITER 6056 NEW BEST:: SOT 1255783 SOS 837351 HAS SOPS 826753 HAS SOUS 175080 HAS SOUPS 173161 WITH SCORE 173998.351
AT ITER 6089 NEW BEST:: SOT 1255716 SOS 837217 HAS SOPS 826619 HAS SOUS 175037 HAS SOUPS 173118 WITH SCORE 173955.217
AT ITER 6118 NEW BEST:: SOT 1255731 SOS 837192 HAS SOPS 826594 HAS SOUS 175027 HAS SOUPS 173108 WITH SCORE 173945.192
AT ITER 6120 NEW BEST:: SOT 1255723 SOS 837184 HAS SOPS 826586 HAS SOUS 175015 HAS SOUPS 173096 WITH SCORE 173933.184
AT ITER 6121 NEW BEST:: SOT 1255686 SOS 837076 HAS SOPS 826478 HAS SOUS 174941 HAS SOUPS 173022 WITH SCORE 173859.076
AT ITER 6126 NEW BEST:: SOT 1255653 SOS 837043 HAS SOPS 826478 HAS SOUS 174875 HAS SOUPS 172956 WITH SCORE 173793.043
AT ITER 6130 NEW BEST:: SOT 1244583 SOS 826013 HAS SOPS 815448 HAS SOUS 171925 HAS SOUPS 170006 WITH SCORE 170832.013
AT ITER 6161 NEW BEST:: SOT 1244613 SOS 826073 HAS SOPS 815508 HAS SOUS 171835 HAS SOUPS 169916 WITH SCORE 170742.073
AT ITER 6189 NEW BEST:: SOT 1244613 SOS 826073 HAS SOPS 815508 HAS SOUS 171769 HAS SOUPS 169850 WITH SCORE 170676.073
AT ITER 6200 NEW BEST:: SOT 1244631 SOS 826091 HAS SOPS 815504 HAS SOUS 171727 HAS SOUPS 169808 WITH SCORE 170634.091
AT ITER 6224 NEW BEST:: SOT 1244616 SOS 826076 HAS SOPS 815489 HAS SOUS 171697 HAS SOUPS 169778 WITH SCORE 170604.076
AT ITER 6227 NEW BEST:: SOT 1244615 SOS 826075 HAS SOPS 815488 HAS SOUS 171695 HAS SOUPS 169776 WITH SCORE 170602.075
AT ITER 6228 NEW BEST:: SOT 1244553 SOS 826013 HAS SOPS 815397 HAS SOUS 171582 HAS SOUPS 169663 WITH SCORE 170489.013
AT ITER 6245 NEW BEST:: SOT 1244542 SOS 826002 HAS SOPS 815386 HAS SOUS 171571 HAS SOUPS 169652 WITH SCORE 170478.002
AT ITER 6249 NEW BEST:: SOT 1244506 SOS 825966 HAS SOPS 815350 HAS SOUS 171499 HAS SOUPS 169580 WITH SCORE 170405.966
AT ITER 6254 NEW BEST:: SOT 1244527 SOS 825981 HAS SOPS 815365 HAS SOUS 171463 HAS SOUPS 169544 WITH SCORE 170369.981
AT ITER 6267 NEW BEST:: SOT 1244446 SOS 825896 HAS SOPS 815280 HAS SOUS 171411 HAS SOUPS 169492 WITH SCORE 170317.896
AT ITER 6277 NEW BEST:: SOT 1244444 SOS 825843 HAS SOPS 815227 HAS SOUS 171304 HAS SOUPS 169385 WITH SCORE 170210.843
AT ITER 6285 NEW BEST:: SOT 1244362 SOS 825761 HAS SOPS 815145 HAS SOUS 171246 HAS SOUPS 169327 WITH SCORE 170152.761
AT ITER 6306 NEW BEST:: SOT 1244310 SOS 825709 HAS SOPS 815093 HAS SOUS 171142 HAS SOUPS 169223 WITH SCORE 170048.709
AT ITER 6315 NEW BEST:: SOT 1244301 SOS 825700 HAS SOPS 815089 HAS SOUS 171129 HAS SOUPS 169215 WITH SCORE 170040.7
AT ITER 6316 NEW BEST:: SOT 1244311 SOS 825710 HAS SOPS 815078 HAS SOUS 171107 HAS SOUPS 169193 WITH SCORE 170018.71
AT ITER 6321 NEW BEST:: SOT 1244328 SOS 825727 HAS SOPS 815095 HAS SOUS 171099 HAS SOUPS 169185 WITH SCORE 170010.727
AT ITER 6340 NEW BEST:: SOT 1244316 SOS 825715 HAS SOPS 815101 HAS SOUS 171083 HAS SOUPS 169175 WITH SCORE 170000.715
AT ITER 6352 NEW BEST:: SOT 1244316 SOS 825687 HAS SOPS 815073 HAS SOUS 171083 HAS SOUPS 169175 WITH SCORE 170000.687
AT ITER 6367 NEW BEST:: SOT 1244299 SOS 825595 HAS SOPS 814981 HAS SOUS 171049 HAS SOUPS 169141 WITH SCORE 169966.595
AT ITER 6371 NEW BEST:: SOT 1244270 SOS 825515 HAS SOPS 814926 HAS SOUS 171028 HAS SOUPS 169120 WITH SCORE 169945.515
AT ITER 6376 NEW BEST:: SOT 1244258 SOS 825503 HAS SOPS 814914 HAS SOUS 171016 HAS SOUPS 169108 WITH SCORE 169933.503
AT ITER 6378 NEW BEST:: SOT 1244258 SOS 825591 HAS SOPS 814870 HAS SOUS 170942 HAS SOUPS 169034 WITH SCORE 169859.591
AT ITER 6406 NEW BEST:: SOT 1244162 SOS 825435 HAS SOPS 814714 HAS SOUS 170860 HAS SOUPS 168952 WITH SCORE 169777.435
AT ITER 6416 NEW BEST:: SOT 1244085 SOS 825303 HAS SOPS 814678 HAS SOUS 170788 HAS SOUPS 168880 WITH SCORE 169705.303
AT ITER 6451 NEW BEST:: SOT 1244048 SOS 825067 HAS SOPS 814442 HAS SOUS 170576 HAS SOUPS 168668 WITH SCORE 169493.067
AT ITER 6457 NEW BEST:: SOT 1243693 SOS 824783 HAS SOPS 814158 HAS SOUS 170221 HAS SOUPS 168313 WITH SCORE 169137.783
AT ITER 6464 NEW BEST:: SOT 1243678 SOS 824768 HAS SOPS 814143 HAS SOUS 170148 HAS SOUPS 168240 WITH SCORE 169064.768
AT ITER 6472 NEW BEST:: SOT 1243645 SOS 824735 HAS SOPS 814110 HAS SOUS 170036 HAS SOUPS 168128 WITH SCORE 168952.735
AT ITER 6475 NEW BEST:: SOT 1243639 SOS 824723 HAS SOPS 814098 HAS SOUS 170030 HAS SOUPS 168122 WITH SCORE 168946.723
AT ITER 6481 NEW BEST:: SOT 1243641 SOS 824725 HAS SOPS 814100 HAS SOUS 170023 HAS SOUPS 168115 WITH SCORE 168939.725
AT ITER 6486 NEW BEST:: SOT 1243426 SOS 824572 HAS SOPS 813947 HAS SOUS 169761 HAS SOUPS 167853 WITH SCORE 168677.572
AT ITER 6509 NEW BEST:: SOT 1243415 SOS 824561 HAS SOPS 813964 HAS SOUS 169716 HAS SOUPS 167822 WITH SCORE 168646.561
AT ITER 6512 NEW BEST:: SOT 1243378 SOS 824386 HAS SOPS 813789 HAS SOUS 169633 HAS SOUPS 167739 WITH SCORE 168563.386
AT ITER 6522 NEW BEST:: SOT 1243234 SOS 823378 HAS SOPS 812781 HAS SOUS 169632 HAS SOUPS 167738 WITH SCORE 168561.378
AT ITER 6524 NEW BEST:: SOT 1243234 SOS 823378 HAS SOPS 812781 HAS SOUS 169616 HAS SOUPS 167722 WITH SCORE 168545.378
AT ITER 6535 NEW BEST:: SOT 1243182 SOS 823349 HAS SOPS 812752 HAS SOUS 169581 HAS SOUPS 167687 WITH SCORE 168510.349
AT ITER 6539 NEW BEST:: SOT 1243155 SOS 823322 HAS SOPS 812725 HAS SOUS 169575 HAS SOUPS 167681 WITH SCORE 168504.322
AT ITER 6541 NEW BEST:: SOT 1242964 SOS 823138 HAS SOPS 812541 HAS SOUS 169417 HAS SOUPS 167523 WITH SCORE 168346.138
AT ITER 6547 NEW BEST:: SOT 1242976 SOS 823166 HAS SOPS 812569 HAS SOUS 169415 HAS SOUPS 167521 WITH SCORE 168344.166
AT ITER 6566 NEW BEST:: SOT 1242823 SOS 822858 HAS SOPS 812261 HAS SOUS 169253 HAS SOUPS 167359 WITH SCORE 168181.858
AT ITER 6572 NEW BEST:: SOT 1242786 SOS 822784 HAS SOPS 812187 HAS SOUS 169253 HAS SOUPS 167359 WITH SCORE 168181.784
AT ITER 6588 NEW BEST:: SOT 1242711 SOS 822683 HAS SOPS 812086 HAS SOUS 169220 HAS SOUPS 167326 WITH SCORE 168148.683
AT ITER 6595 NEW BEST:: SOT 1242652 SOS 822624 HAS SOPS 812027 HAS SOUS 169087 HAS SOUPS 167193 WITH SCORE 168015.624
AT ITER 6600 NEW BEST:: SOT 1242635 SOS 822721 HAS SOPS 812099 HAS SOUS 169083 HAS SOUPS 167189 WITH SCORE 168011.721
AT ITER 6634 NEW BEST:: SOT 1242640 SOS 822736 HAS SOPS 812114 HAS SOUS 169080 HAS SOUPS 167186 WITH SCORE 168008.736
AT ITER 6638 NEW BEST:: SOT 1242636 SOS 822732 HAS SOPS 812110 HAS SOUS 169076 HAS SOUPS 167182 WITH SCORE 168004.732
AT ITER 6652 NEW BEST:: SOT 1242603 SOS 822699 HAS SOPS 812066 HAS SOUS 169054 HAS SOUPS 167160 WITH SCORE 167982.699
AT ITER 6683 NEW BEST:: SOT 1298080 SOS 878601 HAS SOPS 867968 HAS SOUS 168808 HAS SOUPS 166914 WITH SCORE 167792.601
AT ITER 6687 NEW BEST:: SOT 1298080 SOS 878580 HAS SOPS 867947 HAS SOUS 168603 HAS SOUPS 166709 WITH SCORE 167587.58
AT ITER 6699 NEW BEST:: SOT 1298080 SOS 890077 HAS SOPS 879444 HAS SOUS 168354 HAS SOUPS 166460 WITH SCORE 167350.077
AT ITER 6781 NEW BEST:: SOT 1298045 SOS 890042 HAS SOPS 879409 HAS SOUS 168319 HAS SOUPS 166425 WITH SCORE 167315.042
AT ITER 6783 NEW BEST:: SOT 1298022 SOS 890019 HAS SOPS 879386 HAS SOUS 168297 HAS SOUPS 166403 WITH SCORE 167293.019
AT ITER 6797 NEW BEST:: SOT 1298010 SOS 890007 HAS SOPS 879374 HAS SOUS 168285 HAS SOUPS 166391 WITH SCORE 167281.007
AT ITER 6799 NEW BEST:: SOT 1297994 SOS 890651 HAS SOPS 880018 HAS SOUS 168228 HAS SOUPS 166334 WITH SCORE 167224.651
AT ITER 6812 NEW BEST:: SOT 1297966 SOS 890588 HAS SOPS 879955 HAS SOUS 168193 HAS SOUPS 166299 WITH SCORE 167189.588
AT ITER 6813 NEW BEST:: SOT 1298025 SOS 890607 HAS SOPS 879974 HAS SOUS 168152 HAS SOUPS 166258 WITH SCORE 167148.607
AT ITER 6814 NEW BEST:: SOT 1298064 SOS 890761 HAS SOPS 879997 HAS SOUS 167968 HAS SOUPS 166074 WITH SCORE 166964.761
AT ITER 6822 NEW BEST:: SOT 1298020 SOS 890717 HAS SOPS 879953 HAS SOUS 167924 HAS SOUPS 166030 WITH SCORE 166920.717
AT ITER 6827 NEW BEST:: SOT 1298008 SOS 890705 HAS SOPS 879941 HAS SOUS 167912 HAS SOUPS 166018 WITH SCORE 166908.705
AT ITER 6833 NEW BEST:: SOT 1297849 SOS 890546 HAS SOPS 879782 HAS SOUS 167690 HAS SOUPS 165796 WITH SCORE 166686.546
AT ITER 6859 NEW BEST:: SOT 1296715 SOS 889407 HAS SOPS 878643 HAS SOUS 167426 HAS SOUPS 165532 WITH SCORE 166421.407
AT ITER 6863 NEW BEST:: SOT 1296679 SOS 889365 HAS SOPS 878601 HAS SOUS 167377 HAS SOUPS 165483 WITH SCORE 166372.365
AT ITER 6866 NEW BEST:: SOT 1296593 SOS 889246 HAS SOPS 878482 HAS SOUS 167234 HAS SOUPS 165340 WITH SCORE 166229.246
AT ITER 6940 NEW BEST:: SOT 1296578 SOS 889231 HAS SOPS 878467 HAS SOUS 167190 HAS SOUPS 165296 WITH SCORE 166185.231
AT ITER 6946 NEW BEST:: SOT 1296500 SOS 889153 HAS SOPS 878437 HAS SOUS 167130 HAS SOUPS 165236 WITH SCORE 166125.153
AT ITER 6956 NEW BEST:: SOT 1296492 SOS 889145 HAS SOPS 878429 HAS SOUS 167122 HAS SOUPS 165228 WITH SCORE 166117.145
AT ITER 6976 NEW BEST:: SOT 1296492 SOS 889145 HAS SOPS 878399 HAS SOUS 167108 HAS SOUPS 165214 WITH SCORE 166103.145
AT ITER 6987 NEW BEST:: SOT 1296492 SOS 882323 HAS SOPS 871709 HAS SOUS 166805 HAS SOUPS 164933 WITH SCORE 165815.323
AT ITER 7042 NEW BEST:: SOT 1296492 SOS 882404 HAS SOPS 871790 HAS SOUS 166754 HAS SOUPS 164882 WITH SCORE 165764.404
AT ITER 7048 NEW BEST:: SOT 1296485 SOS 882397 HAS SOPS 871783 HAS SOUS 166754 HAS SOUPS 164882 WITH SCORE 165764.397
AT ITER 7067 NEW BEST:: SOT 1280424 SOS 866414 HAS SOPS 855800 HAS SOUS 164900 HAS SOUPS 163028 WITH SCORE 163894.414
AT ITER 7072 NEW BEST:: SOT 1280511 SOS 866854 HAS SOPS 856240 HAS SOUS 164751 HAS SOUPS 162879 WITH SCORE 163745.854
AT ITER 7075 NEW BEST:: SOT 1280532 SOS 866875 HAS SOPS 856225 HAS SOUS 164771 HAS SOUPS 162873 WITH SCORE 163739.875
AT ITER 7077 NEW BEST:: SOT 1280460 SOS 866803 HAS SOPS 856196 HAS SOUS 164705 HAS SOUPS 162833 WITH SCORE 163699.803
AT ITER 7096 NEW BEST:: SOT 1198452 SOS 792683 HAS SOPS 782076 HAS SOUS 154079 HAS SOUPS 152207 WITH SCORE 152999.683
AT ITER 7114 NEW BEST:: SOT 1198468 SOS 792715 HAS SOPS 782108 HAS SOUS 154063 HAS SOUPS 152191 WITH SCORE 152983.715
AT ITER 7137 NEW BEST:: SOT 1198351 SOS 791761 HAS SOPS 781154 HAS SOUS 153829 HAS SOUPS 151957 WITH SCORE 152748.761
AT ITER 7143 NEW BEST:: SOT 1198228 SOS 791638 HAS SOPS 781031 HAS SOUS 153735 HAS SOUPS 151863 WITH SCORE 152654.638
AT ITER 7156 NEW BEST:: SOT 1198225 SOS 791938 HAS SOPS 781025 HAS SOUS 153780 HAS SOUPS 151857 WITH SCORE 152648.938
AT ITER 7230 NEW BEST:: SOT 1198210 SOS 791908 HAS SOPS 780995 HAS SOUS 153780 HAS SOUPS 151857 WITH SCORE 152648.908
AT ITER 7267 NEW BEST:: SOT 1198192 SOS 791890 HAS SOPS 780977 HAS SOUS 153762 HAS SOUPS 151839 WITH SCORE 152630.89
AT ITER 7272 NEW BEST:: SOT 1198079 SOS 791720 HAS SOPS 780807 HAS SOUS 153593 HAS SOUPS 151670 WITH SCORE 152461.72
AT ITER 7284 NEW BEST:: SOT 1198085 SOS 791787 HAS SOPS 780874 HAS SOUS 153552 HAS SOUPS 151629 WITH SCORE 152420.787
AT ITER 7288 NEW BEST:: SOT 1198100 SOS 791802 HAS SOPS 780885 HAS SOUS 153384 HAS SOUPS 151461 WITH SCORE 152252.802
AT ITER 7326 NEW BEST:: SOT 1198080 SOS 791722 HAS SOPS 780805 HAS SOUS 153364 HAS SOUPS 151441 WITH SCORE 152232.722
AT ITER 7339 NEW BEST:: SOT 1198080 SOS 791722 HAS SOPS 780805 HAS SOUS 153340 HAS SOUPS 151417 WITH SCORE 152208.722
AT ITER 7347 NEW BEST:: SOT 1198095 SOS 791671 HAS SOPS 780754 HAS SOUS 153217 HAS SOUPS 151294 WITH SCORE 152085.671
AT ITER 7363 NEW BEST:: SOT 1198151 SOS 791880 HAS SOPS 780963 HAS SOUS 153151 HAS SOUPS 151228 WITH SCORE 152019.88
AT ITER 7400 NEW BEST:: SOT 1197271 SOS 790998 HAS SOPS 780081 HAS SOUS 153037 HAS SOUPS 151114 WITH SCORE 151904.998
AT ITER 7412 NEW BEST:: SOT 1197448 SOS 791039 HAS SOPS 780122 HAS SOUS 153022 HAS SOUPS 151099 WITH SCORE 151890.039
AT ITER 7419 NEW BEST:: SOT 1197366 SOS 790957 HAS SOPS 780040 HAS SOUS 153000 HAS SOUPS 151077 WITH SCORE 151867.957
AT ITER 7425 NEW BEST:: SOT 1197339 SOS 790849 HAS SOPS 779959 HAS SOUS 153000 HAS SOUPS 151077 WITH SCORE 151867.849
AT ITER 7430 NEW BEST:: SOT 1197617 SOS 791045 HAS SOPS 780155 HAS SOUS 152941 HAS SOUPS 151018 WITH SCORE 151809.045
AT ITER 7435 NEW BEST:: SOT 1202780 SOS 796167 HAS SOPS 785277 HAS SOUS 152553 HAS SOUPS 150630 WITH SCORE 151426.167
AT ITER 7448 NEW BEST:: SOT 1202780 SOS 796433 HAS SOPS 785387 HAS SOUS 152549 HAS SOUPS 150600 WITH SCORE 151396.433
AT ITER 7450 NEW BEST:: SOT 1202741 SOS 796316 HAS SOPS 785270 HAS SOUS 152447 HAS SOUPS 150498 WITH SCORE 151294.316
AT ITER 7458 NEW BEST:: SOT 1202759 SOS 796334 HAS SOPS 785288 HAS SOUS 152432 HAS SOUPS 150483 WITH SCORE 151279.334
AT ITER 7480 NEW BEST:: SOT 1202759 SOS 796334 HAS SOPS 785288 HAS SOUS 152426 HAS SOUPS 150477 WITH SCORE 151273.334
AT ITER 7487 NEW BEST:: SOT 1202660 SOS 796235 HAS SOPS 785171 HAS SOUS 152346 HAS SOUPS 150397 WITH SCORE 151193.235
AT ITER 7516 NEW BEST:: SOT 1202611 SOS 796162 HAS SOPS 785098 HAS SOUS 152282 HAS SOUPS 150333 WITH SCORE 151129.162
AT ITER 7529 NEW BEST:: SOT 1202591 SOS 796147 HAS SOPS 785083 HAS SOUS 152262 HAS SOUPS 150313 WITH SCORE 151109.147
AT ITER 7553 NEW BEST:: SOT 1202729 SOS 796714 HAS SOPS 785548 HAS SOUS 152234 HAS SOUPS 150285 WITH SCORE 151081.714
AT ITER 7555 NEW BEST:: SOT 1201382 SOS 803265 HAS SOPS 792099 HAS SOUS 152215 HAS SOUPS 150266 WITH SCORE 151069.265
AT ITER 7614 NEW BEST:: SOT 1201345 SOS 802985 HAS SOPS 792064 HAS SOUS 152158 HAS SOUPS 150216 WITH SCORE 151018.985
AT ITER 7623 NEW BEST:: SOT 1201270 SOS 802910 HAS SOPS 791989 HAS SOUS 152092 HAS SOUPS 150150 WITH SCORE 150952.91
AT ITER 7624 NEW BEST:: SOT 1201270 SOS 802880 HAS SOPS 791959 HAS SOUS 152082 HAS SOUPS 150140 WITH SCORE 150942.88
AT ITER 7660 NEW BEST:: SOT 1201256 SOS 802866 HAS SOPS 791938 HAS SOUS 152054 HAS SOUPS 150112 WITH SCORE 150914.866
AT ITER 7694 NEW BEST:: SOT 1201283 SOS 802893 HAS SOPS 791965 HAS SOUS 152027 HAS SOUPS 150085 WITH SCORE 150887.893
AT ITER 7706 NEW BEST:: SOT 1201353 SOS 802963 HAS SOPS 792035 HAS SOUS 152013 HAS SOUPS 150071 WITH SCORE 150873.963
AT ITER 7740 NEW BEST:: SOT 1201340 SOS 802959 HAS SOPS 792031 HAS SOUS 151995 HAS SOUPS 150053 WITH SCORE 150855.959
AT ITER 7765 NEW BEST:: SOT 1201296 SOS 802915 HAS SOPS 791987 HAS SOUS 151952 HAS SOUPS 150010 WITH SCORE 150812.915
AT ITER 7791 NEW BEST:: SOT 1201286 SOS 802733 HAS SOPS 791805 HAS SOUS 151942 HAS SOUPS 150000 WITH SCORE 150802.733
AT ITER 7794 NEW BEST:: SOT 1201286 SOS 802750 HAS SOPS 791805 HAS SOUS 151908 HAS SOUPS 149966 WITH SCORE 150768.75
AT ITER 7802 NEW BEST:: SOT 1201174 SOS 802599 HAS SOPS 791654 HAS SOUS 151720 HAS SOUPS 149778 WITH SCORE 150580.599
AT ITER 7843 NEW BEST:: SOT 1201116 SOS 802535 HAS SOPS 791590 HAS SOUS 151692 HAS SOUPS 149750 WITH SCORE 150552.535
AT ITER 7852 NEW BEST:: SOT 1201116 SOS 802534 HAS SOPS 791595 HAS SOUS 151579 HAS SOUPS 149638 WITH SCORE 150440.534
AT ITER 7860 NEW BEST:: SOT 1201116 SOS 802503 HAS SOPS 791564 HAS SOUS 151579 HAS SOUPS 149638 WITH SCORE 150440.503
AT ITER 7864 NEW BEST:: SOT 1201116 SOS 802501 HAS SOPS 791562 HAS SOUS 151579 HAS SOUPS 149638 WITH SCORE 150440.501
AT ITER 7896 NEW BEST:: SOT 1201145 SOS 802707 HAS SOPS 791768 HAS SOUS 151470 HAS SOUPS 149529 WITH SCORE 150331.707
AT ITER 7904 NEW BEST:: SOT 1201150 SOS 802675 HAS SOPS 791736 HAS SOUS 151367 HAS SOUPS 149426 WITH SCORE 150228.675
AT ITER 7908 NEW BEST:: SOT 1201088 SOS 802615 HAS SOPS 791676 HAS SOUS 151233 HAS SOUPS 149292 WITH SCORE 150094.615
AT ITER 7934 NEW BEST:: SOT 1201080 SOS 802574 HAS SOPS 791635 HAS SOUS 151217 HAS SOUPS 149276 WITH SCORE 150078.574
AT ITER 7935 NEW BEST:: SOT 1194835 SOS 796260 HAS SOPS 785321 HAS SOUS 151013 HAS SOUPS 149072 WITH SCORE 149868.26
AT ITER 7970 NEW BEST:: SOT 1194835 SOS 796312 HAS SOPS 785373 HAS SOUS 151008 HAS SOUPS 149067 WITH SCORE 149863.312
AT ITER 7979 NEW BEST:: SOT 1194878 SOS 796500 HAS SOPS 785561 HAS SOUS 150949 HAS SOUPS 149008 WITH SCORE 149804.5
AT ITER 8041 NEW BEST:: SOT 1194874 SOS 796500 HAS SOPS 785561 HAS SOUS 150941 HAS SOUPS 149000 WITH SCORE 149796.5
AT ITER 8044 NEW BEST:: SOT 1194810 SOS 796436 HAS SOPS 785561 HAS SOUS 150877 HAS SOUPS 149000 WITH SCORE 149796.436
AT ITER 8051 NEW BEST:: SOT 1194804 SOS 796374 HAS SOPS 785499 HAS SOUS 150798 HAS SOUPS 148921 WITH SCORE 149717.374
AT ITER 8066 NEW BEST:: SOT 1194818 SOS 796700 HAS SOPS 785813 HAS SOUS 150790 HAS SOUPS 148913 WITH SCORE 149709.7
AT ITER 8100 NEW BEST:: SOT 1194818 SOS 796700 HAS SOPS 785813 HAS SOUS 150786 HAS SOUPS 148909 WITH SCORE 149705.7
AT ITER 8106 NEW BEST:: SOT 1194768 SOS 796500 HAS SOPS 785663 HAS SOUS 150780 HAS SOUPS 148909 WITH SCORE 149705.5
AT ITER 8134 NEW BEST:: SOT 1171857 SOS 773529 HAS SOPS 762692 HAS SOUS 147777 HAS SOUPS 145906 WITH SCORE 146679.529
AT ITER 8173 NEW BEST:: SOT 1171852 SOS 773509 HAS SOPS 762672 HAS SOUS 147767 HAS SOUPS 145896 WITH SCORE 146669.509
AT ITER 8178 NEW BEST:: SOT 1171832 SOS 773489 HAS SOPS 762652 HAS SOUS 147757 HAS SOUPS 145886 WITH SCORE 146659.489
AT ITER 8191 NEW BEST:: SOT 1171761 SOS 773428 HAS SOPS 762591 HAS SOUS 147703 HAS SOUPS 145832 WITH SCORE 146605.428
AT ITER 8197 NEW BEST:: SOT 1171733 SOS 773400 HAS SOPS 762563 HAS SOUS 147697 HAS SOUPS 145826 WITH SCORE 146599.4
AT ITER 8239 NEW BEST:: SOT 1171687 SOS 773354 HAS SOPS 762517 HAS SOUS 147661 HAS SOUPS 145790 WITH SCORE 146563.354
AT ITER 8244 NEW BEST:: SOT 1171686 SOS 773233 HAS SOPS 762312 HAS SOUS 147575 HAS SOUPS 145704 WITH SCORE 146477.233
AT ITER 8267 NEW BEST:: SOT 1171652 SOS 773209 HAS SOPS 762271 HAS SOUS 147551 HAS SOUPS 145680 WITH SCORE 146453.209
AT ITER 8315 NEW BEST:: SOT 1171624 SOS 773092 HAS SOPS 762154 HAS SOUS 147538 HAS SOUPS 145667 WITH SCORE 146440.092
AT ITER 8326 NEW BEST:: SOT 1171590 SOS 773064 HAS SOPS 762126 HAS SOUS 147412 HAS SOUPS 145541 WITH SCORE 146314.064
AT ITER 8374 NEW BEST:: SOT 1171589 SOS 773063 HAS SOPS 762125 HAS SOUS 147397 HAS SOUPS 145526 WITH SCORE 146299.063
AT ITER 8378 NEW BEST:: SOT 1171551 SOS 773025 HAS SOPS 762087 HAS SOUS 147359 HAS SOUPS 145488 WITH SCORE 146261.025
AT ITER 8383 NEW BEST:: SOT 1171540 SOS 773014 HAS SOPS 762087 HAS SOUS 147359 HAS SOUPS 145488 WITH SCORE 146261.014
AT ITER 8399 NEW BEST:: SOT 1171525 SOS 772994 HAS SOPS 762067 HAS SOUS 147342 HAS SOUPS 145471 WITH SCORE 146243.994
AT ITER 8413 NEW BEST:: SOT 1171478 SOS 772958 HAS SOPS 762031 HAS SOUS 147212 HAS SOUPS 145341 WITH SCORE 146113.958
AT ITER 8427 NEW BEST:: SOT 1171404 SOS 772852 HAS SOPS 761925 HAS SOUS 147163 HAS SOUPS 145292 WITH SCORE 146064.852
AT ITER 8436 NEW BEST:: SOT 1171347 SOS 772795 HAS SOPS 761868 HAS SOUS 147123 HAS SOUPS 145252 WITH SCORE 146024.795
AT ITER 8460 NEW BEST:: SOT 1171334 SOS 772782 HAS SOPS 761863 HAS SOUS 147113 HAS SOUPS 145242 WITH SCORE 146014.782
AT ITER 8468 NEW BEST:: SOT 1171329 SOS 772777 HAS SOPS 761858 HAS SOUS 147103 HAS SOUPS 145232 WITH SCORE 146004.777
AT ITER 8495 NEW BEST:: SOT 1171193 SOS 772534 HAS SOPS 761615 HAS SOUS 147040 HAS SOUPS 145169 WITH SCORE 145941.534
AT ITER 8519 NEW BEST:: SOT 1171190 SOS 772531 HAS SOPS 761612 HAS SOUS 147037 HAS SOUPS 145166 WITH SCORE 145938.531
AT ITER 8535 NEW BEST:: SOT 1171190 SOS 772612 HAS SOPS 761693 HAS SOUS 146956 HAS SOUPS 145085 WITH SCORE 145857.612
AT ITER 8537 NEW BEST:: SOT 1171190 SOS 772603 HAS SOPS 761684 HAS SOUS 146952 HAS SOUPS 145081 WITH SCORE 145853.603
AT ITER 8556 NEW BEST:: SOT 1171167 SOS 772580 HAS SOPS 761676 HAS SOUS 146944 HAS SOUPS 145073 WITH SCORE 145845.58
AT ITER 8574 NEW BEST:: SOT 1171121 SOS 772465 HAS SOPS 761561 HAS SOUS 146898 HAS SOUPS 145027 WITH SCORE 145799.465
AT ITER 8575 NEW BEST:: SOT 1171120 SOS 772464 HAS SOPS 761560 HAS SOUS 146897 HAS SOUPS 145026 WITH SCORE 145798.464
AT ITER 8587 NEW BEST:: SOT 1171105 SOS 772449 HAS SOPS 761545 HAS SOUS 146867 HAS SOUPS 144996 WITH SCORE 145768.449
AT ITER 8601 NEW BEST:: SOT 1171057 SOS 772275 HAS SOPS 761371 HAS SOUS 146771 HAS SOUPS 144900 WITH SCORE 145672.275
AT ITER 8628 NEW BEST:: SOT 1171033 SOS 772259 HAS SOPS 761355 HAS SOUS 146739 HAS SOUPS 144868 WITH SCORE 145640.259
AT ITER 8646 NEW BEST:: SOT 1170897 SOS 772123 HAS SOPS 761164 HAS SOUS 146672 HAS SOUPS 144773 WITH SCORE 145545.123
AT ITER 8647 NEW BEST:: SOT 1170884 SOS 772055 HAS SOPS 761210 HAS SOUS 146672 HAS SOUPS 144773 WITH SCORE 145545.055
AT ITER 8671 NEW BEST:: SOT 1170983 SOS 772154 HAS SOPS 761309 HAS SOUS 146639 HAS SOUPS 144740 WITH SCORE 145512.154
AT ITER 8675 NEW BEST:: SOT 1170968 SOS 772103 HAS SOPS 761270 HAS SOUS 146636 HAS SOUPS 144737 WITH SCORE 145509.103
AT ITER 8710 NEW BEST:: SOT 1170947 SOS 772082 HAS SOPS 761249 HAS SOUS 146614 HAS SOUPS 144715 WITH SCORE 145487.082
AT ITER 8735 NEW BEST:: SOT 1170885 SOS 771745 HAS SOPS 760928 HAS SOUS 146538 HAS SOUPS 144639 WITH SCORE 145410.745
AT ITER 8836 NEW BEST:: SOT 1170895 SOS 771722 HAS SOPS 760905 HAS SOUS 146515 HAS SOUPS 144616 WITH SCORE 145387.722
AT ITER 8862 NEW BEST:: SOT 1170895 SOS 771746 HAS SOPS 760929 HAS SOUS 146507 HAS SOUPS 144608 WITH SCORE 145379.746
AT ITER 8917 NEW BEST:: SOT 1170893 SOS 771730 HAS SOPS 760913 HAS SOUS 146501 HAS SOUPS 144602 WITH SCORE 145373.73
AT ITER 8938 NEW BEST:: SOT 1170809 SOS 771263 HAS SOPS 760488 HAS SOUS 146454 HAS SOUPS 144555 WITH SCORE 145326.263
AT ITER 8976 NEW BEST:: SOT 1170794 SOS 771692 HAS SOPS 760917 HAS SOUS 146416 HAS SOUPS 144517 WITH SCORE 145288.692
AT ITER 9005 NEW BEST:: SOT 1170642 SOS 771476 HAS SOPS 760794 HAS SOUS 146398 HAS SOUPS 144499 WITH SCORE 145270.476
AT ITER 9013 NEW BEST:: SOT 1170592 SOS 771426 HAS SOPS 760754 HAS SOUS 146352 HAS SOUPS 144453 WITH SCORE 145224.426
AT ITER 9015 NEW BEST:: SOT 1170592 SOS 771368 HAS SOPS 760696 HAS SOUS 146352 HAS SOUPS 144453 WITH SCORE 145224.368
AT ITER 9052 NEW BEST:: SOT 1172707 SOS 773556 HAS SOPS 762884 HAS SOUS 145651 HAS SOUPS 143752 WITH SCORE 144525.556
AT ITER 9076 NEW BEST:: SOT 1172707 SOS 773566 HAS SOPS 762894 HAS SOUS 145623 HAS SOUPS 143724 WITH SCORE 144497.566
AT ITER 9106 NEW BEST:: SOT 1172696 SOS 773522 HAS SOPS 762850 HAS SOUS 145623 HAS SOUPS 143724 WITH SCORE 144497.522
AT ITER 9156 NEW BEST:: SOT 1172660 SOS 773486 HAS SOPS 762814 HAS SOUS 145587 HAS SOUPS 143688 WITH SCORE 144461.486
AT ITER 9186 NEW BEST:: SOT 1172654 SOS 773048 HAS SOPS 762376 HAS SOUS 145387 HAS SOUPS 143488 WITH SCORE 144261.048
AT ITER 9200 NEW BEST:: SOT 1172630 SOS 772995 HAS SOPS 762323 HAS SOUS 145344 HAS SOUPS 143445 WITH SCORE 144217.995
AT ITER 9216 NEW BEST:: SOT 1172659 SOS 773024 HAS SOPS 762352 HAS SOUS 145235 HAS SOUPS 143336 WITH SCORE 144109.024
AT ITER 9226 NEW BEST:: SOT 1172681 SOS 773046 HAS SOPS 762366 HAS SOUS 145234 HAS SOUPS 143335 WITH SCORE 144108.046
AT ITER 9229 NEW BEST:: SOT 1172657 SOS 773022 HAS SOPS 762342 HAS SOUS 145195 HAS SOUPS 143296 WITH SCORE 144069.022
AT ITER 9231 NEW BEST:: SOT 1157086 SOS 757435 HAS SOPS 746713 HAS SOUS 143873 HAS SOUPS 141932 WITH SCORE 142689.435
AT ITER 9281 NEW BEST:: SOT 1157071 SOS 757420 HAS SOPS 746713 HAS SOUS 143873 HAS SOUPS 141932 WITH SCORE 142689.42
AT ITER 9347 NEW BEST:: SOT 1157025 SOS 757374 HAS SOPS 746667 HAS SOUS 143854 HAS SOUPS 141913 WITH SCORE 142670.374
AT ITER 9356 NEW BEST:: SOT 1157013 SOS 758409 HAS SOPS 746351 HAS SOUS 143887 HAS SOUPS 141907 WITH SCORE 142665.409
AT ITER 9359 NEW BEST:: SOT 1156990 SOS 758386 HAS SOPS 746299 HAS SOUS 143783 HAS SOUPS 141803 WITH SCORE 142561.386
AT ITER 9371 NEW BEST:: SOT 1156986 SOS 758742 HAS SOPS 746469 HAS SOUS 143808 HAS SOUPS 141797 WITH SCORE 142555.742
AT ITER 9379 NEW BEST:: SOT 1156944 SOS 758700 HAS SOPS 746469 HAS SOUS 143766 HAS SOUPS 141797 WITH SCORE 142555.7
AT ITER 9387 NEW BEST:: SOT 1156892 SOS 758648 HAS SOPS 746417 HAS SOUS 143691 HAS SOUPS 141722 WITH SCORE 142480.648
AT ITER 9428 NEW BEST:: SOT 1156848 SOS 758604 HAS SOPS 746353 HAS SOUS 143651 HAS SOUPS 141682 WITH SCORE 142440.604
AT ITER 9494 NEW BEST:: SOT 1156864 SOS 758564 HAS SOPS 746313 HAS SOUS 143640 HAS SOUPS 141671 WITH SCORE 142429.564
AT ITER 9515 NEW BEST:: SOT 1163452 SOS 765084 HAS SOPS 752971 HAS SOUS 143136 HAS SOUPS 141190 WITH SCORE 141955.084
AT ITER 9552 NEW BEST:: SOT 1163452 SOS 765071 HAS SOPS 752958 HAS SOUS 143124 HAS SOUPS 141178 WITH SCORE 141943.071
AT ITER 9555 NEW BEST:: SOT 1163435 SOS 765020 HAS SOPS 752907 HAS SOUS 143090 HAS SOUPS 141144 WITH SCORE 141909.02
AT ITER 9583 NEW BEST:: SOT 1163362 SOS 764947 HAS SOPS 752868 HAS SOUS 143028 HAS SOUPS 141082 WITH SCORE 141846.947
AT ITER 9595 NEW BEST:: SOT 1163368 SOS 764953 HAS SOPS 752869 HAS SOUS 143019 HAS SOUPS 141073 WITH SCORE 141837.953
AT ITER 9616 NEW BEST:: SOT 1163312 SOS 765123 HAS SOPS 753039 HAS SOUS 142963 HAS SOUPS 141017 WITH SCORE 141782.123
AT ITER 9715 NEW BEST:: SOT 1163312 SOS 765101 HAS SOPS 753017 HAS SOUS 142963 HAS SOUPS 141017 WITH SCORE 141782.101
AT ITER 9753 NEW BEST:: SOT 1163330 SOS 765119 HAS SOPS 753035 HAS SOUS 142889 HAS SOUPS 140943 WITH SCORE 141708.119
AT ITER 9754 NEW BEST:: SOT 1163313 SOS 764958 HAS SOPS 752892 HAS SOUS 142874 HAS SOUPS 140928 WITH SCORE 141692.958
AT ITER 9761 NEW BEST:: SOT 1163358 SOS 764976 HAS SOPS 752910 HAS SOUS 142865 HAS SOUPS 140919 WITH SCORE 141683.976
AT ITER 9833 NEW BEST:: SOT 1163263 SOS 765013 HAS SOPS 752947 HAS SOUS 142847 HAS SOUPS 140901 WITH SCORE 141666.013
AT ITER 9841 NEW BEST:: SOT 1163261 SOS 765011 HAS SOPS 752947 HAS SOUS 142847 HAS SOUPS 140901 WITH SCORE 141666.011
AT ITER 9843 NEW BEST:: SOT 1163261 SOS 765001 HAS SOPS 752935 HAS SOUS 142833 HAS SOUPS 140887 WITH SCORE 141652.001
AT ITER 9849 NEW BEST:: SOT 1163260 SOS 765000 HAS SOPS 752934 HAS SOUS 142831 HAS SOUPS 140885 WITH SCORE 141650.0
AT ITER 9850 NEW BEST:: SOT 1163189 SOS 764929 HAS SOPS 752847 HAS SOUS 142792 HAS SOUPS 140846 WITH SCORE 141610.929
AT ITER 9861 NEW BEST:: SOT 1163047 SOS 764787 HAS SOPS 752705 HAS SOUS 142689 HAS SOUPS 140743 WITH SCORE 141507.787
AT ITER 9876 NEW BEST:: SOT 1162970 SOS 764710 HAS SOPS 752628 HAS SOUS 142629 HAS SOUPS 140683 WITH SCORE 141447.71
AT ITER 9906 NEW BEST:: SOT 1162952 SOS 764692 HAS SOPS 752581 HAS SOUS 142593 HAS SOUPS 140647 WITH SCORE 141411.692
AT ITER 9924 NEW BEST:: SOT 1162885 SOS 764677 HAS SOPS 752566 HAS SOUS 142569 HAS SOUPS 140623 WITH SCORE 141387.677
AT ITER 9931 NEW BEST:: SOT 1162455 SOS 764302 HAS SOPS 753655 HAS SOUS 142105 HAS SOUPS 140537 WITH SCORE 141301.302
AT ITER 9951 NEW BEST:: SOT 1155585 SOS 757306 HAS SOPS 746659 HAS SOUS 141418 HAS SOUPS 139850 WITH SCORE 140607.306
AT ITER 9953 NEW BEST:: SOT 1155580 SOS 757301 HAS SOPS 746654 HAS SOUS 141408 HAS SOUPS 139840 WITH SCORE 140597.301
AT ITER 9982 NEW BEST:: SOT 1155659 SOS 757380 HAS SOPS 746702 HAS SOUS 141399 HAS SOUPS 139831 WITH SCORE 140588.38
AT ITER 9985 NEW BEST:: SOT 1154338 SOS 756065 HAS SOPS 745387 HAS SOUS 141215 HAS SOUPS 139647 WITH SCORE 140403.065
AT ITER 9994 NEW BEST:: SOT 1154212 SOS 754264 HAS SOPS 743643 HAS SOUS 141145 HAS SOUPS 139577 WITH SCORE 140331.264
AT ITER 9998 NEW BEST:: SOT 1154206 SOS 754258 HAS SOPS 743637 HAS SOUS 141127 HAS SOUPS 139559 WITH SCORE 140313.258
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13677000 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16101116 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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="PolyORBLF-COL-S06J04T06"
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 PolyORBLF-COL-S06J04T06, 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 r299-tall-167873953000456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T06.tgz
mv PolyORBLF-COL-S06J04T06 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 ;