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