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