n,m = gets.split.map(&:to_i)
infos = n.times.map { gets.split.map(&:to_i) }.sort
ans = 0
infos.each do |a,b|
  if b <= m
    ans += a*b
  else
    ans += a*m
  end
  m -= b
  break if m <= 0
end
puts ans