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-2666732-1276669457.opb>
0.00/0.03 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10152 impls, 200 clqs
0.39/0.45 c (0.2s) probing: 101/1444 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (2 rounds):
0.39/0.45 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 10152 implications, 200 cliques
0.39/0.45 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.39/0.45 c 200 constraints of type <setppc>
0.39/0.45 c 1244 constraints of type <and>
0.39/0.45 c 1 constraints of type <linear>
0.39/0.45 c 100 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.22
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 1.2.1.2
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1799.98
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 1620
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c heuristics/undercover/freq = 0
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
4.50/4.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.50/4.51 c t 4.3s| 1 | 0 | 4955 | - |6906k| 0 | 914 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
4.50/4.52 o -5
4.50/4.52 c s 4.3s| 1 | 0 | 4955 | - |6953k| 0 | 914 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
4.69/4.74 o -6
4.69/4.74 c u 4.4s| 1 | 0 | 4955 | - |7026k| 0 | 914 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
8.79/8.82 o -14
8.79/8.82 c y 8.2s| 1 | 0 | 4955 | - |8808k| 0 | 914 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
9.09/9.15 c 8.5s| 1 | 0 | 5216 | - |8429k| 0 | 895 |1444 |1704 |1444 |2925 | 136 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
11.59/11.68 c 11.0s| 1 | 0 | 5588 | - | 10M| 0 | 879 |1444 |1704 |1444 |2954 | 165 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
14.09/14.11 c 13.4s| 1 | 0 | 5948 | - | 14M| 0 | 884 |1444 |1704 |1444 |2978 | 189 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
16.79/16.87 c 16.2s| 1 | 0 | 6409 | - | 18M| 0 | 867 |1444 |1704 |1444 |2993 | 204 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
19.28/19.35 c 18.6s| 1 | 0 | 6666 | - | 22M| 0 | 874 |1444 |1704 |1444 |3007 | 218 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
22.09/22.17 c 21.4s| 1 | 0 | 7189 | - | 25M| 0 | 862 |1444 |1704 |1444 |3022 | 233 | 0 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
58.87/58.93 c 57.9s| 1 | 2 | 7189 | - | 25M| 0 | 862 |1444 |1704 |1444 |3022 | 233 | 0 | 32 |-5.000000e+01 |-1.400000e+01 | 72.00%
140.77/140.83 o -22
140.77/140.83 c p 139s| 26 | 27 | 40981 |1351.7 | 24M| 13 | - |1444 |1707 |1444 |1526 |1987 | 3 | 262 |-4.950000e+01 |-2.200000e+01 | 55.56%
183.75/183.89 o -23
183.75/183.89 c g 182s| 98 | 99 | 97020 | 926.1 | 25M| 16 | - |1444 |1721 |1444 |1514 |4090 | 17 | 334 |-4.950000e+01 |-2.300000e+01 | 53.54%
254.04/254.12 o -25
254.04/254.12 c l 252s| 134 | 135 |211296 |1534.6 | 25M| 17 | - |1444 |1738 |1444 |1460 |5662 | 34 | 424 |-4.897643e+01 |-2.500000e+01 | 48.96%
412.79/412.95 o -26
412.79/412.95 c l 409s| 208 | 209 |483077 |2299.0 | 25M| 17 | - |1444 |1758 |1444 |1520 |7814 | 54 | 621 |-4.820275e+01 |-2.600000e+01 | 46.06%
653.24/653.43 o -27
653.24/653.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.24/653.43 c l 646s| 470 | 469 |854555 |1806.8 | 26M| 21 | - |1444 |1772 |1444 |1589 | 13k| 75 |1228 |-4.673620e+01 |-2.700000e+01 | 42.23%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.45/1800.97 c
1800.45/1800.97 c SCIP Status : solving was interrupted [user interrupt]
1800.45/1800.97 c Solving Time (sec) : 1778.94
1800.45/1800.97 c Solving Nodes : 5373
1800.45/1800.97 c Primal Bound : -2.70000000000000e+01 (16 solutions)
1800.45/1800.97 c Dual Bound : -4.46046842001637e+01
1800.45/1800.97 c Gap : 39.47 %
1800.45/1800.97 s SATISFIABLE
1800.45/1800.97 v -x166 x164 x158 -x163 x121 x171 -x113 -x156 -x144 -x135 -x152 -x161 -x122 x130 -x157 x146 -x181 x129 -x111 x192 x167 -x154 -x185
1800.45/1800.97 v -x127 -x117 -x184 -x120 -x124 x134 -x178 -x168 -x136 -x172 -x110 x187 x190 x200 x105 -x151 -x131 -x109 x106 x183 -x153 -x182
1800.45/1800.97 v -x189 x149 -x195 -x104 x198 -x193 -x188 -x128 -x119 -x112 -x191 -x179 -x162 -x107 x137 -x115 -x175 -x145 -x132 -x108 -x199
1800.45/1800.97 v -x138 x148 -x174 -x139 -x143 -x197 x180 -x160 -x155 -x150 x118 -x114 -x116 -x196 -x176 -x142 x103 -x140 -x194 x125 -x101 x170
1800.45/1800.97 v -x133 -x123 -x159 -x165 -x102 -x177 -x173 -x126 -x141 x169 x186 -x147 -x100 -x99 -x98 -x97 x96 -x95 x94 -x93 -x92 -x91 -x90
1800.45/1800.97 v -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 -x69 -x68 -x67 x66 x65 -x64 x63
1800.45/1800.97 v x62 -x61 x60 -x59 -x58 -x57 -x56 x55 x54 -x53 -x52 -x51 x50 -x49 -x48 x47 -x46 -x45 x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36
1800.45/1800.97 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 x20 x19 -x18 -x17 x16 -x15 -x14 -x13 x12 -x11 -x10
1800.45/1800.97 v -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.45/1800.97 c SCIP Status : solving was interrupted [user interrupt]
1800.45/1800.97 c Solving Time : 1778.94
1800.45/1800.97 c Original Problem :
1800.45/1800.97 c Problem name : HOME/instance-2666732-1276669457.opb
1800.45/1800.97 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.45/1800.97 c Constraints : 1545 initial, 1545 maximal
1800.45/1800.97 c Presolved Problem :
1800.45/1800.97 c Problem name : t_HOME/instance-2666732-1276669457.opb
1800.45/1800.97 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.45/1800.97 c Constraints : 1545 initial, 1862 maximal
1800.45/1800.97 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.45/1800.97 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c implics : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c probing : 0.03 0 0 0 0 0 0 0 0
1800.45/1800.97 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c and : 0.17 0 0 0 0 0 0 0 0
1800.45/1800.97 c linear : 0.01 0 0 0 0 0 0 0 0
1800.45/1800.97 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.45/1800.97 c root node : - 0 - - 0 - - - -
1800.45/1800.97 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.45/1800.97 c integral : 0 0 0 3878 0 3 141 0 0 7570
1800.45/1800.97 c setppc : 200 6 91054 0 0 37 14944 0 0 0
1800.45/1800.97 c and : 1244 8210 91020 0 0 145 194307 43658 0 0
1800.45/1800.97 c linear : 1+ 7 90872 0 0 0 1769 0 0 0
1800.45/1800.97 c logicor : 100+ 6 10190 0 0 0 5625 0 0 0
1800.45/1800.97 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.45/1800.97 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.45/1800.97 c integral : 339.11 0.00 0.00 339.11 0.00
1800.45/1800.97 c setppc : 1.25 0.00 1.25 0.00 0.00
1800.45/1800.97 c and : 12.08 4.69 7.39 0.00 0.00
1800.45/1800.97 c linear : 1.64 0.03 1.61 0.00 0.00
1800.45/1800.97 c logicor : 0.12 0.00 0.12 0.00 0.00
1800.45/1800.97 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.45/1800.97 c Propagators : Time Calls Cutoffs DomReds
1800.45/1800.97 c vbounds : 0.04 2 0 0
1800.45/1800.97 c rootredcost : 0.08 6 0 0
1800.45/1800.97 c pseudoobj : 0.81 90999 0 0
1800.45/1800.97 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.45/1800.97 c propagation : 0.00 182 182 182 2.2 0 0.0 -
1800.45/1800.97 c infeasible LP : 0.00 12 12 37 50.2 0 0.0 0
1800.45/1800.97 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.45/1800.97 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.45/1800.97 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.45/1800.97 c applied globally : - - - 204 6.6 - - -
1800.45/1800.97 c applied locally : - - - 0 0.0 - - -
1800.45/1800.97 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.45/1800.97 c cut pool : 0.02 5 - - 0 - (maximal pool size: 1459)
1800.45/1800.97 c redcost : 0.85 8446 0 22405 0 0
1800.45/1800.97 c impliedbounds : 0.01 6 0 0 308 0
1800.45/1800.97 c intobj : 0.00 0 0 0 0 0
1800.45/1800.97 c cgmip : 0.00 0 0 0 0 0
1800.45/1800.97 c gomory : 3.60 6 0 0 10 0
1800.45/1800.97 c strongcg : 8.56 6 0 0 2039 0
1800.45/1800.97 c cmir : 0.24 6 0 0 48 0
1800.45/1800.97 c flowcover : 0.15 6 0 0 0 0
1800.45/1800.97 c clique : 0.18 6 0 0 45 0
1800.45/1800.97 c zerohalf : 0.00 0 0 0 0 0
1800.45/1800.97 c mcf : 0.01 1 0 0 0 0
1800.45/1800.97 c rapidlearning : 1.57 1 0 0 0 159
1800.45/1800.97 c Pricers : Time Calls Vars
1800.45/1800.97 c problem variables: 0.00 0 0
1800.45/1800.97 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.45/1800.97 c relpscost : 339.09 3878 3 141 0 0 7570
1800.45/1800.97 c pscost : 0.00 0 0 0 0 0 0
1800.45/1800.97 c inference : 0.00 0 0 0 0 0 0
1800.45/1800.97 c mostinf : 0.00 0 0 0 0 0 0
1800.45/1800.97 c leastinf : 0.00 0 0 0 0 0 0
1800.45/1800.97 c fullstrong : 0.00 0 0 0 0 0 0
1800.45/1800.97 c allfullstrong : 0.00 0 0 0 0 0 0
1800.45/1800.97 c random : 0.00 0 0 0 0 0 0
1800.45/1800.97 c Primal Heuristics : Time Calls Found
1800.45/1800.97 c LP solutions : 0.00 - 0
1800.45/1800.97 c pseudo solutions : 0.00 - 0
1800.45/1800.97 c intshifting : 0.00 0 0
1800.45/1800.97 c oneopt : 0.01 6 0
1800.45/1800.97 c coefdiving : 53.03 23 0
1800.45/1800.97 c pscostdiving : 119.19 45 1
1800.45/1800.97 c trivial : 0.00 2 3
1800.45/1800.97 c simplerounding : 0.02 0 0
1800.45/1800.97 c zirounding : 0.40 1000 0
1800.45/1800.97 c rounding : 2.81 1160 0
1800.45/1800.97 c shifting : 3.01 796 5
1800.45/1800.97 c twoopt : 0.00 0 0
1800.45/1800.97 c fixandinfer : 0.00 0 0
1800.45/1800.97 c feaspump : 0.00 0 0
1800.45/1800.97 c fracdiving : 51.69 25 0
1800.45/1800.97 c veclendiving : 46.47 28 0
1800.45/1800.97 c intdiving : 0.00 0 0
1800.45/1800.97 c actconsdiving : 0.00 0 0
1800.45/1800.97 c objpscostdiving : 30.73 10 0
1800.45/1800.97 c rootsoldiving : 14.81 19 0
1800.45/1800.97 c linesearchdiving : 170.13 100 3
1800.45/1800.97 c guideddiving : 127.37 41 1
1800.45/1800.97 c octane : 0.00 0 0
1800.45/1800.97 c rens : 0.01 0 0
1800.45/1800.97 c rins : 0.00 0 0
1800.45/1800.97 c localbranching : 0.00 0 0
1800.45/1800.97 c mutation : 0.00 0 0
1800.45/1800.97 c crossover : 1.64 2 1
1800.45/1800.97 c dins : 0.00 0 0
1800.45/1800.97 c undercover : 0.16 1 1
1800.45/1800.97 c nlp : 0.01 0 0
1800.45/1800.97 c trysol : 0.03 0 0
1800.45/1800.97 c LP : Time Calls Iterations Iter/call Iter/sec
1800.45/1800.97 c primal LP : 8.59 0 0 0.00 0.00
1800.45/1800.97 c dual LP : 770.34 9372 1408220 150.26 1828.05
1800.45/1800.97 c lex dual LP : 0.00 0 0 0.00 -
1800.45/1800.97 c barrier LP : 0.00 0 0 0.00 -
1800.45/1800.97 c diving/probing LP: 550.28 52239 1215681 23.27 2209.20
1800.45/1800.97 c strong branching : 338.07 3606 605426 167.89 1790.83
1800.45/1800.97 c (at root node) : - 32 31118 972.44 -
1800.45/1800.97 c conflict analysis: 0.00 0 0 0.00 -
1800.45/1800.97 c B&B Tree :
1800.45/1800.97 c number of runs : 1
1800.45/1800.97 c nodes : 5373
1800.45/1800.97 c nodes (total) : 5373
1800.45/1800.97 c nodes left : 2198
1800.45/1800.97 c max depth : 61
1800.45/1800.97 c max depth (total): 61
1800.45/1800.97 c backtracks : 1114 (20.7%)
1800.45/1800.97 c delayed cutoffs : 0
1800.45/1800.97 c repropagations : 2026 (733 domain reductions, 0 cutoffs)
1800.45/1800.97 c avg switch length: 6.45
1800.45/1800.97 c switching time : 11.65
1800.45/1800.97 c Solution :
1800.45/1800.97 c Solutions found : 16 (9 improvements)
1800.45/1800.97 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.45/1800.97 c Primal Bound : -2.70000000000000e+01 (in run 1, after 470 nodes, 645.76 seconds, depth 62, found by <linesearchdiving>)
1800.45/1800.97 c Dual Bound : -4.46046842001637e+01
1800.45/1800.97 c Gap : 39.47 %
1800.45/1800.97 c Root Dual Bound : -4.99999999999999e+01
1800.45/1800.97 c Root Iterations : 7189
1800.55/1801.03 c Time complete: 1800.58.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666732-1276669457/watcher-2666732-1276669457 -o /tmp/evaluation-result-2666732-1276669457/solver-2666732-1276669457 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666732-1276669457.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 9267
/proc/meminfo: memFree=1765616/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=6696 CPUtime=0
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 42547021 6856704 906 1992294400 4194304 8223781 140735132179792 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9267/statm: 1674 916 343 984 0 687 0
[startup+0.103765 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9267
/proc/meminfo: memFree=1765616/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=16272 CPUtime=0.09
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 3709 0 0 0 6 3 0 0 20 0 1 0 42547021 16662528 3008 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 4068 3008 432 984 0 3081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16272
[startup+0.201776 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9267
/proc/meminfo: memFree=1765616/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=16272 CPUtime=0.19
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 3709 0 0 0 11 8 0 0 20 0 1 0 42547021 16662528 3008 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 4068 3008 432 984 0 3081 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16272
[startup+0.300783 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9267
/proc/meminfo: memFree=1765616/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=17160 CPUtime=0.29
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 5270 0 0 0 16 13 0 0 20 0 1 0 42547021 17571840 3284 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 4290 3284 459 984 0 3303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17160
[startup+0.70082 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9267
/proc/meminfo: memFree=1765616/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=24356 CPUtime=0.69
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 7747 0 0 0 49 20 0 0 21 0 1 0 42547021 24940544 5170 1992294400 4194304 8223781 140735132179792 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 6089 5170 536 984 0 5102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24356
[startup+1.50089 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1746140/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=25000 CPUtime=1.49
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 8237 0 0 0 128 21 0 0 23 0 1 0 42547021 25600000 5357 1992294400 4194304 8223781 140735132179792 18446744073709551615 6614514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 6250 5357 536 984 0 5263 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25000
[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1745396/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=26020 CPUtime=3.09
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 9001 0 0 0 287 22 0 0 25 0 1 0 42547021 26644480 5434 1992294400 4194304 8223781 140735132179792 18446744073709551615 6562648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 6505 5434 536 984 0 5518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26020
[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1740436/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=29456 CPUtime=6.29
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 20031 0 0 0 599 30 0 0 25 0 1 0 42547021 30162944 6547 1992294400 4194304 8223781 140735132179792 18446744073709551615 7070827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 7364 6547 584 984 0 6377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29456
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1734360/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=36968 CPUtime=12.69
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 26183 0 0 0 1206 63 0 0 25 0 1 0 42547021 37855232 8417 1992294400 4194304 8223781 140735132179792 18446744073709551615 6056443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 9242 8417 602 984 0 8255 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36968
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1717248/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=53368 CPUtime=25.49
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 34200 0 0 0 2477 72 0 0 25 0 1 0 42547021 54648832 12438 1992294400 4194304 8223781 140735132179792 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13342 12438 603 984 0 12355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53368
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9268
/proc/meminfo: memFree=1717372/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=53368 CPUtime=51.08
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 50262 0 0 0 5019 89 0 0 25 0 1 0 42547021 54648832 12428 1992294400 4194304 8223781 140735132179792 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13342 12428 603 984 0 12355 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53368
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9270
/proc/meminfo: memFree=1717124/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=53044 CPUtime=102.27
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 55263 0 0 0 10110 117 0 0 25 0 1 0 42547021 54317056 12360 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13261 12360 603 984 0 12274 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53044
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9272
/proc/meminfo: memFree=1717000/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=53044 CPUtime=162.25
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 60274 0 0 0 16065 160 0 0 25 0 1 0 42547021 54317056 12363 1992294400 4194304 8223781 140735132179792 18446744073709551615 6446952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13261 12363 605 984 0 12274 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53044
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9274
/proc/meminfo: memFree=1717000/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=53316 CPUtime=222.25
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 69104 0 0 0 22019 206 0 0 25 0 1 0 42547021 54595584 12414 1992294400 4194304 8223781 140735132179792 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13329 12414 606 984 0 12342 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 53316
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9274
/proc/meminfo: memFree=1715636/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=54272 CPUtime=282.22
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 82648 0 0 0 27970 252 0 0 25 0 1 0 42547021 55574528 12676 1992294400 4194304 8223781 140735132179792 18446744073709551615 6482588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13568 12676 606 984 0 12581 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 54272
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9276
/proc/meminfo: memFree=1715760/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=55056 CPUtime=342.2
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 118946 0 0 0 33907 313 0 0 25 0 1 0 42547021 56377344 12820 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13764 12820 606 984 0 12777 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 55056
[startup+402.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 9278
/proc/meminfo: memFree=1715264/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=54952 CPUtime=402.19
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 186737 0 0 0 39829 390 0 0 25 0 1 0 42547021 56270848 12794 1992294400 4194304 8223781 140735132179792 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13738 12794 606 984 0 12751 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 54952
[startup+462.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 9280
/proc/meminfo: memFree=1714892/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=55024 CPUtime=462.17
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 280843 0 0 0 45745 472 0 0 25 0 1 0 42547021 56344576 12797 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13756 12797 606 984 0 12769 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 55024
[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 9282
/proc/meminfo: memFree=1714768/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=55852 CPUtime=522.16
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 372087 0 0 0 51667 549 0 0 25 0 1 0 42547021 57192448 12956 1992294400 4194304 8223781 140735132179792 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13963 12956 606 984 0 12976 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 55852
[startup+582.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 9282
/proc/meminfo: memFree=1714396/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=55624 CPUtime=582.15
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 471993 0 0 0 57582 633 0 0 25 0 1 0 42547021 56958976 12988 1992294400 4194304 8223781 140735132179792 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13906 12988 606 984 0 12919 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 55624
[startup+642.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 9284
/proc/meminfo: memFree=1714148/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=55772 CPUtime=642.13
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 581139 0 0 0 63482 731 0 0 25 0 1 0 42547021 57110528 13024 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 13943 13024 607 984 0 12956 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 55772
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9294
/proc/meminfo: memFree=1711544/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=58532 CPUtime=1002.04
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1136576 0 0 0 98999 1205 0 0 25 0 1 0 42547021 59936768 13696 1992294400 4194304 8223781 140735132179792 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 14633 13696 607 984 0 13646 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 58532
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9296
/proc/meminfo: memFree=1710676/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=59088 CPUtime=1062.03
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1251084 0 0 0 104906 1297 0 0 25 0 1 0 42547021 60506112 13844 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 14772 13844 607 984 0 13785 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 59088
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9298
/proc/meminfo: memFree=1710428/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=60300 CPUtime=1122.01
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1365555 0 0 0 110816 1385 0 0 25 0 1 0 42547021 61747200 14029 1992294400 4194304 8223781 140735132179792 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15075 14029 607 984 0 14088 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 60300
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9298
/proc/meminfo: memFree=1709436/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=60088 CPUtime=1182
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1448326 0 0 0 116743 1457 0 0 25 0 1 0 42547021 61530112 14100 1992294400 4194304 8223781 140735132179792 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15022 14105 607 984 0 14035 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 60088
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9300
/proc/meminfo: memFree=1708816/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=60760 CPUtime=1241.99
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1526696 0 0 0 122662 1537 0 0 25 0 1 0 42547021 62218240 14296 1992294400 4194304 8223781 140735132179792 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15190 14296 607 984 0 14203 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 60760
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9302
/proc/meminfo: memFree=1707700/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=62556 CPUtime=1301.97
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1597922 0 0 0 128580 1617 0 0 25 0 1 0 42547021 64057344 14633 1992294400 4194304 8223781 140735132179792 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15639 14633 607 984 0 14652 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 62556
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9304
/proc/meminfo: memFree=1707204/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=62072 CPUtime=1361.95
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1719232 0 0 0 134485 1710 0 0 25 0 1 0 42547021 63561728 14600 1992294400 4194304 8223781 140735132179792 18446744073709551615 6445094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15518 14600 607 984 0 14531 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 62072
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9306
/proc/meminfo: memFree=1706584/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=63336 CPUtime=1421.95
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1823944 0 0 0 140399 1796 0 0 25 0 1 0 42547021 64856064 14876 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15834 14876 607 984 0 14847 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 63336
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9306
/proc/meminfo: memFree=1706336/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=62864 CPUtime=1481.92
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 1914632 0 0 0 146317 1875 0 0 25 0 1 0 42547021 64372736 14817 1992294400 4194304 8223781 140735132179792 18446744073709551615 6446865 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 15716 14817 607 984 0 14729 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 62864
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9308
/proc/meminfo: memFree=1702244/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=66776 CPUtime=1541.92
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2000406 0 0 0 152236 1956 0 0 25 0 1 0 42547021 68378624 15793 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16694 15793 607 984 0 15707 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 66776
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9310
/proc/meminfo: memFree=1702368/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=66776 CPUtime=1601.89
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2000406 0 0 0 158194 1995 0 0 25 0 1 0 42547021 68378624 15793 1992294400 4194304 8223781 140735132179792 18446744073709551615 6446938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16694 15793 607 984 0 15707 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 66776
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9312
/proc/meminfo: memFree=1702368/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=66776 CPUtime=1661.88
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2000408 0 0 0 164150 2038 0 0 25 0 1 0 42547021 68378624 15795 1992294400 4194304 8223781 140735132179792 18446744073709551615 6539282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16694 15795 607 984 0 15707 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 66776
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9314
/proc/meminfo: memFree=1702244/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=67564 CPUtime=1721.87
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2003667 0 0 0 170103 2084 0 0 25 0 1 0 42547021 69185536 15902 1992294400 4194304 8223781 140735132179792 18446744073709551615 6569282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16891 15902 608 984 0 15904 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 67564
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9314
/proc/meminfo: memFree=1701996/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=66932 CPUtime=1781.85
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2024481 0 0 0 176049 2136 0 0 25 0 1 0 42547021 68538368 15832 1992294400 4194304 8223781 140735132179792 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16733 15832 607 984 0 15746 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 66932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9316
/proc/meminfo: memFree=1701872/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=67800 CPUtime=1800.06
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2041664 0 0 0 177850 2156 0 0 25 0 1 0 42547021 69427200 15952 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16950 15952 607 984 0 15963 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 67800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9317
/proc/meminfo: memFree=1701740/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=67800 CPUtime=1800.26
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2041769 0 0 0 177870 2156 0 0 25 0 1 0 42547021 69427200 15959 1992294400 4194304 8223781 140735132179792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16950 15959 607 984 0 15963 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 67800
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9317
/proc/meminfo: memFree=1701740/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=67336 CPUtime=1800.45
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2041963 0 0 0 177889 2156 0 0 25 0 1 0 42547021 68952064 15927 1992294400 4194304 8223781 140735132179792 18446744073709551615 6536470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9267/statm: 16834 15927 607 984 0 15847 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 67336
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9317
/proc/meminfo: memFree=1701740/2059040 swapFree=4135932/4192956
[pid=9267] ppid=9265 vsize=67328 CPUtime=1800.55
/proc/9267/stat : 9267 (pbscip.linux.x8) R 9265 9267 8711 0 -1 4202496 2042169 0 0 0 177899 2156 0 0 25 0 1 0 42547021 68943872 15897 1992294400 4194304 8223781 140735132179792 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9267/statm: 16832 15897 609 984 0 15845 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 67328
Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.59
CPU user time (s): 1779.02
CPU system time (s): 21.5737
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 75964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.02
system time used= 21.5737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2042173
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= 3
involuntary context switches= 3092
runsolver used 3.18751 second user time and 8.29174 second system time
The end