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