table pg_stat_activity and functions pg_cancel_backend and pg_terminate_backend to hunt down and kill user sessions