fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901925700067
Last Updated
Jun 28, 2020

About the Execution of smart for CircularTrains-PT-048

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.280 3600000.00 3600030.00 0.00 T??????????????? normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925700067.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 CircularTrains-PT-048, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925700067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 37K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-00
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-01
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-02
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-03
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-04
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-05
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-06
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-07
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-08
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-09
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-10
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-11
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-12
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-13
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-14
FORMULA_NAME CircularTrains-PT-048-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589045907884

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CircularTrains (PT), instance 048
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 96 places, 48 transitions, 192 arcs.
AT ITER 0 NEW BEST:: SOT 2603 SOS 550 HAS SOPS 550 HAS SOUS 550 HAS SOUPS 550 WITH SCORE 550.55
AT ITER 16 NEW BEST:: SOT 2601 SOS 548 HAS SOPS 548 HAS SOUS 548 HAS SOUPS 548 WITH SCORE 548.548
AT ITER 34 NEW BEST:: SOT 2598 SOS 545 HAS SOPS 545 HAS SOUS 545 HAS SOUPS 545 WITH SCORE 545.545
AT ITER 35 NEW BEST:: SOT 2597 SOS 544 HAS SOPS 544 HAS SOUS 544 HAS SOUPS 544 WITH SCORE 544.544
AT ITER 84 NEW BEST:: SOT 2595 SOS 542 HAS SOPS 542 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.542
AT ITER 85 NEW BEST:: SOT 2594 SOS 541 HAS SOPS 541 HAS SOUS 541 HAS SOUPS 541 WITH SCORE 541.541
AT ITER 142 NEW BEST:: SOT 2589 SOS 538 HAS SOPS 538 HAS SOUS 538 HAS SOUPS 538 WITH SCORE 538.538
AT ITER 180 NEW BEST:: SOT 2589 SOS 534 HAS SOPS 534 HAS SOUS 534 HAS SOUPS 534 WITH SCORE 534.534
AT ITER 207 NEW BEST:: SOT 2584 SOS 531 HAS SOPS 531 HAS SOUS 531 HAS SOUPS 531 WITH SCORE 531.531
AT ITER 210 NEW BEST:: SOT 2584 SOS 528 HAS SOPS 528 HAS SOUS 528 HAS SOUPS 528 WITH SCORE 528.528
AT ITER 222 NEW BEST:: SOT 2584 SOS 527 HAS SOPS 527 HAS SOUS 527 HAS SOUPS 527 WITH SCORE 527.527
AT ITER 284 NEW BEST:: SOT 2583 SOS 525 HAS SOPS 525 HAS SOUS 525 HAS SOUPS 525 WITH SCORE 525.525
AT ITER 348 NEW BEST:: SOT 2580 SOS 520 HAS SOPS 520 HAS SOUS 520 HAS SOUPS 520 WITH SCORE 520.52
AT ITER 357 NEW BEST:: SOT 2580 SOS 517 HAS SOPS 517 HAS SOUS 517 HAS SOUPS 517 WITH SCORE 517.517
AT ITER 495 NEW BEST:: SOT 2580 SOS 516 HAS SOPS 516 HAS SOUS 516 HAS SOUPS 516 WITH SCORE 516.516
AT ITER 615 NEW BEST:: SOT 2579 SOS 515 HAS SOPS 515 HAS SOUS 515 HAS SOUPS 515 WITH SCORE 515.515
AT ITER 641 NEW BEST:: SOT 2579 SOS 513 HAS SOPS 513 HAS SOUS 513 HAS SOUPS 513 WITH SCORE 513.513
AT ITER 685 NEW BEST:: SOT 2578 SOS 511 HAS SOPS 511 HAS SOUS 511 HAS SOUPS 511 WITH SCORE 511.511
AT ITER 695 NEW BEST:: SOT 2578 SOS 510 HAS SOPS 510 HAS SOUS 510 HAS SOUPS 510 WITH SCORE 510.51
AT ITER 718 NEW BEST:: SOT 2576 SOS 508 HAS SOPS 508 HAS SOUS 508 HAS SOUPS 508 WITH SCORE 508.508
AT ITER 792 NEW BEST:: SOT 2575 SOS 507 HAS SOPS 507 HAS SOUS 507 HAS SOUPS 507 WITH SCORE 507.507
AT ITER 842 NEW BEST:: SOT 2575 SOS 506 HAS SOPS 506 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.506
AT ITER 856 NEW BEST:: SOT 2570 SOS 501 HAS SOPS 501 HAS SOUS 501 HAS SOUPS 501 WITH SCORE 501.501
AT ITER 932 NEW BEST:: SOT 2567 SOS 498 HAS SOPS 498 HAS SOUS 498 HAS SOUPS 498 WITH SCORE 498.498
AT ITER 969 NEW BEST:: SOT 2566 SOS 496 HAS SOPS 496 HAS SOUS 496 HAS SOUPS 496 WITH SCORE 496.496
AT ITER 1135 NEW BEST:: SOT 2565 SOS 495 HAS SOPS 495 HAS SOUS 495 HAS SOUPS 495 WITH SCORE 495.495
AT ITER 1294 NEW BEST:: SOT 2565 SOS 493 HAS SOPS 493 HAS SOUS 493 HAS SOUPS 493 WITH SCORE 493.493
AT ITER 1480 NEW BEST:: SOT 2564 SOS 492 HAS SOPS 492 HAS SOUS 492 HAS SOUPS 492 WITH SCORE 492.492
AT ITER 1493 NEW BEST:: SOT 2559 SOS 490 HAS SOPS 490 HAS SOUS 490 HAS SOUPS 490 WITH SCORE 490.49
AT ITER 1522 NEW BEST:: SOT 2559 SOS 489 HAS SOPS 489 HAS SOUS 489 HAS SOUPS 489 WITH SCORE 489.489
AT ITER 1646 NEW BEST:: SOT 2558 SOS 487 HAS SOPS 487 HAS SOUS 487 HAS SOUPS 487 WITH SCORE 487.487
AT ITER 1647 NEW BEST:: SOT 2558 SOS 486 HAS SOPS 486 HAS SOUS 486 HAS SOUPS 486 WITH SCORE 486.486
AT ITER 1788 NEW BEST:: SOT 2556 SOS 484 HAS SOPS 484 HAS SOUS 484 HAS SOUPS 484 WITH SCORE 484.484
AT ITER 1798 NEW BEST:: SOT 2554 SOS 480 HAS SOPS 480 HAS SOUS 480 HAS SOUPS 480 WITH SCORE 480.48
AT ITER 1865 NEW BEST:: SOT 2551 SOS 475 HAS SOPS 475 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.475
AT ITER 2070 NEW BEST:: SOT 2547 SOS 472 HAS SOPS 472 HAS SOUS 472 HAS SOUPS 472 WITH SCORE 472.472
AT ITER 2093 NEW BEST:: SOT 2547 SOS 471 HAS SOPS 471 HAS SOUS 471 HAS SOUPS 471 WITH SCORE 471.471
AT ITER 2132 NEW BEST:: SOT 2548 SOS 470 HAS SOPS 470 HAS SOUS 470 HAS SOUPS 470 WITH SCORE 470.47
AT ITER 2215 NEW BEST:: SOT 2547 SOS 468 HAS SOPS 468 HAS SOUS 468 HAS SOUPS 468 WITH SCORE 468.468
AT ITER 2294 NEW BEST:: SOT 2549 SOS 467 HAS SOPS 467 HAS SOUS 467 HAS SOUPS 467 WITH SCORE 467.467
AT ITER 2297 NEW BEST:: SOT 2546 SOS 465 HAS SOPS 465 HAS SOUS 465 HAS SOUPS 465 WITH SCORE 465.465
AT ITER 2307 NEW BEST:: SOT 2545 SOS 464 HAS SOPS 464 HAS SOUS 464 HAS SOUPS 464 WITH SCORE 464.464
AT ITER 2312 NEW BEST:: SOT 2545 SOS 462 HAS SOPS 462 HAS SOUS 462 HAS SOUPS 462 WITH SCORE 462.462
AT ITER 2432 NEW BEST:: SOT 2544 SOS 460 HAS SOPS 460 HAS SOUS 460 HAS SOUPS 460 WITH SCORE 460.46
AT ITER 2537 NEW BEST:: SOT 2541 SOS 459 HAS SOPS 459 HAS SOUS 459 HAS SOUPS 459 WITH SCORE 459.459
AT ITER 2667 NEW BEST:: SOT 2539 SOS 458 HAS SOPS 458 HAS SOUS 458 HAS SOUPS 458 WITH SCORE 458.458
AT ITER 2672 NEW BEST:: SOT 2538 SOS 457 HAS SOPS 457 HAS SOUS 457 HAS SOUPS 457 WITH SCORE 457.457
AT ITER 2678 NEW BEST:: SOT 2539 SOS 454 HAS SOPS 454 HAS SOUS 454 HAS SOUPS 454 WITH SCORE 454.454
AT ITER 2769 NEW BEST:: SOT 2539 SOS 453 HAS SOPS 453 HAS SOUS 453 HAS SOUPS 453 WITH SCORE 453.453
AT ITER 3046 NEW BEST:: SOT 2539 SOS 452 HAS SOPS 452 HAS SOUS 452 HAS SOUPS 452 WITH SCORE 452.452
AT ITER 3067 NEW BEST:: SOT 2540 SOS 451 HAS SOPS 451 HAS SOUS 451 HAS SOUPS 451 WITH SCORE 451.451
AT ITER 3101 NEW BEST:: SOT 2539 SOS 450 HAS SOPS 450 HAS SOUS 450 HAS SOUPS 450 WITH SCORE 450.45
AT ITER 3118 NEW BEST:: SOT 2537 SOS 449 HAS SOPS 449 HAS SOUS 449 HAS SOUPS 449 WITH SCORE 449.449
AT ITER 3315 NEW BEST:: SOT 2536 SOS 448 HAS SOPS 448 HAS SOUS 448 HAS SOUPS 448 WITH SCORE 448.448
AT ITER 3356 NEW BEST:: SOT 2535 SOS 447 HAS SOPS 447 HAS SOUS 447 HAS SOUPS 447 WITH SCORE 447.447
AT ITER 3649 NEW BEST:: SOT 2534 SOS 446 HAS SOPS 446 HAS SOUS 446 HAS SOUPS 446 WITH SCORE 446.446
AT ITER 3714 NEW BEST:: SOT 2534 SOS 445 HAS SOPS 445 HAS SOUS 445 HAS SOUPS 445 WITH SCORE 445.445
AT ITER 3818 NEW BEST:: SOT 2533 SOS 444 HAS SOPS 444 HAS SOUS 444 HAS SOUPS 444 WITH SCORE 444.444
AT ITER 3852 NEW BEST:: SOT 2532 SOS 443 HAS SOPS 443 HAS SOUS 443 HAS SOUPS 443 WITH SCORE 443.443
AT ITER 4306 NEW BEST:: SOT 2531 SOS 442 HAS SOPS 442 HAS SOUS 442 HAS SOUPS 442 WITH SCORE 442.442
AT ITER 4337 NEW BEST:: SOT 2531 SOS 441 HAS SOPS 441 HAS SOUS 441 HAS SOUPS 441 WITH SCORE 441.441
AT ITER 4461 NEW BEST:: SOT 2528 SOS 438 HAS SOPS 438 HAS SOUS 438 HAS SOUPS 438 WITH SCORE 438.438
AT ITER 4477 NEW BEST:: SOT 2527 SOS 437 HAS SOPS 437 HAS SOUS 437 HAS SOUPS 437 WITH SCORE 437.437
AT ITER 4575 NEW BEST:: SOT 2525 SOS 435 HAS SOPS 435 HAS SOUS 435 HAS SOUPS 435 WITH SCORE 435.435
AT ITER 4605 NEW BEST:: SOT 2525 SOS 434 HAS SOPS 434 HAS SOUS 434 HAS SOUPS 434 WITH SCORE 434.434
AT ITER 4908 NEW BEST:: SOT 2525 SOS 432 HAS SOPS 432 HAS SOUS 432 HAS SOUPS 432 WITH SCORE 432.432
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CircularTrains-PT-048-CTLCardinality-00 ( (! (AG( (! potential( (tk(P6)) <= (tk(P52)) ))))) & (EG( (EF(potential( (tk(P59)) <= (tk(P25)) ))))) )
PROPERTY: CircularTrains-PT-048-CTLCardinality-01 ( ( (AF(potential( ( 3 ) <= (tk(P93)) ))) | (AX( potential( ( 2 ) <= (tk(P15)) ))) ) & ( (! ( ( potential( ( 3 ) <= (tk(P44)) ) & potential( (tk(P3)) <= (tk(P17)) ) ) | ( potential( ( 2 ) <= (tk(P54)) ) & potential( (tk(P41)) <= (tk(P63)) ) ) )) | potential( (tk(P21)) <= (tk(P87)) ) ) )
PROPERTY: CircularTrains-PT-048-CTLCardinality-02 (EG( ( (AG( potential( ( 2 ) <= (tk(P20)) ))) | ( (! potential( ( 1 ) <= (tk(P52)) )) & ( potential( (tk(P93)) <= (tk(P14)) ) & potential( (tk(P72)) <= (tk(P92)) ) ) ) )))
PROPERTY: CircularTrains-PT-048-CTLCardinality-03 (! ( (AG( potential( ( 1 ) <= (tk(P18)) ))) | ( (AX( potential( ( 1 ) <= (tk(P21)) ))) | (AF(potential( ( 2 ) <= (tk(P76)) ))) ) ))
PROPERTY: CircularTrains-PT-048-CTLCardinality-04 (EG( ( potential( (tk(P48)) <= (tk(P16)) ) | ( (! potential( ( 2 ) <= (tk(P92)) )) | ( potential( ( 2 ) <= (tk(P10)) ) & potential( ( 2 ) <= (tk(P43)) ) ) ) )))
PROPERTY: CircularTrains-PT-048-CTLCardinality-05 (AG( ( (AF(potential( (tk(P61)) <= (tk(P15)) ))) | (! ( potential( ( 1 ) <= (tk(P38)) ) | potential( (tk(P80)) <= (tk(P89)) ) )) )))
PROPERTY: CircularTrains-PT-048-CTLCardinality-06 (AX( ( ( (! potential( ( 1 ) <= (tk(P69)) )) & ( potential( ( 3 ) <= (tk(P85)) ) | potential( ( 3 ) <= (tk(P66)) ) ) ) | (EF(potential( (tk(P4)) <= (tk(P67)) ))) )))
PROPERTY: CircularTrains-PT-048-CTLCardinality-07 ( potential( ( 3 ) <= (tk(P85)) ) | (AF(( (! potential( (tk(P48)) <= (tk(P84)) )) & ( potential( ( 1 ) <= (tk(P70)) ) & potential( ( 2 ) <= (tk(P36)) ) ) ))) )
PROPERTY: CircularTrains-PT-048-CTLCardinality-08 (AG( ( (! potential( ( 2 ) <= (tk(P28)) )) | potential( (tk(P46)) <= (tk(P1)) ) )))
PROPERTY: CircularTrains-PT-048-CTLCardinality-09 (EG( (AF((! potential( (tk(P93)) <= (tk(P26)) ))))))
PROPERTY: CircularTrains-PT-048-CTLCardinality-10 (AU( (AF(potential( (tk(P70)) <= (tk(P18)) ))),( ( potential( ( 2 ) <= (tk(P57)) ) & potential( ( 2 ) <= (tk(P19)) ) ) & ( potential( ( 2 ) <= (tk(P73)) ) | potential( ( 1 ) <= (tk(P24)) ) ) ) ))
PROPERTY: CircularTrains-PT-048-CTLCardinality-11 (EF((EX( potential( ( 2 ) <= (tk(P24)) )))))
PROPERTY: CircularTrains-PT-048-CTLCardinality-12 ( (AX( (AF(potential( ( 2 ) <= (tk(P38)) ))))) & potential( ( 1 ) <= (tk(P51)) ) )
PROPERTY: CircularTrains-PT-048-CTLCardinality-13 (AF((AU( potential( ( 3 ) <= (tk(P48)) ),potential( ( 2 ) <= (tk(P55)) ) ))))
PROPERTY: CircularTrains-PT-048-CTLCardinality-14 (AF((EG( ( potential( ( 2 ) <= (tk(P28)) ) & potential( ( 2 ) <= (tk(P14)) ) )))))
PROPERTY: CircularTrains-PT-048-CTLCardinality-15 (EX( (EU( potential( ( 2 ) <= (tk(P2)) ),potential( ( 3 ) <= (tk(P77)) ) ))))
FORMULA CircularTrains-PT-048-CTLCardinality-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="CircularTrains-PT-048"
export BK_EXAMINATION="CTLCardinality"
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 CircularTrains-PT-048, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925700067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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