n,m=gets.chomp.split(" ").map{|s| s.to_i}
t={}
n.times{
  a,b=gets.chomp.split(" ").map{|s| s.to_i}
  t[a]=b
}
c,s=0,0
Hash[t.sort].each{|k,v|
  if c+v <= m
    s+=k*v
    c+=v
  elsif c+v > m
    s+=(m-c)*k
    break
  end
}
 
puts s