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

ar = n.times.map{gets.split.map(&:to_i)}
tot = 0

ar.sort_by{|a, b|a}.each do |a, b|
  if b < m
    tot += a * b
    m -= b
  else
    tot += a * m
    break
  end
end

puts tot