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