n, m = gets.chomp.split(' ').map(&:to_i)
item = []
n.times do
  item << gets.chomp.split(' ').map(&:to_i)
end
item.sort!{ |a, b| a[0] <=> b[0] }
money = 0
item.each do |val|
  price, num = val
  if num <= m
    money += num * price
    m -= num
  else
    money += price * m
    break
  end
end
p money