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