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