(2,28) (3,20) (4,25) (5,23) (6,22) (7,30) (8,18) (9,27) (10,26) (12,24) (14,17) (15,21) 
nodes: 4362  conflicts: 44  modelTime: 656  solveTime: 7636  totalTime: 8299  modelSize: 41298  readTime: 7 size: 12