This can't be correct.
10,000 TWh/y = 1e+7 GWh/y, divide it by 365.25 days/y to produce daily output of 27,379 GWh/day, then by 24 h/day to get pure power of 1,141 GW. It's still more than a terawatt, three orders of magnitude larger than the largest nuclear reactors.
oops. yes. still not that much though. i mean it's a lot but it's "one more large industrialized country" a lot not "kardashev 2" a lot