Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469100200.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-050B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 3.8K May 14 00:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 00:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 18:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 07:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 846K May 12 20:42 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 1590439072004

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 050B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3003 places, 2953 transitions, 8906 arcs.
AT ITER 0 NEW BEST:: SOT 4494528 SOS 172092 HAS SOPS 172092 HAS SOUS 144600 HAS SOUPS 144600 WITH SCORE 144772.092
AT ITER 27 NEW BEST:: SOT 4494554 SOS 172118 HAS SOPS 172118 HAS SOUS 144580 HAS SOUPS 144580 WITH SCORE 144752.118
AT ITER 96 NEW BEST:: SOT 4494514 SOS 172078 HAS SOPS 172078 HAS SOUS 144540 HAS SOUPS 144540 WITH SCORE 144712.078
AT ITER 177 NEW BEST:: SOT 4494473 SOS 172088 HAS SOPS 172088 HAS SOUS 144529 HAS SOUPS 144529 WITH SCORE 144701.088
AT ITER 247 NEW BEST:: SOT 4494473 SOS 172058 HAS SOPS 172058 HAS SOUS 144499 HAS SOUPS 144499 WITH SCORE 144671.058
AT ITER 386 NEW BEST:: SOT 4494462 SOS 172001 HAS SOPS 172001 HAS SOUS 144495 HAS SOUPS 144495 WITH SCORE 144667.001
AT ITER 450 NEW BEST:: SOT 4494466 SOS 172005 HAS SOPS 172005 HAS SOUS 144493 HAS SOUPS 144493 WITH SCORE 144665.005
AT ITER 585 NEW BEST:: SOT 4494365 SOS 172016 HAS SOPS 172016 HAS SOUS 144473 HAS SOUPS 144473 WITH SCORE 144645.016
AT ITER 777 NEW BEST:: SOT 4494365 SOS 172036 HAS SOPS 172036 HAS SOUS 144453 HAS SOUPS 144453 WITH SCORE 144625.036
AT ITER 854 NEW BEST:: SOT 4494314 SOS 172024 HAS SOPS 172024 HAS SOUS 144433 HAS SOUPS 144433 WITH SCORE 144605.024
AT ITER 1252 NEW BEST:: SOT 4494323 SOS 172032 HAS SOPS 172032 HAS SOUS 144432 HAS SOUPS 144432 WITH SCORE 144604.032
AT ITER 1269 NEW BEST:: SOT 4494328 SOS 171928 HAS SOPS 171928 HAS SOUS 144399 HAS SOUPS 144399 WITH SCORE 144570.928
AT ITER 1653 NEW BEST:: SOT 4494314 SOS 171900 HAS SOPS 171900 HAS SOUS 144371 HAS SOUPS 144371 WITH SCORE 144542.9
AT ITER 1784 NEW BEST:: SOT 4494235 SOS 171848 HAS SOPS 171848 HAS SOUS 144319 HAS SOUPS 144319 WITH SCORE 144490.848
AT ITER 1800 NEW BEST:: SOT 4494235 SOS 171847 HAS SOPS 171847 HAS SOUS 144318 HAS SOUPS 144318 WITH SCORE 144489.847
AT ITER 2002 NEW BEST:: SOT 4494199 SOS 171793 HAS SOPS 171793 HAS SOUS 144281 HAS SOUPS 144281 WITH SCORE 144452.793
AT ITER 2020 NEW BEST:: SOT 4494070 SOS 171643 HAS SOPS 171643 HAS SOUS 144131 HAS SOUPS 144131 WITH SCORE 144302.643
AT ITER 2128 NEW BEST:: SOT 4494062 SOS 171627 HAS SOPS 171627 HAS SOUS 144123 HAS SOUPS 144123 WITH SCORE 144294.627
AT ITER 2170 NEW BEST:: SOT 4494085 SOS 171626 HAS SOPS 171626 HAS SOUS 144122 HAS SOUPS 144122 WITH SCORE 144293.626
AT ITER 2503 NEW BEST:: SOT 4494064 SOS 171606 HAS SOPS 171606 HAS SOUS 144100 HAS SOUPS 144100 WITH SCORE 144271.606
AT ITER 2530 NEW BEST:: SOT 4494064 SOS 171575 HAS SOPS 171575 HAS SOUS 144090 HAS SOUPS 144090 WITH SCORE 144261.575
AT ITER 2701 NEW BEST:: SOT 4494063 SOS 171528 HAS SOPS 171528 HAS SOUS 144066 HAS SOUPS 144066 WITH SCORE 144237.528
AT ITER 2749 NEW BEST:: SOT 4494057 SOS 171421 HAS SOPS 171421 HAS SOUS 144042 HAS SOUPS 144042 WITH SCORE 144213.421
AT ITER 2846 NEW BEST:: SOT 4494066 SOS 171375 HAS SOPS 171375 HAS SOUS 144029 HAS SOUPS 144029 WITH SCORE 144200.375
AT ITER 3033 NEW BEST:: SOT 4494066 SOS 171385 HAS SOPS 171385 HAS SOUS 144024 HAS SOUPS 144024 WITH SCORE 144195.385
AT ITER 3278 NEW BEST:: SOT 4494034 SOS 171197 HAS SOPS 171197 HAS SOUS 143990 HAS SOUPS 143990 WITH SCORE 144161.197
AT ITER 3308 NEW BEST:: SOT 4494011 SOS 171174 HAS SOPS 171174 HAS SOUS 143967 HAS SOUPS 143967 WITH SCORE 144138.174
AT ITER 3392 NEW BEST:: SOT 4493981 SOS 171206 HAS SOPS 171206 HAS SOUS 143937 HAS SOUPS 143937 WITH SCORE 144108.206
AT ITER 3667 NEW BEST:: SOT 4493981 SOS 171190 HAS SOPS 171190 HAS SOUS 143921 HAS SOUPS 143921 WITH SCORE 144092.19
AT ITER 3771 NEW BEST:: SOT 4493961 SOS 171222 HAS SOPS 171222 HAS SOUS 143862 HAS SOUPS 143862 WITH SCORE 144033.222
AT ITER 3784 NEW BEST:: SOT 4493961 SOS 171238 HAS SOPS 171238 HAS SOUS 143846 HAS SOUPS 143846 WITH SCORE 144017.238
AT ITER 3798 NEW BEST:: SOT 4493940 SOS 171217 HAS SOPS 171217 HAS SOUS 143823 HAS SOUPS 143823 WITH SCORE 143994.217
AT ITER 3880 NEW BEST:: SOT 4493903 SOS 171081 HAS SOPS 171081 HAS SOUS 143787 HAS SOUPS 143787 WITH SCORE 143958.081
AT ITER 3973 NEW BEST:: SOT 4493903 SOS 171107 HAS SOPS 171107 HAS SOUS 143783 HAS SOUPS 143783 WITH SCORE 143954.107
AT ITER 4019 NEW BEST:: SOT 4493823 SOS 171027 HAS SOPS 171027 HAS SOUS 143703 HAS SOUPS 143703 WITH SCORE 143874.027
AT ITER 4036 NEW BEST:: SOT 4493839 SOS 171084 HAS SOPS 171084 HAS SOUS 143694 HAS SOUPS 143694 WITH SCORE 143865.084
AT ITER 4106 NEW BEST:: SOT 4493792 SOS 171246 HAS SOPS 171246 HAS SOUS 143684 HAS SOUPS 143684 WITH SCORE 143855.246
AT ITER 4236 NEW BEST:: SOT 4493751 SOS 171180 HAS SOPS 171180 HAS SOUS 143643 HAS SOUPS 143643 WITH SCORE 143814.18
AT ITER 4248 NEW BEST:: SOT 4493751 SOS 171179 HAS SOPS 171179 HAS SOUS 143642 HAS SOUPS 143642 WITH SCORE 143813.179
AT ITER 4303 NEW BEST:: SOT 4493751 SOS 171175 HAS SOPS 171175 HAS SOUS 143638 HAS SOUPS 143638 WITH SCORE 143809.175
AT ITER 4311 NEW BEST:: SOT 4493731 SOS 171174 HAS SOPS 171174 HAS SOUS 143617 HAS SOUPS 143617 WITH SCORE 143788.174
AT ITER 4454 NEW BEST:: SOT 4493731 SOS 171173 HAS SOPS 171173 HAS SOUS 143616 HAS SOUPS 143616 WITH SCORE 143787.173
AT ITER 4546 NEW BEST:: SOT 4493731 SOS 171172 HAS SOPS 171172 HAS SOUS 143615 HAS SOUPS 143615 WITH SCORE 143786.172
AT ITER 4610 NEW BEST:: SOT 4493681 SOS 171178 HAS SOPS 171178 HAS SOUS 143607 HAS SOUPS 143607 WITH SCORE 143778.178
AT ITER 4926 NEW BEST:: SOT 4493671 SOS 171176 HAS SOPS 171176 HAS SOUS 143606 HAS SOUPS 143606 WITH SCORE 143777.176
AT ITER 5018 NEW BEST:: SOT 4493521 SOS 171072 HAS SOPS 171072 HAS SOUS 143502 HAS SOUPS 143502 WITH SCORE 143673.072
AT ITER 5079 NEW BEST:: SOT 4493539 SOS 170900 HAS SOPS 170900 HAS SOUS 143470 HAS SOUPS 143470 WITH SCORE 143640.9
AT ITER 5175 NEW BEST:: SOT 4493537 SOS 170891 HAS SOPS 170891 HAS SOUS 143468 HAS SOUPS 143468 WITH SCORE 143638.891
AT ITER 5430 NEW BEST:: SOT 4493525 SOS 170867 HAS SOPS 170867 HAS SOUS 143444 HAS SOUPS 143444 WITH SCORE 143614.867
AT ITER 5521 NEW BEST:: SOT 4493525 SOS 170866 HAS SOPS 170866 HAS SOUS 143443 HAS SOUPS 143443 WITH SCORE 143613.866
AT ITER 5556 NEW BEST:: SOT 4493525 SOS 170865 HAS SOPS 170865 HAS SOUS 143442 HAS SOUPS 143442 WITH SCORE 143612.865
AT ITER 6094 NEW BEST:: SOT 4493419 SOS 170653 HAS SOPS 170653 HAS SOUS 143281 HAS SOUPS 143281 WITH SCORE 143451.653
AT ITER 6148 NEW BEST:: SOT 4493393 SOS 170651 HAS SOPS 170651 HAS SOUS 143279 HAS SOUPS 143279 WITH SCORE 143449.651
AT ITER 6387 NEW BEST:: SOT 4493325 SOS 170477 HAS SOPS 170477 HAS SOUS 143207 HAS SOUPS 143207 WITH SCORE 143377.477
AT ITER 6539 NEW BEST:: SOT 4493341 SOS 170505 HAS SOPS 170505 HAS SOUS 143203 HAS SOUPS 143203 WITH SCORE 143373.505
AT ITER 6660 NEW BEST:: SOT 4493302 SOS 170514 HAS SOPS 170514 HAS SOUS 143194 HAS SOUPS 143194 WITH SCORE 143364.514
AT ITER 6665 NEW BEST:: SOT 4493286 SOS 170504 HAS SOPS 170504 HAS SOUS 143184 HAS SOUPS 143184 WITH SCORE 143354.504
AT ITER 6694 NEW BEST:: SOT 4493258 SOS 170448 HAS SOPS 170448 HAS SOUS 143128 HAS SOUPS 143128 WITH SCORE 143298.448
AT ITER 7064 NEW BEST:: SOT 4493285 SOS 170569 HAS SOPS 170569 HAS SOUS 143109 HAS SOUPS 143109 WITH SCORE 143279.569
AT ITER 7174 NEW BEST:: SOT 4493262 SOS 170525 HAS SOPS 170525 HAS SOUS 143053 HAS SOUPS 143053 WITH SCORE 143223.525
AT ITER 7419 NEW BEST:: SOT 4493230 SOS 170493 HAS SOPS 170493 HAS SOUS 143021 HAS SOUPS 143021 WITH SCORE 143191.493
AT ITER 7460 NEW BEST:: SOT 4493227 SOS 170489 HAS SOPS 170489 HAS SOUS 143017 HAS SOUPS 143017 WITH SCORE 143187.489
AT ITER 7482 NEW BEST:: SOT 4493215 SOS 170465 HAS SOPS 170465 HAS SOUS 142993 HAS SOUPS 142993 WITH SCORE 143163.465
AT ITER 7651 NEW BEST:: SOT 4493187 SOS 170465 HAS SOPS 170465 HAS SOUS 142965 HAS SOUPS 142965 WITH SCORE 143135.465
AT ITER 7755 NEW BEST:: SOT 4493174 SOS 170286 HAS SOPS 170286 HAS SOUS 142889 HAS SOUPS 142889 WITH SCORE 143059.286
AT ITER 7825 NEW BEST:: SOT 4493136 SOS 170248 HAS SOPS 170248 HAS SOUS 142851 HAS SOUPS 142851 WITH SCORE 143021.248
AT ITER 8010 NEW BEST:: SOT 4493119 SOS 170256 HAS SOPS 170256 HAS SOUS 142834 HAS SOUPS 142834 WITH SCORE 143004.256
AT ITER 8425 NEW BEST:: SOT 4493119 SOS 170261 HAS SOPS 170261 HAS SOUS 142829 HAS SOUPS 142829 WITH SCORE 142999.261
AT ITER 8523 NEW BEST:: SOT 4493115 SOS 170257 HAS SOPS 170257 HAS SOUS 142821 HAS SOUPS 142821 WITH SCORE 142991.257
AT ITER 8712 NEW BEST:: SOT 4493121 SOS 170270 HAS SOPS 170270 HAS SOUS 142820 HAS SOUPS 142820 WITH SCORE 142990.27
AT ITER 8822 NEW BEST:: SOT 4493107 SOS 170242 HAS SOPS 170242 HAS SOUS 142792 HAS SOUPS 142792 WITH SCORE 142962.242
AT ITER 8919 NEW BEST:: SOT 4493084 SOS 170239 HAS SOPS 170239 HAS SOUS 142789 HAS SOUPS 142789 WITH SCORE 142959.239
AT ITER 8930 NEW BEST:: SOT 4493084 SOS 170238 HAS SOPS 170238 HAS SOUS 142788 HAS SOUPS 142788 WITH SCORE 142958.238
AT ITER 9018 NEW BEST:: SOT 4493083 SOS 170237 HAS SOPS 170237 HAS SOUS 142787 HAS SOUPS 142787 WITH SCORE 142957.237
AT ITER 9025 NEW BEST:: SOT 4493065 SOS 170203 HAS SOPS 170203 HAS SOUS 142741 HAS SOUPS 142741 WITH SCORE 142911.203
AT ITER 9153 NEW BEST:: SOT 4493066 SOS 170187 HAS SOPS 170187 HAS SOUS 142725 HAS SOUPS 142725 WITH SCORE 142895.187
AT ITER 9218 NEW BEST:: SOT 4493057 SOS 170168 HAS SOPS 170168 HAS SOUS 142706 HAS SOUPS 142706 WITH SCORE 142876.168
AT ITER 9387 NEW BEST:: SOT 4493015 SOS 170126 HAS SOPS 170126 HAS SOUS 142664 HAS SOUPS 142664 WITH SCORE 142834.126
AT ITER 9526 NEW BEST:: SOT 4492967 SOS 170078 HAS SOPS 170078 HAS SOUS 142616 HAS SOUPS 142616 WITH SCORE 142786.078
AT ITER 9537 NEW BEST:: SOT 4492967 SOS 170077 HAS SOPS 170077 HAS SOUS 142615 HAS SOUPS 142615 WITH SCORE 142785.077
AT ITER 9596 NEW BEST:: SOT 4492950 SOS 170060 HAS SOPS 170060 HAS SOUS 142615 HAS SOUPS 142615 WITH SCORE 142785.06
AT ITER 9655 NEW BEST:: SOT 4492955 SOS 170031 HAS SOPS 170031 HAS SOUS 142607 HAS SOUPS 142607 WITH SCORE 142777.031
AT ITER 9728 NEW BEST:: SOT 4492955 SOS 170030 HAS SOPS 170030 HAS SOUS 142606 HAS SOUPS 142606 WITH SCORE 142776.03
AT ITER 9797 NEW BEST:: SOT 4492914 SOS 169880 HAS SOPS 169880 HAS SOUS 142497 HAS SOUPS 142497 WITH SCORE 142666.88

BK_TIME_CONFINEMENT_REACHED

--------------------
content from 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="ShieldIIPs-PT-050B"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-050B, 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 r207-tajo-159033469100200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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