<div dir="ltr"><div>Dear Mark, <br></div><div>on June, 14, my colleague, Sergey Smirnov, asked you about the issue:<br>"How to set SCIP parameters so that the solver will use only cuts and will not use branching?"<br></div><div>We tried your recommendation (see below) but did not get success...</div><div><br></div><div>Recently we returned to our "research on cuts-only-and-no-branching effect" with the latest version of SCIP 7.0.3.<br></div>We try PySCIPOpt now and the method <br><div>model.writeParams(onlychanged=True)</div><div>write the following non-default settings</div><div>l<span style="font-family:monospace">imits/totalnodes = 1<br>separating/maxcuts = 10000000<br>separating/maxcutsroot = 10000000<br>separating/cutagelimit = -1<br>branching/random/priority = 20000</span></div><div><br></div><div>But in the output I get the <b><span style="font-family:monospace">[total node limit reached]</span></b>:</div><div>|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||</div><div>....<br></div><div>presolved problem has 2633 variables (2633 bin, 0 int, 0 impl, 0 cont) and 1888 constraints<br>     16 constraints of type <setppc><br>      2 constraints of type <xor><br>    804 constraints of type <linear><br>    395 constraints of type <orbitope><br>    671 constraints of type <logicor><br>transformed objective value is always integral (scale: 1)<br>Presolving Time: 0.16</div><div>....<br></div><div><span style="font-family:monospace"> time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. <br>  0.9s|     1 |     0 |   579 |     - |    47M |   0 |2379 |1758 |1381 |   0 |  0 |  10 |   0 | 0.000000e+00 |      --      |    Inf | unknown<br></span></div><div><span style="font-family:monospace">  0.8s|     1 |     0 |  1087 |     - |    52M |   0 |2402 |1768 |1524 | 132 |  1 |   9 |   0 | 0.000000e+00 |      --      |    Inf | unknown</span></div><div><span style="font-family:monospace">.....<br></span></div><div><span style="font-family:monospace">  4.7s|     1 |     2 | 13383 |     - |    66M |   0 |2379 |1778 |2840 |1459 | 11 |  10 |   0 | 0.000000e+00 |      --      |    Inf | unknown<br><br>SCIP Status        : solving was interrupted [total node limit reached]<br>Solving Time (sec) : 4.68<br>Solving Nodes      : 1<br>Primal Bound       : +1.00000000000000e+20 (0 solutions)<br>Dual Bound         : +0.00000000000000e+00<br>Gap                : infinite<br></span></div><div><div>|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||<br></div></div><div>More over, it seems that all parameters except l<span style="font-family:monospace">imits/totalnodes</span> , do not take any effect on the result!? <br></div><div><br></div><div>After some "investigation" I tried to set the following parameters also (in addition to those mentioned above)<br></div><div><span style="font-family:monospace">constraints/linear/sepafreq = 20000<br>constraints/linear/propfreq = 20000<br>constraints/linear/proptiming = 15</span></div><div><br></div><div>And for the one (only one!) instance of our problem (they are generated "randomly" from some predefined class) , the solving process took about 70 seconds and the number of cuts reached ~7000...<br></div><div>But I can not reproduce this effect for other  instances of our problem !!!<br></div><div>Can you help us with proper settings of SCIP parameters to tell the solver use only cuts and do not use branching?<br></div><div><br></div><div>Sincerely yours,</div><div>Vladimir V. Voloshinov,<br>Ph.D, <a href="https://scholar.google.ru/citations?hl=en&user=-m4QhNEAAAAJ&view_op=list_works&sortby=pubdate" target="_blank">GoogleScholar profile</a></div><div><br></div><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jun 14, 2021 at 8:51 PM Marc Pfetsch <<a href="mailto:pfetsch@mathematik.tu-darmstadt.de" target="_blank">pfetsch@mathematik.tu-darmstadt.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
Dear Sergey,<br>
<br>
you need to add a node limit and turn off strong-branching. In the<br>
console this can be done as follows:<br>
<br>
set limits nodes 1<br>
set branching random priority 20000<br>
<br>
(The last command prioritizes the random branching rule of the default<br>
rule with strong branching).<br>
<br>
Strong branching might also be the reason for the observed behavior.<br>
<br>
Best<br>
<br>
Marc<br>
<br>
<br>
On 14/06/2021 11.57, Sergey Smirnov wrote:<br>
> Dear SCIP community,<br>
> can you tell me if it is possible to run SCIP in such a way, when only<br>
> cuts (at root node) will be used and no branching?<br>
> We use SCIP in "a console mode" as a standalone application.<br>
> <br>
> My question is triggered by an effect my colleague found: one of<br>
> commercial solvers solves some of Integer Linear Programming problems<br>
> much faster by cuts only, without any branching. It was a kind of<br>
> Constrained Programming problem, to find a feasible solution of a system<br>
> of linear equations with binary variables.<br>
> "Only cuts" took a few seconds and "cuts and branching" - a few minutes.<br>
> <br>
> Regards,<br>
> Sergey<br>
> <br>
> <br>
> _______________________________________________<br>
> Scip mailing list<br>
> <a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
> <br>
_______________________________________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</blockquote></div><br clear="all"><br></div></div>