Distributed Graph Mining on a Massive "Single" Graph - View it on GitHub