Only give the solver 32MB of ram.