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

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

BK_START 1401987060611

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: 870 NrTr: 5034)

net check time: 0m0sec

place and transition orderings generation:0m40sec

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: 0m1sec

870 1198 1376 2048 2060 2068 3416 3443 3451 3459 3459 6147 6187 6203 6211 6211 6219 6219 6219 6219 11481 11481 11481 11481 11481 11537 11537 11537 12092 12687 13467 13467 15322 16167 16849 17320 17679 18623 19011 19410 19876 20305 20776 21675 22401 23237 23654 24129 24994 25748 26361 27071 27804 28037 28244 28472 29020 29273 29720 30173 30689 31396 31889 32340 32571 33061 33405 33564 34054 34775 35422 35606 35554 35519 35692 35853 35712 35578 35537 35396 35424 35944 36451 36720 36996 37895 38309 38290 38350 38575 38571 38353 38318 38278 38181 38209 38854 39180 39507 39749 40649 40896 40755 40696 40575 40487 40463 40515 40472 40954 41150 41425 41603 41991 42633 43066 42793 42746 42631 42669 42611 42605 42401 42838 43276 43733 43944 44321 45182 45936 46011 45719 45575 45578 45512 45426 45307 45316 45327 45864 46178 46691 46741 47199 47592 47477 47360 47382 47223 47146 47081 47671 47990 48132 48427 48617 49124 49256 49052 48884 48742 48673 48598 49202 49583 49941 50349 51233 51986 51994 51466 51117 51041 50701 50449 53032 53217 53399 53576 53753 56008 56008 56184 56683 56861 57040 57209 57378 57832 59720 59720 60544 63995 64807 65590 67597 69252 70503 70831 72103 72522 73281 73699 74130 74570 74837 75736 75799 75901 76020 76092 77728 77800 77812 77812 77783 77744 77887 79746 81662 81805 84497 86328 87458 89391 89453 89503 90362 90378 90380 90521 90671 92111 92151 92150 92838 92811 92795 93073 93554 94422 94634 95320 95793 96445 97310 97062 97080 97097 97638 97684 97606 97720 97870 98339 98365 98328 98805 98844 98731 98748 98899 99350 99438 99439 99710 99851 99734 99726 99889 101898 102104 102297 103076 103015 103118 103369 105237 105548 105635 106578 106541 106519 106781 106797 107795 107806 107794 108200 108126 108020 108002 108035 109008 108951 109083 109364 109272 109231 109277 109277 109521 109628 109651 109794 111280 111200 111265 111274 111274 111245 111244 111365 112554 113504 115070 116109 117623 117860 117951 117994 118153 118537 119026 119039 118942 118892 119132 118994 118683 118785 118767 118772 118760 118594 118656 118590 118602 118283 118212 118198 118074 117741 117705 117796 117801 117842 117830 117875 117922 118009 117991 117775 117809 117697 117576 117346 117165 117082 117058 116883 116845 117092 117209 117177 117330 118457 118615 118694 118665 118662 118625 118622 119497 120016 120552 121903 123158 123978 124134 124611 124565 124743 124869 124668 124455 124192 124257 124310 124531 124384 124418 124426 124315 124224 124180 124175 123862 123910 123967 124017 124097 124122 124201 124337 124091 124125 124023 123788 123581 123500 123439 123356 123586 123732 123705 123728 123840 124743 124956 124995 125002 125003 125001 124958 125702 126017 126396 127401 128438 129156 128821 128467 128209 128377 128332 128687 128712 128747 128759 128540 128734 128585 128466 128209 128226 128261 128283 128176 128211 128278 128001 128045 127980 127392 127409 127377 127116 127311 127889 127933 128112 128225 129793 130026 130093 130104 130075 130074 130031 131000 132316 132702 134915 137940 139364 139611 139620 140019 140137 140334 139970 140189 140127 140194 140331 140017 139988 139913 140305 139950 139944 140380 140326 140390 140347 139978 140201 139990 139911 140051 139384 139213 139081 138862 138412 138068 138045 138667 138481 138462 138523 138591 138594 138012 137727 138061 137993 138028 137986 137151 137142 137051 136886 136502 136134 136460 136433 136477 136590 137907 138133 138202 138209 138181 138181 138138 138837 139208 139576 141190 142295 143016 142641 142211 141896 142166 142359 142153 142214 141815 141263 141237 141254 140645 140538 139843 139766 139708 139249 139509 139573 139558 139557 139619 140240 140453 140520 140527 140499 140498 140597 141699 142032 142317 143014 143261 142778 142349 142388 142476 142296 141956 141454 141321 141129 140853 140711 141157 141351 141483 141630 142056 143366 143434 143446 143415 143414 143375 143538 143936 143914 144460 144850 144614 144059 143639 143600 142871 142628 141967 141488 141814 141815 141849 141832 141832 142619 142486 142549 142549 142521 142520 142476 143347 143619 143553 143165 143371 143375 143538 143538 143968 144666 145305 144251 144065 143705 143715 143751 143819 143862 143911 143966 144027 144032 144066 145364 144327 144522 145114 145508 146439 145437 145089 144717 144743 144783 144820 144863 144912 144967 145028 145095 145101 145365 146058 145365 145577 146184 146747 147389 146507 146159 145789 145819 145864 145903 145948 145999 146056 146119 146188 146188 146192 147520 146478 146700 147324 147718 148649 147647 147299 146922 146938 146974 147006 147044 147138 147194 147256 147256 147256 147362 147547 147729 147906 148083 148261 148437 148933 148933 149111 149290 149459 149628 149949 154567 155756 157890 163550 166127 167065 170607 173357 173355 176030 179087 179456 179831 180211 180599 180994 181392 181848 184036 183886 184329 184571 187593 188728 189097 189242 189071 189084 188917 192278 195191 198012 199413 202620 206337 208659 212394 212505 212648 214661 214875 214782 215118 217563 218367 218437 218331 219986 219804 219833 220517 222429 224315 224459 224143 225176 226447 226802 228562 228006 227811 227850 229112 228930 228851 229255 230956 230317 230221 230134 230804 230952 230611 230914 232488 232008 232003 231892 232382 232615 232199 232161 234761 238010 238277 240178 240350 240217 240671 241526 246490 247281 247693 249593 249552 249849 250885 253184 253678 253582 253579 253938 254092 253691 253737 253752 255962 256003 256327 256541 256192 256254 256359 257184 257330 257568 257455 257682 259857 260820 261170 261384 261280 261181 261003 262761 264241 266012 267617 268586 272351 272951 273336 273305 273580 274500 274617 274619 274489 274839 276140 276761 276357 275556 275916 275826 275417 275254 275372 275250 275242 275431 275438 275324 275432 275203 275440 275112 275041 274557 274704 274674 274526 273917 274228 274134 273914 272962 273083 273056 272918 272343 272708 272876 273031 273202 273176 273180 273034 271941 272645 272799 272868 273139 273084 273037 273105 271771 272077 271933 271520 270706 270823 270796 270659 270069 269492 269350 269360 268891 268935 268829 268638 267750 268590 268776 268855 268809 268899 270869 271471 271665 271810 271579 271584 271505 273007 274936 275281 276771 278397 279595 280613 281334 281065 280539 280935 280941 280096 279894 279585 279758 279664 280080 280020 280196 280010 279839 279507 279701 279400 278920 278907 278865 279070 279225 279220 279297 279367 279494 278928 279105 278699 278107 277504 277423 277304 277087 276797 277697 278131 277861 277822 278219 279937 280287 280223 280434 280201 279969 280039 281456 282537 282545 283509 285099 285346 284839 284157 283888 283534 283831 283669 283968 284300 284091 284040 284260 284607 284322 283717 283658 283377 283374 283423 283364 283157 283220 282578 282839 282429 281925 281445 281335 280918 280646 282526 283425 283509 283747 284669 288026 288728 288940 288901 288887 288696 288840 290822 291308 292781 294852 296346 296418 295931 295380 295209 295764 295903 296220 296496 296239 296129 295214 295365 295679 295858 295269 295391 295951 295269 295251 295045 294194 294142 293739 293390 294561 294383 294339 294497 297503 298135 298427 298513 298430 298347 298175 299209 299404 299715 300338 301068 301886 301215 300506 300208 300307 300605 300429 300412 299869 299193 298718 298688 297551 297307 296197 296061 295972 295028 295877 296024 295870 295743 295529 296447 297045 297271 297256 297104 297111 296804 299128 299154 299437 299729 299741 299232 299023 298988 298787 298329 297922 297518 296707 296228 295922 297683 298650 298536 298743 298837 302230 303533 303955 303862 303835 303657 303808 304015 304439 304357 304109 303039 302601 303529 303541 303752 303336 302912 304120 304100 304316 304316 304212 304090 303532

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