| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 116.708 | 116.739 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb |
| MD5SUM | 8bda8bcfdd3d0bef04b7cb75764a0af7 |
| 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 | 26.8869 |
| 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 | 100 |
| Total number of constraints | 152 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| 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 | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2952 |
| Sum of products size (including duplicates) | 5904 |
| Number of different products | 1476 |
| Sum of products size | 2952 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666345-1276683000.opb>
0.00/0.03 c original problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1628 constraints
0.00/0.03 c problem read
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 11908 impls, 100 clqs
0.39/0.42 c presolving (2 rounds):
0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 11908 implications, 100 cliques
0.39/0.42 c presolved problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1628 constraints
0.39/0.42 c 1 constraints of type <knapsack>
0.39/0.42 c 100 constraints of type <setppc>
0.39/0.42 c 1476 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 50 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.22
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.98
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c limits/solutions = 1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42 c separating/maxrounds = 1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/maxroundsroot = 5
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42 c constraints/knapsack/disaggregation = FALSE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c presolving/probing/maxrounds = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/coefdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42 c heuristics/crossover/freq = -1
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/crossover/nodesofs = 750
0.39/0.42 c
0.39/0.42 c # number of nodes without incumbent change that heuristic should wait
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42 c heuristics/crossover/nwaitingnodes = 100
0.39/0.42 c
0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42 c # [type: real, range: [0,1], default: 0.1]
0.39/0.42 c heuristics/crossover/nodesquot = 0.15
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixed
0.39/0.42 c # [type: real, range: [0,1], default: 0.666]
0.39/0.42 c heuristics/crossover/minfixingrate = 0.5
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/feaspump/freq = -1
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/fracdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/guideddiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/intshifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/linesearchdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/nlp/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/objpscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42 c # [type: real, range: [0,1], default: 0.01]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/oneopt/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/pscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/rens/freq = -1
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixable
0.39/0.42 c # [type: real, range: [0,1], default: 0.5]
0.39/0.42 c heuristics/rens/minfixingrate = 0.3
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/rens/nodesofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/rootsoldiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/rounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/shifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/simplerounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/trivial/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/trysol/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/veclendiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/zirounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/cmir/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/flowcover/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.5s| 1 | 0 | 641 | - |7218k| 0 | 356 |1576 |1628 |1576 |3104 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.19/3.26 c 2.8s| 1 | 0 | 854 | - |8875k| 0 | 349 |1576 |1853 |1576 |3130 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
4.69/4.76 c 4.3s| 1 | 0 | 1121 | - |9309k| 0 | 353 |1576 |1853 |1576 |3141 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
6.29/6.31 c 5.8s| 1 | 0 | 1297 | - |9973k| 0 | 355 |1576 |1853 |1576 |3157 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
7.59/7.64 c 7.2s| 1 | 0 | 1444 | - | 10M| 0 | 344 |1576 |1853 |1576 |3165 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
8.80/8.87 c 8.4s| 1 | 0 | 1616 | - | 12M| 0 | 353 |1576 |1853 |1576 |3171 | 67 | 0 | 0 | 0.000000e+00 | -- | Inf
16.18/16.22 c 15.7s| 1 | 2 | 1616 | - | 12M| 0 | 353 |1576 |1853 |1576 |3171 | 67 | 0 | 10 | 0.000000e+00 | -- | Inf
116.67/116.71 c
116.67/116.71 c SCIP Status : problem is solved [infeasible]
116.67/116.71 c Solving Time (sec) : 115.00
116.67/116.71 c Solving Nodes : 342
116.67/116.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
116.67/116.71 c Dual Bound : +1.00000000000000e+20
116.67/116.71 c Gap : 0.00 %
116.67/116.71 s UNSATISFIABLE
116.67/116.71 c SCIP Status : problem is solved [infeasible]
116.67/116.71 c Solving Time : 115.00
116.67/116.71 c Original Problem :
116.67/116.71 c Problem name : HOME/instance-2666345-1276683000.opb
116.67/116.71 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
116.67/116.71 c Constraints : 1628 initial, 1628 maximal
116.67/116.71 c Presolved Problem :
116.67/116.71 c Problem name : t_HOME/instance-2666345-1276683000.opb
116.67/116.71 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
116.67/116.71 c Constraints : 1628 initial, 2082 maximal
116.67/116.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
116.67/116.71 c trivial : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c implics : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c probing : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c knapsack : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c setppc : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c and : 0.20 0 0 0 0 0 0 0 0
116.67/116.71 c linear : 0.01 0 0 0 0 0 0 0 0
116.67/116.71 c logicor : 0.00 0 0 0 0 0 0 0 0
116.67/116.71 c root node : - 399 - - 399 - - - -
116.67/116.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
116.67/116.71 c integral : 0 0 0 224 0 2 150 0 0 348
116.67/116.71 c knapsack : 1 5 1806 0 0 1 0 0 0 0
116.67/116.71 c setppc : 100 5 1805 0 0 1 526 0 0 0
116.67/116.71 c and : 1476 289 1804 0 0 0 20686 36616 0 0
116.67/116.71 c linear : 1+ 6 1804 0 0 0 66 0 0 0
116.67/116.71 c logicor : 50+ 5 408 0 0 3 338 0 0 0
116.67/116.71 c countsols : 0 0 0 0 0 0 0 0 0 0
116.67/116.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
116.67/116.71 c integral : 58.93 0.00 0.00 58.93 0.00
116.67/116.71 c knapsack : 0.02 0.00 0.02 0.00 0.00
116.67/116.71 c setppc : 0.02 0.00 0.02 0.00 0.00
116.67/116.71 c and : 0.57 0.41 0.16 0.00 0.00
116.67/116.71 c linear : 0.06 0.01 0.05 0.00 0.00
116.67/116.71 c logicor : 0.01 0.00 0.01 0.00 0.00
116.67/116.71 c countsols : 0.00 0.00 0.00 0.00 0.00
116.67/116.71 c Propagators : Time Calls Cutoffs DomReds
116.67/116.71 c vbounds : 0.00 1 0 0
116.67/116.71 c rootredcost : 0.01 0 0 0
116.67/116.71 c pseudoobj : 0.00 0 0 0
116.67/116.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
116.67/116.71 c propagation : 0.00 5 3 9 10.3 0 0.0 -
116.67/116.71 c infeasible LP : 0.17 163 156 679 12.3 0 0.0 0
116.67/116.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
116.67/116.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
116.67/116.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
116.67/116.71 c applied globally : - - - 230 9.9 - - -
116.67/116.71 c applied locally : - - - 0 0.0 - - -
116.67/116.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
116.67/116.71 c cut pool : 0.00 4 - - 0 - (maximal pool size: 606)
116.67/116.71 c redcost : 0.01 289 0 0 0 0
116.67/116.71 c impliedbounds : 0.02 5 0 0 54 0
116.67/116.71 c intobj : 0.00 0 0 0 0 0
116.67/116.71 c cgmip : 0.00 0 0 0 0 0
116.67/116.71 c gomory : 3.65 5 0 0 0 0
116.67/116.71 c strongcg : 2.85 5 0 0 2500 0
116.67/116.71 c cmir : 0.00 0 0 0 0 0
116.67/116.71 c flowcover : 0.00 0 0 0 0 0
116.67/116.71 c clique : 0.03 5 0 0 30 0
116.67/116.71 c zerohalf : 0.00 0 0 0 0 0
116.67/116.71 c mcf : 0.11 5 0 0 78 0
116.67/116.71 c rapidlearning : 0.41 1 0 0 0 225
116.67/116.71 c Pricers : Time Calls Vars
116.67/116.71 c problem variables: 0.00 0 0
116.67/116.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
116.67/116.71 c relpscost : 58.93 224 2 150 0 0 348
116.67/116.71 c pscost : 0.00 0 0 0 0 0 0
116.67/116.71 c inference : 0.00 0 0 0 0 0 0
116.67/116.71 c mostinf : 0.00 0 0 0 0 0 0
116.67/116.71 c leastinf : 0.00 0 0 0 0 0 0
116.67/116.71 c fullstrong : 0.00 0 0 0 0 0 0
116.67/116.71 c allfullstrong : 0.00 0 0 0 0 0 0
116.67/116.71 c random : 0.00 0 0 0 0 0 0
116.67/116.71 c Primal Heuristics : Time Calls Found
116.67/116.71 c LP solutions : 0.00 - 0
116.67/116.71 c pseudo solutions : 0.00 - 0
116.67/116.71 c trivial : 0.00 1 0
116.67/116.71 c simplerounding : 0.00 0 0
116.67/116.71 c zirounding : 0.00 0 0
116.67/116.71 c rounding : 0.00 0 0
116.67/116.71 c shifting : 0.00 0 0
116.67/116.71 c intshifting : 0.00 0 0
116.67/116.71 c oneopt : 0.00 0 0
116.67/116.71 c twoopt : 0.00 0 0
116.67/116.71 c fixandinfer : 0.00 0 0
116.67/116.71 c feaspump : 0.00 0 0
116.67/116.71 c coefdiving : 0.00 0 0
116.67/116.71 c pscostdiving : 0.00 0 0
116.67/116.71 c fracdiving : 0.00 0 0
116.67/116.71 c veclendiving : 0.00 0 0
116.67/116.71 c intdiving : 0.00 0 0
116.67/116.71 c actconsdiving : 0.00 0 0
116.67/116.71 c objpscostdiving : 0.00 0 0
116.67/116.71 c rootsoldiving : 0.00 0 0
116.67/116.71 c linesearchdiving : 0.00 0 0
116.67/116.71 c guideddiving : 0.00 0 0
116.67/116.71 c octane : 0.00 0 0
116.67/116.71 c rens : 0.00 0 0
116.67/116.71 c rins : 0.00 0 0
116.67/116.71 c localbranching : 0.00 0 0
116.67/116.71 c mutation : 0.00 0 0
116.67/116.71 c crossover : 0.00 0 0
116.67/116.71 c dins : 0.00 0 0
116.67/116.71 c undercover : 0.00 0 0
116.67/116.71 c nlp : 0.00 0 0
116.67/116.71 c trysol : 0.00 0 0
116.67/116.71 c LP : Time Calls Iterations Iter/call Iter/sec
116.67/116.71 c primal LP : 0.30 0 0 0.00 0.00
116.67/116.71 c dual LP : 46.55 664 133645 201.27 2871.00
116.67/116.71 c lex dual LP : 0.00 0 0 0.00 -
116.67/116.71 c barrier LP : 0.00 0 0 0.00 -
116.67/116.71 c diving/probing LP: 0.00 0 0 0.00 -
116.67/116.71 c strong branching : 58.89 899 172341 191.70 2926.49
116.67/116.71 c (at root node) : - 10 8055 805.50 -
116.67/116.71 c conflict analysis: 0.00 0 0 0.00 -
116.67/116.71 c B&B Tree :
116.67/116.71 c number of runs : 1
116.67/116.71 c nodes : 342
116.67/116.71 c nodes (total) : 342
116.67/116.71 c nodes left : 0
116.67/116.71 c max depth : 41
116.67/116.71 c max depth (total): 41
116.67/116.71 c backtracks : 69 (20.2%)
116.67/116.71 c delayed cutoffs : 7
116.67/116.71 c repropagations : 780 (4527 domain reductions, 2 cutoffs)
116.67/116.71 c avg switch length: 5.99
116.67/116.71 c switching time : 0.47
116.67/116.71 c Solution :
116.67/116.71 c Solutions found : 0 (0 improvements)
116.67/116.71 c Primal Bound : infeasible
116.67/116.71 c Dual Bound : -
116.67/116.71 c Gap : 0.00 %
116.67/116.71 c Root Dual Bound : +0.00000000000000e+00
116.67/116.71 c Root Iterations : 1616
116.67/116.74 c Time complete: 116.7.
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-2666345-1276683000/watcher-2666345-1276683000 -o /tmp/evaluation-result-2666345-1276683000/solver-2666345-1276683000 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666345-1276683000.opb -t 1800 -m 1800 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/106 15684 /proc/meminfo: memFree=1741384/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=7724 CPUtime=0 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 9592253 7909376 969 1992294400 4194304 8223781 140734951869824 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15684/statm: 1931 977 348 984 0 944 0 [startup+0.109309 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15684 /proc/meminfo: memFree=1741384/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=16476 CPUtime=0.1 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 3765 0 0 0 6 4 0 0 20 0 1 0 9592253 16871424 3063 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 4119 3063 426 984 0 3132 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16476 [startup+0.201319 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15684 /proc/meminfo: memFree=1741384/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=16476 CPUtime=0.19 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 3765 0 0 0 10 9 0 0 20 0 1 0 9592253 16871424 3063 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 4119 3063 426 984 0 3132 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16476 [startup+0.30133 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15684 /proc/meminfo: memFree=1741384/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=17932 CPUtime=0.29 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 5688 0 0 0 17 12 0 0 20 0 1 0 9592253 18362368 3444 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 4483 3444 459 984 0 3496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17932 [startup+0.700369 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15684 /proc/meminfo: memFree=1741384/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=26040 CPUtime=0.69 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 8307 0 0 0 50 19 0 0 20 0 1 0 9592253 26664960 5478 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 6510 5478 532 984 0 5523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26040 [startup+1.50045 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1720916/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=26040 CPUtime=1.49 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 8433 0 0 0 130 19 0 0 22 0 1 0 9592253 26664960 5510 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 6510 5510 555 984 0 5523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26040 [startup+3.10061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1718064/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=37848 CPUtime=3.09 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 16573 0 0 0 267 42 0 0 25 0 1 0 9592253 38756352 8589 1992294400 4194304 8223781 140734951869824 18446744073709551615 6532641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 9462 8589 595 984 0 8475 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37848 [startup+6.30194 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1708144/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=38180 CPUtime=6.29 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 16637 0 0 0 586 43 0 0 25 0 1 0 9592253 39096320 8647 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 9545 8647 589 984 0 8558 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38180 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1701572/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=44568 CPUtime=12.69 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 22910 0 0 0 1220 49 0 0 25 0 1 0 9592253 45637632 10258 1992294400 4194304 8223781 140734951869824 18446744073709551615 6611728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11142 10258 590 984 0 10155 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44568 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1701696/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=44116 CPUtime=25.49 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 26298 0 0 0 2487 62 0 0 25 0 1 0 9592253 45174784 10177 1992294400 4194304 8223781 140734951869824 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11029 10177 593 984 0 10042 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44116 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15685 /proc/meminfo: memFree=1701200/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45260 CPUtime=51.07 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 26670 0 0 0 5021 86 0 0 25 0 1 0 9592253 46346240 10435 1992294400 4194304 8223781 140734951869824 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11315 10435 593 984 0 10328 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45260 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700828/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45688 CPUtime=102.27 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 51444 0 0 0 10080 147 0 0 25 0 1 0 9592253 46784512 10480 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11422 10480 593 984 0 10435 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45688 Solver just ended. Dumping a history of the last processes samples [startup+102.408 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700828/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45424 CPUtime=102.37 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 51496 0 0 0 10090 147 0 0 25 0 1 0 9592253 46514176 10452 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11356 10452 593 984 0 10369 0 Current children cumulated CPU time (s) 102.37 Current children cumulated vsize (KiB) 45424 [startup+108.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45488 CPUtime=108.76 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 56944 0 0 0 10722 154 0 0 25 0 1 0 9592253 46579712 10478 1992294400 4194304 8223781 140734951869824 18446744073709551615 6588835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11372 10478 593 984 0 10385 0 Current children cumulated CPU time (s) 108.76 Current children cumulated vsize (KiB) 45488 [startup+112.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45344 CPUtime=111.96 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 59799 0 0 0 11038 158 0 0 25 0 1 0 9592253 46432256 10461 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11336 10461 593 984 0 10349 0 Current children cumulated CPU time (s) 111.96 Current children cumulated vsize (KiB) 45344 [startup+115.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45368 CPUtime=115.16 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 63458 0 0 0 11353 163 0 0 25 0 1 0 9592253 46456832 10467 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11342 10467 593 984 0 10355 0 Current children cumulated CPU time (s) 115.16 Current children cumulated vsize (KiB) 45368 [startup+116.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=46108 CPUtime=115.96 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 64438 0 0 0 11432 164 0 0 25 0 1 0 9592253 47214592 10546 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11527 10546 593 984 0 10540 0 Current children cumulated CPU time (s) 115.96 Current children cumulated vsize (KiB) 46108 [startup+116.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=46248 CPUtime=116.36 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 64942 0 0 0 11471 165 0 0 25 0 1 0 9592253 47357952 10581 1992294400 4194304 8223781 140734951869824 18446744073709551615 6207129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11562 10581 593 984 0 10575 0 Current children cumulated CPU time (s) 116.36 Current children cumulated vsize (KiB) 46248 [startup+116.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700456/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=45848 CPUtime=116.57 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 65216 0 0 0 11492 165 0 0 25 0 1 0 9592253 46948352 10538 1992294400 4194304 8223781 140734951869824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11462 10538 593 984 0 10475 0 Current children cumulated CPU time (s) 116.57 Current children cumulated vsize (KiB) 45848 [startup+116.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15687 /proc/meminfo: memFree=1700456/2059040 swapFree=4192956/4192956 [pid=15684] ppid=15682 vsize=46272 CPUtime=116.67 /proc/15684/stat : 15684 (pbscip.linux.x8) R 15682 15684 15530 0 -1 4202496 65458 0 0 0 11502 165 0 0 25 0 1 0 9592253 47382528 10588 1992294400 4194304 8223781 140734951869824 18446744073709551615 5950417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15684/statm: 11568 10588 593 984 0 10581 0 Current children cumulated CPU time (s) 116.67 Current children cumulated vsize (KiB) 46272 Child status: 0 Real time (s): 116.739 CPU time (s): 116.708 CPU user time (s): 115.045 CPU system time (s): 1.66375 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 46392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 115.045 system time used= 1.66375 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65463 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= 3 involuntary context switches= 409 runsolver used 0.19197 second user time and 0.565913 second system time The end
Begin job on node045 at 2010-06-16 12:10:01 IDJOB=2666345 IDBENCH=48363 IDSOLVER=1169 FILE ID=node045/2666345-1276683000 PBS_JOBID= 11172573 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_3_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666345-1276683000/watcher-2666345-1276683000 -o /tmp/evaluation-result-2666345-1276683000/solver-2666345-1276683000 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666345-1276683000.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8bda8bcfdd3d0bef04b7cb75764a0af7 RANDOM SEED=374303395 node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1741788 kB Buffers: 72584 kB Cached: 119336 kB SwapCached: 0 kB Active: 94012 kB Inactive: 157288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1741788 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4616 kB Writeback: 0 kB AnonPages: 59380 kB Mapped: 15388 kB Slab: 44164 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182692 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-16 12:11:57