(1,15) (4,17) (6,14) (9,20) (10,19) 
nodes: 348  conflicts: 52  modelTime: 695  solveTime: 588  totalTime: 1289  modelSize: 20646  readTime: 6 size: 5