Using Resolution Proofs to Analyse CDCL SAT solvers