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