Anyway, I tried again, this time with the right file, and it took78.67user 1.29system 1:20.01elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k and indeed, it does want a lot of memory - at peak some 550m. It'll be smaller on a 32-bit box, but not much smaller.
I want to get rid of TREE_COMPLEXITY! Paolo