--- Job seymour1 Start 10/03/08 05:38:07 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 --- seymour1.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/seymour1.gdx --- seymour1.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.122 --- seymour1.gms(123) 5 Mb --- Generating MIP model m --- seymour1.gms(124) 7 Mb --- 4,945 rows 1,373 columns 34,922 non-zeroes --- 451 discrete-columns --- seymour1.gms(124) 7 Mb --- Executing SCIP: elapsed 0:00:00.238 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) 156 del vars, 156 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 328 impls, 0 clqs (round 2) 190 del vars, 270 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 328 impls, 0 clqs (round 3) 193 del vars, 273 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 328 impls, 0 clqs (round 4) 194 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 328 impls, 0 clqs (round 5) 196 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 493 upgd conss, 328 impls, 0 clqs (0.1s) probing: 101/303 (33.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes (0.1s) probing aborted: 100/100 successive totally useless probings presolving (6 rounds): 196 deleted vars, 277 deleted constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 346 implications, 0 cliques presolved problem has 1176 variables (303 bin, 0 int, 0 impl, 873 cont) and 4667 constraints 18 constraints of type 4174 constraints of type 475 constraints of type Presolving Time: 0.09 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 3360 |8833k| 0 | 4.038465e+02 | -- | Inf r 1 | 0 | 3360 |8858k| 0 | 4.038465e+02 | 4.638198e+02 | 14.85% R 1 | 0 | 3360 |8883k| 0 | 4.038465e+02 | 4.628198e+02 | 14.60% s 1 | 0 | 3360 |8908k| 0 | 4.038465e+02 | 4.618198e+02 | 14.36% 1 | 0 | 3683 |8945k| 0 | 4.047823e+02 | 4.618198e+02 | 14.09% r 1 | 0 | 3683 |8965k| 0 | 4.047823e+02 | 4.551498e+02 | 12.44% 1 | 0 | 3723 |8967k| 0 | 4.047993e+02 | 4.551498e+02 | 12.44% R 1 | 0 | 3723 |9006k| 0 | 4.047993e+02 | 4.541532e+02 | 12.19% i 1 | 0 | 5479 |9032k| 0 | 4.047993e+02 | 4.514338e+02 | 11.52% k 1 | 0 | 7027 |9072k| 0 | 4.047993e+02 | 4.224338e+02 | 4.36% 1 | 0 | 7027 |9051k| 0 | 4.047993e+02 | 4.224338e+02 | 4.36% 1 | 2 | 7027 |9051k| 0 | 4.047993e+02 | 4.224338e+02 | 4.36% r 21 | 20 | 16161 |9508k| 20 | 4.055922e+02 | 4.187285e+02 | 3.24% R 21 | 19 | 16161 |9528k| 20 | 4.055922e+02 | 4.177285e+02 | 2.99% R 50 | 38 | 25688 | 10M| 23 | 4.055922e+02 | 4.174686e+02 | 2.93% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap c 66 | 47 | 33827 | 10M| 23 | 4.056010e+02 | 4.167142e+02 | 2.74% c 66 | 42 | 33828 | 10M| 23 | 4.056010e+02 | 4.157142e+02 | 2.49% 100 | 68 | 42322 | 11M| 23 | 4.056010e+02 | 4.157142e+02 | 2.49% v 166 | 102 | 56653 | 11M| 24 | 4.056010e+02 | 4.156489e+02 | 2.48% o 188 | 108 | 60809 | 11M| 24 | 4.056010e+02 | 4.154931e+02 | 2.44% i 188 | 103 | 60972 | 11M| 24 | 4.056010e+02 | 4.154329e+02 | 2.42% r 197 | 78 | 62059 | 11M| 25 | 4.056010e+02 | 4.149657e+02 | 2.31% * 198 | 69 | 62347 | 11M| 26 | 4.056010e+02 | 4.146192e+02 | 2.22% 200 | 69 | 62554 | 11M| 27 | 4.056010e+02 | 4.146192e+02 | 2.22% * 203 | 60 | 63031 | 11M| 28 | 4.056010e+02 | 4.144396e+02 | 2.18% * 264 | 70 | 77368 | 11M| 28 | 4.056010e+02 | 4.143156e+02 | 2.15% 300 | 90 |116068 | 11M| 28 | 4.062953e+02 | 4.143156e+02 | 1.97% o 308 | 98 |125193 | 11M| 28 | 4.064096e+02 | 4.142025e+02 | 1.92% o 308 | 98 |125764 | 11M| 28 | 4.064096e+02 | 4.140461e+02 | 1.88% o 308 | 98 |125767 | 11M| 28 | 4.064096e+02 | 4.130461e+02 | 1.63% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap o 308 | 98 |126218 | 11M| 28 | 4.064096e+02 | 4.122115e+02 | 1.43% p 315 | 52 |134715 | 11M| 28 | 4.064096e+02 | 4.120179e+02 | 1.38% p 315 | 52 |135343 | 11M| 28 | 4.064096e+02 | 4.119922e+02 | 1.37% R 362 | 68 |163723 | 11M| 28 | 4.065623e+02 | 4.113064e+02 | 1.17% R 373 | 65 |165302 | 11M| 28 | 4.065623e+02 | 4.111952e+02 | 1.14% 400 | 62 |174379 | 11M| 28 | 4.065623e+02 | 4.111952e+02 | 1.14% 500 | 84 |232423 | 11M| 28 | 4.071258e+02 | 4.111952e+02 | 1.00% 600 | 106 |280541 | 11M| 28 | 4.073542e+02 | 4.111952e+02 | 0.94% 700 | 104 |322326 | 11M| 28 | 4.074154e+02 | 4.111952e+02 | 0.93% 800 | 118 |354015 | 11M| 28 | 4.074213e+02 | 4.111952e+02 | 0.93% 900 | 124 |389907 | 11M| 28 | 4.076914e+02 | 4.111952e+02 | 0.86% 1000 | 126 |423147 | 11M| 28 | 4.077007e+02 | 4.111952e+02 | 0.86% 1100 | 138 |463474 | 11M| 28 | 4.077289e+02 | 4.111952e+02 | 0.85% 1200 | 144 |513745 | 11M| 28 | 4.078480e+02 | 4.111952e+02 | 0.82% 1300 | 150 |550615 | 11M| 28 | 4.078723e+02 | 4.111952e+02 | 0.81% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1400 | 142 |586289 | 11M| 28 | 4.078954e+02 | 4.111952e+02 | 0.81% 1500 | 162 |628778 | 11M| 28 | 4.080267e+02 | 4.111952e+02 | 0.78% 1600 | 152 |663324 | 11M| 30 | 4.080416e+02 | 4.111952e+02 | 0.77% 1700 | 156 |701864 | 11M| 30 | 4.081041e+02 | 4.111952e+02 | 0.76% 1800 | 164 |727215 | 11M| 30 | 4.081118e+02 | 4.111952e+02 | 0.76% f 1823 | 178 |739982 | 11M| 30 | 4.081679e+02 | 4.111902e+02 | 0.74% r 1836 | 174 |743410 | 11M| 30 | 4.081679e+02 | 4.110484e+02 | 0.71% * 1838 | 157 |743797 | 11M| 30 | 4.081679e+02 | 4.107919e+02 | 0.64% 1900 | 159 |765385 | 11M| 30 | 4.081881e+02 | 4.107919e+02 | 0.64% * 1908 | 162 |766248 | 11M| 30 | 4.081881e+02 | 4.107637e+02 | 0.63% 2000 | 158 |788536 | 11M| 30 | 4.082371e+02 | 4.107637e+02 | 0.62% 2100 | 178 |822857 | 11M| 30 | 4.083154e+02 | 4.107637e+02 | 0.60% 2200 | 200 |868686 | 11M| 30 | 4.084156e+02 | 4.107637e+02 | 0.57% 2300 | 204 |893163 | 11M| 30 | 4.084570e+02 | 4.107637e+02 | 0.56% 2400 | 216 |924677 | 11M| 30 | 4.084952e+02 | 4.107637e+02 | 0.56% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 2500 | 220 |948729 | 11M| 30 | 4.085603e+02 | 4.107637e+02 | 0.54% 2600 | 210 |982327 | 11M| 30 | 4.085885e+02 | 4.107637e+02 | 0.53% 2700 | 210 | 1011k| 11M| 30 | 4.086007e+02 | 4.107637e+02 | 0.53% 2800 | 210 | 1038k| 11M| 30 | 4.086440e+02 | 4.107637e+02 | 0.52% 2900 | 208 | 1076k| 11M| 30 | 4.086787e+02 | 4.107637e+02 | 0.51% 3000 | 212 | 1110k| 11M| 30 | 4.086881e+02 | 4.107637e+02 | 0.51% 3100 | 202 | 1139k| 11M| 30 | 4.086881e+02 | 4.107637e+02 | 0.51% 3200 | 212 | 1174k| 11M| 30 | 4.088063e+02 | 4.107637e+02 | 0.48% 3300 | 196 | 1206k| 11M| 30 | 4.088429e+02 | 4.107637e+02 | 0.47% 3400 | 204 | 1240k| 11M| 30 | 4.088657e+02 | 4.107637e+02 | 0.46% 3500 | 200 | 1278k| 11M| 30 | 4.088794e+02 | 4.107637e+02 | 0.46% 3600 | 194 | 1308k| 11M| 30 | 4.089071e+02 | 4.107637e+02 | 0.45% 3700 | 186 | 1335k| 11M| 30 | 4.089304e+02 | 4.107637e+02 | 0.45% 3800 | 182 | 1370k| 11M| 30 | 4.089770e+02 | 4.107637e+02 | 0.44% 3900 | 182 | 1405k| 11M| 30 | 4.090309e+02 | 4.107637e+02 | 0.42% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 4000 | 172 | 1442k| 11M| 30 | 4.090346e+02 | 4.107637e+02 | 0.42% 4100 | 160 | 1474k| 11M| 30 | 4.090552e+02 | 4.107637e+02 | 0.42% 4200 | 156 | 1510k| 11M| 30 | 4.091807e+02 | 4.107637e+02 | 0.39% 4300 | 138 | 1545k| 11M| 30 | 4.091807e+02 | 4.107637e+02 | 0.39% C 4394 | 134 | 1581k| 11M| 30 | 4.092129e+02 | 4.107637e+02 | 0.38% 4400 | 132 | 1582k| 11M| 30 | 4.092129e+02 | 4.107637e+02 | 0.38% 4500 | 114 | 1616k| 11M| 30 | 4.092186e+02 | 4.107637e+02 | 0.38% 4600 | 104 | 1651k| 11M| 30 | 4.093436e+02 | 4.107637e+02 | 0.35% 4700 | 90 | 1685k| 11M| 30 | 4.093605e+02 | 4.107637e+02 | 0.34% 4800 | 68 | 1720k| 11M| 30 | 4.093605e+02 | 4.107637e+02 | 0.34% 4900 | 52 | 1761k| 11M| 30 | 4.095758e+02 | 4.107637e+02 | 0.29% 5000 | 32 | 1800k| 11M| 30 | 4.097602e+02 | 4.107637e+02 | 0.24% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 1317.97 Solving Nodes : 5068 Primal Bound : +4.10763701394515e+02 (588 solutions) Dual Bound : +4.10763701394515e+02 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 1317.97 Original Problem : Problem name : gamsmodel Variables : 1372 (451 binary, 0 integer, 0 implicit integer, 921 continuous) Constraints : 4944 initial, 4944 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 1176 (303 binary, 0 integer, 0 implicit integer, 873 continuous) Constraints : 4667 initial, 4667 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 37 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.02 0 0 0 0 0 0 0 0 varbound : 0.00 0 0 0 0 0 0 0 0 linear : 0.06 117 42 0 117 0 277 0 0 logicor : 0.01 0 0 0 0 0 0 0 0 root node : - 1 - - 3 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 2871 0 51 325 0 0 5250 varbound : 18 4 11129 5 0 0 843 0 0 0 linear : 4174 4 11159 5 0 0 221 0 0 0 logicor : 475 4 5164 5 0 0 3622 0 0 0 countsols : 0 0 0 5 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 262.58 0.00 0.00 262.58 0.00 varbound : 0.04 0.00 0.04 0.00 0.00 linear : 2.58 0.03 2.55 0.00 0.00 logicor : 0.06 0.00 0.06 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.01 20 0 0 pseudoobj : 0.82 11081 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 0 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.00 3 - - 0 - (maximal pool size: 10) redcost : 0.17 4575 0 19638 0 0 impliedbounds : 0.00 4 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.35 4 0 0 171 0 strongcg : 0.26 4 0 0 171 0 cmir : 0.12 4 0 0 0 0 flowcover : 0.13 4 0 0 0 0 clique : 0.00 4 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 : 262.56 2866 51 325 0 0 5250 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 - 5 pseudo solutions : 0.00 - 0 oneopt : 0.84 19 1 rootsoldiving : 12.59 8 2 veclendiving : 13.80 16 11 linesearchdiving : 12.26 16 10 pscostdiving : 12.55 16 37 fracdiving : 25.64 16 8 guideddiving : 26.86 16 8 coefdiving : 12.72 16 21 simplerounding : 0.33 2873 421 rounding : 1.14 2873 6 shifting : 0.12 299 9 intshifting : 2.32 47 2 fixandinfer : 0.00 0 0 feaspump : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 objpscostdiving : 29.28 9 40 octane : 0.00 0 0 rens : 0.08 1 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 crossover : 16.01 7 7 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.22 0 0 0.00 0.00 dual LP : 880.38 5260 1549224 294.53 1759.72 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 147.31 1424 287617 201.98 1952.46 strong branching : 262.48 1748 338391 193.59 1289.21 (at root node) : - 21 6228 296.57 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 5068 nodes (total) : 5068 nodes left : 0 max depth : 30 max depth (total): 30 backtracks : 1312 (25.9%) delayed cutoffs : 0 repropagations : 0 (0 domain reductions, 0 cutoffs) avg switch length: 4.25 switching time : 0.87 Solution : Solutions found : 588 (32 improvements) Primal Bound : +4.10763701394515e+02 (in run 1, after 4394 nodes, 1141.49 seconds, depth 10, found by ) Dual Bound : +4.10763701394515e+02 Gap : 0.00 % Root Dual Bound : +4.04799285751792e+02 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- seymour1.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job seymour1.gms Stop 10/03/08 06:00:18 elapsed 0:22:11.178