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

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

BK_START 1401986419552

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: 476 NrTr: 920)

net check time: 0m0sec

place and transition orderings generation:0m1sec

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

666 1050 1627 2495 3102 3805 4401 4977 5716 6487 6803 7041 7559 7938 8176 8854 9359 9642 9657 9676 9713 10077 10759 10868 10530 10369 10402 10946 11304 11141 11082 11213 11634 11865 11590 11694 12239 12618 13941 15202 16368 17193 17650 18345 18917 19529 20715 21372 21737 22255 22510 22697 22867 22874 24419 24401 24425 24700 25150 25314 26650 28174 28865 28993 29168 29350 29450 29530 29363 29377 29573 30002 30334 30622 31387 31749 31150 31064 30633 30797 30865 31190 31309 31684 32185 31901 31583 31478 31470 31618 31888 32120 32036 31970 31966 32132 32367 32264 32382 32519 32831 33062 33022 32986 33094 33306 33628 33553 33474 33558 33619 33979 33950 33857 33951 34069 34173 34216 34330 34587 35124 36828 39341 40596 40957 42098 42872 43572 44108 44969 46615 47480 47816 48226 48851 49115 49322 49634 49591 52194 52735 52385 52880 53712 54106 54851 55460 56132 56060 56015 56172 56084 56042 55820 56240 55770 55693 56598 57661 58219 59058 59325 58577 58569 58219 58421 58570 58925 59287 59413 60006 59584 59294 59028 59362 59774 59883 60212 59797 59689 60249 59772 59698 59568 59676 59758 59994 60175 60145 60034 60113 60179 60243 60928 60394 60314 60368 60350 60589 60561 60431 60501 60606 60497 60562 60584 60760 60973 62838 64293 65566 66420 67577 67965 68389 69318 69674 71204 72304 72730 73309 73833 74632 74633 74651 75001 75112 78155 78230 78847 79743 80625 81414 81929 82697 82372 82115 82321 82175 82087 81695 82275 81722 81612 82885 83992 84338 85243 85714 85077 84993 85013 84880 85199 85312 85854 85873 86312 86107 85739 85624 85498 85784 85945 86274 85900 85750 85402 85753 86927 86114 86497 86900 87772 87345 87445 87180 87253 87311 87373 88423 87672 87445 87511 87499 87739 87711 87696 87653 87733 87590 87692 87735 85271 84951 86250 88476 89377 90155 91328 91731 92038 92456 93212 94542 95993 95876 96763 97265 97544 97925 97665 98070 100800 101732 101611 102392 102760 103257 103599 104577 104361 104421 104289 104141 104040 103535 104043 103487 103401 104730 105441 106052 106912 106478 106316 106156 106423 106165 106273 106338 106696 106815 107215 106837 106659 106657 106297 106358 106531 106646 106758 106478 106123 106123 107137 106247 106123 106149 106178 106306 107320 106431 106306 106306 106306 106299 107314 106416 106292 106292 105613 104415 103807 103550 103270 103270 101260 100797 100215 95183 95345 96319 97783 97087 97233 97385 97748 98032 98141 98689 99041 99314 99852 100277 100521 100738 100593 100906 102635 103661 103303 102567 102422 102512 102863 103314 103594 103218 102681 102555 102290 101200 100501 99986 99945 100028 99384 98815 98745 98258 98025 97843 97812 97422 95986 96168 96217 96031 95941 95321 94859 94738 93981 93996 93776 93484 93035 92380 91240 91240 92208 91357 91250 91264 92469 91580 91549 91420 91420 91420 91573 91544 91410 91410 91382 89426 87152 87022 86834 86834 83722 82986 81146 75321 75044 75040 75040 75133 75594 75901 76118 76363 76462 76925 77408 77710 78242 78621 78872 79100 78895 79242 79717 78561 78568 78444 78606 79346 79684 79654 79609 79683 79600 78996 77951 77562 76943 76916 75693 76072 75436 75517 75142 74738 73736 73819 73898 73374 73381 72958 72621 72023 71621 71617 71204 70850 70612 69775 69768 69905 69795 69979 70063 70163 71033 70159 70160 70160 70148 71011 70141 70141 70141 68142 66824 65640 65341 65341 63727 61127 59591 53931 51907 52182 52054 51917 52082 51882 52013 51857 51844 51837 50021 49290 46736 46011 43450 43484 43618 43517 43517 43790 43811 43536 43573 43573 43864 43757 43573 43600 43600 43578 43835 43555 43542 43542 43427 44908 45403 47327 47587 48170 49093 49530 50431 50324 50330 51290 52497 53394 53705 53910 54219 54968 54567 54510 54726 56082 56783 56772 56855 56839 57461 57225 57665 57908 58413 60330 61007 61204 61240 61332 61185 60945 61369 61376 61521 61761 62082 62528 62211 61996 62361 62508 57960 57910 58098 58148 58414 58669 58666 58657 58352 56239 55246 54505 54116 54119 55569 54122 54196 54193 54221 54205 54205 55643 54205 54270 54265 54265 54265 54279 54717 54657 54269 54352 54341 54342 53670 53023 53415 52028 51565 51565 49995 49554 50750 50456 51692 51890 52420 52773 53093 52766 53331 53881 53727 53722 54108 54007 53951 54070 53652 53917 54093 53913 53600 53238 53603 53042 48794 49115 49916 48769 48778 48769 48769 49051 49835 48754 48754 48742 48742 48748 49059 48999 48737 48752 48737 48303 46741 45167 44234 44253 42153 47618 47929 47927 47892 48052 50356 55880 56178 60619 60654 61306 61729 62745 62748 63839 63921 64872 65036 65936 66043 66196 66687 66425 66600 66676 66802 67359 67445 67725 67686 67616 67986 68112 68070 68248 68258 68026 68144 68298 68273 68640 68171 68217 68469 69003 69238 68221 68894 69101 71096 72029 73242 74014 74890 75488 76093 76425 76749 77712 78744 78316 78226 78116 78538 78709 78426 78347 78015 78227 77716 78479 78636 80290 80665 82902 84558 84991 85858 86260 86490 86611 88340 88547 88375 88036 87767 87648 87478 87453 87007 87274 86461 87043 87240 88650 89032 90835 91893 92315 92927 93183 93305 93956 94921 95057 94877 94664 94657 94774 94481 94667 94492 94451 92684 93008 93034 93267 94519 94752 95516 96693 97159 97510 97470 97614 97980 98929 99046 98927 98674 98636 98829 98551 98362 97871 97398 96889 102709 103940 104397 106513 109142 109393 111395 112351 112480 112958 113836 113357 114136 115048 115850 114845 114805 115178 115128 114776 115230 115411 115277 115234 115024 114848 114763 114501 114462 115298 116631 115373 115255 115668 115974 116082 116720 116858 116585 116021 116405 115928 115885 115933 115350 114820 114842 114144 113888 112883 112986 113187 111722 112445 112266 112567 112910 112781 113766 114274 114739 115306 115508 115754 115995 116579 117013 116769 116435 116430 116534 116298 115872 115539 115155 114876 112841 113863 113887 115982 115262 115551 115928 116784 116900 117726 117781 118616 118740 119460 119636 119730 119753 119875 120054 120111 120488 120798 120869 120573 120489 120488 120289 120463 120626 120363 120815 120350 120399 120598 120345 120315 119963 119982 119723 119438 119461 119326 118056 118939 121789 120220 120402 120529 121587 121797 122494 122637 123365 123489 123564 124490 124584 124614 124703 124825 125302 125736 126190 125155 126116 125527 125874 126356 125813 125873 125261 125824 126348 125230 125279 125449 125543 125839 125806 124781 124517 124229 124229 124257 122811 123805 126804 125235 125380 125497 126526 126730 127416 127491 128262 128499 128503 129360 129448 129482 129575 129822 129887 130045 130518 130589 130307 130268 130199 130105 130360 130311 130369 130023 130083 130300 130062 130243 130157 130312 129149 129168 129149 127752 128662 129879 129984 129812 130352 130788 131542 132341 132562 132584 133381 133517 134344 134399 134514 134633 134690 134841 135080 135284 134981 135142 135292 135343 135404 135592 135233 135462 135426 135365 135652 135235 135303 135461 135569 135765 136145 135333 134553 134259 134275 134282 134259 132831 138288 139555 140742 141904 144182 144721 144745 145347 145347 145732 145749 146083 146219 146221 146426 146487 146547 146637 146878 146900 146885 146752 146873 147094 147065 147049 146925 147037 147168 147100 147387 147277 147515 147069 147149 147664 146852 146851 146772 146950 147419 147809 146725 146925 147780 147837 148879 149690 150156 150535 150762 150995 151203 151520 151092 150903 150793 150581 150396 149939 149402 149047 148544 147550 147845 148253 148343 150075 150494 151290 151672 151974 152092 152448 152064 152257 151803 151238 150966 150434 149843 150824 148369 148477 149244 149545 149625 151105 151480 152033 152364 152458 153091 153298 153442 153219 152898 152304 152109 151759 151222 151426 150855 153917 154492 154889 155057 152709 150939 149279 149410 150600 150446 151126 151855 152294 152825 153096 153376 153597 153964 154094 153550 153459 153378 153161 152962 152462 152017 151477 150991 150157 149832 150649 150672 151494 152667 153095 153484 153444 153588 153951 154432 154291 153800 153802 153415 153234 152946 152460 151622 151030 149226 151878 150110 149901 149538 149557 149940 150062 150159 150237 150270 150362 150413 150461 150591 150559 150659 150882 150904 150974 151160 150844 151079 151093 151081 150843 150965 151206 150992 151170 151356 150825 150897 151042 151340 151462 150582 150527 150268 149975 149990 149975 148444 148237 149261 148980 148613 148792 148973 148973 148922 149040 148959 148976 149002 149129 149146 149225 149317 149550 150135 150417 150804 149488 149604 149864 150365 150718 149469 149610 149815 150366 150711 149982 149561 149724 150122 150440 149140 149076 148811 148518 148515 148540 149002 146628 147680 147454 146931 147096 147087 147179 147061 147076 147108 147150 146976 147083 147063 147522 147182 147362 147363 147708 147266 147413 147597 147587 147333 147463 147679 147630 147866 147704 147371 147533 147612 147923 147014 146958 146687 146397 146397 144929 144589 145053 144630 143974 143719 143692 143694 143534 143673 143650 143350 143507 143163 143152 143280 142996 143251 143204 143400 143562 143787 143304 143434 143446 143559 143549 143064 143293 143257 143196 143483 142112 142172 142343 142632 142976 143079 141717 141670 141427 141122 141122 141146 139797 139879 139986 137960 139195 141164 141195 143849 144390 145249 145898 146162 146582 147105 148334 149092 149821 149870 150307 150253 151121 151362 152005 152091 152490 153629 153835 155028 156105 156118 157289 157936 158204 158260 159380 158440 157481 157303 157166 157856 158055 158198 158643 158043 157918 158450 158341 158330 158030 157890 158967 158306 158722 158750 158747 158739 158660 157451 157475 157453 158524 157456 157778 157459 157459 157476 157459 157459 157860 157763 157455 157447 157463 157477 157453 157449 159847 157445 157449 157442 157471 157244 156474 158055 155644 155341 155354 154905 153550 155462 155521 157255 157637 158183 158532 159266 159093 159543 159863 160557 160129 160696 160192 160577 160781 160698 160937 160797 160689 160809 160701 160509 160894 160527 160320 160272 160052 159490 156336 155639 156709 155642 155642 155642 156340 155642 155890 155642 155630 155630 155630 155636 156724 155628 155636 155625 155624 155396 152442 150819 150374 150374 149148 149140 149105 150463 152108 154324 155823 155870 156477 157314 157499 158317 158320 159301 159383 159672 160640 160706 161179 160898 161211 161261 161331 161919 161489 161542 161724 161738 161506 161863 161818 162154 162166 161523 161760 161686 162023 161536 161565 161766 162192 162651 161525 161652 162044 162264 162323 167192 167827 167442 169432 169631 170062 169487 169576 169160 168821 169450 168892 168892 170072 170072 170136 170236 170679 170514 170763 170889 171420 171915 172014 173409 174825 175375 175728 175969 176064 177896 178158 178041 177663 177235 177264 176544 176812 176918 175690 176049 175879 175749 175921 175696 171933 171901 172276 172328 172331 172331 172320 172308 171733 171933 171987 169461 169998 170958 170935 171099 171709 171901 172449 172540 173097 173232 173479 174176 174270 174289 174374 174719 175304 175648 175973 174798 175121 175488 175858 176177 175014 175354 175602 175946 176299 174968 175243 175314 175638 174925 174937 174320 174032 174057 174060 172612 172076 172521 173999 173280 173434 174050 174223 174662 174790 175280 175355 175609 176155 176159 176316 176416 176556 176805 177050 177018 176832 177166 177198 177217 177425 177677 177222 177326 177740 178065 177699 177043 177287 177391 177678 178003 177093 176418 176129 176124 176124 175073 176521 175328 174336 175767 174857 175188 175802 175885 176307 176371 176816 176865 177409 177518 177648 178106 177839 178082 178082 178534 178808 178346 178570 178520 178788 178996 178541 178639 178937 179205 178728 178593 178548 178257 178633 178485 177800 177522 177515 177459 176114 175543 176680 175363 175779 175763 175690 176289 176603 176769 176989 177048 177333 177737 177852 177854 177679 177954 178130 178489 178750 178288 178474 178511 177882 178004 178248 178306 178823 178323 178014 177957 177907 177586 177321 177047 176832 176813 175088 175125 172743 173912 173187 175243 173630 173791 173845 173985 173996 174229 174246 174512 174770 174799 174921 175169 175172 175499 175490 175323 175277 175567 175567 175832 175314 175367 175605 175714 176173 175937 175438 175342 175845 176076 175199 175135 175218 175556 176030 175608 175022 175296 175758 175844 176632 177600 177871 178133 177584 177258 176754 176154 174993 178029 179303 179718 178550 178818 176414 174846 175046 175309 175439 175253 174651 174486 174709 174704 174772 173628 172192 171866 172232 172781 172722 173470 174391 174844 175239 175367 175489 175958 175977 175921 175065 174856 174378 173771 173785 171568 172213 172050 171971 171898 172601 173002 173027 173316 173655 173034 172763 172242 171376 170059 170610 170053 169681 169475 170001 170241 170043 170070 170397 169689 169204 168890 167366 165315 156261 156067 156510 156542 156336 156259 156262 156400 156403 156426 156538 156809 156918 156938 157013 156999 157381 157918 158270 158024 157431 157743 158090 158572 157412 157501 157523 158095 158447 157761 157523 157697 158105 158423 157098 157315 156659 156368 156365 156390 155692 154422 156315 154583 154647 154416 154330 154367 154353 154456 154602 154641 154638 154694 154651 154984 155114 155593 155561 155826 155364 155578 155335 155776 155081 155216 155473 155779 156123 156453 155186 155479 155519 156036 156171 154826 155046 154399 154101 154096 154096 152664 152186 152409 152441 152012 151694 151688 151495 151602 151532 151509 151541 151569 151643 151941 151674 152155 152063 152515 152738 152276 152502 152413 152699 152393 152110 152273 152387 152839 152613 152114 152191 152510 152576 151685 151508 151290 150999 151014 150292 148882 146797 147634 145748 145590 145097 144822 144912 144611 144566 144842 144707 144683 144659 144138 144531 144771 145093 144943 144481 144625 144641 144318 143951 144249 144310 144827 144585 144086 143990 144553 144268 142661 142557 142086 142086 142086 142788 142967 142974 142939 142792 143326 145383 148095 149916 150262 151058 151172 152109 152177 153158 153273 154192 154277 155112 155248 155371 155452 155500 155592 155729 155730 155579 156168 157500 157126 157008 157079 157520 157512 157938 157987 158468 158449 158898 158981 158984 159077 159092 158939 159341 159340 162005 160023 159943 160214 160306 160577 160632 160887 161011 160990 161388 161392 161390 161459 161513 161302 161567 162368 162253 162005 162081 162330 162336 162590 162597 162782 162866 163007 163150 163153 163233 163259 163082 164659 162667 164091 162911 162724 162668 162736 162823 162879 162938 163062 163065 163233 163237 163004 162747 162149 161981 160985 159075 158910 158896 160002 158865 158843 158834 158805 158822 158807 158809 158767 158796 158767 158910 158631 158416 158041 158198 158123 157747 157572 157583 157448 157450 157311 157310 157163 157152 157238 157090 156752 156175 155958 157027 155817 155649 155379 155128 155123 154873 154892 154631 154628 154593 154570 154462 154105 153556 153462 153433 152829 152737 152348 151980 151992 151605 151599 151199 151190 151130 151224 150867 150456 149858 149108 148971 148315 147760 147752 147307 146819 146833 146318 146337 146253 145598 145243 144693 144017 143272 142705 144914 146157 147463 147377 147745 148579 148758 149528 149595 150511 150588 151508 151591 151714 151823 151920 151994 152076 152143 151811 153687 151654 151668 154140 152423 152492 152862 153220 153320 153660 153772 153758 154276 154251 154281 154326 154438 154228 155932 153932 153932 156279 154542 154595 154910 155146 155236 155488 155599 155860 155967 155969 156049 156117 156158 155989 157754 155486 155493 156169 155940 156009 156234 156373 156476 156615 156729 156875 156984 157017 157078 157185 157196 157009 158863 156274 154931 156166 154300 154281 154275 154336 154433 154493 154612 154655 154769 154771 154862 154587 154631 153703 153254 149750 149353 149022 149964 148991 148969 148954 148931 148943 148928 148931 148921 148923 149030 148891 148736 148356 148983 148990 148270 147905 147767 147638 147638 147508 147519 147388 147382 147486 147391 147246 146720 146499 147211 146492 146020 145764 145539 145538 145302 145006 145001 144975 145076 144927 144604 143986 143619 144474 143234 143125 142802 142456 142453 142110 141688 141713 141656 141748 141578 141021 140210 138866 139200 137844 137740 137274 136829 136823 136348 136331 135811 135773 135433 135058 134691 133725 134700 135327 135606 135792 136659 136055 136479 136486 136883 136883 141638 140978 141141 141204 141204 141210 141218 142770 144509 144461 144456 144429 144766 144256 144606 144485 146113 146836 145998 145904 145809 145748 145546 147045 147016 147793 146927 146758 146577 146135 145655 147437 146756 146657 146595 148055 146262 145629 145739 145798 146334 146608 146789 147025 147190 148225 147419 147821 147828 148000 151886 151713 151713 151778 151781 151786 153157 154480 154311 154267 154615 154170 154098 155387 154455 155107 155098 154895 154862 154800 155931 154661 154684 154769 154684 154638 154603 154600 154239 154143 153812 152989 153309 152743 152673 152590 151955 151163 149743 150075 151271 153659 155445 157494 158202 159015 159490 159948 161216 162050 165238 165992 168176 168682 169767 171423 171751 171238 169339 170239 170738 173825 174428 173916 174322 176673 177333 177491 177754 178327 178794 178975 178756 177395 178137 177782 177945 179391 179892 179823 181085 180404 181487 181918 181969 181335 181763 181956 182199 182219 182222 182209 182429 182166 181936 182074 182133 182140 182350 182627 182626 182629 182627 182594 182530 182219 184496 185812 184500 186505 184504 184515 184504 184504 184504 185247 185247 185727 185576 185241 185241 185241 185269 187761 188378 185932 188457 186229 185912 185930 185912 185887 186544 188078 186266 186424 186095 186107 186095 186095 185194 185369 185731 186220 186717 186640 186635 187178 187513 187899 189306 189418 190823 190914 192287 192880 193753 194008 194010 193832 192080 191323 191098 191815 191546 189848 191112 190296 190951 191008 190900 189396 189704 190417 190130 188991 189272 189652 189872 189860 189160 186807 187549 186869 186539 186256 185893 184001 180533 174814 174814 175117 175159 175162 175160 175238 175017 174588 173192 172222 170946 170841 171273 171322 171324 171322 171310 171041 170944 172003 170438 173113 170755 170449 170442 170465 170442 172356 169703 169700 172362 169697 169697 169697 169697 169697 168989 168982 169609 169308 168955 168955 168977 168955 170750 168110 167436 169291 166638 166638 166654 166661 166638 164674 163051 164761 167738 170155 170643 171394 171485 172382 172451 173319 173306 174126 174128 175030 175198 175172 175625 175612 175879 175968 176343 176049 176203 176182 176185 176540 176582 176588 176978 176672 176382 176561 176845 177106 176363 176394 176640 176924 177493 176333 179063 180016 180117 181220 181178 181429 181619 182231 182763 182811 183369 182585 182957 183908 185016 185162 186728 185729 186192 186279 185942 186256 185395 185598 185633 185805 185795 185951 185953 185591 185687 185048 184516 184685 184090 182924 176410 176981 178098 178100 178005 178472 179035 179176 179787 179929 180345 180401 181015 181171 181229 181649 181622 181913 181954 181822 181936 182253 182175 182223 182199 182261 182555 182555 182896 183082 182296 182596 182520 182861 182582 182043 181996 181698 181513 181502 180032 182863 180415 181354 181196 181588 182027 182191 182627 182798 183062 183186 183595 183857 183861 184306 184120 184307 184848 185136 185144 184905 185144 185661 186040 185297 185048 185251 185803 186091 185386 185060 185222 185778 185902 184551 184878 184275 183982 183979 184004 185261 182798 185455 183283 183679 183743 184130 184524 184619 184748 184994 184999 185420 185486 185568 185697 185967 186070 186301 186651 186341 186290 186468 186650 186933 186867 186867 187203 187219 186600 186873 186832 187228 186225 186701 186245 185763 185763 185785 184182 183936 186614 184331 184215 184307 184603 184718 185141 185163 185324 185306 185642 185617 185557 185680 185917 186170 186372 186104 186221 186465 186410 186425 186613 185732 185483 185678 186073 186514 185690 185438 185647 185937 186281 186383 185003 184974 184767 184462 184462 184486 183001 183231 183251 185759 183546 183734 183738 183958 184064 184064 184143 184139 184141 184377 184379 184348 184394 184707 185040 185026 184772 185109 185037 185296 184963 185056 185271 185350 185839 185297 185018 185131 185202 184845 184698 184840 185057 185441 184482 186436 186949 187454 186791 184274 184280 184233 177691 179996 177405 178052 177754 177715 177747 177855 177919 177980 177844 177862 177853 177915 178006 178357 178120 178383 178637 178607 178409 178726 178648 178696 178672 178539 178888 178629 179121 179368 178783 178765 178541 178476 178825 178415 177786 177508 177501 177445 175927 177633 175365 176010 175629 175507 175485 175551 175483 175579 175341 175359 175266 175390 175385 175777 175469 175690 176191 176544 176351 176112 176379 176922 177247 176533 176251 176447 176969 177322 176414 176135 176330 176600 176978 175835 175458 174965 174982 174965 173594 173048 172631 175058 172605 172538 172358 172360 172262 172274 172362 171985 171984 171786 171868 171831 171915 172185 172516 172501 172199 172566 172517 172553 172539 172403 172726 172679 173046 172694 172345 172552 172259 172542 171853 171793 171287 171305 171287 169864 169089 164693 163185 160987 160474 160183 160222 159993 160132 159644 159658 159286 159305 159326 158955 158718 158889 159017 159500 159540 159230 159381 159130 159571 159035 157255 157581 157634 158115 158472 157579 157284 157433 157560 158026 157173 156730 156211 155921 155917 155917 154508 154761 154871 155106 155371 155563 155834 155814 156551 156221 156389 156974 156760 159919 159921 160133 160137 160243 160243 161612 161710 162889 162834 162829 163698 162726 162722 162939 162814 163761 163344 163774 163203 163194 163973 163019 163063 162980 163327 162671 162631 162962 162279 161832 161155 162774 160623 160558 160828 160292 159713 157481 158829 160003 163408 162440 166371 166140 166929 167753 168178 169873 169651 170958 172434 175353 176354 177497 177405 176535 177236 176856 176599 178920 180511 180632 180948 181165 180506 181723 181173 183584 184298 183671 184287 184199 185928 186433 185197 186128 185388 185586 186501 187713

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="PolyORBLF-PT-S02J04T06"
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/PolyORBLF-PT-S02J04T06.tgz
mv PolyORBLF-PT-S02J04T06 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 PolyORBLF-PT-S02J04T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150501197"
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 ;