Glucose 1.0 with tracking of which learnt clause had what effect