<div dir="ltr">Dear SCIP developers,<div>we tried to solve some "middle-size" nonlinear problem with polynomial functions in constraints with out any discrete variables (extr. from NL-file header below)</div><div> 430 442 1 0 401      # vars, constraints, objectives, ranges, eqns<br> 199 1 0 0 0 0             # nonlinear constrs, objs; ccons: lin, nonlin, nd, nzlb<br> 129 221 26           # nonlinear vars in constraints, objectives, both<br>  0 0 0 0 0                     # discrete variables: binary, integer, nonlinear (b,c,o)<br></div><div>Some of nonlinear constraints are non-convex quadratic and others (100 totally) are 3rd order polynomial, i.e. sums of the items like " <var1>*sqr(<var2>)"  (in CIP format).</div><div></div><div>Local solver IPOPT founds local optimum (we suspect that it is global) in 10 seconds.</div><div>But SCIP with default settings (and FiberSCIP) can not prove global optimality in an hours and I DO NOT SEE ANY BRANCHING (domain decomposition), see fragment of SCIP-log:</div><div>=============================<br></div><div> time | node  | left  |LP iter    |LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts   | ,,, | dualbound       | primalbound  |  gap  <br></div><div> 5004s|     1 |     0   | 12932k|     -      |  77M|   0     |   0  | 427 | 438 | 427 |  89k | 190k | ... |-2.167723e-01 | 1.615240e-01 |    Inf <br></div><div>...........<br></div><div>  358m|     1 |     0   | 31028k|     -     | 103M|   0    |   0   | 427 | 438 | 427 | 126k| 259k| ...  |-1.800902e-01 | 1.615240e-01 |    Inf <br>SCIP Status        : solving was interrupted [user interrupt]<br>Solving Time (sec) : 21469.69<br>Solving Nodes      : 1<br>Primal Bound       : +1.61523993625950e-01 (2 solutions)<br>Dual Bound         : -1.80090245701914e-01<br></div><div>=============================<br></div><div><br></div><div>I understand that it is a hard problem, but it is strange that solver did not try to split bounded domain ! Only number of linear cuts has been increasing... <br></div><div>It looks like SCIP only tries to approximate objective function epigraph by polyhedron (as a result lower bound increases slowly).<br></div><div><br></div><div>Is it normal behaviour of SCIP or some settings for branching rules may be applied ?<br></div><div><br></div><div>Sincerely yours,<br></div><div>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>Vladimir V. Voloshinov,<br>Ph.D, head of lab. C-3 "Distributed computing algorithms", <a href="http://www.iitp.ru/ru/researchlabs/1040.htm" target="_blank">http://www.iitp.ru/ru/researchlabs/1040.htm</a>,<br>Center for Distributed Computing, Institute for Information Transmission Problems RAS, <a href="http://www.iitp.ru" target="_blank">http://www.iitp.ru</a><br>web: <a href="https://scholar.google.ru/citations?hl=en&user=-m4QhNEAAAAJ&view_op=list_works&sortby=pubdate" target="_blank">our site is temporarily offline</a></div></div></div></div></div></div></div></div></div>