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