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