[sdsl]

Thanks for the quick response with the script! That was really fast.

By the way, I don't think the memory usage noted above is serious nor is it connected to the writing of messages to the log file. The messages are probably written a line at a time, which should have no effect on memory.