[Scip] About time limit setting

[Ambros Gleixner]

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