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

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

BK_START 1401987497376

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: 792 NrTr: 4268)

net check time: 0m0sec

place and transition orderings generation:0m30sec

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

792 1146 1286 2003 2008 2011 3453 3465 3468 3471 3471 6358 6384 6390 6393 6393 6396 6396 6396 11975 11975 11975 12015 12015 12015 13001 13669 13669 14914 15419 16020 16352 16891 17286 18169 18335 19130 19975 20357 20869 21360 22185 22768 23421 23860 24361 24475 24607 24872 25199 25423 25917 26296 26347 26357 26446 26404 26333 26673 27156 27663 28119 28142 28204 28567 28475 28279 28332 28766 29300 29675 30195 30270 30392 30419 30343 30156 30346 30899 31165 31768 32002 32071 32022 31926 31887 32032 32709 32997 33293 33879 33934 34080 33919 33767 33927 34320 34502 35232 35434 35065 34766 34449 36763 36912 37063 37212 37359 37503 37503 38975 39116 39255 39749 40779 40881 41346 43337 43941 44403 44755 45127 45448 46089 46712 47358 47752 48049 48729 49030 49198 49614 49729 49647 49757 51518 52503 52728 53283 54125 54999 55177 55492 55570 55494 56066 56137 56166 56326 56494 56320 57145 57366 57726 57751 57799 58494 58820 59059 59205 59203 59936 60015 60061 60197 60198 60124 60673 60736 60821 60948 60808 61088 61564 61928 61790 61564 61991 61968 62184 62103 61955 62027 62181 62514 62813 63021 63117 63036 63145 64904 66238 66471 66959 68007 68753 68917 69096 69467 69550 69574 70170 70161 70097 70149 70794 70824 70932 71204 71477 71517 71202 71453 71302 71324 71414 71155 71175 71394 71018 70813 70674 70993 71298 71569 72510 72567 72564 72573 73578 74321 75053 75880 76400 76569 76742 77039 77211 77440 77576 77806 77980 78206 78258 78467 78407 78142 78007 77945 77814 78055 78320 78453 78837 78954 78873 78994 80104 80531 80804 81674 81785 81825 81884 81946 82044 82085 82127 82100 81902 81901 81594 81287 81148 81374 81531 81612 81930 82024 81945 81945 82849 83019 83685 83963 84032 83977 84061 84014 83880 83678 83462 83296 83121 83597 83807 84650 84856 84949 84892 85027 85472 85937 86526 86399 86229 86037 85691 85374 85176 85453 85560 85609 86008 86099 86020 86023 87275 86919 86861 86591 87484 86823 86992 87544 87876 88183 87872 87161 87192 87252 87294 87352 87418 87423 87687 87689 87877 88456 88704 89176 88784 88065 88090 88114 88186 88242 88306 88307 88607 88607 88607 88809 89564 90031 90077 89011 89040 89067 89102 89204 89271 89271 89274 90103 89573 89794 90392 90823 91129 90615 90025 90051 90119 90165 90227 90297 90298 90552 90552 90791 90791 91573 92040 92083 91030 91049 91115 91160 91213 91282 91359 91361 91655 91657 91895 92526 92774 93165 92854 92133 92155 92207 92245 92299 92361 92362 92470 92619 92770 92919 93066 93210 93350 93491 93630 93630 94120 95780 95833 96181 99905 102724 103235 103339 103263 103851 104172 105500 106557 106894 107294 108482 108881 108483 109673 110278 109993 109857 114270 116186 117140 117590 118993 120664 121544 121899 122410 122630 122220 123917 123735 123913 124294 124305 124309 124742 125997 126250 127049 127207 126850 128868 129105 129444 130306 130220 129926 131454 131334 131231 131575 131619 131829 132558 132554 132720 132881 132330 133821 134659 135202 134639 133936 134970 134585 134473 134828 134666 134214 134764 135353 135682 135767 136709 136717 136537 136697 140385 140580 140804 141973 142785 142830 142927 142976 142956 143710 143599 143400 143296 143354 144302 144284 144422 144383 144345 145401 145438 145587 145641 145505 146552 146972 146224 145865 146237 146192 145931 146005 145749 145536 145872 145661 145341 145186 145051 145988 146753 147170 148770 149974 149903 149766 149928 153169 153503 154836 155875 156512 156954 157717 158138 158595 159080 159336 160202 160268 160279 160277 160743 160716 160482 160379 160285 159981 160589 161066 161201 161306 162101 162254 161896 162034 164233 164372 164808 165594 165921 165675 165726 165552 165433 165292 165184 165085 164893 164551 163989 163423 163237 164089 164083 163828 164696 164761 164412 164428 165613 165787 166483 166538 166436 166146 165889 165720 165517 165095 164792 164436 165776 166240 166373 167764 169129 168753 168760 170262 170260 170196 169907 169435 169084 169738 170136 169828 170450 170968 170912 170568 172919 172524 172555 171835 171835 172247 171911 171928 173183 174696 174417 173027 171943 171965 171993 172007 172021 172035 172038 173120 172123 172150 172541 175050 175247 173457 172172 172223 172250 172277 172304 172331 172358 172357 172462 172462 172486 172744 174545 175712 175049 173039 172522 172574 172598 172622 172646 172670 172669 172755 172755 172783 172783 174279 175757 175366 173517 172826 172859 172915 172943 172971 172999 172946 172882 173747 172916 172938 173197 175525 175808 174248 172958 172996 173018 173062 173084 173106 173098 173011 173633 172853 172867 173122 175610 175733 174173 172875 172897 172921 172933 172945 172957 172267 172265 172414 172565 172714 172861 173005 173140 173281 173420 173910 173910 176401 176353 176702 181472 187043 187363 186361 186463 186771 187099 189001 190631 190972 191266 193353 193745 192958 194979 196162 195474 195102 201079 203005 204322 204891 206359 208520 209546 210007 210585 211147 210743 211858 213074 213004 213580 214030 214040 214334 216411 216049 217728 218125 217042 219651 220646 220744 222496 222202 221692 223715 224022 223155 223962 224133 224241 225207 225255 225199 225372 224553 227239 228361 228644 227391 226404 228002 227616 226813 227747 227340 226673 227788 229047 229149 228949 230906 230632 230209 230408 234258 234581 234877 235880 236897 236912 236728 237197 236842 238195 238268 237399 237813 237548 238795 238738 238811 239240 238794 240255 240170 240521 240559 240286 242106 242333 241088 240608 241088 241176 240844 240909 240839 240226 240757 240502 240168 240071 239674 241668 243013 243200 245529 248692 248017 247751 250836 252321 252737 253935 255283 256147 256231 257349 258644 258362 258115 259769 259624 259801 261025 260867 260750 260742 261022 261247 260941 260717 261116 261073 260589 260284 261994 262879 261582 263366 264257 263467 263111 266213 264766 265123 265723 266005 265657 265328 265086 264567 264205 264118 263743 263554 263110 262521 261592 262904 263487 263021 262545 264425 264138 263063 263223 263989 264325 264177 263632 263264 263070 262388 262028 264025 265927 265143 267427 270729 270353 269679 269915 270903 271284 270993 270256 269684 270923 271457 271352 271228 273010 272422 271891 272030 273911 273143 272324 272324 273108 272398 272428 275141 277766 276679 273939 272470 272500 272530 272590 272620 272650 272650 272653 274361 272749 272770 273161 277841 278156 274598 272785 272797 272808 272830 272841 272852 272851 272957 272957 272983 273241 275962 278453 277188 273652 273021 273073 273099 273125 273151 273177 273176 273174 273590 273263 273285 275872 278439 277765 274515 273314 273336 273380 273402 273424 273446 273393 273329 274085 273364 273383 275972 278726 277639 274899 273408 273427 273465 273484 273503 273522 273513 273269 273269 273300 273700 277529 279015 276314 273324 273345 273407 273438 273469 273500 273531 273125 270228 269957 269630 269278 269278 269005 268700 268413 268057 267635 268125 268333 270847 271172 275797 281663 283653 281224 280835 281111 281655 281948 284003 286032 286357 288185 289275 289833 288351 291418 291829 290565 290830 297232 298499 299907 300499 302369 304575 304920 304771 305543 306332 305139 308734 308555 308520 309702 309803 307852 311947 312421 311734 314132 313824 314243 316561 316786 317107 318888 318670 319992 320061 320335 320074 321148 319438 321261 321416 320639 321683 322187 320650 324038 325505 323198 322787 323257 323957 323490 322856 323726 323354 322595 324816 326373 323901 326269 327325 325928 326191 330083 329909 329923 330182 330875 331902 331987 331946 332256 333514 333227 333399 332654 333163 333739 333876 333575 334213 333910 335560 335608 335093 335872 335707 336356 338023 337051 336034 336644 336319 335884 336278 335911 335837 336380 335934 335341 335543 335086 334970 338797 339431 338595 344103 345643 343902 344177 347309 349161 350151 351503 352966 352987 354367 355974 355546 355134 356654 356977 356993 357907 357512 357116 357452 357778 357227 357039 357600 357729 356758 356582 358583 359879 357405 359610 360402 358894 359010 360903 359982 360483 360647 360414 360052 359486 359516 358961 358428 358255 357745 357626 357227 356561 355893 355397 355272 357580 357188 355388 357436 357742 357210 355965 356642 356431 356360 356264 355674 355106 354818 354366 354052 358126 359409 357689 360571 364945 363047 362984 365661 363439 363433 362934 362300 361977 364081 363954 362175 364586 365236 365047 363289 366355 362888 362409 361997 361997 362005 362005 362013 366027 368841 367860 363300 362021 362021 362021 362021 362021 362021 362024 364175 362026 362028 362411 368070 368954 363927 362030 362030 362030 362030 362030 362030 362028 362043 362380 362043 362043 365668 368870 367643 363332 362043 362043 362043 362043 362043 362043 362042 362040 362040 362040 362282 367723 369186 367257 362693 362040 362040 362040 362040 362040 362040 361924 361902 361902 361902 362282 367578 369265 364716 361902 361902 361902 361902 361902 361902 361902 361893 361328 360552 360222 360222 362423 365351 363273 358709 358050 358050 358050 358050 358050 356728 354867 346860 346248 346248 344899 344330 343553 342632 341279 339401 339891 340099 342240 342571 343136 352433 354600 352203 350318 350337 350896 351189 353199 355444 355607 357622

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