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