Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912695900600.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 TokenRing-COL-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695900600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.6K Feb 25 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 16:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 18K 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 1679171672809

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=TokenRing-COL-020
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 20:34:36] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 20:34:36] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 20:34:36] [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-18 20:34:36] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 20:34:37] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 615 ms
[2023-03-18 20:34:37] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 441 PT places and 9282.0 transition bindings in 26 ms.
[2023-03-18 20:34:37] [INFO ] Unfolded HLPN to a Petri net with 441 places and 8421 transitions 33684 arcs in 263 ms.
[2023-03-18 20:34:37] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 20:34:37] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 441 places, 8421 transitions and 33684 arcs took 150 ms.
Total runtime 1584 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 020
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: 441 places, 8421 transitions, 33684 arcs.
AT ITER 0 NEW BEST:: SOT 1979590 SOS 391874 HAS SOPS 238727 HAS SOUS 198273 HAS SOUPS 189520 WITH SCORE 189911.874
AT ITER 121 NEW BEST:: SOT 1979731 SOS 393287 HAS SOPS 240140 HAS SOUS 198192 HAS SOUPS 189439 WITH SCORE 189832.287
AT ITER 227 NEW BEST:: SOT 1979579 SOS 393241 HAS SOPS 240314 HAS SOUS 198123 HAS SOUPS 189381 WITH SCORE 189774.241
AT ITER 237 NEW BEST:: SOT 1979509 SOS 393221 HAS SOPS 240394 HAS SOUS 197898 HAS SOUPS 189161 WITH SCORE 189554.221
AT ITER 276 NEW BEST:: SOT 1979509 SOS 393214 HAS SOPS 240394 HAS SOUS 197891 HAS SOUPS 189161 WITH SCORE 189554.214
AT ITER 317 NEW BEST:: SOT 1979373 SOS 392975 HAS SOPS 240525 HAS SOUS 197858 HAS SOUPS 189141 WITH SCORE 189533.975
AT ITER 318 NEW BEST:: SOT 1979546 SOS 394516 HAS SOPS 242066 HAS SOUS 197797 HAS SOUPS 189080 WITH SCORE 189474.516
AT ITER 327 NEW BEST:: SOT 1979537 SOS 394498 HAS SOPS 242057 HAS SOUS 197779 HAS SOUPS 189071 WITH SCORE 189465.498
AT ITER 351 NEW BEST:: SOT 1979637 SOS 395067 HAS SOPS 242723 HAS SOUS 197538 HAS SOUPS 188834 WITH SCORE 189229.067
AT ITER 354 NEW BEST:: SOT 1980108 SOS 396905 HAS SOPS 244560 HAS SOUS 196915 HAS SOUPS 188210 WITH SCORE 188606.905
AT ITER 364 NEW BEST:: SOT 1980014 SOS 396981 HAS SOPS 245114 HAS SOUS 196504 HAS SOUPS 187816 WITH SCORE 188212.981
AT ITER 427 NEW BEST:: SOT 1980302 SOS 397517 HAS SOPS 246030 HAS SOUS 196464 HAS SOUPS 187779 WITH SCORE 188176.517
AT ITER 434 NEW BEST:: SOT 1980222 SOS 397597 HAS SOPS 246000 HAS SOUS 196193 HAS SOUPS 187508 WITH SCORE 187905.597
AT ITER 459 NEW BEST:: SOT 1980726 SOS 399351 HAS SOPS 247754 HAS SOUS 196035 HAS SOUPS 187350 WITH SCORE 187749.351
AT ITER 477 NEW BEST:: SOT 1981061 SOS 400810 HAS SOPS 249201 HAS SOUS 195498 HAS SOUPS 186801 WITH SCORE 187201.81
AT ITER 551 NEW BEST:: SOT 1981061 SOS 401224 HAS SOPS 249615 HAS SOUS 195148 HAS SOUPS 186452 WITH SCORE 186853.224
AT ITER 555 NEW BEST:: SOT 1981155 SOS 401672 HAS SOPS 250157 HAS SOUS 194969 HAS SOUPS 186275 WITH SCORE 186676.672
AT ITER 570 NEW BEST:: SOT 1981047 SOS 401558 HAS SOPS 250049 HAS SOUS 194741 HAS SOUPS 186053 WITH SCORE 186454.558
AT ITER 584 NEW BEST:: SOT 1980898 SOS 401320 HAS SOPS 250155 HAS SOUS 194681 HAS SOUPS 186000 WITH SCORE 186401.32
AT ITER 602 NEW BEST:: SOT 1980907 SOS 401332 HAS SOPS 250148 HAS SOUS 194665 HAS SOUPS 185983 WITH SCORE 186384.332
AT ITER 603 NEW BEST:: SOT 1981010 SOS 402233 HAS SOPS 251345 HAS SOUS 194084 HAS SOUPS 185413 WITH SCORE 185815.233
AT ITER 636 NEW BEST:: SOT 1981199 SOS 402667 HAS SOPS 251914 HAS SOUS 194015 HAS SOUPS 185344 WITH SCORE 185746.667
AT ITER 734 NEW BEST:: SOT 1981307 SOS 402883 HAS SOPS 252200 HAS SOUS 193996 HAS SOUPS 185325 WITH SCORE 185727.883
AT ITER 775 NEW BEST:: SOT 1981523 SOS 403409 HAS SOPS 252936 HAS SOUS 193989 HAS SOUPS 185316 WITH SCORE 185719.409
AT ITER 826 NEW BEST:: SOT 1981902 SOS 404624 HAS SOPS 254149 HAS SOUS 193532 HAS SOUPS 184859 WITH SCORE 185263.624
AT ITER 879 NEW BEST:: SOT 1981085 SOS 404177 HAS SOPS 254813 HAS SOUS 193048 HAS SOUPS 184417 WITH SCORE 184821.177
AT ITER 880 NEW BEST:: SOT 1981217 SOS 404442 HAS SOPS 255177 HAS SOUS 193039 HAS SOUPS 184408 WITH SCORE 184812.442
AT ITER 951 NEW BEST:: SOT 1981119 SOS 404303 HAS SOPS 255208 HAS SOUS 192982 HAS SOUPS 184354 WITH SCORE 184758.303
AT ITER 958 NEW BEST:: SOT 1981341 SOS 405108 HAS SOPS 255930 HAS SOUS 192852 HAS SOUPS 184219 WITH SCORE 184624.108
AT ITER 977 NEW BEST:: SOT 1981090 SOS 404765 HAS SOPS 255995 HAS SOUS 192693 HAS SOUPS 184072 WITH SCORE 184476.765
AT ITER 980 NEW BEST:: SOT 1981099 SOS 404855 HAS SOPS 256284 HAS SOUS 192411 HAS SOUPS 183800 WITH SCORE 184204.855
AT ITER 986 NEW BEST:: SOT 1981381 SOS 406021 HAS SOPS 258006 HAS SOUS 192084 HAS SOUPS 183511 WITH SCORE 183917.021
AT ITER 1010 NEW BEST:: SOT 1981644 SOS 406804 HAS SOPS 258661 HAS SOUS 192058 HAS SOUPS 183474 WITH SCORE 183880.804
AT ITER 1014 NEW BEST:: SOT 1981384 SOS 406508 HAS SOPS 258614 HAS SOUS 191918 HAS SOUPS 183345 WITH SCORE 183751.508
AT ITER 1060 NEW BEST:: SOT 1981604 SOS 407074 HAS SOPS 259358 HAS SOUS 191771 HAS SOUPS 183198 WITH SCORE 183605.074
AT ITER 1076 NEW BEST:: SOT 1981844 SOS 408496 HAS SOPS 260784 HAS SOUS 191207 HAS SOUPS 182634 WITH SCORE 183042.496
AT ITER 1129 NEW BEST:: SOT 1981764 SOS 408321 HAS SOPS 260684 HAS SOUS 191138 HAS SOUPS 182569 WITH SCORE 182977.321
AT ITER 1215 NEW BEST:: SOT 1981908 SOS 409054 HAS SOPS 261762 HAS SOUS 190953 HAS SOUPS 182399 WITH SCORE 182808.054
AT ITER 1237 NEW BEST:: SOT 1981764 SOS 408870 HAS SOPS 261890 HAS SOUS 190534 HAS SOUPS 181995 WITH SCORE 182403.87
AT ITER 1249 NEW BEST:: SOT 1982244 SOS 410069 HAS SOPS 263088 HAS SOUS 190295 HAS SOUPS 181756 WITH SCORE 182166.069
AT ITER 1255 NEW BEST:: SOT 1982338 SOS 410536 HAS SOPS 263644 HAS SOUS 190042 HAS SOUPS 181501 WITH SCORE 181911.536
AT ITER 1367 NEW BEST:: SOT 1982525 SOS 411635 HAS SOPS 264551 HAS SOUS 190005 HAS SOUPS 181451 WITH SCORE 181862.635
AT ITER 1375 NEW BEST:: SOT 1982868 SOS 412987 HAS SOPS 265908 HAS SOUS 189549 HAS SOUPS 180995 WITH SCORE 181407.987
AT ITER 1383 NEW BEST:: SOT 1983171 SOS 414121 HAS SOPS 267037 HAS SOUS 189105 HAS SOUPS 180547 WITH SCORE 180961.121
AT ITER 1390 NEW BEST:: SOT 1983308 SOS 414345 HAS SOPS 267946 HAS SOUS 188588 HAS SOUPS 180057 WITH SCORE 180471.345
AT ITER 1406 NEW BEST:: SOT 1983375 SOS 415768 HAS SOPS 269391 HAS SOUS 188517 HAS SOUPS 179986 WITH SCORE 180401.768
AT ITER 1454 NEW BEST:: SOT 1983946 SOS 417158 HAS SOPS 270786 HAS SOUS 188395 HAS SOUPS 179864 WITH SCORE 180281.158
AT ITER 1465 NEW BEST:: SOT 1983923 SOS 418601 HAS SOPS 273147 HAS SOUS 187746 HAS SOUPS 179263 WITH SCORE 179681.601
AT ITER 1554 NEW BEST:: SOT 1984140 SOS 419121 HAS SOPS 273672 HAS SOUS 187660 HAS SOUPS 179177 WITH SCORE 179596.121
AT ITER 1557 NEW BEST:: SOT 1984142 SOS 419767 HAS SOPS 274056 HAS SOUS 187426 HAS SOUPS 178943 WITH SCORE 179362.767
AT ITER 1572 NEW BEST:: SOT 1984630 SOS 420787 HAS SOPS 275072 HAS SOUS 187382 HAS SOUPS 178899 WITH SCORE 179319.787
AT ITER 1596 NEW BEST:: SOT 1984754 SOS 421161 HAS SOPS 275570 HAS SOUS 187311 HAS SOUPS 178829 WITH SCORE 179250.161
AT ITER 1602 NEW BEST:: SOT 1984896 SOS 422184 HAS SOPS 276602 HAS SOUS 186572 HAS SOUPS 178090 WITH SCORE 178512.184
AT ITER 1697 NEW BEST:: SOT 1983601 SOS 420322 HAS SOPS 276044 HAS SOUS 186060 HAS SOUPS 177631 WITH SCORE 178051.322
AT ITER 1700 NEW BEST:: SOT 1983599 SOS 420320 HAS SOPS 276040 HAS SOUS 186058 HAS SOUPS 177627 WITH SCORE 178047.32
AT ITER 1719 NEW BEST:: SOT 1983667 SOS 420597 HAS SOPS 276548 HAS SOUS 185644 HAS SOUPS 177226 WITH SCORE 177646.597
AT ITER 1741 NEW BEST:: SOT 1983727 SOS 420747 HAS SOPS 276698 HAS SOUS 185614 HAS SOUPS 177196 WITH SCORE 177616.747
AT ITER 1973 NEW BEST:: SOT 1983819 SOS 421129 HAS SOPS 277172 HAS SOUS 185456 HAS SOUPS 177037 WITH SCORE 177458.129
AT ITER 2013 NEW BEST:: SOT 1984756 SOS 424324 HAS SOPS 280175 HAS SOUS 184450 HAS SOUPS 176016 WITH SCORE 176440.324
AT ITER 2018 NEW BEST:: SOT 1984800 SOS 424904 HAS SOPS 280761 HAS SOUS 184336 HAS SOUPS 175902 WITH SCORE 176326.904
AT ITER 2110 NEW BEST:: SOT 1984815 SOS 424931 HAS SOPS 280824 HAS SOUS 184276 HAS SOUPS 175845 WITH SCORE 176269.931
AT ITER 2125 NEW BEST:: SOT 1985233 SOS 426607 HAS SOPS 282992 HAS SOUS 183814 HAS SOUPS 175413 WITH SCORE 175839.607
AT ITER 2128 NEW BEST:: SOT 1985226 SOS 426918 HAS SOPS 283301 HAS SOUS 183447 HAS SOUPS 175048 WITH SCORE 175474.918
AT ITER 2133 NEW BEST:: SOT 1985503 SOS 427719 HAS SOPS 284102 HAS SOUS 183200 HAS SOUPS 174801 WITH SCORE 175228.719
AT ITER 2170 NEW BEST:: SOT 1985797 SOS 429453 HAS SOPS 285836 HAS SOUS 183104 HAS SOUPS 174705 WITH SCORE 175134.453
AT ITER 2194 NEW BEST:: SOT 1986707 SOS 432061 HAS SOPS 288442 HAS SOUS 182694 HAS SOUPS 174293 WITH SCORE 174725.061
AT ITER 2210 NEW BEST:: SOT 1987003 SOS 432445 HAS SOPS 289490 HAS SOUS 182482 HAS SOUPS 174101 WITH SCORE 174533.445
AT ITER 2211 NEW BEST:: SOT 1987023 SOS 432861 HAS SOPS 289838 HAS SOUS 182214 HAS SOUPS 173829 WITH SCORE 174261.861
AT ITER 2272 NEW BEST:: SOT 1987928 SOS 435614 HAS SOPS 291931 HAS SOUS 182132 HAS SOUPS 173706 WITH SCORE 174141.614
AT ITER 2314 NEW BEST:: SOT 1988026 SOS 435606 HAS SOPS 292737 HAS SOUS 181664 HAS SOUPS 173270 WITH SCORE 173705.606
AT ITER 2371 NEW BEST:: SOT 1988146 SOS 436382 HAS SOPS 293977 HAS SOUS 180414 HAS SOUPS 172056 WITH SCORE 172492.382
AT ITER 2421 NEW BEST:: SOT 1988658 SOS 437843 HAS SOPS 295427 HAS SOUS 180088 HAS SOUPS 171722 WITH SCORE 172159.843
AT ITER 2444 NEW BEST:: SOT 1988620 SOS 438142 HAS SOPS 295375 HAS SOUS 179872 HAS SOUPS 171499 WITH SCORE 171937.142
AT ITER 2485 NEW BEST:: SOT 1988723 SOS 438797 HAS SOPS 296010 HAS SOUS 179633 HAS SOUPS 171258 WITH SCORE 171696.797
AT ITER 2488 NEW BEST:: SOT 1988482 SOS 438512 HAS SOPS 295579 HAS SOUS 179358 HAS SOUPS 170987 WITH SCORE 171425.512
AT ITER 2505 NEW BEST:: SOT 1988947 SOS 440151 HAS SOPS 297212 HAS SOUS 178775 HAS SOUPS 170398 WITH SCORE 170838.151
AT ITER 2511 NEW BEST:: SOT 1988975 SOS 440319 HAS SOPS 297338 HAS SOUS 178677 HAS SOUPS 170300 WITH SCORE 170740.319
AT ITER 2574 NEW BEST:: SOT 1989087 SOS 440623 HAS SOPS 297690 HAS SOUS 178581 HAS SOUPS 170204 WITH SCORE 170644.623
AT ITER 2583 NEW BEST:: SOT 1989251 SOS 441105 HAS SOPS 298336 HAS SOUS 178532 HAS SOUPS 170156 WITH SCORE 170597.105
AT ITER 2600 NEW BEST:: SOT 1989916 SOS 443879 HAS SOPS 300689 HAS SOUS 178453 HAS SOUPS 170060 WITH SCORE 170503.879
AT ITER 2624 NEW BEST:: SOT 1989808 SOS 443765 HAS SOPS 300581 HAS SOUS 178225 HAS SOUPS 169838 WITH SCORE 170281.765
AT ITER 2709 NEW BEST:: SOT 1989824 SOS 444177 HAS SOPS 301011 HAS SOUS 177933 HAS SOUPS 169548 WITH SCORE 169992.177
AT ITER 2730 NEW BEST:: SOT 1989628 SOS 443913 HAS SOPS 300850 HAS SOUS 177818 HAS SOUPS 169444 WITH SCORE 169887.913
AT ITER 2834 NEW BEST:: SOT 1990130 SOS 445105 HAS SOPS 302042 HAS SOUS 177630 HAS SOUPS 169256 WITH SCORE 169701.105
AT ITER 2899 NEW BEST:: SOT 1990343 SOS 445600 HAS SOPS 302637 HAS SOUS 177536 HAS SOUPS 169163 WITH SCORE 169608.6
AT ITER 2939 NEW BEST:: SOT 1990276 SOS 445578 HAS SOPS 302646 HAS SOUS 177277 HAS SOUPS 168911 WITH SCORE 169356.578
AT ITER 2941 NEW BEST:: SOT 1990506 SOS 446651 HAS SOPS 303732 HAS SOUS 176538 HAS SOUPS 168178 WITH SCORE 168624.651
AT ITER 2957 NEW BEST:: SOT 1991081 SOS 448779 HAS SOPS 305987 HAS SOUS 175560 HAS SOUPS 167200 WITH SCORE 167648.779
AT ITER 2963 NEW BEST:: SOT 1991090 SOS 448818 HAS SOPS 306020 HAS SOUS 175539 HAS SOUPS 167179 WITH SCORE 167627.818
AT ITER 2976 NEW BEST:: SOT 1991102 SOS 448848 HAS SOPS 306050 HAS SOUS 175533 HAS SOUPS 167173 WITH SCORE 167621.848
AT ITER 3007 NEW BEST:: SOT 1991183 SOS 449103 HAS SOPS 306355 HAS SOUS 175440 HAS SOUPS 167080 WITH SCORE 167529.103
AT ITER 3055 NEW BEST:: SOT 1991151 SOS 448921 HAS SOPS 306259 HAS SOUS 175432 HAS SOUPS 167078 WITH SCORE 167526.921
AT ITER 3059 NEW BEST:: SOT 1990837 SOS 448192 HAS SOPS 305661 HAS SOUS 175302 HAS SOUPS 166959 WITH SCORE 167407.192
AT ITER 3061 NEW BEST:: SOT 1990837 SOS 448269 HAS SOPS 305733 HAS SOUS 175225 HAS SOUPS 166882 WITH SCORE 167330.269
AT ITER 3093 NEW BEST:: SOT 1990218 SOS 447090 HAS SOPS 304550 HAS SOUS 174914 HAS SOUPS 166571 WITH SCORE 167018.09
AT ITER 3155 NEW BEST:: SOT 1990215 SOS 446787 HAS SOPS 304305 HAS SOUS 174596 HAS SOUPS 166253 WITH SCORE 166699.787
AT ITER 3171 NEW BEST:: SOT 1990259 SOS 446887 HAS SOPS 304425 HAS SOUS 174580 HAS SOUPS 166237 WITH SCORE 166683.887
AT ITER 3221 NEW BEST:: SOT 1990403 SOS 447023 HAS SOPS 304457 HAS SOUS 174556 HAS SOUPS 166221 WITH SCORE 166668.023
AT ITER 3390 NEW BEST:: SOT 1990349 SOS 446966 HAS SOPS 304403 HAS SOUS 174499 HAS SOUPS 166167 WITH SCORE 166613.966
AT ITER 3439 NEW BEST:: SOT 1990687 SOS 448095 HAS SOPS 305515 HAS SOUS 174067 HAS SOUPS 165734 WITH SCORE 166182.095
AT ITER 3541 NEW BEST:: SOT 1991413 SOS 449883 HAS SOPS 307545 HAS SOUS 173752 HAS SOUPS 165422 WITH SCORE 165871.883
AT ITER 3548 NEW BEST:: SOT 1990006 SOS 448010 HAS SOPS 306749 HAS SOUS 172933 HAS SOUPS 164618 WITH SCORE 165066.01
AT ITER 3655 NEW BEST:: SOT 1989995 SOS 448012 HAS SOPS 306727 HAS SOUS 172935 HAS SOUPS 164596 WITH SCORE 165044.012
AT ITER 3671 NEW BEST:: SOT 1990007 SOS 448066 HAS SOPS 306775 HAS SOUS 172902 HAS SOUPS 164563 WITH SCORE 165011.066
AT ITER 3686 NEW BEST:: SOT 1990006 SOS 448112 HAS SOPS 306782 HAS SOUS 172854 HAS SOUPS 164515 WITH SCORE 164963.112
AT ITER 3717 NEW BEST:: SOT 1989986 SOS 447838 HAS SOPS 306508 HAS SOUS 172794 HAS SOUPS 164455 WITH SCORE 164902.838
AT ITER 3769 NEW BEST:: SOT 1989866 SOS 447763 HAS SOPS 306248 HAS SOUS 172729 HAS SOUPS 164390 WITH SCORE 164837.763
AT ITER 3835 NEW BEST:: SOT 1990416 SOS 449011 HAS SOPS 307574 HAS SOUS 172707 HAS SOUPS 164366 WITH SCORE 164815.011
AT ITER 3836 NEW BEST:: SOT 1990891 SOS 450148 HAS SOPS 308735 HAS SOUS 172478 HAS SOUPS 164139 WITH SCORE 164589.148
AT ITER 3914 NEW BEST:: SOT 1990923 SOS 450365 HAS SOPS 308955 HAS SOUS 172367 HAS SOUPS 164028 WITH SCORE 164478.365
AT ITER 3954 NEW BEST:: SOT 1990745 SOS 450338 HAS SOPS 308857 HAS SOUS 172370 HAS SOUPS 164008 WITH SCORE 164458.338
AT ITER 3990 NEW BEST:: SOT 1990802 SOS 450573 HAS SOPS 309360 HAS SOUS 172060 HAS SOUPS 163707 WITH SCORE 164157.573
AT ITER 4101 NEW BEST:: SOT 1991019 SOS 450790 HAS SOPS 309219 HAS SOUS 171897 HAS SOUPS 163563 WITH SCORE 164013.79
AT ITER 4170 NEW BEST:: SOT 1991031 SOS 450909 HAS SOPS 309299 HAS SOUS 171802 HAS SOUPS 163468 WITH SCORE 163918.909
AT ITER 4201 NEW BEST:: SOT 1991305 SOS 451775 HAS SOPS 309935 HAS SOUS 171757 HAS SOUPS 163410 WITH SCORE 163861.775
AT ITER 4479 NEW BEST:: SOT 1991299 SOS 451757 HAS SOPS 309969 HAS SOUS 171679 HAS SOUPS 163336 WITH SCORE 163787.757
AT ITER 4510 NEW BEST:: SOT 1991241 SOS 451643 HAS SOPS 309911 HAS SOUS 171551 HAS SOUPS 163214 WITH SCORE 163665.643
AT ITER 4560 NEW BEST:: SOT 1991195 SOS 451572 HAS SOPS 309807 HAS SOUS 171530 HAS SOUPS 163193 WITH SCORE 163644.572
AT ITER 4658 NEW BEST:: SOT 1990909 SOS 451238 HAS SOPS 309009 HAS SOUS 171542 HAS SOUPS 163192 WITH SCORE 163643.238
AT ITER 4695 NEW BEST:: SOT 1991244 SOS 451923 HAS SOPS 309846 HAS SOUS 171495 HAS SOUPS 163145 WITH SCORE 163596.923
AT ITER 4704 NEW BEST:: SOT 1991244 SOS 451905 HAS SOPS 309846 HAS SOUS 171477 HAS SOUPS 163145 WITH SCORE 163596.905
AT ITER 4774 NEW BEST:: SOT 1991216 SOS 451875 HAS SOPS 309839 HAS SOUS 171451 HAS SOUPS 163120 WITH SCORE 163571.875
AT ITER 4867 NEW BEST:: SOT 1991204 SOS 451863 HAS SOPS 309863 HAS SOUS 171451 HAS SOUPS 163120 WITH SCORE 163571.863
AT ITER 4990 NEW BEST:: SOT 1991409 SOS 452374 HAS SOPS 310398 HAS SOUS 171320 HAS SOUPS 162989 WITH SCORE 163441.374
AT ITER 5021 NEW BEST:: SOT 1991387 SOS 452317 HAS SOPS 310376 HAS SOUS 171270 HAS SOUPS 162942 WITH SCORE 163394.317
AT ITER 5115 NEW BEST:: SOT 1991552 SOS 452508 HAS SOPS 310815 HAS SOUS 171220 HAS SOUPS 162901 WITH SCORE 163353.508
AT ITER 5266 NEW BEST:: SOT 1991590 SOS 452596 HAS SOPS 310903 HAS SOUS 171208 HAS SOUPS 162889 WITH SCORE 163341.596
AT ITER 5290 NEW BEST:: SOT 1991628 SOS 452653 HAS SOPS 311045 HAS SOUS 171122 HAS SOUPS 162808 WITH SCORE 163260.653
AT ITER 5377 NEW BEST:: SOT 1991419 SOS 452109 HAS SOPS 310748 HAS SOUS 170870 HAS SOUPS 162574 WITH SCORE 163026.109
AT ITER 5407 NEW BEST:: SOT 1991063 SOS 451180 HAS SOPS 309956 HAS SOUS 170646 HAS SOUPS 162371 WITH SCORE 162822.18
AT ITER 5472 NEW BEST:: SOT 1990930 SOS 450898 HAS SOPS 309677 HAS SOUS 170277 HAS SOUPS 162030 WITH SCORE 162480.898
AT ITER 5547 NEW BEST:: SOT 1990915 SOS 450843 HAS SOPS 309682 HAS SOUS 170223 HAS SOUPS 161988 WITH SCORE 162438.843
AT ITER 5604 NEW BEST:: SOT 1990989 SOS 451079 HAS SOPS 309926 HAS SOUS 170135 HAS SOUPS 161900 WITH SCORE 162351.079
AT ITER 5612 NEW BEST:: SOT 1990983 SOS 451140 HAS SOPS 309928 HAS SOUS 170125 HAS SOUPS 161887 WITH SCORE 162338.14
AT ITER 5685 NEW BEST:: SOT 1990976 SOS 451126 HAS SOPS 309907 HAS SOUS 170125 HAS SOUPS 161887 WITH SCORE 162338.126
AT ITER 5751 NEW BEST:: SOT 1990999 SOS 451220 HAS SOPS 309998 HAS SOUS 170077 HAS SOUPS 161839 WITH SCORE 162290.22
AT ITER 5785 NEW BEST:: SOT 1990979 SOS 451094 HAS SOPS 310056 HAS SOUS 169932 HAS SOUPS 161705 WITH SCORE 162156.094
AT ITER 5840 NEW BEST:: SOT 1990943 SOS 451271 HAS SOPS 310354 HAS SOUS 169685 HAS SOUPS 161469 WITH SCORE 161920.271
AT ITER 5857 NEW BEST:: SOT 1990999 SOS 451423 HAS SOPS 310562 HAS SOUS 169653 HAS SOUPS 161437 WITH SCORE 161888.423
AT ITER 5903 NEW BEST:: SOT 1991020 SOS 451511 HAS SOPS 310633 HAS SOUS 169607 HAS SOUPS 161391 WITH SCORE 161842.511
AT ITER 5953 NEW BEST:: SOT 1990838 SOS 451508 HAS SOPS 310375 HAS SOUS 169246 HAS SOUPS 161030 WITH SCORE 161481.508
AT ITER 5966 NEW BEST:: SOT 1990831 SOS 451499 HAS SOPS 310368 HAS SOUS 169237 HAS SOUPS 161023 WITH SCORE 161474.499
AT ITER 5997 NEW BEST:: SOT 1991469 SOS 452797 HAS SOPS 311658 HAS SOUS 169236 HAS SOUPS 161021 WITH SCORE 161473.797
AT ITER 6004 NEW BEST:: SOT 1991449 SOS 452771 HAS SOPS 311612 HAS SOUS 169201 HAS SOUPS 160985 WITH SCORE 161437.771
AT ITER 6045 NEW BEST:: SOT 1991445 SOS 452764 HAS SOPS 311604 HAS SOUS 169200 HAS SOUPS 160984 WITH SCORE 161436.764
AT ITER 6202 NEW BEST:: SOT 1991397 SOS 452760 HAS SOPS 311520 HAS SOUS 169112 HAS SOUPS 160896 WITH SCORE 161348.76
AT ITER 6212 NEW BEST:: SOT 1991628 SOS 453345 HAS SOPS 312105 HAS SOUS 169073 HAS SOUPS 160857 WITH SCORE 161310.345
AT ITER 6213 NEW BEST:: SOT 1991559 SOS 453234 HAS SOPS 312033 HAS SOUS 168920 HAS SOUPS 160707 WITH SCORE 161160.234
AT ITER 6290 NEW BEST:: SOT 1991609 SOS 453593 HAS SOPS 312385 HAS SOUS 168766 HAS SOUPS 160552 WITH SCORE 161005.593
AT ITER 6328 NEW BEST:: SOT 1990642 SOS 452419 HAS SOPS 312083 HAS SOUS 168586 HAS SOUPS 160373 WITH SCORE 160825.419
AT ITER 6357 NEW BEST:: SOT 1990566 SOS 452607 HAS SOPS 312195 HAS SOUS 168266 HAS SOUPS 160053 WITH SCORE 160505.607
AT ITER 6401 NEW BEST:: SOT 1990561 SOS 452662 HAS SOPS 312194 HAS SOUS 168204 HAS SOUPS 159991 WITH SCORE 160443.662
AT ITER 6437 NEW BEST:: SOT 1990637 SOS 452797 HAS SOPS 312454 HAS SOUS 168095 HAS SOUPS 159888 WITH SCORE 160340.797
AT ITER 6492 NEW BEST:: SOT 1990544 SOS 452660 HAS SOPS 312321 HAS SOUS 167899 HAS SOUPS 159699 WITH SCORE 160151.66
AT ITER 6538 NEW BEST:: SOT 1990932 SOS 453051 HAS SOPS 312459 HAS SOUS 167850 HAS SOUPS 159657 WITH SCORE 160110.051
AT ITER 6586 NEW BEST:: SOT 1991046 SOS 453559 HAS SOPS 312967 HAS SOUS 167612 HAS SOUPS 159419 WITH SCORE 159872.559
AT ITER 6691 NEW BEST:: SOT 1991034 SOS 453540 HAS SOPS 312955 HAS SOUS 167586 HAS SOUPS 159394 WITH SCORE 159847.54
AT ITER 6832 NEW BEST:: SOT 1990957 SOS 453399 HAS SOPS 312808 HAS SOUS 167573 HAS SOUPS 159381 WITH SCORE 159834.399
AT ITER 6901 NEW BEST:: SOT 1990984 SOS 453425 HAS SOPS 312711 HAS SOUS 167499 HAS SOUPS 159313 WITH SCORE 159766.425
AT ITER 6907 NEW BEST:: SOT 1990926 SOS 453315 HAS SOPS 312601 HAS SOUS 167493 HAS SOUPS 159307 WITH SCORE 159760.315
AT ITER 6919 NEW BEST:: SOT 1991012 SOS 453567 HAS SOPS 312939 HAS SOUS 167431 HAS SOUPS 159243 WITH SCORE 159696.567
AT ITER 6938 NEW BEST:: SOT 1991012 SOS 453556 HAS SOPS 312939 HAS SOUS 167420 HAS SOUPS 159243 WITH SCORE 159696.556
AT ITER 6978 NEW BEST:: SOT 1990919 SOS 453328 HAS SOPS 312846 HAS SOUS 167210 HAS SOUPS 159045 WITH SCORE 159498.328
AT ITER 6979 NEW BEST:: SOT 1990780 SOS 453305 HAS SOPS 312681 HAS SOUS 166963 HAS SOUPS 158798 WITH SCORE 159251.305
AT ITER 6993 NEW BEST:: SOT 1990772 SOS 453253 HAS SOPS 312663 HAS SOUS 166955 HAS SOUPS 158792 WITH SCORE 159245.253
AT ITER 7035 NEW BEST:: SOT 1990854 SOS 453329 HAS SOPS 312745 HAS SOUS 166917 HAS SOUPS 158760 WITH SCORE 159213.329
AT ITER 7052 NEW BEST:: SOT 1990848 SOS 453310 HAS SOPS 312739 HAS SOUS 166903 HAS SOUPS 158747 WITH SCORE 159200.31
AT ITER 7137 NEW BEST:: SOT 1990850 SOS 453443 HAS SOPS 312743 HAS SOUS 166816 HAS SOUPS 158658 WITH SCORE 159111.443
AT ITER 7139 NEW BEST:: SOT 1991026 SOS 453879 HAS SOPS 313179 HAS SOUS 166732 HAS SOUPS 158574 WITH SCORE 159027.879
AT ITER 7319 NEW BEST:: SOT 1991207 SOS 454483 HAS SOPS 313740 HAS SOUS 166553 HAS SOUPS 158392 WITH SCORE 158846.483
AT ITER 7368 NEW BEST:: SOT 1991279 SOS 454790 HAS SOPS 314004 HAS SOUS 166306 HAS SOUPS 158143 WITH SCORE 158597.79
AT ITER 7376 NEW BEST:: SOT 1991336 SOS 455010 HAS SOPS 314341 HAS SOUS 166181 HAS SOUPS 158019 WITH SCORE 158474.01
AT ITER 7687 NEW BEST:: SOT 1991707 SOS 455895 HAS SOPS 315170 HAS SOUS 166066 HAS SOUPS 157904 WITH SCORE 158359.895
AT ITER 7715 NEW BEST:: SOT 1991668 SOS 456030 HAS SOPS 315267 HAS SOUS 165874 HAS SOUPS 157712 WITH SCORE 158168.03
AT ITER 7772 NEW BEST:: SOT 1991400 SOS 455773 HAS SOPS 315063 HAS SOUS 165857 HAS SOUPS 157684 WITH SCORE 158139.773
AT ITER 7846 NEW BEST:: SOT 1991400 SOS 455771 HAS SOPS 315063 HAS SOUS 165855 HAS SOUPS 157684 WITH SCORE 158139.771
AT ITER 7896 NEW BEST:: SOT 1991369 SOS 455836 HAS SOPS 314934 HAS SOUS 165833 HAS SOUPS 157655 WITH SCORE 158110.836
AT ITER 7942 NEW BEST:: SOT 1991417 SOS 456166 HAS SOPS 315264 HAS SOUS 165767 HAS SOUPS 157589 WITH SCORE 158045.166
AT ITER 7996 NEW BEST:: SOT 1991376 SOS 456124 HAS SOPS 315235 HAS SOUS 165727 HAS SOUPS 157551 WITH SCORE 158007.124
AT ITER 8009 NEW BEST:: SOT 1991720 SOS 455284 HAS SOPS 314395 HAS SOUS 165545 HAS SOUPS 157369 WITH SCORE 157824.284
AT ITER 8112 NEW BEST:: SOT 1991741 SOS 455301 HAS SOPS 314446 HAS SOUS 165528 HAS SOUPS 157354 WITH SCORE 157809.301
AT ITER 8192 NEW BEST:: SOT 1991777 SOS 455391 HAS SOPS 314536 HAS SOUS 165510 HAS SOUPS 157336 WITH SCORE 157791.391
AT ITER 8300 NEW BEST:: SOT 1991972 SOS 455924 HAS SOPS 315061 HAS SOUS 165472 HAS SOUPS 157293 WITH SCORE 157748.924
AT ITER 8352 NEW BEST:: SOT 1991956 SOS 455695 HAS SOPS 315045 HAS SOUS 165459 HAS SOUPS 157290 WITH SCORE 157745.695
AT ITER 8396 NEW BEST:: SOT 1991965 SOS 455725 HAS SOPS 315074 HAS SOUS 165447 HAS SOUPS 157278 WITH SCORE 157733.725
AT ITER 8466 NEW BEST:: SOT 1991917 SOS 455641 HAS SOPS 314970 HAS SOUS 165435 HAS SOUPS 157266 WITH SCORE 157721.641
AT ITER 8715 NEW BEST:: SOT 1991967 SOS 455751 HAS SOPS 315080 HAS SOUS 165425 HAS SOUPS 157256 WITH SCORE 157711.751
AT ITER 8783 NEW BEST:: SOT 1992032 SOS 455944 HAS SOPS 315279 HAS SOUS 165378 HAS SOUPS 157209 WITH SCORE 157664.944
AT ITER 8788 NEW BEST:: SOT 1992997 SOS 457297 HAS SOPS 317440 HAS SOUS 165222 HAS SOUPS 157093 WITH SCORE 157550.297
AT ITER 8797 NEW BEST:: SOT 1993480 SOS 457910 HAS SOPS 317312 HAS SOUS 165110 HAS SOUPS 156960 WITH SCORE 157417.91
AT ITER 8935 NEW BEST:: SOT 1993462 SOS 457853 HAS SOPS 317294 HAS SOUS 165068 HAS SOUPS 156921 WITH SCORE 157378.853
AT ITER 8941 NEW BEST:: SOT 1993432 SOS 457775 HAS SOPS 317216 HAS SOUS 164960 HAS SOUPS 156813 WITH SCORE 157270.775
AT ITER 8987 NEW BEST:: SOT 1993405 SOS 457642 HAS SOPS 317189 HAS SOUS 164892 HAS SOUPS 156752 WITH SCORE 157209.642
AT ITER 9000 NEW BEST:: SOT 1993450 SOS 457777 HAS SOPS 317324 HAS SOUS 164847 HAS SOUPS 156707 WITH SCORE 157164.777
AT ITER 9035 NEW BEST:: SOT 1993796 SOS 458706 HAS SOPS 318248 HAS SOUS 164610 HAS SOUPS 156470 WITH SCORE 156928.706
AT ITER 9065 NEW BEST:: SOT 1993854 SOS 458976 HAS SOPS 318526 HAS SOUS 164540 HAS SOUPS 156400 WITH SCORE 156858.976
AT ITER 9183 NEW BEST:: SOT 1993803 SOS 458965 HAS SOPS 318437 HAS SOUS 164453 HAS SOUPS 156313 WITH SCORE 156771.965
AT ITER 9232 NEW BEST:: SOT 1993747 SOS 458929 HAS SOPS 318325 HAS SOUS 164377 HAS SOUPS 156237 WITH SCORE 156695.929
AT ITER 9303 NEW BEST:: SOT 1993730 SOS 458895 HAS SOPS 318308 HAS SOUS 164343 HAS SOUPS 156220 WITH SCORE 156678.895
AT ITER 9425 NEW BEST:: SOT 1993716 SOS 458867 HAS SOPS 318280 HAS SOUS 164343 HAS SOUPS 156220 WITH SCORE 156678.867
AT ITER 9442 NEW BEST:: SOT 1993673 SOS 458677 HAS SOPS 318211 HAS SOUS 164279 HAS SOUPS 156164 WITH SCORE 156622.677
AT ITER 9578 NEW BEST:: SOT 1993059 SOS 457304 HAS SOPS 316861 HAS SOUS 164172 HAS SOUPS 156065 WITH SCORE 156522.304
AT ITER 9596 NEW BEST:: SOT 1992990 SOS 457189 HAS SOPS 316810 HAS SOUS 164002 HAS SOUPS 155920 WITH SCORE 156377.189
AT ITER 9619 NEW BEST:: SOT 1993178 SOS 457760 HAS SOPS 317286 HAS SOUS 163975 HAS SOUPS 155885 WITH SCORE 156342.76
AT ITER 9793 NEW BEST:: SOT 1993016 SOS 457740 HAS SOPS 317266 HAS SOUS 163975 HAS SOUPS 155885 WITH SCORE 156342.74
AT ITER 9843 NEW BEST:: SOT 1993009 SOS 457702 HAS SOPS 317287 HAS SOUS 163936 HAS SOUPS 155849 WITH SCORE 156306.702
AT ITER 9869 NEW BEST:: SOT 1992998 SOS 457804 HAS SOPS 317390 HAS SOUS 163747 HAS SOUPS 155664 WITH SCORE 156121.804
AT ITER 9878 NEW BEST:: SOT 1992871 SOS 457497 HAS SOPS 317091 HAS SOUS 163653 HAS SOUPS 155575 WITH SCORE 156032.497
AT ITER 9931 NEW BEST:: SOT 1992117 SOS 456645 HAS SOPS 316959 HAS SOUS 163640 HAS SOUPS 155562 WITH SCORE 156018.645
STATE_SPACE STATES 24466267459 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 244662670640 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679172848717

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 407 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="TokenRing-COL-020"
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 TokenRing-COL-020, 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-167912695900600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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