About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
- | - | - | DNF | timeout |
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-S06J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150601405
=====================================================================
--------------------
content from stdout:
BK_START 1401987885750
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: 700 NrTr: 10740)
net check time: 0m0sec
place and transition orderings generation:2m29sec
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: 0m2sec
700 911 1064 1086 1324 1349 1356 1356 1901 1922 1922 1929 1929 1929 2988 3016 3030 3037 3037 3037 3044 3044 3044 3044 3044 4868 4868 4868 4868 4868 4905 4905 4905 4905 4905 5598 5633 6236 7952 8865 9223 9588 9853 10138 10422 10680 10968 12972 15774 15799 17898 18307 19272 19829 19942 19951 19954 20033 20220 20323 20405 20437 20453 21714 21793 22710 23589 23775 24629 24709 25553 25636 26447 26549 26537 26540 26541 26674 26676 26788 26788 26854 26918 26987 27057 27074 27096 27105 27123 27133 27136 27100 27085 27112 27094 27067 27253 27360 27437 27441 27508 27570 27682 27867 27877 27899 27912 27927 27966 28108 28048 28050 28021 27955 28134 28243 28248 28256 28369 28438 28603 28706 28788 28820 28836 28883 28910 28913 28937 28913 28828 28715 28873 28952 28957 28957 29122 29187 29307 29493 29503 29541 29464 29383 29283 29234 29149 28989 29133 29542 29794 30342 30484 30879 30880 31881 32075 32502 32784 33010 33033 33325 33628 33436 33813 34115 34046 34065 34697 34661 34757 34774 35415 35475 35435 35547 36418 36442 36554 37102 37149 37150 37121 37313 37822 37846 37956 38911 39333 41369 41548 41608 41641 41641 41579 41470 41479 41491 41791 43169 43853 43864 43867 43870 43956 43960 43966 44040 44218 44368 44487 44509 45843 45955 45977 46093 46182 46242 46184 46184 46597 47229 47335 47393 47487 47511 47511 47489 48522 48531 48607 48665 48757 48781 48781 48759 49726 49692 49666 49695 49709 49799 49859 49823 49821 50120 50684 50656 50640 50731 50791 50755 50720 51546 51607 51644 51745 51843 51803 51782 51673 51696 52487 53089 53097 53100 53118 53209 53217 53213 53289 53583 53922 53932 53954 54015 54003 54063 54106 54034 54019 53968 54020 54292 54395 54349 54366 54417 54627 54664 54696 54714 54828 54992 54993 54970 55056 55061 55133 55162 55140 55064 55002 55042 55020 54955 54837 54838 55129 55261 55240 55240 55288 55288 55352 55528 55632 55714 55746 55762 55709 55720 55670 55679 55679 55627 55622 55622 55561 55554 55588 55614 55564 55526 55403 55334 55347 55290 55563 55663 55638 55670 55820 55882 55966 56169 56179 56217 56180 56178 56082 56055 55974 55958 55922 55950 55883 55823 55767 56053 56101 56044 56191 56201 56055 55771 56175 55963 56092 56549 57040 57295 57601 57899 57613 57816 57881 57514 57489 57193 56871 57305 57079 57233 57767 58308 58578 58875 59121 59146 59095 59107 58852 58737 58731 58417 58702 58400 58588 59304 59827 60009 60390 60697 60798 60523 60885 60827 60305 60337 60029 59700 60083 59941 60145 60823 61464 61721 62143 62344 62478 62236 62524 62466 61942 61977 61666 61357 61750 61858 62360 62581 63256 63534 63827 64170 64247 64058 64350 64292 63767 63814 63499 63432 63762 63465 63694 64523 65133 65311 65696 66002 66162 65850 66113 66080 65560 65603 65355 65040 62259 62162 60740 60447 60496 60637 61030 61805 62197 62593 63118 63299 63602 63952 63686 63842 64163 63980 64227 64072 64062 63956 64329 64463 64311 64287 64682 64880 64726 64739 65203 65378 65302 65414 65650 65710 65608 65705 66094 66259 66216 66211 67320 69411 70225 70596 70642 70611 70555 70196 70073 70100 70294 72072 72324 73033 73139 73140 73144 73242 73246 73246 73320 73531 73703 73822 73844 75383 75456 75469 75515 75535 75754 75642 75567 75645 76866 76833 76878 76999 77161 77119 77039 77117 78317 78321 78258 78456 78608 78589 78496 78574 79777 79729 79747 79481 79654 79815 79949 79777 79671 80828 80777 80754 80525 80727 80815 80611 80612 81697 81922 81748 81784 81846 81812 81739 81598 81598 82426 82665 82543 82483 82478 82528 82519 82620 82874 83048 83145 83177 83193 83475 83313 83308 83242 83186 83129 83374 83335 83359 83378 83398 83370 83591 83573 83594 83613 83600 83573 83605 83807 83846 83785 83847 83885 83838 83842 83945 83941 83785 83806 83775 83698 83727 83700 83591 84194 84042 84063 84062 84099 84163 84225 84388 84470 84480 84518 84482 84465 84379 84412 84308 84266 84178 84120 84066 84010 84003 83908 83908 83940 83790 83680 83611 83567 84046 84141 84143 84165 84236 84370 84380 84142 84023 83965 83922 83950 84926 84436 84339 84401 84483 84221 83894 83956 83964 83985 84196 84587 84899 85383 85759 85647 85990 85599 85760 85649 85124 84830 84517 84147 84205 84230 84445 84368 85123 85473 85815 86171 86290 86283 85890 86067 85613 85447 85104 84779 84470 84531 84558 84775 84700 85458 85811 86094 86450 86699 86698 86294 86549 86438 85812 85527 85193 84818 85158 84870 84899 85045 85681 85850 86384 86738 86934 87162 86715 86754 86800 86338 86172 85866 85532 85179 85257 85270 85371 85384 86084 86443 86728 87185 87290 87284 86889 87059 86485 86319 86019 85608 85303 85168 85185 85392 85307 86030 86477 86556 86867 86985 86927 86476 86481 86023 85857 85513 85173 84875 81511 80710 79592 79802 79803 79847 80685 81000 81606 81821 82351 82396 82620 82956 82500 82653 82584 82837 82674 82571 82551 83103 83229 83192 82996 83369 83678 83470 83343 83932 84206 84096 83952 84327 84438 84520 84049 84642 84905 84864 84683 84825 85003 88353 88775 88867 88810 88722 88009 87817 87872 87914 88436 90000 90633 90647 90636 90595 90595 90685 90685 90684 90888 91007 91104 91136 91152 92829 92853 92707 92695 93053 92908 92757 92847 94195 94187 94073 94041 94286 94265 94121 94211 95535 95527 95455 95408 95624 95635 95488 95578 96993 96945 96963 96804 96692 96980 97065 97044 96728 98009 97970 97966 97665 97673 97841 97964 97670 98834 98977 98882 98888 98739 98718 98676 98566 98566 99258 99316 99276 99213 99341 99423 99594 99842 99852 99874 100036 100002 99839 99776 99967 99922 99888 99947 99936 99957 100121 100114 100068 100127 100181 100109 100137 100345 100302 100270 100305 100461 100380 100307 100398 100411 100246 100356 100230 100153 100127 100116 100067 100511 100293 100310 100311 100369 100436 100504 100530 100449 100330 100337 100326 100245 100071 100051 100040 99959 99942 99929 99786 99813 99786 99763 99654 99544 99802 99868 99870 99914 99981 100123 100133 99874 99747 99705 99675 99632 99658 99657 99430 99417 99387 99455 99465 99196 98881 99083 99224 99575 99575 100586 100985 101228 101610 101557 101638 101033 101267 101192 100689 100395 100085 99748 99818 99845 99961 99988 100900 101331 101597 101967 101955 101927 101379 101472 101129 100648 100642 100315 100099 100100 100116 100324 100920 101209 101751 102084 101907 102254 101884 101822 101835 101231 100946 100612 100256 100623 100311 100326 100445 101237 101663 101970 102322 102382 102468 102079 102104 102029 101423 101117 100786 100446 100523 100554 100777 100705 101629 102066 102304 102673 102730 102781 102445 102398 102346 101883 101445 101439 101045 100771 100638 100659 100872 100790 101711 102218 102255 102569 102515 102487 101881 102000 101925 101323 100979 100642 100375 94195 92639 90888 91030 91153 91491 91492 92659 93182 93420 93809 93735 93972 94261 93713 93860 93837 94048 93915 93825 93813 94207 94334 94200 94059 94218 94478 94225 94030 94288 94483 94315 94075 94241 94312 94359 93867 94231 94415 94290 94040 94075 96215 97539 97913 97969 97889 97662 96938 96697 96283 96350 96777 98256 98732 98737 98724 98702 98774 98916 98990 99062 99094 99110 100775 100797 100599 100540 100850 100700 100602 100692 102028 101994 101831 101752 102001 101956 101834 101924 103236 103202 103059 102982 103190 103201 103064 103154 104602 104555 104551 104254 104171 104471 104556 104389 104207 105493 105442 105420 105131 105139 105305 105398 105137 106289 106544 106222 105971 105971 106605 106713 106646 106488 106528 106598 106925 106997 107007 107143 107085 106958 106895 107024 106964 106932 106983 106974 106961 107078 107028 106997 107048 107104 107026 107260 107192 107132 107074 107098 107283 107182 107087 107162 107141 107024 107139 107013 106936 107020 107003 107036 107059 107115 107180 107256 107272 107206 107105 107139 107040 106954 106872 106878 106869 106807 106780 106791 106658 106756 106657 106623 106504 106410 106481 106576 106538 106600 106665 106809 106668 106564 106450 106450 106421 106378 106418 106382 106312 105713 105578 105640 105716 105481 105241 105210 105335 105214 105288 105290 106148 106594 106795 107131 106948 106943 106262 106450 106179 105849 105843 105469 105842 105221 105218 105367 106126 106286 106833 107093 106850 106908 106194 106436 106417 106070 105777 105456 105201 105198 105195 105338 105255 106197 106691 106820 107190 106958 106953 106321 106543 106527 106063 105822 105431 105178 105176 105174 105314 105234 106181 106521 106801 107173 106879 106983 106304 106530 106511 106045 105789 105471 105162 105162 105162 105222 105222 106140 106484 106728 107032 106669 106925 106664 106430 106434 106059 105723 105717 105334 105083 104486 104370 104229 104151 104418 104781 104716 104737 104431 104244 103559 103469 103450 102988 102694 102445 102130 95384 93847 90285 90347 90467 90796 90797 91796 92232 92473 92593 92177 92427 92011 92376 92488 92711 92402 92021 92066 92360 91770 91759 91772 91608 91031 91204 91206 91296 90620 90655 90911 90929 90410 90143 90103 91513 92693 92724 92732 92449 91869 90957 90474 89491 89791 91125 91755 91694 91692 91669 91734 91797 91858 91980 91990 92006 93543 93587 93371 93316 93334 93500 93350 93452 94678 94635 94473 94380 94398 94566 94521 94521 95734 95666 95549 95458 95476 95620 95585 95524 96995 96944 96890 96655 96520 96538 96717 96855 96644 96555 97734 97702 97658 97394 97505 97571 97389 97388 98394 98637 98084 97959 97982 98506 98457 98455 98446 98607 98745 98884 98894 98910 98967 98809 98617 98555 98496 98418 98470 98495 98463 98476 98569 98517 98516 98541 98509 98522 98717 98730 98577 98575 98669 98633 98599 98681 98677 98533 98531 98598 98519 98442 98489 98499 98498 98473 98584 98642 98652 98580 98405 98411 98410 98350 98308 98102 98107 98047 98023 98014 97888 97879 97953 97878 97747 97385 97623 97432 97434 97394 97456 97577 97587 97304 97033 96961 96932 96899 96922 96939 96903 96009 95677 95672 95666 95613 94909 94567 94567 94575 94583 94755 94674 95484 95828 95868 95295 94703 94623 94623 94623 94686 94686 95480 95822 95822 95862 95289 94621 94621 94621 94621 94757 94682 95476 95818 95818 95858 95285 94619 94619 94619 94619 94678 94678 95472 95816 95816 95856 95283 94691 94619 95031 94613 94609 94761 95458 95451 95795 95835 95257 94577 94510 93837 93714 93578 93481 93543 93587 93387 93386 92550 91647 91488 84362 83405 79165 78990 78990 78990 78990 79778 80043 80286 80375 80139 80391 80015 80380 80396 80534 80313 80080 80032 80212 79829 79753 79737 79566 79087 79220 79197 79259 78731 78957 78935 78794 78357 78357 78317 80312 80540 80554 80562 80472 79687 79272 78918 78295 78705 79837 80240 80220 80216 80209 80276 80400 80462 80522 80554 80570 81993 82015 81874 81880 81942 83030 82975 82866 82932 84002 83991 83870 83858 83920 85110 85084 85120 84857 84823 85894 85865 85861 85643 85641 86598 86736 86519 86408 86349 86588 86600 86598 86596 86748 86851 86955 86972 86988 87043 86946 86823 86713 86795 86687 86759 86810 86764 86764 86804 86927 86943 86823 86867 86868 86891 86831 86738 86793 86785 86804 86803 86862 86919 86977 87003 86969 86823 86778 86743 86597 86552 86532 86442 86431 86375 86286 86129 86068 86113 86075 86143 86151 86264 86122 85964 85878 85863 85845 85833 85851 85382 85196 85264 85273 84982 84660 84503 84746 84514 84538 84648 85273 85273 85484 85492 85100 84685 84610 84868 84612 84623 84718 85338 85547 85547 85555 85163 84670 84670 84659 84660 84823 84736 85339 85548 85556 85556 85164 84663 84663 84654 84648 84792 84704 85293 85504 85512 85512 85120 84618 84616 84589 84589 84719 85248 85241 85452 85460 85455 85063 84577 84510 83812 83692 83547 83465 83248 83364 83172 82909 82308 81794 81635 75215 72746 69358 69389 69420 69552 69786 69775 69747 69575 69563 69565 69567 69643 69819 69808 69780 69577 69714 69566 69563 69626 69792 69781 69753 69548 69534 69531 69594 69591 69757 69746 69718 69516 69512 69510 69650 69570 69738 69716 69699 69500 69474 69474 69608 69534 69706 69684 69667 69474 68793 68677 68536 68458 68214 68192 68175 67972 67982 67999 68005 68608 68915 68945 77091 74771 79399 92888 93963 95018 100362 100407 100412 100461 101385 101439 101464 101467 101515 101650 102381 102387 102389 102388 102491 102383 102409 102464 102522 102108 102617 102666 102669 102613 102683 102800 103777 104151 104515 104680 104782 104821 105133 105344 106182 106334 106121 105367 106580 106753 106494 105970 106814 107004 107400 107660 107941 107996 108182 109245 109267 109483 109340 110044 110072 110427 111510 111674 111453 110630 111830 111938 111967 110956 112133 112155 112282 112207 112546 112335 112335 113985 114662 114587 114481 117333 118009 117395 117015 120337 121312 121008 122987 124548 125241 124501 123732 125203 125225 125389 125276 125276 125148 125148 125859 125825 125164 125859 125880 125165 125844 125824 125167 125376 126198 126434 125894 127489 128261 128185 125500 134780 134962 133862 140191 140821 141016 140961 140966 139860 139521 139424 138304 138605 139213 139605 144076 147418 146079 146077 146075 146272 146522 146659 146728 146768 146776 151589 151817 151563 151540 151831 152053 152048 151919 156024 156120 156003 155882 155665 155862 155863 155667 155311 158744 158603 158368 157632 157776 157800 157493 156529 161375 161297 161119 160536 160930 161369 161569 161338 160773 164072 163996 163842 163581 162488 162517 162308 160778 164546 165261 164980 164556 164556 166980 169876 169794 169792 169788 170300 170551 170638 170768 170809 174501 174974 174839 177695 177646 177701 177962 178008 177959 178210 180346 180297 179952 180011 179814 179367 180674 180611 180471 180491 180785 180778 180397 181471 181408 181267 180335 180386 180240 179671 180909 180355 180378 180377 180545 180724 180841 180885 181365 181645 181687 181691 181700 181523 180578 180582 179860 179673 179728 179375 179493 179439 179684 180022 178838 178809 179074 179294 179296 179504 179569 179843 178551 177183 176965 176981 176944 176747 176251 176227 176220 176007 176105 175951 176199 176239 171306 168873 168837 168663 172448 173240 174462 174549 175041 175171 177472 183432 184003 184099 184107 183878 183626 182905 182516 180541 181525 182028 182128 181739 181487 180766 180377 179879 179975 180406 182308 183434 183372 183350 183330 183531 183543 183726 184092 184102 184124 187563 187549 187402 187393 187493 187759 187663 187556 187509 188352 188352 190770 190735 190566 190537 190891 190850 190737 190755 190690 192070 191952 194451 194396 194232 194343 194586 194563 194438 194391 194395 194395 195847 195781 195741 195472 195244 195645 195739 195597 195426 195571 195591 198074 198034 197994 197715 197894 197963 197728 197727 197662 197664 199849 200001 199769 199349 199032 198459 198478 198478 199624 199891 199804 199754 199954 199958 200221 200538 200552 200594 200190 200078 199761 199232 199347 199415 199356 199304 199466 199512 199461 199454 199624 199624 199551 199502 199451 199679 199764 199609 199574 199112 199112 199285
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-S06J06T06"
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-S06J06T06.tgz
mv PolyORBLF-PT-S06J06T06 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-S06J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150601405"
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 ;