By
The OPEC heavyweight pumped 10.144 million barrels per day (bpd) of oil last month, while crude supplied to the market in December was 10.162 million bpd, the source told Reuters on Sunday.
Supply to the market, both domestically and for export, may differ from production depending on the movement of oil in and out of storage.
Saudi Arabia's crude production in November was 10.186 million bpd.
Gulf OPEC member Kuwait's oil production in December was 2.930 million bpd, another industry source told Reuters.