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.06 | 1802.55 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb |
MD5SUM | 336dbbe12a18bfd6b8d34c583a70b44b |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1480.58 |
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 | 32186 |
Total number of constraints | 107047 |
Number of constraints which are clauses | 106519 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 528 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 93 |
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 | 26 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 561 |
Number of bits of the biggest sum of numbers | 10 |
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-2684927-1278437106.opb> 1.79/1.87 c original problem has 32186 variables (32186 bin, 0 int, 0 impl, 0 cont) and 107047 constraints 1.79/1.87 c problem read 1.79/1.87 c No objective function, only one solution is needed. 1.79/1.87 c presolving settings loaded 2.39/2.43 c presolving: 7.29/7.38 c (round 1) 7094 del vars, 20869 del conss, 5291 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5988416 impls, 0 clqs 10.39/10.41 c (round 2) 13955 del vars, 49069 del conss, 11808 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6031462 impls, 0 clqs 10.99/11.04 c (round 3) 16583 del vars, 60431 del conss, 13339 chg bounds, 17 chg sides, 21 chg coeffs, 0 upgd conss, 6051190 impls, 0 clqs 11.29/11.31 c (round 4) 17873 del vars, 65207 del conss, 14231 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6064148 impls, 0 clqs 11.49/11.54 c (round 5) 18892 del vars, 68665 del conss, 14840 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6078508 impls, 0 clqs 11.59/11.69 c (round 6) 19507 del vars, 71018 del conss, 15222 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6085997 impls, 0 clqs 11.79/11.80 c (round 7) 19919 del vars, 72430 del conss, 15426 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6091291 impls, 0 clqs 11.79/11.90 c (round 8) 20180 del vars, 73388 del conss, 15566 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6094743 impls, 0 clqs 11.89/11.97 c (round 9) 20298 del vars, 73906 del conss, 15619 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096122 impls, 0 clqs 11.99/12.02 c (round 10) 20329 del vars, 74059 del conss, 15631 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096374 impls, 0 clqs 11.99/12.07 c (round 11) 20337 del vars, 74103 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096396 impls, 0 clqs 12.10/12.12 c (round 12) 20338 del vars, 74109 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096400 impls, 0 clqs 12.39/12.48 c (round 13) 20338 del vars, 74110 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs 12.89/12.92 c (round 14) 20338 del vars, 74110 del conss, 15634 chg bounds, 103 chg sides, 200 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs 12.98/13.04 c presolving (15 rounds): 12.98/13.04 c 20338 deleted vars, 74110 deleted constraints, 15634 tightened bounds, 0 added holes, 103 changed sides, 211 changed coefficients 12.98/13.04 c 6096400 implications, 0 cliques 12.98/13.04 c presolved problem has 11848 variables (11848 bin, 0 int, 0 impl, 0 cont) and 32937 constraints 12.98/13.04 c 464 constraints of type <knapsack> 12.98/13.04 c 32473 constraints of type <logicor> 12.98/13.04 c transformed objective value is always integral (scale: 1) 12.98/13.04 c Presolving Time: 10.19 12.98/13.04 c - non default parameters ---------------------------------------------------------------------- 12.98/13.04 c # SCIP version 1.2.1.2 12.98/13.04 c 12.98/13.04 c # frequency for displaying node information lines 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 100] 12.98/13.04 c display/freq = 10000 12.98/13.04 c 12.98/13.04 c # maximal time in seconds to run 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.98/13.04 c limits/time = 1798.13 12.98/13.04 c 12.98/13.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.98/13.04 c limits/memory = 1620 12.98/13.04 c 12.98/13.04 c # solving stops, if the given number of solutions were found (-1: no limit) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: -1] 12.98/13.04 c limits/solutions = 1 12.98/13.04 c 12.98/13.04 c # maximal number of separation rounds per node (-1: unlimited) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 5] 12.98/13.04 c separating/maxrounds = 1 12.98/13.04 c 12.98/13.04 c # maximal number of separation rounds in the root node (-1: unlimited) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: -1] 12.98/13.04 c separating/maxroundsroot = 5 12.98/13.04 c 12.98/13.04 c # should presolving try to simplify inequalities 12.98/13.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.98/13.04 c constraints/linear/simplifyinequalities = TRUE 12.98/13.04 c 12.98/13.04 c # should disaggregation of knapsack constraints be allowed in preprocessing? 12.98/13.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 12.98/13.04 c constraints/knapsack/disaggregation = FALSE 12.98/13.04 c 12.98/13.04 c # should presolving try to simplify knapsacks 12.98/13.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.98/13.04 c constraints/knapsack/simplifyinequalities = TRUE 12.98/13.04 c 12.98/13.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: -1] 12.98/13.04 c presolving/probing/maxrounds = 0 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/coefdiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/coefdiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/coefdiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 30] 12.98/13.04 c heuristics/crossover/freq = -1 12.98/13.04 c 12.98/13.04 c # number of nodes added to the contingent of the total nodes 12.98/13.04 c # [type: longint, range: [0,9223372036854775807], default: 500] 12.98/13.04 c heuristics/crossover/nodesofs = 750 12.98/13.04 c 12.98/13.04 c # number of nodes without incumbent change that heuristic should wait 12.98/13.04 c # [type: longint, range: [0,9223372036854775807], default: 200] 12.98/13.04 c heuristics/crossover/nwaitingnodes = 100 12.98/13.04 c 12.98/13.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 12.98/13.04 c # [type: real, range: [0,1], default: 0.1] 12.98/13.04 c heuristics/crossover/nodesquot = 0.15 12.98/13.04 c 12.98/13.04 c # minimum percentage of integer variables that have to be fixed 12.98/13.04 c # [type: real, range: [0,1], default: 0.666] 12.98/13.04 c heuristics/crossover/minfixingrate = 0.5 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 20] 12.98/13.04 c heuristics/feaspump/freq = -1 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/feaspump/maxlpiterofs = 2000 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/fracdiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/fracdiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/fracdiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/guideddiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/guideddiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/guideddiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/intdiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/intshifting/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/linesearchdiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/linesearchdiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/nlp/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 20] 12.98/13.04 c heuristics/objpscostdiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to total iteration number 12.98/13.04 c # [type: real, range: [0,1], default: 0.01] 12.98/13.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/objpscostdiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/oneopt/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/pscostdiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/pscostdiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/pscostdiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 0] 12.98/13.04 c heuristics/rens/freq = -1 12.98/13.04 c 12.98/13.04 c # minimum percentage of integer variables that have to be fixable 12.98/13.04 c # [type: real, range: [0,1], default: 0.5] 12.98/13.04 c heuristics/rens/minfixingrate = 0.3 12.98/13.04 c 12.98/13.04 c # number of nodes added to the contingent of the total nodes 12.98/13.04 c # [type: longint, range: [0,9223372036854775807], default: 500] 12.98/13.04 c heuristics/rens/nodesofs = 2000 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 20] 12.98/13.04 c heuristics/rootsoldiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 12.98/13.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/rootsoldiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/rounding/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/shifting/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/simplerounding/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 0] 12.98/13.04 c heuristics/trivial/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/trysol/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 10] 12.98/13.04 c heuristics/veclendiving/freq = -1 12.98/13.04 c 12.98/13.04 c # maximal fraction of diving LP iterations compared to node LP iterations 12.98/13.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.98/13.04 c heuristics/veclendiving/maxlpiterquot = 0.075 12.98/13.04 c 12.98/13.04 c # additional number of allowed LP iterations 12.98/13.04 c # [type: int, range: [0,2147483647], default: 1000] 12.98/13.04 c heuristics/veclendiving/maxlpiterofs = 1500 12.98/13.04 c 12.98/13.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 1] 12.98/13.04 c heuristics/zirounding/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 0] 12.98/13.04 c separating/cmir/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: 0] 12.98/13.04 c separating/flowcover/freq = -1 12.98/13.04 c 12.98/13.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 12.98/13.04 c # [type: int, range: [-1,2147483647], default: -1] 12.98/13.04 c separating/rapidlearning/freq = 0 12.98/13.04 c 12.98/13.04 c ----------------------------------------------------------------------------------------------- 12.98/13.04 c start solving 12.98/13.06 c 350.49/350.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 350.49/350.65 c 346s| 1 | 0 | 34732 | - | 186M| 0 |6559 | 11k| 32k| 11k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.02/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-2684927-1278437106/watcher-2684927-1278437106 -o /tmp/evaluation-result-2684927-1278437106/solver-2684927-1278437106 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684927-1278437106.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19313 /proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=9288 CPUtime=0 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1148 0 0 0 0 0 0 0 18 0 1 0 11917825 9510912 1068 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 2322 1077 371 1374 0 943 0 [startup+0.109833 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19313 /proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=18712 CPUtime=0.1 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 3604 0 0 0 9 1 0 0 20 0 1 0 11917825 19161088 3524 1992294400 4194304 9819077 140735177029920 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 4678 3524 386 1374 0 3299 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 18712 [startup+0.200842 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19313 /proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=25148 CPUtime=0.19 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 5226 0 0 0 18 1 0 0 20 0 1 0 11917825 25751552 5146 1992294400 4194304 9819077 140735177029920 18446744073709551615 4391172 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 6287 5146 386 1374 0 4908 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25148 [startup+0.300853 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19313 /proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=29580 CPUtime=0.29 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 6347 0 0 0 27 2 0 0 20 0 1 0 11917825 30289920 6258 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 7395 6258 386 1374 0 6016 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29580 [startup+0.700897 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19313 /proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=38232 CPUtime=0.69 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 8504 0 0 0 66 3 0 0 21 0 1 0 11917825 39149568 8415 1992294400 4194304 9819077 140735177029920 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 9558 8415 386 1374 0 8179 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38232 [startup+1.50098 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19314 /proc/meminfo: memFree=1419952/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=61800 CPUtime=1.49 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 14359 0 0 0 144 5 0 0 23 0 1 0 11917825 63283200 14270 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/19313/statm: 15659 14272 386 1374 0 14280 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61800 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19314 /proc/meminfo: memFree=1310460/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=208380 CPUtime=3.09 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 50886 0 0 0 289 20 0 0 25 0 1 0 11917825 213381120 50389 1992294400 4194304 9819077 140735177029920 18446744073709551615 5968926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 52095 50389 486 1374 0 50716 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 208380 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19314 /proc/meminfo: memFree=1172448/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=309860 CPUtime=6.29 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 75551 0 0 0 596 33 0 0 25 0 1 0 11917825 317296640 75054 1992294400 4194304 9819077 140735177029920 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 77465 75054 490 1374 0 76086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 309860 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19314 /proc/meminfo: memFree=1142564/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=336028 CPUtime=12.69 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 87439 0 0 0 1197 72 0 0 25 0 1 0 11917825 344092672 81488 1992294400 4194304 9819077 140735177029920 18446744073709551615 5970274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 84007 81488 560 1374 0 82628 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 336028 [startup+25.5006 s] /proc/loadavg: 1.07 1.02 1.00 2/107 19315 /proc/meminfo: memFree=1103008/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=389904 CPUtime=25.48 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 117964 0 0 0 2457 91 0 0 25 0 1 0 11917825 399261696 90559 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 97476 90559 637 1374 0 96097 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 389904 [startup+51.1004 s] /proc/loadavg: 1.05 1.01 1.00 2/107 19315 /proc/meminfo: memFree=1101148/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=393140 CPUtime=51.07 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 139291 0 0 0 5004 103 0 0 25 0 1 0 11917825 402575360 91125 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98285 91125 637 1374 0 96906 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 393140 [startup+102.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 19317 /proc/meminfo: memFree=1101396/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394316 CPUtime=102.26 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 174637 0 0 0 10102 124 0 0 25 0 1 0 11917825 403779584 90736 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98579 90736 637 1374 0 97200 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 394316 [startup+162.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 19318 /proc/meminfo: memFree=1097180/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394512 CPUtime=162.24 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 214464 0 0 0 16077 147 0 0 25 0 1 0 11917825 403980288 91883 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98628 91883 637 1374 0 97249 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 394512 [startup+222.308 s] /proc/loadavg: 1.00 1.01 1.00 2/107 19320 /proc/meminfo: memFree=1096436/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=386684 CPUtime=222.23 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 260810 0 0 0 22042 181 0 0 25 0 1 0 11917825 395964416 90336 1992294400 4194304 9819077 140735177029920 18446744073709551615 7282664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 96671 90336 637 1374 0 95292 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 386684 [startup+282.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 19321 /proc/meminfo: memFree=1097428/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394700 CPUtime=282.21 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 301955 0 0 0 28016 205 0 0 25 0 1 0 11917825 404172800 91823 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98675 91823 637 1374 0 97296 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 394700 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19323 /proc/meminfo: memFree=1099908/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394764 CPUtime=342.2 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 346769 0 0 0 33986 234 0 0 25 0 1 0 11917825 404238336 91123 1992294400 4194304 9819077 140735177029920 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98691 91123 637 1374 0 97312 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 394764 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19325 /proc/meminfo: memFree=1101024/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394296 CPUtime=402.18 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 355256 0 0 0 39974 244 0 0 25 0 1 0 11917825 403759104 90661 1992294400 4194304 9819077 140735177029920 18446744073709551615 7311718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98574 90661 654 1374 0 97195 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 394296 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19326 /proc/meminfo: memFree=1101024/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=394296 CPUtime=462.16 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 355258 0 0 0 45964 252 0 0 25 0 1 0 11917825 403759104 90663 1992294400 4194304 9819077 140735177029920 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 98574 90663 656 1374 0 97195 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 394296 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19328 /proc/meminfo: memFree=1088872/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409588 CPUtime=522.15 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 391006 0 0 0 51916 299 0 0 25 0 1 0 11917825 419418112 93962 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102397 93962 675 1374 0 101018 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 409588 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19329 /proc/meminfo: memFree=1088500/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409648 CPUtime=582.13 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 433913 0 0 0 57890 323 0 0 25 0 1 0 11917825 419479552 93964 1992294400 4194304 9819077 140735177029920 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102412 93964 675 1374 0 101033 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 409648 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19331 /proc/meminfo: memFree=1088376/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409748 CPUtime=642.12 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 484753 0 0 0 63858 354 0 0 25 0 1 0 11917825 419581952 94078 1992294400 4194304 9819077 140735177029920 18446744073709551615 7293634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102437 94078 675 1374 0 101058 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 409748 [startup+702.301 s] ################ # More data... # ################ /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 759740 0 0 0 99686 516 0 0 25 0 1 0 11917825 419454976 92802 1992294400 4194304 9819077 140735177029920 18446744073709551615 7311203 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102406 92802 675 1374 0 101027 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 409624 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19342 /proc/meminfo: memFree=1089988/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409556 CPUtime=1062 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 806464 0 0 0 105657 543 0 0 25 0 1 0 11917825 419385344 93749 1992294400 4194304 9819077 140735177029920 18446744073709551615 7318511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102389 93749 675 1374 0 101010 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 409556 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19344 /proc/meminfo: memFree=1091972/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409432 CPUtime=1121.99 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 853903 0 0 0 111626 573 0 0 25 0 1 0 11917825 419258368 93029 1992294400 4194304 9819077 140735177029920 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102358 93029 675 1374 0 100979 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 409432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19345 /proc/meminfo: memFree=1092468/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409392 CPUtime=1181.97 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 898956 0 0 0 117600 597 0 0 25 0 1 0 11917825 419217408 92929 1992294400 4194304 9819077 140735177029920 18446744073709551615 6676872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102348 92929 675 1374 0 100969 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 409392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19347 /proc/meminfo: memFree=1092220/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409364 CPUtime=1241.95 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 942591 0 0 0 123571 624 0 0 25 0 1 0 11917825 419188736 92961 1992294400 4194304 9819077 140735177029920 18446744073709551615 7324728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102341 92961 675 1374 0 100962 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 409364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19349 /proc/meminfo: memFree=1091476/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409300 CPUtime=1301.94 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 986238 0 0 0 129545 649 0 0 25 0 1 0 11917825 419123200 92681 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102325 92681 675 1374 0 100946 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 409300 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19350 /proc/meminfo: memFree=1091228/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409200 CPUtime=1361.92 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1028917 0 0 0 135514 678 0 0 25 0 1 0 11917825 419020800 92639 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102300 92639 675 1374 0 100921 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 409200 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19352 /proc/meminfo: memFree=1092592/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409112 CPUtime=1421.92 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1070520 0 0 0 141488 704 0 0 25 0 1 0 11917825 418930688 92782 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102278 92782 675 1374 0 100899 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 409112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19353 /proc/meminfo: memFree=1092468/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409076 CPUtime=1481.9 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1112277 0 0 0 147460 730 0 0 25 0 1 0 11917825 418893824 92874 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102269 92874 675 1374 0 100890 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 409076 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19355 /proc/meminfo: memFree=1092840/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409196 CPUtime=1541.89 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1155550 0 0 0 153431 758 0 0 25 0 1 0 11917825 419016704 92736 1992294400 4194304 9819077 140735177029920 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102299 92736 675 1374 0 100920 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 409196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19357 /proc/meminfo: memFree=1093088/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409172 CPUtime=1601.86 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1199766 0 0 0 159404 782 0 0 25 0 1 0 11917825 418992128 92783 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102293 92783 675 1374 0 100914 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 409172 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19358 /proc/meminfo: memFree=1092344/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409196 CPUtime=1661.85 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1246626 0 0 0 165375 810 0 0 25 0 1 0 11917825 419016704 92874 1992294400 4194304 9819077 140735177029920 18446744073709551615 7290930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102299 92874 675 1374 0 100920 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 409196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19360 /proc/meminfo: memFree=1093088/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409168 CPUtime=1721.83 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1291885 0 0 0 171347 836 0 0 25 0 1 0 11917825 418988032 92794 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102292 92794 675 1374 0 100913 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 409168 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19361 /proc/meminfo: memFree=1092220/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409136 CPUtime=1781.82 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1340111 0 0 0 177316 866 0 0 25 0 1 0 11917825 418955264 92947 1992294400 4194304 9819077 140735177029920 18446744073709551615 7318482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102284 92947 675 1374 0 100905 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 409136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19362 /proc/meminfo: memFree=1091600/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409136 CPUtime=1800.02 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1354845 0 0 0 179127 875 0 0 25 0 1 0 11917825 418955264 92997 1992294400 4194304 9819077 140735177029920 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102284 92997 675 1374 0 100905 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 409136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19313 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19363 /proc/meminfo: memFree=1091468/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409136 CPUtime=1801.01 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1355117 0 0 0 179226 875 0 0 25 0 1 0 11917825 418955264 93269 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102284 93269 675 1374 0 100905 0 Current children cumulated CPU time (s) 1801.01 Current children cumulated vsize (KiB) 409136 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19363 /proc/meminfo: memFree=1090352/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=399400 CPUtime=1801.81 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1356465 0 0 0 179305 876 0 0 25 0 1 0 11917825 408985600 92108 1992294400 4194304 9819077 140735177029920 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 99850 92108 675 1374 0 98471 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 399400 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19363 /proc/meminfo: memFree=1090352/2059040 swapFree=4192956/4192956 [pid=19313] ppid=19311 vsize=409168 CPUtime=1802.01 /proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1357344 0 0 0 179325 876 0 0 25 0 1 0 11917825 418988032 92620 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19313/statm: 102292 92620 675 1374 0 100913 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 409168 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.55 CPU time (s): 1802.06 CPU user time (s): 1793.26 CPU system time (s): 8.80266 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 409880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.26 system time used= 8.80266 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1357348 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= 2 involuntary context switches= 18886 runsolver used 2.92056 second user time and 8.5697 second system time The end
Begin job on node047 at 2010-07-06 19:25:07 IDJOB=2684927 IDBENCH=73961 IDSOLVER=1168 FILE ID=node047/2684927-1278437106 PBS_JOBID= 11233481 Free space on /tmp= 62476 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-j12032_3-unsat.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-2684927-1278437106/watcher-2684927-1278437106 -o /tmp/evaluation-result-2684927-1278437106/solver-2684927-1278437106 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684927-1278437106.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b RANDOM SEED=1382176139 node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1463764 kB Buffers: 106572 kB Cached: 357008 kB SwapCached: 0 kB Active: 175016 kB Inactive: 348424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1463764 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9620 kB Writeback: 0 kB AnonPages: 59816 kB Mapped: 14388 kB Slab: 49984 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180668 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= 62468 MiB End job on node047 at 2010-07-06 19:55:09