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