How to manage memory when using JuMP+Gurobi?

See also your previous question