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

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

BK_START 1401984566668

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: 900 NrTr: 6844)

net check time: 0m0sec

place and transition orderings generation:0m3sec

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

942 942 1001 987 1062 1034 1125 1080 1190 1130 1262 1177 1326 1224 1404 1278 1478 1326 1554 1383 1632 1442 1723 1503 1806 1554 1917 1618 2006 1698 1979 1752 1572 1822 1614 1894 1656 1968 1716 2044 1778 2102 1842 2181 1887 2240 1954 2322 2000 2430 2070 2492 2117 2606 2164 2697 2238 2818 2286 2914 2334 2982 2412 3143 2492 3246 2574 3351 2658 3526 2710 3707 2832 2412 2922 2454 3014 2496 3108 2538 3204 2619 3262 2702 3361 2787 3420 2832 3522 2920 3626 2966 3732 3057 3886 3104 3997 3198 4110 3246 4225 3294 4342 3392 4461 3492 4634 3594 4811 3645 4992 3750 5177 3912 3252 3966 3294 4077 3336 4248 3378 4305 3479 4422 3582 4480 3687 4600 3732 4659 3840 4846 3886 4972 3997 5034 4044 5230 4091 5362 4206 5565 4254 5702 4302 5841 4421 6054 4542 6198 4665 6492 4790 6642 4842 7022 5046 4134 5177 4176 5310 4218 5445 4260 5582 4382 5640 4506 5780 4632 5839 4760 5982 4806 6127 4852 6274 4984 6510 5031 6662 5166 6816 5214 6972 5262 7130 5401 7290 5542 7638 5685 7804 5830 8067 5882 8334 6126 4974 6180 5016 6430 5058 6585 5100 5111 5123 5135 5147 5159 5171 5183 5195 5207 5220 5232 5245 5258 5270 5283 5296 5313 5334 5354 5374 5395 5415 5435 5456 5476 5497 5506 5512 5518 5524 5531 5537 5543 5550 5556 5562 5568 5575 5581 5587 5594 5600 5606 5613 5619 5625 5632 5638 5644 5651 5657 5664 5670 5676 5683 5689 5695 5702 5708 5714 5721 5727 5734 5740 5746 5753 5759 5765 5772 5778 5785 5791 5797 5804 5812 5820 5828 5836 5844 5852 5860 5868 5876 5884 5892 5900 5911 5922 5933 5944 5955 5966 5977 5988 5999 6018 6037 6057 6076 6096 6114 6131 6149 6167 6184 6201 6211 6221 6231 6241 6252 6262 6272 6282 6292 6302 6312 6322 6332 6342 6353 6363 6373 6383 6393 6403 6413 6423 6433 6443 6453 6464 6474 6484 6494 6504 6514 6524 6534 6544 6554 6564 6575 6585 6595 6605 6615 6625 6635 6645 6655 6665 6676 6686 6696 6706 6716 6727 6738 6748 6759 6769 6780 6790 6801 6818 6836 6853 6871 6888 6906 6923 6941 6959 6976 6994 7004 7009 7014 7019 7025 7030 7035 7040 7046 7051 7056 7061 7066 7072 7077 7082 7087 7093 7098 7103 7108 7114 7119 7124 7130 7135 7140 7145 7151 7156 7161 7167 7172 7177 7182 7188 7193 7198 7204 7209 7214 7219 7225 7230 7235 7241 7246 7251 7257 7262 7267 7272 7278 7283 7288 7294 7299 7304 7309 7315 7320 7325 7331 7336 7341 7346 7352 7357 7362 7368 7373 7378 7383 7389 7394 7399 7406 7412 7419 7426 7433 7439 7446 7453 7459 7466 7473 7480 7486 7493 7500 7509 7518 7527 7537 7546 7555 7565 7574 7583 7593 7603 7620 7637 7654 7671 7688 7704 7720 7735 7750 7766 7781 7797 7807 7816 7824 7833 7842 7850 7859 7868 7877 7885 7894 7903 7911 7920 7929 7937 7946 7955 7963 7972 7981 7990 7998 8007 8016 8024 8033 8042 8050 8059 8068 8076 8085 8094 8102 8111 8120 8129 8137 8146 8155 8163 8172 8181 8189 8198 8207 8215 8224 8233 8241 8250 8259 8268 8276 8285 8294 8302 8311 8320 8328 8337 8346 8354 8363 8372 8381 8389 8398 8407 8416 8425 8434 8443 8452 8461 8470 8479 8488 8497 8510 8525 8540 8556 8571 8587 8602 8617 8633 8648 8663 8679 8694 8703 8708 8712 8717 8721 8726 8730 8734 8739 8743 8748 8752 8757 8761 8766 8770 8775 8779 8784 8788 8793 8797 8802 8806 8811 8815 8820 8824 8829 8833 8838 8842 8847 8852 8856 8861 8865 8870 8874 8879 8883 8888 8892 8897 8901 8906 8910 8915 8919 8924 8928 8933 8937 8942 8946 8951 8956 8960 8965 8969 8974 8978 8983 8987 8992 8996 9001 9005 9010 9014 9019 9023 9028 9032 9037 9041 9046 9051 9055 9060 9064 9069 9073 9078 9082 9087 9091 9096 9100 9105 9109 9114 9118 9123 9127 9132 9136 9141 9146 9150 9155 9159 9164 9168 9173 9177 9182 9186 9191 9195 9200 9205 9211 9217 9223 9228 9234 9240 9246 9252 9257 9263 9269 9275 9281 9286 9292 9298 9305 9313 9321 9329 9337 9345 9354 9362 9370 9378 9386 9394 9404 9419 9434 9449 9464 9478 9493 9508 9521 9535 9549 9562 9576 9590 9602 9610 9617 9625 9633 9640 9648 9656 9663 9671 9678 9686 9694 9701 9709 9717 9724 9732 9739 9747 9755 9762 9770 9778 9785 9793 9800 9808 9816 9823 9831 9839 9846 9854 9862 9869 9877 9884 9892 9900 9907 9915 9923 9930 9938 9945 9953 9961 9968 9976 9984 9991 9999 10006 10014 10022 10029 10037 10045 10052 10060 10068 10075 10083 10090 10098 10106 10113 10121 10129 10136 10144 10151 10159 10167 10174 10182 10190 10197 10205 10212 10220 10228 10235 10243 10251 10258 10266 10274 10281 10289 10296 10304 10312 10320 10328 10336 10343 10351 10359 10367 10375 10383 10391 10399 10411 10425 10438 10452 10466 10479 10493 10507 10520 10534 10548 10561 10575 10589 10601 10605 10609 10613 10617 10621 10625 10629 10632 10636 10640 10644 10648 10652 10656 10660 10664 10668 10672 10676 10679 10683 10687 10691 10695 10699 10703 10707 10711 10715 10719 10723 10727 10731 10735 10739 10743 10746 10750 10754 10758 10762 10766 10770 10774 10778 10782 10786 10790 10794 10798 10802 10806 10810 10814 10818 10822 10826 10829 10833 10837 10841 10845 10849 10853 10857 10861 10865 10869 10873 10877 10881 10885 10889 10893 10897 10901 10905 10908 10912 10916 10920 10924 10928 10932 10936 10940 10944 10948 10952 10956 10960 10964 10968 10972 10976 10980 10984 10988 10991 10995 10999 11003 11007 11011 11015 11019 11023 11027 11031 11035 11039 11043 11047 11051 11055 11059 11063 11067 11071 11074 11078 11082 11086 11090 11094 11098 11102 11106 11110 11114 11118 11122 11126 11130 11134 11138 11142 11146 11150 11153 11157 11161 11165 11169 11173 11177 11181 11185 11189 11193 11197 11201 11206 11211 11216 11221 11226 11231 11237 11242 11247 11252 11257 11262 11267 11272 11277 11282 11287 11292 11297 11303 11310 11318 11325 11332 11339 11346 11354 11361 11368 11375 11382 11390 11397 11407 11420 11434 11447 11460 11474 11487 11500 11513 11525 11537 11550 11562 11574 11587 11599 11606 11613 11620 11627 11634 11640 11647 11654 11661 11668 11674 11681 11688 11695 11702 11708 11715 11722 11729 11736 11742 11749 11756 11763 11770 11776 11783 11790 11797 11804 11810 11817 11824 11831 11838 11844 11851 11858 11865 11872 11878 11885 11892 11899 11906 11912 11919 11926 11933 11940 11946 11953 11960 11967 11974 11980 11987 11994 12001 12008 12014 12021 12028 12035 12042 12048 12055 12062 12069 12076 12082 12089 12096 12103 12110 12116 12123 12130 12137 12144 12150 12157 12164 12171 12178 12184 12191 12198 12205 12212 12218 12225 12232 12239 12246 12252 12259 12266 12273 12280 12286 12293 12300 12307 12314 12320 12327 12334 12341 12348 12354 12361 12368 12375 12382 12388 12395 12402 12409 12416 12423 12430 12437 12444 12451 12458 12465 12472 12479 12486 12493 12500 12512 12524 12536 12549 12561 12573 12586 12598 12610 12623 12635 12647 12660 12672 12684 12697 12703 12706 12710 12713 12717 12720 12724 12727 12731 12734 12738 12741 12745 12748 12752 12755 12759 12762 12766 12769 12773 12776 12780 12783 12787 12790 12793 12797 12800 12804 12807 12811 12814 12818 12821 12825 12829 12832 12836 12839 12843 12846 12850 12853 12857 12860 12864 12867 12871 12874 12878 12881 12885 12888 12892 12895 12899 12902 12906 12909 12913 12916 12920 12923 12927 12930 12934 12937 12941 12944 12948 12951 12955 12958 12962 12965 12969 12972 12976 12979 12983 12986 12990 12993 12997 13000 13004 13007 13011 13014 13018 13021 13025 13028 13032 13035 13039 13042 13046 13050 13053 13057 13060 13064 13067 13071 13074 13078 13081 13085 13088 13092 13095 13099 13102 13106 13109 13113 13116 13120 13123 13127 13130 13134 13137 13141 13144 13148 13151 13155 13158 13162 13165 13169 13172 13176 13179 13183 13186 13190 13193 13197 13200 13204 13207 13211 13214 13218 13221 13225 13228 13232 13235 13239 13242 13246 13249 13253 13256 13260 13263 13267 13270 13274 13278 13281 13285 13288 13292 13295 13299 13302 13306 13309 13313 13316 13320 13323 13327 13330 13334 13337 13341 13344 13348 13351 13355 13358 13362 13365 13369 13372 13376 13379 13383 13386 13390 13393 13397 13400 13405 13409 13414 13418 13423 13427 13432 13436 13441 13445 13450 13454 13459 13464 13468 13473 13477 13482 13486 13491 13495 13500 13506 13512 13519 13525 13532 13538 13545 13551 13557 13564 13570 13577 13583 13590 13596 13604 13616 13628 13640 13653 13665 13677 13689 13701 13712 13723 13734 13746 13757 13768 13779 13791 13801 13807 13813 13820 13826 13832 13838 13844 13850 13856 13862 13869 13875 13881 13887 13893 13899 13905 13912 13918 13924 13930 13936 13942 13948 13954 13961 13967 13973 13979 13985 13991 13997 14004 14010 14016 14022 14028 14034 14040 14046 14053 14059 14065 14071 14077 14083 14089 14096 14102 14108 14114 14120 14126 14132 14138 14145 14151 14157 14163 14169 14175 14181 14188 14194 14200 14206 14212 14218 14224 14230 14237 14243 14249 14255 14261 14267 14273 14279 14286 14292 14298 14304 14310 14316 14322 14329 14335 14341 14347 14353 14359 14365 14371 14378 14384 14390 14396 14402 14408 14414 14420 14427 14433 14439 14445 14451 14457 14463 14470 14476 14482 14488 14494 14500 14506 14512 14519 14525 14531 14537 14543 14549 14555 14562 14568 14574 14580 14586 14592 14598 14604 14611 14617 14623 14629 14635 14641 14647 14654 14660 14666 14672 14678 14684 14690 14696 14703 14709 14715 14721 14728 14734 14740 14747 14753 14759 14766 14772 14778 14784 14791 14797 14805 14817 14828 14839 14850 14862 14873 14884 14895 14906 14918 14929 14940 14951 14963 14974 14985 14996 15048 15119 15178 15206 15215 15224 15233 15242 15251 15260 15269 15278 15287 15296 15317 15349 15381 15402 15407 15412 15417 15422 15427 15431 15436 15441 15446 15451 15456 15460 15465 15470 15475 15480 15485 15489 15494 15499 15503 15506 15510 15513 15516 15520 15523 15527 15530 15533 15537 15540 15544 15547 15550 15554 15557 15560 15564 15567 15571 15574 15577 15581 15584 15588 15591 15594 15598 15601 15604 15608 15611 15614 15617 15620 15624 15627 15630 15633 15636 15640 15643 15646 15649 15653 15656 15659 15662 15665 15669 15672 15675 15678 15681 15685 15688 15691 15694 15698 15701 15704 15707 15710 15713 15716 15719 15722 15725 15728 15731 15734 15737 15740 15744 15747 15750 15753 15756 15759 15762 15765 15768 15771 15774 15777 15780 15783 15786 15789 15792 15796 15799 15802 15804 15807 15810 15813 15816 15819 15822 15825 15828 15831 15834 15837 15839 15842 15845 15848 15851 15854 15857 15860 15863 15866 15869 15872 15874 15877 15880 15883 15886 15889 15892 15895 15898 15901 15903 15906 15909 15912 15915 15917 15920 15923 15926 15929 15931 15934 15937 15940 15942 15945 15948 15951 15954 15956 15959 15962 15965 15968 15970 15973 15976 15979 15981 15984 15987 15990 15993 15995 15998 16001 16004 16006 16009 16012 16014 16017 16020 16022 16025 16028 16030 16033 16036 16038 16041 16044

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