(3,17) (4,12) (6,14) (7,15) (8,11) (9,16) (10,19) 
nodes: 537  conflicts: 28  modelTime: 769  solveTime: 554  totalTime: 1327  modelSize: 20658  readTime: 4 size: 7