(2,17) (5,12) (6,13) (7,16) 
nodes: 110  conflicts: 62  modelTime: 712  solveTime: 440  totalTime: 1158  modelSize: 20646  readTime: 6 size: 4