As instructed in other SO questions (Clicking on the system monitor button does not work anymore from one day to the next (Ubuntu 18.04) or System Monitor does not launch) I have installed the apt version of gnome-system-monitor, but I still get an error when my computer is using a lot of its memory and CPU. I am on Ubuntu 18.04.
~$ gnome-system-monitor (gnome system-monitor:6179): glibmm-CRITICAL **: 01:14:23.561: unhandled exception (type Glib::Error) in signal handler: domain: g-io-error-quark code : 0 what : Unable to find default local file monitor type
Further, I have also tried to follow advice on the launchpad to run
echo 512 > /proc/sys/fs/inotify/max_user_instances to no avail
Any idea how to fix this? Thanks