Constraint programming model of the m queens problem