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 marcie
Input is Diffusion2D-PT-D20N150, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150000612
=====================================================================

--------------------
content from stdout:

BK_START 1401984514577

Marcie rev. 1291 (build: mcc on 2014-04-30)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 400 NrTr: 2964)

net check time: 0m0sec

place and transition orderings generation:0m0sec

init dd package: 0m0sec


BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m0sec

555 655 785 1017 1040 1157 1204 1252 1299 1334 1368 1403 1437 1483 1536 1588 1631 1671 1711 1751 1779 1808 1836 1865 1893 1925 1957 1989 2021 2054 2094 2134 2174 2214 2254 2294 2334 2361 2379 2397 2416 2434 2452 2470 2488 2508 2531 2555 2578 2601 2624 2648 2683 2720 2757 2794 2825 2855 2886 2916 2946 2967 2987 3006 3026 3046 3065 3085 3104 3124 3144 3163 3183 3202 3222 3242 3262 3283 3305 3326 3347 3368 3390 3415 3445 3476 3506 3536 3566 3597 3627 3657 3688 3707 3717 3728 3738 3749 3759 3770 3780 3791 3801 3812 3822 3833 3843 3855 3868 3881 3894 3907 3920 3933 3946 3958 3971 3984 3997 4013 4030 4047 4064 4081 4098 4115 4132 4149 4176 4205 4233 4262 4290 4316 4341 4365 4389 4414 4438 4458 4473 4488 4503 4517 4532 4547 4562 4577 4592 4607 4622 4637 4652 4667 4682 4696 4711 4726 4741 4756 4771 4786 4801 4816 4831 4846 4861 4875 4890 4906 4921 4937 4953 4969 4985 5001 5017 5032 5048 5071 5096 5120 5145 5169 5193 5218 5242 5266 5291 5315 5340 5355 5363 5371 5378 5386 5394 5402 5410 5418 5426 5434 5441 5449 5457 5465 5473 5481 5489 5497 5504 5512 5520 5528 5536 5544 5552 5560 5568 5576 5584 5592 5600 5608 5616 5624 5632 5640 5648 5658 5668 5678 5687 5697 5707 5717 5727 5737 5747 5757 5767 5777 5786 5796 5808 5822 5835 5848 5862 5875 5888 5902 5915 5928 5942 5958 5981 6004 6028 6051 6074 6097 6118 6138 6159 6179 6200 6220 6241 6257 6269 6281 6293 6305 6317 6329 6341 6353 6365 6377 6389 6401 6413 6425 6437 6449 6461 6473 6485 6497 6510 6522 6534 6546 6558 6570 6582 6594 6606 6618 6630 6642 6654 6666 6678 6690 6702 6714 6726 6738 6750 6762 6774 6786 6798 6811 6823 6835 6847 6859 6872 6884 6897 6910 6922 6935 6948 6960 6973 6986 6998 7017 7038 7058 7078 7099 7119 7140 7160 7180 7201 7221 7242 7262 7282 7309 7386 7460 7518 7577 7609 7623 7637 7651 7665 7679 7693 7708 7722 7736 7750 7781 7813 7845 7878 7903 7911 7918 7926 7934 7942 7950 7958 7966 7974 7981 7989 7997 8005 8013 8021 8029 8037 8044 8052 8058 8063 8069 8075 8080 8086 8092 8098 8103 8109 8115 8120 8126 8132 8138 8143 8149 8155 8160 8166 8172 8178 8183 8189 8195 8200 8206 8211 8216 8221 8227 8232 8237 8242 8247 8253 8258 8263 8268 8274 8279 8284 8289 8295 8300 8305 8310 8316 8321 8326 8331 8336 8342 8347 8352 8357 8362 8366 8371 8376 8381 8386 8391 8395 8400 8405 8410 8415 8420 8424 8429 8434 8439 8444 8449 8453 8458 8463 8468 8473 8478 8482 8487 8492 8497 8503 8511 8520 8528 8537 8545 8554 8562 8571 8580 8588 8597 8605 8614 8622 8631 8639 8648 8663 8681 8699 8718 8736 8754 8772 8790 8804 8811 8818 8825 8832 8840 8847 8854 8861 8868 8876 8883 8890 8897 8904 8912 8919 8926 8933 8940 8948 8954 8961 8967 8974 8980 8986 8993 8999 9006 9012 9019 9025 9032 9038 9045 9051 9057 9064 9070 9077 9083 9090 9096 9102 9108 9114 9120 9126 9132 9137 9143 9149 9155 9161 9167 9173 9178 9184 9190 9196 9202 9208 9213 9219 9225 9231 9237 9243 9249 9260 9274 9288 9302 9316 9330 9344 9358 9373 9387 9401 9422 9443 9464 9486 9507 9528 9550 9563 9576 9589 9602 9615 9628 9641 9654 9667 9680 9693 9706 9719 9732 9745 9758 9771 9784 9796 9809 9822 9835 9848 9866 9884 9902 9920 9938 9957 9975 9993 10015 10041 10067 10092 10118 10143 10162 10179 10195 10211 10228 10244 10261 10277 10293 10315 10341 10366 10392 10417 10443 10473 10505 10538 10570 10601 10607 10613 10619 10625 10631 10637 10643 10649 10655 10661 10667 10673 10679 10685 10691 10697 10703 10709 10715 10721 10727 10733 10739 10744 10750 10756 10761 10767 10772 10778 10783 10789 10794 10800 10805 10811 10816 10822 10827 10832 10838 10843 10849 10854 10860 10865 10871 10876 10882 10887 10893 10898 10903 10908 10913 10918 10923 10928 10933 10938 10943 10948 10953 10958 10963 10969 10974 10979 10984 10989 10994 10999 11004 11009 11014 11019 11024 11029 11034 11039 11044 11049 11054 11058 11063 11068 11072 11077 11082 11086 11091 11096 11100 11105 11109 11114 11119 11123 11128 11133 11137 11142 11147 11151 11156 11161 11165 11170 11175 11179 11184 11189 11193 11198 11202 11207 11211 11215 11220 11224 11228 11233 11237 11241 11246 11250 11254 11259 11263 11267 11272 11276 11280 11285 11289 11293 11298 11302 11306 11311 11315 11319 11324 11328 11332 11337 11341 11345 11350 11354 11358 11362 11366 11370 11374 11378 11382 11386 11390 11394 11399 11403 11407 11411 11415 11419 11423 11427 11431 11435 11439 11443 11447 11452 11456 11460 11464 11468 11472 11476 11480 11484 11488 11492 11496 11501 11523 11545 11567 11589 11612 11634 11655 11675 11695 11715 11735 11755 11775 11795 11814 11833 11851 11870 11888 11907 11925 11944 11962 11981 11999 12018 12036 12055 12073 12092 12110 12129 12147 12166 12184 12203 12221 12240 12262 12289 12316 12343 12370 12397 12421 12445 12469 12492 12516 12540 12593 12670 12734 12789 12845 12866 12884 12902 12920 12938 12956 12974 12991 13017 13050 13083 13117 13150 13166 13181 13197 13213 13228 13244 13260 13275 13291 13314 13349 13385 13421 13453 13467 13481 13494 13508 13522 13536 13550 13564 13578 13592 13614 13653 13691 13730 13754 13762 13771 13779 13787 13795 13803 13812 13820 13828 13836 13844 13853 13861 13869 13877 13885 13894 13901 13904 13906 13909 13912 13915 13917 13920 13923 13926 13928 13931 13934 13937 13939 13942 13945 13947 13950 13953 13956 13958 13961 13964 13967 13969 13972 13975 13978 13980 13983 13986 13989 13991 13994 13997 14000 14002 14005 14008 14010 14013 14016 14019 14021 14024 14027 14030 14032 14035 14038 14041 14043 14046 14049 14051 14054 14056 14058 14060 14062 14065 14067 14069 14071 14073 14076 14078 14080 14082 14084 14087 14089 14091 14093 14095 14097 14100 14102 14104 14106 14108 14111 14113 14115 14117 14119 14122 14124 14126 14128 14130 14133 14135 14137 14139 14141 14144 14146 14148 14150 14152 14155 14157 14159 14161 14163 14166 14168 14170 14172 14174 14177 14179 14181 14183 14185 14188 14190 14192 14194 14196 14199 14201 14203 14205 14206 14208 14210 14212 14214 14216 14218 14220 14222 14223 14225 14227 14229 14231 14233 14235 14237 14239 14240 14242 14244 14246 14248 14250 14252 14254 14256 14257 14259 14261 14263 14265 14267 14269 14271 14273 14274 14276 14278 14280 14282 14284 14286 14288 14290 14291 14293 14295 14297 14299 14301 14303 14305 14307 14308 14310 14312 14314 14316 14318 14320 14322 14324 14326 14327 14329 14331 14333 14335 14337 14339 14341 14343 14344 14346 14348 14350 14352 14354 14355 14357 14359 14360 14362 14364 14365 14367 14369 14371 14372

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="Diffusion2D-PT-D20N150"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
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/Diffusion2D-PT-D20N150.tgz
mv Diffusion2D-PT-D20N150 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1668"
echo " Executing tool marcie"
echo " Input is Diffusion2D-PT-D20N150, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150000612"
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 ;