{
  "elapsed_seconds": 2348.9064713884145,
  "max_rss_kib": 9367276,
  "exit_code": -15
}