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