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