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