About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
3898.85 | 1284956 | 203.6 | 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-1667
Executing tool greatspn
Input is Echo-PT-d03r03, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r01kn-qhx2-140025665901029
=====================================================================
--------------------
content from stdout:
BK_START 1400271397546
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Echo (PT), instance d03r03
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/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 t1 (0/206).
Encoding transition t10 (1/206).
Encoding transition t100 (2/206).
Encoding transition t101 (3/206).
Encoding transition t102 (4/206).
Encoding transition t103 (5/206).
Encoding transition t104 (6/206).
Encoding transition t105 (7/206).
Encoding transition t106 (8/206).
Encoding transition t107 (9/206).
Encoding transition t108 (10/206).
Encoding transition t109 (11/206).
Encoding transition t11 (12/206).
Encoding transition t110 (13/206).
Encoding transition t111 (14/206).
Encoding transition t112 (15/206).
Encoding transition t113 (16/206).
Encoding transition t114 (17/206).
Encoding transition t115 (18/206).
Encoding transition t116 (19/206).
Encoding transition t117 (20/206).
Encoding transition t118 (21/206).
Encoding transition t119 (22/206).
Encoding transition t12 (23/206).
Encoding transition t120 (24/206).
Encoding transition t121 (25/206).
Encoding transition t122 (26/206).
Encoding transition t123 (27/206).
Encoding transition t124 (28/206).
Encoding transition t125 (29/206).
Encoding transition t126 (30/206).
Encoding transition t127 (31/206).
Encoding transition t128 (32/206).
Encoding transition t129 (33/206).
Encoding transition t13 (34/206).
Encoding transition t130 (35/206).
Encoding transition t131 (36/206).
Encoding transition t132 (37/206).
Encoding transition t133 (38/206).
Encoding transition t134 (39/206).
Encoding transition t135 (40/206).
Encoding transition t136 (41/206).
Encoding transition t137 (42/206).
Encoding transition t138 (43/206).
Encoding transition t139 (44/206).
Encoding transition t14 (45/206).
Encoding transition t140 (46/206).
Encoding transition t141 (47/206).
Encoding transition t142 (48/206).
Encoding transition t143 (49/206).
Encoding transition t144 (50/206).
Encoding transition t145 (51/206).
Encoding transition t146 (52/206).
Encoding transition t147 (53/206).
Encoding transition t148 (54/206).
Encoding transition t149 (55/206).
Encoding transition t15 (56/206).
Encoding transition t150 (57/206).
Encoding transition t151 (58/206).
Encoding transition t152 (59/206).
Encoding transition t153 (60/206).
Encoding transition t154 (61/206).
Encoding transition t155 (62/206).
Encoding transition t156 (63/206).
Encoding transition t157 (64/206).
Encoding transition t158 (65/206).
Encoding transition t159 (66/206).
Encoding transition t16 (67/206).
Encoding transition t160 (68/206).
Encoding transition t161 (69/206).
Encoding transition t162 (70/206).
Encoding transition t163 (71/206).
Encoding transition t164 (72/206).
Encoding transition t165 (73/206).
Encoding transition t166 (74/206).
Encoding transition t167 (75/206).
Encoding transition t168 (76/206).
Encoding transition t169 (77/206).
Encoding transition t17 (78/206).
Encoding transition t170 (79/206).
Encoding transition t171 (80/206).
Encoding transition t172 (81/206).
Encoding transition t173 (82/206).
Encoding transition t174 (83/206).
Encoding transition t175 (84/206).
Encoding transition t176 (85/206).
Encoding transition t177 (86/206).
Encoding transition t178 (87/206).
Encoding transition t179 (88/206).
Encoding transition t18 (89/206).
Encoding transition t180 (90/206).
Encoding transition t181 (91/206).
Encoding transition t182 (92/206).
Encoding transition t183 (93/206).
Encoding transition t184 (94/206).
Encoding transition t185 (95/206).
Encoding transition t186 (96/206).
Encoding transition t187 (97/206).
Encoding transition t188 (98/206).
Encoding transition t189 (99/206).
Encoding transition t19 (100/206).
Encoding transition t190 (101/206).
Encoding transition t191 (102/206).
Encoding transition t192 (103/206).
Encoding transition t193 (104/206).
Encoding transition t194 (105/206).
Encoding transition t195 (106/206).
Encoding transition t196 (107/206).
Encoding transition t197 (108/206).
Encoding transition t198 (109/206).
Encoding transition t199 (110/206).
Encoding transition t2 (111/206).
Encoding transition t20 (112/206).
Encoding transition t200 (113/206).
Encoding transition t201 (114/206).
Encoding transition t202 (115/206).
Encoding transition t203 (116/206).
Encoding transition t204 (117/206).
Encoding transition t205 (118/206).
Encoding transition t206 (119/206).
Encoding transition t21 (120/206).
Encoding transition t22 (121/206).
Encoding transition t23 (122/206).
Encoding transition t24 (123/206).
Encoding transition t25 (124/206).
Encoding transition t26 (125/206).
Encoding transition t27 (126/206).
Encoding transition t28 (127/206).
Encoding transition t29 (128/206).
Encoding transition t3 (129/206).
Encoding transition t30 (130/206).
Encoding transition t31 (131/206).
Encoding transition t32 (132/206).
Encoding transition t33 (133/206).
Encoding transition t34 (134/206).
Encoding transition t35 (135/206).
Encoding transition t36 (136/206).
Encoding transition t37 (137/206).
Encoding transition t38 (138/206).
Encoding transition t39 (139/206).
Encoding transition t4 (140/206).
Encoding transition t40 (141/206).
Encoding transition t41 (142/206).
Encoding transition t42 (143/206).
Encoding transition t43 (144/206).
Encoding transition t44 (145/206).
Encoding transition t45 (146/206).
Encoding transition t46 (147/206).
Encoding transition t47 (148/206).
Encoding transition t48 (149/206).
Encoding transition t49 (150/206).
Encoding transition t5 (151/206).
Encoding transition t50 (152/206).
Encoding transition t51 (153/206).
Encoding transition t52 (154/206).
Encoding transition t53 (155/206).
Encoding transition t54 (156/206).
Encoding transition t55 (157/206).
Encoding transition t56 (158/206).
Encoding transition t57 (159/206).
Encoding transition t58 (160/206).
Encoding transition t59 (161/206).
Encoding transition t6 (162/206).
Encoding transition t60 (163/206).
Encoding transition t61 (164/206).
Encoding transition t62 (165/206).
Encoding transition t63 (166/206).
Encoding transition t64 (167/206).
Encoding transition t65 (168/206).
Encoding transition t66 (169/206).
Encoding transition t67 (170/206).
Encoding transition t68 (171/206).
Encoding transition t69 (172/206).
Encoding transition t7 (173/206).
Encoding transition t70 (174/206).
Encoding transition t71 (175/206).
Encoding transition t72 (176/206).
Encoding transition t73 (177/206).
Encoding transition t74 (178/206).
Encoding transition t75 (179/206).
Encoding transition t76 (180/206).
Encoding transition t77 (181/206).
Encoding transition t78 (182/206).
Encoding transition t79 (183/206).
Encoding transition t8 (184/206).
Encoding transition t80 (185/206).
Encoding transition t81 (186/206).
Encoding transition t82 (187/206).
Encoding transition t83 (188/206).
Encoding transition t84 (189/206).
Encoding transition t85 (190/206).
Encoding transition t86 (191/206).
Encoding transition t87 (192/206).
Encoding transition t88 (193/206).
Encoding transition t89 (194/206).
Encoding transition t9 (195/206).
Encoding transition t90 (196/206).
Encoding transition t91 (197/206).
Encoding transition t92 (198/206).
Encoding transition t93 (199/206).
Encoding transition t94 (200/206).
Encoding transition t95 (201/206).
Encoding transition t96 (202/206).
Encoding transition t97 (203/206).
Encoding transition t98 (204/206).
Encoding transition t99 (205/206).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 13176KB
CANNOT_COMPUTE
BK_STOP 1400272682643
--------------------
content from stderr:
Cannot read input file model.bnd
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="Echo-PT-d03r03"
export BK_EXAMINATION="ReachabilityComputeBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/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/Echo-PT-d03r03.tgz
mv Echo-PT-d03r03 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is Echo-PT-d03r03, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r01kn-qhx2-140025665901029"
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 ;