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