(2,17) (3,25) (4,23) (5,29) (6,22) (7,27) (9,28) (13,26) (14,20) 
nodes: 639  conflicts: 75  modelTime: 666  solveTime: 755  totalTime: 1428  modelSize: 41300  readTime: 7 size: 9