(3,18) (6,15) (8,17) 
nodes: 108  conflicts: 71  modelTime: 638  solveTime: 152  totalTime: 796  modelSize: 20646  readTime: 6 size: 3