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