The BIOS upgrade much improved the situation, thanks for the hint. The website I posted above doesn't freeze the system any longer.
However, if I run #include <stdio.h> #include <stdlib.h> int main() { int i, *p; for(i=0; ; i++) { p = (int *) malloc(10000*sizeof(int)); printf("%d ", i); } return 0; } the system almost freezes. I can still move the mouse pointer, but the GUI doesn't react to anything else and there's no printf output any more. 7VET95WW (3.25 ) 10/10/2012 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1193847 Title: System freeze on high memory usage To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1193847/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs