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-2666726-1276668283.opb>
0.09/0.10 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.19 c presolving:
0.39/0.49 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50032 impls, 400 clqs
0.89/0.94 c (0.6s) probing: 101/6604 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.94 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.94 c presolving (2 rounds):
0.89/0.94 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.94 c 50032 implications, 400 cliques
0.89/0.94 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 constraints
0.89/0.94 c 400 constraints of type <setppc>
0.89/0.94 c 6204 constraints of type <and>
0.89/0.94 c 1 constraints of type <linear>
0.89/0.94 c 200 constraints of type <logicor>
0.89/0.94 c transformed objective value is always integral (scale: 1)
0.89/0.94 c Presolving Time: 0.59
0.89/0.94 c - non default parameters ----------------------------------------------------------------------
0.89/0.94 c # SCIP version 1.2.1.2
0.89/0.94 c
0.89/0.94 c # frequency for displaying node information lines
0.89/0.94 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.94 c display/freq = 10000
0.89/0.94 c
0.89/0.94 c # maximal time in seconds to run
0.89/0.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94 c limits/time = 1799.91
0.89/0.94 c
0.89/0.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94 c limits/memory = 1620
0.89/0.94 c
0.89/0.94 c # should presolving try to simplify inequalities
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c constraints/linear/simplifyinequalities = TRUE
0.89/0.94 c
0.89/0.94 c # should presolving try to simplify knapsacks
0.89/0.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.94 c
0.89/0.94 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.94 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94 c heuristics/undercover/freq = 0
0.89/0.94 c
0.89/0.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.94 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94 c separating/rapidlearning/freq = 0
0.89/0.94 c
0.89/0.94 c -----------------------------------------------------------------------------------------------
0.89/0.94 c start solving
0.89/0.95 c
200.05/200.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.05/200.12 c t 199s| 1 | 0 | 37345 | - | 30M| 0 |2956 |6604 |6805 |6604 | 13k| 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
200.05/200.19 o -5
200.05/200.19 c s 199s| 1 | 0 | 37345 | - | 31M| 0 |2956 |6604 |6805 |6604 | 13k| 0 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
256.03/256.14 c 254s| 1 | 0 | 43655 | - | 31M| 0 |2984 |6604 |6806 |6604 | 13k| 198 | 1 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
256.13/256.20 o -7
256.13/256.20 c s 254s| 1 | 0 | 43655 | - | 32M| 0 |2984 |6604 |6806 |6604 | 13k| 198 | 1 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
296.02/296.11 c 294s| 1 | 0 | 49870 | - | 32M| 0 |2874 |6604 |6806 |6604 | 13k| 286 | 1 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
342.61/342.79 c 340s| 1 | 0 | 56689 | - | 32M| 0 |3537 |6604 |6806 |6604 | 13k| 395 | 1 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
381.30/381.42 c 379s| 1 | 0 | 62229 | - | 32M| 0 |3382 |6604 |6806 |6604 | 13k| 472 | 1 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
381.30/381.48 o -9
381.30/381.48 c s 379s| 1 | 0 | 62229 | - | 32M| 0 |3382 |6604 |6806 |6604 | 13k| 472 | 1 | 0 |-1.000000e+02 |-9.000000e+00 | 91.00%
417.99/418.13 c 416s| 1 | 0 | 67308 | - | 32M| 0 |3615 |6604 |6806 |6604 | 13k| 540 | 1 | 0 |-1.000000e+02 |-9.000000e+00 | 91.00%
459.77/459.90 c 457s| 1 | 0 | 73035 | - | 32M| 0 |3648 |6604 |6806 |6604 | 13k| 601 | 1 | 0 |-1.000000e+02 |-9.000000e+00 | 91.00%
561.25/561.44 c 558s| 1 | 2 | 73035 | - | 32M| 0 |3648 |6604 |6806 |6604 | 13k| 601 | 1 | 16 |-1.000000e+02 |-9.000000e+00 | 91.00%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.24/1800.75 c
1800.24/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.75 c Solving Time (sec) : 1790.64
1800.24/1800.75 c Solving Nodes : 13
1800.24/1800.75 c Primal Bound : -9.00000000000002e+00 (9 solutions)
1800.24/1800.75 c Dual Bound : -9.96112040801796e+01
1800.24/1800.75 c Gap : 90.96 %
1800.24/1800.77 s SATISFIABLE
1800.24/1800.77 v x375 -x317 -x361 -x286 -x342 x224 -x249 -x359 -x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 -x382 -x334 -x332
1800.24/1800.77 v -x269 x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 -x391 -x300 -x264 -x370 -x339 -x377 -x207 -x392 -x353 -x234
1800.24/1800.77 v -x238 -x352 -x233 -x388 -x315 -x229 -x356 -x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 -x219 -x350 -x309 -x304 -x272 -x329
1800.24/1800.77 v -x225 -x284 -x366 -x354 -x335 -x312 -x208 -x276 -x372 -x232 -x220 -x245 -x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344 -x310
1800.24/1800.77 v -x267 -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 -x400 -x355 -x252 -x389 -x277 -x209 -x288 -x351 -x244 -x365
1800.24/1800.77 v -x386 x367 -x347 -x323 -x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 -x306 -x282 -x397
1800.24/1800.77 v -x274 -x357 -x381 -x292 -x214 -x202 -x307 -x305 -x302 -x301 -x296 -x279 -x210 -x205 -x371 -x325 -x399 -x338 -x385 -x320 -x374
1800.24/1800.77 v -x243 -x257 -x270 -x259 -x223 -x203 -x330 -x268 -x324 -x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 -x311 -x308 -x285 -x283
1800.24/1800.77 v -x281 -x280 -x275 -x262 -x241 -x235 -x211 -x383 -x230 -x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 -x364 -x260 -x291 -x228
1800.24/1800.77 v -x363 -x222 x250 x293 x387 -x336 x394 -x316 x378 -x287 -x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.24/1800.77 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.24/1800.77 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1800.24/1800.77 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
1800.24/1800.77 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1800.24/1800.77 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
1800.24/1800.77 v -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58
1800.24/1800.77 v x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
1800.24/1800.77 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7
1800.24/1800.77 v -x6 x5 x4 x3 x2 -x1
1800.24/1800.77 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.77 c Solving Time : 1790.64
1800.24/1800.77 c Original Problem :
1800.24/1800.77 c Problem name : HOME/instance-2666726-1276668283.opb
1800.24/1800.77 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.77 c Constraints : 6805 initial, 6805 maximal
1800.24/1800.77 c Presolved Problem :
1800.24/1800.77 c Problem name : t_HOME/instance-2666726-1276668283.opb
1800.24/1800.77 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.77 c Constraints : 6805 initial, 6843 maximal
1800.24/1800.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.24/1800.77 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c implics : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c probing : 0.24 0 0 0 0 0 0 0 0
1800.24/1800.77 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.24/1800.77 c and : 0.24 0 0 0 0 0 0 0 0
1800.24/1800.77 c linear : 0.05 0 0 0 0 0 0 0 0
1800.24/1800.77 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.77 c root node : - 0 - - 0 - - - -
1800.24/1800.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.24/1800.77 c integral : 0 0 0 13 0 0 0 0 0 26
1800.24/1800.77 c setppc : 400 6 3531 0 0 8 0 0 0 0
1800.24/1800.77 c and : 6204 66 3523 0 0 9 442 82188 0 0
1800.24/1800.77 c linear : 1 6 3514 0 0 0 0 0 0 0
1800.24/1800.77 c logicor : 200+ 6 317 0 0 0 8 0 0 0
1800.24/1800.77 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.24/1800.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.24/1800.77 c integral : 503.54 0.00 0.00 503.54 0.00
1800.24/1800.77 c setppc : 0.12 0.00 0.12 0.00 0.00
1800.24/1800.77 c and : 1.62 0.39 1.23 0.00 0.00
1800.24/1800.77 c linear : 0.32 0.25 0.07 0.00 0.00
1800.24/1800.77 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.24/1800.77 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.24/1800.77 c Propagators : Time Calls Cutoffs DomReds
1800.24/1800.77 c vbounds : 0.01 2 0 0
1800.24/1800.77 c rootredcost : 0.03 1 0 0
1800.24/1800.77 c pseudoobj : 0.06 3344 1 0
1800.24/1800.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.24/1800.77 c propagation : 0.01 18 18 18 13.4 0 0.0 -
1800.24/1800.77 c infeasible LP : 0.02 2 2 49 142.7 0 0.0 0
1800.24/1800.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.24/1800.77 c applied globally : - - - 38 78.6 - - -
1800.24/1800.77 c applied locally : - - - 0 0.0 - - -
1800.24/1800.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.24/1800.77 c cut pool : 0.00 5 - - 37 - (maximal pool size: 246)
1800.24/1800.77 c redcost : 0.07 66 0 0 0 0
1800.24/1800.77 c impliedbounds : 0.00 6 0 0 160 0
1800.24/1800.77 c intobj : 0.00 0 0 0 0 0
1800.24/1800.77 c cgmip : 0.00 0 0 0 0 0
1800.24/1800.77 c gomory : 9.65 6 0 0 222 0
1800.24/1800.77 c strongcg : 9.57 6 0 0 222 0
1800.24/1800.77 c cmir : 1.37 6 0 0 0 0
1800.24/1800.77 c flowcover : 1.34 6 0 0 0 0
1800.24/1800.77 c clique : 2.08 6 0 0 56 0
1800.24/1800.77 c zerohalf : 0.00 0 0 0 0 0
1800.24/1800.77 c mcf : 0.33 3 0 0 6 0
1800.24/1800.77 c rapidlearning : 13.12 1 0 0 0 0
1800.24/1800.77 c Pricers : Time Calls Vars
1800.24/1800.77 c problem variables: 0.00 0 0
1800.24/1800.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.24/1800.77 c relpscost : 503.54 13 0 0 0 0 26
1800.24/1800.77 c pscost : 0.00 0 0 0 0 0 0
1800.24/1800.77 c inference : 0.00 0 0 0 0 0 0
1800.24/1800.77 c mostinf : 0.00 0 0 0 0 0 0
1800.24/1800.77 c leastinf : 0.00 0 0 0 0 0 0
1800.24/1800.77 c fullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.77 c allfullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.77 c random : 0.00 0 0 0 0 0 0
1800.24/1800.77 c Primal Heuristics : Time Calls Found
1800.24/1800.77 c LP solutions : 0.00 - 0
1800.24/1800.77 c pseudo solutions : 0.00 - 0
1800.24/1800.77 c crossover : 0.00 0 0
1800.24/1800.77 c veclendiving : 0.00 0 0
1800.24/1800.77 c objpscostdiving : 0.00 0 0
1800.24/1800.77 c rootsoldiving : 0.00 0 0
1800.24/1800.77 c oneopt : 0.03 3 0
1800.24/1800.77 c coefdiving : 145.85 1 0
1800.24/1800.77 c pscostdiving : 63.23 1 0
1800.24/1800.77 c trivial : 0.02 2 3
1800.24/1800.77 c simplerounding : 0.00 0 0
1800.24/1800.77 c zirounding : 0.01 13 0
1800.24/1800.77 c rounding : 4.92 79 0
1800.24/1800.77 c shifting : 0.32 7 6
1800.24/1800.77 c intshifting : 0.00 0 0
1800.24/1800.77 c twoopt : 0.00 0 0
1800.24/1800.77 c fixandinfer : 0.00 0 0
1800.24/1800.77 c feaspump : 0.00 0 0
1800.24/1800.77 c fracdiving : 74.78 1 0
1800.24/1800.77 c intdiving : 0.00 0 0
1800.24/1800.77 c actconsdiving : 0.00 0 0
1800.24/1800.77 c linesearchdiving : 0.00 0 0
1800.24/1800.77 c guideddiving : 0.00 0 0
1800.24/1800.77 c octane : 0.00 0 0
1800.24/1800.77 c rens : 0.02 0 0
1800.24/1800.77 c rins : 0.00 0 0
1800.24/1800.77 c localbranching : 0.00 0 0
1800.24/1800.77 c mutation : 0.00 0 0
1800.24/1800.77 c dins : 0.00 0 0
1800.24/1800.77 c undercover : 0.91 1 0
1800.24/1800.77 c nlp : 0.00 0 0
1800.24/1800.77 c trysol : 0.00 0 0
1800.24/1800.77 c LP : Time Calls Iterations Iter/call Iter/sec
1800.24/1800.77 c primal LP : 0.40 0 0 0.00 0.00
1800.24/1800.77 c dual LP : 955.57 79 349818 4428.08 366.08
1800.24/1800.77 c lex dual LP : 0.00 0 0 0.00 -
1800.24/1800.77 c barrier LP : 0.00 0 0 0.00 -
1800.24/1800.77 c diving/probing LP: 272.10 2129 189629 89.07 696.91
1800.24/1800.77 c strong branching : 503.52 202 200385 992.00 397.97
1800.24/1800.77 c (at root node) : - 16 16000 1000.00 -
1800.24/1800.77 c conflict analysis: 0.00 0 0 0.00 -
1800.24/1800.77 c B&B Tree :
1800.24/1800.77 c number of runs : 1
1800.24/1800.77 c nodes : 13
1800.24/1800.77 c nodes (total) : 13
1800.24/1800.77 c nodes left : 14
1800.24/1800.77 c max depth : 5
1800.24/1800.77 c max depth (total): 5
1800.24/1800.77 c backtracks : 3 (23.1%)
1800.24/1800.77 c delayed cutoffs : 0
1800.24/1800.77 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.24/1800.77 c avg switch length: 2.08
1800.24/1800.77 c switching time : 0.44
1800.24/1800.77 c Solution :
1800.24/1800.77 c Solutions found : 9 (4 improvements)
1800.24/1800.77 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.24/1800.77 c Primal Bound : -9.00000000000002e+00 (in run 1, after 1 nodes, 378.97 seconds, depth 0, found by <shifting>)
1800.24/1800.77 c Dual Bound : -9.96112040801796e+01
1800.24/1800.77 c Gap : 90.96 %
1800.24/1800.77 c Root Dual Bound : -9.99999999999999e+01
1800.24/1800.77 c Root Iterations : 73035
1800.44/1800.91 c Time complete: 1800.46.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666726-1276668283/watcher-2666726-1276668283 -o /tmp/evaluation-result-2666726-1276668283/solver-2666726-1276668283 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666726-1276668283.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: 2.12 1.82 1.37 2/106 15780
/proc/meminfo: memFree=1830308/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=4792 CPUtime=0
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 560 0 0 0 0 0 0 0 16 0 1 0 8119289 4907008 481 1992294400 4194304 8223781 140736745157728 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15780/statm: 1198 482 302 984 0 211 0
[startup+0.045287 s]
/proc/loadavg: 2.12 1.82 1.37 2/106 15780
/proc/meminfo: memFree=1830308/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=12912 CPUtime=0.03
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 2527 0 0 0 3 0 0 0 16 0 1 0 8119289 13221888 2446 1992294400 4194304 8223781 140736745157728 18446744073709551615 7247577 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15780/statm: 3228 2446 366 984 0 2241 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12912
[startup+0.101292 s]
/proc/loadavg: 2.12 1.82 1.37 2/106 15780
/proc/meminfo: memFree=1830308/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=16704 CPUtime=0.09
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 3470 0 0 0 8 1 0 0 16 0 1 0 8119289 17104896 3389 1992294400 4194304 8223781 140736745157728 18446744073709551615 6207502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15780/statm: 4176 3389 366 984 0 3189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16704
[startup+0.301311 s]
/proc/loadavg: 2.12 1.82 1.37 2/106 15780
/proc/meminfo: memFree=1830308/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=32184 CPUtime=0.28
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 7711 0 0 0 23 5 0 0 17 0 1 0 8119289 32956416 7009 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 8046 7009 432 984 0 7059 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32184
[startup+0.70135 s]
/proc/loadavg: 2.12 1.82 1.37 2/106 15780
/proc/meminfo: memFree=1830308/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=36788 CPUtime=0.69
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 10154 0 0 0 47 22 0 0 17 0 1 0 8119289 37670912 8167 1992294400 4194304 8223781 140736745157728 18446744073709551615 5491447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 9197 8167 459 984 0 8210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36788
[startup+1.50143 s]
/proc/loadavg: 2.03 1.80 1.36 2/107 15781
/proc/meminfo: memFree=1788884/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=64580 CPUtime=1.49
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 18197 0 0 0 124 25 0 0 18 0 1 0 8119289 66129920 14774 1992294400 4194304 8223781 140736745157728 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 16145 14774 547 984 0 15158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64580
[startup+3.10158 s]
/proc/loadavg: 2.03 1.80 1.36 2/107 15783
/proc/meminfo: memFree=1772020/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=66252 CPUtime=3.09
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 20803 0 0 0 282 27 0 0 21 0 1 0 8119289 67842048 15235 1992294400 4194304 8223781 140736745157728 18446744073709551615 6503901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 16563 15235 548 984 0 15576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66252
[startup+6.3009 s]
/proc/loadavg: 2.03 1.80 1.36 2/107 15783
/proc/meminfo: memFree=1770656/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=66660 CPUtime=6.29
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 22977 0 0 0 600 29 0 0 25 0 1 0 8119289 68259840 15239 1992294400 4194304 8223781 140736745157728 18446744073709551615 6568243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 16665 15239 543 984 0 15678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66660
[startup+12.7005 s]
/proc/loadavg: 1.87 1.77 1.36 2/107 15783
/proc/meminfo: memFree=1769912/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=67656 CPUtime=12.68
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 26968 0 0 0 1235 33 0 0 25 0 1 0 8119289 69279744 15530 1992294400 4194304 8223781 140736745157728 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 16914 15530 540 984 0 15927 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67656
[startup+25.5008 s]
/proc/loadavg: 1.74 1.75 1.36 2/107 15783
/proc/meminfo: memFree=1768672/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=69020 CPUtime=25.48
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 32664 0 0 0 2510 38 0 0 25 0 1 0 8119289 70676480 15829 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 17255 15829 540 984 0 16268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69020
[startup+51.1013 s]
/proc/loadavg: 1.45 1.68 1.34 2/107 15783
/proc/meminfo: memFree=1768300/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=70740 CPUtime=51.07
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 46508 0 0 0 5058 49 0 0 25 0 1 0 8119289 72437760 15904 1992294400 4194304 8223781 140736745157728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 17685 15904 540 984 0 16698 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70740
[startup+102.308 s]
/proc/loadavg: 1.19 1.57 1.32 2/107 15785
/proc/meminfo: memFree=1767432/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=70740 CPUtime=102.27
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 71617 0 0 0 10157 70 0 0 25 0 1 0 8119289 72437760 16077 1992294400 4194304 8223781 140736745157728 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 17685 16077 540 984 0 16698 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70740
[startup+162.301 s]
/proc/loadavg: 1.07 1.46 1.30 2/107 15787
/proc/meminfo: memFree=1767432/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=70740 CPUtime=162.25
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 100193 0 0 0 16132 93 0 0 25 0 1 0 8119289 72437760 16039 1992294400 4194304 8223781 140736745157728 18446744073709551615 6532622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 17685 16039 540 984 0 16698 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70740
[startup+222.301 s]
/proc/loadavg: 1.02 1.38 1.28 2/107 15787
/proc/meminfo: memFree=1761108/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=76272 CPUtime=222.23
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 150527 0 0 0 22057 166 0 0 25 0 1 0 8119289 78102528 17710 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19068 17710 603 984 0 18081 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76272
[startup+282.301 s]
/proc/loadavg: 1.01 1.31 1.26 2/107 15789
/proc/meminfo: memFree=1761108/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=75956 CPUtime=282.22
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 178010 0 0 0 28030 192 0 0 25 0 1 0 8119289 77778944 17650 1992294400 4194304 8223781 140736745157728 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18989 17650 602 984 0 18002 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 75956
[startup+342.302 s]
/proc/loadavg: 1.00 1.25 1.24 2/107 15791
/proc/meminfo: memFree=1757760/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=80540 CPUtime=342.21
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 198064 0 0 0 34006 215 0 0 25 0 1 0 8119289 82472960 18503 1992294400 4194304 8223781 140736745157728 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 20135 18503 602 984 0 19148 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 80540
[startup+402.301 s]
/proc/loadavg: 1.00 1.20 1.22 2/107 15793
/proc/meminfo: memFree=1758256/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=79764 CPUtime=402.19
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 217460 0 0 0 39982 237 0 0 25 0 1 0 8119289 81678336 18428 1992294400 4194304 8223781 140736745157728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19941 18428 602 984 0 18954 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 79764
[startup+462.301 s]
/proc/loadavg: 1.00 1.16 1.21 2/107 15795
/proc/meminfo: memFree=1757512/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=80336 CPUtime=462.17
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 239257 0 0 0 45957 260 0 0 25 0 1 0 8119289 82264064 18557 1992294400 4194304 8223781 140736745157728 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 20084 18557 603 984 0 19097 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 80336
[startup+522.301 s]
/proc/loadavg: 1.00 1.13 1.19 2/107 15795
/proc/meminfo: memFree=1759620/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=78380 CPUtime=522.16
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 291844 0 0 0 51920 296 0 0 25 0 1 0 8119289 80261120 18012 1992294400 4194304 8223781 140736745157728 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19595 18012 603 984 0 18608 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 78380
[startup+582.301 s]
/proc/loadavg: 1.00 1.10 1.17 2/107 15797
/proc/meminfo: memFree=1760860/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=76412 CPUtime=582.15
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 331909 0 0 0 57887 328 0 0 25 0 1 0 8119289 78245888 17676 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19103 17676 603 984 0 18116 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 76412
[startup+642.302 s]
/proc/loadavg: 1.00 1.08 1.16 2/107 15799
/proc/meminfo: memFree=1762720/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=73332 CPUtime=642.13
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 345085 0 0 0 63863 350 0 0 25 0 1 0 8119289 75091968 17186 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18333 17186 605 984 0 17346 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 73332
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.09 2/107 15809
/proc/meminfo: memFree=1762224/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=73608 CPUtime=1002.04
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 481193 0 0 0 99694 510 0 0 25 0 1 0 8119289 75374592 17230 1992294400 4194304 8223781 140736745157728 18446744073709551615 6448657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18402 17230 605 984 0 17415 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 73608
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 15811
/proc/meminfo: memFree=1762224/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74380 CPUtime=1062.02
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 534737 0 0 0 105655 547 0 0 25 0 1 0 8119289 76165120 17365 1992294400 4194304 8223781 140736745157728 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18595 17365 605 984 0 17608 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 74380
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 15811
/proc/meminfo: memFree=1759372/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=76440 CPUtime=1122.01
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 597462 0 0 0 111606 595 0 0 25 0 1 0 8119289 78274560 17852 1992294400 4194304 8223781 140736745157728 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19110 17852 605 984 0 18123 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 76440
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 15813
/proc/meminfo: memFree=1761604/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74236 CPUtime=1182
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 631297 0 0 0 117570 630 0 0 25 0 1 0 8119289 76017664 17411 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18559 17411 605 984 0 17572 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 74236
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 15815
/proc/meminfo: memFree=1761108/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74412 CPUtime=1241.98
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 652324 0 0 0 123544 654 0 0 25 0 1 0 8119289 76197888 17414 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18603 17414 605 984 0 17616 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 74412
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.06 3/107 15817
/proc/meminfo: memFree=1760984/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74720 CPUtime=1301.97
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 672362 0 0 0 129515 682 0 0 25 0 1 0 8119289 76513280 17464 1992294400 4194304 8223781 140736745157728 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18680 17464 605 984 0 17693 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 74720
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15819
/proc/meminfo: memFree=1761480/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=73980 CPUtime=1361.95
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 706338 0 0 0 135479 716 0 0 25 0 1 0 8119289 75755520 17357 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18495 17357 605 984 0 17508 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 73980
[startup+1422.31 s]
/proc/loadavg: 1.08 1.02 1.06 2/107 15819
/proc/meminfo: memFree=1761232/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74592 CPUtime=1421.94
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 732180 0 0 0 141450 744 0 0 25 0 1 0 8119289 76382208 17440 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18648 17440 605 984 0 17661 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 74592
[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.05 2/107 15821
/proc/meminfo: memFree=1761356/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74864 CPUtime=1481.92
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 775144 0 0 0 147415 777 0 0 25 0 1 0 8119289 76660736 17457 1992294400 4194304 8223781 140736745157728 18446744073709551615 6502730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18716 17457 605 984 0 17729 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 74864
[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.04 2/107 15823
/proc/meminfo: memFree=1760984/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74732 CPUtime=1541.9
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 815815 0 0 0 153377 813 0 0 25 0 1 0 8119289 76525568 17403 1992294400 4194304 8223781 140736745157728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18683 17403 605 984 0 17696 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 74732
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 15825
/proc/meminfo: memFree=1761480/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=73892 CPUtime=1601.89
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 849075 0 0 0 159344 845 0 0 25 0 1 0 8119289 75665408 17323 1992294400 4194304 8223781 140736745157728 18446744073709551615 6567177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18473 17323 607 984 0 17486 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 73892
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 15827
/proc/meminfo: memFree=1760860/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=74668 CPUtime=1661.87
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 886994 0 0 0 165312 875 0 0 25 0 1 0 8119289 76460032 17417 1992294400 4194304 8223781 140736745157728 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 18667 17417 607 984 0 17680 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 74668
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 15830
/proc/meminfo: memFree=1757576/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=77708 CPUtime=1721.86
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 942670 0 0 0 171265 921 0 0 25 0 1 0 8119289 79572992 18112 1992294400 4194304 8223781 140736745157728 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19427 18112 607 984 0 18440 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 77708
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 15832
/proc/meminfo: memFree=1757452/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=78268 CPUtime=1781.85
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 965793 0 0 0 177240 945 0 0 25 0 1 0 8119289 80146432 18212 1992294400 4194304 8223781 140736745157728 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19567 18212 607 984 0 18580 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 78268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 15832
/proc/meminfo: memFree=1758196/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=76396 CPUtime=1800.04
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 978523 0 0 0 179048 956 0 0 25 0 1 0 8119289 78229504 17965 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19099 17965 607 984 0 18112 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 76396
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.02 2/108 15833
/proc/meminfo: memFree=1758188/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=76396 CPUtime=1800.15
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 978629 0 0 0 179059 956 0 0 25 0 1 0 8119289 78229504 17965 1992294400 4194304 8223781 140736745157728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15780/statm: 19099 17965 607 984 0 18112 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 76396
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 15833
/proc/meminfo: memFree=1758188/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=75812 CPUtime=1800.34
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 979294 0 0 0 179077 957 0 0 25 0 1 0 8119289 77631488 17793 1992294400 4194304 8223781 140736745157728 18446744073709551615 6436943 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15780/statm: 18953 17793 609 984 0 17966 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 75812
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 15833
/proc/meminfo: memFree=1758188/2059040 swapFree=4163504/4192956
[pid=15780] ppid=15778 vsize=37960 CPUtime=1800.44
/proc/15780/stat : 15780 (pbscip.linux.x8) R 15778 15780 15200 0 -1 4202496 979294 0 0 0 179087 957 0 0 25 0 1 0 8119289 38871040 9015 1992294400 4194304 8223781 140736745157728 18446744073709551615 4684967 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15780/statm: 9490 9015 609 984 0 8503 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 37960
Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.46
CPU user time (s): 1790.88
CPU system time (s): 9.58154
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 114692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.88
system time used= 9.58154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979298
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= 4
involuntary context switches= 20108
runsolver used 2.98754 second user time and 8.49271 second system time
The end