(1,20) (2,18) (4,17) (5,14) (6,15) (7,13) (8,16) 
nodes: 278  conflicts: 51  modelTime: 675  solveTime: 401  totalTime: 1082  modelSize: 20646  readTime: 6 size: 7