Closed GoogleCodeExporter closed 9 years ago
The CING process got killed after running for an hour. Solution: increased from:
limit cputime 6000 # Maximum number of seconds the CPU can spend
to:
limit cputime 12000 # Maximum number of seconds the CPU can spend
Comitted in revison 527. Will rerun at some point.
Original comment by jurge...@gmail.com
on 27 Mar 2009 at 9:44
Original issue reported on code.google.com by
jurge...@gmail.com
on 27 Mar 2009 at 9:27