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