I formulated a mixed-integer quadratic program (MIQP) using MathOptInterface.jl to solve a problem for a student competition. It’s got some continuous variables that are the solution I’m looking for, and I also had to introduce some Boolean variables and lots of constraints. The individual constraints seem pretty simple, though. I’m just looking for a feasible solution, so there’s no minimization or maximization.

I think all the coefficients in my formulation are integers, so I suppose the numerics of the problem are not difficult.

This is my first time modeling either integer optimization or quadratic optimization, however the MOSEK Modeling Cookbook was very helpful in formulating the program.

I’m trying to solve a smaller variant of my MIQP with the SCIP solver, however it seems to be running forever. Are there any **other solvers** that I should try and see if they’re faster? I’m not paying for a solver, though.

Should I try tweaking some specific **solver options**?

SCIP reports this about the problem that it’s solving:

presolved problem has 354200 variables (354000 bin, 0 int, 0 impl, 200 cont) and 354708 constraints

Another thing I’m wondering about: suppose a feasible solution doesn’t exist, how long should/could I expect the solver to run before or if it realizes there’s no solution?

Another thing to note is that the smaller problem that’s currently running is quite big nonetheless, with high memory usage. Any tips for decreasing memory usage? The only thing I can think of is to separate the problem into multiple subproblems, solving them one-by-one, and then combining the solutions; however I’d like to avoid splitting the problem into too many subproblems because this seems like it could lead to a very suboptimal final solution.

A question regarding SCIP: how do I tell whether SCIP managed to realize that my problem is convex? As far as I understand all quadratic programs are convex, but I’m not sure if SCIP can see that my program is quadratic?