Solving a binary quadratic problem in CPLEX

Hello colleagues,
I have the code:

m = Model(with_optimizer(CPLEX.Optimizer,
CPX_PARAM_TILIM=1800,CPX_PARAM_SCRIND=0,CPX_PARAM_EPGAP=0.01))
@variables m begin
    x[i in 1:5] >=3, Int
end
@objective(m,Min,sum(x[i]^2 for i=1:5))

@constraints m begin
   co, 2*x[1] + 3x[2]+4x[3]-x[4]+x[5]  >= 1
 end
 status=optimize!(m)``
But give a error message. 
How can I solve a binary quadratic problem by using CPLEX? Anyone has an example to share with me?

Do you suggest other solver???
An example implemented in JuMP?

I would try with Gurobi.