Domino server stops with console message: "PANIC: Unexpected OS error returned to logger:" under heavy load