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.r003-oct2-167813590900488.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-24a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.7K Feb 25 18:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 18:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 18:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 18:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 18:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 18:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 169K Mar 5 18:22 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 1678472978474

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=AutoFlight-PT-24a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24a
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: 607 places, 605 transitions, 1940 arcs.
AT ITER 0 NEW BEST:: SOT 279551 SOS 182054 HAS SOPS 182054 HAS SOUS 126611 HAS SOUPS 126611 WITH SCORE 126793.054
AT ITER 5 NEW BEST:: SOT 278508 SOS 181160 HAS SOPS 181160 HAS SOUS 125921 HAS SOUPS 125921 WITH SCORE 126102.16
AT ITER 7 NEW BEST:: SOT 278508 SOS 180408 HAS SOPS 180408 HAS SOUS 125494 HAS SOUPS 125494 WITH SCORE 125674.408
AT ITER 8 NEW BEST:: SOT 277237 SOS 179148 HAS SOPS 179148 HAS SOUS 124668 HAS SOUPS 124668 WITH SCORE 124847.148
AT ITER 10 NEW BEST:: SOT 277025 SOS 179132 HAS SOPS 179033 HAS SOUS 124652 HAS SOUPS 124553 WITH SCORE 124732.132
AT ITER 13 NEW BEST:: SOT 276061 SOS 177448 HAS SOPS 177349 HAS SOUS 123666 HAS SOUPS 123567 WITH SCORE 123744.448
AT ITER 17 NEW BEST:: SOT 275819 SOS 177274 HAS SOPS 177107 HAS SOUS 123492 HAS SOUPS 123325 WITH SCORE 123502.274
AT ITER 18 NEW BEST:: SOT 275469 SOS 177124 HAS SOPS 176107 HAS SOUS 123055 HAS SOUPS 122626 WITH SCORE 122803.124
AT ITER 19 NEW BEST:: SOT 274182 SOS 175837 HAS SOPS 174820 HAS SOUS 122218 HAS SOUPS 121789 WITH SCORE 121964.837
AT ITER 21 NEW BEST:: SOT 272404 SOS 173636 HAS SOPS 172619 HAS SOUS 120716 HAS SOUPS 120287 WITH SCORE 120460.636
AT ITER 24 NEW BEST:: SOT 272404 SOS 173408 HAS SOPS 172391 HAS SOUS 120640 HAS SOUPS 120211 WITH SCORE 120384.408
AT ITER 25 NEW BEST:: SOT 272054 SOS 173209 HAS SOPS 171230 HAS SOUS 120114 HAS SOUPS 119395 WITH SCORE 119568.209
AT ITER 30 NEW BEST:: SOT 271765 SOS 172919 HAS SOPS 170940 HAS SOUS 119952 HAS SOUPS 119233 WITH SCORE 119405.919
AT ITER 33 NEW BEST:: SOT 271634 SOS 172918 HAS SOPS 170939 HAS SOUS 119951 HAS SOUPS 119232 WITH SCORE 119404.918
AT ITER 35 NEW BEST:: SOT 271595 SOS 171931 HAS SOPS 169794 HAS SOUS 119314 HAS SOUPS 118437 WITH SCORE 118608.931
AT ITER 40 NEW BEST:: SOT 271599 SOS 170892 HAS SOPS 168755 HAS SOUS 118830 HAS SOUPS 117953 WITH SCORE 118123.892
AT ITER 41 NEW BEST:: SOT 271599 SOS 161952 HAS SOPS 159815 HAS SOUS 118829 HAS SOUPS 117952 WITH SCORE 118113.952
AT ITER 49 NEW BEST:: SOT 271599 SOS 161301 HAS SOPS 159164 HAS SOUS 118457 HAS SOUPS 117580 WITH SCORE 117741.301
AT ITER 51 NEW BEST:: SOT 271599 SOS 160976 HAS SOPS 158839 HAS SOUS 118318 HAS SOUPS 117441 WITH SCORE 117601.976
AT ITER 53 NEW BEST:: SOT 271436 SOS 160796 HAS SOPS 158612 HAS SOUS 118221 HAS SOUPS 117297 WITH SCORE 117457.796
AT ITER 54 NEW BEST:: SOT 271436 SOS 160844 HAS SOPS 158660 HAS SOUS 118220 HAS SOUPS 117296 WITH SCORE 117456.844
AT ITER 57 NEW BEST:: SOT 271281 SOS 160720 HAS SOPS 158536 HAS SOUS 117994 HAS SOUPS 117070 WITH SCORE 117230.72
AT ITER 58 NEW BEST:: SOT 271281 SOS 160594 HAS SOPS 158410 HAS SOUS 117735 HAS SOUPS 116811 WITH SCORE 116971.594
AT ITER 60 NEW BEST:: SOT 271281 SOS 160331 HAS SOPS 158147 HAS SOUS 117630 HAS SOUPS 116706 WITH SCORE 116866.331
AT ITER 61 NEW BEST:: SOT 271272 SOS 160321 HAS SOPS 158137 HAS SOUS 117620 HAS SOUPS 116696 WITH SCORE 116856.321
AT ITER 68 NEW BEST:: SOT 271272 SOS 160209 HAS SOPS 158025 HAS SOUS 117508 HAS SOUPS 116584 WITH SCORE 116744.209
AT ITER 76 NEW BEST:: SOT 270937 SOS 159873 HAS SOPS 157689 HAS SOUS 117324 HAS SOUPS 116400 WITH SCORE 116559.873
AT ITER 78 NEW BEST:: SOT 269162 SOS 157372 HAS SOPS 155188 HAS SOUS 115912 HAS SOUPS 114988 WITH SCORE 115145.372
AT ITER 79 NEW BEST:: SOT 269162 SOS 157096 HAS SOPS 154912 HAS SOUS 115784 HAS SOUPS 114860 WITH SCORE 115017.096
AT ITER 81 NEW BEST:: SOT 269071 SOS 156597 HAS SOPS 154413 HAS SOUS 115682 HAS SOUPS 114758 WITH SCORE 114914.597
AT ITER 84 NEW BEST:: SOT 268778 SOS 156233 HAS SOPS 154049 HAS SOUS 115318 HAS SOUPS 114394 WITH SCORE 114550.233
AT ITER 85 NEW BEST:: SOT 268778 SOS 155835 HAS SOPS 153651 HAS SOUS 115078 HAS SOUPS 114154 WITH SCORE 114309.835
AT ITER 87 NEW BEST:: SOT 268831 SOS 155790 HAS SOPS 153606 HAS SOUS 115031 HAS SOUPS 114107 WITH SCORE 114262.79
AT ITER 88 NEW BEST:: SOT 268567 SOS 155702 HAS SOPS 153518 HAS SOUS 114943 HAS SOUPS 114019 WITH SCORE 114174.702
AT ITER 90 NEW BEST:: SOT 267629 SOS 154764 HAS SOPS 152580 HAS SOUS 114323 HAS SOUPS 113399 WITH SCORE 113553.764
AT ITER 96 NEW BEST:: SOT 266214 SOS 153487 HAS SOPS 151303 HAS SOUS 113528 HAS SOUPS 112604 WITH SCORE 112757.487
AT ITER 98 NEW BEST:: SOT 266442 SOS 153229 HAS SOPS 151045 HAS SOUS 113427 HAS SOUPS 112503 WITH SCORE 112656.229
AT ITER 99 NEW BEST:: SOT 266442 SOS 153074 HAS SOPS 150890 HAS SOUS 113272 HAS SOUPS 112348 WITH SCORE 112501.074
AT ITER 100 NEW BEST:: SOT 266280 SOS 152424 HAS SOPS 150240 HAS SOUS 113061 HAS SOUPS 112137 WITH SCORE 112289.424
AT ITER 108 NEW BEST:: SOT 266280 SOS 151954 HAS SOPS 149770 HAS SOUS 112777 HAS SOUPS 111853 WITH SCORE 112004.954
AT ITER 113 NEW BEST:: SOT 265369 SOS 150255 HAS SOPS 148071 HAS SOUS 111781 HAS SOUPS 110857 WITH SCORE 111007.255
AT ITER 116 NEW BEST:: SOT 265369 SOS 150159 HAS SOPS 147975 HAS SOUS 111645 HAS SOUPS 110721 WITH SCORE 110871.159
AT ITER 117 NEW BEST:: SOT 265353 SOS 150143 HAS SOPS 147959 HAS SOUS 111645 HAS SOUPS 110721 WITH SCORE 110871.143
AT ITER 122 NEW BEST:: SOT 265337 SOS 149859 HAS SOPS 147675 HAS SOUS 111436 HAS SOUPS 110512 WITH SCORE 110661.859
AT ITER 124 NEW BEST:: SOT 265337 SOS 149565 HAS SOPS 147381 HAS SOUS 111435 HAS SOUPS 110511 WITH SCORE 110660.565
AT ITER 125 NEW BEST:: SOT 265255 SOS 149482 HAS SOPS 147298 HAS SOUS 111352 HAS SOUPS 110428 WITH SCORE 110577.482
AT ITER 126 NEW BEST:: SOT 265080 SOS 148671 HAS SOPS 146487 HAS SOUS 110935 HAS SOUPS 110011 WITH SCORE 110159.671
AT ITER 129 NEW BEST:: SOT 264793 SOS 148541 HAS SOPS 145475 HAS SOUS 110460 HAS SOUPS 109266 WITH SCORE 109414.541
AT ITER 130 NEW BEST:: SOT 264748 SOS 148496 HAS SOPS 145475 HAS SOUS 110435 HAS SOUPS 109266 WITH SCORE 109414.496
AT ITER 134 NEW BEST:: SOT 263785 SOS 146769 HAS SOPS 143748 HAS SOUS 109424 HAS SOUPS 108255 WITH SCORE 108401.769
AT ITER 135 NEW BEST:: SOT 263785 SOS 146667 HAS SOPS 143646 HAS SOUS 109373 HAS SOUPS 108204 WITH SCORE 108350.667
AT ITER 139 NEW BEST:: SOT 263545 SOS 146410 HAS SOPS 143350 HAS SOUS 109228 HAS SOUPS 108020 WITH SCORE 108166.41
AT ITER 147 NEW BEST:: SOT 261637 SOS 143670 HAS SOPS 140610 HAS SOUS 107625 HAS SOUPS 106417 WITH SCORE 106560.67
AT ITER 151 NEW BEST:: SOT 261282 SOS 143554 HAS SOPS 140255 HAS SOUS 107391 HAS SOUPS 106062 WITH SCORE 106205.554
AT ITER 155 NEW BEST:: SOT 261282 SOS 143176 HAS SOPS 139877 HAS SOUS 107244 HAS SOUPS 105915 WITH SCORE 106058.176
AT ITER 158 NEW BEST:: SOT 261138 SOS 142926 HAS SOPS 139627 HAS SOUS 106786 HAS SOUPS 105457 WITH SCORE 105599.926
AT ITER 160 NEW BEST:: SOT 261138 SOS 142731 HAS SOPS 139432 HAS SOUS 106692 HAS SOUPS 105363 WITH SCORE 105505.731
AT ITER 162 NEW BEST:: SOT 261001 SOS 142700 HAS SOPS 139294 HAS SOUS 106620 HAS SOUPS 105225 WITH SCORE 105367.7
AT ITER 164 NEW BEST:: SOT 261000 SOS 142648 HAS SOPS 139242 HAS SOUS 106568 HAS SOUPS 105173 WITH SCORE 105315.648
AT ITER 165 NEW BEST:: SOT 261000 SOS 142020 HAS SOPS 139242 HAS SOUS 106411 HAS SOUPS 105173 WITH SCORE 105315.02
AT ITER 166 NEW BEST:: SOT 260353 SOS 141373 HAS SOPS 138595 HAS SOUS 105997 HAS SOUPS 104759 WITH SCORE 104900.373
AT ITER 167 NEW BEST:: SOT 259916 SOS 141292 HAS SOPS 138514 HAS SOUS 105737 HAS SOUPS 104499 WITH SCORE 104640.292
AT ITER 170 NEW BEST:: SOT 259916 SOS 141190 HAS SOPS 138412 HAS SOUS 105602 HAS SOUPS 104364 WITH SCORE 104505.19
AT ITER 171 NEW BEST:: SOT 259589 SOS 141594 HAS SOPS 137534 HAS SOUS 105097 HAS SOUPS 103489 WITH SCORE 103630.594
AT ITER 183 NEW BEST:: SOT 259589 SOS 141111 HAS SOPS 137051 HAS SOUS 104898 HAS SOUPS 103290 WITH SCORE 103431.111
AT ITER 188 NEW BEST:: SOT 259388 SOS 140916 HAS SOPS 136762 HAS SOUS 104703 HAS SOUPS 103001 WITH SCORE 103141.916
AT ITER 190 NEW BEST:: SOT 259388 SOS 140644 HAS SOPS 136490 HAS SOUS 104543 HAS SOUPS 102841 WITH SCORE 102981.644
AT ITER 194 NEW BEST:: SOT 259225 SOS 140483 HAS SOPS 136326 HAS SOUS 104382 HAS SOUPS 102677 WITH SCORE 102817.483
AT ITER 196 NEW BEST:: SOT 258344 SOS 139602 HAS SOPS 135445 HAS SOUS 103815 HAS SOUPS 102110 WITH SCORE 102249.602
AT ITER 201 NEW BEST:: SOT 258236 SOS 139352 HAS SOPS 135195 HAS SOUS 103637 HAS SOUPS 101932 WITH SCORE 102071.352
AT ITER 202 NEW BEST:: SOT 258236 SOS 139195 HAS SOPS 135038 HAS SOUS 103480 HAS SOUPS 101775 WITH SCORE 101914.195
AT ITER 203 NEW BEST:: SOT 258163 SOS 139122 HAS SOPS 134965 HAS SOUS 103407 HAS SOUPS 101702 WITH SCORE 101841.122
AT ITER 206 NEW BEST:: SOT 258163 SOS 138869 HAS SOPS 134712 HAS SOUS 103331 HAS SOUPS 101626 WITH SCORE 101764.869
AT ITER 207 NEW BEST:: SOT 258163 SOS 138337 HAS SOPS 134180 HAS SOUS 102985 HAS SOUPS 101280 WITH SCORE 101418.337
AT ITER 208 NEW BEST:: SOT 257765 SOS 137938 HAS SOPS 133781 HAS SOUS 102762 HAS SOUPS 101057 WITH SCORE 101194.938
AT ITER 217 NEW BEST:: SOT 257492 SOS 137619 HAS SOPS 133462 HAS SOUS 102320 HAS SOUPS 100615 WITH SCORE 100752.619
AT ITER 222 NEW BEST:: SOT 257277 SOS 136831 HAS SOPS 132889 HAS SOUS 101962 HAS SOUPS 100257 WITH SCORE 100393.831
AT ITER 223 NEW BEST:: SOT 257199 SOS 136636 HAS SOPS 132694 HAS SOUS 101884 HAS SOUPS 100179 WITH SCORE 100315.636
AT ITER 224 NEW BEST:: SOT 257198 SOS 136634 HAS SOPS 132692 HAS SOUS 101882 HAS SOUPS 100177 WITH SCORE 100313.634
AT ITER 225 NEW BEST:: SOT 257198 SOS 136532 HAS SOPS 132590 HAS SOUS 101881 HAS SOUPS 100176 WITH SCORE 100312.532
AT ITER 228 NEW BEST:: SOT 257059 SOS 136922 HAS SOPS 132340 HAS SOUS 101725 HAS SOUPS 99810 WITH SCORE 99946.922
AT ITER 240 NEW BEST:: SOT 256947 SOS 136912 HAS SOPS 132330 HAS SOUS 101692 HAS SOUPS 99777 WITH SCORE 99913.912
AT ITER 242 NEW BEST:: SOT 256783 SOS 136932 HAS SOPS 131467 HAS SOUS 101395 HAS SOUPS 99197 WITH SCORE 99333.932
AT ITER 243 NEW BEST:: SOT 255588 SOS 135223 HAS SOPS 129758 HAS SOUS 100432 HAS SOUPS 98234 WITH SCORE 98369.223
AT ITER 244 NEW BEST:: SOT 255588 SOS 134826 HAS SOPS 129361 HAS SOUS 100192 HAS SOUPS 97994 WITH SCORE 98128.826
AT ITER 245 NEW BEST:: SOT 254759 SOS 134123 HAS SOPS 128658 HAS SOUS 99583 HAS SOUPS 97385 WITH SCORE 97519.123
AT ITER 252 NEW BEST:: SOT 254668 SOS 134134 HAS SOPS 128566 HAS SOUS 99555 HAS SOUPS 97293 WITH SCORE 97427.134
AT ITER 259 NEW BEST:: SOT 254556 SOS 133520 HAS SOPS 127952 HAS SOUS 99142 HAS SOUPS 96880 WITH SCORE 97013.52
AT ITER 261 NEW BEST:: SOT 254555 SOS 133518 HAS SOPS 127950 HAS SOUS 99140 HAS SOUPS 96878 WITH SCORE 97011.518
AT ITER 263 NEW BEST:: SOT 254461 SOS 133006 HAS SOPS 127438 HAS SOUS 98912 HAS SOUPS 96650 WITH SCORE 96783.006
AT ITER 269 NEW BEST:: SOT 254393 SOS 132822 HAS SOPS 127284 HAS SOUS 98826 HAS SOUPS 96564 WITH SCORE 96696.822
AT ITER 274 NEW BEST:: SOT 253578 SOS 132793 HAS SOPS 127255 HAS SOUS 98823 HAS SOUPS 96561 WITH SCORE 96693.793
AT ITER 279 NEW BEST:: SOT 252900 SOS 131431 HAS SOPS 125893 HAS SOUS 98145 HAS SOUPS 95883 WITH SCORE 96014.431
AT ITER 287 NEW BEST:: SOT 252837 SOS 131368 HAS SOPS 125830 HAS SOUS 98135 HAS SOUPS 95873 WITH SCORE 96004.368
AT ITER 297 NEW BEST:: SOT 252601 SOS 131132 HAS SOPS 125593 HAS SOUS 98009 HAS SOUPS 95746 WITH SCORE 95877.132
AT ITER 301 NEW BEST:: SOT 252409 SOS 130778 HAS SOPS 125239 HAS SOUS 97847 HAS SOUPS 95584 WITH SCORE 95714.778
AT ITER 302 NEW BEST:: SOT 251298 SOS 130156 HAS SOPS 124617 HAS SOUS 97787 HAS SOUPS 95524 WITH SCORE 95654.156
AT ITER 303 NEW BEST:: SOT 251293 SOS 129658 HAS SOPS 124119 HAS SOUS 97475 HAS SOUPS 95212 WITH SCORE 95341.658
AT ITER 307 NEW BEST:: SOT 251293 SOS 129581 HAS SOPS 124042 HAS SOUS 97398 HAS SOUPS 95135 WITH SCORE 95264.581
AT ITER 308 NEW BEST:: SOT 251050 SOS 130410 HAS SOPS 123753 HAS SOUS 97438 HAS SOUPS 94846 WITH SCORE 94976.41
AT ITER 313 NEW BEST:: SOT 250857 SOS 130217 HAS SOPS 123559 HAS SOUS 97372 HAS SOUPS 94780 WITH SCORE 94910.217
AT ITER 315 NEW BEST:: SOT 250857 SOS 130174 HAS SOPS 123516 HAS SOUS 97350 HAS SOUPS 94758 WITH SCORE 94888.174
AT ITER 317 NEW BEST:: SOT 250813 SOS 130014 HAS SOPS 123342 HAS SOUS 97190 HAS SOUPS 94584 WITH SCORE 94714.014
AT ITER 322 NEW BEST:: SOT 250671 SOS 129166 HAS SOPS 122449 HAS SOUS 96629 HAS SOUPS 93978 WITH SCORE 94107.166
AT ITER 325 NEW BEST:: SOT 250587 SOS 128987 HAS SOPS 122179 HAS SOUS 96450 HAS SOUPS 93708 WITH SCORE 93836.987
AT ITER 328 NEW BEST:: SOT 249803 SOS 128202 HAS SOPS 121394 HAS SOUS 95939 HAS SOUPS 93197 WITH SCORE 93325.202
AT ITER 329 NEW BEST:: SOT 249513 SOS 128146 HAS SOPS 120512 HAS SOUS 95609 HAS SOUPS 92611 WITH SCORE 92739.146
AT ITER 332 NEW BEST:: SOT 248894 SOS 127456 HAS SOPS 119822 HAS SOUS 95173 HAS SOUPS 92175 WITH SCORE 92302.456
AT ITER 341 NEW BEST:: SOT 248887 SOS 127448 HAS SOPS 119814 HAS SOUS 95165 HAS SOUPS 92167 WITH SCORE 92294.448
AT ITER 342 NEW BEST:: SOT 248782 SOS 127143 HAS SOPS 119509 HAS SOUS 94970 HAS SOUPS 91972 WITH SCORE 92099.143
AT ITER 344 NEW BEST:: SOT 248782 SOS 127112 HAS SOPS 119478 HAS SOUS 94939 HAS SOUPS 91941 WITH SCORE 92068.112
AT ITER 346 NEW BEST:: SOT 248770 SOS 127100 HAS SOPS 119466 HAS SOUS 94933 HAS SOUPS 91935 WITH SCORE 92062.1
AT ITER 350 NEW BEST:: SOT 248774 SOS 127099 HAS SOPS 119465 HAS SOUS 94932 HAS SOUPS 91934 WITH SCORE 92061.099
AT ITER 354 NEW BEST:: SOT 248774 SOS 126940 HAS SOPS 119306 HAS SOUS 94886 HAS SOUPS 91888 WITH SCORE 92014.94
AT ITER 357 NEW BEST:: SOT 248750 SOS 126425 HAS SOPS 118791 HAS SOUS 94591 HAS SOUPS 91593 WITH SCORE 91719.425
AT ITER 360 NEW BEST:: SOT 248606 SOS 127274 HAS SOPS 118465 HAS SOUS 94628 HAS SOUPS 91267 WITH SCORE 91394.274
AT ITER 362 NEW BEST:: SOT 248606 SOS 127157 HAS SOPS 118348 HAS SOUS 94627 HAS SOUPS 91266 WITH SCORE 91393.157
AT ITER 364 NEW BEST:: SOT 248879 SOS 127380 HAS SOPS 118570 HAS SOUS 94623 HAS SOUPS 91261 WITH SCORE 91388.38
AT ITER 387 NEW BEST:: SOT 248387 SOS 126845 HAS SOPS 118035 HAS SOUS 94456 HAS SOUPS 91094 WITH SCORE 91220.845
AT ITER 388 NEW BEST:: SOT 247998 SOS 126416 HAS SOPS 117605 HAS SOUS 94067 HAS SOUPS 90704 WITH SCORE 90830.416
AT ITER 390 NEW BEST:: SOT 247992 SOS 126401 HAS SOPS 117590 HAS SOUS 94056 HAS SOUPS 90693 WITH SCORE 90819.401
AT ITER 393 NEW BEST:: SOT 248824 SOS 127059 HAS SOPS 118131 HAS SOUS 94140 HAS SOUPS 90660 WITH SCORE 90787.059
AT ITER 395 NEW BEST:: SOT 248824 SOS 126605 HAS SOPS 117677 HAS SOUS 93893 HAS SOUPS 90413 WITH SCORE 90539.605
AT ITER 397 NEW BEST:: SOT 248259 SOS 126040 HAS SOPS 117112 HAS SOUS 93556 HAS SOUPS 90076 WITH SCORE 90202.04
AT ITER 400 NEW BEST:: SOT 246919 SOS 124255 HAS SOPS 115327 HAS SOUS 92465 HAS SOUPS 88985 WITH SCORE 89109.255
AT ITER 405 NEW BEST:: SOT 246077 SOS 123010 HAS SOPS 114082 HAS SOUS 91845 HAS SOUPS 88365 WITH SCORE 88488.01
AT ITER 408 NEW BEST:: SOT 246038 SOS 122970 HAS SOPS 114042 HAS SOUS 91805 HAS SOUPS 88325 WITH SCORE 88447.97
AT ITER 412 NEW BEST:: SOT 244539 SOS 121691 HAS SOPS 112763 HAS SOUS 91008 HAS SOUPS 87528 WITH SCORE 87649.691
AT ITER 417 NEW BEST:: SOT 244498 SOS 121582 HAS SOPS 112722 HAS SOUS 90899 HAS SOUPS 87487 WITH SCORE 87608.582
AT ITER 419 NEW BEST:: SOT 244367 SOS 121574 HAS SOPS 112604 HAS SOUS 91016 HAS SOUPS 87369 WITH SCORE 87490.574
AT ITER 421 NEW BEST:: SOT 244021 SOS 121411 HAS SOPS 112441 HAS SOUS 90865 HAS SOUPS 87218 WITH SCORE 87339.411
AT ITER 427 NEW BEST:: SOT 243879 SOS 121322 HAS SOPS 112352 HAS SOUS 90722 HAS SOUPS 87075 WITH SCORE 87196.322
AT ITER 438 NEW BEST:: SOT 243985 SOS 121377 HAS SOPS 112407 HAS SOUS 90555 HAS SOUPS 86908 WITH SCORE 87029.377
AT ITER 441 NEW BEST:: SOT 243985 SOS 120974 HAS SOPS 112004 HAS SOUS 90392 HAS SOUPS 86745 WITH SCORE 86865.974
AT ITER 443 NEW BEST:: SOT 243799 SOS 120089 HAS SOPS 111083 HAS SOUS 89790 HAS SOUPS 86107 WITH SCORE 86227.089
AT ITER 445 NEW BEST:: SOT 243747 SOS 119940 HAS SOPS 110934 HAS SOUS 89440 HAS SOUPS 85757 WITH SCORE 85876.94
AT ITER 447 NEW BEST:: SOT 243696 SOS 119889 HAS SOPS 110883 HAS SOUS 89440 HAS SOUPS 85757 WITH SCORE 85876.889
AT ITER 452 NEW BEST:: SOT 243380 SOS 119281 HAS SOPS 110275 HAS SOUS 89124 HAS SOUPS 85441 WITH SCORE 85560.281
AT ITER 456 NEW BEST:: SOT 242958 SOS 118823 HAS SOPS 109853 HAS SOUS 88900 HAS SOUPS 85253 WITH SCORE 85371.823
AT ITER 464 NEW BEST:: SOT 242960 SOS 118759 HAS SOPS 109789 HAS SOUS 88612 HAS SOUPS 84965 WITH SCORE 85083.759
AT ITER 481 NEW BEST:: SOT 242922 SOS 118447 HAS SOPS 109477 HAS SOUS 88465 HAS SOUPS 84818 WITH SCORE 84936.447
AT ITER 484 NEW BEST:: SOT 242922 SOS 118340 HAS SOPS 109370 HAS SOUS 88465 HAS SOUPS 84818 WITH SCORE 84936.34
AT ITER 485 NEW BEST:: SOT 243035 SOS 118387 HAS SOPS 109417 HAS SOUS 88464 HAS SOUPS 84817 WITH SCORE 84935.387
AT ITER 486 NEW BEST:: SOT 242792 SOS 118572 HAS SOPS 109040 HAS SOUS 88277 HAS SOUPS 84440 WITH SCORE 84558.572
AT ITER 494 NEW BEST:: SOT 242558 SOS 118338 HAS SOPS 108806 HAS SOUS 88130 HAS SOUPS 84293 WITH SCORE 84411.338
AT ITER 496 NEW BEST:: SOT 242350 SOS 118129 HAS SOPS 108597 HAS SOUS 88033 HAS SOUPS 84196 WITH SCORE 84314.129
AT ITER 503 NEW BEST:: SOT 242240 SOS 118019 HAS SOPS 108487 HAS SOUS 87923 HAS SOUPS 84086 WITH SCORE 84204.019
AT ITER 506 NEW BEST:: SOT 241576 SOS 117258 HAS SOPS 107726 HAS SOUS 87812 HAS SOUPS 83975 WITH SCORE 84092.258
AT ITER 507 NEW BEST:: SOT 240858 SOS 116365 HAS SOPS 106833 HAS SOUS 87169 HAS SOUPS 83332 WITH SCORE 83448.365
AT ITER 512 NEW BEST:: SOT 240230 SOS 114872 HAS SOPS 105340 HAS SOUS 86304 HAS SOUPS 82467 WITH SCORE 82581.872
AT ITER 513 NEW BEST:: SOT 240230 SOS 114872 HAS SOPS 105340 HAS SOUS 86300 HAS SOUPS 82463 WITH SCORE 82577.872
AT ITER 516 NEW BEST:: SOT 240230 SOS 114662 HAS SOPS 105235 HAS SOUS 86195 HAS SOUPS 82463 WITH SCORE 82577.662
AT ITER 526 NEW BEST:: SOT 238444 SOS 111942 HAS SOPS 102515 HAS SOUS 84495 HAS SOUPS 80763 WITH SCORE 80874.942
AT ITER 527 NEW BEST:: SOT 238297 SOS 111794 HAS SOPS 102367 HAS SOUS 84472 HAS SOUPS 80740 WITH SCORE 80851.794
AT ITER 528 NEW BEST:: SOT 238102 SOS 111905 HAS SOPS 101429 HAS SOUS 84230 HAS SOUPS 80154 WITH SCORE 80265.905
AT ITER 534 NEW BEST:: SOT 238102 SOS 111803 HAS SOPS 101327 HAS SOUS 84229 HAS SOUPS 80153 WITH SCORE 80264.803
AT ITER 536 NEW BEST:: SOT 237994 SOS 111641 HAS SOPS 101165 HAS SOUS 84121 HAS SOUPS 80045 WITH SCORE 80156.641
AT ITER 538 NEW BEST:: SOT 237931 SOS 111578 HAS SOPS 101102 HAS SOUS 84058 HAS SOUPS 79982 WITH SCORE 80093.578
AT ITER 539 NEW BEST:: SOT 237335 SOS 111571 HAS SOPS 101095 HAS SOUS 84051 HAS SOUPS 79975 WITH SCORE 80086.571
AT ITER 543 NEW BEST:: SOT 237204 SOS 111432 HAS SOPS 100244 HAS SOUS 83680 HAS SOUPS 79364 WITH SCORE 79475.432
AT ITER 544 NEW BEST:: SOT 236233 SOS 113645 HAS SOPS 102456 HAS SOUS 82750 HAS SOUPS 78433 WITH SCORE 78546.645
AT ITER 547 NEW BEST:: SOT 236197 SOS 113608 HAS SOPS 102419 HAS SOUS 82713 HAS SOUPS 78396 WITH SCORE 78509.608
AT ITER 548 NEW BEST:: SOT 235718 SOS 112949 HAS SOPS 101760 HAS SOUS 82324 HAS SOUPS 78007 WITH SCORE 78119.949
AT ITER 551 NEW BEST:: SOT 235573 SOS 113042 HAS SOPS 100687 HAS SOUS 81972 HAS SOUPS 77314 WITH SCORE 77427.042
AT ITER 558 NEW BEST:: SOT 234684 SOS 112593 HAS SOPS 100238 HAS SOUS 81507 HAS SOUPS 76849 WITH SCORE 76961.593
AT ITER 559 NEW BEST:: SOT 234577 SOS 112356 HAS SOPS 100001 HAS SOUS 81326 HAS SOUPS 76668 WITH SCORE 76780.356
AT ITER 562 NEW BEST:: SOT 234577 SOS 112355 HAS SOPS 100000 HAS SOUS 81325 HAS SOUPS 76667 WITH SCORE 76779.355
AT ITER 564 NEW BEST:: SOT 234612 SOS 112373 HAS SOPS 99952 HAS SOUS 81343 HAS SOUPS 76619 WITH SCORE 76731.373
AT ITER 565 NEW BEST:: SOT 234333 SOS 112094 HAS SOPS 99673 HAS SOUS 81064 HAS SOUPS 76340 WITH SCORE 76452.094
AT ITER 579 NEW BEST:: SOT 234389 SOS 112149 HAS SOPS 99728 HAS SOUS 81044 HAS SOUPS 76320 WITH SCORE 76432.149
AT ITER 581 NEW BEST:: SOT 234318 SOS 111936 HAS SOPS 99728 HAS SOUS 80973 HAS SOUPS 76320 WITH SCORE 76431.936
AT ITER 584 NEW BEST:: SOT 234220 SOS 111838 HAS SOPS 99630 HAS SOUS 80915 HAS SOUPS 76262 WITH SCORE 76373.838
AT ITER 585 NEW BEST:: SOT 234147 SOS 111919 HAS SOPS 99585 HAS SOUS 80995 HAS SOUPS 76241 WITH SCORE 76352.919
AT ITER 586 NEW BEST:: SOT 234141 SOS 111913 HAS SOPS 99579 HAS SOUS 80991 HAS SOUPS 76237 WITH SCORE 76348.913
AT ITER 591 NEW BEST:: SOT 234159 SOS 111836 HAS SOPS 99485 HAS SOUS 80910 HAS SOUPS 76143 WITH SCORE 76254.836
AT ITER 592 NEW BEST:: SOT 234159 SOS 111845 HAS SOPS 99484 HAS SOUS 80919 HAS SOUPS 76142 WITH SCORE 76253.845
AT ITER 595 NEW BEST:: SOT 234027 SOS 111713 HAS SOPS 99352 HAS SOUS 80820 HAS SOUPS 76043 WITH SCORE 76154.713
AT ITER 603 NEW BEST:: SOT 233570 SOS 111734 HAS SOPS 99372 HAS SOUS 80789 HAS SOUPS 76011 WITH SCORE 76122.734
AT ITER 616 NEW BEST:: SOT 233487 SOS 111763 HAS SOPS 99511 HAS SOUS 80735 HAS SOUPS 75957 WITH SCORE 76068.763
AT ITER 620 NEW BEST:: SOT 233512 SOS 112545 HAS SOPS 99394 HAS SOUS 80639 HAS SOUPS 75625 WITH SCORE 75737.545
AT ITER 621 NEW BEST:: SOT 233512 SOS 112545 HAS SOPS 99394 HAS SOUS 80537 HAS SOUPS 75523 WITH SCORE 75635.545
AT ITER 625 NEW BEST:: SOT 233508 SOS 112533 HAS SOPS 99382 HAS SOUS 80529 HAS SOUPS 75515 WITH SCORE 75627.533
AT ITER 627 NEW BEST:: SOT 233447 SOS 112472 HAS SOPS 99260 HAS SOUS 80529 HAS SOUPS 75454 WITH SCORE 75566.472
AT ITER 635 NEW BEST:: SOT 233361 SOS 112129 HAS SOPS 98917 HAS SOUS 80272 HAS SOUPS 75197 WITH SCORE 75309.129
AT ITER 660 NEW BEST:: SOT 233345 SOS 112113 HAS SOPS 98901 HAS SOUS 80256 HAS SOUPS 75181 WITH SCORE 75293.113
AT ITER 665 NEW BEST:: SOT 232886 SOS 111545 HAS SOPS 98289 HAS SOUS 79950 HAS SOUPS 74875 WITH SCORE 74986.545
AT ITER 667 NEW BEST:: SOT 232885 SOS 111560 HAS SOPS 98287 HAS SOUS 79965 HAS SOUPS 74873 WITH SCORE 74984.56
AT ITER 669 NEW BEST:: SOT 232868 SOS 111543 HAS SOPS 98270 HAS SOUS 79962 HAS SOUPS 74870 WITH SCORE 74981.543
AT ITER 674 NEW BEST:: SOT 232652 SOS 111384 HAS SOPS 98055 HAS SOUS 79970 HAS SOUPS 74822 WITH SCORE 74933.384
AT ITER 676 NEW BEST:: SOT 231603 SOS 110334 HAS SOPS 97005 HAS SOUS 79309 HAS SOUPS 74161 WITH SCORE 74271.334
AT ITER 681 NEW BEST:: SOT 231105 SOS 109734 HAS SOPS 96405 HAS SOUS 78709 HAS SOUPS 73561 WITH SCORE 73670.734
AT ITER 684 NEW BEST:: SOT 230998 SOS 109367 HAS SOPS 96038 HAS SOUS 78520 HAS SOUPS 73372 WITH SCORE 73481.367
AT ITER 687 NEW BEST:: SOT 230943 SOS 108970 HAS SOPS 95641 HAS SOUS 78237 HAS SOUPS 73089 WITH SCORE 73197.97
AT ITER 688 NEW BEST:: SOT 230655 SOS 108671 HAS SOPS 95342 HAS SOUS 78134 HAS SOUPS 72986 WITH SCORE 73094.671
AT ITER 692 NEW BEST:: SOT 230685 SOS 108518 HAS SOPS 95189 HAS SOUS 78088 HAS SOUPS 72940 WITH SCORE 73048.518
AT ITER 704 NEW BEST:: SOT 230425 SOS 107713 HAS SOPS 94644 HAS SOUS 77803 HAS SOUPS 72655 WITH SCORE 72762.713
AT ITER 706 NEW BEST:: SOT 230263 SOS 108019 HAS SOPS 94950 HAS SOUS 77782 HAS SOUPS 72634 WITH SCORE 72742.019
AT ITER 708 NEW BEST:: SOT 229790 SOS 107546 HAS SOPS 94477 HAS SOUS 77555 HAS SOUPS 72407 WITH SCORE 72514.546
AT ITER 709 NEW BEST:: SOT 229790 SOS 107546 HAS SOPS 94477 HAS SOUS 77549 HAS SOUPS 72401 WITH SCORE 72508.546
AT ITER 710 NEW BEST:: SOT 229927 SOS 107683 HAS SOPS 94454 HAS SOUS 77661 HAS SOUPS 72378 WITH SCORE 72485.683
AT ITER 713 NEW BEST:: SOT 229482 SOS 107264 HAS SOPS 94035 HAS SOUS 77458 HAS SOUPS 72175 WITH SCORE 72282.264
AT ITER 716 NEW BEST:: SOT 229481 SOS 107263 HAS SOPS 94033 HAS SOUS 77456 HAS SOUPS 72173 WITH SCORE 72280.263
AT ITER 721 NEW BEST:: SOT 229276 SOS 106708 HAS SOPS 93623 HAS SOUS 77251 HAS SOUPS 71968 WITH SCORE 72074.708
AT ITER 722 NEW BEST:: SOT 229187 SOS 106619 HAS SOPS 93534 HAS SOUS 77162 HAS SOUPS 71879 WITH SCORE 71985.619
AT ITER 723 NEW BEST:: SOT 229186 SOS 106524 HAS SOPS 93439 HAS SOUS 77106 HAS SOUPS 71823 WITH SCORE 71929.524
AT ITER 735 NEW BEST:: SOT 228708 SOS 106328 HAS SOPS 93243 HAS SOUS 77078 HAS SOUPS 71795 WITH SCORE 71901.328
AT ITER 737 NEW BEST:: SOT 228708 SOS 106155 HAS SOPS 93070 HAS SOUS 77077 HAS SOUPS 71794 WITH SCORE 71900.155
AT ITER 738 NEW BEST:: SOT 228654 SOS 106100 HAS SOPS 92976 HAS SOUS 77061 HAS SOUPS 71739 WITH SCORE 71845.1
AT ITER 747 NEW BEST:: SOT 228654 SOS 106100 HAS SOPS 92842 HAS SOUS 77061 HAS SOUPS 71605 WITH SCORE 71711.1
AT ITER 748 NEW BEST:: SOT 228667 SOS 105990 HAS SOPS 92607 HAS SOUS 76826 HAS SOUPS 71370 WITH SCORE 71475.99
AT ITER 752 NEW BEST:: SOT 228645 SOS 105957 HAS SOPS 92585 HAS SOUS 76804 HAS SOUPS 71359 WITH SCORE 71464.957
AT ITER 753 NEW BEST:: SOT 228645 SOS 105951 HAS SOPS 92579 HAS SOUS 76798 HAS SOUPS 71353 WITH SCORE 71458.951
AT ITER 754 NEW BEST:: SOT 228402 SOS 105813 HAS SOPS 91241 HAS SOUS 76176 HAS SOUPS 70380 WITH SCORE 70485.813
AT ITER 755 NEW BEST:: SOT 227371 SOS 104983 HAS SOPS 90411 HAS SOUS 75698 HAS SOUPS 69902 WITH SCORE 70006.983
AT ITER 769 NEW BEST:: SOT 227216 SOS 104416 HAS SOPS 89844 HAS SOUS 75286 HAS SOUPS 69490 WITH SCORE 69594.416
AT ITER 770 NEW BEST:: SOT 227192 SOS 104352 HAS SOPS 89780 HAS SOUS 75226 HAS SOUPS 69430 WITH SCORE 69534.352
AT ITER 771 NEW BEST:: SOT 227191 SOS 104330 HAS SOPS 89758 HAS SOUS 75204 HAS SOUPS 69408 WITH SCORE 69512.33
AT ITER 778 NEW BEST:: SOT 227167 SOS 104294 HAS SOPS 89722 HAS SOUS 75180 HAS SOUPS 69384 WITH SCORE 69488.294
AT ITER 780 NEW BEST:: SOT 227055 SOS 104174 HAS SOPS 89451 HAS SOUS 75019 HAS SOUPS 69113 WITH SCORE 69217.174
AT ITER 790 NEW BEST:: SOT 226897 SOS 104015 HAS SOPS 89292 HAS SOUS 74968 HAS SOUPS 69062 WITH SCORE 69166.015
AT ITER 791 NEW BEST:: SOT 226897 SOS 104063 HAS SOPS 89268 HAS SOUS 74944 HAS SOUPS 69014 WITH SCORE 69118.063
AT ITER 808 NEW BEST:: SOT 226621 SOS 103655 HAS SOPS 88722 HAS SOUS 74674 HAS SOUPS 68606 WITH SCORE 68709.655
AT ITER 809 NEW BEST:: SOT 226620 SOS 103783 HAS SOPS 88721 HAS SOUS 74716 HAS SOUPS 68605 WITH SCORE 68708.783
AT ITER 811 NEW BEST:: SOT 226392 SOS 103427 HAS SOPS 88365 HAS SOUS 74512 HAS SOUPS 68401 WITH SCORE 68504.427
AT ITER 821 NEW BEST:: SOT 226037 SOS 103185 HAS SOPS 88238 HAS SOUS 74060 HAS SOUPS 67949 WITH SCORE 68052.185
AT ITER 822 NEW BEST:: SOT 226112 SOS 103112 HAS SOPS 87924 HAS SOUS 73987 HAS SOUPS 67635 WITH SCORE 67738.112
AT ITER 823 NEW BEST:: SOT 225876 SOS 102706 HAS SOPS 87496 HAS SOUS 73581 HAS SOUPS 67207 WITH SCORE 67309.706
AT ITER 825 NEW BEST:: SOT 225868 SOS 102698 HAS SOPS 87488 HAS SOUS 73577 HAS SOUPS 67203 WITH SCORE 67305.698
AT ITER 830 NEW BEST:: SOT 225736 SOS 102368 HAS SOPS 87158 HAS SOUS 73379 HAS SOUPS 67005 WITH SCORE 67107.368
AT ITER 831 NEW BEST:: SOT 225448 SOS 101802 HAS SOPS 86592 HAS SOUS 73041 HAS SOUPS 66667 WITH SCORE 66768.802
AT ITER 832 NEW BEST:: SOT 225163 SOS 101229 HAS SOPS 86019 HAS SOUS 72775 HAS SOUPS 66401 WITH SCORE 66502.229
AT ITER 844 NEW BEST:: SOT 225077 SOS 100949 HAS SOPS 85847 HAS SOUS 72649 HAS SOUPS 66326 WITH SCORE 66426.949
AT ITER 848 NEW BEST:: SOT 225077 SOS 101049 HAS SOPS 85846 HAS SOUS 72648 HAS SOUPS 66224 WITH SCORE 66325.049
AT ITER 850 NEW BEST:: SOT 224703 SOS 100541 HAS SOPS 85472 HAS SOUS 72277 HAS SOUPS 65987 WITH SCORE 66087.541
AT ITER 851 NEW BEST:: SOT 224677 SOS 100515 HAS SOPS 85446 HAS SOUS 72251 HAS SOUPS 65961 WITH SCORE 66061.515
AT ITER 859 NEW BEST:: SOT 224642 SOS 100480 HAS SOPS 85373 HAS SOUS 72219 HAS SOUPS 65891 WITH SCORE 65991.48
AT ITER 861 NEW BEST:: SOT 224512 SOS 100122 HAS SOPS 85072 HAS SOUS 72105 HAS SOUPS 65777 WITH SCORE 65877.122
AT ITER 862 NEW BEST:: SOT 224319 SOS 100144 HAS SOPS 84253 HAS SOUS 71864 HAS SOUPS 65229 WITH SCORE 65329.144
AT ITER 868 NEW BEST:: SOT 224314 SOS 100139 HAS SOPS 84247 HAS SOUS 71858 HAS SOUPS 65223 WITH SCORE 65323.139
AT ITER 889 NEW BEST:: SOT 224397 SOS 100030 HAS SOPS 84138 HAS SOUS 71843 HAS SOUPS 65208 WITH SCORE 65308.03
AT ITER 890 NEW BEST:: SOT 224315 SOS 99948 HAS SOPS 84056 HAS SOUS 71823 HAS SOUPS 65188 WITH SCORE 65287.948
AT ITER 893 NEW BEST:: SOT 223986 SOS 98900 HAS SOPS 83823 HAS SOUS 71540 HAS SOUPS 65186 WITH SCORE 65284.9
AT ITER 901 NEW BEST:: SOT 223502 SOS 98416 HAS SOPS 83338 HAS SOUS 71377 HAS SOUPS 65023 WITH SCORE 65121.416
AT ITER 903 NEW BEST:: SOT 223409 SOS 99979 HAS SOPS 84901 HAS SOUS 71362 HAS SOUPS 65008 WITH SCORE 65107.979
AT ITER 910 NEW BEST:: SOT 223379 SOS 100445 HAS SOPS 85367 HAS SOUS 71346 HAS SOUPS 64992 WITH SCORE 65092.445
AT ITER 915 NEW BEST:: SOT 223165 SOS 100211 HAS SOPS 85133 HAS SOUS 71126 HAS SOUPS 64772 WITH SCORE 64872.211
AT ITER 924 NEW BEST:: SOT 223113 SOS 100159 HAS SOPS 85081 HAS SOUS 71100 HAS SOUPS 64746 WITH SCORE 64846.159
AT ITER 927 NEW BEST:: SOT 222795 SOS 99979 HAS SOPS 84901 HAS SOUS 70992 HAS SOUPS 64638 WITH SCORE 64737.979
AT ITER 928 NEW BEST:: SOT 222794 SOS 99978 HAS SOPS 84900 HAS SOUS 70991 HAS SOUPS 64637 WITH SCORE 64736.978
AT ITER 940 NEW BEST:: SOT 222794 SOS 99959 HAS SOPS 84881 HAS SOUS 70981 HAS SOUPS 64627 WITH SCORE 64726.959
AT ITER 945 NEW BEST:: SOT 222654 SOS 100792 HAS SOPS 84741 HAS SOUS 70990 HAS SOUPS 64487 WITH SCORE 64587.792
AT ITER 949 NEW BEST:: SOT 222654 SOS 100734 HAS SOPS 84683 HAS SOUS 70990 HAS SOUPS 64487 WITH SCORE 64587.734
AT ITER 955 NEW BEST:: SOT 222654 SOS 101027 HAS SOPS 84528 HAS SOUS 70878 HAS SOUPS 64263 WITH SCORE 64364.027
AT ITER 959 NEW BEST:: SOT 222636 SOS 100997 HAS SOPS 84498 HAS SOUS 70860 HAS SOUPS 64245 WITH SCORE 64345.997
AT ITER 965 NEW BEST:: SOT 222195 SOS 100973 HAS SOPS 84474 HAS SOUS 70836 HAS SOUPS 64221 WITH SCORE 64321.973
AT ITER 974 NEW BEST:: SOT 221973 SOS 100751 HAS SOPS 84252 HAS SOUS 70614 HAS SOUPS 63999 WITH SCORE 64099.751
AT ITER 1005 NEW BEST:: SOT 222175 SOS 100611 HAS SOPS 83983 HAS SOUS 70686 HAS SOUPS 63942 WITH SCORE 64042.611
AT ITER 1009 NEW BEST:: SOT 222270 SOS 100385 HAS SOPS 83757 HAS SOUS 70674 HAS SOUPS 63930 WITH SCORE 64030.385
AT ITER 1014 NEW BEST:: SOT 222196 SOS 100200 HAS SOPS 83572 HAS SOUS 70563 HAS SOUPS 63819 WITH SCORE 63919.2
AT ITER 1026 NEW BEST:: SOT 222057 SOS 100288 HAS SOPS 83660 HAS SOUS 70506 HAS SOUPS 63762 WITH SCORE 63862.288
AT ITER 1036 NEW BEST:: SOT 222030 SOS 100261 HAS SOPS 83657 HAS SOUS 70503 HAS SOUPS 63759 WITH SCORE 63859.261
AT ITER 1044 NEW BEST:: SOT 222030 SOS 100174 HAS SOPS 83570 HAS SOUS 70474 HAS SOUPS 63730 WITH SCORE 63830.174
AT ITER 1048 NEW BEST:: SOT 222008 SOS 100152 HAS SOPS 83548 HAS SOUS 70452 HAS SOUPS 63708 WITH SCORE 63808.152
AT ITER 1050 NEW BEST:: SOT 222008 SOS 100172 HAS SOPS 83548 HAS SOUS 70432 HAS SOUPS 63688 WITH SCORE 63788.172
AT ITER 1057 NEW BEST:: SOT 222008 SOS 100056 HAS SOPS 83432 HAS SOUS 70424 HAS SOUPS 63680 WITH SCORE 63780.056
AT ITER 1061 NEW BEST:: SOT 221806 SOS 99785 HAS SOPS 83161 HAS SOUS 70238 HAS SOUPS 63494 WITH SCORE 63593.785
AT ITER 1062 NEW BEST:: SOT 221922 SOS 99901 HAS SOPS 83277 HAS SOUS 70220 HAS SOUPS 63476 WITH SCORE 63575.901
AT ITER 1071 NEW BEST:: SOT 221914 SOS 99204 HAS SOPS 82580 HAS SOUS 70139 HAS SOUPS 63395 WITH SCORE 63494.204
AT ITER 1077 NEW BEST:: SOT 221774 SOS 98878 HAS SOPS 82254 HAS SOUS 69965 HAS SOUPS 63221 WITH SCORE 63319.878
AT ITER 1084 NEW BEST:: SOT 221956 SOS 98706 HAS SOPS 81961 HAS SOUS 70021 HAS SOUPS 63156 WITH SCORE 63254.706
AT ITER 1089 NEW BEST:: SOT 221956 SOS 98574 HAS SOPS 81829 HAS SOUS 69933 HAS SOUPS 63068 WITH SCORE 63166.574
AT ITER 1090 NEW BEST:: SOT 221956 SOS 98562 HAS SOPS 81829 HAS SOUS 69930 HAS SOUPS 63068 WITH SCORE 63166.562
AT ITER 1095 NEW BEST:: SOT 221943 SOS 98644 HAS SOPS 81840 HAS SOUS 69860 HAS SOUPS 62998 WITH SCORE 63096.644
AT ITER 1099 NEW BEST:: SOT 221880 SOS 98489 HAS SOPS 81687 HAS SOUS 69724 HAS SOUPS 62864 WITH SCORE 62962.489
AT ITER 1101 NEW BEST:: SOT 221763 SOS 97600 HAS SOPS 80747 HAS SOUS 69139 HAS SOUPS 62228 WITH SCORE 62325.6
AT ITER 1104 NEW BEST:: SOT 221589 SOS 97357 HAS SOPS 80504 HAS SOUS 68983 HAS SOUPS 62072 WITH SCORE 62169.357
AT ITER 1110 NEW BEST:: SOT 221393 SOS 97083 HAS SOPS 80150 HAS SOUS 68751 HAS SOUPS 61840 WITH SCORE 61937.083
AT ITER 1114 NEW BEST:: SOT 221152 SOS 96842 HAS SOPS 79909 HAS SOUS 68734 HAS SOUPS 61823 WITH SCORE 61919.842
AT ITER 1119 NEW BEST:: SOT 221147 SOS 96837 HAS SOPS 79904 HAS SOUS 68729 HAS SOUPS 61818 WITH SCORE 61914.837
AT ITER 1120 NEW BEST:: SOT 220623 SOS 96064 HAS SOPS 79131 HAS SOUS 68234 HAS SOUPS 61323 WITH SCORE 61419.064
AT ITER 1145 NEW BEST:: SOT 220653 SOS 96175 HAS SOPS 79098 HAS SOUS 68243 HAS SOUPS 61296 WITH SCORE 61392.175
AT ITER 1146 NEW BEST:: SOT 220647 SOS 96166 HAS SOPS 79089 HAS SOUS 68234 HAS SOUPS 61287 WITH SCORE 61383.166
AT ITER 1147 NEW BEST:: SOT 220454 SOS 95972 HAS SOPS 78735 HAS SOUS 67905 HAS SOUPS 60933 WITH SCORE 61028.972
AT ITER 1151 NEW BEST:: SOT 220494 SOS 96012 HAS SOPS 78775 HAS SOUS 67784 HAS SOUPS 60812 WITH SCORE 60908.012
AT ITER 1160 NEW BEST:: SOT 220036 SOS 95618 HAS SOPS 78381 HAS SOUS 67489 HAS SOUPS 60517 WITH SCORE 60612.618
AT ITER 1161 NEW BEST:: SOT 219974 SOS 95468 HAS SOPS 78231 HAS SOUS 67339 HAS SOUPS 60367 WITH SCORE 60462.468
AT ITER 1165 NEW BEST:: SOT 219974 SOS 95448 HAS SOPS 78211 HAS SOUS 67329 HAS SOUPS 60357 WITH SCORE 60452.448
AT ITER 1189 NEW BEST:: SOT 219867 SOS 95127 HAS SOPS 77997 HAS SOUS 67197 HAS SOUPS 60250 WITH SCORE 60345.127
AT ITER 1193 NEW BEST:: SOT 219867 SOS 95093 HAS SOPS 77827 HAS SOUS 67163 HAS SOUPS 60182 WITH SCORE 60277.093
AT ITER 1196 NEW BEST:: SOT 219784 SOS 94926 HAS SOPS 77388 HAS SOUS 66996 HAS SOUPS 59743 WITH SCORE 59837.926
AT ITER 1198 NEW BEST:: SOT 219720 SOS 94668 HAS SOPS 77310 HAS SOUS 66772 HAS SOUPS 59519 WITH SCORE 59613.668
AT ITER 1208 NEW BEST:: SOT 219582 SOS 94176 HAS SOPS 76818 HAS SOUS 66470 HAS SOUPS 59217 WITH SCORE 59311.176
AT ITER 1209 NEW BEST:: SOT 219409 SOS 93938 HAS SOPS 76580 HAS SOUS 66232 HAS SOUPS 58979 WITH SCORE 59072.938
AT ITER 1214 NEW BEST:: SOT 219240 SOS 94063 HAS SOPS 76705 HAS SOUS 65925 HAS SOUPS 58672 WITH SCORE 58766.063
AT ITER 1217 NEW BEST:: SOT 219103 SOS 93635 HAS SOPS 76358 HAS SOUS 65838 HAS SOUPS 58585 WITH SCORE 58678.635
AT ITER 1218 NEW BEST:: SOT 219051 SOS 93583 HAS SOPS 76306 HAS SOUS 65812 HAS SOUPS 58559 WITH SCORE 58652.583
AT ITER 1220 NEW BEST:: SOT 219343 SOS 93767 HAS SOPS 76490 HAS SOUS 65603 HAS SOUPS 58350 WITH SCORE 58443.767
AT ITER 1223 NEW BEST:: SOT 219429 SOS 93759 HAS SOPS 76482 HAS SOUS 65574 HAS SOUPS 58321 WITH SCORE 58414.759
AT ITER 1229 NEW BEST:: SOT 219440 SOS 93768 HAS SOPS 76440 HAS SOUS 65583 HAS SOUPS 58279 WITH SCORE 58372.768
AT ITER 1231 NEW BEST:: SOT 219440 SOS 93713 HAS SOPS 76385 HAS SOUS 65528 HAS SOUPS 58224 WITH SCORE 58317.713
AT ITER 1236 NEW BEST:: SOT 219440 SOS 93698 HAS SOPS 76385 HAS SOUS 65523 HAS SOUPS 58224 WITH SCORE 58317.698
AT ITER 1241 NEW BEST:: SOT 219440 SOS 93612 HAS SOPS 76299 HAS SOUS 65480 HAS SOUPS 58181 WITH SCORE 58274.612
AT ITER 1245 NEW BEST:: SOT 219431 SOS 93657 HAS SOPS 76344 HAS SOUS 65419 HAS SOUPS 58120 WITH SCORE 58213.657
AT ITER 1257 NEW BEST:: SOT 219353 SOS 93613 HAS SOPS 76344 HAS SOUS 65419 HAS SOUPS 58120 WITH SCORE 58213.613
AT ITER 1263 NEW BEST:: SOT 219300 SOS 93454 HAS SOPS 76185 HAS SOUS 65313 HAS SOUPS 58014 WITH SCORE 58107.454
AT ITER 1264 NEW BEST:: SOT 219248 SOS 93437 HAS SOPS 76168 HAS SOUS 65261 HAS SOUPS 57962 WITH SCORE 58055.437
AT ITER 1279 NEW BEST:: SOT 218850 SOS 92578 HAS SOPS 75309 HAS SOUS 64808 HAS SOUPS 57509 WITH SCORE 57601.578
AT ITER 1288 NEW BEST:: SOT 218961 SOS 92722 HAS SOPS 75420 HAS SOUS 64801 HAS SOUPS 57469 WITH SCORE 57561.722
AT ITER 1289 NEW BEST:: SOT 218919 SOS 92793 HAS SOPS 75491 HAS SOUS 64688 HAS SOUPS 57356 WITH SCORE 57448.793
AT ITER 1298 NEW BEST:: SOT 218792 SOS 93226 HAS SOPS 75662 HAS SOUS 64657 HAS SOUPS 57229 WITH SCORE 57322.226
AT ITER 1299 NEW BEST:: SOT 218681 SOS 93059 HAS SOPS 75495 HAS SOUS 64546 HAS SOUPS 57118 WITH SCORE 57211.059
AT ITER 1308 NEW BEST:: SOT 218374 SOS 92752 HAS SOPS 75188 HAS SOUS 64519 HAS SOUPS 57091 WITH SCORE 57183.752
AT ITER 1310 NEW BEST:: SOT 218334 SOS 92712 HAS SOPS 75148 HAS SOUS 64499 HAS SOUPS 57071 WITH SCORE 57163.712
AT ITER 1321 NEW BEST:: SOT 218334 SOS 92709 HAS SOPS 75145 HAS SOUS 64496 HAS SOUPS 57068 WITH SCORE 57160.709
AT ITER 1323 NEW BEST:: SOT 217823 SOS 92370 HAS SOPS 74806 HAS SOUS 64209 HAS SOUPS 56781 WITH SCORE 56873.37
AT ITER 1352 NEW BEST:: SOT 217511 SOS 92058 HAS SOPS 74356 HAS SOUS 64087 HAS SOUPS 56521 WITH SCORE 56613.058
AT ITER 1354 NEW BEST:: SOT 217495 SOS 92034 HAS SOPS 74332 HAS SOUS 64071 HAS SOUPS 56505 WITH SCORE 56597.034
AT ITER 1356 NEW BEST:: SOT 217433 SOS 91972 HAS SOPS 74270 HAS SOUS 64009 HAS SOUPS 56443 WITH SCORE 56534.972
AT ITER 1386 NEW BEST:: SOT 217397 SOS 91864 HAS SOPS 74162 HAS SOUS 63937 HAS SOUPS 56371 WITH SCORE 56462.864
AT ITER 1394 NEW BEST:: SOT 217397 SOS 91848 HAS SOPS 74146 HAS SOUS 63937 HAS SOUPS 56371 WITH SCORE 56462.848
AT ITER 1395 NEW BEST:: SOT 217383 SOS 91820 HAS SOPS 74118 HAS SOUS 63930 HAS SOUPS 56364 WITH SCORE 56455.82
AT ITER 1396 NEW BEST:: SOT 217383 SOS 91820 HAS SOPS 73993 HAS SOUS 63930 HAS SOUPS 56239 WITH SCORE 56330.82
AT ITER 1399 NEW BEST:: SOT 217209 SOS 91409 HAS SOPS 73582 HAS SOUS 63589 HAS SOUPS 55898 WITH SCORE 55989.409
AT ITER 1400 NEW BEST:: SOT 217197 SOS 91397 HAS SOPS 73570 HAS SOUS 63589 HAS SOUPS 55898 WITH SCORE 55989.397
AT ITER 1405 NEW BEST:: SOT 217175 SOS 91375 HAS SOPS 73526 HAS SOUS 63545 HAS SOUPS 55854 WITH SCORE 55945.375
AT ITER 1407 NEW BEST:: SOT 217033 SOS 91233 HAS SOPS 73384 HAS SOUS 63529 HAS SOUPS 55838 WITH SCORE 55929.233
AT ITER 1410 NEW BEST:: SOT 216968 SOS 91168 HAS SOPS 73254 HAS SOUS 63464 HAS SOUPS 55708 WITH SCORE 55799.168
AT ITER 1412 NEW BEST:: SOT 216830 SOS 91181 HAS SOPS 73267 HAS SOUS 63425 HAS SOUPS 55669 WITH SCORE 55760.181
AT ITER 1441 NEW BEST:: SOT 216814 SOS 91165 HAS SOPS 73260 HAS SOUS 63409 HAS SOUPS 55662 WITH SCORE 55753.165
AT ITER 1445 NEW BEST:: SOT 216814 SOS 91157 HAS SOPS 73252 HAS SOUS 63393 HAS SOUPS 55654 WITH SCORE 55745.157
AT ITER 1451 NEW BEST:: SOT 216881 SOS 91181 HAS SOPS 73340 HAS SOUS 63390 HAS SOUPS 55651 WITH SCORE 55742.181
AT ITER 1453 NEW BEST:: SOT 216880 SOS 91032 HAS SOPS 73191 HAS SOUS 63355 HAS SOUPS 55616 WITH SCORE 55707.032
AT ITER 1458 NEW BEST:: SOT 216879 SOS 91031 HAS SOPS 73189 HAS SOUS 63353 HAS SOUPS 55614 WITH SCORE 55705.031
AT ITER 1479 NEW BEST:: SOT 216879 SOS 91223 HAS SOPS 73140 HAS SOUS 63398 HAS SOUPS 55565 WITH SCORE 55656.223
AT ITER 1493 NEW BEST:: SOT 216831 SOS 91154 HAS SOPS 73064 HAS SOUS 63356 HAS SOUPS 55516 WITH SCORE 55607.154
AT ITER 1495 NEW BEST:: SOT 216831 SOS 91154 HAS SOPS 73064 HAS SOUS 63352 HAS SOUPS 55512 WITH SCORE 55603.154
AT ITER 1500 NEW BEST:: SOT 216762 SOS 91093 HAS SOPS 73003 HAS SOUS 63291 HAS SOUPS 55451 WITH SCORE 55542.093
AT ITER 1506 NEW BEST:: SOT 216702 SOS 91033 HAS SOPS 72823 HAS SOUS 63111 HAS SOUPS 55271 WITH SCORE 55362.033
AT ITER 1523 NEW BEST:: SOT 216642 SOS 90933 HAS SOPS 72723 HAS SOUS 63051 HAS SOUPS 55211 WITH SCORE 55301.933
AT ITER 1526 NEW BEST:: SOT 216450 SOS 90609 HAS SOPS 72399 HAS SOUS 62842 HAS SOUPS 55002 WITH SCORE 55092.609
AT ITER 1536 NEW BEST:: SOT 216127 SOS 90180 HAS SOPS 71970 HAS SOUS 62438 HAS SOUPS 54598 WITH SCORE 54688.18
AT ITER 1543 NEW BEST:: SOT 216115 SOS 90077 HAS SOPS 71946 HAS SOUS 62293 HAS SOUPS 54574 WITH SCORE 54664.077
AT ITER 1556 NEW BEST:: SOT 216019 SOS 89606 HAS SOPS 71631 HAS SOUS 61978 HAS SOUPS 54415 WITH SCORE 54504.606
AT ITER 1557 NEW BEST:: SOT 215884 SOS 89479 HAS SOPS 71504 HAS SOUS 61950 HAS SOUPS 54387 WITH SCORE 54476.479
AT ITER 1558 NEW BEST:: SOT 215798 SOS 89350 HAS SOPS 71375 HAS SOUS 61906 HAS SOUPS 54343 WITH SCORE 54432.35
AT ITER 1560 NEW BEST:: SOT 215753 SOS 89275 HAS SOPS 71300 HAS SOUS 61861 HAS SOUPS 54298 WITH SCORE 54387.275
AT ITER 1563 NEW BEST:: SOT 215753 SOS 89231 HAS SOPS 71300 HAS SOUS 61817 HAS SOUPS 54298 WITH SCORE 54387.231
AT ITER 1572 NEW BEST:: SOT 215548 SOS 88691 HAS SOPS 71211 HAS SOUS 61612 HAS SOUPS 54220 WITH SCORE 54308.691
AT ITER 1601 NEW BEST:: SOT 215536 SOS 88673 HAS SOPS 71193 HAS SOUS 61600 HAS SOUPS 54208 WITH SCORE 54296.673
AT ITER 1607 NEW BEST:: SOT 215522 SOS 88652 HAS SOPS 71172 HAS SOUS 61572 HAS SOUPS 54180 WITH SCORE 54268.652
AT ITER 1608 NEW BEST:: SOT 215373 SOS 88643 HAS SOPS 70993 HAS SOUS 61584 HAS SOUPS 54050 WITH SCORE 54138.643
AT ITER 1610 NEW BEST:: SOT 215257 SOS 88326 HAS SOPS 70877 HAS SOUS 61493 HAS SOUPS 54039 WITH SCORE 54127.326
AT ITER 1617 NEW BEST:: SOT 215221 SOS 88326 HAS SOPS 70859 HAS SOUS 61475 HAS SOUPS 54021 WITH SCORE 54109.326
AT ITER 1629 NEW BEST:: SOT 215157 SOS 88388 HAS SOPS 70810 HAS SOUS 61411 HAS SOUPS 53957 WITH SCORE 54045.388
AT ITER 1635 NEW BEST:: SOT 215148 SOS 88268 HAS SOPS 70690 HAS SOUS 61346 HAS SOUPS 53892 WITH SCORE 53980.268
AT ITER 1651 NEW BEST:: SOT 215148 SOS 88100 HAS SOPS 70522 HAS SOUS 61262 HAS SOUPS 53808 WITH SCORE 53896.1
AT ITER 1653 NEW BEST:: SOT 215114 SOS 88066 HAS SOPS 70488 HAS SOUS 61228 HAS SOUPS 53774 WITH SCORE 53862.066
AT ITER 1656 NEW BEST:: SOT 215099 SOS 88051 HAS SOPS 70473 HAS SOUS 61216 HAS SOUPS 53762 WITH SCORE 53850.051
AT ITER 1687 NEW BEST:: SOT 215062 SOS 88014 HAS SOPS 70419 HAS SOUS 61182 HAS SOUPS 53728 WITH SCORE 53816.014
AT ITER 1696 NEW BEST:: SOT 215055 SOS 88163 HAS SOPS 70657 HAS SOUS 61198 HAS SOUPS 53675 WITH SCORE 53763.163
AT ITER 1700 NEW BEST:: SOT 215055 SOS 88327 HAS SOPS 70821 HAS SOUS 61190 HAS SOUPS 53667 WITH SCORE 53755.327
AT ITER 1707 NEW BEST:: SOT 214952 SOS 88076 HAS SOPS 70599 HAS SOUS 61034 HAS SOUPS 53511 WITH SCORE 53599.076
AT ITER 1715 NEW BEST:: SOT 214951 SOS 88015 HAS SOPS 70538 HAS SOUS 61033 HAS SOUPS 53510 WITH SCORE 53598.015
AT ITER 1724 NEW BEST:: SOT 214884 SOS 87948 HAS SOPS 70471 HAS SOUS 60966 HAS SOUPS 53443 WITH SCORE 53530.948
AT ITER 1738 NEW BEST:: SOT 214827 SOS 87947 HAS SOPS 70470 HAS SOUS 60909 HAS SOUPS 53386 WITH SCORE 53473.947
AT ITER 1747 NEW BEST:: SOT 214823 SOS 87943 HAS SOPS 70466 HAS SOUS 60909 HAS SOUPS 53386 WITH SCORE 53473.943
AT ITER 1749 NEW BEST:: SOT 214779 SOS 87898 HAS SOPS 70399 HAS SOUS 60864 HAS SOUPS 53341 WITH SCORE 53428.898
AT ITER 1759 NEW BEST:: SOT 214627 SOS 87822 HAS SOPS 70323 HAS SOUS 60864 HAS SOUPS 53341 WITH SCORE 53428.822
AT ITER 1760 NEW BEST:: SOT 214721 SOS 87916 HAS SOPS 70417 HAS SOUS 60856 HAS SOUPS 53333 WITH SCORE 53420.916
AT ITER 1766 NEW BEST:: SOT 214654 SOS 87653 HAS SOPS 70246 HAS SOUS 60785 HAS SOUPS 53262 WITH SCORE 53349.653
AT ITER 1784 NEW BEST:: SOT 214625 SOS 87518 HAS SOPS 70135 HAS SOUS 60727 HAS SOUPS 53204 WITH SCORE 53291.518
AT ITER 1794 NEW BEST:: SOT 214528 SOS 88429 HAS SOPS 70038 HAS SOUS 60906 HAS SOUPS 53107 WITH SCORE 53195.429
AT ITER 1813 NEW BEST:: SOT 214528 SOS 88428 HAS SOPS 70037 HAS SOUS 60905 HAS SOUPS 53106 WITH SCORE 53194.428
AT ITER 1817 NEW BEST:: SOT 214526 SOS 88423 HAS SOPS 70032 HAS SOUS 60904 HAS SOUPS 53105 WITH SCORE 53193.423
AT ITER 1827 NEW BEST:: SOT 214521 SOS 88418 HAS SOPS 70022 HAS SOUS 60899 HAS SOUPS 53100 WITH SCORE 53188.418
AT ITER 1830 NEW BEST:: SOT 214325 SOS 88096 HAS SOPS 69700 HAS SOUS 60649 HAS SOUPS 52850 WITH SCORE 52938.096
AT ITER 1835 NEW BEST:: SOT 214215 SOS 88095 HAS SOPS 69699 HAS SOUS 60648 HAS SOUPS 52849 WITH SCORE 52937.095
AT ITER 1838 NEW BEST:: SOT 214217 SOS 88040 HAS SOPS 69614 HAS SOUS 60620 HAS SOUPS 52791 WITH SCORE 52879.04
AT ITER 1841 NEW BEST:: SOT 214022 SOS 87795 HAS SOPS 69369 HAS SOUS 60329 HAS SOUPS 52500 WITH SCORE 52587.795
AT ITER 1851 NEW BEST:: SOT 213714 SOS 87483 HAS SOPS 69057 HAS SOUS 60095 HAS SOUPS 52266 WITH SCORE 52353.483
AT ITER 1852 NEW BEST:: SOT 213714 SOS 87482 HAS SOPS 69056 HAS SOUS 60094 HAS SOUPS 52265 WITH SCORE 52352.482
AT ITER 1856 NEW BEST:: SOT 213709 SOS 87472 HAS SOPS 69046 HAS SOUS 60084 HAS SOUPS 52255 WITH SCORE 52342.472
AT ITER 1865 NEW BEST:: SOT 213707 SOS 87428 HAS SOPS 69002 HAS SOUS 60080 HAS SOUPS 52251 WITH SCORE 52338.428
AT ITER 1868 NEW BEST:: SOT 213946 SOS 87425 HAS SOPS 68999 HAS SOUS 60077 HAS SOUPS 52248 WITH SCORE 52335.425
AT ITER 1881 NEW BEST:: SOT 213946 SOS 87442 HAS SOPS 68948 HAS SOUS 60060 HAS SOUPS 52214 WITH SCORE 52301.442
AT ITER 1885 NEW BEST:: SOT 213936 SOS 87432 HAS SOPS 68938 HAS SOUS 60040 HAS SOUPS 52194 WITH SCORE 52281.432
AT ITER 1889 NEW BEST:: SOT 213944 SOS 87494 HAS SOPS 68928 HAS SOUS 60048 HAS SOUPS 52184 WITH SCORE 52271.494
AT ITER 1902 NEW BEST:: SOT 213944 SOS 87627 HAS SOPS 68829 HAS SOUS 59993 HAS SOUPS 52071 WITH SCORE 52158.627
AT ITER 1903 NEW BEST:: SOT 213892 SOS 87590 HAS SOPS 68811 HAS SOUS 59968 HAS SOUPS 52065 WITH SCORE 52152.59
AT ITER 1907 NEW BEST:: SOT 213824 SOS 87522 HAS SOPS 68675 HAS SOUS 59900 HAS SOUPS 51929 WITH SCORE 52016.522
AT ITER 1908 NEW BEST:: SOT 213780 SOS 87604 HAS SOPS 68645 HAS SOUS 60010 HAS SOUPS 51927 WITH SCORE 52014.604
AT ITER 1912 NEW BEST:: SOT 213680 SOS 87271 HAS SOPS 68318 HAS SOUS 59783 HAS SOUPS 51727 WITH SCORE 51814.271
AT ITER 1924 NEW BEST:: SOT 213636 SOS 87266 HAS SOPS 68166 HAS SOUS 59699 HAS SOUPS 51575 WITH SCORE 51662.266
AT ITER 1936 NEW BEST:: SOT 213635 SOS 87265 HAS SOPS 68090 HAS SOUS 59673 HAS SOUPS 51499 WITH SCORE 51586.265
AT ITER 1941 NEW BEST:: SOT 213635 SOS 87251 HAS SOPS 68076 HAS SOUS 59673 HAS SOUPS 51499 WITH SCORE 51586.251
AT ITER 1942 NEW BEST:: SOT 213608 SOS 87248 HAS SOPS 68073 HAS SOUS 59392 HAS SOUPS 51218 WITH SCORE 51305.248
AT ITER 1945 NEW BEST:: SOT 213658 SOS 87350 HAS SOPS 67781 HAS SOUS 59322 HAS SOUPS 50926 WITH SCORE 51013.35
AT ITER 1956 NEW BEST:: SOT 213640 SOS 87314 HAS SOPS 67763 HAS SOUS 59286 HAS SOUPS 50908 WITH SCORE 50995.314
AT ITER 1981 NEW BEST:: SOT 213629 SOS 87303 HAS SOPS 67741 HAS SOUS 59238 HAS SOUPS 50886 WITH SCORE 50973.303
AT ITER 1987 NEW BEST:: SOT 213372 SOS 86941 HAS SOPS 67325 HAS SOUS 59039 HAS SOUPS 50633 WITH SCORE 50719.941
AT ITER 1990 NEW BEST:: SOT 213144 SOS 86678 HAS SOPS 67062 HAS SOUS 58898 HAS SOUPS 50492 WITH SCORE 50578.678
AT ITER 1997 NEW BEST:: SOT 213121 SOS 86644 HAS SOPS 67027 HAS SOUS 58874 HAS SOUPS 50468 WITH SCORE 50554.644
AT ITER 2025 NEW BEST:: SOT 213121 SOS 86626 HAS SOPS 67009 HAS SOUS 58874 HAS SOUPS 50468 WITH SCORE 50554.626
AT ITER 2036 NEW BEST:: SOT 213507 SOS 86903 HAS SOPS 67286 HAS SOUS 58841 HAS SOUPS 50435 WITH SCORE 50521.903
AT ITER 2046 NEW BEST:: SOT 213565 SOS 86961 HAS SOPS 67344 HAS SOUS 58825 HAS SOUPS 50419 WITH SCORE 50505.961
AT ITER 2058 NEW BEST:: SOT 213510 SOS 86876 HAS SOPS 67259 HAS SOUS 58761 HAS SOUPS 50355 WITH SCORE 50441.876
AT ITER 2063 NEW BEST:: SOT 213499 SOS 86865 HAS SOPS 67248 HAS SOUS 58750 HAS SOUPS 50344 WITH SCORE 50430.865
AT ITER 2066 NEW BEST:: SOT 213334 SOS 86510 HAS SOPS 66893 HAS SOUS 58585 HAS SOUPS 50179 WITH SCORE 50265.51
AT ITER 2074 NEW BEST:: SOT 213340 SOS 86516 HAS SOPS 66899 HAS SOUS 58559 HAS SOUPS 50153 WITH SCORE 50239.516
AT ITER 2099 NEW BEST:: SOT 213362 SOS 86535 HAS SOPS 66900 HAS SOUS 58574 HAS SOUPS 50150 WITH SCORE 50236.535
AT ITER 2124 NEW BEST:: SOT 212870 SOS 85715 HAS SOPS 66080 HAS SOUS 58061 HAS SOUPS 49637 WITH SCORE 49722.715
AT ITER 2130 NEW BEST:: SOT 212860 SOS 85705 HAS SOPS 66113 HAS SOUS 57998 HAS SOUPS 49617 WITH SCORE 49702.705
AT ITER 2139 NEW BEST:: SOT 212881 SOS 85156 HAS SOPS 65564 HAS SOUS 57557 HAS SOUPS 49176 WITH SCORE 49261.156
AT ITER 2152 NEW BEST:: SOT 212583 SOS 84859 HAS SOPS 65267 HAS SOUS 57236 HAS SOUPS 48855 WITH SCORE 48939.859
AT ITER 2161 NEW BEST:: SOT 212583 SOS 84704 HAS SOPS 65112 HAS SOUS 57081 HAS SOUPS 48700 WITH SCORE 48784.704
AT ITER 2163 NEW BEST:: SOT 211669 SOS 84083 HAS SOPS 64491 HAS SOUS 56474 HAS SOUPS 48093 WITH SCORE 48177.083
AT ITER 2190 NEW BEST:: SOT 211657 SOS 84128 HAS SOPS 64536 HAS SOUS 56356 HAS SOUPS 47975 WITH SCORE 48059.128
AT ITER 2197 NEW BEST:: SOT 211633 SOS 84032 HAS SOPS 64440 HAS SOUS 56284 HAS SOUPS 47903 WITH SCORE 47987.032
AT ITER 2219 NEW BEST:: SOT 211563 SOS 83328 HAS SOPS 63772 HAS SOUS 56067 HAS SOUPS 47686 WITH SCORE 47769.328
AT ITER 2235 NEW BEST:: SOT 211586 SOS 83351 HAS SOPS 63722 HAS SOUS 56043 HAS SOUPS 47636 WITH SCORE 47719.351
AT ITER 2252 NEW BEST:: SOT 211614 SOS 83317 HAS SOPS 63688 HAS SOUS 56033 HAS SOUPS 47626 WITH SCORE 47709.317
AT ITER 2275 NEW BEST:: SOT 211607 SOS 83296 HAS SOPS 63667 HAS SOUS 56026 HAS SOUPS 47619 WITH SCORE 47702.296
AT ITER 2281 NEW BEST:: SOT 211520 SOS 83088 HAS SOPS 63459 HAS SOUS 55877 HAS SOUPS 47470 WITH SCORE 47553.088
AT ITER 2310 NEW BEST:: SOT 211470 SOS 83038 HAS SOPS 63399 HAS SOUS 55847 HAS SOUPS 47430 WITH SCORE 47513.038
AT ITER 2324 NEW BEST:: SOT 211412 SOS 82864 HAS SOPS 63225 HAS SOUS 55731 HAS SOUPS 47314 WITH SCORE 47396.864
AT ITER 2331 NEW BEST:: SOT 211488 SOS 82944 HAS SOPS 63250 HAS SOUS 55778 HAS SOUPS 47306 WITH SCORE 47388.944
AT ITER 2338 NEW BEST:: SOT 211469 SOS 82887 HAS SOPS 63193 HAS SOUS 55740 HAS SOUPS 47268 WITH SCORE 47350.887
AT ITER 2347 NEW BEST:: SOT 211071 SOS 81781 HAS SOPS 62927 HAS SOUS 55382 HAS SOUPS 47126 WITH SCORE 47207.781
AT ITER 2362 NEW BEST:: SOT 211017 SOS 81727 HAS SOPS 62920 HAS SOUS 55375 HAS SOUPS 47119 WITH SCORE 47200.727
AT ITER 2369 NEW BEST:: SOT 211007 SOS 81646 HAS SOPS 62839 HAS SOUS 55192 HAS SOUPS 46936 WITH SCORE 47017.646
AT ITER 2387 NEW BEST:: SOT 210965 SOS 81604 HAS SOPS 62797 HAS SOUS 55112 HAS SOUPS 46856 WITH SCORE 46937.604
AT ITER 2390 NEW BEST:: SOT 210870 SOS 81996 HAS SOPS 63189 HAS SOUS 55083 HAS SOUPS 46827 WITH SCORE 46908.996
AT ITER 2399 NEW BEST:: SOT 210870 SOS 81847 HAS SOPS 63040 HAS SOUS 54934 HAS SOUPS 46678 WITH SCORE 46759.847
AT ITER 2409 NEW BEST:: SOT 210843 SOS 81787 HAS SOPS 62986 HAS SOUS 54874 HAS SOUPS 46624 WITH SCORE 46705.787
AT ITER 2415 NEW BEST:: SOT 210845 SOS 81790 HAS SOPS 62985 HAS SOUS 54874 HAS SOUPS 46623 WITH SCORE 46704.79
AT ITER 2438 NEW BEST:: SOT 210754 SOS 81699 HAS SOPS 62894 HAS SOUS 54874 HAS SOUPS 46623 WITH SCORE 46704.699
AT ITER 2439 NEW BEST:: SOT 210732 SOS 81589 HAS SOPS 62872 HAS SOUS 54852 HAS SOUPS 46623 WITH SCORE 46704.589
AT ITER 2443 NEW BEST:: SOT 210706 SOS 81537 HAS SOPS 62820 HAS SOUS 54826 HAS SOUPS 46597 WITH SCORE 46678.537
AT ITER 2445 NEW BEST:: SOT 210706 SOS 81524 HAS SOPS 62794 HAS SOUS 54826 HAS SOUPS 46584 WITH SCORE 46665.524
AT ITER 2452 NEW BEST:: SOT 210624 SOS 81400 HAS SOPS 62746 HAS SOUS 54727 HAS SOUPS 46536 WITH SCORE 46617.4
AT ITER 2453 NEW BEST:: SOT 210617 SOS 81393 HAS SOPS 62739 HAS SOUS 54720 HAS SOUPS 46529 WITH SCORE 46610.393
AT ITER 2454 NEW BEST:: SOT 210617 SOS 81383 HAS SOPS 62729 HAS SOUS 54720 HAS SOUPS 46529 WITH SCORE 46610.383
AT ITER 2460 NEW BEST:: SOT 210617 SOS 81287 HAS SOPS 62633 HAS SOUS 54672 HAS SOUPS 46481 WITH SCORE 46562.287
AT ITER 2480 NEW BEST:: SOT 210412 SOS 81417 HAS SOPS 62763 HAS SOUS 54671 HAS SOUPS 46480 WITH SCORE 46561.417
AT ITER 2498 NEW BEST:: SOT 210388 SOS 81385 HAS SOPS 62731 HAS SOUS 54651 HAS SOUPS 46460 WITH SCORE 46541.385
AT ITER 2500 NEW BEST:: SOT 210521 SOS 81582 HAS SOPS 62682 HAS SOUS 54848 HAS SOUPS 46411 WITH SCORE 46492.582
AT ITER 2505 NEW BEST:: SOT 210618 SOS 81626 HAS SOPS 62733 HAS SOUS 54820 HAS SOUPS 46390 WITH SCORE 46471.626
AT ITER 2518 NEW BEST:: SOT 210506 SOS 81427 HAS SOPS 62621 HAS SOUS 54737 HAS SOUPS 46336 WITH SCORE 46417.427
AT ITER 2520 NEW BEST:: SOT 210505 SOS 81426 HAS SOPS 62665 HAS SOUS 54735 HAS SOUPS 46334 WITH SCORE 46415.426
AT ITER 2524 NEW BEST:: SOT 210403 SOS 81198 HAS SOPS 62437 HAS SOUS 54633 HAS SOUPS 46232 WITH SCORE 46313.198
AT ITER 2525 NEW BEST:: SOT 210287 SOS 81053 HAS SOPS 62292 HAS SOUS 54600 HAS SOUPS 46199 WITH SCORE 46280.053
AT ITER 2532 NEW BEST:: SOT 210098 SOS 80691 HAS SOPS 61930 HAS SOUS 54125 HAS SOUPS 45724 WITH SCORE 45804.691
AT ITER 2548 NEW BEST:: SOT 210092 SOS 80545 HAS SOPS 61784 HAS SOUS 54093 HAS SOUPS 45692 WITH SCORE 45772.545
AT ITER 2558 NEW BEST:: SOT 210092 SOS 80545 HAS SOPS 61772 HAS SOUS 54081 HAS SOUPS 45680 WITH SCORE 45760.545
AT ITER 2572 NEW BEST:: SOT 209814 SOS 80368 HAS SOPS 61595 HAS SOUS 53903 HAS SOUPS 45502 WITH SCORE 45582.368
AT ITER 2574 NEW BEST:: SOT 209751 SOS 80305 HAS SOPS 61469 HAS SOUS 53840 HAS SOUPS 45376 WITH SCORE 45456.305
AT ITER 2586 NEW BEST:: SOT 209745 SOS 80299 HAS SOPS 61463 HAS SOUS 53828 HAS SOUPS 45364 WITH SCORE 45444.299
AT ITER 2635 NEW BEST:: SOT 209584 SOS 79584 HAS SOPS 60748 HAS SOUS 53667 HAS SOUPS 45203 WITH SCORE 45282.584
AT ITER 2647 NEW BEST:: SOT 209584 SOS 79605 HAS SOPS 60709 HAS SOUS 53688 HAS SOUPS 45164 WITH SCORE 45243.605
AT ITER 2649 NEW BEST:: SOT 209570 SOS 79580 HAS SOPS 60684 HAS SOUS 53663 HAS SOUPS 45139 WITH SCORE 45218.58
AT ITER 2669 NEW BEST:: SOT 209563 SOS 79573 HAS SOPS 60670 HAS SOUS 53656 HAS SOUPS 45125 WITH SCORE 45204.573
AT ITER 2683 NEW BEST:: SOT 209539 SOS 79573 HAS SOPS 60670 HAS SOUS 53652 HAS SOUPS 45121 WITH SCORE 45200.573
AT ITER 2710 NEW BEST:: SOT 209522 SOS 79518 HAS SOPS 60624 HAS SOUS 53589 HAS SOUPS 45087 WITH SCORE 45166.518
AT ITER 2716 NEW BEST:: SOT 209478 SOS 79460 HAS SOPS 60566 HAS SOUS 53531 HAS SOUPS 45029 WITH SCORE 45108.46
AT ITER 2745 NEW BEST:: SOT 209453 SOS 79444 HAS SOPS 60550 HAS SOUS 53515 HAS SOUPS 45013 WITH SCORE 45092.444
AT ITER 2750 NEW BEST:: SOT 209437 SOS 79428 HAS SOPS 60534 HAS SOUS 53499 HAS SOUPS 44997 WITH SCORE 45076.428
AT ITER 2760 NEW BEST:: SOT 209433 SOS 79424 HAS SOPS 60526 HAS SOUS 53491 HAS SOUPS 44989 WITH SCORE 45068.424
AT ITER 2766 NEW BEST:: SOT 209414 SOS 79405 HAS SOPS 60507 HAS SOUS 53364 HAS SOUPS 44862 WITH SCORE 44941.405
AT ITER 2771 NEW BEST:: SOT 209385 SOS 79376 HAS SOPS 60478 HAS SOUS 53335 HAS SOUPS 44833 WITH SCORE 44912.376
AT ITER 2775 NEW BEST:: SOT 209440 SOS 79286 HAS SOPS 60388 HAS SOUS 53246 HAS SOUPS 44744 WITH SCORE 44823.286
AT ITER 2777 NEW BEST:: SOT 209428 SOS 79271 HAS SOPS 60373 HAS SOUS 53235 HAS SOUPS 44733 WITH SCORE 44812.271
AT ITER 2784 NEW BEST:: SOT 209428 SOS 79330 HAS SOPS 60352 HAS SOUS 53234 HAS SOUPS 44712 WITH SCORE 44791.33
AT ITER 2796 NEW BEST:: SOT 209422 SOS 79334 HAS SOPS 60336 HAS SOUS 53228 HAS SOUPS 44696 WITH SCORE 44775.334
AT ITER 2801 NEW BEST:: SOT 209298 SOS 78720 HAS SOPS 60298 HAS SOUS 53083 HAS SOUPS 44695 WITH SCORE 44773.72
AT ITER 2809 NEW BEST:: SOT 209280 SOS 78702 HAS SOPS 60345 HAS SOUS 52982 HAS SOUPS 44659 WITH SCORE 44737.702
AT ITER 2812 NEW BEST:: SOT 209280 SOS 78628 HAS SOPS 60271 HAS SOUS 52908 HAS SOUPS 44585 WITH SCORE 44663.628
AT ITER 2857 NEW BEST:: SOT 209215 SOS 78331 HAS SOPS 60257 HAS SOUS 52785 HAS SOUPS 44571 WITH SCORE 44649.331
AT ITER 2858 NEW BEST:: SOT 209171 SOS 78221 HAS SOPS 60147 HAS SOUS 52761 HAS SOUPS 44547 WITH SCORE 44625.221
AT ITER 2876 NEW BEST:: SOT 209166 SOS 78232 HAS SOPS 60158 HAS SOUS 52736 HAS SOUPS 44522 WITH SCORE 44600.232
AT ITER 2881 NEW BEST:: SOT 209126 SOS 78163 HAS SOPS 60040 HAS SOUS 52684 HAS SOUPS 44437 WITH SCORE 44515.163
AT ITER 2892 NEW BEST:: SOT 209104 SOS 78153 HAS SOPS 59986 HAS SOUS 52630 HAS SOUPS 44383 WITH SCORE 44461.153
AT ITER 2900 NEW BEST:: SOT 209084 SOS 78103 HAS SOPS 59936 HAS SOUS 52620 HAS SOUPS 44373 WITH SCORE 44451.103
AT ITER 2908 NEW BEST:: SOT 209078 SOS 78091 HAS SOPS 59924 HAS SOUS 52614 HAS SOUPS 44367 WITH SCORE 44445.091
AT ITER 2915 NEW BEST:: SOT 208963 SOS 77991 HAS SOPS 59905 HAS SOUS 52514 HAS SOUPS 44348 WITH SCORE 44425.991
AT ITER 2918 NEW BEST:: SOT 208951 SOS 77979 HAS SOPS 59853 HAS SOUS 52530 HAS SOUPS 44324 WITH SCORE 44401.979
AT ITER 2929 NEW BEST:: SOT 208941 SOS 77954 HAS SOPS 59790 HAS SOUS 52516 HAS SOUPS 44272 WITH SCORE 44349.954
AT ITER 2930 NEW BEST:: SOT 208914 SOS 77900 HAS SOPS 59736 HAS SOUS 52489 HAS SOUPS 44245 WITH SCORE 44322.9
AT ITER 2937 NEW BEST:: SOT 208906 SOS 77892 HAS SOPS 59720 HAS SOUS 52481 HAS SOUPS 44229 WITH SCORE 44306.892
AT ITER 2941 NEW BEST:: SOT 208841 SOS 77601 HAS SOPS 59720 HAS SOUS 52416 HAS SOUPS 44229 WITH SCORE 44306.601
AT ITER 2944 NEW BEST:: SOT 208928 SOS 78419 HAS SOPS 59547 HAS SOUS 52539 HAS SOUPS 44056 WITH SCORE 44134.419
AT ITER 2949 NEW BEST:: SOT 208919 SOS 78410 HAS SOPS 59529 HAS SOUS 52521 HAS SOUPS 44038 WITH SCORE 44116.41
AT ITER 2959 NEW BEST:: SOT 208858 SOS 78349 HAS SOPS 59435 HAS SOUS 52493 HAS SOUPS 43977 WITH SCORE 44055.349
AT ITER 2971 NEW BEST:: SOT 208794 SOS 78273 HAS SOPS 59359 HAS SOUS 52449 HAS SOUPS 43933 WITH SCORE 44011.273
AT ITER 2973 NEW BEST:: SOT 208791 SOS 78270 HAS SOPS 59356 HAS SOUS 52448 HAS SOUPS 43932 WITH SCORE 44010.27
AT ITER 2987 NEW BEST:: SOT 208786 SOS 78236 HAS SOPS 59322 HAS SOUS 52419 HAS SOUPS 43903 WITH SCORE 43981.236
AT ITER 2999 NEW BEST:: SOT 208738 SOS 78176 HAS SOPS 59262 HAS SOUS 52380 HAS SOUPS 43864 WITH SCORE 43942.176
AT ITER 3014 NEW BEST:: SOT 208738 SOS 78176 HAS SOPS 59262 HAS SOUS 52378 HAS SOUPS 43862 WITH SCORE 43940.176
AT ITER 3033 NEW BEST:: SOT 208699 SOS 78137 HAS SOPS 59223 HAS SOUS 52377 HAS SOUPS 43861 WITH SCORE 43939.137
AT ITER 3043 NEW BEST:: SOT 208626 SOS 78137 HAS SOPS 59150 HAS SOUS 52377 HAS SOUPS 43788 WITH SCORE 43866.137
AT ITER 3050 NEW BEST:: SOT 208575 SOS 77397 HAS SOPS 59099 HAS SOUS 52151 HAS SOUPS 43737 WITH SCORE 43814.397
AT ITER 3081 NEW BEST:: SOT 208575 SOS 77281 HAS SOPS 58983 HAS SOUS 52151 HAS SOUPS 43737 WITH SCORE 43814.281
AT ITER 3112 NEW BEST:: SOT 208510 SOS 77253 HAS SOPS 58869 HAS SOUS 52092 HAS SOUPS 43623 WITH SCORE 43700.253
AT ITER 3119 NEW BEST:: SOT 208308 SOS 77017 HAS SOPS 58853 HAS SOUS 51866 HAS SOUPS 43617 WITH SCORE 43694.017
AT ITER 3122 NEW BEST:: SOT 208308 SOS 76999 HAS SOPS 58835 HAS SOUS 51854 HAS SOUPS 43605 WITH SCORE 43681.999
AT ITER 3123 NEW BEST:: SOT 208015 SOS 76697 HAS SOPS 58533 HAS SOUS 51805 HAS SOUPS 43556 WITH SCORE 43632.697
AT ITER 3128 NEW BEST:: SOT 208015 SOS 76634 HAS SOPS 58470 HAS SOUS 51764 HAS SOUPS 43515 WITH SCORE 43591.634
AT ITER 3130 NEW BEST:: SOT 208006 SOS 76625 HAS SOPS 58452 HAS SOUS 51755 HAS SOUPS 43497 WITH SCORE 43573.625
AT ITER 3140 NEW BEST:: SOT 207968 SOS 76539 HAS SOPS 58366 HAS SOUS 51717 HAS SOUPS 43459 WITH SCORE 43535.539
AT ITER 3142 NEW BEST:: SOT 207891 SOS 76462 HAS SOPS 58224 HAS SOUS 51695 HAS SOUPS 43372 WITH SCORE 43448.462
AT ITER 3147 NEW BEST:: SOT 207883 SOS 76456 HAS SOPS 58218 HAS SOUS 51687 HAS SOUPS 43364 WITH SCORE 43440.456
AT ITER 3152 NEW BEST:: SOT 207885 SOS 76532 HAS SOPS 58222 HAS SOUS 51689 HAS SOUPS 43331 WITH SCORE 43407.532
AT ITER 3168 NEW BEST:: SOT 207859 SOS 76506 HAS SOPS 58196 HAS SOUS 51663 HAS SOUPS 43305 WITH SCORE 43381.506
AT ITER 3184 NEW BEST:: SOT 207694 SOS 76469 HAS SOPS 58159 HAS SOUS 51600 HAS SOUPS 43242 WITH SCORE 43318.469
AT ITER 3192 NEW BEST:: SOT 207602 SOS 76331 HAS SOPS 58021 HAS SOUS 51466 HAS SOUPS 43108 WITH SCORE 43184.331
AT ITER 3209 NEW BEST:: SOT 207571 SOS 76300 HAS SOPS 57990 HAS SOUS 51435 HAS SOUPS 43077 WITH SCORE 43153.3
AT ITER 3235 NEW BEST:: SOT 207577 SOS 76306 HAS SOPS 57975 HAS SOUS 51420 HAS SOUPS 43062 WITH SCORE 43138.306
AT ITER 3242 NEW BEST:: SOT 207631 SOS 76376 HAS SOPS 58045 HAS SOUS 51383 HAS SOUPS 43025 WITH SCORE 43101.376
AT ITER 3261 NEW BEST:: SOT 207641 SOS 76267 HAS SOPS 57936 HAS SOUS 51319 HAS SOUPS 42961 WITH SCORE 43037.267
AT ITER 3287 NEW BEST:: SOT 207622 SOS 76185 HAS SOPS 57854 HAS SOUS 51279 HAS SOUPS 42921 WITH SCORE 42997.185
AT ITER 3306 NEW BEST:: SOT 207336 SOS 75746 HAS SOPS 57415 HAS SOUS 51192 HAS SOUPS 42834 WITH SCORE 42909.746
AT ITER 3308 NEW BEST:: SOT 207485 SOS 75576 HAS SOPS 57245 HAS SOUS 51080 HAS SOUPS 42722 WITH SCORE 42797.576
AT ITER 3321 NEW BEST:: SOT 207485 SOS 75555 HAS SOPS 57245 HAS SOUS 51059 HAS SOUPS 42722 WITH SCORE 42797.555
AT ITER 3333 NEW BEST:: SOT 207471 SOS 75583 HAS SOPS 57273 HAS SOUS 51036 HAS SOUPS 42699 WITH SCORE 42774.583
AT ITER 3349 NEW BEST:: SOT 207515 SOS 75627 HAS SOPS 57253 HAS SOUS 51080 HAS SOUPS 42679 WITH SCORE 42754.627
AT ITER 3363 NEW BEST:: SOT 207515 SOS 75552 HAS SOPS 57178 HAS SOUS 51080 HAS SOUPS 42679 WITH SCORE 42754.552
AT ITER 3367 NEW BEST:: SOT 207487 SOS 75440 HAS SOPS 57178 HAS SOUS 51052 HAS SOUPS 42679 WITH SCORE 42754.44
AT ITER 3378 NEW BEST:: SOT 207485 SOS 75369 HAS SOPS 57105 HAS SOUS 50981 HAS SOUPS 42606 WITH SCORE 42681.369
AT ITER 3403 NEW BEST:: SOT 207493 SOS 75353 HAS SOPS 57089 HAS SOUS 50965 HAS SOUPS 42590 WITH SCORE 42665.353
AT ITER 3412 NEW BEST:: SOT 207523 SOS 75330 HAS SOPS 57066 HAS SOUS 50918 HAS SOUPS 42543 WITH SCORE 42618.33
AT ITER 3419 NEW BEST:: SOT 207556 SOS 75316 HAS SOPS 57052 HAS SOUS 50904 HAS SOUPS 42529 WITH SCORE 42604.316
AT ITER 3457 NEW BEST:: SOT 207436 SOS 75196 HAS SOPS 56932 HAS SOUS 50735 HAS SOUPS 42360 WITH SCORE 42435.196
AT ITER 3465 NEW BEST:: SOT 207391 SOS 75155 HAS SOPS 56891 HAS SOUS 50707 HAS SOUPS 42332 WITH SCORE 42407.155
AT ITER 3473 NEW BEST:: SOT 207510 SOS 75274 HAS SOPS 57010 HAS SOUS 50570 HAS SOUPS 42195 WITH SCORE 42270.274
AT ITER 3475 NEW BEST:: SOT 207507 SOS 75271 HAS SOPS 57007 HAS SOUS 50567 HAS SOUPS 42192 WITH SCORE 42267.271
AT ITER 3476 NEW BEST:: SOT 207504 SOS 75267 HAS SOPS 57001 HAS SOUS 50563 HAS SOUPS 42186 WITH SCORE 42261.267
AT ITER 3478 NEW BEST:: SOT 207515 SOS 75257 HAS SOPS 56991 HAS SOUS 50553 HAS SOUPS 42176 WITH SCORE 42251.257
AT ITER 3495 NEW BEST:: SOT 207485 SOS 75425 HAS SOPS 57159 HAS SOUS 50539 HAS SOUPS 42162 WITH SCORE 42237.425
AT ITER 3497 NEW BEST:: SOT 207479 SOS 75410 HAS SOPS 57144 HAS SOUS 50524 HAS SOUPS 42147 WITH SCORE 42222.41
AT ITER 3510 NEW BEST:: SOT 207450 SOS 75381 HAS SOPS 57086 HAS SOUS 50495 HAS SOUPS 42118 WITH SCORE 42193.381
AT ITER 3530 NEW BEST:: SOT 207450 SOS 75309 HAS SOPS 57014 HAS SOUS 50473 HAS SOUPS 42096 WITH SCORE 42171.309
AT ITER 3538 NEW BEST:: SOT 207450 SOS 75260 HAS SOPS 56965 HAS SOUS 50444 HAS SOUPS 42067 WITH SCORE 42142.26
AT ITER 3541 NEW BEST:: SOT 207328 SOS 75068 HAS SOPS 56773 HAS SOUS 50404 HAS SOUPS 42027 WITH SCORE 42102.068
AT ITER 3557 NEW BEST:: SOT 207271 SOS 75011 HAS SOPS 56682 HAS SOUS 50381 HAS SOUPS 41970 WITH SCORE 42045.011
AT ITER 3580 NEW BEST:: SOT 207266 SOS 75006 HAS SOPS 56677 HAS SOUS 50381 HAS SOUPS 41970 WITH SCORE 42045.006
AT ITER 3585 NEW BEST:: SOT 207266 SOS 74999 HAS SOPS 56663 HAS SOUS 50374 HAS SOUPS 41956 WITH SCORE 42030.999
AT ITER 3588 NEW BEST:: SOT 207182 SOS 74831 HAS SOPS 56579 HAS SOUS 50311 HAS SOUPS 41914 WITH SCORE 41988.831
AT ITER 3602 NEW BEST:: SOT 207116 SOS 74840 HAS SOPS 56588 HAS SOUS 50188 HAS SOUPS 41791 WITH SCORE 41865.84
AT ITER 3626 NEW BEST:: SOT 207152 SOS 74740 HAS SOPS 56488 HAS SOUS 50151 HAS SOUPS 41754 WITH SCORE 41828.74
AT ITER 3635 NEW BEST:: SOT 207152 SOS 74128 HAS SOPS 56488 HAS SOUS 50151 HAS SOUPS 41754 WITH SCORE 41828.128
AT ITER 3644 NEW BEST:: SOT 207152 SOS 74042 HAS SOPS 56488 HAS SOUS 50065 HAS SOUPS 41754 WITH SCORE 41828.042
AT ITER 3656 NEW BEST:: SOT 207152 SOS 74045 HAS SOPS 56479 HAS SOUS 50062 HAS SOUPS 41748 WITH SCORE 41822.045
AT ITER 3673 NEW BEST:: SOT 207123 SOS 74016 HAS SOPS 56421 HAS SOUS 50032 HAS SOUPS 41718 WITH SCORE 41792.016
AT ITER 3676 NEW BEST:: SOT 207103 SOS 73938 HAS SOPS 56381 HAS SOUS 49992 HAS SOUPS 41678 WITH SCORE 41751.938
AT ITER 3680 NEW BEST:: SOT 207103 SOS 73922 HAS SOPS 56373 HAS SOUS 49992 HAS SOUPS 41678 WITH SCORE 41751.922
AT ITER 3682 NEW BEST:: SOT 207018 SOS 73593 HAS SOPS 56203 HAS SOUS 49944 HAS SOUPS 41630 WITH SCORE 41703.593
AT ITER 3687 NEW BEST:: SOT 207027 SOS 73635 HAS SOPS 56212 HAS SOUS 49953 HAS SOUPS 41628 WITH SCORE 41701.635
AT ITER 3702 NEW BEST:: SOT 207067 SOS 73739 HAS SOPS 56200 HAS SOUS 50020 HAS SOUPS 41616 WITH SCORE 41689.739
AT ITER 3721 NEW BEST:: SOT 207067 SOS 73728 HAS SOPS 56200 HAS SOUS 50020 HAS SOUPS 41616 WITH SCORE 41689.728
AT ITER 3731 NEW BEST:: SOT 206939 SOS 73533 HAS SOPS 56133 HAS SOUS 49840 HAS SOUPS 41564 WITH SCORE 41637.533
AT ITER 3735 NEW BEST:: SOT 206894 SOS 73479 HAS SOPS 56079 HAS SOUS 49786 HAS SOUPS 41510 WITH SCORE 41583.479
AT ITER 3738 NEW BEST:: SOT 206771 SOS 73348 HAS SOPS 56071 HAS SOUS 49655 HAS SOUPS 41502 WITH SCORE 41575.348
AT ITER 3780 NEW BEST:: SOT 206771 SOS 73156 HAS SOPS 55783 HAS SOUS 49559 HAS SOUPS 41310 WITH SCORE 41383.156
AT ITER 3793 NEW BEST:: SOT 206755 SOS 73140 HAS SOPS 55759 HAS SOUS 49559 HAS SOUPS 41302 WITH SCORE 41375.14
AT ITER 3817 NEW BEST:: SOT 206774 SOS 73437 HAS SOPS 55691 HAS SOUS 49675 HAS SOUPS 41234 WITH SCORE 41307.437
AT ITER 3836 NEW BEST:: SOT 206768 SOS 73425 HAS SOPS 55679 HAS SOUS 49663 HAS SOUPS 41222 WITH SCORE 41295.425
AT ITER 3856 NEW BEST:: SOT 206739 SOS 73312 HAS SOPS 55566 HAS SOUS 49550 HAS SOUPS 41109 WITH SCORE 41182.312
AT ITER 3879 NEW BEST:: SOT 206695 SOS 73010 HAS SOPS 55522 HAS SOUS 49332 HAS SOUPS 41065 WITH SCORE 41138.01
AT ITER 3952 NEW BEST:: SOT 206650 SOS 72963 HAS SOPS 55477 HAS SOUS 49285 HAS SOUPS 41020 WITH SCORE 41092.963
AT ITER 3957 NEW BEST:: SOT 206652 SOS 72933 HAS SOPS 55447 HAS SOUS 49279 HAS SOUPS 41014 WITH SCORE 41086.933
AT ITER 3960 NEW BEST:: SOT 206634 SOS 72906 HAS SOPS 55435 HAS SOUS 49252 HAS SOUPS 41002 WITH SCORE 41074.906
AT ITER 3970 NEW BEST:: SOT 206586 SOS 72858 HAS SOPS 55387 HAS SOUS 49252 HAS SOUPS 41002 WITH SCORE 41074.858
AT ITER 4002 NEW BEST:: SOT 206616 SOS 72854 HAS SOPS 55383 HAS SOUS 49214 HAS SOUPS 40964 WITH SCORE 41036.854
AT ITER 4021 NEW BEST:: SOT 206599 SOS 72638 HAS SOPS 55167 HAS SOUS 49097 HAS SOUPS 40847 WITH SCORE 40919.638
AT ITER 4028 NEW BEST:: SOT 206599 SOS 72467 HAS SOPS 55167 HAS SOUS 49097 HAS SOUPS 40847 WITH SCORE 40919.467
AT ITER 4048 NEW BEST:: SOT 206431 SOS 72276 HAS SOPS 54976 HAS SOUS 49051 HAS SOUPS 40801 WITH SCORE 40873.276
AT ITER 4071 NEW BEST:: SOT 206398 SOS 72183 HAS SOPS 54883 HAS SOUS 48958 HAS SOUPS 40708 WITH SCORE 40780.183
AT ITER 4125 NEW BEST:: SOT 206362 SOS 72147 HAS SOPS 54847 HAS SOUS 48922 HAS SOUPS 40672 WITH SCORE 40744.147
AT ITER 4128 NEW BEST:: SOT 206266 SOS 72025 HAS SOPS 54751 HAS SOUS 48832 HAS SOUPS 40608 WITH SCORE 40680.025
AT ITER 4132 NEW BEST:: SOT 206184 SOS 71943 HAS SOPS 54669 HAS SOUS 48750 HAS SOUPS 40526 WITH SCORE 40597.943
AT ITER 4164 NEW BEST:: SOT 205832 SOS 71895 HAS SOPS 54621 HAS SOUS 48702 HAS SOUPS 40478 WITH SCORE 40549.895
AT ITER 4181 NEW BEST:: SOT 205852 SOS 71822 HAS SOPS 54548 HAS SOUS 48660 HAS SOUPS 40436 WITH SCORE 40507.822
AT ITER 4190 NEW BEST:: SOT 205859 SOS 71829 HAS SOPS 54555 HAS SOUS 48624 HAS SOUPS 40400 WITH SCORE 40471.829
AT ITER 4200 NEW BEST:: SOT 205853 SOS 71789 HAS SOPS 54537 HAS SOUS 48611 HAS SOUPS 40387 WITH SCORE 40458.789
AT ITER 4210 NEW BEST:: SOT 205815 SOS 71635 HAS SOPS 54383 HAS SOUS 48543 HAS SOUPS 40319 WITH SCORE 40390.635
AT ITER 4219 NEW BEST:: SOT 205844 SOS 71891 HAS SOPS 54412 HAS SOUS 48540 HAS SOUPS 40255 WITH SCORE 40326.891
AT ITER 4240 NEW BEST:: SOT 205812 SOS 71795 HAS SOPS 54316 HAS SOUS 48492 HAS SOUPS 40207 WITH SCORE 40278.795
AT ITER 4288 NEW BEST:: SOT 205809 SOS 71744 HAS SOPS 54265 HAS SOUS 48486 HAS SOUPS 40201 WITH SCORE 40272.744
AT ITER 4296 NEW BEST:: SOT 205774 SOS 71715 HAS SOPS 54236 HAS SOUS 48365 HAS SOUPS 40080 WITH SCORE 40151.715
AT ITER 4325 NEW BEST:: SOT 205773 SOS 71729 HAS SOPS 54234 HAS SOUS 48363 HAS SOUPS 40078 WITH SCORE 40149.729
AT ITER 4411 NEW BEST:: SOT 205747 SOS 71787 HAS SOPS 54292 HAS SOUS 48361 HAS SOUPS 40076 WITH SCORE 40147.787
AT ITER 4413 NEW BEST:: SOT 205715 SOS 71749 HAS SOPS 54254 HAS SOUS 48303 HAS SOUPS 40018 WITH SCORE 40089.749
AT ITER 4422 NEW BEST:: SOT 205697 SOS 71731 HAS SOPS 54236 HAS SOUS 48285 HAS SOUPS 40000 WITH SCORE 40071.731
AT ITER 4423 NEW BEST:: SOT 205697 SOS 71716 HAS SOPS 54120 HAS SOUS 48227 HAS SOUPS 39942 WITH SCORE 40013.716
AT ITER 4455 NEW BEST:: SOT 205681 SOS 71674 HAS SOPS 54078 HAS SOUS 48201 HAS SOUPS 39916 WITH SCORE 39987.674
AT ITER 4469 NEW BEST:: SOT 205650 SOS 71569 HAS SOPS 54013 HAS SOUS 48130 HAS SOUPS 39885 WITH SCORE 39956.569
AT ITER 4473 NEW BEST:: SOT 205627 SOS 71523 HAS SOPS 54013 HAS SOUS 48084 HAS SOUPS 39885 WITH SCORE 39956.523
AT ITER 4492 NEW BEST:: SOT 205692 SOS 71779 HAS SOPS 53996 HAS SOUS 48132 HAS SOUPS 39851 WITH SCORE 39922.779
AT ITER 4496 NEW BEST:: SOT 205556 SOS 71643 HAS SOPS 53860 HAS SOUS 48070 HAS SOUPS 39789 WITH SCORE 39860.643
AT ITER 4552 NEW BEST:: SOT 205393 SOS 71480 HAS SOPS 53697 HAS SOUS 47971 HAS SOUPS 39690 WITH SCORE 39761.48
AT ITER 4557 NEW BEST:: SOT 205363 SOS 71360 HAS SOPS 53697 HAS SOUS 47941 HAS SOUPS 39690 WITH SCORE 39761.36
AT ITER 4559 NEW BEST:: SOT 205253 SOS 70700 HAS SOPS 53037 HAS SOUS 47721 HAS SOUPS 39470 WITH SCORE 39540.7
AT ITER 4560 NEW BEST:: SOT 205253 SOS 70686 HAS SOPS 53023 HAS SOUS 47707 HAS SOUPS 39456 WITH SCORE 39526.686
AT ITER 4571 NEW BEST:: SOT 205140 SOS 70312 HAS SOPS 52649 HAS SOUS 47446 HAS SOUPS 39195 WITH SCORE 39265.312
AT ITER 4655 NEW BEST:: SOT 205145 SOS 70317 HAS SOPS 52642 HAS SOUS 47451 HAS SOUPS 39188 WITH SCORE 39258.317
AT ITER 4673 NEW BEST:: SOT 205133 SOS 70293 HAS SOPS 52618 HAS SOUS 47445 HAS SOUPS 39182 WITH SCORE 39252.293
AT ITER 4675 NEW BEST:: SOT 205147 SOS 70332 HAS SOPS 52613 HAS SOUS 47440 HAS SOUPS 39177 WITH SCORE 39247.332
AT ITER 4680 NEW BEST:: SOT 205118 SOS 70228 HAS SOPS 52509 HAS SOUS 47386 HAS SOUPS 39123 WITH SCORE 39193.228
AT ITER 4723 NEW BEST:: SOT 205070 SOS 70180 HAS SOPS 52420 HAS SOUS 47401 HAS SOUPS 39097 WITH SCORE 39167.18
AT ITER 4726 NEW BEST:: SOT 205065 SOS 70113 HAS SOPS 52353 HAS SOUS 47364 HAS SOUPS 39060 WITH SCORE 39130.113
AT ITER 4735 NEW BEST:: SOT 205023 SOS 70582 HAS SOPS 52293 HAS SOUS 47569 HAS SOUPS 39000 WITH SCORE 39070.582
AT ITER 4746 NEW BEST:: SOT 205045 SOS 70546 HAS SOPS 52239 HAS SOUS 47533 HAS SOUPS 38946 WITH SCORE 39016.546
AT ITER 4784 NEW BEST:: SOT 204963 SOS 70481 HAS SOPS 52174 HAS SOUS 47494 HAS SOUPS 38907 WITH SCORE 38977.481
AT ITER 4798 NEW BEST:: SOT 204925 SOS 70405 HAS SOPS 52098 HAS SOUS 47459 HAS SOUPS 38872 WITH SCORE 38942.405
AT ITER 4814 NEW BEST:: SOT 204920 SOS 70400 HAS SOPS 52093 HAS SOUS 47454 HAS SOUPS 38867 WITH SCORE 38937.4
AT ITER 4839 NEW BEST:: SOT 204920 SOS 70308 HAS SOPS 52001 HAS SOUS 47431 HAS SOUPS 38844 WITH SCORE 38914.308
AT ITER 4848 NEW BEST:: SOT 204920 SOS 70323 HAS SOPS 51996 HAS SOUS 47431 HAS SOUPS 38839 WITH SCORE 38909.323
AT ITER 4856 NEW BEST:: SOT 204800 SOS 70301 HAS SOPS 51926 HAS SOUS 47407 HAS SOUPS 38767 WITH SCORE 38837.301
AT ITER 4861 NEW BEST:: SOT 204800 SOS 70378 HAS SOPS 51825 HAS SOUS 47484 HAS SOUPS 38666 WITH SCORE 38736.378
AT ITER 4866 NEW BEST:: SOT 204798 SOS 70376 HAS SOPS 51821 HAS SOUS 47482 HAS SOUPS 38662 WITH SCORE 38732.376
AT ITER 4869 NEW BEST:: SOT 204782 SOS 70360 HAS SOPS 51805 HAS SOUS 47466 HAS SOUPS 38646 WITH SCORE 38716.36
AT ITER 4872 NEW BEST:: SOT 204774 SOS 70352 HAS SOPS 51797 HAS SOUS 47459 HAS SOUPS 38639 WITH SCORE 38709.352
AT ITER 4886 NEW BEST:: SOT 204770 SOS 70224 HAS SOPS 51669 HAS SOUS 47451 HAS SOUPS 38631 WITH SCORE 38701.224
AT ITER 4890 NEW BEST:: SOT 204762 SOS 70216 HAS SOPS 51661 HAS SOUS 47435 HAS SOUPS 38615 WITH SCORE 38685.216
AT ITER 4896 NEW BEST:: SOT 204741 SOS 70132 HAS SOPS 51661 HAS SOUS 47414 HAS SOUPS 38615 WITH SCORE 38685.132
AT ITER 4898 NEW BEST:: SOT 204721 SOS 70063 HAS SOPS 51651 HAS SOUS 47394 HAS SOUPS 38610 WITH SCORE 38680.063
AT ITER 4907 NEW BEST:: SOT 204783 SOS 70001 HAS SOPS 51589 HAS SOUS 47394 HAS SOUPS 38610 WITH SCORE 38680.001
AT ITER 4913 NEW BEST:: SOT 204767 SOS 69985 HAS SOPS 51573 HAS SOUS 47378 HAS SOUPS 38594 WITH SCORE 38663.985
AT ITER 4915 NEW BEST:: SOT 204714 SOS 69932 HAS SOPS 51520 HAS SOUS 47341 HAS SOUPS 38557 WITH SCORE 38626.932
AT ITER 4936 NEW BEST:: SOT 204846 SOS 70052 HAS SOPS 51535 HAS SOUS 47434 HAS SOUPS 38545 WITH SCORE 38615.052
AT ITER 4939 NEW BEST:: SOT 204795 SOS 69975 HAS SOPS 51458 HAS SOUS 47376 HAS SOUPS 38487 WITH SCORE 38556.975
AT ITER 4945 NEW BEST:: SOT 204795 SOS 69990 HAS SOPS 51437 HAS SOUS 47373 HAS SOUPS 38475 WITH SCORE 38544.99
AT ITER 4947 NEW BEST:: SOT 204793 SOS 69988 HAS SOPS 51435 HAS SOUS 47372 HAS SOUPS 38474 WITH SCORE 38543.988
AT ITER 4962 NEW BEST:: SOT 204799 SOS 69994 HAS SOPS 51441 HAS SOUS 47212 HAS SOUPS 38314 WITH SCORE 38383.994
AT ITER 4986 NEW BEST:: SOT 204732 SOS 69709 HAS SOPS 51374 HAS SOUS 47079 HAS SOUPS 38301 WITH SCORE 38370.709
AT ITER 5008 NEW BEST:: SOT 204732 SOS 70122 HAS SOPS 51307 HAS SOUS 47132 HAS SOUPS 38234 WITH SCORE 38304.122
AT ITER 5025 NEW BEST:: SOT 204712 SOS 70102 HAS SOPS 51287 HAS SOUS 47128 HAS SOUPS 38230 WITH SCORE 38300.102
AT ITER 5038 NEW BEST:: SOT 204766 SOS 70019 HAS SOPS 51204 HAS SOUS 47045 HAS SOUPS 38147 WITH SCORE 38217.019
AT ITER 5049 NEW BEST:: SOT 204675 SOS 70014 HAS SOPS 51121 HAS SOUS 47032 HAS SOUPS 38056 WITH SCORE 38126.014
AT ITER 5070 NEW BEST:: SOT 204675 SOS 70013 HAS SOPS 51120 HAS SOUS 47032 HAS SOUPS 38056 WITH SCORE 38126.013
AT ITER 5091 NEW BEST:: SOT 204663 SOS 70001 HAS SOPS 51108 HAS SOUS 47026 HAS SOUPS 38050 WITH SCORE 38120.001
AT ITER 5098 NEW BEST:: SOT 204699 SOS 70037 HAS SOPS 51144 HAS SOUS 47008 HAS SOUPS 38032 WITH SCORE 38102.037
AT ITER 5099 NEW BEST:: SOT 204699 SOS 70031 HAS SOPS 51144 HAS SOUS 47008 HAS SOUPS 38032 WITH SCORE 38102.031
AT ITER 5128 NEW BEST:: SOT 204699 SOS 69962 HAS SOPS 51075 HAS SOUS 46939 HAS SOUPS 37963 WITH SCORE 38032.962
AT ITER 5144 NEW BEST:: SOT 204654 SOS 69917 HAS SOPS 51075 HAS SOUS 46894 HAS SOUPS 37963 WITH SCORE 38032.917
AT ITER 5145 NEW BEST:: SOT 204706 SOS 69969 HAS SOPS 51127 HAS SOUS 46892 HAS SOUPS 37961 WITH SCORE 38030.969
AT ITER 5150 NEW BEST:: SOT 204699 SOS 69927 HAS SOPS 51092 HAS SOUS 46871 HAS SOUPS 37947 WITH SCORE 38016.927
AT ITER 5175 NEW BEST:: SOT 204683 SOS 69887 HAS SOPS 51052 HAS SOUS 46847 HAS SOUPS 37923 WITH SCORE 37992.887
AT ITER 5193 NEW BEST:: SOT 204818 SOS 70438 HAS SOPS 51044 HAS SOUS 46982 HAS SOUPS 37915 WITH SCORE 37985.438
AT ITER 5227 NEW BEST:: SOT 204818 SOS 70376 HAS SOPS 51044 HAS SOUS 46920 HAS SOUPS 37915 WITH SCORE 37985.376
AT ITER 5278 NEW BEST:: SOT 204753 SOS 70234 HAS SOPS 50902 HAS SOUS 46825 HAS SOUPS 37820 WITH SCORE 37890.234
AT ITER 5279 NEW BEST:: SOT 204753 SOS 70234 HAS SOPS 50902 HAS SOUS 46775 HAS SOUPS 37770 WITH SCORE 37840.234
AT ITER 5280 NEW BEST:: SOT 204753 SOS 70222 HAS SOPS 50890 HAS SOUS 46775 HAS SOUPS 37770 WITH SCORE 37840.222
AT ITER 5287 NEW BEST:: SOT 204735 SOS 70204 HAS SOPS 50890 HAS SOUS 46757 HAS SOUPS 37752 WITH SCORE 37822.204
AT ITER 5328 NEW BEST:: SOT 204727 SOS 70191 HAS SOPS 50877 HAS SOUS 46752 HAS SOUPS 37747 WITH SCORE 37817.191
AT ITER 5384 NEW BEST:: SOT 204707 SOS 70171 HAS SOPS 50837 HAS SOUS 46762 HAS SOUPS 37737 WITH SCORE 37807.171
AT ITER 5390 NEW BEST:: SOT 204726 SOS 71535 HAS SOPS 52201 HAS SOUS 46677 HAS SOUPS 37652 WITH SCORE 37723.535
AT ITER 5440 NEW BEST:: SOT 204735 SOS 71582 HAS SOPS 52171 HAS SOUS 46724 HAS SOUPS 37622 WITH SCORE 37693.582
AT ITER 5467 NEW BEST:: SOT 204661 SOS 71562 HAS SOPS 52151 HAS SOUS 46704 HAS SOUPS 37602 WITH SCORE 37673.562
AT ITER 5473 NEW BEST:: SOT 204627 SOS 71528 HAS SOPS 52117 HAS SOUS 46687 HAS SOUPS 37585 WITH SCORE 37656.528
AT ITER 5493 NEW BEST:: SOT 204611 SOS 71512 HAS SOPS 52093 HAS SOUS 46679 HAS SOUPS 37569 WITH SCORE 37640.512
AT ITER 5499 NEW BEST:: SOT 204557 SOS 71370 HAS SOPS 51951 HAS SOUS 46573 HAS SOUPS 37463 WITH SCORE 37534.37
AT ITER 5519 NEW BEST:: SOT 204457 SOS 70991 HAS SOPS 51951 HAS SOUS 46473 HAS SOUPS 37463 WITH SCORE 37533.991
AT ITER 5526 NEW BEST:: SOT 204407 SOS 70941 HAS SOPS 51901 HAS SOUS 46454 HAS SOUPS 37444 WITH SCORE 37514.941
AT ITER 5544 NEW BEST:: SOT 204374 SOS 70908 HAS SOPS 51868 HAS SOUS 46421 HAS SOUPS 37411 WITH SCORE 37481.908
AT ITER 5545 NEW BEST:: SOT 204348 SOS 70830 HAS SOPS 51816 HAS SOUS 46369 HAS SOUPS 37385 WITH SCORE 37455.83
AT ITER 5550 NEW BEST:: SOT 204320 SOS 70709 HAS SOPS 51729 HAS SOUS 46279 HAS SOUPS 37329 WITH SCORE 37399.709
AT ITER 5568 NEW BEST:: SOT 204266 SOS 70601 HAS SOPS 51621 HAS SOUS 46225 HAS SOUPS 37275 WITH SCORE 37345.601
AT ITER 5582 NEW BEST:: SOT 204266 SOS 70590 HAS SOPS 51621 HAS SOUS 46225 HAS SOUPS 37275 WITH SCORE 37345.59
AT ITER 5621 NEW BEST:: SOT 204208 SOS 70544 HAS SOPS 51575 HAS SOUS 46167 HAS SOUPS 37217 WITH SCORE 37287.544
AT ITER 5627 NEW BEST:: SOT 204306 SOS 70465 HAS SOPS 51496 HAS SOUS 46146 HAS SOUPS 37196 WITH SCORE 37266.465
AT ITER 5659 NEW BEST:: SOT 204271 SOS 70430 HAS SOPS 51442 HAS SOUS 46114 HAS SOUPS 37145 WITH SCORE 37215.43
AT ITER 5670 NEW BEST:: SOT 204310 SOS 70469 HAS SOPS 51437 HAS SOUS 46109 HAS SOUPS 37140 WITH SCORE 37210.469
AT ITER 5696 NEW BEST:: SOT 204308 SOS 70455 HAS SOPS 51423 HAS SOUS 46105 HAS SOUPS 37136 WITH SCORE 37206.455
AT ITER 5698 NEW BEST:: SOT 204257 SOS 70965 HAS SOPS 51372 HAS SOUS 46260 HAS SOUPS 37085 WITH SCORE 37155.965
AT ITER 5715 NEW BEST:: SOT 204253 SOS 70961 HAS SOPS 51368 HAS SOUS 46256 HAS SOUPS 37081 WITH SCORE 37151.961
AT ITER 5723 NEW BEST:: SOT 204270 SOS 70958 HAS SOPS 51365 HAS SOUS 46255 HAS SOUPS 37080 WITH SCORE 37150.958
AT ITER 5724 NEW BEST:: SOT 204228 SOS 70832 HAS SOPS 51323 HAS SOUS 46216 HAS SOUPS 37062 WITH SCORE 37132.832
AT ITER 5728 NEW BEST:: SOT 204205 SOS 70809 HAS SOPS 51252 HAS SOUS 46193 HAS SOUPS 36991 WITH SCORE 37061.809
AT ITER 5748 NEW BEST:: SOT 204204 SOS 70808 HAS SOPS 51250 HAS SOUS 46192 HAS SOUPS 36989 WITH SCORE 37059.808
AT ITER 5751 NEW BEST:: SOT 203966 SOS 70337 HAS SOPS 51012 HAS SOUS 45949 HAS SOUPS 36979 WITH SCORE 37049.337
AT ITER 5783 NEW BEST:: SOT 203960 SOS 70292 HAS SOPS 50967 HAS SOUS 45934 HAS SOUPS 36964 WITH SCORE 37034.292
AT ITER 5802 NEW BEST:: SOT 203948 SOS 70268 HAS SOPS 50943 HAS SOUS 45922 HAS SOUPS 36952 WITH SCORE 37022.268
AT ITER 5815 NEW BEST:: SOT 203877 SOS 70197 HAS SOPS 50872 HAS SOUS 45860 HAS SOUPS 36890 WITH SCORE 36960.197
AT ITER 5817 NEW BEST:: SOT 203880 SOS 70198 HAS SOPS 50873 HAS SOUS 45858 HAS SOUPS 36888 WITH SCORE 36958.198
AT ITER 5855 NEW BEST:: SOT 203832 SOS 70126 HAS SOPS 50801 HAS SOUS 45810 HAS SOUPS 36840 WITH SCORE 36910.126
AT ITER 5879 NEW BEST:: SOT 203841 SOS 70136 HAS SOPS 50790 HAS SOUS 45829 HAS SOUPS 36838 WITH SCORE 36908.136
AT ITER 5918 NEW BEST:: SOT 203841 SOS 70096 HAS SOPS 50790 HAS SOUS 45829 HAS SOUPS 36838 WITH SCORE 36908.096
AT ITER 5943 NEW BEST:: SOT 203823 SOS 70079 HAS SOPS 50773 HAS SOUS 45812 HAS SOUPS 36821 WITH SCORE 36891.079
AT ITER 5945 NEW BEST:: SOT 203734 SOS 70004 HAS SOPS 50698 HAS SOUS 45693 HAS SOUPS 36702 WITH SCORE 36772.004
AT ITER 5948 NEW BEST:: SOT 203742 SOS 70000 HAS SOPS 50694 HAS SOUS 45689 HAS SOUPS 36698 WITH SCORE 36768.0
AT ITER 5961 NEW BEST:: SOT 203736 SOS 69994 HAS SOPS 50634 HAS SOUS 45731 HAS SOUPS 36686 WITH SCORE 36755.994
AT ITER 5977 NEW BEST:: SOT 203745 SOS 69949 HAS SOPS 50634 HAS SOUS 45676 HAS SOUPS 36676 WITH SCORE 36745.949
AT ITER 6001 NEW BEST:: SOT 203718 SOS 69867 HAS SOPS 50552 HAS SOUS 45646 HAS SOUPS 36646 WITH SCORE 36715.867
AT ITER 6020 NEW BEST:: SOT 203716 SOS 69865 HAS SOPS 50550 HAS SOUS 45645 HAS SOUPS 36645 WITH SCORE 36714.865
AT ITER 6055 NEW BEST:: SOT 203981 SOS 69846 HAS SOPS 50531 HAS SOUS 45637 HAS SOUPS 36637 WITH SCORE 36706.846
AT ITER 6069 NEW BEST:: SOT 204081 SOS 69965 HAS SOPS 50650 HAS SOUS 45613 HAS SOUPS 36613 WITH SCORE 36682.965
AT ITER 6070 NEW BEST:: SOT 204078 SOS 69962 HAS SOPS 50644 HAS SOUS 45610 HAS SOUPS 36610 WITH SCORE 36679.962
AT ITER 6079 NEW BEST:: SOT 204108 SOS 69963 HAS SOPS 50645 HAS SOUS 45579 HAS SOUPS 36579 WITH SCORE 36648.963
AT ITER 6087 NEW BEST:: SOT 204086 SOS 69922 HAS SOPS 50604 HAS SOUS 45560 HAS SOUPS 36560 WITH SCORE 36629.922
AT ITER 6096 NEW BEST:: SOT 204130 SOS 69966 HAS SOPS 50648 HAS SOUS 45557 HAS SOUPS 36557 WITH SCORE 36626.966
AT ITER 6116 NEW BEST:: SOT 204038 SOS 69688 HAS SOPS 50370 HAS SOUS 45353 HAS SOUPS 36353 WITH SCORE 36422.688
AT ITER 6152 NEW BEST:: SOT 203936 SOS 69654 HAS SOPS 50336 HAS SOUS 45319 HAS SOUPS 36319 WITH SCORE 36388.654
AT ITER 6165 NEW BEST:: SOT 203944 SOS 69326 HAS SOPS 50008 HAS SOUS 45253 HAS SOUPS 36253 WITH SCORE 36322.326
AT ITER 6175 NEW BEST:: SOT 203930 SOS 69312 HAS SOPS 50198 HAS SOUS 45123 HAS SOUPS 36225 WITH SCORE 36294.312
AT ITER 6228 NEW BEST:: SOT 203911 SOS 69371 HAS SOPS 50257 HAS SOUS 45121 HAS SOUPS 36223 WITH SCORE 36292.371
AT ITER 6229 NEW BEST:: SOT 203780 SOS 68736 HAS SOPS 50256 HAS SOUS 44938 HAS SOUPS 36222 WITH SCORE 36290.736
AT ITER 6230 NEW BEST:: SOT 203730 SOS 68686 HAS SOPS 50206 HAS SOUS 44844 HAS SOUPS 36128 WITH SCORE 36196.686
AT ITER 6256 NEW BEST:: SOT 203744 SOS 68649 HAS SOPS 50169 HAS SOUS 44841 HAS SOUPS 36125 WITH SCORE 36193.649
AT ITER 6268 NEW BEST:: SOT 203699 SOS 68604 HAS SOPS 50124 HAS SOUS 44818 HAS SOUPS 36102 WITH SCORE 36170.604
AT ITER 6315 NEW BEST:: SOT 203688 SOS 68593 HAS SOPS 50134 HAS SOUS 44796 HAS SOUPS 36101 WITH SCORE 36169.593
AT ITER 6344 NEW BEST:: SOT 203718 SOS 68577 HAS SOPS 50118 HAS SOUS 44780 HAS SOUPS 36085 WITH SCORE 36153.577
AT ITER 6353 NEW BEST:: SOT 203545 SOS 68316 HAS SOPS 49981 HAS SOUS 44651 HAS SOUPS 36000 WITH SCORE 36068.316
AT ITER 6354 NEW BEST:: SOT 203486 SOS 68276 HAS SOPS 49941 HAS SOUS 44611 HAS SOUPS 35960 WITH SCORE 36028.276
AT ITER 6391 NEW BEST:: SOT 203492 SOS 68345 HAS SOPS 49816 HAS SOUS 44489 HAS SOUPS 35835 WITH SCORE 35903.345
AT ITER 6400 NEW BEST:: SOT 203490 SOS 68341 HAS SOPS 49812 HAS SOUS 44487 HAS SOUPS 35833 WITH SCORE 35901.341
AT ITER 6413 NEW BEST:: SOT 203460 SOS 68290 HAS SOPS 49761 HAS SOUS 44451 HAS SOUPS 35797 WITH SCORE 35865.29
AT ITER 6459 NEW BEST:: SOT 203467 SOS 68260 HAS SOPS 49731 HAS SOUS 44421 HAS SOUPS 35767 WITH SCORE 35835.26
AT ITER 6476 NEW BEST:: SOT 203445 SOS 68216 HAS SOPS 49687 HAS SOUS 44399 HAS SOUPS 35745 WITH SCORE 35813.216
AT ITER 6503 NEW BEST:: SOT 203394 SOS 68148 HAS SOPS 49619 HAS SOUS 44348 HAS SOUPS 35694 WITH SCORE 35762.148
AT ITER 6574 NEW BEST:: SOT 203394 SOS 68148 HAS SOPS 49619 HAS SOUS 44337 HAS SOUPS 35683 WITH SCORE 35751.148
AT ITER 6626 NEW BEST:: SOT 203377 SOS 68086 HAS SOPS 49602 HAS SOUS 44305 HAS SOUPS 35666 WITH SCORE 35734.086
AT ITER 6631 NEW BEST:: SOT 203377 SOS 67902 HAS SOPS 49418 HAS SOUS 44305 HAS SOUPS 35666 WITH SCORE 35733.902
AT ITER 6635 NEW BEST:: SOT 203371 SOS 67916 HAS SOPS 49421 HAS SOUS 44300 HAS SOUPS 35650 WITH SCORE 35717.916
AT ITER 6670 NEW BEST:: SOT 203228 SOS 67811 HAS SOPS 49284 HAS SOUS 44269 HAS SOUPS 35587 WITH SCORE 35654.811
AT ITER 6699 NEW BEST:: SOT 203213 SOS 67796 HAS SOPS 49269 HAS SOUS 44259 HAS SOUPS 35577 WITH SCORE 35644.796
AT ITER 6704 NEW BEST:: SOT 203212 SOS 67795 HAS SOPS 49268 HAS SOUS 44257 HAS SOUPS 35575 WITH SCORE 35642.795
AT ITER 6711 NEW BEST:: SOT 203209 SOS 67792 HAS SOPS 49262 HAS SOUS 44257 HAS SOUPS 35572 WITH SCORE 35639.792
AT ITER 6717 NEW BEST:: SOT 203182 SOS 67552 HAS SOPS 49022 HAS SOUS 44178 HAS SOUPS 35493 WITH SCORE 35560.552
AT ITER 6744 NEW BEST:: SOT 203182 SOS 67552 HAS SOPS 49012 HAS SOUS 44168 HAS SOUPS 35483 WITH SCORE 35550.552
AT ITER 6751 NEW BEST:: SOT 203177 SOS 67547 HAS SOPS 49002 HAS SOUS 44168 HAS SOUPS 35478 WITH SCORE 35545.547
AT ITER 6758 NEW BEST:: SOT 203126 SOS 68281 HAS SOPS 48951 HAS SOUS 44117 HAS SOUPS 35427 WITH SCORE 35495.281
AT ITER 6773 NEW BEST:: SOT 203123 SOS 68276 HAS SOPS 48946 HAS SOUS 44114 HAS SOUPS 35424 WITH SCORE 35492.276
AT ITER 6804 NEW BEST:: SOT 203120 SOS 68273 HAS SOPS 48919 HAS SOUS 44087 HAS SOUPS 35397 WITH SCORE 35465.273
AT ITER 6880 NEW BEST:: SOT 203122 SOS 68275 HAS SOPS 48885 HAS SOUS 44053 HAS SOUPS 35363 WITH SCORE 35431.275
AT ITER 6907 NEW BEST:: SOT 203078 SOS 68169 HAS SOPS 48841 HAS SOUS 43947 HAS SOUPS 35319 WITH SCORE 35387.169
AT ITER 6920 NEW BEST:: SOT 203100 SOS 68098 HAS SOPS 48770 HAS SOUS 43904 HAS SOUPS 35276 WITH SCORE 35344.098
AT ITER 6941 NEW BEST:: SOT 203106 SOS 68094 HAS SOPS 48766 HAS SOUS 43868 HAS SOUPS 35240 WITH SCORE 35308.094
AT ITER 6946 NEW BEST:: SOT 203136 SOS 68084 HAS SOPS 48756 HAS SOUS 43858 HAS SOUPS 35230 WITH SCORE 35298.084
AT ITER 6958 NEW BEST:: SOT 203301 SOS 67775 HAS SOPS 48447 HAS SOUS 43849 HAS SOUPS 35221 WITH SCORE 35288.775
AT ITER 6961 NEW BEST:: SOT 203269 SOS 67743 HAS SOPS 48415 HAS SOUS 43817 HAS SOUPS 35189 WITH SCORE 35256.743
AT ITER 6971 NEW BEST:: SOT 203259 SOS 67733 HAS SOPS 48415 HAS SOUS 43807 HAS SOUPS 35189 WITH SCORE 35256.733
AT ITER 7003 NEW BEST:: SOT 203242 SOS 67699 HAS SOPS 48415 HAS SOUS 43773 HAS SOUPS 35189 WITH SCORE 35256.699
AT ITER 7004 NEW BEST:: SOT 203253 SOS 67710 HAS SOPS 48341 HAS SOUS 43784 HAS SOUPS 35115 WITH SCORE 35182.71
AT ITER 7005 NEW BEST:: SOT 203155 SOS 67595 HAS SOPS 48291 HAS SOUS 43702 HAS SOUPS 35098 WITH SCORE 35165.595
AT ITER 7045 NEW BEST:: SOT 203151 SOS 67579 HAS SOPS 48279 HAS SOUS 43690 HAS SOUPS 35090 WITH SCORE 35157.579
AT ITER 7050 NEW BEST:: SOT 203151 SOS 67545 HAS SOPS 48245 HAS SOUS 43673 HAS SOUPS 35073 WITH SCORE 35140.545
AT ITER 7063 NEW BEST:: SOT 202812 SOS 67437 HAS SOPS 48137 HAS SOUS 43565 HAS SOUPS 34965 WITH SCORE 35032.437
AT ITER 7091 NEW BEST:: SOT 202798 SOS 67417 HAS SOPS 48131 HAS SOUS 43545 HAS SOUPS 34945 WITH SCORE 35012.417
AT ITER 7138 NEW BEST:: SOT 202794 SOS 67400 HAS SOPS 48114 HAS SOUS 43528 HAS SOUPS 34928 WITH SCORE 34995.4
AT ITER 7147 NEW BEST:: SOT 202792 SOS 67394 HAS SOPS 48108 HAS SOUS 43524 HAS SOUPS 34924 WITH SCORE 34991.394
AT ITER 7157 NEW BEST:: SOT 202777 SOS 67369 HAS SOPS 48083 HAS SOUS 43509 HAS SOUPS 34909 WITH SCORE 34976.369
AT ITER 7159 NEW BEST:: SOT 202735 SOS 67319 HAS SOPS 48033 HAS SOUS 43501 HAS SOUPS 34901 WITH SCORE 34968.319
AT ITER 7167 NEW BEST:: SOT 202787 SOS 67287 HAS SOPS 48001 HAS SOUS 43485 HAS SOUPS 34885 WITH SCORE 34952.287
AT ITER 7177 NEW BEST:: SOT 202786 SOS 67286 HAS SOPS 48000 HAS SOUS 43470 HAS SOUPS 34870 WITH SCORE 34937.286
AT ITER 7204 NEW BEST:: SOT 202737 SOS 67221 HAS SOPS 47984 HAS SOUS 43405 HAS SOUPS 34854 WITH SCORE 34921.221
AT ITER 7286 NEW BEST:: SOT 202706 SOS 67159 HAS SOPS 47953 HAS SOUS 43343 HAS SOUPS 34823 WITH SCORE 34890.159
AT ITER 7375 NEW BEST:: SOT 202675 SOS 67160 HAS SOPS 47954 HAS SOUS 43312 HAS SOUPS 34792 WITH SCORE 34859.16
AT ITER 7383 NEW BEST:: SOT 202636 SOS 67076 HAS SOPS 47870 HAS SOUS 43258 HAS SOUPS 34738 WITH SCORE 34805.076
AT ITER 7391 NEW BEST:: SOT 202637 SOS 67077 HAS SOPS 47872 HAS SOUS 43256 HAS SOUPS 34737 WITH SCORE 34804.077
AT ITER 7410 NEW BEST:: SOT 202613 SOS 67017 HAS SOPS 47812 HAS SOUS 43232 HAS SOUPS 34713 WITH SCORE 34780.017
AT ITER 7412 NEW BEST:: SOT 202641 SOS 66882 HAS SOPS 47677 HAS SOUS 43211 HAS SOUPS 34692 WITH SCORE 34758.882
AT ITER 7423 NEW BEST:: SOT 202643 SOS 66866 HAS SOPS 47661 HAS SOUS 43206 HAS SOUPS 34687 WITH SCORE 34753.866
AT ITER 7446 NEW BEST:: SOT 202591 SOS 66818 HAS SOPS 47613 HAS SOUS 43158 HAS SOUPS 34639 WITH SCORE 34705.818
AT ITER 7470 NEW BEST:: SOT 202555 SOS 66793 HAS SOPS 47588 HAS SOUS 43157 HAS SOUPS 34638 WITH SCORE 34704.793
AT ITER 7478 NEW BEST:: SOT 202555 SOS 66785 HAS SOPS 47580 HAS SOUS 43153 HAS SOUPS 34634 WITH SCORE 34700.785
AT ITER 7490 NEW BEST:: SOT 202549 SOS 66779 HAS SOPS 47574 HAS SOUS 43147 HAS SOUPS 34628 WITH SCORE 34694.779
AT ITER 7523 NEW BEST:: SOT 202447 SOS 66528 HAS SOPS 47323 HAS SOUS 42998 HAS SOUPS 34479 WITH SCORE 34545.528
AT ITER 7550 NEW BEST:: SOT 202442 SOS 66523 HAS SOPS 47318 HAS SOUS 42993 HAS SOUPS 34474 WITH SCORE 34540.523
AT ITER 7552 NEW BEST:: SOT 202444 SOS 66548 HAS SOPS 47276 HAS SOUS 42974 HAS SOUPS 34432 WITH SCORE 34498.548
AT ITER 7596 NEW BEST:: SOT 202481 SOS 66831 HAS SOPS 47313 HAS SOUS 43011 HAS SOUPS 34393 WITH SCORE 34459.831
AT ITER 7607 NEW BEST:: SOT 202480 SOS 66830 HAS SOPS 47311 HAS SOUS 43049 HAS SOUPS 34391 WITH SCORE 34457.83
AT ITER 7614 NEW BEST:: SOT 202579 SOS 66919 HAS SOPS 47285 HAS SOUS 43138 HAS SOUPS 34365 WITH SCORE 34431.919
AT ITER 7616 NEW BEST:: SOT 202535 SOS 66831 HAS SOPS 47197 HAS SOUS 43050 HAS SOUPS 34277 WITH SCORE 34343.831
AT ITER 7619 NEW BEST:: SOT 202498 SOS 66682 HAS SOPS 47087 HAS SOUS 42928 HAS SOUPS 34194 WITH SCORE 34260.682
AT ITER 7630 NEW BEST:: SOT 202483 SOS 66667 HAS SOPS 47072 HAS SOUS 42920 HAS SOUPS 34186 WITH SCORE 34252.667
AT ITER 7661 NEW BEST:: SOT 202413 SOS 66597 HAS SOPS 47002 HAS SOUS 42920 HAS SOUPS 34186 WITH SCORE 34252.597
AT ITER 7732 NEW BEST:: SOT 202408 SOS 66602 HAS SOPS 47007 HAS SOUS 42790 HAS SOUPS 34056 WITH SCORE 34122.602
AT ITER 7738 NEW BEST:: SOT 202447 SOS 66571 HAS SOPS 46976 HAS SOUS 42765 HAS SOUPS 34031 WITH SCORE 34097.571
AT ITER 7778 NEW BEST:: SOT 202447 SOS 66562 HAS SOPS 46976 HAS SOUS 42756 HAS SOUPS 34031 WITH SCORE 34097.562
AT ITER 7782 NEW BEST:: SOT 202424 SOS 66509 HAS SOPS 46930 HAS SOUS 42718 HAS SOUPS 34000 WITH SCORE 34066.509
AT ITER 7827 NEW BEST:: SOT 202424 SOS 66535 HAS SOPS 46852 HAS SOUS 42692 HAS SOUPS 33948 WITH SCORE 34014.535
AT ITER 7841 NEW BEST:: SOT 202702 SOS 67945 HAS SOPS 46841 HAS SOUS 42970 HAS SOUPS 33937 WITH SCORE 34004.945
AT ITER 7869 NEW BEST:: SOT 202702 SOS 67945 HAS SOPS 46841 HAS SOUS 42950 HAS SOUPS 33917 WITH SCORE 33984.945
AT ITER 7875 NEW BEST:: SOT 202583 SOS 67842 HAS SOPS 46738 HAS SOUS 42868 HAS SOUPS 33835 WITH SCORE 33902.842
AT ITER 7887 NEW BEST:: SOT 202493 SOS 67752 HAS SOPS 46648 HAS SOUS 42842 HAS SOUPS 33809 WITH SCORE 33876.752
AT ITER 7915 NEW BEST:: SOT 202491 SOS 67747 HAS SOPS 46643 HAS SOUS 42817 HAS SOUPS 33784 WITH SCORE 33851.747
AT ITER 7959 NEW BEST:: SOT 202500 SOS 67756 HAS SOPS 46639 HAS SOUS 42826 HAS SOUPS 33780 WITH SCORE 33847.756
AT ITER 7969 NEW BEST:: SOT 202576 SOS 67700 HAS SOPS 46583 HAS SOUS 42800 HAS SOUPS 33754 WITH SCORE 33821.7
AT ITER 7983 NEW BEST:: SOT 202576 SOS 67415 HAS SOPS 46583 HAS SOUS 42714 HAS SOUPS 33754 WITH SCORE 33821.415
AT ITER 7987 NEW BEST:: SOT 202486 SOS 67325 HAS SOPS 46583 HAS SOUS 42624 HAS SOUPS 33754 WITH SCORE 33821.325
AT ITER 7999 NEW BEST:: SOT 202477 SOS 67316 HAS SOPS 46574 HAS SOUS 42606 HAS SOUPS 33736 WITH SCORE 33803.316
AT ITER 8022 NEW BEST:: SOT 202469 SOS 67329 HAS SOPS 46566 HAS SOUS 42561 HAS SOUPS 33670 WITH SCORE 33737.329
AT ITER 8036 NEW BEST:: SOT 202407 SOS 67267 HAS SOPS 46504 HAS SOUS 42530 HAS SOUPS 33639 WITH SCORE 33706.267
AT ITER 8041 NEW BEST:: SOT 202337 SOS 67255 HAS SOPS 46398 HAS SOUS 42496 HAS SOUPS 33544 WITH SCORE 33611.255
AT ITER 8070 NEW BEST:: SOT 202343 SOS 67261 HAS SOPS 46387 HAS SOUS 42502 HAS SOUPS 33533 WITH SCORE 33600.261
AT ITER 8094 NEW BEST:: SOT 202343 SOS 67249 HAS SOPS 46375 HAS SOUS 42499 HAS SOUPS 33530 WITH SCORE 33597.249
AT ITER 8104 NEW BEST:: SOT 202343 SOS 67255 HAS SOPS 46363 HAS SOUS 42499 HAS SOUPS 33524 WITH SCORE 33591.255
AT ITER 8114 NEW BEST:: SOT 202281 SOS 67193 HAS SOPS 46311 HAS SOUS 42477 HAS SOUPS 33512 WITH SCORE 33579.193
AT ITER 8115 NEW BEST:: SOT 202268 SOS 67141 HAS SOPS 46311 HAS SOUS 42464 HAS SOUPS 33512 WITH SCORE 33579.141
AT ITER 8130 NEW BEST:: SOT 202268 SOS 67088 HAS SOPS 46311 HAS SOUS 42464 HAS SOUPS 33512 WITH SCORE 33579.088
AT ITER 8157 NEW BEST:: SOT 202267 SOS 67085 HAS SOPS 46309 HAS SOUS 42462 HAS SOUPS 33511 WITH SCORE 33578.085
AT ITER 8189 NEW BEST:: SOT 202266 SOS 66677 HAS SOPS 46308 HAS SOUS 42314 HAS SOUPS 33510 WITH SCORE 33576.677
AT ITER 8194 NEW BEST:: SOT 202348 SOS 66670 HAS SOPS 46301 HAS SOUS 42303 HAS SOUPS 33499 WITH SCORE 33565.67
AT ITER 8199 NEW BEST:: SOT 202375 SOS 66649 HAS SOPS 46280 HAS SOUS 42292 HAS SOUPS 33488 WITH SCORE 33554.649
AT ITER 8202 NEW BEST:: SOT 202373 SOS 66534 HAS SOPS 46269 HAS SOUS 42182 HAS SOUPS 33477 WITH SCORE 33543.534
AT ITER 8267 NEW BEST:: SOT 202373 SOS 66476 HAS SOPS 46269 HAS SOUS 42124 HAS SOUPS 33477 WITH SCORE 33543.476
AT ITER 8303 NEW BEST:: SOT 202349 SOS 66447 HAS SOPS 46252 HAS SOUS 42095 HAS SOUPS 33460 WITH SCORE 33526.447
AT ITER 8313 NEW BEST:: SOT 202347 SOS 66445 HAS SOPS 46250 HAS SOUS 42095 HAS SOUPS 33460 WITH SCORE 33526.445
AT ITER 8333 NEW BEST:: SOT 202374 SOS 66472 HAS SOPS 46277 HAS SOUS 42089 HAS SOUPS 33454 WITH SCORE 33520.472
AT ITER 8347 NEW BEST:: SOT 202644 SOS 66679 HAS SOPS 46244 HAS SOUS 42140 HAS SOUPS 33421 WITH SCORE 33487.679
AT ITER 8363 NEW BEST:: SOT 202751 SOS 66786 HAS SOPS 46351 HAS SOUS 42127 HAS SOUPS 33408 WITH SCORE 33474.786
AT ITER 8365 NEW BEST:: SOT 202738 SOS 66768 HAS SOPS 46333 HAS SOUS 42105 HAS SOUPS 33386 WITH SCORE 33452.768
AT ITER 8403 NEW BEST:: SOT 202664 SOS 66694 HAS SOPS 46185 HAS SOUS 41957 HAS SOUPS 33238 WITH SCORE 33304.694
AT ITER 8408 NEW BEST:: SOT 202664 SOS 66662 HAS SOPS 46153 HAS SOUS 41957 HAS SOUPS 33238 WITH SCORE 33304.662
AT ITER 8423 NEW BEST:: SOT 202603 SOS 66413 HAS SOPS 46092 HAS SOUS 41882 HAS SOUPS 33210 WITH SCORE 33276.413
AT ITER 8465 NEW BEST:: SOT 202595 SOS 66405 HAS SOPS 46005 HAS SOUS 41869 HAS SOUPS 33123 WITH SCORE 33189.405
AT ITER 8466 NEW BEST:: SOT 202454 SOS 66418 HAS SOPS 46018 HAS SOUS 41741 HAS SOUPS 32995 WITH SCORE 33061.418
AT ITER 8468 NEW BEST:: SOT 202447 SOS 66421 HAS SOPS 45971 HAS SOUS 41694 HAS SOUPS 32948 WITH SCORE 33014.421
AT ITER 8534 NEW BEST:: SOT 202364 SOS 66325 HAS SOPS 45851 HAS SOUS 41620 HAS SOUPS 32874 WITH SCORE 32940.325
AT ITER 8548 NEW BEST:: SOT 202259 SOS 66314 HAS SOPS 45746 HAS SOUS 41565 HAS SOUPS 32769 WITH SCORE 32835.314
AT ITER 8584 NEW BEST:: SOT 202237 SOS 66260 HAS SOPS 45692 HAS SOUS 41533 HAS SOUPS 32737 WITH SCORE 32803.26
AT ITER 8601 NEW BEST:: SOT 202229 SOS 65930 HAS SOPS 45684 HAS SOUS 41507 HAS SOUPS 32729 WITH SCORE 32794.93
AT ITER 8609 NEW BEST:: SOT 202257 SOS 65826 HAS SOPS 45580 HAS SOUS 41502 HAS SOUPS 32724 WITH SCORE 32789.826
AT ITER 8659 NEW BEST:: SOT 202257 SOS 65817 HAS SOPS 45571 HAS SOUS 41493 HAS SOUPS 32715 WITH SCORE 32780.817
AT ITER 8707 NEW BEST:: SOT 202253 SOS 65813 HAS SOPS 45560 HAS SOUS 41489 HAS SOUPS 32704 WITH SCORE 32769.813
AT ITER 8733 NEW BEST:: SOT 202186 SOS 65860 HAS SOPS 45607 HAS SOUS 41476 HAS SOUPS 32691 WITH SCORE 32756.86
AT ITER 8749 NEW BEST:: SOT 202176 SOS 65878 HAS SOPS 45625 HAS SOUS 41466 HAS SOUPS 32681 WITH SCORE 32746.878
AT ITER 8752 NEW BEST:: SOT 202167 SOS 65750 HAS SOPS 45497 HAS SOUS 41338 HAS SOUPS 32553 WITH SCORE 32618.75
AT ITER 8779 NEW BEST:: SOT 202128 SOS 65745 HAS SOPS 45476 HAS SOUS 41321 HAS SOUPS 32520 WITH SCORE 32585.745
AT ITER 8780 NEW BEST:: SOT 202128 SOS 65737 HAS SOPS 45468 HAS SOUS 41297 HAS SOUPS 32496 WITH SCORE 32561.737
AT ITER 8808 NEW BEST:: SOT 202127 SOS 65735 HAS SOPS 45468 HAS SOUS 41296 HAS SOUPS 32496 WITH SCORE 32561.735
AT ITER 8854 NEW BEST:: SOT 202067 SOS 65626 HAS SOPS 45359 HAS SOUS 41239 HAS SOUPS 32439 WITH SCORE 32504.626
AT ITER 8875 NEW BEST:: SOT 202052 SOS 65589 HAS SOPS 45359 HAS SOUS 41224 HAS SOUPS 32439 WITH SCORE 32504.589
AT ITER 8894 NEW BEST:: SOT 202052 SOS 65613 HAS SOPS 45335 HAS SOUS 41224 HAS SOUPS 32427 WITH SCORE 32492.613
AT ITER 8913 NEW BEST:: SOT 201975 SOS 65480 HAS SOPS 45202 HAS SOUS 41091 HAS SOUPS 32294 WITH SCORE 32359.48
AT ITER 8916 NEW BEST:: SOT 201978 SOS 65483 HAS SOPS 45174 HAS SOUS 41094 HAS SOUPS 32266 WITH SCORE 32331.483
AT ITER 8923 NEW BEST:: SOT 201924 SOS 65539 HAS SOPS 45230 HAS SOUS 41034 HAS SOUPS 32206 WITH SCORE 32271.539
AT ITER 8957 NEW BEST:: SOT 202006 SOS 65814 HAS SOPS 45225 HAS SOUS 41079 HAS SOUPS 32181 WITH SCORE 32246.814
AT ITER 8982 NEW BEST:: SOT 201997 SOS 65788 HAS SOPS 45199 HAS SOUS 41070 HAS SOUPS 32172 WITH SCORE 32237.788
AT ITER 8997 NEW BEST:: SOT 201992 SOS 65783 HAS SOPS 45194 HAS SOUS 41065 HAS SOUPS 32167 WITH SCORE 32232.783
AT ITER 9000 NEW BEST:: SOT 201991 SOS 65781 HAS SOPS 45193 HAS SOUS 41063 HAS SOUPS 32166 WITH SCORE 32231.781
AT ITER 9012 NEW BEST:: SOT 201910 SOS 65646 HAS SOPS 45058 HAS SOUS 40982 HAS SOUPS 32085 WITH SCORE 32150.646
AT ITER 9026 NEW BEST:: SOT 201870 SOS 65601 HAS SOPS 45013 HAS SOUS 40957 HAS SOUPS 32060 WITH SCORE 32125.601
AT ITER 9035 NEW BEST:: SOT 201759 SOS 65823 HAS SOPS 44833 HAS SOUS 40913 HAS SOUPS 31880 WITH SCORE 31945.823
AT ITER 9044 NEW BEST:: SOT 201847 SOS 65855 HAS SOPS 44786 HAS SOUS 40946 HAS SOUPS 31834 WITH SCORE 31899.855
AT ITER 9075 NEW BEST:: SOT 201714 SOS 65881 HAS SOPS 44812 HAS SOUS 40925 HAS SOUPS 31813 WITH SCORE 31878.881
AT ITER 9091 NEW BEST:: SOT 201718 SOS 65933 HAS SOPS 44826 HAS SOUS 40959 HAS SOUPS 31809 WITH SCORE 31874.933
AT ITER 9139 NEW BEST:: SOT 201707 SOS 65910 HAS SOPS 44804 HAS SOUS 40943 HAS SOUPS 31793 WITH SCORE 31858.91
AT ITER 9147 NEW BEST:: SOT 201683 SOS 65870 HAS SOPS 44764 HAS SOUS 40895 HAS SOUPS 31745 WITH SCORE 31810.87
AT ITER 9174 NEW BEST:: SOT 201772 SOS 66456 HAS SOPS 44758 HAS SOUS 41037 HAS SOUPS 31739 WITH SCORE 31805.456
AT ITER 9177 NEW BEST:: SOT 201743 SOS 66410 HAS SOPS 44712 HAS SOUS 41019 HAS SOUPS 31721 WITH SCORE 31787.41
AT ITER 9191 NEW BEST:: SOT 201743 SOS 66162 HAS SOPS 44712 HAS SOUS 40957 HAS SOUPS 31721 WITH SCORE 31787.162
AT ITER 9240 NEW BEST:: SOT 201723 SOS 65813 HAS SOPS 44363 HAS SOUS 40937 HAS SOUPS 31701 WITH SCORE 31766.813
AT ITER 9252 NEW BEST:: SOT 201723 SOS 65817 HAS SOPS 44365 HAS SOUS 40937 HAS SOUPS 31699 WITH SCORE 31764.817
AT ITER 9268 NEW BEST:: SOT 201719 SOS 65809 HAS SOPS 44357 HAS SOUS 40929 HAS SOUPS 31691 WITH SCORE 31756.809
AT ITER 9274 NEW BEST:: SOT 201704 SOS 65794 HAS SOPS 44327 HAS SOUS 40891 HAS SOUPS 31661 WITH SCORE 31726.794
AT ITER 9288 NEW BEST:: SOT 201703 SOS 65792 HAS SOPS 44325 HAS SOUS 40889 HAS SOUPS 31659 WITH SCORE 31724.792
AT ITER 9336 NEW BEST:: SOT 201689 SOS 65778 HAS SOPS 44297 HAS SOUS 40933 HAS SOUPS 31631 WITH SCORE 31696.778
AT ITER 9378 NEW BEST:: SOT 201696 SOS 65769 HAS SOPS 44287 HAS SOUS 40923 HAS SOUPS 31621 WITH SCORE 31686.769
AT ITER 9426 NEW BEST:: SOT 201651 SOS 65724 HAS SOPS 44242 HAS SOUS 40923 HAS SOUPS 31621 WITH SCORE 31686.724
AT ITER 9448 NEW BEST:: SOT 201651 SOS 65781 HAS SOPS 44204 HAS SOUS 40904 HAS SOUPS 31583 WITH SCORE 31648.781
AT ITER 9453 NEW BEST:: SOT 201644 SOS 65767 HAS SOPS 44190 HAS SOUS 40890 HAS SOUPS 31569 WITH SCORE 31634.767
AT ITER 9500 NEW BEST:: SOT 201638 SOS 65717 HAS SOPS 44140 HAS SOUS 40872 HAS SOUPS 31551 WITH SCORE 31616.717
AT ITER 9513 NEW BEST:: SOT 201638 SOS 65702 HAS SOPS 44125 HAS SOUS 40862 HAS SOUPS 31541 WITH SCORE 31606.702
AT ITER 9514 NEW BEST:: SOT 201620 SOS 65684 HAS SOPS 44079 HAS SOUS 40826 HAS SOUPS 31505 WITH SCORE 31570.684
AT ITER 9552 NEW BEST:: SOT 201585 SOS 65709 HAS SOPS 44079 HAS SOUS 40841 HAS SOUPS 31495 WITH SCORE 31560.709
AT ITER 9557 NEW BEST:: SOT 201569 SOS 65772 HAS SOPS 44142 HAS SOUS 40815 HAS SOUPS 31469 WITH SCORE 31534.772
AT ITER 9571 NEW BEST:: SOT 201593 SOS 65740 HAS SOPS 44110 HAS SOUS 40783 HAS SOUPS 31437 WITH SCORE 31502.74
AT ITER 9663 NEW BEST:: SOT 201585 SOS 65675 HAS SOPS 44045 HAS SOUS 40748 HAS SOUPS 31402 WITH SCORE 31467.675
AT ITER 9733 NEW BEST:: SOT 201585 SOS 65643 HAS SOPS 44013 HAS SOUS 40716 HAS SOUPS 31370 WITH SCORE 31435.643
AT ITER 9750 NEW BEST:: SOT 201573 SOS 65631 HAS SOPS 43989 HAS SOUS 40704 HAS SOUPS 31346 WITH SCORE 31411.631
AT ITER 9757 NEW BEST:: SOT 201972 SOS 66008 HAS SOPS 43981 HAS SOUS 41081 HAS SOUPS 31338 WITH SCORE 31404.008
AT ITER 9764 NEW BEST:: SOT 201971 SOS 66006 HAS SOPS 43979 HAS SOUS 41080 HAS SOUPS 31337 WITH SCORE 31403.006
AT ITER 9774 NEW BEST:: SOT 201971 SOS 65962 HAS SOPS 43877 HAS SOUS 41008 HAS SOUPS 31207 WITH SCORE 31272.962
AT ITER 9788 NEW BEST:: SOT 202029 SOS 65972 HAS SOPS 43887 HAS SOUS 41001 HAS SOUPS 31200 WITH SCORE 31265.972
AT ITER 9832 NEW BEST:: SOT 202045 SOS 65909 HAS SOPS 43824 HAS SOUS 40925 HAS SOUPS 31124 WITH SCORE 31189.909
AT ITER 9877 NEW BEST:: SOT 202041 SOS 65901 HAS SOPS 43816 HAS SOUS 40921 HAS SOUPS 31120 WITH SCORE 31185.901
AT ITER 9884 NEW BEST:: SOT 201946 SOS 65678 HAS SOPS 43721 HAS SOUS 40826 HAS SOUPS 31057 WITH SCORE 31122.678
AT ITER 9896 NEW BEST:: SOT 201894 SOS 65626 HAS SOPS 43721 HAS SOUS 40774 HAS SOUPS 31057 WITH SCORE 31122.626
AT ITER 9949 NEW BEST:: SOT 201863 SOS 65601 HAS SOPS 43696 HAS SOUS 40753 HAS SOUPS 31036 WITH SCORE 31101.601
AT ITER 9970 NEW BEST:: SOT 201850 SOS 65594 HAS SOPS 43689 HAS SOUS 40753 HAS SOUPS 31036 WITH SCORE 31101.594
AT ITER 9972 NEW BEST:: SOT 201845 SOS 65589 HAS SOPS 43679 HAS SOUS 40748 HAS SOUPS 31026 WITH SCORE 31091.589
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2099988 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152972 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="AutoFlight-PT-24a"
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 AutoFlight-PT-24a, 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 r003-oct2-167813590900488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a 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 ;