Recommendations for solver and options to solve a MIQP, just looking for a feasible solution

First, MIQP problems are difficult to solve. Especially ones with 354,000 binary variables! The answer you’re looking for is highly problem dependent, so if you can post a reproducible example, people may have suggestions for modeling improvements. Trying to tune the solver is probably of little benefit.

Are there any other solvers that I should try and see if they’re faster? I’m not paying for a solver, though.

You don’t have many options, unfortunately. If you’re an academic, I’d suggest Gurobi. Otherwise it’s mainly SCIP. Other options like Bonmin are likely to also struggle.

As far as I understand all quadratic programs are convex

This is not true. x^2 <= 1 is convex, x^2 >= 1 is non-convex. (The feasible region is x <= -1 and x >= 1. The range x in (-1, 1) is infeasible.) Similarly, min x^2 is convex, max x^2 is non-convex. Also, terms like x * y are non-convex.

3 Likes