0.00/0.04 c SCIP version 1.1.0.7
0.00/0.04 c LP-Solver SoPlex 1.4.1
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c read problem <HOME/instance-3731881-1338693851.opb>
0.00/0.04 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.07/0.08 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.09/0.11 c (round 2) 0 del vars, 2880 del conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.19/0.21 c (0.1s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 0 deleted vars, 2880 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.19/0.21 c 4440 implications, 210 cliques
0.19/0.21 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.19/0.21 c 1734 constraints of type <knapsack>
0.19/0.21 c 210 constraints of type <setppc>
0.19/0.21 c 2532 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.15
0.19/0.21 c OPT-LIN
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = c 13950
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = c 1791
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = c 10000
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving problem
0.19/0.21 c
0.49/0.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c 0.4s| 1 | 0 | 1353 |8761k| 0 | 235 | 540 |4476 |4476 | 540 |4476 | 0 | 0 | 0 | 4.800000e+01 | -- | Inf
3.09/3.15 c 3.1s| 1 | 0 | 4327 | 10M| 0 | 263 | 540 |4476 |4476 | 540 |4482 | 6 | 0 | 0 | 4.800000e+01 | -- | Inf
3.88/3.96 c 3.9s| 1 | 0 | 4810 | 12M| 0 | 252 | 540 |4476 |4476 | 540 |4493 | 17 | 0 | 0 | 4.800000e+01 | -- | Inf
4.69/4.79 c 4.7s| 1 | 0 | 5197 | 14M| 0 | 261 | 540 |4476 |4476 | 540 |4501 | 25 | 0 | 0 | 4.800000e+01 | -- | Inf
5.99/6.01 c 5.9s| 1 | 0 | 5647 | 15M| 0 | 266 | 540 |4476 |4476 | 540 |4509 | 33 | 0 | 0 | 4.800000e+01 | -- | Inf
6.79/6.89 c 6.8s| 1 | 0 | 5894 | 17M| 0 | 276 | 540 |4476 |4476 | 540 |4516 | 40 | 0 | 0 | 4.800000e+01 | -- | Inf
7.88/7.93 c 7.8s| 1 | 0 | 6313 | 20M| 0 | 274 | 540 |4476 |4476 | 540 |4523 | 47 | 0 | 0 | 4.800000e+01 | -- | Inf
15.99/16.03 c 15.9s| 1 | 2 | 6313 | 20M| 0 | 274 | 540 |4476 |4476 | 540 |4523 | 47 | 0 | 24 | 4.800000e+01 | -- | Inf
71.26/71.34 o 84
71.26/71.34 c v71.0s| 55 | 56 | 30485 | 20M| 18 | - | 540 |4493 |2528 | 540 |4505 | 47 | 17 | 228 | 4.800000e+01 | 8.400000e+01 | 75.00%
354.91/355.02 o 82
354.91/355.02 c g 354s| 1416 | 1028 |620496 | 23M| 58 | - | 540 |5085 |3367 | 540 |4505 | 47 |1476 | 994 | 4.800000e+01 | 8.200000e+01 | 70.83%
411.90/412.01 o 80
411.90/412.01 c F 410s| 1753 | 1240 |750114 | 23M| 60 | 0 | 540 |5120 |3712 | 540 |4505 | 47 |1860 |1100 | 4.800000e+01 | 8.000000e+01 | 66.67%
479.09/479.20 o 72
479.09/479.20 c v 477s| 2227 | 1500 |890186 | 24M| 60 | - | 540 |5117 |3429 | 540 |4505 | 47 |2231 |1304 | 4.800000e+01 | 7.200000e+01 | 50.00%
1384.34/1384.61 c 1379s| 10000 | 6370 | 3060k| 38M| 63 | 159 | 540 |5163 |3756 | 540 |4505 | 47 |7968 |2811 | 4.800000e+01 | 7.200000e+01 | 50.00%
1797.98/1798.35 c
1797.98/1798.35 c SCIP Status : solving was interrupted [time limit reached]
1797.98/1798.35 c Solving Time (sec) : 1791.00
1797.98/1798.35 c Solving Nodes : 13684
1797.98/1798.35 c Primal Bound : +7.20000000000000e+01 (5 solutions)
1797.98/1798.35 c Dual Bound : +4.80000000000000e+01
1797.98/1798.35 c Gap : 50.00 %
1797.98/1798.35 c NODE 13684
1797.98/1798.35 c DUAL BOUND 48
1797.98/1798.35 c PRIMAL BOUND 72
1797.98/1798.35 c GAP 0.5
1797.98/1798.35 s SATISFIABLE
1797.98/1798.35 v -x325 x289 -x253 -x217 x181 x145 -x109 -x73 x37 x1 x360 -x324 x288 -x252 x216 x180 -x144 -x108 -x72 x36 -x353 x317 x281 x245 -x209
1797.98/1798.35 v -x173 -x137 x101 x65 -x29 x346 x310 -x274 x238 x202 -x166 x130 -x94 -x58 -x22 -x339 -x303 -x267 x231 -x195 x159 x123 x87
1797.98/1798.35 v -x51 x15 x332 -x296 x260 -x224 -x188 -x152 x116 x80 x44 -x8 -x359 x323 -x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322
1797.98/1798.35 v -x286 x250 -x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 -x177 x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248
1797.98/1798.35 v -x212 -x176 -x140 x104 -x68 -x32 -x355 -x319 -x283 -x247 -x211 -x175 -x139 -x103 x67 -x31 -x354 -x318 -x282 -x246 -x210
1797.98/1798.35 v -x174 -x138 -x102 -x66 x30 x352 -x316 -x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 x171 -x135
1797.98/1798.35 v -x99 -x63 -x27 -x350 -x314 -x278 -x242 -x206 -x170 x134 -x98 -x62 -x26 -x349 -x313 -x277 -x241 x205 -x169 -x133 -x97 -x61 -x25
1797.98/1798.35 v -x348 -x312 -x276 -x240 -x204 x168 -x132 -x96 -x60 -x24 -x347 -x311 x275 -x239 -x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309
1797.98/1798.35 v -x273 -x237 -x201 -x165 -x129 x93 -x57 -x21 -x344 -x308 -x272 -x236 -x200 -x164 -x128 -x92 x56 -x20 -x343 -x307 -x271 -x235
1797.98/1798.35 v -x199 -x163 -x127 -x91 -x55 x19 -x342 -x306 x270 -x234 -x198 -x162 -x126 -x90 -x54 -x18 -x341 -x305 -x269 -x233 -x197 -x161 -x125
1797.98/1798.35 v -x89 x53 -x17 -x340 -x304 -x268 -x232 x196 -x160 -x124 -x88 -x52 -x16 x338 -x302 -x266 -x230 -x194 -x158 -x122 -x86 -x50
1797.98/1798.35 v -x14 -x337 x301 -x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 -x300 -x264 -x228 x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299
1797.98/1798.35 v -x263 x227 -x191 -x155 -x119 -x83 -x47 -x11 -x334 x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
1797.98/1798.35 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 -x259 -x223 -x187 x151 -x115 -x79 -x43 -x7 x330 -x294 -x258 -x222 -x186 -x150
1797.98/1798.35 v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 -x185 -x149 -x113 x77 -x41 -x5 -x328 -x292 -x256 -x220 -x184 -x148 x112 -x76 -x40
1797.98/1798.35 v -x4 -x327 -x291 -x255 x219 -x183 -x147 -x111 -x75 -x39 -x3 -x326 -x290 x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 x540 x539
1797.98/1798.35 v -x538 -x537 x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1797.98/1798.35 v -x516 -x515 -x514 -x513 -x512 x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495
1797.98/1798.35 v -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 x474 -x473
1797.98/1798.35 v -x472 -x471 x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452
1797.98/1798.35 v x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 x435 x434 x433 -x432 -x431 -x430
1797.98/1798.35 v -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408
1797.98/1798.35 v x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386
1797.98/1798.35 v -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 x365
1797.98/1798.35 v x364 -x363 x362 -x361
1797.98/1798.35 c SCIP Status : solving was interrupted [time limit reached]
1797.98/1798.35 c Solving Time : 1791.00
1797.98/1798.35 c Original Problem :
1797.98/1798.35 c Problem name : HOME/instance-3731881-1338693851.opb
1797.98/1798.35 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.98/1798.35 c Constraints : 4476 initial, 4476 maximal
1797.98/1798.35 c Presolved Problem :
1797.98/1798.35 c Problem name : t_HOME/instance-3731881-1338693851.opb
1797.98/1798.35 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.98/1798.35 c Constraints : 4476 initial, 5366 maximal
1797.98/1798.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.98/1798.35 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c implics : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c probing : 0.07 0 0 0 0 0 0 0 0
1797.98/1798.35 c knapsack : 0.05 0 0 0 0 0 0 3360 5040
1797.98/1798.35 c setppc : 0.00 0 0 0 0 0 2880 0 0
1797.98/1798.35 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.98/1798.35 c root node : - 0 - - 0 - - - -
1797.98/1798.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.98/1798.35 c integral : 0 0 0 11451 0 16 231 0 0 22586
1797.98/1798.35 c knapsack : 1734 6 95080 0 1 33 28204 0 0 0
1797.98/1798.35 c setppc : 210 6 95047 0 1 886 187707 0 0 0
1797.98/1798.35 c logicor : 2532+ 6 59544 0 1 403 98323 0 0 0
1797.98/1798.35 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.98/1798.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.98/1798.35 c integral : 301.54 0.00 0.00 301.54 0.00
1797.98/1798.35 c knapsack : 3.27 0.00 3.27 0.00 0.00
1797.98/1798.35 c setppc : 0.62 0.00 0.62 0.00 0.00
1797.98/1798.35 c logicor : 1.41 0.00 1.41 0.00 0.00
1797.98/1798.35 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.98/1798.35 c Propagators : Time Calls Cutoffs DomReds
1797.98/1798.35 c rootredcost : 0.01 4 0 0
1797.98/1798.35 c pseudoobj : 0.31 94010 8 14
1797.98/1798.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.98/1798.35 c propagation : 0.07 1330 1329 10241 30.1 381 9.5 -
1797.98/1798.35 c infeasible LP : 0.19 1207 835 9199 46.9 125 7.6 0
1797.98/1798.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.98/1798.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.98/1798.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.98/1798.35 c applied globally : - - - 10755 26.2 - - -
1797.98/1798.35 c applied locally : - - - 4 70.0 - - -
1797.98/1798.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.98/1798.35 c cut pool : 0.00 5 - - 26 - (maximal pool size: 1627)
1797.98/1798.35 c redcost : 0.14 12371 0 8458 0 0
1797.98/1798.35 c impliedbounds : 0.00 6 0 0 0 0
1797.98/1798.35 c intobj : 0.00 0 0 0 0 0
1797.98/1798.35 c gomory : 3.20 6 0 0 343 0
1797.98/1798.35 c strongcg : 1.11 6 0 0 2667 0
1797.98/1798.35 c cmir : 0.09 6 0 0 0 0
1797.98/1798.35 c flowcover : 0.11 6 0 0 0 0
1797.98/1798.35 c clique : 0.01 6 0 0 45 0
1797.98/1798.35 c zerohalf : 0.00 0 0 0 0 0
1797.98/1798.35 c mcf : 0.00 1 0 0 0 0
1797.98/1798.35 c Pricers : Time Calls Vars
1797.98/1798.35 c problem variables: 0.00 0 0
1797.98/1798.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.98/1798.35 c relpscost : 301.53 11451 16 231 0 0 22586
1797.98/1798.35 c pscost : 0.00 0 0 0 0 0 0
1797.98/1798.35 c inference : 0.00 1 0 0 0 0 2
1797.98/1798.35 c mostinf : 0.00 0 0 0 0 0 0
1797.98/1798.35 c leastinf : 0.00 0 0 0 0 0 0
1797.98/1798.35 c fullstrong : 0.00 0 0 0 0 0 0
1797.98/1798.35 c allfullstrong : 0.00 0 0 0 0 0 0
1797.98/1798.35 c random : 0.00 0 0 0 0 0 0
1797.98/1798.35 c Primal Heuristics : Time Calls Found
1797.98/1798.35 c LP solutions : 0.00 - 0
1797.98/1798.35 c pseudo solutions : 0.00 - 0
1797.98/1798.35 c oneopt : 0.01 4 0
1797.98/1798.35 c crossover : 0.05 1 0
1797.98/1798.35 c veclendiving : 57.28 160 2
1797.98/1798.35 c linesearchdiving : 31.89 160 0
1797.98/1798.35 c guideddiving : 31.39 160 1
1797.98/1798.35 c coefdiving : 56.38 160 0
1797.98/1798.35 c simplerounding : 0.01 0 0
1797.98/1798.35 c rounding : 0.44 1462 0
1797.98/1798.35 c shifting : 0.39 435 0
1797.98/1798.35 c intshifting : 0.00 0 0
1797.98/1798.35 c fixandinfer : 0.00 0 0
1797.98/1798.35 c feaspump : 9.23 14 1
1797.98/1798.35 c pscostdiving : 38.51 161 0
1797.98/1798.35 c fracdiving : 29.34 161 0
1797.98/1798.35 c intdiving : 0.00 0 0
1797.98/1798.35 c actconsdiving : 0.00 0 0
1797.98/1798.35 c objpscostdiving : 26.78 38 1
1797.98/1798.35 c rootsoldiving : 18.56 46 0
1797.98/1798.35 c octane : 0.00 0 0
1797.98/1798.35 c rens : 0.00 0 0
1797.98/1798.35 c rins : 0.00 0 0
1797.98/1798.35 c localbranching : 0.00 0 0
1797.98/1798.35 c mutation : 0.00 0 0
1797.98/1798.35 c dins : 0.00 0 0
1797.98/1798.35 c LP : Time Calls Iterations Iter/call Iter/sec
1797.98/1798.35 c primal LP : 0.00 0 0 0.00 -
1797.98/1798.35 c dual LP : 1172.58 13233 3346509 252.89 2853.97
1797.98/1798.35 c barrier LP : 0.00 0 0 0.00 -
1797.98/1798.35 c diving/probing LP: 286.44 30072 780068 25.94 2723.32
1797.98/1798.35 c strong branching : 300.88 3243 838956 258.70 2788.34
1797.98/1798.35 c (at root node) : - 24 18753 781.38 -
1797.98/1798.35 c conflict analysis: 0.00 0 0 0.00 -
1797.98/1798.35 c B&B Tree :
1797.98/1798.35 c number of runs : 1
1797.98/1798.35 c nodes : 13684
1797.98/1798.35 c nodes (total) : 13684
1797.98/1798.35 c nodes left : 8795
1797.98/1798.35 c max depth : 63
1797.98/1798.35 c max depth (total): 63
1797.98/1798.35 c backtracks : 2000 (14.6%)
1797.98/1798.35 c delayed cutoffs : 67
1797.98/1798.35 c repropagations : 1840 (7547 domain reductions, 55 cutoffs)
1797.98/1798.35 c avg switch length: 5.66
1797.98/1798.35 c switching time : 2.21
1797.98/1798.35 c Solution :
1797.98/1798.35 c Solutions found : 5 (4 improvements)
1797.98/1798.35 c Primal Bound : +7.20000000000000e+01 (in run 1, after 2227 nodes, 477.20 seconds, depth 19, found by <veclendiving>)
1797.98/1798.35 c Dual Bound : +4.80000000000000e+01
1797.98/1798.35 c Gap : 50.00 %
1797.98/1798.35 c Root Dual Bound : +4.80000000000000e+01
1797.98/1798.38 c Time complete: 1798.06.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731881-1338693851/watcher-3731881-1338693851 -o /tmp/evaluation-result-3731881-1338693851/solver-3731881-1338693851 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731881-1338693851.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26982
/proc/meminfo: memFree=30688772/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=8964 CPUtime=0 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 335509641 9179136 1513 33554432000 4194304 7823515 140736710322400 140737302304200 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 2241 1524 354 887 0 1351 0
[startup+0.0760449 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26982
/proc/meminfo: memFree=30688772/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=21608 CPUtime=0.07 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 4840 0 0 0 6 1 0 0 20 0 1 0 335509641 22126592 4439 33554432000 4194304 7823515 140736710322400 140737302304200 5875849 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 5402 4439 429 887 0 4512 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21608
[startup+0.100263 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26982
/proc/meminfo: memFree=30688772/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=22632 CPUtime=0.09 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 5107 0 0 0 8 1 0 0 20 0 1 0 335509641 23175168 4706 33554432000 4194304 7823515 140736710322400 140737302304200 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 5658 4706 436 887 0 4768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22632
[startup+0.300194 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26982
/proc/meminfo: memFree=30688772/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=33012 CPUtime=0.29 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 7846 0 0 0 26 3 0 0 20 0 1 0 335509641 33804288 7318 33554432000 4194304 7823515 140736710322400 140736710317896 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 8253 7318 522 887 0 7363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33012
[startup+0.700189 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26982
/proc/meminfo: memFree=30688772/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=33548 CPUtime=0.69 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 8070 0 0 0 66 3 0 0 20 0 1 0 335509641 34353152 7539 33554432000 4194304 7823515 140736710322400 140736710317736 6208777 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 8387 7539 536 887 0 7497 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33548
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26983
/proc/meminfo: memFree=30659740/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=34812 CPUtime=1.49 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 8361 0 0 0 146 3 0 0 20 0 1 0 335509641 35647488 7829 33554432000 4194304 7823515 140736710322400 140736710317160 6234885 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 8703 7829 536 887 0 7813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34812
[startup+3.10019 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26983
/proc/meminfo: memFree=30659244/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=37540 CPUtime=3.09 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 9036 0 0 0 305 4 0 0 20 0 1 0 335509641 38440960 8504 33554432000 4194304 7823515 140736710322400 140736710317080 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 9385 8504 566 887 0 8495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37540
[startup+6.30018 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30647828/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=47532 CPUtime=6.28 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 11721 0 0 0 622 6 0 0 20 0 1 0 335509641 48672768 11079 33554432000 4194304 7823515 140736710322400 140736710317544 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 11883 11079 566 887 0 10993 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47532
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30638048/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=12.69 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13627 0 0 0 1259 10 0 0 20 0 1 0 335509641 56262656 12985 33554432000 4194304 7823515 140736710322400 140736710317096 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 12985 569 887 0 12846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54944
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30638420/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=25.49 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13627 0 0 0 2535 14 0 0 20 0 1 0 335509641 56262656 12985 33554432000 4194304 7823515 140736710322400 140736710317448 6177557 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 12985 569 887 0 12846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54944
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30638296/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=51.08 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13627 0 0 0 5085 23 0 0 20 0 1 0 335509641 56262656 12985 33554432000 4194304 7823515 140736710322400 140736710317096 6211578 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 12985 569 887 0 12846 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54944
[startup+102.306 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 26984
/proc/meminfo: memFree=30636700/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=102.27 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13648 0 0 0 10185 42 0 0 20 0 1 0 335509641 56262656 13316 33554432000 4194304 7823515 140736710322400 140736710317096 5924549 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 13316 576 887 0 12846 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54944
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30636576/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=162.25 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13648 0 0 0 16159 66 0 0 20 0 1 0 335509641 56262656 13316 33554432000 4194304 7823515 140736710322400 140736710317736 5924484 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 13316 576 887 0 12846 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54944
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26984
/proc/meminfo: memFree=30636452/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=54944 CPUtime=222.23 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13648 0 0 0 22134 89 0 0 20 0 1 0 335509641 56262656 13316 33554432000 4194304 7823515 140736710322400 140736710317864 6212749 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13736 13316 576 887 0 12846 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54944
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26984
/proc/meminfo: memFree=30636700/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=55244 CPUtime=282.23 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13665 0 0 0 28109 114 0 0 20 0 1 0 335509641 56569856 13333 33554432000 4194304 7823515 140736710322400 140736710317096 6234789 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13811 13333 576 887 0 12921 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 55244
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26985
/proc/meminfo: memFree=30635336/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=55904 CPUtime=342.21 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 13878 0 0 0 34085 136 0 0 20 0 1 0 335509641 57245696 13546 33554432000 4194304 7823515 140736710322400 140736710318152 6211736 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 13976 13546 576 887 0 13086 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 55904
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26988
/proc/meminfo: memFree=30633156/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=57460 CPUtime=402.21 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 14268 0 0 0 40064 157 0 0 20 0 1 0 335509641 58839040 13950 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 14365 13950 576 887 0 13475 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 57460
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26988
/proc/meminfo: memFree=30632792/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=58112 CPUtime=462.2 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 14416 0 0 0 46041 179 0 0 20 0 1 0 335509641 59506688 14098 33554432000 4194304 7823515 140736710322400 140736710317736 6212404 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 14528 14098 576 887 0 13638 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 58112
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26988
/proc/meminfo: memFree=30632668/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=58012 CPUtime=522.19 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 15050 0 0 0 52018 201 0 0 20 0 1 0 335509641 59404288 14076 33554432000 4194304 7823515 140736710322400 140736710317736 6211603 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 14503 14076 576 887 0 13613 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 58012
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26988
/proc/meminfo: memFree=30631984/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=59148 CPUtime=582.17 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 20019 0 0 0 57991 226 0 0 20 0 1 0 335509641 60567552 14363 33554432000 4194304 7823515 140736710322400 140736710317736 6211453 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26982/statm: 14787 14363 583 887 0 13897 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 59148
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30622608/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=67800 CPUtime=1062.1 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 22855 0 0 0 105798 412 0 0 20 0 1 0 335509641 69427200 16460 33554432000 4194304 7823515 140736710322400 140736710318152 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 16950 16460 583 887 0 16060 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 67800
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26994
/proc/meminfo: memFree=30621988/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=67800 CPUtime=1122.09 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 22946 0 0 0 111773 436 0 0 20 0 1 0 335509641 69427200 16551 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 16950 16551 583 887 0 16060 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 67800
[startup+1182.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 27070
/proc/meminfo: memFree=30486196/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=68848 CPUtime=1182.08 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 23184 0 0 0 117746 462 0 0 20 0 1 0 335509641 70500352 16789 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 17212 16789 583 887 0 16322 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 68848
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 27071
/proc/meminfo: memFree=30480716/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=70880 CPUtime=1242.06 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 23692 0 0 0 123720 486 0 0 20 0 1 0 335509641 72581120 17297 33554432000 4194304 7823515 140736710322400 140736710317832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 17720 17297 583 887 0 16830 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 70880
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27071
/proc/meminfo: memFree=30449540/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=71904 CPUtime=1302.06 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 23949 0 0 0 129699 507 0 0 20 0 1 0 335509641 73629696 17554 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 17976 17554 583 887 0 17086 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 71904
[startup+1362.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 27071
/proc/meminfo: memFree=30448544/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=72252 CPUtime=1362.05 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 24023 0 0 0 135673 532 0 0 20 0 1 0 335509641 73986048 17626 33554432000 4194304 7823515 140736710322400 140736710317096 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 18063 17626 583 887 0 17173 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 72252
[startup+1422.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27071
/proc/meminfo: memFree=30439668/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=75228 CPUtime=1422.04 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 24793 0 0 0 141650 554 0 0 20 0 1 0 335509641 77033472 18396 33554432000 4194304 7823515 140736710322400 140736710317864 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 18807 18396 583 887 0 17917 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 75228
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27071
/proc/meminfo: memFree=30437972/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=75500 CPUtime=1482.02 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 24849 0 0 0 147625 577 0 0 20 0 1 0 335509641 77312000 18452 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 18875 18452 583 887 0 17985 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 75500
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27072
/proc/meminfo: memFree=30435116/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=78380 CPUtime=1542.02 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 25571 0 0 0 153598 604 0 0 20 0 1 0 335509641 80261120 19171 33554432000 4194304 7823515 140736710322400 140736710318616 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 19595 19171 583 887 0 18705 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 78380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27075
/proc/meminfo: memFree=30434992/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=79140 CPUtime=1602.01 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 25695 0 0 0 159576 625 0 0 20 0 1 0 335509641 81039360 19295 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 19785 19295 583 887 0 18895 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 79140
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27076
/proc/meminfo: memFree=30433876/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=79860 CPUtime=1662 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 25884 0 0 0 165552 648 0 0 20 0 1 0 335509641 81776640 19484 33554432000 4194304 7823515 140736710322400 140736710318200 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 19965 19484 583 887 0 19075 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 79860
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27076
/proc/meminfo: memFree=30432136/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81364 CPUtime=1721.98 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26274 0 0 0 171529 669 0 0 20 0 1 0 335509641 83316736 19872 33554432000 4194304 7823515 140736710322400 140736710319032 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20341 19872 583 887 0 19451 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 81364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431640/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1781.98 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26377 0 0 0 177504 694 0 0 20 0 1 0 335509641 83820544 19975 33554432000 4194304 7823515 140736710322400 140736710317864 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 19975 583 887 0 19574 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 81856
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1791.58 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 178460 698 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317912 6211600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 81856
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1794.78 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 178779 699 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317864 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 81856
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1796.37 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 178937 700 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 81856
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1797.17 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 179017 700 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 81856
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1797.58 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 179057 701 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 81856
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27076
/proc/meminfo: memFree=30431516/32873844 swapFree=7900/7900
[pid=26982] ppid=26980 vsize=81856 CPUtime=1797.98 cores=0,2,4,6
/proc/26982/stat : 26982 (pbscip.linux.x8) R 26980 26982 17150 0 -1 4202496 26411 0 0 0 179097 701 0 0 20 0 1 0 335509641 83820544 20009 33554432000 4194304 7823515 140736710322400 140736710317736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26982/statm: 20464 20009 583 887 0 19574 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 81856
Child status: 0
Real time (s): 1798.39
CPU time (s): 1798.07
CPU user time (s): 1791.06
CPU system time (s): 7.01293
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 81856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 7.01293
maximum resident set size= 80044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26416
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= 29
involuntary context switches= 2381
runsolver used 3.38248 second user time and 8.34073 second system time
The end