--- Job acc-tight-3 Start 10/01/08 10:02: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 --- acc-tight-3.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/acc-tight-3.gdx --- acc-tight-3.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.058 --- acc-tight-3.gms(123) 4 Mb --- Generating MIP model m --- acc-tight-3.gms(124) 5 Mb --- 3,048 rows 1,336 columns 16,110 non-zeroes --- 1,335 discrete-columns --- acc-tight-3.gms(124) 5 Mb --- Executing SCIP: elapsed 0:00:00.157 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) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5150 impls, 489 clqs (round 2) 27 del vars, 31 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5150 impls, 488 clqs (round 3) 27 del vars, 43 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5150 impls, 488 clqs (round 4) 27 del vars, 72 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 2920 upgd conss, 5150 impls, 488 clqs (round 5) 28 del vars, 74 del conss, 12 chg bounds, 82 chg sides, 552 chg coeffs, 2920 upgd conss, 5246 impls, 523 clqs (round 6) 40 del vars, 131 del conss, 12 chg bounds, 82 chg sides, 552 chg coeffs, 2927 upgd conss, 5246 impls, 521 clqs (round 7) 40 del vars, 138 del conss, 12 chg bounds, 82 chg sides, 552 chg coeffs, 2927 upgd conss, 5246 impls, 521 clqs (round 8) 40 del vars, 211 del conss, 12 chg bounds, 82 chg sides, 552 chg coeffs, 2927 upgd conss, 5246 impls, 521 clqs (round 9) 127 del vars, 211 del conss, 12 chg bounds, 82 chg sides, 552 chg coeffs, 2927 upgd conss, 6880 impls, 491 clqs (round 10) 127 del vars, 348 del conss, 12 chg bounds, 85 chg sides, 564 chg coeffs, 2927 upgd conss, 6880 impls, 494 clqs (round 11) 127 del vars, 365 del conss, 12 chg bounds, 85 chg sides, 564 chg coeffs, 2927 upgd conss, 6880 impls, 494 clqs (round 12) 177 del vars, 365 del conss, 12 chg bounds, 85 chg sides, 564 chg coeffs, 2927 upgd conss, 54084 impls, 488 clqs (round 13) 178 del vars, 417 del conss, 12 chg bounds, 100 chg sides, 676 chg coeffs, 2927 upgd conss, 54240 impls, 497 clqs (round 14) 178 del vars, 439 del conss, 12 chg bounds, 108 chg sides, 752 chg coeffs, 2928 upgd conss, 54240 impls, 504 clqs (round 15) 178 del vars, 444 del conss, 12 chg bounds, 108 chg sides, 752 chg coeffs, 2928 upgd conss, 54240 impls, 504 clqs (round 16) 178 del vars, 471 del conss, 12 chg bounds, 108 chg sides, 752 chg coeffs, 2928 upgd conss, 54240 impls, 504 clqs (0.8s) probing: 1000/1295 (77.2%) - 134 fixings, 39 aggregations, 22588 implications, 0 bound changes (round 17) 234 del vars, 471 del conss, 12 chg bounds, 108 chg sides, 752 chg coeffs, 2928 upgd conss, 77914 impls, 489 clqs (round 18) 235 del vars, 539 del conss, 12 chg bounds, 123 chg sides, 870 chg coeffs, 2928 upgd conss, 77934 impls, 501 clqs (round 19) 235 del vars, 558 del conss, 12 chg bounds, 131 chg sides, 920 chg coeffs, 2928 upgd conss, 77934 impls, 506 clqs (round 20) 235 del vars, 562 del conss, 12 chg bounds, 131 chg sides, 923 chg coeffs, 2928 upgd conss, 77934 impls, 506 clqs (round 21) 235 del vars, 562 del conss, 12 chg bounds, 131 chg sides, 926 chg coeffs, 2928 upgd conss, 77934 impls, 506 clqs (round 22) 235 del vars, 562 del conss, 12 chg bounds, 131 chg sides, 929 chg coeffs, 2928 upgd conss, 77934 impls, 506 clqs (round 23) 235 del vars, 562 del conss, 12 chg bounds, 131 chg sides, 932 chg coeffs, 2928 upgd conss, 77934 impls, 506 clqs (round 24) 285 del vars, 562 del conss, 12 chg bounds, 131 chg sides, 934 chg coeffs, 2928 upgd conss, 83222 impls, 498 clqs (round 25) 287 del vars, 591 del conss, 12 chg bounds, 138 chg sides, 980 chg coeffs, 2928 upgd conss, 83222 impls, 502 clqs (round 26) 287 del vars, 606 del conss, 12 chg bounds, 138 chg sides, 986 chg coeffs, 2929 upgd conss, 83222 impls, 502 clqs (round 27) 287 del vars, 607 del conss, 12 chg bounds, 138 chg sides, 988 chg coeffs, 2929 upgd conss, 83222 impls, 502 clqs (round 28) 310 del vars, 607 del conss, 12 chg bounds, 138 chg sides, 988 chg coeffs, 2929 upgd conss, 84410 impls, 500 clqs (round 29) 311 del vars, 623 del conss, 12 chg bounds, 138 chg sides, 988 chg coeffs, 2929 upgd conss, 84412 impls, 499 clqs (round 30) 311 del vars, 626 del conss, 12 chg bounds, 138 chg sides, 988 chg coeffs, 2934 upgd conss, 84412 impls, 499 clqs (round 31) 311 del vars, 633 del conss, 12 chg bounds, 138 chg sides, 988 chg coeffs, 2934 upgd conss, 84412 impls, 499 clqs presolving (32 rounds): 311 deleted vars, 633 deleted constraints, 12 tightened bounds, 0 added holes, 138 changed sides, 988 changed coefficients 84412 implications, 499 cliques presolved problem has 1024 variables (1024 bin, 0 int, 0 impl, 0 cont) and 2543 constraints 377 constraints of type 455 constraints of type 40 constraints of type 1671 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 1.07 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 1521 |8015k| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 15462 | 14M| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 19078 | 21M| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 22265 | 27M| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 24572 | 34M| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 27273 | 41M| 0 | 0.000000e+00 | -- | Inf 1 | 0 | 31144 | 47M| 0 | 0.000000e+00 | -- | Inf 1 | 2 | 31144 | 47M| 0 | 0.000000e+00 | -- | Inf R 85 | 0 | 69493 | 47M| 20 | 0.000000e+00 | 0.000000e+00 | 0.00% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 117.44 Solving Nodes : 85 Primal Bound : +0.00000000000000e+00 (1 solutions) Dual Bound : +0.00000000000000e+00 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 117.44 Original Problem : Problem name : gamsmodel Variables : 1335 (1335 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 3047 initial, 3047 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 1024 (1024 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 2543 initial, 2543 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.00 18 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.00 0 1 0 0 0 0 0 0 probing : 0.54 176 90 0 0 0 0 0 0 knapsack : 0.27 0 0 0 0 0 68 129 988 setppc : 0.05 0 2 0 0 0 169 0 0 linear : 0.10 12 6 0 12 0 73 9 0 logicor : 0.10 6 0 0 0 0 323 0 0 root node : - 0 - - 0 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 56 0 0 0 0 0 112 knapsack : 377 6 4467 0 0 1 0 0 0 0 setppc : 455 6 4466 0 0 44 482 0 0 0 linear : 40 6 4422 0 0 7 17 0 0 0 logicor : 1671 6 3388 0 0 11 1226 0 0 0 countsols : 0 0 0 0 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 73.55 0.00 0.00 73.55 0.00 knapsack : 0.04 0.01 0.03 0.00 0.00 setppc : 0.07 0.01 0.06 0.00 0.00 linear : 0.01 0.00 0.01 0.00 0.00 logicor : 0.07 0.00 0.07 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.00 0 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.01 28 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 1 1 1 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.02 5 - - 0 - (maximal pool size: 2829) redcost : 0.00 61 0 0 0 0 impliedbounds : 0.00 6 0 0 42 0 intobj : 0.00 0 0 0 0 0 gomory : 4.04 6 0 0 0 0 strongcg : 1.92 6 0 0 3000 0 cmir : 0.10 6 0 0 0 0 flowcover : 0.08 6 0 0 0 0 clique : 0.13 6 0 0 48 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 : 73.55 56 0 0 0 0 112 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 - 0 pseudo solutions : 0.00 - 0 oneopt : 0.00 0 0 coefdiving : 0.00 0 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 feaspump : 4.49 1 0 simplerounding : 0.00 0 0 rounding : 0.02 63 1 shifting : 0.03 12 0 intshifting : 0.00 0 0 fixandinfer : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 octane : 0.00 0 0 rens : 0.92 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.12 0 0 0.00 0.00 dual LP : 30.75 114 58994 517.49 1918.50 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 4.48 7 10499 1499.86 2343.53 strong branching : 73.54 589 144542 245.40 1965.49 (at root node) : - 30 7440 248.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 85 nodes (total) : 85 nodes left : 0 max depth : 20 max depth (total): 20 backtracks : 9 (10.6%) delayed cutoffs : 0 repropagations : 0 (0 domain reductions, 0 cutoffs) avg switch length: 2.49 switching time : 0.13 Solution : Solutions found : 1 (1 improvements) Primal Bound : +0.00000000000000e+00 (in run 1, after 85 nodes, 117.44 seconds, depth 17, found by ) Dual Bound : +0.00000000000000e+00 Gap : 0.00 % Root Dual Bound : +0.00000000000000e+00 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- acc-tight-3.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job acc-tight-3.gms Stop 10/01/08 10:04:33 elapsed 0:01:58.195