{
  "elapsed_seconds": 202.237282756716,
  "max_rss_kib": 768032,
  "exit_code": -15
}