(2,12) (6,19) (7,18) (8,13) (9,17) 
nodes: 217  conflicts: 54  modelTime: 774  solveTime: 299  totalTime: 1079  modelSize: 20646  readTime: 6 size: 5