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