| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.06 | 1801.6 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_4_80.opb |
| MD5SUM | 7cde2502e7fdd6b310da5651aff97d88 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.9757 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12652 |
| Sum of products size (including duplicates) | 25304 |
| Number of different products | 6326 |
| Sum of products size | 12652 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663450-1276679239.opb>
0.09/0.10 c original problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7828 constraints
0.09/0.10 c problem read
0.09/0.10 c No objective function, only one solution is needed.
0.09/0.10 c presolving settings loaded
0.09/0.11 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.20 c presolving:
0.49/0.52 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 51608 impls, 1000 clqs
0.69/0.78 c presolving (2 rounds):
0.69/0.78 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.78 c 51608 implications, 1000 cliques
0.69/0.78 c presolved problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7828 constraints
0.69/0.78 c 1 constraints of type <knapsack>
0.69/0.78 c 1000 constraints of type <setppc>
0.69/0.78 c 6326 constraints of type <and>
0.69/0.78 c 1 constraints of type <linear>
0.69/0.78 c 500 constraints of type <logicor>
0.69/0.78 c transformed objective value is always integral (scale: 1)
0.69/0.78 c Presolving Time: 0.42
0.69/0.78 c - non default parameters ----------------------------------------------------------------------
0.69/0.78 c # SCIP version 1.2.1.2
0.69/0.78 c
0.69/0.78 c # frequency for displaying node information lines
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.78 c display/freq = 10000
0.69/0.78 c
0.69/0.78 c # maximal time in seconds to run
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/time = 1799.9
0.69/0.78 c
0.69/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/memory = 1620
0.69/0.78 c
0.69/0.78 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c limits/solutions = 1
0.69/0.78 c
0.69/0.78 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c lp/solvefreq = -1
0.69/0.78 c
0.69/0.78 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.78 c separating/maxrounds = 1
0.69/0.78 c
0.69/0.78 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/maxroundsroot = 5
0.69/0.78 c
0.69/0.78 c # should presolving try to simplify inequalities
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c constraints/linear/simplifyinequalities = TRUE
0.69/0.78 c
0.69/0.78 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.78 c constraints/knapsack/disaggregation = FALSE
0.69/0.78 c
0.69/0.78 c # should presolving try to simplify knapsacks
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.78 c
0.69/0.78 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c presolving/probing/maxrounds = 0
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/coefdiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.78 c heuristics/crossover/freq = -1
0.69/0.78 c
0.69/0.78 c # number of nodes added to the contingent of the total nodes
0.69/0.78 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.78 c heuristics/crossover/nodesofs = 750
0.69/0.78 c
0.69/0.78 c # number of nodes without incumbent change that heuristic should wait
0.69/0.78 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.78 c heuristics/crossover/nwaitingnodes = 100
0.69/0.78 c
0.69/0.78 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.78 c # [type: real, range: [0,1], default: 0.1]
0.69/0.78 c heuristics/crossover/nodesquot = 0.15
0.69/0.78 c
0.69/0.78 c # minimum percentage of integer variables that have to be fixed
0.69/0.78 c # [type: real, range: [0,1], default: 0.666]
0.69/0.78 c heuristics/crossover/minfixingrate = 0.5
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.78 c heuristics/feaspump/freq = -1
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/fracdiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/guideddiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/intshifting/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/linesearchdiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/nlp/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.78 c heuristics/objpscostdiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.78 c # [type: real, range: [0,1], default: 0.01]
0.69/0.78 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/oneopt/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/pscostdiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.78 c heuristics/rens/freq = -1
0.69/0.78 c
0.69/0.78 c # minimum percentage of integer variables that have to be fixable
0.69/0.78 c # [type: real, range: [0,1], default: 0.5]
0.69/0.78 c heuristics/rens/minfixingrate = 0.3
0.69/0.78 c
0.69/0.78 c # number of nodes added to the contingent of the total nodes
0.69/0.78 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.78 c heuristics/rens/nodesofs = 2000
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.78 c heuristics/rootsoldiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.78 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/rounding/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/shifting/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/simplerounding/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.78 c heuristics/trivial/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/trysol/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.78 c heuristics/veclendiving/freq = -1
0.69/0.78 c
0.69/0.78 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.78 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.78 c
0.69/0.78 c # additional number of allowed LP iterations
0.69/0.78 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.78 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.78 c
0.69/0.78 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.78 c heuristics/zirounding/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.78 c separating/cmir/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.78 c separating/flowcover/freq = -1
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/rapidlearning/freq = 0
0.69/0.78 c
0.69/0.78 c -----------------------------------------------------------------------------------------------
0.69/0.78 c start solving
0.69/0.79 c
0.69/0.79 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.80 c 0.5s| 1 | 2 | 0 | - | 19M| 0 | - |7326 |7828 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.77/49.88 c 49.2s| 10000 | 9762 | 0 | 0.0 | 29M|1353 | - |7326 |7854 | 0 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf
97.76/97.83 c 96.7s| 20000 | 19695 | 0 | 0.0 | 38M|1353 | - |7326 |7891 | 0 | 0 | 0 | 184 | 0 | 0.000000e+00 | -- | Inf
144.34/144.42 c 143s| 30000 | 29642 | 0 | 0.0 | 46M|1353 | - |7326 |7926 | 0 | 0 | 0 | 234 | 0 | 0.000000e+00 | -- | Inf
187.73/187.88 c 186s| 40000 | 39587 | 0 | 0.0 | 53M|1353 | - |7326 |7951 | 0 | 0 | 0 | 280 | 0 | 0.000000e+00 | -- | Inf
239.91/240.07 c 238s| 50000 | 49496 | 0 | 0.0 | 62M|1353 | - |7326 |7994 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
280.70/280.84 c 278s| 60000 | 59445 | 0 | 0.0 | 69M|1353 | - |7326 |8030 | 0 | 0 | 0 | 390 | 0 | 0.000000e+00 | -- | Inf
320.29/320.45 c 318s| 70000 | 69388 | 0 | 0.0 | 76M|1353 | - |7326 |8063 | 0 | 0 | 0 | 441 | 0 | 0.000000e+00 | -- | Inf
365.97/366.16 c 363s| 80000 | 79307 | 0 | 0.0 | 84M|1353 | - |7326 |8104 | 0 | 0 | 0 | 500 | 0 | 0.000000e+00 | -- | Inf
408.86/409.03 c 406s| 90000 | 89230 | 0 | 0.0 | 92M|1353 | - |7326 |8153 | 0 | 0 | 0 | 560 | 0 | 0.000000e+00 | -- | Inf
442.85/443.04 c 439s|100000 | 99167 | 0 | 0.0 | 99M|1353 | - |7326 |8158 | 0 | 0 | 0 | 615 | 0 | 0.000000e+00 | -- | Inf
476.34/476.56 c 473s|110000 |109112 | 0 | 0.0 | 106M|1353 | - |7326 |8186 | 0 | 0 | 0 | 670 | 0 | 0.000000e+00 | -- | Inf
515.74/515.93 c 512s|120000 |119012 | 0 | 0.0 | 113M|1353 | - |7326 |8233 | 0 | 0 | 0 | 737 | 0 | 0.000000e+00 | -- | Inf
549.02/549.25 c 545s|130000 |128937 | 0 | 0.0 | 120M|1353 | - |7326 |8241 | 0 | 0 | 0 | 793 | 0 | 0.000000e+00 | -- | Inf
578.21/578.42 c 573s|140000 |138868 | 0 | 0.0 | 127M|1353 | - |7326 |8274 | 0 | 0 | 0 | 864 | 0 | 0.000000e+00 | -- | Inf
605.50/605.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.50/605.80 c 601s|150000 |148804 | 0 | 0.0 | 133M|1353 | - |7326 |8317 | 0 | 0 | 0 | 926 | 0 | 0.000000e+00 | -- | Inf
633.59/633.82 c 628s|160000 |158723 | 0 | 0.0 | 139M|1353 | - |7326 |8352 | 0 | 0 | 0 | 995 | 0 | 0.000000e+00 | -- | Inf
663.38/663.63 c 658s|170000 |168598 | 0 | 0.0 | 146M|1353 | - |7326 |8402 | 0 | 0 | 0 |1079 | 0 | 0.000000e+00 | -- | Inf
688.39/688.68 c 683s|180000 |178502 | 0 | 0.0 | 152M|1353 | - |7326 |8442 | 0 | 0 | 0 |1159 | 0 | 0.000000e+00 | -- | Inf
709.97/710.29 c 704s|190000 |188413 | 0 | 0.0 | 158M|1353 | - |7326 |8490 | 0 | 0 | 0 |1241 | 0 | 0.000000e+00 | -- | Inf
730.17/730.43 c 724s|200000 |198317 | 0 | 0.0 | 164M|1353 | - |7326 |8543 | 0 | 0 | 0 |1330 | 0 | 0.000000e+00 | -- | Inf
750.66/750.93 c 744s|210000 |208185 | 0 | 0.0 | 170M|1353 | - |7326 |8608 | 0 | 0 | 0 |1429 | 0 | 0.000000e+00 | -- | Inf
768.96/769.22 c 762s|220000 |218043 | 0 | 0.0 | 176M|1353 | - |7326 |8681 | 0 | 0 | 0 |1556 | 0 | 0.000000e+00 | -- | Inf
784.54/784.81 c 777s|230000 |227879 | 0 | 0.0 | 182M|1353 | - |7326 |8764 | 0 | 0 | 0 |1707 | 0 | 0.000000e+00 | -- | Inf
797.94/798.22 c 790s|240000 |237706 | 0 | 0.0 | 187M|1353 | - |7326 |8843 | 0 | 0 | 0 |1866 | 0 | 0.000000e+00 | -- | Inf
810.34/810.63 c 803s|250000 |247176 | 0 | 0.0 | 193M|1353 | - |7326 |9007 | 0 | 0 | 0 |2220 | 0 | 0.000000e+00 | -- | Inf
823.54/823.89 c 815s|260000 |256208 | 0 | 0.0 | 200M|1353 | - |7326 |9104 | 0 | 0 | 0 |2776 | 0 | 0.000000e+00 | -- | Inf
865.62/865.91 c 856s|270000 |259748 | 0 | 0.0 | 203M|1353 | - |7326 |9155 | 0 | 0 | 0 |5995 | 0 | 0.000000e+00 | -- | Inf
914.70/915.01 c 904s|280000 |261728 | 0 | 0.0 | 205M|1353 | - |7326 |9200 | 0 | 0 | 0 |9979 | 0 | 0.000000e+00 | -- | Inf
966.69/967.00 c 956s|290000 |269461 | 0 | 0.0 | 208M|1353 | - |7326 |8382 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1018.57/1018.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.57/1018.97 c 1007s|300000 |279406 | 0 | 0.0 | 216M|1353 | - |7326 |8385 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1072.17/1072.54 c 1061s|310000 |289252 | 0 | 0.0 | 225M|1353 | - |7326 |8390 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1122.66/1123.00 c 1111s|320000 |299179 | 0 | 0.0 | 233M|1353 | - |7326 |8393 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1175.94/1176.33 c 1164s|330000 |309119 | 0 | 0.0 | 241M|1353 | - |7326 |8387 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1227.12/1227.55 c 1215s|340000 |319038 | 0 | 0.0 | 250M|1353 | - |7326 |8384 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1281.91/1282.33 c 1269s|350000 |328973 | 0 | 0.0 | 258M|1353 | - |7326 |8361 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1332.80/1333.29 c 1320s|360000 |338903 | 0 | 0.0 | 266M|1353 | - |7326 |8309 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1383.58/1384.04 c 1370s|370000 |348850 | 0 | 0.0 | 275M|1353 | - |7326 |8287 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1433.57/1434.02 c 1420s|380000 |358779 | 0 | 0.0 | 283M|1353 | - |7326 |8278 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1483.15/1483.70 c 1469s|390000 |368729 | 0 | 0.0 | 291M|1353 | - |7326 |8274 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1534.53/1535.09 c 1520s|400000 |378667 | 0 | 0.0 | 299M|1353 | - |7326 |8270 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1584.72/1585.30 c 1570s|410000 |388612 | 0 | 0.0 | 307M|1353 | - |7326 |8258 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1635.51/1636.05 c 1620s|420000 |398552 | 0 | 0.0 | 316M|1353 | - |7326 |8258 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1681.59/1682.10 c 1666s|430000 |408503 | 0 | 0.0 | 323M|1353 | - |7326 |8252 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1730.97/1731.53 c 1715s|440000 |418444 | 0 | 0.0 | 332M|1353 | - |7326 |8255 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1781.15/1781.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.15/1781.71 c 1765s|450000 |428379 | 0 | 0.0 | 340M|1353 | - |7326 |8254 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.62 c
1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.62 c Solving Time (sec) : 1783.79
1800.06/1800.62 c Solving Nodes : 454129
1800.06/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.62 c Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 s UNKNOWN
1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.62 c Solving Time : 1783.79
1800.06/1800.62 c Original Problem :
1800.06/1800.62 c Problem name : HOME/instance-2663450-1276679239.opb
1800.06/1800.62 c Variables : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 7828 initial, 7828 maximal
1800.06/1800.62 c Presolved Problem :
1800.06/1800.62 c Problem name : t_HOME/instance-2663450-1276679239.opb
1800.06/1800.62 c Variables : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 7828 initial, 9209 maximal
1800.06/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.62 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.62 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c and : 0.23 0 0 0 0 0 0 0 0
1800.06/1800.62 c linear : 0.06 0 0 0 0 0 0 0 0
1800.06/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.62 c root node : - 0 - - 0 - - - -
1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.62 c knapsack : 1 0 847686 0 292100 286 554561 0 0 0
1800.06/1800.62 c setppc : 1000 0 1231015 0 443658 2281 10374 0 0 0
1800.06/1800.62 c and : 6326 0 1229792 0 443862 5 3507830 0 0 0
1800.06/1800.62 c linear : 1 0 1228498 0 443862 8506 120299 0 0 0
1800.06/1800.62 c logicor : 500+ 0 20916 0 443859 297 397308 0 0 0
1800.06/1800.62 c countsols : 0 0 0 0 443862 0 0 0 0 0
1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.62 c knapsack : 37.20 0.00 20.09 0.00 17.11
1800.06/1800.62 c setppc : 343.34 0.00 43.09 0.00 300.25
1800.06/1800.62 c and : 455.38 0.00 150.31 0.00 305.07
1800.06/1800.62 c linear : 203.37 0.00 202.52 0.00 0.85
1800.06/1800.62 c logicor : 70.95 0.00 4.38 0.00 66.57
1800.06/1800.62 c countsols : 0.27 0.00 0.00 0.00 0.27
1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.62 c vbounds : 0.95 1 0 0
1800.06/1800.62 c rootredcost : 0.77 0 0 0
1800.06/1800.62 c pseudoobj : 0.55 0 0 0
1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.62 c propagation : 92.12 11375 11220 25473 748.9 0 0.0 -
1800.06/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.62 c applied globally : - - - 3450 345.0 - - -
1800.06/1800.62 c applied locally : - - - 8530 791.8 - - -
1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.62 c redcost : 0.00 0 0 0 0 0
1800.06/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.62 c intobj : 0.00 0 0 0 0 0
1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.62 c gomory : 0.00 0 0 0 0 0
1800.06/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.62 c cmir : 0.00 0 0 0 0 0
1800.06/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.62 c clique : 0.00 0 0 0 0 0
1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.62 c mcf : 0.00 0 0 0 0 0
1800.06/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.62 c Pricers : Time Calls Vars
1800.06/1800.62 c problem variables: 0.00 0 0
1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c inference : 618.02 443862 0 0 0 0 887724
1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c random : 0.00 0 0 0 0 0 0
1800.06/1800.62 c Primal Heuristics : Time Calls Found
1800.06/1800.62 c LP solutions : 0.00 - 0
1800.06/1800.62 c pseudo solutions : 0.00 - 0
1800.06/1800.62 c trivial : 0.01 1 0
1800.06/1800.62 c simplerounding : 0.00 0 0
1800.06/1800.62 c zirounding : 0.00 0 0
1800.06/1800.62 c rounding : 0.00 0 0
1800.06/1800.62 c shifting : 0.00 0 0
1800.06/1800.62 c intshifting : 0.00 0 0
1800.06/1800.62 c oneopt : 0.00 0 0
1800.06/1800.62 c twoopt : 0.00 0 0
1800.06/1800.62 c fixandinfer : 0.00 0 0
1800.06/1800.62 c feaspump : 0.00 0 0
1800.06/1800.62 c coefdiving : 0.00 0 0
1800.06/1800.62 c pscostdiving : 0.00 0 0
1800.06/1800.62 c fracdiving : 0.00 0 0
1800.06/1800.62 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.00 0 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 0.00 0 0
1800.06/1800.62 c trysol : 0.00 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.62 c (at root node) : - 0 0 0.00 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 454129
1800.06/1800.62 c nodes (total) : 454129
1800.06/1800.62 c nodes left : 432488
1800.06/1800.62 c max depth : 1353
1800.06/1800.62 c max depth (total): 1353
1800.06/1800.62 c backtracks : 1221 (0.3%)
1800.06/1800.62 c delayed cutoffs : 1108
1800.06/1800.62 c repropagations : 331914 (127619 domain reductions, 1108 cutoffs)
1800.06/1800.62 c avg switch length: 3.58
1800.06/1800.62 c switching time : 24.08
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 0 (0 improvements)
1800.06/1800.62 c Primal Bound : -
1800.06/1800.62 c Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Root Iterations : 0
1801.05/1801.60 c Time complete: 1801.06.
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-2663450-1276679239/watcher-2663450-1276679239 -o /tmp/evaluation-result-2663450-1276679239/solver-2663450-1276679239 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663450-1276679239.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: 2.42 2.18 2.11 3/106 14777 /proc/meminfo: memFree=1577080/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=6584 CPUtime=0 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 9216543 6742016 920 1992294400 4194304 7136930 140735251414704 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14777/statm: 1646 928 254 719 0 925 0 [startup+0.0376599 s] /proc/loadavg: 2.42 2.18 2.11 3/106 14777 /proc/meminfo: memFree=1577080/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=12864 CPUtime=0.02 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 2688 0 0 0 2 0 0 0 20 0 1 0 9216543 13172736 2610 1992294400 4194304 7136930 140735251414704 18446744073709551615 4672128 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14777/statm: 3216 2610 269 719 0 2495 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12864 [startup+0.10065 s] /proc/loadavg: 2.42 2.18 2.11 3/106 14777 /proc/meminfo: memFree=1577080/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=18060 CPUtime=0.09 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 3980 0 0 0 8 1 0 0 20 0 1 0 9216543 18493440 3903 1992294400 4194304 7136930 140735251414704 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14777/statm: 4515 3913 269 719 0 3794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18060 [startup+0.300667 s] /proc/loadavg: 2.42 2.18 2.11 3/106 14777 /proc/meminfo: memFree=1577080/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=36312 CPUtime=0.29 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 8961 0 0 0 24 5 0 0 20 0 1 0 9216543 37183488 8272 1992294400 4194304 7136930 140735251414704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 9078 8272 327 719 0 8357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36312 [startup+0.700702 s] /proc/loadavg: 2.42 2.18 2.11 3/106 14777 /proc/meminfo: memFree=1577080/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=39448 CPUtime=0.69 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 11271 0 0 0 50 19 0 0 21 0 1 0 9216543 40394752 9040 1992294400 4194304 7136930 140735251414704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 9862 9040 361 719 0 9141 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39448 [startup+1.50077 s] /proc/loadavg: 2.42 2.18 2.11 2/107 14778 /proc/meminfo: memFree=1540864/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=41012 CPUtime=1.49 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 12218 0 0 0 126 23 0 0 23 0 1 0 9216543 41996288 9473 1992294400 4194304 7136930 140735251414704 18446744073709551615 4642980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 10253 9473 389 719 0 9532 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41012 [startup+3.10091 s] /proc/loadavg: 2.31 2.16 2.10 2/107 14778 /proc/meminfo: memFree=1539748/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=42836 CPUtime=3.09 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 12675 0 0 0 285 24 0 0 25 0 1 0 9216543 43864064 9930 1992294400 4194304 7136930 140735251414704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 10709 9930 389 719 0 9988 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42836 [startup+6.30119 s] /proc/loadavg: 2.31 2.16 2.10 2/107 14778 /proc/meminfo: memFree=1536772/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=44624 CPUtime=6.29 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 13104 0 0 0 601 28 0 0 25 0 1 0 9216543 45694976 10359 1992294400 4194304 7136930 140735251414704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 11156 10359 394 719 0 10435 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44624 [startup+12.7008 s] /proc/loadavg: 2.11 2.12 2.09 2/107 14778 /proc/meminfo: memFree=1534788/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=46840 CPUtime=12.69 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 13639 0 0 0 1235 34 0 0 25 0 1 0 9216543 47964160 10894 1992294400 4194304 7136930 140735251414704 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 11710 10894 394 719 0 10989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46840 [startup+25.5009 s] /proc/loadavg: 1.94 2.08 2.08 2/107 14778 /proc/meminfo: memFree=1532804/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=48572 CPUtime=25.48 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 14060 0 0 0 2506 42 0 0 25 0 1 0 9216543 49737728 11315 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 12143 11315 394 719 0 11422 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48572 [startup+51.1011 s] /proc/loadavg: 1.62 2.00 2.05 2/107 14780 /proc/meminfo: memFree=1526480/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=54644 CPUtime=51.06 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 15608 0 0 0 5045 61 0 0 25 0 1 0 9216543 55955456 12863 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 13661 12863 394 719 0 12940 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54644 [startup+102.309 s] /proc/loadavg: 1.24 1.83 1.99 2/107 14780 /proc/meminfo: memFree=1516560/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=64488 CPUtime=102.25 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 18084 0 0 0 10126 99 0 0 25 0 1 0 9216543 66035712 15339 1992294400 4194304 7136930 140735251414704 18446744073709551615 4407902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 16122 15339 394 719 0 15401 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 64488 [startup+162.301 s] /proc/loadavg: 1.10 1.68 1.93 2/107 14782 /proc/meminfo: memFree=1504408/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=76368 CPUtime=162.23 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 21110 0 0 0 16081 142 0 0 25 0 1 0 9216543 78200832 18365 1992294400 4194304 7136930 140735251414704 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 19092 18365 394 719 0 18371 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 76368 [startup+222.301 s] /proc/loadavg: 1.03 1.55 1.86 2/107 14784 /proc/meminfo: memFree=1493372/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=87192 CPUtime=222.22 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 23866 0 0 0 22038 184 0 0 25 0 1 0 9216543 89284608 21121 1992294400 4194304 7136930 140735251414704 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 21798 21121 394 719 0 21077 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 87192 [startup+282.3 s] /proc/loadavg: 1.01 1.45 1.81 2/107 14786 /proc/meminfo: memFree=1482212/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=98308 CPUtime=282.19 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 26652 0 0 0 27993 226 0 0 25 0 1 0 9216543 100667392 23907 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 24577 23907 394 719 0 23856 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 98308 [startup+342.301 s] /proc/loadavg: 1.00 1.36 1.75 2/107 14788 /proc/meminfo: memFree=1471548/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=110720 CPUtime=342.18 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 29292 0 0 0 33945 273 0 0 25 0 1 0 9216543 113377280 26547 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 27680 26547 394 719 0 26959 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 110720 [startup+402.301 s] /proc/loadavg: 1.00 1.30 1.71 2/107 14788 /proc/meminfo: memFree=1459892/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=122244 CPUtime=402.16 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 32190 0 0 0 39902 314 0 0 25 0 1 0 9216543 125177856 29445 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 30561 29445 394 719 0 29840 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 122244 [startup+462.301 s] /proc/loadavg: 1.00 1.24 1.66 2/107 14790 /proc/meminfo: memFree=1447368/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=134600 CPUtime=462.14 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 35302 0 0 0 45848 366 0 0 25 0 1 0 9216543 137830400 32557 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 33650 32557 394 719 0 32929 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 134600 [startup+522.3 s] /proc/loadavg: 1.00 1.20 1.62 2/107 14792 /proc/meminfo: memFree=1434472/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=147232 CPUtime=522.13 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 38505 0 0 0 51800 413 0 0 25 0 1 0 9216543 150765568 35760 1992294400 4194304 7136930 140735251414704 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 36808 35760 394 719 0 36087 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 147232 [startup+582.301 s] /proc/loadavg: 1.00 1.16 1.57 2/107 14794 /proc/meminfo: memFree=1419592/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=162220 CPUtime=582.1 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 42293 0 0 0 57737 473 0 0 25 0 1 0 9216543 166113280 39548 1992294400 4194304 7136930 140735251414704 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 40555 39548 394 719 0 39834 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 162220 [startup+642.301 s] /proc/loadavg: 1.00 1.12 1.53 2/107 14796 /proc/meminfo: memFree=1406448/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=174892 CPUtime=642.1 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 45481 0 0 0 63676 534 0 0 25 0 1 0 9216543 179089408 42736 1992294400 4194304 7136930 140735251414704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 43723 42736 394 719 0 43002 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 174892 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.04 1.37 2/107 14804 /proc/meminfo: memFree=1323120/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=264812 CPUtime=942 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 66200 0 0 0 93130 1070 0 0 25 0 1 0 9216543 271167488 63455 1992294400 4194304 7136930 140735251414704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 66203 63455 394 719 0 65482 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 264812 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.35 2/107 14804 /proc/meminfo: memFree=1309232/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=278524 CPUtime=1001.98 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 69655 0 0 0 99086 1112 0 0 25 0 1 0 9216543 285208576 66910 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 69631 66910 394 719 0 68910 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 278524 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.33 2/107 14806 /proc/meminfo: memFree=1299560/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=288356 CPUtime=1061.96 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 72074 0 0 0 105044 1152 0 0 25 0 1 0 9216543 295276544 69329 1992294400 4194304 7136930 140735251414704 18446744073709551615 5120147 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 72089 69329 394 719 0 71368 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 288356 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.30 2/107 14808 /proc/meminfo: memFree=1291996/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=295436 CPUtime=1121.95 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 73924 0 0 0 111005 1190 0 0 25 0 1 0 9216543 302526464 71179 1992294400 4194304 7136930 140735251414704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 73859 71179 394 719 0 73138 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 295436 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.28 2/107 14810 /proc/meminfo: memFree=1279596/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=307828 CPUtime=1181.93 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 77019 0 0 0 116970 1223 0 0 25 0 1 0 9216543 315215872 74274 1992294400 4194304 7136930 140735251414704 18446744073709551615 4407902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 76957 74274 394 719 0 76236 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 307828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.26 2/107 14812 /proc/meminfo: memFree=1271040/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=316092 CPUtime=1241.92 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 79140 0 0 0 122933 1259 0 0 25 0 1 0 9216543 323678208 76395 1992294400 4194304 7136930 140735251414704 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 79023 76395 394 719 0 78302 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 316092 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.24 2/107 14812 /proc/meminfo: memFree=1260500/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=326388 CPUtime=1301.91 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 81742 0 0 0 128894 1297 0 0 25 0 1 0 9216543 334221312 78997 1992294400 4194304 7136930 140735251414704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 81597 78997 394 719 0 80876 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 326388 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.22 2/107 14814 /proc/meminfo: memFree=1254052/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=332792 CPUtime=1361.88 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 83333 0 0 0 134852 1336 0 0 25 0 1 0 9216543 340779008 80588 1992294400 4194304 7136930 140735251414704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 83198 80588 394 719 0 82477 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 332792 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.20 2/107 14816 /proc/meminfo: memFree=1242396/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=344296 CPUtime=1421.87 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 86245 0 0 0 140812 1375 0 0 25 0 1 0 9216543 352559104 83500 1992294400 4194304 7136930 140735251414704 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 86074 83500 394 719 0 85353 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 344296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.19 2/107 14818 /proc/meminfo: memFree=1231236/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=355300 CPUtime=1481.85 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 89057 0 0 0 146770 1415 0 0 25 0 1 0 9216543 363827200 86312 1992294400 4194304 7136930 140735251414704 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 88825 86312 394 719 0 88104 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 355300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 14823 /proc/meminfo: memFree=1222184/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=363780 CPUtime=1541.83 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 91182 0 0 0 152730 1453 0 0 25 0 1 0 9216543 372510720 88437 1992294400 4194304 7136930 140735251414704 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 90945 88437 394 719 0 90224 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 363780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 14823 /proc/meminfo: memFree=1214744/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=372396 CPUtime=1601.81 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 93346 0 0 0 158689 1492 0 0 25 0 1 0 9216543 381333504 90601 1992294400 4194304 7136930 140735251414704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 93099 90601 394 719 0 92378 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 372396 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 14825 /proc/meminfo: memFree=1202468/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=383484 CPUtime=1661.79 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 96161 0 0 0 164648 1531 0 0 25 0 1 0 9216543 392687616 93416 1992294400 4194304 7136930 140735251414704 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 95871 93416 394 719 0 95150 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 383484 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.14 2/107 14827 /proc/meminfo: memFree=1191308/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=395080 CPUtime=1721.77 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 99038 0 0 0 170607 1570 0 0 25 0 1 0 9216543 404561920 96293 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 98770 96293 394 719 0 98049 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 395080 [startup+1782.3 s] /proc/loadavg: 1.05 1.02 1.14 2/107 14829 /proc/meminfo: memFree=1181512/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=404268 CPUtime=1781.76 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 101390 0 0 0 176569 1607 0 0 25 0 1 0 9216543 413970432 98645 1992294400 4194304 7136930 140735251414704 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 101067 98645 394 719 0 100346 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 404268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.11 1.04 1.14 2/107 14829 /proc/meminfo: memFree=1179280/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=406464 CPUtime=1800.06 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 101953 0 0 0 178387 1619 0 0 25 0 1 0 9216543 416219136 99208 1992294400 4194304 7136930 140735251414704 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14777/statm: 101616 99208 394 719 0 100895 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 406464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.11 1.04 1.14 2/107 14829 /proc/meminfo: memFree=1179280/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=359016 CPUtime=1800.85 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 101972 0 0 0 178465 1620 0 0 25 0 1 0 9216543 367632384 87366 1992294400 4194304 7136930 140735251414704 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14777/statm: 89754 87366 399 719 0 89033 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 359016 [startup+1801.6 s] /proc/loadavg: 1.11 1.04 1.14 2/107 14829 /proc/meminfo: memFree=1179280/2059040 swapFree=4192956/4192956 [pid=14777] ppid=14775 vsize=12428 CPUtime=1801.05 /proc/14777/stat : 14777 (pbscip.linux.x8) R 14775 14777 14360 0 -1 4202496 101978 0 0 0 178481 1624 0 0 25 0 1 0 9216543 12726272 2707 1992294400 4194304 7136930 140735251414704 18446744073709551615 6320417 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14777/statm: 3107 2691 405 719 0 2386 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 12428 Child status: 0 Real time (s): 1801.6 CPU time (s): 1801.06 CPU user time (s): 1784.81 CPU system time (s): 16.2505 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 406464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.81 system time used= 16.2505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101978 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= 4 involuntary context switches= 12367 runsolver used 2.99554 second user time and 8.49971 second system time The end
Begin job on node041 at 2010-06-16 11:07:19 IDJOB=2663450 IDBENCH=48328 IDSOLVER=1167 FILE ID=node041/2663450-1276679239 PBS_JOBID= 11172541 Free space on /tmp= 62084 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_4_80.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663450-1276679239/watcher-2663450-1276679239 -o /tmp/evaluation-result-2663450-1276679239/solver-2663450-1276679239 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663450-1276679239.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7cde2502e7fdd6b310da5651aff97d88 RANDOM SEED=93833531 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1577484 kB Buffers: 131260 kB Cached: 208304 kB SwapCached: 0 kB Active: 139008 kB Inactive: 260104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1577484 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3424 kB Writeback: 0 kB AnonPages: 59532 kB Mapped: 15332 kB Slab: 60524 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180080 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= 62080 MiB End job on node041 at 2010-06-16 11:37:21