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