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-2665323-1276672753.opb>
0.00/0.04 c original problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3129 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.07/0.08 o 0
0.07/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.07/0.08 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20624 impls, 400 clqs
0.49/0.57 c (0.3s) probing: 101/2928 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (2 rounds):
0.49/0.57 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 20624 implications, 400 cliques
0.49/0.57 c presolved problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3129 constraints
0.49/0.57 c 400 constraints of type <setppc>
0.49/0.57 c 2528 constraints of type <and>
0.49/0.57 c 1 constraints of type <linear>
0.49/0.57 c 200 constraints of type <logicor>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.31
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 1.2.1.2
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1799.96
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 1620
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c heuristics/undercover/freq = 0
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.57 c
0.79/0.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.82 c t 0.6s| 1 | 0 | 547 | - | 13M| 0 | 491 |2928 |3129 |2928 |5657 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.79/0.84 o -4
0.79/0.84 c R 0.6s| 1 | 0 | 547 | - | 13M| 0 | 491 |2928 |3129 |2928 |5657 | 0 | 0 | 0 |-1.000000e+02 |-4.000000e+00 | 96.00%
1.19/1.27 o -5
1.19/1.27 c u 0.9s| 1 | 0 | 547 | - | 14M| 0 | 491 |2928 |3129 |2928 |5657 | 0 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
4.89/4.93 c 4.3s| 1 | 0 | 1949 | - | 14M| 0 | 708 |2928 |3129 |2928 |5667 | 10 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
12.28/12.30 c 11.6s| 1 | 0 | 4794 | - | 14M| 0 |1730 |2928 |3129 |2928 |5674 | 17 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
12.28/12.34 o -10
12.28/12.34 c s11.7s| 1 | 0 | 4794 | - | 14M| 0 |1730 |2928 |3129 |2928 |5674 | 17 | 0 | 0 |-1.000000e+02 |-1.000000e+01 | 90.00%
15.89/16.00 c 15.3s| 1 | 0 | 5221 | - | 14M| 0 |1741 |2928 |3129 |2928 |5799 | 142 | 0 | 0 |-1.000000e+02 |-1.000000e+01 | 90.00%
19.49/19.53 c 18.8s| 1 | 0 | 5402 | - | 14M| 0 |1740 |2928 |3129 |2928 |5829 | 172 | 0 | 0 |-1.000000e+02 |-1.000000e+01 | 90.00%
22.88/22.91 c 22.2s| 1 | 0 | 5515 | - | 14M| 0 |1737 |2928 |3129 |2928 |5843 | 186 | 0 | 0 |-1.000000e+02 |-1.000000e+01 | 90.00%
26.18/26.21 c 25.5s| 1 | 0 | 5587 | - | 14M| 0 |1731 |2928 |3129 |2928 |5851 | 194 | 0 | 0 |-1.000000e+02 |-1.000000e+01 | 90.00%
48.57/48.69 c 47.8s| 1 | 2 | 5587 | - | 14M| 0 |1731 |2928 |3129 |2928 |5851 | 194 | 0 | 10 |-1.000000e+02 |-1.000000e+01 | 90.00%
432.16/432.32 o -47
432.16/432.32 c f 428s| 14 | 15 |217242 |16281.2 | 15M| 5 | - |2928 |3154 |2928 |3069 |3857 | 25 | 170 |-9.966577e+01 |-4.700000e+01 | 52.84%
823.92/824.25 o -49
823.92/824.25 c l 815s| 22 | 23 |645018 |30449.1 | 15M| 6 | - |2928 |3259 |2928 |2732 |5566 | 130 | 197 |-9.918227e+01 |-4.900000e+01 | 50.60%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.22/1800.85 c
1800.22/1800.85 c SCIP Status : solving was interrupted [user interrupt]
1800.22/1800.85 c Solving Time (sec) : 1778.52
1800.22/1800.85 c Solving Nodes : 109
1800.22/1800.85 c Primal Bound : -4.90000000000000e+01 (9 solutions)
1800.22/1800.85 c Dual Bound : -9.85210188485016e+01
1800.22/1800.85 c Gap : 50.26 %
1800.22/1800.85 s SATISFIABLE
1800.22/1800.85 v -x385 -x378 -x363 -x375 -x262 -x387 -x398 x331 x303 -x394 x240 x255 x271 -x360 -x239 -x350 -x260 -x283 x370 x297 x231 x306 x334
1800.22/1800.85 v -x292 -x356 -x323 -x393 x257 x349 -x388 -x305 -x301 -x245 -x357 -x361 -x220 -x241 -x230 -x296 -x338 -x314 -x310 -x286 x348 -x312
1800.22/1800.85 v -x246 x329 x307 -x339 x326 -x311 -x376 x337 -x300 -x218 -x217 x365 -x244 x226 -x256 -x358 x284 x335 -x364 x319 -x293 -x242
1800.22/1800.85 v x278 -x396 -x268 -x213 -x380 -x369 -x346 -x281 x395 -x327 -x373 -x330 x308 x333 x397 -x270 -x263 -x325 -x313 -x351 -x318 -x259
1800.22/1800.85 v -x371 -x302 x320 -x315 x344 -x209 -x383 -x299 -x252 -x225 x379 -x359 x392 -x235 -x295 -x219 x264 x279 -x275 -x304 -x207
1800.22/1800.85 v -x391 x352 -x336 -x316 -x267 -x210 -x288 -x345 -x291 -x251 -x340 -x289 -x269 x234 -x381 -x342 x298 -x282 -x317 -x243 x390 -x228
1800.22/1800.85 v -x324 -x354 x389 -x386 x372 -x353 -x223 -x216 -x294 -x208 -x224 -x236 -x214 -x204 -x290 -x266 -x238 -x254 -x341 -x362 x400
1800.22/1800.85 v -x309 -x285 -x203 -x265 -x237 x328 -x347 -x368 -x253 x384 -x332 -x374 x280 -x202 -x377 x367 x355 -x343 -x232 -x205 -x206 -x215
1800.22/1800.85 v -x287 -x229 -x221 -x399 -x261 -x249 -x227 -x201 -x322 -x272 -x258 -x248 x247 -x222 x212 x382 -x274 -x250 -x321 -x233 -x277
1800.22/1800.85 v -x273 -x211 -x366 x276 -x200 x199 -x198 -x197 x196 -x195 x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1800.22/1800.85 v -x182 x181 -x180 -x179 -x178 x177 -x176 -x175 x174 x173 -x172 x171 -x170 x169 x168 -x167 -x166 -x165 -x164 -x163 x162 x161
1800.22/1800.85 v -x160 -x159 -x158 -x157 x156 -x155 x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 x145 -x144 x143 -x142 -x141 -x140 -x139
1800.22/1800.85 v -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117
1800.22/1800.85 v -x116 -x115 x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 x95
1800.22/1800.85 v -x94 -x93 x92 -x91 -x90 x89 x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69
1800.22/1800.85 v -x68 x67 x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42
1800.22/1800.85 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16
1800.22/1800.85 v -x15 -x14 x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1800.22/1800.85 c SCIP Status : solving was interrupted [user interrupt]
1800.22/1800.85 c Solving Time : 1778.52
1800.22/1800.85 c Original Problem :
1800.22/1800.85 c Problem name : HOME/instance-2665323-1276672753.opb
1800.22/1800.85 c Variables : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.22/1800.85 c Constraints : 3129 initial, 3129 maximal
1800.22/1800.85 c Presolved Problem :
1800.22/1800.85 c Problem name : t_HOME/instance-2665323-1276672753.opb
1800.22/1800.85 c Variables : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.22/1800.85 c Constraints : 3129 initial, 3324 maximal
1800.22/1800.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.22/1800.85 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.22/1800.85 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c implics : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c probing : 0.07 0 0 0 0 0 0 0 0
1800.22/1800.85 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c and : 0.18 0 0 0 0 0 0 0 0
1800.22/1800.85 c linear : 0.03 0 0 0 0 0 0 0 0
1800.22/1800.85 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.85 c root node : - 0 - - 0 - - - -
1800.22/1800.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.22/1800.85 c integral : 0 0 0 109 0 0 0 0 0 218
1800.22/1800.85 c setppc : 400 6 20923 0 0 30 108 0 0 0
1800.22/1800.85 c and : 2528 382 20892 0 0 73 2678 24643 0 0
1800.22/1800.85 c linear : 1 6 20817 0 0 0 0 0 0 0
1800.22/1800.85 c logicor : 200+ 6 2069 0 0 0 67 0 0 0
1800.22/1800.85 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.22/1800.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.22/1800.85 c integral : 376.90 0.00 0.00 376.90 0.00
1800.22/1800.85 c setppc : 0.66 0.00 0.66 0.00 0.00
1800.22/1800.85 c and : 4.98 0.91 4.07 0.00 0.00
1800.22/1800.85 c linear : 0.58 0.13 0.45 0.00 0.00
1800.22/1800.85 c logicor : 0.02 0.00 0.02 0.00 0.00
1800.22/1800.85 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.22/1800.85 c Propagators : Time Calls Cutoffs DomReds
1800.22/1800.85 c vbounds : 0.05 2 0 0
1800.22/1800.85 c rootredcost : 0.03 3 0 0
1800.22/1800.85 c pseudoobj : 0.37 20735 0 0
1800.22/1800.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.22/1800.86 c propagation : 0.01 103 103 103 2.3 1 200.0 -
1800.22/1800.86 c infeasible LP : 0.11 48 48 778 76.3 0 0.0 0
1800.22/1800.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.22/1800.86 c applied globally : - - - 195 44.5 - - -
1800.22/1800.86 c applied locally : - - - 0 0.0 - - -
1800.22/1800.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.22/1800.86 c cut pool : 0.00 5 - - 4 - (maximal pool size: 228)
1800.22/1800.86 c redcost : 0.15 382 0 0 0 0
1800.22/1800.86 c impliedbounds : 0.02 6 0 0 272 0
1800.22/1800.86 c intobj : 0.00 0 0 0 0 0
1800.22/1800.86 c cgmip : 0.00 0 0 0 0 0
1800.22/1800.86 c gomory : 6.57 6 0 0 436 0
1800.22/1800.86 c strongcg : 6.27 6 0 0 505 0
1800.22/1800.86 c cmir : 0.35 6 0 0 0 0
1800.22/1800.86 c flowcover : 0.35 6 0 0 0 0
1800.22/1800.86 c clique : 0.49 6 0 0 39 0
1800.22/1800.86 c zerohalf : 0.00 0 0 0 0 0
1800.22/1800.86 c mcf : 0.01 1 0 0 0 0
1800.22/1800.86 c rapidlearning : 1.88 1 0 0 0 0
1800.22/1800.86 c Pricers : Time Calls Vars
1800.22/1800.86 c problem variables: 0.00 0 0
1800.22/1800.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.22/1800.86 c relpscost : 376.90 109 0 0 0 0 218
1800.22/1800.86 c pscost : 0.00 0 0 0 0 0 0
1800.22/1800.86 c inference : 0.00 0 0 0 0 0 0
1800.22/1800.86 c mostinf : 0.00 0 0 0 0 0 0
1800.22/1800.86 c leastinf : 0.00 0 0 0 0 0 0
1800.22/1800.86 c fullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.86 c allfullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.86 c random : 0.00 0 0 0 0 0 0
1800.22/1800.86 c Primal Heuristics : Time Calls Found
1800.22/1800.86 c LP solutions : 0.00 - 0
1800.22/1800.86 c pseudo solutions : 0.00 - 0
1800.22/1800.86 c crossover : 0.00 0 0
1800.22/1800.86 c oneopt : 0.01 4 0
1800.22/1800.86 c trivial : 0.00 2 3
1800.22/1800.86 c simplerounding : 0.01 0 0
1800.22/1800.86 c zirounding : 0.06 109 0
1800.22/1800.86 c rounding : 4.92 392 1
1800.22/1800.86 c shifting : 0.50 25 2
1800.22/1800.86 c intshifting : 0.00 0 0
1800.22/1800.86 c twoopt : 0.00 0 0
1800.22/1800.86 c fixandinfer : 0.00 0 0
1800.22/1800.86 c feaspump : 0.00 0 0
1800.22/1800.86 c coefdiving : 68.78 2 0
1800.22/1800.86 c pscostdiving : 70.16 3 0
1800.22/1800.86 c fracdiving : 178.05 7 1
1800.22/1800.86 c veclendiving : 78.46 2 0
1800.22/1800.86 c intdiving : 0.00 0 0
1800.22/1800.86 c actconsdiving : 0.00 0 0
1800.22/1800.86 c objpscostdiving : 91.43 1 0
1800.22/1800.86 c rootsoldiving : 13.97 3 0
1800.22/1800.86 c linesearchdiving : 222.04 12 1
1800.22/1800.86 c guideddiving : 80.75 2 0
1800.22/1800.86 c octane : 0.00 0 0
1800.22/1800.86 c rens : 0.01 0 0
1800.22/1800.86 c rins : 0.00 0 0
1800.22/1800.86 c localbranching : 0.00 0 0
1800.22/1800.86 c mutation : 0.00 0 0
1800.22/1800.86 c dins : 0.00 0 0
1800.22/1800.86 c undercover : 0.35 1 1
1800.22/1800.86 c nlp : 0.00 0 0
1800.22/1800.86 c trysol : 0.00 0 0
1800.22/1800.86 c LP : Time Calls Iterations Iter/call Iter/sec
1800.22/1800.86 c primal LP : 74.47 0 0 0.00 0.00
1800.22/1800.86 c dual LP : 498.43 392 433513 1105.90 869.76
1800.22/1800.86 c lex dual LP : 0.00 0 0 0.00 -
1800.22/1800.86 c barrier LP : 0.00 0 0 0.00 -
1800.22/1800.86 c diving/probing LP: 765.49 16099 1072432 66.61 1400.97
1800.22/1800.86 c strong branching : 376.74 506 327033 646.31 868.06
1800.22/1800.86 c (at root node) : - 10 10000 1000.00 -
1800.22/1800.86 c conflict analysis: 0.00 0 0 0.00 -
1800.22/1800.86 c B&B Tree :
1800.22/1800.86 c number of runs : 1
1800.22/1800.86 c nodes : 109
1800.22/1800.86 c nodes (total) : 109
1800.22/1800.86 c nodes left : 110
1800.22/1800.86 c max depth : 13
1800.22/1800.86 c max depth (total): 13
1800.22/1800.86 c backtracks : 80 (73.4%)
1800.22/1800.86 c delayed cutoffs : 0
1800.22/1800.86 c repropagations : 7 (2 domain reductions, 0 cutoffs)
1800.22/1800.86 c avg switch length: 6.73
1800.22/1800.86 c switching time : 74.52
1800.22/1800.86 c Solution :
1800.22/1800.86 c Solutions found : 9 (6 improvements)
1800.22/1800.86 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.22/1800.86 c Primal Bound : -4.90000000000000e+01 (in run 1, after 22 nodes, 815.31 seconds, depth 486, found by <linesearchdiving>)
1800.22/1800.86 c Dual Bound : -9.85210188485016e+01
1800.22/1800.86 c Gap : 50.26 %
1800.22/1800.86 c Root Dual Bound : -9.99999999999998e+01
1800.22/1800.86 c Root Iterations : 5587
1801.02/1801.61 c Time complete: 1801.04.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665323-1276672753/watcher-2665323-1276672753 -o /tmp/evaluation-result-2665323-1276672753/solver-2665323-1276672753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665323-1276672753.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 9281
/proc/meminfo: memFree=1608732/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=9288 CPUtime=0
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 1060 0 0 0 0 0 0 0 18 0 1 0 42878960 9510912 980 1992294400 4194304 9819077 140734745364432 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9281/statm: 2322 989 371 1374 0 943 0
[startup+0.084323 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9281
/proc/meminfo: memFree=1608732/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=21564 CPUtime=0.07
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 4504 0 0 0 6 1 0 0 20 0 1 0 42878960 22081536 4070 1992294400 4194304 9819077 140734745364432 18446744073709551615 4965261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 5391 4070 464 1374 0 4012 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21564
[startup+0.101327 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9281
/proc/meminfo: memFree=1608732/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=23676 CPUtime=0.09
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 5027 0 0 0 8 1 0 0 20 0 1 0 42878960 24244224 4593 1992294400 4194304 9819077 140734745364432 18446744073709551615 6180942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 5919 4593 478 1374 0 4540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23676
[startup+0.301348 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9281
/proc/meminfo: memFree=1608732/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=23772 CPUtime=0.29
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 5613 0 0 0 20 9 0 0 20 0 1 0 42878960 24342528 4665 1992294400 4194304 9819077 140734745364432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 5943 4668 499 1374 0 4564 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23772
[startup+0.701395 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9281
/proc/meminfo: memFree=1608732/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=40264 CPUtime=0.69
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 10536 0 0 0 48 21 0 0 20 0 1 0 42878960 41230336 8054 1992294400 4194304 9819077 140734745364432 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 10066 8054 635 1374 0 8687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40264
[startup+1.50049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1559620/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=49876 CPUtime=1.49
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 24702 0 0 0 120 29 0 0 23 0 1 0 42878960 51073024 10220 1992294400 4194304 9819077 140734745364432 18446744073709551615 6047480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 12469 10220 694 1374 0 11090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49876
[startup+3.10067 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1553544/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=69964 CPUtime=3.09
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 31787 0 0 0 256 53 0 0 25 0 1 0 42878960 71643136 14992 1992294400 4194304 9819077 140734745364432 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 17491 14992 712 1374 0 16112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69964
[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1566440/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=51096 CPUtime=6.29
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 32775 0 0 0 572 57 0 0 25 0 1 0 42878960 52322304 11013 1992294400 4194304 9819077 140734745364432 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 12774 11013 712 1374 0 11395 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51096
[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1566068/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=51924 CPUtime=12.69
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 37748 0 0 0 1207 62 0 0 25 0 1 0 42878960 53170176 11064 1992294400 4194304 9819077 140734745364432 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 12981 11064 712 1374 0 11602 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51924
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1566316/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=52204 CPUtime=25.48
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 39775 0 0 0 2481 67 0 0 25 0 1 0 42878960 53456896 11121 1992294400 4194304 9819077 140734745364432 18446744073709551615 7326297 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 13051 11121 712 1374 0 11672 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52204
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=1566440/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=49872 CPUtime=51.07
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 62848 0 0 0 5022 85 0 0 25 0 1 0 42878960 51068928 11078 1992294400 4194304 9819077 140734745364432 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 12468 11078 723 1374 0 11089 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49872
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9284
/proc/meminfo: memFree=1566068/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58104 CPUtime=102.27
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 114445 0 0 0 10105 122 0 0 25 0 1 0 42878960 59498496 11236 1992294400 4194304 9819077 140734745364432 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14526 11236 737 1374 0 13147 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58104
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9286
/proc/meminfo: memFree=1565944/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=59068 CPUtime=162.24
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 181532 0 0 0 16059 165 0 0 25 0 1 0 42878960 60485632 11278 1992294400 4194304 9819077 140734745364432 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14767 11278 737 1374 0 13388 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59068
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9288
/proc/meminfo: memFree=1566192/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=53328 CPUtime=222.22
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 282985 0 0 0 21991 231 0 0 25 0 1 0 42878960 54607872 11150 1992294400 4194304 9819077 140734745364432 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 13332 11150 737 1374 0 11953 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 53328
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9290
/proc/meminfo: memFree=1565944/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=63052 CPUtime=282.21
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 367701 0 0 0 27936 285 0 0 25 0 1 0 42878960 64565248 11206 1992294400 4194304 9819077 140734745364432 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15763 11206 737 1374 0 14384 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 63052
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9290
/proc/meminfo: memFree=1565076/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=55832 CPUtime=342.19
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 456875 0 0 0 33874 345 0 0 25 0 1 0 42878960 57171968 11398 1992294400 4194304 9819077 140734745364432 18446744073709551615 6392680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 13958 11398 738 1374 0 12579 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 55832
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9292
/proc/meminfo: memFree=1564828/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=65852 CPUtime=402.16
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 549280 0 0 0 39816 400 0 0 25 0 1 0 42878960 67432448 11445 1992294400 4194304 9819077 140734745364432 18446744073709551615 6192329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 16463 11445 738 1374 0 15084 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 65852
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9294
/proc/meminfo: memFree=1562844/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58420 CPUtime=462.15
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 670912 0 0 0 45746 469 0 0 25 0 1 0 42878960 59822080 12135 1992294400 4194304 9819077 140734745364432 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14605 12135 739 1374 0 13226 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 58420
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9296
/proc/meminfo: memFree=1562968/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58448 CPUtime=522.13
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 763618 0 0 0 51689 524 0 0 25 0 1 0 42878960 59850752 12131 1992294400 4194304 9819077 140734745364432 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14612 12131 739 1374 0 13233 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 58448
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9298
/proc/meminfo: memFree=1562968/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=57880 CPUtime=582.11
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 858148 0 0 0 57631 580 0 0 25 0 1 0 42878960 59269120 11931 1992294400 4194304 9819077 140734745364432 18446744073709551615 6391502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14470 11931 739 1374 0 13091 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 57880
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9298
/proc/meminfo: memFree=1562472/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58060 CPUtime=642.1
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 946582 0 0 0 63573 637 0 0 25 0 1 0 42878960 59453440 12056 1992294400 4194304 9819077 140734745364432 18446744073709551615 7301587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14515 12056 739 1374 0 13136 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 58060
[startup+702.302 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9306
/proc/meminfo: memFree=1562348/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=59908 CPUtime=941.99
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 1655578 0 0 0 93177 1022 0 0 25 0 1 0 42878960 61345792 12122 1992294400 4194304 9819077 140734745364432 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14977 12122 739 1374 0 13598 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 59908
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9308
/proc/meminfo: memFree=1562224/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=59696 CPUtime=1001.97
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 1821556 0 0 0 99078 1119 0 0 25 0 1 0 42878960 61128704 12018 1992294400 4194304 9819077 140734745364432 18446744073709551615 7311333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14924 12018 739 1374 0 13545 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 59696
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9310
/proc/meminfo: memFree=1561852/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=69856 CPUtime=1061.95
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 1979721 0 0 0 104991 1204 0 0 25 0 1 0 42878960 71532544 12133 1992294400 4194304 9819077 140734745364432 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 17464 12133 739 1374 0 16085 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 69856
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9312
/proc/meminfo: memFree=1561604/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=70360 CPUtime=1121.93
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2138827 0 0 0 110906 1287 0 0 25 0 1 0 42878960 72048640 12148 1992294400 4194304 9819077 140734745364432 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 17590 12148 739 1374 0 16211 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 70360
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9314
/proc/meminfo: memFree=1561976/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=57936 CPUtime=1181.91
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2316876 0 0 0 116813 1378 0 0 25 0 1 0 42878960 59326464 12037 1992294400 4194304 9819077 140734745364432 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14484 12037 739 1374 0 13105 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 57936
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9314
/proc/meminfo: memFree=1560612/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=60664 CPUtime=1241.89
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2457259 0 0 0 122735 1454 0 0 25 0 1 0 42878960 62119936 12221 1992294400 4194304 9819077 140734745364432 18446744073709551615 7302712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15166 12221 739 1374 0 13787 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 60664
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9316
/proc/meminfo: memFree=1561356/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=69676 CPUtime=1301.88
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2637987 0 0 0 128644 1544 0 0 25 0 1 0 42878960 71348224 12238 1992294400 4194304 9819077 140734745364432 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 17419 12238 739 1374 0 16040 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 69676
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9318
/proc/meminfo: memFree=1560860/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=61696 CPUtime=1361.85
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2805459 0 0 0 134555 1630 0 0 25 0 1 0 42878960 63176704 12305 1992294400 4194304 9819077 140734745364432 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15424 12305 739 1374 0 14045 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 61696
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9320
/proc/meminfo: memFree=1560488/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=61828 CPUtime=1421.85
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 2943729 0 0 0 140484 1701 0 0 25 0 1 0 42878960 63311872 12613 1992294400 4194304 9819077 140734745364432 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15457 12613 739 1374 0 14078 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 61828
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9322
/proc/meminfo: memFree=1560984/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=59984 CPUtime=1481.82
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3094988 0 0 0 146407 1775 0 0 25 0 1 0 42878960 61423616 12220 1992294400 4194304 9819077 140734745364432 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14996 12220 739 1374 0 13617 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 59984
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9322
/proc/meminfo: memFree=1560860/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=61704 CPUtime=1541.8
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3260392 0 0 0 152316 1864 0 0 25 0 1 0 42878960 63184896 12330 1992294400 4194304 9819077 140734745364432 18446744073709551615 7318417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15426 12330 739 1374 0 14047 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 61704
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9324
/proc/meminfo: memFree=1560240/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=61676 CPUtime=1601.78
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3391724 0 0 0 158246 1932 0 0 25 0 1 0 42878960 63156224 12379 1992294400 4194304 9819077 140734745364432 18446744073709551615 7292028 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15419 12379 739 1374 0 14040 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 61676
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9326
/proc/meminfo: memFree=1560240/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=60888 CPUtime=1661.77
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3516933 0 0 0 164183 1994 0 0 25 0 1 0 42878960 62349312 12484 1992294400 4194304 9819077 140734745364432 18446744073709551615 7301632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 15222 12484 739 1374 0 13843 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 60888
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9328
/proc/meminfo: memFree=1559868/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58640 CPUtime=1721.75
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3639687 0 0 0 170117 2058 0 0 25 0 1 0 42878960 60047360 12219 1992294400 4194304 9819077 140734745364432 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14660 12220 739 1374 0 13281 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 58640
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9330
/proc/meminfo: memFree=1559744/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=58780 CPUtime=1781.73
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3827867 0 0 0 176023 2150 0 0 25 0 1 0 42878960 60190720 12382 1992294400 4194304 9819077 140734745364432 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 14695 12382 739 1374 0 13316 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 58780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9330
/proc/meminfo: memFree=1558752/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=72544 CPUtime=1800.04
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3868137 0 0 0 177833 2171 0 0 25 0 1 0 42878960 74285056 12714 1992294400 4194304 9819077 140734745364432 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9281/statm: 18136 12714 739 1374 0 16757 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
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 9330
/proc/meminfo: memFree=1558752/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=63092 CPUtime=1800.82
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3868652 0 0 0 177911 2171 0 0 25 0 1 0 42878960 64606208 12660 1992294400 4194304 9819077 140734745364432 18446744073709551615 7291660 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9281/statm: 15773 12660 740 1374 0 14394 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 63092
[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9330
/proc/meminfo: memFree=1558752/2059040 swapFree=4140048/4192956
[pid=9281] ppid=9279 vsize=60048 CPUtime=1801.02
/proc/9281/stat : 9281 (pbscip.linux.x8) R 9279 9281 8148 0 -1 4202496 3868669 0 0 0 177931 2171 0 0 25 0 1 0 42878960 61489152 11899 1992294400 4194304 9819077 140734745364432 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9281/statm: 15012 11899 740 1374 0 13633 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 60048
Child status: 0
Real time (s): 1801.62
CPU time (s): 1801.05
CPU user time (s): 1779.33
CPU system time (s): 21.7227
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 72560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.33
system time used= 21.7227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3868673
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= 4854
runsolver used 3.11053 second user time and 8.37673 second system time
The end