0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666724-1276667929.opb>
0.04/0.05 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.04/0.05 c problem read
0.04/0.05 c presolving settings loaded
0.04/0.09 o 0
0.04/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.04/0.09 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 200 clqs
0.49/0.59 c (0.3s) probing: 101/3262 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.59 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (2 rounds):
0.49/0.59 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.59 c 24696 implications, 200 cliques
0.49/0.59 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.49/0.59 c 200 constraints of type <setppc>
0.49/0.59 c 3062 constraints of type <and>
0.49/0.59 c 1 constraints of type <linear>
0.49/0.59 c 100 constraints of type <logicor>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.31
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 1.2.1.2
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1799.96
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 1620
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c heuristics/undercover/freq = 0
0.49/0.59 c
0.49/0.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c separating/rapidlearning/freq = 0
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
18.08/18.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.08/18.12 c t17.7s| 1 | 0 | 8456 | - | 15M| 0 |1809 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
18.08/18.15 o -4
18.08/18.15 c s17.7s| 1 | 0 | 8456 | - | 15M| 0 |1809 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
27.28/27.32 c 26.5s| 1 | 0 | 9668 | - | 15M| 0 |1788 |3262 |3364 |3262 |6547 | 122 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
30.98/31.05 c 30.2s| 1 | 0 | 10749 | - | 15M| 0 |1737 |3262 |3364 |3262 |6578 | 153 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
35.18/35.23 c 34.4s| 1 | 0 | 12063 | - | 15M| 0 |1740 |3262 |3364 |3262 |6596 | 171 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
40.47/40.57 c 39.7s| 1 | 0 | 13827 | - | 16M| 0 |1651 |3262 |3364 |3262 |6617 | 192 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
45.37/45.41 c 44.5s| 1 | 0 | 15399 | - | 16M| 0 |1667 |3262 |3364 |3262 |6641 | 216 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
51.06/51.10 c 50.2s| 1 | 0 | 17212 | - | 16M| 0 |1504 |3262 |3364 |3262 |6662 | 237 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
51.06/51.13 o -4
51.06/51.13 c s50.2s| 1 | 0 | 17212 | - | 16M| 0 |1504 |3262 |3364 |3262 |6662 | 237 | 1 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
88.65/88.72 o -10
88.65/88.72 c E87.1s| 1 | 0 | 17212 | - | 16M| 0 |1504 |3262 |3364 |3262 |6662 | 237 | 1 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
88.65/88.79 c 87.2s| 1 | 0 | 17212 | - | 16M| 0 |1504 |3262 |3364 |3262 |6662 | 237 | 1 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
94.65/94.72 c 93.1s| 1 | 0 | 19214 | - | 16M| 0 |1628 |3262 |3364 |3262 |6697 | 272 | 1 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
132.32/132.42 c 131s| 1 | 2 | 19214 | - | 16M| 0 |1628 |3262 |3364 |3262 |6697 | 272 | 1 | 14 |-5.000000e+01 |-1.000000e+01 | 80.00%
645.73/646.08 o -11
645.73/646.08 c f 642s| 23 | 24 |381803 |16481.3 | 17M| 8 | - |3262 |3381 |3262 |3065 |5945 | 18 | 195 |-4.838540e+01 |-1.100000e+01 | 77.27%
736.99/737.31 o -12
736.99/737.31 c f 733s| 32 | 33 |470360 |14553.1 | 17M| 9 | - |3262 |3393 |3262 |2667 |6910 | 30 | 213 |-4.790264e+01 |-1.200000e+01 | 74.95%
1530.99/1531.69 o -13
1530.99/1531.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.99/1531.69 c f1523s| 181 | 182 | 1146k|6261.8 | 18M| 26 | - |3262 |3440 |3262 |3387 | 18k| 77 | 763 |-4.463433e+01 |-1.300000e+01 | 70.87%
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.39/1802.15 c
1801.39/1802.15 c SCIP Status : solving was interrupted [user interrupt]
1801.39/1802.15 c Solving Time (sec) : 1792.09
1801.39/1802.15 c Solving Nodes : 261
1801.39/1802.15 c Primal Bound : -1.30000000000000e+01 (12 solutions)
1801.39/1802.15 c Dual Bound : -4.21626208222603e+01
1801.39/1802.15 c Gap : 69.17 %
1801.39/1802.15 s SATISFIABLE
1801.39/1802.15 v x160 -x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 -x181 -x167 -x156 -x142 -x131 -x198 -x197 -x163 -x137 -x110 x171 -x107 -x103
1801.39/1802.15 v -x144 -x130 -x125 -x122 -x113 -x119 x159 -x192 -x195 -x164 -x179 -x175 -x188 -x145 -x191 -x151 x169 x102 -x152 x146 -x140
1801.39/1802.15 v -x135 -x112 -x105 -x134 -x143 -x190 -x186 -x189 x123 -x194 -x136 -x114 -x138 -x154 -x141 -x162 x200 -x109 x185 -x101 x193 -x178
1801.39/1802.15 v -x172 -x170 -x155 -x139 -x124 -x120 -x117 -x116 -x108 -x104 -x128 x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 x187 -x129
1801.39/1802.15 v -x199 -x161 -x149 -x127 -x182 -x174 x150 -x121 -x133 -x177 -x173 -x111 -x166 -x176 -x100 -x99 -x98 x97 x96 x95 -x94 -x93 -x92
1801.39/1802.15 v -x91 -x90 -x89 x88 -x87 -x86 -x85 x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73 -x72 -x71 x70 -x69 -x68 x67 -x66
1801.39/1802.15 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41
1801.39/1802.15 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1801.39/1802.15 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1801.39/1802.15 c SCIP Status : solving was interrupted [user interrupt]
1801.39/1802.15 c Solving Time : 1792.09
1801.39/1802.15 c Original Problem :
1801.39/1802.15 c Problem name : HOME/instance-2666724-1276667929.opb
1801.39/1802.15 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.39/1802.15 c Constraints : 3363 initial, 3363 maximal
1801.39/1802.15 c Presolved Problem :
1801.39/1802.15 c Problem name : t_HOME/instance-2666724-1276667929.opb
1801.39/1802.15 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.39/1802.15 c Constraints : 3363 initial, 3440 maximal
1801.39/1802.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.39/1802.15 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.39/1802.15 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c implics : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c probing : 0.08 0 0 0 0 0 0 0 0
1801.39/1802.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c and : 0.18 0 0 0 0 0 0 0 0
1801.39/1802.15 c linear : 0.02 0 0 0 0 0 0 0 0
1801.39/1802.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1801.39/1802.15 c root node : - 0 - - 0 - - - -
1801.39/1802.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.39/1802.15 c integral : 0 0 0 290 0 0 39 0 0 522
1801.39/1802.15 c setppc : 200 7 21837 0 0 9 747 0 0 0
1801.39/1802.15 c and : 3062 890 21831 0 0 40 25366 42348 0 0
1801.39/1802.15 c linear : 1 7 21789 0 0 1 0 0 0 0
1801.39/1802.15 c logicor : 100+ 7 1297 0 0 0 428 0 0 0
1801.39/1802.15 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.39/1802.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.39/1802.15 c integral : 481.88 0.00 0.00 481.88 0.00
1801.39/1802.15 c setppc : 0.34 0.00 0.34 0.00 0.00
1801.39/1802.15 c and : 6.26 2.21 4.05 0.00 0.00
1801.39/1802.15 c linear : 0.21 0.02 0.19 0.00 0.00
1801.39/1802.15 c logicor : 0.00 0.00 0.00 0.00 0.00
1801.39/1802.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.39/1802.15 c Propagators : Time Calls Cutoffs DomReds
1801.39/1802.15 c vbounds : 0.03 2 0 0
1801.39/1802.15 c rootredcost : 0.00 3 0 0
1801.39/1802.15 c pseudoobj : 0.21 21673 1 0
1801.39/1802.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.39/1802.15 c propagation : 0.00 51 51 71 48.8 1 2.0 -
1801.39/1802.15 c infeasible LP : 0.00 3 3 14 85.6 0 0.0 0
1801.39/1802.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.39/1802.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.39/1802.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.39/1802.15 c applied globally : - - - 81 52.5 - - -
1801.39/1802.15 c applied locally : - - - 0 0.0 - - -
1801.39/1802.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.39/1802.15 c cut pool : 0.00 6 - - 0 - (maximal pool size: 161)
1801.39/1802.15 c redcost : 0.37 890 0 0 0 0
1801.39/1802.15 c impliedbounds : 0.01 7 0 0 188 0
1801.39/1802.15 c intobj : 0.00 0 0 0 0 0
1801.39/1802.15 c cgmip : 0.00 0 0 0 0 0
1801.39/1802.15 c gomory : 2.08 7 0 0 18 0
1801.39/1802.15 c strongcg : 2.03 7 0 0 18 0
1801.39/1802.15 c cmir : 0.57 7 0 0 6 0
1801.39/1802.15 c flowcover : 0.52 7 0 0 0 0
1801.39/1802.15 c clique : 0.73 7 0 0 58 0
1801.39/1802.15 c zerohalf : 0.00 0 0 0 0 0
1801.39/1802.15 c mcf : 0.22 4 0 0 39 0
1801.39/1802.15 c rapidlearning : 4.39 1 0 0 0 0
1801.39/1802.15 c Pricers : Time Calls Vars
1801.39/1802.15 c problem variables: 0.00 0 0
1801.39/1802.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.39/1802.15 c relpscost : 481.88 290 0 39 0 0 522
1801.39/1802.15 c pscost : 0.00 0 0 0 0 0 0
1801.39/1802.15 c inference : 0.00 0 0 0 0 0 0
1801.39/1802.15 c mostinf : 0.00 0 0 0 0 0 0
1801.39/1802.15 c leastinf : 0.00 0 0 0 0 0 0
1801.39/1802.15 c fullstrong : 0.00 0 0 0 0 0 0
1801.39/1802.15 c allfullstrong : 0.00 0 0 0 0 0 0
1801.39/1802.15 c random : 0.00 0 0 0 0 0 0
1801.39/1802.15 c Primal Heuristics : Time Calls Found
1801.39/1802.15 c LP solutions : 0.00 - 0
1801.39/1802.15 c pseudo solutions : 0.00 - 0
1801.39/1802.15 c crossover : 0.00 0 0
1801.39/1802.15 c oneopt : 0.02 5 0
1801.39/1802.15 c pscostdiving : 84.43 5 0
1801.39/1802.15 c trivial : 0.00 2 3
1801.39/1802.15 c simplerounding : 0.00 0 0
1801.39/1802.15 c zirounding : 0.19 261 0
1801.39/1802.15 c rounding : 1.63 386 0
1801.39/1802.15 c shifting : 0.59 71 5
1801.39/1802.15 c intshifting : 0.00 0 0
1801.39/1802.15 c twoopt : 0.00 0 0
1801.39/1802.15 c fixandinfer : 0.00 0 0
1801.39/1802.15 c feaspump : 0.00 0 0
1801.39/1802.15 c coefdiving : 80.44 4 0
1801.39/1802.15 c fracdiving : 231.71 25 3
1801.39/1802.15 c veclendiving : 50.65 9 0
1801.39/1802.15 c intdiving : 0.00 0 0
1801.39/1802.15 c actconsdiving : 0.00 0 0
1801.39/1802.15 c objpscostdiving : 40.24 2 0
1801.39/1802.15 c rootsoldiving : 22.62 5 0
1801.39/1802.15 c linesearchdiving : 52.95 11 0
1801.39/1802.15 c guideddiving : 74.53 3 0
1801.39/1802.15 c octane : 0.00 0 0
1801.39/1802.15 c rens : 36.99 1 1
1801.39/1802.15 c rins : 0.00 0 0
1801.39/1802.15 c localbranching : 0.00 0 0
1801.39/1802.15 c mutation : 0.00 0 0
1801.39/1802.15 c dins : 0.00 0 0
1801.39/1802.15 c undercover : 0.35 1 0
1801.39/1802.15 c nlp : 0.00 0 0
1801.39/1802.15 c trysol : 0.00 0 0
1801.39/1802.15 c LP : Time Calls Iterations Iter/call Iter/sec
1801.39/1802.15 c primal LP : 2.74 0 0 0.00 0.00
1801.39/1802.15 c dual LP : 612.32 923 587621 636.64 959.66
1801.39/1802.15 c lex dual LP : 0.00 0 0 0.00 -
1801.39/1802.15 c barrier LP : 0.00 0 0 0.00 -
1801.39/1802.15 c diving/probing LP: 592.32 16538 764719 46.24 1291.06
1801.39/1802.15 c strong branching : 481.55 1050 406910 387.53 845.00
1801.39/1802.15 c (at root node) : - 14 14000 1000.00 -
1801.39/1802.15 c conflict analysis: 0.00 0 0 0.00 -
1801.39/1802.15 c B&B Tree :
1801.39/1802.15 c number of runs : 1
1801.39/1802.15 c nodes : 261
1801.39/1802.15 c nodes (total) : 261
1801.39/1802.15 c nodes left : 262
1801.39/1802.15 c max depth : 37
1801.39/1802.15 c max depth (total): 37
1801.39/1802.15 c backtracks : 101 (38.7%)
1801.39/1802.15 c delayed cutoffs : 0
1801.39/1802.15 c repropagations : 12 (7 domain reductions, 0 cutoffs)
1801.39/1802.15 c avg switch length: 6.10
1801.39/1802.15 c switching time : 3.05
1801.39/1802.15 c Solution :
1801.39/1802.15 c Solutions found : 12 (7 improvements)
1801.39/1802.15 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1801.39/1802.15 c Primal Bound : -1.30000000000000e+01 (in run 1, after 181 nodes, 1523.00 seconds, depth 453, found by <fracdiving>)
1801.39/1802.15 c Dual Bound : -4.21626208222603e+01
1801.39/1802.15 c Gap : 69.17 %
1801.39/1802.15 c Root Dual Bound : -5.00000000000000e+01
1801.39/1802.15 c Root Iterations : 19214
1801.49/1802.23 c Time complete: 1801.53.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666724-1276667929/watcher-2666724-1276667929 -o /tmp/evaluation-result-2666724-1276667929/solver-2666724-1276667929 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666724-1276667929.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14421
/proc/meminfo: memFree=1741692/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=7724 CPUtime=0
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 8085219 7909376 972 1992294400 4194304 8223781 140736479273920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14421/statm: 1931 982 348 984 0 944 0
[startup+0.053208 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14421
/proc/meminfo: memFree=1741692/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=12940 CPUtime=0.04
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 2555 0 0 0 4 0 0 0 20 0 1 0 8085219 13250560 2474 1992294400 4194304 8223781 140736479273920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14421/statm: 3235 2474 366 984 0 2248 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12940
[startup+0.101242 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14421
/proc/meminfo: memFree=1741692/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=20972 CPUtime=0.09
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 4648 0 0 0 8 1 0 0 20 0 1 0 8085219 21475328 4203 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 5243 4203 432 984 0 4256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20972
[startup+0.301251 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14421
/proc/meminfo: memFree=1741692/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=22500 CPUtime=0.29
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 5544 0 0 0 18 11 0 0 20 0 1 0 8085219 23040000 4585 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 5625 4585 450 984 0 4638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22500
[startup+0.701324 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14421
/proc/meminfo: memFree=1741692/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=37964 CPUtime=0.69
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 10972 0 0 0 47 22 0 0 21 0 1 0 8085219 38875136 8458 1992294400 4194304 8223781 140736479273920 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 9491 8458 536 984 0 8504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37964
[startup+1.50047 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14422
/proc/meminfo: memFree=1708452/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=39900 CPUtime=1.49
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 12350 0 0 0 125 24 0 0 23 0 1 0 8085219 40857600 8904 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 9975 8904 539 984 0 8988 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39900
[startup+3.10076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14422
/proc/meminfo: memFree=1707584/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=40312 CPUtime=3.09
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 13312 0 0 0 284 25 0 0 25 0 1 0 8085219 41279488 8990 1992294400 4194304 8223781 140736479273920 18446744073709551615 6614449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 10078 8990 539 984 0 9091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40312
[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14422
/proc/meminfo: memFree=1706964/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=40576 CPUtime=6.29
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 15047 0 0 0 602 27 0 0 25 0 1 0 8085219 41549824 9044 1992294400 4194304 8223781 140736479273920 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 10144 9044 539 984 0 9157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40576
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14422
/proc/meminfo: memFree=1706592/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=41688 CPUtime=12.69
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 18940 0 0 0 1236 33 0 0 25 0 1 0 8085219 42688512 9164 1992294400 4194304 8223781 140736479273920 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 10422 9164 539 984 0 9435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41688
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14422
/proc/meminfo: memFree=1701756/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=45568 CPUtime=25.49
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 41788 0 0 0 2475 74 0 0 25 0 1 0 8085219 46661632 10442 1992294400 4194304 8223781 140736479273920 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 11392 10442 601 984 0 10405 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45568
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14424
/proc/meminfo: memFree=1701384/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=46524 CPUtime=51.06
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 48020 0 0 0 5020 86 0 0 25 0 1 0 8085219 47640576 10455 1992294400 4194304 8223781 140736479273920 18446744073709551615 6090666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 11631 10455 600 984 0 10644 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46524
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14424
/proc/meminfo: memFree=1684644/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61852 CPUtime=102.25
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84733 0 0 0 10069 156 0 0 25 0 1 0 8085219 63336448 14532 1992294400 4194304 8223781 140736479273920 18446744073709551615 6567136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15463 14532 609 984 0 14476 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 61852
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14435
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61660 CPUtime=162.21
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84760 0 0 0 16043 178 0 0 25 0 1 0 8085219 63139840 14499 1992294400 4194304 8223781 140736479273920 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15415 14499 609 984 0 14428 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 61660
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14437
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61660 CPUtime=222.19
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84768 0 0 0 22012 207 0 0 25 0 1 0 8085219 63139840 14499 1992294400 4194304 8223781 140736479273920 18446744073709551615 6567856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15415 14499 609 984 0 14428 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 61660
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14439
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61660 CPUtime=282.16
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84779 0 0 0 27981 235 0 0 25 0 1 0 8085219 63139840 14500 1992294400 4194304 8223781 140736479273920 18446744073709551615 6503942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15415 14500 609 984 0 14428 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 61660
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14439
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61920 CPUtime=342.14
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84795 0 0 0 33961 253 0 0 25 0 1 0 8085219 63406080 14512 1992294400 4194304 8223781 140736479273920 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15480 14512 609 984 0 14493 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 61920
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14441
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61936 CPUtime=402.12
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84805 0 0 0 39935 277 0 0 25 0 1 0 8085219 63422464 14520 1992294400 4194304 8223781 140736479273920 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15484 14520 609 984 0 14497 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 61936
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14443
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61928 CPUtime=462.1
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84807 0 0 0 45910 300 0 0 25 0 1 0 8085219 63414272 14518 1992294400 4194304 8223781 140736479273920 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15482 14518 609 984 0 14495 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 61928
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14445
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61904 CPUtime=522.08
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84820 0 0 0 51878 330 0 0 25 0 1 0 8085219 63389696 14515 1992294400 4194304 8223781 140736479273920 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15476 14515 611 984 0 14489 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 61904
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14447
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61912 CPUtime=582.05
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84830 0 0 0 57853 352 0 0 25 0 1 0 8085219 63397888 14517 1992294400 4194304 8223781 140736479273920 18446744073709551615 6560124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15478 14517 611 984 0 14491 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 61912
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14447
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=61920 CPUtime=642.04
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84842 0 0 0 63821 383 0 0 25 0 1 0 8085219 63406080 14519 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15480 14519 611 984 0 14493 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 61920
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14457
/proc/meminfo: memFree=1684272/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1001.9
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84942 0 0 0 99634 556 0 0 25 0 1 0 8085219 63586304 14531 1992294400 4194304 8223781 140736479273920 18446744073709551615 6523825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14531 611 984 0 14537 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 62096
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14459
/proc/meminfo: memFree=1684148/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1061.88
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84962 0 0 0 105604 584 0 0 25 0 1 0 8085219 63586304 14533 1992294400 4194304 8223781 140736479273920 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14533 611 984 0 14537 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 62096
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14461
/proc/meminfo: memFree=1684148/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1121.86
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 84984 0 0 0 111577 609 0 0 25 0 1 0 8085219 63586304 14535 1992294400 4194304 8223781 140736479273920 18446744073709551615 6567501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14535 611 984 0 14537 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 62096
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14463
/proc/meminfo: memFree=1684024/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62088 CPUtime=1181.82
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85002 0 0 0 117544 638 0 0 25 0 1 0 8085219 63578112 14535 1992294400 4194304 8223781 140736479273920 18446744073709551615 6569765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15522 14535 611 984 0 14535 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 62088
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14463
/proc/meminfo: memFree=1684024/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62104 CPUtime=1241.8
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85012 0 0 0 123513 667 0 0 25 0 1 0 8085219 63594496 14539 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15526 14539 611 984 0 14539 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 62104
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14465
/proc/meminfo: memFree=1683900/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1301.79
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85021 0 0 0 129483 696 0 0 25 0 1 0 8085219 63586304 14538 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14538 611 984 0 14537 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 62096
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14467
/proc/meminfo: memFree=1683900/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1361.76
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85034 0 0 0 135453 723 0 0 25 0 1 0 8085219 63586304 14539 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14539 611 984 0 14537 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 62096
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14469
/proc/meminfo: memFree=1683900/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1421.75
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85042 0 0 0 141424 751 0 0 25 0 1 0 8085219 63586304 14539 1992294400 4194304 8223781 140736479273920 18446744073709551615 6569902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14539 611 984 0 14537 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 62096
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14471
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1481.71
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85051 0 0 0 147390 781 0 0 25 0 1 0 8085219 63586304 14540 1992294400 4194304 8223781 140736479273920 18446744073709551615 6505896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14540 611 984 0 14537 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 62096
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14471
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1541.69
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85056 0 0 0 153360 809 0 0 25 0 1 0 8085219 63586304 14543 1992294400 4194304 8223781 140736479273920 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14543 611 984 0 14537 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 62096
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14473
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1601.67
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85074 0 0 0 159330 837 0 0 25 0 1 0 8085219 63586304 14543 1992294400 4194304 8223781 140736479273920 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14543 611 984 0 14537 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 62096
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14475
/proc/meminfo: memFree=1683652/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62080 CPUtime=1661.65
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85087 0 0 0 165302 863 0 0 25 0 1 0 8085219 63569920 14540 1992294400 4194304 8223781 140736479273920 18446744073709551615 6614809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15520 14540 611 984 0 14533 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 62080
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14477
/proc/meminfo: memFree=1683652/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1721.63
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85097 0 0 0 171269 894 0 0 25 0 1 0 8085219 63586304 14548 1992294400 4194304 8223781 140736479273920 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14548 611 984 0 14537 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 62096
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14479
/proc/meminfo: memFree=1683528/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62104 CPUtime=1781.61
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85108 0 0 0 177239 922 0 0 25 0 1 0 8085219 63594496 14551 1992294400 4194304 8223781 140736479273920 18446744073709551615 4776069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15526 14551 611 984 0 14539 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 62104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14479
/proc/meminfo: memFree=1683528/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1800.01
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85122 0 0 0 179071 930 0 0 25 0 1 0 8085219 63586304 14555 1992294400 4194304 8223781 140736479273920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14555 611 984 0 14537 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 62096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14479
/proc/meminfo: memFree=1683528/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1800.7
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85122 0 0 0 179139 931 0 0 25 0 1 0 8085219 63586304 14555 1992294400 4194304 8223781 140736479273920 18446744073709551615 6539268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14555 611 984 0 14537 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 62096
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14480
/proc/meminfo: memFree=1683520/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1801.1
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85122 0 0 0 179179 931 0 0 25 0 1 0 8085219 63586304 14555 1992294400 4194304 8223781 140736479273920 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14555 611 984 0 14537 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 62096
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14480
/proc/meminfo: memFree=1683520/2059040 swapFree=4192956/4192956
[pid=14421] ppid=14419 vsize=62096 CPUtime=1801.49
/proc/14421/stat : 14421 (pbscip.linux.x8) R 14419 14421 13932 0 -1 4202496 85124 0 0 0 179218 931 0 0 25 0 1 0 8085219 63586304 14557 1992294400 4194304 8223781 140736479273920 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14421/statm: 15524 14557 613 984 0 14537 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 62096
Child status: 0
Real time (s): 1802.24
CPU time (s): 1801.54
CPU user time (s): 1792.22
CPU system time (s): 9.32558
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 90340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 9.32558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85128
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= 1
involuntary context switches= 22959
runsolver used 2.95855 second user time and 8.5257 second system time
The end