(1,17) (3,19) (4,12) (5,18) (7,11) (9,20) 
nodes: 189  conflicts: 34  modelTime: 675  solveTime: 421  totalTime: 1102  modelSize: 20646  readTime: 6 size: 6