Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | ? | 1790.57 | 1790.52 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo |
MD5SUM | 00a8bd0bea2ac0513d2ebf3c8ede1f03 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 0.066989 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8418 |
Total number of constraints | 26241 |
Number of soft constraints | 17646 |
Number of constraints which are clauses | 25969 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 272 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
Top cost | 886111 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 886110 |
Biggest number in a constraint | 23 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 119 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 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-2705289-1278576544.wbo> 0.19/0.24 c original problem has 43710 variables (26064 bin, 0 int, 17646 impl, 0 cont) and 43888 constraints 0.19/0.24 c problem read 0.19/0.24 c presolving settings loaded 1.00/1.01 c presolving: 1.00/1.10 c (round 1) 302 del vars, 1166 del conss, 169 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41900 impls, 0 clqs 1.10/1.18 c (round 2) 1138 del vars, 2947 del conss, 279 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42066 impls, 0 clqs 1.19/1.25 c (round 3) 2546 del vars, 4153 del conss, 320 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42124 impls, 0 clqs 1.19/1.29 c (round 4) 3616 del vars, 4736 del conss, 328 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs 1.29/1.31 c (round 5) 4125 del vars, 5078 del conss, 330 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs 1.29/1.33 c (round 6) 4425 del vars, 5191 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs 1.29/1.34 c (round 7) 4533 del vars, 5197 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs 1.29/1.38 c (round 8) 4539 del vars, 5198 del conss, 16052 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs 1.39/1.49 c (round 9) 4542 del vars, 5200 del conss, 16052 chg bounds, 0 chg sides, 0 chg coeffs, 7704 upgd conss, 42126 impls, 0 clqs 7.39/7.43 c (7.2s) probing: 1000/23448 (4.3%) - 0 fixings, 0 aggregations, 3188 implications, 0 bound changes 12.59/12.69 c (12.5s) probing: 2000/23448 (8.5%) - 0 fixings, 0 aggregations, 3487 implications, 0 bound changes 12.69/12.70 c (12.5s) probing: 2001/23448 (8.5%) - 0 fixings, 0 aggregations, 3487 implications, 0 bound changes 12.69/12.70 c (12.5s) probing aborted: 2000/2000 successive useless probings 12.69/12.70 c presolving (10 rounds): 12.69/12.70 c 4542 deleted vars, 5200 deleted constraints, 16052 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 12.69/12.70 c 89146 implications, 16 cliques 12.69/12.70 c presolved problem has 39168 variables (23448 bin, 0 int, 15720 impl, 0 cont) and 38688 constraints 12.69/12.70 c 454 constraints of type <varbound> 12.69/12.70 c 84 constraints of type <knapsack> 12.69/12.70 c 6050 constraints of type <setppc> 12.69/12.70 c 15264 constraints of type <linear> 12.69/12.70 c 15720 constraints of type <indicator> 12.69/12.70 c 1116 constraints of type <logicor> 12.69/12.70 c transformed objective value is always integral (scale: 1) 12.69/12.70 c Presolving Time: 12.33 12.69/12.70 c - non default parameters ---------------------------------------------------------------------- 12.69/12.70 c # SCIP version 1.2.1.3 12.69/12.70 c 12.69/12.70 c # frequency for displaying node information lines 12.69/12.70 c # [type: int, range: [-1,2147483647], default: 100] 12.69/12.70 c display/freq = 10000 12.69/12.70 c 12.69/12.70 c # maximal time in seconds to run 12.69/12.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.69/12.70 c limits/time = 1789.77 12.69/12.70 c 12.69/12.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 12.69/12.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.69/12.70 c limits/memory = 3420 12.69/12.70 c 12.69/12.70 c # default clock type (1: CPU user seconds, 2: wall clock time) 12.69/12.70 c # [type: int, range: [1,2], default: 1] 12.69/12.70 c timing/clocktype = 2 12.69/12.70 c 12.69/12.70 c # should presolving try to simplify inequalities 12.69/12.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.69/12.70 c constraints/linear/simplifyinequalities = TRUE 12.69/12.70 c 12.69/12.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 12.69/12.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.69/12.70 c constraints/indicator/addCouplingCons = TRUE 12.69/12.70 c 12.69/12.70 c # should presolving try to simplify knapsacks 12.69/12.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.69/12.70 c constraints/knapsack/simplifyinequalities = TRUE 12.69/12.70 c 12.69/12.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 12.69/12.70 c # [type: int, range: [-1,2147483647], default: -1] 12.69/12.70 c separating/rapidlearning/freq = 0 12.69/12.70 c 12.69/12.70 c ----------------------------------------------------------------------------------------------- 12.69/12.70 c start solving 12.69/12.71 c 12.69/12.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.69/12.77 c 12.5s| 1 | 0 | 0 | - | 148M| 0 | 0 | 39k| 38k| 39k|7250 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 12.79/12.82 c 12.6s| 1 | 0 | 618 | - | 148M| 0 | 0 | 39k| 38k| 39k|7648 | 398 | 0 | 0 | 0.000000e+00 | -- | Inf 12.79/12.85 c 12.6s| 1 | 0 | 833 | - | 148M| 0 | 2 | 39k| 38k| 39k|7848 | 598 | 0 | 0 | 0.000000e+00 | -- | Inf 14.20/14.22 c 14.0s| 1 | 0 | 1040 | - | 149M| 0 | 12 | 39k| 38k| 39k|8050 | 800 | 0 | 0 | 0.000000e+00 | -- | Inf 15.59/15.63 c 15.4s| 1 | 0 | 1252 | - | 149M| 0 | 16 | 39k| 38k| 39k|8207 | 957 | 0 | 0 | 0.000000e+00 | -- | Inf 16.99/17.08 c 16.8s| 1 | 0 | 1416 | - | 149M| 0 | 21 | 39k| 38k| 39k|8329 |1079 | 0 | 0 | 0.000000e+00 | -- | Inf 18.49/18.55 c 18.3s| 1 | 0 | 1530 | - | 150M| 0 | 0 | 39k| 38k| 39k|8459 |1209 | 0 | 0 | 0.000000e+00 | -- | Inf 18.49/18.58 c 18.3s| 1 | 0 | 1581 | - | 150M| 0 | 0 | 39k| 38k| 39k|8513 |1263 | 0 | 0 | 0.000000e+00 | -- | Inf 18.60/18.61 c 18.4s| 1 | 0 | 1620 | - | 150M| 0 | 3 | 39k| 38k| 39k|8540 |1290 | 0 | 0 | 0.000000e+00 | -- | Inf 19.99/20.09 c 19.8s| 1 | 0 | 1662 | - | 150M| 0 | 0 | 39k| 38k| 39k|8563 |1313 | 0 | 0 | 0.000000e+00 | -- | Inf 20.09/20.12 c 19.9s| 1 | 0 | 1690 | - | 150M| 0 | 0 | 39k| 38k| 39k|8583 |1333 | 0 | 0 | 0.000000e+00 | -- | Inf 20.09/20.15 c 19.9s| 1 | 0 | 1717 | - | 150M| 0 | 0 | 39k| 38k| 39k|8605 |1355 | 0 | 0 | 0.000000e+00 | -- | Inf 20.09/20.18 c 19.9s| 1 | 0 | 1732 | - | 150M| 0 | 0 | 39k| 38k| 39k|8632 |1382 | 0 | 0 | 0.000000e+00 | -- | Inf 20.19/20.21 c 20.0s| 1 | 0 | 1746 | - | 150M| 0 | 0 | 39k| 38k| 39k|8646 |1396 | 0 | 0 | 0.000000e+00 | -- | Inf 20.19/20.24 c 20.0s| 1 | 0 | 1749 | - | 150M| 0 | 0 | 39k| 38k| 39k|8648 |1398 | 0 | 0 | 0.000000e+00 | -- | Inf 20.19/20.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 20.19/20.27 c 20.0s| 1 | 2 | 1749 | - | 150M| 0 | 0 | 39k| 38k| 39k|8648 |1398 | 0 | 0 | 0.000000e+00 | -- | Inf 427.71/427.72 c 427s| 10000 | 10001 | 25309 | 2.4 | 283M| 83 | 0 | 39k| 38k| 39k|9008 | 18k| 0 |1777 | 0.000000e+00 | -- | Inf 818.32/818.39 c 818s| 20000 | 20001 | 36589 | 1.7 | 414M| 91 | 0 | 39k| 38k| 39k|9052 | 26k| 0 |2400 | 0.000000e+00 | -- | Inf 1202.42/1202.48 c 1202s| 30000 | 30001 | 42826 | 1.4 | 544M| 91 | 0 | 39k| 38k| 39k|9041 | 30k| 0 |2550 | 0.000000e+00 | -- | Inf 1592.14/1592.17 c 1592s| 40000 | 40001 | 50320 | 1.2 | 675M| 91 | 0 | 39k| 38k| 39k|9027 | 35k| 0 |2792 | 0.000000e+00 | -- | Inf 1790.04/1790.03 c 1790.04/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.03 c Solving Time (sec) : 1789.79 1790.04/1790.03 c Solving Nodes : 45076 1790.04/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1790.04/1790.03 c Dual Bound : +0.00000000000000e+00 1790.04/1790.03 c Gap : infinite 1790.04/1790.03 s UNKNOWN 1790.04/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1790.04/1790.03 c Solving Time : 1789.79 1790.04/1790.03 c Original Problem : 1790.04/1790.03 c Problem name : HOME/instance-2705289-1278576544.wbo 1790.04/1790.03 c Variables : 43710 (26064 binary, 0 integer, 17646 implicit integer, 0 continuous) 1790.04/1790.03 c Constraints : 43888 initial, 43888 maximal 1790.04/1790.03 c Presolved Problem : 1790.04/1790.03 c Problem name : t_HOME/instance-2705289-1278576544.wbo 1790.04/1790.03 c Variables : 39168 (23448 binary, 0 integer, 15720 implicit integer, 0 continuous) 1790.04/1790.03 c Constraints : 38688 initial, 38688 maximal 1790.04/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.04/1790.03 c trivial : 0.02 1 0 0 0 0 0 0 0 1790.04/1790.03 c dualfix : 0.02 4039 0 0 0 0 0 0 0 1790.04/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.03 c implics : 0.01 0 0 0 0 0 0 0 0 1790.04/1790.03 c probing : 11.16 0 0 0 0 0 0 0 0 1790.04/1790.03 c varbound : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.03 c knapsack : 0.00 0 0 0 0 0 0 0 0 1790.04/1790.03 c setppc : 0.01 0 0 0 0 0 0 0 0 1790.04/1790.03 c linear : 0.32 331 171 0 16052 0 3274 0 0 1790.04/1790.03 c indicator : 0.12 0 0 0 0 0 1926 0 0 1790.04/1790.03 c logicor : 0.01 0 0 0 0 0 0 0 0 1790.04/1790.03 c root node : - 0 - - 0 - - - - 1790.04/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.04/1790.03 c integral : 0 0 0 47517 0 0 0 0 0 2278 1790.04/1790.03 c varbound : 454 15 173428 46378 0 0 17781 576 0 0 1790.04/1790.03 c knapsack : 84 15 173428 46087 0 0 16 0 0 0 1790.04/1790.03 c setppc : 6050 15 173428 46087 0 0 325227 0 0 0 1790.04/1790.03 c linear : 15264 15 173428 46087 0 0 17461 37799 0 0 1790.04/1790.03 c indicator : 15720 0 173428 46378 0 0 35254 0 0 0 1790.04/1790.03 c logicor : 1116 15 30530 43937 0 0 5462 0 0 0 1790.04/1790.03 c countsols : 0 0 0 43937 0 0 0 0 0 0 1790.04/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.04/1790.03 c integral : 34.97 0.00 0.00 34.97 0.00 1790.04/1790.03 c varbound : 6.53 0.00 3.46 3.07 0.00 1790.04/1790.03 c knapsack : 0.97 0.00 0.73 0.24 0.00 1790.04/1790.03 c setppc : 56.00 0.01 39.72 16.28 0.00 1790.04/1790.03 c linear : 324.31 0.10 59.62 264.59 0.00 1790.04/1790.03 c indicator : 263.73 0.00 121.47 142.25 0.00 1790.04/1790.03 c logicor : 3.81 0.00 0.11 3.70 0.00 1790.04/1790.03 c countsols : 0.01 0.00 0.00 0.01 0.00 1790.04/1790.03 c Propagators : Time Calls Cutoffs DomReds 1790.04/1790.03 c vbounds : 0.08 208 0 0 1790.04/1790.03 c rootredcost : 0.07 0 0 0 1790.04/1790.03 c pseudoobj : 101.09 168372 0 0 1790.04/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.04/1790.03 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1790.04/1790.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.04/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.04/1790.03 c applied globally : - - - 0 0.0 - - - 1790.04/1790.03 c applied locally : - - - 0 0.0 - - - 1790.04/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.04/1790.03 c cut pool : 0.00 12 - - 11 - (maximal pool size: 71) 1790.04/1790.03 c redcost : 85.50 47449 0 0 0 0 1790.04/1790.03 c impliedbounds : 0.01 5 0 0 23 0 1790.04/1790.03 c intobj : 0.00 0 0 0 0 0 1790.04/1790.03 c cgmip : 0.00 0 0 0 0 0 1790.04/1790.03 c gomory : 0.04 5 0 0 143 0 1790.04/1790.03 c strongcg : 0.03 5 0 0 143 0 1790.04/1790.03 c cmir : 0.72 5 0 0 7 0 1790.04/1790.03 c flowcover : 6.14 5 0 0 14 0 1790.04/1790.03 c clique : 0.03 5 0 0 0 0 1790.04/1790.03 c zerohalf : 0.00 0 0 0 0 0 1790.04/1790.03 c mcf : 0.01 1 0 0 0 0 1790.04/1790.03 c rapidlearning : 0.00 0 0 0 0 0 1790.04/1790.03 c Pricers : Time Calls Vars 1790.04/1790.03 c problem variables: 0.00 0 0 1790.04/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.04/1790.03 c relpscost : 34.93 1139 0 0 0 0 2278 1790.04/1790.03 c pscost : 0.00 0 0 0 0 0 0 1790.04/1790.03 c inference : 294.04 43937 0 0 0 0 87874 1790.04/1790.03 c mostinf : 0.00 0 0 0 0 0 0 1790.04/1790.03 c leastinf : 0.00 0 0 0 0 0 0 1790.04/1790.03 c fullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0 1790.04/1790.03 c random : 0.00 0 0 0 0 0 0 1790.04/1790.03 c Primal Heuristics : Time Calls Found 1790.04/1790.03 c LP solutions : 0.00 - 0 1790.04/1790.03 c pseudo solutions : 0.00 - 0 1790.04/1790.03 c oneopt : 0.05 0 0 1790.04/1790.03 c crossover : 0.02 0 0 1790.04/1790.03 c guideddiving : 0.00 0 0 1790.04/1790.03 c intshifting : 0.00 0 0 1790.04/1790.03 c feaspump : 1.33 5 0 1790.04/1790.03 c coefdiving : 22.02 969 0 1790.04/1790.03 c pscostdiving : 22.04 969 0 1790.04/1790.03 c fracdiving : 22.01 969 0 1790.04/1790.03 c veclendiving : 22.12 969 0 1790.04/1790.03 c linesearchdiving : 22.05 969 0 1790.04/1790.03 c objpscostdiving : 23.89 968 0 1790.04/1790.03 c rootsoldiving : 24.46 968 0 1790.04/1790.03 c trivial : 0.60 2 0 1790.04/1790.03 c simplerounding : 0.04 1132 0 1790.04/1790.03 c zirounding : 0.84 1000 0 1790.04/1790.03 c rounding : 0.62 419 0 1790.04/1790.03 c shifting : 0.40 107 0 1790.04/1790.03 c twoopt : 0.00 0 0 1790.04/1790.03 c fixandinfer : 0.00 0 0 1790.04/1790.03 c intdiving : 0.00 0 0 1790.04/1790.03 c actconsdiving : 0.00 0 0 1790.04/1790.03 c octane : 0.00 0 0 1790.04/1790.03 c rens : 0.00 0 0 1790.04/1790.03 c rins : 0.00 0 0 1790.04/1790.03 c localbranching : 0.00 0 0 1790.04/1790.03 c mutation : 0.00 0 0 1790.04/1790.03 c dins : 0.00 0 0 1790.04/1790.03 c undercover : 0.00 0 0 1790.04/1790.03 c nlp : 0.01 0 0 1790.04/1790.03 c trysol : 21.15 991 0 1790.04/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec 1790.04/1790.03 c primal LP : 0.01 0 0 0.00 - 1790.04/1790.03 c dual LP : 217.19 4449 55724 12.53 256.57 1790.04/1790.03 c lex dual LP : 0.00 0 0 0.00 - 1790.04/1790.03 c barrier LP : 0.00 0 0 0.00 - 1790.04/1790.03 c diving/probing LP: 0.47 21 51 2.43 107.50 1790.04/1790.03 c strong branching : 34.89 2963 12463 4.21 357.21 1790.04/1790.03 c (at root node) : - 0 0 0.00 - 1790.04/1790.03 c conflict analysis: 0.00 0 0 0.00 - 1790.04/1790.03 c B&B Tree : 1790.04/1790.03 c number of runs : 1 1790.04/1790.03 c nodes : 45076 1790.04/1790.03 c nodes (total) : 45076 1790.04/1790.03 c nodes left : 45077 1790.04/1790.03 c max depth : 91 1790.04/1790.03 c max depth (total): 91 1790.04/1790.03 c backtracks : 973 (2.2%) 1790.04/1790.03 c delayed cutoffs : 0 1790.04/1790.03 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1790.04/1790.03 c avg switch length: 2.22 1790.04/1790.03 c switching time : 11.71 1790.04/1790.03 c Solution : 1790.04/1790.03 c Solutions found : 0 (0 improvements) 1790.04/1790.03 c Primal Bound : - 1790.04/1790.03 c Dual Bound : +0.00000000000000e+00 1790.04/1790.03 c Gap : infinite 1790.04/1790.03 c Root Dual Bound : +0.00000000000000e+00 1790.04/1790.03 c Root Iterations : 1749 1790.54/1790.51 c Time complete: 1790.56.
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-2705289-1278576544/watcher-2705289-1278576544 -o /tmp/evaluation-result-2705289-1278576544/solver-2705289-1278576544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705289-1278576544.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.91 3/178 23205 /proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=12536 CPUtime=0 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 1975 0 0 0 0 0 0 0 21 0 1 0 25867375 12836864 1893 4089446400 4194304 10345943 140733894832064 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23205/statm: 3134 1893 429 1502 0 1627 0 [startup+0.0821649 s] /proc/loadavg: 1.92 1.98 1.91 3/178 23205 /proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=34628 CPUtime=0.07 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 7517 0 0 0 7 0 0 0 24 0 1 0 25867375 35459072 7435 4089446400 4194304 10345943 140733894832064 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23205/statm: 8657 7435 430 1502 0 7150 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 34628 [startup+0.101161 s] /proc/loadavg: 1.92 1.98 1.91 3/178 23205 /proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=38848 CPUtime=0.09 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 8600 0 0 0 9 0 0 0 24 0 1 0 25867375 39780352 8491 4089446400 4194304 10345943 140733894832064 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23205/statm: 9719 8491 430 1502 0 8212 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38848 [startup+0.300129 s] /proc/loadavg: 1.92 1.98 1.91 3/178 23205 /proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=115080 CPUtime=0.29 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 27954 0 0 0 27 2 0 0 25 0 1 0 25867375 117841920 27455 4089446400 4194304 10345943 140733894832064 18446744073709551615 9137699 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 28770 27455 478 1502 0 27263 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 115080 [startup+0.701052 s] /proc/loadavg: 1.92 1.98 1.91 3/178 23205 /proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=161176 CPUtime=0.69 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 38301 0 0 0 65 4 0 0 25 0 1 0 25867375 165044224 37802 4089446400 4194304 10345943 140733894832064 18446744073709551615 9138589 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 40294 37802 510 1502 0 38787 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 161176 [startup+1.50091 s] /proc/loadavg: 1.92 1.98 1.91 3/179 23206 /proc/meminfo: memFree=29145332/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=170716 CPUtime=1.49 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 41116 0 0 0 145 4 0 0 25 0 1 0 25867375 174813184 39845 4089446400 4194304 10345943 140733894832064 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 42679 39885 584 1502 0 41172 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 170716 [startup+3.10061 s] /proc/loadavg: 1.92 1.98 1.91 3/179 23206 /proc/meminfo: memFree=29127916/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=178664 CPUtime=3.09 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43534 0 0 0 305 4 0 0 25 0 1 0 25867375 182951936 42239 4089446400 4194304 10345943 140733894832064 18446744073709551615 5608322 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 44666 42239 587 1502 0 43159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178664 [startup+6.30103 s] /proc/loadavg: 1.93 1.98 1.91 3/179 23206 /proc/meminfo: memFree=29126632/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=179704 CPUtime=6.29 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43813 0 0 0 625 4 0 0 25 0 1 0 25867375 184016896 42514 4089446400 4194304 10345943 140733894832064 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 44926 42514 583 1502 0 43419 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 179704 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 1.91 3/179 23206 /proc/meminfo: memFree=29126832/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=179704 CPUtime=12.69 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43818 0 0 0 1265 4 0 0 25 0 1 0 25867375 184016896 42519 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 44926 42519 588 1502 0 43419 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 179704 [startup+25.5005 s] /proc/loadavg: 1.95 1.98 1.91 3/179 23207 /proc/meminfo: memFree=29078872/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=236004 CPUtime=25.49 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 72437 0 0 0 2542 7 0 0 25 0 1 0 25867375 241668096 54573 4089446400 4194304 10345943 140733894832064 18446744073709551615 6866074 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 59001 54573 777 1502 0 57494 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 236004 [startup+51.1009 s] /proc/loadavg: 1.96 1.98 1.91 3/179 23208 /proc/meminfo: memFree=29068692/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=243152 CPUtime=51.09 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 145771 0 0 0 5093 16 0 0 25 0 1 0 25867375 248987648 56645 4089446400 4194304 10345943 140733894832064 18446744073709551615 5427539 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 60788 56645 777 1502 0 59281 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 243152 [startup+102.306 s] /proc/loadavg: 2.02 2.00 1.91 3/179 23209 /proc/meminfo: memFree=29055284/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=252836 CPUtime=102.3 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 213543 0 0 0 10204 26 0 0 25 0 1 0 25867375 258904064 60020 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 63209 60020 777 1502 0 61702 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 252836 [startup+162.301 s] /proc/loadavg: 2.01 2.00 1.91 3/179 23210 /proc/meminfo: memFree=29032796/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=277632 CPUtime=162.29 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 242397 0 0 0 16198 31 0 0 25 0 1 0 25867375 284295168 65689 4089446400 4194304 10345943 140733894832064 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 69408 65689 777 1502 0 67901 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 277632 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23212 /proc/meminfo: memFree=29007976/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=302084 CPUtime=222.3 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 283392 0 0 0 22192 38 0 0 25 0 1 0 25867375 309334016 71426 4089446400 4194304 10345943 140733894832064 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 75521 71426 777 1502 0 74014 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 302084 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23214 /proc/meminfo: memFree=28983500/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=321776 CPUtime=282.3 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 291354 0 0 0 28190 40 0 0 25 0 1 0 25867375 329498624 76352 4089446400 4194304 10345943 140733894832064 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 80444 76352 777 1502 0 78937 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 321776 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23215 /proc/meminfo: memFree=28956044/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=340420 CPUtime=342.3 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 334261 0 0 0 34185 45 0 0 25 0 1 0 25867375 348590080 81691 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 85105 81691 777 1502 0 83598 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 340420 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23217 /proc/meminfo: memFree=28938284/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=359276 CPUtime=402.3 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 352667 0 0 0 40182 48 0 0 25 0 1 0 25867375 367898624 86330 4089446400 4194304 10345943 140733894832064 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 89819 86330 777 1502 0 88312 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 359276 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23218 /proc/meminfo: memFree=28909104/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=381076 CPUtime=462.31 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 365192 0 0 0 46179 52 0 0 25 0 1 0 25867375 390221824 91699 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696483 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 95269 91699 777 1502 0 93762 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 381076 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23220 /proc/meminfo: memFree=28871752/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=404296 CPUtime=522.31 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 387269 0 0 0 52175 56 0 0 25 0 1 0 25867375 413999104 97642 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 101074 97642 777 1502 0 99567 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 404296 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23225 /proc/meminfo: memFree=28842048/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=424024 CPUtime=582.31 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 392980 0 0 0 58173 58 0 0 25 0 1 0 25867375 434200576 102563 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031150 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 106006 102563 777 1502 0 104499 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 424024 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23226 /proc/meminfo: memFree=28814964/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=442992 CPUtime=642.31 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 400211 0 0 0 64172 59 0 0 25 0 1 0 25867375 453623808 107044 4089446400 4194304 10345943 140733894832064 18446744073709551615 6802803 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 110748 107044 777 1502 0 109241 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 442992 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28613744/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=569080 CPUtime=1002.33 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 461248 0 0 0 100160 73 0 0 25 0 1 0 25867375 582737920 138468 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 142270 138468 777 1502 0 140763 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 569080 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23237 /proc/meminfo: memFree=28581960/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=594848 CPUtime=1062.32 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 466666 0 0 0 106158 74 0 0 25 0 1 0 25867375 609124352 143886 4089446400 4194304 10345943 140733894832064 18446744073709551615 9138661 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 148712 143886 777 1502 0 147205 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 594848 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 1.92 3/179 23239 /proc/meminfo: memFree=28555388/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=614692 CPUtime=1122.32 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 471856 0 0 0 112157 75 0 0 25 0 1 0 25867375 629444608 149076 4089446400 4194304 10345943 140733894832064 18446744073709551615 6777343 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 153673 149076 777 1502 0 152166 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 614692 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 1.92 3/179 23241 /proc/meminfo: memFree=28519892/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=635372 CPUtime=1182.33 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 477790 0 0 0 118156 77 0 0 25 0 1 0 25867375 650620928 154461 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 158843 154461 777 1502 0 157336 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 635372 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 1.92 3/179 23242 /proc/meminfo: memFree=28493676/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=653940 CPUtime=1242.32 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 483252 0 0 0 124154 78 0 0 25 0 1 0 25867375 669634560 159608 4089446400 4194304 10345943 140733894832064 18446744073709551615 6119567 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 163485 159608 777 1502 0 161978 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 653940 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 23244 /proc/meminfo: memFree=28472308/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=675504 CPUtime=1302.33 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 490849 0 0 0 130152 81 0 0 25 0 1 0 25867375 691716096 164552 4089446400 4194304 10345943 140733894832064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 168876 164552 777 1502 0 167369 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 675504 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 23245 /proc/meminfo: memFree=28447216/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=695968 CPUtime=1362.33 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 496029 0 0 0 136150 83 0 0 25 0 1 0 25867375 712671232 169732 4089446400 4194304 10345943 140733894832064 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 173992 169732 777 1502 0 172485 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 695968 [startup+1422.31 s] /proc/loadavg: 2.08 2.03 1.93 3/179 23247 /proc/meminfo: memFree=28424236/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=714404 CPUtime=1422.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 500720 0 0 0 142149 85 0 0 25 0 1 0 25867375 731549696 174423 4089446400 4194304 10345943 140733894832064 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 178601 174423 777 1502 0 177094 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 714404 [startup+1482.3 s] /proc/loadavg: 2.03 2.02 1.93 3/179 23276 /proc/meminfo: memFree=28625144/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=736056 CPUtime=1482.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 506257 0 0 0 148147 87 0 0 25 0 1 0 25867375 753721344 179960 4089446400 4194304 10345943 140733894832064 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 184014 179960 777 1502 0 182507 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 736056 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 1.93 3/179 23277 /proc/meminfo: memFree=28537280/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=760908 CPUtime=1542.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 512044 0 0 0 154146 88 0 0 25 0 1 0 25867375 779169792 185604 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 190227 185604 777 1502 0 188720 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 760908 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.93 3/179 23279 /proc/meminfo: memFree=28406188/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=781476 CPUtime=1602.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 518132 0 0 0 160144 90 0 0 25 0 1 0 25867375 800231424 190722 4089446400 4194304 10345943 140733894832064 18446744073709551615 6002389 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 195369 190722 777 1502 0 193862 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 781476 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 23280 /proc/meminfo: memFree=28336952/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=802236 CPUtime=1662.35 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 526037 0 0 0 166143 92 0 0 25 0 1 0 25867375 821489664 196166 4089446400 4194304 10345943 140733894832064 18446744073709551615 6785197 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 200559 196166 777 1502 0 199052 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 802236 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 1.94 3/179 23282 /proc/meminfo: memFree=28280596/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=820892 CPUtime=1722.35 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 531711 0 0 0 172141 94 0 0 25 0 1 0 25867375 840593408 201019 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 205223 201019 777 1502 0 203716 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 820892 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28239980/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=843152 CPUtime=1782.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536380 0 0 0 178139 95 0 0 25 0 1 0 25867375 863387648 205615 4089446400 4194304 10345943 140733894832064 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 210788 205615 777 1502 0 209281 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 843152 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28238864/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=843152 CPUtime=1785.54 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536462 0 0 0 178459 95 0 0 25 0 1 0 25867375 863387648 205697 4089446400 4194304 10345943 140733894832064 18446744073709551615 4601864 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 210788 205697 777 1502 0 209281 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 843152 [startup+1788.7 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28237004/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=843152 CPUtime=1788.74 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536644 0 0 0 178779 95 0 0 25 0 1 0 25867375 863387648 205879 4089446400 4194304 10345943 140733894832064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 210788 205879 777 1502 0 209281 0 Current children cumulated CPU time (s) 1788.74 Current children cumulated vsize (KiB) 843152 [startup+1789.5 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28237004/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=843152 CPUtime=1789.54 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536669 0 0 0 178859 95 0 0 25 0 1 0 25867375 863387648 205904 4089446400 4194304 10345943 140733894832064 18446744073709551615 6712068 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/23205/statm: 210788 205904 777 1502 0 209281 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (KiB) 843152 [startup+1790.3 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28236500/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=843152 CPUtime=1790.34 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536697 0 0 0 178939 95 0 0 18 0 1 0 25867375 863387648 205932 4089446400 4194304 10345943 140733894832064 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23205/statm: 210788 205932 786 1502 0 209281 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (KiB) 843152 [startup+1790.5 s] /proc/loadavg: 2.01 2.01 1.94 3/179 23284 /proc/meminfo: memFree=28236500/32951124 swapFree=67111528/67111528 [pid=23205] ppid=23203 vsize=209284 CPUtime=1790.54 /proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536697 0 0 0 178956 98 0 0 18 0 1 0 25867375 214306816 50003 4089446400 4194304 10345943 140733894832064 18446744073709551615 4750315 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23205/statm: 52321 50003 786 1502 0 50814 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (KiB) 209284 Child status: 0 Real time (s): 1790.52 CPU time (s): 1790.57 CPU user time (s): 1789.58 CPU system time (s): 0.994848 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 843152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.58 system time used= 0.994848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 536703 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= 1104 runsolver used 2.92355 second user time and 6.69998 second system time The end
Begin job on node142 at 2010-07-08 10:09:05 IDJOB=2705289 IDBENCH=79095 IDSOLVER=1214 FILE ID=node142/2705289-1278576544 PBS_JOBID= 11240171 Free space on /tmp= 73320 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j603_2-unsat--soft-33-100-0.wbo 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-2705289-1278576544/watcher-2705289-1278576544 -o /tmp/evaluation-result-2705289-1278576544/solver-2705289-1278576544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705289-1278576544.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 00a8bd0bea2ac0513d2ebf3c8ede1f03 RANDOM SEED=2027628700 node142.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5311.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29295660 kB Buffers: 158084 kB Cached: 3134288 kB SwapCached: 0 kB Active: 1144832 kB Inactive: 2341880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29295660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13628 kB Writeback: 0 kB AnonPages: 193880 kB Mapped: 17716 kB Slab: 105092 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 344284 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73308 MiB End job on node142 at 2010-07-08 10:38:55