org.opendc.trace.opendc.OdcVmTraceFormat