MAYBE
SizeChangeTool has timed out on /export/starexec/sandbox2/benchmark/theBenchmark.xml