0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665202-1276656014.opb>
0.02/0.06 c original problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.02/0.06 c problem read
0.02/0.06 c presolving settings loaded
0.09/0.14 c presolving:
0.59/0.63 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 414832 impls, 0 clqs
1.00/1.07 c (0.8s) probing: 101/6420 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.07 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.00/1.07 c presolving (2 rounds):
1.00/1.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.07 c 414832 implications, 0 cliques
1.00/1.07 c presolved problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
1.00/1.07 c 6220 constraints of type <and>
1.00/1.07 c 200 constraints of type <logicor>
1.00/1.07 c transformed objective value is always integral (scale: 1)
1.00/1.07 c Presolving Time: 0.79
1.00/1.07 c - non default parameters ----------------------------------------------------------------------
1.00/1.07 c # SCIP version 1.2.1.2
1.00/1.07 c
1.00/1.07 c # frequency for displaying node information lines
1.00/1.07 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.07 c display/freq = 10000
1.00/1.07 c
1.00/1.07 c # maximal time in seconds to run
1.00/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.07 c limits/time = 1799.95
1.00/1.07 c
1.00/1.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.07 c limits/memory = 1620
1.00/1.07 c
1.00/1.07 c # should presolving try to simplify inequalities
1.00/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.07 c constraints/linear/simplifyinequalities = TRUE
1.00/1.07 c
1.00/1.07 c # should presolving try to simplify knapsacks
1.00/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.07 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.07 c
1.00/1.07 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.00/1.07 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.07 c heuristics/undercover/freq = 0
1.00/1.07 c
1.00/1.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.07 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.07 c separating/rapidlearning/freq = 0
1.00/1.07 c
1.00/1.07 c -----------------------------------------------------------------------------------------------
1.00/1.07 c start solving
1.00/1.07 c
1.19/1.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.21 c 0.9s| 1 | 0 | 400 | - | 38M| 0 | 400 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.24 o 22
1.19/1.24 c s 1.0s| 1 | 0 | 400 | - | 39M| 0 | 400 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
3.99/4.04 c 3.4s| 1 | 0 | 1000 | - | 39M| 0 | 400 |6420 |6420 |6420 | 13k| 402 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
5.19/5.23 c 4.6s| 1 | 0 | 1602 | - | 39M| 0 | 400 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
5.19/5.25 o 20
5.19/5.25 c s 4.6s| 1 | 0 | 1602 | - | 39M| 0 | 400 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
6.39/6.40 c 5.7s| 1 | 0 | 2202 | - | 39M| 0 | 400 |6420 |6420 |6420 | 13k|1209 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
7.49/7.59 c 6.9s| 1 | 0 | 2802 | - | 39M| 0 | 400 |6420 |6420 |6420 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
8.79/8.85 c 8.2s| 1 | 0 | 3403 | - | 40M| 0 | 400 |6420 |6420 |6420 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
8.79/8.87 o 19
8.79/8.87 c s 8.2s| 1 | 0 | 3403 | - | 40M| 0 | 400 |6420 |6420 |6420 | 14k|2013 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
10.19/10.21 c 9.5s| 1 | 0 | 4003 | - | 40M| 0 | 400 |6420 |6420 |6420 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
10.19/10.25 o 18
10.19/10.25 c s 9.5s| 1 | 0 | 4003 | - | 40M| 0 | 400 |6420 |6420 |6420 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
11.29/11.39 c 10.6s| 1 | 2 | 4003 | - | 40M| 0 | 400 |6420 |6420 |6420 | 15k|2414 | 0 | 19 | 0.000000e+00 | 1.800000e+01 | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.21/1800.88 c
1800.21/1800.88 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.88 c Solving Time (sec) : 1782.60
1800.21/1800.88 c Solving Nodes : 421
1800.21/1800.88 c Primal Bound : +1.80000000000000e+01 (4 solutions)
1800.21/1800.88 c Dual Bound : +6.12043734626207e+00
1800.21/1800.88 c Gap : 194.10 %
1800.21/1800.90 s SATISFIABLE
1800.21/1800.90 v x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.21/1800.90 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1800.21/1800.90 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1800.21/1800.90 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1800.21/1800.90 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.21/1800.90 v -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.21/1800.90 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.21/1800.90 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20
1800.21/1800.90 v -x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.21/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.90 c Solving Time : 1782.60
1800.21/1800.90 c Original Problem :
1800.21/1800.90 c Problem name : HOME/instance-2665202-1276656014.opb
1800.21/1800.90 c Variables : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.90 c Constraints : 6420 initial, 6420 maximal
1800.21/1800.90 c Presolved Problem :
1800.21/1800.90 c Problem name : t_HOME/instance-2665202-1276656014.opb
1800.21/1800.90 c Variables : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.90 c Constraints : 6420 initial, 6443 maximal
1800.21/1800.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.21/1800.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.90 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.90 c implics : 0.01 0 0 0 0 0 0 0 0
1800.21/1800.90 c probing : 0.24 0 0 0 0 0 0 0 0
1800.21/1800.90 c and : 0.49 0 0 0 0 0 0 0 0
1800.21/1800.90 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.21/1800.90 c root node : - 0 - - 0 - - - -
1800.21/1800.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.21/1800.90 c integral : 0 0 0 421 0 0 0 0 0 842
1800.21/1800.90 c and : 6220 2105 16554 0 0 3 15647 601149 0 0
1800.21/1800.90 c logicor : 200+ 6 4805 0 0 3 0 0 0 0
1800.21/1800.90 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.21/1800.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.21/1800.90 c integral : 414.32 0.00 0.00 414.32 0.00
1800.21/1800.90 c and : 22.77 15.83 6.94 0.00 0.00
1800.21/1800.90 c logicor : 0.13 0.00 0.13 0.00 0.00
1800.21/1800.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.21/1800.90 c Propagators : Time Calls Cutoffs DomReds
1800.21/1800.90 c vbounds : 0.02 2 0 0
1800.21/1800.90 c rootredcost : 0.00 1 0 0
1800.21/1800.90 c pseudoobj : 0.45 16381 1 0
1800.21/1800.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.21/1800.90 c propagation : 0.00 7 7 23 33.1 0 0.0 -
1800.21/1800.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.21/1800.90 c applied globally : - - - 23 33.1 - - -
1800.21/1800.90 c applied locally : - - - 0 0.0 - - -
1800.21/1800.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.21/1800.90 c cut pool : 0.01 5 - - 0 - (maximal pool size: 2414)
1800.21/1800.90 c redcost : 1.37 2105 0 0 0 0
1800.21/1800.90 c impliedbounds : 0.05 6 0 0 2400 0
1800.21/1800.90 c intobj : 0.00 0 0 0 0 0
1800.21/1800.90 c cgmip : 0.00 0 0 0 0 0
1800.21/1800.90 c gomory : 0.38 6 0 0 3000 0
1800.21/1800.90 c strongcg : 0.38 6 0 0 3000 0
1800.21/1800.90 c cmir : 4.31 6 0 0 2400 0
1800.21/1800.90 c flowcover : 1.06 6 0 0 0 0
1800.21/1800.90 c clique : 0.44 6 0 0 14 0
1800.21/1800.90 c zerohalf : 0.00 0 0 0 0 0
1800.21/1800.90 c mcf : 0.02 1 0 0 0 0
1800.21/1800.90 c rapidlearning : 0.99 1 0 0 0 0
1800.21/1800.90 c Pricers : Time Calls Vars
1800.21/1800.90 c problem variables: 0.00 0 0
1800.21/1800.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.21/1800.90 c relpscost : 414.31 421 0 0 0 0 842
1800.21/1800.90 c pscost : 0.00 0 0 0 0 0 0
1800.21/1800.90 c inference : 0.00 0 0 0 0 0 0
1800.21/1800.90 c mostinf : 0.00 0 0 0 0 0 0
1800.21/1800.90 c leastinf : 0.00 0 0 0 0 0 0
1800.21/1800.90 c fullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.90 c allfullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.90 c random : 0.00 0 0 0 0 0 0
1800.21/1800.90 c Primal Heuristics : Time Calls Found
1800.21/1800.90 c LP solutions : 0.00 - 0
1800.21/1800.90 c pseudo solutions : 0.00 - 0
1800.21/1800.90 c oneopt : 0.04 4 0
1800.21/1800.90 c trivial : 0.02 2 0
1800.21/1800.90 c simplerounding : 0.00 0 0
1800.21/1800.90 c zirounding : 0.66 421 0
1800.21/1800.90 c rounding : 3.72 672 0
1800.21/1800.90 c shifting : 1.94 163 4
1800.21/1800.90 c intshifting : 0.00 0 0
1800.21/1800.90 c twoopt : 0.00 0 0
1800.21/1800.90 c fixandinfer : 0.00 0 0
1800.21/1800.90 c feaspump : 0.00 0 0
1800.21/1800.90 c coefdiving : 80.14 12 0
1800.21/1800.90 c pscostdiving : 78.49 7 0
1800.21/1800.90 c fracdiving : 75.80 8 0
1800.21/1800.90 c veclendiving : 31.76 12 0
1800.21/1800.90 c intdiving : 0.00 0 0
1800.21/1800.90 c actconsdiving : 0.00 0 0
1800.21/1800.90 c objpscostdiving : 2.24 1 0
1800.21/1800.90 c rootsoldiving : 2.98 4 0
1800.21/1800.90 c linesearchdiving : 71.60 14 0
1800.21/1800.90 c guideddiving : 103.68 8 0
1800.21/1800.90 c octane : 0.00 0 0
1800.21/1800.90 c rens : 0.53 1 0
1800.21/1800.90 c rins : 0.00 0 0
1800.21/1800.90 c localbranching : 0.00 0 0
1800.21/1800.90 c mutation : 0.00 0 0
1800.21/1800.90 c crossover : 0.22 1 0
1800.21/1800.90 c dins : 0.00 0 0
1800.21/1800.90 c undercover : 0.02 1 0
1800.21/1800.90 c nlp : 0.00 0 0
1800.21/1800.90 c trysol : 0.00 0 0
1800.21/1800.90 c LP : Time Calls Iterations Iter/call Iter/sec
1800.21/1800.90 c primal LP : 239.03 0 0 0.00 0.00
1800.21/1800.90 c dual LP : 624.76 2525 811064 321.21 1298.20
1800.21/1800.90 c lex dual LP : 0.00 0 0 0.00 -
1800.21/1800.90 c barrier LP : 0.00 0 0 0.00 -
1800.21/1800.90 c diving/probing LP: 402.39 8116 424295 52.28 1054.44
1800.21/1800.90 c strong branching : 413.64 2131 507970 238.37 1228.05
1800.21/1800.90 c (at root node) : - 19 906 47.68 -
1800.21/1800.90 c conflict analysis: 0.00 0 0 0.00 -
1800.21/1800.90 c B&B Tree :
1800.21/1800.90 c number of runs : 1
1800.21/1800.90 c nodes : 421
1800.21/1800.90 c nodes (total) : 421
1800.21/1800.90 c nodes left : 422
1800.21/1800.90 c max depth : 17
1800.21/1800.90 c max depth (total): 17
1800.21/1800.90 c backtracks : 182 (43.2%)
1800.21/1800.90 c delayed cutoffs : 0
1800.21/1800.90 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.21/1800.90 c avg switch length: 6.37
1800.21/1800.90 c switching time : 239.77
1800.21/1800.90 c Solution :
1800.21/1800.90 c Solutions found : 4 (4 improvements)
1800.21/1800.90 c First Solution : +2.20000000000000e+01 (in run 1, after 1 nodes, 0.94 seconds, depth 0, found by <shifting>)
1800.21/1800.90 c Primal Bound : +1.80000000000000e+01 (in run 1, after 1 nodes, 9.51 seconds, depth 0, found by <shifting>)
1800.21/1800.90 c Dual Bound : +6.12043734626207e+00
1800.21/1800.90 c Gap : 194.10 %
1800.21/1800.90 c Root Dual Bound : +0.00000000000000e+00
1800.21/1800.90 c Root Iterations : 4003
1801.22/1801.83 c Time complete: 1801.24.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665202-1276656014/watcher-2665202-1276656014 -o /tmp/evaluation-result-2665202-1276656014/solver-2665202-1276656014 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665202-1276656014.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: 0.92 1.00 0.99 2/106 14552
/proc/meminfo: memFree=1720964/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=9288 CPUtime=0
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1058 0 0 0 0 0 0 0 22 0 1 0 6896521 9510912 979 1992294400 4194304 9819077 140736121113968 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 2322 988 371 1374 0 943 0
[startup+0.0301431 s]
/proc/loadavg: 0.92 1.00 0.99 2/106 14552
/proc/meminfo: memFree=1720964/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=14372 CPUtime=0.02
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2537 0 0 0 2 0 0 0 22 0 1 0 6896521 14716928 2458 1992294400 4194304 9819077 140736121113968 18446744073709551615 8857125 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 3593 2458 389 1374 0 2214 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14372
[startup+0.101151 s]
/proc/loadavg: 0.92 1.00 0.99 2/106 14552
/proc/meminfo: memFree=1720964/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=28260 CPUtime=0.09
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 6407 0 0 0 7 2 0 0 25 0 1 0 6896521 28938240 5974 1992294400 4194304 9819077 140736121113968 18446744073709551615 4561378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 7065 5974 450 1374 0 5686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28260
[startup+0.301174 s]
/proc/loadavg: 0.92 1.00 0.99 2/106 14552
/proc/meminfo: memFree=1720964/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=40492 CPUtime=0.29
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 9122 0 0 0 26 3 0 0 25 0 1 0 6896521 41463808 8689 1992294400 4194304 9819077 140736121113968 18446744073709551615 5955502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 10123 8689 473 1374 0 8744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40492
[startup+0.701221 s]
/proc/loadavg: 0.92 1.00 0.99 2/106 14552
/proc/meminfo: memFree=1720964/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=48328 CPUtime=0.7
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 12137 0 0 0 56 14 0 0 25 0 1 0 6896521 49487872 10676 1992294400 4194304 9819077 140736121113968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 12082 10676 493 1374 0 10703 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 48328
[startup+1.50131 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 14553
/proc/meminfo: memFree=1677556/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=78996 CPUtime=1.49
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 21454 0 0 0 124 25 0 0 25 0 1 0 6896521 80891904 17038 1992294400 4194304 9819077 140736121113968 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 19749 17038 659 1374 0 18370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78996
[startup+3.1015 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 14553
/proc/meminfo: memFree=1654616/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=109836 CPUtime=3.09
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 29672 0 0 0 261 48 0 0 25 0 1 0 6896521 112472064 24337 1992294400 4194304 9819077 140736121113968 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 27459 24337 681 1374 0 26080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109836
[startup+6.30088 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 14553
/proc/meminfo: memFree=1644324/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=84512 CPUtime=6.29
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 31075 0 0 0 567 62 0 0 25 0 1 0 6896521 86540288 19885 1992294400 4194304 9819077 140736121113968 18446744073709551615 5692130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 21128 19885 691 1374 0 19749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84512
[startup+12.7016 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 14553
/proc/meminfo: memFree=1642588/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=84600 CPUtime=12.68
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 49994 0 0 0 1191 77 0 0 25 0 1 0 6896521 86630400 19970 1992294400 4194304 9819077 140736121113968 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 21150 19970 710 1374 0 19771 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84600
[startup+25.5011 s]
/proc/loadavg: 0.95 1.00 0.99 2/107 14553
/proc/meminfo: memFree=1642712/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=84600 CPUtime=25.49
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 52160 0 0 0 2465 84 0 0 25 0 1 0 6896521 86630400 19979 1992294400 4194304 9819077 140736121113968 18446744073709551615 4776069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 21150 19979 718 1374 0 19771 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84600
[startup+51.1011 s]
/proc/loadavg: 0.96 1.00 0.99 2/107 14555
/proc/meminfo: memFree=1642712/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=86808 CPUtime=51.06
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 59453 0 0 0 5011 95 0 0 25 0 1 0 6896521 88891392 20002 1992294400 4194304 9819077 140736121113968 18446744073709551615 7301834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 21702 20002 718 1374 0 20323 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86808
[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 14555
/proc/meminfo: memFree=1642588/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=84600 CPUtime=102.26
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 80129 0 0 0 10107 119 0 0 25 0 1 0 6896521 86630400 19982 1992294400 4194304 9819077 140736121113968 18446744073709551615 6677804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 21150 19982 718 1374 0 19771 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 84600
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14557
/proc/meminfo: memFree=1642216/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=88640 CPUtime=162.24
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 127752 0 0 0 16064 160 0 0 25 0 1 0 6896521 90767360 20206 1992294400 4194304 9819077 140736121113968 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22160 20206 718 1374 0 20781 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88640
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14559
/proc/meminfo: memFree=1641968/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=88724 CPUtime=222.21
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 208616 0 0 0 22010 211 0 0 25 0 1 0 6896521 90853376 20170 1992294400 4194304 9819077 140736121113968 18446744073709551615 7290876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22181 20170 718 1374 0 20802 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 88724
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14561
/proc/meminfo: memFree=1641844/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=90588 CPUtime=282.2
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 287225 0 0 0 27957 263 0 0 25 0 1 0 6896521 92762112 20293 1992294400 4194304 9819077 140736121113968 18446744073709551615 6190588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22647 20293 718 1374 0 21268 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 90588
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14563
/proc/meminfo: memFree=1641348/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=90424 CPUtime=342.18
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 385122 0 0 0 33898 320 0 0 25 0 1 0 6896521 92594176 20439 1992294400 4194304 9819077 140736121113968 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22606 20439 718 1374 0 21227 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 90424
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14563
/proc/meminfo: memFree=1640852/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=90828 CPUtime=402.16
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 506569 0 0 0 39823 393 0 0 25 0 1 0 6896521 93007872 20543 1992294400 4194304 9819077 140736121113968 18446744073709551615 7301603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22707 20543 718 1374 0 21328 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 90828
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14565
/proc/meminfo: memFree=1641224/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=90576 CPUtime=462.14
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 609354 0 0 0 45763 451 0 0 25 0 1 0 6896521 92749824 20373 1992294400 4194304 9819077 140736121113968 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 22644 20373 718 1374 0 21265 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 90576
[startup+522.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14567
/proc/meminfo: memFree=1640356/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=97188 CPUtime=522.13
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 726836 0 0 0 51691 522 0 0 25 0 1 0 6896521 99520512 20711 1992294400 4194304 9819077 140736121113968 18446744073709551615 6697274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24297 20711 718 1374 0 22918 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 97188
[startup+582.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14569
/proc/meminfo: memFree=1637008/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=92876 CPUtime=582.11
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 840883 0 0 0 57618 593 0 0 25 0 1 0 6896521 95105024 21370 1992294400 4194304 9819077 140736121113968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 23219 21370 718 1374 0 21840 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 92876
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14571
/proc/meminfo: memFree=1637008/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=95052 CPUtime=642.09
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 942415 0 0 0 63558 651 0 0 25 0 1 0 6896521 97333248 21395 1992294400 4194304 9819077 140736121113968 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 23763 21395 718 1374 0 22384 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 95052
[startup+702.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14579
/proc/meminfo: memFree=1633040/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=96868 CPUtime=941.99
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1419040 0 0 0 93258 941 0 0 25 0 1 0 6896521 99192832 22337 1992294400 4194304 9819077 140736121113968 18446744073709551615 6697308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24217 22337 722 1374 0 22838 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 96868
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14579
/proc/meminfo: memFree=1632544/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=99900 CPUtime=1001.98
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1515340 0 0 0 99196 1002 0 0 25 0 1 0 6896521 102297600 22520 1992294400 4194304 9819077 140736121113968 18446744073709551615 6443155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24975 22520 722 1374 0 23596 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 99900
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14581
/proc/meminfo: memFree=1632048/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=101384 CPUtime=1061.96
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1593181 0 0 0 105144 1052 0 0 25 0 1 0 6896521 103817216 22666 1992294400 4194304 9819077 140736121113968 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25346 22666 722 1374 0 23967 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 101384
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14583
/proc/meminfo: memFree=1632172/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=98080 CPUtime=1121.94
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1680216 0 0 0 111091 1103 0 0 25 0 1 0 6896521 100433920 22458 1992294400 4194304 9819077 140736121113968 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24520 22458 722 1374 0 23141 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 98080
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14585
/proc/meminfo: memFree=1631924/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=98488 CPUtime=1181.92
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1758877 0 0 0 117039 1153 0 0 25 0 1 0 6896521 100851712 22684 1992294400 4194304 9819077 140736121113968 18446744073709551615 7295860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24622 22684 722 1374 0 23243 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 98488
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14587
/proc/meminfo: memFree=1632172/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=100312 CPUtime=1241.9
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1841683 0 0 0 122985 1205 0 0 25 0 1 0 6896521 102719488 22568 1992294400 4194304 9819077 140736121113968 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25078 22568 722 1374 0 23699 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 100312
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14596
/proc/meminfo: memFree=1631676/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=98956 CPUtime=1301.87
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 1922120 0 0 0 128932 1255 0 0 25 0 1 0 6896521 101330944 22494 1992294400 4194304 9819077 140736121113968 18446744073709551615 6021456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 24739 22494 727 1374 0 23360 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 98956
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14598
/proc/meminfo: memFree=1629196/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=107792 CPUtime=1361.84
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2015453 0 0 0 134872 1312 0 0 25 0 1 0 6896521 110379008 23316 1992294400 4194304 9819077 140736121113968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 26948 23316 727 1374 0 25569 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 107792
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14600
/proc/meminfo: memFree=1631304/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=100228 CPUtime=1421.83
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2118791 0 0 0 140811 1372 0 0 25 0 1 0 6896521 102633472 22615 1992294400 4194304 9819077 140736121113968 18446744073709551615 7302698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25057 22615 727 1374 0 23678 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 100228
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14602
/proc/meminfo: memFree=1630808/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=100276 CPUtime=1481.81
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2222561 0 0 0 146745 1436 0 0 25 0 1 0 6896521 102682624 22615 1992294400 4194304 9819077 140736121113968 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25069 22615 727 1374 0 23690 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 100276
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1630560/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=102076 CPUtime=1541.79
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2316873 0 0 0 152682 1497 0 0 25 0 1 0 6896521 104525824 23055 1992294400 4194304 9819077 140736121113968 18446744073709551615 7318497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25519 23055 728 1374 0 24140 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 102076
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1630684/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=100256 CPUtime=1601.78
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2425801 0 0 0 158615 1563 0 0 25 0 1 0 6896521 102662144 22916 1992294400 4194304 9819077 140736121113968 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25064 22916 728 1374 0 23685 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 100256
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1625972/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=109692 CPUtime=1661.76
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2545830 0 0 0 164541 1635 0 0 25 0 1 0 6896521 112324608 24180 1992294400 4194304 9819077 140736121113968 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 27423 24180 728 1374 0 26044 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 109692
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14608
/proc/meminfo: memFree=1629196/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=103080 CPUtime=1721.74
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2644293 0 0 0 170485 1689 0 0 25 0 1 0 6896521 105553920 23230 1992294400 4194304 9819077 140736121113968 18446744073709551615 6542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25770 23230 728 1374 0 24391 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 103080
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14610
/proc/meminfo: memFree=1628700/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=102484 CPUtime=1781.72
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2751412 0 0 0 176423 1749 0 0 25 0 1 0 6896521 104943616 23194 1992294400 4194304 9819077 140736121113968 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25621 23194 728 1374 0 24242 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 102484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14610
/proc/meminfo: memFree=1628700/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=102452 CPUtime=1800.03
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2781087 0 0 0 178237 1766 0 0 25 0 1 0 6896521 104910848 23351 1992294400 4194304 9819077 140736121113968 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 25613 23351 728 1374 0 24234 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 102452
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 14610
/proc/meminfo: memFree=1628700/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=102504 CPUtime=1800.81
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2782206 0 0 0 178315 1766 0 0 25 0 1 0 6896521 104964096 23199 1992294400 4194304 9819077 140736121113968 18446744073709551615 7302709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 25626 23199 729 1374 0 24247 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 102504
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14611
/proc/meminfo: memFree=1629064/2059040 swapFree=4192956/4192956
[pid=14552] ppid=14550 vsize=93564 CPUtime=1801.22
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 12076 0 -1 4202496 2782242 0 0 0 178356 1766 0 0 25 0 1 0 6896521 95809536 20956 1992294400 4194304 9819077 140736121113968 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 23391 20956 731 1374 0 22012 0
Current children cumulated CPU time (s) 1801.22
Current children cumulated vsize (KiB) 93564
Child status: 0
Real time (s): 1801.83
CPU time (s): 1801.26
CPU user time (s): 1783.58
CPU system time (s): 17.6793
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 122112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.58
system time used= 17.6793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2782246
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= 2
involuntary context switches= 4614
runsolver used 3.00854 second user time and 8.48471 second system time
The end