0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665296-1276668224.opb>
0.04/0.08 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 constraints
0.04/0.08 c problem read
0.04/0.08 c presolving settings loaded
0.09/0.16 o 0
0.09/0.16 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.16 c presolving:
0.39/0.44 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.79/0.88 c (0.6s) probing: 101/6604 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.88 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.88 c presolving (2 rounds):
0.79/0.88 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.88 c 50032 implications, 400 cliques
0.79/0.88 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 constraints
0.79/0.88 c 400 constraints of type <setppc>
0.79/0.88 c 6204 constraints of type <and>
0.79/0.88 c 1 constraints of type <linear>
0.79/0.88 c 200 constraints of type <logicor>
0.79/0.88 c transformed objective value is always integral (scale: 1)
0.79/0.88 c Presolving Time: 0.58
0.79/0.88 c - non default parameters ----------------------------------------------------------------------
0.79/0.88 c # SCIP version 1.2.1.2
0.79/0.88 c
0.79/0.88 c # frequency for displaying node information lines
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88 c display/freq = 10000
0.79/0.88 c
0.79/0.88 c # maximal time in seconds to run
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/time = 1799.93
0.79/0.88 c
0.79/0.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/memory = 1620
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify inequalities
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/linear/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify knapsacks
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.88 c heuristics/undercover/freq = 0
0.79/0.88 c
0.79/0.88 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.88 c separating/rapidlearning/freq = 0
0.79/0.88 c
0.79/0.88 c -----------------------------------------------------------------------------------------------
0.79/0.88 c start solving
0.79/0.89 c
1.39/1.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.43 c t 1.1s| 1 | 0 | 554 | - | 30M| 0 | 443 |6604 |6805 |6604 | 13k| 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
1.39/1.45 o -5
1.39/1.45 c R 1.1s| 1 | 0 | 554 | - | 30M| 0 | 443 |6604 |6805 |6604 | 13k| 0 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
2.39/2.40 o -6
2.39/2.40 c u 2.0s| 1 | 0 | 554 | - | 31M| 0 | 443 |6604 |6805 |6604 | 13k| 0 | 0 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
11.19/11.21 c 10.5s| 1 | 0 | 3751 | - | 31M| 0 |1517 |6604 |6805 |6604 | 13k| 2 | 0 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
23.79/23.89 c 23.1s| 1 | 0 | 8038 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 3 | 0 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
23.88/23.93 o -6
23.88/23.93 c s23.1s| 1 | 0 | 8038 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 3 | 0 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
28.49/28.58 c 27.7s| 1 | 0 | 8069 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 7 | 0 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
28.59/28.62 o -7
28.59/28.62 c s27.8s| 1 | 0 | 8069 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 7 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
32.89/32.96 c 32.1s| 1 | 0 | 8093 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 10 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
37.18/37.27 c 36.4s| 1 | 0 | 8107 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 13 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
41.48/41.54 c 40.6s| 1 | 0 | 8125 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 16 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
171.85/171.90 c 169s| 1 | 2 | 8125 | - | 32M| 0 |2256 |6604 |6805 |6604 | 13k| 16 | 0 | 10 |-1.000000e+02 |-7.000000e+00 | 93.00%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.41/1800.95 c
1800.41/1800.95 c SCIP Status : solving was interrupted [user interrupt]
1800.41/1800.95 c Solving Time (sec) : 1782.19
1800.41/1800.95 c Solving Nodes : 22
1800.41/1800.95 c Primal Bound : -7.00000000000001e+00 (9 solutions)
1800.41/1800.95 c Dual Bound : -9.95817651174369e+01
1800.41/1800.95 c Gap : 92.97 %
1800.41/1800.96 s SATISFIABLE
1800.41/1800.96 v x375 -x317 -x361 -x286 -x342 -x224 -x249 -x359 -x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 -x382 -x334 -x332
1800.41/1800.96 v -x269 -x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 -x391 -x300 -x264 -x370 -x339 -x377 -x207 -x392 -x353 -x234
1800.41/1800.96 v -x238 -x352 -x233 -x388 -x315 -x229 -x356 -x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 -x219 -x350 -x309 -x304 -x272
1800.41/1800.96 v -x329 -x225 -x284 -x366 -x354 -x335 -x312 -x208 -x276 -x372 -x232 -x220 -x245 -x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344
1800.41/1800.96 v -x310 -x267 -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 -x400 -x355 -x252 -x389 -x277 -x209 -x288 -x351 -x244 -x365
1800.41/1800.96 v -x386 -x367 -x347 -x323 -x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 -x306 -x282 -x397
1800.41/1800.96 v -x274 -x357 -x381 -x292 -x214 -x202 -x307 -x305 -x302 -x301 -x296 -x279 -x210 -x205 -x371 -x325 -x399 -x338 -x385 -x320 -x374
1800.41/1800.96 v -x243 -x257 -x270 -x259 -x223 -x203 -x330 -x268 -x324 -x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 x311 -x308 -x285 -x283
1800.41/1800.97 v -x281 -x280 -x275 -x262 -x241 -x235 -x211 -x383 -x230 -x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 -x364 x260 -x291 -x228
1800.41/1800.97 v -x363 -x222 -x250 -x293 -x387 -x336 x394 -x316 x378 x287 x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1800.41/1800.97 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
1800.41/1800.97 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1800.41/1800.97 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
1800.41/1800.97 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1800.41/1800.97 v -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84
1800.41/1800.97 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1800.41/1800.97 v -x58 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.41/1800.97 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
1800.41/1800.97 v -x7 x6 -x5 x4 x3 x2 -x1
1800.41/1800.97 c SCIP Status : solving was interrupted [user interrupt]
1800.41/1800.97 c Solving Time : 1782.19
1800.41/1800.97 c Original Problem :
1800.41/1800.97 c Problem name : HOME/instance-2665296-1276668224.opb
1800.41/1800.97 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.41/1800.97 c Constraints : 6805 initial, 6805 maximal
1800.41/1800.97 c Presolved Problem :
1800.41/1800.97 c Problem name : t_HOME/instance-2665296-1276668224.opb
1800.41/1800.97 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.41/1800.97 c Constraints : 6805 initial, 7138 maximal
1800.41/1800.97 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.41/1800.97 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.41/1800.97 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.41/1800.97 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.41/1800.97 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.41/1800.97 c implics : 0.02 0 0 0 0 0 0 0 0
1800.41/1800.97 c probing : 0.23 0 0 0 0 0 0 0 0
1800.41/1800.97 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.41/1800.97 c and : 0.22 0 0 0 0 0 0 0 0
1800.41/1800.97 c linear : 0.05 0 0 0 0 0 0 0 0
1800.41/1800.97 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.41/1800.97 c root node : - 0 - - 0 - - - -
1800.41/1800.97 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.41/1800.97 c integral : 0 0 0 22 0 0 0 0 0 44
1800.41/1800.97 c setppc : 400 6 5342 0 0 8 0 0 0 0
1800.41/1800.97 c and : 6204 110 5334 0 0 15 590 113770 0 0
1800.41/1800.97 c linear : 1 6 5319 0 0 0 0 0 0 0
1800.41/1800.97 c logicor : 200+ 6 706 0 0 0 12 0 0 0
1800.41/1800.97 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.41/1800.97 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.41/1800.97 c integral : 499.93 0.00 0.00 499.93 0.00
1800.41/1800.97 c setppc : 0.15 0.00 0.15 0.00 0.00
1800.41/1800.97 c and : 2.90 0.77 2.13 0.00 0.00
1800.41/1800.97 c linear : 0.26 0.13 0.13 0.00 0.00
1800.41/1800.97 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.41/1800.97 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.41/1800.97 c Propagators : Time Calls Cutoffs DomReds
1800.41/1800.97 c vbounds : 0.01 2 0 0
1800.41/1800.97 c rootredcost : 0.01 1 0 0
1800.41/1800.97 c pseudoobj : 0.09 5151 0 0
1800.41/1800.97 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.41/1800.97 c propagation : 0.00 23 23 23 2.3 0 0.0 -
1800.41/1800.97 c infeasible LP : 0.65 181 181 2225 35.7 1 3.0 0
1800.41/1800.97 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.41/1800.97 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.41/1800.97 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.41/1800.97 c applied globally : - - - 333 39.3 - - -
1800.41/1800.97 c applied locally : - - - 0 0.0 - - -
1800.41/1800.97 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.41/1800.97 c cut pool : 0.00 5 - - 2 - (maximal pool size: 38)
1800.41/1800.97 c redcost : 0.06 110 0 0 0 0
1800.41/1800.97 c impliedbounds : 0.03 6 0 0 0 0
1800.41/1800.97 c intobj : 0.00 0 0 0 0 0
1800.41/1800.97 c cgmip : 0.00 0 0 0 0 0
1800.41/1800.97 c gomory : 8.03 6 0 0 0 0
1800.41/1800.97 c strongcg : 7.71 6 0 0 803 0
1800.41/1800.97 c cmir : 1.21 6 0 0 0 0
1800.41/1800.97 c flowcover : 1.23 6 0 0 0 0
1800.41/1800.97 c clique : 0.91 6 0 0 26 0
1800.41/1800.97 c zerohalf : 0.00 0 0 0 0 0
1800.41/1800.97 c mcf : 0.11 2 0 0 0 0
1800.41/1800.97 c rapidlearning : 3.11 1 0 0 0 0
1800.41/1800.97 c Pricers : Time Calls Vars
1800.41/1800.97 c problem variables: 0.00 0 0
1800.41/1800.97 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.41/1800.97 c relpscost : 499.93 22 0 0 0 0 44
1800.41/1800.97 c pscost : 0.00 0 0 0 0 0 0
1800.41/1800.97 c inference : 0.00 0 0 0 0 0 0
1800.41/1800.97 c mostinf : 0.00 0 0 0 0 0 0
1800.41/1800.97 c leastinf : 0.00 0 0 0 0 0 0
1800.41/1800.97 c fullstrong : 0.00 0 0 0 0 0 0
1800.41/1800.97 c allfullstrong : 0.00 0 0 0 0 0 0
1800.41/1800.97 c random : 0.00 0 0 0 0 0 0
1800.41/1800.97 c Primal Heuristics : Time Calls Found
1800.41/1800.97 c LP solutions : 0.00 - 0
1800.41/1800.97 c pseudo solutions : 0.00 - 0
1800.41/1800.97 c crossover : 0.00 0 0
1800.41/1800.97 c rootsoldiving : 0.00 0 0
1800.41/1800.97 c linesearchdiving : 0.00 0 0
1800.41/1800.97 c guideddiving : 0.00 0 0
1800.41/1800.97 c oneopt : 0.05 3 0
1800.41/1800.97 c coefdiving : 183.54 1 0
1800.41/1800.97 c pscostdiving : 49.18 1 0
1800.41/1800.97 c fracdiving : 91.58 1 0
1800.41/1800.97 c veclendiving : 64.92 1 0
1800.41/1800.97 c trivial : 0.02 2 3
1800.41/1800.97 c simplerounding : 0.00 0 0
1800.41/1800.97 c zirounding : 0.02 22 0
1800.41/1800.97 c rounding : 28.39 130 1
1800.41/1800.97 c shifting : 0.25 7 4
1800.41/1800.97 c intshifting : 0.00 0 0
1800.41/1800.97 c twoopt : 0.00 0 0
1800.41/1800.97 c fixandinfer : 0.00 0 0
1800.41/1800.97 c feaspump : 0.00 0 0
1800.41/1800.97 c intdiving : 0.00 0 0
1800.41/1800.97 c actconsdiving : 0.00 0 0
1800.41/1800.97 c objpscostdiving : 15.39 1 0
1800.41/1800.97 c octane : 0.00 0 0
1800.41/1800.97 c rens : 94.89 1 0
1800.41/1800.97 c rins : 0.00 0 0
1800.41/1800.97 c localbranching : 0.00 0 0
1800.41/1800.97 c mutation : 0.00 0 0
1800.41/1800.97 c dins : 0.00 0 0
1800.41/1800.97 c undercover : 0.85 1 1
1800.41/1800.97 c nlp : 0.00 0 0
1800.41/1800.97 c trysol : 0.00 0 0
1800.41/1800.97 c LP : Time Calls Iterations Iter/call Iter/sec
1800.41/1800.97 c primal LP : 35.23 0 0 0.00 0.00
1800.41/1800.97 c dual LP : 691.12 130 435035 3346.42 629.46
1800.41/1800.97 c lex dual LP : 0.00 0 0 0.00 -
1800.41/1800.97 c barrier LP : 0.00 0 0 0.00 -
1800.41/1800.97 c diving/probing LP: 387.72 3463 335606 96.91 865.59
1800.41/1800.97 c strong branching : 499.91 290 283352 977.08 566.81
1800.41/1800.97 c (at root node) : - 10 10000 1000.00 -
1800.41/1800.97 c conflict analysis: 0.00 0 0 0.00 -
1800.41/1800.97 c B&B Tree :
1800.41/1800.97 c number of runs : 1
1800.41/1800.97 c nodes : 22
1800.41/1800.97 c nodes (total) : 22
1800.41/1800.97 c nodes left : 23
1800.41/1800.97 c max depth : 7
1800.41/1800.97 c max depth (total): 7
1800.41/1800.97 c backtracks : 4 (18.2%)
1800.41/1800.97 c delayed cutoffs : 0
1800.41/1800.97 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.41/1800.97 c avg switch length: 2.05
1800.41/1800.97 c switching time : 35.28
1800.41/1800.97 c Solution :
1800.41/1800.97 c Solutions found : 9 (5 improvements)
1800.41/1800.97 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.41/1800.97 c Primal Bound : -7.00000000000001e+00 (in run 1, after 1 nodes, 27.75 seconds, depth 0, found by <shifting>)
1800.41/1800.97 c Dual Bound : -9.95817651174369e+01
1800.41/1800.97 c Gap : 92.97 %
1800.41/1800.97 c Root Dual Bound : -9.99999999999998e+01
1800.41/1800.97 c Root Iterations : 8125
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665296-1276668224/watcher-2665296-1276668224 -o /tmp/evaluation-result-2665296-1276668224/solver-2665296-1276668224 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665296-1276668224.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.00 1.00 1.00 2/105 15924
/proc/meminfo: memFree=1771044/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=9288 CPUtime=0
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 1156 0 0 0 0 0 0 0 25 0 1 0 8115917 9510912 1076 1992294400 4194304 9819077 140736766468992 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 2322 1086 371 1374 0 943 0
[startup+0.047223 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 15924
/proc/meminfo: memFree=1771044/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=17368 CPUtime=0.04
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 3234 0 0 0 3 1 0 0 25 0 1 0 8115917 17784832 3154 1992294400 4194304 9819077 140736766468992 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 4342 3166 389 1374 0 2963 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17368
[startup+0.101228 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 15924
/proc/meminfo: memFree=1771044/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=25452 CPUtime=0.09
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 5703 0 0 0 7 2 0 0 25 0 1 0 8115917 26062848 5269 1992294400 4194304 9819077 140736766468992 18446744073709551615 4209644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 6363 5269 431 1374 0 4984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25452
[startup+0.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 15924
/proc/meminfo: memFree=1771044/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=33436 CPUtime=0.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 7744 0 0 0 22 7 0 0 25 0 1 0 8115917 34238464 7053 1992294400 4194304 9819077 140736766468992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 8359 7053 478 1374 0 6980 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33436
[startup+0.701293 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 15924
/proc/meminfo: memFree=1771044/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=38568 CPUtime=0.69
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 10673 0 0 0 49 20 0 0 25 0 1 0 8115917 39493632 8440 1992294400 4194304 9819077 140736766468992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 9642 8440 518 1374 0 8263 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38568
[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15925
/proc/meminfo: memFree=1716848/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=82748 CPUtime=1.49
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 20651 0 0 0 125 24 0 0 25 0 1 0 8115917 84733952 17107 1992294400 4194304 9819077 140736766468992 18446744073709551615 4327727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 20687 17107 648 1374 0 19308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82748
[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15925
/proc/meminfo: memFree=1698744/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=86692 CPUtime=3.09
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 38064 0 0 0 275 34 0 0 25 0 1 0 8115917 88772608 18102 1992294400 4194304 9819077 140736766468992 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 21673 18102 703 1374 0 20294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86692
[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15925
/proc/meminfo: memFree=1667992/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=120764 CPUtime=6.29
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 48654 0 0 0 570 59 0 0 25 0 1 0 8115917 123662336 26379 1992294400 4194304 9819077 140736766468992 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 30191 26379 716 1374 0 28812 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120764
[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15925
/proc/meminfo: memFree=1698620/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=93868 CPUtime=12.69
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 55273 0 0 0 1203 66 0 0 25 0 1 0 8115917 96120832 19725 1992294400 4194304 9819077 140736766468992 18446744073709551615 5692415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23467 19725 716 1374 0 22088 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93868
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15927
/proc/meminfo: memFree=1696636/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=91572 CPUtime=25.48
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 65169 0 0 0 2473 75 0 0 25 0 1 0 8115917 93769728 19187 1992294400 4194304 9819077 140736766468992 18446744073709551615 6048093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 22893 19187 716 1374 0 21514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91572
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15927
/proc/meminfo: memFree=1636000/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=161652 CPUtime=51.07
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 101696 0 0 0 5003 104 0 0 25 0 1 0 8115917 165531648 34471 1992294400 4194304 9819077 140736766468992 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 40413 34471 722 1374 0 39034 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 161652
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15929
/proc/meminfo: memFree=1635132/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=158600 CPUtime=102.27
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 208758 0 0 0 10054 173 0 0 25 0 1 0 8115917 162406400 34437 1992294400 4194304 9819077 140736766468992 18446744073709551615 6674352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 39650 34437 727 1374 0 38271 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 158600
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15929
/proc/meminfo: memFree=1693164/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=106048 CPUtime=162.25
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 341428 0 0 0 15958 267 0 0 25 0 1 0 8115917 108593152 19741 1992294400 4194304 9819077 140736766468992 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 26512 19741 746 1374 0 25133 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 106048
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15931
/proc/meminfo: memFree=1696884/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=103112 CPUtime=222.23
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 415783 0 0 0 21908 315 0 0 25 0 1 0 8115917 105586688 18942 1992294400 4194304 9819077 140736766468992 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 25778 18942 747 1374 0 24399 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 103112
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15933
/proc/meminfo: memFree=1697504/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=90148 CPUtime=282.21
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 500859 0 0 0 27850 371 0 0 25 0 1 0 8115917 92311552 18905 1992294400 4194304 9819077 140736766468992 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 22537 18905 748 1374 0 21158 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 90148
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15935
/proc/meminfo: memFree=1695520/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=92276 CPUtime=342.2
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 580226 0 0 0 33797 423 0 0 25 0 1 0 8115917 94490624 19261 1992294400 4194304 9819077 140736766468992 18446744073709551615 7318417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23069 19261 748 1374 0 21690 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 92276
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15937
/proc/meminfo: memFree=1695148/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=95548 CPUtime=402.19
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 652716 0 0 0 39749 470 0 0 25 0 1 0 8115917 97841152 19115 1992294400 4194304 9819077 140736766468992 18446744073709551615 7312672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23887 19115 748 1374 0 22508 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 95548
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15937
/proc/meminfo: memFree=1696760/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=95312 CPUtime=462.17
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 718532 0 0 0 45704 513 0 0 25 0 1 0 8115917 97599488 19004 1992294400 4194304 9819077 140736766468992 18446744073709551615 6190604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23828 19004 748 1374 0 22449 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 95312
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15939
/proc/meminfo: memFree=1696016/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=95100 CPUtime=522.15
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 803317 0 0 0 51646 569 0 0 25 0 1 0 8115917 97382400 19055 1992294400 4194304 9819077 140736766468992 18446744073709551615 7295968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23775 19055 748 1374 0 22396 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 95100
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15941
/proc/meminfo: memFree=1697008/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=94804 CPUtime=582.14
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 894710 0 0 0 57586 628 0 0 25 0 1 0 8115917 97079296 18995 1992294400 4194304 9819077 140736766468992 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 22663 18935 748 1374 0 21284 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 94804
[startup+642.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 15943
/proc/meminfo: memFree=1696512/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=90868 CPUtime=642.13
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 1058000 0 0 0 63493 720 0 0 25 0 1 0 8115917 93048832 19160 1992294400 4194304 9819077 140736766468992 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 22717 19160 748 1374 0 21338 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 90868
[startup+702.302 s]
################
# More data... #
################
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 1750085 0 0 0 105079 1122 0 0 25 0 1 0 8115917 114974720 19404 1992294400 4194304 9819077 140736766468992 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 28070 19404 749 1374 0 26691 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 112280
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15955
/proc/meminfo: memFree=1695644/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=96292 CPUtime=1122
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 1840066 0 0 0 111025 1175 0 0 25 0 1 0 8115917 98603008 19323 1992294400 4194304 9819077 140736766468992 18446744073709551615 7295931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24073 19323 749 1374 0 22694 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 96292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15957
/proc/meminfo: memFree=1695272/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=96844 CPUtime=1181.98
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 1942712 0 0 0 116963 1235 0 0 25 0 1 0 8115917 99168256 19319 1992294400 4194304 9819077 140736766468992 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24211 19319 749 1374 0 22832 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 96844
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15959
/proc/meminfo: memFree=1693412/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=94796 CPUtime=1241.96
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2090358 0 0 0 122886 1310 0 0 25 0 1 0 8115917 97071104 19649 1992294400 4194304 9819077 140736766468992 18446744073709551615 6519583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 23699 19649 749 1374 0 22320 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 94796
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15961
/proc/meminfo: memFree=1692544/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=112376 CPUtime=1301.95
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2195869 0 0 0 128828 1367 0 0 25 0 1 0 8115917 115073024 19924 1992294400 4194304 9819077 140736766468992 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 28094 19924 749 1374 0 26715 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 112376
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15961
/proc/meminfo: memFree=1691800/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=114216 CPUtime=1361.93
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2292133 0 0 0 134767 1426 0 0 25 0 1 0 8115917 116957184 20215 1992294400 4194304 9819077 140736766468992 18446744073709551615 7295923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 28554 20215 749 1374 0 27175 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 114216
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15963
/proc/meminfo: memFree=1691924/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=114744 CPUtime=1421.92
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2383685 0 0 0 140709 1483 0 0 25 0 1 0 8115917 117497856 20138 1992294400 4194304 9819077 140736766468992 18446744073709551615 7298604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 28686 20138 749 1374 0 27307 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 114744
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15965
/proc/meminfo: memFree=1690560/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98944 CPUtime=1481.9
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2474463 0 0 0 146648 1542 0 0 25 0 1 0 8115917 101318656 19808 1992294400 4194304 9819077 140736766468992 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24736 19808 749 1374 0 23357 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 98944
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15967
/proc/meminfo: memFree=1689692/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=117480 CPUtime=1541.88
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2555946 0 0 0 152600 1588 0 0 25 0 1 0 8115917 120299520 20106 1992294400 4194304 9819077 140736766468992 18446744073709551615 6190604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 29370 20106 749 1374 0 27991 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 117480
[startup+1602.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 15969
/proc/meminfo: memFree=1690064/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=118896 CPUtime=1601.87
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2627587 0 0 0 158555 1632 0 0 25 0 1 0 8115917 121749504 20326 1992294400 4194304 9819077 140736766468992 18446744073709551615 7312770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 29724 20326 749 1374 0 28345 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 118896
[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 15969
/proc/meminfo: memFree=1690808/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=99936 CPUtime=1661.85
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2700124 0 0 0 164510 1675 0 0 25 0 1 0 8115917 102334464 20544 1992294400 4194304 9819077 140736766468992 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24984 20544 749 1374 0 23605 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 99936
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15971
/proc/meminfo: memFree=1692048/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=97436 CPUtime=1721.83
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2818403 0 0 0 170435 1748 0 0 25 0 1 0 8115917 99774464 20042 1992294400 4194304 9819077 140736766468992 18446744073709551615 7298106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24359 20042 749 1374 0 22980 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 97436
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15976
/proc/meminfo: memFree=1690808/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=114860 CPUtime=1781.82
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2915705 0 0 0 176376 1806 0 0 25 0 1 0 8115917 117616640 20677 1992294400 4194304 9819077 140736766468992 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 28715 20677 749 1374 0 27336 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 114860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15976
/proc/meminfo: memFree=1691676/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98468 CPUtime=1800.02
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2940848 0 0 0 178181 1821 0 0 25 0 1 0 8115917 100831232 20086 1992294400 4194304 9819077 140736766468992 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15924/statm: 24617 20086 749 1374 0 23238 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 98468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15924
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15977
/proc/meminfo: memFree=1691420/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98180 CPUtime=1800.91
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2941977 0 0 0 178269 1822 0 0 25 0 1 0 8115917 100536320 19867 1992294400 4194304 9819077 140736766468992 18446744073709551615 7291687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 24545 19867 750 1374 0 23166 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 98180
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15977
/proc/meminfo: memFree=1692412/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98180 CPUtime=1801.71
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2941977 0 0 0 178349 1822 0 0 25 0 1 0 8115917 100536320 19867 1992294400 4194304 9819077 140736766468992 18446744073709551615 7302712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 24545 19867 750 1374 0 23166 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 98180
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15977
/proc/meminfo: memFree=1692412/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98180 CPUtime=1801.91
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2941977 0 0 0 178369 1822 0 0 25 0 1 0 8115917 100536320 19867 1992294400 4194304 9819077 140736766468992 18446744073709551615 7291624 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 24545 19867 750 1374 0 23166 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 98180
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15977
/proc/meminfo: memFree=1692412/2059040 swapFree=4164960/4192956
[pid=15924] ppid=15922 vsize=98180 CPUtime=1802.01
/proc/15924/stat : 15924 (pbscip.linux.x8) R 15922 15924 15387 0 -1 4202496 2941977 0 0 0 178379 1822 0 0 25 0 1 0 8115917 100536320 19867 1992294400 4194304 9819077 140736766468992 18446744073709551615 7292002 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15924/statm: 24545 19867 750 1374 0 23166 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 98180
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.04
CPU user time (s): 1783.81
CPU system time (s): 18.2312
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 162396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.81
system time used= 18.2312
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2941977
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= 2012
runsolver used 3.11852 second user time and 8.36973 second system time
The end