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