(2,14) (3,15) (4,16) (5,13) (6,20) (7,18) (8,17) 
nodes: 171  conflicts: 29  modelTime: 672  solveTime: 363  totalTime: 1040  modelSize: 20646  readTime: 5 size: 7