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