use proconio::input;
const INF: i64 = 1_000_000_000_000_000_000;
fn main() {
    input! {
        N: usize, M: usize,
        e: [i64; N],
        items: [(i64, i64); M],
    }

    let knapsack_ans = e.into_iter().map(|w_max| {
        let mut dp = vec![-INF; 1 << M];
        for bits in 0 .. 1 << M {
            let mut w_sum = 0;
            let mut v_sum = 0;
            for i in 0 .. M {
                if bits & 1 << i != 0 {
                    v_sum += items[i].0;
                    w_sum += items[i].1;
                }
            }
            if w_sum <= w_max {
                dp[bits] = v_sum;
            }
        }
        dp
    }).collect::<Vec<_>>();

    let mut dp = vec![(-INF, vec![0; N]); 1 << M];
    dp[0] = (0, vec![0; N]);
    for i in 0 .. N {
        for bits in (0 .. 1 << M).rev() {
            let neg = bits ^ ((1 << M) - 1);
            let mut add = neg;
            while add > 0 {
                let v_next = dp[bits].0 + knapsack_ans[i][add];
                let mut c_next = dp[bits].1.clone();
                c_next[i] |= add;
                if dp[bits | add].0 < v_next {
                    dp[bits | add] = (v_next, c_next);
                }
                add = (add - 1) & neg;
            }
        }
    }

    let mut max = (0, vec![0; N]);
    for bits in 0 .. 1 << M {
        if max.0 < dp[bits].0 {
            max = dp[bits].clone();
        }
    }

    println!("{}", max.0);
    for i in 0 .. N {
        let items = (0 .. M).filter(|&j| max.1[i] & 1 << j != 0 ).map(|j| (j + 1).to_string() ).collect::<Vec<_>>();
        println!("{} {}", items.len(), items.join(" "));
    }
}