(1,17) (2,19) (3,11) (4,20) (5,16) (6,18) (7,14) (8,15) (9,13) (10,12) 
nodes: 454  conflicts: 8  modelTime: 685  solveTime: 638  totalTime: 1327  modelSize: 20646  readTime: 4 size: 10