fixed runWithTimelimit.py