Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-1668
Executing tool marcie
Input is PolyORBLF-PT-S04J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150501288
=====================================================================

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

BK_START 1401986949749

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: 712 NrTr: 4012)

net check time: 0m0sec

place and transition orderings generation:0m20sec

init dd package: 0m0sec


before gc: list nodes free: 411889

after gc: idd nodes used:167897, unused:15832103; list nodes free:66394843

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

712 1140 1553 2019 2569 3115 4233 4916 5808 6102 6732 7099 7629 8469 9083 9805 10662 11315 11940 12423 12753 13367 13724 14297 14643 14846 15510 15884 16453 17148 17143 17189 17172 17506 17379 17110 17147 17635 17814 18873 19155 18829 18933 19268 18865 18462 18471 18940 19522 20009 20214 20091 20011 19950 19975 20487 20847 21348 21626 21450 21270 21165 21236 21863 22046 22479 22674 22468 22260 22205 22799 23140 23346 23777 23481 23187 23114 23317 23451 23911 23852 23585 23606 23652 23684 23772 23776 23992 23992 24151 24733 24571 24318 24363 24427 24468 24521 24528 25155 24766 24935 25372 25104 25124 25143 25199 25285 25285 25500 25500 25683 26291 26132 25872 25914 25941 26013 26064 26064 26150 26302 26857 27006 27152 27296 27441 27580 27720 29306 29939 31240 31732 32630 33866 34759 35972 36316 36906 37227 37582 38148 38329 39161 39227 39173 39169 40558 41614 43850 45367 45944 47025 47133 47428 47895 48527 50121 50540 50896 51608 51630 51829 52683 53397 53604 54003 54763 54818 55029 55395 55780 55697 55893 56246 56428 56322 56511 56892 57514 57279 57289 57292 57493 57617 58228 58469 58435 58405 58989 60049 61756 62665 63617 63729 63911 63627 63867 64028 64230 64344 63953 63616 64048 63688 63339 63451 62507 62405 62326 61498 61371 60916 61278 61352 61446 62219 62187 62156 62538 62902 64677 65157 65663 65911 65574 65526 65252 65801 65000 64149 64218 63232 63242 62052 61901 61345 61582 61575 61699 62317 62333 62251 62933 63963 64437 64675 64791 64652 64777 64573 64371 63984 63611 63395 63104 63401 63352 63438 64057 64072 64007 64112 65038 65429 65869 66102 65922 65502 65373 64920 64435 64631 64680 64694 65160 65228 65168 65161 65696 66015 66322 66539 66319 65830 65356 65207 65556 65502 65700 65934 65957 65877 66428 66647 66157 66228 66228 66250 66926 67335 67253 66285 66310 66354 66376 66398 66420 66425 66470 66490 66716 67114 67226 66904 66524 66564 66584 66624 66644 66622 66694 66696 66715 67282 67802 67717 66731 66762 66796 66813 66830 66841 66810 66685 66702 66927 67325 67437 67106 66733 66743 66763 66773 66690 66230 66469 66879 67024 67173 67319 67608 67747 67887 68149 70768 71754 75403 75920 78741 78177 81453 82058 82368 82730 83126 84707 85006 85214 87240 87378 87207 87374 91966 93459 96764 99163 99941 101402 101693 103066 104378 106222 107746 107915 108227 108952 109117 110646 112925 113283 114129 115448 115759 116007 117299 117795 117593 117539 118344 119004 118528 118405 119291 120750 119895 119745 119759 120524 120545 120775 122560 122698 122527 122655 124100 126413 127522 129862 130497 131168 131510 131360 130364 131144 131506 131662 131365 131852 132404 132193 131669 130108 130385 129973 129420 129631 129483 129286 127946 127759 127582 127184 125310 125096 124910 124561 123242 124390 124591 124781 126729 126867 126680 126825 127950 130684 131100 132190 132951 132548 132672 132982 132177 131152 129080 129008 128735 127566 127282 124989 124713 123303 124054 123729 124562 125270 125426 125173 126199 127566 127764 127913 128227 128322 128319 128079 127813 126918 126039 125137 124490 125250 124853 125083 126242 126277 126082 126125 127288 127727 127868 128153 127924 127568 127144 126644 125606 126064 126166 125808 126625 126833 126616 126455 127220 127561 127297 126704 126520 127307 126929 127228 127681 127736 127386 128163 128240 127896 129477 127968 127990 129829 130194 128946 128023 128045 128089 128111 128133 128156 128160 128211 128230 128456 129811 129478 128243 128265 128280 128310 128325 128340 128321 129360 128408 128636 130238 129492 129028 128430 128464 128481 128515 128532 128497 128365 128370 128385 130226 130585 129917 128393 128405 128425 128445 128455 128035 127755 127752 128307 128456 128602 128746 128891 129030 129170 132969 134161 136546 139688 140805 142079 144201 146688 147268 147565 147978 150563 151141 151408 154698 154936 154668 154849 161709 163122 167386 170970 171840 173630 174021 176636 178370 179980 180571 181905 182582 182592 182816 185937 189552 189189 190751 192580 192752 194071 195425 195789 195542 195378 196522 197074 196538 196272 197552 199514 198081 197834 197856 199220 199355 199583 202194 202385 202181 202362 205403 206567 208894 210743 210748 212429 212365 212195 212058 212058 212517 212827 212116 212396 212246 212826 210853 209710 209880 209907 209174 209413 209354 208408 207184 206879 207021 205780 203255 202923 202775 202262 199848 202422 202435 202644 205970 206113 205951 206136 207525 210309 210682 212002 213276 212650 213301 213494 211993 209501 208460 207811 207285 206109 205196 202547 201815 200102 201292 200777 201444 202699 202759 202503 203586 205126 204769 205080 205537 205192 205382 205159 204894 203923 203512 201634 200174 201140 201314 200880 201974 202224 201932 201739 202651 203153 203399 203291 202860 201746 200895 202043 201557 201165 202418 202483 202036 201818 202843 202911 202530 201715 202736 202934 202013 202989 203248 202813 202362 203575 203527 203176 204367 203176 203519 206392 204795 203801 203176 203176 203176 203176 203176 203181 204379 203191 203407 206404 204807 203813 203191 203191 203191 203191 203191 203171 203172 203170 203168 206425 206193 205250 203166 203166 203166 203166 203166 203131 202677 201913 201562 203320 203587 202596 200514 200514 200514 200514 200514 198920 192618 192421 192831 192451 191565 191162 190678 190193 189824 192684 193860 197441 201708 201398 203189 205247 207944 208233 208566 209123 209352 212660 213016 213161 217379 217100 217099 220212 225087 226957 233111 235128 235743 237620 238185 242708 243007 244183 244368 246152 246519 246598 246976 251328 253375 254301 258211 258587 258535 260171 262054 262103 261353 261338 263193 263167 262270 262474 265570 266093 263909 263968 263984 265515 265726 266751 268783 268885 268734 269199 271865 273126 274717 276295 276446 278402 277935 277954 278483 278384 279545 279170 277718 278096 279223 278102 275186 274968 274909 275167 274453 275390 274858 273220 272168 272650 272382 270344 267839 267506 267296 266402 263820 266522 266810 267793 271250 270876 270851 270841 272975 273563 277044 276925 278136 279140 278635 278721 276935 272651 272891 272182 271727 270505 268347 266661 265529 264959 265189 264742 266430 266840 266403 266531 268390 268484 268780 269424 269607 269730 269166 268707 268903 268298 267183 266124 265401 264081 263688 264991 264218 264134 265648 265715 265085 265027 266373 266404 266743 266412 265890 264924 264035 265318 264607 264158 265407 265458 264768 264443 265391 265550 265169 264354 265444 265682 264457 265268 265562 264985 264240 265486 265445 265081 265081 265081 265290 268841 266720 265528 265081 265081 265081 265081 265081 265083 265095 265095 265095 268299 267817 267200 265095 265095 265095 265095 265095 265095 265076 266314 265080 265294 268845 266724 265700 265082 265082 265082 265082 265082 265047 264594 262900 262289 263832 263208 262549 260013 260013 260013 260013 260013 258419 247502 246849 247259 245292 244430 243253 241220 239186 237928 241680 243029 245507 249600 249834 250272 252398 255053 255342 255930 256232 256586 259081 259599 259914 263779 263361 262637 266401 270682 273825 278250 280636 282161 282747 284219 288102 288154 288871 288816 290739 291386 291018 291375 295913 298257 298933 303097 303373 303322 305016 306941 306994 306178 306145 308082 307997 307113 306841 311140 311052 308759 308831 308831 309997 310406 312336 313071 312770 312859 313167 315847 317856 318513 319807 320076 321858 321475 321387 322243 322254 323376 322132 321426 321695 322711 321366 318119 318262 318337 317633 318445 318369 316663 315534 315202 315793 313828 310996 310661 310561 309485 306770 309440 309084 309147 313337 313534 312384 312241 313750 316388 317801 318238 320543 319971 318058 318222 314860 313780 313224 312129 311386 308286 307486 305627 307050 306318 306908 308394 308614 308146 309220 310281 310243 310628 311639 311762 311488 311056 310918 310531 309588 309443 307921 306191 305368 306394 305933 305775 306977 307347 306812 306408 307643 307908 308227 308446 308026 307645 307275 306100 305550 306523 306093 305655 306493 306818 306069 305525 306365 306651 306448 305848 305545 306851 306000 305484 306214 306336 305199 304674 305925 305374 305374 305374 305374 308227 306951 306974 305374 305374 305374 305374 305374 305374 305379 305393 305397 305721 308762 306553 305987 305401 305401 305401 305401 305401 305380 307053 305382 305382 308974 306359 306332 305382 305382 305382 305382 305382 305377 304893 301766 300806 301095 299502 299336 296777 296777 296777 296777 296777 295183 279669 278388 278798 278304 274583 272670 268048 263425 261041 263666 264501 265745 272399 271608 272339 274127 276520 276834 277397 277746 280141 279296 279453 282811 283352 281756 281167 288797 289573 295441 297432 299189 299686 301161 304925 304920 305297 306733 307431 307263 307944 311671 315384 314686 317003 319025 319085 320999 322526 322792 322124 322188 323392 323864 323555 323074 326207 327015 325219 324740 324764 325560 325551 325751 327783 328078 327854 328087 330722 332344 334729 334751 335832 336502 335962 336978 336972 338038 336734 335960 335900 336687 335413 332160 332107 332339 331652 332487 332395 330438 329316 329234 329837 327875 325067 324798 324448 323569 320891 322365 321917 321918 325649 325171 323806 323128 324644 327548 328734 329992 330519 331034 328918 326821 325628 324832 324446 323252 321630 319692 318796 318438 318670 318167 319848 320257 319783 319898 321606 321845 322135 322876 323398 323518 322982 322804 322768 321975 321433 320050 319315 318167 317273 318517 317723 317624 319053 319140 318420 318360 319577 319750 320122 320089 319667 319249 318665 318056 317443 318835 317901 317818 318551 318686 317562 318566 318390 318546 318261 317530 317373 318588 317748 317217 317683 317635 316607 315923 317034 316501 316501 316501 316501 318748 317182 317482 316501 316501 316501 316501 316501 316502 316516 316516 316516 318760 317194 317494 316516 316516 316516 316516 316516 316516 316497 317739 316493 316835 319274 317193 317069 316491 316491 316491 316491 316491 316454 313148 310619 309527 309980 307606 307261 305353 305353 305353 305353 305353 303394 286389 285112 284618 281234 280116 277916 270932 263947 260824 263165 263595 266433 264730 264630 264697 264746 264866 264934 265065 265678 263519 262238 262055 262141 259814 257446 263034 264672 268806 270538 271207 272772 273207 276159 275657 275625 275669 275807 276403 276362 280067 283556 282755 285156 287169 287217 287501 290426 290792 290510 290269 291420 291810 291473 291123 292810 294994 293073 292784 292808 293247 292393 291300 291570 291546 290741 289589 290800 292449 293781 294654 295586 296228 295767 296744 296741 297693 297418 294012 294138 294750 293294 289801 289624 288335 287681 288472 288376 286691 285617 285335 285969 284039 281367 280977 280815 280198 277185 276422 275112 273798 273987 273915 270364 268800 268256 269912 270990 272178 273159 272858 271035 270469 266319 265484 264951 263856 262657 260270 259586 259019 259352 258400 258486 259013 258499 257717 257717 257791 257933 258272 258836 258709 257753 257440 257609 257041 256185 254854 254151 252917 252050 253243 252493 251873 252813 252748 251988 251337 251416 251490 251710 251465 250848 250425 249774 249131 248524 249758 248950 248330 249034 248984 248197 247444 247503 247481 247104 246063 245905 247056 246322 245502 245558 245524 244635 243215 242900 241429 241429 241429 241429 243614 241822 241429 241429 241429 241429 241429 241429 241434 242790 241443 241654 244219 241838 241443 241443 241443 241443 241443 241421 241424 241426 241428 243618 241826 241430 241430 241430 241430 241430 241430 241393 236366 235144 233871 231604 231312 229885 229885 229885 229885 229584 227529 209266 209492 208853 205108 203844 201471 184862 181331 181297 181332 181360 183750 181757 181388 181458 181567 181630 181745 181894 180838 179926 178644 178680 178665 175941 174352 180219 182114 184162 185980 186135 186708 188606 188014 186708 188075 187831 187696 191187 191871 193898 195590 195899 198648 198752 198497 199313 199425 199128 200586 200810 200596 200620 200869 200126 199002 199206 199182 198465 197313 198540 200192 202264 202077 202430 202902 202771 201997 200490 199692 197957 197624 196211 195554 195020 193989 193577 192279 190433 189920 188364 186511 185120 184847 184921 182758 180588 179896 181594 182255 182296 183092 182979 182653 182035 177372 177187 176400 176092 174816 174129 173305 172954 173036 172128 172731 172842 172512 171731 171754 171854 172112 171842 171394 171303 170718 169669 168943 167794 168654 168329 167710 168395 168366 167844 167121 167254 167363 167038 166576 166084 165290 165986 166144 165332 165156 165429 165394 164099 164099 164161 163609 162906 163831 163885 162996 162381 162454 162419 161230 160327 159557 158812 158786 158786 159103 160970 159104 158786 158786 158786 158786 158786 158788 158794 158798 158802 160881 159203 158806 158806 158806 158806 158806 158784 158763 158763 158763 160840 159162 158763 158763 158763 158763 158763 158763 158726 153730 152505 151232 150991 149024 148080 148080 148080 148080 147779 145724 128833 129060 128434 124684 123454 121153 104575 101167 101134 101168 101202 101506 101236 101211 101211 101537 101481 101211 101214 101214 101673 101214 101191 101189 101187 101489 101185 96501 96066 95556 94770 95284 95598 96682 96710 96744 97314 99369 99311 99626 99965 100347 100735 101110 101540 101912 102258 103057 103175 103610 104895 104099 104058 106579 106253 105790 106819 106965 106965 107092 108245 107948 107418 109585 109587 108787 108815 109705 109223 108904 110025 110105 109940 110521 111475 110966 110684 111470 111527 110964 111442 112588 112184 111582 114695 114782 114408 114738 116889 117592 118136 119449 119007 118925 119959 120087 120609 120366 120158 121788 121325 121074 121932 121696 122872 122478 122084 123049 122592 122331 123329 123581 123046 122888 123030 122724 122476 122949 115075 115577 115351 114917 114816 114344 113482 112179 112374 112763 112441 112792 112850 112859 112861 112868 112871 112870 112327 112253 111485 113202 112346 111496 111496 111764 113234 111814 111496 111502 111496 111496 111496 111620 111625 111586 111596 113309 113310 111600 111604 113404 112025 111608 111612 111617 111608 111608 111725 111732 111667 111676 113390 113393 111676 111676 113479 112100 111676 111682 111688 111676 111753 111753 111793 111746 113494 113461 111446 110327 109860 111204 109803 109455 109455 109455 109476 109557 109561 107599 107646 109495 110610 109938 109104 110460 112002 110885 111191 111572 112245 112614 112989 113081 114419 114035 113676 116427 116210 116045 117826 118733 118330 118535 119175 119053 119194 119223 120498 119529 120882 122422 121936 122010 121434 122213 121522 122113 122184 121899 121829 122277 123016 122443 122519 122884 123089 122376 122866 123524 123604 122888 123462 123462 122947 123603 123290 119468 119468 121042 119468 119468 121122 119959 119468 119468 119468 119482 119489 119468 119469 119467 121040 121039 119471 119475 121135 119972 119479 119483 119488 119479 119479 119522 119456 121027 120323 119458 119458 119844 121099 119785 119458 119458 119458 119458 119458 119452 118917 118866 118817 118062 117544 117754 116893 116383 116383 116394 116383 116383 115442 119828 119838 120198 120202 120211 120218 120232 120235 120240 120609 122078 123879 123885 123896 125145 126938 126946 126961 126968 128665 135112 135174 135275 138691 145320 143854 143645 144344 145178 145269 146094 146146 147054 147101 147167 148128 148201 148817 149702 149838 149883 150828 150963 151026 151029 151240 151388 153424 152840 151902 154499 156049 155487 155299 157105 156533 155515 157961 158155 157722 157554 159723 158509 157592 161449 161740 161193 161164 162410 161685 161208 162887 162937 162480 162535 169234 172728 172124 168996 176603 177485 174152 166278 166829 168664 171172 171539 172071 174604 173491 172516 173264 172967 172579 173989 173828 177932 178269 178505 188718 188329 187966 189336 188435 189965 190953 190945 191727 191935 191337 193732 192411 195441 196948 197263 197520 198394 197964 199704 198878 200814 200557 200800 201947 201560 201197 202660 201775 202895 203078 202447 203438 203781 202986 203840 203450 203182 203855 203550 203340 205026 204113 204931 205074 203896 203906

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S04J04T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/srv/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J04T08.tgz
mv PolyORBLF-PT-S04J04T08 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1668"
echo " Executing tool marcie"
echo " Input is PolyORBLF-PT-S04J04T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150501288"
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 ;