> [98.184618] [test/INFO] ------------------- Produce the trace file---------------------------
> [98.184618] [test/INFO] Producing a jedule output (if active) of the run into minmin_test.jed
> [98.184618] [test/INFO] ------------------- Produce the trace file---------------------------
> [98.184618] [test/INFO] Producing a jedule output (if active) of the run into minmin_test.jed