I'd use it to make progress on some unsolved conjecture in graph theory (for science!). I don't have a specific one in mind right this second, but there are certainly a few where massive computer searches can help.