About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5871.41 | 567431 | 144.2 | 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-020, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r07ks-ovh1-140068246301852
=====================================================================
--------------------
content from stdout:
BK_START 1400693056984
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseTokenRing (PT), instance 020
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 48 -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 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).
BK_STOP 1400693624871
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1751 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-020"
export BK_EXAMINATION="ReachabilityFireabilitySimple"
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-020.tgz
mv SurpriseTokenRing-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 SurpriseTokenRing-PT-020, examination is ReachabilityFireabilitySimple"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r07ks-ovh1-140068246301852"
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 ;