(1,16) (2,12) (3,15) (4,17) (5,19) (6,14) (7,20) (8,11) (9,18) 
nodes: 401  conflicts: 6  modelTime: 580  solveTime: 653  totalTime: 1238  modelSize: 20646  readTime: 5 size: 9