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