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