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