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