(3,19) (4,12) (5,17) (6,20) (7,16) (8,14) (9,13) 
nodes: 274  conflicts: 38  modelTime: 677  solveTime: 349  totalTime: 1032  modelSize: 20646  readTime: 6 size: 7