(1,19) (2,20) (3,15) (6,17) (7,13) 
nodes: 108  conflicts: 42  modelTime: 699  solveTime: 444  totalTime: 1149  modelSize: 20646  readTime: 6 size: 5