To help you see what you're doing, it's a good idea to write an interface that shows the modifications of variables and the points where backtracking occurs. Such an interface lets you rapidly distinguish which variables to take into account early in the solution search. It also shows you the areas where propagation is weakest, areas that you should re-enforce with redundant constraints.