{
  "wall_seconds": 87.21422892808914,
  "user_seconds": 311.894084,
  "system_seconds": 8.477575,
  "max_rss_kib": 3424204,
  "exit_code": 0
}