Extend the running time for the processes

Amazon EC2 might not complete in just one second.

See #6.