read "/home/hakank/picat/picat3/emu/scipsuite/scip"/check/"instances/MIP/vpm2.fzn"
write problem temp/vpm2.fzn.lp
presolve
write transproblem temp/vpm2.fzn_trans.lp
read temp/vpm2.fzn_trans.lp
optimize
validatesolve "13.75" "13.75"
read temp/vpm2.fzn.lp
optimize
validatesolve "13.75" "13.75"
quit
