fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r24sr-ovh1-140198150000625
Last Updated
Sept. 1, 2014

About the Execution

Execution Summary
Max Memory
Used (MB)
CPU Usage (ms) I/O Wait (ms) Competition Result Execution
Status
3178.52 1184960 20.4 100995211163134031753790 7604083885593941840736400 10 10 normal

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


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

BK_START 1401984532961

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


RS generation: 16m24sec


-> reachability set: #nodes 9890 (9.9e+03) #states 100,995,211,163,134,031,753,790 (23)



before gc: list nodes free: 23

after gc: idd nodes used:10748, unused:15989252; list nodes free:134043670
STATE_SPACE 100995211163134031753790 7604083885593941840736400 10 10 TECHNIQUES DECISION_DIAGRAMS


total processing time: 19m44sec


BK_STOP 1401985717888

--------------------
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 1323 1336 1353 1364 1371 1377 1383 1390 1397 1407 1424 1437 1447 1457 1467 1477 1487 1502 1513 1518 1524 1529 1534 1539 1545 1550 1556 1564 1576 1591 1600 1608 1617 1626 1634 1643 1652 1661 1676 1684 1688 1693 1697 1702 1706 1711 1715 1720 1724 1729 1734 1740 1747 1760 1772 1780 1787 1795 1802 1810 1818 1825 1833 1840 1848 1860 1871 1875 1879 1883 1887 1891 1895 1899 1903 1907 1911 1915 1919 1923 1926 1930 1935 1940 1948 1958 1971 1977 1984 1991 1998 2005 2011 2018 2025 2032 2038 2045 2052 2059 2070 2081 2084 2088 2091 2095 2098 2102 2105 2109 2112 2116 2119 2123 2126 2130 2133 2137 2140 2144 2147 2151 2156 2160 2166 2175 2186 2194 2200 2206 2213 2219 2225 2231 2237 2243 2249 2255 2261 2268 2274 2280 2286 2294 2305 2332 2342 2354 2359 2363 2366 2370 2373 2376 2379 2382 2385 2388 2391 2394 2397 2400 2403 2406 2408 2411 2414 2417 2419 2422 2424 2427 2429 2432 2434 2437 2439 2443 2448 2456 2463 2468 2472 2476 2481 2485 2489 2492 2496 2500 2503 2507 2510 2514 2517 2520 2524 2527 2530 2533 2536 2539 2544 2550 2561 2568 2574 2580 2587 2593 2599 2606 2612 2618 2625 2631 2638 2650 2657 2664 2671 2678 2685 2692 2699 2706 2714 2724 2734 2742 2750 2758 2766 2774 2783 2793 2805 2814 2824 2833 2842 2855 2868 2879 2889 2904 2920 2933 2954 2976 2982 2984 2986 2988 2990 2992 2994 2996 2997 2999 3001 3003 3005 3007 3008 3010 3012 3014 3016 3017 3019 3021 3023 3024 3026 3028 3029 3031 3033 3034 3036 3038 3039 3041 3043 3044 3046 3048 3049 3051 3052 3054 3056 3057 3059 3060 3062 3064 3065 3067 3068 3070 3071 3073 3074 3076 3077 3079 3080 3082 3083 3085 3086 3088 3089 3092 3103 3114 3125 3135 3146 3157 3167 3178 3188 3201 3213 3224 3236 3247 3259 3270 3282 3296 3309 3322 3334 3347 3360 3375 3390 3404 3418 3433 3450 3466 3482 3501 3520 3538 3566 3596 3618 3638 3648 3655 3660 3665 3669 3673 3676 3679 3682 3685 3687 3690 3692 3694 3697 3699 3701 3702 3702 3703 3704 3705 3706 3707 3708 3709 3709 3710 3711 3712 3713 3713 3714 3715 3716 3716 3717 3718 3719 3720 3720 3721 3722 3722 3723 3724 3724 3725 3726 3727 3727 3728 3729 3729 3730 3731 3731 3732 3732 3733 3734 3734 3735 3736 3736 3737 3737 3738 3739 3739 3740 3741 3741 3742 3742 3743 3744 3744 3745 3745 3746 3746 3747 3748 3748 3749 3749 3750 3750 3751 3752 3752 3753 3753 3754 3754 3755 3755 3756 3757 3757 3758 3758 3759 3759 3760 3760 3761 3761 3762 3762 3763 3763 3764 3765 3765 3766 3766 3767 3767 3768 3768 3769 3769 3770 3770 3771 3771 3772 3772 3773 3773 3774 3774 3775 3775 3776 3776 3777 3777 3778 3778 3779 3779 3780 3780 3781 3781 3782 3782 3783 3783 3784 3784 3785 3785 3786 3786 3787 3787 3788 3788 3789 3789 3790 3790 3791 3791 3792 3792 3793 3793 3793 3794 3794 3795 3795 3796 3796 3797 3797 3798 3798 3799 3799 3800 3800 3802 3807 3812 3819 3823 3827 3831 3834 3837 3841 3843 3846 3849 3851 3854 3856 3858 3860 3862 3864 3866 3868 3870 3872 3874 3875 3877 3879 3880 3881 3882 3883 3884 3884 3885 3886 3887 3887 3888 3889 3890 3891 3891 3892 3893 3893 3894 3895 3895 3896 3897 3897 3898 3899 3900 3900 3901 3902 3902 3903 3903 3904 3905 3905 3906 3907 3907 3908 3908 3909 3910 3910 3911 3911 3912 3913 3913 3914 3914 3915 3915 3916 3917 3917 3918 3918 3919 3919 3920 3921 3921 3922 3922 3923 3923 3924 3924 3925 3925 3926 3927 3927 3928 3928 3929 3929 3930 3930 3931 3931 3932 3932 3933 3933 3934 3934 3935 3935 3936 3936 3937 3937 3938 3938 3939 3939 3940 3940 3941 3941 3942 3942 3943 3943 3944 3944 3945 3945 3946 3946 3947 3947 3948 3948 3949 3949 3950 3950 3951 3951 3952 3952 3953 3953 3953 3954 3954 3955 3955 3956 3956 3957 3957 3958 3958 3959 3959 3960 3960 3960 3961 3961 3962 3962 3963 3963 3964 3964 3965 3965 3965 3966 3966 3967 3967 3968 3968 3969 3969 3970 3970 3971 3974 3978 3983 3990 3994 3998 4001 4005 4009 4012 4016 4020 4024 4027 4031 4035 4038 4042 4046 4049 4053 4057 4060 4064 4068 4072 4075 4079 4083 4086 4090 4094 4097 4101 4105 4108 4112 4116 4120 4123 4127 4131 4135 4139 4144 4151 4155 4159 4163 4167 4171 4175 4179 4183 4187 4190 4194 4198 4202 4206 4210 4214 4218 4222 4226 4230 4234 4238 4241 4245 4249 4253 4257 4261 4265 4269 4273 4277 4281 4285 4289 4296 4302 4307 4311 4315 4319 4323 4327 4332 4336 4340 4344 4348 4353 4357 4361 4365 4369 4374 4378 4382 4386 4390 4394 4399 4403 4407 4411 4415 4420 4424 4429 4436 4442 4447 4451 4456 4460 4465 4469 4474 4478 4483 4487 4492 4496 4501 4505 4510 4514 4519 4523 4528 4532 4537 4541 4546 4550 4555 4560 4568 4574 4579 4584 4589 4594 4598 4603 4608 4613 4618 4623 4627 4632 4637 4642 4647 4652 4656 4661 4666 4671 4676 4683 4692 4697 4702 4707 4712 4718 4723 4728 4733 4739 4744 4749 4754 4760 4765 4770 4775 4781 4787 4794 4803 4808 4814 4820 4826 4831 4837 4843 4848 4854 4860 4866 4871 4877 4883 4890 4900 4907 4913 4919 4926 4932 4938 4944 4951 4957 4963 4970 4977 4987 4995 5002 5009 5016 5023 5030 5037 5044 5051 5060 5072 5080 5088 5096 5103 5111 5119 5129 5142 5151 5160 5169 5178 5189 5203 5214 5224 5236 5253 5266 5282 5301 5321 5321 5321 5321 5322 5322 5322 5323 5323 5323 5324 5324 5324 5325 5325 5325 5325 5326 5326 5326 5327 5327 5327 5328 5328 5328 5328 5329 5329 5329 5330 5330 5330 5331 5331 5331 5332 5332 5332 5332 5333 5333 5333 5334 5334 5334 5335 5335 5335 5335 5336 5336 5336 5337 5337 5337 5338 5338 5338 5339 5339 5339 5339 5340 5340 5340 5341 5342 5343 5343 5344 5345 5346 5347 5348 5348 5349 5350 5351 5352 5353 5354 5355 5355 5356 5357 5358 5359 5360 5361 5362 5363 5364 5365 5366 5367 5368 5369 5370 5372 5373 5374 5375 5376 5377 5379 5380 5381 5382 5384 5385 5386 5388 5389 5390 5392 5393 5395 5396 5398 5399 5401 5403 5404 5406 5408 5410 5411 5413 5415 5417 5419 5422 5424 5426 5429 5431 5434 5437 5439 5442 5446 5449 5452 5456 5460 5464 5469 5474 5479 5484 5490 5496 5502 5509 5511 5511 5512 5512 5513 5513 5514 5514 5515 5515 5516 5516 5517 5517 5518 5518 5519 5520 5520 5521 5521 5522 5522 5523 5523 5524 5524 5525 5525 5526 5526 5527 5527 5528 5528 5529 5529 5530 5530 5531 5531 5532 5532 5533 5533 5534 5534 5535 5535 5536 5536 5537 5537 5538 5538 5539 5539 5540 5540 5541 5541 5542 5542 5543 5543 5544 5544 5545 5545 5545 5546 5546 5547 5547 5548 5548 5549 5549 5550 5550 5551 5551 5552 5552 5553 5553 5554 5554 5555 5555 5556 5556 5557 5557 5558 5558 5559 5559 5559 5560 5560 5561 5561 5562 5562 5563 5563 5564 5564 5565 5565 5566 5566 5566 5567 5567 5568 5568 5569 5569 5570 5570 5571 5571 5572 5572 5572 5573 5573 5574 5574 5575 5575 5576 5576 5577 5577 5577 5578 5578 5579 5579 5580 5580 5581 5581 5582 5582 5582 5583 5583 5584 5584 5585 5585 5585 5586 5586 5587 5587 5588 5588 5589 5589 5589 5590 5590 5591 5591 5592 5592 5592 5593 5593 5594 5594 5595 5595 5595 5596 5596 5597 5597 5598 5598 5598 5599 5599 5600 5600 5600 5601 5601 5602 5602 5603 5603 5603 5604 5604 5605 5605 5605 5606 5606 5607 5607 5607 5608 5608 5609 5609 5609 5610 5610 5611 5611 5611 5612 5612 5613 5613 5613 5614 5614 5614 5615 5615 5615 5616 5616 5617 5617 5617 5618 5618 5618 5619 5619 5620 5620 5620 5621 5621 5621 5622 5622 5622 5623 5623 5623 5624 5624 5624 5625 5625 5626 5626 5626 5627 5627 5627 5628 5628 5628 5629 5629 5629 5630 5630 5630 5631 5631 5631 5632 5632 5632 5633 5633 5633 5634 5634 5634 5635 5635 5635 5636 5636 5636 5637 5637 5637 5638 5638 5638 5639 5639 5639 5640 5640 5640 5641 5641 5641 5642 5642 5642 5643 5643 5643 5644 5644 5644 5645 5645 5645 5645 5646 5646 5646 5647 5647 5647 5648 5648 5648 5649 5649 5649 5650 5650 5650 5651 5651 5651 5651 5652 5652 5652 5653 5653 5653 5654 5654 5654 5655 5655 5655 5655 5656 5656 5656 5657 5657 5657 5658 5658 5658 5659 5659 5659 5659 5660 5660 5660 5661 5661 5661 5662 5662 5662 5662 5663 5663 5663 5664 5664 5664 5665 5665 5665 5665 5666 5666 5666 5667 5667 5667 5668 5668 5668 5668 5669 5669 5669 5670 5670 5670 5670 5671 5671 5671 5672 5672 5672 5673 5673 5673 5673 5674 5674 5674 5675 5675 5675 5675 5676 5676 5676 5677 5677 5677 5677 5678 5678 5678 5679 5679 5679 5680 5680 5680 5680 5681 5681 5681 5682 5682 5682 5682 5683 5683 5683 5684 5684 5684 5684 5685 5685 5685 5686 5686 5686 5686 5687 5687 5687 5688 5688 5688 5688 5689 5689 5689 5690 5690 5690 5690 5691 5691 5691 5691 5692 5692 5692 5693 5693 5693 5693 5694 5694 5694 5695 5695 5695 5695 5696 5696 5696 5697 5697 5697 5697 5698 5698 5698 5699 5699 5699 5699 5700 5700 5700 5700 5701 5701 5701 5702 5702 5702 5702 5703 5703 5703 5704 5704 5704 5704 5705 5705 5705 5705 5706 5706 5706 5707 5707 5707 5707 5708 5708 5708 5709 5709 5709 5709 5710 5710 5710 5711 5711 5711 5711 5712 5712 5712 5712 5713 5713 5713 5714 5714 5714 5714 5715 5715 5715 5716 5716 5716 5716 5717 5717 5717 5717 5718 5718 5718 5719 5719 5719 5719 5720 5720 5720 5721 5727 5733 5739 5744 5750 5756 5761 5767 5773 5779 5784 5790 5796 5801 5807 5813 5819 5824 5830 5836 5842 5847 5853 5859 5864 5870 5876 5882 5887 5893 5899 5904 5910 5916 5922 5928 5934 5940 5946 5952 5958 5964 5970 5976 5982 5988 5994 6000 6006 6012 6018 6024 6030 6036 6042 6048 6054 6060 6066 6072 6078 6084 6090 6096 6102 6108 6115 6121 6128 6134 6140 6147 6153 6159 6166 6172 6178 6185 6191 6197 6203 6210 6216 6222 6229 6235 6241 6248 6254 6260 6266 6273 6279 6285 6292 6299 6306 6312 6319 6326 6332 6339 6346 6352 6359 6365 6372 6379 6385 6392 6399 6405 6412 6418 6425 6432 6438 6445 6452 6458 6465 6473 6480 6487 6494 6501 6508 6515 6522 6529 6536 6543 6550 6557 6564 6571 6578 6585 6592 6599 6606 6613 6620 6628 6636 6643 6651 6658 6665 6673 6680 6688 6695 6703 6710 6717 6725 6732 6740 6747 6754 6762 6769 6778 6786 6811 6819 6833 6840 6855 6866 6876 6890 6896 6910 6916 6929 6936 6944 6955 6960 6973 6978 6992 6997 7008 7015 7019 7033 7037 7048 7054 7059 7071 7074 7077 7080 7082 7084 7086 7088 7090 7092 7093 7095 7096 7098 7100 7101 7102 7104 7105 7106 7107 7109 7110 7111 7112 7113 7114 7115 7116 7118 7119 7120 7121 7122 7122 7123 7124 7125 7126 7127 7128 7129 7130 7131 7135 7138 7145 7152 7154 7157 7159 7161 7163 7165 7167 7169 7170 7172 7173 7175 7176 7178 7179 7181 7182 7183 7184 7185 7187 7188 7189 7190 7191 7192 7193 7194 7195 7196 7197 7198 7199 7200 7207 7221 7230 7239 7248 7257 7267 7282 7293 7303 7315 7332 7344 7360 7379 7401 7401 7401 7401 7401 7402 7402 7402 7402 7402 7403 7403 7403 7403 7403 7404 7404 7404 7404 7404 7405 7405 7405 7405 7405 7406 7406 7406 7406 7406 7407 7407 7407 7407 7407 7408 7408 7408 7408 7408 7409 7409 7409 7409 7410 7410 7410 7410 7410 7411 7411 7412 7413 7414 7414 7415 7416 7417 7417 7418 7419 7420 7421 7425 7429 7434 7440 7446 7454 7463 7474 7487 7517 7533 7545 7555 7564 7571 7571 7571 7571 7571 7572 7572 7572 7572 7572 7573 7573 7573 7573 7573 7574 7574 7574 7574 7574 7575 7575 7575 7575 7575 7576 7576 7576 7576 7576 7576 7577 7577 7577 7577 7577 7578 7578 7578 7578 7578 7579 7579 7579 7579 7579 7580 7580 7580 7580 7580 7581 7581 7581 7581 7581 7582 7582 7582 7582 7582 7583 7583 7583 7583 7583 7584 7584 7584 7584 7584 7585 7585 7585 7585 7585 7586 7586 7586 7586 7586 7587 7587 7587 7587 7587 7588 7588 7588 7588 7588 7589 7589 7589 7589 7589 7590 7590 7590 7590 7590 7591 7591 7591 7591 7591 7592 7592 7592 7592 7592 7593 7593 7593 7593 7593 7594 7594 7594 7594 7594 7595 7595 7595 7595 7595 7596 7596 7596 7596 7596 7597 7597 7597 7597 7597 7598 7598 7598 7598 7598 7599 7599 7599 7599 7599 7599 7600 7600 7600 7600 7600 7601 7601 7601 7601 7601 7602 7602 7602 7602 7602 7603 7603 7603 7603 7603 7604 7604 7604 7604 7604 7605 7605 7605 7605 7605 7606 7606 7606 7606 7606 7607 7607 7607 7607 7607 7608 7608 7608 7608 7608 7609 7609 7609 7609 7609 7610 7610 7610 7610 7610 7611 7611 7612 7612 7613 7614 7614 7615 7615 7616 7616 7617 7617 7618 7619 7619 7620 7620 7621 7621 7622 7623 7623 7624 7624 7625 7625 7626 7626 7627 7628 7628 7629 7629 7630 7630 7631 7632 7632 7633 7633 7634 7634 7635 7635 7636 7637 7637 7638 7638 7639 7639 7640 7641 7641 7642 7642 7643 7643 7644 7645 7645 7646 7646 7647 7647 7648 7648 7649 7650 7650 7651 7651 7652 7652 7653 7654 7654 7655 7655 7656 7656 7657 7657 7658 7659 7659 7660 7660 7661 7661 7662 7663 7663 7664 7664 7665 7665 7666 7666 7667 7668 7668 7669 7669 7670 7670 7671 7672 7672 7673 7673 7674 7674 7675 7676 7676 7677 7677 7678 7678 7679 7679 7680 7681 7681 7682 7682 7683 7683 7684 7685 7685 7686 7686 7687 7687 7688 7688 7689 7690 7690 7691 7691 7692 7692 7693 7694 7694 7695 7695 7696 7696 7697 7697 7698 7699 7699 7700 7700 7701 7701 7702 7703 7703 7704 7704 7705 7705 7706 7706 7707 7708 7708 7709 7709 7710 7710 7711 7712 7712 7713 7713 7714 7714 7715 7716 7716 7717 7717 7718 7718 7719 7719 7720 7721 7721 7722 7722 7723 7723 7724 7725 7725 7726 7726 7727 7727 7728 7728 7729 7730 7730 7731 7731 7732 7732 7733 7734 7734 7735 7735 7736 7736 7737 7737 7738 7739 7739 7740 7740 7741 7741 7742 7743 7743 7744 7744 7745 7745 7746 7746 7747 7748 7748 7749 7749 7750 7750 7751 7752 7752 7753 7753 7754 7754 7755 7756 7756 7757 7757 7758 7758 7759 7759 7760 7761 7761 7762 7762 7763 7763 7764 7765 7765 7766 7766 7767 7767 7768 7768 7769 7770 7770 7771 7771 7772 7772 7773 7774 7774 7775 7775 7776 7776 7777 7777 7778 7779 7779 7780 7780 7781 7781 7782 7783 7783 7784 7784 7785 7785 7786 7787 7787 7788 7788 7789 7789 7790 7790 7794 7799 7803 7807 7811 7815 7819 7823 7827 7831 7836 7840 7844 7848 7852 7856 7860 7864 7868 7872 7876 7880 7885 7889 7893 7897 7901 7905 7909 7913 7917 7921 7925 7930 7934 7938 7942 7946 7950 7954 7958 7962 7966 7970 7974 7979 7983 7987 7991 7995 7999 8003 8007 8011 8015 8019 8023 8028 8032 8036 8040 8044 8048 8052 8056 8060 8064 8068 8072 8077 8081 8085 8089 8093 8097 8101 8106 8110 8114 8118 8122 8126 8130 8134 8138 8142 8147 8151 8155 8159 8163 8167 8171 8175 8179 8183 8187 8191 8196 8200 8204 8208 8212 8216 8220 8224 8228 8232 8236 8240 8245 8249 8253 8257 8261 8265 8269 8273 8277 8281 8285 8290 8294 8298 8302 8306 8310 8314 8318 8322 8326 8330 8334 8339 8343 8347 8351 8355 8359 8363 8367 8371 8375 8379 8383 8388 8392 8396 8400 8404 8408 8413 8417 8421 8425 8429 8433 8437 8441 8445 8449 8453 8458 8462 8466 8470 8474 8478 8482 8486 8490 8494 8498 8502 8507 8511 8515 8519 8523 8527 8531 8535 8539 8543 8547 8551 8556 8560 8564 8568 8572 8576 8580 8584 8588 8592 8596 8600 8605 8609 8613 8617 8621 8625 8629 8633 8637 8641 8645 8650 8654 8658 8662 8666 8670 8674 8678 8682 8686 8690 8695 8699 8703 8707 8711 8715 8719 8724 8728 8732 8736 8740 8744 8748 8752 8756 8760 8764 8768 8773 8777 8781 8785 8789 8793 8797 8801 8805 8809 8813 8818 8822 8826 8830 8834 8838 8842 8846 8850 8854 8858 8862 8867 8871 8875 8879 8883 8887 8891 8895 8899 8903 8907 8911 8916 8920 8924 8928 8932 8936 8940 8944 8948 8952 8956 8960 8965 8969 8973 8977 8981 8985 8989 8993 8997 9002 9006 9010 9014 9018 9022 9026 9030 9035 9039 9043 9047 9051 9055 9059 9063 9067 9071 9075 9079 9084 9088 9092 9096 9100 9104 9108 9112 9116 9120 9124 9128 9133 9137 9141 9145 9149 9153 9157 9161 9165 9169 9173 9177 9182 9186 9190 9194 9198 9202 9206 9210 9214 9218 9222 9227 9231 9235 9239 9243 9247 9251 9255 9259 9263 9267 9271 9276 9280 9284 9288 9292 9296 9300 9305 9309 9331 9335 9339 9352 9356 9360 9372 9376 9380 9392 9396 9399 9412 9415 9419 9431 9435 9438 9450 9454 9457 9460 9473 9476 9479 9491 9495 9498 9504 9513 9516 9519 9531 9534 9537 9540 9552 9555 9558 9567 9573 9576 9579 9591 9594 9596 9599 9611 9614 9617 9619 9631 9634 9637 9639 9651 9654 9656 9659 9671 9673 9676 9678 9688 9693 9695 9698 9700 9712 9715 9717 9719 9731 9734 9736 9738 9746 9753 9755 9757 9760 9771 9774 9776 9778 9782 9792 9794 9797 9799 9811 9813 9815 9817 9820 9831 9833 9836 9838 9840 9852 9854 9856 9858 9860 9872 9874 9876 9878 9880
iterations count:3101414 (453), effective:8990 (1)
limit of 2048MB is reached

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