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