After some minutes I logged in (Ubuntu 18.04, gnome-shell) something used a lot of memory (approx. 1GB). I checked gnome-system-monitor, but there was not any process which used more memory as usual (neither user nor system). Nothing was opened or launched. Only one thing helped: logout and login again. I have no idea what was that, and I can not repeat it again. (gnome shell is extremely laggy :-( ) On máj 3 2018, at 9:08 de, Daniel van Vugt