(1,11) (2,16) (3,13) (4,12) (5,17) (6,14) (7,15) (8,19) (9,18) (10,20) 
nodes: 323  conflicts: 17  modelTime: 582  solveTime: 487  totalTime: 1074  modelSize: 20658  readTime: 5 size: 10