About the Execution of ITS-Tools for S_SharedMemory-COL-001000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6885.830 | 3600000.00 | 4318428.00 | 5094.80 | [undef] | Time out reached |
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-2265
Executing tool itstools
Input is S_SharedMemory-COL-001000, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r271st-qhx2-143374437800261
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1433938967377
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
Jun 10, 2015 12:22:53 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 10, 2015 12:22:53 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 10, 2015 12:22:56 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 3272 ms
Jun 10, 2015 12:22:57 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 6 places.
Jun 10, 2015 12:23:01 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage