#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int t;
  long long int n, v;
  cin >> n >> v;
  vector<int> arr(3002, 0);
  vector<pair<long long int, long long int>> inp;
  for (int i = 0; i < n; i++) {
    long long int a, b;
    cin >> a >> b;
    arr[a] += b;
  }
  long long int ans = 0;
  for (int i = 1; i <= 3001; i++) {
    int x = v;
    ans += min(x, arr[i - 1]);
    x -= min(x, arr[i - 1]);
    ans += min(x, arr[i]);
    arr[i] -= min(arr[i], x);
  }
  cout << ans << endl;
}
