Timeout error message are different depending on whether stdout is empty

[Voileexperiments]

An empty stdout will cause this message:

Which is different from that when stdout is not empty, which also tells the time limit (in this case, 12000ms):

[kazk]

Having STDERR: section when there's output in stdout is not a bug.
I'll look into including the time limit when stdout is empty.