<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Dear Chivalry,<br>
<br>
there is a paragraph in the <a
href="http://scip.zib.de/doc/html/FAQ.php">FAQ</a> about how to
change the behavior of SCIP. I would go for aggressive heuristics
and leave the rest unchanged for a first shot. Keep in mind that
changing the settings for proving optimality, i.e. reducing the
effort in keeping the search tree size small, might make it harder
or even impossible to succeed on the primal solution side.<br>
<br>
I am not sure whether there are other techniques specific for
pseudo-boolean optimization, <br>
maybe the experts for PBO on this mailing list can give further
advice.<br>
<br>
Kind regards,<br>
Gregor<br>
<br>
<br>
<br>
<br>
<br>
Am 10.03.2015 um 23:24 schrieb <a class="moz-txt-link-abbreviated" href="mailto:key01023@gmail.com">key01023@gmail.com</a>:<br>
</div>
<blockquote
cite="mid:BA860435-4592-473F-B5EC-71AF3930C265@gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<div>Hi,</div>
<div><br>
</div>
<div>Basically I am trying to solve this problem in pseudo boolean
optimization format (.opb) with 18 binary variables,</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>