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

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

BK_START 1401984682639

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: 2500 NrTr: 19404)

net check time: 0m0sec

place and transition orderings generation:0m37sec

init dd package: 0m0sec


before gc: list nodes free: 1291253

after gc: idd nodes used:10555, unused:15989445; list nodes free:66976677

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: 0m6sec

2500 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 3290 3276 3265 3254 3248 3238 3232 3224 3216 3212 3206 3199 3193 3190 3185 3178 3172 3169 3166 3160 3154 3148 3145 3142 3139 3134 3128 3123 3119 3116 3114 3111 3107 3101 3097 3091 3089 3087 3084 3082 3079 3073 3068 3064 3060 3058 3055 3053 3051 3049 3044 3816 3786 3760 3740 3726 3708 3694 3680 3664 3654 3646 3628 3616 3610 3602 3586 3572 3566 3560 3554 3538 3528 3520 3514 3508 3500 3488 3478 3468 3462 3456 3452 3446 3432 3424 3414 3406 3402 3398 3392 3388 3376 3366 3358 3348 3344 3340 3336 3330 3326 3320 4356 4299 4260 4230 4206 4179 4158 4143 4116 4098 4086 4062 4041 4032 4020 3999 3981 3966 3957 3948 3927 3909 3894 3885 3879 3870 3849 3834 3816 3810 3801 3792 3786 3765 3753 3738 3726 3720 3711 3705 3699 3684 3666 3654 3639 3633 3624 3618 3612 3606 3597 4916 4820 4768 4736 4688 4660 4624 4608 4572 4544 4528 4500 4472 4452 4440 4412 4388 4368 4356 4344 4316 4296 4272 4260 4248 4236 4212 4192 4172 4156 4148 4136 4128 4100 4084 4064 4048 4036 4028 4016 4008 3992 3968 3952 3936 3920 3912 3904 3892 3884 3876 3860 5362 5287 5237 5177 5147 5097 5072 5027 4992 4972 4942 4907 4877 4862 4832 4797 4772 4752 4737 4712 4682 4652 4637 4622 4607 4582 4552 4527 4507 4492 4482 4467 4442 4417 4392 4367 4357 4342 4332 4322 4307 4277 4252 4232 4212 4197 4187 4177 4167 4157 4132 5898 5808 5736 5676 5634 5574 5538 5496 5448 5418 5388 5340 5304 5286 5262 5214 5172 5154 5136 5112 5070 5040 5010 4998 4980 4956 4914 4884 4854 4842 4824 4812 4794 4752 4722 4692 4674 4662 4650 4632 4620 4584 4554 4530 4500 4488 4476 4464 4446 4434 4410 6461 6328 6237 6174 6118 6055 6006 5971 5908 5866 5838 5782 5733 5705 5684 5628 5586 5558 5537 5516 5460 5425 5390 5369 5348 5327 5278 5250 5208 5194 5173 5152 5138 5089 5061 5026 4998 4984 4963 4949 4928 4900 4858 4830 4795 4774 4760 4746 4732 4718 4697 7052 6868 6764 6692 6604 6548 6476 6436 6364 6316 6284 6220 6164 6132 6108 6052 6004 5964 5940 5916 5860 5812 5772 5748 5724 5700 5652 5612 5564 5540 5524 5500 5476 5428 5396 5356 5316 5300 5284 5260 5244 5212 5164 5132 5100 5068 5052 5036 5012 4996 4980 4948 7425 7290 7200 7092 7047 6948 6903 6831 6768 6732 6678 6606 6561 6534 6480 6417 6363 6336 6309 6264 6210 6147 6129 6102 6075 6030 5976 5931 5895 5868 5850 5823 5778 5733 5688 5643 5625 5598 5580 5562 5526 5472 5436 5400 5364 5337 5319 5301 5283 5256 5220 5223 5227 5231 5235 5240 5244 5248 5252 5256 5260 5264 5268 5272 5276 5281 5285 5289 5293 5297 5301 5305 5309 5313 5318 5322 5326 5330 5334 5338 5344 5352 5359 5362 5364 5366 5369 5371 5373 5375 5377 5379 5381 5383 5385 5387 5389 5392 5394 5396 5398 5400 5402 5404 5406 5408 5410 5412 5415 5417 5419 5421 5423 5425 5427 5429 5431 5433 5435 5438 5440 5442 5444 5446 5448 5450 5452 5454 5456 5459 5461 5463 5465 5467 5469 5471 5473 5475 5477 5479 5482 5484 5486 5488 5490 5492 5495 5498 5501 5505 5509 5515 5522 5529 5534 5538 5541 5545 5549 5553 5557 5561 5565 5568 5572 5576 5580 5584 5588 5591 5595 5599 5603 5607 5611 5615 5618 5622 5626 5630 5634 5638 5642 5645 5649 5653 5657 5661 5665 5668 5672 5676 5680 5684 5688 5693 5700 5707 5712 5714 5716 5717 5719 5721 5723 5725 5727 5729 5731 5733 5735 5737 5739 5741 5743 5745 5747 5749 5751 5753 5755 5757 5759 5761 5763 5765 5766 5768 5770 5772 5774 5776 5778 5780 5782 5784 5786 5788 5790 5792 5794 5796 5798 5800 5802 5804 5806 5808 5810 5812 5814 5816 5818 5819 5821 5823 5825 5827 5829 5831 5833 5835 5837 5839 5841 5843 5845 5847 5849 5851 5854 5856 5859 5862 5865 5869 5875 5882 5889 5893 5897 5900 5904 5908 5911 5915 5919 5922 5926 5929 5933 5937 5940 5944 5948 5951 5955 5958 5962 5966 5969 5973 5977 5980 5984 5987 5991 5995 5998 6002 6006 6009 6013 6016 6020 6024 6027 6031 6035 6038 6042 6046 6049 6053 6056 6060 6067 6074 6080 6082 6084 6086 6088 6090 6092 6093 6095 6097 6099 6101 6103 6104 6106 6108 6110 6112 6114 6116 6117 6119 6121 6123 6125 6127 6128 6130 6132 6134 6136 6138 6140 6141 6143 6145 6147 6149 6151 6152 6154 6156 6158 6160 6162 6164 6165 6167 6169 6171 6173 6175 6176 6178 6180 6182 6184 6186 6188 6189 6191 6193 6195 6197 6199 6200 6202 6204 6206 6208 6210 6211 6213 6215 6217 6219 6221 6223 6224 6226 6228 6230 6232 6235 6237 6239 6242 6246 6250 6255 6262 6269 6273 6276 6280 6283 6287 6290 6294 6297 6300 6304 6307 6311 6314 6318 6321 6324 6328 6331 6335 6338 6341 6345 6348 6352 6355 6359 6362 6365 6369 6372 6376 6379 6383 6386 6389 6393 6396 6400 6403 6407 6410 6413 6417 6420 6424 6427 6431 6434 6437 6441 6444 6448 6452 6459 6465 6471 6473 6474 6476 6478 6479 6481 6483 6485 6486 6488 6490 6492 6493 6495 6497 6499 6500 6502 6504 6506 6507 6509 6511 6513 6514 6516 6518 6520 6521 6523 6525 6527 6528 6530 6532 6533 6535 6537 6539 6540 6542 6544 6546 6547 6549 6551 6553 6554 6556 6558 6560 6561 6563 6565 6567 6568 6570 6572 6574 6575 6577 6579 6581 6582 6584 6586 6588 6589 6591 6593 6594 6596 6598 6600 6601 6603 6605 6607 6608 6610 6612 6614 6615 6617 6619 6621 6622 6624 6626 6628 6629 6631 6634 6636 6638 6640 6644 6647 6650 6657 6663 6669 6673 6676 6680 6683 6686 6689 6693 6696 6699 6702 6706 6709 6712 6715 6719 6722 6725 6728 6732 6735 6738 6741 6745 6748 6751 6754 6758 6761 6764 6767 6771 6774 6777 6780 6784 6787 6790 6793 6797 6800 6803 6806 6810 6813 6816 6819 6823 6826 6829 6832 6836 6839 6842 6845 6849 6852 6855 6858 6863 6869 6875 6881 6882 6884 6886 6887 6889 6891 6892 6894 6896 6897 6899 6900 6902 6904 6905 6907 6909 6910 6912 6914 6915 6917 6919 6920 6922 6924 6925 6927 6929 6930 6932 6933 6935 6937 6938 6940 6942 6943 6945 6947 6948 6950 6952 6953 6955 6957 6958 6960 6962 6963 6965 6967 6968 6970 6971 6973 6975 6976 6978 6980 6981 6983 6985 6986 6988 6990 6991 6993 6995 6996 6998 7000 7001 7003 7004 7006 7008 7009 7011 7013 7014 7016 7018 7019 7021 7023 7024 7026 7028 7029 7031 7033 7034 7036 7037 7039 7041 7042 7044 7046 7047 7049 7051 7053 7055 7057 7059 7062 7065 7068 7073 7079 7085 7091 7094 7097 7100 7103 7106 7109 7112 7115 7118 7121 7125 7128 7131 7134 7137 7140 7143 7146 7149 7152 7155 7158 7162 7165 7168 7171 7174 7177 7180 7183 7186 7189 7192 7196 7199 7202 7205 7208 7211 7214 7217 7220 7223 7226 7230 7233 7236 7239 7242 7245 7248 7251 7254 7257 7260 7263 7267 7270 7273 7276 7279 7282 7285 7288 7292 7298 7304 7310 7334 7339 7351 7354 7357 7360 7362 7364 7366 7367 7369 7371 7373 7375 7377 7378 7380 7382 7384 7385 7387 7389 7391 7392 7394 7396 7398 7399 7401 7403 7404 7406 7408 7409 7411 7413 7414 7416 7417 7419 7421 7422 7424 7425 7427 7429 7430 7432 7433 7435 7436 7438 7439 7441 7443 7444 7446 7447 7449 7450 7452 7453 7454 7456 7457 7459 7460 7462 7463 7465 7466 7468 7469 7470 7472 7473 7475 7476 7477 7479 7480 7482 7483 7484 7486 7487 7489 7490 7491 7493 7494 7495 7497 7498 7499 7501 7502 7503 7505 7506 7507 7509 7510 7511 7512 7514 7515 7516 7518 7519 7520 7521 7523 7524 7525 7527 7528 7529 7530 7532 7533 7534 7535 7536 7538 7539 7540 7543 7545 7548 7551 7557 7562 7564 7567 7570 7572 7575 7577 7580 7582 7585 7587 7589 7592 7594 7596 7599 7601 7603 7606 7608 7610 7612 7614 7617 7619 7621 7623 7625 7627 7629 7631 7633 7636 7638 7640 7642 7644 7646 7648 7649 7651 7653 7655 7657 7659 7661 7663 7665 7667 7668 7670 7672 7674 7676 7677 7679 7681 7683 7684 7686 7688 7690 7691 7693 7695 7697 7698 7700 7702 7703 7705 7707 7708 7710 7712 7713 7715 7716 7718 7720 7721 7723 7724 7726 7728 7729 7731 7732 7734 7735 7737 7738 7740 7742 7746 7749 7753 7759 7763 7766 7769 7772 7776 7779 7782 7785 7788 7791 7794 7798 7801 7804 7807 7810 7813 7816 7820 7823 7826 7829 7832 7835 7838 7842 7845 7848 7851 7854 7857 7860 7864 7867 7870 7873 7876 7879 7883 7886 7889 7892 7895 7898 7901 7905 7908 7911 7914 7917 7920 7923 7927 7930 7933 7936 7940 7946 7951 7954 7958 7961 7964 7968 7971 7974 7978 7981 7984 7988 7991 7994 7998 8001 8004 8008 8011 8014 8017 8021 8024 8027 8031 8034 8037 8041 8044 8047 8051 8054 8057 8061 8064 8067 8070 8074 8077 8080 8084 8087 8090 8094 8097 8100 8104 8107 8110 8114 8117 8121 8128 8133 8136 8140 8143 8147 8150 8154 8157 8161 8164 8168 8171 8175 8178 8182 8185 8189 8192 8196 8199 8203 8206 8210 8213 8217 8220 8224 8227 8231 8234 8238 8241 8245 8248 8252 8255 8259 8262 8266 8269 8273 8276 8280 8283 8287 8291 8298 8303 8307 8310 8314 8318 8321 8325 8329 8333 8336 8340 8344 8347 8351 8355 8359 8362 8366 8370 8373 8377 8381 8384 8388 8392 8396 8399 8403 8407 8410 8414 8418 8422 8425 8429 8433 8436 8440 8444 8448 8453 8461 8465 8469 8473 8476 8480 8484 8488 8492 8496 8500 8504 8508 8512 8516 8520 8524 8528 8532 8536 8540 8543 8547 8551 8555 8559 8563 8567 8571 8575 8579 8583 8587 8591 8595 8599 8606 8612 8617 8621 8625 8629 8633 8638 8642 8646 8650 8654 8659 8663 8667 8671 8676 8680 8684 8688 8692 8697 8701 8705 8709 8713 8718 8722 8726 8730 8735 8739 8747 8753 8758 8762 8767 8771 8776 8780 8785 8789 8794 8798 8803 8807 8812 8816 8821 8825 8830 8834 8839 8843 8848 8852 8857 8861 8866 8872 8881 8886 8890 8895 8900 8905 8910 8915 8920 8925 8929 8934 8939 8944 8949 8954 8959 8963 8968 8973 8978 8983 8989 8997 9004 9009 9014 9020 9025 9030 9035 9041 9046 9051 9056 9062 9067 9072 9077 9083 9088 9094 9100 9109 9116 9121 9127 9133 9139 9144 9150 9156 9162 9167 9173 9179 9185 9190 9197 9206 9214 9221 9227 9233 9240 9246 9252 9259 9265 9271 9278 9285 9293 9303 9310 9317 9324 9331 9339 9346 9353 9360 9368 9380 9388 9396 9404 9412 9420 9428 9437 9451 9460 9469 9478 9487 9498 9512 9523 9534 9546 9563 9576 9592 9612 9631 9631 9632 9632 9633 9633 9634 9635 9635 9636 9636 9637 9637 9638 9638 9639 9639 9640 9641 9641 9642 9642 9643 9643 9644 9644 9645 9645 9646 9647 9647 9648 9648 9649 9649 9650 9650 9651 9651 9652 9653 9653 9654 9654 9655 9655 9656 9656 9657 9657 9658 9659 9659 9660 9660 9661 9661 9662 9662 9663 9663 9664 9664 9665 9665 9666 9667 9667 9668 9668 9669 9669 9670 9670 9671 9671 9672 9672 9673 9674 9674 9675 9675 9676 9676 9677 9677 9678 9678 9679 9679 9680 9680 9681 9681 9682 9683 9683 9684 9684 9685 9685 9686 9686 9687 9687 9688 9688 9689 9689 9690 9690 9691 9691 9692 9693 9693 9694 9694 9695 9695 9696 9696 9697 9697 9698 9698 9699 9699 9700 9700 9701 9701 9702 9702 9703 9703 9704 9705 9705 9706 9706 9707 9707 9708 9708 9709 9709 9710 9710 9711 9711 9712 9712 9713 9713 9714 9714 9715 9715 9716 9716 9717 9717 9718 9718 9719 9719 9720 9720 9721 9722 9722 9723 9723 9724 9724 9725 9725 9726 9726 9727 9727 9728 9728 9729 9729 9730 9730 9731 9731 9732 9732 9733 9733 9734 9734 9735 9735 9736 9736 9737 9737 9738 9738 9739 9739 9740 9740 9741 9741 9742 9742 9743 9743 9744 9744 9745 9745 9746 9746 9747 9747 9748 9748 9749 9749 9750 9750 9751 9751 9752 9752 9753 9753 9754 9754 9755 9755 9756 9756 9757 9757 9758 9758 9759 9759 9760 9760 9761 9761 9762 9762 9763 9763 9764 9764 9765 9765 9766 9766 9767 9767 9768 9768 9769 9769 9770 9770 9771 9771 9772 9772 9773 9773 9774 9774 9775 9775 9776 9776 9777 9777 9777 9778 9778 9779 9779 9780 9780

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