(1,16) (4,20) (5,19) (6,18) (7,15) 
nodes: 108  conflicts: 48  modelTime: 721  solveTime: 418  totalTime: 1145  modelSize: 20646  readTime: 6 size: 5