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