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

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

BK_START 1401984597785

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: 1600 NrTr: 12324)

net check time: 0m0sec

place and transition orderings generation:0m12sec

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

1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1968 1954 1944 1932 1926 1915 1911 1903 1895 1892 1884 1878 1873 1869 1864 2208 2180 2158 2134 2124 2102 2092 2076 2060 2052 2040 2026 2014 2008 1998 2449 2410 2374 2341 2320 2293 2272 2254 2227 2215 2200 2176 2158 2146 2134 2700 2640 2592 2552 2520 2484 2456 2432 2400 2376 2360 2328 2300 2288 2272 2967 2872 2807 2762 2722 2677 2642 2617 2572 2542 2522 2482 2447 2427 2412 3238 3112 3040 2980 2926 2872 2824 2800 2746 2704 2686 2638 2590 2572 2554 3524 3356 3265 3202 3125 3076 3013 2978 2922 2873 2845 2789 2747 2712 2691 2656 3620 3508 3428 3332 3284 3196 3164 3100 3036 3012 2948 2900 2860 2828 2788 3874 3748 3649 3550 3496 3397 3352 3280 3208 3172 3118 3055 3001 2974 2929 2924 2931 2937 2943 2949 2955 2961 2967 2973 2979 2986 2993 3004 3012 3015 3018 3021 3024 3028 3031 3034 3037 3040 3043 3046 3050 3053 3056 3059 3062 3065 3068 3072 3075 3078 3081 3084 3087 3090 3095 3099 3104 3109 3119 3130 3136 3141 3147 3152 3158 3163 3169 3175 3180 3186 3191 3197 3202 3208 3213 3219 3225 3230 3236 3242 3253 3261 3264 3267 3270 3273 3275 3278 3281 3284 3287 3290 3293 3295 3298 3301 3304 3307 3310 3313 3315 3318 3321 3324 3327 3330 3333 3335 3338 3341 3344 3347 3350 3353 3357 3361 3366 3372 3382 3391 3396 3401 3406 3411 3417 3422 3427 3432 3437 3442 3447 3452 3457 3463 3468 3473 3478 3483 3488 3493 3498 3503 3509 3517 3526 3532 3535 3537 3540 3542 3545 3548 3550 3553 3555 3558 3561 3563 3566 3569 3571 3574 3576 3579 3582 3584 3587 3590 3592 3595 3597 3600 3603 3605 3608 3610 3613 3616 3618 3621 3624 3626 3629 3632 3635 3638 3642 3647 3654 3663 3671 3676 3681 3685 3690 3695 3700 3704 3709 3714 3718 3723 3728 3733 3737 3742 3747 3752 3756 3761 3766 3770 3775 3780 3785 3789 3794 3799 3806 3815 3821 3824 3826 3829 3831 3833 3836 3838 3841 3843 3846 3848 3850 3853 3855 3858 3860 3862 3865 3867 3870 3872 3875 3877 3879 3882 3884 3887 3889 3891 3894 3896 3899 3901 3904 3906 3908 3911 3913 3916 3918 3920 3923 3925 3928 3930 3933 3936 3940 3944 3948 3955 3963 3971 3975 3980 3984 3989 3993 3997 4002 4006 4010 4015 4019 4024 4028 4032 4037 4041 4046 4050 4054 4059 4063 4068 4072 4076 4081 4085 4090 4094 4098 4103 4107 4113 4121 4129 4132 4135 4137 4139 4141 4144 4146 4148 4150 4153 4155 4157 4159 4161 4164 4166 4168 4170 4173 4175 4177 4179 4182 4184 4186 4188 4191 4193 4195 4197 4200 4202 4204 4206 4209 4211 4213 4215 4218 4220 4222 4224 4227 4229 4231 4233 4236 4238 4240 4242 4244 4247 4249 4251 4254 4257 4260 4264 4269 4275 4283 4291 4295 4299 4303 4307 4311 4315 4319 4323 4327 4332 4336 4340 4344 4348 4352 4356 4360 4364 4368 4373 4377 4381 4385 4389 4393 4397 4401 4405 4410 4414 4418 4422 4426 4430 4434 4438 4444 4452 4460 4484 4492 4503 4507 4510 4513 4515 4517 4520 4522 4524 4527 4529 4531 4534 4536 4538 4540 4542 4545 4547 4549 4551 4553 4555 4557 4559 4561 4563 4566 4568 4570 4572 4573 4575 4577 4579 4581 4583 4585 4587 4589 4591 4593 4594 4596 4598 4600 4602 4604 4605 4607 4609 4611 4612 4614 4616 4618 4619 4621 4623 4624 4626 4628 4630 4631 4633 4634 4636 4638 4639 4642 4645 4649 4655 4661 4665 4668 4671 4674 4677 4681 4684 4687 4690 4693 4695 4698 4701 4704 4707 4709 4712 4715 4717 4720 4723 4725 4728 4730 4733 4735 4737 4740 4742 4745 4747 4749 4752 4754 4756 4758 4761 4763 4765 4767 4769 4771 4773 4776 4778 4780 4782 4784 4786 4788 4790 4794 4798 4804 4811 4815 4820 4824 4828 4832 4836 4841 4845 4849 4853 4857 4862 4866 4870 4874 4878 4883 4887 4891 4895 4899 4904 4908 4912 4916 4920 4925 4929 4933 4938 4944 4952 4956 4961 4965 4970 4974 4979 4983 4988 4992 4997 5001 5006 5010 5015 5019 5024 5028 5033 5037 5042 5046 5051 5055 5060 5065 5070 5078 5084 5089 5094 5099 5104 5108 5113 5118 5123 5128 5133 5138 5142 5147 5152 5157 5162 5167 5172 5176 5181 5187 5194 5202 5207 5213 5218 5223 5228 5234 5239 5244 5250 5255 5260 5265 5271 5276 5281 5286 5292 5298 5306 5314 5320 5325 5331 5337 5343 5348 5354 5360 5366 5371 5377 5383 5389 5395 5402 5412 5419 5425 5431 5438 5444 5450 5457 5463 5469 5476 5482 5490 5501 5508 5515 5522 5529 5536 5543 5550 5558 5565 5576 5586 5594 5602 5610 5618 5626 5634 5646 5657 5666 5675 5684 5694 5708 5720 5730 5741 5758 5772 5786 5806 5831 5831 5832 5833 5834 5835 5836 5837 5838 5839 5840 5841 5842 5843 5844 5845 5845 5846 5847 5848 5849 5850 5851 5852 5853 5854 5855 5856 5856 5857 5858 5859 5860 5861 5862 5863 5864 5865 5865 5866 5867 5868 5869 5870 5871 5872 5873 5873 5874 5875 5876 5877 5878 5879 5880 5881 5881 5882 5883 5884 5885 5886 5887 5888 5888 5889 5890 5891 5892 5893 5894 5894 5895 5896 5897 5898 5899 5900 5900 5901 5902 5903 5904 5905 5906 5906 5907 5908 5909 5910 5911 5911 5912 5913 5914 5915 5916 5916 5917 5918 5919 5920 5921 5921 5922 5923 5924 5925 5926 5926 5927 5928 5929 5930 5931 5931 5932 5933 5934 5935 5935 5936 5937 5938 5939 5939 5940 5941 5942 5943 5944 5944 5945 5946 5947 5948 5948 5949 5950 5951 5952 5952 5953 5954 5955 5956 5956 5957 5958 5959 5959 5960 5961 5962 5963 5963 5964 5965 5966 5967 5967 5968 5969 5970 5970 5971 5972 5973 5974 5974 5975 5976 5977 5977 5978 5979 5980 5981 5981 5982 5983 5984 5984 5985 5986 5987 5987 5988 5989 5990 5990 5998 6006 6014 6021 6029 6036 6043 6051 6058 6066 6073 6080 6088 6095 6103 6110 6118 6125 6132 6140 6148 6157 6165 6172 6180 6188 6196 6204 6212 6220 6228 6235 6243 6251 6259 6267 6275 6283 6292 6301 6309 6318 6326 6335 6343 6351 6360 6368 6377 6385 6394 6402 6410 6420 6430 6439 6448 6457 6466 6475 6484 6493 6502 6511 6520 6529 6539 6550 6559 6569 6579 6588 6598 6608 6618 6627 6637 6648 6659 6670 6680 6691 6701 6712 6723 6733 6744 6757 6769 6780 6792 6803 6815 6826 6839 6853 6865 6878 6891 6904 6918 6933 6947 6961 6975 6992 7009 7025 7040 7061 7079 7101 7135 7157 7177 7194 7202 7208 7213 7217 7221 7224 7228 7231 7233 7236 7239 7241 7243 7246 7248 7250 7252 7254 7255 7257 7259 7261 7262 7264 7265 7267 7268 7270 7271 7273 7274 7275 7277 7278 7279 7280 7282 7283 7284 7285 7286 7287 7288 7290 7291 7292 7293 7294 7295 7296 7297 7298 7299 7300 7301 7301 7301 7302 7302 7303 7303 7304 7304 7304 7305 7305 7306 7306 7307 7307 7308 7308 7308 7309 7309 7310 7310 7311 7311 7311 7312 7312 7312 7313 7313 7314 7314 7314 7315 7315 7316 7316 7316 7317 7317 7318 7318 7318 7319 7319 7320 7320 7320 7321 7321 7321 7322 7322 7322 7323 7323 7324 7324 7324 7325 7325 7325 7326 7326 7326 7327 7327 7328 7328 7328 7329 7329 7329 7330 7330 7330 7331 7331 7331 7332 7332 7332 7333 7333 7333 7334 7334 7334 7335 7335 7335 7336 7336 7336 7337 7337 7337 7338 7338 7338 7339 7339 7339 7340 7340 7340 7341 7341 7341 7342 7342 7342 7343 7343 7343 7343 7344 7344 7344 7345 7345 7345 7346 7346 7346 7347 7347 7347 7348 7348 7348 7348 7349 7349 7349 7350 7350 7350 7351 7351 7351 7352 7352 7352 7352 7353 7353 7353 7354 7354 7354 7354 7355 7355 7355 7356 7356 7356 7357 7357 7357 7357 7358 7358 7358 7359 7359 7359 7359 7360 7360 7360 7361 7361 7361 7361 7362 7362 7362 7363 7363 7363 7363 7364 7364 7364 7365 7365 7365 7365 7366 7366 7366 7367 7367 7367 7367 7368 7368 7368 7368 7369 7369 7369 7370 7370 7370 7370 7371 7371 7371 7372 7372 7372 7372 7373 7373 7373 7373 7374 7374 7374 7374 7375 7375 7375 7376 7376 7376 7376 7377 7377 7377 7377 7378 7378 7378 7379 7379 7379 7379 7380 7380 7380 7380 7381 7381 7381 7381 7382 7382 7382 7382 7383 7383 7383 7384 7384 7384 7384 7385 7385 7385 7385 7386 7386 7386 7386 7387 7387 7387 7387 7388 7388 7388 7388 7389 7389 7389 7389 7390 7390 7390 7391 7391 7391 7391 7392 7392 7392 7392 7393 7393 7393 7393 7394 7394 7394 7394 7395 7395 7395 7395 7396 7396 7396 7396 7397 7397 7397 7397 7398 7398 7398 7398 7399 7399 7399 7399 7400 7400 7400 7400 7401 7401 7401 7401 7402 7402 7402 7402 7403 7403 7403 7403 7404 7404 7404 7404 7404 7405 7405 7405 7405 7406 7406 7406 7406 7407 7407 7407 7407 7408 7408 7408 7408 7409 7409 7409 7409 7410 7410 7410 7410 7411 7411 7411 7411 7412 7412 7412 7412 7413 7413 7413 7413 7413 7414 7414 7414 7414 7415 7415 7415 7415 7416 7416 7416 7416 7417 7417 7417 7417 7418 7418 7418 7418 7419 7419 7419 7419 7419 7420 7420 7420 7420 7421 7421 7421 7421 7422 7422 7422 7422 7423 7423 7423 7423 7423 7424 7424 7424 7424 7425 7425 7425 7425 7426 7426 7426 7426 7427 7427 7427 7427 7427 7428 7428 7428 7428 7429 7429 7429 7429 7430 7430 7430 7430 7431 7431 7431 7431 7431 7432 7432 7432 7432 7433 7433 7433 7433 7434 7434 7434 7434 7434 7435 7435 7435 7435 7436 7436 7436 7436 7437 7437 7437 7437 7438 7438 7438 7438 7438 7439 7439 7439 7439 7440 7440 7440 7440 7441 7441 7441 7441 7441 7442 7442 7442 7442 7443 7443 7443 7443 7444 7444 7444 7444 7444 7445 7445 7445 7445 7446 7446 7446 7446 7446 7447 7447 7447 7447 7448 7448 7448 7448 7449 7449 7449 7449 7449 7450 7450 7450 7450 7453 7456 7460 7464 7468 7472 7475 7478 7481 7483 7486 7488 7491 7493 7495 7497 7500 7502 7504 7506 7508 7509 7511 7513 7515 7516 7518 7520 7521 7523 7524 7526 7527 7529 7530 7532 7533 7534 7535 7537 7538 7539 7541 7542 7543 7544 7545 7546 7548 7549 7550 7551 7552 7553 7554 7555 7556 7557 7558 7559 7560 7561 7562 7563 7564 7565 7566 7567 7567 7568 7569 7570 7571 7572 7573 7574 7574 7575 7576 7577 7578 7578 7579 7580 7581 7581 7582 7582 7582 7583 7583 7583 7584 7584 7585 7585 7585 7586 7586 7587 7587 7587 7588 7588 7589 7589 7589 7590 7590 7591 7591 7591 7592 7592 7592 7593 7593 7593 7594 7594 7595 7595 7595 7596 7596 7596 7597 7597 7597 7598 7598 7599 7599 7599 7600 7600 7600 7601 7601 7601 7602 7602 7602 7603 7603 7603 7604 7604 7604 7605 7605 7605 7606 7606 7606 7607 7607 7607 7608 7608 7608 7609 7609 7609 7610 7610 7610 7611 7611 7611 7612 7612 7612 7612 7613 7613 7613 7614 7614 7614 7615 7615 7615 7616 7616 7616 7616 7617 7617 7617 7618 7618 7618 7619 7619 7619 7620 7620 7620 7621 7621 7621 7621 7622 7622 7622 7623 7623 7623 7623 7624 7624 7624 7625 7625 7625 7625 7626 7626 7626 7627 7627 7627 7628 7628 7628 7628 7629 7629 7629 7630 7630 7630 7630 7631 7631 7631 7632 7632 7632 7632 7633 7633 7633 7633 7634 7634 7634 7635 7635 7635 7635 7636 7636 7636 7636 7637 7637 7637 7638 7638 7638 7638 7639 7639 7639 7640 7640 7640 7640 7641 7641 7641 7641 7642 7642 7642 7642 7643 7643 7643 7644 7644 7644 7644 7645 7645 7645 7645 7646 7646 7646 7646 7647 7647 7647 7647 7648 7648 7648 7649 7649 7649 7649 7650 7650 7650 7650 7651 7651 7651 7651 7652 7652 7652 7652 7653 7653 7653 7653 7654 7654 7654 7654 7655 7655 7655 7655 7656 7656 7656 7656 7657 7657 7657 7658 7658 7658 7658 7659 7659 7659 7659 7660 7660 7660 7660 7661 7661 7661 7661 7662 7662 7662 7662 7663 7663 7663 7663 7663 7664 7664 7664 7664 7665 7665 7665 7665 7666 7666 7666 7666 7667 7667 7667 7667 7668 7668 7668 7668 7669 7669 7669 7669 7670 7670 7670 7670 7671 7671 7671 7671 7672 7672 7672 7672 7672 7673 7673 7673 7673 7674 7674 7674 7674 7675 7675 7675 7675 7676 7676 7676 7676 7677 7677 7677 7677 7677 7678 7678 7678 7678 7679 7679 7679 7679 7680 7680 7680 7680 7681 7681 7681 7681 7682 7682 7682 7682 7682 7683 7683 7683 7683 7684 7684 7684 7684 7685 7685 7685 7685 7685 7686 7686 7686 7686 7687 7687 7687 7687 7688 7688 7688 7688 7688 7689 7689 7689 7689 7690 7690 7690 7690 7691 7691 7691 7691 7691 7692 7692 7692 7692 7693 7693 7693 7693 7694 7694 7694 7694 7694 7695 7695 7695 7695 7696 7696 7696 7696 7696 7697 7697 7697 7697 7698 7698 7698 7698 7699 7699 7699 7699 7699 7700 7700 7700 7700 7701 7701 7701 7701 7701 7702 7702 7702 7702 7703 7703 7703 7703 7703 7704 7704 7704 7704 7705 7705 7705 7705 7705 7706 7706 7706 7706 7707 7707 7707 7707 7707 7708 7708 7708 7708 7709 7709 7709 7709 7710 7710 7710 7710 7710 7711 7711 7711 7711 7712 7712 7712 7712 7712 7713 7713 7713 7713 7713 7714 7714 7714 7714 7715 7715 7715 7715 7715 7716 7716 7716 7716 7717 7717 7717 7717 7717 7718 7718 7718 7718 7719 7719 7719 7719 7719 7720 7720 7720 7720 7721 7723 7726 7728 7730 7735 7739 7742 7745 7747 7749 7752 7754 7756 7759 7761 7763 7765 7768 7770 7772 7775 7777 7779 7782 7784 7786 7789 7791 7793 7796 7798 7800 7803 7805 7807 7810 7812 7814 7817 7819 7821 7823 7826 7828 7830 7833 7835 7837 7840 7842 7844 7847 7849 7851 7854 7856 7858 7861 7863 7865 7868 7870 7872 7875 7877 7879 7882 7884 7886 7889 7891 7893 7895 7898 7900 7902 7905 7907 7909 7912 7914 7916 7919 7921 7923 7926 7928 7930 7933 7935 7937 7940 7942 7944 7947 7949 7951 7953 7956 7958 7960 7963 7965 7967 7970 7972 7974 7977 7979 7981 7984 7986 7989 7992 7996 8001 8003 8006 8008 8010 8013 8015 8018 8020 8022 8025 8027 8030 8032 8035 8037 8039 8042 8044 8047 8049 8051 8054 8056 8059 8061 8063 8066 8068 8071 8073 8076 8078 8080 8083 8085 8088 8090 8092 8095 8097 8100 8102 8104 8107 8109 8112 8114 8116 8119 8121 8124 8126 8129 8131 8133 8136 8138 8141 8143 8145 8148 8150 8153 8155 8157 8160 8162 8165 8167 8170 8172 8174 8177 8179 8182 8184 8186 8189 8191 8194 8196 8198 8201 8203 8206 8208 8210 8213 8215 8218 8220 8223 8225 8227 8230 8232 8235 8237 8240 8244 8249 8252 8255 8257 8260 8262 8265 8267 8270 8272 8275 8277 8280 8282 8285 8287 8290 8292 8295 8297 8300 8302 8305 8307 8310 8312 8315 8317 8320 8322 8325 8327 8330 8332 8335 8337 8340 8343 8345 8348 8350 8353 8355 8358 8360 8363 8365 8368 8370 8373 8375 8378 8380 8383 8385 8388 8390 8393 8395 8398 8400 8403 8405 8408 8410 8413 8415 8418 8420 8423 8425 8428 8430 8433 8435 8438 8440 8443 8445 8448 8450 8453 8455 8458 8460 8463 8465 8468 8470 8473 8476 8478 8481 8486 8491 8494 8496 8499 8501 8504 8507 8509 8512 8514 8517 8520 8522 8525 8528 8530 8533 8535 8538 8541 8543 8546 8548 8551 8554 8556 8559 8562 8564 8567 8569 8572 8575 8577 8580 8582 8585 8588 8590 8593 8595 8598 8601 8603 8606 8609 8611 8614 8616 8619 8622 8624 8627 8629 8632 8635 8637 8640 8642 8645 8648 8650 8653 8656 8658 8661 8663 8666 8669 8671 8674 8676 8679 8682 8684 8687 8690 8692 8695 8697 8700 8703 8705 8708 8711 8717 8721 8724 8727 8729 8732 8735 8738 8740 8743 8746 8748 8751 8754 8757 8759 8762 8765 8768 8770 8773 8776 8778 8781 8784 8787 8789 8792 8795 8798 8800 8803 8806 8808 8811 8814 8817 8819 8822 8825 8828 8830 8833 8836 8838 8841 8844 8847 8849 8852 8855 8858 8860 8863 8866 8868 8871 8874 8877 8879 8882 8885 8888 8890 8893 8896 8898 8901 8904 8907 8909 8912 8915 8918 8920 8923 8926 8929 8933 8938 8942 8945 8948 8951 8954 8956 8959 8962 8965 8968 8971 8974 8976 8979 8982 8985 8988 8991 8994 8996 8999 9002 9005 9008 9011 9013 9016 9019 9022 9025 9028 9031 9033 9036 9039 9042 9045 9048 9051 9053 9056 9059 9062 9065 9068 9070 9073 9076 9079 9082 9085 9088 9090 9093 9096 9099 9102 9105 9108 9110 9113 9116 9119 9122 9125 9128 9130 9133 9136 9139 9144 9150 9153 9156 9159 9162 9165 9168 9171 9174 9177 9180 9183 9186 9189 9192 9195 9198 9201 9204 9207 9210 9213 9216 9219 9222 9225 9228 9231 9234 9237 9240 9243 9246 9249 9252 9255 9258 9261 9264 9267 9270 9273 9276 9279 9282 9285 9288 9291 9294 9297 9300 9303 9306 9309 9311 9314 9317 9320 9323 9326 9329 9333 9336 9339 9344 9349 9353 9356 9359 9362 9366 9369 9372 9375 9378 9381 9384 9388 9391 9394 9397 9400 9403 9406 9410 9413 9416 9419 9422 9425 9428 9431 9435 9438 9441 9444 9447 9450 9453 9457 9460 9463 9466 9469 9472 9475 9479 9482 9485 9488 9491 9494 9497 9500 9504 9507 9510 9513 9516 9519 9523 9526 9529 9535 9541 9544 9547 9551 9554 9557 9560 9564 9567 9570 9574 9577 9580 9584 9587 9590 9594 9597 9600 9603 9607 9610 9613 9617 9620 9623 9627 9630 9633 9636 9640 9643 9646 9650 9653 9656 9660 9663 9666 9669 9673 9676 9679 9683 9686 9689 9693 9696 9699 9703 9706 9710 9716 9721 9725 9728 9732 9735 9739 9742 9746 9749 9753 9756 9760 9763 9767 9770 9774 9777 9781 9784 9788 9791 9795 9798 9802 9805 9809 9812 9816 9819 9823 9826 9830 9833 9837 9840 9843 9847 9850 9854 9857 9861 9864 9868 9871 9875 9879 9885 9891 9895 9898 9902 9906 9910 9913 9917 9921 9924 9928 9932 9935 9939 9943 9946 9950 9954 9958 9961 9965 9969 9972 9976 9980 9983 9987 9991 9994 9998 10002 10006 10009 10013 10017 10020 10024 10028 10031 10036 10040 10046 10052 10056 10060 10064 10068 10072 10076 10080 10083 10087 10091 10095 10099 10103 10107 10111 10115 10119 10123 10127 10131 10134 10138 10142 10146 10150 10154 10158 10162 10166 10170 10174 10178 10182 10186 10190 10198 10203 10207 10212 10216 10220 10224 10228 10233 10237 10241 10245 10249 10253 10258 10262 10266 10270 10274 10279 10283 10287 10291 10295 10300 10304 10308 10312 10316 10320 10325 10330 10337 10343 10348 10352 10357 10361 10366 10370 10375 10379 10384 10388 10393 10397 10402 10406 10411 10415 10420 10424 10429 10433 10438 10442 10447 10451 10456 10461 10470 10475 10480 10485 10490 10495 10499 10504 10509 10514 10519 10524 10528 10533 10538 10543 10548 10553 10557 10562 10567 10572 10578 10585 10593 10598 10603 10608 10614 10619 10624 10629 10635 10640 10645 10650 10656 10661 10666 10671 10676 10682 10688 10696 10704 10710 10715 10721 10727 10732 10738 10744 10750 10755 10761 10767 10772 10778 10784 10791 10802 10808 10814 10821 10827 10833 10839 10846 10852 10858 10865 10871 10878 10889 10897 10904 10911 10918 10925 10932 10939 10946 10953 10962 10974 10981 10989 10997 11005 11013 11021 11030 11044 11053 11062 11071 11080 11091 11105 11116 11127 11139 11156 11168 11187 11206 11221 11221 11221 11221 11221 11221 11221 11222 11222 11222 11222 11222 11222 11222 11222 11223 11223 11223 11223 11223 11223 11223 11224 11224 11224 11224 11224 11224 11224 11225 11225 11225 11225 11225 11225 11225 11225 11226 11226 11226 11226 11226 11226 11226 11227 11227 11227 11227 11227 11227 11227 11228 11228 11228 11228 11228 11228 11228 11228 11229 11229 11229 11229 11229 11229 11229 11230 11230 11230 11230 11230 11230 11230 11231 11231 11231 11231 11231 11231 11231 11231 11232 11232 11232 11232 11232 11232 11232 11233 11233 11233 11233 11233 11233 11233 11234 11234 11234 11234 11234 11234 11234 11234 11235 11235 11235 11235 11235 11235 11235 11236

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