(1,18) (2,17) (3,19) (4,11) (5,20) (6,14) (7,12) (8,13) (10,15) 
nodes: 547  conflicts: 18  modelTime: 683  solveTime: 558  totalTime: 1245  modelSize: 20658  readTime: 4 size: 9