(3,19) (4,20) (5,12) (8,16) (9,18) 
nodes: 107  conflicts: 46  modelTime: 682  solveTime: 217  totalTime: 905  modelSize: 20646  readTime: 6 size: 5