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