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