non-deterministic timeouts on slow machines