(1,16) (3,20) (4,13) (5,17) (6,18) (7,11) (8,14) (9,12) (10,19) 
nodes: 525  conflicts: 7  modelTime: 765  solveTime: 727  totalTime: 1496  modelSize: 20646  readTime: 4 size: 9