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-167873942900448.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-S06J04T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942900448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 9.2K Feb 26 13:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 13:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 26 14:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678792724681

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-S06J04T04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 11:18:47] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 11:18:47] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 11:18:47] [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 11:18:48] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 11:18:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 932 ms
[2023-03-14 11:18:48] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 454 PT places and 7036.0 transition bindings in 68 ms.
[2023-03-14 11:18:48] [INFO ] Unfolded HLPN to a Petri net with 454 places and 6994 transitions 59152 arcs in 276 ms.
[2023-03-14 11:18:48] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 5380 transitions
Reduce isomorphic transitions removed 5380 transitions.
[2023-03-14 11:18:49] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 454 places, 1614 transitions and 9892 arcs took 53 ms.
Total runtime 1722 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J04T04
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: 454 places, 1614 transitions, 9892 arcs.
AT ITER 0 NEW BEST:: SOT 602795 SOS 253957 HAS SOPS 239101 HAS SOUS 189802 HAS SOUPS 188849 WITH SCORE 189102.957
AT ITER 13 NEW BEST:: SOT 602623 SOS 253785 HAS SOPS 238929 HAS SOUS 189665 HAS SOUPS 188712 WITH SCORE 188965.785
AT ITER 17 NEW BEST:: SOT 601634 SOS 252901 HAS SOPS 237940 HAS SOUS 188781 HAS SOUPS 187723 WITH SCORE 187975.901
AT ITER 22 NEW BEST:: SOT 601634 SOS 253001 HAS SOPS 238040 HAS SOUS 188759 HAS SOUPS 187701 WITH SCORE 187954.001
AT ITER 47 NEW BEST:: SOT 601458 SOS 252825 HAS SOPS 237864 HAS SOUS 188463 HAS SOUPS 187405 WITH SCORE 187657.825
AT ITER 48 NEW BEST:: SOT 601469 SOS 252336 HAS SOPS 237555 HAS SOUS 188415 HAS SOUPS 187357 WITH SCORE 187609.336
AT ITER 51 NEW BEST:: SOT 601363 SOS 252230 HAS SOPS 237643 HAS SOUS 188320 HAS SOUPS 187262 WITH SCORE 187514.23
AT ITER 58 NEW BEST:: SOT 601205 SOS 252086 HAS SOPS 237499 HAS SOUS 188162 HAS SOUPS 187104 WITH SCORE 187356.086
AT ITER 59 NEW BEST:: SOT 601205 SOS 251805 HAS SOPS 237218 HAS SOUS 188107 HAS SOUPS 187049 WITH SCORE 187300.805
AT ITER 61 NEW BEST:: SOT 601093 SOS 251021 HAS SOPS 236748 HAS SOUS 187945 HAS SOUPS 186887 WITH SCORE 187138.021
AT ITER 68 NEW BEST:: SOT 601025 SOS 250953 HAS SOPS 236680 HAS SOUS 187894 HAS SOUPS 186836 WITH SCORE 187086.953
AT ITER 72 NEW BEST:: SOT 600987 SOS 250922 HAS SOPS 236718 HAS SOUS 187746 HAS SOUPS 186726 WITH SCORE 186976.922
AT ITER 86 NEW BEST:: SOT 599650 SOS 249957 HAS SOPS 235381 HAS SOUS 186502 HAS SOUPS 185389 WITH SCORE 185638.957
AT ITER 88 NEW BEST:: SOT 598489 SOS 247923 HAS SOPS 233068 HAS SOUS 185240 HAS SOUPS 184013 WITH SCORE 184260.923
AT ITER 94 NEW BEST:: SOT 582598 SOS 246874 HAS SOPS 232019 HAS SOUS 169586 HAS SOUPS 168359 WITH SCORE 168605.874
AT ITER 96 NEW BEST:: SOT 582524 SOS 246852 HAS SOPS 231997 HAS SOUS 169562 HAS SOUPS 168335 WITH SCORE 168581.852
AT ITER 106 NEW BEST:: SOT 582275 SOS 246261 HAS SOPS 231731 HAS SOUS 169339 HAS SOUPS 168112 WITH SCORE 168358.261
AT ITER 113 NEW BEST:: SOT 582079 SOS 246051 HAS SOPS 231521 HAS SOUS 169133 HAS SOUPS 167906 WITH SCORE 168152.051
AT ITER 117 NEW BEST:: SOT 582127 SOS 246171 HAS SOPS 231545 HAS SOUS 169166 HAS SOUPS 167882 WITH SCORE 168128.171
AT ITER 118 NEW BEST:: SOT 565515 SOS 229540 HAS SOPS 214914 HAS SOUS 152575 HAS SOUPS 151291 WITH SCORE 151520.54
AT ITER 120 NEW BEST:: SOT 565516 SOS 230814 HAS SOPS 216188 HAS SOUS 152564 HAS SOUPS 151280 WITH SCORE 151510.814
AT ITER 122 NEW BEST:: SOT 565359 SOS 230634 HAS SOPS 216008 HAS SOUS 152346 HAS SOUPS 151062 WITH SCORE 151292.634
AT ITER 136 NEW BEST:: SOT 565211 SOS 230486 HAS SOPS 216168 HAS SOUS 152343 HAS SOUPS 151059 WITH SCORE 151289.486
AT ITER 137 NEW BEST:: SOT 565163 SOS 230438 HAS SOPS 216310 HAS SOUS 152282 HAS SOUPS 150998 WITH SCORE 151228.438
AT ITER 142 NEW BEST:: SOT 568008 SOS 233563 HAS SOPS 219435 HAS SOUS 149357 HAS SOUPS 148073 WITH SCORE 148306.563
AT ITER 143 NEW BEST:: SOT 568006 SOS 233559 HAS SOPS 219431 HAS SOUS 149353 HAS SOUPS 148069 WITH SCORE 148302.559
AT ITER 145 NEW BEST:: SOT 567988 SOS 233557 HAS SOPS 219317 HAS SOUS 149303 HAS SOUPS 148019 WITH SCORE 148252.557
AT ITER 150 NEW BEST:: SOT 567929 SOS 233611 HAS SOPS 219206 HAS SOUS 149284 HAS SOUPS 147967 WITH SCORE 148200.611
AT ITER 152 NEW BEST:: SOT 567929 SOS 233618 HAS SOPS 219273 HAS SOUS 149210 HAS SOUPS 147893 WITH SCORE 148126.618
AT ITER 168 NEW BEST:: SOT 567940 SOS 233629 HAS SOPS 219273 HAS SOUS 149199 HAS SOUPS 147882 WITH SCORE 148115.629
AT ITER 169 NEW BEST:: SOT 567940 SOS 231707 HAS SOPS 217351 HAS SOUS 149125 HAS SOUPS 147808 WITH SCORE 148039.707
AT ITER 186 NEW BEST:: SOT 567940 SOS 231725 HAS SOPS 217369 HAS SOUS 149021 HAS SOUPS 147704 WITH SCORE 147935.725
AT ITER 188 NEW BEST:: SOT 567248 SOS 244977 HAS SOPS 230621 HAS SOUS 148996 HAS SOUPS 147679 WITH SCORE 147923.977
AT ITER 214 NEW BEST:: SOT 567040 SOS 244977 HAS SOPS 230273 HAS SOUS 148906 HAS SOUPS 147589 WITH SCORE 147833.977
AT ITER 219 NEW BEST:: SOT 566748 SOS 244753 HAS SOPS 230049 HAS SOUS 148905 HAS SOUPS 147588 WITH SCORE 147832.753
AT ITER 234 NEW BEST:: SOT 566705 SOS 244710 HAS SOPS 230006 HAS SOUS 148604 HAS SOUPS 147287 WITH SCORE 147531.71
AT ITER 273 NEW BEST:: SOT 566593 SOS 244598 HAS SOPS 230138 HAS SOUS 148317 HAS SOUPS 147000 WITH SCORE 147244.598
AT ITER 277 NEW BEST:: SOT 566593 SOS 244135 HAS SOPS 229985 HAS SOUS 148223 HAS SOUPS 146906 WITH SCORE 147150.135
AT ITER 284 NEW BEST:: SOT 566373 SOS 243958 HAS SOPS 229765 HAS SOUS 146987 HAS SOUPS 145660 WITH SCORE 145903.958
AT ITER 293 NEW BEST:: SOT 566180 SOS 243754 HAS SOPS 229561 HAS SOUS 146940 HAS SOUPS 145613 WITH SCORE 145856.754
AT ITER 299 NEW BEST:: SOT 556613 SOS 234399 HAS SOPS 220206 HAS SOUS 137426 HAS SOUPS 136099 WITH SCORE 136333.399
AT ITER 301 NEW BEST:: SOT 556613 SOS 234409 HAS SOPS 220186 HAS SOUS 137416 HAS SOUPS 136089 WITH SCORE 136323.409
AT ITER 303 NEW BEST:: SOT 547299 SOS 237745 HAS SOPS 223522 HAS SOUS 134744 HAS SOUPS 133417 WITH SCORE 133654.745
AT ITER 312 NEW BEST:: SOT 545949 SOS 236395 HAS SOPS 222172 HAS SOUS 133393 HAS SOUPS 132066 WITH SCORE 132302.395
AT ITER 317 NEW BEST:: SOT 545943 SOS 236506 HAS SOPS 222283 HAS SOUS 132777 HAS SOUPS 131450 WITH SCORE 131686.506
AT ITER 330 NEW BEST:: SOT 545851 SOS 236414 HAS SOPS 222145 HAS SOUS 132731 HAS SOUPS 131404 WITH SCORE 131640.414
AT ITER 345 NEW BEST:: SOT 545937 SOS 233910 HAS SOPS 219703 HAS SOUS 132708 HAS SOUPS 131381 WITH SCORE 131614.91
AT ITER 362 NEW BEST:: SOT 543250 SOS 231287 HAS SOPS 217080 HAS SOUS 130108 HAS SOUPS 128781 WITH SCORE 129012.287
AT ITER 366 NEW BEST:: SOT 543282 SOS 229975 HAS SOPS 215768 HAS SOUS 130076 HAS SOUPS 128749 WITH SCORE 128978.975
AT ITER 383 NEW BEST:: SOT 542821 SOS 229554 HAS SOPS 215347 HAS SOUS 129979 HAS SOUPS 128652 WITH SCORE 128881.554
AT ITER 395 NEW BEST:: SOT 542854 SOS 229587 HAS SOPS 215380 HAS SOUS 129793 HAS SOUPS 128466 WITH SCORE 128695.587
AT ITER 397 NEW BEST:: SOT 542690 SOS 229222 HAS SOPS 215015 HAS SOUS 129686 HAS SOUPS 128359 WITH SCORE 128588.222
AT ITER 403 NEW BEST:: SOT 542648 SOS 229180 HAS SOPS 214973 HAS SOUS 129434 HAS SOUPS 128107 WITH SCORE 128336.18
AT ITER 406 NEW BEST:: SOT 542506 SOS 229038 HAS SOPS 214938 HAS SOUS 129410 HAS SOUPS 128083 WITH SCORE 128312.038
AT ITER 409 NEW BEST:: SOT 542538 SOS 226540 HAS SOPS 212440 HAS SOUS 129222 HAS SOUPS 127895 WITH SCORE 128121.54
AT ITER 414 NEW BEST:: SOT 542561 SOS 226579 HAS SOPS 212456 HAS SOUS 129215 HAS SOUPS 127888 WITH SCORE 128114.579
AT ITER 417 NEW BEST:: SOT 542432 SOS 226370 HAS SOPS 212247 HAS SOUS 129105 HAS SOUPS 127778 WITH SCORE 128004.37
AT ITER 419 NEW BEST:: SOT 542432 SOS 226580 HAS SOPS 212125 HAS SOUS 129057 HAS SOUPS 127730 WITH SCORE 127956.58
AT ITER 434 NEW BEST:: SOT 542432 SOS 226580 HAS SOPS 212125 HAS SOUS 128931 HAS SOUPS 127604 WITH SCORE 127830.58
AT ITER 439 NEW BEST:: SOT 542209 SOS 226163 HAS SOPS 211708 HAS SOUS 128772 HAS SOUPS 127445 WITH SCORE 127671.163
AT ITER 442 NEW BEST:: SOT 542226 SOS 226290 HAS SOPS 211553 HAS SOUS 128617 HAS SOUPS 127290 WITH SCORE 127516.29
AT ITER 443 NEW BEST:: SOT 542213 SOS 226277 HAS SOPS 211514 HAS SOUS 128604 HAS SOUPS 127277 WITH SCORE 127503.277
AT ITER 444 NEW BEST:: SOT 542154 SOS 226218 HAS SOPS 211527 HAS SOUS 128053 HAS SOUPS 126726 WITH SCORE 126952.218
AT ITER 463 NEW BEST:: SOT 542154 SOS 226200 HAS SOPS 211509 HAS SOUS 128050 HAS SOUPS 126723 WITH SCORE 126949.2
AT ITER 467 NEW BEST:: SOT 542313 SOS 227008 HAS SOPS 212317 HAS SOUS 127867 HAS SOUPS 126540 WITH SCORE 126767.008
AT ITER 470 NEW BEST:: SOT 542258 SOS 227008 HAS SOPS 212221 HAS SOUS 127800 HAS SOUPS 126471 WITH SCORE 126698.008
AT ITER 474 NEW BEST:: SOT 542271 SOS 227021 HAS SOPS 212173 HAS SOUS 127739 HAS SOUPS 126410 WITH SCORE 126637.021
AT ITER 475 NEW BEST:: SOT 542272 SOS 227012 HAS SOPS 212164 HAS SOUS 127731 HAS SOUPS 126402 WITH SCORE 126629.012
AT ITER 476 NEW BEST:: SOT 542243 SOS 227020 HAS SOPS 212172 HAS SOUS 127620 HAS SOUPS 126291 WITH SCORE 126518.02
AT ITER 477 NEW BEST:: SOT 542251 SOS 226961 HAS SOPS 212113 HAS SOUS 127492 HAS SOUPS 126163 WITH SCORE 126389.961
AT ITER 484 NEW BEST:: SOT 540804 SOS 226299 HAS SOPS 210510 HAS SOUS 126357 HAS SOUPS 124871 WITH SCORE 125097.299
AT ITER 493 NEW BEST:: SOT 540716 SOS 226211 HAS SOPS 210689 HAS SOUS 126338 HAS SOUPS 124852 WITH SCORE 125078.211
AT ITER 501 NEW BEST:: SOT 540716 SOS 226225 HAS SOPS 210675 HAS SOUS 126314 HAS SOUPS 124828 WITH SCORE 125054.225
AT ITER 503 NEW BEST:: SOT 540711 SOS 226248 HAS SOPS 210701 HAS SOUS 126314 HAS SOUPS 124783 WITH SCORE 125009.248
AT ITER 527 NEW BEST:: SOT 540660 SOS 226248 HAS SOPS 210701 HAS SOUS 126269 HAS SOUPS 124738 WITH SCORE 124964.248
AT ITER 535 NEW BEST:: SOT 542265 SOS 227853 HAS SOPS 212306 HAS SOUS 125130 HAS SOUPS 123599 WITH SCORE 123826.853
AT ITER 544 NEW BEST:: SOT 542232 SOS 227480 HAS SOPS 212397 HAS SOUS 124984 HAS SOUPS 123521 WITH SCORE 123748.48
AT ITER 550 NEW BEST:: SOT 541881 SOS 226773 HAS SOPS 211615 HAS SOUS 124730 HAS SOUPS 123178 WITH SCORE 123404.773
AT ITER 576 NEW BEST:: SOT 541773 SOS 226629 HAS SOPS 211471 HAS SOUS 124622 HAS SOUPS 123070 WITH SCORE 123296.629
AT ITER 577 NEW BEST:: SOT 540095 SOS 226578 HAS SOPS 211420 HAS SOUS 123256 HAS SOUPS 121704 WITH SCORE 121930.578
AT ITER 581 NEW BEST:: SOT 540093 SOS 226569 HAS SOPS 211411 HAS SOUS 123253 HAS SOUPS 121701 WITH SCORE 121927.569
AT ITER 582 NEW BEST:: SOT 539981 SOS 224469 HAS SOPS 209652 HAS SOUS 123141 HAS SOUPS 121589 WITH SCORE 121813.469
AT ITER 589 NEW BEST:: SOT 539846 SOS 224334 HAS SOPS 209450 HAS SOUS 123088 HAS SOUPS 121536 WITH SCORE 121760.334
AT ITER 594 NEW BEST:: SOT 539803 SOS 224332 HAS SOPS 209448 HAS SOUS 123034 HAS SOUPS 121482 WITH SCORE 121706.332
AT ITER 612 NEW BEST:: SOT 539927 SOS 224776 HAS SOPS 209892 HAS SOUS 122744 HAS SOUPS 121192 WITH SCORE 121416.776
AT ITER 621 NEW BEST:: SOT 539927 SOS 224987 HAS SOPS 210026 HAS SOUS 122698 HAS SOUPS 121146 WITH SCORE 121370.987
AT ITER 634 NEW BEST:: SOT 540005 SOS 225074 HAS SOPS 210113 HAS SOUS 122646 HAS SOUPS 121094 WITH SCORE 121319.074
AT ITER 640 NEW BEST:: SOT 539950 SOS 225019 HAS SOPS 210058 HAS SOUS 122371 HAS SOUPS 120819 WITH SCORE 121044.019
AT ITER 642 NEW BEST:: SOT 539950 SOS 225063 HAS SOPS 209943 HAS SOUS 122310 HAS SOUPS 120758 WITH SCORE 120983.063
AT ITER 651 NEW BEST:: SOT 539687 SOS 224228 HAS SOPS 209230 HAS SOUS 122085 HAS SOUPS 120533 WITH SCORE 120757.228
AT ITER 656 NEW BEST:: SOT 539567 SOS 224030 HAS SOPS 209032 HAS SOUS 121967 HAS SOUPS 120415 WITH SCORE 120639.03
AT ITER 663 NEW BEST:: SOT 539434 SOS 223897 HAS SOPS 208913 HAS SOUS 121616 HAS SOUPS 120064 WITH SCORE 120287.897
AT ITER 667 NEW BEST:: SOT 539384 SOS 223870 HAS SOPS 208886 HAS SOUS 121585 HAS SOUPS 120033 WITH SCORE 120256.87
AT ITER 676 NEW BEST:: SOT 539372 SOS 223891 HAS SOPS 208907 HAS SOUS 121476 HAS SOUPS 119924 WITH SCORE 120147.891
AT ITER 677 NEW BEST:: SOT 539316 SOS 223846 HAS SOPS 208862 HAS SOUS 121390 HAS SOUPS 119838 WITH SCORE 120061.846
AT ITER 678 NEW BEST:: SOT 539270 SOS 223842 HAS SOPS 208858 HAS SOUS 121386 HAS SOUPS 119834 WITH SCORE 120057.842
AT ITER 688 NEW BEST:: SOT 539336 SOS 223908 HAS SOPS 208924 HAS SOUS 120991 HAS SOUPS 119439 WITH SCORE 119662.908
AT ITER 696 NEW BEST:: SOT 539252 SOS 223779 HAS SOPS 208846 HAS SOUS 120952 HAS SOUPS 119400 WITH SCORE 119623.779
AT ITER 703 NEW BEST:: SOT 539225 SOS 223752 HAS SOPS 208796 HAS SOUS 120933 HAS SOUPS 119381 WITH SCORE 119604.752
AT ITER 713 NEW BEST:: SOT 539041 SOS 223456 HAS SOPS 208500 HAS SOUS 120641 HAS SOUPS 119089 WITH SCORE 119312.456
AT ITER 715 NEW BEST:: SOT 539023 SOS 223438 HAS SOPS 208482 HAS SOUS 120629 HAS SOUPS 119077 WITH SCORE 119300.438
AT ITER 719 NEW BEST:: SOT 538900 SOS 223315 HAS SOPS 208483 HAS SOUS 120395 HAS SOUPS 118886 WITH SCORE 119109.315
AT ITER 722 NEW BEST:: SOT 538900 SOS 223302 HAS SOPS 208470 HAS SOUS 120382 HAS SOUPS 118873 WITH SCORE 119096.302
AT ITER 729 NEW BEST:: SOT 538476 SOS 222976 HAS SOPS 208144 HAS SOUS 120368 HAS SOUPS 118859 WITH SCORE 119081.976
AT ITER 737 NEW BEST:: SOT 538446 SOS 222999 HAS SOPS 208167 HAS SOUS 120282 HAS SOUPS 118773 WITH SCORE 118995.999
AT ITER 738 NEW BEST:: SOT 538204 SOS 222428 HAS SOPS 207951 HAS SOUS 120137 HAS SOUPS 118628 WITH SCORE 118850.428
AT ITER 746 NEW BEST:: SOT 538169 SOS 222393 HAS SOPS 207776 HAS SOUS 120067 HAS SOUPS 118558 WITH SCORE 118780.393
AT ITER 752 NEW BEST:: SOT 538169 SOS 222570 HAS SOPS 207820 HAS SOUS 120011 HAS SOUPS 118502 WITH SCORE 118724.57
AT ITER 763 NEW BEST:: SOT 538092 SOS 222199 HAS SOPS 207498 HAS SOUS 119966 HAS SOUPS 118457 WITH SCORE 118679.199
AT ITER 766 NEW BEST:: SOT 538082 SOS 222199 HAS SOPS 207498 HAS SOUS 119896 HAS SOUPS 118387 WITH SCORE 118609.199
AT ITER 767 NEW BEST:: SOT 538061 SOS 222119 HAS SOPS 207491 HAS SOUS 119853 HAS SOUPS 118344 WITH SCORE 118566.119
AT ITER 781 NEW BEST:: SOT 537958 SOS 221926 HAS SOPS 207418 HAS SOUS 119750 HAS SOUPS 118271 WITH SCORE 118492.926
AT ITER 784 NEW BEST:: SOT 537508 SOS 221462 HAS SOPS 206954 HAS SOUS 119707 HAS SOUPS 118228 WITH SCORE 118449.462
AT ITER 788 NEW BEST:: SOT 537508 SOS 221458 HAS SOPS 206951 HAS SOUS 119696 HAS SOUPS 118217 WITH SCORE 118438.458
AT ITER 789 NEW BEST:: SOT 537508 SOS 221458 HAS SOPS 206949 HAS SOUS 119694 HAS SOUPS 118215 WITH SCORE 118436.458
AT ITER 792 NEW BEST:: SOT 537493 SOS 221443 HAS SOPS 206934 HAS SOUS 119694 HAS SOUPS 118215 WITH SCORE 118436.443
AT ITER 794 NEW BEST:: SOT 537493 SOS 221443 HAS SOPS 206828 HAS SOUS 119616 HAS SOUPS 118137 WITH SCORE 118358.443
AT ITER 804 NEW BEST:: SOT 537435 SOS 221396 HAS SOPS 206781 HAS SOUS 119517 HAS SOUPS 118038 WITH SCORE 118259.396
AT ITER 808 NEW BEST:: SOT 537141 SOS 221102 HAS SOPS 206645 HAS SOUS 119022 HAS SOUPS 117543 WITH SCORE 117764.102
AT ITER 817 NEW BEST:: SOT 536982 SOS 220943 HAS SOPS 206486 HAS SOUS 118863 HAS SOUPS 117384 WITH SCORE 117604.943
AT ITER 823 NEW BEST:: SOT 536976 SOS 220937 HAS SOPS 206474 HAS SOUS 118857 HAS SOUPS 117378 WITH SCORE 117598.937
AT ITER 826 NEW BEST:: SOT 536952 SOS 220907 HAS SOPS 206444 HAS SOUS 118827 HAS SOUPS 117348 WITH SCORE 117568.907
AT ITER 830 NEW BEST:: SOT 536907 SOS 220713 HAS SOPS 206288 HAS SOUS 118690 HAS SOUPS 117220 WITH SCORE 117440.713
AT ITER 843 NEW BEST:: SOT 536986 SOS 220792 HAS SOPS 206429 HAS SOUS 118014 HAS SOUPS 116544 WITH SCORE 116764.792
AT ITER 844 NEW BEST:: SOT 536983 SOS 220786 HAS SOPS 206426 HAS SOUS 118011 HAS SOUPS 116544 WITH SCORE 116764.786
AT ITER 857 NEW BEST:: SOT 536969 SOS 220759 HAS SOPS 206399 HAS SOUS 118003 HAS SOUPS 116536 WITH SCORE 116756.759
AT ITER 866 NEW BEST:: SOT 536968 SOS 220742 HAS SOPS 206382 HAS SOUS 117991 HAS SOUPS 116524 WITH SCORE 116744.742
AT ITER 869 NEW BEST:: SOT 536875 SOS 220649 HAS SOPS 206289 HAS SOUS 117991 HAS SOUPS 116524 WITH SCORE 116744.649
AT ITER 875 NEW BEST:: SOT 536880 SOS 220654 HAS SOPS 206277 HAS SOUS 117974 HAS SOUPS 116507 WITH SCORE 116727.654
AT ITER 883 NEW BEST:: SOT 536869 SOS 220471 HAS SOPS 206094 HAS SOUS 117908 HAS SOUPS 116441 WITH SCORE 116661.471
AT ITER 884 NEW BEST:: SOT 536759 SOS 220401 HAS SOPS 206024 HAS SOUS 117810 HAS SOUPS 116343 WITH SCORE 116563.401
AT ITER 887 NEW BEST:: SOT 536756 SOS 220398 HAS SOPS 206021 HAS SOUS 117459 HAS SOUPS 115992 WITH SCORE 116212.398
AT ITER 897 NEW BEST:: SOT 533982 SOS 227138 HAS SOPS 212761 HAS SOUS 115227 HAS SOUPS 113760 WITH SCORE 113987.138
AT ITER 912 NEW BEST:: SOT 533982 SOS 227138 HAS SOPS 212761 HAS SOUS 115226 HAS SOUPS 113759 WITH SCORE 113986.138
AT ITER 943 NEW BEST:: SOT 533982 SOS 227131 HAS SOPS 212747 HAS SOUS 115212 HAS SOUPS 113745 WITH SCORE 113972.131
AT ITER 985 NEW BEST:: SOT 534033 SOS 227231 HAS SOPS 212847 HAS SOUS 115179 HAS SOUPS 113712 WITH SCORE 113939.231
AT ITER 989 NEW BEST:: SOT 533966 SOS 227164 HAS SOPS 212780 HAS SOUS 115155 HAS SOUPS 113688 WITH SCORE 113915.164
AT ITER 990 NEW BEST:: SOT 533966 SOS 227467 HAS SOPS 212739 HAS SOUS 114897 HAS SOUPS 113430 WITH SCORE 113657.467
AT ITER 998 NEW BEST:: SOT 533825 SOS 227391 HAS SOPS 212572 HAS SOUS 114733 HAS SOUPS 113253 WITH SCORE 113480.391
AT ITER 1003 NEW BEST:: SOT 533809 SOS 227375 HAS SOPS 212556 HAS SOUS 114725 HAS SOUPS 113245 WITH SCORE 113472.375
AT ITER 1009 NEW BEST:: SOT 533521 SOS 227087 HAS SOPS 212268 HAS SOUS 114456 HAS SOUPS 112976 WITH SCORE 113203.087
AT ITER 1022 NEW BEST:: SOT 533521 SOS 227050 HAS SOPS 212231 HAS SOUS 114419 HAS SOUPS 112939 WITH SCORE 113166.05
AT ITER 1032 NEW BEST:: SOT 533517 SOS 227356 HAS SOPS 212537 HAS SOUS 113647 HAS SOUPS 112167 WITH SCORE 112394.356
AT ITER 1033 NEW BEST:: SOT 533525 SOS 227364 HAS SOPS 212757 HAS SOUS 113187 HAS SOUPS 111707 WITH SCORE 111934.364
AT ITER 1034 NEW BEST:: SOT 533616 SOS 227545 HAS SOPS 212815 HAS SOUS 113169 HAS SOUPS 111689 WITH SCORE 111916.545
AT ITER 1038 NEW BEST:: SOT 533541 SOS 227890 HAS SOPS 213160 HAS SOUS 113152 HAS SOUPS 111672 WITH SCORE 111899.89
AT ITER 1043 NEW BEST:: SOT 533425 SOS 227710 HAS SOPS 212980 HAS SOUS 113141 HAS SOUPS 111661 WITH SCORE 111888.71
AT ITER 1065 NEW BEST:: SOT 533000 SOS 227354 HAS SOPS 212890 HAS SOUS 112641 HAS SOUPS 111320 WITH SCORE 111547.354
AT ITER 1066 NEW BEST:: SOT 532928 SOS 227282 HAS SOPS 212721 HAS SOUS 112576 HAS SOUPS 111255 WITH SCORE 111482.282
AT ITER 1073 NEW BEST:: SOT 533137 SOS 227491 HAS SOPS 212850 HAS SOUS 112505 HAS SOUPS 111184 WITH SCORE 111411.491
AT ITER 1079 NEW BEST:: SOT 533137 SOS 227483 HAS SOPS 212842 HAS SOUS 112504 HAS SOUPS 111183 WITH SCORE 111410.483
AT ITER 1091 NEW BEST:: SOT 533120 SOS 220074 HAS SOPS 205433 HAS SOUS 111066 HAS SOUPS 109745 WITH SCORE 109965.074
AT ITER 1093 NEW BEST:: SOT 533150 SOS 220067 HAS SOPS 205426 HAS SOUS 111060 HAS SOUPS 109739 WITH SCORE 109959.067
AT ITER 1098 NEW BEST:: SOT 533154 SOS 220093 HAS SOPS 205452 HAS SOUS 111013 HAS SOUPS 109692 WITH SCORE 109912.093
AT ITER 1104 NEW BEST:: SOT 532945 SOS 219884 HAS SOPS 205266 HAS SOUS 110245 HAS SOUPS 108924 WITH SCORE 109143.884
AT ITER 1108 NEW BEST:: SOT 532901 SOS 219840 HAS SOPS 205316 HAS SOUS 110004 HAS SOUPS 108683 WITH SCORE 108902.84
AT ITER 1121 NEW BEST:: SOT 532895 SOS 219834 HAS SOPS 205310 HAS SOUS 109998 HAS SOUPS 108677 WITH SCORE 108896.834
AT ITER 1123 NEW BEST:: SOT 526332 SOS 214385 HAS SOPS 199924 HAS SOUS 103701 HAS SOUPS 102353 WITH SCORE 102567.385
AT ITER 1125 NEW BEST:: SOT 526120 SOS 214173 HAS SOPS 199712 HAS SOUS 103489 HAS SOUPS 102141 WITH SCORE 102355.173
AT ITER 1129 NEW BEST:: SOT 525869 SOS 213878 HAS SOPS 199417 HAS SOUS 103203 HAS SOUPS 101855 WITH SCORE 102068.878
AT ITER 1137 NEW BEST:: SOT 525869 SOS 213880 HAS SOPS 199419 HAS SOUS 103201 HAS SOUPS 101853 WITH SCORE 102066.88
AT ITER 1155 NEW BEST:: SOT 525832 SOS 213584 HAS SOPS 199123 HAS SOUS 103164 HAS SOUPS 101816 WITH SCORE 102029.584
AT ITER 1158 NEW BEST:: SOT 525832 SOS 213576 HAS SOPS 199115 HAS SOUS 103156 HAS SOUPS 101808 WITH SCORE 102021.576
AT ITER 1171 NEW BEST:: SOT 525817 SOS 213561 HAS SOPS 199100 HAS SOUS 103055 HAS SOUPS 101707 WITH SCORE 101920.561
AT ITER 1174 NEW BEST:: SOT 525912 SOS 213656 HAS SOPS 199294 HAS SOUS 102590 HAS SOUPS 101242 WITH SCORE 101455.656
AT ITER 1176 NEW BEST:: SOT 525911 SOS 213655 HAS SOPS 199293 HAS SOUS 102588 HAS SOUPS 101240 WITH SCORE 101453.655
AT ITER 1179 NEW BEST:: SOT 527940 SOS 215684 HAS SOPS 201322 HAS SOUS 102413 HAS SOUPS 101065 WITH SCORE 101280.684
AT ITER 1184 NEW BEST:: SOT 527981 SOS 215725 HAS SOPS 201363 HAS SOUS 102367 HAS SOUPS 101019 WITH SCORE 101234.725
AT ITER 1192 NEW BEST:: SOT 527979 SOS 215698 HAS SOPS 201336 HAS SOUS 102355 HAS SOUPS 101007 WITH SCORE 101222.698
AT ITER 1193 NEW BEST:: SOT 527951 SOS 215670 HAS SOPS 201308 HAS SOUS 102309 HAS SOUPS 100961 WITH SCORE 101176.67
AT ITER 1220 NEW BEST:: SOT 527951 SOS 215662 HAS SOPS 201278 HAS SOUS 102292 HAS SOUPS 100928 WITH SCORE 101143.662
AT ITER 1234 NEW BEST:: SOT 527467 SOS 214934 HAS SOPS 200550 HAS SOUS 101906 HAS SOUPS 100542 WITH SCORE 100756.934
AT ITER 1258 NEW BEST:: SOT 527450 SOS 214921 HAS SOPS 200477 HAS SOUS 101845 HAS SOUPS 100481 WITH SCORE 100695.921
AT ITER 1265 NEW BEST:: SOT 527450 SOS 214933 HAS SOPS 200489 HAS SOUS 101836 HAS SOUPS 100472 WITH SCORE 100686.933
AT ITER 1282 NEW BEST:: SOT 527359 SOS 214842 HAS SOPS 200434 HAS SOUS 101781 HAS SOUPS 100417 WITH SCORE 100631.842
AT ITER 1285 NEW BEST:: SOT 527560 SOS 215188 HAS SOPS 200780 HAS SOUS 101311 HAS SOUPS 99947 WITH SCORE 100162.188
AT ITER 1319 NEW BEST:: SOT 527509 SOS 215137 HAS SOPS 200729 HAS SOUS 100912 HAS SOUPS 99548 WITH SCORE 99763.137
AT ITER 1326 NEW BEST:: SOT 527416 SOS 214939 HAS SOPS 200531 HAS SOUS 100746 HAS SOUPS 99382 WITH SCORE 99596.939
AT ITER 1348 NEW BEST:: SOT 527318 SOS 214759 HAS SOPS 200514 HAS SOUS 100705 HAS SOUPS 99341 WITH SCORE 99555.759
AT ITER 1380 NEW BEST:: SOT 527332 SOS 214772 HAS SOPS 200527 HAS SOUS 100678 HAS SOUPS 99314 WITH SCORE 99528.772
AT ITER 1381 NEW BEST:: SOT 527318 SOS 214758 HAS SOPS 200513 HAS SOUS 100661 HAS SOUPS 99297 WITH SCORE 99511.758
AT ITER 1386 NEW BEST:: SOT 527083 SOS 214523 HAS SOPS 200361 HAS SOUS 100151 HAS SOUPS 98870 WITH SCORE 99084.523
AT ITER 1388 NEW BEST:: SOT 527070 SOS 214510 HAS SOPS 200203 HAS SOUS 100089 HAS SOUPS 98808 WITH SCORE 99022.51
AT ITER 1406 NEW BEST:: SOT 527015 SOS 214455 HAS SOPS 200148 HAS SOUS 100034 HAS SOUPS 98753 WITH SCORE 98967.455
AT ITER 1408 NEW BEST:: SOT 526997 SOS 214437 HAS SOPS 200139 HAS SOUS 100025 HAS SOUPS 98744 WITH SCORE 98958.437
AT ITER 1410 NEW BEST:: SOT 526963 SOS 214226 HAS SOPS 200028 HAS SOUS 100010 HAS SOUPS 98729 WITH SCORE 98943.226
AT ITER 1412 NEW BEST:: SOT 526932 SOS 214155 HAS SOPS 199957 HAS SOUS 99959 HAS SOUPS 98678 WITH SCORE 98892.155
AT ITER 1419 NEW BEST:: SOT 526872 SOS 214065 HAS SOPS 199867 HAS SOUS 99869 HAS SOUPS 98588 WITH SCORE 98802.065
AT ITER 1428 NEW BEST:: SOT 526854 SOS 213960 HAS SOPS 199762 HAS SOUS 99816 HAS SOUPS 98535 WITH SCORE 98748.96
AT ITER 1430 NEW BEST:: SOT 526857 SOS 213985 HAS SOPS 199787 HAS SOUS 99755 HAS SOUPS 98474 WITH SCORE 98687.985
AT ITER 1432 NEW BEST:: SOT 526857 SOS 213985 HAS SOPS 199787 HAS SOUS 99748 HAS SOUPS 98467 WITH SCORE 98680.985
AT ITER 1447 NEW BEST:: SOT 526857 SOS 213985 HAS SOPS 199795 HAS SOUS 99740 HAS SOUPS 98459 WITH SCORE 98672.985
AT ITER 1448 NEW BEST:: SOT 526667 SOS 213968 HAS SOPS 199778 HAS SOUS 99703 HAS SOUPS 98422 WITH SCORE 98635.968
AT ITER 1450 NEW BEST:: SOT 526542 SOS 213789 HAS SOPS 199636 HAS SOUS 99578 HAS SOUPS 98297 WITH SCORE 98510.789
AT ITER 1460 NEW BEST:: SOT 526542 SOS 213790 HAS SOPS 199637 HAS SOUS 99576 HAS SOUPS 98295 WITH SCORE 98508.79
AT ITER 1467 NEW BEST:: SOT 526542 SOS 213503 HAS SOPS 199521 HAS SOUS 99533 HAS SOUPS 98252 WITH SCORE 98465.503
AT ITER 1468 NEW BEST:: SOT 526524 SOS 213485 HAS SOPS 199503 HAS SOUS 99505 HAS SOUPS 98224 WITH SCORE 98437.485
AT ITER 1469 NEW BEST:: SOT 526524 SOS 213586 HAS SOPS 199452 HAS SOUS 99499 HAS SOUPS 98218 WITH SCORE 98431.586
AT ITER 1471 NEW BEST:: SOT 526514 SOS 213595 HAS SOPS 199461 HAS SOUS 99489 HAS SOUPS 98208 WITH SCORE 98421.595
AT ITER 1481 NEW BEST:: SOT 526563 SOS 213692 HAS SOPS 199558 HAS SOUS 99172 HAS SOUPS 97891 WITH SCORE 98104.692
AT ITER 1484 NEW BEST:: SOT 526560 SOS 213689 HAS SOPS 199555 HAS SOUS 99130 HAS SOUPS 97849 WITH SCORE 98062.689
AT ITER 1487 NEW BEST:: SOT 526563 SOS 213773 HAS SOPS 199639 HAS SOUS 99124 HAS SOUPS 97843 WITH SCORE 98056.773
AT ITER 1496 NEW BEST:: SOT 526495 SOS 213705 HAS SOPS 199571 HAS SOUS 98988 HAS SOUPS 97707 WITH SCORE 97920.705
AT ITER 1500 NEW BEST:: SOT 525371 SOS 213690 HAS SOPS 201459 HAS SOUS 98597 HAS SOUPS 97409 WITH SCORE 97622.69
AT ITER 1524 NEW BEST:: SOT 525379 SOS 213459 HAS SOPS 201228 HAS SOUS 98534 HAS SOUPS 97346 WITH SCORE 97559.459
AT ITER 1532 NEW BEST:: SOT 525368 SOS 213376 HAS SOPS 201145 HAS SOUS 98451 HAS SOUPS 97263 WITH SCORE 97476.376
AT ITER 1537 NEW BEST:: SOT 525384 SOS 213392 HAS SOPS 201161 HAS SOUS 98435 HAS SOUPS 97247 WITH SCORE 97460.392
AT ITER 1539 NEW BEST:: SOT 525404 SOS 213512 HAS SOPS 201281 HAS SOUS 98415 HAS SOUPS 97227 WITH SCORE 97440.512
AT ITER 1540 NEW BEST:: SOT 525398 SOS 213561 HAS SOPS 201330 HAS SOUS 98348 HAS SOUPS 97160 WITH SCORE 97373.561
AT ITER 1551 NEW BEST:: SOT 525300 SOS 213327 HAS SOPS 201096 HAS SOUS 98182 HAS SOUPS 96994 WITH SCORE 97207.327
AT ITER 1554 NEW BEST:: SOT 524529 SOS 212556 HAS SOPS 200325 HAS SOUS 98171 HAS SOUPS 96983 WITH SCORE 97195.556
AT ITER 1581 NEW BEST:: SOT 524528 SOS 212553 HAS SOPS 200322 HAS SOUS 98169 HAS SOUPS 96981 WITH SCORE 97193.553
AT ITER 1583 NEW BEST:: SOT 524528 SOS 212549 HAS SOPS 200318 HAS SOUS 98168 HAS SOUPS 96980 WITH SCORE 97192.549
AT ITER 1590 NEW BEST:: SOT 524493 SOS 212483 HAS SOPS 200252 HAS SOUS 98133 HAS SOUPS 96945 WITH SCORE 97157.483
AT ITER 1592 NEW BEST:: SOT 524437 SOS 212427 HAS SOPS 200196 HAS SOUS 98041 HAS SOUPS 96853 WITH SCORE 97065.427
AT ITER 1593 NEW BEST:: SOT 524464 SOS 212451 HAS SOPS 200292 HAS SOUS 97964 HAS SOUPS 96776 WITH SCORE 96988.451
AT ITER 1605 NEW BEST:: SOT 524411 SOS 212398 HAS SOPS 200186 HAS SOUS 97888 HAS SOUPS 96700 WITH SCORE 96912.398
AT ITER 1617 NEW BEST:: SOT 524269 SOS 212256 HAS SOPS 200044 HAS SOUS 97766 HAS SOUPS 96578 WITH SCORE 96790.256
AT ITER 1618 NEW BEST:: SOT 524184 SOS 212166 HAS SOPS 199954 HAS SOUS 97711 HAS SOUPS 96523 WITH SCORE 96735.166
AT ITER 1620 NEW BEST:: SOT 524176 SOS 212150 HAS SOPS 199938 HAS SOUS 97703 HAS SOUPS 96515 WITH SCORE 96727.15
AT ITER 1631 NEW BEST:: SOT 524209 SOS 211095 HAS SOPS 198883 HAS SOUS 97225 HAS SOUPS 96037 WITH SCORE 96248.095
AT ITER 1632 NEW BEST:: SOT 523962 SOS 210842 HAS SOPS 198661 HAS SOUS 97059 HAS SOUPS 95871 WITH SCORE 96081.842
AT ITER 1634 NEW BEST:: SOT 524006 SOS 225898 HAS SOPS 213717 HAS SOUS 97007 HAS SOUPS 95819 WITH SCORE 96044.898
AT ITER 1636 NEW BEST:: SOT 523969 SOS 225861 HAS SOPS 213716 HAS SOUS 96978 HAS SOUPS 95790 WITH SCORE 96015.861
AT ITER 1659 NEW BEST:: SOT 523931 SOS 225823 HAS SOPS 213678 HAS SOUS 96861 HAS SOUPS 95673 WITH SCORE 95898.823
AT ITER 1663 NEW BEST:: SOT 523911 SOS 225818 HAS SOPS 213673 HAS SOUS 96799 HAS SOUPS 95611 WITH SCORE 95836.818
AT ITER 1682 NEW BEST:: SOT 523899 SOS 225794 HAS SOPS 213649 HAS SOUS 96775 HAS SOUPS 95587 WITH SCORE 95812.794
AT ITER 1686 NEW BEST:: SOT 523706 SOS 225592 HAS SOPS 213447 HAS SOUS 96766 HAS SOUPS 95578 WITH SCORE 95803.592
AT ITER 1698 NEW BEST:: SOT 523715 SOS 225601 HAS SOPS 213421 HAS SOUS 96697 HAS SOUPS 95509 WITH SCORE 95734.601
AT ITER 1700 NEW BEST:: SOT 523645 SOS 225531 HAS SOPS 213383 HAS SOUS 96667 HAS SOUPS 95479 WITH SCORE 95704.531
AT ITER 1707 NEW BEST:: SOT 523509 SOS 225383 HAS SOPS 213235 HAS SOUS 96533 HAS SOUPS 95345 WITH SCORE 95570.383
AT ITER 1709 NEW BEST:: SOT 523454 SOS 225328 HAS SOPS 213180 HAS SOUS 96478 HAS SOUPS 95290 WITH SCORE 95515.328
AT ITER 1716 NEW BEST:: SOT 523281 SOS 224892 HAS SOPS 212749 HAS SOUS 96132 HAS SOUPS 94944 WITH SCORE 95168.892
AT ITER 1727 NEW BEST:: SOT 523281 SOS 224870 HAS SOPS 212727 HAS SOUS 96121 HAS SOUPS 94933 WITH SCORE 95157.87
AT ITER 1735 NEW BEST:: SOT 523281 SOS 226371 HAS SOPS 212808 HAS SOUS 96133 HAS SOUPS 94924 WITH SCORE 95150.371
AT ITER 1736 NEW BEST:: SOT 523088 SOS 226114 HAS SOPS 212683 HAS SOUS 96074 HAS SOUPS 94865 WITH SCORE 95091.114
AT ITER 1744 NEW BEST:: SOT 522954 SOS 225980 HAS SOPS 212577 HAS SOUS 95993 HAS SOUPS 94790 WITH SCORE 95015.98
AT ITER 1747 NEW BEST:: SOT 522924 SOS 225932 HAS SOPS 212529 HAS SOUS 95897 HAS SOUPS 94694 WITH SCORE 94919.932
AT ITER 1750 NEW BEST:: SOT 522924 SOS 225932 HAS SOPS 212521 HAS SOUS 95853 HAS SOUPS 94650 WITH SCORE 94875.932
AT ITER 1762 NEW BEST:: SOT 523006 SOS 226014 HAS SOPS 212684 HAS SOUS 95558 HAS SOUPS 94355 WITH SCORE 94581.014
AT ITER 1766 NEW BEST:: SOT 523006 SOS 226014 HAS SOPS 212684 HAS SOUS 95381 HAS SOUPS 94178 WITH SCORE 94404.014
AT ITER 1778 NEW BEST:: SOT 522110 SOS 225855 HAS SOPS 213592 HAS SOUS 95312 HAS SOUPS 94007 WITH SCORE 94232.855
AT ITER 1784 NEW BEST:: SOT 521979 SOS 225724 HAS SOPS 213461 HAS SOUS 95230 HAS SOUPS 93925 WITH SCORE 94150.724
AT ITER 1792 NEW BEST:: SOT 521851 SOS 225464 HAS SOPS 213205 HAS SOUS 95062 HAS SOUPS 93757 WITH SCORE 93982.464
AT ITER 1811 NEW BEST:: SOT 521839 SOS 225452 HAS SOPS 213193 HAS SOUS 95038 HAS SOUPS 93733 WITH SCORE 93958.452
AT ITER 1817 NEW BEST:: SOT 521815 SOS 225428 HAS SOPS 213169 HAS SOUS 94990 HAS SOUPS 93685 WITH SCORE 93910.428
AT ITER 1835 NEW BEST:: SOT 521691 SOS 225518 HAS SOPS 213238 HAS SOUS 94849 HAS SOUPS 93544 WITH SCORE 93769.518
AT ITER 1845 NEW BEST:: SOT 521689 SOS 225515 HAS SOPS 213235 HAS SOUS 94845 HAS SOUPS 93540 WITH SCORE 93765.515
AT ITER 1847 NEW BEST:: SOT 521603 SOS 225214 HAS SOPS 212934 HAS SOUS 94655 HAS SOUPS 93350 WITH SCORE 93575.214
AT ITER 1858 NEW BEST:: SOT 521601 SOS 225210 HAS SOPS 212930 HAS SOUS 94651 HAS SOUPS 93346 WITH SCORE 93571.21
AT ITER 1859 NEW BEST:: SOT 521601 SOS 227102 HAS SOPS 212906 HAS SOUS 94605 HAS SOUPS 93259 WITH SCORE 93486.102
AT ITER 1886 NEW BEST:: SOT 521597 SOS 226960 HAS SOPS 212764 HAS SOUS 94498 HAS SOUPS 93152 WITH SCORE 93378.96
AT ITER 1889 NEW BEST:: SOT 521491 SOS 226854 HAS SOPS 212699 HAS SOUS 94283 HAS SOUPS 92937 WITH SCORE 93163.854
AT ITER 1905 NEW BEST:: SOT 521306 SOS 226669 HAS SOPS 212514 HAS SOUS 94220 HAS SOUPS 92874 WITH SCORE 93100.669
AT ITER 1912 NEW BEST:: SOT 521306 SOS 226666 HAS SOPS 212508 HAS SOUS 94217 HAS SOUPS 92871 WITH SCORE 93097.666
AT ITER 1913 NEW BEST:: SOT 521323 SOS 226750 HAS SOPS 212592 HAS SOUS 94152 HAS SOUPS 92806 WITH SCORE 93032.75
AT ITER 1919 NEW BEST:: SOT 521089 SOS 225639 HAS SOPS 211493 HAS SOUS 93526 HAS SOUPS 92180 WITH SCORE 92405.639
AT ITER 1921 NEW BEST:: SOT 520941 SOS 225158 HAS SOPS 211012 HAS SOUS 93335 HAS SOUPS 91989 WITH SCORE 92214.158
AT ITER 1925 NEW BEST:: SOT 520870 SOS 225087 HAS SOPS 210873 HAS SOUS 93107 HAS SOUPS 91761 WITH SCORE 91986.087
AT ITER 1942 NEW BEST:: SOT 520891 SOS 224825 HAS SOPS 210734 HAS SOUS 92965 HAS SOUPS 91656 WITH SCORE 91880.825
AT ITER 1949 NEW BEST:: SOT 520931 SOS 224697 HAS SOPS 210606 HAS SOUS 92924 HAS SOUPS 91615 WITH SCORE 91839.697
AT ITER 1991 NEW BEST:: SOT 520765 SOS 224531 HAS SOPS 210440 HAS SOUS 92875 HAS SOUPS 91566 WITH SCORE 91790.531
AT ITER 2004 NEW BEST:: SOT 520759 SOS 224531 HAS SOPS 210440 HAS SOUS 92869 HAS SOUPS 91560 WITH SCORE 91784.531
AT ITER 2033 NEW BEST:: SOT 520759 SOS 224549 HAS SOPS 210458 HAS SOUS 92867 HAS SOUPS 91558 WITH SCORE 91782.549
AT ITER 2036 NEW BEST:: SOT 520697 SOS 224388 HAS SOPS 210297 HAS SOUS 92743 HAS SOUPS 91434 WITH SCORE 91658.388
AT ITER 2037 NEW BEST:: SOT 520670 SOS 224352 HAS SOPS 210261 HAS SOUS 92686 HAS SOUPS 91377 WITH SCORE 91601.352
AT ITER 2057 NEW BEST:: SOT 520638 SOS 224415 HAS SOPS 210324 HAS SOUS 92589 HAS SOUPS 91280 WITH SCORE 91504.415
AT ITER 2074 NEW BEST:: SOT 520563 SOS 223215 HAS SOPS 209216 HAS SOUS 92566 HAS SOUPS 91257 WITH SCORE 91480.215
AT ITER 2078 NEW BEST:: SOT 520546 SOS 223399 HAS SOPS 209173 HAS SOUS 92523 HAS SOUPS 91145 WITH SCORE 91368.399
AT ITER 2087 NEW BEST:: SOT 520544 SOS 223306 HAS SOPS 209080 HAS SOUS 92501 HAS SOUPS 91123 WITH SCORE 91346.306
AT ITER 2090 NEW BEST:: SOT 520544 SOS 223091 HAS SOPS 208865 HAS SOUS 92438 HAS SOUPS 91060 WITH SCORE 91283.091
AT ITER 2093 NEW BEST:: SOT 520388 SOS 222835 HAS SOPS 208609 HAS SOUS 92407 HAS SOUPS 91029 WITH SCORE 91251.835
AT ITER 2101 NEW BEST:: SOT 520173 SOS 222620 HAS SOPS 208394 HAS SOUS 92247 HAS SOUPS 90869 WITH SCORE 91091.62
AT ITER 2120 NEW BEST:: SOT 520173 SOS 222616 HAS SOPS 208390 HAS SOUS 92247 HAS SOUPS 90869 WITH SCORE 91091.616
AT ITER 2132 NEW BEST:: SOT 520106 SOS 222549 HAS SOPS 208323 HAS SOUS 92188 HAS SOUPS 90810 WITH SCORE 91032.549
AT ITER 2133 NEW BEST:: SOT 519847 SOS 222290 HAS SOPS 208095 HAS SOUS 91830 HAS SOUPS 90452 WITH SCORE 90674.29
AT ITER 2150 NEW BEST:: SOT 519791 SOS 222094 HAS SOPS 207899 HAS SOUS 91739 HAS SOUPS 90361 WITH SCORE 90583.094
AT ITER 2160 NEW BEST:: SOT 519766 SOS 222069 HAS SOPS 207874 HAS SOUS 91714 HAS SOUPS 90336 WITH SCORE 90558.069
AT ITER 2187 NEW BEST:: SOT 519648 SOS 221685 HAS SOPS 207490 HAS SOUS 91596 HAS SOUPS 90218 WITH SCORE 90439.685
AT ITER 2188 NEW BEST:: SOT 519644 SOS 221660 HAS SOPS 207479 HAS SOUS 91592 HAS SOUPS 90214 WITH SCORE 90435.66
AT ITER 2191 NEW BEST:: SOT 520125 SOS 222242 HAS SOPS 208061 HAS SOUS 91184 HAS SOUPS 89806 WITH SCORE 90028.242
AT ITER 2204 NEW BEST:: SOT 520110 SOS 222227 HAS SOPS 208046 HAS SOUS 91183 HAS SOUPS 89805 WITH SCORE 90027.227
AT ITER 2207 NEW BEST:: SOT 520153 SOS 222313 HAS SOPS 208132 HAS SOUS 91054 HAS SOUPS 89676 WITH SCORE 89898.313
AT ITER 2223 NEW BEST:: SOT 520070 SOS 222147 HAS SOPS 207966 HAS SOUS 90888 HAS SOUPS 89510 WITH SCORE 89732.147
AT ITER 2224 NEW BEST:: SOT 519991 SOS 222068 HAS SOPS 207887 HAS SOUS 90796 HAS SOUPS 89418 WITH SCORE 89640.068
AT ITER 2236 NEW BEST:: SOT 519862 SOS 221769 HAS SOPS 207588 HAS SOUS 90531 HAS SOUPS 89153 WITH SCORE 89374.769
AT ITER 2263 NEW BEST:: SOT 519845 SOS 221752 HAS SOPS 207552 HAS SOUS 90485 HAS SOUPS 89107 WITH SCORE 89328.752
AT ITER 2291 NEW BEST:: SOT 519602 SOS 221509 HAS SOPS 207309 HAS SOUS 90012 HAS SOUPS 88634 WITH SCORE 88855.509
AT ITER 2292 NEW BEST:: SOT 519596 SOS 221492 HAS SOPS 207292 HAS SOUS 90003 HAS SOUPS 88625 WITH SCORE 88846.492
AT ITER 2296 NEW BEST:: SOT 519595 SOS 221491 HAS SOPS 207291 HAS SOUS 90002 HAS SOUPS 88624 WITH SCORE 88845.491
AT ITER 2298 NEW BEST:: SOT 519585 SOS 221481 HAS SOPS 207291 HAS SOUS 89982 HAS SOUPS 88604 WITH SCORE 88825.481
AT ITER 2303 NEW BEST:: SOT 519569 SOS 221438 HAS SOPS 207248 HAS SOUS 89946 HAS SOUPS 88568 WITH SCORE 88789.438
AT ITER 2311 NEW BEST:: SOT 519461 SOS 221330 HAS SOPS 207140 HAS SOUS 89901 HAS SOUPS 88523 WITH SCORE 88744.33
AT ITER 2324 NEW BEST:: SOT 519371 SOS 221189 HAS SOPS 206999 HAS SOUS 89853 HAS SOUPS 88475 WITH SCORE 88696.189
AT ITER 2352 NEW BEST:: SOT 519398 SOS 221600 HAS SOPS 207410 HAS SOUS 89845 HAS SOUPS 88467 WITH SCORE 88688.6
AT ITER 2367 NEW BEST:: SOT 519393 SOS 221604 HAS SOPS 207409 HAS SOUS 89840 HAS SOUPS 88462 WITH SCORE 88683.604
AT ITER 2376 NEW BEST:: SOT 519342 SOS 221553 HAS SOPS 207358 HAS SOUS 89789 HAS SOUPS 88411 WITH SCORE 88632.553
AT ITER 2378 NEW BEST:: SOT 519363 SOS 221595 HAS SOPS 207376 HAS SOUS 89783 HAS SOUPS 88405 WITH SCORE 88626.595
AT ITER 2391 NEW BEST:: SOT 519447 SOS 221679 HAS SOPS 207460 HAS SOUS 89725 HAS SOUPS 88347 WITH SCORE 88568.679
AT ITER 2393 NEW BEST:: SOT 519291 SOS 221617 HAS SOPS 207398 HAS SOUS 89643 HAS SOUPS 88265 WITH SCORE 88486.617
AT ITER 2405 NEW BEST:: SOT 519291 SOS 221617 HAS SOPS 207398 HAS SOUS 89628 HAS SOUPS 88250 WITH SCORE 88471.617
AT ITER 2417 NEW BEST:: SOT 519311 SOS 221637 HAS SOPS 207418 HAS SOUS 89258 HAS SOUPS 87880 WITH SCORE 88101.637
AT ITER 2419 NEW BEST:: SOT 519367 SOS 221682 HAS SOPS 207463 HAS SOUS 89253 HAS SOUPS 87875 WITH SCORE 88096.682
AT ITER 2424 NEW BEST:: SOT 519319 SOS 221409 HAS SOPS 207190 HAS SOUS 89198 HAS SOUPS 87820 WITH SCORE 88041.409
AT ITER 2427 NEW BEST:: SOT 518907 SOS 221027 HAS SOPS 206808 HAS SOUS 89141 HAS SOUPS 87763 WITH SCORE 87984.027
AT ITER 2435 NEW BEST:: SOT 518961 SOS 221038 HAS SOPS 206819 HAS SOUS 89103 HAS SOUPS 87725 WITH SCORE 87946.038
AT ITER 2436 NEW BEST:: SOT 519011 SOS 221088 HAS SOPS 206869 HAS SOUS 88456 HAS SOUPS 87078 WITH SCORE 87299.088
AT ITER 2456 NEW BEST:: SOT 519011 SOS 221097 HAS SOPS 206878 HAS SOUS 88210 HAS SOUPS 86832 WITH SCORE 87053.097
AT ITER 2472 NEW BEST:: SOT 518999 SOS 221019 HAS SOPS 206800 HAS SOUS 88141 HAS SOUPS 86763 WITH SCORE 86984.019
AT ITER 2474 NEW BEST:: SOT 518997 SOS 221016 HAS SOPS 206797 HAS SOUS 88138 HAS SOUPS 86760 WITH SCORE 86981.016
AT ITER 2480 NEW BEST:: SOT 518976 SOS 220953 HAS SOPS 206734 HAS SOUS 88096 HAS SOUPS 86718 WITH SCORE 86938.953
AT ITER 2485 NEW BEST:: SOT 518975 SOS 220948 HAS SOPS 206729 HAS SOUS 88092 HAS SOUPS 86714 WITH SCORE 86934.948
AT ITER 2493 NEW BEST:: SOT 518957 SOS 220876 HAS SOPS 206657 HAS SOUS 88092 HAS SOUPS 86714 WITH SCORE 86934.876
AT ITER 2514 NEW BEST:: SOT 518807 SOS 220726 HAS SOPS 206507 HAS SOUS 87582 HAS SOUPS 86204 WITH SCORE 86424.726
AT ITER 2524 NEW BEST:: SOT 518763 SOS 220682 HAS SOPS 206463 HAS SOUS 87461 HAS SOUPS 86083 WITH SCORE 86303.682
AT ITER 2526 NEW BEST:: SOT 518894 SOS 220728 HAS SOPS 206509 HAS SOUS 87441 HAS SOUPS 86063 WITH SCORE 86283.728
AT ITER 2533 NEW BEST:: SOT 518726 SOS 220560 HAS SOPS 206341 HAS SOUS 87138 HAS SOUPS 85760 WITH SCORE 85980.56
AT ITER 2534 NEW BEST:: SOT 518668 SOS 220459 HAS SOPS 206240 HAS SOUS 87091 HAS SOUPS 85713 WITH SCORE 85933.459
AT ITER 2540 NEW BEST:: SOT 518631 SOS 220422 HAS SOPS 206203 HAS SOUS 87051 HAS SOUPS 85673 WITH SCORE 85893.422
AT ITER 2545 NEW BEST:: SOT 518625 SOS 220164 HAS SOPS 205948 HAS SOUS 87024 HAS SOUPS 85646 WITH SCORE 85866.164
AT ITER 2548 NEW BEST:: SOT 518583 SOS 220122 HAS SOPS 205906 HAS SOUS 86974 HAS SOUPS 85596 WITH SCORE 85816.122
AT ITER 2563 NEW BEST:: SOT 517994 SOS 219609 HAS SOPS 205393 HAS SOUS 86608 HAS SOUPS 85230 WITH SCORE 85449.609
AT ITER 2578 NEW BEST:: SOT 517994 SOS 219611 HAS SOPS 205395 HAS SOUS 86588 HAS SOUPS 85210 WITH SCORE 85429.611
AT ITER 2588 NEW BEST:: SOT 517909 SOS 219441 HAS SOPS 205225 HAS SOUS 86418 HAS SOUPS 85040 WITH SCORE 85259.441
AT ITER 2589 NEW BEST:: SOT 517397 SOS 218894 HAS SOPS 204678 HAS SOUS 85862 HAS SOUPS 84484 WITH SCORE 84702.894
AT ITER 2598 NEW BEST:: SOT 517459 SOS 218936 HAS SOPS 204740 HAS SOUS 85847 HAS SOUPS 84469 WITH SCORE 84687.936
AT ITER 2619 NEW BEST:: SOT 517413 SOS 218930 HAS SOPS 204536 HAS SOUS 85791 HAS SOUPS 84413 WITH SCORE 84631.93
AT ITER 2624 NEW BEST:: SOT 517413 SOS 218890 HAS SOPS 204496 HAS SOUS 85791 HAS SOUPS 84413 WITH SCORE 84631.89
AT ITER 2646 NEW BEST:: SOT 517435 SOS 218912 HAS SOPS 204518 HAS SOUS 85715 HAS SOUPS 84337 WITH SCORE 84555.912
AT ITER 2652 NEW BEST:: SOT 517439 SOS 218916 HAS SOPS 204522 HAS SOUS 85632 HAS SOUPS 84254 WITH SCORE 84472.916
AT ITER 2657 NEW BEST:: SOT 517439 SOS 218916 HAS SOPS 204522 HAS SOUS 85618 HAS SOUPS 84240 WITH SCORE 84458.916
AT ITER 2687 NEW BEST:: SOT 517243 SOS 218698 HAS SOPS 204438 HAS SOUS 85583 HAS SOUPS 84205 WITH SCORE 84423.698
AT ITER 2697 NEW BEST:: SOT 516850 SOS 218529 HAS SOPS 204269 HAS SOUS 84805 HAS SOUPS 83427 WITH SCORE 83645.529
AT ITER 2704 NEW BEST:: SOT 516856 SOS 218535 HAS SOPS 204275 HAS SOUS 84612 HAS SOUPS 83234 WITH SCORE 83452.535
AT ITER 2705 NEW BEST:: SOT 516381 SOS 218077 HAS SOPS 203817 HAS SOUS 84276 HAS SOUPS 82898 WITH SCORE 83116.077
AT ITER 2724 NEW BEST:: SOT 515519 SOS 218281 HAS SOPS 204021 HAS SOUS 84104 HAS SOUPS 82726 WITH SCORE 82944.281
AT ITER 2749 NEW BEST:: SOT 515428 SOS 218190 HAS SOPS 203930 HAS SOUS 84017 HAS SOUPS 82639 WITH SCORE 82857.19
AT ITER 2754 NEW BEST:: SOT 515415 SOS 218177 HAS SOPS 203910 HAS SOUS 83990 HAS SOUPS 82612 WITH SCORE 82830.177
AT ITER 2770 NEW BEST:: SOT 515295 SOS 218085 HAS SOPS 203818 HAS SOUS 83741 HAS SOUPS 82363 WITH SCORE 82581.085
AT ITER 2779 NEW BEST:: SOT 515291 SOS 218075 HAS SOPS 203808 HAS SOUS 83736 HAS SOUPS 82358 WITH SCORE 82576.075
AT ITER 2781 NEW BEST:: SOT 515284 SOS 218068 HAS SOPS 203801 HAS SOUS 83582 HAS SOUPS 82204 WITH SCORE 82422.068
AT ITER 2784 NEW BEST:: SOT 515273 SOS 218040 HAS SOPS 203773 HAS SOUS 83544 HAS SOUPS 82166 WITH SCORE 82384.04
AT ITER 2794 NEW BEST:: SOT 515108 SOS 217866 HAS SOPS 203608 HAS SOUS 83381 HAS SOUPS 82003 WITH SCORE 82220.866
AT ITER 2798 NEW BEST:: SOT 514604 SOS 217362 HAS SOPS 203104 HAS SOUS 82877 HAS SOUPS 81499 WITH SCORE 81716.362
AT ITER 2800 NEW BEST:: SOT 514429 SOS 217072 HAS SOPS 202777 HAS SOUS 82746 HAS SOUPS 81368 WITH SCORE 81585.072
AT ITER 2803 NEW BEST:: SOT 514630 SOS 217273 HAS SOPS 202978 HAS SOUS 82615 HAS SOUPS 81237 WITH SCORE 81454.273
AT ITER 2824 NEW BEST:: SOT 514630 SOS 217273 HAS SOPS 202978 HAS SOUS 82613 HAS SOUPS 81235 WITH SCORE 81452.273
AT ITER 2833 NEW BEST:: SOT 514355 SOS 216912 HAS SOPS 202525 HAS SOUS 82101 HAS SOUPS 80723 WITH SCORE 80939.912
AT ITER 2842 NEW BEST:: SOT 514355 SOS 216912 HAS SOPS 202525 HAS SOUS 82091 HAS SOUPS 80713 WITH SCORE 80929.912
AT ITER 2861 NEW BEST:: SOT 514353 SOS 216758 HAS SOPS 202371 HAS SOUS 81937 HAS SOUPS 80559 WITH SCORE 80775.758
AT ITER 2866 NEW BEST:: SOT 514260 SOS 216665 HAS SOPS 202278 HAS SOUS 81879 HAS SOUPS 80501 WITH SCORE 80717.665
AT ITER 2872 NEW BEST:: SOT 513954 SOS 216159 HAS SOPS 201956 HAS SOUS 81863 HAS SOUPS 80485 WITH SCORE 80701.159
AT ITER 2874 NEW BEST:: SOT 513853 SOS 216058 HAS SOPS 201855 HAS SOUS 81759 HAS SOUPS 80381 WITH SCORE 80597.058
AT ITER 2881 NEW BEST:: SOT 513636 SOS 215841 HAS SOPS 201638 HAS SOUS 81542 HAS SOUPS 80164 WITH SCORE 80379.841
AT ITER 2894 NEW BEST:: SOT 513632 SOS 215838 HAS SOPS 201635 HAS SOUS 81533 HAS SOUPS 80155 WITH SCORE 80370.838
AT ITER 2904 NEW BEST:: SOT 513632 SOS 215837 HAS SOPS 201634 HAS SOUS 81532 HAS SOUPS 80154 WITH SCORE 80369.837
AT ITER 2905 NEW BEST:: SOT 513673 SOS 215863 HAS SOPS 201660 HAS SOUS 81480 HAS SOUPS 80102 WITH SCORE 80317.863
AT ITER 2925 NEW BEST:: SOT 513576 SOS 215766 HAS SOPS 201563 HAS SOUS 81286 HAS SOUPS 79908 WITH SCORE 80123.766
AT ITER 2927 NEW BEST:: SOT 513513 SOS 211356 HAS SOPS 197153 HAS SOUS 81160 HAS SOUPS 79782 WITH SCORE 79993.356
AT ITER 2928 NEW BEST:: SOT 513399 SOS 210419 HAS SOPS 196216 HAS SOUS 81085 HAS SOUPS 79707 WITH SCORE 79917.419
AT ITER 2933 NEW BEST:: SOT 513399 SOS 210299 HAS SOPS 196125 HAS SOUS 81066 HAS SOUPS 79688 WITH SCORE 79898.299
AT ITER 2972 NEW BEST:: SOT 513219 SOS 210119 HAS SOPS 195945 HAS SOUS 80917 HAS SOUPS 79539 WITH SCORE 79749.119
AT ITER 2982 NEW BEST:: SOT 513170 SOS 210070 HAS SOPS 195896 HAS SOUS 80865 HAS SOUPS 79487 WITH SCORE 79697.07
AT ITER 2983 NEW BEST:: SOT 513267 SOS 210045 HAS SOPS 195871 HAS SOUS 80836 HAS SOUPS 79458 WITH SCORE 79668.045
AT ITER 2990 NEW BEST:: SOT 513174 SOS 210450 HAS SOPS 196276 HAS SOUS 80743 HAS SOUPS 79365 WITH SCORE 79575.45
AT ITER 2992 NEW BEST:: SOT 513171 SOS 210681 HAS SOPS 196507 HAS SOUS 80686 HAS SOUPS 79308 WITH SCORE 79518.681
AT ITER 3008 NEW BEST:: SOT 513158 SOS 210796 HAS SOPS 196622 HAS SOUS 80621 HAS SOUPS 79243 WITH SCORE 79453.796
AT ITER 3026 NEW BEST:: SOT 512949 SOS 210587 HAS SOPS 196413 HAS SOUS 80470 HAS SOUPS 79092 WITH SCORE 79302.587
AT ITER 3028 NEW BEST:: SOT 512940 SOS 210578 HAS SOPS 196398 HAS SOUS 80451 HAS SOUPS 79073 WITH SCORE 79283.578
AT ITER 3031 NEW BEST:: SOT 512932 SOS 210346 HAS SOPS 196222 HAS SOUS 80435 HAS SOUPS 79065 WITH SCORE 79275.346
AT ITER 3038 NEW BEST:: SOT 512856 SOS 210182 HAS SOPS 196058 HAS SOUS 80359 HAS SOUPS 78989 WITH SCORE 79199.182
AT ITER 3039 NEW BEST:: SOT 512778 SOS 210036 HAS SOPS 195912 HAS SOUS 80213 HAS SOUPS 78843 WITH SCORE 79053.036
AT ITER 3042 NEW BEST:: SOT 512777 SOS 210034 HAS SOPS 195910 HAS SOUS 80212 HAS SOUPS 78842 WITH SCORE 79052.034
AT ITER 3044 NEW BEST:: SOT 512777 SOS 210045 HAS SOPS 195921 HAS SOUS 80187 HAS SOUPS 78817 WITH SCORE 79027.045
AT ITER 3045 NEW BEST:: SOT 512777 SOS 210043 HAS SOPS 195919 HAS SOUS 80185 HAS SOUPS 78815 WITH SCORE 79025.043
AT ITER 3059 NEW BEST:: SOT 512711 SOS 209977 HAS SOPS 195853 HAS SOUS 80037 HAS SOUPS 78667 WITH SCORE 78876.977
AT ITER 3061 NEW BEST:: SOT 512699 SOS 209965 HAS SOPS 195847 HAS SOUS 80007 HAS SOUPS 78637 WITH SCORE 78846.965
AT ITER 3064 NEW BEST:: SOT 512693 SOS 209941 HAS SOPS 195823 HAS SOUS 80001 HAS SOUPS 78631 WITH SCORE 78840.941
AT ITER 3086 NEW BEST:: SOT 512683 SOS 209921 HAS SOPS 195803 HAS SOUS 79981 HAS SOUPS 78611 WITH SCORE 78820.921
AT ITER 3091 NEW BEST:: SOT 512664 SOS 209902 HAS SOPS 195696 HAS SOUS 79930 HAS SOUPS 78560 WITH SCORE 78769.902
AT ITER 3094 NEW BEST:: SOT 512664 SOS 209902 HAS SOPS 195665 HAS SOUS 79907 HAS SOUPS 78537 WITH SCORE 78746.902
AT ITER 3114 NEW BEST:: SOT 512573 SOS 209639 HAS SOPS 195707 HAS SOUS 79906 HAS SOUPS 78536 WITH SCORE 78745.639
AT ITER 3115 NEW BEST:: SOT 512513 SOS 209556 HAS SOPS 195624 HAS SOUS 79851 HAS SOUPS 78481 WITH SCORE 78690.556
AT ITER 3127 NEW BEST:: SOT 512433 SOS 206544 HAS SOPS 192612 HAS SOUS 79776 HAS SOUPS 78406 WITH SCORE 78612.544
AT ITER 3133 NEW BEST:: SOT 512431 SOS 206542 HAS SOPS 192607 HAS SOUS 79760 HAS SOUPS 78390 WITH SCORE 78596.542
AT ITER 3136 NEW BEST:: SOT 512339 SOS 206450 HAS SOPS 192472 HAS SOUS 79580 HAS SOUPS 78210 WITH SCORE 78416.45
AT ITER 3140 NEW BEST:: SOT 512371 SOS 206503 HAS SOPS 192525 HAS SOUS 79562 HAS SOUPS 78192 WITH SCORE 78398.503
AT ITER 3146 NEW BEST:: SOT 512220 SOS 206352 HAS SOPS 192369 HAS SOUS 79469 HAS SOUPS 78094 WITH SCORE 78300.352
AT ITER 3163 NEW BEST:: SOT 512104 SOS 199409 HAS SOPS 185426 HAS SOUS 78568 HAS SOUPS 77193 WITH SCORE 77392.409
AT ITER 3176 NEW BEST:: SOT 512089 SOS 199394 HAS SOPS 185411 HAS SOUS 78554 HAS SOUPS 77179 WITH SCORE 77378.394
AT ITER 3189 NEW BEST:: SOT 512159 SOS 199415 HAS SOPS 185328 HAS SOUS 78536 HAS SOUPS 77140 WITH SCORE 77339.415
AT ITER 3194 NEW BEST:: SOT 512188 SOS 199444 HAS SOPS 185357 HAS SOUS 77505 HAS SOUPS 76109 WITH SCORE 76308.444
AT ITER 3213 NEW BEST:: SOT 512180 SOS 199436 HAS SOPS 185363 HAS SOUS 77499 HAS SOUPS 76103 WITH SCORE 76302.436
AT ITER 3228 NEW BEST:: SOT 512098 SOS 200167 HAS SOPS 186094 HAS SOUS 77407 HAS SOUPS 76011 WITH SCORE 76211.167
AT ITER 3229 NEW BEST:: SOT 512000 SOS 200069 HAS SOPS 185996 HAS SOUS 77298 HAS SOUPS 75902 WITH SCORE 76102.069
AT ITER 3251 NEW BEST:: SOT 512007 SOS 200150 HAS SOPS 186077 HAS SOUS 77239 HAS SOUPS 75843 WITH SCORE 76043.15
AT ITER 3253 NEW BEST:: SOT 511999 SOS 200142 HAS SOPS 186085 HAS SOUS 77239 HAS SOUPS 75843 WITH SCORE 76043.142
AT ITER 3254 NEW BEST:: SOT 511982 SOS 200125 HAS SOPS 186068 HAS SOUS 77189 HAS SOUPS 75793 WITH SCORE 75993.125
AT ITER 3256 NEW BEST:: SOT 511915 SOS 200058 HAS SOPS 186001 HAS SOUS 76980 HAS SOUPS 75584 WITH SCORE 75784.058
AT ITER 3309 NEW BEST:: SOT 511856 SOS 199942 HAS SOPS 185885 HAS SOUS 76873 HAS SOUPS 75477 WITH SCORE 75676.942
AT ITER 3317 NEW BEST:: SOT 511854 SOS 200008 HAS SOPS 185947 HAS SOUS 76867 HAS SOUPS 75471 WITH SCORE 75671.008
AT ITER 3329 NEW BEST:: SOT 511677 SOS 199831 HAS SOPS 185770 HAS SOUS 76730 HAS SOUPS 75334 WITH SCORE 75533.831
AT ITER 3337 NEW BEST:: SOT 511677 SOS 199798 HAS SOPS 185737 HAS SOUS 76697 HAS SOUPS 75301 WITH SCORE 75500.798
AT ITER 3350 NEW BEST:: SOT 511678 SOS 199799 HAS SOPS 185738 HAS SOUS 76615 HAS SOUPS 75219 WITH SCORE 75418.799
AT ITER 3355 NEW BEST:: SOT 511650 SOS 199771 HAS SOPS 185710 HAS SOUS 76559 HAS SOUPS 75163 WITH SCORE 75362.771
AT ITER 3357 NEW BEST:: SOT 511636 SOS 199626 HAS SOPS 185565 HAS SOUS 76428 HAS SOUPS 75032 WITH SCORE 75231.626
AT ITER 3368 NEW BEST:: SOT 511545 SOS 199610 HAS SOPS 185534 HAS SOUS 76412 HAS SOUPS 75001 WITH SCORE 75200.61
AT ITER 3392 NEW BEST:: SOT 511544 SOS 199609 HAS SOPS 185533 HAS SOUS 76408 HAS SOUPS 74997 WITH SCORE 75196.609
AT ITER 3395 NEW BEST:: SOT 511516 SOS 199563 HAS SOPS 185487 HAS SOUS 76338 HAS SOUPS 74927 WITH SCORE 75126.563
AT ITER 3411 NEW BEST:: SOT 511489 SOS 199381 HAS SOPS 185305 HAS SOUS 76311 HAS SOUPS 74900 WITH SCORE 75099.381
AT ITER 3424 NEW BEST:: SOT 511425 SOS 199317 HAS SOPS 185241 HAS SOUS 76247 HAS SOUPS 74836 WITH SCORE 75035.317
AT ITER 3438 NEW BEST:: SOT 511424 SOS 199187 HAS SOPS 185111 HAS SOUS 75976 HAS SOUPS 74565 WITH SCORE 74764.187
AT ITER 3446 NEW BEST:: SOT 511392 SOS 199145 HAS SOPS 185071 HAS SOUS 75969 HAS SOUPS 74558 WITH SCORE 74757.145
AT ITER 3464 NEW BEST:: SOT 511389 SOS 199076 HAS SOPS 185002 HAS SOUS 75951 HAS SOUPS 74540 WITH SCORE 74739.076
AT ITER 3478 NEW BEST:: SOT 511395 SOS 200724 HAS SOPS 185017 HAS SOUS 75963 HAS SOUPS 74529 WITH SCORE 74729.724
AT ITER 3482 NEW BEST:: SOT 511339 SOS 200668 HAS SOPS 184961 HAS SOUS 75718 HAS SOUPS 74284 WITH SCORE 74484.668
AT ITER 3490 NEW BEST:: SOT 511328 SOS 200657 HAS SOPS 184972 HAS SOUS 75685 HAS SOUPS 74251 WITH SCORE 74451.657
AT ITER 3491 NEW BEST:: SOT 511355 SOS 200789 HAS SOPS 185104 HAS SOUS 75599 HAS SOUPS 74165 WITH SCORE 74365.789
AT ITER 3494 NEW BEST:: SOT 510719 SOS 200153 HAS SOPS 184468 HAS SOUS 75504 HAS SOUPS 74070 WITH SCORE 74270.153
AT ITER 3510 NEW BEST:: SOT 511051 SOS 200526 HAS SOPS 184841 HAS SOUS 75170 HAS SOUPS 73736 WITH SCORE 73936.526
AT ITER 3534 NEW BEST:: SOT 511044 SOS 200457 HAS SOPS 184772 HAS SOUS 75163 HAS SOUPS 73729 WITH SCORE 73929.457
AT ITER 3563 NEW BEST:: SOT 511056 SOS 200469 HAS SOPS 184778 HAS SOUS 75157 HAS SOUPS 73723 WITH SCORE 73923.469
AT ITER 3572 NEW BEST:: SOT 511030 SOS 200443 HAS SOPS 184752 HAS SOUS 75131 HAS SOUPS 73697 WITH SCORE 73897.443
AT ITER 3581 NEW BEST:: SOT 511007 SOS 200420 HAS SOPS 184729 HAS SOUS 75096 HAS SOUPS 73662 WITH SCORE 73862.42
AT ITER 3589 NEW BEST:: SOT 510997 SOS 200400 HAS SOPS 184709 HAS SOUS 75076 HAS SOUPS 73642 WITH SCORE 73842.4
AT ITER 3612 NEW BEST:: SOT 510997 SOS 200395 HAS SOPS 184704 HAS SOUS 75075 HAS SOUPS 73641 WITH SCORE 73841.395
AT ITER 3616 NEW BEST:: SOT 511009 SOS 200407 HAS SOPS 184716 HAS SOUS 74749 HAS SOUPS 73315 WITH SCORE 73515.407
AT ITER 3660 NEW BEST:: SOT 510913 SOS 200273 HAS SOPS 184582 HAS SOUS 74525 HAS SOUPS 73091 WITH SCORE 73291.273
AT ITER 3683 NEW BEST:: SOT 510913 SOS 200228 HAS SOPS 184537 HAS SOUS 74480 HAS SOUPS 73046 WITH SCORE 73246.228
AT ITER 3692 NEW BEST:: SOT 510846 SOS 200161 HAS SOPS 184470 HAS SOUS 74385 HAS SOUPS 72951 WITH SCORE 73151.161
AT ITER 3718 NEW BEST:: SOT 510858 SOS 200173 HAS SOPS 184482 HAS SOUS 74293 HAS SOUPS 72859 WITH SCORE 73059.173
AT ITER 3732 NEW BEST:: SOT 510851 SOS 200159 HAS SOPS 184468 HAS SOUS 74286 HAS SOUPS 72852 WITH SCORE 73052.159
AT ITER 3742 NEW BEST:: SOT 510851 SOS 200156 HAS SOPS 184465 HAS SOUS 74277 HAS SOUPS 72843 WITH SCORE 73043.156
AT ITER 3748 NEW BEST:: SOT 510754 SOS 199957 HAS SOPS 184266 HAS SOUS 74149 HAS SOUPS 72715 WITH SCORE 72914.957
AT ITER 3754 NEW BEST:: SOT 510754 SOS 200256 HAS SOPS 184565 HAS SOUS 74140 HAS SOUPS 72706 WITH SCORE 72906.256
AT ITER 3758 NEW BEST:: SOT 510730 SOS 200216 HAS SOPS 184557 HAS SOUS 74124 HAS SOUPS 72690 WITH SCORE 72890.216
AT ITER 3769 NEW BEST:: SOT 510641 SOS 200244 HAS SOPS 184585 HAS SOUS 74034 HAS SOUPS 72600 WITH SCORE 72800.244
AT ITER 3771 NEW BEST:: SOT 510641 SOS 200228 HAS SOPS 184552 HAS SOUS 73987 HAS SOUPS 72553 WITH SCORE 72753.228
AT ITER 3792 NEW BEST:: SOT 510542 SOS 200129 HAS SOPS 184453 HAS SOUS 73888 HAS SOUPS 72454 WITH SCORE 72654.129
AT ITER 3810 NEW BEST:: SOT 510536 SOS 200169 HAS SOPS 184487 HAS SOUS 73882 HAS SOUPS 72448 WITH SCORE 72648.169
AT ITER 3812 NEW BEST:: SOT 510348 SOS 199771 HAS SOPS 184089 HAS SOUS 73624 HAS SOUPS 72190 WITH SCORE 72389.771
AT ITER 3836 NEW BEST:: SOT 510348 SOS 199753 HAS SOPS 184071 HAS SOUS 73624 HAS SOUPS 72190 WITH SCORE 72389.753
AT ITER 3840 NEW BEST:: SOT 510248 SOS 199577 HAS SOPS 183895 HAS SOUS 73516 HAS SOUPS 72082 WITH SCORE 72281.577
AT ITER 3843 NEW BEST:: SOT 511429 SOS 200758 HAS SOPS 185076 HAS SOUS 72793 HAS SOUPS 71359 WITH SCORE 71559.758
AT ITER 3852 NEW BEST:: SOT 511478 SOS 200807 HAS SOPS 185020 HAS SOUS 72558 HAS SOUPS 71124 WITH SCORE 71324.807
AT ITER 3866 NEW BEST:: SOT 511454 SOS 200783 HAS SOPS 184996 HAS SOUS 72534 HAS SOUPS 71100 WITH SCORE 71300.783
AT ITER 3878 NEW BEST:: SOT 511450 SOS 200779 HAS SOPS 184992 HAS SOUS 72530 HAS SOUPS 71096 WITH SCORE 71296.779
AT ITER 3912 NEW BEST:: SOT 511444 SOS 200784 HAS SOPS 184997 HAS SOUS 72493 HAS SOUPS 71059 WITH SCORE 71259.784
AT ITER 3936 NEW BEST:: SOT 511412 SOS 200732 HAS SOPS 184925 HAS SOUS 72430 HAS SOUPS 70996 WITH SCORE 71196.732
AT ITER 3946 NEW BEST:: SOT 511461 SOS 200733 HAS SOPS 184923 HAS SOUS 72357 HAS SOUPS 70923 WITH SCORE 71123.733
AT ITER 3954 NEW BEST:: SOT 511300 SOS 201006 HAS SOPS 185662 HAS SOUS 72271 HAS SOUPS 70853 WITH SCORE 71054.006
AT ITER 3958 NEW BEST:: SOT 511249 SOS 200965 HAS SOPS 185644 HAS SOUS 72212 HAS SOUPS 70794 WITH SCORE 70994.965
AT ITER 3962 NEW BEST:: SOT 511250 SOS 201050 HAS SOPS 185729 HAS SOUS 72004 HAS SOUPS 70586 WITH SCORE 70787.05
AT ITER 4029 NEW BEST:: SOT 511222 SOS 200995 HAS SOPS 185674 HAS SOUS 71994 HAS SOUPS 70576 WITH SCORE 70776.995
AT ITER 4042 NEW BEST:: SOT 511110 SOS 200883 HAS SOPS 185562 HAS SOUS 71958 HAS SOUPS 70540 WITH SCORE 70740.883
AT ITER 4105 NEW BEST:: SOT 511074 SOS 199963 HAS SOPS 184642 HAS SOUS 71783 HAS SOUPS 70365 WITH SCORE 70564.963
AT ITER 4139 NEW BEST:: SOT 511062 SOS 199945 HAS SOPS 184630 HAS SOUS 71768 HAS SOUPS 70353 WITH SCORE 70552.945
AT ITER 4144 NEW BEST:: SOT 511038 SOS 199849 HAS SOPS 184534 HAS SOUS 71756 HAS SOUPS 70341 WITH SCORE 70540.849
AT ITER 4173 NEW BEST:: SOT 511030 SOS 199637 HAS SOPS 184322 HAS SOUS 71708 HAS SOUPS 70293 WITH SCORE 70492.637
AT ITER 4176 NEW BEST:: SOT 511029 SOS 199636 HAS SOPS 184321 HAS SOUS 71708 HAS SOUPS 70293 WITH SCORE 70492.636
AT ITER 4187 NEW BEST:: SOT 511023 SOS 199672 HAS SOPS 184357 HAS SOUS 71702 HAS SOUPS 70287 WITH SCORE 70486.672
AT ITER 4188 NEW BEST:: SOT 510972 SOS 199621 HAS SOPS 184354 HAS SOUS 71660 HAS SOUPS 70255 WITH SCORE 70454.621
AT ITER 4199 NEW BEST:: SOT 510970 SOS 199619 HAS SOPS 184352 HAS SOUS 71538 HAS SOUPS 70133 WITH SCORE 70332.619
AT ITER 4228 NEW BEST:: SOT 510979 SOS 199615 HAS SOPS 184348 HAS SOUS 71524 HAS SOUPS 70119 WITH SCORE 70318.615
AT ITER 4252 NEW BEST:: SOT 510945 SOS 199581 HAS SOPS 184314 HAS SOUS 71497 HAS SOUPS 70092 WITH SCORE 70291.581
AT ITER 4271 NEW BEST:: SOT 510962 SOS 199623 HAS SOPS 184356 HAS SOUS 71488 HAS SOUPS 70083 WITH SCORE 70282.623
AT ITER 4273 NEW BEST:: SOT 510917 SOS 199578 HAS SOPS 184311 HAS SOUS 71253 HAS SOUPS 69848 WITH SCORE 70047.578
AT ITER 4280 NEW BEST:: SOT 510911 SOS 199572 HAS SOPS 184305 HAS SOUS 71235 HAS SOUPS 69830 WITH SCORE 70029.572
AT ITER 4284 NEW BEST:: SOT 510901 SOS 198918 HAS SOPS 183651 HAS SOUS 71144 HAS SOUPS 69739 WITH SCORE 69937.918
AT ITER 4304 NEW BEST:: SOT 510901 SOS 198918 HAS SOPS 183651 HAS SOUS 71126 HAS SOUPS 69721 WITH SCORE 69919.918
AT ITER 4321 NEW BEST:: SOT 510889 SOS 198906 HAS SOPS 183639 HAS SOUS 71118 HAS SOUPS 69713 WITH SCORE 69911.906
AT ITER 4336 NEW BEST:: SOT 510883 SOS 198894 HAS SOPS 183627 HAS SOUS 71106 HAS SOUPS 69701 WITH SCORE 69899.894
AT ITER 4344 NEW BEST:: SOT 510878 SOS 198889 HAS SOPS 183622 HAS SOUS 71085 HAS SOUPS 69680 WITH SCORE 69878.889
AT ITER 4351 NEW BEST:: SOT 510878 SOS 198884 HAS SOPS 183617 HAS SOUS 71079 HAS SOUPS 69674 WITH SCORE 69872.884
AT ITER 4361 NEW BEST:: SOT 510878 SOS 198877 HAS SOPS 183610 HAS SOUS 71079 HAS SOUPS 69674 WITH SCORE 69872.877
AT ITER 4381 NEW BEST:: SOT 510839 SOS 198794 HAS SOPS 183552 HAS SOUS 71026 HAS SOUPS 69621 WITH SCORE 69819.794
AT ITER 4387 NEW BEST:: SOT 511862 SOS 199842 HAS SOPS 184600 HAS SOUS 71024 HAS SOUPS 69619 WITH SCORE 69818.842
AT ITER 4400 NEW BEST:: SOT 511849 SOS 199829 HAS SOPS 184546 HAS SOUS 70984 HAS SOUPS 69579 WITH SCORE 69778.829
AT ITER 4406 NEW BEST:: SOT 511847 SOS 199827 HAS SOPS 184544 HAS SOUS 70983 HAS SOUPS 69578 WITH SCORE 69777.827
AT ITER 4419 NEW BEST:: SOT 511835 SOS 198759 HAS SOPS 183476 HAS SOUS 70983 HAS SOUPS 69578 WITH SCORE 69776.759
AT ITER 4429 NEW BEST:: SOT 511822 SOS 198746 HAS SOPS 183463 HAS SOUS 70947 HAS SOUPS 69542 WITH SCORE 69740.746
AT ITER 4433 NEW BEST:: SOT 512108 SOS 199047 HAS SOPS 183764 HAS SOUS 70892 HAS SOUPS 69487 WITH SCORE 69686.047
AT ITER 4447 NEW BEST:: SOT 512108 SOS 199047 HAS SOPS 183764 HAS SOUS 70882 HAS SOUPS 69477 WITH SCORE 69676.047
AT ITER 4472 NEW BEST:: SOT 512099 SOS 199038 HAS SOPS 183755 HAS SOUS 70639 HAS SOUPS 69234 WITH SCORE 69433.038
AT ITER 4486 NEW BEST:: SOT 512056 SOS 198994 HAS SOPS 183737 HAS SOUS 70610 HAS SOUPS 69221 WITH SCORE 69419.994
AT ITER 4506 NEW BEST:: SOT 512019 SOS 198957 HAS SOPS 183700 HAS SOUS 70587 HAS SOUPS 69198 WITH SCORE 69396.957
AT ITER 4507 NEW BEST:: SOT 511777 SOS 198409 HAS SOPS 183437 HAS SOUS 70468 HAS SOUPS 69079 WITH SCORE 69277.409
AT ITER 4509 NEW BEST:: SOT 511734 SOS 198366 HAS SOPS 183394 HAS SOUS 70466 HAS SOUPS 69077 WITH SCORE 69275.366
AT ITER 4537 NEW BEST:: SOT 511734 SOS 198361 HAS SOPS 183389 HAS SOUS 70452 HAS SOUPS 69063 WITH SCORE 69261.361
AT ITER 4543 NEW BEST:: SOT 511711 SOS 198261 HAS SOPS 183397 HAS SOUS 70438 HAS SOUPS 69049 WITH SCORE 69247.261
AT ITER 4545 NEW BEST:: SOT 511711 SOS 194768 HAS SOPS 179904 HAS SOUS 70435 HAS SOUPS 69046 WITH SCORE 69240.768
AT ITER 4565 NEW BEST:: SOT 511725 SOS 194843 HAS SOPS 179979 HAS SOUS 70373 HAS SOUPS 68984 WITH SCORE 69178.843
AT ITER 4575 NEW BEST:: SOT 511721 SOS 194839 HAS SOPS 179975 HAS SOUS 70365 HAS SOUPS 68976 WITH SCORE 69170.839
AT ITER 4578 NEW BEST:: SOT 511685 SOS 193799 HAS SOPS 179168 HAS SOUS 70302 HAS SOUPS 68949 WITH SCORE 69142.799
AT ITER 4583 NEW BEST:: SOT 511653 SOS 193721 HAS SOPS 179090 HAS SOUS 70288 HAS SOUPS 68935 WITH SCORE 69128.721
AT ITER 4589 NEW BEST:: SOT 511643 SOS 193701 HAS SOPS 179070 HAS SOUS 70268 HAS SOUPS 68915 WITH SCORE 69108.701
AT ITER 4605 NEW BEST:: SOT 511645 SOS 193703 HAS SOPS 179072 HAS SOUS 70252 HAS SOUPS 68899 WITH SCORE 69092.703
AT ITER 4607 NEW BEST:: SOT 511634 SOS 193689 HAS SOPS 179058 HAS SOUS 70243 HAS SOUPS 68890 WITH SCORE 69083.689
AT ITER 4610 NEW BEST:: SOT 511630 SOS 193687 HAS SOPS 179056 HAS SOUS 70241 HAS SOUPS 68888 WITH SCORE 69081.687
AT ITER 4612 NEW BEST:: SOT 511571 SOS 193405 HAS SOPS 178774 HAS SOUS 70107 HAS SOUPS 68754 WITH SCORE 68947.405
AT ITER 4617 NEW BEST:: SOT 511351 SOS 193078 HAS SOPS 178467 HAS SOUS 69862 HAS SOUPS 68509 WITH SCORE 68702.078
AT ITER 4642 NEW BEST:: SOT 511398 SOS 193109 HAS SOPS 178498 HAS SOUS 69759 HAS SOUPS 68406 WITH SCORE 68599.109
AT ITER 4647 NEW BEST:: SOT 511399 SOS 193088 HAS SOPS 178510 HAS SOUS 69747 HAS SOUPS 68394 WITH SCORE 68587.088
AT ITER 4654 NEW BEST:: SOT 511373 SOS 193012 HAS SOPS 178434 HAS SOUS 69719 HAS SOUPS 68366 WITH SCORE 68559.012
AT ITER 4666 NEW BEST:: SOT 511329 SOS 192924 HAS SOPS 178346 HAS SOUS 69631 HAS SOUPS 68278 WITH SCORE 68470.924
AT ITER 4675 NEW BEST:: SOT 511321 SOS 192898 HAS SOPS 178320 HAS SOUS 69627 HAS SOUPS 68274 WITH SCORE 68466.898
AT ITER 4684 NEW BEST:: SOT 511145 SOS 192722 HAS SOPS 178202 HAS SOUS 69334 HAS SOUPS 67994 WITH SCORE 68186.722
AT ITER 4719 NEW BEST:: SOT 511165 SOS 192719 HAS SOPS 178199 HAS SOUS 69268 HAS SOUPS 67928 WITH SCORE 68120.719
AT ITER 4735 NEW BEST:: SOT 511120 SOS 192659 HAS SOPS 178139 HAS SOUS 69238 HAS SOUPS 67898 WITH SCORE 68090.659
AT ITER 4749 NEW BEST:: SOT 511120 SOS 192887 HAS SOPS 178137 HAS SOUS 69236 HAS SOUPS 67891 WITH SCORE 68083.887
AT ITER 4760 NEW BEST:: SOT 511078 SOS 192824 HAS SOPS 178116 HAS SOUS 69236 HAS SOUPS 67891 WITH SCORE 68083.824
AT ITER 4786 NEW BEST:: SOT 511057 SOS 192803 HAS SOPS 178095 HAS SOUS 69174 HAS SOUPS 67829 WITH SCORE 68021.803
AT ITER 4803 NEW BEST:: SOT 510993 SOS 192712 HAS SOPS 178004 HAS SOUS 69111 HAS SOUPS 67766 WITH SCORE 67958.712
AT ITER 4820 NEW BEST:: SOT 510981 SOS 192700 HAS SOPS 177992 HAS SOUS 69077 HAS SOUPS 67732 WITH SCORE 67924.7
AT ITER 4833 NEW BEST:: SOT 511060 SOS 192779 HAS SOPS 177947 HAS SOUS 69075 HAS SOUPS 67697 WITH SCORE 67889.779
AT ITER 4886 NEW BEST:: SOT 510855 SOS 192574 HAS SOPS 177742 HAS SOUS 68835 HAS SOUPS 67457 WITH SCORE 67649.574
AT ITER 4923 NEW BEST:: SOT 510806 SOS 192491 HAS SOPS 177659 HAS SOUS 68752 HAS SOUPS 67374 WITH SCORE 67566.491
AT ITER 4959 NEW BEST:: SOT 510790 SOS 192404 HAS SOPS 177572 HAS SOUS 68752 HAS SOUPS 67374 WITH SCORE 67566.404
AT ITER 4978 NEW BEST:: SOT 510837 SOS 192451 HAS SOPS 177619 HAS SOUS 68716 HAS SOUPS 67338 WITH SCORE 67530.451
AT ITER 4980 NEW BEST:: SOT 510798 SOS 192321 HAS SOPS 177398 HAS SOUS 68622 HAS SOUPS 67257 WITH SCORE 67449.321
AT ITER 4988 NEW BEST:: SOT 510794 SOS 192317 HAS SOPS 177394 HAS SOUS 68614 HAS SOUPS 67249 WITH SCORE 67441.317
AT ITER 5027 NEW BEST:: SOT 510811 SOS 192311 HAS SOPS 177388 HAS SOUS 68611 HAS SOUPS 67246 WITH SCORE 67438.311
AT ITER 5032 NEW BEST:: SOT 510833 SOS 191346 HAS SOPS 176423 HAS SOUS 68520 HAS SOUPS 67155 WITH SCORE 67346.346
AT ITER 5062 NEW BEST:: SOT 510830 SOS 191343 HAS SOPS 176418 HAS SOUS 68515 HAS SOUPS 67150 WITH SCORE 67341.343
AT ITER 5067 NEW BEST:: SOT 510835 SOS 191456 HAS SOPS 176531 HAS SOUS 68472 HAS SOUPS 67107 WITH SCORE 67298.456
AT ITER 5130 NEW BEST:: SOT 510756 SOS 191346 HAS SOPS 176421 HAS SOUS 68397 HAS SOUPS 67032 WITH SCORE 67223.346
AT ITER 5149 NEW BEST:: SOT 510723 SOS 191286 HAS SOPS 176361 HAS SOUS 68367 HAS SOUPS 67002 WITH SCORE 67193.286
AT ITER 5155 NEW BEST:: SOT 510731 SOS 191282 HAS SOPS 176357 HAS SOUS 68340 HAS SOUPS 66975 WITH SCORE 67166.282
AT ITER 5157 NEW BEST:: SOT 510690 SOS 191241 HAS SOPS 176344 HAS SOUS 68300 HAS SOUPS 66935 WITH SCORE 67126.241
AT ITER 5170 NEW BEST:: SOT 510684 SOS 191243 HAS SOPS 176346 HAS SOUS 68299 HAS SOUPS 66934 WITH SCORE 67125.243
AT ITER 5171 NEW BEST:: SOT 510642 SOS 191183 HAS SOPS 176304 HAS SOUS 68260 HAS SOUPS 66895 WITH SCORE 67086.183
AT ITER 5181 NEW BEST:: SOT 510558 SOS 191093 HAS SOPS 176212 HAS SOUS 68148 HAS SOUPS 66783 WITH SCORE 66974.093
AT ITER 5183 NEW BEST:: SOT 510558 SOS 191282 HAS SOPS 176401 HAS SOUS 68048 HAS SOUPS 66683 WITH SCORE 66874.282
AT ITER 5200 NEW BEST:: SOT 510565 SOS 191286 HAS SOPS 176385 HAS SOUS 68030 HAS SOUPS 66665 WITH SCORE 66856.286
AT ITER 5204 NEW BEST:: SOT 510563 SOS 191282 HAS SOPS 176381 HAS SOUS 68022 HAS SOUPS 66657 WITH SCORE 66848.282
AT ITER 5214 NEW BEST:: SOT 510556 SOS 191233 HAS SOPS 176332 HAS SOUS 68008 HAS SOUPS 66643 WITH SCORE 66834.233
AT ITER 5242 NEW BEST:: SOT 510544 SOS 191221 HAS SOPS 176320 HAS SOUS 67993 HAS SOUPS 66628 WITH SCORE 66819.221
AT ITER 5258 NEW BEST:: SOT 510544 SOS 191227 HAS SOPS 176326 HAS SOUS 67987 HAS SOUPS 66622 WITH SCORE 66813.227
AT ITER 5292 NEW BEST:: SOT 510539 SOS 191222 HAS SOPS 176316 HAS SOUS 67977 HAS SOUPS 66612 WITH SCORE 66803.222
AT ITER 5302 NEW BEST:: SOT 510555 SOS 191238 HAS SOPS 176346 HAS SOUS 67969 HAS SOUPS 66604 WITH SCORE 66795.238
AT ITER 5318 NEW BEST:: SOT 510517 SOS 191200 HAS SOPS 176308 HAS SOUS 67890 HAS SOUPS 66525 WITH SCORE 66716.2
AT ITER 5320 NEW BEST:: SOT 510477 SOS 191160 HAS SOPS 176258 HAS SOUS 67840 HAS SOUPS 66475 WITH SCORE 66666.16
AT ITER 5337 NEW BEST:: SOT 510463 SOS 191146 HAS SOPS 176244 HAS SOUS 67791 HAS SOUPS 66426 WITH SCORE 66617.146
AT ITER 5381 NEW BEST:: SOT 510463 SOS 191146 HAS SOPS 176244 HAS SOUS 67765 HAS SOUPS 66400 WITH SCORE 66591.146
AT ITER 5386 NEW BEST:: SOT 510453 SOS 191156 HAS SOPS 176254 HAS SOUS 67755 HAS SOUPS 66390 WITH SCORE 66581.156
AT ITER 5393 NEW BEST:: SOT 510441 SOS 191147 HAS SOPS 176239 HAS SOUS 67737 HAS SOUPS 66372 WITH SCORE 66563.147
AT ITER 5400 NEW BEST:: SOT 510464 SOS 191213 HAS SOPS 176305 HAS SOUS 67690 HAS SOUPS 66325 WITH SCORE 66516.213
AT ITER 5416 NEW BEST:: SOT 510461 SOS 191213 HAS SOPS 176305 HAS SOUS 67689 HAS SOUPS 66324 WITH SCORE 66515.213
AT ITER 5427 NEW BEST:: SOT 510461 SOS 191149 HAS SOPS 176241 HAS SOUS 67625 HAS SOUPS 66260 WITH SCORE 66451.149
AT ITER 5434 NEW BEST:: SOT 510462 SOS 191197 HAS SOPS 176289 HAS SOUS 67624 HAS SOUPS 66259 WITH SCORE 66450.197
AT ITER 5459 NEW BEST:: SOT 510454 SOS 191128 HAS SOPS 176220 HAS SOUS 67612 HAS SOUPS 66247 WITH SCORE 66438.128
AT ITER 5502 NEW BEST:: SOT 510434 SOS 191012 HAS SOPS 176124 HAS SOUS 67588 HAS SOUPS 66223 WITH SCORE 66414.012
AT ITER 5553 NEW BEST:: SOT 510433 SOS 191011 HAS SOPS 176128 HAS SOUS 67581 HAS SOUPS 66216 WITH SCORE 66407.011
AT ITER 5588 NEW BEST:: SOT 510398 SOS 190841 HAS SOPS 175958 HAS SOUS 67576 HAS SOUPS 66211 WITH SCORE 66401.841
AT ITER 5613 NEW BEST:: SOT 510364 SOS 190807 HAS SOPS 175924 HAS SOUS 67544 HAS SOUPS 66179 WITH SCORE 66369.807
AT ITER 5637 NEW BEST:: SOT 510296 SOS 190696 HAS SOPS 175813 HAS SOUS 67470 HAS SOUPS 66105 WITH SCORE 66295.696
AT ITER 5641 NEW BEST:: SOT 510350 SOS 190792 HAS SOPS 175909 HAS SOUS 67412 HAS SOUPS 66047 WITH SCORE 66237.792
AT ITER 5661 NEW BEST:: SOT 510341 SOS 190783 HAS SOPS 175900 HAS SOUS 67391 HAS SOUPS 66026 WITH SCORE 66216.783
AT ITER 5671 NEW BEST:: SOT 510341 SOS 190744 HAS SOPS 175861 HAS SOUS 67391 HAS SOUPS 66026 WITH SCORE 66216.744
AT ITER 5673 NEW BEST:: SOT 510337 SOS 190740 HAS SOPS 175857 HAS SOUS 67385 HAS SOUPS 66020 WITH SCORE 66210.74
AT ITER 5677 NEW BEST:: SOT 510337 SOS 189840 HAS SOPS 174957 HAS SOUS 67378 HAS SOUPS 66013 WITH SCORE 66202.84
AT ITER 5692 NEW BEST:: SOT 510329 SOS 189829 HAS SOPS 174946 HAS SOUS 67368 HAS SOUPS 66003 WITH SCORE 66192.829
AT ITER 5705 NEW BEST:: SOT 510321 SOS 189813 HAS SOPS 174930 HAS SOUS 67368 HAS SOUPS 66003 WITH SCORE 66192.813
AT ITER 5752 NEW BEST:: SOT 510337 SOS 189829 HAS SOPS 174946 HAS SOUS 67361 HAS SOUPS 65996 WITH SCORE 66185.829
AT ITER 5756 NEW BEST:: SOT 510334 SOS 189826 HAS SOPS 174943 HAS SOUS 67355 HAS SOUPS 65990 WITH SCORE 66179.826
AT ITER 5808 NEW BEST:: SOT 510323 SOS 189815 HAS SOPS 174943 HAS SOUS 67352 HAS SOUPS 65990 WITH SCORE 66179.815
AT ITER 5817 NEW BEST:: SOT 510200 SOS 189623 HAS SOPS 174751 HAS SOUS 67199 HAS SOUPS 65837 WITH SCORE 66026.623
AT ITER 5922 NEW BEST:: SOT 510191 SOS 189614 HAS SOPS 174742 HAS SOUS 67180 HAS SOUPS 65818 WITH SCORE 66007.614
AT ITER 5935 NEW BEST:: SOT 510211 SOS 189817 HAS SOPS 174945 HAS SOUS 67158 HAS SOUPS 65796 WITH SCORE 65985.817
AT ITER 5949 NEW BEST:: SOT 510217 SOS 189823 HAS SOPS 174951 HAS SOUS 67061 HAS SOUPS 65699 WITH SCORE 65888.823
AT ITER 5971 NEW BEST:: SOT 510214 SOS 189801 HAS SOPS 174929 HAS SOUS 67055 HAS SOUPS 65693 WITH SCORE 65882.801
AT ITER 5985 NEW BEST:: SOT 510224 SOS 189786 HAS SOPS 174914 HAS SOUS 67040 HAS SOUPS 65678 WITH SCORE 65867.786
AT ITER 5996 NEW BEST:: SOT 510219 SOS 189781 HAS SOPS 174909 HAS SOUS 67020 HAS SOUPS 65658 WITH SCORE 65847.781
AT ITER 6009 NEW BEST:: SOT 510192 SOS 189727 HAS SOPS 174855 HAS SOUS 66966 HAS SOUPS 65604 WITH SCORE 65793.727
AT ITER 6013 NEW BEST:: SOT 510162 SOS 189697 HAS SOPS 174825 HAS SOUS 66198 HAS SOUPS 64836 WITH SCORE 65025.697
AT ITER 6054 NEW BEST:: SOT 510137 SOS 189442 HAS SOPS 174570 HAS SOUS 66157 HAS SOUPS 64795 WITH SCORE 64984.442
AT ITER 6121 NEW BEST:: SOT 510125 SOS 189421 HAS SOPS 174549 HAS SOUS 66136 HAS SOUPS 64774 WITH SCORE 64963.421
AT ITER 6158 NEW BEST:: SOT 510052 SOS 189304 HAS SOPS 174432 HAS SOUS 66012 HAS SOUPS 64650 WITH SCORE 64839.304
AT ITER 6163 NEW BEST:: SOT 510047 SOS 189294 HAS SOPS 174422 HAS SOUS 66002 HAS SOUPS 64640 WITH SCORE 64829.294
AT ITER 6201 NEW BEST:: SOT 510047 SOS 189294 HAS SOPS 174422 HAS SOUS 65947 HAS SOUPS 64585 WITH SCORE 64774.294
AT ITER 6236 NEW BEST:: SOT 510029 SOS 189283 HAS SOPS 174411 HAS SOUS 65933 HAS SOUPS 64571 WITH SCORE 64760.283
AT ITER 6242 NEW BEST:: SOT 509950 SOS 189185 HAS SOPS 174313 HAS SOUS 65860 HAS SOUPS 64498 WITH SCORE 64687.185
AT ITER 6254 NEW BEST:: SOT 509959 SOS 189194 HAS SOPS 174322 HAS SOUS 65826 HAS SOUPS 64464 WITH SCORE 64653.194
AT ITER 6288 NEW BEST:: SOT 509918 SOS 189153 HAS SOPS 174281 HAS SOUS 65744 HAS SOUPS 64382 WITH SCORE 64571.153
AT ITER 6317 NEW BEST:: SOT 509871 SOS 189121 HAS SOPS 174272 HAS SOUS 65715 HAS SOUPS 64353 WITH SCORE 64542.121
AT ITER 6347 NEW BEST:: SOT 509739 SOS 188755 HAS SOPS 173906 HAS SOUS 65583 HAS SOUPS 64221 WITH SCORE 64409.755
AT ITER 6356 NEW BEST:: SOT 509730 SOS 188755 HAS SOPS 173898 HAS SOUS 65565 HAS SOUPS 64203 WITH SCORE 64391.755
AT ITER 6362 NEW BEST:: SOT 509689 SOS 188714 HAS SOPS 173857 HAS SOUS 65524 HAS SOUPS 64162 WITH SCORE 64350.714
AT ITER 6371 NEW BEST:: SOT 509683 SOS 188708 HAS SOPS 173851 HAS SOUS 65507 HAS SOUPS 64145 WITH SCORE 64333.708
AT ITER 6420 NEW BEST:: SOT 509671 SOS 188704 HAS SOPS 173830 HAS SOUS 65482 HAS SOUPS 64120 WITH SCORE 64308.704
AT ITER 6465 NEW BEST:: SOT 509609 SOS 174630 HAS SOPS 159756 HAS SOUS 65358 HAS SOUPS 63996 WITH SCORE 64170.63
AT ITER 6466 NEW BEST:: SOT 509610 SOS 175135 HAS SOPS 160261 HAS SOUS 65341 HAS SOUPS 63979 WITH SCORE 64154.135
AT ITER 6489 NEW BEST:: SOT 509612 SOS 175137 HAS SOPS 160259 HAS SOUS 65337 HAS SOUPS 63975 WITH SCORE 64150.137
AT ITER 6521 NEW BEST:: SOT 509607 SOS 175127 HAS SOPS 160249 HAS SOUS 65327 HAS SOUPS 63965 WITH SCORE 64140.127
AT ITER 6527 NEW BEST:: SOT 509605 SOS 175123 HAS SOPS 160245 HAS SOUS 65311 HAS SOUPS 63949 WITH SCORE 64124.123
AT ITER 6562 NEW BEST:: SOT 509618 SOS 175273 HAS SOPS 160395 HAS SOUS 65284 HAS SOUPS 63922 WITH SCORE 64097.273
AT ITER 6567 NEW BEST:: SOT 509585 SOS 175250 HAS SOPS 160372 HAS SOUS 65282 HAS SOUPS 63920 WITH SCORE 64095.25
AT ITER 6640 NEW BEST:: SOT 509581 SOS 175526 HAS SOPS 160648 HAS SOUS 65184 HAS SOUPS 63822 WITH SCORE 63997.526
AT ITER 6656 NEW BEST:: SOT 509568 SOS 175453 HAS SOPS 160575 HAS SOUS 65182 HAS SOUPS 63820 WITH SCORE 63995.453
AT ITER 6672 NEW BEST:: SOT 509568 SOS 175453 HAS SOPS 160575 HAS SOUS 65170 HAS SOUPS 63808 WITH SCORE 63983.453
AT ITER 6723 NEW BEST:: SOT 509530 SOS 175415 HAS SOPS 160558 HAS SOUS 65069 HAS SOUPS 63728 WITH SCORE 63903.415
AT ITER 6742 NEW BEST:: SOT 509540 SOS 175425 HAS SOPS 160568 HAS SOUS 65039 HAS SOUPS 63698 WITH SCORE 63873.425
AT ITER 6746 NEW BEST:: SOT 509418 SOS 174507 HAS SOPS 159650 HAS SOUS 64907 HAS SOUPS 63566 WITH SCORE 63740.507
AT ITER 6751 NEW BEST:: SOT 509410 SOS 174499 HAS SOPS 159642 HAS SOUS 64899 HAS SOUPS 63558 WITH SCORE 63732.499
AT ITER 6764 NEW BEST:: SOT 509424 SOS 174511 HAS SOPS 159654 HAS SOUS 64895 HAS SOUPS 63554 WITH SCORE 63728.511
AT ITER 6815 NEW BEST:: SOT 509424 SOS 174561 HAS SOPS 159704 HAS SOUS 64891 HAS SOUPS 63550 WITH SCORE 63724.561
AT ITER 6869 NEW BEST:: SOT 509404 SOS 174541 HAS SOPS 159704 HAS SOUS 64871 HAS SOUPS 63530 WITH SCORE 63704.541
AT ITER 6908 NEW BEST:: SOT 509412 SOS 177661 HAS SOPS 162824 HAS SOUS 64855 HAS SOUPS 63514 WITH SCORE 63691.661
AT ITER 6921 NEW BEST:: SOT 509397 SOS 177546 HAS SOPS 162709 HAS SOUS 64766 HAS SOUPS 63425 WITH SCORE 63602.546
AT ITER 6924 NEW BEST:: SOT 509403 SOS 177540 HAS SOPS 162703 HAS SOUS 64748 HAS SOUPS 63407 WITH SCORE 63584.54
AT ITER 6933 NEW BEST:: SOT 509403 SOS 177565 HAS SOPS 162653 HAS SOUS 64723 HAS SOUPS 63382 WITH SCORE 63559.565
AT ITER 6946 NEW BEST:: SOT 509403 SOS 177541 HAS SOPS 162629 HAS SOUS 64720 HAS SOUPS 63379 WITH SCORE 63556.541
AT ITER 6951 NEW BEST:: SOT 509412 SOS 177575 HAS SOPS 162663 HAS SOUS 64716 HAS SOUPS 63375 WITH SCORE 63552.575
AT ITER 6953 NEW BEST:: SOT 509370 SOS 177570 HAS SOPS 162658 HAS SOUS 64716 HAS SOUPS 63375 WITH SCORE 63552.57
AT ITER 6971 NEW BEST:: SOT 509364 SOS 177574 HAS SOPS 162662 HAS SOUS 64710 HAS SOUPS 63369 WITH SCORE 63546.574
AT ITER 6978 NEW BEST:: SOT 509372 SOS 177592 HAS SOPS 162674 HAS SOUS 64706 HAS SOUPS 63365 WITH SCORE 63542.592
AT ITER 7003 NEW BEST:: SOT 509352 SOS 177572 HAS SOPS 162650 HAS SOUS 64686 HAS SOUPS 63345 WITH SCORE 63522.572
AT ITER 7050 NEW BEST:: SOT 509279 SOS 177496 HAS SOPS 162570 HAS SOUS 64601 HAS SOUPS 63260 WITH SCORE 63437.496
AT ITER 7073 NEW BEST:: SOT 509266 SOS 177208 HAS SOPS 162282 HAS SOUS 64580 HAS SOUPS 63239 WITH SCORE 63416.208
AT ITER 7077 NEW BEST:: SOT 509261 SOS 177203 HAS SOPS 162277 HAS SOUS 64571 HAS SOUPS 63230 WITH SCORE 63407.203
AT ITER 7079 NEW BEST:: SOT 509234 SOS 176930 HAS SOPS 162010 HAS SOUS 64535 HAS SOUPS 63194 WITH SCORE 63370.93
AT ITER 7117 NEW BEST:: SOT 509226 SOS 176922 HAS SOPS 162002 HAS SOUS 64503 HAS SOUPS 63162 WITH SCORE 63338.922
AT ITER 7122 NEW BEST:: SOT 509172 SOS 176868 HAS SOPS 162002 HAS SOUS 64475 HAS SOUPS 63161 WITH SCORE 63337.868
AT ITER 7135 NEW BEST:: SOT 509134 SOS 176818 HAS SOPS 161952 HAS SOUS 64475 HAS SOUPS 63161 WITH SCORE 63337.818
AT ITER 7164 NEW BEST:: SOT 509012 SOS 176691 HAS SOPS 161866 HAS SOUS 64375 HAS SOUPS 63061 WITH SCORE 63237.691
AT ITER 7170 NEW BEST:: SOT 508985 SOS 176675 HAS SOPS 161817 HAS SOUS 64337 HAS SOUPS 63023 WITH SCORE 63199.675
AT ITER 7179 NEW BEST:: SOT 508985 SOS 176655 HAS SOPS 161797 HAS SOUS 64337 HAS SOUPS 63023 WITH SCORE 63199.655
AT ITER 7185 NEW BEST:: SOT 508908 SOS 176578 HAS SOPS 161720 HAS SOUS 64248 HAS SOUPS 62934 WITH SCORE 63110.578
AT ITER 7189 NEW BEST:: SOT 508927 SOS 176589 HAS SOPS 161731 HAS SOUS 64178 HAS SOUPS 62864 WITH SCORE 63040.589
AT ITER 7232 NEW BEST:: SOT 508939 SOS 176401 HAS SOPS 161543 HAS SOUS 64112 HAS SOUPS 62798 WITH SCORE 62974.401
AT ITER 7246 NEW BEST:: SOT 508935 SOS 176397 HAS SOPS 161539 HAS SOUS 64108 HAS SOUPS 62794 WITH SCORE 62970.397
AT ITER 7261 NEW BEST:: SOT 508890 SOS 176352 HAS SOPS 161494 HAS SOUS 64061 HAS SOUPS 62747 WITH SCORE 62923.352
AT ITER 7293 NEW BEST:: SOT 508843 SOS 176305 HAS SOPS 161447 HAS SOUS 63967 HAS SOUPS 62653 WITH SCORE 62829.305
AT ITER 7330 NEW BEST:: SOT 508807 SOS 176251 HAS SOPS 161393 HAS SOUS 63913 HAS SOUPS 62599 WITH SCORE 62775.251
AT ITER 7408 NEW BEST:: SOT 508807 SOS 176251 HAS SOPS 161385 HAS SOUS 63905 HAS SOUPS 62591 WITH SCORE 62767.251
AT ITER 7412 NEW BEST:: SOT 508795 SOS 176243 HAS SOPS 161377 HAS SOUS 63891 HAS SOUPS 62577 WITH SCORE 62753.243
AT ITER 7461 NEW BEST:: SOT 508742 SOS 176190 HAS SOPS 161324 HAS SOUS 63841 HAS SOUPS 62527 WITH SCORE 62703.19
AT ITER 7478 NEW BEST:: SOT 508715 SOS 176163 HAS SOPS 161297 HAS SOUS 63754 HAS SOUPS 62440 WITH SCORE 62616.163
AT ITER 7484 NEW BEST:: SOT 508715 SOS 176125 HAS SOPS 161259 HAS SOUS 63754 HAS SOUPS 62440 WITH SCORE 62616.125
AT ITER 7512 NEW BEST:: SOT 508693 SOS 176166 HAS SOPS 161144 HAS SOUS 63697 HAS SOUPS 62383 WITH SCORE 62559.166
AT ITER 7541 NEW BEST:: SOT 508651 SOS 176124 HAS SOPS 161102 HAS SOUS 63613 HAS SOUPS 62299 WITH SCORE 62475.124
AT ITER 7548 NEW BEST:: SOT 508627 SOS 176435 HAS SOPS 161317 HAS SOUS 63595 HAS SOUPS 62281 WITH SCORE 62457.435
AT ITER 7567 NEW BEST:: SOT 508590 SOS 176294 HAS SOPS 161176 HAS SOUS 63590 HAS SOUPS 62276 WITH SCORE 62452.294
AT ITER 7569 NEW BEST:: SOT 508481 SOS 176185 HAS SOPS 161067 HAS SOUS 63021 HAS SOUPS 61707 WITH SCORE 61883.185
AT ITER 7570 NEW BEST:: SOT 508479 SOS 176183 HAS SOPS 161066 HAS SOUS 63018 HAS SOUPS 61704 WITH SCORE 61880.183
AT ITER 7590 NEW BEST:: SOT 508467 SOS 176206 HAS SOPS 161040 HAS SOUS 63015 HAS SOUPS 61701 WITH SCORE 61877.206
AT ITER 7619 NEW BEST:: SOT 508467 SOS 176206 HAS SOPS 161040 HAS SOUS 63003 HAS SOUPS 61689 WITH SCORE 61865.206
AT ITER 7621 NEW BEST:: SOT 508443 SOS 176182 HAS SOPS 161016 HAS SOUS 62983 HAS SOUPS 61669 WITH SCORE 61845.182
AT ITER 7628 NEW BEST:: SOT 508437 SOS 176176 HAS SOPS 161008 HAS SOUS 62973 HAS SOUPS 61659 WITH SCORE 61835.176
AT ITER 7636 NEW BEST:: SOT 508547 SOS 176286 HAS SOPS 161118 HAS SOUS 62959 HAS SOUPS 61645 WITH SCORE 61821.286
AT ITER 7692 NEW BEST:: SOT 508486 SOS 176225 HAS SOPS 161057 HAS SOUS 62954 HAS SOUPS 61640 WITH SCORE 61816.225
AT ITER 7699 NEW BEST:: SOT 508557 SOS 179224 HAS SOPS 164056 HAS SOUS 62923 HAS SOUPS 61609 WITH SCORE 61788.224
AT ITER 7700 NEW BEST:: SOT 508545 SOS 179212 HAS SOPS 164044 HAS SOUS 62905 HAS SOUPS 61591 WITH SCORE 61770.212
AT ITER 7762 NEW BEST:: SOT 508636 SOS 179262 HAS SOPS 164094 HAS SOUS 62856 HAS SOUPS 61542 WITH SCORE 61721.262
AT ITER 7787 NEW BEST:: SOT 508429 SOS 178984 HAS SOPS 163816 HAS SOUS 62776 HAS SOUPS 61462 WITH SCORE 61640.984
AT ITER 7790 NEW BEST:: SOT 508374 SOS 178955 HAS SOPS 163787 HAS SOUS 62764 HAS SOUPS 61450 WITH SCORE 61628.955
AT ITER 7795 NEW BEST:: SOT 508365 SOS 178834 HAS SOPS 163666 HAS SOUS 62744 HAS SOUPS 61430 WITH SCORE 61608.834
AT ITER 7808 NEW BEST:: SOT 508389 SOS 178861 HAS SOPS 163693 HAS SOUS 62714 HAS SOUPS 61400 WITH SCORE 61578.861
AT ITER 7827 NEW BEST:: SOT 508387 SOS 178851 HAS SOPS 163683 HAS SOUS 62710 HAS SOUPS 61396 WITH SCORE 61574.851
AT ITER 7836 NEW BEST:: SOT 508367 SOS 178831 HAS SOPS 163663 HAS SOUS 62710 HAS SOUPS 61396 WITH SCORE 61574.831
AT ITER 7847 NEW BEST:: SOT 508348 SOS 178787 HAS SOPS 163619 HAS SOUS 62706 HAS SOUPS 61392 WITH SCORE 61570.787
AT ITER 7869 NEW BEST:: SOT 508342 SOS 178781 HAS SOPS 163603 HAS SOUS 62678 HAS SOUPS 61364 WITH SCORE 61542.781
AT ITER 7910 NEW BEST:: SOT 508342 SOS 178781 HAS SOPS 163603 HAS SOUS 62672 HAS SOUPS 61358 WITH SCORE 61536.781
AT ITER 7923 NEW BEST:: SOT 508284 SOS 178771 HAS SOPS 163593 HAS SOUS 62632 HAS SOUPS 61318 WITH SCORE 61496.771
AT ITER 7937 NEW BEST:: SOT 508242 SOS 178715 HAS SOPS 163537 HAS SOUS 62576 HAS SOUPS 61262 WITH SCORE 61440.715
AT ITER 7951 NEW BEST:: SOT 508241 SOS 178714 HAS SOPS 163536 HAS SOUS 62574 HAS SOUPS 61260 WITH SCORE 61438.714
AT ITER 8016 NEW BEST:: SOT 508215 SOS 178755 HAS SOPS 163577 HAS SOUS 62522 HAS SOUPS 61208 WITH SCORE 61386.755
AT ITER 8031 NEW BEST:: SOT 508198 SOS 178906 HAS SOPS 163708 HAS SOUS 62508 HAS SOUPS 61194 WITH SCORE 61372.906
AT ITER 8054 NEW BEST:: SOT 508204 SOS 179064 HAS SOPS 163866 HAS SOUS 62507 HAS SOUPS 61193 WITH SCORE 61372.064
AT ITER 8058 NEW BEST:: SOT 508204 SOS 179061 HAS SOPS 163863 HAS SOUS 62507 HAS SOUPS 61193 WITH SCORE 61372.061
AT ITER 8068 NEW BEST:: SOT 508175 SOS 178909 HAS SOPS 163735 HAS SOUS 62449 HAS SOUPS 61135 WITH SCORE 61313.909
AT ITER 8076 NEW BEST:: SOT 508098 SOS 178807 HAS SOPS 163633 HAS SOUS 62339 HAS SOUPS 61025 WITH SCORE 61203.807
AT ITER 8077 NEW BEST:: SOT 508092 SOS 178801 HAS SOPS 163621 HAS SOUS 62333 HAS SOUPS 61019 WITH SCORE 61197.801
AT ITER 8157 NEW BEST:: SOT 508084 SOS 178807 HAS SOPS 163627 HAS SOUS 62332 HAS SOUPS 61018 WITH SCORE 61196.807
AT ITER 8190 NEW BEST:: SOT 508056 SOS 178694 HAS SOPS 163514 HAS SOUS 62272 HAS SOUPS 60958 WITH SCORE 61136.694
AT ITER 8207 NEW BEST:: SOT 508072 SOS 178844 HAS SOPS 163599 HAS SOUS 62311 HAS SOUPS 60946 WITH SCORE 61124.844
AT ITER 8215 NEW BEST:: SOT 508052 SOS 178802 HAS SOPS 163557 HAS SOUS 62271 HAS SOUPS 60906 WITH SCORE 61084.802
AT ITER 8245 NEW BEST:: SOT 507903 SOS 178754 HAS SOPS 163509 HAS SOUS 62147 HAS SOUPS 60782 WITH SCORE 60960.754
AT ITER 8251 NEW BEST:: SOT 507899 SOS 178750 HAS SOPS 163510 HAS SOUS 62129 HAS SOUPS 60764 WITH SCORE 60942.75
AT ITER 8259 NEW BEST:: SOT 507865 SOS 178682 HAS SOPS 163442 HAS SOUS 62061 HAS SOUPS 60696 WITH SCORE 60874.682
AT ITER 8260 NEW BEST:: SOT 507881 SOS 178693 HAS SOPS 163453 HAS SOUS 62052 HAS SOUPS 60687 WITH SCORE 60865.693
AT ITER 8284 NEW BEST:: SOT 507882 SOS 178694 HAS SOPS 163454 HAS SOUS 62044 HAS SOUPS 60679 WITH SCORE 60857.694
AT ITER 8297 NEW BEST:: SOT 507865 SOS 178690 HAS SOPS 163450 HAS SOUS 61961 HAS SOUPS 60596 WITH SCORE 60774.69
AT ITER 8345 NEW BEST:: SOT 507861 SOS 178690 HAS SOPS 163450 HAS SOUS 61957 HAS SOUPS 60592 WITH SCORE 60770.69
AT ITER 8370 NEW BEST:: SOT 507823 SOS 178652 HAS SOPS 163412 HAS SOUS 61940 HAS SOUPS 60575 WITH SCORE 60753.652
AT ITER 8373 NEW BEST:: SOT 507780 SOS 178592 HAS SOPS 163352 HAS SOUS 61940 HAS SOUPS 60575 WITH SCORE 60753.592
AT ITER 8381 NEW BEST:: SOT 507790 SOS 178602 HAS SOPS 163362 HAS SOUS 61916 HAS SOUPS 60551 WITH SCORE 60729.602
AT ITER 8452 NEW BEST:: SOT 507621 SOS 178433 HAS SOPS 163340 HAS SOUS 61894 HAS SOUPS 60529 WITH SCORE 60707.433
AT ITER 8466 NEW BEST:: SOT 507532 SOS 178344 HAS SOPS 163251 HAS SOUS 61825 HAS SOUPS 60460 WITH SCORE 60638.344
AT ITER 8482 NEW BEST:: SOT 507684 SOS 178452 HAS SOPS 163359 HAS SOUS 61806 HAS SOUPS 60441 WITH SCORE 60619.452
AT ITER 8495 NEW BEST:: SOT 507702 SOS 178470 HAS SOPS 163377 HAS SOUS 61733 HAS SOUPS 60368 WITH SCORE 60546.47
AT ITER 8585 NEW BEST:: SOT 507697 SOS 178465 HAS SOPS 163372 HAS SOUS 61727 HAS SOUPS 60362 WITH SCORE 60540.465
AT ITER 8595 NEW BEST:: SOT 507596 SOS 178364 HAS SOPS 163271 HAS SOUS 61718 HAS SOUPS 60353 WITH SCORE 60531.364
AT ITER 8656 NEW BEST:: SOT 507509 SOS 178452 HAS SOPS 163111 HAS SOUS 61669 HAS SOUPS 60304 WITH SCORE 60482.452
AT ITER 8666 NEW BEST:: SOT 507520 SOS 178548 HAS SOPS 163207 HAS SOUS 61661 HAS SOUPS 60296 WITH SCORE 60474.548
AT ITER 8717 NEW BEST:: SOT 507506 SOS 178524 HAS SOPS 163183 HAS SOUS 61634 HAS SOUPS 60269 WITH SCORE 60447.524
AT ITER 8731 NEW BEST:: SOT 507549 SOS 178655 HAS SOPS 163314 HAS SOUS 61550 HAS SOUPS 60185 WITH SCORE 60363.655
AT ITER 8741 NEW BEST:: SOT 507201 SOS 178531 HAS SOPS 163190 HAS SOUS 61422 HAS SOUPS 60057 WITH SCORE 60235.531
AT ITER 8764 NEW BEST:: SOT 507181 SOS 178025 HAS SOPS 162771 HAS SOUS 61399 HAS SOUPS 60052 WITH SCORE 60230.025
AT ITER 8769 NEW BEST:: SOT 507171 SOS 178015 HAS SOPS 162751 HAS SOUS 61389 HAS SOUPS 60042 WITH SCORE 60220.015
AT ITER 8849 NEW BEST:: SOT 507331 SOS 178175 HAS SOPS 162911 HAS SOUS 61125 HAS SOUPS 59778 WITH SCORE 59956.175
AT ITER 8858 NEW BEST:: SOT 507331 SOS 173273 HAS SOPS 158009 HAS SOUS 61125 HAS SOUPS 59778 WITH SCORE 59951.273
AT ITER 8863 NEW BEST:: SOT 507331 SOS 173269 HAS SOPS 158005 HAS SOUS 61124 HAS SOUPS 59777 WITH SCORE 59950.269
AT ITER 8884 NEW BEST:: SOT 507331 SOS 173269 HAS SOPS 158005 HAS SOUS 61115 HAS SOUPS 59768 WITH SCORE 59941.269
AT ITER 8914 NEW BEST:: SOT 507330 SOS 173268 HAS SOPS 158004 HAS SOUS 61114 HAS SOUPS 59767 WITH SCORE 59940.268
AT ITER 8915 NEW BEST:: SOT 507315 SOS 173253 HAS SOPS 157989 HAS SOUS 61026 HAS SOUPS 59679 WITH SCORE 59852.253
AT ITER 8932 NEW BEST:: SOT 507315 SOS 173239 HAS SOPS 157975 HAS SOUS 61026 HAS SOUPS 59679 WITH SCORE 59852.239
AT ITER 8964 NEW BEST:: SOT 507298 SOS 173222 HAS SOPS 157958 HAS SOUS 60940 HAS SOUPS 59593 WITH SCORE 59766.222
AT ITER 8972 NEW BEST:: SOT 507298 SOS 172002 HAS SOPS 156738 HAS SOUS 60908 HAS SOUPS 59561 WITH SCORE 59733.002
AT ITER 9011 NEW BEST:: SOT 507259 SOS 171963 HAS SOPS 156687 HAS SOUS 60818 HAS SOUPS 59471 WITH SCORE 59642.963
AT ITER 9046 NEW BEST:: SOT 507238 SOS 171942 HAS SOPS 156666 HAS SOUS 60812 HAS SOUPS 59465 WITH SCORE 59636.942
AT ITER 9050 NEW BEST:: SOT 507241 SOS 171746 HAS SOPS 156470 HAS SOUS 60803 HAS SOUPS 59456 WITH SCORE 59627.746
AT ITER 9194 NEW BEST:: SOT 507168 SOS 171663 HAS SOPS 156389 HAS SOUS 60720 HAS SOUPS 59375 WITH SCORE 59546.663
AT ITER 9198 NEW BEST:: SOT 507144 SOS 171639 HAS SOPS 156365 HAS SOUS 60672 HAS SOUPS 59327 WITH SCORE 59498.639
AT ITER 9233 NEW BEST:: SOT 506258 SOS 170751 HAS SOPS 155477 HAS SOUS 59784 HAS SOUPS 58439 WITH SCORE 58609.751
AT ITER 9273 NEW BEST:: SOT 506250 SOS 170711 HAS SOPS 155437 HAS SOUS 59768 HAS SOUPS 58423 WITH SCORE 58593.711
AT ITER 9279 NEW BEST:: SOT 506248 SOS 170709 HAS SOPS 155435 HAS SOUS 59767 HAS SOUPS 58422 WITH SCORE 58592.709
AT ITER 9295 NEW BEST:: SOT 506242 SOS 170709 HAS SOPS 155435 HAS SOUS 59743 HAS SOUPS 58398 WITH SCORE 58568.709
AT ITER 9324 NEW BEST:: SOT 506242 SOS 170696 HAS SOPS 155414 HAS SOUS 59740 HAS SOUPS 58395 WITH SCORE 58565.696
AT ITER 9336 NEW BEST:: SOT 506238 SOS 170696 HAS SOPS 155414 HAS SOUS 59724 HAS SOUPS 58379 WITH SCORE 58549.696
AT ITER 9418 NEW BEST:: SOT 506245 SOS 170703 HAS SOPS 155421 HAS SOUS 59721 HAS SOUPS 58376 WITH SCORE 58546.703
AT ITER 9462 NEW BEST:: SOT 506229 SOS 170687 HAS SOPS 155405 HAS SOUS 59695 HAS SOUPS 58350 WITH SCORE 58520.687
AT ITER 9482 NEW BEST:: SOT 506229 SOS 170675 HAS SOPS 155392 HAS SOUS 59694 HAS SOUPS 58349 WITH SCORE 58519.675
AT ITER 9553 NEW BEST:: SOT 506169 SOS 170391 HAS SOPS 155112 HAS SOUS 59562 HAS SOUPS 58217 WITH SCORE 58387.391
AT ITER 9636 NEW BEST:: SOT 506166 SOS 170388 HAS SOPS 155112 HAS SOUS 59559 HAS SOUPS 58214 WITH SCORE 58384.388
AT ITER 9641 NEW BEST:: SOT 506166 SOS 170388 HAS SOPS 155112 HAS SOUS 59549 HAS SOUPS 58204 WITH SCORE 58374.388
AT ITER 9649 NEW BEST:: SOT 506176 SOS 182609 HAS SOPS 167333 HAS SOUS 59045 HAS SOUPS 57700 WITH SCORE 57882.609
AT ITER 9659 NEW BEST:: SOT 506176 SOS 182614 HAS SOPS 167338 HAS SOUS 59021 HAS SOUPS 57676 WITH SCORE 57858.614
AT ITER 9735 NEW BEST:: SOT 506129 SOS 182473 HAS SOPS 167197 HAS SOUS 58927 HAS SOUPS 57582 WITH SCORE 57764.473
AT ITER 9754 NEW BEST:: SOT 506122 SOS 182475 HAS SOPS 167199 HAS SOUS 58926 HAS SOUPS 57581 WITH SCORE 57763.475
AT ITER 9758 NEW BEST:: SOT 506112 SOS 182465 HAS SOPS 167189 HAS SOUS 58911 HAS SOUPS 57566 WITH SCORE 57748.465
AT ITER 9769 NEW BEST:: SOT 506080 SOS 182433 HAS SOPS 167157 HAS SOUS 58892 HAS SOUPS 57547 WITH SCORE 57729.433
AT ITER 9797 NEW BEST:: SOT 506078 SOS 182434 HAS SOPS 167158 HAS SOUS 58885 HAS SOUPS 57540 WITH SCORE 57722.434
AT ITER 9809 NEW BEST:: SOT 506059 SOS 182408 HAS SOPS 167132 HAS SOUS 58871 HAS SOUPS 57526 WITH SCORE 57708.408
AT ITER 9826 NEW BEST:: SOT 506062 SOS 182455 HAS SOPS 167179 HAS SOUS 58840 HAS SOUPS 57495 WITH SCORE 57677.455
AT ITER 9851 NEW BEST:: SOT 506060 SOS 182452 HAS SOPS 167178 HAS SOUS 58839 HAS SOUPS 57494 WITH SCORE 57676.452
AT ITER 9858 NEW BEST:: SOT 506059 SOS 182451 HAS SOPS 167177 HAS SOUS 58837 HAS SOUPS 57492 WITH SCORE 57674.451
AT ITER 9891 NEW BEST:: SOT 506055 SOS 182410 HAS SOPS 167136 HAS SOUS 58831 HAS SOUPS 57486 WITH SCORE 57668.41
AT ITER 9930 NEW BEST:: SOT 506055 SOS 182410 HAS SOPS 167136 HAS SOUS 58825 HAS SOUPS 57480 WITH SCORE 57662.41
AT ITER 9936 NEW BEST:: SOT 506055 SOS 182410 HAS SOPS 167136 HAS SOUS 58821 HAS SOUPS 57476 WITH SCORE 57658.41
AT ITER 9938 NEW BEST:: SOT 506011 SOS 182366 HAS SOPS 167104 HAS SOUS 58777 HAS SOUPS 57444 WITH SCORE 57626.366
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4346348 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16134244 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-S06J04T04"
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-S06J04T04, 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-167873942900448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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