825.80/300.10	/export/starexec/sandbox2/solver/bin/starexec_run_standard: line 3: 62496 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
825.80/300.10	EOF