time improvements added - ILP/MH bound, linear expression instead of quicksum, return K best patterns