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