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.r491-tall-167912710600520.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 smartxred
Input is TCPcondis-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710600520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 7.9K Feb 26 16:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 16:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 16:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 16:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 16:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 26 16:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 16:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 16:10 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 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 24K 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 1679263082331

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=TCPcondis-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:58:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:58:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:58:04] [WARNING] Skipping unknown tool specific annotation : Tina
[2023-03-19 21:58:04] [WARNING] Unknown XML tag in source file: size
[2023-03-19 21:58:04] [WARNING] Unknown XML tag in source file: color
[2023-03-19 21:58:04] [INFO ] Load time of PNML (sax parser for PT used): 30 ms
[2023-03-19 21:58:04] [INFO ] Transformed 30 places.
[2023-03-19 21:58:04] [INFO ] Transformed 32 transitions.
[2023-03-19 21:58:04] [INFO ] Parsed PT model containing 30 places and 32 transitions and 108 arcs in 293 ms.
[2023-03-19 21:58:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 30 places, 32 transitions and 108 arcs took 2 ms.
Total runtime 352 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TCPcondis (PT), instance 15
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 30 places, 32 transitions, 108 arcs.
AT ITER 0 NEW BEST:: SOT 646 SOS 404 HAS SOPS 404 HAS SOUS 359 HAS SOUPS 359 WITH SCORE 359.404
AT ITER 3 NEW BEST:: SOT 646 SOS 402 HAS SOPS 402 HAS SOUS 355 HAS SOUPS 355 WITH SCORE 355.402
AT ITER 8 NEW BEST:: SOT 640 SOS 397 HAS SOPS 397 HAS SOUS 350 HAS SOUPS 350 WITH SCORE 350.397
AT ITER 9 NEW BEST:: SOT 640 SOS 392 HAS SOPS 392 HAS SOUS 345 HAS SOUPS 345 WITH SCORE 345.392
AT ITER 12 NEW BEST:: SOT 631 SOS 363 HAS SOPS 363 HAS SOUS 313 HAS SOUPS 313 WITH SCORE 313.363
AT ITER 15 NEW BEST:: SOT 622 SOS 353 HAS SOPS 353 HAS SOUS 308 HAS SOUPS 308 WITH SCORE 308.353
AT ITER 22 NEW BEST:: SOT 619 SOS 350 HAS SOPS 350 HAS SOUS 305 HAS SOUPS 305 WITH SCORE 305.35
AT ITER 47 NEW BEST:: SOT 617 SOS 348 HAS SOPS 348 HAS SOUS 303 HAS SOUPS 303 WITH SCORE 303.348
AT ITER 72 NEW BEST:: SOT 612 SOS 351 HAS SOPS 351 HAS SOUS 296 HAS SOUPS 296 WITH SCORE 296.351
AT ITER 78 NEW BEST:: SOT 607 SOS 343 HAS SOPS 343 HAS SOUS 282 HAS SOUPS 282 WITH SCORE 282.343
AT ITER 87 NEW BEST:: SOT 611 SOS 343 HAS SOPS 343 HAS SOUS 278 HAS SOUPS 278 WITH SCORE 278.343
AT ITER 92 NEW BEST:: SOT 612 SOS 336 HAS SOPS 336 HAS SOUS 275 HAS SOUPS 275 WITH SCORE 275.336
AT ITER 94 NEW BEST:: SOT 619 SOS 330 HAS SOPS 330 HAS SOUS 272 HAS SOUPS 272 WITH SCORE 272.33
AT ITER 110 NEW BEST:: SOT 609 SOS 321 HAS SOPS 321 HAS SOUS 266 HAS SOUPS 266 WITH SCORE 266.321
AT ITER 125 NEW BEST:: SOT 606 SOS 316 HAS SOPS 316 HAS SOUS 262 HAS SOUPS 262 WITH SCORE 262.316
AT ITER 126 NEW BEST:: SOT 605 SOS 315 HAS SOPS 315 HAS SOUS 262 HAS SOUPS 262 WITH SCORE 262.315
AT ITER 134 NEW BEST:: SOT 605 SOS 314 HAS SOPS 314 HAS SOUS 262 HAS SOUPS 262 WITH SCORE 262.314
AT ITER 167 NEW BEST:: SOT 601 SOS 315 HAS SOPS 315 HAS SOUS 258 HAS SOUPS 258 WITH SCORE 258.315
AT ITER 180 NEW BEST:: SOT 600 SOS 314 HAS SOPS 314 HAS SOUS 256 HAS SOUPS 256 WITH SCORE 256.314
AT ITER 207 NEW BEST:: SOT 599 SOS 313 HAS SOPS 313 HAS SOUS 255 HAS SOUPS 255 WITH SCORE 255.313
AT ITER 220 NEW BEST:: SOT 595 SOS 309 HAS SOPS 309 HAS SOUS 251 HAS SOUPS 251 WITH SCORE 251.309
AT ITER 290 NEW BEST:: SOT 595 SOS 307 HAS SOPS 307 HAS SOUS 251 HAS SOUPS 251 WITH SCORE 251.307
AT ITER 292 NEW BEST:: SOT 588 SOS 304 HAS SOPS 304 HAS SOUS 248 HAS SOUPS 248 WITH SCORE 248.304
AT ITER 316 NEW BEST:: SOT 586 SOS 300 HAS SOPS 300 HAS SOUS 243 HAS SOUPS 243 WITH SCORE 243.3
AT ITER 323 NEW BEST:: SOT 585 SOS 296 HAS SOPS 296 HAS SOUS 238 HAS SOUPS 238 WITH SCORE 238.296
AT ITER 329 NEW BEST:: SOT 583 SOS 295 HAS SOPS 295 HAS SOUS 238 HAS SOUPS 238 WITH SCORE 238.295
AT ITER 330 NEW BEST:: SOT 583 SOS 296 HAS SOPS 296 HAS SOUS 237 HAS SOUPS 237 WITH SCORE 237.296
AT ITER 342 NEW BEST:: SOT 583 SOS 292 HAS SOPS 292 HAS SOUS 237 HAS SOUPS 237 WITH SCORE 237.292
AT ITER 403 NEW BEST:: SOT 584 SOS 289 HAS SOPS 289 HAS SOUS 236 HAS SOUPS 236 WITH SCORE 236.289
AT ITER 419 NEW BEST:: SOT 582 SOS 289 HAS SOPS 289 HAS SOUS 234 HAS SOUPS 234 WITH SCORE 234.289
AT ITER 422 NEW BEST:: SOT 580 SOS 288 HAS SOPS 288 HAS SOUS 231 HAS SOUPS 231 WITH SCORE 231.288
AT ITER 574 NEW BEST:: SOT 580 SOS 286 HAS SOPS 286 HAS SOUS 231 HAS SOUPS 231 WITH SCORE 231.286
AT ITER 589 NEW BEST:: SOT 576 SOS 282 HAS SOPS 282 HAS SOUS 226 HAS SOUPS 226 WITH SCORE 226.282
AT ITER 659 NEW BEST:: SOT 576 SOS 280 HAS SOPS 280 HAS SOUS 225 HAS SOUPS 225 WITH SCORE 225.28
AT ITER 660 NEW BEST:: SOT 576 SOS 279 HAS SOPS 279 HAS SOUS 225 HAS SOUPS 225 WITH SCORE 225.279
AT ITER 774 NEW BEST:: SOT 576 SOS 278 HAS SOPS 278 HAS SOUS 225 HAS SOUPS 225 WITH SCORE 225.278
AT ITER 903 NEW BEST:: SOT 576 SOS 277 HAS SOPS 277 HAS SOUS 225 HAS SOUPS 225 WITH SCORE 225.277
AT ITER 1641 NEW BEST:: SOT 580 SOS 278 HAS SOPS 278 HAS SOUS 223 HAS SOUPS 223 WITH SCORE 223.278
AT ITER 1728 NEW BEST:: SOT 578 SOS 277 HAS SOPS 277 HAS SOUS 223 HAS SOUPS 223 WITH SCORE 223.277
AT ITER 2004 NEW BEST:: SOT 578 SOS 276 HAS SOPS 276 HAS SOUS 223 HAS SOUPS 223 WITH SCORE 223.276
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12140292 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121764 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="TCPcondis-PT-15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is TCPcondis-PT-15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912710600520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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