(2,12) (4,20) (5,19) (6,17) (7,13) (10,16) 
nodes: 169  conflicts: 51  modelTime: 770  solveTime: 398  totalTime: 1174  modelSize: 20646  readTime: 6 size: 6