{
  "elapsed_seconds": 399.8674292983487,
  "max_rss_kib": 836304,
  "exit_code": -15
}