| 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_2_40.opb |
| MD5SUM | 9cbb63659aad73a7ceefd89db6573bef |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 224.685 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6148 |
| Sum of products size (including duplicates) | 12296 |
| Number of different products | 3074 |
| Sum of products size | 6148 |
0.00/0.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-2663493-1276683597.opb>
0.02/0.04 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.02/0.04 c problem read
0.02/0.04 c No objective function, only one solution is needed.
0.02/0.04 c presolving settings loaded
0.02/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.02/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, 24792 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 24792 implications, 200 cliques
0.39/0.47 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 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 3074 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.25
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.3s| 1 | 2 | 0 | - |8767k| 0 | - |3274 |3376 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.69/19.74 c 19.2s| 10000 | 7923 | 0 | 0.0 | 29M| 139 | - |3274 |3706 | 0 | 0 | 0 |1373 | 0 | 0.000000e+00 | -- | Inf
41.27/41.39 c 40.5s| 20000 | 16091 | 0 | 0.0 | 52M| 139 | - |3274 |4128 | 0 | 0 | 0 |2992 | 0 | 0.000000e+00 | -- | Inf
62.68/62.78 c 61.6s| 30000 | 23310 | 0 | 0.0 | 73M| 139 | - |3274 |4290 | 0 | 0 | 0 |4523 | 0 | 0.000000e+00 | -- | Inf
83.57/83.69 c 82.2s| 40000 | 29644 | 0 | 0.0 | 90M| 139 | - |3274 |4271 | 0 | 0 | 0 |5815 | 0 | 0.000000e+00 | -- | Inf
104.26/104.30 c 102s| 50000 | 35349 | 0 | 0.0 | 106M| 139 | - |3274 |4169 | 0 | 0 | 0 |6906 | 0 | 0.000000e+00 | -- | Inf
124.35/124.49 c 122s| 60000 | 40508 | 0 | 0.0 | 120M| 139 | - |3274 |4269 | 0 | 0 | 0 |8292 | 0 | 0.000000e+00 | -- | Inf
144.45/144.54 c 142s| 70000 | 45245 | 0 | 0.0 | 133M| 139 | - |3274 |4281 | 0 | 0 | 0 |9819 | 0 | 0.000000e+00 | -- | Inf
164.55/164.68 c 162s| 80000 | 49497 | 0 | 0.0 | 145M| 139 | - |3274 |4253 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
184.14/184.28 c 181s| 90000 | 53163 | 0 | 0.0 | 156M| 139 | - |3274 |4411 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
201.94/202.06 c 198s|100000 | 56496 | 0 | 0.0 | 167M| 139 | - |3274 |4805 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
219.23/219.35 c 215s|110000 | 59349 | 0 | 0.0 | 176M| 139 | - |3274 |5351 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
235.23/235.31 c 231s|120000 | 61507 | 0 | 0.0 | 185M| 139 | - |3274 |6312 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
259.12/259.26 c 254s|130000 | 68421 | 0 | 0.0 | 204M| 139 | - |3274 |4452 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
283.62/283.71 c 278s|140000 | 75530 | 0 | 0.0 | 223M| 139 | - |3274 |4547 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
307.92/308.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.92/308.02 c 302s|150000 | 82296 | 0 | 0.0 | 241M| 139 | - |3274 |4558 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
332.10/332.25 c 326s|160000 | 88878 | 0 | 0.0 | 259M| 139 | - |3274 |4583 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
356.49/356.65 c 350s|170000 | 95035 | 0 | 0.0 | 276M| 139 | - |3274 |4527 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
380.79/380.98 c 374s|180000 |101550 | 0 | 0.0 | 293M| 139 | - |3274 |4523 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
405.08/405.21 c 398s|190000 |107964 | 0 | 0.0 | 311M| 139 | - |3274 |4508 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
429.08/429.24 c 422s|200000 |114338 | 0 | 0.0 | 329M| 139 | - |3274 |4522 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
452.97/453.19 c 446s|210000 |120334 | 0 | 0.0 | 346M| 139 | - |3274 |4596 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
476.66/476.82 c 469s|220000 |126560 | 0 | 0.0 | 364M| 139 | - |3274 |4663 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
500.05/500.29 c 492s|230000 |132591 | 0 | 0.0 | 381M| 139 | - |3274 |4771 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
523.85/524.06 c 516s|240000 |138642 | 0 | 0.0 | 398M| 139 | - |3274 |4693 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
547.24/547.44 c 539s|250000 |144434 | 0 | 0.0 | 415M| 139 | - |3274 |4777 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
570.43/570.68 c 561s|260000 |150334 | 0 | 0.0 | 432M| 139 | - |3274 |4888 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
593.74/593.98 c 584s|270000 |156274 | 0 | 0.0 | 449M| 139 | - |3274 |4762 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
617.02/617.29 c 607s|280000 |161895 | 0 | 0.0 | 466M| 139 | - |3274 |4851 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
640.41/640.67 c 630s|290000 |167678 | 0 | 0.0 | 483M| 139 | - |3274 |4924 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
663.41/663.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.41/663.60 c 653s|300000 |173246 | 0 | 0.0 | 499M| 139 | - |3274 |4871 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
687.00/687.25 c 676s|310000 |178894 | 0 | 0.0 | 516M| 139 | - |3274 |4932 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
710.10/710.30 c 699s|320000 |184678 | 0 | 0.0 | 533M| 139 | - |3274 |4708 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
733.50/733.77 c 722s|330000 |190187 | 0 | 0.0 | 549M| 139 | - |3274 |5014 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
756.38/756.64 c 745s|340000 |195959 | 0 | 0.0 | 565M| 139 | - |3274 |4777 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
779.59/779.80 c 768s|350000 |201405 | 0 | 0.0 | 582M| 139 | - |3274 |4959 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
802.37/802.62 c 790s|360000 |207053 | 0 | 0.0 | 598M| 139 | - |3274 |4739 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
825.36/825.60 c 813s|370000 |212620 | 0 | 0.0 | 615M| 139 | - |3274 |4967 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
848.36/848.62 c 836s|380000 |218053 | 0 | 0.0 | 631M| 139 | - |3274 |4869 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
871.05/871.39 c 858s|390000 |223594 | 0 | 0.0 | 647M| 139 | - |3274 |4836 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
894.35/894.65 c 881s|400000 |228930 | 0 | 0.0 | 663M| 139 | - |3274 |4849 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
916.94/917.25 c 903s|410000 |234364 | 0 | 0.0 | 679M| 139 | - |3274 |4876 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
940.14/940.47 c 926s|420000 |239581 | 0 | 0.0 | 696M| 139 | - |3274 |4971 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
963.02/963.38 c 949s|430000 |244916 | 0 | 0.0 | 712M| 139 | - |3274 |4880 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
985.92/986.22 c 971s|440000 |250354 | 0 | 0.0 | 728M| 139 | - |3274 |4929 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1009.42/1009.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.42/1009.72 c 994s|450000 |255531 | 0 | 0.0 | 744M| 139 | - |3274 |4963 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1032.11/1032.48 c 1017s|460000 |260879 | 0 | 0.0 | 760M| 139 | - |3274 |4976 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1055.10/1055.49 c 1039s|470000 |266117 | 0 | 0.0 | 776M| 139 | - |3274 |5014 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1078.10/1078.44 c 1062s|480000 |271259 | 0 | 0.0 | 792M| 139 | - |3274 |4912 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1100.59/1100.98 c 1084s|490000 |276482 | 0 | 0.0 | 808M| 139 | - |3274 |4947 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1123.79/1124.17 c 1107s|500000 |281629 | 0 | 0.0 | 823M| 139 | - |3274 |4994 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1146.89/1147.21 c 1130s|510000 |286717 | 0 | 0.0 | 839M| 139 | - |3274 |4848 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1169.37/1169.75 c 1152s|520000 |291927 | 0 | 0.0 | 855M| 139 | - |3274 |4890 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1192.66/1193.03 c 1175s|530000 |296949 | 0 | 0.0 | 870M| 139 | - |3274 |4899 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1215.45/1215.88 c 1197s|540000 |302075 | 0 | 0.0 | 885M| 139 | - |3274 |4878 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1237.95/1238.32 c 1220s|550000 |307295 | 0 | 0.0 | 901M| 139 | - |3274 |4880 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1261.25/1261.67 c 1243s|560000 |312212 | 0 | 0.0 | 916M| 139 | - |3274 |4941 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1284.14/1284.60 c 1265s|570000 |317206 | 0 | 0.0 | 932M| 139 | - |3274 |4875 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1306.64/1307.04 c 1287s|580000 |322240 | 0 | 0.0 | 947M| 139 | - |3274 |4914 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1329.93/1330.38 c 1310s|590000 |327135 | 0 | 0.0 | 962M| 139 | - |3274 |4898 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1353.03/1353.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.03/1353.45 c 1333s|600000 |332076 | 0 | 0.0 | 977M| 139 | - |3274 |4903 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1375.52/1375.96 c 1355s|610000 |336995 | 0 | 0.0 | 992M| 139 | - |3274 |5104 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1398.51/1398.97 c 1378s|620000 |341905 | 0 | 0.0 |1007M| 139 | - |3274 |4919 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1421.60/1422.04 c 1401s|630000 |346881 | 0 | 0.0 |1022M| 139 | - |3274 |4876 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1444.10/1444.52 c 1423s|640000 |351817 | 0 | 0.0 |1037M| 139 | - |3274 |5003 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1466.79/1467.26 c 1445s|650000 |356848 | 0 | 0.0 |1052M| 139 | - |3274 |4808 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1490.09/1490.51 c 1468s|660000 |361608 | 0 | 0.0 |1066M| 139 | - |3274 |4822 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1512.88/1513.30 c 1491s|670000 |366410 | 0 | 0.0 |1081M| 139 | - |3274 |4982 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1534.98/1535.42 c 1512s|680000 |371388 | 0 | 0.0 |1096M| 139 | - |3274 |5003 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1557.97/1558.44 c 1535s|690000 |376322 | 0 | 0.0 |1110M| 139 | - |3274 |4880 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1580.96/1581.50 c 1558s|700000 |381010 | 0 | 0.0 |1125M| 139 | - |3274 |5055 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1603.46/1603.94 c 1580s|710000 |385802 | 0 | 0.0 |1140M| 139 | - |3274 |5131 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1626.15/1626.61 c 1602s|720000 |390515 | 0 | 0.0 |1154M| 139 | - |3274 |5020 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1649.45/1650.00 c 1625s|730000 |395274 | 0 | 0.0 |1169M| 139 | - |3274 |4938 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1671.94/1672.43 c 1647s|740000 |400165 | 0 | 0.0 |1183M| 139 | - |3274 |5093 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1694.23/1694.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.23/1694.79 c 1670s|750000 |404870 | 0 | 0.0 |1197M| 139 | - |3274 |5066 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1717.23/1717.75 c 1692s|760000 |409520 | 0 | 0.0 |1211M| 139 | - |3274 |4939 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1740.42/1740.92 c 1715s|770000 |414303 | 0 | 0.0 |1226M| 139 | - |3274 |4960 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1763.02/1763.52 c 1737s|780000 |418924 | 0 | 0.0 |1240M| 139 | - |3274 |5053 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1785.31/1785.83 c 1759s|790000 |423631 | 0 | 0.0 |1254M| 139 | - |3274 |5006 | 0 | 0 | 0 | 117k| 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) : 1773.79
1800.01/1800.51 c Solving Nodes : 796232
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 : 1773.79
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2663493-1276683597.opb
1800.01/1800.51 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 3376 initial, 3376 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2663493-1276683597.opb
1800.01/1800.51 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 3376 initial, 6676 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.02 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.20 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 1986229 0 610291 4144 5691319 0 0 0
1800.01/1800.51 c setppc : 200 0 2180990 0 614292 11612 952061 0 0 0
1800.01/1800.51 c and : 3074 0 2169378 0 614292 75 97212613 0 0 0
1800.01/1800.51 c linear : 1 0 2164684 0 614292 167527 213627 0 0 0
1800.01/1800.51 c logicor : 100+ 0 584165 0 614277 4345 7407418 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 614292 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 : 54.08 0.00 48.47 0.00 5.61
1800.01/1800.51 c setppc : 221.13 0.00 19.57 0.00 201.56
1800.01/1800.51 c and : 515.00 0.00 359.84 0.00 155.16
1800.01/1800.51 c linear : 158.67 0.00 157.86 0.00 0.81
1800.01/1800.51 c logicor : 92.73 0.00 80.90 0.00 11.83
1800.01/1800.51 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 1.44 1 0 0
1800.01/1800.51 c rootredcost : 1.20 0 0 0
1800.01/1800.51 c pseudoobj : 1.01 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 : 105.60 187703 73473 228921 78.3 6 84.7 -
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 : - - - 117621 74.1 - - -
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 : 401.47 614292 0 0 0 0 1228584
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.00 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 : 796232
1800.01/1800.51 c nodes (total) : 796232
1800.01/1800.51 c nodes left : 426425
1800.01/1800.51 c max depth : 139
1800.01/1800.51 c max depth (total): 139
1800.01/1800.51 c backtracks : 18489 (2.3%)
1800.01/1800.51 c delayed cutoffs : 5928
1800.01/1800.51 c repropagations : 398625 (2463516 domain reductions, 5763 cutoffs)
1800.01/1800.51 c avg switch length: 4.14
1800.01/1800.51 c switching time : 264.86
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-2663493-1276683597/watcher-2663493-1276683597 -o /tmp/evaluation-result-2663493-1276683597/solver-2663493-1276683597 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663493-1276683597.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.14 1.02 1.01 3/105 17815 /proc/meminfo: memFree=1733972/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=6584 CPUtime=0 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 1072 0 0 0 0 0 0 0 25 0 1 0 9653511 6742016 995 1992294400 4194304 7136930 140734725696304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17815/statm: 1646 1005 254 719 0 925 0 [startup+0.026133 s] /proc/loadavg: 1.14 1.02 1.01 3/105 17815 /proc/meminfo: memFree=1733972/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=11132 CPUtime=0.02 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 2276 0 0 0 2 0 0 0 25 0 1 0 9653511 11399168 2199 1992294400 4194304 7136930 140734725696304 18446744073709551615 6341103 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17815/statm: 2783 2199 269 719 0 2062 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11132 [startup+0.101142 s] /proc/loadavg: 1.14 1.02 1.01 3/105 17815 /proc/meminfo: memFree=1733972/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=21532 CPUtime=0.09 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 5027 0 0 0 8 1 0 0 25 0 1 0 9653511 22048768 4596 1992294400 4194304 7136930 140734725696304 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 5383 4596 327 719 0 4662 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21532 [startup+0.301163 s] /proc/loadavg: 1.14 1.02 1.01 3/105 17815 /proc/meminfo: memFree=1733972/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=23280 CPUtime=0.29 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 7021 0 0 0 21 8 0 0 25 0 1 0 9653511 23838720 5048 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 5820 5048 361 719 0 5099 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23280 [startup+0.701209 s] /proc/loadavg: 1.14 1.02 1.01 3/105 17815 /proc/meminfo: memFree=1733972/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=25792 CPUtime=0.69 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 8190 0 0 0 52 17 0 0 25 0 1 0 9653511 26411008 5703 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 6448 5703 394 719 0 5727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25792 [startup+1.5013 s] /proc/loadavg: 1.14 1.02 1.01 2/106 17816 /proc/meminfo: memFree=1712264/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=26864 CPUtime=1.49 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 8458 0 0 0 131 18 0 0 25 0 1 0 9653511 27508736 5971 1992294400 4194304 7136930 140734725696304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 6716 5971 394 719 0 5995 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26864 [startup+3.10148 s] /proc/loadavg: 1.14 1.02 1.01 2/106 17816 /proc/meminfo: memFree=1709412/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=30060 CPUtime=3.09 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 9241 0 0 0 290 19 0 0 25 0 1 0 9653511 30781440 6754 1992294400 4194304 7136930 140734725696304 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 7515 6762 394 719 0 6794 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30060 [startup+6.30084 s] /proc/loadavg: 1.13 1.02 1.00 2/106 17816 /proc/meminfo: memFree=1704452/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=34688 CPUtime=6.29 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 10404 0 0 0 604 25 0 0 25 0 1 0 9653511 35520512 7917 1992294400 4194304 7136930 140734725696304 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 8672 7917 394 719 0 7951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34688 [startup+12.7006 s] /proc/loadavg: 1.12 1.02 1.00 2/106 17818 /proc/meminfo: memFree=1693788/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=45692 CPUtime=12.69 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 13104 0 0 0 1230 39 0 0 25 0 1 0 9653511 46788608 10617 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 11423 10617 394 719 0 10702 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45692 [startup+25.501 s] /proc/loadavg: 1.09 1.01 1.00 2/106 17818 /proc/meminfo: memFree=1673700/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=66104 CPUtime=25.49 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 17986 0 0 0 2490 59 0 0 25 0 1 0 9653511 67690496 15499 1992294400 4194304 7136930 140734725696304 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 16526 15499 394 719 0 15805 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66104 [startup+51.1009 s] /proc/loadavg: 1.06 1.01 1.00 2/106 17818 /proc/meminfo: memFree=1638484/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=103616 CPUtime=51.08 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 26859 0 0 0 5010 98 0 0 25 0 1 0 9653511 106102784 24372 1992294400 4194304 7136930 140734725696304 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 25904 24372 394 719 0 25183 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 103616 [startup+102.309 s] /proc/loadavg: 1.02 1.01 1.00 2/106 17820 /proc/meminfo: memFree=1584172/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=158716 CPUtime=102.26 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 40071 0 0 0 10051 175 0 0 25 0 1 0 9653511 162525184 37584 1992294400 4194304 7136930 140734725696304 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 39679 37584 394 719 0 38958 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 158716 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/106 17822 /proc/meminfo: memFree=1538540/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=205856 CPUtime=162.25 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 51483 0 0 0 15951 274 0 0 25 0 1 0 9653511 210796544 48996 1992294400 4194304 7136930 140734725696304 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 51464 48996 394 719 0 50743 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 205856 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17822 /proc/meminfo: memFree=1497868/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=248084 CPUtime=222.23 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 61584 0 0 0 21820 403 0 0 25 0 1 0 9653511 254038016 59097 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 62021 59097 394 719 0 61300 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 248084 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17824 /proc/meminfo: memFree=1452112/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=299528 CPUtime=282.21 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 73366 0 0 0 27713 508 0 0 25 0 1 0 9653511 306716672 70879 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 74882 70879 394 719 0 74161 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 299528 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17826 /proc/meminfo: memFree=1400900/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=351432 CPUtime=342.19 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 85793 0 0 0 33627 592 0 0 25 0 1 0 9653511 359866368 83306 1992294400 4194304 7136930 140734725696304 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 87858 83306 394 719 0 87137 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 351432 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17828 /proc/meminfo: memFree=1353904/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=400600 CPUtime=402.18 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 97481 0 0 0 39546 672 0 0 25 0 1 0 9653511 410214400 94994 1992294400 4194304 7136930 140734725696304 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 100150 94994 394 719 0 99429 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 400600 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17830 /proc/meminfo: memFree=1310876/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=445420 CPUtime=462.16 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 108205 0 0 0 45463 753 0 0 25 0 1 0 9653511 456110080 105718 1992294400 4194304 7136930 140734725696304 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 111355 105718 394 719 0 110634 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 445420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17830 /proc/meminfo: memFree=1264624/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=493672 CPUtime=522.15 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 119721 0 0 0 51379 836 0 0 25 0 1 0 9653511 505520128 117234 1992294400 4194304 7136930 140734725696304 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 123418 117234 394 719 0 122697 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 493672 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17832 /proc/meminfo: memFree=1217628/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=541532 CPUtime=582.13 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 131467 0 0 0 57298 915 0 0 25 0 1 0 9653511 554528768 128980 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 135383 128980 394 719 0 134662 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 541532 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17834 /proc/meminfo: memFree=1174352/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=588704 CPUtime=642.12 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 142246 0 0 0 63211 1001 0 0 25 0 1 0 9653511 602832896 139759 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 147176 139759 394 719 0 146455 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 588704 [startup+702.301 s] ################ # More data... # ################ /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 209339 0 0 0 98694 1508 0 0 25 0 1 0 9653511 891875328 206852 1992294400 4194304 7136930 140734725696304 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 217743 206852 394 719 0 217022 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 870972 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17849 /proc/meminfo: memFree=861252/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=919380 CPUtime=1062 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 220525 0 0 0 104609 1591 0 0 25 0 1 0 9653511 941445120 218038 1992294400 4194304 7136930 140734725696304 18446744073709551615 4783034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 229845 218038 394 719 0 229124 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 919380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17849 /proc/meminfo: memFree=815496/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=967856 CPUtime=1121.98 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 231681 0 0 0 110522 1676 0 0 25 0 1 0 9653511 991084544 229194 1992294400 4194304 7136930 140734725696304 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 241964 229194 394 719 0 241243 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 967856 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17851 /proc/meminfo: memFree=778172/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1006756 CPUtime=1181.97 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 240922 0 0 0 116438 1759 0 0 25 0 1 0 9653511 1030918144 238435 1992294400 4194304 7136930 140734725696304 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 251689 238435 394 719 0 250968 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1006756 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17853 /proc/meminfo: memFree=739484/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1048120 CPUtime=1241.95 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 250568 0 0 0 122350 1845 0 0 25 0 1 0 9653511 1073274880 248081 1992294400 4194304 7136930 140734725696304 18446744073709551615 4780915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 262030 248081 394 719 0 261309 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1048120 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17855 /proc/meminfo: memFree=689636/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1101556 CPUtime=1301.95 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 262939 0 0 0 128270 1925 0 0 25 0 1 0 9653511 1127993344 260452 1992294400 4194304 7136930 140734725696304 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 275389 260452 394 719 0 274668 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1101556 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17857 /proc/meminfo: memFree=650328/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1143540 CPUtime=1361.92 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 272745 0 0 0 134184 2008 0 0 25 0 1 0 9653511 1170984960 270258 1992294400 4194304 7136930 140734725696304 18446744073709551615 4781282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 285885 270258 394 719 0 285164 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1143540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17857 /proc/meminfo: memFree=601844/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1194424 CPUtime=1421.91 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 284863 0 0 0 140099 2092 0 0 25 0 1 0 9653511 1223090176 282376 1992294400 4194304 7136930 140734725696304 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 298606 282376 394 719 0 297885 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1194424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17859 /proc/meminfo: memFree=561172/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1236972 CPUtime=1481.89 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 295030 0 0 0 146011 2178 0 0 25 0 1 0 9653511 1266659328 292543 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 309243 292543 394 719 0 308522 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1236972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17861 /proc/meminfo: memFree=515044/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1284512 CPUtime=1541.87 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 306539 0 0 0 151924 2263 0 0 25 0 1 0 9653511 1315340288 304052 1992294400 4194304 7136930 140734725696304 18446744073709551615 4676271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 321128 304052 394 719 0 320407 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1284512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17863 /proc/meminfo: memFree=477348/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1323788 CPUtime=1601.86 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 315951 0 0 0 157836 2350 0 0 25 0 1 0 9653511 1355558912 313464 1992294400 4194304 7136930 140734725696304 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 330947 313464 394 719 0 330226 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1323788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17865 /proc/meminfo: memFree=441016/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1360292 CPUtime=1661.84 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 324964 0 0 0 163754 2430 0 0 25 0 1 0 9653511 1392939008 322477 1992294400 4194304 7136930 140734725696304 18446744073709551615 5126239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 340073 322477 394 719 0 339352 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1360292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17865 /proc/meminfo: memFree=400964/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1403616 CPUtime=1721.83 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 335180 0 0 0 169673 2510 0 0 25 0 1 0 9653511 1437302784 332693 1992294400 4194304 7136930 140734725696304 18446744073709551615 5909174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 350904 332693 394 719 0 350183 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1403616 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17867 /proc/meminfo: memFree=364632/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1438848 CPUtime=1781.81 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 343925 0 0 0 175588 2593 0 0 25 0 1 0 9653511 1473380352 341438 1992294400 4194304 7136930 140734725696304 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 359712 341438 394 719 0 358991 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1438848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17867 /proc/meminfo: memFree=355332/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1448344 CPUtime=1800.01 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 346256 0 0 0 177382 2619 0 0 25 0 1 0 9653511 1483104256 343769 1992294400 4194304 7136930 140734725696304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17815/statm: 362086 343769 394 719 0 361365 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1448344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17815 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 17868 /proc/meminfo: memFree=355324/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1448344 CPUtime=1800.9 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 346261 0 0 0 177471 2619 0 0 25 0 1 0 9653511 1483104256 343774 1992294400 4194304 7136930 140734725696304 18446744073709551615 4212411 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17815/statm: 362086 343774 399 719 0 361365 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 1448344 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17868 /proc/meminfo: memFree=355324/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=1443716 CPUtime=1801.7 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4202496 346261 0 0 0 177551 2619 0 0 25 0 1 0 9653511 1478365184 342617 1992294400 4194304 7136930 140734725696304 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17815/statm: 360929 342617 399 719 0 360208 0 Current children cumulated CPU time (s) 1801.7 Current children cumulated vsize (KiB) 1443716 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17868 /proc/meminfo: memFree=355324/2059040 swapFree=4192956/4192956 [pid=17815] ppid=17813 vsize=0 CPUtime=1802.1 /proc/17815/stat : 17815 (pbscip.linux.x8) R 17813 17815 17745 0 -1 4203524 346261 0 0 0 177581 2629 0 0 25 0 1 0 9653511 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/17815/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): 1775.82 CPU system time (s): 26.324 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1448344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.82 system time used= 26.324 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346261 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= 1 involuntary context switches= 22071 runsolver used 2.95255 second user time and 8.5407 second system time The end
Begin job on node085 at 2010-06-16 12:19:57 IDJOB=2663493 IDBENCH=48371 IDSOLVER=1167 FILE ID=node085/2663493-1276683597 PBS_JOBID= 11172582 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_2_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-2663493-1276683597/watcher-2663493-1276683597 -o /tmp/evaluation-result-2663493-1276683597/solver-2663493-1276683597 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663493-1276683597.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cbb63659aad73a7ceefd89db6573bef RANDOM SEED=277233297 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: 1734500 kB Buffers: 65780 kB Cached: 122048 kB SwapCached: 0 kB Active: 128296 kB Inactive: 119052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734500 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3272 kB Writeback: 0 kB AnonPages: 59416 kB Mapped: 15432 kB Slab: 55624 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 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:50:00