(1,16) (2,14) (3,15) (6,20) (7,19) (9,13) (10,18) 
nodes: 244  conflicts: 27  modelTime: 769  solveTime: 362  totalTime: 1137  modelSize: 20646  readTime: 6 size: 7