(2,12) (3,17) (4,13) (7,20) (8,14) 
nodes: 109  conflicts: 51  modelTime: 768  solveTime: 273  totalTime: 1046  modelSize: 20646  readTime: 5 size: 5