(1,19) (2,18) (3,16) (6,14) (8,13) (9,17) (10,20) 
nodes: 104  conflicts: 37  modelTime: 721  solveTime: 271  totalTime: 997  modelSize: 20646  readTime: 5 size: 7