n,m=gets.chomp.split(" ").map{|s| s.to_i}
t={}
for k in 0..n-1
  a,b=gets.chomp.split(" ").map{|s| s.to_i}
  t[a]=b
end
c=0
s=0
Hash[t.sort].each{|k,v|
  (1..v).each{|p|
    c+=1
    s+=k
    if c==m
      break
    end
  }
  if c==m
    break
  end
}
puts s