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