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-2666761-1276674033.opb>
0.00/0.03 c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 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, 10264 impls, 200 clqs
0.39/0.45 c (0.2s) probing: 101/1458 (6.9%) - 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 10264 implications, 200 cliques
0.39/0.45 c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.39/0.45 c 200 constraints of type <setppc>
0.39/0.45 c 1258 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
3.30/3.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.38 c t 3.1s| 1 | 0 | 3721 | - |6968k| 0 | 898 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
3.30/3.39 o -5
3.30/3.39 c s 3.1s| 1 | 0 | 3721 | - |7026k| 0 | 898 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
3.59/3.61 o -6
3.59/3.61 c u 3.3s| 1 | 0 | 3721 | - |7102k| 0 | 898 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
7.49/7.59 o -13
7.49/7.59 c y 7.0s| 1 | 0 | 3721 | - |9851k| 0 | 898 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
7.69/7.75 c 7.2s| 1 | 0 | 3826 | - |9140k| 0 | 894 |1458 |1688 |1458 |2912 | 95 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
9.79/9.85 c 9.3s| 1 | 0 | 3917 | - | 10M| 0 | 886 |1458 |1688 |1458 |2927 | 110 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
11.89/11.90 c 11.3s| 1 | 0 | 3973 | - | 12M| 0 | 885 |1458 |1688 |1458 |2934 | 117 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
14.20/14.23 c 13.6s| 1 | 0 | 4124 | - | 14M| 0 | 874 |1458 |1688 |1458 |2944 | 127 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
16.49/16.58 c 15.9s| 1 | 0 | 4234 | - | 16M| 0 | 872 |1458 |1688 |1458 |2955 | 138 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
19.09/19.11 c 18.5s| 1 | 0 | 4525 | - | 18M| 0 | 866 |1458 |1688 |1458 |2964 | 147 | 0 | 0 |-5.000000e+01 |-1.300000e+01 | 74.00%
36.48/36.56 c 35.8s| 1 | 2 | 4525 | - | 18M| 0 | 866 |1458 |1688 |1458 |2964 | 147 | 0 | 16 |-5.000000e+01 |-1.300000e+01 | 74.00%
118.77/118.84 o -25
118.77/118.84 c p 117s| 26 | 27 | 35869 |1253.8 | 18M| 13 | - |1458 |1700 |1458 |1507 |1906 | 12 | 211 |-4.950000e+01 |-2.500000e+01 | 49.49%
176.25/176.30 o -26
176.25/176.30 c p 175s| 112 | 113 |110557 | 955.2 | 18M| 17 | - |1458 |1701 |1458 |1529 |4317 | 13 | 319 |-4.934157e+01 |-2.600000e+01 | 47.31%
1800.10/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.57 c
1800.10/1800.57 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.57 c Solving Time (sec) : 1776.53
1800.10/1800.57 c Solving Nodes : 9894
1800.10/1800.57 c Primal Bound : -2.60000000000000e+01 (10 solutions)
1800.10/1800.57 c Dual Bound : -4.39058005645282e+01
1800.10/1800.57 c Gap : 40.78 %
1800.10/1800.57 s SATISFIABLE
1800.10/1800.57 v x128 -x141 -x182 -x146 x136 -x166 -x181 -x185 -x156 x153 -x179 -x178 x149 x152 -x124 -x133 x188 x189 -x147 -x139 x197 x191 x163
1800.10/1800.57 v -x130 x192 -x194 -x106 -x170 x140 -x109 -x117 -x107 x196 -x187 x168 -x190 x148 -x171 x161 -x160 -x158 x154 x151 x114 -x173 x199
1800.10/1800.57 v -x176 -x177 -x193 -x172 -x143 x135 -x162 -x125 x195 -x120 -x200 -x157 -x167 -x134 -x113 -x111 x131 -x121 x183 -x123 x174
1800.10/1800.57 v -x180 -x169 -x198 -x159 -x137 -x132 -x122 -x119 -x112 -x105 -x118 -x150 x142 -x103 -x104 -x165 -x115 -x155 -x101 -x144 -x116
1800.10/1800.57 v -x110 -x108 -x145 -x186 -x129 -x126 -x138 -x164 -x127 -x175 -x184 -x102 x100 -x99 x98 -x97 -x96 -x95 x94 x93 -x92 -x91 x90 -x89
1800.10/1800.57 v -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.10/1800.57 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.10/1800.57 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.10/1800.57 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1800.10/1800.57 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.57 c Solving Time : 1776.53
1800.10/1800.57 c Original Problem :
1800.10/1800.57 c Problem name : HOME/instance-2666761-1276674033.opb
1800.10/1800.57 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.57 c Constraints : 1559 initial, 1559 maximal
1800.10/1800.57 c Presolved Problem :
1800.10/1800.57 c Problem name : t_HOME/instance-2666761-1276674033.opb
1800.10/1800.57 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.57 c Constraints : 1559 initial, 1823 maximal
1800.10/1800.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.57 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c probing : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.57 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c and : 0.18 0 0 0 0 0 0 0 0
1800.10/1800.57 c linear : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.57 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.57 c root node : - 0 - - 0 - - - -
1800.10/1800.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.57 c integral : 0 0 0 6241 0 8 172 0 0 12226
1800.10/1800.57 c setppc : 200 6 91863 0 0 68 19938 0 0 0
1800.10/1800.57 c and : 1258 12159 91795 0 0 99 255772 48878 0 0
1800.10/1800.57 c linear : 1+ 7 91695 0 0 2 727 1 0 0
1800.10/1800.57 c logicor : 100+ 6 13392 0 0 1 7279 0 0 0
1800.10/1800.57 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.57 c integral : 370.34 0.00 0.00 370.34 0.00
1800.10/1800.57 c setppc : 1.09 0.00 1.09 0.00 0.00
1800.10/1800.57 c and : 11.60 5.96 5.64 0.00 0.00
1800.10/1800.57 c linear : 1.64 0.04 1.60 0.00 0.00
1800.10/1800.57 c logicor : 0.13 0.00 0.13 0.00 0.00
1800.10/1800.57 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.57 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.57 c vbounds : 0.06 2 0 0
1800.10/1800.57 c rootredcost : 0.03 3 0 0
1800.10/1800.57 c pseudoobj : 1.03 91888 0 22
1800.10/1800.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.57 c propagation : 0.00 170 169 217 28.5 3 26.3 -
1800.10/1800.57 c infeasible LP : 0.04 28 28 137 34.9 0 0.0 0
1800.10/1800.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.57 c applied globally : - - - 222 15.8 - - -
1800.10/1800.57 c applied locally : - - - 0 0.0 - - -
1800.10/1800.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.57 c cut pool : 0.00 5 - - 0 - (maximal pool size: 902)
1800.10/1800.57 c redcost : 1.09 12703 0 34900 0 0
1800.10/1800.57 c impliedbounds : 0.01 6 0 0 184 0
1800.10/1800.57 c intobj : 0.00 0 0 0 0 0
1800.10/1800.57 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.57 c gomory : 3.48 6 0 0 0 0
1800.10/1800.57 c strongcg : 8.18 6 0 0 1075 0
1800.10/1800.57 c cmir : 0.23 6 0 0 36 0
1800.10/1800.57 c flowcover : 0.17 6 0 0 0 0
1800.10/1800.57 c clique : 0.18 6 0 0 39 0
1800.10/1800.57 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.57 c mcf : 0.01 1 0 0 0 0
1800.10/1800.57 c rapidlearning : 1.78 1 0 0 0 129
1800.10/1800.57 c Pricers : Time Calls Vars
1800.10/1800.57 c problem variables: 0.00 0 0
1800.10/1800.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.57 c relpscost : 370.32 6241 8 172 0 0 12226
1800.10/1800.57 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.57 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.57 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.57 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.57 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.57 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.57 c random : 0.00 0 0 0 0 0 0
1800.10/1800.57 c Primal Heuristics : Time Calls Found
1800.10/1800.57 c LP solutions : 0.00 - 0
1800.10/1800.57 c pseudo solutions : 0.00 - 0
1800.10/1800.57 c feaspump : 0.00 0 0
1800.10/1800.57 c intshifting : 0.00 0 0
1800.10/1800.57 c oneopt : 0.02 3 0
1800.10/1800.57 c crossover : 0.21 4 1
1800.10/1800.57 c objpscostdiving : 27.02 8 0
1800.10/1800.57 c fracdiving : 57.64 21 0
1800.10/1800.57 c guideddiving : 55.88 21 0
1800.10/1800.57 c coefdiving : 57.94 25 0
1800.10/1800.57 c veclendiving : 50.38 27 0
1800.10/1800.57 c linesearchdiving : 57.55 35 0
1800.10/1800.57 c rootsoldiving : 14.80 21 0
1800.10/1800.57 c pscostdiving : 171.43 66 2
1800.10/1800.57 c trivial : 0.01 2 3
1800.10/1800.57 c simplerounding : 0.08 0 0
1800.10/1800.57 c zirounding : 0.29 1000 0
1800.10/1800.57 c rounding : 2.64 1452 0
1800.10/1800.57 c shifting : 3.56 1147 2
1800.10/1800.57 c twoopt : 0.00 0 0
1800.10/1800.57 c fixandinfer : 0.00 0 0
1800.10/1800.57 c intdiving : 0.00 0 0
1800.10/1800.57 c actconsdiving : 0.00 0 0
1800.10/1800.57 c octane : 0.00 0 0
1800.10/1800.57 c rens : 0.01 0 0
1800.10/1800.57 c rins : 0.00 0 0
1800.10/1800.57 c localbranching : 0.00 0 0
1800.10/1800.57 c mutation : 0.00 0 0
1800.10/1800.57 c dins : 0.00 0 0
1800.10/1800.57 c undercover : 0.18 1 1
1800.10/1800.57 c nlp : 0.03 0 0
1800.10/1800.57 c trysol : 0.00 0 0
1800.10/1800.57 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.57 c primal LP : 9.46 0 0 0.00 0.00
1800.10/1800.57 c dual LP : 848.93 14869 1544883 103.90 1819.80
1800.10/1800.57 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.57 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.57 c diving/probing LP: 442.53 40990 955566 23.31 2159.32
1800.10/1800.57 c strong branching : 369.20 3911 673651 172.25 1824.62
1800.10/1800.57 c (at root node) : - 16 14717 919.81 -
1800.10/1800.57 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.57 c B&B Tree :
1800.10/1800.57 c number of runs : 1
1800.10/1800.57 c nodes : 9894
1800.10/1800.57 c nodes (total) : 9894
1800.10/1800.57 c nodes left : 2333
1800.10/1800.57 c max depth : 54
1800.10/1800.57 c max depth (total): 54
1800.10/1800.57 c backtracks : 2039 (20.6%)
1800.10/1800.57 c delayed cutoffs : 0
1800.10/1800.57 c repropagations : 1701 (620 domain reductions, 0 cutoffs)
1800.10/1800.57 c avg switch length: 4.99
1800.10/1800.57 c switching time : 13.39
1800.10/1800.57 c Solution :
1800.10/1800.57 c Solutions found : 10 (6 improvements)
1800.10/1800.57 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.10/1800.57 c Primal Bound : -2.60000000000000e+01 (in run 1, after 112 nodes, 174.51 seconds, depth 182, found by <pscostdiving>)
1800.10/1800.57 c Dual Bound : -4.39058005645282e+01
1800.10/1800.57 c Gap : 40.78 %
1800.10/1800.57 c Root Dual Bound : -4.99999999999999e+01
1800.10/1800.57 c Root Iterations : 4525
1800.20/1800.63 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666761-1276674033/watcher-2666761-1276674033 -o /tmp/evaluation-result-2666761-1276674033/solver-2666761-1276674033 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666761-1276674033.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.06 1.02 1.07 3/106 14814
/proc/meminfo: memFree=1721696/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=7724 CPUtime=0
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1020 0 0 0 0 0 0 0 18 0 1 0 8698673 7909376 939 1992294400 4194304 8223781 140736687521872 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14814/statm: 1931 948 348 984 0 944 0
[startup+0.0533631 s]
/proc/loadavg: 1.06 1.02 1.07 3/106 14814
/proc/meminfo: memFree=1721696/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=16104 CPUtime=0.04
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 3411 0 0 0 3 1 0 0 20 0 1 0 8698673 16490496 2966 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 4026 2966 432 984 0 3039 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16104
[startup+0.100365 s]
/proc/loadavg: 1.06 1.02 1.07 3/106 14814
/proc/meminfo: memFree=1721696/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=16276 CPUtime=0.09
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 3711 0 0 0 6 3 0 0 20 0 1 0 8698673 16666624 3009 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 4069 3009 432 984 0 3082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16276
[startup+0.300378 s]
/proc/loadavg: 1.06 1.02 1.07 3/106 14814
/proc/meminfo: memFree=1721696/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=17164 CPUtime=0.29
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 5275 0 0 0 16 13 0 0 20 0 1 0 8698673 17575936 3288 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 4291 3288 459 984 0 3304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17164
[startup+0.700404 s]
/proc/loadavg: 1.06 1.02 1.07 3/106 14814
/proc/meminfo: memFree=1721696/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=24724 CPUtime=0.69
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 7764 0 0 0 49 20 0 0 20 0 1 0 8698673 25317376 5213 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 6181 5213 536 984 0 5194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24724
[startup+1.50046 s]
/proc/loadavg: 1.06 1.02 1.07 2/107 14815
/proc/meminfo: memFree=1702220/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=25276 CPUtime=1.49
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 8328 0 0 0 128 21 0 0 23 0 1 0 8698673 25882624 5410 1992294400 4194304 8223781 140736687521872 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 6319 5410 536 984 0 5332 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25276
[startup+3.10156 s]
/proc/loadavg: 1.06 1.02 1.07 2/107 14815
/proc/meminfo: memFree=1701600/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=26008 CPUtime=3.09
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 9272 0 0 0 287 22 0 0 25 0 1 0 8698673 26632192 5522 1992294400 4194304 8223781 140736687521872 18446744073709551615 6615003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 6502 5522 536 984 0 5515 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26008
[startup+6.30176 s]
/proc/loadavg: 1.06 1.02 1.07 2/107 14817
/proc/meminfo: memFree=1696268/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=43796 CPUtime=6.29
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 25386 0 0 0 582 47 0 0 25 0 1 0 8698673 44847104 9765 1992294400 4194304 8223781 140736687521872 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 10949 9765 602 984 0 9962 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43796
[startup+12.7012 s]
/proc/loadavg: 1.05 1.02 1.07 2/107 14817
/proc/meminfo: memFree=1689324/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=37464 CPUtime=12.69
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 26310 0 0 0 1211 58 0 0 25 0 1 0 8698673 38363136 8553 1992294400 4194304 8223781 140736687521872 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 9366 8553 602 984 0 8379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37464
[startup+25.501 s]
/proc/loadavg: 1.04 1.02 1.07 2/107 14817
/proc/meminfo: memFree=1680768/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=46500 CPUtime=25.48
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 33938 0 0 0 2482 66 0 0 25 0 1 0 8698673 47616000 10645 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11625 10645 603 984 0 10638 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46500
[startup+51.1006 s]
/proc/loadavg: 1.02 1.02 1.07 2/107 14817
/proc/meminfo: memFree=1680644/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=46064 CPUtime=51.07
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 41910 0 0 0 5026 81 0 0 25 0 1 0 8698673 47169536 10575 1992294400 4194304 8223781 140736687521872 18446744073709551615 6567527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11516 10575 605 984 0 10529 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46064
[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.06 2/107 14819
/proc/meminfo: memFree=1680644/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=46188 CPUtime=102.27
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 42033 0 0 0 10111 116 0 0 25 0 1 0 8698673 47296512 10582 1992294400 4194304 8223781 140736687521872 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11547 10582 605 984 0 10560 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46188
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 14821
/proc/meminfo: memFree=1680396/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=46188 CPUtime=162.25
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 50078 0 0 0 16064 161 0 0 25 0 1 0 8698673 47296512 10602 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11547 10602 605 984 0 10560 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46188
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 14821
/proc/meminfo: memFree=1680396/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=46188 CPUtime=222.24
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 75038 0 0 0 22009 215 0 0 25 0 1 0 8698673 47296512 10617 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11547 10617 605 984 0 10560 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46188
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 14823
/proc/meminfo: memFree=1679652/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=47640 CPUtime=282.23
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 125145 0 0 0 27949 274 0 0 25 0 1 0 8698673 48783360 10948 1992294400 4194304 8223781 140736687521872 18446744073709551615 6559782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11910 10948 606 984 0 10923 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47640
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 14825
/proc/meminfo: memFree=1679404/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=47600 CPUtime=342.21
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 199654 0 0 0 33874 347 0 0 25 0 1 0 8698673 48742400 10936 1992294400 4194304 8223781 140736687521872 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 11900 10936 612 984 0 10913 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 47600
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14827
/proc/meminfo: memFree=1678908/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=48092 CPUtime=402.19
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 294851 0 0 0 39794 425 0 0 25 0 1 0 8698673 49246208 11016 1992294400 4194304 8223781 140736687521872 18446744073709551615 7235108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 12023 11016 606 984 0 11036 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 48092
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 14829
/proc/meminfo: memFree=1678536/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=48680 CPUtime=462.19
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 403720 0 0 0 45713 506 0 0 25 0 1 0 8698673 49848320 11145 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 12170 11145 607 984 0 11183 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 48680
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 14829
/proc/meminfo: memFree=1678288/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=49248 CPUtime=522.18
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 488513 0 0 0 51637 581 0 0 25 0 1 0 8698673 50429952 11235 1992294400 4194304 8223781 140736687521872 18446744073709551615 6559386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 12312 11235 607 984 0 11325 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 49248
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14831
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=48840 CPUtime=582.16
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 581587 0 0 0 57556 660 0 0 25 0 1 0 8698673 50012160 11232 1992294400 4194304 8223781 140736687521872 18446744073709551615 6562454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 12210 11232 607 984 0 11223 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 48840
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 14833
/proc/meminfo: memFree=1677296/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=49216 CPUtime=642.15
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 698605 0 0 0 63475 740 0 0 25 0 1 0 8698673 50397184 11355 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 12304 11355 607 984 0 11317 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 49216
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14839
/proc/meminfo: memFree=1674196/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=52308 CPUtime=882.09
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1098718 0 0 0 87150 1059 0 0 25 0 1 0 8698673 53563392 12112 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13077 12112 607 984 0 12090 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 52308
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14841
/proc/meminfo: memFree=1673452/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=52960 CPUtime=942.08
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1183338 0 0 0 93070 1138 0 0 25 0 1 0 8698673 54231040 12266 1992294400 4194304 8223781 140736687521872 18446744073709551615 6590163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13240 12266 607 984 0 12253 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 52960
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14843
/proc/meminfo: memFree=1672832/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=53652 CPUtime=1002.07
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1294876 0 0 0 98985 1222 0 0 25 0 1 0 8698673 54939648 12442 1992294400 4194304 8223781 140736687521872 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13413 12442 607 984 0 12426 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 53652
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14845
/proc/meminfo: memFree=1672336/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=53764 CPUtime=1062.05
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1411638 0 0 0 104899 1306 0 0 25 0 1 0 8698673 55054336 12495 1992294400 4194304 8223781 140736687521872 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13441 12495 607 984 0 12454 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 53764
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14845
/proc/meminfo: memFree=1671840/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=54528 CPUtime=1122.04
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1524220 0 0 0 110809 1395 0 0 25 0 1 0 8698673 55836672 12682 1992294400 4194304 8223781 140736687521872 18446744073709551615 6614978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13632 12682 607 984 0 12645 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 54528
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14847
/proc/meminfo: memFree=1671344/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=54864 CPUtime=1182.02
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1625892 0 0 0 116730 1472 0 0 25 0 1 0 8698673 56180736 12746 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13716 12746 607 984 0 12729 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 54864
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14858
/proc/meminfo: memFree=1670352/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=55952 CPUtime=1242
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1737976 0 0 0 122650 1550 0 0 25 0 1 0 8698673 57294848 12983 1992294400 4194304 8223781 140736687521872 18446744073709551615 6251029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13988 12983 607 984 0 13001 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 55952
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14860
/proc/meminfo: memFree=1669980/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=55468 CPUtime=1302.01
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1840140 0 0 0 128563 1638 0 0 25 0 1 0 8698673 56799232 12933 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 13867 12933 607 984 0 12880 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 55468
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14862
/proc/meminfo: memFree=1669236/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=56728 CPUtime=1361.98
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 1918438 0 0 0 134483 1715 0 0 25 0 1 0 8698673 58089472 13172 1992294400 4194304 8223781 140736687521872 18446744073709551615 6567490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14182 13172 607 984 0 13195 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 56728
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14862
/proc/meminfo: memFree=1669236/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=56964 CPUtime=1421.97
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2041610 0 0 0 140397 1800 0 0 25 0 1 0 8698673 58331136 13254 1992294400 4194304 8223781 140736687521872 18446744073709551615 6562147 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14241 13254 607 984 0 13254 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 56964
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14864
/proc/meminfo: memFree=1668120/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=58384 CPUtime=1481.95
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2156276 0 0 0 146303 1892 0 0 25 0 1 0 8698673 59785216 13574 1992294400 4194304 8223781 140736687521872 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14596 13574 607 984 0 13609 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 58384
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14866
/proc/meminfo: memFree=1667376/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=58448 CPUtime=1541.94
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2270442 0 0 0 152218 1976 0 0 25 0 1 0 8698673 59850752 13661 1992294400 4194304 8223781 140736687521872 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14612 13661 607 984 0 13625 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 58448
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14868
/proc/meminfo: memFree=1666880/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=59036 CPUtime=1601.93
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2374090 0 0 0 158131 2062 0 0 25 0 1 0 8698673 60452864 13791 1992294400 4194304 8223781 140736687521872 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14759 13791 607 984 0 13772 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 59036
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14870
/proc/meminfo: memFree=1666880/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=59064 CPUtime=1661.91
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2502085 0 0 0 164035 2156 0 0 25 0 1 0 8698673 60481536 13826 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14766 13826 610 984 0 13779 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 59064
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14870
/proc/meminfo: memFree=1666384/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=59520 CPUtime=1721.9
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2624821 0 0 0 169936 2254 0 0 25 0 1 0 8698673 60948480 13944 1992294400 4194304 8223781 140736687521872 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 14880 13944 607 984 0 13893 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 59520
[startup+1782.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 14872
/proc/meminfo: memFree=1665640/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=60116 CPUtime=1781.89
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2731871 0 0 0 175853 2336 0 0 25 0 1 0 8698673 61558784 14060 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 15029 14060 607 984 0 14042 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 60116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 14872
/proc/meminfo: memFree=1665516/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=60860 CPUtime=1800.1
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2761326 0 0 0 177649 2361 0 0 25 0 1 0 8698673 62320640 14208 1992294400 4194304 8223781 140736687521872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14814/statm: 15215 14208 607 984 0 14228 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 60860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 14873
/proc/meminfo: memFree=1666624/2059040 swapFree=4192956/4192956
[pid=14814] ppid=14812 vsize=56916 CPUtime=1800.2
/proc/14814/stat : 14814 (pbscip.linux.x8) R 14812 14814 14710 0 -1 4202496 2761758 0 0 0 177659 2361 0 0 25 0 1 0 8698673 58281984 13256 1992294400 4194304 8223781 140736687521872 18446744073709551615 6207243 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14814/statm: 14229 13256 609 984 0 13242 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 56916
Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.23
CPU user time (s): 1776.6
CPU system time (s): 23.6234
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 69076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.6
system time used= 23.6234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2761762
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= 4163
runsolver used 3.02554 second user time and 8.45371 second system time
The end