About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5602.59 | 663807 | 1232.1 | 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-020, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r05kn-ovh1-140043891101849
=====================================================================
--------------------
content from stdout:
BK_START 1400457795073
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running TokenRing (PT), instance 020
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityBounds.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_9_8_7 (0/8421).
Encoding transition OtherProcess_14_10_20 (1/8421).
Encoding transition OtherProcess_9_4_17 (2/8421).
Encoding transition OtherProcess_14_19_7 (3/8421).
Encoding transition OtherProcess_19_9_6 (4/8421).
Encoding transition OtherProcess_15_11_2 (5/8421).
Encoding transition OtherProcess_16_2_19 (6/8421).
Encoding transition OtherProcess_12_0_10 (7/8421).
Encoding transition OtherProcess_4_20_16 (8/8421).
Encoding transition OtherProcess_13_14_19 (9/8421).
Encoding transition OtherProcess_9_4_12 (10/8421).
Encoding transition OtherProcess_6_16_6 (11/8421).
Encoding transition OtherProcess_19_19_4 (12/8421).
Encoding transition OtherProcess_12_7_12 (13/8421).
Encoding transition OtherProcess_9_16_11 (14/8421).
Encoding transition OtherProcess_18_18_19 (15/8421).
Encoding transition OtherProcess_9_1_16 (16/8421).
Encoding transition OtherProcess_19_14_6 (17/8421).
Encoding transition OtherProcess_8_14_19 (18/8421).
Encoding transition OtherProcess_17_14_4 (19/8421).
Encoding transition OtherProcess_5_5_3 (20/8421).
Encoding transition OtherProcess_5_5_11 (21/8421).
Encoding transition OtherProcess_11_13_9 (22/8421).
Encoding transition OtherProcess_10_0_8 (23/8421).
Encoding transition OtherProcess_11_14_17 (24/8421).
Encoding transition OtherProcess_20_1_3 (25/8421).
Encoding transition OtherProcess_17_9_18 (26/8421).
Encoding transition OtherProcess_12_11_0 (27/8421).
Encoding transition OtherProcess_13_2_15 (28/8421).
Encoding transition OtherProcess_2_18_17 (29/8421).
Encoding transition OtherProcess_20_5_13 (30/8421).
Encoding transition OtherProcess_6_16_15 (31/8421).
Encoding transition OtherProcess_15_12_6 (32/8421).
Encoding transition OtherProcess_5_17_1 (33/8421).
Encoding transition OtherProcess_8_14_18 (34/8421).
Encoding transition OtherProcess_18_12_10 (35/8421).
Encoding transition OtherProcess_16_6_9 (36/8421).
Encoding transition OtherProcess_13_17_1 (37/8421).
Encoding transition OtherProcess_8_6_1 (38/8421).
Encoding transition OtherProcess_13_8_18 (39/8421).
Encoding transition OtherProcess_1_0_16 (40/8421).
Encoding transition OtherProcess_14_3_19 (41/8421).
Encoding transition OtherProcess_11_6_8 (42/8421).
Encoding transition OtherProcess_4_10_1 (43/8421).
Encoding transition OtherProcess_1_16_14 (44/8421).
Encoding transition OtherProcess_2_13_8 (45/8421).
Encoding transition OtherProcess_4_14_11 (46/8421).
Encoding transition OtherProcess_14_4_18 (47/8421).
Encoding transition OtherProcess_16_9_8 (48/8421).
Encoding transition OtherProcess_16_14_4 (49/8421).
Encoding transition OtherProcess_5_15_9 (50/8421).
Encoding transition OtherProcess_7_20_8 (51/8421).
Encoding transition OtherProcess_18_3_19 (52/8421).
Encoding transition OtherProcess_18_10_7 (53/8421).
Encoding transition OtherProcess_1_7_15 (54/8421).
Encoding transition OtherProcess_13_16_4 (55/8421).
Encoding transition OtherProcess_16_15_14 (56/8421).
Encoding transition OtherProcess_7_14_7 (57/8421).
Encoding transition MainProcess_2 (58/8421).
Encoding transition OtherProcess_11_3_13 (59/8421).
Encoding transition OtherProcess_8_16_13 (60/8421).
Encoding transition OtherProcess_9_16_7 (61/8421).
Encoding transition OtherProcess_4_11_14 (62/8421).
Encoding transition OtherProcess_18_9_17 (63/8421).
Encoding transition OtherProcess_15_4_6 (64/8421).
Encoding transition OtherProcess_3_4_18 (65/8421).
Encoding transition OtherProcess_2_6_7 (66/8421).
Encoding transition OtherProcess_16_5_7 (67/8421).
Encoding transition OtherProcess_7_19_1 (68/8421).
Encoding transition OtherProcess_18_5_11 (69/8421).
Encoding transition OtherProcess_17_9_0 (70/8421).
Encoding transition OtherProcess_16_12_16 (71/8421).
Encoding transition OtherProcess_12_15_12 (72/8421).
Encoding transition OtherProcess_19_0_12 (73/8421).
Encoding transition OtherProcess_19_3_20 (74/8421).
Encoding transition OtherProcess_2_19_2 (75/8421).
Encoding transition OtherProcess_3_11_0 (76/8421).
Encoding transition OtherProcess_20_6_16 (77/8421).
Encoding transition OtherProcess_18_8_5 (78/8421).
Encoding transition OtherProcess_15_0_20 (79/8421).
Encoding transition OtherProcess_5_18_11 (80/8421).
Encoding transition OtherProcess_16_19_9 (81/8421).
Encoding transition OtherProcess_15_3_20 (82/8421).
Encoding transition OtherProcess_2_17_0 (83/8421).
Encoding transition OtherProcess_7_1_4 (84/8421).
Encoding transition OtherProcess_17_18_5 (85/8421).
Encoding transition OtherProcess_17_19_13 (86/8421).
Encoding transition OtherProcess_8_15_6 (87/8421).
Encoding transition OtherProcess_19_7_18 (88/8421).
Encoding transition OtherProcess_15_16_0 (89/8421).
Encoding transition OtherProcess_7_5_17 (90/8421).
Encoding transition OtherProcess_12_12_4 (91/8421).
Encoding transition OtherProcess_6_0_20 (92/8421).
Encoding transition OtherProcess_19_15_11 (93/8421).
Encoding transition OtherProcess_3_13_11 (94/8421).
Encoding transition OtherProcess_17_1_7 (95/8421).
Encoding transition OtherProcess_10_19_3 (96/8421).
Encoding transition OtherProcess_2_14_13 (97/8421).
Encoding transition OtherProcess_20_9_20 (98/8421).
Encoding transition OtherProcess_19_8_19 (99/8421).
Encoding transition OtherProcess_20_15_8 (100/8421).
Encoding transition OtherProcess_13_20_4 (101/8421).
Encoding transition OtherProcess_20_4_1 (102/8421).
Encoding transition OtherProcess_14_15_0 (103/8421).
Encoding transition OtherProcess_3_7_12 (104/8421).
Encoding transition OtherProcess_16_18_5 (105/8421).
Encoding transition OtherProcess_5_16_4 (106/8421).
Encoding transition OtherProcess_10_8_13 (107/8421).
Encoding transition OtherProcess_10_5_10 (108/8421).
Encoding transition OtherProcess_18_17_5 (109/8421).
Encoding transition OtherProcess_7_20_14 (110/8421).
Encoding transition OtherProcess_9_12_5 (111/8421).
Encoding transition OtherProcess_9_9_13 (112/8421).
Encoding transition OtherProcess_2_2_8 (113/8421).
Encoding transition OtherProcess_20_19_14 (114/8421).
Encoding transition OtherProcess_1_11_5 (115/8421).
Encoding transition OtherProcess_2_15_19 (116/8421).
Encoding transition OtherProcess_12_9_19 (117/8421).
Encoding transition OtherProcess_16_11_9 (118/8421).
Encoding transition OtherProcess_16_1_4 (119/8421).
Encoding transition OtherProcess_4_10_14 (120/8421).
Encoding transition OtherProcess_8_11_3 (121/8421).
Encoding transition OtherProcess_9_0_13 (122/8421).
Encoding transition OtherProcess_14_15_17 (123/8421).
Encoding transition OtherProcess_8_12_10 (124/8421).
Encoding transition OtherProcess_17_18_13 (125/8421).
Encoding transition OtherProcess_17_11_9 (126/8421).
Encoding transition OtherProcess_6_16_20 (127/8421).
Encoding transition OtherProcess_14_1_12 (128/8421).
Encoding transition OtherProcess_6_10_8 (129/8421).
Encoding transition OtherProcess_4_15_14 (130/8421).
Encoding transition OtherProcess_13_17_4 (131/8421).
Encoding transition OtherProcess_9_7_6 (132/8421).
Encoding transition OtherProcess_12_18_13 (133/8421).
Encoding transition OtherProcess_15_20_8 (134/8421).
Encoding transition OtherProcess_12_17_19 (135/8421).
Encoding transition OtherProcess_12_5_8 (136/8421).
Encoding transition OtherProcess_6_2_12 (137/8421).
Encoding transition OtherProcess_18_19_17 (138/8421).
Encoding transition OtherProcess_20_13_18 (139/8421).
Encoding transition OtherProcess_19_11_0 (140/8421).
Encoding transition OtherProcess_16_15_0 (141/8421).
Encoding transition OtherProcess_12_17_4 (142/8421).
Encoding transition OtherProcess_10_11_4 (143/8421).
Encoding transition OtherProcess_12_11_5 (144/8421).
Encoding transition OtherProcess_10_19_8 (145/8421).
Encoding transition OtherProcess_12_1_6 (146/8421).
Encoding transition OtherProcess_17_6_9 (147/8421).
Encoding transition OtherProcess_19_20_19 (148/8421).
Encoding transition OtherProcess_13_8_5 (149/8421).
Encoding transition OtherProcess_3_17_8 (150/8421).
Encoding transition OtherProcess_14_10_15 (151/8421).
Encoding transition OtherProcess_8_14_8 (152/8421).
Encoding transition OtherProcess_10_16_10 (153/8421).
Encoding transition OtherProcess_8_4_12 (154/8421).
Encoding transition OtherProcess_10_11_2 (155/8421).
Encoding transition OtherProcess_1_17_19 (156/8421).
Encoding transition OtherProcess_1_3_11 (157/8421).
Encoding transition OtherProcess_10_19_17 (158/8421).
Encoding transition OtherProcess_7_5_7 (159/8421).
Encoding transition OtherProcess_12_11_19 (160/8421).
Encoding transition OtherProcess_20_18_8 (161/8421).
Encoding transition OtherProcess_2_3_16 (162/8421).
Encoding transition OtherProcess_13_6_5 (163/8421).
Encoding transition OtherProcess_12_1_10 (164/8421).
Encoding transition OtherProcess_3_0_11 (165/8421).
Encoding transition OtherProcess_9_17_5 (166/8421).
Encoding transition OtherProcess_6_18_19 (167/8421).
Encoding transition OtherProcess_11_19_18 (168/8421).
Encoding transition OtherProcess_14_5_1 (169/8421).
Encoding transition OtherProcess_12_20_17 (170/8421).
Encoding transition OtherProcess_10_9_0 (171/8421).
Encoding transition OtherProcess_13_2_0 (172/8421).
Encoding transition OtherProcess_13_2_1 (173/8421).
Encoding transition OtherProcess_6_7_20 (174/8421).
Encoding transition OtherProcess_4_8_9 (175/8421).
Encoding transition OtherProcess_4_10_18 (176/8421).
Encoding transition OtherProcess_15_13_17 (177/8421).
Encoding transition OtherProcess_3_8_5 (178/8421).
Encoding transition OtherProcess_4_12_2 (179/8421).
Encoding transition OtherProcess_18_0_13 (180/8421).
Encoding transition OtherProcess_10_4_10 (181/8421).
Encoding transition OtherProcess_7_17_6 (182/8421).
Encoding transition OtherProcess_8_14_15 (183/8421).
Encoding transition OtherProcess_17_3_6 (184/8421).
Encoding transition OtherProcess_1_11_2 (185/8421).
Encoding transition OtherProcess_3_17_2 (186/8421).
Encoding transition OtherProcess_17_12_11 (187/8421).
Encoding transition OtherProcess_4_19_10 (188/8421).
Encoding transition OtherProcess_7_18_5 (189/8421).
Encoding transition OtherProcess_8_3_12 (190/8421).
Encoding transition OtherProcess_18_11_12 (191/8421).
Encoding transition OtherProcess_13_6_1 (192/8421).
Encoding transition OtherProcess_19_7_0 (193/8421).
Encoding transition OtherProcess_5_3_16 (194/8421).
Encoding transition OtherProcess_11_4_10 (195/8421).
Encoding transition OtherProcess_12_10_18 (196/8421).
Encoding transition OtherProcess_11_18_4 (197/8421).
Encoding transition OtherProcess_6_1_0 (198/8421).
Encoding transition OtherProcess_5_10_17 (199/8421).
Encoding transition OtherProcess_16_7_13 (200/8421).
Encoding transition OtherProcess_8_14_20 (201/8421).
Encoding transition OtherProcess_11_14_11 (202/8421).
Encoding transition OtherProcess_14_17_2 (203/8421).
Encoding transition OtherProcess_11_6_19 (204/8421).
Encoding transition OtherProcess_5_11_7 (205/8421).
Encoding transition OtherProcess_4_4_8 (206/8421).
Encoding transition OtherProcess_20_4_14 (207/8421).
Encoding transition OtherProcess_10_3_1 (208/8421).
Encoding transition OtherProcess_19_3_11 (209/8421).
Encoding transition OtherProcess_8_18_1 (210/8421).
Encoding transition OtherProcess_14_0_19 (211/8421).
Encoding transition OtherProcess_17_11_7 (212/8421).
Encoding transition OtherProcess_12_5_10 (213/8421).
Encoding transition OtherProcess_10_19_18 (214/8421).
Encoding transition OtherProcess_9_16_8 (215/8421).
Encoding transition OtherProcess_13_19_12 (216/8421).
Encoding transition OtherProcess_20_18_11 (217/8421).
Encoding transition OtherProcess_14_0_8 (218/8421).
Encoding transition OtherProcess_7_3_19 (219/8421).
Encoding transition OtherProcess_16_9_5 (220/8421).
Encoding transition OtherProcess_20_0_18 (221/8421).
Encoding transition OtherProcess_13_18_12 (222/8421).
Encoding transition OtherProcess_18_16_4 (223/8421).
Encoding transition OtherProcess_15_13_19 (224/8421).
Encoding transition OtherProcess_9_9_11 (225/8421).
Encoding transition OtherProcess_15_5_11 (226/8421).
Encoding transition OtherProcess_11_20_17 (227/8421).
Encoding transition OtherProcess_20_19_18 (228/8421).
Encoding transition OtherProcess_12_8_3 (229/8421).
Encoding transition OtherProcess_15_4_3 (230/8421).
Encoding transition OtherProcess_13_13_5 (231/8421).
Encoding transition OtherProcess_3_0_4 (232/8421).
Encoding transition OtherProcess_6_5_10 (233/8421).
Encoding transition OtherProcess_3_11_18 (234/8421).
Encoding transition OtherProcess_15_16_13 (235/8421).
Encoding transition OtherProcess_18_9_13 (236/8421).
Encoding transition OtherProcess_5_12_19 (237/8421).
Encoding transition OtherProcess_17_13_2 (238/8421).
Encoding transition OtherProcess_6_7_14 (239/8421).
Encoding transition OtherProcess_11_9_15 (240/8421).
Encoding transition OtherProcess_13_15_19 (241/8421).
Encoding transition OtherProcess_6_16_2 (242/8421).
Encoding transition OtherProcess_9_10_20 (243/8421).
Encoding transition OtherProcess_4_9_15 (244/8421).
Encoding transition OtherProcess_15_0_13 (245/8421).
Encoding transition OtherProcess_7_2_16 (246/8421).
Encoding transition OtherProcess_19_15_16 (247/8421).
Encoding transition OtherProcess_4_11_12 (248/8421).
Encoding transition OtherProcess_14_20_0 (249/8421).
Encoding transition OtherProcess_20_16_1 (250/8421).
Encoding transition OtherProcess_15_19_5 (251/8421).
Encoding transition OtherProcess_6_19_13 (252/8421).
Encoding transition OtherProcess_20_2_4 (253/8421).
Encoding transition OtherProcess_17_11_0 (254/8421).
Encoding transition OtherProcess_9_4_20 (255/8421).
Encoding transition OtherProcess_14_2_20 (256/8421).
Encoding transition OtherProcess_11_0_5 (257/8421).
Encoding transition OtherProcess_20_13_4 (258/8421).
Encoding transition OtherProcess_18_12_2 (259/8421).
Encoding transition OtherProcess_17_7_17 (260/8421).
Encoding transition OtherProcess_5_6_13 (261/8421).
Encoding transition OtherProcess_1_18_8 (262/8421).
Encoding transition OtherProcess_18_12_4 (263/8421).
Encoding transition OtherProcess_16_9_1 (264/8421).
Encoding transition OtherProcess_16_15_1 (265/8421).
Encoding transition OtherProcess_10_10_16 (266/8421).
Encoding transition OtherProcess_20_16_5 (267/8421).
Encoding transition OtherProcess_12_3_0 (268/8421).
Encoding transition OtherProcess_5_15_17 (269/8421).
BK_STOP 1400458460310
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1748 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-020"
export BK_EXAMINATION="ReachabilityBounds"
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-020.tgz
mv TokenRing-PT-020 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-020, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r05kn-ovh1-140043891101849"
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 ;