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-1667
Executing tool marcie
Input is SurprisePhilosophersDyn-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r10ks-qhx2-140069023602315
=====================================================================
--------------------
content from stdout:
BK_START 1400863508920
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: 170 NrTr: 2310)
net check time: 0m0sec
place and transition orderings generation:0m1sec
init dd package: 0m5sec
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
170 409 1700 2080 3645 4641 5182 7667 8351 9802 10458 10897 10970 11101 14092 14654 14696 16817 16848 17716 17848 18033 18121 22845 23891 23957 23983 23983 24015 26585 26612 28255 28347 28423 28549 28625 28732 33958 34899 34938 34998 35012 38497 38879 38939 39333 39377 39389 39389 41501 41621 41761 41810 41884 41992 48069 49292 49334 49368 49413 49413 53512 53914 53914 53982 54375 54443 54443 54860 54904 54904 55305 55365 55365 55385 55385 55472 55556 55556 55767 55803 55815 56342 56342 56442 56450 56975 57279 57426 58300 58300 58300 58373 58415 58415 58820 59509 59517 59517 61209 61230 61230 61351 61468 61673 61832 63041 63041 63581 63581 64470 66439 66439 66550 66493 66493 66616 67259 67332 68581 68581 68696 68827 68827 69400 70386 70430 70499 70528 70528 70828 71162 72521 72521 72572 72705 72705 73715 74620 74796 75561 75561 76703 76801 79334 80221 80225 80227 81731 81731 84280 84442 84442 84490 84581 84581 84715 84702 84819 84889 85041 85041 85057 85198 85341 85341 85479 85635 85642 85642 85662 85830 85802 85802 85930 86024 86024 87102 87102 87106 88722 88831 92306 92306 92361 92480 92480 92582 92582 93668 93668 93670 95247 95249 98674 98674 98705 98715 98715 98859 98859 98931 98933 98996 99050 99053 99077 99073 99177 99204 99241 99267 99265 99363 99401 99442 99576 99570 99571 99595 99764 99827 107593 107628 108092 108106 108340 108438 108610 108630 110808 111586 111228 111567 113438 114046 114042 114543 117253 117374 118031 118043 118228 118328 118661 118641 120811 121072 121221 122482 122355 122685 122593 125126 125841 126995 126995 127142 127400 127426 127775 127807 127722 130404 130411 130411 130196 130200 130200 130071 130071 130154 130156 130159 130182 130185 130210 130210 130210 130233 130349 130349 130347 130404 130456 130536 130616 130616 130629 130664 130723 130742 130741 130765 130768 130847 130901 130891 130891 130891 130898 130966 130977 131032 131079 131138 131229 131240 131241 131241 131309 131328 140231 144115 144102 144735 144721 144721 148262 148315 148315 148976 148974 149087 149179 149628 149643 149509 151869 151869 152008 152008 152979 152969 152971 155901 155901 156110 156030 156030 157031 157031 157031 157255 157526 157527 157566 157512 157504 159927 159677 159677 159576 159576 159707 160505 161134 161400 162516 162563 163514 163528 164242 164407 164444 164931 165370 165369 165368 166233 166415 166443 166437 167042 167504 167586 167581 169261 169722 169761 169805 170833 170834 170834 170837 171527 171481 171425 171425 172666 173001 172972 172926 173788 173788 173763 173684 173684 173547 173520 173520 173570 173559 173614 173630 174931 176224 176420 177522 177800 178082 178144 179090 179517 180382 180317 181119 181031 181032 181057 182440 182783 183014 183020 184016 184520 184967 184957 187434 187939 188409 188340 188346 188280 190031 189986 189996 190606 190783 190699 192676 192699 193342 193832 193775 193719 193657 195386 195338 195338 195179 194874 194874 194761 194761 194844 194924 195070 195084 195080 195070 195185 195541 195541 196293 196314 196317 196481 196703 196703 197292 197278 197391 198624 198624 198586 198567 198961 198989 199736 200183 200183 200651 200651 200652 202193 202074 202060 201938 201862 202131 202571 202587 203213 204462 204442 204693 205530 205423 205351 205351 205715 205845 206216 206185 206108 206108 206561 206555 207035 208050 208570 208560 209346 209970 209976 210656 210672 210953 212186 212028 211929 211914 211856 211856 211890 211865 212744 212732 212736 212962 215455 215463 215463 215318 215210 215210 216077 216077 216075 216209 216566 216563 216540 216526 216526 216469 216438 218417 217884 217884 217945 217948 217872 217898 217834 217819 217703 217843 217811 219135 220520 220811 221197 221127 221784 222045 222154 222568 223008 223594 223395 223397 223424 224450 224398 224776 225050 225666 226248 226981 226849 226768 226747 226753 228162 228118 228682 229098 230786 230131 230033 229831 230562 230791 230687 232889 232505 233232 233860 233583 233563 233526 233375 234773 234773 234504 234128 234128 233810 233234 233234 233301 233388 233480 233874 234299 234380 234793 234806 235249 235249 235502 235655 236648 236647 237600 237913 238097 238645 239169 239436 239570 239885 241017 242334 242552 242804 242804 243085 244111 244329 245702 245832 246036 246135 247612 249821 249821 250103 252071 252689 255334 255468 255637 255798 255857 256145 256145 256244 258485 260886 260968 260968 261125 261198 261131 261400 261742 261494 263300 265425 265740 265740 266853 267455 267984 269504 269574 269654 269532 269532 269681 269781 269811 271733 271733 274339 274455 274759 274669 274669 274587 279633 281269 281575 281575 281720 281879 282150 282075 282006 281921 281821 281767 281554 285785 286891 287029 287029 287063 287105 287108 287256 287491 287511 287617 287662 287662 287661 287868 287868 288090 288226 288528 289216 289216 289258 289367 289367 289847 290334 290500 290514 290741 291368 291368 292335 292364 292364 292382 292476 292807 293813 293813 295027 295125 295125 296207 297218 297218
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="SurprisePhilosophersDyn-PT-10"
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/SurprisePhilosophersDyn-PT-10.tgz
mv SurprisePhilosophersDyn-PT-10 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 SurprisePhilosophersDyn-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r10ks-qhx2-140069023602315"
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 ;