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

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

BK_START 1400461764840

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: 104 NrTr: 605)

net check time: 0m0sec

place and transition orderings generation:0m0sec

init dd package: 0m0sec


RS generation: 32m5sec


-> reachability set: #nodes 459024 (4.6e+05) #states 406,034,376 (8)



before gc: list nodes free: 1900614

after gc: idd nodes used:459126, unused:15540874; list nodes free:71355780
STATE_SPACE 406034376 3051203628 27 1 TECHNIQUES DECISION_DIAGRAMS


total processing time: 34m14sec


BK_STOP 1400463819035

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

1801 1932 3620 3734 3835 6975 7129 7239 7394 7459 9016 7680 7721 7745 13603 13772 13896 14058 14160 14191 14366 14443 14593 14737 14771 14897 14945 18559 17247 15236 15329 15339 15387 15328 15329 15377 15367 15401 23980 24111 24244 24365 24443 24559 24690 24809 24944 25009 25187 25175 25215 25290 25456 25561 25702 25786 25849 26028 26121 26276 26412 26445 26575 26616 26615 26667 26921 26903 26881 26884 26875 26937 26945 33707 33117 29118 29255 29246 29320 29382 29318 29260 29317 29349 29382 29393 29411 29377 29368 29389 29392 29369 29354 29527 29498 29501 29492 29513 29563 29537 43880 44034 44155 44312 44363 44474 44647 44731 44882 44956 45133 45139 45161 45218 45418 45481 45660 45759 45776 45939 46068 46211 46321 46378 46553 46587 46569 46610 46813 46856 46829 46824 46790 46832 46863 46960 47054 47188 47313 47449 47521 47650 47799 47910 48066 48148 48292 48341 48354 48386 48386 48486 48644 48762 48912 48989 49041 49199 49313 49433 49567 49607 49713 49714 49771 49919 49979 50120 50193 50181 50229 50245 50240 50230 50309 50296 50352 50348 50404 50889 51098 50921 50923 50968 50956 50969 50972 51038 51037 51037 51009 50955 51133 51173 51187 51210 51223 51197 64116 64884 63576 56631 56736 56670 56779 56830 57141 56718 56812 56827 56945 56903 56955 56955 56973 57079 57037 56985 56965 56881 57065 57131 57096 57087 57144 57136 57157 57160 57198 57181 57196 57184 57206 57207 57208 57199 57206 57245 57193 57202 57181 57145 57153 57190 57158 57178 57186 57186 57171 57183 57154 57140 57135 57125 57278 57324 57397 57390 57378 57391 57377 57431 57414 57415 57415 57355 57446 57443 57503 57523 57877 81375 81372 81510 81650 81701 81809 81981 82071 82229 82294 82468 82474 82500 82567 82738 82821 82991 83098 83114 83277 83394 83562 83660 83717 83875 83925 83903 83948 84157 84194 84167 84162 84128 84201 84201 84275 84441 84562 84706 84823 84915 85022 85166 85284 85440 85522 85617 85718 85732 85761 85782 85861 86013 86141 86287 86365 86416 86574 86688 86808 86923 86983 87074 87068 87128 87276 87333 87477 87554 87538 87589 87603 87597 87586 87666 87646 87695 87691 87740 88225 88284 88257 88259 88304 88292 88301 88303 88363 88405 88373 88345 88291 88464 88509 88523 88562 88559 88533 88552 88751 88840 89003 89128 89155 89304 89424 89570 89705 89758 89937 89974 89966 90001 90026 90197 90314 90472 90581 90638 90740 90912 90982 91143 91240 91277 91332 91366 91502 91595 91716 91783 91795 91851 91870 91868 91864 91854 91934 91950 91978 91946 92025 92197 92319 92470 92581 92617 92752 92911 93010 93142 93211 93254 93308 93335 93490 93555 93589 93753 93861 93991 94106 94166 94255 94387 94497 94579 94646 94693 95001 95056 95106 95239 95304 95334 95384 95473 95542 95550 95696 95725 95686 95714 95671 95722 96140 96238 96214 96290 96318 96306 96270 96350 96330 96379 96401 96404 96415 96454 96434 96528 96555 96434 96481 96445 96389 96358 96511 96518 96577 96646 96614 96645 96658 96639 96637 96648 96890 97326 97279 98041 97237 97340 97335 97347 97294 97397 97390 97374 97371 97380 97392 97406 97413 97654 97543 97461 97478 97425 97386 97355 97616 97550 97568 97650 97773 97700 97665 97660 97608 97557 97732 97706 97743 97759 97900 97889 97863 97870 97824 97789 97852 97954 97930 97953 97926 97900 124542 126334 126305 125569 112414 112599 112579 112685 112725 112817 112617 112713 112688 112831 112870 112921 112939 112972 112858 113023 112966 112948 112894 113018 113013 112989 113012 113053 113069 113146 113170 113194 113222 113226 113172 113234 113226 113294 113260 113268 113330 113324 113232 113266 113294 113330 113338 113334 113344 113382 113408 113390 113296 113326 113316 113306 113174 113421 113449 113425 113468 113481 113496 113466 113561 113534 113492 113486 113482 113538 113531 113571 113601 113555 113602 113599 113630 113628 113624 113644 113654 113646 113663 113670 113664 113703 113661 113655 113671 113647 113683 113682 113712 113717 113714 113691 113711 113718 113725 113768 113746 113824 113808 113730 113786 113737 113696 113667 113710 113667 113711 113739 113767 113726 113689 113643 113608 113630 113662 113647 113639 113698 113680 113694 113657 113656 113644 113662 113660 113663 113709 113811 113774 113777 113706 113739 113672 113673 113632 113655 113612 113637 113634 113643 113631 113635 113606 113591 113606 113431 114209 114191 114173 114216 114267 114288 114270 114179 114262 114243 114249 114251 114266 114306 114288 114291 114394 114369 114257 114291 114247 114212 114208 114285 114383 114637 114388 114373 114361 114382 114336 114321 114322 114410 114551 114552 114660 114702 114610 114638 114650 114626 114619 114565 114687 114687 114706 114570 114805 151513 151647 151783 151906 151972 152092 152228 152552 152478 152553 152726 152697 152740 152865 153012 153118 153276 153321 153405 153578 153685 153855 153956 153992 154135 154155 154183 154201 154422 154430 154393 154413 154616 154451 154494 154557 154736 154818 154980 155130 155165 155293 155423 155559 155716 155763 155925 155971 155962 156000 156000 156145 156278 156440 156554 156647 156707 156864 156953 157095 157201 157250 157312 157340 157476 157551 157572 157732 157869 157839 157856 157834 157843 157832 157905 157923 157953 157945 158507 158571 158538 158538 158498 158539 158534 158541 158535 158583 158621 158612 158576 158627 158700 158753 158762 158796 158807 158820 158901 159073 159158 159318 159392 159463 159621 159729 159901 159993 160049 160218 160256 160212 160261 160354 160518 160618 160818 160899 160932 161054 161200 161319 161429 161495 161584 161596 161647 161794 161855 162005 162074 162064 162110 162129 162120 162127 162123 162187 162268 162239 162316 162356 162499 162622 162779 162863 162905 163056 163189 163319 163438 163493 163579 163731 163592 163766 163834 163899 164056 164155 164297 164403 164462 164564 164674 164785 164889 164910 165144 165289 165341 165431 165514 165573 165591 165729 165763 165772 165840 165973 165968 165908 165944 165914 166215 166385 166579 166499 166570 166526 166544 166507 166580 166598 166632 166643 166647 166666 166680 166687 166782 166753 166642 166702 166667 166616 166575 166732 166783 166821 166874 166846 166874 166887 166892 166881 166856 167457 167553 167515 167506 167477 167553 167529 167550 167595 167560 167593 167585 167587 167602 167642 167624 167822 167795 167828 167634 167663 167686 167590 167554 167762 167767 167853 168008 168004 167894 167879 167882 167822 167720 167964 168056 167949 168038 168132 168113 168079 168103 168034 168019 168084 168146 168153 168181 168135 168500 168567 168744 168818 168989 169061 169129 169292 169407 169572 169664 169728 169861 169917 169883 169932 170012 170191 170289 170445 170570 170603 170721 170871 170973 171109 171166 171212 171267 171293 171465 171526 171676 171745 171735 171781 171800 171791 171798 171794 171858 171939 171910 171865 172032 172176 172299 172456 172537 172582 172731 172866 172992 173105 173169 173253 173273 173269 173443 173517 173576 173733 173832 173974 174080 174129 174241 174360 174470 174564 174587 174758 174966 175018 175108 175191 175250 175271 175502 175453 175449 175517 175650 175635 175610 175639 175594 175641 176064 176124 176150 176227 176203 176229 176184 176257 176275 176306 176320 176324 176343 176430 176378 176455 176430 176319 176365 176344 176293 176252 176421 176460 176498 176618 176523 176547 176564 176569 176558 176533 176758 176767 176880 177053 177144 177202 177334 177492 177587 177722 177795 177848 177890 177919 178075 178134 178149 178334 178441 178578 178687 178752 178834 178971 179082 179165 179232 179279 179557 179628 179661 179829 179884 179897 179953 180109 180096 180119 180265 180294 180304 180283 180241 180280 180387 180551 180632 180793 180866 180906 181028 181138 181259 181350 181381 181608 181752 181798 181949 181977 182039 182051 182125 182257 182365 182448 182554 182640 182838 183146 183170 183321 183492 183537 183535 183641 183691 183739 183865 183858 183898 183972 183960 183882 183908 184029 184035 184155 184206 184450 184507 184409 184352 184464 184360 184247 184213 184248 184368 184366 184363 184396 184336 184311 184540 184897 184955 185079 185151 185134 185168 185311 185477 185528 185596 185713 185662 185674 185614 185693 185710 185762 185778 185792 185828 185846 185862 186043 185980 185827 185905 185931 185897 185873 186042 186093 186183 186184 186178 186184 186177 186202 186273 186168 186213 186198 186207 186229 186233 186280 186381 186402 186432 186416 186374 186261 186179 186217 186246 186276 186337 186290 186389 186414 186251 186212 186172 186351 186346 186437 186475 186564 186496 186639 186606 186484 186503 186504 186475 186698 186596 186622 186666 186630 186620 186624 186648 186602 186696 186672 186634 186578 186537 186874 188667 188766 188591 188669 188735 188788 188818 189280 188814 188761 188714 188780 188792 188816 188939 188879 189176 189164 189011 188975 188954 189041 189053 189871 189181 189283 189266 189478 189465 189415 189273 189323 189243 189157 189173 189176 189213 189197 189214 189236 189353 189302 189308 189364 189338 189219 189196 189211 189246 189332 189305 189271 189353 189343 189297 189178 189176 189407 189436 189506 189539 190167 189861 189792 189672 189827 189655 189540 189443 189539 189706 189705 189698 189665 189693 189602 189457 189527 189581 189514 189437 189401 189386 189327 189597 189843 189976 189949 189995 190363 190267 190207 190183 190325 190208 190095 190063 190160 190330 190307 190294 190285 190299 190214 190213 190308 190407 190400 190387 190386 190328 190247 190299 190261 190365 190457 190443 190430 190534 190422 190437 190419 190448 190290 238538 242333 245434 244846 244598 244467 244277 240854 222496 222787 223004 222899 223834 223023 223078 223040 223024 223203 223239 223307 223367 223319 223287 223439 223471 223415 223335 223405 223397 223382 223389 223437 223445 223501 223615 223666 223729 223735 223660 223687 223711 223738 223786 223771 223750 223828 223813 223798 223819 223624 223897 223945 223912 223939 223945 224182 223939 223927 223837 223864 223711 223850 223859 223844 223867 223901 223896 223903 223868 224096 223931 224000 223913 223883 223957 223955 224027 223997 224070 224092 224118 224146 224154 224124 224194 224188 224208 224242 224248 224268 224256 224154 224198 224230 224234 224258 224298 224312 224322 224304 224302 224306 224334 224416 224380 225228 224522 224414 224438 224412 224454 224468 224460 224472 224448 224548 224724 224602 224500 224546 224426 225246 224590 224666 224682 224774 224726 224778 224688 224690 224636 224658 224686 224694 224732 224906 224802 224950 224886 224658 224778 224708 224606 224524 224658 224670 224706 224906 224674 224696 224716 224712 224688 224592 225194 225165 225262 225309 225332 225386 225347 225302 225356 225324 225333 225330 225339 225351 225365 225372 225457 225548 225369 225393 225326 225327 225289 225416 225371 225400 225445 225509 225414 225437 225438 225427 225401 225318 225643 225642 225693 225779 225732 225735 225930 225692 225675 225668 225742 225751 225811 225738 225688 225716 225711 225722 225745 225705 225743 225742 225763 225768 225765 225772 225754 225749 225750 225755 225769 225792 225776 225804 225795 225802 225814 225802 225813 225829 225843 225850 225993 225876 225861 225850 225887 225879 225804 225855 225917 225884 225984 225962 225906 225924 225862 225817 225842 225857 225881 225883 225885 225861 225882 225886 225897 225932 225925 225993 225988 225917 225959 225955 225950 225938 225965 225953 225964 225980 225998 226021 226111 226152 226088 226166 226120 226096 226016 226001 226004 226031 226137 226064 226140 226150 226084 226004 225982 226004 226033 226053 226120 226267 226296 226200 226121 226298 226124 226011 225964 226021 226165 226060 226038 226119 225996 225846 225914 225950 225901 225824 225788 225773 225714 225364 225494 225586 225536 225601 225622 225619 225564 225565 225542 225580 225574 225596 225616 225644 225658 226007 225750 225662 225648 225722 225740 225689 225746 225753 225770 225787 225759 225770 225755 225765 225776 225715 225740 225747 225754 225779 225904 225813 225935 225875 225878 226001 225919 225806 225772 225806 225797 225823 225900 225841 225911 225919 225784 225752 225718 225702 225698 225782 225877 225818 225735 225874 225844 225719 225730 225722 225702 225594 225682 225664 225729 225648 225645 225634 225627 225557 225621 225583 225527 225469 225404 225300 225847 225976 225916 226112 226094 226112 226034 226132 226012 225952 226014 226008 226056 226239 226158 226133 226414 226354 226045 226255 226171 226177 226147 226436 226422 226475 226609 226507 226513 226491 226449 226445 226463 226393 226401 226408 226426 226426 226447 226465 226603 226531 226542 226589 226567 226448 226746 226464 226467 226565 226534 226539 226589 226819 226437 226414 226453 226690 226722 226853 226872 226954 226843 227012 226967 226845 226861 226974 226777 228844 226814 226781 226870 226866 226835 226775 226767 226741 226790 226698 226762 226712 226668 226596 226545 226785 226824 226784 226876 227117 227000 226913 227033 227099 226945 226986 227034 227057 227097 227167 227122 227185 227134 227103 227092 227085 227065 227070 227165 227207 227238 227252 227165 227146 227132 227120 227236 227252 227296 227251 227185 227095 227067 281823 281986 282093 282254 282346 282403 282561 282659 282798 282954 282998 283131 283149 283184 283308 283442 283586 283703 283795 283889 284033 284151 284307 284389 284484 284585 284599 284628 284649 284816 284861 284829 284833 284834 284888 284923 285033 285200 285290 285451 285581 285603 285767 285876 286032 286148 286205 286382 286415 286396 286454 286463 286608 286733 286909 286989 287046 287186 287340 287422 287567 287638 287684 287730 287776 287930 287993 288060 288187 288218 288259 288269 288287 288274 288276 288339 288592 288388 288344 288911 288974 288983 288981 288985 288978 288983 288978 289037 289039 289036 289041 289010 289130 289155 289173 289203 289246 289231 289265 289359 289506 289612 289770 289815 289912 290085 290192 290362 290463 290499 290640 290662 290690 290708 290826 290967 291091 291248 291328 291360 291501 291656 291770 291883 291947 292023 292052 292061 292231 292292 292459 292507 292507 292545 292562 292590 292560 292616 292616 292667 292662 292708 292808 292943 293085 293217 293297 293367 293537 293642 293764 293868 293928 294024 294012 294076 294219 294264 294378 294533 294613 294769 294840 294876 295009 295120 295239 295328 295362 296058 295749 295768 295919 295951 296010 296021 296189 296184 296207 296279 296385 296395 296354 296373 296332 296685 296840 296886 296919 296963 296999 296973 296951 297014 297040 297073 297068 297077 297089 297103 297110 297220 297163 297130 297091 297103 297051 297091 297163 297231 297271 297300 297330 297304 297299 297316 297335 297290 297891 298068 297946 297951 297991 297989 298010 297998 298033 298040 298001 298022 298020 298036 298073 298066 298164 298676 298133 298109 298070 298082 298030 298033 298156 298291 298259 298329 298363 298351 298272 298297 298252 298278 298341 298362 298464 298491 298556 298540 298528 298531 298471 298540 298523 298587 298610 298613 298561 298915 299088 299246 299351 299499 299555 299652 299825 299927 300102 300201 300239 300378 300402 300430 300448 300551 300707 300837 300991 301083 301100 301241 301376 301508 301618 301742 301763 301792 301801 301971 302032 302193 302277 302273 302285 302302 302309 302300 302317 302356 302407 302402 302448 302538 302689 302818 302963 303043 303125 303270 303378 303510 303614 303674 303770 303758 303820 303966 304010 304265 304278 304370 304515 304586 304622 304755 304854 304985 305098 305106 305324 305495 305514 305665 305697 305755 305767 305968 305927 305953 306025 306131 306141 306100 306119 306101 306431 306586 306656 306665 306711 306725 306723 306697 306760 306783 306817 306814 306823 306835 306849 306856 307049 306909 306854 306837 306849 306797 306837 306915 306963 307017 307046 307029 307050 307045 307062 307081 307036 307128 307301 307413 307584 307682 307720 307855 307999 308117 308231 308293 308406 308409 308429 308582 308643 308696 308873 308952 309101 309225 309283 309383 309489 309591 309703 309741 309783 310103 310152 310218 310330 310407 310417 310581 310546 310616 310623 310772 310843 310752 310799 310743 310788 310908 311067 311175 311307 311376 311410 311553 311664 311783 311865 311895 312161 312276 312311 312472 312491 312542 312551 312664 312772 312874 312953 313077 313168 313464 313652 313664 313901 314003 314045 314031 314124 314184 314253 314368 314305 314432 314461 314404 314386 314390 314698 314618 314599 314649 314861 314939 314872 314815 314920 314833 314707 314676 314766 314824 314835 314835 314912 314818 314783 315130 315362 315421 315529 315566 315602 315627 315776 315964 316025 316064 316118 316124 316133 316092 316153 316186 316241 316251 316241 316273 316301 316315 316516 316539 316340 316318 316392 316376 316433 316505 316573 316613 316661 316633 316646 316641 316658 316677 316656 316662 316663 316672 316695 316709 316731 316853 316795 316796 316864 316837 316711 316687 316698 316732 316824 316799 316759 316832 316838 316696 316670 316636 316798 316849 316901 317069 317022 316949 317101 317073 316932 316964 316963 316944 316953 317061 317070 317133 317068 317062 317073 317091 317055 317134 317112 317071 317018 316970 317321 318976 319217 319092 319058 319225 319235 319235 319103 319294 319156 319188 319236 319245 319302 319350 319347 319665 319692 319446 319449 319410 319473 319476 319660 319672 319675 319697 319929 319900 319819 319780 319704 319648 319623 319611 319618 319628 319643 319659 319677 319810 319737 319754 319801 319779 319664 319646 319652 319679 319781 319736 319765 319801 319739 319655 319636 319586 319801 319988 319935 320163 320394 320245 320124 320117 320219 320087 319968 319904 319981 320151 320146 320136 320132 320108 320024 319899 319994 319996 319935 319870 319852 319865 319758 320429 320323 320453 320391 320622 320854 320731 320591 320628 320786 320642 320531 320500 320657 320801 320813 320773 320752 320728 320644 320654 320783 320836 320832 320844 320870 320763 320689 320744 320728 320923 320890 320866 320863 320855 320855 320865 320862 320894 320721 320855 321047 321129 321289 321440 321476 321604 321734 321870 322011 322074 322236 322282 322273 322311 322337 322482 322601 322777 322885 322984 323044 323201 323290 323430 323538 323587 323649 323677 323820 323882 323909 324071 324720 324159 324183 324171 324184 324169 324242 324260 324290 324282 324337 324500 324612 324786 324877 324941 325067 325225 325299 325455 325526 325571 325679 325652 325822 325867 325880 326057 326172 326309 326418 326483 326565 326702 326813 326896 326962 327010 327288 327359 327392 327560 327615 327628 327684 327768 327827 327850 327991 328025 328035 328014 327972 328011 328462 328561 328495 328608 328602 328608 328582 328652 328645 328668 328689 328687 328703 328740 328733 328811 328841 328734 328758 328714 328679 328661 328786 328802 328866 328936 328888 328935 328951 328922 328921 328930 328942 329135 329265 329429 329563 329610 329703 329878 329956 330096 330216 330264 330370 330334 330431 330552 330582 330698 330998 330965 331097 331166 331200 331354 331456 331573 331657 331685 331956 332066 332079 332262 332298 332332 332341 332524 332510 332558 332668 332720 332712 332697 332673 332649 332756 332926 333031 333162 333266 333326 333434 333548 333660 333739 333806 333853 334161 334268 334282 334400 334463 334477 334478 334637 334739 334856 334964 335060 335130 335461 335599 335642 335972 335957 335962 336036 336115 336149 336194 336291 336263 336371 336490 336295 336298 336313 336488 336488 336542 336778 336879 336801 336720 336838 336774 336697 336634 336649 336743 336749 336762 336769 336752 336690 336827 337271 337424 337441 337466 337526 337563 337539 337864 337975 337951 338033 338081 338066 338045 338092 338079 338120 338163 338171 338193 338263 338249 338405 338397 338236 338320 338312 338302 338278 338485 338495 338518 338587 338539 338586 338599 338580 338572 338582 338592 338587 338593 338609 338624 338648 338815 338781 338707 338795 338749 338701 338632 338630 338633 338678 338773 338670 338769 338779 338686 338639 338607 338724 338726 338785 338853 339004 338876 338956 339022 338931 338878 338847 338856 338876 338955 338951 339053 339054 338993 339010 339118 339010 339045 339076 339038 338983 338962 338869 339243 339401 339514 339687 339778 339834 339968 340126 340221 340356 340429 340482 340580 340553 340709 340768 340783 340968 341075 341212 341321 341386 341468 341605 341716 341799 341866 341913 342191 342262 342295 342463 342518 342531 342587 342743 342730 342753 342899 342928 342938 342917 342875 342914 343058 343221 343302 343463 343536 343576 343698 343808 343929 344020 344051 344278 344422 344468 344619 344647 344709 344721 344796 344928 345036 345119 345225 345311 345509 345817 345841 345992 346168 346208 346195 346301 346351 346399 346525 346518 346558 346632 346620 346542 346558 346671 346677 346797 346848 347092 347149 347051 346994 347106 347002 346889 346855 346890 347010 347008 347005 347038 346978 346947 347136 347493 347551 347675 347747 347730 347764 347735 347888 348023 348165 348275 348316 348385 348546 348637 348890 348796 348859 349147 349228 349234 349423 349463 349487 349498 349652 349761 349872 349959 350076 350175 350489 350620 350646 350959 350993 351021 351027 351119 351170 351241 351343 351319 351447 351433 351359 351353 351365 351424 351560 351663 351742 351854 351947 352075 352444 352467 352696 352785 352870 352823 352927 353008 353082 353223 353465 353574 353921 353930 353927 353940 354095 354101 354112 354247 354139 354158 354216 354297 354328 354567 354558 354535 354677 354688 354471 354437 354432 354549 354567 354658 354589 354583 354575 354627 354751 355573 355695 355725 355858 355904 355930 355892 355850 356116 356511 356481 356543 356654 356704 356643 356722 356743 356709 356745 356705 357104 357124 357219 357303 357597 357870 357630 357495 358135 357825 357648 357522 357442 357554 357706 357742 357675 357757 357774 357618 357551 357767 357870 357860 357830 357904 357793 357676 357750 357853 358042 358360 358324 358275 358252 358245 358259 358149 358170 358096 358094 358234 358251 358190 358187 358157 358050 358039 357973 358326 359732 359862 359832 359926 359990 359970 359942 359978 359965 360006 360127 360082 360115 360220 360199 360423 360410 360178 360304 360235 360277 360310 360843 360453 360476 360545 360497 360544 360557 360538 360530 360540 360634 360624 360636 360668 360698 360746 361080 361012 360864 361040 360948 360852 360746 360716 360722 360812 360988 360796 360994 361014 360828 360734 360684 360698 360742 360759 360827 360982 360931 360930 360996 360950 360853 360821 360830 360857 360929 360925 361021 361028 360969 360968 360984 360984 360993 360981 360992 361008 361026 361047 361139 361185 361120 361194 361147 361124 361047 361049 361066 361092 361193 361168 361239 361294 361192 361148 361139 361282 361252 361235 361304 361229 361224 361243 361298 361311 361529 361481 361446 361550 361551 361293 361226 361205 361292 361290 361372 361282 361267 361246 361248 361422 361625 361636 361591 361488 361359 361328 361169 361072 361234 361352 361257 361280 361268 361174 361091 361107 361069 360977 360973 360892 361433 361414 361522 361600 361671 361918 361636 362124 362204 361952 361894 361730 361809 361785 361975 361985 361961 362123 362108 361960 361912 361905 361943 362055 362048 362179 362283 362133 362117 362131 362053 362066 362159 362248 362324 362307 362249 362117 362040 362074 362632 362321 362306 362290 362303 362235 362234 362277 362201 362199 362221 362225 362176 362237 362180 362216 363749 364004 363893 363857 363863 364021 364031 364041 363863 363959 363982 364046 364088 364657 364598 364304 364738 364812 364716 364168 364552 364552 364480 364432 364712 364656 364885 364896 366486 364940 364841 364907 364778 364556 364716 364710 364758 364857 364836 364977 365280 365193 364959 365385 365259 364920 364683 364797 364884 364974 365160 365016 365313 365274 364899 364782 364671 365177 365001 365054 365136 365597 365714 365506 365255 365549 365313 365113 365004 365010 365228 365281 365253 365256 365306 365122 364969 364844 364832 364843 364859 364877 364900 364990 365036 364971 365045 364999 364975 364898 364900 364917 364944 365044 365019 365090 365145 365039 364999 364990 365133 365103 365086 365155 365080 365075 365094 365149 365162 365380 365332 365297 365401 365402 365144 365077 365040 365143 365145 365223 365133 365118 365097 365096 365321 365599 365656 365591 365552 365443 365435 365470 365282 365194 365289 365424 365377 365339 365311 365257 365178 365153 365145 365046 365226 364979 365506 365623 365720 366018 365848 366561 366653 366326 366020 366716 366412 366126 366030 365902 366047 366283 366544 366533 366341 366375 366240 366071 365975 366149 366507 366487 366437 366447 366449 366249 366113 366180 366119 366284 366590 366716 366683 366569 366456 366391 366381 366300 366276 366292 366186 366186 366274 366262 366197 366181 366135 366030 366007 365912 365732 366298 366239 366395 366469 366966 367405 367118 366695 366980 367242 367081 366631 366550 366541 366707 367062 366991 366935 366907 367001 366829 366671 366776 367089 367149 367164 367143 368462 366961 366754 366808 366836 366924 367106 367446 367395 367309 367291 367276 367316 367169 367163 367162 367085 367018 367153 367217 367100 367125 367077 366951 366924 366876 367204 367256 367401 367364 367299 367440 367328 367182 367129 367241 367254 367277 367295 367835 367740 367720 367696 367663 367656 367615 367616 367580 367590 367521 367601 367563 367489 367439 367365 367340 369095 473423 478594 481907 481103 479778 480070 479835 479200 479211 478779 478629 472552 448356 448577 448521 448683 448743 448953 448582 448677 448648 449704 448933 448958 449023 449118 448928 449203 449128 449078 448988 449044 449040 449015 449038 449079 449087 449288 449336 449400 449456 449448 449340 449452 449448 449536 449516 449512 449608 449612 449460 449528 449648 449716 449672 449680 449684 449760 449780 449760 449588 449648 449628 449608 449344 449535 449563 449539 449579 449595 449590 449580 449636 449630 449606 449600 449570 449652 449645 449685 449716 449669 449827 449818 449911 449905 449893 449962 449974 449959 450010 450043 450013 450130 450004 449986 450034 449962 450082 450067 450160 450124 450163 450136 450202 450223 450196 450313 450259 450502 450466 450223 450382 450349 450355 450310 450496 450367 450499 450583 450667 450556 450457 450331 450247 450610 450706 450661 450646 450814 450760 450802 450691 450688 450808 450694 450700 450724 450838 450862 451042 451051 450838 450820 450736 450739 450616 450859 450679 450724 450745 450772 451027 450748 450691 450679 450706 450337 451183 451165 451147 451190 451241 451325 451244 451266 451236 451217 451223 451225 451240 451276 451267 451265 451368 451343 451231 451265 451226 451186 451155 451323 451347 451388 451362 451347 451335 451339 451310 451295 451296 451384 451519 451526 451622 451676 451584 451612 451624 451600 451576 451539 451663 451682 451673 451542 451722 451764 451810 451800 451824 451826 451866 451854 451870 451860 451874 451944 451900 451858 451870 451876 451908 451938 451958 451986 452006 451938 451976 451974 451998 452064 452068 452188 452212 452070 452134 452088 452114 452110 452152 452112 452116 452228 452350 452272 452106 452156 452076 451992 452078 452072 452108 452144 452118 452120 452136 452150 452186 452204 452220 452378 452316 452182 452260 452282 452252 452228 452280 452276 452308 452342 452360 452518 452656 452598 452442 452726 452642 452416 452258 452334 452392 452452 452576 452480 452678 452652 452402 452324 452250 452562 452452 452490 452524 452980 452928 452670 452766 452644 452572 452362 452452 452486 452508 452478 452400 452428 452266 452160 452358 452290 452454 452378 452440 452400 452430 452088 452112 452120 452154 452256 452298 452274 452096 452132 452116 452168 452176 452236 452396 452324 452644 452616 452372 452728 452368 452436 452456 452686 452538 452562 452662 452612 452600 452584 452580 452524 452524 452522 452516 452538 452558 452588 452620 453445 452922 452776 452902 452856 452824 452630 452780 452606 452660 452864 452774 452832 452904 452832 452612 452568 452168 452360 452448 452566 452814 452642 452624 452744 452712 452444 452418 452430 452450 452332 452354 452460 452494 452320 452276 452248 452248 452270 452322 452200 452106 451986 451834 451831 452241 452348 452558 452602 452530 452608 452474 452530 452459 452498 452540 452552 452615 452621 452663 452642 453213 453084 452625 452604 452715 452742 452707 452905 452906 453112 453104 452919 452975 453017 452973 452967 452937 452921 452928 452934 452954 452964 452984 453092 453115 453043 453190 453088 453138 452968 452948 452977 453038 453091 452991 453124 453114 452986 452972 452937 453443 453220 453232 453384 453570 453451 453341 453454 453463 453317 453302 453316 453308 453312 453362 453317 453382 453301 453300 453288 453280 453270 453267 453250 453272 453205 453156 453097 453007 453307 453296 453360 453410 453628 453410 453504 453574 453516 453500 453483 453495 453507 453599 453698 453672 453689 453604 453581 453566 453563 453578 453565 453691 453658 453742 453744 453669 453667 453637 453722 453742 453734 453763 453733 453645 453589 453713 453725 453741 453755 453753 453726 453767 453766 453789 453784 453783 453806 453807 453769 453773 453803 453803 453813 453814 453833 453838 453834 453853 453837 453840 453886 453891 453934 453945 453891 453907 453881 453910 453914 453920 453910 453944 453911 454015 453974 453927 453946 453893 453841 453916 453915 453945 453950 453947 453924 453944 453951 453958 454001 453979 454060 454048 453967 454037 454009 454011 454001 454023 454025 454033 454044 454063 454083 454187 454214 454142 454241 454187 454136 454070 454050 454079 454123 454193 454124 454322 454216 454124 454074 454042 454105 454117 454115 454165 454429 454405 454268 454194 454280 454186 454067 454002 454094 454139 454123 454097 454121 454041 453878 453985 453999 454074 454043 454122 454056 454052 454045 454067 454059 454076 454071 454078 454087 454084 454093 454105 454119 454126 454214 454168 454233 454126 454163 454155 454164 454191 454195 454203 454227 454237 454262 454384 454324 454327 454408 454368 454255 454229 454226 454249 454275 454336 454293 454363 454371 454236 454204 454146 454170 454188 454200 454205 454216 454234 454346 454369 454270 454392 454338 454268 454221 454246 454265 454287 454411 454310 454496 454492 454368 454325 454377 454477 454454 454421 454475 454379 454406 454462 454483 454505 454746 454576 454644 454773 454736 454455 454393 454432 454479 454525 454553 454454 454419 454409 454408 454570 454734 454678 454650 454556 454441 454412 454280 454244 454438 454469 454401 454419 454352 454242 454213 454222 454191 454100 454099 454013 454034 453960 454038 454074 454446 454556 454323 454126 454653 454478 454178 454154 454093 454143 454331 454276 454252 454300 454235 454094 454159 454359 454343 454282 454234 454300 454161 454073 454129 454229 454456 454524 454522 454386 454279 454262 454181 454127 454093 453983 454010 454098 454086 454021 454005 453959 453854 453831 453736 453660 453776 453834 453792 453927 453915 453951 453854 453849 453831 453907 453898 453910 453970 454018 454015 454272 454204 453897 454089 454089 454053 454029 454126 454119 454147 454245 454104 454127 454137 454135 454126 454075 454173 454177 454201 454247 454261 454345 454531 454543 454343 454627 454519 454369 454217 454241 454293 454355 454477 454381 454587 454553 454309 454229 454205 454043 454090 454113 454125 454230 454073 454349 454228 454136 454112 454089 454065 454060 454025 454022 454100 454089 454024 454006 454000 453937 453961 453979 453977 453996 454007 454025 454137 454160 454061 454183 454134 454059 454012 454048 454056 454078 454202 454101 454287 454283 454143 454116 454168 454268 454245 454212 454250 454170 454261 454253 454274 454296 454537 454415 454528 454564 454460 454246 454184 454223 454270 454316 454344 454245 454210 454200 454199 454409 454607 454531 454637 454435 454279 454263 454078 454042 454236 454281 454199 454216 454150 454040 454019 454020 453989 453898 453897 453810 453962 453974 454081 454068 454409 454343 454067 454600 454609 454242 454234 454150 454145 454154 454161 454148 454270 454364 454198 454182 454135 454092 454086 454185 454165 454357 454388 454200 454202 454153 454182 454087 454110 454243 454301 454214 454158 454035 453934 454041 454199 454171 454153 454140 454075 454028 454021 453993 453904 453906 453917 453836 453828 453831 453749 453190 455272 455422 455347 455337 455596 455546 455616 455431 455956 455456 455650 455548 455584 455866 455794 455807 456666 456198 455818 455890 455812 455938 455980 456212 456177 456415 456279 456520 456244 456277 456235 456289 456304 456185 456266 456284 456308 456368 456404 456527 456845 456665 456674 457088 456803 456458 456368 456371 456440 456518 456701 456560 456857 456806 456401 456305 456215 456515 456478 456542 456644 456916 456633 457169 456867 456711 456605 456538 456479 456459 456478 456490 456615 456649 456479 456433 456403 456403 456567 456449 456326 456343 456339 456360 456369 456389 456501 456524 456448 456547 456493 456423 456376 456396 456422 456435 456566 456496 456651 456647 456523 456480 456532 456632 456625 456576 456642 456534 456561 456591 456638 456660 456901 456731 456799 456928 456891 456610 456548 456587 456634 456744 456708 456623 456574 456564 456563 456821 457053 456957 456933 456887 456690 456687 456449 456413 456607 456638 456570 456588 456521 456478 456382 456391 456360 456269 456277 456181 456833 456684 456765 456806 456886 457325 456807 457286 457459 457735 457019 457024 457126 457054 456924 457275 457095 457369 457412 457147 457082 457093 457065 456985 457034 457216 457367 457260 457461 457575 457214 457159 457182 457141 457162 457412 457192 457531 457438 457245 457176 456969 456922 457025 457179 457120 457143 457084 457045 456977 456997 456948 456872 456881 456880 456801 456900 456771 456570 457948 457769 457794 457944 458029 458460 458026 458214 458530 458648 458159 458269 458276 458306 458134 458289 458236 458510 458561 458288 458294 458234 458281 458127 458178 458152 458511 458397 458677 458624 458358 458303 458326 458294 458317 458384 458336 458582 458596 458425 458407 458202 458124 458258 458398 458344 458372 458317 458278 458210 458230 458185 458118 458114 458202 458034 458091 458004 458244 458699 458429 458713 458814 458549 458518 458551 458526 458583 458638 458617 458692 458659 458753 458633 458560 458642 458760 458752 458749 458701 458686 458697 458659 458664 458719 458634 458663 458704 458639 458687 458696 458596 458441 459053
iterations count:5028950 (8312), effective:183475 (303)

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