(2,19) (3,17) (4,20) (5,13) (6,12) (7,15) (9,18) 
nodes: 211  conflicts: 23  modelTime: 764  solveTime: 422  totalTime: 1193  modelSize: 20646  readTime: 6 size: 7