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