(5,20) (6,19) (7,14) (9,16) 
nodes: 218  conflicts: 65  modelTime: 720  solveTime: 497  totalTime: 1222  modelSize: 20646  readTime: 5 size: 4