Non-recursive beam search on GPU for formal concept analysis