(1,14) (2,30) (3,21) (4,8) (6,23) (9,15) (10,16) (11,17) (12,25) (13,28) (18,19) (20,27) (22,26) (24,29) 
nodes: 36037  conflicts: 67  modelTime: 979  solveTime: 157479  totalTime: 158469  modelSize: 72265  readTime: 11 size: 14