(2,28) (4,27) (5,21) (8,20) (9,19) (11,17) (12,29) (15,25) 
nodes: 1445  conflicts: 94  modelTime: 678  solveTime: 1521  totalTime: 2207  modelSize: 41300  readTime: 8 size: 8