source: branches/devel/Cbc/src/CoinSolve.cpp @ 520

Last change on this file since 520 was 520, checked in by forrest, 13 years ago

fix bug in ampl interface and try slp

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 185.3 KB
Line 
1// Copyright (C) 2004, International Business Machines
2// Corporation and others.  All Rights Reserved.
3   
4#include "CbcConfig.h"
5#include "CoinPragma.hpp"
6
7#include <cassert>
8#include <cstdio>
9#include <cmath>
10#include <cfloat>
11#include <cstring>
12#include <iostream>
13
14
15#include "CoinPragma.hpp"
16#include "CoinHelperFunctions.hpp"
17// Same version as CBC
18#define CBCVERSION "1.02.00"
19
20#include "CoinMpsIO.hpp"
21#include "CoinModel.hpp"
22
23#include "ClpFactorization.hpp"
24#include "CoinTime.hpp"
25#include "ClpSimplex.hpp"
26#include "ClpSimplexOther.hpp"
27#include "ClpSolve.hpp"
28#include "ClpPackedMatrix.hpp"
29#include "ClpPlusMinusOneMatrix.hpp"
30#include "ClpNetworkMatrix.hpp"
31#include "ClpDualRowSteepest.hpp"
32#include "ClpDualRowDantzig.hpp"
33#include "ClpLinearObjective.hpp"
34#include "ClpPrimalColumnSteepest.hpp"
35#include "ClpPrimalColumnDantzig.hpp"
36#include "ClpPresolve.hpp"
37#include "CbcOrClpParam.hpp"
38#include "OsiRowCutDebugger.hpp"
39#include "OsiChooseVariable.hpp"
40#ifdef DMALLOC
41#include "dmalloc.h"
42#endif
43#ifdef WSSMP_BARRIER
44#define FOREIGN_BARRIER
45#endif
46#ifdef UFL_BARRIER
47#define FOREIGN_BARRIER
48#endif
49#ifdef TAUCS_BARRIER
50#define FOREIGN_BARRIER
51#endif
52#include "CoinWarmStartBasis.hpp"
53
54#include "OsiSolverInterface.hpp"
55#include "OsiCuts.hpp"
56#include "OsiRowCut.hpp"
57#include "OsiColCut.hpp"
58#ifdef COIN_HAS_ASL
59#define COIN_HAS_LINK
60#endif
61#ifndef COIN_DEVELOP
62#undef COIN_HAS_LINK
63#endif
64#ifdef COIN_HAS_LINK
65#include "CbcLinked.hpp"
66#endif
67#include "CglPreProcess.hpp"
68#include "CglCutGenerator.hpp"
69#include "CglGomory.hpp"
70#include "CglProbing.hpp"
71#include "CglKnapsackCover.hpp"
72#include "CglRedSplit.hpp"
73#include "CglClique.hpp"
74#include "CglFlowCover.hpp"
75#include "CglMixedIntegerRounding2.hpp"
76#include "CglTwomir.hpp"
77#include "CglDuplicateRow.hpp"
78#include "CglStored.hpp"
79#include "CglLandP.hpp"
80
81#include "CbcModel.hpp"
82#include "CbcHeuristic.hpp"
83#include "CbcHeuristicLocal.hpp"
84#include "CbcHeuristicGreedy.hpp"
85#include "CbcHeuristicFPump.hpp"
86#include "CbcHeuristicRINS.hpp"
87#include "CbcTreeLocal.hpp"
88#include "CbcCompareActual.hpp"
89#include "CbcBranchActual.hpp"
90#include  "CbcOrClpParam.hpp"
91#include  "CbcCutGenerator.hpp"
92#include  "CbcStrategy.hpp"
93
94#include "OsiClpSolverInterface.hpp"
95#ifdef COIN_HAS_ASL
96#include "Cbc_ampl.h"
97static bool usingAmpl=false;
98#endif
99static double totalTime=0.0;
100static void statistics(ClpSimplex * originalModel, ClpSimplex * model);
101static bool maskMatches(const int * starts, char ** masks,
102                        std::string & check);
103static void generateCode(CbcModel * model, const char * fileName,int type,int preProcess);
104#ifdef NDEBUG
105#undef NDEBUG
106#endif
107//#############################################################################
108// To use USERCBC or USERCLP uncomment the following define and add in your fake main program here
109//#define USER_HAS_FAKE_MAIN
110//  Start any fake main program
111#ifdef USER_HAS_FAKE_MAIN
112#endif
113//  End any fake main program
114//#############################################################################
115
116// Allow for interrupts
117// But is this threadsafe ? (so switched off by option)
118
119#include "CoinSignal.hpp"
120static CbcModel * currentBranchModel = NULL;
121
122extern "C" {
123   static void signal_handler(int whichSignal)
124   {
125      if (currentBranchModel!=NULL) 
126         currentBranchModel->setMaximumNodes(0); // stop at next node
127      return;
128   }
129}
130
131int mainTest (int argc, const char *argv[],int algorithm,
132              ClpSimplex empty, bool doPresolve,int switchOff,bool doVector);
133void CbcClpUnitTest (const CbcModel & saveModel);
134int CbcOrClpRead_mode=1;
135FILE * CbcOrClpReadCommand=stdin;
136static bool noPrinting=false;
137static int * analyze(OsiClpSolverInterface * solverMod, int & numberChanged, double & increment,
138                     bool changeInt)
139{
140  OsiSolverInterface * solver = solverMod->clone();
141  if (0) {
142    // just get increment
143    CbcModel model(*solver);
144    model.analyzeObjective();
145    double increment2=model.getCutoffIncrement();
146    printf("initial cutoff increment %g\n",increment2);
147  }
148  const double *objective = solver->getObjCoefficients() ;
149  const double *lower = solver->getColLower() ;
150  const double *upper = solver->getColUpper() ;
151  int numberColumns = solver->getNumCols() ;
152  int numberRows = solver->getNumRows();
153  double direction = solver->getObjSense();
154  int iRow,iColumn;
155
156  // Row copy
157  CoinPackedMatrix matrixByRow(*solver->getMatrixByRow());
158  const double * elementByRow = matrixByRow.getElements();
159  const int * column = matrixByRow.getIndices();
160  const CoinBigIndex * rowStart = matrixByRow.getVectorStarts();
161  const int * rowLength = matrixByRow.getVectorLengths();
162
163  // Column copy
164  CoinPackedMatrix  matrixByCol(*solver->getMatrixByCol());
165  const double * element = matrixByCol.getElements();
166  const int * row = matrixByCol.getIndices();
167  const CoinBigIndex * columnStart = matrixByCol.getVectorStarts();
168  const int * columnLength = matrixByCol.getVectorLengths();
169
170  const double * rowLower = solver->getRowLower();
171  const double * rowUpper = solver->getRowUpper();
172
173  char * ignore = new char [numberRows];
174  int * changed = new int[numberColumns];
175  int * which = new int[numberRows];
176  double * changeRhs = new double[numberRows];
177  memset(changeRhs,0,numberRows*sizeof(double));
178  memset(ignore,0,numberRows);
179  numberChanged=0;
180  int numberInteger=0;
181  for (iColumn=0;iColumn<numberColumns;iColumn++) {
182    if (upper[iColumn] > lower[iColumn]+1.0e-8&&solver->isInteger(iColumn)) 
183      numberInteger++;
184  }
185  bool finished=false;
186  while (!finished) {
187    int saveNumberChanged = numberChanged;
188    for (iRow=0;iRow<numberRows;iRow++) {
189      int numberContinuous=0;
190      double value1=0.0,value2=0.0;
191      bool allIntegerCoeff=true;
192      double sumFixed=0.0;
193      int jColumn1=-1,jColumn2=-1;
194      for (CoinBigIndex j=rowStart[iRow];j<rowStart[iRow]+rowLength[iRow];j++) {
195        int jColumn = column[j];
196        double value = elementByRow[j];
197        if (upper[jColumn] > lower[jColumn]+1.0e-8) {
198          if (!solver->isInteger(jColumn)) {
199            if (numberContinuous==0) {
200              jColumn1=jColumn;
201              value1=value;
202            } else {
203              jColumn2=jColumn;
204              value2=value;
205            }
206            numberContinuous++;
207          } else {
208            if (fabs(value-floor(value+0.5))>1.0e-12)
209              allIntegerCoeff=false;
210          }
211        } else {
212          sumFixed += lower[jColumn]*value;
213        }
214      }
215      double low = rowLower[iRow];
216      if (low>-1.0e20) {
217        low -= sumFixed;
218        if (fabs(low-floor(low+0.5))>1.0e-12)
219          allIntegerCoeff=false;
220      }
221      double up = rowUpper[iRow];
222      if (up<1.0e20) {
223        up -= sumFixed;
224        if (fabs(up-floor(up+0.5))>1.0e-12)
225          allIntegerCoeff=false;
226      }
227      if (!allIntegerCoeff)
228        continue; // can't do
229      if (numberContinuous==1) {
230        // see if really integer
231        // This does not allow for complicated cases
232        if (low==up) {
233          if (fabs(value1)>1.0e-3) {
234            value1 = 1.0/value1;
235            if (fabs(value1-floor(value1+0.5))<1.0e-12) {
236              // integer
237              changed[numberChanged++]=jColumn1;
238              solver->setInteger(jColumn1);
239              if (upper[jColumn1]>1.0e20)
240                solver->setColUpper(jColumn1,1.0e20);
241              if (lower[jColumn1]<-1.0e20)
242                solver->setColLower(jColumn1,-1.0e20);
243            }
244          }
245        } else {
246          if (fabs(value1)>1.0e-3) {
247            value1 = 1.0/value1;
248            if (fabs(value1-floor(value1+0.5))<1.0e-12) {
249              // This constraint will not stop it being integer
250              ignore[iRow]=1;
251            }
252          }
253        }
254      } else if (numberContinuous==2) {
255        if (low==up) {
256          /* need general theory - for now just look at 2 cases -
257             1 - +- 1 one in column and just costs i.e. matching objective
258             2 - +- 1 two in column but feeds into G/L row which will try and minimize
259          */
260          if (fabs(value1)==1.0&&value1*value2==-1.0&&!lower[jColumn1]
261              &&!lower[jColumn2]) {
262            int n=0;
263            int i;
264            double objChange=direction*(objective[jColumn1]+objective[jColumn2]);
265            double bound = CoinMin(upper[jColumn1],upper[jColumn2]);
266            bound = CoinMin(bound,1.0e20);
267            for ( i=columnStart[jColumn1];i<columnStart[jColumn1]+columnLength[jColumn1];i++) {
268              int jRow = row[i];
269              double value = element[i];
270              if (jRow!=iRow) {
271                which[n++]=jRow;
272                changeRhs[jRow]=value;
273              }
274            }
275            for ( i=columnStart[jColumn1];i<columnStart[jColumn1]+columnLength[jColumn1];i++) {
276              int jRow = row[i];
277              double value = element[i];
278              if (jRow!=iRow) {
279                if (!changeRhs[jRow]) {
280                  which[n++]=jRow;
281                  changeRhs[jRow]=value;
282                } else {
283                  changeRhs[jRow]+=value;
284                }
285              }
286            }
287            if (objChange>=0.0) {
288              // see if all rows OK
289              bool good=true;
290              for (i=0;i<n;i++) {
291                int jRow = which[i];
292                double value = changeRhs[jRow];
293                if (value) {
294                  value *= bound;
295                  if (rowLength[jRow]==1) {
296                    if (value>0.0) {
297                      double rhs = rowLower[jRow];
298                      if (rhs>0.0) {
299                        double ratio =rhs/value;
300                        if (fabs(ratio-floor(ratio+0.5))>1.0e-12)
301                          good=false;
302                      }
303                    } else {
304                      double rhs = rowUpper[jRow];
305                      if (rhs<0.0) {
306                        double ratio =rhs/value;
307                        if (fabs(ratio-floor(ratio+0.5))>1.0e-12)
308                          good=false;
309                      }
310                    }
311                  } else if (rowLength[jRow]==2) {
312                    if (value>0.0) {
313                      if (rowLower[jRow]>-1.0e20)
314                        good=false;
315                    } else {
316                      if (rowUpper[jRow]<1.0e20)
317                        good=false;
318                    }
319                  } else {
320                    good=false;
321                  }
322                }
323              }
324              if (good) {
325                // both can be integer
326                changed[numberChanged++]=jColumn1;
327                solver->setInteger(jColumn1);
328                if (upper[jColumn1]>1.0e20)
329                  solver->setColUpper(jColumn1,1.0e20);
330                if (lower[jColumn1]<-1.0e20)
331                  solver->setColLower(jColumn1,-1.0e20);
332                changed[numberChanged++]=jColumn2;
333                solver->setInteger(jColumn2);
334                if (upper[jColumn2]>1.0e20)
335                  solver->setColUpper(jColumn2,1.0e20);
336                if (lower[jColumn2]<-1.0e20)
337                  solver->setColLower(jColumn2,-1.0e20);
338              }
339            }
340            // clear
341            for (i=0;i<n;i++) {
342              changeRhs[which[i]]=0.0;
343            }
344          }
345        }
346      }
347    }
348    for (iColumn=0;iColumn<numberColumns;iColumn++) {
349      if (upper[iColumn] > lower[iColumn]+1.0e-8&&!solver->isInteger(iColumn)) {
350        double value;
351        value = upper[iColumn];
352        if (value<1.0e20&&fabs(value-floor(value+0.5))>1.0e-12) 
353          continue;
354        value = lower[iColumn];
355        if (value>-1.0e20&&fabs(value-floor(value+0.5))>1.0e-12) 
356          continue;
357        bool integer=true;
358        for (CoinBigIndex j=columnStart[iColumn];j<columnStart[iColumn]+columnLength[iColumn];j++) {
359          int iRow = row[j];
360          if (!ignore[iRow]) {
361            integer=false;
362            break;
363          }
364        }
365        if (integer) {
366          // integer
367          changed[numberChanged++]=iColumn;
368          solver->setInteger(iColumn);
369          if (upper[iColumn]>1.0e20)
370            solver->setColUpper(iColumn,1.0e20);
371          if (lower[iColumn]<-1.0e20)
372            solver->setColLower(iColumn,-1.0e20);
373        }
374      }
375    }
376    finished = numberChanged==saveNumberChanged;
377  }
378  delete [] which;
379  delete [] changeRhs;
380  delete [] ignore;
381  if (numberInteger&&!noPrinting)
382    printf("%d integer variables",numberInteger);
383  if (changeInt) {
384    if (!noPrinting) {
385      if (numberChanged)
386        printf(" and %d variables made integer\n",numberChanged);
387      else
388        printf("\n");
389    }
390    delete [] ignore;
391    //increment=0.0;
392    if (!numberChanged) {
393      delete [] changed;
394      delete solver;
395      return NULL;
396    } else {
397      for (iColumn=0;iColumn<numberColumns;iColumn++) {
398        if (solver->isInteger(iColumn))
399          solverMod->setInteger(iColumn);
400      }
401      delete solver;
402      return changed;
403    }
404  } else {
405    if (!noPrinting) {
406      if (numberChanged)
407        printf(" and %d variables could be made integer\n",numberChanged);
408      else
409        printf("\n");
410    }
411    // just get increment
412    CbcModel model(*solver);
413    if (noPrinting)
414      model.setLogLevel(0);
415    model.analyzeObjective();
416    double increment2=model.getCutoffIncrement();
417    if (increment2>increment) {
418      if (!noPrinting)
419        printf("cutoff increment increased from %g to %g\n",increment,increment2);
420      increment=increment2;
421    }
422    delete solver;
423    numberChanged=0;
424    delete [] changed;
425    return NULL;
426  }
427}
428static int outDupRow(OsiSolverInterface * solver) 
429{
430  CglDuplicateRow dupCuts(solver);
431  CglTreeInfo info;
432  info.level = 0;
433  info.pass = 0;
434  int numberRows = solver->getNumRows();
435  info.formulation_rows = numberRows;
436  info.inTree = false;
437  info.strengthenRow= NULL;
438  info.pass = 0;
439  OsiCuts cs;
440  dupCuts.generateCuts(*solver,cs,info);
441  const int * duplicate = dupCuts.duplicate();
442  // Get rid of duplicate rows
443  int * which = new int[numberRows]; 
444  int numberDrop=0;
445  for (int iRow=0;iRow<numberRows;iRow++) {
446    if (duplicate[iRow]==-2||duplicate[iRow]>=0) 
447      which[numberDrop++]=iRow;
448  }
449  if (numberDrop) {
450    solver->deleteRows(numberDrop,which);
451  }
452  delete [] which;
453  // see if we have any column cuts
454  int numberColumnCuts = cs.sizeColCuts() ;
455  const double * columnLower = solver->getColLower();
456  const double * columnUpper = solver->getColUpper();
457  for (int k = 0;k<numberColumnCuts;k++) {
458    OsiColCut * thisCut = cs.colCutPtr(k) ;
459    const CoinPackedVector & lbs = thisCut->lbs() ;
460    const CoinPackedVector & ubs = thisCut->ubs() ;
461    int j ;
462    int n ;
463    const int * which ;
464    const double * values ;
465    n = lbs.getNumElements() ;
466    which = lbs.getIndices() ;
467    values = lbs.getElements() ;
468    for (j = 0;j<n;j++) {
469      int iColumn = which[j] ;
470      if (values[j]>columnLower[iColumn]) 
471        solver->setColLower(iColumn,values[j]) ;
472    }
473    n = ubs.getNumElements() ;
474    which = ubs.getIndices() ;
475    values = ubs.getElements() ;
476    for (j = 0;j<n;j++) {
477      int iColumn = which[j] ;
478      if (values[j]<columnUpper[iColumn]) 
479        solver->setColUpper(iColumn,values[j]) ;
480    }
481  }
482  return numberDrop;
483}
484void checkSOS(CbcModel * babModel, const OsiSolverInterface * solver)
485{
486#ifdef COIN_DEVELOP
487  if (!babModel->ownObjects())
488    return;
489  //const double *objective = solver->getObjCoefficients() ;
490  const double *columnLower = solver->getColLower() ;
491  const double * columnUpper = solver->getColUpper() ;
492  const double * solution = solver->getColSolution();
493  //int numberColumns = solver->getNumCols() ;
494  //int numberRows = solver->getNumRows();
495  //double direction = solver->getObjSense();
496  //int iRow,iColumn;
497
498  // Row copy
499  CoinPackedMatrix matrixByRow(*solver->getMatrixByRow());
500  //const double * elementByRow = matrixByRow.getElements();
501  //const int * column = matrixByRow.getIndices();
502  //const CoinBigIndex * rowStart = matrixByRow.getVectorStarts();
503  const int * rowLength = matrixByRow.getVectorLengths();
504
505  // Column copy
506  CoinPackedMatrix  matrixByCol(*solver->getMatrixByCol());
507  const double * element = matrixByCol.getElements();
508  const int * row = matrixByCol.getIndices();
509  const CoinBigIndex * columnStart = matrixByCol.getVectorStarts();
510  const int * columnLength = matrixByCol.getVectorLengths();
511
512  const double * rowLower = solver->getRowLower();
513  const double * rowUpper = solver->getRowUpper();
514  OsiObject ** objects = babModel->objects();
515  int numberObjects = babModel->numberObjects();
516  for (int iObj = 0;iObj<numberObjects;iObj++) {
517    CbcSOS * objSOS =
518      dynamic_cast <CbcSOS *>(objects[iObj]) ;
519    if (objSOS) {
520      int n=objSOS->numberMembers();
521      const int * which = objSOS->members();
522      const double * weight = objSOS->weights();
523      int type = objSOS->sosType();
524      // convexity row?
525      int iColumn;
526      iColumn=which[0];
527      int j;
528      int convex=-1;
529      for (j=columnStart[iColumn];j<columnStart[iColumn]+columnLength[iColumn];j++) {
530        int iRow = row[j];
531        double value = element[j];
532        if (rowLower[iRow]==1.0&&rowUpper[iRow]==1.0&&
533            value==1.0) {
534          // possible
535          if (rowLength[iRow]==n) {
536            if (convex==-1)
537              convex=iRow;
538            else
539              convex=-2;
540          }
541        }
542      }
543      printf ("set %d of type %d has %d members - possible convexity row %d\n",
544              iObj,type,n,convex);
545      for (int i=0;i<n;i++) {
546        iColumn = which[i];
547        int convex2=-1;
548        for (j=columnStart[iColumn];j<columnStart[iColumn]+columnLength[iColumn];j++) {
549          int iRow = row[j];
550          if (iRow==convex) {
551            double value = element[j];
552            if (value==1.0) {
553              convex2=iRow;
554            }
555          }
556        }
557        if (convex2<0&&convex>=0) {
558          printf("odd convexity row\n");
559          convex=-2;
560        }
561        printf("col %d has weight %g and value %g, bounds %g %g\n",
562               iColumn,weight[i],solution[iColumn],columnLower[iColumn],
563               columnUpper[iColumn]);
564      }
565    }
566  }
567#endif
568}
569int main (int argc, const char *argv[])
570{
571  /* Note
572     This is meant as a stand-alone executable to do as much of coin as possible.
573     It should only have one solver known to it.
574  */
575  {
576    double time1 = CoinCpuTime(),time2;
577    bool goodModel=false;
578    CoinSighandler_t saveSignal=SIG_DFL;
579    // register signal handler
580    saveSignal = signal(SIGINT,signal_handler);
581    // Set up all non-standard stuff
582    OsiClpSolverInterface solver1;
583    CbcModel model(solver1);
584    CbcModel * babModel = NULL;
585    model.setNumberBeforeTrust(21);
586    int cutPass=-1234567;
587    int tunePreProcess=5;
588    int testOsiParameters=-1;
589    // 0 normal, 1 from ampl, 2 from other input
590    int complicatedInteger=0;
591    OsiSolverInterface * solver = model.solver();
592    OsiClpSolverInterface * clpSolver = dynamic_cast< OsiClpSolverInterface*> (solver);
593    ClpSimplex * lpSolver = clpSolver->getModelPtr();
594    clpSolver->messageHandler()->setLogLevel(0) ;
595    model.messageHandler()->setLogLevel(1);
596    // For priorities etc
597    int * priorities=NULL;
598    int * branchDirection=NULL;
599    double * pseudoDown=NULL;
600    double * pseudoUp=NULL;
601    double * solutionIn = NULL;
602    int * prioritiesIn = NULL;
603    int numberSOS = 0;
604    int * sosStart = NULL;
605    int * sosIndices = NULL;
606    char * sosType = NULL;
607    double * sosReference = NULL;
608    int * sosPriority=NULL;
609#ifdef COIN_HAS_ASL
610    ampl_info info;
611    CoinModel * coinModel = NULL;
612    memset(&info,0,sizeof(info));
613    if (argc>2&&!strcmp(argv[2],"-AMPL")) {
614      usingAmpl=true;
615      int returnCode = readAmpl(&info,argc,const_cast<char **>(argv),(void **) (& coinModel));
616      if (returnCode)
617        return returnCode;
618      CbcOrClpRead_mode=2; // so will start with parameters
619      // see if log in list
620      noPrinting=true;
621      for (int i=1;i<info.numberArguments;i++) {
622        if (!strcmp(info.arguments[i],"log")) {
623          if (i<info.numberArguments-1&&atoi(info.arguments[i+1])>0)
624            noPrinting=false;
625          break;
626        }
627      }
628      if (noPrinting) {
629        model.messageHandler()->setLogLevel(0);
630        setCbcOrClpPrinting(false);
631      }
632      if (!noPrinting)
633        printf("%d rows, %d columns and %d elements\n",
634               info.numberRows,info.numberColumns,info.numberElements);
635#ifdef COIN_HAS_LINK
636      if (!coinModel) {
637#endif
638      solver->loadProblem(info.numberColumns,info.numberRows,info.starts,
639                          info.rows,info.elements,
640                          info.columnLower,info.columnUpper,info.objective,
641                          info.rowLower,info.rowUpper);
642#ifdef COIN_HAS_LINK
643      } else {
644        // load from coin model
645        OsiSolverLink solver1;
646        OsiSolverInterface * solver2 = solver1.clone();
647        model.assignSolver(solver2,true);
648        OsiSolverLink * si =
649          dynamic_cast<OsiSolverLink *>(model.solver()) ;
650        assert (si != NULL);
651        si->setDefaultMeshSize(0.001);
652        // need some relative granularity
653        si->setDefaultBound(100.0);
654        si->setDefaultMeshSize(0.01);
655        si->setDefaultBound(100.0);
656        si->setIntegerPriority(1000);
657        si->setBiLinearPriority(10000);
658        CoinModel * model2 = (CoinModel *) coinModel;
659        si->load(*model2);
660        // redo
661        solver = model.solver();
662        clpSolver = dynamic_cast< OsiClpSolverInterface*> (solver);
663        lpSolver = clpSolver->getModelPtr();
664        clpSolver->messageHandler()->setLogLevel(0) ;
665        testOsiParameters=0;
666        complicatedInteger=1;
667      }
668#endif
669      // If we had a solution use it
670      if (info.primalSolution) {
671        solver->setColSolution(info.primalSolution);
672      }
673      // status
674      if (info.rowStatus) {
675        unsigned char * statusArray = lpSolver->statusArray();
676        int i;
677        for (i=0;i<info.numberColumns;i++)
678          statusArray[i]=(char)info.columnStatus[i];
679        statusArray+=info.numberColumns;
680        for (i=0;i<info.numberRows;i++)
681          statusArray[i]=(char)info.rowStatus[i];
682        CoinWarmStartBasis * basis = lpSolver->getBasis();
683        solver->setWarmStart(basis);
684        delete basis;
685      }
686      freeArrays1(&info);
687      // modify objective if necessary
688      solver->setObjSense(info.direction);
689      solver->setDblParam(OsiObjOffset,info.offset);
690      // Set integer variables
691      for (int i=info.numberColumns-info.numberBinary-info.numberIntegers;
692           i<info.numberColumns;i++)
693        solver->setInteger(i);
694      goodModel=true;
695      // change argc etc
696      argc = info.numberArguments;
697      argv = const_cast<const char **>(info.arguments);
698    }
699#endif   
700    // default action on import
701    int allowImportErrors=0;
702    int keepImportNames=1;
703    int doIdiot=-1;
704    int outputFormat=2;
705    int slpValue=-1;
706    int cppValue=-1;
707    int printOptions=0;
708    int printMode=0;
709    int presolveOptions=0;
710    int substitution=3;
711    int dualize=0;
712    int doCrash=0;
713    int doVector=0;
714    int doSprint=-1;
715    int doScaling=1;
716    // set reasonable defaults
717    int preSolve=5;
718    int preProcess=1;
719    bool useStrategy=false;
720    bool preSolveFile=false;
721   
722    double djFix=1.0e100;
723    double gapRatio=1.0e100;
724    double tightenFactor=0.0;
725    lpSolver->setPerturbation(50);
726    lpSolver->messageHandler()->setPrefix(false);
727    const char dirsep =  CoinFindDirSeparator();
728    std::string directory = (dirsep == '/' ? "./" : ".\\");
729    std::string defaultDirectory = directory;
730    std::string importFile ="";
731    std::string exportFile ="default.mps";
732    std::string importBasisFile ="";
733    std::string importPriorityFile ="";
734    std::string debugFile="";
735    std::string printMask="";
736    double * debugValues = NULL;
737    int numberDebugValues = -1;
738    int basisHasValues=0;
739    std::string exportBasisFile ="default.bas";
740    std::string saveFile ="default.prob";
741    std::string restoreFile ="default.prob";
742    std::string solutionFile ="stdout";
743    std::string solutionSaveFile ="solution.file";
744#define CBCMAXPARAMETERS 200
745    CbcOrClpParam parameters[CBCMAXPARAMETERS];
746    int numberParameters ;
747    establishParams(numberParameters,parameters) ;
748    parameters[whichParam(BASISIN,numberParameters,parameters)].setStringValue(importBasisFile);
749    parameters[whichParam(PRIORITYIN,numberParameters,parameters)].setStringValue(importPriorityFile);
750    parameters[whichParam(BASISOUT,numberParameters,parameters)].setStringValue(exportBasisFile);
751    parameters[whichParam(DEBUG,numberParameters,parameters)].setStringValue(debugFile);
752    parameters[whichParam(PRINTMASK,numberParameters,parameters)].setStringValue(printMask);
753    parameters[whichParam(DIRECTORY,numberParameters,parameters)].setStringValue(directory);
754    parameters[whichParam(DUALBOUND,numberParameters,parameters)].setDoubleValue(lpSolver->dualBound());
755    parameters[whichParam(DUALTOLERANCE,numberParameters,parameters)].setDoubleValue(lpSolver->dualTolerance());
756    parameters[whichParam(EXPORT,numberParameters,parameters)].setStringValue(exportFile);
757    parameters[whichParam(IDIOT,numberParameters,parameters)].setIntValue(doIdiot);
758    parameters[whichParam(IMPORT,numberParameters,parameters)].setStringValue(importFile);
759    parameters[whichParam(PRESOLVETOLERANCE,numberParameters,parameters)].setDoubleValue(1.0e-8);
760    int slog = whichParam(SOLVERLOGLEVEL,numberParameters,parameters);
761    int log = whichParam(LOGLEVEL,numberParameters,parameters);
762    parameters[slog].setIntValue(0);
763    parameters[log].setIntValue(1);
764    parameters[whichParam(MAXFACTOR,numberParameters,parameters)].setIntValue(lpSolver->factorizationFrequency());
765    parameters[whichParam(MAXITERATION,numberParameters,parameters)].setIntValue(lpSolver->maximumIterations());
766    parameters[whichParam(OUTPUTFORMAT,numberParameters,parameters)].setIntValue(outputFormat);
767    parameters[whichParam(PRESOLVEPASS,numberParameters,parameters)].setIntValue(preSolve);
768    parameters[whichParam(PERTVALUE,numberParameters,parameters)].setIntValue(lpSolver->perturbation());
769    parameters[whichParam(PRIMALTOLERANCE,numberParameters,parameters)].setDoubleValue(lpSolver->primalTolerance());
770    parameters[whichParam(PRIMALWEIGHT,numberParameters,parameters)].setDoubleValue(lpSolver->infeasibilityCost());
771    parameters[whichParam(RESTORE,numberParameters,parameters)].setStringValue(restoreFile);
772    parameters[whichParam(SAVE,numberParameters,parameters)].setStringValue(saveFile);
773    //parameters[whichParam(TIMELIMIT,numberParameters,parameters)].setDoubleValue(1.0e8);
774    parameters[whichParam(TIMELIMIT_BAB,numberParameters,parameters)].setDoubleValue(1.0e8);
775    parameters[whichParam(SOLUTION,numberParameters,parameters)].setStringValue(solutionFile);
776    parameters[whichParam(SAVESOL,numberParameters,parameters)].setStringValue(solutionSaveFile);
777    parameters[whichParam(SPRINT,numberParameters,parameters)].setIntValue(doSprint);
778    parameters[whichParam(SUBSTITUTION,numberParameters,parameters)].setIntValue(substitution);
779    parameters[whichParam(DUALIZE,numberParameters,parameters)].setIntValue(dualize);
780    model.setNumberBeforeTrust(5);
781    parameters[whichParam(NUMBERBEFORE,numberParameters,parameters)].setIntValue(5);
782    parameters[whichParam(MAXNODES,numberParameters,parameters)].setIntValue(model.getMaximumNodes());
783    model.setNumberStrong(5);
784    parameters[whichParam(STRONGBRANCHING,numberParameters,parameters)].setIntValue(model.numberStrong());
785    parameters[whichParam(INFEASIBILITYWEIGHT,numberParameters,parameters)].setDoubleValue(model.getDblParam(CbcModel::CbcInfeasibilityWeight));
786    parameters[whichParam(INTEGERTOLERANCE,numberParameters,parameters)].setDoubleValue(model.getDblParam(CbcModel::CbcIntegerTolerance));
787    parameters[whichParam(INCREMENT,numberParameters,parameters)].setDoubleValue(model.getDblParam(CbcModel::CbcCutoffIncrement));
788    parameters[whichParam(TESTOSI,numberParameters,parameters)].setIntValue(testOsiParameters);
789    if (testOsiParameters>=0) {
790      // trying nonlinear - switch off some stuff
791      preProcess=0;
792    }
793    // Set up likely cut generators and defaults
794    parameters[whichParam(PREPROCESS,numberParameters,parameters)].setCurrentOption("on");
795    parameters[whichParam(MIPOPTIONS,numberParameters,parameters)].setIntValue(128|64|1);
796    parameters[whichParam(MOREMIPOPTIONS,numberParameters,parameters)].setIntValue(-1);
797    parameters[whichParam(MAXHOTITS,numberParameters,parameters)].setIntValue(100);
798    parameters[whichParam(CUTSSTRATEGY,numberParameters,parameters)].setCurrentOption("on");
799    parameters[whichParam(HEURISTICSTRATEGY,numberParameters,parameters)].setCurrentOption("on");
800    parameters[whichParam(NODESTRATEGY,numberParameters,parameters)].setCurrentOption("fewest");
801    int nodeStrategy=0;
802    int doSOS=1;
803    int verbose=0;
804    CglGomory gomoryGen;
805    // try larger limit
806    gomoryGen.setLimitAtRoot(512);
807    gomoryGen.setLimit(50);
808    // set default action (0=off,1=on,2=root)
809    int gomoryAction=3;
810    parameters[whichParam(GOMORYCUTS,numberParameters,parameters)].setCurrentOption("ifmove");
811
812    CglProbing probingGen;
813    probingGen.setUsingObjective(1);
814    probingGen.setMaxPass(3);
815    probingGen.setMaxPassRoot(3);
816    // Number of unsatisfied variables to look at
817    probingGen.setMaxProbe(10);
818    probingGen.setMaxProbeRoot(50);
819    // How far to follow the consequences
820    probingGen.setMaxLook(10);
821    probingGen.setMaxLookRoot(50);
822    probingGen.setMaxLookRoot(10);
823    // Only look at rows with fewer than this number of elements
824    probingGen.setMaxElements(200);
825    probingGen.setRowCuts(3);
826    // set default action (0=off,1=on,2=root)
827    int probingAction=1;
828    parameters[whichParam(PROBINGCUTS,numberParameters,parameters)].setCurrentOption("ifmove");
829
830    CglKnapsackCover knapsackGen;
831    //knapsackGen.switchOnExpensive();
832    // set default action (0=off,1=on,2=root)
833    int knapsackAction=3;
834    parameters[whichParam(KNAPSACKCUTS,numberParameters,parameters)].setCurrentOption("ifmove");
835
836    CglRedSplit redsplitGen;
837    //redsplitGen.setLimit(100);
838    // set default action (0=off,1=on,2=root)
839    // Off as seems to give some bad cuts
840    int redsplitAction=0;
841    parameters[whichParam(REDSPLITCUTS,numberParameters,parameters)].setCurrentOption("off");
842
843    CglClique cliqueGen(false,true);
844    cliqueGen.setStarCliqueReport(false);
845    cliqueGen.setRowCliqueReport(false);
846    cliqueGen.setMinViolation(0.1);
847    // set default action (0=off,1=on,2=root)
848    int cliqueAction=3;
849    parameters[whichParam(CLIQUECUTS,numberParameters,parameters)].setCurrentOption("ifmove");
850
851    CglMixedIntegerRounding2 mixedGen;
852    // set default action (0=off,1=on,2=root)
853    int mixedAction=3;
854    parameters[whichParam(MIXEDCUTS,numberParameters,parameters)].setCurrentOption("ifmove");
855
856    CglFlowCover flowGen;
857    // set default action (0=off,1=on,2=root)
858    int flowAction=3;
859    parameters[whichParam(FLOWCUTS,numberParameters,parameters)].setCurrentOption("ifmove");
860
861    CglTwomir twomirGen;
862    twomirGen.setMaxElements(250);
863    // set default action (0=off,1=on,2=root)
864    int twomirAction=2;
865    parameters[whichParam(TWOMIRCUTS,numberParameters,parameters)].setCurrentOption("root");
866    CglLandP landpGen;
867    // set default action (0=off,1=on,2=root)
868    int landpAction=0;
869    parameters[whichParam(LANDPCUTS,numberParameters,parameters)].setCurrentOption("off");
870    // Stored cuts
871    bool storedCuts = false;
872
873    bool useRounding=true;
874    parameters[whichParam(ROUNDING,numberParameters,parameters)].setCurrentOption("on");
875    bool useFpump=true;
876    parameters[whichParam(FPUMP,numberParameters,parameters)].setCurrentOption("on");
877    bool useGreedy=true;
878    parameters[whichParam(GREEDY,numberParameters,parameters)].setCurrentOption("on");
879    bool useCombine=true;
880    parameters[whichParam(COMBINE,numberParameters,parameters)].setCurrentOption("on");
881    bool useLocalTree=false;
882    bool useRINS=false;
883    parameters[whichParam(RINS,numberParameters,parameters)].setCurrentOption("off");
884    parameters[whichParam(COSTSTRATEGY,numberParameters,parameters)].setCurrentOption("off");
885    int useCosts=0;
886    // don't use input solution
887    int useSolution=0;
888   
889    // total number of commands read
890    int numberGoodCommands=0;
891    // Set false if user does anything advanced
892    bool defaultSettings=true;
893
894    // Hidden stuff for barrier
895    int choleskyType = 0;
896    int gamma=0;
897    int scaleBarrier=0;
898    int doKKT=0;
899    int crossover=2; // do crossover unless quadratic
900    // For names
901    int lengthName = 0;
902    std::vector<std::string> rowNames;
903    std::vector<std::string> columnNames;
904   
905    std::string field;
906    if (!noPrinting) {
907      std::cout<<"Coin Cbc and Clp Solver version "<<CBCVERSION
908               <<", build "<<__DATE__<<std::endl;
909      // Print command line
910      if (argc>1) {
911        printf("command line - ");
912        for (int i=0;i<argc;i++)
913          printf("%s ",argv[i]);
914        printf("\n");
915      }
916    }
917    while (1) {
918      // next command
919      field=CoinReadGetCommand(argc,argv);
920      // exit if null or similar
921      if (!field.length()) {
922        if (numberGoodCommands==1&&goodModel) {
923          // we just had file name - do branch and bound
924          field="branch";
925        } else if (!numberGoodCommands) {
926          // let's give the sucker a hint
927          std::cout
928            <<"CoinSolver takes input from arguments ( - switches to stdin)"
929            <<std::endl
930            <<"Enter ? for list of commands or help"<<std::endl;
931          field="-";
932        } else {
933          break;
934        }
935      }
936     
937      // see if ? at end
938      int numberQuery=0;
939      if (field!="?"&&field!="???") {
940        int length = field.length();
941        int i;
942        for (i=length-1;i>0;i--) {
943          if (field[i]=='?') 
944            numberQuery++;
945          else
946            break;
947        }
948        field=field.substr(0,length-numberQuery);
949      }
950      // find out if valid command
951      int iParam;
952      int numberMatches=0;
953      int firstMatch=-1;
954      for ( iParam=0; iParam<numberParameters; iParam++ ) {
955        int match = parameters[iParam].matches(field);
956        if (match==1) {
957          numberMatches = 1;
958          firstMatch=iParam;
959          break;
960        } else {
961          if (match&&firstMatch<0)
962            firstMatch=iParam;
963          numberMatches += match>>1;
964        }
965      }
966      if (iParam<numberParameters&&!numberQuery) {
967        // found
968        CbcOrClpParam found = parameters[iParam];
969        CbcOrClpParameterType type = found.type();
970        int valid;
971        numberGoodCommands++;
972        if (type==BAB&&goodModel) {
973          // check if any integers
974#ifdef COIN_HAS_ASL
975          if (info.numberSos&&doSOS&&usingAmpl) {
976            // SOS
977            numberSOS = info.numberSos;
978          }
979#endif
980          if (!lpSolver->integerInformation()&&!numberSOS&&
981              !clpSolver->numberSOS())
982            type=DUALSIMPLEX;
983        }
984        if (type==GENERALQUERY) {
985          bool evenHidden=false;
986          if ((verbose&8)!=0) {
987            // even hidden
988            evenHidden = true;
989            verbose &= ~8;
990          }
991#ifdef COIN_HAS_ASL
992          if (verbose<4&&usingAmpl)
993            verbose +=4;
994#endif
995          if (verbose<4) {
996            std::cout<<"In argument list keywords have leading - "
997              ", -stdin or just - switches to stdin"<<std::endl;
998            std::cout<<"One command per line (and no -)"<<std::endl;
999            std::cout<<"abcd? gives list of possibilities, if only one + explanation"<<std::endl;
1000            std::cout<<"abcd?? adds explanation, if only one fuller help"<<std::endl;
1001            std::cout<<"abcd without value (where expected) gives current value"<<std::endl;
1002            std::cout<<"abcd value sets value"<<std::endl;
1003            std::cout<<"Commands are:"<<std::endl;
1004          } else {
1005            std::cout<<"Cbc options are set within AMPL with commands like:"<<std::endl<<std::endl;
1006            std::cout<<"         option cbc_options \"cuts=root log=2 feas=on slog=1\""<<std::endl<<std::endl;
1007            std::cout<<"only maximize, dual, primal, help and quit are recognized without ="<<std::endl;
1008          }
1009          int maxAcross=5;
1010          if ((verbose%4)!=0)
1011            maxAcross=1;
1012          int limits[]={1,51,101,151,201,251,301,351,401};
1013          std::vector<std::string> types;
1014          types.push_back("Double parameters:");
1015          types.push_back("Branch and Cut double parameters:");
1016          types.push_back("Integer parameters:");
1017          types.push_back("Branch and Cut integer parameters:");
1018          types.push_back("Keyword parameters:");
1019          types.push_back("Branch and Cut keyword parameters:");
1020          types.push_back("Actions or string parameters:");
1021          types.push_back("Branch and Cut actions:");
1022          int iType;
1023          for (iType=0;iType<8;iType++) {
1024            int across=0;
1025            if ((verbose%4)!=0)
1026              std::cout<<std::endl;
1027            std::cout<<types[iType]<<std::endl;
1028            if ((verbose&2)!=0)
1029              std::cout<<std::endl;
1030            for ( iParam=0; iParam<numberParameters; iParam++ ) {
1031              int type = parameters[iParam].type();
1032              if ((parameters[iParam].displayThis()||evenHidden)&&
1033                  type>=limits[iType]
1034                  &&type<limits[iType+1]) {
1035                // but skip if not useful for ampl (and in ampl mode)
1036                if (verbose>=4&&(parameters[iParam].whereUsed()&4)==0)
1037                  continue;
1038                if (!across) {
1039                  if ((verbose&2)==0) 
1040                    std::cout<<"  ";
1041                  else
1042                    std::cout<<"Command ";
1043                }
1044                std::cout<<parameters[iParam].matchName()<<"  ";
1045                across++;
1046                if (across==maxAcross) {
1047                  across=0;
1048                  if ((verbose%4)!=0) {
1049                    // put out description as well
1050                    if ((verbose&1)!=0) 
1051                      std::cout<<parameters[iParam].shortHelp();
1052                    std::cout<<std::endl;
1053                    if ((verbose&2)!=0) {
1054                      std::cout<<"---- description"<<std::endl;
1055                      parameters[iParam].printLongHelp();
1056                      std::cout<<"----"<<std::endl<<std::endl;
1057                    }
1058                  } else {
1059                    std::cout<<std::endl;
1060                  }
1061                }
1062              }
1063            }
1064            if (across)
1065              std::cout<<std::endl;
1066          }
1067        } else if (type==FULLGENERALQUERY) {
1068          std::cout<<"Full list of commands is:"<<std::endl;
1069          int maxAcross=5;
1070          int limits[]={1,51,101,151,201,251,301,351,401};
1071          std::vector<std::string> types;
1072          types.push_back("Double parameters:");
1073          types.push_back("Branch and Cut double parameters:");
1074          types.push_back("Integer parameters:");
1075          types.push_back("Branch and Cut integer parameters:");
1076          types.push_back("Keyword parameters:");
1077          types.push_back("Branch and Cut keyword parameters:");
1078          types.push_back("Actions or string parameters:");
1079          types.push_back("Branch and Cut actions:");
1080          int iType;
1081          for (iType=0;iType<8;iType++) {
1082            int across=0;
1083            std::cout<<types[iType]<<"  ";
1084            for ( iParam=0; iParam<numberParameters; iParam++ ) {
1085              int type = parameters[iParam].type();
1086              if (type>=limits[iType]
1087                  &&type<limits[iType+1]) {
1088                if (!across)
1089                  std::cout<<"  ";
1090                std::cout<<parameters[iParam].matchName()<<"  ";
1091                across++;
1092                if (across==maxAcross) {
1093                  std::cout<<std::endl;
1094                  across=0;
1095                }
1096              }
1097            }
1098            if (across)
1099              std::cout<<std::endl;
1100          }
1101        } else if (type<101) {
1102          // get next field as double
1103          double value = CoinReadGetDoubleField(argc,argv,&valid);
1104          if (!valid) {
1105            if (type<51) {
1106              parameters[iParam].setDoubleParameter(lpSolver,value);
1107            } else if (type<81) {
1108              parameters[iParam].setDoubleParameter(model,value);
1109            } else {
1110              parameters[iParam].setDoubleParameter(lpSolver,value);
1111              switch(type) {
1112              case DJFIX:
1113                djFix=value;
1114                preSolve=5;
1115                defaultSettings=false; // user knows what she is doing
1116                break;
1117              case GAPRATIO:
1118                gapRatio=value;
1119                break;
1120              case TIGHTENFACTOR:
1121                tightenFactor=value;
1122                defaultSettings=false; // user knows what she is doing
1123                break;
1124              default:
1125                abort();
1126              }
1127            }
1128          } else if (valid==1) {
1129            abort();
1130          } else {
1131            std::cout<<parameters[iParam].name()<<" has value "<<
1132              parameters[iParam].doubleValue()<<std::endl;
1133          }
1134        } else if (type<201) {
1135          // get next field as int
1136          int value = CoinReadGetIntField(argc,argv,&valid);
1137          if (!valid) {
1138            if (type<151) {
1139              if (parameters[iParam].type()==PRESOLVEPASS)
1140                preSolve = value;
1141              else if (parameters[iParam].type()==IDIOT)
1142                doIdiot = value;
1143              else if (parameters[iParam].type()==SPRINT)
1144                doSprint = value;
1145              else if (parameters[iParam].type()==OUTPUTFORMAT)
1146                outputFormat = value;
1147              else if (parameters[iParam].type()==SLPVALUE)
1148                slpValue = value;
1149              else if (parameters[iParam].type()==CPP)
1150                cppValue = value;
1151              else if (parameters[iParam].type()==PRESOLVEOPTIONS)
1152                presolveOptions = value;
1153              else if (parameters[iParam].type()==PRINTOPTIONS)
1154                printOptions = value;
1155              else if (parameters[iParam].type()==SUBSTITUTION)
1156                substitution = value;
1157              else if (parameters[iParam].type()==DUALIZE)
1158                dualize = value;
1159              else if (parameters[iParam].type()==CUTPASS)
1160                cutPass = value;
1161              else if (parameters[iParam].type()==PROCESSTUNE)
1162                tunePreProcess = value;
1163              else if (parameters[iParam].type()==VERBOSE)
1164                verbose = value;
1165              else if (parameters[iParam].type()==FPUMPITS)
1166                { useFpump = true;parameters[iParam].setIntValue(value);}
1167              parameters[iParam].setIntParameter(lpSolver,value);
1168            } else {
1169              parameters[iParam].setIntParameter(model,value);
1170            }
1171          } else if (valid==1) {
1172            abort();
1173          } else {
1174            std::cout<<parameters[iParam].name()<<" has value "<<
1175              parameters[iParam].intValue()<<std::endl;
1176          }
1177        } else if (type<301) {
1178          // one of several strings
1179          std::string value = CoinReadGetString(argc,argv);
1180          int action = parameters[iParam].parameterOption(value);
1181          if (action<0) {
1182            if (value!="EOL") {
1183              // no match
1184              parameters[iParam].printOptions();
1185            } else {
1186              // print current value
1187              std::cout<<parameters[iParam].name()<<" has value "<<
1188                parameters[iParam].currentOption()<<std::endl;
1189            }
1190          } else {
1191            parameters[iParam].setCurrentOption(action,!noPrinting);
1192            // for now hard wired
1193            switch (type) {
1194            case DIRECTION:
1195              if (action==0)
1196                lpSolver->setOptimizationDirection(1);
1197              else if (action==1)
1198                lpSolver->setOptimizationDirection(-1);
1199              else
1200                lpSolver->setOptimizationDirection(0);
1201              break;
1202            case DUALPIVOT:
1203              if (action==0) {
1204                ClpDualRowSteepest steep(3);
1205                lpSolver->setDualRowPivotAlgorithm(steep);
1206              } else if (action==1) {
1207                //ClpDualRowDantzig dantzig;
1208                ClpDualRowSteepest dantzig(5);
1209                lpSolver->setDualRowPivotAlgorithm(dantzig);
1210              } else if (action==2) {
1211                // partial steep
1212                ClpDualRowSteepest steep(2);
1213                lpSolver->setDualRowPivotAlgorithm(steep);
1214              } else {
1215                ClpDualRowSteepest steep;
1216                lpSolver->setDualRowPivotAlgorithm(steep);
1217              }
1218              break;
1219            case PRIMALPIVOT:
1220              if (action==0) {
1221                ClpPrimalColumnSteepest steep(3);
1222                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1223              } else if (action==1) {
1224                ClpPrimalColumnSteepest steep(0);
1225                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1226              } else if (action==2) {
1227                ClpPrimalColumnDantzig dantzig;
1228                lpSolver->setPrimalColumnPivotAlgorithm(dantzig);
1229              } else if (action==3) {
1230                ClpPrimalColumnSteepest steep(2);
1231                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1232              } else if (action==4) {
1233                ClpPrimalColumnSteepest steep(1);
1234                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1235              } else if (action==5) {
1236                ClpPrimalColumnSteepest steep(4);
1237                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1238              } else if (action==6) {
1239                ClpPrimalColumnSteepest steep(10);
1240                lpSolver->setPrimalColumnPivotAlgorithm(steep);
1241              }
1242              break;
1243            case SCALING:
1244              lpSolver->scaling(action);
1245              solver->setHintParam(OsiDoScale,action!=0,OsiHintTry);
1246              doScaling = 1-action;
1247              break;
1248            case AUTOSCALE:
1249              lpSolver->setAutomaticScaling(action!=0);
1250              break;
1251            case SPARSEFACTOR:
1252              lpSolver->setSparseFactorization((1-action)!=0);
1253              break;
1254            case BIASLU:
1255              lpSolver->factorization()->setBiasLU(action);
1256              break;
1257            case PERTURBATION:
1258              if (action==0)
1259                lpSolver->setPerturbation(50);
1260              else
1261                lpSolver->setPerturbation(100);
1262              break;
1263            case ERRORSALLOWED:
1264              allowImportErrors = action;
1265              break;
1266            case INTPRINT:
1267              printMode=action;
1268              break;
1269              //case ALGORITHM:
1270              //algorithm  = action;
1271              //defaultSettings=false; // user knows what she is doing
1272              //abort();
1273              //break;
1274            case KEEPNAMES:
1275              keepImportNames = 1-action;
1276              break;
1277            case PRESOLVE:
1278              if (action==0)
1279                preSolve = 5;
1280              else if (action==1)
1281                preSolve=0;
1282              else if (action==2)
1283                preSolve=10;
1284              else
1285                preSolveFile=true;
1286              break;
1287            case PFI:
1288              lpSolver->factorization()->setForrestTomlin(action==0);
1289              break;
1290            case CRASH:
1291              doCrash=action;
1292              break;
1293            case VECTOR:
1294              doVector=action;
1295              break;
1296            case MESSAGES:
1297              lpSolver->messageHandler()->setPrefix(action!=0);
1298              break;
1299            case CHOLESKY:
1300              choleskyType = action;
1301              break;
1302            case GAMMA:
1303              gamma=action;
1304              break;
1305            case BARRIERSCALE:
1306              scaleBarrier=action;
1307              break;
1308            case KKT:
1309              doKKT=action;
1310              break;
1311            case CROSSOVER:
1312              crossover=action;
1313              break;
1314            case SOS:
1315              doSOS=action;
1316              break;
1317            case GOMORYCUTS:
1318              defaultSettings=false; // user knows what she is doing
1319              gomoryAction = action;
1320              break;
1321            case PROBINGCUTS:
1322              defaultSettings=false; // user knows what she is doing
1323              probingAction = action;
1324              break;
1325            case KNAPSACKCUTS:
1326              defaultSettings=false; // user knows what she is doing
1327              knapsackAction = action;
1328              break;
1329            case REDSPLITCUTS:
1330              defaultSettings=false; // user knows what she is doing
1331              redsplitAction = action;
1332              break;
1333            case CLIQUECUTS:
1334              defaultSettings=false; // user knows what she is doing
1335              cliqueAction = action;
1336              break;
1337            case FLOWCUTS:
1338              defaultSettings=false; // user knows what she is doing
1339              flowAction = action;
1340              break;
1341            case MIXEDCUTS:
1342              defaultSettings=false; // user knows what she is doing
1343              mixedAction = action;
1344              break;
1345            case TWOMIRCUTS:
1346              defaultSettings=false; // user knows what she is doing
1347              twomirAction = action;
1348              break;
1349            case LANDPCUTS:
1350              defaultSettings=false; // user knows what she is doing
1351              landpAction = action;
1352              break;
1353            case ROUNDING:
1354              defaultSettings=false; // user knows what she is doing
1355              useRounding = action;
1356              break;
1357            case FPUMP:
1358              defaultSettings=false; // user knows what she is doing
1359              useFpump=action;
1360              break;
1361            case RINS:
1362              useRINS=action;
1363              break;
1364            case CUTSSTRATEGY:
1365              gomoryAction = action;
1366              probingAction = action;
1367              knapsackAction = action;
1368              cliqueAction = action;
1369              flowAction = action;
1370              mixedAction = action;
1371              twomirAction = action;
1372              //landpAction = action;
1373              parameters[whichParam(GOMORYCUTS,numberParameters,parameters)].setCurrentOption(action);
1374              parameters[whichParam(PROBINGCUTS,numberParameters,parameters)].setCurrentOption(action);
1375              parameters[whichParam(KNAPSACKCUTS,numberParameters,parameters)].setCurrentOption(action);
1376              if (!action) {
1377                redsplitAction = action;
1378                parameters[whichParam(REDSPLITCUTS,numberParameters,parameters)].setCurrentOption(action);
1379              }
1380              parameters[whichParam(CLIQUECUTS,numberParameters,parameters)].setCurrentOption(action);
1381              parameters[whichParam(FLOWCUTS,numberParameters,parameters)].setCurrentOption(action);
1382              parameters[whichParam(MIXEDCUTS,numberParameters,parameters)].setCurrentOption(action);
1383              parameters[whichParam(TWOMIRCUTS,numberParameters,parameters)].setCurrentOption(action);
1384              if (!action) {
1385                landpAction = action;
1386                parameters[whichParam(LANDPCUTS,numberParameters,parameters)].setCurrentOption(action);
1387              }
1388              break;
1389            case HEURISTICSTRATEGY:
1390              useRounding = action;
1391              useGreedy = action;
1392              useCombine = action;
1393              //useLocalTree = action;
1394              useFpump=action;
1395              parameters[whichParam(ROUNDING,numberParameters,parameters)].setCurrentOption(action);
1396              parameters[whichParam(GREEDY,numberParameters,parameters)].setCurrentOption(action);
1397              parameters[whichParam(COMBINE,numberParameters,parameters)].setCurrentOption(action);
1398              //parameters[whichParam(LOCALTREE,numberParameters,parameters)].setCurrentOption(action);
1399              parameters[whichParam(FPUMP,numberParameters,parameters)].setCurrentOption(action);
1400              break;
1401            case GREEDY:
1402              defaultSettings=false; // user knows what she is doing
1403              useGreedy = action;
1404              break;
1405            case COMBINE:
1406              defaultSettings=false; // user knows what she is doing
1407              useCombine = action;
1408              break;
1409            case LOCALTREE:
1410              defaultSettings=false; // user knows what she is doing
1411              useLocalTree = action;
1412              break;
1413            case COSTSTRATEGY:
1414              useCosts=action;
1415              break;
1416            case NODESTRATEGY:
1417              nodeStrategy=action;
1418              break;
1419            case PREPROCESS:
1420              preProcess = action;
1421              break;
1422            case USESOLUTION:
1423              useSolution = action;
1424              break;
1425            default:
1426              abort();
1427            }
1428          }
1429        } else {
1430          // action
1431          if (type==EXIT) {
1432#ifdef COIN_HAS_ASL
1433            if(usingAmpl) {
1434              if (info.numberIntegers||info.numberBinary) {
1435                // integer
1436              } else {
1437                // linear
1438              }
1439              writeAmpl(&info);
1440              freeArrays2(&info);
1441              freeArgs(&info);
1442            }
1443#endif
1444            break; // stop all
1445          }
1446          switch (type) {
1447          case DUALSIMPLEX:
1448          case PRIMALSIMPLEX:
1449          case SOLVECONTINUOUS:
1450          case BARRIER:
1451            if (goodModel) {
1452              double objScale = 
1453                parameters[whichParam(OBJSCALE2,numberParameters,parameters)].doubleValue();
1454              if (objScale!=1.0) {
1455                int iColumn;
1456                int numberColumns=lpSolver->numberColumns();
1457                double * dualColumnSolution = 
1458                  lpSolver->dualColumnSolution();
1459                ClpObjective * obj = lpSolver->objectiveAsObject();
1460                assert(dynamic_cast<ClpLinearObjective *> (obj));
1461                double offset;
1462                double * objective = obj->gradient(NULL,NULL,offset,true);
1463                for (iColumn=0;iColumn<numberColumns;iColumn++) {
1464                  dualColumnSolution[iColumn] *= objScale;
1465                  objective[iColumn] *= objScale;;
1466                }
1467                int iRow;
1468                int numberRows=lpSolver->numberRows();
1469                double * dualRowSolution = 
1470                  lpSolver->dualRowSolution();
1471                for (iRow=0;iRow<numberRows;iRow++) 
1472                  dualRowSolution[iRow] *= objScale;
1473                lpSolver->setObjectiveOffset(objScale*lpSolver->objectiveOffset());
1474              }
1475              ClpSolve::SolveType method;
1476              ClpSolve::PresolveType presolveType;
1477              ClpSimplex * model2 = lpSolver;
1478              if (dualize) {
1479                model2 = ((ClpSimplexOther *) model2)->dualOfModel();
1480                printf("Dual of model has %d rows and %d columns\n",
1481                       model2->numberRows(),model2->numberColumns());
1482                model2->setOptimizationDirection(1.0);
1483              }
1484              if (noPrinting)
1485                lpSolver->setLogLevel(0);
1486              ClpSolve solveOptions;
1487              solveOptions.setPresolveActions(presolveOptions);
1488              solveOptions.setSubstitution(substitution);
1489              if (preSolve!=5&&preSolve) {
1490                presolveType=ClpSolve::presolveNumber;
1491                if (preSolve<0) {
1492                  preSolve = - preSolve;
1493                  if (preSolve<=100) {
1494                    presolveType=ClpSolve::presolveNumber;
1495                    printf("Doing %d presolve passes - picking up non-costed slacks\n",
1496                           preSolve);
1497                    solveOptions.setDoSingletonColumn(true);
1498                  } else {
1499                    preSolve -=100;
1500                    presolveType=ClpSolve::presolveNumberCost;
1501                    printf("Doing %d presolve passes - picking up costed slacks\n",
1502                           preSolve);
1503                  }
1504                } 
1505              } else if (preSolve) {
1506                presolveType=ClpSolve::presolveOn;
1507              } else {
1508                presolveType=ClpSolve::presolveOff;
1509              }
1510              solveOptions.setPresolveType(presolveType,preSolve);
1511              if (type==DUALSIMPLEX||type==SOLVECONTINUOUS) {
1512                method=ClpSolve::useDual;
1513              } else if (type==PRIMALSIMPLEX) {
1514                method=ClpSolve::usePrimalorSprint;
1515              } else {
1516                method = ClpSolve::useBarrier;
1517                if (crossover==1) {
1518                  method=ClpSolve::useBarrierNoCross;
1519                } else if (crossover==2) {
1520                  ClpObjective * obj = lpSolver->objectiveAsObject();
1521                  if (obj->type()>1) {
1522                    method=ClpSolve::useBarrierNoCross;
1523                    presolveType=ClpSolve::presolveOff;
1524                    solveOptions.setPresolveType(presolveType,preSolve);
1525                  } 
1526                }
1527              }
1528              solveOptions.setSolveType(method);
1529              if(preSolveFile)
1530                presolveOptions |= 0x40000000;
1531              solveOptions.setSpecialOption(4,presolveOptions);
1532              solveOptions.setSpecialOption(5,printOptions);
1533              if (doVector) {
1534                ClpMatrixBase * matrix = lpSolver->clpMatrix();
1535                if (dynamic_cast< ClpPackedMatrix*>(matrix)) {
1536                  ClpPackedMatrix * clpMatrix = dynamic_cast< ClpPackedMatrix*>(matrix);
1537                  clpMatrix->makeSpecialColumnCopy();
1538                }
1539              }
1540              if (method==ClpSolve::useDual) {
1541                // dual
1542                if (doCrash)
1543                  solveOptions.setSpecialOption(0,1,doCrash); // crash
1544                else if (doIdiot)
1545                  solveOptions.setSpecialOption(0,2,doIdiot); // possible idiot
1546              } else if (method==ClpSolve::usePrimalorSprint) {
1547                // primal
1548                // if slp turn everything off
1549                if (slpValue>0) {
1550                  doCrash=false;
1551                  doSprint=0;
1552                  doIdiot=-1;
1553                  solveOptions.setSpecialOption(1,10,slpValue); // slp
1554                  method=ClpSolve::usePrimal;
1555                }
1556                if (doCrash) {
1557                  solveOptions.setSpecialOption(1,1,doCrash); // crash
1558                } else if (doSprint>0) {
1559                  // sprint overrides idiot
1560                  solveOptions.setSpecialOption(1,3,doSprint); // sprint
1561                } else if (doIdiot>0) {
1562                  solveOptions.setSpecialOption(1,2,doIdiot); // idiot
1563                } else if (slpValue<=0) {
1564                  if (doIdiot==0) {
1565                    if (doSprint==0)
1566                      solveOptions.setSpecialOption(1,4); // all slack
1567                    else
1568                      solveOptions.setSpecialOption(1,9); // all slack or sprint
1569                  } else {
1570                    if (doSprint==0)
1571                      solveOptions.setSpecialOption(1,8); // all slack or idiot
1572                    else
1573                      solveOptions.setSpecialOption(1,7); // initiative
1574                  }
1575                }
1576                if (basisHasValues==-1)
1577                  solveOptions.setSpecialOption(1,11); // switch off values
1578              } else if (method==ClpSolve::useBarrier||method==ClpSolve::useBarrierNoCross) {
1579                int barrierOptions = choleskyType;
1580                if (scaleBarrier)
1581                  barrierOptions |= 8;
1582                if (doKKT)
1583                  barrierOptions |= 16;
1584                if (gamma)
1585                  barrierOptions |= 32*gamma;
1586                if (crossover==3) 
1587                  barrierOptions |= 256; // try presolve in crossover
1588                solveOptions.setSpecialOption(4,barrierOptions);
1589              }
1590              OsiSolverInterface * coinSolver = model.solver();
1591              OsiSolverLink * linkSolver = dynamic_cast< OsiSolverLink*> (coinSolver);
1592              if (!linkSolver) {
1593                model2->initialSolve(solveOptions);
1594              } else {
1595                // special solver
1596                double * solution = linkSolver->nonlinearSLP(slpValue,1.0e-5);
1597                if (solution) {
1598                  memcpy(model2->primalColumnSolution(),solution,
1599                         CoinMin(model2->numberColumns(),linkSolver->coinModel()->numberColumns())*sizeof(double));
1600                  delete [] solution;
1601                } else {
1602                  printf("No nonlinear solution\n");
1603                }
1604              }
1605              basisHasValues=1;
1606              if (dualize) {
1607                int returnCode=((ClpSimplexOther *) lpSolver)->restoreFromDual(model2);
1608                delete model2;
1609                if (returnCode)
1610                  lpSolver->primal(1);
1611                model2=lpSolver;
1612              }
1613#ifdef COIN_HAS_ASL
1614              if (usingAmpl) {
1615                double value = model2->getObjValue()*model2->getObjSense();
1616                char buf[300];
1617                int pos=0;
1618                int iStat = model2->status();
1619                if (iStat==0) {
1620                  pos += sprintf(buf+pos,"optimal," );
1621                } else if (iStat==1) {
1622                  // infeasible
1623                  pos += sprintf(buf+pos,"infeasible,");
1624                } else if (iStat==2) {
1625                  // unbounded
1626                  pos += sprintf(buf+pos,"unbounded,");
1627                } else if (iStat==3) {
1628                  pos += sprintf(buf+pos,"stopped on iterations or time,");
1629                } else if (iStat==4) {
1630                  iStat = 7;
1631                  pos += sprintf(buf+pos,"stopped on difficulties,");
1632                } else if (iStat==5) {
1633                  iStat = 3;
1634                  pos += sprintf(buf+pos,"stopped on ctrl-c,");
1635                } else {
1636                  pos += sprintf(buf+pos,"status unknown,");
1637                  iStat=6;
1638                }
1639                info.problemStatus=iStat;
1640                info.objValue = value;
1641                pos += sprintf(buf+pos," objective %.*g",ampl_obj_prec(),
1642                               value);
1643                sprintf(buf+pos,"\n%d iterations",
1644                        model2->getIterationCount());
1645                free(info.primalSolution);
1646                int numberColumns=model2->numberColumns();
1647                info.primalSolution = (double *) malloc(numberColumns*sizeof(double));
1648                CoinCopyN(model2->primalColumnSolution(),numberColumns,info.primalSolution);
1649                int numberRows = model2->numberRows();
1650                free(info.dualSolution);
1651                info.dualSolution = (double *) malloc(numberRows*sizeof(double));
1652                CoinCopyN(model2->dualRowSolution(),numberRows,info.dualSolution);
1653                CoinWarmStartBasis * basis = model2->getBasis();
1654                free(info.rowStatus);
1655                info.rowStatus = (int *) malloc(numberRows*sizeof(int));
1656                free(info.columnStatus);
1657                info.columnStatus = (int *) malloc(numberColumns*sizeof(int));
1658                // Put basis in
1659                int i;
1660                // free,basic,ub,lb are 0,1,2,3
1661                for (i=0;i<numberRows;i++) {
1662                  CoinWarmStartBasis::Status status = basis->getArtifStatus(i);
1663                  info.rowStatus[i]=status;
1664                }
1665                for (i=0;i<numberColumns;i++) {
1666                  CoinWarmStartBasis::Status status = basis->getStructStatus(i);
1667                  info.columnStatus[i]=status;
1668                }
1669                // put buffer into info
1670                strcpy(info.buffer,buf);
1671                delete basis;
1672              }
1673#endif
1674            } else {
1675              std::cout<<"** Current model not valid"<<std::endl;
1676            }
1677            break;
1678          case STATISTICS:
1679            if (goodModel) {
1680              // If presolve on look at presolved
1681              bool deleteModel2=false;
1682              ClpSimplex * model2 = lpSolver;
1683              if (preSolve) {
1684                ClpPresolve pinfo;
1685                int presolveOptions2 = presolveOptions&~0x40000000;
1686                if ((presolveOptions2&0xffff)!=0)
1687                  pinfo.setPresolveActions(presolveOptions2);
1688                pinfo.setSubstitution(substitution);
1689                if ((printOptions&1)!=0)
1690                  pinfo.statistics();
1691                double presolveTolerance = 
1692                  parameters[whichParam(PRESOLVETOLERANCE,numberParameters,parameters)].doubleValue();
1693                model2 = 
1694                  pinfo.presolvedModel(*lpSolver,presolveTolerance,
1695                                       true,preSolve);
1696                if (model2) {
1697                  printf("Statistics for presolved model\n");
1698                  deleteModel2=true;
1699                } else {
1700                  printf("Presolved model looks infeasible - will use unpresolved\n");
1701                  model2 = lpSolver;
1702                }
1703              } else {
1704                printf("Statistics for unpresolved model\n");
1705                model2 =  lpSolver;
1706              }
1707              statistics(lpSolver,model2);
1708              if (deleteModel2)
1709                delete model2;
1710            } else {
1711              std::cout<<"** Current model not valid"<<std::endl;
1712            }
1713            break;
1714          case TIGHTEN:
1715            if (goodModel) {
1716              int numberInfeasibilities = lpSolver->tightenPrimalBounds();
1717              if (numberInfeasibilities)
1718                std::cout<<"** Analysis indicates model infeasible"<<std::endl;
1719            } else {
1720              std::cout<<"** Current model not valid"<<std::endl;
1721            }
1722            break;
1723          case PLUSMINUS:
1724            if (goodModel) {
1725              ClpMatrixBase * saveMatrix = lpSolver->clpMatrix();
1726              ClpPackedMatrix* clpMatrix =
1727                dynamic_cast< ClpPackedMatrix*>(saveMatrix);
1728              if (clpMatrix) {
1729                ClpPlusMinusOneMatrix * newMatrix = new ClpPlusMinusOneMatrix(*(clpMatrix->matrix()));
1730                if (newMatrix->getIndices()) {
1731                  lpSolver->replaceMatrix(newMatrix);
1732                  delete saveMatrix;
1733                  std::cout<<"Matrix converted to +- one matrix"<<std::endl;
1734                } else {
1735                  std::cout<<"Matrix can not be converted to +- 1 matrix"<<std::endl;
1736                }
1737              } else {
1738                std::cout<<"Matrix not a ClpPackedMatrix"<<std::endl;
1739              }
1740            } else {
1741              std::cout<<"** Current model not valid"<<std::endl;
1742            }
1743            break;
1744          case OUTDUPROWS:
1745            if (goodModel) {
1746              int numberRows = clpSolver->getNumRows();
1747              //int nOut = outDupRow(clpSolver);
1748              CglDuplicateRow dupcuts(clpSolver);
1749              storedCuts = dupcuts.outDuplicates(clpSolver)!=0;
1750              int nOut = numberRows-clpSolver->getNumRows();
1751              if (nOut&&!noPrinting)
1752                printf("%d rows eliminated\n",nOut);
1753            } else {
1754              std::cout<<"** Current model not valid"<<std::endl;
1755            }
1756            break;
1757          case NETWORK:
1758            if (goodModel) {
1759              ClpMatrixBase * saveMatrix = lpSolver->clpMatrix();
1760              ClpPackedMatrix* clpMatrix =
1761                dynamic_cast< ClpPackedMatrix*>(saveMatrix);
1762              if (clpMatrix) {
1763                ClpNetworkMatrix * newMatrix = new ClpNetworkMatrix(*(clpMatrix->matrix()));
1764                if (newMatrix->getIndices()) {
1765                  lpSolver->replaceMatrix(newMatrix);
1766                  delete saveMatrix;
1767                  std::cout<<"Matrix converted to network matrix"<<std::endl;
1768                } else {
1769                  std::cout<<"Matrix can not be converted to network matrix"<<std::endl;
1770                }
1771              } else {
1772                std::cout<<"Matrix not a ClpPackedMatrix"<<std::endl;
1773              }
1774            } else {
1775              std::cout<<"** Current model not valid"<<std::endl;
1776            }
1777            break;
1778          case MIPLIB:
1779            // User can set options - main difference is lack of model and CglPreProcess
1780            goodModel=true;
1781/*
1782  Run branch-and-cut. First set a few options -- node comparison, scaling. If
1783  the solver is Clp, consider running some presolve code (not yet converted
1784  this to generic OSI) with branch-and-cut. If presolve is disabled, or the
1785  solver is not Clp, simply run branch-and-cut. Print elapsed time at the end.
1786*/
1787          case BAB: // branchAndBound
1788          case STRENGTHEN:
1789            if (goodModel) {
1790              bool miplib = type==MIPLIB;
1791              int logLevel = parameters[slog].intValue();
1792              // Reduce printout
1793              if (logLevel<=1)
1794                model.solver()->setHintParam(OsiDoReducePrint,true,OsiHintTry);
1795              // Don't switch off all output
1796              {
1797                OsiSolverInterface * solver = model.solver();
1798                OsiClpSolverInterface * si =
1799                  dynamic_cast<OsiClpSolverInterface *>(solver) ;
1800                assert (si != NULL);
1801                si->setSpecialOptions(0x40000000);
1802              }
1803              if (!miplib) {
1804                model.initialSolve();
1805                OsiSolverInterface * solver = model.solver();
1806                OsiClpSolverInterface * si =
1807                  dynamic_cast<OsiClpSolverInterface *>(solver) ;
1808                ClpSimplex * clpSolver = si->getModelPtr();
1809                if (!complicatedInteger&&clpSolver->tightenPrimalBounds()!=0) {
1810                  std::cout<<"Problem is infeasible - tightenPrimalBounds!"<<std::endl;
1811                  exit(1);
1812                }
1813                if (clpSolver->dualBound()==1.0e10) {
1814                  // user did not set - so modify
1815                  // get largest scaled away from bound
1816                  double largest=1.0e-12;
1817                  int numberRows = clpSolver->numberRows();
1818                  const double * rowPrimal = clpSolver->primalRowSolution();
1819                  const double * rowLower = clpSolver->rowLower();
1820                  const double * rowUpper = clpSolver->rowUpper();
1821                  const double * rowScale = clpSolver->rowScale();
1822                  int iRow;
1823                  for (iRow=0;iRow<numberRows;iRow++) {
1824                    double value = rowPrimal[iRow];
1825                    double above = value-rowLower[iRow];
1826                    double below = rowUpper[iRow]-value;
1827                    if (rowScale) {
1828                      double multiplier = rowScale[iRow];
1829                      above *= multiplier;
1830                      below *= multiplier;
1831                    }
1832                    if (above<1.0e12)
1833                      largest = CoinMax(largest,above);
1834                    if (below<1.0e12)
1835                      largest = CoinMax(largest,below);
1836                  }
1837                 
1838                  int numberColumns = clpSolver->numberColumns();
1839                  const double * columnPrimal = clpSolver->primalColumnSolution();
1840                  const double * columnLower = clpSolver->columnLower();
1841                  const double * columnUpper = clpSolver->columnUpper();
1842                  const double * columnScale = clpSolver->columnScale();
1843                  int iColumn;
1844                  for (iColumn=0;iColumn<numberColumns;iColumn++) {
1845                    double value = columnPrimal[iColumn];
1846                    double above = value-columnLower[iColumn];
1847                    double below = columnUpper[iColumn]-value;
1848                    if (columnScale) {
1849                      double multiplier = 1.0/columnScale[iColumn];
1850                      above *= multiplier;
1851                      below *= multiplier;
1852                    }
1853                    if (above<1.0e12)
1854                      largest = CoinMax(largest,above);
1855                    if (below<1.0e12)
1856                      largest = CoinMax(largest,below);
1857                  }
1858                  //if (!noPrinting)
1859                  //std::cout<<"Largest (scaled) away from bound "<<largest<<std::endl;
1860                  clpSolver->setDualBound(CoinMax(1.0001e8,CoinMin(1000.0*largest,1.00001e10)));
1861                }
1862                clpSolver->dual();  // clean up
1863              }
1864              // If user made settings then use them
1865              if (!defaultSettings) {
1866                OsiSolverInterface * solver = model.solver();
1867                if (!doScaling)
1868                  solver->setHintParam(OsiDoScale,false,OsiHintTry);
1869                OsiClpSolverInterface * si =
1870                  dynamic_cast<OsiClpSolverInterface *>(solver) ;
1871                assert (si != NULL);
1872                // get clp itself
1873                ClpSimplex * modelC = si->getModelPtr();
1874                //if (modelC->tightenPrimalBounds()!=0) {
1875                //std::cout<<"Problem is infeasible!"<<std::endl;
1876                //break;
1877                //}
1878                // bounds based on continuous
1879                if (tightenFactor) {
1880                  if (modelC->tightenPrimalBounds(tightenFactor)!=0) {
1881                    std::cout<<"Problem is infeasible!"<<std::endl;
1882                    break;
1883                  }
1884                }
1885                if (djFix<1.0e20) {
1886                  // do some fixing
1887                  int numberColumns = modelC->numberColumns();
1888                  int i;
1889                  const char * type = modelC->integerInformation();
1890                  double * lower = modelC->columnLower();
1891                  double * upper = modelC->columnUpper();
1892                  double * solution = modelC->primalColumnSolution();
1893                  double * dj = modelC->dualColumnSolution();
1894                  int numberFixed=0;
1895                  for (i=0;i<numberColumns;i++) {
1896                    if (type[i]) {
1897                      double value = solution[i];
1898                      if (value<lower[i]+1.0e-5&&dj[i]>djFix) {
1899                        solution[i]=lower[i];
1900                        upper[i]=lower[i];
1901                        numberFixed++;
1902                      } else if (value>upper[i]-1.0e-5&&dj[i]<-djFix) {
1903                        solution[i]=upper[i];
1904                        lower[i]=upper[i];
1905                        numberFixed++;
1906                      }
1907                    }
1908                  }
1909                  printf("%d columns fixed\n",numberFixed);
1910                }
1911              }
1912              // See if we want preprocessing
1913              OsiSolverInterface * saveSolver=NULL;
1914              CglPreProcess process;
1915              delete babModel;
1916              babModel = new CbcModel(model);
1917              OsiSolverInterface * solver3 = clpSolver->clone();
1918              babModel->assignSolver(solver3);
1919              OsiClpSolverInterface * clpSolver2 = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
1920              int numberChanged=0;
1921              if (clpSolver2->messageHandler()->logLevel())
1922                clpSolver2->messageHandler()->setLogLevel(1);
1923              if (logLevel>-1)
1924                clpSolver2->messageHandler()->setLogLevel(logLevel);
1925              lpSolver = clpSolver2->getModelPtr();
1926              if (lpSolver->factorizationFrequency()==200&&!miplib) {
1927                // User did not touch preset
1928                int numberRows = lpSolver->numberRows();
1929                const int cutoff1=10000;
1930                const int cutoff2=100000;
1931                const int base=75;
1932                const int freq0 = 50;
1933                const int freq1=200;
1934                const int freq2=400;
1935                const int maximum=1000;
1936                int frequency;
1937                if (numberRows<cutoff1)
1938                  frequency=base+numberRows/freq0;
1939                else if (numberRows<cutoff2)
1940                  frequency=base+cutoff1/freq0 + (numberRows-cutoff1)/freq1;
1941                else
1942                  frequency=base+cutoff1/freq0 + (cutoff2-cutoff1)/freq1 + (numberRows-cutoff2)/freq2;
1943                lpSolver->setFactorizationFrequency(CoinMin(maximum,frequency));
1944              }
1945              time2 = CoinCpuTime();
1946              totalTime += time2-time1;
1947              time1 = time2;
1948              double timeLeft = babModel->getMaximumSeconds();
1949              int numberOriginalColumns = babModel->solver()->getNumCols();
1950              if (preProcess==7) {
1951                // use strategy instead
1952                preProcess=0;
1953                useStrategy=true;
1954              }
1955              if (preProcess&&type==BAB) {
1956                // See if sos from mps file
1957                if (numberSOS==0&&clpSolver->numberSOS()&&doSOS) {
1958                  // SOS
1959                  numberSOS = clpSolver->numberSOS();
1960                  const CoinSet * setInfo = clpSolver->setInfo();
1961                  sosStart = new int [numberSOS+1];
1962                  sosType = new char [numberSOS];
1963                  int i;
1964                  int nTotal=0;
1965                  sosStart[0]=0;
1966                  for ( i=0;i<numberSOS;i++) {
1967                    int type = setInfo[i].setType();
1968                    int n=setInfo[i].numberEntries();
1969                    sosType[i]=type;
1970                    nTotal += n;
1971                    sosStart[i+1] = nTotal;
1972                  }
1973                  sosIndices = new int[nTotal];
1974                  sosReference = new double [nTotal];
1975                  for (i=0;i<numberSOS;i++) {
1976                    int n=setInfo[i].numberEntries();
1977                    const int * which = setInfo[i].which();
1978                    const double * weights = setInfo[i].weights();
1979                    int base = sosStart[i];
1980                    for (int j=0;j<n;j++) {
1981                      int k=which[j];
1982                      sosIndices[j+base]=k;
1983                      sosReference[j+base] = weights ? weights[j] : (double) j;
1984                    }
1985                  }
1986                }
1987                saveSolver=babModel->solver()->clone();
1988                /* Do not try and produce equality cliques and
1989                   do up to 10 passes */
1990                OsiSolverInterface * solver2;
1991                {
1992                  // Tell solver we are in Branch and Cut
1993                  saveSolver->setHintParam(OsiDoInBranchAndCut,true,OsiHintDo) ;
1994                  // Default set of cut generators
1995                  CglProbing generator1;
1996                  generator1.setUsingObjective(1);
1997                  generator1.setMaxPass(3);
1998                  generator1.setMaxProbeRoot(saveSolver->getNumCols());
1999                  generator1.setMaxElements(100);
2000                  generator1.setMaxLookRoot(50);
2001                  generator1.setRowCuts(3);
2002                  // Add in generators
2003                  process.addCutGenerator(&generator1);
2004                  int translate[]={9999,0,0,-1,2,3,-2};
2005                  process.messageHandler()->setLogLevel(babModel->logLevel());
2006#ifdef COIN_HAS_ASL
2007                  if (info.numberSos&&doSOS&&usingAmpl) {
2008                    // SOS
2009                    numberSOS = info.numberSos;
2010                    sosStart = info.sosStart;
2011                    sosIndices = info.sosIndices;
2012                  }
2013#endif
2014                  if (numberSOS&&doSOS) {
2015                    // SOS
2016                    int numberColumns = saveSolver->getNumCols();
2017                    char * prohibited = new char[numberColumns];
2018                    memset(prohibited,0,numberColumns);
2019                    int n=sosStart[numberSOS];
2020                    for (int i=0;i<n;i++) {
2021                      int iColumn = sosIndices[i];
2022                      prohibited[iColumn]=1;
2023                    }
2024                    process.passInProhibited(prohibited,numberColumns);
2025                    delete [] prohibited;
2026                  }
2027                  int numberPasses = 10;
2028                  if (tunePreProcess>=1000) {
2029                    numberPasses = (tunePreProcess/1000)-1;
2030                    tunePreProcess = tunePreProcess % 1000;
2031                  }
2032                  solver2 = process.preProcessNonDefault(*saveSolver,translate[preProcess],numberPasses,
2033                                                         tunePreProcess);
2034                  // Tell solver we are not in Branch and Cut
2035                  saveSolver->setHintParam(OsiDoInBranchAndCut,false,OsiHintDo) ;
2036                  if (solver2)
2037                    solver2->setHintParam(OsiDoInBranchAndCut,false,OsiHintDo) ;
2038                }
2039#ifdef COIN_HAS_ASL
2040                if (!solver2&&usingAmpl) {
2041                  // infeasible
2042                  info.problemStatus=1;
2043                  info.objValue = 1.0e100;
2044                  sprintf(info.buffer,"infeasible/unbounded by pre-processing");
2045                  info.primalSolution=NULL;
2046                  info.dualSolution=NULL;
2047                  break;
2048                }
2049#endif
2050                if (!noPrinting) {
2051                  if (!solver2) {
2052                    printf("Pre-processing says infeasible or unbounded\n");
2053                    break;
2054                  } else {
2055                    printf("processed model has %d rows, %d columns and %d elements\n",
2056                           solver2->getNumRows(),solver2->getNumCols(),solver2->getNumElements());
2057                  }
2058                }
2059                //solver2->resolve();
2060                if (preProcess==2) {
2061                  OsiClpSolverInterface * clpSolver2 = dynamic_cast< OsiClpSolverInterface*> (solver2);
2062                  ClpSimplex * lpSolver = clpSolver2->getModelPtr();
2063                  lpSolver->writeMps("presolved.mps",0,1,lpSolver->optimizationDirection());
2064                  printf("Preprocessed model (minimization) on presolved.mps\n");
2065                }
2066                // we have to keep solver2 so pass clone
2067                solver2 = solver2->clone();
2068                babModel->assignSolver(solver2);
2069                babModel->initialSolve();
2070                babModel->setMaximumSeconds(timeLeft-(CoinCpuTime()-time1));
2071              }
2072              // now tighten bounds
2073              if (!miplib) {
2074                OsiClpSolverInterface * si =
2075                  dynamic_cast<OsiClpSolverInterface *>(babModel->solver()) ;
2076                assert (si != NULL);
2077                // get clp itself
2078                ClpSimplex * modelC = si->getModelPtr();
2079                if (noPrinting)
2080                  modelC->setLogLevel(0);
2081                if (!complicatedInteger&&modelC->tightenPrimalBounds()!=0) {
2082                  std::cout<<"Problem is infeasible!"<<std::endl;
2083                  break;
2084                }
2085                modelC->dual();
2086              }
2087              if (debugValues) {
2088                // for debug
2089                std::string problemName ;
2090                babModel->solver()->getStrParam(OsiProbName,problemName) ;
2091                babModel->solver()->activateRowCutDebugger(problemName.c_str()) ;
2092                twomirGen.probname_=strdup(problemName.c_str());
2093                // checking seems odd
2094                //redsplitGen.set_given_optsol(babModel->solver()->getRowCutDebuggerAlways()->optimalSolution(),
2095                //                         babModel->getNumCols());
2096              }
2097              int testOsiOptions = parameters[whichParam(TESTOSI,numberParameters,parameters)].intValue();
2098              if (useCosts&&testOsiOptions<0) {
2099                int numberColumns = babModel->getNumCols();
2100                int * sort = new int[numberColumns];
2101                double * dsort = new double[numberColumns];
2102                int * priority = new int [numberColumns];
2103                const double * objective = babModel->getObjCoefficients();
2104                const double * lower = babModel->getColLower() ;
2105                const double * upper = babModel->getColUpper() ;
2106                const CoinPackedMatrix * matrix = babModel->solver()->getMatrixByCol();
2107                const int * columnLength = matrix->getVectorLengths();
2108                int iColumn;
2109                int n=0;
2110                for (iColumn=0;iColumn<numberColumns;iColumn++) {
2111                  if (babModel->isInteger(iColumn)) {
2112                    sort[n]=n;
2113                    if (useCosts==1)
2114                      dsort[n++]=-fabs(objective[iColumn]);
2115                    else if (useCosts==2)
2116                      dsort[n++]=iColumn;
2117                    else if (useCosts==3)
2118                      dsort[n++]=upper[iColumn]-lower[iColumn];
2119                    else if (useCosts==4)
2120                      dsort[n++]=-(upper[iColumn]-lower[iColumn]);
2121                    else if (useCosts==5)
2122                      dsort[n++]=-columnLength[iColumn];
2123                  }
2124                }
2125                CoinSort_2(dsort,dsort+n,sort);
2126                int level=0;
2127                double last = -1.0e100;
2128                for (int i=0;i<n;i++) {
2129                  int iPut=sort[i];
2130                  if (dsort[i]!=last) {
2131                    level++;
2132                    last=dsort[i];
2133                  }
2134                  priority[iPut]=level;
2135                }
2136                babModel->passInPriorities( priority,false);
2137                delete [] priority;
2138                delete [] sort;
2139                delete [] dsort;
2140              }
2141              // FPump done first as it only works if no solution
2142              CbcHeuristicFPump heuristic4(*babModel);
2143              if (useFpump) {
2144                heuristic4.setMaximumPasses(parameters[whichParam(FPUMPITS,numberParameters,parameters)].intValue());
2145                int pumpTune=parameters[whichParam(FPUMPTUNE,numberParameters,parameters)].intValue();
2146                if (pumpTune>0) {
2147                  /*
2148                    >=10000000 for using obj
2149                    >=1000000 use as accumulate switch
2150                    >=1000 use index+1 as number of large loops
2151                    >=100 use 0.05 objvalue as increment
2152                    >=10 use +0.1 objvalue for cutoff (add)
2153                    1 == fix ints at bounds, 2 fix all integral ints, 3 and continuous at bounds
2154                    4 and static continuous, 5 as 3 but no internal integers
2155                    6 as 3 but all slack basis!
2156                  */
2157                  double value = babModel->solver()->getObjSense()*babModel->solver()->getObjValue();
2158                  int w = pumpTune/10;
2159                  int c = w % 10;
2160                  w /= 10;
2161                  int i = w % 10;
2162                  w /= 10;
2163                  int r = w;
2164                  int accumulate = r/1000;
2165                  r -= 1000*accumulate;
2166                  if (accumulate>=10) {
2167                    int which = accumulate/10;
2168                    accumulate -= 10*which;
2169                    which--;
2170                    // weights and factors
2171                    double weight[]={0.1,0.1,0.5,0.5,1.0,1.0,5.0,5.0};
2172                    double factor[] = {0.1,0.5,0.1,0.5,0.1,0.5,0.1,0.5};
2173                    heuristic4.setInitialWeight(weight[which]);
2174                    heuristic4.setWeightFactor(factor[which]);
2175                  }
2176                  // fake cutoff
2177                  printf("Setting ");
2178                  if (c) {
2179                    double cutoff;
2180                    babModel->solver()->getDblParam(OsiDualObjectiveLimit,cutoff);
2181                    cutoff = CoinMin(cutoff,value + 0.1*fabs(value)*c);
2182                    heuristic4.setFakeCutoff(cutoff);
2183                    printf("fake cutoff of %g ",cutoff);
2184                  }
2185                  if (i||r) {
2186                    // also set increment
2187                    heuristic4.setAbsoluteIncrement((0.01*i+0.005)*(fabs(value)+1.0e-12));
2188                    heuristic4.setAccumulate(accumulate);
2189                    heuristic4.setMaximumRetries(r+1);
2190                    if (i)
2191                      printf("increment of %g ",heuristic4.absoluteIncrement());
2192                    if (accumulate)
2193                      printf("accumulate of %d ",accumulate);
2194                    printf("%d retries ",r+2);
2195                  }
2196                  pumpTune = pumpTune%100;
2197                  printf("and setting when to %d\n",pumpTune+10);
2198                  if (pumpTune==6)
2199                    pumpTune =13;
2200                  heuristic4.setWhen(pumpTune+10);
2201                }
2202                babModel->addHeuristic(&heuristic4);
2203              }
2204              if (!miplib) {
2205                CbcRounding heuristic1(*babModel);
2206                if (useRounding)
2207                  babModel->addHeuristic(&heuristic1) ;
2208                CbcHeuristicLocal heuristic2(*babModel);
2209                heuristic2.setSearchType(1);
2210                if (useCombine)
2211                  babModel->addHeuristic(&heuristic2);
2212                CbcHeuristicGreedyCover heuristic3(*babModel);
2213                CbcHeuristicGreedyEquality heuristic3a(*babModel);
2214                if (useGreedy) {
2215                  babModel->addHeuristic(&heuristic3);
2216                  babModel->addHeuristic(&heuristic3a);
2217                }
2218                if (useLocalTree) {
2219                  CbcTreeLocal localTree(babModel,NULL,10,0,0,10000,2000);
2220                  babModel->passInTreeHandler(localTree);
2221                }
2222              }
2223              CbcHeuristicRINS heuristic5(*babModel);
2224              if (useRINS)
2225                babModel->addHeuristic(&heuristic5) ;
2226              if (type==MIPLIB) {
2227                if (babModel->numberStrong()==5&&babModel->numberBeforeTrust()==5) 
2228                  babModel->setNumberBeforeTrust(50);
2229              }
2230              // add cut generators if wanted
2231              int switches[20];
2232              int numberGenerators=0;
2233              int translate[]={-100,-1,-99,-98,1,1,1,1};
2234              if (probingAction) {
2235                if (probingAction==5||probingAction==7)
2236                  probingGen.setRowCuts(-3); // strengthening etc just at root
2237                if (probingAction==6||probingAction==7) {
2238                  // Number of unsatisfied variables to look at
2239                  probingGen.setMaxProbe(1000);
2240                  probingGen.setMaxProbeRoot(1000);
2241                  // How far to follow the consequences
2242                  probingGen.setMaxLook(50);
2243                  probingGen.setMaxLookRoot(50);
2244                }
2245                babModel->addCutGenerator(&probingGen,translate[probingAction],"Probing");
2246                switches[numberGenerators++]=0;
2247              }
2248              if (gomoryAction&&(!complicatedInteger||gomoryAction==1)) {
2249                babModel->addCutGenerator(&gomoryGen,translate[gomoryAction],"Gomory");
2250                switches[numberGenerators++]=-1;
2251              }
2252              if (knapsackAction) {
2253                babModel->addCutGenerator(&knapsackGen,translate[knapsackAction],"Knapsack");
2254                switches[numberGenerators++]=0;
2255              }
2256              if (redsplitAction&&!complicatedInteger) {
2257                babModel->addCutGenerator(&redsplitGen,translate[redsplitAction],"Reduce-and-split");
2258                switches[numberGenerators++]=1;
2259              }
2260              if (cliqueAction) {
2261                babModel->addCutGenerator(&cliqueGen,translate[cliqueAction],"Clique");
2262                switches[numberGenerators++]=0;
2263              }
2264              if (mixedAction) {
2265                babModel->addCutGenerator(&mixedGen,translate[mixedAction],"MixedIntegerRounding2");
2266                switches[numberGenerators++]=-1;
2267              }
2268              if (flowAction) {
2269                babModel->addCutGenerator(&flowGen,translate[flowAction],"FlowCover");
2270                switches[numberGenerators++]=1;
2271              }
2272              if (twomirAction&&!complicatedInteger) {
2273                babModel->addCutGenerator(&twomirGen,translate[twomirAction],"TwoMirCuts");
2274                switches[numberGenerators++]=1;
2275              }
2276              if (landpAction) {
2277                babModel->addCutGenerator(&landpGen,translate[landpAction],"LiftAndProject");
2278                switches[numberGenerators++]=1;
2279              }
2280              if (storedCuts) 
2281                babModel->setSpecialOptions(babModel->specialOptions()|64);
2282              // Say we want timings
2283              numberGenerators = babModel->numberCutGenerators();
2284              int iGenerator;
2285              int cutDepth=
2286                parameters[whichParam(CUTDEPTH,numberParameters,parameters)].intValue();
2287              for (iGenerator=0;iGenerator<numberGenerators;iGenerator++) {
2288                CbcCutGenerator * generator = babModel->cutGenerator(iGenerator);
2289                int howOften = generator->howOften();
2290                if (howOften==-98||howOften==-99) 
2291                  generator->setSwitchOffIfLessThan(switches[iGenerator]);
2292                generator->setTiming(true);
2293                if (cutDepth>=0)
2294                  generator->setWhatDepth(cutDepth) ;
2295              }
2296              // Could tune more
2297              if (!miplib) {
2298                babModel->setMinimumDrop(min(5.0e-2,
2299                                             fabs(babModel->getMinimizationObjValue())*1.0e-3+1.0e-4));
2300                if (cutPass==-1234567) {
2301                  if (babModel->getNumCols()<500)
2302                    babModel->setMaximumCutPassesAtRoot(-100); // always do 100 if possible
2303                  else if (babModel->getNumCols()<5000)
2304                    babModel->setMaximumCutPassesAtRoot(100); // use minimum drop
2305                  else
2306                    babModel->setMaximumCutPassesAtRoot(20);
2307                } else {
2308                  babModel->setMaximumCutPassesAtRoot(cutPass);
2309                }
2310                babModel->setMaximumCutPasses(1);
2311              }
2312              // Do more strong branching if small
2313              //if (babModel->getNumCols()<5000)
2314              //babModel->setNumberStrong(20);
2315              // Switch off strong branching if wanted
2316              //if (babModel->getNumCols()>10*babModel->getNumRows())
2317              //babModel->setNumberStrong(0);
2318              if (!noPrinting) {
2319                int iLevel = parameters[log].intValue();
2320                if (iLevel<0) {
2321                  babModel->setPrintingMode(1);
2322                  iLevel = -iLevel;
2323                }
2324                babModel->messageHandler()->setLogLevel(iLevel);
2325                if (babModel->getNumCols()>2000||babModel->getNumRows()>1500||
2326                    babModel->messageHandler()->logLevel()>1)
2327                  babModel->setPrintFrequency(100);
2328              }
2329             
2330              babModel->solver()->setIntParam(OsiMaxNumIterationHotStart,
2331                    parameters[whichParam(MAXHOTITS,numberParameters,parameters)].intValue());
2332              OsiClpSolverInterface * osiclp = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
2333              // go faster stripes
2334              if (osiclp->getNumRows()<300&&osiclp->getNumCols()<500) {
2335                osiclp->setupForRepeatedUse(2,parameters[slog].intValue());
2336              } else {
2337                osiclp->setupForRepeatedUse(0,parameters[slog].intValue());
2338              }
2339              double increment=babModel->getCutoffIncrement();;
2340              int * changed = NULL;
2341              if (!miplib)
2342                changed=analyze( osiclp,numberChanged,increment,false);
2343              if (debugValues) {
2344                if (numberDebugValues==babModel->getNumCols()) {
2345                  // for debug
2346                  babModel->solver()->activateRowCutDebugger(debugValues) ;
2347                } else {
2348                  printf("debug file has incorrect number of columns\n");
2349                }
2350              }
2351              babModel->setCutoffIncrement(CoinMax(babModel->getCutoffIncrement(),increment));
2352              // Turn this off if you get problems
2353              // Used to be automatically set
2354              int mipOptions = parameters[whichParam(MIPOPTIONS,numberParameters,parameters)].intValue();
2355              if (mipOptions!=(128|64|1))
2356                printf("mip options %d\n",mipOptions);
2357              osiclp->setSpecialOptions(mipOptions);
2358              if (gapRatio < 1.0e100) {
2359                double value = babModel->solver()->getObjValue() ;
2360                double value2 = gapRatio*(1.0e-5+fabs(value)) ;
2361                babModel->setAllowableGap(value2) ;
2362                std::cout << "Continuous " << value
2363                          << ", so allowable gap set to "
2364                          << value2 << std::endl ;
2365              }
2366              // probably faster to use a basis to get integer solutions
2367              babModel->setSpecialOptions(babModel->specialOptions()|2);
2368              currentBranchModel = babModel;
2369              OsiSolverInterface * strengthenedModel=NULL;
2370              if (type==BAB||type==MIPLIB) {
2371                int moreMipOptions = parameters[whichParam(MOREMIPOPTIONS,numberParameters,parameters)].intValue();
2372                if (moreMipOptions>=0) {
2373                  printf("more mip options %d\n",moreMipOptions);
2374                  if (((moreMipOptions+1)%1000000)!=0)
2375                    babModel->setSearchStrategy(moreMipOptions%1000000);
2376                  OsiClpSolverInterface * osiclp = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
2377                  // go faster stripes
2378                  if( moreMipOptions >=999999) {
2379                    if (osiclp) {
2380                      int save = osiclp->specialOptions();
2381                      osiclp->setupForRepeatedUse(2,0);
2382                      osiclp->setSpecialOptions(save|osiclp->specialOptions());
2383                    }
2384                  } 
2385                }
2386              }
2387              if (type==BAB) {
2388#ifdef COIN_HAS_ASL
2389                if (usingAmpl) {
2390                  priorities=info.priorities;
2391                  branchDirection=info.branchDirection;
2392                  pseudoDown=info.pseudoDown;
2393                  pseudoUp=info.pseudoUp;
2394                  solutionIn=info.primalSolution;
2395                  prioritiesIn = info.priorities;
2396                  if (info.numberSos&&doSOS) {
2397                    // SOS
2398                    numberSOS = info.numberSos;
2399                    sosStart = info.sosStart;
2400                    sosIndices = info.sosIndices;
2401                    sosType = info.sosType;
2402                    sosReference = info.sosReference;
2403                    sosPriority = info.sosPriority;
2404                  }
2405                }
2406#endif               
2407                const int * originalColumns = preProcess ? process.originalColumns() : NULL;
2408                if (solutionIn&&useSolution) {
2409                  if (preProcess) {
2410                    int numberColumns = babModel->getNumCols();
2411                    // extend arrays in case SOS
2412                    int n = originalColumns[numberColumns-1]+1;
2413                    int nSmaller = CoinMin(n,numberOriginalColumns);
2414                    double * solutionIn2 = new double [n];
2415                    int * prioritiesIn2 = new int[n];
2416                    int i;
2417                    for (i=0;i<nSmaller;i++) {
2418                      solutionIn2[i]=solutionIn[i];
2419                      prioritiesIn2[i]=prioritiesIn[i];
2420                    }
2421                    for (;i<n;i++) {
2422                      solutionIn2[i]=0.0;
2423                      prioritiesIn2[i]=1000000;
2424                    }
2425                    int iLast=-1;
2426                    for (i=0;i<numberColumns;i++) {
2427                      int iColumn = originalColumns[i];
2428                      assert (iColumn>iLast);
2429                      iLast=iColumn;
2430                      solutionIn2[i]=solutionIn2[iColumn];
2431                      if (prioritiesIn)
2432                        prioritiesIn2[i]=prioritiesIn2[iColumn];
2433                    }
2434                    babModel->setHotstartSolution(solutionIn2,prioritiesIn2);
2435                    delete [] solutionIn2;
2436                    delete [] prioritiesIn2;
2437                  } else {
2438                    babModel->setHotstartSolution(solutionIn,prioritiesIn);
2439                  }
2440                }
2441                OsiSolverInterface * testOsiSolver= (testOsiOptions>=0) ? babModel->solver() : NULL;
2442                if (!testOsiSolver) {
2443                  // *************************************************************
2444                  // CbcObjects
2445                  if (preProcess&&process.numberSOS()) {
2446                    int numberSOS = process.numberSOS();
2447                    int numberIntegers = babModel->numberIntegers();
2448                    /* model may not have created objects
2449                       If none then create
2450                    */
2451                    if (!numberIntegers||!babModel->numberObjects()) {
2452                      int type = (pseudoUp) ? 1 : 0;
2453                      babModel->findIntegers(true,type);
2454                      numberIntegers = babModel->numberIntegers();
2455                    }
2456                    OsiObject ** oldObjects = babModel->objects();
2457                    // Do sets and priorities
2458                    OsiObject ** objects = new OsiObject * [numberSOS];
2459                    // set old objects to have low priority
2460                    int numberOldObjects = babModel->numberObjects();
2461                    int numberColumns = babModel->getNumCols();
2462                    for (int iObj = 0;iObj<numberOldObjects;iObj++) {
2463                      oldObjects[iObj]->setPriority(numberColumns+1);
2464                      int iColumn = oldObjects[iObj]->columnNumber();
2465                      assert (iColumn>=0);
2466                      if (iColumn>=numberOriginalColumns)
2467                        continue;
2468                      if (originalColumns)
2469                        iColumn = originalColumns[iColumn];
2470                      if (branchDirection) {
2471                        CbcSimpleInteger * obj =
2472                          dynamic_cast <CbcSimpleInteger *>(oldObjects[iObj]) ;
2473                        if (obj) { 
2474                          obj->setPreferredWay(branchDirection[iColumn]);
2475                        } else {
2476                          CbcObject * obj =
2477                            dynamic_cast <CbcObject *>(oldObjects[iObj]) ;
2478                          assert (obj);
2479                          obj->setPreferredWay(branchDirection[iColumn]);
2480                        }
2481                      }
2482                      if (pseudoUp) {
2483                        CbcSimpleIntegerPseudoCost * obj1a =
2484                          dynamic_cast <CbcSimpleIntegerPseudoCost *>(oldObjects[iObj]) ;
2485                        assert (obj1a);
2486                        if (pseudoDown[iColumn]>0.0)
2487                          obj1a->setDownPseudoCost(pseudoDown[iColumn]);
2488                        if (pseudoUp[iColumn]>0.0)
2489                          obj1a->setUpPseudoCost(pseudoUp[iColumn]);
2490                      }
2491                    }
2492                    const int * starts = process.startSOS();
2493                    const int * which = process.whichSOS();
2494                    const int * type = process.typeSOS();
2495                    const double * weight = process.weightSOS();
2496                    int iSOS;
2497                    for (iSOS =0;iSOS<numberSOS;iSOS++) {
2498                      int iStart = starts[iSOS];
2499                      int n=starts[iSOS+1]-iStart;
2500                      objects[iSOS] = new CbcSOS(babModel,n,which+iStart,weight+iStart,
2501                                                 iSOS,type[iSOS]);
2502                      // branch on long sets first
2503                      objects[iSOS]->setPriority(numberColumns-n);
2504                    }
2505                    babModel->addObjects(numberSOS,objects);
2506                    for (iSOS=0;iSOS<numberSOS;iSOS++)
2507                      delete objects[iSOS];
2508                    delete [] objects;
2509                  } else if (priorities||branchDirection||pseudoDown||pseudoUp||numberSOS) {
2510                    // do anyway for priorities etc
2511                    int numberIntegers = babModel->numberIntegers();
2512                    /* model may not have created objects
2513                       If none then create
2514                    */
2515                    if (!numberIntegers||!babModel->numberObjects()) {
2516                      int type = (pseudoUp) ? 1 : 0;
2517                      babModel->findIntegers(true,type);
2518                    }
2519                    if (numberSOS) {
2520                      // Do sets and priorities
2521                      OsiObject ** objects = new OsiObject * [numberSOS];
2522                      int iSOS;
2523                      if (originalColumns) {
2524                        // redo sequence numbers
2525                        int numberColumns = babModel->getNumCols();
2526                        int nOld = originalColumns[numberColumns-1]+1;
2527                        int * back = new int[nOld];
2528                        int i;
2529                        for (i=0;i<nOld;i++)
2530                          back[i]=-1;
2531                        for (i=0;i<numberColumns;i++)
2532                          back[originalColumns[i]]=i;
2533                        // Really need better checks
2534                        int nMissing=0;
2535                        int n=sosStart[numberSOS];
2536                        for (i=0;i<n;i++) {
2537                          int iColumn = sosIndices[i];
2538                          int jColumn = back[iColumn];
2539                          if (jColumn>=0) 
2540                            sosIndices[i] = jColumn;
2541                          else 
2542                            nMissing++;
2543                        }
2544                        delete [] back;
2545                        if (nMissing)
2546                          printf("%d SOS variables vanished due to pre processing? - check validity?\n",nMissing);
2547                      }
2548                      for (iSOS =0;iSOS<numberSOS;iSOS++) {
2549                        int iStart = sosStart[iSOS];
2550                        int n=sosStart[iSOS+1]-iStart;
2551                        objects[iSOS] = new CbcSOS(babModel,n,sosIndices+iStart,sosReference+iStart,
2552                                                   iSOS,sosType[iSOS]);
2553                        if (sosPriority)
2554                          objects[iSOS]->setPriority(sosPriority[iSOS]);
2555                        else if (!prioritiesIn)
2556                          objects[iSOS]->setPriority(10);  // rather than 1000
2557                      }
2558                      // delete any existing SOS objects
2559                      int numberObjects=babModel->numberObjects();
2560                      OsiObject ** oldObjects=babModel->objects();
2561                      int nNew=0;
2562                      for (int i=0;i<numberObjects;i++) {
2563                        OsiObject * objThis = oldObjects[i];
2564                        CbcSOS * obj1 =
2565                          dynamic_cast <CbcSOS *>(objThis) ;
2566                        OsiSOS * obj2 =
2567                          dynamic_cast <OsiSOS *>(objThis) ;
2568                        if (!obj1&&!obj2) {
2569                          oldObjects[nNew++]=objThis;
2570                        } else {
2571                          delete objThis;
2572                        }
2573                      }
2574                      babModel->setNumberObjects(nNew);
2575                      babModel->addObjects(numberSOS,objects);
2576                      for (iSOS=0;iSOS<numberSOS;iSOS++)
2577                        delete objects[iSOS];
2578                      delete [] objects;
2579                    }
2580                  }
2581                  OsiObject ** objects = babModel->objects();
2582                  int numberObjects = babModel->numberObjects();
2583                  for (int iObj = 0;iObj<numberObjects;iObj++) {
2584                    // skip sos
2585                    CbcSOS * objSOS =
2586                      dynamic_cast <CbcSOS *>(objects[iObj]) ;
2587                    if (objSOS)
2588                      continue;
2589                    int iColumn = objects[iObj]->columnNumber();
2590                    assert (iColumn>=0);
2591                    if (originalColumns)
2592                      iColumn = originalColumns[iColumn];
2593                    if (branchDirection) {
2594                      CbcSimpleInteger * obj =
2595                        dynamic_cast <CbcSimpleInteger *>(objects[iObj]) ;
2596                      if (obj) { 
2597                        obj->setPreferredWay(branchDirection[iColumn]);
2598                      } else {
2599                        CbcObject * obj =
2600                          dynamic_cast <CbcObject *>(objects[iObj]) ;
2601                        assert (obj);
2602                        obj->setPreferredWay(branchDirection[iColumn]);
2603                      }
2604                    }
2605                    if (priorities) {
2606                      int iPriority = priorities[iColumn];
2607                      if (iPriority>0)
2608                        objects[iObj]->setPriority(iPriority);
2609                    }
2610                    if (pseudoUp&&pseudoUp[iColumn]) {
2611                      CbcSimpleIntegerPseudoCost * obj1a =
2612                        dynamic_cast <CbcSimpleIntegerPseudoCost *>(objects[iObj]) ;
2613                      assert (obj1a);
2614                      if (pseudoDown[iColumn]>0.0)
2615                        obj1a->setDownPseudoCost(pseudoDown[iColumn]);
2616                      if (pseudoUp[iColumn]>0.0)
2617                        obj1a->setUpPseudoCost(pseudoUp[iColumn]);
2618                    }
2619                  }
2620                  // *************************************************************
2621                } else {
2622                  // *************************************************************
2623                  // OsiObjects
2624                  // Find if none
2625                  int numberIntegers = testOsiSolver->getNumIntegers();
2626                  /* model may not have created objects
2627                     If none then create
2628                  */
2629                  if (!numberIntegers||!testOsiSolver->numberObjects()) {
2630                    //int type = (pseudoUp) ? 1 : 0;
2631                    testOsiSolver->findIntegers(false);
2632                    numberIntegers = testOsiSolver->getNumIntegers();
2633                  }
2634                  if (preProcess&&process.numberSOS()) {
2635                    int numberSOS = process.numberSOS();
2636                    OsiObject ** oldObjects = testOsiSolver->objects();
2637                    // Do sets and priorities
2638                    OsiObject ** objects = new OsiObject * [numberSOS];
2639                    // set old objects to have low priority
2640                    int numberOldObjects = testOsiSolver->numberObjects();
2641                    int numberColumns = testOsiSolver->getNumCols();
2642                    for (int iObj = 0;iObj<numberOldObjects;iObj++) {
2643                      oldObjects[iObj]->setPriority(numberColumns+1);
2644                      int iColumn = oldObjects[iObj]->columnNumber();
2645                      assert (iColumn>=0);
2646                      if (iColumn>=numberOriginalColumns)
2647                        continue;
2648                      if (originalColumns)
2649                        iColumn = originalColumns[iColumn];
2650                      if (branchDirection) {
2651                        OsiSimpleInteger * obj =
2652                          dynamic_cast <OsiSimpleInteger *>(oldObjects[iObj]) ;
2653                        if (obj) { 
2654                          obj->setPreferredWay(branchDirection[iColumn]);
2655                        } else {
2656                          OsiObject2 * obj =
2657                            dynamic_cast <OsiObject2 *>(oldObjects[iObj]) ;
2658                          if (obj)
2659                            obj->setPreferredWay(branchDirection[iColumn]);
2660                        }
2661                      }
2662                      if (pseudoUp) {
2663                        abort();
2664                      }
2665                    }
2666                    const int * starts = process.startSOS();
2667                    const int * which = process.whichSOS();
2668                    const int * type = process.typeSOS();
2669                    const double * weight = process.weightSOS();
2670                    int iSOS;
2671                    for (iSOS =0;iSOS<numberSOS;iSOS++) {
2672                      int iStart = starts[iSOS];
2673                      int n=starts[iSOS+1]-iStart;
2674                      objects[iSOS] = new OsiSOS(testOsiSolver,n,which+iStart,weight+iStart,
2675                                                 type[iSOS]);
2676                      // branch on long sets first
2677                      objects[iSOS]->setPriority(numberColumns-n);
2678                    }
2679                    testOsiSolver->addObjects(numberSOS,objects);
2680                    for (iSOS=0;iSOS<numberSOS;iSOS++)
2681                      delete objects[iSOS];
2682                    delete [] objects;
2683                  } else if (priorities||branchDirection||pseudoDown||pseudoUp||numberSOS) {
2684                    if (numberSOS) {
2685                      // Do sets and priorities
2686                      OsiObject ** objects = new OsiObject * [numberSOS];
2687                      int iSOS;
2688                      if (originalColumns) {
2689                        // redo sequence numbers
2690                        int numberColumns = testOsiSolver->getNumCols();
2691                        int nOld = originalColumns[numberColumns-1]+1;
2692                        int * back = new int[nOld];
2693                        int i;
2694                        for (i=0;i<nOld;i++)
2695                          back[i]=-1;
2696                        for (i=0;i<numberColumns;i++)
2697                          back[originalColumns[i]]=i;
2698                        // Really need better checks
2699                        int nMissing=0;
2700                        int n=sosStart[numberSOS];
2701                        for (i=0;i<n;i++) {
2702                          int iColumn = sosIndices[i];
2703                          int jColumn = back[iColumn];
2704                          if (jColumn>=0) 
2705                            sosIndices[i] = jColumn;
2706                          else 
2707                            nMissing++;
2708                        }
2709                        delete [] back;
2710                        if (nMissing)
2711                          printf("%d SOS variables vanished due to pre processing? - check validity?\n",nMissing);
2712                      }
2713                      for (iSOS =0;iSOS<numberSOS;iSOS++) {
2714                        int iStart = sosStart[iSOS];
2715                        int n=sosStart[iSOS+1]-iStart;
2716                        objects[iSOS] = new OsiSOS(testOsiSolver,n,sosIndices+iStart,sosReference+iStart,
2717                                                   sosType[iSOS]);
2718                        if (sosPriority)
2719                          objects[iSOS]->setPriority(sosPriority[iSOS]);
2720                        else if (!prioritiesIn)
2721                          objects[iSOS]->setPriority(10);  // rather than 1000
2722                      }
2723                      // delete any existing SOS objects
2724                      int numberObjects=testOsiSolver->numberObjects();
2725                      OsiObject ** oldObjects=testOsiSolver->objects();
2726                      int nNew=0;
2727                      for (int i=0;i<numberObjects;i++) {
2728                        OsiObject * objThis = oldObjects[i];
2729                        OsiSOS * obj1 =
2730                          dynamic_cast <OsiSOS *>(objThis) ;
2731                        OsiSOS * obj2 =
2732                          dynamic_cast <OsiSOS *>(objThis) ;
2733                        if (!obj1&&!obj2) {
2734                          oldObjects[nNew++]=objThis;
2735                        } else {
2736                          delete objThis;
2737                        }
2738                      }
2739                      testOsiSolver->setNumberObjects(nNew);
2740                      testOsiSolver->addObjects(numberSOS,objects);
2741                      for (iSOS=0;iSOS<numberSOS;iSOS++)
2742                        delete objects[iSOS];
2743                      delete [] objects;
2744                    }
2745                  }
2746                  OsiObject ** objects = testOsiSolver->objects();
2747                  int numberObjects = testOsiSolver->numberObjects();
2748                  for (int iObj = 0;iObj<numberObjects;iObj++) {
2749                    // skip sos
2750                    OsiSOS * objSOS =
2751                      dynamic_cast <OsiSOS *>(objects[iObj]) ;
2752                    if (objSOS)
2753                      continue;
2754                    int iColumn = objects[iObj]->columnNumber();
2755                    if (iColumn>=0) {
2756                      if (originalColumns)
2757                        iColumn = originalColumns[iColumn];
2758                      if (branchDirection) {
2759                        OsiSimpleInteger * obj =
2760                          dynamic_cast <OsiSimpleInteger *>(objects[iObj]) ;
2761                        if (obj) { 
2762                          obj->setPreferredWay(branchDirection[iColumn]);
2763                        } else {
2764                          OsiObject2 * obj =
2765                            dynamic_cast <OsiObject2 *>(objects[iObj]) ;
2766                          if (obj)
2767                            obj->setPreferredWay(branchDirection[iColumn]);
2768                        }
2769                      }
2770                    }
2771                    if (priorities) {
2772                      int iPriority = priorities[iColumn];
2773                      if (iPriority>0)
2774                        objects[iObj]->setPriority(iPriority);
2775                    }
2776                    if (pseudoUp&&pseudoUp[iColumn]) {
2777                      abort();
2778                    }
2779                  }
2780                  // *************************************************************
2781                }
2782                int statistics = (printOptions>0) ? printOptions: 0;
2783#ifdef COIN_HAS_ASL
2784                if (!usingAmpl) {
2785#endif
2786                  free(priorities);
2787                  priorities=NULL;
2788                  free(branchDirection);
2789                  branchDirection=NULL;
2790                  free(pseudoDown);
2791                  pseudoDown=NULL;
2792                  free(pseudoUp);
2793                  pseudoUp=NULL;
2794                  free(solutionIn);
2795                  solutionIn=NULL;
2796                  free(prioritiesIn);
2797                  prioritiesIn=NULL;
2798                  free(sosStart);
2799                  sosStart=NULL;
2800                  free(sosIndices);
2801                  sosIndices=NULL;
2802                  free(sosType);
2803                  sosType=NULL;
2804                  free(sosReference);
2805                  sosReference=NULL;
2806                  free(sosPriority);
2807                  sosPriority=NULL;
2808#ifdef COIN_HAS_ASL
2809                }
2810#endif               
2811                if (nodeStrategy) {
2812                  // change default
2813                  if (nodeStrategy>1) {
2814                    // up or down
2815                    int way = ((nodeStrategy%1)==1) ? -1 : +1;
2816                    babModel->setPreferredWay(way);
2817#if 0
2818                    OsiObject ** objects = babModel->objects();
2819                    int numberObjects = babModel->numberObjects();
2820                    for (int iObj = 0;iObj<numberObjects;iObj++) {
2821                      CbcObject * obj =
2822                        dynamic_cast <CbcObject *>(objects[iObj]) ;
2823                      assert (obj);
2824                      obj->setPreferredWay(way);
2825                    }
2826#endif
2827                  }
2828                  if (nodeStrategy==1||nodeStrategy>3) {
2829                    // depth
2830                    CbcCompareDefault compare;
2831                    compare.setWeight(-3.0);
2832                    babModel->setNodeComparison(compare);
2833                  }
2834                }
2835                if (cppValue>=0) {
2836                  int prepro = useStrategy ? -1 : preProcess;
2837                  // generate code
2838                  FILE * fp = fopen("user_driver.cpp","w");
2839                  if (fp) {
2840                    // generate enough to do BAB
2841                    babModel->generateCpp(fp,1);
2842                    OsiClpSolverInterface * osiclp = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
2843                    // Make general so do factorization
2844                    int factor = osiclp->getModelPtr()->factorizationFrequency();
2845                    osiclp->getModelPtr()->setFactorizationFrequency(200);
2846                    osiclp->generateCpp(fp);
2847                    osiclp->getModelPtr()->setFactorizationFrequency(factor);
2848                    //solveOptions.generateCpp(fp);
2849                    fclose(fp);
2850                    // now call generate code
2851                    generateCode(babModel,"user_driver.cpp",cppValue,prepro);
2852                  } else {
2853                    std::cout<<"Unable to open file user_driver.cpp"<<std::endl;
2854                  }
2855                }
2856                if (useStrategy) {
2857                  CbcStrategyDefault strategy(true,babModel->numberStrong(),babModel->numberBeforeTrust());
2858                  strategy.setupPreProcessing(1);
2859                  babModel->setStrategy(strategy);
2860                }
2861                if (testOsiOptions>=0) {
2862                  printf("Testing OsiObject options %d\n",testOsiOptions);
2863                  CbcBranchDefaultDecision decision;
2864                  OsiChooseStrong choose(babModel->solver());
2865                  choose.setNumberBeforeTrusted(babModel->numberBeforeTrust());
2866                  choose.setNumberStrong(babModel->numberStrong());
2867                  choose.setShadowPriceMode(testOsiOptions);
2868                  if (!numberSOS) {
2869                    babModel->solver()->findIntegersAndSOS(false);
2870#ifdef COIN_HAS_LINK
2871                    // If linked then pass in model
2872                    OsiSolverLink * solver3 = dynamic_cast<OsiSolverLink *> (babModel->solver());
2873                    if (solver3) {
2874                      solver3->setCbcModel(babModel);
2875                      CglStored stored;
2876                      babModel->addCutGenerator(&stored,1,"Stored");
2877                      CglTemporary temp;
2878                      babModel->addCutGenerator(&temp,1,"OnceOnly");
2879                      choose.setNumberBeforeTrusted(2000);
2880                      choose.setNumberStrong(20);
2881                    }
2882#endif
2883                  } else {
2884                    // move across
2885                    babModel->deleteObjects(false);
2886                    //babModel->addObjects(babModel->solver()->numberObjects(),babModel->solver()->objects());
2887                  }
2888                  decision.setChooseMethod(choose);
2889                  babModel->setBranchingMethod(decision);
2890                  if (useCosts&&testOsiOptions>=0) {
2891                    int numberColumns = babModel->getNumCols();
2892                    int * sort = new int[numberColumns];
2893                    double * dsort = new double[numberColumns];
2894                    int * priority = new int [numberColumns];
2895                    const double * objective = babModel->getObjCoefficients();
2896                    const double * lower = babModel->getColLower() ;
2897                    const double * upper = babModel->getColUpper() ;
2898                    const CoinPackedMatrix * matrix = babModel->solver()->getMatrixByCol();
2899                    const int * columnLength = matrix->getVectorLengths();
2900                    int iColumn;
2901                    for (iColumn=0;iColumn<numberColumns;iColumn++) {
2902                      sort[iColumn]=iColumn;
2903                      if (useCosts==1)
2904                        dsort[iColumn]=-fabs(objective[iColumn]);
2905                      else if (useCosts==2)
2906                        dsort[iColumn]=iColumn;
2907                      else if (useCosts==3)
2908                        dsort[iColumn]=upper[iColumn]-lower[iColumn];
2909                      else if (useCosts==4)
2910                        dsort[iColumn]=-(upper[iColumn]-lower[iColumn]);
2911                      else if (useCosts==5)
2912                        dsort[iColumn]=-columnLength[iColumn];
2913                    }
2914                    CoinSort_2(dsort,dsort+numberColumns,sort);
2915                    int level=0;
2916                    double last = -1.0e100;
2917                    for (int i=0;i<numberColumns;i++) {
2918                      int iPut=sort[i];
2919                      if (dsort[i]!=last) {
2920                        level++;
2921                        last=dsort[i];
2922                      }
2923                      priority[iPut]=level;
2924                    }
2925                    OsiObject ** objects = babModel->objects();
2926                    int numberObjects = babModel->numberObjects();
2927                    for (int iObj = 0;iObj<numberObjects;iObj++) {
2928                      OsiObject * obj = objects[iObj] ;
2929                      int iColumn = obj->columnNumber();
2930                      if (iColumn>=0)
2931                        obj->setPriority(priority[iColumn]);
2932                    }
2933                    delete [] priority;
2934                    delete [] sort;
2935                    delete [] dsort;
2936                  }
2937                }
2938                checkSOS(babModel, babModel->solver());
2939                if (doSprint>0) {
2940                  // Sprint for primal solves
2941                  ClpSolve::SolveType method = ClpSolve::usePrimalorSprint;
2942                  ClpSolve::PresolveType presolveType = ClpSolve::presolveOff;
2943                  int numberPasses = 5;
2944                  int options[] = {0,3,0,0,0,0};
2945                  int extraInfo[] = {-1,20,-1,-1,-1,-1};
2946                  extraInfo[1]=doSprint;
2947                  int independentOptions[] = {0,0,3};
2948                  ClpSolve clpSolve(method,presolveType,numberPasses,
2949                                    options,extraInfo,independentOptions);
2950                  // say use in OsiClp
2951                  clpSolve.setSpecialOption(6,1);
2952                  OsiClpSolverInterface * osiclp = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
2953                  osiclp->setSolveOptions(clpSolve);
2954                  osiclp->setHintParam(OsiDoDualInResolve,false);
2955                }
2956                babModel->branchAndBound(statistics);
2957                checkSOS(babModel, babModel->solver());
2958              } else if (type==MIPLIB) {
2959                CbcStrategyDefault strategy(true,babModel->numberStrong(),babModel->numberBeforeTrust());
2960                // Set up pre-processing
2961                int translate2[]={9999,1,1,3,2,4,5};
2962                if (preProcess)
2963                  strategy.setupPreProcessing(translate2[preProcess]);
2964                babModel->setStrategy(strategy);
2965                CbcClpUnitTest(*babModel);
2966                goodModel=false;
2967                break;
2968              } else {
2969                strengthenedModel = babModel->strengthenedModel();
2970              }
2971              currentBranchModel = NULL;
2972              osiclp = dynamic_cast< OsiClpSolverInterface*> (babModel->solver());
2973              if (debugFile=="createAfterPre"&&babModel->bestSolution()) {
2974                lpSolver = osiclp->getModelPtr();
2975                //move best solution (should be there -- but ..)
2976                int n = lpSolver->getNumCols();
2977                memcpy(lpSolver->primalColumnSolution(),babModel->bestSolution(),n*sizeof(double));
2978                saveSolution(osiclp->getModelPtr(),"debug.file");
2979              }
2980              if (!noPrinting) {
2981                // Print more statistics
2982                std::cout<<"Cuts at root node changed objective from "<<babModel->getContinuousObjective()
2983                         <<" to "<<babModel->rootObjectiveAfterCuts()<<std::endl;
2984               
2985                numberGenerators = babModel->numberCutGenerators();
2986                for (iGenerator=0;iGenerator<numberGenerators;iGenerator++) {
2987                  CbcCutGenerator * generator = babModel->cutGenerator(iGenerator);
2988                  std::cout<<generator->cutGeneratorName()<<" was tried "
2989                           <<generator->numberTimesEntered()<<" times and created "
2990                           <<generator->numberCutsInTotal()<<" cuts of which "
2991                           <<generator->numberCutsActive()<<" were active after adding rounds of cuts";
2992                  if (generator->timing())
2993                    std::cout<<" ( "<<generator->timeInCutGenerator()<<" seconds)"<<std::endl;
2994                  else
2995                    std::cout<<std::endl;
2996                }
2997              }
2998              time2 = CoinCpuTime();
2999              totalTime += time2-time1;
3000              // For best solution
3001              double * bestSolution = NULL;
3002              if (babModel->getMinimizationObjValue()<1.0e50&&type==BAB) {
3003                // post process
3004                if (preProcess) {
3005                  int n = saveSolver->getNumCols();
3006                  bestSolution = new double [n];
3007                  process.postProcess(*babModel->solver());
3008                  // Solution now back in saveSolver
3009                  babModel->assignSolver(saveSolver);
3010                  memcpy(bestSolution,babModel->solver()->getColSolution(),n*sizeof(double));
3011                } else {
3012                  int n = babModel->solver()->getNumCols();
3013                  bestSolution = new double [n];
3014                  memcpy(bestSolution,babModel->solver()->getColSolution(),n*sizeof(double));
3015                }
3016                checkSOS(babModel, babModel->solver());
3017              }
3018              if (type==STRENGTHEN&&strengthenedModel)
3019                clpSolver = dynamic_cast< OsiClpSolverInterface*> (strengthenedModel);
3020              lpSolver = clpSolver->getModelPtr();
3021              if (numberChanged) {
3022                for (int i=0;i<numberChanged;i++) {
3023                  int iColumn=changed[i];
3024                  clpSolver->setContinuous(iColumn);
3025                }
3026                delete [] changed;
3027              }
3028              if (type==BAB) {
3029                //move best solution (should be there -- but ..)
3030                int n = lpSolver->getNumCols();
3031                if (bestSolution)
3032                  memcpy(lpSolver->primalColumnSolution(),bestSolution,n*sizeof(double));
3033                if (debugFile=="create"&&bestSolution) {
3034                  saveSolution(lpSolver,"debug.file");
3035                }
3036                delete [] bestSolution;
3037                std::string statusName[]={"Finished","Stopped on ","Difficulties",
3038                                          "","","User ctrl-c"};
3039                std::string minor[]={"","","gap","nodes","time","","solutions","user ctrl-c"};
3040                int iStat = babModel->status();
3041                int iStat2 = babModel->secondaryStatus();
3042                if (!noPrinting)
3043                  std::cout<<"Result - "<<statusName[iStat]<<minor[iStat2]
3044                           <<" objective "<<babModel->getObjValue()<<
3045                    " after "<<babModel->getNodeCount()<<" nodes and "
3046                           <<babModel->getIterationCount()<<
3047                    " iterations - took "<<time2-time1<<" seconds"<<std::endl;
3048#ifdef COIN_HAS_ASL
3049                if (usingAmpl) {
3050                  double value = babModel->getObjValue()*lpSolver->getObjSense();
3051                  char buf[300];
3052                  int pos=0;
3053                  if (iStat==0) {
3054                    if (babModel->getObjValue()<1.0e40) {
3055                      pos += sprintf(buf+pos,"optimal," );
3056                    } else {
3057                      // infeasible
3058                      iStat=1;
3059                      pos += sprintf(buf+pos,"infeasible,");
3060                    }
3061                  } else if (iStat==1) {
3062                    if (iStat2!=6)
3063                      iStat=3;
3064                    else
3065                      iStat=4;
3066                    pos += sprintf(buf+pos,"stopped on %s,",minor[iStat2].c_str());
3067                  } else if (iStat==2) {
3068                    iStat = 7;
3069                    pos += sprintf(buf+pos,"stopped on difficulties,");
3070                  } else if (iStat==5) {
3071                    iStat = 3;
3072                    pos += sprintf(buf+pos,"stopped on ctrl-c,");
3073                  } else {
3074                    pos += sprintf(buf+pos,"status unknown,");
3075                    iStat=6;
3076                  }
3077                  info.problemStatus=iStat;
3078                  info.objValue = value;
3079                  if (babModel->getObjValue()<1.0e40) {
3080                    int precision = ampl_obj_prec();
3081                    if (precision>0)
3082                      pos += sprintf(buf+pos," objective %.*g",precision,
3083                                     value);
3084                    else
3085                      pos += sprintf(buf+pos," objective %g",value);
3086                  }
3087                  sprintf(buf+pos,"\n%d nodes, %d iterations",
3088                          babModel->getNodeCount(),
3089                          babModel->getIterationCount());
3090                  if (bestSolution) {
3091                    free(info.primalSolution);
3092                    info.primalSolution = (double *) malloc(n*sizeof(double));
3093                    CoinCopyN(lpSolver->primalColumnSolution(),n,info.primalSolution);
3094                    int numberRows = lpSolver->numberRows();
3095                    free(info.dualSolution);
3096                    info.dualSolution = (double *) malloc(numberRows*sizeof(double));
3097                    CoinCopyN(lpSolver->dualRowSolution(),numberRows,info.dualSolution);
3098                  } else {
3099                    info.primalSolution=NULL;
3100                    info.dualSolution=NULL;
3101                  }
3102                  // put buffer into info
3103                  strcpy(info.buffer,buf);
3104                }
3105#endif
3106              } else {
3107                std::cout<<"Model strengthened - now has "<<clpSolver->getNumRows()
3108                         <<" rows"<<std::endl;
3109              }
3110              time1 = time2;
3111              delete babModel;
3112              babModel=NULL;
3113            } else {
3114              std::cout << "** Current model not valid" << std::endl ; 
3115            }
3116            break ;
3117          case IMPORT:
3118            {
3119#ifdef COIN_HAS_ASL
3120              if (!usingAmpl) {
3121#endif
3122                free(priorities);
3123                priorities=NULL;
3124                free(branchDirection);
3125                branchDirection=NULL;
3126                free(pseudoDown);
3127                pseudoDown=NULL;
3128                free(pseudoUp);
3129                pseudoUp=NULL;
3130                free(solutionIn);
3131                solutionIn=NULL;
3132                free(prioritiesIn);
3133                prioritiesIn=NULL;
3134                free(sosStart);
3135                sosStart=NULL;
3136                free(sosIndices);
3137                sosIndices=NULL;
3138                free(sosType);
3139                sosType=NULL;
3140                free(sosReference);
3141                sosReference=NULL;
3142                free(sosPriority);
3143                sosPriority=NULL;
3144#ifdef COIN_HAS_ASL
3145              }
3146#endif               
3147              delete babModel;
3148              babModel=NULL;
3149              // get next field
3150              field = CoinReadGetString(argc,argv);
3151              if (field=="$") {
3152                field = parameters[iParam].stringValue();
3153              } else if (field=="EOL") {
3154                parameters[iParam].printString();
3155                break;
3156              } else {
3157                parameters[iParam].setStringValue(field);
3158              }
3159              std::string fileName;
3160              bool canOpen=false;
3161              if (field=="-") {
3162                // stdin
3163                canOpen=true;
3164                fileName = "-";
3165              } else {
3166                bool absolutePath;
3167                if (dirsep=='/') {
3168                  // non Windows (or cygwin)
3169                  absolutePath=(field[0]=='/');
3170                } else {
3171                  //Windows (non cycgwin)
3172                  absolutePath=(field[0]=='\\');
3173                  // but allow for :
3174                  if (strchr(field.c_str(),':'))
3175                    absolutePath=true;
3176                }
3177                if (absolutePath) {
3178                  fileName = field;
3179                } else if (field[0]=='~') {
3180                  char * environVar = getenv("HOME");
3181                  if (environVar) {
3182                    std::string home(environVar);
3183                    field=field.erase(0,1);
3184                    fileName = home+field;
3185                  } else {
3186                    fileName=field;
3187                  }
3188                } else {
3189                  fileName = directory+field;
3190                }
3191                FILE *fp=fopen(fileName.c_str(),"r");
3192                if (fp) {
3193                  // can open - lets go for it
3194                  fclose(fp);
3195                  canOpen=true;
3196                } else {
3197                  std::cout<<"Unable to open file "<<fileName<<std::endl;
3198                }
3199              }
3200              if (canOpen) {
3201                int status =clpSolver->readMps(fileName.c_str(),
3202                                                   keepImportNames!=0,
3203                                                   allowImportErrors!=0);
3204                if (!status||(status>0&&allowImportErrors)) {
3205                  if (keepImportNames) {
3206                    lengthName = lpSolver->lengthNames();
3207                    rowNames = *(lpSolver->rowNames());
3208                    columnNames = *(lpSolver->columnNames());
3209                  } else {
3210                    lengthName=0;
3211                  }
3212                  goodModel=true;
3213                  //Set integers in clpsolver
3214                  const char * info = lpSolver->integerInformation();
3215                  if (info) {
3216                    int numberColumns = lpSolver->numberColumns();
3217                    int i;
3218                    for (i=0;i<numberColumns;i++) {
3219                      if (info[i]) 
3220                        clpSolver->setInteger(i);
3221                    }
3222                  }
3223                  // sets to all slack (not necessary?)
3224                  lpSolver->createStatus();
3225                  time2 = CoinCpuTime();
3226                  totalTime += time2-time1;
3227                  time1=time2;
3228                  // Go to canned file if just input file
3229                  if (CbcOrClpRead_mode==2&&argc==2) {
3230                    // only if ends .mps
3231                    std::string::size_type loc = fileName.find(".mps") ;
3232                    if (loc != std::string::npos &&
3233                        fileName.length() == loc+3)
3234                    { fileName.replace(loc+1,3,"par") ;
3235                      FILE *fp=fopen(fileName.c_str(),"r");
3236                      if (fp) {
3237                        CbcOrClpReadCommand=fp; // Read from that file
3238                        CbcOrClpRead_mode=-1;
3239                      }
3240                    }
3241                  }
3242                } else {
3243                  // errors
3244                  std::cout<<"There were "<<status<<
3245                    " errors on input"<<std::endl;
3246                }
3247              }
3248            }
3249            break;
3250          case MODELIN:
3251#ifdef COIN_HAS_LINK
3252            {
3253              // get next field
3254              field = CoinReadGetString(argc,argv);
3255              if (field=="$") {
3256                field = parameters[iParam].stringValue();
3257              } else if (field=="EOL") {
3258                parameters[iParam].printString();
3259                break;
3260              } else {
3261                parameters[iParam].setStringValue(field);
3262              }
3263              std::string fileName;
3264              bool canOpen=false;
3265              if (field=="-") {
3266                // stdin
3267                canOpen=true;
3268                fileName = "-";
3269              } else {
3270                bool absolutePath;
3271                if (dirsep=='/') {
3272                  // non Windows (or cygwin)
3273                  absolutePath=(field[0]=='/');
3274                } else {
3275                  //Windows (non cycgwin)
3276                  absolutePath=(field[0]=='\\');
3277                  // but allow for :
3278                  if (strchr(field.c_str(),':'))
3279                    absolutePath=true;
3280                }
3281                if (absolutePath) {
3282                  fileName = field;
3283                } else if (field[0]=='~') {
3284                  char * environVar = getenv("HOME");
3285                  if (environVar) {
3286                    std::string home(environVar);
3287                    field=field.erase(0,1);
3288                    fileName = home+field;
3289                  } else {
3290                    fileName=field;
3291                  }
3292                } else {
3293                  fileName = directory+field;
3294                }
3295                FILE *fp=fopen(fileName.c_str(),"r");
3296                if (fp) {
3297                  // can open - lets go for it
3298                  fclose(fp);
3299                  canOpen=true;
3300                } else {
3301                  std::cout<<"Unable to open file "<<fileName<<std::endl;
3302                }
3303              }
3304              if (canOpen) {
3305                CoinModel coinModel(fileName.c_str(),2);
3306                // load from coin model
3307                OsiSolverLink solver1;
3308                OsiSolverInterface * solver2 = solver1.clone();
3309                model.assignSolver(solver2,true);
3310                OsiSolverLink * si =
3311                  dynamic_cast<OsiSolverLink *>(model.solver()) ;
3312                assert (si != NULL);
3313                si->setDefaultMeshSize(0.001);
3314                // need some relative granularity
3315                si->setDefaultBound(100.0);
3316                si->setDefaultMeshSize(0.01);
3317                si->setDefaultBound(100.0);
3318                si->setIntegerPriority(1000);
3319                si->setBiLinearPriority(10000);
3320                CoinModel * model2 = (CoinModel *) &coinModel;
3321                si->load(*model2);
3322                // redo
3323                solver = model.solver();
3324                clpSolver = dynamic_cast< OsiClpSolverInterface*> (solver);
3325                lpSolver = clpSolver->getModelPtr();
3326                clpSolver->messageHandler()->setLogLevel(0) ;
3327                testOsiParameters=0;
3328                complicatedInteger=2;
3329              }
3330            }
3331#endif
3332            break;
3333          case EXPORT:
3334            if (goodModel) {
3335              // get next field
3336              field = CoinReadGetString(argc,argv);
3337              if (field=="$") {
3338                field = parameters[iParam].stringValue();
3339              } else if (field=="EOL") {
3340                parameters[iParam].printString();
3341                break;
3342              } else {
3343                parameters[iParam].setStringValue(field);
3344              }
3345              std::string fileName;
3346              bool canOpen=false;
3347              if (field[0]=='/'||field[0]=='\\') {
3348                fileName = field;
3349              } else if (field[0]=='~') {
3350                char * environVar = getenv("HOME");
3351                if (environVar) {
3352                  std::string home(environVar);
3353                  field=field.erase(0,1);
3354                  fileName = home+field;
3355                } else {
3356                  fileName=field;
3357                }
3358              } else {
3359                fileName = directory+field;
3360              }
3361              FILE *fp=fopen(fileName.c_str(),"w");
3362              if (fp) {
3363                // can open - lets go for it
3364                fclose(fp);
3365                canOpen=true;
3366              } else {
3367                std::cout<<"Unable to open file "<<fileName<<std::endl;
3368              }
3369              if (canOpen) {
3370                // If presolve on then save presolved
3371                bool deleteModel2=false;
3372                ClpSimplex * model2 = lpSolver;
3373#ifdef COIN_HAS_ASL
3374                if (info.numberSos&&doSOS&&usingAmpl) {
3375                  // SOS
3376                  numberSOS = info.numberSos;
3377                  sosStart = info.sosStart;
3378                  sosIndices = info.sosIndices;
3379                  sosReference = info.sosReference;
3380                  preSolve=false;
3381                  clpSolver->setSOSData(numberSOS,info.sosType,sosStart,sosIndices,sosReference);
3382                }
3383#endif
3384                if (preSolve) {
3385                  ClpPresolve pinfo;
3386                  int presolveOptions2 = presolveOptions&~0x40000000;
3387                  if ((presolveOptions2&0xffff)!=0)
3388                    pinfo.setPresolveActions(presolveOptions2);
3389                  if ((printOptions&1)!=0)
3390                    pinfo.statistics();
3391                  double presolveTolerance = 
3392                    parameters[whichParam(PRESOLVETOLERANCE,numberParameters,parameters)].doubleValue();
3393                  model2 = 
3394                    pinfo.presolvedModel(*lpSolver,presolveTolerance,
3395                                         true,preSolve);
3396                  if (model2) {
3397                    printf("Saving presolved model on %s\n",
3398                           fileName.c_str());
3399                    deleteModel2=true;
3400                  } else {
3401                    printf("Presolved model looks infeasible - saving original on %s\n",
3402                           fileName.c_str());
3403                    deleteModel2=false;
3404                    model2 = lpSolver;
3405
3406                  }
3407                  model2->writeMps(fileName.c_str(),(outputFormat-1)/2,1+((outputFormat-1)&1));
3408                  if (deleteModel2)
3409                    delete model2;
3410                } else {
3411                  printf("Saving model on %s\n",
3412                           fileName.c_str());
3413                  if (numberSOS) {
3414                    // Convert names
3415                    int iRow;
3416                    int numberRows=model2->numberRows();
3417                    int iColumn;
3418                    int numberColumns=model2->numberColumns();
3419                   
3420                    char ** rowNames = NULL;
3421                    char ** columnNames = NULL;
3422                    if (model2->lengthNames()) {
3423                      rowNames = new char * [numberRows];
3424                      for (iRow=0;iRow<numberRows;iRow++) {
3425                        rowNames[iRow] = 
3426                          strdup(model2->rowName(iRow).c_str());
3427                      }
3428                     
3429                      columnNames = new char * [numberColumns];
3430                      for (iColumn=0;iColumn<numberColumns;iColumn++) {
3431                        columnNames[iColumn] = 
3432                          strdup(model2->columnName(iColumn).c_str());
3433                      }
3434                    }
3435                    clpSolver->writeMpsNative(fileName.c_str(),(const char **) rowNames,(const char **) columnNames,
3436                                              (outputFormat-1)/2,1+((outputFormat-1)&1));
3437                    if (rowNames) {
3438                      for (iRow=0;iRow<numberRows;iRow++) {
3439                        free(rowNames[iRow]);
3440                      }
3441                      delete [] rowNames;
3442                      for (iColumn=0;iColumn<numberColumns;iColumn++) {
3443                        free(columnNames[iColumn]);
3444                      }
3445                      delete [] columnNames;
3446                    }
3447                  } else {
3448                    model2->writeMps(fileName.c_str(),(outputFormat-1)/2,1+((outputFormat-1)&1));
3449                  }
3450                }
3451                time2 = CoinCpuTime();
3452                totalTime += time2-time1;
3453                time1=time2;
3454              }
3455            } else {
3456              std::cout<<"** Current model not valid"<<std::endl;
3457            }
3458            break;
3459          case BASISIN:
3460            if (goodModel) {
3461              // get next field
3462              field = CoinReadGetString(argc,argv);
3463              if (field=="$") {
3464                field = parameters[iParam].stringValue();
3465              } else if (field=="EOL") {
3466                parameters[iParam].printString();
3467                break;
3468              } else {
3469                parameters[iParam].setStringValue(field);
3470              }
3471              std::string fileName;
3472              bool canOpen=false;
3473              if (field=="-") {
3474                // stdin
3475                canOpen=true;
3476                fileName = "-";
3477              } else {
3478                if (field[0]=='/'||field[0]=='\\') {
3479                  fileName = field;
3480                } else if (field[0]=='~') {
3481                  char * environVar = getenv("HOME");
3482                  if (environVar) {
3483                    std::string home(environVar);
3484                    field=field.erase(0,1);
3485                    fileName = home+field;
3486                  } else {
3487                    fileName=field;
3488                  }
3489                } else {
3490                  fileName = directory+field;
3491                }
3492                FILE *fp=fopen(fileName.c_str(),"r");
3493                if (fp) {
3494                  // can open - lets go for it
3495                  fclose(fp);
3496                  canOpen=true;
3497                } else {
3498                  std::cout<<"Unable to open file "<<fileName<<std::endl;
3499                }
3500              }
3501              if (canOpen) {
3502                int values = lpSolver->readBasis(fileName.c_str());
3503                if (values==0)
3504                  basisHasValues=-1;
3505                else
3506                  basisHasValues=1;
3507              }
3508            } else {
3509              std::cout<<"** Current model not valid"<<std::endl;
3510            }
3511            break;
3512          case PRIORITYIN:
3513            if (goodModel) {
3514              // get next field
3515              field = CoinReadGetString(argc,argv);
3516              if (field=="$") {
3517                field = parameters[iParam].stringValue();
3518              } else if (field=="EOL") {
3519                parameters[iParam].printString();
3520                break;
3521              } else {
3522                parameters[iParam].setStringValue(field);
3523              }
3524              std::string fileName;
3525              if (field[0]=='/'||field[0]=='\\') {
3526                fileName = field;
3527              } else if (field[0]=='~') {
3528                char * environVar = getenv("HOME");
3529                if (environVar) {
3530                  std::string home(environVar);
3531                  field=field.erase(0,1);
3532                  fileName = home+field;
3533                } else {
3534                  fileName=field;
3535                }
3536              } else {
3537                fileName = directory+field;
3538              }
3539              FILE *fp=fopen(fileName.c_str(),"r");
3540              if (fp) {
3541                // can open - lets go for it
3542                std::string headings[]={"name","number","direction","priority","up","down",
3543                                        "solution","priin"};
3544                int got[]={-1,-1,-1,-1,-1,-1,-1,-1};
3545                int order[8];
3546                assert(sizeof(got)==sizeof(order));
3547                int nAcross=0;
3548                char line[1000];
3549                int numberColumns = lpSolver->numberColumns();
3550                if (!fgets(line,1000,fp)) {
3551                  std::cout<<"Odd file "<<fileName<<std::endl;
3552                } else {
3553                  char * pos = line;
3554                  char * put = line;
3555                  while (*pos>=' '&&*pos!='\n') {
3556                    if (*pos!=' '&&*pos!='\t') {
3557                      *put=tolower(*pos);
3558                      put++;
3559                    }
3560                    pos++;
3561                  }
3562                  *put='\0';
3563                  pos=line;
3564                  int i;
3565                  bool good=true;
3566                  while (pos) {
3567                    char * comma = strchr(pos,',');
3568                    if (comma)
3569                      *comma='\0';
3570                    for (i=0;i<(int) (sizeof(got)/sizeof(int));i++) {
3571                      if (headings[i]==pos) {
3572                        if (got[i]<0) {
3573                          order[nAcross]=i;
3574                          got[i]=nAcross++;
3575                        } else {
3576                          // duplicate
3577                          good=false;
3578                        }
3579                        break;
3580                      }
3581                    }
3582                    if (i==(int) (sizeof(got)/sizeof(int)))
3583                      good=false;
3584                    if (comma) {
3585                      *comma=',';
3586                      pos=comma+1;
3587                    } else {
3588                      break;
3589                    }
3590                  }
3591                  if (got[0]<0&&got[1]<0)
3592                    good=false;
3593                  if (got[0]>=0&&got[1]>=0)
3594                    good=false;
3595                  if (got[0]>=0&&!lpSolver->lengthNames())
3596                    good=false;
3597                  if (good) {
3598                    char ** columnNames = columnNames = new char * [numberColumns];
3599                    pseudoDown= (double *) malloc(numberColumns*sizeof(double));
3600                    pseudoUp = (double *) malloc(numberColumns*sizeof(double));
3601                    branchDirection = (int *) malloc(numberColumns*sizeof(int));
3602                    priorities= (int *) malloc(numberColumns*sizeof(int));
3603                    free(solutionIn);
3604                    solutionIn=NULL;
3605                    free(prioritiesIn);
3606                    prioritiesIn=NULL;
3607                    int iColumn;
3608                    if (got[6]>=0) {
3609                      solutionIn = (double *) malloc(numberColumns*sizeof(double));
3610                      CoinZeroN(solutionIn,numberColumns);
3611                    }
3612                    if (got[7]>=0) {
3613                      prioritiesIn = (int *) malloc(numberColumns*sizeof(int));
3614                      for (iColumn=0;iColumn<numberColumns;iColumn++) 
3615                        prioritiesIn[iColumn]=10000;
3616                    }
3617                    for (iColumn=0;iColumn<numberColumns;iColumn++) {
3618                      columnNames[iColumn] = 
3619                        strdup(lpSolver->columnName(iColumn).c_str());
3620                      pseudoDown[iColumn]=0.0;
3621                      pseudoUp[iColumn]=0.0;
3622                      branchDirection[iColumn]=0;
3623                      priorities[iColumn]=0;
3624                    }
3625                    int nBadPseudo=0;
3626                    int nBadDir=0;
3627                    int nBadPri=0;
3628                    int nBadName=0;
3629                    int nBadLine=0;
3630                    int nLine=0;
3631                    while (fgets(line,1000,fp)) {
3632                      nLine++;
3633                      iColumn = -1;
3634                      double up =0.0;
3635                      double down=0.0;
3636                      int pri=0;
3637                      int dir=0;
3638                      double solValue=COIN_DBL_MAX;
3639                      int priValue=1000000;
3640                      char * pos = line;
3641                      char * put = line;
3642                      while (*pos>=' '&&*pos!='\n') {
3643                        if (*pos!=' '&&*pos!='\t') {
3644                          *put=tolower(*pos);
3645                          put++;
3646                        }
3647                        pos++;
3648                      }
3649                      *put='\0';
3650                      pos=line;
3651                      for (int i=0;i<nAcross;i++) {
3652                        char * comma = strchr(pos,',');
3653                        if (comma) {
3654                          *comma='\0';
3655                        } else if (i<nAcross-1) {
3656                          nBadLine++;
3657                          break;
3658                        }
3659                        switch (order[i]) {
3660                          // name
3661                        case 0:
3662                          for (iColumn=0;iColumn<numberColumns;iColumn++) {
3663                            if (!strcmp(columnNames[iColumn],pos))
3664                              break;
3665                          }
3666                          if (iColumn==numberColumns)
3667                            iColumn=-1;
3668                          break;
3669                          // number
3670                        case 1:
3671                          iColumn = atoi(pos);
3672                          if (iColumn<0||iColumn>=numberColumns)
3673                            iColumn=-1;
3674                          break;
3675                          // direction
3676                        case 2:
3677                          if (*pos=='D')
3678                            dir=-1;
3679                          else if (*pos=='U')
3680                            dir=1;
3681                          else if (*pos=='N')
3682                            dir=0;
3683                          else if (*pos=='1'&&*(pos+1)=='\0')
3684                            dir=1;
3685                          else if (*pos=='0'&&*(pos+1)=='\0')
3686                            dir=0;
3687                          else if (*pos=='1'&&*(pos+1)=='1'&&*(pos+2)=='\0')
3688                            dir=-1;
3689                          else
3690                            dir=-2; // bad
3691                          break;
3692                          // priority
3693                        case 3:
3694                          pri=atoi(pos);
3695                          break;
3696                          // up
3697                        case 4:
3698                          up = atof(pos);
3699                          break;
3700                          // down
3701                        case 5:
3702                          down = atof(pos);
3703                          break;
3704                          // sol value
3705                        case 6:
3706                          solValue = atof(pos);
3707                          break;
3708                          // priority in value
3709                        case 7:
3710                          priValue = atoi(pos);
3711                          break;
3712                        }
3713                        if (comma) {
3714                          *comma=',';
3715                          pos=comma+1;
3716                        }
3717                      }
3718                      if (iColumn>=0) {
3719                        if (down<0.0) {
3720                          nBadPseudo++;
3721                          down=0.0;
3722                        }
3723                        if (up<0.0) {
3724                          nBadPseudo++;
3725                          up=0.0;
3726                        }
3727                        if (!up)
3728                          up=down;
3729                        if (!down)
3730                          down=up;
3731                        if (dir<-1||dir>1) {
3732                          nBadDir++;
3733                          dir=0;
3734                        }
3735                        if (pri<0) {
3736                          nBadPri++;
3737                          pri=0;
3738                        }
3739                        pseudoDown[iColumn]=down;
3740                        pseudoUp[iColumn]=up;
3741                        branchDirection[iColumn]=dir;
3742                        priorities[iColumn]=pri;
3743                        if (solValue!=COIN_DBL_MAX) {
3744                          assert (solutionIn);
3745                          solutionIn[iColumn]=solValue;
3746                        }
3747                        if (priValue!=1000000) {
3748                          assert (prioritiesIn);
3749                          prioritiesIn[iColumn]=priValue;
3750                        }
3751                      } else {
3752                        nBadName++;
3753                      }
3754                    }
3755                    if (!noPrinting) {
3756                      printf("%d fields and %d records",nAcross,nLine);
3757                      if (nBadPseudo)
3758                        printf(" %d bad pseudo costs",nBadPseudo);
3759                      if (nBadDir)
3760                        printf(" %d bad directions",nBadDir);
3761                      if (nBadPri)
3762                        printf(" %d bad priorities",nBadPri);
3763                      if (nBadName)
3764                        printf(" ** %d records did not match on name/sequence",nBadName);
3765                      printf("\n");
3766                    }
3767                    for (iColumn=0;iColumn<numberColumns;iColumn++) {
3768                      free(columnNames[iColumn]);
3769                    }
3770                    delete [] columnNames;
3771                  } else {
3772                    std::cout<<"Duplicate or unknown keyword - or name/number fields wrong"<<line<<std::endl;
3773                  }
3774                }
3775                fclose(fp);
3776              } else {
3777                std::cout<<"Unable to open file "<<fileName<<std::endl;
3778              }
3779            } else {
3780              std::cout<<"** Current model not valid"<<std::endl;
3781            }
3782            break;
3783          case DEBUG:
3784            if (goodModel) {
3785              delete [] debugValues;
3786              debugValues=NULL;
3787              // get next field
3788              field = CoinReadGetString(argc,argv);
3789              if (field=="$") {
3790                field = parameters[iParam].stringValue();
3791              } else if (field=="EOL") {
3792                parameters[iParam].printString();
3793                break;
3794              } else {
3795                parameters[iParam].setStringValue(field);
3796                debugFile=field;
3797                if (debugFile=="create"||
3798                    debugFile=="createAfterPre") {
3799                  printf("Will create a debug file so this run should be a good one\n");
3800                  break;
3801                }
3802              }
3803              std::string fileName;
3804              if (field[0]=='/'||field[0]=='\\') {
3805                fileName = field;
3806              } else if (field[0]=='~') {
3807                char * environVar = getenv("HOME");
3808                if (environVar) {
3809                  std::string home(environVar);
3810                  field=field.erase(0,1);
3811                  fileName = home+field;
3812                } else {
3813                  fileName=field;
3814                }
3815              } else {
3816                fileName = directory+field;
3817              }
3818              FILE *fp=fopen(fileName.c_str(),"rb");
3819              if (fp) {
3820                // can open - lets go for it
3821                int numRows;
3822                double obj;
3823                fread(&numRows,sizeof(int),1,fp);
3824                fread(&numberDebugValues,sizeof(int),1,fp);
3825                fread(&obj,sizeof(double),1,fp);
3826                debugValues = new double[numberDebugValues+numRows];
3827                fread(debugValues,sizeof(double),numRows,fp);
3828                fread(debugValues,sizeof(double),numRows,fp);
3829                fread(debugValues,sizeof(double),numberDebugValues,fp);
3830                printf("%d doubles read into debugValues\n",numberDebugValues);
3831                fclose(fp);
3832              } else {
3833                std::cout<<"Unable to open file "<<fileName<<std::endl;
3834              }
3835            } else {
3836              std::cout<<"** Current model not valid"<<std::endl;
3837            }
3838            break;
3839          case PRINTMASK:
3840            // get next field
3841            {
3842              std::string name = CoinReadGetString(argc,argv);
3843              if (name!="EOL") {
3844                parameters[iParam].setStringValue(name);
3845                printMask = name;
3846              } else {
3847                parameters[iParam].printString();
3848              }
3849            }
3850            break;
3851          case BASISOUT:
3852            if (goodModel) {
3853              // get next field
3854              field = CoinReadGetString(argc,argv);
3855              if (field=="$") {
3856                field = parameters[iParam].stringValue();
3857              } else if (field=="EOL") {
3858                parameters[iParam].printString();
3859                break;
3860              } else {
3861                parameters[iParam].setStringValue(field);
3862              }
3863              std::string fileName;
3864              bool canOpen=false;
3865              if (field[0]=='/'||field[0]=='\\') {
3866                fileName = field;
3867              } else if (field[0]=='~') {
3868                char * environVar = getenv("HOME");
3869                if (environVar) {
3870                  std::string home(environVar);
3871                  field=field.erase(0,1);
3872                  fileName = home+field;
3873                } else {
3874                  fileName=field;
3875                }
3876              } else {
3877                fileName = directory+field;
3878              }
3879              FILE *fp=fopen(fileName.c_str(),"w");
3880              if (fp) {
3881                // can open - lets go for it
3882                fclose(fp);
3883                canOpen=true;
3884              } else {
3885                std::cout<<"Unable to open file "<<fileName<<std::endl;
3886              }
3887              if (canOpen) {
3888                ClpSimplex * model2 = lpSolver;
3889                model2->writeBasis(fileName.c_str(),outputFormat>1,outputFormat-2);
3890                time2 = CoinCpuTime();
3891                totalTime += time2-time1;
3892                time1=time2;
3893              }
3894            } else {
3895              std::cout<<"** Current model not valid"<<std::endl;
3896            }
3897            break;
3898          case SAVE:
3899            {
3900              // get next field
3901              field = CoinReadGetString(argc,argv);
3902              if (field=="$") {
3903                field = parameters[iParam].stringValue();
3904              } else if (field=="EOL") {
3905                parameters[iParam].printString();
3906                break;
3907              } else {
3908                parameters[iParam].setStringValue(field);
3909              }
3910              std::string fileName;
3911              bool canOpen=false;
3912              if (field[0]=='/'||field[0]=='\\') {
3913                fileName = field;
3914              } else if (field[0]=='~') {
3915                char * environVar = getenv("HOME");
3916                if (environVar) {
3917                  std::string home(environVar);
3918                  field=field.erase(0,1);
3919                  fileName = home+field;
3920                } else {
3921                  fileName=field;
3922                }
3923              } else {
3924                fileName = directory+field;
3925              }
3926              FILE *fp=fopen(fileName.c_str(),"wb");
3927              if (fp) {
3928                // can open - lets go for it
3929                fclose(fp);
3930                canOpen=true;
3931              } else {
3932                std::cout<<"Unable to open file "<<fileName<<std::endl;
3933              }
3934              if (canOpen) {
3935                int status;
3936                // If presolve on then save presolved
3937                bool deleteModel2=false;
3938                ClpSimplex * model2 = lpSolver;
3939                if (preSolve) {
3940                  ClpPresolve pinfo;
3941                  double presolveTolerance = 
3942                    parameters[whichParam(PRESOLVETOLERANCE,numberParameters,parameters)].doubleValue();
3943                  model2 = 
3944                    pinfo.presolvedModel(*lpSolver,presolveTolerance,
3945                                         false,preSolve);
3946                  if (model2) {
3947                    printf("Saving presolved model on %s\n",
3948                           fileName.c_str());
3949                    deleteModel2=true;
3950                  } else {
3951                    printf("Presolved model looks infeasible - saving original on %s\n",
3952                           fileName.c_str());
3953                    deleteModel2=false;
3954                    model2 = lpSolver;
3955
3956                  }
3957                } else {
3958                  printf("Saving model on %s\n",
3959                           fileName.c_str());
3960                }
3961                status =model2->saveModel(fileName.c_str());
3962                if (deleteModel2)
3963                  delete model2;
3964                if (!status) {
3965                  goodModel=true;
3966                  time2 = CoinCpuTime();
3967                  totalTime += time2-time1;
3968                  time1=time2;
3969                } else {
3970                  // errors
3971                  std::cout<<"There were errors on output"<<std::endl;
3972                }
3973              }
3974            }
3975            break;
3976          case RESTORE:
3977            {
3978              // get next field
3979              field = CoinReadGetString(argc,argv);
3980              if (field=="$") {
3981                field = parameters[iParam].stringValue();
3982              } else if (field=="EOL") {
3983                parameters[iParam].printString();
3984                break;
3985              } else {
3986                parameters[iParam].setStringValue(field);
3987              }
3988              std::string fileName;
3989              bool canOpen=false;
3990              if (field[0]=='/'||field[0]=='\\') {
3991                fileName = field;
3992              } else if (field[0]=='~') {
3993                char * environVar = getenv("HOME");
3994                if (environVar) {
3995                  std::string home(environVar);
3996                  field=field.erase(0,1);
3997                  fileName = home+field;
3998                } else {
3999                  fileName=field;
4000                }
4001              } else {
4002                fileName = directory+field;
4003              }
4004              FILE *fp=fopen(fileName.c_str(),"rb");
4005              if (fp) {
4006                // can open - lets go for it
4007                fclose(fp);
4008                canOpen=true;
4009              } else {
4010                std::cout<<"Unable to open file "<<fileName<<std::endl;
4011              }
4012              if (canOpen) {
4013                int status =lpSolver->restoreModel(fileName.c_str());
4014                if (!status) {
4015                  goodModel=true;
4016                  time2 = CoinCpuTime();
4017                  totalTime += time2-time1;
4018                  time1=time2;
4019                } else {
4020                  // errors
4021                  std::cout<<"There were errors on input"<<std::endl;
4022                }
4023              }
4024            }
4025            break;
4026          case MAXIMIZE:
4027            lpSolver->setOptimizationDirection(-1);
4028            break;
4029          case MINIMIZE:
4030            lpSolver->setOptimizationDirection(1);
4031            break;
4032          case ALLSLACK:
4033            lpSolver->allSlackBasis(true);
4034            break;
4035          case REVERSE:
4036            if (goodModel) {
4037              int iColumn;
4038              int numberColumns=lpSolver->numberColumns();
4039              double * dualColumnSolution = 
4040                lpSolver->dualColumnSolution();
4041              ClpObjective * obj = lpSolver->objectiveAsObject();
4042              assert(dynamic_cast<ClpLinearObjective *> (obj));
4043              double offset;
4044              double * objective = obj->gradient(NULL,NULL,offset,true);
4045              for (iColumn=0;iColumn<numberColumns;iColumn++) {
4046                dualColumnSolution[iColumn] = dualColumnSolution[iColumn];
4047                objective[iColumn] = -objective[iColumn];
4048              }
4049              int iRow;
4050              int numberRows=lpSolver->numberRows();
4051              double * dualRowSolution = 
4052                lpSolver->dualRowSolution();
4053              for (iRow=0;iRow<numberRows;iRow++) 
4054                dualRowSolution[iRow] = dualRowSolution[iRow];
4055            }
4056            break;
4057          case DIRECTORY:
4058            {
4059              std::string name = CoinReadGetString(argc,argv);
4060              if (name!="EOL") {
4061                int length=name.length();
4062                if (name[length-1]=='/'||name[length-1]=='\\')
4063                  directory=name;
4064                else
4065                  directory = name+"/";
4066                parameters[iParam].setStringValue(directory);
4067              } else {
4068                parameters[iParam].printString();
4069              }
4070            }
4071            break;
4072          case STDIN:
4073            CbcOrClpRead_mode=-1;
4074            break;
4075          case NETLIB_DUAL:
4076          case NETLIB_EITHER:
4077          case NETLIB_BARRIER:
4078          case NETLIB_PRIMAL:
4079          case NETLIB_TUNE:
4080            {
4081              // create fields for unitTest
4082              const char * fields[4];
4083              int nFields=2;
4084              fields[0]="fake main from unitTest";
4085              fields[1]="-netlib";
4086              if (directory!=defaultDirectory) {
4087                fields[2]="-netlibDir";
4088                fields[3]=directory.c_str();
4089                nFields=4;
4090              }
4091              int algorithm;
4092              if (type==NETLIB_DUAL) {
4093                std::cerr<<"Doing netlib with dual algorithm"<<std::endl;
4094                algorithm =0;
4095              } else if (type==NETLIB_BARRIER) {
4096                std::cerr<<"Doing netlib with barrier algorithm"<<std::endl;
4097                algorithm =2;
4098              } else if (type==NETLIB_EITHER) {
4099                std::cerr<<"Doing netlib with dual or primal algorithm"<<std::endl;
4100                algorithm =3;
4101              } else if (type==NETLIB_TUNE) {
4102                std::cerr<<"Doing netlib with best algorithm!"<<std::endl;
4103                algorithm =5;
4104                // uncomment next to get active tuning
4105                // algorithm=6;
4106              } else {
4107                std::cerr<<"Doing netlib with primal agorithm"<<std::endl;
4108                algorithm=1;
4109              }
4110              int specialOptions = lpSolver->specialOptions();
4111              lpSolver->setSpecialOptions(0);
4112              mainTest(nFields,fields,algorithm,*lpSolver,
4113                       (preSolve!=0),specialOptions,doVector!=0);
4114            }
4115            break;
4116          case UNITTEST:
4117            {
4118              // create fields for unitTest
4119              const char * fields[3];
4120              int nFields=1;
4121              fields[0]="fake main from unitTest";
4122              if (directory!=defaultDirectory) {
4123                fields[1]="-mpsDir";
4124                fields[2]=directory.c_str();
4125                nFields=3;
4126              }
4127              mainTest(nFields,fields,false,*lpSolver,(preSolve!=0),
4128                       false,doVector!=0);
4129            }
4130            break;
4131          case FAKEBOUND:
4132            if (goodModel) {
4133              // get bound
4134              double value = CoinReadGetDoubleField(argc,argv,&valid);
4135              if (!valid) {
4136                std::cout<<"Setting "<<parameters[iParam].name()<<
4137                  " to DEBUG "<<value<<std::endl;
4138                int iRow;
4139                int numberRows=lpSolver->numberRows();
4140                double * rowLower = lpSolver->rowLower();
4141                double * rowUpper = lpSolver->rowUpper();
4142                for (iRow=0;iRow<numberRows;iRow++) {
4143                  // leave free ones for now
4144                  if (rowLower[iRow]>-1.0e20||rowUpper[iRow]<1.0e20) {
4145                    rowLower[iRow]=CoinMax(rowLower[iRow],-value);
4146                    rowUpper[iRow]=CoinMin(rowUpper[iRow],value);
4147                  }
4148                }
4149                int iColumn;
4150                int numberColumns=lpSolver->numberColumns();
4151                double * columnLower = lpSolver->columnLower();
4152                double * columnUpper = lpSolver->columnUpper();
4153                for (iColumn=0;iColumn<numberColumns;iColumn++) {
4154                  // leave free ones for now
4155                  if (columnLower[iColumn]>-1.0e20||
4156                      columnUpper[iColumn]<1.0e20) {
4157                    columnLower[iColumn]=CoinMax(columnLower[iColumn],-value);
4158                    columnUpper[iColumn]=CoinMin(columnUpper[iColumn],value);
4159                  }
4160                }
4161              } else if (valid==1) {
4162                abort();
4163              } else {
4164                std::cout<<"enter value for "<<parameters[iParam].name()<<
4165                  std::endl;
4166              }
4167            }
4168            break;
4169          case REALLY_SCALE:
4170            if (goodModel) {
4171              ClpSimplex newModel(*lpSolver,
4172                                  lpSolver->scalingFlag());
4173              printf("model really really scaled\n");
4174              *lpSolver=newModel;
4175            }
4176            break;
4177          case USERCLP:
4178            // Replace the sample code by whatever you want
4179            if (goodModel) {
4180#ifndef USER_HAS_FAKE_MAIN
4181              printf("Dummy user clp code - model has %d rows and %d columns\n",
4182                     lpSolver->numberRows(),lpSolver->numberColumns());
4183#else
4184              // Way of using an existing piece of code
4185              OsiClpSolverInterface * clpSolver = dynamic_cast< OsiClpSolverInterface*> (model.solver());
4186              ClpSimplex * lpSolver = clpSolver->getModelPtr();
4187              // set time from integer model
4188              double timeToGo = model.getMaximumSeconds();
4189              lpSolver->setMaximumSeconds(timeToGo);
4190              fakeMain2(*lpSolver,*clpSolver);
4191#ifdef COIN_HAS_ASL
4192              // My actual usage has objective only in clpSolver
4193              double objectiveValue=clpSolver->getObjValue();
4194              int iStat = lpSolver->status();
4195              int iStat2 = lpSolver->secondaryStatus();
4196#endif
4197#endif
4198            }
4199            break;
4200          case USERCBC:
4201            // Replace the sample code by whatever you want
4202            if (goodModel) {
4203#ifndef USER_HAS_FAKE_MAIN
4204              printf("Dummy user cbc code - model has %d rows and %d columns\n",
4205                     model.getNumRows(),model.getNumCols());
4206              // Reduce printout
4207              model.solver()->setHintParam(OsiDoReducePrint,true,OsiHintTry);
4208              // Do complete search
4209              model.branchAndBound();
4210#ifdef COIN_HAS_ASL
4211              double objectiveValue=model.getMinimizationObjValue();
4212              int iStat = model.status();
4213              int iStat2 = model.secondaryStatus();
4214#endif
4215#else
4216              // Way of using an existing piece of code
4217              OsiClpSolverInterface * clpSolver = dynamic_cast< OsiClpSolverInterface*> (model.solver());
4218              ClpSimplex * lpSolver = clpSolver->getModelPtr();
4219              // set time from integer model
4220              double timeToGo = model.getMaximumSeconds();
4221              lpSolver->setMaximumSeconds(timeToGo);
4222              fakeMain(*lpSolver,*clpSolver,model);
4223#ifdef COIN_HAS_ASL
4224              // My actual usage has objective only in clpSolver
4225              double objectiveValue=clpSolver->getObjValue();
4226              int iStat = lpSolver->status();
4227              int iStat2 = lpSolver->secondaryStatus();
4228#endif
4229#endif
4230              // make sure solution back in correct place
4231              clpSolver = dynamic_cast< OsiClpSolverInterface*> (model.solver());
4232              lpSolver = clpSolver->getModelPtr();
4233#ifdef COIN_HAS_ASL
4234              if (usingAmpl) {
4235                int n = clpSolver->getNumCols();
4236                double value = objectiveValue*lpSolver->getObjSense();
4237                char buf[300];
4238                int pos=0;
4239                std::string minor[]={"","","gap","nodes","time","","solutions","user ctrl-c"};
4240                if (iStat==0) {
4241                  if (objectiveValue<1.0e40) {
4242                    pos += sprintf(buf+pos,"optimal," );
4243                  } else {
4244                    // infeasible
4245                    iStat=1;
4246                    pos += sprintf(buf+pos,"infeasible,");
4247                  }
4248                } else if (iStat==1) {
4249                  if (iStat2!=6)
4250                    iStat=3;
4251                  else
4252                    iStat=4;
4253                  pos += sprintf(buf+pos,"stopped on %s,",minor[iStat2].c_str());
4254                } else if (iStat==2) {
4255                  iStat = 7;
4256                  pos += sprintf(buf+pos,"stopped on difficulties,");
4257                } else if (iStat==5) {
4258                  iStat = 3;
4259                  pos += sprintf(buf+pos,"stopped on ctrl-c,");
4260                } else {
4261                  pos += sprintf(buf+pos,"status unknown,");
4262                  iStat=6;
4263                }
4264                info.problemStatus=iStat;
4265                info.objValue = value;
4266                if (objectiveValue<1.0e40) 
4267                  pos += sprintf(buf+pos," objective %.*g",ampl_obj_prec(),
4268                                 value);
4269                sprintf(buf+pos,"\n%d nodes, %d iterations",
4270                        model.getNodeCount(),
4271                        model.getIterationCount());
4272                if (objectiveValue<1.0e50) {
4273                  free(info.primalSolution);
4274                  info.primalSolution = (double *) malloc(n*sizeof(double));
4275                  CoinCopyN(lpSolver->primalColumnSolution(),n,info.primalSolution);
4276                  int numberRows = lpSolver->numberRows();
4277                  free(info.dualSolution);
4278                  info.dualSolution = (double *) malloc(numberRows*sizeof(double));
4279                  CoinCopyN(lpSolver->dualRowSolution(),numberRows,info.dualSolution);
4280                } else {
4281                  info.primalSolution=NULL;
4282                  info.dualSolution=NULL;
4283                }
4284                // put buffer into info
4285                strcpy(info.buffer,buf);
4286              }
4287#endif
4288            }
4289            break;
4290          case HELP:
4291            std::cout<<"Coin Solver version "<<CBCVERSION
4292                     <<", build "<<__DATE__<<std::endl;
4293            std::cout<<"Non default values:-"<<std::endl;
4294            std::cout<<"Perturbation "<<lpSolver->perturbation()<<" (default 100)"
4295                     <<std::endl;
4296            CoinReadPrintit(
4297                    "Presolve being done with 5 passes\n\
4298Dual steepest edge steep/partial on matrix shape and factorization density\n\
4299Clpnnnn taken out of messages\n\
4300If Factorization frequency default then done on size of matrix\n\n\
4301(-)unitTest, (-)netlib or (-)netlibp will do standard tests\n\n\
4302You can switch to interactive mode at any time so\n\
4303clp watson.mps -scaling off -primalsimplex\nis the same as\n\
4304clp watson.mps -\nscaling off\nprimalsimplex"
4305                    );
4306            break;
4307          case SOLUTION:
4308            if (goodModel) {
4309              // get next field
4310              field = CoinReadGetString(argc,argv);
4311              if (field=="$") {
4312                field = parameters[iParam].stringValue();
4313              } else if (field=="EOL") {
4314                parameters[iParam].printString();
4315                break;
4316              } else {
4317                parameters[iParam].setStringValue(field);
4318              }
4319              std::string fileName;
4320              FILE *fp=NULL;
4321              if (field=="-"||field=="EOL"||field=="stdout") {
4322                // stdout
4323                fp=stdout;
4324              } else if (field=="stderr") {
4325                // stderr
4326                fp=stderr;
4327              } else {
4328                if (field[0]=='/'||field[0]=='\\') {
4329                  fileName = field;
4330                } else if (field[0]=='~') {
4331                  char * environVar = getenv("HOME");
4332                  if (environVar) {
4333                    std::string home(environVar);
4334                    field=field.erase(0,1);
4335                    fileName = home+field;
4336                  } else {
4337                    fileName=field;
4338                  }
4339                } else {
4340                  fileName = directory+field;
4341                }
4342                fp=fopen(fileName.c_str(),"w");
4343              }
4344              if (fp) {
4345                // make fancy later on
4346                int iRow;
4347                int numberRows=lpSolver->numberRows();
4348                double * dualRowSolution = lpSolver->dualRowSolution();
4349                double * primalRowSolution = 
4350                  lpSolver->primalRowSolution();
4351                double * rowLower = lpSolver->rowLower();
4352                double * rowUpper = lpSolver->rowUpper();
4353                double primalTolerance = lpSolver->primalTolerance();
4354                char format[6];
4355                sprintf(format,"%%-%ds",CoinMax(lengthName,8));
4356                bool doMask = (printMask!=""&&lengthName);
4357                int * maskStarts=NULL;
4358                int maxMasks=0;
4359                char ** masks =NULL;
4360                if (doMask) {
4361                  int nAst =0;
4362                  const char * pMask2 = printMask.c_str();
4363                  char pMask[100];
4364                  int iChar;
4365                  int lengthMask = strlen(pMask2);
4366                  assert (lengthMask<100);
4367                  if (*pMask2=='"') {
4368                    if (pMask2[lengthMask-1]!='"') {
4369                      printf("mismatched \" in mask %s\n",pMask2);
4370                      break;
4371                    } else {
4372                      strcpy(pMask,pMask2+1);
4373                      *strchr(pMask,'"')='\0';
4374                    }
4375                  } else if (*pMask2=='\'') {
4376                    if (pMask2[lengthMask-1]!='\'') {
4377                      printf("mismatched ' in mask %s\n",pMask2);
4378                      break;
4379                    } else {
4380                      strcpy(pMask,pMask2+1);
4381                      *strchr(pMask,'\'')='\0';
4382                    }
4383                  } else {
4384                    strcpy(pMask,pMask2);
4385                  }
4386                  if (lengthMask>lengthName) {
4387                    printf("mask %s too long - skipping\n",pMask);
4388                    break;
4389                  }
4390                  maxMasks = 1;
4391                  for (iChar=0;iChar<lengthMask;iChar++) {
4392                    if (pMask[iChar]=='*') {
4393                      nAst++;
4394                      maxMasks *= (lengthName+1);
4395                    }
4396                  }
4397                  int nEntries = 1;
4398                  maskStarts = new int[lengthName+2];
4399                  masks = new char * [maxMasks];
4400                  char ** newMasks = new char * [maxMasks];
4401                  int i;
4402                  for (i=0;i<maxMasks;i++) {
4403                    masks[i] = new char[lengthName+1];
4404                    newMasks[i] = new char[lengthName+1];
4405                  }
4406                  strcpy(masks[0],pMask);
4407                  for (int iAst=0;iAst<nAst;iAst++) {
4408                    int nOldEntries = nEntries;
4409                    nEntries=0;
4410                    for (int iEntry = 0;iEntry<nOldEntries;iEntry++) {
4411                      char * oldMask = masks[iEntry];
4412                      char * ast = strchr(oldMask,'*');
4413                      assert (ast);
4414                      int length = strlen(oldMask)-1;
4415                      int nBefore = ast-oldMask;
4416                      int nAfter = length-nBefore;
4417                      // and add null
4418                      nAfter++;
4419                      for (int i=0;i<=lengthName-length;i++) {
4420                        char * maskOut = newMasks[nEntries];
4421                        memcpy(maskOut,oldMask,nBefore);
4422                        for (int k=0;k<i;k++) 
4423                          maskOut[k+nBefore]='?';
4424                        memcpy(maskOut+nBefore+i,ast+1,nAfter);
4425                        nEntries++;
4426                        assert (nEntries<=maxMasks);
4427                      }
4428                    }
4429                    char ** temp = masks;
4430                    masks = newMasks;
4431                    newMasks = temp;
4432                  }
4433                  // Now extend and sort
4434                  int * sort = new int[nEntries];
4435                  for (i=0;i<nEntries;i++) {
4436                    char * maskThis = masks[i];
4437                    int length = strlen(maskThis);
4438                    while (maskThis[length-1]==' ')
4439                      length--;
4440                    maskThis[length]='\0';
4441                    sort[i]=length;
4442                  }
4443                  CoinSort_2(sort,sort+nEntries,masks);
4444                  int lastLength=-1;
4445                  for (i=0;i<nEntries;i++) {
4446                    int length = sort[i];
4447                    while (length>lastLength) 
4448                      maskStarts[++lastLength] = i;
4449                  }
4450                  maskStarts[++lastLength]=nEntries;
4451                  delete [] sort;
4452                  for (i=0;i<maxMasks;i++)
4453                    delete [] newMasks[i];
4454                  delete [] newMasks;
4455                }
4456                if (printMode>2) {
4457                  for (iRow=0;iRow<numberRows;iRow++) {
4458                    int type=printMode-3;
4459                    if (primalRowSolution[iRow]>rowUpper[iRow]+primalTolerance||
4460                        primalRowSolution[iRow]<rowLower[iRow]-primalTolerance) {
4461                      fprintf(fp,"** ");
4462                      type=2;
4463                    } else if (fabs(primalRowSolution[iRow])>1.0e-8) {
4464                      type=1;
4465                    } else if (numberRows<50) {
4466                      type=3;
4467                    }
4468                    if (doMask&&!maskMatches(maskStarts,masks,rowNames[iRow]))
4469                      type =0;
4470                    if (type) {
4471                      fprintf(fp,"%7d ",iRow);
4472                      if (lengthName)
4473                        fprintf(fp,format,rowNames[iRow].c_str());
4474                      fprintf(fp,"%15.8g        %15.8g\n",primalRowSolution[iRow],
4475                              dualRowSolution[iRow]);
4476                    }
4477                  }
4478                }
4479                int iColumn;
4480                int numberColumns=lpSolver->numberColumns();
4481                double * dualColumnSolution = 
4482                  lpSolver->dualColumnSolution();
4483                double * primalColumnSolution = 
4484                  lpSolver->primalColumnSolution();
4485                double * columnLower = lpSolver->columnLower();
4486                double * columnUpper = lpSolver->columnUpper();
4487                if (printMode!=2) {
4488                  for (iColumn=0;iColumn<numberColumns;iColumn++) {
4489                    int type=(printMode>3) ? 1 :0;
4490                    if (primalColumnSolution[iColumn]>columnUpper[iColumn]+primalTolerance||
4491                        primalColumnSolution[iColumn]<columnLower[iColumn]-primalTolerance) {
4492                      fprintf(fp,"** ");
4493                      type=2;
4494                    } else if (fabs(primalColumnSolution[iColumn])>1.0e-8) {
4495                      type=1;
4496                    } else if (numberColumns<50) {
4497                      type=3;
4498                    }
4499                    // see if integer
4500                    if ((!lpSolver->isInteger(iColumn)||fabs(primalColumnSolution[iColumn])<1.0e-8)
4501                         &&printMode==1)
4502                      type=0;
4503                    if (doMask&&!maskMatches(maskStarts,masks,
4504                                             columnNames[iColumn]))
4505                      type =0;
4506                    if (type) {
4507                      fprintf(fp,"%7d ",iColumn);
4508                      if (lengthName)
4509                        fprintf(fp,format,columnNames[iColumn].c_str());
4510                      fprintf(fp,"%15.8g        %15.8g\n",
4511                              primalColumnSolution[iColumn],
4512                              dualColumnSolution[iColumn]);
4513                    }
4514                  }
4515                } else {
4516                  // special format suitable for OsiRowCutDebugger
4517                  int n=0;
4518                  bool comma=false;
4519                  bool newLine=false;
4520                  fprintf(fp,"\tint intIndicesV[]={\n");
4521                  for (iColumn=0;iColumn<numberColumns;iColumn++) {
4522                    if(primalColumnSolution[iColumn]>0.5&&model.solver()->isInteger(iColumn)) {
4523                      if (comma)
4524                        fprintf(fp,",");
4525                      if (newLine)
4526                        fprintf(fp,"\n");
4527                      fprintf(fp,"%d ",iColumn);
4528                      comma=true;
4529                      newLine=false;
4530                      n++;
4531                      if (n==10) {
4532                        n=0;
4533                        newLine=true;
4534                      }
4535                    }
4536                  }
4537                  fprintf(fp,"};\n");
4538                  n=0;
4539                  comma=false;
4540                  newLine=false;
4541                  fprintf(fp,"\tdouble intSolnV[]={\n");
4542                  for ( iColumn=0;iColumn<numberColumns;iColumn++) {
4543                    if(primalColumnSolution[iColumn]>0.5&&model.solver()->isInteger(iColumn)) {
4544                      if (comma)
4545                        fprintf(fp,",");
4546                      if (newLine)
4547                        fprintf(fp,"\n");
4548                      int value = (int) (primalColumnSolution[iColumn]+0.5);
4549                      fprintf(fp,"%d. ",value);
4550                      comma=true;
4551                      newLine=false;
4552                      n++;
4553                      if (n==10) {
4554                        n=0;
4555                        newLine=true;
4556                      }
4557                    }
4558                  }
4559                  fprintf(fp,"};\n");
4560                }
4561                if (fp!=stdout)
4562                  fclose(fp);
4563                if (masks) {
4564                  delete [] maskStarts;
4565                  for (int i=0;i<maxMasks;i++)
4566                    delete [] masks[i];
4567                  delete [] masks;
4568                }
4569              } else {
4570                std::cout<<"Unable to open file "<<fileName<<std::endl;
4571              }
4572            } else {
4573              std::cout<<"** Current model not valid"<<std::endl;
4574             
4575            }
4576            break;
4577          case SAVESOL:
4578            if (goodModel) {
4579              // get next field
4580              field = CoinReadGetString(argc,argv);
4581              if (field=="$") {
4582                field = parameters[iParam].stringValue();
4583              } else if (field=="EOL") {
4584                parameters[iParam].printString();
4585                break;
4586              } else {
4587                parameters[iParam].setStringValue(field);
4588              }
4589              std::string fileName;
4590              if (field[0]=='/'||field[0]=='\\') {
4591                fileName = field;
4592              } else if (field[0]=='~') {
4593                char * environVar = getenv("HOME");
4594                if (environVar) {
4595                  std::string home(environVar);
4596                  field=field.erase(0,1);
4597                  fileName = home+field;
4598                } else {
4599                  fileName=field;
4600                }
4601              } else {
4602                fileName = directory+field;
4603              }
4604              saveSolution(lpSolver,fileName);
4605            } else {
4606              std::cout<<"** Current model not valid"<<std::endl;
4607             
4608            }
4609            break;
4610          case DUMMY:
4611            break;
4612          default:
4613            abort();
4614          }
4615        } 
4616      } else if (!numberMatches) {
4617        std::cout<<"No match for "<<field<<" - ? for list of commands"
4618                 <<std::endl;
4619      } else if (numberMatches==1) {
4620        if (!numberQuery) {
4621          std::cout<<"Short match for "<<field<<" - completion: ";
4622          std::cout<<parameters[firstMatch].matchName()<<std::endl;
4623        } else if (numberQuery) {
4624          std::cout<<parameters[firstMatch].matchName()<<" : ";
4625          std::cout<<parameters[firstMatch].shortHelp()<<std::endl;
4626          if (numberQuery>=2) 
4627            parameters[firstMatch].printLongHelp();
4628        }
4629      } else {
4630        if (!numberQuery) 
4631          std::cout<<"Multiple matches for "<<field<<" - possible completions:"
4632                   <<std::endl;
4633        else
4634          std::cout<<"Completions of "<<field<<":"<<std::endl;
4635        for ( iParam=0; iParam<numberParameters; iParam++ ) {
4636          int match = parameters[iParam].matches(field);
4637          if (match&&parameters[iParam].displayThis()) {
4638            std::cout<<parameters[iParam].matchName();
4639            if (numberQuery>=2) 
4640              std::cout<<" : "<<parameters[iParam].shortHelp();
4641            std::cout<<std::endl;
4642          }
4643        }
4644      }
4645    }
4646  }
4647  // By now all memory should be freed
4648#ifdef DMALLOC
4649  dmalloc_log_unfreed();
4650  dmalloc_shutdown();
4651#endif
4652  return 0;
4653}   
4654static void breakdown(const char * name, int numberLook, const double * region)
4655{
4656  double range[] = {
4657    -COIN_DBL_MAX,
4658    -1.0e15,-1.0e11,-1.0e8,-1.0e5,-1.0e4,-1.0e3,-1.0e2,-1.0e1,
4659    -1.0,
4660    -1.0e-1,-1.0e-2,-1.0e-3,-1.0e-4,-1.0e-5,-1.0e-8,-1.0e-11,-1.0e-15,
4661    0.0,
4662    1.0e-15,1.0e-11,1.0e-8,1.0e-5,1.0e-4,1.0e-3,1.0e-2,1.0e-1,
4663    1.0,
4664    1.0e1,1.0e2,1.0e3,1.0e4,1.0e5,1.0e8,1.0e11,1.0e15,
4665    COIN_DBL_MAX};
4666  int nRanges = (int) (sizeof(range)/sizeof(double));
4667  int * number = new int[nRanges];
4668  memset(number,0,nRanges*sizeof(int));
4669  int * numberExact = new int[nRanges];
4670  memset(numberExact,0,nRanges*sizeof(int));
4671  int i;
4672  for ( i=0;i<numberLook;i++) {
4673    double value = region[i];
4674    for (int j=0;j<nRanges;j++) {
4675      if (value==range[j]) {
4676        numberExact[j]++;
4677        break;
4678      } else if (value<range[j]) {
4679        number[j]++;
4680        break;
4681      }
4682    }
4683  }
4684  printf("\n%s has %d entries\n",name,numberLook);
4685  for (i=0;i<nRanges;i++) {
4686    if (number[i]) 
4687      printf("%d between %g and %g",number[i],range[i-1],range[i]);
4688    if (numberExact[i]) {
4689      if (number[i])
4690        printf(", ");
4691      printf("%d exactly at %g",numberExact[i],range[i]);
4692    }
4693    if (number[i]+numberExact[i])
4694      printf("\n");
4695  }
4696  delete [] number;
4697  delete [] numberExact;
4698}
4699static void statistics(ClpSimplex * originalModel, ClpSimplex * model)
4700{
4701  int numberColumns = originalModel->numberColumns();
4702  const char * integerInformation  = originalModel->integerInformation(); 
4703  const double * columnLower = originalModel->columnLower();
4704  const double * columnUpper = originalModel->columnUpper();
4705  int numberIntegers=0;
4706  int numberBinary=0;
4707  int iRow,iColumn;
4708  if (integerInformation) {
4709    for (iColumn=0;iColumn<numberColumns;iColumn++) {
4710      if (integerInformation[iColumn]) {
4711        if (columnUpper[iColumn]>columnLower[iColumn]) {
4712          numberIntegers++;
4713          if (columnUpper[iColumn]==0.0&&columnLower[iColumn]==1) 
4714            numberBinary++;
4715        }
4716      }
4717    }
4718  }
4719  numberColumns = model->numberColumns();
4720  int numberRows = model->numberRows();
4721  columnLower = model->columnLower();
4722  columnUpper = model->columnUpper();
4723  const double * rowLower = model->rowLower();
4724  const double * rowUpper = model->rowUpper();
4725  const double * objective = model->objective();
4726  CoinPackedMatrix * matrix = model->matrix();
4727  CoinBigIndex numberElements = matrix->getNumElements();
4728  const int * columnLength = matrix->getVectorLengths();
4729  //const CoinBigIndex * columnStart = matrix->getVectorStarts();
4730  const double * elementByColumn = matrix->getElements();
4731  int * number = new int[numberRows+1];
4732  memset(number,0,(numberRows+1)*sizeof(int));
4733  int numberObjSingletons=0;
4734  /* cType
4735     0 0/inf, 1 0/up, 2 lo/inf, 3 lo/up, 4 free, 5 fix, 6 -inf/0, 7 -inf/up,
4736     8 0/1
4737  */ 
4738  int cType[9];
4739  std::string cName[]={"0.0->inf,","0.0->up,","lo->inf,","lo->up,","free,","fixed,","-inf->0.0,",
4740                       "-inf->up,","0.0->1.0"};
4741  int nObjective=0;
4742  memset(cType,0,sizeof(cType));
4743  for (iColumn=0;iColumn<numberColumns;iColumn++) {
4744    int length=columnLength[iColumn];
4745    if (length==1&&objective[iColumn])
4746      numberObjSingletons++;
4747    number[length]++;
4748    if (objective[iColumn])
4749      nObjective++;
4750    if (columnLower[iColumn]>-1.0e20) {
4751      if (columnLower[iColumn]==0.0) {
4752        if (columnUpper[iColumn]>1.0e20)
4753          cType[0]++;
4754        else if (columnUpper[iColumn]==1.0)
4755          cType[8]++;
4756        else if (columnUpper[iColumn]==0.0)
4757          cType[5]++;
4758        else
4759          cType[1]++;
4760      } else {
4761        if (columnUpper[iColumn]>1.0e20) 
4762          cType[2]++;
4763        else if (columnUpper[iColumn]==columnLower[iColumn])
4764          cType[5]++;
4765        else
4766          cType[3]++;
4767      }
4768    } else {
4769      if (columnUpper[iColumn]>1.0e20) 
4770        cType[4]++;
4771      else if (columnUpper[iColumn]==0.0) 
4772        cType[6]++;
4773      else
4774        cType[7]++;
4775    }
4776  }
4777  /* rType
4778     0 E 0, 1 E 1, 2 E -1, 3 E other, 4 G 0, 5 G 1, 6 G other,
4779     7 L 0,  8 L 1, 9 L other, 10 Range 0/1, 11 Range other, 12 free
4780  */ 
4781  int rType[13];
4782  std::string rName[]={"E 0.0,","E 1.0,","E -1.0,","E other,","G 0.0,","G 1.0,","G other,",
4783                       "L 0.0,","L 1.0,","L other,","Range 0.0->1.0,","Range other,","Free"};
4784  memset(rType,0,sizeof(rType));
4785  for (iRow=0;iRow<numberRows;iRow++) {
4786    if (rowLower[iRow]>-1.0e20) {
4787      if (rowLower[iRow]==0.0) {
4788        if (rowUpper[iRow]>1.0e20)
4789          rType[4]++;
4790        else if (rowUpper[iRow]==1.0)
4791          rType[10]++;
4792        else if (rowUpper[iRow]==0.0)
4793          rType[0]++;
4794        else
4795          rType[11]++;
4796      } else if (rowLower[iRow]==1.0) {
4797        if (rowUpper[iRow]>1.0e20) 
4798          rType[5]++;
4799        else if (rowUpper[iRow]==rowLower[iRow])
4800          rType[1]++;
4801        else
4802          rType[11]++;
4803      } else if (rowLower[iRow]==-1.0) {
4804        if (rowUpper[iRow]>1.0e20) 
4805          rType[6]++;
4806        else if (rowUpper[iRow]==rowLower[iRow])
4807          rType[2]++;
4808        else
4809          rType[11]++;
4810      } else {
4811        if (rowUpper[iRow]>1.0e20) 
4812          rType[6]++;
4813        else if (rowUpper[iRow]==rowLower[iRow])
4814          rType[3]++;
4815        else
4816          rType[11]++;
4817      }
4818    } else {
4819      if (rowUpper[iRow]>1.0e20) 
4820        rType[12]++;
4821      else if (rowUpper[iRow]==0.0) 
4822        rType[7]++;
4823      else if (rowUpper[iRow]==1.0) 
4824        rType[8]++;
4825      else
4826        rType[9]++;
4827    }
4828  }
4829  // Basic statistics
4830  printf("\n\nProblem has %d rows, %d columns (%d with objective) and %d elements\n",
4831         numberRows,numberColumns,nObjective,numberElements);
4832  if (number[0]+number[1]) {
4833    printf("There are ");
4834    if (numberObjSingletons)
4835      printf("%d singletons with objective ",numberObjSingletons);
4836    int numberNoObj = number[1]-numberObjSingletons;
4837    if (numberNoObj)
4838      printf("%d singletons with no objective ",numberNoObj);
4839    if (number[0])
4840      printf("** %d columns have no entries",number[0]);
4841    printf("\n");
4842  }
4843  printf("Column breakdown:\n");
4844  int k;
4845  for (k=0;k<(int) (sizeof(cType)/sizeof(int));k++) {
4846    printf("%d of type %s ",cType[k],cName[k].c_str());
4847    if (((k+1)%3)==0)
4848      printf("\n");
4849  }
4850  if ((k%3)!=0)
4851    printf("\n");
4852  printf("Row breakdown:\n");
4853  for (k=0;k<(int) (sizeof(rType)/sizeof(int));k++) {
4854    printf("%d of type %s ",rType[k],rName[k].c_str());
4855    if (((k+1)%3)==0)
4856      printf("\n");
4857  }
4858  if ((k%3)!=0)
4859    printf("\n");
4860  if (model->logLevel()<2)
4861    return ;
4862  int kMax = model->logLevel()>3 ? 1000000 : 10;
4863  k=0;
4864  for (iRow=1;iRow<=numberRows;iRow++) {
4865    if (number[iRow]) {
4866      k++;
4867      printf("%d columns have %d entries\n",number[iRow],iRow);
4868      if (k==kMax)
4869        break;
4870    }
4871  }
4872  if (k<numberRows) {
4873    int kk=k;
4874    k=0;
4875    for (iRow=numberRows;iRow>=1;iRow--) {
4876      if (number[iRow]) {
4877        k++;
4878        if (k==kMax)
4879          break;
4880      }
4881    }
4882    if (k>kk) {
4883      printf("\n    .........\n\n");
4884      iRow=k;
4885      k=0;
4886      for (;iRow<numberRows;iRow++) {
4887        if (number[iRow]) {
4888          k++;
4889          printf("%d columns have %d entries\n",number[iRow],iRow);
4890          if (k==kMax)
4891            break;
4892        }
4893      }
4894    }
4895  }
4896  delete [] number;
4897  printf("\n\n");
4898  // get row copy
4899  CoinPackedMatrix rowCopy = *matrix;
4900  rowCopy.reverseOrdering();
4901  //const int * column = rowCopy.getIndices();
4902  const int * rowLength = rowCopy.getVectorLengths();
4903  //const CoinBigIndex * rowStart = rowCopy.getVectorStarts();
4904  //const double * element = rowCopy.getElements();
4905  number = new int[numberColumns+1];
4906  memset(number,0,(numberColumns+1)*sizeof(int));
4907  for (iRow=0;iRow<numberRows;iRow++) {
4908    int length=rowLength[iRow];
4909    number[length]++;
4910  }
4911  if (number[0])
4912    printf("** %d rows have no entries\n",number[0]);
4913  k=0;
4914  for (iColumn=1;iColumn<=numberColumns;iColumn++) {
4915    if (number[iColumn]) {
4916      k++;
4917      printf("%d rows have %d entries\n",number[iColumn],iColumn);
4918      if (k==kMax)
4919        break;
4920    }
4921  }
4922  if (k<numberColumns) {
4923    int kk=k;
4924    k=0;
4925    for (iColumn=numberColumns;iColumn>=1;iColumn--) {
4926      if (number[iColumn]) {
4927        k++;
4928        if (k==kMax)
4929          break;
4930      }
4931    }
4932    if (k>kk) {
4933      printf("\n    .........\n\n");
4934      iColumn=k;
4935      k=0;
4936      for (;iColumn<numberColumns;iColumn++) {
4937        if (number[iColumn]) {
4938          k++;
4939          printf("%d rows have %d entries\n",number[iColumn],iColumn);
4940          if (k==kMax)
4941            break;
4942        }
4943      }
4944    }
4945  }
4946  delete [] number;
4947  // Now do breakdown of ranges
4948  breakdown("Elements",numberElements,elementByColumn);
4949  breakdown("RowLower",numberRows,rowLower);
4950  breakdown("RowUpper",numberRows,rowUpper);
4951  breakdown("ColumnLower",numberColumns,columnLower);
4952  breakdown("ColumnUpper",numberColumns,columnUpper);
4953  breakdown("Objective",numberColumns,objective);
4954}
4955static bool maskMatches(const int * starts, char ** masks,
4956                        std::string & check)
4957{
4958  // back to char as I am old fashioned
4959  const char * checkC = check.c_str();
4960  int length = strlen(checkC);
4961  while (checkC[length-1]==' ')
4962    length--;
4963  for (int i=starts[length];i<starts[length+1];i++) {
4964    char * thisMask = masks[i];
4965    int k;
4966    for ( k=0;k<length;k++) {
4967      if (thisMask[k]!='?'&&thisMask[k]!=checkC[k]) 
4968        break;
4969    }
4970    if (k==length)
4971      return true;
4972  }
4973  return false;
4974}
4975static void clean(char * temp)
4976{
4977  char * put = temp;
4978  while (*put>=' ')
4979    put++;
4980  *put='\0';
4981}
4982static void generateCode(CbcModel * model, const char * fileName,int type,int preProcess)
4983{
4984  // options on code generation
4985  bool sizecode = (type&4)!=0;
4986  type &= 3;
4987  FILE * fp = fopen(fileName,"r");
4988  assert (fp);
4989  int numberLines=0;
4990#define MAXLINES 5000
4991#define MAXONELINE 200
4992  char line[MAXLINES][MAXONELINE];
4993  strcpy(line[numberLines++],"0#if defined(_MSC_VER)");
4994  strcpy(line[numberLines++],"0// Turn off compiler warning about long names");
4995  strcpy(line[numberLines++],"0#  pragma warning(disable:4786)");
4996  strcpy(line[numberLines++],"0#endif\n");
4997  strcpy(line[numberLines++],"0#include <cassert>");
4998  strcpy(line[numberLines++],"0#include <iomanip>");
4999  strcpy(line[numberLines++],"0#include \"OsiClpSolverInterface.hpp\"");
5000  strcpy(line[numberLines++],"0#include \"CbcModel.hpp\"");
5001  strcpy(line[numberLines++],"0#include \"CbcCutGenerator.hpp\"");
5002  strcpy(line[numberLines++],"0#include \"CbcStrategy.hpp\"");
5003  strcpy(line[numberLines++],"0#include \"CglPreProcess.hpp\"");
5004  strcpy(line[numberLines++],"0#include \"CoinTime.hpp\"");
5005  if (preProcess>0) 
5006    strcpy(line[numberLines++],"0#include \"CglProbing.hpp\""); // possibly redundant
5007  // To allow generated 5's to be just before branchAndBound - do rest here
5008  strcpy(line[numberLines++],"5  cbcModel->initialSolve();");
5009  strcpy(line[numberLines++],"5  if (clpModel->tightenPrimalBounds()!=0) {");
5010  strcpy(line[numberLines++],"5    std::cout<<\"Problem is infeasible - tightenPrimalBounds!\"<<std::endl;");
5011  strcpy(line[numberLines++],"5    exit(1);");
5012  strcpy(line[numberLines++],"5  }");
5013  strcpy(line[numberLines++],"5  clpModel->dual();  // clean up");
5014  if (sizecode) {
5015    // override some settings
5016    strcpy(line[numberLines++],"5  // compute some things using problem size");
5017    strcpy(line[numberLines++],"5  cbcModel->setMinimumDrop(min(5.0e-2,");
5018    strcpy(line[numberLines++],"5       fabs(cbcModel->getMinimizationObjValue())*1.0e-3+1.0e-4));");
5019    strcpy(line[numberLines++],"5  if (cbcModel->getNumCols()<500)");
5020    strcpy(line[numberLines++],"5    cbcModel->setMaximumCutPassesAtRoot(-100); // always do 100 if possible");
5021    strcpy(line[numberLines++],"5  else if (cbcModel->getNumCols()<5000)");
5022    strcpy(line[numberLines++],"5    cbcModel->setMaximumCutPassesAtRoot(100); // use minimum drop");
5023    strcpy(line[numberLines