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