[polyml] measuring memory usage