/export/starexec/sandbox/solver/bin/starexec_run_loat_c_nonterm_proofout: line 3: 24404 Alarm clock             ./loat-static --plain --proof-level 100 --mode non_termination --format c $1 2> /dev/null