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.r291-tall-167873942800384.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-COL-S02J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 8.9K Feb 26 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 14:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 14:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 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 1678788789595

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J06T08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:13:12] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:13:12] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:13:12] [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-14 10:13:13] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:13:13] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 978 ms
[2023-03-14 10:13:13] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 690 PT places and 1492.0 transition bindings in 76 ms.
[2023-03-14 10:13:13] [INFO ] Unfolded HLPN to a Petri net with 690 places and 1434 transitions 6564 arcs in 93 ms.
[2023-03-14 10:13:13] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 128 transitions
Reduce isomorphic transitions removed 128 transitions.
[2023-03-14 10:13:14] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 690 places, 1306 transitions and 5668 arcs took 37 ms.
Total runtime 1518 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 690 places, 1306 transitions, 5668 arcs.
AT ITER 0 NEW BEST:: SOT 571582 SOS 331982 HAS SOPS 328302 HAS SOUS 238307 HAS SOUPS 237697 WITH SCORE 238028.982
AT ITER 9 NEW BEST:: SOT 571291 SOS 323128 HAS SOPS 319448 HAS SOUS 238034 HAS SOUPS 237424 WITH SCORE 237747.128
AT ITER 14 NEW BEST:: SOT 571204 SOS 323021 HAS SOPS 319406 HAS SOUS 237968 HAS SOUPS 237358 WITH SCORE 237681.021
AT ITER 16 NEW BEST:: SOT 571202 SOS 323617 HAS SOPS 320002 HAS SOUS 237904 HAS SOUPS 237294 WITH SCORE 237617.617
AT ITER 22 NEW BEST:: SOT 571197 SOS 323669 HAS SOPS 320054 HAS SOUS 237894 HAS SOUPS 237284 WITH SCORE 237607.669
AT ITER 26 NEW BEST:: SOT 571197 SOS 322864 HAS SOPS 319249 HAS SOUS 237894 HAS SOUPS 237284 WITH SCORE 237606.864
AT ITER 29 NEW BEST:: SOT 571197 SOS 322864 HAS SOPS 319249 HAS SOUS 237800 HAS SOUPS 237190 WITH SCORE 237512.864
AT ITER 30 NEW BEST:: SOT 571150 SOS 322629 HAS SOPS 319014 HAS SOUS 237753 HAS SOUPS 237143 WITH SCORE 237465.629
AT ITER 37 NEW BEST:: SOT 571051 SOS 322550 HAS SOPS 318935 HAS SOUS 237710 HAS SOUPS 237100 WITH SCORE 237422.55
AT ITER 38 NEW BEST:: SOT 570800 SOS 322391 HAS SOPS 318776 HAS SOUS 237325 HAS SOUPS 236715 WITH SCORE 237037.391
AT ITER 42 NEW BEST:: SOT 570381 SOS 321844 HAS SOPS 318229 HAS SOUS 235854 HAS SOUPS 235244 WITH SCORE 235565.844
AT ITER 44 NEW BEST:: SOT 570260 SOS 321661 HAS SOPS 318046 HAS SOUS 235641 HAS SOUPS 235031 WITH SCORE 235352.661
AT ITER 45 NEW BEST:: SOT 570145 SOS 321059 HAS SOPS 317444 HAS SOUS 235535 HAS SOUPS 234925 WITH SCORE 235246.059
AT ITER 49 NEW BEST:: SOT 568976 SOS 320000 HAS SOPS 316385 HAS SOUS 235264 HAS SOUPS 234654 WITH SCORE 234974.0
AT ITER 62 NEW BEST:: SOT 567947 SOS 319041 HAS SOPS 315426 HAS SOUS 234270 HAS SOUPS 233660 WITH SCORE 233979.041
AT ITER 65 NEW BEST:: SOT 567404 SOS 318604 HAS SOPS 314989 HAS SOUS 233809 HAS SOUPS 233199 WITH SCORE 233517.604
AT ITER 69 NEW BEST:: SOT 567186 SOS 318494 HAS SOPS 314879 HAS SOUS 233699 HAS SOUPS 233089 WITH SCORE 233407.494
AT ITER 70 NEW BEST:: SOT 567177 SOS 318206 HAS SOPS 314591 HAS SOUS 232845 HAS SOUPS 232235 WITH SCORE 232553.206
AT ITER 73 NEW BEST:: SOT 566182 SOS 317389 HAS SOPS 313774 HAS SOUS 232835 HAS SOUPS 232225 WITH SCORE 232542.389
AT ITER 75 NEW BEST:: SOT 565978 SOS 316879 HAS SOPS 313264 HAS SOUS 232529 HAS SOUPS 231919 WITH SCORE 232235.879
AT ITER 76 NEW BEST:: SOT 565978 SOS 316774 HAS SOPS 313159 HAS SOUS 232424 HAS SOUPS 231814 WITH SCORE 232130.774
AT ITER 80 NEW BEST:: SOT 565914 SOS 316582 HAS SOPS 312967 HAS SOUS 232296 HAS SOUPS 231686 WITH SCORE 232002.582
AT ITER 88 NEW BEST:: SOT 565552 SOS 315426 HAS SOPS 311811 HAS SOUS 231683 HAS SOUPS 231073 WITH SCORE 231388.426
AT ITER 93 NEW BEST:: SOT 565552 SOS 315723 HAS SOPS 312108 HAS SOUS 231519 HAS SOUPS 230909 WITH SCORE 231224.723
AT ITER 94 NEW BEST:: SOT 565674 SOS 316806 HAS SOPS 313191 HAS SOUS 231096 HAS SOUPS 230486 WITH SCORE 230802.806
AT ITER 95 NEW BEST:: SOT 565674 SOS 317051 HAS SOPS 313436 HAS SOUS 230266 HAS SOUPS 229656 WITH SCORE 229973.051
AT ITER 106 NEW BEST:: SOT 565472 SOS 316849 HAS SOPS 313234 HAS SOUS 228643 HAS SOUPS 228033 WITH SCORE 228349.849
AT ITER 112 NEW BEST:: SOT 565002 SOS 316379 HAS SOPS 312764 HAS SOUS 228173 HAS SOUPS 227563 WITH SCORE 227879.379
AT ITER 132 NEW BEST:: SOT 564277 SOS 315779 HAS SOPS 312164 HAS SOUS 227922 HAS SOUPS 227312 WITH SCORE 227627.779
AT ITER 135 NEW BEST:: SOT 562979 SOS 314164 HAS SOPS 310549 HAS SOUS 226758 HAS SOUPS 226148 WITH SCORE 226462.164
AT ITER 143 NEW BEST:: SOT 562227 SOS 313488 HAS SOPS 309873 HAS SOUS 226644 HAS SOUPS 226034 WITH SCORE 226347.488
AT ITER 144 NEW BEST:: SOT 562170 SOS 313431 HAS SOPS 309816 HAS SOUS 226479 HAS SOUPS 225869 WITH SCORE 226182.431
AT ITER 147 NEW BEST:: SOT 562326 SOS 313561 HAS SOPS 309946 HAS SOUS 226427 HAS SOUPS 225817 WITH SCORE 226130.561
AT ITER 152 NEW BEST:: SOT 562045 SOS 313227 HAS SOPS 309612 HAS SOUS 226093 HAS SOUPS 225483 WITH SCORE 225796.227
AT ITER 165 NEW BEST:: SOT 562045 SOS 313219 HAS SOPS 309604 HAS SOUS 226085 HAS SOUPS 225475 WITH SCORE 225788.219
AT ITER 172 NEW BEST:: SOT 562045 SOS 313300 HAS SOPS 309685 HAS SOUS 226031 HAS SOUPS 225421 WITH SCORE 225734.3
AT ITER 186 NEW BEST:: SOT 562045 SOS 312997 HAS SOPS 309382 HAS SOUS 225979 HAS SOUPS 225369 WITH SCORE 225681.997
AT ITER 189 NEW BEST:: SOT 559689 SOS 314293 HAS SOPS 310678 HAS SOUS 224048 HAS SOUPS 223438 WITH SCORE 223752.293
AT ITER 191 NEW BEST:: SOT 559689 SOS 313618 HAS SOPS 310003 HAS SOUS 224048 HAS SOUPS 223438 WITH SCORE 223751.618
AT ITER 194 NEW BEST:: SOT 559601 SOS 313379 HAS SOPS 309764 HAS SOUS 223872 HAS SOUPS 223262 WITH SCORE 223575.379
AT ITER 196 NEW BEST:: SOT 560522 SOS 314810 HAS SOPS 311195 HAS SOUS 223489 HAS SOUPS 222879 WITH SCORE 223193.81
AT ITER 197 NEW BEST:: SOT 558822 SOS 347280 HAS SOPS 345369 HAS SOUS 222561 HAS SOUPS 222164 WITH SCORE 222511.28
AT ITER 198 NEW BEST:: SOT 558757 SOS 346999 HAS SOPS 345088 HAS SOUS 222496 HAS SOUPS 222099 WITH SCORE 222445.999
AT ITER 202 NEW BEST:: SOT 558053 SOS 345955 HAS SOPS 344044 HAS SOUS 222278 HAS SOUPS 221881 WITH SCORE 222226.955
AT ITER 204 NEW BEST:: SOT 557566 SOS 345461 HAS SOPS 343550 HAS SOUS 221784 HAS SOUPS 221387 WITH SCORE 221732.461
AT ITER 213 NEW BEST:: SOT 557863 SOS 345574 HAS SOPS 343663 HAS SOUS 221274 HAS SOUPS 220877 WITH SCORE 221222.574
AT ITER 219 NEW BEST:: SOT 557855 SOS 345692 HAS SOPS 343781 HAS SOUS 221258 HAS SOUPS 220861 WITH SCORE 221206.692
AT ITER 226 NEW BEST:: SOT 557709 SOS 345285 HAS SOPS 343374 HAS SOUS 221066 HAS SOUPS 220669 WITH SCORE 221014.285
AT ITER 229 NEW BEST:: SOT 555716 SOS 343813 HAS SOPS 341902 HAS SOUS 220612 HAS SOUPS 220215 WITH SCORE 220558.813
AT ITER 230 NEW BEST:: SOT 555650 SOS 343747 HAS SOPS 341836 HAS SOUS 220571 HAS SOUPS 220174 WITH SCORE 220517.747
AT ITER 232 NEW BEST:: SOT 555542 SOS 344002 HAS SOPS 342091 HAS SOUS 219593 HAS SOUPS 219196 WITH SCORE 219540.002
AT ITER 242 NEW BEST:: SOT 555526 SOS 343986 HAS SOPS 342090 HAS SOUS 219584 HAS SOUPS 219187 WITH SCORE 219530.986
AT ITER 244 NEW BEST:: SOT 555526 SOS 342930 HAS SOPS 341034 HAS SOUS 219548 HAS SOUPS 219151 WITH SCORE 219493.93
AT ITER 246 NEW BEST:: SOT 555326 SOS 342355 HAS SOPS 340459 HAS SOUS 219238 HAS SOUPS 218841 WITH SCORE 219183.355
AT ITER 249 NEW BEST:: SOT 553906 SOS 343856 HAS SOPS 340409 HAS SOUS 217957 HAS SOUPS 217354 WITH SCORE 217697.856
AT ITER 252 NEW BEST:: SOT 553664 SOS 343588 HAS SOPS 340141 HAS SOUS 217756 HAS SOUPS 217153 WITH SCORE 217496.588
AT ITER 253 NEW BEST:: SOT 553848 SOS 345344 HAS SOPS 341897 HAS SOUS 217734 HAS SOUPS 217131 WITH SCORE 217476.344
AT ITER 256 NEW BEST:: SOT 553767 SOS 345234 HAS SOPS 341787 HAS SOUS 217703 HAS SOUPS 217100 WITH SCORE 217445.234
AT ITER 257 NEW BEST:: SOT 548481 SOS 345042 HAS SOPS 339515 HAS SOUS 212621 HAS SOUPS 211758 WITH SCORE 212103.042
AT ITER 268 NEW BEST:: SOT 547961 SOS 344453 HAS SOPS 338926 HAS SOUS 211780 HAS SOUPS 210917 WITH SCORE 211261.453
AT ITER 269 NEW BEST:: SOT 547781 SOS 340872 HAS SOPS 335345 HAS SOUS 211291 HAS SOUPS 210428 WITH SCORE 210768.872
AT ITER 270 NEW BEST:: SOT 547774 SOS 340824 HAS SOPS 335297 HAS SOUS 211035 HAS SOUPS 210172 WITH SCORE 210512.824
AT ITER 287 NEW BEST:: SOT 547657 SOS 340736 HAS SOPS 335209 HAS SOUS 210587 HAS SOUPS 209724 WITH SCORE 210064.736
AT ITER 290 NEW BEST:: SOT 547657 SOS 340740 HAS SOPS 335213 HAS SOUS 210308 HAS SOUPS 209445 WITH SCORE 209785.74
AT ITER 291 NEW BEST:: SOT 545988 SOS 338626 HAS SOPS 333099 HAS SOUS 210074 HAS SOUPS 209211 WITH SCORE 209549.626
AT ITER 300 NEW BEST:: SOT 545954 SOS 338640 HAS SOPS 333113 HAS SOUS 210071 HAS SOUPS 209208 WITH SCORE 209546.64
AT ITER 303 NEW BEST:: SOT 545492 SOS 338194 HAS SOPS 332667 HAS SOUS 209836 HAS SOUPS 208973 WITH SCORE 209311.194
AT ITER 305 NEW BEST:: SOT 545472 SOS 338213 HAS SOPS 332686 HAS SOUS 209750 HAS SOUPS 208887 WITH SCORE 209225.213
AT ITER 306 NEW BEST:: SOT 545468 SOS 338060 HAS SOPS 332589 HAS SOUS 209653 HAS SOUPS 208790 WITH SCORE 209128.06
AT ITER 307 NEW BEST:: SOT 544490 SOS 337245 HAS SOPS 331774 HAS SOUS 208838 HAS SOUPS 207975 WITH SCORE 208312.245
AT ITER 310 NEW BEST:: SOT 544146 SOS 336809 HAS SOPS 331338 HAS SOUS 208402 HAS SOUPS 207539 WITH SCORE 207875.809
AT ITER 316 NEW BEST:: SOT 544315 SOS 337242 HAS SOPS 331771 HAS SOUS 207832 HAS SOUPS 206969 WITH SCORE 207306.242
AT ITER 330 NEW BEST:: SOT 544314 SOS 337241 HAS SOPS 331770 HAS SOUS 207830 HAS SOUPS 206967 WITH SCORE 207304.241
AT ITER 333 NEW BEST:: SOT 544322 SOS 337233 HAS SOPS 331762 HAS SOUS 207823 HAS SOUPS 206960 WITH SCORE 207297.233
AT ITER 340 NEW BEST:: SOT 544286 SOS 337197 HAS SOPS 331726 HAS SOUS 207771 HAS SOUPS 206908 WITH SCORE 207245.197
AT ITER 341 NEW BEST:: SOT 544527 SOS 337556 HAS SOPS 332085 HAS SOUS 205690 HAS SOUPS 204827 WITH SCORE 205164.556
AT ITER 342 NEW BEST:: SOT 544441 SOS 337470 HAS SOPS 331999 HAS SOUS 205588 HAS SOUPS 204725 WITH SCORE 205062.47
AT ITER 343 NEW BEST:: SOT 544481 SOS 337461 HAS SOPS 331990 HAS SOUS 205579 HAS SOUPS 204716 WITH SCORE 205053.461
AT ITER 345 NEW BEST:: SOT 544481 SOS 337461 HAS SOPS 331990 HAS SOUS 205576 HAS SOUPS 204713 WITH SCORE 205050.461
AT ITER 349 NEW BEST:: SOT 544444 SOS 337424 HAS SOPS 331953 HAS SOUS 205502 HAS SOUPS 204639 WITH SCORE 204976.424
AT ITER 352 NEW BEST:: SOT 544410 SOS 337390 HAS SOPS 331857 HAS SOUS 205434 HAS SOUPS 204571 WITH SCORE 204908.39
AT ITER 356 NEW BEST:: SOT 544361 SOS 337100 HAS SOPS 331567 HAS SOUS 205336 HAS SOUPS 204473 WITH SCORE 204810.1
AT ITER 359 NEW BEST:: SOT 544361 SOS 337100 HAS SOPS 331567 HAS SOUS 205323 HAS SOUPS 204460 WITH SCORE 204797.1
AT ITER 373 NEW BEST:: SOT 544217 SOS 336924 HAS SOPS 331391 HAS SOUS 202901 HAS SOUPS 202038 WITH SCORE 202374.924
AT ITER 380 NEW BEST:: SOT 544217 SOS 336911 HAS SOPS 331378 HAS SOUS 201262 HAS SOUPS 200399 WITH SCORE 200735.911
AT ITER 385 NEW BEST:: SOT 542669 SOS 335822 HAS SOPS 330289 HAS SOUS 201064 HAS SOUPS 200201 WITH SCORE 200536.822
AT ITER 387 NEW BEST:: SOT 542559 SOS 335611 HAS SOPS 330078 HAS SOUS 200900 HAS SOUPS 200037 WITH SCORE 200372.611
AT ITER 388 NEW BEST:: SOT 543048 SOS 335721 HAS SOPS 330188 HAS SOUS 200752 HAS SOUPS 199889 WITH SCORE 200224.721
AT ITER 391 NEW BEST:: SOT 542121 SOS 335681 HAS SOPS 330148 HAS SOUS 200570 HAS SOUPS 199707 WITH SCORE 200042.681
AT ITER 393 NEW BEST:: SOT 542131 SOS 335532 HAS SOPS 330085 HAS SOUS 200507 HAS SOUPS 199644 WITH SCORE 199979.532
AT ITER 408 NEW BEST:: SOT 541902 SOS 334939 HAS SOPS 329492 HAS SOUS 200233 HAS SOUPS 199370 WITH SCORE 199704.939
AT ITER 417 NEW BEST:: SOT 541902 SOS 334571 HAS SOPS 329263 HAS SOUS 200187 HAS SOUPS 199325 WITH SCORE 199659.571
AT ITER 418 NEW BEST:: SOT 541831 SOS 334429 HAS SOPS 329121 HAS SOUS 200187 HAS SOUPS 199325 WITH SCORE 199659.429
AT ITER 421 NEW BEST:: SOT 541735 SOS 334236 HAS SOPS 328928 HAS SOUS 199868 HAS SOUPS 199006 WITH SCORE 199340.236
AT ITER 427 NEW BEST:: SOT 542455 SOS 334427 HAS SOPS 329119 HAS SOUS 199584 HAS SOUPS 198722 WITH SCORE 199056.427
AT ITER 455 NEW BEST:: SOT 542111 SOS 333967 HAS SOPS 328659 HAS SOUS 198886 HAS SOUPS 198024 WITH SCORE 198357.967
AT ITER 457 NEW BEST:: SOT 542042 SOS 331377 HAS SOPS 326069 HAS SOUS 198575 HAS SOUPS 197713 WITH SCORE 198044.377
AT ITER 459 NEW BEST:: SOT 541928 SOS 331149 HAS SOPS 325841 HAS SOUS 198385 HAS SOUPS 197523 WITH SCORE 197854.149
AT ITER 466 NEW BEST:: SOT 541928 SOS 331094 HAS SOPS 325786 HAS SOUS 198385 HAS SOUPS 197523 WITH SCORE 197854.094
AT ITER 468 NEW BEST:: SOT 541363 SOS 330472 HAS SOPS 325164 HAS SOUS 198199 HAS SOUPS 197337 WITH SCORE 197667.472
AT ITER 470 NEW BEST:: SOT 541348 SOS 329768 HAS SOPS 324460 HAS SOUS 197801 HAS SOUPS 196939 WITH SCORE 197268.768
AT ITER 478 NEW BEST:: SOT 541041 SOS 329349 HAS SOPS 324041 HAS SOUS 197067 HAS SOUPS 196205 WITH SCORE 196534.349
AT ITER 481 NEW BEST:: SOT 540620 SOS 328957 HAS SOPS 323649 HAS SOUS 196698 HAS SOUPS 195836 WITH SCORE 196164.957
AT ITER 483 NEW BEST:: SOT 540994 SOS 329111 HAS SOPS 323803 HAS SOUS 195227 HAS SOUPS 194365 WITH SCORE 194694.111
AT ITER 484 NEW BEST:: SOT 541048 SOS 329073 HAS SOPS 323765 HAS SOUS 195173 HAS SOUPS 194311 WITH SCORE 194640.073
AT ITER 496 NEW BEST:: SOT 540979 SOS 328876 HAS SOPS 323568 HAS SOUS 195099 HAS SOUPS 194237 WITH SCORE 194565.876
AT ITER 504 NEW BEST:: SOT 541168 SOS 326226 HAS SOPS 320918 HAS SOUS 194463 HAS SOUPS 193601 WITH SCORE 193927.226
AT ITER 507 NEW BEST:: SOT 541168 SOS 325960 HAS SOPS 320615 HAS SOUS 194327 HAS SOUPS 193431 WITH SCORE 193756.96
AT ITER 521 NEW BEST:: SOT 540874 SOS 325613 HAS SOPS 320268 HAS SOUS 193937 HAS SOUPS 193041 WITH SCORE 193366.613
AT ITER 524 NEW BEST:: SOT 540893 SOS 323321 HAS SOPS 317976 HAS SOUS 193440 HAS SOUPS 192544 WITH SCORE 192867.321
AT ITER 528 NEW BEST:: SOT 540862 SOS 323228 HAS SOPS 317883 HAS SOUS 193347 HAS SOUPS 192451 WITH SCORE 192774.228
AT ITER 531 NEW BEST:: SOT 541113 SOS 323191 HAS SOPS 317846 HAS SOUS 192191 HAS SOUPS 191295 WITH SCORE 191618.191
AT ITER 540 NEW BEST:: SOT 541305 SOS 323080 HAS SOPS 317735 HAS SOUS 191527 HAS SOUPS 190631 WITH SCORE 190954.08
AT ITER 554 NEW BEST:: SOT 541259 SOS 323034 HAS SOPS 317689 HAS SOUS 191474 HAS SOUPS 190578 WITH SCORE 190901.034
AT ITER 562 NEW BEST:: SOT 541190 SOS 322965 HAS SOPS 317620 HAS SOUS 191402 HAS SOUPS 190506 WITH SCORE 190828.965
AT ITER 576 NEW BEST:: SOT 541205 SOS 322986 HAS SOPS 317641 HAS SOUS 191393 HAS SOUPS 190497 WITH SCORE 190819.986
AT ITER 584 NEW BEST:: SOT 541263 SOS 322315 HAS SOPS 317037 HAS SOUS 191336 HAS SOUPS 190440 WITH SCORE 190762.315
AT ITER 590 NEW BEST:: SOT 541251 SOS 321979 HAS SOPS 316701 HAS SOUS 191285 HAS SOUPS 190389 WITH SCORE 190710.979
AT ITER 600 NEW BEST:: SOT 541246 SOS 321950 HAS SOPS 316672 HAS SOUS 191280 HAS SOUPS 190384 WITH SCORE 190705.95
AT ITER 601 NEW BEST:: SOT 539794 SOS 321288 HAS SOPS 316010 HAS SOUS 190933 HAS SOUPS 190037 WITH SCORE 190358.288
AT ITER 604 NEW BEST:: SOT 539938 SOS 321157 HAS SOPS 315879 HAS SOUS 189718 HAS SOUPS 188822 WITH SCORE 189143.157
AT ITER 605 NEW BEST:: SOT 539427 SOS 320742 HAS SOPS 315464 HAS SOUS 189207 HAS SOUPS 188311 WITH SCORE 188631.742
AT ITER 623 NEW BEST:: SOT 539427 SOS 320796 HAS SOPS 315518 HAS SOUS 189126 HAS SOUPS 188230 WITH SCORE 188550.796
AT ITER 631 NEW BEST:: SOT 539379 SOS 320708 HAS SOPS 315430 HAS SOUS 189110 HAS SOUPS 188214 WITH SCORE 188534.708
AT ITER 636 NEW BEST:: SOT 539342 SOS 320597 HAS SOPS 315319 HAS SOUS 189036 HAS SOUPS 188140 WITH SCORE 188460.597
AT ITER 638 NEW BEST:: SOT 539294 SOS 320453 HAS SOPS 315175 HAS SOUS 188940 HAS SOUPS 188044 WITH SCORE 188364.453
AT ITER 640 NEW BEST:: SOT 539306 SOS 320188 HAS SOPS 314910 HAS SOUS 188855 HAS SOUPS 187959 WITH SCORE 188279.188
AT ITER 646 NEW BEST:: SOT 539200 SOS 320078 HAS SOPS 314800 HAS SOUS 188648 HAS SOUPS 187752 WITH SCORE 188072.078
AT ITER 658 NEW BEST:: SOT 539195 SOS 320081 HAS SOPS 314803 HAS SOUS 188630 HAS SOUPS 187734 WITH SCORE 188054.081
AT ITER 662 NEW BEST:: SOT 539097 SOS 320117 HAS SOPS 314839 HAS SOUS 188462 HAS SOUPS 187566 WITH SCORE 187886.117
AT ITER 667 NEW BEST:: SOT 539057 SOS 320085 HAS SOPS 314807 HAS SOUS 188446 HAS SOUPS 187550 WITH SCORE 187870.085
AT ITER 669 NEW BEST:: SOT 539033 SOS 320083 HAS SOPS 314805 HAS SOUS 188444 HAS SOUPS 187548 WITH SCORE 187868.083
AT ITER 673 NEW BEST:: SOT 538888 SOS 320109 HAS SOPS 314831 HAS SOUS 188154 HAS SOUPS 187258 WITH SCORE 187578.109
AT ITER 674 NEW BEST:: SOT 538750 SOS 319971 HAS SOPS 314693 HAS SOUS 187878 HAS SOUPS 186982 WITH SCORE 187301.971
AT ITER 677 NEW BEST:: SOT 538420 SOS 319387 HAS SOPS 314109 HAS SOUS 187160 HAS SOUPS 186264 WITH SCORE 186583.387
AT ITER 690 NEW BEST:: SOT 538301 SOS 319268 HAS SOPS 313990 HAS SOUS 187052 HAS SOUPS 186156 WITH SCORE 186475.268
AT ITER 697 NEW BEST:: SOT 538301 SOS 319396 HAS SOPS 314118 HAS SOUS 186988 HAS SOUPS 186092 WITH SCORE 186411.396
AT ITER 698 NEW BEST:: SOT 538286 SOS 319381 HAS SOPS 314118 HAS SOUS 186976 HAS SOUPS 186080 WITH SCORE 186399.381
AT ITER 701 NEW BEST:: SOT 536609 SOS 317873 HAS SOPS 312610 HAS SOUS 186831 HAS SOUPS 185935 WITH SCORE 186252.873
AT ITER 703 NEW BEST:: SOT 536487 SOS 317797 HAS SOPS 312534 HAS SOUS 186755 HAS SOUPS 185859 WITH SCORE 186176.797
AT ITER 707 NEW BEST:: SOT 535642 SOS 317144 HAS SOPS 311881 HAS SOUS 186168 HAS SOUPS 185272 WITH SCORE 185589.144
AT ITER 716 NEW BEST:: SOT 535637 SOS 317139 HAS SOPS 311876 HAS SOUS 186158 HAS SOUPS 185262 WITH SCORE 185579.139
AT ITER 745 NEW BEST:: SOT 535625 SOS 317133 HAS SOPS 311870 HAS SOUS 186152 HAS SOUPS 185256 WITH SCORE 185573.133
AT ITER 747 NEW BEST:: SOT 535010 SOS 316394 HAS SOPS 311131 HAS SOUS 185857 HAS SOUPS 184961 WITH SCORE 185277.394
AT ITER 749 NEW BEST:: SOT 534935 SOS 316319 HAS SOPS 311056 HAS SOUS 185780 HAS SOUPS 184884 WITH SCORE 185200.319
AT ITER 750 NEW BEST:: SOT 534935 SOS 316294 HAS SOPS 311031 HAS SOUS 185755 HAS SOUPS 184859 WITH SCORE 185175.294
AT ITER 756 NEW BEST:: SOT 534925 SOS 316284 HAS SOPS 311021 HAS SOUS 185735 HAS SOUPS 184839 WITH SCORE 185155.284
AT ITER 764 NEW BEST:: SOT 534965 SOS 315781 HAS SOPS 310518 HAS SOUS 185722 HAS SOUPS 184826 WITH SCORE 185141.781
AT ITER 772 NEW BEST:: SOT 533925 SOS 314667 HAS SOPS 309404 HAS SOUS 184620 HAS SOUPS 183724 WITH SCORE 184038.667
AT ITER 792 NEW BEST:: SOT 533880 SOS 314498 HAS SOPS 309256 HAS SOUS 184510 HAS SOUPS 183614 WITH SCORE 183928.498
AT ITER 800 NEW BEST:: SOT 533870 SOS 314458 HAS SOPS 309216 HAS SOUS 184500 HAS SOUPS 183604 WITH SCORE 183918.458
AT ITER 803 NEW BEST:: SOT 533763 SOS 314351 HAS SOPS 309117 HAS SOUS 184438 HAS SOUPS 183542 WITH SCORE 183856.351
AT ITER 806 NEW BEST:: SOT 533720 SOS 313964 HAS SOPS 308730 HAS SOUS 184008 HAS SOUPS 183112 WITH SCORE 183425.964
AT ITER 808 NEW BEST:: SOT 533706 SOS 313922 HAS SOPS 308674 HAS SOUS 183980 HAS SOUPS 183084 WITH SCORE 183397.922
AT ITER 810 NEW BEST:: SOT 533208 SOS 313532 HAS SOPS 308284 HAS SOUS 183582 HAS SOUPS 182686 WITH SCORE 182999.532
AT ITER 816 NEW BEST:: SOT 533747 SOS 314218 HAS SOPS 308970 HAS SOUS 182064 HAS SOUPS 181168 WITH SCORE 181482.218
AT ITER 819 NEW BEST:: SOT 533589 SOS 313841 HAS SOPS 308593 HAS SOUS 182013 HAS SOUPS 181117 WITH SCORE 181430.841
AT ITER 824 NEW BEST:: SOT 533602 SOS 313540 HAS SOPS 308292 HAS SOUS 181924 HAS SOUPS 181028 WITH SCORE 181341.54
AT ITER 830 NEW BEST:: SOT 533574 SOS 313475 HAS SOPS 308227 HAS SOUS 181831 HAS SOUPS 180935 WITH SCORE 181248.475
AT ITER 832 NEW BEST:: SOT 533568 SOS 313469 HAS SOPS 308221 HAS SOUS 181825 HAS SOUPS 180929 WITH SCORE 181242.469
AT ITER 846 NEW BEST:: SOT 533568 SOS 313448 HAS SOPS 308192 HAS SOUS 181825 HAS SOUPS 180929 WITH SCORE 181242.448
AT ITER 855 NEW BEST:: SOT 533532 SOS 313342 HAS SOPS 308086 HAS SOUS 181363 HAS SOUPS 180467 WITH SCORE 180780.342
AT ITER 859 NEW BEST:: SOT 533491 SOS 313260 HAS SOPS 308004 HAS SOUS 181199 HAS SOUPS 180303 WITH SCORE 180616.26
AT ITER 861 NEW BEST:: SOT 533377 SOS 313115 HAS SOPS 307859 HAS SOUS 181157 HAS SOUPS 180261 WITH SCORE 180574.115
AT ITER 866 NEW BEST:: SOT 533377 SOS 313199 HAS SOPS 307943 HAS SOUS 181150 HAS SOUPS 180254 WITH SCORE 180567.199
AT ITER 867 NEW BEST:: SOT 533330 SOS 313059 HAS SOPS 307803 HAS SOUS 180932 HAS SOUPS 180036 WITH SCORE 180349.059
AT ITER 875 NEW BEST:: SOT 533288 SOS 313009 HAS SOPS 307798 HAS SOUS 180916 HAS SOUPS 180020 WITH SCORE 180333.009
AT ITER 889 NEW BEST:: SOT 533304 SOS 313019 HAS SOPS 307814 HAS SOUS 180906 HAS SOUPS 180016 WITH SCORE 180329.019
AT ITER 895 NEW BEST:: SOT 532608 SOS 312059 HAS SOPS 306854 HAS SOUS 180684 HAS SOUPS 179794 WITH SCORE 180106.059
AT ITER 898 NEW BEST:: SOT 532638 SOS 312089 HAS SOPS 306884 HAS SOUS 180664 HAS SOUPS 179774 WITH SCORE 180086.089
AT ITER 902 NEW BEST:: SOT 532615 SOS 311962 HAS SOPS 306861 HAS SOUS 180641 HAS SOUPS 179751 WITH SCORE 180062.962
AT ITER 905 NEW BEST:: SOT 532597 SOS 311942 HAS SOPS 306841 HAS SOUS 180605 HAS SOUPS 179715 WITH SCORE 180026.942
AT ITER 908 NEW BEST:: SOT 532373 SOS 311666 HAS SOPS 306565 HAS SOUS 180225 HAS SOUPS 179335 WITH SCORE 179646.666
AT ITER 909 NEW BEST:: SOT 532359 SOS 311460 HAS SOPS 306359 HAS SOUS 180197 HAS SOUPS 179307 WITH SCORE 179618.46
AT ITER 910 NEW BEST:: SOT 532392 SOS 311493 HAS SOPS 306392 HAS SOUS 180159 HAS SOUPS 179269 WITH SCORE 179580.493
AT ITER 916 NEW BEST:: SOT 532413 SOS 311039 HAS SOPS 305938 HAS SOUS 179969 HAS SOUPS 179079 WITH SCORE 179390.039
AT ITER 923 NEW BEST:: SOT 531871 SOS 310728 HAS SOPS 305627 HAS SOUS 179862 HAS SOUPS 178972 WITH SCORE 179282.728
AT ITER 925 NEW BEST:: SOT 531690 SOS 310654 HAS SOPS 305556 HAS SOUS 179691 HAS SOUPS 178801 WITH SCORE 179111.654
AT ITER 926 NEW BEST:: SOT 531423 SOS 310387 HAS SOPS 305289 HAS SOUS 179246 HAS SOUPS 178356 WITH SCORE 178666.387
AT ITER 945 NEW BEST:: SOT 531414 SOS 310360 HAS SOPS 305262 HAS SOUS 179244 HAS SOUPS 178354 WITH SCORE 178664.36
AT ITER 951 NEW BEST:: SOT 531379 SOS 310325 HAS SOPS 305227 HAS SOUS 179174 HAS SOUPS 178284 WITH SCORE 178594.325
AT ITER 953 NEW BEST:: SOT 531333 SOS 310312 HAS SOPS 305214 HAS SOUS 179161 HAS SOUPS 178271 WITH SCORE 178581.312
AT ITER 960 NEW BEST:: SOT 531334 SOS 310313 HAS SOPS 305215 HAS SOUS 179124 HAS SOUPS 178234 WITH SCORE 178544.313
AT ITER 973 NEW BEST:: SOT 531234 SOS 309967 HAS SOPS 304869 HAS SOUS 178924 HAS SOUPS 178034 WITH SCORE 178343.967
AT ITER 978 NEW BEST:: SOT 531232 SOS 294097 HAS SOPS 288999 HAS SOUS 178922 HAS SOUPS 178032 WITH SCORE 178326.097
AT ITER 981 NEW BEST:: SOT 531234 SOS 294097 HAS SOPS 288999 HAS SOUS 178917 HAS SOUPS 178027 WITH SCORE 178321.097
AT ITER 990 NEW BEST:: SOT 531281 SOS 294155 HAS SOPS 289057 HAS SOUS 178706 HAS SOUPS 177816 WITH SCORE 178110.155
AT ITER 992 NEW BEST:: SOT 531232 SOS 294047 HAS SOPS 288949 HAS SOUS 178705 HAS SOUPS 177815 WITH SCORE 178109.047
AT ITER 1001 NEW BEST:: SOT 530963 SOS 293851 HAS SOPS 288846 HAS SOUS 178507 HAS SOUPS 177617 WITH SCORE 177910.851
AT ITER 1006 NEW BEST:: SOT 530955 SOS 293862 HAS SOPS 288857 HAS SOUS 178491 HAS SOUPS 177601 WITH SCORE 177894.862
AT ITER 1008 NEW BEST:: SOT 530612 SOS 293519 HAS SOPS 288514 HAS SOUS 177643 HAS SOUPS 176753 WITH SCORE 177046.519
AT ITER 1012 NEW BEST:: SOT 530678 SOS 293311 HAS SOPS 288306 HAS SOUS 177446 HAS SOUPS 176556 WITH SCORE 176849.311
AT ITER 1028 NEW BEST:: SOT 530674 SOS 293307 HAS SOPS 288302 HAS SOUS 177438 HAS SOUPS 176548 WITH SCORE 176841.307
AT ITER 1029 NEW BEST:: SOT 530259 SOS 292784 HAS SOPS 287779 HAS SOUS 177021 HAS SOUPS 176131 WITH SCORE 176423.784
AT ITER 1033 NEW BEST:: SOT 530025 SOS 292532 HAS SOPS 287527 HAS SOUS 176787 HAS SOUPS 175897 WITH SCORE 176189.532
AT ITER 1035 NEW BEST:: SOT 530010 SOS 292527 HAS SOPS 287522 HAS SOUS 176584 HAS SOUPS 175694 WITH SCORE 175986.527
AT ITER 1037 NEW BEST:: SOT 530010 SOS 292524 HAS SOPS 287519 HAS SOUS 176584 HAS SOUPS 175694 WITH SCORE 175986.524
AT ITER 1051 NEW BEST:: SOT 529975 SOS 292462 HAS SOPS 287457 HAS SOUS 176514 HAS SOUPS 175624 WITH SCORE 175916.462
AT ITER 1056 NEW BEST:: SOT 529854 SOS 292346 HAS SOPS 287341 HAS SOUS 176360 HAS SOUPS 175470 WITH SCORE 175762.346
AT ITER 1076 NEW BEST:: SOT 529912 SOS 292539 HAS SOPS 287534 HAS SOUS 176355 HAS SOUPS 175465 WITH SCORE 175757.539
AT ITER 1078 NEW BEST:: SOT 529485 SOS 292129 HAS SOPS 287124 HAS SOUS 176134 HAS SOUPS 175244 WITH SCORE 175536.129
AT ITER 1080 NEW BEST:: SOT 529324 SOS 291978 HAS SOPS 286973 HAS SOUS 176023 HAS SOUPS 175133 WITH SCORE 175424.978
AT ITER 1101 NEW BEST:: SOT 529517 SOS 292166 HAS SOPS 287161 HAS SOUS 175944 HAS SOUPS 175054 WITH SCORE 175346.166
AT ITER 1106 NEW BEST:: SOT 529508 SOS 292155 HAS SOPS 287150 HAS SOUS 175917 HAS SOUPS 175027 WITH SCORE 175319.155
AT ITER 1117 NEW BEST:: SOT 529462 SOS 291803 HAS SOPS 286798 HAS SOUS 175890 HAS SOUPS 175000 WITH SCORE 175291.803
AT ITER 1119 NEW BEST:: SOT 529273 SOS 291643 HAS SOPS 286638 HAS SOUS 175360 HAS SOUPS 174470 WITH SCORE 174761.643
AT ITER 1132 NEW BEST:: SOT 528650 SOS 290419 HAS SOPS 285414 HAS SOUS 174443 HAS SOUPS 173553 WITH SCORE 173843.419
AT ITER 1139 NEW BEST:: SOT 528631 SOS 290335 HAS SOPS 285330 HAS SOUS 174147 HAS SOUPS 173257 WITH SCORE 173547.335
AT ITER 1150 NEW BEST:: SOT 528518 SOS 290111 HAS SOPS 285106 HAS SOUS 174099 HAS SOUPS 173209 WITH SCORE 173499.111
AT ITER 1152 NEW BEST:: SOT 528510 SOS 290095 HAS SOPS 285090 HAS SOUS 174067 HAS SOUPS 173177 WITH SCORE 173467.095
AT ITER 1155 NEW BEST:: SOT 528401 SOS 289809 HAS SOPS 284811 HAS SOUS 173938 HAS SOUPS 173048 WITH SCORE 173337.809
AT ITER 1166 NEW BEST:: SOT 528367 SOS 289775 HAS SOPS 284777 HAS SOUS 173870 HAS SOUPS 172980 WITH SCORE 173269.775
AT ITER 1177 NEW BEST:: SOT 527532 SOS 289101 HAS SOPS 284103 HAS SOUS 173340 HAS SOUPS 172450 WITH SCORE 172739.101
AT ITER 1192 NEW BEST:: SOT 527492 SOS 289074 HAS SOPS 284076 HAS SOUS 173313 HAS SOUPS 172423 WITH SCORE 172712.074
AT ITER 1201 NEW BEST:: SOT 527464 SOS 288967 HAS SOPS 283969 HAS SOUS 173086 HAS SOUPS 172196 WITH SCORE 172484.967
AT ITER 1202 NEW BEST:: SOT 527444 SOS 288939 HAS SOPS 283941 HAS SOUS 173046 HAS SOUPS 172156 WITH SCORE 172444.939
AT ITER 1204 NEW BEST:: SOT 527207 SOS 288649 HAS SOPS 283651 HAS SOUS 172940 HAS SOUPS 172050 WITH SCORE 172338.649
AT ITER 1205 NEW BEST:: SOT 527197 SOS 288639 HAS SOPS 283641 HAS SOUS 172930 HAS SOUPS 172040 WITH SCORE 172328.639
AT ITER 1206 NEW BEST:: SOT 527087 SOS 288609 HAS SOPS 283611 HAS SOUS 172704 HAS SOUPS 171814 WITH SCORE 172102.609
AT ITER 1212 NEW BEST:: SOT 527099 SOS 288621 HAS SOPS 283623 HAS SOUS 172703 HAS SOUPS 171813 WITH SCORE 172101.621
AT ITER 1221 NEW BEST:: SOT 527092 SOS 288607 HAS SOPS 283609 HAS SOUS 172689 HAS SOUPS 171799 WITH SCORE 172087.607
AT ITER 1222 NEW BEST:: SOT 527205 SOS 289012 HAS SOPS 284014 HAS SOUS 172603 HAS SOUPS 171713 WITH SCORE 172002.012
AT ITER 1229 NEW BEST:: SOT 527179 SOS 289038 HAS SOPS 284040 HAS SOUS 172577 HAS SOUPS 171687 WITH SCORE 171976.038
AT ITER 1231 NEW BEST:: SOT 527324 SOS 288995 HAS SOPS 283906 HAS SOUS 172443 HAS SOUPS 171553 WITH SCORE 171841.995
AT ITER 1240 NEW BEST:: SOT 527403 SOS 288769 HAS SOPS 283680 HAS SOUS 172321 HAS SOUPS 171431 WITH SCORE 171719.769
AT ITER 1245 NEW BEST:: SOT 527397 SOS 288757 HAS SOPS 283668 HAS SOUS 172309 HAS SOUPS 171419 WITH SCORE 171707.757
AT ITER 1246 NEW BEST:: SOT 527202 SOS 288601 HAS SOPS 283512 HAS SOUS 172255 HAS SOUPS 171365 WITH SCORE 171653.601
AT ITER 1250 NEW BEST:: SOT 527804 SOS 287470 HAS SOPS 282381 HAS SOUS 171966 HAS SOUPS 171076 WITH SCORE 171363.47
AT ITER 1256 NEW BEST:: SOT 527680 SOS 287302 HAS SOPS 282226 HAS SOUS 171844 HAS SOUPS 170954 WITH SCORE 171241.302
AT ITER 1257 NEW BEST:: SOT 527844 SOS 286913 HAS SOPS 281837 HAS SOUS 171687 HAS SOUPS 170797 WITH SCORE 171083.913
AT ITER 1269 NEW BEST:: SOT 527725 SOS 286548 HAS SOPS 281472 HAS SOUS 171576 HAS SOUPS 170686 WITH SCORE 170972.548
AT ITER 1272 NEW BEST:: SOT 528039 SOS 286771 HAS SOPS 281695 HAS SOUS 171520 HAS SOUPS 170630 WITH SCORE 170916.771
AT ITER 1273 NEW BEST:: SOT 527830 SOS 286562 HAS SOPS 281486 HAS SOUS 171102 HAS SOUPS 170212 WITH SCORE 170498.562
AT ITER 1309 NEW BEST:: SOT 527800 SOS 286342 HAS SOPS 281266 HAS SOUS 171020 HAS SOUPS 170130 WITH SCORE 170416.342
AT ITER 1324 NEW BEST:: SOT 527791 SOS 286181 HAS SOPS 281105 HAS SOUS 171002 HAS SOUPS 170112 WITH SCORE 170398.181
AT ITER 1327 NEW BEST:: SOT 527778 SOS 286131 HAS SOPS 281055 HAS SOUS 170816 HAS SOUPS 169926 WITH SCORE 170212.131
AT ITER 1330 NEW BEST:: SOT 527666 SOS 286116 HAS SOPS 281113 HAS SOUS 170810 HAS SOUPS 169920 WITH SCORE 170206.116
AT ITER 1336 NEW BEST:: SOT 527564 SOS 285840 HAS SOPS 280837 HAS SOUS 170621 HAS SOUPS 169731 WITH SCORE 170016.84
AT ITER 1343 NEW BEST:: SOT 527489 SOS 285765 HAS SOPS 280762 HAS SOUS 170471 HAS SOUPS 169581 WITH SCORE 169866.765
AT ITER 1359 NEW BEST:: SOT 527479 SOS 285750 HAS SOPS 280747 HAS SOUS 170447 HAS SOUPS 169557 WITH SCORE 169842.75
AT ITER 1362 NEW BEST:: SOT 527479 SOS 285735 HAS SOPS 280732 HAS SOUS 170432 HAS SOUPS 169542 WITH SCORE 169827.735
AT ITER 1382 NEW BEST:: SOT 527479 SOS 285840 HAS SOPS 280837 HAS SOUS 170430 HAS SOUPS 169540 WITH SCORE 169825.84
AT ITER 1384 NEW BEST:: SOT 527465 SOS 285732 HAS SOPS 280729 HAS SOUS 170402 HAS SOUPS 169512 WITH SCORE 169797.732
AT ITER 1390 NEW BEST:: SOT 527381 SOS 285648 HAS SOPS 280645 HAS SOUS 170318 HAS SOUPS 169428 WITH SCORE 169713.648
AT ITER 1392 NEW BEST:: SOT 527374 SOS 285072 HAS SOPS 280069 HAS SOUS 170279 HAS SOUPS 169389 WITH SCORE 169674.072
AT ITER 1396 NEW BEST:: SOT 527273 SOS 284961 HAS SOPS 279958 HAS SOUS 169982 HAS SOUPS 169092 WITH SCORE 169376.961
AT ITER 1399 NEW BEST:: SOT 526965 SOS 284653 HAS SOPS 279650 HAS SOUS 169674 HAS SOUPS 168784 WITH SCORE 169068.653
AT ITER 1401 NEW BEST:: SOT 526936 SOS 284656 HAS SOPS 279653 HAS SOUS 169616 HAS SOUPS 168726 WITH SCORE 169010.656
AT ITER 1405 NEW BEST:: SOT 526922 SOS 284599 HAS SOPS 279596 HAS SOUS 169560 HAS SOUPS 168670 WITH SCORE 168954.599
AT ITER 1413 NEW BEST:: SOT 527642 SOS 285200 HAS SOPS 280197 HAS SOUS 169515 HAS SOUPS 168625 WITH SCORE 168910.2
AT ITER 1422 NEW BEST:: SOT 527642 SOS 285281 HAS SOPS 280278 HAS SOUS 169495 HAS SOUPS 168605 WITH SCORE 168890.281
AT ITER 1425 NEW BEST:: SOT 527642 SOS 285340 HAS SOPS 280337 HAS SOUS 169488 HAS SOUPS 168598 WITH SCORE 168883.34
AT ITER 1432 NEW BEST:: SOT 527308 SOS 284853 HAS SOPS 279850 HAS SOUS 169419 HAS SOUPS 168529 WITH SCORE 168813.853
AT ITER 1435 NEW BEST:: SOT 527308 SOS 284868 HAS SOPS 279865 HAS SOUS 169368 HAS SOUPS 168478 WITH SCORE 168762.868
AT ITER 1450 NEW BEST:: SOT 527941 SOS 285102 HAS SOPS 280099 HAS SOUS 168858 HAS SOUPS 167968 WITH SCORE 168253.102
AT ITER 1452 NEW BEST:: SOT 527941 SOS 285083 HAS SOPS 280080 HAS SOUS 168858 HAS SOUPS 167968 WITH SCORE 168253.083
AT ITER 1466 NEW BEST:: SOT 527950 SOS 285084 HAS SOPS 280036 HAS SOUS 168860 HAS SOUPS 167965 WITH SCORE 168250.084
AT ITER 1467 NEW BEST:: SOT 527950 SOS 285331 HAS SOPS 280283 HAS SOUS 168841 HAS SOUPS 167946 WITH SCORE 168231.331
AT ITER 1470 NEW BEST:: SOT 527799 SOS 284973 HAS SOPS 279925 HAS SOUS 168656 HAS SOUPS 167761 WITH SCORE 168045.973
AT ITER 1471 NEW BEST:: SOT 527669 SOS 279131 HAS SOPS 273979 HAS SOUS 168480 HAS SOUPS 167572 WITH SCORE 167851.131
AT ITER 1487 NEW BEST:: SOT 527607 SOS 278957 HAS SOPS 273805 HAS SOUS 168286 HAS SOUPS 167378 WITH SCORE 167656.957
AT ITER 1493 NEW BEST:: SOT 527592 SOS 278942 HAS SOPS 273790 HAS SOUS 168285 HAS SOUPS 167377 WITH SCORE 167655.942
AT ITER 1499 NEW BEST:: SOT 527576 SOS 278926 HAS SOPS 273774 HAS SOUS 168277 HAS SOUPS 167369 WITH SCORE 167647.926
AT ITER 1500 NEW BEST:: SOT 527558 SOS 278917 HAS SOPS 273765 HAS SOUS 168232 HAS SOUPS 167324 WITH SCORE 167602.917
AT ITER 1501 NEW BEST:: SOT 526597 SOS 277985 HAS SOPS 272833 HAS SOUS 167890 HAS SOUPS 166982 WITH SCORE 167259.985
AT ITER 1508 NEW BEST:: SOT 526588 SOS 277949 HAS SOPS 272797 HAS SOUS 167842 HAS SOUPS 166934 WITH SCORE 167211.949
AT ITER 1518 NEW BEST:: SOT 526867 SOS 278518 HAS SOPS 273366 HAS SOUS 167620 HAS SOUPS 166712 WITH SCORE 166990.518
AT ITER 1522 NEW BEST:: SOT 526861 SOS 278316 HAS SOPS 273164 HAS SOUS 167282 HAS SOUPS 166374 WITH SCORE 166652.316
AT ITER 1527 NEW BEST:: SOT 526793 SOS 278213 HAS SOPS 273061 HAS SOUS 167249 HAS SOUPS 166341 WITH SCORE 166619.213
AT ITER 1529 NEW BEST:: SOT 526720 SOS 278140 HAS SOPS 272988 HAS SOUS 167154 HAS SOUPS 166246 WITH SCORE 166524.14
AT ITER 1538 NEW BEST:: SOT 526670 SOS 278100 HAS SOPS 272948 HAS SOUS 167114 HAS SOUPS 166206 WITH SCORE 166484.1
AT ITER 1549 NEW BEST:: SOT 525837 SOS 278604 HAS SOPS 273452 HAS SOUS 167082 HAS SOUPS 166174 WITH SCORE 166452.604
AT ITER 1557 NEW BEST:: SOT 525830 SOS 278597 HAS SOPS 273445 HAS SOUS 167078 HAS SOUPS 166170 WITH SCORE 166448.597
AT ITER 1567 NEW BEST:: SOT 525796 SOS 278289 HAS SOPS 273137 HAS SOUS 166857 HAS SOUPS 165949 WITH SCORE 166227.289
AT ITER 1571 NEW BEST:: SOT 525702 SOS 278529 HAS SOPS 273377 HAS SOUS 166814 HAS SOUPS 165906 WITH SCORE 166184.529
AT ITER 1576 NEW BEST:: SOT 525690 SOS 278505 HAS SOPS 273353 HAS SOUS 166790 HAS SOUPS 165882 WITH SCORE 166160.505
AT ITER 1589 NEW BEST:: SOT 525747 SOS 278437 HAS SOPS 273285 HAS SOUS 166779 HAS SOUPS 165871 WITH SCORE 166149.437
AT ITER 1598 NEW BEST:: SOT 525759 SOS 278673 HAS SOPS 273521 HAS SOUS 166608 HAS SOUPS 165700 WITH SCORE 165978.673
AT ITER 1611 NEW BEST:: SOT 525636 SOS 277491 HAS SOPS 272339 HAS SOUS 166230 HAS SOUPS 165322 WITH SCORE 165599.491
AT ITER 1612 NEW BEST:: SOT 525494 SOS 277223 HAS SOPS 272071 HAS SOUS 165962 HAS SOUPS 165054 WITH SCORE 165331.223
AT ITER 1617 NEW BEST:: SOT 525324 SOS 276887 HAS SOPS 271735 HAS SOUS 165587 HAS SOUPS 164679 WITH SCORE 164955.887
AT ITER 1657 NEW BEST:: SOT 525281 SOS 276707 HAS SOPS 271555 HAS SOUS 165562 HAS SOUPS 164654 WITH SCORE 164930.707
AT ITER 1658 NEW BEST:: SOT 525273 SOS 276709 HAS SOPS 271557 HAS SOUS 165528 HAS SOUPS 164620 WITH SCORE 164896.709
AT ITER 1664 NEW BEST:: SOT 525129 SOS 276670 HAS SOPS 271518 HAS SOUS 165429 HAS SOUPS 164521 WITH SCORE 164797.67
AT ITER 1684 NEW BEST:: SOT 524349 SOS 276134 HAS SOPS 270982 HAS SOUS 164698 HAS SOUPS 163790 WITH SCORE 164066.134
AT ITER 1694 NEW BEST:: SOT 524315 SOS 276100 HAS SOPS 270948 HAS SOUS 164616 HAS SOUPS 163708 WITH SCORE 163984.1
AT ITER 1707 NEW BEST:: SOT 524300 SOS 276075 HAS SOPS 270923 HAS SOUS 164591 HAS SOUPS 163683 WITH SCORE 163959.075
AT ITER 1710 NEW BEST:: SOT 524277 SOS 276052 HAS SOPS 270900 HAS SOUS 164545 HAS SOUPS 163637 WITH SCORE 163913.052
AT ITER 1717 NEW BEST:: SOT 524277 SOS 276010 HAS SOPS 270858 HAS SOUS 164545 HAS SOUPS 163637 WITH SCORE 163913.01
AT ITER 1730 NEW BEST:: SOT 524219 SOS 275952 HAS SOPS 270800 HAS SOUS 164472 HAS SOUPS 163564 WITH SCORE 163839.952
AT ITER 1743 NEW BEST:: SOT 524109 SOS 274267 HAS SOPS 269115 HAS SOUS 164252 HAS SOUPS 163344 WITH SCORE 163618.267
AT ITER 1753 NEW BEST:: SOT 524099 SOS 274257 HAS SOPS 269105 HAS SOUS 164219 HAS SOUPS 163311 WITH SCORE 163585.257
AT ITER 1754 NEW BEST:: SOT 524077 SOS 274235 HAS SOPS 269083 HAS SOUS 164169 HAS SOUPS 163261 WITH SCORE 163535.235
AT ITER 1763 NEW BEST:: SOT 523636 SOS 273914 HAS SOPS 268762 HAS SOUS 163887 HAS SOUPS 162979 WITH SCORE 163252.914
AT ITER 1771 NEW BEST:: SOT 523615 SOS 273979 HAS SOPS 268827 HAS SOUS 163759 HAS SOUPS 162851 WITH SCORE 163124.979
AT ITER 1774 NEW BEST:: SOT 523385 SOS 273734 HAS SOPS 268582 HAS SOUS 163547 HAS SOUPS 162639 WITH SCORE 162912.734
AT ITER 1785 NEW BEST:: SOT 523256 SOS 271312 HAS SOPS 266160 HAS SOUS 163236 HAS SOUPS 162328 WITH SCORE 162599.312
AT ITER 1792 NEW BEST:: SOT 523279 SOS 271335 HAS SOPS 266183 HAS SOUS 163163 HAS SOUPS 162255 WITH SCORE 162526.335
AT ITER 1796 NEW BEST:: SOT 523226 SOS 271278 HAS SOPS 266126 HAS SOUS 163039 HAS SOUPS 162131 WITH SCORE 162402.278
AT ITER 1798 NEW BEST:: SOT 523168 SOS 271191 HAS SOPS 266039 HAS SOUS 162952 HAS SOUPS 162044 WITH SCORE 162315.191
AT ITER 1817 NEW BEST:: SOT 523007 SOS 271020 HAS SOPS 265861 HAS SOUS 162802 HAS SOUPS 161894 WITH SCORE 162165.02
AT ITER 1823 NEW BEST:: SOT 522606 SOS 270685 HAS SOPS 265526 HAS SOUS 162444 HAS SOUPS 161536 WITH SCORE 161806.685
AT ITER 1842 NEW BEST:: SOT 522488 SOS 270467 HAS SOPS 265308 HAS SOUS 162154 HAS SOUPS 161246 WITH SCORE 161516.467
AT ITER 1847 NEW BEST:: SOT 522502 SOS 270397 HAS SOPS 265238 HAS SOUS 161953 HAS SOUPS 161045 WITH SCORE 161315.397
AT ITER 1848 NEW BEST:: SOT 522249 SOS 270088 HAS SOPS 264817 HAS SOUS 161671 HAS SOUPS 160763 WITH SCORE 161033.088
AT ITER 1864 NEW BEST:: SOT 522164 SOS 270267 HAS SOPS 264996 HAS SOUS 161629 HAS SOUPS 160721 WITH SCORE 160991.267
AT ITER 1879 NEW BEST:: SOT 521991 SOS 270151 HAS SOPS 264880 HAS SOUS 161283 HAS SOUPS 160375 WITH SCORE 160645.151
AT ITER 1900 NEW BEST:: SOT 521985 SOS 270140 HAS SOPS 264869 HAS SOUS 161231 HAS SOUPS 160323 WITH SCORE 160593.14
AT ITER 1917 NEW BEST:: SOT 521985 SOS 270138 HAS SOPS 264867 HAS SOUS 161221 HAS SOUPS 160313 WITH SCORE 160583.138
AT ITER 1919 NEW BEST:: SOT 521829 SOS 269990 HAS SOPS 264810 HAS SOUS 161026 HAS SOUPS 160118 WITH SCORE 160387.99
AT ITER 1938 NEW BEST:: SOT 521776 SOS 269897 HAS SOPS 264717 HAS SOUS 161000 HAS SOUPS 160092 WITH SCORE 160361.897
AT ITER 1939 NEW BEST:: SOT 521680 SOS 269808 HAS SOPS 264628 HAS SOUS 160878 HAS SOUPS 159970 WITH SCORE 160239.808
AT ITER 1953 NEW BEST:: SOT 521094 SOS 269754 HAS SOPS 264574 HAS SOUS 160750 HAS SOUPS 159842 WITH SCORE 160111.754
AT ITER 1966 NEW BEST:: SOT 521106 SOS 269724 HAS SOPS 264544 HAS SOUS 160740 HAS SOUPS 159832 WITH SCORE 160101.724
AT ITER 1971 NEW BEST:: SOT 521093 SOS 269711 HAS SOPS 264531 HAS SOUS 160669 HAS SOUPS 159761 WITH SCORE 160030.711
AT ITER 1982 NEW BEST:: SOT 521035 SOS 269646 HAS SOPS 264466 HAS SOUS 160417 HAS SOUPS 159509 WITH SCORE 159778.646
AT ITER 1985 NEW BEST:: SOT 521033 SOS 269642 HAS SOPS 264462 HAS SOUS 160413 HAS SOUPS 159505 WITH SCORE 159774.642
AT ITER 1987 NEW BEST:: SOT 520873 SOS 269546 HAS SOPS 264366 HAS SOUS 160336 HAS SOUPS 159428 WITH SCORE 159697.546
AT ITER 1988 NEW BEST:: SOT 520917 SOS 269531 HAS SOPS 264351 HAS SOUS 160321 HAS SOUPS 159413 WITH SCORE 159682.531
AT ITER 1990 NEW BEST:: SOT 520139 SOS 269176 HAS SOPS 263996 HAS SOUS 160232 HAS SOUPS 159324 WITH SCORE 159593.176
AT ITER 1998 NEW BEST:: SOT 520139 SOS 269176 HAS SOPS 263996 HAS SOUS 160230 HAS SOUPS 159322 WITH SCORE 159591.176
AT ITER 2005 NEW BEST:: SOT 520031 SOS 268950 HAS SOPS 263770 HAS SOUS 159974 HAS SOUPS 159066 WITH SCORE 159334.95
AT ITER 2023 NEW BEST:: SOT 520025 SOS 268932 HAS SOPS 263752 HAS SOUS 159962 HAS SOUPS 159054 WITH SCORE 159322.932
AT ITER 2026 NEW BEST:: SOT 519941 SOS 268848 HAS SOPS 263668 HAS SOUS 159794 HAS SOUPS 158886 WITH SCORE 159154.848
AT ITER 2030 NEW BEST:: SOT 520054 SOS 269220 HAS SOPS 264040 HAS SOUS 159758 HAS SOUPS 158850 WITH SCORE 159119.22
AT ITER 2035 NEW BEST:: SOT 519922 SOS 268349 HAS SOPS 263169 HAS SOUS 159656 HAS SOUPS 158748 WITH SCORE 159016.349
AT ITER 2045 NEW BEST:: SOT 519927 SOS 268353 HAS SOPS 263173 HAS SOUS 159635 HAS SOUPS 158727 WITH SCORE 158995.353
AT ITER 2057 NEW BEST:: SOT 519907 SOS 268401 HAS SOPS 263221 HAS SOUS 159481 HAS SOUPS 158573 WITH SCORE 158841.401
AT ITER 2059 NEW BEST:: SOT 519813 SOS 268307 HAS SOPS 263127 HAS SOUS 159322 HAS SOUPS 158414 WITH SCORE 158682.307
AT ITER 2078 NEW BEST:: SOT 519778 SOS 268272 HAS SOPS 263092 HAS SOUS 159267 HAS SOUPS 158359 WITH SCORE 158627.272
AT ITER 2102 NEW BEST:: SOT 519699 SOS 267374 HAS SOPS 262194 HAS SOUS 159052 HAS SOUPS 158144 WITH SCORE 158411.374
AT ITER 2108 NEW BEST:: SOT 518895 SOS 266561 HAS SOPS 261381 HAS SOUS 158933 HAS SOUPS 158025 WITH SCORE 158291.561
AT ITER 2114 NEW BEST:: SOT 518861 SOS 266385 HAS SOPS 261205 HAS SOUS 158876 HAS SOUPS 157968 WITH SCORE 158234.385
AT ITER 2116 NEW BEST:: SOT 518753 SOS 266061 HAS SOPS 260881 HAS SOUS 158663 HAS SOUPS 157755 WITH SCORE 158021.061
AT ITER 2136 NEW BEST:: SOT 518753 SOS 264679 HAS SOPS 259499 HAS SOUS 158503 HAS SOUPS 157595 WITH SCORE 157859.679
AT ITER 2137 NEW BEST:: SOT 518735 SOS 264661 HAS SOPS 259481 HAS SOUS 158485 HAS SOUPS 157577 WITH SCORE 157841.661
AT ITER 2144 NEW BEST:: SOT 518720 SOS 264646 HAS SOPS 259466 HAS SOUS 158467 HAS SOUPS 157559 WITH SCORE 157823.646
AT ITER 2159 NEW BEST:: SOT 518283 SOS 264201 HAS SOPS 259021 HAS SOUS 158060 HAS SOUPS 157152 WITH SCORE 157416.201
AT ITER 2169 NEW BEST:: SOT 518244 SOS 263967 HAS SOPS 258787 HAS SOUS 157990 HAS SOUPS 157082 WITH SCORE 157345.967
AT ITER 2173 NEW BEST:: SOT 518244 SOS 263932 HAS SOPS 258752 HAS SOUS 157955 HAS SOUPS 157047 WITH SCORE 157310.932
AT ITER 2174 NEW BEST:: SOT 517863 SOS 263180 HAS SOPS 258000 HAS SOUS 157721 HAS SOUPS 156813 WITH SCORE 157076.18
AT ITER 2177 NEW BEST:: SOT 517821 SOS 263096 HAS SOPS 257916 HAS SOUS 157637 HAS SOUPS 156729 WITH SCORE 156992.096
AT ITER 2197 NEW BEST:: SOT 517662 SOS 265615 HAS SOPS 260435 HAS SOUS 157424 HAS SOUPS 156516 WITH SCORE 156781.615
AT ITER 2213 NEW BEST:: SOT 517662 SOS 265565 HAS SOPS 260385 HAS SOUS 157424 HAS SOUPS 156516 WITH SCORE 156781.565
AT ITER 2218 NEW BEST:: SOT 517066 SOS 265280 HAS SOPS 260100 HAS SOUS 157011 HAS SOUPS 156103 WITH SCORE 156368.28
AT ITER 2219 NEW BEST:: SOT 517051 SOS 265265 HAS SOPS 260085 HAS SOUS 156991 HAS SOUPS 156083 WITH SCORE 156348.265
AT ITER 2221 NEW BEST:: SOT 517053 SOS 265299 HAS SOPS 260119 HAS SOUS 156976 HAS SOUPS 156068 WITH SCORE 156333.299
AT ITER 2240 NEW BEST:: SOT 516748 SOS 265055 HAS SOPS 259875 HAS SOUS 156721 HAS SOUPS 155813 WITH SCORE 156078.055
AT ITER 2249 NEW BEST:: SOT 516743 SOS 264986 HAS SOPS 259806 HAS SOUS 156711 HAS SOUPS 155803 WITH SCORE 156067.986
AT ITER 2262 NEW BEST:: SOT 516677 SOS 264680 HAS SOPS 259500 HAS SOUS 156584 HAS SOUPS 155676 WITH SCORE 155940.68
AT ITER 2268 NEW BEST:: SOT 516631 SOS 264495 HAS SOPS 259315 HAS SOUS 156566 HAS SOUPS 155658 WITH SCORE 155922.495
AT ITER 2284 NEW BEST:: SOT 516630 SOS 264493 HAS SOPS 259313 HAS SOUS 156563 HAS SOUPS 155655 WITH SCORE 155919.493
AT ITER 2288 NEW BEST:: SOT 516501 SOS 263799 HAS SOPS 258619 HAS SOUS 156529 HAS SOUPS 155621 WITH SCORE 155884.799
AT ITER 2316 NEW BEST:: SOT 516513 SOS 263641 HAS SOPS 258461 HAS SOUS 156525 HAS SOUPS 155617 WITH SCORE 155880.641
AT ITER 2322 NEW BEST:: SOT 516322 SOS 263417 HAS SOPS 258283 HAS SOUS 156335 HAS SOUPS 155427 WITH SCORE 155690.417
AT ITER 2330 NEW BEST:: SOT 516153 SOS 263316 HAS SOPS 258182 HAS SOUS 156146 HAS SOUPS 155238 WITH SCORE 155501.316
AT ITER 2344 NEW BEST:: SOT 516136 SOS 263265 HAS SOPS 258131 HAS SOUS 156129 HAS SOUPS 155221 WITH SCORE 155484.265
AT ITER 2347 NEW BEST:: SOT 516136 SOS 263610 HAS SOPS 258476 HAS SOUS 156007 HAS SOUPS 155099 WITH SCORE 155362.61
AT ITER 2355 NEW BEST:: SOT 516088 SOS 263562 HAS SOPS 258428 HAS SOUS 155911 HAS SOUPS 155003 WITH SCORE 155266.562
AT ITER 2368 NEW BEST:: SOT 516053 SOS 263419 HAS SOPS 258300 HAS SOUS 155783 HAS SOUPS 154875 WITH SCORE 155138.419
AT ITER 2425 NEW BEST:: SOT 516024 SOS 263323 HAS SOPS 258204 HAS SOUS 155687 HAS SOUPS 154779 WITH SCORE 155042.323
AT ITER 2466 NEW BEST:: SOT 516021 SOS 263298 HAS SOPS 258179 HAS SOUS 155681 HAS SOUPS 154773 WITH SCORE 155036.298
AT ITER 2467 NEW BEST:: SOT 515835 SOS 263188 HAS SOPS 258069 HAS SOUS 155649 HAS SOUPS 154741 WITH SCORE 155004.188
AT ITER 2469 NEW BEST:: SOT 515835 SOS 263335 HAS SOPS 258216 HAS SOUS 155355 HAS SOUPS 154447 WITH SCORE 154710.335
AT ITER 2473 NEW BEST:: SOT 515282 SOS 262803 HAS SOPS 257684 HAS SOUS 155034 HAS SOUPS 154126 WITH SCORE 154388.803
AT ITER 2497 NEW BEST:: SOT 515261 SOS 262782 HAS SOPS 257663 HAS SOUS 154977 HAS SOUPS 154069 WITH SCORE 154331.782
AT ITER 2509 NEW BEST:: SOT 514954 SOS 263157 HAS SOPS 258038 HAS SOUS 154966 HAS SOUPS 154058 WITH SCORE 154321.157
AT ITER 2545 NEW BEST:: SOT 514918 SOS 263147 HAS SOPS 257995 HAS SOUS 154956 HAS SOUPS 154015 WITH SCORE 154278.147
AT ITER 2548 NEW BEST:: SOT 514918 SOS 263313 HAS SOPS 258161 HAS SOUS 154888 HAS SOUPS 153947 WITH SCORE 154210.313
AT ITER 2551 NEW BEST:: SOT 514552 SOS 263235 HAS SOPS 257795 HAS SOUS 154549 HAS SOUPS 153572 WITH SCORE 153835.235
AT ITER 2555 NEW BEST:: SOT 514698 SOS 259438 HAS SOPS 253998 HAS SOUS 153805 HAS SOUPS 152828 WITH SCORE 153087.438
AT ITER 2559 NEW BEST:: SOT 514692 SOS 259426 HAS SOPS 253986 HAS SOUS 153787 HAS SOUPS 152810 WITH SCORE 153069.426
AT ITER 2563 NEW BEST:: SOT 514692 SOS 259438 HAS SOPS 253998 HAS SOUS 153784 HAS SOUPS 152807 WITH SCORE 153066.438
AT ITER 2575 NEW BEST:: SOT 514687 SOS 259428 HAS SOPS 253988 HAS SOUS 153756 HAS SOUPS 152779 WITH SCORE 153038.428
AT ITER 2579 NEW BEST:: SOT 514895 SOS 259557 HAS SOPS 254117 HAS SOUS 153667 HAS SOUPS 152690 WITH SCORE 152949.557
AT ITER 2587 NEW BEST:: SOT 514895 SOS 259793 HAS SOPS 254353 HAS SOUS 153549 HAS SOUPS 152572 WITH SCORE 152831.793
AT ITER 2588 NEW BEST:: SOT 514387 SOS 259389 HAS SOPS 253949 HAS SOUS 153157 HAS SOUPS 152180 WITH SCORE 152439.389
AT ITER 2607 NEW BEST:: SOT 514364 SOS 259366 HAS SOPS 253926 HAS SOUS 153093 HAS SOUPS 152116 WITH SCORE 152375.366
AT ITER 2609 NEW BEST:: SOT 514317 SOS 259319 HAS SOPS 253879 HAS SOUS 153046 HAS SOUPS 152069 WITH SCORE 152328.319
AT ITER 2618 NEW BEST:: SOT 514022 SOS 259405 HAS SOPS 253965 HAS SOUS 152869 HAS SOUPS 151892 WITH SCORE 152151.405
AT ITER 2641 NEW BEST:: SOT 513890 SOS 259141 HAS SOPS 253701 HAS SOUS 152605 HAS SOUPS 151628 WITH SCORE 151887.141
AT ITER 2649 NEW BEST:: SOT 513809 SOS 259060 HAS SOPS 253620 HAS SOUS 152597 HAS SOUPS 151620 WITH SCORE 151879.06
AT ITER 2662 NEW BEST:: SOT 513626 SOS 258404 HAS SOPS 252964 HAS SOUS 152314 HAS SOUPS 151337 WITH SCORE 151595.404
AT ITER 2670 NEW BEST:: SOT 513625 SOS 258342 HAS SOPS 252902 HAS SOUS 152221 HAS SOUPS 151244 WITH SCORE 151502.342
AT ITER 2673 NEW BEST:: SOT 514212 SOS 258856 HAS SOPS 253416 HAS SOUS 152103 HAS SOUPS 151126 WITH SCORE 151384.856
AT ITER 2694 NEW BEST:: SOT 514212 SOS 258856 HAS SOPS 253416 HAS SOUS 152057 HAS SOUPS 151080 WITH SCORE 151338.856
AT ITER 2701 NEW BEST:: SOT 514126 SOS 258572 HAS SOPS 253132 HAS SOUS 151917 HAS SOUPS 150940 WITH SCORE 151198.572
AT ITER 2705 NEW BEST:: SOT 514149 SOS 259064 HAS SOPS 253624 HAS SOUS 151751 HAS SOUPS 150774 WITH SCORE 151033.064
AT ITER 2714 NEW BEST:: SOT 514129 SOS 259044 HAS SOPS 253604 HAS SOUS 151711 HAS SOUPS 150734 WITH SCORE 150993.044
AT ITER 2743 NEW BEST:: SOT 514174 SOS 259120 HAS SOPS 253589 HAS SOUS 151696 HAS SOUPS 150719 WITH SCORE 150978.12
AT ITER 2745 NEW BEST:: SOT 514164 SOS 259110 HAS SOPS 253579 HAS SOUS 151696 HAS SOUPS 150719 WITH SCORE 150978.11
AT ITER 2748 NEW BEST:: SOT 513683 SOS 259047 HAS SOPS 253516 HAS SOUS 151582 HAS SOUPS 150605 WITH SCORE 150864.047
AT ITER 2751 NEW BEST:: SOT 513706 SOS 259061 HAS SOPS 253530 HAS SOUS 151559 HAS SOUPS 150582 WITH SCORE 150841.061
AT ITER 2765 NEW BEST:: SOT 513578 SOS 258899 HAS SOPS 253368 HAS SOUS 151419 HAS SOUPS 150442 WITH SCORE 150700.899
AT ITER 2771 NEW BEST:: SOT 513545 SOS 258686 HAS SOPS 253155 HAS SOUS 151353 HAS SOUPS 150376 WITH SCORE 150634.686
AT ITER 2774 NEW BEST:: SOT 512997 SOS 258208 HAS SOPS 252677 HAS SOUS 151046 HAS SOUPS 150069 WITH SCORE 150327.208
AT ITER 2779 NEW BEST:: SOT 513189 SOS 257952 HAS SOPS 252421 HAS SOUS 150854 HAS SOUPS 149877 WITH SCORE 150134.952
AT ITER 2786 NEW BEST:: SOT 512930 SOS 257730 HAS SOPS 252199 HAS SOUS 150632 HAS SOUPS 149655 WITH SCORE 149912.73
AT ITER 2795 NEW BEST:: SOT 512930 SOS 257730 HAS SOPS 252199 HAS SOUS 150627 HAS SOUPS 149650 WITH SCORE 149907.73
AT ITER 2799 NEW BEST:: SOT 512930 SOS 257725 HAS SOPS 252194 HAS SOUS 150627 HAS SOUPS 149650 WITH SCORE 149907.725
AT ITER 2803 NEW BEST:: SOT 512904 SOS 257686 HAS SOPS 252155 HAS SOUS 150588 HAS SOUPS 149611 WITH SCORE 149868.686
AT ITER 2808 NEW BEST:: SOT 512710 SOS 257569 HAS SOPS 252038 HAS SOUS 150549 HAS SOUPS 149572 WITH SCORE 149829.569
AT ITER 2809 NEW BEST:: SOT 512710 SOS 257569 HAS SOPS 252038 HAS SOUS 150496 HAS SOUPS 149519 WITH SCORE 149776.569
AT ITER 2821 NEW BEST:: SOT 512710 SOS 256231 HAS SOPS 250700 HAS SOUS 150496 HAS SOUPS 149519 WITH SCORE 149775.231
AT ITER 2848 NEW BEST:: SOT 512556 SOS 256218 HAS SOPS 250687 HAS SOUS 150418 HAS SOUPS 149441 WITH SCORE 149697.218
AT ITER 2855 NEW BEST:: SOT 512637 SOS 256392 HAS SOPS 250861 HAS SOUS 150211 HAS SOUPS 149234 WITH SCORE 149490.392
AT ITER 2856 NEW BEST:: SOT 512615 SOS 256370 HAS SOPS 250783 HAS SOUS 150133 HAS SOUPS 149156 WITH SCORE 149412.37
AT ITER 2874 NEW BEST:: SOT 512523 SOS 256368 HAS SOPS 250781 HAS SOUS 150061 HAS SOUPS 149084 WITH SCORE 149340.368
AT ITER 2876 NEW BEST:: SOT 512415 SOS 256207 HAS SOPS 250620 HAS SOUS 149913 HAS SOUPS 148936 WITH SCORE 149192.207
AT ITER 2879 NEW BEST:: SOT 512441 SOS 256262 HAS SOPS 250659 HAS SOUS 149736 HAS SOUPS 148759 WITH SCORE 149015.262
AT ITER 2880 NEW BEST:: SOT 512438 SOS 256467 HAS SOPS 250474 HAS SOUS 149759 HAS SOUPS 148756 WITH SCORE 149012.467
AT ITER 2888 NEW BEST:: SOT 512450 SOS 256450 HAS SOPS 250457 HAS SOUS 149653 HAS SOUPS 148650 WITH SCORE 148906.45
AT ITER 2900 NEW BEST:: SOT 512417 SOS 256417 HAS SOPS 250424 HAS SOUS 149585 HAS SOUPS 148582 WITH SCORE 148838.417
AT ITER 2927 NEW BEST:: SOT 512404 SOS 256482 HAS SOPS 250489 HAS SOUS 149482 HAS SOUPS 148479 WITH SCORE 148735.482
AT ITER 2951 NEW BEST:: SOT 512309 SOS 256387 HAS SOPS 250394 HAS SOUS 149132 HAS SOUPS 148129 WITH SCORE 148385.387
AT ITER 2952 NEW BEST:: SOT 512287 SOS 256343 HAS SOPS 250350 HAS SOUS 149088 HAS SOUPS 148085 WITH SCORE 148341.343
AT ITER 2965 NEW BEST:: SOT 512177 SOS 256233 HAS SOPS 250240 HAS SOUS 148943 HAS SOUPS 147940 WITH SCORE 148196.233
AT ITER 2972 NEW BEST:: SOT 512177 SOS 256233 HAS SOPS 250240 HAS SOUS 148941 HAS SOUPS 147938 WITH SCORE 148194.233
AT ITER 2977 NEW BEST:: SOT 512159 SOS 256197 HAS SOPS 250186 HAS SOUS 148905 HAS SOUPS 147902 WITH SCORE 148158.197
AT ITER 2978 NEW BEST:: SOT 512115 SOS 256175 HAS SOPS 250164 HAS SOUS 148861 HAS SOUPS 147858 WITH SCORE 148114.175
AT ITER 2984 NEW BEST:: SOT 512115 SOS 256049 HAS SOPS 250038 HAS SOUS 148855 HAS SOUPS 147852 WITH SCORE 148108.049
AT ITER 2990 NEW BEST:: SOT 512047 SOS 256000 HAS SOPS 249989 HAS SOUS 148756 HAS SOUPS 147753 WITH SCORE 148009.0
AT ITER 2993 NEW BEST:: SOT 512031 SOS 255984 HAS SOPS 249992 HAS SOUS 148736 HAS SOUPS 147733 WITH SCORE 147988.984
AT ITER 3012 NEW BEST:: SOT 512017 SOS 256433 HAS SOPS 250441 HAS SOUS 148688 HAS SOUPS 147685 WITH SCORE 147941.433
AT ITER 3013 NEW BEST:: SOT 511958 SOS 256366 HAS SOPS 250374 HAS SOUS 148488 HAS SOUPS 147485 WITH SCORE 147741.366
AT ITER 3027 NEW BEST:: SOT 511740 SOS 256209 HAS SOPS 250217 HAS SOUS 148389 HAS SOUPS 147386 WITH SCORE 147642.209
AT ITER 3036 NEW BEST:: SOT 511730 SOS 256207 HAS SOPS 250215 HAS SOUS 148369 HAS SOUPS 147366 WITH SCORE 147622.207
AT ITER 3037 NEW BEST:: SOT 511610 SOS 255327 HAS SOPS 249335 HAS SOUS 148249 HAS SOUPS 147246 WITH SCORE 147501.327
AT ITER 3043 NEW BEST:: SOT 511525 SOS 255242 HAS SOPS 249250 HAS SOUS 148079 HAS SOUPS 147076 WITH SCORE 147331.242
AT ITER 3047 NEW BEST:: SOT 511544 SOS 255261 HAS SOPS 249253 HAS SOUS 148088 HAS SOUPS 147074 WITH SCORE 147329.261
AT ITER 3050 NEW BEST:: SOT 510743 SOS 255510 HAS SOPS 249502 HAS SOUS 148013 HAS SOUPS 146999 WITH SCORE 147254.51
AT ITER 3052 NEW BEST:: SOT 510679 SOS 255446 HAS SOPS 249438 HAS SOUS 147825 HAS SOUPS 146811 WITH SCORE 147066.446
AT ITER 3069 NEW BEST:: SOT 510695 SOS 255406 HAS SOPS 249398 HAS SOUS 147811 HAS SOUPS 146797 WITH SCORE 147052.406
AT ITER 3104 NEW BEST:: SOT 510695 SOS 255406 HAS SOPS 249398 HAS SOUS 147798 HAS SOUPS 146784 WITH SCORE 147039.406
AT ITER 3106 NEW BEST:: SOT 510695 SOS 255460 HAS SOPS 249452 HAS SOUS 147744 HAS SOUPS 146730 WITH SCORE 146985.46
AT ITER 3113 NEW BEST:: SOT 510593 SOS 255307 HAS SOPS 249299 HAS SOUS 147489 HAS SOUPS 146475 WITH SCORE 146730.307
AT ITER 3119 NEW BEST:: SOT 510516 SOS 255377 HAS SOPS 249201 HAS SOUS 147349 HAS SOUPS 146314 WITH SCORE 146569.377
AT ITER 3136 NEW BEST:: SOT 510408 SOS 255588 HAS SOPS 249412 HAS SOUS 147340 HAS SOUPS 146305 WITH SCORE 146560.588
AT ITER 3184 NEW BEST:: SOT 510308 SOS 255506 HAS SOPS 249330 HAS SOUS 147269 HAS SOUPS 146234 WITH SCORE 146489.506
AT ITER 3188 NEW BEST:: SOT 510301 SOS 255401 HAS SOPS 249225 HAS SOUS 147144 HAS SOUPS 146109 WITH SCORE 146364.401
AT ITER 3204 NEW BEST:: SOT 510145 SOS 255284 HAS SOPS 249108 HAS SOUS 146991 HAS SOUPS 145956 WITH SCORE 146211.284
AT ITER 3206 NEW BEST:: SOT 509795 SOS 255350 HAS SOPS 249174 HAS SOUS 146953 HAS SOUPS 145918 WITH SCORE 146173.35
AT ITER 3212 NEW BEST:: SOT 509677 SOS 254541 HAS SOPS 248365 HAS SOUS 146881 HAS SOUPS 145846 WITH SCORE 146100.541
AT ITER 3218 NEW BEST:: SOT 509677 SOS 254416 HAS SOPS 248240 HAS SOUS 146881 HAS SOUPS 145846 WITH SCORE 146100.416
AT ITER 3219 NEW BEST:: SOT 509661 SOS 254400 HAS SOPS 248224 HAS SOUS 146849 HAS SOUPS 145814 WITH SCORE 146068.4
AT ITER 3248 NEW BEST:: SOT 508493 SOS 253236 HAS SOPS 247060 HAS SOUS 145762 HAS SOUPS 144727 WITH SCORE 144980.236
AT ITER 3252 NEW BEST:: SOT 508489 SOS 253285 HAS SOPS 247109 HAS SOUS 145754 HAS SOUPS 144719 WITH SCORE 144972.285
AT ITER 3259 NEW BEST:: SOT 507332 SOS 252517 HAS SOPS 246341 HAS SOUS 145562 HAS SOUPS 144527 WITH SCORE 144779.517
AT ITER 3268 NEW BEST:: SOT 507244 SOS 252456 HAS SOPS 246372 HAS SOUS 145318 HAS SOUPS 144283 WITH SCORE 144535.456
AT ITER 3283 NEW BEST:: SOT 507270 SOS 252482 HAS SOPS 246365 HAS SOUS 145312 HAS SOUPS 144269 WITH SCORE 144521.482
AT ITER 3289 NEW BEST:: SOT 507270 SOS 252437 HAS SOPS 246320 HAS SOUS 145294 HAS SOUPS 144251 WITH SCORE 144503.437
AT ITER 3291 NEW BEST:: SOT 507158 SOS 252325 HAS SOPS 246208 HAS SOUS 145187 HAS SOUPS 144144 WITH SCORE 144396.325
AT ITER 3293 NEW BEST:: SOT 507151 SOS 252318 HAS SOPS 246201 HAS SOUS 145180 HAS SOUPS 144137 WITH SCORE 144389.318
AT ITER 3326 NEW BEST:: SOT 507011 SOS 252178 HAS SOPS 246061 HAS SOUS 145068 HAS SOUPS 144025 WITH SCORE 144277.178
AT ITER 3331 NEW BEST:: SOT 507701 SOS 252595 HAS SOPS 246478 HAS SOUS 145011 HAS SOUPS 143968 WITH SCORE 144220.595
AT ITER 3354 NEW BEST:: SOT 507670 SOS 252784 HAS SOPS 246667 HAS SOUS 145003 HAS SOUPS 143960 WITH SCORE 144212.784
AT ITER 3363 NEW BEST:: SOT 507647 SOS 252738 HAS SOPS 246621 HAS SOUS 144934 HAS SOUPS 143914 WITH SCORE 144166.738
AT ITER 3367 NEW BEST:: SOT 507461 SOS 252366 HAS SOPS 246249 HAS SOUS 144655 HAS SOUPS 143635 WITH SCORE 143887.366
AT ITER 3376 NEW BEST:: SOT 507203 SOS 252171 HAS SOPS 246054 HAS SOUS 144536 HAS SOUPS 143516 WITH SCORE 143768.171
AT ITER 3385 NEW BEST:: SOT 507183 SOS 252151 HAS SOPS 246034 HAS SOUS 144486 HAS SOUPS 143466 WITH SCORE 143718.151
AT ITER 3389 NEW BEST:: SOT 507103 SOS 252071 HAS SOPS 245996 HAS SOUS 144455 HAS SOUPS 143435 WITH SCORE 143687.071
AT ITER 3390 NEW BEST:: SOT 507179 SOS 252222 HAS SOPS 246048 HAS SOUS 144302 HAS SOUPS 143282 WITH SCORE 143534.222
AT ITER 3422 NEW BEST:: SOT 506734 SOS 251799 HAS SOPS 245625 HAS SOUS 143880 HAS SOUPS 142860 WITH SCORE 143111.799
AT ITER 3424 NEW BEST:: SOT 506661 SOS 251784 HAS SOPS 245610 HAS SOUS 143838 HAS SOUPS 142818 WITH SCORE 143069.784
AT ITER 3436 NEW BEST:: SOT 506708 SOS 252079 HAS SOPS 245855 HAS SOUS 143818 HAS SOUPS 142798 WITH SCORE 143050.079
AT ITER 3438 NEW BEST:: SOT 506662 SOS 252764 HAS SOPS 246540 HAS SOUS 143574 HAS SOUPS 142554 WITH SCORE 142806.764
AT ITER 3470 NEW BEST:: SOT 506653 SOS 252746 HAS SOPS 246522 HAS SOUS 143556 HAS SOUPS 142536 WITH SCORE 142788.746
AT ITER 3480 NEW BEST:: SOT 506649 SOS 252738 HAS SOPS 246514 HAS SOUS 143552 HAS SOUPS 142532 WITH SCORE 142784.738
AT ITER 3485 NEW BEST:: SOT 506384 SOS 252473 HAS SOPS 246249 HAS SOUS 143272 HAS SOUPS 142252 WITH SCORE 142504.473
AT ITER 3510 NEW BEST:: SOT 506386 SOS 252583 HAS SOPS 246359 HAS SOUS 143000 HAS SOUPS 141980 WITH SCORE 142232.583
AT ITER 3516 NEW BEST:: SOT 506290 SOS 252504 HAS SOPS 246280 HAS SOUS 142824 HAS SOUPS 141804 WITH SCORE 142056.504
AT ITER 3522 NEW BEST:: SOT 505947 SOS 252546 HAS SOPS 246322 HAS SOUS 142654 HAS SOUPS 141634 WITH SCORE 141886.546
AT ITER 3538 NEW BEST:: SOT 505958 SOS 252548 HAS SOPS 245722 HAS SOUS 142656 HAS SOUPS 141546 WITH SCORE 141798.548
AT ITER 3543 NEW BEST:: SOT 506288 SOS 252517 HAS SOPS 245691 HAS SOUS 142177 HAS SOUPS 141067 WITH SCORE 141319.517
AT ITER 3562 NEW BEST:: SOT 506254 SOS 252441 HAS SOPS 245615 HAS SOUS 142143 HAS SOUPS 141033 WITH SCORE 141285.441
AT ITER 3591 NEW BEST:: SOT 506011 SOS 252266 HAS SOPS 245440 HAS SOUS 142076 HAS SOUPS 140966 WITH SCORE 141218.266
AT ITER 3595 NEW BEST:: SOT 505951 SOS 252269 HAS SOPS 245443 HAS SOUS 141956 HAS SOUPS 140846 WITH SCORE 141098.269
AT ITER 3597 NEW BEST:: SOT 505955 SOS 252273 HAS SOPS 245447 HAS SOUS 141954 HAS SOUPS 140844 WITH SCORE 141096.273
AT ITER 3615 NEW BEST:: SOT 505735 SOS 252030 HAS SOPS 245204 HAS SOUS 141789 HAS SOUPS 140679 WITH SCORE 140931.03
AT ITER 3619 NEW BEST:: SOT 505495 SOS 251790 HAS SOPS 244964 HAS SOUS 141489 HAS SOUPS 140379 WITH SCORE 140630.79
AT ITER 3620 NEW BEST:: SOT 505465 SOS 251770 HAS SOPS 244944 HAS SOUS 141479 HAS SOUPS 140369 WITH SCORE 140620.77
AT ITER 3622 NEW BEST:: SOT 505465 SOS 251842 HAS SOPS 245016 HAS SOUS 141477 HAS SOUPS 140367 WITH SCORE 140618.842
AT ITER 3660 NEW BEST:: SOT 505454 SOS 251839 HAS SOPS 245013 HAS SOUS 141433 HAS SOUPS 140323 WITH SCORE 140574.839
AT ITER 3665 NEW BEST:: SOT 505449 SOS 251839 HAS SOPS 245013 HAS SOUS 141418 HAS SOUPS 140308 WITH SCORE 140559.839
AT ITER 3667 NEW BEST:: SOT 505424 SOS 251792 HAS SOPS 244966 HAS SOUS 141393 HAS SOUPS 140283 WITH SCORE 140534.792
AT ITER 3668 NEW BEST:: SOT 505377 SOS 251465 HAS SOPS 244639 HAS SOUS 141347 HAS SOUPS 140237 WITH SCORE 140488.465
AT ITER 3707 NEW BEST:: SOT 505377 SOS 251624 HAS SOPS 244798 HAS SOUS 141344 HAS SOUPS 140234 WITH SCORE 140485.624
AT ITER 3712 NEW BEST:: SOT 505361 SOS 251612 HAS SOPS 244786 HAS SOUS 141344 HAS SOUPS 140234 WITH SCORE 140485.612
AT ITER 3715 NEW BEST:: SOT 505387 SOS 251556 HAS SOPS 244730 HAS SOUS 141331 HAS SOUPS 140221 WITH SCORE 140472.556
AT ITER 3724 NEW BEST:: SOT 504986 SOS 250361 HAS SOPS 243535 HAS SOUS 140930 HAS SOUPS 139820 WITH SCORE 140070.361
AT ITER 3736 NEW BEST:: SOT 504996 SOS 250354 HAS SOPS 243528 HAS SOUS 140869 HAS SOUPS 139759 WITH SCORE 140009.354
AT ITER 3739 NEW BEST:: SOT 504774 SOS 249836 HAS SOPS 243010 HAS SOUS 140351 HAS SOUPS 139241 WITH SCORE 139490.836
AT ITER 3741 NEW BEST:: SOT 504695 SOS 249915 HAS SOPS 243089 HAS SOUS 140193 HAS SOUPS 139083 WITH SCORE 139332.915
AT ITER 3743 NEW BEST:: SOT 504663 SOS 250685 HAS SOPS 243859 HAS SOUS 140186 HAS SOUPS 139076 WITH SCORE 139326.685
AT ITER 3776 NEW BEST:: SOT 504653 SOS 250680 HAS SOPS 243854 HAS SOUS 140176 HAS SOUPS 139066 WITH SCORE 139316.68
AT ITER 3783 NEW BEST:: SOT 504652 SOS 250679 HAS SOPS 243853 HAS SOUS 140175 HAS SOUPS 139065 WITH SCORE 139315.679
AT ITER 3805 NEW BEST:: SOT 504659 SOS 250693 HAS SOPS 243867 HAS SOUS 140123 HAS SOUPS 139013 WITH SCORE 139263.693
AT ITER 3811 NEW BEST:: SOT 504563 SOS 250477 HAS SOPS 243755 HAS SOUS 140001 HAS SOUPS 138904 WITH SCORE 139154.477
AT ITER 3823 NEW BEST:: SOT 504447 SOS 250361 HAS SOPS 243625 HAS SOUS 139881 HAS SOUPS 138774 WITH SCORE 139024.361
AT ITER 3828 NEW BEST:: SOT 504417 SOS 250356 HAS SOPS 243620 HAS SOUS 139879 HAS SOUPS 138772 WITH SCORE 139022.356
AT ITER 3842 NEW BEST:: SOT 504419 SOS 250358 HAS SOPS 243622 HAS SOUS 139864 HAS SOUPS 138757 WITH SCORE 139007.358
AT ITER 3850 NEW BEST:: SOT 504416 SOS 250333 HAS SOPS 243597 HAS SOUS 139847 HAS SOUPS 138740 WITH SCORE 138990.333
AT ITER 3854 NEW BEST:: SOT 504383 SOS 250246 HAS SOPS 243510 HAS SOUS 139823 HAS SOUPS 138716 WITH SCORE 138966.246
AT ITER 3859 NEW BEST:: SOT 504300 SOS 250234 HAS SOPS 243498 HAS SOUS 139619 HAS SOUPS 138512 WITH SCORE 138762.234
AT ITER 3861 NEW BEST:: SOT 504297 SOS 250204 HAS SOPS 243468 HAS SOUS 139568 HAS SOUPS 138461 WITH SCORE 138711.204
AT ITER 3864 NEW BEST:: SOT 504037 SOS 249542 HAS SOPS 242806 HAS SOUS 139048 HAS SOUPS 137941 WITH SCORE 138190.542
AT ITER 3887 NEW BEST:: SOT 504006 SOS 249603 HAS SOPS 242867 HAS SOUS 139041 HAS SOUPS 137934 WITH SCORE 138183.603
AT ITER 3890 NEW BEST:: SOT 503979 SOS 249576 HAS SOPS 242840 HAS SOUS 138987 HAS SOUPS 137880 WITH SCORE 138129.576
AT ITER 3892 NEW BEST:: SOT 503979 SOS 249576 HAS SOPS 242840 HAS SOUS 138978 HAS SOUPS 137871 WITH SCORE 138120.576
AT ITER 3910 NEW BEST:: SOT 503991 SOS 249792 HAS SOPS 243056 HAS SOUS 138613 HAS SOUPS 137506 WITH SCORE 137755.792
AT ITER 3928 NEW BEST:: SOT 503395 SOS 251541 HAS SOPS 244477 HAS SOUS 138355 HAS SOUPS 137181 WITH SCORE 137432.541
AT ITER 3931 NEW BEST:: SOT 503395 SOS 251461 HAS SOPS 244407 HAS SOUS 138355 HAS SOUPS 137181 WITH SCORE 137432.461
AT ITER 3949 NEW BEST:: SOT 502347 SOS 250653 HAS SOPS 243359 HAS SOUS 137337 HAS SOUPS 136133 WITH SCORE 136383.653
AT ITER 3993 NEW BEST:: SOT 502258 SOS 250604 HAS SOPS 243310 HAS SOUS 137225 HAS SOUPS 136021 WITH SCORE 136271.604
AT ITER 4004 NEW BEST:: SOT 502198 SOS 250544 HAS SOPS 243250 HAS SOUS 137105 HAS SOUPS 135901 WITH SCORE 136151.544
AT ITER 4012 NEW BEST:: SOT 502234 SOS 250652 HAS SOPS 243358 HAS SOUS 137081 HAS SOUPS 135877 WITH SCORE 136127.652
AT ITER 4023 NEW BEST:: SOT 502204 SOS 250590 HAS SOPS 243296 HAS SOUS 137053 HAS SOUPS 135849 WITH SCORE 136099.59
AT ITER 4027 NEW BEST:: SOT 502206 SOS 249334 HAS SOPS 242024 HAS SOUS 137042 HAS SOUPS 135836 WITH SCORE 136085.334
AT ITER 4050 NEW BEST:: SOT 502167 SOS 249252 HAS SOPS 241942 HAS SOUS 136948 HAS SOUPS 135742 WITH SCORE 135991.252
AT ITER 4067 NEW BEST:: SOT 502084 SOS 249209 HAS SOPS 241899 HAS SOUS 136835 HAS SOUPS 135629 WITH SCORE 135878.209
AT ITER 4073 NEW BEST:: SOT 502080 SOS 249203 HAS SOPS 241893 HAS SOUS 136825 HAS SOUPS 135619 WITH SCORE 135868.203
AT ITER 4075 NEW BEST:: SOT 501341 SOS 248493 HAS SOPS 241183 HAS SOUS 136127 HAS SOUPS 134921 WITH SCORE 135169.493
AT ITER 4079 NEW BEST:: SOT 501296 SOS 248316 HAS SOPS 241006 HAS SOUS 136109 HAS SOUPS 134903 WITH SCORE 135151.316
AT ITER 4083 NEW BEST:: SOT 501165 SOS 248213 HAS SOPS 240903 HAS SOUS 135987 HAS SOUPS 134781 WITH SCORE 135029.213
AT ITER 4098 NEW BEST:: SOT 501040 SOS 248088 HAS SOPS 240820 HAS SOUS 135946 HAS SOUPS 134740 WITH SCORE 134988.088
AT ITER 4104 NEW BEST:: SOT 501097 SOS 248301 HAS SOPS 241033 HAS SOUS 135904 HAS SOUPS 134698 WITH SCORE 134946.301
AT ITER 4119 NEW BEST:: SOT 501079 SOS 248265 HAS SOPS 240997 HAS SOUS 135868 HAS SOUPS 134662 WITH SCORE 134910.265
AT ITER 4126 NEW BEST:: SOT 500935 SOS 248213 HAS SOPS 240945 HAS SOUS 135691 HAS SOUPS 134485 WITH SCORE 134733.213
AT ITER 4138 NEW BEST:: SOT 500706 SOS 247984 HAS SOPS 240716 HAS SOUS 135462 HAS SOUPS 134256 WITH SCORE 134503.984
AT ITER 4142 NEW BEST:: SOT 500702 SOS 248013 HAS SOPS 240745 HAS SOUS 135454 HAS SOUPS 134248 WITH SCORE 134496.013
AT ITER 4176 NEW BEST:: SOT 500702 SOS 248038 HAS SOPS 240770 HAS SOUS 135332 HAS SOUPS 134126 WITH SCORE 134374.038
AT ITER 4177 NEW BEST:: SOT 500684 SOS 248020 HAS SOPS 240752 HAS SOUS 135314 HAS SOUPS 134108 WITH SCORE 134356.02
AT ITER 4178 NEW BEST:: SOT 500764 SOS 248029 HAS SOPS 240761 HAS SOUS 135262 HAS SOUPS 134056 WITH SCORE 134304.029
AT ITER 4184 NEW BEST:: SOT 501063 SOS 248189 HAS SOPS 240921 HAS SOUS 135209 HAS SOUPS 134003 WITH SCORE 134251.189
AT ITER 4200 NEW BEST:: SOT 500240 SOS 248523 HAS SOPS 241255 HAS SOUS 134644 HAS SOUPS 133438 WITH SCORE 133686.523
AT ITER 4214 NEW BEST:: SOT 500223 SOS 248514 HAS SOPS 241246 HAS SOUS 134610 HAS SOUPS 133404 WITH SCORE 133652.514
AT ITER 4215 NEW BEST:: SOT 499918 SOS 248720 HAS SOPS 241452 HAS SOUS 133288 HAS SOUPS 132082 WITH SCORE 132330.72
AT ITER 4231 NEW BEST:: SOT 499897 SOS 248666 HAS SOPS 241398 HAS SOUS 133246 HAS SOUPS 132040 WITH SCORE 132288.666
AT ITER 4236 NEW BEST:: SOT 499877 SOS 248626 HAS SOPS 241358 HAS SOUS 133206 HAS SOUPS 132000 WITH SCORE 132248.626
AT ITER 4239 NEW BEST:: SOT 499877 SOS 248524 HAS SOPS 241256 HAS SOUS 133206 HAS SOUPS 132000 WITH SCORE 132248.524
AT ITER 4273 NEW BEST:: SOT 499877 SOS 248552 HAS SOPS 241284 HAS SOUS 133192 HAS SOUPS 131986 WITH SCORE 132234.552
AT ITER 4295 NEW BEST:: SOT 499850 SOS 248498 HAS SOPS 241230 HAS SOUS 133138 HAS SOUPS 131932 WITH SCORE 132180.498
AT ITER 4303 NEW BEST:: SOT 499787 SOS 248435 HAS SOPS 241167 HAS SOUS 133092 HAS SOUPS 131886 WITH SCORE 132134.435
AT ITER 4306 NEW BEST:: SOT 499671 SOS 248435 HAS SOPS 241167 HAS SOUS 132860 HAS SOUPS 131654 WITH SCORE 131902.435
AT ITER 4319 NEW BEST:: SOT 499596 SOS 248360 HAS SOPS 241092 HAS SOUS 132812 HAS SOUPS 131606 WITH SCORE 131854.36
AT ITER 4323 NEW BEST:: SOT 499627 SOS 248417 HAS SOPS 241149 HAS SOUS 132783 HAS SOUPS 131577 WITH SCORE 131825.417
AT ITER 4329 NEW BEST:: SOT 499504 SOS 248319 HAS SOPS 241051 HAS SOUS 132662 HAS SOUPS 131456 WITH SCORE 131704.319
AT ITER 4337 NEW BEST:: SOT 499504 SOS 248301 HAS SOPS 241033 HAS SOUS 132626 HAS SOUPS 131420 WITH SCORE 131668.301
AT ITER 4345 NEW BEST:: SOT 499588 SOS 248088 HAS SOPS 240820 HAS SOUS 132530 HAS SOUPS 131324 WITH SCORE 131572.088
AT ITER 4358 NEW BEST:: SOT 499550 SOS 248012 HAS SOPS 240744 HAS SOUS 132454 HAS SOUPS 131248 WITH SCORE 131496.012
AT ITER 4374 NEW BEST:: SOT 499400 SOS 247814 HAS SOPS 240546 HAS SOUS 132376 HAS SOUPS 131170 WITH SCORE 131417.814
AT ITER 4378 NEW BEST:: SOT 499355 SOS 247769 HAS SOPS 240501 HAS SOUS 132348 HAS SOUPS 131142 WITH SCORE 131389.769
AT ITER 4407 NEW BEST:: SOT 499278 SOS 247692 HAS SOPS 240424 HAS SOUS 132246 HAS SOUPS 131040 WITH SCORE 131287.692
AT ITER 4411 NEW BEST:: SOT 499093 SOS 247428 HAS SOPS 240160 HAS SOUS 131765 HAS SOUPS 130559 WITH SCORE 130806.428
AT ITER 4414 NEW BEST:: SOT 499137 SOS 247433 HAS SOPS 240165 HAS SOUS 131671 HAS SOUPS 130465 WITH SCORE 130712.433
AT ITER 4416 NEW BEST:: SOT 499161 SOS 247417 HAS SOPS 240125 HAS SOUS 131584 HAS SOUPS 130378 WITH SCORE 130625.417
AT ITER 4436 NEW BEST:: SOT 499070 SOS 247286 HAS SOPS 239994 HAS SOUS 131482 HAS SOUPS 130276 WITH SCORE 130523.286
AT ITER 4451 NEW BEST:: SOT 499038 SOS 247106 HAS SOPS 239814 HAS SOUS 131456 HAS SOUPS 130250 WITH SCORE 130497.106
AT ITER 4495 NEW BEST:: SOT 499037 SOS 247105 HAS SOPS 239813 HAS SOUS 131454 HAS SOUPS 130248 WITH SCORE 130495.105
AT ITER 4499 NEW BEST:: SOT 498923 SOS 246978 HAS SOPS 239686 HAS SOUS 131334 HAS SOUPS 130128 WITH SCORE 130374.978
AT ITER 4504 NEW BEST:: SOT 498894 SOS 246949 HAS SOPS 239657 HAS SOUS 131276 HAS SOUPS 130070 WITH SCORE 130316.949
AT ITER 4516 NEW BEST:: SOT 498889 SOS 246924 HAS SOPS 239632 HAS SOUS 131206 HAS SOUPS 130000 WITH SCORE 130246.924
AT ITER 4520 NEW BEST:: SOT 498841 SOS 246876 HAS SOPS 239584 HAS SOUS 131206 HAS SOUPS 130000 WITH SCORE 130246.876
AT ITER 4523 NEW BEST:: SOT 498785 SOS 246883 HAS SOPS 239591 HAS SOUS 131172 HAS SOUPS 129966 WITH SCORE 130212.883
AT ITER 4535 NEW BEST:: SOT 498255 SOS 246174 HAS SOPS 238882 HAS SOUS 130313 HAS SOUPS 129107 WITH SCORE 129353.174
AT ITER 4607 NEW BEST:: SOT 498154 SOS 245991 HAS SOPS 238699 HAS SOUS 130187 HAS SOUPS 128981 WITH SCORE 129226.991
AT ITER 4636 NEW BEST:: SOT 497851 SOS 246714 HAS SOPS 239422 HAS SOUS 130091 HAS SOUPS 128885 WITH SCORE 129131.714
AT ITER 4655 NEW BEST:: SOT 497823 SOS 246658 HAS SOPS 239366 HAS SOUS 130035 HAS SOUPS 128829 WITH SCORE 129075.658
AT ITER 4669 NEW BEST:: SOT 497793 SOS 246628 HAS SOPS 239336 HAS SOUS 129990 HAS SOUPS 128784 WITH SCORE 129030.628
AT ITER 4670 NEW BEST:: SOT 497796 SOS 246631 HAS SOPS 239339 HAS SOUS 129984 HAS SOUPS 128778 WITH SCORE 129024.631
AT ITER 4672 NEW BEST:: SOT 497723 SOS 246786 HAS SOPS 239494 HAS SOUS 129838 HAS SOUPS 128632 WITH SCORE 128878.786
AT ITER 4676 NEW BEST:: SOT 497681 SOS 246772 HAS SOPS 239480 HAS SOUS 129782 HAS SOUPS 128576 WITH SCORE 128822.772
AT ITER 4680 NEW BEST:: SOT 497677 SOS 246768 HAS SOPS 239476 HAS SOUS 129776 HAS SOUPS 128570 WITH SCORE 128816.768
AT ITER 4707 NEW BEST:: SOT 497645 SOS 246736 HAS SOPS 239444 HAS SOUS 129744 HAS SOUPS 128538 WITH SCORE 128784.736
AT ITER 4725 NEW BEST:: SOT 497615 SOS 246676 HAS SOPS 239384 HAS SOUS 129684 HAS SOUPS 128478 WITH SCORE 128724.676
AT ITER 4730 NEW BEST:: SOT 497604 SOS 246665 HAS SOPS 239373 HAS SOUS 129663 HAS SOUPS 128457 WITH SCORE 128703.665
AT ITER 4738 NEW BEST:: SOT 497604 SOS 246656 HAS SOPS 239364 HAS SOUS 129663 HAS SOUPS 128457 WITH SCORE 128703.656
AT ITER 4741 NEW BEST:: SOT 497469 SOS 246425 HAS SOPS 239133 HAS SOUS 129432 HAS SOUPS 128226 WITH SCORE 128472.425
AT ITER 4755 NEW BEST:: SOT 497454 SOS 246413 HAS SOPS 239121 HAS SOUS 129420 HAS SOUPS 128214 WITH SCORE 128460.413
AT ITER 4756 NEW BEST:: SOT 497414 SOS 246323 HAS SOPS 239031 HAS SOUS 129302 HAS SOUPS 128096 WITH SCORE 128342.323
AT ITER 4766 NEW BEST:: SOT 497407 SOS 246316 HAS SOPS 239024 HAS SOUS 129269 HAS SOUPS 128063 WITH SCORE 128309.316
AT ITER 4770 NEW BEST:: SOT 497287 SOS 246393 HAS SOPS 239101 HAS SOUS 129222 HAS SOUPS 128016 WITH SCORE 128262.393
AT ITER 4786 NEW BEST:: SOT 497098 SOS 246110 HAS SOPS 238818 HAS SOUS 129052 HAS SOUPS 127846 WITH SCORE 128092.11
AT ITER 4798 NEW BEST:: SOT 497092 SOS 246104 HAS SOPS 238812 HAS SOUS 129046 HAS SOUPS 127840 WITH SCORE 128086.104
AT ITER 4820 NEW BEST:: SOT 497102 SOS 246079 HAS SOPS 238787 HAS SOUS 129041 HAS SOUPS 127835 WITH SCORE 128081.079
AT ITER 4841 NEW BEST:: SOT 497104 SOS 246482 HAS SOPS 239190 HAS SOUS 128951 HAS SOUPS 127745 WITH SCORE 127991.482
AT ITER 4847 NEW BEST:: SOT 497053 SOS 246557 HAS SOPS 239265 HAS SOUS 128888 HAS SOUPS 127682 WITH SCORE 127928.557
AT ITER 4855 NEW BEST:: SOT 496840 SOS 246391 HAS SOPS 239099 HAS SOUS 128758 HAS SOUPS 127552 WITH SCORE 127798.391
AT ITER 4865 NEW BEST:: SOT 496827 SOS 246399 HAS SOPS 239107 HAS SOUS 128732 HAS SOUPS 127526 WITH SCORE 127772.399
AT ITER 4893 NEW BEST:: SOT 496802 SOS 246374 HAS SOPS 239082 HAS SOUS 128707 HAS SOUPS 127501 WITH SCORE 127747.374
AT ITER 4895 NEW BEST:: SOT 496445 SOS 246422 HAS SOPS 239130 HAS SOUS 128369 HAS SOUPS 127163 WITH SCORE 127409.422
AT ITER 4915 NEW BEST:: SOT 496882 SOS 246546 HAS SOPS 239254 HAS SOUS 128363 HAS SOUPS 127157 WITH SCORE 127403.546
AT ITER 4917 NEW BEST:: SOT 496884 SOS 246415 HAS SOPS 239123 HAS SOUS 128357 HAS SOUPS 127151 WITH SCORE 127397.415
AT ITER 4950 NEW BEST:: SOT 496863 SOS 246394 HAS SOPS 239102 HAS SOUS 128336 HAS SOUPS 127130 WITH SCORE 127376.394
AT ITER 4969 NEW BEST:: SOT 496817 SOS 246256 HAS SOPS 238919 HAS SOUS 128199 HAS SOUPS 126993 WITH SCORE 127239.256
AT ITER 4982 NEW BEST:: SOT 496817 SOS 246229 HAS SOPS 238892 HAS SOUS 128197 HAS SOUPS 126991 WITH SCORE 127237.229
AT ITER 4984 NEW BEST:: SOT 496763 SOS 246175 HAS SOPS 238838 HAS SOUS 128145 HAS SOUPS 126939 WITH SCORE 127185.175
AT ITER 4986 NEW BEST:: SOT 496664 SOS 246115 HAS SOPS 238778 HAS SOUS 128062 HAS SOUPS 126856 WITH SCORE 127102.115
AT ITER 4987 NEW BEST:: SOT 496636 SOS 246037 HAS SOPS 238700 HAS SOUS 128006 HAS SOUPS 126800 WITH SCORE 127046.037
AT ITER 4992 NEW BEST:: SOT 496520 SOS 245963 HAS SOPS 238626 HAS SOUS 127643 HAS SOUPS 126437 WITH SCORE 126682.963
AT ITER 4997 NEW BEST:: SOT 496459 SOS 245902 HAS SOPS 238565 HAS SOUS 127510 HAS SOUPS 126304 WITH SCORE 126549.902
AT ITER 5014 NEW BEST:: SOT 496281 SOS 245673 HAS SOPS 238336 HAS SOUS 127261 HAS SOUPS 126055 WITH SCORE 126300.673
AT ITER 5021 NEW BEST:: SOT 496310 SOS 245665 HAS SOPS 238328 HAS SOUS 127155 HAS SOUPS 125949 WITH SCORE 126194.665
AT ITER 5032 NEW BEST:: SOT 496543 SOS 246147 HAS SOPS 238810 HAS SOUS 127141 HAS SOUPS 125935 WITH SCORE 126181.147
AT ITER 5053 NEW BEST:: SOT 496552 SOS 246165 HAS SOPS 238828 HAS SOUS 127132 HAS SOUPS 125926 WITH SCORE 126172.165
AT ITER 5071 NEW BEST:: SOT 496544 SOS 246157 HAS SOPS 238820 HAS SOUS 127127 HAS SOUPS 125921 WITH SCORE 126167.157
AT ITER 5119 NEW BEST:: SOT 496544 SOS 246140 HAS SOPS 238803 HAS SOUS 127127 HAS SOUPS 125921 WITH SCORE 126167.14
AT ITER 5152 NEW BEST:: SOT 496526 SOS 246032 HAS SOPS 238695 HAS SOUS 127096 HAS SOUPS 125890 WITH SCORE 126136.032
AT ITER 5160 NEW BEST:: SOT 496513 SOS 246043 HAS SOPS 238706 HAS SOUS 127086 HAS SOUPS 125880 WITH SCORE 126126.043
AT ITER 5169 NEW BEST:: SOT 496545 SOS 246044 HAS SOPS 238707 HAS SOUS 127006 HAS SOUPS 125800 WITH SCORE 126046.044
AT ITER 5173 NEW BEST:: SOT 496515 SOS 246014 HAS SOPS 238677 HAS SOUS 126976 HAS SOUPS 125770 WITH SCORE 126016.014
AT ITER 5191 NEW BEST:: SOT 496513 SOS 246110 HAS SOPS 238773 HAS SOUS 126776 HAS SOUPS 125570 WITH SCORE 125816.11
AT ITER 5192 NEW BEST:: SOT 496533 SOS 246121 HAS SOPS 238784 HAS SOUS 126760 HAS SOUPS 125554 WITH SCORE 125800.121
AT ITER 5197 NEW BEST:: SOT 496522 SOS 246116 HAS SOPS 238779 HAS SOUS 126755 HAS SOUPS 125549 WITH SCORE 125795.116
AT ITER 5204 NEW BEST:: SOT 496502 SOS 246096 HAS SOPS 238749 HAS SOUS 126720 HAS SOUPS 125514 WITH SCORE 125760.096
AT ITER 5209 NEW BEST:: SOT 496620 SOS 246035 HAS SOPS 238688 HAS SOUS 126700 HAS SOUPS 125494 WITH SCORE 125740.035
AT ITER 5223 NEW BEST:: SOT 496620 SOS 246097 HAS SOPS 238750 HAS SOUS 126669 HAS SOUPS 125463 WITH SCORE 125709.097
AT ITER 5227 NEW BEST:: SOT 496693 SOS 246315 HAS SOPS 238968 HAS SOUS 126531 HAS SOUPS 125325 WITH SCORE 125571.315
AT ITER 5239 NEW BEST:: SOT 497173 SOS 246464 HAS SOPS 239117 HAS SOUS 126277 HAS SOUPS 125071 WITH SCORE 125317.464
AT ITER 5257 NEW BEST:: SOT 496928 SOS 246443 HAS SOPS 239096 HAS SOUS 126077 HAS SOUPS 124871 WITH SCORE 125117.443
AT ITER 5292 NEW BEST:: SOT 496912 SOS 246595 HAS SOPS 239248 HAS SOUS 126071 HAS SOUPS 124865 WITH SCORE 125111.595
AT ITER 5325 NEW BEST:: SOT 496662 SOS 246345 HAS SOPS 238998 HAS SOUS 125623 HAS SOUPS 124417 WITH SCORE 124663.345
AT ITER 5344 NEW BEST:: SOT 496659 SOS 246342 HAS SOPS 238995 HAS SOUS 125617 HAS SOUPS 124411 WITH SCORE 124657.342
AT ITER 5356 NEW BEST:: SOT 496659 SOS 246254 HAS SOPS 238907 HAS SOUS 125529 HAS SOUPS 124323 WITH SCORE 124569.254
AT ITER 5392 NEW BEST:: SOT 496690 SOS 247126 HAS SOPS 239779 HAS SOUS 125360 HAS SOUPS 124154 WITH SCORE 124401.126
AT ITER 5406 NEW BEST:: SOT 496694 SOS 247130 HAS SOPS 239783 HAS SOUS 125354 HAS SOUPS 124148 WITH SCORE 124395.13
AT ITER 5410 NEW BEST:: SOT 496684 SOS 247120 HAS SOPS 239773 HAS SOUS 125344 HAS SOUPS 124138 WITH SCORE 124385.12
AT ITER 5420 NEW BEST:: SOT 496587 SOS 247029 HAS SOPS 239682 HAS SOUS 125344 HAS SOUPS 124138 WITH SCORE 124385.029
AT ITER 5456 NEW BEST:: SOT 496555 SOS 246997 HAS SOPS 239650 HAS SOUS 125280 HAS SOUPS 124074 WITH SCORE 124320.997
AT ITER 5470 NEW BEST:: SOT 496325 SOS 247216 HAS SOPS 239869 HAS SOUS 125186 HAS SOUPS 123980 WITH SCORE 124227.216
AT ITER 5475 NEW BEST:: SOT 496325 SOS 247180 HAS SOPS 239833 HAS SOUS 125186 HAS SOUPS 123980 WITH SCORE 124227.18
AT ITER 5482 NEW BEST:: SOT 496240 SOS 247095 HAS SOPS 239763 HAS SOUS 125078 HAS SOUPS 123872 WITH SCORE 124119.095
AT ITER 5486 NEW BEST:: SOT 496227 SOS 246900 HAS SOPS 239568 HAS SOUS 125052 HAS SOUPS 123846 WITH SCORE 124092.9
AT ITER 5497 NEW BEST:: SOT 496174 SOS 246785 HAS SOPS 239453 HAS SOUS 125052 HAS SOUPS 123846 WITH SCORE 124092.785
AT ITER 5507 NEW BEST:: SOT 496161 SOS 246750 HAS SOPS 239418 HAS SOUS 125032 HAS SOUPS 123826 WITH SCORE 124072.75
AT ITER 5511 NEW BEST:: SOT 496157 SOS 246748 HAS SOPS 239416 HAS SOUS 125015 HAS SOUPS 123809 WITH SCORE 124055.748
AT ITER 5528 NEW BEST:: SOT 496143 SOS 246732 HAS SOPS 239400 HAS SOUS 124999 HAS SOUPS 123793 WITH SCORE 124039.732
AT ITER 5541 NEW BEST:: SOT 496134 SOS 246747 HAS SOPS 239415 HAS SOUS 124990 HAS SOUPS 123784 WITH SCORE 124030.747
AT ITER 5545 NEW BEST:: SOT 496516 SOS 247222 HAS SOPS 239890 HAS SOUS 124926 HAS SOUPS 123720 WITH SCORE 123967.222
AT ITER 5600 NEW BEST:: SOT 496429 SOS 247166 HAS SOPS 239834 HAS SOUS 124752 HAS SOUPS 123546 WITH SCORE 123793.166
AT ITER 5616 NEW BEST:: SOT 496164 SOS 248479 HAS SOPS 241029 HAS SOUS 124645 HAS SOUPS 123426 WITH SCORE 123674.479
AT ITER 5629 NEW BEST:: SOT 496098 SOS 248395 HAS SOPS 240681 HAS SOUS 124567 HAS SOUPS 123304 WITH SCORE 123552.395
AT ITER 5639 NEW BEST:: SOT 496098 SOS 248026 HAS SOPS 240473 HAS SOUS 124553 HAS SOUPS 123303 WITH SCORE 123551.026
AT ITER 5640 NEW BEST:: SOT 496097 SOS 247939 HAS SOPS 240386 HAS SOUS 124517 HAS SOUPS 123267 WITH SCORE 123514.939
AT ITER 5649 NEW BEST:: SOT 496130 SOS 248045 HAS SOPS 240492 HAS SOUS 124455 HAS SOUPS 123205 WITH SCORE 123453.045
AT ITER 5667 NEW BEST:: SOT 496117 SOS 248032 HAS SOPS 240479 HAS SOUS 124442 HAS SOUPS 123192 WITH SCORE 123440.032
AT ITER 5712 NEW BEST:: SOT 496117 SOS 247964 HAS SOPS 240411 HAS SOUS 124442 HAS SOUPS 123192 WITH SCORE 123439.964
AT ITER 5713 NEW BEST:: SOT 496195 SOS 247769 HAS SOPS 240216 HAS SOUS 124423 HAS SOUPS 123173 WITH SCORE 123420.769
AT ITER 5725 NEW BEST:: SOT 496122 SOS 247696 HAS SOPS 240143 HAS SOUS 124359 HAS SOUPS 123109 WITH SCORE 123356.696
AT ITER 5777 NEW BEST:: SOT 496109 SOS 247676 HAS SOPS 240123 HAS SOUS 124316 HAS SOUPS 123066 WITH SCORE 123313.676
AT ITER 5779 NEW BEST:: SOT 496113 SOS 247686 HAS SOPS 240133 HAS SOUS 124311 HAS SOUPS 123061 WITH SCORE 123308.686
AT ITER 5793 NEW BEST:: SOT 495953 SOS 247366 HAS SOPS 239813 HAS SOUS 124231 HAS SOUPS 122981 WITH SCORE 123228.366
AT ITER 5821 NEW BEST:: SOT 495980 SOS 247430 HAS SOPS 239877 HAS SOUS 124210 HAS SOUPS 122960 WITH SCORE 123207.43
AT ITER 5844 NEW BEST:: SOT 495972 SOS 247364 HAS SOPS 239811 HAS SOUS 124146 HAS SOUPS 122896 WITH SCORE 123143.364
AT ITER 5849 NEW BEST:: SOT 495878 SOS 247270 HAS SOPS 239717 HAS SOUS 124025 HAS SOUPS 122775 WITH SCORE 123022.27
AT ITER 5879 NEW BEST:: SOT 495787 SOS 247170 HAS SOPS 239708 HAS SOUS 124016 HAS SOUPS 122766 WITH SCORE 123013.17
AT ITER 5891 NEW BEST:: SOT 495566 SOS 247036 HAS SOPS 239574 HAS SOUS 123729 HAS SOUPS 122479 WITH SCORE 122726.036
AT ITER 5919 NEW BEST:: SOT 495357 SOS 246768 HAS SOPS 239306 HAS SOUS 123466 HAS SOUPS 122216 WITH SCORE 122462.768
AT ITER 5932 NEW BEST:: SOT 495323 SOS 246769 HAS SOPS 239307 HAS SOUS 123428 HAS SOUPS 122178 WITH SCORE 122424.769
AT ITER 5934 NEW BEST:: SOT 495308 SOS 246754 HAS SOPS 239292 HAS SOUS 123399 HAS SOUPS 122149 WITH SCORE 122395.754
AT ITER 5956 NEW BEST:: SOT 495350 SOS 246706 HAS SOPS 239244 HAS SOUS 123363 HAS SOUPS 122113 WITH SCORE 122359.706
AT ITER 5960 NEW BEST:: SOT 495341 SOS 246697 HAS SOPS 239226 HAS SOUS 123329 HAS SOUPS 122079 WITH SCORE 122325.697
AT ITER 5964 NEW BEST:: SOT 495322 SOS 246522 HAS SOPS 239051 HAS SOUS 123306 HAS SOUPS 122056 WITH SCORE 122302.522
AT ITER 5965 NEW BEST:: SOT 495322 SOS 246431 HAS SOPS 238960 HAS SOUS 123306 HAS SOUPS 122056 WITH SCORE 122302.431
AT ITER 5967 NEW BEST:: SOT 495306 SOS 246421 HAS SOPS 238950 HAS SOUS 123274 HAS SOUPS 122024 WITH SCORE 122270.421
AT ITER 5969 NEW BEST:: SOT 495306 SOS 246421 HAS SOPS 238935 HAS SOUS 123259 HAS SOUPS 122009 WITH SCORE 122255.421
AT ITER 6015 NEW BEST:: SOT 495287 SOS 246402 HAS SOPS 238906 HAS SOUS 123221 HAS SOUPS 121971 WITH SCORE 122217.402
AT ITER 6022 NEW BEST:: SOT 495379 SOS 246731 HAS SOPS 239235 HAS SOUS 123165 HAS SOUPS 121915 WITH SCORE 122161.731
AT ITER 6026 NEW BEST:: SOT 495379 SOS 246536 HAS SOPS 239040 HAS SOUS 123165 HAS SOUPS 121915 WITH SCORE 122161.536
AT ITER 6045 NEW BEST:: SOT 495075 SOS 246127 HAS SOPS 238631 HAS SOUS 122699 HAS SOUPS 121449 WITH SCORE 121695.127
AT ITER 6065 NEW BEST:: SOT 495078 SOS 246331 HAS SOPS 238835 HAS SOUS 122638 HAS SOUPS 121388 WITH SCORE 121634.331
AT ITER 6066 NEW BEST:: SOT 495110 SOS 246395 HAS SOPS 238899 HAS SOUS 122630 HAS SOUPS 121380 WITH SCORE 121626.395
AT ITER 6073 NEW BEST:: SOT 495076 SOS 246408 HAS SOPS 238912 HAS SOUS 122609 HAS SOUPS 121359 WITH SCORE 121605.408
AT ITER 6095 NEW BEST:: SOT 495076 SOS 246478 HAS SOPS 238982 HAS SOUS 122574 HAS SOUPS 121324 WITH SCORE 121570.478
AT ITER 6111 NEW BEST:: SOT 494918 SOS 245931 HAS SOPS 238435 HAS SOUS 122504 HAS SOUPS 121254 WITH SCORE 121499.931
AT ITER 6121 NEW BEST:: SOT 494886 SOS 244014 HAS SOPS 236342 HAS SOUS 122428 HAS SOUPS 121156 WITH SCORE 121400.014
AT ITER 6141 NEW BEST:: SOT 494872 SOS 243866 HAS SOPS 236194 HAS SOUS 122407 HAS SOUPS 121135 WITH SCORE 121378.866
AT ITER 6152 NEW BEST:: SOT 494820 SOS 243814 HAS SOPS 236142 HAS SOUS 122259 HAS SOUPS 120987 WITH SCORE 121230.814
AT ITER 6183 NEW BEST:: SOT 494808 SOS 243802 HAS SOPS 236130 HAS SOUS 122248 HAS SOUPS 120976 WITH SCORE 121219.802
AT ITER 6193 NEW BEST:: SOT 494742 SOS 243516 HAS SOPS 235844 HAS SOUS 122138 HAS SOUPS 120866 WITH SCORE 121109.516
AT ITER 6212 NEW BEST:: SOT 494679 SOS 243471 HAS SOPS 235799 HAS SOUS 122069 HAS SOUPS 120797 WITH SCORE 121040.471
AT ITER 6213 NEW BEST:: SOT 494678 SOS 243469 HAS SOPS 235797 HAS SOUS 122034 HAS SOUPS 120762 WITH SCORE 121005.469
AT ITER 6226 NEW BEST:: SOT 494678 SOS 243469 HAS SOPS 235797 HAS SOUS 122021 HAS SOUPS 120749 WITH SCORE 120992.469
AT ITER 6231 NEW BEST:: SOT 494662 SOS 243414 HAS SOPS 235742 HAS SOUS 121966 HAS SOUPS 120694 WITH SCORE 120937.414
AT ITER 6249 NEW BEST:: SOT 494655 SOS 243400 HAS SOPS 235728 HAS SOUS 121952 HAS SOUPS 120680 WITH SCORE 120923.4
AT ITER 6270 NEW BEST:: SOT 494651 SOS 243396 HAS SOPS 235724 HAS SOUS 121948 HAS SOUPS 120676 WITH SCORE 120919.396
AT ITER 6277 NEW BEST:: SOT 494651 SOS 243324 HAS SOPS 235652 HAS SOUS 121948 HAS SOUPS 120676 WITH SCORE 120919.324
AT ITER 6367 NEW BEST:: SOT 494631 SOS 243304 HAS SOPS 235632 HAS SOUS 121894 HAS SOUPS 120622 WITH SCORE 120865.304
AT ITER 6369 NEW BEST:: SOT 494629 SOS 243300 HAS SOPS 235628 HAS SOUS 121890 HAS SOUPS 120618 WITH SCORE 120861.3
AT ITER 6384 NEW BEST:: SOT 494555 SOS 243226 HAS SOPS 235554 HAS SOUS 121816 HAS SOUPS 120544 WITH SCORE 120787.226
AT ITER 6393 NEW BEST:: SOT 494529 SOS 243174 HAS SOPS 235502 HAS SOUS 121764 HAS SOUPS 120492 WITH SCORE 120735.174
AT ITER 6395 NEW BEST:: SOT 494529 SOS 243147 HAS SOPS 235475 HAS SOUS 121712 HAS SOUPS 120440 WITH SCORE 120683.147
AT ITER 6399 NEW BEST:: SOT 494492 SOS 243112 HAS SOPS 235479 HAS SOUS 121677 HAS SOUPS 120405 WITH SCORE 120648.112
AT ITER 6401 NEW BEST:: SOT 494433 SOS 243053 HAS SOPS 235420 HAS SOUS 121625 HAS SOUPS 120353 WITH SCORE 120596.053
AT ITER 6431 NEW BEST:: SOT 494205 SOS 242413 HAS SOPS 234780 HAS SOUS 121306 HAS SOUPS 120034 WITH SCORE 120276.413
AT ITER 6436 NEW BEST:: SOT 493902 SOS 242192 HAS SOPS 234928 HAS SOUS 121084 HAS SOUPS 119812 WITH SCORE 120054.192
AT ITER 6454 NEW BEST:: SOT 493969 SOS 241773 HAS SOPS 234461 HAS SOUS 120959 HAS SOUPS 119687 WITH SCORE 119928.773
AT ITER 6457 NEW BEST:: SOT 493947 SOS 241751 HAS SOPS 234439 HAS SOUS 120915 HAS SOUPS 119643 WITH SCORE 119884.751
AT ITER 6458 NEW BEST:: SOT 493947 SOS 241751 HAS SOPS 234439 HAS SOUS 120892 HAS SOUPS 119620 WITH SCORE 119861.751
AT ITER 6459 NEW BEST:: SOT 493833 SOS 241210 HAS SOPS 233898 HAS SOUS 120726 HAS SOUPS 119454 WITH SCORE 119695.21
AT ITER 6465 NEW BEST:: SOT 493829 SOS 241206 HAS SOPS 233894 HAS SOUS 120722 HAS SOUPS 119450 WITH SCORE 119691.206
AT ITER 6513 NEW BEST:: SOT 494025 SOS 241494 HAS SOPS 234182 HAS SOUS 120569 HAS SOUPS 119297 WITH SCORE 119538.494
AT ITER 6590 NEW BEST:: SOT 494001 SOS 241444 HAS SOPS 234132 HAS SOUS 120553 HAS SOUPS 119281 WITH SCORE 119522.444
AT ITER 6610 NEW BEST:: SOT 493950 SOS 241393 HAS SOPS 234115 HAS SOUS 120553 HAS SOUPS 119281 WITH SCORE 119522.393
AT ITER 6612 NEW BEST:: SOT 493928 SOS 241371 HAS SOPS 234093 HAS SOUS 120495 HAS SOUPS 119223 WITH SCORE 119464.371
AT ITER 6632 NEW BEST:: SOT 493989 SOS 241432 HAS SOPS 234154 HAS SOUS 120434 HAS SOUPS 119162 WITH SCORE 119403.432
AT ITER 6639 NEW BEST:: SOT 493577 SOS 241033 HAS SOPS 233755 HAS SOUS 119866 HAS SOUPS 118594 WITH SCORE 118835.033
AT ITER 6645 NEW BEST:: SOT 493569 SOS 240941 HAS SOPS 233663 HAS SOUS 119836 HAS SOUPS 118564 WITH SCORE 118804.941
AT ITER 6678 NEW BEST:: SOT 493563 SOS 240517 HAS SOPS 233239 HAS SOUS 119810 HAS SOUPS 118538 WITH SCORE 118778.517
AT ITER 6719 NEW BEST:: SOT 493603 SOS 240488 HAS SOPS 233210 HAS SOUS 119777 HAS SOUPS 118505 WITH SCORE 118745.488
AT ITER 6726 NEW BEST:: SOT 493566 SOS 240451 HAS SOPS 233173 HAS SOUS 119681 HAS SOUPS 118409 WITH SCORE 118649.451
AT ITER 6727 NEW BEST:: SOT 493506 SOS 240440 HAS SOPS 233162 HAS SOUS 119611 HAS SOUPS 118339 WITH SCORE 118579.44
AT ITER 6738 NEW BEST:: SOT 493473 SOS 240451 HAS SOPS 233173 HAS SOUS 119545 HAS SOUPS 118273 WITH SCORE 118513.451
AT ITER 6752 NEW BEST:: SOT 493449 SOS 240427 HAS SOPS 233149 HAS SOUS 119521 HAS SOUPS 118249 WITH SCORE 118489.427
AT ITER 6762 NEW BEST:: SOT 493410 SOS 240504 HAS SOPS 233226 HAS SOUS 119474 HAS SOUPS 118202 WITH SCORE 118442.504
AT ITER 6764 NEW BEST:: SOT 493409 SOS 240488 HAS SOPS 233195 HAS SOUS 119472 HAS SOUPS 118200 WITH SCORE 118440.488
AT ITER 6775 NEW BEST:: SOT 493332 SOS 240411 HAS SOPS 233118 HAS SOUS 119265 HAS SOUPS 117993 WITH SCORE 118233.411
AT ITER 6794 NEW BEST:: SOT 493331 SOS 240374 HAS SOPS 233081 HAS SOUS 119263 HAS SOUPS 117991 WITH SCORE 118231.374
AT ITER 6795 NEW BEST:: SOT 493328 SOS 240371 HAS SOPS 233073 HAS SOUS 119257 HAS SOUPS 117985 WITH SCORE 118225.371
AT ITER 6878 NEW BEST:: SOT 493208 SOS 240047 HAS SOPS 232749 HAS SOUS 119017 HAS SOUPS 117745 WITH SCORE 117985.047
AT ITER 6880 NEW BEST:: SOT 493154 SOS 240203 HAS SOPS 232905 HAS SOUS 118983 HAS SOUPS 117711 WITH SCORE 117951.203
AT ITER 6894 NEW BEST:: SOT 493136 SOS 240185 HAS SOPS 232887 HAS SOUS 118965 HAS SOUPS 117693 WITH SCORE 117933.185
AT ITER 6920 NEW BEST:: SOT 493134 SOS 240183 HAS SOPS 232885 HAS SOUS 118963 HAS SOUPS 117691 WITH SCORE 117931.183
AT ITER 6921 NEW BEST:: SOT 493133 SOS 240182 HAS SOPS 232884 HAS SOUS 118962 HAS SOUPS 117690 WITH SCORE 117930.182
AT ITER 6937 NEW BEST:: SOT 493044 SOS 240072 HAS SOPS 232774 HAS SOUS 118852 HAS SOUPS 117580 WITH SCORE 117820.072
AT ITER 6941 NEW BEST:: SOT 493044 SOS 239862 HAS SOPS 232564 HAS SOUS 118838 HAS SOUPS 117566 WITH SCORE 117805.862
AT ITER 6975 NEW BEST:: SOT 493036 SOS 239854 HAS SOPS 232556 HAS SOUS 118819 HAS SOUPS 117547 WITH SCORE 117786.854
AT ITER 6983 NEW BEST:: SOT 493026 SOS 239844 HAS SOPS 232530 HAS SOUS 118799 HAS SOUPS 117527 WITH SCORE 117766.844
AT ITER 6997 NEW BEST:: SOT 493154 SOS 239979 HAS SOPS 232665 HAS SOUS 118714 HAS SOUPS 117442 WITH SCORE 117681.979
AT ITER 7007 NEW BEST:: SOT 493154 SOS 239979 HAS SOPS 232665 HAS SOUS 118710 HAS SOUPS 117438 WITH SCORE 117677.979
AT ITER 7012 NEW BEST:: SOT 493074 SOS 239939 HAS SOPS 232625 HAS SOUS 118604 HAS SOUPS 117332 WITH SCORE 117571.939
AT ITER 7027 NEW BEST:: SOT 493074 SOS 239939 HAS SOPS 232625 HAS SOUS 118592 HAS SOUPS 117320 WITH SCORE 117559.939
AT ITER 7062 NEW BEST:: SOT 493211 SOS 237399 HAS SOPS 230085 HAS SOUS 118448 HAS SOUPS 117176 WITH SCORE 117413.399
AT ITER 7065 NEW BEST:: SOT 493207 SOS 237391 HAS SOPS 230077 HAS SOUS 118440 HAS SOUPS 117168 WITH SCORE 117405.391
AT ITER 7066 NEW BEST:: SOT 493124 SOS 237411 HAS SOPS 230097 HAS SOUS 118438 HAS SOUPS 117166 WITH SCORE 117403.411
AT ITER 7070 NEW BEST:: SOT 493124 SOS 237411 HAS SOPS 230097 HAS SOUS 118431 HAS SOUPS 117159 WITH SCORE 117396.411
AT ITER 7078 NEW BEST:: SOT 493056 SOS 237275 HAS SOPS 229961 HAS SOUS 118295 HAS SOUPS 117023 WITH SCORE 117260.275
AT ITER 7101 NEW BEST:: SOT 492937 SOS 237114 HAS SOPS 229800 HAS SOUS 118134 HAS SOUPS 116862 WITH SCORE 117099.114
AT ITER 7143 NEW BEST:: SOT 492978 SOS 237155 HAS SOPS 229841 HAS SOUS 118025 HAS SOUPS 116753 WITH SCORE 116990.155
AT ITER 7145 NEW BEST:: SOT 492978 SOS 237155 HAS SOPS 229840 HAS SOUS 118024 HAS SOUPS 116752 WITH SCORE 116989.155
AT ITER 7158 NEW BEST:: SOT 492602 SOS 237017 HAS SOPS 229702 HAS SOUS 117640 HAS SOUPS 116368 WITH SCORE 116605.017
AT ITER 7173 NEW BEST:: SOT 492615 SOS 237030 HAS SOPS 229715 HAS SOUS 117631 HAS SOUPS 116359 WITH SCORE 116596.03
AT ITER 7185 NEW BEST:: SOT 492165 SOS 236820 HAS SOPS 229505 HAS SOUS 117482 HAS SOUPS 116210 WITH SCORE 116446.82
AT ITER 7192 NEW BEST:: SOT 492515 SOS 236695 HAS SOPS 229380 HAS SOUS 117464 HAS SOUPS 116192 WITH SCORE 116428.695
AT ITER 7197 NEW BEST:: SOT 492309 SOS 236188 HAS SOPS 228873 HAS SOUS 117147 HAS SOUPS 115875 WITH SCORE 116111.188
AT ITER 7206 NEW BEST:: SOT 491552 SOS 234916 HAS SOPS 227601 HAS SOUS 117003 HAS SOUPS 115731 WITH SCORE 115965.916
AT ITER 7221 NEW BEST:: SOT 491552 SOS 234892 HAS SOPS 227577 HAS SOUS 117003 HAS SOUPS 115731 WITH SCORE 115965.892
AT ITER 7222 NEW BEST:: SOT 491125 SOS 235101 HAS SOPS 227786 HAS SOUS 116884 HAS SOUPS 115612 WITH SCORE 115847.101
AT ITER 7233 NEW BEST:: SOT 491110 SOS 235086 HAS SOPS 227771 HAS SOUS 116870 HAS SOUPS 115598 WITH SCORE 115833.086
AT ITER 7235 NEW BEST:: SOT 490854 SOS 234830 HAS SOPS 227515 HAS SOUS 116736 HAS SOUPS 115464 WITH SCORE 115698.83
AT ITER 7241 NEW BEST:: SOT 490688 SOS 234212 HAS SOPS 226897 HAS SOUS 116374 HAS SOUPS 115102 WITH SCORE 115336.212
AT ITER 7275 NEW BEST:: SOT 490686 SOS 234208 HAS SOPS 226893 HAS SOUS 116370 HAS SOUPS 115098 WITH SCORE 115332.208
AT ITER 7280 NEW BEST:: SOT 490652 SOS 234174 HAS SOPS 226859 HAS SOUS 116348 HAS SOUPS 115076 WITH SCORE 115310.174
AT ITER 7295 NEW BEST:: SOT 490670 SOS 234176 HAS SOPS 226861 HAS SOUS 116341 HAS SOUPS 115069 WITH SCORE 115303.176
AT ITER 7297 NEW BEST:: SOT 490682 SOS 234188 HAS SOPS 226873 HAS SOUS 116291 HAS SOUPS 115019 WITH SCORE 115253.188
AT ITER 7312 NEW BEST:: SOT 490621 SOS 234116 HAS SOPS 226801 HAS SOUS 116197 HAS SOUPS 114925 WITH SCORE 115159.116
AT ITER 7355 NEW BEST:: SOT 490612 SOS 234116 HAS SOPS 226801 HAS SOUS 116188 HAS SOUPS 114916 WITH SCORE 115150.116
AT ITER 7361 NEW BEST:: SOT 490543 SOS 234067 HAS SOPS 226752 HAS SOUS 116063 HAS SOUPS 114791 WITH SCORE 115025.067
AT ITER 7376 NEW BEST:: SOT 490303 SOS 233684 HAS SOPS 226369 HAS SOUS 115770 HAS SOUPS 114498 WITH SCORE 114731.684
AT ITER 7389 NEW BEST:: SOT 490301 SOS 233680 HAS SOPS 226365 HAS SOUS 115766 HAS SOUPS 114494 WITH SCORE 114727.68
AT ITER 7468 NEW BEST:: SOT 490255 SOS 233788 HAS SOPS 226473 HAS SOUS 115682 HAS SOUPS 114410 WITH SCORE 114643.788
AT ITER 7539 NEW BEST:: SOT 490585 SOS 233454 HAS SOPS 226139 HAS SOUS 115645 HAS SOUPS 114373 WITH SCORE 114606.454
AT ITER 7543 NEW BEST:: SOT 490586 SOS 233442 HAS SOPS 226127 HAS SOUS 115623 HAS SOUPS 114351 WITH SCORE 114584.442
AT ITER 7603 NEW BEST:: SOT 490586 SOS 233508 HAS SOPS 226193 HAS SOUS 115550 HAS SOUPS 114278 WITH SCORE 114511.508
AT ITER 7666 NEW BEST:: SOT 490584 SOS 233506 HAS SOPS 226191 HAS SOUS 115546 HAS SOUPS 114274 WITH SCORE 114507.506
AT ITER 7673 NEW BEST:: SOT 490581 SOS 233567 HAS SOPS 226252 HAS SOUS 115535 HAS SOUPS 114263 WITH SCORE 114496.567
AT ITER 7676 NEW BEST:: SOT 490581 SOS 233473 HAS SOPS 226158 HAS SOUS 115535 HAS SOUPS 114263 WITH SCORE 114496.473
AT ITER 7697 NEW BEST:: SOT 490575 SOS 233509 HAS SOPS 226194 HAS SOUS 115510 HAS SOUPS 114238 WITH SCORE 114471.509
AT ITER 7702 NEW BEST:: SOT 490517 SOS 233495 HAS SOPS 226180 HAS SOUS 115452 HAS SOUPS 114180 WITH SCORE 114413.495
AT ITER 7716 NEW BEST:: SOT 490612 SOS 232321 HAS SOPS 225099 HAS SOUS 115438 HAS SOUPS 114166 WITH SCORE 114398.321
AT ITER 7724 NEW BEST:: SOT 490610 SOS 232318 HAS SOPS 225096 HAS SOUS 115436 HAS SOUPS 114164 WITH SCORE 114396.318
AT ITER 7729 NEW BEST:: SOT 490595 SOS 232318 HAS SOPS 225096 HAS SOUS 115433 HAS SOUPS 114161 WITH SCORE 114393.318
AT ITER 7736 NEW BEST:: SOT 490591 SOS 232318 HAS SOPS 225100 HAS SOUS 115429 HAS SOUPS 114157 WITH SCORE 114389.318
AT ITER 7759 NEW BEST:: SOT 490527 SOS 232231 HAS SOPS 225013 HAS SOUS 115376 HAS SOUPS 114104 WITH SCORE 114336.231
AT ITER 7802 NEW BEST:: SOT 490517 SOS 232242 HAS SOPS 224967 HAS SOUS 115356 HAS SOUPS 114084 WITH SCORE 114316.242
AT ITER 7826 NEW BEST:: SOT 490420 SOS 231932 HAS SOPS 224657 HAS SOUS 115304 HAS SOUPS 114032 WITH SCORE 114263.932
AT ITER 7840 NEW BEST:: SOT 490433 SOS 232049 HAS SOPS 224774 HAS SOUS 115300 HAS SOUPS 114028 WITH SCORE 114260.049
AT ITER 7851 NEW BEST:: SOT 490433 SOS 232209 HAS SOPS 224934 HAS SOUS 115284 HAS SOUPS 114012 WITH SCORE 114244.209
AT ITER 7908 NEW BEST:: SOT 490413 SOS 232189 HAS SOPS 224914 HAS SOUS 115244 HAS SOUPS 113972 WITH SCORE 114204.189
AT ITER 7918 NEW BEST:: SOT 490401 SOS 232177 HAS SOPS 224902 HAS SOUS 115220 HAS SOUPS 113948 WITH SCORE 114180.177
AT ITER 7924 NEW BEST:: SOT 490392 SOS 232168 HAS SOPS 224893 HAS SOUS 115215 HAS SOUPS 113943 WITH SCORE 114175.168
AT ITER 7942 NEW BEST:: SOT 490392 SOS 232175 HAS SOPS 224909 HAS SOUS 115213 HAS SOUPS 113941 WITH SCORE 114173.175
AT ITER 7965 NEW BEST:: SOT 490392 SOS 232175 HAS SOPS 224906 HAS SOUS 115210 HAS SOUPS 113938 WITH SCORE 114170.175
AT ITER 8033 NEW BEST:: SOT 490162 SOS 231977 HAS SOPS 224708 HAS SOUS 115012 HAS SOUPS 113740 WITH SCORE 113971.977
AT ITER 8050 NEW BEST:: SOT 490138 SOS 231975 HAS SOPS 224706 HAS SOUS 114955 HAS SOUPS 113683 WITH SCORE 113914.975
AT ITER 8073 NEW BEST:: SOT 490114 SOS 231903 HAS SOPS 224634 HAS SOUS 114912 HAS SOUPS 113640 WITH SCORE 113871.903
AT ITER 8076 NEW BEST:: SOT 490114 SOS 231711 HAS SOPS 224442 HAS SOUS 114912 HAS SOUPS 113640 WITH SCORE 113871.711
AT ITER 8085 NEW BEST:: SOT 490080 SOS 231680 HAS SOPS 224411 HAS SOUS 114854 HAS SOUPS 113582 WITH SCORE 113813.68
AT ITER 8101 NEW BEST:: SOT 489945 SOS 231545 HAS SOPS 224276 HAS SOUS 114750 HAS SOUPS 113478 WITH SCORE 113709.545
AT ITER 8140 NEW BEST:: SOT 489891 SOS 231673 HAS SOPS 224404 HAS SOUS 114694 HAS SOUPS 113422 WITH SCORE 113653.673
AT ITER 8141 NEW BEST:: SOT 489939 SOS 230886 HAS SOPS 223617 HAS SOUS 114614 HAS SOUPS 113342 WITH SCORE 113572.886
AT ITER 8148 NEW BEST:: SOT 489754 SOS 230719 HAS SOPS 223450 HAS SOUS 114547 HAS SOUPS 113275 WITH SCORE 113505.719
AT ITER 8149 NEW BEST:: SOT 489559 SOS 230586 HAS SOPS 223317 HAS SOUS 114350 HAS SOUPS 113078 WITH SCORE 113308.586
AT ITER 8150 NEW BEST:: SOT 489551 SOS 230578 HAS SOPS 223309 HAS SOUS 114328 HAS SOUPS 113056 WITH SCORE 113286.578
AT ITER 8165 NEW BEST:: SOT 489557 SOS 230602 HAS SOPS 223333 HAS SOUS 114306 HAS SOUPS 113034 WITH SCORE 113264.602
AT ITER 8167 NEW BEST:: SOT 489503 SOS 230920 HAS SOPS 223651 HAS SOUS 114238 HAS SOUPS 112966 WITH SCORE 113196.92
AT ITER 8170 NEW BEST:: SOT 489262 SOS 230739 HAS SOPS 223470 HAS SOUS 113881 HAS SOUPS 112609 WITH SCORE 112839.739
AT ITER 8204 NEW BEST:: SOT 489167 SOS 230135 HAS SOPS 222866 HAS SOUS 113821 HAS SOUPS 112549 WITH SCORE 112779.135
AT ITER 8209 NEW BEST:: SOT 489079 SOS 230063 HAS SOPS 222830 HAS SOUS 113698 HAS SOUPS 112426 WITH SCORE 112656.063
AT ITER 8213 NEW BEST:: SOT 489037 SOS 230046 HAS SOPS 222813 HAS SOUS 113573 HAS SOUPS 112301 WITH SCORE 112531.046
AT ITER 8258 NEW BEST:: SOT 489026 SOS 230064 HAS SOPS 222831 HAS SOUS 113522 HAS SOUPS 112250 WITH SCORE 112480.064
AT ITER 8281 NEW BEST:: SOT 489025 SOS 230063 HAS SOPS 222830 HAS SOUS 113521 HAS SOUPS 112249 WITH SCORE 112479.063
AT ITER 8284 NEW BEST:: SOT 488956 SOS 229934 HAS SOPS 222701 HAS SOUS 113364 HAS SOUPS 112092 WITH SCORE 112321.934
AT ITER 8303 NEW BEST:: SOT 488832 SOS 229810 HAS SOPS 222577 HAS SOUS 113152 HAS SOUPS 111880 WITH SCORE 112109.81
AT ITER 8336 NEW BEST:: SOT 488832 SOS 229815 HAS SOPS 222582 HAS SOUS 113145 HAS SOUPS 111873 WITH SCORE 112102.815
AT ITER 8343 NEW BEST:: SOT 488750 SOS 229733 HAS SOPS 222500 HAS SOUS 112965 HAS SOUPS 111693 WITH SCORE 111922.733
AT ITER 8344 NEW BEST:: SOT 488712 SOS 229713 HAS SOPS 222480 HAS SOUS 112929 HAS SOUPS 111657 WITH SCORE 111886.713
AT ITER 8373 NEW BEST:: SOT 488691 SOS 229598 HAS SOPS 222365 HAS SOUS 112929 HAS SOUPS 111657 WITH SCORE 111886.598
AT ITER 8379 NEW BEST:: SOT 488699 SOS 229572 HAS SOPS 222339 HAS SOUS 112928 HAS SOUPS 111656 WITH SCORE 111885.572
AT ITER 8403 NEW BEST:: SOT 488622 SOS 229396 HAS SOPS 222163 HAS SOUS 112848 HAS SOUPS 111576 WITH SCORE 111805.396
AT ITER 8414 NEW BEST:: SOT 488611 SOS 229385 HAS SOPS 222152 HAS SOUS 112837 HAS SOUPS 111565 WITH SCORE 111794.385
AT ITER 8438 NEW BEST:: SOT 488602 SOS 229322 HAS SOPS 222089 HAS SOUS 112815 HAS SOUPS 111543 WITH SCORE 111772.322
AT ITER 8450 NEW BEST:: SOT 488619 SOS 229395 HAS SOPS 222162 HAS SOUS 112793 HAS SOUPS 111521 WITH SCORE 111750.395
AT ITER 8480 NEW BEST:: SOT 488594 SOS 229370 HAS SOPS 222137 HAS SOUS 112756 HAS SOUPS 111484 WITH SCORE 111713.37
AT ITER 8502 NEW BEST:: SOT 488600 SOS 229341 HAS SOPS 222108 HAS SOUS 112756 HAS SOUPS 111484 WITH SCORE 111713.341
AT ITER 8520 NEW BEST:: SOT 488596 SOS 229337 HAS SOPS 222104 HAS SOUS 112752 HAS SOUPS 111480 WITH SCORE 111709.337
AT ITER 8567 NEW BEST:: SOT 488603 SOS 229344 HAS SOPS 222111 HAS SOUS 112738 HAS SOUPS 111466 WITH SCORE 111695.344
AT ITER 8569 NEW BEST:: SOT 488603 SOS 229344 HAS SOPS 222111 HAS SOUS 112725 HAS SOUPS 111453 WITH SCORE 111682.344
AT ITER 8575 NEW BEST:: SOT 488573 SOS 229314 HAS SOPS 222081 HAS SOUS 112582 HAS SOUPS 111310 WITH SCORE 111539.314
AT ITER 8581 NEW BEST:: SOT 488570 SOS 229305 HAS SOPS 222069 HAS SOUS 112579 HAS SOUPS 111307 WITH SCORE 111536.305
AT ITER 8605 NEW BEST:: SOT 488424 SOS 228995 HAS SOPS 221759 HAS SOUS 112235 HAS SOUPS 110963 WITH SCORE 111191.995
AT ITER 8632 NEW BEST:: SOT 488424 SOS 229037 HAS SOPS 221801 HAS SOUS 112219 HAS SOUPS 110947 WITH SCORE 111176.037
AT ITER 8674 NEW BEST:: SOT 488382 SOS 228995 HAS SOPS 221759 HAS SOUS 112156 HAS SOUPS 110884 WITH SCORE 111112.995
AT ITER 8678 NEW BEST:: SOT 488380 SOS 228993 HAS SOPS 221757 HAS SOUS 112152 HAS SOUPS 110880 WITH SCORE 111108.993
AT ITER 8682 NEW BEST:: SOT 488380 SOS 229206 HAS SOPS 221970 HAS SOUS 112024 HAS SOUPS 110752 WITH SCORE 110981.206
AT ITER 8702 NEW BEST:: SOT 488377 SOS 229203 HAS SOPS 221967 HAS SOUS 112024 HAS SOUPS 110752 WITH SCORE 110981.203
AT ITER 8729 NEW BEST:: SOT 488338 SOS 229219 HAS SOPS 221983 HAS SOUS 111979 HAS SOUPS 110707 WITH SCORE 110936.219
AT ITER 8755 NEW BEST:: SOT 488246 SOS 229136 HAS SOPS 221933 HAS SOUS 111943 HAS SOUPS 110671 WITH SCORE 110900.136
AT ITER 8799 NEW BEST:: SOT 488133 SOS 228960 HAS SOPS 221757 HAS SOUS 111902 HAS SOUPS 110630 WITH SCORE 110858.96
AT ITER 8801 NEW BEST:: SOT 488100 SOS 228894 HAS SOPS 221711 HAS SOUS 111876 HAS SOUPS 110604 WITH SCORE 110832.894
AT ITER 8814 NEW BEST:: SOT 487490 SOS 229663 HAS SOPS 222480 HAS SOUS 111308 HAS SOUPS 110036 WITH SCORE 110265.663
AT ITER 8827 NEW BEST:: SOT 487450 SOS 229437 HAS SOPS 222254 HAS SOUS 111168 HAS SOUPS 109896 WITH SCORE 110125.437
AT ITER 8870 NEW BEST:: SOT 487443 SOS 229378 HAS SOPS 222195 HAS SOUS 111115 HAS SOUPS 109843 WITH SCORE 110072.378
AT ITER 8879 NEW BEST:: SOT 487443 SOS 229685 HAS SOPS 222502 HAS SOUS 111052 HAS SOUPS 109780 WITH SCORE 110009.685
AT ITER 8891 NEW BEST:: SOT 487245 SOS 229385 HAS SOPS 222191 HAS SOUS 110757 HAS SOUPS 109485 WITH SCORE 109714.385
AT ITER 8904 NEW BEST:: SOT 487215 SOS 229355 HAS SOPS 222161 HAS SOUS 110733 HAS SOUPS 109461 WITH SCORE 109690.355
AT ITER 8912 NEW BEST:: SOT 487187 SOS 229345 HAS SOPS 222151 HAS SOUS 110677 HAS SOUPS 109405 WITH SCORE 109634.345
AT ITER 8922 NEW BEST:: SOT 487204 SOS 229485 HAS SOPS 222291 HAS SOUS 110625 HAS SOUPS 109353 WITH SCORE 109582.485
AT ITER 8924 NEW BEST:: SOT 487152 SOS 229433 HAS SOPS 222239 HAS SOUS 110450 HAS SOUPS 109178 WITH SCORE 109407.433
AT ITER 8926 NEW BEST:: SOT 486582 SOS 229112 HAS SOPS 221918 HAS SOUS 110270 HAS SOUPS 108998 WITH SCORE 109227.112
AT ITER 8944 NEW BEST:: SOT 486567 SOS 229097 HAS SOPS 221903 HAS SOUS 110259 HAS SOUPS 108987 WITH SCORE 109216.097
AT ITER 8980 NEW BEST:: SOT 486686 SOS 229535 HAS SOPS 222341 HAS SOUS 110190 HAS SOUPS 108918 WITH SCORE 109147.535
AT ITER 9042 NEW BEST:: SOT 486686 SOS 229516 HAS SOPS 222322 HAS SOUS 110171 HAS SOUPS 108899 WITH SCORE 109128.516
AT ITER 9074 NEW BEST:: SOT 486686 SOS 230558 HAS SOPS 223364 HAS SOUS 110058 HAS SOUPS 108786 WITH SCORE 109016.558
AT ITER 9084 NEW BEST:: SOT 486702 SOS 230494 HAS SOPS 223300 HAS SOUS 109994 HAS SOUPS 108722 WITH SCORE 108952.494
AT ITER 9106 NEW BEST:: SOT 486700 SOS 230668 HAS SOPS 223474 HAS SOUS 109861 HAS SOUPS 108589 WITH SCORE 108819.668
AT ITER 9176 NEW BEST:: SOT 486656 SOS 230562 HAS SOPS 223368 HAS SOUS 109835 HAS SOUPS 108563 WITH SCORE 108793.562
AT ITER 9178 NEW BEST:: SOT 486537 SOS 230659 HAS SOPS 223465 HAS SOUS 109787 HAS SOUPS 108515 WITH SCORE 108745.659
AT ITER 9239 NEW BEST:: SOT 486536 SOS 230677 HAS SOPS 223483 HAS SOUS 109785 HAS SOUPS 108513 WITH SCORE 108743.677
AT ITER 9318 NEW BEST:: SOT 486504 SOS 230645 HAS SOPS 223451 HAS SOUS 109721 HAS SOUPS 108449 WITH SCORE 108679.645
AT ITER 9354 NEW BEST:: SOT 486330 SOS 231168 HAS SOPS 223974 HAS SOUS 109516 HAS SOUPS 108244 WITH SCORE 108475.168
AT ITER 9361 NEW BEST:: SOT 486303 SOS 231533 HAS SOPS 224339 HAS SOUS 109202 HAS SOUPS 107930 WITH SCORE 108161.533
AT ITER 9374 NEW BEST:: SOT 486250 SOS 231480 HAS SOPS 224286 HAS SOUS 109149 HAS SOUPS 107877 WITH SCORE 108108.48
AT ITER 9411 NEW BEST:: SOT 486212 SOS 231485 HAS SOPS 224291 HAS SOUS 109024 HAS SOUPS 107752 WITH SCORE 107983.485
AT ITER 9415 NEW BEST:: SOT 486172 SOS 231445 HAS SOPS 224251 HAS SOUS 108984 HAS SOUPS 107712 WITH SCORE 107943.445
AT ITER 9420 NEW BEST:: SOT 486163 SOS 231436 HAS SOPS 224242 HAS SOUS 108966 HAS SOUPS 107694 WITH SCORE 107925.436
AT ITER 9428 NEW BEST:: SOT 486046 SOS 231319 HAS SOPS 224125 HAS SOUS 108732 HAS SOUPS 107460 WITH SCORE 107691.319
AT ITER 9443 NEW BEST:: SOT 485904 SOS 231177 HAS SOPS 223983 HAS SOUS 108606 HAS SOUPS 107334 WITH SCORE 107565.177
AT ITER 9465 NEW BEST:: SOT 485832 SOS 231111 HAS SOPS 223917 HAS SOUS 108570 HAS SOUPS 107298 WITH SCORE 107529.111
AT ITER 9480 NEW BEST:: SOT 485722 SOS 230957 HAS SOPS 223763 HAS SOUS 108460 HAS SOUPS 107188 WITH SCORE 107418.957
AT ITER 9490 NEW BEST:: SOT 485696 SOS 230879 HAS SOPS 223685 HAS SOUS 108434 HAS SOUPS 107162 WITH SCORE 107392.879
AT ITER 9501 NEW BEST:: SOT 485696 SOS 230879 HAS SOPS 223685 HAS SOUS 108425 HAS SOUPS 107153 WITH SCORE 107383.879
AT ITER 9506 NEW BEST:: SOT 485690 SOS 230873 HAS SOPS 223679 HAS SOUS 108413 HAS SOUPS 107141 WITH SCORE 107371.873
AT ITER 9524 NEW BEST:: SOT 485757 SOS 231201 HAS SOPS 223652 HAS SOUS 108328 HAS SOUPS 107056 WITH SCORE 107287.201
AT ITER 9532 NEW BEST:: SOT 485699 SOS 231262 HAS SOPS 223713 HAS SOUS 108278 HAS SOUPS 107006 WITH SCORE 107237.262
AT ITER 9569 NEW BEST:: SOT 485699 SOS 231262 HAS SOPS 223713 HAS SOUS 108274 HAS SOUPS 107002 WITH SCORE 107233.262
AT ITER 9575 NEW BEST:: SOT 485732 SOS 231196 HAS SOPS 223647 HAS SOUS 108252 HAS SOUPS 106980 WITH SCORE 107211.196
AT ITER 9604 NEW BEST:: SOT 485732 SOS 231216 HAS SOPS 223667 HAS SOUS 108212 HAS SOUPS 106940 WITH SCORE 107171.216
AT ITER 9607 NEW BEST:: SOT 485742 SOS 230898 HAS SOPS 223349 HAS SOUS 108100 HAS SOUPS 106828 WITH SCORE 107058.898
AT ITER 9615 NEW BEST:: SOT 485705 SOS 230814 HAS SOPS 223260 HAS SOUS 108086 HAS SOUPS 106814 WITH SCORE 107044.814
AT ITER 9650 NEW BEST:: SOT 485623 SOS 230732 HAS SOPS 223178 HAS SOUS 108004 HAS SOUPS 106732 WITH SCORE 106962.732
AT ITER 9668 NEW BEST:: SOT 485622 SOS 230732 HAS SOPS 223178 HAS SOUS 108003 HAS SOUPS 106731 WITH SCORE 106961.732
AT ITER 9683 NEW BEST:: SOT 485622 SOS 230732 HAS SOPS 223178 HAS SOUS 107991 HAS SOUPS 106719 WITH SCORE 106949.732
AT ITER 9693 NEW BEST:: SOT 485620 SOS 230728 HAS SOPS 223174 HAS SOUS 107987 HAS SOUPS 106715 WITH SCORE 106945.728
AT ITER 9709 NEW BEST:: SOT 485599 SOS 230250 HAS SOPS 222742 HAS SOUS 107987 HAS SOUPS 106715 WITH SCORE 106945.25
AT ITER 9711 NEW BEST:: SOT 485584 SOS 230218 HAS SOPS 222693 HAS SOUS 107957 HAS SOUPS 106685 WITH SCORE 106915.218
AT ITER 9714 NEW BEST:: SOT 485527 SOS 230164 HAS SOPS 222639 HAS SOUS 107896 HAS SOUPS 106624 WITH SCORE 106854.164
AT ITER 9744 NEW BEST:: SOT 485522 SOS 230154 HAS SOPS 222629 HAS SOUS 107886 HAS SOUPS 106614 WITH SCORE 106844.154
AT ITER 9753 NEW BEST:: SOT 485510 SOS 230142 HAS SOPS 222617 HAS SOUS 107823 HAS SOUPS 106551 WITH SCORE 106781.142
AT ITER 9764 NEW BEST:: SOT 485498 SOS 230130 HAS SOPS 222605 HAS SOUS 107801 HAS SOUPS 106529 WITH SCORE 106759.13
AT ITER 9787 NEW BEST:: SOT 485630 SOS 230419 HAS SOPS 222894 HAS SOUS 107751 HAS SOUPS 106479 WITH SCORE 106709.419
AT ITER 9792 NEW BEST:: SOT 485606 SOS 230395 HAS SOPS 222870 HAS SOUS 107743 HAS SOUPS 106471 WITH SCORE 106701.395
AT ITER 9796 NEW BEST:: SOT 485554 SOS 230211 HAS SOPS 222686 HAS SOUS 107680 HAS SOUPS 106408 WITH SCORE 106638.211
AT ITER 9812 NEW BEST:: SOT 485478 SOS 230258 HAS SOPS 222733 HAS SOUS 107376 HAS SOUPS 106104 WITH SCORE 106334.258
AT ITER 9821 NEW BEST:: SOT 485492 SOS 230465 HAS SOPS 222940 HAS SOUS 107334 HAS SOUPS 106062 WITH SCORE 106292.465
AT ITER 9863 NEW BEST:: SOT 485483 SOS 230461 HAS SOPS 222936 HAS SOUS 107302 HAS SOUPS 106030 WITH SCORE 106260.461
AT ITER 9917 NEW BEST:: SOT 485459 SOS 230437 HAS SOPS 222912 HAS SOUS 107266 HAS SOUPS 105994 WITH SCORE 106224.437
AT ITER 9928 NEW BEST:: SOT 485450 SOS 230475 HAS SOPS 222950 HAS SOUS 107220 HAS SOUPS 105948 WITH SCORE 106178.475
AT ITER 9932 NEW BEST:: SOT 485483 SOS 230396 HAS SOPS 222871 HAS SOUS 107207 HAS SOUPS 105935 WITH SCORE 106165.396
AT ITER 9981 NEW BEST:: SOT 485482 SOS 230391 HAS SOPS 222866 HAS SOUS 107090 HAS SOUPS 105818 WITH SCORE 106048.391
AT ITER 9982 NEW BEST:: SOT 485438 SOS 230347 HAS SOPS 222822 HAS SOUS 107023 HAS SOUPS 105751 WITH SCORE 105981.347
AT ITER 9996 NEW BEST:: SOT 485445 SOS 230343 HAS SOPS 222818 HAS SOUS 107015 HAS SOUPS 105743 WITH SCORE 105973.343
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11926708 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133288 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S02J06T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-COL-S02J06T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942800384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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