[Scip] solving pseudo boolean optimization problem

[key01023 at gmail.com]

Hi,

Basically I am trying to solve this problem in pseudo boolean optimization format (.opb) with 18 binary variables,


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… 

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

With regards,
Chivalry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150310/8cba8331/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 9,2,1_periodic.opb
Type: application/octet-stream
Size: 55872 bytes
Desc: not available
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150310/8cba8331/attachment.obj>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150310/8cba8331/attachment-0001.html>