MAYBE
620.22/162.92	/export/starexec/sandbox/solver/bin/starexec_run_RCINNER_O: line 14: 23297 Segmentation fault      (core dumped) ./tct -a irc -s "competition :timeout 297" /export/starexec/sandbox/benchmark/theBenchmark.xml +RTS -N4 -M131072M -K32M -RTS
620.22/162.92	EOF