(2,20) (3,19) (5,13) (6,15) (8,14) (9,12) (10,16) 
nodes: 300  conflicts: 25  modelTime: 728  solveTime: 769  totalTime: 1502  modelSize: 20658  readTime: 5 size: 7