finish summary generation (not efficient enough for large heap), if ignoring constraints, intra analysis time is 9s for luindex