| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 259.722 | 259.828 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_40.opb |
| MD5SUM | 9cbb63659aad73a7ceefd89db6573bef |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 178.368 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6148 |
| Sum of products size (including duplicates) | 12296 |
| Number of different products | 3074 |
| Sum of products size | 6148 |
0.00/0.04 c SCIP version 1.1.0.7
0.00/0.04 c LP-Solver Clp 1.8.2
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c read problem <HOME/instance-1870745-1245217991.opb>
0.00/0.04 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.04/0.07 c No objective function, only one solution is needed.
0.04/0.07 c start presolving problem
0.04/0.07 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24792 impls, 200 clqs
0.29/0.39 c presolving (2 rounds):
0.29/0.39 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39 c 24792 implications, 200 cliques
0.29/0.39 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.29/0.39 c 1 constraints of type <knapsack>
0.29/0.39 c 200 constraints of type <setppc>
0.29/0.39 c 3074 constraints of type <and>
0.29/0.39 c 1 constraints of type <linear>
0.29/0.39 c 100 constraints of type <logicor>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.16
0.29/0.39 c SATUNSAT-NLC
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c separating/flowcover/freq = c -1
0.29/0.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c separating/cmir/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/veclendiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/veclendiving/freq = c -1
0.29/0.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/simplerounding/freq = c -1
0.29/0.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/shifting/freq = c -1
0.29/0.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/rounding/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.39 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.29/0.39 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/rootsoldiving/freq = c -1
0.29/0.39 c # number of nodes added to the contingent of the total nodes
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39 c heuristics/rens/nodesofs = c 2000
0.29/0.39 c # minimum percentage of integer variables that have to be fixable
0.29/0.39 c # [type: real, range: [0,1], default: 0.5]
0.29/0.39 c heuristics/rens/minfixingrate = c 0.3
0.29/0.39 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c heuristics/rens/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/pscostdiving/freq = c -1
0.29/0.39 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/oneopt/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.39 c # [type: real, range: [0,1], default: 0.01]
0.29/0.39 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.29/0.39 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/objpscostdiving/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/linesearchdiving/freq = c -1
0.29/0.39 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/intshifting/freq = c -1
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/intdiving/maxlpiterquot = c 0.075
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/guideddiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/guideddiving/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/fracdiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/fracdiving/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/feaspump/maxlpiterofs = c 2000
0.29/0.39 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/feaspump/freq = c -1
0.29/0.39 c # minimum percentage of integer variables that have to be fixed
0.29/0.39 c # [type: real, range: [0,1], default: 0.666]
0.29/0.39 c heuristics/crossover/minfixingrate = c 0.5
0.29/0.39 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.39 c # [type: real, range: [0,1], default: 0.1]
0.29/0.39 c heuristics/crossover/nodesquot = c 0.15
0.29/0.39 c # number of nodes without incumbent change that heuristic should wait
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.39 c heuristics/crossover/nwaitingnodes = c 100
0.29/0.39 c # number of nodes added to the contingent of the total nodes
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39 c heuristics/crossover/nodesofs = c 750
0.29/0.39 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.39 c heuristics/crossover/freq = c -1
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/coefdiving/maxlpiterofs = c 1500
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.29/0.39 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/coefdiving/freq = c -1
0.29/0.39 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c presolving/probing/maxrounds = c 0
0.29/0.39 c # should presolving try to simplify knapsacks
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/knapsack/simplifyinequalities = c TRUE
0.29/0.39 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.39 c constraints/knapsack/disaggregation = c FALSE
0.29/0.39 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c constraints/knapsack/maxnumcardlift = c 0
0.29/0.39 c # should presolving try to simplify inequalities
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/linear/simplifyinequalities = c TRUE
0.29/0.39 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/maxroundsroot = c 5
0.29/0.39 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.39 c separating/maxrounds = c 1
0.29/0.39 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c limits/solutions = c 1
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/memory = c 1620
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/time = c 1791
0.29/0.39 c # frequency for displaying node information lines
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39 c display/freq = c 10000
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving problem
0.29/0.39 c
0.49/0.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.54 c 0.3s| 1 | 0 | 179 | 14M| 0 | 160 |3274 |3376 |3376 |3274 |6450 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
0.99/1.08 c 0.8s| 1 | 0 | 292 | 14M| 0 | 161 |3274 |3376 |3376 |3274 |6452 | 2 | 0 | 0 | 8.000000e+01 | -- | Inf
2.28/2.34 c 2.1s| 1 | 0 | 406 | 14M| 0 | 168 |3274 |3376 |3376 |3274 |6453 | 3 | 0 | 0 | 8.000000e+01 | -- | Inf
4.29/4.31 c 4.0s| 1 | 0 | 442 | 14M| 0 | 168 |3274 |3376 |3376 |3274 |6454 | 4 | 0 | 0 | 8.000000e+01 | -- | Inf
6.29/6.31 c 6.0s| 1 | 0 | 456 | 14M| 0 | 168 |3274 |3376 |3376 |3274 |6455 | 5 | 0 | 0 | 8.000000e+01 | -- | Inf
9.49/9.51 c 9.2s| 1 | 0 | 463 | 14M| 0 | 168 |3274 |3376 |3376 |3274 |6456 | 6 | 0 | 0 | 8.000000e+01 | -- | Inf
18.98/19.08 c 18.8s| 1 | 2 | 463 | 14M| 0 | 168 |3274 |3376 |3376 |3274 |6456 | 6 | 0 | 33 | 8.000000e+01 | -- | Inf
259.59/259.77 c
259.59/259.77 c SCIP Status : problem is solved [infeasible]
259.59/259.77 c Solving Time (sec) : 258.82
259.59/259.77 c Solving Nodes : 1091
259.59/259.77 c Primal Bound : +1.00000000000000e+20 (0 solutions)
259.59/259.77 c Dual Bound : +1.00000000000000e+20
259.59/259.77 c Gap : 0.00 %
259.59/259.77 c NODE 1091
259.59/259.77 c DUAL BOUND 1e+20
259.59/259.77 c PRIMAL BOUND 1e+20
259.59/259.77 c GAP 0
259.59/259.77 s UNSATISFIABLE
259.59/259.77 c SCIP Status : problem is solved [infeasible]
259.59/259.77 c Solving Time : 258.82
259.59/259.77 c Original Problem :
259.59/259.77 c Problem name : HOME/instance-1870745-1245217991.opb
259.59/259.77 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
259.59/259.77 c Constraints : 3376 initial, 3376 maximal
259.59/259.77 c Presolved Problem :
259.59/259.77 c Problem name : t_HOME/instance-1870745-1245217991.opb
259.59/259.77 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
259.59/259.77 c Constraints : 3376 initial, 3380 maximal
259.59/259.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
259.59/259.77 c trivial : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c dualfix : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c boundshift : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c implics : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c probing : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c knapsack : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c setppc : 0.01 0 0 0 0 0 0 0 0
259.59/259.77 c and : 0.12 0 0 0 0 0 0 0 0
259.59/259.77 c linear : 0.02 0 0 0 0 0 0 0 0
259.59/259.77 c logicor : 0.00 0 0 0 0 0 0 0 0
259.59/259.77 c root node : - 70 - - 70 - - - -
259.59/259.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
259.59/259.77 c integral : 0 0 0 573 0 8 50 0 0 1090
259.59/259.77 c knapsack : 1 5 2748 5 0 0 0 0 0 0
259.59/259.77 c setppc : 200 5 2748 5 0 2 16688 0 0 0
259.59/259.77 c and : 3074 784 2746 5 0 2 430559 270083 0 0
259.59/259.77 c linear : 1 5 2744 0 0 0 0 0 0 0
259.59/259.77 c logicor : 100+ 5 907 0 0 0 699 0 0 0
259.59/259.77 c countsols : 0 0 0 0 0 0 0 0 0 0
259.59/259.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
259.59/259.77 c integral : 88.92 0.00 0.00 88.92 0.00
259.59/259.77 c knapsack : 0.00 0.00 0.00 0.00 0.00
259.59/259.77 c setppc : 0.10 0.00 0.10 0.00 0.00
259.59/259.77 c and : 4.29 2.33 1.94 0.02 0.00
259.59/259.77 c linear : 0.03 0.00 0.03 0.00 0.00
259.59/259.77 c logicor : 0.00 0.00 0.00 0.00 0.00
259.59/259.77 c countsols : 0.00 0.00 0.00 0.00 0.00
259.59/259.77 c Propagators : Time Calls Cutoffs DomReds
259.59/259.77 c rootredcost : 0.00 0 0 0
259.59/259.77 c pseudoobj : 1.14 2775 1 0
259.59/259.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
259.59/259.77 c propagation : 0.00 4 4 4 2.5 0 0.0 -
259.59/259.77 c infeasible LP : 0.53 533 0 0 0.0 0 0.0 0
259.59/259.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
259.59/259.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
259.59/259.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
259.59/259.77 c applied globally : - - - 4 2.5 - - -
259.59/259.77 c applied locally : - - - 0 0.0 - - -
259.59/259.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss
259.59/259.77 c cut pool : 0.00 4 - - 0 - (maximal pool size: 22)
259.59/259.77 c redcost : 0.38 784 0 0 0 0
259.59/259.77 c impliedbounds : 0.00 5 0 0 0 0
259.59/259.77 c intobj : 0.00 0 0 0 0 0
259.59/259.77 c gomory : 6.03 5 0 0 642 0
259.59/259.77 c strongcg : 2.46 5 0 0 2228 0
259.59/259.77 c cmir : 0.00 0 0 0 0 0
259.59/259.77 c flowcover : 0.00 0 0 0 0 0
259.59/259.77 c clique : 0.02 5 0 0 0 0
259.59/259.77 c zerohalf : 0.00 0 0 0 0 0
259.59/259.77 c mcf : 0.05 2 0 0 0 0
259.59/259.77 c Pricers : Time Calls Vars
259.59/259.77 c problem variables: 0.00 0 0
259.59/259.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
259.59/259.77 c relpscost : 88.91 568 8 50 0 0 1090
259.59/259.77 c pscost : 0.00 0 0 0 0 0 0
259.59/259.77 c inference : 0.00 0 0 0 0 0 0
259.59/259.77 c mostinf : 0.00 0 0 0 0 0 0
259.59/259.77 c leastinf : 0.00 0 0 0 0 0 0
259.59/259.77 c fullstrong : 0.00 0 0 0 0 0 0
259.59/259.77 c allfullstrong : 0.00 0 0 0 0 0 0
259.59/259.77 c random : 0.00 0 0 0 0 0 0
259.59/259.77 c Primal Heuristics : Time Calls Found
259.59/259.77 c LP solutions : 0.00 - 0
259.59/259.77 c pseudo solutions : 0.00 - 0
259.59/259.77 c simplerounding : 0.00 0 0
259.59/259.77 c rounding : 0.00 0 0
259.59/259.77 c shifting : 0.00 0 0
259.59/259.77 c intshifting : 0.00 0 0
259.59/259.77 c oneopt : 0.00 0 0
259.59/259.77 c fixandinfer : 0.00 0 0
259.59/259.77 c feaspump : 0.00 0 0
259.59/259.77 c coefdiving : 0.00 0 0
259.59/259.77 c pscostdiving : 0.00 0 0
259.59/259.77 c fracdiving : 0.00 0 0
259.59/259.77 c veclendiving : 0.00 0 0
259.59/259.77 c intdiving : 0.00 0 0
259.59/259.77 c actconsdiving : 0.00 0 0
259.59/259.77 c objpscostdiving : 0.00 0 0
259.59/259.77 c rootsoldiving : 0.00 0 0
259.59/259.77 c linesearchdiving : 0.00 0 0
259.59/259.77 c guideddiving : 0.00 0 0
259.59/259.77 c octane : 0.00 0 0
259.59/259.77 c rens : 0.00 0 0
259.59/259.77 c rins : 0.00 0 0
259.59/259.77 c localbranching : 0.00 0 0
259.59/259.77 c mutation : 0.00 0 0
259.59/259.77 c crossover : 0.00 0 0
259.59/259.77 c dins : 0.00 0 0
259.59/259.77 c LP : Time Calls Iterations Iter/call Iter/sec
259.59/259.77 c primal LP : 19.32 0 0 0.00 0.00
259.59/259.77 c dual LP : 128.40 1867 372022 199.26 2897.37
259.59/259.77 c barrier LP : 0.00 0 0 0.00 -
259.59/259.77 c diving/probing LP: 0.00 0 0 0.00 -
259.59/259.77 c strong branching : 88.73 3473 286429 82.47 3228.10
259.59/259.77 c (at root node) : - 33 7312 221.58 -
259.59/259.77 c conflict analysis: 0.00 0 0 0.00 -
259.59/259.77 c B&B Tree :
259.59/259.77 c number of runs : 1
259.59/259.77 c nodes : 1091
259.59/259.77 c nodes (total) : 1091
259.59/259.77 c nodes left : 0
259.59/259.77 c max depth : 64
259.59/259.77 c max depth (total): 64
259.59/259.77 c backtracks : 233 (21.4%)
259.59/259.77 c delayed cutoffs : 0
259.59/259.77 c repropagations : 6 (61 domain reductions, 0 cutoffs)
259.59/259.77 c avg switch length: 5.44
259.59/259.77 c switching time : 20.71
259.59/259.77 c Solution :
259.59/259.77 c Solutions found : 0 (0 improvements)
259.59/259.77 c Primal Bound : infeasible
259.59/259.77 c Dual Bound : -
259.59/259.77 c Gap : 0.00 %
259.59/259.77 c Root Dual Bound : +8.00000000000002e+01
259.69/259.82 c Time complete: 259.71.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870745-1245217991/watcher-1870745-1245217991 -o /tmp/evaluation-result-1870745-1245217991/solver-1870745-1245217991 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870745-1245217991.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10322 /proc/meminfo: memFree=1788000/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=5812 CPUtime=0 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 189395505 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/10322/statm: 1453 502 332 1256 0 192 0 [startup+0.048909 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10322 /proc/meminfo: memFree=1788000/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=14612 CPUtime=0.04 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 2917 0 0 0 3 1 0 0 18 0 1 0 189395505 14962688 2547 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 3653 2555 406 1256 0 2392 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14612 [startup+0.101918 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10322 /proc/meminfo: memFree=1788000/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=23124 CPUtime=0.09 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 4914 0 0 0 7 2 0 0 18 0 1 0 189395505 23678976 4544 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 5781 4544 446 1256 0 4520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23124 [startup+0.301952 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10322 /proc/meminfo: memFree=1788000/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=26756 CPUtime=0.29 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 5883 0 0 0 16 13 0 0 19 0 1 0 189395505 27398144 5513 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 6689 5513 484 1256 0 5428 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26756 [startup+0.70202 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10322 /proc/meminfo: memFree=1788000/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=44740 CPUtime=0.68 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 9878 0 0 0 49 19 0 0 18 0 1 0 189395505 45813760 9475 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 11185 9475 638 1256 0 9924 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 44740 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1745304/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=51828 CPUtime=1.49 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 11912 0 0 0 128 21 0 0 25 0 1 0 189395505 53071872 11509 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 12957 11509 656 1256 0 11696 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51828 [startup+3.10143 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1742296/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=56796 CPUtime=3.08 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 12972 0 0 0 287 21 0 0 25 0 1 0 189395505 58159104 12569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 14199 12569 656 1256 0 12938 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56796 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1732440/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65112 CPUtime=6.29 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 15316 0 0 0 606 23 0 0 25 0 1 0 189395505 66674688 14913 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16278 14913 656 1256 0 15017 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65112 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1729752/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=69628 CPUtime=12.69 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 15815 0 0 0 1245 24 0 0 25 0 1 0 189395505 71299072 15115 1992294400 4194304 9342243 548682068736 18446744073709551615 6966148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 17407 15115 661 1256 0 16146 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69628 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1729432/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65112 CPUtime=25.48 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16714 0 0 0 2521 27 0 0 25 0 1 0 189395505 66674688 15246 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16278 15246 684 1256 0 15017 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65112 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1729304/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65112 CPUtime=51.06 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16733 0 0 0 5071 35 0 0 25 0 1 0 189395505 66674688 15265 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16278 15265 687 1256 0 15017 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 65112 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1729112/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65112 CPUtime=102.24 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16784 0 0 0 10175 49 0 0 25 0 1 0 189395505 66674688 15316 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16278 15316 687 1256 0 15017 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 65112 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1729048/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65112 CPUtime=162.21 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16815 0 0 0 16161 60 0 0 25 0 1 0 189395505 66674688 15347 1992294400 4194304 9342243 548682068736 18446744073709551615 6342196 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16278 15347 687 1256 0 15017 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 65112 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=222.2 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16821 0 0 0 22147 73 0 0 25 0 1 0 189395505 67174400 15353 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15353 687 1256 0 15139 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 65600 Solver just ended. Dumping a history of the last processes samples [startup+230.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=230.19 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16821 0 0 0 22945 74 0 0 25 0 1 0 189395505 67174400 15353 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15353 687 1256 0 15139 0 Current children cumulated CPU time (s) 230.19 Current children cumulated vsize (KiB) 65600 [startup+243.105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=243 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16821 0 0 0 24223 77 0 0 25 0 1 0 189395505 67174400 15353 1992294400 4194304 9342243 548682068736 18446744073709551615 4304866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15353 687 1256 0 15139 0 Current children cumulated CPU time (s) 243 Current children cumulated vsize (KiB) 65600 [startup+249.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=249.39 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16821 0 0 0 24861 78 0 0 25 0 1 0 189395505 67174400 15353 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15353 687 1256 0 15139 0 Current children cumulated CPU time (s) 249.39 Current children cumulated vsize (KiB) 65600 [startup+255.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=255.78 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16822 0 0 0 25498 80 0 0 25 0 1 0 189395505 67174400 15354 1992294400 4194304 9342243 548682068736 18446744073709551615 6951716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15354 688 1256 0 15139 0 Current children cumulated CPU time (s) 255.78 Current children cumulated vsize (KiB) 65600 [startup+257.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=257.38 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16822 0 0 0 25658 80 0 0 25 0 1 0 189395505 67174400 15354 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15354 688 1256 0 15139 0 Current children cumulated CPU time (s) 257.38 Current children cumulated vsize (KiB) 65600 [startup+259.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=258.98 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16822 0 0 0 25818 80 0 0 25 0 1 0 189395505 67174400 15354 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15354 688 1256 0 15139 0 Current children cumulated CPU time (s) 258.98 Current children cumulated vsize (KiB) 65600 [startup+259.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=259.39 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16822 0 0 0 25858 81 0 0 25 0 1 0 189395505 67174400 15354 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15354 688 1256 0 15139 0 Current children cumulated CPU time (s) 259.39 Current children cumulated vsize (KiB) 65600 [startup+259.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=259.59 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16822 0 0 0 25878 81 0 0 25 0 1 0 189395505 67174400 15354 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15354 688 1256 0 15139 0 Current children cumulated CPU time (s) 259.59 Current children cumulated vsize (KiB) 65600 [startup+259.802 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10323 /proc/meminfo: memFree=1728984/2055920 swapFree=4181252/4192956 [pid=10322] ppid=10320 vsize=65600 CPUtime=259.69 /proc/10322/stat : 10322 (pbscip.linux.x8) R 10320 10322 10080 0 -1 4194304 16826 0 0 0 25888 81 0 0 25 0 1 0 189395505 67174400 15358 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0 /proc/10322/statm: 16400 15358 692 1256 0 15139 0 Current children cumulated CPU time (s) 259.69 Current children cumulated vsize (KiB) 65600 Child status: 0 Real time (s): 259.828 CPU time (s): 259.722 CPU user time (s): 258.898 CPU system time (s): 0.823874 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 69628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 258.898 system time used= 0.823874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16831 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 480 runsolver used 0.234964 second user time and 0.508922 second system time The end
Begin job on node48 at 2009-06-17 07:53:11 IDJOB=1870745 IDBENCH=48371 IDSOLVER=684 FILE ID=node48/1870745-1245217991 PBS_JOBID= 9368414 Free space on /tmp= 66236 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_2_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870745-1245217991/watcher-1870745-1245217991 -o /tmp/evaluation-result-1870745-1245217991/solver-1870745-1245217991 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870745-1245217991.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cbb63659aad73a7ceefd89db6573bef RANDOM SEED=1489433036 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1788480 kB Buffers: 52920 kB Cached: 144864 kB SwapCached: 5468 kB Active: 102076 kB Inactive: 103528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788480 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 11804 kB Writeback: 0 kB Mapped: 13544 kB Slab: 47856 kB Committed_AS: 171552 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66224 MiB End job on node48 at 2009-06-17 07:57:31