{
  "elapsed_seconds": 1401.000413555652,
  "max_rss_kib": 25620780,
  "exit_code": 1
}