(1,17) (2,11) (3,18) (5,19) (6,20) (7,15) (8,14) 
nodes: 238  conflicts: 28  modelTime: 753  solveTime: 349  totalTime: 1108  modelSize: 20646  readTime: 6 size: 7