| 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_1_40.opb |
| MD5SUM | be9efb792831413817cc7562bdc6c002 |
| 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 | 206.709 |
| 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) | 6076 |
| Sum of products size (including duplicates) | 12152 |
| Number of different products | 3038 |
| Sum of products size | 6076 |
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-2663416-1276676023.opb>
0.00/0.04 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.05/0.08 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24504 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 24504 implications, 200 cliques
0.39/0.47 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3340 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 3038 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.21
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.97
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c limits/solutions = 1
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = -1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.47 c separating/maxrounds = 1
0.39/0.47 c
0.39/0.47 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/maxroundsroot = 5
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.47 c constraints/knapsack/disaggregation = FALSE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c presolving/probing/maxrounds = 0
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/coefdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.47 c heuristics/crossover/freq = -1
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/crossover/nodesofs = 750
0.39/0.47 c
0.39/0.47 c # number of nodes without incumbent change that heuristic should wait
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.47 c heuristics/crossover/nwaitingnodes = 100
0.39/0.47 c
0.39/0.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.47 c # [type: real, range: [0,1], default: 0.1]
0.39/0.47 c heuristics/crossover/nodesquot = 0.15
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixed
0.39/0.47 c # [type: real, range: [0,1], default: 0.666]
0.39/0.47 c heuristics/crossover/minfixingrate = 0.5
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/feaspump/freq = -1
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/fracdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/guideddiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/intshifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/linesearchdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/nlp/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/objpscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.47 c # [type: real, range: [0,1], default: 0.01]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/oneopt/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/pscostdiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/rens/freq = -1
0.39/0.47 c
0.39/0.47 c # minimum percentage of integer variables that have to be fixable
0.39/0.47 c # [type: real, range: [0,1], default: 0.5]
0.39/0.47 c heuristics/rens/minfixingrate = 0.3
0.39/0.47 c
0.39/0.47 c # number of nodes added to the contingent of the total nodes
0.39/0.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.47 c heuristics/rens/nodesofs = 2000
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.47 c heuristics/rootsoldiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/rounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/shifting/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/simplerounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c heuristics/trivial/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/trysol/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.47 c heuristics/veclendiving/freq = -1
0.39/0.47 c
0.39/0.47 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.47 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.47 c
0.39/0.47 c # additional number of allowed LP iterations
0.39/0.47 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.47 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.47 c
0.39/0.47 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c heuristics/zirounding/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/cmir/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c separating/flowcover/freq = -1
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c 0.2s| 1 | 2 | 0 | - |8669k| 0 | - |3238 |3340 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.59/19.62 c 19.1s| 10000 | 8005 | 0 | 0.0 | 29M| 139 | - |3238 |3670 | 0 | 0 | 0 |1437 | 0 | 0.000000e+00 | -- | Inf
41.08/41.10 c 40.2s| 20000 | 16131 | 0 | 0.0 | 52M| 139 | - |3238 |4054 | 0 | 0 | 0 |3119 | 0 | 0.000000e+00 | -- | Inf
62.07/62.12 c 60.9s| 30000 | 23533 | 0 | 0.0 | 73M| 139 | - |3238 |4241 | 0 | 0 | 0 |4818 | 0 | 0.000000e+00 | -- | Inf
82.96/83.05 c 81.5s| 40000 | 30043 | 0 | 0.0 | 90M| 139 | - |3238 |4311 | 0 | 0 | 0 |6681 | 0 | 0.000000e+00 | -- | Inf
103.86/103.92 c 102s| 50000 | 35607 | 0 | 0.0 | 106M| 139 | - |3238 |4562 | 0 | 0 | 0 |8881 | 0 | 0.000000e+00 | -- | Inf
124.66/124.73 c 122s| 60000 | 40788 | 0 | 0.0 | 120M| 139 | - |3238 |4463 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
145.35/145.46 c 143s| 70000 | 45363 | 0 | 0.0 | 134M| 139 | - |3238 |4654 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
166.24/166.31 c 163s| 80000 | 49482 | 0 | 0.0 | 147M| 139 | - |3238 |4749 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
186.64/186.71 c 183s| 90000 | 53063 | 0 | 0.0 | 158M| 139 | - |3238 |5001 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
205.94/206.09 c 202s|100000 | 56237 | 0 | 0.0 | 169M| 139 | - |3238 |5834 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
223.83/223.93 c 220s|110000 | 59089 | 0 | 0.0 | 178M| 139 | - |3238 |6599 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
239.82/239.96 c 235s|120000 | 61183 | 0 | 0.0 | 187M| 139 | - |3238 |7462 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
264.81/264.94 c 260s|130000 | 68432 | 0 | 0.0 | 206M| 139 | - |3238 |4446 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
289.61/289.72 c 284s|140000 | 75205 | 0 | 0.0 | 224M| 139 | - |3238 |4448 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
314.01/314.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.01/314.12 c 308s|150000 | 82067 | 0 | 0.0 | 242M| 139 | - |3238 |4511 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
338.20/338.30 c 332s|160000 | 88653 | 0 | 0.0 | 261M| 139 | - |3238 |4546 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
361.89/362.06 c 356s|170000 | 95299 | 0 | 0.0 | 280M| 139 | - |3238 |4675 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
386.00/386.14 c 379s|180000 |101638 | 0 | 0.0 | 297M| 139 | - |3238 |4783 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
409.88/410.00 c 403s|190000 |108316 | 0 | 0.0 | 316M| 139 | - |3238 |4825 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
433.68/433.83 c 426s|200000 |114336 | 0 | 0.0 | 333M| 139 | - |3238 |4791 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
457.26/457.44 c 450s|210000 |120828 | 0 | 0.0 | 350M| 139 | - |3238 |4726 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
480.96/481.15 c 473s|220000 |126943 | 0 | 0.0 | 367M| 139 | - |3238 |4628 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
504.45/504.61 c 496s|230000 |132922 | 0 | 0.0 | 384M| 139 | - |3238 |4835 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
528.05/528.23 c 520s|240000 |138770 | 0 | 0.0 | 401M| 139 | - |3238 |4876 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
551.14/551.37 c 542s|250000 |144874 | 0 | 0.0 | 418M| 139 | - |3238 |4775 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
574.24/574.45 c 565s|260000 |150967 | 0 | 0.0 | 434M| 139 | - |3238 |4765 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
597.73/597.90 c 588s|270000 |156643 | 0 | 0.0 | 451M| 139 | - |3238 |5018 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
620.92/621.19 c 611s|280000 |162336 | 0 | 0.0 | 467M| 139 | - |3238 |4900 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
644.33/644.57 c 634s|290000 |167847 | 0 | 0.0 | 484M| 139 | - |3238 |5043 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
667.61/667.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.61/667.83 c 657s|300000 |173749 | 0 | 0.0 | 500M| 139 | - |3238 |4920 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
691.01/691.22 c 680s|310000 |179363 | 0 | 0.0 | 516M| 139 | - |3238 |4997 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
714.09/714.40 c 703s|320000 |184960 | 0 | 0.0 | 533M| 139 | - |3238 |4974 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
737.20/737.41 c 726s|330000 |190744 | 0 | 0.0 | 549M| 139 | - |3238 |5073 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
760.29/760.54 c 749s|340000 |196272 | 0 | 0.0 | 565M| 139 | - |3238 |4938 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
783.38/783.61 c 771s|350000 |201767 | 0 | 0.0 | 581M| 139 | - |3238 |5148 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
806.48/806.71 c 794s|360000 |207393 | 0 | 0.0 | 597M| 139 | - |3238 |4946 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
829.37/829.63 c 817s|370000 |212891 | 0 | 0.0 | 613M| 139 | - |3238 |4953 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
852.66/852.91 c 840s|380000 |218379 | 0 | 0.0 | 629M| 139 | - |3238 |5105 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
875.36/875.67 c 862s|390000 |223666 | 0 | 0.0 | 645M| 139 | - |3238 |5278 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
898.75/899.06 c 885s|400000 |228961 | 0 | 0.0 | 661M| 139 | - |3238 |5156 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
921.75/922.02 c 908s|410000 |234288 | 0 | 0.0 | 677M| 139 | - |3238 |5181 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
944.54/944.90 c 930s|420000 |239597 | 0 | 0.0 | 692M| 139 | - |3238 |5153 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
967.93/968.29 c 953s|430000 |244817 | 0 | 0.0 | 708M| 139 | - |3238 |5108 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
990.73/991.07 c 976s|440000 |250169 | 0 | 0.0 | 724M| 139 | - |3238 |5250 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1014.12/1014.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.12/1014.41 c 999s|450000 |255287 | 0 | 0.0 | 740M| 139 | - |3238 |5184 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1037.21/1037.51 c 1022s|460000 |260483 | 0 | 0.0 | 756M| 139 | - |3238 |5249 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1060.01/1060.35 c 1044s|470000 |265613 | 0 | 0.0 | 771M| 139 | - |3238 |5302 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1083.50/1083.88 c 1067s|480000 |270800 | 0 | 0.0 | 786M| 139 | - |3238 |5151 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1106.60/1106.91 c 1090s|490000 |275965 | 0 | 0.0 | 802M| 139 | - |3238 |5235 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1129.39/1129.70 c 1113s|500000 |281173 | 0 | 0.0 | 817M| 139 | - |3238 |5285 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1152.88/1153.23 c 1136s|510000 |286309 | 0 | 0.0 | 833M| 139 | - |3238 |5211 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1175.98/1176.32 c 1158s|520000 |291334 | 0 | 0.0 | 848M| 139 | - |3238 |5259 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1198.77/1199.18 c 1181s|530000 |296387 | 0 | 0.0 | 863M| 139 | - |3238 |5189 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1222.26/1222.60 c 1204s|540000 |301508 | 0 | 0.0 | 879M| 139 | - |3238 |5136 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1245.16/1245.55 c 1227s|550000 |306512 | 0 | 0.0 | 894M| 139 | - |3238 |5220 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1268.15/1268.53 c 1249s|560000 |311572 | 0 | 0.0 | 909M| 139 | - |3238 |5215 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1291.74/1292.13 c 1273s|570000 |316611 | 0 | 0.0 | 924M| 139 | - |3238 |5209 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1314.53/1314.91 c 1295s|580000 |321701 | 0 | 0.0 | 939M| 139 | - |3238 |5319 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1337.14/1337.59 c 1317s|590000 |326923 | 0 | 0.0 | 954M| 139 | - |3238 |5135 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1360.63/1361.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.63/1361.07 c 1341s|600000 |332031 | 0 | 0.0 | 969M| 139 | - |3238 |5163 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1383.72/1384.15 c 1363s|610000 |336949 | 0 | 0.0 | 984M| 139 | - |3238 |5280 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1406.41/1406.88 c 1386s|620000 |342065 | 0 | 0.0 | 999M| 139 | - |3238 |5294 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1430.21/1430.62 c 1409s|630000 |346927 | 0 | 0.0 |1014M| 139 | - |3238 |5215 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1453.30/1453.71 c 1432s|640000 |351640 | 0 | 0.0 |1029M| 139 | - |3238 |5332 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1475.99/1476.43 c 1454s|650000 |356747 | 0 | 0.0 |1043M| 139 | - |3238 |5327 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1499.48/1499.93 c 1477s|660000 |361613 | 0 | 0.0 |1058M| 139 | - |3238 |5157 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1522.98/1523.46 c 1501s|670000 |366200 | 0 | 0.0 |1073M| 139 | - |3238 |5410 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1545.87/1546.31 c 1523s|680000 |371087 | 0 | 0.0 |1088M| 139 | - |3238 |5404 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1568.66/1569.11 c 1546s|690000 |375916 | 0 | 0.0 |1103M| 139 | - |3238 |5414 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1592.46/1592.97 c 1569s|700000 |380650 | 0 | 0.0 |1117M| 139 | - |3238 |5408 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1615.66/1616.11 c 1592s|710000 |385452 | 0 | 0.0 |1132M| 139 | - |3238 |5340 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1638.56/1639.09 c 1615s|720000 |390153 | 0 | 0.0 |1147M| 139 | - |3238 |5409 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1661.84/1662.32 c 1637s|730000 |394985 | 0 | 0.0 |1161M| 139 | - |3238 |5187 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1685.34/1685.84 c 1661s|740000 |399587 | 0 | 0.0 |1176M| 139 | - |3238 |5372 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1708.23/1708.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.23/1708.80 c 1683s|750000 |404347 | 0 | 0.0 |1190M| 139 | - |3238 |5533 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1730.83/1731.38 c 1705s|760000 |409172 | 0 | 0.0 |1204M| 139 | - |3238 |5499 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1754.71/1755.20 c 1729s|770000 |413792 | 0 | 0.0 |1218M| 139 | - |3238 |5327 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1778.01/1778.59 c 1752s|780000 |418460 | 0 | 0.0 |1233M| 139 | - |3238 |5347 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1773.54
1800.02/1800.51 c Solving Nodes : 789469
1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s UNKNOWN
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1773.54
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663416-1276676023.opb
1800.02/1800.51 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 3340 initial, 3340 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663416-1276676023.opb
1800.02/1800.51 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 3340 initial, 7506 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.17 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 1 0 2135669 0 605356 4063 5645427 0 0 0
1800.02/1800.51 c setppc : 200 0 2328371 0 609093 11414 935669 0 0 0
1800.02/1800.51 c and : 3038 0 2316957 0 609093 91 95792663 0 0 0
1800.02/1800.51 c linear : 1 0 2312590 0 609093 166425 194051 0 0 0
1800.02/1800.51 c logicor : 100+ 0 603181 0 609084 4122 7451264 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 609093 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c knapsack : 54.00 0.00 49.12 0.00 4.88
1800.02/1800.51 c setppc : 217.60 0.00 17.65 0.00 199.95
1800.02/1800.51 c and : 511.40 0.00 363.02 0.00 148.38
1800.02/1800.51 c linear : 153.81 0.00 152.68 0.00 1.13
1800.02/1800.51 c logicor : 96.59 0.00 86.50 0.00 10.09
1800.02/1800.51 c countsols : 0.38 0.00 0.00 0.00 0.38
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 1.69 1 0 0
1800.02/1800.51 c rootredcost : 1.28 0 0 0
1800.02/1800.51 c pseudoobj : 0.98 0 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 102.50 186115 98153 342939 78.5 5 86.8 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 143709 74.0 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 408.67 609093 0 0 0 0 1218186
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c trivial : 0.00 1 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c oneopt : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.00 0 0
1800.02/1800.51 c trysol : 0.00 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 789469
1800.02/1800.51 c nodes (total) : 789469
1800.02/1800.51 c nodes left : 422817
1800.02/1800.51 c max depth : 139
1800.02/1800.51 c max depth (total): 139
1800.02/1800.51 c backtracks : 18334 (2.3%)
1800.02/1800.51 c delayed cutoffs : 5901
1800.02/1800.51 c repropagations : 561785 (2923448 domain reductions, 5739 cutoffs)
1800.02/1800.51 c avg switch length: 4.49
1800.02/1800.51 c switching time : 264.78
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/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-2663416-1276676023/watcher-2663416-1276676023 -o /tmp/evaluation-result-2663416-1276676023/solver-2663416-1276676023 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663416-1276676023.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15703 /proc/meminfo: memFree=1714444/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=6584 CPUtime=0 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 1083 0 0 0 0 0 0 0 25 0 1 0 8895913 6742016 1006 1992294400 4194304 7136930 140733892212848 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15703/statm: 1646 1016 254 719 0 925 0 [startup+0.063746 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15703 /proc/meminfo: memFree=1714444/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=17464 CPUtime=0.05 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 4202 0 0 0 4 1 0 0 25 0 1 0 8895913 17883136 3771 1992294400 4194304 7136930 140733892212848 18446744073709551615 6166278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 4366 3771 284 719 0 3645 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17464 [startup+0.100751 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15703 /proc/meminfo: memFree=1714444/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=21588 CPUtime=0.09 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 5020 0 0 0 8 1 0 0 25 0 1 0 8895913 22106112 4332 1992294400 4194304 7136930 140733892212848 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 5140 4332 327 719 0 4419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21588 [startup+0.300772 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15703 /proc/meminfo: memFree=1714444/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=23340 CPUtime=0.29 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 7026 0 0 0 18 11 0 0 25 0 1 0 8895913 23900160 5053 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 5835 5053 361 719 0 5114 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23340 [startup+0.700817 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15703 /proc/meminfo: memFree=1714444/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=25828 CPUtime=0.69 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 8188 0 0 0 49 20 0 0 25 0 1 0 8895913 26447872 5701 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 6457 5701 394 719 0 5736 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25828 [startup+1.50091 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15704 /proc/meminfo: memFree=1692736/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=27044 CPUtime=1.49 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 8510 0 0 0 127 22 0 0 25 0 1 0 8895913 27693056 6023 1992294400 4194304 7136930 140733892212848 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 6761 6023 394 719 0 6040 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27044 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15704 /proc/meminfo: memFree=1690008/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=30056 CPUtime=3.09 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 9245 0 0 0 285 24 0 0 25 0 1 0 8895913 30777344 6758 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 7514 6758 394 719 0 6793 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30056 [startup+6.30145 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15706 /proc/meminfo: memFree=1684676/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=35460 CPUtime=6.29 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 10576 0 0 0 599 30 0 0 25 0 1 0 8895913 36311040 8089 1992294400 4194304 7136930 140733892212848 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 8865 8089 394 719 0 8144 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35460 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15706 /proc/meminfo: memFree=1673268/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=46228 CPUtime=12.69 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 13244 0 0 0 1227 42 0 0 25 0 1 0 8895913 47337472 10757 1992294400 4194304 7136930 140733892212848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 11557 10757 394 719 0 10836 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46228 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15706 /proc/meminfo: memFree=1653428/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=67116 CPUtime=25.48 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 18212 0 0 0 2489 59 0 0 25 0 1 0 8895913 68726784 15725 1992294400 4194304 7136930 140733892212848 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 16779 15725 394 719 0 16058 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67116 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15706 /proc/meminfo: memFree=1619700/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=102000 CPUtime=51.08 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 26437 0 0 0 5011 97 0 0 25 0 1 0 8895913 104448000 23950 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 25500 23950 394 719 0 24779 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 102000 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15708 /proc/meminfo: memFree=1565884/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=158544 CPUtime=102.27 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 39870 0 0 0 10050 177 0 0 25 0 1 0 8895913 162349056 37383 1992294400 4194304 7136930 140733892212848 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 39636 37383 394 719 0 38915 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158544 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15710 /proc/meminfo: memFree=1517152/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=208992 CPUtime=162.25 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 51952 0 0 0 15943 282 0 0 25 0 1 0 8895913 214007808 49465 1992294400 4194304 7136930 140733892212848 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 52248 49465 394 719 0 51527 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 208992 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15710 /proc/meminfo: memFree=1476604/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=251748 CPUtime=222.23 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 62030 0 0 0 21811 412 0 0 25 0 1 0 8895913 257789952 59543 1992294400 4194304 7136930 140733892212848 18446744073709551615 4852125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 62937 59543 394 719 0 62216 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 251748 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15712 /proc/meminfo: memFree=1433204/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=299836 CPUtime=282.21 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 72903 0 0 0 27707 514 0 0 25 0 1 0 8895913 307032064 70416 1992294400 4194304 7136930 140733892212848 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 74959 70416 394 719 0 74238 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 299836 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15714 /proc/meminfo: memFree=1387448/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=347352 CPUtime=342.2 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 84264 0 0 0 33624 596 0 0 25 0 1 0 8895913 355688448 81777 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 86838 81777 394 719 0 86117 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 347352 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15716 /proc/meminfo: memFree=1336980/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=401536 CPUtime=402.18 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 97099 0 0 0 39541 677 0 0 25 0 1 0 8895913 411172864 94612 1992294400 4194304 7136930 140733892212848 18446744073709551615 4704083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 100384 94612 394 719 0 99663 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 401536 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15718 /proc/meminfo: memFree=1291596/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=447068 CPUtime=462.16 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 108134 0 0 0 45456 760 0 0 25 0 1 0 8895913 457797632 105647 1992294400 4194304 7136930 140733892212848 18446744073709551615 4642105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 111767 105647 394 719 0 111046 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 447068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15718 /proc/meminfo: memFree=1250924/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=489420 CPUtime=522.15 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 118343 0 0 0 51372 843 0 0 25 0 1 0 8895913 501166080 115856 1992294400 4194304 7136930 140733892212848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 122355 115856 394 719 0 121634 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 489420 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15720 /proc/meminfo: memFree=1204920/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=536936 CPUtime=582.13 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 129752 0 0 0 57286 927 0 0 25 0 1 0 8895913 549822464 127265 1992294400 4194304 7136930 140733892212848 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 134234 127265 394 719 0 133513 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 536936 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15722 /proc/meminfo: memFree=1159660/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=583252 CPUtime=642.12 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 141022 0 0 0 63204 1008 0 0 25 0 1 0 8895913 597250048 138535 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 145813 138535 394 719 0 145092 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 583252 [startup+702.301 s] ################ # More data... # ################ /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 207187 0 0 0 98695 1507 0 0 25 0 1 0 8895913 887869440 204700 1992294400 4194304 7136930 140733892212848 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 216765 204700 394 719 0 216044 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 867060 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15734 /proc/meminfo: memFree=853504/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=913636 CPUtime=1062.01 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 217595 0 0 0 104609 1592 0 0 25 0 1 0 8895913 935563264 215108 1992294400 4194304 7136930 140733892212848 18446744073709551615 6166368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 228409 215108 394 719 0 227688 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 913636 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15737 /proc/meminfo: memFree=806880/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=960652 CPUtime=1121.99 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 228983 0 0 0 110528 1671 0 0 25 0 1 0 8895913 983707648 226496 1992294400 4194304 7136930 140733892212848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 240163 226496 394 719 0 239442 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 960652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15739 /proc/meminfo: memFree=769928/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=999704 CPUtime=1181.97 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 238258 0 0 0 116442 1755 0 0 25 0 1 0 8895913 1023696896 235771 1992294400 4194304 7136930 140733892212848 18446744073709551615 4642170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 249926 235771 394 719 0 249205 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 999704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15741 /proc/meminfo: memFree=731488/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1039680 CPUtime=1241.95 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 247862 0 0 0 122354 1841 0 0 25 0 1 0 8895913 1064632320 245375 1992294400 4194304 7136930 140733892212848 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 259920 245375 394 719 0 259199 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1039680 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15743 /proc/meminfo: memFree=688088/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1083796 CPUtime=1301.95 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 258424 0 0 0 128269 1926 0 0 25 0 1 0 8895913 1109807104 255937 1992294400 4194304 7136930 140733892212848 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 270949 255937 394 719 0 270228 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1083796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15745 /proc/meminfo: memFree=645804/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1127120 CPUtime=1361.93 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 268972 0 0 0 134180 2013 0 0 25 0 1 0 8895913 1154170880 266485 1992294400 4194304 7136930 140733892212848 18446744073709551615 4676488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 281780 266485 394 719 0 281059 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1127120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15745 /proc/meminfo: memFree=610092/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1164228 CPUtime=1421.92 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 277866 0 0 0 140093 2099 0 0 25 0 1 0 8895913 1192169472 275379 1992294400 4194304 7136930 140733892212848 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 291057 275379 394 719 0 290336 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1164228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15747 /proc/meminfo: memFree=566320/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1210908 CPUtime=1481.9 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 288803 0 0 0 146002 2188 0 0 25 0 1 0 8895913 1239969792 286316 1992294400 4194304 7136930 140733892212848 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 302727 286316 394 719 0 302006 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1210908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15749 /proc/meminfo: memFree=518952/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1262312 CPUtime=1541.87 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 300621 0 0 0 151915 2272 0 0 25 0 1 0 8895913 1292607488 298134 1992294400 4194304 7136930 140733892212848 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 315578 298134 394 719 0 314857 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1262312 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15751 /proc/meminfo: memFree=479272/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1303408 CPUtime=1601.86 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 310553 0 0 0 157830 2356 0 0 25 0 1 0 8895913 1334689792 308066 1992294400 4194304 7136930 140733892212848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 325852 308066 394 719 0 325131 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1303408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15753 /proc/meminfo: memFree=438104/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1345892 CPUtime=1661.84 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 320761 0 0 0 163740 2444 0 0 25 0 1 0 8895913 1378193408 318274 1992294400 4194304 7136930 140733892212848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 336473 318274 394 719 0 335752 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1345892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15753 /proc/meminfo: memFree=398920/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1387444 CPUtime=1721.82 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 330534 0 0 0 169650 2532 0 0 25 0 1 0 8895913 1420742656 328047 1992294400 4194304 7136930 140733892212848 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 346861 328047 394 719 0 346140 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1387444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15755 /proc/meminfo: memFree=363208/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1423952 CPUtime=1781.81 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 339390 0 0 0 175562 2619 0 0 25 0 1 0 8895913 1458126848 336903 1992294400 4194304 7136930 140733892212848 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 355988 336903 394 719 0 355267 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1423952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 15755 /proc/meminfo: memFree=354900/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1432376 CPUtime=1800.02 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 341444 0 0 0 177358 2644 0 0 25 0 1 0 8895913 1466753024 338957 1992294400 4194304 7136930 140733892212848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15703/statm: 358094 338957 394 719 0 357373 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1432376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15703 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.08 1.02 1.01 2/107 15756 /proc/meminfo: memFree=354892/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1432376 CPUtime=1800.91 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 341449 0 0 0 177447 2644 0 0 25 0 1 0 8895913 1466753024 338962 1992294400 4194304 7136930 140733892212848 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15703/statm: 358094 338962 399 719 0 357373 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 1432376 [startup+1802.2 s] /proc/loadavg: 1.08 1.02 1.01 2/107 15756 /proc/meminfo: memFree=354892/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=1430836 CPUtime=1801.71 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4202496 341449 0 0 0 177527 2644 0 0 25 0 1 0 8895913 1465176064 338577 1992294400 4194304 7136930 140733892212848 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15703/statm: 357709 338577 399 719 0 356988 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 1430836 [startup+1802.6 s] /proc/loadavg: 1.08 1.02 1.01 2/107 15756 /proc/meminfo: memFree=354892/2059040 swapFree=4192956/4192956 [pid=15703] ppid=15701 vsize=0 CPUtime=1802.11 /proc/15703/stat : 15703 (pbscip.linux.x8) R 15701 15703 15266 0 -1 4203524 341449 0 0 0 177557 2654 0 0 25 0 1 0 8895913 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/15703/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.63 CPU time (s): 1802.14 CPU user time (s): 1775.57 CPU system time (s): 26.571 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1432376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.57 system time used= 26.571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 341449 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= 21539 runsolver used 2.90156 second user time and 8.59369 second system time The end
Begin job on node088 at 2010-06-16 10:13:44 IDJOB=2663416 IDBENCH=48294 IDSOLVER=1167 FILE ID=node088/2663416-1276676023 PBS_JOBID= 11172522 Free space on /tmp= 62564 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_1_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-2663416-1276676023/watcher-2663416-1276676023 -o /tmp/evaluation-result-2663416-1276676023/solver-2663416-1276676023 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663416-1276676023.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be9efb792831413817cc7562bdc6c002 RANDOM SEED=1607327025 node088.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.217 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.43 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.217 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1714972 kB Buffers: 64528 kB Cached: 141380 kB SwapCached: 0 kB Active: 94864 kB Inactive: 171008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1714972 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3228 kB Writeback: 0 kB AnonPages: 59916 kB Mapped: 15620 kB Slab: 56520 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182240 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= 62560 MiB End job on node088 at 2010-06-16 10:43:46