{
  "elapsed_seconds": 1125.8004995491356,
  "max_rss_kib": 8505028,
  "exit_code": -15
}