0.05/0.08 c SCIP version 1.1.0.7
0.05/0.08 c LP-Solver SoPlex 1.4.1
0.05/0.08 c user parameter file <scip.set> not found - using default parameters
0.05/0.08 c read problem <HOME/instance-1868826-1245146476.opb>
0.05/0.08 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.09/0.10 c start presolving problem
0.09/0.10 c presolving:
0.09/0.17 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.19/0.26 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.39/0.48 c (0.4s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.39/0.48 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.48 c presolving (3 rounds):
0.39/0.48 c 0 deleted vars, 2880 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.39/0.48 c 4440 implications, 210 cliques
0.39/0.48 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.39/0.48 c 1734 constraints of type <knapsack>
0.39/0.48 c 210 constraints of type <setppc>
0.39/0.48 c 2532 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.35
0.39/0.48 c OPT-LIN
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/memory = c 1620
0.39/0.48 c # maximal time in seconds to run
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/time = c 1791
0.39/0.48 c # frequency for displaying node information lines
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48 c display/freq = c 10000
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c start solving problem
0.39/0.48 c
1.09/1.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.17 c 1.0s| 1 | 0 | 1353 |8761k| 0 | 235 | 540 |4476 |4476 | 540 |4476 | 0 | 0 | 0 | 4.800000e+01 | -- | Inf
7.19/7.26 c 7.1s| 1 | 0 | 4327 | 10M| 0 | 263 | 540 |4476 |4476 | 540 |4482 | 6 | 0 | 0 | 4.800000e+01 | -- | Inf
8.99/9.07 c 8.9s| 1 | 0 | 4810 | 12M| 0 | 252 | 540 |4476 |4476 | 540 |4493 | 17 | 0 | 0 | 4.800000e+01 | -- | Inf
10.90/10.96 c 10.8s| 1 | 0 | 5197 | 14M| 0 | 261 | 540 |4476 |4476 | 540 |4501 | 25 | 0 | 0 | 4.800000e+01 | -- | Inf
13.68/13.71 c 13.5s| 1 | 0 | 5647 | 15M| 0 | 266 | 540 |4476 |4476 | 540 |4509 | 33 | 0 | 0 | 4.800000e+01 | -- | Inf
15.58/15.66 c 15.5s| 1 | 0 | 5894 | 17M| 0 | 276 | 540 |4476 |4476 | 540 |4516 | 40 | 0 | 0 | 4.800000e+01 | -- | Inf
17.88/17.97 c 17.8s| 1 | 0 | 6313 | 20M| 0 | 274 | 540 |4476 |4476 | 540 |4523 | 47 | 0 | 0 | 4.800000e+01 | -- | Inf
37.97/38.05 c 37.8s| 1 | 2 | 6313 | 20M| 0 | 274 | 540 |4476 |4476 | 540 |4523 | 47 | 0 | 24 | 4.800000e+01 | -- | Inf
170.63/170.77 o 84
170.63/170.77 c v 170s| 55 | 56 | 30485 | 20M| 18 | - | 540 |4493 |2528 | 540 |4505 | 47 | 17 | 228 | 4.800000e+01 | 8.400000e+01 | 75.00%
838.69/839.03 o 82
838.69/839.03 c g 836s| 1416 | 1028 |620496 | 23M| 58 | - | 540 |5085 |3367 | 540 |4505 | 47 |1476 | 994 | 4.800000e+01 | 8.200000e+01 | 70.83%
972.54/972.93 o 80
972.54/972.93 c F 969s| 1753 | 1240 |750114 | 23M| 60 | 0 | 540 |5120 |3712 | 540 |4505 | 47 |1860 |1100 | 4.800000e+01 | 8.000000e+01 | 66.67%
1130.18/1130.62 o 72
1130.18/1130.62 c v1126s| 2227 | 1500 |890186 | 24M| 60 | - | 540 |5117 |3429 | 540 |4505 | 47 |2231 |1304 | 4.800000e+01 | 7.200000e+01 | 50.00%
1797.04/1797.79 c
1797.04/1797.79 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.79 c Solving Time (sec) : 1791.00
1797.04/1797.79 c Solving Nodes : 4468
1797.04/1797.79 c Primal Bound : +7.20000000000000e+01 (4 solutions)
1797.04/1797.79 c Dual Bound : +4.80000000000000e+01
1797.04/1797.79 c Gap : 50.00 %
1797.04/1797.79 c NODE 4468
1797.04/1797.79 c DUAL BOUND 48
1797.04/1797.79 c PRIMAL BOUND 72
1797.04/1797.79 c GAP 0.5
1797.04/1797.79 s SATISFIABLE
1797.04/1797.79 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.04/1797.79 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.04/1797.79 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.04/1797.79 v -x286 x250 -x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 -x177 x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248
1797.04/1797.79 v -x212 -x176 -x140 x104 -x68 -x32 -x355 -x319 -x283 -x247 -x211 -x175 -x139 -x103 x67 -x31 -x354 -x318 -x282 -x246 -x210
1797.04/1797.79 v -x174 -x138 -x102 -x66 x30 x352 -x316 -x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 x171 -x135
1797.04/1797.79 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.04/1797.79 v -x348 -x312 -x276 -x240 -x204 x168 -x132 -x96 -x60 -x24 -x347 -x311 x275 -x239 -x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309
1797.04/1797.79 v -x273 -x237 -x201 -x165 -x129 x93 -x57 -x21 -x344 -x308 -x272 -x236 -x200 -x164 -x128 -x92 x56 -x20 -x343 -x307 -x271 -x235
1797.04/1797.79 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.04/1797.79 v -x89 x53 -x17 -x340 -x304 -x268 -x232 x196 -x160 -x124 -x88 -x52 -x16 x338 -x302 -x266 -x230 -x194 -x158 -x122 -x86 -x50
1797.04/1797.79 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.04/1797.79 v -x263 x227 -x191 -x155 -x119 -x83 -x47 -x11 -x334 x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
1797.04/1797.79 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 -x259 -x223 -x187 x151 -x115 -x79 -x43 -x7 x330 -x294 -x258 -x222 -x186 -x150
1797.04/1797.79 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.04/1797.79 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.04/1797.79 v -x538 -x537 x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1797.04/1797.79 v -x516 -x515 -x514 -x513 -x512 x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495
1797.04/1797.79 v -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 x474 -x473
1797.04/1797.79 v -x472 -x471 x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452
1797.04/1797.79 v x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 x435 x434 x433 -x432 -x431 -x430
1797.04/1797.79 v -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408
1797.04/1797.79 v x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386
1797.04/1797.79 v -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 x365
1797.04/1797.79 v x364 -x363 x362 -x361
1797.04/1797.79 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.79 c Solving Time : 1791.00
1797.04/1797.79 c Original Problem :
1797.04/1797.79 c Problem name : HOME/instance-1868826-1245146476.opb
1797.04/1797.79 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.79 c Constraints : 4476 initial, 4476 maximal
1797.04/1797.79 c Presolved Problem :
1797.04/1797.79 c Problem name : t_HOME/instance-1868826-1245146476.opb
1797.04/1797.79 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.79 c Constraints : 4476 initial, 5162 maximal
1797.04/1797.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.04/1797.79 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.79 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.79 c implics : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.79 c probing : 0.16 0 0 0 0 0 0 0 0
1797.04/1797.79 c knapsack : 0.11 0 0 0 0 0 0 3360 5040
1797.04/1797.79 c setppc : 0.01 0 0 0 0 0 2880 0 0
1797.04/1797.79 c logicor : 0.03 0 0 0 0 0 0 0 0
1797.04/1797.79 c root node : - 0 - - 0 - - - -
1797.04/1797.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.04/1797.79 c integral : 0 0 0 3818 0 9 122 0 0 7458
1797.04/1797.79 c knapsack : 1734 6 36562 0 1 15 9832 0 0 0
1797.04/1797.79 c setppc : 210 6 36547 0 1 307 61236 0 0 0
1797.04/1797.79 c logicor : 2532+ 6 21664 0 1 142 32399 0 0 0
1797.04/1797.79 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.04/1797.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.04/1797.79 c integral : 422.04 0.00 0.00 422.04 0.00
1797.04/1797.79 c knapsack : 5.25 0.03 5.22 0.00 0.00
1797.04/1797.79 c setppc : 0.77 0.00 0.77 0.00 0.00
1797.04/1797.79 c logicor : 1.13 0.02 1.11 0.00 0.00
1797.04/1797.79 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.04/1797.79 c Propagators : Time Calls Cutoffs DomReds
1797.04/1797.79 c rootredcost : 0.02 4 0 0
1797.04/1797.79 c pseudoobj : 0.36 35487 3 5
1797.04/1797.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.79 c propagation : 0.01 467 467 3581 30.7 140 9.3 -
1797.04/1797.79 c infeasible LP : 0.50 556 371 4253 49.5 58 8.0 0
1797.04/1797.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.79 c applied globally : - - - 4000 26.2 - - -
1797.04/1797.79 c applied locally : - - - 3 73.7 - - -
1797.04/1797.79 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.79 c cut pool : 0.00 5 - - 26 - (maximal pool size: 1627)
1797.04/1797.79 c redcost : 0.21 4037 0 1675 0 0
1797.04/1797.79 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.79 c intobj : 0.00 0 0 0 0 0
1797.04/1797.79 c gomory : 7.08 6 0 0 343 0
1797.04/1797.79 c strongcg : 2.44 6 0 0 2667 0
1797.04/1797.79 c cmir : 0.18 6 0 0 0 0
1797.04/1797.79 c flowcover : 0.21 6 0 0 0 0
1797.04/1797.79 c clique : 0.02 6 0 0 45 0
1797.04/1797.79 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.79 c mcf : 0.00 1 0 0 0 0
1797.04/1797.79 c Pricers : Time Calls Vars
1797.04/1797.79 c problem variables: 0.00 0 0
1797.04/1797.79 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.79 c relpscost : 422.03 3818 9 122 0 0 7458
1797.04/1797.79 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.79 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.79 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.79 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.79 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.79 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.79 c random : 0.00 0 0 0 0 0 0
1797.04/1797.79 c Primal Heuristics : Time Calls Found
1797.04/1797.79 c LP solutions : 0.00 - 0
1797.04/1797.79 c pseudo solutions : 0.00 - 0
1797.04/1797.79 c oneopt : 0.01 4 0
1797.04/1797.79 c crossover : 0.08 1 0
1797.04/1797.79 c objpscostdiving : 26.91 13 0
1797.04/1797.79 c feaspump : 21.55 14 1
1797.04/1797.79 c rootsoldiving : 19.51 15 0
1797.04/1797.79 c coefdiving : 57.76 47 0
1797.04/1797.79 c pscostdiving : 43.12 61 0
1797.04/1797.79 c fracdiving : 36.62 62 0
1797.04/1797.79 c linesearchdiving : 39.40 62 0
1797.04/1797.79 c veclendiving : 71.22 62 2
1797.04/1797.79 c simplerounding : 0.03 0 0
1797.04/1797.79 c rounding : 0.79 827 0
1797.04/1797.79 c shifting : 0.61 222 0
1797.04/1797.79 c intshifting : 0.00 0 0
1797.04/1797.79 c fixandinfer : 0.00 0 0
1797.04/1797.79 c intdiving : 0.00 0 0
1797.04/1797.79 c actconsdiving : 0.00 0 0
1797.04/1797.79 c guideddiving : 41.03 62 1
1797.04/1797.79 c octane : 0.00 0 0
1797.04/1797.79 c rens : 0.00 0 0
1797.04/1797.79 c rins : 0.00 0 0
1797.04/1797.79 c localbranching : 0.00 0 0
1797.04/1797.79 c mutation : 0.00 0 0
1797.04/1797.79 c dins : 0.00 0 0
1797.04/1797.79 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.79 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.79 c dual LP : 987.87 4357 1157323 265.62 1171.53
1797.04/1797.80 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.80 c diving/probing LP: 335.01 13395 380591 28.41 1136.06
1797.04/1797.80 c strong branching : 421.51 1872 491427 262.51 1165.87
1797.04/1797.80 c (at root node) : - 24 18753 781.38 -
1797.04/1797.80 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.80 c B&B Tree :
1797.04/1797.80 c number of runs : 1
1797.04/1797.80 c nodes : 4468
1797.04/1797.80 c nodes (total) : 4468
1797.04/1797.80 c nodes left : 2936
1797.04/1797.80 c max depth : 63
1797.04/1797.80 c max depth (total): 63
1797.04/1797.80 c backtracks : 697 (15.6%)
1797.04/1797.80 c delayed cutoffs : 14
1797.04/1797.80 c repropagations : 690 (1911 domain reductions, 11 cutoffs)
1797.04/1797.80 c avg switch length: 5.76
1797.04/1797.80 c switching time : 1.91
1797.04/1797.80 c Solution :
1797.04/1797.80 c Solutions found : 4 (4 improvements)
1797.04/1797.80 c Primal Bound : +7.20000000000000e+01 (in run 1, after 2227 nodes, 1126.43 seconds, depth 19, found by <veclendiving>)
1797.04/1797.80 c Dual Bound : +4.80000000000000e+01
1797.04/1797.80 c Gap : 50.00 %
1797.04/1797.80 c Root Dual Bound : +4.80000000000000e+01
1797.14/1797.84 c Time complete: 1797.19.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868826-1245146476/watcher-1868826-1245146476 -o /tmp/evaluation-result-1868826-1245146476/solver-1868826-1245146476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868826-1245146476.opb
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: 0.99 0.98 0.99 3/64 7384
/proc/meminfo: memFree=1928376/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=4328 CPUtime=0
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 486 0 0 0 0 0 0 0 18 0 1 0 182248206 4431872 471 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/7384/statm: 1162 482 315 886 0 272 0
[startup+0.0589359 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7384
/proc/meminfo: memFree=1928376/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=10824 CPUtime=0.05
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 2036 0 0 0 5 0 0 0 18 0 1 0 182248206 11083776 2018 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7384/statm: 2706 2018 354 886 0 1816 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10824
[startup+0.101942 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7384
/proc/meminfo: memFree=1928376/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=16136 CPUtime=0.09
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 3666 0 0 0 8 1 0 0 18 0 1 0 182248206 16523264 3294 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 4034 3294 375 886 0 3144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16136
[startup+0.301978 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7384
/proc/meminfo: memFree=1928376/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=24276 CPUtime=0.29
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 5490 0 0 0 26 3 0 0 19 0 1 0 182248206 24858624 5118 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 6069 5118 437 886 0 5179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24276
[startup+0.70105 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7384
/proc/meminfo: memFree=1928376/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=33188 CPUtime=0.69
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 7846 0 0 0 64 5 0 0 22 0 1 0 182248206 33984512 7349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 8297 7349 522 886 0 7407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33188
[startup+1.50119 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1900848/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=33536 CPUtime=1.49
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 8039 0 0 0 143 6 0 0 25 0 1 0 182248206 34340864 7539 1992294400 4194304 7823515 548682068736 18446744073709551615 6237096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 8384 7539 536 886 0 7494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33536
[startup+3.10148 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1898928/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=34800 CPUtime=3.09
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 8329 0 0 0 303 6 0 0 25 0 1 0 182248206 35635200 7828 1992294400 4194304 7823515 548682068736 18446744073709551615 6177706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 8700 7828 536 886 0 7810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34800
[startup+6.30105 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1898800/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=34800 CPUtime=6.29
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 8342 0 0 0 623 6 0 0 25 0 1 0 182248206 35635200 7841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 8700 7841 545 886 0 7810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34800
[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1888048/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=45356 CPUtime=12.69
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 11168 0 0 0 1259 10 0 0 25 0 1 0 182248206 46444544 10556 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 11339 10556 566 886 0 10449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45356
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878448/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=25.48
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13594 0 0 0 2534 14 0 0 25 0 1 0 182248206 56250368 12982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12982 569 886 0 12843 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54932
[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878576/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=51.06
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13594 0 0 0 5085 21 0 0 25 0 1 0 182248206 56250368 12982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12982 569 886 0 12843 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54932
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878576/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=102.25
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13594 0 0 0 10188 37 0 0 25 0 1 0 182248206 56250368 12982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12982 569 886 0 12843 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54932
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878512/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=162.23
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13601 0 0 0 16168 55 0 0 25 0 1 0 182248206 56250368 12989 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12989 576 886 0 12843 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 54932
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878512/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=222.21
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13602 0 0 0 22148 73 0 0 25 0 1 0 182248206 56250368 12990 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12990 576 886 0 12843 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 54932
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878448/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=282.19
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13602 0 0 0 28128 91 0 0 25 0 1 0 182248206 56250368 12990 1992294400 4194304 7823515 548682068736 18446744073709551615 6180650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12990 576 886 0 12843 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 54932
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878448/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=342.16
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13602 0 0 0 34107 109 0 0 25 0 1 0 182248206 56250368 12990 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12990 576 886 0 12843 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 54932
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878448/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=402.14
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13603 0 0 0 40083 131 0 0 25 0 1 0 182248206 56250368 12991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12991 576 886 0 12843 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 54932
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878384/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=462.12
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13603 0 0 0 46064 148 0 0 25 0 1 0 182248206 56250368 12991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12991 576 886 0 12843 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 54932
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878384/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=522.1
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13603 0 0 0 52042 168 0 0 25 0 1 0 182248206 56250368 12991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12991 576 886 0 12843 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 54932
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878384/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=54932 CPUtime=582.07
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13605 0 0 0 58018 189 0 0 25 0 1 0 182248206 56250368 12993 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13733 12993 576 886 0 12843 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 54932
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1878192/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=55232 CPUtime=642.06
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 13632 0 0 0 63995 211 0 0 25 0 1 0 182248206 56557568 13020 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 13808 13020 576 886 0 12918 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 55232
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1874416/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=58500 CPUtime=1121.89
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 14499 0 0 0 111823 366 0 0 25 0 1 0 182248206 59904000 13887 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14625 13887 576 886 0 13735 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 58500
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1874352/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=58500 CPUtime=1181.87
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 14499 0 0 0 117797 390 0 0 25 0 1 0 182248206 59904000 13887 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14625 13887 576 886 0 13735 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 58500
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1874800/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=58000 CPUtime=1241.85
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 15036 0 0 0 123774 411 0 0 25 0 1 0 182248206 59392000 13768 1992294400 4194304 7823515 548682068736 18446744073709551615 6180655 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14500 13768 576 886 0 13610 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 58000
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1874992/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=58040 CPUtime=1301.82
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 19667 0 0 0 129747 435 0 0 25 0 1 0 182248206 59432960 13718 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14510 13718 583 886 0 13620 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 58040
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1873904/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=59136 CPUtime=1361.79
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 19942 0 0 0 135722 457 0 0 25 0 1 0 182248206 60555264 13993 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14784 13993 583 886 0 13894 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 59136
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1873584/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=59136 CPUtime=1421.78
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 20004 0 0 0 141702 476 0 0 25 0 1 0 182248206 60555264 14055 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 14784 14055 583 886 0 13894 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 59136
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1872112/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=60912 CPUtime=1481.75
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 20362 0 0 0 147679 496 0 0 25 0 1 0 182248206 62373888 14413 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15228 14413 583 886 0 14338 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 60912
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871728/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=60912 CPUtime=1541.74
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 20454 0 0 0 153657 517 0 0 25 0 1 0 182248206 62373888 14505 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15228 14505 583 886 0 14338 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 60912
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871472/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1601.71
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21240 0 0 0 159633 538 0 0 25 0 1 0 182248206 62636032 14556 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14556 583 886 0 14402 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 61168
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871408/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1661.69
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21249 0 0 0 165610 559 0 0 25 0 1 0 182248206 62636032 14565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14565 583 886 0 14402 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 61168
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871408/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1721.68
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21251 0 0 0 171588 580 0 0 25 0 1 0 182248206 62636032 14567 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14567 583 886 0 14402 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 61168
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1781.65
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 177565 600 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 61168
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1784.85
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 177884 601 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1784.85
Current children cumulated vsize (KiB) 61168
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1791.25
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 178521 604 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 61168
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1794.45
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 178840 605 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 61168
[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1796.05
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 178999 606 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 61168
[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1796.84
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 179078 606 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 61168
[startup+1797.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1797.04
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21252 0 0 0 179098 606 0 0 25 0 1 0 182248206 62636032 14568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14568 583 886 0 14402 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 61168
[startup+1797.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7385
/proc/meminfo: memFree=1871344/2055920 swapFree=4180860/4192956
[pid=7384] ppid=7382 vsize=61168 CPUtime=1797.14
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7265 0 -1 4194304 21254 0 0 0 179108 606 0 0 16 0 1 0 182248206 62636032 14570 1992294400 4194304 7823515 548682068736 18446744073709551615 4970927 0 0 4096 0 0 0 0 17 1 0 0
/proc/7384/statm: 15292 14570 585 886 0 14402 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 61168
Child status: 0
Real time (s): 1797.85
CPU time (s): 1797.2
CPU user time (s): 1791.13
CPU system time (s): 6.07308
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 62224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.13
system time used= 6.07308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21257
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= 1991
runsolver used 1.35879 second user time and 3.71643 second system time
The end