coin-or / SHOT

A solver for mixed-integer nonlinear optimization problems
https://shotsolver.dev
Eclipse Public License 2.0
119 stars 25 forks source link

SHOT exits abruptly on Windows #85

Open modiyamrugank opened 4 years ago

modiyamrugank commented 4 years ago

I am using pyomo for a MIQP problem and SHOT just exits abruptly after sometime. I tried using the .nl problem file generated by pyomo directly from SHOT command line but it still exits abruptly. Log is attached. I have been using the same problem with Bonmin solver and it works fine. I am using the SHOT binaries for windows. SHOT.log

andreaslundell commented 4 years ago

It is difficult to find the problem without more information... Do you think you could share the .nl file either as an attachment to the issue on Github or by e-mail (andreas.lundell@abo.fi) if you do not want to make it public?

Another thing you could do is to increase the verbosity of the output and upload that. To do this, specify the following parameters

Output.Console.LogLevel=0
Output.Console.Iteration.Detail=0
Output.Console.DualSolver.Show=true
andreaslundell commented 4 years ago

This actually happens on Linux as well. But the problem is not with SHOT, but rather it's Cbc (which SHOT uses as a subsolver) that crashes.

I tried with a newer version of Cbc (the current master-branch) than the one included in the Windows binaries, but it does not help. I also tried setting some different options for Cbc, but sooner or later Cbc crashed anyway. At this stage I cannot unfortunately put any more effort into finding the exact reason why Cbc crashes, but hopefully this is something that version 3.0 of Cbc will fix whenever it is released.

If you have the possibility to use Cplex or Gurobi (both free for academic use), you can use SHOT with those solvers instead. I tested SHOT with CPLEX and that solved your problem. However, there is no precompiled version of SHOT with those solvers so you would need to compile it yourself.

svigerske commented 2 years ago

159 may be relevant, or maybe not.