[Scip] SCIP Time Limit Bug

[Tobias Achterberg]

Hans D. Mittelmann wrote:
> The time limit becomes effective after it has found a
> feasible solution which was not the case in your run.

No, the time limit setting should be independent on whether a solution has been found or 
not. What Bahador describes really looks like a bug. I guess that it has something to do 
with the fact that he actually solves an LP and not a MIP. The code should be able to 
handle this special case, but I guess that it is not tested that carefully in this regard.

Clearly, I think that it should not be too hard to fix. People at ZIB will do this.


Tobias