(1,15) (3,19) (5,20) (7,17) (8,12) 
nodes: 109  conflicts: 56  modelTime: 732  solveTime: 433  totalTime: 1171  modelSize: 20646  readTime: 6 size: 5