[SCIP] Time limit

[Marc Pfetsch]

Hi Marco,

the time limit is only checked from time to time. Thus, it might be that 
SCIP runs slightly longer than the time limit. This behavior is 
independent of whether SCIP found a solution or not.

Best

Marc

On 28/09/2021 10.32, Marco Correia wrote:
> Hi,
> 
> It appears sometimes SCIP has a very relaxed interpretation of the 
> "limits/time" parameter. For example, I just run an instance with 
> "limits/time = 10s" and SCIP tool 18s.
> 
> Not sure if relevant, but this is a quadratic problem, and has lazy 
> constraints (time in lazy constraint generation is negligible though, in 
> this particular instance it was 0.01s).
> 
> I am expecting that SCIP honors the timelimit parameter, even if it 
> can't find any solution. Maybe this assumption is wrong?
> 
> Thanks
> Marco
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
>