1186.57/300.10	/export/starexec/sandbox/solver/bin/starexec_run_default: line 4: 14112 Alarm clock             java -Xms20G -Xmx20G -jar MultumNonMulta3.12_29June2018A.jar $1
1186.57/300.10	EOF