| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 354.932 | 355.044 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb |
| MD5SUM | 75bd0b27f5ff05dc207afe3c3d5552d1 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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 | 4.48432 |
| 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 | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 721 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 c SCIP version 1.1.0.7
0.00/0.05 c LP-Solver Clp 1.8.2
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1868263-1245118237.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c start presolving problem
0.00/0.06 c presolving:
0.09/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.12 c presolving (3 rounds):
0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 242 implications, 22 cliques
0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.12 c 1 constraints of type <knapsack>
0.09/0.12 c 22 constraints of type <setppc>
0.09/0.12 c 2541 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.05
0.09/0.12 c SATUNSAT-LIN
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/flowcover/freq = c -1
0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/cmir/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/veclendiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/simplerounding/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/shifting/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/rounding/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/rootsoldiving/freq = c -1
0.09/0.12 c # number of nodes added to the contingent of the total nodes
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.12 c heuristics/rens/nodesofs = c 2000
0.09/0.12 c # minimum percentage of integer variables that have to be fixable
0.09/0.12 c # [type: real, range: [0,1], default: 0.5]
0.09/0.12 c heuristics/rens/minfixingrate = c 0.3
0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c heuristics/rens/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/pscostdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/oneopt/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.12 c # [type: real, range: [0,1], default: 0.01]
0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/objpscostdiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/linesearchdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/intshifting/freq = c -1
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/guideddiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/fracdiving/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/feaspump/freq = c -1
0.09/0.12 c # minimum percentage of integer variables that have to be fixed
0.09/0.12 c # [type: real, range: [0,1], default: 0.666]
0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.12 c # [type: real, range: [0,1], default: 0.1]
0.09/0.12 c heuristics/crossover/nodesquot = c 0.15
0.09/0.12 c # number of nodes without incumbent change that heuristic should wait
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.12 c # number of nodes added to the contingent of the total nodes
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.12 c heuristics/crossover/nodesofs = c 750
0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.12 c heuristics/crossover/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/coefdiving/freq = c -1
0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c presolving/probing/maxrounds = c 0
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c constraints/knapsack/disaggregation = c FALSE
0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/maxroundsroot = c 5
0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.12 c separating/maxrounds = c 1
0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c limits/solutions = c 1
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = c 1620
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = c 1791
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = c 10000
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving problem
0.09/0.12 c
0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 0 | 60 |3513k| 0 | 29 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 150 |3729k| 0 | 41 | 231 |2564 |2564 | 231 |2574 | 10 | 0 | 0 | 1.100000e+01 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 216 |4032k| 0 | 48 | 231 |2564 |2564 | 231 |2580 | 16 | 0 | 0 | 1.100000e+01 | -- | Inf
0.49/0.59 c 0.5s| 1 | 0 | 307 |4281k| 0 | 54 | 231 |2564 |2564 | 231 |2584 | 20 | 0 | 0 | 1.100000e+01 | -- | Inf
0.89/0.97 c 0.9s| 1 | 0 | 542 |4481k| 0 | 44 | 231 |2564 |2564 | 231 |2586 | 22 | 0 | 0 | 1.100000e+01 | -- | Inf
1.29/1.37 c 1.3s| 1 | 0 | 838 |4774k| 0 | 34 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 0 | 1.100000e+01 | -- | Inf
2.09/2.16 c 2.1s| 1 | 2 | 838 |4775k| 0 | 34 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 20 | 1.100000e+01 | -- | Inf
133.85/133.96 c 133s| 10000 | 720 |361988 |6910k| 58 | 26 | 231 |2979 |1261 | 231 |2568 | 24 | 933 |2652 | 1.400000e+01 | -- | Inf
224.62/224.78 c 223s| 20000 | 683 |668007 |7081k| 58 | 36 | 231 |2809 |1348 | 231 |2568 | 24 |1845 |2962 | 1.500000e+01 | -- | Inf
318.28/318.42 c 316s| 30000 | 436 |950994 |6658k| 58 | - | 231 |2996 | 838 | 231 |2568 | 24 |2618 |3712 | 1.600000e+01 | -- | Inf
354.88/355.02 c
354.88/355.02 c SCIP Status : problem is solved [infeasible]
354.88/355.02 c Solving Time (sec) : 352.67
354.88/355.02 c Solving Nodes : 34445
354.88/355.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
354.88/355.02 c Dual Bound : +1.00000000000000e+20
354.88/355.02 c Gap : 0.00 %
354.88/355.02 c NODE 34445
354.88/355.02 c DUAL BOUND 1e+20
354.88/355.02 c PRIMAL BOUND 1e+20
354.88/355.02 c GAP 0
354.88/355.02 s UNSATISFIABLE
354.88/355.02 c SCIP Status : problem is solved [infeasible]
354.88/355.02 c Solving Time : 352.67
354.88/355.02 c Original Problem :
354.88/355.02 c Problem name : HOME/instance-1868263-1245118237.opb
354.88/355.02 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
354.88/355.02 c Constraints : 2707 initial, 2707 maximal
354.88/355.02 c Presolved Problem :
354.88/355.02 c Problem name : t_HOME/instance-1868263-1245118237.opb
354.88/355.02 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
354.88/355.02 c Constraints : 2564 initial, 3051 maximal
354.88/355.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
354.88/355.02 c trivial : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c implics : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c probing : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c setppc : 0.00 0 0 0 0 0 0 0 0
354.88/355.02 c linear : 0.02 0 0 0 0 0 143 0 0
354.88/355.02 c logicor : 0.03 0 0 0 0 0 0 0 0
354.88/355.02 c root node : - 1 - - 1 - - - -
354.88/355.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
354.88/355.02 c integral : 0 0 0 18247 0 171 1642 0 0 34516
354.88/355.02 c knapsack : 1 5 73823 0 0 227 98052 0 0 0
354.88/355.02 c setppc : 22 5 73803 0 0 1022 185063 0 0 0
354.88/355.02 c logicor : 2541+ 5 64061 0 0 216 207799 0 0 0
354.88/355.02 c countsols : 0 0 0 0 0 0 0 0 0 0
354.88/355.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
354.88/355.02 c integral : 52.40 0.00 0.00 52.40 0.00
354.88/355.02 c knapsack : 0.33 0.00 0.33 0.00 0.00
354.88/355.02 c setppc : 0.73 0.00 0.73 0.00 0.00
354.88/355.02 c logicor : 4.63 0.00 4.63 0.00 0.00
354.88/355.02 c countsols : 0.00 0.00 0.00 0.00 0.00
354.88/355.02 c Propagators : Time Calls Cutoffs DomReds
354.88/355.02 c rootredcost : 0.06 0 0 0
354.88/355.02 c pseudoobj : 0.95 74038 1 0
354.88/355.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
354.88/355.02 c propagation : 0.08 1465 1464 5988 15.5 17 16.6 -
354.88/355.02 c infeasible LP : 0.90 15622 0 0 0.0 0 0.0 0
354.88/355.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
354.88/355.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
354.88/355.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
354.88/355.02 c applied globally : - - - 3090 14.2 - - -
354.88/355.02 c applied locally : - - - 4 35.0 - - -
354.88/355.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
354.88/355.02 c cut pool : 0.00 4 - - 10 - (maximal pool size: 419)
354.88/355.02 c redcost : 0.29 17467 0 0 0 0
354.88/355.02 c impliedbounds : 0.00 5 0 0 0 0
354.88/355.02 c intobj : 0.00 0 0 0 0 0
354.88/355.02 c gomory : 0.56 5 0 0 2383 0
354.88/355.02 c strongcg : 0.35 5 0 0 2500 0
354.88/355.02 c cmir : 0.00 0 0 0 0 0
354.88/355.02 c flowcover : 0.00 0 0 0 0 0
354.88/355.02 c clique : 0.00 5 0 0 0 0
354.88/355.02 c zerohalf : 0.00 0 0 0 0 0
354.88/355.02 c mcf : 0.00 1 0 0 0 0
354.88/355.02 c Pricers : Time Calls Vars
354.88/355.02 c problem variables: 0.00 0 0
354.88/355.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
354.88/355.02 c relpscost : 52.32 18247 171 1642 0 0 34516
354.88/355.02 c pscost : 0.00 0 0 0 0 0 0
354.88/355.02 c inference : 0.00 0 0 0 0 0 0
354.88/355.02 c mostinf : 0.00 0 0 0 0 0 0
354.88/355.02 c leastinf : 0.00 0 0 0 0 0 0
354.88/355.02 c fullstrong : 0.00 0 0 0 0 0 0
354.88/355.02 c allfullstrong : 0.00 0 0 0 0 0 0
354.88/355.02 c random : 0.00 0 0 0 0 0 0
354.88/355.02 c Primal Heuristics : Time Calls Found
354.88/355.02 c LP solutions : 0.00 - 0
354.88/355.02 c pseudo solutions : 0.00 - 0
354.88/355.02 c simplerounding : 0.00 0 0
354.88/355.02 c rounding : 0.00 0 0
354.88/355.02 c shifting : 0.00 0 0
354.88/355.02 c intshifting : 0.00 0 0
354.88/355.02 c oneopt : 0.00 0 0
354.88/355.02 c fixandinfer : 0.00 0 0
354.88/355.02 c feaspump : 0.00 0 0
354.88/355.02 c coefdiving : 0.00 0 0
354.88/355.02 c pscostdiving : 0.00 0 0
354.88/355.02 c fracdiving : 0.00 0 0
354.88/355.02 c veclendiving : 0.00 0 0
354.88/355.02 c intdiving : 0.00 0 0
354.88/355.02 c actconsdiving : 0.00 0 0
354.88/355.02 c objpscostdiving : 0.00 0 0
354.88/355.02 c rootsoldiving : 0.00 0 0
354.88/355.02 c linesearchdiving : 0.00 0 0
354.88/355.02 c guideddiving : 0.00 0 0
354.88/355.02 c octane : 0.00 0 0
354.88/355.02 c rens : 0.00 0 0
354.88/355.02 c rins : 0.00 0 0
354.88/355.02 c localbranching : 0.00 0 0
354.88/355.02 c mutation : 0.00 0 0
354.88/355.02 c crossover : 0.00 0 0
354.88/355.02 c dins : 0.00 0 0
354.88/355.02 c LP : Time Calls Iterations Iter/call Iter/sec
354.88/355.02 c primal LP : 0.01 0 0 0.00 0.00
354.88/355.02 c dual LP : 274.92 33802 1051188 31.10 3823.61
354.88/355.02 c barrier LP : 0.00 0 0 0.00 -
354.88/355.02 c diving/probing LP: 0.00 0 0 0.00 -
354.88/355.02 c strong branching : 51.62 4026 216473 53.77 4193.59
354.88/355.02 c (at root node) : - 20 3071 153.55 -
354.88/355.02 c conflict analysis: 0.00 0 0 0.00 -
354.88/355.02 c B&B Tree :
354.88/355.02 c number of runs : 1
354.88/355.02 c nodes : 34445
354.88/355.02 c nodes (total) : 34445
354.88/355.02 c nodes left : 0
354.88/355.02 c max depth : 58
354.88/355.02 c max depth (total): 58
354.88/355.02 c backtracks : 3803 (11.0%)
354.88/355.02 c delayed cutoffs : 72
354.88/355.02 c repropagations : 3175 (10479 domain reductions, 72 cutoffs)
354.88/355.02 c avg switch length: 4.52
354.88/355.02 c switching time : 5.39
354.88/355.02 c Solution :
354.88/355.02 c Solutions found : 0 (0 improvements)
354.88/355.02 c Primal Bound : infeasible
354.88/355.02 c Dual Bound : -
354.88/355.02 c Gap : 0.00 %
354.88/355.02 c Root Dual Bound : +1.10000000000000e+01
354.88/355.04 c Time complete: 354.92.
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-1868263-1245118237/watcher-1868263-1245118237 -o /tmp/evaluation-result-1868263-1245118237/solver-1868263-1245118237 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868263-1245118237.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 31052 /proc/meminfo: memFree=1343456/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=5812 CPUtime=0 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 179424739 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/31052/statm: 1453 503 332 1256 0 192 0 [startup+0.0681869 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31052 /proc/meminfo: memFree=1343456/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=16580 CPUtime=0.06 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 3296 0 0 0 5 1 0 0 18 0 1 0 179424739 16977920 2926 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 4145 2926 460 1256 0 2884 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16580 [startup+0.101189 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31052 /proc/meminfo: memFree=1343456/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=18752 CPUtime=0.09 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 3847 0 0 0 7 2 0 0 18 0 1 0 179424739 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.30121 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31052 /proc/meminfo: memFree=1343456/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=25204 CPUtime=0.29 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 5253 0 0 0 26 3 0 0 17 0 1 0 179424739 25808896 4883 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 6301 4883 649 1256 0 5040 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25204 [startup+0.70125 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31052 /proc/meminfo: memFree=1343456/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=28280 CPUtime=0.69 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 6005 0 0 0 65 4 0 0 20 0 1 0 179424739 28958720 5635 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 7070 5635 649 1256 0 5809 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28280 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1321880/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=32116 CPUtime=1.49 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 6773 0 0 0 145 4 0 0 25 0 1 0 179424739 32886784 6267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8029 6267 654 1256 0 6768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32116 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1320792/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=32584 CPUtime=3.09 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 8364 0 0 0 304 5 0 0 25 0 1 0 179424739 33366016 6361 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8146 6361 670 1256 0 6885 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32584 [startup+6.30283 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1320152/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=32620 CPUtime=6.29 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 10044 0 0 0 622 7 0 0 25 0 1 0 179424739 33402880 6388 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8155 6388 674 1256 0 6894 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32620 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1320152/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=32624 CPUtime=12.69 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 14352 0 0 0 1258 11 0 0 25 0 1 0 179424739 33406976 6397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8156 6397 678 1256 0 6895 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32624 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1320024/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=30212 CPUtime=25.48 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 25893 0 0 0 2528 20 0 0 25 0 1 0 179424739 30937088 6404 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 7553 6404 678 1256 0 6292 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30212 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1319704/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=30900 CPUtime=51.06 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 40643 0 0 0 5066 40 0 0 25 0 1 0 179424739 31641600 6558 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 7725 6558 678 1256 0 6464 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 30900 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1318552/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34672 CPUtime=102.25 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 63381 0 0 0 10150 75 0 0 25 0 1 0 179424739 35504128 6845 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8668 6845 678 1256 0 7407 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34672 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1318168/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=33744 CPUtime=162.24 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 95747 0 0 0 16102 122 0 0 25 0 1 0 179424739 34553856 7047 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8436 7047 678 1256 0 7175 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33744 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1317592/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=33548 CPUtime=222.21 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 99246 0 0 0 22070 151 0 0 25 0 1 0 179424739 34353152 6934 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8387 6934 678 1256 0 7126 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 33548 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316888/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34156 CPUtime=282.2 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 108116 0 0 0 28039 181 0 0 25 0 1 0 179424739 34975744 7198 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8539 7198 678 1256 0 7278 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34156 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316440/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=36288 CPUtime=342.19 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 114654 0 0 0 34007 212 0 0 25 0 1 0 179424739 37158912 7324 1992294400 4194304 9342243 548682068736 18446744073709551615 6897558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 9072 7324 678 1256 0 7811 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 36288 Solver just ended. Dumping a history of the last processes samples [startup+345.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34608 CPUtime=345.38 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 115452 0 0 0 34325 213 0 0 25 0 1 0 179424739 35438592 7295 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8652 7295 678 1256 0 7391 0 Current children cumulated CPU time (s) 345.38 Current children cumulated vsize (KiB) 34608 [startup+351.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34604 CPUtime=351.78 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 117366 0 0 0 34961 217 0 0 25 0 1 0 179424739 35434496 7287 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8651 7287 678 1256 0 7390 0 Current children cumulated CPU time (s) 351.78 Current children cumulated vsize (KiB) 34604 [startup+353.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34616 CPUtime=353.37 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 117689 0 0 0 35119 218 0 0 25 0 1 0 179424739 35446784 7293 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8654 7293 678 1256 0 7393 0 Current children cumulated CPU time (s) 353.37 Current children cumulated vsize (KiB) 34616 [startup+354.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34412 CPUtime=354.18 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 117990 0 0 0 35199 219 0 0 25 0 1 0 179424739 35237888 7268 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8603 7268 678 1256 0 7342 0 Current children cumulated CPU time (s) 354.18 Current children cumulated vsize (KiB) 34412 [startup+354.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34600 CPUtime=354.58 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 118167 0 0 0 35239 219 0 0 25 0 1 0 179424739 35430400 7285 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8650 7285 678 1256 0 7389 0 Current children cumulated CPU time (s) 354.58 Current children cumulated vsize (KiB) 34600 [startup+354.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34596 CPUtime=354.78 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 118225 0 0 0 35259 219 0 0 25 0 1 0 179424739 35426304 7285 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8649 7285 678 1256 0 7388 0 Current children cumulated CPU time (s) 354.78 Current children cumulated vsize (KiB) 34596 [startup+355.002 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31053 /proc/meminfo: memFree=1316504/2055920 swapFree=4191896/4192956 [pid=31052] ppid=31050 vsize=34080 CPUtime=354.88 /proc/31052/stat : 31052 (pbscip.linux.x8) R 31050 31052 29805 0 -1 4194304 118291 0 0 0 35268 220 0 0 25 0 1 0 179424739 34897920 7276 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31052/statm: 8520 7276 679 1256 0 7259 0 Current children cumulated CPU time (s) 354.88 Current children cumulated vsize (KiB) 34080 Child status: 0 Real time (s): 355.044 CPU time (s): 354.932 CPU user time (s): 352.725 CPU system time (s): 2.20666 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 37184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 352.725 system time used= 2.20666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118306 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= 5 involuntary context switches= 532 runsolver used 0.295955 second user time and 0.701893 second system time The end
Begin job on node2 at 2009-06-16 04:10:37 IDJOB=1868263 IDBENCH=1298 IDSOLVER=684 FILE ID=node2/1868263-1245118237 PBS_JOBID= 9363658 Free space on /tmp= 66452 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.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-1868263-1245118237/watcher-1868263-1245118237 -o /tmp/evaluation-result-1868263-1245118237/solver-1868263-1245118237 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868263-1245118237.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75bd0b27f5ff05dc207afe3c3d5552d1 RANDOM SEED=523066722 node2.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.214 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.214 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: 1343872 kB Buffers: 29928 kB Cached: 604048 kB SwapCached: 260 kB Active: 77188 kB Inactive: 570060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1343872 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 11812 kB Writeback: 0 kB Mapped: 21728 kB Slab: 50752 kB Committed_AS: 142440 kB PageTables: 1468 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= 66440 MiB End job on node2 at 2009-06-16 04:16:32