(1,16) (2,11) (3,13) (4,19) (5,20) (6,14) (7,17) (8,12) (10,18) 
nodes: 472  conflicts: 19  modelTime: 672  solveTime: 611  totalTime: 1288  modelSize: 20658  readTime: 5 size: 9