Improving performance of time limit in shell script