(2,16) (3,15) (6,11) (7,13) (8,20) (10,17) 
nodes: 105  conflicts: 47  modelTime: 685  solveTime: 169  totalTime: 860  modelSize: 20646  readTime: 6 size: 6