1148.45/300.10	/export/starexec/sandbox2/solver/bin/starexec_run_c: line 3: 15338 Alarm clock             LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH PATH=.:$PATH T2_PATH=../t2 C_INCLUDE_PATH=../fake_include ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -w 4 -p plain $1 2> /dev/null
1148.45/300.10	EOF