413.43/300.05	/export/starexec/sandbox/solver/bin/starexec_run_standard: line 3: 21558 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
413.43/300.05	EOF