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