About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5468.31 | 769173 | 372.7 | CC | normal |
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-1668
Executing tool greatspn
Input is SurpriseTokenRing-PT-015, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r07ks-ovh1-140068246301840
=====================================================================
--------------------
content from stdout:
BK_START 1400692671559
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseTokenRing (PT), instance 015
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityFireability.xml INTO /home/mcc/execution/ReachabilityFireability.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 39 -C -f /home/mcc/execution/ReachabilityFireability.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 OtherProcess_14_14_13 (0/3616).
Encoding transition OtherProcess_14_13_14 (1/3616).
Encoding transition OtherProcess_4_4_12 (2/3616).
Encoding transition OtherProcess_15_4_5 (3/3616).
Encoding transition OtherProcess_11_13_12 (4/3616).
Encoding transition OtherProcess_4_10_9 (5/3616).
Encoding transition OtherProcess_14_10_12 (6/3616).
Encoding transition OtherProcess_7_2_9 (7/3616).
Encoding transition OtherProcess_15_8_6 (8/3616).
Encoding transition OtherProcess_5_1_15 (9/3616).
Encoding transition OtherProcess_15_4_6 (10/3616).
Encoding transition OtherProcess_7_12_1 (11/3616).
Encoding transition OtherProcess_15_7_12 (12/3616).
Encoding transition OtherProcess_10_0_4 (13/3616).
Encoding transition OtherProcess_15_3_0 (14/3616).
Encoding transition OtherProcess_3_1_4 (15/3616).
Encoding transition OtherProcess_3_1_3 (16/3616).
Encoding transition OtherProcess_6_9_15 (17/3616).
Encoding transition OtherProcess_4_7_3 (18/3616).
Encoding transition OtherProcess_6_12_15 (19/3616).
Encoding transition OtherProcess_6_2_9 (20/3616).
Encoding transition OtherProcess_3_2_14 (21/3616).
Encoding transition OtherProcess_13_4_9 (22/3616).
Encoding transition OtherProcess_12_6_14 (23/3616).
Encoding transition OtherProcess_9_9_14 (24/3616).
Encoding transition OtherProcess_10_14_11 (25/3616).
Encoding transition OtherProcess_2_12_13 (26/3616).
Encoding transition OtherProcess_11_11_13 (27/3616).
Encoding transition OtherProcess_7_3_4 (28/3616).
Encoding transition OtherProcess_2_10_1 (29/3616).
Encoding transition OtherProcess_12_15_5 (30/3616).
Encoding transition OtherProcess_13_11_1 (31/3616).
Encoding transition OtherProcess_3_6_10 (32/3616).
Encoding transition OtherProcess_12_4_2 (33/3616).
Encoding transition OtherProcess_12_0_8 (34/3616).
Encoding transition OtherProcess_7_4_11 (35/3616).
Encoding transition OtherProcess_8_11_12 (36/3616).
Encoding transition OtherProcess_5_4_2 (37/3616).
Encoding transition OtherProcess_7_15_8 (38/3616).
Encoding transition OtherProcess_7_6_13 (39/3616).
Encoding transition OtherProcess_15_12_7 (40/3616).
Encoding transition OtherProcess_3_11_9 (41/3616).
Encoding transition OtherProcess_5_15_2 (42/3616).
Encoding transition OtherProcess_14_1_2 (43/3616).
Encoding transition OtherProcess_6_4_11 (44/3616).
Encoding transition OtherProcess_5_4_9 (45/3616).
Encoding transition OtherProcess_3_3_11 (46/3616).
Encoding transition OtherProcess_14_11_10 (47/3616).
Encoding transition OtherProcess_7_3_15 (48/3616).
Encoding transition OtherProcess_1_9_10 (49/3616).
Encoding transition OtherProcess_6_1_8 (50/3616).
Encoding transition OtherProcess_3_1_7 (51/3616).
Encoding transition OtherProcess_1_13_15 (52/3616).
Encoding transition OtherProcess_3_6_9 (53/3616).
Encoding transition OtherProcess_14_0_12 (54/3616).
Encoding transition OtherProcess_2_8_15 (55/3616).
Encoding transition OtherProcess_14_12_1 (56/3616).
Encoding transition OtherProcess_1_3_2 (57/3616).
Encoding transition OtherProcess_2_6_9 (58/3616).
Encoding transition OtherProcess_15_13_8 (59/3616).
Encoding transition OtherProcess_12_9_10 (60/3616).
Encoding transition OtherProcess_7_9_11 (61/3616).
Encoding transition OtherProcess_13_5_10 (62/3616).
Encoding transition OtherProcess_2_7_0 (63/3616).
Encoding transition OtherProcess_10_4_5 (64/3616).
Encoding transition OtherProcess_2_11_13 (65/3616).
Encoding transition OtherProcess_3_3_10 (66/3616).
Encoding transition OtherProcess_9_2_11 (67/3616).
Encoding transition OtherProcess_4_0_3 (68/3616).
Encoding transition OtherProcess_10_9_1 (69/3616).
Encoding transition OtherProcess_8_15_0 (70/3616).
Encoding transition OtherProcess_3_12_2 (71/3616).
Encoding transition OtherProcess_3_5_10 (72/3616).
Encoding transition OtherProcess_9_6_5 (73/3616).
Encoding transition OtherProcess_2_15_12 (74/3616).
Encoding transition OtherProcess_7_13_11 (75/3616).
Encoding transition OtherProcess_1_4_5 (76/3616).
Encoding transition OtherProcess_3_13_5 (77/3616).
Encoding transition OtherProcess_12_3_11 (78/3616).
Encoding transition OtherProcess_10_10_0 (79/3616).
Encoding transition OtherProcess_8_1_3 (80/3616).
Encoding transition OtherProcess_9_7_1 (81/3616).
Encoding transition OtherProcess_11_2_0 (82/3616).
Encoding transition OtherProcess_6_7_9 (83/3616).
Encoding transition OtherProcess_11_13_0 (84/3616).
Encoding transition OtherProcess_6_3_0 (85/3616).
Encoding transition OtherProcess_14_13_5 (86/3616).
Encoding transition OtherProcess_10_2_14 (87/3616).
Encoding transition OtherProcess_4_6_15 (88/3616).
Encoding transition OtherProcess_5_13_2 (89/3616).
Encoding transition OtherProcess_3_2_4 (90/3616).
Encoding transition OtherProcess_7_3_14 (91/3616).
Encoding transition OtherProcess_9_1_15 (92/3616).
Encoding transition OtherProcess_6_7_10 (93/3616).
Encoding transition OtherProcess_3_5_9 (94/3616).
Encoding transition OtherProcess_7_13_6 (95/3616).
Encoding transition OtherProcess_5_8_6 (96/3616).
Encoding transition OtherProcess_8_13_10 (97/3616).
Encoding transition OtherProcess_3_15_7 (98/3616).
Encoding transition OtherProcess_12_8_5 (99/3616).
Encoding transition OtherProcess_1_12_5 (100/3616).
Encoding transition OtherProcess_9_9_2 (101/3616).
Encoding transition OtherProcess_5_0_4 (102/3616).
Encoding transition OtherProcess_10_5_11 (103/3616).
Encoding transition OtherProcess_15_2_8 (104/3616).
Encoding transition OtherProcess_12_12_1 (105/3616).
Encoding transition OtherProcess_6_12_9 (106/3616).
Encoding transition OtherProcess_5_1_9 (107/3616).
Encoding transition OtherProcess_8_7_5 (108/3616).
Encoding transition OtherProcess_13_15_8 (109/3616).
Encoding transition OtherProcess_11_6_3 (110/3616).
Encoding transition OtherProcess_11_14_3 (111/3616).
Encoding transition OtherProcess_15_1_11 (112/3616).
Encoding transition OtherProcess_12_0_1 (113/3616).
Encoding transition OtherProcess_10_4_0 (114/3616).
Encoding transition OtherProcess_9_12_9 (115/3616).
Encoding transition OtherProcess_11_9_4 (116/3616).
Encoding transition OtherProcess_9_1_4 (117/3616).
Encoding transition OtherProcess_10_5_6 (118/3616).
Encoding transition OtherProcess_14_15_13 (119/3616).
Encoding transition OtherProcess_15_10_5 (120/3616).
Encoding transition OtherProcess_6_8_7 (121/3616).
Encoding transition OtherProcess_8_5_10 (122/3616).
Encoding transition OtherProcess_11_8_11 (123/3616).
Encoding transition OtherProcess_7_14_9 (124/3616).
Encoding transition OtherProcess_4_5_0 (125/3616).
Encoding transition OtherProcess_5_15_14 (126/3616).
Encoding transition OtherProcess_13_8_0 (127/3616).
Encoding transition OtherProcess_5_10_8 (128/3616).
Encoding transition OtherProcess_2_0_15 (129/3616).
Encoding transition OtherProcess_10_8_9 (130/3616).
Encoding transition OtherProcess_7_9_1 (131/3616).
Encoding transition OtherProcess_15_3_15 (132/3616).
Encoding transition OtherProcess_4_8_0 (133/3616).
Encoding transition OtherProcess_12_13_9 (134/3616).
Encoding transition OtherProcess_5_9_13 (135/3616).
Encoding transition OtherProcess_2_3_4 (136/3616).
Encoding transition OtherProcess_13_14_15 (137/3616).
Encoding transition OtherProcess_6_5_2 (138/3616).
Encoding transition OtherProcess_4_6_7 (139/3616).
Encoding transition OtherProcess_10_5_15 (140/3616).
Encoding transition OtherProcess_10_4_8 (141/3616).
Encoding transition OtherProcess_8_3_2 (142/3616).
Encoding transition OtherProcess_14_5_1 (143/3616).
BK_STOP 1400693442228
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1764 Aborted ~/BenchKit/bin/bin/RGMEDD model ${PLACE_ORDER} ${MEDDLY_CACHE} ${BOUND} -C -f ${NEW_FRM}
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="SurpriseTokenRing-PT-015"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/srv/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/SurpriseTokenRing-PT-015.tgz
mv SurpriseTokenRing-PT-015 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1668"
echo " Executing tool greatspn"
echo " Input is SurpriseTokenRing-PT-015, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r07ks-ovh1-140068246301840"
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 ;