(1,16) (6,13) (9,17) 
nodes: 114  conflicts: 71  modelTime: 770  solveTime: 279  totalTime: 1055  modelSize: 20646  readTime: 6 size: 3