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