#ifdef DEBUG
#define _GLIBCXX_DEBUG
#endif

#include <bits/stdc++.h>

using namespace std;

typedef long double ld;

#ifdef DEBUG
#define eprintf(...) fprintf(stderr, __VA_ARGS__), fflush(stderr)
#else
#define eprintf(...) ;
#endif

#define sz(x) ((int) (x).size())
#define TASK "text"

const int inf = (int) 1.01e9;
const long long infll = (long long) 1.01e18;
const ld eps = 1e-9;
const ld pi = acos((ld) -1);

#ifdef DEBUG
mt19937 mrand(300); 
#else
mt19937 mrand(chrono::steady_clock::now().time_since_epoch().count()); 
#endif

int rnd(int x) {
  return mrand() % x;
}

void precalc() {
}

const int maxn = (int) 1e5 + 5;
int n, k;
int a[maxn], b[maxn];

bool read() {
  if (scanf("%d%d", &n, &k) < 2) {
    return false;
  }
  for (int i = 0; i < n; i++) {
    scanf("%d%d", &a[i], &b[i]);
    a[i] *= 2;
  }
  return true;
}

long long s[maxn];
int x[maxn];
int xc[maxn];
vector<int> xs;
long long dp[maxn];

int st[4 * maxn];

void buildst(int v, int tl, int tr) {
  st[v] = n;
  if (tl == tr - 1) {
    return;
  }
  int tm = (tl + tr) / 2;
  buildst(2 * v, tl, tm);
  buildst(2 * v + 1, tm, tr);
}

void update(int v, int tl, int tr, int l, int r, int val) {
  if (l == tl && r == tr) {
    st[v] = min(st[v], val);
    return;
  }
  int tm = (tl + tr) / 2;
  if (l < tm) {
    update(2 * v, tl, tm, l, min(r, tm), val);
  }
  if (r > tm) {
    update(2 * v + 1, tm, tr, max(l, tm), r, val);
  }
}

int get(int v, int tl, int tr, int pos) {
  int res = st[v];
  if (tl == tr - 1) {
    return res;
  }
  int tm = (tl + tr) / 2;
  if (pos < tm) {
    res = min(res, get(2 * v, tl, tm, pos));
  } else {
    res = min(res, get(2 * v + 1, tm, tr, pos));
  }
  return res;
}

void solve() {
  for (int i = 0; i < n; i++) {
    if (b[i] == 1 && a[i] > k) {
      printf("-1\n");
      return;
    }
  }
  s[0] = 0;
  for (int i = 0; i < n; i++) {
    s[i + 1] = s[i] + a[i];
  }
  x[0] = 0;
  for (int i = 0; i < n; i++) {
    x[i + 1] = ((x[i] - a[i]) % k + k) % k;
  }
  for (int i = 0; i <= n; i++) {
    xs.push_back(x[i]);
  }
  sort(xs.begin(), xs.end());
  xs.erase(unique(xs.begin(), xs.end()), xs.end());
  for (int i = 0; i <= n; i++) {
    xc[i] = lower_bound(xs.begin(), xs.end(), x[i]) - xs.begin();
  }
  buildst(1, 0, sz(xs));
  for (int i = n - 1; i >= 0; i--) {
    int j = get(1, 0, sz(xs), xc[i]);
    long long len = s[j] - s[i];
    if (j < n) {
      len = ((len + k - 1) / k) * k;
      dp[i] = len + dp[j];
    } else {
      dp[i] = len;
    }
    if (b[i] == 2) {
      continue;
    }
    int l = (k - a[i] + 1), r = 0;
    l = (l + x[i]) % k;
    r = (r + x[i]) % k;
    int lc = lower_bound(xs.begin(), xs.end(), l) - xs.begin();
    if (lc >= sz(xs)) {
      lc = 0;
    }
    int rc = lower_bound(xs.begin(), xs.end(), r) - xs.begin();
    if (rc >= sz(xs)) {
      rc = 0;
    }
    if (lc < rc) {
      update(1, 0, sz(xs), lc, rc, i);
    } else if (lc > rc) {
      update(1, 0, sz(xs), lc, sz(xs), i);
      update(1, 0, sz(xs), 0, rc, i);
    }
  }
  buildst(1, 0, sz(xs));
  long long res = infll;
  for (int i = 0; i < n; i++) {
    int j = get(1, 0, sz(xs), xc[i]);
    if (j >= n) {
      res = min(res, s[i] + dp[i]);
    }
    if (b[i] == 2) {
      continue;
    }
    int l = (k - a[i] + 1), r = 0;
    l = (l + x[i]) % k;
    r = (r + x[i]) % k;
    int lc = lower_bound(xs.begin(), xs.end(), l) - xs.begin();
    if (lc >= sz(xs)) {
      lc = 0;
    }
    int rc = lower_bound(xs.begin(), xs.end(), r) - xs.begin();
    if (rc >= sz(xs)) {
      rc = 0;
    }
    if (lc < rc) {
      update(1, 0, sz(xs), lc, rc, i);
    } else if (lc > rc) {
      update(1, 0, sz(xs), lc, sz(xs), i);
      update(1, 0, sz(xs), 0, rc, i);
    }
  }
  assert(res < infll);
  printf("%lld\n", res);
}

int main() {
  precalc();
#ifdef DEBUG
  assert(freopen(TASK ".in", "r", stdin));
  assert(freopen(TASK ".out", "w", stdout));
#endif
  while (read()) {
    solve();
#ifdef DEBUG
    eprintf("Time %.2f\n", (double) clock() / CLOCKS_PER_SEC);
#endif
  }
  return 0;
}


Measured memory_bytes: 4984