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