| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.05 | 1801.6 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb |
| MD5SUM | 51456bad41bf92f026526861ffdd231e |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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 | 0.272958 |
| 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 | 5250 |
| Total number of constraints | 145 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2664727-1276574573.opb>
0.00/0.04 c original problem has 5250 variables (5250 bin, 0 int, 0 impl, 0 cont) and 145 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.10 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 75 upgd conss, 0 impls, 70 clqs
0.09/0.14 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 145 upgd conss, 0 impls, 70 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 0 implications, 70 cliques
0.09/0.15 c presolved problem has 5250 variables (5250 bin, 0 int, 0 impl, 0 cont) and 145 constraints
0.09/0.15 c 70 constraints of type <setppc>
0.09/0.15 c 75 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |9072k| 0 | - |5250 | 145 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.28/21.38 c 21.2s| 10000 | 9988 | 0 | 0.0 | 13M|3633 | - |5250 | 208 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
43.67/43.78 c 43.4s| 20000 | 19977 | 0 | 0.0 | 16M|3633 | - |5250 | 199 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
67.27/67.34 c 66.8s| 30000 | 29963 | 0 | 0.0 | 19M|3633 | - |5250 | 220 | 0 | 0 | 0 | 187 | 0 | 0.000000e+00 | -- | Inf
89.65/89.72 c 89.0s| 40000 | 39949 | 0 | 0.0 | 22M|3633 | - |5250 | 249 | 0 | 0 | 0 | 277 | 0 | 0.000000e+00 | -- | Inf
114.85/114.94 c 114s| 50000 | 49940 | 0 | 0.0 | 25M|3633 | - |5250 | 259 | 0 | 0 | 0 | 337 | 0 | 0.000000e+00 | -- | Inf
138.85/138.90 c 138s| 60000 | 59927 | 0 | 0.0 | 28M|3633 | - |5250 | 267 | 0 | 0 | 0 | 417 | 0 | 0.000000e+00 | -- | Inf
163.03/163.14 c 162s| 70000 | 69908 | 0 | 0.0 | 31M|3633 | - |5250 | 288 | 0 | 0 | 0 | 525 | 0 | 0.000000e+00 | -- | Inf
187.12/187.24 c 186s| 80000 | 79895 | 0 | 0.0 | 34M|3685 | - |5250 | 287 | 0 | 0 | 0 | 605 | 0 | 0.000000e+00 | -- | Inf
210.42/210.53 c 209s| 90000 | 89884 | 0 | 0.0 | 37M|3850 | - |5250 | 277 | 0 | 0 | 0 | 675 | 0 | 0.000000e+00 | -- | Inf
235.91/236.05 c 234s|100000 | 99878 | 0 | 0.0 | 40M|3938 | - |5250 | 285 | 0 | 0 | 0 | 708 | 0 | 0.000000e+00 | -- | Inf
259.20/259.38 c 257s|110000 |109869 | 0 | 0.0 | 43M|4133 | - |5250 | 288 | 0 | 0 | 0 | 768 | 0 | 0.000000e+00 | -- | Inf
284.49/284.69 c 283s|120000 |119857 | 0 | 0.0 | 46M|4191 | - |5250 | 245 | 0 | 0 | 0 | 787 | 0 | 0.000000e+00 | -- | Inf
307.79/307.99 c 306s|130000 |129846 | 0 | 0.0 | 48M|4216 | - |5250 | 247 | 0 | 0 | 0 | 830 | 0 | 0.000000e+00 | -- | Inf
332.98/333.16 c 331s|140000 |139829 | 0 | 0.0 | 51M|4216 | - |5250 | 232 | 0 | 0 | 0 | 879 | 0 | 0.000000e+00 | -- | Inf
357.47/357.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.47/357.61 c 355s|150000 |149817 | 0 | 0.0 | 54M|4216 | - |5250 | 229 | 0 | 0 | 0 | 909 | 0 | 0.000000e+00 | -- | Inf
381.66/381.87 c 379s|160000 |159802 | 0 | 0.0 | 57M|4216 | - |5250 | 215 | 0 | 0 | 0 | 947 | 0 | 0.000000e+00 | -- | Inf
405.85/406.06 c 403s|170000 |169792 | 0 | 0.0 | 59M|4216 | - |5250 | 251 | 0 | 0 | 0 | 986 | 0 | 0.000000e+00 | -- | Inf
430.05/430.22 c 427s|180000 |179777 | 0 | 0.0 | 62M|4216 | - |5250 | 242 | 0 | 0 | 0 |1017 | 0 | 0.000000e+00 | -- | Inf
454.94/455.18 c 452s|190000 |189765 | 0 | 0.0 | 65M|4216 | - |5250 | 226 | 0 | 0 | 0 |1042 | 0 | 0.000000e+00 | -- | Inf
478.13/478.34 c 475s|200000 |199748 | 0 | 0.0 | 68M|4216 | - |5250 | 239 | 0 | 0 | 0 |1095 | 0 | 0.000000e+00 | -- | Inf
503.42/503.68 c 500s|210000 |209740 | 0 | 0.0 | 71M|4225 | - |5250 | 238 | 0 | 0 | 0 |1117 | 0 | 0.000000e+00 | -- | Inf
527.11/527.30 c 524s|220000 |219730 | 0 | 0.0 | 73M|4264 | - |5250 | 218 | 0 | 0 | 0 |1135 | 0 | 0.000000e+00 | -- | Inf
551.51/551.71 c 548s|230000 |229717 | 0 | 0.0 | 76M|4343 | - |5250 | 209 | 0 | 0 | 0 |1155 | 0 | 0.000000e+00 | -- | Inf
576.00/576.22 c 572s|240000 |239709 | 0 | 0.0 | 79M|4392 | - |5250 | 221 | 0 | 0 | 0 |1177 | 0 | 0.000000e+00 | -- | Inf
599.31/599.59 c 595s|250000 |249696 | 0 | 0.0 | 81M|4421 | - |5250 | 249 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | -- | Inf
622.79/623.04 c 619s|260000 |259681 | 0 | 0.0 | 84M|4474 | - |5250 | 221 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | -- | Inf
647.98/648.23 c 644s|270000 |269663 | 0 | 0.0 | 87M|4474 | - |5250 | 234 | 0 | 0 | 0 |1262 | 0 | 0.000000e+00 | -- | Inf
671.08/671.37 c 667s|280000 |279653 | 0 | 0.0 | 89M|4474 | - |5250 | 219 | 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | -- | Inf
694.26/694.58 c 690s|290000 |289638 | 0 | 0.0 | 92M|4474 | - |5250 | 246 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | -- | Inf
718.66/718.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.66/718.94 c 714s|300000 |299628 | 0 | 0.0 | 95M|4474 | - |5250 | 250 | 0 | 0 | 0 |1345 | 0 | 0.000000e+00 | -- | Inf
741.06/741.34 c 736s|310000 |309615 | 0 | 0.0 | 98M|4474 | - |5250 | 253 | 0 | 0 | 0 |1380 | 0 | 0.000000e+00 | -- | Inf
766.25/766.50 c 761s|320000 |319605 | 0 | 0.0 | 100M|4474 | - |5250 | 246 | 0 | 0 | 0 |1397 | 0 | 0.000000e+00 | -- | Inf
789.15/789.46 c 784s|330000 |329588 | 0 | 0.0 | 103M|4474 | - |5250 | 263 | 0 | 0 | 0 |1433 | 0 | 0.000000e+00 | -- | Inf
814.43/814.74 c 809s|340000 |339576 | 0 | 0.0 | 106M|4474 | - |5250 | 255 | 0 | 0 | 0 |1455 | 0 | 0.000000e+00 | -- | Inf
837.63/837.98 c 832s|350000 |349565 | 0 | 0.0 | 108M|4474 | - |5250 | 251 | 0 | 0 | 0 |1482 | 0 | 0.000000e+00 | -- | Inf
862.23/862.59 c 857s|360000 |359559 | 0 | 0.0 | 111M|4474 | - |5250 | 250 | 0 | 0 | 0 |1495 | 0 | 0.000000e+00 | -- | Inf
885.81/886.17 c 880s|370000 |369550 | 0 | 0.0 | 114M|4474 | - |5250 | 262 | 0 | 0 | 0 |1528 | 0 | 0.000000e+00 | -- | Inf
909.90/910.25 c 904s|380000 |379538 | 0 | 0.0 | 117M|4474 | - |5250 | 269 | 0 | 0 | 0 |1553 | 0 | 0.000000e+00 | -- | Inf
934.30/934.68 c 928s|390000 |389519 | 0 | 0.0 | 119M|4474 | - |5250 | 287 | 0 | 0 | 0 |1626 | 0 | 0.000000e+00 | -- | Inf
957.90/958.27 c 952s|400000 |399503 | 0 | 0.0 | 122M|4474 | - |5250 | 285 | 0 | 0 | 0 |1654 | 0 | 0.000000e+00 | -- | Inf
982.59/982.91 c 976s|410000 |409488 | 0 | 0.0 | 125M|4474 | - |5250 | 294 | 0 | 0 | 0 |1706 | 0 | 0.000000e+00 | -- | Inf
1006.29/1006.69 c 1000s|420000 |419461 | 0 | 0.0 | 128M|4474 | - |5250 | 298 | 0 | 0 | 0 |1763 | 0 | 0.000000e+00 | -- | Inf
1032.37/1032.72 c 1026s|430000 |429441 | 0 | 0.0 | 130M|4474 | - |5250 | 260 | 0 | 0 | 0 |1777 | 0 | 0.000000e+00 | -- | Inf
1055.97/1056.32 c 1049s|440000 |439421 | 0 | 0.0 | 133M|4474 | - |5250 | 256 | 0 | 0 | 0 |1818 | 0 | 0.000000e+00 | -- | Inf
1080.56/1080.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.56/1080.91 c 1074s|450000 |449415 | 0 | 0.0 | 136M|4474 | - |5250 | 263 | 0 | 0 | 0 |1836 | 0 | 0.000000e+00 | -- | Inf
1104.15/1104.56 c 1097s|460000 |459398 | 0 | 0.0 | 138M|4474 | - |5250 | 262 | 0 | 0 | 0 |1868 | 0 | 0.000000e+00 | -- | Inf
1128.54/1128.96 c 1121s|470000 |469388 | 0 | 0.0 | 141M|4474 | - |5250 | 270 | 0 | 0 | 0 |1885 | 0 | 0.000000e+00 | -- | Inf
1151.94/1152.39 c 1145s|480000 |479371 | 0 | 0.0 | 144M|4474 | - |5250 | 287 | 0 | 0 | 0 |1926 | 0 | 0.000000e+00 | -- | Inf
1176.23/1176.65 c 1169s|490000 |489355 | 0 | 0.0 | 147M|4474 | - |5250 | 314 | 0 | 0 | 0 |1976 | 0 | 0.000000e+00 | -- | Inf
1200.13/1200.51 c 1192s|500000 |499344 | 0 | 0.0 | 149M|4474 | - |5250 | 278 | 0 | 0 | 0 |2005 | 0 | 0.000000e+00 | -- | Inf
1223.52/1223.98 c 1216s|510000 |509338 | 0 | 0.0 | 152M|4474 | - |5250 | 277 | 0 | 0 | 0 |2019 | 0 | 0.000000e+00 | -- | Inf
1247.81/1248.23 c 1240s|520000 |519327 | 0 | 0.0 | 155M|4474 | - |5250 | 284 | 0 | 0 | 0 |2041 | 0 | 0.000000e+00 | -- | Inf
1270.91/1271.36 c 1263s|530000 |529321 | 0 | 0.0 | 157M|4474 | - |5250 | 279 | 0 | 0 | 0 |2050 | 0 | 0.000000e+00 | -- | Inf
1295.59/1296.00 c 1287s|540000 |539300 | 0 | 0.0 | 160M|4474 | - |5250 | 303 | 0 | 0 | 0 |2122 | 0 | 0.000000e+00 | -- | Inf
1317.79/1318.27 c 1309s|550000 |549292 | 0 | 0.0 | 163M|4474 | - |5250 | 294 | 0 | 0 | 0 |2137 | 0 | 0.000000e+00 | -- | Inf
1342.79/1343.21 c 1334s|560000 |559268 | 0 | 0.0 | 166M|4474 | - |5250 | 307 | 0 | 0 | 0 |2186 | 0 | 0.000000e+00 | -- | Inf
1365.79/1366.23 c 1357s|570000 |569255 | 0 | 0.0 | 168M|4474 | - |5250 | 290 | 0 | 0 | 0 |2205 | 0 | 0.000000e+00 | -- | Inf
1389.28/1389.76 c 1380s|580000 |579247 | 0 | 0.0 | 171M|4474 | - |5250 | 319 | 0 | 0 | 0 |2249 | 0 | 0.000000e+00 | -- | Inf
1412.86/1413.33 c 1404s|590000 |589230 | 0 | 0.0 | 174M|4474 | - |5250 | 322 | 0 | 0 | 0 |2287 | 0 | 0.000000e+00 | -- | Inf
1435.56/1436.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.56/1436.06 c 1426s|600000 |599217 | 0 | 0.0 | 176M|4474 | - |5250 | 297 | 0 | 0 | 0 |2304 | 0 | 0.000000e+00 | -- | Inf
1459.85/1460.31 c 1450s|610000 |609209 | 0 | 0.0 | 179M|4474 | - |5250 | 310 | 0 | 0 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf
1483.05/1483.59 c 1473s|620000 |619198 | 0 | 0.0 | 182M|4474 | - |5250 | 318 | 0 | 0 | 0 |2351 | 0 | 0.000000e+00 | -- | Inf
1505.54/1506.04 c 1496s|630000 |629190 | 0 | 0.0 | 185M|4474 | - |5250 | 299 | 0 | 0 | 0 |2360 | 0 | 0.000000e+00 | -- | Inf
1530.03/1530.56 c 1520s|640000 |639173 | 0 | 0.0 | 187M|4474 | - |5250 | 319 | 0 | 0 | 0 |2398 | 0 | 0.000000e+00 | -- | Inf
1552.92/1553.49 c 1543s|650000 |649156 | 0 | 0.0 | 190M|4474 | - |5250 | 334 | 0 | 0 | 0 |2441 | 0 | 0.000000e+00 | -- | Inf
1575.91/1576.43 c 1566s|660000 |659150 | 0 | 0.0 | 193M|4474 | - |5250 | 339 | 0 | 0 | 0 |2467 | 0 | 0.000000e+00 | -- | Inf
1599.81/1600.38 c 1589s|670000 |669137 | 0 | 0.0 | 196M|4474 | - |5250 | 331 | 0 | 0 | 0 |2506 | 0 | 0.000000e+00 | -- | Inf
1622.80/1623.34 c 1612s|680000 |679122 | 0 | 0.0 | 198M|4474 | - |5250 | 321 | 0 | 0 | 0 |2523 | 0 | 0.000000e+00 | -- | Inf
1645.89/1646.46 c 1635s|690000 |689114 | 0 | 0.0 | 201M|4474 | - |5250 | 325 | 0 | 0 | 0 |2545 | 0 | 0.000000e+00 | -- | Inf
1669.98/1670.52 c 1659s|700000 |699101 | 0 | 0.0 | 204M|4474 | - |5250 | 311 | 0 | 0 | 0 |2556 | 0 | 0.000000e+00 | -- | Inf
1692.68/1693.29 c 1682s|710000 |709084 | 0 | 0.0 | 207M|4474 | - |5250 | 324 | 0 | 0 | 0 |2585 | 0 | 0.000000e+00 | -- | Inf
1715.87/1716.42 c 1705s|720000 |719072 | 0 | 0.0 | 209M|4474 | - |5250 | 339 | 0 | 0 | 0 |2615 | 0 | 0.000000e+00 | -- | Inf
1739.67/1740.23 c 1728s|730000 |729063 | 0 | 0.0 | 212M|4474 | - |5250 | 324 | 0 | 0 | 0 |2630 | 0 | 0.000000e+00 | -- | Inf
1762.86/1763.44 c 1751s|740000 |739035 | 0 | 0.0 | 215M|4474 | - |5250 | 324 | 0 | 0 | 0 |2663 | 0 | 0.000000e+00 | -- | Inf
1785.55/1786.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.55/1786.18 c 1774s|750000 |749025 | 0 | 0.0 | 217M|4474 | - |5250 | 331 | 0 | 0 | 0 |2684 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1788.23
1800.05/1800.61 c Solving Nodes : 755926
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1788.23
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664727-1276574573.opb
1800.05/1800.61 c Variables : 5250 (5250 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 145 initial, 145 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664727-1276574573.opb
1800.05/1800.61 c Variables : 5250 (5250 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 145 initial, 355 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 70 0 778934 0 755546 450 240337 0 0 0
1800.05/1800.61 c logicor : 75+ 0 71721 0 755546 141 15493 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 755546 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c setppc : 388.59 0.00 28.42 0.00 360.17
1800.05/1800.61 c logicor : 174.81 0.00 9.55 0.00 165.26
1800.05/1800.61 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 0.86 1 0 0
1800.05/1800.61 c rootredcost : 0.73 0 0 0
1800.05/1800.61 c pseudoobj : 0.54 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 31.78 591 591 20997 920.1 6 159.2 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 2616 301.3 - - -
1800.05/1800.61 c applied locally : - - - 82 704.4 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 1177.47 755546 0 0 0 0 1511092
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c trivial : 0.01 1 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c oneopt : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 0.00 0 0
1800.05/1800.61 c trysol : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 755926
1800.05/1800.61 c nodes (total) : 755926
1800.05/1800.61 c nodes left : 754945
1800.05/1800.61 c max depth : 4474
1800.05/1800.61 c max depth (total): 4474
1800.05/1800.61 c backtracks : 216 (0.0%)
1800.05/1800.61 c delayed cutoffs : 222
1800.05/1800.61 c repropagations : 1394 (11848 domain reductions, 211 cutoffs)
1800.05/1800.61 c avg switch length: 2.13
1800.05/1800.61 c switching time : 13.58
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
1801.05/1801.60 c Time complete: 1801.05.
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-2664727-1276574573/watcher-2664727-1276574573 -o /tmp/evaluation-result-2664727-1276574573/solver-2664727-1276574573 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664727-1276574573.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.35 1.12 1.03 3/106 1917 /proc/meminfo: memFree=1857448/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=5552 CPUtime=0 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 604 0 0 0 0 0 0 0 18 0 1 0 31113641 5685248 526 1992294400 4194304 7136930 140734486052400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1917/statm: 1388 536 243 719 0 667 0 [startup+0.0568101 s] /proc/loadavg: 1.35 1.12 1.03 3/106 1917 /proc/meminfo: memFree=1857448/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=19332 CPUtime=0.05 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 4670 0 0 0 4 1 0 0 20 0 1 0 31113641 19795968 4238 1992294400 4194304 7136930 140734486052400 18446744073709551615 6166347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 4833 4238 282 719 0 4112 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 19332 [startup+0.101815 s] /proc/loadavg: 1.35 1.12 1.03 3/106 1917 /proc/meminfo: memFree=1857448/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=22968 CPUtime=0.09 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 5287 0 0 0 8 1 0 0 20 0 1 0 31113641 23519232 4855 1992294400 4194304 7136930 140734486052400 18446744073709551615 5504378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 5742 4855 319 719 0 5021 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22968 [startup+0.301833 s] /proc/loadavg: 1.35 1.12 1.03 3/106 1917 /proc/meminfo: memFree=1857448/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=24936 CPUtime=0.29 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 7133 0 0 0 27 2 0 0 20 0 1 0 31113641 25534464 5416 1992294400 4194304 7136930 140734486052400 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 6234 5416 374 719 0 5513 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24936 [startup+0.701873 s] /proc/loadavg: 1.35 1.12 1.03 3/106 1917 /proc/meminfo: memFree=1857448/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=25104 CPUtime=0.69 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 7161 0 0 0 67 2 0 0 21 0 1 0 31113641 25706496 5444 1992294400 4194304 7136930 140734486052400 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 6276 5444 375 719 0 5555 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25104 [startup+1.50095 s] /proc/loadavg: 1.35 1.12 1.03 2/107 1918 /proc/meminfo: memFree=1836732/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=25236 CPUtime=1.49 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 7211 0 0 0 146 3 0 0 23 0 1 0 31113641 25841664 5494 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 6309 5494 375 719 0 5588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25236 [startup+3.1011 s] /proc/loadavg: 1.32 1.12 1.03 2/107 1918 /proc/meminfo: memFree=1836112/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=26320 CPUtime=3.09 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 7467 0 0 0 304 5 0 0 25 0 1 0 31113641 26951680 5750 1992294400 4194304 7136930 140734486052400 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 6580 5750 375 719 0 5859 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26320 [startup+6.30141 s] /proc/loadavg: 1.32 1.12 1.03 2/107 1918 /proc/meminfo: memFree=1833136/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=28384 CPUtime=6.29 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 8027 0 0 0 622 7 0 0 25 0 1 0 31113641 29065216 6310 1992294400 4194304 7136930 140734486052400 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 7096 6310 379 719 0 6375 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28384 [startup+12.701 s] /proc/loadavg: 1.30 1.11 1.03 2/107 1918 /proc/meminfo: memFree=1832144/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=29684 CPUtime=12.69 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 8337 0 0 0 1256 13 0 0 25 0 1 0 31113641 30396416 6619 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 7421 6619 379 719 0 6700 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29684 [startup+25.5013 s] /proc/loadavg: 1.23 1.11 1.03 2/107 1918 /proc/meminfo: memFree=1829788/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=31784 CPUtime=25.49 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 8901 0 0 0 2527 22 0 0 25 0 1 0 31113641 32546816 7183 1992294400 4194304 7136930 140734486052400 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 7946 7183 379 719 0 7225 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31784 [startup+51.1017 s] /proc/loadavg: 1.15 1.10 1.03 2/107 1921 /proc/meminfo: memFree=1824332/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=37184 CPUtime=51.07 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 10288 0 0 0 5068 39 0 0 25 0 1 0 31113641 38076416 8570 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 9296 8570 379 719 0 8575 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37184 [startup+102.309 s] /proc/loadavg: 1.06 1.08 1.02 2/107 1921 /proc/meminfo: memFree=1816396/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=44748 CPUtime=102.27 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 12248 0 0 0 10152 75 0 0 25 0 1 0 31113641 45821952 10530 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 11187 10530 379 719 0 10466 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 44748 [startup+162.301 s] /proc/loadavg: 1.02 1.06 1.02 2/107 1923 /proc/meminfo: memFree=1808088/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=54568 CPUtime=162.23 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 14299 0 0 0 16107 116 0 0 25 0 1 0 31113641 55877632 12581 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 13642 12581 379 719 0 12921 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 54568 [startup+222.301 s] /proc/loadavg: 1.01 1.05 1.01 2/107 1925 /proc/meminfo: memFree=1800400/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=61848 CPUtime=222.21 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 16200 0 0 0 22066 155 0 0 25 0 1 0 31113641 63332352 14482 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 15462 14482 379 719 0 14741 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 61848 [startup+282.302 s] /proc/loadavg: 1.00 1.04 1.00 2/107 1927 /proc/meminfo: memFree=1792836/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=69060 CPUtime=282.19 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 18089 0 0 0 28025 194 0 0 25 0 1 0 31113641 70717440 16370 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 17265 16370 379 719 0 16544 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 69060 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 1929 /proc/meminfo: memFree=1782172/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=79436 CPUtime=342.18 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 20750 0 0 0 33986 232 0 0 25 0 1 0 31113641 81342464 19031 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 19859 19031 379 719 0 19138 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 79436 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1929 /proc/meminfo: memFree=1773244/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=87976 CPUtime=402.15 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 22984 0 0 0 39944 271 0 0 25 0 1 0 31113641 90087424 21265 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 21994 21265 379 719 0 21273 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 87976 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1931 /proc/meminfo: memFree=1764068/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=96804 CPUtime=462.13 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 25239 0 0 0 45903 310 0 0 25 0 1 0 31113641 99127296 23520 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 24201 23520 379 719 0 23480 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 96804 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1933 /proc/meminfo: memFree=1755140/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=109320 CPUtime=522.11 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 27431 0 0 0 51863 348 0 0 25 0 1 0 31113641 111943680 25712 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 27330 25712 379 719 0 26609 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 109320 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1935 /proc/meminfo: memFree=1745716/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=118624 CPUtime=582.1 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 29806 0 0 0 57825 385 0 0 25 0 1 0 31113641 121470976 28087 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 29656 28087 379 719 0 28935 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 118624 [startup+642.301 s] /proc/loadavg: 1.10 1.03 1.01 2/107 1937 /proc/meminfo: memFree=1733440/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=130488 CPUtime=642.09 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 32838 0 0 0 63786 423 0 0 25 0 1 0 31113641 133619712 31119 1992294400 4194304 7136930 140734486052400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 32622 31119 379 719 0 31901 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 130488 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.06 1.05 1.01 2/107 1949 /proc/meminfo: memFree=1693140/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=168908 CPUtime=942 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 42838 0 0 0 93591 609 0 0 25 0 1 0 31113641 172961792 41119 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 42227 41119 379 719 0 41506 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 168908 [startup+1002.3 s] /proc/loadavg: 1.05 1.05 1.01 2/107 1949 /proc/meminfo: memFree=1684708/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=176864 CPUtime=1001.98 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 44907 0 0 0 99553 645 0 0 25 0 1 0 31113641 181108736 43188 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 44216 43188 379 719 0 43495 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 176864 [startup+1062.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 1951 /proc/meminfo: memFree=1677392/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=183948 CPUtime=1061.96 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 46734 0 0 0 105512 684 0 0 25 0 1 0 31113641 188362752 45015 1992294400 4194304 7136930 140734486052400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 45987 45015 379 719 0 45266 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 183948 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 1953 /proc/meminfo: memFree=1668588/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=200672 CPUtime=1121.94 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 48939 0 0 0 111471 723 0 0 25 0 1 0 31113641 205488128 47220 1992294400 4194304 7136930 140734486052400 18446744073709551615 5121874 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 50168 47220 379 719 0 49447 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 200672 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1955 /proc/meminfo: memFree=1660652/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=208784 CPUtime=1181.93 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 51020 0 0 0 117432 761 0 0 25 0 1 0 31113641 213794816 49301 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 52196 49301 379 719 0 51475 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 208784 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1957 /proc/meminfo: memFree=1652468/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=215844 CPUtime=1241.91 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 52872 0 0 0 123388 803 0 0 25 0 1 0 31113641 221024256 51153 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 53961 51153 379 719 0 53240 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 215844 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1957 /proc/meminfo: memFree=1644532/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=223468 CPUtime=1301.9 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 54829 0 0 0 129346 844 0 0 25 0 1 0 31113641 228831232 53110 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 55867 53110 379 719 0 55146 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 223468 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1959 /proc/meminfo: memFree=1636596/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=230952 CPUtime=1361.88 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 56807 0 0 0 135304 884 0 0 25 0 1 0 31113641 236494848 55088 1992294400 4194304 7136930 140734486052400 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 57738 55088 379 719 0 57017 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 230952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1961 /proc/meminfo: memFree=1629280/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=237908 CPUtime=1421.87 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 58639 0 0 0 141261 926 0 0 25 0 1 0 31113641 243617792 56920 1992294400 4194304 7136930 140734486052400 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 59477 56920 379 719 0 58756 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 237908 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1963 /proc/meminfo: memFree=1621344/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=245568 CPUtime=1481.85 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 60609 0 0 0 147218 967 0 0 25 0 1 0 31113641 251461632 58890 1992294400 4194304 7136930 140734486052400 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 61392 58890 379 719 0 60671 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 245568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1965 /proc/meminfo: memFree=1613408/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=253092 CPUtime=1541.83 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 62568 0 0 0 153176 1007 0 0 25 0 1 0 31113641 259166208 60849 1992294400 4194304 7136930 140734486052400 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 63273 60849 379 719 0 62552 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 253092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1965 /proc/meminfo: memFree=1606464/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=259748 CPUtime=1601.8 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 64325 0 0 0 159131 1049 0 0 25 0 1 0 31113641 265981952 62606 1992294400 4194304 7136930 140734486052400 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 64937 62606 379 719 0 64216 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 259748 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1967 /proc/meminfo: memFree=1598776/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=267024 CPUtime=1661.79 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 66231 0 0 0 165089 1090 0 0 25 0 1 0 31113641 273432576 64512 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 66756 64512 379 719 0 66035 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 267024 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1969 /proc/meminfo: memFree=1590344/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=274956 CPUtime=1721.77 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 68288 0 0 0 171050 1127 0 0 25 0 1 0 31113641 281554944 66569 1992294400 4194304 7136930 140734486052400 18446744073709551615 4407882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 68739 66569 379 719 0 68018 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 274956 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1971 /proc/meminfo: memFree=1582780/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=282064 CPUtime=1781.75 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 70137 0 0 0 177006 1169 0 0 25 0 1 0 31113641 288833536 68418 1992294400 4194304 7136930 140734486052400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 70516 68418 379 719 0 69795 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 282064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1971 /proc/meminfo: memFree=1580176/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=284464 CPUtime=1800.05 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 70766 0 0 0 178825 1180 0 0 25 0 1 0 31113641 291291136 69047 1992294400 4194304 7136930 140734486052400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1917/statm: 71116 69047 379 719 0 70395 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 284464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1971 /proc/meminfo: memFree=1580176/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=261724 CPUtime=1800.84 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 70857 0 0 0 178903 1181 0 0 25 0 1 0 31113641 268005376 63383 1992294400 4194304 7136930 140734486052400 18446744073709551615 6166245 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1917/statm: 65431 63383 384 719 0 64710 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 261724 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1971 /proc/meminfo: memFree=1580176/2059040 swapFree=4140224/4192956 [pid=1917] ppid=1915 vsize=7748 CPUtime=1801.05 /proc/1917/stat : 1917 (pbscip.linux.x8) R 1915 1917 1345 0 -1 4202496 70866 0 0 0 178920 1185 0 0 25 0 1 0 31113641 7933952 1506 1992294400 4194304 7136930 140734486052400 18446744073709551615 6320587 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1917/statm: 1937 1506 393 719 0 1216 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 7748 Child status: 0 Real time (s): 1801.6 CPU time (s): 1801.05 CPU user time (s): 1789.2 CPU system time (s): 11.8512 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 284728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.2 system time used= 11.8512 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70866 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= 4669 runsolver used 2.90756 second user time and 8.58869 second system time The end
Begin job on node018 at 2010-06-15 06:02:53 IDJOB=2664727 IDBENCH=2567 IDSOLVER=1167 FILE ID=node018/2664727-1276574573 PBS_JOBID= 11173519 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.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-2664727-1276574573/watcher-2664727-1276574573 -o /tmp/evaluation-result-2664727-1276574573/solver-2664727-1276574573 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664727-1276574573.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 51456bad41bf92f026526861ffdd231e RANDOM SEED=1310999164 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1857852 kB Buffers: 23704 kB Cached: 89860 kB SwapCached: 6136 kB Active: 66788 kB Inactive: 59632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1857852 kB SwapTotal: 4192956 kB SwapFree: 4140224 kB Dirty: 3412 kB Writeback: 0 kB AnonPages: 11068 kB Mapped: 12980 kB Slab: 52764 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180056 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= 62484 MiB End job on node018 at 2010-06-15 06:32:56