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