the different color constraint was not satisfied on the following edges: ...