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-2666770-1276675010.opb>
0.00/0.05 c original problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3083 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.06/0.09 o 0
0.06/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.06/0.09 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20256 impls, 400 clqs
0.49/0.58 c (0.3s) probing: 101/2882 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (2 rounds):
0.49/0.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 20256 implications, 400 cliques
0.49/0.58 c presolved problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3083 constraints
0.49/0.58 c 400 constraints of type <setppc>
0.49/0.58 c 2482 constraints of type <and>
0.49/0.58 c 1 constraints of type <linear>
0.49/0.58 c 200 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.34
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 1.2.1.2
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1799.95
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 1620
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c heuristics/undercover/freq = 0
0.49/0.58 c
0.49/0.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c separating/rapidlearning/freq = 0
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
23.29/23.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.29/23.40 c t23.0s| 1 | 0 | 11648 | - | 13M| 0 |1823 |2882 |3083 |2882 |5565 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
23.38/23.43 o -7
23.38/23.43 c s23.1s| 1 | 0 | 11648 | - | 13M| 0 |1823 |2882 |3083 |2882 |5565 | 0 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
33.68/33.76 c 33.0s| 1 | 0 | 12261 | - | 14M| 0 |1786 |2882 |3084 |2882 |5814 | 249 | 1 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
33.68/33.80 o -11
33.68/33.80 c s33.0s| 1 | 0 | 12261 | - | 14M| 0 |1786 |2882 |3084 |2882 |5814 | 249 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
37.88/37.91 c 37.1s| 1 | 0 | 12833 | - | 14M| 0 |1781 |2882 |3084 |2882 |5864 | 299 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
42.58/42.68 c 41.8s| 1 | 0 | 13596 | - | 14M| 0 |1755 |2882 |3084 |2882 |5900 | 335 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
47.58/47.61 c 46.7s| 1 | 0 | 14488 | - | 14M| 0 |1748 |2882 |3084 |2882 |5936 | 371 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
52.97/53.05 c 52.1s| 1 | 0 | 15537 | - | 14M| 0 |1758 |2882 |3084 |2882 |5984 | 419 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
57.87/57.95 c 57.0s| 1 | 0 | 16449 | - | 14M| 0 |1750 |2882 |3084 |2882 |6033 | 468 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
139.24/139.33 c 138s| 1 | 2 | 16449 | - | 14M| 0 |1750 |2882 |3084 |2882 |6033 | 468 | 1 | 30 |-1.000000e+02 |-1.100000e+01 | 89.00%
373.76/373.92 o -21
373.76/373.92 c c 372s| 14 | 15 | 89554 |5623.5 | 15M| 13 | - |2882 |3084 |2882 |3190 |2373 | 1 | 177 |-1.000000e+02 |-2.100000e+01 | 79.00%
489.42/489.69 o -52
489.42/489.69 c p 487s| 22 | 23 |170542 |7337.8 | 14M| 13 | - |2882 |3091 |2882 |3132 |4313 | 8 | 204 |-9.989535e+01 |-5.200000e+01 | 47.95%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.39/1801.01 c
1800.39/1801.01 c SCIP Status : solving was interrupted [user interrupt]
1800.39/1801.01 c Solving Time (sec) : 1790.09
1800.39/1801.01 c Solving Nodes : 119
1800.39/1801.01 c Primal Bound : -5.20000000000000e+01 (7 solutions)
1800.39/1801.01 c Dual Bound : -9.83955828571989e+01
1800.39/1801.01 c Gap : 47.15 %
1800.39/1801.02 s SATISFIABLE
1800.39/1801.02 v -x313 -x342 -x248 -x392 -x390 -x358 -x297 x348 -x254 -x386 -x286 -x345 x376 -x231 x294 x280 -x360 -x382 x332 x255 x323 x321 x359
1800.39/1801.02 v -x343 -x224 -x353 -x256 -x391 -x239 -x237 -x300 -x370 -x349 -x335 -x305 -x317 -x377 -x395 -x361 x367 -x299 -x267 -x238 -x352
1800.39/1801.02 v -x233 x218 x283 -x269 -x344 -x388 -x217 x289 x380 x356 -x322 -x216 x339 x319 -x312 -x246 -x350 -x347 -x249 -x271 -x272 -x329
1800.39/1801.02 v x308 -x284 -x307 -x366 x354 -x334 x275 -x310 -x372 -x232 -x362 x315 -x236 -x241 -x220 -x290 -x281 -x375 -x262 -x302 -x253 -x318
1800.39/1801.02 v -x303 -x298 -x210 -x234 x295 -x213 -x340 -x245 x261 -x400 -x355 -x252 -x389 -x379 -x277 -x208 -x276 x266 -x219 -x351 -x244
1800.39/1801.02 v x365 -x215 x346 -x207 -x301 x264 -x235 -x314 -x247 -x328 x285 -x326 -x306 -x206 -x398 -x288 -x279 -x278 -x265 -x258 x242 -x226
1800.39/1801.02 v -x282 x397 -x357 x381 -x292 -x214 x205 x393 -x311 -x296 x274 -x240 -x225 -x221 x371 -x325 -x338 x385 x320 x374 -x399 -x309
1800.39/1801.02 v -x209 x257 -x270 -x259 -x223 -x330 -x203 -x396 -x273 -x251 -x243 x204 -x268 -x324 x263 -x331 -x383 -x230 x368 -x369 -x212
1800.39/1801.02 v x202 -x211 x337 -x373 x227 x341 x327 -x364 -x260 -x291 x228 -x363 -x201 -x333 -x304 x229 -x222 -x250 -x293 -x387 x336 -x394 -x316
1800.39/1801.02 v -x378 x287 x384 x200 -x199 -x198 -x197 x196 x195 -x194 -x193 x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 x183 -x182
1800.39/1801.02 v -x181 -x180 x179 -x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 x161 x160
1800.39/1801.02 v -x159 -x158 x157 -x156 x155 -x154 x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138
1800.39/1801.02 v -x137 -x136 x135 -x134 x133 -x132 -x131 x130 x129 -x128 -x127 x126 -x125 x124 -x123 x122 -x121 -x120 -x119 x118 x117 -x116
1800.39/1801.02 v -x115 x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93 -x92
1800.39/1801.02 v -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66
1800.39/1801.02 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.39/1801.02 v x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15
1800.39/1801.02 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.39/1801.02 c SCIP Status : solving was interrupted [user interrupt]
1800.39/1801.02 c Solving Time : 1790.09
1800.39/1801.02 c Original Problem :
1800.39/1801.02 c Problem name : HOME/instance-2666770-1276675010.opb
1800.39/1801.02 c Variables : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.39/1801.02 c Constraints : 3083 initial, 3083 maximal
1800.39/1801.02 c Presolved Problem :
1800.39/1801.02 c Problem name : t_HOME/instance-2666770-1276675010.opb
1800.39/1801.02 c Variables : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.39/1801.02 c Constraints : 3083 initial, 3115 maximal
1800.39/1801.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.39/1801.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c probing : 0.07 0 0 0 0 0 0 0 0
1800.39/1801.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.39/1801.02 c and : 0.21 0 0 0 0 0 0 0 0
1800.39/1801.02 c linear : 0.03 0 0 0 0 0 0 0 0
1800.39/1801.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.39/1801.02 c root node : - 0 - - 0 - - - -
1800.39/1801.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.39/1801.02 c integral : 0 0 0 121 0 0 2 0 0 238
1800.39/1801.02 c setppc : 400 6 14977 0 0 11 193 0 0 0
1800.39/1801.02 c and : 2482 429 14965 0 0 17 4057 34345 0 0
1800.39/1801.02 c linear : 1 6 14947 0 0 0 0 0 0 0
1800.39/1801.02 c logicor : 200+ 6 1215 0 0 0 104 0 0 0
1800.39/1801.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.39/1801.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.39/1801.02 c integral : 480.19 0.00 0.00 480.19 0.00
1800.39/1801.02 c setppc : 0.52 0.00 0.52 0.00 0.00
1800.39/1801.02 c and : 3.82 0.90 2.92 0.00 0.00
1800.39/1801.02 c linear : 0.52 0.13 0.39 0.00 0.00
1800.39/1801.02 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.39/1801.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.39/1801.02 c Propagators : Time Calls Cutoffs DomReds
1800.39/1801.02 c vbounds : 0.01 2 0 0
1800.39/1801.02 c rootredcost : 0.01 3 0 0
1800.39/1801.02 c pseudoobj : 0.28 14806 1 0
1800.39/1801.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.39/1801.02 c propagation : 0.01 29 29 29 9.2 0 0.0 -
1800.39/1801.02 c infeasible LP : 0.00 3 3 3 3.0 0 0.0 0
1800.39/1801.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.39/1801.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.39/1801.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.39/1801.02 c applied globally : - - - 32 8.6 - - -
1800.39/1801.02 c applied locally : - - - 0 0.0 - - -
1800.39/1801.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.39/1801.02 c cut pool : 0.00 5 - - 0 - (maximal pool size: 391)
1800.39/1801.02 c redcost : 0.13 429 0 0 0 0
1800.39/1801.02 c impliedbounds : 0.02 6 0 0 668 0
1800.39/1801.02 c intobj : 0.00 0 0 0 0 0
1800.39/1801.02 c cgmip : 0.00 0 0 0 0 0
1800.39/1801.02 c gomory : 7.25 6 0 0 27 0
1800.39/1801.02 c strongcg : 7.19 6 0 0 27 0
1800.39/1801.02 c cmir : 0.37 6 0 0 0 0
1800.39/1801.02 c flowcover : 0.35 6 0 0 0 0
1800.39/1801.02 c clique : 0.68 6 0 0 51 0
1800.39/1801.02 c zerohalf : 0.00 0 0 0 0 0
1800.39/1801.02 c mcf : 0.02 1 0 0 0 0
1800.39/1801.02 c rapidlearning : 5.07 1 0 0 0 0
1800.39/1801.02 c Pricers : Time Calls Vars
1800.39/1801.02 c problem variables: 0.00 0 0
1800.39/1801.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.39/1801.02 c relpscost : 480.19 121 0 2 0 0 238
1800.39/1801.02 c pscost : 0.00 0 0 0 0 0 0
1800.39/1801.02 c inference : 0.00 0 0 0 0 0 0
1800.39/1801.02 c mostinf : 0.00 0 0 0 0 0 0
1800.39/1801.02 c leastinf : 0.00 0 0 0 0 0 0
1800.39/1801.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.39/1801.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.39/1801.02 c random : 0.00 0 0 0 0 0 0
1800.39/1801.02 c Primal Heuristics : Time Calls Found
1800.39/1801.02 c LP solutions : 0.00 - 0
1800.39/1801.02 c pseudo solutions : 0.00 - 0
1800.39/1801.02 c crossover : 0.00 0 0
1800.39/1801.02 c oneopt : 0.00 4 0
1800.39/1801.02 c linesearchdiving : 83.87 4 0
1800.39/1801.02 c trivial : 0.02 2 3
1800.39/1801.02 c simplerounding : 0.00 0 0
1800.39/1801.02 c zirounding : 0.11 119 0
1800.39/1801.02 c rounding : 3.06 252 0
1800.39/1801.02 c shifting : 0.51 25 2
1800.39/1801.02 c intshifting : 0.00 0 0
1800.39/1801.02 c twoopt : 0.00 0 0
1800.39/1801.02 c fixandinfer : 0.00 0 0
1800.39/1801.02 c feaspump : 0.00 0 0
1800.39/1801.02 c coefdiving : 99.36 4 1
1800.39/1801.02 c pscostdiving : 160.45 4 1
1800.39/1801.02 c fracdiving : 63.82 2 0
1800.39/1801.02 c veclendiving : 87.15 3 0
1800.39/1801.02 c intdiving : 0.00 0 0
1800.39/1801.02 c actconsdiving : 0.00 0 0
1800.39/1801.02 c objpscostdiving : 116.06 1 0
1800.39/1801.02 c rootsoldiving : 25.99 4 0
1800.39/1801.02 c guideddiving : 123.33 2 0
1800.39/1801.02 c octane : 0.00 0 0
1800.39/1801.02 c rens : 0.01 0 0
1800.39/1801.02 c rins : 0.00 0 0
1800.39/1801.02 c localbranching : 0.00 0 0
1800.39/1801.02 c mutation : 0.00 0 0
1800.39/1801.02 c dins : 0.00 0 0
1800.39/1801.02 c undercover : 0.35 1 0
1800.39/1801.02 c nlp : 0.00 0 0
1800.39/1801.02 c trysol : 0.00 0 0
1800.39/1801.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.39/1801.02 c primal LP : 2.36 0 0 0.00 0.00
1800.39/1801.02 c dual LP : 518.91 445 434604 976.64 837.53
1800.39/1801.02 c lex dual LP : 0.00 0 0 0.00 -
1800.39/1801.02 c barrier LP : 0.00 0 0 0.00 -
1800.39/1801.02 c diving/probing LP: 729.55 11080 788089 71.13 1080.24
1800.39/1801.02 c strong branching : 480.07 547 348701 637.48 726.35
1800.39/1801.02 c (at root node) : - 30 29388 979.60 -
1800.39/1801.02 c conflict analysis: 0.00 0 0 0.00 -
1800.39/1801.02 c B&B Tree :
1800.39/1801.02 c number of runs : 1
1800.39/1801.02 c nodes : 119
1800.39/1801.02 c nodes (total) : 119
1800.39/1801.02 c nodes left : 120
1800.39/1801.02 c max depth : 15
1800.39/1801.02 c max depth (total): 15
1800.39/1801.02 c backtracks : 50 (42.0%)
1800.39/1801.02 c delayed cutoffs : 0
1800.39/1801.02 c repropagations : 1 (11 domain reductions, 0 cutoffs)
1800.39/1801.02 c avg switch length: 5.18
1800.39/1801.02 c switching time : 2.48
1800.39/1801.02 c Solution :
1800.39/1801.02 c Solutions found : 7 (5 improvements)
1800.39/1801.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.39/1801.02 c Primal Bound : -5.20000000000000e+01 (in run 1, after 22 nodes, 487.08 seconds, depth 261, found by <pscostdiving>)
1800.39/1801.02 c Dual Bound : -9.83955828571989e+01
1800.39/1801.02 c Gap : 47.15 %
1800.39/1801.02 c Root Dual Bound : -9.99999999999999e+01
1800.39/1801.02 c Root Iterations : 16449
1800.39/1801.09 c Time complete: 1800.48.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666770-1276675010/watcher-2666770-1276675010 -o /tmp/evaluation-result-2666770-1276675010/solver-2666770-1276675010 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666770-1276675010.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.04 1.00 3/106 8716
/proc/meminfo: memFree=1751004/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=7724 CPUtime=0
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 43102405 7909376 955 1992294400 4194304 8223781 140734388161776 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8716/statm: 1931 965 348 984 0 944 0
[startup+0.0750379 s]
/proc/loadavg: 1.04 1.04 1.00 3/106 8716
/proc/meminfo: memFree=1751004/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=18632 CPUtime=0.06
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 4283 0 0 0 5 1 0 0 20 0 1 0 43102405 19079168 3839 1992294400 4194304 8223781 140734388161776 18446744073709551615 4409116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 4658 3839 391 984 0 3671 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18632
[startup+0.101042 s]
/proc/loadavg: 1.04 1.04 1.00 3/106 8716
/proc/meminfo: memFree=1751004/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=20924 CPUtime=0.09
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 4635 0 0 0 8 1 0 0 20 0 1 0 43102405 21426176 4191 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 5231 4191 432 984 0 4244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20924
[startup+0.301076 s]
/proc/loadavg: 1.04 1.04 1.00 3/106 8716
/proc/meminfo: memFree=1751004/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=22076 CPUtime=0.29
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 5452 0 0 0 19 10 0 0 20 0 1 0 43102405 22605824 4494 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 5519 4494 450 984 0 4532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22076
[startup+0.701145 s]
/proc/loadavg: 1.04 1.04 1.00 3/106 8716
/proc/meminfo: memFree=1751004/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=34508 CPUtime=0.69
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 10117 0 0 0 49 20 0 0 21 0 1 0 43102405 35336192 7624 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 8627 7624 534 984 0 7640 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34508
[startup+1.50128 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 8717
/proc/meminfo: memFree=1720988/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=36044 CPUtime=1.49
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 11296 0 0 0 128 21 0 0 22 0 1 0 43102405 36909056 7970 1992294400 4194304 8223781 140734388161776 18446744073709551615 6568418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 9011 7970 538 984 0 8024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36044
[startup+3.10156 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 8717
/proc/meminfo: memFree=1720368/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=36400 CPUtime=3.09
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 12705 0 0 0 288 21 0 0 25 0 1 0 43102405 37273600 8047 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 9100 8047 538 984 0 8113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36400
[startup+6.30111 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 8717
/proc/meminfo: memFree=1719376/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=37392 CPUtime=6.28
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 14746 0 0 0 605 23 0 0 25 0 1 0 43102405 38289408 8312 1992294400 4194304 8223781 140734388161776 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 9348 8312 537 984 0 8361 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37392
[startup+12.7012 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 8717
/proc/meminfo: memFree=1719252/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=37412 CPUtime=12.69
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 18767 0 0 0 1242 27 0 0 25 0 1 0 43102405 38309888 8293 1992294400 4194304 8223781 140734388161776 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 9353 8293 537 984 0 8366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37412
[startup+25.5004 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 8717
/proc/meminfo: memFree=1713548/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=42048 CPUtime=25.49
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 36062 0 0 0 2509 40 0 0 25 0 1 0 43102405 43057152 9633 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 10512 9633 580 984 0 9525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42048
[startup+51.1008 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 8719
/proc/meminfo: memFree=1710944/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44904 CPUtime=51.08
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 44335 0 0 0 5024 84 0 0 25 0 1 0 43102405 45981696 10330 1992294400 4194304 8223781 140734388161776 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11226 10330 598 984 0 10239 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44904
[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 8719
/proc/meminfo: memFree=1710696/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44904 CPUtime=102.27
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 52222 0 0 0 10124 103 0 0 25 0 1 0 43102405 45981696 10340 1992294400 4194304 8223781 140734388161776 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11226 10340 599 984 0 10239 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44904
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8721
/proc/meminfo: memFree=1710696/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44736 CPUtime=162.24
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57112 0 0 0 16101 123 0 0 25 0 1 0 43102405 45809664 10306 1992294400 4194304 8223781 140734388161776 18446744073709551615 6570073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11184 10306 601 984 0 10197 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44736
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8723
/proc/meminfo: memFree=1710696/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44956 CPUtime=222.22
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57133 0 0 0 22079 143 0 0 25 0 1 0 43102405 46034944 10323 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11239 10323 601 984 0 10252 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44956
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8734
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44964 CPUtime=282.19
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57141 0 0 0 28057 162 0 0 25 0 1 0 43102405 46043136 10329 1992294400 4194304 8223781 140734388161776 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11241 10329 601 984 0 10254 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 44964
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8734
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44972 CPUtime=342.17
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57148 0 0 0 34035 182 0 0 25 0 1 0 43102405 46051328 10334 1992294400 4194304 8223781 140734388161776 18446744073709551615 6520856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11243 10334 601 984 0 10256 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 44972
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8736
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44948 CPUtime=402.14
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57288 0 0 0 40007 207 0 0 25 0 1 0 43102405 46026752 10330 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11237 10330 601 984 0 10250 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 44948
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8738
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44972 CPUtime=462.13
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57301 0 0 0 45985 228 0 0 25 0 1 0 43102405 46051328 10337 1992294400 4194304 8223781 140734388161776 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11243 10337 601 984 0 10256 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 44972
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8740
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44964 CPUtime=522.11
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57312 0 0 0 51961 250 0 0 25 0 1 0 43102405 46043136 10336 1992294400 4194304 8223781 140734388161776 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11241 10336 601 984 0 10254 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 44964
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8742
/proc/meminfo: memFree=1710200/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44964 CPUtime=582.08
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 57318 0 0 0 57932 276 0 0 25 0 1 0 43102405 46043136 10336 1992294400 4194304 8223781 140734388161776 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11241 10336 601 984 0 10254 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 44964
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8742
/proc/meminfo: memFree=1710076/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=44964 CPUtime=642.08
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 69974 0 0 0 63908 300 0 0 25 0 1 0 43102405 46043136 10336 1992294400 4194304 8223781 140734388161776 18446744073709551615 6562855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11241 10336 601 984 0 10254 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 44964
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8750
/proc/meminfo: memFree=1709580/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=45988 CPUtime=881.99
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 70594 0 0 0 87800 399 0 0 25 0 1 0 43102405 47091712 10595 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11497 10595 603 984 0 10510 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 45988
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8750
/proc/meminfo: memFree=1709084/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46608 CPUtime=941.97
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 81875 0 0 0 93768 429 0 0 25 0 1 0 43102405 47726592 10664 1992294400 4194304 8223781 140734388161776 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11652 10664 603 984 0 10665 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 46608
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8752
/proc/meminfo: memFree=1709084/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=45996 CPUtime=1001.95
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 93782 0 0 0 99735 460 0 0 25 0 1 0 43102405 47099904 10598 1992294400 4194304 8223781 140734388161776 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11499 10598 603 984 0 10512 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 45996
[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 8757
/proc/meminfo: memFree=1708588/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46708 CPUtime=1061.93
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 106305 0 0 0 105705 488 0 0 25 0 1 0 43102405 47828992 10636 1992294400 4194304 8223781 140734388161776 18446744073709551615 6560079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11677 10636 603 984 0 10690 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 46708
[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8759
/proc/meminfo: memFree=1708464/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46340 CPUtime=1121.92
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 126778 0 0 0 111672 520 0 0 25 0 1 0 43102405 47452160 10675 1992294400 4194304 8223781 140734388161776 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11585 10675 603 984 0 10598 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 46340
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8761
/proc/meminfo: memFree=1707968/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47616 CPUtime=1181.9
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 170499 0 0 0 117631 559 0 0 25 0 1 0 43102405 48758784 10838 1992294400 4194304 8223781 140734388161776 18446744073709551615 6614966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11904 10838 603 984 0 10917 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 47616
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8761
/proc/meminfo: memFree=1708340/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46716 CPUtime=1241.87
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 203485 0 0 0 123590 597 0 0 25 0 1 0 43102405 47837184 10766 1992294400 4194304 8223781 140734388161776 18446744073709551615 6562660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11679 10766 603 984 0 10692 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 46716
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8763
/proc/meminfo: memFree=1708092/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47536 CPUtime=1301.86
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 258073 0 0 0 129542 644 0 0 25 0 1 0 43102405 48676864 10835 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11884 10835 603 984 0 10897 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 47536
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8765
/proc/meminfo: memFree=1708340/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46872 CPUtime=1361.84
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 308203 0 0 0 135495 689 0 0 25 0 1 0 43102405 47996928 10747 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11718 10747 603 984 0 10731 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 46872
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8767
/proc/meminfo: memFree=1708092/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47188 CPUtime=1421.82
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 342294 0 0 0 141454 728 0 0 25 0 1 0 43102405 48320512 10862 1992294400 4194304 8223781 140734388161776 18446744073709551615 6532949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11797 10862 603 984 0 10810 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 47188
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8769
/proc/meminfo: memFree=1708092/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=46988 CPUtime=1481.79
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 397758 0 0 0 147408 771 0 0 25 0 1 0 43102405 48115712 10786 1992294400 4194304 8223781 140734388161776 18446744073709551615 6567122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11747 10786 603 984 0 10760 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 46988
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8769
/proc/meminfo: memFree=1707596/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47604 CPUtime=1541.77
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 452861 0 0 0 153358 819 0 0 25 0 1 0 43102405 48746496 10893 1992294400 4194304 8223781 140734388161776 18446744073709551615 6590982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11901 10893 603 984 0 10914 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 47604
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8771
/proc/meminfo: memFree=1707720/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47256 CPUtime=1601.75
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 484354 0 0 0 159311 864 0 0 25 0 1 0 43102405 48390144 10904 1992294400 4194304 8223781 140734388161776 18446744073709551615 6565080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11814 10904 603 984 0 10827 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 47256
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8773
/proc/meminfo: memFree=1707844/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47000 CPUtime=1661.73
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 543069 0 0 0 165263 910 0 0 25 0 1 0 43102405 48128000 10841 1992294400 4194304 8223781 140734388161776 18446744073709551615 6560124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11750 10841 603 984 0 10763 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 47000
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8775
/proc/meminfo: memFree=1706852/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47640 CPUtime=1721.72
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 611814 0 0 0 171208 964 0 0 25 0 1 0 43102405 48783360 10979 1992294400 4194304 8223781 140734388161776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11910 10979 603 984 0 10923 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 47640
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8777
/proc/meminfo: memFree=1706852/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=48356 CPUtime=1781.7
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 679697 0 0 0 177155 1015 0 0 25 0 1 0 43102405 49516544 11113 1992294400 4194304 8223781 140734388161776 18446744073709551615 6559782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 12089 11113 603 984 0 11102 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 48356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8777
/proc/meminfo: memFree=1707100/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=47860 CPUtime=1800.01
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 700908 0 0 0 178973 1028 0 0 25 0 1 0 43102405 49008640 11024 1992294400 4194304 8223781 140734388161776 18446744073709551615 6560179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 11965 11024 603 984 0 10978 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 47860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8777
/proc/meminfo: memFree=1707100/2059040 swapFree=4136120/4192956
[pid=8716] ppid=8714 vsize=48028 CPUtime=1800.39
/proc/8716/stat : 8716 (pbscip.linux.x8) R 8714 8716 8451 0 -1 4202496 701495 0 0 0 179011 1028 0 0 25 0 1 0 43102405 49180672 11088 1992294400 4194304 8223781 140734388161776 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8716/statm: 12007 11088 603 984 0 11020 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 48028
Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.5
CPU user time (s): 1790.2
CPU system time (s): 10.2954
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 65264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.2
system time used= 10.2954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701758
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= 3
involuntary context switches= 5095
runsolver used 2.78958 second user time and 8.69368 second system time
The end