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