0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666594-1276651421.opb>
0.00/0.04 c original problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 2682 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.07 c presolving:
0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71030 impls, 0 clqs
0.49/0.53 c (0.3s) probing: 101/2682 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.53 c presolving (2 rounds):
0.49/0.53 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53 c 71030 implications, 0 cliques
0.49/0.53 c presolved problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 2682 constraints
0.49/0.53 c 2482 constraints of type <and>
0.49/0.53 c 200 constraints of type <logicor>
0.49/0.53 c transformed objective value is always integral (scale: 1)
0.49/0.53 c Presolving Time: 0.29
0.49/0.53 c - non default parameters ----------------------------------------------------------------------
0.49/0.53 c # SCIP version 1.2.1.2
0.49/0.53 c
0.49/0.53 c # frequency for displaying node information lines
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53 c display/freq = 10000
0.49/0.53 c
0.49/0.53 c # maximal time in seconds to run
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/time = 1799.96
0.49/0.53 c
0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/memory = 1620
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify inequalities
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/linear/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify knapsacks
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c heuristics/undercover/freq = 0
0.49/0.53 c
0.49/0.53 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c separating/rapidlearning/freq = 0
0.49/0.53 c
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 c start solving
0.49/0.54 c
0.59/0.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.61 c 0.4s| 1 | 0 | 400 | - | 13M| 0 | 400 |2682 |2682 |2682 |5164 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.63 o 57
0.59/0.63 c s 0.4s| 1 | 0 | 400 | - | 13M| 0 | 400 |2682 |2682 |2682 |5164 | 0 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
1.69/1.74 c 1.2s| 1 | 0 | 1000 | - | 13M| 0 | 400 |2682 |2682 |2682 |5566 | 402 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
2.19/2.25 c 1.7s| 1 | 0 | 1603 | - | 14M| 0 | 400 |2682 |2682 |2682 |5971 | 807 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
2.19/2.27 o 51
2.19/2.27 c s 1.8s| 1 | 0 | 1603 | - | 14M| 0 | 400 |2682 |2682 |2682 |5971 | 807 | 0 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
2.79/2.81 c 2.3s| 1 | 0 | 2205 | - | 14M| 0 | 400 |2682 |2682 |2682 |6374 |1210 | 0 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
2.79/2.83 o 43
2.79/2.83 c s 2.3s| 1 | 0 | 2205 | - | 14M| 0 | 400 |2682 |2682 |2682 |6374 |1210 | 0 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
3.39/3.41 c 2.9s| 1 | 0 | 2807 | - | 14M| 0 | 400 |2682 |2682 |2682 |6776 |1612 | 0 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
3.39/3.43 o 41
3.39/3.43 c s 2.9s| 1 | 0 | 2807 | - | 14M| 0 | 400 |2682 |2682 |2682 |6776 |1612 | 0 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
4.29/4.36 c 3.8s| 1 | 0 | 3743 | - | 14M| 0 | 845 |2682 |2682 |2682 |7178 |2014 | 0 | 0 | 1.161854e+01 | 4.100000e+01 | 252.88%
6.89/6.91 c 6.3s| 1 | 0 | 4655 | - | 15M| 0 |1351 |2682 |2682 |2682 |7434 |2270 | 0 | 0 | 1.373326e+01 | 4.100000e+01 | 198.55%
11.09/11.10 c 10.5s| 1 | 0 | 5239 | - | 16M| 0 |1572 |2682 |2682 |2682 |7535 |2371 | 0 | 0 | 1.458516e+01 | 4.100000e+01 | 181.11%
15.89/15.90 c 15.3s| 1 | 0 | 5524 | - | 16M| 0 |1577 |2682 |2682 |2682 |7574 |2410 | 0 | 0 | 1.474469e+01 | 4.100000e+01 | 178.07%
20.89/20.98 c 20.3s| 1 | 0 | 5712 | - | 16M| 0 |1668 |2682 |2682 |2682 |7595 |2431 | 0 | 0 | 1.477190e+01 | 4.100000e+01 | 177.55%
26.49/26.54 c 25.9s| 1 | 0 | 5836 | - | 16M| 0 |1716 |2682 |2682 |2682 |7610 |2446 | 0 | 0 | 1.479418e+01 | 4.100000e+01 | 177.14%
32.09/32.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.09/32.11 c 31.4s| 1 | 0 | 5909 | - | 15M| 0 |1774 |2682 |2682 |2682 |2726 |2456 | 0 | 0 | 1.480466e+01 | 4.100000e+01 | 176.94%
33.68/33.74 c 33.0s| 1 | 0 | 5980 | - | 15M| 0 |1731 |2682 |2682 |2682 |2732 |2462 | 0 | 0 | 1.481036e+01 | 4.100000e+01 | 176.83%
35.28/35.30 c 34.6s| 1 | 0 | 6001 | - | 15M| 0 |1766 |2682 |2682 |2682 |2742 |2472 | 0 | 0 | 1.481132e+01 | 4.100000e+01 | 176.82%
36.78/36.89 c 36.1s| 1 | 0 | 6015 | - | 15M| 0 |1780 |2682 |2682 |2682 |2746 |2476 | 0 | 0 | 1.481144e+01 | 4.100000e+01 | 176.81%
38.39/38.45 c 37.7s| 1 | 0 | 6020 | - | 15M| 0 |1792 |2682 |2682 |2682 |2748 |2478 | 0 | 0 | 1.481181e+01 | 4.100000e+01 | 176.81%
44.78/44.87 c 44.0s| 1 | 2 | 6020 | - | 15M| 0 |1792 |2682 |2682 |2682 |2748 |2478 | 0 | 13 | 1.481181e+01 | 4.100000e+01 | 176.81%
173.35/173.48 o 22
173.35/173.48 c c 171s| 110 | 101 | 42592 | 335.5 | 16M| 15 | - |2682 |2682 |2682 |2835 |4459 | 0 | 501 | 1.529407e+01 | 2.200000e+01 | 43.85%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time (sec) : 1771.39
1800.05/1800.60 c Solving Nodes : 5741
1800.05/1800.60 c Primal Bound : +2.20000000000000e+01 (5 solutions)
1800.05/1800.60 c Dual Bound : +1.68557244209538e+01
1800.05/1800.60 c Gap : 30.52 %
1800.05/1800.60 s SATISFIABLE
1800.05/1800.60 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.05/1800.60 v -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1800.05/1800.60 v -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.05/1800.60 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116
1800.05/1800.60 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94
1800.05/1800.60 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1800.05/1800.60 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44
1800.05/1800.60 v -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 x22 -x21 -x20 x19 x18 -x17
1800.05/1800.60 v -x16 -x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2 x1
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time : 1771.39
1800.05/1800.60 c Original Problem :
1800.05/1800.60 c Problem name : HOME/instance-2666594-1276651421.opb
1800.05/1800.60 c Variables : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 2682 initial, 2682 maximal
1800.05/1800.60 c Presolved Problem :
1800.05/1800.60 c Problem name : t_HOME/instance-2666594-1276651421.opb
1800.05/1800.60 c Variables : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 2682 initial, 2686 maximal
1800.05/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.60 c and : 0.22 0 0 0 0 0 0 0 0
1800.05/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c root node : - 0 - - 0 - - - -
1800.05/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c integral : 0 0 0 5571 0 6 25 0 0 11120
1800.05/1800.60 c and : 2482 15905 58509 0 0 1 146509 74685 0 0
1800.05/1800.60 c logicor : 200+ 16 24892 0 0 1 0 0 0 0
1800.05/1800.60 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.60 c integral : 404.93 0.00 0.00 404.93 0.00
1800.05/1800.60 c and : 49.40 38.34 11.06 0.00 0.00
1800.05/1800.60 c logicor : 0.32 0.00 0.32 0.00 0.00
1800.05/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.60 c vbounds : 0.04 2 0 0
1800.05/1800.60 c rootredcost : 0.05 1 0 0
1800.05/1800.60 c pseudoobj : 1.11 58517 1 0
1800.05/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.60 c propagation : 0.00 3 3 4 21.8 0 0.0 -
1800.05/1800.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.60 c applied globally : - - - 4 21.8 - - -
1800.05/1800.60 c applied locally : - - - 0 0.0 - - -
1800.05/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.60 c cut pool : 0.02 15 - - 0 - (maximal pool size: 2767)
1800.05/1800.60 c redcost : 2.49 15922 0 18886 0 0
1800.05/1800.60 c impliedbounds : 0.06 16 0 0 2650 0
1800.05/1800.60 c intobj : 0.00 0 0 0 0 0
1800.05/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.60 c gomory : 17.46 16 0 0 2657 0
1800.05/1800.60 c strongcg : 14.66 16 0 0 3502 0
1800.05/1800.60 c cmir : 1.64 10 0 0 2000 0
1800.05/1800.60 c flowcover : 0.74 10 0 0 0 0
1800.05/1800.60 c clique : 0.16 16 0 0 21 0
1800.05/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.60 c mcf : 0.01 1 0 0 0 0
1800.05/1800.60 c rapidlearning : 0.34 1 0 0 0 0
1800.05/1800.60 c Pricers : Time Calls Vars
1800.05/1800.60 c problem variables: 0.00 0 0
1800.05/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c relpscost : 404.91 5571 6 25 0 0 11120
1800.05/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c random : 0.00 0 0 0 0 0 0
1800.05/1800.60 c Primal Heuristics : Time Calls Found
1800.05/1800.60 c LP solutions : 0.00 - 0
1800.05/1800.60 c pseudo solutions : 0.00 - 0
1800.05/1800.60 c oneopt : 0.03 5 0
1800.05/1800.60 c trivial : 0.00 2 0
1800.05/1800.60 c simplerounding : 0.00 0 0
1800.05/1800.60 c zirounding : 0.54 1000 0
1800.05/1800.60 c rounding : 6.44 1798 0
1800.05/1800.60 c shifting : 6.41 1705 4
1800.05/1800.60 c intshifting : 0.00 0 0
1800.05/1800.60 c twoopt : 0.00 0 0
1800.05/1800.60 c fixandinfer : 0.00 0 0
1800.05/1800.60 c feaspump : 0.00 0 0
1800.05/1800.60 c coefdiving : 93.20 79 1
1800.05/1800.60 c pscostdiving : 55.50 31 0
1800.05/1800.60 c fracdiving : 62.90 37 0
1800.05/1800.60 c veclendiving : 45.05 37 0
1800.05/1800.60 c intdiving : 0.00 0 0
1800.05/1800.60 c actconsdiving : 0.00 0 0
1800.05/1800.60 c objpscostdiving : 40.17 3 0
1800.05/1800.60 c rootsoldiving : 5.11 6 0
1800.05/1800.60 c linesearchdiving : 54.47 44 0
1800.05/1800.60 c guideddiving : 62.07 36 0
1800.05/1800.60 c octane : 0.00 0 0
1800.05/1800.60 c rens : 0.01 0 0
1800.05/1800.60 c rins : 0.00 0 0
1800.05/1800.60 c localbranching : 0.00 0 0
1800.05/1800.60 c mutation : 0.00 0 0
1800.05/1800.60 c crossover : 0.08 1 0
1800.05/1800.60 c dins : 0.00 0 0
1800.05/1800.60 c undercover : 0.01 1 0
1800.05/1800.60 c nlp : 0.00 0 0
1800.05/1800.60 c trysol : 0.03 0 0
1800.05/1800.60 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.60 c primal LP : 8.61 0 0 0.00 0.00
1800.05/1800.60 c dual LP : 798.87 16688 956160 57.30 1196.89
1800.05/1800.60 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.60 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.60 c diving/probing LP: 367.62 20740 485224 23.40 1319.91
1800.05/1800.60 c strong branching : 399.87 4303 511102 118.78 1278.17
1800.05/1800.60 c (at root node) : - 13 5329 409.92 -
1800.05/1800.60 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.60 c B&B Tree :
1800.05/1800.60 c number of runs : 1
1800.05/1800.60 c nodes : 5741
1800.05/1800.60 c nodes (total) : 5741
1800.05/1800.60 c nodes left : 5370
1800.05/1800.60 c max depth : 25
1800.05/1800.60 c max depth (total): 25
1800.05/1800.60 c backtracks : 1837 (32.0%)
1800.05/1800.60 c delayed cutoffs : 0
1800.05/1800.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.60 c avg switch length: 7.80
1800.05/1800.60 c switching time : 11.16
1800.05/1800.60 c Solution :
1800.05/1800.60 c Solutions found : 5 (5 improvements)
1800.05/1800.60 c First Solution : +5.70000000000000e+01 (in run 1, after 1 nodes, 0.37 seconds, depth 0, found by <shifting>)
1800.05/1800.60 c Primal Bound : +2.20000000000000e+01 (in run 1, after 110 nodes, 170.59 seconds, depth 34, found by <coefdiving>)
1800.05/1800.60 c Dual Bound : +1.68557244209538e+01
1800.05/1800.60 c Gap : 30.52 %
1800.05/1800.60 c Root Dual Bound : +1.48118091182205e+01
1800.05/1800.60 c Root Iterations : 6020
1800.16/1800.68 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666594-1276651421/watcher-2666594-1276651421 -o /tmp/evaluation-result-2666594-1276651421/solver-2666594-1276651421 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666594-1276651421.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 12457
/proc/meminfo: memFree=1753944/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=7724 CPUtime=0
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 6433949 7909376 959 1992294400 4194304 8223781 140736647203456 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12457/statm: 1931 969 348 984 0 944 0
[startup+0.089966 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 12457
/proc/meminfo: memFree=1753944/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=21788 CPUtime=0.08
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4799 0 0 0 6 2 0 0 20 0 1 0 6433949 22310912 4354 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 5447 4354 427 984 0 4460 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21788
[startup+0.101968 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 12457
/proc/meminfo: memFree=1753944/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=22420 CPUtime=0.09
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4985 0 0 0 7 2 0 0 20 0 1 0 6433949 22958080 4540 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 5605 4540 427 984 0 4618 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22420
[startup+0.301986 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 12457
/proc/meminfo: memFree=1753944/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=24232 CPUtime=0.29
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 5949 0 0 0 19 10 0 0 20 0 1 0 6433949 24813568 4990 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 6058 4990 444 984 0 5071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24232
[startup+0.702023 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 12457
/proc/meminfo: memFree=1753944/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=36464 CPUtime=0.69
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 11611 0 0 0 47 22 0 0 21 0 1 0 6433949 37339136 8115 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 9116 8115 553 984 0 8129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36464
[startup+1.5011 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 12458
/proc/meminfo: memFree=1723184/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53688 CPUtime=1.49
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 16859 0 0 0 105 44 0 0 23 0 1 0 6433949 54976512 12026 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13422 12026 577 984 0 12435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53688
[startup+3.10125 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 12458
/proc/meminfo: memFree=1721696/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=40196 CPUtime=3.09
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 18472 0 0 0 258 51 0 0 25 0 1 0 6433949 41160704 9006 1992294400 4194304 8223781 140736647203456 18446744073709551615 6043568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 10049 9006 585 984 0 9062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40196
[startup+6.30155 s]
/proc/loadavg: 0.92 0.97 0.99 2/107 12458
/proc/meminfo: memFree=1718348/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=46328 CPUtime=6.29
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 20921 0 0 0 574 55 0 0 25 0 1 0 6433949 47439872 10271 1992294400 4194304 8223781 140736647203456 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 11582 10271 588 984 0 10595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46328
[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 12460
/proc/meminfo: memFree=1710164/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=50592 CPUtime=12.68
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 23651 0 0 0 1210 58 0 0 25 0 1 0 6433949 51806208 11291 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12648 11291 582 984 0 11661 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50592
[startup+25.5013 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 12460
/proc/meminfo: memFree=1710164/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=50908 CPUtime=25.48
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 24885 0 0 0 2485 63 0 0 25 0 1 0 6433949 52129792 11302 1992294400 4194304 8223781 140736647203456 18446744073709551615 6055328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12727 11302 582 984 0 11740 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50908
[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 12460
/proc/meminfo: memFree=1710908/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=48820 CPUtime=51.08
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 56516 0 0 0 5023 85 0 0 25 0 1 0 6433949 49991680 11108 1992294400 4194304 8223781 140736647203456 18446744073709551615 6560143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12205 11108 584 984 0 11218 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48820
[startup+102.309 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 12462
/proc/meminfo: memFree=1710784/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=48996 CPUtime=102.27
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 198952 0 0 0 10063 164 0 0 25 0 1 0 6433949 50171904 11247 1992294400 4194304 8223781 140736647203456 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12249 11247 585 984 0 11262 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48996
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12464
/proc/meminfo: memFree=1710784/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=48844 CPUtime=162.25
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 371356 0 0 0 15964 261 0 0 25 0 1 0 6433949 50016256 11175 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12211 11175 587 984 0 11224 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48844
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12464
/proc/meminfo: memFree=1709668/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=50208 CPUtime=222.24
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 621531 0 0 0 21843 381 0 0 25 0 1 0 6433949 51412992 11383 1992294400 4194304 8223781 140736647203456 18446744073709551615 7231174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 12552 11383 587 984 0 11565 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50208
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12466
/proc/meminfo: memFree=1705452/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53560 CPUtime=282.22
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 631578 0 0 0 27807 415 0 0 25 0 1 0 6433949 54845440 12366 1992294400 4194304 8223781 140736647203456 18446744073709551615 6569667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13390 12366 590 984 0 12403 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 53560
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12468
/proc/meminfo: memFree=1705452/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53560 CPUtime=342.21
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 631620 0 0 0 33774 447 0 0 25 0 1 0 6433949 54845440 12366 1992294400 4194304 8223781 140736647203456 18446744073709551615 6589964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13390 12366 590 984 0 12403 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 53560
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12470
/proc/meminfo: memFree=1705328/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53568 CPUtime=402.19
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 631667 0 0 0 39744 475 0 0 25 0 1 0 6433949 54853632 12369 1992294400 4194304 8223781 140736647203456 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13392 12369 590 984 0 12405 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 53568
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12472
/proc/meminfo: memFree=1705328/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53568 CPUtime=462.18
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 631719 0 0 0 45712 506 0 0 25 0 1 0 6433949 54853632 12369 1992294400 4194304 8223781 140736647203456 18446744073709551615 6589856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13392 12369 590 984 0 12405 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53568
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12475
/proc/meminfo: memFree=1704584/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=53568 CPUtime=522.16
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 631757 0 0 0 51679 537 0 0 25 0 1 0 6433949 54853632 12369 1992294400 4194304 8223781 140736647203456 18446744073709551615 6599283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13392 12369 590 984 0 12405 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 53568
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12477
/proc/meminfo: memFree=1704212/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=54244 CPUtime=582.14
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 637505 0 0 0 57648 566 0 0 25 0 1 0 6433949 55545856 12541 1992294400 4194304 8223781 140736647203456 18446744073709551615 6562405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13561 12541 590 984 0 12574 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 54244
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 12479
/proc/meminfo: memFree=1703964/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=54384 CPUtime=642.14
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 711258 0 0 0 63592 622 0 0 25 0 1 0 6433949 55689216 12589 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 13596 12589 590 984 0 12609 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 54384
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 12485
/proc/meminfo: memFree=1702228/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=56940 CPUtime=882.07
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 1568669 0 0 0 87151 1056 0 0 25 0 1 0 6433949 58306560 13060 1992294400 4194304 8223781 140736647203456 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 14235 13060 590 984 0 13248 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 56940
[startup+942.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 12487
/proc/meminfo: memFree=1701112/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=58000 CPUtime=942.06
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 1819278 0 0 0 93036 1170 0 0 25 0 1 0 6433949 59392000 13346 1992294400 4194304 8223781 140736647203456 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 14500 13346 590 984 0 13513 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 58000
[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12489
/proc/meminfo: memFree=1699252/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=59836 CPUtime=1002.04
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 2087130 0 0 0 98906 1298 0 0 25 0 1 0 6433949 61272064 13805 1992294400 4194304 8223781 140736647203456 18446744073709551615 6003237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 14959 13805 590 984 0 13972 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 59836
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12491
/proc/meminfo: memFree=1698756/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=60428 CPUtime=1062.03
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 2332615 0 0 0 104783 1420 0 0 25 0 1 0 6433949 61878272 13918 1992294400 4194304 8223781 140736647203456 18446744073709551615 6590678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15107 13918 590 984 0 14120 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 60428
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12491
/proc/meminfo: memFree=1698632/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=60520 CPUtime=1122.01
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 2579689 0 0 0 110659 1542 0 0 25 0 1 0 6433949 61972480 13968 1992294400 4194304 8223781 140736647203456 18446744073709551615 6445332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15130 13968 590 984 0 14143 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 60520
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12493
/proc/meminfo: memFree=1698260/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=60888 CPUtime=1181.99
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 2802177 0 0 0 116547 1652 0 0 25 0 1 0 6433949 62349312 14071 1992294400 4194304 8223781 140736647203456 18446744073709551615 6445094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15222 14071 590 984 0 14235 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 60888
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12495
/proc/meminfo: memFree=1698012/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=60888 CPUtime=1241.98
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 3045879 0 0 0 122424 1774 0 0 25 0 1 0 6433949 62349312 14077 1992294400 4194304 8223781 140736647203456 18446744073709551615 6567110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15222 14077 590 984 0 14235 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 60888
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12497
/proc/meminfo: memFree=1696772/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=61940 CPUtime=1301.97
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 3227048 0 0 0 128327 1870 0 0 25 0 1 0 6433949 63426560 14421 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15485 14421 590 984 0 14498 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 61940
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12499
/proc/meminfo: memFree=1696896/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=62836 CPUtime=1361.95
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 3459555 0 0 0 134205 1990 0 0 25 0 1 0 6433949 64344064 14540 1992294400 4194304 8223781 140736647203456 18446744073709551615 6592514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15709 14540 590 984 0 14722 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 62836
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12499
/proc/meminfo: memFree=1695408/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=63560 CPUtime=1421.94
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 3697677 0 0 0 140085 2109 0 0 25 0 1 0 6433949 65085440 14762 1992294400 4194304 8223781 140736647203456 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 15890 14762 590 984 0 14903 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 63560
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12501
/proc/meminfo: memFree=1693424/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=65300 CPUtime=1481.92
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 3952106 0 0 0 145953 2239 0 0 25 0 1 0 6433949 66867200 15164 1992294400 4194304 8223781 140736647203456 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 16325 15164 590 984 0 15338 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 65300
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12503
/proc/meminfo: memFree=1692804/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=66112 CPUtime=1541.91
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4188998 0 0 0 151833 2358 0 0 25 0 1 0 6433949 67698688 15455 1992294400 4194304 8223781 140736647203456 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 16528 15455 591 984 0 15541 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 66112
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12505
/proc/meminfo: memFree=1691812/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=67088 CPUtime=1601.89
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4398052 0 0 0 157721 2468 0 0 25 0 1 0 6433949 68698112 15674 1992294400 4194304 8223781 140736647203456 18446744073709551615 6563468 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 16772 15674 591 984 0 15785 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 67088
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12507
/proc/meminfo: memFree=1690076/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=68888 CPUtime=1661.88
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4614665 0 0 0 163602 2586 0 0 25 0 1 0 6433949 70541312 16054 1992294400 4194304 8223781 140736647203456 18446744073709551615 4776069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 17222 16054 591 984 0 16235 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 68888
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12507
/proc/meminfo: memFree=1689208/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=69204 CPUtime=1721.86
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 4853575 0 0 0 169472 2714 0 0 25 0 1 0 6433949 70864896 16132 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 17301 16132 591 984 0 16314 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 69204
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12509
/proc/meminfo: memFree=1688960/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=69592 CPUtime=1781.85
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 5098947 0 0 0 175352 2833 0 0 25 0 1 0 6433949 71262208 16253 1992294400 4194304 8223781 140736647203456 18446744073709551615 6448661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 17398 16253 591 984 0 16411 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 69592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12509
/proc/meminfo: memFree=1688712/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=69796 CPUtime=1800.05
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 5171885 0 0 0 177133 2872 0 0 25 0 1 0 6433949 71471104 16376 1992294400 4194304 8223781 140736647203456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12457/statm: 17449 16376 591 984 0 16462 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12510
/proc/meminfo: memFree=1688704/2059040 swapFree=4187148/4192956
[pid=12457] ppid=12455 vsize=68788 CPUtime=1800.16
/proc/12457/stat : 12457 (pbscip.linux.x8) R 12455 12457 11918 0 -1 4202496 5172539 0 0 0 177144 2872 0 0 25 0 1 0 6433949 70438912 16051 1992294400 4194304 8223781 140736647203456 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12457/statm: 17197 16051 593 984 0 16210 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 68788
Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.24
CPU user time (s): 1771.5
CPU system time (s): 28.7366
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 70144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.5
system time used= 28.7366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5172543
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= 1585
runsolver used 3.11653 second user time and 8.36773 second system time
The end