Correctly limit the overall wall time limit
Correctly limit the overall wall time limit

The previous attempt to limit the wall time limit was wrong because it
was interpreting the time limit as milliseconds instead of as seconds.

Now overly huge problems should not time out horribly.

lhchavez/quark,lhchavez/quark