(1,17) (2,16) (3,12) (4,14) (6,20) (9,18) 
nodes: 246  conflicts: 29  modelTime: 816  solveTime: 541  totalTime: 1363  modelSize: 20646  readTime: 6 size: 6