(1,15) (2,11) (4,18) (5,13) (6,14) (7,12) (8,20) (9,17) (10,16) 
nodes: 832  conflicts: 26  modelTime: 767  solveTime: 826  totalTime: 1598  modelSize: 20658  readTime: 5 size: 9