(2,19) (3,17) (5,11) (7,15) (8,18) (9,14) 
nodes: 142  conflicts: 51  modelTime: 693  solveTime: 533  totalTime: 1231  modelSize: 20646  readTime: 5 size: 6