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