added return value for runWithTimelimit.py