(2,13) (4,14) (5,16) (6,19) (7,18) (8,17) 
nodes: 390  conflicts: 43  modelTime: 727  solveTime: 667  totalTime: 1400  modelSize: 20646  readTime: 6 size: 6