Yes? I mean there are binary and continuous variables. And both are relevant to the solution (will not be optimized out).
What exactly do you mean by that? JuMP is an abstraction layer that allow you to create mathematical models and then choose between many solvers available changing just one or two lines. JuMP does not solve anything by itself, in this example it is using the GLPK solver to do the optimization.