| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.14 | 1802.63 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_3_40.opb |
| MD5SUM | 6ddc144a63b87021a78f3fe4530ac86f |
| 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 | 247.072 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6180 |
| Sum of products size (including duplicates) | 12360 |
| Number of different products | 3090 |
| Sum of products size | 6180 |
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-2663477-1276681699.opb>
0.00/0.04 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.04 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.05/0.08 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24920 impls, 200 clqs
0.39/0.47 c presolving (2 rounds):
0.39/0.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 24920 implications, 200 cliques
0.39/0.47 c presolved problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints
0.39/0.47 c 1 constraints of type <knapsack>
0.39/0.47 c 200 constraints of type <setppc>
0.39/0.47 c 3090 constraints of type <and>
0.39/0.47 c 1 constraints of type <linear>
0.39/0.47 c 100 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.23
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.97
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c limits/solutions = 1
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = -1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.47 c separating/maxrounds = 1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/maxroundsroot = 5
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.47 c constraints/knapsack/disaggregation = FALSE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c presolving/probing/maxrounds = 0
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/coefdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.47 c heuristics/crossover/freq = -1
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/crossover/nodesofs = 750
0.39/0.47 c
0.39/0.47 c # number of nodes without incumbent change that heuristic should wait
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.47 c heuristics/crossover/nwaitingnodes = 100
0.39/0.47 c
0.39/0.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.47 c # [type: real, range: [0,1], default: 0.1]
0.39/0.47 c heuristics/crossover/nodesquot = 0.15
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixed
0.39/0.47 c # [type: real, range: [0,1], default: 0.666]
0.39/0.47 c heuristics/crossover/minfixingrate = 0.5
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/feaspump/freq = -1
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/fracdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/guideddiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/intshifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/linesearchdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/nlp/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/objpscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.47 c # [type: real, range: [0,1], default: 0.01]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/oneopt/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/pscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/rens/freq = -1
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixable
0.39/0.47 c # [type: real, range: [0,1], default: 0.5]
0.39/0.47 c heuristics/rens/minfixingrate = 0.3
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/rens/nodesofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/rootsoldiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/rounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/shifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/simplerounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/trivial/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/trysol/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/veclendiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/zirounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/cmir/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/flowcover/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c 0.2s| 1 | 2 | 0 | - |8807k| 0 | - |3290 |3392 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.69/19.77 c 19.2s| 10000 | 7755 | 0 | 0.0 | 29M| 139 | - |3290 |3804 | 0 | 0 | 0 |1523 | 0 | 0.000000e+00 | -- | Inf
41.18/41.29 c 40.4s| 20000 | 16237 | 0 | 0.0 | 52M| 139 | - |3290 |4010 | 0 | 0 | 0 |2813 | 0 | 0.000000e+00 | -- | Inf
62.47/62.60 c 61.4s| 30000 | 23670 | 0 | 0.0 | 72M| 139 | - |3290 |4153 | 0 | 0 | 0 |4322 | 0 | 0.000000e+00 | -- | Inf
83.48/83.52 c 81.9s| 40000 | 29994 | 0 | 0.0 | 89M| 139 | - |3290 |4163 | 0 | 0 | 0 |5683 | 0 | 0.000000e+00 | -- | Inf
104.06/104.17 c 102s| 50000 | 35550 | 0 | 0.0 | 104M| 139 | - |3290 |4303 | 0 | 0 | 0 |7360 | 0 | 0.000000e+00 | -- | Inf
124.36/124.43 c 122s| 60000 | 40797 | 0 | 0.0 | 118M| 139 | - |3290 |4347 | 0 | 0 | 0 |9031 | 0 | 0.000000e+00 | -- | Inf
144.35/144.48 c 142s| 70000 | 45463 | 0 | 0.0 | 131M| 139 | - |3290 |4360 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
164.74/164.88 c 162s| 80000 | 49423 | 0 | 0.0 | 144M| 139 | - |3290 |4688 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
184.94/185.03 c 182s| 90000 | 53039 | 0 | 0.0 | 155M| 139 | - |3290 |5306 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
203.63/203.74 c 200s|100000 | 56499 | 0 | 0.0 | 166M| 139 | - |3290 |6404 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
221.73/221.80 c 218s|110000 | 59384 | 0 | 0.0 | 175M| 139 | - |3290 |7163 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
239.43/239.57 c 235s|120000 | 61413 | 0 | 0.0 | 185M| 139 | - |3290 |7988 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
264.32/264.44 c 259s|130000 | 68784 | 0 | 0.0 | 205M| 139 | - |3290 |4680 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
288.41/288.58 c 283s|140000 | 75946 | 0 | 0.0 | 225M| 139 | - |3290 |4703 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
312.50/312.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.50/312.60 c 307s|150000 | 82819 | 0 | 0.0 | 245M| 139 | - |3290 |4717 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
336.30/336.43 c 330s|160000 | 89367 | 0 | 0.0 | 263M| 139 | - |3290 |4777 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
359.99/360.15 c 354s|170000 | 95833 | 0 | 0.0 | 282M| 139 | - |3290 |4925 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
383.88/384.09 c 377s|180000 |102349 | 0 | 0.0 | 300M| 139 | - |3290 |4833 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
407.78/407.92 c 401s|190000 |108597 | 0 | 0.0 | 318M| 139 | - |3290 |4846 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
431.48/431.69 c 424s|200000 |114694 | 0 | 0.0 | 336M| 139 | - |3290 |4896 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
455.47/455.60 c 448s|210000 |120703 | 0 | 0.0 | 354M| 139 | - |3290 |4974 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
478.97/479.17 c 471s|220000 |126711 | 0 | 0.0 | 371M| 139 | - |3290 |5034 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
502.56/502.78 c 494s|230000 |132650 | 0 | 0.0 | 389M| 139 | - |3290 |4914 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
526.05/526.27 c 518s|240000 |138659 | 0 | 0.0 | 406M| 139 | - |3290 |4837 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
549.64/549.83 c 541s|250000 |144553 | 0 | 0.0 | 423M| 139 | - |3290 |4904 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
573.04/573.24 c 564s|260000 |150408 | 0 | 0.0 | 440M| 139 | - |3290 |5009 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
596.53/596.72 c 587s|270000 |156141 | 0 | 0.0 | 457M| 139 | - |3290 |4948 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
619.83/620.08 c 610s|280000 |161916 | 0 | 0.0 | 473M| 139 | - |3290 |5033 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
643.52/643.71 c 633s|290000 |167641 | 0 | 0.0 | 490M| 139 | - |3290 |5016 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
666.82/667.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.82/667.05 c 656s|300000 |173359 | 0 | 0.0 | 507M| 139 | - |3290 |4983 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
690.41/690.60 c 679s|310000 |179289 | 0 | 0.0 | 523M| 139 | - |3290 |4938 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
713.50/713.74 c 702s|320000 |184998 | 0 | 0.0 | 541M| 139 | - |3290 |4942 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
736.80/737.01 c 725s|330000 |190851 | 0 | 0.0 | 558M| 139 | - |3290 |5052 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
759.79/760.01 c 748s|340000 |196661 | 0 | 0.0 | 574M| 139 | - |3290 |5120 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
783.17/783.40 c 771s|350000 |202385 | 0 | 0.0 | 591M| 139 | - |3290 |5125 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
805.87/806.19 c 793s|360000 |208181 | 0 | 0.0 | 608M| 139 | - |3290 |5199 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
829.26/829.53 c 816s|370000 |213859 | 0 | 0.0 | 624M| 139 | - |3290 |5143 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
852.45/852.72 c 839s|380000 |219406 | 0 | 0.0 | 641M| 139 | - |3290 |5215 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
875.45/875.72 c 862s|390000 |224925 | 0 | 0.0 | 657M| 139 | - |3290 |5261 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
898.64/898.97 c 885s|400000 |230451 | 0 | 0.0 | 674M| 139 | - |3290 |5305 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
921.54/921.85 c 907s|410000 |235753 | 0 | 0.0 | 690M| 139 | - |3290 |5504 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
944.82/945.16 c 930s|420000 |241407 | 0 | 0.0 | 706M| 139 | - |3290 |5181 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
967.82/968.14 c 953s|430000 |246819 | 0 | 0.0 | 722M| 139 | - |3290 |5411 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
990.91/991.25 c 976s|440000 |252262 | 0 | 0.0 | 738M| 139 | - |3290 |5303 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1014.31/1014.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.31/1014.60 c 999s|450000 |257614 | 0 | 0.0 | 755M| 139 | - |3290 |5329 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1037.10/1037.48 c 1021s|460000 |262832 | 0 | 0.0 | 771M| 139 | - |3290 |5670 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1060.60/1060.96 c 1044s|470000 |268021 | 0 | 0.0 | 787M| 139 | - |3290 |5357 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1083.59/1083.99 c 1067s|480000 |273288 | 0 | 0.0 | 803M| 139 | - |3290 |5449 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1106.29/1106.64 c 1089s|490000 |278457 | 0 | 0.0 | 819M| 139 | - |3290 |5503 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1129.68/1130.03 c 1112s|500000 |283717 | 0 | 0.0 | 835M| 139 | - |3290 |5412 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1152.77/1153.17 c 1135s|510000 |288883 | 0 | 0.0 | 851M| 139 | - |3290 |5789 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1175.96/1176.31 c 1158s|520000 |294034 | 0 | 0.0 | 867M| 139 | - |3290 |5520 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1199.36/1199.76 c 1181s|530000 |299367 | 0 | 0.0 | 883M| 139 | - |3290 |5501 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1222.35/1222.78 c 1204s|540000 |304474 | 0 | 0.0 | 898M| 139 | - |3290 |5592 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1245.15/1245.53 c 1226s|550000 |309709 | 0 | 0.0 | 913M| 139 | - |3290 |5397 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1268.74/1269.20 c 1249s|560000 |314732 | 0 | 0.0 | 929M| 139 | - |3290 |5514 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1292.04/1292.43 c 1272s|570000 |319820 | 0 | 0.0 | 945M| 139 | - |3290 |5630 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1314.73/1315.13 c 1295s|580000 |324972 | 0 | 0.0 | 960M| 139 | - |3290 |5468 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1338.13/1338.55 c 1318s|590000 |330153 | 0 | 0.0 | 975M| 139 | - |3290 |5438 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1361.32/1361.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.32/1361.72 c 1341s|600000 |335081 | 0 | 0.0 | 990M| 139 | - |3290 |5642 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1384.01/1384.47 c 1363s|610000 |340160 | 0 | 0.0 |1006M| 139 | - |3290 |5655 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1407.70/1408.14 c 1386s|620000 |345352 | 0 | 0.0 |1021M| 139 | - |3290 |5557 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1431.30/1431.77 c 1410s|630000 |350079 | 0 | 0.0 |1036M| 139 | - |3290 |5767 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1454.19/1454.63 c 1432s|640000 |355078 | 0 | 0.0 |1051M| 139 | - |3290 |5680 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1477.69/1478.12 c 1455s|650000 |359954 | 0 | 0.0 |1066M| 139 | - |3290 |5514 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1501.17/1501.69 c 1478s|660000 |364895 | 0 | 0.0 |1081M| 139 | - |3290 |5811 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1524.27/1524.77 c 1501s|670000 |369821 | 0 | 0.0 |1096M| 139 | - |3290 |5766 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1547.07/1547.58 c 1524s|680000 |374807 | 0 | 0.0 |1111M| 139 | - |3290 |5568 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1570.86/1571.38 c 1547s|690000 |379745 | 0 | 0.0 |1126M| 139 | - |3290 |5727 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1594.25/1594.70 c 1570s|700000 |384618 | 0 | 0.0 |1140M| 139 | - |3290 |5755 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1617.05/1617.57 c 1593s|710000 |389387 | 0 | 0.0 |1155M| 139 | - |3290 |5829 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1640.65/1641.12 c 1616s|720000 |394204 | 0 | 0.0 |1170M| 139 | - |3290 |5688 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1664.54/1665.01 c 1639s|730000 |398954 | 0 | 0.0 |1184M| 139 | - |3290 |5828 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1687.73/1688.27 c 1662s|740000 |403615 | 0 | 0.0 |1199M| 139 | - |3290 |5776 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1710.43/1710.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.43/1710.92 c 1685s|750000 |408332 | 0 | 0.0 |1213M| 139 | - |3290 |5773 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1734.22/1734.73 c 1708s|760000 |413032 | 0 | 0.0 |1228M| 139 | - |3290 |5873 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1757.61/1758.17 c 1731s|770000 |417669 | 0 | 0.0 |1242M| 139 | - |3290 |5862 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1780.21/1780.75 c 1753s|780000 |422545 | 0 | 0.0 |1256M| 139 | - |3290 |5901 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1772.74
1800.01/1800.51 c Solving Nodes : 788475
1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 s UNKNOWN
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1772.74
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2663477-1276681699.opb
1800.01/1800.51 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 3392 initial, 3392 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2663477-1276681699.opb
1800.01/1800.51 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 3392 initial, 8182 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c and : 0.18 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 1 0 2147769 0 606739 4390 5566360 0 0 0
1800.01/1800.51 c setppc : 200 0 2336861 0 610422 11231 1024103 0 0 0
1800.01/1800.51 c and : 3090 0 2325630 0 610422 72 95218999 0 0 0
1800.01/1800.51 c linear : 1 0 2321438 0 610422 164072 187356 0 0 0
1800.01/1800.51 c logicor : 100+ 0 609413 0 610402 4067 7242804 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 610422 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c knapsack : 52.92 0.00 47.84 0.00 5.08
1800.01/1800.51 c setppc : 224.45 0.00 18.90 0.00 205.55
1800.01/1800.51 c and : 502.22 0.00 354.77 0.00 147.45
1800.01/1800.51 c linear : 152.83 0.00 151.83 0.00 1.00
1800.01/1800.51 c logicor : 98.73 0.00 88.94 0.00 9.79
1800.01/1800.51 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 1.23 1 0 0
1800.01/1800.51 c rootredcost : 1.39 0 0 0
1800.01/1800.51 c pseudoobj : 1.13 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 100.86 183832 101432 382791 77.2 1 62.0 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 157407 74.5 - - -
1800.01/1800.51 c applied locally : - - - 0 0.0 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 410.39 610422 0 0 0 0 1220844
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c trivial : 0.01 1 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c oneopt : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.00 0 0
1800.01/1800.51 c trysol : 0.00 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 788475
1800.01/1800.51 c nodes (total) : 788475
1800.01/1800.51 c nodes left : 426433
1800.01/1800.51 c max depth : 139
1800.01/1800.51 c max depth (total): 139
1800.01/1800.51 c backtracks : 18460 (2.3%)
1800.01/1800.51 c delayed cutoffs : 5937
1800.01/1800.51 c repropagations : 573463 (3295197 domain reductions, 5779 cutoffs)
1800.01/1800.51 c avg switch length: 4.53
1800.01/1800.51 c switching time : 262.33
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0
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-2663477-1276681699/watcher-2663477-1276681699 -o /tmp/evaluation-result-2663477-1276681699/solver-2663477-1276681699 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663477-1276681699.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/105 17664 /proc/meminfo: memFree=1735952/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=6584 CPUtime=0 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 1088 0 0 0 0 0 0 0 25 0 1 0 9463764 6742016 1011 1992294400 4194304 7136930 140734258831280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17664/statm: 1646 1020 254 719 0 925 0 [startup+0.0616389 s] /proc/loadavg: 1.00 1.00 1.00 3/105 17664 /proc/meminfo: memFree=1735952/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=17100 CPUtime=0.05 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 4123 0 0 0 4 1 0 0 25 0 1 0 9463764 17510400 3692 1992294400 4194304 7136930 140734258831280 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 4340 3700 284 719 0 3619 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17100 [startup+0.101644 s] /proc/loadavg: 1.00 1.00 1.00 3/105 17664 /proc/meminfo: memFree=1735952/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=20564 CPUtime=0.09 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 5027 0 0 0 7 2 0 0 25 0 1 0 9463764 21057536 4339 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 5141 4339 327 719 0 4420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20564 [startup+0.301665 s] /proc/loadavg: 1.00 1.00 1.00 3/105 17664 /proc/meminfo: memFree=1735952/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=23312 CPUtime=0.3 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 7035 0 0 0 19 11 0 0 25 0 1 0 9463764 23871488 5062 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 5828 5062 361 719 0 5107 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23312 [startup+0.70171 s] /proc/loadavg: 1.00 1.00 1.00 3/105 17664 /proc/meminfo: memFree=1735952/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=25840 CPUtime=0.69 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 8198 0 0 0 50 19 0 0 18 0 1 0 9463764 26460160 5711 1992294400 4194304 7136930 140734258831280 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 6460 5711 394 719 0 5739 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25840 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17665 /proc/meminfo: memFree=1714368/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=27008 CPUtime=1.49 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 8498 0 0 0 128 21 0 0 19 0 1 0 9463764 27656192 6011 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 6752 6011 394 719 0 6031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27008 [startup+3.10098 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17665 /proc/meminfo: memFree=1711516/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=30284 CPUtime=3.09 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 9310 0 0 0 286 23 0 0 22 0 1 0 9463764 31010816 6823 1992294400 4194304 7136930 140734258831280 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 7571 6823 394 719 0 6850 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30284 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17665 /proc/meminfo: memFree=1705564/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=35992 CPUtime=6.29 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 10699 0 0 0 601 28 0 0 25 0 1 0 9463764 36855808 8212 1992294400 4194304 7136930 140734258831280 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 8998 8212 394 719 0 8277 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35992 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17665 /proc/meminfo: memFree=1694900/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=46076 CPUtime=12.69 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 13186 0 0 0 1226 43 0 0 25 0 1 0 9463764 47181824 10699 1992294400 4194304 7136930 140734258831280 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 11519 10699 394 719 0 10798 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46076 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17665 /proc/meminfo: memFree=1676052/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=65052 CPUtime=25.48 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 17788 0 0 0 2487 61 0 0 25 0 1 0 9463764 66613248 15301 1992294400 4194304 7136930 140734258831280 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 16263 15301 394 719 0 15542 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65052 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17667 /proc/meminfo: memFree=1641580/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=102496 CPUtime=51.08 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 26640 0 0 0 5006 102 0 0 25 0 1 0 9463764 104955904 24153 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 25624 24153 394 719 0 24903 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 102496 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17667 /proc/meminfo: memFree=1589996/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=154412 CPUtime=102.27 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 39167 0 0 0 10041 186 0 0 25 0 1 0 9463764 158117888 36680 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 38603 36680 394 719 0 37882 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 154412 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17669 /proc/meminfo: memFree=1540272/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=208052 CPUtime=162.25 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 51863 0 0 0 15941 284 0 0 25 0 1 0 9463764 213045248 49376 1992294400 4194304 7136930 140734258831280 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 52013 49376 394 719 0 51292 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 208052 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17671 /proc/meminfo: memFree=1500592/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=248164 CPUtime=222.24 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 61460 0 0 0 21813 411 0 0 25 0 1 0 9463764 254119936 58973 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 62041 58973 394 719 0 61320 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 248164 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17673 /proc/meminfo: memFree=1451860/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=301436 CPUtime=282.22 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 73658 0 0 0 27713 509 0 0 25 0 1 0 9463764 308670464 71171 1992294400 4194304 7136930 140734258831280 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 75359 71171 394 719 0 74638 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 301436 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17675 /proc/meminfo: memFree=1399532/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=356684 CPUtime=342.2 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 86667 0 0 0 33626 594 0 0 25 0 1 0 9463764 365244416 84180 1992294400 4194304 7136930 140734258831280 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 89171 84180 394 719 0 88450 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 356684 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17675 /proc/meminfo: memFree=1354024/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=405952 CPUtime=402.18 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 98163 0 0 0 39542 676 0 0 25 0 1 0 9463764 415694848 95676 1992294400 4194304 7136930 140734258831280 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 101488 95676 394 719 0 100767 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 405952 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17677 /proc/meminfo: memFree=1303804/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=458804 CPUtime=462.16 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 110759 0 0 0 45453 763 0 0 25 0 1 0 9463764 469815296 108272 1992294400 4194304 7136930 140734258831280 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 114701 108272 394 719 0 113980 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 458804 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17679 /proc/meminfo: memFree=1260900/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=504184 CPUtime=522.15 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 121540 0 0 0 51363 852 0 0 25 0 1 0 9463764 516284416 119053 1992294400 4194304 7136930 140734258831280 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 126046 119053 394 719 0 125325 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 504184 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17681 /proc/meminfo: memFree=1212788/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=552188 CPUtime=582.13 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 133205 0 0 0 57272 941 0 0 25 0 1 0 9463764 565440512 130718 1992294400 4194304 7136930 140734258831280 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 138047 130718 394 719 0 137326 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 552188 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17683 /proc/meminfo: memFree=1165420/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=601220 CPUtime=642.12 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 144996 0 0 0 63188 1024 0 0 25 0 1 0 9463764 615649280 142509 1992294400 4194304 7136930 140734258831280 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 150305 142509 394 719 0 149584 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 601220 [startup+702.302 s] ################ # More data... # ################ /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 214226 0 0 0 98649 1552 0 0 25 0 1 0 9463764 922767360 211739 1992294400 4194304 7136930 140734258831280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 225285 211739 394 719 0 224564 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 901140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17702 /proc/meminfo: memFree=845624/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=945992 CPUtime=1061.99 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 224749 0 0 0 104560 1639 0 0 25 0 1 0 9463764 968695808 222262 1992294400 4194304 7136930 140734258831280 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 236498 222262 394 719 0 235777 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 945992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17704 /proc/meminfo: memFree=801108/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=994056 CPUtime=1121.99 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 235789 0 0 0 110470 1729 0 0 25 0 1 0 9463764 1017913344 233302 1992294400 4194304 7136930 140734258831280 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 248514 233302 394 719 0 247793 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 994056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17706 /proc/meminfo: memFree=752376/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1046644 CPUtime=1181.96 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 248067 0 0 0 116379 1817 0 0 25 0 1 0 9463764 1071763456 245580 1992294400 4194304 7136930 140734258831280 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 261661 245580 394 719 0 260940 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1046644 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17708 /proc/meminfo: memFree=707488/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1093272 CPUtime=1241.95 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 259071 0 0 0 122294 1901 0 0 25 0 1 0 9463764 1119510528 256584 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 273318 256584 394 719 0 272597 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1093272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17708 /proc/meminfo: memFree=667312/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1138364 CPUtime=1301.94 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 269061 0 0 0 128205 1989 0 0 25 0 1 0 9463764 1165684736 266574 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 284591 266574 394 719 0 283870 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1138364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17710 /proc/meminfo: memFree=630112/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1176868 CPUtime=1361.91 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 278371 0 0 0 134115 2076 0 0 25 0 1 0 9463764 1205112832 275884 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 294217 275884 394 719 0 293496 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1176868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17712 /proc/meminfo: memFree=582496/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1227296 CPUtime=1421.91 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 290189 0 0 0 140026 2165 0 0 25 0 1 0 9463764 1256751104 287702 1992294400 4194304 7136930 140734258831280 18446744073709551615 4641954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 306824 287702 394 719 0 306103 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1227296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17714 /proc/meminfo: memFree=549264/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1263220 CPUtime=1481.89 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 298501 0 0 0 145939 2250 0 0 25 0 1 0 9463764 1293537280 296014 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 315805 296014 394 719 0 315084 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1263220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17716 /proc/meminfo: memFree=511692/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1302052 CPUtime=1541.87 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 307868 0 0 0 151844 2343 0 0 25 0 1 0 9463764 1333301248 305381 1992294400 4194304 7136930 140734258831280 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 325513 305381 394 719 0 324792 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1302052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17716 /proc/meminfo: memFree=475360/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1339956 CPUtime=1601.86 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 317032 0 0 0 157757 2429 0 0 25 0 1 0 9463764 1372114944 314545 1992294400 4194304 7136930 140734258831280 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 334989 314545 394 719 0 334268 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1339956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17718 /proc/meminfo: memFree=436796/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1380104 CPUtime=1661.83 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 326528 0 0 0 163668 2515 0 0 25 0 1 0 9463764 1413226496 324041 1992294400 4194304 7136930 140734258831280 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 345026 324041 394 719 0 344305 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1380104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17720 /proc/meminfo: memFree=389428/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1429524 CPUtime=1721.82 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 338327 0 0 0 169574 2608 0 0 25 0 1 0 9463764 1463832576 335840 1992294400 4194304 7136930 140734258831280 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 357381 335840 394 719 0 356660 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1429524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17722 /proc/meminfo: memFree=349748/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1470844 CPUtime=1781.81 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 348165 0 0 0 175486 2695 0 0 25 0 1 0 9463764 1506144256 345678 1992294400 4194304 7136930 140734258831280 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 367711 345678 394 719 0 366990 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1470844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17722 /proc/meminfo: memFree=339580/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1481384 CPUtime=1800.01 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 350704 0 0 0 177277 2724 0 0 25 0 1 0 9463764 1516937216 348217 1992294400 4194304 7136930 140734258831280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17664/statm: 370346 348217 394 719 0 369625 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1481384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17664 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17723 /proc/meminfo: memFree=339572/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1481384 CPUtime=1800.9 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 350709 0 0 0 177366 2724 0 0 25 0 1 0 9463764 1516937216 348222 1992294400 4194304 7136930 140734258831280 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17664/statm: 370346 348222 399 719 0 369625 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 1481384 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17723 /proc/meminfo: memFree=339820/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=1472676 CPUtime=1801.7 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4202496 350709 0 0 0 177446 2724 0 0 25 0 1 0 9463764 1508020224 346045 1992294400 4194304 7136930 140734258831280 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17664/statm: 368169 346045 399 719 0 367448 0 Current children cumulated CPU time (s) 1801.7 Current children cumulated vsize (KiB) 1472676 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17723 /proc/meminfo: memFree=339820/2059040 swapFree=4192956/4192956 [pid=17664] ppid=17662 vsize=0 CPUtime=1802.1 /proc/17664/stat : 17664 (pbscip.linux.x8) R 17662 17664 16409 0 -1 4203524 350709 0 0 0 177476 2734 0 0 25 0 1 0 9463764 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/17664/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.63 CPU time (s): 1802.14 CPU user time (s): 1774.77 CPU system time (s): 27.3718 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1481384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.77 system time used= 27.3718 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 350709 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= 2 involuntary context switches= 20259 runsolver used 2.93155 second user time and 8.5597 second system time The end
Begin job on node085 at 2010-06-16 11:48:19 IDJOB=2663477 IDBENCH=48355 IDSOLVER=1167 FILE ID=node085/2663477-1276681699 PBS_JOBID= 11172523 Free space on /tmp= 121872 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_100_25_3_40.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-2663477-1276681699/watcher-2663477-1276681699 -o /tmp/evaluation-result-2663477-1276681699/solver-2663477-1276681699 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663477-1276681699.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6ddc144a63b87021a78f3fe4530ac86f RANDOM SEED=574887414 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1736604 kB Buffers: 63800 kB Cached: 121992 kB SwapCached: 0 kB Active: 128208 kB Inactive: 117016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1736604 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3320 kB Writeback: 4 kB AnonPages: 59396 kB Mapped: 15444 kB Slab: 55612 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182528 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= 121868 MiB End job on node085 at 2010-06-16 12:18:22