73.11

Corrected benchmark termination (a missing break). Previously the benchmark loop could not be terminated if the command ran for longer than the allowed time (due to a stuck benchmark command which is unrelated to the pilot). This led to large stdout in some jobs.