/export/starexec/sandbox2/solver/bin/starexec_run_inttrs: line 17: 62692 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 prog.inttrs 2> /dev/null