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