(2,11) (5,16) (6,18) (7,14) (8,12) (9,20) (10,17) 
nodes: 339  conflicts: 26  modelTime: 738  solveTime: 527  totalTime: 1270  modelSize: 20658  readTime: 5 size: 7