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