I am working on a MINLP problem and am searching for a solver that works. I have tried ANTIGONE and receive the following "Termination Status: Infeasible Problem." I also tried DICOPT which also says the problem is infeasible. I also tried BARON and though the solver never terminates on its own, the solution obtained in the local search is often never updated even after 2000+ iterations. When I inspect this solution, it appears the way I would expect an optimal solution to appear. So if I set the solver limit to run for 180 s and use the best solution up until that point, what does this solution represent? What are the risks associated with using this output?
Assuming I am able to use the solution discussed above, I have another question. The purpose of this program is to inform decisions and to update based on current conditions. So even if I have a solution for a particular set of conditions, how can I feel confident it will work well under any number of conditions?
And last, I am not convinced that my formulation can not be improved. I would very much appreciate any tips on improving the formulation to reduce complexity or infeasibility.