read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MINLP/m3.osil
optimize
write solution temp/m3.osil.sol
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MINLP/m3.osil
read temp/m3.osil.sol
optimize
validatesolve 37.8 37.8
quit
