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

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

BK_START 1400461782930

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: 149 NrTr: 1280)

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

1386 2745 2786 5277 5429 5478 5534 10304 10432 10540 10647 10771 10877 10912 12534 11147 11192 11179 11212 11196 20416 20536 20639 20749 20861 20930 20967 21110 21224 21282 21418 21510 21567 21782 21736 21754 21776 27059 24970 22154 22230 22220 22252 22294 22299 22305 22221 22195 22312 22305 22319 40245 40365 40466 40591 40699 40783 40798 40949 41096 41147 41264 41365 41487 41552 41572 41589 41635 41673 41792 41898 42014 42138 42269 42277 42338 42466 42547 42681 42829 42907 42922 43066 43131 43106 43131 43120 43421 43445 43433 43354 43357 43376 43463 43442 43486 54327 44004 44048 44246 44074 44233 44293 44241 44343 44214 44360 44290 44323 44348 44353 44381 44392 44399 44381 44272 44741 44366 44334 44328 44240 44480 44474 44458 44516 44411 44488 44453 44483 79162 79293 79385 79522 79657 79747 79741 79865 80023 80065 80192 80308 80388 80415 80549 80566 80595 80608 80777 80898 80953 81095 81187 81248 81304 81431 81541 81652 81782 81856 82071 82052 82079 82088 82115 82099 82374 82329 82377 82332 82339 82341 82435 82391 82406 82460 82608 82711 82815 82926 83052 83073 83156 83293 83373 83487 83640 83720 83737 83901 83929 83918 83945 83921 83965 84098 84190 84325 84460 84538 84553 84644 84795 84824 84977 85096 85186 85221 85387 85373 85400 85411 85622 85693 85687 85716 85734 85746 85746 85702 85653 85774 85761 85827 86504 86410 86475 86310 86318 86371 86385 86345 86362 86312 86438 86399 86410 86328 86539 86505 86511 86508 86551 86506 107736 108266 104742 87227 87551 87668 87572 87643 87814 87802 87910 87742 87695 87810 87807 87913 87951 87929 88013 88053 88059 87963 88077 88087 88055 88019 87991 88115 88085 88095 88092 88064 88116 88091 88049 88252 88110 88127 88145 88128 88128 88142 88165 88175 88178 88157 88168 88136 88178 88122 88104 88087 88155 88126 88178 88145 88160 88167 88125 88233 88087 88122 88070 88049 88016 88460 88479 88398 88426 88445 88457 88457 88413 88300 88415 88381 88359 88375 88476 88436 88420 88434 88627 140994 141122 141226 141344 141504 141583 141601 141697 141845 141891 142027 142157 142258 142272 142451 142428 142449 142427 142593 142755 142792 142919 143034 143103 143127 143266 143404 143476 143619 143674 143733 143887 143929 143924 143914 143951 144016 144186 144272 144222 144211 144202 144197 144249 144261 144302 144461 144597 144652 144787 144886 144951 145029 145156 145272 145377 145507 145559 145610 145788 145804 145813 145843 145824 145850 145969 146072 146197 146348 146406 146439 146523 146673 146727 146833 146983 147075 147094 147243 147264 147284 147284 147549 147592 147576 147585 147615 147607 147616 147595 147535 147658 147628 147635 148396 148134 148393 148189 148216 148221 148228 148217 148229 148167 148306 148235 148230 148232 148450 148331 148732 148399 148402 148353 148380 148506 148668 148708 148850 148945 149030 149049 149194 149344 149422 149552 149623 149675 149839 149865 149885 149865 149915 149908 150050 150188 150271 150415 150469 150528 150585 150713 150823 150917 151051 151172 151179 151365 151331 151357 151382 151580 151622 151687 151705 151720 151730 151695 151708 151647 151760 151717 151755 151765 151903 152040 152136 152269 152340 152429 152475 152590 152700 152782 152899 153034 153059 153256 153277 153234 153282 153310 153429 153541 153662 153781 153900 153933 153961 154088 154228 154335 154498 154588 154620 154799 154813 154826 154872 154869 155067 155062 155110 155100 155098 155086 155116 155135 155163 155437 155601 155731 155683 155744 155806 155814 155860 155772 155742 155834 155819 155860 155877 155886 155880 155890 155877 156033 155902 155862 155875 155885 155830 155981 156047 156005 155972 155991 155984 156040 156051 156067 156853 156987 157101 156808 156784 156889 156896 156845 157172 156808 157052 156959 156957 156873 156909 156916 156925 156934 156913 156905 156916 156893 156909 156883 156880 156822 157137 157103 157123 157038 157012 157088 157036 157176 157052 157008 156999 157295 157295 157233 157236 157221 157211 157345 157208 157231 157410 157467 157308 157355 157803 198838 200930 168801 169162 169301 169296 169236 169438 169542 169670 169462 169356 169473 169472 169661 169691 169652 169727 169793 169844 169709 169949 169880 169847 169799 169676 169782 169760 169786 169763 169814 169860 169841 169799 169893 169921 169979 170019 169995 170081 170005 170035 170017 170031 170041 170085 170017 170191 170235 170027 170075 170179 170149 170277 170189 170297 170275 170299 170231 170119 170223 170103 170049 170014 170404 170423 170453 170408 170453 170449 170461 170422 170298 170415 170359 170340 170274 170476 170420 170430 170425 170433 170455 170449 170490 170478 170494 170486 170513 170532 170515 170524 170533 170559 170532 170583 170554 170557 170509 170529 170555 170530 170557 170582 170596 170565 170574 170580 170575 170606 170611 170586 170550 170590 170580 170571 170556 170524 170711 170554 170590 170542 170595 170538 170558 170499 170457 170446 170461 170620 170430 170541 170575 170563 170595 170506 170543 170496 170459 170479 170485 170480 170511 170516 170491 170455 170495 170485 170476 170461 170429 170549 170462 170464 170399 170419 170397 170387 170301 171129 170890 170972 170948 170901 171042 171138 171129 171063 170871 171062 170939 170922 170958 170964 170979 170983 170962 170954 170965 170942 170958 170932 170928 170870 170804 171128 171101 171092 171142 171126 170959 170967 170886 171309 171278 171283 171182 171169 171162 171173 171215 171223 171221 171195 171060 171300 265242 265359 265477 265585 265700 265795 265799 265950 266257 266135 266265 266385 266412 266490 266573 266590 266623 266710 266829 266947 267051 267182 267292 267314 267387 267504 267585 267711 267851 267931 267948 268098 268139 268128 268170 268132 268405 268448 268439 268359 268362 268381 268620 268447 268485 268585 268729 268774 268897 269047 269145 269158 269278 269405 269479 269594 269723 269795 269817 269955 270007 269992 270024 270010 270103 270214 270304 270430 270542 270613 270624 270750 270904 270935 271062 271202 271255 272059 271418 271443 271476 271533 271675 271760 271710 271798 271808 271793 271804 271743 271790 271918 271830 271869 272448 272480 272492 272813 272370 272422 272411 272407 272378 272336 272504 272437 272451 272366 272563 272541 272558 272617 272595 272601 272691 272808 272917 273027 273146 273272 273303 273376 273516 273593 273707 273860 273940 273986 274113 274350 274138 274182 274141 274230 274347 274439 274566 274707 274785 274802 274883 275066 275073 275205 275345 275434 275458 275613 275606 275633 275638 275849 275962 275948 275943 275961 275968 275990 275929 275880 276003 276008 276079 276073 276215 276290 276416 276570 276648 276665 276754 276906 276952 277084 277223 277323 277328 277490 277680 277693 277501 277619 277757 277796 277934 278068 278157 278181 278288 278434 278488 278782 278760 278842 278876 279034 279059 279064 279080 279092 279365 279337 279322 279285 279288 279301 279352 279373 279440 279894 279874 279961 279934 279990 280014 279972 280022 279937 280052 280010 280048 280068 280100 280088 280117 280084 280087 280040 280075 280082 280087 280046 279991 280222 280185 280189 280250 280197 280301 280288 280201 280506 280989 281203 281049 281039 281038 281046 281121 281163 281070 280985 281187 281316 281128 281088 281096 281089 281106 281110 281106 281078 281116 281101 281091 281076 281053 281345 281223 281326 281226 281219 281235 281177 281200 281158 281200 281106 281509 281487 281459 281424 281397 281429 281436 281537 281399 281409 281510 281537 281544 281577 281684 281768 281904 281978 282102 282243 282361 282363 282470 282587 282684 282808 282928 283005 283022 283168 283233 283219 283229 283215 283321 283438 283529 283645 283774 283845 283856 283983 284140 284177 284304 284420 284490 284523 284665 284661 284699 284766 285276 285001 284961 285010 285042 285032 285043 284980 284965 285053 285102 285103 285212 285489 285437 285553 285682 285754 285764 285897 286055 286086 286213 286352 286414 286446 286588 286604 286622 286612 286741 286895 286936 287084 287189 287256 287282 287401 287558 287638 287775 287893 287943 288045 288131 288181 288308 288191 288202 288445 288439 288426 288423 288395 288402 288468 288489 288550 288965 289038 289050 289050 289134 289118 289164 289120 289044 289169 289160 289150 289179 289196 289208 289214 289190 289188 289129 289177 289204 289183 289156 289099 289323 289302 289293 289294 289295 289352 289337 289311 289363 289495 289600 289716 289853 289934 289973 290059 290193 290260 290376 290511 290612 290638 290784 290784 290831 290827 290925 291077 291123 291259 291405 291491 291510 291592 291709 291814 291941 292099 292175 292215 292351 292391 292382 292420 292424 292649 292649 292666 292618 292695 292651 292731 292688 292718 292799 292926 293036 293129 293259 293395 293402 293474 293601 293740 293831 294005 294073 294117 294279 294316 294312 294320 294351 294348 294509 294628 294721 294890 294969 295071 295103 295219 295360 295441 295606 295676 295746 295842 295990 296011 296035 296060 296076 296270 296335 296297 296363 296366 296357 296369 296353 296382 296318 296394 296433 296446 296798 297056 297110 297068 297088 297036 297084 297081 297094 297077 297070 297041 297112 297182 297151 297131 297252 297250 297293 297291 297303 297332 297390 297379 297833 297981 297945 297931 298020 298047 298179 298044 297969 298079 298047 298102 298210 298182 298200 298226 298208 298330 298288 298252 298252 298218 298240 298396 298353 298346 298328 298401 298316 298385 298388 298396 298412 298395 298406 298415 298406 298410 298440 298437 298447 298446 298439 298452 298435 298420 298447 298441 298422 298407 298355 298398 298417 298405 298399 298416 298424 298427 298414 298398 298328 298362 298353 298311 298322 298579 298613 298589 298613 298627 298646 298629 298622 298731 298553 298635 298631 298589 298581 298683 298686 298679 298700 298721 299057 300888 300886 301232 300852 300928 301090 301160 301124 301208 300950 301410 301071 301207 301230 301110 301137 301203 301278 301209 301257 301521 301383 301314 301272 301233 301143 301575 301509 301485 301306 301312 301340 301317 301251 301301 301258 301201 301215 301225 301225 301288 301223 301227 301243 301255 301266 301265 301256 301268 301252 301237 301303 301258 301239 301224 301172 301215 301232 301214 301216 301233 301241 301244 301250 301221 301145 301288 301177 301128 301142 301601 301708 301709 301591 301499 301578 301586 301589 301564 301519 301575 301519 301508 301508 301456 301440 301420 301611 301547 301567 301579 301591 301586 301499 302288 302545 302232 302162 302224 302263 302185 302181 302186 302153 302118 302176 302129 302096 302094 302008 302051 302063 302197 302184 302171 302151 302212 302199 302287 302430 302431 302426 302406 302446 302443 302542 302529 302529 302381 302673 387267 389669 389070 385545 367991 330266 330625 330882 331243 331773 331120 331020 331200 331100 331046 331015 331025 331319 331307 331435 331463 331451 331511 331687 331531 331567 331451 331463 331135 331445 331391 331370 331363 331313 331398 331368 331513 331621 331561 331636 331687 331720 331687 331747 331774 331714 331738 331765 331843 331762 331918 331831 331840 331696 332125 332173 332125 332023 332110 332086 332113 332092 331825 332017 331816 331753 331980 331957 332093 332018 332107 332138 332129 332138 332077 331927 332070 332049 331990 331984 333201 332103 332086 332097 332232 332272 332270 332356 332650 332400 332306 332376 332392 332384 332448 332454 332502 332412 332582 332484 332458 332354 332418 332482 332492 332520 332540 332550 332456 332500 332518 332562 332580 332578 332594 332510 332630 332640 332606 332580 332522 332822 332716 332690 332626 332624 332564 332572 332500 332412 332690 332666 332804 332680 332826 332850 332874 332826 332708 332796 332716 332630 332674 332692 332736 332754 332734 332722 332590 332710 332720 332686 332644 332534 332834 332770 332748 332652 332612 332620 332594 332516 332518 333023 333181 333067 333146 333239 333260 333353 333296 332971 333510 333102 333151 333167 333150 333155 333154 333132 333135 333156 333140 333149 333133 333169 333023 332979 333277 333286 333266 333165 333105 333157 333125 333116 333486 333454 333441 333349 333835 333354 333338 333380 333408 333382 333326 333300 333322 333329 333357 333345 333339 333348 333380 333398 333382 333391 333400 333427 333399 333459 333421 333437 333376 333423 333449 333424 333451 333476 333490 333459 333469 333475 333470 333501 333515 333504 333481 333538 333525 333513 333527 333491 333687 333530 333565 333540 333938 333514 333534 333475 333449 333442 333457 333448 333465 333471 333492 333465 333489 333503 333513 333509 333569 333505 333509 333589 333537 333532 333512 333521 333477 333516 333533 333535 333549 333558 333600 333544 333553 333549 333567 333573 333590 333708 333547 333554 333544 333538 333536 333480 333553 333565 333527 333532 333546 333537 333549 333533 333548 333483 333492 333473 333450 333773 333609 333624 333576 333581 333529 333569 333557 333569 333553 333537 333461 333532 333507 333503 333483 333503 333469 333481 333479 333423 333434 333408 333259 333266 333343 333327 333287 333358 333430 333469 333382 333282 333349 333267 333301 333373 333407 333399 333453 333445 333411 333493 333435 333465 333417 333469 333327 333468 333453 333437 333389 333360 333377 333370 333366 333392 333375 333403 333395 333386 333390 333587 333418 333412 333440 333419 333431 333415 333400 333417 333421 333402 333387 333335 333378 333431 333377 333379 333396 333404 333407 333398 333402 333308 333347 333333 333291 333107 333325 333383 333350 333319 333332 333351 333334 333331 333301 333225 333307 333284 333242 333222 333205 333213 333210 333137 333107 332943 333815 333883 334385 333748 334221 334317 334215 334323 334041 334270 334029 333948 334056 334092 334071 334164 334161 334182 334176 334311 334248 334263 334197 334158 333981 334464 334487 334404 334362 334249 334390 334252 334196 334183 334188 334208 334234 334215 334224 334201 334216 334279 334224 334242 334267 334241 334236 334195 334241 334208 334220 334201 334203 334172 334215 334193 334217 334217 334230 334213 334202 334184 334173 334162 334147 334067 334625 334571 334608 334442 334506 334506 334519 334502 334471 334599 334472 334469 334454 334416 334336 334403 334411 334387 334350 334324 334295 334296 334890 334886 334858 334777 334817 334796 334809 334792 334758 334716 334794 334795 334803 334731 334825 334950 334814 334764 334733 334708 334723 334859 334884 334850 334808 334861 334896 334829 334704 336317 502294 502423 502513 502657 502786 502865 502869 503000 503172 503208 503328 503443 503519 503595 503680 503668 503704 503773 503898 504019 504106 504233 504367 504372 504441 504567 504682 504783 504933 505018 505025 505208 505225 505218 505243 505227 505500 505457 505527 505448 505448 505466 505537 505622 505561 505639 505764 505863 505982 506104 506220 506243 506326 506459 506540 506674 506822 506888 506903 507043 507099 507083 507108 507111 507157 507274 507382 507507 507628 507703 507709 507827 507976 508015 508142 508265 508343 508376 508529 508521 508552 508619 508743 508846 508814 508863 508894 508888 508905 508873 508818 508930 508895 508956 509472 509573 509581 509428 509442 509490 509499 509511 509477 509417 509574 509529 509541 509452 509674 509627 509644 509632 509685 509626 509711 509888 510009 510064 510206 510298 510359 510441 510568 510678 510789 510919 511001 511040 511189 511216 511225 511252 511236 511284 511410 511525 511637 511788 511872 511879 511960 512113 512158 512273 512423 512529 512535 512693 512704 512725 512724 512962 513008 513000 513025 513054 513073 513056 513029 512975 513099 513060 513075 513145 513280 513375 513500 513642 513709 513747 513841 513972 514035 514152 514298 514387 514413 514559 514569 514606 514602 514673 514827 514871 515014 515153 515241 515258 515341 515471 515568 515700 515846 516127 515962 516098 516138 516128 516167 516171 516382 516409 516418 516366 516374 516386 516453 516436 516466 516884 516928 516966 516951 517078 517118 517084 517128 517059 517140 517129 517134 517156 517363 517174 517199 517171 517187 517126 517171 517161 517151 517137 517105 517296 517263 517265 517245 517278 517316 517327 517286 517592 518090 518241 518227 518146 518039 518131 518159 518291 518156 518085 518255 518235 518220 518171 518188 518197 518191 518186 518188 518169 518213 518173 518200 518177 518151 518371 518344 518370 518320 518313 518304 518272 518319 518263 518285 518192 518753 518490 518550 518513 518493 518512 518519 518523 518461 518502 519290 518590 518620 518628 518829 518904 519041 519146 519257 519370 519496 519520 519607 519737 519818 519931 520084 520164 520181 520345 520372 520361 520389 520365 520438 520573 520663 520798 520947 521011 521015 521130 521268 521297 521436 521569 521659 521682 521841 521830 521857 521862 522064 522144 522138 522167 522185 522197 522197 522153 522104 522225 522212 522262 522362 522479 522571 522706 522838 522917 522934 523030 523213 523221 523374 523493 523582 523606 523765 523753 523780 523770 523891 524049 524089 524216 524342 524417 524440 524559 524694 524770 524894 525055 525112 525202 525267 525327 525313 525349 525361 525601 525599 525586 525578 525559 525568 525641 525643 525709 526104 526143 526212 526193 526267 526279 526241 526279 526248 526359 526285 526307 526330 526339 526361 526370 526375 526357 526301 526340 526377 526336 526315 526260 526500 526468 526458 526480 526456 526509 526498 526470 526479 526650 526760 526850 526997 527072 527108 527192 527311 527432 527535 527654 527773 527959 527956 527926 527951 527976 528062 528202 528282 528407 528542 528644 528669 528739 528862 528960 529081 529254 529338 529360 529523 529558 529548 529586 529591 529814 529776 529867 529788 529803 529803 529811 529850 529877 529912 530082 530203 530258 530397 530511 530549 530605 530763 530882 530969 531137 531217 531273 531440 531465 531478 531558 531518 531508 531630 531787 531852 532006 532128 532179 532216 532362 532522 532581 532761 532856 532884 532984 533153 533144 533181 533227 533222 533437 533423 533449 533490 533502 533505 533505 533511 533520 533469 533533 533563 533579 533647 534280 534257 534197 534250 534180 534212 534206 534209 534198 534195 534330 534255 534247 534275 534257 534378 534362 534426 534414 534385 534458 534460 534489 534983 535071 535155 535047 535163 535157 535253 535133 535077 535205 535321 535173 535254 535294 535322 535342 535332 535336 535264 535552 535390 535348 535336 535238 535493 535470 535442 535441 535441 535501 535488 535465 535504 535508 535519 535536 535527 535520 535532 535544 535537 535559 535554 535557 535546 535542 535603 535553 535526 535523 535465 535514 535515 535515 535515 535532 535525 535538 535521 535513 535471 535476 535488 535438 535432 535695 535759 535678 535716 535742 535742 535748 535734 535711 535968 535733 535768 535716 535697 535805 535805 535794 535872 535818 536148 537916 537922 538218 538058 538042 538218 538204 538228 538366 538102 538335 538156 538133 538152 538232 538274 538277 538295 538295 538385 538253 538409 538388 538349 538379 538286 538567 538546 538557 538428 538398 538426 538433 538367 538316 538369 538258 538315 538301 538316 538330 538320 538381 538343 538334 538330 538347 538354 538350 538356 538328 538335 538325 538319 538317 538261 538331 538346 538308 538329 538327 538318 538330 538314 538329 538264 538273 538254 538231 538440 538777 538776 538687 538677 538586 538672 538663 538675 538659 538611 538532 538633 538588 538574 538554 538526 538530 538716 538994 538651 538634 538663 538675 538585 538788 540724 539350 539228 539265 539186 539265 539273 539276 539290 539226 539369 539206 539208 539183 539153 539152 539575 539308 539250 539261 539256 539292 539355 539575 539543 539497 539516 539498 539559 539565 539608 539615 539626 539461 539743 539735 539882 539985 540089 540200 540326 540347 540430 540570 540647 540761 540914 540994 541009 541177 541214 541192 541219 541195 541284 541401 541493 541628 541760 541839 541856 541937 542120 542127 542280 542399 542488 542512 542672 542660 542687 542692 542903 542982 543002 542997 543015 543022 543044 542983 542934 543053 543062 543082 543172 543309 543401 543515 543669 543747 543764 543860 544005 544051 544183 544332 544411 544453 544590 544596 544623 544600 544712 544856 544919 545033 545170 545256 545280 545387 545522 545587 545737 545859 545941 546093 546101 546158 546148 546179 546191 546464 546448 546437 546384 546387 546400 546451 546472 546539 547105 546973 547060 547023 547089 547105 547071 547289 547036 547151 547109 547173 547160 547175 547187 547216 547183 547186 547257 547492 547181 547171 547145 547090 547321 547284 547288 547349 547286 547343 547338 547300 547366 547516 547647 547737 547882 547935 547994 548066 548214 548305 548403 548527 548662 548661 548841 548812 548838 548863 548948 549089 549169 549294 549427 549532 549555 549606 549750 549846 549968 550143 550232 550247 550432 550431 550435 550476 550478 550697 550663 550704 550681 550708 550694 550698 550737 550764 550799 550954 551103 551161 551284 551381 551439 551492 551629 551778 551856 552026 552115 552147 552329 552339 552372 552348 552424 552394 552517 552667 552738 552893 553008 553084 553103 553249 553405 553455 553609 553719 553764 553871 554015 554030 554068 554081 554146 554282 554310 554342 554389 554390 554396 554397 554386 554388 554356 554420 554450 554492 554534 555133 555102 555096 555093 555093 555120 555100 555117 555102 555082 555041 555142 555134 555162 555144 555244 555249 555302 555323 555272 555345 555347 555376 555915 555958 555974 555932 556089 556095 556122 556020 555964 556078 556038 556060 556141 556181 556209 556229 556213 556259 556151 556271 556283 556235 556223 556125 556383 556345 556350 556328 556328 556388 556375 556352 556409 556395 556410 556424 556414 556475 556437 556431 556424 556441 556448 556444 556450 556422 556429 556419 556413 556411 556352 556425 556440 556402 556423 556421 556412 556424 556408 556411 556358 556367 556348 556325 556339 556570 556586 556565 556592 556630 556623 556637 556619 556598 556556 556623 556626 556603 556584 556713 556692 556705 556699 556704 557035 557027 557154 557270 557373 557517 557568 557612 557704 557844 557924 558040 558175 558294 558302 558508 558430 558501 558491 558589 558742 558787 558912 559062 559168 559174 559235 559373 559464 559602 559762 559842 559879 560031 560074 560046 560105 560107 560316 560282 560323 560304 560300 560305 560402 560374 560382 560492 560615 560738 560829 560946 561055 561106 561176 561303 561441 561518 561685 561773 561819 562017 562017 562014 562022 562053 562051 562191 562340 562424 562595 562683 562715 562785 562908 563066 563134 563309 563378 563427 563531 563679 563700 563723 563749 563765 563956 563994 564022 564031 564052 564057 564051 564037 564043 564001 564077 564107 564119 564573 564718 564820 564733 564750 564822 564751 564743 564755 564739 564732 564703 564777 564804 564813 564793 564947 564905 564993 564989 564982 564993 565002 564993 565096 565241 565296 565428 565577 565657 565679 565807 565927 566000 566120 566278 566358 566394 566522 566573 566560 566597 566603 566685 566818 566920 567059 567215 567298 567335 567412 567587 567658 567791 567909 568037 568047 568124 568266 568274 568314 568328 568488 568506 568567 568581 568600 568617 568606 568613 568618 568598 568660 568649 568701 568684 568776 568924 569029 569156 569327 569399 569444 569512 569668 569788 569920 570031 570086 570143 570249 570415 570409 570431 570454 570453 570585 570760 570830 570968 571084 571111 571220 571251 571425 571507 571627 571722 571919 571938 572054 572237 572305 572276 572332 572332 572345 572361 572382 572604 572561 572582 572650 572636 572658 572617 572628 572687 572708 572707 572773 573225 573238 573301 573322 573357 573371 573375 573357 573350 573346 573415 573437 573455 573462 573469 573485 573476 573545 573509 573495 573469 573456 573451 573464 573475 573462 573457 573435 573477 573554 573609 573672 573631 573640 573620 573823 573689 573700 573682 573735 574418 574404 574362 574400 574334 574420 574448 574472 574397 574396 574377 574503 574488 574565 574531 574469 574475 574491 574482 574526 574553 574515 574475 574462 574474 574470 574481 574468 574463 574441 574586 574580 574620 574780 574707 574717 574639 574612 574627 574658 574641 574617 574624 574632 574748 574742 574782 574944 574886 574919 574846 574819 574842 574873 574861 574832 574840 574848 574905 574965 574941 574922 575538 574937 575320 576843 576927 576942 576873 577014 577142 577130 577042 576912 577038 577008 577074 577182 577203 577245 577266 577254 577239 577344 577275 577323 577248 577263 577113 577344 577329 577313 577310 577301 577392 577456 577457 577485 577505 577509 577631 577501 577509 577541 577565 577587 577585 577567 577591 577565 577591 577671 577649 577637 577623 577565 577639 577677 577649 577653 577687 577703 577709 577685 577661 577513 577799 577577 577509 577468 577803 577744 577729 577750 577783 577791 577794 577774 577742 577699 577788 577782 577735 577727 577825 578050 577831 577847 577854 577876 577885 577874 577899 577920 577929 577904 577928 577943 577936 577943 577951 577954 577952 577947 578007 577965 577974 577973 577926 577962 577967 577978 577990 577994 577991 577979 577992 577993 577989 578001 578036 578048 578018 577999 577950 577978 577998 578010 577990 577991 577984 577926 577986 577953 577948 578041 578016 577973 577951 577914 577949 577933 577926 577842 577942 577918 577957 577955 577987 578001 578035 578011 578004 577956 577952 577934 577929 577931 577938 577942 577959 577989 577966 577959 577938 577922 577921 577933 577937 577931 577926 577904 577936 577897 577903 577946 577902 577908 577889 577850 577875 577881 577806 578084 578458 578468 578426 578461 578607 578544 578583 578511 578508 578475 578555 578535 578513 578512 578503 578520 578537 578570 578540 578530 578509 578494 578505 578535 578504 578503 578491 578473 578430 578683 578580 578599 578716 578558 578562 578564 578533 578589 578582 578619 578852 578827 578913 578878 578831 578832 578816 578804 578999 578942 578899 578938 578928 578922 578923 578811 579078 581273 581455 581515 581116 581036 581379 581407 581467 581347 581124 581549 581345 581326 581280 581604 581520 581574 581652 581598 581964 581838 581730 581730 581628 581694 581808 581813 581851 581861 581682 581565 581603 581624 581525 581529 581533 581599 581587 581596 581692 581689 581707 581629 581671 581728 581695 581734 581740 582016 581764 581731 581911 581803 581836 581842 581779 581812 582010 581968 581875 581992 581893 581914 581893 581827 581863 581755 581728 581644 582469 582237 582374 582313 582285 582350 582353 582287 582301 582205 582175 582439 582286 582128 582122 581961 582004 582305 582327 582266 582234 582172 582268 582272 581981 582012 582021 582233 582059 582055 582065 582047 582072 582085 582087 582097 582103 582116 582120 582122 582113 582141 582116 582112 582105 582118 582110 582131 582131 582139 582114 582124 582142 582137 582150 582168 582199 582172 582182 582160 582128 582125 582162 582133 582132 582120 582102 582127 582074 582108 582133 582155 582107 582099 582071 582089 582085 582075 582024 581949 582048 582118 582085 582079 582125 582129 582313 582097 582110 582098 582085 582143 582056 582073 582075 582088 582097 582138 582087 582085 582056 582075 582072 582104 582074 582073 582054 582014 582062 582060 582059 582073 582065 582059 582040 582079 582005 581999 581857 583019 582736 583002 582902 582870 583005 583028 582896 582924 582901 582829 583194 582996 582816 582828 582657 582714 582722 582735 582753 582784 582757 582767 582728 582713 582710 582747 582746 582717 582705 582687 582651 582981 582953 582940 582943 582925 582853 582830 582798 582863 582841 582840 582781 582827 582680 583069 583031 583037 583046 583060 582994 582975 582951 582983 582994 582993 582935 582981 582936 582969 583000 582983 582950 582917 582961 582965 582869 582678 583935 583793 583773 583649 583565 583756 583755 583763 583727 583735 583603 583973 583634 583796 583670 583598 583602 583592 583606 583615 583656 583605 583603 583574 583593 583590 583622 583585 583591 583572 583532 583906 583931 583836 583798 584449 583920 583767 583745 583755 583790 583778 583767 583793 583904 583645 584136 584040 584008 584079 584063 584042 584001 584003 584033 584021 584010 584039 584014 584001 584083 584042 584032 583966 583941 583978 583990 584629 584387 584291 584259 584339 584343 584338 584297 584327 584357 584345 584334 584363 584338 584380 584393 584408 584394 584345 584321 584358 584370 584449 584482 584476 584466 584453 584535 584532 584495 586089 748022 757152 763484 763483 758811 711406 656217 656148 656430 656251 656463 656577 656445 656565 656429 656582 656524 656539 656806 656976 657066 657106 657051 657081 657206 657126 657146 657376 657076 656700 656935 656933 656913 656931 656857 656958 656904 657128 657204 657204 657376 657460 657464 657228 657356 657388 657368 657496 657508 657604 657424 657768 657572 657520 657372 657792 657908 657884 657828 657896 657944 657944 657768 657508 657764 657532 657340 657677 657637 657740 657680 657774 657786 657748 657765 657701 657730 657739 657669 657612 657791 657800 657730 657749 657703 657975 658062 658086 658203 658152 658194 658080 658191 658260 658248 658308 658257 658329 658443 658371 658272 658326 658143 658803 658329 658356 658380 658341 658392 658296 658458 658416 658443 658482 658455 658476 658569 658536 658521 660081 658488 658653 658662 658689 658641 658542 658434 658452 658506 658371 658224 658608 658815 658734 658617 658800 658854 659016 658848 658641 658788 658566 658557 658719 658677 658704 658722 658647 658668 658689 658656 658641 658878 658584 659208 658788 658812 658713 658797 658482 658524 658497 658200 658767 658819 659102 658710 659004 659052 659001 659055 658914 659088 658919 658867 658897 658905 658902 658933 658923 658916 658877 658935 658914 658919 658888 658866 658763 659064 659030 659029 659459 658929 658991 658918 658866 659317 659151 659207 659178 659116 659115 659121 659099 659143 659169 659145 659087 659261 659255 659253 659323 659349 659379 659289 659367 659473 659367 659429 659463 659483 659395 659551 659467 659441 659337 659455 659503 659529 659557 659545 659587 659493 659539 659557 659601 659617 659611 659637 659617 659721 659673 659647 659621 659561 659829 659759 659769 659651 659621 659613 659643 659537 659449 659491 659529 659495 659531 659549 659603 659547 659635 659617 659603 659637 659663 659693 659649 659751 659721 659701 659687 659661 659629 659663 659651 659681 659691 659709 659685 659719 659745 659723 659753 659751 659767 659737 659757 659857 659811 659845 659795 660005 659805 659865 659909 659833 659859 659873 659863 659853 659823 659685 659749 659737 659681 659713 660059 660325 660103 660155 660087 660097 660135 660101 660069 660035 660095 660003 659995 659983 660123 660081 660053 659981 659963 659933 660005 659883 659335 659711 659939 659811 659849 660035 660077 660263 660149 659735 659929 659769 659939 660003 659979 660059 660031 660071 660015 660235 660127 660163 660131 660279 659845 660511 660149 660095 660009 659923 659991 659955 659955 659979 659977 660029 660039 660051 660123 660035 660065 660043 660069 660073 660073 660071 660009 660141 660013 660035 660075 659809 659967 660039 660011 659997 660037 660009 660023 660041 659965 659987 659909 659891 659809 660019 659869 659955 659919 659883 659919 659895 659909 659893 659825 659873 659835 659807 659725 659673 659673 659633 659587 659531 659423 659343 660363 660297 660527 660385 660565 660637 660511 660661 660387 660550 660445 660374 660487 661273 660547 660574 660562 660604 660523 660667 660670 660685 660589 660499 660386 660905 660826 660850 660713 660659 660694 660664 660570 660626 660635 660663 660673 660686 660682 660646 660671 660684 660688 660709 660701 660714 660702 660634 660661 660677 660664 660634 660677 660638 660672 660661 660684 660675 660676 660664 660656 660627 660611 660602 660593 660484 661217 661003 661046 661029 660938 660944 660946 660934 660868 660863 660869 660916 660895 660826 660688 660812 660835 660769 660772 660738 660702 660718 661282 661340 661308 661202 661229 661231 661231 661202 661195 661097 661199 661219 661177 661141 661222 661555 661237 661178 661154 661214 661317 661283 661307 661232 661235 661282 661293 661241 661311 661337 661327 661351 661356 661380 661377 661419 661412 661393 661402 661411 661437 661410 661461 661432 661435 661387 661434 661459 661435 661470 661487 661501 661470 661480 661486 661492 661512 661526 661515 661492 661543 661533 661524 661517 661502 661596 661567 661576 661529 661582 661525 661545 661486 661460 661476 661506 661497 661515 661517 661541 661507 661538 661552 661562 661556 661568 661554 661558 661602 661586 661581 661561 661570 661527 661584 661570 661585 661599 661589 661650 661612 661603 661599 661616 661623 661619 661628 661617 661655 661645 661639 661646 661611 661683 661698 661660 661681 661679 661670 661682 661666 661681 661617 661626 661607 661596 661613 661840 661858 661816 661812 661760 661795 661788 661801 661784 661768 661692 661763 661778 661734 661714 661758 661740 661731 661729 661707 661718 661762 661565 661609 661632 661621 661670 661656 661680 661635 661672 661677 661692 661700 661696 661710 661683 661731 661748 661716 661703 661688 661718 661724 661725 661757 661771 661759 661736 661752 661764 661759 661777 661773 661778 661803 661770 661827 661794 661805 661807 661815 661790 661833 661811 661835 661836 661839 661831 661820 661802 661792 661785 661769 661871 661733 661747 661731 661756 661777 661796 661761 661790 661800 661793 661800 661808 661811 661809 661827 661864 661846 661831 661837 661783 661811 661824 661835 661845 661851 661864 661859 661827 661850 661846 661860 661893 661905 661875 661856 661807 661835 661855 661917 661847 661848 661876 661783 661846 661810 661805 661872 661841 661830 661808 661771 661806 661832 661783 661699 661799 661775 661814 661812 661846 661858 661892 661844 661823 661813 661809 661791 661786 661789 661795 661799 661810 661846 661823 661836 661795 661823 661794 661790 661794 661788 661783 661761 661793 661750 661760 661803 661759 661765 661746 661727 661757 661755 661663 661542 661734 661889 661727 661717 661825 661745 661721 661757 661688 661714 661645 661763 661726 661719 661719 661664 661671 661675 661692 661722 661699 661712 661671 661655 661654 661666 661670 661664 661659 661637 661757 661688 661688 661750 661762 661685 661683 661667 661648 661679 661662 661628 661631 661615

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