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