About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5367.53 | 594667 | 392.3 | 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 TokenRing-PT-010, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r05kn-ovh1-140043891101822
=====================================================================
--------------------
content from stdout:
BK_START 1400457156039
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running TokenRing (PT), instance 010
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 -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
Using FORCE Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition OtherProcess_3_6_0 (0/1111).
Encoding transition OtherProcess_2_3_5 (1/1111).
Encoding transition OtherProcess_5_4_10 (2/1111).
Encoding transition OtherProcess_10_8_1 (3/1111).
Encoding transition OtherProcess_3_5_10 (4/1111).
Encoding transition OtherProcess_8_2_8 (5/1111).
Encoding transition OtherProcess_4_0_9 (6/1111).
Encoding transition OtherProcess_7_8_10 (7/1111).
Encoding transition OtherProcess_7_10_4 (8/1111).
Encoding transition OtherProcess_3_2_5 (9/1111).
Encoding transition OtherProcess_2_4_6 (10/1111).
Encoding transition OtherProcess_5_3_6 (11/1111).
Encoding transition OtherProcess_6_8_0 (12/1111).
Encoding transition OtherProcess_10_10_7 (13/1111).
Encoding transition OtherProcess_4_1_6 (14/1111).
Encoding transition OtherProcess_9_3_5 (15/1111).
Encoding transition OtherProcess_6_1_6 (16/1111).
Encoding transition OtherProcess_7_3_2 (17/1111).
Encoding transition OtherProcess_1_2_1 (18/1111).
Encoding transition OtherProcess_4_1_8 (19/1111).
Encoding transition OtherProcess_10_9_4 (20/1111).
Encoding transition OtherProcess_3_6_3 (21/1111).
Encoding transition OtherProcess_3_9_0 (22/1111).
Encoding transition OtherProcess_3_5_7 (23/1111).
Encoding transition OtherProcess_10_8_2 (24/1111).
Encoding transition OtherProcess_3_3_8 (25/1111).
Encoding transition OtherProcess_9_6_4 (26/1111).
Encoding transition OtherProcess_1_7_1 (27/1111).
Encoding transition OtherProcess_5_6_0 (28/1111).
Encoding transition OtherProcess_6_2_3 (29/1111).
Encoding transition OtherProcess_1_8_1 (30/1111).
Encoding transition OtherProcess_10_6_7 (31/1111).
Encoding transition OtherProcess_8_6_10 (32/1111).
Encoding transition OtherProcess_2_7_0 (33/1111).
Encoding transition OtherProcess_10_9_0 (34/1111).
Encoding transition OtherProcess_4_1_7 (35/1111).
Encoding transition OtherProcess_10_3_10 (36/1111).
Encoding transition OtherProcess_7_3_5 (37/1111).
Encoding transition OtherProcess_6_10_8 (38/1111).
Encoding transition OtherProcess_6_1_10 (39/1111).
Encoding transition OtherProcess_2_8_3 (40/1111).
Encoding transition OtherProcess_10_9_1 (41/1111).
Encoding transition OtherProcess_9_5_10 (42/1111).
Encoding transition OtherProcess_9_10_1 (43/1111).
Encoding transition OtherProcess_3_6_2 (44/1111).
Encoding transition OtherProcess_7_9_4 (45/1111).
Encoding transition OtherProcess_4_0_1 (46/1111).
Encoding transition OtherProcess_4_5_2 (47/1111).
Encoding transition OtherProcess_2_8_10 (48/1111).
Encoding transition OtherProcess_1_5_6 (49/1111).
Encoding transition OtherProcess_3_2_6 (50/1111).
Encoding transition OtherProcess_4_3_4 (51/1111).
Encoding transition OtherProcess_6_2_9 (52/1111).
Encoding transition OtherProcess_8_0_3 (53/1111).
Encoding transition OtherProcess_4_5_3 (54/1111).
Encoding transition OtherProcess_9_9_8 (55/1111).
Encoding transition OtherProcess_6_2_0 (56/1111).
Encoding transition OtherProcess_9_2_9 (57/1111).
Encoding transition OtherProcess_10_8_4 (58/1111).
Encoding transition OtherProcess_2_0_10 (59/1111).
Encoding transition OtherProcess_9_3_9 (60/1111).
Encoding transition OtherProcess_2_4_8 (61/1111).
Encoding transition OtherProcess_4_5_10 (62/1111).
Encoding transition OtherProcess_4_7_9 (63/1111).
Encoding transition OtherProcess_7_10_2 (64/1111).
Encoding transition OtherProcess_2_4_7 (65/1111).
Encoding transition OtherProcess_8_1_0 (66/1111).
Encoding transition OtherProcess_5_1_9 (67/1111).
Encoding transition OtherProcess_7_4_8 (68/1111).
Encoding transition OtherProcess_3_7_3 (69/1111).
Encoding transition OtherProcess_1_3_10 (70/1111).
Encoding transition OtherProcess_8_1_7 (71/1111).
Encoding transition OtherProcess_9_7_0 (72/1111).
Encoding transition OtherProcess_3_5_9 (73/1111).
Encoding transition OtherProcess_10_3_9 (74/1111).
Encoding transition OtherProcess_1_6_5 (75/1111).
Encoding transition OtherProcess_6_9_6 (76/1111).
Encoding transition OtherProcess_10_8_3 (77/1111).
Encoding transition OtherProcess_1_5_4 (78/1111).
Encoding transition OtherProcess_6_5_7 (79/1111).
Encoding transition OtherProcess_9_8_6 (80/1111).
Encoding transition OtherProcess_7_0_7 (81/1111).
Encoding transition OtherProcess_8_8_5 (82/1111).
Encoding transition OtherProcess_2_5_9 (83/1111).
Encoding transition OtherProcess_8_9_8 (84/1111).
Encoding transition OtherProcess_8_10_9 (85/1111).
Encoding transition OtherProcess_8_0_5 (86/1111).
Encoding transition OtherProcess_1_7_6 (87/1111).
Encoding transition OtherProcess_7_1_0 (88/1111).
Encoding transition OtherProcess_7_4_1 (89/1111).
Encoding transition OtherProcess_9_9_1 (90/1111).
Encoding transition OtherProcess_6_7_8 (91/1111).
Encoding transition OtherProcess_6_9_7 (92/1111).
Encoding transition OtherProcess_7_6_10 (93/1111).
Encoding transition OtherProcess_6_4_7 (94/1111).
Encoding transition OtherProcess_4_4_1 (95/1111).
Encoding transition OtherProcess_1_6_4 (96/1111).
Encoding transition OtherProcess_5_4_2 (97/1111).
Encoding transition OtherProcess_4_1_4 (98/1111).
Encoding transition OtherProcess_4_0_8 (99/1111).
Encoding transition OtherProcess_8_5_0 (100/1111).
Encoding transition OtherProcess_2_4_1 (101/1111).
Encoding transition OtherProcess_1_7_9 (102/1111).
Encoding transition OtherProcess_2_7_2 (103/1111).
Encoding transition OtherProcess_10_4_5 (104/1111).
Encoding transition OtherProcess_1_6_8 (105/1111).
Encoding transition OtherProcess_1_7_4 (106/1111).
Encoding transition OtherProcess_8_9_2 (107/1111).
Encoding transition OtherProcess_5_1_5 (108/1111).
Encoding transition OtherProcess_4_4_0 (109/1111).
Encoding transition OtherProcess_2_5_4 (110/1111).
Encoding transition OtherProcess_5_9_5 (111/1111).
Encoding transition OtherProcess_8_2_1 (112/1111).
Encoding transition OtherProcess_5_2_7 (113/1111).
Encoding transition OtherProcess_10_9_2 (114/1111).
Encoding transition OtherProcess_5_0_6 (115/1111).
Encoding transition OtherProcess_10_6_5 (116/1111).
Encoding transition OtherProcess_7_1_2 (117/1111).
Encoding transition OtherProcess_5_9_8 (118/1111).
Encoding transition OtherProcess_9_9_4 (119/1111).
Encoding transition OtherProcess_8_7_6 (120/1111).
Encoding transition OtherProcess_4_6_7 (121/1111).
Encoding transition OtherProcess_4_3_6 (122/1111).
Encoding transition OtherProcess_1_10_7 (123/1111).
Encoding transition OtherProcess_8_9_5 (124/1111).
Encoding transition OtherProcess_3_5_1 (125/1111).
Encoding transition MainProcess_0 (126/1111).
Encoding transition OtherProcess_1_8_10 (127/1111).
Encoding transition OtherProcess_8_5_6 (128/1111).
Encoding transition OtherProcess_1_8_7 (129/1111).
Encoding transition OtherProcess_7_10_3 (130/1111).
Encoding transition OtherProcess_7_8_7 (131/1111).
Encoding transition OtherProcess_3_4_7 (132/1111).
Encoding transition OtherProcess_9_0_9 (133/1111).
Encoding transition OtherProcess_9_3_10 (134/1111).
Encoding transition OtherProcess_3_4_9 (135/1111).
Encoding transition OtherProcess_1_1_0 (136/1111).
Encoding transition OtherProcess_10_7_9 (137/1111).
Encoding transition OtherProcess_7_5_8 (138/1111).
Encoding transition OtherProcess_1_5_0 (139/1111).
Encoding transition OtherProcess_3_2_10 (140/1111).
Encoding transition OtherProcess_3_7_10 (141/1111).
Encoding transition OtherProcess_6_10_6 (142/1111).
Encoding transition OtherProcess_7_7_5 (143/1111).
Encoding transition OtherProcess_5_3_0 (144/1111).
Encoding transition OtherProcess_2_7_1 (145/1111).
Encoding transition OtherProcess_3_2_4 (146/1111).
Encoding transition OtherProcess_7_6_5 (147/1111).
Encoding transition OtherProcess_9_7_2 (148/1111).
Encoding transition OtherProcess_8_0_2 (149/1111).
Encoding transition OtherProcess_5_3_1 (150/1111).
Encoding transition OtherProcess_3_3_4 (151/1111).
Encoding transition OtherProcess_8_10_4 (152/1111).
Encoding transition OtherProcess_5_0_4 (153/1111).
Encoding transition OtherProcess_8_9_10 (154/1111).
Encoding transition OtherProcess_1_4_3 (155/1111).
Encoding transition OtherProcess_8_10_2 (156/1111).
Encoding transition OtherProcess_1_2_9 (157/1111).
Encoding transition OtherProcess_10_6_9 (158/1111).
Encoding transition OtherProcess_8_6_1 (159/1111).
Encoding transition OtherProcess_7_0_5 (160/1111).
Encoding transition OtherProcess_7_1_7 (161/1111).
Encoding transition OtherProcess_7_9_6 (162/1111).
Encoding transition OtherProcess_4_5_7 (163/1111).
Encoding transition OtherProcess_9_9_6 (164/1111).
Encoding transition OtherProcess_10_7_2 (165/1111).
Encoding transition OtherProcess_3_4_6 (166/1111).
Encoding transition OtherProcess_6_6_0 (167/1111).
Encoding transition OtherProcess_10_4_8 (168/1111).
Encoding transition OtherProcess_6_2_7 (169/1111).
Encoding transition OtherProcess_6_4_10 (170/1111).
Encoding transition OtherProcess_1_6_9 (171/1111).
Encoding transition OtherProcess_2_2_8 (172/1111).
Encoding transition OtherProcess_5_4_7 (173/1111).
Encoding transition OtherProcess_10_10_1 (174/1111).
Encoding transition OtherProcess_10_0_1 (175/1111).
Encoding transition OtherProcess_8_8_10 (176/1111).
Encoding transition OtherProcess_2_3_10 (177/1111).
Encoding transition OtherProcess_2_5_0 (178/1111).
Encoding transition OtherProcess_5_5_3 (179/1111).
Encoding transition OtherProcess_4_9_0 (180/1111).
Encoding transition OtherProcess_10_5_6 (181/1111).
Encoding transition OtherProcess_9_8_3 (182/1111).
Encoding transition OtherProcess_4_2_6 (183/1111).
Encoding transition OtherProcess_9_8_2 (184/1111).
Encoding transition OtherProcess_1_6_1 (185/1111).
Encoding transition OtherProcess_8_4_3 (186/1111).
Encoding transition OtherProcess_4_2_4 (187/1111).
Encoding transition OtherProcess_10_5_10 (188/1111).
Encoding transition OtherProcess_9_2_5 (189/1111).
Encoding transition OtherProcess_6_10_0 (190/1111).
Encoding transition OtherProcess_1_0_9 (191/1111).
Encoding transition OtherProcess_8_10_0 (192/1111).
Encoding transition OtherProcess_3_10_1 (193/1111).
Encoding transition OtherProcess_9_8_4 (194/1111).
Encoding transition OtherProcess_6_9_3 (195/1111).
Encoding transition OtherProcess_6_3_7 (196/1111).
Encoding transition OtherProcess_2_2_5 (197/1111).
Encoding transition OtherProcess_5_1_7 (198/1111).
Encoding transition OtherProcess_2_1_9 (199/1111).
Encoding transition OtherProcess_4_6_2 (200/1111).
Encoding transition OtherProcess_4_2_3 (201/1111).
Encoding transition OtherProcess_6_9_1 (202/1111).
Encoding transition OtherProcess_9_2_8 (203/1111).
Encoding transition OtherProcess_1_3_5 (204/1111).
Encoding transition OtherProcess_3_3_9 (205/1111).
Encoding transition OtherProcess_7_0_2 (206/1111).
Encoding transition OtherProcess_10_7_0 (207/1111).
Encoding transition OtherProcess_1_3_2 (208/1111).
Encoding transition OtherProcess_5_10_5 (209/1111).
Encoding transition OtherProcess_6_1_9 (210/1111).
Encoding transition OtherProcess_6_1_3 (211/1111).
Encoding transition OtherProcess_8_8_6 (212/1111).
Encoding transition OtherProcess_4_5_1 (213/1111).
Encoding transition OtherProcess_1_7_8 (214/1111).
Encoding transition OtherProcess_4_1_2 (215/1111).
Encoding transition OtherProcess_8_3_2 (216/1111).
Encoding transition OtherProcess_7_10_9 (217/1111).
Encoding transition OtherProcess_3_9_7 (218/1111).
Encoding transition OtherProcess_7_0_3 (219/1111).
Encoding transition OtherProcess_2_6_3 (220/1111).
Encoding transition OtherProcess_5_3_7 (221/1111).
Encoding transition OtherProcess_10_7_4 (222/1111).
Encoding transition OtherProcess_5_7_1 (223/1111).
Encoding transition OtherProcess_9_6_5 (224/1111).
Encoding transition OtherProcess_3_9_10 (225/1111).
Encoding transition OtherProcess_2_3_8 (226/1111).
Encoding transition OtherProcess_1_9_4 (227/1111).
Encoding transition OtherProcess_8_9_6 (228/1111).
Encoding transition OtherProcess_2_4_9 (229/1111).
Encoding transition OtherProcess_6_2_10 (230/1111).
Encoding transition OtherProcess_8_7_2 (231/1111).
Encoding transition OtherProcess_10_4_6 (232/1111).
Encoding transition OtherProcess_3_2_3 (233/1111).
Encoding transition OtherProcess_5_2_6 (234/1111).
Encoding transition OtherProcess_1_1_8 (235/1111).
Encoding transition OtherProcess_9_6_1 (236/1111).
Encoding transition OtherProcess_2_0_5 (237/1111).
Encoding transition OtherProcess_7_4_10 (238/1111).
Encoding transition OtherProcess_7_1_10 (239/1111).
Encoding transition OtherProcess_9_8_1 (240/1111).
Encoding transition OtherProcess_8_6_8 (241/1111).
Encoding transition OtherProcess_7_8_5 (242/1111).
Encoding transition OtherProcess_4_0_6 (243/1111).
Encoding transition OtherProcess_9_0_5 (244/1111).
Encoding transition OtherProcess_9_7_8 (245/1111).
Encoding transition OtherProcess_6_7_3 (246/1111).
BK_STOP 1400457751244
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1715 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="TokenRing-PT-010"
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/TokenRing-PT-010.tgz
mv TokenRing-PT-010 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 TokenRing-PT-010, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r05kn-ovh1-140043891101822"
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 ;