text: #!/usr/bin/awk -f
  #* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
  #*                                                                           *
  #*                  This file is part of the program and library             *
  #*         SCIP --- Solving Constraint Integer Programs                      *
  #*                                                                           *
  #*    Copyright (C) 2002-2013 Konrad-Zuse-Zentrum                            *
  #*                            fuer Informationstechnik Berlin                *
  #*                                                                           *
  #*  SCIP is distributed under the terms of the ZIB Academic License.         *
  #*                                                                           *
  #*  You should have received a copy of the ZIB Academic License              *
  #*  along with SCIP; see the file COPYING. If not email to scip@zib.de.      *
  #*                                                                           *
  #* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
  
  BEGIN {
     lastprob = "";
  }
  #
  # problem name
  #
  /^@01/ { 
     probfile = $2;
  }
  /^=ready=/ {
     lastprob = probfile;
  }
  END {
     printf(lastprob);
  }
  