read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/p0033.osil
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/mipstarts/p0033.osil.mst
presolve
validatesolve 3089 3089
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/p0033.osil
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/mipstarts/p0033.osil.mst
set heuristics completesol beforepresol FALSE
optimize
validatesolve 3089 3089
quit
