n,m=gets.split.map &:to_i
a=[];b=[]
sum=m
ans=0
n.times do |i|
  a[i],b[i]=gets.split.map &:to_i
end
ab=a.zip(b).sort
ab.each{|k,v|
  if sum>=v
    sum-=v
    ans+=(k* v)
  else
    ans+=(k* sum)
    break
  end
}
puts ans
