0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3741384-1338753464.opb>
0.09/0.16 c original problem has 21856 variables (21856 bin, 0 int, 0 impl, 0 cont) and 12129 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.26 c presolving:
0.29/0.35 c (round 1) 4857 del vars, 2244 del conss, 4845 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50472 impls, 6474 clqs
0.29/0.36 c (round 2) 5338 del vars, 2557 del conss, 5227 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50782 impls, 6364 clqs
0.29/0.37 c (round 3) 5450 del vars, 2643 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.29/0.39 c (round 4) 5455 del vars, 2648 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.39/0.45 c (round 5) 5455 del vars, 2648 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 50792 impls, 6340 clqs
1.89/1.94 c (round 6) 5510 del vars, 2648 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
1.89/1.95 c (round 7) 5510 del vars, 2679 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
3.19/3.29 c (3.1s) probing: 1000/16401 (6.1%) - 58 fixings, 0 aggregations, 149585 implications, 1 bound changes
3.99/4.04 c (round 8) 5562 del vars, 2679 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
3.99/4.05 c (round 9) 5562 del vars, 2687 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
5.58/5.69 c (5.5s) probing: 2000/16401 (12.2%) - 133 fixings, 1 aggregations, 346533 implications, 1 bound changes
6.38/6.48 c (round 10) 5612 del vars, 2687 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
6.38/6.49 c (round 11) 5612 del vars, 2704 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
7.79/7.80 c (7.6s) probing: 3000/16401 (18.3%) - 158 fixings, 1 aggregations, 474532 implications, 2 bound changes
9.49/9.58 c (9.4s) probing: 4000/16401 (24.4%) - 173 fixings, 1 aggregations, 542092 implications, 2 bound changes
11.28/11.31 c (11.2s) probing: 5000/16401 (30.5%) - 195 fixings, 1 aggregations, 592285 implications, 2 bound changes
11.68/11.72 c (round 12) 5662 del vars, 2704 del conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
11.68/11.74 c (round 13) 5662 del vars, 2754 del conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
12.88/12.93 c (12.8s) probing: 6000/16401 (36.6%) - 206 fixings, 1 aggregations, 624055 implications, 2 bound changes
14.48/14.52 c (14.4s) probing: 7000/16401 (42.7%) - 206 fixings, 1 aggregations, 662488 implications, 2 bound changes
14.88/14.91 c (14.8s) probing: 7240/16401 (44.1%) - 206 fixings, 1 aggregations, 673692 implications, 2 bound changes
14.88/14.91 c (14.8s) probing aborted: 2000/2000 successive useless probings
14.88/14.91 c presolving (14 rounds):
14.88/14.91 c 5662 deleted vars, 2754 deleted constraints, 5321 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.88/14.91 c 1990652 implications, 6326 cliques
14.88/14.91 c presolved problem has 16194 variables (16194 bin, 0 int, 0 impl, 0 cont) and 9376 constraints
14.88/14.91 c 9376 constraints of type <setppc>
14.88/14.91 c transformed objective value is always integral (scale: 1)
14.88/14.91 c Presolving Time: 14.70
14.88/14.91 c - non default parameters ----------------------------------------------------------------------
14.88/14.91 c # SCIP version 1.2.1.3
14.88/14.91 c
14.88/14.91 c # frequency for displaying node information lines
14.88/14.91 c # [type: int, range: [-1,2147483647], default: 100]
14.88/14.91 c display/freq = 10000
14.88/14.91 c
14.88/14.91 c # maximal time in seconds to run
14.88/14.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.88/14.91 c limits/time = 1789.85
14.88/14.91 c
14.88/14.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.88/14.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.88/14.91 c limits/memory = 13950
14.88/14.91 c
14.88/14.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.88/14.91 c # [type: int, range: [1,2], default: 1]
14.88/14.91 c timing/clocktype = 2
14.88/14.91 c
14.88/14.91 c # should presolving try to simplify inequalities
14.88/14.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.88/14.91 c constraints/linear/simplifyinequalities = TRUE
14.88/14.91 c
14.88/14.91 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.88/14.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.88/14.91 c constraints/indicator/addCouplingCons = TRUE
14.88/14.91 c
14.88/14.91 c # should presolving try to simplify knapsacks
14.88/14.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.88/14.91 c constraints/knapsack/simplifyinequalities = TRUE
14.88/14.91 c
14.88/14.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.88/14.91 c # [type: int, range: [-1,2147483647], default: -1]
14.88/14.91 c separating/rapidlearning/freq = 0
14.88/14.91 c
14.88/14.91 c -----------------------------------------------------------------------------------------------
14.88/14.91 c start solving
14.88/14.92 c
31.79/31.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.79/31.85 c 31.7s| 1 | 0 | 17135 | - | 115M| 0 |1621 | 16k|9376 | 16k|9376 | 0 | 0 | 0 | 1.307212e+01 | -- | Inf
80.57/80.69 c 80.5s| 1 | 0 | 60253 | - | 117M| 0 |1997 | 16k|9372 | 16k| 10k|1030 | 0 | 0 | 1.400143e+01 | -- | Inf
88.67/88.72 c 88.6s| 1 | 0 | 63943 | - | 126M| 0 |2018 | 16k|9372 | 16k| 10k|1108 | 0 | 0 | 1.400146e+01 | -- | Inf
99.37/99.40 c 99.2s| 1 | 0 | 69477 | - | 128M| 0 |1875 | 16k|9372 | 16k| 10k|1150 | 0 | 0 | 1.400260e+01 | -- | Inf
105.77/105.89 c 106s| 1 | 0 | 72597 | - | 128M| 0 |1824 | 16k|9372 | 16k| 10k|1161 | 0 | 0 | 1.400260e+01 | -- | Inf
113.47/113.54 c 113s| 1 | 0 | 76431 | - | 128M| 0 |1991 | 16k|9372 | 16k| 10k|1173 | 0 | 0 | 1.400260e+01 | -- | Inf
121.47/121.58 c 121s| 1 | 0 | 80380 | - | 128M| 0 |1801 | 16k|9372 | 16k| 10k|1180 | 0 | 0 | 1.400260e+01 | -- | Inf
128.47/128.60 c 128s| 1 | 0 | 83693 | - | 128M| 0 |1978 | 16k|9372 | 16k| 10k|1186 | 0 | 0 | 1.400260e+01 | -- | Inf
136.27/136.35 c 136s| 1 | 0 | 87373 | - | 128M| 0 |1919 | 16k|9372 | 16k| 10k|1214 | 0 | 0 | 1.400260e+01 | -- | Inf
209.96/210.07 c 210s| 1 | 2 | 87373 | - | 128M| 0 |1919 | 16k|9372 | 16k| 10k|1214 | 0 | 33 | 1.400260e+01 | -- | Inf
1790.42/1790.79 c
1790.42/1790.79 c SCIP Status : solving was interrupted [time limit reached]
1790.42/1790.79 c Solving Time (sec) : 1790.63
1790.42/1790.79 c Solving Nodes : 58
1790.42/1790.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.42/1790.79 c Dual Bound : +1.50000000000000e+01
1790.42/1790.79 c Gap : infinite
1790.42/1790.79 s UNKNOWN
1790.42/1790.79 c SCIP Status : solving was interrupted [time limit reached]
1790.42/1790.79 c Solving Time : 1790.63
1790.42/1790.79 c Original Problem :
1790.42/1790.79 c Problem name : HOME/instance-3741384-1338753464.opb
1790.42/1790.79 c Variables : 21856 (21856 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.42/1790.79 c Constraints : 12129 initial, 12129 maximal
1790.42/1790.79 c Presolved Problem :
1790.42/1790.79 c Problem name : t_HOME/instance-3741384-1338753464.opb
1790.42/1790.79 c Variables : 16194 (16194 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.42/1790.79 c Constraints : 9376 initial, 9376 maximal
1790.42/1790.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.42/1790.79 c trivial : 0.01 0 0 0 0 0 0 0 0
1790.42/1790.79 c dualfix : 0.01 0 0 0 0 0 0 0 0
1790.42/1790.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.42/1790.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.42/1790.79 c implics : 0.01 0 0 0 0 0 0 0 0
1790.42/1790.79 c probing : 14.30 206 1 0 2 0 0 0 0
1790.42/1790.79 c setppc : 0.11 0 0 0 0 0 106 0 0
1790.42/1790.79 c linear : 0.16 5319 136 0 5319 0 2648 0 0
1790.42/1790.79 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.42/1790.79 c root node : - 17 - - 17 - - - -
1790.42/1790.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.42/1790.79 c integral : 0 0 0 56 0 0 2 0 0 108
1790.42/1790.79 c setppc : 9376 8 36648 0 0 50 16352 0 0 0
1790.42/1790.79 c logicor : 0+ 0 13 0 0 0 2 0 0 0
1790.42/1790.79 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.42/1790.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.42/1790.79 c integral : 455.35 0.00 0.00 455.35 0.00
1790.42/1790.79 c setppc : 6.74 0.01 6.74 0.00 0.00
1790.42/1790.79 c logicor : 0.00 0.00 0.00 0.00 0.00
1790.42/1790.79 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.42/1790.79 c Propagators : Time Calls Cutoffs DomReds
1790.42/1790.79 c vbounds : 0.03 2 0 0
1790.42/1790.79 c rootredcost : 0.02 0 0 0
1790.42/1790.79 c pseudoobj : 0.03 2920 0 0
1790.42/1790.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.42/1790.79 c propagation : 0.00 1 1 1 2.0 1 2.0 -
1790.42/1790.79 c infeasible LP : 0.10 8 3 7 12.9 0 0.0 0
1790.42/1790.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.42/1790.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.42/1790.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.42/1790.79 c applied globally : - - - 7 5.1 - - -
1790.42/1790.79 c applied locally : - - - 0 0.0 - - -
1790.42/1790.79 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.42/1790.79 c cut pool : 0.01 7 - - 138 - (maximal pool size: 1720)
1790.42/1790.79 c redcost : 0.04 63 0 0 0 0
1790.42/1790.79 c impliedbounds : 0.04 8 0 0 1879 0
1790.42/1790.79 c intobj : 0.00 0 0 0 0 0
1790.42/1790.79 c cgmip : 0.00 0 0 0 0 0
1790.42/1790.79 c gomory : 5.09 8 0 0 416 0
1790.42/1790.79 c strongcg : 5.50 8 0 0 1068 0
1790.42/1790.79 c cmir : 0.73 8 0 0 0 0
1790.42/1790.79 c flowcover : 0.78 8 0 0 0 0
1790.42/1790.79 c clique : 5.34 8 0 0 63 0
1790.42/1790.79 c zerohalf : 0.00 0 0 0 0 0
1790.42/1790.79 c mcf : 0.01 1 0 0 0 0
1790.42/1790.79 c rapidlearning : 0.00 0 0 0 0 0
1790.42/1790.79 c Pricers : Time Calls Vars
1790.42/1790.79 c problem variables: 0.00 0 0
1790.42/1790.79 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.42/1790.79 c relpscost : 455.35 56 0 2 0 0 108
1790.42/1790.79 c pscost : 0.00 0 0 0 0 0 0
1790.42/1790.79 c inference : 0.00 0 0 0 0 0 0
1790.42/1790.79 c mostinf : 0.00 0 0 0 0 0 0
1790.42/1790.79 c leastinf : 0.00 0 0 0 0 0 0
1790.42/1790.79 c fullstrong : 0.00 0 0 0 0 0 0
1790.42/1790.79 c allfullstrong : 0.00 0 0 0 0 0 0
1790.42/1790.79 c random : 0.00 0 0 0 0 0 0
1790.42/1790.79 c Primal Heuristics : Time Calls Found
1790.42/1790.79 c LP solutions : 0.00 - 0
1790.42/1790.79 c pseudo solutions : 0.00 - 0
1790.42/1790.79 c oneopt : 0.00 0 0
1790.42/1790.79 c crossover : 0.00 0 0
1790.42/1790.79 c pscostdiving : 124.42 1 0
1790.42/1790.79 c trivial : 0.02 2 0
1790.42/1790.79 c simplerounding : 0.00 0 0
1790.42/1790.79 c zirounding : 0.03 54 0
1790.42/1790.79 c rounding : 0.13 64 0
1790.42/1790.79 c shifting : 0.10 15 0
1790.42/1790.79 c intshifting : 0.00 0 0
1790.42/1790.79 c twoopt : 0.00 0 0
1790.42/1790.79 c fixandinfer : 0.00 0 0
1790.42/1790.79 c feaspump : 34.54 1 0
1790.42/1790.79 c coefdiving : 107.16 3 0
1790.42/1790.79 c fracdiving : 124.35 1 0
1790.42/1790.79 c veclendiving : 171.03 1 0
1790.42/1790.79 c intdiving : 0.00 0 0
1790.42/1790.79 c actconsdiving : 0.00 0 0
1790.42/1790.79 c objpscostdiving : 5.52 1 0
1790.42/1790.79 c rootsoldiving : 25.43 1 0
1790.42/1790.79 c linesearchdiving : 302.18 1 0
1790.42/1790.79 c guideddiving : 0.00 0 0
1790.42/1790.79 c octane : 0.00 0 0
1790.42/1790.79 c rens : 19.48 1 0
1790.42/1790.79 c rins : 0.00 0 0
1790.42/1790.79 c localbranching : 0.00 0 0
1790.42/1790.79 c mutation : 0.00 0 0
1790.42/1790.79 c dins : 0.00 0 0
1790.42/1790.79 c undercover : 0.00 0 0
1790.42/1790.79 c nlp : 0.00 0 0
1790.42/1790.79 c trysol : 0.00 0 0
1790.42/1790.79 c LP : Time Calls Iterations Iter/call Iter/sec
1790.42/1790.79 c primal LP : 0.01 0 0 0.00 0.00
1790.42/1790.79 c dual LP : 388.00 68 268126 3943.03 691.05
1790.42/1790.79 c lex dual LP : 0.00 0 0 0.00 -
1790.42/1790.79 c barrier LP : 0.00 0 0 0.00 -
1790.42/1790.79 c diving/probing LP: 888.57 1376 630378 458.12 709.43
1790.42/1790.79 c strong branching : 455.31 300 293870 979.57 645.42
1790.42/1790.79 c (at root node) : - 33 33000 1000.00 -
1790.42/1790.79 c conflict analysis: 0.00 0 0 0.00 -
1790.42/1790.79 c B&B Tree :
1790.42/1790.79 c number of runs : 1
1790.42/1790.79 c nodes : 58
1790.42/1790.79 c nodes (total) : 58
1790.42/1790.79 c nodes left : 51
1790.42/1790.79 c max depth : 16
1790.42/1790.79 c max depth (total): 16
1790.42/1790.79 c backtracks : 23 (39.7%)
1790.42/1790.79 c delayed cutoffs : 0
1790.42/1790.79 c repropagations : 7 (9 domain reductions, 0 cutoffs)
1790.42/1790.79 c avg switch length: 2.95
1790.42/1790.79 c switching time : 0.05
1790.42/1790.79 c Solution :
1790.42/1790.79 c Solutions found : 0 (0 improvements)
1790.42/1790.79 c Primal Bound : -
1790.42/1790.79 c Dual Bound : +1.50000000000000e+01
1790.42/1790.79 c Gap : infinite
1790.42/1790.79 c Root Dual Bound : +1.40026041666667e+01
1790.42/1790.79 c Root Iterations : 87373
1790.61/1790.90 c Time complete: 1790.61.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741384-1338753464/watcher-3741384-1338753464 -o /tmp/evaluation-result-3741384-1338753464/solver-3741384-1338753464 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741384-1338753464.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 11455
/proc/meminfo: memFree=26240352/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 1413 0 0 0 0 0 0 0 20 0 1 0 341413427 9158656 1360 33554432000 4194304 8395647 140733656450864 140734862373336 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 2236 1371 374 1026 0 1206 0
[startup+0.054782 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 11455
/proc/meminfo: memFree=26240352/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=24644 CPUtime=0.04 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 5419 0 0 0 4 0 0 0 20 0 1 0 341413427 25235456 5366 33554432000 4194304 8395647 140733656450864 140734862373336 6767008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 6161 5367 393 1026 0 5131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24644
[startup+0.100289 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 11455
/proc/meminfo: memFree=26240352/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=31048 CPUtime=0.09 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 7022 0 0 0 8 1 0 0 20 0 1 0 341413427 31793152 6969 33554432000 4194304 8395647 140733656450864 140734862373336 7370130 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 7762 6969 393 1026 0 6732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31048
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 11455
/proc/meminfo: memFree=26240352/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=76656 CPUtime=0.29 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 18116 0 0 0 27 2 0 0 20 0 1 0 341413427 78495744 17709 33554432000 4194304 8395647 140733656450864 140734862373336 6077673 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 19164 17709 474 1026 0 18134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76656
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 11455
/proc/meminfo: memFree=26240352/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=100852 CPUtime=0.69 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 23888 0 0 0 66 3 0 0 20 0 1 0 341413427 103272448 23373 33554432000 4194304 8395647 140733656450864 140733656447624 4698201 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 25213 23373 491 1026 0 24183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100852
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 11456
/proc/meminfo: memFree=26140440/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=113816 CPUtime=1.48 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 26781 0 0 0 145 3 0 0 20 0 1 0 341413427 116547584 26266 33554432000 4194304 8395647 140733656450864 140733656446728 4705393 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 28454 26266 491 1026 0 27424 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113816
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 11456
/proc/meminfo: memFree=26128288/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=126360 CPUtime=3.09 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 29914 0 0 0 305 4 0 0 20 0 1 0 341413427 129392640 29399 33554432000 4194304 8395647 140733656450864 140733656446936 5210338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 31590 29399 491 1026 0 30560 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126360
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 11456
/proc/meminfo: memFree=26111300/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=146444 CPUtime=6.28 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 34840 0 0 0 624 4 0 0 20 0 1 0 341413427 149958656 34325 33554432000 4194304 8395647 140733656450864 140733656446936 7385355 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11455/statm: 36611 34325 497 1026 0 35581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 146444
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 11456
/proc/meminfo: memFree=26078316/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=172308 CPUtime=12.68 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 41325 0 0 0 1263 5 0 0 20 0 1 0 341413427 176443392 40810 33554432000 4194304 8395647 140733656450864 140733656447960 5604533 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 43077 40810 497 1026 0 42047 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 172308
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 11456
/proc/meminfo: memFree=26052756/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=199448 CPUtime=25.48 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 48082 0 0 0 2540 8 0 0 20 0 1 0 341413427 204234752 47277 33554432000 4194304 8395647 140733656450864 140733656445992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 49862 47277 571 1026 0 48832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 199448
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 11456
/proc/meminfo: memFree=26051468/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=200952 CPUtime=51.08 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 48463 0 0 0 5098 10 0 0 20 0 1 0 341413427 205774848 47658 33554432000 4194304 8395647 140733656450864 140733656445384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 50238 47658 576 1026 0 49208 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 200952
[startup+102.307 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 11456
/proc/meminfo: memFree=26012948/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=240448 CPUtime=102.28 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 58245 0 0 0 10209 19 0 0 20 0 1 0 341413427 246218752 57133 33554432000 4194304 8395647 140733656450864 140733656446424 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60112 57133 606 1026 0 59082 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 240448
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 11459
/proc/meminfo: memFree=26012472/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=241224 CPUtime=162.26 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73480 0 0 0 16188 38 0 0 20 0 1 0 341413427 247013376 57321 33554432000 4194304 8395647 140733656450864 140733656446168 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60306 57321 632 1026 0 59276 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 241224
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 11483
/proc/meminfo: memFree=26011144/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=222.25 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73905 0 0 0 22181 44 0 0 20 0 1 0 341413427 248754176 57746 33554432000 4194304 8395647 140733656450864 140733656446072 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 57746 632 1026 0 59701 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 242924
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 11483
/proc/meminfo: memFree=26010948/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=282.24 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73909 0 0 0 28173 51 0 0 20 0 1 0 341413427 248754176 57757 33554432000 4194304 8395647 140733656450864 140733656446120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 57757 635 1026 0 59701 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 242924
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11483
/proc/meminfo: memFree=26006140/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=342.23 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73910 0 0 0 34166 57 0 0 20 0 1 0 341413427 248754176 58935 33554432000 4194304 8395647 140733656450864 140733656445992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 58935 635 1026 0 59701 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 242924
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11483
/proc/meminfo: memFree=26002512/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=402.22 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73922 0 0 0 40158 64 0 0 20 0 1 0 341413427 248754176 59813 33554432000 4194304 8395647 140733656450864 140733656446168 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 59813 635 1026 0 59701 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 242924
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11483
/proc/meminfo: memFree=26002308/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=462.21 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73922 0 0 0 46153 68 0 0 20 0 1 0 341413427 248754176 59900 33554432000 4194304 8395647 140733656450864 140733656446120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 59900 635 1026 0 59701 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 242924
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 11484
/proc/meminfo: memFree=26002060/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=522.2 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73922 0 0 0 52144 76 0 0 20 0 1 0 341413427 248754176 59900 33554432000 4194304 8395647 140733656450864 140733656446120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 59900 635 1026 0 59701 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 242924
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 11484
/proc/meminfo: memFree=26002184/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=242924 CPUtime=582.19 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 73922 0 0 0 58138 81 0 0 20 0 1 0 341413427 248754176 59900 33554432000 4194304 8395647 140733656450864 140733656446072 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 60731 59900 635 1026 0 59701 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 242924
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26000448/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1002.13 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74429 0 0 0 100094 119 0 0 20 0 1 0 341413427 250830848 60407 33554432000 4194304 8395647 140733656450864 140733656446488 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60407 635 1026 0 60208 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 244952
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11488
/proc/meminfo: memFree=26000448/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1062.12 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74429 0 0 0 106088 124 0 0 20 0 1 0 341413427 250830848 60407 33554432000 4194304 8395647 140733656450864 140733656446120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60407 635 1026 0 60208 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 244952
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11527
/proc/meminfo: memFree=27509372/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1122.11 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74434 0 0 0 112081 130 0 0 20 0 1 0 341413427 250830848 60412 33554432000 4194304 8395647 140733656450864 140733656446376 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60412 635 1026 0 60208 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 244952
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 11527
/proc/meminfo: memFree=27456300/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1182.11 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74434 0 0 0 118073 138 0 0 20 0 1 0 341413427 250830848 60412 33554432000 4194304 8395647 140733656450864 140733656446488 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60412 635 1026 0 60208 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 244952
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 11527
/proc/meminfo: memFree=27449848/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1242.09 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74435 0 0 0 124066 143 0 0 20 0 1 0 341413427 250830848 60412 33554432000 4194304 8395647 140733656450864 140733656446104 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60412 635 1026 0 60208 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 244952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 11527
/proc/meminfo: memFree=27447968/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=244952 CPUtime=1302.09 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74435 0 0 0 130059 150 0 0 20 0 1 0 341413427 250830848 60412 33554432000 4194304 8395647 140733656450864 140733656446488 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61238 60412 635 1026 0 60208 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 244952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11530
/proc/meminfo: memFree=27446392/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=246884 CPUtime=1362.08 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74793 0 0 0 136053 155 0 0 20 0 1 0 341413427 252809216 60770 33554432000 4194304 8395647 140733656450864 140733656446104 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61721 60770 635 1026 0 60691 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 246884
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27446400/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=246884 CPUtime=1422.07 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 74795 0 0 0 142045 162 0 0 20 0 1 0 341413427 252809216 60772 33554432000 4194304 8395647 140733656450864 140733656446104 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 61721 60772 635 1026 0 60691 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 246884
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 11569
/proc/meminfo: memFree=27527248/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=248636 CPUtime=1482.05 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75231 0 0 0 148037 168 0 0 20 0 1 0 341413427 254603264 61207 33554432000 4194304 8395647 140733656450864 140733656446472 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62159 61207 635 1026 0 61129 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 248636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 11569
/proc/meminfo: memFree=27527620/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=248636 CPUtime=1542.04 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75231 0 0 0 154030 174 0 0 20 0 1 0 341413427 254603264 61207 33554432000 4194304 8395647 140733656450864 140733656445992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62159 61207 635 1026 0 61129 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 248636
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 11569
/proc/meminfo: memFree=27527248/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=248636 CPUtime=1602.04 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75361 0 0 0 160023 181 0 0 20 0 1 0 341413427 254603264 61337 33554432000 4194304 8395647 140733656450864 140733656446424 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62159 61337 635 1026 0 61129 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 248636
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 11569
/proc/meminfo: memFree=27527308/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=248636 CPUtime=1662.03 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75362 0 0 0 166017 186 0 0 20 0 1 0 341413427 254603264 61337 33554432000 4194304 8395647 140733656450864 140733656445992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62159 61337 635 1026 0 61129 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 248636
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27527432/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=248636 CPUtime=1722.02 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75362 0 0 0 172009 193 0 0 20 0 1 0 341413427 254603264 61337 33554432000 4194304 8395647 140733656450864 140733656445992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62159 61337 635 1026 0 61129 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 248636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=249876 CPUtime=1782.01 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75634 0 0 0 178003 198 0 0 20 0 1 0 341413427 255873024 61609 33554432000 4194304 8395647 140733656450864 140733656446168 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62469 61609 635 1026 0 61439 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 249876
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=249876 CPUtime=1785.21 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75634 0 0 0 178323 198 0 0 20 0 1 0 341413427 255873024 61609 33554432000 4194304 8395647 140733656450864 140733656445736 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62469 61609 635 1026 0 61439 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 249876
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=249876 CPUtime=1788.41 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75634 0 0 0 178642 199 0 0 20 0 1 0 341413427 255873024 61609 33554432000 4194304 8395647 140733656450864 140733656445736 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62469 61609 635 1026 0 61439 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 249876
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=249876 CPUtime=1790.01 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75634 0 0 0 178802 199 0 0 20 0 1 0 341413427 255873024 61609 33554432000 4194304 8395647 140733656450864 140733656446072 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62469 61609 635 1026 0 61439 0
Current children cumulated CPU time (s) 1790.01
Current children cumulated vsize (KiB) 249876
[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=249876 CPUtime=1790.42 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75634 0 0 0 178843 199 0 0 20 0 1 0 341413427 255873024 61609 33554432000 4194304 8395647 140733656450864 140733656446168 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 62469 61609 635 1026 0 61439 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (KiB) 249876
[startup+1790.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 11570
/proc/meminfo: memFree=27526068/32873844 swapFree=7128/7128
[pid=11455] ppid=11453 vsize=190900 CPUtime=1790.61 cores=0,2,4,6
/proc/11455/stat : 11455 (pbscip.linux.x8) R 11453 11455 11206 0 -1 4202496 75636 0 0 0 178862 199 0 0 20 0 1 0 341413427 195481600 47291 33554432000 4194304 8395647 140733656450864 140733656446168 6075892 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11455/statm: 47725 47291 637 1026 0 46695 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (KiB) 190900
Child status: 0
Real time (s): 1790.9
CPU time (s): 1790.62
CPU user time (s): 1788.62
CPU system time (s): 1.9987
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 301988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.62
system time used= 1.9987
maximum resident set size= 288360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75639
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= 20
involuntary context switches= 2108
runsolver used 2.89056 second user time and 7.13991 second system time
The end