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

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

BK_START 1401987762551

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: 810 NrTr: 14014)

net check time: 0m0sec

place and transition orderings generation:3m59sec

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

810 1064 1091 1923 2283 2986 4972 5149 6013 6512 6835 7184 7412 7702 8006 8397 8643 8991 9317 11497 12209 16773 16828 20040 20260 20778 21597 21703 22233 22234 22238 22473 22580 22679 22820 22962 23000 23054 23072 23105 24303 24344 25132 25174 26010 26796 26836 27623 27667 28451 28496 29378 29513 29516 29540 29557 29573 29585 30370 30409 30808 31058 31058 31058 31177 31312 31524 31618 31818 32002 32186 32208 32243 32259 32440 32511 32628 32597 32662 32843 32992 32996 33143 33267 33386 33493 33476 33585 33952 33965 34274 34279 34283 34287 34502 34609 34714 35091 35243 35275 35315 35332 35348 35265 35244 35485 35607 35610 35616 35539 35455 35564 35514 35426 35356 35368 35595 35712 35717 35752 35867 36006 36113 36323 36492 36661 36845 36867 36885 36918 36905 36819 36757 36686 36494 36334 36481 36605 36724 36555 36345 36145 36249 36328 36449 36430 36524 36539 36664 36775 36820 36866 36946 36968 37003 37019 36978 36855 36904 36943 36901 36861 36816 36770 36675 36688 37084 37292 37414 37419 37427 37527 37634 37833 38041 38210 38362 38416 38434 38467 38476 38385 38253 38372 38284 38295 38219 38127 38053 38077 38320 38458 38458 38564 38568 38687 38787 38894 39166 39335 39487 39541 39559 39592 39547 39452 39364 39199 39150 39092 38996 38918 38930 39104 39624 39960 40288 40569 41653 41925 43511 43679 44659 44901 45255 45528 45963 46342 46749 47095 47766 48255 48377 48706 49051 49520 49625 49423 49429 50074 50261 50426 50415 50570 50632 50632 50632 51850 51894 52034 52022 52042 52084 52084 52824 52831 52879 52921 52973 52956 52972 53668 53692 53798 53840 53815 53832 53833 53833 54569 54611 54627 54600 54610 54622 54622 55008 55654 55834 56010 56058 56078 56120 56120 56472 56952 56985 57027 57060 57039 57056 60555 61380 64604 64646 64646 64646 64651 64653 64672 64672 64678 64671 64671 64671 64671 64671 64775 65278 65620 66766 67124 67459 67966 68006 68142 68123 68250 68410 68519 68609 68613 68648 69361 69393 69415 69450 69466 70778 70833 70839 70958 70952 70989 71192 71329 71329 71378 71365 71365 71353 71353 71353 72185 72218 72273 72260 72313 72288 72436 72570 72570 72561 72610 72597 72597 72572 73375 73432 73419 73560 73543 73564 73564 73784 73922 73963 73944 73950 73950 73913 73913 74719 74744 74803 74784 74784 74784 74784 74984 75114 75097 75088 75137 75124 75097 75080 75866 75866 75930 75917 75933 75895 75835 76066 76205 76205 76205 76241 76241 76205 76205 76994 77137 77276 77334 77481 77481 77524 77770 77911 77911 77911 77941 77941 77935 77935 77935 78941 79164 79550 79701 79697 79780 79848 79825 79714 79647 79539 79539 80477 80616 80671 80655 80802 80845 80845 81226 81240 81234 81275 81275 81250 81265 81250 82083 82407 83178 83315 83397 83330 83439 83460 83905 84046 84156 84253 84777 85247 85663 85685 85720 85736 86099 86197 86355 86475 86476 86479 86510 86510 86756 86837 86933 86877 86946 86943 86918 87015 87103 87056 87133 87134 87117 87098 87179 87164 87241 87324 87121 87116 87073 87073 87455 87632 87781 87976 87976 87986 88008 88008 88222 88427 88466 88578 88614 88808 88987 89135 89264 89263 89295 89202 89194 89555 89652 89823 89870 89795 89896 89919 89919 90784 90802 91220 91508 91474 91579 91568 91665 91849 91986 92016 92408 92699 93018 93072 93090 93123 93109 93152 93253 93243 93302 93444 93556 93559 93633 93687 93635 93737 93716 93545 93493 93570 93553 93528 93461 93235 93116 93055 93030 93008 92941 92875 92855 92867 92869 92885 92818 92810 92834 92770 92761 92738 92629 92648 92882 92827 92729 92781 92706 93008 93045 93258 93329 93430 93392 93341 93356 93370 93446 93491 93537 93733 93755 93773 93806 93774 93781 93507 93694 93744 93816 93707 93654 93601 93502 93639 93618 93496 93359 93385 93357 93230 93103 93103 93021 92936 92905 92918 92799 92730 92659 92653 92658 92769 92713 93434 93428 93551 93587 93548 93657 93661 93761 93962 94192 94361 94583 94605 94640 94656 94613 94613 94567 94518 94371 94471 94410 94148 94087 94060 93833 93845 93847 93797 93789 93738 93693 93663 93592 93591 93606 94047 94016 94014 94055 94219 94371 94389 94210 94149 93836 93838 93637 93725 93609 94349 95094 95246 95384 95386 95404 95514 95530 96014 96184 96564 96562 96560 97825 97977 98009 98049 98066 98082 98134 98249 98276 98407 98523 98572 98572 98572 98512 98471 98584 98609 98530 98517 98532 98532 98291 98396 98421 98236 98358 98335 98249 98249 98001 97945 98054 98079 97802 97815 97693 97693 97582 97741 97802 98061 98168 98173 98202 98202 97988 97992 98037 98119 98071 98070 98059 97969 97854 97543 97487 97569 97594 97260 97110 97075 96781 96686 96876 96876 97023 97597 97526 98273 98493 98849 99175 99455 99671 99355 98962 98946 98654 98675 98665 98396 98070 97956 98201 98201 98395 99104 99036 99720 99911 100254 100556 100784 101088 101233 100545 100585 100311 100328 100347 100337 99960 99697 99586 99595 99816 100026 100777 100712 101428 101637 101982 102073 102411 102821 102966 102281 102333 102035 102051 102073 102069 101691 101689 101412 101314 101608 101830 101830 102633 103177 103497 103793 103929 104203 104508 104804 104123 104167 103873 103882 103896 103886 103510 103239 103123 99821 98866 98323 97360 96393 98432 98432 98747 101262 101468 103024 103717 104074 104982 105000 105709 106223 106482 106900 107151 107797 107797 108291 108522 109257 109179 108772 109125 109038 109403 109877 110351 110444 110773 110849 110943 110943 112118 112281 112250 112441 112551 112632 112632 112923 113485 113681 113838 113653 113556 113605 113832 114385 114769 114853 114594 114627 114634 114634 115374 115589 115416 115280 115301 115316 115316 115739 116728 117227 117395 117798 117874 117968 117968 118357 118863 118996 119149 118916 118679 118705 118705 123657 125430 130708 130903 130871 130826 131015 131114 131114 131114 131111 131185 131289 131341 131413 131445 131916 132339 133618 134211 135379 136017 136435 136391 136536 136536 136536 136782 136820 136806 136812 136847 137405 137997 138019 138054 138070 139786 140141 140013 139850 139902 139953 139953 140421 140755 140961 140978 140828 140679 140705 140705 141896 142050 142230 142195 142001 141729 141960 142149 142582 142704 142998 142824 142547 142402 143498 143736 143813 143635 143567 143679 143702 143951 144130 144348 144691 144563 144348 144266 144247 145377 145406 145521 145741 145556 145244 145267 145498 145662 145912 145972 146180 145995 145671 145655 145655 146810 146909 147062 146778 146482 146419 146410 147021 147421 147613 147750 147518 147399 147420 147420 148939 149334 149493 149317 149449 149531 149531 149848 150543 150640 150870 150748 150650 150519 150541 152308 152784 153385 154125 154017 153588 153427 153485 153644 153302 153337 153097 152833 152833 154386 154770 155002 154756 154907 154989 155306 155555 155950 156137 156353 156044 155932 155954 155954 158671 159966 160323 160525 160504 160260 160430 160454 160497 161081 161305 161291 162234 163039 163702 163756 163774 163791 164308 164838 164995 165276 165225 165470 165479 165476 165445 165389 165374 165438 166059 166475 166587 166760 166611 166334 166514 166575 166424 166315 166284 166220 166199 166590 166951 166917 166717 166809 166734 166587 166574 166534 166479 166443 166753 166767 166969 167275 166908 166626 166490 166356 166187 166174 166128 166092 166651 166919 167307 167792 167780 167927 167923 167882 167883 167849 167794 167744 168194 168751 169111 169154 168908 168853 168907 169178 169298 169253 169167 169253 169207 169077 169014 169017 169945 170345 170642 170496 170547 170581 170540 170507 170473 170418 170457 170368 172003 172474 172721 172866 172747 172602 172755 172729 172733 173086 173086 173460 173807 174214 174246 174286 174303 174393 174698 174942 174721 174752 174689 174667 174804 174807 174988 175084 174946 174871 174836 174862 174866 174571 174479 174511 174497 174493 174407 174047 173880 173717 173502 173455 173433 173148 173144 172964 172879 172798 172814 172677 172704 172743 172589 172487 172516 172545 172248 172146 172047 172216 172079 172092 171961 171928 171805 172246 172248 172694 172853 172495 172529 172514 172506 172520 172539 172586 172632 172812 172844 172884 172901 172998 172979 172873 172762 172940 173142 172852 172753 172728 172624 172522 172531 172466 172525 172353 172209 172257 172081 171890 171757 171708 171419 171269 171326 171288 171188 171106 171057 170859 170718 170759 170746 170699 170578 171884 171659 171611 171671 171576 171617 171621 171828 171922 172170 172339 172561 172583 172618 172634 172575 172562 172494 172479 172430 172326 172203 172183 172070 171814 171703 171642 171272 171192 171063 170957 170942 170934 170815 170770 170561 170408 170279 170279 171023 170947 170958 170774 171044 171196 171214 171010 170857 170617 170390 170139 170030 169994 170480 170420 170422 170446 170583 170238 169991 169862 170214 169910 169922 170097 170023 171323 171948 172384 172878 173174 173413 173735 172917 172157 171574 171257 171548 171608 171133 170595 170284 169904 170335 169966 169985 170167 170100 171387 172031 172213 172941 173263 173514 173810 173748 172441 171871 171350 171750 172007 172161 171579 171103 171071 170582 170199 170231 170245 170336 170350 171156 171702 172395 172654 173208 173561 173854 173967 173423 172663 172068 171768 172059 172355 171767 171765 171254 170758 170373 170243 170259 170259 170438 170368 171682 172360 172629 173077 173424 173567 173696 173094 172334 171758 171355 171480 171727 171717 171135 170620 170230 169743 165556 164831 164530 163563 162592 165154 165298 167466 167672 170035 170255 171420 171674 173152 173001 174245 174676 174704 174895 175695 175554 175363 175647 176074 176823 176274 176896 176394 176196 176449 177205 178276 178988 178932 179337 179530 179633 179633 181209 181655 181453 181706 181804 181904 181904 182973 183001 183386 183725 183314 182918 183000 183927 183947 184536 184671 184126 184170 184180 184180 185035 185451 185139 184789 184817 184835 184835 185091 186808 187570 187710 188225 188379 188521 188521 188743 189659 189955 190282 189734 189101 189136 189136 193805 202399 203667 204295 204197 203978 204376 204495 204495 204359 204246 204553 204813 205033 205319 205453 205924 206347 208069 208427 210382 211332 211814 211623 211686 211686 211670 211874 211863 211793 211912 211947 213461 213493 213515 213550 213566 215608 216390 216162 215764 215563 215621 215621 216128 216882 217673 217451 216995 216724 216813 216813 218548 218950 219767 219340 218618 217959 218217 218424 219412 219783 220619 220179 219410 218864 220273 220680 220962 220523 220006 220301 220305 220559 221214 221209 222017 221776 221303 221067 221050 222553 222821 222844 223348 222905 222117 222141 222379 222520 223107 223326 223847 223385 222583 222569 222569 224172 224449 224776 224160 223448 223377 223712 224110 225090 225606 225929 225434 225124 225185 225185 227293 227905 228311 227871 227762 227883 227883 228649 229568 230084 230248 230187 229419 229703 229740 232383 233449 233915 234661 233931 232731 233073 233185 233145 232753 232434 232106 232106 234185 234775 235285 234735 234683 234804 234808 235573 236532 237032 237547 236900 236606 236667 236667 240076 241554 242036 242299 242276 241922 241771 241986 241981 242457 242659 242608 242611 244631 245555 245587 245627 245644 245660 246781 247458 247757 247626 247870 248078 248077 248151 248005 247812 247905 248748 249491 249515 250315 250282 249892 249788 249909 249860 249641 249663 249390 249054 249661 250307 250228 249918 249932 249835 249621 249677 249482 249227 249158 249030 249687 249959 250503 250034 249520 249382 249148 248788 248745 248439 248362 248221 249504 249948 250536 250473 250541 250674 250706 250611 250505 250258 250285 250859 251123 251573 251986 251400 250889 250915 250901 251281 250935 250778 250822 250872 250597 250438 250441 251743 252198 252735 252484 252400 252544 252592 252512 252414 252147 252174 252014 253737 253622 253882 254025 253864 253594 253515 253500 253491 253792 253785 253619 254218 254636 254668 254708 254725 254741 255256 255675 255289 255147 255126 255093 255217 255185 255389 255753 255549 255254 254848 254969 255083 255031 255031 255114 255044 254848 254765 254574 254597 254563 254555 254555 254624 254447 254305 253992 253795 253573 253346 253180 253120 252969 252969 252924 252809 252606 252191 251914 251673 251398 251357 251399 251391 251382 251370 251002 251027 251027 250946 250700 250730 250733 250638 250321 249968 249973 250066 249732 249565 249545 249504 249495 249564 249388 249098 249659 249586 250140 250346 250071 249843 249824 249843 249825 249871 250051 250083 250123 250140 250175 250160 250110 250020 250153 250386 250015 249661 249791 249674 249655 249456 249446 249366 249446 249150 248927 248905 248806 248747 248301 248071 248051 248046 247981 247876 247873 247858 247621 247806 247717 247625 247303 247264 247890 247948 247852 247891 247617 247557 247721 247892 247927 247793 247742 247449 247572 247204 247084 246888 246417 246260 245991 245738 245644 245330 245212 246209 245495 245506 245485 245342 245454 245609 245365 245207 244964 244814 244656 244328 244190 243952 243494 243496 243326 243525 243371 243289 242878 243729 243093 243264 243838 243838 246049 247125 247318 248329 247838 248641 248764 248588 247743 246041 246025 245532 245719 245910 245276 244568 244536 244159 243879 243942 243963 244145 244081 246121 246300 247455 247774 248357 248794 248887 248846 248082 247162 246347 245779 246061 246484 246474 245735 245061 244670 244183 245311 244217 244236 244416 244350 246390 247094 247754 248765 248262 249053 249173 249100 247419 246611 245892 246133 246526 246701 245968 245319 245287 244795 244403 244279 244295 244295 244472 244403 246558 247664 247972 248693 248869 248983 248747 247976 246281 245566 245798 246035 246034 245298 244646 244225 243729 236188 234203 232419 230459 228384 231219 231219 231522 234003 234209 237147 238390 238735 240515 240196 241165 241927 241942 241908 241773 242447 242212 242669 242899 243623 243365 242853 243099 242989 243722 244847 245324 245441 245710 245919 246007 246004 247205 247721 247472 247558 247761 247863 247863 247917 248905 249367 249842 249305 248702 248795 248775 249514 250127 250302 249594 249638 249619 249619 250163 250638 250261 249696 249724 249716 249713 249883 251617 252354 252407 252767 252942 253054 253051 253184 254134 254502 254952 254207 253261 253280 253280 256901 258923 268098 269053 268919 268554 269058 269148 269148 269148 268723 268992 269298 269457 269558 269582 270053 270476 272147 272508 274776 275786 276322 276079 276098 276098 276098 276225 276189 276125 276129 276164 277804 277836 277858 277893 277909 280105 281122 280877 280347 279948 280006 280006 280541 281497 282570 282325 281789 281194 281316 281316 283422 283984 285281 284771 283810 282504 282762 282993 284400 284934 286322 285708 284511 283535 285088 285571 286032 285482 284678 284973 284977 285226 285383 286025 287139 286848 286218 285803 285787 287490 287521 287855 288593 288024 286854 286878 287116 287257 288050 288354 289156 288535 287341 287328 287328 289183 289540 290018 289217 288209 288136 288127 288983 290372 291060 291548 290909 290473 290576 290576 292985 293665 294276 293685 293335 293469 293469 293817 295580 296274 296624 296557 295450 295840 295919 298782 299821 300286 301236 300161 298355 298659 298689 298660 298349 298064 297776 297776 300147 300805 301545 300809 300535 300669 300669 301534 302890 303554 304343 303448 302918 303119 303119 306710 306392 308713 308954 308931 308530 308289 308425 308405 308642 308819 308793 308796 310774 311815 311847 311887 311904 311920 313065 313913 314207 314045 314253 314563 314700 314918 314692 314403 314505 315507 315928 316401 317596 317593 317097 316909 317294 317231 317031 317252 316704 316019 316721 317533 317433 317085 317061 316950 316744 316949 316622 316141 316046 315890 316636 316925 317655 317192 316571 316413 316199 315817 315828 315192 315089 314918

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