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-2666730-1276669120.opb>
0.00/0.05 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.06/0.09 o 0
0.06/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.06/0.09 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 200 clqs
0.49/0.59 c (0.3s) probing: 101/3238 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.59 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (2 rounds):
0.49/0.59 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.59 c 24504 implications, 200 cliques
0.49/0.59 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.49/0.59 c 200 constraints of type <setppc>
0.49/0.59 c 3038 constraints of type <and>
0.49/0.59 c 1 constraints of type <linear>
0.49/0.59 c 100 constraints of type <logicor>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.33
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 1.2.1.2
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1799.95
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 1620
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c heuristics/undercover/freq = 0
0.49/0.59 c
0.49/0.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c separating/rapidlearning/freq = 0
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
20.38/20.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.38/20.47 c t20.1s| 1 | 0 | 8995 | - | 15M| 0 |1834 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
20.38/20.49 o -5
20.38/20.49 c s20.1s| 1 | 0 | 8995 | - | 15M| 0 |1834 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
28.77/28.80 c 28.0s| 1 | 0 | 9681 | - | 15M| 0 |1794 |3238 |3340 |3238 |6493 | 116 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
28.77/28.82 o -5
28.77/28.82 c s28.0s| 1 | 0 | 9681 | - | 15M| 0 |1794 |3238 |3340 |3238 |6493 | 116 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
32.58/32.67 c 31.8s| 1 | 0 | 10675 | - | 15M| 0 |1772 |3238 |3340 |3238 |6529 | 152 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
36.97/37.09 c 36.2s| 1 | 0 | 11920 | - | 15M| 0 |1776 |3238 |3340 |3238 |6552 | 175 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
41.28/41.33 c 40.4s| 1 | 0 | 13125 | - | 15M| 0 |1747 |3238 |3340 |3238 |6584 | 207 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
46.67/46.74 c 45.8s| 1 | 0 | 14795 | - | 16M| 0 |1766 |3238 |3340 |3238 |6603 | 226 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
51.27/51.33 c 50.4s| 1 | 0 | 16138 | - | 16M| 0 |1755 |3238 |3340 |3238 |6634 | 257 | 1 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
125.05/125.13 c 124s| 1 | 2 | 16138 | - | 16M| 0 |1755 |3238 |3340 |3238 |6634 | 257 | 1 | 27 |-5.000000e+01 |-5.000000e+00 | 90.00%
511.74/511.93 o -11
511.74/511.93 c f 509s| 21 | 22 |255347 |11960.5 | 17M| 12 | - |3238 |3343 |3238 |3365 |5333 | 4 | 201 |-4.910057e+01 |-1.100000e+01 | 77.60%
615.60/615.85 o -12
615.60/615.85 c l 612s| 29 | 30 |334761 |11379.4 | 17M| 12 | - |3238 |3356 |3238 |2766 |6686 | 17 | 219 |-4.910057e+01 |-1.200000e+01 | 75.56%
1185.43/1185.89 o -13
1185.43/1185.89 c l1176s| 99 | 100 |839240 |8399.0 | 17M| 15 | - |3238 |3410 |3238 |3273 | 14k| 71 | 463 |-4.677996e+01 |-1.300000e+01 | 72.21%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.24/1800.82 c
1800.24/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.82 c Solving Time (sec) : 1783.24
1800.24/1800.82 c Solving Nodes : 249
1800.24/1800.82 c Primal Bound : -1.30000000000000e+01 (11 solutions)
1800.24/1800.82 c Dual Bound : -4.22672649555429e+01
1800.24/1800.82 c Gap : 69.24 %
1800.24/1800.83 s SATISFIABLE
1800.24/1800.83 v -x162 -x111 -x139 -x121 -x180 -x119 -x108 -x154 -x172 -x132 -x190 x166 -x129 -x153 -x198 -x113 -x140 -x200 -x155 -x189 -x179 -x156
1800.24/1800.83 v -x152 x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 -x195 -x161 -x133 x105 -x104
1800.24/1800.83 v -x192 -x114 -x171 -x125 -x138 -x185 -x174 -x143 -x157 -x170 -x159 -x123 -x103 -x101 -x199 -x196 x186 -x181 x177 -x176 x175
1800.24/1800.83 v -x167 -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 -x183 -x130 x168 -x169 -x112 -x137 x173 -x141
1800.24/1800.83 v x127 -x164 -x160 -x191 -x128 x163 -x122 x150 x193 x136 -x194 -x116 -x178 -x187 -x184 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92
1800.24/1800.83 v -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 x70 x69 -x68 -x67 -x66
1800.24/1800.83 v -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1800.24/1800.83 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.24/1800.83 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.24/1800.83 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.83 c Solving Time : 1783.24
1800.24/1800.83 c Original Problem :
1800.24/1800.83 c Problem name : HOME/instance-2666730-1276669120.opb
1800.24/1800.83 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.83 c Constraints : 3339 initial, 3339 maximal
1800.24/1800.83 c Presolved Problem :
1800.24/1800.83 c Problem name : t_HOME/instance-2666730-1276669120.opb
1800.24/1800.83 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.83 c Constraints : 3339 initial, 3446 maximal
1800.24/1800.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.24/1800.83 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c implics : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c probing : 0.08 0 0 0 0 0 0 0 0
1800.24/1800.83 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.24/1800.83 c and : 0.19 0 0 0 0 0 0 0 0
1800.24/1800.83 c linear : 0.02 0 0 0 0 0 0 0 0
1800.24/1800.83 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.24/1800.83 c root node : - 0 - - 0 - - - -
1800.24/1800.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.24/1800.83 c integral : 0 0 0 281 0 0 45 0 0 494
1800.24/1800.83 c setppc : 200 6 23047 0 0 15 603 0 0 0
1800.24/1800.83 c and : 3038 878 23032 0 0 67 19029 43432 0 0
1800.24/1800.83 c linear : 1 6 22960 0 0 0 0 0 0 0
1800.24/1800.83 c logicor : 100+ 6 1476 0 0 0 362 0 0 0
1800.24/1800.83 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.24/1800.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.24/1800.83 c integral : 517.41 0.00 0.00 517.41 0.00
1800.24/1800.83 c setppc : 0.40 0.00 0.40 0.00 0.00
1800.24/1800.83 c and : 6.44 2.16 4.28 0.00 0.00
1800.24/1800.83 c linear : 0.20 0.03 0.17 0.00 0.00
1800.24/1800.83 c logicor : 0.02 0.00 0.02 0.00 0.00
1800.24/1800.83 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.24/1800.83 c Propagators : Time Calls Cutoffs DomReds
1800.24/1800.83 c vbounds : 0.00 2 0 0
1800.24/1800.83 c rootredcost : 0.01 3 0 0
1800.24/1800.83 c pseudoobj : 0.33 22914 4 0
1800.24/1800.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.24/1800.83 c propagation : 0.00 86 86 118 40.7 6 76.5 -
1800.24/1800.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.24/1800.83 c applied globally : - - - 116 38.5 - - -
1800.24/1800.83 c applied locally : - - - 0 0.0 - - -
1800.24/1800.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.24/1800.83 c cut pool : 0.00 5 - - 0 - (maximal pool size: 161)
1800.24/1800.83 c redcost : 0.27 878 0 0 0 0
1800.24/1800.83 c impliedbounds : 0.02 6 0 0 204 0
1800.24/1800.83 c intobj : 0.00 0 0 0 0 0
1800.24/1800.83 c cgmip : 0.00 0 0 0 0 0
1800.24/1800.83 c gomory : 2.61 6 0 0 6 0
1800.24/1800.83 c strongcg : 2.58 6 0 0 6 0
1800.24/1800.83 c cmir : 0.74 6 0 0 27 0
1800.24/1800.83 c flowcover : 0.43 6 0 0 0 0
1800.24/1800.83 c clique : 0.71 6 0 0 53 0
1800.24/1800.83 c zerohalf : 0.00 0 0 0 0 0
1800.24/1800.83 c mcf : 0.31 6 0 0 69 0
1800.24/1800.83 c rapidlearning : 4.16 1 0 0 0 0
1800.24/1800.83 c Pricers : Time Calls Vars
1800.24/1800.83 c problem variables: 0.00 0 0
1800.24/1800.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.24/1800.83 c relpscost : 517.41 281 0 45 0 0 494
1800.24/1800.83 c pscost : 0.00 0 0 0 0 0 0
1800.24/1800.83 c inference : 0.00 0 0 0 0 0 0
1800.24/1800.83 c mostinf : 0.00 0 0 0 0 0 0
1800.24/1800.83 c leastinf : 0.00 0 0 0 0 0 0
1800.24/1800.83 c fullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.83 c allfullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.83 c random : 0.00 0 0 0 0 0 0
1800.24/1800.83 c Primal Heuristics : Time Calls Found
1800.24/1800.83 c LP solutions : 0.00 - 0
1800.24/1800.83 c pseudo solutions : 0.00 - 0
1800.24/1800.83 c crossover : 0.00 0 0
1800.24/1800.83 c intshifting : 0.00 0 0
1800.24/1800.83 c feaspump : 0.00 0 0
1800.24/1800.83 c oneopt : 0.03 5 0
1800.24/1800.83 c trivial : 0.00 2 3
1800.24/1800.83 c simplerounding : 0.00 0 0
1800.24/1800.83 c zirounding : 0.14 247 0
1800.24/1800.83 c rounding : 3.47 358 0
1800.24/1800.83 c shifting : 0.58 67 5
1800.24/1800.83 c twoopt : 0.00 0 0
1800.24/1800.83 c fixandinfer : 0.00 0 0
1800.24/1800.83 c coefdiving : 80.18 3 0
1800.24/1800.83 c pscostdiving : 70.85 8 0
1800.24/1800.83 c fracdiving : 172.67 18 1
1800.24/1800.83 c veclendiving : 55.42 7 0
1800.24/1800.83 c intdiving : 0.00 0 0
1800.24/1800.83 c actconsdiving : 0.00 0 0
1800.24/1800.83 c objpscostdiving : 47.10 1 0
1800.24/1800.83 c rootsoldiving : 20.03 5 0
1800.24/1800.83 c linesearchdiving : 101.22 21 2
1800.24/1800.83 c guideddiving : 75.91 5 0
1800.24/1800.83 c octane : 0.00 0 0
1800.24/1800.83 c rens : 0.01 0 0
1800.24/1800.83 c rins : 0.00 0 0
1800.24/1800.83 c localbranching : 0.00 0 0
1800.24/1800.83 c mutation : 0.00 0 0
1800.24/1800.83 c dins : 0.00 0 0
1800.24/1800.83 c undercover : 0.36 1 0
1800.24/1800.83 c nlp : 0.00 0 0
1800.24/1800.83 c trysol : 0.00 0 0
1800.24/1800.83 c LP : Time Calls Iterations Iter/call Iter/sec
1800.24/1800.83 c primal LP : 2.62 0 0 0.00 0.00
1800.24/1800.83 c dual LP : 616.71 924 596272 645.32 966.86
1800.24/1800.83 c lex dual LP : 0.00 0 0 0.00 -
1800.24/1800.83 c barrier LP : 0.00 0 0 0.00 -
1800.24/1800.83 c diving/probing LP: 575.75 17092 718109 42.01 1247.26
1800.24/1800.83 c strong branching : 517.17 1038 424014 408.49 819.87
1800.24/1800.83 c (at root node) : - 27 27000 1000.00 -
1800.24/1800.83 c conflict analysis: 0.00 0 0 0.00 -
1800.24/1800.83 c B&B Tree :
1800.24/1800.83 c number of runs : 1
1800.24/1800.83 c nodes : 249
1800.24/1800.83 c nodes (total) : 249
1800.24/1800.83 c nodes left : 246
1800.24/1800.83 c max depth : 42
1800.24/1800.83 c max depth (total): 42
1800.24/1800.83 c backtracks : 87 (34.9%)
1800.24/1800.83 c delayed cutoffs : 0
1800.24/1800.83 c repropagations : 23 (25 domain reductions, 0 cutoffs)
1800.24/1800.83 c avg switch length: 4.74
1800.24/1800.83 c switching time : 2.97
1800.24/1800.83 c Solution :
1800.24/1800.83 c Solutions found : 11 (6 improvements)
1800.24/1800.83 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.24/1800.83 c Primal Bound : -1.30000000000000e+01 (in run 1, after 99 nodes, 1175.86 seconds, depth 220, found by <linesearchdiving>)
1800.24/1800.83 c Dual Bound : -4.22672649555429e+01
1800.24/1800.83 c Gap : 69.24 %
1800.24/1800.83 c Root Dual Bound : -5.00000000000000e+01
1800.24/1800.83 c Root Iterations : 16138
1800.34/1800.91 c Time complete: 1800.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666730-1276669120/watcher-2666730-1276669120 -o /tmp/evaluation-result-2666730-1276669120/solver-2666730-1276669120 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666730-1276669120.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.09 1.04 1.04 3/106 15005
/proc/meminfo: memFree=1585308/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=7724 CPUtime=0
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1118 0 0 0 0 0 0 0 18 0 1 0 8204947 7909376 1038 1992294400 4194304 8223781 140735861312640 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15005/statm: 1931 1046 348 984 0 944 0
[startup+0.0746949 s]
/proc/loadavg: 1.09 1.04 1.04 3/106 15005
/proc/meminfo: memFree=1585308/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=18808 CPUtime=0.06
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 4327 0 0 0 5 1 0 0 20 0 1 0 8204947 19259392 3882 1992294400 4194304 8223781 140735861312640 18446744073709551615 4461608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 4702 3882 383 984 0 3715 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18808
[startup+0.101699 s]
/proc/loadavg: 1.09 1.04 1.04 3/106 15005
/proc/meminfo: memFree=1585308/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=20964 CPUtime=0.1
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 4648 0 0 0 8 2 0 0 20 0 1 0 8204947 21467136 4203 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 5241 4203 432 984 0 4254 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20964
[startup+0.301718 s]
/proc/loadavg: 1.09 1.04 1.04 3/106 15005
/proc/meminfo: memFree=1585308/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=22472 CPUtime=0.29
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 5537 0 0 0 18 11 0 0 20 0 1 0 8204947 23011328 4578 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 5618 4578 450 984 0 4631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22472
[startup+0.701757 s]
/proc/loadavg: 1.09 1.04 1.04 3/106 15005
/proc/meminfo: memFree=1585308/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=38192 CPUtime=0.69
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 11034 0 0 0 47 22 0 0 21 0 1 0 8204947 39108608 8519 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 9548 8519 532 984 0 8561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38192
[startup+1.50184 s]
/proc/loadavg: 1.09 1.04 1.04 2/107 15006
/proc/meminfo: memFree=1551820/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=39872 CPUtime=1.49
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 12546 0 0 0 126 23 0 0 23 0 1 0 8204947 40828928 8929 1992294400 4194304 8223781 140735861312640 18446744073709551615 6571207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 9968 8929 536 984 0 8981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39872
[startup+3.10099 s]
/proc/loadavg: 1.09 1.04 1.04 2/107 15006
/proc/meminfo: memFree=1550952/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=40200 CPUtime=3.09
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 13501 0 0 0 285 24 0 0 25 0 1 0 8204947 41164800 8982 1992294400 4194304 8223781 140735861312640 18446744073709551615 6559628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 10050 8982 536 984 0 9063 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40200
[startup+6.30131 s]
/proc/loadavg: 1.08 1.04 1.04 2/107 15006
/proc/meminfo: memFree=1550332/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=40592 CPUtime=6.29
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 15335 0 0 0 602 27 0 0 25 0 1 0 8204947 41566208 9060 1992294400 4194304 8223781 140735861312640 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 10148 9060 536 984 0 9161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40592
[startup+12.7009 s]
/proc/loadavg: 1.08 1.04 1.04 2/107 15006
/proc/meminfo: memFree=1550208/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=40760 CPUtime=12.68
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 18999 0 0 0 1237 31 0 0 25 0 1 0 8204947 41738240 9129 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 10190 9129 536 984 0 9203 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40760
[startup+25.5012 s]
/proc/loadavg: 1.06 1.04 1.04 2/107 15008
/proc/meminfo: memFree=1523548/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=69060 CPUtime=25.48
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 42981 0 0 0 2476 72 0 0 25 0 1 0 8204947 70717440 15963 1992294400 4194304 8223781 140735861312640 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 17265 15963 599 984 0 16278 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69060
[startup+51.1017 s]
/proc/loadavg: 1.04 1.03 1.03 2/107 15008
/proc/meminfo: memFree=1544752/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=46156 CPUtime=51.07
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 47803 0 0 0 5018 89 0 0 25 0 1 0 8204947 47263744 10555 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11539 10555 600 984 0 10552 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46156
[startup+102.309 s]
/proc/loadavg: 1.01 1.03 1.03 2/107 15010
/proc/meminfo: memFree=1544628/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45380 CPUtime=102.26
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 54245 0 0 0 10119 107 0 0 25 0 1 0 8204947 46469120 10426 1992294400 4194304 8223781 140735861312640 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11345 10426 601 984 0 10358 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45380
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.02 2/107 15010
/proc/meminfo: memFree=1544752/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45196 CPUtime=162.24
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 56389 0 0 0 16096 128 0 0 25 0 1 0 8204947 46280704 10397 1992294400 4194304 8223781 140735861312640 18446744073709551615 6562335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11299 10397 603 984 0 10312 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45196
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 15012
/proc/meminfo: memFree=1544752/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45196 CPUtime=222.22
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 56389 0 0 0 22062 160 0 0 25 0 1 0 8204947 46280704 10397 1992294400 4194304 8223781 140735861312640 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11299 10397 603 984 0 10312 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45196
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.01 2/107 15014
/proc/meminfo: memFree=1544628/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45204 CPUtime=282.2
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 59278 0 0 0 28033 187 0 0 25 0 1 0 8204947 46288896 10404 1992294400 4194304 8223781 140735861312640 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11301 10404 603 984 0 10314 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 45204
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 15016
/proc/meminfo: memFree=1544628/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45196 CPUtime=342.18
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 60713 0 0 0 34011 207 0 0 25 0 1 0 8204947 46280704 10402 1992294400 4194304 8223781 140735861312640 18446744073709551615 6562623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11299 10402 603 984 0 10312 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 45196
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15018
/proc/meminfo: memFree=1544504/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=45444 CPUtime=402.17
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 64817 0 0 0 39987 230 0 0 25 0 1 0 8204947 46534656 10408 1992294400 4194304 8223781 140735861312640 18446744073709551615 6250163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11361 10408 603 984 0 10374 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 45444
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15018
/proc/meminfo: memFree=1544380/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=46168 CPUtime=462.15
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 71013 0 0 0 45961 254 0 0 25 0 1 0 8204947 47276032 10466 1992294400 4194304 8223781 140735861312640 18446744073709551615 6446817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11542 10466 603 984 0 10555 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 46168
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15020
/proc/meminfo: memFree=1544380/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=46400 CPUtime=522.13
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 84959 0 0 0 51929 284 0 0 25 0 1 0 8204947 47513600 10499 1992294400 4194304 8223781 140735861312640 18446744073709551615 6567490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11600 10499 603 984 0 10613 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 46400
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15022
/proc/meminfo: memFree=1543884/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=46932 CPUtime=582.11
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 110947 0 0 0 57889 322 0 0 25 0 1 0 8204947 48058368 10627 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11733 10627 603 984 0 10746 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 46932
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15024
/proc/meminfo: memFree=1544132/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=46204 CPUtime=642.11
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 158347 0 0 0 63844 367 0 0 25 0 1 0 8204947 47312896 10516 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 11551 10516 603 984 0 10564 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 46204
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15035
/proc/meminfo: memFree=1541900/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=48660 CPUtime=942
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 575393 0 0 0 93521 679 0 0 25 0 1 0 8204947 49827840 11082 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12165 11082 605 984 0 11178 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 48660
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15037
/proc/meminfo: memFree=1541652/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=48572 CPUtime=1001.99
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 684579 0 0 0 99450 749 0 0 25 0 1 0 8204947 49737728 11105 1992294400 4194304 8223781 140735861312640 18446744073709551615 6571211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12143 11105 603 984 0 11156 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 48572
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15037
/proc/meminfo: memFree=1540040/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=50068 CPUtime=1061.97
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 765040 0 0 0 105388 809 0 0 25 0 1 0 8204947 51269632 11466 1992294400 4194304 8223781 140735861312640 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12517 11466 604 984 0 11530 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 50068
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15039
/proc/meminfo: memFree=1540040/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=49872 CPUtime=1121.95
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 887593 0 0 0 111307 888 0 0 25 0 1 0 8204947 51068928 11460 1992294400 4194304 8223781 140735861312640 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12468 11460 603 984 0 11481 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49872
[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 15041
/proc/meminfo: memFree=1540412/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=49980 CPUtime=1181.92
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1006160 0 0 0 117236 956 0 0 25 0 1 0 8204947 51179520 11420 1992294400 4194304 8223781 140735861312640 18446744073709551615 6482666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12495 11420 603 984 0 11508 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 49980
[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 15043
/proc/meminfo: memFree=1539048/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=50896 CPUtime=1241.91
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1129444 0 0 0 123160 1031 0 0 25 0 1 0 8204947 52117504 11612 1992294400 4194304 8223781 140735861312640 18446744073709551615 6570073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12724 11612 603 984 0 11737 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 50896
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15045
/proc/meminfo: memFree=1538552/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=51248 CPUtime=1301.9
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1240261 0 0 0 129086 1104 0 0 25 0 1 0 8204947 52477952 11735 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12812 11735 603 984 0 11825 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 51248
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15045
/proc/meminfo: memFree=1537932/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=51160 CPUtime=1361.87
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1335679 0 0 0 135019 1168 0 0 25 0 1 0 8204947 52387840 11699 1992294400 4194304 8223781 140735861312640 18446744073709551615 4776025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12790 11699 603 984 0 11803 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 51160
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15047
/proc/meminfo: memFree=1538428/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=51472 CPUtime=1421.86
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1440157 0 0 0 140947 1239 0 0 25 0 1 0 8204947 52707328 11787 1992294400 4194304 8223781 140735861312640 18446744073709551615 6614619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12868 11787 603 984 0 11881 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 51472
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15049
/proc/meminfo: memFree=1537436/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=51276 CPUtime=1481.83
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1519469 0 0 0 146883 1300 0 0 25 0 1 0 8204947 52506624 11793 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 12819 11793 603 984 0 11832 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 51276
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15051
/proc/meminfo: memFree=1536568/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=53436 CPUtime=1541.81
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1624864 0 0 0 152809 1372 0 0 25 0 1 0 8204947 54718464 12235 1992294400 4194304 8223781 140735861312640 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13359 12235 603 984 0 12372 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 53436
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15053
/proc/meminfo: memFree=1537188/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=54068 CPUtime=1601.8
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1757040 0 0 0 158731 1449 0 0 25 0 1 0 8204947 55365632 12370 1992294400 4194304 8223781 140735861312640 18446744073709551615 6562664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13517 12370 606 984 0 12530 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 54068
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15053
/proc/meminfo: memFree=1536320/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=53816 CPUtime=1661.78
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 1877080 0 0 0 164652 1526 0 0 25 0 1 0 8204947 55107584 12322 1992294400 4194304 8223781 140735861312640 18446744073709551615 6559782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13454 12322 605 984 0 12467 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 53816
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15055
/proc/meminfo: memFree=1536072/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=54076 CPUtime=1721.76
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 2001856 0 0 0 170576 1600 0 0 25 0 1 0 8204947 55373824 12385 1992294400 4194304 8223781 140735861312640 18446744073709551615 6358880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13519 12385 603 984 0 12532 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 54076
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15057
/proc/meminfo: memFree=1534708/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=55000 CPUtime=1781.74
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 2131351 0 0 0 176498 1676 0 0 25 0 1 0 8204947 56320000 12679 1992294400 4194304 8223781 140735861312640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13750 12679 603 984 0 12763 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 55000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15057
/proc/meminfo: memFree=1534708/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=54872 CPUtime=1800.05
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 2163324 0 0 0 178307 1698 0 0 25 0 1 0 8204947 56188928 12705 1992294400 4194304 8223781 140735861312640 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13718 12705 603 984 0 12731 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 54872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15057
/proc/meminfo: memFree=1534708/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=54716 CPUtime=1800.24
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 2163820 0 0 0 178325 1699 0 0 25 0 1 0 8204947 56029184 12581 1992294400 4194304 8223781 140735861312640 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15005/statm: 13679 12581 603 984 0 12692 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 54716
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15057
/proc/meminfo: memFree=1534708/2059040 swapFree=4192956/4192956
[pid=15005] ppid=15003 vsize=50412 CPUtime=1800.34
/proc/15005/stat : 15005 (pbscip.linux.x8) R 15003 15005 14388 0 -1 4202496 2164311 0 0 0 178335 1699 0 0 25 0 1 0 8204947 51621888 11511 1992294400 4194304 8223781 140735861312640 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15005/statm: 12603 11511 605 984 0 11616 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 50412
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.36
CPU user time (s): 1783.36
CPU system time (s): 16.9984
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 71612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.36
system time used= 16.9984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2164315
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= 2385
runsolver used 3.00154 second user time and 8.47871 second system time
The end