About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5805.04 | 561969 | 60.8 | MOVF | 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 ResAllocation-PT-R003C050, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r05kn-ovh1-140043890401029
=====================================================================
--------------------
content from stdout:
BK_START 1400452586436
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running ResAllocation (PT), instance R003C050
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition t_15_3 (0/200).
Encoding transition t_15_2 (1/200).
Encoding transition t_15_1 (2/200).
Encoding transition t_15_0 (3/200).
Encoding transition t_8_3 (4/200).
Encoding transition t_8_2 (5/200).
Encoding transition t_8_1 (6/200).
Encoding transition t_8_0 (7/200).
Encoding transition t_29_3 (8/200).
Encoding transition t_29_2 (9/200).
Encoding transition t_29_1 (10/200).
Encoding transition t_29_0 (11/200).
Encoding transition t_18_3 (12/200).
Encoding transition t_18_2 (13/200).
Encoding transition t_18_1 (14/200).
Encoding transition t_18_0 (15/200).
Encoding transition t_41_3 (16/200).
Encoding transition t_41_2 (17/200).
Encoding transition t_41_1 (18/200).
Encoding transition t_41_0 (19/200).
Encoding transition t_30_3 (20/200).
Encoding transition t_30_2 (21/200).
Encoding transition t_30_1 (22/200).
Encoding transition t_30_0 (23/200).
Encoding transition t_44_3 (24/200).
Encoding transition t_44_2 (25/200).
Encoding transition t_44_1 (26/200).
Encoding transition t_44_0 (27/200).
Encoding transition t_1_3 (28/200).
Encoding transition t_1_2 (29/200).
Encoding transition t_1_1 (30/200).
Encoding transition t_1_0 (31/200).
Encoding transition t_33_3 (32/200).
Encoding transition t_33_2 (33/200).
Encoding transition t_33_1 (34/200).
Encoding transition t_33_0 (35/200).
Encoding transition t_22_3 (36/200).
Encoding transition t_22_2 (37/200).
Encoding transition t_22_1 (38/200).
Encoding transition t_22_0 (39/200).
Encoding transition t_11_3 (40/200).
Encoding transition t_11_2 (41/200).
Encoding transition t_11_1 (42/200).
Encoding transition t_11_0 (43/200).
Encoding transition t_47_3 (44/200).
Encoding transition t_47_2 (45/200).
Encoding transition t_47_1 (46/200).
Encoding transition t_47_0 (47/200).
Encoding transition t_4_3 (48/200).
Encoding transition t_4_2 (49/200).
Encoding transition t_4_1 (50/200).
Encoding transition t_4_0 (51/200).
Encoding transition t_36_3 (52/200).
Encoding transition t_36_2 (53/200).
Encoding transition t_36_1 (54/200).
Encoding transition t_36_0 (55/200).
Encoding transition t_25_3 (56/200).
Encoding transition t_25_2 (57/200).
Encoding transition t_25_1 (58/200).
Encoding transition t_25_0 (59/200).
Encoding transition t_14_3 (60/200).
Encoding transition t_14_2 (61/200).
Encoding transition t_14_1 (62/200).
Encoding transition t_14_0 (63/200).
Encoding transition t_7_3 (64/200).
Encoding transition t_7_2 (65/200).
Encoding transition t_7_1 (66/200).
Encoding transition t_7_0 (67/200).
Encoding transition t_39_3 (68/200).
Encoding transition t_39_2 (69/200).
Encoding transition t_39_1 (70/200).
Encoding transition t_39_0 (71/200).
Encoding transition t_28_3 (72/200).
Encoding transition t_28_2 (73/200).
Encoding transition t_28_1 (74/200).
Encoding transition t_28_0 (75/200).
Encoding transition t_17_3 (76/200).
Encoding transition t_17_2 (77/200).
Encoding transition t_17_1 (78/200).
Encoding transition t_17_0 (79/200).
Encoding transition t_40_3 (80/200).
Encoding transition t_40_2 (81/200).
Encoding transition t_40_1 (82/200).
Encoding transition t_40_0 (83/200).
Encoding transition t_43_3 (84/200).
Encoding transition t_43_2 (85/200).
Encoding transition t_43_1 (86/200).
Encoding transition t_43_0 (87/200).
Encoding transition t_0_3 (88/200).
Encoding transition t_0_2 (89/200).
Encoding transition t_0_1 (90/200).
Encoding transition t_0_0 (91/200).
Encoding transition t_32_3 (92/200).
Encoding transition t_32_2 (93/200).
Encoding transition t_32_1 (94/200).
Encoding transition t_32_0 (95/200).
Encoding transition t_21_3 (96/200).
Encoding transition t_21_2 (97/200).
Encoding transition t_21_1 (98/200).
Encoding transition t_21_0 (99/200).
Encoding transition t_10_3 (100/200).
Encoding transition t_10_2 (101/200).
Encoding transition t_10_1 (102/200).
Encoding transition t_10_0 (103/200).
Encoding transition t_46_3 (104/200).
Encoding transition t_46_2 (105/200).
Encoding transition t_46_1 (106/200).
Encoding transition t_46_0 (107/200).
Encoding transition t_3_3 (108/200).
Encoding transition t_3_2 (109/200).
Encoding transition t_3_1 (110/200).
Encoding transition t_3_0 (111/200).
Encoding transition t_35_3 (112/200).
Encoding transition t_35_2 (113/200).
Encoding transition t_35_1 (114/200).
Encoding transition t_35_0 (115/200).
Encoding transition t_24_3 (116/200).
Encoding transition t_24_2 (117/200).
Encoding transition t_24_1 (118/200).
Encoding transition t_24_0 (119/200).
Encoding transition t_13_3 (120/200).
Encoding transition t_13_2 (121/200).
Encoding transition t_13_1 (122/200).
Encoding transition t_13_0 (123/200).
Encoding transition t_49_3 (124/200).
Encoding transition t_49_2 (125/200).
Encoding transition t_49_1 (126/200).
Encoding transition t_49_0 (127/200).
Encoding transition t_6_3 (128/200).
Encoding transition t_6_2 (129/200).
Encoding transition t_6_1 (130/200).
Encoding transition t_6_0 (131/200).
Encoding transition t_38_3 (132/200).
Encoding transition t_38_2 (133/200).
Encoding transition t_38_1 (134/200).
Encoding transition t_38_0 (135/200).
Encoding transition t_27_3 (136/200).
Encoding transition t_27_2 (137/200).
Encoding transition t_27_1 (138/200).
Encoding transition t_27_0 (139/200).
Encoding transition t_16_3 (140/200).
Encoding transition t_16_2 (141/200).
Encoding transition t_16_1 (142/200).
Encoding transition t_16_0 (143/200).
Encoding transition t_9_3 (144/200).
Encoding transition t_9_2 (145/200).
Encoding transition t_9_1 (146/200).
Encoding transition t_9_0 (147/200).
Encoding transition t_19_3 (148/200).
Encoding transition t_19_2 (149/200).
Encoding transition t_19_1 (150/200).
Encoding transition t_19_0 (151/200).
Encoding transition t_42_3 (152/200).
Encoding transition t_42_2 (153/200).
Encoding transition t_42_1 (154/200).
Encoding transition t_42_0 (155/200).
Encoding transition t_31_3 (156/200).
Encoding transition t_31_2 (157/200).
Encoding transition t_31_1 (158/200).
Encoding transition t_31_0 (159/200).
Encoding transition t_20_3 (160/200).
Encoding transition t_20_2 (161/200).
Encoding transition t_20_1 (162/200).
Encoding transition t_20_0 (163/200).
Encoding transition t_45_3 (164/200).
Encoding transition t_45_2 (165/200).
Encoding transition t_45_1 (166/200).
Encoding transition t_45_0 (167/200).
Encoding transition t_2_3 (168/200).
Encoding transition t_2_2 (169/200).
Encoding transition t_2_1 (170/200).
Encoding transition t_2_0 (171/200).
Encoding transition t_34_3 (172/200).
Encoding transition t_34_2 (173/200).
Encoding transition t_34_1 (174/200).
Encoding transition t_34_0 (175/200).
Encoding transition t_23_3 (176/200).
Encoding transition t_23_2 (177/200).
Encoding transition t_23_1 (178/200).
Encoding transition t_23_0 (179/200).
Encoding transition t_12_3 (180/200).
Encoding transition t_12_2 (181/200).
Encoding transition t_12_1 (182/200).
Encoding transition t_12_0 (183/200).
Encoding transition t_48_3 (184/200).
Encoding transition t_48_2 (185/200).
Encoding transition t_48_1 (186/200).
Encoding transition t_48_0 (187/200).
Encoding transition t_5_3 (188/200).
Encoding transition t_5_2 (189/200).
Encoding transition t_5_1 (190/200).
Encoding transition t_5_0 (191/200).
Encoding transition t_37_3 (192/200).
Encoding transition t_37_2 (193/200).
Encoding transition t_37_1 (194/200).
Encoding transition t_37_0 (195/200).
Encoding transition t_26_3 (196/200).
Encoding transition t_26_2 (197/200).
Encoding transition t_26_1 (198/200).
Encoding transition t_26_0 (199/200).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 11936KB
CANNOT_COMPUTE
BK_STOP 1400453148699
--------------------
content from stderr:
MEDDLY Error: Insufficient memory
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="ResAllocation-PT-R003C050"
export BK_EXAMINATION="ReachabilityComputeBounds"
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/ResAllocation-PT-R003C050.tgz
mv ResAllocation-PT-R003C050 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 ResAllocation-PT-R003C050, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r05kn-ovh1-140043890401029"
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 ;