This out of memory error occurred early in the morning when nothing much else was happening and may therefore indicate a memory leak. The server had been up for five days without any other problem being noticed, and is generally very reliable.

I have attached the whole log file; the first OutOfMemory error occurs about half way down and is followed by many others; then other problems arise as a consequence (these are unlikely to be bugs too).

I have set the priority of this issue to 'minor' because it has not happened before, even though it crashed the server in this case. (Aside: why's it called 'priority'? it's a severity; don't people know the difference?)