Mining and quarrying rose 11.5% and manufacturing 5.5% year on year, with oil output at 10 million barrels per day.