(1,17) (3,18) (6,14) (7,19) (9,13) (10,15) 
nodes: 211  conflicts: 50  modelTime: 673  solveTime: 261  totalTime: 939  modelSize: 20646  readTime: 5 size: 6