Crude output reaches all-time high of 13.1 million barrels a day