
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div></div><div><br></div><div>The problem is, no matter what setting I used (maximize heuristics frequency etc.) I always arrive at primal optimum (not proved yet) at 20s and used another 40s+ to prove it… I am wondering whether this is the state of art speed already… </div><div><br></div><div>On the second hand, we have the objective of solving much larger systems, say, such system with 100 variables+. We know that it will take forever to prove optimality, but would there be some settings I could use in SCIP, so that SCIP would simply use all its time trying to find better solution rather than proving optimality? Thank you:D</div><br><div apple-content-edited="true">

<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>With regards,</div><div>Chivalry<br></div></div></div></body></html>