(2,19) (4,14) (5,18) (6,11) (8,20) (9,13) (10,16) 
nodes: 446  conflicts: 31  modelTime: 691  solveTime: 1049  totalTime: 1747  modelSize: 20646  readTime: 6 size: 7