We had a short outage today that resulted from the kernel running out of memory and killing the database

We had a short outage today that resulted from the kernel running out of memory and killing the database. You may have noticed problems connecting to the scheduler or the forums.