(2,16) (4,28) (5,25) (6,24) (8,29) (9,23) (10,17) (11,27) (13,30) (15,21) 
nodes: 333  conflicts: 78  modelTime: 675  solveTime: 524  totalTime: 1207  modelSize: 41300  readTime: 7 size: 10