[bugfix] Fix solver tolerances.

1 job for master in 25 minutes and 14 seconds (queued for 1 second)