About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
- | - | - | DNF | timeout |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.........................................................................
=====================================================================
Generated by BenchKit 2-1667
Executing tool greatspn
Input is SurpriseCSRepetitions-PT-04, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066505200695
=====================================================================
--------------------
content from stdout:
BK_START 1400670081154
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseCSRepetitions (PT), instance 04
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityFireabilitySimple.xml INTO /home/mcc/execution/ReachabilityFireabilitySimple.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 12 -C -f /home/mcc/execution/ReachabilityFireabilitySimple.rgmedd-ctl
Using FORCE-PINV Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition Read_Request_9_3 (0/176).
Encoding transition Read_Request_16_4 (1/176).
Encoding transition Send_Answer_3_3 (2/176).
Encoding transition Send_Answer_7_1 (3/176).
Encoding transition Prepare_Request_5 (4/176).
Encoding transition Read_Request_11_3 (5/176).
Encoding transition Prepare_Request_15 (6/176).
Encoding transition Read_Request_2_4 (7/176).
Encoding transition Send_Answer_14_1 (8/176).
Encoding transition Send_Answer_12_2 (9/176).
Encoding transition Read_Request_4_1 (10/176).
Encoding transition Lose_Request_12 (11/176).
Encoding transition Read_Request_9_4 (12/176).
Encoding transition Lose_Request_11 (13/176).
Encoding transition Send_Answer_13_4 (14/176).
Encoding transition Send_Answer_10_4 (15/176).
Encoding transition Read_Request_4_3 (16/176).
Encoding transition Send_Answer_8_4 (17/176).
Encoding transition Read_Request_6_2 (18/176).
Encoding transition Send_Answer_10_3 (19/176).
Encoding transition Send_Request_3 (20/176).
Encoding transition Lose_Request_4 (21/176).
Encoding transition Lose_Request_5 (22/176).
Encoding transition Read_Request_13_2 (23/176).
Encoding transition Read_Request_13_1 (24/176).
Encoding transition Prepare_Request_6 (25/176).
Encoding transition Send_Answer_1_4 (26/176).
Encoding transition Prepare_Request_2 (27/176).
Encoding transition Read_Request_12_3 (28/176).
Encoding transition Send_Answer_2_3 (29/176).
Encoding transition Read_Request_14_2 (30/176).
Encoding transition Send_Answer_8_1 (31/176).
Encoding transition Send_Request_11 (32/176).
Encoding transition Send_Answer_4_2 (33/176).
Encoding transition Send_Answer_6_2 (34/176).
Encoding transition Read_Request_10_4 (35/176).
Encoding transition Send_Request_4 (36/176).
Encoding transition Prepare_Request_9 (37/176).
Encoding transition Prepare_Request_3 (38/176).
Encoding transition Send_Answer_16_3 (39/176).
Encoding transition Read_Request_1_1 (40/176).
Encoding transition Read_Request_8_1 (41/176).
Encoding transition Lose_Request_6 (42/176).
Encoding transition Read_Request_15_1 (43/176).
Encoding transition Lose_Request_10 (44/176).
Encoding transition Prepare_Request_16 (45/176).
Encoding transition Send_Answer_15_3 (46/176).
Encoding transition Send_Answer_5_2 (47/176).
Encoding transition Read_Request_6_3 (48/176).
Encoding transition Read_Request_13_3 (49/176).
Encoding transition Send_Request_5 (50/176).
Encoding transition Send_Answer_3_2 (51/176).
Encoding transition Send_Request_6 (52/176).
Encoding transition Read_Request_8_4 (53/176).
Encoding transition Prepare_Request_8 (54/176).
Encoding transition Lose_Request_9 (55/176).
Encoding transition Read_Request_7_1 (56/176).
Encoding transition Send_Answer_10_2 (57/176).
Encoding transition Send_Answer_12_4 (58/176).
Encoding transition Send_Answer_15_4 (59/176).
Encoding transition Send_Request_10 (60/176).
Encoding transition Read_Request_3_3 (61/176).
Encoding transition Send_Answer_13_2 (62/176).
Encoding transition Send_Answer_2_1 (63/176).
Encoding transition Read_Request_12_2 (64/176).
Encoding transition Send_Answer_6_4 (65/176).
Encoding transition Read_Request_16_1 (66/176).
Encoding transition Read_Request_5_3 (67/176).
Encoding transition Lose_Request_7 (68/176).
Encoding transition Send_Answer_4_3 (69/176).
Encoding transition Read_Request_15_4 (70/176).
Encoding transition Send_Answer_11_2 (71/176).
Encoding transition Read_Request_10_1 (72/176).
Encoding transition Prepare_Request_11 (73/176).
Encoding transition Read_Request_14_3 (74/176).
Encoding transition Read_Request_2_1 (75/176).
Encoding transition Send_Answer_14_3 (76/176).
Encoding transition Send_Answer_1_1 (77/176).
Encoding transition Read_Request_11_2 (78/176).
Encoding transition Send_Answer_14_4 (79/176).
Encoding transition Send_Request_16 (80/176).
Encoding transition Send_Answer_9_1 (81/176).
Encoding transition Send_Request_9 (82/176).
Encoding transition Send_Answer_7_4 (83/176).
Encoding transition Read_Request_7_4 (84/176).
Encoding transition Lose_Request_8 (85/176).
Encoding transition Send_Request_7 (86/176).
Encoding transition Read_Request_2_2 (87/176).
Encoding transition Prepare_Request_10 (88/176).
Encoding transition Send_Answer_5_3 (89/176).
Encoding transition Lose_Request_15 (90/176).
Encoding transition Read_Request_1_2 (91/176).
Encoding transition Read_Request_9_1 (92/176).
Encoding transition Read_Request_1_3 (93/176).
Encoding transition Send_Answer_6_3 (94/176).
Encoding transition Read_Request_13_4 (95/176).
Encoding transition Send_Answer_2_2 (96/176).
Encoding transition Lose_Request_16 (97/176).
Encoding transition Send_Answer_10_1 (98/176).
Encoding transition Read_Request_8_3 (99/176).
Encoding transition Prepare_Request_1 (100/176).
Encoding transition Send_Request_8 (101/176).
Encoding transition Read_Request_15_3 (102/176).
Encoding transition Send_Answer_4_1 (103/176).
Encoding transition Send_Answer_15_2 (104/176).
Encoding transition Read_Request_6_4 (105/176).
Encoding transition Read_Request_10_2 (106/176).
Encoding transition Read_Request_3_2 (107/176).
Encoding transition Send_Answer_13_3 (108/176).
Encoding transition Lose_Request_14 (109/176).
Encoding transition Send_Answer_4_4 (110/176).
Encoding transition Read_Request_5_1 (111/176).
Encoding transition Read_Request_5_4 (112/176).
Encoding transition Send_Answer_9_2 (113/176).
Encoding transition Read_Request_12_1 (114/176).
Encoding transition Send_Answer_1_2 (115/176).
Encoding transition Send_Answer_12_3 (116/176).
Encoding transition Send_Answer_14_2 (117/176).
Encoding transition Send_Answer_16_1 (118/176).
Encoding transition Read_Request_2_3 (119/176).
Encoding transition Read_Request_9_2 (120/176).
Encoding transition Send_Answer_16_4 (121/176).
Encoding transition Send_Answer_7_3 (122/176).
Encoding transition Send_Answer_11_1 (123/176).
Encoding transition Send_Answer_9_4 (124/176).
Encoding transition Read_Request_14_4 (125/176).
Encoding transition Send_Answer_3_1 (126/176).
Encoding transition Lose_Request_1 (127/176).
Encoding transition Lose_Request_2 (128/176).
Encoding transition Send_Answer_5_4 (129/176).
Encoding transition Read_Request_11_4 (130/176).
Encoding transition Send_Request_14 (131/176).
Encoding transition Read_Request_4_4 (132/176).
Encoding transition Read_Request_16_3 (133/176).
Encoding transition Send_Answer_12_1 (134/176).
Encoding transition Send_Request_15 (135/176).
Encoding transition Send_Answer_7_2 (136/176).
Encoding transition Read_Request_7_3 (137/176).
Encoding transition Lose_Request_13 (138/176).
Encoding transition Prepare_Request_12 (139/176).
Encoding transition Read_Request_15_2 (140/176).
Encoding transition Prepare_Request_13 (141/176).
Encoding transition Read_Request_1_4 (142/176).
Encoding transition Send_Request_1 (143/176).
Encoding transition Send_Answer_11_3 (144/176).
Encoding transition Send_Answer_8_3 (145/176).
Encoding transition Read_Request_4_2 (146/176).
Encoding transition Send_Answer_2_4 (147/176).
Encoding transition Send_Answer_1_3 (148/176).
Encoding transition Read_Request_8_2 (149/176).
Encoding transition Read_Request_6_1 (150/176).
Encoding transition Read_Request_10_3 (151/176).
Encoding transition Send_Answer_13_1 (152/176).
Encoding transition Prepare_Request_7 (153/176).
Encoding transition Send_Request_2 (154/176).
Encoding transition Send_Request_13 (155/176).
Encoding transition Send_Answer_16_2 (156/176).
Encoding transition Prepare_Request_14 (157/176).
Encoding transition Send_Answer_6_1 (158/176).
Encoding transition Send_Answer_15_1 (159/176).
Encoding transition Lose_Request_3 (160/176).
Encoding transition Read_Request_11_1 (161/176).
Encoding transition Prepare_Request_4 (162/176).
Encoding transition Send_Answer_5_1 (163/176).
Encoding transition Send_Answer_3_4 (164/176).
Encoding transition Read_Request_16_2 (165/176).
Encoding transition Read_Request_7_2 (166/176).
Encoding transition Send_Answer_11_4 (167/176).
Encoding transition Read_Request_5_2 (168/176).
Encoding transition Read_Request_3_4 (169/176).
Encoding transition Read_Request_12_4 (170/176).
Encoding transition Send_Request_12 (171/176).
Encoding transition Read_Request_14_1 (172/176).
Encoding transition Read_Request_3_1 (173/176).
Encoding transition Send_Answer_8_2 (174/176).
Encoding transition Send_Answer_9_3 (175/176).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 13396KB
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="SurpriseCSRepetitions-PT-04"
export BK_EXAMINATION="ReachabilityFireabilitySimple"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/SurpriseCSRepetitions-PT-04.tgz
mv SurpriseCSRepetitions-PT-04 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is SurpriseCSRepetitions-PT-04, examination is ReachabilityFireabilitySimple"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066505200695"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;