So I am solving a purely integer linear optimization problem with Pyomo on a single computer (core i-5, 12 GB RAM). The problem has around 10000 variables and 300 constraints. For doing this, I am calling the solver GLPK. However, I find that the problem cannot be solved in a timely manner. Yesterday I let it run for 14 hours straight and, during that time, only a feasible solution was found (failed to certify optimality). Is this expected for problems of this size given my hardware? What problem size should I expect to be able to manage within 1-5 hours? I have no experience with this practical side and thus my intuition of what is a big problem could be flawed.
Curiously enough, the relaxation of the same problem is solved within a second. I know that I cannot expect the solution time to be roughly the same on both cases but the difference is so much that it feels like I am doing something wrong.