Remove uncolored vertices recursively if the number of  is possible colorings is more than its  uncolored (and undeleted ) nghbrs.
Also merged the stacked while the solution is rolling back