[SCIP] Time limit

[Marco Correia]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20210928/6c06e4db/attachment.html>