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-3731049-1338684034.opb>
0.00/0.01 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.01 c presolving:
0.01/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.01/0.02 c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.01/0.04 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (3 rounds):
0.01/0.04 c 0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 81 changed sides, 81 changed coefficients
0.01/0.04 c 342 implications, 0 cliques
0.01/0.04 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 891 constraints
0.01/0.04 c 673 constraints of type <knapsack>
0.01/0.04 c 168 constraints of type <setppc>
0.01/0.04 c 10 constraints of type <linear>
0.01/0.04 c 40 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.02
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.3
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1789.99
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/indicator/addCouplingCons = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 0 | 304 | - |3101k| 0 | 196 | 464 | 891 | 464 | 891 | 0 | 0 | 0 | 9.700000e+01 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 2237 | - |4436k| 0 | 263 | 464 |1599 | 464 |1126 | 235 | 0 | 0 | 9.725000e+01 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 2651 | - |5449k| 0 | 288 | 464 |1599 | 464 |1313 | 422 | 0 | 0 | 9.800000e+01 | -- | Inf
0.79/0.84 c 0.8s| 1 | 0 | 3255 | - |6242k| 0 | 312 | 464 |1599 | 464 |1473 | 582 | 0 | 0 | 9.850000e+01 | -- | Inf
1.00/1.09 c 1.1s| 1 | 0 | 4044 | - |7033k| 0 | 317 | 464 |1599 | 464 |1631 | 740 | 0 | 0 | 9.900000e+01 | -- | Inf
1.29/1.37 c 1.4s| 1 | 0 | 4849 | - |7147k| 0 | 296 | 464 |1599 | 464 |1741 | 850 | 0 | 0 | 9.900000e+01 | -- | Inf
1.58/1.62 c 1.6s| 1 | 0 | 5561 | - |7236k| 0 | 286 | 464 |1599 | 464 |1837 | 946 | 0 | 0 | 9.900000e+01 | -- | Inf
1.88/1.90 c 1.9s| 1 | 0 | 6193 | - |7297k| 0 | 243 | 464 |1599 | 464 |1895 |1004 | 0 | 0 | 9.900000e+01 | -- | Inf
2.20/2.21 c 2.2s| 1 | 0 | 7092 | - |8174k| 0 | 251 | 464 |1599 | 464 |1942 |1051 | 0 | 0 | 9.900000e+01 | -- | Inf
2.39/2.49 c 2.5s| 1 | 0 | 7758 | - |8492k| 0 | 252 | 464 |1599 | 464 |1988 |1097 | 0 | 0 | 9.900000e+01 | -- | Inf
6.39/6.46 c 6.5s| 1 | 2 | 7758 | - |8493k| 0 | 252 | 464 |1599 | 464 |1988 |1097 | 0 | 27 | 9.900000e+01 | -- | Inf
264.64/264.77 c 265s| 10000 | 8213 | 1871k| 186.4 | 19M| 38 | 203 | 464 |1740 | 464 |1251 |1097 |4292 |2642 | 9.968750e+01 | -- | Inf
501.00/501.11 c 501s| 20000 | 15493 | 3868k| 193.0 | 27M| 41 | 230 | 464 |2161 | 464 |1251 |1097 | 10k|3810 | 1.000000e+02 | -- | Inf
739.66/739.84 c 740s| 30000 | 21855 | 5928k| 197.4 | 36M| 51 | 235 | 464 |2545 | 464 |1251 |1097 | 20k|4978 | 1.000000e+02 | -- | Inf
961.52/961.71 c 962s| 40000 | 28128 | 7874k| 196.7 | 44M| 51 | 211 | 464 |2633 | 464 |1251 |1097 | 30k|5985 | 1.000312e+02 | -- | Inf
1176.39/1176.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.39/1176.69 c 1177s| 50000 | 34308 | 9782k| 195.5 | 52M| 54 | 125 | 464 |2555 | 464 |1251 |1097 | 41k|6711 | 1.001667e+02 | -- | Inf
1372.15/1372.42 c 1372s| 60000 | 40473 | 11515k| 191.8 | 60M| 57 | 197 | 464 |3007 | 464 |1251 |1097 | 52k|7462 | 1.002460e+02 | -- | Inf
1536.83/1537.18 c 1537s| 70000 | 46041 | 12998k| 185.6 | 68M| 69 | 227 | 464 |3012 | 464 |1251 |1097 | 63k|7948 | 1.003333e+02 | -- | Inf
1673.31/1673.61 c 1674s| 80000 | 50811 | 14240k| 177.9 | 75M| 69 | 234 | 464 |3046 | 464 |1251 |1097 | 75k|8276 | 1.003333e+02 | -- | Inf
1789.68/1790.00 c
1789.68/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.00 c Solving Time (sec) : 1789.99
1789.68/1790.00 c Solving Nodes : 88846
1789.68/1790.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.68/1790.00 c Dual Bound : +1.00373165137615e+02
1789.68/1790.00 c Gap : infinite
1789.68/1790.00 s UNKNOWN
1789.68/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.00 c Solving Time : 1789.99
1789.68/1790.00 c Original Problem :
1789.68/1790.00 c Problem name : HOME/instance-3731049-1338684034.opb
1789.68/1790.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.00 c Constraints : 1059 initial, 1059 maximal
1789.68/1790.00 c Presolved Problem :
1789.68/1790.00 c Problem name : t_HOME/instance-3731049-1338684034.opb
1789.68/1790.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.00 c Constraints : 891 initial, 3445 maximal
1789.68/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.68/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c probing : 0.01 0 0 0 0 0 0 0 0
1789.68/1790.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c linear : 0.01 0 0 0 0 0 168 81 81
1789.68/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.00 c root node : - 0 - - 0 - - - -
1789.68/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.68/1790.00 c integral : 0 0 0 75103 0 20 950 0 0 149314
1789.68/1790.00 c knapsack : 673 9 529048 0 0 6726 368996 1331 0 0
1789.68/1790.00 c setppc : 168 9 522322 0 0 2717 153435 0 0 0
1789.68/1790.00 c linear : 10+ 10 519606 0 0 944 23334 64 0 0
1789.68/1790.00 c logicor : 40+ 9 313643 0 0 2492 247083 0 0 0
1789.68/1790.00 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.68/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.68/1790.00 c integral : 137.45 0.00 0.00 137.45 0.00
1789.68/1790.00 c knapsack : 10.66 0.02 10.63 0.00 0.00
1789.68/1790.00 c setppc : 1.37 0.00 1.37 0.00 0.00
1789.68/1790.00 c linear : 3.16 0.01 3.15 0.00 0.00
1789.68/1790.00 c logicor : 4.26 0.00 4.26 0.00 0.00
1789.68/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.68/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.68/1790.00 c vbounds : 0.08 2 0 0
1789.68/1790.00 c rootredcost : 0.07 0 0 0
1789.68/1790.00 c pseudoobj : 0.25 529035 0 0
1789.68/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.68/1790.00 c propagation : 0.25 12879 12796 49501 17.2 2724 9.8 -
1789.68/1790.00 c infeasible LP : 1.07 19589 19588 72198 17.1 2764 7.4 0
1789.68/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.68/1790.00 c applied globally : - - - 86498 13.9 - - -
1789.68/1790.00 c applied locally : - - - 0 0.0 - - -
1789.68/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.68/1790.00 c cut pool : 0.00 8 - - 1015 - (maximal pool size: 4347)
1789.68/1790.00 c redcost : 0.56 75111 0 0 0 0
1789.68/1790.00 c impliedbounds : 0.00 9 0 0 3 0
1789.68/1790.00 c intobj : 0.00 0 0 0 0 0
1789.68/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.68/1790.00 c gomory : 0.43 9 0 0 2004 0
1789.68/1790.00 c strongcg : 0.34 9 0 0 2997 0
1789.68/1790.00 c cmir : 0.10 9 0 0 802 0
1789.68/1790.00 c flowcover : 0.15 9 0 0 1321 0
1789.68/1790.00 c clique : 0.00 1 0 0 0 0
1789.68/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.68/1790.00 c mcf : 0.00 1 0 0 0 0
1789.68/1790.00 c rapidlearning : 0.26 1 0 0 0 708
1789.68/1790.00 c Pricers : Time Calls Vars
1789.68/1790.00 c problem variables: 0.00 0 0
1789.68/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.68/1790.00 c relpscost : 137.41 75103 20 950 0 0 149314
1789.68/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.68/1790.00 c inference : 0.00 0 0 0 0 0 0
1789.68/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.68/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.68/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.68/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.68/1790.00 c random : 0.00 0 0 0 0 0 0
1789.68/1790.00 c Primal Heuristics : Time Calls Found
1789.68/1790.00 c LP solutions : 0.00 - 0
1789.68/1790.00 c pseudo solutions : 0.00 - 0
1789.68/1790.00 c oneopt : 0.03 0 0
1789.68/1790.00 c crossover : 0.01 0 0
1789.68/1790.00 c linesearchdiving : 70.02 1455 0
1789.68/1790.00 c fracdiving : 71.98 1570 0
1789.68/1790.00 c trivial : 0.00 2 0
1789.68/1790.00 c simplerounding : 0.01 0 0
1789.68/1790.00 c zirounding : 0.05 1000 0
1789.68/1790.00 c rounding : 0.32 3818 0
1789.68/1790.00 c shifting : 1.42 1165 0
1789.68/1790.00 c intshifting : 0.00 0 0
1789.68/1790.00 c twoopt : 0.00 0 0
1789.68/1790.00 c fixandinfer : 0.00 0 0
1789.68/1790.00 c feaspump : 15.64 188 0
1789.68/1790.00 c coefdiving : 70.83 1382 0
1789.68/1790.00 c pscostdiving : 68.63 1113 0
1789.68/1790.00 c veclendiving : 60.67 829 0
1789.68/1790.00 c intdiving : 0.00 0 0
1789.68/1790.00 c actconsdiving : 0.00 0 0
1789.68/1790.00 c objpscostdiving : 16.52 125 0
1789.68/1790.00 c rootsoldiving : 13.76 215 0
1789.68/1790.00 c guideddiving : 0.00 0 0
1789.68/1790.00 c octane : 0.00 0 0
1789.68/1790.00 c rens : 0.00 0 0
1789.68/1790.00 c rins : 0.00 0 0
1789.68/1790.00 c localbranching : 0.00 0 0
1789.68/1790.00 c mutation : 0.00 0 0
1789.68/1790.00 c dins : 0.00 0 0
1789.68/1790.00 c undercover : 0.00 0 0
1789.68/1790.00 c nlp : 0.01 0 0
1789.68/1790.00 c trysol : 0.02 0 0
1789.68/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.68/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.68/1790.00 c dual LP : 1224.32 84333 11866885 140.71 9692.63
1789.68/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.68/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.68/1790.00 c diving/probing LP: 360.03 132929 3414642 25.69 9484.32
1789.68/1790.00 c strong branching : 133.99 8664 1221774 141.02 9118.25
1789.68/1790.00 c (at root node) : - 27 21851 809.30 -
1789.68/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.68/1790.00 c B&B Tree :
1789.68/1790.00 c number of runs : 1
1789.68/1790.00 c nodes : 88846
1789.68/1790.00 c nodes (total) : 88846
1789.68/1790.00 c nodes left : 54817
1789.68/1790.00 c max depth : 69
1789.68/1790.00 c max depth (total): 69
1789.68/1790.00 c backtracks : 18049 (20.3%)
1789.68/1790.00 c delayed cutoffs : 5652
1789.68/1790.00 c repropagations : 47292 (168659 domain reductions, 1586 cutoffs)
1789.68/1790.00 c avg switch length: 9.29
1789.68/1790.00 c switching time : 8.29
1789.68/1790.00 c Solution :
1789.68/1790.00 c Solutions found : 0 (0 improvements)
1789.68/1790.00 c Primal Bound : -
1789.68/1790.00 c Dual Bound : +1.00373165137615e+02
1789.68/1790.00 c Gap : infinite
1789.68/1790.00 c Root Dual Bound : +9.90000000000001e+01
1789.68/1790.00 c Root Iterations : 7758
1789.78/1790.10 c Time complete: 1789.79.
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-3731049-1338684034/watcher-3731049-1338684034 -o /tmp/evaluation-result-3731049-1338684034/solver-3731049-1338684034 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3731049-1338684034.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.06 2.02 1.96 3/177 12170
/proc/meminfo: memFree=27915596/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 1471 0 0 0 0 0 0 0 20 0 1 0 334530231 9158656 1417 33554432000 4194304 8395647 140735824805136 140736731852456 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 2236 1429 374 1026 0 1206 0
[startup+0.017181 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12170
/proc/meminfo: memFree=27915596/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=12520 CPUtime=0.01 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 2659 0 0 0 1 0 0 0 20 0 1 0 334530231 12820480 2251 33554432000 4194304 8395647 140735824805136 140735824670248 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 3130 2262 409 1026 0 2100 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12520
[startup+0.100201 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12170
/proc/meminfo: memFree=27915596/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=19544 CPUtime=0.09 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 4452 0 0 0 9 0 0 0 20 0 1 0 334530231 20013056 4002 33554432000 4194304 8395647 140735824805136 140735824670248 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 4886 4002 581 1026 0 3856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19544
[startup+0.300186 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12170
/proc/meminfo: memFree=27915596/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=33512 CPUtime=0.29 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 7688 0 0 0 28 1 0 0 20 0 1 0 334530231 34316288 7236 33554432000 4194304 8395647 140735824805136 140735824670248 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8378 7236 622 1026 0 7348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33512
[startup+0.700185 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12170
/proc/meminfo: memFree=27915596/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=0.69 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 7967 0 0 0 67 2 0 0 20 0 1 0 334530231 35344384 7500 33554432000 4194304 8395647 140735824805136 140735824799768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7500 630 1026 0 7599 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34516
[startup+1.5002 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 12171
/proc/meminfo: memFree=27887704/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=1.48 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 8295 0 0 0 146 2 0 0 20 0 1 0 334530231 35344384 7828 33554432000 4194304 8395647 140735824805136 140735824800264 6721217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7828 630 1026 0 7599 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34516
[startup+3.10018 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 12171
/proc/meminfo: memFree=27886588/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=3.09 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9070 0 0 0 306 3 0 0 20 0 1 0 334530231 35344384 7865 33554432000 4194304 8395647 140735824805136 140735824800744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7865 632 1026 0 7599 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34516
[startup+6.30018 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 12171
/proc/meminfo: memFree=27883236/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=6.29 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9070 0 0 0 624 5 0 0 20 0 1 0 334530231 35344384 7865 33554432000 4194304 8395647 140735824805136 140735824800008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7865 632 1026 0 7599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34516
[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 12171
/proc/meminfo: memFree=27879160/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=12.69 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9071 0 0 0 1259 10 0 0 20 0 1 0 334530231 35344384 7866 33554432000 4194304 8395647 140735824805136 140735824800008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7866 633 1026 0 7599 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34516
[startup+25.5002 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 12171
/proc/meminfo: memFree=27868832/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=25.48 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9077 0 0 0 2529 19 0 0 20 0 1 0 334530231 35344384 7872 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7872 634 1026 0 7599 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34516
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 12171
/proc/meminfo: memFree=27850564/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=34516 CPUtime=51.08 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9079 0 0 0 5066 42 0 0 20 0 1 0 334530231 35344384 7874 33554432000 4194304 8395647 140735824805136 140735824800008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 8629 7874 634 1026 0 7599 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34516
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 12172
/proc/meminfo: memFree=27848872/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=36752 CPUtime=102.28 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 9616 0 0 0 10143 85 0 0 20 0 1 0 334530231 37634048 8411 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 9188 8411 634 1026 0 8158 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12172
/proc/meminfo: memFree=27842312/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=39520 CPUtime=162.26 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 10353 0 0 0 16082 144 0 0 20 0 1 0 334530231 40468480 9368 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 9880 9368 634 1026 0 8850 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 39520
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/177 12172
/proc/meminfo: memFree=27840080/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=42212 CPUtime=222.25 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 10998 0 0 0 22023 202 0 0 20 0 1 0 334530231 43225088 10013 33554432000 4194304 8395647 140735824805136 140735824800600 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 10553 10013 634 1026 0 9523 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 42212
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 12172
/proc/meminfo: memFree=27836980/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=45272 CPUtime=282.24 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 11766 0 0 0 27968 256 0 0 20 0 1 0 334530231 46358528 10781 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 11318 10781 634 1026 0 10288 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 45272
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12172
/proc/meminfo: memFree=27833752/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=48252 CPUtime=342.23 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 12513 0 0 0 33910 313 0 0 20 0 1 0 334530231 49410048 11524 33554432000 4194304 8395647 140735824805136 140735824800376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 12063 11524 634 1026 0 11033 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 48252
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12173
/proc/meminfo: memFree=27829784/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=52300 CPUtime=402.21 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 13527 0 0 0 39846 375 0 0 20 0 1 0 334530231 53555200 12536 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 13075 12536 634 1026 0 12045 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 52300
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/177 12173
/proc/meminfo: memFree=27828048/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=54080 CPUtime=462.21 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 13972 0 0 0 45789 432 0 0 20 0 1 0 334530231 55377920 12981 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 13520 12981 634 1026 0 12490 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 54080
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 12173
/proc/meminfo: memFree=27825932/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=56344 CPUtime=522.2 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 14570 0 0 0 51733 487 0 0 20 0 1 0 334530231 57696256 13576 33554432000 4194304 8395647 140735824805136 140735824800648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 14086 13576 634 1026 0 13056 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 56344
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 12176
/proc/meminfo: memFree=27824440/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=57536 CPUtime=582.18 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 14843 0 0 0 57673 545 0 0 20 0 1 0 334530231 58916864 13849 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 14384 13849 634 1026 0 13354 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 57536
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27807260/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=75036 CPUtime=1002.12 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 19219 0 0 0 99252 960 0 0 20 0 1 0 334530231 76836864 18220 33554432000 4194304 8395647 140735824805136 140735824800856 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 18759 18220 634 1026 0 17729 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 75036
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12178
/proc/meminfo: memFree=27803472/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=78764 CPUtime=1062.11 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 20159 0 0 0 105193 1018 0 0 20 0 1 0 334530231 80654336 19158 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 19691 19158 634 1026 0 18661 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 78764
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12178
/proc/meminfo: memFree=27800492/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=81756 CPUtime=1122.1 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 20915 0 0 0 111134 1076 0 0 20 0 1 0 334530231 83718144 19903 33554432000 4194304 8395647 140735824805136 140735824800376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 20439 19903 634 1026 0 19409 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 81756
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12181
/proc/meminfo: memFree=27797128/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=84820 CPUtime=1182.09 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 21681 0 0 0 117075 1134 0 0 20 0 1 0 334530231 86855680 20668 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 21205 20668 634 1026 0 20175 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 84820
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12203
/proc/meminfo: memFree=27794296/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=86968 CPUtime=1242.08 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 22215 0 0 0 123014 1194 0 0 20 0 1 0 334530231 89055232 21202 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 21742 21202 634 1026 0 20712 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 86968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12204
/proc/meminfo: memFree=27789696/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=91484 CPUtime=1302.07 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 23348 0 0 0 128950 1257 0 0 20 0 1 0 334530231 93679616 22331 33554432000 4194304 8395647 140735824805136 140735824800376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 22871 22331 634 1026 0 21841 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 91484
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12204
/proc/meminfo: memFree=27787712/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=93364 CPUtime=1362.06 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 23819 0 0 0 134887 1319 0 0 20 0 1 0 334530231 95604736 22802 33554432000 4194304 8395647 140735824805136 140735824800696 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 23341 22802 634 1026 0 22311 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 93364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12204
/proc/meminfo: memFree=27783992/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=97072 CPUtime=1422.05 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 24759 0 0 0 140825 1380 0 0 20 0 1 0 334530231 99401728 23742 33554432000 4194304 8395647 140735824805136 140735824800376 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 24268 23742 634 1026 0 23238 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 97072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12204
/proc/meminfo: memFree=27781316/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=100068 CPUtime=1482.03 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 25500 0 0 0 146760 1443 0 0 20 0 1 0 334530231 102469632 24478 33554432000 4194304 8395647 140735824805136 140735824800648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 25017 24478 634 1026 0 23987 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 100068
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12204
/proc/meminfo: memFree=27779084/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=102256 CPUtime=1542.02 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 26054 0 0 0 152703 1499 0 0 20 0 1 0 334530231 104710144 25028 33554432000 4194304 8395647 140735824805136 140735824800648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 25564 25028 634 1026 0 24534 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 102256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12205
/proc/meminfo: memFree=27776604/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=104856 CPUtime=1602.02 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 26711 0 0 0 158646 1556 0 0 20 0 1 0 334530231 107372544 25675 33554432000 4194304 8395647 140735824805136 140735824799944 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 26214 25675 634 1026 0 25184 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 104856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12205
/proc/meminfo: memFree=27774000/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=107368 CPUtime=1662.01 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 27327 0 0 0 164590 1611 0 0 20 0 1 0 334530231 109944832 26291 33554432000 4194304 8395647 140735824805136 140735824800744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 26842 26291 634 1026 0 25812 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 107368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12205
/proc/meminfo: memFree=27771200/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=110096 CPUtime=1722 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28045 0 0 0 170532 1668 0 0 20 0 1 0 334530231 112738304 26985 33554432000 4194304 8395647 140735824805136 140735824800648 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 27524 26985 634 1026 0 26494 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 110096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969016/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1781.99 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28811 0 0 0 176475 1724 0 0 20 0 1 0 334530231 115900416 27750 33554432000 4194304 8395647 140735824805136 140735824800440 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27750 634 1026 0 27266 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 113184
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969388/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1785.19 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28811 0 0 0 176792 1727 0 0 20 0 1 0 334530231 115900416 27750 33554432000 4194304 8395647 140735824805136 140735824800712 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27750 634 1026 0 27266 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 113184
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969264/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1788.39 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28811 0 0 0 177109 1730 0 0 20 0 1 0 334530231 115900416 27750 33554432000 4194304 8395647 140735824805136 140735824800696 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27750 634 1026 0 27266 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 113184
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969264/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1789.19 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28811 0 0 0 177188 1731 0 0 20 0 1 0 334530231 115900416 27750 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27750 634 1026 0 27266 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 113184
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969264/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1789.58 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28811 0 0 0 177227 1731 0 0 20 0 1 0 334530231 115900416 27750 33554432000 4194304 8395647 140735824805136 140735824800264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27750 634 1026 0 27266 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 113184
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12246
/proc/meminfo: memFree=27969264/32873648 swapFree=6864/6864
[pid=12170] ppid=12168 vsize=113184 CPUtime=1789.78 cores=1,3,5,7
/proc/12170/stat : 12170 (pbscip.linux.x8) R 12168 12170 11712 0 -1 4202496 28813 0 0 0 177247 1731 0 0 20 0 1 0 334530231 115900416 27752 33554432000 4194304 8395647 140735824805136 140735824800264 6345173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12170/statm: 28296 27752 636 1026 0 27266 0
Current children cumulated CPU time (s) 1789.78
Current children cumulated vsize (KiB) 113184
Child status: 0
Real time (s): 1790.1
CPU time (s): 1789.8
CPU user time (s): 1772.48
CPU system time (s): 17.3184
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 113184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.48
system time used= 17.3184
maximum resident set size= 111008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28816
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= 45
involuntary context switches= 1840
runsolver used 2.68759 second user time and 7.07992 second system time
The end