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