(1,14) (2,11) (3,18) (4,20) (5,17) (6,15) (7,19) (8,12) (9,13) (10,16) 
nodes: 193  conflicts: 0  modelTime: 768  solveTime: 391  totalTime: 1162  modelSize: 20646  readTime: 3 size: 10