read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/MANN_a9.clq.lp
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/mipstarts/MANN_a9.clq.lp.mst
presolve
validatesolve 16 16
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/MANN_a9.clq.lp
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/mipstarts/MANN_a9.clq.lp.mst
set heuristics completesol beforepresol FALSE
optimize
validatesolve 16 16
quit
