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

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

BK_START 1401987631883

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: 454 NrTr: 6994)

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

611 719 920 929 932 1355 1358 1361 1361 2220 2226 2229 2229 2232 2232 2232 2232 2232 3740 3740 3740 3740 3740 3775 3775 3775 3775 3775 4607 5526 6325 6709 7505 9388 10042 10332 10387 10446 11189 11718 12188 12756 12757 12952 12980 13046 13112 13193 13209 13440 13512 13668 13699 13774 13789 13991 14680 15589 17267 18064 18470 18670 18945 19508 20119 20124 21542 22359 22359 22359 22481 23586 23821 23838 24030 24958 24994 25160 25160 25865 26015 26029 26712 26755 27239 27226 27308 27524 27803 27858 27902 27919 27852 27823 27818 27700 27657 28125 28173 28095 28406 28273 28607 28894 28886 28983 29099 29484 29805 29795 29896 30018 30422 30743 30729 30851 31296 31738 31784 31770 31088 30146 30901 32157 32915 33264 33378 33317 33498 33721 33830 34058 34842 35983 35984 35997 36015 36414 36996 37004 37168 37213 38063 38299 38299 38916 38911 39054 39775 39793 40328 40300 40338 40554 40753 40747 40792 40575 40611 40502 40389 40344 40754 40748 40765 40595 40637 40723 40824 41090 41134 40748 40785 40954 41030 41330 41254 40875 40908 41101 41223 41483 41482 41248 41026 41213 41307 41469 41610 41165 39675 38953 39399 39967 40317 40494 40513 40670 40695 40649 40759 41181 41798 41749 41690 41341 41738 42154 42224 42394 42430 43328 43480 43488 44139 44103 44186 44829 44760 45341 45303 45284 45305 45252 45207 45230 45022 45058 44868 44752 44706 44725 44673 44676 44318 44367 44462 44565 44580 44507 44546 44713 44703 44711 44626 44658 44835 44846 44862 44779 44708 44879 44881 44743 44645 42309 40576 40590 40652 40862 40982 41125 40935 40740 40613 40534 40396 40767 40767 40704 40399 41473 41355 41363 41501 41518 42423 42427 43072 43042 43521 43384 43909 43910 43926 43843 43830 43801 43637 43401 43292 43267 43172 43129 42879 42611 42657 42718 42718 42681 42634 42743 42720 42720 42683 42633 42677 42732 42732 42684 42038 41281 41061 40730 40547 37139 34963 35004 35085 35104 35096 35229 35190 35120 35100 35118 35055 35053 35154 35115 35053 34107 33627 33351 33402 33622 33782 36298 44679 45375 47669 47781 48119 48150 48454 48504 48335 48725 48816 49254 49420 49740 49753 49427 50042 50061 50630 51023 51290 52312 52338 52378 52659 55225 54567 55334 55334 54872 54271 54590 60017 60033 60033 59016 58989 58767 58788 59007 59028 62961 63058 63117 63261 63311 66111 66395 66407 67087 69193 69504 69689 69672 69818 71799 72209 71999 71735 73621 73846 73438 73102 73260 74024 74225 75758 75810 75775 76407 76659 76540 76423 76890 76200 76595 76728 76752 76727 77777 78225 78143 78125 76653 76616 74323 74214 74163 75526 80731 80078 81339 81451 81780 81781 82073 82077 82146 82233 82239 82238 82381 82405 83148 82081 83404 88619 87846 89025 89134 89393 89441 89649 89652 89680 89761 89796 89795 89964 89988 90771 89704 91012 96609 96003 97323 97429 97747 97778 98021 98029 98152 98235 98330 98329 98511 98578 98459 98752 99750 100835 104520 106000 106060 106358 106425 106681 106723 106515 106798 106755 106997 106947 107245 107238 107466 107337 108151 109879 113228 113266 114883 114883 115185 115204 115188 115186 114266 114587 114587 114651 114657 114348 114647 114374 114430 114733 114449 115193 114626 116163 115732 115732 115385 114685 114992 116405 116278 116278 116327 118146 118151 118358 118358 118955 119791 119601 119031 119364 119359 119974 119956 119651 120520 120043 120087 119759 120432 120382 119749 119679 117511 115125 115974 115993 118736 118685 118685 117464 117450 117076 114893 115876 115368 116990 116287 117247 117505 117523 117505 117473 116303 116480 116192 116328 116297 116131 115858 116039 116672 115934 117367 117371 117350 117586 117571 117514 117514 116176 116391 116103 116296 115993 116156 115883 116059 116064 115731 116382 116585 116555 116733 116738 116620 116617 115139 115368 115080 115294 115263 115175 114902 115154 116069 114554 115406 114583 114719 115021 114847 114829 114692 113001 113260 113260 113231 113200 113157 113156 113695 112824 106732 106818 105351 105896 109157 111368 111368 111914 111881 112043 111747 110966 111958 111793 113437 114931 115181 115353 115352 115483 114315 114159 114670 118043 118399 118399 118871 118826 118946 118633 117661 118172 121714 122145 122191 122670 122675 122800 122797 121559 122054 122527 124439 126087 126566 126584 126718 126709 125421 125153 124674 123894 122575 122536 122396 122380 122292 121626 121642 120662 119820 118829 118857 118703 118595 118592 117848 117212 116591 114890 114890 114765 114748 114664 113924 114185 112734 111769 110670 110486 110505 110357 110316 109556 108975 108180 106338 106338 106164 106002 106002 105241 105373 106077 106200 106189 106325 106476 106369 106536 109833 109854 111248 112696 112969 112932 114286 114156 114041 113849 115144 114691 114152 115440 114827 114190 113592 113650 113686 114761 114793 122055 148422 151662 151818 152920 164628 164904 167106 167209 168007 167995 167457 168975 169053 169479 169498 168465 169618 169512 169800 169785 168436 169071 168810 168758 168493 169861 169861 170156 170154 169479 169448 169903 169903 169907 169902 168984 169207 169931 169931 169930 169930 169050 169204 168997 168992 169621 170010 169378 170846 170846 171140 171136 169525 169797 175651 174177 172419 173359 173359 172684 172241 172638 172960 173337 176010 176000 176000 176682 176979 177169 178729 180757 180601 180601 180651 182375 183024 183239 183238 183835 183911 185069 184449 185039 184450 186142 186405 186391 186104 187221 187044 187040 187324 187447 188075 188758 188539 187800 185233 185828 188413 188244 188244 188138 188112 188112 187965 188106 188358 191681 192777 192785 192787 192824 194640 194783 194787 195636 196946 197007 197021 198885 198421 198153 199335 198161 198155 199980 200094 200093 200928 200450 201053 202181 201531 202655 202901 202953 203643 203258 203130 202433 201779 198912 198232 198850 199362 199483 200788 206184 205866 205803 205798 205570 207933 207812 207816 208645 210977 211202 211555 211767 212597 212896 212904 213549 213840 214636 214586 215743 216296 216441 216459 218345 218313 218279 217853 217690 218008 218350 218023 218660 218312 218553 218562 218492 220639 220545 220559 219385 219777 220075 219421 219791 219565 219896 219569 219918 220012 219950 220925 221006 221936 222141 222749 224268 224326 224295 223682 225399 224990 225489 225585 225557 225141 225494 225500 225235 225627 225634 226829 226897 227029 226063 225182 225207 225168 225243 225604 224753 224434 224896 223759 223578 221814 221573 217900 217084 216678 216388 214886 214514 215308 214831 214831 214814 214602 214139 213783 218414 222046 236874 237924 238014 247897 248099 250359 250419 251110 251231 249892 251130 251130 251467 251450 251067 250906 251205 251228 249870 250913 250896 251167 250866 250655 250655 250654 249642 249882 249600 250174 250173 250173 249000 249113 249501 249519 249665 249665 248072 249029 248318 246752 248742 248265 248253 248318 248100 248780 249148 249042 249052 249069 250085 250278 250910 251326 251407 251284 252050 252036 252048 252125 252044 252022 251958 251634 251484 251393 251117 251090 250874 250450 249971 250623 250416 250404 250231 249489 254454 257410 273079 272698 272653 282276 282509 284664 284614 285255 285255 283727 284961 284961 285311 285281 284125 284944 285178 285196 283873 285018 284986 285257 284956 284778 284778 284781 284777 283819 283765 284470 284470 284476 283469 283528 283186 284115 284098 284298 283990 284087 283742 281825 283770 283293 283281 283374 283243 283266 284153 284049 284049 284076 285149 285106 285935 286365 286401 286306 286910 287042 287057 287125 287053 287045 287041 286633 286510 286583 286146 286119 285887 285397 284934 285676 285469 285457 285272 284542 289786 293079 309867 309939 309771 320209 320415 322655 322710 323288 323288 322003 323276 323276 323596 323596 323634 323354 323638 323674 322358 323554 323539 323816 323509 323392 323392 323396 323391 322420 322415 323213 323213 323219 322159 322385 322058 323110 323093 323323 323015

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