fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r05kn-ovh1-140043892503537
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
- - - DNF timeout

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 SimpleLoadBal-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r05kn-ovh1-140043892503537
=====================================================================


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

BK_START 1400461802147

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: 194 NrTr: 2205)

net check time: 0m0sec

place and transition orderings generation:0m0sec

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

1790 3527 3634 6871 6996 7129 8596 7338 7334 13710 13851 13979 14054 14160 14294 14415 14409 17535 14644 14700 14734 14681 14749 14715 27107 27278 27385 27479 27607 27771 27783 27842 27857 28005 28147 28179 28313 28440 28540 28614 28647 28858 28805 28797 28852 36569 35164 29035 29291 29369 29419 29346 29425 29436 29420 29438 29365 29321 29483 29463 29410 29419 53829 53973 54110 54204 54303 54482 54514 54565 54595 54730 54903 54917 55049 55156 55231 55346 55370 55552 55504 55512 55546 55546 55685 55825 55872 55982 56108 56208 56339 56329 56392 56537 56648 56714 56838 56965 57066 57056 57232 57266 57312 57305 57334 57326 57398 57751 57720 57710 57604 57631 57552 57585 57707 57669 57675 72824 71938 58270 58382 58465 58498 58436 58590 58620 58596 58714 58586 58490 58705 58621 58628 58655 58683 58683 58699 58720 58718 58651 58656 58567 58699 58687 58692 58634 58642 58531 58866 58780 58786 58768 58787 58731 58813 58811 58728 58792 106636 106756 106891 106974 107083 107436 107331 107307 107397 107511 107676 107658 107792 107940 108065 108063 108108 108344 108288 108274 108286 108366 108476 108642 108650 108794 108924 109002 109095 109102 109224 109331 109431 109517 109661 109760 109859 109872 110042 110047 110061 110032 110092 110060 110354 110419 110483 110447 110400 110354 110357 110317 110437 110420 110419 110465 110575 110754 110760 110894 111023 111101 111184 111201 111351 111458 111546 111655 111792 111876 111957 111970 112158 112175 112177 112159 112219 112197 112203 112329 112444 112528 112658 112810 112838 112938 112906 113043 113184 113229 113355 113455 113559 113665 113678 113875 113829 113868 113875 113871 114185 114187 114191 114163 114250 114285 114292 114252 114297 114236 114161 114362 114281 114302 114332 114905 114817 115040 114971 114931 114849 114918 114923 114912 114919 114865 114835 115028 114949 114913 114957 114842 115124 114992 114985 115263 115012 115066 114974 115072 145325 145043 140067 131702 116230 116207 116215 116143 116245 116364 116445 116373 116619 116415 116434 116549 116467 116478 116612 116660 116634 116694 116738 116774 116800 116714 116858 116774 116784 116730 116742 116642 116531 116892 116836 116822 116713 116817 116704 116837 116784 116729 116776 116800 116776 116845 116855 116835 116872 116806 116851 116883 116882 116883 116904 116880 116889 116867 116838 116868 116837 116829 116756 116888 116805 116938 116930 116850 116879 116916 116882 116911 116840 116766 116856 116782 116714 116683 117071 117309 117254 117302 117142 117233 117249 117233 117249 117324 117171 116970 117213 117106 117088 117045 117355 117275 117183 117150 117185 117082 117270 210961 211099 211221 211301 211434 211570 211623 211651 211716 211826 212005 212002 212136 212265 212343 212439 212452 212669 212619 212596 212630 212667 212820 212962 212994 213136 213244 213317 213432 213456 213524 213682 213762 213859 213963 214087 214188 214178 214345 214398 214416 214402 214439 214404 214485 214742 214834 214808 214675 214709 214660 214673 214779 214763 214763 214801 214957 215099 215131 215275 215402 215502 215576 215593 215712 215840 215927 216024 216153 216252 216353 216343 216510 216563 216591 216559 216618 216569 216544 216686 216827 216911 217016 217162 217201 217280 217289 217423 217564 217612 217708 217838 217927 218048 218047 218232 218181 218182 218238 218230 218517 218523 218584 218544 218609 218662 218652 218611 218677 218595 218531 218714 218640 218657 218677 219233 219285 219402 219360 219297 219177 219259 219257 219241 219257 219332 219169 219366 219317 219457 219295 219182 219376 219329 219323 219385 219324 219404 219345 219362 219445 219565 219716 219743 219869 220008 220128 220129 220180 220316 220446 220496 220630 221048 220826 220907 220919 221141 221126 221128 221162 221171 221153 221210 221336 221473 221554 221663 221813 221890 221870 221918 222057 222209 222209 222345 222476 222550 222627 222648 222827 222773 222784 222813 222908 223103 223185 223203 223114 223206 223230 223222 223244 223241 223170 223143 223296 223419 223253 223243 223372 223479 223579 223680 223829 223924 224001 224006 224080 224229 224342 224372 224499 224643 224738 224735 224804 224933 224934 224955 224927 224984 225112 225286 225274 225410 225541 225615 225692 225713 225801 225931 226020 226115 226246 226354 226440 226442 226633 226612 226659 226651 226679 226673 226746 227088 227010 227011 226926 226948 226884 226921 227011 227013 227014 227047 227486 227479 227485 227443 227530 227601 227685 227719 227725 227627 227550 227759 227680 227696 227744 227751 227748 227766 227778 227761 227776 227717 227734 227738 227764 227730 227737 227686 227608 227892 227824 227830 227816 227842 227792 227841 227890 227826 227854 228705 228818 229022 229064 228680 228929 228859 228851 228917 228854 229052 228890 228979 229048 229016 229026 228929 228921 228955 228947 228961 228966 228958 228958 228937 228927 228906 228935 228927 228905 228928 229065 229324 229173 229169 229070 229042 228977 229076 229026 228991 228946 228999 228996 228838 229449 229362 229346 229309 229267 229215 229291 229230 229226 229181 229235 229196 229357 229333 229328 229366 229249 229446 288544 288382 230855 231364 231330 231340 231250 231398 231510 231622 231522 231850 231534 231586 231692 231787 231630 231837 231909 231870 231960 232026 232590 232164 232104 232242 232080 232095 232005 232032 231882 231720 232081 232025 232010 231956 232006 231893 232032 231973 231977 232049 232145 232103 232167 232229 232189 232263 232131 232221 232285 232283 232315 232351 232323 232409 232325 232405 232407 232371 232337 232225 232561 232509 232703 232735 232575 232633 232707 232631 232709 232555 232409 232657 232509 232555 234561 232779 232891 232962 232959 232894 232951 233170 232951 232967 232932 232911 232678 232921 232814 232796 232738 233060 232983 232906 232858 232889 232807 232851 232906 232889 232937 232932 232943 232964 232927 232951 232977 232982 232968 232984 232979 233030 233009 232976 233093 233021 232982 232974 232937 232989 232991 232977 233022 233045 233021 233074 233060 233044 233080 233077 233095 233124 233090 233092 233046 233060 233159 233072 233059 233049 233011 232937 233159 233087 233083 233247 233036 232984 232998 233002 232975 232930 232810 232863 232794 232884 232824 232822 232931 232953 232965 233061 232947 232840 232981 232911 232873 232896 232912 232923 232949 232961 232936 232888 232893 232818 232926 232916 232905 232835 232883 232788 232885 232903 232881 232887 232828 232773 232753 232762 232676 232738 232457 233218 233344 233302 232927 233205 233277 233412 233280 233499 233283 233079 233431 233345 233276 233292 233326 233318 233332 233337 233329 233329 233308 233298 233286 233305 233298 233276 233299 233193 233092 233597 233549 233716 233482 233375 233319 233270 233305 233219 233147 233667 233521 233539 233525 233463 233423 233414 233449 233362 233386 233447 233413 233333 233284 233603 416794 416919 417043 417129 417259 417400 417471 417577 417576 417684 417789 417909 417971 418105 418216 418352 418340 418798 418521 418503 418549 418536 418650 418797 418908 418946 419072 419218 419325 419327 419343 419495 419621 419690 419794 419960 419980 420049 420117 420264 420317 420300 420252 420334 420301 420622 420597 420683 420667 420621 420580 420592 420646 420654 420682 420657 420787 420923 421040 421083 421226 421363 421461 421487 421533 421671 421786 421855 421974 422136 422173 422214 422284 422443 422492 422465 422417 422514 422466 422514 422671 422764 422877 422967 423099 423193 423189 423247 423367 423514 423539 423667 423790 423906 423904 423948 424152 424112 424104 424116 424208 424439 424511 424543 424505 424549 424571 424533 424549 424505 424487 424548 424593 424525 424537 424710 425362 425288 425300 425081 425148 425050 425145 425151 425125 425175 425093 425036 425264 425186 425129 425196 425078 425287 425264 425265 425224 425306 425262 425208 425328 425671 425614 425662 425772 425898 425998 426129 426119 426211 426356 426467 426533 426648 426784 426871 426856 427031 427065 427111 427104 427133 427108 427104 427245 427372 427440 427565 427704 427760 427850 427848 427947 428086 428181 428255 428378 428491 428599 428600 428746 428764 428779 428800 428790 429040 429063 429180 429196 429167 429197 429235 429196 429235 429158 429101 429276 429202 429263 430325 429255 429381 429520 429605 429710 429874 429890 429990 429971 430108 430287 430304 430431 430532 430611 430718 430730 430966 430859 430878 430920 430899 431003 431142 431252 431321 431444 431557 431679 431668 431703 431831 431954 432015 432125 432275 432311 432380 432405 432563 432608 432601 432642 432628 432627 432914 432875 432943 432921 432873 432846 432867 432840 432952 432933 432969 433303 433414 433466 433487 433449 433557 433587 433621 433651 433573 433498 433659 433644 433608 433610 433637 433659 433647 433674 433675 433661 433678 433610 433694 433643 433931 433642 433630 433566 433723 433849 433781 433767 433734 433764 433687 433785 433741 433687 433762 434997 434860 434812 434838 434827 434767 434760 434869 434860 435031 434848 434736 434990 434864 434813 434897 434788 434825 434829 434849 434853 434840 434825 434849 434788 434866 434822 434809 434793 434808 434744 435128 435022 435079 435071 434904 434919 434967 434884 434937 434853 434846 434901 434782 435367 435303 435280 435272 435119 435145 435178 435137 435155 435088 435057 435137 435082 435255 435234 435244 435247 435332 435265 435404 435554 435602 435710 435838 435925 436069 436059 436151 436296 436407 436472 436588 436724 436811 436796 436971 437013 437051 437044 437073 437087 437044 437183 437299 437380 437505 437644 437700 437790 437788 437887 438026 438121 438180 438318 438431 438539 438554 438686 438704 438719 438740 438730 439025 438991 439118 439136 439107 439137 439175 439136 439169 439098 439041 439216 439142 439559 439143 439249 439375 439514 439599 439704 439868 439884 439984 439965 440102 440281 440298 440425 440517 440605 440725 440724 440960 440853 440907 440914 440893 440997 441136 441232 441315 441438 441551 441673 441662 441697 441825 441948 442009 442119 442269 442305 442374 442399 442557 442602 442595 442636 442622 442621 442908 442869 442937 442915 442859 442840 442861 442834 442946 442927 442955 443297 443324 443460 443481 443443 443551 443581 443615 443645 443567 443492 443653 443638 443612 443604 443631 443653 443641 443668 443669 443655 443672 443607 443688 443637 443638 443624 443624 443589 443717 443843 443768 443756 443682 443757 443681 443779 443735 443681 443702 443815 443943 444030 444142 444272 444372 444471 444742 444543 444669 444806 444834 444978 445096 445202 445224 445260 445420 445411 445425 445391 445473 445602 445764 445774 445909 446030 446115 446192 446213 446302 446437 446529 446623 446710 446844 446929 446939 447073 447101 447170 447134 447163 447189 447248 447526 447476 447471 447408 447417 447352 447401 447480 447459 447488 447469 447576 447715 447810 447870 448005 448130 448223 448253 448293 448431 448554 448615 448725 448875 448911 448981 449005 449177 449190 449192 449162 449228 449197 449230 449358 449502 449555 449696 449836 449861 449908 449923 450062 450203 450248 450374 450474 450565 450664 450683 450848 450809 450814 450861 450860 451120 451113 451182 451164 451207 451223 451244 451231 451255 451184 451141 451268 451232 451227 451249 451430 451774 451909 451963 451726 451794 451730 451801 451812 451779 451827 451765 451720 451906 451837 451807 451842 451772 451959 451924 451917 451916 451968 451951 451900 452530 452647 452631 452639 452583 452670 452776 452857 452803 452962 452815 452727 452936 452855 452872 453034 453070 453042 453078 453102 453136 453570 453064 453128 453156 453174 453140 453168 453088 452936 453225 453157 453180 453149 453239 453125 453178 453210 453340 453168 453173 453183 453200 453223 453231 453196 453279 453185 453215 453239 453225 453250 453251 453231 453265 453206 453258 453223 453221 453200 453122 453235 453197 453284 453264 453214 453238 453267 453240 453259 453206 453209 453198 453162 453102 453073 453091 453552 453560 453533 453375 453514 453534 453534 453500 453550 453484 453371 453531 453490 453437 453397 453340 453597 453556 453503 453492 453510 453438 454355 455556 455396 455282 455542 455284 455204 455300 455466 455448 455688 455388 455225 455565 455369 455291 455405 455424 455472 455457 455517 455529 455535 455529 455622 455520 455727 455691 455667 455793 455616 455562 456057 455912 456020 455996 455700 455710 455779 455654 455802 455696 455705 455759 455573 455617 455651 455643 455670 455676 455683 455702 455688 455674 455716 455707 455675 455695 455695 455661 455711 455645 455714 455655 455630 455665 455723 455702 455662 455696 455646 455674 455695 455723 455727 455708 455688 455609 455684 455610 455554 455459 456255 456523 456316 456253 456019 455976 456079 456086 456086 456052 456102 456036 455863 456077 456009 455949 455897 455928 455859 456128 456040 456036 456013 456341 455980 455992 455858 455663 456544 456501 456549 456277 456307 456187 456351 456375 456347 456368 456315 456207 456385 456292 456221 456273 456159 456239 456592 456487 456410 456361 456385 456423 456390 456257 456522 456473 456454 456515 456429 456489 456456 456433 456511 456458 456382 456275 456660 572896 576583 576484 573447 566654 533300 459615 460114 460323 460461 460064 460230 460430 460460 460705 460650 460400 460372 460565 460464 460482 460776 460900 460772 460988 461028 460948 461096 460896 461328 461068 461224 460936 461044 460788 460920 460939 460952 460917 460897 460876 460942 460935 460857 460910 461018 461159 461099 461204 461210 461195 461312 461141 461276 461423 461339 461354 461456 461432 461603 461399 461654 461546 461390 461441 461282 461885 461711 461945 461771 461798 461942 461942 461909 462014 461768 461525 462026 461741 461600 461393 461911 461877 461981 462005 461940 462028 462043 462038 462034 461987 461879 461996 461961 461918 461859 461765 462049 462042 461959 461951 461955 461871 462107 462135 462135 462197 462261 462285 462293 462177 462285 462367 462335 462311 462341 462363 462415 462323 462249 462473 462409 462375 462291 462327 462387 462425 462341 462389 462433 462391 462523 462415 462469 462505 462487 462535 462571 462573 462613 462555 462701 462573 462631 462615 462623 462549 462491 463141 463327 462919 462751 462741 462613 462663 462763 462745 462667 462521 462799 462655 462667 462583 462655 462795 462963 463031 463039 462847 462657 462977 462819 462747 462841 462855 462849 462885 462909 462875 462905 462787 462821 462829 462881 462813 462791 462725 462569 462909 462773 462785 462757 462727 462605 462617 462673 462513 462425 462860 463210 463188 463284 462947 463148 463196 463214 463319 463547 463190 462921 463303 463104 463114 463198 463198 463180 463219 463231 463237 463239 463170 463194 463202 463422 463184 463166 463117 463006 462932 463513 463324 463346 463324 463227 463177 463137 463181 463081 462929 463509 463409 463396 463372 463334 463267 463288 463303 463202 463273 463324 463278 463171 463149 463205 463235 463252 463275 463302 463309 463560 463265 463282 463320 463329 463288 463312 463334 463313 463379 463325 463416 463339 463312 463330 463320 463381 463401 463371 463405 463423 463414 463477 463420 463433 463449 463460 463464 463498 463488 463460 463472 463422 463530 463520 463509 463445 463494 463436 463633 463591 463651 463619 463579 463537 463557 463506 463673 463534 463462 463481 463507 463511 463507 463523 463518 463569 463548 463506 463571 463594 463570 463604 463639 463621 463637 463597 463671 463640 463645 463635 463645 463590 463544 463576 463621 463599 463628 463687 463648 463682 463611 463648 463674 463672 463693 463705 463673 463678 463645 463582 463658 463646 463631 463582 463620 463724 463665 463671 463640 463669 463681 463674 463677 463635 463615 463609 463624 463525 463503 463521 463762 463660 463660 463585 463562 463530 463552 463570 463550 463582 463545 463468 463682 463515 463685 463507 463409 463486 463417 463386 463418 463350 463379 463357 463152 463219 463197 463387 463335 463225 463335 463464 463440 463611 463407 463288 463403 463346 463369 463414 463446 463436 463476 463520 463534 463484 463544 463674 463616 463592 463576 463502 463542 463428 463502 463475 463509 463498 463438 463426 463415 463422 463351 463315 463347 463369 463370 463397 463414 463407 463440 463382 463419 463445 463442 463447 463458 463459 463450 463406 463353 463443 463417 463402 463353 463396 463403 463448 463454 463419 463440 463452 463445 463448 463414 463401 463293 463400 463296 463274 463196 463540 463384 463593 463455 463409 463454 463454 463434 463468 463409 463297 463376 463343 463293 463270 463184 463282 463249 463267 463105 463093 462968 462633 463818 463730 464200 464200 463907 464260 464458 464374 464632 464464 464052 464373 464734 464141 464191 464272 464338 464302 464383 464431 464413 464512 464377 464644 464494 464626 464488 464473 464329 464161 464042 464802 464720 464704 465330 464522 464383 464432 464420 464270 464285 464313 464310 464341 464354 464353 464376 464334 464338 464368 464375 464342 464363 464391 464395 464376 464356 464364 464323 464298 464326 464243 464379 464330 464448 464356 464342 464371 464380 464343 464391 464329 464265 464372 464297 464227 464127 464913 464833 464901 464882 464676 464751 464763 464742 464766 464746 464695 464361 464627 464605 464581 464474 464197 464505 464499 464488 464388 464362 464278 464207 464269 465373 465103 465111 465071 465065 465117 465105 465103 465133 465058 464904 465009 464986 464961 464949 464777 464947 464937 464929 464840 464832 464833 464671 465192 465035 465016 464924 464922 464884 464907 464901 464791 464354 465193 749835 749955 750091 750173 750282 750433 750513 750506 750584 750710 750874 750857 750991 751139 751240 751272 751307 751543 751487 751473 751485 751552 751675 751817 751849 751993 752114 752201 752294 752311 752404 752530 752816 752714 752845 752959 753058 753071 753241 753243 753261 753231 753291 753259 753484 753618 753667 753646 753599 753553 753539 753541 753635 753619 753618 753702 753812 753991 753997 754131 754260 754338 754422 754438 754588 754695 754795 754881 755029 755124 755202 755207 755395 755412 755425 755396 755456 755424 755441 755567 755682 755766 755896 756048 756081 756125 756144 756281 756422 756467 756584 756693 756797 756904 756902 757087 757110 757037 757093 757085 757399 757401 757515 757377 757464 757499 757513 757466 757511 757473 757375 757587 757495 757512 757532 758272 758010 758233 758164 758126 758074 758111 758117 758105 758112 758068 758028 758221 758142 758106 758150 758035 758236 758185 758178 758228 758205 758259 758167 758217 758389 758507 758642 758687 758807 758946 759060 759046 759105 759242 759390 759421 759556 759702 759742 759822 759844 760026 760073 760074 760014 760096 760063 760352 760280 760391 760472 760612 760725 760810 760800 760856 760982 761139 761134 761270 761424 761475 761559 761573 761762 761714 761709 761764 761833 762049 762120 762128 762076 762158 762174 762147 762179 762157 762095 762068 762226 762150 762162 762168 762313 762418 762493 762619 762774 762833 762918 762932 763036 763135 763263 763297 763442 763573 763668 763671 763730 763841 763860 764124 763853 763911 764047 764195 764200 764336 764490 764541 764625 764629 764757 764857 764961 765043 765174 765270 765358 765356 765505 765556 765572 765578 765589 765566 765640 765880 765902 765895 765820 765843 765778 765807 765909 765881 765893 766042 766402 766399 766456 766397 766437 766485 766529 766487 766619 766511 766434 766643 766564 766580 766599 766669 766624 766657 766658 766645 766645 766603 766613 766644 766621 766613 766591 766566 766492 766797 766708 766758 766712 766720 766676 766746 766739 766675 766723 767653 767592 767880 767928 767544 767586 767770 767715 767850 767823 767937 767721 767911 767922 768303 767862 767931 767792 767803 767794 767818 767830 767822 767826 767774 767800 767770 767800 767792 767789 767725 767640 768146 768050 768041 767920 767934 767841 767916 767886 767877 767804 767863 767817 767918 768383 768238 768225 768163 768121 768086 768155 768125 768090 768045 768099 768080 768216 768219 768259 768230 768108 768224 768400 768518 768653 768698 768830 768957 769064 769057 769116 769253 769401 769432 769567 769713 769753 769833 769855 770037 770084 770085 770025 770107 770074 770157 770291 770402 770483 770608 770736 770821 770811 770867 770993 771158 771145 771281 771770 771486 771570 771584 771772 771725 771720 771775 771844 772060 772131 772139 772087 772169 772185 772158 772190 772168 772106 772079 772231 772171 772173 772179 772378 772483 772558 772682 772839 772898 772984 772997 773101 773200 773328 773362 773507 773638 773733 773726 773795 773906 773925 773950 773918 773977 774103 774260 774265 774401 774555 774606 774690 774694 774813 774922 775026 775106 775237 775335 775423 775421 775570 775598 775637 775643 775654 775631 775705 775945 775967 775960 775885 775908 775843 775872 775970 775946 775958 776310 776467 776428 776521 776462 776502 776550 776594 776552 776684 776576 776499 776709 776629 776645 776664 776700 776689 776722 776723 776710 776712 776666 776678 776779 776686 776678 776656 776631 776557 776862 776773 776779 776765 776785 776741 776816 776804 776740 776788 776796 776936 777063 777122 777496 777397 777420 777473 777501 777649 777795 777825 777959 778062 778141 778240 778283 778420 778389 778400 778442 778429 778571 778725 778820 778867 779001 779119 779232 779238 779270 779398 779541 779591 779713 779867 779908 779939 780003 780130 780175 780176 780130 780196 780175 780498 780452 780514 780477 780439 780412 780448 780494 780497 780499 780537 780569 780683 780847 780845 780981 781112 781186 781255 781274 781416 781529 781618 781713 781844 781941 782030 782028 782179 782202 782243 782428 782280 782239 782214 782357 782484 782550 782675 782818 782872 782950 782967 783056 783153 783283 783316 783446 783594 783677 783682 783744 783868 783859 783870 783884 784064 784087 784200 784236 784187 784228 784240 784227 784243 784223 784173 784158 784279 784266 784258 784279 784934 784828 784995 784800 784818 784752 784799 784812 784798 784823 784760 784717 784893 784832 784804 784846 784751 784919 784884 784932 784934 784893 784955 784914 784957 785493 785542 785691 785723 785644 785849 785903 785861 786032 785849 785731 785891 785856 785830 785898 785952 786042 785972 786028 786146 786070 786106 786022 786228 786100 786074 786044 786086 785990 786176 786178 786373 786162 786150 786177 786134 786188 786894 786097 786129 786156 786138 786199 786204 786199 786232 786178 786218 786227 786230 786223 786235 786220 786230 786203 786237 786276 786200 786167 786152 786053 786245 786224 786242 786180 786220 786232 786211 786235 786215 786164 786075 786179 786329 786075 785979 786520 786406 786504 786441 786466 786515 786544 786517 786536 786483 786511 786494 786500 786433 786401 786330 786560 786553 786492 786510 786498 786398 786581 788042 787997 788506 788496 788026 787970 788304 788192 788276 788522 788504 788204 788656 788470 788412 788375 788203 788423 788453 788471 788498 788552 788558 788627 788528 788639 788594 788657 788675 788630 788462 788346 789050 788972 788970 788756 788738 788608 788747 788758 788740 788632 788715 788669 788564 788580 788586 788614 788631 788638 788642 788634 788597 788647 788659 788642 788657 788678 788665 788671 788618 788686 788641 788616 788836 788534 788619 788597 788702 789037 788645 788657 788677 788658 788690 788653 788573 788623 788596 788548 788485 788422 789229 789252 789269 789009 789027 788882 789057 789069 789056 789080 789009 788901 789058 788949 788859 788890 788770 788850 789203 789050 789048 788924 788948 788986 788948 788813 788636 789308 789221 789475 789367 789288 789171 789343 789315 789294 789318 789298 789248 789445 789301 789252 789233 789182 789195 789149 789441 789368 789346 789353 789265 789418 789292 789162 789528 789424 789417 789413 789443 789457 789348 789436 789457 789376 789218 789600 789530 789674 789824 789872 789980 790108 790195 790339 790329 790421 790566 790677 790742 790858 790994 791081 791066 791241 791275 791321 791314 791343 791357 791314 791453 791569 791650 791775 791914 791970 792060 792058 792157 792296 792391 792450 792588 792701 792809 792824 792956 792974 792989 793010 793000 793295 793273 793410 793406 793377 793407 793445 793406 793439 793368 793311 793486 793412 793473 793413 793519 793645 793784 793869 793974 794138 794154 794254 794235 794372 794551 794568 794695 794787 794875 794995 794994 795230 795123 795138 795184 795163 795267 795406 795502 795585 795708 795821 795943 795932 795967

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