(1,16) (2,19) (3,18) (4,13) (5,14) (7,17) (8,12) (9,20) (10,11) 
nodes: 379  conflicts: 19  modelTime: 588  solveTime: 527  totalTime: 1120  modelSize: 20658  readTime: 5 size: 9