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