lots of debugging JuMP code