Add memory limit in SCIP

run.sh: compress output files