killed process

[Christian Maeder]

Malcolm Wallace schrieb:
> A process can be "Killed" by the operating system if the machine runs
> out of virtual memory.  I suspect someone else is running a cron job on
> Tuesdays that fills memory.

Yes, I also run other jobs and the load is high. In fact the OOM-killer
 kills ghc-6.4.2 several times as is shown in the log messages. Probably
ghc is requesting memory then. Other jobs are not killed, though.

Cheers Christian

OOM = out-of-memory