It has been a few months ago, but the database process got killed again today due to out-of-memory. If it's going to be another few months before it happens again, I think it's ok. (I predict the next event is going to be out-of-disk-space instead...)