(2,14) (3,20) (4,18) (6,17) (8,15) (9,12) 
nodes: 348  conflicts: 43  modelTime: 680  solveTime: 340  totalTime: 1026  modelSize: 20646  readTime: 6 size: 6