Las empresas mineras sumaban una plantilla de 20.017 trabajadores y una producción de 3.145.140 toneladas.