--- Job stein27 Start 10/03/08 07:01:04 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 --- stein27.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/stein27.gdx --- stein27.gms(148) 3 Mb --- Starting execution: elapsed 0:00:00.053 --- stein27.gms(123) 4 Mb --- Generating MIP model m --- stein27.gms(124) 4 Mb --- 119 rows 28 columns 406 non-zeroes --- 27 discrete-columns --- Executing SCIP: elapsed 0:00:00.056 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, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 118 upgd conss, 0 impls, 0 clqs presolving (2 rounds): 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0 implications, 0 cliques presolved problem has 27 variables (27 bin, 0 int, 0 impl, 0 cont) and 118 constraints 1 constraints of type 117 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 0.00 node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 36 | 228k| 0 | 1.300000e+01 | -- | Inf r 1 | 0 | 36 | 229k| 0 | 1.300000e+01 | 2.700000e+01 | 107.69% R 1 | 0 | 36 | 229k| 0 | 1.300000e+01 | 2.600000e+01 | 100.00% s 1 | 0 | 36 | 230k| 0 | 1.300000e+01 | 2.500000e+01 | 92.31% 1 | 0 | 56 | 320k| 0 | 1.300000e+01 | 2.500000e+01 | 92.31% R 1 | 0 | 56 | 321k| 0 | 1.300000e+01 | 2.400000e+01 | 84.62% s 1 | 0 | 56 | 321k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92% 1 | 0 | 76 | 362k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92% R 1 | 0 | 76 | 363k| 0 | 1.300000e+01 | 2.200000e+01 | 69.23% s 1 | 0 | 76 | 363k| 0 | 1.300000e+01 | 2.100000e+01 | 61.54% 1 | 0 | 83 | 469k| 0 | 1.300000e+01 | 2.100000e+01 | 61.54% R 1 | 0 | 83 | 469k| 0 | 1.300000e+01 | 2.000000e+01 | 53.85% s 1 | 0 | 83 | 470k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% 1 | 0 | 91 | 499k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% s 1 | 0 | 91 | 499k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1 | 0 | 99 | 538k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% 1 | 0 | 115 | 554k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% 1 | 2 | 115 | 554k| 0 | 1.300000e+01 | 1.900000e+01 | 46.15% R 7 | 6 | 198 | 558k| 6 | 1.300000e+01 | 1.800000e+01 | 38.46% s 55 | 34 | 607 | 579k| 14 | 1.300000e+01 | 1.800000e+01 | 38.46% 100 | 53 | 893 | 598k| 14 | 1.300000e+01 | 1.800000e+01 | 38.46% 200 | 85 | 1577 | 628k| 14 | 1.300000e+01 | 1.800000e+01 | 38.46% 300 | 117 | 2184 | 640k| 14 | 1.333333e+01 | 1.800000e+01 | 35.00% 400 | 151 | 2896 | 653k| 14 | 1.366667e+01 | 1.800000e+01 | 31.71% 500 | 233 | 4475 | 676k| 14 | 1.433333e+01 | 1.800000e+01 | 25.58% 600 | 297 | 5680 | 695k| 14 | 1.450000e+01 | 1.800000e+01 | 24.14% 700 | 339 | 6625 | 708k| 14 | 1.466667e+01 | 1.800000e+01 | 22.73% 800 | 387 | 7504 | 723k| 14 | 1.476667e+01 | 1.800000e+01 | 21.90% 900 | 423 | 8456 | 734k| 14 | 1.483333e+01 | 1.800000e+01 | 21.35% 1000 | 477 | 9231 | 750k| 14 | 1.488889e+01 | 1.800000e+01 | 20.90% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 1100 | 503 | 10056 | 759k| 14 | 1.500000e+01 | 1.800000e+01 | 20.00% 1200 | 513 | 10693 | 766k| 14 | 1.500000e+01 | 1.800000e+01 | 20.00% 1300 | 527 | 11440 | 772k| 14 | 1.516667e+01 | 1.800000e+01 | 18.68% 1400 | 535 | 12066 | 777k| 14 | 1.523077e+01 | 1.800000e+01 | 18.18% 1500 | 553 | 12786 | 782k| 14 | 1.533333e+01 | 1.800000e+01 | 17.39% 1600 | 563 | 13538 | 786k| 14 | 1.533333e+01 | 1.800000e+01 | 17.39% 1700 | 573 | 14185 | 791k| 14 | 1.533333e+01 | 1.800000e+01 | 17.39% 1800 | 565 | 14749 | 789k| 14 | 1.533333e+01 | 1.800000e+01 | 17.39% 1900 | 563 | 15374 | 790k| 15 | 1.550000e+01 | 1.800000e+01 | 16.13% 2000 | 567 | 16004 | 795k| 15 | 1.550000e+01 | 1.800000e+01 | 16.13% 2100 | 557 | 16578 | 792k| 15 | 1.550000e+01 | 1.800000e+01 | 16.13% 2200 | 541 | 17065 | 789k| 15 | 1.550000e+01 | 1.800000e+01 | 16.13% 2300 | 539 | 17635 | 789k| 15 | 1.554167e+01 | 1.800000e+01 | 15.82% 2400 | 543 | 18229 | 791k| 15 | 1.566667e+01 | 1.800000e+01 | 14.89% 2500 | 533 | 18781 | 789k| 15 | 1.583333e+01 | 1.800000e+01 | 13.68% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 2600 | 519 | 19279 | 784k| 16 | 1.583333e+01 | 1.800000e+01 | 13.68% 2700 | 511 | 19739 | 782k| 16 | 1.583333e+01 | 1.800000e+01 | 13.68% 2800 | 509 | 20224 | 784k| 16 | 1.583333e+01 | 1.800000e+01 | 13.68% 2900 | 491 | 20666 | 780k| 16 | 1.583333e+01 | 1.800000e+01 | 13.68% 3000 | 465 | 21173 | 772k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3100 | 449 | 21585 | 769k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3200 | 417 | 21987 | 762k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3300 | 401 | 22446 | 757k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3400 | 383 | 22872 | 754k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3500 | 361 | 23320 | 748k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3600 | 339 | 23772 | 741k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3700 | 317 | 24257 | 734k| 16 | 1.600000e+01 | 1.800000e+01 | 12.50% 3800 | 299 | 24687 | 729k| 16 | 1.616667e+01 | 1.800000e+01 | 11.34% 3900 | 267 | 25102 | 719k| 16 | 1.625000e+01 | 1.800000e+01 | 10.77% 4000 | 233 | 25526 | 707k| 16 | 1.633333e+01 | 1.800000e+01 | 10.20% node | left |LP iter| mem |mdpt | dualbound | primalbound | gap 4100 | 201 | 25942 | 697k| 16 | 1.633333e+01 | 1.800000e+01 | 10.20% 4200 | 159 | 26332 | 680k| 16 | 1.633333e+01 | 1.800000e+01 | 10.20% 4300 | 115 | 26707 | 662k| 16 | 1.650000e+01 | 1.800000e+01 | 9.09% 4400 | 59 | 27106 | 639k| 16 | 1.650000e+01 | 1.800000e+01 | 9.09% 4500 | 9 | 27503 | 613k| 16 | 1.683333e+01 | 1.800000e+01 | 6.93% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 2.27 Solving Nodes : 4515 Primal Bound : +1.80000000000000e+01 (326 solutions) Dual Bound : +1.80000000000000e+01 Gap : 0.00 % SCIP Status : problem is solved [optimal solution found] Solving Time : 2.27 Original Problem : Problem name : gamsmodel Variables : 27 (27 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 118 initial, 118 maximal Presolved Problem : Problem name : t_gamsmodel Variables : 27 (27 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 118 initial, 144 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 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 0 0 0 0 0 0 0 probing : 0.00 0 0 0 0 0 0 0 0 knapsack : 0.00 0 0 0 0 0 0 0 0 logicor : 0.00 0 0 0 0 0 0 0 0 root node : - 1 - - 1 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 2259 0 2 0 0 0 4514 knapsack : 1 6 8721 0 0 0 0 0 0 0 logicor : 117+ 6 5679 0 0 17 4818 0 0 0 countsols : 0 0 0 0 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 0.14 0.00 0.00 0.14 0.00 knapsack : 0.01 0.00 0.01 0.00 0.00 logicor : 0.03 0.00 0.03 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 0 pseudoobj : 0.01 8722 0 18 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 17 14 64 15.1 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 : - - - 32 15.4 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 5 - - 184 - (maximal pool size: 452) redcost : 0.00 2280 0 16 0 0 impliedbounds : 0.00 6 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.01 6 0 0 303 0 strongcg : 0.02 6 0 0 448 0 cmir : 0.01 6 0 0 0 0 flowcover : 0.00 6 0 0 0 0 clique : 0.00 1 0 0 0 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 : 0.14 2259 2 0 0 0 4514 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 crossover : 0.01 0 0 oneopt : 0.00 3 0 veclendiving : 0.04 64 0 coefdiving : 0.09 69 7 pscostdiving : 0.05 69 2 fracdiving : 0.03 69 1 simplerounding : 0.00 2265 173 rounding : 0.10 2265 5 shifting : 0.03 499 111 intshifting : 0.00 0 0 fixandinfer : 0.00 0 0 feaspump : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 objpscostdiving : 0.00 1 2 rootsoldiving : 0.00 5 6 linesearchdiving : 0.03 26 7 guideddiving : 0.08 56 12 octane : 0.00 0 0 rens : 0.01 0 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.00 0 0 0.00 - dual LP : 1.42 4515 20531 4.55 14458.45 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.26 1245 7044 5.66 27092.31 strong branching : 0.13 208 5232 25.15 40246.15 (at root node) : - 25 1020 40.80 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 4515 nodes (total) : 4515 nodes left : 0 max depth : 16 max depth (total): 16 backtracks : 2068 (45.8%) delayed cutoffs : 0 repropagations : 5 (3 domain reductions, 0 cutoffs) avg switch length: 9.04 switching time : 0.08 Solution : Solutions found : 326 (12 improvements) Primal Bound : +1.80000000000000e+01 (in run 1, after 55 nodes, 0.21 seconds, depth 10, found by ) Dual Bound : +1.80000000000000e+01 Gap : 0.00 % Root Dual Bound : +1.30000000000000e+01 Solving LP with fixed discrete variables... GAMS/SCIP finished. --- Restarting execution --- stein27.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job stein27.gms Stop 10/03/08 07:01:07 elapsed 0:00:02.411