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

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

BK_START 1401984547976

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 3004 3016 3028 3040 3052 3065 3077 3090 3104 3124 3145 3165 3185 3202 3208 3215 3221 3227 3234 3240 3246 3252 3259 3265 3272 3278 3284 3291 3297 3303 3310 3316 3322 3329 3335 3342 3348 3355 3363 3371 3379 3387 3395 3404 3415 3426 3437 3448 3466 3485 3504 3522 3539 3554 3564 3574 3584 3595 3605 3615 3625 3635 3645 3655 3665 3675 3685 3695 3705 3716 3726 3736 3746 3756 3766 3776 3786 3796 3806 3817 3828 3838 3849 3865 3882 3900 3917 3935 3951 3956 3962 3967 3972 3977 3982 3988 3993 3998 4003 4009 4014 4019 4025 4030 4035 4040 4046 4051 4056 4062 4067 4072 4077 4083 4088 4093 4099 4104 4109 4114 4120 4125 4130 4136 4141 4146 4152 4158 4165 4172 4178 4185 4192 4199 4207 4217 4226 4235 4245 4257 4273 4290 4307 4322 4337 4352 4360 4369 4378 4387 4395 4404 4413 4421 4430 4439 4447 4456 4465 4473 4482 4491 4499 4508 4517 4525 4534 4543 4551 4560 4569 4578 4586 4595 4604 4612 4621 4630 4638 4647 4656 4665 4674 4683 4692 4701 4717 4732 4747 4763 4778 4793 4803 4807 4812 4816 4821 4825 4830 4834 4839 4843 4848 4852 4857 4861 4866 4870 4875 4879 4884 4888 4893 4897 4902 4906 4911 4916 4920 4925 4929 4934 4938 4943 4947 4952 4956 4961 4965 4970 4974 4979 4983 4988 4992 4997 5001 5006 5010 5015 5020 5024 5029 5033 5038 5042 5047 5051 5057 5063 5069 5074 5080 5086 5092 5098 5104 5113 5121 5129 5137 5145 5155 5170 5185 5200 5214 5227 5241 5253 5261 5268 5276 5283 5291 5299 5306 5314 5322 5329 5337 5344 5352 5360 5367 5375 5383 5390 5398 5405 5413 5421 5428 5436 5444 5451 5459 5466 5474 5482 5489 5497 5505 5512 5520 5527 5535 5543 5550 5558 5566 5573 5581 5588 5596 5604 5612 5619 5627 5635 5643 5651 5665 5679 5692 5706 5720 5733 5747 5753 5757 5761 5765 5769 5773 5777 5781 5785 5789 5793 5797 5800 5804 5808 5812 5816 5820 5824 5828 5832 5836 5840 5844 5848 5852 5856 5860 5864 5868 5872 5876 5879 5883 5887 5891 5895 5899 5903 5907 5911 5915 5919 5923 5927 5931 5935 5939 5943 5947 5951 5954 5958 5962 5966 5970 5974 5978 5982 5986 5990 5994 5998 6002 6006 6010 6014 6018 6022 6026 6030 6034 6037 6041 6045 6049 6054 6059 6064 6069 6074 6079 6084 6090 6095 6100 6107 6114 6121 6128 6135 6142 6150 6162 6176 6189 6202 6214 6227 6239 6251 6258 6265 6271 6278 6285 6292 6299 6305 6312 6319 6326 6333 6339 6346 6353 6360 6367 6373 6380 6387 6394 6400 6407 6414 6421 6428 6434 6441 6448 6455 6462 6468 6475 6482 6489 6496 6502 6509 6516 6523 6530 6536 6543 6550 6557 6564 6570 6577 6584 6591 6598 6604 6611 6618 6625 6632 6638 6645 6652 6659 6666 6673 6680 6687 6694 6701 6713 6726 6738 6750 6763 6775 6787 6800 6804 6807 6811 6814 6818 6821 6825 6828 6832 6835 6839 6842 6846 6849 6853 6856 6860 6863 6867 6870 6874 6877 6881 6884 6888 6891 6895 6898 6902 6905 6909 6912 6916 6919 6923 6926 6930 6933 6937 6940 6944 6947 6951 6954 6958 6961 6965 6968 6972 6975 6979 6982 6986 6989 6993 6996 7000 7003 7007 7010 7014 7017 7021 7024 7028 7031 7035 7038 7042 7045 7049 7052 7056 7059 7063 7066 7070 7073 7077 7080 7084 7088 7091 7095 7098 7102 7105 7109 7112 7116 7119 7123 7126 7130 7133 7137 7140 7144 7147 7151 7155 7160 7164 7169 7173 7178 7182 7187 7191 7196 7200 7207 7213 7220 7226 7233 7239 7246 7253 7265 7277 7289 7301 7312 7324 7335 7346 7354 7360 7366 7373 7379 7385 7391 7397 7403 7409 7416 7422 7428 7434 7440 7446 7452 7458 7465 7471 7477 7483 7489 7495 7501 7507 7514 7520 7526 7532 7538 7544 7550 7556 7563 7569 7575 7581 7587 7593 7599 7606 7612 7618 7624 7630 7636 7642 7648 7655 7661 7667 7673 7679 7685 7691 7697 7704 7710 7716 7722 7728 7734 7740 7747 7753 7759 7765 7771 7777 7783 7789 7796 7802 7808 7814 7821 7827 7833 7839 7846 7853 7864 7876 7887 7898 7909 7920 7932 7943 7975 8040 8058 8067 8076 8085 8094 8109 8141 8154 8159 8164 8168 8173 8178 8183 8188 8192 8197 8202 8205 8208 8212 8215 8219 8222 8225 8229 8232 8236 8239 8242 8246 8249 8252 8256 8259 8262 8265 8268 8272 8275 8278 8281 8285 8288 8291 8294 8297 8301 8304 8307 8310 8313 8316 8319 8322 8325 8328 8331 8334 8337 8340 8343 8346 8349 8352 8355 8358 8361 8364 8367 8370 8373 8376 8379 8382 8384 8387 8390 8393 8396 8399 8402 8405 8407 8410 8413 8416 8419 8421 8424 8427 8430 8433 8435 8438 8441 8444 8446 8449 8452 8455 8457 8460 8463 8465 8468 8471 8473 8476 8479 8481 8484 8487 8489 8492 8495 8497 8500 8503 8505 8508 8510 8513 8515 8518 8520 8523 8526 8528 8531 8533 8536 8538 8541 8543 8546 8549 8551 8554 8556 8558 8561 8563 8566 8568 8571 8573 8576 8578 8581 8583 8585 8588 8590 8593 8595 8598 8600 8605 8610 8615 8620 8625 8630 8635 8640 8646 8651 8661 8672 8682 8693 8702 8706 8711 8715 8720 8725 8729 8734 8738 8743 8747 8752 8756 8760 8765 8769 8773 8777 8782 8786 8790 8794 8799 8803 8807 8811 8815 8819 8823 8827 8831 8835 8839 8842 8846 8850 8854 8858 8862 8865 8869 8873 8877 8880 8884 8888 8892 8895 8899 8903 8906 8910 8913 8917 8920 8924 8927 8931 8935 8938 8942 8945 8949 8952 8955 8959 8962 8965 8969 8972 8975 8979 8982 8986 8989 8992 8996 8999 9002 9005 9008 9012 9015 9018 9021 9024 9028 9031 9034 9037 9040 9043 9047 9050 9053 9056 9059 9062 9065 9068 9071 9074 9077 9080 9083 9086 9089 9092 9095 9098 9102 9108 9115 9122 9128 9135 9142 9148 9158 9169 9181 9192 9202 9209 9215 9221 9228 9234 9240 9247 9253 9260 9266 9272 9279 9285 9291 9298 9304 9310 9317 9323 9330 9336 9342 9349 9355 9361 9368 9374 9380 9387 9393 9400 9406 9412 9419 9425 9431 9438 9444 9450 9457 9463 9470 9476 9482 9489 9495 9501 9508 9514 9520 9527 9533 9540 9546 9553 9560 9567 9575 9582 9590 9597 9607 9620 9632 9645 9654 9662 9669 9676 9683 9690 9697 9704 9711 9718 9725 9732 9740 9747 9754 9761 9768 9775 9782 9789 9796 9803 9810 9817 9825 9832 9839 9846 9853 9860 9867 9874 9881 9888 9895 9902 9910 9917 9924 9931 9938 9945 9952 9961 9969 9977 9986 9994 10004 10018 10032 10046 10056 10064 10072 10080 10088 10096 10104 10112 10120 10128 10136 10144 10152 10160 10168 10176 10184 10192 10200 10208 10216 10224 10232 10240 10248 10256 10264 10272 10280 10288 10296 10304 10314 10324 10334 10343 10354 10370 10386 10401 10411 10420 10429 10438 10447 10456 10466 10475 10484 10493 10502 10511 10520 10530 10539 10548 10557 10566 10575 10585 10594 10604 10615 10626 10638 10649 10667 10685 10702 10713 10724 10734 10745 10756 10767 10777 10788 10799 10809 10820 10831 10842 10853 10867 10881 10895 10914 10935 10954 10967 10980 10993 11006 11019 11032 11045 11060 11079 11097 11121 11146 11164 11180 11197 11220 11246 11277 11301 11303 11305 11307 11309 11311 11313 11315 11316 11318 11320 11322 11324 11326 11328 11330 11332 11334 11336 11338 11340 11342 11344 11345 11347 11349 11351 11353 11355 11357 11359 11361 11363 11364 11366 11368 11370 11372 11374 11376 11378 11379 11381 11383 11385 11387 11389 11391 11393 11394 11396 11398 11400 11402 11404 11406 11407 11409 11411 11413 11415 11416 11418 11420 11422 11424 11426 11427 11429 11431 11433 11435 11436 11438 11440 11442 11444 11446 11447 11449 11451 11453 11455 11456 11458 11460 11462 11463 11465 11467 11469 11470 11472 11474 11476 11478 11479 11481 11483 11485 11486 11488 11490 11492 11493 11495 11497 11499 11501 11502 11504 11506 11507 11509 11511 11513 11514 11516 11518 11519 11521 11523 11525 11526 11528 11530 11532 11533 11535 11537 11538 11540 11542 11544 11545 11547 11549 11550 11552 11554 11555 11557 11559 11561 11562 11564 11566 11567 11569 11571 11572 11574 11576 11577 11579 11581 11582 11584 11586 11587 11589 11591 11592 11594 11596 11597 11599 11601 11602 11604 11606 11607 11609 11610 11612 11614 11615 11617 11619 11620 11622 11624 11625 11627 11628 11630 11632 11633 11635 11637 11638 11640 11641 11643 11645 11646 11648 11650 11651 11653 11654 11656 11658 11659 11661 11662 11664 11666 11667 11669 11670 11672 11673 11675 11677 11678 11680 11681 11683 11685 11686 11688 11689 11691 11693 11694 11696 11697 11699 11700 11702 11704 11705 11707 11708 11710 11711 11713 11714 11716 11718 11719 11721 11722 11724 11725 11727 11728 11730 11732 11733 11735 11736 11738 11739 11741 11742 11744 11745 11747 11749 11750 11752 11753 11755 11756 11758 11759 11761 11762 11764 11765 11767 11768 11770 11771 11773 11774 11776 11777 11779 11780 11782 11783 11785 11786 11788 11789 11791 11792 11794 11795 11797 11799 11800 11802 11803 11804 11806 11807 11809 11810 11812 11813 11815 11816 11818 11819 11821 11822 11824 11825 11827 11828 11830 11831 11833 11834 11836 11837 11839 11840 11842 11843 11844 11846 11847 11849 11850 11861 11873 11885 11897 11908 11919 11930 11941 11952 11963 11973 11984 11995 12005 12016 12027 12037 12048 12058 12069 12080 12090 12101 12112 12122 12133 12143 12154 12165 12175 12186 12197 12207 12218 12228 12239 12250 12260 12271 12281 12292 12303 12313 12324 12335 12345 12357 12370 12383 12396 12408 12421 12433 12445 12457 12468 12480 12492 12503 12515 12526 12538 12550 12561 12573 12584 12596 12608 12619 12631 12642 12654 12666 12677 12689 12700 12712 12724 12735 12747 12758 12770 12782 12793 12806 12820 12835 12849 12863 12877 12890 12903 12916 12929 12942 12954 12967 12980 12993 13006 13018 13031 13044 13057 13070 13082 13095 13108 13121 13134 13146 13159 13172 13185 13198 13213 13230 13246 13261 13276 13292 13306 13321 13335 13349 13363 13378 13392 13406 13420 13435 13449 13463 13477 13492 13506 13520 13534 13549 13567 13586 13604 13621 13639 13655 13672 13688 13704 13720 13736 13752 13768 13784 13800 13816 13832 13849 13870 13892 13913 13933 13953 13971 13990 14008 14026 14045 14063 14082 14100 14127 14154 14177 14202 14271 14309 14327 14345 14372 14403 14418 14434 14450 14484 14508 14522 14536 14550 14586 14606 14614 14622 14630 14638 14647 14653 14659 14665 14671 14676 14682 14688 14694 14699 14704 14708 14712 14717 14721 14725 14730 14734 14738 14742 14747 14751 14754 14757 14761 14764 14767 14771 14774 14777 14781 14784 14787 14791 14794 14797 14800 14803 14806 14808 14811 14814 14816 14819 14822 14824 14827 14830 14832 14835 14838 14840 14843 14845 14848 14851 14853 14855 14857 14859 14861 14864 14866 14868 14870 14872 14874 14877 14879 14881 14883 14885 14887 14890 14892 14894 14896 14898 14900 14901 14902 14903 14904 14905 14906 14907 14908 14908 14909 14910 14911 14912 14913 14914 14915 14915 14916 14917 14918 14919 14920 14921 14922 14923 14923 14924 14925 14926 14927 14928 14929 14930 14930 14931 14932 14933 14934 14935 14936 14937 14937 14938 14939 14940 14941 14942 14943 14944 14945 14945 14946 14947 14948 14949 14950 14951 14951 14952 14953 14954 14954 14955 14956 14957 14958 14958 14959 14960 14961 14961 14962 14963 14964 14964 14965 14966 14967 14968 14968 14969 14970 14971 14971 14972 14973 14974 14974 14975 14976 14977 14977 14978 14979 14980 14981 14981 14982 14983 14984 14984 14985 14986 14987 14987 14988 14989 14990 14991 14991 14992 14993 14994 14994 14995 14996 14997 14997 14998 14999 15000 15000 15001 15002 15003 15003 15004 15005 15005 15006 15007 15007 15008 15009 15009 15010 15011 15011 15012 15013 15013 15014 15015 15016 15016 15017 15018 15018 15019 15020 15020 15021 15022 15022 15023 15024 15024 15025 15026 15027 15027 15028 15029 15029 15030 15031 15031 15032 15033 15033 15034 15035 15035 15036 15037 15037 15038 15039 15040 15040 15041 15042 15042 15043 15044 15044 15045 15046 15046 15047 15048 15048 15049 15050 15050 15051 15052 15052 15053 15054 15054 15055 15056 15056 15057 15057 15058 15059 15059 15060 15061 15061 15062 15062 15063 15064 15064 15065 15066 15066 15067 15067 15068 15069 15069 15070 15071 15071 15072 15072 15073 15074 15074 15075 15076 15076 15077 15077 15078 15079 15079 15080 15081 15081 15082 15082 15083 15084 15084 15085 15086 15086 15087 15087 15088 15089 15089 15090 15091 15091 15092 15092 15093 15094 15094 15095 15096 15096 15097 15097 15098 15099 15099 15100 15101 15101 15102 15102 15103 15103 15104 15105 15105 15106 15106 15107 15108 15108 15109 15109 15110 15110 15111 15112 15112 15113 15113 15114 15115 15115 15116 15116 15117 15117 15118 15119 15119 15120 15120 15121 15122 15122 15123 15123 15124 15124 15125 15126

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