(1,18) (3,11) (4,17) (5,19) (7,13) (8,14) (9,12) (10,20) 
nodes: 354  conflicts: 19  modelTime: 769  solveTime: 645  totalTime: 1418  modelSize: 20658  readTime: 4 size: 8