(1,17) (2,19) (3,20) (7,16) (8,13) (10,18) 
nodes: 179  conflicts: 34  modelTime: 771  solveTime: 417  totalTime: 1193  modelSize: 20646  readTime: 5 size: 6