(2,17) (3,20) (4,16) (5,19) (7,12) 
nodes: 109  conflicts: 51  modelTime: 764  solveTime: 272  totalTime: 1042  modelSize: 20646  readTime: 6 size: 5