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