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.41 | 1790.55 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo |
MD5SUM | c52ec7834abd1e8394b3225d7d9a7136 |
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 | 29 |
Best CPU time to get the best result obtained on this benchmark | 0.136978 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 14196 |
Total number of constraints | 44553 |
Number of soft constraints | 15324 |
Number of constraints which are clauses | 44245 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 308 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 90 |
Top cost | 775307 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 775306 |
Biggest number in a constraint | 66 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 565 |
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.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-2705241-1278576542.wbo> 0.39/0.40 c original problem has 44844 variables (29520 bin, 0 int, 15324 impl, 0 cont) and 59878 constraints 0.39/0.40 c problem read 0.39/0.40 c presolving settings loaded 1.19/1.23 c presolving: 1.49/1.53 c (round 1) 1326 del vars, 4296 del conss, 797 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 518458 impls, 0 clqs 1.79/1.82 c (round 2) 4013 del vars, 13150 del conss, 1938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 533280 impls, 0 clqs 2.10/2.14 c (round 3) 8698 del vars, 20738 del conss, 2661 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 539226 impls, 0 clqs 2.29/2.34 c (round 4) 13529 del vars, 25264 del conss, 3114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 542867 impls, 0 clqs 2.39/2.45 c (round 5) 16635 del vars, 27903 del conss, 3415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 545288 impls, 0 clqs 2.49/2.53 c (round 6) 18604 del vars, 29618 del conss, 3617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 547575 impls, 0 clqs 2.49/2.58 c (round 7) 19806 del vars, 30757 del conss, 3774 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 548809 impls, 0 clqs 2.59/2.62 c (round 8) 20593 del vars, 31562 del conss, 3881 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549309 impls, 0 clqs 2.59/2.65 c (round 9) 21132 del vars, 32147 del conss, 3944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549581 impls, 0 clqs 2.59/2.67 c (round 10) 21507 del vars, 32461 del conss, 3972 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549751 impls, 0 clqs 2.59/2.69 c (round 11) 21740 del vars, 32621 del conss, 3987 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549809 impls, 0 clqs 2.69/2.70 c (round 12) 21861 del vars, 32701 del conss, 3996 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs 2.69/2.71 c (round 13) 21918 del vars, 32737 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs 2.69/2.72 c (round 14) 21943 del vars, 32747 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs 2.69/2.76 c (round 15) 21952 del vars, 32747 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs 2.69/2.78 c (round 16) 21977 del vars, 32772 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549911 impls, 0 clqs 2.89/2.94 c (round 17) 21977 del vars, 32772 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 12787 upgd conss, 564961 impls, 0 clqs 8.07/8.29 c (7.9s) probing: 1000/15316 (6.5%) - 0 fixings, 0 aggregations, 32784 implications, 0 bound changes 11.77/11.94 c (11.5s) probing: 2000/15316 (13.1%) - 0 fixings, 0 aggregations, 37370 implications, 0 bound changes 11.77/11.94 c (11.5s) probing: 2001/15316 (13.1%) - 0 fixings, 0 aggregations, 37370 implications, 0 bound changes 11.77/11.94 c (11.5s) probing aborted: 2000/2000 successive useless probings 11.77/11.94 c presolving (18 rounds): 11.77/11.94 c 21977 deleted vars, 32772 deleted constraints, 11550 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 11.77/11.94 c 726013 implications, 0 cliques 11.77/11.94 c presolved problem has 22867 variables (15316 bin, 0 int, 7551 impl, 0 cont) and 27106 constraints 11.77/11.94 c 776 constraints of type <varbound> 11.77/11.94 c 199 constraints of type <knapsack> 11.77/11.94 c 9736 constraints of type <setppc> 11.77/11.94 c 6768 constraints of type <linear> 11.77/11.94 c 7551 constraints of type <indicator> 11.77/11.94 c 2076 constraints of type <logicor> 11.77/11.94 c transformed objective value is always integral (scale: 1) 11.77/11.94 c Presolving Time: 11.37 11.77/11.94 c - non default parameters ---------------------------------------------------------------------- 11.77/11.94 c # SCIP version 1.2.1.3 11.77/11.94 c 11.77/11.94 c # frequency for displaying node information lines 11.77/11.94 c # [type: int, range: [-1,2147483647], default: 100] 11.77/11.94 c display/freq = 10000 11.77/11.94 c 11.77/11.94 c # maximal time in seconds to run 11.77/11.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 11.77/11.94 c limits/time = 1789.6 11.77/11.94 c 11.77/11.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 11.77/11.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 11.77/11.94 c limits/memory = 3420 11.77/11.94 c 11.77/11.94 c # default clock type (1: CPU user seconds, 2: wall clock time) 11.77/11.94 c # [type: int, range: [1,2], default: 1] 11.77/11.94 c timing/clocktype = 2 11.77/11.94 c 11.77/11.94 c # should presolving try to simplify inequalities 11.77/11.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.77/11.94 c constraints/linear/simplifyinequalities = TRUE 11.77/11.94 c 11.77/11.94 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 11.77/11.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.77/11.94 c constraints/indicator/addCouplingCons = TRUE 11.77/11.94 c 11.77/11.94 c # should presolving try to simplify knapsacks 11.77/11.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 11.77/11.94 c constraints/knapsack/simplifyinequalities = TRUE 11.77/11.94 c 11.77/11.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 11.77/11.94 c # [type: int, range: [-1,2147483647], default: -1] 11.77/11.94 c separating/rapidlearning/freq = 0 11.77/11.94 c 11.77/11.94 c ----------------------------------------------------------------------------------------------- 11.77/11.94 c start solving 11.77/11.95 c 11.87/12.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 11.87/12.08 c 11.7s| 1 | 0 | 866 | - | 157M| 0 | 416 | 22k| 27k| 22k| 12k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 13.07/13.24 c 12.8s| 1 | 0 | 2487 | - | 159M| 0 | 371 | 22k| 27k| 22k| 12k| 945 | 0 | 0 | 0.000000e+00 | -- | Inf 14.17/14.33 c 13.9s| 1 | 0 | 3349 | - | 160M| 0 | 926 | 22k| 27k| 22k| 13k|1260 | 0 | 0 | 0.000000e+00 | -- | Inf 16.67/16.81 c 16.4s| 1 | 0 | 4275 | - | 162M| 0 | 927 | 22k| 27k| 22k| 13k|1646 | 0 | 0 | 0.000000e+00 | -- | Inf 19.97/20.17 c 19.8s| 1 | 0 | 4954 | - | 162M| 0 | 389 | 22k| 27k| 22k| 14k|1981 | 0 | 0 | 0.000000e+00 | -- | Inf 21.47/21.60 c 21.2s| 1 | 0 | 5846 | - | 163M| 0 | 757 | 22k| 27k| 22k| 14k|2217 | 0 | 0 | 0.000000e+00 | -- | Inf 23.66/23.81 c 23.4s| 1 | 0 | 7172 | - | 164M| 0 | 504 | 22k| 27k| 22k| 14k|2394 | 0 | 0 | 0.000000e+00 | -- | Inf 32.36/32.59 c 32.2s| 1 | 2 | 7172 | - | 164M| 0 | 504 | 22k| 27k| 22k| 14k|2394 | 0 | 25 | 0.000000e+00 | -- | Inf 983.54/983.73 c 983s| 10000 | 9999 |596449 | 58.9 | 272M| 173 | 89 | 22k| 27k| 22k| 13k|2394 | 15 |4465 | 0.000000e+00 | -- | Inf 1522.84/1523.08 c 1523s| 20000 | 19997 |906845 | 45.0 | 378M| 209 | 34 | 22k| 27k| 22k| 13k|2394 | 21 |7796 | 0.000000e+00 | -- | Inf 1789.84/1790.04 c 1789.84/1790.04 c SCIP Status : solving was interrupted [time limit reached] 1789.84/1790.04 c Solving Time (sec) : 1789.63 1789.84/1790.04 c Solving Nodes : 25735 1789.84/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.84/1790.04 c Dual Bound : +0.00000000000000e+00 1789.84/1790.04 c Gap : infinite 1789.84/1790.04 s UNKNOWN 1789.84/1790.04 c SCIP Status : solving was interrupted [time limit reached] 1789.84/1790.04 c Solving Time : 1789.63 1789.84/1790.04 c Original Problem : 1789.84/1790.04 c Problem name : HOME/instance-2705241-1278576542.wbo 1789.84/1790.04 c Variables : 44844 (29520 binary, 0 integer, 15324 implicit integer, 0 continuous) 1789.84/1790.04 c Constraints : 59878 initial, 59878 maximal 1789.84/1790.04 c Presolved Problem : 1789.84/1790.04 c Problem name : t_HOME/instance-2705241-1278576542.wbo 1789.84/1790.04 c Variables : 22867 (15316 binary, 0 integer, 7551 implicit integer, 0 continuous) 1789.84/1790.04 c Constraints : 27106 initial, 27119 maximal 1789.84/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.84/1790.04 c trivial : 0.04 188 0 0 0 0 0 0 0 1789.84/1790.04 c dualfix : 0.06 16412 0 0 0 0 0 0 0 1789.84/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.84/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.84/1790.04 c implics : 0.03 0 0 0 0 0 0 0 0 1789.84/1790.04 c probing : 8.91 0 0 0 0 0 0 0 0 1789.84/1790.04 c varbound : 0.00 0 0 0 0 0 0 0 0 1789.84/1790.04 c knapsack : 0.05 0 0 0 0 0 0 0 0 1789.84/1790.04 c setppc : 0.01 0 0 0 0 0 0 0 0 1789.84/1790.04 c linear : 1.11 3811 1566 0 11550 0 24999 0 0 1789.84/1790.04 c indicator : 0.46 0 0 0 0 0 7773 0 0 1789.84/1790.04 c logicor : 0.02 0 0 0 0 0 0 0 0 1789.84/1790.04 c root node : - 0 - - 0 - - - - 1789.84/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.84/1790.04 c integral : 0 0 0 25734 0 0 7 0 0 51460 1789.84/1790.04 c varbound : 776 6 171529 0 12 0 5571 446 0 0 1789.84/1790.04 c knapsack : 199 6 171529 0 12 1 28337 230 0 0 1789.84/1790.04 c setppc : 9736 6 171528 0 12 3 329018 0 0 0 1789.84/1790.04 c linear : 6768 6 171525 0 1 0 12481 1089 0 0 1789.84/1790.04 c indicator : 7551 0 171525 0 12 0 17948 0 0 0 1789.84/1790.04 c logicor : 2076+ 6 78191 0 1 4 15254 0 0 0 1789.84/1790.04 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.84/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.84/1790.04 c integral : 343.54 0.00 0.00 343.54 0.00 1789.84/1790.04 c varbound : 4.51 0.00 4.51 0.00 0.00 1789.84/1790.04 c knapsack : 2.69 0.01 2.68 0.00 0.00 1789.84/1790.04 c setppc : 39.60 0.00 39.58 0.00 0.01 1789.84/1790.04 c linear : 21.67 0.01 21.65 0.00 0.00 1789.84/1790.04 c indicator : 69.20 0.00 69.18 0.00 0.02 1789.84/1790.04 c logicor : 0.37 0.00 0.37 0.00 0.00 1789.84/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.84/1790.04 c Propagators : Time Calls Cutoffs DomReds 1789.84/1790.04 c vbounds : 0.10 794 0 0 1789.84/1790.04 c rootredcost : 0.06 0 0 0 1789.84/1790.04 c pseudoobj : 37.41 163407 0 0 1789.84/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.84/1790.04 c propagation : 0.00 8 8 11 18.5 0 0.0 - 1789.84/1790.04 c infeasible LP : 0.02 8 8 22 19.4 0 0.0 0 1789.84/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.84/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.84/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.84/1790.04 c applied globally : - - - 23 16.5 - - - 1789.84/1790.04 c applied locally : - - - 0 0.0 - - - 1789.84/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.84/1790.04 c cut pool : 0.00 5 - - 108 - (maximal pool size: 1642) 1789.84/1790.04 c redcost : 36.64 25739 0 0 0 0 1789.84/1790.04 c impliedbounds : 0.01 6 0 0 780 0 1789.84/1790.04 c intobj : 0.00 0 0 0 0 0 1789.84/1790.04 c cgmip : 0.00 0 0 0 0 0 1789.84/1790.04 c gomory : 3.07 6 0 0 2087 0 1789.84/1790.04 c strongcg : 2.12 6 0 0 2571 0 1789.84/1790.04 c cmir : 0.81 6 0 0 0 0 1789.84/1790.04 c flowcover : 1.91 6 0 0 273 0 1789.84/1790.04 c clique : 0.22 6 0 0 30 0 1789.84/1790.04 c zerohalf : 0.00 0 0 0 0 0 1789.84/1790.04 c mcf : 0.02 1 0 0 0 0 1789.84/1790.04 c rapidlearning : 0.00 0 0 0 0 0 1789.84/1790.04 c Pricers : Time Calls Vars 1789.84/1790.04 c problem variables: 0.00 0 0 1789.84/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.84/1790.04 c relpscost : 343.47 25734 0 7 0 0 51460 1789.84/1790.04 c pscost : 0.00 0 0 0 0 0 0 1789.84/1790.04 c inference : 0.01 1 0 0 0 0 2 1789.84/1790.04 c mostinf : 0.00 0 0 0 0 0 0 1789.84/1790.04 c leastinf : 0.00 0 0 0 0 0 0 1789.84/1790.04 c fullstrong : 0.00 0 0 0 0 0 0 1789.84/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0 1789.84/1790.04 c random : 0.00 0 0 0 0 0 0 1789.84/1790.04 c Primal Heuristics : Time Calls Found 1789.84/1790.04 c LP solutions : 0.00 - 0 1789.84/1790.04 c pseudo solutions : 0.00 - 0 1789.84/1790.04 c oneopt : 0.04 0 0 1789.84/1790.04 c crossover : 0.01 0 0 1789.84/1790.04 c intshifting : 0.00 0 0 1789.84/1790.04 c guideddiving : 0.00 0 0 1789.84/1790.04 c objpscostdiving : 21.90 3 0 1789.84/1790.04 c rootsoldiving : 8.55 3 0 1789.84/1790.04 c linesearchdiving : 86.68 20 0 1789.84/1790.04 c pscostdiving : 120.81 22 0 1789.84/1790.04 c veclendiving : 72.12 22 0 1789.84/1790.04 c fracdiving : 128.10 23 0 1789.84/1790.04 c coefdiving : 156.58 32 0 1789.84/1790.04 c feaspump : 36.95 212 0 1789.84/1790.04 c trivial : 0.58 2 0 1789.84/1790.04 c simplerounding : 0.10 25720 0 1789.84/1790.04 c zirounding : 0.50 1000 0 1789.84/1790.04 c rounding : 1.60 2219 0 1789.84/1790.04 c shifting : 3.22 674 0 1789.84/1790.04 c twoopt : 0.00 0 0 1789.84/1790.04 c fixandinfer : 0.00 0 0 1789.84/1790.04 c intdiving : 0.00 0 0 1789.84/1790.04 c actconsdiving : 0.00 0 0 1789.84/1790.04 c octane : 0.00 0 0 1789.84/1790.04 c rens : 0.21 1 0 1789.84/1790.04 c rins : 0.00 0 0 1789.84/1790.04 c localbranching : 0.00 0 0 1789.84/1790.04 c mutation : 0.00 0 0 1789.84/1790.04 c dins : 0.00 0 0 1789.84/1790.04 c undercover : 0.00 0 0 1789.84/1790.04 c nlp : 0.01 0 0 1789.84/1790.04 c trysol : 0.02 0 0 1789.84/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec 1789.84/1790.04 c primal LP : 0.01 0 0 0.00 0.00 1789.84/1790.04 c dual LP : 531.41 25721 721620 28.06 1357.94 1789.84/1790.04 c lex dual LP : 0.00 0 0 0.00 - 1789.84/1790.04 c barrier LP : 0.00 0 0 0.00 - 1789.84/1790.04 c diving/probing LP: 415.09 31680 328206 10.36 790.69 1789.84/1790.04 c strong branching : 341.48 9308 462676 49.71 1354.93 1789.84/1790.04 c (at root node) : - 25 13856 554.24 - 1789.84/1790.04 c conflict analysis: 0.00 0 0 0.00 - 1789.84/1790.04 c B&B Tree : 1789.84/1790.04 c number of runs : 1 1789.84/1790.04 c nodes : 25735 1789.84/1790.04 c nodes (total) : 25735 1789.84/1790.04 c nodes left : 25728 1789.84/1790.04 c max depth : 239 1789.84/1790.04 c max depth (total): 239 1789.84/1790.04 c backtracks : 336 (1.3%) 1789.84/1790.04 c delayed cutoffs : 0 1789.84/1790.04 c repropagations : 18 (28 domain reductions, 0 cutoffs) 1789.84/1790.04 c avg switch length: 2.26 1789.84/1790.04 c switching time : 8.70 1789.84/1790.04 c Solution : 1789.84/1790.04 c Solutions found : 0 (0 improvements) 1789.84/1790.04 c Primal Bound : - 1789.84/1790.04 c Dual Bound : +0.00000000000000e+00 1789.84/1790.04 c Gap : infinite 1789.84/1790.04 c Root Dual Bound : +0.00000000000000e+00 1789.84/1790.04 c Root Iterations : 7172 1790.34/1790.55 c Time complete: 1790.4.
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-2705241-1278576542/watcher-2705241-1278576542 -o /tmp/evaluation-result-2705241-1278576542/solver-2705241-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705241-1278576542.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.90 3/176 22079 /proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=12340 CPUtime=0 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1930 0 0 0 0 0 0 0 25 0 1 0 25867672 12636160 1848 4089446400 4194304 10345943 140736386954496 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/22079/statm: 3085 1862 429 1502 0 1578 0 [startup+0.090136 s] /proc/loadavg: 1.92 1.98 1.90 3/176 22079 /proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=30112 CPUtime=0.08 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 6360 0 0 0 8 0 0 0 25 0 1 0 25867672 30834688 6278 4089446400 4194304 10345943 140736386954496 18446744073709551615 4222948 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/22079/statm: 7785 6300 430 1502 0 6278 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 30112 [startup+0.10113 s] /proc/loadavg: 1.92 1.98 1.90 3/176 22079 /proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=33188 CPUtime=0.09 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 7134 0 0 0 9 0 0 0 25 0 1 0 25867672 33984512 7052 4089446400 4194304 10345943 140736386954496 18446744073709551615 5758541 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/22079/statm: 8297 7052 430 1502 0 6790 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33188 [startup+0.301099 s] /proc/loadavg: 1.92 1.98 1.90 3/176 22079 /proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=62280 CPUtime=0.29 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 14421 0 0 0 28 1 0 0 25 0 1 0 25867672 63774720 14339 4089446400 4194304 10345943 140736386954496 18446744073709551615 9114182 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/22079/statm: 15570 14339 430 1502 0 14063 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 62280 [startup+0.701039 s] /proc/loadavg: 1.92 1.98 1.90 3/176 22079 /proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=178420 CPUtime=0.69 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 42559 0 0 0 65 4 0 0 25 0 1 0 25867672 182702080 42087 4089446400 4194304 10345943 140736386954496 18446744073709551615 9138335 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22079/statm: 44605 42087 510 1502 0 43098 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 178420 [startup+1.50089 s] /proc/loadavg: 1.92 1.98 1.90 3/177 22080 /proc/meminfo: memFree=27962260/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=196664 CPUtime=1.49 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 47276 0 0 0 145 4 0 0 25 0 1 0 25867672 201383936 46804 4089446400 4194304 10345943 140736386954496 18446744073709551615 5026449 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22079/statm: 49166 46804 542 1502 0 47659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 196664 [startup+3.10061 s] /proc/loadavg: 1.92 1.98 1.90 3/177 22080 /proc/meminfo: memFree=27940560/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=208084 CPUtime=3.09 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 51022 0 0 0 304 5 0 0 25 0 1 0 25867672 213078016 49766 4089446400 4194304 10345943 140736386954496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22079/statm: 52021 49766 594 1502 0 50514 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 208084 [startup+6.30106 s] /proc/loadavg: 2.25 2.05 1.93 3/177 22080 /proc/meminfo: memFree=27928940/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=209836 CPUtime=6.17 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 51486 0 0 0 609 8 0 0 25 0 1 0 25867672 214872064 50230 4089446400 4194304 10345943 140736386954496 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 52459 50230 594 1502 0 50952 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 209836 [startup+12.7009 s] /proc/loadavg: 2.15 2.03 1.92 3/177 22108 /proc/meminfo: memFree=28921536/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=245568 CPUtime=12.56 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 58967 0 0 0 1247 9 0 0 25 0 1 0 25867672 251461632 57687 4089446400 4194304 10345943 140736386954496 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 61392 57687 750 1502 0 59885 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 245568 [startup+25.5007 s] /proc/loadavg: 2.25 2.06 1.93 3/177 22108 /proc/meminfo: memFree=28872688/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=292688 CPUtime=25.37 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 83374 0 0 0 2524 13 0 0 25 0 1 0 25867672 299712512 66586 4089446400 4194304 10345943 140736386954496 18446744073709551615 6856932 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 73172 66586 778 1502 0 71665 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 292688 [startup+51.1003 s] /proc/loadavg: 2.16 2.06 1.93 3/177 22109 /proc/meminfo: memFree=28801328/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=291056 CPUtime=50.96 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 113771 0 0 0 5075 21 0 0 25 0 1 0 25867672 298041344 66739 4089446400 4194304 10345943 140736386954496 18446744073709551615 7578663 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 72764 66739 782 1502 0 71257 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 291056 [startup+102.306 s] /proc/loadavg: 2.07 2.05 1.93 3/177 22110 /proc/meminfo: memFree=28774392/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=280504 CPUtime=102.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 160022 0 0 0 10182 33 0 0 25 0 1 0 25867672 287236096 67025 4089446400 4194304 10345943 140736386954496 18446744073709551615 7578766 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 70126 67025 783 1502 0 68619 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 280504 [startup+162.301 s] /proc/loadavg: 2.02 2.03 1.93 3/177 22112 /proc/meminfo: memFree=28740356/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=286804 CPUtime=162.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 165938 0 0 0 16174 41 0 0 25 0 1 0 25867672 293687296 68067 4089446400 4194304 10345943 140736386954496 18446744073709551615 6525286 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22079/statm: 71701 68067 785 1502 0 70194 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 286804 [startup+222.301 s] /proc/loadavg: 2.01 2.03 1.93 3/177 22113 /proc/meminfo: memFree=28708084/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=286828 CPUtime=222.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 169447 0 0 0 22168 46 0 0 25 0 1 0 25867672 293711872 68218 4089446400 4194304 10345943 140736386954496 18446744073709551615 5425014 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 71707 68218 785 1502 0 70200 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 286828 [startup+282.3 s] /proc/loadavg: 2.00 2.02 1.93 3/177 22115 /proc/meminfo: memFree=28682392/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=286380 CPUtime=282.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 183206 0 0 0 28162 52 0 0 25 0 1 0 25867672 293253120 68609 4089446400 4194304 10345943 140736386954496 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 71595 68609 786 1502 0 70088 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 286380 [startup+342.301 s] /proc/loadavg: 2.00 2.01 1.93 3/177 22116 /proc/meminfo: memFree=28651248/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=292332 CPUtime=342.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 195238 0 0 0 34156 58 0 0 25 0 1 0 25867672 299347968 69344 4089446400 4194304 10345943 140736386954496 18446744073709551615 6785508 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 73083 69344 786 1502 0 71576 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 292332 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.93 3/177 22118 /proc/meminfo: memFree=28620824/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=295948 CPUtime=402.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 211497 0 0 0 40147 67 0 0 25 0 1 0 25867672 303050752 70089 4089446400 4194304 10345943 140736386954496 18446744073709551615 7576026 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 73987 70089 786 1502 0 72480 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 295948 [startup+462.301 s] /proc/loadavg: 2.04 2.02 1.94 3/177 22120 /proc/meminfo: memFree=28581724/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=303984 CPUtime=462.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 242142 0 0 0 46137 77 0 0 25 0 1 0 25867672 311279616 72225 4089446400 4194304 10345943 140736386954496 18446744073709551615 4601627 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 75996 72225 786 1502 0 74489 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 303984 [startup+522.301 s] /proc/loadavg: 2.01 2.01 1.94 3/177 22121 /proc/meminfo: memFree=28416272/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=310184 CPUtime=522.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 285460 0 0 0 52125 89 0 0 25 0 1 0 25867672 317628416 73849 4089446400 4194304 10345943 140736386954496 18446744073709551615 7566985 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 77546 73849 787 1502 0 76039 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 310184 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.94 3/177 22123 /proc/meminfo: memFree=28373704/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=321400 CPUtime=582.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 314332 0 0 0 58116 98 0 0 25 0 1 0 25867672 329113600 76369 4089446400 4194304 10345943 140736386954496 18446744073709551615 8160366 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 80350 76369 787 1502 0 78843 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 321400 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22124 /proc/meminfo: memFree=28359788/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=339044 CPUtime=642.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 400010 0 0 0 64097 118 0 0 25 0 1 0 25867672 347181056 78296 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22079/statm: 84761 78296 787 1502 0 83254 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 339044 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28287244/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=403692 CPUtime=1002.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 667507 0 0 0 100011 203 0 0 25 0 1 0 25867672 413380608 93184 4089446400 4194304 10345943 140736386954496 18446744073709551615 6566415 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 100923 93184 787 1502 0 99416 0 Current children cumulated CPU time (s) 1002.14 Current children cumulated vsize (KiB) 403692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22139 /proc/meminfo: memFree=28258068/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=401736 CPUtime=1062.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 740533 0 0 0 105993 221 0 0 25 0 1 0 25867672 411377664 95373 4089446400 4194304 10345943 140736386954496 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 100434 95373 787 1502 0 98927 0 Current children cumulated CPU time (s) 1062.14 Current children cumulated vsize (KiB) 401736 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22140 /proc/meminfo: memFree=28230256/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=407392 CPUtime=1122.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 891997 0 0 0 111961 253 0 0 25 0 1 0 25867672 417169408 97617 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 101848 97617 787 1502 0 100341 0 Current children cumulated CPU time (s) 1122.14 Current children cumulated vsize (KiB) 407392 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22142 /proc/meminfo: memFree=28060468/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=425604 CPUtime=1182.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 929945 0 0 0 117948 266 0 0 25 0 1 0 25867672 435818496 101993 4089446400 4194304 10345943 140736386954496 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 106401 101993 787 1502 0 104894 0 Current children cumulated CPU time (s) 1182.14 Current children cumulated vsize (KiB) 425604 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22143 /proc/meminfo: memFree=28048304/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=448444 CPUtime=1242.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 966461 0 0 0 123937 277 0 0 25 0 1 0 25867672 459206656 104820 4089446400 4194304 10345943 140736386954496 18446744073709551615 7523295 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 112111 104820 787 1502 0 110604 0 Current children cumulated CPU time (s) 1242.14 Current children cumulated vsize (KiB) 448444 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.94 3/177 22145 /proc/meminfo: memFree=28036372/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=446720 CPUtime=1302.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1001147 0 0 0 129924 290 0 0 25 0 1 0 25867672 457441280 107594 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 111680 107594 787 1502 0 110173 0 Current children cumulated CPU time (s) 1302.14 Current children cumulated vsize (KiB) 446720 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.94 3/177 22147 /proc/meminfo: memFree=28026664/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=457668 CPUtime=1362.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1050407 0 0 0 135907 307 0 0 25 0 1 0 25867672 468652032 110289 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 114417 110289 787 1502 0 112910 0 Current children cumulated CPU time (s) 1362.14 Current children cumulated vsize (KiB) 457668 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22148 /proc/meminfo: memFree=28012256/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=471468 CPUtime=1422.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1101292 0 0 0 141893 322 0 0 25 0 1 0 25867672 482783232 113555 4089446400 4194304 10345943 140736386954496 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 117867 113555 787 1502 0 116360 0 Current children cumulated CPU time (s) 1422.15 Current children cumulated vsize (KiB) 471468 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22150 /proc/meminfo: memFree=27999940/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=497576 CPUtime=1482.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1142757 0 0 0 147879 335 0 0 25 0 1 0 25867672 509517824 117024 4089446400 4194304 10345943 140736386954496 18446744073709551615 7523403 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 124716 117026 787 1502 0 123209 0 Current children cumulated CPU time (s) 1482.14 Current children cumulated vsize (KiB) 497576 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 22151 /proc/meminfo: memFree=27987516/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=496236 CPUtime=1542.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1194253 0 0 0 153862 352 0 0 25 0 1 0 25867672 508145664 119736 4089446400 4194304 10345943 140736386954496 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 124059 119736 787 1502 0 122552 0 Current children cumulated CPU time (s) 1542.14 Current children cumulated vsize (KiB) 496236 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 1.95 3/177 22153 /proc/meminfo: memFree=27970748/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=518328 CPUtime=1602.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1231989 0 0 0 159849 365 0 0 25 0 1 0 25867672 530767872 123585 4089446400 4194304 10345943 140736386954496 18446744073709551615 7568752 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 129582 123585 787 1502 0 128075 0 Current children cumulated CPU time (s) 1602.14 Current children cumulated vsize (KiB) 518328 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 1.95 3/177 22155 /proc/meminfo: memFree=27940580/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=529264 CPUtime=1662.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1277316 0 0 0 165833 381 0 0 25 0 1 0 25867672 541966336 126312 4089446400 4194304 10345943 140736386954496 18446744073709551615 6755544 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 132316 126312 787 1502 0 130809 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 529264 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 1.95 3/177 22156 /proc/meminfo: memFree=27910180/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=538312 CPUtime=1722.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1319728 0 0 0 171820 395 0 0 25 0 1 0 25867672 551231488 129427 4089446400 4194304 10345943 140736386954496 18446744073709551615 6802873 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 134578 129427 787 1502 0 133071 0 Current children cumulated CPU time (s) 1722.15 Current children cumulated vsize (KiB) 538312 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27872828/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=561040 CPUtime=1782.15 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1361289 0 0 0 177808 407 0 0 25 0 1 0 25867672 574504960 134069 4089446400 4194304 10345943 140736386954496 18446744073709551615 5210538 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 140260 134069 799 1502 0 138753 0 Current children cumulated CPU time (s) 1782.15 Current children cumulated vsize (KiB) 561040 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27870348/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=552084 CPUtime=1785.35 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1363909 0 0 0 178128 407 0 0 25 0 1 0 25867672 565334016 134562 4089446400 4194304 10345943 140736386954496 18446744073709551615 7522155 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 138021 134562 799 1502 0 136514 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (KiB) 552084 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27868364/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=557072 CPUtime=1788.55 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1367907 0 0 0 178446 409 0 0 25 0 1 0 25867672 570441728 134726 4089446400 4194304 10345943 140736386954496 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 139268 134726 799 1502 0 137761 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (KiB) 557072 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27868364/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=557072 CPUtime=1789.35 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368084 0 0 0 178526 409 0 0 25 0 1 0 25867672 570441728 134903 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22079/statm: 139268 134903 799 1502 0 137761 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (KiB) 557072 [startup+1790.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27867372/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=558468 CPUtime=1790.14 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368939 0 0 0 178605 409 0 0 25 0 1 0 25867672 571871232 134854 4089446400 4194304 10345943 140736386954496 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22079/statm: 139617 134854 804 1502 0 138110 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 558468 [startup+1790.5 s] /proc/loadavg: 2.00 2.00 1.95 3/177 22158 /proc/meminfo: memFree=27867372/32951132 swapFree=67111528/67111528 [pid=22079] ppid=22077 vsize=276820 CPUtime=1790.34 /proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368939 0 0 0 178624 410 0 0 25 0 1 0 25867672 283463680 67063 4089446400 4194304 10345943 140736386954496 18446744073709551615 4751208 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22079/statm: 69205 67063 804 1502 0 67698 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (KiB) 276820 Child status: 0 Real time (s): 1790.55 CPU time (s): 1790.41 CPU user time (s): 1786.29 CPU system time (s): 4.12137 CPU usage (%): 99.992 Max. virtual memory (cumulated for all children) (KiB): 565308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.29 system time used= 4.12137 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1368942 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= 1841 runsolver used 3.01154 second user time and 6.76797 second system time The end
Begin job on node128 at 2010-07-08 10:09:03 IDJOB=2705241 IDBENCH=79084 IDSOLVER=1214 FILE ID=node128/2705241-1278576542 PBS_JOBID= 11240198 Free space on /tmp= 73124 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/j90/normalized-j9015_10-unsat--soft-66-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-2705241-1278576542/watcher-2705241-1278576542 -o /tmp/evaluation-result-2705241-1278576542/solver-2705241-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705241-1278576542.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c52ec7834abd1e8394b3225d7d9a7136 RANDOM SEED=1752006390 node128.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.816 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.63 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.816 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.816 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.816 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.75 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.816 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 : 5332.75 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.816 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.74 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.816 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.74 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.816 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 28129960 kB Buffers: 147652 kB Cached: 3147496 kB SwapCached: 0 kB Active: 2727540 kB Inactive: 1914452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 28129960 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 14400 kB Writeback: 0 kB AnonPages: 1346256 kB Mapped: 17964 kB Slab: 114224 kB PageTables: 7156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1497812 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73112 MiB End job on node128 at 2010-07-08 10:38:53