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

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

BK_START 1401986455654

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: 614 NrTr: 1242)

net check time: 0m0sec

place and transition orderings generation:0m2sec

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

855 965 1454 1454 2347 2780 3010 3542 4290 4971 5404 6113 6840 7121 7539 8273 9281 9690 10699 11389 11852 11984 12610 12928 13197 13368 14214 14224 14231 14594 15028 15635 16145 16741 16708 16472 16266 16138 16167 16213 16280 16758 17031 17772 17942 18310 17964 17692 17422 17414 17487 17539 17995 18297 18953 18826 18810 18720 18738 18746 18911 19328 19678 20058 19917 19831 19723 19780 19848 20501 20874 21613 21836 21819 21637 21395 21424 21492 22147 22320 23087 23467 23192 22864 22740 24910 25359 25861 26317 27791 30378 32373 33322 34474 34976 36003 36514 36874 37300 38301 38799 39439 39643 39842 41565 42374 43344 44480 46247 46579 47400 47991 48585 48858 49163 49513 50087 50654 51791 51606 51972 52148 52172 52213 52602 52792 52882 52918 53006 53303 55549 56971 55487 55541 55853 56012 56404 56444 56846 56965 57128 57419 57956 58455 59318 59335 59756 59511 59397 59265 59574 59419 59408 59621 59675 59592 59641 59473 59565 59508 58823 59014 59107 59328 60470 60971 61112 61278 61242 62338 63126 63919 64449 65156 65112 65627 65113 65421 65320 65289 65441 65337 65168 65169 64509 64522 64776 65053 65432 65765 65892 65870 66090 66022 66575 66674 67239 67055 67321 66980 67029 66961 66878 67021 66487 66003 65952 65929 66067 66257 66872 67041 67277 67263 67452 67690 68362 68611 69129 69236 69590 69461 69587 69942 69546 69891 69972 70025 70140 70016 69922 69988 69933 69992 70167 69759 69782 69381 69247 69270 69202 69856 70216 70353 70493 70728 70581 71278 71827 72552 72508 72033 71957 71625 71434 71284 71286 71321 71518 71986 72248 72430 72471 72512 73346 73275 72770 72667 72681 72687 73672 72893 73410 73366 73197 73032 73093 73177 73297 73366 73836 73833 74134 73798 73966 73661 73767 73889 73962 74041 74731 74515 74816 74480 74648 74325 74411 74515 74649 74661 74846 75193 75738 75334 75141 75036 75130 75254 75408 75411 75512 75944 76396 77358 78113 78586 78969 79553 80115 80618 81043 81339 81659 81826 81851 81961 82047 82517 82893 82758 82896 82816 82882 82380 82337 82248 82446 82926 82791 82833 82855 83465 83949 83874 83715 83534 83262 83111 83090 83118 83273 83449 83281 83706 83849 83915 84419 84752 85712 85658 85665 85564 85793 85461 85355 85428 84806 84166 83832 83868 83658 83926 84019 84035 84017 84075 83745 83675 83842 84182 83978 83981 83937 83950 84130 84241 84180 84162 84198 84121 84138 84323 84449 84267 84336 84247 84346 84478 84067 83376 83307 83864 83302 83816 83636 83453 83297 83297 83348 83348 83378 83374 83815 83539 83536 83370 83370 83427 83427 83427 84018 83438 83947 83767 83584 83438 83438 83500 83500 83492 83510 82844 82910 82730 82561 82400 82400 82461 82461 82177 81583 81620 81665 81790 82373 82641 83022 86698 93244 94917 96948 98453 100079 100543 100855 101308 102225 103516 105216 105502 106179 106525 109212 110483 112721 114588 117077 117651 119346 120309 121324 122041 122548 123283 124559 125578 127270 126897 127194 127648 127447 127527 128345 128490 128892 128600 128572 129550 134335 135999 134341 134419 135487 136371 136737 136985 137693 138128 138625 138568 140095 140579 141725 142340 143145 142414 142498 141659 142210 141834 142097 142274 142372 142414 142111 142134 141586 142122 140763 141691 142278 140943 140745 140975 141575 143291 144293 145828 146008 146369 147329 148452 150280 151089 151578 151449 152305 152033 152208 152415 152583 152783 152445 152385 151893 151240 150834 150957 152025 152201 152922 153285 153766 153949 154400 154254 155393 155334 156017 155689 155847 155032 155227 155194 154872 154943 154157 153697 153129 153165 153106 153510 153528 153615 154354 154290 154782 155253 155200 155372 155722 155502 155099 155188 154915 154602 154577 153939 153721 153485 153311 154818 155475 156091 156312 156691 157205 156533 156676 156075 155873 155680 155522 155552 155481 156848 157101 157793 157932 158185 157997 158020 157881 157453 157409 157410 157501 157605 157896 159056 157799 158263 157656 157738 157810 157882 157889 157993 158281 159673 158668 158168 158054 158157 158247 158292 158337 158764 158648 159752 158613 159076 158463 158544 158614 158684 158684 158767 159056 160448 158959 159423 158805 158879 158941 159003 158504 158653 158921 159302 161516 163570 163494 164771 166062 166444 166947 167232 167552 168073 168199 168211 168766 168916 168673 169321 170124 170968 171253 170800 170748 170953 170892 171097 171036 171333 171188 171408 171150 171324 170836 171002 169579 170943 172065 170893 170864 170372 171038 172090 171790 172091 172197 171762 172103 173215 174337 174202 175063 173589 173955 173847 173945 173961 173834 173526 172896 172881 172220 171893 171884 171900 172248 172300 172243 173153 173638 173675 174732 173968 175138 175654 174485 175027 174526 174158 174145 173098 172490 172020 169993 170130 170053 169360 170011 170032 170081 169983 170102 170172 169485 169462 169223 169788 170297 170205 170292 170434 169881 169897 169918 169894 170383 170455 170455 170628 170814 170237 169949 169957 170444 170301 170464 170227 170370 170272 169950 168989 168835 168692 168692 169843 170072 169343 168692 168692 168728 168728 168728 169721 168758 170019 169378 168906 168758 168758 168799 168799 168799 169692 168988 170281 169416 168944 168790 168821 168821 168821 168624 167891 168494 168723 167511 167352 167352 167397 167397 167397 165607 165699 165734 165838 166193 166315 166969 169605 175926 182300 183125 186342 186726 188726 189201 189457 189856 192332 193790 195279 196373 197506 199639 201859 203058 206069 208283 209649 211525 214049 215097 215065 216218 218093 219701 220214 221504 222370 222376 223628 223209 223060 224072 224031 225303 224855 224450 224642 231332 231980 236136 231931 233380 235021 236069 236273 237293 238462 239064 238842 240186 241202 242463 242888 243564 242944 242918 241668 241809 242390 241884 242036 242394 242171 241942 242028 241736 241337 240803 240355 241721 243722 240043 240212 239898 242709 245517 246861 248234 249451 250849 251470 253495 254624 254371 255583 254959 256137 255256 255864 255934 256050 255976 255591 255133 255132 253928 254370 253722 254060 255714 255790 256573 256936 257676 258037 258766 258521 259689 259681 260215 259679 258651 259078 258971 259101 258266 257600 257291 256578 256350 256201 255766 256369 256789 257637 257768 258209 257864 258758 258658 258694 258254 258315 258063 257726 257094 256845 256406 257640 259407 260410 260729 261196 260933 261151 260836 260721 260111 259746 259311 259318 259294 260527 261422 262284 262829 262804 262655 263089 262489 261699 261469 261644 261794 263188 261893 264147 262837 262085 261922 261984 262060 262136 262174 263689 262284 264535 263225 262473 262314 262386 262472 262558 262601 262681 262683 264486 262878 262875 262855 262768 262840 262912 262948 265193 263029 264831 263971 263219 263053 263105 263171 263237 263206 262861 262914 263568 265276 266961 269184 269650 271385 272625 273019 273469 273906 274883 274571 274743 274970 276030 276413 276234 277207 278838 279613 280440 279093 279475 279862 279523 279647 279542 279527 279651 279628 279699 278999 278984 279070 277251 279631 281817 279898 279779 278833 279921 281681 280981 281520 282078 280801 281958 283197 283817 284548 282640 283198 283583 283601 283851 283900 283392 283080 282016 282021 280593 280806 281760 280319 280134 279611 280480 280506 280267 282655 283113 284122 282665 283351 284147 283324 283391 282615 282191 281930 281211 280851 279214 277869 277182 277275 276168 277172 276868 276904 276814 277296 277623 277127 276741 276373 277284 277961 277944 277821 278308 278150 277577 277547 277550 278543 278614 278428 278819 278983 277844 277306 277287 277258 278158 277878 277990 278010 277870 276928 275640 275350 274832 274832 275030 276794 274998 274832 274832 274870 274870 274870 274900 274900 276753 276723 275837 274900 274900 274939 274939 274939 274941 274942 277122 275105 275102 274935 274935 274968 274968 274933 274773 273669 275420 273573 273556 273411 273411 273454 273454 272884 271718 271790 271800 268957 268264 268233 268544 273063 281860 283975 286793 288459 290604 290986 291405 291628 293120 295618 296329 297806 298725 299416 302423 303557 306498 308318 311447 313344 316618 316434 317382 318378 319258 321455 321807 323165 324548 324100 324442 325290 324874 326079 325879 326069 326991 326293 326734 327787 335767 340037 336128 337318 340042 341263 340899 341270 342288 343711 344387 345676 346447 347276 348356 348422 349705 348010 348221 346716 347213 347148 347057 347517 347228 346890 347056 346651 346080 346166 344050 346748 348205 345064 345002 344582 346288 349592 351563 352871 354487 354558 357232 358820 359991 359706 359304 360550 360144 360335 360724 361247 361421 361053 360778 360187 359386 360528 361319 358911 360770 361598 362861 362143 362372 363072 363694 364093 364676 364540 365034 365105 363908 364450 364359 363613 362866 362230 361580 361708 360995 361662 360723 360642 361792 361272 361941 362495 362674 362436 363024 363028 363241 362861 362779 362624 362598 361366 361264 360587 361731 363387 364085 364121 365071 365242 364913 364549 364316 363549 363306 362840 362870 362899 363952 364710 365146 365437 365670 365828 365192 364693 364068 363735 363991 364106 364186 364191 366373 364365 364362 364343 364196 364196 364196 364196 365180 364212 366945 365145 364372 364212 364212 364212 364212 364212 365727 364202 366934 365134 364362 364192 364189 364189 364189 364189 362546 360771 362621 359761 360539 359599 359367 359367 359367 358734 356625 356308 356277 358296 359697 362622 363082 364672 366275 366707 367125 367562 368766 368260 368313 368769 370196 370492 370822 372059 373239 374011 375041 373292 373803 374067 373929 374173 373883 374226 373926 373844 373978 373452 373004 373118 370940 373662 376977 374124 373716 372901 374950 375757 374566 375788 375607 375453 375864 377167 377570 378124 375732 376388 377072 377482 377366 377281 376708 376471 375077 375109 373084 374096 375585 373367 372877 372885 372904 372549 372612 374983 375675 375555 374042 375174 375330 374307 374777 374045 373041 373283 371780 370364 370127 368345 368679 368090 367221 368205 367974 368037 368391 368689 368588 367849 367823 367403 368276 369173 368714 369081 369708 368846 368541 368645 369357 369463 369134 369155 369530 369700 367779 367429 367351 368396 367861 367773 367458 367794 368011 366439 364900 364247 363932 363927 366381 364096 364093 363922 363922 363922 363922 363923 363948 364143 366094 364111 363944 363944 363944 363944 363944 363946 363955 366154 364119 364116 363955 363955 363955 363955 363955 363758 362228 363294 362773 361736 360797 360797 360797 360797 360797 358434 357666 356889 350029 348646 346944 347255 351300 357151 361648 362358 364956 365142 367228 367625 367919 368203 369753 371765 372106 373368 375331 377497 378582 379786 382732 384662 386174 389706 391174 392000 391968 393156 395043 396601 396555 397887 398844 398693 400016 399683 399409 400426 400369 401712 400636 400785 400517 408767 409811 414725 410516 412810 414576 416213 415490 416430 417947 419047 419121 421072 421788 423339 423424 424645 422851 423159 421445 422046 422120 422009 422092 422206 422202 422022 421535 420906 420042 419474

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