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

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

BK_START 1401985099462

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: 157 NrTr: 4430)

net check time: 0m0sec

place and transition orderings generation:0m4sec

init dd package: 0m0sec


RS generation: 15m47sec


-> reachability set: #nodes 202031 (2.0e+05) #states 2,131,836,945,601 (12)



before gc: list nodes free: 639036

after gc: idd nodes used:233756, unused:15766244; list nodes free:70277335
STATE_SPACE 2131836945601 40858680778941 22 1 TECHNIQUES DECISION_DIAGRAMS


total processing time: 17m52sec


BK_STOP 1401986171736

--------------------
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

2144 12624 32534 42078 42118 42243 47982 48582 59330 60222 63763 64017 63618 63473 63505 63842 65059 75582 72956 71642 72294 72511 73652 80714 79506 79324 78906 79223 82539 83087 82726 82657 79310 67449 75616 78115 73646 75918 76721 75817 73585 73922 74469 73635 71738 71516 69908 69720 69540 66430 66430 66590 70930 79598 80403 80903 86513 86794 89609 89799 90163 90739 90746 90098 89520 89884 90296 90227 89855 89472 89472 89149 92571 114178 110333 112046 113687 115701 115418 113305 113590 118228 121472 122692 118968 118972 122133 124810 119992 120087 125064 120551 120563 120551 120724 121078 125664 120695 122275 130786 131848 131964 134336 137135 136576 137742 137830 137547 136844 136889 134566 134635 134661 139558 139991 135151 135260 135763 141455 141844 137924 138026 138186 138752 145406 145808 136633 136565 136652 136363 137665 137260 137423 137024 137287 137454 137753 136097 135738 134276 134676 134699 136808 135801 134682 134641 134743 132241 129451 129543 133410 131015 131015 131419 131316 134442 133263 132090 132126 132319 136283 133471 135078 132259 129976 130017 130629 129464 130117 130309 130523 130776 130937 130547 130564 130453 130623 130849 130815 130819 130807 130965 131202 130817 130823 130807 131108 131603 131009 130995 131002 131314 131165 131383 136464 130855 130113 130113 143231 145604 145853 151430 151181 151297 151244 151398 149897 149667 149485 149174 149127 147378 147050 149364 151970 152454 152552 158278 154500 155080 156993 153750 152823 152781 153428 153049 153007 153173 153760 153173 150814 150880 150974 151280 151280 151280 151470 154374 150712 148930 148848 148860 148866 149100 148658 148952 148999 148803 148800 149242 150165 147006 142469 138667 140360 140274 142659 143087 143070 142759 143221 143946 143690 143225 143190 143426 145411 143468 142667 141750 141703 142312 142460 141836 141264 141222 141980 141877 143370 140907 140643 142661 140388 140714 140374 140371 140474 140368 140204 140774 140940 137759 137756 135656 135827 140002 136126 136373 136426 139000 129364 127483 127532 127572 127303 127356 127289 127300 127289 124930 124986 125004 127811 127184 127088 127169 127313 127302 126768 126896 128842 129353 128496 127892 128472 128192 125556 125110 122516 122110 121080 121387 122252 123547 123142 122869 123005 123336 123292 123219 123203 123339 123670 122200 120613 119979 120199 120324 119547 119533 119545 119533 119539 119698 119751 115465 113669 113735 114372 113292 113509 113888 113263 112749 112921 114223 114421 112304 112350 112936 112710 116672 116185 115944 116482 116294 116341 116288 116293 116283 116635 118693 116643 116292 116281 116322 116577 116562 116227 116669 121701 115756 115741 115881 118443 118696 118770 120878 120791 120914 120807 120948 121045 120949 120949 120281 121031 128681 129774 130322 131117 131388 131133 131200 132707 133183 133574 132731 132919 134781 133345 133451 133415 133683 133515 133479 133560 133840 133704 133574 133751 133755 133899 134783 133826 133888 133977 132442 132619 132537 132507 129032 128893 128986 128834 128596 128727 130313 128593 128633 128590 128577 128564 128618 129716 129819 129356 129406 130093 130214 129806 128013 128188 128430 128114 128151 128128 128331 128209 128214 128475 128216 128211 128202 127796 127117 123848 124157 124292 124305 124497 124322 124336 124469 124339 124475 124323 124120 124213 124264 124114 124126 124102 123786 123646 123420 123615 123895 123566 123616 123962 124016 123412 123435 123309 123315 123348 123075 123218 123088 123093 123156 123085 123086 122601 122666 122765 122781 122601 122618 122787 122117 122410 122124 122132 122145 121872 122314 126875 121867 121867 122031 122019 121878 121862 122566 121862 117785 112604 112890 112756 112616 112456 112471 112471 112649 114160 119320 119475 133893 133893 183773 181831 178679 180107 165535 161651 168300 168315 168457 168558 178054 173976 173336 173004 172528 172528 172314 168329 168614 168698 168596 168339 168345 168347 168572 168783 174433 173989 178120 195332 201748 205178 188957 188957 190844 190373 205504 205504 205580 205934 206005 213102 213693 213495 208212 207856 207851 205472 205324 205324 205488 206136 205828 205544 205380 205380 205584 205649 205390 205380 205662 205396 205412 205380 200065 200116 200470 200279 200128 200316 199613 199338 199338 199338 199352 199205 199263 199388 204520 201888 205815 209935 209935 209945 209905 209957 211764 211912 216934 216934 226583 224166 222708 217743 221096 221096 221218 221254 222072 222555 222223 222092 222092 221112 220945 220945 221396 222242 225890 222322 228491 234262 224113 221496 219388 217304 217323 217553 217670 221035 222071 218601 218569 218433 217025 217080 217037 217057 217025 217025 205379 205740 205816 207166 207098 212126 211059 206249 205813 205857 205882 205901 207162 207352 206154 205798 205796 205728 206087 205888 205916 205758 205758 202821 202879 202840 203482 200314 196211 192135 192145 192145 186881 186902 186896 186990 186936 185403 185403 185331 185344 185193 185223 185223 185415 185415 185729 186038 186055 186055 186372 186234 185891 185871 185900 186070 186027 185883 185883 186539 189168 191655 191569 191467 191484 191863 191945 195823 195521 195309 195309 195266 195266 195691 195517 195335 198029 198011 197954 197954 202042 202057 201996 202558 202350 202397 202096 201932 201882 201882 202040 202688 205933 205956 205953 205953 205927 205973 206559 206394 205925 205953 205948 205948 205917 205958 205992 205877 205877 205926 205884 209965 205905 205905 205883 205883 206596 205896 203462 203342 199547 195495 195505 195455 195455 196049 195455 195167 195129 195129 195293 195303 195181 195181 195319 195191 196687 196707 196461 196434 196434 196455 196446 196537 196477 196664 195108 195024 195039 194992 195042 195135 195012 194848 194814 195471 195177 195101 194827 194827 194814 194814 195100 194966 194834 194831 194813 194813 194862 194815 190739 190751 190751 185559 185664 185702 185568 185580 185505 185415 185415 185418 185418 185437 185437 185438 185438 191552 191552 201815 201815 201815 201815 201815 202033 202073 202236 203446 202987 202521 202521 202521 202719 202735 202727 202742 202823 202823 202823 203011 202937 202889 203157 202923 202923 203183 203515 203469 203441 203785 203597 203597 203597 203975 204112 203921 203817 203817 203867 203867 204315 204351 204274 204214 204257 204010 204010 204244 204273 204273 204273 204486 204397 204397 204397 204510 204445 204445 204445 204575 204633 204653 204838 205874 206056 206086 205875 205535 205435 205995 205995 205231 205244 205244 205238 205238 204968 204968 204930 204930 204976 205077 205117 205073 205216 206552 205786 205770 205634 205070 205070 205085 204968 204968 204659 204659 204659 204960 204805 204747 204780 205467 205483 205475 205425 204746 204746 204761 204698 204698 204538 204538 204538 204670 204800 204960 206911 206094 206070 206070 205903 205563 205580 206140 205396 205396 205409 205409 205405 205095 205095 205059 205059 205059 205122 205196 205215 205313 206569 205737 205721 205683 205095 205095 205110 205012 205012 205012 204739 204739 205076 204844 204819 204836 205463 205466 205429 205289 204716 204731 204731 204686 204686 204562 204562 204562 204821 204833 204981 205957 206091 206211 205924 205584 205598 205598 206158 205414 205414 205427 205420 205420 205106 205106 205065 205065 205065 205125 205202 205218 205317 205727 205725 205725 205687 205097 205097 205112 205011 205011 204733 204733 204733 204838 204850 204813 204831 205469 205461 205427 204712 204712 204727 204727 204682 204682 204558 204558 204594 204497 204497 204497 204543 204527 204385 204385 204385 204437 204303 204303 204303 204420 204447 204721 204337 204409 204409 204376 204376 204228 204228 204228 204223 204768 204688 204197 204203 204203 204028 204028 204028 204217 204311 204185 203757 203740 203634 203634 203634 203634 203758 203758 203758 203747 203720 203700 203700 203700 203710 203634 203634 203634 203740 203744 203744 203744 203736 203712 203682 203682 203682 203708 203622 203622 203622 203724 203822 203832 203874 204837 204504 203896 203896 203908 203908 203894 203894 203894 203939 204113 204115 204134 204154 204716 204079 204079 204091 204091 203820 203820 203820 203974 204005 203984 203981 204207 203887 203887 203899 203899 203741 203741 203741 203901 204585 204739 204723 204723 204723 205085 205389 205398 205432 205360 205370 205370 205332 205332 205332 205389 206104 205598 206898 206879 210095 209899 209767 209855 209855 208168 208857 208872 208821 208821 208821 208914 208909 208887 208811 208828 208828 208838 208838 208797 208797 208797 208888 209345 209402 209402 209402 209412 209412 209384 209384 209384 209473 209385 209413 209410 209410 209420 209390 209390 209390 209390 209590 211443 211817 212330 211753 211628 211729 211840 211874 211734 211734 211746 211746 211746 211790 211746 211961 211905 211833 211833 211843 211843 211799 211799 211799 211852 212207 212682 212586 215211 215697 214173 213288 213417 213438 213199 214895 214923 214764 214354 214354 214156 214156 214156 214204 214161 215394 215622 215548 214709 214574 214654 214558 214498 214498 214267 214267 213991 213991 214010 214010 213314 213314 213314 213697 213419 213335 213334 213334 213344 213344 213312 213312 213312 213474 213415 213333 213330 213330 213340 213340 213308 213308 213308 213510 213486 213474 213474 213474 213474 213564 213648 213636 213598 213598 213608 213608 213555 213555 213555 213612 213578 213698 213620 213693 213581 213581 213596 213507 213507 213507 213602 213495 213417 213341 213358 213358 213368 213368 213301 213301 213301 213390 213404 213329 213326 213326 213336 213336 213300 213300 213300 213389 213298 213326 213321 213321 213331 213331 213290 213290 213290 213548 213465 213460 213390 213390 213390 213752 213576 213520 213554 213462 213472 213472 213410 213410 213410 213465 213429 214330 213514 213590 213472 213472 213487 213487 213374 213374 213374 213461 213308 213232 213249 213249 213259 213259 213174 213174 213174 213261 214135 213196 213208 213208 213218 213218 213182 213182 213182 213226 213183 213183 213202 213194 213204 213204 213154 213154 213154 213206 213276 213276 213276 213276 213276 213577 213594 213594 213603 213578 213578 213578 213578 213584 213651 213585 213292 213284 213294 213266 213266 213266 213274 213144 213152 213152 213162 213162 213133 213133 213133 213184 213215 213199 213199 213199 213206 213329 213363 213291 213301 213301 213269 213269 213269 213269 213285 213983 213761 214491 214014 213811 213486 213238 213487 213502 213375 213375 213375 213376 213387 213311 213318 213328 213328 213295 213295 213295 213295 213970 213304 213304 213313 213313 213293 213293 213293 213300 213298 213307 213307 213317 213317 213292 213292 213292 213294 213288 213297 213306 213306 213284 213284 213284 213284 213338 213297 213294 213304 213304 213276 213276 213276 213276 214009 213903 214254 213751 213703 213703 213502 213502 213252 213252 213252 213252 214093 213553 213572 213581 213581 213553 213553 213553 213553 213757 213911 213510 213386 214002 212639 212523 212421 211575 211594 211529 210553 210553 209364 209364 209364 209364 209369 209809 210000 209529 209540 209464 209464 209328 209328 208988 208988 209007 209007 207296 207296 207296 207296 207625 207746 207555 207430 207414 207296 207296 207296 207296 207429 207418 207365 207365 207375 207375 207340 207340 207340 207421 207841 207550 207992 207631 206984 206927 206599 206624 206569 206569 206165 206165 206165 206179 206454 206306 206113 206120 206081 206081 205995 205995 206012 206012 205497 205497 205497 205499 205495 205505 205514 205514 205492 205492 205492 205492 205546 205508 205505 205515 205515 205487 205487 205487 205487 205487 205482 205493 205502 205502 205477 205477 205477 205477 205531 205494 205489 205499 205499 205469 205469 205469 205469 205561 205561 205561 205561 205561 206155 206067 206087 206096 206096 206065 206065 206065 206065 206078 206130 206078 205601 205577 205587 205541 205541 205541 205541 205529 205433 205433 205443 205443 205397 205397 205397 205397 205467 205491 205443 205443 205443 205453 205688 205727 205655 205665 205665 205628 205628 205628 205628 205651 205697 205770 205492 205480 205480 205495 205450 205450 205450 205460 205470 205401 205401 205411 205411 205363 205363 205363 205363 205363 205366 205376 205385 205385 205363 205363 205363 205363 205417 205383 205380 205390 205390 205362 205362 205362 205362 205363 205354 205366 205375 205375 205344 205344 205344 205344 205583 205365 205357 205357 205367 205334 205334 205334 205334 205336 205278 205278 205278 205278 205278 205868 205279 205295 205304 205304 205267 205267 205267 205267 205272 204977 204909 204416 203808 203818 203818 203768 203768 203768 203849 203668 203672 203672 203682 203682 203624 203624 203624 203624 203687 203704 203608 203608 203608 203608 203850 203883 203791 203791 203801 203761 203761 203761 203761 203814 203977 203801 203861 203566 203492 203507 203460 203460 203460 203460 203473 203486 203417 203417 203427 203427 203373 203373 203373 203373 203448 203370 203380 203389 203389 203367 203367 203367 203367 203374 203372 203379 203379 203389 203389 203361 203361 203361 203361 203361 202804 202812 202821 202821 202104 202104 202104 202104 202357 202112 202083 202083 202093 202093 202031 202031 202031 202031
iterations count:1912233 (431), effective:22019 (4)

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="EnergyBus-PT-none"
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/EnergyBus-PT-none.tgz
mv EnergyBus-PT-none 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 EnergyBus-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150200859"
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 ;