Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1802.08 | 1802.54 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12022_9-sat.opb |
MD5SUM | 0a851c8da3e98872eaeb0a89c94e4840 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.436933 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 26620 |
Total number of constraints | 88108 |
Number of constraints which are clauses | 87672 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 436 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 32 |
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 | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 217 |
Number of bits of the biggest sum of numbers | 8 |
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: Clp 1.11.1] [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-2685109-1278439808.opb> 1.50/1.54 c original problem has 26620 variables (26620 bin, 0 int, 0 impl, 0 cont) and 88108 constraints 1.50/1.54 c problem read 1.50/1.54 c No objective function, only one solution is needed. 1.50/1.54 c presolving settings loaded 1.89/1.97 c presolving: 5.89/5.96 c (round 1) 6028 del vars, 17376 del conss, 4361 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5078704 impls, 0 clqs 7.70/7.79 c (round 2) 13509 del vars, 44871 del conss, 11378 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5125228 impls, 0 clqs 7.99/8.04 c (round 3) 16167 del vars, 57358 del conss, 12939 chg bounds, 47 chg sides, 31 chg coeffs, 0 upgd conss, 5140109 impls, 0 clqs 8.09/8.17 c (round 4) 17318 del vars, 61410 del conss, 13774 chg bounds, 62 chg sides, 44 chg coeffs, 0 upgd conss, 5151590 impls, 0 clqs 8.19/8.26 c (round 5) 18129 del vars, 64100 del conss, 14304 chg bounds, 64 chg sides, 54 chg coeffs, 0 upgd conss, 5158570 impls, 0 clqs 8.29/8.34 c (round 6) 18704 del vars, 66146 del conss, 14662 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5164423 impls, 0 clqs 8.29/8.38 c (round 7) 18928 del vars, 67055 del conss, 14789 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5166381 impls, 0 clqs 8.39/8.42 c (round 8) 19015 del vars, 67429 del conss, 14837 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167253 impls, 0 clqs 8.39/8.45 c (round 9) 19054 del vars, 67598 del conss, 14847 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167757 impls, 0 clqs 8.39/8.48 c (round 10) 19061 del vars, 67632 del conss, 14849 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167833 impls, 0 clqs 8.70/8.74 c (round 11) 19061 del vars, 67632 del conss, 14849 chg bounds, 66 chg sides, 58 chg coeffs, 20476 upgd conss, 5167833 impls, 0 clqs 8.80/8.85 c (round 12) 19061 del vars, 67632 del conss, 14849 chg bounds, 73 chg sides, 111 chg coeffs, 20476 upgd conss, 5168849 impls, 433 clqs 8.89/8.94 c (round 13) 19061 del vars, 67632 del conss, 14849 chg bounds, 76 chg sides, 136 chg coeffs, 20476 upgd conss, 5168849 impls, 448 clqs 8.99/9.00 c presolving (14 rounds): 8.99/9.00 c 19061 deleted vars, 67632 deleted constraints, 14849 tightened bounds, 0 added holes, 76 changed sides, 142 changed coefficients 8.99/9.00 c 5168849 implications, 449 cliques 8.99/9.00 c presolved problem has 7559 variables (7559 bin, 0 int, 0 impl, 0 cont) and 20476 constraints 8.99/9.00 c 331 constraints of type <knapsack> 8.99/9.00 c 20145 constraints of type <logicor> 8.99/9.00 c transformed objective value is always integral (scale: 1) 8.99/9.00 c Presolving Time: 6.75 8.99/9.00 c - non default parameters ---------------------------------------------------------------------- 8.99/9.00 c # SCIP version 1.2.1.2 8.99/9.00 c 8.99/9.00 c # frequency for displaying node information lines 8.99/9.00 c # [type: int, range: [-1,2147483647], default: 100] 8.99/9.00 c display/freq = 10000 8.99/9.00 c 8.99/9.00 c # maximal time in seconds to run 8.99/9.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 8.99/9.00 c limits/time = 1798.46 8.99/9.00 c 8.99/9.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 8.99/9.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 8.99/9.00 c limits/memory = 1620 8.99/9.00 c 8.99/9.00 c # solving stops, if the given number of solutions were found (-1: no limit) 8.99/9.00 c # [type: int, range: [-1,2147483647], default: -1] 8.99/9.00 c limits/solutions = 1 8.99/9.00 c 8.99/9.00 c # maximal number of separation rounds per node (-1: unlimited) 8.99/9.00 c # [type: int, range: [-1,2147483647], default: 5] 8.99/9.00 c separating/maxrounds = 1 8.99/9.00 c 8.99/9.00 c # maximal number of separation rounds in the root node (-1: unlimited) 8.99/9.00 c # [type: int, range: [-1,2147483647], default: -1] 8.99/9.00 c separating/maxroundsroot = 5 8.99/9.00 c 8.99/9.00 c # should presolving try to simplify inequalities 8.99/9.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.99/9.00 c constraints/linear/simplifyinequalities = TRUE 8.99/9.00 c 8.99/9.00 c # should disaggregation of knapsack constraints be allowed in preprocessing? 8.99/9.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 8.99/9.00 c constraints/knapsack/disaggregation = FALSE 8.99/9.00 c 8.99/9.00 c # should presolving try to simplify knapsacks 8.99/9.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 8.99/9.00 c constraints/knapsack/simplifyinequalities = TRUE 8.99/9.01 c 8.99/9.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: -1] 8.99/9.01 c presolving/probing/maxrounds = 0 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/coefdiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/coefdiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/coefdiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 30] 8.99/9.01 c heuristics/crossover/freq = -1 8.99/9.01 c 8.99/9.01 c # number of nodes added to the contingent of the total nodes 8.99/9.01 c # [type: longint, range: [0,9223372036854775807], default: 500] 8.99/9.01 c heuristics/crossover/nodesofs = 750 8.99/9.01 c 8.99/9.01 c # number of nodes without incumbent change that heuristic should wait 8.99/9.01 c # [type: longint, range: [0,9223372036854775807], default: 200] 8.99/9.01 c heuristics/crossover/nwaitingnodes = 100 8.99/9.01 c 8.99/9.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 8.99/9.01 c # [type: real, range: [0,1], default: 0.1] 8.99/9.01 c heuristics/crossover/nodesquot = 0.15 8.99/9.01 c 8.99/9.01 c # minimum percentage of integer variables that have to be fixed 8.99/9.01 c # [type: real, range: [0,1], default: 0.666] 8.99/9.01 c heuristics/crossover/minfixingrate = 0.5 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 20] 8.99/9.01 c heuristics/feaspump/freq = -1 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/feaspump/maxlpiterofs = 2000 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/fracdiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/fracdiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/fracdiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/guideddiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/guideddiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/guideddiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/intdiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/intshifting/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/linesearchdiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/linesearchdiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/linesearchdiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/nlp/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 20] 8.99/9.01 c heuristics/objpscostdiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to total iteration number 8.99/9.01 c # [type: real, range: [0,1], default: 0.01] 8.99/9.01 c heuristics/objpscostdiving/maxlpiterquot = 0.015 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/objpscostdiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/oneopt/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/pscostdiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/pscostdiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/pscostdiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 0] 8.99/9.01 c heuristics/rens/freq = -1 8.99/9.01 c 8.99/9.01 c # minimum percentage of integer variables that have to be fixable 8.99/9.01 c # [type: real, range: [0,1], default: 0.5] 8.99/9.01 c heuristics/rens/minfixingrate = 0.3 8.99/9.01 c 8.99/9.01 c # number of nodes added to the contingent of the total nodes 8.99/9.01 c # [type: longint, range: [0,9223372036854775807], default: 500] 8.99/9.01 c heuristics/rens/nodesofs = 2000 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 20] 8.99/9.01 c heuristics/rootsoldiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 8.99/9.01 c heuristics/rootsoldiving/maxlpiterquot = 0.015 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/rootsoldiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/rounding/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/shifting/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/simplerounding/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 0] 8.99/9.01 c heuristics/trivial/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/trysol/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 10] 8.99/9.01 c heuristics/veclendiving/freq = -1 8.99/9.01 c 8.99/9.01 c # maximal fraction of diving LP iterations compared to node LP iterations 8.99/9.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 8.99/9.01 c heuristics/veclendiving/maxlpiterquot = 0.075 8.99/9.01 c 8.99/9.01 c # additional number of allowed LP iterations 8.99/9.01 c # [type: int, range: [0,2147483647], default: 1000] 8.99/9.01 c heuristics/veclendiving/maxlpiterofs = 1500 8.99/9.01 c 8.99/9.01 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 1] 8.99/9.01 c heuristics/zirounding/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 0] 8.99/9.01 c separating/cmir/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: 0] 8.99/9.01 c separating/flowcover/freq = -1 8.99/9.01 c 8.99/9.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 8.99/9.01 c # [type: int, range: [-1,2147483647], default: -1] 8.99/9.01 c separating/rapidlearning/freq = 0 8.99/9.01 c 8.99/9.01 c ----------------------------------------------------------------------------------------------- 8.99/9.01 c start solving 8.99/9.01 c 18.18/18.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 18.18/18.20 c 16.0s| 1 | 0 | 6298 | - | 133M| 0 |4453 |7559 | 20k|7559 | 20k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 90.77/90.82 c 88.3s| 1 | 0 | 12642 | - | 133M| 0 |4948 |7559 | 20k|7559 | 20k| 175 | 0 | 0 | 0.000000e+00 | -- | Inf 210.94/211.00 c 208s| 1 | 0 | 21505 | - | 133M| 0 |4441 |7559 | 20k|7559 | 20k| 245 | 0 | 0 | 0.000000e+00 | -- | Inf 304.01/304.15 c 301s| 1 | 0 | 29493 | - | 133M| 0 |4596 |7559 | 20k|7559 | 20k| 306 | 0 | 0 | 0.000000e+00 | -- | Inf 392.79/392.94 c 389s| 1 | 0 | 39125 | - | 133M| 0 |4300 |7559 | 20k|7559 | 20k| 362 | 0 | 0 | 0.000000e+00 | -- | Inf 467.77/467.96 c 464s| 1 | 0 | 48414 | - | 133M| 0 |4284 |7559 | 20k|7559 | 20k| 404 | 0 | 0 | 0.000000e+00 | -- | Inf 652.42/652.63 c 648s| 1 | 2 | 48414 | - | 133M| 0 |4284 |7559 | 20k|7559 | 20k| 404 | 0 | 33 | 0.000000e+00 | -- | Inf 1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
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-2685109-1278439808/watcher-2685109-1278439808 -o /tmp/evaluation-result-2685109-1278439808/solver-2685109-1278439808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685109-1278439808.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.38 1.08 0.96 3/105 19274 /proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=9288 CPUtime=0 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 1 0 12189156 9510912 1049 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 2322 1059 371 1374 0 943 0 [startup+0.0452501 s] /proc/loadavg: 1.38 1.08 0.96 3/105 19274 /proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=13204 CPUtime=0.04 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 2242 0 0 0 4 0 0 0 25 0 1 0 12189156 13520896 2162 1992294400 4194304 9819077 140733649527216 18446744073709551615 4680179 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 3301 2162 386 1374 0 1922 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13204 [startup+0.101255 s] /proc/loadavg: 1.38 1.08 0.96 3/105 19274 /proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=17612 CPUtime=0.09 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 3328 0 0 0 9 0 0 0 25 0 1 0 12189156 18034688 3248 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 4403 3248 386 1374 0 3024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17612 [startup+0.301274 s] /proc/loadavg: 1.38 1.08 0.96 3/105 19274 /proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=27572 CPUtime=0.29 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 5833 0 0 0 28 1 0 0 25 0 1 0 12189156 28233728 5753 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 6893 5753 386 1374 0 5514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27572 [startup+0.701313 s] /proc/loadavg: 1.38 1.08 0.96 3/105 19274 /proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=35124 CPUtime=0.69 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 7718 0 0 0 67 2 0 0 25 0 1 0 12189156 35966976 7638 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 8781 7638 386 1374 0 7402 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35124 [startup+1.50139 s] /proc/loadavg: 1.38 1.08 0.96 2/106 19275 /proc/meminfo: memFree=1373776/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=61724 CPUtime=1.5 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 14324 0 0 0 145 5 0 0 25 0 1 0 12189156 63205376 14244 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19274/statm: 15431 14244 386 1374 0 14052 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 61724 [startup+3.10155 s] /proc/loadavg: 1.43 1.10 0.97 2/106 19275 /proc/meminfo: memFree=1270484/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=209612 CPUtime=3.09 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 51161 0 0 0 291 18 0 0 25 0 1 0 12189156 214642688 50661 1992294400 4194304 9819077 140733649527216 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 52403 50661 486 1374 0 51024 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 209612 [startup+6.30086 s] /proc/loadavg: 1.43 1.10 0.97 2/106 19275 /proc/meminfo: memFree=1150080/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=283584 CPUtime=6.29 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 69177 0 0 0 597 32 0 0 25 0 1 0 12189156 290390016 68420 1992294400 4194304 9819077 140733649527216 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 70896 68420 490 1374 0 69517 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 283584 [startup+12.7015 s] /proc/loadavg: 1.36 1.09 0.97 2/106 19277 /proc/meminfo: memFree=1122684/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=312240 CPUtime=12.69 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 91816 0 0 0 1206 63 0 0 25 0 1 0 12189156 319733760 72771 1992294400 4194304 9819077 140733649527216 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 78060 72771 640 1374 0 76681 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 312240 [startup+25.5007 s] /proc/loadavg: 1.31 1.09 0.97 2/106 19277 /proc/meminfo: memFree=1121072/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=314560 CPUtime=25.48 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 99010 0 0 0 2478 70 0 0 25 0 1 0 12189156 322109440 73042 1992294400 4194304 9819077 140733649527216 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 78640 73042 654 1374 0 77261 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 314560 [startup+51.1012 s] /proc/loadavg: 1.20 1.08 0.97 2/106 19277 /proc/meminfo: memFree=1121072/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=314560 CPUtime=51.08 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 99012 0 0 0 5033 75 0 0 25 0 1 0 12189156 322109440 73044 1992294400 4194304 9819077 140733649527216 18446744073709551615 6055141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 78640 73044 656 1374 0 77261 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 314560 [startup+102.308 s] /proc/loadavg: 1.08 1.07 0.97 2/106 19279 /proc/meminfo: memFree=1118592/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=317784 CPUtime=102.27 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 121202 0 0 0 10123 104 0 0 25 0 1 0 12189156 325410816 73802 1992294400 4194304 9819077 140733649527216 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79446 73802 675 1374 0 78067 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 317784 [startup+162.301 s] /proc/loadavg: 1.03 1.05 0.97 2/106 19281 /proc/meminfo: memFree=1118220/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=317864 CPUtime=162.25 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 124000 0 0 0 16110 115 0 0 25 0 1 0 12189156 325492736 73886 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79466 73886 675 1374 0 78087 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 317864 [startup+222.301 s] /proc/loadavg: 1.01 1.04 0.97 2/106 19281 /proc/meminfo: memFree=1118344/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=317832 CPUtime=222.24 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 151283 0 0 0 22082 142 0 0 25 0 1 0 12189156 325459968 73793 1992294400 4194304 9819077 140733649527216 18446744073709551615 7311669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79458 73793 675 1374 0 78079 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 317832 [startup+282.301 s] /proc/loadavg: 1.00 1.03 0.97 2/106 19283 /proc/meminfo: memFree=1117600/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=318120 CPUtime=282.22 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 165268 0 0 0 28061 161 0 0 25 0 1 0 12189156 325754880 74328 1992294400 4194304 9819077 140733649527216 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79530 74328 675 1374 0 78151 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 318120 [startup+342.301 s] /proc/loadavg: 1.00 1.02 0.97 2/106 19285 /proc/meminfo: memFree=1116484/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=318416 CPUtime=342.2 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 182056 0 0 0 34042 178 0 0 25 0 1 0 12189156 326057984 74331 1992294400 4194304 9819077 140733649527216 18446744073709551615 6198405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79604 74331 675 1374 0 78225 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 318416 [startup+402.301 s] /proc/loadavg: 1.00 1.02 0.97 2/106 19287 /proc/meminfo: memFree=1118220/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=318476 CPUtime=402.19 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 209686 0 0 0 40014 205 0 0 25 0 1 0 12189156 326119424 73861 1992294400 4194304 9819077 140733649527216 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79619 73861 675 1374 0 78240 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 318476 [startup+462.301 s] /proc/loadavg: 1.00 1.01 0.97 2/106 19289 /proc/meminfo: memFree=1117600/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=318460 CPUtime=462.18 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 237325 0 0 0 45990 228 0 0 25 0 1 0 12189156 326103040 74188 1992294400 4194304 9819077 140733649527216 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 79615 74188 675 1374 0 78236 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 318460 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19289 /proc/meminfo: memFree=1114624/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=336808 CPUtime=522.16 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 280554 0 0 0 51957 259 0 0 25 0 1 0 12189156 344891392 74957 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84202 74957 684 1374 0 82823 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 336808 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19291 /proc/meminfo: memFree=1114004/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=336808 CPUtime=582.15 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 324115 0 0 0 57923 292 0 0 25 0 1 0 12189156 344891392 74628 1992294400 4194304 9819077 140733649527216 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84202 74628 684 1374 0 82823 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 336808 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19296 /proc/meminfo: memFree=1114128/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=336808 CPUtime=642.13 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 366943 0 0 0 63887 326 0 0 25 0 1 0 12189156 344891392 74713 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84202 74713 684 1374 0 82823 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 336808 [startup+702.301 s] ################ # More data... # ################ /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 652938 0 0 0 105658 544 0 0 25 0 1 0 12189156 346144768 75070 1992294400 4194304 9819077 140733649527216 18446744073709551615 7318519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84508 75070 705 1374 0 83129 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 338032 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19308 /proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337972 CPUtime=1122.01 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 694676 0 0 0 111624 577 0 0 25 0 1 0 12189156 346083328 75198 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84493 75198 706 1374 0 83114 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 337972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19310 /proc/meminfo: memFree=1112268/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337976 CPUtime=1181.99 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 738631 0 0 0 117591 608 0 0 25 0 1 0 12189156 346087424 74914 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84494 74914 708 1374 0 83115 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 337976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19312 /proc/meminfo: memFree=1113012/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337976 CPUtime=1241.98 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 779795 0 0 0 123558 640 0 0 25 0 1 0 12189156 346087424 75076 1992294400 4194304 9819077 140733649527216 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84494 75076 708 1374 0 83115 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 337976 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19314 /proc/meminfo: memFree=1112516/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337976 CPUtime=1301.97 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 824072 0 0 0 129525 672 0 0 25 0 1 0 12189156 346087424 75099 1992294400 4194304 9819077 140733649527216 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84494 75099 708 1374 0 83115 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 337976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19316 /proc/meminfo: memFree=1112888/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337384 CPUtime=1361.94 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 867296 0 0 0 135492 702 0 0 25 0 1 0 12189156 345481216 75150 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84346 75150 708 1374 0 82967 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 337384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19316 /proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337384 CPUtime=1421.94 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 911591 0 0 0 141461 733 0 0 25 0 1 0 12189156 345481216 75104 1992294400 4194304 9819077 140733649527216 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84346 75104 708 1374 0 82967 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 337384 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19318 /proc/meminfo: memFree=1112888/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=337032 CPUtime=1481.92 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 979401 0 0 0 147411 781 0 0 25 0 1 0 12189156 345120768 75147 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 84258 75147 708 1374 0 82879 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 337032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19320 /proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=322284 CPUtime=1541.9 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1043755 0 0 0 153364 826 0 0 25 0 1 0 12189156 330018816 75186 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80571 75186 711 1374 0 79192 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 322284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19322 /proc/meminfo: memFree=1110532/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=340612 CPUtime=1601.89 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1084722 0 0 0 159326 863 0 0 25 0 1 0 12189156 348786688 75575 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 85153 75575 711 1374 0 83774 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 340612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 19324 /proc/meminfo: memFree=1113508/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=322424 CPUtime=1661.87 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1126018 0 0 0 165295 892 0 0 25 0 1 0 12189156 330162176 74998 1992294400 4194304 9819077 140733649527216 18446744073709551615 7480823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80606 74998 711 1374 0 79227 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 322424 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 0.97 2/106 19324 /proc/meminfo: memFree=1113136/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=322292 CPUtime=1721.86 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1181481 0 0 0 171252 934 0 0 25 0 1 0 12189156 330027008 74838 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80573 74838 711 1374 0 79194 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 322292 [startup+1782.3 s] /proc/loadavg: 1.08 1.03 0.98 2/106 19326 /proc/meminfo: memFree=1113012/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=322380 CPUtime=1781.84 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1260518 0 0 0 177195 989 0 0 25 0 1 0 12189156 330117120 75112 1992294400 4194304 9819077 140733649527216 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80595 75112 711 1374 0 79216 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 322380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.06 1.02 0.98 2/106 19326 /proc/meminfo: memFree=1111896/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=323392 CPUtime=1800.04 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1283196 0 0 0 179002 1002 0 0 25 0 1 0 12189156 331153408 75233 1992294400 4194304 9819077 140733649527216 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80848 75233 711 1374 0 79469 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 323392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19274 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.06 1.02 0.98 2/107 19327 /proc/meminfo: memFree=1111764/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=323184 CPUtime=1800.94 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1284336 0 0 0 179091 1003 0 0 25 0 1 0 12189156 330940416 75088 1992294400 4194304 9819077 140733649527216 18446744073709551615 7308970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80796 75088 711 1374 0 79417 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (KiB) 323184 [startup+1802.2 s] /proc/loadavg: 1.06 1.02 0.98 2/107 19327 /proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=323144 CPUtime=1801.73 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1284960 0 0 0 179170 1003 0 0 25 0 1 0 12189156 330899456 75168 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80786 75168 711 1374 0 79407 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 323144 [startup+1802.4 s] /proc/loadavg: 1.06 1.02 0.98 2/107 19327 /proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=323144 CPUtime=1801.93 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1285430 0 0 0 179190 1003 0 0 25 0 1 0 12189156 330899456 75066 1992294400 4194304 9819077 140733649527216 18446744073709551615 7311112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80786 75066 711 1374 0 79407 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 323144 [startup+1802.5 s] /proc/loadavg: 1.06 1.02 0.98 2/107 19327 /proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956 [pid=19274] ppid=19272 vsize=323144 CPUtime=1802.03 /proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1285452 0 0 0 179200 1003 0 0 25 0 1 0 12189156 330899456 75088 1992294400 4194304 9819077 140733649527216 18446744073709551615 7308271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19274/statm: 80786 75088 711 1374 0 79407 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 323144 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.54 CPU time (s): 1802.08 CPU user time (s): 1792.01 CPU system time (s): 10.0645 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 340652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.01 system time used= 10.0645 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1285457 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2099 runsolver used 3.00854 second user time and 8.47771 second system time The end
Begin job on node089 at 2010-07-06 20:10:08 IDJOB=2685109 IDBENCH=74583 IDSOLVER=1168 FILE ID=node089/2685109-1278439808 PBS_JOBID= 11233436 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12022_9-sat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685109-1278439808/watcher-2685109-1278439808 -o /tmp/evaluation-result-2685109-1278439808/solver-2685109-1278439808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685109-1278439808.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a851c8da3e98872eaeb0a89c94e4840 RANDOM SEED=1061566664 node089.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.244 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.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1412504 kB Buffers: 109012 kB Cached: 404580 kB SwapCached: 0 kB Active: 210264 kB Inactive: 363828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1412504 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8956 kB Writeback: 0 kB AnonPages: 60428 kB Mapped: 14664 kB Slab: 50704 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181996 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= 62548 MiB End job on node089 at 2010-07-06 20:40:11