#include<iostream>
#include<algorithm>
#include<vector>
#include<set>
#include<cassert>
#include<map>
using namespace std;

const int N=1e6+5;
long long a[N];
pair<long long,int> t[N];
int n,m;
set<pair<int,int>> st;
map<long long,vector<int>> p;

bool check(long long d){
    int cnt=0;
    for(int i=1;i<=n;i++){
        if(cnt>=m-n+1)return true;
        if(t[i].first>=0){
            for(int j=i+1;j<=n;j++){
                if(t[i].first*t[j].first<=d){
                    int x=t[i].second,y=t[j].second;
                    if(x==y)continue;
                    if(x>y)swap(x,y);
                    if(!st.count({x,y})){
                        cnt++;
                        if(cnt>=m-n+1)return true;
                    }
                }else{
                    break;
                }
            }
        }else{
            for(int j=n;j>i;j--){
                if(cnt>=m-n+1)return true;
                if(t[i].first*t[j].first<=d){
                    int x=t[i].second,y=t[j].second;
                    if(x==y)continue;
                    if(x>y)swap(x,y);
                    if(!st.count({x,y})){
                        cnt++;
                        if(cnt>=m-n+1)return true;
                    }
                }else{
                    break;
                }
            }
        }
    }
    return cnt>=m-n+1;
}

long long read(){
    long long res=0;
    bool flag=true;
    char ch=getchar();
    while(ch<'0'||ch>'9'){
        if(ch=='-')flag=false;
        ch=getchar();
    }
    while(ch>='0'&&ch<='9'){
        res=res*10+ch-'0';
        ch=getchar();
    }
    return flag?res:-res;
}

int main(){
    // ios::sync_with_stdio(false);
    // cin.tie(0);
    n=read(),m=read();
    vector<pair<long long,int>> pos,neg;
    for(int i=1;i<=n;i++){
        a[i]=read();
        p[a[i]].push_back(i);
        t[i]={a[i],i};
        if(t[i].first>=0)pos.push_back(t[i]);
        else neg.push_back(t[i]);
    }
    if(n==1){
        cout<<"0\n";
        return 0;
    }
    sort(t+1,t+1+n);
    sort(pos.begin(),pos.end(),greater<pair<long long,int>>());
    sort(neg.begin(),neg.end());
    vector<pair<int,int>> e;
    long long ans=0;
    if(!pos.empty()&&!neg.empty()){
        for(int j=0;j<(int)neg.size();j++){
            int x=pos[0].second,y=neg[j].second;
            if(x>y)swap(x,y);
            st.insert({x,y});
            e.emplace_back(x,y);
            ans+=a[x]*a[y];
        }
        for(int i=1;i<(int)pos.size();i++){
            int x=neg[0].second,y=pos[i].second;
            if(x>y)swap(x,y);
            st.insert({x,y});
            e.emplace_back(x,y);
            ans+=a[x]*a[y];
        }
    }else if(!pos.empty()){
        for(int i=0;i<(int)pos.size()-1;i++){
            int x=pos[i].second,y=pos.back().second;
            if(x>y)swap(x,y);
            st.insert({x,y});
            e.emplace_back(x,y);
            ans+=a[x]*a[y];
        }
    }else{
        for(int i=0;i<(int)neg.size()-1;i++){
            int x=neg[i].second,y=neg.back().second;
            if(x>y)swap(x,y);
            st.insert({x,y});
            e.emplace_back(x,y);
            ans+=a[x]*a[y];
        }
    }
    assert((int)e.size()==n-1);
    if(m==n-1){
        cout<<ans<<'\n';
        for(auto [u,v]:e){
            cout<<u<<" "<<v<<'\n';
        }
        return 0;
    }
    long long lo=-1e18,hi=1e18;
    long long minW=-1;
    while(lo<=hi){
        long long mid=(lo+hi)/2;
        if(check(mid)){
            minW=mid;
            hi=mid-1;
        }else{
            lo=mid+1;
        }
    }
    for(int i=1;i<=n;i++){
        if(t[i].first>=0){
            for(int j=i+1;j<=n;j++){
                if(t[i].first*t[j].first<minW){
                    int x=t[i].second,y=t[j].second;
                    if(x>y)swap(x,y);
                    if(!st.count({x,y})){
                        st.insert({x,y});
                        e.emplace_back(x,y);
                        ans+=a[x]*a[y];
                    }
                }else{
                    break;
                }
            }
        }else{
            for(int j=n;j>i;j--){
                if(t[i].first*t[j].first<minW){
                    int x=t[i].second,y=t[j].second;
                    if(x>y)swap(x,y);
                    if(!st.count({x,y})){
                        st.insert({x,y});
                        e.emplace_back(x,y);
                        ans+=a[x]*a[y];
                    }
                }else{
                    break;
                }
            }
        }
    }
    for(int i=1;i<=n;i++){
        if((int)e.size()==m)break;
        if(a[i]==0){
            if(minW!=0)continue;
            for(int j:p[0]){
                int x=i,y=j;
                if(x==y)continue;
                if(x>y)swap(x,y);
                if(!st.count({x,y})){
                    if((int)e.size()==m)break;
                    st.insert({x,y});
                    e.emplace_back(x,y);
                    ans+=a[x]*a[y];
                    if((int)e.size()==m)break;
                }
            }
        }else{
            if(minW%a[i]==0){
                for(int j:p[minW/a[i]]){
                    int x=i,y=j;
                    if(x==y)continue;
                    if(x>y)swap(x,y);
                    if(!st.count({x,y})){
                        if((int)e.size()==m)break;
                        st.insert({x,y});
                        e.emplace_back(x,y);
                        ans+=a[x]*a[y];
                        if((int)e.size()==m)break;
                    }
                }
            }
        }
    }
    assert((int)e.size()==m);
    cout<<ans<<'\n';
    for(auto [u,v]:e){
        cout<<u<<" "<<v<<'\n';
    }
    return 0;
}

时间复杂度应该是m(logm)^2?,是因为用set判断两个点是否已经连接所以才T的吗