Asymptotic complexity of the collisions estimator for solving linear systems