Re: [graph-tool] virtual memory exhausted