The rough-diamond miner extracted about 11.6 million carats in Q3, or 20% more than in the same period last year. However, it could only sell 4.9 million carats.