If the spike is too large for the RCB to handle on it's own (it was on a 20 amp breaker,) the main breaker trips as well for added safety. As well as, in this case, arcing from live to neutral to earth.
The way the house electrics are split up is a little odd, as it's a holdover from the day...