Drilling a part of the rock from a mining industry using a rock driller