#Odin Run-time Metrics
odin_synth_time;odin.out;Odin II took (.*) seconds
max_odin_mem;odin.out;\s*Maximum resident set size \(kbytes\): (\d+)

