(1,16) (2,18) (3,11) (4,12) (5,15) (7,14) (8,19) (9,13) (10,20) 
nodes: 471  conflicts: 25  modelTime: 769  solveTime: 655  totalTime: 1428  modelSize: 20658  readTime: 4 size: 9