read "/home/hakank/picat/picat3/emu/scipsuite/scip"/check/"instances/MIP/flugpl.mps"
write problem temp/flugpl.mps.fzn
presolve
write transproblem temp/flugpl.mps_trans.fzn
read temp/flugpl.mps_trans.fzn
optimize
validatesolve "1201500" "1201500"
read temp/flugpl.mps.fzn
optimize
validatesolve "1201500" "1201500"
quit
