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-D20N100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150000599
=====================================================================

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

BK_START 1401984500735

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 904 952 999 1034 1068 1104 1157 1207 1247 1287 1319 1348 1376 1405 1438 1470 1502 1542 1582 1622 1662 1701 1719 1737 1756 1774 1792 1813 1836 1859 1882 1908 1946 1983 2016 2046 2077 2104 2124 2144 2163 2183 2202 2222 2242 2261 2281 2300 2322 2343 2364 2385 2409 2439 2470 2500 2530 2560 2591 2608 2618 2629 2639 2650 2660 2671 2681 2692 2703 2716 2729 2742 2755 2768 2781 2794 2808 2825 2842 2859 2876 2893 2916 2945 2973 3002 3026 3050 3075 3099 3114 3129 3144 3159 3174 3189 3204 3219 3234 3249 3264 3279 3294 3308 3323 3338 3353 3368 3383 3398 3413 3429 3445 3461 3477 3493 3513 3537 3562 3586 3610 3635 3659 3684 3703 3711 3719 3726 3734 3742 3750 3758 3766 3774 3782 3789 3797 3805 3813 3821 3829 3837 3845 3853 3861 3869 3877 3885 3893 3901 3911 3921 3931 3941 3951 3961 3971 3981 3990 4000 4014 4027 4040 4054 4067 4080 4094 4111 4135 4158 4181 4204 4224 4245 4265 4285 4304 4316 4328 4340 4352 4364 4376 4388 4400 4412 4424 4436 4448 4460 4472 4484 4496 4508 4520 4532 4544 4556 4568 4581 4593 4605 4617 4629 4641 4653 4665 4677 4689 4701 4713 4726 4739 4751 4764 4777 4789 4803 4823 4844 4864 4885 4905 4925 4946 4966 4986 5024 5101 5160 5205 5219 5233 5247 5261 5275 5289 5307 5339 5371 5401 5409 5417 5425 5433 5441 5448 5456 5464 5472 5480 5488 5496 5503 5508 5514 5520 5526 5531 5537 5543 5548 5554 5560 5566 5571 5577 5583 5588 5594 5600 5605 5610 5616 5621 5626 5631 5636 5642 5647 5652 5657 5663 5668 5673 5678 5684 5689 5694 5699 5704 5709 5714 5719 5723 5728 5733 5738 5743 5748 5752 5757 5762 5767 5772 5777 5781 5786 5791 5796 5801 5809 5818 5827 5835 5844 5852 5861 5869 5878 5886 5895 5907 5925 5943 5961 5979 5998 6007 6014 6021 6028 6035 6042 6050 6057 6064 6071 6078 6086 6093 6100 6106 6113 6119 6126 6132 6139 6145 6152 6158 6165 6171 6177 6184 6190 6197 6203 6209 6215 6221 6226 6232 6238 6244 6250 6256 6261 6267 6273 6279 6285 6291 6297 6305 6319 6333 6347 6361 6375 6389 6405 6426 6447 6469 6490 6507 6520 6533 6546 6559 6572 6585 6598 6611 6624 6637 6650 6663 6676 6689 6702 6720 6738 6757 6775 6793 6815 6841 6867 6892 6911 6928 6944 6961 6977 6993 7015 7041 7066 7092 7122 7154 7186 7204 7210 7216 7222 7228 7234 7240 7246 7252 7258 7264 7270 7276 7282 7288 7294 7300 7305 7311 7316 7322 7327 7332 7338 7343 7349 7354 7360 7365 7371 7376 7382 7387 7393 7398 7403 7408 7413 7418 7423 7428 7433 7438 7443 7448 7453 7458 7463 7469 7474 7479 7484 7489 7494 7499 7503 7508 7513 7517 7522 7527 7531 7536 7541 7545 7550 7555 7559 7564 7569 7573 7578 7582 7587 7592 7596 7601 7605 7610 7614 7618 7623 7627 7631 7636 7640 7644 7649 7653 7657 7662 7666 7670 7675 7679 7683 7688 7692 7696 7701 7705 7709 7713 7717 7721 7725 7729 7733 7737 7741 7745 7750 7754 7758 7762 7766 7770 7774 7778 7782 7786 7790 7794 7799 7812 7834 7856 7878 7900 7920 7940 7960 7980 8000 8019 8037 8056 8074 8093 8111 8130 8148 8167 8185 8204 8222 8241 8259 8278 8296 8321 8348 8375 8402 8426 8450 8473 8497 8566 8631 8687 8714 8732 8750 8767 8785 8805 8838 8872 8903 8918 8934 8949 8965 8981 8996 9026 9062 9098 9113 9127 9141 9155 9169 9183 9197 9228 9266 9301 9310 9318 9326 9334 9342 9350 9359 9367 9375 9383 9391 9400 9403 9406 9408 9411 9414 9417 9419 9422 9425 9428 9430 9433 9436 9439 9441 9444 9447 9450 9452 9455 9458 9460 9463 9466 9469 9471 9474 9477 9480 9482 9485 9488 9491 9493 9496 9499 9501 9504 9506 9508 9510 9512 9515 9517 9519 9521 9523 9526 9528 9530 9532 9534 9537 9539 9541 9543 9545 9547 9550 9552 9554 9556 9558 9561 9563 9565 9567 9569 9572 9574 9576 9578 9580 9583 9585 9587 9589 9591 9594 9596 9598 9600 9602 9604 9606 9608 9610 9612 9613 9615 9617 9619 9621 9623 9625 9627 9629 9631 9632 9634 9636 9638 9640 9642 9644 9646 9648 9649 9651 9653 9655 9657 9659 9661 9663 9665 9666 9668 9670 9672 9674 9676 9678 9680 9682 9683 9685 9687 9689 9691 9693 9695 9697 9699 9700 9702 9704 9706 9707 9709 9711 9712 9714 9716 9717 9719 9721 9723 9724 9726 9728 9729 9731 9733 9735 9736 9738 9740 9741 9743 9745 9746 9748 9750 9752 9753 9755 9757 9758 9760 9762 9763 9765 9767 9769 9770 9772 9774 9775 9777 9779 9781 9782 9784 9786 9787 9789 9791 9792 9794 9796 9798 9799 9801 9803 9804 9806 9807 9809 9810 9812 9814 9815 9817 9818 9820 9822 9823 9825 9826 9828 9830 9831 9833 9834 9836 9837 9839 9841 9842 9844 9845 9847 9849 9850 9852 9853 9855 9857 9858 9860 9861 9863 9865 9866 9868 9869 9871 9872 9874 9876 9877 9879 9880 9882 9884 9885 9887 9888 9890 9892 9893 9895 9896 9898 9899 9903 9911 9919 9927 9935 9943 9951 9959 9967 9975 9983 9991 9999 10011 10025 10039 10052 10066 10080 10094 10104 10109 10115 10121 10126 10132 10138 10143 10149 10155 10160 10166 10172 10177 10183 10189 10194 10200 10203 10205 10207 10210 10212 10214 10217 10219 10221 10224 10226 10228 10231 10233 10235 10238 10240 10242 10245 10247 10249 10252 10254 10256 10259 10261 10263 10266 10268 10270 10273 10275 10277 10280 10282 10284 10287 10289 10291 10294 10296 10298 10301 10303 10305 10307 10308 10310 10312 10314 10316 10318 10320 10322 10324 10326 10328 10330 10332 10334 10335 10337 10339 10341 10343 10345 10347 10349 10351 10353 10355 10357 10359 10361 10363 10364 10366 10368 10370 10372 10374 10376 10378 10380 10382 10384 10386 10388 10390 10391 10393 10395 10397 10399 10401 10403 10404 10406 10408 10409 10411 10413 10415 10416 10418 10420 10421 10423 10425 10426 10428 10430 10431 10433 10435 10437 10438 10440 10442 10443 10445 10447 10448 10450 10452 10453 10455 10457 10458 10460 10462 10464 10465 10467 10469 10470 10472 10474 10475 10477 10479 10480 10482 10484 10485 10487 10489 10491 10492 10494 10496 10497 10499 10501 10502 10504 10505 10507 10508 10510 10511 10513 10515 10516 10518 10519 10521 10522 10524 10525 10527 10528 10530 10531 10533 10535 10536 10538 10539 10541 10542 10544 10545 10547 10548 10550 10551 10553 10555 10556 10558 10559 10561 10562 10564 10565 10567 10568 10570 10571 10573 10575 10576 10578 10579 10581 10582 10584 10585 10587 10588 10590 10591 10593 10595 10596 10598 10599 10601 10611 10621 10630 10640 10650 10659 10669 10678 10688 10698 10711 10727 10743 10758 10774 10789 10803 10812 10821 10830 10839 10849 10858 10867 10876 10885 10894 10903 10912 10921 10930 10939 10948 10958 10967 10976 10985 10994 11003 11012 11021 11030 11039 11048 11057 11067 11076 11085 11094 11103 11112 11121 11130 11139 11148 11157 11166 11176 11185 11194 11203 11215 11226 11237 11249 11260 11272 11283 11294 11308 11326 11344 11362 11380 11398 11409 11420 11431 11441 11452 11463 11473 11484 11495 11505 11516 11526 11537 11548 11558 11569 11580 11590 11601 11611 11622 11633 11643 11654 11665 11675 11686 11696 11709 11723 11737 11751 11765 11778 11792 11809 11830 11851 11871 11892 11908 11921 11934 11947 11959 11972 11985 11998 12011 12023 12036 12049 12062 12075 12088 12100 12118 12136 12154 12172 12189 12210 12235 12260 12285 12306 12323 12339 12355 12371 12387 12405 12430 12455 12480 12505 12537 12568 12599 12602 12603 12604 12605 12606 12607 12609 12610 12611 12612 12613 12615 12616 12617 12618 12619 12620 12622 12623 12624 12625 12626 12627 12629 12630 12631 12632 12633 12635 12636 12637 12638 12639 12640 12642 12643 12644 12645 12646 12647 12649 12650 12651 12652 12653 12654 12656 12657 12658 12659 12660 12662 12663 12664 12665 12666 12667 12669 12670 12671 12672 12673 12674 12676 12677 12678 12679 12680 12682 12683 12684 12685 12686 12687 12689 12690 12691 12692 12693 12694 12696 12697 12698 12699 12700 12701 12703 12704 12705 12706 12707 12709 12710 12711 12712 12713 12714 12716 12717 12718 12719 12720 12722 12723 12724 12725 12726 12727 12729 12730 12731 12732 12733 12734 12736 12737 12738 12739 12740 12742 12743 12744 12745 12746 12747 12749 12750 12751 12752 12753 12754 12756 12757 12758 12759 12760 12762 12763 12764 12765 12766 12767 12769 12770 12771 12772 12773 12775 12776 12777 12778 12779 12780 12782 12783 12784 12785 12786 12787 12789 12790 12791 12792 12793 12795 12796 12797 12798 12799 12800 12805 12809 12813 12818 12822 12826 12831 12835 12840 12844 12848 12853 12857 12861 12866 12870 12874 12879 12883 12888 12892 12896 12901 12906 12912 12917 12922 12928 12933 12939 12944 12950 12955 12961 12966 12972 12977 12983 12988 12994 12999 13005 13012 13019 13026 13033 13040 13047 13054 13061 13068 13074 13081 13088 13095 13102 13111 13120 13128 13137 13146 13154 13163 13172 13181 13189 13198 13208 13219 13230 13240 13251 13262 13273 13283 13294 13305 13318 13331 13343 13356 13369 13381 13394 13407 13419 13432 13445 13457 13470 13483 13495

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-D20N100"
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-D20N100.tgz
mv Diffusion2D-PT-D20N100 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-D20N100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150000599"
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 ;