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