Debug solver cp