(2,16) (5,20) (6,13) (7,19) (8,18) (9,17) (10,12) 
nodes: 165  conflicts: 24  modelTime: 770  solveTime: 402  totalTime: 1177  modelSize: 20646  readTime: 5 size: 7