0.01/0.03 c SCIP version 1.1.0.7
0.01/0.03 c LP-Solver SoPlex 1.4.1
0.01/0.03 c user parameter file <scip.set> not found - using default parameters
0.01/0.03 c read problem <HOME/instance-3737433-1338747536.opb>
0.01/0.03 c original problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6821 constraints
0.01/0.05 c start presolving problem
0.01/0.05 c presolving:
0.09/0.14 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50160 impls, 400 clqs
0.19/0.25 c (0.1s) probing: 101/6620 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (2 rounds):
0.19/0.25 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 50160 implications, 400 cliques
0.19/0.25 c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6821 constraints
0.19/0.25 c 400 constraints of type <setppc>
0.19/0.25 c 6220 constraints of type <and>
0.19/0.25 c 1 constraints of type <linear>
0.19/0.25 c 200 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c OPT-NLC
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = c 13950
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = c 1791
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = c 10000
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving problem
0.19/0.25 c
43.37/43.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.37/43.41 c 43.2s| 1 | 0 | 28509 | 30M| 0 |3703 |6620 |6821 |6821 |6620 | 13k| 0 | 0 | 0 |-1.000000e+02 | -- | Inf
43.37/43.43 o -7
43.37/43.43 c s43.2s| 1 | 0 | 28509 | 30M| 0 |3703 |6620 |6821 |6821 |6620 | 13k| 0 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
47.97/48.02 c 47.8s| 1 | 0 | 30328 | 30M| 0 |3678 |6620 |6821 |6821 |6620 | 13k| 211 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
47.97/48.04 o -7
47.97/48.04 c s47.8s| 1 | 0 | 30328 | 30M| 0 |3678 |6620 |6821 |6821 |6620 | 13k| 211 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
53.88/53.93 c 53.7s| 1 | 0 | 32908 | 30M| 0 |3660 |6620 |6821 |6821 |6620 | 13k| 253 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
59.78/59.87 c 59.6s| 1 | 0 | 35486 | 30M| 0 |3660 |6620 |6821 |6821 |6620 | 13k| 293 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
65.18/65.24 c 65.0s| 1 | 0 | 37786 | 31M| 0 |3668 |6620 |6821 |6821 |6620 | 13k| 341 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
70.87/70.99 c 70.7s| 1 | 0 | 40304 | 31M| 0 |3645 |6620 |6821 |6821 |6620 | 13k| 377 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
75.97/76.07 c 75.8s| 1 | 0 | 42364 | 31M| 0 |3641 |6620 |6821 |6821 |6620 | 13k| 419 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
146.95/147.04 c 147s| 1 | 2 | 42364 | 31M| 0 |3641 |6620 |6821 |6821 |6620 | 13k| 419 | 0 | 39 |-1.000000e+02 |-7.000000e+00 | 93.00%
1794.30/1794.66 c
1794.30/1794.66 c SCIP Status : solving was interrupted [time limit reached]
1794.30/1794.66 c Solving Time (sec) : 1791.01
1794.30/1794.66 c Solving Nodes : 9
1794.30/1794.66 c Primal Bound : -7.00000000000001e+00 (5 solutions)
1794.30/1794.66 c Dual Bound : -9.99999999999999e+01
1794.30/1794.66 c Gap : 93.00 %
1794.30/1794.66 c NODE 9
1794.30/1794.66 c DUAL BOUND -100
1794.30/1794.66 c PRIMAL BOUND -7
1794.30/1794.66 c GAP 0.93
1794.30/1794.66 s SATISFIABLE
1794.30/1794.66 v -x384 -x335 -x334 -x301 -x233 -x289 -x295 -x375 -x290 -x325 -x256 -x237 -x247 x396 -x328 -x388 -x312 -x215 -x394 -x226 -x313 -x377
1794.30/1794.66 v -x326 -x216 -x258 -x305 -x251 -x381 -x308 -x266 -x271 -x259 -x229 -x220 -x302 -x336 -x354 -x207 -x364 -x338 -x286 -x248 -x230
1794.30/1794.66 v -x272 -x365 -x340 -x293 -x268 -x279 -x353 -x332 -x352 -x345 -x314 -x285 -x254 -x243 -x240 -x213 -x267 -x321 -x280 -x269
1794.30/1794.66 v -x372 -x323 -x303 -x270 -x244 -x232 -x221 -x342 -x273 -x275 -x306 -x355 -x390 -x235 -x284 -x212 -x347 -x393 -x379 -x351 -x330
1794.30/1794.66 v -x298 -x288 -x281 -x222 -x210 -x300 -x219 -x319 -x309 -x282 -x224 -x252 -x304 -x385 -x395 -x348 -x333 -x296 -x242 -x236 -x227
1794.30/1794.66 v -x225 -x218 -x205 -x371 -x311 -x391 -x369 -x318 -x257 -x317 -x322 -x344 -x363 -x206 -x349 -x324 -x310 -x361 -x367 -x400 -x246
1794.30/1794.66 v -x202 -x341 -x287 -x263 -x260 -x249 -x241 -x239 -x234 -x217 -x204 -x245 -x276 -x315 -x357 -x366 -x261 -x307 -x329 -x358 -x398
1794.30/1794.66 v -x274 -x378 -x253 -x397 -x362 -x383 -x387 -x214 -x264 -x297 -x231 -x211 -x201 -x399 -x386 -x382 -x360 -x359 -x356 -x339 -x337
1794.30/1794.66 v -x327 -x292 -x283 -x277 -x223 -x209 -x208 -x392 -x316 -x370 -x373 -x203 -x331 -x368 -x374 -x255 -x250 -x238 -x294 -x350
1794.30/1794.66 v -x380 -x343 -x228 x346 x278 x265 x299 x262 x376 -x389 -x320 -x291 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1794.30/1794.66 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
1794.30/1794.66 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1794.30/1794.66 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128
1794.30/1794.66 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1794.30/1794.66 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84
1794.30/1794.66 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1794.30/1794.66 v -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1794.30/1794.66 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8
1794.30/1794.66 v x7 -x6 x5 -x4 x3 -x2 -x1
1794.30/1794.66 c SCIP Status : solving was interrupted [time limit reached]
1794.30/1794.66 c Solving Time : 1791.01
1794.30/1794.66 c Original Problem :
1794.30/1794.66 c Problem name : HOME/instance-3737433-1338747536.opb
1794.30/1794.66 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.30/1794.66 c Constraints : 6821 initial, 6821 maximal
1794.30/1794.66 c Presolved Problem :
1794.30/1794.66 c Problem name : t_HOME/instance-3737433-1338747536.opb
1794.30/1794.66 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.30/1794.66 c Constraints : 6821 initial, 6830 maximal
1794.30/1794.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.30/1794.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c implics : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c probing : 0.05 0 0 0 0 0 0 0 0
1794.30/1794.66 c setppc : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c and : 0.06 0 0 0 0 0 0 0 0
1794.30/1794.66 c linear : 0.01 0 0 0 0 0 0 0 0
1794.30/1794.66 c logicor : 0.00 0 0 0 0 0 0 0 0
1794.30/1794.66 c root node : - 0 - - 0 - - - -
1794.30/1794.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.30/1794.66 c integral : 0 0 0 9 0 0 0 0 0 18
1794.30/1794.66 c setppc : 400 6 4827 0 0 2 0 0 0 0
1794.30/1794.66 c and : 6220 46 4825 0 0 7 238 50177 0 0
1794.30/1794.66 c linear : 1 6 4818 0 0 0 0 0 0 0
1794.30/1794.66 c logicor : 200+ 6 287 0 0 0 3 0 0 0
1794.30/1794.66 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.30/1794.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.30/1794.66 c integral : 221.14 0.00 0.00 221.14 0.00
1794.30/1794.66 c setppc : 0.05 0.00 0.05 0.00 0.00
1794.30/1794.66 c and : 0.97 0.16 0.81 0.00 0.00
1794.30/1794.66 c linear : 0.01 0.00 0.01 0.00 0.00
1794.30/1794.66 c logicor : 0.00 0.00 0.00 0.00 0.00
1794.30/1794.66 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.30/1794.66 c Propagators : Time Calls Cutoffs DomReds
1794.30/1794.66 c rootredcost : 0.00 1 0 0
1794.30/1794.66 c pseudoobj : 0.02 4628 0 0
1794.30/1794.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.30/1794.66 c propagation : 0.00 9 9 9 2.2 0 0.0 -
1794.30/1794.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.30/1794.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.30/1794.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.30/1794.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.30/1794.66 c applied globally : - - - 9 2.2 - - -
1794.30/1794.66 c applied locally : - - - 0 0.0 - - -
1794.30/1794.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.30/1794.66 c cut pool : 0.00 5 - - 0 - (maximal pool size: 276)
1794.30/1794.66 c redcost : 0.00 46 0 0 0 0
1794.30/1794.66 c impliedbounds : 0.00 6 0 0 372 0
1794.30/1794.66 c intobj : 0.00 0 0 0 0 0
1794.30/1794.66 c gomory : 2.75 6 0 0 4 0
1794.30/1794.66 c strongcg : 2.72 6 0 0 4 0
1794.30/1794.66 c cmir : 0.73 6 0 0 0 0
1794.30/1794.66 c flowcover : 0.73 6 0 0 0 0
1794.30/1794.66 c clique : 1.82 6 0 0 57 0
1794.30/1794.66 c zerohalf : 0.00 0 0 0 0 0
1794.30/1794.66 c mcf : 0.34 6 0 0 62 0
1794.30/1794.66 c Pricers : Time Calls Vars
1794.30/1794.66 c problem variables: 0.00 0 0
1794.30/1794.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.30/1794.66 c relpscost : 221.14 9 0 0 0 0 18
1794.30/1794.66 c pscost : 0.00 0 0 0 0 0 0
1794.30/1794.66 c inference : 0.00 0 0 0 0 0 0
1794.30/1794.66 c mostinf : 0.00 0 0 0 0 0 0
1794.30/1794.66 c leastinf : 0.00 0 0 0 0 0 0
1794.30/1794.66 c fullstrong : 0.00 0 0 0 0 0 0
1794.30/1794.66 c allfullstrong : 0.00 0 0 0 0 0 0
1794.30/1794.66 c random : 0.00 0 0 0 0 0 0
1794.30/1794.66 c Primal Heuristics : Time Calls Found
1794.30/1794.66 c LP solutions : 0.00 - 0
1794.30/1794.66 c pseudo solutions : 0.00 - 0
1794.30/1794.66 c oneopt : 0.00 1 0
1794.30/1794.66 c simplerounding : 0.00 0 0
1794.30/1794.66 c rounding : 3.16 55 0
1794.30/1794.66 c shifting : 0.09 7 5
1794.30/1794.66 c intshifting : 0.00 0 0
1794.30/1794.66 c fixandinfer : 0.00 0 0
1794.30/1794.66 c feaspump : 0.00 0 0
1794.30/1794.66 c coefdiving : 188.75 1 0
1794.30/1794.66 c pscostdiving : 83.68 1 0
1794.30/1794.66 c fracdiving : 22.79 1 0
1794.30/1794.66 c veclendiving : 14.36 1 0
1794.30/1794.66 c intdiving : 0.00 0 0
1794.30/1794.66 c actconsdiving : 0.00 0 0
1794.30/1794.66 c objpscostdiving : 1066.79 1 0
1794.30/1794.66 c rootsoldiving : 0.00 0 0
1794.30/1794.66 c linesearchdiving : 0.00 0 0
1794.30/1794.66 c guideddiving : 0.00 0 0
1794.30/1794.66 c octane : 0.00 0 0
1794.30/1794.66 c rens : 0.01 0 0
1794.30/1794.66 c rins : 0.00 0 0
1794.30/1794.66 c localbranching : 0.00 0 0
1794.30/1794.66 c mutation : 0.00 0 0
1794.30/1794.66 c crossover : 0.00 0 0
1794.30/1794.66 c dins : 0.00 0 0
1794.30/1794.66 c LP : Time Calls Iterations Iter/call Iter/sec
1794.30/1794.66 c primal LP : 0.12 0 0 0.00 0.00
1794.30/1794.66 c dual LP : 180.39 55 231674 4212.25 1284.30
1794.30/1794.66 c barrier LP : 0.00 0 0 0.00 -
1794.30/1794.66 c diving/probing LP: 1367.56 4639 1694976 365.38 1239.42
1794.30/1794.66 c strong branching : 221.13 264 259746 983.89 1174.63
1794.30/1794.66 c (at root node) : - 39 39000 1000.00 -
1794.30/1794.66 c conflict analysis: 0.00 0 0 0.00 -
1794.30/1794.66 c B&B Tree :
1794.30/1794.66 c number of runs : 1
1794.30/1794.66 c nodes : 9
1794.30/1794.66 c nodes (total) : 9
1794.30/1794.66 c nodes left : 10
1794.30/1794.66 c max depth : 4
1794.30/1794.66 c max depth (total): 4
1794.30/1794.66 c backtracks : 4 (44.4%)
1794.30/1794.66 c delayed cutoffs : 0
1794.30/1794.66 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.30/1794.66 c avg switch length: 1.89
1794.30/1794.66 c switching time : 0.14
1794.30/1794.66 c Solution :
1794.30/1794.66 c Solutions found : 5 (2 improvements)
1794.30/1794.66 c Primal Bound : -7.00000000000001e+00 (in run 1, after 1 nodes, 47.80 seconds, depth 0, found by <shifting>)
1794.30/1794.66 c Dual Bound : -9.99999999999999e+01
1794.30/1794.66 c Gap : 93.00 %
1794.30/1794.66 c Root Dual Bound : -9.99999999999999e+01
1794.40/1794.71 c Time complete: 1794.41.
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-3737433-1338747536/watcher-3737433-1338747536 -o /tmp/evaluation-result-3737433-1338747536/solver-3737433-1338747536 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737433-1338747536.opb
running on 4 cores: 1,3,5,7
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: 0.28 0.34 0.66 3/174 32130
/proc/meminfo: memFree=28514612/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=8868 CPUtime=0 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 1394 0 0 0 0 0 0 0 20 0 1 0 340882185 9080832 1512 33554432000 4194304 7823515 140735127099824 140735127031736 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 2217 1516 354 887 0 1327 0
[startup+0.0180001 s]
/proc/loadavg: 0.28 0.34 0.66 3/174 32130
/proc/meminfo: memFree=28514612/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=13564 CPUtime=0.01 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 2568 0 0 0 1 0 0 0 20 0 1 0 340882185 13889536 2686 33554432000 4194304 7823515 140735127099824 140735127031736 6911728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 3391 2686 354 887 0 2501 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13564
[startup+0.100254 s]
/proc/loadavg: 0.28 0.34 0.66 3/174 32130
/proc/meminfo: memFree=28514612/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=31504 CPUtime=0.09 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 7154 0 0 0 7 2 0 0 20 0 1 0 340882185 32260096 6918 33554432000 4194304 7823515 140735127099824 140735127031736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 7876 6918 404 887 0 6986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31504
[startup+0.30026 s]
/proc/loadavg: 0.28 0.34 0.66 3/174 32130
/proc/meminfo: memFree=28514612/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=59252 CPUtime=0.29 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 14250 0 0 0 21 8 0 0 20 0 1 0 340882185 60674048 13701 33554432000 4194304 7823515 140735127099824 140735127031736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 14813 13701 507 887 0 13923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59252
[startup+0.700222 s]
/proc/loadavg: 0.28 0.34 0.66 3/174 32130
/proc/meminfo: memFree=28514612/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=65280 CPUtime=0.69 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 15710 0 0 0 61 8 0 0 20 0 1 0 340882185 66846720 14991 33554432000 4194304 7823515 140735127099824 140735127031736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 16320 14991 523 887 0 15430 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65280
[startup+1.5002 s]
/proc/loadavg: 0.28 0.34 0.66 3/177 32136
/proc/meminfo: memFree=28395832/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=66140 CPUtime=1.49 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 16015 0 0 0 140 9 0 0 20 0 1 0 340882185 67727360 15296 33554432000 4194304 7823515 140735127099824 140735127095160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 16535 15296 523 887 0 15645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66140
[startup+3.10025 s]
/proc/loadavg: 0.28 0.34 0.66 3/177 32136
/proc/meminfo: memFree=28393352/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=67776 CPUtime=3.08 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 16485 0 0 0 299 9 0 0 20 0 1 0 340882185 69402624 15764 33554432000 4194304 7823515 140735127099824 140735127095160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 16944 15764 523 887 0 16054 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67776
[startup+6.30026 s]
/proc/loadavg: 0.42 0.37 0.66 3/177 32136
/proc/meminfo: memFree=28387896/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=69848 CPUtime=6.28 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 16788 0 0 0 618 10 0 0 20 0 1 0 340882185 71524352 16061 33554432000 4194304 7823515 140735127099824 140735127094488 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 17462 16061 523 887 0 16572 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69848
[startup+12.7003 s]
/proc/loadavg: 0.54 0.39 0.67 3/177 32136
/proc/meminfo: memFree=28381524/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72284 CPUtime=12.69 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 17456 0 0 0 1258 11 0 0 20 0 1 0 340882185 74018816 17086 33554432000 4194304 7823515 140735127099824 140735127095160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18071 17086 523 887 0 17181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72284
[startup+25.5003 s]
/proc/loadavg: 0.87 0.47 0.69 3/177 32136
/proc/meminfo: memFree=28381400/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72284 CPUtime=25.48 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 17735 0 0 0 2535 13 0 0 20 0 1 0 340882185 74018816 17259 33554432000 4194304 7823515 140735127099824 140735127095160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18071 17259 524 887 0 17181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72284
[startup+51.1003 s]
/proc/loadavg: 1.25 0.59 0.72 3/177 32136
/proc/meminfo: memFree=28376540/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=76348 CPUtime=51.08 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 19273 0 0 0 5089 19 0 0 20 0 1 0 340882185 78180352 18687 33554432000 4194304 7823515 140735127099824 140735127095160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19087 18687 567 887 0 18197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76348
[startup+102.307 s]
/proc/loadavg: 1.67 0.81 0.79 3/178 32139
/proc/meminfo: memFree=28366116/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=76420 CPUtime=102.28 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 28375 0 0 0 10198 30 0 0 20 0 1 0 340882185 78254080 18530 33554432000 4194304 7823515 140735127099824 140735127094520 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19105 18530 572 887 0 18215 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 76420
[startup+162.3 s]
/proc/loadavg: 1.92 1.04 0.87 3/178 32140
/proc/meminfo: memFree=28367472/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72244 CPUtime=162.25 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47059 0 0 0 16184 41 0 0 20 0 1 0 340882185 73977856 17690 33554432000 4194304 7823515 140735127099824 140735127095576 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18061 17690 574 887 0 17171 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72244
[startup+222.3 s]
/proc/loadavg: 1.97 1.21 0.93 3/177 32140
/proc/meminfo: memFree=28367040/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72244 CPUtime=222.25 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47059 0 0 0 22171 54 0 0 20 0 1 0 340882185 73977856 17690 33554432000 4194304 7823515 140735127099824 140735127094520 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18061 17690 574 887 0 17171 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 72244
[startup+282.3 s]
/proc/loadavg: 1.99 1.35 1.00 3/177 32141
/proc/meminfo: memFree=28367100/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72244 CPUtime=282.23 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47060 0 0 0 28158 65 0 0 20 0 1 0 340882185 73977856 17690 33554432000 4194304 7823515 140735127099824 140735127094984 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18061 17690 574 887 0 17171 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 72244
[startup+342.3 s]
/proc/loadavg: 1.99 1.47 1.06 3/177 32141
/proc/meminfo: memFree=28367224/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=72244 CPUtime=342.22 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47060 0 0 0 34140 82 0 0 20 0 1 0 340882185 73977856 17690 33554432000 4194304 7823515 140735127099824 140735127095752 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18061 17690 574 887 0 17171 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 72244
[startup+402.3 s]
/proc/loadavg: 1.99 1.56 1.11 3/177 32141
/proc/meminfo: memFree=28365860/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=74124 CPUtime=402.22 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47470 0 0 0 40128 94 0 0 20 0 1 0 340882185 75902976 18100 33554432000 4194304 7823515 140735127099824 140735127095704 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18531 18100 574 887 0 17641 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 74124
[startup+462.3 s]
/proc/loadavg: 1.99 1.64 1.17 3/177 32141
/proc/meminfo: memFree=28365984/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=74124 CPUtime=462.21 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47470 0 0 0 46113 108 0 0 20 0 1 0 340882185 75902976 18100 33554432000 4194304 7823515 140735127099824 140735127095288 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 18531 18100 574 887 0 17641 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 74124
[startup+522.3 s]
/proc/loadavg: 1.99 1.70 1.22 3/177 32141
/proc/meminfo: memFree=28364124/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=76324 CPUtime=522.2 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47945 0 0 0 52098 122 0 0 20 0 1 0 340882185 78155776 18575 33554432000 4194304 7823515 140735127099824 140735127095752 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19081 18575 574 887 0 18191 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 76324
[startup+582.3 s]
/proc/loadavg: 1.99 1.75 1.26 3/177 32142
/proc/meminfo: memFree=28363748/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=76324 CPUtime=582.19 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 47946 0 0 0 58076 143 0 0 20 0 1 0 340882185 78155776 18626 33554432000 4194304 7823515 140735127099824 140735127095288 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19081 18626 574 887 0 18191 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76324
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28363004/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1062.12 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48149 0 0 0 105981 231 0 0 20 0 1 0 340882185 79544320 18829 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18829 577 887 0 18530 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 77680
[startup+1122.3 s]
/proc/loadavg: 2.05 1.97 1.58 3/177 32146
/proc/meminfo: memFree=28363004/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1122.11 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48150 0 0 0 111971 240 0 0 20 0 1 0 340882185 79544320 18830 33554432000 4194304 7823515 140735127099824 140735127095944 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18830 577 887 0 18530 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 77680
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.60 3/177 32147
/proc/meminfo: memFree=28363004/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1182.1 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48150 0 0 0 117961 249 0 0 20 0 1 0 340882185 79544320 18830 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18830 577 887 0 18530 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 77680
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/177 32147
/proc/meminfo: memFree=28362508/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1242.09 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 123952 257 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 77680
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/178 32150
/proc/meminfo: memFree=28362376/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1302.09 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 129943 266 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 77680
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/177 32150
/proc/meminfo: memFree=28362508/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1362.07 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 135933 274 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 77680
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 32150
/proc/meminfo: memFree=28362384/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1422.06 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 141926 280 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 77680
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/177 32151
/proc/meminfo: memFree=28362384/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1482.06 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 147917 289 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 77680
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/177 32151
/proc/meminfo: memFree=28362508/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1542.05 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 153908 297 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 77680
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/177 32151
/proc/meminfo: memFree=28362508/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1602.04 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 159899 305 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 77680
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 32151
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1662.03 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 165889 314 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 77680
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 32151
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1722.02 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 171879 323 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 77680
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1782.01 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 177869 332 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 77680
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1785.21 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 178189 332 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095944 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 77680
[startup+1788.7 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1788.41 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 178508 333 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 77680
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1791.61 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 178828 333 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 77680
[startup+1793.5 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1793.2 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 178987 333 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 77680
[startup+1794.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1794 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48182 0 0 0 179067 333 0 0 20 0 1 0 340882185 79544320 18862 33554432000 4194304 7823515 140735127099824 140735127095784 6208256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18862 577 887 0 18530 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 77680
[startup+1794.7 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 32152
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=32130] ppid=32128 vsize=77680 CPUtime=1794.4 cores=1,3,5,7
/proc/32130/stat : 32130 (pbscip.linux.x8) R 32128 32130 32091 0 -1 4202496 48185 0 0 0 179107 333 0 0 20 0 1 0 340882185 79544320 18865 33554432000 4194304 7823515 140735127099824 140735127095784 5798440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32130/statm: 19420 18865 580 887 0 18530 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 77680
Child status: 0
Real time (s): 1794.71
CPU time (s): 1794.43
CPU user time (s): 1791.09
CPU system time (s): 3.34049
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 79792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 3.34049
maximum resident set size= 77780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48188
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= 16
involuntary context switches= 1895
runsolver used 2.94755 second user time and 8.5677 second system time
The end