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

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

BK_START 1401986631689

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: 690 NrTr: 1434)

net check time: 0m0sec

place and transition orderings generation:0m2sec

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

690 1124 1765 1763 1765 2887 2887 3408 4328 4829 5235 6167 6474 7011 7671 8244 8860 9318 10155 10656 11350 12045 12402 12583 12903 13108 13387 14772 14780 14781 15010 15616 16155 16912 17060 17043 17281 17724 17721 17777 17796 17850 18122 18543 19088 19835 19976 20023 20028 19836 19631 19826 19842 19845 20121 20664 21231 21965 21947 21727 21542 21585 21619 21665 21691 21941 22241 22680 23003 22891 22763 22618 22667 22668 23084 23441 23765 23841 23740 23613 23650 23731 24245 24345 25375 25409 25135 24601 24410 24410 27715 28667 28736 28792 29247 29795 31138 31927 32585 32953 34333 34653 35270 35603 36051 36918 37798 38432 38846 39135 39635 39868 40020 41994 42415 43986 45207 45428 45991 46498 47190 47476 47597 48254 48478 48630 48855 48806 49034 49385 50391 50708 50730 51195 51732 52129 52388 54682 55825 54606 54472 54776 54913 55247 55444 55482 55928 56057 56136 56754 57292 58287 59379 59435 59726 59546 59568 59591 59579 59823 59800 60015 59714 59707 59461 59686 60120 59671 59824 59359 60002 59574 59453 59706 59796 59967 60158 60065 60527 60671 60618 61657 62260 63823 64111 64546 64146 63784 63975 63484 63525 63910 63250 63248 62802 63501 62823 62934 63116 63294 63650 63697 64151 64272 64140 65220 65836 67570 67909 68034 67462 67522 67038 66635 66572 66331 66177 66215 66271 66321 66518 66625 66584 66934 67005 66967 67609 67923 68424 68536 68071 67686 67425 67130 66810 66858 66808 66786 67121 67441 67673 67816 67808 68112 68287 68899 68317 68251 67638 67211 66765 66706 66710 66927 66904 67062 66902 67180 67378 67316 67703 67330 67291 67259 67191 68076 67413 68090 67916 67736 67603 67666 67816 67903 67998 68101 68113 68368 69007 69306 68751 68562 68690 68766 68850 68942 69150 69150 69176 69410 70034 70333 69962 69591 69653 69801 69887 69981 70083 70193 70204 70462 70924 71280 70849 70832 70701 70819 70890 71056 71151 71154 72072 71395 72148 71775 71771 71570 71666 71794 71870 72046 72046 72967 72255 72924 73164 72609 72417 72539 72612 72782 72879 72984 72985 73018 73038 73106 73155 73614 74194 75566 77614 78238 78463 78851 79299 79602 80028 80284 81179 81805 81937 82070 82796 82828 82925 83099 83601 84145 84805 84866 85135 85044 85208 85221 85318 85109 85089 85247 84962 85291 84952 85054 84857 85172 84845 84835 84711 84886 85420 85667 85523 85498 85513 85535 85691 86103 86261 86205 86496 86874 86615 86445 86442 86378 86563 87006 87081 86928 86916 86923 86929 87228 87462 87680 87678 87511 87510 87441 87894 88590 88676 88645 88637 88675 88728 88933 89210 89259 88891 88955 88950 88885 89509 88887 89308 89255 89076 88925 88943 88943 88943 88943 88943 88943 88957 89179 89154 89151 88959 89010 89010 89010 89010 89010 89010 89032 89323 89881 89418 89215 89082 89082 89082 89082 89082 89059 89060 89338 89896 89433 89232 89083 89083 89083 89083 89083 89080 89089 89304 89279 89276 89087 89141 89141 89141 89141 89141 89130 89134 88456 88605 88337 88333 88189 88203 88203 88203 88203 88203 85981 86149 86520 86705 86761 87072 87516 89170 89735 91781 92381 94391 94972 95313 95841 96237 97598 99026 99840 100495 100762 102003 102428 103872 105567 106406 109339 111142 111496 111782 112519 112912 113799 113732 114744 115418 115680 116277 115873 116121 116925 118722 119575 119503 119516 121241 122419 122525 127078 128440 129202 126663 127390 127904 128759 128568 128736 128726 129681 130025 130407 131467 132446 133715 133929 134128 134114 134474 134159 133688 133881 133343 133372 132701 133110 132301 131518 132122 131569 131191 132387 132316 131330 131216 131097 131702 131648 131752 132237 132755 132929 133786 133792 135700 136645 136825 136903 136221 135967 135853 135645 135419 136423 135117 135224 134776 134448 134241 134353 134474 135093 136066 135954 137126 137650 137559 138633 140016 140704 141183 140741 140255 140059 139952 139350 138784 139046 138192 138488 138528 138611 139075 139209 138974 139733 139845 139793 140499 140711 141000 140766 140368 139964 139394 138657 138503 138525 138113 138797 139724 139650 140712 141236 141102 140755 141275 140982 140015 139981 139890 139941 140565 140390 140346 140575 140987 141115 141562 141373 141123 140977 140914 140564 140695 140958 142291 141404 140910 140772 140864 140910 141002 141048 141048 142194 141169 142531 141880 141399 141244 141288 141376 141420 141508 141508 142925 141645 143023 143134 141878 141690 141808 141867 141926 142044 142103 142103 142106 142220 142484 143748 142952 142433 142289 142371 142453 142494 142535 142531 142628 142895 144228 142863 142847 142723 142831 142885 142939 142993 143047 142927 143028 143339 144560 143264 143248 143118 143220 143271 143322 143424 143197 142812 142832 142909 142966 143277 143799 146733 149978 152103 152730 152522 152872 153294 153613 154046 155725 156105 156883 157073 158206 158762 159179 160006 161365 162456 163661 164104 164337 164772 164681 165233 165104 165227 165273 165310 165520 165091 165174 165111 165272 165718 165552 165599 165862 165556 166707 167484 168317 168354 168121 168400 168453 168530 169093 169518 170245 170177 170335 170172 170008 169975 169642 170767 171092 171577 171656 171418 171106 171105 171134 171896 171872 171952 172378 172321 171911 171998 171888 171453 172168 174074 174904 175035 175231 174142 174117 174263 174441 175054 175221 175738 175115 175317 174854 174679 174642 174263 175179 174268 175528 175021 174465 174300 174317 174317 174317 174317 174317 175146 174561 175593 174534 174530 174360 174376 174376 174376 174376 174376 174392 174684 176199 174596 174580 174416 174431 174431 174431 174431 174408 174422 174704 176219 175191 174597 174469 174469 174469 174469 174469 174466 175603 174461 175883 175203 174648 174471 174485 174485 174485 174485 174474 174582 173491 174431 173372 173368 173222 173235 173235 173235 173235 173235 171013 171113 171502 171571 171627 171937 172387 174423 175648 177958 178494 180489 181045 181393 181923 182237 184012 185703 186979 187719 188127 189948 190583 190653 194107 194830 198087 200116 199957 200683 201422 201762 203123 202855 203890 204971 204649 205268 206036 205753 206892 209215 210409 210387 210505 211680 214328 214230 219682 219668 222790 219036 220443 221250 222559 221987 222217 222189 223579 224044 224445 225568 226513 227749 227964 228162 228133 228404 228027 227341 227587 226953 227000 226221 226734 225486 224247 225187 224291 223728 225635 225375 223803 223653 223158 224161 224039 224143 224619 225428 225555 226422 226191 227815 228482 228586 228488 227850 227586 227483 227230 226896 227986 226498 226605 226087 225641 225248 225400 226176 226844 225292 225151 226428 227562 227664 229348 230224 229931 231240 231988 232886 233084 233122 232892 232743 232469 231887 231165 231719 230923 230996 231224 231322 232203 232036 232098 233100 233035 232708 233634 233972 233827 233477 232782 232368 232000 231910 231486 232595 234243 233682 235951 236563 236468 236006 236178 235313 234562 234663 234646 234744 235693 235416 235532 236420 236352 235951 236470 236339 235972 235897 235394 235522 235524 237425 237491 235754 235559 235657 235706 235804 235853 235902 235902 236021 236286 238180 236254 236238 236104 236200 236248 236296 236392 236392 236528 236534 238438 238642 237578 236569 236653 236695 236779 236821 236863 236866 236976 237240 239134 237208 237192 237053 237145 237191 237283 237329 237329 237421 237424 239329 239533 238469 237454 237532 237571 237649 237688 237727 237607 237707 239617 239817 238753 237923 237806 237916 237971 238026 238136 237995 237531 237551 237628 237685 237995 238554 242503 246639 249657 249644 249995 250311 250772 251017 251349 253826 254036 255268 255403 256667 257667 258881 258812 262179 263247 265405 266704 266453 267384 266859 267281 267910 268397 268706 268074 269043 267946 267622 268319 268380 269040 270311 269807 270655 270581 271946 273831 274936 275222 275735 275887 275934 275970 277282 277182 277411 278950 278909 278649 278699 278651 278001 279334 280048 281141 281353 281595 280598 280586 280616 280637 281743 281758 282734 282420 282616 282205 281976 281890 281066 284374 285828 288052 288422 286880 286411 286738 287210 288517 288144 288846 288907 288653 287962 287765 287518 286554 286556 286560 286783 286758 286755 286564 286597 286597 286597 286597 286597 286609 286611 286836 289201 287831 286613 286644 286644 286644 286644 286644 286658 286661 286889 289254 287884 286664 286692 286692 286692 286692 286692 286669 286687 286980 289284 286892 286876 286712 286712 286712 286712 286712 286720 286720 286946 289311 286918 286720 286750 286750 286750 286750 286750 286714 285915 285640 287940 285548 285532 285367 285367 285367 285367 285032 283145 279966 279563 279408 279201 279160 279512 282219 282924 285189 285644 287695 287956 288258 288681 288944 290793 292553 293705 294383 294518 296240 297067 296768 300255 300046 304289 305159 305945 306355 307273 307122 308824 308748 309270 310685 310135 310951 311758 311264 312627 315055 315196 316170 316343 317554 320363 320789 324886 326431 331292 326275 328138 329098 330439 329788 330103 329884 331151 331831 331376 333051 333835 334934 335247 335524 335452 335476 335396 334636 334795 334195 334078 333311 334247 332353 331728 331868 330507 330074 330211 331953 332205 330313 329982 330629 330409 330432 330260 331511 331736 332511 331818 333536 334061 334254 334105 333740 333599 333416 333279 332782 333388 332219 331355 332420 330627 330791 330790 331818 330624 330527 330384 331820 333465 332909 334844 336495 336915 336798 338244 338432 338621 338351 338201 337520 336948 336668 337593 336629 336933 337095 338291 337643 337616 337652 338585 338636 338782 339201 339389 339222 338752 337688 337370 337388 336854 338029 339673 339663 340827 342387 342199 341124 341490 341191 340330 339869 340003 340230 341523 340724 340632 340522 341510 341584 342154 341822 341553 341068 340983 340569 341351 340573 342943 341572 340765 340577 340577 340577 340577 340577 340577 340577 340577 342965 342679 341589 340577 340577 340577 340577 340577 340577 340577 340601 340601 342987 342871 341611 340601 340601 340601 340601 340601 340601 340601 340604 340612 340847 342897 340815 340799 340620 340620 340620 340620 340620 340620 342429 340600

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