That's really interesting. Are you able to tell us how long those 500k cores were running for before the facebookcorewwwi.onion name was found?
I don't remember how long we ran it for, but IIRC we had enough candidates to stop after a week or two. I'm guessing something like 100-200M cpu hours?
[1] https://en.wikipedia.org/wiki/List_of_most_expensive_domain_...
That each of those cores are billions of times faster than my first PC just puts the icing on the cake.