program main
implicit none
integer(8) :: i, j, k
integer(8) :: n, m
integer(8), allocatable :: a(:), b(:)

read(*,*) n, m
allocate( a(n), b(n) )
do i = 1, n
   read(*,*) a(i), b(i)
end do
call heapsort2( n, a, b )

i = 0
j = 1
k = 0
do while( i+b(j) .le. m )
   k = k + a(j)*b(j)
   i = i + b(j)
   j = j + 1
end do
k = k + (m-i)*a(j)
write(*,'(i0)') k
      
stop
contains
subroutine heapsort2(n,array,array2)
  implicit none
  integer(8),intent(in) :: n
  integer(8),intent(inout) :: array(1:n), array2(1:n)
  integer(8) ::i,k,j,l
  integer(8) :: t, u

  l=n/2+1
  k=n
  do while(k.ne.1)
     if(l.gt.1)then
        l=l-1
        t=array(L)
        u=array2(L)
     else
        t=array(k)
        u=array2(k)
        array(k)=array(1)
        array2(k)=array2(1)
        k=k-1
        if(k.eq.1) then
           array(1)=t
           array2(1)=u
           exit
        end if
     end if
     i=l
     j=l+l
     do while(j.le.k)
        if(j.lt.k)then
           if(array(j).lt.array(j+1))j=j+1
        end if
        if (t.lt.array(j))then
           array(i)=array(j)
           array2(i)=array2(j)
           i=j
           j=j+j
        else
           j=k+1
        end if
     end do
     array(i)=t
     array2(i)=u
  end do
end subroutine heapsort2


end program main
