印度尼西亚矿业部：1月至4月镍矿石产量为9311万吨。