N, M = gets.split.map(&:to_i)
ab = []
N.times do
  ab.push gets.split.map(&:to_i)
end
AB = Hash[*ab.flatten]

sum = 0
m = M
AB.keys.sort.each do |a|
  if m > AB[a]
    sum += a * AB[a]
    m -= AB[a]
  else
    sum += a * m
    break
  end
end

ans = sum
print("#{ans}\n")
