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

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

BK_START 1401986704723

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: 844 NrTr: 1812)

net check time: 0m0sec

place and transition orderings generation:0m4sec

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

844 1230 1471 2246 2246 2244 2246 3587 3587 4222 5242 5366 6274 6643 6899 7863 8212 8903 9956 10372 11099 11544 11997 12616 13031 13754 14322 14986 15324 16166 17257 17712 17914 18019 18147 18583 18863 19001 19232 19411 19413 21911 21927 21943 21991 22326 22658 22964 23409 23936 24372 24290 24232 24318 24349 24349 24528 24392 24362 24377 24417 24518 24616 24872 25234 25695 26328 26746 26792 26842 26830 26859 27014 26837 26856 26830 26845 26989 26996 27327 27677 28011 28444 28833 29079 29050 29118 29135 29135 29059 29048 29014 29029 29140 29140 29494 29784 30026 30524 30956 31180 30986 30819 30812 30793 30844 30796 30775 30835 30835 31237 31684 31961 32562 33269 33975 34073 34308 34375 34294 34208 34156 34002 34065 34078 34078 34587 34977 35098 35672 36386 37092 36905 36635 36125 35923 35856 35427 35429 35442 35442 35903 36287 36374 36953 37660 38366 38095 37977 37461 37046 36521 36477 36490 36649 37097 37398 37627 37710 38138 38233 38065 37743 37631 37632 42211 42211 43365 44091 44644 45483 47230 47944 48828 49589 50823 50790 52640 53649 56303 56706 57125 57557 58984 59439 59909 60669 60878 61264 61906 62055 62304 62634 62609 63397 63645 63831 63845 64062 66099 66700 67908 69821 71717 72071 72134 72519 73084 73071 73442 73338 73516 73537 73908 73857 73863 73984 73906 74089 74090 74393 74436 74280 74905 75078 75124 75140 75275 75760 75611 75646 75813 75893 75905 76019 76455 76287 76303 76477 76335 76628 76603 76784 83208 83158 83537 83721 83126 82927 82907 82909 82966 83175 83452 83591 83747 83709 84721 84751 84891 84946 84979 86934 87979 88321 90797 91715 92200 92241 92671 92954 92949 93262 93563 93296 93216 93336 93622 93506 93534 93667 93780 93749 93741 94046 93931 93968 94091 94198 94214 94509 94876 94638 94673 94772 94884 94851 94929 95361 95258 95258 95287 95197 95242 94547 94604 94616 94507 94740 94868 94864 95148 95015 94981 95716 95746 95960 95960 96717 96640 97760 97986 99748 100332 100383 100369 100764 100488 100561 100529 100362 100484 100498 100653 100599 100595 100626 100417 100491 100669 100672 100675 100701 100754 100744 101022 101029 100911 100981 101168 100952 100814 100966 100918 101231 101468 101437 101567 101815 101705 101667 102278 102308 102467 102513 102496 103892 104044 105061 105700 105985 105972 106158 106019 106001 106051 106080 106260 106294 106433 106305 106295 106316 106164 106174 106462 106156 106156 106128 106134 106191 106129 106060 105835 105880 105954 105899 106068 106271 106495 106872 106723 106749 106728 107351 107527 107665 107393 108098 108584 108902 109749 110103 110299 110285 110388 110372 110481 110291 110227 110207 110228 110136 110122 110162 110281 110318 110400 110482 110540 110186 110226 110064 110188 110213 110124 110368 110620 110800 111032 110906 110906 111955 112173 112268 112211 113610 113553 114644 115809 116908 117168 117258 117481 117755 117582 117475 117814 117901 117740 118037 118240 118279 118127 118017 117888 117983 118073 118085 118185 118198 118425 118689 118976 119038 118983 119986 120025 120278 120309 120772 120945 121267 122467 123262 123624 123471 123049 122625 122477 122328 121859 121437 121352 120824 120367 120279 120288 120300 120232 120245 120583 120856 121036 121097 121072 121071 122106 122330 122436 122655 122776 122379 122837 123483 123260 122596 121872 121676 121039 120622 120089 119984 119947 119959 119868 119881 120228 120331 120311 120501 120410 120353 120760 120790 120932 120982 120970 121657 121645 121234 121179 121178 121178 121144 121043 122500 121384 121906 122900 122930 121839 121823 121682 121766 121857 121955 122060 122172 122291 122417 122550 122556 122570 123507 122867 123624 124262 124302 123287 123267 123124 123205 123388 123490 123599 123715 123838 123968 123968 123982 125247 124262 125065 125733 125820 124728 124712 124558 124635 124810 124908 125013 125125 125244 125370 125371 125381 126662 125589 126242 126886 126973 125882 125866 125719 125819 125938 126047 126277 126414 126555 126701 126714 127514 126882 127613 128251 128291 127276 127256 127132 127224 127323 127429 127542 127662 127789 127923 128064 128064 128089 128321 128321 129154 129755 129795 128779 128537 128608 128771 128863 128962 129068 129181 129301 129428 129428 129430 129981 130200 132577 134269 134269 134673 136009 139845 142315 144870 148220 149980 151534 153499 154320 157759 161646 162029 162418 166061 166468 166879 167952 168408 169628 170124 170366 170801 170847 170948 174198 174486 174628 174590 177334 182051 183157 189930 192522 194276 194341 195021 195316 196318 196594 197191 197354 197292 197360 197221 197928 197896 198504 199029 199008 199013 199449 199953 198978 201142 201656 202153 202239 202695 202621 203215 203021 203485 204043 204002 203843 204476 204658 204711 204474 204222 204534 204121 204695 222472 222543 223328 224530 223137 222899 223089 223347 223667 224722 224973 224891 225010 225106 226589 227397 227662 227796 227817 230155 232628 233971 238146 239284 239610 239600 239921 239685 239669 239988 240448 240731 240964 241130 241469 241407 241353 241438 241286 241255 241218 240391 240478 240522 240923 240602 240712 240638 240603 240534 240570 240336 240194 239830 239560 239654 240308 240311 239925 240613 236407 236308 235829 235561 234977 235918 236267 236227 236360 236452 236362 238381 238338 238645 238650 240702 241372 242339 243588 245587 246145 246252 246305 246280 246420 246618 246625 246466 246395 246409 246635 246561 246548 246605 246099 246040 246353 246442 246498 246460 246614 246411 246812 246715 246592 246632 246570 246636 246270 246607 246442 245364 246491 246551 246522 246915 246862 246689 248096 248220 248548 248605 248526 251923 251841 253012 253759 254044 254118 254171 254230 254186 254221 253830 254409 254581 254469 254480 254500 254664 254064 254189 254352 254277 254320 254201 254321 254207 254270 253910 253419 253513 253627 252692 252881 253870 254612 255096 255049 255061 254923 256853 257024 257410 257185 258933 259551 259239 260152 260598 261038 260984 261236 261151 261214 261173 260931 260860 260868 260541 260688 260905 260810 260822 261236 260977 261008 261039 260833 260332 260387 260477 260270 259647 260884 261657 262408 262233 262269 266241 266403 266885 266773 267970 268103 268755 269978 271103 271711 272082 272154 272081 272232 272255 272376 272327 272468 272634 272974 273076 272920 272761 272636 272753 272587 272812 273047 273155 274394 275163 275304 275946 275801 275799 279733 280074 280372 280069 280465 280437 280992 281656 281751 281926 281096 280827 280415 280398 279724 279176 278832 278453 277920 277690 277648 277701 277618 277726 279022 279830 279971 280613 280284 280319 284225 284590 284875 284666 284471 284567 284794 284031 283746 283380 283251 283229 283332 283231 283306 284495 284783 284672 284611 284789 284619 286033 285967 286213 286150 288079 287971 287710 287620 287408 287404 287389 286238 286238 289085 286433 288259 290151 290174 287027 287010 286503 286643 286713 286783 286853 286923 286993 287063 287133 287135 287147 288712 287310 289136 291003 290915 287623 287887 287376 287504 287568 287632 287760 287824 287888 287952 287951 287950 289472

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