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