| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.25 | 1801.84 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb |
| MD5SUM | dab917560b0808668d6327532459772d |
| 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.261959 |
| 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 | 4970 |
| Total number of constraints | 141 |
| Number of constraints which are clauses | 71 |
| 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 | 71 |
| 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 | 72 |
| 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-2664738-1276579625.opb>
0.01/0.03 c original problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 141 constraints
0.01/0.03 c problem read
0.01/0.03 c No objective function, only one solution is needed.
0.01/0.04 c presolving settings loaded
0.01/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.01/0.09 c presolving:
0.09/0.12 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 71 upgd conss, 0 impls, 70 clqs
0.09/0.13 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 141 upgd conss, 0 impls, 70 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 0 implications, 70 cliques
0.09/0.14 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 141 constraints
0.09/0.14 c 70 constraints of type <setppc>
0.09/0.14 c 71 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.07
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.97
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.14 c separating/maxrounds = 1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/maxroundsroot = 5
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.14 c constraints/knapsack/disaggregation = FALSE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c presolving/probing/maxrounds = 0
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/coefdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.14 c heuristics/crossover/freq = -1
0.09/0.14 c
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.14 c heuristics/crossover/nodesofs = 750
0.09/0.14 c
0.09/0.14 c # number of nodes without incumbent change that heuristic should wait
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.14 c heuristics/crossover/nwaitingnodes = 100
0.09/0.14 c
0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.14 c # [type: real, range: [0,1], default: 0.1]
0.09/0.14 c heuristics/crossover/nodesquot = 0.15
0.09/0.14 c
0.09/0.14 c # minimum percentage of integer variables that have to be fixed
0.09/0.14 c # [type: real, range: [0,1], default: 0.666]
0.09/0.14 c heuristics/crossover/minfixingrate = 0.5
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/feaspump/freq = -1
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/fracdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/guideddiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/intshifting/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/linesearchdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/nlp/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/objpscostdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.14 c # [type: real, range: [0,1], default: 0.01]
0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/oneopt/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/pscostdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c heuristics/rens/freq = -1
0.09/0.14 c
0.09/0.14 c # minimum percentage of integer variables that have to be fixable
0.09/0.14 c # [type: real, range: [0,1], default: 0.5]
0.09/0.14 c heuristics/rens/minfixingrate = 0.3
0.09/0.14 c
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.14 c heuristics/rens/nodesofs = 2000
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.14 c heuristics/rootsoldiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/rounding/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/shifting/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/simplerounding/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c heuristics/trivial/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/trysol/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/veclendiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c heuristics/zirounding/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c separating/cmir/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c separating/flowcover/freq = -1
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |8596k| 0 | - |4970 | 141 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.38/19.48 c 19.3s| 10000 | 9988 | 0 | 0.0 | 12M|3525 | - |4970 | 198 | 0 | 0 | 0 | 57 | 0 | 0.000000e+00 | -- | Inf
39.68/39.76 c 39.4s| 20000 | 19979 | 0 | 0.0 | 15M|3525 | - |4970 | 182 | 0 | 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf
61.27/61.30 c 60.8s| 30000 | 29961 | 0 | 0.0 | 18M|3525 | - |4970 | 253 | 0 | 0 | 0 | 211 | 0 | 0.000000e+00 | -- | Inf
80.56/80.66 c 80.0s| 40000 | 39952 | 0 | 0.0 | 21M|3525 | - |4970 | 242 | 0 | 0 | 0 | 271 | 0 | 0.000000e+00 | -- | Inf
101.66/101.77 c 101s| 50000 | 49938 | 0 | 0.0 | 24M|3525 | - |4970 | 263 | 0 | 0 | 0 | 361 | 0 | 0.000000e+00 | -- | Inf
122.85/122.97 c 122s| 60000 | 59924 | 0 | 0.0 | 27M|3525 | - |4970 | 289 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | -- | Inf
143.74/143.87 c 143s| 70000 | 69909 | 0 | 0.0 | 30M|3552 | - |4970 | 332 | 0 | 0 | 0 | 544 | 0 | 0.000000e+00 | -- | Inf
166.34/166.47 c 165s| 80000 | 79897 | 0 | 0.0 | 33M|3675 | - |4970 | 328 | 0 | 0 | 0 | 624 | 0 | 0.000000e+00 | -- | Inf
188.33/188.47 c 187s| 90000 | 89875 | 0 | 0.0 | 36M|3862 | - |4970 | 282 | 0 | 0 | 0 | 697 | 0 | 0.000000e+00 | -- | Inf
209.22/209.33 c 208s|100000 | 99863 | 0 | 0.0 | 39M|4015 | - |4970 | 245 | 0 | 0 | 0 | 743 | 0 | 0.000000e+00 | -- | Inf
231.31/231.46 c 230s|110000 |109852 | 0 | 0.0 | 42M|4182 | - |4970 | 219 | 0 | 0 | 0 | 786 | 0 | 0.000000e+00 | -- | Inf
252.71/252.85 c 251s|120000 |119844 | 0 | 0.0 | 44M|4245 | - |4970 | 229 | 0 | 0 | 0 | 818 | 0 | 0.000000e+00 | -- | Inf
273.60/273.73 c 272s|130000 |129831 | 0 | 0.0 | 47M|4294 | - |4970 | 201 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | -- | Inf
295.89/296.03 c 294s|140000 |139825 | 0 | 0.0 | 50M|4294 | - |4970 | 207 | 0 | 0 | 0 | 861 | 0 | 0.000000e+00 | -- | Inf
316.89/317.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.89/317.09 c 315s|150000 |149813 | 0 | 0.0 | 52M|4294 | - |4970 | 206 | 0 | 0 | 0 | 887 | 0 | 0.000000e+00 | -- | Inf
338.88/339.08 c 336s|160000 |159798 | 0 | 0.0 | 55M|4294 | - |4970 | 196 | 0 | 0 | 0 | 905 | 0 | 0.000000e+00 | -- | Inf
360.57/360.71 c 358s|170000 |169790 | 0 | 0.0 | 58M|4294 | - |4970 | 206 | 0 | 0 | 0 | 922 | 0 | 0.000000e+00 | -- | Inf
381.57/381.74 c 379s|180000 |179775 | 0 | 0.0 | 61M|4294 | - |4970 | 202 | 0 | 0 | 0 | 939 | 0 | 0.000000e+00 | -- | Inf
403.86/404.05 c 401s|190000 |189763 | 0 | 0.0 | 63M|4294 | - |4970 | 217 | 0 | 0 | 0 | 968 | 0 | 0.000000e+00 | -- | Inf
424.36/424.56 c 421s|200000 |199755 | 0 | 0.0 | 66M|4294 | - |4970 | 212 | 0 | 0 | 0 | 982 | 0 | 0.000000e+00 | -- | Inf
446.95/447.13 c 444s|210000 |209740 | 0 | 0.0 | 69M|4294 | - |4970 | 217 | 0 | 0 | 0 |1016 | 0 | 0.000000e+00 | -- | Inf
468.24/468.42 c 465s|220000 |219734 | 0 | 0.0 | 71M|4294 | - |4970 | 225 | 0 | 0 | 0 |1032 | 0 | 0.000000e+00 | -- | Inf
489.44/489.63 c 486s|230000 |229712 | 0 | 0.0 | 74M|4294 | - |4970 | 246 | 0 | 0 | 0 |1099 | 0 | 0.000000e+00 | -- | Inf
511.92/512.16 c 508s|240000 |239700 | 0 | 0.0 | 77M|4346 | - |4970 | 229 | 0 | 0 | 0 |1119 | 0 | 0.000000e+00 | -- | Inf
532.82/533.05 c 529s|250000 |249692 | 0 | 0.0 | 80M|4385 | - |4970 | 214 | 0 | 0 | 0 |1132 | 0 | 0.000000e+00 | -- | Inf
553.02/553.27 c 549s|260000 |259681 | 0 | 0.0 | 82M|4426 | - |4970 | 208 | 0 | 0 | 0 |1147 | 0 | 0.000000e+00 | -- | Inf
575.21/575.43 c 571s|270000 |269673 | 0 | 0.0 | 85M|4433 | - |4970 | 212 | 0 | 0 | 0 |1162 | 0 | 0.000000e+00 | -- | Inf
596.20/596.40 c 592s|280000 |279663 | 0 | 0.0 | 88M|4433 | - |4970 | 211 | 0 | 0 | 0 |1173 | 0 | 0.000000e+00 | -- | Inf
617.10/617.35 c 613s|290000 |289648 | 0 | 0.0 | 90M|4433 | - |4970 | 221 | 0 | 0 | 0 |1196 | 0 | 0.000000e+00 | -- | Inf
638.79/639.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.79/639.00 c 634s|300000 |299640 | 0 | 0.0 | 93M|4433 | - |4970 | 225 | 0 | 0 | 0 |1225 | 0 | 0.000000e+00 | -- | Inf
659.57/659.81 c 655s|310000 |309627 | 0 | 0.0 | 96M|4433 | - |4970 | 238 | 0 | 0 | 0 |1263 | 0 | 0.000000e+00 | -- | Inf
681.17/681.43 c 676s|320000 |319611 | 0 | 0.0 | 99M|4433 | - |4970 | 262 | 0 | 0 | 0 |1301 | 0 | 0.000000e+00 | -- | Inf
702.86/703.13 c 698s|330000 |329600 | 0 | 0.0 | 101M|4433 | - |4970 | 238 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | -- | Inf
723.47/723.78 c 718s|340000 |339583 | 0 | 0.0 | 104M|4433 | - |4970 | 239 | 0 | 0 | 0 |1352 | 0 | 0.000000e+00 | -- | Inf
745.95/746.25 c 741s|350000 |349565 | 0 | 0.0 | 107M|4433 | - |4970 | 238 | 0 | 0 | 0 |1380 | 0 | 0.000000e+00 | -- | Inf
767.34/767.63 c 762s|360000 |359548 | 0 | 0.0 | 109M|4433 | - |4970 | 262 | 0 | 0 | 0 |1430 | 0 | 0.000000e+00 | -- | Inf
787.93/788.21 c 782s|370000 |369540 | 0 | 0.0 | 112M|4433 | - |4970 | 237 | 0 | 0 | 0 |1437 | 0 | 0.000000e+00 | -- | Inf
810.63/810.92 c 805s|380000 |379518 | 0 | 0.0 | 115M|4433 | - |4970 | 271 | 0 | 0 | 0 |1488 | 0 | 0.000000e+00 | -- | Inf
832.02/832.34 c 826s|390000 |389503 | 0 | 0.0 | 117M|4433 | - |4970 | 246 | 0 | 0 | 0 |1510 | 0 | 0.000000e+00 | -- | Inf
853.52/853.84 c 847s|400000 |399495 | 0 | 0.0 | 120M|4433 | - |4970 | 253 | 0 | 0 | 0 |1527 | 0 | 0.000000e+00 | -- | Inf
875.01/875.39 c 869s|410000 |409478 | 0 | 0.0 | 123M|4433 | - |4970 | 286 | 0 | 0 | 0 |1600 | 0 | 0.000000e+00 | -- | Inf
895.30/895.61 c 889s|420000 |419468 | 0 | 0.0 | 126M|4433 | - |4970 | 262 | 0 | 0 | 0 |1624 | 0 | 0.000000e+00 | -- | Inf
917.99/918.39 c 912s|430000 |429455 | 0 | 0.0 | 128M|4433 | - |4970 | 253 | 0 | 0 | 0 |1662 | 0 | 0.000000e+00 | -- | Inf
939.09/939.45 c 932s|440000 |439442 | 0 | 0.0 | 131M|4433 | - |4970 | 252 | 0 | 0 | 0 |1685 | 0 | 0.000000e+00 | -- | Inf
960.78/961.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.78/961.11 c 954s|450000 |449430 | 0 | 0.0 | 134M|4433 | - |4970 | 267 | 0 | 0 | 0 |1720 | 0 | 0.000000e+00 | -- | Inf
982.27/982.66 c 975s|460000 |459417 | 0 | 0.0 | 136M|4433 | - |4970 | 265 | 0 | 0 | 0 |1753 | 0 | 0.000000e+00 | -- | Inf
1002.87/1003.28 c 996s|470000 |469405 | 0 | 0.0 | 139M|4433 | - |4970 | 252 | 0 | 0 | 0 |1775 | 0 | 0.000000e+00 | -- | Inf
1025.26/1025.68 c 1018s|480000 |479390 | 0 | 0.0 | 142M|4433 | - |4970 | 259 | 0 | 0 | 0 |1804 | 0 | 0.000000e+00 | -- | Inf
1045.45/1045.87 c 1038s|490000 |489375 | 0 | 0.0 | 145M|4433 | - |4970 | 288 | 0 | 0 | 0 |1857 | 0 | 0.000000e+00 | -- | Inf
1068.04/1068.42 c 1060s|500000 |499359 | 0 | 0.0 | 147M|4433 | - |4970 | 284 | 0 | 0 | 0 |1906 | 0 | 0.000000e+00 | -- | Inf
1088.94/1089.30 c 1081s|510000 |509346 | 0 | 0.0 | 150M|4433 | - |4970 | 256 | 0 | 0 | 0 |1924 | 0 | 0.000000e+00 | -- | Inf
1110.54/1110.94 c 1103s|520000 |519336 | 0 | 0.0 | 152M|4433 | - |4970 | 244 | 0 | 0 | 0 |1930 | 0 | 0.000000e+00 | -- | Inf
1131.63/1132.03 c 1124s|530000 |529323 | 0 | 0.0 | 155M|4433 | - |4970 | 266 | 0 | 0 | 0 |1965 | 0 | 0.000000e+00 | -- | Inf
1152.52/1152.92 c 1144s|540000 |539315 | 0 | 0.0 | 158M|4433 | - |4970 | 250 | 0 | 0 | 0 |1978 | 0 | 0.000000e+00 | -- | Inf
1173.71/1174.11 c 1165s|550000 |549304 | 0 | 0.0 | 161M|4433 | - |4970 | 263 | 0 | 0 | 0 |2006 | 0 | 0.000000e+00 | -- | Inf
1193.50/1193.92 c 1185s|560000 |559294 | 0 | 0.0 | 163M|4433 | - |4970 | 284 | 0 | 0 | 0 |2046 | 0 | 0.000000e+00 | -- | Inf
1215.70/1216.19 c 1207s|570000 |569277 | 0 | 0.0 | 166M|4433 | - |4970 | 284 | 0 | 0 | 0 |2084 | 0 | 0.000000e+00 | -- | Inf
1236.29/1236.78 c 1228s|580000 |579249 | 0 | 0.0 | 169M|4433 | - |4970 | 293 | 0 | 0 | 0 |2143 | 0 | 0.000000e+00 | -- | Inf
1257.48/1257.98 c 1249s|590000 |589236 | 0 | 0.0 | 171M|4433 | - |4970 | 301 | 0 | 0 | 0 |2170 | 0 | 0.000000e+00 | -- | Inf
1279.18/1279.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.18/1279.60 c 1270s|600000 |599218 | 0 | 0.0 | 174M|4433 | - |4970 | 272 | 0 | 0 | 0 |2197 | 0 | 0.000000e+00 | -- | Inf
1299.87/1300.34 c 1291s|610000 |609199 | 0 | 0.0 | 177M|4433 | - |4970 | 281 | 0 | 0 | 0 |2234 | 0 | 0.000000e+00 | -- | Inf
1321.37/1321.80 c 1312s|620000 |619187 | 0 | 0.0 | 179M|4433 | - |4970 | 272 | 0 | 0 | 0 |2247 | 0 | 0.000000e+00 | -- | Inf
1342.57/1343.01 c 1333s|630000 |629171 | 0 | 0.0 | 182M|4433 | - |4970 | 304 | 0 | 0 | 0 |2309 | 0 | 0.000000e+00 | -- | Inf
1363.05/1363.55 c 1353s|640000 |639152 | 0 | 0.0 | 185M|4433 | - |4970 | 291 | 0 | 0 | 0 |2338 | 0 | 0.000000e+00 | -- | Inf
1384.14/1384.60 c 1374s|650000 |649142 | 0 | 0.0 | 188M|4433 | - |4970 | 290 | 0 | 0 | 0 |2362 | 0 | 0.000000e+00 | -- | Inf
1405.34/1405.84 c 1395s|660000 |659103 | 0 | 0.0 | 190M|4433 | - |4970 | 302 | 0 | 0 | 0 |2403 | 0 | 0.000000e+00 | -- | Inf
1425.73/1426.22 c 1416s|670000 |669083 | 0 | 0.0 | 193M|4433 | - |4970 | 319 | 0 | 0 | 0 |2452 | 0 | 0.000000e+00 | -- | Inf
1446.62/1447.10 c 1436s|680000 |679075 | 0 | 0.0 | 196M|4433 | - |4970 | 322 | 0 | 0 | 0 |2477 | 0 | 0.000000e+00 | -- | Inf
1468.42/1468.95 c 1458s|690000 |689059 | 0 | 0.0 | 199M|4433 | - |4970 | 321 | 0 | 0 | 0 |2517 | 0 | 0.000000e+00 | -- | Inf
1489.01/1489.54 c 1478s|700000 |699046 | 0 | 0.0 | 201M|4433 | - |4970 | 296 | 0 | 0 | 0 |2541 | 0 | 0.000000e+00 | -- | Inf
1509.90/1510.44 c 1499s|710000 |709036 | 0 | 0.0 | 204M|4433 | - |4970 | 283 | 0 | 0 | 0 |2552 | 0 | 0.000000e+00 | -- | Inf
1531.50/1532.01 c 1521s|720000 |719012 | 0 | 0.0 | 207M|4433 | - |4970 | 325 | 0 | 0 | 0 |2611 | 0 | 0.000000e+00 | -- | Inf
1551.68/1552.22 c 1541s|730000 |728997 | 0 | 0.0 | 209M|4433 | - |4970 | 329 | 0 | 0 | 0 |2651 | 0 | 0.000000e+00 | -- | Inf
1572.59/1573.17 c 1561s|740000 |738987 | 0 | 0.0 | 212M|4433 | - |4970 | 343 | 0 | 0 | 0 |2678 | 0 | 0.000000e+00 | -- | Inf
1593.87/1594.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.87/1594.42 c 1583s|750000 |748973 | 0 | 0.0 | 215M|4433 | - |4970 | 303 | 0 | 0 | 0 |2698 | 0 | 0.000000e+00 | -- | Inf
1613.67/1614.24 c 1602s|760000 |758962 | 0 | 0.0 | 217M|4433 | - |4970 | 328 | 0 | 0 | 0 |2736 | 0 | 0.000000e+00 | -- | Inf
1635.17/1635.72 c 1623s|770000 |768956 | 0 | 0.0 | 220M|4433 | - |4970 | 319 | 0 | 0 | 0 |2751 | 0 | 0.000000e+00 | -- | Inf
1656.25/1656.81 c 1644s|780000 |778941 | 0 | 0.0 | 223M|4433 | - |4970 | 326 | 0 | 0 | 0 |2779 | 0 | 0.000000e+00 | -- | Inf
1676.05/1676.60 c 1664s|790000 |788928 | 0 | 0.0 | 226M|4433 | - |4970 | 345 | 0 | 0 | 0 |2814 | 0 | 0.000000e+00 | -- | Inf
1697.34/1697.93 c 1685s|800000 |798920 | 0 | 0.0 | 228M|4433 | - |4970 | 347 | 0 | 0 | 0 |2837 | 0 | 0.000000e+00 | -- | Inf
1717.54/1718.18 c 1705s|810000 |808909 | 0 | 0.0 | 231M|4433 | - |4970 | 332 | 0 | 0 | 0 |2863 | 0 | 0.000000e+00 | -- | Inf
1737.44/1738.09 c 1725s|820000 |818896 | 0 | 0.0 | 234M|4433 | - |4970 | 338 | 0 | 0 | 0 |2898 | 0 | 0.000000e+00 | -- | Inf
1757.72/1758.33 c 1745s|830000 |828872 | 0 | 0.0 | 236M|4433 | - |4970 | 373 | 0 | 0 | 0 |2945 | 0 | 0.000000e+00 | -- | Inf
1778.82/1779.44 c 1766s|840000 |838854 | 0 | 0.0 | 239M|4433 | - |4970 | 367 | 0 | 0 | 0 |3008 | 0 | 0.000000e+00 | -- | Inf
1799.11/1799.76 c 1786s|850000 |848845 | 0 | 0.0 | 242M|4433 | - |4970 | 377 | 0 | 0 | 0 |3043 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1787.10
1800.03/1800.61 c Solving Nodes : 850410
1800.03/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 s UNKNOWN
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1787.10
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664738-1276579625.opb
1800.03/1800.61 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 141 initial, 141 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664738-1276579625.opb
1800.03/1800.61 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 141 initial, 408 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 70 0 876653 0 849980 526 203752 0 0 0
1800.03/1800.61 c logicor : 71+ 0 81734 0 849980 156 17085 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 849980 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c setppc : 393.81 0.00 30.55 0.00 363.26
1800.03/1800.61 c logicor : 171.93 0.00 7.98 0.00 163.95
1800.03/1800.61 c countsols : 0.61 0.00 0.00 0.00 0.61
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 0.77 1 0 0
1800.03/1800.61 c rootredcost : 0.73 0 0 0
1800.03/1800.61 c pseudoobj : 0.41 0 0 0
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 31.52 682 682 25258 853.2 6 159.7 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.61 c applied globally : - - - 2947 297.3 - - -
1800.03/1800.61 c applied locally : - - - 96 677.3 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 1172.05 849980 0 0 0 0 1699960
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c trivial : 0.01 1 0
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c oneopt : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 0.00 0 0
1800.03/1800.61 c trysol : 0.00 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 850410
1800.03/1800.61 c nodes (total) : 850410
1800.03/1800.61 c nodes left : 849255
1800.03/1800.61 c max depth : 4433
1800.03/1800.61 c max depth (total): 4433
1800.03/1800.61 c backtracks : 258 (0.0%)
1800.03/1800.61 c delayed cutoffs : 296
1800.03/1800.61 c repropagations : 1667 (8739 domain reductions, 252 cutoffs)
1800.03/1800.61 c avg switch length: 2.18
1800.03/1800.61 c switching time : 13.85
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 0 (0 improvements)
1800.03/1800.61 c Primal Bound : -
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 0
1801.21/1801.83 c Time complete: 1801.24.
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-2664738-1276579625/watcher-2664738-1276579625 -o /tmp/evaluation-result-2664738-1276579625/solver-2664738-1276579625 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664738-1276579625.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.47 1.10 1.03 3/106 1909 /proc/meminfo: memFree=1745528/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=5552 CPUtime=0 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 580 0 0 0 0 0 0 0 21 0 1 0 33563889 5685248 502 1992294400 4194304 7136930 140735696828992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1909/statm: 1388 513 243 719 0 667 0 [startup+0.0169749 s] /proc/loadavg: 1.47 1.10 1.03 3/106 1909 /proc/meminfo: memFree=1745528/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=9668 CPUtime=0.01 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 1914 0 0 0 1 0 0 0 21 0 1 0 33563889 9900032 1836 1992294400 4194304 7136930 140735696828992 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1909/statm: 2417 1836 268 719 0 1696 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9668 [startup+0.100989 s] /proc/loadavg: 1.47 1.10 1.03 3/106 1909 /proc/meminfo: memFree=1745528/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=22840 CPUtime=0.09 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 5282 0 0 0 7 2 0 0 21 0 1 0 33563889 23388160 4850 1992294400 4194304 7136930 140735696828992 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 5710 4865 335 719 0 4989 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22840 [startup+0.301024 s] /proc/loadavg: 1.47 1.10 1.03 3/106 1909 /proc/meminfo: memFree=1745528/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=24648 CPUtime=0.29 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 7080 0 0 0 26 3 0 0 21 0 1 0 33563889 25239552 5363 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 6162 5363 374 719 0 5441 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24648 [startup+0.701092 s] /proc/loadavg: 1.47 1.10 1.03 3/106 1909 /proc/meminfo: memFree=1745528/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=24816 CPUtime=0.69 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 7109 0 0 0 66 3 0 0 22 0 1 0 33563889 25411584 5392 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 6204 5392 375 719 0 5483 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24816 [startup+1.50123 s] /proc/loadavg: 1.47 1.10 1.03 2/107 1910 /proc/meminfo: memFree=1725060/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=25208 CPUtime=1.49 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 7221 0 0 0 145 4 0 0 25 0 1 0 33563889 25812992 5504 1992294400 4194304 7136930 140735696828992 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 6302 5504 375 719 0 5581 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25208 [startup+3.1015 s] /proc/loadavg: 1.47 1.10 1.03 2/107 1910 /proc/meminfo: memFree=1724440/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=26020 CPUtime=3.09 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 7410 0 0 0 303 6 0 0 25 0 1 0 33563889 26644480 5693 1992294400 4194304 7136930 140735696828992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 6505 5693 375 719 0 5784 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26020 [startup+6.30105 s] /proc/loadavg: 1.43 1.10 1.03 2/107 1910 /proc/meminfo: memFree=1721464/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=28216 CPUtime=6.29 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 7993 0 0 0 621 8 0 0 25 0 1 0 33563889 28893184 6275 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 7054 6275 379 719 0 6333 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28216 [startup+12.7012 s] /proc/loadavg: 1.39 1.09 1.03 2/107 1910 /proc/meminfo: memFree=1719728/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=29916 CPUtime=12.68 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 8438 0 0 0 1255 13 0 0 25 0 1 0 33563889 30633984 6719 1992294400 4194304 7136930 140735696828992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 7479 6719 379 719 0 6758 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29916 [startup+25.5014 s] /proc/loadavg: 1.31 1.09 1.03 2/107 1912 /proc/meminfo: memFree=1717744/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=31884 CPUtime=25.48 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 8936 0 0 0 2526 22 0 0 25 0 1 0 33563889 32649216 7217 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 7971 7217 379 719 0 7250 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31884 [startup+51.1007 s] /proc/loadavg: 1.20 1.08 1.03 2/107 1912 /proc/meminfo: memFree=1713280/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=36076 CPUtime=51.07 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 10037 0 0 0 5066 41 0 0 25 0 1 0 33563889 36941824 8318 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 9019 8318 379 719 0 8298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36076 [startup+102.309 s] /proc/loadavg: 1.09 1.07 1.02 2/107 1914 /proc/meminfo: memFree=1703608/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=45152 CPUtime=102.26 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 12397 0 0 0 10150 76 0 0 25 0 1 0 33563889 46235648 10678 1992294400 4194304 7136930 140735696828992 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 11288 10678 379 719 0 10567 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45152 [startup+162.301 s] /proc/loadavg: 1.03 1.05 1.02 2/107 1914 /proc/meminfo: memFree=1694432/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=56144 CPUtime=162.24 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 14741 0 0 0 16105 119 0 0 25 0 1 0 33563889 57491456 13022 1992294400 4194304 7136930 140735696828992 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 14036 13022 379 719 0 13315 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56144 [startup+222.3 s] /proc/loadavg: 1.01 1.04 1.01 2/107 1916 /proc/meminfo: memFree=1685256/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=64624 CPUtime=222.22 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 16966 0 0 0 22061 161 0 0 25 0 1 0 33563889 66174976 15246 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 16156 15246 380 719 0 15435 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 64624 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 1918 /proc/meminfo: memFree=1675088/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=74368 CPUtime=282.2 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 19495 0 0 0 28016 204 0 0 25 0 1 0 33563889 76152832 17774 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 18592 17774 379 719 0 17871 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 74368 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1920 /proc/meminfo: memFree=1664052/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=85212 CPUtime=342.18 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 22247 0 0 0 33972 246 0 0 25 0 1 0 33563889 87257088 20526 1992294400 4194304 7136930 140735696828992 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 21303 20526 379 719 0 20582 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 85212 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1923 /proc/meminfo: memFree=1653884/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=94924 CPUtime=402.16 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 24780 0 0 0 39929 287 0 0 25 0 1 0 33563889 97202176 23059 1992294400 4194304 7136930 140735696828992 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 23731 23059 379 719 0 23010 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 94924 [startup+462.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1923 /proc/meminfo: memFree=1644460/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=107908 CPUtime=462.14 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 27110 0 0 0 45884 330 0 0 25 0 1 0 33563889 110497792 25389 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 26977 25389 379 719 0 26256 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 107908 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1925 /proc/meminfo: memFree=1634788/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=117652 CPUtime=522.12 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 29609 0 0 0 51840 372 0 0 25 0 1 0 33563889 120475648 27888 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 29413 27888 379 719 0 28692 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 117652 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1927 /proc/meminfo: memFree=1625488/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=126408 CPUtime=582.1 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 31905 0 0 0 57795 415 0 0 25 0 1 0 33563889 129441792 30184 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 31602 30184 379 719 0 30881 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 126408 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1929 /proc/meminfo: memFree=1615816/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=135368 CPUtime=642.09 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 34222 0 0 0 63754 455 0 0 25 0 1 0 33563889 138616832 32501 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 33842 32501 379 719 0 33121 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 135368 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1937 /proc/meminfo: memFree=1572416/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=176580 CPUtime=941.99 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 44958 0 0 0 93534 665 0 0 25 0 1 0 33563889 180817920 43237 1992294400 4194304 7136930 140735696828992 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 44145 43237 379 719 0 43424 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 176580 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1939 /proc/meminfo: memFree=1563736/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=192904 CPUtime=1001.96 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 47081 0 0 0 99486 710 0 0 25 0 1 0 33563889 197533696 45360 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 48226 45360 379 719 0 47505 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 192904 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1939 /proc/meminfo: memFree=1555552/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=201020 CPUtime=1061.95 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 49191 0 0 0 105441 754 0 0 25 0 1 0 33563889 205844480 47470 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 50255 47470 379 719 0 49534 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 201020 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1941 /proc/meminfo: memFree=1545384/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=210652 CPUtime=1121.92 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 51663 0 0 0 111396 796 0 0 25 0 1 0 33563889 215707648 49942 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 52663 49942 379 719 0 51942 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 210652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1947 /proc/meminfo: memFree=1537076/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=218744 CPUtime=1181.91 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 53788 0 0 0 117353 838 0 0 25 0 1 0 33563889 223993856 52067 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 54686 52067 379 719 0 53965 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 218744 [startup+1242.3 s] /proc/loadavg: 1.23 1.05 1.02 2/107 1949 /proc/meminfo: memFree=1528644/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=227044 CPUtime=1241.89 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 55967 0 0 0 123305 884 0 0 25 0 1 0 33563889 232493056 54246 1992294400 4194304 7136930 140735696828992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 56761 54246 379 719 0 56040 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 227044 [startup+1302.3 s] /proc/loadavg: 1.08 1.04 1.01 2/107 1951 /proc/meminfo: memFree=1519468/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=234848 CPUtime=1301.88 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 57996 0 0 0 129259 929 0 0 25 0 1 0 33563889 240484352 56275 1992294400 4194304 7136930 140735696828992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 58712 56275 379 719 0 57991 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 234848 [startup+1362.3 s] /proc/loadavg: 1.03 1.03 1.00 2/107 1951 /proc/meminfo: memFree=1510912/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=243164 CPUtime=1361.85 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 60136 0 0 0 135214 971 0 0 25 0 1 0 33563889 248999936 58415 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 60791 58415 379 719 0 60070 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 243164 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/107 1953 /proc/meminfo: memFree=1501736/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=251760 CPUtime=1421.83 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 62420 0 0 0 141170 1013 0 0 25 0 1 0 33563889 257802240 60699 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 62940 60699 379 719 0 62219 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 251760 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1955 /proc/meminfo: memFree=1493180/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=260024 CPUtime=1481.81 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 64545 0 0 0 147124 1057 0 0 25 0 1 0 33563889 266264576 62824 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 65006 62824 379 719 0 64285 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 260024 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1957 /proc/meminfo: memFree=1484624/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=268120 CPUtime=1541.8 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 66667 0 0 0 153079 1101 0 0 25 0 1 0 33563889 274554880 64946 1992294400 4194304 7136930 140735696828992 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 67030 64946 379 719 0 66309 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 268120 [startup+1602.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 1959 /proc/meminfo: memFree=1476440/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=275732 CPUtime=1601.77 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 68680 0 0 0 159036 1141 0 0 25 0 1 0 33563889 282349568 66959 1992294400 4194304 7136930 140735696828992 18446744073709551615 4642118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 68933 66959 379 719 0 68212 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 275732 [startup+1662.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 1959 /proc/meminfo: memFree=1468008/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=283676 CPUtime=1661.75 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 70761 0 0 0 164989 1186 0 0 25 0 1 0 33563889 290484224 69040 1992294400 4194304 7136930 140735696828992 18446744073709551615 4407784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 70919 69040 379 719 0 70198 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 283676 [startup+1722.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 1961 /proc/meminfo: memFree=1459328/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=291924 CPUtime=1721.74 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 72924 0 0 0 170942 1232 0 0 25 0 1 0 33563889 298930176 71203 1992294400 4194304 7136930 140735696828992 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 72981 71203 379 719 0 72260 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 291924 [startup+1782.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 1963 /proc/meminfo: memFree=1451020/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=299460 CPUtime=1781.71 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 74916 0 0 0 176896 1275 0 0 25 0 1 0 33563889 306647040 73195 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 74865 73195 379 719 0 74144 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 299460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.09 1.05 1.00 2/107 1963 /proc/meminfo: memFree=1448664/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=301768 CPUtime=1800.03 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 75514 0 0 0 178713 1290 0 0 25 0 1 0 33563889 309010432 73793 1992294400 4194304 7136930 140735696828992 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1909/statm: 75442 73793 379 719 0 74721 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 301768 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.09 1.05 1.00 2/107 1963 /proc/meminfo: memFree=1448664/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=286392 CPUtime=1800.81 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 75602 0 0 0 178791 1290 0 0 18 0 1 0 33563889 293265408 69969 1992294400 4194304 7136930 140735696828992 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1909/statm: 71598 69969 384 719 0 70877 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 286392 [startup+1801.81 s] /proc/loadavg: 1.09 1.05 1.00 2/108 1964 /proc/meminfo: memFree=1486972/2059040 swapFree=4136088/4192956 [pid=1909] ppid=1907 vsize=147988 CPUtime=1801.21 /proc/1909/stat : 1909 (pbscip.linux.x8) R 1907 1909 1500 0 -1 4202496 75602 0 0 0 178829 1292 0 0 19 0 1 0 33563889 151539712 35368 1992294400 4194304 7136930 140735696828992 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1909/statm: 36997 35239 384 719 0 36276 0 Current children cumulated CPU time (s) 1801.21 Current children cumulated vsize (KiB) 147988 Child status: 0 Real time (s): 1801.84 CPU time (s): 1801.25 CPU user time (s): 1788.31 CPU system time (s): 12.944 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 301768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.31 system time used= 12.944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75611 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= 4 involuntary context switches= 4000 runsolver used 2.83157 second user time and 8.66368 second system time The end
Begin job on node014 at 2010-06-15 07:27:05 IDJOB=2664738 IDBENCH=2589 IDSOLVER=1167 FILE ID=node014/2664738-1276579625 PBS_JOBID= 11173531 Free space on /tmp= 62572 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-71-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-2664738-1276579625/watcher-2664738-1276579625 -o /tmp/evaluation-result-2664738-1276579625/solver-2664738-1276579625 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664738-1276579625.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dab917560b0808668d6327532459772d RANDOM SEED=1712638374 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1746056 kB Buffers: 75608 kB Cached: 146576 kB SwapCached: 11668 kB Active: 97464 kB Inactive: 139328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1746056 kB SwapTotal: 4192956 kB SwapFree: 4136088 kB Dirty: 3516 kB Writeback: 0 kB AnonPages: 11824 kB Mapped: 9428 kB Slab: 54436 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183284 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= 62568 MiB End job on node014 at 2010-06-15 07:57:08