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