#include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define REP(i, n) for (int i = 0; i < n; i++) #define FOR(i, s, t) for (int i = s; i < t; i++) #define ALL(obj) obj.begin(), obj.end() #define fcout cout << fixed << setprecision(10) const int iINF = 1e9; const long long llINF = 1e18; const int MOD = 1e9 + 7; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template struct ModInt { long long val; constexpr ModInt(long long v = 0) noexcept : val(v % MOD) { if (val < 0) val += MOD; } constexpr int getmod() { return MOD; } constexpr ModInt operator-() const noexcept { return val ? MOD - val : 0; } constexpr ModInt operator+(const ModInt& r) const noexcept { return ModInt(*this) += r; } constexpr ModInt operator-(const ModInt& r) const noexcept { return ModInt(*this) -= r; } constexpr ModInt operator*(const ModInt& r) const noexcept { return ModInt(*this) *= r; } constexpr ModInt operator/(const ModInt& r) const noexcept { return ModInt(*this) /= r; } constexpr ModInt& operator+=(const ModInt& r) noexcept { val += r.val; if (val >= MOD) val -= MOD; return *this; } constexpr ModInt& operator-=(const ModInt& r) noexcept { val -= r.val; if (val < 0) val += MOD; return *this; } constexpr ModInt& operator*=(const ModInt& r) noexcept { return *this; } constexpr ModInt& operator/=(const ModInt& r) noexcept { long long a = r.val, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } val = val * u % MOD; if (val < 0) val += MOD; return *this; } constexpr bool operator==(const ModInt& r) const noexcept { return this->val == r.val; } constexpr bool operator!=(const ModInt& r) const noexcept { return this->val != r.val; } friend constexpr ostream& operator<<(ostream& os, const ModInt& x) noexcept { return os << x.val; } friend constexpr istream& operator>>(istream& is, ModInt& x) noexcept { return is >> x.val; } friend constexpr ModInt modpow(const ModInt& a, long long n) noexcept { if (n == 0) return 1; auto t = modpow(a, n / 2); t = t * t; if (n & 1) t = t * a; return t; } }; using mint = ModInt; long long modpow(long long x, long long n, long long mod) { long long res = 1; while (n > 0) { if (n & 1) res = res * x % mod; x = x * x % mod; n >>= 1; } return res; } long long extGCD(long long a, long long b, long long& x, long long& y) { if (b == 0) { x = 1; y = 0; return a; } long long d = extGCD(b, a % b, y, x); y -= a / b * x; return d; } long long gcd(long long a, long long b) { if (b == 0) { return a; } else { return gcd(b, a % b); } } long long lcm(long long a, long long b) { return a / gcd(a, b) * b; } template map compress(vector x) { map res; sort(x.begin(), x.end()); x.erase(unique(x.begin(), x.end()), x.end()); for (int i = 0; i < x.size(); i++) { res[x[i]] = i; } return res; } template int former(const vector& v, T x) { return upper_bound(v.begin(), v.end(), x) - v.begin() - 1; } template int latter(const vector& v, T x) { return lower_bound(v.begin(), v.end(), x) - v.begin(); } template using Vec = vector; template using VVec = vector>; using LL = long long; LL dp[100010]; int main() { int N; LL K; cin >> N >> K; Vec T(N), D(N); REP(i, N) cin >> T[i] >> D[i]; LL ans = 0; auto f = [&](LL x) { LL las = -1; REP(i, N) { if (D[i] <= x) continue; if (D[i] - las >= K) { las = D[i]; } else { return false; } } return true; }; LL ng = -1, ok = llINF; while (abs(ok - ng) > 1) { LL mid = (ok + ng) / 2; if (f(mid)) { ok = mid; } else { ng = mid; } } for (auto x : dp) x = -llINF; dp[0] = 0; int left = 0; REP(i, N) { while(T[left] <= T[i] - K) left++; if (!left || T[left - 1] <= T[i] - K) chmax(dp[i + 1], dp[left] + D[i]); if (D[i] <= ok) chmax(dp[i + 1], dp[i]); else left = i + 1; } cout << ok << endl; cout << accumulate(ALL(D), 0LL) - dp[N] << endl; return 0; }