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