n,m = gets.chomp.split().map(&:to_i)
s=[]
n.times do
  set = gets.chomp.split().map(&:to_i)
  s << set
end
s.sort! {|a,b| a[0]<=>b[0]}

cost=0
s.each do |pair|
  buy=[m,pair[1]].min
  m-=buy
  cost += buy*pair[0]
  break if m==0
end
puts cost
