Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...........................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Peterson-PT-6, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681200080
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Peterson-COL-6-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496278971508


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Peterson-PT-6: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Peterson-PT-6: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Peterson-PT-6 @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3360/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: finding significant places
lola: 1330 places, 2030 transitions, 1303 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3129 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-6-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5212 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 41022 variables and 130126 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 45094 fired transitions, 0 secs || 112309 markings, 195917 edges, 22462 markings/sec, 0 secs
lola: STP completed || 1 tries, 91542 fired transitions, 5 secs || 230118 markings, 403653 edges, 23562 markings/sec, 5 secs
lola: STP completed || 1 tries, 138986 fired transitions, 10 secs || 350281 markings, 614403 edges, 24033 markings/sec, 10 secs
lola: STP completed || 1 tries, 186706 fired transitions, 15 secs || 477463 markings, 842750 edges, 25436 markings/sec, 15 secs
lola: STP completed || 1 tries, 234567 fired transitions, 20 secs || 605767 markings, 1074868 edges, 25661 markings/sec, 20 secs
lola: STP completed || 1 tries, 282264 fired transitions, 25 secs || 735753 markings, 1310861 edges, 25997 markings/sec, 25 secs
lola: STP completed || 1 tries, 328283 fired transitions, 30 secs || 861437 markings, 1539443 edges, 25137 markings/sec, 30 secs
lola: STP completed || 1 tries, 376195 fired transitions, 35 secs || 975454 markings, 1737459 edges, 22803 markings/sec, 35 secs
lola: STP completed || 1 tries, 423933 fired transitions, 40 secs || 1096949 markings, 1953549 edges, 24299 markings/sec, 40 secs
lola: STP completed || 1 tries, 471737 fired transitions, 45 secs || 1221382 markings, 2174377 edges, 24887 markings/sec, 45 secs
lola: STP completed || 1 tries, 519416 fired transitions, 50 secs || 1342460 markings, 2395953 edges, 24216 markings/sec, 50 secs
lola: STP completed || 1 tries, 567172 fired transitions, 55 secs || 1465795 markings, 2615554 edges, 24667 markings/sec, 55 secs
lola: STP completed || 1 tries, 615003 fired transitions, 60 secs || 1591905 markings, 2842805 edges, 25222 markings/sec, 60 secs
lola: STP completed || 1 tries, 662568 fired transitions, 65 secs || 1720167 markings, 3073671 edges, 25652 markings/sec, 65 secs
lola: STP completed || 1 tries, 709601 fired transitions, 70 secs || 1847704 markings, 3307149 edges, 25507 markings/sec, 70 secs
lola: STP completed || 1 tries, 756299 fired transitions, 75 secs || 1969197 markings, 3527076 edges, 24299 markings/sec, 75 secs
lola: STP completed || 1 tries, 804197 fired transitions, 80 secs || 2072534 markings, 3710369 edges, 20667 markings/sec, 80 secs
lola: STP completed || 1 tries, 851029 fired transitions, 85 secs || 2194196 markings, 3928472 edges, 24332 markings/sec, 85 secs
lola: STP completed || 1 tries, 896865 fired transitions, 90 secs || 2318430 markings, 4152833 edges, 24847 markings/sec, 90 secs
lola: STP completed || 1 tries, 942561 fired transitions, 95 secs || 2433459 markings, 4356643 edges, 23006 markings/sec, 95 secs
lola: STP completed || 1 tries, 988106 fired transitions, 100 secs || 2560527 markings, 4589076 edges, 25414 markings/sec, 100 secs
lola: STP completed || 2 tries, 1034017 fired transitions, 105 secs || 2678447 markings, 4799377 edges, 23584 markings/sec, 105 secs
lola: STP completed || 2 tries, 1079954 fired transitions, 110 secs || 2790064 markings, 4994869 edges, 22323 markings/sec, 110 secs
lola: STP completed || 2 tries, 1125700 fired transitions, 115 secs || 2909716 markings, 5210990 edges, 23930 markings/sec, 115 secs
lola: STP completed || 2 tries, 1171460 fired transitions, 120 secs || 3024941 markings, 5414058 edges, 23045 markings/sec, 120 secs
lola: STP completed || 2 tries, 1217283 fired transitions, 125 secs || 3144063 markings, 5627856 edges, 23824 markings/sec, 125 secs
lola: STP completed || 2 tries, 1263133 fired transitions, 130 secs || 3263471 markings, 5840193 edges, 23882 markings/sec, 130 secs
lola: STP completed || 2 tries, 1309017 fired transitions, 135 secs || 3376426 markings, 6048024 edges, 22591 markings/sec, 135 secs
lola: STP completed || 2 tries, 1354941 fired transitions, 140 secs || 3496465 markings, 6262584 edges, 24008 markings/sec, 140 secs
lola: STP completed || 2 tries, 1400685 fired transitions, 145 secs || 3612110 markings, 6466451 edges, 23129 markings/sec, 145 secs
lola: STP completed || 2 tries, 1446400 fired transitions, 150 secs || 3731410 markings, 6683586 edges, 23860 markings/sec, 150 secs
lola: STP completed || 2 tries, 1492131 fired transitions, 155 secs || 3854670 markings, 6904927 edges, 24652 markings/sec, 155 secs
lola: STP completed || 2 tries, 1537920 fired transitions, 160 secs || 3968271 markings, 7107514 edges, 22720 markings/sec, 160 secs
lola: STP completed || 2 tries, 1583479 fired transitions, 165 secs || 4088092 markings, 7339009 edges, 23964 markings/sec, 165 secs
lola: STP completed || 2 tries, 1625982 fired transitions, 170 secs || 4183565 markings, 7529238 edges, 19095 markings/sec, 170 secs
lola: STP completed || 2 tries, 1667398 fired transitions, 175 secs || 4281459 markings, 7712296 edges, 19579 markings/sec, 175 secs
lola: STP completed || 2 tries, 1709229 fired transitions, 180 secs || 4388860 markings, 7901201 edges, 21480 markings/sec, 180 secs
lola: STP completed || 2 tries, 1751135 fired transitions, 185 secs || 4497046 markings, 8092227 edges, 21637 markings/sec, 185 secs
lola: STP completed || 2 tries, 1793000 fired transitions, 190 secs || 4607874 markings, 8288209 edges, 22166 markings/sec, 190 secs
lola: STP completed || 2 tries, 1834662 fired transitions, 195 secs || 4719807 markings, 8489023 edges, 22387 markings/sec, 195 secs
lola: STP completed || 2 tries, 1877277 fired transitions, 200 secs || 4833723 markings, 8694262 edges, 22783 markings/sec, 200 secs
lola: STP completed || 2 tries, 1917493 fired transitions, 205 secs || 4949411 markings, 8911488 edges, 23138 markings/sec, 205 secs
lola: STP completed || 2 tries, 1958930 fired transitions, 210 secs || 5053680 markings, 9096175 edges, 20854 markings/sec, 210 secs
lola: STP completed || 3 tries, 2000298 fired transitions, 215 secs || 5159452 markings, 9284701 edges, 21154 markings/sec, 215 secs
lola: STP completed || 3 tries, 2041607 fired transitions, 220 secs || 5264494 markings, 9470835 edges, 21008 markings/sec, 220 secs
lola: STP completed || 3 tries, 2082971 fired transitions, 225 secs || 5370345 markings, 9659621 edges, 21170 markings/sec, 225 secs
lola: STP completed || 3 tries, 2124390 fired transitions, 230 secs || 5474190 markings, 9843992 edges, 20769 markings/sec, 230 secs
lola: STP completed || 3 tries, 2166814 fired transitions, 235 secs || 5592852 markings, 10064057 edges, 23732 markings/sec, 235 secs
lola: STP completed || 3 tries, 2208751 fired transitions, 240 secs || 5688111 markings, 10246544 edges, 19052 markings/sec, 240 secs
lola: STP completed || 3 tries, 2251420 fired transitions, 245 secs || 5788793 markings, 10442067 edges, 20136 markings/sec, 245 secs
lola: STP completed || 3 tries, 2293997 fired transitions, 250 secs || 5881919 markings, 10618046 edges, 18625 markings/sec, 250 secs
lola: STP completed || 3 tries, 2336727 fired transitions, 255 secs || 5988791 markings, 10807536 edges, 21374 markings/sec, 255 secs
lola: STP completed || 3 tries, 2379261 fired transitions, 260 secs || 6098554 markings, 11003530 edges, 21953 markings/sec, 260 secs
lola: STP completed || 3 tries, 2422314 fired transitions, 265 secs || 6206804 markings, 11194694 edges, 21650 markings/sec, 265 secs
lola: STP completed || 3 tries, 2465353 fired transitions, 270 secs || 6317070 markings, 11392197 edges, 22053 markings/sec, 270 secs
lola: STP completed || 3 tries, 2508478 fired transitions, 275 secs || 6423695 markings, 11581553 edges, 21325 markings/sec, 275 secs
lola: STP completed || 3 tries, 2551672 fired transitions, 280 secs || 6531321 markings, 11773761 edges, 21525 markings/sec, 280 secs
lola: STP completed || 3 tries, 2594236 fired transitions, 285 secs || 6638428 markings, 11963582 edges, 21421 markings/sec, 285 secs
lola: STP completed || 3 tries, 2635923 fired transitions, 290 secs || 6750626 markings, 12164899 edges, 22440 markings/sec, 290 secs
lola: STP completed || 3 tries, 2677425 fired transitions, 295 secs || 6860124 markings, 12359099 edges, 21900 markings/sec, 295 secs
lola: STP completed || 3 tries, 2719172 fired transitions, 300 secs || 6973205 markings, 12563335 edges, 22616 markings/sec, 300 secs
lola: STP completed || 3 tries, 2761348 fired transitions, 305 secs || 7082321 markings, 12758121 edges, 21823 markings/sec, 305 secs
lola: STP completed || 3 tries, 2804393 fired transitions, 310 secs || 7192006 markings, 12961344 edges, 21937 markings/sec, 310 secs
lola: STP completed || 3 tries, 2847584 fired transitions, 315 secs || 7297682 markings, 13149049 edges, 21135 markings/sec, 315 secs
lola: STP completed || 3 tries, 2890735 fired transitions, 320 secs || 7406019 markings, 13341599 edges, 21667 markings/sec, 320 secs
lola: STP completed || 3 tries, 2934022 fired transitions, 325 secs || 7513812 markings, 13532137 edges, 21559 markings/sec, 325 secs
lola: STP completed || 3 tries, 2977145 fired transitions, 330 secs || 7626142 markings, 13735412 edges, 22466 markings/sec, 330 secs
lola: STP completed || 4 tries, 3020309 fired transitions, 335 secs || 7734199 markings, 13926625 edges, 21611 markings/sec, 335 secs
lola: STP completed || 4 tries, 3063642 fired transitions, 340 secs || 7855311 markings, 14155072 edges, 24222 markings/sec, 340 secs
lola: STP completed || 4 tries, 3106615 fired transitions, 345 secs || 7945458 markings, 14313444 edges, 18029 markings/sec, 345 secs
lola: STP completed || 4 tries, 3149786 fired transitions, 350 secs || 8056845 markings, 14511867 edges, 22277 markings/sec, 350 secs
lola: STP completed || 4 tries, 3192999 fired transitions, 355 secs || 8167897 markings, 14710752 edges, 22210 markings/sec, 355 secs
lola: STP completed || 4 tries, 3236039 fired transitions, 360 secs || 8278926 markings, 14909026 edges, 22206 markings/sec, 360 secs
lola: STP completed || 4 tries, 3279136 fired transitions, 365 secs || 8383366 markings, 15095898 edges, 20888 markings/sec, 365 secs
lola: STP completed || 4 tries, 3322455 fired transitions, 370 secs || 8492548 markings, 15291533 edges, 21836 markings/sec, 370 secs
lola: STP completed || 4 tries, 3365840 fired transitions, 375 secs || 8614648 markings, 15525970 edges, 24420 markings/sec, 375 secs
lola: STP completed || 4 tries, 3408744 fired transitions, 380 secs || 8711536 markings, 15715046 edges, 19378 markings/sec, 380 secs
lola: STP completed || 4 tries, 3451787 fired transitions, 385 secs || 8808809 markings, 15904656 edges, 19455 markings/sec, 385 secs
lola: STP completed || 4 tries, 3494624 fired transitions, 390 secs || 8899140 markings, 16087532 edges, 18066 markings/sec, 390 secs
lola: STP completed || 4 tries, 3537584 fired transitions, 395 secs || 8990076 markings, 16268834 edges, 18187 markings/sec, 395 secs
lola: STP completed || 4 tries, 3580651 fired transitions, 400 secs || 9095306 markings, 16465908 edges, 21046 markings/sec, 400 secs
lola: STP completed || 4 tries, 3623568 fired transitions, 405 secs || 9184515 markings, 16620137 edges, 17842 markings/sec, 405 secs
lola: STP completed || 4 tries, 3666761 fired transitions, 410 secs || 9301105 markings, 16831258 edges, 23318 markings/sec, 410 secs
lola: STP completed || 4 tries, 3709838 fired transitions, 415 secs || 9412036 markings, 17028579 edges, 22186 markings/sec, 415 secs
lola: STP completed || 4 tries, 3753136 fired transitions, 420 secs || 9523935 markings, 17230602 edges, 22380 markings/sec, 420 secs
lola: STP completed || 4 tries, 3796361 fired transitions, 425 secs || 9632657 markings, 17424500 edges, 21744 markings/sec, 425 secs
lola: STP completed || 4 tries, 3839523 fired transitions, 430 secs || 9742420 markings, 17618498 edges, 21953 markings/sec, 430 secs
lola: STP completed || 4 tries, 3882909 fired transitions, 435 secs || 9860932 markings, 17834344 edges, 23702 markings/sec, 435 secs
lola: STP completed || 4 tries, 3926145 fired transitions, 440 secs || 9978933 markings, 18050879 edges, 23600 markings/sec, 440 secs
lola: STP completed || 4 tries, 3969296 fired transitions, 445 secs || 10075921 markings, 18216151 edges, 19398 markings/sec, 445 secs
lola: STP completed || 5 tries, 4012720 fired transitions, 450 secs || 10199826 markings, 18446100 edges, 24781 markings/sec, 450 secs
lola: STP completed || 5 tries, 4055660 fired transitions, 455 secs || 10294146 markings, 18609338 edges, 18864 markings/sec, 455 secs
lola: STP completed || 5 tries, 4098970 fired transitions, 460 secs || 10418425 markings, 18837547 edges, 24856 markings/sec, 460 secs
lola: STP completed || 5 tries, 4141990 fired transitions, 465 secs || 10512714 markings, 18999592 edges, 18858 markings/sec, 465 secs
lola: STP completed || 5 tries, 4185173 fired transitions, 470 secs || 10619700 markings, 19192818 edges, 21397 markings/sec, 470 secs
lola: STP completed || 5 tries, 4228261 fired transitions, 475 secs || 10734636 markings, 19398375 edges, 22987 markings/sec, 475 secs
lola: STP completed || 5 tries, 4271353 fired transitions, 480 secs || 10844964 markings, 19595281 edges, 22066 markings/sec, 480 secs
lola: STP completed || 5 tries, 4314638 fired transitions, 485 secs || 10958006 markings, 19797611 edges, 22608 markings/sec, 485 secs
lola: STP completed || 5 tries, 4357818 fired transitions, 490 secs || 11069055 markings, 19997478 edges, 22210 markings/sec, 490 secs
lola: STP completed || 5 tries, 4400889 fired transitions, 495 secs || 11183749 markings, 20203474 edges, 22939 markings/sec, 495 secs
lola: STP completed || 5 tries, 4444075 fired transitions, 500 secs || 11293797 markings, 20399983 edges, 22010 markings/sec, 500 secs
lola: STP completed || 5 tries, 4487244 fired transitions, 505 secs || 11416615 markings, 20626651 edges, 24564 markings/sec, 505 secs
lola: STP completed || 5 tries, 4530369 fired transitions, 510 secs || 11527360 markings, 20825143 edges, 22149 markings/sec, 510 secs
lola: STP completed || 5 tries, 4573541 fired transitions, 515 secs || 11634930 markings, 21014732 edges, 21514 markings/sec, 515 secs
lola: STP completed || 5 tries, 4616706 fired transitions, 520 secs || 11748302 markings, 21220766 edges, 22674 markings/sec, 520 secs
lola: STP completed || 5 tries, 4659677 fired transitions, 525 secs || 11843783 markings, 21385352 edges, 19096 markings/sec, 525 secs
lola: STP completed || 5 tries, 4702830 fired transitions, 530 secs || 11955840 markings, 21586328 edges, 22411 markings/sec, 530 secs
lola: STP completed || 5 tries, 4745998 fired transitions, 535 secs || 12061209 markings, 21774357 edges, 21074 markings/sec, 535 secs
lola: STP completed || 5 tries, 4789119 fired transitions, 540 secs || 12173472 markings, 21973866 edges, 22453 markings/sec, 540 secs
lola: STP completed || 5 tries, 4832178 fired transitions, 545 secs || 12283678 markings, 22172442 edges, 22041 markings/sec, 545 secs
lola: STP completed || 5 tries, 4875279 fired transitions, 550 secs || 12395047 markings, 22370802 edges, 22274 markings/sec, 550 secs
lola: STP completed || 5 tries, 4918382 fired transitions, 555 secs || 12505537 markings, 22569411 edges, 22098 markings/sec, 555 secs
lola: STP completed || 5 tries, 4961476 fired transitions, 560 secs || 12614444 markings, 22764185 edges, 21781 markings/sec, 560 secs
lola: STP completed || 6 tries, 5004518 fired transitions, 565 secs || 12726491 markings, 22965013 edges, 22409 markings/sec, 565 secs
lola: STP completed || 6 tries, 5047602 fired transitions, 570 secs || 12839954 markings, 23170429 edges, 22693 markings/sec, 570 secs
lola: STP completed || 6 tries, 5090742 fired transitions, 575 secs || 12948387 markings, 23362130 edges, 21687 markings/sec, 575 secs
lola: STP completed || 6 tries, 5134088 fired transitions, 580 secs || 13068076 markings, 23582715 edges, 23938 markings/sec, 580 secs
lola: STP completed || 6 tries, 5177130 fired transitions, 585 secs || 13177750 markings, 23786619 edges, 21935 markings/sec, 585 secs
lola: STP completed || 6 tries, 5220222 fired transitions, 590 secs || 13269161 markings, 23949465 edges, 18282 markings/sec, 590 secs
lola: STP completed || 6 tries, 5263506 fired transitions, 595 secs || 13381560 markings, 24147904 edges, 22480 markings/sec, 595 secs
Killed
FORMULA Peterson-COL-6-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496279576412

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

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="S_Peterson-PT-6"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/S_Peterson-PT-6.tgz
mv S_Peterson-PT-6 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Peterson-PT-6, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-149441681200080"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;