--- Job swath2 Start 10/03/08 07:03:56 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 --- swath2.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/swath2.gdx --- swath2.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.058 --- swath2.gms(123) 5 Mb --- Generating MIP model m --- swath2.gms(124) 6 Mb --- 885 rows 6,806 columns 34,967 non-zeroes --- 2,406 discrete-columns --- swath2.gms(124) 6 Mb --- Executing SCIP: elapsed 0:00:00.155 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) 402 del vars, 402 del conss, 403 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs (round 2) 485 del vars, 402 del conss, 403 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs (6.4s) probing: 1000/2184 (45.8%) - 0 fixings, 0 aggregations, 512148 implications, 0 bound changes (13.3s) probing: 2000/2184 (91.6%) - 0 fixings, 0 aggregations, 973435 implications, 0 bound changes (13.3s) probing: 2001/2184 (91.6%) - 0 fixings, 0 aggregations, 973867 implications, 0 bound changes (13.3s) probing aborted: 2000/2000 successive useless probings presolving (3 rounds): 485 deleted vars, 402 deleted constraints, 403 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1237273 implications, 0 cliques presolved problem has 6320 variables (2184 bin, 0 int, 0 impl, 4136 cont) and 482 constraints 482 constraints of type Presolving Time: 13.35 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 110 | 56M| 0 | 3.344969e+02 | -- | Inf F 1 | 0 | 3680 | 57M| 0 | 3.344969e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3684 | 51M| 0 | 3.344969e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3688 | 51M| 0 | 3.344969e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3692 | 51M| 0 | 3.344969e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3698 | 51M| 0 | 3.344969e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3703 | 51M| 0 | 3.344970e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3709 | 52M| 0 | 3.344970e+02 | 4.083995e+02 | 22.09% 1 | 2 | 3788 | 52M| 0 | 3.344970e+02 | 4.083995e+02 | 22.09% (run 1, node 1) restarting after 520 global fixings of integer variables (restart) converted 8 cuts from the global cut pool into linear constraints presolving: (round 1) 520 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 1237273 impls, 0 clqs presolving (2 rounds): 520 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients 1237273 implications, 30 cliques presolved problem has 5800 variables (1664 bin, 0 int, 0 impl, 4136 cont) and 490 constraints 1 constraints of type 489 constraints of type Presolving Time: 13.39 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 3908 | 51M| 0 | 3.344970e+02 | 4.083995e+02 | 22.09% 1 | 0 | 3927 | 51M| 0 | 3.371318e+02 | 4.083995e+02 | 21.14% 1 | 2 | 3927 | 51M| 0 | 3.371318e+02 | 4.083995e+02 | 21.14% * 14 | 7 | 4516 | 51M| 10 | 3.383944e+02 | 3.915859e+02 | 15.72% * 22 | 10 | 4656 | 44M| 10 | 3.396270e+02 | 3.859733e+02 | 13.65% 100 | 16 | 8738 | 43M| 14 | 3.429605e+02 | 3.859733e+02 | 12.54% 200 | 24 | 11924 | 43M| 20 | 3.448766e+02 | 3.859733e+02 | 11.92% 300 | 28 | 15132 | 43M| 20 | 3.451512e+02 | 3.859733e+02 | 11.83% 400 | 36 | 18105 | 43M| 33 | 3.451512e+02 | 3.859733e+02 | 11.83% 500 | 42 | 21675 | 43M| 54 | 3.455705e+02 | 3.859733e+02 | 11.69% 600 | 46 | 25746 | 43M| 56 | 3.470574e+02 | 3.859733e+02 | 11.21% 700 | 47 | 27679 | 43M| 60 | 3.470574e+02 | 3.859733e+02 | 11.21% 800 | 59 | 29361 | 43M| 60 | 3.472149e+02 | 3.859733e+02 | 11.16% 900 | 61 | 31152 | 44M| 63 | 3.485253e+02 | 3.859733e+02 | 10.74% 1000 | 65 | 33969 | 44M| 63 | 3.485825e+02 | 3.859733e+02 | 10.73% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1100 | 75 | 36161 | 44M| 63 | 3.485825e+02 | 3.859733e+02 | 10.73% 1200 | 85 | 37369 | 44M| 63 | 3.485825e+02 | 3.859733e+02 | 10.73% 1300 | 85 | 39331 | 44M| 63 | 3.485825e+02 | 3.859733e+02 | 10.73% 1400 | 83 | 41043 | 44M| 63 | 3.508434e+02 | 3.859733e+02 | 10.01% 1500 | 81 | 42516 | 44M| 63 | 3.552154e+02 | 3.859733e+02 | 8.66% 1600 | 87 | 44236 | 44M| 63 | 3.576660e+02 | 3.859733e+02 | 7.91% 1700 | 93 | 45762 | 44M| 63 | 3.593930e+02 | 3.859733e+02 | 7.40% 1800 | 101 | 47848 | 45M| 63 | 3.598051e+02 | 3.859733e+02 | 7.27% 1900 | 105 | 49832 | 45M| 65 | 3.598051e+02 | 3.859733e+02 | 7.27% 2000 | 99 | 51448 | 45M| 65 | 3.598051e+02 | 3.859733e+02 | 7.27% 2100 | 97 | 52639 | 45M| 65 | 3.598051e+02 | 3.859733e+02 | 7.27% 2200 | 99 | 53922 | 45M| 65 | 3.598332e+02 | 3.859733e+02 | 7.26% 2300 | 97 | 55678 | 45M| 65 | 3.598332e+02 | 3.859733e+02 | 7.26% 2400 | 95 | 57162 | 45M| 65 | 3.598332e+02 | 3.859733e+02 | 7.26% 2500 | 101 | 58588 | 45M| 65 | 3.610861e+02 | 3.859733e+02 | 6.89% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 2600 | 99 | 59857 | 45M| 66 | 3.611919e+02 | 3.859733e+02 | 6.86% 2700 | 99 | 61341 | 45M| 66 | 3.612239e+02 | 3.859733e+02 | 6.85% 2800 | 97 | 62558 | 45M| 66 | 3.612239e+02 | 3.859733e+02 | 6.85% 2900 | 95 | 64121 | 45M| 70 | 3.658160e+02 | 3.859733e+02 | 5.51% 3000 | 89 | 65281 | 45M| 70 | 3.659657e+02 | 3.859733e+02 | 5.47% 3100 | 89 | 66674 | 45M| 70 | 3.666457e+02 | 3.859733e+02 | 5.27% 3200 | 85 | 68102 | 45M| 70 | 3.695979e+02 | 3.859733e+02 | 4.43% * 3203 | 82 | 68185 | 45M| 70 | 3.695979e+02 | 3.851997e+02 | 4.22% 3300 | 81 | 69776 | 44M| 70 | 3.700704e+02 | 3.851997e+02 | 4.09% 3400 | 67 | 71177 | 44M| 70 | 3.715257e+02 | 3.851997e+02 | 3.68% 3500 | 61 | 72799 | 44M| 70 | 3.725181e+02 | 3.851997e+02 | 3.40% 3600 | 47 | 74416 | 44M| 70 | 3.726612e+02 | 3.851997e+02 | 3.36% 3700 | 33 | 76218 | 44M| 70 | 3.735749e+02 | 3.851997e+02 | 3.11% 3800 | 19 | 77548 | 44M| 70 | 3.753800e+02 | 3.851997e+02 | 2.62% 3900 | 1 | 78821 | 40M| 70 | 3.844625e+02 | 3.851997e+02 | 0.19% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 104.01 Solving Nodes : 3901 (total of 3902 nodes in 2 runs) Primal Bound : +3.85199692950000e+02 (14 solutions) Dual Bound : +3.85199692950000e+02 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 104.01 Original Problem : Problem name : gamsmodel Variables : 6805 (2406 binary, 0 integer, 0 implicit integer, 4399 continuous) Constraints : 884 initial, 884 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 5800 (1664 binary, 0 integer, 0 implicit integer, 4136 continuous) Constraints : 490 initial, 603 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.00 520 0 0 0 0 0 0 0 dualfix : 0.00 83 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 : 13.29 0 0 0 0 0 0 0 0 knapsack : 0.00 0 0 0 0 0 0 0 1 linear : 0.10 401 1 0 403 0 402 0 0 logicor : 0.00 0 0 0 0 0 0 0 0 root node : - 1508 - - 5842 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 3861 0 313 2355 0 0 3908 knapsack : 1 1 13537 0 0 0 644 0 0 0 linear : 489 7 22225 3 0 78 724284 0 0 0 logicor : 0+ 0 2813 0 0 1 151 0 0 0 countsols : 0 0 0 3 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 22.82 0.00 0.00 22.82 0.00 knapsack : 0.04 0.00 0.04 0.00 0.00 linear : 22.41 0.24 22.17 0.00 0.00 logicor : 0.01 0.00 0.01 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.48 3 0 4904 pseudoobj : 4.72 14813 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.96 79 78 233 159.7 1 79.0 - infeasible LP : 0.45 837 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 : - - - 122 90.2 - - - applied locally : - - - 30 234.7 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 0 - - 0 - (maximal pool size: 11) redcost : 1.60 5439 0 115560 0 0 impliedbounds : 0.00 7 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.10 7 0 0 15 0 strongcg : 0.02 7 0 0 1 0 cmir : 0.83 7 0 0 108 0 flowcover : 0.55 7 0 0 0 0 clique : 0.57 7 0 0 1 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 : 22.79 3858 313 2355 0 0 3908 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 - 3 pseudo solutions : 0.00 - 0 oneopt : 0.02 4 0 feaspump : 1.23 1 1 crossover : 1.31 5 1 fracdiving : 0.65 17 0 linesearchdiving : 0.51 17 0 guideddiving : 1.04 17 0 rootsoldiving : 0.78 9 7 coefdiving : 1.94 18 0 objpscostdiving : 1.20 9 2 pscostdiving : 0.67 18 0 veclendiving : 0.64 18 0 simplerounding : 0.01 0 0 rounding : 0.06 784 0 shifting : 0.43 243 0 intshifting : 0.16 12 0 fixandinfer : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 octane : 0.00 0 0 rens : 0.89 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.09 0 0 0.00 0.00 dual LP : 28.65 5231 64067 12.25 2236.20 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 6.72 1067 14767 13.84 2197.47 strong branching : 22.70 3953 108592 27.47 4783.79 (at root node) : - 40 1076 26.90 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 2 nodes : 3901 nodes (total) : 3902 nodes left : 0 max depth : 70 max depth (total): 70 backtracks : 557 (14.3%) delayed cutoffs : 1 repropagations : 126 (1797 domain reductions, 1 cutoffs) avg switch length: 5.19 switching time : 1.95 Solution : Solutions found : 14 (4 improvements) Primal Bound : +3.85199692950000e+02 (in run 2, after 3203 nodes, 94.02 seconds, depth 12, found by ) Dual Bound : +3.85199692950000e+02 Gap : 0.00 % Root Dual Bound : +3.37131844933333e+02 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- swath2.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job swath2.gms Stop 10/03/08 07:05:42 elapsed 0:01:45.608