(2,16) (4,14) (5,19) (6,18) (7,20) (9,17) 
nodes: 207  conflicts: 23  modelTime: 814  solveTime: 640  totalTime: 1460  modelSize: 20646  readTime: 6 size: 6