何か様子がおかしいのでウインドウを全部閉じてみたらメモリ利用率が45%になっていた。16GBの45%だと7.2GB使っていることになる。しかし何がそんなにメモリを使っているのか分からない。

Windows でなければ悩むところだが、Windows ならいつものことなので全く気にしないで再起動した。メモリ利用率は22%になった。