--- Job mitre Start 10/01/08 21:17:47 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 --- mitre.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/mitre.gdx --- mitre.gms(148) 5 Mb --- Starting execution: elapsed 0:00:00.094 --- mitre.gms(123) 5 Mb --- Generating MIP model m --- mitre.gms(124) 8 Mb --- 2,055 rows 9,959 columns 46,330 non-zeroes --- 9,958 discrete-columns --- mitre.gms(124) 7 Mb --- Executing SCIP: elapsed 0:00:00.287 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) 0 del vars, 398 del conss, 0 chg bounds, 0 chg sides, 1851 chg coeffs, 0 upgd conss, 0 impls, 383 clqs (round 2) 0 del vars, 459 del conss, 0 chg bounds, 0 chg sides, 1851 chg coeffs, 1590 upgd conss, 0 impls, 383 clqs (round 3) 0 del vars, 459 del conss, 0 chg bounds, 255 chg sides, 15237 chg coeffs, 1595 upgd conss, 0 impls, 383 clqs (round 4) 50 del vars, 459 del conss, 0 chg bounds, 255 chg sides, 15237 chg coeffs, 1595 upgd conss, 7992 impls, 383 clqs (round 5) 50 del vars, 467 del conss, 0 chg bounds, 259 chg sides, 15243 chg coeffs, 1595 upgd conss, 7992 impls, 383 clqs (round 6) 50 del vars, 469 del conss, 0 chg bounds, 259 chg sides, 15243 chg coeffs, 1595 upgd conss, 7992 impls, 383 clqs presolving (7 rounds): 50 deleted vars, 469 deleted constraints, 0 tightened bounds, 0 added holes, 259 changed sides, 15243 changed coefficients 7992 implications, 383 cliques presolved problem has 9908 variables (9908 bin, 0 int, 0 impl, 0 cont) and 1587 constraints 1069 constraints of type 383 constraints of type 135 constraints of type transformed objective value is always integral (scale: 15) Presolving Time: 0.77 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 5758 | 25M| 0 | 1.148522e+05 | -- | Inf 1 | 0 | 8236 | 27M| 0 | 1.150085e+05 | -- | Inf 1 | 0 | 9028 | 29M| 0 | 1.150086e+05 | -- | Inf 1 | 0 | 9686 | 30M| 0 | 1.150087e+05 | -- | Inf 1 | 0 | 10206 | 31M| 0 | 1.150339e+05 | -- | Inf 1 | 0 | 10737 | 31M| 0 | 1.150341e+05 | -- | Inf 1 | 0 | 11569 | 31M| 0 | 1.150348e+05 | -- | Inf 1 | 0 | 12632 | 32M| 0 | 1.150355e+05 | -- | Inf 1 | 0 | 13081 | 32M| 0 | 1.150913e+05 | -- | Inf 1 | 0 | 13289 | 32M| 0 | 1.150942e+05 | -- | Inf 1 | 0 | 13446 | 32M| 0 | 1.151112e+05 | -- | Inf 1 | 0 | 13508 | 32M| 0 | 1.151136e+05 | -- | Inf 1 | 0 | 13647 | 32M| 0 | 1.151180e+05 | -- | Inf 1 | 0 | 13809 | 32M| 0 | 1.151226e+05 | -- | Inf 1 | 0 | 13944 | 32M| 0 | 1.151235e+05 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 13998 | 32M| 0 | 1.151264e+05 | -- | Inf 1 | 0 | 14068 | 32M| 0 | 1.151365e+05 | -- | Inf 1 | 0 | 14139 | 32M| 0 | 1.151450e+05 | -- | Inf 1 | 0 | 14177 | 32M| 0 | 1.151450e+05 | -- | Inf 1 | 0 | 14229 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14631 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14700 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14760 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14777 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14789 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14797 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14813 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14823 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14826 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14829 | 32M| 0 | 1.151550e+05 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 14834 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14836 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14842 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14877 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14882 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14950 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14959 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14967 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14972 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14978 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14985 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14990 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 14995 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15003 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15010 | 32M| 0 | 1.151550e+05 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 15030 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15035 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15069 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15074 | 32M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15099 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15106 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15123 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15165 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15188 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15196 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15204 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15284 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15291 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15299 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15312 | 33M| 0 | 1.151550e+05 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 15324 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15336 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15370 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15395 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15407 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15438 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15446 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15466 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15477 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15482 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15495 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15505 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15514 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15522 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15538 | 33M| 0 | 1.151550e+05 | -- | Inf node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 15545 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15552 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15555 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15565 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15570 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15633 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 0 | 15634 | 33M| 0 | 1.151550e+05 | -- | Inf 1 | 2 | 15634 | 33M| 0 | 1.151550e+05 | -- | Inf R 3 | 0 | 15699 | 33M| 1 | 1.151550e+05 | 1.152000e+05 | 0.04% R 3 | 0 | 15785 | 33M| 1 | 1.151550e+05 | 1.151700e+05 | 0.01% * 4 | 0 | 15807 | 33M| 2 | 1.151550e+05 | 1.151550e+05 | 0.00% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 18.43 Solving Nodes : 4 Primal Bound : +1.15155000000000e+05 (3 solutions) Dual Bound : +1.15155000000000e+05 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 18.43 Original Problem : Problem name : gamsmodel Variables : 9958 (9958 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 2054 initial, 2054 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 9908 (9908 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 1587 initial, 1587 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.01 0 0 0 0 0 0 0 0 dualfix : 0.00 0 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.02 0 0 0 0 0 0 0 0 probing : 0.21 50 0 0 0 0 0 0 0 knapsack : 0.44 0 0 0 0 0 8 259 13392 setppc : 0.00 0 0 0 0 0 2 0 0 linear : 0.07 0 0 0 0 0 459 0 1851 logicor : 0.00 0 0 0 0 0 0 0 0 root node : - 2746 - - 2746 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 64 0 0 183 0 0 4 knapsack : 1069 52 1064 1 0 35 38 1445 0 0 setppc : 383 52 1029 1 0 15 55 0 0 0 logicor : 135 52 4 1 0 0 5 0 0 0 countsols : 0 0 0 1 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 3.50 0.00 0.00 3.50 0.00 knapsack : 0.20 0.18 0.02 0.00 0.00 setppc : 0.00 0.00 0.00 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 2 0 2548 pseudoobj : 0.07 94 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 0 0 0 0.0 0 0.0 - infeasible LP : 0.00 1 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 : - - - 0 0.0 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.14 51 - - 4125 - (maximal pool size: 4956) redcost : 0.09 62 0 406 0 0 impliedbounds : 0.02 52 0 0 29 0 intobj : 0.00 0 0 0 0 0 gomory : 1.32 52 0 0 1224 0 strongcg : 0.80 20 0 0 565 0 cmir : 1.56 10 0 0 1058 0 flowcover : 2.71 10 0 0 1254 0 clique : 0.31 52 0 0 16 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 : 3.50 63 0 183 0 0 4 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 coefdiving : 0.00 0 0 simplerounding : 0.00 0 0 rounding : 0.04 115 2 shifting : 0.46 82 0 intshifting : 0.00 0 0 oneopt : 0.01 1 0 fixandinfer : 0.00 0 0 feaspump : 0.83 1 0 pscostdiving : 0.00 0 0 fracdiving : 0.00 0 0 veclendiving : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 objpscostdiving : 0.00 0 0 rootsoldiving : 0.00 0 0 linesearchdiving : 0.00 0 0 guideddiving : 0.00 0 0 octane : 0.00 0 0 rens : 0.12 1 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 crossover : 0.00 0 0 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.60 0 0 0.00 0.00 dual LP : 4.24 117 13870 118.55 3271.23 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.47 49 1937 39.53 4121.28 strong branching : 3.50 313 9688 30.95 2768.00 (at root node) : - 246 8415 34.21 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 4 nodes (total) : 4 nodes left : 0 max depth : 2 max depth (total): 2 backtracks : 0 (0.0%) delayed cutoffs : 0 repropagations : 2 (681 domain reductions, 0 cutoffs) avg switch length: 2.50 switching time : 0.05 Solution : Solutions found : 3 (3 improvements) Primal Bound : +1.15155000000000e+05 (in run 1, after 4 nodes, 18.43 seconds, depth 2, found by ) Dual Bound : +1.15155000000000e+05 Gap : 0.00 % Root Dual Bound : +1.15155000000001e+05 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- mitre.gms(124) 0 Mb --- Reading solution for model m --- mitre.gms(124) 5 Mb *** Status: Normal completion --- Job mitre.gms Stop 10/01/08 21:18:07 elapsed 0:00:19.481