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.r483-tall-167912696501024.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 UtilityControlRoom-COL-Z2T4N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 6.9K Feb 26 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 14:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 14:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679186735512

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=UtilityControlRoom-COL-Z2T4N10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:45:38] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:45:38] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:45:38] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 00:45:39] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:45:39] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 692 ms
[2023-03-19 00:45:39] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 174 PT places and 270.0 transition bindings in 23 ms.
[2023-03-19 00:45:39] [INFO ] Unfolded HLPN to a Petri net with 174 places and 270 transitions 850 arcs in 45 ms.
[2023-03-19 00:45:39] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
[2023-03-19 00:45:39] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 174 places, 210 transitions and 610 arcs took 7 ms.
Total runtime 996 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N10
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: 174 places, 210 transitions, 610 arcs.
AT ITER 0 NEW BEST:: SOT 25296 SOS 15167 HAS SOPS 15167 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11911.167
AT ITER 2 NEW BEST:: SOT 25280 SOS 15135 HAS SOPS 15135 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11858.135
AT ITER 4 NEW BEST:: SOT 25280 SOS 15135 HAS SOPS 15135 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11845.135
AT ITER 8 NEW BEST:: SOT 25323 SOS 15211 HAS SOPS 15211 HAS SOUS 11828 HAS SOUPS 11828 WITH SCORE 11843.211
AT ITER 12 NEW BEST:: SOT 25334 SOS 15211 HAS SOPS 15211 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11832.211
AT ITER 14 NEW BEST:: SOT 25334 SOS 15211 HAS SOPS 15211 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11814.211
AT ITER 15 NEW BEST:: SOT 25321 SOS 15185 HAS SOPS 15185 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11788.185
AT ITER 23 NEW BEST:: SOT 25367 SOS 14934 HAS SOPS 14934 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11416.934
AT ITER 28 NEW BEST:: SOT 25346 SOS 14933 HAS SOPS 14933 HAS SOUS 11367 HAS SOUPS 11367 WITH SCORE 11381.933
AT ITER 29 NEW BEST:: SOT 25319 SOS 14852 HAS SOPS 14852 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11327.852
AT ITER 38 NEW BEST:: SOT 25319 SOS 14792 HAS SOPS 14792 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11291.792
AT ITER 40 NEW BEST:: SOT 24805 SOS 19103 HAS SOPS 19103 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10954.103
AT ITER 42 NEW BEST:: SOT 24804 SOS 19131 HAS SOPS 19131 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10922.131
AT ITER 48 NEW BEST:: SOT 24801 SOS 18889 HAS SOPS 18889 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10863.889
AT ITER 50 NEW BEST:: SOT 23937 SOS 18142 HAS SOPS 18142 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10396.142
AT ITER 52 NEW BEST:: SOT 23888 SOS 17964 HAS SOPS 17964 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10341.964
AT ITER 59 NEW BEST:: SOT 23888 SOS 17964 HAS SOPS 17964 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10340.964
AT ITER 60 NEW BEST:: SOT 23842 SOS 17870 HAS SOPS 17870 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10258.87
AT ITER 63 NEW BEST:: SOT 23837 SOS 17867 HAS SOPS 17867 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10241.867
AT ITER 64 NEW BEST:: SOT 23817 SOS 17847 HAS SOPS 17847 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10221.847
AT ITER 65 NEW BEST:: SOT 23795 SOS 17825 HAS SOPS 17825 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10168.825
AT ITER 66 NEW BEST:: SOT 23758 SOS 17731 HAS SOPS 17731 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10131.731
AT ITER 80 NEW BEST:: SOT 23721 SOS 17694 HAS SOPS 17694 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10034.694
AT ITER 81 NEW BEST:: SOT 23699 SOS 17648 HAS SOPS 17648 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10012.648
AT ITER 92 NEW BEST:: SOT 23639 SOS 17346 HAS SOPS 17346 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9958.346
AT ITER 95 NEW BEST:: SOT 23616 SOS 17323 HAS SOPS 17323 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9855.323
AT ITER 100 NEW BEST:: SOT 23605 SOS 17288 HAS SOPS 17288 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9832.288
AT ITER 101 NEW BEST:: SOT 23593 SOS 17276 HAS SOPS 17276 HAS SOUS 9788 HAS SOUPS 9788 WITH SCORE 9805.276
AT ITER 104 NEW BEST:: SOT 23576 SOS 17249 HAS SOPS 17249 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9764.249
AT ITER 109 NEW BEST:: SOT 23554 SOS 17227 HAS SOPS 17227 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9717.227
AT ITER 111 NEW BEST:: SOT 23530 SOS 17195 HAS SOPS 17195 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9653.195
AT ITER 118 NEW BEST:: SOT 23530 SOS 17195 HAS SOPS 17195 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9651.195
AT ITER 119 NEW BEST:: SOT 23530 SOS 17195 HAS SOPS 17195 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9648.195
AT ITER 130 NEW BEST:: SOT 23506 SOS 17025 HAS SOPS 17025 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9631.025
AT ITER 131 NEW BEST:: SOT 23500 SOS 17019 HAS SOPS 17019 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9619.019
AT ITER 132 NEW BEST:: SOT 23492 SOS 17011 HAS SOPS 17011 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9602.011
AT ITER 142 NEW BEST:: SOT 23474 SOS 16945 HAS SOPS 16945 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9589.945
AT ITER 145 NEW BEST:: SOT 23635 SOS 16850 HAS SOPS 16850 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9520.85
AT ITER 158 NEW BEST:: SOT 23622 SOS 16825 HAS SOPS 16825 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9480.825
AT ITER 160 NEW BEST:: SOT 23621 SOS 16824 HAS SOPS 16824 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9479.824
AT ITER 164 NEW BEST:: SOT 23613 SOS 16824 HAS SOPS 16824 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9463.824
AT ITER 166 NEW BEST:: SOT 23605 SOS 16816 HAS SOPS 16816 HAS SOUS 9439 HAS SOUPS 9439 WITH SCORE 9455.816
AT ITER 167 NEW BEST:: SOT 23637 SOS 16828 HAS SOPS 16828 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9432.828
AT ITER 171 NEW BEST:: SOT 23635 SOS 16824 HAS SOPS 16824 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9428.824
AT ITER 172 NEW BEST:: SOT 23623 SOS 16800 HAS SOPS 16800 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9380.8
AT ITER 173 NEW BEST:: SOT 23615 SOS 16792 HAS SOPS 16792 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9372.792
AT ITER 174 NEW BEST:: SOT 23615 SOS 16776 HAS SOPS 16776 HAS SOUS 9308 HAS SOUPS 9308 WITH SCORE 9324.776
AT ITER 177 NEW BEST:: SOT 23566 SOS 16727 HAS SOPS 16727 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9272.727
AT ITER 183 NEW BEST:: SOT 23537 SOS 16610 HAS SOPS 16610 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9148.61
AT ITER 184 NEW BEST:: SOT 23511 SOS 16376 HAS SOPS 16376 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9147.376
AT ITER 190 NEW BEST:: SOT 23507 SOS 16364 HAS SOPS 16364 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9139.364
AT ITER 192 NEW BEST:: SOT 23523 SOS 16522 HAS SOPS 16522 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9112.522
AT ITER 196 NEW BEST:: SOT 23520 SOS 16519 HAS SOPS 16519 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9112.519
AT ITER 198 NEW BEST:: SOT 23520 SOS 16519 HAS SOPS 16519 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9089.519
AT ITER 199 NEW BEST:: SOT 23511 SOS 16507 HAS SOPS 16507 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9047.507
AT ITER 206 NEW BEST:: SOT 23461 SOS 16457 HAS SOPS 16457 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8997.457
AT ITER 213 NEW BEST:: SOT 23476 SOS 16452 HAS SOPS 16452 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8993.452
AT ITER 217 NEW BEST:: SOT 23467 SOS 16434 HAS SOPS 16434 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8975.434
AT ITER 222 NEW BEST:: SOT 23476 SOS 16462 HAS SOPS 16462 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8974.462
AT ITER 225 NEW BEST:: SOT 23436 SOS 16434 HAS SOPS 16434 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8970.434
AT ITER 226 NEW BEST:: SOT 23405 SOS 16372 HAS SOPS 16372 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8907.372
AT ITER 233 NEW BEST:: SOT 23403 SOS 16370 HAS SOPS 16370 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8903.37
AT ITER 238 NEW BEST:: SOT 23414 SOS 16404 HAS SOPS 16404 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8879.404
AT ITER 240 NEW BEST:: SOT 23414 SOS 16390 HAS SOPS 16390 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8879.39
AT ITER 245 NEW BEST:: SOT 23405 SOS 16381 HAS SOPS 16381 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8787.381
AT ITER 253 NEW BEST:: SOT 23402 SOS 16375 HAS SOPS 16375 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8778.375
AT ITER 254 NEW BEST:: SOT 23411 SOS 16297 HAS SOPS 16297 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8744.297
AT ITER 258 NEW BEST:: SOT 23398 SOS 16284 HAS SOPS 16284 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8718.284
AT ITER 277 NEW BEST:: SOT 23357 SOS 16243 HAS SOPS 16243 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8669.243
AT ITER 285 NEW BEST:: SOT 23325 SOS 16188 HAS SOPS 16188 HAS SOUS 8575 HAS SOUPS 8575 WITH SCORE 8591.188
AT ITER 289 NEW BEST:: SOT 23332 SOS 16188 HAS SOPS 16188 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8577.188
AT ITER 294 NEW BEST:: SOT 23325 SOS 16196 HAS SOPS 16196 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8570.196
AT ITER 304 NEW BEST:: SOT 23323 SOS 16194 HAS SOPS 16194 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8568.194
AT ITER 310 NEW BEST:: SOT 23310 SOS 16136 HAS SOPS 16136 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8563.136
AT ITER 335 NEW BEST:: SOT 23266 SOS 16115 HAS SOPS 16115 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8542.115
AT ITER 339 NEW BEST:: SOT 23254 SOS 16103 HAS SOPS 16103 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8496.103
AT ITER 340 NEW BEST:: SOT 23265 SOS 16130 HAS SOPS 16130 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8494.13
AT ITER 343 NEW BEST:: SOT 23264 SOS 16129 HAS SOPS 16129 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8457.129
AT ITER 351 NEW BEST:: SOT 23119 SOS 15984 HAS SOPS 15984 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8383.984
AT ITER 363 NEW BEST:: SOT 23116 SOS 15981 HAS SOPS 15981 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8374.981
AT ITER 365 NEW BEST:: SOT 23113 SOS 15972 HAS SOPS 15972 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8368.972
AT ITER 380 NEW BEST:: SOT 23113 SOS 13040 HAS SOPS 13040 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8321.04
AT ITER 388 NEW BEST:: SOT 23113 SOS 13043 HAS SOPS 13043 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8318.043
AT ITER 390 NEW BEST:: SOT 23044 SOS 12781 HAS SOPS 12781 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8306.781
AT ITER 398 NEW BEST:: SOT 22969 SOS 12706 HAS SOPS 12706 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8214.706
AT ITER 400 NEW BEST:: SOT 23048 SOS 12712 HAS SOPS 12712 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8161.712
AT ITER 406 NEW BEST:: SOT 23043 SOS 12707 HAS SOPS 12707 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8151.707
AT ITER 410 NEW BEST:: SOT 23047 SOS 12769 HAS SOPS 12769 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8131.769
AT ITER 413 NEW BEST:: SOT 23047 SOS 12761 HAS SOPS 12761 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8131.761
AT ITER 416 NEW BEST:: SOT 23043 SOS 12753 HAS SOPS 12753 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.753
AT ITER 434 NEW BEST:: SOT 23035 SOS 12573 HAS SOPS 12573 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8115.573
AT ITER 439 NEW BEST:: SOT 23053 SOS 12699 HAS SOPS 12699 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8107.699
AT ITER 441 NEW BEST:: SOT 23049 SOS 12699 HAS SOPS 12699 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8099.699
AT ITER 446 NEW BEST:: SOT 23054 SOS 12676 HAS SOPS 12676 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8090.676
AT ITER 448 NEW BEST:: SOT 23054 SOS 12668 HAS SOPS 12668 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8082.668
AT ITER 463 NEW BEST:: SOT 23054 SOS 12644 HAS SOPS 12644 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8058.644
AT ITER 497 NEW BEST:: SOT 23050 SOS 12640 HAS SOPS 12640 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8052.64
AT ITER 511 NEW BEST:: SOT 23004 SOS 12711 HAS SOPS 12711 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8031.711
AT ITER 519 NEW BEST:: SOT 23000 SOS 12705 HAS SOPS 12705 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8029.705
AT ITER 522 NEW BEST:: SOT 23007 SOS 12735 HAS SOPS 12735 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8027.735
AT ITER 534 NEW BEST:: SOT 23005 SOS 12727 HAS SOPS 12727 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8025.727
AT ITER 542 NEW BEST:: SOT 22958 SOS 12821 HAS SOPS 12821 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7993.821
AT ITER 544 NEW BEST:: SOT 22944 SOS 12793 HAS SOPS 12793 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7979.793
AT ITER 546 NEW BEST:: SOT 22931 SOS 12780 HAS SOPS 12780 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7966.78
AT ITER 553 NEW BEST:: SOT 22915 SOS 12780 HAS SOPS 12780 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7948.78
AT ITER 556 NEW BEST:: SOT 22915 SOS 12780 HAS SOPS 12780 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7930.78
AT ITER 560 NEW BEST:: SOT 22877 SOS 12735 HAS SOPS 12735 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7909.735
AT ITER 561 NEW BEST:: SOT 22857 SOS 12610 HAS SOPS 12610 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7897.61
AT ITER 565 NEW BEST:: SOT 22886 SOS 12478 HAS SOPS 12478 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7893.478
AT ITER 576 NEW BEST:: SOT 22886 SOS 12474 HAS SOPS 12474 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7889.474
AT ITER 578 NEW BEST:: SOT 22864 SOS 12452 HAS SOPS 12452 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7818.452
AT ITER 586 NEW BEST:: SOT 22864 SOS 12474 HAS SOPS 12474 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7814.474
AT ITER 589 NEW BEST:: SOT 22857 SOS 12459 HAS SOPS 12459 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7807.459
AT ITER 590 NEW BEST:: SOT 22759 SOS 12361 HAS SOPS 12361 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7753.361
AT ITER 593 NEW BEST:: SOT 22745 SOS 12273 HAS SOPS 12273 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7725.273
AT ITER 601 NEW BEST:: SOT 22745 SOS 12271 HAS SOPS 12271 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7725.271
AT ITER 610 NEW BEST:: SOT 22745 SOS 12189 HAS SOPS 12189 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7725.189
AT ITER 614 NEW BEST:: SOT 22742 SOS 12183 HAS SOPS 12183 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7719.183
AT ITER 622 NEW BEST:: SOT 22736 SOS 12177 HAS SOPS 12177 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.177
AT ITER 640 NEW BEST:: SOT 22735 SOS 12167 HAS SOPS 12167 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.167
AT ITER 642 NEW BEST:: SOT 22715 SOS 12080 HAS SOPS 12080 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7701.08
AT ITER 654 NEW BEST:: SOT 22696 SOS 12021 HAS SOPS 12021 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7692.021
AT ITER 665 NEW BEST:: SOT 22689 SOS 12014 HAS SOPS 12014 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7659.014
AT ITER 667 NEW BEST:: SOT 22671 SOS 11996 HAS SOPS 11996 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7622.996
AT ITER 670 NEW BEST:: SOT 22650 SOS 11911 HAS SOPS 11911 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7581.911
AT ITER 679 NEW BEST:: SOT 22620 SOS 11848 HAS SOPS 11848 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7460.848
AT ITER 680 NEW BEST:: SOT 22620 SOS 11736 HAS SOPS 11736 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7460.736
AT ITER 692 NEW BEST:: SOT 22619 SOS 11735 HAS SOPS 11735 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7458.735
AT ITER 694 NEW BEST:: SOT 22596 SOS 11789 HAS SOPS 11789 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7430.789
AT ITER 699 NEW BEST:: SOT 22581 SOS 11767 HAS SOPS 11767 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7395.767
AT ITER 708 NEW BEST:: SOT 22581 SOS 11767 HAS SOPS 11767 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7387.767
AT ITER 715 NEW BEST:: SOT 22584 SOS 11768 HAS SOPS 11768 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7361.768
AT ITER 742 NEW BEST:: SOT 22572 SOS 11749 HAS SOPS 11749 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7342.749
AT ITER 749 NEW BEST:: SOT 22565 SOS 11742 HAS SOPS 11742 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7328.742
AT ITER 751 NEW BEST:: SOT 22538 SOS 11666 HAS SOPS 11666 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7298.666
AT ITER 760 NEW BEST:: SOT 22538 SOS 11644 HAS SOPS 11644 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7293.644
AT ITER 761 NEW BEST:: SOT 22530 SOS 11636 HAS SOPS 11636 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7281.636
AT ITER 768 NEW BEST:: SOT 22526 SOS 11630 HAS SOPS 11630 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7277.63
AT ITER 769 NEW BEST:: SOT 22525 SOS 11653 HAS SOPS 11653 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7276.653
AT ITER 774 NEW BEST:: SOT 22508 SOS 11602 HAS SOPS 11602 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.602
AT ITER 785 NEW BEST:: SOT 22508 SOS 11564 HAS SOPS 11564 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.564
AT ITER 786 NEW BEST:: SOT 22461 SOS 11467 HAS SOPS 11467 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7174.467
AT ITER 793 NEW BEST:: SOT 22461 SOS 11433 HAS SOPS 11433 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7157.433
AT ITER 811 NEW BEST:: SOT 22458 SOS 11433 HAS SOPS 11433 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7142.433
AT ITER 819 NEW BEST:: SOT 22450 SOS 11417 HAS SOPS 11417 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7128.417
AT ITER 858 NEW BEST:: SOT 22450 SOS 11435 HAS SOPS 11435 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7126.435
AT ITER 860 NEW BEST:: SOT 22434 SOS 11423 HAS SOPS 11423 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7110.423
AT ITER 876 NEW BEST:: SOT 22433 SOS 11401 HAS SOPS 11401 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7101.401
AT ITER 881 NEW BEST:: SOT 22483 SOS 11364 HAS SOPS 11364 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7064.364
AT ITER 897 NEW BEST:: SOT 22480 SOS 11358 HAS SOPS 11358 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7058.358
AT ITER 905 NEW BEST:: SOT 22480 SOS 11342 HAS SOPS 11342 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7055.342
AT ITER 906 NEW BEST:: SOT 22514 SOS 11358 HAS SOPS 11358 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6944.358
AT ITER 907 NEW BEST:: SOT 22506 SOS 11342 HAS SOPS 11342 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.342
AT ITER 915 NEW BEST:: SOT 22502 SOS 11338 HAS SOPS 11338 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.338
AT ITER 916 NEW BEST:: SOT 22502 SOS 11338 HAS SOPS 11338 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6905.338
AT ITER 933 NEW BEST:: SOT 22502 SOS 11330 HAS SOPS 11330 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6897.33
AT ITER 951 NEW BEST:: SOT 22493 SOS 11321 HAS SOPS 11321 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6888.321
AT ITER 980 NEW BEST:: SOT 22486 SOS 11321 HAS SOPS 11321 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6881.321
AT ITER 985 NEW BEST:: SOT 22455 SOS 11230 HAS SOPS 11230 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6762.23
AT ITER 996 NEW BEST:: SOT 22455 SOS 11224 HAS SOPS 11224 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6759.224
AT ITER 1013 NEW BEST:: SOT 22459 SOS 11225 HAS SOPS 11225 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6748.225
AT ITER 1014 NEW BEST:: SOT 22450 SOS 11209 HAS SOPS 11209 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6730.209
AT ITER 1049 NEW BEST:: SOT 22454 SOS 11213 HAS SOPS 11213 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6724.213
AT ITER 1057 NEW BEST:: SOT 22406 SOS 11169 HAS SOPS 11169 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6676.169
AT ITER 1062 NEW BEST:: SOT 22395 SOS 11158 HAS SOPS 11158 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6643.158
AT ITER 1065 NEW BEST:: SOT 22391 SOS 11154 HAS SOPS 11154 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6639.154
AT ITER 1070 NEW BEST:: SOT 22388 SOS 11151 HAS SOPS 11151 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6636.151
AT ITER 1088 NEW BEST:: SOT 22387 SOS 11150 HAS SOPS 11150 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6636.15
AT ITER 1101 NEW BEST:: SOT 22370 SOS 11133 HAS SOPS 11133 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6597.133
AT ITER 1109 NEW BEST:: SOT 22368 SOS 11150 HAS SOPS 11150 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6561.15
AT ITER 1112 NEW BEST:: SOT 22370 SOS 11138 HAS SOPS 11138 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6544.138
AT ITER 1125 NEW BEST:: SOT 22320 SOS 11086 HAS SOPS 11086 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6452.086
AT ITER 1140 NEW BEST:: SOT 22317 SOS 11083 HAS SOPS 11083 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6452.083
AT ITER 1168 NEW BEST:: SOT 22313 SOS 11079 HAS SOPS 11079 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6444.079
AT ITER 1172 NEW BEST:: SOT 22296 SOS 10936 HAS SOPS 10936 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6432.936
AT ITER 1175 NEW BEST:: SOT 22284 SOS 10931 HAS SOPS 10931 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6427.931
AT ITER 1176 NEW BEST:: SOT 22284 SOS 10931 HAS SOPS 10931 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.931
AT ITER 1179 NEW BEST:: SOT 22277 SOS 10880 HAS SOPS 10880 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.88
AT ITER 1183 NEW BEST:: SOT 22286 SOS 10766 HAS SOPS 10766 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6421.766
AT ITER 1185 NEW BEST:: SOT 22273 SOS 10702 HAS SOPS 10702 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6420.702
AT ITER 1209 NEW BEST:: SOT 22273 SOS 10725 HAS SOPS 10725 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6410.725
AT ITER 1236 NEW BEST:: SOT 22272 SOS 10718 HAS SOPS 10718 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6398.718
AT ITER 1245 NEW BEST:: SOT 22258 SOS 10720 HAS SOPS 10720 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6380.72
AT ITER 1272 NEW BEST:: SOT 22258 SOS 10707 HAS SOPS 10707 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6379.707
AT ITER 1293 NEW BEST:: SOT 22240 SOS 10710 HAS SOPS 10710 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6369.71
AT ITER 1303 NEW BEST:: SOT 22225 SOS 10680 HAS SOPS 10680 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.68
AT ITER 1307 NEW BEST:: SOT 22225 SOS 10684 HAS SOPS 10684 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6342.684
AT ITER 1333 NEW BEST:: SOT 22223 SOS 10682 HAS SOPS 10682 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.682
AT ITER 1342 NEW BEST:: SOT 22222 SOS 10681 HAS SOPS 10681 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6333.681
AT ITER 1354 NEW BEST:: SOT 22222 SOS 10681 HAS SOPS 10681 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6330.681
AT ITER 1376 NEW BEST:: SOT 22222 SOS 10671 HAS SOPS 10671 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6330.671
AT ITER 1379 NEW BEST:: SOT 22220 SOS 10669 HAS SOPS 10669 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6328.669
AT ITER 1389 NEW BEST:: SOT 22207 SOS 10641 HAS SOPS 10641 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6310.641
AT ITER 1404 NEW BEST:: SOT 22207 SOS 10638 HAS SOPS 10638 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6307.638
AT ITER 1409 NEW BEST:: SOT 22197 SOS 10618 HAS SOPS 10618 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6297.618
AT ITER 1412 NEW BEST:: SOT 22198 SOS 10625 HAS SOPS 10625 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6296.625
AT ITER 1420 NEW BEST:: SOT 22181 SOS 10578 HAS SOPS 10578 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6277.578
AT ITER 1427 NEW BEST:: SOT 22168 SOS 10526 HAS SOPS 10526 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6277.526
AT ITER 1448 NEW BEST:: SOT 22168 SOS 10526 HAS SOPS 10526 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6249.526
AT ITER 1457 NEW BEST:: SOT 22168 SOS 10514 HAS SOPS 10514 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6243.514
AT ITER 1485 NEW BEST:: SOT 22132 SOS 10427 HAS SOPS 10427 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6207.427
AT ITER 1514 NEW BEST:: SOT 22096 SOS 10363 HAS SOPS 10363 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6183.363
AT ITER 1570 NEW BEST:: SOT 22066 SOS 10326 HAS SOPS 10326 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6169.326
AT ITER 1576 NEW BEST:: SOT 22047 SOS 10300 HAS SOPS 10300 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6134.3
AT ITER 1631 NEW BEST:: SOT 22048 SOS 10290 HAS SOPS 10290 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6129.29
AT ITER 1656 NEW BEST:: SOT 22031 SOS 10219 HAS SOPS 10219 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6124.219
AT ITER 1728 NEW BEST:: SOT 22030 SOS 10216 HAS SOPS 10216 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6122.216
AT ITER 1729 NEW BEST:: SOT 22024 SOS 10210 HAS SOPS 10210 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6110.21
AT ITER 1730 NEW BEST:: SOT 22024 SOS 10210 HAS SOPS 10210 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6101.21
AT ITER 1753 NEW BEST:: SOT 22027 SOS 10242 HAS SOPS 10242 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6090.242
AT ITER 1783 NEW BEST:: SOT 22026 SOS 10241 HAS SOPS 10241 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6090.241
AT ITER 1800 NEW BEST:: SOT 22025 SOS 10240 HAS SOPS 10240 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6083.24
AT ITER 1806 NEW BEST:: SOT 22025 SOS 10194 HAS SOPS 10194 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6083.194
AT ITER 1807 NEW BEST:: SOT 22017 SOS 10186 HAS SOPS 10186 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6083.186
AT ITER 1812 NEW BEST:: SOT 22009 SOS 10170 HAS SOPS 10170 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6067.17
AT ITER 1839 NEW BEST:: SOT 22005 SOS 10159 HAS SOPS 10159 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6056.159
AT ITER 1861 NEW BEST:: SOT 22015 SOS 10230 HAS SOPS 10230 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6046.23
AT ITER 1865 NEW BEST:: SOT 22009 SOS 10218 HAS SOPS 10218 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6040.218
AT ITER 1866 NEW BEST:: SOT 22009 SOS 10194 HAS SOPS 10194 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6040.194
AT ITER 1943 NEW BEST:: SOT 22005 SOS 10190 HAS SOPS 10190 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6020.19
AT ITER 1951 NEW BEST:: SOT 22008 SOS 10193 HAS SOPS 10193 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6017.193
AT ITER 1964 NEW BEST:: SOT 22007 SOS 10192 HAS SOPS 10192 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6016.192
AT ITER 1990 NEW BEST:: SOT 22030 SOS 10172 HAS SOPS 10172 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.172
AT ITER 1992 NEW BEST:: SOT 22028 SOS 10158 HAS SOPS 10158 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.158
AT ITER 2005 NEW BEST:: SOT 22023 SOS 10153 HAS SOPS 10153 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5980.153
AT ITER 2026 NEW BEST:: SOT 22032 SOS 10142 HAS SOPS 10142 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5978.142
AT ITER 2029 NEW BEST:: SOT 22032 SOS 10144 HAS SOPS 10144 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5976.144
AT ITER 2051 NEW BEST:: SOT 22027 SOS 10134 HAS SOPS 10134 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5961.134
AT ITER 2087 NEW BEST:: SOT 22026 SOS 10132 HAS SOPS 10132 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5961.132
AT ITER 2090 NEW BEST:: SOT 22025 SOS 10130 HAS SOPS 10130 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5959.13
AT ITER 2113 NEW BEST:: SOT 22014 SOS 10081 HAS SOPS 10081 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5956.081
AT ITER 2118 NEW BEST:: SOT 22014 SOS 10080 HAS SOPS 10080 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5955.08
AT ITER 2125 NEW BEST:: SOT 21991 SOS 10082 HAS SOPS 10082 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5946.082
AT ITER 2142 NEW BEST:: SOT 21984 SOS 10075 HAS SOPS 10075 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5939.075
AT ITER 2149 NEW BEST:: SOT 21983 SOS 10072 HAS SOPS 10072 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5937.072
AT ITER 2186 NEW BEST:: SOT 21978 SOS 10062 HAS SOPS 10062 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5932.062
AT ITER 2209 NEW BEST:: SOT 21969 SOS 10053 HAS SOPS 10053 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5923.053
AT ITER 2218 NEW BEST:: SOT 21955 SOS 10018 HAS SOPS 10018 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5904.018
AT ITER 2223 NEW BEST:: SOT 21955 SOS 10009 HAS SOPS 10009 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5898.009
AT ITER 2233 NEW BEST:: SOT 21961 SOS 10015 HAS SOPS 10015 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5882.015
AT ITER 2255 NEW BEST:: SOT 21963 SOS 10027 HAS SOPS 10027 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5860.027
AT ITER 2289 NEW BEST:: SOT 21963 SOS 10018 HAS SOPS 10018 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5855.018
AT ITER 2300 NEW BEST:: SOT 21957 SOS 10006 HAS SOPS 10006 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.006
AT ITER 2329 NEW BEST:: SOT 21952 SOS 9996 HAS SOPS 9996 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5838.996
AT ITER 2331 NEW BEST:: SOT 21938 SOS 9995 HAS SOPS 9995 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5830.995
AT ITER 2357 NEW BEST:: SOT 21907 SOS 9964 HAS SOPS 9964 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5830.964
AT ITER 2368 NEW BEST:: SOT 21908 SOS 9960 HAS SOPS 9960 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5829.96
AT ITER 2380 NEW BEST:: SOT 21843 SOS 9858 HAS SOPS 9858 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5764.858
AT ITER 2395 NEW BEST:: SOT 21851 SOS 9850 HAS SOPS 9850 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5764.85
AT ITER 2405 NEW BEST:: SOT 21846 SOS 9845 HAS SOPS 9845 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5759.845
AT ITER 2435 NEW BEST:: SOT 21805 SOS 9895 HAS SOPS 9895 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5742.895
AT ITER 2450 NEW BEST:: SOT 21794 SOS 9870 HAS SOPS 9870 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5727.87
AT ITER 2483 NEW BEST:: SOT 21791 SOS 9864 HAS SOPS 9864 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5725.864
AT ITER 2487 NEW BEST:: SOT 21785 SOS 9859 HAS SOPS 9859 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5716.859
AT ITER 2513 NEW BEST:: SOT 21782 SOS 9853 HAS SOPS 9853 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5710.853
AT ITER 2541 NEW BEST:: SOT 21773 SOS 10011 HAS SOPS 10011 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5710.011
AT ITER 2569 NEW BEST:: SOT 21773 SOS 10011 HAS SOPS 10011 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5696.011
AT ITER 2576 NEW BEST:: SOT 21759 SOS 9996 HAS SOPS 9996 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5674.996
AT ITER 2667 NEW BEST:: SOT 21758 SOS 9992 HAS SOPS 9992 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5663.992
AT ITER 2682 NEW BEST:: SOT 21754 SOS 9988 HAS SOPS 9988 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5663.988
AT ITER 2702 NEW BEST:: SOT 21752 SOS 10014 HAS SOPS 10014 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5647.014
AT ITER 2722 NEW BEST:: SOT 21746 SOS 10005 HAS SOPS 10005 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5638.005
AT ITER 2728 NEW BEST:: SOT 21737 SOS 9994 HAS SOPS 9994 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5635.994
AT ITER 2750 NEW BEST:: SOT 21720 SOS 10044 HAS SOPS 10044 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5619.044
AT ITER 2766 NEW BEST:: SOT 21715 SOS 10029 HAS SOPS 10029 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5609.029
AT ITER 2774 NEW BEST:: SOT 21715 SOS 10027 HAS SOPS 10027 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5609.027
AT ITER 2809 NEW BEST:: SOT 21711 SOS 10015 HAS SOPS 10015 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5603.015
AT ITER 2822 NEW BEST:: SOT 21708 SOS 10009 HAS SOPS 10009 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5600.009
AT ITER 2828 NEW BEST:: SOT 21703 SOS 9825 HAS SOPS 9825 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.825
AT ITER 2832 NEW BEST:: SOT 21703 SOS 9818 HAS SOPS 9818 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5580.818
AT ITER 2846 NEW BEST:: SOT 21699 SOS 9814 HAS SOPS 9814 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5570.814
AT ITER 2861 NEW BEST:: SOT 21701 SOS 9807 HAS SOPS 9807 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5566.807
AT ITER 2934 NEW BEST:: SOT 21698 SOS 9796 HAS SOPS 9796 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5565.796
AT ITER 2943 NEW BEST:: SOT 21701 SOS 9799 HAS SOPS 9799 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5562.799
AT ITER 3012 NEW BEST:: SOT 21693 SOS 9791 HAS SOPS 9791 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5562.791
AT ITER 3034 NEW BEST:: SOT 21685 SOS 9747 HAS SOPS 9747 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5552.747
AT ITER 3114 NEW BEST:: SOT 21680 SOS 9737 HAS SOPS 9737 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5547.737
AT ITER 3118 NEW BEST:: SOT 21677 SOS 9734 HAS SOPS 9734 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.734
AT ITER 3120 NEW BEST:: SOT 21656 SOS 9667 HAS SOPS 9667 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5540.667
AT ITER 3122 NEW BEST:: SOT 21656 SOS 9665 HAS SOPS 9665 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5539.665
AT ITER 3149 NEW BEST:: SOT 21640 SOS 9609 HAS SOPS 9609 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5527.609
AT ITER 3164 NEW BEST:: SOT 21638 SOS 9607 HAS SOPS 9607 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5523.607
AT ITER 3187 NEW BEST:: SOT 21637 SOS 9606 HAS SOPS 9606 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5522.606
AT ITER 3204 NEW BEST:: SOT 21628 SOS 9555 HAS SOPS 9555 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5504.555
AT ITER 3225 NEW BEST:: SOT 21628 SOS 9554 HAS SOPS 9554 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5503.554
AT ITER 3256 NEW BEST:: SOT 21628 SOS 9545 HAS SOPS 9545 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5499.545
AT ITER 3304 NEW BEST:: SOT 21613 SOS 9999 HAS SOPS 9999 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5496.999
AT ITER 3307 NEW BEST:: SOT 21600 SOS 10000 HAS SOPS 10000 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5495.0
AT ITER 3322 NEW BEST:: SOT 21599 SOS 9996 HAS SOPS 9996 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5491.996
AT ITER 3334 NEW BEST:: SOT 21599 SOS 9959 HAS SOPS 9959 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5483.959
AT ITER 3346 NEW BEST:: SOT 21593 SOS 9941 HAS SOPS 9941 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5477.941
AT ITER 3363 NEW BEST:: SOT 21590 SOS 9898 HAS SOPS 9898 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5471.898
AT ITER 3373 NEW BEST:: SOT 21568 SOS 9888 HAS SOPS 9888 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5466.888
AT ITER 3376 NEW BEST:: SOT 21566 SOS 9886 HAS SOPS 9886 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5463.886
AT ITER 3387 NEW BEST:: SOT 21557 SOS 9872 HAS SOPS 9872 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5455.872
AT ITER 3461 NEW BEST:: SOT 21548 SOS 9851 HAS SOPS 9851 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5451.851
AT ITER 3479 NEW BEST:: SOT 21545 SOS 9840 HAS SOPS 9840 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5444.84
AT ITER 3484 NEW BEST:: SOT 21545 SOS 9840 HAS SOPS 9840 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5429.84
AT ITER 3521 NEW BEST:: SOT 21542 SOS 9834 HAS SOPS 9834 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5426.834
AT ITER 3554 NEW BEST:: SOT 21538 SOS 9840 HAS SOPS 9840 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5424.84
AT ITER 3577 NEW BEST:: SOT 21535 SOS 9837 HAS SOPS 9837 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.837
AT ITER 3621 NEW BEST:: SOT 21534 SOS 9836 HAS SOPS 9836 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.836
AT ITER 3622 NEW BEST:: SOT 21532 SOS 9833 HAS SOPS 9833 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.833
AT ITER 3648 NEW BEST:: SOT 21531 SOS 9831 HAS SOPS 9831 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5408.831
AT ITER 3657 NEW BEST:: SOT 21531 SOS 9827 HAS SOPS 9827 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5408.827
AT ITER 3661 NEW BEST:: SOT 21520 SOS 9817 HAS SOPS 9817 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5407.817
AT ITER 3712 NEW BEST:: SOT 21516 SOS 9808 HAS SOPS 9808 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5403.808
AT ITER 3721 NEW BEST:: SOT 21512 SOS 9805 HAS SOPS 9805 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5402.805
AT ITER 3741 NEW BEST:: SOT 21504 SOS 9804 HAS SOPS 9804 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5386.804
AT ITER 3746 NEW BEST:: SOT 21505 SOS 9810 HAS SOPS 9810 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5385.81
AT ITER 3751 NEW BEST:: SOT 21504 SOS 9799 HAS SOPS 9799 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5374.799
AT ITER 3754 NEW BEST:: SOT 21515 SOS 9800 HAS SOPS 9800 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5372.8
AT ITER 3755 NEW BEST:: SOT 21505 SOS 9828 HAS SOPS 9828 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5371.828
AT ITER 3803 NEW BEST:: SOT 21501 SOS 9824 HAS SOPS 9824 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5365.824
AT ITER 3806 NEW BEST:: SOT 21500 SOS 9822 HAS SOPS 9822 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5363.822
AT ITER 3837 NEW BEST:: SOT 21529 SOS 9845 HAS SOPS 9845 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5361.845
AT ITER 3859 NEW BEST:: SOT 21523 SOS 9839 HAS SOPS 9839 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5355.839
AT ITER 3862 NEW BEST:: SOT 21523 SOS 9839 HAS SOPS 9839 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5353.839
AT ITER 3867 NEW BEST:: SOT 21522 SOS 9838 HAS SOPS 9838 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5352.838
AT ITER 3913 NEW BEST:: SOT 21521 SOS 9836 HAS SOPS 9836 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5351.836
AT ITER 3925 NEW BEST:: SOT 21515 SOS 9825 HAS SOPS 9825 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5348.825
AT ITER 3956 NEW BEST:: SOT 21526 SOS 9831 HAS SOPS 9831 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5339.831
AT ITER 3965 NEW BEST:: SOT 21497 SOS 9802 HAS SOPS 9802 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5313.802
AT ITER 3977 NEW BEST:: SOT 21492 SOS 9797 HAS SOPS 9797 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5311.797
AT ITER 3982 NEW BEST:: SOT 21499 SOS 9804 HAS SOPS 9804 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5308.804
AT ITER 4021 NEW BEST:: SOT 21498 SOS 9802 HAS SOPS 9802 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.802
AT ITER 4040 NEW BEST:: SOT 21493 SOS 9797 HAS SOPS 9797 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.797
AT ITER 4090 NEW BEST:: SOT 21493 SOS 9794 HAS SOPS 9794 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.794
AT ITER 4114 NEW BEST:: SOT 21492 SOS 9795 HAS SOPS 9795 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5304.795
AT ITER 4135 NEW BEST:: SOT 21486 SOS 9789 HAS SOPS 9789 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5301.789
AT ITER 4172 NEW BEST:: SOT 21486 SOS 9776 HAS SOPS 9776 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5301.776
AT ITER 4189 NEW BEST:: SOT 21488 SOS 9792 HAS SOPS 9792 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.792
AT ITER 4206 NEW BEST:: SOT 21488 SOS 9787 HAS SOPS 9787 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.787
AT ITER 4240 NEW BEST:: SOT 21488 SOS 9758 HAS SOPS 9758 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.758
AT ITER 4246 NEW BEST:: SOT 21470 SOS 9741 HAS SOPS 9741 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5295.741
AT ITER 4273 NEW BEST:: SOT 21470 SOS 9727 HAS SOPS 9727 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5294.727
AT ITER 4305 NEW BEST:: SOT 21466 SOS 9726 HAS SOPS 9726 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5293.726
AT ITER 4338 NEW BEST:: SOT 21465 SOS 9717 HAS SOPS 9717 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5292.717
AT ITER 4341 NEW BEST:: SOT 21462 SOS 9709 HAS SOPS 9709 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5291.709
AT ITER 4344 NEW BEST:: SOT 21472 SOS 9689 HAS SOPS 9689 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5266.689
AT ITER 4351 NEW BEST:: SOT 21464 SOS 9681 HAS SOPS 9681 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5258.681
AT ITER 4410 NEW BEST:: SOT 21464 SOS 9681 HAS SOPS 9681 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5257.681
AT ITER 4415 NEW BEST:: SOT 21462 SOS 9664 HAS SOPS 9664 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5255.664
AT ITER 4454 NEW BEST:: SOT 21470 SOS 9656 HAS SOPS 9656 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5247.656
AT ITER 4463 NEW BEST:: SOT 21470 SOS 9646 HAS SOPS 9646 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5242.646
AT ITER 4475 NEW BEST:: SOT 21471 SOS 9648 HAS SOPS 9648 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5240.648
AT ITER 4484 NEW BEST:: SOT 21470 SOS 9647 HAS SOPS 9647 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5240.647
AT ITER 4553 NEW BEST:: SOT 21470 SOS 9645 HAS SOPS 9645 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5240.645
AT ITER 4579 NEW BEST:: SOT 21465 SOS 9635 HAS SOPS 9635 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5230.635
AT ITER 4597 NEW BEST:: SOT 21425 SOS 9634 HAS SOPS 9634 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5220.634
AT ITER 4644 NEW BEST:: SOT 21426 SOS 9605 HAS SOPS 9605 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.605
AT ITER 4721 NEW BEST:: SOT 21424 SOS 9594 HAS SOPS 9594 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.594
AT ITER 4766 NEW BEST:: SOT 21418 SOS 9595 HAS SOPS 9595 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5191.595
AT ITER 4775 NEW BEST:: SOT 21416 SOS 9593 HAS SOPS 9593 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5189.593
AT ITER 4810 NEW BEST:: SOT 21412 SOS 9589 HAS SOPS 9589 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5185.589
AT ITER 4845 NEW BEST:: SOT 21412 SOS 9587 HAS SOPS 9587 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5183.587
AT ITER 4863 NEW BEST:: SOT 21414 SOS 9581 HAS SOPS 9581 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5183.581
AT ITER 4878 NEW BEST:: SOT 21414 SOS 9577 HAS SOPS 9577 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5180.577
AT ITER 4882 NEW BEST:: SOT 21407 SOS 9540 HAS SOPS 9540 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5167.54
AT ITER 4937 NEW BEST:: SOT 21423 SOS 9553 HAS SOPS 9553 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5152.553
AT ITER 4962 NEW BEST:: SOT 21423 SOS 9579 HAS SOPS 9579 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5147.579
AT ITER 4989 NEW BEST:: SOT 21423 SOS 9571 HAS SOPS 9571 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5143.571
AT ITER 4991 NEW BEST:: SOT 21424 SOS 9566 HAS SOPS 9566 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5136.566
AT ITER 5011 NEW BEST:: SOT 21423 SOS 9565 HAS SOPS 9565 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5135.565
AT ITER 5046 NEW BEST:: SOT 21418 SOS 9560 HAS SOPS 9560 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5133.56
AT ITER 5072 NEW BEST:: SOT 21416 SOS 9554 HAS SOPS 9554 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5129.554
AT ITER 5087 NEW BEST:: SOT 21413 SOS 9551 HAS SOPS 9551 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5119.551
AT ITER 5122 NEW BEST:: SOT 21413 SOS 9550 HAS SOPS 9550 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5118.55
AT ITER 5182 NEW BEST:: SOT 21404 SOS 9541 HAS SOPS 9541 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5112.541
AT ITER 5194 NEW BEST:: SOT 21404 SOS 9533 HAS SOPS 9533 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5112.533
AT ITER 5213 NEW BEST:: SOT 21401 SOS 9514 HAS SOPS 9514 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5090.514
AT ITER 5254 NEW BEST:: SOT 21400 SOS 9513 HAS SOPS 9513 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5089.513
AT ITER 5269 NEW BEST:: SOT 21400 SOS 9511 HAS SOPS 9511 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5088.511
AT ITER 5270 NEW BEST:: SOT 21400 SOS 9508 HAS SOPS 9508 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5085.508
AT ITER 5336 NEW BEST:: SOT 21392 SOS 9500 HAS SOPS 9500 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5079.5
AT ITER 5337 NEW BEST:: SOT 21387 SOS 9501 HAS SOPS 9501 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5069.501
AT ITER 5348 NEW BEST:: SOT 21380 SOS 9498 HAS SOPS 9498 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5055.498
AT ITER 5375 NEW BEST:: SOT 21380 SOS 9293 HAS SOPS 9293 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5050.293
AT ITER 5389 NEW BEST:: SOT 21380 SOS 9311 HAS SOPS 9311 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5041.311
AT ITER 5391 NEW BEST:: SOT 21377 SOS 9302 HAS SOPS 9302 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5035.302
AT ITER 5520 NEW BEST:: SOT 21377 SOS 9298 HAS SOPS 9298 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5033.298
AT ITER 5556 NEW BEST:: SOT 21382 SOS 9294 HAS SOPS 9294 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5017.294
AT ITER 5577 NEW BEST:: SOT 21382 SOS 9293 HAS SOPS 9293 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5016.293
AT ITER 5628 NEW BEST:: SOT 21379 SOS 9292 HAS SOPS 9292 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5016.292
AT ITER 5633 NEW BEST:: SOT 21376 SOS 9250 HAS SOPS 9250 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4999.25
AT ITER 5653 NEW BEST:: SOT 21374 SOS 9248 HAS SOPS 9248 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4997.248
AT ITER 5694 NEW BEST:: SOT 21369 SOS 9223 HAS SOPS 9223 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4994.223
AT ITER 5740 NEW BEST:: SOT 21353 SOS 9229 HAS SOPS 9229 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4981.229
AT ITER 5743 NEW BEST:: SOT 21346 SOS 9222 HAS SOPS 9222 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4977.222
AT ITER 5768 NEW BEST:: SOT 21339 SOS 9216 HAS SOPS 9216 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4973.216
AT ITER 5776 NEW BEST:: SOT 21337 SOS 9216 HAS SOPS 9216 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4971.216
AT ITER 5829 NEW BEST:: SOT 21337 SOS 9212 HAS SOPS 9212 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4967.212
AT ITER 5840 NEW BEST:: SOT 21337 SOS 9210 HAS SOPS 9210 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4965.21
AT ITER 5846 NEW BEST:: SOT 21336 SOS 9206 HAS SOPS 9206 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4961.206
AT ITER 5932 NEW BEST:: SOT 21333 SOS 9201 HAS SOPS 9201 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4958.201
AT ITER 5946 NEW BEST:: SOT 21337 SOS 9175 HAS SOPS 9175 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4951.175
AT ITER 5980 NEW BEST:: SOT 21317 SOS 9181 HAS SOPS 9181 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4934.181
AT ITER 6008 NEW BEST:: SOT 21308 SOS 9173 HAS SOPS 9173 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4931.173
AT ITER 6046 NEW BEST:: SOT 21307 SOS 9173 HAS SOPS 9173 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4930.173
AT ITER 6112 NEW BEST:: SOT 21302 SOS 9163 HAS SOPS 9163 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4925.163
AT ITER 6115 NEW BEST:: SOT 21298 SOS 9159 HAS SOPS 9159 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4925.159
AT ITER 6128 NEW BEST:: SOT 21297 SOS 9158 HAS SOPS 9158 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4924.158
AT ITER 6249 NEW BEST:: SOT 21288 SOS 9149 HAS SOPS 9149 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4916.149
AT ITER 6267 NEW BEST:: SOT 21287 SOS 9147 HAS SOPS 9147 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4914.147
AT ITER 6298 NEW BEST:: SOT 21285 SOS 9142 HAS SOPS 9142 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4911.142
AT ITER 6335 NEW BEST:: SOT 21284 SOS 9141 HAS SOPS 9141 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4909.141
AT ITER 6355 NEW BEST:: SOT 21279 SOS 9136 HAS SOPS 9136 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4909.136
AT ITER 6492 NEW BEST:: SOT 21277 SOS 9132 HAS SOPS 9132 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4901.132
AT ITER 6504 NEW BEST:: SOT 21276 SOS 9125 HAS SOPS 9125 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4900.125
AT ITER 6516 NEW BEST:: SOT 21276 SOS 9121 HAS SOPS 9121 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4900.121
AT ITER 6803 NEW BEST:: SOT 21275 SOS 9128 HAS SOPS 9128 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4898.128
AT ITER 6850 NEW BEST:: SOT 21274 SOS 9127 HAS SOPS 9127 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4898.127
AT ITER 6930 NEW BEST:: SOT 21274 SOS 9125 HAS SOPS 9125 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4896.125
AT ITER 7034 NEW BEST:: SOT 21270 SOS 9121 HAS SOPS 9121 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4888.121
AT ITER 7163 NEW BEST:: SOT 21264 SOS 9109 HAS SOPS 9109 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4882.109
AT ITER 7219 NEW BEST:: SOT 21267 SOS 9105 HAS SOPS 9105 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4878.105
AT ITER 7456 NEW BEST:: SOT 21267 SOS 9080 HAS SOPS 9080 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4878.08
AT ITER 7481 NEW BEST:: SOT 21267 SOS 9082 HAS SOPS 9082 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4876.082
AT ITER 7490 NEW BEST:: SOT 21265 SOS 9082 HAS SOPS 9082 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4873.082
AT ITER 7498 NEW BEST:: SOT 21262 SOS 9070 HAS SOPS 9070 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4873.07
AT ITER 7569 NEW BEST:: SOT 21257 SOS 9065 HAS SOPS 9065 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4862.065
AT ITER 7593 NEW BEST:: SOT 21260 SOS 9068 HAS SOPS 9068 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4861.068
AT ITER 7625 NEW BEST:: SOT 21258 SOS 9064 HAS SOPS 9064 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4859.064
AT ITER 7641 NEW BEST:: SOT 21256 SOS 9062 HAS SOPS 9062 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4857.062
AT ITER 7715 NEW BEST:: SOT 21255 SOS 9062 HAS SOPS 9062 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4855.062
AT ITER 7770 NEW BEST:: SOT 21247 SOS 9067 HAS SOPS 9067 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4843.067
AT ITER 7787 NEW BEST:: SOT 21247 SOS 9072 HAS SOPS 9072 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4842.072
AT ITER 7789 NEW BEST:: SOT 21247 SOS 9071 HAS SOPS 9071 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4841.071
AT ITER 7844 NEW BEST:: SOT 21257 SOS 9081 HAS SOPS 9081 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4835.081
AT ITER 7867 NEW BEST:: SOT 21260 SOS 9077 HAS SOPS 9077 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4833.077
AT ITER 7917 NEW BEST:: SOT 21267 SOS 9084 HAS SOPS 9084 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4831.084
AT ITER 7970 NEW BEST:: SOT 21267 SOS 9088 HAS SOPS 9088 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4827.088
AT ITER 8025 NEW BEST:: SOT 21286 SOS 9022 HAS SOPS 9022 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4817.022
AT ITER 8033 NEW BEST:: SOT 21285 SOS 9019 HAS SOPS 9019 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4816.019
AT ITER 8153 NEW BEST:: SOT 21285 SOS 9029 HAS SOPS 9029 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4813.029
AT ITER 8173 NEW BEST:: SOT 21284 SOS 9027 HAS SOPS 9027 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4812.027
AT ITER 8223 NEW BEST:: SOT 21281 SOS 9021 HAS SOPS 9021 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4809.021
AT ITER 8248 NEW BEST:: SOT 21261 SOS 8981 HAS SOPS 8981 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4808.981
AT ITER 8338 NEW BEST:: SOT 21256 SOS 8982 HAS SOPS 8982 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4806.982
AT ITER 8406 NEW BEST:: SOT 21253 SOS 8979 HAS SOPS 8979 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4803.979
AT ITER 8411 NEW BEST:: SOT 21266 SOS 8977 HAS SOPS 8977 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4790.977
AT ITER 8540 NEW BEST:: SOT 21266 SOS 8975 HAS SOPS 8975 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4787.975
AT ITER 8571 NEW BEST:: SOT 21266 SOS 8993 HAS SOPS 8993 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4778.993
AT ITER 8640 NEW BEST:: SOT 21265 SOS 8989 HAS SOPS 8989 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4778.989
AT ITER 8648 NEW BEST:: SOT 21261 SOS 8977 HAS SOPS 8977 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4770.977
AT ITER 8670 NEW BEST:: SOT 21259 SOS 8973 HAS SOPS 8973 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4768.973
AT ITER 8711 NEW BEST:: SOT 21255 SOS 8912 HAS SOPS 8912 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4760.912
AT ITER 8737 NEW BEST:: SOT 21253 SOS 8904 HAS SOPS 8904 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4759.904
AT ITER 8810 NEW BEST:: SOT 21257 SOS 8903 HAS SOPS 8903 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4759.903
AT ITER 8860 NEW BEST:: SOT 21257 SOS 8895 HAS SOPS 8895 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4755.895
AT ITER 8896 NEW BEST:: SOT 21256 SOS 8892 HAS SOPS 8892 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4753.892
AT ITER 8937 NEW BEST:: SOT 21252 SOS 8877 HAS SOPS 8877 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4749.877
AT ITER 8942 NEW BEST:: SOT 21237 SOS 8862 HAS SOPS 8862 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4749.862
AT ITER 8994 NEW BEST:: SOT 21235 SOS 8858 HAS SOPS 8858 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4745.858
AT ITER 9059 NEW BEST:: SOT 21237 SOS 8780 HAS SOPS 8780 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4744.78
AT ITER 9060 NEW BEST:: SOT 21237 SOS 8780 HAS SOPS 8780 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4742.78
AT ITER 9151 NEW BEST:: SOT 21226 SOS 8861 HAS SOPS 8861 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4739.861
AT ITER 9213 NEW BEST:: SOT 21223 SOS 8861 HAS SOPS 8861 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4733.861
AT ITER 9237 NEW BEST:: SOT 21225 SOS 8857 HAS SOPS 8857 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4728.857
AT ITER 9252 NEW BEST:: SOT 21210 SOS 8854 HAS SOPS 8854 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4720.854
AT ITER 9256 NEW BEST:: SOT 21207 SOS 8865 HAS SOPS 8865 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4714.865
AT ITER 9373 NEW BEST:: SOT 21207 SOS 8817 HAS SOPS 8817 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4714.817
AT ITER 9402 NEW BEST:: SOT 21202 SOS 8806 HAS SOPS 8806 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4703.806
AT ITER 9412 NEW BEST:: SOT 21202 SOS 8804 HAS SOPS 8804 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4702.804
AT ITER 9450 NEW BEST:: SOT 21203 SOS 8805 HAS SOPS 8805 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4700.805
AT ITER 9465 NEW BEST:: SOT 21203 SOS 8807 HAS SOPS 8807 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4698.807
AT ITER 9511 NEW BEST:: SOT 21202 SOS 8805 HAS SOPS 8805 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4697.805
AT ITER 9560 NEW BEST:: SOT 21197 SOS 8800 HAS SOPS 8800 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4693.8
AT ITER 9617 NEW BEST:: SOT 21182 SOS 8757 HAS SOPS 8757 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4678.757
AT ITER 9631 NEW BEST:: SOT 21180 SOS 8768 HAS SOPS 8768 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4669.768
AT ITER 9696 NEW BEST:: SOT 21180 SOS 8767 HAS SOPS 8767 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4669.767
AT ITER 9700 NEW BEST:: SOT 21178 SOS 8765 HAS SOPS 8765 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4663.765
AT ITER 9715 NEW BEST:: SOT 21177 SOS 8763 HAS SOPS 8763 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4661.763
AT ITER 9726 NEW BEST:: SOT 21177 SOS 8767 HAS SOPS 8767 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4657.767
AT ITER 9750 NEW BEST:: SOT 21160 SOS 8764 HAS SOPS 8764 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.764
AT ITER 9753 NEW BEST:: SOT 21158 SOS 8762 HAS SOPS 8762 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.762
AT ITER 9758 NEW BEST:: SOT 21157 SOS 8759 HAS SOPS 8759 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4652.759
AT ITER 9759 NEW BEST:: SOT 21157 SOS 8761 HAS SOPS 8761 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4636.761

BK_STOP 1679189835445

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 406 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="UtilityControlRoom-COL-Z2T4N10"
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 UtilityControlRoom-COL-Z2T4N10, 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 r483-tall-167912696501024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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