(1,21) (2,28) (3,19) (4,29) (5,22) (6,25) (7,18) (8,24) (9,20) (10,17) (11,23) (12,26) (13,16) (14,30) (15,27) 
nodes: 1404  conflicts: 1  modelTime: 762  solveTime: 966  totalTime: 1734  modelSize: 41293  readTime: 6 size: 15