N,M=gets.split.map &:to_i
A=[*1..N].map{gets.split.map &:to_i}
A.sort!
m=M
c=0
while m>0 do
   a=A[0]
   if a[1]<m then
       m-=a[1]
       c+=a[1]*a[0]
   else
       c+=a[0]*m
       m=0
   end
   A.shift
end
p c
   