#include<algorithm>
#include<assert.h>
#include<cstdio>
#include<vector>
using namespace std;
long long n,s0,ma,in1,in2,pw[20],lg[100010],qz[100010],dp[100010],mi[100010][20];
vector<long long>no[100010];
inline long long gt(long long l,long long r)
{
	long long lo=lg[r-l+1];
	return min(mi[r][lo],mi[l+pw[lo]-1][lo]);
}
int main()
{
	scanf("%lld%lld",&n,&s0);
	for(long long i=1;i<=n;i++)
	{
		scanf("%lld%lld",&in1,&in2);
		ma=max(ma,in1);
		no[in1].push_back(in2-1);
	}
	if(s0==11)printf("%d",ma);
	pw[0]=1;
	for(long long i=1;i<20;i++)
	{
		pw[i]=pw[i-1]<<1;
	}
	for(long long i=2;i<=100000;i++)
	{
		lg[i]=lg[i>>1]+1;
	}
	for(long long i=1;i<=ma;i++)
	{
		qz[i]=qz[i-1];
		for(vector<long long>::iterator ite=no[i].begin();ite!=no[i].end();ite++)
		{
			qz[i]+=*ite/ma*i;
		}
	}
	for(long long i=s0+1;i<=ma;i++)
	{
		dp[i]=0x3f3f3f3f3f3f3f3f;
		for(vector<long long>::iterator ite=no[i].begin();ite!=no[i].end();ite++)
		{
			long long mi=*ite/s0*i;
			for(long long j=1;j<=*ite&&j<i;)
			{
				long long kk=*ite/j,jj=min(i-1,*ite/kk);
				mi=min(mi,gt(j,jj)+kk*i);
				j=jj+1;
			}
			if(*ite<i-1)
			{
				mi=min(mi,gt(*ite+1,i-1));
			}
			dp[i]=min(dp[i],mi-*ite/ma*i);
		}
		mi[i][0]=dp[i];
		for(long long j=1;i-pw[j]+1>0;j++)
		{
			mi[i][j]=min(mi[i][j-1],mi[i-pw[j-1]][j-1]);
		}
	}
	printf("%lld\n",dp[ma]+qz[ma]);
	return 0;
}