(3,16) (4,13) (6,20) (7,14) (8,12) (9,18) (10,17) 
nodes: 353  conflicts: 23  modelTime: 672  solveTime: 338  totalTime: 1016  modelSize: 20646  readTime: 6 size: 7