<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Great! Thank you very much:D<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;">With regards,<br>Chivalry</div>
</div>
<br><div><div>On Mar 7, 2015, at 12:17 AM, Ambros Gleixner <<a href="mailto:gleixner@zib.de">gleixner@zib.de</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Hi Chivalry,<br><br>You can either read a settings file containing the line "limits/time = <time limit in seconds>" via -s on the command line;<br><br>or use -c "read file.pbo set limits time <time limit in seconds> optimize";<br><br>or pass a batch file via -b with commands for the interactive shell (see <a href="http://scip.zib.de/doc/html/SHELL.php">http://scip.zib.de/doc/html/SHELL.php</a>).<br><br>Have fun,<br>Ambros<br><br><br><br>Am 07.03.2015 um 05:56 schrieb <a href="mailto:key01023@gmail.com">key01023@gmail.com</a>:<br><blockquote type="cite">Hi,<br>I am actually trying to solve pseudo boolean problem using scip binary files:<br>./scip-3.1.0.darwin.x86_64.gnu.opt.spx<span class="Apple-tab-span" style="white-space:pre"> </span>-f file.pbo<br><br>However, I am wondering whether I could set a time limit in the calculation. Thank you:D<br><br>With regards,<br>Chivalry<br>_______________________________________________<br>Scip mailing list<br><a href="mailto:Scip@zib.de">Scip@zib.de</a><br>http://listserv.zib.de/mailman/listinfo/scip<br><br></blockquote><br>-- <br>______________________________________________________________<br>Ambros M. Gleixner<br>Zuse Institute Berlin - TU Berlin - Berlin Mathematical School<br><a href="http://www.zib.de/gleixner">http://www.zib.de/gleixner</a><br>_______________________________________________<br>Scip mailing list<br>Scip@zib.de<br>http://listserv.zib.de/mailman/listinfo/scip<br></blockquote></div><br></body></html>