(1,27) (2,16) (4,17) (5,24) (6,21) (7,30) (9,29) (10,23) (11,18) (13,25) (14,20) (15,22) 
nodes: 524  conflicts: 69  modelTime: 672  solveTime: 585  totalTime: 1265  modelSize: 41300  readTime: 8 size: 12