(3,20) (4,13) (5,18) (6,14) (8,11) (9,12) 
nodes: 267  conflicts: 42  modelTime: 678  solveTime: 695  totalTime: 1379  modelSize: 20646  readTime: 6 size: 6