If it is a memory leak, it should grow over time. Could you check whether the valgrind log of a longer run reports a higher memory use for you?
If it is a memory leak, it should grow over time. Could you check whether the valgrind log of a longer run reports a higher memory use for you?