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-2666607-1276653223.opb>
0.39/0.42 c original problem has 37866 variables (37866 bin, 0 int, 0 impl, 0 cont) and 37866 constraints
0.39/0.42 c problem read
0.39/0.43 c presolving settings loaded
0.79/0.88 c presolving:
6.39/6.42 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5731930 impls, 0 clqs
8.89/8.92 c (8.0s) probing: 101/37866 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.89/8.92 c (8.0s) probing aborted: 100/100 successive totally useless probings
8.89/8.93 c presolving (2 rounds):
8.89/8.93 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.89/8.93 c 5731930 implications, 0 cliques
8.89/8.93 c presolved problem has 37866 variables (37866 bin, 0 int, 0 impl, 0 cont) and 37866 constraints
8.89/8.93 c 37366 constraints of type <and>
8.89/8.93 c 500 constraints of type <logicor>
8.89/8.93 c transformed objective value is always integral (scale: 1)
8.89/8.93 c Presolving Time: 7.89
8.89/8.93 c - non default parameters ----------------------------------------------------------------------
8.89/8.93 c # SCIP version 1.2.1.2
8.89/8.93 c
8.89/8.93 c # frequency for displaying node information lines
8.89/8.93 c # [type: int, range: [-1,2147483647], default: 100]
8.89/8.93 c display/freq = 10000
8.89/8.93 c
8.89/8.93 c # maximal time in seconds to run
8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.89/8.93 c limits/time = 1799.58
8.89/8.93 c
8.89/8.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.89/8.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.89/8.93 c limits/memory = 1620
8.89/8.93 c
8.89/8.93 c # should presolving try to simplify inequalities
8.89/8.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.89/8.93 c constraints/linear/simplifyinequalities = TRUE
8.89/8.93 c
8.89/8.93 c # should presolving try to simplify knapsacks
8.89/8.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.89/8.93 c constraints/knapsack/simplifyinequalities = TRUE
8.89/8.93 c
8.89/8.93 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
8.89/8.93 c # [type: int, range: [-1,2147483647], default: -1]
8.89/8.93 c heuristics/undercover/freq = 0
8.89/8.93 c
8.89/8.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.89/8.93 c # [type: int, range: [-1,2147483647], default: -1]
8.89/8.93 c separating/rapidlearning/freq = 0
8.89/8.93 c
8.89/8.93 c -----------------------------------------------------------------------------------------------
8.89/8.93 c start solving
8.89/8.97 c
10.28/10.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.28/10.37 c 9.3s| 1 | 0 | 1000 | - | 311M| 0 |1000 | 37k| 37k| 37k| 75k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.97/71.02 c 67.0s| 1 | 0 | 12891 | - | 312M| 0 |1000 | 37k| 37k| 37k| 76k|1001 | 0 | 0 | 0.000000e+00 | -- | Inf
91.37/91.41 c 86.7s| 1 | 0 | 14391 | - | 313M| 0 |1000 | 37k| 37k| 37k| 77k|2003 | 0 | 0 | 0.000000e+00 | -- | Inf
112.56/112.64 c 107s| 1 | 0 | 15891 | - | 313M| 0 |1000 | 37k| 37k| 37k| 78k|3005 | 0 | 0 | 0.000000e+00 | -- | Inf
134.65/134.76 c 129s| 1 | 0 | 17391 | - | 313M| 0 |1000 | 37k| 37k| 37k| 79k|4009 | 0 | 0 | 0.000000e+00 | -- | Inf
134.85/134.95 o 29
134.85/134.95 c s 129s| 1 | 0 | 17391 | - | 314M| 0 |1000 | 37k| 37k| 37k| 79k|4009 | 0 | 0 | 0.000000e+00 | 2.900000e+01 | Inf
155.15/155.22 c 149s| 1 | 0 | 18892 | - | 314M| 0 |1000 | 37k| 37k| 37k| 80k|5012 | 0 | 0 | 0.000000e+00 | 2.900000e+01 | Inf
155.35/155.47 o 26
155.35/155.47 c s 149s| 1 | 0 | 18892 | - | 315M| 0 |1000 | 37k| 37k| 37k| 80k|5012 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
176.34/176.40 c 169s| 1 | 0 | 20392 | - | 315M| 0 |1000 | 37k| 37k| 37k| 81k|6014 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
205.65/205.71 c 198s| 1 | 2 | 20392 | - | 315M| 0 |1000 | 37k| 37k| 37k| 81k|6014 | 0 | 23 | 0.000000e+00 | 2.600000e+01 | Inf
1196.04/1196.52 o 25
1196.04/1196.52 c f1171s| 159 | 160 |209795 |1198.8 | 326M| 14 | - | 37k| 40k| 37k| 13k| 85k|4136 |2688 | 1.000000e+00 | 2.500000e+01 |2400.00%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.78 c
1800.10/1800.78 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.78 c Solving Time (sec) : 1771.00
1800.10/1800.78 c Solving Nodes : 185
1800.10/1800.78 c Primal Bound : +2.50000000000000e+01 (3 solutions)
1800.10/1800.78 c Dual Bound : +1.00000000000000e+00
1800.10/1800.78 c Gap : 2400.00 %
1800.19/1800.86 s SATISFIABLE
1800.19/1800.86 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.19/1800.86 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
1800.19/1800.86 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437
1800.19/1800.86 v -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1800.19/1800.86 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1800.19/1800.86 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1800.19/1800.86 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1800.19/1800.86 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1800.19/1800.86 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1800.19/1800.86 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291
1800.19/1800.86 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1800.19/1800.86 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.19/1800.86 v -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1800.19/1800.86 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1800.19/1800.86 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1800.19/1800.86 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
1800.19/1800.86 v -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
1800.19/1800.86 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124
1800.19/1800.86 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
1800.19/1800.86 v -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78
1800.19/1800.86 v -x77 -x76 x75 -x74 x73 -x72 -x71 x70 -x69 x68 x67 x66 x65 x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51
1800.19/1800.86 v x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26
1800.19/1800.86 v -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.19/1800.86 c SCIP Status : solving was interrupted [user interrupt]
1800.19/1800.86 c Solving Time : 1771.00
1800.19/1800.86 c Original Problem :
1800.19/1800.86 c Problem name : HOME/instance-2666607-1276653223.opb
1800.19/1800.86 c Variables : 37866 (37866 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.86 c Constraints : 37866 initial, 37866 maximal
1800.19/1800.86 c Presolved Problem :
1800.19/1800.86 c Problem name : t_HOME/instance-2666607-1276653223.opb
1800.19/1800.86 c Variables : 37866 (37866 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.86 c Constraints : 37866 initial, 40405 maximal
1800.19/1800.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.19/1800.86 c trivial : 0.02 0 0 0 0 0 0 0 0
1800.19/1800.86 c dualfix : 0.02 0 0 0 0 0 0 0 0
1800.19/1800.86 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.86 c implics : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.86 c probing : 1.62 0 0 0 0 0 0 0 0
1800.19/1800.86 c and : 5.87 0 0 0 0 0 0 0 0
1800.19/1800.86 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.19/1800.86 c root node : - 0 - - 0 - - - -
1800.19/1800.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.19/1800.86 c integral : 0 0 0 185 0 0 0 0 0 370
1800.19/1800.86 c and : 37366 926 12752 0 0 16 20164 686410 0 0
1800.19/1800.86 c logicor : 500+ 6 7873 0 0 780 0 0 0 0
1800.19/1800.86 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.19/1800.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.19/1800.86 c integral : 265.55 0.00 0.00 265.55 0.00
1800.19/1800.86 c and : 188.70 47.73 140.97 0.00 0.00
1800.19/1800.86 c logicor : 2.46 0.00 2.46 0.00 0.00
1800.19/1800.86 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.19/1800.86 c Propagators : Time Calls Cutoffs DomReds
1800.19/1800.86 c vbounds : 0.00 2 0 0
1800.19/1800.86 c rootredcost : 0.01 2 0 0
1800.19/1800.86 c pseudoobj : 6.17 12726 172 0
1800.19/1800.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.19/1800.86 c propagation : 0.94 968 968 4730 37.8 0 0.0 -
1800.19/1800.86 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.19/1800.86 c applied globally : - - - 4730 37.8 - - -
1800.19/1800.86 c applied locally : - - - 0 0.0 - - -
1800.19/1800.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.19/1800.86 c cut pool : 0.00 5 - - 0 - (maximal pool size: 6014)
1800.19/1800.86 c redcost : 4.21 926 0 0 0 0
1800.19/1800.86 c impliedbounds : 0.16 6 0 0 6000 0
1800.19/1800.86 c intobj : 0.00 0 0 0 0 0
1800.19/1800.86 c cgmip : 0.00 0 0 0 0 0
1800.19/1800.86 c gomory : 6.73 6 0 0 3000 0
1800.19/1800.86 c strongcg : 6.74 6 0 0 3000 0
1800.19/1800.86 c cmir : 60.46 6 0 0 3000 0
1800.19/1800.86 c flowcover : 21.54 6 0 0 0 0
1800.19/1800.86 c clique : 15.46 6 0 0 14 0
1800.19/1800.86 c zerohalf : 0.00 0 0 0 0 0
1800.19/1800.86 c mcf : 0.14 1 0 0 0 0
1800.19/1800.86 c rapidlearning : 0.00 0 0 0 0 0
1800.19/1800.86 c Pricers : Time Calls Vars
1800.19/1800.86 c problem variables: 0.00 0 0
1800.19/1800.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.19/1800.86 c relpscost : 265.55 185 0 0 0 0 370
1800.19/1800.86 c pscost : 0.00 0 0 0 0 0 0
1800.19/1800.86 c inference : 0.00 0 0 0 0 0 0
1800.19/1800.86 c mostinf : 0.00 0 0 0 0 0 0
1800.19/1800.86 c leastinf : 0.00 0 0 0 0 0 0
1800.19/1800.86 c fullstrong : 0.00 0 0 0 0 0 0
1800.19/1800.86 c allfullstrong : 0.00 0 0 0 0 0 0
1800.19/1800.86 c random : 0.00 0 0 0 0 0 0
1800.19/1800.86 c Primal Heuristics : Time Calls Found
1800.19/1800.86 c LP solutions : 0.00 - 0
1800.19/1800.86 c pseudo solutions : 0.00 - 0
1800.19/1800.86 c crossover : 0.00 0 0
1800.19/1800.86 c oneopt : 0.17 3 0
1800.19/1800.86 c pscostdiving : 109.69 4 0
1800.19/1800.86 c rootsoldiving : 6.29 2 0
1800.19/1800.86 c guideddiving : 73.76 4 0
1800.19/1800.86 c fracdiving : 88.78 4 1
1800.19/1800.86 c trivial : 0.15 2 0
1800.19/1800.86 c simplerounding : 0.00 0 0
1800.19/1800.86 c zirounding : 0.67 185 0
1800.19/1800.86 c rounding : 1.22 430 0
1800.19/1800.86 c shifting : 11.50 145 2
1800.19/1800.86 c intshifting : 0.00 0 0
1800.19/1800.86 c twoopt : 0.00 0 0
1800.19/1800.86 c fixandinfer : 0.00 0 0
1800.19/1800.86 c feaspump : 24.46 1 0
1800.19/1800.86 c coefdiving : 76.48 5 0
1800.19/1800.86 c veclendiving : 43.82 3 0
1800.19/1800.86 c intdiving : 0.00 0 0
1800.19/1800.86 c actconsdiving : 0.00 0 0
1800.19/1800.86 c objpscostdiving : 480.45 3 0
1800.19/1800.86 c linesearchdiving : 139.36 4 0
1800.19/1800.86 c octane : 0.00 0 0
1800.19/1800.86 c rens : 14.02 1 0
1800.19/1800.86 c rins : 0.00 0 0
1800.19/1800.86 c localbranching : 0.00 0 0
1800.19/1800.86 c mutation : 0.00 0 0
1800.19/1800.86 c dins : 0.00 0 0
1800.19/1800.86 c undercover : 0.06 1 0
1800.19/1800.86 c nlp : 0.00 0 0
1800.19/1800.86 c trysol : 0.01 0 0
1800.19/1800.86 c LP : Time Calls Iterations Iter/call Iter/sec
1800.19/1800.86 c primal LP : 1.66 0 0 0.00 0.00
1800.19/1800.86 c dual LP : 225.76 1110 157193 141.62 696.28
1800.19/1800.86 c lex dual LP : 0.00 0 0 0.00 -
1800.19/1800.86 c barrier LP : 0.00 0 0 0.00 -
1800.19/1800.86 c diving/probing LP: 740.62 4733 151727 32.06 204.86
1800.19/1800.86 c strong branching : 265.35 3010 75341 25.03 283.93
1800.19/1800.86 c (at root node) : - 23 2717 118.13 -
1800.19/1800.86 c conflict analysis: 0.00 0 0 0.00 -
1800.19/1800.86 c B&B Tree :
1800.19/1800.86 c number of runs : 1
1800.19/1800.86 c nodes : 185
1800.19/1800.86 c nodes (total) : 185
1800.19/1800.86 c nodes left : 186
1800.19/1800.86 c max depth : 14
1800.19/1800.86 c max depth (total): 14
1800.19/1800.86 c backtracks : 28 (15.1%)
1800.19/1800.86 c delayed cutoffs : 0
1800.19/1800.86 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.19/1800.86 c avg switch length: 2.22
1800.19/1800.86 c switching time : 2.24
1800.19/1800.86 c Solution :
1800.19/1800.86 c Solutions found : 3 (3 improvements)
1800.19/1800.86 c First Solution : +2.90000000000000e+01 (in run 1, after 1 nodes, 128.80 seconds, depth 0, found by <shifting>)
1800.19/1800.86 c Primal Bound : +2.50000000000000e+01 (in run 1, after 159 nodes, 1171.02 seconds, depth 294, found by <fracdiving>)
1800.19/1800.86 c Dual Bound : +1.00000000000000e+00
1800.19/1800.86 c Gap : 2400.00 %
1800.19/1800.86 c Root Dual Bound : +0.00000000000000e+00
1800.19/1800.86 c Root Iterations : 20392
1800.78/1801.41 c Time complete: 1800.8.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666607-1276653223/watcher-2666607-1276653223 -o /tmp/evaluation-result-2666607-1276653223/solver-2666607-1276653223 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666607-1276653223.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 3/106 12536
/proc/meminfo: memFree=1751964/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=8016 CPUtime=0
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1006 0 0 0 0 0 0 0 18 0 1 0 6614232 8208384 925 1992294400 4194304 8223781 140734363631248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 2004 935 348 984 0 1017 0
[startup+0.0180269 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12536
/proc/meminfo: memFree=1751964/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=10712 CPUtime=0.01
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1889 0 0 0 1 0 0 0 18 0 1 0 6614232 10969088 1809 1992294400 4194304 8223781 140734363631248 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 2678 1820 366 984 0 1691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10712
[startup+0.101036 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12536
/proc/meminfo: memFree=1751964/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=19176 CPUtime=0.09
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4029 0 0 0 8 1 0 0 20 0 1 0 6614232 19636224 3948 1992294400 4194304 8223781 140734363631248 18446744073709551615 5652017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 4794 3948 366 984 0 3807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19176
[startup+0.301053 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12536
/proc/meminfo: memFree=1751964/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=38520 CPUtime=0.29
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 8905 0 0 0 26 3 0 0 20 0 1 0 6614232 39444480 8824 1992294400 4194304 8223781 140734363631248 18446744073709551615 6207502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 9630 8824 366 984 0 8643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38520
[startup+0.70109 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12536
/proc/meminfo: memFree=1751964/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=101072 CPUtime=0.69
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 24863 0 0 0 60 9 0 0 20 0 1 0 6614232 103497728 24345 1992294400 4194304 8223781 140734363631248 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 25268 24345 403 984 0 24281 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101072
[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12537
/proc/meminfo: memFree=1644448/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=138576 CPUtime=1.49
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 33263 0 0 0 136 13 0 0 23 0 1 0 6614232 141901824 32745 1992294400 4194304 8223781 140734363631248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 34644 32745 427 984 0 33657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138576
[startup+3.10131 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12537
/proc/meminfo: memFree=1594600/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=209220 CPUtime=3.09
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 50888 0 0 0 289 20 0 0 25 0 1 0 6614232 214241280 50370 1992294400 4194304 8223781 140734363631248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 52305 50370 427 984 0 51318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209220
[startup+6.30061 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12537
/proc/meminfo: memFree=1464896/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=323400 CPUtime=6.29
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 80151 0 0 0 591 38 0 0 25 0 1 0 6614232 331161600 78879 1992294400 4194304 8223781 140734363631248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 80850 78879 427 984 0 79863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 323400
[startup+12.7002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12539
/proc/meminfo: memFree=1304068/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=469948 CPUtime=12.68
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 122869 0 0 0 1202 66 0 0 25 0 1 0 6614232 481226752 112193 1992294400 4194304 8223781 140734363631248 18446744073709551615 6592935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 117487 112193 546 984 0 116500 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 469948
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12539
/proc/meminfo: memFree=1301836/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=478932 CPUtime=25.49
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 134140 0 0 0 2472 77 0 0 25 0 1 0 6614232 490426368 112737 1992294400 4194304 8223781 140734363631248 18446744073709551615 6359696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 119733 112737 543 984 0 118746 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 478932
[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 12539
/proc/meminfo: memFree=1302828/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=474232 CPUtime=51.08
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 297802 0 0 0 4960 148 0 0 25 0 1 0 6614232 485613568 112906 1992294400 4194304 8223781 140734363631248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 118558 112906 564 984 0 117571 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 474232
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12541
/proc/meminfo: memFree=1274928/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=507660 CPUtime=102.27
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 611892 0 0 0 9736 491 0 0 25 0 1 0 6614232 519843840 119281 1992294400 4194304 8223781 140734363631248 18446744073709551615 4424295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 126915 119281 577 984 0 125928 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 507660
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12543
/proc/meminfo: memFree=1269100/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=516296 CPUtime=162.25
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1089404 0 0 0 15545 680 0 0 25 0 1 0 6614232 528687104 120722 1992294400 4194304 8223781 140734363631248 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 129074 120722 573 984 0 128087 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 516296
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12543
/proc/meminfo: memFree=1275052/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=508984 CPUtime=222.24
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1322921 0 0 0 21433 791 0 0 25 0 1 0 6614232 521199616 119397 1992294400 4194304 8223781 140734363631248 18446744073709551615 6599254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 127246 119397 586 984 0 126259 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 508984
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 12545
/proc/meminfo: memFree=1258932/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=524772 CPUtime=282.22
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1601234 0 0 0 27310 912 0 0 25 0 1 0 6614232 537366528 123318 1992294400 4194304 8223781 140734363631248 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 131193 123318 583 984 0 130206 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 524772
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12547
/proc/meminfo: memFree=1255708/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=527436 CPUtime=342.21
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 1826306 0 0 0 33203 1018 0 0 25 0 1 0 6614232 540094464 124074 1992294400 4194304 8223781 140734363631248 18446744073709551615 6446984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 131859 124074 583 984 0 130872 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 527436
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12549
/proc/meminfo: memFree=1257816/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=526604 CPUtime=402.19
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 2149847 0 0 0 39055 1164 0 0 25 0 1 0 6614232 539242496 123748 1992294400 4194304 8223781 140734363631248 18446744073709551615 6557689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 131651 123748 583 984 0 130664 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 526604
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12560
/proc/meminfo: memFree=1254840/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=528768 CPUtime=462.16
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 2307001 0 0 0 44981 1235 0 0 25 0 1 0 6614232 541458432 124189 1992294400 4194304 8223781 140734363631248 18446744073709551615 6564623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 132192 124189 583 984 0 131205 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 528768
[startup+522.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 13060
/proc/meminfo: memFree=1240292/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=531480 CPUtime=522
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 2572551 0 0 0 50847 1353 0 0 25 0 1 0 6614232 544235520 125364 1992294400 4194304 8223781 140734363631248 18446744073709551615 6520924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 132870 125364 583 984 0 131883 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 531480
[startup+582.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 13062
/proc/meminfo: memFree=1240292/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=531192 CPUtime=581.99
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 2763435 0 0 0 56757 1442 0 0 25 0 1 0 6614232 543940608 125319 1992294400 4194304 8223781 140734363631248 18446744073709551615 6003289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 132798 125319 605 984 0 131811 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 531192
[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 13064
/proc/meminfo: memFree=1242276/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=529936 CPUtime=641.98
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 2886058 0 0 0 62691 1507 0 0 25 0 1 0 6614232 542654464 124831 1992294400 4194304 8223781 140734363631248 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 132484 124831 587 984 0 131497 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 529936
[startup+702.302 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13072
/proc/meminfo: memFree=1234588/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=538656 CPUtime=941.9
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4199685 0 0 0 92085 2105 0 0 25 0 1 0 6614232 551583744 126815 1992294400 4194304 8223781 140734363631248 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 134664 126815 587 984 0 133677 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 538656
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13074
/proc/meminfo: memFree=1233844/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=540056 CPUtime=1001.88
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4332321 0 0 0 98022 2166 0 0 25 0 1 0 6614232 553017344 127030 1992294400 4194304 8223781 140734363631248 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135014 127030 587 984 0 134027 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 540056
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13076
/proc/meminfo: memFree=1233472/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=540732 CPUtime=1061.86
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4528962 0 0 0 103922 2264 0 0 25 0 1 0 6614232 553709568 127183 1992294400 4194304 8223781 140734363631248 18446744073709551615 6446798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135183 127183 587 984 0 134196 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 540732
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13076
/proc/meminfo: memFree=1231364/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=541568 CPUtime=1121.86
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4733535 0 0 0 109824 2362 0 0 25 0 1 0 6614232 554565632 127647 1992294400 4194304 8223781 140734363631248 18446744073709551615 6446984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135392 127647 587 984 0 134405 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 541568
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13078
/proc/meminfo: memFree=1229504/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=543012 CPUtime=1181.84
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 4934778 0 0 0 115730 2454 0 0 25 0 1 0 6614232 556044288 128141 1992294400 4194304 8223781 140734363631248 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135753 128141 587 984 0 134766 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 543012
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13080
/proc/meminfo: memFree=1228140/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=543676 CPUtime=1241.82
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5095627 0 0 0 121647 2535 0 0 25 0 1 0 6614232 556724224 128406 1992294400 4194304 8223781 140734363631248 18446744073709551615 6447019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135919 128406 587 984 0 134932 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 543676
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13082
/proc/meminfo: memFree=1230124/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=542588 CPUtime=1301.81
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5276423 0 0 0 127565 2616 0 0 25 0 1 0 6614232 555610112 127916 1992294400 4194304 8223781 140734363631248 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135647 127916 587 984 0 134660 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 542588
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13084
/proc/meminfo: memFree=1227892/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544352 CPUtime=1361.79
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5382359 0 0 0 133505 2674 0 0 25 0 1 0 6614232 557416448 128469 1992294400 4194304 8223781 140734363631248 18446744073709551615 6563049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136088 128469 587 984 0 135101 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 544352
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13084
/proc/meminfo: memFree=1227644/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544524 CPUtime=1421.78
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5411986 0 0 0 139479 2699 0 0 25 0 1 0 6614232 557592576 128558 1992294400 4194304 8223781 140734363631248 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136131 128558 587 984 0 135144 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 544524
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13086
/proc/meminfo: memFree=1227520/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544660 CPUtime=1481.76
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5437486 0 0 0 145456 2720 0 0 25 0 1 0 6614232 557731840 128609 1992294400 4194304 8223781 140734363631248 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136165 128609 587 984 0 135178 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 544660
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=1227520/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544660 CPUtime=1541.74
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5463056 0 0 0 151435 2739 0 0 25 0 1 0 6614232 557731840 128593 1992294400 4194304 8223781 140734363631248 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136165 128593 587 984 0 135178 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 544660
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13090
/proc/meminfo: memFree=1227396/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544660 CPUtime=1601.73
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5489398 0 0 0 157410 2763 0 0 25 0 1 0 6614232 557731840 128593 1992294400 4194304 8223781 140734363631248 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136165 128593 587 984 0 135178 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 544660
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13092
/proc/meminfo: memFree=1227396/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544660 CPUtime=1661.72
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5513409 0 0 0 163386 2786 0 0 25 0 1 0 6614232 557731840 128609 1992294400 4194304 8223781 140734363631248 18446744073709551615 6562879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136165 128609 587 984 0 135178 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 544660
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13092
/proc/meminfo: memFree=1227272/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=544660 CPUtime=1721.7
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5538701 0 0 0 169361 2809 0 0 25 0 1 0 6614232 557731840 128603 1992294400 4194304 8223781 140734363631248 18446744073709551615 6562450 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 136165 128603 587 984 0 135178 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 544660
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13094
/proc/meminfo: memFree=1229380/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=543448 CPUtime=1781.69
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5630627 0 0 0 175308 2861 0 0 25 0 1 0 6614232 556490752 128037 1992294400 4194304 8223781 140734363631248 18446744073709551615 6021436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135862 128037 587 984 0 134875 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 543448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13094
/proc/meminfo: memFree=1227272/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=543452 CPUtime=1800.1
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5663417 0 0 0 177131 2879 0 0 25 0 1 0 6614232 556494848 128447 1992294400 4194304 8223781 140734363631248 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12536/statm: 135863 128447 587 984 0 134876 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 543452
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 13094
/proc/meminfo: memFree=1227272/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=516484 CPUtime=1800.38
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5664367 0 0 0 177159 2879 0 0 25 0 1 0 6614232 528879616 122382 1992294400 4194304 8223781 140734363631248 18446744073709551615 6075548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 129121 122382 589 984 0 128134 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 516484
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13094
/proc/meminfo: memFree=1227272/2059040 swapFree=4187148/4192956
[pid=12536] ppid=12534 vsize=71612 CPUtime=1800.78
/proc/12536/stat : 12536 (pbscip.linux.x8) R 12534 12536 11918 0 -1 4202496 5664462 0 0 0 177194 2884 0 0 25 0 1 0 6614232 73330688 16314 1992294400 4194304 8223781 140734363631248 18446744073709551615 6207026 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12536/statm: 17903 16314 589 984 0 16916 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 71612
Child status: 0
Real time (s): 1801.41
CPU time (s): 1800.81
CPU user time (s): 1771.95
CPU system time (s): 28.8546
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 684272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.95
system time used= 28.8546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5664466
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= 3650
runsolver used 2.93355 second user time and 8.5647 second system time
The end