(1,15) (2,18) (3,19) (5,17) (10,14) 
nodes: 215  conflicts: 43  modelTime: 695  solveTime: 488  totalTime: 1188  modelSize: 20646  readTime: 5 size: 5