(1,20) (2,18) (3,13) (4,11) (5,15) (6,14) (7,12) (8,19) (10,17) 
nodes: 505  conflicts: 7  modelTime: 674  solveTime: 577  totalTime: 1256  modelSize: 20646  readTime: 5 size: 9