[SCIP] Time limit

[Ambros Gleixner]

Hi Marco,

But I agree that 18 vs 10 s is a bit odd.  You can look at the 
statistics and check whether there is one plugin that took a long time, 
then probably there we should include more regular checks.  If you have 
any insight like this, then please report this as a bug.

Best,
Ambros


Am 28.09.21 um 21:05 schrieb 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
>>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip