やはり w3m にメモリリークがあるように見えるので、300 URL 巡回毎に w3m_exit し、再起動することで巡回するように変更した。2796 URL 達成。これの意味するところは大きい。 2797 番目で落ちたのは map 時にリニアアドレス空間が足りなくなったのだと思う…