Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973300104.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVs-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973300104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 18:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 18:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 18:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 127K 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 1679088529243

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=ShieldRVs-PT-020A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 020A
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: 283 places, 383 transitions, 1840 arcs.
AT ITER 0 NEW BEST:: SOT 81387 SOS 69947 HAS SOPS 69947 HAS SOUS 56615 HAS SOUPS 56615 WITH SCORE 56684.947
AT ITER 1 NEW BEST:: SOT 81313 SOS 69873 HAS SOPS 69873 HAS SOUS 56615 HAS SOUPS 56615 WITH SCORE 56684.873
AT ITER 3 NEW BEST:: SOT 81293 SOS 69603 HAS SOPS 69603 HAS SOUS 56434 HAS SOUPS 56434 WITH SCORE 56503.603
AT ITER 5 NEW BEST:: SOT 81202 SOS 69516 HAS SOPS 69516 HAS SOUS 56346 HAS SOUPS 56346 WITH SCORE 56415.516
AT ITER 7 NEW BEST:: SOT 81082 SOS 68895 HAS SOPS 68895 HAS SOUS 55669 HAS SOUPS 55669 WITH SCORE 55737.895
AT ITER 10 NEW BEST:: SOT 80996 SOS 68472 HAS SOPS 68472 HAS SOUS 54869 HAS SOUPS 54869 WITH SCORE 54937.472
AT ITER 14 NEW BEST:: SOT 81140 SOS 68307 HAS SOPS 68307 HAS SOUS 54418 HAS SOUPS 54418 WITH SCORE 54486.307
AT ITER 18 NEW BEST:: SOT 81141 SOS 68156 HAS SOPS 68156 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54354.156
AT ITER 23 NEW BEST:: SOT 81141 SOS 67956 HAS SOPS 67956 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54277.956
AT ITER 24 NEW BEST:: SOT 81045 SOS 67572 HAS SOPS 67572 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53793.572
AT ITER 25 NEW BEST:: SOT 81045 SOS 67570 HAS SOPS 67570 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53793.57
AT ITER 27 NEW BEST:: SOT 80988 SOS 67513 HAS SOPS 67513 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53736.513
AT ITER 28 NEW BEST:: SOT 80988 SOS 67322 HAS SOPS 67322 HAS SOUS 53352 HAS SOUPS 53352 WITH SCORE 53419.322
AT ITER 30 NEW BEST:: SOT 80988 SOS 66984 HAS SOPS 66984 HAS SOUS 53107 HAS SOUPS 53107 WITH SCORE 53173.984
AT ITER 31 NEW BEST:: SOT 80944 SOS 66636 HAS SOPS 66636 HAS SOUS 52985 HAS SOUPS 52985 WITH SCORE 53051.636
AT ITER 33 NEW BEST:: SOT 81007 SOS 66525 HAS SOPS 66525 HAS SOUS 52768 HAS SOUPS 52768 WITH SCORE 52834.525
AT ITER 36 NEW BEST:: SOT 80989 SOS 66507 HAS SOPS 66507 HAS SOUS 52749 HAS SOUPS 52749 WITH SCORE 52815.507
AT ITER 37 NEW BEST:: SOT 80962 SOS 65691 HAS SOPS 65691 HAS SOUS 52121 HAS SOUPS 52121 WITH SCORE 52186.691
AT ITER 38 NEW BEST:: SOT 80899 SOS 65628 HAS SOPS 65628 HAS SOUS 52054 HAS SOUPS 52054 WITH SCORE 52119.628
AT ITER 39 NEW BEST:: SOT 80853 SOS 65582 HAS SOPS 65582 HAS SOUS 52008 HAS SOUPS 52008 WITH SCORE 52073.582
AT ITER 42 NEW BEST:: SOT 80910 SOS 65322 HAS SOPS 65322 HAS SOUS 51893 HAS SOUPS 51893 WITH SCORE 51958.322
AT ITER 46 NEW BEST:: SOT 80843 SOS 65031 HAS SOPS 65031 HAS SOUS 51657 HAS SOUPS 51657 WITH SCORE 51722.031
AT ITER 49 NEW BEST:: SOT 80794 SOS 64608 HAS SOPS 64608 HAS SOUS 51466 HAS SOUPS 51466 WITH SCORE 51530.608
AT ITER 51 NEW BEST:: SOT 80867 SOS 64276 HAS SOPS 64276 HAS SOUS 50833 HAS SOUPS 50833 WITH SCORE 50897.276
AT ITER 54 NEW BEST:: SOT 80827 SOS 64236 HAS SOPS 64236 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50857.236
AT ITER 57 NEW BEST:: SOT 80855 SOS 63873 HAS SOPS 63873 HAS SOUS 50553 HAS SOUPS 50553 WITH SCORE 50616.873
AT ITER 59 NEW BEST:: SOT 80862 SOS 63806 HAS SOPS 63806 HAS SOUS 50476 HAS SOUPS 50476 WITH SCORE 50539.806
AT ITER 61 NEW BEST:: SOT 80819 SOS 63759 HAS SOPS 63759 HAS SOUS 50425 HAS SOUPS 50425 WITH SCORE 50488.759
AT ITER 62 NEW BEST:: SOT 80591 SOS 63558 HAS SOPS 63558 HAS SOUS 50240 HAS SOUPS 50240 WITH SCORE 50303.558
AT ITER 69 NEW BEST:: SOT 80454 SOS 63475 HAS SOPS 63475 HAS SOUS 50211 HAS SOUPS 50211 WITH SCORE 50274.475
AT ITER 71 NEW BEST:: SOT 80426 SOS 63363 HAS SOPS 63363 HAS SOUS 50144 HAS SOUPS 50144 WITH SCORE 50207.363
AT ITER 74 NEW BEST:: SOT 80414 SOS 63527 HAS SOPS 63527 HAS SOUS 50132 HAS SOUPS 50132 WITH SCORE 50195.527
AT ITER 77 NEW BEST:: SOT 80408 SOS 63521 HAS SOPS 63521 HAS SOUS 50126 HAS SOUPS 50126 WITH SCORE 50189.521
AT ITER 82 NEW BEST:: SOT 80267 SOS 63380 HAS SOPS 63380 HAS SOUS 49936 HAS SOUPS 49936 WITH SCORE 49999.38
AT ITER 84 NEW BEST:: SOT 80087 SOS 63146 HAS SOPS 63146 HAS SOUS 49698 HAS SOUPS 49698 WITH SCORE 49761.146
AT ITER 85 NEW BEST:: SOT 80033 SOS 62864 HAS SOPS 62864 HAS SOUS 49661 HAS SOUPS 49661 WITH SCORE 49723.864
AT ITER 87 NEW BEST:: SOT 80029 SOS 62704 HAS SOPS 62704 HAS SOUS 49460 HAS SOUPS 49460 WITH SCORE 49522.704
AT ITER 90 NEW BEST:: SOT 79638 SOS 62440 HAS SOPS 62440 HAS SOUS 49069 HAS SOUPS 49069 WITH SCORE 49131.44
AT ITER 92 NEW BEST:: SOT 79464 SOS 62266 HAS SOPS 62266 HAS SOUS 48895 HAS SOUPS 48895 WITH SCORE 48957.266
AT ITER 95 NEW BEST:: SOT 79464 SOS 62049 HAS SOPS 62049 HAS SOUS 48698 HAS SOUPS 48698 WITH SCORE 48760.049
AT ITER 98 NEW BEST:: SOT 79462 SOS 62047 HAS SOPS 62047 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48758.047
AT ITER 99 NEW BEST:: SOT 79393 SOS 61807 HAS SOPS 61807 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48481.807
AT ITER 102 NEW BEST:: SOT 79468 SOS 61724 HAS SOPS 61724 HAS SOUS 48345 HAS SOUPS 48345 WITH SCORE 48406.724
AT ITER 103 NEW BEST:: SOT 79198 SOS 61454 HAS SOPS 61454 HAS SOUS 48075 HAS SOUPS 48075 WITH SCORE 48136.454
AT ITER 107 NEW BEST:: SOT 79163 SOS 61314 HAS SOPS 61314 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47925.314
AT ITER 110 NEW BEST:: SOT 79101 SOS 61004 HAS SOPS 61004 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47677.004
AT ITER 111 NEW BEST:: SOT 79075 SOS 60600 HAS SOPS 60600 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47194.6
AT ITER 112 NEW BEST:: SOT 79041 SOS 60192 HAS SOPS 60192 HAS SOUS 47115 HAS SOUPS 47115 WITH SCORE 47175.192
AT ITER 114 NEW BEST:: SOT 79041 SOS 60136 HAS SOPS 60136 HAS SOUS 47084 HAS SOUPS 47084 WITH SCORE 47144.136
AT ITER 115 NEW BEST:: SOT 79002 SOS 60093 HAS SOPS 60093 HAS SOUS 47029 HAS SOUPS 47029 WITH SCORE 47089.093
AT ITER 116 NEW BEST:: SOT 79003 SOS 59999 HAS SOPS 59999 HAS SOUS 46982 HAS SOUPS 46982 WITH SCORE 47041.999
AT ITER 123 NEW BEST:: SOT 78958 SOS 59913 HAS SOPS 59913 HAS SOUS 46953 HAS SOUPS 46953 WITH SCORE 47012.913
AT ITER 124 NEW BEST:: SOT 78953 SOS 59898 HAS SOPS 59898 HAS SOUS 46908 HAS SOUPS 46908 WITH SCORE 46967.898
AT ITER 130 NEW BEST:: SOT 78834 SOS 59790 HAS SOPS 59790 HAS SOUS 46798 HAS SOUPS 46798 WITH SCORE 46857.79
AT ITER 136 NEW BEST:: SOT 78796 SOS 58794 HAS SOPS 58794 HAS SOUS 46458 HAS SOUPS 46458 WITH SCORE 46516.794
AT ITER 138 NEW BEST:: SOT 78774 SOS 58692 HAS SOPS 58692 HAS SOUS 46385 HAS SOUPS 46385 WITH SCORE 46443.692
AT ITER 144 NEW BEST:: SOT 78620 SOS 58550 HAS SOPS 58550 HAS SOUS 46243 HAS SOUPS 46243 WITH SCORE 46301.55
AT ITER 147 NEW BEST:: SOT 78525 SOS 58432 HAS SOPS 58432 HAS SOUS 46050 HAS SOUPS 46050 WITH SCORE 46108.432
AT ITER 148 NEW BEST:: SOT 78516 SOS 58352 HAS SOPS 58352 HAS SOUS 45985 HAS SOUPS 45985 WITH SCORE 46043.352
AT ITER 151 NEW BEST:: SOT 78516 SOS 58307 HAS SOPS 58307 HAS SOUS 45985 HAS SOUPS 45985 WITH SCORE 46043.307
AT ITER 152 NEW BEST:: SOT 78391 SOS 58178 HAS SOPS 58178 HAS SOUS 45856 HAS SOUPS 45856 WITH SCORE 45914.178
AT ITER 154 NEW BEST:: SOT 78401 SOS 58185 HAS SOPS 58185 HAS SOUS 45853 HAS SOUPS 45853 WITH SCORE 45911.185
AT ITER 155 NEW BEST:: SOT 78346 SOS 58110 HAS SOPS 58110 HAS SOUS 45853 HAS SOUPS 45853 WITH SCORE 45911.11
AT ITER 156 NEW BEST:: SOT 78346 SOS 58026 HAS SOPS 58026 HAS SOUS 45782 HAS SOUPS 45782 WITH SCORE 45840.026
AT ITER 157 NEW BEST:: SOT 78338 SOS 58018 HAS SOPS 58018 HAS SOUS 45764 HAS SOUPS 45764 WITH SCORE 45822.018
AT ITER 158 NEW BEST:: SOT 78112 SOS 57669 HAS SOPS 57669 HAS SOUS 45505 HAS SOUPS 45505 WITH SCORE 45562.669
AT ITER 160 NEW BEST:: SOT 78148 SOS 57686 HAS SOPS 57686 HAS SOUS 45377 HAS SOUPS 45377 WITH SCORE 45434.686
AT ITER 164 NEW BEST:: SOT 78190 SOS 57516 HAS SOPS 57516 HAS SOUS 45269 HAS SOUPS 45269 WITH SCORE 45326.516
AT ITER 168 NEW BEST:: SOT 78162 SOS 57488 HAS SOPS 57488 HAS SOUS 45241 HAS SOUPS 45241 WITH SCORE 45298.488
AT ITER 173 NEW BEST:: SOT 78060 SOS 57386 HAS SOPS 57386 HAS SOUS 45139 HAS SOUPS 45139 WITH SCORE 45196.386
AT ITER 175 NEW BEST:: SOT 78016 SOS 57297 HAS SOPS 57297 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45062.297
AT ITER 176 NEW BEST:: SOT 77979 SOS 57167 HAS SOPS 57167 HAS SOUS 44884 HAS SOUPS 44884 WITH SCORE 44941.167
AT ITER 180 NEW BEST:: SOT 77979 SOS 57051 HAS SOPS 57051 HAS SOUS 44849 HAS SOUPS 44849 WITH SCORE 44906.051
AT ITER 181 NEW BEST:: SOT 77809 SOS 56971 HAS SOPS 56971 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44811.971
AT ITER 183 NEW BEST:: SOT 77809 SOS 56504 HAS SOPS 56504 HAS SOUS 44492 HAS SOUPS 44492 WITH SCORE 44548.504
AT ITER 203 NEW BEST:: SOT 77792 SOS 56475 HAS SOPS 56475 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44519.475
AT ITER 204 NEW BEST:: SOT 77787 SOS 56094 HAS SOPS 56094 HAS SOUS 44404 HAS SOUPS 44404 WITH SCORE 44460.094
AT ITER 206 NEW BEST:: SOT 77720 SOS 55880 HAS SOPS 55880 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44271.88
AT ITER 208 NEW BEST:: SOT 77741 SOS 55849 HAS SOPS 55849 HAS SOUS 43873 HAS SOUPS 43873 WITH SCORE 43928.849
AT ITER 218 NEW BEST:: SOT 77736 SOS 55844 HAS SOPS 55844 HAS SOUS 43868 HAS SOUPS 43868 WITH SCORE 43923.844
AT ITER 224 NEW BEST:: SOT 77736 SOS 55844 HAS SOPS 55844 HAS SOUS 43867 HAS SOUPS 43867 WITH SCORE 43922.844
AT ITER 226 NEW BEST:: SOT 77671 SOS 55714 HAS SOPS 55714 HAS SOUS 43757 HAS SOUPS 43757 WITH SCORE 43812.714
AT ITER 229 NEW BEST:: SOT 77662 SOS 55717 HAS SOPS 55717 HAS SOUS 43755 HAS SOUPS 43755 WITH SCORE 43810.717
AT ITER 233 NEW BEST:: SOT 77614 SOS 55583 HAS SOPS 55583 HAS SOUS 43651 HAS SOUPS 43651 WITH SCORE 43706.583
AT ITER 234 NEW BEST:: SOT 77605 SOS 55565 HAS SOPS 55565 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43677.565
AT ITER 235 NEW BEST:: SOT 77475 SOS 54826 HAS SOPS 54826 HAS SOUS 43453 HAS SOUPS 43453 WITH SCORE 43507.826
AT ITER 236 NEW BEST:: SOT 77486 SOS 54819 HAS SOPS 54819 HAS SOUS 43340 HAS SOUPS 43340 WITH SCORE 43394.819
AT ITER 238 NEW BEST:: SOT 77277 SOS 54558 HAS SOPS 54558 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43126.558
AT ITER 249 NEW BEST:: SOT 77242 SOS 54523 HAS SOPS 54523 HAS SOUS 43037 HAS SOUPS 43037 WITH SCORE 43091.523
AT ITER 254 NEW BEST:: SOT 77269 SOS 54543 HAS SOPS 54543 HAS SOUS 43018 HAS SOUPS 43018 WITH SCORE 43072.543
AT ITER 261 NEW BEST:: SOT 77299 SOS 54329 HAS SOPS 54329 HAS SOUS 42995 HAS SOUPS 42995 WITH SCORE 43049.329
AT ITER 264 NEW BEST:: SOT 77323 SOS 54352 HAS SOPS 54352 HAS SOUS 42973 HAS SOUPS 42973 WITH SCORE 43027.352
AT ITER 268 NEW BEST:: SOT 77357 SOS 54332 HAS SOPS 54332 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43006.332
AT ITER 270 NEW BEST:: SOT 77332 SOS 54307 HAS SOPS 54307 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 42981.307
AT ITER 275 NEW BEST:: SOT 77381 SOS 54020 HAS SOPS 54020 HAS SOUS 42779 HAS SOUPS 42779 WITH SCORE 42833.02
AT ITER 277 NEW BEST:: SOT 77613 SOS 54101 HAS SOPS 54101 HAS SOUS 42761 HAS SOUPS 42761 WITH SCORE 42815.101
AT ITER 279 NEW BEST:: SOT 77613 SOS 54089 HAS SOPS 54089 HAS SOUS 42757 HAS SOUPS 42757 WITH SCORE 42811.089
AT ITER 283 NEW BEST:: SOT 77610 SOS 54086 HAS SOPS 54086 HAS SOUS 42754 HAS SOUPS 42754 WITH SCORE 42808.086
AT ITER 284 NEW BEST:: SOT 77598 SOS 54068 HAS SOPS 54068 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42790.068
AT ITER 286 NEW BEST:: SOT 77587 SOS 54057 HAS SOPS 54057 HAS SOUS 42725 HAS SOUPS 42725 WITH SCORE 42779.057
AT ITER 291 NEW BEST:: SOT 77565 SOS 54044 HAS SOPS 54044 HAS SOUS 42718 HAS SOUPS 42718 WITH SCORE 42772.044
AT ITER 295 NEW BEST:: SOT 77565 SOS 54044 HAS SOPS 54044 HAS SOUS 42683 HAS SOUPS 42683 WITH SCORE 42737.044
AT ITER 297 NEW BEST:: SOT 77545 SOS 53864 HAS SOPS 53864 HAS SOUS 42617 HAS SOUPS 42617 WITH SCORE 42670.864
AT ITER 302 NEW BEST:: SOT 77471 SOS 53660 HAS SOPS 53660 HAS SOUS 42520 HAS SOUPS 42520 WITH SCORE 42573.66
AT ITER 305 NEW BEST:: SOT 77464 SOS 53462 HAS SOPS 53462 HAS SOUS 42401 HAS SOUPS 42401 WITH SCORE 42454.462
AT ITER 307 NEW BEST:: SOT 77609 SOS 53179 HAS SOPS 53179 HAS SOUS 42168 HAS SOUPS 42168 WITH SCORE 42221.179
AT ITER 309 NEW BEST:: SOT 77572 SOS 53048 HAS SOPS 53048 HAS SOUS 42051 HAS SOUPS 42051 WITH SCORE 42104.048
AT ITER 310 NEW BEST:: SOT 77530 SOS 53096 HAS SOPS 53096 HAS SOUS 41990 HAS SOUPS 41990 WITH SCORE 42043.096
AT ITER 312 NEW BEST:: SOT 77577 SOS 52865 HAS SOPS 52865 HAS SOUS 41977 HAS SOUPS 41977 WITH SCORE 42029.865
AT ITER 316 NEW BEST:: SOT 77653 SOS 52579 HAS SOPS 52579 HAS SOUS 41690 HAS SOUPS 41690 WITH SCORE 41742.579
AT ITER 321 NEW BEST:: SOT 77608 SOS 52534 HAS SOPS 52534 HAS SOUS 41576 HAS SOUPS 41576 WITH SCORE 41628.534
AT ITER 329 NEW BEST:: SOT 77588 SOS 52424 HAS SOPS 52424 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41595.424
AT ITER 336 NEW BEST:: SOT 77575 SOS 52386 HAS SOPS 52386 HAS SOUS 41517 HAS SOUPS 41517 WITH SCORE 41569.386
AT ITER 344 NEW BEST:: SOT 77603 SOS 52429 HAS SOPS 52429 HAS SOUS 41487 HAS SOUPS 41487 WITH SCORE 41539.429
AT ITER 347 NEW BEST:: SOT 77603 SOS 52455 HAS SOPS 52455 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41453.455
AT ITER 355 NEW BEST:: SOT 77601 SOS 52444 HAS SOPS 52444 HAS SOUS 41293 HAS SOUPS 41293 WITH SCORE 41345.444
AT ITER 356 NEW BEST:: SOT 77462 SOS 51863 HAS SOPS 51863 HAS SOUS 40947 HAS SOUPS 40947 WITH SCORE 40998.863
AT ITER 357 NEW BEST:: SOT 77387 SOS 51788 HAS SOPS 51788 HAS SOUS 40872 HAS SOUPS 40872 WITH SCORE 40923.788
AT ITER 363 NEW BEST:: SOT 77387 SOS 51774 HAS SOPS 51774 HAS SOUS 40872 HAS SOUPS 40872 WITH SCORE 40923.774
AT ITER 365 NEW BEST:: SOT 77053 SOS 51480 HAS SOPS 51480 HAS SOUS 40558 HAS SOUPS 40558 WITH SCORE 40609.48
AT ITER 369 NEW BEST:: SOT 77201 SOS 51405 HAS SOPS 51405 HAS SOUS 40150 HAS SOUPS 40150 WITH SCORE 40201.405
AT ITER 370 NEW BEST:: SOT 77171 SOS 51375 HAS SOPS 51375 HAS SOUS 40119 HAS SOUPS 40119 WITH SCORE 40170.375
AT ITER 378 NEW BEST:: SOT 77208 SOS 51761 HAS SOPS 51761 HAS SOUS 40002 HAS SOUPS 40002 WITH SCORE 40053.761
AT ITER 380 NEW BEST:: SOT 77208 SOS 51731 HAS SOPS 51731 HAS SOUS 39952 HAS SOUPS 39952 WITH SCORE 40003.731
AT ITER 383 NEW BEST:: SOT 77176 SOS 51699 HAS SOPS 51699 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39970.699
AT ITER 384 NEW BEST:: SOT 76997 SOS 51195 HAS SOPS 51195 HAS SOUS 39703 HAS SOUPS 39703 WITH SCORE 39754.195
AT ITER 386 NEW BEST:: SOT 76971 SOS 51123 HAS SOPS 51123 HAS SOUS 39645 HAS SOUPS 39645 WITH SCORE 39696.123
AT ITER 388 NEW BEST:: SOT 77090 SOS 51505 HAS SOPS 51505 HAS SOUS 39500 HAS SOUPS 39500 WITH SCORE 39551.505
AT ITER 389 NEW BEST:: SOT 77038 SOS 51730 HAS SOPS 51730 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39488.73
AT ITER 392 NEW BEST:: SOT 77021 SOS 51619 HAS SOPS 51619 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39456.619
AT ITER 393 NEW BEST:: SOT 76995 SOS 51620 HAS SOPS 51620 HAS SOUS 39360 HAS SOUPS 39360 WITH SCORE 39411.62
AT ITER 400 NEW BEST:: SOT 76841 SOS 51466 HAS SOPS 51466 HAS SOUS 39177 HAS SOUPS 39177 WITH SCORE 39228.466
AT ITER 405 NEW BEST:: SOT 76758 SOS 51269 HAS SOPS 51269 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 38993.269
AT ITER 406 NEW BEST:: SOT 76553 SOS 51064 HAS SOPS 51064 HAS SOUS 38826 HAS SOUPS 38826 WITH SCORE 38877.064
AT ITER 414 NEW BEST:: SOT 76553 SOS 51028 HAS SOPS 51028 HAS SOUS 38742 HAS SOUPS 38742 WITH SCORE 38793.028
AT ITER 418 NEW BEST:: SOT 76550 SOS 51016 HAS SOPS 51016 HAS SOUS 38739 HAS SOUPS 38739 WITH SCORE 38790.016
AT ITER 419 NEW BEST:: SOT 76546 SOS 51000 HAS SOPS 51000 HAS SOUS 38723 HAS SOUPS 38723 WITH SCORE 38774.0
AT ITER 424 NEW BEST:: SOT 76343 SOS 50797 HAS SOPS 50797 HAS SOUS 38520 HAS SOUPS 38520 WITH SCORE 38570.797
AT ITER 426 NEW BEST:: SOT 76364 SOS 50851 HAS SOPS 50851 HAS SOUS 38496 HAS SOUPS 38496 WITH SCORE 38546.851
AT ITER 437 NEW BEST:: SOT 76209 SOS 50761 HAS SOPS 50761 HAS SOUS 38423 HAS SOUPS 38423 WITH SCORE 38473.761
AT ITER 443 NEW BEST:: SOT 76220 SOS 50861 HAS SOPS 50861 HAS SOUS 38370 HAS SOUPS 38370 WITH SCORE 38420.861
AT ITER 444 NEW BEST:: SOT 76388 SOS 50708 HAS SOPS 50708 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38298.708
AT ITER 450 NEW BEST:: SOT 76345 SOS 50604 HAS SOPS 50604 HAS SOUS 38109 HAS SOUPS 38109 WITH SCORE 38159.604
AT ITER 455 NEW BEST:: SOT 76345 SOS 50657 HAS SOPS 50657 HAS SOUS 37996 HAS SOUPS 37996 WITH SCORE 38046.657
AT ITER 458 NEW BEST:: SOT 76318 SOS 50586 HAS SOPS 50586 HAS SOUS 37947 HAS SOUPS 37947 WITH SCORE 37997.586
AT ITER 463 NEW BEST:: SOT 76276 SOS 50544 HAS SOPS 50544 HAS SOUS 37905 HAS SOUPS 37905 WITH SCORE 37955.544
AT ITER 465 NEW BEST:: SOT 76021 SOS 50289 HAS SOPS 50289 HAS SOUS 37665 HAS SOUPS 37665 WITH SCORE 37715.289
AT ITER 469 NEW BEST:: SOT 75947 SOS 50215 HAS SOPS 50215 HAS SOUS 37612 HAS SOUPS 37612 WITH SCORE 37662.215
AT ITER 474 NEW BEST:: SOT 75929 SOS 50171 HAS SOPS 50171 HAS SOUS 37575 HAS SOUPS 37575 WITH SCORE 37625.171
AT ITER 480 NEW BEST:: SOT 75907 SOS 50308 HAS SOPS 50308 HAS SOUS 37416 HAS SOUPS 37416 WITH SCORE 37466.308
AT ITER 487 NEW BEST:: SOT 75892 SOS 50137 HAS SOPS 50137 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37247.137
AT ITER 490 NEW BEST:: SOT 75896 SOS 50141 HAS SOPS 50141 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37239.141
AT ITER 491 NEW BEST:: SOT 75573 SOS 49736 HAS SOPS 49736 HAS SOUS 36756 HAS SOUPS 36756 WITH SCORE 36805.736
AT ITER 492 NEW BEST:: SOT 75531 SOS 49574 HAS SOPS 49574 HAS SOUS 36581 HAS SOUPS 36581 WITH SCORE 36630.574
AT ITER 499 NEW BEST:: SOT 75499 SOS 49502 HAS SOPS 49502 HAS SOUS 36543 HAS SOUPS 36543 WITH SCORE 36592.502
AT ITER 500 NEW BEST:: SOT 75554 SOS 48837 HAS SOPS 48837 HAS SOUS 36464 HAS SOUPS 36464 WITH SCORE 36512.837
AT ITER 507 NEW BEST:: SOT 75526 SOS 48781 HAS SOPS 48781 HAS SOUS 36348 HAS SOUPS 36348 WITH SCORE 36396.781
AT ITER 514 NEW BEST:: SOT 75526 SOS 48607 HAS SOPS 48607 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36223.607
AT ITER 516 NEW BEST:: SOT 75530 SOS 48567 HAS SOPS 48567 HAS SOUS 36060 HAS SOUPS 36060 WITH SCORE 36108.567
AT ITER 517 NEW BEST:: SOT 75411 SOS 47522 HAS SOPS 47522 HAS SOUS 35989 HAS SOUPS 35989 WITH SCORE 36036.522
AT ITER 520 NEW BEST:: SOT 75382 SOS 47482 HAS SOPS 47482 HAS SOUS 35949 HAS SOUPS 35949 WITH SCORE 35996.482
AT ITER 523 NEW BEST:: SOT 75292 SOS 47332 HAS SOPS 47332 HAS SOUS 35858 HAS SOUPS 35858 WITH SCORE 35905.332
AT ITER 525 NEW BEST:: SOT 75264 SOS 47304 HAS SOPS 47304 HAS SOUS 35823 HAS SOUPS 35823 WITH SCORE 35870.304
AT ITER 530 NEW BEST:: SOT 75178 SOS 47246 HAS SOPS 47246 HAS SOUS 35531 HAS SOUPS 35531 WITH SCORE 35578.246
AT ITER 536 NEW BEST:: SOT 75172 SOS 47240 HAS SOPS 47240 HAS SOUS 35525 HAS SOUPS 35525 WITH SCORE 35572.24
AT ITER 539 NEW BEST:: SOT 75094 SOS 46988 HAS SOPS 46988 HAS SOUS 35386 HAS SOUPS 35386 WITH SCORE 35432.988
AT ITER 543 NEW BEST:: SOT 75094 SOS 46911 HAS SOPS 46911 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35399.911
AT ITER 546 NEW BEST:: SOT 74891 SOS 46499 HAS SOPS 46499 HAS SOUS 34823 HAS SOUPS 34823 WITH SCORE 34869.499
AT ITER 556 NEW BEST:: SOT 74848 SOS 46352 HAS SOPS 46352 HAS SOUS 34743 HAS SOUPS 34743 WITH SCORE 34789.352
AT ITER 560 NEW BEST:: SOT 74864 SOS 46146 HAS SOPS 46146 HAS SOUS 34633 HAS SOUPS 34633 WITH SCORE 34679.146
AT ITER 564 NEW BEST:: SOT 74769 SOS 46054 HAS SOPS 46054 HAS SOUS 34541 HAS SOUPS 34541 WITH SCORE 34587.054
AT ITER 574 NEW BEST:: SOT 74764 SOS 46037 HAS SOPS 46037 HAS SOUS 34520 HAS SOUPS 34520 WITH SCORE 34566.037
AT ITER 577 NEW BEST:: SOT 74749 SOS 46022 HAS SOPS 46022 HAS SOUS 34479 HAS SOUPS 34479 WITH SCORE 34525.022
AT ITER 582 NEW BEST:: SOT 74701 SOS 45974 HAS SOPS 45974 HAS SOUS 34419 HAS SOUPS 34419 WITH SCORE 34464.974
AT ITER 585 NEW BEST:: SOT 74675 SOS 45936 HAS SOPS 45936 HAS SOUS 34321 HAS SOUPS 34321 WITH SCORE 34366.936
AT ITER 589 NEW BEST:: SOT 74675 SOS 45961 HAS SOPS 45961 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34360.961
AT ITER 592 NEW BEST:: SOT 74673 SOS 45959 HAS SOPS 45959 HAS SOUS 34313 HAS SOUPS 34313 WITH SCORE 34358.959
AT ITER 600 NEW BEST:: SOT 74635 SOS 45641 HAS SOPS 45641 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34240.641
AT ITER 610 NEW BEST:: SOT 74648 SOS 45637 HAS SOPS 45637 HAS SOUS 34113 HAS SOUPS 34113 WITH SCORE 34158.637
AT ITER 612 NEW BEST:: SOT 74648 SOS 45637 HAS SOPS 45637 HAS SOUS 34095 HAS SOUPS 34095 WITH SCORE 34140.637
AT ITER 620 NEW BEST:: SOT 74432 SOS 45435 HAS SOPS 45435 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 33979.435
AT ITER 624 NEW BEST:: SOT 74381 SOS 45343 HAS SOPS 45343 HAS SOUS 33827 HAS SOUPS 33827 WITH SCORE 33872.343
AT ITER 625 NEW BEST:: SOT 74331 SOS 45243 HAS SOPS 45243 HAS SOUS 33827 HAS SOUPS 33827 WITH SCORE 33872.243
AT ITER 641 NEW BEST:: SOT 74226 SOS 45105 HAS SOPS 45105 HAS SOUS 33664 HAS SOUPS 33664 WITH SCORE 33709.105
AT ITER 642 NEW BEST:: SOT 74200 SOS 45053 HAS SOPS 45053 HAS SOUS 33508 HAS SOUPS 33508 WITH SCORE 33553.053
AT ITER 645 NEW BEST:: SOT 74200 SOS 44901 HAS SOPS 44901 HAS SOUS 33452 HAS SOUPS 33452 WITH SCORE 33496.901
AT ITER 646 NEW BEST:: SOT 74202 SOS 44859 HAS SOPS 44859 HAS SOUS 33415 HAS SOUPS 33415 WITH SCORE 33459.859
AT ITER 652 NEW BEST:: SOT 74197 SOS 44840 HAS SOPS 44840 HAS SOUS 33389 HAS SOUPS 33389 WITH SCORE 33433.84
AT ITER 653 NEW BEST:: SOT 74064 SOS 44693 HAS SOPS 44693 HAS SOUS 33242 HAS SOUPS 33242 WITH SCORE 33286.693
AT ITER 654 NEW BEST:: SOT 74048 SOS 44597 HAS SOPS 44597 HAS SOUS 33194 HAS SOUPS 33194 WITH SCORE 33238.597
AT ITER 661 NEW BEST:: SOT 73909 SOS 44477 HAS SOPS 44477 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33087.477
AT ITER 663 NEW BEST:: SOT 73801 SOS 43914 HAS SOPS 43914 HAS SOUS 32844 HAS SOUPS 32844 WITH SCORE 32887.914
AT ITER 665 NEW BEST:: SOT 73726 SOS 43804 HAS SOPS 43804 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32773.804
AT ITER 669 NEW BEST:: SOT 73720 SOS 43792 HAS SOPS 43792 HAS SOUS 32696 HAS SOUPS 32696 WITH SCORE 32739.792
AT ITER 682 NEW BEST:: SOT 73695 SOS 43694 HAS SOPS 43694 HAS SOUS 32662 HAS SOUPS 32662 WITH SCORE 32705.694
AT ITER 688 NEW BEST:: SOT 73677 SOS 43691 HAS SOPS 43691 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32702.691
AT ITER 690 NEW BEST:: SOT 73644 SOS 43614 HAS SOPS 43614 HAS SOUS 32593 HAS SOUPS 32593 WITH SCORE 32636.614
AT ITER 692 NEW BEST:: SOT 73461 SOS 43478 HAS SOPS 43478 HAS SOUS 32451 HAS SOUPS 32451 WITH SCORE 32494.478
AT ITER 700 NEW BEST:: SOT 73452 SOS 43469 HAS SOPS 43469 HAS SOUS 32442 HAS SOUPS 32442 WITH SCORE 32485.469
AT ITER 707 NEW BEST:: SOT 73445 SOS 43454 HAS SOPS 43454 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32431.454
AT ITER 713 NEW BEST:: SOT 73445 SOS 43456 HAS SOPS 43456 HAS SOUS 32386 HAS SOUPS 32386 WITH SCORE 32429.456
AT ITER 728 NEW BEST:: SOT 73406 SOS 43378 HAS SOPS 43378 HAS SOUS 32347 HAS SOUPS 32347 WITH SCORE 32390.378
AT ITER 730 NEW BEST:: SOT 73281 SOS 43280 HAS SOPS 43280 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32216.28
AT ITER 740 NEW BEST:: SOT 73017 SOS 43016 HAS SOPS 43016 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31952.016
AT ITER 741 NEW BEST:: SOT 73000 SOS 42948 HAS SOPS 42948 HAS SOUS 31828 HAS SOUPS 31828 WITH SCORE 31870.948
AT ITER 751 NEW BEST:: SOT 73038 SOS 43098 HAS SOPS 43098 HAS SOUS 31757 HAS SOUPS 31757 WITH SCORE 31800.098
AT ITER 752 NEW BEST:: SOT 73029 SOS 43080 HAS SOPS 43080 HAS SOUS 31748 HAS SOUPS 31748 WITH SCORE 31791.08
AT ITER 754 NEW BEST:: SOT 72780 SOS 42715 HAS SOPS 42715 HAS SOUS 31441 HAS SOUPS 31441 WITH SCORE 31483.715
AT ITER 763 NEW BEST:: SOT 72633 SOS 42578 HAS SOPS 42578 HAS SOUS 31306 HAS SOUPS 31306 WITH SCORE 31348.578
AT ITER 764 NEW BEST:: SOT 72248 SOS 42193 HAS SOPS 42193 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30730.193
AT ITER 770 NEW BEST:: SOT 72242 SOS 42019 HAS SOPS 42019 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30634.019
AT ITER 779 NEW BEST:: SOT 72198 SOS 41959 HAS SOPS 41959 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30509.959
AT ITER 782 NEW BEST:: SOT 72158 SOS 41799 HAS SOPS 41799 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30451.799
AT ITER 791 NEW BEST:: SOT 72158 SOS 41794 HAS SOPS 41794 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 30446.794
AT ITER 797 NEW BEST:: SOT 72009 SOS 41589 HAS SOPS 41589 HAS SOUS 30144 HAS SOUPS 30144 WITH SCORE 30185.589
AT ITER 800 NEW BEST:: SOT 71974 SOS 41525 HAS SOPS 41525 HAS SOUS 30080 HAS SOUPS 30080 WITH SCORE 30121.525
AT ITER 829 NEW BEST:: SOT 71974 SOS 41525 HAS SOPS 41525 HAS SOUS 30077 HAS SOUPS 30077 WITH SCORE 30118.525
AT ITER 834 NEW BEST:: SOT 72004 SOS 41555 HAS SOPS 41555 HAS SOUS 30055 HAS SOUPS 30055 WITH SCORE 30096.555
AT ITER 837 NEW BEST:: SOT 71741 SOS 41273 HAS SOPS 41273 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29672.273
AT ITER 839 NEW BEST:: SOT 71741 SOS 41212 HAS SOPS 41212 HAS SOUS 29571 HAS SOUPS 29571 WITH SCORE 29612.212
AT ITER 840 NEW BEST:: SOT 71830 SOS 41272 HAS SOPS 41272 HAS SOUS 29551 HAS SOUPS 29551 WITH SCORE 29592.272
AT ITER 841 NEW BEST:: SOT 71685 SOS 41127 HAS SOPS 41127 HAS SOUS 29459 HAS SOUPS 29459 WITH SCORE 29500.127
AT ITER 848 NEW BEST:: SOT 71651 SOS 41070 HAS SOPS 41070 HAS SOUS 29402 HAS SOUPS 29402 WITH SCORE 29443.07
AT ITER 855 NEW BEST:: SOT 71638 SOS 41058 HAS SOPS 41058 HAS SOUS 29236 HAS SOUPS 29236 WITH SCORE 29277.058
AT ITER 864 NEW BEST:: SOT 71611 SOS 41031 HAS SOPS 41031 HAS SOUS 29218 HAS SOUPS 29218 WITH SCORE 29259.031
AT ITER 868 NEW BEST:: SOT 71482 SOS 40836 HAS SOPS 40836 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28990.836
AT ITER 870 NEW BEST:: SOT 71482 SOS 40887 HAS SOPS 40887 HAS SOUS 28933 HAS SOUPS 28933 WITH SCORE 28973.887
AT ITER 891 NEW BEST:: SOT 71272 SOS 40677 HAS SOPS 40677 HAS SOUS 28711 HAS SOUPS 28711 WITH SCORE 28751.677
AT ITER 893 NEW BEST:: SOT 71243 SOS 40508 HAS SOPS 40508 HAS SOUS 28632 HAS SOUPS 28632 WITH SCORE 28672.508
AT ITER 897 NEW BEST:: SOT 71218 SOS 40487 HAS SOPS 40487 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28655.487
AT ITER 900 NEW BEST:: SOT 70999 SOS 40234 HAS SOPS 40234 HAS SOUS 28273 HAS SOUPS 28273 WITH SCORE 28313.234
AT ITER 902 NEW BEST:: SOT 70957 SOS 40178 HAS SOPS 40178 HAS SOUS 28217 HAS SOUPS 28217 WITH SCORE 28257.178
AT ITER 908 NEW BEST:: SOT 70923 SOS 40110 HAS SOPS 40110 HAS SOUS 28117 HAS SOUPS 28117 WITH SCORE 28157.11
AT ITER 922 NEW BEST:: SOT 70921 SOS 40106 HAS SOPS 40106 HAS SOUS 28113 HAS SOUPS 28113 WITH SCORE 28153.106
AT ITER 926 NEW BEST:: SOT 70875 SOS 40060 HAS SOPS 40060 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27963.06
AT ITER 929 NEW BEST:: SOT 70875 SOS 39960 HAS SOPS 39960 HAS SOUS 27853 HAS SOUPS 27853 WITH SCORE 27892.96
AT ITER 936 NEW BEST:: SOT 70882 SOS 39951 HAS SOPS 39951 HAS SOUS 27796 HAS SOUPS 27796 WITH SCORE 27835.951
AT ITER 937 NEW BEST:: SOT 70904 SOS 39973 HAS SOPS 39973 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27828.973
AT ITER 944 NEW BEST:: SOT 70904 SOS 39953 HAS SOPS 39953 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27828.953
AT ITER 955 NEW BEST:: SOT 71007 SOS 40422 HAS SOPS 40422 HAS SOUS 27682 HAS SOUPS 27682 WITH SCORE 27722.422
AT ITER 956 NEW BEST:: SOT 71120 SOS 40694 HAS SOPS 40694 HAS SOUS 27654 HAS SOUPS 27654 WITH SCORE 27694.694
AT ITER 957 NEW BEST:: SOT 71079 SOS 40653 HAS SOPS 40653 HAS SOUS 27613 HAS SOUPS 27613 WITH SCORE 27653.653
AT ITER 970 NEW BEST:: SOT 71090 SOS 40669 HAS SOPS 40669 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27641.669
AT ITER 973 NEW BEST:: SOT 71088 SOS 40657 HAS SOPS 40657 HAS SOUS 27593 HAS SOUPS 27593 WITH SCORE 27633.657
AT ITER 974 NEW BEST:: SOT 71082 SOS 40645 HAS SOPS 40645 HAS SOUS 27581 HAS SOUPS 27581 WITH SCORE 27621.645
AT ITER 984 NEW BEST:: SOT 71082 SOS 40645 HAS SOPS 40645 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27583.645
AT ITER 987 NEW BEST:: SOT 71082 SOS 40643 HAS SOPS 40643 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27583.643
AT ITER 998 NEW BEST:: SOT 71107 SOS 40543 HAS SOPS 40543 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27583.543
AT ITER 999 NEW BEST:: SOT 71168 SOS 40452 HAS SOPS 40452 HAS SOUS 27384 HAS SOUPS 27384 WITH SCORE 27424.452
AT ITER 1009 NEW BEST:: SOT 71149 SOS 40395 HAS SOPS 40395 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27401.395
AT ITER 1019 NEW BEST:: SOT 71144 SOS 40385 HAS SOPS 40385 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27390.385
AT ITER 1023 NEW BEST:: SOT 71067 SOS 40199 HAS SOPS 40199 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27268.199
AT ITER 1027 NEW BEST:: SOT 71061 SOS 40190 HAS SOPS 40190 HAS SOUS 27210 HAS SOUPS 27210 WITH SCORE 27250.19
AT ITER 1035 NEW BEST:: SOT 71039 SOS 39987 HAS SOPS 39987 HAS SOUS 27192 HAS SOUPS 27192 WITH SCORE 27231.987
AT ITER 1040 NEW BEST:: SOT 71030 SOS 39932 HAS SOPS 39932 HAS SOUS 27191 HAS SOUPS 27191 WITH SCORE 27230.932
AT ITER 1041 NEW BEST:: SOT 71020 SOS 39892 HAS SOPS 39892 HAS SOUS 27141 HAS SOUPS 27141 WITH SCORE 27180.892
AT ITER 1042 NEW BEST:: SOT 71020 SOS 39866 HAS SOPS 39866 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27140.866
AT ITER 1044 NEW BEST:: SOT 71006 SOS 39838 HAS SOPS 39838 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27067.838
AT ITER 1052 NEW BEST:: SOT 70992 SOS 39825 HAS SOPS 39825 HAS SOUS 27011 HAS SOUPS 27011 WITH SCORE 27050.825
AT ITER 1055 NEW BEST:: SOT 70981 SOS 39787 HAS SOPS 39787 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27023.787
AT ITER 1064 NEW BEST:: SOT 70894 SOS 39745 HAS SOPS 39745 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26919.745
AT ITER 1072 NEW BEST:: SOT 70943 SOS 40153 HAS SOPS 40153 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26914.153
AT ITER 1074 NEW BEST:: SOT 70855 SOS 40170 HAS SOPS 40170 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26899.17
AT ITER 1091 NEW BEST:: SOT 70855 SOS 40170 HAS SOPS 40170 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26898.17
AT ITER 1112 NEW BEST:: SOT 70775 SOS 40058 HAS SOPS 40058 HAS SOUS 26778 HAS SOUPS 26778 WITH SCORE 26818.058
AT ITER 1117 NEW BEST:: SOT 70775 SOS 40046 HAS SOPS 40046 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26810.046
AT ITER 1119 NEW BEST:: SOT 70762 SOS 40033 HAS SOPS 40033 HAS SOUS 26757 HAS SOUPS 26757 WITH SCORE 26797.033
AT ITER 1132 NEW BEST:: SOT 70719 SOS 39990 HAS SOPS 39990 HAS SOUS 26714 HAS SOUPS 26714 WITH SCORE 26753.99
AT ITER 1134 NEW BEST:: SOT 70761 SOS 40221 HAS SOPS 40221 HAS SOUS 26693 HAS SOUPS 26693 WITH SCORE 26733.221
AT ITER 1140 NEW BEST:: SOT 70695 SOS 40194 HAS SOPS 40194 HAS SOUS 26588 HAS SOUPS 26588 WITH SCORE 26628.194
AT ITER 1144 NEW BEST:: SOT 70671 SOS 40198 HAS SOPS 40198 HAS SOUS 26584 HAS SOUPS 26584 WITH SCORE 26624.198
AT ITER 1150 NEW BEST:: SOT 70598 SOS 40071 HAS SOPS 40071 HAS SOUS 26430 HAS SOUPS 26430 WITH SCORE 26470.071
AT ITER 1151 NEW BEST:: SOT 70713 SOS 40251 HAS SOPS 40251 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26362.251
AT ITER 1156 NEW BEST:: SOT 70649 SOS 40187 HAS SOPS 40187 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26298.187
AT ITER 1164 NEW BEST:: SOT 70486 SOS 39964 HAS SOPS 39964 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26235.964
AT ITER 1165 NEW BEST:: SOT 70427 SOS 39800 HAS SOPS 39800 HAS SOUS 26187 HAS SOUPS 26187 WITH SCORE 26226.8
AT ITER 1175 NEW BEST:: SOT 70440 SOS 39813 HAS SOPS 39813 HAS SOUS 26161 HAS SOUPS 26161 WITH SCORE 26200.813
AT ITER 1190 NEW BEST:: SOT 70410 SOS 39759 HAS SOPS 39759 HAS SOUS 26115 HAS SOUPS 26115 WITH SCORE 26154.759
AT ITER 1199 NEW BEST:: SOT 70325 SOS 39674 HAS SOPS 39674 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26025.674
AT ITER 1213 NEW BEST:: SOT 70119 SOS 39339 HAS SOPS 39339 HAS SOUS 25639 HAS SOUPS 25639 WITH SCORE 25678.339
AT ITER 1214 NEW BEST:: SOT 70115 SOS 39223 HAS SOPS 39223 HAS SOUS 25625 HAS SOUPS 25625 WITH SCORE 25664.223
AT ITER 1217 NEW BEST:: SOT 70106 SOS 39214 HAS SOPS 39214 HAS SOUS 25610 HAS SOUPS 25610 WITH SCORE 25649.214
AT ITER 1220 NEW BEST:: SOT 70101 SOS 39200 HAS SOPS 39200 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25623.2
AT ITER 1221 NEW BEST:: SOT 70098 SOS 39193 HAS SOPS 39193 HAS SOUS 25573 HAS SOUPS 25573 WITH SCORE 25612.193
AT ITER 1234 NEW BEST:: SOT 70083 SOS 39128 HAS SOPS 39128 HAS SOUS 25542 HAS SOUPS 25542 WITH SCORE 25581.128
AT ITER 1240 NEW BEST:: SOT 70075 SOS 39112 HAS SOPS 39112 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25573.112
AT ITER 1243 NEW BEST:: SOT 70075 SOS 39094 HAS SOPS 39094 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25549.094
AT ITER 1254 NEW BEST:: SOT 70052 SOS 39068 HAS SOPS 39068 HAS SOUS 25469 HAS SOUPS 25469 WITH SCORE 25508.068
AT ITER 1255 NEW BEST:: SOT 70063 SOS 39004 HAS SOPS 39004 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25455.004
AT ITER 1265 NEW BEST:: SOT 70064 SOS 38983 HAS SOPS 38983 HAS SOUS 25407 HAS SOUPS 25407 WITH SCORE 25445.983
AT ITER 1279 NEW BEST:: SOT 70015 SOS 38932 HAS SOPS 38932 HAS SOUS 25403 HAS SOUPS 25403 WITH SCORE 25441.932
AT ITER 1282 NEW BEST:: SOT 69999 SOS 38908 HAS SOPS 38908 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25417.908
AT ITER 1283 NEW BEST:: SOT 70006 SOS 38955 HAS SOPS 38955 HAS SOUS 25378 HAS SOUPS 25378 WITH SCORE 25416.955
AT ITER 1291 NEW BEST:: SOT 69936 SOS 38885 HAS SOPS 38885 HAS SOUS 25308 HAS SOUPS 25308 WITH SCORE 25346.885
AT ITER 1296 NEW BEST:: SOT 69932 SOS 38878 HAS SOPS 38878 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25339.878
AT ITER 1297 NEW BEST:: SOT 69925 SOS 38864 HAS SOPS 38864 HAS SOUS 25287 HAS SOUPS 25287 WITH SCORE 25325.864
AT ITER 1304 NEW BEST:: SOT 69927 SOS 38854 HAS SOPS 38854 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25290.854
AT ITER 1307 NEW BEST:: SOT 69885 SOS 38840 HAS SOPS 38840 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25262.84
AT ITER 1310 NEW BEST:: SOT 69854 SOS 38809 HAS SOPS 38809 HAS SOUS 25191 HAS SOUPS 25191 WITH SCORE 25229.809
AT ITER 1321 NEW BEST:: SOT 69854 SOS 38809 HAS SOPS 38809 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25130.809
AT ITER 1327 NEW BEST:: SOT 69850 SOS 38678 HAS SOPS 38678 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25063.678
AT ITER 1364 NEW BEST:: SOT 69850 SOS 38673 HAS SOPS 38673 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25063.673
AT ITER 1367 NEW BEST:: SOT 69850 SOS 38703 HAS SOPS 38703 HAS SOUS 24995 HAS SOUPS 24995 WITH SCORE 25033.703
AT ITER 1368 NEW BEST:: SOT 69831 SOS 38684 HAS SOPS 38684 HAS SOUS 24976 HAS SOUPS 24976 WITH SCORE 25014.684
AT ITER 1369 NEW BEST:: SOT 69831 SOS 38684 HAS SOPS 38684 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 25008.684
AT ITER 1379 NEW BEST:: SOT 69829 SOS 38682 HAS SOPS 38682 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 25008.682
AT ITER 1389 NEW BEST:: SOT 69846 SOS 38763 HAS SOPS 38763 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 25001.763
AT ITER 1403 NEW BEST:: SOT 69837 SOS 38754 HAS SOPS 38754 HAS SOUS 24959 HAS SOUPS 24959 WITH SCORE 24997.754
AT ITER 1411 NEW BEST:: SOT 69816 SOS 38733 HAS SOPS 38733 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24975.733
AT ITER 1429 NEW BEST:: SOT 69823 SOS 38702 HAS SOPS 38702 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24975.702
AT ITER 1448 NEW BEST:: SOT 69822 SOS 38700 HAS SOPS 38700 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 24957.7
AT ITER 1466 NEW BEST:: SOT 69814 SOS 38691 HAS SOPS 38691 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24935.691
AT ITER 1473 NEW BEST:: SOT 69755 SOS 38416 HAS SOPS 38416 HAS SOUS 24847 HAS SOUPS 24847 WITH SCORE 24885.416
AT ITER 1478 NEW BEST:: SOT 69755 SOS 38252 HAS SOPS 38252 HAS SOUS 24841 HAS SOUPS 24841 WITH SCORE 24879.252
AT ITER 1485 NEW BEST:: SOT 69734 SOS 38231 HAS SOPS 38231 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24858.231
AT ITER 1503 NEW BEST:: SOT 69702 SOS 38199 HAS SOPS 38199 HAS SOUS 24788 HAS SOUPS 24788 WITH SCORE 24826.199
AT ITER 1517 NEW BEST:: SOT 69629 SOS 38138 HAS SOPS 38138 HAS SOUS 24763 HAS SOUPS 24763 WITH SCORE 24801.138
AT ITER 1520 NEW BEST:: SOT 69480 SOS 37852 HAS SOPS 37852 HAS SOUS 24542 HAS SOUPS 24542 WITH SCORE 24579.852
AT ITER 1542 NEW BEST:: SOT 69344 SOS 37247 HAS SOPS 37247 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24399.247
AT ITER 1545 NEW BEST:: SOT 69328 SOS 37231 HAS SOPS 37231 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24383.231
AT ITER 1573 NEW BEST:: SOT 69332 SOS 37219 HAS SOPS 37219 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24383.219
AT ITER 1584 NEW BEST:: SOT 69332 SOS 37440 HAS SOPS 37440 HAS SOUS 24315 HAS SOUPS 24315 WITH SCORE 24352.44
AT ITER 1590 NEW BEST:: SOT 69317 SOS 37416 HAS SOPS 37416 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24336.416
AT ITER 1601 NEW BEST:: SOT 69299 SOS 37398 HAS SOPS 37398 HAS SOUS 24279 HAS SOUPS 24279 WITH SCORE 24316.398
AT ITER 1609 NEW BEST:: SOT 69310 SOS 37043 HAS SOPS 37043 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24170.043
AT ITER 1619 NEW BEST:: SOT 69283 SOS 36884 HAS SOPS 36884 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24169.884
AT ITER 1622 NEW BEST:: SOT 69311 SOS 36844 HAS SOPS 36844 HAS SOUS 24084 HAS SOUPS 24084 WITH SCORE 24120.844
AT ITER 1636 NEW BEST:: SOT 69286 SOS 36814 HAS SOPS 36814 HAS SOUS 24033 HAS SOUPS 24033 WITH SCORE 24069.814
AT ITER 1646 NEW BEST:: SOT 69286 SOS 36700 HAS SOPS 36700 HAS SOUS 23974 HAS SOUPS 23974 WITH SCORE 24010.7
AT ITER 1652 NEW BEST:: SOT 69306 SOS 36720 HAS SOPS 36720 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23990.72
AT ITER 1654 NEW BEST:: SOT 69277 SOS 36713 HAS SOPS 36713 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23956.713
AT ITER 1662 NEW BEST:: SOT 69259 SOS 36687 HAS SOPS 36687 HAS SOUS 23870 HAS SOUPS 23870 WITH SCORE 23906.687
AT ITER 1689 NEW BEST:: SOT 69160 SOS 36370 HAS SOPS 36370 HAS SOUS 23734 HAS SOUPS 23734 WITH SCORE 23770.37
AT ITER 1691 NEW BEST:: SOT 69126 SOS 36236 HAS SOPS 36236 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23696.236
AT ITER 1694 NEW BEST:: SOT 69099 SOS 36173 HAS SOPS 36173 HAS SOUS 23615 HAS SOUPS 23615 WITH SCORE 23651.173
AT ITER 1696 NEW BEST:: SOT 69104 SOS 36135 HAS SOPS 36135 HAS SOUS 23615 HAS SOUPS 23615 WITH SCORE 23651.135
AT ITER 1698 NEW BEST:: SOT 69059 SOS 36045 HAS SOPS 36045 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23576.045
AT ITER 1709 NEW BEST:: SOT 69059 SOS 36009 HAS SOPS 36009 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23576.009
AT ITER 1716 NEW BEST:: SOT 69144 SOS 35895 HAS SOPS 35895 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23402.895
AT ITER 1737 NEW BEST:: SOT 69128 SOS 35884 HAS SOPS 35884 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23381.884
AT ITER 1738 NEW BEST:: SOT 69112 SOS 35422 HAS SOPS 35422 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23344.422
AT ITER 1741 NEW BEST:: SOT 69112 SOS 35127 HAS SOPS 35127 HAS SOUS 23191 HAS SOUPS 23191 WITH SCORE 23226.127
AT ITER 1743 NEW BEST:: SOT 69114 SOS 35087 HAS SOPS 35087 HAS SOUS 23173 HAS SOUPS 23173 WITH SCORE 23208.087
AT ITER 1747 NEW BEST:: SOT 69114 SOS 35085 HAS SOPS 35085 HAS SOUS 23172 HAS SOUPS 23172 WITH SCORE 23207.085
AT ITER 1750 NEW BEST:: SOT 69107 SOS 35078 HAS SOPS 35078 HAS SOUS 23165 HAS SOUPS 23165 WITH SCORE 23200.078
AT ITER 1756 NEW BEST:: SOT 69057 SOS 35010 HAS SOPS 35010 HAS SOUS 23019 HAS SOUPS 23019 WITH SCORE 23054.01
AT ITER 1759 NEW BEST:: SOT 69030 SOS 34877 HAS SOPS 34877 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23039.877
AT ITER 1761 NEW BEST:: SOT 68791 SOS 34672 HAS SOPS 34672 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22976.672
AT ITER 1765 NEW BEST:: SOT 68754 SOS 34643 HAS SOPS 34643 HAS SOUS 22911 HAS SOUPS 22911 WITH SCORE 22945.643
AT ITER 1771 NEW BEST:: SOT 68754 SOS 34151 HAS SOPS 34151 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22863.151
AT ITER 1775 NEW BEST:: SOT 68757 SOS 34147 HAS SOPS 34147 HAS SOUS 22817 HAS SOUPS 22817 WITH SCORE 22851.147
AT ITER 1791 NEW BEST:: SOT 68752 SOS 34123 HAS SOPS 34123 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22833.123
AT ITER 1792 NEW BEST:: SOT 68752 SOS 33747 HAS SOPS 33747 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22727.747
AT ITER 1801 NEW BEST:: SOT 68743 SOS 33659 HAS SOPS 33659 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22712.659
AT ITER 1827 NEW BEST:: SOT 68740 SOS 33656 HAS SOPS 33656 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22709.656
AT ITER 1842 NEW BEST:: SOT 68730 SOS 33663 HAS SOPS 33663 HAS SOUS 22635 HAS SOUPS 22635 WITH SCORE 22668.663
AT ITER 1844 NEW BEST:: SOT 68714 SOS 33647 HAS SOPS 33647 HAS SOUS 22619 HAS SOUPS 22619 WITH SCORE 22652.647
AT ITER 1849 NEW BEST:: SOT 68702 SOS 33609 HAS SOPS 33609 HAS SOUS 22594 HAS SOUPS 22594 WITH SCORE 22627.609
AT ITER 1850 NEW BEST:: SOT 68687 SOS 33591 HAS SOPS 33591 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22609.591
AT ITER 1856 NEW BEST:: SOT 68664 SOS 33545 HAS SOPS 33545 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22586.545
AT ITER 1862 NEW BEST:: SOT 68660 SOS 33539 HAS SOPS 33539 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22578.539
AT ITER 1863 NEW BEST:: SOT 68644 SOS 33387 HAS SOPS 33387 HAS SOUS 22509 HAS SOUPS 22509 WITH SCORE 22542.387
AT ITER 1893 NEW BEST:: SOT 68658 SOS 33361 HAS SOPS 33361 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22530.361
AT ITER 1900 NEW BEST:: SOT 68789 SOS 33521 HAS SOPS 33521 HAS SOUS 22489 HAS SOUPS 22489 WITH SCORE 22522.521
AT ITER 1908 NEW BEST:: SOT 68777 SOS 33473 HAS SOPS 33473 HAS SOUS 22468 HAS SOUPS 22468 WITH SCORE 22501.473
AT ITER 1912 NEW BEST:: SOT 68683 SOS 33379 HAS SOPS 33379 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22385.379
AT ITER 1917 NEW BEST:: SOT 68646 SOS 33209 HAS SOPS 33209 HAS SOUS 22231 HAS SOUPS 22231 WITH SCORE 22264.209
AT ITER 1977 NEW BEST:: SOT 68645 SOS 33198 HAS SOPS 33198 HAS SOUS 22218 HAS SOUPS 22218 WITH SCORE 22251.198
AT ITER 1997 NEW BEST:: SOT 68635 SOS 33198 HAS SOPS 33198 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22241.198
AT ITER 2016 NEW BEST:: SOT 68635 SOS 33266 HAS SOPS 33266 HAS SOUS 22177 HAS SOUPS 22177 WITH SCORE 22210.266
AT ITER 2029 NEW BEST:: SOT 68659 SOS 33170 HAS SOPS 33170 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22162.17
AT ITER 2039 NEW BEST:: SOT 68659 SOS 33164 HAS SOPS 33164 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22156.164
AT ITER 2043 NEW BEST:: SOT 68652 SOS 33165 HAS SOPS 33165 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22153.165
AT ITER 2048 NEW BEST:: SOT 68630 SOS 33191 HAS SOPS 33191 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22144.191
AT ITER 2090 NEW BEST:: SOT 68629 SOS 33190 HAS SOPS 33190 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22143.19
AT ITER 2100 NEW BEST:: SOT 68588 SOS 33146 HAS SOPS 33146 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22069.146
AT ITER 2113 NEW BEST:: SOT 68563 SOS 33021 HAS SOPS 33021 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22069.021
AT ITER 2118 NEW BEST:: SOT 68565 SOS 32930 HAS SOPS 32930 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22016.93
AT ITER 2120 NEW BEST:: SOT 68556 SOS 32932 HAS SOPS 32932 HAS SOUS 21975 HAS SOUPS 21975 WITH SCORE 22007.932
AT ITER 2121 NEW BEST:: SOT 68548 SOS 32919 HAS SOPS 32919 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 22001.919
AT ITER 2129 NEW BEST:: SOT 68513 SOS 32770 HAS SOPS 32770 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21932.77
AT ITER 2132 NEW BEST:: SOT 68511 SOS 32763 HAS SOPS 32763 HAS SOUS 21895 HAS SOUPS 21895 WITH SCORE 21927.763
AT ITER 2135 NEW BEST:: SOT 68511 SOS 32478 HAS SOPS 32478 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21813.478
AT ITER 2142 NEW BEST:: SOT 68511 SOS 32478 HAS SOPS 32478 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21804.478
AT ITER 2148 NEW BEST:: SOT 68363 SOS 32243 HAS SOPS 32243 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21611.243
AT ITER 2155 NEW BEST:: SOT 68379 SOS 32221 HAS SOPS 32221 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21599.221
AT ITER 2165 NEW BEST:: SOT 68377 SOS 32219 HAS SOPS 32219 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21599.219
AT ITER 2185 NEW BEST:: SOT 68366 SOS 32192 HAS SOPS 32192 HAS SOUS 21512 HAS SOUPS 21512 WITH SCORE 21544.192
AT ITER 2193 NEW BEST:: SOT 68334 SOS 32125 HAS SOPS 32125 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21496.125
AT ITER 2203 NEW BEST:: SOT 68331 SOS 32121 HAS SOPS 32121 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21488.121
AT ITER 2222 NEW BEST:: SOT 68330 SOS 32094 HAS SOPS 32094 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21484.094
AT ITER 2262 NEW BEST:: SOT 68330 SOS 32082 HAS SOPS 32082 HAS SOUS 21432 HAS SOUPS 21432 WITH SCORE 21464.082
AT ITER 2285 NEW BEST:: SOT 68276 SOS 32059 HAS SOPS 32059 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21412.059
AT ITER 2286 NEW BEST:: SOT 68276 SOS 32042 HAS SOPS 32042 HAS SOUS 21349 HAS SOUPS 21349 WITH SCORE 21381.042
AT ITER 2313 NEW BEST:: SOT 68222 SOS 32015 HAS SOPS 32015 HAS SOUS 21343 HAS SOUPS 21343 WITH SCORE 21375.015
AT ITER 2325 NEW BEST:: SOT 68207 SOS 32000 HAS SOPS 32000 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21360.0
AT ITER 2341 NEW BEST:: SOT 68215 SOS 31996 HAS SOPS 31996 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21299.996
AT ITER 2346 NEW BEST:: SOT 68180 SOS 31906 HAS SOPS 31906 HAS SOUS 21185 HAS SOUPS 21185 WITH SCORE 21216.906
AT ITER 2360 NEW BEST:: SOT 68094 SOS 31840 HAS SOPS 31840 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21148.84
AT ITER 2362 NEW BEST:: SOT 68019 SOS 31765 HAS SOPS 31765 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21073.765
AT ITER 2365 NEW BEST:: SOT 68001 SOS 31700 HAS SOPS 31700 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21021.7
AT ITER 2368 NEW BEST:: SOT 67996 SOS 31697 HAS SOPS 31697 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21018.697
AT ITER 2369 NEW BEST:: SOT 67999 SOS 31693 HAS SOPS 31693 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21007.693
AT ITER 2384 NEW BEST:: SOT 68004 SOS 31674 HAS SOPS 31674 HAS SOUS 20970 HAS SOUPS 20970 WITH SCORE 21001.674
AT ITER 2392 NEW BEST:: SOT 67999 SOS 31669 HAS SOPS 31669 HAS SOUS 20970 HAS SOUPS 20970 WITH SCORE 21001.669
AT ITER 2393 NEW BEST:: SOT 67999 SOS 31649 HAS SOPS 31649 HAS SOUS 20950 HAS SOUPS 20950 WITH SCORE 20981.649
AT ITER 2401 NEW BEST:: SOT 67999 SOS 31637 HAS SOPS 31637 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20973.637
AT ITER 2418 NEW BEST:: SOT 67999 SOS 31516 HAS SOPS 31516 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20832.516
AT ITER 2426 NEW BEST:: SOT 67997 SOS 31510 HAS SOPS 31510 HAS SOUS 20793 HAS SOUPS 20793 WITH SCORE 20824.51
AT ITER 2430 NEW BEST:: SOT 67991 SOS 31504 HAS SOPS 31504 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20818.504
AT ITER 2433 NEW BEST:: SOT 67952 SOS 31472 HAS SOPS 31472 HAS SOUS 20745 HAS SOUPS 20745 WITH SCORE 20776.472
AT ITER 2439 NEW BEST:: SOT 67952 SOS 31427 HAS SOPS 31427 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20731.427
AT ITER 2440 NEW BEST:: SOT 67943 SOS 31415 HAS SOPS 31415 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20719.415
AT ITER 2449 NEW BEST:: SOT 67943 SOS 31408 HAS SOPS 31408 HAS SOUS 20639 HAS SOUPS 20639 WITH SCORE 20670.408
AT ITER 2464 NEW BEST:: SOT 67894 SOS 30768 HAS SOPS 30768 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20659.768
AT ITER 2471 NEW BEST:: SOT 67894 SOS 30692 HAS SOPS 30692 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20659.692
AT ITER 2532 NEW BEST:: SOT 67870 SOS 30644 HAS SOPS 30644 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20603.644
AT ITER 2541 NEW BEST:: SOT 67870 SOS 30646 HAS SOPS 30646 HAS SOUS 20571 HAS SOUPS 20571 WITH SCORE 20601.646
AT ITER 2556 NEW BEST:: SOT 67842 SOS 30571 HAS SOPS 30571 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20504.571
AT ITER 2565 NEW BEST:: SOT 67798 SOS 30527 HAS SOPS 30527 HAS SOUS 20437 HAS SOUPS 20437 WITH SCORE 20467.527
AT ITER 2567 NEW BEST:: SOT 67795 SOS 30521 HAS SOPS 30521 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20461.521
AT ITER 2568 NEW BEST:: SOT 67800 SOS 30502 HAS SOPS 30502 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20453.502
AT ITER 2583 NEW BEST:: SOT 67786 SOS 30474 HAS SOPS 30474 HAS SOUS 20365 HAS SOUPS 20365 WITH SCORE 20395.474
AT ITER 2586 NEW BEST:: SOT 67784 SOS 30478 HAS SOPS 30478 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20393.478
AT ITER 2605 NEW BEST:: SOT 67786 SOS 30455 HAS SOPS 30455 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20368.455
AT ITER 2609 NEW BEST:: SOT 67774 SOS 30444 HAS SOPS 30444 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20355.444
AT ITER 2615 NEW BEST:: SOT 67729 SOS 30383 HAS SOPS 30383 HAS SOUS 20306 HAS SOUPS 20306 WITH SCORE 20336.383
AT ITER 2623 NEW BEST:: SOT 67701 SOS 30481 HAS SOPS 30481 HAS SOUS 20197 HAS SOUPS 20197 WITH SCORE 20227.481
AT ITER 2627 NEW BEST:: SOT 67629 SOS 30308 HAS SOPS 30308 HAS SOUS 20116 HAS SOUPS 20116 WITH SCORE 20146.308
AT ITER 2629 NEW BEST:: SOT 67634 SOS 30429 HAS SOPS 30429 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20105.429
AT ITER 2630 NEW BEST:: SOT 67425 SOS 29874 HAS SOPS 29874 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19842.874
AT ITER 2631 NEW BEST:: SOT 67393 SOS 29870 HAS SOPS 29870 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19838.87
AT ITER 2642 NEW BEST:: SOT 67126 SOS 29599 HAS SOPS 29599 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19489.599
AT ITER 2651 NEW BEST:: SOT 67076 SOS 29549 HAS SOPS 29549 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19439.549
AT ITER 2672 NEW BEST:: SOT 67075 SOS 29548 HAS SOPS 29548 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19438.548
AT ITER 2674 NEW BEST:: SOT 67054 SOS 29475 HAS SOPS 29475 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19417.475
AT ITER 2682 NEW BEST:: SOT 66848 SOS 29005 HAS SOPS 29005 HAS SOUS 19071 HAS SOUPS 19071 WITH SCORE 19100.005
AT ITER 2705 NEW BEST:: SOT 66831 SOS 28985 HAS SOPS 28985 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19075.985
AT ITER 2718 NEW BEST:: SOT 66812 SOS 28978 HAS SOPS 28978 HAS SOUS 19030 HAS SOUPS 19030 WITH SCORE 19058.978
AT ITER 2735 NEW BEST:: SOT 66812 SOS 28999 HAS SOPS 28999 HAS SOUS 19029 HAS SOUPS 19029 WITH SCORE 19057.999
AT ITER 2782 NEW BEST:: SOT 66825 SOS 28815 HAS SOPS 28815 HAS SOUS 19014 HAS SOUPS 19014 WITH SCORE 19042.815
AT ITER 2799 NEW BEST:: SOT 66855 SOS 28818 HAS SOPS 28818 HAS SOUS 18989 HAS SOUPS 18989 WITH SCORE 19017.818
AT ITER 2807 NEW BEST:: SOT 66951 SOS 28817 HAS SOPS 28817 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18954.817
AT ITER 2837 NEW BEST:: SOT 66947 SOS 28974 HAS SOPS 28974 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18910.974
AT ITER 2845 NEW BEST:: SOT 66945 SOS 28958 HAS SOPS 28958 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18898.958
AT ITER 2857 NEW BEST:: SOT 66903 SOS 28829 HAS SOPS 28829 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18855.829
AT ITER 2875 NEW BEST:: SOT 66787 SOS 28747 HAS SOPS 28747 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18837.747
AT ITER 2899 NEW BEST:: SOT 66770 SOS 28693 HAS SOPS 28693 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18820.693
AT ITER 2902 NEW BEST:: SOT 66773 SOS 28681 HAS SOPS 28681 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18787.681
AT ITER 2904 NEW BEST:: SOT 66772 SOS 28669 HAS SOPS 28669 HAS SOUS 18754 HAS SOUPS 18754 WITH SCORE 18782.669
AT ITER 2911 NEW BEST:: SOT 66772 SOS 28668 HAS SOPS 28668 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18767.668
AT ITER 2925 NEW BEST:: SOT 66776 SOS 28832 HAS SOPS 28832 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18709.832
AT ITER 2946 NEW BEST:: SOT 66776 SOS 28809 HAS SOPS 28809 HAS SOUS 18663 HAS SOUPS 18663 WITH SCORE 18691.809
AT ITER 2954 NEW BEST:: SOT 66771 SOS 28795 HAS SOPS 28795 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18683.795
AT ITER 2984 NEW BEST:: SOT 66762 SOS 28763 HAS SOPS 28763 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18674.763
AT ITER 2992 NEW BEST:: SOT 66759 SOS 28755 HAS SOPS 28755 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18668.755
AT ITER 3002 NEW BEST:: SOT 66754 SOS 28750 HAS SOPS 28750 HAS SOUS 18635 HAS SOUPS 18635 WITH SCORE 18663.75
AT ITER 3013 NEW BEST:: SOT 66754 SOS 28748 HAS SOPS 28748 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18653.748
AT ITER 3029 NEW BEST:: SOT 66749 SOS 28743 HAS SOPS 28743 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18648.743
AT ITER 3050 NEW BEST:: SOT 66743 SOS 28704 HAS SOPS 28704 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18611.704
AT ITER 3059 NEW BEST:: SOT 66743 SOS 28704 HAS SOPS 28704 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18606.704
AT ITER 3076 NEW BEST:: SOT 66743 SOS 28686 HAS SOPS 28686 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18603.686
AT ITER 3083 NEW BEST:: SOT 66725 SOS 28596 HAS SOPS 28596 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18580.596
AT ITER 3091 NEW BEST:: SOT 66727 SOS 28598 HAS SOPS 28598 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18572.598
AT ITER 3122 NEW BEST:: SOT 66741 SOS 28636 HAS SOPS 28636 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18562.636
AT ITER 3140 NEW BEST:: SOT 66711 SOS 28616 HAS SOPS 28616 HAS SOUS 18512 HAS SOUPS 18512 WITH SCORE 18540.616
AT ITER 3171 NEW BEST:: SOT 66643 SOS 28570 HAS SOPS 28570 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18453.57
AT ITER 3181 NEW BEST:: SOT 66639 SOS 28556 HAS SOPS 28556 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18437.556
AT ITER 3234 NEW BEST:: SOT 66641 SOS 28551 HAS SOPS 28551 HAS SOUS 18403 HAS SOUPS 18403 WITH SCORE 18431.551
AT ITER 3243 NEW BEST:: SOT 66673 SOS 28615 HAS SOPS 28615 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18422.615
AT ITER 3271 NEW BEST:: SOT 66671 SOS 28621 HAS SOPS 28621 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18420.621
AT ITER 3277 NEW BEST:: SOT 66775 SOS 28637 HAS SOPS 28637 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18372.637
AT ITER 3292 NEW BEST:: SOT 66742 SOS 28604 HAS SOPS 28604 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18295.604
AT ITER 3312 NEW BEST:: SOT 66736 SOS 28598 HAS SOPS 28598 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18281.598
AT ITER 3326 NEW BEST:: SOT 66702 SOS 28489 HAS SOPS 28489 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18262.489
AT ITER 3348 NEW BEST:: SOT 66562 SOS 28313 HAS SOPS 28313 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18086.313
AT ITER 3365 NEW BEST:: SOT 66545 SOS 28296 HAS SOPS 28296 HAS SOUS 18012 HAS SOUPS 18012 WITH SCORE 18040.296
AT ITER 3366 NEW BEST:: SOT 66512 SOS 28296 HAS SOPS 28296 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18032.296
AT ITER 3368 NEW BEST:: SOT 66502 SOS 28286 HAS SOPS 28286 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18014.286
AT ITER 3382 NEW BEST:: SOT 66492 SOS 28276 HAS SOPS 28276 HAS SOUS 17976 HAS SOUPS 17976 WITH SCORE 18004.276
AT ITER 3401 NEW BEST:: SOT 66464 SOS 28248 HAS SOPS 28248 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17976.248
AT ITER 3410 NEW BEST:: SOT 66323 SOS 28498 HAS SOPS 28498 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17972.498
AT ITER 3425 NEW BEST:: SOT 66293 SOS 28118 HAS SOPS 28118 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17854.118
AT ITER 3427 NEW BEST:: SOT 66296 SOS 28121 HAS SOPS 28121 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17853.121
AT ITER 3428 NEW BEST:: SOT 66216 SOS 27989 HAS SOPS 27989 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17753.989
AT ITER 3446 NEW BEST:: SOT 66186 SOS 27868 HAS SOPS 27868 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17701.868
AT ITER 3477 NEW BEST:: SOT 66186 SOS 27803 HAS SOPS 27803 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17701.803
AT ITER 3503 NEW BEST:: SOT 66177 SOS 27794 HAS SOPS 27794 HAS SOUS 17665 HAS SOUPS 17665 WITH SCORE 17692.794
AT ITER 3528 NEW BEST:: SOT 66168 SOS 27724 HAS SOPS 27724 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17666.724
AT ITER 3592 NEW BEST:: SOT 66190 SOS 27694 HAS SOPS 27694 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17646.694
AT ITER 3602 NEW BEST:: SOT 66264 SOS 27745 HAS SOPS 27745 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17604.745
AT ITER 3629 NEW BEST:: SOT 66242 SOS 27711 HAS SOPS 27711 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17587.711
AT ITER 3650 NEW BEST:: SOT 66242 SOS 27707 HAS SOPS 27707 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17585.707
AT ITER 3652 NEW BEST:: SOT 66207 SOS 27653 HAS SOPS 27653 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17493.653
AT ITER 3659 NEW BEST:: SOT 66229 SOS 27644 HAS SOPS 27644 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17392.644
AT ITER 3667 NEW BEST:: SOT 66232 SOS 27650 HAS SOPS 27650 HAS SOUS 17364 HAS SOUPS 17364 WITH SCORE 17391.65
AT ITER 3678 NEW BEST:: SOT 66230 SOS 27640 HAS SOPS 27640 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17389.64
AT ITER 3703 NEW BEST:: SOT 66230 SOS 27610 HAS SOPS 27610 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17359.61
AT ITER 3708 NEW BEST:: SOT 66201 SOS 27506 HAS SOPS 27506 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17322.506
AT ITER 3714 NEW BEST:: SOT 66149 SOS 27498 HAS SOPS 27498 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17309.498
AT ITER 3729 NEW BEST:: SOT 66119 SOS 27455 HAS SOPS 27455 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17229.455
AT ITER 3747 NEW BEST:: SOT 66150 SOS 27445 HAS SOPS 27445 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17155.445
AT ITER 3773 NEW BEST:: SOT 66143 SOS 27579 HAS SOPS 27579 HAS SOUS 17109 HAS SOUPS 17109 WITH SCORE 17136.579
AT ITER 3784 NEW BEST:: SOT 66114 SOS 27502 HAS SOPS 27502 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17082.502
AT ITER 3790 NEW BEST:: SOT 66104 SOS 27506 HAS SOPS 27506 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17064.506
AT ITER 3807 NEW BEST:: SOT 66098 SOS 27500 HAS SOPS 27500 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17058.5
AT ITER 3818 NEW BEST:: SOT 66101 SOS 27497 HAS SOPS 27497 HAS SOUS 17003 HAS SOUPS 17003 WITH SCORE 17030.497
AT ITER 3827 NEW BEST:: SOT 66095 SOS 27479 HAS SOPS 27479 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17024.479
AT ITER 3837 NEW BEST:: SOT 66070 SOS 27454 HAS SOPS 27454 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 16999.454
AT ITER 3843 NEW BEST:: SOT 66053 SOS 27362 HAS SOPS 27362 HAS SOUS 16959 HAS SOUPS 16959 WITH SCORE 16986.362
AT ITER 3853 NEW BEST:: SOT 66049 SOS 27356 HAS SOPS 27356 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16977.356
AT ITER 3856 NEW BEST:: SOT 66049 SOS 27149 HAS SOPS 27149 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16872.149
AT ITER 3897 NEW BEST:: SOT 66047 SOS 27099 HAS SOPS 27099 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16862.099
AT ITER 3898 NEW BEST:: SOT 66047 SOS 27099 HAS SOPS 27099 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16858.099
AT ITER 3922 NEW BEST:: SOT 66047 SOS 27104 HAS SOPS 27104 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16855.104
AT ITER 3953 NEW BEST:: SOT 66045 SOS 27102 HAS SOPS 27102 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16853.102
AT ITER 3978 NEW BEST:: SOT 66040 SOS 27092 HAS SOPS 27092 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16823.092
AT ITER 3994 NEW BEST:: SOT 66020 SOS 27055 HAS SOPS 27055 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16790.055
AT ITER 4008 NEW BEST:: SOT 65996 SOS 27023 HAS SOPS 27023 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16771.023
AT ITER 4012 NEW BEST:: SOT 66040 SOS 26873 HAS SOPS 26873 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16750.873
AT ITER 4026 NEW BEST:: SOT 65993 SOS 26772 HAS SOPS 26772 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16664.772
AT ITER 4030 NEW BEST:: SOT 65960 SOS 26600 HAS SOPS 26600 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16529.6
AT ITER 4064 NEW BEST:: SOT 65945 SOS 26586 HAS SOPS 26586 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16506.586
AT ITER 4072 NEW BEST:: SOT 65937 SOS 26570 HAS SOPS 26570 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16490.57
AT ITER 4087 NEW BEST:: SOT 65896 SOS 26492 HAS SOPS 26492 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16413.492
AT ITER 4112 NEW BEST:: SOT 65892 SOS 26464 HAS SOPS 26464 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16405.464
AT ITER 4117 NEW BEST:: SOT 65778 SOS 26230 HAS SOPS 26230 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16236.23
AT ITER 4126 NEW BEST:: SOT 65783 SOS 26229 HAS SOPS 26229 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16191.229
AT ITER 4132 NEW BEST:: SOT 65738 SOS 26022 HAS SOPS 26022 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16112.022
AT ITER 4155 NEW BEST:: SOT 65737 SOS 25873 HAS SOPS 25873 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16105.873
AT ITER 4158 NEW BEST:: SOT 65695 SOS 25791 HAS SOPS 25791 HAS SOUS 16021 HAS SOUPS 16021 WITH SCORE 16046.791
AT ITER 4170 NEW BEST:: SOT 65679 SOS 25775 HAS SOPS 25775 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16045.775
AT ITER 4187 NEW BEST:: SOT 65671 SOS 25746 HAS SOPS 25746 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16021.746
AT ITER 4244 NEW BEST:: SOT 65665 SOS 25735 HAS SOPS 25735 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16014.735
AT ITER 4255 NEW BEST:: SOT 65603 SOS 25679 HAS SOPS 25679 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15982.679
AT ITER 4277 NEW BEST:: SOT 65592 SOS 25681 HAS SOPS 25681 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15979.681
AT ITER 4288 NEW BEST:: SOT 65591 SOS 25656 HAS SOPS 25656 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15971.656
AT ITER 4325 NEW BEST:: SOT 65591 SOS 25643 HAS SOPS 25643 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15935.643
AT ITER 4381 NEW BEST:: SOT 65547 SOS 25589 HAS SOPS 25589 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15881.589
AT ITER 4383 NEW BEST:: SOT 65547 SOS 25575 HAS SOPS 25575 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15864.575
AT ITER 4395 NEW BEST:: SOT 65513 SOS 25529 HAS SOPS 25529 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15771.529
AT ITER 4408 NEW BEST:: SOT 65534 SOS 25554 HAS SOPS 25554 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15767.554
AT ITER 4416 NEW BEST:: SOT 65531 SOS 25550 HAS SOPS 25550 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15762.55
AT ITER 4433 NEW BEST:: SOT 65529 SOS 25547 HAS SOPS 25547 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15760.547
AT ITER 4441 NEW BEST:: SOT 65527 SOS 25546 HAS SOPS 25546 HAS SOUS 15734 HAS SOUPS 15734 WITH SCORE 15759.546
AT ITER 4453 NEW BEST:: SOT 65525 SOS 25543 HAS SOPS 25543 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15755.543
AT ITER 4466 NEW BEST:: SOT 65525 SOS 25540 HAS SOPS 25540 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15755.54
AT ITER 4485 NEW BEST:: SOT 65516 SOS 25538 HAS SOPS 25538 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15749.538
AT ITER 4498 NEW BEST:: SOT 65516 SOS 25538 HAS SOPS 25538 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15748.538
AT ITER 4510 NEW BEST:: SOT 65506 SOS 25519 HAS SOPS 25519 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15729.519
AT ITER 4555 NEW BEST:: SOT 65506 SOS 25519 HAS SOPS 25519 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15720.519
AT ITER 4568 NEW BEST:: SOT 65506 SOS 25530 HAS SOPS 25530 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15705.53
AT ITER 4642 NEW BEST:: SOT 65494 SOS 25531 HAS SOPS 25531 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15703.531
AT ITER 4656 NEW BEST:: SOT 65472 SOS 25498 HAS SOPS 25498 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15670.498
AT ITER 4670 NEW BEST:: SOT 65461 SOS 25494 HAS SOPS 25494 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15666.494
AT ITER 4676 NEW BEST:: SOT 65469 SOS 25459 HAS SOPS 25459 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15643.459
AT ITER 4706 NEW BEST:: SOT 65469 SOS 25462 HAS SOPS 25462 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15624.462
AT ITER 4709 NEW BEST:: SOT 65466 SOS 25441 HAS SOPS 25441 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15618.441
AT ITER 4718 NEW BEST:: SOT 65466 SOS 25462 HAS SOPS 25462 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15611.462
AT ITER 4722 NEW BEST:: SOT 65463 SOS 25456 HAS SOPS 25456 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15604.456
AT ITER 4732 NEW BEST:: SOT 65421 SOS 25436 HAS SOPS 25436 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15573.436
AT ITER 4780 NEW BEST:: SOT 65409 SOS 25406 HAS SOPS 25406 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15573.406
AT ITER 4788 NEW BEST:: SOT 65382 SOS 25379 HAS SOPS 25379 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15532.379
AT ITER 4792 NEW BEST:: SOT 65394 SOS 25335 HAS SOPS 25335 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15522.335
AT ITER 4796 NEW BEST:: SOT 65393 SOS 25331 HAS SOPS 25331 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15520.331
AT ITER 4800 NEW BEST:: SOT 65393 SOS 25323 HAS SOPS 25323 HAS SOUS 15487 HAS SOUPS 15487 WITH SCORE 15512.323
AT ITER 4807 NEW BEST:: SOT 65327 SOS 25256 HAS SOPS 25256 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15432.256
AT ITER 4862 NEW BEST:: SOT 65324 SOS 25252 HAS SOPS 25252 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15430.252
AT ITER 4870 NEW BEST:: SOT 65315 SOS 25223 HAS SOPS 25223 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15416.223
AT ITER 4888 NEW BEST:: SOT 65323 SOS 25224 HAS SOPS 25224 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15409.224
AT ITER 4904 NEW BEST:: SOT 65322 SOS 25224 HAS SOPS 25224 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15408.224
AT ITER 4910 NEW BEST:: SOT 65318 SOS 25219 HAS SOPS 25219 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15403.219
AT ITER 4916 NEW BEST:: SOT 65318 SOS 25187 HAS SOPS 25187 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15375.187
AT ITER 4927 NEW BEST:: SOT 65306 SOS 25168 HAS SOPS 25168 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15332.168
AT ITER 4971 NEW BEST:: SOT 65284 SOS 25218 HAS SOPS 25218 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15328.218
AT ITER 4975 NEW BEST:: SOT 65284 SOS 25265 HAS SOPS 25265 HAS SOUS 15282 HAS SOUPS 15282 WITH SCORE 15307.265
AT ITER 4984 NEW BEST:: SOT 65288 SOS 25261 HAS SOPS 25261 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15303.261
AT ITER 5013 NEW BEST:: SOT 65284 SOS 25257 HAS SOPS 25257 HAS SOUS 15276 HAS SOUPS 15276 WITH SCORE 15301.257
AT ITER 5014 NEW BEST:: SOT 65284 SOS 25239 HAS SOPS 25239 HAS SOUS 15252 HAS SOUPS 15252 WITH SCORE 15277.239
AT ITER 5046 NEW BEST:: SOT 65280 SOS 25237 HAS SOPS 25237 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15271.237
AT ITER 5064 NEW BEST:: SOT 65274 SOS 25225 HAS SOPS 25225 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15259.225
AT ITER 5071 NEW BEST:: SOT 65274 SOS 25393 HAS SOPS 25393 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15173.393
AT ITER 5093 NEW BEST:: SOT 65274 SOS 25379 HAS SOPS 25379 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15172.379
AT ITER 5101 NEW BEST:: SOT 65277 SOS 25336 HAS SOPS 25336 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15151.336
AT ITER 5102 NEW BEST:: SOT 65272 SOS 25331 HAS SOPS 25331 HAS SOUS 15125 HAS SOUPS 15125 WITH SCORE 15150.331
AT ITER 5106 NEW BEST:: SOT 65280 SOS 25322 HAS SOPS 25322 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15129.322
AT ITER 5112 NEW BEST:: SOT 65163 SOS 25180 HAS SOPS 25180 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14962.18
AT ITER 5115 NEW BEST:: SOT 65173 SOS 25230 HAS SOPS 25230 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14952.23
AT ITER 5131 NEW BEST:: SOT 65164 SOS 25221 HAS SOPS 25221 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14943.221
AT ITER 5144 NEW BEST:: SOT 65161 SOS 25217 HAS SOPS 25217 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14943.217
AT ITER 5186 NEW BEST:: SOT 65165 SOS 25221 HAS SOPS 25221 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14940.221
AT ITER 5188 NEW BEST:: SOT 65165 SOS 25215 HAS SOPS 25215 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14940.215
AT ITER 5189 NEW BEST:: SOT 65129 SOS 24871 HAS SOPS 24871 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14792.871
AT ITER 5191 NEW BEST:: SOT 65111 SOS 24831 HAS SOPS 24831 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14767.831
AT ITER 5286 NEW BEST:: SOT 65099 SOS 24645 HAS SOPS 24645 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14752.645
AT ITER 5287 NEW BEST:: SOT 65103 SOS 24644 HAS SOPS 24644 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14751.644
AT ITER 5338 NEW BEST:: SOT 65122 SOS 24648 HAS SOPS 24648 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14747.648
AT ITER 5378 NEW BEST:: SOT 65122 SOS 24561 HAS SOPS 24561 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14662.561
AT ITER 5381 NEW BEST:: SOT 65122 SOS 24561 HAS SOPS 24561 HAS SOUS 14607 HAS SOUPS 14607 WITH SCORE 14631.561
AT ITER 5404 NEW BEST:: SOT 65107 SOS 24558 HAS SOPS 24558 HAS SOUS 14602 HAS SOUPS 14602 WITH SCORE 14626.558
AT ITER 5420 NEW BEST:: SOT 65107 SOS 24554 HAS SOPS 24554 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14623.554
AT ITER 5434 NEW BEST:: SOT 65095 SOS 24534 HAS SOPS 24534 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14601.534
AT ITER 5456 NEW BEST:: SOT 65087 SOS 24486 HAS SOPS 24486 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14580.486
AT ITER 5459 NEW BEST:: SOT 65102 SOS 24441 HAS SOPS 24441 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14580.441
AT ITER 5495 NEW BEST:: SOT 65091 SOS 24520 HAS SOPS 24520 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14579.52
AT ITER 5520 NEW BEST:: SOT 65056 SOS 24478 HAS SOPS 24478 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14537.478
AT ITER 5549 NEW BEST:: SOT 65041 SOS 24463 HAS SOPS 24463 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14525.463
AT ITER 5563 NEW BEST:: SOT 65047 SOS 24450 HAS SOPS 24450 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14487.45
AT ITER 5576 NEW BEST:: SOT 65043 SOS 24467 HAS SOPS 24467 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14476.467
AT ITER 5621 NEW BEST:: SOT 65074 SOS 24438 HAS SOPS 24438 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14411.438
AT ITER 5627 NEW BEST:: SOT 65068 SOS 24426 HAS SOPS 24426 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14400.426
AT ITER 5650 NEW BEST:: SOT 65068 SOS 24398 HAS SOPS 24398 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14388.398
AT ITER 5656 NEW BEST:: SOT 65068 SOS 24441 HAS SOPS 24441 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14383.441
AT ITER 5695 NEW BEST:: SOT 65062 SOS 24429 HAS SOPS 24429 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14371.429
AT ITER 5772 NEW BEST:: SOT 65062 SOS 24408 HAS SOPS 24408 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14329.408
AT ITER 5782 NEW BEST:: SOT 65071 SOS 24418 HAS SOPS 24418 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14312.418
AT ITER 5830 NEW BEST:: SOT 65071 SOS 24418 HAS SOPS 24418 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14297.418
AT ITER 5855 NEW BEST:: SOT 65031 SOS 24378 HAS SOPS 24378 HAS SOUS 14233 HAS SOUPS 14233 WITH SCORE 14257.378
AT ITER 5870 NEW BEST:: SOT 65028 SOS 24335 HAS SOPS 24335 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14255.335
AT ITER 5894 NEW BEST:: SOT 65012 SOS 24313 HAS SOPS 24313 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14233.313
AT ITER 5896 NEW BEST:: SOT 65012 SOS 24310 HAS SOPS 24310 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14224.31
AT ITER 5898 NEW BEST:: SOT 64809 SOS 24031 HAS SOPS 24031 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14036.031
AT ITER 5928 NEW BEST:: SOT 64800 SOS 24013 HAS SOPS 24013 HAS SOUS 14000 HAS SOUPS 14000 WITH SCORE 14024.013
AT ITER 5929 NEW BEST:: SOT 64787 SOS 23995 HAS SOPS 23995 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 14006.995
AT ITER 5934 NEW BEST:: SOT 64786 SOS 23986 HAS SOPS 23986 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13995.986
AT ITER 5943 NEW BEST:: SOT 64786 SOS 23976 HAS SOPS 23976 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13993.976
AT ITER 5958 NEW BEST:: SOT 64780 SOS 23968 HAS SOPS 23968 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13985.968
AT ITER 6011 NEW BEST:: SOT 64737 SOS 23934 HAS SOPS 23934 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13980.934
AT ITER 6020 NEW BEST:: SOT 64747 SOS 23934 HAS SOPS 23934 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13970.934
AT ITER 6021 NEW BEST:: SOT 64739 SOS 23890 HAS SOPS 23890 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13951.89
AT ITER 6040 NEW BEST:: SOT 64738 SOS 23890 HAS SOPS 23890 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13943.89
AT ITER 6046 NEW BEST:: SOT 64738 SOS 23967 HAS SOPS 23967 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13923.967
AT ITER 6099 NEW BEST:: SOT 64711 SOS 23940 HAS SOPS 23940 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13883.94
AT ITER 6108 NEW BEST:: SOT 64635 SOS 23977 HAS SOPS 23977 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13824.977
AT ITER 6136 NEW BEST:: SOT 64634 SOS 23975 HAS SOPS 23975 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13819.975
AT ITER 6164 NEW BEST:: SOT 64633 SOS 23974 HAS SOPS 23974 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13818.974
AT ITER 6169 NEW BEST:: SOT 64618 SOS 23924 HAS SOPS 23924 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13809.924
AT ITER 6173 NEW BEST:: SOT 64617 SOS 23890 HAS SOPS 23890 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13796.89
AT ITER 6223 NEW BEST:: SOT 64618 SOS 23888 HAS SOPS 23888 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13795.888
AT ITER 6226 NEW BEST:: SOT 64618 SOS 23814 HAS SOPS 23814 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13792.814
AT ITER 6254 NEW BEST:: SOT 64617 SOS 23797 HAS SOPS 23797 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13791.797
AT ITER 6291 NEW BEST:: SOT 64617 SOS 23793 HAS SOPS 23793 HAS SOUS 13764 HAS SOUPS 13764 WITH SCORE 13787.793
AT ITER 6305 NEW BEST:: SOT 64571 SOS 23767 HAS SOPS 23767 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13768.767
AT ITER 6331 NEW BEST:: SOT 64567 SOS 23763 HAS SOPS 23763 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13768.763
AT ITER 6332 NEW BEST:: SOT 64566 SOS 23761 HAS SOPS 23761 HAS SOUS 13742 HAS SOUPS 13742 WITH SCORE 13765.761
AT ITER 6339 NEW BEST:: SOT 64566 SOS 23761 HAS SOPS 23761 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13757.761
AT ITER 6356 NEW BEST:: SOT 64566 SOS 23753 HAS SOPS 23753 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13754.753
AT ITER 6399 NEW BEST:: SOT 64563 SOS 23751 HAS SOPS 23751 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13752.751
AT ITER 6431 NEW BEST:: SOT 64561 SOS 23747 HAS SOPS 23747 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13749.747
AT ITER 6464 NEW BEST:: SOT 64574 SOS 23804 HAS SOPS 23804 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13736.804
AT ITER 6497 NEW BEST:: SOT 64548 SOS 23958 HAS SOPS 23958 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13731.958
AT ITER 6500 NEW BEST:: SOT 64546 SOS 23968 HAS SOPS 23968 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13730.968
AT ITER 6510 NEW BEST:: SOT 64540 SOS 23959 HAS SOPS 23959 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13712.959
AT ITER 6539 NEW BEST:: SOT 64558 SOS 23866 HAS SOPS 23866 HAS SOUS 13631 HAS SOUPS 13631 WITH SCORE 13654.866
AT ITER 6596 NEW BEST:: SOT 64604 SOS 23910 HAS SOPS 23910 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13622.91
AT ITER 6601 NEW BEST:: SOT 64601 SOS 23952 HAS SOPS 23952 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13593.952
AT ITER 6612 NEW BEST:: SOT 64601 SOS 23943 HAS SOPS 23943 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13581.943
AT ITER 6654 NEW BEST:: SOT 64601 SOS 23964 HAS SOPS 23964 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13579.964
AT ITER 6656 NEW BEST:: SOT 64596 SOS 23942 HAS SOPS 23942 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13557.942
AT ITER 6674 NEW BEST:: SOT 64593 SOS 23940 HAS SOPS 23940 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13555.94
AT ITER 6676 NEW BEST:: SOT 64593 SOS 23940 HAS SOPS 23940 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13552.94
AT ITER 6699 NEW BEST:: SOT 64597 SOS 23918 HAS SOPS 23918 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13552.918
AT ITER 6859 NEW BEST:: SOT 64595 SOS 23916 HAS SOPS 23916 HAS SOUS 13528 HAS SOUPS 13528 WITH SCORE 13551.916
AT ITER 6913 NEW BEST:: SOT 64616 SOS 23926 HAS SOPS 23926 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13544.926
AT ITER 7011 NEW BEST:: SOT 64616 SOS 23893 HAS SOPS 23893 HAS SOUS 13515 HAS SOUPS 13515 WITH SCORE 13538.893
AT ITER 7021 NEW BEST:: SOT 64616 SOS 23885 HAS SOPS 23885 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13536.885
AT ITER 7030 NEW BEST:: SOT 64612 SOS 23853 HAS SOPS 23853 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13530.853
AT ITER 7071 NEW BEST:: SOT 64604 SOS 23655 HAS SOPS 23655 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13470.655
AT ITER 7132 NEW BEST:: SOT 64602 SOS 23653 HAS SOPS 23653 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13468.653
AT ITER 7137 NEW BEST:: SOT 64605 SOS 23686 HAS SOPS 23686 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13459.686
AT ITER 7155 NEW BEST:: SOT 64589 SOS 23698 HAS SOPS 23698 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13432.698
AT ITER 7200 NEW BEST:: SOT 64591 SOS 23724 HAS SOPS 23724 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13427.724
AT ITER 7216 NEW BEST:: SOT 64581 SOS 23714 HAS SOPS 23714 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13417.714
AT ITER 7374 NEW BEST:: SOT 64552 SOS 23682 HAS SOPS 23682 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13409.682
AT ITER 7380 NEW BEST:: SOT 64553 SOS 23662 HAS SOPS 23662 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13404.662
AT ITER 7416 NEW BEST:: SOT 64534 SOS 23643 HAS SOPS 23643 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13404.643
AT ITER 7435 NEW BEST:: SOT 64534 SOS 23637 HAS SOPS 23637 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13401.637
AT ITER 7462 NEW BEST:: SOT 64519 SOS 23617 HAS SOPS 23617 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13381.617
AT ITER 7466 NEW BEST:: SOT 64516 SOS 23610 HAS SOPS 23610 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13377.61
AT ITER 7484 NEW BEST:: SOT 64513 SOS 23616 HAS SOPS 23616 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13376.616
AT ITER 7505 NEW BEST:: SOT 64513 SOS 23645 HAS SOPS 23645 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13370.645
AT ITER 7527 NEW BEST:: SOT 64519 SOS 23637 HAS SOPS 23637 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13362.637
AT ITER 7580 NEW BEST:: SOT 64519 SOS 23421 HAS SOPS 23421 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13342.421
AT ITER 7588 NEW BEST:: SOT 64529 SOS 23379 HAS SOPS 23379 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13335.379
AT ITER 7589 NEW BEST:: SOT 64508 SOS 23356 HAS SOPS 23356 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13300.356
AT ITER 7658 NEW BEST:: SOT 64458 SOS 23298 HAS SOPS 23298 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13199.298
AT ITER 7695 NEW BEST:: SOT 64455 SOS 23292 HAS SOPS 23292 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13196.292
AT ITER 7701 NEW BEST:: SOT 64451 SOS 23284 HAS SOPS 23284 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13189.284
AT ITER 7717 NEW BEST:: SOT 64435 SOS 23268 HAS SOPS 23268 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13173.268
AT ITER 7737 NEW BEST:: SOT 64433 SOS 23267 HAS SOPS 23267 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13173.267
AT ITER 7804 NEW BEST:: SOT 64433 SOS 23220 HAS SOPS 23220 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13138.22
AT ITER 7848 NEW BEST:: SOT 64400 SOS 23173 HAS SOPS 23173 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13102.173
AT ITER 7880 NEW BEST:: SOT 64397 SOS 23126 HAS SOPS 23126 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13079.126
AT ITER 7908 NEW BEST:: SOT 64391 SOS 23114 HAS SOPS 23114 HAS SOUS 13038 HAS SOUPS 13038 WITH SCORE 13061.114
AT ITER 7919 NEW BEST:: SOT 64415 SOS 23116 HAS SOPS 23116 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13013.116
AT ITER 7927 NEW BEST:: SOT 64406 SOS 23120 HAS SOPS 23120 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 13004.12
AT ITER 8020 NEW BEST:: SOT 64394 SOS 23112 HAS SOPS 23112 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12996.112
AT ITER 8052 NEW BEST:: SOT 64365 SOS 23043 HAS SOPS 23043 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12967.043
AT ITER 8077 NEW BEST:: SOT 64417 SOS 23132 HAS SOPS 23132 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12962.132
AT ITER 8123 NEW BEST:: SOT 64421 SOS 23137 HAS SOPS 23137 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12871.137
AT ITER 8157 NEW BEST:: SOT 64413 SOS 23123 HAS SOPS 23123 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12851.123
AT ITER 8160 NEW BEST:: SOT 64414 SOS 23123 HAS SOPS 23123 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12847.123
AT ITER 8188 NEW BEST:: SOT 64406 SOS 23115 HAS SOPS 23115 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12839.115
AT ITER 8191 NEW BEST:: SOT 64404 SOS 23131 HAS SOPS 23131 HAS SOUS 12814 HAS SOUPS 12814 WITH SCORE 12837.131
AT ITER 8192 NEW BEST:: SOT 64404 SOS 23090 HAS SOPS 23090 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12826.09
AT ITER 8194 NEW BEST:: SOT 64391 SOS 23085 HAS SOPS 23085 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12826.085
AT ITER 8258 NEW BEST:: SOT 64430 SOS 23131 HAS SOPS 23131 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12825.131
AT ITER 8288 NEW BEST:: SOT 64453 SOS 23280 HAS SOPS 23280 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12814.28
AT ITER 8331 NEW BEST:: SOT 64438 SOS 23255 HAS SOPS 23255 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12779.255
AT ITER 8399 NEW BEST:: SOT 64411 SOS 23312 HAS SOPS 23312 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12770.312
AT ITER 8401 NEW BEST:: SOT 64399 SOS 23225 HAS SOPS 23225 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12708.225
AT ITER 8460 NEW BEST:: SOT 64393 SOS 23205 HAS SOPS 23205 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12695.205
AT ITER 8487 NEW BEST:: SOT 64392 SOS 23205 HAS SOPS 23205 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12694.205
AT ITER 8511 NEW BEST:: SOT 64374 SOS 23187 HAS SOPS 23187 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12676.187
AT ITER 8513 NEW BEST:: SOT 64371 SOS 23194 HAS SOPS 23194 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12663.194
AT ITER 8559 NEW BEST:: SOT 64379 SOS 23194 HAS SOPS 23194 HAS SOUS 12635 HAS SOUPS 12635 WITH SCORE 12658.194
AT ITER 8634 NEW BEST:: SOT 64381 SOS 23187 HAS SOPS 23187 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12651.187
AT ITER 8824 NEW BEST:: SOT 64381 SOS 23126 HAS SOPS 23126 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12641.126
AT ITER 8938 NEW BEST:: SOT 64377 SOS 23122 HAS SOPS 23122 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12632.122
AT ITER 9062 NEW BEST:: SOT 64367 SOS 23112 HAS SOPS 23112 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12622.112
AT ITER 9106 NEW BEST:: SOT 64328 SOS 23052 HAS SOPS 23052 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12583.052
AT ITER 9159 NEW BEST:: SOT 64330 SOS 23062 HAS SOPS 23062 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12577.062
AT ITER 9255 NEW BEST:: SOT 64291 SOS 22992 HAS SOPS 22992 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12527.992
AT ITER 9271 NEW BEST:: SOT 64296 SOS 22976 HAS SOPS 22976 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12521.976
AT ITER 9277 NEW BEST:: SOT 64275 SOS 23003 HAS SOPS 23003 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12495.003
AT ITER 9305 NEW BEST:: SOT 64278 SOS 22975 HAS SOPS 22975 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12481.975
AT ITER 9347 NEW BEST:: SOT 64277 SOS 22973 HAS SOPS 22973 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12473.973
AT ITER 9349 NEW BEST:: SOT 64197 SOS 22893 HAS SOPS 22893 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12373.893
AT ITER 9351 NEW BEST:: SOT 64188 SOS 22881 HAS SOPS 22881 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12363.881
AT ITER 9372 NEW BEST:: SOT 64163 SOS 22831 HAS SOPS 22831 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12335.831
AT ITER 9392 NEW BEST:: SOT 64158 SOS 22806 HAS SOPS 22806 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12317.806
AT ITER 9410 NEW BEST:: SOT 64157 SOS 22806 HAS SOPS 22806 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12312.806
AT ITER 9438 NEW BEST:: SOT 64165 SOS 22856 HAS SOPS 22856 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12310.856
AT ITER 9443 NEW BEST:: SOT 64147 SOS 22827 HAS SOPS 22827 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12299.827
AT ITER 9495 NEW BEST:: SOT 64127 SOS 22807 HAS SOPS 22807 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12279.807
AT ITER 9521 NEW BEST:: SOT 64105 SOS 22785 HAS SOPS 22785 HAS SOUS 12256 HAS SOUPS 12256 WITH SCORE 12278.785
AT ITER 9565 NEW BEST:: SOT 64062 SOS 22751 HAS SOPS 22751 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12246.751
AT ITER 9576 NEW BEST:: SOT 64038 SOS 22748 HAS SOPS 22748 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12238.748
AT ITER 9644 NEW BEST:: SOT 64038 SOS 22742 HAS SOPS 22742 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12238.742
AT ITER 9645 NEW BEST:: SOT 64018 SOS 22700 HAS SOPS 22700 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12215.7
AT ITER 9661 NEW BEST:: SOT 64034 SOS 22716 HAS SOPS 22716 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12210.716
AT ITER 9666 NEW BEST:: SOT 64009 SOS 22628 HAS SOPS 22628 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12206.628
AT ITER 9672 NEW BEST:: SOT 63987 SOS 22568 HAS SOPS 22568 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12195.568
AT ITER 9681 NEW BEST:: SOT 63987 SOS 22568 HAS SOPS 22568 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12194.568
AT ITER 9760 NEW BEST:: SOT 63979 SOS 22560 HAS SOPS 22560 HAS SOUS 12162 HAS SOUPS 12162 WITH SCORE 12184.56
AT ITER 9779 NEW BEST:: SOT 63977 SOS 22556 HAS SOPS 22556 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12174.556
AT ITER 9792 NEW BEST:: SOT 63975 SOS 22552 HAS SOPS 22552 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12172.552
AT ITER 9812 NEW BEST:: SOT 63942 SOS 22555 HAS SOPS 22555 HAS SOUS 12113 HAS SOUPS 12113 WITH SCORE 12135.555
AT ITER 9816 NEW BEST:: SOT 63938 SOS 22541 HAS SOPS 22541 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12127.541
AT ITER 9817 NEW BEST:: SOT 63935 SOS 22539 HAS SOPS 22539 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12125.539
AT ITER 9888 NEW BEST:: SOT 63931 SOS 22541 HAS SOPS 22541 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12121.541
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 5338092 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16155756 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="ShieldRVs-PT-020A"
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 ShieldRVs-PT-020A, 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 r419-tajo-167905973300104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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