数值优化一元二次方程 juliapro 不显示obj最优解

纯小白:按照网上的列子想入门, 写在julia pro上如下代码:
using JuMP
using GLPK
model = Model(GLPK.Optimizer)
model = Model()
set_optimizer(model, GLPK.Optimizer)
@variable(model, 0 <= x <= 2)
@variable(model, 0 <= y <= 30)
at objective(model, Max, 5x + 3y)
at constraint(model, con, 1x + 5y <= 3)
optimize!(model)
termination_status(model)
objective_value(model)
但是obj value始终不出结果。。。就像无事发生一样,运行完啥也不出,也没有提示error,求问是哪里错了 谢谢大家!!

有在repl里运行过么?