+ if (Unix.gettimeofday() > timeout)
+ then let () = Printf.eprintf "Timeout reached, killing child process\n%!" in
+ Unix.kill pid Sys.sigkill
+ else if !max_mem >= mem
+ then let () = Printf.eprintf "Memory limit reached, killing child process\n%!" in
+ Unix.kill pid Sys.sigkill