Simplified algorithm, now uses fork.
Removed cputime check from Magma.