n,m = gets.chomp.split().map(&:to_i)

a = []
n.times do
  a.push gets.chomp.split().map(&:to_i)
end

a = a.sort_by{|k,v| k}

ans = 0
a.each do |k, v|
  if v < m
    m -= v
    ans += v * k
  else
    ans += k * m
    break
  end
end

puts ans