(1,13) (2,17) (3,16) (4,12) (6,14) (7,20) (9,18) (10,15) 
nodes: 197  conflicts: 29  modelTime: 675  solveTime: 541  totalTime: 1222  modelSize: 20646  readTime: 6 size: 8