Produção de petróleo sobe 3,1% em outubro na comparação mensal