(1,20) (3,12) (5,16) (7,19) (9,17) (10,18) 
nodes: 163  conflicts: 32  modelTime: 721  solveTime: 576  totalTime: 1303  modelSize: 20646  readTime: 6 size: 6