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