I rebooted the seismon server (seismon2), which tracks incoming earthquakes.  A slow memory leak was causing it to run out of memory.  It will need another reboot in a few months.