(2,12) (3,13) (4,15) (5,17) (7,20) (8,19) (9,11) 
nodes: 207  conflicts: 30  modelTime: 816  solveTime: 658  totalTime: 1480  modelSize: 20646  readTime: 6 size: 7