(2,27) (3,25) (5,20) (6,17) (7,26) (8,28) (9,21) (11,29) (12,24) (14,22) (15,19) 
nodes: 436  conflicts: 70  modelTime: 658  solveTime: 745  totalTime: 1410  modelSize: 41292  readTime: 7 size: 11