(2,16) (3,13) (6,15) (7,19) 
nodes: 165  conflicts: 57  modelTime: 738  solveTime: 521  totalTime: 1265  modelSize: 20646  readTime: 6 size: 4