(2,14) (3,19) (4,11) (5,16) (6,20) 
nodes: 225  conflicts: 46  modelTime: 712  solveTime: 521  totalTime: 1239  modelSize: 20646  readTime: 6 size: 5