(2,21) (3,24) (4,29) (5,25) (6,23) (7,28) (9,16) (10,26) (11,22) (12,18) (14,20) (15,17) 
nodes: 780  conflicts: 45  modelTime: 658  solveTime: 996  totalTime: 1661  modelSize: 41293  readTime: 7 size: 12