read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MINLP/bip_cross_min.10.10.10.1.pip
optimize
write solution temp/bip_cross_min.10.10.10.1.pip.sol
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MINLP/bip_cross_min.10.10.10.1.pip
read temp/bip_cross_min.10.10.10.1.pip.sol
optimize
validatesolve 1 1
quit
