Modified: wait 30 sec for user process to exit after a signal. It was 5 sec previously.