3 ms·

I think it turned out that a large part of it was due to, like, 100 different small things. There was never a memory leak.