void tsp_display ( string prefix, int n, double *x2 );