(1,19) (2,18) (5,13) (6,16) (8,14) (9,15) (10,12) 
nodes: 109  conflicts: 20  modelTime: 770  solveTime: 297  totalTime: 1073  modelSize: 20646  readTime: 6 size: 7