You have trillions of URLs stored uniquely, without order, across numerous machines, each with a score. Find the 1000 URLs with the highest scores.

What is the most efficient way to sort a million 32-bit integers?