[Scip] About time limit setting

key01023 at gmail.com key01023 at gmail.com
Sat Mar 7 07:38:44 CET 2015


Great! Thank you very much:D
With regards,
Chivalry

On Mar 7, 2015, at 12:17 AM, Ambros Gleixner <gleixner at zib.de> wrote:

> Hi Chivalry,
> 
> You can either read a settings file containing the line "limits/time = <time limit in seconds>" via -s on the command line;
> 
> or use -c "read file.pbo set limits time <time limit in seconds> optimize";
> 
> or pass a batch file via -b with commands for the interactive shell (see http://scip.zib.de/doc/html/SHELL.php).
> 
> Have fun,
> Ambros
> 
> 
> 
> Am 07.03.2015 um 05:56 schrieb key01023 at gmail.com:
>> Hi,
>> I am actually trying to solve pseudo boolean problem using  scip binary files:
>> ./scip-3.1.0.darwin.x86_64.gnu.opt.spx	-f file.pbo
>> 
>> However, I am wondering whether I could set a time limit in the calculation. Thank you:D
>> 
>> With regards,
>> Chivalry
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de
>> http://listserv.zib.de/mailman/listinfo/scip
>> 
> 
> -- 
> ______________________________________________________________
> Ambros M. Gleixner
> Zuse Institute Berlin - TU Berlin - Berlin Mathematical School
> http://www.zib.de/gleixner
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150307/23d83e62/attachment.html>


More information about the Scip mailing list