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