Added timeout to run_boxed.sh to produce TLE even if the program does not use CPU.