n,m=gets.split.map(&:to_i)
stores=n.times.map{gets.split.map(&:to_i)}
stores.sort_by!(&:first)
ans=0
stores.each{|a,b|
  if m>b
    ans+=a*b
    m-=b
  elsif m==b
    ans+=a*b
    break
  else
    ans+=a*m
    break
  end
}

puts ans