n,m=map(int,input().split())
a=[]
for _ in range(n):
    A=list(map(int,input().split()))
    a.append(A)
a.sort()
ans=0
for i in a:
    if m>i[1]:
        ans+=i[0]*i[1]
        m-=i[1]
    else:
        ans+=m*i[0]
        print(ans)
        exit() n,m=map(int,input().split()) n map(int,input().split()) map int input().split() ().split () input split m a=[] a [] for _ in range(n):
    A=list(map(int,input().split()))
    a.append(A) _ range(n) range n A=list(map(int,input().split())) A list(map(int,input().split())) list map(int,input().split()) map int input().split() ().split () input split a.append(A) a.append a append A a.sort() a.sort a sort ans=0 ans 0 for i in a:
    if m>i[1]:
        ans+=i[0]*i[1]
        m-=i[1]
    else:
        ans+=m*i[0]
        print(ans)
        exit() i a if m>i[1]:
        ans+=i[0]*i[1]
        m-=i[1]
    else:
        ans+=m*i[0]
        print(ans)
        exit() m>i[1] m i[1] i 1 ans+=i[0]*i[1] ans i[0]*i[1] i[0] i 0 i[1] i 1 m-=i[1] m i[1] i 1 ans+=m*i[0] ans m*i[0] m i[0] i 0 print(ans) print ans exit() exit ans+=i[0]*i[1] i[0]*i[1] ans n,m=map(int,input().split()) map(int,input().split()) n ans+=m*i[0] m*i[0] ans a=[] [] a A=list(map(int,input().split())) list(map(int,input().split())) A m-=i[1] i[1] m ans=0 0 ans m=map(int,input().split()) map(int,input().split()) m
n,m=map(int,input().split())
a=[]
for _ in range(n):
    A=list(map(int,input().split()))
    a.append(A)
a.sort()
ans=0
for i in a:
    if m>i[1]:
        ans+=i[0]*i[1]
        m-=i[1]
    else:
        ans+=m*i[0]
        print(ans)
        exit()
