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

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

BK_START 1401984484188

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: 400 NrTr: 2964)

net check time: 0m0sec

place and transition orderings generation:0m0sec

init dd package: 0m0sec


RS generation: 42m46sec


-> reachability set: #nodes 20350 (2.0e+04) #states 7,911,327,912,911,649,889,028,237,852,652,707,444,837,010,709,272,145,821,487,880,831,136 (66)



before gc: list nodes free: 5950

after gc: idd nodes used:34596, unused:15965404; list nodes free:132281706

before gc: list nodes free: 73

after gc: idd nodes used:20745, unused:15979255; list nodes free:133057411

before gc: list nodes free: 72

after gc: idd nodes used:20745, unused:15979255; list nodes free:133057411
STATE_SPACE 7911327912911649889028237852652707444837010709272145821487880831136 2611266807780638114819565366955748871547538946802075747760587837804800 50 50 TECHNIQUES DECISION_DIAGRAMS


total processing time: 53m45sec


BK_STOP 1401987709869

--------------------
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

555 652 699 734 778 823 859 888 918 950 990 1030 1059 1077 1096 1117 1141 1171 1207 1237 1261 1281 1300 1320 1340 1360 1381 1403 1433 1463 1494 1509 1519 1530 1540 1551 1564 1577 1590 1603 1620 1637 1656 1685 1711 1736 1756 1771 1786 1801 1816 1831 1846 1861 1875 1890 1906 1921 1937 1954 1979 2003 2027 2051 2059 2067 2074 2082 2090 2098 2106 2114 2122 2130 2138 2146 2155 2165 2175 2184 2194 2206 2219 2232 2246 2265 2288 2310 2330 2351 2363 2375 2387 2399 2411 2423 2435 2447 2459 2471 2483 2495 2507 2519 2531 2543 2555 2568 2581 2593 2609 2629 2650 2670 2691 2740 2800 2815 2829 2843 2865 2897 2907 2915 2923 2931 2939 2947 2954 2959 2965 2971 2976 2982 2988 2994 2999 3005 3010 3015 3020 3025 3031 3036 3041 3046 3052 3056 3061 3066 3071 3076 3080 3085 3090 3095 3100 3108 3116 3125 3133 3142 3150 3169 3187 3202 3209 3217 3224 3231 3238 3245 3252 3259 3265 3272 3278 3285 3291 3297 3304 3309 3315 3321 3327 3333 3339 3344 3350 3364 3378 3392 3409 3430 3451 3464 3477 3490 3503 3516 3529 3542 3557 3575 3593 3615 3641 3661 3677 3693 3715 3741 3770 3801 3807 3813 3819 3825 3831 3837 3843 3849 3854 3860 3865 3871 3876 3882 3887 3893 3898 3903 3908 3913 3918 3923 3928 3933 3938 3943 3948 3953 3958 3962 3967 3972 3976 3981 3986 3990 3995 4000 4004 4008 4013 4017 4021 4026 4030 4034 4039 4043 4047 4052 4056 4060 4064 4068 4072 4076 4080 4084 4088 4092 4096 4101 4123 4145 4165 4185 4205 4223 4242 4260 4279 4297 4316 4334 4354 4381 4407 4431 4462 4528 4561 4579 4597 4627 4655 4670 4686 4703 4739 4760 4774 4787 4803 4841 4857 4865 4873 4881 4889 4898 4902 4905 4908 4910 4913 4916 4919 4921 4924 4927 4930 4932 4935 4938 4941 4943 4946 4949 4951 4954 4956 4958 4960 4962 4965 4967 4969 4971 4973 4976 4978 4980 4982 4984 4987 4989 4991 4993 4995 4997 5000 5002 5004 5005 5007 5009 5011 5013 5015 5017 5019 5021 5022 5024 5026 5028 5030 5032 5034 5036 5038 5039 5041 5043 5045 5047 5049 5051 5052 5054 5056 5058 5059 5061 5063 5064 5066 5068 5070 5071 5073 5075 5076 5078 5080 5081 5083 5085 5087 5088 5090 5092 5093 5095 5097 5098 5100 5102 5103 5105 5107 5108 5110 5111 5113 5115 5116 5118 5119 5121 5122 5124 5126 5127 5129 5130 5132 5134 5135 5137 5138 5140 5142 5143 5145 5146 5148 5149 5153 5161 5169 5177 5185 5193 5201 5215 5229 5243 5253 5259 5264 5270 5276 5281 5287 5293 5298 5302 5304 5307 5309 5311 5314 5316 5318 5321 5323 5325 5328 5330 5332 5335 5337 5339 5342 5344 5346 5349 5351 5353 5355 5357 5359 5361 5363 5364 5366 5368 5370 5372 5374 5376 5378 5380 5382 5384 5386 5388 5390 5391 5393 5395 5397 5399 5401 5403 5404 5406 5408 5409 5411 5413 5415 5416 5418 5420 5421 5423 5425 5426 5428 5430 5431 5433 5435 5437 5438 5440 5442 5443 5445 5447 5448 5450 5452 5453 5455 5456 5458 5459 5461 5462 5464 5465 5467 5469 5470 5472 5473 5475 5476 5478 5479 5481 5482 5484 5485 5487 5489 5490 5492 5493 5495 5496 5498 5499 5502 5512 5522 5531 5541 5550 5566 5582 5597 5608 5617 5626 5635 5644 5653 5662 5671 5680 5689 5698 5707 5717 5726 5735 5744 5753 5762 5771 5780 5789 5798 5809 5820 5832 5843 5857 5874 5892 5906 5917 5927 5938 5949 5959 5970 5981 5991 6002 6012 6023 6034 6044 6056 6070 6084 6098 6117 6138 6156 6168 6181 6194 6207 6220 6232 6245 6261 6279 6297 6320 6345 6363 6379 6395 6417 6442 6471 6501 6502 6503 6504 6505 6506 6508 6509 6510 6511 6512 6513 6515 6516 6517 6518 6519 6521 6522 6523 6524 6525 6526 6528 6529 6530 6531 6532 6533 6535 6536 6537 6538 6539 6541 6542 6543 6544 6545 6546 6548 6549 6550 6551 6552 6553 6555 6556 6557 6558 6559 6560 6562 6563 6564 6565 6566 6568 6569 6570 6571 6572 6573 6575 6576 6577 6578 6579 6581 6582 6583 6584 6585 6586 6588 6589 6590 6591 6592 6593 6595 6596 6597 6598 6599 6601 6605 6609 6614 6618 6622 6627 6631 6636 6640 6644 6649 6654 6659 6665 6670 6675 6681 6686 6692 6697 6703 6710 6717 6724 6731 6738 6745 6752 6761 6769 6778 6787 6795 6805 6816 6826 6837 6848 6860 6873 6885 6898 6910 6923 6936 6948 6952 6954 6956 6958 6960 6963 6965 6967 6969 6971 6973 6975 6977 6979 6981 6983 6985 6987 6989 6991 6993 6996 6998 7000 7002 7004 7006 7008 7010 7012 7014 7016 7018 7020 7022 7024 7026 7028 7030 7032 7034 7036 7038 7040 7042 7044 7046 7048 7050 7052 7054 7056 7058 7059 7061 7063 7065 7067 7069 7071 7073 7075 7077 7078 7080 7082 7084 7086 7088 7090 7092 7094 7096 7097 7099 7101 7103 7105 7106 7108 7110 7112 7114 7115 7117 7119 7121 7122 7124 7126 7128 7129 7131 7133 7135 7137 7138 7140 7142 7144 7145 7147 7149 7151 7152 7154 7156 7157 7159 7160 7162 7164 7165 7167 7169 7170 7172 7174 7175 7177 7178 7180 7182 7183 7185 7187 7188 7190 7192 7193 7195 7196 7198 7200 7201 7203 7204 7205 7206 7208 7209 7210 7212 7213 7214 7216 7217 7218 7220 7221 7222 7224 7225 7226 7228 7229 7230 7232 7233 7234 7236 7237 7238 7240 7241 7242 7243 7245 7246 7247 7249 7250 7251 7253 7254 7255 7256 7257 7258 7260 7261 7262 7263 7264 7266 7267 7268 7269 7270 7272 7273 7274 7275 7276 7278 7279 7280 7281 7282 7283 7285 7286 7287 7288 7289 7291 7292 7293 7294 7295 7297 7298 7299 7300 7301 7302 7304 7305 7306 7307 7308 7309 7310 7311 7312 7313 7315 7316 7317 7318 7319 7320 7321 7322 7323 7325 7326 7327 7328 7329 7330 7331 7332 7333 7334 7336 7337 7338 7339 7340 7341 7342 7343 7344 7346 7347 7348 7349 7350 7351 7352 7353 7354 7355 7356 7357 7358 7359 7360 7361 7363 7364 7365 7366 7367 7368 7369 7370 7371 7372 7373 7374 7375 7376 7377 7378 7379 7380 7381 7382 7383 7384 7386 7387 7388 7389 7390 7391 7392 7393 7394 7395 7396 7397 7398 7399 7400 7401 7402 7403 7404 7405 7406 7407 7408 7409 7410 7411 7412 7413 7414 7415 7416 7417 7418 7419 7420 7421 7422 7423 7424 7425 7426 7427 7428 7429 7430 7431 7432 7434 7435 7436 7437 7438 7439 7440 7441 7442 7443 7444 7445 7446 7447 7448 7449 7450 7451 7452 7453 7454 7455 7456 7457 7458 7459 7460 7461 7462 7463 7464 7465 7466 7467 7468 7469 7470 7471 7472 7473 7474 7475 7476 7477 7478 7479 7480 7481 7482 7483 7484 7485 7486 7487 7488 7489 7490 7491 7492 7493 7494 7495 7496 7497 7498 7499 7500 7503 7514 7526 7538 7549 7560 7571 7583 7594 7605 7615 7626 7636 7647 7658 7668 7679 7690 7700 7711 7721 7732 7743 7753 7764 7775 7785 7796 7806 7817 7828 7838 7849 7859 7870 7881 7891 7902 7913 7923 7934 7944 7955 7966 7976 7987 7998 8010 8023 8035 8048 8060 8073 8085 8097 8109 8120 8132 8144 8155 8167 8178 8190 8202 8213 8225 8236 8248 8260 8271 8283 8294 8306 8318 8329 8341 8352 8364 8376 8387 8399 8410 8422 8434 8445 8458 8473 8487 8501 8515 8528 8542 8555 8568 8580 8593 8606 8619 8632 8644 8657 8670 8683 8696 8708 8721 8734 8747 8760 8772 8785 8798 8811 8824 8836 8849 8865 8881 8897 8912 8928 8943 8957 8972 8986 9000 9014 9029 9043 9057 9071 9086 9100 9114 9128 9143 9157 9171 9185 9200 9218 9236 9255 9272 9289 9306 9322 9338 9354 9370 9386 9402 9418 9435 9451 9467 9483 9499 9520 9542 9562 9582 9602 9621 9639 9657 9676 9694 9713 9731 9750 9776 9802 9826 9849 9914 9956 9974 9992 10018 10051 10066 10082 10098 10129 10156 10170 10184 10198 10231 10255 10263 10271 10279 10287 10295 10303 10308 10314 10320 10326 10331 10337 10343 10349 10353 10358 10362 10366 10370 10375 10379 10383 10388 10392 10396 10400 10404 10407 10410 10414 10417 10420 10424 10427 10430 10433 10437 10440 10443 10447 10450 10453 10455 10458 10461 10463 10466 10469 10471 10474 10477 10479 10482 10485 10487 10490 10492 10495 10498 10500 10503 10505 10507 10509 10511 10513 10516 10518 10520 10522 10524 10526 10529 10531 10533 10535 10537 10539 10542 10544 10546 10548 10550 10557 10565 10573 10581 10589 10597 10608 10622 10636 10650 10656 10661 10667 10673 10678 10684 10690 10696 10701 10705 10710 10714 10719 10723 10727 10732 10736 10740 10745 10749 10753 10756 10760 10763 10767 10770 10774 10777 10781 10784 10788 10791 10795 10798 10801 10804 10807 10810 10813 10815 10818 10821 10824 10827 10829 10832 10835 10838 10841 10843 10846 10849 10852 10854 10856 10859 10861 10863 10866 10868 10870 10872 10875 10877 10879 10882 10884 10886 10889 10891 10893 10896 10898 10900 10909 10919 10928 10938 10947 10961 10977 10992 11005 11014 11023 11032 11041 11050 11059 11068 11077 11087 11096 11105 11114 11123 11132 11141 11150 11159 11168 11177 11186 11195 11206 11217 11228 11240 11251 11269 11287 11303 11314 11324 11335 11345 11356 11367 11377 11388 11399 11409 11420 11430 11441 11452 11466 11480 11494 11511 11532 11552 11564 11577 11590 11603 11616 11628 11641 11655 11673 11691 11712 11737 11758 11774 11790 11809 11834 11861 11892 11901 11902 11902 11903 11903 11904 11905 11905 11906 11906 11907 11908 11908 11909 11909 11910 11911 11911 11912 11912 11913 11914 11914 11915 11915 11916 11917 11917 11918 11918 11919 11920 11920 11921 11921 11922 11923 11923 11924 11924 11925 11926 11926 11927 11927 11928 11929 11929 11930 11930 11931 11932 11932 11933 11933 11934 11935 11935 11936 11936 11937 11938 11938 11939 11939 11940 11941 11941 11942 11942 11943 11944 11944 11945 11945 11946 11947 11947 11948 11948 11949 11950 11950 11951 11953 11954 11956 11957 11959 11960 11962 11963 11965 11966 11968 11969 11971 11972 11974 11975 11977 11978 11980 11981 11983 11984 11986 11987 11989 11990 11991 11993 11994 11996 11997 11999 12000 12005 12009 12013 12018 12022 12026 12031 12035 12039 12044 12048 12053 12058 12064 12069 12075 12080 12086 12091 12097 12103 12110 12116 12123 12130 12137 12144 12151 12160 12168 12177 12186 12194 12204 12214 12225 12236 12247 12258 12271 12284 12296 12309 12322 12334 12347 12395 12433 12462 12485 12505 12522 12539 12554 12567 12581 12594 12606 12617 12627 12638 12649 12659 12668 12677 12686 12696 12704 12712 12720 12728 12737 12745 12751 12751 12752 12752 12753 12753 12754 12755 12755 12756 12756 12757 12757 12758 12758 12759 12760 12760 12761 12761 12762 12762 12763 12763 12764 12765 12765 12766 12766 12767 12767 12768 12768 12769 12770 12770 12771 12771 12772 12772 12773 12773 12774 12775 12775 12776 12776 12777 12777 12778 12779 12779 12780 12780 12781 12781 12782 12782 12783 12784 12784 12785 12785 12786 12786 12787 12787 12788 12789 12789 12790 12790 12791 12791 12792 12792 12793 12794 12794 12795 12795 12796 12796 12797 12797 12798 12799 12799 12800 12800 12801 12801 12802 12802 12803 12804 12804 12805 12805 12806 12806 12807 12807 12808 12809 12809 12810 12810 12811 12811 12812 12812 12813 12814 12814 12815 12815 12816 12816 12817 12817 12818 12819 12819 12820 12820 12821 12821 12822 12822 12823 12824 12824 12825 12825 12826 12826 12827 12827 12828 12829 12829 12830 12830 12831 12831 12832 12832 12833 12834 12834 12835 12835 12836 12836 12837 12837 12838 12839 12839 12840 12840 12841 12841 12842 12842 12843 12844 12844 12845 12845 12846 12846 12847 12847 12848 12849 12849 12850 12850 12851 12851 12852 12852 12853 12854 12854 12855 12855 12856 12856 12857 12857 12858 12858 12859 12860 12860 12861 12861 12862 12862 12863 12863 12864 12865 12865 12866 12866 12867 12867 12868 12868 12869 12870 12870 12871 12871 12872 12872 12873 12873 12874 12875 12875 12876 12876 12877 12877 12878 12878 12879 12879 12880 12881 12881 12882 12882 12883 12883 12884 12884 12885 12886 12886 12887 12887 12888 12888 12889 12889 12890 12891 12891 12892 12892 12893 12893 12894 12894 12895 12895 12896 12897 12897 12898 12898 12899 12899 12900 12900 12901 12902 12902 12903 12903 12904 12904 12905 12905 12906 12907 12907 12908 12908 12909 12909 12910 12910 12911 12912 12912 12913 12913 12914 12914 12915 12915 12916 12916 12917 12918 12918 12919 12919 12920 12920 12921 12921 12922 12923 12923 12924 12924 12925 12925 12926 12926 12927 12928 12928 12929 12929 12930 12930 12931 12931 12932 12932 12933 12934 12934 12935 12935 12936 12936 12937 12937 12938 12939 12939 12940 12940 12941 12941 12942 12942 12943 12944 12944 12945 12945 12946 12946 12947 12947 12948 12948 12949 12950 12950 12951 12952 12953 12954 12955 12956 12957 12958 12959 12960 12961 12962 12963 12964 12965 12966 12967 12968 12969 12970 12971 12972 12973 12974 12975 12977 12978 12979 12980 12981 12982 12983 12984 12985 12986 12987 12988 12989 12990 12991 12992 12993 12994 12995 12996 12997 12998 12999 13000 13001 13002 13003 13004 13005 13006 13007 13008 13009 13010 13011 13012 13013 13014 13016 13017 13018 13019 13020 13021 13022 13023 13024 13025 13026 13027 13028 13029 13030 13031 13032 13033 13034 13035 13036 13037 13038 13039 13040 13041 13042 13043 13044 13045 13046 13047 13048 13049 13050 13051 13052 13053 13055 13056 13057 13058 13059 13060 13061 13062 13063 13064 13065 13066 13067 13068 13069 13070 13071 13072 13073 13074 13075 13076 13077 13078 13079 13080 13081 13082 13083 13084 13085 13086 13087 13088 13089 13090 13091 13093 13094 13095 13096 13097 13098 13099 13100 13101 13102 13103 13104 13105 13106 13107 13108 13109 13110 13111 13112 13113 13114 13115 13116 13117 13118 13119 13120 13121 13122 13123 13124 13125 13126 13127 13128 13129 13130 13132 13133 13134 13135 13136 13137 13138 13139 13140 13141 13142 13143 13144 13145 13146 13147 13148 13149 13150 13151 13152 13153 13154 13155 13156 13157 13158 13159 13160 13161 13162 13163 13164 13165 13166 13167 13168 13169 13171 13172 13173 13174 13175 13176 13177 13178 13179 13180 13181 13182 13183 13184 13185 13186 13187 13188 13189 13190 13191 13192 13193 13194 13195 13196 13197 13198 13199 13200 13201 13202 13203 13204 13205 13206 13207 13208 13210 13211 13212 13213 13214 13215 13216 13217 13218 13219 13220 13221 13222 13223 13224 13225 13226 13227 13228 13229 13230 13231 13232 13233 13234 13235 13236 13237 13238 13239 13240 13241 13242 13243 13244 13245 13246 13248 13249 13250 13251 13252 13253 13254 13255 13256 13257 13258 13259 13260 13261 13262 13263 13264 13265 13266 13267 13268 13269 13270 13271 13272 13273 13274 13275 13276 13277 13278 13279 13280 13281 13282 13283 13284 13285 13287 13288 13289 13290 13291 13292 13293 13294 13295 13296 13297 13298 13299 13300 13301 13302 13303 13304 13305 13306 13307 13308 13309 13310 13311 13312 13313 13314 13315 13316 13317 13318 13319 13320 13321 13322 13323 13324 13326 13327 13328 13329 13330 13331 13332 13333 13334 13335 13336 13337 13338 13339 13340 13341 13342 13343 13344 13345 13346 13347 13348 13349 13350 13355 13361 13368 13374 13380 13387 13393 13400 13406 13412 13418 13425 13431 13437 13443 13450 13456 13462 13468 13474 13480 13486 13492 13498 13504 13511 13517 13523 13529 13535 13541 13547 13553 13559 13565 13571 13578 13584 13590 13596 13602 13608 13614 13620 13626 13632 13638 13645 13651 13657 13663 13669 13675 13681 13687 13693 13699 13705 13712 13718 13724 13730 13736 13742 13748 13754 13760 13766 13772 13779 13785 13791 13797 13803 13809 13815 13821 13827 13833 13839 13846 13852 13858 13864 13870 13876 13882 13888 13894 13900 13906 13913 13919 13925 13931 13937 13943 13949 13955 13961 13967 13973 13980 13986 13992 13998 14004 14010 14016 14022 14028 14034 14041 14047 14053 14059 14065 14071 14077 14083 14089 14095 14101 14107 14114 14120 14126 14132 14138 14144 14150 14156 14162 14168 14175 14181 14187 14193 14199 14205 14211 14217 14223 14229 14235 14242 14248 14254 14260 14266 14272 14278 14284 14290 14296 14302 14309 14315 14321 14327 14333 14339 14345 14351 14358 14364 14370 14377 14383 14390 14396 14402 14409 14415 14421 14427 14434 14440 14446 14452 14458 14465 14471 14477 14483 14489 14495 14501 14507 14513 14519 14525 14532 14538 14544 14550 14556 14562 14568 14574 14580 14586 14592 14599 14605 14611 14617 14623 14629 14635 14641 14647 14653 14659 14666 14672 14678 14684 14690 14696 14702 14708 14714 14720 14726 14733 14739 14745 14751 14757 14763 14769 14775 14781 14787 14793 14800 14806 14812 14818 14824 14830 14836 14842 14848 14854 14860 14867 14873 14879 14885 14891 14897 14903 14909 14915 14921 14927 14934 14940 14946 14952 14958 14964 14970 14976 14982 14988 14995 15001 15007 15013 15019 15025 15031 15037 15043 15049 15055 15061 15068 15074 15080 15086 15092 15098 15104 15110 15116 15122 15129 15135 15141 15147 15153 15159 15165 15171 15177 15183 15189 15196 15202 15208 15214 15220 15226 15232 15238 15244 15250 15256 15263 15269 15275 15281 15287 15293 15299 15305 15311 15317 15323 15330 15336 15342 15348 15354 15360 15367 15373 15380 15386 15393 15399 15405 15411 15418 15424 15430 15436 15443 15449 15455 15461 15467 15473 15479 15486 15492 15498 15504 15510 15516 15522 15528 15534 15540 15546 15552 15559 15565 15571 15577 15583 15589 15595 15601 15607 15613 15620 15626 15632 15638 15644 15650 15656 15662 15668 15674 15680 15687 15693 15699 15705 15711 15717 15723 15729 15735 15741 15747 15754 15760 15766 15772 15778 15784 15790 15796 15802 15808 15814 15821 15827 15833 15839 15845 15851 15857 15863 15869 15875 15881 15888 15894 15900 15906 15912 15918 15924 15930 15936 15942 15948 15955 15961 15967 15973 15979 15985 15991 15997 16003 16009 16015 16022 16028 16034 16040 16046 16052 16058 16064 16070 16076 16082 16089 16095 16101 16107 16113 16119 16125 16131 16137 16143 16150 16156 16162 16168 16174 16180 16186 16192 16198 16204 16210 16216 16223 16229 16235 16241 16247 16253 16259 16265 16271 16277 16284 16290 16296 16302 16308 16314 16320 16326 16332 16338 16344 16351 16357 16363 16370 16376 16383 16389 16395 16402 16408 16414 16420 16427 16433 16439 16445 16452 16458 16464 16470 16476 16482 16488 16494 16500 16506 16513 16519 16525 16531 16537 16543 16549 16555 16561 16567 16574 16580 16586 16592 16598 16604 16610 16616 16622 16628 16634 16641 16647 16653 16659 16665 16671 16677 16683 16689 16695 16701 16708 16714 16720 16726 16732 16738 16744 16750 16756 16762 16768 16775 16781 16787 16793 16799 16805 16811 16817 16823 16829 16835 16842 16848 16854 16860 16866 16872 16878 16884 16890 16896 16902 16909 16915 16921 16927 16933 16939 16945 16951 16957 16963 16969 16976 16982 16988 16994 17000 17006 17012 17018 17024 17030 17036 17043 17049 17055 17061 17067 17073 17079 17085 17091 17097 17103 17110 17116 17122 17128 17134 17140 17146 17152 17158 17164 17170 17177 17183 17189 17195 17201 17207 17213 17219 17225 17231 17238 17244 17250 17256 17262 17268 17274 17280 17286 17292 17298 17304 17311 17317 17323 17329 17335 17341 17347 17353 17360 17366 17373 17379 17385 17392 17398 17405 17411 17417 17423 17430 17436 17442 17448 17454 17460 17467 17473 17479 17485 17491 17497 17503 17509 17515 17521 17527 17534 17540 17546 17552 17558 17564 17570 17576 17582 17588 17595 17601 17607 17613 17619 17625 17631 17637 17643 17649 17655 17661 17668 17674 17680 17686 17692 17698 17704 17710 17716 17722 17729 17735 17741 17747 17753 17759 17765 17771 17777 17783 17789 17796 17802 17808 17814 17820 17826 17832 17838 17844 17850 17856 17863 17869 17875 17881 17887 17893 17899 17905 17911 17917 17923 17930 17936 17942 17948 17954 17960 17966 17972 17978 17984 17990 17997 18003 18009 18015 18021 18027 18033 18039 18045 18051 18057 18064 18070 18076 18082 18088 18094 18100 18106 18112 18118 18124 18131 18137 18143 18149 18155 18161 18167 18173 18179 18185 18191 18198 18204 18210 18216 18222 18228 18234 18240 18246 18252 18258 18265 18271 18277 18283 18289 18295 18301 18307 18313 18319 18325 18332 18338 18344 18350 18356 18363 18369 18375 18382 18388 18395 18401 18407 18414 18420 18426 18432 18439 18445 18456 18521 18553 18559 18565 18570 18576 18582 18588 18593 18599 18626 18652 18657 18663 18668 18674 18679 18685 18690 18696 18706 18741 18754 18760 18765 18770 18775 18781 18786 18791 18796 18809 18844 18855 18860 18865 18870 18875 18880 18885 18890 18895 18900 18933 18953 18958 18963 18968 18972 18977 18982 18987 18992 18997 19008 19043 19054 19059 19064 19068 19073 19078 19082 19087 19092 19096 19103 19139 19154 19158 19163 19167 19172 19176 19181 19185 19190 19194 19199 19221 19251 19256 19260 19264 19269 19273 19277 19282 19286 19290 19295 19299 19324 19352 19356 19360 19364 19368 19373 19377 19381 19385 19389 19394 19398 19412 19448 19454 19458 19462 19466 19471 19475 19479 19483 19487 19491 19495 19499 19523 19551 19555 19559 19563 19567 19571 19575 19579 19583 19587 19591 19595 19599 19618 19651 19655 19658 19662 19666 19670 19674 19678 19681 19685 19689 19693 19697 19700 19736 19753 19756 19760 19764 19767 19771 19775 19779 19782 19786 19790 19793 19797 19803 19839 19853 19856 19860 19864 19867 19871 19874 19878 19882 19885 19889 19892 19896 19900 19927 19952 19955 19959 19962 19966 19969 19973 19976 19980 19983 19987 19990 19994 19997 20002 20038 20053 20056 20059 20063 20066 20070 20073 20076 20080 20083 20087 20090 20093 20097 20100 20133 20152 20156 20159 20162 20165 20169 20172 20175 20179 20182 20185 20189 20192 20195 20199 20215 20250 20254 20257 20260 20263 20267 20270 20273 20276 20280 20283 20286 20289 20292 20296 20299 20319
iterations count:3639814 (1228), effective:19950 (6)
limit of 2048MB is reached
limit of 2048MB is reached
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-D20N050"
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-D20N050.tgz
mv Diffusion2D-PT-D20N050 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-D20N050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150000586"
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 ;