started CP solution to graph colouring