1099.03/300.04	/export/starexec/sandbox2/solver/bin/starexec_run_standard: line 3: 51018 Alarm clock             LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p plain -m wst -w 4 $1 2> /dev/null
1099.03/300.05	EOF