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