| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.16 | 1802.84 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb |
| MD5SUM | 9100923ff6d9c8d4da1b288858ed91b3 |
| 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 | 270.509 |
| 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) | 6124 |
| Sum of products size (including duplicates) | 12248 |
| Number of different products | 3062 |
| Sum of products size | 6124 |
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-2663442-1276678711.opb>
0.00/0.04 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 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.00/0.08 c presolving:
0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24696 impls, 200 clqs
0.49/0.50 c presolving (2 rounds):
0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 24696 implications, 200 cliques
0.49/0.50 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.49/0.50 c 1 constraints of type <knapsack>
0.49/0.50 c 200 constraints of type <setppc>
0.49/0.50 c 3062 constraints of type <and>
0.49/0.50 c 1 constraints of type <linear>
0.49/0.50 c 100 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.22
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 1.2.1.2
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1799.96
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 1620
0.49/0.50 c
0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c limits/solutions = 1
0.49/0.50 c
0.49/0.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c lp/solvefreq = -1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50 c separating/maxrounds = 1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/maxroundsroot = 5
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50 c constraints/knapsack/disaggregation = FALSE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c presolving/probing/maxrounds = 0
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/coefdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50 c heuristics/crossover/freq = -1
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/crossover/nodesofs = 750
0.49/0.50 c
0.49/0.50 c # number of nodes without incumbent change that heuristic should wait
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50 c heuristics/crossover/nwaitingnodes = 100
0.49/0.50 c
0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50 c # [type: real, range: [0,1], default: 0.1]
0.49/0.50 c heuristics/crossover/nodesquot = 0.15
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixed
0.49/0.50 c # [type: real, range: [0,1], default: 0.666]
0.49/0.50 c heuristics/crossover/minfixingrate = 0.5
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/feaspump/freq = -1
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/fracdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/guideddiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/intshifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/linesearchdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/nlp/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/objpscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50 c # [type: real, range: [0,1], default: 0.01]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/oneopt/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/pscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/rens/freq = -1
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixable
0.49/0.50 c # [type: real, range: [0,1], default: 0.5]
0.49/0.50 c heuristics/rens/minfixingrate = 0.3
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/rens/nodesofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/rootsoldiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/rounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/shifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/simplerounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/trivial/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/trysol/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/veclendiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/zirounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/cmir/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/flowcover/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.50 c
0.49/0.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.50 c 0.2s| 1 | 2 | 0 | - |8736k| 0 | - |3262 |3364 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.88/19.97 c 19.4s| 10000 | 7755 | 0 | 0.0 | 28M| 141 | - |3262 |3788 | 0 | 0 | 0 |1366 | 0 | 0.000000e+00 | -- | Inf
41.88/41.95 c 41.0s| 20000 | 16093 | 0 | 0.0 | 51M| 141 | - |3262 |3912 | 0 | 0 | 0 |2796 | 0 | 0.000000e+00 | -- | Inf
63.57/63.67 c 62.3s| 30000 | 23527 | 0 | 0.0 | 73M| 141 | - |3262 |4074 | 0 | 0 | 0 |4529 | 0 | 0.000000e+00 | -- | Inf
85.07/85.15 c 83.4s| 40000 | 29810 | 0 | 0.0 | 91M| 141 | - |3262 |4208 | 0 | 0 | 0 |6154 | 0 | 0.000000e+00 | -- | Inf
106.36/106.41 c 104s| 50000 | 35384 | 0 | 0.0 | 106M| 141 | - |3262 |4171 | 0 | 0 | 0 |7675 | 0 | 0.000000e+00 | -- | Inf
127.35/127.49 c 125s| 60000 | 40194 | 0 | 0.0 | 121M| 141 | - |3262 |4200 | 0 | 0 | 0 |9557 | 0 | 0.000000e+00 | -- | Inf
148.13/148.21 c 145s| 70000 | 44948 | 0 | 0.0 | 134M| 141 | - |3262 |4360 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
168.82/168.97 c 166s| 80000 | 49122 | 0 | 0.0 | 146M| 141 | - |3262 |4496 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
189.81/189.94 c 186s| 90000 | 52756 | 0 | 0.0 | 158M| 141 | - |3262 |4737 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
210.10/210.27 c 206s|100000 | 55899 | 0 | 0.0 | 169M| 141 | - |3262 |5265 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
229.80/229.91 c 225s|110000 | 58581 | 0 | 0.0 | 179M| 141 | - |3262 |6366 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
247.99/248.16 c 243s|120000 | 61163 | 0 | 0.0 | 188M| 141 | - |3262 |7185 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
270.18/270.33 c 265s|130000 | 66476 | 0 | 0.0 | 204M| 141 | - |3262 |4427 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
295.47/295.69 c 290s|140000 | 73543 | 0 | 0.0 | 222M| 141 | - |3262 |4324 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
320.46/320.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.46/320.63 c 315s|150000 | 80346 | 0 | 0.0 | 240M| 141 | - |3262 |4530 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
344.95/345.13 c 339s|160000 | 87092 | 0 | 0.0 | 258M| 141 | - |3262 |4519 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
369.64/369.80 c 363s|170000 | 93256 | 0 | 0.0 | 275M| 141 | - |3262 |4523 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
394.54/394.72 c 388s|180000 | 99546 | 0 | 0.0 | 292M| 141 | - |3262 |4590 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
419.52/419.73 c 412s|190000 |105693 | 0 | 0.0 | 309M| 141 | - |3262 |4501 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
443.92/444.17 c 436s|200000 |111879 | 0 | 0.0 | 326M| 141 | - |3262 |4597 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
468.51/468.78 c 461s|210000 |117563 | 0 | 0.0 | 342M| 141 | - |3262 |4598 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
493.10/493.31 c 485s|220000 |123348 | 0 | 0.0 | 359M| 141 | - |3262 |4791 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
517.39/517.62 c 509s|230000 |129291 | 0 | 0.0 | 376M| 141 | - |3262 |4822 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
541.68/541.90 c 533s|240000 |135064 | 0 | 0.0 | 392M| 141 | - |3262 |4696 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
566.07/566.30 c 557s|250000 |140865 | 0 | 0.0 | 408M| 141 | - |3262 |4645 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
590.05/590.39 c 581s|260000 |146695 | 0 | 0.0 | 425M| 141 | - |3262 |4667 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
614.45/614.72 c 605s|270000 |152449 | 0 | 0.0 | 441M| 141 | - |3262 |4614 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
638.54/638.88 c 628s|280000 |158181 | 0 | 0.0 | 457M| 141 | - |3262 |4670 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
662.74/663.05 c 652s|290000 |163886 | 0 | 0.0 | 473M| 141 | - |3262 |4625 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
687.02/687.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.02/687.38 c 676s|300000 |169299 | 0 | 0.0 | 489M| 141 | - |3262 |4670 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
711.32/711.63 c 700s|310000 |174599 | 0 | 0.0 | 505M| 141 | - |3262 |4716 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
735.30/735.63 c 724s|320000 |180048 | 0 | 0.0 | 520M| 141 | - |3262 |4694 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
759.40/759.70 c 747s|330000 |185372 | 0 | 0.0 | 536M| 141 | - |3262 |4810 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
783.19/783.58 c 771s|340000 |190808 | 0 | 0.0 | 552M| 141 | - |3262 |4645 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
807.58/807.90 c 795s|350000 |196069 | 0 | 0.0 | 568M| 141 | - |3262 |4662 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
831.28/831.64 c 818s|360000 |201311 | 0 | 0.0 | 583M| 141 | - |3262 |4724 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
855.47/855.89 c 842s|370000 |206631 | 0 | 0.0 | 599M| 141 | - |3262 |4720 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
879.35/879.75 c 866s|380000 |211920 | 0 | 0.0 | 615M| 141 | - |3262 |4599 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
903.24/903.63 c 889s|390000 |217354 | 0 | 0.0 | 630M| 141 | - |3262 |4651 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
927.34/927.71 c 913s|400000 |222295 | 0 | 0.0 | 646M| 141 | - |3262 |4722 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
951.13/951.51 c 936s|410000 |227542 | 0 | 0.0 | 661M| 141 | - |3262 |4669 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
975.33/975.79 c 960s|420000 |232689 | 0 | 0.0 | 677M| 141 | - |3262 |4731 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
998.91/999.39 c 983s|430000 |237786 | 0 | 0.0 | 692M| 141 | - |3262 |4745 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1022.71/1023.19 c 1007s|440000 |242977 | 0 | 0.0 | 708M| 141 | - |3262 |4670 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1046.60/1047.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.60/1047.05 c 1030s|450000 |247951 | 0 | 0.0 | 723M| 141 | - |3262 |4795 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1069.89/1070.38 c 1053s|460000 |253191 | 0 | 0.0 | 738M| 141 | - |3262 |4601 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1094.09/1094.57 c 1077s|470000 |258164 | 0 | 0.0 | 754M| 141 | - |3262 |4714 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1117.87/1118.36 c 1101s|480000 |263180 | 0 | 0.0 | 769M| 141 | - |3262 |4740 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1141.26/1141.75 c 1124s|490000 |268337 | 0 | 0.0 | 783M| 141 | - |3262 |4661 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1165.35/1165.87 c 1148s|500000 |273319 | 0 | 0.0 | 799M| 141 | - |3262 |4824 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1188.94/1189.47 c 1171s|510000 |278331 | 0 | 0.0 | 814M| 141 | - |3262 |4832 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1212.03/1212.52 c 1193s|520000 |283505 | 0 | 0.0 | 829M| 141 | - |3262 |4930 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1236.23/1236.77 c 1217s|530000 |288454 | 0 | 0.0 | 844M| 141 | - |3262 |4762 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1259.91/1260.44 c 1241s|540000 |293318 | 0 | 0.0 | 859M| 141 | - |3262 |4775 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1283.30/1283.86 c 1264s|550000 |298129 | 0 | 0.0 | 875M| 141 | - |3262 |4911 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1307.59/1308.11 c 1288s|560000 |302985 | 0 | 0.0 | 890M| 141 | - |3262 |4796 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1331.29/1331.87 c 1311s|570000 |307890 | 0 | 0.0 | 904M| 141 | - |3262 |4799 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1354.48/1355.08 c 1334s|580000 |312681 | 0 | 0.0 | 920M| 141 | - |3262 |4865 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1378.66/1379.27 c 1358s|590000 |317494 | 0 | 0.0 | 934M| 141 | - |3262 |4822 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1402.46/1403.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.46/1403.06 c 1381s|600000 |322271 | 0 | 0.0 | 949M| 141 | - |3262 |4817 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1425.64/1426.26 c 1404s|610000 |327186 | 0 | 0.0 | 963M| 141 | - |3262 |4747 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1449.64/1450.22 c 1428s|620000 |332053 | 0 | 0.0 | 978M| 141 | - |3262 |4705 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1473.53/1474.15 c 1451s|630000 |336712 | 0 | 0.0 | 992M| 141 | - |3262 |4687 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1496.92/1497.55 c 1474s|640000 |341528 | 0 | 0.0 |1007M| 141 | - |3262 |4814 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1520.92/1521.55 c 1498s|650000 |346281 | 0 | 0.0 |1021M| 141 | - |3262 |4712 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1545.00/1545.66 c 1522s|660000 |351001 | 0 | 0.0 |1035M| 141 | - |3262 |4678 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1568.40/1569.00 c 1545s|670000 |355742 | 0 | 0.0 |1050M| 141 | - |3262 |4884 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1591.68/1592.38 c 1568s|680000 |360368 | 0 | 0.0 |1064M| 141 | - |3262 |4980 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1615.97/1616.69 c 1592s|690000 |364862 | 0 | 0.0 |1079M| 141 | - |3262 |4850 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1639.77/1640.45 c 1615s|700000 |369460 | 0 | 0.0 |1093M| 141 | - |3262 |4852 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1662.97/1663.68 c 1638s|710000 |373936 | 0 | 0.0 |1107M| 141 | - |3262 |4962 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1686.25/1686.99 c 1661s|720000 |378466 | 0 | 0.0 |1122M| 141 | - |3262 |4873 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1710.34/1711.04 c 1685s|730000 |383026 | 0 | 0.0 |1136M| 141 | - |3262 |4758 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1733.84/1734.58 c 1708s|740000 |387503 | 0 | 0.0 |1150M| 141 | - |3262 |4991 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1757.22/1757.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.22/1757.95 c 1731s|750000 |392080 | 0 | 0.0 |1164M| 141 | - |3262 |5006 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1780.92/1781.61 c 1754s|760000 |396631 | 0 | 0.0 |1178M| 141 | - |3262 |4806 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.72 c
1800.03/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.72 c Solving Time (sec) : 1773.03
1800.03/1800.72 c Solving Nodes : 767886
1800.03/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.72 c Dual Bound : +0.00000000000000e+00
1800.03/1800.72 c Gap : infinite
1800.03/1800.72 s UNKNOWN
1800.03/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.72 c Solving Time : 1773.03
1800.03/1800.72 c Original Problem :
1800.03/1800.72 c Problem name : HOME/instance-2663442-1276678711.opb
1800.03/1800.72 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.72 c Constraints : 3364 initial, 3364 maximal
1800.03/1800.72 c Presolved Problem :
1800.03/1800.72 c Problem name : t_HOME/instance-2663442-1276678711.opb
1800.03/1800.72 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.72 c Constraints : 3364 initial, 7606 maximal
1800.03/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c and : 0.17 0 0 0 0 0 0 0 0
1800.03/1800.72 c linear : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.72 c root node : - 0 - - 0 - - - -
1800.03/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.72 c knapsack : 1 0 1987742 0 582764 3666 5588139 0 0 0
1800.03/1800.72 c setppc : 200 0 2180309 0 586697 10167 794722 0 0 0
1800.03/1800.72 c and : 3062 0 2170142 0 586697 91 96007908 0 0 0
1800.03/1800.72 c linear : 1 0 2166133 0 586697 167980 187202 0 0 0
1800.03/1800.72 c logicor : 100+ 0 584389 0 586692 4580 7285307 0 0 0
1800.03/1800.72 c countsols : 0 0 0 0 586696 0 0 0 0 0
1800.03/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.72 c knapsack : 53.42 0.00 48.80 0.00 4.62
1800.03/1800.72 c setppc : 216.01 0.00 18.25 0.00 197.76
1800.03/1800.72 c and : 517.10 0.00 363.43 0.00 153.67
1800.03/1800.72 c linear : 165.13 0.00 164.13 0.00 1.00
1800.03/1800.72 c logicor : 91.83 0.00 80.40 0.00 11.43
1800.03/1800.72 c countsols : 0.43 0.00 0.00 0.00 0.43
1800.03/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.72 c vbounds : 1.87 1 0 0
1800.03/1800.72 c rootredcost : 1.34 0 0 0
1800.03/1800.72 c pseudoobj : 1.13 0 0 0
1800.03/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.72 c propagation : 112.40 186484 76754 240046 79.6 4 88.8 -
1800.03/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.72 c applied globally : - - - 125114 75.4 - - -
1800.03/1800.72 c applied locally : - - - 0 0.0 - - -
1800.03/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.72 c redcost : 0.00 0 0 0 0 0
1800.03/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.72 c intobj : 0.00 0 0 0 0 0
1800.03/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.72 c gomory : 0.00 0 0 0 0 0
1800.03/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.72 c cmir : 0.00 0 0 0 0 0
1800.03/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.72 c clique : 0.00 0 0 0 0 0
1800.03/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.72 c mcf : 0.00 0 0 0 0 0
1800.03/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.72 c Pricers : Time Calls Vars
1800.03/1800.72 c problem variables: 0.00 0 0
1800.03/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.72 c inference : 404.28 586696 0 0 0 0 1173392
1800.03/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.72 c random : 0.00 0 0 0 0 0 0
1800.03/1800.72 c Primal Heuristics : Time Calls Found
1800.03/1800.72 c LP solutions : 0.00 - 0
1800.03/1800.72 c pseudo solutions : 0.00 - 0
1800.03/1800.72 c trivial : 0.00 1 0
1800.03/1800.72 c simplerounding : 0.00 0 0
1800.03/1800.72 c zirounding : 0.00 0 0
1800.03/1800.72 c rounding : 0.00 0 0
1800.03/1800.72 c shifting : 0.00 0 0
1800.03/1800.72 c intshifting : 0.00 0 0
1800.03/1800.72 c oneopt : 0.00 0 0
1800.03/1800.72 c twoopt : 0.00 0 0
1800.03/1800.72 c fixandinfer : 0.00 0 0
1800.03/1800.72 c feaspump : 0.00 0 0
1800.03/1800.72 c coefdiving : 0.00 0 0
1800.03/1800.72 c pscostdiving : 0.00 0 0
1800.03/1800.72 c fracdiving : 0.00 0 0
1800.03/1800.72 c veclendiving : 0.00 0 0
1800.03/1800.72 c intdiving : 0.00 0 0
1800.03/1800.72 c actconsdiving : 0.00 0 0
1800.03/1800.72 c objpscostdiving : 0.00 0 0
1800.03/1800.72 c rootsoldiving : 0.00 0 0
1800.03/1800.72 c linesearchdiving : 0.00 0 0
1800.03/1800.72 c guideddiving : 0.00 0 0
1800.03/1800.72 c octane : 0.00 0 0
1800.03/1800.72 c rens : 0.00 0 0
1800.03/1800.72 c rins : 0.00 0 0
1800.03/1800.72 c localbranching : 0.00 0 0
1800.03/1800.72 c mutation : 0.00 0 0
1800.03/1800.72 c crossover : 0.00 0 0
1800.03/1800.72 c dins : 0.00 0 0
1800.03/1800.72 c undercover : 0.00 0 0
1800.03/1800.72 c nlp : 0.00 0 0
1800.03/1800.72 c trysol : 0.00 0 0
1800.03/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.72 c (at root node) : - 0 0 0.00 -
1800.03/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.72 c B&B Tree :
1800.03/1800.72 c number of runs : 1
1800.03/1800.72 c nodes : 767886
1800.03/1800.72 c nodes (total) : 767886
1800.03/1800.72 c nodes left : 400067
1800.03/1800.72 c max depth : 141
1800.03/1800.72 c max depth (total): 141
1800.03/1800.72 c backtracks : 17107 (2.2%)
1800.03/1800.72 c delayed cutoffs : 5440
1800.03/1800.72 c repropagations : 459350 (2355473 domain reductions, 5294 cutoffs)
1800.03/1800.72 c avg switch length: 4.24
1800.03/1800.72 c switching time : 259.33
1800.03/1800.72 c Solution :
1800.03/1800.72 c Solutions found : 0 (0 improvements)
1800.03/1800.72 c Primal Bound : -
1800.03/1800.72 c Dual Bound : +0.00000000000000e+00
1800.03/1800.72 c Gap : infinite
1800.03/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.72 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-2663442-1276678711/watcher-2663442-1276678711 -o /tmp/evaluation-result-2663442-1276678711/solver-2663442-1276678711 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663442-1276678711.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.76 1.96 1.62 3/106 9223 /proc/meminfo: memFree=1668392/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=6584 CPUtime=0 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 1122 0 0 0 0 0 0 0 25 0 1 0 41522987 6742016 1045 1992294400 4194304 7136930 140736856682848 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9223/statm: 1646 1054 254 719 0 925 0 [startup+0.0152441 s] /proc/loadavg: 1.76 1.96 1.62 3/106 9223 /proc/meminfo: memFree=1668392/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=8624 CPUtime=0 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 41522987 8830976 1571 1992294400 4194304 7136930 140736856682848 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9223/statm: 2156 1571 269 719 0 1435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8624 [startup+0.100258 s] /proc/loadavg: 1.76 1.96 1.62 3/106 9223 /proc/meminfo: memFree=1668392/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=20144 CPUtime=0.09 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 4675 0 0 0 7 2 0 0 25 0 1 0 41522987 20627456 4244 1992294400 4194304 7136930 140736856682848 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 5036 4258 327 719 0 4315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20144 [startup+0.300293 s] /proc/loadavg: 1.76 1.96 1.62 3/106 9223 /proc/meminfo: memFree=1668392/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=22844 CPUtime=0.29 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 5891 0 0 0 17 12 0 0 25 0 1 0 41522987 23392256 4946 1992294400 4194304 7136930 140736856682848 18446744073709551615 4408841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 5711 4946 352 719 0 4990 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22844 [startup+0.700367 s] /proc/loadavg: 1.76 1.96 1.62 3/106 9223 /proc/meminfo: memFree=1668392/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=25680 CPUtime=0.69 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 8174 0 0 0 46 23 0 0 18 0 1 0 41522987 26296320 5687 1992294400 4194304 7136930 140736856682848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 6420 5687 394 719 0 5699 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25680 [startup+1.50051 s] /proc/loadavg: 1.76 1.96 1.62 2/107 9224 /proc/meminfo: memFree=1646684/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=27856 CPUtime=1.49 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 8716 0 0 0 124 25 0 0 19 0 1 0 41522987 28524544 6229 1992294400 4194304 7136930 140736856682848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 6964 6229 394 719 0 6243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27856 [startup+3.1008 s] /proc/loadavg: 1.76 1.96 1.62 2/107 9224 /proc/meminfo: memFree=1643956/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=30320 CPUtime=3.09 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 9301 0 0 0 282 27 0 0 22 0 1 0 41522987 31047680 6814 1992294400 4194304 7136930 140736856682848 18446744073709551615 4665416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 7580 6814 394 719 0 6859 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30320 [startup+6.30039 s] /proc/loadavg: 1.70 1.94 1.61 2/107 9224 /proc/meminfo: memFree=1638624/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=34920 CPUtime=6.29 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 10425 0 0 0 596 33 0 0 25 0 1 0 41522987 35758080 7938 1992294400 4194304 7136930 140736856682848 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 8730 7938 394 719 0 8009 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34920 [startup+12.7016 s] /proc/loadavg: 1.64 1.93 1.61 2/107 9224 /proc/meminfo: memFree=1628588/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=44392 CPUtime=12.69 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 12772 0 0 0 1223 46 0 0 25 0 1 0 41522987 45457408 10285 1992294400 4194304 7136930 140736856682848 18446744073709551615 5121869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 11098 10285 394 719 0 10377 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44392 [startup+25.5009 s] /proc/loadavg: 1.50 1.88 1.60 2/107 9226 /proc/meminfo: memFree=1610608/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=63684 CPUtime=25.48 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 17399 0 0 0 2480 68 0 0 25 0 1 0 41522987 65212416 14912 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 15921 14912 394 719 0 15200 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63684 [startup+51.1005 s] /proc/loadavg: 1.33 1.81 1.58 2/107 9226 /proc/meminfo: memFree=1576012/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=99216 CPUtime=51.08 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 25862 0 0 0 4996 112 0 0 25 0 1 0 41522987 101597184 23375 1992294400 4194304 7136930 140736856682848 18446744073709551615 6166356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 24804 23375 394 719 0 24083 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99216 [startup+102.309 s] /proc/loadavg: 1.21 1.70 1.56 2/107 9228 /proc/meminfo: memFree=1526908/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=150960 CPUtime=102.26 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 38090 0 0 0 10029 197 0 0 25 0 1 0 41522987 154583040 35603 1992294400 4194304 7136930 140736856682848 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 37740 35603 394 719 0 37019 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 150960 [startup+162.302 s] /proc/loadavg: 1.14 1.58 1.52 2/107 9237 /proc/meminfo: memFree=1479160/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=200192 CPUtime=162.22 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 50040 0 0 0 15921 301 0 0 25 0 1 0 41522987 204996608 47553 1992294400 4194304 7136930 140736856682848 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 50048 47553 394 719 0 49327 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 200192 [startup+222.302 s] /proc/loadavg: 1.11 1.49 1.49 2/107 9239 /proc/meminfo: memFree=1440852/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=240820 CPUtime=222.2 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 59583 0 0 0 21795 425 0 0 25 0 1 0 41522987 246599680 57096 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 60205 57096 394 719 0 59484 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 240820 [startup+282.302 s] /proc/loadavg: 1.14 1.43 1.47 2/107 9241 /proc/meminfo: memFree=1397328/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=287708 CPUtime=282.17 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 70332 0 0 0 27675 542 0 0 25 0 1 0 41522987 294612992 67845 1992294400 4194304 7136930 140736856682848 18446744073709551615 4740397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 71927 67845 394 719 0 71206 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 287708 [startup+342.301 s] /proc/loadavg: 1.10 1.36 1.44 2/107 9243 /proc/meminfo: memFree=1351944/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=335332 CPUtime=342.15 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 81656 0 0 0 33594 621 0 0 25 0 1 0 41522987 343379968 79169 1992294400 4194304 7136930 140736856682848 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 83833 79169 394 719 0 83112 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 335332 [startup+402.301 s] /proc/loadavg: 1.08 1.31 1.42 2/107 9245 /proc/meminfo: memFree=1307676/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=381220 CPUtime=402.12 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 92658 0 0 0 39509 703 0 0 25 0 1 0 41522987 390369280 90171 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 95305 90171 394 719 0 94584 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 381220 [startup+462.3 s] /proc/loadavg: 1.07 1.26 1.39 2/107 9245 /proc/meminfo: memFree=1265640/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=426236 CPUtime=462.11 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 103440 0 0 0 45428 783 0 0 25 0 1 0 41522987 436465664 100953 1992294400 4194304 7136930 140736856682848 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 106559 100953 394 719 0 105838 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 426236 [startup+522.301 s] /proc/loadavg: 1.06 1.23 1.37 2/107 9247 /proc/meminfo: memFree=1221124/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=470752 CPUtime=522.08 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 114237 0 0 0 51344 864 0 0 25 0 1 0 41522987 482050048 111750 1992294400 4194304 7136930 140736856682848 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 117688 111750 394 719 0 116967 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 470752 [startup+582.301 s] /proc/loadavg: 1.06 1.20 1.35 2/107 9249 /proc/meminfo: memFree=1178344/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=514788 CPUtime=582.07 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 125022 0 0 0 57261 946 0 0 25 0 1 0 41522987 527142912 122535 1992294400 4194304 7136930 140736856682848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 128697 122535 394 719 0 127976 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 514788 [startup+642.301 s] /proc/loadavg: 1.27 1.25 1.36 2/107 9251 /proc/meminfo: memFree=1135564/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=559844 CPUtime=642.05 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 135527 0 0 0 63171 1034 0 0 25 0 1 0 41522987 573280256 133040 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 139961 133040 394 719 0 139240 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 559844 [startup+702.301 s] ################ # More data... # ################ /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 204999 0 0 0 104551 1638 0 0 25 0 1 0 41522987 874270720 202512 1992294400 4194304 7136930 140736856682848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 213445 202512 394 719 0 212724 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 853780 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.19 2/107 9263 /proc/meminfo: memFree=808700/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=905464 CPUtime=1121.86 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 217188 0 0 0 110463 1723 0 0 25 0 1 0 41522987 927195136 214701 1992294400 4194304 7136930 140736856682848 18446744073709551615 4704109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 226366 214701 394 719 0 225645 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 905464 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.18 2/107 9265 /proc/meminfo: memFree=766788/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=949260 CPUtime=1181.85 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 227809 0 0 0 116374 1811 0 0 25 0 1 0 41522987 972042240 225322 1992294400 4194304 7136930 140736856682848 18446744073709551615 4774630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 237315 225322 394 719 0 236594 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 949260 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 9267 /proc/meminfo: memFree=724132/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=992248 CPUtime=1241.82 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 237942 0 0 0 122282 1900 0 0 25 0 1 0 41522987 1016061952 235455 1992294400 4194304 7136930 140736856682848 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 248062 235455 394 719 0 247341 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 992248 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.16 2/107 9269 /proc/meminfo: memFree=690776/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1025928 CPUtime=1301.8 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 246265 0 0 0 128194 1986 0 0 25 0 1 0 41522987 1050550272 243778 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 256482 243778 394 719 0 255761 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1025928 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.14 2/107 9269 /proc/meminfo: memFree=648120/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1074572 CPUtime=1361.77 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 257138 0 0 0 134107 2070 0 0 25 0 1 0 41522987 1100361728 254651 1992294400 4194304 7136930 140736856682848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 268643 254651 394 719 0 267922 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1074572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.13 2/107 9271 /proc/meminfo: memFree=602116/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1120424 CPUtime=1421.76 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 268363 0 0 0 140024 2152 0 0 25 0 1 0 41522987 1147314176 265876 1992294400 4194304 7136930 140736856682848 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 280106 265876 394 719 0 279385 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1120424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 9273 /proc/meminfo: memFree=567520/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1156364 CPUtime=1481.73 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 277014 0 0 0 145938 2235 0 0 25 0 1 0 41522987 1184116736 274527 1992294400 4194304 7136930 140736856682848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 289091 274527 394 719 0 288370 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1156364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 9275 /proc/meminfo: memFree=532552/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1191844 CPUtime=1541.7 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 285714 0 0 0 151849 2321 0 0 25 0 1 0 41522987 1220448256 283227 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 297961 283227 394 719 0 297240 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1191844 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 9277 /proc/meminfo: memFree=491012/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1236296 CPUtime=1601.68 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 296083 0 0 0 157759 2409 0 0 25 0 1 0 41522987 1265967104 293596 1992294400 4194304 7136930 140736856682848 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 309074 293596 394 719 0 308353 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1236296 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 9277 /proc/meminfo: memFree=450464/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1278560 CPUtime=1661.66 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 306185 0 0 0 163672 2494 0 0 25 0 1 0 41522987 1309245440 303698 1992294400 4194304 7136930 140736856682848 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 319640 303698 394 719 0 318919 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1278560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9279 /proc/meminfo: memFree=413016/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1319032 CPUtime=1721.64 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 315912 0 0 0 169587 2577 0 0 25 0 1 0 41522987 1350688768 313425 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 329758 313425 394 719 0 329037 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 1319032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9281 /proc/meminfo: memFree=370112/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1360380 CPUtime=1781.62 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 326114 0 0 0 175492 2670 0 0 25 0 1 0 41522987 1393029120 323627 1992294400 4194304 7136930 140736856682848 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 340095 323627 394 719 0 339374 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1360380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.07 3/107 9281 /proc/meminfo: memFree=358332/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1373136 CPUtime=1800.03 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 329056 0 0 0 177306 2697 0 0 25 0 1 0 41522987 1406091264 326569 1992294400 4194304 7136930 140736856682848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9223/statm: 343284 326569 394 719 0 342563 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1373136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9223 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.07 3/107 9281 /proc/meminfo: memFree=358332/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1373136 CPUtime=1800.71 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 329061 0 0 0 177374 2697 0 0 25 0 1 0 41522987 1406091264 326574 1992294400 4194304 7136930 140736856682848 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9223/statm: 343284 326574 399 719 0 342563 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1373136 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.07 2/108 9282 /proc/meminfo: memFree=358324/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1372620 CPUtime=1801.51 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 329061 0 0 0 177454 2697 0 0 25 0 1 0 41522987 1405562880 326445 1992294400 4194304 7136930 140736856682848 18446744073709551615 6165643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9223/statm: 343155 326445 399 719 0 342434 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 1372620 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.07 2/108 9282 /proc/meminfo: memFree=358324/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=1370056 CPUtime=1801.91 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4202496 329061 0 0 0 177494 2697 0 0 25 0 1 0 41522987 1402937344 325804 1992294400 4194304 7136930 140736856682848 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9223/statm: 342514 325804 399 719 0 341793 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 1370056 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.07 2/107 9282 /proc/meminfo: memFree=1199752/2059040 swapFree=4140236/4192956 [pid=9223] ppid=9221 vsize=0 CPUtime=1802.11 /proc/9223/stat : 9223 (pbscip.linux.x8) R 9221 9223 9198 0 -1 4203524 329061 0 0 0 177505 2706 0 0 25 0 1 0 41522987 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/9223/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.84 CPU time (s): 1802.16 CPU user time (s): 1775.06 CPU system time (s): 27.1039 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 1373136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.06 system time used= 27.1039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 329061 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4255 runsolver used 3.3145 second user time and 8.66968 second system time The end
Begin job on node027 at 2010-06-16 10:58:31 IDJOB=2663442 IDBENCH=48320 IDSOLVER=1167 FILE ID=node027/2663442-1276678711 PBS_JOBID= 11172570 Free space on /tmp= 62536 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_5_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-2663442-1276678711/watcher-2663442-1276678711 -o /tmp/evaluation-result-2663442-1276678711/solver-2663442-1276678711 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663442-1276678711.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3 RANDOM SEED=1460440178 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1668796 kB Buffers: 73228 kB Cached: 221580 kB SwapCached: 6244 kB Active: 130600 kB Inactive: 177612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1668796 kB SwapTotal: 4192956 kB SwapFree: 4140236 kB Dirty: 3496 kB Writeback: 0 kB AnonPages: 11636 kB Mapped: 13020 kB Slab: 60164 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181872 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-06-16 11:28:34