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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 10:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 10:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 10:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679924775132

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=SemanticWebServices-PT-S128P06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P06
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: 262 places, 1328 transitions, 9727 arcs.
AT ITER 0 NEW BEST:: SOT 312936 SOS 260724 HAS SOPS 226720 HAS SOUS 155407 HAS SOUPS 148769 WITH SCORE 149029.724
AT ITER 1 NEW BEST:: SOT 312966 SOS 260982 HAS SOPS 226750 HAS SOUS 155465 HAS SOUPS 148651 WITH SCORE 148911.982
AT ITER 2 NEW BEST:: SOT 312966 SOS 260872 HAS SOPS 226640 HAS SOUS 155172 HAS SOUPS 148358 WITH SCORE 148618.872
AT ITER 5 NEW BEST:: SOT 312966 SOS 260632 HAS SOPS 226400 HAS SOUS 155038 HAS SOUPS 148122 WITH SCORE 148382.632
AT ITER 7 NEW BEST:: SOT 312966 SOS 260816 HAS SOPS 226286 HAS SOUS 155056 HAS SOUPS 148094 WITH SCORE 148354.816
AT ITER 11 NEW BEST:: SOT 312966 SOS 260800 HAS SOPS 226278 HAS SOUS 155048 HAS SOUPS 148090 WITH SCORE 148350.8
AT ITER 12 NEW BEST:: SOT 313022 SOS 260808 HAS SOPS 225786 HAS SOUS 154916 HAS SOUPS 147598 WITH SCORE 147858.808
AT ITER 14 NEW BEST:: SOT 313022 SOS 260758 HAS SOPS 225608 HAS SOUS 154991 HAS SOUPS 147461 WITH SCORE 147721.758
AT ITER 15 NEW BEST:: SOT 313022 SOS 261198 HAS SOPS 225678 HAS SOUS 154013 HAS SOUPS 146477 WITH SCORE 146738.198
AT ITER 17 NEW BEST:: SOT 313022 SOS 261198 HAS SOPS 226180 HAS SOUS 151866 HAS SOUPS 144453 WITH SCORE 144714.198
AT ITER 20 NEW BEST:: SOT 313022 SOS 261404 HAS SOPS 226006 HAS SOUS 151984 HAS SOUPS 144373 WITH SCORE 144634.404
AT ITER 23 NEW BEST:: SOT 313022 SOS 260540 HAS SOPS 225644 HAS SOUS 151473 HAS SOUPS 143926 WITH SCORE 144186.54
AT ITER 24 NEW BEST:: SOT 313022 SOS 260502 HAS SOPS 225506 HAS SOUS 151439 HAS SOUPS 143873 WITH SCORE 144133.502
AT ITER 26 NEW BEST:: SOT 313022 SOS 260236 HAS SOPS 224564 HAS SOUS 151178 HAS SOUPS 143417 WITH SCORE 143677.236
AT ITER 27 NEW BEST:: SOT 313022 SOS 260412 HAS SOPS 224588 HAS SOUS 151177 HAS SOUPS 143413 WITH SCORE 143673.412
AT ITER 28 NEW BEST:: SOT 313054 SOS 260444 HAS SOPS 224620 HAS SOUS 151167 HAS SOUPS 143403 WITH SCORE 143663.444
AT ITER 31 NEW BEST:: SOT 313048 SOS 260556 HAS SOPS 224670 HAS SOUS 151006 HAS SOUPS 143242 WITH SCORE 143502.556
AT ITER 32 NEW BEST:: SOT 313048 SOS 260312 HAS SOPS 224498 HAS SOUS 150970 HAS SOUPS 143242 WITH SCORE 143502.312
AT ITER 38 NEW BEST:: SOT 313048 SOS 260896 HAS SOPS 223570 HAS SOUS 150663 HAS SOUPS 142789 WITH SCORE 143049.896
AT ITER 39 NEW BEST:: SOT 313048 SOS 260886 HAS SOPS 223914 HAS SOUS 148048 HAS SOUPS 140351 WITH SCORE 140611.886
AT ITER 41 NEW BEST:: SOT 313048 SOS 261048 HAS SOPS 223654 HAS SOUS 147874 HAS SOUPS 140164 WITH SCORE 140425.048
AT ITER 43 NEW BEST:: SOT 313048 SOS 261334 HAS SOPS 223798 HAS SOUS 147850 HAS SOUPS 140111 WITH SCORE 140372.334
AT ITER 47 NEW BEST:: SOT 313048 SOS 261486 HAS SOPS 222214 HAS SOUS 147680 HAS SOUPS 139361 WITH SCORE 139622.486
AT ITER 49 NEW BEST:: SOT 313048 SOS 261406 HAS SOPS 221990 HAS SOUS 147244 HAS SOUPS 138944 WITH SCORE 139205.406
AT ITER 50 NEW BEST:: SOT 313178 SOS 261586 HAS SOPS 221728 HAS SOUS 146570 HAS SOUPS 138245 WITH SCORE 138506.586
AT ITER 51 NEW BEST:: SOT 313178 SOS 261498 HAS SOPS 220128 HAS SOUS 146328 HAS SOUPS 137671 WITH SCORE 137932.498
AT ITER 53 NEW BEST:: SOT 313178 SOS 261452 HAS SOPS 219626 HAS SOUS 146263 HAS SOUPS 137661 WITH SCORE 137922.452
AT ITER 54 NEW BEST:: SOT 244987 SOS 196149 HAS SOPS 157307 HAS SOUS 95838 HAS SOUPS 88717 WITH SCORE 88913.149
AT ITER 55 NEW BEST:: SOT 244521 SOS 195563 HAS SOPS 156795 HAS SOUS 94977 HAS SOUPS 87906 WITH SCORE 88101.563
AT ITER 61 NEW BEST:: SOT 244521 SOS 195477 HAS SOPS 156733 HAS SOUS 94879 HAS SOUPS 87836 WITH SCORE 88031.477
AT ITER 63 NEW BEST:: SOT 244521 SOS 195477 HAS SOPS 156733 HAS SOUS 94878 HAS SOUPS 87835 WITH SCORE 88030.477
AT ITER 64 NEW BEST:: SOT 244651 SOS 195675 HAS SOPS 156817 HAS SOUS 94662 HAS SOUPS 87562 WITH SCORE 87757.675
AT ITER 65 NEW BEST:: SOT 244651 SOS 195675 HAS SOPS 156817 HAS SOUS 94645 HAS SOUPS 87545 WITH SCORE 87740.675
AT ITER 67 NEW BEST:: SOT 244651 SOS 195851 HAS SOPS 156759 HAS SOUS 94194 HAS SOUPS 86925 WITH SCORE 87120.851
AT ITER 69 NEW BEST:: SOT 244651 SOS 195851 HAS SOPS 155943 HAS SOUS 94039 HAS SOUPS 86721 WITH SCORE 86916.851
AT ITER 70 NEW BEST:: SOT 245099 SOS 196325 HAS SOPS 156365 HAS SOUS 93976 HAS SOUPS 86658 WITH SCORE 86854.325
AT ITER 74 NEW BEST:: SOT 245231 SOS 196457 HAS SOPS 156497 HAS SOUS 93962 HAS SOUPS 86644 WITH SCORE 86840.457
AT ITER 77 NEW BEST:: SOT 245231 SOS 196633 HAS SOPS 156541 HAS SOUS 94010 HAS SOUPS 86583 WITH SCORE 86779.633
AT ITER 78 NEW BEST:: SOT 245231 SOS 196675 HAS SOPS 156583 HAS SOUS 93590 HAS SOUPS 86163 WITH SCORE 86359.675
AT ITER 82 NEW BEST:: SOT 245189 SOS 196633 HAS SOPS 156541 HAS SOUS 93582 HAS SOUPS 86155 WITH SCORE 86351.633
AT ITER 84 NEW BEST:: SOT 245189 SOS 194777 HAS SOPS 156541 HAS SOUS 93725 HAS SOUPS 86147 WITH SCORE 86341.777
AT ITER 87 NEW BEST:: SOT 245189 SOS 194601 HAS SOPS 156661 HAS SOUS 93249 HAS SOUPS 85671 WITH SCORE 85865.601
AT ITER 88 NEW BEST:: SOT 245189 SOS 194933 HAS SOPS 156609 HAS SOUS 92772 HAS SOUPS 85170 WITH SCORE 85364.933
AT ITER 89 NEW BEST:: SOT 245189 SOS 194905 HAS SOPS 156609 HAS SOUS 92730 HAS SOUPS 85156 WITH SCORE 85350.905
AT ITER 92 NEW BEST:: SOT 245189 SOS 195249 HAS SOPS 152779 HAS SOUS 92719 HAS SOUPS 81881 WITH SCORE 82076.249
AT ITER 97 NEW BEST:: SOT 246157 SOS 196485 HAS SOPS 154015 HAS SOUS 92380 HAS SOUPS 81790 WITH SCORE 81986.485
AT ITER 99 NEW BEST:: SOT 246157 SOS 196575 HAS SOPS 153555 HAS SOUS 92431 HAS SOUPS 81707 WITH SCORE 81903.575
AT ITER 101 NEW BEST:: SOT 246157 SOS 196575 HAS SOPS 153537 HAS SOUS 92431 HAS SOUPS 81698 WITH SCORE 81894.575
AT ITER 110 NEW BEST:: SOT 246171 SOS 196449 HAS SOPS 153411 HAS SOUS 92358 HAS SOUPS 81625 WITH SCORE 81821.449
AT ITER 114 NEW BEST:: SOT 246574 SOS 196951 HAS SOPS 154353 HAS SOUS 90385 HAS SOUPS 80072 WITH SCORE 80268.951
AT ITER 119 NEW BEST:: SOT 246574 SOS 196631 HAS SOPS 153313 HAS SOUS 89952 HAS SOUPS 79182 WITH SCORE 79378.631
AT ITER 125 NEW BEST:: SOT 246574 SOS 196629 HAS SOPS 153311 HAS SOUS 89647 HAS SOUPS 78927 WITH SCORE 79123.629
AT ITER 128 NEW BEST:: SOT 246574 SOS 196465 HAS SOPS 153155 HAS SOUS 87091 HAS SOUPS 76996 WITH SCORE 77192.465
AT ITER 130 NEW BEST:: SOT 253286 SOS 202815 HAS SOPS 159551 HAS SOUS 84521 HAS SOUPS 75092 WITH SCORE 75294.815
AT ITER 131 NEW BEST:: SOT 253286 SOS 202815 HAS SOPS 159335 HAS SOUS 84521 HAS SOUPS 74984 WITH SCORE 75186.815
AT ITER 132 NEW BEST:: SOT 253050 SOS 202579 HAS SOPS 159099 HAS SOUS 84291 HAS SOUPS 74754 WITH SCORE 74956.579
AT ITER 136 NEW BEST:: SOT 253050 SOS 202671 HAS SOPS 158051 HAS SOUS 81005 HAS SOUPS 71402 WITH SCORE 71604.671
AT ITER 139 NEW BEST:: SOT 253050 SOS 202955 HAS SOPS 158659 HAS SOUS 80737 HAS SOUPS 71007 WITH SCORE 71209.955
AT ITER 142 NEW BEST:: SOT 253050 SOS 202955 HAS SOPS 158659 HAS SOUS 80731 HAS SOUPS 71005 WITH SCORE 71207.955
AT ITER 148 NEW BEST:: SOT 253050 SOS 202787 HAS SOPS 158611 HAS SOUS 80695 HAS SOUPS 70981 WITH SCORE 71183.787
AT ITER 150 NEW BEST:: SOT 253026 SOS 202763 HAS SOPS 158587 HAS SOUS 80683 HAS SOUPS 70969 WITH SCORE 71171.763
AT ITER 151 NEW BEST:: SOT 253026 SOS 202655 HAS SOPS 158555 HAS SOUS 80681 HAS SOUPS 70969 WITH SCORE 71171.655
AT ITER 152 NEW BEST:: SOT 253070 SOS 202751 HAS SOPS 158377 HAS SOUS 80792 HAS SOUPS 70943 WITH SCORE 71145.751
AT ITER 153 NEW BEST:: SOT 253070 SOS 202807 HAS SOPS 158377 HAS SOUS 80176 HAS SOUPS 70411 WITH SCORE 70613.807
AT ITER 155 NEW BEST:: SOT 247800 SOS 197537 HAS SOPS 153107 HAS SOUS 77501 HAS SOUPS 67736 WITH SCORE 67933.537
AT ITER 162 NEW BEST:: SOT 247672 SOS 197329 HAS SOPS 152899 HAS SOUS 77397 HAS SOUPS 67632 WITH SCORE 67829.329
AT ITER 169 NEW BEST:: SOT 247738 SOS 197395 HAS SOPS 152965 HAS SOUS 77363 HAS SOUPS 67598 WITH SCORE 67795.395
AT ITER 171 NEW BEST:: SOT 247738 SOS 197337 HAS SOPS 152907 HAS SOUS 77354 HAS SOUPS 67557 WITH SCORE 67754.337
AT ITER 175 NEW BEST:: SOT 247472 SOS 197071 HAS SOPS 152641 HAS SOUS 77081 HAS SOUPS 67284 WITH SCORE 67481.071
AT ITER 178 NEW BEST:: SOT 247472 SOS 197151 HAS SOPS 153353 HAS SOUS 76940 HAS SOUPS 67238 WITH SCORE 67435.151
AT ITER 182 NEW BEST:: SOT 247536 SOS 197375 HAS SOPS 153461 HAS SOUS 77004 HAS SOUPS 67236 WITH SCORE 67433.375
AT ITER 183 NEW BEST:: SOT 247536 SOS 197357 HAS SOPS 153443 HAS SOUS 76941 HAS SOUPS 67173 WITH SCORE 67370.357
AT ITER 184 NEW BEST:: SOT 247536 SOS 197365 HAS SOPS 153383 HAS SOUS 76945 HAS SOUPS 67127 WITH SCORE 67324.365
AT ITER 186 NEW BEST:: SOT 248488 SOS 198113 HAS SOPS 154077 HAS SOUS 74226 HAS SOUPS 64872 WITH SCORE 65070.113
AT ITER 188 NEW BEST:: SOT 248488 SOS 196593 HAS SOPS 152543 HAS SOUS 72024 HAS SOUPS 63132 WITH SCORE 63328.593
AT ITER 191 NEW BEST:: SOT 249023 SOS 197094 HAS SOPS 153044 HAS SOUS 71903 HAS SOUPS 63011 WITH SCORE 63208.094
AT ITER 195 NEW BEST:: SOT 251007 SOS 199240 HAS SOPS 155022 HAS SOUS 71240 HAS SOUPS 62348 WITH SCORE 62547.24
AT ITER 207 NEW BEST:: SOT 251007 SOS 199240 HAS SOPS 155022 HAS SOUS 70928 HAS SOUPS 62036 WITH SCORE 62235.24
AT ITER 209 NEW BEST:: SOT 250719 SOS 198968 HAS SOPS 154750 HAS SOUS 70800 HAS SOUPS 61908 WITH SCORE 62106.968
AT ITER 211 NEW BEST:: SOT 250719 SOS 198954 HAS SOPS 154672 HAS SOUS 70711 HAS SOUPS 61826 WITH SCORE 62024.954
AT ITER 212 NEW BEST:: SOT 250719 SOS 198882 HAS SOPS 154612 HAS SOUS 70671 HAS SOUPS 61755 WITH SCORE 61953.882
AT ITER 221 NEW BEST:: SOT 249577 SOS 197740 HAS SOPS 153470 HAS SOUS 70610 HAS SOUPS 61694 WITH SCORE 61891.74
AT ITER 225 NEW BEST:: SOT 249577 SOS 197740 HAS SOPS 153470 HAS SOUS 70555 HAS SOUPS 61639 WITH SCORE 61836.74
AT ITER 229 NEW BEST:: SOT 248794 SOS 196957 HAS SOPS 152687 HAS SOUS 69718 HAS SOUPS 60802 WITH SCORE 60998.957
AT ITER 230 NEW BEST:: SOT 249178 SOS 196331 HAS SOPS 151687 HAS SOUS 67894 HAS SOUPS 59072 WITH SCORE 59268.331
AT ITER 236 NEW BEST:: SOT 250154 SOS 197511 HAS SOPS 151811 HAS SOUS 65900 HAS SOUPS 57078 WITH SCORE 57275.511
AT ITER 243 NEW BEST:: SOT 250154 SOS 197565 HAS SOPS 151271 HAS SOUS 65765 HAS SOUPS 56862 WITH SCORE 57059.565
AT ITER 245 NEW BEST:: SOT 250154 SOS 197449 HAS SOPS 151155 HAS SOUS 65691 HAS SOUPS 56735 WITH SCORE 56932.449
AT ITER 248 NEW BEST:: SOT 250154 SOS 197449 HAS SOPS 151139 HAS SOUS 65647 HAS SOUPS 56691 WITH SCORE 56888.449
AT ITER 249 NEW BEST:: SOT 249577 SOS 196872 HAS SOPS 150562 HAS SOUS 65541 HAS SOUPS 56585 WITH SCORE 56781.872
AT ITER 250 NEW BEST:: SOT 249217 SOS 196500 HAS SOPS 149748 HAS SOUS 65282 HAS SOUPS 56326 WITH SCORE 56522.5
AT ITER 251 NEW BEST:: SOT 249217 SOS 196278 HAS SOPS 149526 HAS SOUS 65267 HAS SOUPS 56326 WITH SCORE 56522.278
AT ITER 255 NEW BEST:: SOT 249164 SOS 196225 HAS SOPS 149473 HAS SOUS 65216 HAS SOUPS 56275 WITH SCORE 56471.225
AT ITER 256 NEW BEST:: SOT 249164 SOS 196063 HAS SOPS 149311 HAS SOUS 65067 HAS SOUPS 56160 WITH SCORE 56356.063
AT ITER 257 NEW BEST:: SOT 237180 SOS 186217 HAS SOPS 142649 HAS SOUS 57159 HAS SOUPS 49795 WITH SCORE 49981.217
AT ITER 260 NEW BEST:: SOT 237908 SOS 186799 HAS SOPS 142717 HAS SOUS 56726 HAS SOUPS 49482 WITH SCORE 49668.799
AT ITER 264 NEW BEST:: SOT 238390 SOS 186951 HAS SOPS 141409 HAS SOUS 56289 HAS SOUPS 48963 WITH SCORE 49149.951
AT ITER 265 NEW BEST:: SOT 238748 SOS 187161 HAS SOPS 141619 HAS SOUS 56197 HAS SOUPS 48871 WITH SCORE 49058.161
AT ITER 267 NEW BEST:: SOT 238756 SOS 186847 HAS SOPS 141305 HAS SOUS 56152 HAS SOUPS 48826 WITH SCORE 49012.847
AT ITER 269 NEW BEST:: SOT 242372 SOS 190545 HAS SOPS 142337 HAS SOUS 53986 HAS SOUPS 47248 WITH SCORE 47438.545
AT ITER 271 NEW BEST:: SOT 242372 SOS 190605 HAS SOPS 142277 HAS SOUS 54016 HAS SOUPS 47233 WITH SCORE 47423.605
AT ITER 273 NEW BEST:: SOT 241212 SOS 189445 HAS SOPS 141117 HAS SOUS 53878 HAS SOUPS 47095 WITH SCORE 47284.445
AT ITER 276 NEW BEST:: SOT 241524 SOS 189788 HAS SOPS 141524 HAS SOUS 52607 HAS SOUPS 45872 WITH SCORE 46061.788
AT ITER 277 NEW BEST:: SOT 241554 SOS 189818 HAS SOPS 141554 HAS SOUS 52433 HAS SOUPS 45698 WITH SCORE 45887.818
AT ITER 279 NEW BEST:: SOT 241010 SOS 189274 HAS SOPS 144146 HAS SOUS 50761 HAS SOUPS 44694 WITH SCORE 44883.274
AT ITER 288 NEW BEST:: SOT 241030 SOS 189294 HAS SOPS 144166 HAS SOUS 50737 HAS SOUPS 44670 WITH SCORE 44859.294
AT ITER 295 NEW BEST:: SOT 240856 SOS 189120 HAS SOPS 143992 HAS SOUS 50573 HAS SOUPS 44506 WITH SCORE 44695.12
AT ITER 296 NEW BEST:: SOT 240856 SOS 189098 HAS SOPS 143992 HAS SOUS 50565 HAS SOUPS 44500 WITH SCORE 44689.098
AT ITER 303 NEW BEST:: SOT 241000 SOS 189310 HAS SOPS 144112 HAS SOUS 50051 HAS SOUPS 44080 WITH SCORE 44269.31
AT ITER 306 NEW BEST:: SOT 241204 SOS 189538 HAS SOPS 144340 HAS SOUS 49955 HAS SOUPS 43984 WITH SCORE 44173.538
AT ITER 316 NEW BEST:: SOT 241268 SOS 188391 HAS SOPS 144166 HAS SOUS 48775 HAS SOUPS 43066 WITH SCORE 43254.391
AT ITER 317 NEW BEST:: SOT 243946 SOS 190897 HAS SOPS 146672 HAS SOUS 48235 HAS SOUPS 42526 WITH SCORE 42716.897
AT ITER 318 NEW BEST:: SOT 241891 SOS 188842 HAS SOPS 144617 HAS SOUS 47224 HAS SOUPS 41515 WITH SCORE 41703.842
AT ITER 325 NEW BEST:: SOT 241891 SOS 188852 HAS SOPS 144587 HAS SOUS 47229 HAS SOUPS 41510 WITH SCORE 41698.852
AT ITER 328 NEW BEST:: SOT 241911 SOS 188892 HAS SOPS 144567 HAS SOUS 47093 HAS SOUPS 41374 WITH SCORE 41562.892
AT ITER 331 NEW BEST:: SOT 241911 SOS 189120 HAS SOPS 144567 HAS SOUS 47102 HAS SOUPS 41354 WITH SCORE 41543.12
AT ITER 334 NEW BEST:: SOT 241911 SOS 189110 HAS SOPS 144557 HAS SOUS 47019 HAS SOUPS 41271 WITH SCORE 41460.11
AT ITER 337 NEW BEST:: SOT 241901 SOS 189100 HAS SOPS 144547 HAS SOUS 46999 HAS SOUPS 41251 WITH SCORE 41440.1
AT ITER 338 NEW BEST:: SOT 241901 SOS 189086 HAS SOPS 144533 HAS SOUS 46971 HAS SOUPS 41237 WITH SCORE 41426.086
AT ITER 340 NEW BEST:: SOT 241901 SOS 189086 HAS SOPS 144533 HAS SOUS 46960 HAS SOUPS 41226 WITH SCORE 41415.086
AT ITER 352 NEW BEST:: SOT 241901 SOS 189076 HAS SOPS 143883 HAS SOUS 46960 HAS SOUPS 41216 WITH SCORE 41405.076
AT ITER 355 NEW BEST:: SOT 241389 SOS 188564 HAS SOPS 143371 HAS SOUS 46912 HAS SOUPS 41168 WITH SCORE 41356.564
AT ITER 357 NEW BEST:: SOT 241389 SOS 188564 HAS SOPS 142267 HAS SOUS 46764 HAS SOUPS 41076 WITH SCORE 41264.564
AT ITER 359 NEW BEST:: SOT 241471 SOS 188604 HAS SOPS 142307 HAS SOUS 46690 HAS SOUPS 41044 WITH SCORE 41232.604
AT ITER 372 NEW BEST:: SOT 242015 SOS 189140 HAS SOPS 142867 HAS SOUS 46470 HAS SOUPS 40824 WITH SCORE 41013.14
AT ITER 374 NEW BEST:: SOT 241933 SOS 188948 HAS SOPS 142785 HAS SOUS 46512 HAS SOUPS 40817 WITH SCORE 41005.948
AT ITER 375 NEW BEST:: SOT 241933 SOS 188866 HAS SOPS 142707 HAS SOUS 46442 HAS SOUPS 40817 WITH SCORE 41005.866
AT ITER 381 NEW BEST:: SOT 241723 SOS 188656 HAS SOPS 142497 HAS SOUS 46337 HAS SOUPS 40712 WITH SCORE 40900.656
AT ITER 395 NEW BEST:: SOT 240617 SOS 187550 HAS SOPS 141391 HAS SOUS 45883 HAS SOUPS 40258 WITH SCORE 40445.55
AT ITER 396 NEW BEST:: SOT 240603 SOS 187536 HAS SOPS 141377 HAS SOUS 45876 HAS SOUPS 40251 WITH SCORE 40438.536
AT ITER 399 NEW BEST:: SOT 236192 SOS 186019 HAS SOPS 144018 HAS SOUS 43419 HAS SOUPS 38830 WITH SCORE 39016.019
AT ITER 418 NEW BEST:: SOT 236192 SOS 186763 HAS SOPS 143930 HAS SOUS 43390 HAS SOUPS 38814 WITH SCORE 39000.763
AT ITER 419 NEW BEST:: SOT 236192 SOS 182419 HAS SOPS 141714 HAS SOUS 43355 HAS SOUPS 38784 WITH SCORE 38966.419
AT ITER 421 NEW BEST:: SOT 236192 SOS 181197 HAS SOPS 141316 HAS SOUS 43338 HAS SOUPS 38767 WITH SCORE 38948.197
AT ITER 423 NEW BEST:: SOT 236220 SOS 181382 HAS SOPS 141135 HAS SOUS 43346 HAS SOUPS 38714 WITH SCORE 38895.382
AT ITER 428 NEW BEST:: SOT 236220 SOS 181272 HAS SOPS 141065 HAS SOUS 43341 HAS SOUPS 38713 WITH SCORE 38894.272
AT ITER 429 NEW BEST:: SOT 236328 SOS 181372 HAS SOPS 141189 HAS SOUS 43337 HAS SOUPS 38709 WITH SCORE 38890.372
AT ITER 434 NEW BEST:: SOT 236328 SOS 179976 HAS SOPS 140785 HAS SOUS 42912 HAS SOUPS 38259 WITH SCORE 38438.976
AT ITER 447 NEW BEST:: SOT 236034 SOS 179682 HAS SOPS 140491 HAS SOUS 42680 HAS SOUPS 38027 WITH SCORE 38206.682
AT ITER 450 NEW BEST:: SOT 236034 SOS 179004 HAS SOPS 140557 HAS SOUS 42684 HAS SOUPS 38027 WITH SCORE 38206.004
AT ITER 458 NEW BEST:: SOT 237094 SOS 180052 HAS SOPS 140113 HAS SOUS 42921 HAS SOUPS 38009 WITH SCORE 38189.052
AT ITER 460 NEW BEST:: SOT 236924 SOS 179954 HAS SOPS 140015 HAS SOUS 42890 HAS SOUPS 37978 WITH SCORE 38157.954
AT ITER 462 NEW BEST:: SOT 236418 SOS 179522 HAS SOPS 139583 HAS SOUS 42397 HAS SOUPS 37485 WITH SCORE 37664.522
AT ITER 468 NEW BEST:: SOT 236418 SOS 179522 HAS SOPS 139583 HAS SOUS 42395 HAS SOUPS 37483 WITH SCORE 37662.522
AT ITER 480 NEW BEST:: SOT 236506 SOS 179610 HAS SOPS 139671 HAS SOUS 42333 HAS SOUPS 37421 WITH SCORE 37600.61
AT ITER 482 NEW BEST:: SOT 237870 SOS 180974 HAS SOPS 141035 HAS SOUS 41409 HAS SOUPS 36497 WITH SCORE 36677.974
AT ITER 486 NEW BEST:: SOT 237798 SOS 180908 HAS SOPS 140969 HAS SOUS 41378 HAS SOUPS 36466 WITH SCORE 36646.908
AT ITER 488 NEW BEST:: SOT 237798 SOS 180572 HAS SOPS 140707 HAS SOUS 41367 HAS SOUPS 36456 WITH SCORE 36636.572
AT ITER 489 NEW BEST:: SOT 237798 SOS 180579 HAS SOPS 140707 HAS SOUS 41225 HAS SOUPS 36355 WITH SCORE 36535.579
AT ITER 490 NEW BEST:: SOT 239016 SOS 181797 HAS SOPS 141925 HAS SOUS 41103 HAS SOUPS 36233 WITH SCORE 36414.797
AT ITER 491 NEW BEST:: SOT 242626 SOS 185407 HAS SOPS 145535 HAS SOUS 40998 HAS SOUPS 36128 WITH SCORE 36313.407
AT ITER 497 NEW BEST:: SOT 242636 SOS 185601 HAS SOPS 145637 HAS SOUS 41033 HAS SOUPS 36117 WITH SCORE 36302.601
AT ITER 501 NEW BEST:: SOT 242682 SOS 185641 HAS SOPS 145677 HAS SOUS 41030 HAS SOUPS 36114 WITH SCORE 36299.641
AT ITER 503 NEW BEST:: SOT 242666 SOS 185625 HAS SOPS 145661 HAS SOUS 41022 HAS SOUPS 36106 WITH SCORE 36291.625
AT ITER 504 NEW BEST:: SOT 242666 SOS 185665 HAS SOPS 145715 HAS SOUS 41005 HAS SOUPS 36096 WITH SCORE 36281.665
AT ITER 508 NEW BEST:: SOT 242448 SOS 185763 HAS SOPS 145873 HAS SOUS 40933 HAS SOUPS 36086 WITH SCORE 36271.763
AT ITER 515 NEW BEST:: SOT 242448 SOS 185779 HAS SOPS 145857 HAS SOUS 40933 HAS SOUPS 36078 WITH SCORE 36263.779
AT ITER 524 NEW BEST:: SOT 242424 SOS 185755 HAS SOPS 145833 HAS SOUS 40885 HAS SOUPS 36030 WITH SCORE 36215.755
AT ITER 530 NEW BEST:: SOT 242416 SOS 185457 HAS SOPS 145739 HAS SOUS 40930 HAS SOUPS 36025 WITH SCORE 36210.457
AT ITER 531 NEW BEST:: SOT 242416 SOS 185405 HAS SOPS 145577 HAS SOUS 40887 HAS SOUPS 35944 WITH SCORE 36129.405
AT ITER 533 NEW BEST:: SOT 242416 SOS 185393 HAS SOPS 145577 HAS SOUS 40885 HAS SOUPS 35944 WITH SCORE 36129.393
AT ITER 535 NEW BEST:: SOT 242350 SOS 181484 HAS SOPS 143243 HAS SOUS 40256 HAS SOUPS 35389 WITH SCORE 35570.484
AT ITER 541 NEW BEST:: SOT 241998 SOS 181156 HAS SOPS 142891 HAS SOUS 39476 HAS SOUPS 34576 WITH SCORE 34757.156
AT ITER 542 NEW BEST:: SOT 241998 SOS 181684 HAS SOPS 142845 HAS SOUS 39393 HAS SOUPS 34523 WITH SCORE 34704.684
AT ITER 546 NEW BEST:: SOT 242071 SOS 180223 HAS SOPS 142678 HAS SOUS 38973 HAS SOUPS 34501 WITH SCORE 34681.223
AT ITER 559 NEW BEST:: SOT 242071 SOS 180307 HAS SOPS 142678 HAS SOUS 38994 HAS SOUPS 34499 WITH SCORE 34679.307
AT ITER 563 NEW BEST:: SOT 242117 SOS 180353 HAS SOPS 142640 HAS SOUS 39017 HAS SOUPS 34480 WITH SCORE 34660.353
AT ITER 569 NEW BEST:: SOT 242143 SOS 180661 HAS SOPS 142948 HAS SOUS 38813 HAS SOUPS 34309 WITH SCORE 34489.661
AT ITER 571 NEW BEST:: SOT 241437 SOS 179893 HAS SOPS 142242 HAS SOUS 38539 HAS SOUPS 34066 WITH SCORE 34245.893
AT ITER 574 NEW BEST:: SOT 241437 SOS 179763 HAS SOPS 142112 HAS SOUS 38582 HAS SOUPS 34001 WITH SCORE 34180.763
AT ITER 575 NEW BEST:: SOT 241437 SOS 179763 HAS SOPS 140292 HAS SOUS 38596 HAS SOUPS 33959 WITH SCORE 34138.763
AT ITER 576 NEW BEST:: SOT 241437 SOS 179739 HAS SOPS 140268 HAS SOUS 38580 HAS SOUPS 33943 WITH SCORE 34122.739
AT ITER 577 NEW BEST:: SOT 241437 SOS 179077 HAS SOPS 139582 HAS SOUS 38457 HAS SOUPS 33856 WITH SCORE 34035.077
AT ITER 584 NEW BEST:: SOT 241963 SOS 179561 HAS SOPS 139962 HAS SOUS 37820 HAS SOUPS 33339 WITH SCORE 33518.561
AT ITER 587 NEW BEST:: SOT 241831 SOS 179467 HAS SOPS 139868 HAS SOUS 37792 HAS SOUPS 33311 WITH SCORE 33490.467
AT ITER 590 NEW BEST:: SOT 241831 SOS 179423 HAS SOPS 139208 HAS SOUS 37845 HAS SOUPS 33245 WITH SCORE 33424.423
AT ITER 591 NEW BEST:: SOT 241831 SOS 179423 HAS SOPS 139208 HAS SOUS 37839 HAS SOUPS 33239 WITH SCORE 33418.423
AT ITER 600 NEW BEST:: SOT 241803 SOS 179395 HAS SOPS 139180 HAS SOUS 37811 HAS SOUPS 33211 WITH SCORE 33390.395
AT ITER 607 NEW BEST:: SOT 241603 SOS 179195 HAS SOPS 138980 HAS SOUS 37711 HAS SOUPS 33111 WITH SCORE 33290.195
AT ITER 619 NEW BEST:: SOT 241619 SOS 179211 HAS SOPS 138996 HAS SOUS 37671 HAS SOUPS 33071 WITH SCORE 33250.211
AT ITER 625 NEW BEST:: SOT 241397 SOS 178891 HAS SOPS 138872 HAS SOUS 37399 HAS SOUPS 32897 WITH SCORE 33075.891
AT ITER 626 NEW BEST:: SOT 241397 SOS 178891 HAS SOPS 138640 HAS SOUS 37375 HAS SOUPS 32839 WITH SCORE 33017.891
AT ITER 629 NEW BEST:: SOT 241457 SOS 178669 HAS SOPS 137978 HAS SOUS 37494 HAS SOUPS 32749 WITH SCORE 32927.669
AT ITER 640 NEW BEST:: SOT 241257 SOS 178450 HAS SOPS 137759 HAS SOUS 37414 HAS SOUPS 32669 WITH SCORE 32847.45
AT ITER 648 NEW BEST:: SOT 241103 SOS 178296 HAS SOPS 137605 HAS SOUS 37306 HAS SOUPS 32561 WITH SCORE 32739.296
AT ITER 650 NEW BEST:: SOT 241103 SOS 177814 HAS SOPS 138403 HAS SOUS 37206 HAS SOUPS 32554 WITH SCORE 32731.814
AT ITER 652 NEW BEST:: SOT 241146 SOS 177821 HAS SOPS 138298 HAS SOUS 37171 HAS SOUPS 32512 WITH SCORE 32689.821
AT ITER 653 NEW BEST:: SOT 241146 SOS 177819 HAS SOPS 138438 HAS SOUS 37100 HAS SOUPS 32512 WITH SCORE 32689.819
AT ITER 657 NEW BEST:: SOT 241174 SOS 177939 HAS SOPS 138558 HAS SOUS 37006 HAS SOUPS 32487 WITH SCORE 32664.939
AT ITER 659 NEW BEST:: SOT 241038 SOS 177393 HAS SOPS 138246 HAS SOUS 36737 HAS SOUPS 32393 WITH SCORE 32570.393
AT ITER 663 NEW BEST:: SOT 241460 SOS 177661 HAS SOPS 137194 HAS SOUS 36092 HAS SOUPS 31792 WITH SCORE 31969.661
AT ITER 666 NEW BEST:: SOT 241460 SOS 176333 HAS SOPS 135866 HAS SOUS 36067 HAS SOUPS 31767 WITH SCORE 31943.333
AT ITER 668 NEW BEST:: SOT 241564 SOS 176557 HAS SOPS 135426 HAS SOUS 35851 HAS SOUPS 31568 WITH SCORE 31744.557
AT ITER 673 NEW BEST:: SOT 241545 SOS 176538 HAS SOPS 135407 HAS SOUS 35832 HAS SOUPS 31549 WITH SCORE 31725.538
AT ITER 690 NEW BEST:: SOT 241833 SOS 176826 HAS SOPS 135695 HAS SOUS 35332 HAS SOUPS 31049 WITH SCORE 31225.826
AT ITER 691 NEW BEST:: SOT 242693 SOS 177686 HAS SOPS 136555 HAS SOUS 35272 HAS SOUPS 30989 WITH SCORE 31166.686
AT ITER 694 NEW BEST:: SOT 242693 SOS 177648 HAS SOPS 136555 HAS SOUS 35253 HAS SOUPS 30989 WITH SCORE 31166.648
AT ITER 696 NEW BEST:: SOT 242693 SOS 178012 HAS SOPS 136651 HAS SOUS 35254 HAS SOUPS 30975 WITH SCORE 31153.012
AT ITER 703 NEW BEST:: SOT 242693 SOS 177778 HAS SOPS 136643 HAS SOUS 35279 HAS SOUPS 30975 WITH SCORE 31152.778
AT ITER 707 NEW BEST:: SOT 242465 SOS 177550 HAS SOPS 136415 HAS SOUS 35099 HAS SOUPS 30795 WITH SCORE 30972.55
AT ITER 710 NEW BEST:: SOT 242465 SOS 176812 HAS SOPS 136095 HAS SOUS 34948 HAS SOUPS 30740 WITH SCORE 30916.812
AT ITER 719 NEW BEST:: SOT 242467 SOS 176678 HAS SOPS 135961 HAS SOUS 34916 HAS SOUPS 30708 WITH SCORE 30884.678
AT ITER 720 NEW BEST:: SOT 242467 SOS 176622 HAS SOPS 135919 HAS SOUS 34916 HAS SOUPS 30708 WITH SCORE 30884.622
AT ITER 725 NEW BEST:: SOT 242005 SOS 176160 HAS SOPS 135457 HAS SOUS 34334 HAS SOUPS 30126 WITH SCORE 30302.16
AT ITER 730 NEW BEST:: SOT 242143 SOS 176006 HAS SOPS 135525 HAS SOUS 34291 HAS SOUPS 30126 WITH SCORE 30302.006
AT ITER 732 NEW BEST:: SOT 242143 SOS 176136 HAS SOPS 131167 HAS SOUS 34455 HAS SOUPS 29954 WITH SCORE 30130.136
AT ITER 733 NEW BEST:: SOT 241393 SOS 175386 HAS SOPS 130417 HAS SOUS 33853 HAS SOUPS 29352 WITH SCORE 29527.386
AT ITER 734 NEW BEST:: SOT 241329 SOS 175312 HAS SOPS 130447 HAS SOUS 33773 HAS SOUPS 29333 WITH SCORE 29508.312
AT ITER 736 NEW BEST:: SOT 241329 SOS 175284 HAS SOPS 130447 HAS SOUS 33766 HAS SOUPS 29333 WITH SCORE 29508.284
AT ITER 742 NEW BEST:: SOT 240727 SOS 174682 HAS SOPS 129845 HAS SOUS 33516 HAS SOUPS 29083 WITH SCORE 29257.682
AT ITER 750 NEW BEST:: SOT 240727 SOS 177038 HAS SOPS 129583 HAS SOUS 33390 HAS SOUPS 28939 WITH SCORE 29116.038
AT ITER 753 NEW BEST:: SOT 240441 SOS 176853 HAS SOPS 129398 HAS SOUS 33330 HAS SOUPS 28879 WITH SCORE 29055.853
AT ITER 754 NEW BEST:: SOT 240277 SOS 176657 HAS SOPS 129202 HAS SOUS 33248 HAS SOUPS 28797 WITH SCORE 28973.657
AT ITER 757 NEW BEST:: SOT 240277 SOS 176185 HAS SOPS 129106 HAS SOUS 33200 HAS SOUPS 28781 WITH SCORE 28957.185
AT ITER 759 NEW BEST:: SOT 240865 SOS 176773 HAS SOPS 129694 HAS SOUS 33158 HAS SOUPS 28739 WITH SCORE 28915.773
AT ITER 775 NEW BEST:: SOT 240883 SOS 176791 HAS SOPS 129712 HAS SOUS 33149 HAS SOUPS 28730 WITH SCORE 28906.791
AT ITER 777 NEW BEST:: SOT 240905 SOS 176813 HAS SOPS 129734 HAS SOUS 33121 HAS SOUPS 28702 WITH SCORE 28878.813
AT ITER 782 NEW BEST:: SOT 242231 SOS 178127 HAS SOPS 131048 HAS SOUS 33010 HAS SOUPS 28591 WITH SCORE 28769.127
AT ITER 788 NEW BEST:: SOT 242231 SOS 177533 HAS SOPS 130454 HAS SOUS 33010 HAS SOUPS 28591 WITH SCORE 28768.533
AT ITER 792 NEW BEST:: SOT 242195 SOS 177497 HAS SOPS 130418 HAS SOUS 32976 HAS SOUPS 28557 WITH SCORE 28734.497
AT ITER 797 NEW BEST:: SOT 239257 SOS 174559 HAS SOPS 127480 HAS SOUS 32204 HAS SOUPS 27785 WITH SCORE 27959.559
AT ITER 801 NEW BEST:: SOT 239257 SOS 174565 HAS SOPS 127486 HAS SOUS 32198 HAS SOUPS 27782 WITH SCORE 27956.565
AT ITER 802 NEW BEST:: SOT 239327 SOS 174663 HAS SOPS 127556 HAS SOUS 32105 HAS SOUPS 27708 WITH SCORE 27882.663
AT ITER 819 NEW BEST:: SOT 240137 SOS 175569 HAS SOPS 128218 HAS SOUS 31984 HAS SOUPS 27563 WITH SCORE 27738.569
AT ITER 822 NEW BEST:: SOT 240161 SOS 175015 HAS SOPS 126944 HAS SOUS 32007 HAS SOUPS 27551 WITH SCORE 27726.015
AT ITER 832 NEW BEST:: SOT 240161 SOS 175026 HAS SOPS 126262 HAS SOUS 31985 HAS SOUPS 27540 WITH SCORE 27715.026
AT ITER 837 NEW BEST:: SOT 240156 SOS 175363 HAS SOPS 126257 HAS SOUS 31970 HAS SOUPS 27539 WITH SCORE 27714.363
AT ITER 839 NEW BEST:: SOT 240156 SOS 175243 HAS SOPS 126217 HAS SOUS 31986 HAS SOUPS 27539 WITH SCORE 27714.243
AT ITER 845 NEW BEST:: SOT 240140 SOS 175247 HAS SOPS 126293 HAS SOUS 31964 HAS SOUPS 27526 WITH SCORE 27701.247
AT ITER 849 NEW BEST:: SOT 240140 SOS 175127 HAS SOPS 126293 HAS SOUS 31966 HAS SOUPS 27526 WITH SCORE 27701.127
AT ITER 851 NEW BEST:: SOT 240140 SOS 175127 HAS SOPS 126121 HAS SOUS 32009 HAS SOUPS 27483 WITH SCORE 27658.127
AT ITER 855 NEW BEST:: SOT 240140 SOS 175159 HAS SOPS 126089 HAS SOUS 31997 HAS SOUPS 27475 WITH SCORE 27650.159
AT ITER 861 NEW BEST:: SOT 240624 SOS 175643 HAS SOPS 126573 HAS SOUS 31365 HAS SOUPS 26843 WITH SCORE 27018.643
AT ITER 868 NEW BEST:: SOT 240624 SOS 175631 HAS SOPS 126575 HAS SOUS 31365 HAS SOUPS 26843 WITH SCORE 27018.631
AT ITER 871 NEW BEST:: SOT 240624 SOS 175597 HAS SOPS 126597 HAS SOUS 31338 HAS SOUPS 26843 WITH SCORE 27018.597
AT ITER 872 NEW BEST:: SOT 240480 SOS 175453 HAS SOPS 126453 HAS SOUS 31186 HAS SOUPS 26691 WITH SCORE 26866.453
AT ITER 877 NEW BEST:: SOT 240480 SOS 176201 HAS SOPS 126353 HAS SOUS 31189 HAS SOUPS 26641 WITH SCORE 26817.201
AT ITER 880 NEW BEST:: SOT 240536 SOS 176097 HAS SOPS 126247 HAS SOUS 31186 HAS SOUPS 26610 WITH SCORE 26786.097
AT ITER 882 NEW BEST:: SOT 240710 SOS 176271 HAS SOPS 126421 HAS SOUS 31152 HAS SOUPS 26576 WITH SCORE 26752.271
AT ITER 888 NEW BEST:: SOT 240730 SOS 176171 HAS SOPS 126321 HAS SOUS 30997 HAS SOUPS 26443 WITH SCORE 26619.171
AT ITER 889 NEW BEST:: SOT 240652 SOS 176093 HAS SOPS 126243 HAS SOUS 30919 HAS SOUPS 26365 WITH SCORE 26541.093
AT ITER 893 NEW BEST:: SOT 240652 SOS 176195 HAS SOPS 126131 HAS SOUS 30817 HAS SOUPS 26309 WITH SCORE 26485.195
AT ITER 894 NEW BEST:: SOT 240736 SOS 176406 HAS SOPS 126337 HAS SOUS 30762 HAS SOUPS 26300 WITH SCORE 26476.406
AT ITER 907 NEW BEST:: SOT 240750 SOS 175932 HAS SOPS 126197 HAS SOUS 30879 HAS SOUPS 26244 WITH SCORE 26419.932
AT ITER 925 NEW BEST:: SOT 241123 SOS 176305 HAS SOPS 126570 HAS SOUS 30196 HAS SOUPS 25561 WITH SCORE 25737.305
AT ITER 927 NEW BEST:: SOT 240313 SOS 175495 HAS SOPS 125760 HAS SOUS 29926 HAS SOUPS 25291 WITH SCORE 25466.495
AT ITER 931 NEW BEST:: SOT 240313 SOS 175495 HAS SOPS 125760 HAS SOUS 29912 HAS SOUPS 25277 WITH SCORE 25452.495
AT ITER 937 NEW BEST:: SOT 240313 SOS 175405 HAS SOPS 125760 HAS SOUS 29912 HAS SOUPS 25277 WITH SCORE 25452.405
AT ITER 938 NEW BEST:: SOT 240313 SOS 175405 HAS SOPS 125760 HAS SOUS 29882 HAS SOUPS 25247 WITH SCORE 25422.405
AT ITER 960 NEW BEST:: SOT 240340 SOS 175432 HAS SOPS 125787 HAS SOUS 29774 HAS SOUPS 25206 WITH SCORE 25381.432
AT ITER 966 NEW BEST:: SOT 240360 SOS 175122 HAS SOPS 124709 HAS SOUS 29670 HAS SOUPS 25102 WITH SCORE 25277.122
AT ITER 970 NEW BEST:: SOT 240360 SOS 176033 HAS SOPS 124561 HAS SOUS 29721 HAS SOUPS 25079 WITH SCORE 25255.033
AT ITER 971 NEW BEST:: SOT 240284 SOS 175957 HAS SOPS 124485 HAS SOUS 29656 HAS SOUPS 25014 WITH SCORE 25189.957
AT ITER 984 NEW BEST:: SOT 240646 SOS 176319 HAS SOPS 124847 HAS SOUS 29530 HAS SOUPS 24888 WITH SCORE 25064.319
AT ITER 1000 NEW BEST:: SOT 240646 SOS 176349 HAS SOPS 124845 HAS SOUS 29527 HAS SOUPS 24885 WITH SCORE 25061.349
AT ITER 1004 NEW BEST:: SOT 240646 SOS 176359 HAS SOPS 124835 HAS SOUS 29524 HAS SOUPS 24882 WITH SCORE 25058.359
AT ITER 1009 NEW BEST:: SOT 240628 SOS 176341 HAS SOPS 124817 HAS SOUS 29515 HAS SOUPS 24873 WITH SCORE 25049.341
AT ITER 1010 NEW BEST:: SOT 240636 SOS 176349 HAS SOPS 124825 HAS SOUS 29493 HAS SOUPS 24851 WITH SCORE 25027.349
AT ITER 1013 NEW BEST:: SOT 240580 SOS 176173 HAS SOPS 124457 HAS SOUS 29420 HAS SOUPS 24763 WITH SCORE 24939.173
AT ITER 1014 NEW BEST:: SOT 240580 SOS 176209 HAS SOPS 124493 HAS SOUS 29398 HAS SOUPS 24741 WITH SCORE 24917.209
AT ITER 1019 NEW BEST:: SOT 240040 SOS 175669 HAS SOPS 123953 HAS SOUS 29168 HAS SOUPS 24511 WITH SCORE 24686.669
AT ITER 1021 NEW BEST:: SOT 239622 SOS 175251 HAS SOPS 123535 HAS SOUS 28966 HAS SOUPS 24309 WITH SCORE 24484.251
AT ITER 1027 NEW BEST:: SOT 238978 SOS 174607 HAS SOPS 122891 HAS SOUS 28943 HAS SOUPS 24286 WITH SCORE 24460.607
AT ITER 1029 NEW BEST:: SOT 238978 SOS 174545 HAS SOPS 122829 HAS SOUS 28851 HAS SOUPS 24209 WITH SCORE 24383.545
AT ITER 1052 NEW BEST:: SOT 238896 SOS 174463 HAS SOPS 122747 HAS SOUS 28727 HAS SOUPS 24085 WITH SCORE 24259.463
AT ITER 1056 NEW BEST:: SOT 238896 SOS 174411 HAS SOPS 122709 HAS SOUS 28670 HAS SOUPS 24066 WITH SCORE 24240.411
AT ITER 1057 NEW BEST:: SOT 238896 SOS 174147 HAS SOPS 122709 HAS SOUS 28637 HAS SOUPS 24066 WITH SCORE 24240.147
AT ITER 1058 NEW BEST:: SOT 238880 SOS 174131 HAS SOPS 122693 HAS SOUS 28629 HAS SOUPS 24058 WITH SCORE 24232.131
AT ITER 1059 NEW BEST:: SOT 238880 SOS 173943 HAS SOPS 122505 HAS SOUS 28582 HAS SOUPS 24011 WITH SCORE 24184.943
AT ITER 1075 NEW BEST:: SOT 238880 SOS 173787 HAS SOPS 122645 HAS SOUS 28512 HAS SOUPS 24011 WITH SCORE 24184.787
AT ITER 1076 NEW BEST:: SOT 238762 SOS 174069 HAS SOPS 120067 HAS SOUS 28534 HAS SOUPS 23964 WITH SCORE 24138.069
AT ITER 1081 NEW BEST:: SOT 238762 SOS 174047 HAS SOPS 120067 HAS SOUS 28512 HAS SOUPS 23964 WITH SCORE 24138.047
AT ITER 1084 NEW BEST:: SOT 238762 SOS 174383 HAS SOPS 120013 HAS SOUS 28532 HAS SOUPS 23937 WITH SCORE 24111.383
AT ITER 1088 NEW BEST:: SOT 238762 SOS 174377 HAS SOPS 120007 HAS SOUS 28532 HAS SOUPS 23937 WITH SCORE 24111.377
AT ITER 1091 NEW BEST:: SOT 238762 SOS 174377 HAS SOPS 119935 HAS SOUS 28496 HAS SOUPS 23881 WITH SCORE 24055.377
AT ITER 1102 NEW BEST:: SOT 238762 SOS 174377 HAS SOPS 119883 HAS SOUS 28519 HAS SOUPS 23878 WITH SCORE 24052.377
AT ITER 1113 NEW BEST:: SOT 238819 SOS 174175 HAS SOPS 119681 HAS SOUS 28497 HAS SOUPS 23856 WITH SCORE 24030.175
AT ITER 1119 NEW BEST:: SOT 238836 SOS 174172 HAS SOPS 119678 HAS SOUS 28485 HAS SOUPS 23844 WITH SCORE 24018.172
AT ITER 1122 NEW BEST:: SOT 238836 SOS 173500 HAS SOPS 119902 HAS SOUS 28457 HAS SOUPS 23844 WITH SCORE 24017.5
AT ITER 1128 NEW BEST:: SOT 238836 SOS 173420 HAS SOPS 119862 HAS SOUS 28417 HAS SOUPS 23824 WITH SCORE 23997.42
AT ITER 1137 NEW BEST:: SOT 238852 SOS 173296 HAS SOPS 119808 HAS SOUS 28325 HAS SOUPS 23767 WITH SCORE 23940.296
AT ITER 1144 NEW BEST:: SOT 238926 SOS 173370 HAS SOPS 119694 HAS SOUS 28340 HAS SOUPS 23735 WITH SCORE 23908.37
AT ITER 1147 NEW BEST:: SOT 238988 SOS 173122 HAS SOPS 118786 HAS SOUS 28471 HAS SOUPS 23624 WITH SCORE 23797.122
AT ITER 1150 NEW BEST:: SOT 239084 SOS 173082 HAS SOPS 118746 HAS SOUS 28396 HAS SOUPS 23549 WITH SCORE 23722.082
AT ITER 1154 NEW BEST:: SOT 239145 SOS 173143 HAS SOPS 118807 HAS SOUS 28311 HAS SOUPS 23464 WITH SCORE 23637.143
AT ITER 1157 NEW BEST:: SOT 238578 SOS 172576 HAS SOPS 118316 HAS SOUS 28277 HAS SOUPS 23430 WITH SCORE 23602.576
AT ITER 1161 NEW BEST:: SOT 238991 SOS 172989 HAS SOPS 118581 HAS SOUS 28179 HAS SOUPS 23332 WITH SCORE 23504.989
AT ITER 1162 NEW BEST:: SOT 238991 SOS 172947 HAS SOPS 117619 HAS SOUS 28108 HAS SOUPS 23276 WITH SCORE 23448.947
AT ITER 1178 NEW BEST:: SOT 238991 SOS 170553 HAS SOPS 114739 HAS SOUS 28091 HAS SOUPS 23196 WITH SCORE 23366.553
AT ITER 1187 NEW BEST:: SOT 238975 SOS 170537 HAS SOPS 114723 HAS SOUS 28089 HAS SOUPS 23194 WITH SCORE 23364.537
AT ITER 1193 NEW BEST:: SOT 238975 SOS 172425 HAS SOPS 116755 HAS SOUS 27950 HAS SOUPS 23157 WITH SCORE 23329.425
AT ITER 1194 NEW BEST:: SOT 238975 SOS 172363 HAS SOPS 116693 HAS SOUS 27919 HAS SOUPS 23126 WITH SCORE 23298.363
AT ITER 1210 NEW BEST:: SOT 239235 SOS 172623 HAS SOPS 116919 HAS SOUS 27702 HAS SOUPS 22908 WITH SCORE 23080.623
AT ITER 1215 NEW BEST:: SOT 239235 SOS 172665 HAS SOPS 116919 HAS SOUS 27707 HAS SOUPS 22894 WITH SCORE 23066.665
AT ITER 1223 NEW BEST:: SOT 238867 SOS 172381 HAS SOPS 116719 HAS SOUS 27499 HAS SOUPS 22728 WITH SCORE 22900.381
AT ITER 1225 NEW BEST:: SOT 238867 SOS 172429 HAS SOPS 116671 HAS SOUS 27451 HAS SOUPS 22680 WITH SCORE 22852.429
AT ITER 1227 NEW BEST:: SOT 239241 SOS 172803 HAS SOPS 117045 HAS SOUS 27209 HAS SOUPS 22438 WITH SCORE 22610.803
AT ITER 1234 NEW BEST:: SOT 239241 SOS 172802 HAS SOPS 117044 HAS SOUS 27203 HAS SOUPS 22432 WITH SCORE 22604.802
AT ITER 1237 NEW BEST:: SOT 239499 SOS 173060 HAS SOPS 117302 HAS SOUS 26767 HAS SOUPS 21996 WITH SCORE 22169.06
AT ITER 1252 NEW BEST:: SOT 239499 SOS 173060 HAS SOPS 117302 HAS SOUS 26766 HAS SOUPS 21995 WITH SCORE 22168.06
AT ITER 1257 NEW BEST:: SOT 239499 SOS 173170 HAS SOPS 117412 HAS SOUS 26734 HAS SOUPS 21979 WITH SCORE 22152.17
AT ITER 1258 NEW BEST:: SOT 239995 SOS 173666 HAS SOPS 117908 HAS SOUS 26718 HAS SOUPS 21963 WITH SCORE 22136.666
AT ITER 1259 NEW BEST:: SOT 239443 SOS 173114 HAS SOPS 117356 HAS SOUS 26538 HAS SOUPS 21783 WITH SCORE 21956.114
AT ITER 1276 NEW BEST:: SOT 239409 SOS 173080 HAS SOPS 117322 HAS SOUS 26505 HAS SOUPS 21750 WITH SCORE 21923.08
AT ITER 1285 NEW BEST:: SOT 239409 SOS 173046 HAS SOPS 117322 HAS SOUS 26522 HAS SOUPS 21750 WITH SCORE 21923.046
AT ITER 1288 NEW BEST:: SOT 239409 SOS 173046 HAS SOPS 117274 HAS SOUS 26522 HAS SOUPS 21744 WITH SCORE 21917.046
AT ITER 1289 NEW BEST:: SOT 239403 SOS 172324 HAS SOPS 116676 HAS SOUS 26441 HAS SOUPS 21719 WITH SCORE 21891.324
AT ITER 1294 NEW BEST:: SOT 239733 SOS 172654 HAS SOPS 117006 HAS SOUS 26131 HAS SOUPS 21409 WITH SCORE 21581.654
AT ITER 1295 NEW BEST:: SOT 239753 SOS 172674 HAS SOPS 117026 HAS SOUS 26121 HAS SOUPS 21399 WITH SCORE 21571.674
AT ITER 1301 NEW BEST:: SOT 239753 SOS 172666 HAS SOPS 117026 HAS SOUS 26162 HAS SOUPS 21399 WITH SCORE 21571.666
AT ITER 1307 NEW BEST:: SOT 239753 SOS 169554 HAS SOPS 113094 HAS SOUS 26228 HAS SOUPS 21375 WITH SCORE 21544.554
AT ITER 1313 NEW BEST:: SOT 240051 SOS 169816 HAS SOPS 113356 HAS SOUS 26044 HAS SOUPS 21191 WITH SCORE 21360.816
AT ITER 1317 NEW BEST:: SOT 240051 SOS 170038 HAS SOPS 113140 HAS SOUS 25837 HAS SOUPS 20923 WITH SCORE 21093.038
AT ITER 1327 NEW BEST:: SOT 240005 SOS 169992 HAS SOPS 113094 HAS SOUS 25830 HAS SOUPS 20916 WITH SCORE 21085.992
AT ITER 1332 NEW BEST:: SOT 240005 SOS 169998 HAS SOPS 113088 HAS SOUS 25830 HAS SOUPS 20913 WITH SCORE 21082.998
AT ITER 1333 NEW BEST:: SOT 239917 SOS 169910 HAS SOPS 113000 HAS SOUS 25713 HAS SOUPS 20796 WITH SCORE 20965.91
AT ITER 1334 NEW BEST:: SOT 239917 SOS 169906 HAS SOPS 112996 HAS SOUS 25709 HAS SOUPS 20792 WITH SCORE 20961.906
AT ITER 1335 NEW BEST:: SOT 239803 SOS 169832 HAS SOPS 112922 HAS SOUS 25595 HAS SOUPS 20678 WITH SCORE 20847.832
AT ITER 1342 NEW BEST:: SOT 239803 SOS 169570 HAS SOPS 113068 HAS SOUS 25568 HAS SOUPS 20651 WITH SCORE 20820.57
AT ITER 1343 NEW BEST:: SOT 239803 SOS 169300 HAS SOPS 113068 HAS SOUS 25568 HAS SOUPS 20651 WITH SCORE 20820.3
AT ITER 1349 NEW BEST:: SOT 240595 SOS 170092 HAS SOPS 113860 HAS SOUS 25467 HAS SOUPS 20550 WITH SCORE 20720.092
AT ITER 1351 NEW BEST:: SOT 240595 SOS 170088 HAS SOPS 113860 HAS SOUS 25466 HAS SOUPS 20550 WITH SCORE 20720.088
AT ITER 1352 NEW BEST:: SOT 240595 SOS 170088 HAS SOPS 113860 HAS SOUS 25382 HAS SOUPS 20466 WITH SCORE 20636.088
AT ITER 1365 NEW BEST:: SOT 240515 SOS 170022 HAS SOPS 113808 HAS SOUS 25335 HAS SOUPS 20426 WITH SCORE 20596.022
AT ITER 1366 NEW BEST:: SOT 240477 SOS 168172 HAS SOPS 111246 HAS SOUS 25282 HAS SOUPS 20372 WITH SCORE 20540.172
AT ITER 1371 NEW BEST:: SOT 240477 SOS 168140 HAS SOPS 111326 HAS SOUS 25254 HAS SOUPS 20372 WITH SCORE 20540.14
AT ITER 1383 NEW BEST:: SOT 240449 SOS 168126 HAS SOPS 111312 HAS SOUS 25254 HAS SOUPS 20372 WITH SCORE 20540.126
AT ITER 1390 NEW BEST:: SOT 240449 SOS 168126 HAS SOPS 111312 HAS SOUS 25180 HAS SOUPS 20350 WITH SCORE 20518.126
AT ITER 1393 NEW BEST:: SOT 240449 SOS 168030 HAS SOPS 111216 HAS SOUS 25180 HAS SOUPS 20350 WITH SCORE 20518.03
AT ITER 1399 NEW BEST:: SOT 240600 SOS 168181 HAS SOPS 111367 HAS SOUS 25168 HAS SOUPS 20338 WITH SCORE 20506.181
AT ITER 1411 NEW BEST:: SOT 240600 SOS 168081 HAS SOPS 111231 HAS SOUS 25168 HAS SOUPS 20338 WITH SCORE 20506.081
AT ITER 1412 NEW BEST:: SOT 240600 SOS 168269 HAS SOPS 110849 HAS SOUS 25231 HAS SOUPS 20284 WITH SCORE 20452.269
AT ITER 1415 NEW BEST:: SOT 240600 SOS 168329 HAS SOPS 110819 HAS SOUS 25246 HAS SOUPS 20269 WITH SCORE 20437.329
AT ITER 1423 NEW BEST:: SOT 240600 SOS 168293 HAS SOPS 110847 HAS SOUS 25184 HAS SOUPS 20241 WITH SCORE 20409.293
AT ITER 1424 NEW BEST:: SOT 240600 SOS 168163 HAS SOPS 110963 HAS SOUS 25159 HAS SOUPS 20239 WITH SCORE 20407.163
AT ITER 1438 NEW BEST:: SOT 240626 SOS 168183 HAS SOPS 110983 HAS SOUS 25138 HAS SOUPS 20218 WITH SCORE 20386.183
AT ITER 1453 NEW BEST:: SOT 240626 SOS 168268 HAS SOPS 110983 HAS SOUS 25171 HAS SOUPS 20198 WITH SCORE 20366.268
AT ITER 1454 NEW BEST:: SOT 240626 SOS 167372 HAS SOPS 110507 HAS SOUS 25157 HAS SOUPS 20184 WITH SCORE 20351.372
AT ITER 1472 NEW BEST:: SOT 240626 SOS 167348 HAS SOPS 110507 HAS SOUS 25145 HAS SOUPS 20184 WITH SCORE 20351.348
AT ITER 1488 NEW BEST:: SOT 240626 SOS 167304 HAS SOPS 110463 HAS SOUS 25145 HAS SOUPS 20184 WITH SCORE 20351.304
AT ITER 1505 NEW BEST:: SOT 240644 SOS 167322 HAS SOPS 110481 HAS SOUS 25097 HAS SOUPS 20136 WITH SCORE 20303.322
AT ITER 1519 NEW BEST:: SOT 240644 SOS 167290 HAS SOPS 110449 HAS SOUS 25097 HAS SOUPS 20136 WITH SCORE 20303.29
AT ITER 1525 NEW BEST:: SOT 240644 SOS 167146 HAS SOPS 110305 HAS SOUS 25097 HAS SOUPS 20136 WITH SCORE 20303.146
AT ITER 1541 NEW BEST:: SOT 240644 SOS 166702 HAS SOPS 110305 HAS SOUS 25033 HAS SOUPS 20136 WITH SCORE 20302.702
AT ITER 1543 NEW BEST:: SOT 240758 SOS 166660 HAS SOPS 110263 HAS SOUS 24934 HAS SOUPS 20058 WITH SCORE 20224.66
AT ITER 1552 NEW BEST:: SOT 240758 SOS 166622 HAS SOPS 110179 HAS SOUS 24912 HAS SOUPS 20046 WITH SCORE 20212.622
AT ITER 1555 NEW BEST:: SOT 240668 SOS 166532 HAS SOPS 110089 HAS SOUS 24912 HAS SOUPS 20046 WITH SCORE 20212.532
AT ITER 1556 NEW BEST:: SOT 240372 SOS 166213 HAS SOPS 109770 HAS SOUS 24774 HAS SOUPS 19908 WITH SCORE 20074.213
AT ITER 1561 NEW BEST:: SOT 240372 SOS 166197 HAS SOPS 109766 HAS SOUS 24772 HAS SOUPS 19907 WITH SCORE 20073.197
AT ITER 1588 NEW BEST:: SOT 240363 SOS 166174 HAS SOPS 109743 HAS SOUS 24744 HAS SOUPS 19879 WITH SCORE 20045.174
AT ITER 1598 NEW BEST:: SOT 240241 SOS 166052 HAS SOPS 109621 HAS SOUS 24613 HAS SOUPS 19748 WITH SCORE 19914.052
AT ITER 1600 NEW BEST:: SOT 240165 SOS 165976 HAS SOPS 109545 HAS SOUS 24577 HAS SOUPS 19712 WITH SCORE 19877.976
AT ITER 1632 NEW BEST:: SOT 240165 SOS 165960 HAS SOPS 109527 HAS SOUS 24569 HAS SOUPS 19703 WITH SCORE 19868.96
AT ITER 1640 NEW BEST:: SOT 240175 SOS 165646 HAS SOPS 109281 HAS SOUS 24653 HAS SOUPS 19678 WITH SCORE 19843.646
AT ITER 1650 NEW BEST:: SOT 239959 SOS 165380 HAS SOPS 109247 HAS SOUS 24646 HAS SOUPS 19665 WITH SCORE 19830.38
AT ITER 1654 NEW BEST:: SOT 240069 SOS 165490 HAS SOPS 109357 HAS SOUS 24602 HAS SOUPS 19621 WITH SCORE 19786.49
AT ITER 1657 NEW BEST:: SOT 239862 SOS 165283 HAS SOPS 109150 HAS SOUS 24482 HAS SOUPS 19501 WITH SCORE 19666.283
AT ITER 1666 NEW BEST:: SOT 239862 SOS 163931 HAS SOPS 109462 HAS SOUS 24430 HAS SOUPS 19501 WITH SCORE 19664.931
AT ITER 1670 NEW BEST:: SOT 239818 SOS 163887 HAS SOPS 109418 HAS SOUS 24413 HAS SOUPS 19484 WITH SCORE 19647.887
AT ITER 1675 NEW BEST:: SOT 239818 SOS 163875 HAS SOPS 109412 HAS SOUS 24413 HAS SOUPS 19484 WITH SCORE 19647.875
AT ITER 1689 NEW BEST:: SOT 239818 SOS 163545 HAS SOPS 109006 HAS SOUS 24434 HAS SOUPS 19467 WITH SCORE 19630.545
AT ITER 1705 NEW BEST:: SOT 240026 SOS 163753 HAS SOPS 109214 HAS SOUS 24354 HAS SOUPS 19387 WITH SCORE 19550.753
AT ITER 1709 NEW BEST:: SOT 239918 SOS 163645 HAS SOPS 109106 HAS SOUS 24288 HAS SOUPS 19321 WITH SCORE 19484.645
AT ITER 1719 NEW BEST:: SOT 239918 SOS 163257 HAS SOPS 109106 HAS SOUS 24288 HAS SOUPS 19295 WITH SCORE 19458.257
AT ITER 1733 NEW BEST:: SOT 239918 SOS 162945 HAS SOPS 109262 HAS SOUS 24249 HAS SOUPS 19295 WITH SCORE 19457.945
AT ITER 1735 NEW BEST:: SOT 239974 SOS 163001 HAS SOPS 109318 HAS SOUS 24193 HAS SOUPS 19239 WITH SCORE 19402.001
AT ITER 1739 NEW BEST:: SOT 239974 SOS 163011 HAS SOPS 109288 HAS SOUS 24193 HAS SOUPS 19234 WITH SCORE 19397.011
AT ITER 1745 NEW BEST:: SOT 239974 SOS 162969 HAS SOPS 109274 HAS SOUS 24179 HAS SOUPS 19227 WITH SCORE 19389.969
AT ITER 1765 NEW BEST:: SOT 239974 SOS 167337 HAS SOPS 109228 HAS SOUS 24206 HAS SOUPS 19204 WITH SCORE 19371.337
AT ITER 1769 NEW BEST:: SOT 240042 SOS 167163 HAS SOPS 109054 HAS SOUS 24203 HAS SOUPS 19201 WITH SCORE 19368.163
AT ITER 1774 NEW BEST:: SOT 240398 SOS 167519 HAS SOPS 109410 HAS SOUS 23995 HAS SOUPS 18993 WITH SCORE 19160.519
AT ITER 1823 NEW BEST:: SOT 240398 SOS 167385 HAS SOPS 109276 HAS SOUS 23928 HAS SOUPS 18926 WITH SCORE 19093.385
AT ITER 1825 NEW BEST:: SOT 240269 SOS 167232 HAS SOPS 109123 HAS SOUS 23915 HAS SOUPS 18919 WITH SCORE 19086.232
AT ITER 1834 NEW BEST:: SOT 240269 SOS 167056 HAS SOPS 109123 HAS SOUS 23871 HAS SOUPS 18919 WITH SCORE 19086.056
AT ITER 1850 NEW BEST:: SOT 240371 SOS 167158 HAS SOPS 109225 HAS SOUS 23867 HAS SOUPS 18915 WITH SCORE 19082.158
AT ITER 1853 NEW BEST:: SOT 240371 SOS 165372 HAS SOPS 108233 HAS SOUS 23859 HAS SOUPS 18915 WITH SCORE 19080.372
AT ITER 1867 NEW BEST:: SOT 240331 SOS 165332 HAS SOPS 108193 HAS SOUS 23853 HAS SOUPS 18909 WITH SCORE 19074.332
AT ITER 1873 NEW BEST:: SOT 240331 SOS 165222 HAS SOPS 108083 HAS SOUS 23796 HAS SOUPS 18852 WITH SCORE 19017.222
AT ITER 1887 NEW BEST:: SOT 240489 SOS 165380 HAS SOPS 108241 HAS SOUS 23581 HAS SOUPS 18637 WITH SCORE 18802.38
AT ITER 1891 NEW BEST:: SOT 240489 SOS 165364 HAS SOPS 108241 HAS SOUS 23573 HAS SOUPS 18637 WITH SCORE 18802.364
AT ITER 1896 NEW BEST:: SOT 240461 SOS 165336 HAS SOPS 108213 HAS SOUS 23573 HAS SOUPS 18637 WITH SCORE 18802.336
AT ITER 1897 NEW BEST:: SOT 240461 SOS 165285 HAS SOPS 108213 HAS SOUS 23566 HAS SOUPS 18637 WITH SCORE 18802.285
AT ITER 1903 NEW BEST:: SOT 240391 SOS 165215 HAS SOPS 108143 HAS SOUS 23459 HAS SOUPS 18530 WITH SCORE 18695.215
AT ITER 1927 NEW BEST:: SOT 240391 SOS 165289 HAS SOPS 108181 HAS SOUS 23422 HAS SOUPS 18493 WITH SCORE 18658.289
AT ITER 1987 NEW BEST:: SOT 240391 SOS 165261 HAS SOPS 108209 HAS SOUS 23381 HAS SOUPS 18480 WITH SCORE 18645.261
AT ITER 1998 NEW BEST:: SOT 240391 SOS 165181 HAS SOPS 108053 HAS SOUS 23421 HAS SOUPS 18474 WITH SCORE 18639.181
AT ITER 1999 NEW BEST:: SOT 240753 SOS 165543 HAS SOPS 108415 HAS SOUS 23388 HAS SOUPS 18441 WITH SCORE 18606.543
AT ITER 2008 NEW BEST:: SOT 240615 SOS 165405 HAS SOPS 108277 HAS SOUS 23282 HAS SOUPS 18335 WITH SCORE 18500.405
AT ITER 2040 NEW BEST:: SOT 240613 SOS 165403 HAS SOPS 108275 HAS SOUS 23281 HAS SOUPS 18334 WITH SCORE 18499.403
AT ITER 2069 NEW BEST:: SOT 240552 SOS 165343 HAS SOPS 108215 HAS SOUS 23261 HAS SOUPS 18314 WITH SCORE 18479.343
AT ITER 2077 NEW BEST:: SOT 240552 SOS 165307 HAS SOPS 108323 HAS SOUS 23261 HAS SOUPS 18314 WITH SCORE 18479.307
AT ITER 2081 NEW BEST:: SOT 240460 SOS 163003 HAS SOPS 108309 HAS SOUS 23256 HAS SOUPS 18307 WITH SCORE 18470.003
AT ITER 2089 NEW BEST:: SOT 240416 SOS 162959 HAS SOPS 108265 HAS SOUS 23254 HAS SOUPS 18305 WITH SCORE 18467.959
AT ITER 2124 NEW BEST:: SOT 240376 SOS 162919 HAS SOPS 108225 HAS SOUS 23250 HAS SOUPS 18301 WITH SCORE 18463.919
AT ITER 2140 NEW BEST:: SOT 240102 SOS 162645 HAS SOPS 107951 HAS SOUS 23160 HAS SOUPS 18211 WITH SCORE 18373.645
AT ITER 2144 NEW BEST:: SOT 240000 SOS 162543 HAS SOPS 107849 HAS SOUS 23109 HAS SOUPS 18160 WITH SCORE 18322.543
AT ITER 2152 NEW BEST:: SOT 240000 SOS 161151 HAS SOPS 106051 HAS SOUS 23109 HAS SOUPS 18160 WITH SCORE 18321.151
AT ITER 2153 NEW BEST:: SOT 240066 SOS 161125 HAS SOPS 107449 HAS SOUS 23020 HAS SOUPS 18096 WITH SCORE 18257.125
AT ITER 2165 NEW BEST:: SOT 240066 SOS 164101 HAS SOPS 107353 HAS SOUS 23020 HAS SOUPS 18072 WITH SCORE 18236.101
AT ITER 2168 NEW BEST:: SOT 240078 SOS 164113 HAS SOPS 107365 HAS SOUS 23016 HAS SOUPS 18068 WITH SCORE 18232.113
AT ITER 2195 NEW BEST:: SOT 240073 SOS 164108 HAS SOPS 107360 HAS SOUS 23011 HAS SOUPS 18063 WITH SCORE 18227.108
AT ITER 2205 NEW BEST:: SOT 239959 SOS 163862 HAS SOPS 107114 HAS SOUS 22954 HAS SOUPS 18006 WITH SCORE 18169.862
AT ITER 2206 NEW BEST:: SOT 239903 SOS 164266 HAS SOPS 107610 HAS SOUS 22864 HAS SOUPS 17977 WITH SCORE 18141.266
AT ITER 2210 NEW BEST:: SOT 239903 SOS 164178 HAS SOPS 107508 HAS SOUS 22871 HAS SOUPS 17977 WITH SCORE 18141.178
AT ITER 2239 NEW BEST:: SOT 239903 SOS 164626 HAS SOPS 107356 HAS SOUS 22855 HAS SOUPS 17947 WITH SCORE 18111.626
AT ITER 2258 NEW BEST:: SOT 239951 SOS 164674 HAS SOPS 107404 HAS SOUS 22853 HAS SOUPS 17945 WITH SCORE 18109.674
AT ITER 2299 NEW BEST:: SOT 239951 SOS 164658 HAS SOPS 107404 HAS SOUS 22843 HAS SOUPS 17943 WITH SCORE 18107.658
AT ITER 2305 NEW BEST:: SOT 239941 SOS 164648 HAS SOPS 107394 HAS SOUS 22838 HAS SOUPS 17938 WITH SCORE 18102.648
AT ITER 2313 NEW BEST:: SOT 239964 SOS 164419 HAS SOPS 107165 HAS SOUS 22759 HAS SOUPS 17841 WITH SCORE 18005.419
AT ITER 2325 NEW BEST:: SOT 239964 SOS 164947 HAS SOPS 107707 HAS SOUS 22643 HAS SOUPS 17770 WITH SCORE 17934.947
AT ITER 2326 NEW BEST:: SOT 239964 SOS 164919 HAS SOPS 107679 HAS SOUS 22629 HAS SOUPS 17756 WITH SCORE 17920.919
AT ITER 2358 NEW BEST:: SOT 240204 SOS 165159 HAS SOPS 107919 HAS SOUS 22621 HAS SOUPS 17748 WITH SCORE 17913.159
AT ITER 2370 NEW BEST:: SOT 240524 SOS 165479 HAS SOPS 108239 HAS SOUS 22581 HAS SOUPS 17708 WITH SCORE 17873.479
AT ITER 2374 NEW BEST:: SOT 240524 SOS 165479 HAS SOPS 108239 HAS SOUS 22577 HAS SOUPS 17704 WITH SCORE 17869.479
AT ITER 2384 NEW BEST:: SOT 240524 SOS 165151 HAS SOPS 107911 HAS SOUS 22553 HAS SOUPS 17680 WITH SCORE 17845.151
AT ITER 2390 NEW BEST:: SOT 240524 SOS 165125 HAS SOPS 107885 HAS SOUS 22553 HAS SOUPS 17680 WITH SCORE 17845.125
AT ITER 2413 NEW BEST:: SOT 240524 SOS 165001 HAS SOPS 107829 HAS SOUS 22519 HAS SOUPS 17680 WITH SCORE 17845.001
AT ITER 2434 NEW BEST:: SOT 240456 SOS 164933 HAS SOPS 107761 HAS SOUS 22472 HAS SOUPS 17633 WITH SCORE 17797.933
AT ITER 2441 NEW BEST:: SOT 240456 SOS 164767 HAS SOPS 107595 HAS SOUS 22429 HAS SOUPS 17590 WITH SCORE 17754.767
AT ITER 2452 NEW BEST:: SOT 239628 SOS 163939 HAS SOPS 106767 HAS SOUS 22327 HAS SOUPS 17488 WITH SCORE 17651.939
AT ITER 2454 NEW BEST:: SOT 239612 SOS 163923 HAS SOPS 106751 HAS SOUS 22315 HAS SOUPS 17476 WITH SCORE 17639.923
AT ITER 2474 NEW BEST:: SOT 239612 SOS 163917 HAS SOPS 106727 HAS SOUS 22324 HAS SOUPS 17473 WITH SCORE 17636.917
AT ITER 2485 NEW BEST:: SOT 239670 SOS 163853 HAS SOPS 106601 HAS SOUS 22363 HAS SOUPS 17443 WITH SCORE 17606.853
AT ITER 2493 NEW BEST:: SOT 239636 SOS 163819 HAS SOPS 106567 HAS SOUS 22348 HAS SOUPS 17428 WITH SCORE 17591.819
AT ITER 2501 NEW BEST:: SOT 239642 SOS 163825 HAS SOPS 106573 HAS SOUS 22290 HAS SOUPS 17370 WITH SCORE 17533.825
AT ITER 2523 NEW BEST:: SOT 239636 SOS 163819 HAS SOPS 106567 HAS SOUS 22284 HAS SOUPS 17364 WITH SCORE 17527.819
AT ITER 2529 NEW BEST:: SOT 239600 SOS 163783 HAS SOPS 106531 HAS SOUS 22162 HAS SOUPS 17242 WITH SCORE 17405.783
AT ITER 2531 NEW BEST:: SOT 239600 SOS 164055 HAS SOPS 106531 HAS SOUS 22160 HAS SOUPS 17218 WITH SCORE 17382.055
AT ITER 2552 NEW BEST:: SOT 239600 SOS 165885 HAS SOPS 106441 HAS SOUS 22160 HAS SOUPS 17203 WITH SCORE 17368.885
AT ITER 2558 NEW BEST:: SOT 239600 SOS 165873 HAS SOPS 106441 HAS SOUS 22158 HAS SOUPS 17203 WITH SCORE 17368.873
AT ITER 2613 NEW BEST:: SOT 239600 SOS 165855 HAS SOPS 106423 HAS SOUS 22158 HAS SOUPS 17203 WITH SCORE 17368.855
AT ITER 2620 NEW BEST:: SOT 239600 SOS 165683 HAS SOPS 106243 HAS SOUS 22158 HAS SOUPS 17173 WITH SCORE 17338.683
AT ITER 2628 NEW BEST:: SOT 239580 SOS 165663 HAS SOPS 106223 HAS SOUS 22118 HAS SOUPS 17133 WITH SCORE 17298.663
AT ITER 2636 NEW BEST:: SOT 239580 SOS 165291 HAS SOPS 106019 HAS SOUS 22106 HAS SOUPS 17127 WITH SCORE 17292.291
AT ITER 2637 NEW BEST:: SOT 239580 SOS 165201 HAS SOPS 106019 HAS SOUS 22098 HAS SOUPS 17127 WITH SCORE 17292.201
AT ITER 2645 NEW BEST:: SOT 239580 SOS 164691 HAS SOPS 106019 HAS SOUS 22115 HAS SOUPS 17127 WITH SCORE 17291.691
AT ITER 2651 NEW BEST:: SOT 239580 SOS 165143 HAS SOPS 105991 HAS SOUS 22103 HAS SOUPS 17113 WITH SCORE 17278.143
AT ITER 2672 NEW BEST:: SOT 239580 SOS 165115 HAS SOPS 105963 HAS SOUS 22103 HAS SOUPS 17113 WITH SCORE 17278.115
AT ITER 2680 NEW BEST:: SOT 239580 SOS 165159 HAS SOPS 105939 HAS SOUS 22079 HAS SOUPS 17101 WITH SCORE 17266.159
AT ITER 2682 NEW BEST:: SOT 239552 SOS 165131 HAS SOPS 105911 HAS SOUS 22051 HAS SOUPS 17073 WITH SCORE 17238.131
AT ITER 2688 NEW BEST:: SOT 239552 SOS 166639 HAS SOPS 105833 HAS SOUS 22025 HAS SOUPS 17034 WITH SCORE 17200.639
AT ITER 2692 NEW BEST:: SOT 239552 SOS 166639 HAS SOPS 105811 HAS SOUS 22014 HAS SOUPS 17023 WITH SCORE 17189.639
AT ITER 2695 NEW BEST:: SOT 239544 SOS 166631 HAS SOPS 105803 HAS SOUS 21986 HAS SOUPS 16995 WITH SCORE 17161.631
AT ITER 2727 NEW BEST:: SOT 239640 SOS 167997 HAS SOPS 105825 HAS SOUS 21972 HAS SOUPS 16939 WITH SCORE 17106.997
AT ITER 2752 NEW BEST:: SOT 239640 SOS 167991 HAS SOPS 105825 HAS SOUS 21969 HAS SOUPS 16939 WITH SCORE 17106.991
AT ITER 2760 NEW BEST:: SOT 239644 SOS 167995 HAS SOPS 105829 HAS SOUS 21960 HAS SOUPS 16930 WITH SCORE 17097.995
AT ITER 2776 NEW BEST:: SOT 239644 SOS 168089 HAS SOPS 105827 HAS SOUS 21983 HAS SOUPS 16929 WITH SCORE 17097.089
AT ITER 2777 NEW BEST:: SOT 239684 SOS 168129 HAS SOPS 105867 HAS SOUS 21964 HAS SOUPS 16910 WITH SCORE 17078.129
AT ITER 2779 NEW BEST:: SOT 239736 SOS 168181 HAS SOPS 105919 HAS SOUS 21934 HAS SOUPS 16880 WITH SCORE 17048.181
AT ITER 2784 NEW BEST:: SOT 239736 SOS 168467 HAS SOPS 105917 HAS SOUS 21976 HAS SOUPS 16879 WITH SCORE 17047.467
AT ITER 2785 NEW BEST:: SOT 239718 SOS 168449 HAS SOPS 105975 HAS SOUS 21814 HAS SOUPS 16725 WITH SCORE 16893.449
AT ITER 2793 NEW BEST:: SOT 239718 SOS 167173 HAS SOPS 105975 HAS SOUS 21814 HAS SOUPS 16725 WITH SCORE 16892.173
AT ITER 2797 NEW BEST:: SOT 239718 SOS 167033 HAS SOPS 105947 HAS SOUS 21789 HAS SOUPS 16711 WITH SCORE 16878.033
AT ITER 2811 NEW BEST:: SOT 239686 SOS 167001 HAS SOPS 105915 HAS SOUS 21762 HAS SOUPS 16684 WITH SCORE 16851.001
AT ITER 2839 NEW BEST:: SOT 239686 SOS 166693 HAS SOPS 105871 HAS SOUS 21740 HAS SOUPS 16684 WITH SCORE 16850.693
AT ITER 2857 NEW BEST:: SOT 239686 SOS 166665 HAS SOPS 105857 HAS SOUS 21726 HAS SOUPS 16677 WITH SCORE 16843.665
AT ITER 2868 NEW BEST:: SOT 239686 SOS 166641 HAS SOPS 105833 HAS SOUS 21750 HAS SOUPS 16665 WITH SCORE 16831.641
AT ITER 2879 NEW BEST:: SOT 239686 SOS 166789 HAS SOPS 105617 HAS SOUS 21787 HAS SOUPS 16638 WITH SCORE 16804.789
AT ITER 2912 NEW BEST:: SOT 239546 SOS 166649 HAS SOPS 105477 HAS SOUS 21717 HAS SOUPS 16568 WITH SCORE 16734.649
AT ITER 2918 NEW BEST:: SOT 239230 SOS 166333 HAS SOPS 105161 HAS SOUS 21657 HAS SOUPS 16508 WITH SCORE 16674.333
AT ITER 2924 NEW BEST:: SOT 239094 SOS 166197 HAS SOPS 105025 HAS SOUS 21541 HAS SOUPS 16392 WITH SCORE 16558.197
AT ITER 2926 NEW BEST:: SOT 239094 SOS 166173 HAS SOPS 105025 HAS SOUS 21533 HAS SOUPS 16392 WITH SCORE 16558.173
AT ITER 2952 NEW BEST:: SOT 239094 SOS 166047 HAS SOPS 105005 HAS SOUS 21530 HAS SOUPS 16382 WITH SCORE 16548.047
AT ITER 2987 NEW BEST:: SOT 239316 SOS 166289 HAS SOPS 105237 HAS SOUS 21513 HAS SOUPS 16365 WITH SCORE 16531.289
AT ITER 3008 NEW BEST:: SOT 239316 SOS 166253 HAS SOPS 105121 HAS SOUS 21504 HAS SOUPS 16336 WITH SCORE 16502.253
AT ITER 3042 NEW BEST:: SOT 239276 SOS 166059 HAS SOPS 104971 HAS SOUS 21392 HAS SOUPS 16257 WITH SCORE 16423.059
AT ITER 3044 NEW BEST:: SOT 239276 SOS 166037 HAS SOPS 104971 HAS SOUS 21385 HAS SOUPS 16257 WITH SCORE 16423.037
AT ITER 3047 NEW BEST:: SOT 239276 SOS 166037 HAS SOPS 104971 HAS SOUS 21325 HAS SOUPS 16218 WITH SCORE 16384.037
AT ITER 3078 NEW BEST:: SOT 239276 SOS 166037 HAS SOPS 104791 HAS SOUS 21328 HAS SOUPS 16215 WITH SCORE 16381.037
AT ITER 3082 NEW BEST:: SOT 239276 SOS 164309 HAS SOPS 103111 HAS SOUS 21281 HAS SOUPS 16168 WITH SCORE 16332.309
AT ITER 3087 NEW BEST:: SOT 239276 SOS 164321 HAS SOPS 103047 HAS SOUS 21243 HAS SOUPS 16144 WITH SCORE 16308.321
AT ITER 3092 NEW BEST:: SOT 238964 SOS 164009 HAS SOPS 102735 HAS SOUS 21205 HAS SOUPS 16106 WITH SCORE 16270.009
AT ITER 3124 NEW BEST:: SOT 238964 SOS 163221 HAS SOPS 102751 HAS SOUS 21123 HAS SOUPS 16082 WITH SCORE 16245.221
AT ITER 3147 NEW BEST:: SOT 238964 SOS 163221 HAS SOPS 102751 HAS SOUS 21122 HAS SOUPS 16081 WITH SCORE 16244.221
AT ITER 3154 NEW BEST:: SOT 238968 SOS 163335 HAS SOPS 102865 HAS SOUS 21117 HAS SOUPS 16076 WITH SCORE 16239.335
AT ITER 3162 NEW BEST:: SOT 238968 SOS 163335 HAS SOPS 102777 HAS SOUS 21136 HAS SOUPS 16055 WITH SCORE 16218.335
AT ITER 3211 NEW BEST:: SOT 238834 SOS 163201 HAS SOPS 102643 HAS SOUS 21117 HAS SOUPS 16036 WITH SCORE 16199.201
AT ITER 3214 NEW BEST:: SOT 239256 SOS 163623 HAS SOPS 103065 HAS SOUS 21113 HAS SOUPS 16032 WITH SCORE 16195.623
AT ITER 3223 NEW BEST:: SOT 239144 SOS 163943 HAS SOPS 102809 HAS SOUS 21085 HAS SOUPS 15992 WITH SCORE 16155.943
AT ITER 3226 NEW BEST:: SOT 239144 SOS 163891 HAS SOPS 102809 HAS SOUS 21085 HAS SOUPS 15992 WITH SCORE 16155.891
AT ITER 3245 NEW BEST:: SOT 239144 SOS 163699 HAS SOPS 102809 HAS SOUS 21079 HAS SOUPS 15992 WITH SCORE 16155.699
AT ITER 3251 NEW BEST:: SOT 239144 SOS 163371 HAS SOPS 102481 HAS SOUS 21079 HAS SOUPS 15992 WITH SCORE 16155.371
AT ITER 3311 NEW BEST:: SOT 239144 SOS 163283 HAS SOPS 103009 HAS SOUS 21101 HAS SOUPS 15992 WITH SCORE 16155.283
AT ITER 3339 NEW BEST:: SOT 239144 SOS 163275 HAS SOPS 103009 HAS SOUS 21101 HAS SOUPS 15992 WITH SCORE 16155.275
AT ITER 3390 NEW BEST:: SOT 238878 SOS 163009 HAS SOPS 102743 HAS SOUS 21101 HAS SOUPS 15992 WITH SCORE 16155.009
AT ITER 3411 NEW BEST:: SOT 238882 SOS 163013 HAS SOPS 102747 HAS SOUS 21100 HAS SOUPS 15991 WITH SCORE 16154.013
AT ITER 3439 NEW BEST:: SOT 238882 SOS 162989 HAS SOPS 102747 HAS SOUS 21094 HAS SOUPS 15991 WITH SCORE 16153.989
AT ITER 3444 NEW BEST:: SOT 238836 SOS 162773 HAS SOPS 102701 HAS SOUS 21083 HAS SOUPS 15980 WITH SCORE 16142.773
AT ITER 3467 NEW BEST:: SOT 238918 SOS 162855 HAS SOPS 102783 HAS SOUS 21070 HAS SOUPS 15967 WITH SCORE 16129.855
AT ITER 3472 NEW BEST:: SOT 238835 SOS 162772 HAS SOPS 102700 HAS SOUS 21046 HAS SOUPS 15943 WITH SCORE 16105.772
AT ITER 3489 NEW BEST:: SOT 238859 SOS 162796 HAS SOPS 102680 HAS SOUS 21047 HAS SOUPS 15933 WITH SCORE 16095.796
AT ITER 3491 NEW BEST:: SOT 239051 SOS 162988 HAS SOPS 102872 HAS SOUS 21027 HAS SOUPS 15913 WITH SCORE 16075.988
AT ITER 3497 NEW BEST:: SOT 239013 SOS 162950 HAS SOPS 102834 HAS SOUS 21017 HAS SOUPS 15903 WITH SCORE 16065.95
AT ITER 3513 NEW BEST:: SOT 239013 SOS 162886 HAS SOPS 102770 HAS SOUS 21017 HAS SOUPS 15903 WITH SCORE 16065.886
AT ITER 3549 NEW BEST:: SOT 239013 SOS 162874 HAS SOPS 102758 HAS SOUS 21014 HAS SOUPS 15900 WITH SCORE 16062.874
AT ITER 3552 NEW BEST:: SOT 238989 SOS 162838 HAS SOPS 102578 HAS SOUS 20902 HAS SOUPS 15812 WITH SCORE 15974.838
AT ITER 3616 NEW BEST:: SOT 238965 SOS 162814 HAS SOPS 102554 HAS SOUS 20902 HAS SOUPS 15812 WITH SCORE 15974.814
AT ITER 3620 NEW BEST:: SOT 238965 SOS 162798 HAS SOPS 102554 HAS SOUS 20902 HAS SOUPS 15812 WITH SCORE 15974.798
AT ITER 3621 NEW BEST:: SOT 238975 SOS 162808 HAS SOPS 102564 HAS SOUS 20892 HAS SOUPS 15802 WITH SCORE 15964.808
AT ITER 3657 NEW BEST:: SOT 238975 SOS 162822 HAS SOPS 101988 HAS SOUS 20913 HAS SOUPS 15795 WITH SCORE 15957.822
AT ITER 3683 NEW BEST:: SOT 238975 SOS 163004 HAS SOPS 102118 HAS SOUS 20926 HAS SOUPS 15782 WITH SCORE 15945.004
AT ITER 3729 NEW BEST:: SOT 238975 SOS 162962 HAS SOPS 102130 HAS SOUS 20872 HAS SOUPS 15782 WITH SCORE 15944.962
AT ITER 3763 NEW BEST:: SOT 238975 SOS 162910 HAS SOPS 102040 HAS SOUS 20782 HAS SOUPS 15769 WITH SCORE 15931.91
AT ITER 3807 NEW BEST:: SOT 238975 SOS 160934 HAS SOPS 102040 HAS SOUS 20782 HAS SOUPS 15769 WITH SCORE 15929.934
AT ITER 3818 NEW BEST:: SOT 238989 SOS 160948 HAS SOPS 102054 HAS SOUS 20781 HAS SOUPS 15768 WITH SCORE 15928.948
AT ITER 3836 NEW BEST:: SOT 238749 SOS 160708 HAS SOPS 101814 HAS SOUS 20781 HAS SOUPS 15768 WITH SCORE 15928.708
AT ITER 3838 NEW BEST:: SOT 238749 SOS 160668 HAS SOPS 101814 HAS SOUS 20781 HAS SOUPS 15768 WITH SCORE 15928.668
AT ITER 3839 NEW BEST:: SOT 238737 SOS 160656 HAS SOPS 101802 HAS SOUS 20763 HAS SOUPS 15750 WITH SCORE 15910.656
AT ITER 3935 NEW BEST:: SOT 238737 SOS 159408 HAS SOPS 101802 HAS SOUS 20763 HAS SOUPS 15750 WITH SCORE 15909.408
AT ITER 3941 NEW BEST:: SOT 238725 SOS 159395 HAS SOPS 101789 HAS SOUS 20729 HAS SOUPS 15716 WITH SCORE 15875.395
AT ITER 3944 NEW BEST:: SOT 238729 SOS 159205 HAS SOPS 101753 HAS SOUS 20486 HAS SOUPS 15589 WITH SCORE 15748.205
AT ITER 3956 NEW BEST:: SOT 238651 SOS 159099 HAS SOPS 100751 HAS SOUS 20447 HAS SOUPS 15536 WITH SCORE 15695.099
AT ITER 3972 NEW BEST:: SOT 238607 SOS 159055 HAS SOPS 100707 HAS SOUS 20415 HAS SOUPS 15504 WITH SCORE 15663.055
AT ITER 3984 NEW BEST:: SOT 238607 SOS 158671 HAS SOPS 100923 HAS SOUS 20397 HAS SOUPS 15504 WITH SCORE 15662.671
AT ITER 3991 NEW BEST:: SOT 238607 SOS 158671 HAS SOPS 100923 HAS SOUS 20377 HAS SOUPS 15484 WITH SCORE 15642.671
AT ITER 4018 NEW BEST:: SOT 238607 SOS 158671 HAS SOPS 100891 HAS SOUS 20361 HAS SOUPS 15468 WITH SCORE 15626.671
AT ITER 4034 NEW BEST:: SOT 238615 SOS 158679 HAS SOPS 100899 HAS SOUS 20343 HAS SOUPS 15450 WITH SCORE 15608.679
AT ITER 4041 NEW BEST:: SOT 238615 SOS 158615 HAS SOPS 100771 HAS SOUS 20359 HAS SOUPS 15450 WITH SCORE 15608.615
AT ITER 4063 NEW BEST:: SOT 238607 SOS 158607 HAS SOPS 100763 HAS SOUS 20351 HAS SOUPS 15442 WITH SCORE 15600.607
AT ITER 4073 NEW BEST:: SOT 238607 SOS 158587 HAS SOPS 100763 HAS SOUS 20346 HAS SOUPS 15442 WITH SCORE 15600.587
AT ITER 4094 NEW BEST:: SOT 238607 SOS 156307 HAS SOPS 100763 HAS SOUS 20339 HAS SOUPS 15442 WITH SCORE 15598.307
AT ITER 4097 NEW BEST:: SOT 238607 SOS 156275 HAS SOPS 100731 HAS SOUS 20335 HAS SOUPS 15438 WITH SCORE 15594.275
AT ITER 4135 NEW BEST:: SOT 238645 SOS 156313 HAS SOPS 100769 HAS SOUS 20311 HAS SOUPS 15414 WITH SCORE 15570.313
AT ITER 4176 NEW BEST:: SOT 238645 SOS 156313 HAS SOPS 100769 HAS SOUS 20306 HAS SOUPS 15409 WITH SCORE 15565.313
AT ITER 4183 NEW BEST:: SOT 238645 SOS 156265 HAS SOPS 100769 HAS SOUS 20306 HAS SOUPS 15409 WITH SCORE 15565.265
AT ITER 4204 NEW BEST:: SOT 238645 SOS 159325 HAS SOPS 100725 HAS SOUS 20340 HAS SOUPS 15398 WITH SCORE 15557.325
AT ITER 4211 NEW BEST:: SOT 238645 SOS 159257 HAS SOPS 100069 HAS SOUS 20306 HAS SOUPS 15385 WITH SCORE 15544.257
AT ITER 4217 NEW BEST:: SOT 238645 SOS 159097 HAS SOPS 100069 HAS SOUS 20313 HAS SOUPS 15385 WITH SCORE 15544.097
AT ITER 4239 NEW BEST:: SOT 238625 SOS 159077 HAS SOPS 100049 HAS SOUS 20303 HAS SOUPS 15375 WITH SCORE 15534.077
AT ITER 4240 NEW BEST:: SOT 238617 SOS 159069 HAS SOPS 100041 HAS SOUS 20244 HAS SOUPS 15316 WITH SCORE 15475.069
AT ITER 4252 NEW BEST:: SOT 238617 SOS 159054 HAS SOPS 100039 HAS SOUS 20244 HAS SOUPS 15315 WITH SCORE 15474.054
AT ITER 4325 NEW BEST:: SOT 238617 SOS 159034 HAS SOPS 100029 HAS SOUS 20236 HAS SOUPS 15310 WITH SCORE 15469.034
AT ITER 4379 NEW BEST:: SOT 238633 SOS 158626 HAS SOPS 99621 HAS SOUS 20217 HAS SOUPS 15291 WITH SCORE 15449.626
AT ITER 4397 NEW BEST:: SOT 238633 SOS 158594 HAS SOPS 99621 HAS SOUS 20205 HAS SOUPS 15291 WITH SCORE 15449.594
AT ITER 4428 NEW BEST:: SOT 238561 SOS 158522 HAS SOPS 99549 HAS SOUS 20193 HAS SOUPS 15279 WITH SCORE 15437.522
AT ITER 4433 NEW BEST:: SOT 238561 SOS 158612 HAS SOPS 99479 HAS SOUS 20208 HAS SOUPS 15253 WITH SCORE 15411.612
AT ITER 4434 NEW BEST:: SOT 238689 SOS 158740 HAS SOPS 99607 HAS SOUS 20145 HAS SOUPS 15190 WITH SCORE 15348.74
AT ITER 4451 NEW BEST:: SOT 238681 SOS 158792 HAS SOPS 99659 HAS SOUS 20161 HAS SOUPS 15188 WITH SCORE 15346.792
AT ITER 4458 NEW BEST:: SOT 238711 SOS 158822 HAS SOPS 99689 HAS SOUS 20149 HAS SOUPS 15176 WITH SCORE 15334.822
AT ITER 4493 NEW BEST:: SOT 238615 SOS 158726 HAS SOPS 99593 HAS SOUS 20101 HAS SOUPS 15128 WITH SCORE 15286.726
AT ITER 4499 NEW BEST:: SOT 238615 SOS 158710 HAS SOPS 99593 HAS SOUS 20101 HAS SOUPS 15128 WITH SCORE 15286.71
AT ITER 4531 NEW BEST:: SOT 238615 SOS 158470 HAS SOPS 99593 HAS SOUS 20098 HAS SOUPS 15128 WITH SCORE 15286.47
AT ITER 4537 NEW BEST:: SOT 238615 SOS 158382 HAS SOPS 99549 HAS SOUS 20065 HAS SOUPS 15128 WITH SCORE 15286.382
AT ITER 4561 NEW BEST:: SOT 238615 SOS 158377 HAS SOPS 99549 HAS SOUS 20060 HAS SOUPS 15128 WITH SCORE 15286.377
AT ITER 4598 NEW BEST:: SOT 238615 SOS 158373 HAS SOPS 99481 HAS SOUS 20080 HAS SOUPS 15128 WITH SCORE 15286.373
AT ITER 4601 NEW BEST:: SOT 238595 SOS 158353 HAS SOPS 99461 HAS SOUS 20075 HAS SOUPS 15123 WITH SCORE 15281.353
AT ITER 4644 NEW BEST:: SOT 238591 SOS 158349 HAS SOPS 99457 HAS SOUS 20074 HAS SOUPS 15122 WITH SCORE 15280.349
AT ITER 4694 NEW BEST:: SOT 238527 SOS 158285 HAS SOPS 99393 HAS SOUS 20058 HAS SOUPS 15106 WITH SCORE 15264.285
AT ITER 4738 NEW BEST:: SOT 238475 SOS 158233 HAS SOPS 99341 HAS SOUS 20058 HAS SOUPS 15106 WITH SCORE 15264.233
AT ITER 4759 NEW BEST:: SOT 238485 SOS 158243 HAS SOPS 99351 HAS SOUS 19864 HAS SOUPS 14912 WITH SCORE 15070.243
AT ITER 4798 NEW BEST:: SOT 238485 SOS 158323 HAS SOPS 99323 HAS SOUS 19850 HAS SOUPS 14898 WITH SCORE 15056.323
AT ITER 4822 NEW BEST:: SOT 238453 SOS 158299 HAS SOPS 99299 HAS SOUS 19842 HAS SOUPS 14890 WITH SCORE 15048.299
AT ITER 4855 NEW BEST:: SOT 238447 SOS 158293 HAS SOPS 99293 HAS SOUS 19812 HAS SOUPS 14860 WITH SCORE 15018.293
AT ITER 4872 NEW BEST:: SOT 238339 SOS 158185 HAS SOPS 99185 HAS SOUS 19793 HAS SOUPS 14841 WITH SCORE 14999.185
AT ITER 4885 NEW BEST:: SOT 238339 SOS 158259 HAS SOPS 99183 HAS SOUS 19813 HAS SOUPS 14823 WITH SCORE 14981.259
AT ITER 4886 NEW BEST:: SOT 238243 SOS 157843 HAS SOPS 98879 HAS SOUS 19779 HAS SOUPS 14793 WITH SCORE 14950.843
AT ITER 4897 NEW BEST:: SOT 238243 SOS 157539 HAS SOPS 98575 HAS SOUS 19755 HAS SOUPS 14769 WITH SCORE 14926.539
AT ITER 4898 NEW BEST:: SOT 238177 SOS 157473 HAS SOPS 98509 HAS SOUS 19701 HAS SOUPS 14715 WITH SCORE 14872.473
AT ITER 4913 NEW BEST:: SOT 238197 SOS 157509 HAS SOPS 98513 HAS SOUS 19681 HAS SOUPS 14696 WITH SCORE 14853.509
AT ITER 4924 NEW BEST:: SOT 238137 SOS 157449 HAS SOPS 98453 HAS SOUS 19681 HAS SOUPS 14696 WITH SCORE 14853.449
AT ITER 4929 NEW BEST:: SOT 238113 SOS 157425 HAS SOPS 98429 HAS SOUS 19670 HAS SOUPS 14685 WITH SCORE 14842.425
AT ITER 4932 NEW BEST:: SOT 238113 SOS 157329 HAS SOPS 98429 HAS SOUS 19670 HAS SOUPS 14685 WITH SCORE 14842.329
AT ITER 4970 NEW BEST:: SOT 238105 SOS 157321 HAS SOPS 98421 HAS SOUS 19668 HAS SOUPS 14683 WITH SCORE 14840.321
AT ITER 4978 NEW BEST:: SOT 238105 SOS 157173 HAS SOPS 100641 HAS SOUS 19668 HAS SOUPS 14683 WITH SCORE 14840.173
AT ITER 5014 NEW BEST:: SOT 238105 SOS 156473 HAS SOPS 100641 HAS SOUS 19668 HAS SOUPS 14683 WITH SCORE 14839.473
AT ITER 5030 NEW BEST:: SOT 237921 SOS 156289 HAS SOPS 100265 HAS SOUS 19690 HAS SOUPS 14609 WITH SCORE 14765.289
AT ITER 5041 NEW BEST:: SOT 237921 SOS 156279 HAS SOPS 100575 HAS SOUS 19690 HAS SOUPS 14609 WITH SCORE 14765.279
AT ITER 5063 NEW BEST:: SOT 237925 SOS 155983 HAS SOPS 100279 HAS SOUS 19671 HAS SOUPS 14590 WITH SCORE 14745.983
AT ITER 5074 NEW BEST:: SOT 237925 SOS 155973 HAS SOPS 100269 HAS SOUS 19671 HAS SOUPS 14590 WITH SCORE 14745.973
AT ITER 5075 NEW BEST:: SOT 237925 SOS 155973 HAS SOPS 100269 HAS SOUS 19653 HAS SOUPS 14572 WITH SCORE 14727.973
AT ITER 5077 NEW BEST:: SOT 237877 SOS 155925 HAS SOPS 100221 HAS SOUS 19613 HAS SOUPS 14532 WITH SCORE 14687.925
AT ITER 5100 NEW BEST:: SOT 237901 SOS 155493 HAS SOPS 100221 HAS SOUS 19483 HAS SOUPS 14462 WITH SCORE 14617.493
AT ITER 5137 NEW BEST:: SOT 237901 SOS 155479 HAS SOPS 100655 HAS SOUS 19483 HAS SOUPS 14462 WITH SCORE 14617.479
AT ITER 5270 NEW BEST:: SOT 237901 SOS 155461 HAS SOPS 100655 HAS SOUS 19483 HAS SOUPS 14462 WITH SCORE 14617.461
AT ITER 5273 NEW BEST:: SOT 237869 SOS 155429 HAS SOPS 100623 HAS SOUS 19467 HAS SOUPS 14446 WITH SCORE 14601.429
AT ITER 5275 NEW BEST:: SOT 237869 SOS 155809 HAS SOPS 100613 HAS SOUS 19467 HAS SOUPS 14441 WITH SCORE 14596.809
AT ITER 5280 NEW BEST:: SOT 237869 SOS 155855 HAS SOPS 100741 HAS SOUS 19494 HAS SOUPS 14428 WITH SCORE 14583.855
AT ITER 5284 NEW BEST:: SOT 237859 SOS 154345 HAS SOPS 99231 HAS SOUS 19426 HAS SOUPS 14360 WITH SCORE 14514.345
AT ITER 5290 NEW BEST:: SOT 237655 SOS 154121 HAS SOPS 99167 HAS SOUS 19418 HAS SOUPS 14350 WITH SCORE 14504.121
AT ITER 5303 NEW BEST:: SOT 237497 SOS 153981 HAS SOPS 99027 HAS SOUS 19404 HAS SOUPS 14336 WITH SCORE 14489.981
AT ITER 5309 NEW BEST:: SOT 237475 SOS 153959 HAS SOPS 99005 HAS SOUS 19393 HAS SOUPS 14325 WITH SCORE 14478.959
AT ITER 5326 NEW BEST:: SOT 237475 SOS 153877 HAS SOPS 98923 HAS SOUS 19393 HAS SOUPS 14325 WITH SCORE 14478.877
AT ITER 5329 NEW BEST:: SOT 237365 SOS 153767 HAS SOPS 98813 HAS SOUS 19393 HAS SOUPS 14325 WITH SCORE 14478.767
AT ITER 5334 NEW BEST:: SOT 237365 SOS 153737 HAS SOPS 98843 HAS SOUS 19378 HAS SOUPS 14325 WITH SCORE 14478.737
AT ITER 5337 NEW BEST:: SOT 237365 SOS 153737 HAS SOPS 98651 HAS SOUS 19375 HAS SOUPS 14322 WITH SCORE 14475.737
AT ITER 5359 NEW BEST:: SOT 237471 SOS 153663 HAS SOPS 98953 HAS SOUS 19245 HAS SOUPS 14286 WITH SCORE 14439.663
AT ITER 5397 NEW BEST:: SOT 237471 SOS 153575 HAS SOPS 98953 HAS SOUS 19237 HAS SOUPS 14278 WITH SCORE 14431.575
AT ITER 5417 NEW BEST:: SOT 237471 SOS 153565 HAS SOPS 98953 HAS SOUS 19235 HAS SOUPS 14278 WITH SCORE 14431.565
AT ITER 5469 NEW BEST:: SOT 237513 SOS 153607 HAS SOPS 98995 HAS SOUS 19214 HAS SOUPS 14257 WITH SCORE 14410.607
AT ITER 5508 NEW BEST:: SOT 237475 SOS 153057 HAS SOPS 98957 HAS SOUS 19177 HAS SOUPS 14236 WITH SCORE 14389.057
AT ITER 5516 NEW BEST:: SOT 237519 SOS 153101 HAS SOPS 99001 HAS SOUS 19159 HAS SOUPS 14218 WITH SCORE 14371.101
AT ITER 5518 NEW BEST:: SOT 237519 SOS 153079 HAS SOPS 99005 HAS SOUS 19140 HAS SOUPS 14218 WITH SCORE 14371.079
AT ITER 5539 NEW BEST:: SOT 237457 SOS 153257 HAS SOPS 99183 HAS SOUS 19114 HAS SOUPS 14192 WITH SCORE 14345.257
AT ITER 5547 NEW BEST:: SOT 237367 SOS 153167 HAS SOPS 99093 HAS SOUS 19100 HAS SOUPS 14178 WITH SCORE 14331.167
AT ITER 5552 NEW BEST:: SOT 237367 SOS 153027 HAS SOPS 99039 HAS SOUS 19100 HAS SOUPS 14178 WITH SCORE 14331.027
AT ITER 5566 NEW BEST:: SOT 237351 SOS 153011 HAS SOPS 99023 HAS SOUS 19092 HAS SOUPS 14170 WITH SCORE 14323.011
AT ITER 5596 NEW BEST:: SOT 237351 SOS 152993 HAS SOPS 99005 HAS SOUS 19092 HAS SOUPS 14170 WITH SCORE 14322.993
AT ITER 5599 NEW BEST:: SOT 237351 SOS 152982 HAS SOPS 98985 HAS SOUS 19093 HAS SOUPS 14165 WITH SCORE 14317.982
AT ITER 5608 NEW BEST:: SOT 237349 SOS 152980 HAS SOPS 98983 HAS SOUS 19091 HAS SOUPS 14163 WITH SCORE 14315.98
AT ITER 5617 NEW BEST:: SOT 237349 SOS 152984 HAS SOPS 98987 HAS SOUS 19086 HAS SOUPS 14162 WITH SCORE 14314.984
AT ITER 5699 NEW BEST:: SOT 237349 SOS 152880 HAS SOPS 98943 HAS SOUS 19036 HAS SOUPS 14142 WITH SCORE 14294.88
AT ITER 5756 NEW BEST:: SOT 237323 SOS 152854 HAS SOPS 98917 HAS SOUS 19026 HAS SOUPS 14132 WITH SCORE 14284.854
AT ITER 5769 NEW BEST:: SOT 237323 SOS 152858 HAS SOPS 98925 HAS SOUS 19023 HAS SOUPS 14131 WITH SCORE 14283.858
AT ITER 5776 NEW BEST:: SOT 237303 SOS 152842 HAS SOPS 98909 HAS SOUS 19017 HAS SOUPS 14125 WITH SCORE 14277.842
AT ITER 5780 NEW BEST:: SOT 237289 SOS 152828 HAS SOPS 98895 HAS SOUS 19010 HAS SOUPS 14118 WITH SCORE 14270.828
AT ITER 5812 NEW BEST:: SOT 237289 SOS 152764 HAS SOPS 98911 HAS SOUS 18994 HAS SOUPS 14118 WITH SCORE 14270.764
AT ITER 5885 NEW BEST:: SOT 237283 SOS 152758 HAS SOPS 98905 HAS SOUS 18994 HAS SOUPS 14118 WITH SCORE 14270.758
AT ITER 5906 NEW BEST:: SOT 237283 SOS 152778 HAS SOPS 98851 HAS SOUS 19009 HAS SOUPS 14114 WITH SCORE 14266.778
AT ITER 5924 NEW BEST:: SOT 237283 SOS 152718 HAS SOPS 98851 HAS SOUS 18994 HAS SOUPS 14114 WITH SCORE 14266.718
AT ITER 5939 NEW BEST:: SOT 237283 SOS 152718 HAS SOPS 98851 HAS SOUS 18991 HAS SOUPS 14111 WITH SCORE 14263.718
AT ITER 5960 NEW BEST:: SOT 237207 SOS 152642 HAS SOPS 98775 HAS SOUS 18991 HAS SOUPS 14111 WITH SCORE 14263.642
AT ITER 5965 NEW BEST:: SOT 237198 SOS 152633 HAS SOPS 98766 HAS SOUS 18982 HAS SOUPS 14102 WITH SCORE 14254.633
AT ITER 6130 NEW BEST:: SOT 237198 SOS 152393 HAS SOPS 98766 HAS SOUS 18982 HAS SOUPS 14102 WITH SCORE 14254.393
AT ITER 6142 NEW BEST:: SOT 237160 SOS 152483 HAS SOPS 98846 HAS SOUS 18931 HAS SOUPS 14094 WITH SCORE 14246.483
AT ITER 6167 NEW BEST:: SOT 237134 SOS 152457 HAS SOPS 98820 HAS SOUS 18931 HAS SOUPS 14094 WITH SCORE 14246.457
AT ITER 6184 NEW BEST:: SOT 237086 SOS 152687 HAS SOPS 97160 HAS SOUS 18770 HAS SOUPS 14052 WITH SCORE 14204.687
AT ITER 6196 NEW BEST:: SOT 237078 SOS 152679 HAS SOPS 97152 HAS SOUS 18770 HAS SOUPS 14052 WITH SCORE 14204.679
AT ITER 6197 NEW BEST:: SOT 237102 SOS 152703 HAS SOPS 97176 HAS SOUS 18758 HAS SOUPS 14040 WITH SCORE 14192.703
AT ITER 6209 NEW BEST:: SOT 237102 SOS 152669 HAS SOPS 97142 HAS SOUS 18758 HAS SOUPS 14040 WITH SCORE 14192.669
AT ITER 6232 NEW BEST:: SOT 237096 SOS 152663 HAS SOPS 97136 HAS SOUS 18752 HAS SOUPS 14034 WITH SCORE 14186.663
AT ITER 6258 NEW BEST:: SOT 237096 SOS 152643 HAS SOPS 97116 HAS SOUS 18752 HAS SOUPS 14034 WITH SCORE 14186.643
AT ITER 6358 NEW BEST:: SOT 237102 SOS 152649 HAS SOPS 97122 HAS SOUS 18751 HAS SOUPS 14033 WITH SCORE 14185.649
AT ITER 6396 NEW BEST:: SOT 237102 SOS 152693 HAS SOPS 97110 HAS SOUS 18756 HAS SOUPS 14027 WITH SCORE 14179.693
AT ITER 6397 NEW BEST:: SOT 237102 SOS 152693 HAS SOPS 97142 HAS SOUS 18760 HAS SOUPS 14023 WITH SCORE 14175.693
AT ITER 6449 NEW BEST:: SOT 237102 SOS 152690 HAS SOPS 97142 HAS SOUS 18757 HAS SOUPS 14023 WITH SCORE 14175.69
AT ITER 6480 NEW BEST:: SOT 237102 SOS 152626 HAS SOPS 97142 HAS SOUS 18752 HAS SOUPS 14023 WITH SCORE 14175.626
AT ITER 6539 NEW BEST:: SOT 237102 SOS 152626 HAS SOPS 97098 HAS SOUS 18763 HAS SOUPS 14012 WITH SCORE 14164.626
AT ITER 6560 NEW BEST:: SOT 237102 SOS 152596 HAS SOPS 97098 HAS SOUS 18763 HAS SOUPS 14012 WITH SCORE 14164.596
AT ITER 6578 NEW BEST:: SOT 237054 SOS 152548 HAS SOPS 97050 HAS SOUS 18757 HAS SOUPS 14006 WITH SCORE 14158.548
AT ITER 6585 NEW BEST:: SOT 237054 SOS 152500 HAS SOPS 97062 HAS SOUS 18746 HAS SOUPS 14006 WITH SCORE 14158.5
AT ITER 6611 NEW BEST:: SOT 237054 SOS 152480 HAS SOPS 97042 HAS SOUS 18746 HAS SOUPS 14006 WITH SCORE 14158.48
AT ITER 6652 NEW BEST:: SOT 237064 SOS 152490 HAS SOPS 97052 HAS SOUS 18743 HAS SOUPS 14003 WITH SCORE 14155.49
AT ITER 6674 NEW BEST:: SOT 237064 SOS 152610 HAS SOPS 97016 HAS SOUS 18793 HAS SOUPS 13985 WITH SCORE 14137.61
AT ITER 6744 NEW BEST:: SOT 237044 SOS 152590 HAS SOPS 96996 HAS SOUS 18763 HAS SOUPS 13955 WITH SCORE 14107.59
AT ITER 6755 NEW BEST:: SOT 237044 SOS 153122 HAS SOPS 96990 HAS SOUS 18774 HAS SOUPS 13952 WITH SCORE 14105.122
AT ITER 6765 NEW BEST:: SOT 237014 SOS 153090 HAS SOPS 96958 HAS SOUS 18774 HAS SOUPS 13952 WITH SCORE 14105.09
AT ITER 6791 NEW BEST:: SOT 236990 SOS 153066 HAS SOPS 96934 HAS SOUS 18774 HAS SOUPS 13952 WITH SCORE 14105.066
AT ITER 6800 NEW BEST:: SOT 236982 SOS 153058 HAS SOPS 96926 HAS SOUS 18770 HAS SOUPS 13948 WITH SCORE 14101.058
AT ITER 6832 NEW BEST:: SOT 236982 SOS 153056 HAS SOPS 96924 HAS SOUS 18770 HAS SOUPS 13948 WITH SCORE 14101.056
AT ITER 6837 NEW BEST:: SOT 237082 SOS 153156 HAS SOPS 97024 HAS SOUS 18757 HAS SOUPS 13935 WITH SCORE 14088.156
AT ITER 6845 NEW BEST:: SOT 237082 SOS 153156 HAS SOPS 97024 HAS SOUS 18737 HAS SOUPS 13915 WITH SCORE 14068.156
AT ITER 6872 NEW BEST:: SOT 237104 SOS 153178 HAS SOPS 97046 HAS SOUS 18731 HAS SOUPS 13909 WITH SCORE 14062.178
AT ITER 6892 NEW BEST:: SOT 237104 SOS 153150 HAS SOPS 97046 HAS SOUS 18724 HAS SOUPS 13909 WITH SCORE 14062.15
AT ITER 6896 NEW BEST:: SOT 237138 SOS 153184 HAS SOPS 97080 HAS SOUS 18694 HAS SOUPS 13879 WITH SCORE 14032.184
AT ITER 6910 NEW BEST:: SOT 237138 SOS 153202 HAS SOPS 97060 HAS SOUS 18703 HAS SOUPS 13869 WITH SCORE 14022.202
AT ITER 6928 NEW BEST:: SOT 237136 SOS 153200 HAS SOPS 97058 HAS SOUS 18676 HAS SOUPS 13842 WITH SCORE 13995.2
AT ITER 6930 NEW BEST:: SOT 237136 SOS 153190 HAS SOPS 97058 HAS SOUS 18676 HAS SOUPS 13842 WITH SCORE 13995.19
AT ITER 6945 NEW BEST:: SOT 237154 SOS 153208 HAS SOPS 97076 HAS SOUS 18622 HAS SOUPS 13788 WITH SCORE 13941.208
AT ITER 7042 NEW BEST:: SOT 237154 SOS 153104 HAS SOPS 97076 HAS SOUS 18596 HAS SOUPS 13788 WITH SCORE 13941.104
AT ITER 7067 NEW BEST:: SOT 237154 SOS 153064 HAS SOPS 97036 HAS SOUS 18596 HAS SOUPS 13788 WITH SCORE 13941.064
AT ITER 7114 NEW BEST:: SOT 237154 SOS 153064 HAS SOPS 97036 HAS SOUS 18569 HAS SOUPS 13761 WITH SCORE 13914.064
AT ITER 7117 NEW BEST:: SOT 237154 SOS 152940 HAS SOPS 97036 HAS SOUS 18569 HAS SOUPS 13761 WITH SCORE 13913.94
AT ITER 7129 NEW BEST:: SOT 237154 SOS 152856 HAS SOPS 96952 HAS SOUS 18571 HAS SOUPS 13761 WITH SCORE 13913.856
AT ITER 7130 NEW BEST:: SOT 237176 SOS 152878 HAS SOPS 96974 HAS SOUS 18568 HAS SOUPS 13758 WITH SCORE 13910.878
AT ITER 7139 NEW BEST:: SOT 237176 SOS 152870 HAS SOPS 96974 HAS SOUS 18564 HAS SOUPS 13758 WITH SCORE 13910.87
AT ITER 7160 NEW BEST:: SOT 237166 SOS 152860 HAS SOPS 96964 HAS SOUS 18557 HAS SOUPS 13751 WITH SCORE 13903.86
AT ITER 7183 NEW BEST:: SOT 237180 SOS 152874 HAS SOPS 96978 HAS SOUS 18530 HAS SOUPS 13724 WITH SCORE 13876.874
AT ITER 7246 NEW BEST:: SOT 237272 SOS 152910 HAS SOPS 97014 HAS SOUS 18497 HAS SOUPS 13698 WITH SCORE 13850.91
AT ITER 7295 NEW BEST:: SOT 236856 SOS 152494 HAS SOPS 96598 HAS SOUS 18307 HAS SOUPS 13508 WITH SCORE 13660.494
AT ITER 7312 NEW BEST:: SOT 236826 SOS 152470 HAS SOPS 96574 HAS SOUS 18298 HAS SOUPS 13499 WITH SCORE 13651.47
AT ITER 7331 NEW BEST:: SOT 236826 SOS 152448 HAS SOPS 96552 HAS SOUS 18298 HAS SOUPS 13499 WITH SCORE 13651.448
AT ITER 7355 NEW BEST:: SOT 236826 SOS 152758 HAS SOPS 96862 HAS SOUS 18288 HAS SOUPS 13489 WITH SCORE 13641.758
AT ITER 7468 NEW BEST:: SOT 236836 SOS 152792 HAS SOPS 97520 HAS SOUS 18293 HAS SOUPS 13482 WITH SCORE 13634.792
AT ITER 7471 NEW BEST:: SOT 236812 SOS 152768 HAS SOPS 97496 HAS SOUS 18293 HAS SOUPS 13482 WITH SCORE 13634.768
AT ITER 7497 NEW BEST:: SOT 236842 SOS 152798 HAS SOPS 97526 HAS SOUS 18285 HAS SOUPS 13474 WITH SCORE 13626.798
AT ITER 7599 NEW BEST:: SOT 236842 SOS 153486 HAS SOPS 97486 HAS SOUS 18261 HAS SOUPS 13470 WITH SCORE 13623.486
AT ITER 7608 NEW BEST:: SOT 236616 SOS 153260 HAS SOPS 97260 HAS SOUS 18255 HAS SOUPS 13464 WITH SCORE 13617.26
AT ITER 7653 NEW BEST:: SOT 236616 SOS 153092 HAS SOPS 97260 HAS SOUS 18262 HAS SOUPS 13464 WITH SCORE 13617.092
AT ITER 7687 NEW BEST:: SOT 236616 SOS 153088 HAS SOPS 97256 HAS SOUS 18262 HAS SOUPS 13464 WITH SCORE 13617.088
AT ITER 7758 NEW BEST:: SOT 236616 SOS 153024 HAS SOPS 97256 HAS SOUS 18262 HAS SOUPS 13464 WITH SCORE 13617.024
AT ITER 7772 NEW BEST:: SOT 236616 SOS 152996 HAS SOPS 97200 HAS SOUS 18262 HAS SOUPS 13464 WITH SCORE 13616.996
AT ITER 7775 NEW BEST:: SOT 236616 SOS 152996 HAS SOPS 97200 HAS SOUS 18261 HAS SOUPS 13463 WITH SCORE 13615.996
AT ITER 7854 NEW BEST:: SOT 236550 SOS 152930 HAS SOPS 97134 HAS SOUS 18250 HAS SOUPS 13452 WITH SCORE 13604.93
AT ITER 7863 NEW BEST:: SOT 236550 SOS 152862 HAS SOPS 97168 HAS SOUS 18216 HAS SOUPS 13452 WITH SCORE 13604.862
AT ITER 7899 NEW BEST:: SOT 236646 SOS 152958 HAS SOPS 97264 HAS SOUS 18192 HAS SOUPS 13428 WITH SCORE 13580.958
AT ITER 7903 NEW BEST:: SOT 236646 SOS 152938 HAS SOPS 97264 HAS SOUS 18164 HAS SOUPS 13428 WITH SCORE 13580.938
AT ITER 7945 NEW BEST:: SOT 236566 SOS 152858 HAS SOPS 97184 HAS SOUS 18160 HAS SOUPS 13424 WITH SCORE 13576.858
AT ITER 7949 NEW BEST:: SOT 236566 SOS 152498 HAS SOPS 97184 HAS SOUS 18148 HAS SOUPS 13424 WITH SCORE 13576.498
AT ITER 7996 NEW BEST:: SOT 236584 SOS 152556 HAS SOPS 97162 HAS SOUS 18152 HAS SOUPS 13420 WITH SCORE 13572.556
AT ITER 8058 NEW BEST:: SOT 236582 SOS 152553 HAS SOPS 97159 HAS SOUS 18150 HAS SOUPS 13418 WITH SCORE 13570.553
AT ITER 8076 NEW BEST:: SOT 236072 SOS 152043 HAS SOPS 96649 HAS SOUS 17986 HAS SOUPS 13254 WITH SCORE 13406.043
AT ITER 8083 NEW BEST:: SOT 236056 SOS 152027 HAS SOPS 96633 HAS SOUS 17953 HAS SOUPS 13221 WITH SCORE 13373.027
AT ITER 8091 NEW BEST:: SOT 236056 SOS 152347 HAS SOPS 96593 HAS SOUS 17963 HAS SOUPS 13211 WITH SCORE 13363.347
AT ITER 8113 NEW BEST:: SOT 236056 SOS 152321 HAS SOPS 96567 HAS SOUS 17950 HAS SOUPS 13198 WITH SCORE 13350.321
AT ITER 8139 NEW BEST:: SOT 236076 SOS 152341 HAS SOPS 96587 HAS SOUS 17946 HAS SOUPS 13194 WITH SCORE 13346.341
AT ITER 8148 NEW BEST:: SOT 236076 SOS 152341 HAS SOPS 95819 HAS SOUS 17946 HAS SOUPS 13182 WITH SCORE 13334.341
AT ITER 8164 NEW BEST:: SOT 236076 SOS 152365 HAS SOPS 95815 HAS SOUS 17946 HAS SOUPS 13180 WITH SCORE 13332.365
AT ITER 8172 NEW BEST:: SOT 236076 SOS 152077 HAS SOPS 95815 HAS SOUS 17954 HAS SOUPS 13180 WITH SCORE 13332.077
AT ITER 8220 NEW BEST:: SOT 236076 SOS 152057 HAS SOPS 95815 HAS SOUS 17949 HAS SOUPS 13180 WITH SCORE 13332.057
AT ITER 8280 NEW BEST:: SOT 236056 SOS 152037 HAS SOPS 95795 HAS SOUS 17943 HAS SOUPS 13174 WITH SCORE 13326.037
AT ITER 8281 NEW BEST:: SOT 235676 SOS 152021 HAS SOPS 95579 HAS SOUS 17930 HAS SOUPS 13147 WITH SCORE 13299.021
AT ITER 8308 NEW BEST:: SOT 235706 SOS 152051 HAS SOPS 95609 HAS SOUS 17927 HAS SOUPS 13144 WITH SCORE 13296.051
AT ITER 8316 NEW BEST:: SOT 235706 SOS 152375 HAS SOPS 95595 HAS SOUS 17924 HAS SOUPS 13137 WITH SCORE 13289.375
AT ITER 8321 NEW BEST:: SOT 235706 SOS 152347 HAS SOPS 95623 HAS SOUS 17910 HAS SOUPS 13137 WITH SCORE 13289.347
AT ITER 8355 NEW BEST:: SOT 235682 SOS 152323 HAS SOPS 95599 HAS SOUS 17896 HAS SOUPS 13123 WITH SCORE 13275.323
AT ITER 8388 NEW BEST:: SOT 235682 SOS 152355 HAS SOPS 96655 HAS SOUS 17891 HAS SOUPS 13102 WITH SCORE 13254.355
AT ITER 8398 NEW BEST:: SOT 235682 SOS 152365 HAS SOPS 96649 HAS SOUS 17896 HAS SOUPS 13099 WITH SCORE 13251.365
AT ITER 8402 NEW BEST:: SOT 235692 SOS 152375 HAS SOPS 96659 HAS SOUS 17881 HAS SOUPS 13084 WITH SCORE 13236.375
AT ITER 8428 NEW BEST:: SOT 235692 SOS 152369 HAS SOPS 96653 HAS SOUS 17881 HAS SOUPS 13084 WITH SCORE 13236.369
AT ITER 8434 NEW BEST:: SOT 235736 SOS 152413 HAS SOPS 96697 HAS SOUS 17846 HAS SOUPS 13049 WITH SCORE 13201.413
AT ITER 8438 NEW BEST:: SOT 235736 SOS 152387 HAS SOPS 96697 HAS SOUS 17870 HAS SOUPS 13049 WITH SCORE 13201.387
AT ITER 8455 NEW BEST:: SOT 235736 SOS 152399 HAS SOPS 96325 HAS SOUS 17858 HAS SOUPS 13043 WITH SCORE 13195.399
AT ITER 8491 NEW BEST:: SOT 235726 SOS 152389 HAS SOPS 96327 HAS SOUS 17853 HAS SOUPS 13038 WITH SCORE 13190.389
AT ITER 8493 NEW BEST:: SOT 235764 SOS 152207 HAS SOPS 96145 HAS SOUS 17845 HAS SOUPS 13030 WITH SCORE 13182.207
AT ITER 8554 NEW BEST:: SOT 235800 SOS 152243 HAS SOPS 96181 HAS SOUS 17840 HAS SOUPS 13025 WITH SCORE 13177.243
AT ITER 8570 NEW BEST:: SOT 235800 SOS 152229 HAS SOPS 96167 HAS SOUS 17840 HAS SOUPS 13025 WITH SCORE 13177.229
AT ITER 8606 NEW BEST:: SOT 235620 SOS 152049 HAS SOPS 95987 HAS SOUS 17835 HAS SOUPS 13020 WITH SCORE 13172.049
AT ITER 8650 NEW BEST:: SOT 235620 SOS 152039 HAS SOPS 95977 HAS SOUS 17850 HAS SOUPS 13020 WITH SCORE 13172.039
AT ITER 8686 NEW BEST:: SOT 235620 SOS 152017 HAS SOPS 95977 HAS SOUS 17850 HAS SOUPS 13020 WITH SCORE 13172.017
AT ITER 8699 NEW BEST:: SOT 235620 SOS 152011 HAS SOPS 95971 HAS SOUS 17850 HAS SOUPS 13020 WITH SCORE 13172.011
AT ITER 8733 NEW BEST:: SOT 235620 SOS 151987 HAS SOPS 95955 HAS SOUS 17846 HAS SOUPS 13020 WITH SCORE 13171.987
AT ITER 8734 NEW BEST:: SOT 235570 SOS 151937 HAS SOPS 95905 HAS SOUS 17835 HAS SOUPS 13009 WITH SCORE 13160.937
AT ITER 8739 NEW BEST:: SOT 235566 SOS 151933 HAS SOPS 95901 HAS SOUS 17819 HAS SOUPS 12993 WITH SCORE 13144.933
AT ITER 8742 NEW BEST:: SOT 235382 SOS 151797 HAS SOPS 95741 HAS SOUS 17768 HAS SOUPS 12942 WITH SCORE 13093.797
AT ITER 8806 NEW BEST:: SOT 235386 SOS 151801 HAS SOPS 95745 HAS SOUS 17741 HAS SOUPS 12915 WITH SCORE 13066.801
AT ITER 8858 NEW BEST:: SOT 235412 SOS 152019 HAS SOPS 95963 HAS SOUS 17662 HAS SOUPS 12863 WITH SCORE 13015.019
AT ITER 8884 NEW BEST:: SOT 235412 SOS 151924 HAS SOPS 95963 HAS SOUS 17657 HAS SOUPS 12863 WITH SCORE 13014.924
AT ITER 8937 NEW BEST:: SOT 235400 SOS 151912 HAS SOPS 95951 HAS SOUS 17654 HAS SOUPS 12860 WITH SCORE 13011.912
AT ITER 8996 NEW BEST:: SOT 235358 SOS 151870 HAS SOPS 95909 HAS SOUS 17654 HAS SOUPS 12860 WITH SCORE 13011.87
AT ITER 8998 NEW BEST:: SOT 235354 SOS 151866 HAS SOPS 95905 HAS SOUS 17651 HAS SOUPS 12857 WITH SCORE 13008.866
AT ITER 9000 NEW BEST:: SOT 235402 SOS 151922 HAS SOPS 95945 HAS SOUS 17607 HAS SOUPS 12813 WITH SCORE 12964.922
AT ITER 9028 NEW BEST:: SOT 235402 SOS 151836 HAS SOPS 95859 HAS SOUS 17607 HAS SOUPS 12813 WITH SCORE 12964.836
AT ITER 9145 NEW BEST:: SOT 235358 SOS 151792 HAS SOPS 95815 HAS SOUS 17533 HAS SOUPS 12739 WITH SCORE 12890.792
AT ITER 9154 NEW BEST:: SOT 235354 SOS 151788 HAS SOPS 95811 HAS SOUS 17531 HAS SOUPS 12737 WITH SCORE 12888.788
AT ITER 9165 NEW BEST:: SOT 235354 SOS 151766 HAS SOPS 95811 HAS SOUS 17549 HAS SOUPS 12737 WITH SCORE 12888.766
AT ITER 9185 NEW BEST:: SOT 235146 SOS 152130 HAS SOPS 97143 HAS SOUS 17424 HAS SOUPS 12710 WITH SCORE 12862.13
AT ITER 9270 NEW BEST:: SOT 235146 SOS 152114 HAS SOPS 97143 HAS SOUS 17416 HAS SOUPS 12710 WITH SCORE 12862.114
AT ITER 9284 NEW BEST:: SOT 235158 SOS 152126 HAS SOPS 97155 HAS SOUS 17414 HAS SOUPS 12708 WITH SCORE 12860.126
AT ITER 9315 NEW BEST:: SOT 235158 SOS 152126 HAS SOPS 97149 HAS SOUS 17414 HAS SOUPS 12705 WITH SCORE 12857.126
AT ITER 9349 NEW BEST:: SOT 235078 SOS 152022 HAS SOPS 97069 HAS SOUS 17394 HAS SOUPS 12685 WITH SCORE 12837.022
AT ITER 9414 NEW BEST:: SOT 235084 SOS 152028 HAS SOPS 97075 HAS SOUS 17389 HAS SOUPS 12680 WITH SCORE 12832.028
AT ITER 9427 NEW BEST:: SOT 235036 SOS 151980 HAS SOPS 97027 HAS SOUS 17389 HAS SOUPS 12680 WITH SCORE 12831.98
AT ITER 9430 NEW BEST:: SOT 235042 SOS 151986 HAS SOPS 96947 HAS SOUS 17358 HAS SOUPS 12652 WITH SCORE 12803.986
AT ITER 9478 NEW BEST:: SOT 235042 SOS 151998 HAS SOPS 96945 HAS SOUS 17357 HAS SOUPS 12651 WITH SCORE 12802.998
AT ITER 9533 NEW BEST:: SOT 235042 SOS 152024 HAS SOPS 96867 HAS SOUS 17283 HAS SOUPS 12577 WITH SCORE 12729.024
AT ITER 9561 NEW BEST:: SOT 235042 SOS 151952 HAS SOPS 96927 HAS SOUS 17253 HAS SOUPS 12577 WITH SCORE 12728.952
AT ITER 9577 NEW BEST:: SOT 235042 SOS 151950 HAS SOPS 96925 HAS SOUS 17252 HAS SOUPS 12576 WITH SCORE 12727.95
AT ITER 9629 NEW BEST:: SOT 235042 SOS 151919 HAS SOPS 96925 HAS SOUS 17252 HAS SOUPS 12576 WITH SCORE 12727.919
AT ITER 9637 NEW BEST:: SOT 235022 SOS 151899 HAS SOPS 96905 HAS SOUS 17251 HAS SOUPS 12575 WITH SCORE 12726.899
AT ITER 9656 NEW BEST:: SOT 234990 SOS 151867 HAS SOPS 96873 HAS SOUS 17235 HAS SOUPS 12559 WITH SCORE 12710.867
AT ITER 9661 NEW BEST:: SOT 234948 SOS 151875 HAS SOPS 96881 HAS SOUS 17225 HAS SOUPS 12549 WITH SCORE 12700.875
AT ITER 9667 NEW BEST:: SOT 234948 SOS 151847 HAS SOPS 96853 HAS SOUS 17225 HAS SOUPS 12549 WITH SCORE 12700.847
AT ITER 9689 NEW BEST:: SOT 234948 SOS 151527 HAS SOPS 96853 HAS SOUS 17215 HAS SOUPS 12549 WITH SCORE 12700.527
AT ITER 9731 NEW BEST:: SOT 234948 SOS 151516 HAS SOPS 96853 HAS SOUS 17215 HAS SOUPS 12549 WITH SCORE 12700.516
AT ITER 9744 NEW BEST:: SOT 234948 SOS 151486 HAS SOPS 96793 HAS SOUS 17215 HAS SOUPS 12534 WITH SCORE 12685.486
AT ITER 9764 NEW BEST:: SOT 234812 SOS 151350 HAS SOPS 96657 HAS SOUS 17179 HAS SOUPS 12498 WITH SCORE 12649.35
AT ITER 9810 NEW BEST:: SOT 234804 SOS 151342 HAS SOPS 96649 HAS SOUS 17173 HAS SOUPS 12492 WITH SCORE 12643.342
AT ITER 9835 NEW BEST:: SOT 234804 SOS 151306 HAS SOPS 96677 HAS SOUS 17155 HAS SOUPS 12489 WITH SCORE 12640.306
AT ITER 9838 NEW BEST:: SOT 234804 SOS 150750 HAS SOPS 96681 HAS SOUS 17148 HAS SOUPS 12489 WITH SCORE 12639.75
AT ITER 9840 NEW BEST:: SOT 234724 SOS 150670 HAS SOPS 96601 HAS SOUS 17148 HAS SOUPS 12489 WITH SCORE 12639.67
AT ITER 9845 NEW BEST:: SOT 234724 SOS 150646 HAS SOPS 96601 HAS SOUS 17141 HAS SOUPS 12489 WITH SCORE 12639.646
AT ITER 9873 NEW BEST:: SOT 234704 SOS 150626 HAS SOPS 96581 HAS SOUS 17105 HAS SOUPS 12453 WITH SCORE 12603.626
AT ITER 9882 NEW BEST:: SOT 234698 SOS 150620 HAS SOPS 96575 HAS SOUS 17104 HAS SOUPS 12452 WITH SCORE 12602.62

BK_STOP 1679926771328

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 372 Killed ${SMART}/smart ${INPUT_SM}

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="SemanticWebServices-PT-S128P06"
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 SemanticWebServices-PT-S128P06, 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 r355-smll-167891803400384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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