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-1667
Executing tool marcie
Input is SurpriseCSRepetitions-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066506201886
=====================================================================

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

BK_START 1400686138908

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: 498 NrTr: 833)

net check time: 0m0sec

place and transition orderings generation:0m0sec

init dd package: 0m5sec


before gc: list nodes free: 1381436

after gc: idd nodes used:99139, unused:15900861; list nodes free:72952941

before gc: list nodes free: 582132

after gc: idd nodes used:188379, unused:15811621; list nodes free:72559394

before gc: list nodes free: 2623751

after gc: idd nodes used:202035, unused:15797965; list nodes free:72500688

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

3566 3668 3695 4053 4085 4139 4208 4645 4810 4947 4832 4834 5005 5772 5405 5805 5928 5543 5625 5654 5828 5573 5637 5618 7026 7845 7126 7710 6940 8197 7558 7961 8529 7679 8243 7613 8045 7686 7935 7799 12400 11062 12182 11117 11351 10956 10722 10680 10081 10424 9832 10161 9823 11094 9971 9889 13378 12730 11618 12432 12052 12654 12014 10768 11876 10874 11396 11102 10796 10797 10974 11770 11159 10263 10264 14876 13550 14560 14396 12823 13744 13552 13630 12675 12712 12652 12249 12122 11536 11543 11353 11202 10958 12108 10757 10645 10630 10391 26336 24586 22127 21284 22122 21100 21303 20922 20896 20765 24952 26459 25579 25728 26641 26513 26603 26591 26586 26404 18257 24360 25059 23646 23252 26250 25702 25963 25623 25885 25644 24874 24720 23658 23002 25464 25292 25430 25234 25346 25164 18559 23987 24029 21928 24705 24772 24200 24631 24270 24519 19010 22606 21367 20549 21363 21235 21558 21353 21599 21416 25637 24689 23821 21375 21246 21035 21297 21202 25673 24796 24133 21525 21238 21148 21083 20746 25381 24213 21860 21393 21057 21047 20909 20654 51317 52060 46002 44272 43504 42315 42685 41740 41771 41408 43428 40878 50004 52371 51060 49850 53937 53291 53820 53466 53786 53344 41943 36984 35357 48424 49114 47776 52031 52950 51847 52628 51961 52432 41981 38195 35973 50241 47434 45854 45269 51801 50596 51159 50471 50977 50527 39239 37034 50296 47015 44421 43246 50026 48767 49378 48690 49134 48668 40649 38373 45748 43669 41210 42509 42193 42604 42237 42876 42560 43053 40681 50772 48773 43502 42686 42042 41840 41967 41534 43050 41057 50658 48296 43566 42482 42170 41978 41513 43888 41075 50515 48694 43209 42287 42018 41745 41471 41313 42925 40936 102826 104374 92050 88384 86415 84513 84569 82868 83293 82019 86611 81511 86102 81693 93437 105648 102384 99626 107315 109150 106913 108506 107151 108074 90592 87660 83544 76039 72209 104856 102884 98620 97648 104969 104181 105532 104464 105220 103772 90360 84700 79592 75096 72201 97886 94120 91051 87354 103962 100649 102242 100943 101294 88530 87284 83272 78989 75159 101611 98469 92141 89887 100435 98516 100263 98547 98851 98898 88007 82629 79677 75260 90612 86998 84734 79245 84631 85717 84977 86029 85249 88695 82801 86655 81594 80326 99503 96010 86642 85114 84420 84275 83955 82501 83125 88197 82121 81064 100818 96146 86734 84866 83690 83268 82588 86767 81985 85751 81802 101861 97682 94531 84819 84119 83322 82534 82197 86434 81626 85590 81622 121523 122904 128970 139218 132177 120709 135965 123558 118182 124672 112620 110223 117216 111308 116203 111135 111056 132358 130689 123639 132789 123899 121150 124618 121510 125052 117317 114520 126193 122851 118777 118291 120962 117613 117990 114301 113244 117116 112626 111798 112564 111906 111664 111055 110704 108895 108067 106323 168833 172397 166606 160670 150513 142158 152758 143860 157467 144357 152564 140792 132813 125290 121847 116088 113836 123359 109225 117618 105149 111530 99838 96271 92617 153164 148807 137259 155813 145465 137673 145699 139791 157374 146236 142801 140438 139609 145221 139621 137249 127745 157302 166564 158465 157365 167071 159581 156356 156225 153528 166639 159149 137942 139255 156222 156599 152721 150285 155628 152415 155994 152501 148803 138092 145610 137922 137131 137874 137188 137804 137489 136859 131258 130557 126703 123834 121600 190324 200750 199561 194571 187293 179223 189297 182395 196002 182878 202025 192797 190490 183993 178362 173485 160025 174495 168695 160627 158593 133158 133197 155169 152900 151583 149474 149330 142164 140483 139534 137925 137833 130883 152354 150693 150647 149094 147351 140321 140139 138692 137507 137447 136408 129715 129321 150441 148747 148615 146914 145251 145306 138383 137014 137072 135882 135733 134482 127979 109063 107815 105298 160460 164026 153962 150606 165460 156508 153600 153930 171421 166696 158185 157243 156465 150504 156474 152470 167024 145912 145536 187679 175071 167616 163714 176453 169383 164072 165334 179473 176008 168938 178085 154113 153995 173057 166601 162751 160736 166192 162482 166066 162601 158896 166779 149924 149308 157786 149049 147712 149008 148378 148946 148365 147545 150741 143114 142587 140326 137062 135049 232377 196967 206643 205643 202781 197008 206857 200393

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="SurpriseCSRepetitions-PT-07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/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/SurpriseCSRepetitions-PT-07.tgz
mv SurpriseCSRepetitions-PT-07 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool marcie"
echo " Input is SurpriseCSRepetitions-PT-07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066506201886"
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 ;