Changeset 1615 for stable/2.6/Cbc/scripts/parse.awk

Timestamp:

Mar 21, 2011 11:48:47 PM (10 years ago)

Author:

tkr

Message:

Merging changesets 1539, 1540, 1555, 1556, 1557, and 1558 from trunk

Location:

stable/2.6

Files:

• . (modified) (1 prop)
• Cbc (modified) (1 prop)
• Cbc/scripts (copied) (copied from trunk/Cbc/scripts)
• Cbc/scripts/parse.awk (copied) (copied from trunk/Cbc/scripts/parse.awk) (7 diffs)

stable/2.6/Cbc/scripts/parse.awk

@@ -5 +5 @@
 #*                                                                           *
 #* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
-# $Id: parse.awk,v 1.1 2010/10/07 16:14:36 bzfwolte Exp $
+# $Id: parse.awk,v 1.2 2010/12/14 08:38:22 bzfwolte Exp $
 
 function abs(x)
@@ -20 +20 @@
 }
 BEGIN {
-   printf("------------------+------+-------+-------+--------+---------\n");
-   printf("Name              | Gap%% | Nodes |  Time | Status | Solution \n");
-   printf("------------------+------+-------+-------+--------+---------\n");
+   printf("----------------------------+----------------+----------------+------+-------+-------+--------+---------\n");
+   printf("Name                        |   Dual Bound   |  Primal Bound  | Gap%% | Nodes |  Time | Status | Solution \n");
+   printf("----------------------------+----------------+----------------+------+-------+-------+--------+---------\n");
 
    infty = +1e+20;
@@ -28 +28 @@
    largegap = 1e+04;
 
+   # initialize summary data
+   nsolved = 0;
+   nstopped = 0;
+   nfailed = 0;
+
    # initialize data to be set in parse_<solver>.awk
    solver = "?";
    solverversion = "?";
-   lps = "none";
-   lpsversion = "-";
+   solverremark = "";
 }
 # instance name 
@@ -56 +60 @@
    aborted = 1;
    timeout = 0;
-   solstatus = "unkown";
+   solstatus = "none";
+   read_error = 0;
 }
 # time
@@ -63 +68 @@
 /@05/ { timelimit = $2; }
 # solution status
+/Read SOL:/ { 
+   solstatus = "--";
+}
 /Check SOL:/ { 
    intcheck = $4;
@@ -92 +100 @@
    # determine solving status
    status = "";
-   if( aborted ) 
-      status = "abort";
+   if( aborted && !read_error) 
+     status = "abort";
+   else if (aborted && read_error)
+     status = "noread";
    else if( timeout )
-      status = "timeout";
+     status = "stopped";
    else
-      status = "ok";
+     status = "ok";
 
-   # compute gap
+   # determine overall status from solving status and solution status:
+
+   # instance solved correctly (including case that no solution was found) 
+   if( status == "ok" && (solstatus == "ok" || solstatus == "--") )
+      nsolved++;
+   # incorrect solving process or infeasible solution (including errors with solution checker)
+   else if( status == "abort" || (solstatus == "fail" || solstatus == "error") )
+      nfailed++;
+   # stopped due to imposed limits
+   else if ( status == "stopped" )
+      nstopped++;
+   else
+     nnoread++;
+ 
+  # compute gap
    temp = pb;
    pb = 1.0*temp;
@@ -125 +149 @@
       gapstr = " Large";
 
-   printf("%-18s %6s %7d %7d %8s %9s\n", prob, gapstr, bbnodes, time, status, solstatus);
+   printf("%-28s %16.9g %16.9g %6s %7d %7d %8s %9s\n", prob, db, pb, gapstr, bbnodes, time, status, solstatus);
 }
 END {
-   printf("------------------+------+-------+-------+--------+---------\n");
+   printf("----------------------------+----------------+----------------+------+-------+-------+--------+---------\n");
+   printf("\n");
+   printf("solved/stopped/noread/failed: %d/%d/%d/%d\n", nsolved, nstopped, nnoread, nfailed);
+   printf("\n");
    printf("@02 timelimit: %g\n", timelimit);
-   printf("@01 %s(%s)%s(%s)\n", solver, solverversion, lps, lpsversion);
+   printf("@01 %s(%s)%s\n", solver, solverversion, solverremark);
 }