(2,17) (3,19) (4,13) (5,18) (6,15) (7,16) (10,14) 
nodes: 367  conflicts: 34  modelTime: 675  solveTime: 491  totalTime: 1171  modelSize: 20646  readTime: 5 size: 7