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.r257-smll-167863532700434.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 marcie
Input is Parking-PT-432, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r257-smll-167863532700434
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 15:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 192K Mar 5 18:23 model.pnml

--------------------
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 Parking-PT-432-CTLFireability-00
FORMULA_NAME Parking-PT-432-CTLFireability-01
FORMULA_NAME Parking-PT-432-CTLFireability-02
FORMULA_NAME Parking-PT-432-CTLFireability-03
FORMULA_NAME Parking-PT-432-CTLFireability-04
FORMULA_NAME Parking-PT-432-CTLFireability-05
FORMULA_NAME Parking-PT-432-CTLFireability-06
FORMULA_NAME Parking-PT-432-CTLFireability-07
FORMULA_NAME Parking-PT-432-CTLFireability-08
FORMULA_NAME Parking-PT-432-CTLFireability-09
FORMULA_NAME Parking-PT-432-CTLFireability-10
FORMULA_NAME Parking-PT-432-CTLFireability-11
FORMULA_NAME Parking-PT-432-CTLFireability-12
FORMULA_NAME Parking-PT-432-CTLFireability-13
FORMULA_NAME Parking-PT-432-CTLFireability-14
FORMULA_NAME Parking-PT-432-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1678845824200

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=marcie
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Parking-PT-432
Not applying reductions.
Model is PT
CTLFireability PT
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --memory=6 --mcc-mode

parse successfull
net created successfully

Net: Parking_PT_432
(NrP: 529 NrTr: 785 NrArc: 2329)

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.045sec

net check time: 0m 0.000sec

init dd package: 0m 3.501sec


RS generation: 3m20.387sec


-> reachability set: #nodes 486304 (4.9e+05) #states 367,024,772,332,339,365,247,161,074,712,577 (32)



starting MCC model checker
--------------------------

checking: EF [AG [IS_FIREABLE [t220]]]
normalized: E [true U ~ [E [true U ~ [IS_FIREABLE [t220]]]]]

-> the formula is FALSE

FORMULA Parking-PT-432-CTLFireability-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 1m53.215sec

checking: AG [AF [A [IS_FIREABLE [t375] U EG [~ [IS_FIREABLE [t675]]]]]]
normalized: ~ [E [true U EG [~ [[~ [EG [~ [EG [~ [IS_FIREABLE [t675]]]]]] & ~ [E [~ [EG [~ [IS_FIREABLE [t675]]]] U [~ [EG [~ [IS_FIREABLE [t675]]]] & ~ [IS_FIREABLE [t375]]]]]]]]]]


before gc: list nodes free: 807923

after gc: idd nodes used:1151562, unused:62848438; list nodes free:277989337
.MC time: 3m39.797sec

checking: AG [AF [~ [[~ [AG [IS_FIREABLE [t760]]] & IS_FIREABLE [t218]]]]]
normalized: ~ [E [true U EG [[IS_FIREABLE [t218] & E [true U ~ [IS_FIREABLE [t760]]]]]]]


before gc: list nodes free: 1985011

after gc: idd nodes used:1680476, unused:62319524; list nodes free:277817792
MC time: 3m25.085sec

checking: AG [~ [[~ [AF [EG [IS_FIREABLE [t238]]]] & EF [IS_FIREABLE [t211]]]]]
normalized: ~ [E [true U [EG [~ [EG [IS_FIREABLE [t238]]]] & E [true U IS_FIREABLE [t211]]]]]

MC time: 3m11.372sec

checking: AG [~ [[AF [EG [E [IS_FIREABLE [t468] U IS_FIREABLE [t71]]]] | EG [EF [IS_FIREABLE [t723]]]]]]
normalized: ~ [E [true U [EG [E [true U IS_FIREABLE [t723]]] | ~ [EG [~ [EG [E [IS_FIREABLE [t468] U IS_FIREABLE [t71]]]]]]]]]

..
before gc: list nodes free: 3261030

after gc: idd nodes used:1000189, unused:62999811; list nodes free:280825823
.....MC time: 2m58.009sec

checking: EG [~ [EX [AG [[[IS_FIREABLE [t378] & IS_FIREABLE [t701]] | AG [IS_FIREABLE [t722]]]]]]]
normalized: EG [~ [EX [~ [E [true U ~ [[~ [E [true U ~ [IS_FIREABLE [t722]]]] | [IS_FIREABLE [t378] & IS_FIREABLE [t701]]]]]]]]]

.
EG iterations: 0
-> the formula is TRUE

FORMULA Parking-PT-432-CTLFireability-08 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m40.308sec

checking: ~ [E [~ [IS_FIREABLE [t14]] U ~ [EF [E [EF [IS_FIREABLE [t669]] U ~ [IS_FIREABLE [t366]]]]]]]
normalized: ~ [E [~ [IS_FIREABLE [t14]] U ~ [E [true U E [E [true U IS_FIREABLE [t669]] U ~ [IS_FIREABLE [t366]]]]]]]


before gc: list nodes free: 3686027

after gc: idd nodes used:968054, unused:63031946; list nodes free:280934318
MC time: 2m47.024sec

checking: A [[~ [EX [AX [E [IS_FIREABLE [t315] U IS_FIREABLE [t98]]]]] | IS_FIREABLE [t732]] U IS_FIREABLE [t518]]
normalized: [~ [EG [~ [IS_FIREABLE [t518]]]] & ~ [E [~ [IS_FIREABLE [t518]] U [~ [[IS_FIREABLE [t732] | ~ [EX [~ [EX [~ [E [IS_FIREABLE [t315] U IS_FIREABLE [t98]]]]]]]]] & ~ [IS_FIREABLE [t518]]]]]]

MC time: 2m35.216sec

checking: ~ [EF [~ [AX [[[IS_FIREABLE [t357] & [IS_FIREABLE [t767] & IS_FIREABLE [t746]]] | [~ [IS_FIREABLE [t708]] | IS_FIREABLE [t319]]]]]]]
normalized: ~ [E [true U EX [~ [[[IS_FIREABLE [t319] | ~ [IS_FIREABLE [t708]]] | [IS_FIREABLE [t357] & [IS_FIREABLE [t767] & IS_FIREABLE [t746]]]]]]]]

.
before gc: list nodes free: 1093243

after gc: idd nodes used:1034672, unused:62965328; list nodes free:280661612
MC time: 2m24.254sec

checking: EF [[~ [[AF [IS_FIREABLE [t546]] | A [[EG [IS_FIREABLE [t496]] & AF [IS_FIREABLE [t457]]] U IS_FIREABLE [t172]]]] | AF [EG [~ [IS_FIREABLE [t349]]]]]]
normalized: E [true U [~ [EG [~ [EG [~ [IS_FIREABLE [t349]]]]]] | ~ [[[~ [EG [~ [IS_FIREABLE [t172]]]] & ~ [E [~ [IS_FIREABLE [t172]] U [~ [[~ [EG [~ [IS_FIREABLE [t457]]]] & EG [IS_FIREABLE [t496]]]] & ~ [IS_FIREABLE [t172]]]]]] | ~ [EG [~ [IS_FIREABLE [t546]]]]]]]]

.MC time: 2m14.404sec

checking: AG [A [IS_FIREABLE [t291] U EF [[[EG [IS_FIREABLE [t216]] | [IS_FIREABLE [t139] | IS_FIREABLE [t267]]] | IS_FIREABLE [t300]]]]]
normalized: ~ [E [true U ~ [[~ [EG [~ [E [true U [IS_FIREABLE [t300] | [[IS_FIREABLE [t139] | IS_FIREABLE [t267]] | EG [IS_FIREABLE [t216]]]]]]]] & ~ [E [~ [E [true U [IS_FIREABLE [t300] | [[IS_FIREABLE [t139] | IS_FIREABLE [t267]] | EG [IS_FIREABLE [t216]]]]]] U [~ [IS_FIREABLE [t291]] & ~ [E [true U [IS_FIREABLE [t300] | [[IS_FIREABLE [t139] | IS_FIREABLE [t267]] | EG [IS_FIREABLE [t216]]]]]]]]]]]]]


before gc: list nodes free: 2491056

after gc: idd nodes used:1321703, unused:62678297; list nodes free:279397980
MC time: 2m 4.133sec

checking: EG [[AF [AF [AG [IS_FIREABLE [t742]]]] & [AG [AG [~ [IS_FIREABLE [t744]]]] | E [IS_FIREABLE [t641] U [~ [[IS_FIREABLE [t467] & IS_FIREABLE [t85]]] & AG [IS_FIREABLE [t491]]]]]]]
normalized: EG [[[E [IS_FIREABLE [t641] U [~ [E [true U ~ [IS_FIREABLE [t491]]]] & ~ [[IS_FIREABLE [t467] & IS_FIREABLE [t85]]]]] | ~ [E [true U E [true U IS_FIREABLE [t744]]]]] & ~ [EG [EG [E [true U ~ [IS_FIREABLE [t742]]]]]]]]

MC time: 1m55.391sec

checking: ~ [EG [[[~ [EG [~ [IS_FIREABLE [t506]]]] & EX [AF [IS_FIREABLE [t340]]]] & [E [EF [IS_FIREABLE [t254]] U EX [IS_FIREABLE [t573]]] & ~ [[IS_FIREABLE [t122] | [IS_FIREABLE [t250] | EG [IS_FIREABLE [t485]]]]]]]]]
normalized: ~ [EG [[[~ [[IS_FIREABLE [t122] | [IS_FIREABLE [t250] | EG [IS_FIREABLE [t485]]]]] & E [E [true U IS_FIREABLE [t254]] U EX [IS_FIREABLE [t573]]]] & [EX [~ [EG [~ [IS_FIREABLE [t340]]]]] & ~ [EG [~ [IS_FIREABLE [t506]]]]]]]]


before gc: list nodes free: 2677180

after gc: idd nodes used:1357557, unused:62642443; list nodes free:279234785
MC time: 1m47.010sec

checking: A [EF [AF [EF [[IS_FIREABLE [t518] & IS_FIREABLE [t689]]]]] U [EG [[[~ [A [IS_FIREABLE [t618] U IS_FIREABLE [t765]]] | [IS_FIREABLE [t784] & [IS_FIREABLE [t613] | IS_FIREABLE [t381]]]] & AG [EF [IS_FIREABLE [t438]]]]] & ~ [IS_FIREABLE [t472]]]]
normalized: [~ [EG [~ [[~ [IS_FIREABLE [t472]] & EG [[~ [E [true U ~ [E [true U IS_FIREABLE [t438]]]]] & [[IS_FIREABLE [t784] & [IS_FIREABLE [t613] | IS_FIREABLE [t381]]] | ~ [[~ [EG [~ [IS_FIREABLE [t765]]]] & ~ [E [~ [IS_FIREABLE [t765]] U [~ [IS_FIREABLE [t618]] & ~ [IS_FIREABLE [t765]]]]]]]]]]]]]] & ~ [E [~ [[~ [IS_FIREABLE [t472]] & EG [[~ [E [true U ~ [E [true U IS_FIREABLE [t438]]]]] & [[IS_FIREABLE [t784] & [IS_FIREABLE [t613] | IS_FIREABLE [t381]]] | ~ [[~ [EG [~ [IS_FIREABLE [t765]]]] & ~ [E [~ [IS_FIREABLE [t765]] U [~ [IS_FIREABLE [t618]] & ~ [IS_FIREABLE [t765]]]]]]]]]]]] U [~ [E [true U ~ [EG [~ [E [true U [IS_FIREABLE [t518] & IS_FIREABLE [t689]]]]]]]] & ~ [[~ [IS_FIREABLE [t472]] & EG [[~ [E [true U ~ [E [true U IS_FIREABLE [t438]]]]] & [[IS_FIREABLE [t784] & [IS_FIREABLE [t613] | IS_FIREABLE [t381]]] | ~ [[~ [EG [~ [IS_FIREABLE [t765]]]] & ~ [E [~ [IS_FIREABLE [t765]] U [~ [IS_FIREABLE [t618]] & ~ [IS_FIREABLE [t765]]]]]]]]]]]]]]]]

MC time: 1m39.003sec

checking: EX [[AG [[EF [IS_FIREABLE [t121]] | AX [EG [IS_FIREABLE [t144]]]]] & ~ [[A [[AG [IS_FIREABLE [t270]] | IS_FIREABLE [t553]] U AF [IS_FIREABLE [t774]]] & [[[IS_FIREABLE [t137] & [IS_FIREABLE [t204] & IS_FIREABLE [t361]]] | AF [IS_FIREABLE [t679]]] & IS_FIREABLE [t604]]]]]]
normalized: EX [[~ [[[IS_FIREABLE [t604] & [~ [EG [~ [IS_FIREABLE [t679]]]] | [IS_FIREABLE [t137] & [IS_FIREABLE [t204] & IS_FIREABLE [t361]]]]] & [~ [EG [EG [~ [IS_FIREABLE [t774]]]]] & ~ [E [EG [~ [IS_FIREABLE [t774]]] U [~ [[IS_FIREABLE [t553] | ~ [E [true U ~ [IS_FIREABLE [t270]]]]]] & EG [~ [IS_FIREABLE [t774]]]]]]]]] & ~ [E [true U ~ [[~ [EX [~ [EG [IS_FIREABLE [t144]]]]] | E [true U IS_FIREABLE [t121]]]]]]]]

MC time: 1m32.007sec

checking: [AX [[[EX [[~ [IS_FIREABLE [t9]] & [IS_FIREABLE [t635] & IS_FIREABLE [t294]]]] | IS_FIREABLE [t297]] | EG [~ [E [IS_FIREABLE [t203] U IS_FIREABLE [t580]]]]]] | A [[IS_FIREABLE [t248] & AX [IS_FIREABLE [t5]]] U AG [[[EX [IS_FIREABLE [t617]] & E [IS_FIREABLE [t703] U IS_FIREABLE [t741]]] | AG [~ [IS_FIREABLE [t176]]]]]]]
normalized: [[~ [EG [E [true U ~ [[~ [E [true U IS_FIREABLE [t176]]] | [E [IS_FIREABLE [t703] U IS_FIREABLE [t741]] & EX [IS_FIREABLE [t617]]]]]]]] & ~ [E [E [true U ~ [[~ [E [true U IS_FIREABLE [t176]]] | [E [IS_FIREABLE [t703] U IS_FIREABLE [t741]] & EX [IS_FIREABLE [t617]]]]]] U [~ [[IS_FIREABLE [t248] & ~ [EX [~ [IS_FIREABLE [t5]]]]]] & E [true U ~ [[~ [E [true U IS_FIREABLE [t176]]] | [E [IS_FIREABLE [t703] U IS_FIREABLE [t741]] & EX [IS_FIREABLE [t617]]]]]]]]]] | ~ [EX [~ [[EG [~ [E [IS_FIREABLE [t203] U IS_FIREABLE [t580]]]] | [IS_FIREABLE [t297] | EX [[[IS_FIREABLE [t635] & IS_FIREABLE [t294]] & ~ [IS_FIREABLE [t9]]]]]]]]]]

.MC time: 1m25.001sec

checking: AG [AF [A [IS_FIREABLE [t375] U EG [~ [IS_FIREABLE [t675]]]]]]
normalized: ~ [E [true U EG [~ [[~ [EG [~ [EG [~ [IS_FIREABLE [t675]]]]]] & ~ [E [~ [EG [~ [IS_FIREABLE [t675]]]] U [~ [IS_FIREABLE [t375]] & ~ [EG [~ [IS_FIREABLE [t675]]]]]]]]]]]]


before gc: list nodes free: 2413064

after gc: idd nodes used:1311299, unused:62688701; list nodes free:279405338
.
EG iterations: 1
.
EG iterations: 1
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6259324 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16179120 kB

BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.005sec


iterations count:29601 (37), effective:1063 (1)

initing FirstDep: 0m 0.005sec


iterations count:786 (1), effective:1 (0)

ctl_mc.icc:221: Timeout: after 218 sec


iterations count:842 (1), effective:1 (0)

net_ddint.h:600: Timeout: after 204 sec


sat_reach.icc:155: Timeout: after 190 sec


iterations count:785 (1), effective:0 (0)

net_ddint.h:600: Timeout: after 177 sec


iterations count:800 (1), effective:1 (0)

iterations count:790 (1), effective:1 (0)

sat_reach.icc:155: Timeout: after 166 sec


sat_reach.icc:155: Timeout: after 154 sec


sat_reach.icc:155: Timeout: after 143 sec


ctl_mc.icc:221: Timeout: after 132 sec


net_ddint.h:600: Timeout: after 123 sec


sat_reach.icc:155: Timeout: after 114 sec


net_ddint.h:600: Timeout: after 106 sec


sat_reach.icc:155: Timeout: after 98 sec


sat_reach.icc:155: Timeout: after 91 sec


sat_reach.icc:155: Timeout: after 84 sec


iterations count:789 (1), effective:1 (0)

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="Parking-PT-432"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
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 marcie"
echo " Input is Parking-PT-432, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r257-smll-167863532700434"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-432.tgz
mv Parking-PT-432 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;