n, m = map(int, input().split())
lis = []
for i in range(n):
  lis.append(list(map(int, input().split())))
lis.sort()
ans = 0
for i, j in lis:
  ans += i * min(m, j)
  m -= min(m, j)
print(ans) n, m = map(int, input().split()) n map(int, input().split()) map int input().split() ().split () input split m lis = [] lis [] for i in range(n):
  lis.append(list(map(int, input().split()))) i range(n) range n lis.append(list(map(int, input().split()))) lis.append lis append list(map(int, input().split())) list map(int, input().split()) map int input().split() ().split () input split lis.sort() lis.sort lis sort ans = 0 ans 0 for i, j in lis:
  ans += i * min(m, j)
  m -= min(m, j) i j lis ans += i * min(m, j) ans i * min(m, j) i min(m, j) min m j m -= min(m, j) m min(m, j) min m j print(ans) print ans ans += i * min(m, j) i * min(m, j) ans lis = [] [] lis ans = 0 0 ans m -= min(m, j) min(m, j) m m = map(int, input().split()) map(int, input().split()) m n, m = map(int, input().split()) map(int, input().split()) n
n, m = map(int, input().split())
lis = []
for i in range(n):
  lis.append(list(map(int, input().split())))
lis.sort()
ans = 0
for i, j in lis:
  ans += i * min(m, j)
  m -= min(m, j)
print(ans)