Supercomputers may have tens of thousands of cores. This might have amounted to a couple hundred supercomputer hours.
Of course. I bet they still get billed/budgeted by the core hour :).