Rép : [Scip] Changing time limit during solving make SCIP freeze

[Aurélien Questel]

Hi,
I have another issue with the bestsol limit parameters.
Actually I have set an limit to the objective value of the solution
i don't want to stop when I find a feasible solution, but when I find a feasible solution fitting the objective value condition.
bestsol limit doesn't seem to fit this condition as I often have something like "X sol  found, Y satisfying the obj limit condition"



Début du message réexpédié :

> De : Aurélien Questel <aurelien.questel at lip6.fr>
> Objet : Rép : [Scip] Changing time limit during solving make SCIP freeze
> Date : 3 mai 2013 12:07:28 HAEC
> À : Timo Berthold <berthold at zib.de>
> 
> 
> Le 3 mai 2013 à 11:53, Timo Berthold a écrit :
> 
>> Hi Aurélien,
>> 
>> Could you please distinguish in your description between the original and the sub-SCIP instance.
>> 
>> What I understood:
>> You are using the original SCIP instance for Branch-and-price, have implemented a pricer, which solves a sub-SCIP instance (as a plain MIP, I assume). 
>> When a solution is found in the sub-SCIP, you want to stop this sub-SCIP and continue solving the original? How did you do this? The only ways I see to change the time limit of the sub-SCIP during its solving is by an event handler.
> Yep, that's it, I have implemented a SolFound event handler to store the solution in a particular way.
> 
>> What might have happened:
>> May it be that you set the timelimit in the original and not in the sub-SCIP?
> nope, I've checked several time :)
> 
>> What you might do: 
>> Set a bestsol limit of 1 for the sub-SCIP, to stop after the first solution. I would not use time limits within the pricing codes since this destroys determinism.
> I'll try this, I hadn't seen this parameter yet, thanks a lots.
> 
>> 
>> Best
>> Timo
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://listserv.zib.de/mailman/private/scip/attachments/20130503/1de15465/attachment.html