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

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

BK_START 1401987824669

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: 506 NrTr: 7154)

net check time: 0m0sec

place and transition orderings generation:0m44sec

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

619 778 790 1027 1032 1481 1496 1501 1501 2368 2398 2403 2403 2408 2408 2408 2408 2408 3916 3916 3916 3916 3916 3951 3951 3951 3951 3951 4459 4881 6183 6925 7242 7550 9612 10569 11338 11716 11805 11945 11962 12885 12943 13628 14281 14918 14922 15087 15233 15280 15385 15402 15462 15497 15496 15576 15680 15729 15869 15886 15917 15912 15842 16035 16443 17429 18481 19225 19511 19921 20220 20232 20574 21188 21309 21920 23129 24034 24046 24046 24041 24904 25415 25460 25474 25574 25591 26524 26640 26667 26927 27402 27587 27599 28235 28297 28279 28936 28959 28914 29460 29475 29582 29693 29717 29726 29750 29801 29775 29622 29589 29970 30005 30028 29967 30105 30120 30478 30952 31151 31080 30708 30876 31299 31426 32024 32105 32105 31749 31923 32597 32931 33156 33308 33308 32841 33032 33756 34073 34328 34481 34481 34031 34215 34971 35312 35582 35708 35741 35286 35486 36078 36262 36948 37117 37156 36937 35687 34924 35240 35538 36006 36272 36584 36883 36891 36915 36973 36965 37273 37519 37829 38827 39050 38988 39003 39446 39983 40009 40037 40054 41086 41097 41801 41911 42114 42053 42701 42728 42736 43370 43352 43608 43798 43835 43877 43901 43827 43835 43802 43564 43472 43815 43796 43833 43723 43598 43670 43698 43823 44239 44344 44450 44131 43901 43985 44164 44450 44679 44798 44573 44347 44230 44252 44365 44751 45050 45194 44918 44676 44566 44503 44614 44994 45264 45400 45121 44893 44681 44695 44792 45170 45349 45446 45233 44739 44627 44843 45011 45241 45262 45350 45203 44726 42782 42315 42441 42740 43147 43348 43441 43666 43700 43575 43616 44015 44749 44778 44673 44438 44904 45395 45293 45370 45387 46360 46297 47086 47196 47246 47838 47884 47863 48568 48558 48486 48577 48587 48517 48565 48550 48471 48477 48315 48155 48064 48008 47960 47983 47776 47573 47637 47821 47957 47996 47781 47839 47965 47994 48260 48071 48144 48163 48261 48474 48489 48268 48316 48514 48671 48724 48521 48556 48575 48681 48910 48934 48659 48559 48725 48855 48848 48494 45413 44172 44193 44272 44564 44688 44664 44817 44657 44397 44246 44108 44861 44769 44672 44351 45170 45610 45586 45626 45643 46516 46464 47160 47220 47857 47884 48522 48497 48547 48575 48541 48549 48546 48479 48323 48050 47987 47843 47740 47700 47416 47132 47128 47254 47400 47424 47168 47154 47254 47385 47409 47154 47156 47204 47203 47412 47147 47143 47135 47173 47354 47376 47111 47106 47190 47305 47329 47068 46510 46436 46279 46009 45754 45344 41651 39991 40008 40083 40206 40167 40086 40148 40251 40121 40106 40210 40252 40106 40109 40219 40258 40109 40111 40118 40187 40290 40154 40120 40124 40179 40035 39449 39350 39153 39013 39028 39037 39330 42877 54041 53809 55049 58657 58641 58666 59195 59240 59268 59345 59610 59604 59635 59833 60516 60833 61447 61422 62252 62243 62227 62728 62301 62307 63178 63995 64733 64832 64870 68123 67318 68466 68516 68016 67234 67557 68774 69687 69623 69695 69720 71592 71974 73138 73559 73751 73693 74464 75177 74470 76005 76418 76417 76433 77573 77124 77197 77911 78623 78681 79241 79136 79206 78289 76562 77555 78133 78666 78668 80281 82854 83047 83137 83153 82074 82035 81932 82095 84724 84992 85119 85060 85140 87560 87224 87710 87710 88664 88804 88806 88872 90722 90902 90810 90753 90755 92564 92561 92438 92297 92631 92891 92994 92934 92982 92940 92950 92860 92303 91896 91726 91621 91445 91385 91775 91699 91729 90900 90841 89943 89858 91772 98522 97887 99749 100321 100327 100346 100792 100805 100903 100951 100969 100988 101067 101468 101350 101516 101378 101537 101369 101576 103488 104409 110399 109910 112551 112605 112632 112651 113104 113106 113212 113316 113346 113319 113514 113878 113804 114065 113954 114169 114020 114028 114053 116293 117169 123268 122495 125099 125133 125115 125164 125546 125567 125651 125618 125532 125557 125770 126138 126008 126300 126150 126460 126263 127092 126048 128158 136169 135381 137745 138290 138272 138310 138734 138747 138843 138829 138891 138817 138907 139425 139321 139638 139500 139808 139641 139611 139497 141436 143082 149017 148732 151496 151480 151507 151863 151909 151936 152062 151957 151976 151961 152469 152337 152385 152770 152626 152986 152804 153297 152700 154689 163063 162441 165262 165337 165342 165362 165787 165794 165893 165913 165949 165938 165954 166535 166456 166844 166736 167110 167126 166962 167438 167116 168106 170248 172462 174756 174131 176631 176633 176636 176811 176786 176757 176757 175742 175730 175578 175605 176087 175825 175665 176133 175822 175707 175732 175761 176201 175945 175794 175800 177980 177314 177029 177066 176227 175781 176017 180047 179949 179853 179722 178640 178568 178496 177255 177408 177068 177087 177933 177893 177951 177969 177982 179109 180675 181006 181142 181101 181862 181818 181486 181864 182379 182305 182329 181979 182335 182386 182085 182756 182814 182728 181729 181689 180019 176792 175869 176608 178756 178097 179199 179220 179223 179218 179344 179303 179256 178074 178034 177826 177803 178038 177622 177778 177350 177512 177249 177311 176714 176995 178901 178234 178993 179056 179017 179012 179047 179050 178968 177737 177755 177567 177340 177617 177332 177440 177162 177199 177199 176783 177067 178020 176925 178509 177625 177983 177983 178007 178002 178033 177928 177920 176541 176304 176170 176008 176327 175911 176217 175820 176035 175779 176452 175423 175768 175255 176507 175592 176020 176023 176024 176006 176025 175896 174624 174314 174028 173741 174090 173825 173986 173726 173521 173864 173525 173897 173300 173361 174175 173011 172481 172502 172505 172500 172331 172334 172299 170713 170545 170209 169897 170252 169836 170192 169802 170068 169812 169621 169528 169396 168490 168964 167983 167510 167490 167515 167375 167381 167273 167269 165429 165311 164547 164934 164679 164489 164902 164534 164846 164591 165399 164370 158243 158237 156343 156877 158431 163695 167781 167761 167786 168208 168183 168136 168136 167454 167442 167256 167258 167299 168033 170385 171037 173662 173665 173666 173927 173891 173827 172741 173047 172978 172738 172462 173396 178483 179869 180317 180257 180257 180610 180619 180517 179852 179866 179794 179537 180923 181113 185701 187303 187324 187327 187303 187646 187541 187533 186741 186508 186494 186368 187792 188085 191379 194556 194601 194561 194827 194906 194792 194762 193993 193768 193753 193563 194528 195457 198881 202130 202152 202130 202258 202412 202407 202365 201617 201605 201380 201141 202165 203095 206521 209809 209858 209813 210202 210207 210098 210078 209322 209324 208874 208826 208337 207022 205742 204057 204060 204063 203752 203759 203783 202721 202561 202325 202561 201680 200865 199523 197744 197767 197744 197529 197535 197540 196519 196310 196008 195944 194884 193924 192199 190083 190063 190063 189784 189778 189778 188703 188514 188104 188041 187046 185730 182796 182479 182481 182459 182225 182225 181485 181159 181036 180580 180645 178546 178125 175143 174817 174796 174803 174557 174552 173497 173401 173152 172877 172625 170815 169093 166953 166935 166959 166685 166690 166682 165631 165445 165056 164924 163834 162822 161012 158805 158785 158785 158512 158512 158512 157361 157239 156779 156734 156937 157507 157528 157507 157688 157676 157852 157846 158237 158026 158391 158340 162801 163000 162917 164561 164699 167015 166980 166957 167670 170164 169962 169858 169668 169954 172373 172258 171927 171980 171629 174523 173769 173329 173171 172620 175061 174488 174048 173439 175262 174975 174100 173736 171561 171664 171773 171824 172845 186225 197683 232966 238056 238023 238539 239549 264998 265030 264852 268911 268925 268933 269070 269800 269832 269657 269638 271907 272111 272146 272250 271816 271605 271199 270991 273225 273228 273229 272603 272390 271750 271489 273464 273467 273439 272634 272434 272292 271567 273480 273460 273374 273308 272545 272457 271722 273655 273489 273491 273436 272595 272384 271675 271599 271593 272043 272046 271693 272176 274189 274205 274184 274032 273360 273149

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