<div dir="ltr"><div><div><div><div>Hi James,<br><br></div>My understanding as a scip user is that when switching to counting & collecting, you're explicitly enumerating all solutions. Therefore, separation is turned off probably because 1) it would probably slow down the enumeration without altering the output, and 2) if needed, a provably optimal solution will be available once the explicit enumeration is complete.<br><br></div>Since what you would like to achieve is different than enumeration, it may pay off to play with some of the parameters in limits/, in particular limits/objective, whether in solve or count mode. I hope this helps!<br><br></div>Kind regards,<br></div>Pierre<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 15 May 2018 at 18:34, James Cussens <span dir="ltr"><<a href="mailto:james.cussens@york.ac.uk" target="_blank">james.cussens@york.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I have noticed that when SCIP is counting (and possibly collecting) feasible solutions, separation is turned off.<div><br></div><div>What is the rationale for this?</div><div><br></div><div>In my own SCIP project having no separation led to very poor performance when collecting feasible solutions with objective value better than a given value. (I just want reasonably 'good' feasible solutions.)</div><div><br></div><div>I fixed the problem as follows:</div><div><br></div><div><div>SCIP_CALL( SCIPsetParamsCountsols(scip) );</div><div>         /* put separating back on! */</div><div>         SCIP_CALL( SCIPparamsetSetSeparating(<wbr>scip->set->paramset, scip->set, scip->messagehdlr, SCIP_PARAMSETTING_DEFAULT, TRUE) );</div></div><div><br></div><div>but perhaps keeping separation leads to some other problem I don't realise.</div><div><br></div><div>Any advice on this issue gratefully received.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>James</div><div><div><br></div>-- <br><div class="m_-6401243703016204181gmail_signature">James Cussens<br>Dept of Computer Science &<br>York Centre for Complex Systems Analysis<br>Room 326, The Hub, Deramore Lane            Tel    +44 (0)1904 325371<br>University of York                                        Fax  +44 (0)1904 500159<br>York YO10 5GE, UK                               <a href="http://www.cs.york.ac.uk/~jc" target="_blank">http://www.cs.york.ac.uk/~jc</a><br><a href="http://www.york.ac.uk/docs/disclaimer/email.htm" target="_blank">http://www.york.ac.uk/docs/<wbr>disclaimer/email.htm</a></div>
</div></font></span></div>
<br>______________________________<wbr>_________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/<wbr>mailman/listinfo/scip</a><br>
<br></blockquote></div><br></div>