Re: [graph-tool] performance reducing drastically as more edges are processed