--- Job misc03 Start 10/01/08 21:16:35 GAMS Rev 228 Copyright (C) 1987-2008 GAMS Development. All rights reserved Licensee: Stefan Vigerske G080908/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- misc03.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/misc03.gdx --- misc03.gms(148) 3 Mb --- Starting execution: elapsed 0:00:00.031 --- misc03.gms(123) 4 Mb --- Generating MIP model m --- misc03.gms(124) 4 Mb --- 97 rows 161 columns 2,055 non-zeroes --- 159 discrete-columns --- Executing SCIP: elapsed 0:00:00.039 SCIP version 1.10.0 [LP solver: Clp 1.8stable] Copyright (c) 2002-2008 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) Optionfile /home/stefan/work/gams/benchmarks/LINLib.MIP/scip.opt successfully read. Starting MIP solve... presolving: (round 1) 7 del vars, 1 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 8 clqs (round 2) 7 del vars, 1 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 74 upgd conss, 0 impls, 8 clqs (round 3) 22 del vars, 1 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 74 upgd conss, 2060 impls, 8 clqs presolving (4 rounds): 22 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 2060 implications, 8 cliques presolved problem has 138 variables (138 bin, 0 int, 0 impl, 0 cont) and 95 constraints 35 constraints of type 8 constraints of type 21 constraints of type 31 constraints of type transformed objective value is always integral (scale: 5) Presolving Time: 0.05 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 34 | 629k| 0 | 1.910000e+03 | -- | Inf 1 | 0 | 353 | 727k| 0 | 1.910000e+03 | -- | Inf 1 | 0 | 362 | 910k| 0 | 1.910000e+03 | -- | Inf 1 | 0 | 380 |1027k| 0 | 2.002500e+03 | -- | Inf 1 | 0 | 390 |1347k| 0 | 2.002500e+03 | -- | Inf 1 | 0 | 443 |1603k| 0 | 2.127500e+03 | -- | Inf 1 | 0 | 499 |1791k| 0 | 2.165000e+03 | -- | Inf 1 | 0 | 555 |2045k| 0 | 2.165000e+03 | -- | Inf 1 | 0 | 607 |2217k| 0 | 2.173750e+03 | -- | Inf 1 | 0 | 630 |2401k| 0 | 2.182500e+03 | -- | Inf 1 | 0 | 654 |2434k| 0 | 2.182500e+03 | -- | Inf 1 | 0 | 677 |2642k| 0 | 2.182500e+03 | -- | Inf 1 | 0 | 685 |2708k| 0 | 2.182500e+03 | -- | Inf 1 | 0 | 727 |2893k| 0 | 2.182500e+03 | -- | Inf 1 | 0 | 759 |2939k| 0 | 2.183000e+03 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 788 |3247k| 0 | 2.183041e+03 | -- | Inf 1 | 0 | 841 |3343k| 0 | 2.185000e+03 | -- | Inf 1 | 0 | 919 |3393k| 0 | 2.185000e+03 | -- | Inf 1 | 0 | 986 |3487k| 0 | 2.185000e+03 | -- | Inf 1 | 0 | 1009 |3750k| 0 | 2.185000e+03 | -- | Inf 1 | 0 | 1014 |3770k| 0 | 2.185239e+03 | -- | Inf 1 | 0 | 1037 |3879k| 0 | 2.186250e+03 | -- | Inf 1 | 0 | 1129 |4003k| 0 | 2.200000e+03 | -- | Inf 1 | 0 | 1152 |4123k| 0 | 2.200000e+03 | -- | Inf 1 | 0 | 1238 |4265k| 0 | 2.200000e+03 | -- | Inf 1 | 0 | 1295 |4360k| 0 | 2.200795e+03 | -- | Inf 1 | 0 | 1414 |4406k| 0 | 2.205000e+03 | -- | Inf 1 | 0 | 1488 |4480k| 0 | 2.205909e+03 | -- | Inf 1 | 0 | 1501 |4500k| 0 | 2.207500e+03 | -- | Inf 1 | 0 | 1574 |4555k| 0 | 2.227500e+03 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 1609 |4658k| 0 | 2.227500e+03 | -- | Inf 1 | 0 | 1632 |4695k| 0 | 2.227809e+03 | -- | Inf 1 | 0 | 1672 |4732k| 0 | 2.229052e+03 | -- | Inf 1 | 0 | 1709 |4823k| 0 | 2.231832e+03 | -- | Inf 1 | 0 | 1741 |4867k| 0 | 2.236165e+03 | -- | Inf 1 | 0 | 1804 |4883k| 0 | 2.242500e+03 | -- | Inf 1 | 0 | 1845 |4932k| 0 | 2.242722e+03 | -- | Inf 1 | 0 | 1849 |4933k| 0 | 2.243047e+03 | -- | Inf 1 | 0 | 1883 |4936k| 0 | 2.245670e+03 | -- | Inf 1 | 2 | 1883 |4936k| 0 | 2.245670e+03 | -- | Inf * 4 | 3 | 2020 |4942k| 3 | 2.246293e+03 | 3.360000e+03 | 49.58% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 2.56 Solving Nodes : 71 Primal Bound : +3.36000000000000e+03 (1 solutions) Dual Bound : +3.36000000000000e+03 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 2.56 Original Problem : Problem name : gamsmodel Variables : 160 (159 binary, 0 integer, 0 implicit integer, 1 continuous) Constraints : 96 initial, 96 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 138 (138 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 95 initial, 96 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.00 0 0 0 0 0 0 0 0 dualfix : 0.00 6 0 0 0 0 0 0 0 boundshift : 0.00 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 implics : 0.00 0 0 0 0 0 0 0 0 probing : 0.04 15 0 0 0 0 0 0 0 knapsack : 0.00 0 0 0 0 0 0 0 0 setppc : 0.00 0 0 0 0 0 0 0 0 linear : 0.01 0 1 0 2 0 1 0 0 logicor : 0.00 0 0 0 0 0 0 0 0 root node : - 38 - - 38 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 137 0 18 229 0 0 70 knapsack : 35 39 686 1 0 0 61 0 0 0 setppc : 8 39 686 1 0 0 418 0 0 0 linear : 21 39 686 1 0 1 427 0 0 0 logicor : 31+ 39 337 1 0 15 3 0 0 0 countsols : 0 0 0 1 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 1.61 0.00 0.00 1.61 0.00 knapsack : 0.01 0.01 0.00 0.00 0.00 setppc : 0.01 0.00 0.01 0.00 0.00 linear : 0.01 0.00 0.01 0.00 0.00 logicor : 0.00 0.00 0.00 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 1 0 0 pseudoobj : 0.00 361 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 1 1 1 3.0 0 0.0 - infeasible LP : 0.00 3 0 0 0.0 0 0.0 0 bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 strong branching : 0.00 0 0 0 0.0 0 0.0 0 pseudo solution : 0.00 0 0 0 0.0 0 0.0 - applied globally : - - - 1 3.0 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.05 38 - - 424 - (maximal pool size: 1485) redcost : 0.00 192 0 1035 0 0 impliedbounds : 0.01 39 0 0 2 0 intobj : 0.00 0 0 0 0 0 gomory : 0.25 39 0 0 1222 0 strongcg : 0.14 20 0 0 813 0 cmir : 0.02 10 0 0 0 0 flowcover : 0.02 10 0 0 0 0 clique : 0.00 39 0 0 4 0 zerohalf : 0.00 0 0 0 0 0 mcf : 0.00 0 0 0 0 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 1.61 136 18 229 0 0 70 pscost : 0.00 0 0 0 0 0 0 inference : 0.00 0 0 0 0 0 0 mostinf : 0.00 0 0 0 0 0 0 leastinf : 0.00 0 0 0 0 0 0 fullstrong : 0.00 0 0 0 0 0 0 allfullstrong : 0.00 0 0 0 0 0 0 random : 0.00 0 0 0 0 0 0 Primal Heuristics : Time Calls Found LP solutions : 0.00 - 1 pseudo solutions : 0.00 - 0 pscostdiving : 0.00 0 0 fracdiving : 0.00 0 0 veclendiving : 0.00 0 0 objpscostdiving : 0.00 0 0 rootsoldiving : 0.00 0 0 linesearchdiving : 0.00 0 0 guideddiving : 0.00 0 0 crossover : 0.00 0 0 oneopt : 0.00 1 0 feaspump : 0.02 1 0 simplerounding : 0.00 0 0 rounding : 0.01 139 0 shifting : 0.04 51 0 intshifting : 0.00 0 0 fixandinfer : 0.00 0 0 coefdiving : 0.00 1 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 octane : 0.00 0 0 rens : 0.02 1 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.01 0 0 0.00 - dual LP : 0.25 191 4696 24.59 18784.00 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.02 27 311 11.52 15550.00 strong branching : 1.61 827 44754 54.12 27797.52 (at root node) : - 35 3150 90.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 71 nodes (total) : 71 nodes left : 0 max depth : 21 max depth (total): 21 backtracks : 3 (4.2%) delayed cutoffs : 0 repropagations : 1 (1 domain reductions, 0 cutoffs) avg switch length: 2.03 switching time : 0.00 Solution : Solutions found : 1 (1 improvements) Primal Bound : +3.36000000000000e+03 (in run 1, after 4 nodes, 1.02 seconds, depth 3, found by ) Dual Bound : +3.36000000000000e+03 Gap : 0.00 % Root Dual Bound : +2.24567036523347e+03 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- misc03.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job misc03.gms Stop 10/01/08 21:16:38 elapsed 0:00:02.703