(1,20) (2,12) (3,14) (4,18) (5,11) (6,17) (7,13) (8,15) (9,19) (10,16) 
nodes: 234  conflicts: 0  modelTime: 733  solveTime: 335  totalTime: 1072  modelSize: 20646  readTime: 4 size: 10