Saudi Arabia pumped 9.8 million barrels per day (bpd) of crude oil in May, cutting output by 300,000 bpd from the month before, an industry source said.