(1,11) (5,14) (6,12) (7,18) (8,20) (10,17) 
nodes: 128  conflicts: 49  modelTime: 769  solveTime: 345  totalTime: 1120  modelSize: 20646  readTime: 6 size: 6